SHA512 (netbsd-INSTALL) = 71f17fe4e56eda4cc4ac9fabfe829ac5f8a29bc4970c524bb50c44a3d325514f3b901b73a2c6836fd6ff7e7707422e37955df8193d64e46f0d5eee6370e1903e
SHA512 (netbsd-INSTALL_C700) = 1da737b74f07dafeff94883f577f0e3984b21b16dc24d823a49cc52ea7414dcd001b745b054b4c99dc2f5b0589c1e565fff290ed7a789dd3c95d7f173dd38098