SHA512 (netbsd-INSTALL) = 0abc562504c471abc16a6c4bee743790491e1d30e7791f7b11cc65054330264a25d90da56366c2ecab047faa59cd9799d214e5d93a20222e8b83cc6b00ba0b1d
SHA512 (netbsd-INSTALL_C700) = 2afe517fb862f71523eacdee57b5dfe23131648311591feae3708cd7ce07c37d92c2e6fe0d416b95aa5860b851835825c1a6e5a4b2fce6f778194f320c84be7a