SHA512 (netbsd-INSTALL) = 7ad8f4b7d4c7a4d589ff3e1ccfdac15e742e97637dd631947e11b5854f61714d26e94d217dc0b2331d255e7286ea53e141b1ecb26091a0a02ec9b336116c842c SHA512 (netbsd-INSTALL_C700) = a5a5bf5e471275526606d6006c5570d91d249427cf3276df77265d240d875074cca870badff3078d98561939aaa543aaa424000837d6a5273c940ec86208ed99