SHA512 (netbsd-INSTALL) = 8099b70320cfc3b5bcd52ab466663c93860ebf5a80203a3821a09c1d6bd08a474401b54f4b172b42a9e1259211e2661ac295be9d95db35c0b33edab3c8c7c5ce
SHA512 (netbsd-INSTALL_C700) = 356f0437bac315afed9398235897edcdd3d2a22d533dee180a57175b461d41823eca716d4d12fb3f8a0c71b5b20ae0ea8f7970fe17946caaff78ac5a552932b4