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