SHA512 (netbsd-INSTALL) = 09e43ba1420f1c6f08753fb5094e41159dc2967bc88abef19c94f789007e996ceec8a481177aa8c400b3e31c58c81db6f926eae78f737f4e09edda7cc0399556
SHA512 (netbsd-INSTALL_C700) = 9b05c6208ab13b8c411a020a7c841e9d73ecdd64b437f705130c882072d9521c86a705c3a3edfb5fbfd598a7cd20a77fadac4a71d15bf9d953f5fb017266cc3e