abcabbcabx1abbcabcabbcax12.1abbccaabbbbccaabbax1abbbbccaabbccaabbbbccaaax1abbccaabbbbccaabbbx1abbbbccaabbccaabbbbccaabx1abbccaabbbbccaabbcx1abbbbccaabbccaabbbbccaacx11ab111bc111ca111bb111ba1111aa111ac111abbccaabbbbccaabbbx1abbbbccaabbccaabbbbccaabx1abbccaabbbbccaabbcx1abbbbccaabbccaabbbbccaacx1abbccaabbbbccaabbbx1abbbbccaabbccaabbbbccaabx1abbccaabbbbccaabbbx1abbccaabbbbccaabx1abbccaabbbbccaabbbx1abbbbccaabx1abbccaabbbbccaabbbx1abx1abbccaabbbbccaabbcx1abbbbccaabbccaabbbbccaacx1abbccaabbbbccaabbcx1abbccaabbbbccaacx1abbccaabbbbccaabbcx1abbbbccaacx1trueabbccaabbbbccaabbbx1abx1abbccaabbbbccaabbbx1abbccaabbbbccaabx1true31ab10000001000001bc10000010011101ca10001000010101ab11000100010001bb10100000101001ac10100000000001abbccaabbbbccaabbbx1abbbbccaabbccaabbbbccaabx1falseabbccaabbbbccaabbbx1abbbbccaabx1falseabbccaabbbbccaabbcx1abbbbccaabbccaabbbbccaacx1falseabbccaabbbbccaabbcx1abbccaabbbbccaacx1falseabbccaabbbbccaabbcx1abbbbccaacx1falseAProVEAProVE 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