fst0ZnilfstsXconsYZconsYn__fstactivateXactivateZfromXconsXn__fromn__sXadd0XXaddsXYsn__addactivateXYlennil0lenconsXZsn__lenactivateZfstX1X2n__fstX1X2fromXn__fromXsXn__sXaddX1X2n__addX1X2lenXn__lenXactivaten__fstX1X2fstactivateX1activateX2activaten__fromXfromactivateXactivaten__sXsXactivaten__addX1X2addactivateX1activateX2activaten__lenXlenactivateXactivateXXfstsXconsYZactivateXfstsXconsYZactivateZaddsXYsn__addactivateXYaddsXYactivateXlenconsXZsn__lenactivateZlenconsXZactivateZactivaten__fstX1X2fstactivateX1activateX2activaten__fstX1X2activateX1activaten__fstX1X2activateX2activaten__fromXfromactivateXactivaten__fromXactivateXactivaten__sXsXactivaten__addX1X2addactivateX1activateX2activaten__addX1X2activateX1activaten__addX1X2activateX2activaten__lenXlenactivateXactivaten__lenXactivateXtrueactivaten__fstX1X2fstactivateX1activateX2fstsXconsYZactivateXactivaten__fstX1X2activateX1activaten__fstX1X2activateX2activaten__fromXactivateXactivaten__addX1X2addactivateX1activateX2addsXYactivateXactivaten__addX1X2activateX1activaten__addX1X2activateX2activaten__lenXlenactivateXlenconsXZactivateZactivaten__lenXactivateXfstsXconsYZactivateZtrue12341activate111n__fst211112fst21112activate111s111cons212n__from1111n__add211112add211n__len1111len111fst211112from1111n__s111add211112len1111001nil01fstsXconsYZactivateXaddsXYactivateXlenconsXZactivateZfstsXconsYZactivateZfstsXconsYZactivateXfalseaddsXYactivateXfalselenconsXZactivateZfalsefstsXconsYZactivateZfalseaddsXYsn__addactivateXYfalselenconsXZsn__lenactivateZfalseactivaten__fromXfromactivateXfalseactivaten__sXsXfalse