f0y0fsxyffxyys100f212.1f0z00f0z0cfsz0z1ffz0z1z1fsz0z1c1ffz0z1z1fz0z1f0z0fsz0z11c00c1211012f22f2110002s1311f0z0cfsz0z1c1ffz0z1z1fz0z1f0z0cfsz0z1c1ffz0z1z1fz0z1f0z00fsz0z1ffz0z1z1AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (3 real / 0 unknown / 0 assumptions / 3 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe