SHA512 (netbsd-INSTALL) = 57d96752e9ee7ed23d78a38bde609b4a227260988ad531a286a6ab0abc461f94bcbde486d89ca67619afc79ddf5a862ac31516fddd94cbeab9590408cabe3490
SHA512 (netbsd-INSTALL_C700) = 1629a9018016e89303ef8edc51ff1a10dc59d8ef77079b90eafe49f71a89abaf4bcd086a8512434917ad8481024aeb2c993ff5dd9bf1620a016933c912f79e52