le0ytruelesx0falselesxsylexyeq00trueeq0syfalseeqsx0falseeqsxsyeqxyif1truexyxsminxxsif1falsexyxsminyxsif2truexyxsxsif2falsexyxsconsydelxxsminsortnilnilminsortconsxyconsminxyminsortdelminxyconsxyminxnilxminxconsyzif1lexyxyzdelxnilnildelxconsyzif2eqxyxyzlesxsylexyeqsxsyeqxyif1truexyxsminxxsif1falsexyxsminyxsif2falsexyxsdelxxsminsortconsxydelminxyconsxyminsortconsxyminsortdelminxyconsxyminsortconsxyminxyminxconsyzlexyminxconsyzif1lexyxyzdelxconsyzeqxydelxconsyzif2eqxyxyztrueminsortconsxyminsortdelminxyconsxytrueminsortconsxyminxyfalseminxconsyzif1lexyxyzif1truexyxsminxxsif1falsexyxsminyxstrueminxconsyzlexyfalselesxsylexytrueminsortconsxydelminxyconsxyfalsedelxconsyzif2eqxyxyzif2falsexyxsdelxxstruedelxconsyzeqxyfalseeqsxsyeqxytrue