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