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