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