YES bbaababx1babbabbx1bbbx1bbabbx1babx1babaabx12.1babaabbx1bbabbabx1bbbx1bbabbx1babx1baababx1baabbaaaabbbbbx1bbbaabbbbaabbbx1baabbaaaabbbbax1bbbaabbbbaabbax1bbbbbbx1bbbaabbbbbx1bbbbbax1bbbaabbbbax1baabbbx1baaaabbaabbbx1baabbax1baaaabbaabbax121ba10011221ab10010011aa10010001bb11010001bbbbbbx1bbbaabbbbbx1bbbbbax1bbbaabbbbax1baabbbx1baaaabbaabbbx1baabbax1baaaabbaabbax121bb12221121ba10110001ab10010001aa10010001baabbbx1baaaabbaabbbx1baabbax1baaaabbaabbax1AProVEAProVE 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