ax1x1abx1bbbacx1bx1x1ccx1ax12.1ax1x1bax1cabbbx1bx1x1ccx1ax1bax1cabbbx1bax1abbbx1bax1bbbx1bax1bbx1bax1bx1ccx1ax1truebax1bbx1bax1bbbx1bax1bx1true31b100001a10010010010011b1000000000001c101001000001bax1cabbbx1falsebax1abbbx1falseccx1ax1falseAProVEAProVE 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