SHA512 (netbsd-INSTALL) = 14d35d766d81e95eb97ad379382016fb381ea25415e0b75a60a9b800244e7bf28ef2f6bfd9d833edc1e4ecef9187b12edcc90b9fd7e033ba5a7fc0fdfba15dc8
SHA512 (netbsd-INSTALL_C700) = 874b15040c64d873d326c6f20a446c745eb87e4e5f0f5cec9e9de870250ff04a749bb8e1675cf59e0911ba5a53a53586e43e8c62cc82beb345de03979d22fc88