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