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