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