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__zeros0cons200zeros0a__U112tt0a__U121a__isNatList1a__U212a__U221a__isNat1a__U312a__U321a__U413a__U422a__U431a__isNatIList1a__U513a__U522a__U531a__U612s1a__length1mark1a__and2length1a__isNatIListKind1a__isNatKind1isNatIListKind1nil0and2isNat1isNatKind1U112U121isNatList1U212U221U312U321U413U422U431isNatIList1U513U522U531U612INNERMOST./TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs