SHA512 (netbsd-INSTALL) = 2ae026b5d9625e51af7df264404b80252da2ff5ba2932c3250703f7e5c47834fc7ec9469950a52f745ce172bbcd1522fff26eed6948a1611bcd591154c0e9313
SHA512 (netbsd-INSTALL_C700) = a1262c0ac8bf7b85c4e15947bc8fb4c0603c575bd1e7565cb766de9a9283ff53256b89b13af04f796eeee93185afd35efc5c2911f0ce602085dbbb2a62324c42