SHA512 (netbsd-INSTALL) = 9c3a5df3ec7749e55746a7819eefa8e6c744e0196da03cc2dc8f3302fab167e776245716315b97d3f3969fcdfaab0c438adf46b50cb06338afea63452688134b
SHA512 (netbsd-INSTALL_C700) = db40a78e133c1cf0b0254d1f54a1c4bf8f21c6169cb57065add0e496e6aaddc53bc225b12d54cc18d6eb60b3d2db01324eae788551c53a835100d52c086afd5f