a__zeroscons0zerosa__U11ttV1a__U12a__isNatIListKindV1V1a__U12ttV1a__U13a__isNatListV1a__U13tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttVa__U32a__isNatIListKindVVa__U32ttVa__U33a__isNatListVa__U33tttta__U41ttV1V2a__U42a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__U46a__isNatIListV2a__U46tttta__U51ttV2a__U52a__isNatIListKindV2a__U52tttta__U61tttta__U71tttta__U81ttV1V2a__U82a__isNatKindV1V1V2a__U82ttV1V2a__U83a__isNatIListKindV2V1V2a__U83ttV1V2a__U84a__isNatIListKindV2V1V2a__U84ttV1V2a__U85a__isNatV1V2a__U85ttV2a__U86a__isNatListV2a__U86tttta__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLsa__lengthmarkLa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatKind0tta__isNatKindlengthV1a__U61a__isNatIListKindV1a__isNatKindsV1a__U71a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U81a__isNatKindV1V1V2a__lengthnil0a__lengthconsNLa__U91a__isNatListLLNmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12X1X2a__U12markX1X2markisNatIListKindXa__isNatIListKindXmarkU13Xa__U13markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markisNatKindXa__isNatKindXmarkU23Xa__U23markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32X1X2a__U32markX1X2markU33Xa__U33markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markU43X1X2X3a__U43markX1X2X3markU44X1X2X3a__U44markX1X2X3markU45X1X2a__U45markX1X2markU46Xa__U46markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkU61Xa__U61markXmarkU71Xa__U71markXmarkU81X1X2X3a__U81markX1X2X3markU82X1X2X3a__U82markX1X2X3markU83X1X2X3a__U83markX1X2X3markU84X1X2X3a__U84markX1X2X3markU85X1X2a__U85markX1X2markU86Xa__U86markXmarkU91X1X2X3a__U91markX1X2X3markU92X1X2X3a__U92markX1X2X3markU93X1X2X3a__U93markX1X2X3markU94X1X2a__U94markX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12X1X2U12X1X2a__isNatIListKindXisNatIListKindXa__U13XU13Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__isNatKindXisNatKindXa__U23XU23Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32X1X2U32X1X2a__U33XU33Xa__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__U43X1X2X3U43X1X2X3a__U44X1X2X3U44X1X2X3a__U45X1X2U45X1X2a__U46XU46Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__U61XU61Xa__U71XU71Xa__U81X1X2X3U81X1X2X3a__U82X1X2X3U82X1X2X3a__U83X1X2X3U83X1X2X3a__U84X1X2X3U84X1X2X3a__U85X1X2U85X1X2a__U86XU86Xa__U91X1X2X3U91X1X2X3a__U92X1X2X3U92X1X2X3a__U93X1X2X3U93X1X2X3a__U94X1X2U94X1X2a__lengthXlengthXa__U11ttV1a__U12a__isNatIListKindV1V1a__U11ttV1a__isNatIListKindV1a__U12ttV1a__U13a__isNatListV1a__U12ttV1a__isNatListV1a__U21ttV1a__U22a__isNatKindV1V1a__U21ttV1a__isNatKindV1a__U22ttV1a__U23a__isNatV1a__U22ttV1a__isNatV1a__U31ttVa__U32a__isNatIListKindVVa__U31ttVa__isNatIListKindVa__U32ttVa__U33a__isNatListVa__U32ttVa__isNatListVa__U41ttV1V2a__U42a__isNatKindV1V1V2a__U41ttV1V2a__isNatKindV1a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U42ttV1V2a__isNatIListKindV2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U43ttV1V2a__isNatIListKindV2a__U44ttV1V2a__U45a__isNatV1V2a__U44ttV1V2a__isNatV1a__U45ttV2a__U46a__isNatIListV2a__U45ttV2a__isNatIListV2a__U51ttV2a__U52a__isNatIListKindV2a__U51ttV2a__isNatIListKindV2a__U81ttV1V2a__U82a__isNatKindV1V1V2a__U81ttV1V2a__isNatKindV1a__U82ttV1V2a__U83a__isNatIListKindV2V1V2a__U82ttV1V2a__isNatIListKindV2a__U83ttV1V2a__U84a__isNatIListKindV2V1V2a__U83ttV1V2a__isNatIListKindV2a__U84ttV1V2a__U85a__isNatV1V2a__U84ttV1V2a__isNatV1a__U85ttV2a__U86a__isNatListV2a__U85ttV2a__isNatListV2a__U91ttLNa__U92a__isNatIListKindLLNa__U91ttLNa__isNatIListKindLa__U92ttLNa__U93a__isNatNLNa__U92ttLNa__isNatNa__U93ttLNa__U94a__isNatKindNLa__U93ttLNa__isNatKindNa__U94ttLa__lengthmarkLa__U94ttLmarkLa__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatlengthV1a__isNatIListKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatsV1a__isNatKindV1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListVa__isNatIListKindVa__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__isNatIListconsV1V2a__isNatKindV1a__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindlengthV1a__U61a__isNatIListKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__U71a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatListconsV1V2a__U81a__isNatKindV1V1V2a__isNatListconsV1V2a__isNatKindV1a__lengthconsNLa__U91a__isNatListLLNa__lengthconsNLa__isNatListLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU11X1X2markX1markU12X1X2a__U12markX1X2markU12X1X2markX1markisNatIListKindXa__isNatIListKindXmarkU13Xa__U13markXmarkU13XmarkXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU21X1X2markX1markU22X1X2a__U22markX1X2markU22X1X2markX1markisNatKindXa__isNatKindXmarkU23Xa__U23markXmarkU23XmarkXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU31X1X2markX1markU32X1X2a__U32markX1X2markU32X1X2markX1markU33Xa__U33markXmarkU33XmarkXmarkU41X1X2X3a__U41markX1X2X3markU41X1X2X3markX1markU42X1X2X3a__U42markX1X2X3markU42X1X2X3markX1markU43X1X2X3a__U43markX1X2X3markU43X1X2X3markX1markU44X1X2X3a__U44markX1X2X3markU44X1X2X3markX1markU45X1X2a__U45markX1X2markU45X1X2markX1markU46Xa__U46markXmarkU46XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU51X1X2markX1markU52Xa__U52markXmarkU52XmarkXmarkU61Xa__U61markXmarkU61XmarkXmarkU71Xa__U71markXmarkU71XmarkXmarkU81X1X2X3a__U81markX1X2X3markU81X1X2X3markX1markU82X1X2X3a__U82markX1X2X3markU82X1X2X3markX1markU83X1X2X3a__U83markX1X2X3markU83X1X2X3markX1markU84X1X2X3a__U84markX1X2X3markU84X1X2X3markX1markU85X1X2a__U85markX1X2markU85X1X2markX1markU86Xa__U86markXmarkU86XmarkXmarkU91X1X2X3a__U91markX1X2X3markU91X1X2X3markX1markU92X1X2X3a__U92markX1X2X3markU92X1X2X3markX1markU93X1X2X3a__U93markX1X2X3markU93X1X2X3markX1markU94X1X2a__U94markX1X2markU94X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkXtruemarkU11X1X2markX1markU12X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXmarkU91X1X2X3a__U91markX1X2X3a__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNa__U94ttLmarkLmarkU91X1X2X3markX1markU92X1X2X3a__U92markX1X2X3markU92X1X2X3markX1markU93X1X2X3a__U93markX1X2X3markU93X1X2X3markX1markU94X1X2a__U94markX1X2markU94X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkXtrue123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263641mark111U11211U12211U13111U21211U22211U23111U312111U322111U331111U413111U423111U433111U443111U452111U46111U51211U52111U61111U71111U81311U82311U83311U84311U85211U86111U9131112a__U91312mark111tt00a__U92312a__isNatIListKind10a__U93312a__isNat10a__U94212a__isNatKind10a__length111cons21112a__isNatList10U9231112U9331112U9421112length111s111zeros00a__zeros00a__U11211a__U12211isNatIListKind10a__U13111isNatList10a__U21211a__U22211isNatKind10a__U23111isNat10a__U312111a__U322111a__U331111a__U413111a__U423111a__U433111a__U443111a__U452111a__U46111isNatIList11a__isNatIList11a__U51211a__U52111a__U61111a__U71111a__U81311a__U82311a__U83311a__U84311a__U85211a__U86111a__U9131112a__U9231112a__U9331112a__U9421112a__length111000nil00markU11X1X2markX1markU12X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXmarkU91X1X2X3a__U91markX1X2X3a__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNa__U94ttLmarkLmarkU91X1X2X3markX1markU92X1X2X3a__U92markX1X2X3markU92X1X2X3markX1markU93X1X2X3a__U93markX1X2X3markU93X1X2X3markX1markU94X1X2a__U94markX1X2markU94X1X2markX1marklengthXa__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkX1mark111U11211U12211U13111U21211U22211U23111U46111U51211U52111U61111U71111U81311U82311U83311U84311U85211U86111U91311112a__U91312mark111tt00a__U92312a__isNatIListKind10a__U93312a__isNat10a__U94212a__isNatKind10a__length111cons21112a__isNatList10U92311112U93311112U94211112length1111s111zeros00a__zeros00a__U11211a__U12211isNatIListKind10a__U13111isNatList10a__U21211a__U22211isNatKind10a__U23111isNat10U31212a__U31212U32212a__U32212U3310a__U3310U4131213a__U4131213U42313a__U42313U43313a__U43313U44313a__U44313U45212a__U45212a__U46111isNatIList111a__isNatIList111a__U51211a__U52111a__U61111a__U71111a__U81311a__U82311a__U83311a__U84311a__U85211a__U86111a__U91311112a__U92311112a__U93311112a__U94211112a__length1111000nil00markU11X1X2markX1markU12X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXa__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNa__U94ttLmarkLmarkconsX1X2markX1marksXmarkXa__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNa__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLtrue121a__length1121mark111zeros00a__zeros00U112212a__U112212U1221a__U1221isNatIListKind11a__isNatIListKind11U1311a__U1311isNatList111a__isNatList111U2122a__U2122U2222a__U2222isNatKind12a__isNatKind12U2312a__U2312isNat1111a__isNat1111U312212a__U312212U322212a__U322212U3312a__U3312U413223a__U413223U423223a__U423223U433123a__U433123U443123a__U443123U452122a__U452122U4611a__U4611isNatIList1211a__isNatIList1211U5121a__U5121U5211a__U5211U6111a__U6111U7112a__U7112U81323a__U81323U82323a__U82323U83323a__U83323U84323a__U84323U85222a__U85222U86121a__U86121U9132122a__U9132122U923212a__U923212U933212a__U933212U9422a__U9422length1121a__length1121cons222000tt01s12nil02a__U91311122a__U933122a__U923122a__U942122a__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U92ttLNa__U93a__isNatNLNfalse123a__U93ttLNa__U94a__isNatKindNLfalse12a__U94ttLa__lengthmarkLfalse1a__lengthconsNLa__U91a__isNatListLLNfalsea__U94ttLmarkLfalse1markU12X1X2markX1markU11X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXmarkconsX1X2markX1marksXmarkXtrue1mark111U122111U112111U131111U212111U222111U23111U461111U512111U521111U61111U711111U813111U823111U83311U843111U852111U861111cons2111s111markU23XmarkXmarkU61XmarkXmarkU83X1X2X3markX1marksXmarkX31mark10001001001001U2310011101101101U6110001101101101U833000110110110111111111121111111113s10001101101101markU61XmarkXmarkU83X1X2X3markX1marksXmarkX31mark10001001001001U6110011101101101U833000110110110111111111121111111113s10001101101101markU83X1X2X3markX1marksXmarkX31mark10001001001001U833001110110110111111111121111111113s10001101101101marksXmarkX31mark10001001001001s10011101100011markU44X1X2X3a__U44markX1X2X3false6791113262728293031323435373839414244464748495051525354markU45X1X2a__U45markX1X2false5681012252627282930313334363738404143454647484950515253markisNatIListXa__isNatIListXfalse457911242526272829303233353637394042444546474849505152markU41X1X2X3a__U41markX1X2X3false346810232425262728293132343536383941434445464748495051markU42X1X2X3a__U42markX1X2X3false23579222324252627283031333435373840424344454647484950markU43X1X2X3a__U43markX1X2X3false12468212223242526272930323334363739414243444546474849a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__U41ttV1V2a__U42a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2true13572021222324252628293132333536384041424344454647481a__U44313tt00a__U45212a__isNat10a__isNatIList111cons2112a__U413113a__isNatKind10a__U423113a__U43313a__isNatIListKind10000length10a__U1120s10a__U2120isNat10a__U6110a__U7110isNatKind10nil00zeros00a__U5120isNatIListKind10a__U1220a__U2220a__U1310a__isNatList1111a__U2310a__U81311113a__U82311113a__U83311113a__U84311113a__U85211112a__U8611isNatList10U1310U81313U8230U8330U8430U8520U1120U1220U2120U2220U2310U8610a__U5210U5120U6110U7110U5210a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__U41ttV1V2a__U42a__isNatKindV1V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2false1234a__U44ttV1V2a__U45a__isNatV1V2false123a__U45ttV2a__isNatIListV2false12a__isNatIListconsV1V2a__U41a__isNatKindV1V1V2false1a__U41ttV1V2a__U42a__isNatKindV1V1V2falsea__U44ttV1V2a__isNatV1false26192021222728303234373940414244454647markU12X1X2a__U12markX1X2false15181920212627293133363839404143444546a__isNatIListVa__U31a__isNatIListKindVVfalse41718192526283032353738394042434445markU31X1X2a__U31markX1X2false31617182425272931343637383941424344a__U31ttVa__U32a__isNatIListKindVVfalse15161723242628303335363740414243markU32X1X2a__U32markX1X2false14151622232527293234353639404142a__U32ttVa__isNatListVfalse13141521222426283133343538394041markU84X1X2X3a__U84markX1X2X3false12131420212325273032333437383940markU85X1X2a__U85markX1X2false11121319202224262931323336373839a__lengthconsNLa__isNatListLfalse10111218192123252830313235363738markisNatListXa__isNatListXfalse9101117182022242729303134353637markU81X1X2X3a__U81markX1X2X3false891016171921232628293033343536markU82X1X2X3a__U82markX1X2X3false78915161820222527282932333435markU83X1X2X3a__U83markX1X2X3false67814151719212426272831323334a__U92ttLNa__isNatNfalse56713141618202325262730313233markisNatXa__isNatXfalse45612131517192224252629303132markU21X1X2a__U21markX1X2false34511121416182123242528293031markU22X1X2a__U22markX1X2false23410111315172022232427282930markU11X1X2a__U11markX1X2false1239101214161921222326272829a__U12ttV1a__isNatListV1a__isNatListconsV1V2a__U81a__isNatKindV1V1V2a__U81ttV1V2a__U82a__isNatKindV1V1V2a__U82ttV1V2a__U83a__isNatIListKindV2V1V2a__U83ttV1V2a__U84a__isNatIListKindV2V1V2a__U84ttV1V2a__U85a__isNatV1V2a__U85ttV2a__isNatListV2a__U84ttV1V2a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__U11ttV1a__U12a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__isNatV1true128911131518202122252627281a__U12212tt00a__isNatList111cons211112a__U81311213a__isNatKind10a__U8231213a__U8331213a__isNatIListKind10a__U8431213a__U85212a__isNat10a__isNat111length111a__U11212s111a__U21212a__U22212000a__U6110a__U7110isNatKind10nil00zeros00a__U5120isNatIListKind10a__U1120a__U2120isNat10a__U1220a__U2220a__U1310a__isNatList10a__U2310a__U8130a__U8230a__U8330a__U8430a__U8520a__U8610isNatList10U1310U8130U8230U8330U8430U8520U1120U1220U2120U2220U2310U8610a__U5210U5120U6110U7110U5210a__U12ttV1a__isNatListV1a__isNatListconsV1V2a__U81a__isNatKindV1V1V2a__U82ttV1V2a__U83a__isNatIListKindV2V1V2a__U83ttV1V2a__U84a__isNatIListKindV2V1V2a__U84ttV1V2a__U85a__isNatV1V2a__U85ttV2a__isNatListV2a__U84ttV1V2a__isNatV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__U11ttV1a__U12a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__isNatV1a__U82ttV1V2a__U83a__isNatIListKindV2V1V2false123456789a__U83ttV1V2a__U84a__isNatIListKindV2V1V2false12345678a__U84ttV1V2a__isNatV1false12357a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__isNatV1true124631a__isNat10000001000001s10100100100101a__U21200000000000011001001002a__isNatKind10000000000001tt0111a__U2220000000000001000100100200000length10000000000001a__U6110000000000001a__isNatIListKind10000000000001a__U7110000000000001isNatKind11111111111111cons200000000000010000000002a__U51200000000000010000000002a__U5210000000000001U51211111111111111111111112nil0000zeros0000isNatIListKind11111111111111U6111111111111111U7111111111111111U5211111111111111a__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__isNatV1a__U21ttV1a__U22a__isNatKindV1V1false1a__U22ttV1a__isNatV1falsea__isNatlengthV1a__U11a__isNatIListKindV1V1false135a__U11ttV1a__U12a__isNatIListKindV1V1false24a__U12ttV1a__isNatListV1false23a__U84ttV1V2a__U85a__isNatV1V2false2a__U85ttV2a__isNatListV2false1a__isNatListconsV1V2a__U81a__isNatKindV1V1V2falsea__U11ttV1a__isNatIListKindV1false19242627a__U12ttV1a__U13a__isNatListV1false18232526a__U21ttV1a__isNatKindV1false17222425a__U22ttV1a__U23a__isNatV1false16212324a__U31ttVa__isNatIListKindVfalse15202223a__U32ttVa__U33a__isNatListVfalse14192122a__U41ttV1V2a__isNatKindV1false13182021a__U42ttV1V2a__isNatIListKindV2false12171920a__U43ttV1V2a__isNatIListKindV2false11161819a__U45ttV2a__U46a__isNatIListV2false10151718markU51X1X2a__U51markX1X2false9141617a__U82ttV1V2a__isNatIListKindV2false8131516a__U83ttV1V2a__isNatIListKindV2false7121415a__U91ttLNa__isNatIListKindLfalse6111314a__isNatlengthV1a__isNatIListKindV1false5101213a__isNatIListVa__isNatIListKindVfalse491112a__U81ttV1V2a__isNatKindV1false381011a__U93ttLNa__isNatKindNfalse27910a__isNatsV1a__isNatKindV1false1689a__isNatIListconsV1V2a__isNatKindV1false578markisNatIListKindXa__isNatIListKindXfalsea__isNatListconsV1V2a__isNatKindV1falsemarkisNatKindXa__isNatKindXfalsea__U51ttV2a__isNatIListKindV2a__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1true1a__U512112tt01a__isNatIListKind1111cons211112a__isNatKind10a__isNatKind1111length1111s1111000a__U6110a__isNatIListKind1111a__U7110isNatKind10a__U51211112a__U521111U5120nil01zeros01isNatIListKind10U6110U7110U5210a__U51ttV2a__isNatIListKindV2a__U51ttV2a__isNatIListKindV2falsea__U51ttV2a__U52a__isNatIListKindV2falsea__U85ttV2a__U86a__isNatListV2falsea__isNatKindlengthV1a__U61a__isNatIListKindV1falsea__isNatKindsV1a__U71a__isNatKindV1falsemarkzerosa__zerosfalsemarkU13Xa__U13markXfalsemarkU23Xa__U23markXfalsemarkU33Xa__U33markXfalsemarkU46Xa__U46markXfalsemarkU52Xa__U52markXfalsemarkU61Xa__U61markXfalsemarkU71Xa__U71markXfalsemarkU86Xa__U86markXfalse