div x y div2 x y 0 div2 x y i if1 le y 0 le y x x y plus i 0 inc i if1 true b x y i j divZeroError if1 false b x y i j if2 b x y i j if2 true x y i j div2 minus x y y j if2 false x y i j i inc 0 0 inc s i s inc i le s x 0 false le 0 y true le s x s y le x y minus x 0 x minus 0 y 0 minus s x s y minus x y plus x y plusIter x y 0 plusIter x y z ifPlus le x z x y z ifPlus true x y z y ifPlus false x y z plusIter x s y s z a c a d div 2 div2 3 0 0 if1 6 le 2 plus 2 inc 1 true 0 divZeroError 0 false 0 if2 5 minus 2 s 1 plusIter 3 ifPlus 4 a 0 c 0 d 0 FULL ./TRS/secret07/aprove/aprove09.trs