TIMESTAMP = 1786000729
SHA256 (seed7_05_20260711.tgz) = 531d1883e2dbccdda65735bf09731b451f5304fa837e9f8373fd08de21f8da56
SIZE (seed7_05_20260711.tgz) = 4537326