x0 + x1 + x2 = 1 (mod 3) x0 + x2 + x3 = 2 (mod 3) x1 + x2 + x3 = 0 (mod 3)