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__consX1X2activateX1true1activate1210nil010s1810length11010activate1210n__cons221022000length1010n__nil08cons221022n__from1212n__s1810from1212activaten__sXactivateXactivaten__consX1X2consactivateX1X2falseactivaten__nilnilfalseactivaten__sXsactivateXfalseactivaten__fromXfromactivateXfalsefromXconsXn__fromn__sXfalse