ffacn__fn__gn__fn__afXn__fXgXn__gXan__aactivaten__fXfactivateXactivaten__gXgactivateXactivaten__aaactivateXX2.1xaa'n__an__a'ffa'xcn__fn__gn__fn__a'xfXn__fXgXn__gXa'xn__a'xactivaten__fXfactivateXactivaten__gXgactivateXactivaten__a'xa'xactivateXXa'ffxn__a'n__fn__gn__fcxfXn__fXgXn__gXa'xn__a'xn__factivateXactivatefXn__gactivateXactivategXn__a'activatexa'xactivateXX1a'1111f111n__a'111n__f111n__g111c111g111activate1112fXn__fXgXn__gXn__factivateXactivatefXn__gactivateXactivategX10fXn__fXgXn__gXn__factivateXfXn__gactivateXgXtruen__factivateXfXfXn__fXtruefXn__fX1false1n__factivateXfX1true1n__gactivateXgXgXn__gXtruegXn__gX1false1n__gactivateXgX1true1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (11 real / 0 unknown / 0 assumptions / 11 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe