isEmptyemptytrueisEmptynodelxrfalseleftemptyemptyleftnodelxrlrightemptyemptyrightnodelxrrelemnodelxrxappendnilxconsxnilappendconsyysxconsyappendysxlistifynxsifisEmptynisEmptyleftnrightnnodeleftleftnelemleftnnoderightleftnelemnrightnxsappendxsniftruebnmxsysxsiffalsefalsenmxsyslistifymxsiffalsetruenmxsyslistifynystoListnlistifynnilisEmpty1empty0true0node3false0left1right1elem1append2nil0cons2y0listify2if6toList1INNERMOST./TRS/secret06/aprove/toList.trs