SHA512 (netbsd-INSTALL) = 71f0e51a55cd3a43ed73e55dda64eaa736b87cb66c30e94d5cac8bfb266503dccaee17923c0517641557b0ad73c7ee64366b1376781c2d641144ee417a2fe03d
SHA512 (netbsd-INSTALL_C700) = e4862c01d2ebfa01e5d7d82fcd2223743b3950d3bb5c0f24e88419067a0bdbbd96122329ce58416ef499fc3a9b16488eeda0c8a271d407cd7e12668d1244e11a