SHA512 (netbsd-INSTALL) = 72438db8e2ef1652f9e426cf3f95375fb24cdbd563f29721b255968de97c865ab6f11e6ece2a3c6d628dba5c6edca4b9e3054f7ecdb807c040afa9f67be4a86d
SHA512 (netbsd-INSTALL_C700) = db4b4db7873509c60389bba4016aff7dc4e7e236836c7a477e1e943c9cb0a76dbfe568c64c6d7342d88534b1b8db97569699c37c25587b277460c330db884f36