ge x 0 true ge 0 s x false ge s x s y ge x y minus x 0 x minus s x s y minus 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 ge 2 0 0 true 0 s 1 false 0 minus 2 div 2 ify 3 divByZeroError 0 if 3 FULL ./TRS/secret05/aprove2.trs