le0ytruelesx0falselesxsylexyeq00trueeq0syfalseeqsx0falseeqsxsyeqxyif1truexyxsminxxsif1falsexyxsminyxsif2truexyxsxsif2falsexyxsconsydelxxsminsortnilnilminsortconsxyconsminxyminsortdelminxyconsxyminxnilxminxconsyzif1lexyxyzdelxnilnildelxconsyzif2eqxyxyzlesxsylexyeqsxsyeqxyif1truexyxsminxxsif1falsexyxsminyxsif2falsexyxsdelxxsminsortconsxydelminxyconsxyminsortconsxyminsortdelminxyconsxyminsortconsxyminxyminxconsyzlexyminxconsyzif1lexyxyzdelxconsyzeqxydelxconsyzif2eqxyxyztrueminsortconsxyminsortdelminxyconsxytrueminsortconsxyminxyfalseminxconsyzif1lexyxyzif1truexyxsminxxsif1falsexyxsminyxstrue1min201720if14610203841cons281327false03s1412true00le201928001minxconsyzif1lexyxyzle0ytruelesx0falselesxsylexyminxconsyzif1lexyxyzfalseminxconsyzlexyfalselesxsylexytrue1le2810210s1414minsortconsxydelminxyconsxyfalsedelxconsyzif2eqxyxyzif2falsexyxsdelxxstrue1del201123if24010243145cons2418213eq241020false00s1812true00001delxconsyzeqxyfalseeqsxsyeqxytrue1eq2810210s1414