SHA512 (netbsd-INSTALL) = b91c7f155d5be4f06db10c16e2cb199465dd4c4105d6e9fa230a74f27e3e10577242fed7a1ccfc1a33871e92f1b5a137d957a44dd8e728a42f672615fa61192c
SHA512 (netbsd-INSTALL_C700) = 73825a443a6fcaa050e9fd3112b6c9d822f412ac5967b7e43aeafcccb9f6f93afb7afa400d138b95e35b72d510f2949f2999091ed187b8b4340647bc9740c3a0