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__andX1X2andX1X2activateXX