2ndconsXn__consYZactivateYfromXconsXn__fromn__sXconsX1X2n__consX1X2fromXn__fromXsXn__sXactivaten__consX1X2consactivateX1X2activaten__fromXfromactivateXactivaten__sXsactivateXactivateXX2ndconsXn__consYZactivateYfromXconsXn__fromn__sXactivaten__consX1X2activateX1activaten__consX1X2consactivateX1X2activaten__fromXactivateXactivaten__fromXfromactivateXactivaten__sXactivateXactivaten__sXsactivateXtrue2ndconsXn__consYZactivateYfalseactivaten__fromXactivateXactivaten__consX1X2activateX1activaten__sXactivateXtrueactivate11activaten__sXsactivateXfalseactivaten__consX1X2consactivateX1X2falseactivaten__fromXfromactivateXfalsefromXconsXn__fromn__sXfalse