SHA512 (netbsd-INSTALL) = 7438c8752c7a4d73f0dbdbe5dc415ff4aa4326c41babaaaa73797bb91be9cda49fa2319304743c6e31e58f17470018936ae8478ab03175ded26bd10e5363fb38
SHA512 (netbsd-INSTALL_C700) = fd86412160fb88a784c9bd9acc24a0aec9731ff147c0ab7753d879da091f780dc9cecb32807792e815f2b21c08917add12e486e95abd88d3ace984e5b6d03139