SHA512 (netbsd-INSTALL) = e9fce2d8864b68c70e392dad98a10c420a64668197e040e61f431c9684e2a12f2bc608b77037d6884350d03541fe3b49f03a3b4122c667761cd4a92ba92d1ae3
SHA512 (netbsd-INSTALL_C700) = 5f88bbf9d89cddf6517fe7cf3138f60fb466142ec1c6df66941f6ad925692b7db46ec7b607a9155e92fcda6f6e0fc75e1f1733f357f523398807c382ace0138f