#equal@x@y#eq@x@y#less@x@y#cklt#compare@x@yand@x@y#and@x@yinsert@x@linsert#1@l@xinsert#1::@y@ys@xinsert#2leq@x@y@x@y@ysinsert#1nil@x::@xnilinsert#2#false@x@y@ys::@yinsert@x@ysinsert#2#true@x@y@ys::@x::@y@ysisortlist@lisortlist#1@lisortlist#1::@x@xsinsert@xisortlist@xsisortlist#1nilnilleq@l1@l2leq#1@l1@l2leq#1::@x@xs@l2leq#2@l2@x@xsleq#1nil@l2#trueleq#2::@y@ys@x@xsor#less@x@yand#equal@x@yleq@xs@ysleq#2nil@x@xs#falseor@x@y#or@x@y#and#false#false#false#and#false#true#false#and#true#false#false#and#true#true#true#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#eq#0#0#true#eq#0#neg@y#false#eq#0#pos@y#false#eq#0#s@y#false#eq#neg@x#0#false#eq#neg@x#neg@y#eq@x@y#eq#neg@x#pos@y#false#eq#pos@x#0#false#eq#pos@x#neg@y#false#eq#pos@x#pos@y#eq@x@y#eq#s@x#0#false#eq#s@x#s@y#eq@x@y#eq::@x_1@x_2::@y_1@y_2#and#eq@x_1@y_1#eq@x_2@y_2#eq::@x_1@x_2nil#false#eqnil::@y_1@y_2#false#eqnilnil#true#or#false#false#false#or#false#true#true#or#true#false#true#or#true#true#true#equal2#eq2leq#23or2#true0and2isortlist1leq#12#cklt1insert2#pos1#EQ0insert#24#and2#compare2nil0leq2#false0::2isortlist#11#LT0#or2insert#12#00#neg1#less2#s1#GT0INNERMOSTtct_complexity/raML/listsort.raml.trs