U114ttslengthLU136ttconsNzeroscons0U101ttU102isNatKindU102ttU103isNatIListKindU103ttU104isNatIListKindU104ttU105isNatU105ttU106isNatIListU106ttttU11ttU12isNatIListKindU111ttU112isNatIListKindU112ttU113isNatU113ttU114isNatKindU12ttU13isNatListU121ttU122isNatIListKindU122ttnilU13ttttU131ttU132isNatIListKindU132ttU133isNatU133ttU134isNatKindU134ttU135isNatU135ttU136isNatKindU21ttU22isNatKindU22ttU23isNatU23ttttU31ttU32isNatIListKindU32ttU33isNatListU33ttttU41ttU42isNatKindU42ttU43isNatIListKindU43ttU44isNatIListKindU44ttU45isNatU45ttU46isNatIListU46ttttU51ttU52isNatIListKindU52ttttU61ttU62isNatIListKindU62ttttU71ttttU81ttttU91ttU92isNatKindU92ttU93isNatIListKindU93ttU94isNatIListKindU94ttU95isNatU95ttU96isNatListU96ttttisNatttisNatU11isNatIListKindisNatU21isNatKindisNatIListU31isNatIListKindisNatIListttisNatIListU41isNatKindisNatIListKindttisNatIListKindU51isNatKindisNatIListKindU61isNatKindisNatKindttisNatKindU71isNatIListKindisNatKindU81isNatKindisNatListttisNatListU91isNatKindisNatListU101isNatKindlengthnil0lengthconsNU111isNatListtake0ILU121isNatIListtakesMconsNU131isNatIListU114ttU136ttzerosU101ttU102ttU103ttU104ttU105ttU106ttU11ttU111ttU112ttU113ttU12ttU121ttU122ttU13ttU131ttU132ttU133ttU134ttU135ttU21ttU22ttU23ttU31ttU32ttU33ttU41ttU42ttU43ttU44ttU45ttU46ttU51ttU52ttU61ttU62ttU71ttU81ttU91ttU92ttU93ttU94ttU95ttU96ttisNatisNatIListisNatIListKindisNatKindisNatListlengthnillengthconsNtake0ILtakesMconsN2.1U114ttU114ttslengthLslengthU114ttslengthttt21.14unfold -fp -vpos -sc -fph