a%2_x_a%3 (0,0)_A_I (0,1) (0,2) (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)