ax1x1abx1bbacx1bbx1ax1ccx1x12.1ax1x1bax1cabbx1bbx1ax1ccx1x1bax1cabbx1bax1abbx1bax1bbx1bax1bx1bbx1ax1truebax1bx1bax1bbx1true31b10-11a122-12100-101b11121-1-111c11-1-1111bax1cabbx1falsebax1abbx1falsebbx1ax1falseAProVEAProVE 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