SHA512 (netbsd-INSTALL) = 35c78bfdb0d0bf1d7a5e1962a3b38573b6588182a4692f9d6437929481206109015eed8540ea325a0ef990cf28c695314a0d788a0dd7e772a78585002d4433f2
SHA512 (netbsd-INSTALL_C700) = 1993a830179c09510e9d4c8627f997e3d11c8ff590f46cc7ea18f9661a5f88dc73f341c4ea5bc6fb7d9aa58c14ac96bb0a52cff36d1d71ed9e8416f9f7d32d2a