SHA512 (netbsd-INSTALL) = b8b19a0281594387d8fc138a3de82d399a9523a28d740b6d27b49259406346291ced81b9e8d367e6dc703f31b71abb7e53a60a1e26d04ccaa31b37f44954ac85
SHA512 (netbsd-INSTALL_C700) = d141f64094cece4e4100201f0c61809129ce22ae6d791d0d775422e1380f828a977cac8fe0727cf706bf2599847a3bacd431de192352d11ff62341008af92d66