SHA512 (netbsd-INSTALL) = 2552509934f340ed2722b0734047f1fd4840ab29f292bc6a366f3a3cc299557136df710bef8e2e6b6854d71b783b3b0fdf1400cc4a3b7fc1f076767752069506
SHA512 (netbsd-INSTALL_C700) = 67608dbd0e9aae9c89738659f364ef72f5c142f9e5636c5f06cd0a9a1b704a690012a3c4e7cd88453ff5680a1289e9db348f7f82c306827c93b79dadc0b2ffe7