SHA512 (netbsd-INSTALL) = fa3f39313e02053961681a625284ff106d4488b9be878ff2e0e446070e0b57a8df8114719a5ead902f349badfaf69ed2c97de952d8430902e6aa4f5a0aee0c99
SHA512 (netbsd-INSTALL_C700) = 247559ff95ef171c992cb776c943dfdcc7bbdc9be7effa88396597550ce5b9bc0fd70096508f92dc285a1f91c5386bde4355bb27fab9bf6bfe8a1a03a1638b22