fn__fn__afn__gn__fn__afXn__fXan__agXn__gXactivaten__fXfXactivaten__aaactivaten__gXgactivateXactivateXX2.1xaa'n__an__a'fn__fn__a'xfn__gn__fn__a'xfXn__fXa'xn__a'xgXn__gXactivaten__fXfXactivaten__a'xa'xactivaten__gXgactivateXactivateXXn__a'n__ffxn__a'n__fn__gfxfXn__fXa'xn__a'xgXn__gXn__factivateXfXn__a'activatexa'xn__gactivateXactivategXactivateXX1n__a'111n__f111f1111n__g111a'1111g111activate1112n__a'n__ffxn__a'n__fn__gfxgXn__gXn__gactivateXactivategX10n__a'n__ffxn__a'n__fn__gfxn__a'n__ffxn__gfxgXn__gXn__gactivateXgXtruen__a'n__ffxn__a'n__fn__gfxfalsen__a'n__ffxn__gfxfalsen__gactivateXgXgXn__gXtruegXn__gX1false1n__gactivateXgX1true1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe