SHA512 (netbsd-INSTALL) = ab010086830a43f31d9ee12f4d7d23800a738982c7f764d354ac7d50855a24fd85c5e1ea9ae64a66918ce88ae60aaefa49ea3dc9a467e618c0d858345601f1bf
SHA512 (netbsd-INSTALL_C700) = 098bd694670b540a946717bd93d1623de6a5013efd346282a1e2db7a3a7a9999a96d1e428c5f8b8a81d0556644596d8a8aa902c2a434d426ff82a270be7290dc