SHA512 (netbsd-INSTALL) = 2414568a525625913747516c0038cea3d7eb7b8f7f8f90998fd76708a9c9c2d210e38b37686f8a949cc615811b8b1b71f6739df0d17c8c000fda2c88ad5634c6
SHA512 (netbsd-INSTALL_C700) = c5d586e1f2786e2015a1755c2f7d8e4597740684190aff795e66f016a8625af63b8cd964501df2ff03d732d64bfeaf23a4df28bc9c84e659a176138e8d155922