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__fst211112fst211112activate111s111cons212n__from111n__add211112add211n__len1111len111fst211112001nil01from111n__s111add211112len1111activaten__fstX1X2fstactivateX1activateX2activaten__fromXactivateXaddsXYactivateXlenconsXZactivateZaddsXYactivateXfalse23lenconsXZactivateZfalse12activaten__fromXactivateXtrue1activate11activaten__fstX1X2fstactivateX1activateX2falseaddsXYsn__addactivateXYfalselenconsXZsn__lenactivateZfalseactivaten__fromXfromactivateXfalseactivaten__sXsXfalse