SHA512 (netbsd-INSTALL) = 72c0f403eb3bbdb4cb432508d8e1e96e8e8d0717b2be90173827888a64c2be8345ce6e3812e1a05520d84d99fff558d678f9fb044310d333392df89b210b8d0a
SHA512 (netbsd-INSTALL_C700) = 6c993c98dd3d9c110fe1541e62fc18ec516b3d25748b90e633c6eedbd0188b1d7e540749db712a5a7863adc87db36b663d9d645f8988dcb942b865e55f7ff161