/export/starexec/sandbox/solver/bin/starexec_run_tct_rci_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^2)) #less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#00#EQ0#GT0#LT0#false0#neg1#pos1#s1#true0::2leaf0nil0node3#cklt1#compare2#less2append2append#12flatten1flatten#11flattensort1insert2insert#12insert#24insertionsort1insertionsort#1122.211#000#EQ00#GT00#LT00#cklt1021#compare200102#false00#less200102#neg1001#pos1401#s1011#true00::200112append221112append#1221112flatten1021flatten#11021flattensort1121insert200112insert#1201102insert#24041020314insertionsort1011insertionsort#11011leaf00nil00node35111213append#1nil@l2@l2flatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@t#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil11#000#EQ00#GT00#LT00#cklt1011#compare200102#false00#less200102#neg1011#pos1011#s1001#true00::200112append211112append#1211112flatten1011flatten#11011flattensort1041insert200112insert#1201102insert#24041020314insertionsort1021insertionsort#11021leaf04nil00node35111213flatten#1leafnil#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil11#004#EQ00#GT00#LT00#cklt1011#compare200102#false00#less200102#neg1401#pos1001#s1401#true00::200112append201112append#1201112flatten1111flatten#11111flattensort1331insert200112insert#1201102insert#24011020314insertionsort1031insertionsort#11031leaf01nil01node31111213insertionsort#1nilnil#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil11#000#EQ00#GT00#LT00#cklt1021#compare200102#false00#less200102#neg1201#pos1401#s1401#true00::200112append211112append#1211112flatten1111flatten#11011flattensort1411insert200112insert#1201102insert#24041020314insertionsort1211insertionsort#11211leaf01nil00node34111213flatten@tflatten#1@t#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil11#000#EQ00#GT00#LT00#cklt1341#compare200102#false03#less230102#neg1001#pos1111#s1001#true03::260112append201112append#1201112flatten1211flatten#11011flattensort1531insert260112insert#1261102insert#24041020314insertionsort1121insertionsort#11021leaf03nil00node34111213insertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xs#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil11#000#EQ00#GT00#LT00#cklt1041#compare200102#false00#less200102#neg1401#pos1011#s1101#true00::210112append201112append#1201112flatten1111flatten#11111flattensort1441insert240112insert#1241102insert#24511020314insertionsort1041insertionsort#11041leaf01nil00node37111213insert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ys#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil21#0000#EQ000#GT000#LT014#cklt10140021#compare2120303103002#false000#less2450606106002#neg12010201#pos12010011#s11010201#true040::2010000110012append2501011110712append#12401011110712flatten10020011flatten#110020011flattensort14022411insert2410000110012insert#12411001100002insert#240210001000020000310014insertionsort10011411insertionsort#110011411leaf044nil062node350103111041210713append@l1@l2append#1@l1@l2#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil21#0000#EQ012#GT010#LT010#cklt11130011#compare2150606106002#false040#less2460607106002#neg10010101#pos10110011#s10010011#true040::2010000110012append2001011110012append#12001011110012flatten12040011flatten#110040011flattensort12244611insert2410000110012insert#12411001100002insert#240210001000020000310014insertionsort10011411insertionsort#110011411leaf027nil002node310101111011210113append#1::@x@xs@l2::@xappend@xs@l2#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flattensort@tinsertionsortflatten@tinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil#less@x@y#cklt#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yinsert@x@linsert#1@l@xinsert@x@lc2insert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1::@y@ys@xc3insert#2#less@y@x@x@y@ys#less@y@xinsert#2#true@x@y@ys::@yinsert@x@ysinsert#2#true@x@y@ysc4insert@x@ys#cklt#EQ#false#cklt#EQc5#cklt#GT#false#cklt#GTc6#cklt#LT#true#cklt#LTc7#compare#0#0#EQ#compare#0#0c8#compare#0#neg@y#GT#compare#0#neg@yc9#compare#0#pos@y#LT#compare#0#pos@yc10#compare#0#s@y#LT#compare#0#s@yc11#compare#neg@x#0#LT#compare#neg@x#0c12#compare#neg@x#neg@y#compare@y@x#compare#neg@x#neg@yc13#compare@y@x#compare#neg@x#pos@y#LT#compare#neg@x#pos@yc14#compare#pos@x#0#GT#compare#pos@x#0c15#compare#pos@x#neg@y#GT#compare#pos@x#neg@yc16#compare#pos@x#pos@y#compare@x@y#compare#pos@x#pos@yc17#compare@x@y#compare#s@x#0#GT#compare#s@x#0c18#compare#s@x#s@y#compare@x@y#compare#s@x#s@yc19#compare@x@yappend@l1@l2append#1@l1@l2append@l1@l2c20append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1::@x@xs@l2c21append@xs@l2append#1nil@l2@l2append#1nil@l2c22flatten@tflatten#1@tflatten@tc23flatten#1@tflatten#1leafnilflatten#1leafc24flatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2flatten#1node@l@t1@t2c25append@lappendflatten@t1flatten@t2appendflatten@t1flatten@t2flatten@t1flatten@t2flattensort@tinsertionsortflatten@tflattensort@tc26insertionsortflatten@tflatten@tinsert#1nil@x::@xnilinsert#1nil@xc27insert#2#false@x@y@ys::@x::@y@ysinsert#2#false@x@y@ysc28insertionsort@linsertionsort#1@linsertionsort@lc29insertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1::@x@xsc30insert@xinsertionsort@xsinsertionsort@xsinsertionsort#1nilnilinsertionsort#1nilc31#less@x@yinsert@x@linsert#1::@y@ys@xinsert#2#true@x@y@ys#cklt#EQ#cklt#GT#cklt#LT#compare#0#0#compare#0#neg@y#compare#0#pos@y#compare#0#s@y#compare#neg@x#0#compare#neg@x#neg@y#compare#neg@x#pos@y#compare#pos@x#0#compare#pos@x#neg@y#compare#pos@x#pos@y#compare#s@x#0#compare#s@x#s@yappend@l1@l2append#1::@x@xs@l2append#1nil@l2flatten@tflatten#1leafflatten#1node@l@t1@t2flattensort@tinsert#1nil@xinsert#2#false@x@y@ysinsertionsort@linsertionsort#1::@x@xsinsertionsort#1nilflattensort@tinsertionsortflatten@t2#001#EQ00#GT00#LT01#cklt111#compare2112#false00#less2112#neg1111#pos1111#s1111#true01::21112append21112append#121112flatten111flatten#1111flattensort10insert21112insert#121112insert#24121314insertionsort111insertionsort#1111leaf01nil01node3111213#cklt10#compare20#less20append20append#120flatten10flatten#110flattensort1111111insert2112insert#12112insert#2411124insertionsort1111111insertionsort#11111111c121112c2111c321112c4111c500c600c700c800c900c1000c1100c1200c13111c1400c1500c1600c17111c1800c19111c20111c21111c2200c23111c2400c25411121314c2621112c2700c2800c29111c3021112c3100insert#2#true@x@y@ysc4insert@x@ys#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2insert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil#cklt#EQc5#cklt#GTc6#cklt#LTc7#compare#0#0c8#compare#0#neg@yc9#compare#0#pos@yc10#compare#0#s@yc11#compare#neg@x#0c12#compare#neg@x#neg@yc13#compare@y@x#compare#neg@x#pos@yc14#compare#pos@x#0c15#compare#pos@x#neg@yc16#compare#pos@x#pos@yc17#compare@x@y#compare#s@x#0c18#compare#s@x#s@yc19#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yappend@l1@l2c20append#1@l1@l2append#1::@x@xs@l2c21append@xs@l2append#1nil@l2c22flatten@tc23flatten#1@tflatten#1leafc24flatten#1node@l@t1@t2c25append@lappendflatten@t1flatten@t2appendflatten@t1flatten@t2flatten@t1flatten@t2flattensort@tc26insertionsortflatten@tflatten@tinsert@x@lc2insert#1@l@xinsert#1::@y@ys@xc3insert#2#less@y@x@x@y@ys#less@y@xinsert#1nil@xc27insert#2#false@x@y@ysc28insert#2#true@x@y@ysc4insert@x@ysinsertionsort@lc29insertionsort#1@linsertionsort#1::@x@xsc30insert@xinsertionsort@xsinsertionsort@xsinsertionsort#1nilc312#000#EQ00#GT01#LT00#cklt11#compare20#false01#less21#neg10#pos10#s10#true01::2112append21112append#121112flatten111flatten#1111flattensort10insert2112insert#12111insert#2411114insertionsort111insertionsort#1111leaf01nil01node3111213#cklt10#compare20#less21append20append#120flatten10flatten#110flattensort11111insert212insert#1211insert#2414insertionsort1111insertionsort#11111c121112c2111c321112c4111c500c600c700c800c900c1000c1100c1200c13111c1400c1500c1600c17111c1800c19111c20111c21111c2200c23111c2400c25411121314c2621112c2701c2800c29111c30211112c3100#less@x@yc1#cklt#compare@x@y#compare@x@y#cklt#EQ#false#cklt#GT#false#cklt#LT#true#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2insert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil#cklt#EQc5#cklt#GTc6#cklt#LTc7#compare#0#0c8#compare#0#neg@yc9#compare#0#pos@yc10#compare#0#s@yc11#compare#neg@x#0c12#compare#neg@x#neg@yc13#compare@y@x#compare#neg@x#pos@yc14#compare#pos@x#0c15#compare#pos@x#neg@yc16#compare#pos@x#pos@yc17#compare@x@y#compare#s@x#0c18#compare#s@x#s@yc19#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yappend@l1@l2c20append#1@l1@l2append#1::@x@xs@l2c21append@xs@l2append#1nil@l2c22flatten@tc23flatten#1@tflatten#1leafc24flatten#1node@l@t1@t2c25append@lappendflatten@t1flatten@t2appendflatten@t1flatten@t2flatten@t1flatten@t2flattensort@tc26insertionsortflatten@tflatten@tinsert@x@lc2insert#1@l@xinsert#1::@y@ys@xc3insert#2#less@y@x@x@y@ys#less@y@xinsert#1nil@xc27insert#2#false@x@y@ysc28insert#2#true@x@y@ysc4insert@x@ysinsertionsort@lc29insertionsort#1@linsertionsort#1::@x@xsc30insert@xinsertionsort@xsinsertionsort@xsinsertionsort#1nilc312#000#EQ01#GT01#LT01#cklt111#compare21#false01#less21#neg10#pos10#s10#true01::2112append21112append#121112flatten111flatten#1111flattensort10insert2112insert#12111insert#2411114insertionsort111insertionsort#1111leaf01nil00node3111213#cklt10#compare20#less20append20append#120flatten10flatten#110flattensort1111insert212insert#1211insert#2414insertionsort1111insertionsort#11111c121112c2111c321112c4111c500c600c700c800c900c1000c1100c1200c13111c1400c1500c1600c17111c1800c19111c20111c21111c2200c23111c2400c25411121314c2621112c2700c2800c29111c3021112c3100insert#1::@y@ys@xc3insert#2#less@y@x@x@y@ys#less@y@x#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2insert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil#cklt#EQc5#cklt#GTc6#cklt#LTc7#compare#0#0c8#compare#0#neg@yc9#compare#0#pos@yc10#compare#0#s@yc11#compare#neg@x#0c12#compare#neg@x#neg@yc13#compare@y@x#compare#neg@x#pos@yc14#compare#pos@x#0c15#compare#pos@x#neg@yc16#compare#pos@x#pos@yc17#compare@x@y#compare#s@x#0c18#compare#s@x#s@yc19#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yappend@l1@l2c20append#1@l1@l2append#1::@x@xs@l2c21append@xs@l2append#1nil@l2c22flatten@tc23flatten#1@tflatten#1leafc24flatten#1node@l@t1@t2c25append@lappendflatten@t1flatten@t2appendflatten@t1flatten@t2flatten@t1flatten@t2flattensort@tc26insertionsortflatten@tflatten@tinsert@x@lc2insert#1@l@xinsert#1::@y@ys@xc3insert#2#less@y@x@x@y@ys#less@y@xinsert#1nil@xc27insert#2#false@x@y@ysc28insert#2#true@x@y@ysc4insert@x@ysinsertionsort@lc29insertionsort#1@linsertionsort#1::@x@xsc30insert@xinsertionsort@xsinsertionsort@xsinsertionsort#1nilc312#000#EQ01#GT01#LT00#cklt11#compare212#false01#less21#neg10#pos11#s10#true01::2112append21112append#121112flatten111flatten#1111flattensort10insert2112insert#12111insert#24111114insertionsort111insertionsort#1111leaf01nil00node3111213#cklt10#compare20#less20append20append#120flatten10flatten#110flattensort1111insert2112insert#1211insert#24114111insertionsort1111insertionsort#11111c121112c2111c321112c4111c500c600c700c800c900c1000c1100c1200c13111c1400c1500c1600c17111c1800c19111c20111c21111c2200c23111c2400c25411121314c2621112c2700c2800c29111c3021112c3100insert@x@lc2insert#1@l@x#cklt#EQ#false#cklt#GT#false#cklt#LT#true#less@x@y#cklt#compare@x@yappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2flatten@tflatten#1@tflatten#1leafnilflatten#1node@l@t1@t2append@lappendflatten@t1flatten@t2insert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2#less@y@x@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@x::@y@ysinsert#2#true@x@y@ys::@yinsert@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnil#cklt#EQc5#cklt#GTc6#cklt#LTc7#compare#0#0c8#compare#0#neg@yc9#compare#0#pos@yc10#compare#0#s@yc11#compare#neg@x#0c12#compare#neg@x#neg@yc13#compare@y@x#compare#neg@x#pos@yc14#compare#pos@x#0c15#compare#pos@x#neg@yc16#compare#pos@x#pos@yc17#compare@x@y#compare#s@x#0c18#compare#s@x#s@yc19#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yappend@l1@l2c20append#1@l1@l2append#1::@x@xs@l2c21append@xs@l2append#1nil@l2c22flatten@tc23flatten#1@tflatten#1leafc24flatten#1node@l@t1@t2c25append@lappendflatten@t1flatten@t2appendflatten@t1flatten@t2flatten@t1flatten@t2flattensort@tc26insertionsortflatten@tflatten@tinsert@x@lc2insert#1@l@xinsert#1::@y@ys@xc3insert#2#less@y@x@x@y@ys#less@y@xinsert#1nil@xc27insert#2#false@x@y@ysc28insert#2#true@x@y@ysc4insert@x@ysinsertionsort@lc29insertionsort#1@linsertionsort#1::@x@xsc30insert@xinsertionsort@xsinsertionsort@xsinsertionsort#1nilc31TcT