SHA512 (netbsd-INSTALL) = 709a2d2a63a1c25280c03f40ce775aced61cb14669e966241903416a8cd854e0a08f7f8c9f6e43e628fc28d404d50e4f7003e5a5e9209acdb7c196617153a285
SHA512 (netbsd-INSTALL_C700) = aa2386c04af08177e3acc82673408c163defe46ea0aa989180760d17cbee8f2917f3255fb403953ddfe9e32a40fca0870cd687ee0928b599ac81e981e39125f0