#abs#0#0#abs#neg@x#pos@x#abs#pos@x#pos@x#abs#s@x#pos#s@x#less@x@y#cklt#compare@x@yinsert@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@ysinsertD@x@linsertD#1@l@xinsertD#1::@y@ys@xinsertD#2#less@y@x@x@y@ysinsertD#1nil@x::@xnilinsertD#2#false@x@y@ys::@x::@y@ysinsertD#2#true@x@y@ys::@yinsertD@x@ysinsertionsort@linsertionsort#1@linsertionsort#1::@x@xsinsert@xinsertionsort@xsinsertionsort#1nilnilinsertionsortD@linsertionsortD#1@linsertionsortD#1::@x@xsinsertD@xinsertionsortD@xsinsertionsortD#1nilniltestInsertionsort@xinsertionsorttestList#unittestInsertionsortD@xinsertionsortDtestList#unittestList@_::#abs#0::#abs#pos#s#s#s#s#0::#abs#pos#s#s#s#s#s#0::#abs#pos#s#s#s#s#s#s#s#s#s#0::#abs#pos#s#s#s#s#s#s#s#0::#abs#pos#s#0::#abs#pos#s#s#0::#abs#pos#s#s#s#s#s#s#s#s#0::#abs#pos#s#s#s#s#s#s#0::#abs#pos#s#s#s#0nil#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#unit0insertionsort#11#true0#cklt1insert2#pos1#EQ0testInsertionsortD1insert#24insertD#24#compare2insertD2nil0testInsertionsort1#false0::2#LT0insertD#12insert#12testList1#00#neg1#less2#abs1insertionsortD#11insertionsortD1#s1#GT0insertionsort1INNERMOSTtct_complexity/raML/insertionsort.raml.trs