SHA512 (netbsd-INSTALL) = fe6fc9a78101e1ed805acc2f2711d58a8fb3fc10358f9ccffbc3a0a4502d73b85ecdac41c4b4c4d1f0c61d19e18b8340111e8e536654be8419c63a9f59bb8855
SHA512 (netbsd-INSTALL_C700) = 98df97943652a9b57c59b0f9b289e35f2932fab7debac2f13f923d272cfe717cb87bf376fa6caca33283d13babd88b3eba9d48f7e4ce8b7b755af9e38d361c38