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