SHA512 (netbsd-INSTALL) = dd8dddc2f5658d1bedc66a29ae888c0389140edbc6c6df8a008abdb1b1e7c11c98bee03afbade607641c07ee19702c177380f55e10bf88556a4dc76be1e65609
SHA512 (netbsd-INSTALL_C700) = 68351130a4a7cb25380a1d0449ee8b8f3cedb74067f51ce160b34817b3e8992ec8d1b191a1c5cb7a9d0e32e00d4cf44e9cc5f1d0ea3ee4879eb9d818dfef0a64