app nil y y app add n x y add n app x y reverse nil nil reverse add n x app reverse x add n nil shuffle nil nil shuffle add n x add n shuffle reverse x app 2 nil 0 add 2 reverse 1 shuffle 1 FULL ./TRS/AG01/#3.12.trs