activezerosmarkcons0zerosactiveU11ttLmarkslengthLactiveandttXmarkXactiveisNat0markttactiveisNatlengthV1markisNatListV1activeisNatsV1markisNatV1activeisNatIListVmarkisNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markandisNatV1isNatIListV2activeisNatListnilmarkttactiveisNatListconsV1V2markandisNatV1isNatListV2activelengthnilmark0activelengthconsNLmarkU11andisNatListLisNatNLmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11X1X2activeU11markX1X2markttactivettmarksXactivesmarkXmarklengthXactivelengthmarkXmarkandX1X2activeandmarkX1X2markisNatXactiveisNatXmarkisNatListXactiveisNatListXmarkisNatIListXactiveisNatIListXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2smarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXandmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatXisNatListmarkXisNatListXisNatListactiveXisNatListXisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXactive1zeros0mark1cons200U112tt0s1length1and2isNat1isNatList1isNatIList1nil0INNERMOST./TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_iGM.trs