YES ax1x1aabax1bbaaax1bx1ax12.1aabax1bbaaax1aabax1baaax1aabax1aaax1aabax1aax1bx1ax1true31a1001a1000000001b110000001001b1001bx1ax11a111b111bx1ax1bx1ax11false1AProVEAProVE 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