le0ytruelesx0falselesxsylexyeq00trueeq0syfalseeqsx0falseeqsxsyeqxyminsortnilnilminsortconsxxsconsminconsxxsminsortrmminconsxxsconsxxsminnil0minconsxnilxminconsxconsyxsif1lexyxyxsif1truexyxsminconsxxsif1falsexyxsminconsyxsrmxnilnilrmxconsyxsif2eqxyxyxsif2truexyxsrmxxsif2falsexyxsconsyrmxxslesxsylexyeqsxsyeqxyminsortconsxxsrmminconsxxsconsxxsminsortconsxxsminsortrmminconsxxsconsxxsminsortconsxxsminconsxxsminconsxconsyxslexyminconsxconsyxsif1lexyxyxsif1truexyxsminconsxxsif1falsexyxsminconsyxsrmxconsyxseqxyrmxconsyxsif2eqxyxyxsif2truexyxsrmxxsif2falsexyxsrmxxstrueminsortconsxxsminsortrmminconsxxsconsxxstrueminsortconsxxsrmminconsxxsconsxxsfalseminsortconsxxsminconsxxsfalseif1falsexyxsminconsyxsminconsxconsyxsif1lexyxyxsif1truexyxsminconsxxstrue1if14-21324324min101-6cons23112false02s111true05le25142-4000minconsxconsyxsif1lexyxyxsif1truexyxsminconsxxsle0ytruelesx0falselesxsylexy1if1412334min111cons2112false01s1-111true04le20102000minconsxconsyxsif1lexyxyxsminconsxconsyxsif1lexyxyxsfalseminconsxconsyxslexyfalselesxsylexytruele22if2falsexyxsrmxxsrmxconsyxsif2eqxyxyxsif2truexyxsrmxxstruerm22if244if2falsexyxsrmxxsif2truexyxsrmxxsif2truexyxsrmxxsfalseif2falsexyxsrmxxsfalsermxconsyxseqxyfalseeqsxsyeqxytrueeq22