=minifMarked_minmsort<=Marked_msort.delMarked_delnilzyxmsort(nil)nilmsort(.(x,y)).(min(x,y),msort(del(min(x,y),.(x,y))))min(x,nil)xmin(x,.(y,z))if(<=(x,y),min(x,z),min(y,z))del(x,nil)nildel(x,.(y,z))if(=(x,y),z,.(y,del(x,z)))msort(nil)nilmsort(.(x,y)).(min(x,y),msort(del(min(x,y),.(x,y))))min(x,nil)xmin(x,.(y,z))if(<=(x,y),min(x,z),min(y,z))del(x,nil)nildel(x,.(y,z))if(=(x,y),z,.(y,del(x,z)))Marked_msort(.(x,y))Marked_min(x,y)Marked_msort(.(x,y))Marked_msort(del(min(x,y),.(x,y)))Marked_msort(.(x,y))Marked_del(min(x,y),.(x,y))Marked_msort(.(x,y))Marked_min(x,y)Marked_min(x,.(y,z))Marked_min(x,z)Marked_min(x,.(y,z))Marked_min(y,z)Marked_del(x,.(y,z))Marked_del(x,z)msort(nil)nilmsort(.(x,y)).(min(x,y),msort(del(min(x,y),.(x,y))))min(x,nil)xmin(x,.(y,z))if(<=(x,y),min(x,z),min(y,z))del(x,nil)nildel(x,.(y,z))if(=(x,y),z,.(y,del(x,z)))Marked_msort(.(x,y))Marked_msort(del(min(x,y),.(x,y)))nil0del0.30Marked_msort20<=0msort30if0min10=0msort(nil)nilmsort(.(x,y)).(min(x,y),msort(del(min(x,y),.(x,y))))min(x,nil)xmin(x,.(y,z))if(<=(x,y),min(x,z),min(y,z))del(x,nil)nildel(x,.(y,z))if(=(x,y),z,.(y,del(x,z)))Marked_min(x,.(y,z))Marked_min(x,z)Marked_min(x,.(y,z))Marked_min(y,z)nil0del0.210<=0msort10Marked_min30if0min20=0msort(nil)nilmsort(.(x,y)).(min(x,y),msort(del(min(x,y),.(x,y))))min(x,nil)xmin(x,.(y,z))if(<=(x,y),min(x,z),min(y,z))del(x,nil)nildel(x,.(y,z))if(=(x,y),z,.(y,del(x,z)))Marked_del(x,.(y,z))Marked_del(x,z)nil0Marked_del30del0.2230<=0msort20if0min110=0