SHA256 (seed7_05_20130820.tgz) = osHEttoUTlYFSWf3hpSPKsEozKR/b7GdjMtLOlsnVxA=
SIZE (seed7_05_20130820.tgz) = 1930028
