SHA512 (netbsd-INSTALL) = 08e2b4c80a627dfe20d9d2c330c974ed5676b6c768863a1fba5f706f3cbdaf70d96e5455b16ae07d97ae79432d95e3cc0d49ab0b360911d5c219f822796af972
SHA512 (netbsd-INSTALL_C700) = 56f31acd3bb7f730c000874213b73cce4e6014cc7f442a14b5ecf1421300e74cb6dac58020b1a7e316bbad026505b530b3a1c2fb85936b4f9be27c4e31bf44df