zeroscons0n__zerosU11ttLslengthactivateLandttXactivateXisNatn__0ttisNatn__lengthV1isNatListactivateV1isNatn__sV1isNatactivateV1isNatIListVisNatListactivateVisNatIListn__zerosttisNatIListn__consV1V2andisNatactivateV1n__isNatIListactivateV2isNatListn__nilttisNatListn__consV1V2andisNatactivateV1n__isNatListactivateV2lengthnil0lengthconsNLU11andisNatListactivateLn__isNatNactivateLzerosn__zeros0n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2isNatIListXn__isNatIListXniln__nilisNatListXn__isNatListXisNatXn__isNatXactivaten__zeroszerosactivaten__00activaten__lengthXlengthactivateXactivaten__sXsactivateXactivaten__consX1X2consactivateX1X2activaten__isNatIListXisNatIListXactivaten__nilnilactivaten__isNatListXisNatListXactivaten__isNatXisNatXactivateXX