MD5 (opencyc-0.7.0.tgz) = cb7aebf802dc63d50b1e10e412022842