double00doublesxssdoublexdelxnilnildelxconsyxsifeqxyxyxsiftruexyxsxsiffalsexyxsconsydelxxseq00trueeq0syfalseeqsx0falseeqsxsyeqxyfirstnil0firstconsxxsxdoublelistnilnildoublelistconsxxsconsdoublexdoublelistdelfirstconsxxsconsxxsdouble100s1del2nil0cons2if4eq2true0false0first1doublelist1INNERMOST./TRS/aprove08/parting02_doublelist.trs