SHA512 (netbsd-INSTALL) = fe362255b9e6b188ce14e899ead9f434340781b6910134ccc5eb08f9893c2c73e31f1b10c0c0046b6e362b389d6a7a20d10a07ef9bc606d200833cb8a93afdee
SHA512 (netbsd-INSTALL_C700) = 43f1fb56cbe1dfd029f2c33c1c1907697bb7e4db45d14b686985daa27cdabc4a6d40c1e2125afd397b9026c80d4817fa623c01d8b5daa0bca45dae3e282530e4