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__U61ttV1V2a__U62a__isNatV1V2a__U62ttV2a__U63a__isNatIListV2a__U63tttta__U71ttLsa__lengthmarkLa__U81ttnila__U91ttILMNconsmarkNtakeMILa__andttXmarkXa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListKindtakeV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKind0tta__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatListtakeV1V2a__U61a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthnil0a__lengthconsNLa__U71a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__take0ILa__U81a__anda__isNatIListILisNatIListKindILa__takesMconsNILa__U91a__anda__anda__isNatIListILisNatIListKindILandandisNatMisNatKindMandisNatNisNatKindNILMNmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markU63Xa__U63markXmarkU71X1X2a__U71markX1X2marklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4marktakeX1X2a__takemarkX1markX2markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12XU12Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22XU22Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32XU32Xa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__isNatIListXisNatIListXa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__U63XU63Xa__U71X1X2U71X1X2a__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__takeX1X2takeX1X2a__andX1X2andX1X2a__isNatIListKindXisNatIListKindXa__isNatKindXisNatKindXa__zeros0cons200zeros0a__U112tt0a__U121a__isNatList1a__U212a__U221a__isNat1a__U312a__U321a__U413a__U422a__U431a__isNatIList1a__U513a__U522a__U531a__U613a__U622a__U631a__U712s1a__length1mark1a__U811nil0a__U914take2a__and2length1a__isNatIListKind1a__isNatKind1isNatIListKind1and2isNat1isNatKind1a__take2U112U121isNatList1U212U221U312U321U413U422U431isNatIList1U513U522U531U613U622U631U712U811U914FULL./TRS/TRCSR/OvConsOS_complete_GM.trs