SHA512 (netbsd-INSTALL) = 81236d68dc6de79aec67f6c5248c8e18eaa732f1445393c25d6b4dd7958810a392664f735588b5ee3e407838d5f2ddc0d92dde71586dbc5211b0663ee2f42a99
SHA512 (netbsd-INSTALL_C700) = 224fbdbaf061a748e835684048e2e4cc8238d764e16028756793d2356ce6e272c07238154765fd20359c441a620d1db0f760e06b9aacf7fe049b27a71922ecd1