SHA512 (netbsd-INSTALL) = 732f67d6228aa4937506689df26038b673e0caa5c2903e0e4254b6beceed85d4f8a6359ff3aaf1cbdff742971426123d77805e91f6809d0c63f6636c4e29621e
SHA512 (netbsd-INSTALL_C700) = 3ad71e8bce679c3859049be7df6f7c05ff891340ef58767cd004609095c96be4fdf8e657e4e0c866775afd0f3953cc3547867994a558afa6f452cc4501cad0dd