zeroscons0n__zerosU11ttLslengthactivateLU21ttnilU31ttILMNconsactivateNn__takeactivateMactivateILandttXactivateXisNatn__0ttisNatn__lengthV1isNatListactivateV1isNatn__sV1isNatactivateV1isNatIListVisNatListactivateVisNatIListn__zerosttisNatIListn__consV1V2andisNatactivateV1n__isNatIListactivateV2isNatListn__nilttisNatListn__consV1V2andisNatactivateV1n__isNatListactivateV2isNatListn__takeV1V2andisNatactivateV1n__isNatIListactivateV2lengthnil0lengthconsNLU11andisNatListactivateLn__isNatNactivateLtake0ILU21isNatIListILtakesMconsNILU31andisNatIListactivateILn__andisNatMn__isNatNactivateILMNzerosn__zerostakeX1X2n__takeX1X20n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2isNatIListXn__isNatIListXniln__nilisNatListXn__isNatListXisNatXn__isNatXandX1X2n__andX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activaten__00activaten__lengthXlengthXactivaten__sXsXactivaten__consX1X2consX1X2activaten__isNatIListXisNatIListXactivaten__nilnilactivaten__isNatListXisNatListXactivaten__isNatXisNatXactivaten__andX1X2andX1X2activateXXzeros0cons200n__zeros0U112tt0s1length1activate1U211nil0U314n__take2and2isNat1n__00n__length1isNatList1n__s1isNatIList1n__cons2n__isNatIList1n__nil0n__isNatList1n__isNat1take2n__and2FULL./TRS/TRCSR/OvConsOS_nokinds_Z.trs