SHA512 (netbsd-INSTALL) = 119ccd768f69346da260bb66d3b98d8b326139469dc5bdbc8531b56a77cf50f027d4edf8fc7c59dc62244f0486b10da43ced53bff7a410b21ce4f65bbb91573f
SHA512 (netbsd-INSTALL_C700) = 305998897512cb1add46c04dba2e6d4cc42271d7675ca5592e428ba0033b2d8db660d0d1634a0648a63fda0a385a9cda9ccb2c8d125881229f6c6bed5306dc71