le 0 y true le s x 0 false le s x s y le x y zero 0 true zero s x false id 0 0 id s x s id x minus x 0 x minus s x s y minus x y mod x y if_mod zero x zero y le y x id x id y if_mod true b1 b2 x y 0 if_mod false b1 b2 x y if2 b1 b2 x y if2 true b2 x y 0 if2 false b2 x y if3 b2 x y if3 true x y mod minus x y s y if3 false x y x le 2 0 0 true 0 s 1 false 0 zero 1 id 1 minus 2 mod 2 if_mod 5 if2 4 if3 3 FULL ./TRS/SchneiderKamp/trs/thiemann11.trs