The libraries in the msp and NIST binary formats were updated on July 25, 2018. Previous versions of these files are available on request.