SHA512 (netbsd-INSTALL) = f52aed0429421681ed064bd60d58bf70e4648f1d191f3e64a410f58a6319d4153984216635fda596fa7d371fcc5c398831aa85c1901bb6129d58849ed55f3821
SHA512 (netbsd-INSTALL_C700) = 40f285d4666e746e90ff9828e5e4faa0a9550eb47b9466179c1ee774dec2f4b9a418876d7faf18c5f326b4fefaea27598803fa49781ab325f9f5d5adca87b31d