a__zeroscons0zerosa__U11ttV1a__U12a__isNatListV1a__U12tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttVa__U32a__isNatListVa__U32tttta__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__U43a__isNatIListV2a__U43tttta__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__U53a__isNatListV2a__U53tttta__U61ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKind0tta__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthnil0a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12XU12Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22XU22Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32XU32Xa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__isNatIListXisNatIListXa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatIListKindXisNatIListKindXa__isNatKindXisNatKindXa__U11ttV1a__U12a__isNatListV1a__U11ttV1a__isNatListV1a__U21ttV1a__U22a__isNatV1a__U21ttV1a__isNatV1a__U31ttVa__U32a__isNatListVa__U31ttVa__isNatListVa__U41ttV1V2a__U42a__isNatV1V2a__U41ttV1V2a__isNatV1a__U42ttV2a__U43a__isNatIListV2a__U42ttV2a__isNatIListV2a__U51ttV1V2a__U52a__isNatV1V2a__U51ttV1V2a__isNatV1a__U52ttV2a__U53a__isNatListV2a__U52ttV2a__isNatListV2a__U61ttLa__lengthmarkLa__U61ttLmarkLa__andttXmarkXa__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListVa__isNatIListKindVa__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__isNatKindV1a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__isNatListLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU11X1X2markX1markU12Xa__U12markXmarkU12XmarkXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22Xa__U22markXmarkU22XmarkXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU31X1X2markX1markU32Xa__U32markXmarkU32XmarkXmarkU41X1X2X3a__U41markX1X2X3markU41X1X2X3markX1markU42X1X2a__U42markX1X2markU42X1X2markX1markU43Xa__U43markXmarkU43XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU51X1X2X3markX1markU52X1X2a__U52markX1X2markU52X1X2markX1markU53Xa__U53markXmarkU53XmarkXmarkU61X1X2a__U61markX1X2markU61X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtruea__U11ttV1a__isNatListV1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2a__U11markX1X2markU11X1X2markX1markU12XmarkXmarkisNatListXa__isNatListXa__isNatListconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1markU21X1X2a__U21markX1X2a__U21ttV1a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1markU21X1X2markX1markU22XmarkXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2a__U31ttVa__isNatListVmarkU31X1X2markX1markU32XmarkXmarkU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListVa__isNatIListKindVa__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__U41ttV1V2a__isNatV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__isNatKindV1markU41X1X2X3markX1markU42X1X2a__U42markX1X2markU42X1X2markX1markU43XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3a__U51ttV1V2a__isNatV1markU51X1X2X3markX1markU52X1X2a__U52markX1X2markU52X1X2markX1markU53XmarkXmarkU61X1X2a__U61markX1X2a__U61ttLa__lengthmarkLa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLmarkLmarkU61X1X2markX1marklengthXa__lengthmarkXa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__isNatListLmarklengthXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtrue12345678910111a__U1120tt00a__isNatList10cons21112a__U5130a__and21112a__isNatKind10isNatIListKind10a__U5220a__isNat10a__and212mark111U11211mark111U12111isNatList10a__isNatKind10length111a__isNatIListKind10s111U21211a__U2120a__isNat10a__isNatIListKind10U22111isNat10U312111a__U3120U321111U413111a__U4130a__U4220a__isNatIList10U422111U43111isNatIList11U51311U52211U53111U6121112a__U61212a__length111a__isNatList10and21112isNatKind10000a__U11211a__U21211zeros00a__zeros00a__U12111a__U22111a__U312111a__U321111a__U413111a__U422111a__U43111a__isNatIList11a__U51311a__U52211a__U53111a__U6121112a__length111nil00a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2a__U11markX1X2markU11X1X2markX1markU12XmarkXmarkisNatListXa__isNatListXa__isNatListconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1markU21X1X2a__U21markX1X2a__U21ttV1a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1markU21X1X2markX1markU22XmarkXmarkisNatXa__isNatXa__U31ttVa__isNatListVa__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListVa__isNatIListKindVa__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__U41ttV1V2a__isNatV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__isNatKindV1markU43XmarkXmarkU51X1X2X3a__U51markX1X2X3a__U51ttV1V2a__isNatV1markU51X1X2X3markX1markU52X1X2a__U52markX1X2markU52X1X2markX1markU53XmarkXmarkU61X1X2a__U61markX1X2a__U61ttLa__lengthmarkLa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLmarkLmarkU61X1X2markX1marklengthXa__lengthmarkXa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__isNatListLmarklengthXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXa__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2true1234567a__U4133a__isNatIList11a__U4222a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__U41ttV1V2a__U42a__isNatV1V2false1a__U42ttV2a__isNatIListV2falsea__isNatIListVa__U31a__isNatIListKindVVfalse16a__U31ttVa__isNatListVfalse5a__U41ttV1V2a__isNatV1false4a__isNatIListVa__isNatIListKindVfalse3a__isNatIListconsV1V2a__isNatKindV1false2a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2false1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2a__U11markX1X2a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1markU11X1X2markX1markU12XmarkXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2a__U21ttV1a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1markU21X1X2markX1markU22XmarkXmarkisNatXa__isNatXmarkU43XmarkXmarkU51X1X2X3a__U51markX1X2X3a__U51ttV1V2a__isNatV1markU51X1X2X3markX1markU52X1X2a__U52markX1X2markU52X1X2markX1markU53XmarkXmarkU61X1X2a__U61markX1X2a__U61ttLa__lengthmarkLa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLmarkLmarkU61X1X2markX1marklengthXa__lengthmarkXa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__isNatListLmarklengthXmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtrue1a__isNatList10cons21112a__U5130a__and21112a__isNatKind10isNatIListKind10tt00a__U5220a__isNat10a__and212mark111U11211a__U1120mark111a__isNatKind10length1111a__isNatIListKind10s111U12111isNatList10U21211a__U2120a__isNat10a__isNatIListKind10U22111isNat10U43111U51311U52211U53111U61211112a__U61212a__length111a__isNatList10and21112isNatKind10000a__U11211a__U21211zeros00a__zeros00a__U12111a__U22111U3120a__U3120U3210a__U3210U41313a__U41313U42212a__U42212a__U43111isNatIList111a__isNatIList111a__U51311a__U52211a__U53111a__U61211112a__length1111nil00a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2a__U11markX1X2a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1markU11X1X2markX1markU12XmarkXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2a__U21ttV1a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1markU21X1X2markX1markU22XmarkXmarkisNatXa__isNatXmarkU43XmarkXmarkU51X1X2X3a__U51markX1X2X3a__U51ttV1V2a__isNatV1markU51X1X2X3markX1markU52X1X2a__U52markX1X2markU52X1X2markX1markU53XmarkXa__U61ttLa__lengthmarkLa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLmarkLa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__isNatListLmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXa__U61ttLa__lengthmarkLa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLtrue123451a__zeros00cons24172000zeros00a__U1122112tt00a__U12111a__isNatList111a__U2121112a__U22111a__isNat111a__U3121112a__U32111a__U413211243a__U4221142a__U43111a__isNatIList141a__U513111223a__U5221112a__U53111a__U6122162s121a__length131mark111a__and22112length131a__isNatIListKind111a__isNatKind111isNatIListKind111nil05and22112isNat111isNatKind111U1122112U12111isNatList111U2121112U22111U3121112U32111U413211243U4221142U43111isNatIList141U513111223U5221112U53111U6122162a__U6121112a__length111a__U61ttLa__lengthmarkLa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__zeroscons0zerosa__U11ttV1a__U12a__isNatListV1a__U12tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttVa__U32a__isNatListVa__U32tttta__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__U43a__isNatIListV2a__U43tttta__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__U53a__isNatListV2a__U53tttta__U61ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindzerostta__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKind0tta__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12XU12Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22XU22Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32XU32Xa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__isNatIListXisNatIListXa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatIListKindXisNatIListKindXa__isNatKindXisNatKindX1a__U61211tt01a__length10mark11cons20a__and211a__isNatList10isNatIListKind10and20isNat10isNatKind10zeros00a__zeros00U1120a__U1120U12111a__U12111isNatList10U2120a__U21211U22111a__U22111a__isNat11U3120a__U3120U3210a__U32111U41311a__U41311U4220a__U42211U4311a__U4311isNatIList11a__isNatIList11U5130a__U5130U5220a__U5220U53111a__U53111U6120a__U6120length10a__length10a__isNatIListKind11a__isNatKind11s111000nil00a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLfalsea__U61ttLmarkLfalse4a__lengthconsNLa__isNatListLfalse3a__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNfalse2a__lengthconsNLa__anda__isNatListLisNatIListKindLfalse1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2a__U11markX1X2markU11X1X2markX1markU12XmarkXmarkisNatListXa__isNatListXa__isNatListconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1markU21X1X2a__U21markX1X2a__U21ttV1a__isNatV1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1markU21X1X2markX1markU22XmarkXmarkisNatXa__isNatXmarkU43XmarkXmarkU51X1X2X3a__U51markX1X2X3markU51X1X2X3markX1markU52X1X2a__U52markX1X2markU52X1X2markX1markU53XmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtrue1a__U51311213tt00a__U522112a__isNat10a__isNatList1111cons211112a__and20a__isNatKind10isNatIListKind1111a__isNat1111length1111a__U112112a__isNatIListKind10a__and2112mark1111U11211112mark10U121111isNatList1111a__isNatKind1111a__isNatIListKind1111s1111U21211112a__U212112U221111isNat1111U431111U5131111213U52211112U531111and211112isNatKind1111000a__U1120a__U2120nil00zeros00a__zeros00a__U1210a__isNatList10a__U2210U3120a__U3120U3210a__U3210U4130a__U4130U4220a__U4220a__U4310isNatIList10a__isNatIList10a__U5130a__U5220a__U5310U6120a__U6120a__length10a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__U51ttV1V2a__isNatV1a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXa__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2false136a__U52ttV2a__isNatListV2false25a__U51ttV1V2a__isNatV1false14a__U11ttV1a__isNatListV1false3a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2false2a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2falsea__andttXmarkXfalsea__U21ttV1a__isNatV1falsea__U11ttV1a__U12a__isNatListV1falsea__U21ttV1a__U22a__isNatV1falsea__U31ttVa__U32a__isNatListVfalsea__U42ttV2a__U43a__isNatIListV2falsea__U52ttV2a__U53a__isNatListV2falsemarkzerosa__zerosfalsemarkU12Xa__U12markXfalsemarkU22Xa__U22markXfalsemarkU32Xa__U32markXfalsemarkU43Xa__U43markXfalsemarkU53Xa__U53markXfalse