+ 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 c 0 x x c x c y z c + x y z 2.2 + 2 8 c 1 0 + 8 4 c 1 2 + 5 5 c 1 0 + 3 8 c 1 1 + c x y z c x + y z + 9 9 c 1 8 + 5 9 c 1 4 + 9 2 c 1 1 + c x y z + y z c x c y z c + x y z + 6 4 c 1 0 + 9 8 c 1 7 + 8 6 c 1 4 + 4 9 c 1 3 + 3 7 c 1 0 + 4 7 c 1 1 + 7 3 c 1 0 + 9 5 c 1 4 + 7 7 c 1 4 + 7 6 c 1 3 + 5 7 c 1 2 + 2 9 c 1 1 + 5 8 c 1 3 + 8 8 c 1 6 c x c y z + x y + 6 8 c 1 4 + 7 5 c 1 2 + 9 6 c 1 5 + 8 3 c 1 1 + 7 4 c 1 1 + 1 9 c 1 0 + 9 4 c 1 3 + 6 7 c 1 3 + 7 8 c 1 5 + 6 9 c 1 5 + 8 7 c 1 5 + x c y z + x z + 8 9 c 1 7 + 4 8 c 1 2 + 5 6 c 1 1 + x c y z c y + x z + 9 1 c 1 0 + 9 3 c 1 2 + 3 9 c 1 2 + 8 2 c 1 0 + 8 5 c 1 3 + 4 6 c 1 0 + 6 6 c 1 2 + 6 5 c 1 1 + 7 9 c 1 6 + 9 7 c 1 6 true c x c y z + x y + x c y z c y + x z + x c y z + x z c x c y z c + x y z + c x y z + y z + c x y z c x + y z true 7 0 14688 1 0 14682 4 0 14685 5 0 14686 3 0 14684 c 2 1 2 52877 9 0 14690 8 0 14689 0 0 14681 c 2 1 2 0 2 0 14683 6 0 14687 + 2 1 2 52868 + 2 1 2 52876 + 1 7 8 + 4 9 c 1 3 + 7 9 c 1 6 c x c y z c + x y z + 0 3 3 c 0 x x + c x y z c x + y z + 1 4 5 + 0 7 7 + 5 3 8 + 0 0 0 + 7 6 c 1 3 + 0 2 2 + 1 5 6 + 2 0 2 + 3 5 8 + 6 7 c 1 3 + 8 4 c 1 2 + 9 9 c 1 8 + 2 5 7 + 6 2 8 + 1 8 9 + 3 1 4 + 1 6 7 + 5 9 c 1 4 + 2 6 8 + 8 6 c 1 4 + 8 3 c 1 1 + 3 3 6 + 2 1 3 + 2 7 9 + 6 4 c 1 0 + 4 3 7 + 0 4 4 + 7 1 8 + 3 2 5 + 6 3 9 + 9 2 c 1 1 + 9 1 c 1 0 + 0 9 9 + 3 8 c 1 1 + 0 6 6 + 8 7 c 1 5 + 1 9 c 1 0 + 2 4 6 + 4 8 c 1 2 + 5 1 6 + 2 9 c 1 1 + 6 1 7 + 1 3 4 + 8 1 9 + 8 8 c 1 6 + 5 5 c 1 0 + 7 8 c 1 5 + 3 0 3 + 1 1 2 + x c y z c y + x z + 6 8 c 1 4 + 9 5 c 1 4 + 4 4 8 + 7 7 c 1 4 + 8 0 8 + 2 2 4 + 6 9 c 1 5 + 2 3 5 + 9 3 c 1 2 + 7 5 c 1 2 + 5 6 c 1 1 + 9 7 c 1 6 + 1 0 1 + 0 8 8 + 1 2 3 + 5 0 5 + 8 9 c 1 7 + 3 9 c 1 2 + 6 6 c 1 2 + 5 4 9 + 5 8 c 1 3 + 0 5 5 + 3 7 c 1 0 + 6 0 6 + 5 7 c 1 2 + 7 3 c 1 0 + 7 4 c 1 1 + 4 7 c 1 1 + 7 0 7 + 5 2 7 + 4 6 c 1 0 + 7 2 9 + 9 0 9 + 9 6 c 1 5 + 9 8 c 1 7 + 3 6 9 + 4 0 4 + 9 4 c 1 3 + 4 1 5 + 4 5 9 + 6 5 c 1 1 + 8 2 c 1 0 + 3 4 7 + 2 8 c 1 0 + 4 2 6 + 8 5 c 1 3 + 0 1 1 + 8 5 c 1 3 false + 8 2 c 1 0 false + 6 5 c 1 1 false + 9 4 c 1 3 false + 9 8 c 1 7 false + 4 6 c 1 0 false + 4 7 c 1 1 false + 7 4 c 1 1 false + 7 3 c 1 0 false + 5 7 c 1 2 false + 3 7 c 1 0 false + 5 8 c 1 3 false + 6 6 c 1 2 false + 3 9 c 1 2 false + 8 9 c 1 7 false + 9 7 c 1 6 false + 5 6 c 1 1 false + 9 3 c 1 2 false + 6 9 c 1 5 false + 7 7 c 1 4 false + 9 5 c 1 4 false + 6 8 c 1 4 false + 7 8 c 1 5 false + 8 8 c 1 6 false + 2 9 c 1 1 false + 4 8 c 1 2 false + 1 9 c 1 0 false + 8 7 c 1 5 false + 9 1 c 1 0 false + 9 2 c 1 1 false + 6 4 c 1 0 false + 8 6 c 1 4 false + 5 9 c 1 4 false + 9 9 c 1 8 false + 6 7 c 1 3 false + 7 6 c 1 3 false + 7 9 c 1 6 false + 4 9 c 1 3 false + 8 3 c 1 1 false + 9 6 c 1 5 false + 3 8 c 1 1 false + 5 5 c 1 0 false + 8 4 c 1 2 false + 2 8 c 1 0 false + 7 5 c 1 2 false NaTT certifiable-1.6