SHA256 (miracl/5.3.2/miracl.zip) = c4fb4cf32090cce202cf0ea152da6b2e7f8633da64dd41b0d5833d900f8c5462
SIZE (miracl/5.3.2/miracl.zip) = 1643702