fold#3insert_ordx2NilNilfold#3insert_ordx6Consx4x2insert_ord#2x6x4fold#3insert_ordx6x2cond_insert_ord_x_ys_1Truex3x2x1Consx3Consx2x1cond_insert_ord_x_ys_1Falsex0x5x2Consx5insert_ord#2leqx0x2insert_ord#2leqx2NilConsx2Nilinsert_ord#2leqx6Consx4x2cond_insert_ord_x_ys_1leq#2x6x4x6x4x2leq#20x8Trueleq#2Sx120Falseleq#2Sx4Sx2leq#2x4x2mainx3fold#3insert_ordleqx3fold#32insert_ord1Nil0Cons2insert_ord#23cond_insert_ord_x_ys_14True0False0leq0leq#2200S1main1INNERMOSThoca/isort-fold.trs