SHA512 (netbsd-INSTALL) = 0ea46586133ce569fb5ffcb98b470dbfebcf316e1a06f3050ff3cca69d8f36c315e27abb04abba4fbb62a884b883f01748cd4dc527e58d28a62c947c857411c4
SHA512 (netbsd-INSTALL_C700) = 6863c28a9d37bfc4e452878b624ee7eecb3e5820db51ab87d74d7e082c833319881fb96936dd48fc9916302c6a8d5346a6b3b1972a70ff853122e1f7ce4cfe7d