MD5 (miracl.zip) = be9195bdbb11f259daaacbefd7786abe
SIZE (miracl.zip) = 1427330