fromXconsXn__fromn__sXlengthn__nil0lengthn__consXYslength1activateYlength1XlengthactivateXfromXn__fromXsXn__sXniln__nilconsX1X2n__consX1X2activaten__fromXfromactivateXactivaten__sXsactivateXactivaten__nilnilactivaten__consX1X2consactivateX1X2activateXXfromXconsXn__fromn__sXlengthn__consXYactivateYlengthn__consXYlength1activateYlengthn__consXYslength1activateYlength1XactivateXlength1XlengthactivateXactivaten__fromXactivateXactivaten__fromXfromactivateXactivaten__sXactivateXactivaten__sXsactivateXactivaten__nilnilactivaten__consX1X2activateX1activaten__consX1X2consactivateX1X2truelength1XlengthactivateXlengthn__consXYlength1activateYtruelengthn__consXYslength1activateYfalselengthn__consXYactivateYfalselength1XactivateXfalseactivaten__fromXactivateXactivaten__sXactivateXactivaten__consX1X2activateX1trueactivate11activaten__consX1X2consactivateX1X2falseactivaten__nilnilfalseactivaten__sXsactivateXfalseactivaten__fromXfromactivateXfalsefromXconsXn__fromn__sXfalse