eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmmincons0nil0minconssnnilsnminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxsortnilnilsortconsnxconsminconsnxsortreplaceminconsnxnxeqsnsmeqnmlesnsmlenmminconsnconsmxif_minlenmconsnconsmxminconsnconsmxlenmif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxif_replaceeqnknmconskxreplacenmconskxeqnkif_replacefalsenmconskxreplacenmxsortconsnxminconsnxsortconsnxsortreplaceminconsnxnxsortconsnxreplaceminconsnxnxsortconsnxminconsnxtruesortconsnxsortreplaceminconsnxnxtrue123456781sort111cons2112replace313min10000nil00s10if_min20le20true00false00if_replace414eq20replacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxconskreplacenmxif_replacetruenmconskxconsmxsortconsnxreplaceminconsnxnxfalse246replacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtrue2461replace311113cons2112if_replace411214eq20false00000true00s10replacenmconskxif_replaceeqnknmconskxreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalse24eqsnsmeqnmtrue241eq212s1111sortconsnxminconsnxfalse2minconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue21min1111cons2112if_min212le20true00false00000s10if_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxif_mintrueconsnconsmxminconsnxfalseif_minfalseconsnconsmxminconsmxfalseminconsnconsmxlenmfalselesnsmlenmtrue1le212s1111