activezerosmarkcons0zerosactiveU11ttV1markU12isNatListV1activeU12ttmarkttactiveU21ttV1markU22isNatV1activeU22ttmarkttactiveU31ttVmarkU32isNatListVactiveU32ttmarkttactiveU41ttV1V2markU42isNatV1V2activeU42ttV2markU43isNatIListV2activeU43ttmarkttactiveU51ttV1V2markU52isNatV1V2activeU52ttV2markU53isNatListV2activeU53ttmarkttactiveU61ttLmarkslengthLactiveandttXmarkXactiveisNat0markttactiveisNatlengthV1markU11isNatIListKindV1V1activeisNatsV1markU21isNatKindV1V1activeisNatIListVmarkU31isNatIListKindVVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41andisNatKindV1isNatIListKindV2V1V2activeisNatIListKindnilmarkttactiveisNatIListKindzerosmarkttactiveisNatIListKindconsV1V2markandisNatKindV1isNatIListKindV2activeisNatKind0markttactiveisNatKindlengthV1markisNatIListKindV1activeisNatKindsV1markisNatKindV1activeisNatListnilmarkttactiveisNatListconsV1V2markU51andisNatKindV1isNatIListKindV2V1V2activelengthnilmark0activelengthconsNLmarkU61andandisNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatListXactiveisNatListXmarkU21X1X2activeU21markX1X2markU22XactiveU22markXmarkisNatXactiveisNatXmarkU31X1X2activeU31markX1X2markU32XactiveU32markXmarkU41X1X2X3activeU41markX1X2X3markU42X1X2activeU42markX1X2markU43XactiveU43markXmarkisNatIListXactiveisNatIListXmarkU51X1X2X3activeU51markX1X2X3markU52X1X2activeU52markX1X2markU53XactiveU53markXmarkU61X1X2activeU61markX1X2marksXactivesmarkXmarklengthXactivelengthmarkXmarkandX1X2activeandmarkX1X2markisNatIListKindXactiveisNatIListKindXmarkisNatKindXactiveisNatKindXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatListmarkXisNatListXisNatListactiveXisNatListXU21markX1X2U21X1X2U21X1markX2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U22markXU22XU22activeXU22XisNatmarkXisNatXisNatactiveXisNatXU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U32markXU32XU32activeXU32XU41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2U42X1X2U42X1markX2U42X1X2U42activeX1X2U42X1X2U42X1activeX2U42X1X2U43markXU43XU43activeXU43XisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXU51markX1X2X3U51X1X2X3U51X1markX2X3U51X1X2X3U51X1X2markX3U51X1X2X3U51activeX1X2X3U51X1X2X3U51X1activeX2X3U51X1X2X3U51X1X2activeX3U51X1X2X3U52markX1X2U52X1X2U52X1markX2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U53markXU53XU53activeXU53XU61markX1X2U61X1X2U61X1markX2U61X1X2U61activeX1X2U61X1X2U61X1activeX2U61X1X2smarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXandmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatIListKindmarkXisNatIListKindXisNatIListKindactiveXisNatIListKindXisNatKindmarkXisNatKindXisNatKindactiveXisNatKindXactive1zeros0mark1cons200U112tt0U121isNatList1U212U221isNat1U312U321U413U422U431isNatIList1U513U522U531U612s1length1and2isNatIListKind1isNatKind1nil0FULL./TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs