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