zeroscons0n__zerosU11ttttU21ttttU31ttttU41ttV2U42isNatIListactivateV2U42ttttU51ttV2U52isNatListactivateV2U52ttttU61ttV2U62isNatIListactivateV2U62ttttU71ttLNU72isNatactivateNactivateLU72ttLslengthactivateLU81ttnilU91ttILMNU92isNatactivateMactivateILactivateMactivateNU92ttILMNU93isNatactivateNactivateILactivateMactivateNU93ttILMNconsactivateNn__takeactivateMactivateILisNatn__0ttisNatn__lengthV1U11isNatListactivateV1isNatn__sV1U21isNatactivateV1isNatIListVU31isNatListactivateVisNatIListn__zerosttisNatIListn__consV1V2U41isNatactivateV1activateV2isNatListn__nilttisNatListn__consV1V2U51isNatactivateV1activateV2isNatListn__takeV1V2U61isNatactivateV1activateV2lengthnil0lengthconsNLU71isNatListactivateLactivateLNtake0ILU81isNatIListILtakesMconsNILU91isNatIListactivateILactivateILMNzerosn__zerostakeX1X2n__takeX1X20n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2niln__nilactivaten__zeroszerosactivaten__takeX1X2takeX1X2activaten__00activaten__lengthXlengthXactivaten__sXsXactivaten__consX1X2consX1X2activaten__nilnilactivateXXzeros0cons200n__zeros0U111tt0U211U311U412U421isNatIList1activate1U512U521isNatList1U612U621U713U722isNat1s1length1U811nil0U914U924U934n__take2n__00n__length1n__s1n__cons2n__nil0take2FULL./TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs