SHA512 (netbsd-INSTALL) = aa84869cf58aae0fd172b42ffb974b6afd8a512ac4b1f460e0fa0465c716a8c5e48653567d7e74c95acffc5caaa0ed85150c036a28d9899f502d5d4010b89c79
SHA512 (netbsd-INSTALL_C700) = 6aa795350a3b6435e19735471d8f0a74cb8847640e2d4502db978caf24de678c693859f86673a70d6bcc8a8b937557ee08fe3e5b2d9c7d71e8b1fbaff233a9d7