fsXXfXaXfXcXfsXXfXXcXs1a1c1f212.1fsz0z0fz0az0fsz0z0c1fz0az0fz0cz0fsz0z0fz0cz0c2fsz0z0fz0z0cz0fz0z0c3fsz0z0fz0cz0fz0z0fsz0z0fz0az0fz0cz0fsz0z0fz0z0cz01c11110c21110c300f252142s1311a10c1411fsz0z0c1fz0az0fz0cz0c2fsz0z0fz0z0c3fsz0z0c1fz0az0fz0cz0c2fsz0z0fz0z0c3AProVEAProVE 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