SHA512 (netbsd-INSTALL) = 5a96d1c8bcefc3e7295056ac25af662e8c27e02a203da48a1a590a09d5729c70c339c1e04ab980c877897f8a7a6ec14dff4fbd4137817af39299c80640bdae1b
SHA512 (netbsd-INSTALL_C700) = 3788f1907a57b86b859077c83491c40421ad373b54e170c480f4b0cd123e26bafc08e6bc43ddf1ce2a6ef204572fb2f626a266a2493b15fcdffcb219941ef316