SHA512 (netbsd-INSTALL) = 85924389eb3cb2baabdf1b33245a95c3d5e90bb090c108b14a234bba2308082bf0f0d60e3748c832fc03958837cd4b51ca671d8de715f4ede3d14ad54f2cf887
SHA512 (netbsd-INSTALL_C700) = 6f3e9600b00881ac733f07b71c4d7db15eae77011a28cb5abcf4ee20578bd7896294703d19812f0bd1a53b4fd7d688750cb7f2a59315a152e8c59e4134130a92