SHA512 (netbsd-INSTALL) = f06c2f6e7da7dd20ba465912138ce8d6f64b752fab7b55c2fa3e5dcb590319f0256babcd36f92f6f91ced21365da28712b3b853a232238bf680d540e8d937815
SHA512 (netbsd-INSTALL_C700) = 07da759b3b52a20ed53fa765d9bc4aa7533fd9c9d803878aa3658e9e2ad0a46f046db031a047922b46e88689ee2e4fc960cba3abaaba383a7835ef160d6beff7