U101ttNXSfstsplitAtactivateNactivateXSU11ttNXSsndsplitAtactivateNactivateXSU21ttXactivateXU31ttNactivateNU41ttNconsactivateNn__natsFromsactivateNU51ttNXSheadafterNthactivateNactivateXSU61ttYactivateYU71ttXSpairnilactivateXSU81ttNXXSU82splitAtactivateNactivateXSactivateXU82pairYSZSXpairconsactivateXYSZSU91ttXSactivateXSafterNthNXSU11andisNaturalNn__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__andisNaturalXn__isLNatactivateXSNXactivateXStailconsNXSU91andisNaturalNn__isLNatactivateXSactivateXStakeNXSU101andisNaturalNn__isLNatXSNXSnatsFromXn__natsFromXisLNatXn__isLNatXniln__nilafterNthX1X2n__afterNthX1X2consX1X2n__consX1X2fstXn__fstXsndXn__sndXtailXn__tailXtakeX1X2n__takeX1X20n__0headXn__headXsXn__sXselX1X2n__selX1X2pairX1X2n__pairX1X2splitAtX1X2n__splitAtX1X2andX1X2n__andX1X2activaten__natsFromXnatsFromXactivaten__isLNatXisLNatXactivaten__nilnilactivaten__afterNthX1X2afterNthX1X2activaten__consX1X2consX1X2activaten__fstXfstXactivaten__sndXsndXactivaten__tailXtailXactivaten__takeX1X2takeX1X2activaten__00activaten__headXheadXactivaten__sXsXactivaten__selX1X2selX1X2activaten__pairX1X2pairX1X2activaten__splitAtX1X2splitAtX1X2activaten__andX1X2andX1X2activateXXU101ttNXSactivateXSU101ttNXSactivateNU101ttNXSsplitAtactivateNactivateXSU101ttNXSfstsplitAtactivateNactivateXSU11ttNXSactivateXSU11ttNXSactivateNU11ttNXSsplitAtactivateNactivateXSU11ttNXSsndsplitAtactivateNactivateXSU21ttXactivateXU31ttNactivateNU41ttNsactivateNU41ttNactivateNU41ttNconsactivateNn__natsFromsactivateNU51ttNXSactivateXSU51ttNXSactivateNU51ttNXSafterNthactivateNactivateXSU51ttNXSheadafterNthactivateNactivateXSU61ttYactivateYU71ttXSactivateXSU71ttXSnilU71ttXSpairnilactivateXSU81ttNXXSactivateXU81ttNXXSactivateXSU81ttNXXSactivateNU81ttNXXSsplitAtactivateNactivateXSU81ttNXXSU82splitAtactivateNactivateXSactivateXU82pairYSZSXactivateXU82pairYSZSXconsactivateXYSU82pairYSZSXpairconsactivateXYSZSU91ttXSactivateXSafterNthNXSisNaturalNafterNthNXSandisNaturalNn__isLNatXSafterNthNXSU11andisNaturalNn__isLNatXSNXSandttXactivateXfstpairXYisLNatXfstpairXYandisLNatXn__isLNatYfstpairXYU21andisLNatXn__isLNatYXheadconsNXSactivateXSheadconsNXSisNaturalNheadconsNXSandisNaturalNn__isLNatactivateXSheadconsNXSU31andisNaturalNn__isLNatactivateXSNisLNatn__afterNthV1V2activateV2isLNatn__afterNthV1V2activateV1isLNatn__afterNthV1V2isNaturalactivateV1isLNatn__afterNthV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__consV1V2activateV2isLNatn__consV1V2activateV1isLNatn__consV1V2isNaturalactivateV1isLNatn__consV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__fstV1activateV1isLNatn__fstV1isPLNatactivateV1isLNatn__natsFromV1activateV1isLNatn__natsFromV1isNaturalactivateV1isLNatn__sndV1activateV1isLNatn__sndV1isPLNatactivateV1isLNatn__tailV1activateV1isLNatn__tailV1isLNatactivateV1isLNatn__takeV1V2activateV2isLNatn__takeV1V2activateV1isLNatn__takeV1V2isNaturalactivateV1isLNatn__takeV1V2andisNaturalactivateV1n__isLNatactivateV2isNaturaln__headV1activateV1isNaturaln__headV1isLNatactivateV1isNaturaln__sV1activateV1isNaturaln__sV1isNaturalactivateV1isNaturaln__selV1V2activateV2isNaturaln__selV1V2activateV1isNaturaln__selV1V2isNaturalactivateV1isNaturaln__selV1V2andisNaturalactivateV1n__isLNatactivateV2isPLNatn__pairV1V2activateV2isPLNatn__pairV1V2activateV1isPLNatn__pairV1V2isLNatactivateV1isPLNatn__pairV1V2andisLNatactivateV1n__isLNatactivateV2isPLNatn__splitAtV1V2activateV2isPLNatn__splitAtV1V2activateV1isPLNatn__splitAtV1V2isNaturalactivateV1isPLNatn__splitAtV1V2andisNaturalactivateV1n__isLNatactivateV2natsFromNisNaturalNnatsFromNU41isNaturalNNselNXSisNaturalNselNXSandisNaturalNn__isLNatXSselNXSU51andisNaturalNn__isLNatXSNXSsndpairXYisLNatXsndpairXYandisLNatXn__isLNatYsndpairXYU61andisLNatXn__isLNatYYsplitAt0XSisLNatXSsplitAt0XSU71isLNatXSXSsplitAtsNconsXXSactivateXSsplitAtsNconsXXSisNaturalXsplitAtsNconsXXSisNaturalNsplitAtsNconsXXSandisNaturalNn__andisNaturalXn__isLNatactivateXSsplitAtsNconsXXSU81andisNaturalNn__andisNaturalXn__isLNatactivateXSNXactivateXStailconsNXSactivateXStailconsNXSisNaturalNtailconsNXSandisNaturalNn__isLNatactivateXStailconsNXSU91andisNaturalNn__isLNatactivateXSactivateXStakeNXSisNaturalNtakeNXSandisNaturalNn__isLNatXStakeNXSU101andisNaturalNn__isLNatXSNXSactivaten__natsFromXnatsFromXactivaten__isLNatXisLNatXactivaten__nilnilactivaten__afterNthX1X2afterNthX1X2activaten__consX1X2consX1X2activaten__fstXfstXactivaten__sndXsndXactivaten__tailXtailXactivaten__takeX1X2takeX1X2activaten__00activaten__headXheadXactivaten__sXsXactivaten__selX1X2selX1X2activaten__pairX1X2pairX1X2activaten__splitAtX1X2splitAtX1X2activaten__andX1X2andX1X2truetakeNXSandisNaturalNn__isLNatXSandttXactivateXactivaten__natsFromXnatsFromXnatsFromNisNaturalNisNaturaln__headV1activateV1activaten__isLNatXisLNatXisLNatn__afterNthV1V2activateV2activaten__afterNthX1X2afterNthX1X2afterNthNXSisNaturalNisNaturaln__headV1isLNatactivateV1isLNatn__afterNthV1V2activateV1activaten__fstXfstXfstpairXYisLNatXisLNatn__afterNthV1V2isNaturalactivateV1isNaturaln__sV1activateV1activaten__sndXsndXsndpairXYisLNatXisLNatn__afterNthV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__consV1V2activateV2activaten__tailXtailXtailconsNXSactivateXSactivaten__takeX1X2takeX1X2takeNXSisNaturalNisNaturaln__sV1isNaturalactivateV1isNaturaln__selV1V2activateV2activaten__headXheadXheadconsNXSactivateXSactivaten__selX1X2selX1X2selNXSisNaturalNisNaturaln__selV1V2activateV1activaten__splitAtX1X2splitAtX1X2splitAt0XSisLNatXSisLNatn__consV1V2activateV1activaten__andX1X2andX1X2isLNatn__consV1V2isNaturalactivateV1isNaturaln__selV1V2isNaturalactivateV1isNaturaln__selV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__consV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__fstV1activateV1isLNatn__fstV1isPLNatactivateV1isPLNatn__pairV1V2activateV2isPLNatn__pairV1V2activateV1isPLNatn__pairV1V2isLNatactivateV1isLNatn__natsFromV1activateV1isLNatn__natsFromV1isNaturalactivateV1isLNatn__sndV1activateV1isLNatn__sndV1isPLNatactivateV1isPLNatn__pairV1V2andisLNatactivateV1n__isLNatactivateV2isPLNatn__splitAtV1V2activateV2isPLNatn__splitAtV1V2activateV1isPLNatn__splitAtV1V2isNaturalactivateV1isPLNatn__splitAtV1V2andisNaturalactivateV1n__isLNatactivateV2isLNatn__tailV1activateV1isLNatn__tailV1isLNatactivateV1isLNatn__takeV1V2activateV2isLNatn__takeV1V2activateV1isLNatn__takeV1V2isNaturalactivateV1isLNatn__takeV1V2andisNaturalactivateV1n__isLNatactivateV2splitAt0XSU71isLNatXSXSU71ttXSactivateXSsplitAtsNconsXXSactivateXSsplitAtsNconsXXSisNaturalXsplitAtsNconsXXSisNaturalNsplitAtsNconsXXSandisNaturalNn__andisNaturalXn__isLNatactivateXSsplitAtsNconsXXSU81andisNaturalNn__andisNaturalXn__isLNatactivateXSNXactivateXSU81ttNXXSactivateXU81ttNXXSactivateXSU81ttNXXSactivateNU81ttNXXSsplitAtactivateNactivateXSU81ttNXXSU82splitAtactivateNactivateXSactivateXU82pairYSZSXactivateXselNXSandisNaturalNn__isLNatXSselNXSU51andisNaturalNn__isLNatXSNXSU51ttNXSactivateXSU51ttNXSactivateNU51ttNXSafterNthactivateNactivateXSafterNthNXSandisNaturalNn__isLNatXSafterNthNXSU11andisNaturalNn__isLNatXSNXSU11ttNXSactivateXSU11ttNXSactivateNU11ttNXSsplitAtactivateNactivateXSU11ttNXSsndsplitAtactivateNactivateXSsndpairXYandisLNatXn__isLNatYsndpairXYU61andisLNatXn__isLNatYYU61ttYactivateYU51ttNXSheadafterNthactivateNactivateXSheadconsNXSisNaturalNheadconsNXSandisNaturalNn__isLNatactivateXSheadconsNXSU31andisNaturalNn__isLNatactivateXSNU31ttNactivateNtakeNXSU101andisNaturalNn__isLNatXSNXSU101ttNXSactivateXSU101ttNXSactivateNU101ttNXSsplitAtactivateNactivateXSU101ttNXSfstsplitAtactivateNactivateXSfstpairXYandisLNatXn__isLNatYfstpairXYU21andisLNatXn__isLNatYXU21ttXactivateXtailconsNXSisNaturalNtailconsNXSandisNaturalNn__isLNatactivateXStailconsNXSU91andisNaturalNn__isLNatactivateXSactivateXSU91ttXSactivateXSnatsFromNU41isNaturalNNU41ttNactivateNtrueU41ttNconsactivateNn__natsFromsactivateNfalseU41ttNsactivateNfalseU82pairYSZSXpairconsactivateXYSZSfalseU82pairYSZSXconsactivateXYSfalseU71ttXSpairnilactivateXSfalseU71ttXSnilfalseactivaten__pairX1X2pairX1X2falseactivaten__sXsXfalseactivaten__00falseactivaten__consX1X2consX1X2falseactivaten__nilnilfalse