MD5 (miracl.zip) = 054b5e1abdc3245ec727d6d9b337c4c3
SIZE (miracl.zip) = 1417149