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