leq0xttleqsx0ffleqsxsyleqxysplitnilappnilnilsplitconsxnilappconsxnilnilsplitconsxconsyxssplit1xysplitxssplit1xyappxsysappconsxxsconsyysmerge[]xsxsmergexs[]xsmergeconsxxsconsyysifmergeleqxyxyxsysifmergettxyxsysconsxmergexsconsyysifmergeffxyxsysconsymergeconsxxsysmergesortxsmergesort1splitxsmergesort1appxsysmergemergesortxsmergesortysleqsxsyleqxysplitconsxconsyxssplitxssplitconsxconsyxssplit1xysplitxsmergeconsxxsconsyysleqxymergeconsxxsconsyysifmergeleqxyxyxsysifmergettxyxsysmergexsconsyysifmergeffxyxsysmergeconsxxsysmergesortxssplitxsmergesortxsmergesort1splitxsmergesort1appxsysmergesortysmergesort1appxsysmergesortxsmergesort1appxsysmergemergesortxsmergesortystruemergesort1appxsysmergesortysmergesortxsmergesort1splitxsmergesort1appxsysmergesortxstrue1mergesort11810mergesort1810split1341824315cons241225app211120split1110nil00mergesort1appxsysmergesortysmergesortxsmergesort1splitxsmergesort1appxsysmergesortxssplitnilappnilnilsplitconsxnilappconsxnilnilsplitconsxconsyxssplit1xysplitxssplitnilappnilnilsplitconsxnilappconsxnilnilsplitconsxconsyxssplit1xysplitxssplit1xyappxsysappconsxxsconsyys1mergesort11119mergesort1119split132112230cons241427app211120split1110nil00mergesort1appxsysmergesortysmergesortxsmergesort1splitxsmergesort1appxsysmergesortxssplitnilappnilnilsplitconsxnilappconsxnilnilmergesort1appxsysmergemergesortxsmergesortysfalsemergeconsxxsconsyysifmergeleqxyxyxsysifmergettxyxsysmergexsconsyysifmergeffxyxsysmergeconsxxsystrue1ifmerge501020304859merge201425cons201221ff00s11318tt00leq221320004mergeconsxxsconsyysifmergeleqxyxyxsysifmergettxyxsysmergexsconsyysleq0xttleqsx0ffleqsxsyleqxy1ifmerge5010203104056merge291026cons201622ff00s1414tt00leq291320005ifmergettxyxsysmergexsconsyysleq0xttleqsx0ffleqsxsyleqxyifmergettxyxsysmergexsconsyysfalsemergeconsxxsconsyysleqxyfalseleqsxsyleqxytrue1leq281120s1411mergesortxssplitxsfalsesplitconsxconsyxssplitxstrue1split1110cons201324splitconsxconsyxssplit1xysplitxsfalse