SHA512 (netbsd-INSTALL) = 9ab6aec865c0ffd268872c82f99fec3254c7bc8bab82310394311faabb59855b6d681645f119c39d124e2b3bf681f15e6872fc0eaedbfbd25585bebe2c8054f5
SHA512 (netbsd-INSTALL_C700) = 13927b13818d7362f3a2a243aa92032c28a6e799060ba10680778ae1d1ca0bd13ee8ad3e63a9f65876b6396208572bf18e30e9bfc6c653b093e3ba3891f66b3f