SHA512 (netbsd-INSTALL) = 35276b441a466de041de047f8baa4973376139deda650ff7219a3bc65a120c3f81fc4ae3043d4f2fc4187ee6c79769abbe7be30063a131e632c7ea4cdb37bd04
SHA512 (netbsd-INSTALL_C700) = ea7c9d2fda43a955105d62c5abb37ac669d856f9a80f7162ec362417a576dc63c8d56541c4b788a45f561865aaf0f23919646e76f4d6abfad00121d73b3014e8