C(a%3) 0_I 1_A 2_A
a 1 2 0
b 0 1 2