SHA512 (netbsd-INSTALL) = 5119af84751d8c02d593b881aa8a5e2841f148c4750d90591e91039ff1af9e0f786056c064f59fcdd072e4e9b133528805ff1cfb5252e5fa4f8eb63904584aae
SHA512 (netbsd-INSTALL_C700) = 4859e30f36f4f0f4fc1c44303f611a67416350ab4ba8ae5ffa30033c7fb56f1805744847b5f7b08665114317b14322c4cafd6e4a8025ab1cbbfa423a229405fa