ax1bx1abx1bcax1bx1cx1cbx1ax12.11a1111b1111c111ax1bx1abx1bcax1cbx1ax1abx1cax1abx1ax1cbx1ax1true1a1211b1211c111a1321c121ax1bx1abx1bcax1cbx1ax1AProVEAProVE 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