activezerosmarkcons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU52ttmarkttactiveU61ttLNmarkU62isNatNLactiveU62ttLmarkslengthLactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatsV1markU21isNatV1activeisNatIListVmarkU31isNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListnilmarkttactiveisNatListconsV1V2markU51isNatV1V2activelengthnilmark0activelengthconsNLmarkU61isNatListLLNmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11XactiveU11markXmarkttactivettmarkU21XactiveU21markXmarkU31XactiveU31markXmarkU41X1X2activeU41markX1X2markU42XactiveU42markXmarkisNatIListXactiveisNatIListXmarkU51X1X2activeU51markX1X2markU52XactiveU52markXmarkisNatListXactiveisNatListXmarkU61X1X2X3activeU61markX1X2X3markU62X1X2activeU62markX1X2markisNatXactiveisNatXmarksXactivesmarkXmarklengthXactivelengthmarkXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markXU11XU11activeXU11XU21markXU21XU21activeXU21XU31markXU31XU31activeXU31XU41markX1X2U41X1X2U41X1markX2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U42markXU42XU42activeXU42XisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markXU52XU52activeXU52XisNatListmarkXisNatListXisNatListactiveXisNatListXU61markX1X2X3U61X1X2X3U61X1markX2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62markX1X2U62X1X2U62X1markX2U62X1X2U62activeX1X2U62X1X2U62X1activeX2U62X1X2isNatmarkXisNatXisNatactiveXisNatXsmarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXactive1zeros0mark1cons200U111tt0U211U311U412U421isNatIList1U512U521isNatList1U613U622isNat1s1length1nil0FULL./TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs