SHA512 (netbsd-INSTALL) = 5b9cbb58318fb9aecff14d3164b8faec5c50a78d1a0cfa9a7d405e92d2f09bb6cb688e55765520c8f0e79443e6a511880847fa442e3294aba926757d163dfe67
SHA512 (netbsd-INSTALL_C700) = 07aac2f6f08f95afa78f9e664f4752a8a85df17647dc06c811dedcfd4ecb82624b659d87e1089a2ecb4c581272636a80bf6d6f758225d9cf7e622b28f737a5a7