a__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__U41ttV2a__isNatIListV2a__U41ttV2a__U42a__isNatIListV2a__U51ttV2a__isNatListV2a__U51ttV2a__U52a__isNatListV2a__U61ttV2a__isNatIListV2a__U61ttV2a__U62a__isNatIListV2a__U71ttLNa__isNatNa__U71ttLNa__U72a__isNatNLa__U72ttLmarkLa__U72ttLa__lengthmarkLa__U91ttILMNa__isNatMa__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__isNatNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNa__isNatlengthV1a__isNatListV1a__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__isNatV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__isNatListVa__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__isNatV1a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthconsNLa__isNatListLa__lengthconsNLa__U71a__isNatListLLNa__take0ILa__isNatIListILa__take0ILa__U81a__isNatIListILa__takesMconsNILa__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11XmarkXmarkU11Xa__U11markXmarkU21XmarkXmarkU21Xa__U21markXmarkU31XmarkXmarkU31Xa__U31markXmarkU41X1X2markX1markU41X1X2a__U41markX1X2markU42XmarkXmarkU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2markX1markU51X1X2a__U51markX1X2markU52XmarkXmarkU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2markX1markU61X1X2a__U61markX1X2markU62XmarkXmarkU62Xa__U62markXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3markU72X1X2markX1markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXmarkXmarklengthXa__lengthmarkXmarkU81XmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4markX1markU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4markX1markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4markX1markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXtruea__takesMconsNILa__U91a__isNatIListILILMNa__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNmarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarklengthXmarkXmarklengthXa__lengthmarkXmarkU81XmarkXmarkU91X1X2X3X4markX1markU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4markX1markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4markX1markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXtrue311a__take200010010010001000002000000000a__U9340000000001000000000200000000031001001004000000000a__U9240000000001000100000200000000031001001004000000000a__U9140000000001100100000200010000031001001004000000000a__length10001000001000000000mark11001000001000000000a__U72200000000011001001002000000000a__U713000000000110010010020000000003000000000U9341000100001010010000201001000030100100104010000000U9241000100001010010000201001000030100100104010000000U9141000101001010010000201001000030100100104010000000U8111000101001010000000isNat10000000001000000000U72210001010010100100102000000000U713100010000101001001020000000003000000000U6211000100001000000000U61210001000010000000002000000000isNatList10000000001000000000U5211000100101000000000U51210001000010000000002000000000isNatIList10000000001000000000U4211000100001000000000U41210001000010000000002000000000U3111000100001000000000U2111000101001000000000U1111000101001000000000a__take210001010010100100002010000000length11100101001000000000take210001000010100100002010000000a__U9341000100001010010000201001000030100100104010000000a__U9241100100001010010000201001000030100100104010000000a__U9141000101001010010000201001000030100100104010000000nil0000000000a__U8111000101001010000000s10100101011000000000a__length11100101001000000000mark10000100001000000000a__U72210001010010100100102000000000a__isNat10000000001000000000a__U713100010000101001001020000000003000000000a__U6211000100001000000000a__U61210001000010000000002000000000a__U5211000100101000000000a__isNatList10000000001000000000a__U51210001000010000000002000000000a__U4211000100001000000000a__isNatIList10000000001000000000a__U41210001000010000000002000000000a__U3111000100001000000000a__U2111000101001000000000a__U1111000101001000000000tt0000000000cons201001001010100100102000000000zeros000000000000000000000a__zeros0000000000a__takesMconsNILa__U91a__isNatIListILILMNa__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNmarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__takesMconsNILa__U91a__isNatIListILILMNfalsea__U91ttILMNa__U92a__isNatMILMNfalsea__U92ttILMNa__U93a__isNatNILMNfalsea__U93ttILMNmarkNfalsemarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtrue311a__length11000000001000000000mark11000000001000000000a__U72200000000011000000002000000000a__U713000100000110000000020000000003000000000U9340000000001100100000210000010031000000004100000000U9240000000001100100000210000010031000000004100000000U9140000000001100100000210000010031000001004100000000U8111000000001000000000isNat10000000001100000000U72210000000011000000002000000000U713100000100110000000021000001003000000000U6211000000001000000000U61210000000010000000002000000000isNatList10000000001100000000U5211000000001000000000U51210000000010000000002000000000isNatIList10000000001100000000U4211000000001000000000U41210000000010000000002000000000U3111000000001000000000U2111000001001000000000U1111000000001000000000a__take210010010011000000002100000000length11000000001100000000take210000010011000000002100000000a__U9340000000001100100000210000010031000000004100000000a__U9240000000001100100000210000010031000000004100000000a__U9140000000001100100000210000010031000001004100000000nil0000000000a__U8111000000001000000000s11000000101000000000a__length11000000001100000000mark11000000101000000000a__U72210000000011000000002000000000a__isNat10000000001100000000a__U713100000100110000000021000001003000000000a__U6211000000001000000000a__U61210000000010000000002000000000a__U5211000000001000000000a__isNatList10000000001100000000a__U51210000000010000000002000000000a__U4211000000001000000000a__isNatIList10000000001100000000a__U41210000000010000000002000000000a__U3111000000001000000000a__U2111000001001000000000a__U1111000000001000000000tt0100000000cons210000010011001000002000000000zeros000000000000000000000a__zeros0000000000markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X21a__length1110mark1110a__U72201120a__U7131112030U934014203442U924014203442U914014203442U811010isNat1010U72241121U7131112031U621110U61211020isNatList1010U521110U51211020isNatIList1010U421110U41221020U311110U211410U111210a__take201422length1111take201422a__U934014203442a__U924014203442a__U914014203442nil00a__U811010s1110a__length1111mark1110a__U72241121a__isNat1010a__U7131112031a__U621110a__U61211020a__U521110a__isNatList1010a__U51211020a__U421110a__isNatIList1010a__U41221020a__U311110a__U211410a__U111210tt00cons241120zeros00000a__zeros00markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXa__U71ttLNa__U72a__isNatNLa__U72ttLmarkLa__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__lengthconsNLa__U71a__isNatListLLNa__U71ttLNa__U72a__isNatNLa__U72ttLa__lengthmarkLtrue1a__length1516a__U72201526a__U7132152035U934010233040U924010233040U914010233040U811011isNat1410U72201620U7130162030U621011U61211020isNatList1510U521110U51201520isNatIList1314U421110U41201424U311011U211310U111110a__take211020length1210take211020a__U934010233040a__U924010233040a__U914010233040nil01a__U811011s1310a__length1210mark1110a__U72201620a__isNat1410a__U7130162030a__U621011a__U61211020a__U521110a__isNatList1510a__U51201520a__U421110a__isNatIList1314a__U41201424a__U311011a__U211310a__U111110tt01cons201320zeros00002a__zeros00a__U72ttLa__lengthmarkLa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__U72ttLa__lengthmarkLfalsea__U72ttLmarkLfalsemarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkconsX1X2markX1marksXmarkXtruemark11a__takesMconsNILa__isNatIListILfalsea__take0ILa__U81a__isNatIListILfalsea__take0ILa__isNatIListILfalsemarkU81Xa__U81markXfalsemarkisNatXa__isNatXfalsea__lengthconsNLa__isNatListLfalsea__U71ttLNa__isNatNfalsemarkU62Xa__U62markXfalsemarkU61X1X2a__U61markX1X2falsemarkisNatListXa__isNatListXfalsemarkU52Xa__U52markXfalsemarkU51X1X2a__U51markX1X2falsemarkisNatIListXa__isNatIListXfalsemarkU42Xa__U42markXfalsemarkU41X1X2a__U41markX1X2falsemarkU31Xa__U31markXfalsemarkU21Xa__U21markXfalsemarkU11Xa__U11markXfalsemarkzerosa__zerosfalsea__U92ttILMNa__isNatNfalsea__U91ttILMNa__isNatMfalsea__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2a__isNatListtakeV1V2a__isNatV1a__isNatListtakeV1V2a__U61a__isNatV1V2a__U61ttV2a__isNatIListV2a__isNatIListVa__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__U41a__isNatV1V2a__U41ttV2a__isNatIListV2truea__U4122a__isNatIList11a__U5122a__isNatList11a__U6122a__isNat11a__U51ttV2a__isNatListV2a__U61ttV2a__isNatIListV2a__isNatIListVa__isNatListVa__U41ttV2a__isNatIListV2a__U41ttV2a__isNatIListV2falsea__U51ttV2a__isNatListV2falsea__U61ttV2a__isNatIListV2falsea__isNatIListVa__isNatListVfalsea__U51ttV2a__U52a__isNatListV2falsea__U61ttV2a__U62a__isNatIListV2falsea__U41ttV2a__U42a__isNatIListV2falsea__isNatIListVa__U31a__isNatListVfalsea__isNatsV1a__U21a__isNatV1falsea__isNatlengthV1a__U11a__isNatListV1false