SHA512 (netbsd-INSTALL) = 312f330911899eb0d3b571c67a99057e9e77196b4d7c3b7d21a488b6fea5f072310d9328849e41ca6404b4fcbaa6e891d68713720a2da3477a70d28fd9f7a151
SHA512 (netbsd-INSTALL_C700) = 93da544fdc28079e2c30153daa6fa0f9b5dfd80390f703c436a1310e67aa76a46fea0a51b4765fcc800378dee366478b7ae800ddf59f56891b0c761171d5dfc5