x1 = 1 + (x2+x4+x6)/3 AND x2 = 1 + (x1+x3+x7)/3 AND x3 = 1 + (x2+x4+x8)/3 AND x4 = 1 + (x1+x5+x7)/3 AND x5 = 1 + (x4+x6+x8)/3 AND x6 = 1 + (x1+x5+x7)/3 AND x7 = 1 + (x2+x6+x8)/3 AND x8 = 0