fromXconsXn__fromsXlengthn__nil0lengthn__consXYslength1activateYlength1XlengthactivateXfromXn__fromXniln__nilconsX1X2n__consX1X2activaten__fromXfromXactivaten__nilnilactivaten__consX1X2consX1X2activateXXfromXconsXn__fromsXlengthn__consXYactivateYlengthn__consXYlength1activateYlength1XactivateXlength1XlengthactivateXactivaten__fromXfromXactivaten__nilnilactivaten__consX1X2consX1X2truelength1XlengthactivateXlengthn__consXYlength1activateYtruelengthn__consXYactivateYfalselength1XactivateXfalseactivaten__consX1X2consX1X2falseactivaten__nilnilfalseactivaten__fromXfromXfalsefromXconsXn__fromsXfalse