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