SHA512 (netbsd-INSTALL) = daada5660ba25ba7e2ad50d05ec820da5987d88f5eb829632a727044e7f15f72f590f2a4e2f0865dc6c9bdf4d0af4743628ffeec9ca619180ac1b09f563eae51
SHA512 (netbsd-INSTALL_C700) = 038d838a8ea4ce0e6a434e27834a9dfdb883d90f07832d776aa7b7d6750366defda0fe8e91bd19471398154e9d62bc2fb1d6fbcb44e81a44b0e572ff3441c6d9