maxnil0maxconsxnilxmaxconsxconsyxsif1gexyxyxsif1truexyxsmaxconsxxsif1falsexyxsmaxconsyxsdelxnilnildelxconsyxsif2eqxyxyxsif2truexyxsxsif2falsexyxsconsydelxxseq00trueeq0syfalseeqsx0falseeqsxsyeqxysortnilnilsortconsxxsconsmaxconsxxssortdelmaxconsxxsconsxxsge00truegesx0truege0sxfalsegesxsygexymaxconsxconsyxsgexymaxconsxconsyxsif1gexyxyxsif1truexyxsmaxconsxxsif1falsexyxsmaxconsyxsdelxconsyxseqxydelxconsyxsif2eqxyxyxsif2falsexyxsdelxxseqsxsyeqxysortconsxxsdelmaxconsxxsconsxxssortconsxxssortdelmaxconsxxsconsxxssortconsxxsmaxconsxxsgesxsygexytruesortconsxxssortdelmaxconsxxsconsxxstruesortconsxxsmaxconsxxsfalsemaxconsxconsyxsif1gexyxyxsif1truexyxsmaxconsxxsif1falsexyxsmaxconsyxstrue1if14018283648max1216s1310false00true00ge2311213cons241321007if1truexyxsmaxconsxxsif1falsexyxsmaxconsyxsge00truegesx0truege0sxfalsegesxsygexyif1truexyxsmaxconsxxsfalseif1falsexyxsmaxconsyxsfalsemaxconsxconsyxsgexyfalsegesxsygexytruege22sortconsxxsdelmaxconsxxsconsxxsfalsedelxconsyxsif2eqxyxyxsif2falsexyxsdelxxstruedel22if244if2falsexyxsdelxxsif2falsexyxsdelxxsfalsedelxconsyxseqxyfalseeqsxsyeqxytrueeq22