SHA512 (netbsd-INSTALL) = ffb1d84038cbfad1332e6edc566a28ac494e4af338ca6db88a3d06be382bc28d98551a59ee49f5211e9d4c37d100f3d11d253fd14fd2ef5a2112e38946962fbe
SHA512 (netbsd-INSTALL_C700) = a01f2e36abefcc5ac9bc8788d0870df8fda03f6d3626cef4e3f22870d8ce74c93e020bda0adb8d1243723d3a48065ab9d79b9b8f44e6b300444d4d8b334bcfe2