SHA512 (netbsd-INSTALL) = 52b4fcb733390ef52e46d1f7f0ebe3e6c7e6558f6098c3477c7fe08a32e08506e7f858c0a96e7c3bb253dbb80e7170769ffd10921897783f742efb92e63a7322
SHA512 (netbsd-INSTALL_C700) = 082b259cd773e3ac55e0797b58627cfc8975be7d42d14ee0441c3aa86488d6d7606c84d5f4eff4afff80900a1d88ac4c1c4701ac4ca513053c5f6bea99ae042a