aaabx1baaax1babax1abbax12.1baaax1aaabx1ababx1abbax1baababx1abbax1bbaaax1baaabx1abaaax1aaaabx1abbaabbax1abbbbaaax1abbaabbbx1abbbbaabx1bbbaaaaaaax1baaaaaabbax1bbbaaaaaabx1baaaaaabbbx1abbaaaaaaax1aaaaaaabbax1abbaaaaaabx1aaaaaaabbbx1abbaabbax1abbbbaaax1abbaabbax1bbbaaax1abbaabbbx1abbbbaabx1abbaabbbx1bbbaabx1abbaabbbx1abx1bbbaaaaaaax1abbax1bbbaaaaaabx1abbbx1bbbaaaaaabx1bbx1abbaaaaaaax1abbax1abbaaaaaabx1abbbx1abbaaaaaabx1bbx1true1ab111ba111ab1111bb1111aa111bb111abbaabbax1abbbbaaax1abbaabbbx1abbbbaabx1bbbaaaaaaax1abbax1bbbaaaaaabx1abbbx1abbaaaaaaax1abbax1abbaaaaaabx1abbbx1bbbaaaaaaax1abbax1falsebbbaaaaaabx1abbbx1falseabbaabbbx1abbbbaabx1abbaabbax1abbbbaaax1abbaaaaaaax1abbax1abbaaaaaabx1abbbx1true1ab111ba111ab1111bb111aa1111abbaabbbx1abbbbaabx1abbaabbax1abbbbaaax11ab111ba111ab11bb10aa10bbbaaaaaaax1baaaaaabbax1bbbaaaaaabx1baaaaaabbbx1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (9 real / 0 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe