SHA512 (netbsd-INSTALL) = 4003b1bafd4fe33d237959ecd7c5c5b4fbfc8b40d39a18784ed0984bc7e9605ef6b39934950fba7d6fde09cc67449c474f0da3e9f488518952daeb2e13ea4576
SHA512 (netbsd-INSTALL_C700) = 1265764cd22558f969343d13e52af308e554ff9750240be1409db443cfc8e650ddd322a0697cc448948438a6e0a263123356ddf5384853ae353bcf758bc1f7a6