eq00trueeq0sYfalseeqsX0falseeqsXsYeqXYle0YtruelesX0falselesXsYleXYmincons0nil0minconssNnilsNminconsNconsMLifminleNMconsNconsMLifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLreplaceNMnilnilreplaceNMconsKLifrepleqNKNMconsKLifrepltrueNMconsKLconsMLifreplfalseNMconsKLconsKreplaceNMLselsortnilnilselsortconsNLifselsorteqNminconsNLconsNLifselsorttrueconsNLconsNselsortLifselsortfalseconsNLconsminconsNLselsortreplaceminconsNLNLeqsXsYeqXYlesXsYleXYminconsNconsMLifminleNMconsNconsMLminconsNconsMLleNMifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLreplaceNMconsKLifrepleqNKNMconsKLreplaceNMconsKLeqNKifreplfalseNMconsKLreplaceNMLselsortconsNLifselsorteqNminconsNLconsNLselsortconsNLeqNminconsNLselsortconsNLminconsNLifselsorttrueconsNLselsortLifselsortfalseconsNLminconsNLifselsortfalseconsNLselsortreplaceminconsNLNLifselsortfalseconsNLreplaceminconsNLNLifselsortfalseconsNLminconsNLtrueifselsorttrueconsNLselsortLselsortconsNLifselsorteqNminconsNLconsNLifselsortfalseconsNLselsortreplaceminconsNLNLtrue123456789101ifselsort212true00cons2112selsort111eq20min10false00replace313000nil00s10ifmin20le20ifrepl414selsortconsNLifselsorteqNminconsNLconsNLreplaceNMnilnilreplaceNMconsKLifrepleqNKNMconsKLifreplfalseNMconsKLconsKreplaceNMLifrepltrueNMconsKLconsMLselsortconsNLifselsorteqNminconsNLconsNLfalseifselsortfalseconsNLreplaceminconsNLNLfalse358replaceNMconsKLifrepleqNKNMconsKLifreplfalseNMconsKLreplaceNMLtrue368ifrepl44replace33replaceNMconsKLifrepleqNKNMconsKLreplaceNMconsKLifrepleqNKNMconsKLfalsereplaceNMconsKLeqNKfalse257selsortconsNLeqNminconsNLfalse25eqsXsYeqXYtrue35eq22selsortconsNLminconsNLfalse3ifselsortfalseconsNLminconsNLfalse2minconsNconsMLifminleNMconsNconsMLifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLtrue21min1111cons2112ifmin212le20true00false00000s10ifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLifmintrueconsNconsMLminconsNLfalseifminfalseconsNconsMLminconsMLfalseminconsNconsMLleNMfalselesXsYleXYtruele22