U72ttslengthLU93ttconsNzeroscons0U11ttttU21ttttU31ttttU41ttU42isNatIListU42ttttU51ttU52isNatListU52ttttU61ttU62isNatIListU62ttttU71ttU72isNatU81ttnilU91ttU92isNatU92ttU93isNatisNatttisNatU11isNatListisNatU21isNatisNatIListU31isNatListisNatIListttisNatIListU41isNatisNatListttisNatListU51isNatisNatListU61isNatlengthnil0lengthconsNU71isNatListtake0ILU81isNatIListtakesMconsNU91isNatIList