SHA256 (seed7_05_20180821.tgz) = c6PUBGnfjBwYUnPthz7ZoAkcCCtRc2wSRMRX7ufrwto=
SIZE (seed7_05_20180821.tgz) = 2820766
