SHA512 (netbsd-INSTALL) = 435fe087de949c8f371e1a1dc5709b2c95397ec44f789b79198903fe121f46dbea67fe5f59bf0b41417748d0db8648989d821de02bc9d2c05c68f8f261b13956
SHA512 (netbsd-INSTALL_C700) = 766ac1e4b86bda7c99980ec6d16e20ad9ce308412a0a322d697699090ce918338c224b69c9504a81805c665377782245a94df1401b9ad435964c145636744c64