eq00trueeq0sYfalseeqsX0falseeqsXsYeqXYle0YtruelesX0falselesXsYleXYmincons0nil0minconssNnilsNminconsNconsMLifminleNMconsNconsMLifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLreplaceNMnilnilreplaceNMconsKLifrepleqNKNMconsKLifrepltrueNMconsKLconsMLifreplfalseNMconsKLconsKreplaceNMLselsortnilnilselsortconsNLifselsorteqNminconsNLconsNLifselsorttrueconsNLconsNselsortLifselsortfalseconsNLconsminconsNLselsortreplaceminconsNLNLeqsXsYeqXYlesXsYleXYminconsNconsMLifminleNMconsNconsMLminconsNconsMLleNMifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLreplaceNMconsKLifrepleqNKNMconsKLreplaceNMconsKLeqNKifreplfalseNMconsKLreplaceNMLselsortconsNLifselsorteqNminconsNLconsNLselsortconsNLeqNminconsNLselsortconsNLminconsNLifselsorttrueconsNLselsortLifselsortfalseconsNLminconsNLifselsortfalseconsNLselsortreplaceminconsNLNLifselsortfalseconsNLreplaceminconsNLNLifselsortfalseconsNLminconsNLtrueifselsorttrueconsNLselsortLselsortconsNLifselsorteqNminconsNLconsNLifselsortfalseconsNLselsortreplaceminconsNLNLtrue123456789101ifselsort212true00cons2112selsort111eq20min10false00replace313000nil00s10ifmin20le20ifrepl414selsortconsNLifselsorteqNminconsNLconsNLreplaceNMnilnilreplaceNMconsKLifrepleqNKNMconsKLifreplfalseNMconsKLconsKreplaceNMLifrepltrueNMconsKLconsMLselsortconsNLifselsorteqNminconsNLconsNLfalseifselsortfalseconsNLreplaceminconsNLNLfalse358replaceNMconsKLifrepleqNKNMconsKLifreplfalseNMconsKLreplaceNMLtrue3681replace311113cons2112ifrepl411214eq20false00000true00s10replaceNMconsKLifrepleqNKNMconsKLreplaceNMconsKLifrepleqNKNMconsKLfalsereplaceNMconsKLeqNKfalse257selsortconsNLeqNminconsNLfalse25eqsXsYeqXYtrue351eq212s1111selsortconsNLminconsNLfalse3ifselsortfalseconsNLminconsNLfalse2minconsNconsMLifminleNMconsNconsMLifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLtrue21min1111cons2112ifmin212le20true00false00000s10ifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLifmintrueconsNconsMLminconsNLfalseifminfalseconsNconsMLminconsMLfalseminconsNconsMLleNMfalselesXsYleXYtrue1le272s1161