SHA512 (netbsd-INSTALL) = 51066cc868c15581083400285f44817e9b596df3ca70cafdb1a34d0563de0e00bce694a51f0aa34a507b290c65102bfe66804ed74fb243774f0b7a69a9778bcf
SHA512 (netbsd-INSTALL_C700) = e64f4a275df74cb9aa321c493d689d6a76586365029e5bd975c2687fe302bd3945fad27938b7781a6a3e87ddbe983c5b921ed04fcbe1811532286d6366f71ad1