lt0sXtrueltsX0falseltsXsYltXYappendnilYYappendaddNXYaddNappendXYsplitNnilpairnilnilsplitNaddMYf_1splitNYNMYf_1pairXZNMYf_2ltNMNMYXZf_2trueNMYXZpairXaddMZf_2falseNMYXZpairaddMXZqsortnilnilqsortaddNXf_3splitNXNXf_3pairYZNXappendqsortYaddXqsortZltsXsYltXYappendaddNXYappendXYsplitNaddMYsplitNYsplitNaddMYf_1splitNYNMYf_1pairXZNMYltNMf_1pairXZNMYf_2ltNMNMYXZqsortaddNXsplitNXqsortaddNXf_3splitNXNXf_3pairYZNXqsortZf_3pairYZNXqsortYf_3pairYZNXappendqsortYaddXqsortZtruef_3pairYZNXqsortZqsortaddNXf_3splitNXNXf_3pairYZNXqsortYtrue1f_334102030qsort1814f_335102030qsort11010f_261102030425262f_14110203044pair221221split201224add201122append211123nil00false03true03lt201023s1010000f_3pairYZNXqsortZf_3pairYZNXqsortYf_3pairYZNXqsortYfalsef_3pairYZNXqsortZfalsef_3pairYZNXappendqsortYaddXqsortZfalseappendaddNXYappendXYtrue1append241026f_3341020311qsort1814f_262102030425260f_14110203042pair221220split201220add201121append211122nil00false01true01lt201021s1010000qsortaddNXsplitNXfalsesplitNaddMYsplitNYtrue1split201426f_3341020311qsort1814f_262102030425260f_14110203042pair221220split201220add201121append211122nil00false01true01lt201021s1010000splitNaddMYf_1splitNYNMYfalsef_1pairXZNMYf_2ltNMNMYXZfalsef_1pairXZNMYltNMfalseltsXsYltXYtrue1lt2121020f_330102030qsort1119f_269132030405060f_140112203044pair201024split2131024add201020append201120nil02false01true06lt211020s1212008