state diagram with inputs $1,2,$N$,$ so that it reaches the ending state when the value is congruent to $2$ mod $3.$ When input N is passed, it reverses the propert the addition subtraction.