a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__U21ttnila__U31ttILMNconsmarkNtakeMILa__andttXmarkXa__isNat0tta__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListniltta__isNatListconsV1V2a__anda__isNatV1isNatListV2a__isNatListtakeV1V2a__anda__isNatV1isNatIListV2a__lengthnil0a__lengthconsNLa__U11a__anda__isNatListLisNatNLa__take0ILa__U21a__isNatIListILa__takesMconsNILa__U31a__anda__isNatIListILandisNatMisNatNILMNmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkU21Xa__U21markXmarkU31X1X2X3X4a__U31markX1X2X3X4marktakeX1X2a__takemarkX1markX2markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__U21XU21Xa__U31X1X2X3X4U31X1X2X3X4a__takeX1X2takeX1X2a__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListXa__zeros0cons200zeros0a__U112tt0s1a__length1mark1a__U211nil0a__U314take2a__and2a__isNat1length1a__isNatList1a__isNatIList1isNatIList1isNatList1isNat1a__take2and2U112U211U314FULL./TRS/TRCSR/OvConsOS_nokinds_GM.trs