SHA512 (netbsd-INSTALL) = dcdb753478bcee501d2483ddf9538791afd04d4577efe5b53ce257b16a1c95d60d2bb6f72ff078c2116456a424a586c7358d55608fdbc98e7d6a6485e9be2663
SHA512 (netbsd-INSTALL_C700) = 37437ec43accf82c6d63eac3641b5918402c07236c1c0821d33cd8744b8cd7047edf43a8ed1d015793b66937d8c51499cc599538e458b41f48d6f712e8c5b3e6