2ndconsXn__consYZactivateYfromXconsXn__fromn__sXconsX1X2n__consX1X2fromXn__fromXsXn__sXactivaten__consX1X2consactivateX1X2activaten__fromXfromactivateXactivaten__sXsactivateXactivateXX2ndconsXn__consYZactivateYfromXconsXn__fromn__sXactivaten__consX1X2consactivateX1X2activaten__consX1X2activateX1activaten__fromXfromactivateXactivaten__fromXactivateXactivaten__sXsactivateXactivaten__sXactivateXtrue2ndconsXn__consYZactivateYfalse12345activaten__fromXactivateXactivaten__consX1X2activateX1activaten__sXactivateXtrue12341activate111n__from1111n__cons2111n__s1111activaten__fromXfromactivateXfalse1fromXconsXn__fromn__sXfalseactivaten__consX1X2consactivateX1X2falseactivaten__sXsactivateXfalse