U12ttslengthLU23ttconsNzeroscons0U11ttU12ttU21ttU22ttU22ttU23ttlengthnil0lengthconsNU11tttake0ILniltakesMconsNU21ttU121tt0s1length1U231cons1zeros000U111U211U221nil0take2FULL./TRS/TRCSR/OvConsOS_nosorts-noand_L.trs