rev nil nil rev cons x l cons rev1 x l rev2 x l rev1 0 nil 0 rev1 s x nil s x rev1 x cons y l rev1 y l rev2 x nil nil rev2 x cons y l rev cons x rev2 y l rev 1 nil 0 cons 2 rev1 2 rev2 2 0 0 s 1 FULL ./TRS/AG01/#3.38.trs