MD5 (miracl.zip) = 06fc449d12cd1143254a2f78499669dc
SHA256 (miracl.zip) = cb217ba736f37838f139db14d4fe9abf93a3750cf9a3b292fe586537c14b10df
SIZE (miracl.zip) = 1439797