SHA512 (netbsd-INSTALL) = 4f539cd0faa60251295a2a93c15a0cd5921504cfd52b78c3671531076f73df378fc124b0cae30d847a4745d73b33e8a6f439588596012368739de0462dc54112
SHA512 (netbsd-INSTALL_C700) = dc3aa05fcb682a4731a12f04bc6ea9011277313ee76a1e9e0aafa683fe183fcafcd48bf82243d40fcef99dd5b43938545e34acb2d0ec6a1b0dc088ce462df82a