SHA512 (netbsd-INSTALL) = 2c07785bca414c8add8f6177e17f1e329b328a54dd8616ef47efc50a2046d11f2f573b6eb523d57fd58425a816ebd9982160c7ea2df153572af6f3f6dba730f4
SHA512 (netbsd-INSTALL_C700) = 76497d14f5f13e1ca663b3925edc8b610d96c07eedc2a5d8acefc7dc102fe7f2676f5b61afe10d53ee4e41fb16ab0df3d9c7957c4c61348acf9bee49d21efb23