SHA512 (netbsd-INSTALL) = 57271582443c63c82570dddb57e51e6421b72f5027c20b55fc280e26d2f0b6f967b614d551f8db2b7e3a8f7e2c1c5a2b016606e9423d5e11ba7cc823711120b8
SHA512 (netbsd-INSTALL_C700) = d3c373135e5a44a0d5aec7ab186ad35e8a5d1851002d08d3a4a3c036bf4e35447e6d3815802635e650e42c17e46b22ca9df700a8eae9c38f87437d7ac5f0a186