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