SHA512 (netbsd-INSTALL) = c75ef86b7902fa761d8a0b6a1a759df22d5d74037eb3326e9580359d80a39fe0af4d06b85fdd1fe92d182c9172b81b0725d35546c08c50ab44690970a58a03c1
SHA512 (netbsd-INSTALL_C700) = 70b2dcac60b50cc5eacd3613160dd621c156942efd25b4e859e75defbaee24ec3476972a4d6711615c94cdc7f7207a83bbc8c0b4be443438fcfd5f8e74cbcb55