MD5 (spice/sp3f4.kit.tar.gz) = 744e61c241adedb0553a74f8df6779c1
MD5 (spice/cp.ps) = ee9065de6e11e82fa3fe34318c2373fc
MD5 (spice/toc.ps) = f84ccdd9ca423e112ec68121a86c032c
MD5 (spice/doc.ps) = bcea417f3bde8543f428785bfb5a4d62