activezerosmarkcons0zerosactiveU11ttmarkttactiveU21ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNatIListV2activeU42ttmarkttactiveU51ttV2markU52isNatListV2activeU52ttmarkttactiveU61ttV2markU62isNatIListV2activeU62ttmarkttactiveU71ttLNmarkU72isNatNLactiveU72ttLmarkslengthLactiveU81ttmarknilactiveU91ttILMNmarkU92isNatMILMNactiveU92ttILMNmarkU93isNatNILMNactiveU93ttILMNmarkconsNtakeMILactiveisNat0markttactiveisNatlengthV1markU11isNatListV1activeisNatsV1markU21isNatV1activeisNatIListVmarkU31isNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markU41isNatV1V2activeisNatListnilmarkttactiveisNatListconsV1V2markU51isNatV1V2activeisNatListtakeV1V2markU61isNatV1V2activelengthnilmark0activelengthconsNLmarkU71isNatListLLNactivetake0ILmarkU81isNatIListILactivetakesMconsNILmarkU91isNatIListILILMNactiveconsX1X2consactiveX1X2activeU11XU11activeXactiveU21XU21activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2X3U71activeX1X2X3activeU72X1X2U72activeX1X2activesXsactiveXactivelengthXlengthactiveXactiveU81XU81activeXactiveU91X1X2X3X4U91activeX1X2X3X4activeU92X1X2X3X4U92activeX1X2X3X4activeU93X1X2X3X4U93activeX1X2X3X4activetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2consmarkX1X2markconsX1X2U11markXmarkU11XU21markXmarkU21XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markX1X2markU61X1X2U62markXmarkU62XU71markX1X2X3markU71X1X2X3U72markX1X2markU72X1X2smarkXmarksXlengthmarkXmarklengthXU81markXmarkU81XU91markX1X2X3X4markU91X1X2X3X4U92markX1X2X3X4markU92X1X2X3X4U93markX1X2X3X4markU93X1X2X3X4takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2properzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11XU11properXproperttokttproperU21XU21properXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNatIListXisNatIListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperisNatListXisNatListproperXproperU61X1X2U61properX1properX2properU62XU62properXproperU71X1X2X3U71properX1properX2properX3properU72X1X2U72properX1properX2properisNatXisNatproperXpropersXsproperXproperlengthXlengthproperXproperU81XU81properXproperniloknilproperU91X1X2X3X4U91properX1properX2properX3properX4properU92X1X2X3X4U92properX1properX2properX3properX4properU93X1X2X3X4U93properX1properX2properX3properX4propertakeX1X2takeproperX1properX2consokX1okX2okconsX1X2U11okXokU11XU21okXokU21XU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNatIListokXokisNatIListXU51okX1okX2okU51X1X2U52okXokU52XisNatListokXokisNatListXU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okX3okU71X1X2X3U72okX1okX2okU72X1X2isNatokXokisNatXsokXoksXlengthokXoklengthXU81okXokU81XU91okX1okX2okX3okX4okU91X1X2X3X4U92okX1okX2okX3okX4okU92X1X2X3X4U93okX1okX2okX3okX4okU93X1X2X3X4takeokX1okX2oktakeX1X2topmarkXtopproperXtopokXtopactiveXactive1zeros0mark1cons200U111tt0U211U311U412U421isNatIList1U512U521isNatList1U612U621U713U722isNat1s1length1U811nil0U914U924U934take2proper1ok1top1INNERMOST./TRS/TRCSR/inn/OvConsOS_nokinds_noand_C.trs