a%2_x_C(a%3) (0,0)_I (0,1)_A (0,2)_A (1,0) (1,1) (1,2)
a (1,1) (1,2) (1,0) (0,1) (0,2) (0,0)
b (0,0) (0,1) (0,2) (1,0) (1,1) (1,2)