activezerosmarkcons0zerosactiveU11ttLmarkslengthLactiveU21ttmarknilactiveU31ttILMNmarkconsNtakeMILactiveandttXmarkXactiveisNat0markttactiveisNatlengthV1markisNatListV1activeisNatsV1markisNatV1activeisNatIListVmarkisNatListVactiveisNatIListzerosmarkttactiveisNatIListconsV1V2markandisNatV1isNatIListV2activeisNatListnilmarkttactiveisNatListconsV1V2markandisNatV1isNatListV2activeisNatListtakeV1V2markandisNatV1isNatIListV2activelengthnilmark0activelengthconsNLmarkU11andisNatListLisNatNLactivetake0ILmarkU21isNatIListILactivetakesMconsNILmarkU31andisNatIListILandisNatMisNatNILMNmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11X1X2activeU11markX1X2markttactivettmarksXactivesmarkXmarklengthXactivelengthmarkXmarkU21XactiveU21markXmarknilactivenilmarkU31X1X2X3X4activeU31markX1X2X3X4marktakeX1X2activetakemarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmarkisNatListXactiveisNatListXmarkisNatIListXactiveisNatIListXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2smarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXU21markXU21XU21activeXU21XU31markX1X2X3X4U31X1X2X3X4U31X1markX2X3X4U31X1X2X3X4U31X1X2markX3X4U31X1X2X3X4U31X1X2X3markX4U31X1X2X3X4U31activeX1X2X3X4U31X1X2X3X4U31X1activeX2X3X4U31X1X2X3X4U31X1X2activeX3X4U31X1X2X3X4U31X1X2X3activeX4U31X1X2X3X4takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatXisNatListmarkXisNatListXisNatListactiveXisNatListXisNatIListmarkXisNatIListXisNatIListactiveXisNatIListXactive1zeros0mark1cons200U112tt0s1length1U211nil0U314take2and2isNat1isNatList1isNatIList1FULL./TRS/TRCSR/OvConsOS_nokinds_iGM.trs