le0ytruelesx0falselesxsylexyeq00trueeq0syfalseeqsx0falseeqsxsyeqxyminsortnilnilminsortconsxxsconsminconsxxsminsortrmminconsxxsconsxxsminnil0minconsxnilxminconsxconsyxsif1lexyxyxsif1truexyxsminconsxxsif1falsexyxsminconsyxsrmxnilnilrmxconsyxsif2eqxyxyxsif2truexyxsrmxxsif2falsexyxsconsyrmxxslesxsylexyeqsxsyeqxyminsortconsxxsrmminconsxxsconsxxsminsortconsxxsminsortrmminconsxxsconsxxsminsortconsxxsminconsxxsminconsxconsyxslexyminconsxconsyxsif1lexyxyxsif1truexyxsminconsxxsif1falsexyxsminconsyxsrmxconsyxseqxyrmxconsyxsif2eqxyxyxsif2truexyxsrmxxsif2falsexyxsrmxxstrueminsortconsxxsminsortrmminconsxxsconsxxstrueminsortconsxxsrmminconsxxsconsxxsfalseminsortconsxxsminconsxxsfalseif1falsexyxsminconsyxsminconsxconsyxsif1lexyxyxsif1truexyxsminconsxxstrue1if14010203844min1210cons201422false00s1014true00le201820002if1falsexyxsminconsyxsif1truexyxsminconsxxsif1truexyxsminconsxxsfalseif1falsexyxsminconsyxsfalseminconsxconsyxslexyfalselesxsylexytrue1le2810210s1414if2falsexyxsrmxxsrmxconsyxsif2eqxyxyxsif2truexyxsrmxxstrue1if24410243841rm201329cons281928eq201128false014s1816true05006rmxconsyxsif2eqxyxyxseq00trueeq0syfalseeqsx0falseeqsxsyeqxyrmxconsyxsif2eqxyxyxsfalsermxconsyxseqxyfalseeqsxsyeqxytrue1eq2810210s1414