SHA512 (netbsd-INSTALL) = 530824b7bca0ea77a31a3fa1832eada4a79eb8739b0f523442cf922a9d9af2e3b5b2f34814cef375776479c2d79409dc910ee1ba07d4ad1722186056bf32f23c
SHA512 (netbsd-INSTALL_C700) = 17f184d7572a299d31080097984076980c2d67b6cff0be3a43ae8560853bc933f7cbf2737357d8d814f468edbfac9859e591f7096e5cf6a00f9324d7db60647a