U71ttslengthLU91ttconsNandttXzeroscons0U11ttU12isNatListU12ttttU21ttU22isNatU22ttttU31ttU32isNatListU32ttttU41ttU42isNatU42ttU43isNatIListU43ttttU51ttU52isNatU52ttU53isNatListU53ttttU61ttU62isNatU62ttU63isNatIListU63ttttU81ttnilisNatttisNatU11isNatIListKindisNatU21isNatKindisNatIListU31isNatIListKindisNatIListttisNatIListU41andisNatKindisNatIListKindttisNatIListKindandisNatKindisNatKindttisNatKindisNatIListKindisNatKindisNatKindisNatListttisNatListU51andisNatKindisNatListU61andisNatKindlengthnil0lengthconsNU71andandisNatListtake0ILU81andisNatIListtakesMconsNU91andandisNatIList