minus x 0 x minus s x s y minus x y quot 0 s y 0 quot s x s y s quot minus x y s y 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 concat leaf y y concat cons u v y cons u concat v y less_leaves x leaf false less_leaves leaf cons w z true less_leaves cons u v cons w z less_leaves concat u v concat w z minus 2 0 0 s 1 quot 2 app 2 nil 0 add 2 reverse 1 shuffle 1 concat 2 leaf 0 cons 2 less_leaves 2 false 0 true 0 FULL ./TRS/AG01/#3.53.trs