SHA512 (netbsd-INSTALL) = 73a69b129b21e1e22503f1a8fc15c5a2bb45015841b360ecb14e905537b3553c4b930ca24a963640f97f0549db54820e5dec7df61aadace19a042e3e3bc2c5be
SHA512 (netbsd-INSTALL_C700) = 2dfe41f6ea75bdb7b1c2641c4bd0fe03b89e1eb0dd75490b93bbcc1b9a2053453911e173f22e7a43c0a2a5d7f278bfb3a40cecbd466032b7f78b719d76dd4223