YES ax1bx1aax1abacx1cbbx1ax12.1aax1abacx1aax1acx1aax1cx1cbbx1ax1trueaax1cx1cbbx1ax1aax1acx1true31a100001a11100011110001c11001b11000010010001c1000001aax1cx1cbbx1ax11a111b111c111a111aax1cx1cbbx1ax1cbbx1ax11true1aax1cx11true1aax1abacx1falseAProVEAProVE 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