#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@yflattensort1insertionsort#11#true0leaf0append2#cklt1insert2#pos1node3#EQ0insert#24#compare2nil0append#12#false0flatten#11::2#LT0insert#12#00#neg1#less2flatten1#s1#GT0insertionsort1INNERMOSTtct_complexity/raML/flatten.raml.trs