YES abx1bdx1acx1dddx1bdx1acbx1cfx1ddcx1ddx1fx1ffx1ax12.1abx1bdx1abx1dx1acx1dddx1acx1ddx1acx1dx1bdx1acbx1bdx1cbx1bdx1bx1cfx1ddcx1cfx1dcx1cfx1cx1ddx1fx1ffx1ax1true1a111b1111b1111d111d111c111c111f111f111a111abx1bdx1acx1dddx1acx1ddx1acx1dx1bdx1acbx1bdx1cbx1bdx1bx1cfx1ddcx1cfx1dcx1cfx1cx1ddx1fx1ffx1ax11a1311b131d1111c111f1211a1311b131d111c1211f1111abx1bdx1bdx1acbx1ddx1fx1ffx1ax1abx1bdx1acx1dddx1bdx1acbx1cfx1ddcx1ddx1fx1ddx1fx1falseffx1ax1falsebdx1acbx1abx1bdx1true1a1-11c11b12d11a11f10b1-221bdx1acbx1cfx1ddcx1ddx1fx11a111b121d111c111f111b1331a111abx1bdx1acx1dddx1bdx1acbx1cfx1ddcx1ddx1fx1AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (7 real / 0 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe