SHA512 (netbsd-INSTALL) = 0352d3240fb5995aef85718c7d02b21d9105f7c7db7313ab8edbc26e2c0822affc57ca072a8e5f6e180d989f77f6930a2e158e6e95e4e013d00db4a2359b1627
SHA512 (netbsd-INSTALL_C700) = a8e1debcf8addfaa81be3fa7c16c24b5519f561d71317a550faf7a4c5f5b96d7a366d566013fc24e60066997dfffb0173c20f158adcdb5bf1bd80f1d920b989f