zeroscons0n__zerosU101ttV1V2U102isNatKindactivateV1activateV1activateV2U102ttV1V2U103isNatIListKindactivateV2activateV1activateV2U103ttV1V2U104isNatIListKindactivateV2activateV1activateV2U104ttV1V2U105isNatactivateV1activateV2U105ttV2U106isNatIListactivateV2U106ttttU11ttV1U12isNatIListKindactivateV1activateV1U111ttLNU112isNatIListKindactivateLactivateLactivateNU112ttLNU113isNatactivateNactivateLactivateNU113ttLNU114isNatKindactivateNactivateLU114ttLslengthactivateLU12ttV1U13isNatListactivateV1U121ttILU122isNatIListKindactivateILU122ttnilU13ttttU131ttILMNU132isNatIListKindactivateILactivateILactivateMactivateNU132ttILMNU133isNatactivateMactivateILactivateMactivateNU133ttILMNU134isNatKindactivateMactivateILactivateMactivateNU134ttILMNU135isNatactivateNactivateILactivateMactivateNU135ttILMNU136isNatKindactivateNactivateILactivateMactivateNU136ttILMNconsactivateNn__takeactivateMactivateILU21ttV1U22isNatKindactivateV1activateV1U22ttV1U23isNatactivateV1U23ttttU31ttVU32isNatIListKindactivateVactivateVU32ttVU33isNatListactivateVU33ttttU41ttV1V2U42isNatKindactivateV1activateV1activateV2U42ttV1V2U43isNatIListKindactivateV2activateV1activateV2U43ttV1V2U44isNatIListKindactivateV2activateV1activateV2U44ttV1V2U45isNatactivateV1activateV2U45ttV2U46isNatIListactivateV2U46ttttU51ttV2U52isNatIListKindactivateV2U52ttttU61ttV2U62isNatIListKindactivateV2U62ttttU71ttttU81ttttU91ttV1V2U92isNatKindactivateV1activateV1activateV2U92ttV1V2U93isNatIListKindactivateV2activateV1activateV2U93ttV1V2U94isNatIListKindactivateV2activateV1activateV2U94ttV1V2U95isNatactivateV1activateV2U95ttV2U96isNatListactivateV2U96ttttisNatn__0ttisNatn__lengthV1U11isNatIListKindactivateV1activateV1isNatn__sV1U21isNatKindactivateV1activateV1isNatIListVU31isNatIListKindactivateVactivateVisNatIListn__zerosttisNatIListn__consV1V2U41isNatKindactivateV1activateV1activateV2isNatIListKindn__nilttisNatIListKindn__zerosttisNatIListKindn__consV1V2U51isNatKindactivateV1activateV2isNatIListKindn__takeV1V2U61isNatKindactivateV1activateV2isNatKindn__0ttisNatKindn__lengthV1U71isNatIListKindactivateV1isNatKindn__sV1U81isNatKindactivateV1isNatListn__nilttisNatListn__consV1V2U91isNatKindactivateV1activateV1activateV2isNatListn__takeV1V2U101isNatKindactivateV1activateV1activateV2lengthnil0lengthconsNLU111isNatListactivateLactivateLNtake0ILU121isNatIListILILtakesMconsNILU131isNatIListactivateILactivateILMNzerosn__zerostakeX1X2n__takeX1X20n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2niln__nilactivaten__zeroszerosactivaten__takeX1X2takeX1X2activaten__00activaten__lengthXlengthXactivaten__sXsXactivaten__consX1X2consX1X2activaten__nilnilactivateXXzeros0cons200n__zeros0U1013tt0U1023isNatKind1activate1U1033isNatIListKind1U1043U1052isNat1U1061isNatIList1U112U122U1113U1123U1133U1142s1length1U131isNatList1U1212U1221nil0U1314U1324U1334U1344U1354U1364n__take2U212U222U231U312U322U331U413U423U433U443U452U461U512U521U612U621U711U811U913U923U933U943U952U961n__00n__length1n__s1n__cons2n__nil0take2FULL./TRS/TRCSR/OvConsOS_complete-noand_Z.trs