YES ax1x1abx1cbbaax1bbx1x1ccx1x12.1abx1cbbaax1abx1bbaax1abx1baax1abx1aax1abx1ax1trueabx1ax1abx1aax1true31a1001b10100000011a100000101c1000001abx1cbbaax1falseabx1bbaax1falseabx1baax1falseAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe