maxnil0maxconsxnilxmaxconsxconsyxsif1gexyxyxsif1truexyxsmaxconsxxsif1falsexyxsmaxconsyxsdelxnilnildelxconsyxsif2eqxyxyxsif2truexyxsxsif2falsexyxsconsydelxxseq00trueeq0syfalseeqsx0falseeqsxsyeqxysortnilnilsortconsxxsconsmaxconsxxssorthdelmaxconsxxsconsxxsge00truegesx0truege0sxfalsegesxsygexyhnilnilhconsxxsconsxhxsmax1nil000cons2if14ge2true0false0del2if24eq2s1sort1h1INNERMOST./TRS/aprove08/parting04_maxsort_h.trs