eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmmincons0nil0minconssnnilsnminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxsortnilnilsortconsnxconsminconsnxsortreplaceminconsnxnxeqsnsmeqnmlesnsmlenmminconsnconsmxif_minlenmconsnconsmxminconsnconsmxlenmif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxif_replaceeqnknmconskxreplacenmconskxeqnkif_replacefalsenmconskxreplacenmxsortconsnxminconsnxsortconsnxsortreplaceminconsnxnxsortconsnxreplaceminconsnxnxsortconsnxminconsnxtruesortconsnxsortreplaceminconsnxnxtrue123456781sort111cons2112replace313min10000nil00s10if_min20le20true00false00if_replace414eq20replacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxconskreplacenmxif_replacetruenmconskxconsmxsortconsnxreplaceminconsnxnxfalse246replacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtrue246if_replace44replace33replacenmconskxif_replaceeqnknmconskxreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalse24eqsnsmeqnmtrue24eq22sortconsnxminconsnxfalse2minconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue21min1111cons2112if_min212le20true00false00000s10if_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxif_mintrueconsnconsmxminconsnxfalseif_minfalseconsnconsmxminconsmxfalseminconsnconsmxlenmfalselesnsmlenmtruele22