le0ytruelesx0falselesxsylexyeq00trueeq0syfalseeqsx0falseeqsxsyeqxyif1truexyxsminxxsif1falsexyxsminyxsif2truexyxsxsif2falsexyxsconsydelxxsminsortnilnilminsortconsxyconsminxyminsortdelminxyconsxyminxnilxminxconsyzif1lexyxyzdelxnilnildelxconsyzif2eqxyxyzle200true0s1false0eq2if14min2if24cons2del2minsort1nil0INNERMOST./TRS/aprove08/parting03_minsort.trs