SHA512 (netbsd-INSTALL) = c5357838b823cbf1f962751acfd0640b35bb96c7af39527f0ee95e4faafaaba5c6af55e87c9c54ed262ea6ddd6d4056545f6d788884ad4aaad6efcef24fb79f7
SHA512 (netbsd-INSTALL_C700) = 54621477cc88fabfc430a4705e595eb0b89e6e0f8647ca09375c3308865f198d28c47a67d180b23a2c1967692dbc0b3cf2accf7e09b1bfb29a277e4fc6dc9f5b