SHA512 (netbsd-INSTALL) = 4231c8a7f7622f9ca61c8b0936263431632db015cf86c85af5848ec67cf15f97af161e9d282148ae4d61a9dcaf812d19c00cb9e68458d48f210c08e03fa77757
SHA512 (netbsd-INSTALL_C700) = 11d7de71cf1e249fb27dcc390411d48ffaa47bdc41bc852a2b64a1a377e5df68b62ef15987d18538c00eddc2f0a2045158762d5d9c90af8a4b84aeae1f303f53