SHA512 (netbsd-GENERIC.gz) = 413cb57cde2790032c8087261b606215bab9da6bbe02daac9c8b2161e635ac334d698fc8bc91cc669c1630364edba601754bf499435446f42567738e45981707
SHA512 (netbsd-TX3912.gz) = e5a7b4536c5480bbfaeaf98f5c57fe867297b71e092759f7ecc02f0cdf595d0e0dc012090bde52a03cc7c45946717597382ac58ef276416bd8e5d4972524aef7