SHA512 (netbsd-INSTALL) = 417f902c82355e99168623a8eba1d9e7edb3feac17b296db079179841db6497818c49641130314584a5a5d4807deadab55e66de0c0316c775c7814ea7deb9905
SHA512 (netbsd-INSTALL_C700) = 617eef879fb0b89b06a88c6303c7aad8c9cc0b5784fb8b4f905de20767262c1a43b51499e12c526dd3688889881e56f99516a159adcf099632893a4855ad0dee