lastnil0lastconsxnilxlastconsxconsyxslastconsyxsdelxnilnildelxconsyxsifeqxyxyxsiftruexyxsxsiffalsexyxsconsydelxxseq00trueeq0syfalseeqsx0falseeqsxsyeqxyreversenilnilreverseconsxxsconslastconsxxsreversedellastconsxxsconsxxslast1nil000cons2del2if4eq2true0false0s1reverse1INNERMOST./TRS/aprove08/parting01_reverse.trs