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