maxnil0maxconsxnilxmaxconsxconsyxsif1gexyxyxsif1truexyxsmaxconsxxsif1falsexyxsmaxconsyxsdelxnilnildelxconsyxsif2eqxyxyxsif2truexyxsxsif2falsexyxsconsydelxxseq00trueeq0syfalseeqsx0falseeqsxsyeqxysortnilnilsortconsxxsconsmaxconsxxssortdelmaxconsxxsconsxxsge00truegesx0truege0sxfalsegesxsygexymax1nil000cons2if14ge2true0false0del2if24eq2s1sort1FULL./TRS/aprove08/parting05_maxsort.trs