YES ax1bx1bbx1cx1cacx1abcax12.1ax1bx1bbx1cx1cacx1acbax1ax1bx1bbx1cx1cacx1acbax1cacx1cbax1cacx1bax1cacx1ax1true1a141b141b1111c1441a1111c1211ax1bx1bbx1cx1cacx1acbax131a100011b100011b10001001c10101a1000011001c1001101ax1bx1cacx1acbax1cacx1acbax1falseax1bx1falseAProVEAProVE 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