ffXcn__fn__gn__fXcXdactivateXhXcn__dXfXn__fXgXn__gXdXn__dXactivaten__fXfactivateXactivaten__gXgXactivaten__dXdXactivateXXn__d1n__g1n__f1f1c1h1g1d1activate112.1400123456n__f000n__g000n__d000f001c002h003g004d005activate006activate107d172n__d108c183n__f101n__g104n__d105activate109f196g106d106activate2810d2103n__f296n__g206n__d272n__d206f197f199g107g109d107d109n__f297n__f299n__g207n__g209n__d207n__d209n__f2913n__g21312n__f21211c2116c2117c2119n__d3103d2010n__d3010activate31114d3146d3147d3149n__d4146n__d4147n__d4149activate31215f31514g31315n__f41514n__g4131506070981011141215AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe