SHA512 (netbsd-INSTALL) = 4a38be8224b8249edaa9222c13e86e09e52b0e40d2fc70ad30ea139e93ff63e11f7a503348ed35b9467c79c5e5a32a048a3cb91b8630601a87593ff216a5c500
SHA512 (netbsd-INSTALL_C700) = 1d76c70487b9ecdce4b03443c311e48f4c49ea9b27eec79406d90aa24f05485b8f5156667bb9cbef45f48d347078e3c717e4a6f040cfdf78a93c5c755290a351