SHA512 (netbsd-INSTALL) = 3a34457449df1f924a861e94fe38ec509b60362d74f2c0bb2b1a6e93b3f0a3450d1ffc1bfaf0276372371ab7d8523ae86cd48d4d17b87316f0e3a11c2c485717
SHA512 (netbsd-INSTALL_C700) = a34ecd44a17b58b9fb1bd4ff473a16344c614cf303b21b4d39aa0e0961fde1bf4108d38c83bdf99e9502815e5d7c197efd0b11a95f0f3b1ef3fba9b16551be0f