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__isNatKindXisNatKindX1U61211420U531110U52211120U5131142430isNatIList1210U431110U42211220U4134142230U321110U31211120U221110U21211420isNatList1110U121210U11211220and211120isNatKind1110isNat1410nil07isNatIListKind1110a__isNatKind1110a__isNatIListKind1110length1110a__and211120s1410a__length1110mark1110a__U61211420a__U531110a__U52211120a__U5131142430a__U431110a__isNatIList1210a__U42211220a__U4134142230a__U321110a__U31211120a__U221110a__isNat1410a__U21211420a__U121210a__isNatList1110a__U11211220tt00cons261720zeros00000a__zeros00a__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__isNatKindXisNatKindXa__U11ttV1a__isNatListV1a__U11ttV1a__U12a__isNatListV1a__U21ttV1a__isNatV1a__U21ttV1a__U22a__isNatV1a__U31ttVa__isNatListVa__U31ttVa__U32a__isNatListVa__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__U42ttV2a__U43a__isNatIListV2a__U51ttV1V2a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__U52ttV2a__U53a__isNatListV2a__U61ttLmarkLa__U61ttLa__lengthmarkLa__andttXmarkXa__isNatlengthV1a__isNatIListKindV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosa__zerosmarkU11X1X2markX1markU11X1X2a__U11markX1X2markU12XmarkXmarkU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU32XmarkXmarkU32Xa__U32markXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU53Xa__U53markXmarkU61X1X2markX1markU61X1X2a__U61markX1X2marklengthXmarkXmarklengthXa__lengthmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtruea__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatlengthV1a__isNatIListKindV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markU12XmarkXmarkisNatListXa__isNatListXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkisNatXa__isNatXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttVa__isNatListVmarkU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU61X1X2a__U61markX1X2a__U61ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtrue311a__isNatKind10000000001100000000a__isNatIListKind10000000001100000000a__and210000000010000000002000000000a__length10000000001100000000mark10000000001100000000a__U61210000000010000000002000000000a__U52210000000010000000002000000000a__U513000000000100000000020000000003100000000a__isNatIList10000000001100000000a__U42200000000010000000002100000000a__U413000000000100000000020000000003100000000a__U31200000000010000000002100000000a__isNat10000000001100000000a__U21200000000010000000002100000000a__isNatList10000000001100000000a__U11200000000010000000002100000000U61200000000010000000002000000000U5311000000001000000000U52200000000010000000002000000000U513000000000100000000020000000003000000000isNatIList10000000001100000000U4310000000001000000000U42200000000010000000002000000000U413000000000100000000020000000003100000000U3210000000001100000000U31200000000010000000002100000000U2210000000001100000000U21210000000010000000002000000000isNatList10000000001000000000U1210000000001100000000U11200000000010000000002100000000and210000000010000000002000000000isNatKind10000000001100000000isNat10000000001100000000nil0100000000isNatIListKind10000000001000000000a__isNatKind10000000001100000000a__isNatIListKind10000000001100000000length10000000001000000000a__and210000000010000000002000000000s10000000001000000000a__length10001000011000000000mark10000000001100000000a__U61210000100010000000002000000000a__U5311000000001000000000a__U52200000000010000000002000000000a__U513000000000100000000020000000003000000000a__U4311000000001000000000a__isNatIList10000000001100000000a__U42200000000010000000002100000000a__U413000000000100000000020000000003100000000a__U3210000000001100000000a__U31200000000010000000002100000000a__U2210000000001100000000a__isNat10000000001100000000a__U21210000001010000000002000000000a__U1210000000001100000000a__isNatList10000000001000000000a__U11200000000010000000002100000000tt0100000000cons210000000010000000002000000000zeros000000000000000000000a__zeros0000000000a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatlengthV1a__isNatIListKindV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markU12XmarkXmarkisNatListXa__isNatListXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkisNatXa__isNatXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttVa__isNatListVmarkU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU61X1X2a__U61markX1X2a__U61ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__U61ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXa__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__isNatKind1010a__isNatIListKind1010a__and201220a__length1010mark1110a__U61201120a__U52201020a__U5130102030a__isNatIList1010a__U42201020a__U4130102030a__U31201020a__isNat1010a__U21201020a__isNatList1010a__U11201020U61231420U531410U52211225U5131102430isNatIList1110U431410U42221020U4134142030U321110U31211020U221210U21241123isNatList1214U121111U11261122and221220isNatKind1110isNat1010nil00isNatIListKind1010a__isNatKind1410a__isNatIListKind1010length1410a__and211220s1110a__length1710mark1010a__U61241121a__U531012a__U52201024a__U5133162231a__U431410a__isNatIList1613a__U42201020a__U4130102033a__U321110a__U31201224a__U221011a__isNat1010a__U21221022a__U121010a__isNatList1011a__U11201020tt00cons211320zeros02001a__zeros00a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXa__U11ttV1a__isNatListV1a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatlengthV1a__isNatIListKindV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markU22XmarkXmarkisNatXa__isNatXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttVa__isNatListVmarkU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU53XmarkXmarkU61X1X2markX1markU61X1X2a__U61markX1X2a__U61ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__U61ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkX1a__isNatKind1010a__isNatIListKind1010a__and201320a__length1010mark1210a__U61201420a__U52201020a__U5130102030a__isNatIList1010a__U42201020a__U4130102030a__U31201020a__isNat1010a__U21201020a__isNatList1010a__U11201020U61211420U531410U52201020U5131122030isNatIList1010U431210U42211020U4131162030U321210U31231220U221216U21201020isNatList1010U121010U11201020and241220isNatKind1510isNat1010nil00isNatIListKind1010a__isNatKind1010a__isNatIListKind1010length1410a__and201021s1110a__length1110mark1010a__U61241222a__U531313a__U52201020a__U5130122431a__U431312a__isNatIList1615a__U42201020a__U4132112036a__U321014a__U31201026a__U221012a__isNat1010a__U21201220a__U121311a__isNatList1113a__U11201421tt00cons221020zeros03001a__zeros00a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXa__U11ttV1a__isNatListV1a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatlengthV1a__isNatIListKindV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markisNatXa__isNatXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttVa__isNatListVmarkU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU53XmarkXmarkU61X1X2markX1markU61X1X2a__U61markX1X2a__U61ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__U61ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkX1a__isNatKind1011a__isNatIListKind1011a__and201121a__length1012mark1111a__U61201122a__U52201022a__U5130102032a__isNatIList1012a__U42201022a__U4130102032a__U31201022a__isNat1012a__U21201022a__isNatList1012a__U11201022U61221123U531410U52201020U5136102431isNatIList1511U431213U42241021U4131142431U321411U31241021U221010U21201020isNatList1010U121010U11201020and211620isNatKind1010isNat1111nil00isNatIListKind1010a__isNatKind1014a__isNatIListKind1010length1112a__and241020s1211a__length1011mark1010a__U61201024a__U531010a__U52201022a__U5130142030a__U431410a__isNatIList1211a__U42201020a__U4130102030a__U321410a__U31201020a__U221010a__isNat1010a__U21231020a__U121010a__isNatList1110a__U11201022tt00cons241020zeros04000a__zeros00a__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXa__U11ttV1a__isNatListV1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markisNatXa__isNatXmarkU31X1X2a__U31markX1X2a__U31ttVa__isNatListVmarkU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2a__U42markX1X2markisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU53XmarkXa__lengthconsNLa__isNatListLa__U61ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1a__U61ttLa__lengthmarkLfalsea__lengthconsNLa__isNatListLfalsea__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU53XmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1truea__isNatKind19a__isNatIListKind18a__and27mark110U61214U53111U5220U5133isNatIList111U4313U4223U4133U3216U3123U2210U2123isNatList19U1213U1123and211isNatKind110isNat14nil00isNatIListKind19a__isNatKind17a__isNatIListKind11length113a__and23s15a__length112mark12a__U61213a__U5310a__U5221a__U5139a__U4311a__isNatIList112a__U42213a__U4136a__U3217a__U31211a__U2211a__isNat15a__U2124a__U1211a__isNatList110a__U1124tt06cons214zeros07007a__zeros015a__zeros000zeros0cons212tt0a__U1122a__isNatList11a__U121a__U212a__isNat11a__U221a__U312a__U3211a__U41323a__U4222a__isNatIList11a__U4311a__U5132a__U5222a__U531a__U6122mark11a__length11s11a__and22length11a__isNatIListKind11a__isNatKind11isNatIListKind11nil0isNat1isNatKind11and212U1122U121isNatList11U2121U221U3121U3211U4133U4222U4311isNatIList11U5133U5222U5311U6122mark11a__and22a__isNatIListKind11a__isNatKind11a__andttXmarkXmarkU53XmarkXa__andttXmarkXfalsemarkU53XmarkXtrue1mark1112U531111markU51X1X2X3a__U51markX1X2X3falsemarkisNatIListXa__isNatIListXfalsemarkU42X1X2a__U42markX1X2falsemarkU41X1X2X3a__U41markX1X2X3falsea__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2truea__U41ttV1V2a__U42a__isNatV1V23false2a__U42ttV2a__isNatIListV22false1a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V21true31true2a__isNatIListVa__U31a__isNatIListKindVVfalsea__U41ttV1V2a__isNatV1falsemarkU31X1X2a__U31markX1X2falsea__U31ttVa__isNatListVfalsemarkisNatXa__isNatXfalsea__isNatlengthV1a__U11a__isNatIListKindV1V1a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2truea__isNatlengthV1a__U11a__isNatIListKindV1V11true2a__U11ttV1a__isNatListV12false1a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V21true31true2a__U51ttV1V2a__isNatV12false1a__isNatsV1a__U21a__isNatKindV1V11true2a__U21ttV1a__isNatV12false1a__U51ttV1V2a__U52a__isNatV1V23false2a__U52ttV2a__isNatListV22false1markU53Xa__U53markXfalsemarkU43Xa__U43markXfalsea__U42ttV2a__U43a__isNatIListV2falsemarkU32Xa__U32markXfalsea__U31ttVa__U32a__isNatListVfalsemarkU22Xa__U22markXfalsemarkU12Xa__U12markXfalsea__U52ttV2a__U53a__isNatListV2falsea__U21ttV1a__U22a__isNatV1falsea__U11ttV1a__U12a__isNatListV1falsemarkzerosa__zerosfalse