SHA512 (netbsd-INSTALL) = 8dd3ddbaf0fa12f8c905404c012ad359121e4a6102fc78da856c951c94c77e3969e42934877f4543051f08b3649f3cbb1ff711f9487584b1f588450f54659d7d
SHA512 (netbsd-INSTALL_C700) = 23ab6355f34727c70f363877966d7efb6c88c17daff160bc5cd6b44b2eafbb194a1e719724122d96754a7f4b003df9d530d2fa0424656d8ebfafdb0aa9dfcb06