perfectp 0 false perfectp s x f x s 0 s x s x f 0 y 0 u true f 0 y s z u false f s x 0 z u f x u minus z s x u f s x s y z u if le x y f s x minus y x z u f x u z u 2.2 f s x s y z u f s x minus y x z u f s x s y z u f x u z u perfectp s x f x s 0 s x s x f s x 0 z u f x u minus z s x u true perfectp s x f x s 0 s x s x false f s x 0 z u f x u minus z s x u f s x s y z u f x u z u true le 2 0 s 1 1 2 minus 2 1 perfectp 1 0 false 0 0 true 0 0 f 4 0 0 0 2 if 3 0 f 4 1 3 0 perfectp 1 0 f s x s y z u f s x minus y x z u false NaTT certifiable-1.6