SHA512 (netbsd-INSTALL) = 18fafcf720ad968a0b66bf503f0b8be68f97a61fb1eb43395ebb549cbc3a05e88ddc080da4c7e7641e0ca97caa1d98fefd7c26dd0f89ea96884eee01f2e5ba0d
SHA512 (netbsd-INSTALL_C700) = 5cf7ad87342725674c84a9797cc77c85d95da34d8a166f9fd8e3f0e8e59a52b2eeb8ac907f0242739c01b77c44d737668815ddf4985bb0003f25bcd27c818c5f