U101ttNXSfstsplitAtactivateNactivateXSU11ttNXSsndsplitAtactivateNactivateXSU21ttXactivateXU31ttNactivateNU41ttNconsactivateNn__natsFromn__sactivateNU51ttNXSheadafterNthactivateNactivateXSU61ttYactivateYU71ttXSpairnilactivateXSU81ttNXXSU82splitAtactivateNactivateXSactivateXU82pairYSZSXpairconsactivateXYSZSU91ttXSactivateXSafterNthNXSU11andisNaturalNn__isLNatXSNXSandttXactivateXfstpairXYU21andisLNatXn__isLNatYXheadconsNXSU31andisNaturalNn__isLNatactivateXSNisLNatn__nilttisLNatn__afterNthV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__consV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__fstV1isPLNatactivateV1isLNatn__natsFromV1isNaturalactivateV1isLNatn__sndV1isPLNatactivateV1isLNatn__tailV1isLNatactivateV1isLNatn__takeV1V2andisNaturalactivateV1n__isLNatactivateV2isNaturaln__0ttisNaturaln__headV1isLNatactivateV1isNaturaln__sV1isNaturalactivateV1isNaturaln__selV1V2andisNaturalactivateV1n__isLNatactivateV2isPLNatn__pairV1V2andisLNatactivateV1n__isLNatactivateV2isPLNatn__splitAtV1V2andisNaturalactivateV1n__isLNatactivateV2natsFromNU41isNaturalNNselNXSU51andisNaturalNn__isLNatXSNXSsndpairXYU61andisLNatXn__isLNatYYsplitAt0XSU71isLNatXSXSsplitAtsNconsXXSU81andisNaturalNn__andn__isNaturalXn__isLNatactivateXSNXactivateXStailconsNXSU91andisNaturalNn__isLNatactivateXSactivateXStakeNXSU101andisNaturalNn__isLNatXSNXSnatsFromXn__natsFromXsXn__sXisLNatXn__isLNatXniln__nilafterNthX1X2n__afterNthX1X2consX1X2n__consX1X2fstXn__fstXsndXn__sndXtailXn__tailXtakeX1X2n__takeX1X20n__0headXn__headXselX1X2n__selX1X2pairX1X2n__pairX1X2splitAtX1X2n__splitAtX1X2andX1X2n__andX1X2isNaturalXn__isNaturalXactivaten__natsFromXnatsFromactivateXactivaten__sXsactivateXactivaten__isLNatXisLNatXactivaten__nilnilactivaten__afterNthX1X2afterNthactivateX1activateX2activaten__consX1X2consactivateX1X2activaten__fstXfstactivateXactivaten__sndXsndactivateXactivaten__tailXtailactivateXactivaten__takeX1X2takeactivateX1activateX2activaten__00activaten__headXheadactivateXactivaten__selX1X2selactivateX1activateX2activaten__pairX1X2pairactivateX1activateX2activaten__splitAtX1X2splitAtactivateX1activateX2activaten__andX1X2andactivateX1X2activaten__isNaturalXisNaturalXactivateXX