first0XnilfirstsXconsYZconsYn__firstXactivateZfromXconsXn__fromsXfirstX1X2n__firstX1X2fromXn__fromXactivaten__firstX1X2firstX1X2activaten__fromXfromXactivateXXfirstsXconsYZactivateZactivaten__firstX1X2firstX1X2activaten__fromXfromXtrueactivaten__firstX1X2firstX1X2firstsXconsYZactivateZtrue11activate111n__first2112first212s10cons212firstsXconsYZactivateZfirstsXconsYZactivateZfalseactivaten__fromXfromXfalse