SHA512 (netbsd-INSTALL) = 7809e123b7f8a209cefc5023c419b364f48a607af4d5232b93b2960c73b0c51ac971182547e641b2d66aa37020b8c18e52e5354cc0a5a4464541458e70c3cfff
SHA512 (netbsd-INSTALL_C700) = 3fdc4097a1ad48d7d9ff0097023859d9e88ebc3ea2fbc3e4b0cf42a2ea1179ce1a2c62a7298318246a2c3eea9f17ed569cfc15f1c81a8a1bf351600582b43343