lessElementsltlessElt0lessEltniflelengthlnlelengthtoListtnltniftruebltnliffalsetrueltntiffalsefalseltnlessEltsnlengthnil0lengthconsnlslengthltoListleafniltoListnodet1nt2appendtoListt1consntoListt2appendnill2l2appendconsnl1l2consnappendl1l2lesn0falsele0mtruelesnsmlenmacadlessElementsltlessElt0lessEltntoListtlessEltnlengthtoListtlessEltnlelengthtoListtnlessEltnlengthllessEltnlelengthlnlessEltniflelengthlnlelengthtoListtnltniffalsefalseltnlessEltsnlengthconsnllengthltoListnodet1nt2toListt2toListnodet1nt2toListt1toListnodet1nt2appendtoListt1consntoListt2appendconsnl1l2appendl1l2lesnsmlenmtruelessElementsltlessElt0falseiffalsefalseltnlessEltsnlessEltniflelengthlnlelengthtoListtnltntruelessEltnlelengthlnfalselessEltnlengthlfalselessEltnlelengthtoListtnfalselesnsmlenmtrue1le2810210d00c00a08append281224node313113212311leaf00cons221122nil01s1114false00true08if501028324050toList1414le201828length1810lessE38122030006lessElements2121828lessEltnlengthtoListtfalselengthconsnllengthltrue1length1114d00c08a08append291121node391229310leaf08cons211121nil00s1014false01true00if5011021314050toList1511le201021length1014lessE311120310000lessElements2411210lessEltntoListtfalsetoListnodet1nt2toListt2toListnodet1nt2toListt1true1toList1214d00c00a012append241820node381028312leaf02cons201124nil02s1010false00true04if501021324056toList1512le201024length1811lessE31122036000lessElements281426toListnodet1nt2appendtoListt1consntoListt2falseappendconsnl1l2appendl1l2true1append241020d00c08a08append211120node36122431leaf06cons201122nil00s1012false04true04if501021314053toList1816le201024length1110lessE31112033000lessElements221123