SHA512 (netbsd-INSTALL) = a59e53bad462250320f875ff773b3d54ec7a368a58151687b538564c1001010ae52ede96f3ef16f3069e4add2f7229eb7d725ed324a1632d3f0b2cc95baffcf3
SHA512 (netbsd-INSTALL_C700) = c619e5a837320ee8fb4e3091446d31bbff45d99bd01c32f82af5336561d6946d7d2a468ffc9137c97473128fe3c4b04fdc2c13e4b2e86a5835762348e37df6d4