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 plus minus x s 0 minus y s s z plus minus y s s z minus x s 0 2.2 plus s x y plus x y quot s x s y minus x y plus minus x s 0 minus y s s z plus minus y s s z minus x s 0 minus s x s y minus x y quot s x s y quot minus x y s y 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 0 quot 2 1 0 minus x 0 x 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 true s 1 1 2 minus 2 1 1 plus 2 0 0 0 1 quot 2 0 minus 2 1 2 0 plus 2 0 quot 2 1 0 minus x 0 x minus s x s y minus x y plus minus x s 0 minus y s s z plus minus y s s z minus x s 0 plus s x y plus x y true s 1 1 2 minus 2 1 2 1 plus 2 1 2 0 0 0 0 quot 2 0 minus 2 0 plus 2 0 quot 2 1 0 plus minus x s 0 minus y s s z plus minus y s s z minus x s 0 minus x 0 x minus s x s y minus x y plus minus x s 0 minus y s s z plus minus y s s z minus x s 0 true 2 1 s 1 1 1 0 1 1 1 2 minus 2 1 1 1 1 1 0 1 1 0 2 0 0 plus 2 0 1 1 1 1 1 1 0 1 2 0 0 0 0 1 1 quot 2 0 0 minus 2 0 0 plus 2 0 0 quot 2 0 0 minus x 0 x minus s x s y minus x y NaTT certifiable-1.6