SHA512 (netbsd-INSTALL) = 6de715924d827919104ab380d0e9d61e053089e4b80dd97bb5bbe78c13c6e92bb76b11d99dc6de453240f067cf2a406d5e4c6bdd5294ecb785268563411330db
SHA512 (netbsd-INSTALL_C700) = 000424d5414a36544fae5addab688d29b346e8aa351fae69dfffdb560082eb163dc3904bdb2b37f75b805bdd4282e120ea9eddf813cba0c1c72af7c5bf00734d