MD5 (miracl.zip) = d27a168c47a1d8f27e905125275e2168
SIZE (miracl.zip) = 1414645