abx1x1acx1ccx1bcx1aabbx12.1bax1x1cax1ccx1cbx1bbaax1cax1ccx1cax1cx1cbx1bbaax1cbx1baax1truecax1cx1cax1ccx1true1c1-221c121a121b1-21cax1ccx11611c101411a141411c101411b111141cbx1bbaax1falsecbx1baax1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe