SHA512 (netbsd-INSTALL) = 01e7bc5e633331151632d6a5dd7cc5d236c66e8f3ab5ac9af619801664dd4e3ae63d277f13a752228807cd2dd90b6ca90e5f8a0c0dcc1454ac3f52875401f722
SHA512 (netbsd-INSTALL_C700) = 78bf5f333900edf06879e124a28128a1548416e01a9d6abae60a85c47ad9f73403a1991afb34b2622144af5506c11fd8ff69427369c6670237f1d75007b558b9