SHA256 (miracl-5.6.zip) = c9e3fe5ff071486f5b6ed61ebb79bb6f3edd2f3bb5031cb4e5b7ce64a17fff9c
SIZE (miracl-5.6.zip) = 1581088