YES aabx1cbaaax1acx1bax12.1baax1aaabcx1cax1abx110baax1bcx1baax1cx1cax1bx1true31b1001a11000001001c100100001c100001b10000001baax1bcx1baax1cx1baax1bcx1true31b1001a10010000001c10000011b10000001baax1cx1falseAProVEAProVE 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