YES bcbx1bacx1bacx1bcax1accx1ccbx1acax1abbx1bbbx1ccax12.1bcbx1cabx1cabx1acbx1ccax1bccx1acax1bbax1bbbx1accx121b11010111c10110001a12010001bcbx1cabx1cabx1acbx1ccax1bccx1acax1bbax11b111c1111a111bcbx1cabx1cabx1acbx1ccax1bccx121b10010211c10220001a11010001ccax1bccx1AProVEAProVE 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