- 0 y 0 - x 0 x - x s y if greater x s y s - x p s y 0 p 0 0 p s x x 2.2 - x s y p s y - x s y - x p s y true - x s y - x p s y true - 2 2 s 1 0 1 greater 2 0 1 2 p 1 0 p 1 0 0 0 0 if 3 0 - 2 0 1 2 s 1 1 11293 greater 2 1 2 1 p 1 1 p 1 1 0 0 0 0 if 3 1 1 - 2 1 2 1 p 0 0 p s x x - x s y p s y false NaTT certifiable-1.6