SHA512 (netbsd-INSTALL) = 12006462916d278e9b2aa49a7b21fbb3aec8a4cbadb1461d067c2c87e864706a3dbff5808262ad5736cdc113f930b04be9cfb16b4d10302391556535b7a30dc2
SHA512 (netbsd-INSTALL_C700) = 2068265d704b85d5e84d7ff6f31b4f00569d99028f61016cc9ddd974f14d6cd745e03a005db39b99af5258e3680541f96867216d9cf484d90b3e6594d83447ba