SHA512 (netbsd-INSTALL) = c158b708f9639af2d871190dbcbba5d7922931019037e7c733b82ff3b26b545f57b8d6caa0a1735c7d3b7d94904647d2001aa80ed296f19ffe5dcbc000495d56
SHA512 (netbsd-INSTALL_C700) = 692c8bdc8c85663b96298c9d603c5fe8881bfec4222b16020f1ece66fc11f2a2934adc2144096e72e69dfd2e4141c99317bf3d6514e41d2d1ceea057c60b6ae0