SHA512 (netbsd-INSTALL) = 09773e85c5e098bd2c1ebac497daedbb4c8f96177e7d901dfc87fa5d0b13873be59945f8c932cbb78a483ff29f696b5237fa17295eca81c57857856b8e6bac63
SHA512 (netbsd-INSTALL_C700) = 8595bfe9bd40435af97340032d5dc4b6b8a388123a5413e3f158767b102e6b57ef074eddd49840334ea971770f331f7a38c8434c3d551794039b051e6aa1262b