sort#2NilNilsort#2Consx4x2insert#3x4sort#2x2cond_insert_ord_x_ys_1Truex3x2x1Consx3Consx2x1cond_insert_ord_x_ys_1Falsex3x2x1Consx2insert#3x3x1insert#3x2NilConsx2Nilinsert#3x6Consx4x2cond_insert_ord_x_ys_1leq#2x6x4x6x4x2leq#20x8Trueleq#2Sx120Falseleq#2Sx4Sx2leq#2x4x2mainx1sort#2x1sort#21Nil0Cons2insert#32cond_insert_ord_x_ys_14True0False0leq#2200S1main1INNERMOSThoca/isort.trs