MD5 (miracl/5.22/miracl.zip) = a7de5513fe5017f1fa82bc1092197328
SHA256 (miracl/5.22/miracl.zip) = 649a8b3a90a3d94fa3f44fdcc07a8db6a448bbd5684db3132585c0912cf0313c
SIZE (miracl/5.22/miracl.zip) = 1499790