SHA512 (netbsd-INSTALL) = 5fc15b2283a02f982131266c7da6474d281cd2e51110e5cbd2816bd9b9d936093bb5ca4c7d9fe2efcf335bc98905aef658b5b7a986082d8a4902a08ed467440c
SHA512 (netbsd-INSTALL_C700) = 100ddfa4d43b25b42cd5f59fbe00866ce4397a409879f9f4916cd6598f323d169063137582e3b8891b4f98fe8f942d7cd0b89ca4a5994a45e2cf4f5de26a7d44