le0ytruelesx0falselesxsylexyeq00trueeq0syfalseeqsx0falseeqsxsyeqxyiftruexyxiffalsexyyminsortnilnilminsortconsxyconsminxyminsortdelminxyconsxyminxnilxminxconsyziflexyminxzminyzdelxnilnildelxconsyzifeqxyzconsydelxzle200true0s1false0eq2if3minsort1nil0cons2min2del2INNERMOST./TRS/Ste92/minsort.trs