SHA512 (netbsd-INSTALL) = cea767aa8b7aaeead82746a80ed66f6a46c2e49889a9da77f20201a3a428844a9b651dec650365f51ebc23a33f94271d3c70d9cbdc201cb53dd3d4c5a58b67c4
SHA512 (netbsd-INSTALL_C700) = e1c12d94a01789472633395d3a61dba6cd5596d85017637fb8d051ae8c99994066e95475e1a3086598a1d4634c42268d29eb403a79262b53d5e4f9f9e1ad37ac