fst0ZnilfstsXconsYZconsYn__fstactivateXactivateZfromXconsXn__fromsXadd0XXaddsXYsn__addactivateXYlennil0lenconsXZsn__lenactivateZfstX1X2n__fstX1X2fromXn__fromXaddX1X2n__addX1X2lenXn__lenXactivaten__fstX1X2fstX1X2activaten__fromXfromXactivaten__addX1X2addX1X2activaten__lenXlenXactivateXX2.11fst222122000nil00s1111cons211112n__fst21112activate1221from1221n__from111add212122n__add21122len1121n__len111fromXconsXn__fromsXaddsXYsn__addactivateXYlenconsXZsn__lenactivateZactivaten__fstX1X2fstX1X2activaten__fromXfromX1from1221cons21112n__from1211s111add22112n__add21112activate121len121n__len111n__fst21112fst22122fromXconsXn__fromsXaddsXYsn__addactivateXYlenconsXZsn__lenactivateZactivaten__fstX1X2fstX1X2from11cons20add23n__add22len10n__len10n__fst25fst24from11cons212n__from11s11add212n__add221activate11len11n__len11n__fst212fst212AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe