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