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__lengthXlengthX2.1a__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__lengthmarkXmarklengthXmarkXmarkconsX1X2markX1marksXmarkXtrue1a__length1-11a__U9131223a__U9231122a__U933122a__U942122mark121zeros00a__zeros02U1121a__U1121U1221a__U1221isNatIListKind10a__isNatIListKind10U1311a__U1311isNatList10a__isNatList10U2121a__U2121U2221a__U2221isNatKind10a__isNatKind10U2311a__U2311isNat10a__isNat10U3121a__U3121U3221a__U3221U3311a__U3311U4131a__U4131U4231a__U4231U4331a__U4331U4431a__U4431U4521a__U4521U4611a__U4611isNatIList10a__isNatIList10U5121a__U5121U5211a__U5211U6111a__U6111U7111a__U7111U8131a__U8131U8231a__U8231U8331a__U8331U8431a__U8431U8521a__U8521U8611a__U8611U91321223a__U91321223U9232122a__U9232122U9332122a__U9332122U9422122a__U9422122length11a__length11cons22122000tt00s11nil02mark1121markU11X1X2markX1markU12X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXa__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNa__U94ttLmarkLmarklengthXa__lengthmarkXmarklengthXmarkXmarksXmarkX1a__length111a__U923122a__U913122a__U11221a__U12221a__U83321a__U8431a__U933122a__U942122a__U5211a__U61121a__U21221a__U22221a__U8131a__U82321a__isNatIListKind10nil00tt00zeros00cons222a__U51221a__isNatKind10isNatIListKind10a__U2311a__U85221a__isNat10000length121s11isNat10a__U7111isNatKind10mark11a__zeros00U11221U12221U13121a__U13121isNatList10a__isNatList10U21221U22221U2311U3121a__U3121U3221a__U3221U3311a__U3311U4131a__U4131U4231a__U4231U43321a__U43321U4431a__U4431U45221a__U45221U46121a__U46121isNatIList10a__isNatIList10U51221U5211U61121U7111U8131U82321U83321U8431U85221U86121a__U86121U913222a__U913222U923222a__U923222U933222a__U933222U942222a__U942222a__length121mark121markU11X1X2markX1markU12X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXa__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNmarksXmarkXmarkU12X1X2markX1markU11X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXmarksXmarkXtrue1U1221112U1121112U13111U2121112U2221112U23111U3121112U3221112U33111U413111213U423111213U433111213U443111213U4521112U46111U5121112U52111U61111U71111U813111213U823111213U833111213U843111213U8521112U86111s111mark111markU12X1X2markX1markU11X1X2markX1markU13XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32X1X2markX1markU33XmarkXmarkU41X1X2X3markX1markU42X1X2X3markX1markU43X1X2X3markX1markU44X1X2X3markX1markU45X1X2markX1markU46XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61XmarkXmarkU71XmarkXmarkU81X1X2X3markX1markU82X1X2X3markX1markU83X1X2X3markX1markU84X1X2X3markX1markU85X1X2markX1markU86XmarkXmarksXmarkXmarkU12X1X2markX11true1markU11X1X2markX11true1markU13XmarkX1true1markU21X1X2markX11true1markU22X1X2markX11true1markU23XmarkX1true1markU31X1X2markX11true1markU32X1X2markX11true1markU33XmarkX1true1markU41X1X2X3markX11true1markU42X1X2X3markX11true1markU43X1X2X3markX11true1markU44X1X2X3markX11true1markU45X1X2markX11true1markU46XmarkX1true1markU51X1X2markX11true1markU52XmarkX1true1markU61XmarkX1true1markU71XmarkX1true1markU81X1X2X3markX11true1markU82X1X2X3markX11true1markU83X1X2X3markX11true1markU84X1X2X3markX11true1markU85X1X2markX11true1markU86XmarkX1true1marksXmarkX1true1a__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLa__lengthmarkLa__lengthconsNLa__U91a__isNatListLLNa__U91ttLNa__U92a__isNatIListKindLLNtrue1a__length1121a__U933222a__U9132122a__U2311a__U8522a__isNat11001tt01length12a__U1121a__isNatIListKind12s11a__U2121a__isNatKind1221isNat11a__U942122a__U2221a__U81323a__U82323a__U923222a__U5122a__U7111a__U1221a__U83323a__U8433a__U611221isNatKind1221mark11zeros00a__zeros00U1121U1221isNatIListKind12U1311a__U1311isNatList11a__isNatList11U2121U2221U2311U3122a__U3122U3221a__U3221U3311a__U3311U4131a__U4131U4231a__U4231U4331a__U4331U4431a__U4431U4521a__U4521U4611a__U4611isNatIList12a__isNatIList12U5122U5212a__U5212U611221U7111U81323U82323U83323U8433U8522U8611a__U8611U9132a__U9132U9232a__U9232U9331a__U9331U9421a__U9421a__length12cons222nil02a__U92ttLNa__U93a__isNatNLNa__U94ttLa__lengthmarkLa__U91ttLNa__U92a__isNatIListKindLLNa__U91ttLNa__U92a__isNatIListKindLLNfalsea__U92ttLNa__U93a__isNatNLNfalsea__U94ttLa__lengthmarkLfalsemarkU44X1X2X3a__U44markX1X2X3falsemarkU45X1X2a__U45markX1X2falsemarkisNatIListXa__isNatIListXfalsemarkU41X1X2X3a__U41markX1X2X3falsemarkU42X1X2X3a__U42markX1X2X3falsemarkU43X1X2X3a__U43markX1X2X3falsea__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__isNatIListV2a__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__U41ttV1V2a__U42a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2truea__U45ttV2a__isNatIListV22false1a__U43ttV1V2a__U44a__isNatIListKindV2V1V22false23false3a__isNatIListconsV1V2a__U41a__isNatKindV1V1V21true21true3a__U44ttV1V2a__U45a__isNatV1V23false2a__U41ttV1V2a__U42a__isNatKindV1V1V22false23false3a__U42ttV1V2a__U43a__isNatIListKindV2V1V22false23false3a__isNatIListVa__U31a__isNatIListKindVVfalsemarkU31X1X2a__U31markX1X2falsea__U31ttVa__U32a__isNatIListKindVVfalsemarkU32X1X2a__U32markX1X2falsea__U44ttV1V2a__isNatV1falsemarkU12X1X2a__U12markX1X2falsea__U32ttVa__isNatListVfalsemarkU84X1X2X3a__U84markX1X2X3falsemarkU85X1X2a__U85markX1X2falsea__lengthconsNLa__isNatListLfalsemarkisNatListXa__isNatListXfalsemarkU81X1X2X3a__U81markX1X2X3falsemarkU82X1X2X3a__U82markX1X2X3falsemarkU83X1X2X3a__U83markX1X2X3falsea__U92ttLNa__isNatNfalsemarkisNatXa__isNatXfalsemarkU21X1X2a__U21markX1X2falsemarkU22X1X2a__U22markX1X2falsemarkU11X1X2a__U11markX1X2falsea__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__isNatV1truea__isNatListconsV1V2a__U81a__isNatKindV1V1V21true21true3a__U11ttV1a__U12a__isNatIListKindV1V12false2a__U81ttV1V2a__U82a__isNatKindV1V1V22false23false3a__U82ttV1V2a__U83a__isNatIListKindV2V1V22false23false3a__U83ttV1V2a__U84a__isNatIListKindV2V1V22false23false3a__U85ttV2a__isNatListV22false1a__U12ttV1a__isNatListV12false1a__U84ttV1V2a__U85a__isNatV1V23false2a__U84ttV1V2a__isNatV12false1a__U22ttV1a__isNatV12false1a__U21ttV1a__U22a__isNatKindV1V12false2a__isNatlengthV1a__U11a__isNatIListKindV1V11true2a__isNatsV1a__U21a__isNatKindV1V11true2a__U11ttV1a__isNatIListKindV1falsea__U21ttV1a__isNatKindV1falsea__U31ttVa__isNatIListKindVfalsea__U41ttV1V2a__isNatKindV1falsea__U42ttV1V2a__isNatIListKindV2falsea__U43ttV1V2a__isNatIListKindV2falsemarkU51X1X2a__U51markX1X2falsea__U82ttV1V2a__isNatIListKindV2falsea__U83ttV1V2a__isNatIListKindV2falsea__U91ttLNa__isNatIListKindLfalsea__isNatlengthV1a__isNatIListKindV1falsea__isNatIListVa__isNatIListKindVfalsea__U81ttV1V2a__isNatKindV1falsea__U93ttLNa__isNatKindNfalsea__isNatsV1a__isNatKindV1falsea__isNatIListconsV1V2a__isNatKindV1falsemarkisNatIListKindXa__isNatIListKindXfalsea__isNatListconsV1V2a__isNatKindV1falsemarkisNatKindXa__isNatKindXfalsea__U51ttV2a__isNatIListKindV2a__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1true1a__isNatKind111000tt00length111a__U61111a__isNatIListKind111s111a__U71111isNatKind111U71111nil00zeros00cons21112a__U5121112isNatIListKind111U61111a__U52111U5121112U52111a__isNatIListKind111a__U5121112a__isNatKind111a__U51ttV2a__isNatIListKindV2a__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatKind0tta__isNatKindlengthV1a__U61a__isNatIListKindV1a__isNatKindsV1a__U71a__isNatKindV1a__isNatKindXisNatKindXa__U71tttta__U71XU71Xa__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindXisNatIListKindXa__U61tttta__U61XU61Xa__U51ttV2a__U52a__isNatIListKindV2a__U51X1X2U51X1X2a__U52tttta__U52XU52Xa__isNatKind0tta__isNatKindlengthV1a__U61a__isNatIListKindV1a__isNatKindsV1a__U71a__isNatKindV1a__isNatKindXisNatKindXa__U71tttta__U71XU71Xa__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatIListKindXisNatIListKindXa__U61tttta__U61XU61Xa__U51ttV2a__U52a__isNatIListKindV2a__U51X1X2U51X1X2a__U52tttta__U52XU52Xa__isNatIListKindconsV1V2a__U51a__isNatKindV1V21true2a__isNatIListKindconsV1V2a__isNatKindV11true1a__U51ttV2a__isNatIListKindV22false1a__isNatKindlengthV1a__isNatIListKindV11true1a__isNatKindsV1a__isNatKindV11true1a__U12ttV1a__U13a__isNatListV1falsea__U22ttV1a__U23a__isNatV1falsea__U32ttVa__U33a__isNatListVfalsea__U45ttV2a__U46a__isNatIListV2falsea__U51ttV2a__U52a__isNatIListKindV2falsea__U85ttV2a__U86a__isNatListV2falsea__isNatKindlengthV1a__U61a__isNatIListKindV1falsea__isNatKindsV1a__U71a__isNatKindV1falsemarkzerosa__zerosfalsemarkU13Xa__U13markXfalsemarkU23Xa__U23markXfalsemarkU33Xa__U33markXfalsemarkU46Xa__U46markXfalsemarkU52Xa__U52markXfalsemarkU61Xa__U61markXfalsemarkU71Xa__U71markXfalsemarkU86Xa__U86markXfalseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (13 real / 0 unknown / 0 assumptions / 13 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe