lessElementsltlessElt0lessEltniflelengthlnlelengthtoListtnltniftruebltnliffalsetrueltntiffalsefalseltnlessEltsnlengthnil0lengthconsnlslengthltoListleafniltoListnodet1nt2appendtoListt1consntoListt2appendnill2l2appendconsnl1l2consnappendl1l2lesn0falsele0mtruelesnsmlenmacadlessElements2lessE300if5le2length1toList1true0false0s1nil0cons2leaf0node3append2a0c0d0INNERMOST./TRS/secret07/aprove/aprove10.trs