first0XnilfirstsXconsYZconsYn__firstXactivateZfromXconsXn__fromsXfirstX1X2n__firstX1X2fromXn__fromXactivaten__firstX1X2firstX1X2activaten__fromXfromXactivateXXfirstsXconsYZactivateZactivaten__firstX1X2firstX1X2activaten__fromXfromXtrueactivaten__firstX1X2firstX1X2firstsXconsYZactivateZtrue11activate111n__first21112first21112s1111cons212first21112001nil00activate111from10n__from10activaten__firstX1X2firstX1X2activaten__firstX1X2firstX1X2falseactivaten__fromXfromXfalse