minus x 0 x minus s x s y minus x y quot 0 s y 0 quot s x s y s quot minus x y s y plus 0 y y plus s x y s plus x y minus minus x y z minus x plus y z 2.2 plus s x y plus x y quot s x s y minus x y quot s x s y quot minus x y s y minus minus x y z minus x plus y z minus s x s y minus x y minus minus x y z plus y z true quot s x s y quot minus x y s y true s 1 1 2 minus 2 1 1 plus 2 0 0 0 1 quot 2 0 minus 2 0 plus 2 1 28958 quot 2 1 0 minus x 0 x minus minus x y z minus x plus y z minus s x s y minus x y quot s x s y minus x y false minus s x s y minus x y minus minus x y z minus x plus y z true s 1 1 2 minus 2 1 2 8367 plus 2 0 0 0 0 quot 2 0 minus 2 1 2 0 plus 2 1 2 1 quot 2 1 0 minus x 0 x plus 0 y y minus minus x y z minus x plus y z plus s x y s plus x y minus s x s y minus x y minus minus x y z plus y z false plus s x y plus x y true s 1 1 1 minus 2 1 2 8367 plus 2 1 0 0 0 0 quot 2 0 minus 2 2 0 plus 2 1 2 1 quot 2 1 0 minus x 0 x plus 0 y y minus minus x y z minus x plus y z plus s x y s plus x y minus s x s y minus x y NaTT certifiable-1.6