YES ax1x1bbx1ax1bccx1ccbcbx12.1ax1x1bbx1ax1ccbx1bcbccx1bbx1ax1ccbx1bcbccx1ccbx1cbccx1ccbx1bccx1ccbx1ccx1ccbx1cx1trueccbx1ccx1ccbx1cbccx1ccbx1cx1true31c10001c1000001b1010001001a11011001ccbx1ccx1ccbx1cx131c1001c1000001b101001001a11101ccbx1cx11c111b111c111ccbx1cx1ccbx1cx11true1ccbx1bcbccx1falseccbx1bccx1falsebbx1ax1falseAProVEAProVE 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