qsortnilnilqsortconsxxsappendqsortfilterlowlastconsxxsconsxxsconslastconsxxsqsortfilterhighlastconsxxsconsxxsfilterlownnilnilfilterlownconsxxsif1genxnxxsif1truenxxsfilterlownxsif1falsenxxsconsxfilterlownxsfilterhighnnilnilfilterhighnconsxxsif2gexnnxxsif2truenxxsfilterhighnxsif2falsenxxsconsxfilterhighnxsgex0truege0sxfalsegesxsygexyappendnilysysappendconsxxsysconsxappendxsyslastnil0lastconsxnilxlastconsxconsyxslastconsyxsqsortconsxxsfilterhighlastconsxxsconsxxsqsortconsxxsqsortfilterhighlastconsxxsconsxxsqsortconsxxslastconsxxsqsortconsxxsfilterlowlastconsxxsconsxxsqsortconsxxsqsortfilterlowlastconsxxsconsxxsqsortconsxxsappendqsortfilterlowlastconsxxsconsxxsconslastconsxxsqsortfilterhighlastconsxxsconsxxsfilterlownconsxxsgenxfilterlownconsxxsif1genxnxxsif1truenxxsfilterlownxsif1falsenxxsfilterlownxsfilterhighnconsxxsgexnfilterhighnconsxxsif2gexnnxxsif2truenxxsfilterhighnxsif2falsenxxsfilterhighnxsgesxsygexyappendconsxxsysappendxsyslastconsxconsyxslastconsyxstrueqsortconsxxsqsortfilterhighlastconsxxsconsxxsqsortconsxxsqsortfilterlowlastconsxxsconsxxstrueqsortconsxxsfilterhighlastconsxxsconsxxsfalseqsortconsxxslastconsxxsfalseqsortconsxxsfilterlowlastconsxxsconsxxsfalseqsortconsxxsappendqsortfilterlowlastconsxxsconsxxsconslastconsxxsqsortfilterhighlastconsxxsconsxxsfalselastconsxconsyxslastconsyxstrue1last1612ys00s11114000if24010263447false00true00if148102838412ge201120append281020filterhigh201424filterlow201828last1110cons221122qsort1010nil00appendconsxxsysappendxsystrue1append211020ys00s11214003if24010223444false04true09if142122838415ge201420append211020filterhigh201420filterlow2218214last1813cons221121qsort1010nil00if1falsenxxsfilterlownxsfilterlownconsxxsif1genxnxxsif1truenxxsfilterlownxstrue1if142122123540filterlow221420ys00s1010003if24010273844false04true02if14010283844ge201024append281020filterhigh201220filterlow201220last1113cons241422qsort1010nil00filterlownconsxxsif1genxnxxsfilterlownconsxxsif1genxnxxsfalsefilterlownconsxxsgenxfalseif2falsenxxsfilterhighnxsfilterhighnconsxxsif2gexnnxxsif2truenxxsfilterhighnxstrue1if2421821031040filterhigh2811020ys00s1113001if24010283242false02true00if14010273442ge221020append221020filterhigh201222filterlow201422last1216cons241120qsort1010nil00filterhighnconsxxsif2gexnnxxsif2truenxxsfilterhighnxs1if24010233143filterhigh201123ys00s11210001if24410283846false00true00if14010233841ge211020append241020filterhigh201422filterlow201420last1411cons231221qsort1010nil00if2truenxxsfilterhighnxsif2truenxxsfilterhighnxsfalsefilterhighnconsxxsgexnfalsegesxsygexytrue1ge20112212ys00s1211002if240102631246false00true00if14010223442ge201020append281020filterhigh201621filterlow201220last1212cons211221qsort1010nil00