SHA512 (netbsd-INSTALL) = fa98ba8580d02a7437c4d11fc4b9d8a1c1e88800d1e137ccd8ef2f2093b4c521bc59e2b75931ea7f854d045d22f994217ed5e19e00d20514045492f1ad833219
SHA512 (netbsd-INSTALL_C700) = da72ff08db22245fcff3ce216b6e6aacdc4017ac620af5c40babf57fc609ddf41ad776389678ba1dd601f517a8138cacd06144956e5eb87a620c419c3adffbec