min x 0 0 min 0 y 0 min s x s y s min x y max x 0 x max 0 y y max s x s y s max x y minus x 0 x minus s x s y s minus x y gcd s x s y gcd minus max x y min x transform y s min x y transform x s s x transform cons x y cons cons x x x transform cons x y y transform s x s s transform x cons x y y cons x cons y s z cons y x cons cons x z s y transform x min 2 0 0 s 1 max 2 minus 2 gcd 2 transform 1 cons 2 FULL ./TRS/SchneiderKamp/trs/kabasci05.trs