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