SHA512 (netbsd-INSTALL) = 3a411f5a28bda40943bcb60839abc2e0f336675c22516520df9df0a7450614dbf8e0701d4e8de1d7980d5660bb8b284dda0f7c381bce28ae9bc469a3760a8b83
SHA512 (netbsd-INSTALL_C700) = a1832669790d895beb331f824d22a12da02dba8e8a08761364897e96cbeda0cba257b55a27540ed5606b034e995397bab59ee3335efd2c9103550af8638ed494