SHA512 (netbsd-INSTALL) = 6ad27736f37860ed0e94f845791452b5e417d6d5e0b65f5040d2a80645d2950146984b14de9738621895cc8c3eb7d79e0265434251299b7f00e7b8c6ee9d1e8a
SHA512 (netbsd-INSTALL_C700) = c7118ac0c3ca16fae765b7d63b7500038f390523f8926e103bc63cc2af77add97ea780477a40e72f520c4d74a00ef05f83664b637d31b85b254443c584ed259c