c 0 x x c x c y z c + x y z + 0 0 0 + 0 1 1 + 0 2 2 + 0 3 3 + 0 4 4 + 0 5 5 + 0 6 6 + 0 7 7 + 0 8 8 + 0 9 9 + 1 0 1 + 1 1 2 + 1 2 3 + 1 3 4 + 1 4 5 + 1 5 6 + 1 6 7 + 1 7 8 + 1 8 9 + 1 9 c 1 0 + 2 0 2 + 2 1 3 + 2 2 4 + 2 3 5 + 2 4 6 + 2 5 7 + 2 6 8 + 2 7 9 + 2 8 c 1 0 + 2 9 c 1 1 + 3 0 3 + 3 1 4 + 3 2 5 + 3 3 6 + 3 4 7 + 3 5 8 + 3 6 9 + 3 7 c 1 0 + 3 8 c 1 1 + 3 9 c 1 2 + 4 0 4 + 4 1 5 + 4 2 6 + 4 3 7 + 4 4 8 + 4 5 9 + 4 6 c 1 0 + 4 7 c 1 1 + 4 8 c 1 2 + 4 9 c 1 3 + 5 0 5 + 5 1 6 + 5 2 7 + 5 3 8 + 5 4 9 + 5 5 c 1 0 + 5 6 c 1 1 + 5 7 c 1 2 + 5 8 c 1 3 + 5 9 c 1 4 + 6 0 6 + 6 1 7 + 6 2 8 + 6 3 9 + 6 4 c 1 0 + 6 5 c 1 1 + 6 6 c 1 2 + 6 7 c 1 3 + 6 8 c 1 4 + 6 9 c 1 5 + 7 0 7 + 7 1 8 + 7 2 9 + 7 3 c 1 0 + 7 4 c 1 1 + 7 5 c 1 2 + 7 6 c 1 3 + 7 7 c 1 4 + 7 8 c 1 5 + 7 9 c 1 6 + 8 0 8 + 8 1 9 + 8 2 c 1 0 + 8 3 c 1 1 + 8 4 c 1 2 + 8 5 c 1 3 + 8 6 c 1 4 + 8 7 c 1 5 + 8 8 c 1 6 + 8 9 c 1 7 + 9 0 9 + 9 1 c 1 0 + 9 2 c 1 1 + 9 3 c 1 2 + 9 4 c 1 3 + 9 5 c 1 4 + 9 6 c 1 5 + 9 7 c 1 6 + 9 8 c 1 7 + 9 9 c 1 8 + x c y z c y + x z + c x y z c x + y z * 0 0 0 * 0 1 0 * 0 2 0 * 0 3 0 * 0 4 0 * 0 5 0 * 0 6 0 * 0 7 0 * 0 8 0 * 0 9 0 * 1 0 0 * 1 1 1 * 1 2 2 * 1 3 3 * 1 4 4 * 1 5 5 * 1 6 6 * 1 7 7 * 1 8 8 * 1 9 9 * 2 0 0 * 2 1 2 * 2 2 4 * 2 3 6 * 2 4 8 * 2 5 c 1 0 * 2 6 c 1 2 * 2 7 c 1 4 * 2 8 c 1 6 * 2 9 c 1 8 * 3 0 0 * 3 1 3 * 3 2 6 * 3 3 9 * 3 4 c 1 2 * 3 5 c 1 5 * 3 6 c 1 8 * 3 7 c 2 1 * 3 8 c 2 4 * 3 9 c 2 7 * 4 0 0 * 4 1 4 * 4 2 8 * 4 3 c 1 2 * 4 4 c 1 6 * 4 5 c 2 0 * 4 6 c 2 4 * 4 7 c 2 8 * 4 8 c 3 2 * 4 9 c 3 6 * 5 0 0 * 5 1 5 * 5 2 c 1 0 * 5 3 c 1 5 * 5 4 c 2 0 * 5 5 c 2 5 * 5 6 c 3 0 * 5 7 c 3 5 * 5 8 c 4 0 * 5 9 c 4 5 * 6 0 0 * 6 1 6 * 6 2 c 1 2 * 6 3 c 1 8 * 6 4 c 2 4 * 6 5 c 3 0 * 6 6 c 3 6 * 6 7 c 4 2 * 6 8 c 4 8 * 6 9 c 5 4 * 7 0 0 * 7 1 7 * 7 2 c 1 4 * 7 3 c 2 1 * 7 4 c 2 8 * 7 5 c 3 5 * 7 6 c 4 2 * 7 7 c 4 9 * 7 8 c 5 6 * 7 9 c 6 3 * 8 0 0 * 8 1 8 * 8 2 c 1 8 * 8 3 c 2 4 * 8 4 c 3 2 * 8 5 c 4 0 * 8 6 c 4 8 * 8 7 c 5 6 * 8 8 c 6 4 * 8 9 c 7 2 * 9 0 0 * 9 1 9 * 9 2 c 1 8 * 9 3 c 2 7 * 9 4 c 3 6 * 9 5 c 4 5 * 9 6 c 5 4 * 9 7 c 6 3 * 9 8 c 7 2 * 9 9 c 8 1 * x c y z c * x y * x z * c x y z c * x z * y z 2.2 c x c y z + x y + 2 9 c 1 1 + 9 3 c 1 2 + 3 7 c 1 0 + 7 3 c 1 0 + 5 7 c 1 2 + 8 9 c 1 7 + 6 6 c 1 2 + 7 5 c 1 2 * 7 7 c 4 9 + 7 4 c 1 1 + 7 8 c 1 5 * 8 5 c 4 0 + 4 7 c 1 1 * x c y z c * x y * x z * 9 9 c 8 1 * 7 6 c 4 2 * 6 6 c 3 6 + 9 8 c 1 7 + 7 9 c 1 6 + 1 9 c 1 0 + 2 8 c 1 0 + 8 4 c 1 2 + c x y z + y z * 7 8 c 5 6 * 9 5 c 4 5 + 7 7 c 1 4 * 2 5 c 1 0 + 9 1 c 1 0 * 9 3 c 2 7 + 4 9 c 1 3 * 8 3 c 2 4 * c x y z * x z + 6 9 c 1 5 + 6 7 c 1 3 + 8 2 c 1 0 * 8 4 c 3 2 + 8 6 c 1 4 + 8 8 c 1 6 + 3 8 c 1 1 * 5 8 c 4 0 * 5 5 c 2 5 + 5 9 c 1 4 * 8 9 c 7 2 + x c y z + x z * 5 4 c 2 0 * 4 9 c 3 6 * 4 3 c 1 2 * 4 6 c 2 4 * 8 2 c 1 8 * 3 9 c 2 7 * 9 6 c 5 4 * 3 5 c 1 5 * 7 9 c 6 3 * x c y z * x z + 9 4 c 1 3 + 4 8 c 1 2 * 3 7 c 2 1 * c x y z * y z + 9 7 c 1 6 * 4 5 c 2 0 + c x y z c x + y z * 8 6 c 4 8 + 9 9 c 1 8 * 7 4 c 2 8 + 8 7 c 1 5 * 2 8 c 1 6 * 5 9 c 4 5 + 5 6 c 1 1 + x c y z c y + x z + 5 5 c 1 0 * 8 7 c 5 6 * 4 4 c 1 6 * 2 9 c 1 8 + 9 6 c 1 5 + 6 5 c 1 1 * 2 6 c 1 2 + 8 5 c 1 3 + 9 5 c 1 4 * 6 4 c 2 4 + 3 9 c 1 2 * 9 8 c 7 2 * 4 8 c 3 2 + 6 4 c 1 0 + 5 8 c 1 3 * 9 2 c 1 8 * 9 4 c 3 6 * 3 8 c 2 4 * 2 7 c 1 4 + 4 6 c 1 0 * 3 4 c 1 2 * 9 7 c 6 3 * 6 5 c 3 0 * 6 9 c 5 4 * 7 5 c 3 5 * 8 8 c 6 4 * x c y z * x y * 6 7 c 4 2 * 5 7 c 3 5 * 6 2 c 1 2 * 5 3 c 1 5 + 6 8 c 1 4 + 8 3 c 1 1 * 5 2 c 1 0 c x c y z c + x y z * c x y z c * x z * y z + 9 2 c 1 1 * 6 8 c 4 8 * 4 7 c 2 8 * 6 3 c 1 8 * 7 2 c 1 4 * 3 6 c 1 8 * 5 6 c 3 0 + 7 6 c 1 3 * 7 3 c 2 1 true * c x y z * y z * x c y z * x z * x c y z * x y * c x y z * x z true 7 0 0 1 0 0 4 0 0 5 0 0 3 0 0 * 2 1 0 c 2 1 2 1 9 0 0 8 0 0 0 0 0 c 2 0 2 0 0 6 0 0 + 2 0 + 2 0 * 2 0 * x c y z * x y * x c y z * x z * x c y z * x z * x c y z * x y true 7 0 0 1 0 0 4 0 0 5 0 0 3 0 0 * 2 2 0 c 2 1 2 1 9 0 0 8 0 0 0 0 0 c 2 0 2 0 0 6 0 0 + 2 0 + 2 0 * 2 0 * 7 2 c 1 4 false * 5 8 c 4 0 false * 8 6 c 4 8 false * 6 8 c 4 8 false * 3 4 c 1 2 false * 7 3 c 2 1 false * 6 5 c 3 0 false * 5 3 c 1 5 false * 4 6 c 2 4 false * 4 9 c 3 6 false * 8 8 c 6 4 false * 9 7 c 6 3 false * 6 2 c 1 2 false * 9 6 c 5 4 false * 5 9 c 4 5 false * 2 8 c 1 6 false * c x y z c * x z * y z false * 7 4 c 2 8 false * 6 9 c 5 4 false * 5 7 c 3 5 false * 7 9 c 6 3 false * 4 3 c 1 2 false * 8 9 c 7 2 false * 5 2 c 1 0 false * 3 9 c 2 7 false * 3 7 c 2 1 false * 5 6 c 3 0 false * 8 2 c 1 8 false * 4 5 c 2 0 false * 6 7 c 4 2 false * 5 4 c 2 0 false * 3 5 c 1 5 false * 5 5 c 2 5 false * 4 7 c 2 8 false * 6 3 c 1 8 false * 3 6 c 1 8 false * 7 5 c 3 5 false * 8 4 c 3 2 false * 8 3 c 2 4 false * 9 3 c 2 7 false * 2 7 c 1 4 false * 2 5 c 1 0 false * 3 8 c 2 4 false * 9 5 c 4 5 false * 9 4 c 3 6 false * 7 8 c 5 6 false * 9 2 c 1 8 false * 4 8 c 3 2 false * 6 6 c 3 6 false * 9 8 c 7 2 false * 7 6 c 4 2 false * 9 9 c 8 1 false * x c y z c * x y * x z false * 6 4 c 2 4 false * 8 5 c 4 0 false * 2 6 c 1 2 false * 7 7 c 4 9 false * 2 9 c 1 8 false * 8 7 c 5 6 false * 4 4 c 1 6 false + x c y z c y + x z + c x y z c x + y z c x c y z c + x y z + x c y z + x z + c x y z + y z c x c y z + x y true 7 0 43149 1 0 1 4 0 21575 5 0 33542 3 0 23934 * 2 0 c 2 1 2 62361 9 0 52756 8 0 40789 0 0 2361 c 2 1 2 50394 2 0 11968 6 0 31182 + 2 1 2 11966 + 2 1 2 0 * 2 0 + 1 5 6 + 4 7 c 1 1 + 7 7 c 1 4 + c x y z c x + y z + 0 1 1 + x c y z c y + x z + 9 9 c 1 8 + 1 2 3 + 0 5 5 + 5 1 6 c 0 x x + 7 4 c 1 1 + 0 0 0 + 1 3 4 + 1 8 9 + 3 3 6 + 6 5 c 1 1 + 8 2 c 1 0 + 9 7 c 1 6 + 2 3 5 + 6 0 6 + 1 6 7 + 2 9 c 1 1 + 1 4 5 + 5 7 c 1 2 + 2 4 6 + 8 4 c 1 2 + 8 1 9 + 3 1 4 + 1 9 c 1 0 + 2 5 7 + 6 2 8 + 4 1 5 + 0 2 2 + 6 9 c 1 5 + 3 0 3 + 6 1 7 + 9 0 9 + 8 9 c 1 7 + 0 7 7 + 3 6 9 + 0 4 4 + 8 5 c 1 3 + 1 7 8 + 2 2 4 + 4 6 c 1 0 + 4 9 c 1 3 + 2 7 9 + 5 9 c 1 4 + 1 1 2 + 7 9 c 1 6 + 8 6 c 1 4 + 5 3 8 + 7 6 c 1 3 + 2 8 c 1 0 + 0 9 9 + 9 8 c 1 7 + 6 6 c 1 2 + 9 3 c 1 2 + 4 2 6 + 7 5 c 1 2 + 7 8 c 1 5 + 2 0 2 + 6 7 c 1 3 + 2 1 3 + 9 1 c 1 0 + 7 3 c 1 0 + 5 4 9 + 9 5 c 1 4 + 0 8 8 + 0 6 6 + 1 0 1 + 4 8 c 1 2 + 8 7 c 1 5 + 3 7 c 1 0 + 6 4 c 1 0 + 5 2 7 + 5 6 c 1 1 + 0 3 3 + 3 5 8 + 5 8 c 1 3 + 5 5 c 1 0 + 7 1 8 + 7 2 9 + 4 5 9 + 6 8 c 1 4 + 5 0 5 + 4 4 8 + 7 0 7 + 8 8 c 1 6 + 9 4 c 1 3 + 9 6 c 1 5 + 3 4 7 + 3 8 c 1 1 + 9 2 c 1 1 + 3 9 c 1 2 + 4 3 7 + 6 3 9 + 8 0 8 + 3 2 5 + 2 6 8 + 4 0 4 + 8 3 c 1 1 c x c y z c + x y z + 8 3 c 1 1 false + 3 9 c 1 2 false + 9 2 c 1 1 false + 3 8 c 1 1 false + 9 6 c 1 5 false + 9 4 c 1 3 false + 8 8 c 1 6 false + 6 8 c 1 4 false + 5 8 c 1 3 false + 5 6 c 1 1 false + 6 4 c 1 0 false + 3 7 c 1 0 false + 8 7 c 1 5 false + 4 8 c 1 2 false + 9 5 c 1 4 false + 7 3 c 1 0 false + 9 1 c 1 0 false + 6 7 c 1 3 false + 7 8 c 1 5 false + 7 5 c 1 2 false + 9 3 c 1 2 false + 6 6 c 1 2 false + 9 8 c 1 7 false + 2 8 c 1 0 false + 7 6 c 1 3 false + 8 6 c 1 4 false + 7 9 c 1 6 false + 5 9 c 1 4 false + 4 9 c 1 3 false + 4 6 c 1 0 false + 8 5 c 1 3 false + 8 9 c 1 7 false + 6 9 c 1 5 false + 1 9 c 1 0 false + 8 4 c 1 2 false + 5 7 c 1 2 false + 2 9 c 1 1 false + 9 7 c 1 6 false + 8 2 c 1 0 false + 6 5 c 1 1 false + 7 4 c 1 1 false + 9 9 c 1 8 false + 7 7 c 1 4 false + 4 7 c 1 1 false + 5 5 c 1 0 false NaTT certifiable-1.6