SHA512 (netbsd-INSTALL) = 16885deb39177e566aea0ba7937234fb11f5ef2f4ddf7b7846ed97c7d1713d6ac4f47441154d358c7dce5ed99c3c4bf8d134e69712f45851b386244569ea5cfe
SHA512 (netbsd-INSTALL_C700) = f407351d2014222d44491cc97787c48721ccf087de2412b7c4fa1e17a96b0c7f5b400c2b2931ff3636000ac29407293b96a560782dc42e112e538316aacea9fd