less x 0 false less 0 s x true less s x s y less x y minus 0 s y 0 minus x 0 x minus s x s y minus x y quotrem 0 s y pair 0 0 quotrem s x s y pair 0 s x less x y true quotrem s x s y pair s q r less x y false quotrem minus x y s y pair q r less 2 0 0 false 0 s 1 true 0 minus 2 quotrem 2 pair 2 ORIENTED FULL ./TRS/Ohl02/quotrem.trs