SHA512 (netbsd-INSTALL) = 8ea5c497ffcebbf7bdbcf885abf6590d90158372693dd7a2a3e4ddd117e3fb7790f623ede2496141549af55c35984240ab6effcf5dcf0f2504099a10b948e546
SHA512 (netbsd-INSTALL_C700) = 9035f84b0be61033b619897ed2438ce53935ad28e0e1256828cac4a7ff5b7125d8b434aba897e7b74f5fdbceb8396d91d6daf30f00525794695b60fdd6049174