U61ttslengthLandttXzeroscons0U11ttU12isNatListU12ttttU21ttU22isNatU22ttttU31ttU32isNatListU32ttttU41ttU42isNatU42ttU43isNatIListU43ttttU51ttU52isNatU52ttU53isNatListU53ttttisNatttisNatU11isNatIListKindisNatU21isNatKindisNatIListU31isNatIListKindisNatIListttisNatIListU41andisNatKindisNatIListKindttisNatIListKindandisNatKindisNatKindttisNatKindisNatIListKindisNatKindisNatKindisNatListttisNatListU51andisNatKindlengthnil0lengthconsNU61andandisNatListU61ttandttzerosU11ttU12ttU21ttU22ttU31ttU32ttU41ttU42ttU43ttU51ttU52ttU53ttisNatisNatIListisNatIListKindisNatKindisNatListlengthnillengthconsN2.1U61ttU61ttslengthLslengthU61ttslengthttt21.14unfold -fp -vpos -sc -fph