zeroscons0n__zerosU11ttttU21ttttU31ttttU41ttV2U42isNatIListactivateV2U42ttttU51ttV2U52isNatListactivateV2U52ttttU61ttLNU62isNatactivateNactivateLU62ttLslengthactivateLisNatn__0ttisNatn__lengthV1U11isNatListactivateV1isNatn__sV1U21isNatactivateV1isNatIListVU31isNatListactivateVisNatIListn__zerosttisNatIListn__consV1V2U41isNatactivateV1activateV2isNatListn__nilttisNatListn__consV1V2U51isNatactivateV1activateV2lengthnil0lengthconsNLU61isNatListactivateLactivateLNzerosn__zeros0n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2niln__nilactivaten__zeroszerosactivaten__00activaten__lengthXlengthXactivaten__sXsXactivaten__consX1X2consX1X2activaten__nilnilactivateXX