SHA512 (netbsd-INSTALL) = 83f7c68fbc9799bf90673f644da89ee3671ee06fc81b1033d6ab401a7d539c19ca18a787960c7c336bb13e4c59a3cfa1854d68871db8e9ecb8aea825c634c30c
SHA512 (netbsd-INSTALL_C700) = dc860d02247eee2411cbc707b7e0a5788cb5165bc73e356082a0d7a7c48f5705e463416672a789307ecb30bb1b8b82164bca2caab131b00c2b97336357ca5ec2