SHA512 (netbsd-INSTALL) = 1950acbd174aa92354066658739c660ec9e608d20fa958d631c9daf19d4368d5fe89c26e00342dd02c3fa15d162d90f81f44f6027952ee2e64d8d0b12c8394ff
SHA512 (netbsd-INSTALL_C700) = 8064a18baacec2eef8384466c939f1bd3de0e60cae67f046b9457ea5287e289667a72f3f51ef40e935b4d2e00f56fee7f66774a817fd5ebeec6c0b06efd125d1