SHA512 (netbsd-INSTALL) = 3024721f716f820fdada60b980a4aee2ae03167f25f05ecbe6f0314cfc35a475051eaca9711e0b8c6208608ca11432ca0695915ceeba3e7d38bfcf062d71c27f
SHA512 (netbsd-INSTALL_C700) = f081825b646bbbba72c82e2f98ae9752b6953ac33b1338dc0323d832b1998ff75d1f3a1a42085779859d838ffe437d1bee3474e5fe4e39fbca59dfb8176ebc00