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