ge 0 0 true ge s x 0 ge x 0 ge 0 s 0 false ge 0 s s x ge 0 s x ge s x s y ge x y minus 0 0 0 minus 0 s x minus 0 x minus s x 0 s minus x 0 minus s x s y minus x y plus 0 0 0 plus 0 s x s plus 0 x plus s x y s plus x y div x y ify ge y s 0 x y ify false x y divByZeroError ify true x y if ge x y x y if false x y 0 if true x y s div minus x y y 2.2 div x y ify ge y s 0 x y plus s x y plus x y ify true x y ge x y if true x y div minus x y y minus s x 0 minus x 0 ify true x y if ge x y x y ge 0 s s x ge 0 s x minus 0 s x minus 0 x if true x y minus x y plus 0 s x plus 0 x div x y ge y s 0 ge s x 0 ge x 0 ge s x s y ge x y minus s x s y minus x y true plus s x y plus x y true div 2 0 s 1 1 1 divByZeroError 0 0 minus 2 0 ify 3 0 plus 2 1 0 false 0 0 div 2 0 ge 2 0 true 0 0 0 0 0 if 3 0 ge 2 0 ify 3 0 minus 2 0 plus 2 0 if 3 0 plus 0 s x plus 0 x true div 2 0 s 1 1 1 divByZeroError 0 0 minus 2 0 ify 3 0 plus 2 2 0 false 0 0 div 2 0 ge 2 0 true 0 0 0 0 0 if 3 0 ge 2 0 ify 3 0 minus 2 0 plus 2 0 if 3 0 ify true x y if ge x y x y if true x y div minus x y y div x y ify ge y s 0 x y true Failed! NaTT certifiable-1.6