SHA512 (netbsd-INSTALL) = 036de56b0638ac00c666a57ef72d9f0dfc5e304217eb2aab20ebc5a4cc5babf2d8e31ac9a33e0af57051be633fdab5c6ca304c65e9198506009edfa4a04b8299
SHA512 (netbsd-INSTALL_C700) = 30acd6edfb605aa23a2ca4e018d4a3e90a248622ffccc0a68249480c1f36240575b4d43d0252002d67b05bacbce11a36382da2ddddc7df75a3c8297de65b2c2b