isEmptyniltrueisEmptyconsxxsfalselastconsxnilxlastconsxconsyyslastconsyysdropLastnilnildropLastconsxnilnildropLastconsxconsyysconsxdropLastconsyysappendnilysysappendconsxxsysconsxappendxsysreversexsrevxsnilrevxsysifisEmptyxsdropLastxsappendyslastxsysiftruexsyszszsiffalsexsyszsrevxsysisEmpty1nil0true0cons2false0last1dropLast1append2reverse1rev2if4FULL./TRS/secret06/aprove/reverse.trs