U61ttslengthLandttXzeroscons0U11ttU12isNatListU12ttttU21ttU22isNatU22ttttU31ttU32isNatListU32ttttU41ttU42isNatU42ttU43isNatIListU43ttttU51ttU52isNatU52ttU53isNatListU53ttttisNatttisNatU11isNatIListKindisNatU21isNatKindisNatIListU31isNatIListKindisNatIListttisNatIListU41andisNatKindisNatIListKindttisNatIListKindandisNatKindisNatKindttisNatKindisNatIListKindisNatKindisNatKindisNatListttisNatListU51andisNatKindlengthnil0lengthconsNU61andandisNatList