activezerosmarkcons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU52ttmarkttactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatsV1markU21isNatV1activeisNatIListVmarkU31isNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListnilmarkttactiveisNatListconsV1V2markU51isNatV1V2activelengthnilmark0activelengthconsNLmarkU61isNatListLLNmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11XactiveU11markXmarkttactivettmarkU21XactiveU21markXmarkU31XactiveU31markXmarkU41X1X2activeU41markX1X2markU42XactiveU42markXmarkisNatIListXactiveisNatIListXmarkU51X1X2activeU51markX1X2markU52XactiveU52markXmarkisNatListXactiveisNatListXmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2markisNatXactiveisNatXmarksXactivesmarkXmarklengthXactivelengthmarkXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markXU11XU11activeXU11XU21markXU21XU21activeXU21XU31markXU31XU31activeXU31XU41markX1X2U41X1X2U41X1markX2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U42markXU42XU42activeXU42XisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markXU52XU52activeXU52XisNatListmarkXisNatListXisNatListactiveXisNatListXU61markX1X2X3U61X1X2X3U61X1markX2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62markX1X2U62X1X2U62X1markX2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2isNatmarkXisNatXisNatactiveXisNatXsmarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXactivezerosmarkcons0zerosactivezeroscons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU41ttV2U42isNatIListV2activeU41ttV2isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU51ttV2U52isNatListV2activeU51ttV2isNatListV2activeU52ttmarkttactiveU61ttLNmarkU62isNatNLactiveU61ttLNU62isNatNLactiveU61ttLNisNatNactiveU62ttLmarkslengthLactiveU62ttLslengthLactiveU62ttLlengthLactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatlengthV1U11isNatListV1activeisNatlengthV1isNatListV1activeisNatsV1markU21isNatV1activeisNatsV1U21isNatV1activeisNatsV1isNatV1activeisNatIListVmarkU31isNatListVactiveisNatIListVU31isNatListVactiveisNatIListVisNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41isNatV1V2activeisNatIListconsV1V2U41isNatV1V2activeisNatIListconsV1V2isNatV1activeisNatListnilmarkttactiveisNatListconsV1V2markU51isNatV1V2activeisNatListconsV1V2U51isNatV1V2activeisNatListconsV1V2isNatV1activelengthnilmark0activelengthconsNLmarkU61isNatListLLNactivelengthconsNLU61isNatListLLNactivelengthconsNLisNatListLmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1mark0active0markU11XactiveU11markXmarkU11XU11markXmarkU11XmarkXmarkttactivettmarkU21XactiveU21markXmarkU21XU21markXmarkU21XmarkXmarkU31XactiveU31markXmarkU31XU31markXmarkU31XmarkXmarkU41X1X2activeU41markX1X2markU41X1X2U41markX1X2markU41X1X2markX1markU42XactiveU42markXmarkU42XU42markXmarkU42XmarkXmarkisNatIListXactiveisNatIListXmarkU51X1X2activeU51markX1X2markU51X1X2U51markX1X2markU51X1X2markX1markU52XactiveU52markXmarkU52XU52markXmarkU52XmarkXmarkisNatListXactiveisNatListXmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3U61markX1X2X3markU61X1X2X3markX1markU62X1X2activeU62markX1X2markU62X1X2U62markX1X2markU62X1X2markX1markisNatXactiveisNatXmarksXactivesmarkXmarksXsmarkXmarksXmarkXmarklengthXactivelengthmarkXmarklengthXlengthmarkXmarklengthXmarkXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markXU11XU11activeXU11XU21markXU21XU21activeXU21XU31markXU31XU31activeXU31XU41markX1X2U41X1X2U41X1markX2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U42markXU42XU42activeXU42XisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markXU52XU52activeXU52XisNatListmarkXisNatListXisNatListactiveXisNatListXU61markX1X2X3U61X1X2X3U61X1markX2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62markX1X2U62X1X2U62X1markX2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2isNatmarkXisNatXisNatactiveXisNatXsmarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXtruemarkconsX1X2activeconsmarkX1X2activeU41ttV2markU42isNatIListV2markconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosmarkU11XactiveU11markXactiveU51ttV2markU52isNatListV2markU11XmarkXmarkU21XactiveU21markXactiveU61ttLNmarkU62isNatNLmarkU21XmarkXmarkU31XactiveU31markXactiveU62ttLmarkslengthLmarkU31XmarkXmarkU41X1X2activeU41markX1X2activeisNatlengthV1markU11isNatListV1markU41X1X2markX1markU42XactiveU42markXactiveisNatsV1markU21isNatV1markU42XmarkXmarkisNatIListXactiveisNatIListXactiveisNatIListVmarkU31isNatListVmarkU51X1X2activeU51markX1X2activeisNatIListconsV1V2markU41isNatV1V2markU51X1X2markX1markU52XactiveU52markXactiveisNatListconsV1V2markU51isNatV1V2markU52XmarkXmarkisNatListXactiveisNatListXactivelengthconsNLmarkU61isNatListLLNmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3markX1markU62X1X2activeU62markX1X2markU62X1X2markX1markisNatXactiveisNatXmarksXactivesmarkXmarksXmarkXmarklengthXactivelengthmarkXmarklengthXmarkXtrue1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859601mark11cons20active111mark10U4121tt00U4210isNatIList11zeros01000U1110U5121U5210isNatList11U2110U6131U6221isNat11U3110s10length11active10nil00activeU41ttV2markU42isNatIListV2markconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosactiveU51ttV2markU52isNatListV2markU11XmarkXactiveU61ttLNmarkU62isNatNLmarkU21XmarkXactiveU62ttLmarkslengthLmarkU31XmarkXmarkU41X1X2activeU41markX1X2activeisNatlengthV1markU11isNatListV1markU41X1X2markX1activeisNatsV1markU21isNatV1markU42XmarkXmarkisNatIListXactiveisNatIListXactiveisNatIListVmarkU31isNatListVmarkU51X1X2activeU51markX1X2activeisNatIListconsV1V2markU41isNatV1V2markU51X1X2markX1activeisNatListconsV1V2markU51isNatV1V2markU52XmarkXmarkisNatListXactiveisNatListXactivelengthconsNLmarkU61isNatListLLNmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3markX1markU62X1X2activeU62markX1X2markU62X1X2markX1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXmarklengthXmarkXconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XU11activeXU11XU11markXU11XisNatListactiveXisNatListXisNatListmarkXisNatListXU52activeXU52XU52markXU52XU21activeXU21XU21markXU21XisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2U31activeXU31XU31markXU31XlengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31active111U41211tt00mark111U42111isNatIList10cons21112zeros00000U51211U52111isNatList10U11111U61311112U62211112isNat10U21111s111length1111U31111mark111active111nil00activeU41ttV2markU42isNatIListV2markconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosactiveU51ttV2markU52isNatListV2markU11XmarkXactiveU61ttLNmarkU62isNatNLmarkU21XmarkXactiveU62ttLmarkslengthLmarkU31XmarkXmarkU41X1X2activeU41markX1X2activeisNatlengthV1markU11isNatListV1markU41X1X2markX1activeisNatsV1markU21isNatV1markU42XmarkXmarkisNatIListXactiveisNatIListXactiveisNatIListVmarkU31isNatListVmarkU51X1X2activeU51markX1X2activeisNatIListconsV1V2markU41isNatV1V2markU51X1X2markX1activeisNatListconsV1V2markU51isNatV1V2markU52XmarkXmarkisNatListXactiveisNatListXactivelengthconsNLmarkU61isNatListLLNmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkX1active10U41211tt00mark111U42111isNatIList10cons211zeros01000U51211U52111isNatList10U11111U6130U6220isNat10U21111s111length10U31111mark111active111nil00activeU41ttV2markU42isNatIListV2markconsX1X2markX1activezerosmarkcons0zerosactiveU51ttV2markU52isNatListV2markU11XmarkXactiveU61ttLNmarkU62isNatNLmarkU21XmarkXactiveU62ttLmarkslengthLmarkU31XmarkXmarkU41X1X2activeU41markX1X2activeisNatlengthV1markU11isNatListV1markU41X1X2markX1activeisNatsV1markU21isNatV1markU42XmarkXmarkisNatIListXactiveisNatIListXactiveisNatIListVmarkU31isNatListVmarkU51X1X2activeU51markX1X2activeisNatIListconsV1V2markU41isNatV1V2markU51X1X2markX1activeisNatListconsV1V2markU51isNatV1V2markU52XmarkXmarkisNatListXactiveisNatListXactivelengthconsNLmarkU61isNatListLLNmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXisNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatListactiveXisNatListXisNatListmarkXisNatListXU52activeXU52XU52markXU52XisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U11activeXU11XU11markXU11XU21activeXU21XU21markXU21XU31activeXU31XU31markXU31XU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3activezerosmarkcons0zerosfalse1markconsX1X2markX1markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU41X1X2markX1markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU51X1X2markX1markU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3activeisNatlengthV1markU11isNatListV1markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXactiveisNatIListVmarkU31isNatListVmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLNtrue1mark111cons2111U11111U21111U31111U41211active10mark111tt00U42111isNatIList10U51211U52111isNatList10U6130U6220isNat10s111length10active111zeros00000nil00markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU41X1X2markX1markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU51X1X2markX1markU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3activeisNatlengthV1markU11isNatListV1markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXactiveisNatIListVmarkU31isNatListVmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatListactiveXisNatListXisNatListmarkXisNatListXU52activeXU52XU52markXU52XU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2isNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U11activeXU11XU11markXU11XU21activeXU21XU21markXU21XU31activeXU31XU31markXU31X1mark111U11111U21111U31111U412111active111mark111tt00U42111isNatIList11U51211U52111isNatList10U6130U6220isNat10s111length10cons20active111zeros00000nil00markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU51X1X2markX1markU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3activeisNatlengthV1markU11isNatListV1markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLN1mark111U11111U21111U311111U4120active10mark111tt00U42111isNatIList10U51211U52111isNatList10U6130U6220isNat10s111length10cons20active111zeros00000nil00markU11XmarkXmarkU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU51X1X2markX1markU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3activeisNatlengthV1markU11isNatListV1markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatListactiveXisNatListXisNatListmarkXisNatListXU52activeXU52XU52markXU52XU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2isNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U11activeXU11XU11markXU11XU21activeXU21XU21markXU21X1mark111U111111U21111U4120active111mark111tt00U42111isNatIList10U5121112U52111isNatList111U61311213U622112isNat111s111length1111cons21112active111zeros00000U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU51X1X2markX1markU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3activeisNatlengthV1markU11isNatListV1markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLN1mark111U21111U4120active111mark111tt00U42111isNatIList10U512111U52111isNatList11U6130U6220isNat10s111length10U1110cons20active111zeros01000U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3activeisNatlengthV1markU11isNatListV1markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLN1mark111U21111U4121active11mark111tt00U42111isNatIList11U5121U52111isNatList11U6131U6221isNat11s111length11U1110cons20active111zeros00000U31111nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatListactiveXisNatListXisNatListmarkXisNatListXU52activeXU52XU52markXU52XU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2isNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U11activeXU11XU11markXU11XU21activeXU21XU21markXU21X1mark111U21111U4120active111mark111tt00U42111isNatIList10U512112U52111isNatList1111U6130U6220isNat10s111length10cons211112active111zeros00000U1110U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU52XmarkXmarkisNatListXactiveisNatListXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatListactiveXisNatListXisNatListmarkXisNatListXU52activeXU52XU52markXU52XU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2isNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21activeXU21XU21markXU21X1mark11U2110U4121active111mark10tt00U4210isNatIList11U5121U5210isNatList10U6131U6221isNat11s10length11cons20active10zeros00000U1110U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2markU51X1X2activeU51markX1X2activeU61ttLNmarkU62isNatNLmarkU52XmarkXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXisNatListactiveXisNatListXisNatListmarkXisNatListXU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2isNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark111U21111U4120active10mark111tt00U42111isNatIList10U5121U52111isNatList10U6130U6220isNat10s111length10cons212active111zeros00000U11111U31111nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU51ttV2markU52isNatListV2activeU61ttLNmarkU62isNatNLmarkU52XmarkXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatListactiveXisNatListXisNatListmarkXisNatListXU52activeXU52XU52markXU52XisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21activeXU21XU21markXU21X1mark10U2110U4120active111mark10tt01U4210isNatIList10U512111U5210isNatList10U6130U6220isNat10s10length10cons20active10zeros00000U1110U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU61ttLNmarkU62isNatNLmarkU52XmarkXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark111U21111U4120active10mark111tt00U42111isNatIList10U6130U6220isNat10U521111s111length10cons20isNatList10active111zeros00000U1110U5120U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactiveisNatIListconsV1V2markU41isNatV1V2activelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21activeXU21XU21markXU21X1mark111U21111U41212active111mark111tt00U42111isNatIList111U6130U6220isNat10s111length10cons2112isNatList10active111zeros00000U1110U5120U5210U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXmarkisNatIListXactiveisNatIListXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21activeXU21XU21markXU21X1mark11U2110U4121active111mark10tt00U4210isNatIList10U6131U6221isNat11s10length11cons20isNatList10active10zeros00000U1110U5120U5210U3110nil00markU21XmarkXmarkU41X1X2activeU41markX1X2activeU41ttV2markU42isNatIListV2markU42XmarkXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNU41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark111U21111U412112active10mark111tt00U42111isNatIList10U6130U6220isNat10s111length10cons20isNatList10active111zeros00000U1110U5120U5210U3110nil00markU21XmarkXactiveU41ttV2markU42isNatIListV2markU42XmarkXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNisNatIListactiveXisNatIListXisNatIListmarkXisNatIListXU42activeXU42XU42markXU42XisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21activeXU21XU21markXU21X1mark10U2110active111U41211112tt01U4210isNatIList10U6130U6220isNat10s10length10mark10cons20isNatList10active10zeros00000U1110U5120U5210U3110nil00markU21XmarkXmarkU42XmarkXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark111U21111U421111active10U6130tt00U6220isNat10s111length10mark111cons20isNatList10active111zeros00000U4120isNatIList10U1110U5120U5210U3110nil00markU21XmarkXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNisNatactiveXisNatXisNatmarkXisNatXU62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2lengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21activeXU21XU21markXU21X1active111zeros00mark111cons22122000U11111tt00U21111U31111U41211112U42111isNatIList1111U5121112U52111isNatList111U613212223U6221122isNat111s111length121nil00mark121active121markU21XmarkXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNactivezerosmarkcons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU52ttmarkttactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatsV1markU21isNatV1activeisNatIListconsV1V2markU41isNatV1V2activeisNatListnilmarkttactiveisNatListconsV1V2markU51isNatV1V2activelengthnilmark0activelengthconsNLmarkU61isNatListLLNmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11XactiveU11markXmarkttactivettmarkU21XactiveU21markXmarkU31XactiveU31markXmarkU41X1X2activeU41markX1X2markU42XactiveU42markXmarkisNatIListXactiveisNatIListXmarkU51X1X2activeU51markX1X2markU52XactiveU52markXmarkisNatListXactiveisNatListXmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2markisNatXactiveisNatXmarksXactivesmarkXmarklengthXactivelengthmarkXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markXU11XU11activeXU11XU21markXU21XU21activeXU21XU31markXU31XU31activeXU31XU41markX1X2U41X1X2U41X1markX2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U42markXU42XU42activeXU42XisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markXU52XU52activeXU52XisNatListmarkXisNatListXisNatListactiveXisNatListXU61markX1X2X3U61X1X2X3U61X1markX2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62markX1X2U62X1X2U62X1markX2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2isNatmarkXisNatXisNatactiveXisNatXsmarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthX1active111zeros00mark111cons22122000U11111tt00U21111U31121U4122122U42121isNatIList111U5121122U52111isNatList111U613212223U6222122isNat111s111length121nil01mark111active111markU21XmarkXactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNactivezerosmarkcons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU52ttmarkttactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatsV1markU21isNatV1activeisNatIListconsV1V2markU41isNatV1V2activeisNatListconsV1V2markU51isNatV1V2activelengthconsNLmarkU61isNatListLLNmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11XactiveU11markXmarkttactivettmarkU21XactiveU21markXmarkU31XactiveU31markXmarkU41X1X2activeU41markX1X2markU42XactiveU42markXmarkisNatIListXactiveisNatIListXmarkU51X1X2activeU51markX1X2markU52XactiveU52markXmarkisNatListXactiveisNatListXmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2markisNatXactiveisNatXmarksXactivesmarkXmarklengthXactivelengthmarkXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markXU11XU11activeXU11XU21markXU21XU21activeXU21XU31markXU31XU31activeXU31XU41markX1X2U41X1X2U41X1markX2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U42markXU42XU42activeXU42XisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markXU52XU52activeXU52XisNatListmarkXisNatListXisNatListactiveXisNatListXU61markX1X2X3U61X1X2X3U61X1markX2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62markX1X2U62X1X2U62X1markX2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2isNatmarkXisNatXisNatactiveXisNatXsmarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthX1mark111U21111active111U61311tt01U6220isNat111s111length10mark111cons20isNatList10active111zeros00001U4121U42111isNatIList11U11111U5120U52111U3111nil00markU21XmarkXactiveU62ttLmarkslengthLmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLN1mark11U2110active111U6221tt00s10length11U6130mark10isNat11cons20isNatList10active10zeros00000U4120U4210isNatIList10U1110U5120U5210U3110nil00markU21XmarkXactiveU62ttLmarkslengthLmarkU62X1X2activeU62markX1X2activeisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNlengthactiveXlengthXlengthmarkXlengthXU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2isNatactiveXisNatXisNatmarkXisNatX1mark111U21111active10U6221tt00s111length10mark111isNat10cons212U6130isNatList10active111zeros00000U4120U4210isNatIList10U1110U5120U5210U31111nil00markU21XmarkXactiveU62ttLmarkslengthLactiveisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNlengthactiveXlengthXlengthmarkXlengthXsactiveXsXsmarkXsXisNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21XU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark10U2110active111U62211tt01s10length10isNat10mark10cons20U6130isNatList10active10zeros00000U4120U4210isNatIList10U1110U5120U5210U3110nil00markU21XmarkXactiveisNatsV1markU21isNatV1markisNatXactiveisNatXmarksXmarkXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNlengthactiveXlengthXlengthmarkXlengthXisNatactiveXisNatXisNatmarkXisNatX1mark111U21111active10isNat10s1111length10mark111cons20U6130isNatList10active111zeros00000U4120tt00U4210isNatIList10U1110U5120U5210U6220U31111nil00markU21XmarkXactiveisNatsV1markU21isNatV1markisNatXactiveisNatXmarklengthXactivelengthmarkXactivelengthconsNLmarkU61isNatListLLNisNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21XU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark111U21111active10isNat10s10length11mark111cons20U6130isNatList10active111zeros00000U4120tt00U4210isNatIList10U1110U5120U5210U6220U3110nil00markU21XmarkXactiveisNatsV1markU21isNatV1markisNatXactiveisNatXactivelengthconsNLmarkU61isNatListLLNisNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21XU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark111U21111active11isNat11s10length10cons20U6130isNatList10active111mark111markU21XmarkXactiveisNatsV1markU21isNatV1markisNatXactiveisNatXisNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21XU61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31mark111U21111active111isNat111s1111active111mark111markU21XmarkXmarkisNatXactiveisNatXisNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21XmarkU21XmarkXtrue1mark11markisNatXactiveisNatXfalseactivelengthnilmark0false9121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859mark0active0false9111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758activeU11ttmarkttfalse8101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657activeU21ttmarkttfalse791011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556activeU31ttmarkttfalse68910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455activeU42ttmarkttfalse5789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354activeU52ttmarkttfalse467891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253activeisNat0markttfalse35678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152activeisNatIListzerosmarkttfalse2456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051activeisNatListnilmarkttfalse35791113151618202122232426282930313234363738394041424344454647484950markttactivettfalse24681012141517192021222325272829303133353637383940414243444546474849marknilactivenilfalse1357911131416181920212224262728293032343536373839404142434445464748activezeroscons0zerosfalse33activeU41ttV2U42isNatIListV2false32activeU41ttV2isNatIListV2false32activeU51ttV2U52isNatListV2false31activeU51ttV2isNatListV2false31activeU61ttLNU62isNatNLfalse30activeU61ttLNisNatNfalse30activeU62ttLslengthLfalse29activeU62ttLlengthLfalse29activeisNatlengthV1U11isNatListV1false28activeisNatlengthV1isNatListV1false28activeisNatsV1U21isNatV1false27activeisNatsV1isNatV1false27activeisNatIListVU31isNatListVfalse27activeisNatIListVisNatListVfalse26activeisNatIListconsV1V2U41isNatV1V2false26activeisNatIListconsV1V2isNatV1false25activeisNatListconsV1V2U51isNatV1V2false25activeisNatListconsV1V2isNatV1false24activelengthconsNLU61isNatListLLNfalse23activelengthconsNLisNatListLfalse22markconsX1X2consmarkX1X2false22markU11XU11markXfalse21markU21XU21markXfalse21markU31XU31markXfalse20markU41X1X2U41markX1X2false20markU42XU42markXfalse19markU51X1X2U51markX1X2false18markU52XU52markXfalse17markU61X1X2X3U61markX1X2X3false17markU62X1X2U62markX1X2false16marksXsmarkXfalse16marklengthXlengthmarkXfalse15consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2truecons22consmarkX1X2consX1X2consactiveX1X2consX1X2cons21U11activeXU11XU11markXU11XtrueU1111U21activeXU21XU21markXU21XtrueU2111U31activeXU31XU31markXU31XtrueU3111U41X1markX2U41X1X2U41markX1X2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2trueU4122U41markX1X2U41X1X2U41activeX1X2U41X1X2U4121U42activeXU42XU42markXU42XtrueU4211isNatIListactiveXisNatIListXisNatIListmarkXisNatIListXtrueisNatIList11U51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2trueU5122U51markX1X2U51X1X2U51activeX1X2U51X1X2U5121U52activeXU52XU52markXU52XtrueU5211isNatListactiveXisNatListXisNatListmarkXisNatListXtrueisNatList11U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3trueU6132U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U6133U61markX1X2X3U61X1X2X3U61activeX1X2X3U61X1X2X3U6131U62X1markX2U62X1X2U62markX1X2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2trueU6222U62markX1X2U62X1X2U62activeX1X2U62X1X2U6221isNatactiveXisNatXisNatmarkXisNatXtrueisNat11sactiveXsXsmarkXsXtrues11lengthactiveXlengthXlengthmarkXlengthXtruelength11