eq00trueeq0sYfalseeqsX0falseeqsXsYeqXYle0YtruelesX0falselesXsYleXYmincons0nil0minconssNnilsNminconsNconsMLifminleNMconsNconsMLifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLreplaceNMnilnilreplaceNMconsKLifrepleqNKNMconsKLifrepltrueNMconsKLconsMLifreplfalseNMconsKLconsKreplaceNMLselsortnilnilselsortconsNLifselsorteqNminconsNLconsNLifselsorttrueconsNLconsNselsortLifselsortfalseconsNLconsminconsNLselsortreplaceminconsNLNLeqsXsYeqXYlesXsYleXYminconsNconsMLleNMminconsNconsMLifminleNMconsNconsMLifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLreplaceNMconsKLeqNKreplaceNMconsKLifrepleqNKNMconsKLifreplfalseNMconsKLreplaceNMLselsortconsNLminconsNLselsortconsNLeqNminconsNLselsortconsNLifselsorteqNminconsNLconsNLifselsorttrueconsNLselsortLifselsortfalseconsNLreplaceminconsNLNLifselsortfalseconsNLselsortreplaceminconsNLNLifselsortfalseconsNLminconsNLtrueifselsortfalseconsNLselsortreplaceminconsNLNLselsortconsNLifselsorteqNminconsNLconsNLifselsorttrueconsNLselsortLtrueifselsort28selsort13ifrepl48replace35ifmin28min12cons27nil02le25false00s16true04eq2200100eq22true0s11false0le22nil0cons22min11ifmin22replace33ifrepl44selsort11ifselsort22replaceNMnilnilreplaceNMconsKLifrepleqNKNMconsKLifrepltrueNMconsKLconsMLifreplfalseNMconsKLconsKreplaceNMLifselsortfalseconsNLminconsNLfalseifselsortfalseconsNLreplaceminconsNLNLfalsereplaceNMconsKLifrepleqNKNMconsKLifreplfalseNMconsKLreplaceNMLtruereplace33ifrepl44replaceNMconsKLifrepleqNKNMconsKLreplaceNMconsKLifrepleqNKNMconsKLfalsereplaceNMconsKLeqNKfalseselsortconsNLeqNminconsNLfalseeqsXsYeqXYtrueeq22selsortconsNLminconsNLfalseminconsNconsMLifminleNMconsNconsMLifmintrueconsNconsMLminconsNLifminfalseconsNconsMLminconsMLtrueifmin24min13cons22le21false04s15true0000500true0s1false0le2cons22min11ifmin22minconsNconsMLifminleNMconsNconsMLminconsNconsMLifminleNMconsNconsMLfalseminconsNconsMLleNMfalselesXsYleXYtruele22