div2SSx+S0div2xdiv2S00div200+xS0Sx+S0ySyS100div21+212.1div2SSz0+S0div2z0div2SSz0c2+S0div2z0div2z0div2S00div2S0c3div200div20c4+z0S0Sz0+z0S0c+S0z0Sz0+S0z0c1+z0S0+S0z0div2SSz0div2S0div201c00c100c2211012c300c400div214+2120+2210div211S10002div2S0c3div20c4+z0S0c+S0z0c1div2SSz0c2+S0div2z0div2z0div2S0c3div20c41c00c100c2211012c300c400div21221+233122+20div21110S1111000div2SSz0c2+S0div2z0div2z0+z0S0c+S0z0c1div2SSz0c2+S0div2z0div2z0div2S0c3div20c4AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe