fst0ZnilfstsXconsYZconsYn__fstactivateXactivateZfromXconsXn__fromsXadd0XXaddsXYsn__addactivateXYlennil0lenconsXZsn__lenactivateZfstX1X2n__fstX1X2fromXn__fromXaddX1X2n__addX1X2lenXn__lenXactivaten__fstX1X2fstX1X2activaten__fromXfromXactivaten__addX1X2addX1X2activaten__lenXlenXactivateXXfstsXconsYZactivateXfstsXconsYZactivateZaddsXYactivateXlenconsXZactivateZactivaten__fstX1X2fstX1X2activaten__fromXfromXactivaten__addX1X2addX1X2activaten__lenXlenXtrueactivaten__fstX1X2fstX1X2fstsXconsYZactivateXactivaten__addX1X2addX1X2addsXYactivateXactivaten__lenXlenXlenconsXZactivateZfstsXconsYZactivateZtrue11activate111n__fst21112fst21112s111cons212n__add21112add21112n__len1111len1111fst21112001nil00activate111from10n__from10add21112len1111activaten__fstX1X2fstX1X2fstsXconsYZactivateXactivaten__addX1X2addX1X2addsXYactivateXactivaten__lenXlenXfstsXconsYZactivateZfstsXconsYZactivateXactivaten__fstX1X2fstX1X2fstsXconsYZactivateZactivaten__addX1X2addX1X2addsXYactivateXtrue11fst21112s111cons212activate111n__fst21112n__add211112add21112fst21112000nil00activate111from10n__from10add211112len10n__len10fstsXconsYZactivateXactivaten__fstX1X2fstX1X2fstsXconsYZactivateZaddsXYactivateXaddsXYactivateXfalse1activaten__fstX1X2fstX1X2fstsXconsYZactivateXfstsXconsYZactivateZtrue1activate111n__fst211112fst21112s111cons212fst211112000nil01activate111from10n__from10add2112n__add2112len10n__len10fstsXconsYZactivateXfstsXconsYZactivateZfstsXconsYZactivateXfalsefstsXconsYZactivateZfalseactivaten__lenXlenXfalseactivaten__fromXfromXfalse