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 le 0 y true le s x 0 false le s x s y le x y inc s x s inc x inc 0 s 0 log x logIter x 0 logIter x y if le s 0 x le s s 0 x quot x s s 0 inc y if false b x y logZeroError if true false x s y y if true true x y logIter x y 2.2 logIter x y if le s 0 x le s s 0 x quot x s s 0 inc y logIter x y inc y log x logIter x 0 quot s x s y quot minus x y s y quot s x s y minus x y if true true x y logIter x y inc s x inc x logIter x y quot x s s 0 logIter x y le s 0 x minus s x s y minus x y le s x s y le x y logIter x y le s s 0 x true log x logIter x 0 false if true true x y logIter x y logIter x y if le s 0 x le s s 0 x quot x s s 0 inc y true Failed! NaTT certifiable-1.6