le0ytruelesx0falselesxsylexyeq00trueeq0syfalseeqsx0falseeqsxsyeqxyif1truexyxsminxxsif1falsexyxsminyxsif2truexyxsxsif2falsexyxsconsydelxxsminsortnilnilminsortconsxyconsminxyminsortdelminxyconsxyminxnilxminxconsyzif1lexyxyzdelxnilnildelxconsyzif2eqxyxyzlesxsylexyeqsxsyeqxyif1truexyxsminxxsif1falsexyxsminyxsif2falsexyxsdelxxsminsortconsxydelminxyconsxyminsortconsxyminsortdelminxyconsxyminsortconsxyminxyminxconsyzlexyminxconsyzif1lexyxyzdelxconsyzeqxydelxconsyzif2eqxyxyztrueminsortconsxyminsortdelminxyconsxytrueminsortconsxyminxyfalseminxconsyzif1lexyxyzif1truexyxsminxxsif1falsexyxsminyxstrueif144min22if1truexyxsminxxsif1falsexyxsminyxsif1truexyxsminxxsfalseif1falsexyxsminyxsfalseminxconsyzlexyfalselesxsylexytruele22minsortconsxydelminxyconsxyfalsedelxconsyzif2eqxyxyzif2falsexyxsdelxxstrueif244del22if2falsexyxsdelxxsif2falsexyxsdelxxsfalsedelxconsyzeqxyfalseeqsxsyeqxytrueeq22