SHA512 (netbsd-INSTALL) = 716af2451f301e0a05a3325e748d2477982ddf549858289d397a767a10691b9eae339fa6bac4f63ee865a4b77deea931d5a699f51a12ab99d0a8d63dfee48385
SHA512 (netbsd-INSTALL_C700) = c16056753f02174ba6a9064483652ab753cc81363560c96b2e0d7fba01915a59c2170677111237d63c73e6281655c4ecffdd81987865f6cbd6d22059749ee19e