SHA512 (netbsd-INSTALL) = 648037b2d36a5776631d1a5ac941f201e352a0e3f75bca021627de4782bc9284b83c9c1205277e7e436533bb1dadb252e5302886625baddcd93c4be7d73e19fb
SHA512 (netbsd-INSTALL_C700) = 49db157740404a4509dd501562ed269bce15ed83772da63c82792922b6f55b33e1ffd9981136369d0c5319b50579850eef56e76b8eed7c71ac17d08a373639de