activezerosmarkcons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU52ttmarkttactiveU61ttV2markU62isNatIListV2activeU62ttmarkttactiveU71ttLNmarkU72isNatNLactiveU72ttLmarkslengthLactiveU81ttmarknilactiveU91ttILMNmarkU92isNatMILMNactiveU92ttILMNmarkU93isNatNILMNactiveU93ttILMNmarkconsNtakeMILactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatsV1markU21isNatV1activeisNatIListVmarkU31isNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListnilmarkttactiveisNatListconsV1V2markU51isNatV1V2activeisNatListtakeV1V2markU61isNatV1V2activelengthnilmark0activelengthconsNLmarkU71isNatListLLNactivetake0ILmarkU81isNatIListILactivetakesMconsNILmarkU91isNatIListILILMNmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11XactiveU11markXmarkttactivettmarkU21XactiveU21markXmarkU31XactiveU31markXmarkU41X1X2activeU41markX1X2markU42XactiveU42markXmarkisNatIListXactiveisNatIListXmarkU51X1X2activeU51markX1X2markU52XactiveU52markXmarkisNatListXactiveisNatListXmarkU61X1X2activeU61markX1X2markU62XactiveU62markXmarkU71X1X2X3activeU71markX1X2X3markU72X1X2activeU72markX1X2markisNatXactiveisNatXmarksXactivesmarkXmarklengthXactivelengthmarkXmarkU81XactiveU81markXmarknilactivenilmarkU91X1X2X3X4activeU91markX1X2X3X4markU92X1X2X3X4activeU92markX1X2X3X4markU93X1X2X3X4activeU93markX1X2X3X4marktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markXU11XU11activeXU11XU21markXU21XU21activeXU21XU31markXU31XU31activeXU31XU41markX1X2U41X1X2U41X1markX2U41X1X2U41activeX1X2U41X1X2U41X1activeX2U41X1X2U42markXU42XU42activeXU42XisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markXU52XU52activeXU52XisNatListmarkXisNatListXisNatListactiveXisNatListXU61markX1X2U61X1X2U61X1markX2U61X1X2U61activeX1X2U61X1X2U61X1activeX2U61X1X2U62markXU62XU62activeXU62XU71markX1X2X3U71X1X2X3U71X1markX2X3U71X1X2X3U71X1X2markX3U71X1X2X3U71activeX1X2X3U71X1X2X3U71X1activeX2X3U71X1X2X3U71X1X2activeX3U71X1X2X3U72markX1X2U72X1X2U72X1markX2U72X1X2U72activeX1X2U72X1X2U72X1activeX2U72X1X2isNatmarkXisNatXisNatactiveXisNatXsmarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXU81markXU81XU81activeXU81XU91markX1X2X3X4U91X1X2X3X4U91X1markX2X3X4U91X1X2X3X4U91X1X2markX3X4U91X1X2X3X4U91X1X2X3markX4U91X1X2X3X4U91activeX1X2X3X4U91X1X2X3X4U91X1activeX2X3X4U91X1X2X3X4U91X1X2activeX3X4U91X1X2X3X4U91X1X2X3activeX4U91X1X2X3X4U92markX1X2X3X4U92X1X2X3X4U92X1markX2X3X4U92X1X2X3X4U92X1X2markX3X4U92X1X2X3X4U92X1X2X3markX4U92X1X2X3X4U92activeX1X2X3X4U92X1X2X3X4U92X1activeX2X3X4U92X1X2X3X4U92X1X2activeX3X4U92X1X2X3X4U92X1X2X3activeX4U92X1X2X3X4U93markX1X2X3X4U93X1X2X3X4U93X1markX2X3X4U93X1X2X3X4U93X1X2markX3X4U93X1X2X3X4U93X1X2X3markX4U93X1X2X3X4U93activeX1X2X3X4U93X1X2X3X4U93X1activeX2X3X4U93X1X2X3X4U93X1X2activeX3X4U93X1X2X3X4U93X1X2X3activeX4U93X1X2X3X4takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2active1zeros0mark1cons200U111tt0U211U311U412U421isNatIList1U512U521isNatList1U612U621U713U722isNat1s1length1U811nil0U914U924U934take2FULL./TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs