SHA256 (seed7_05_20180304.tgz) = FCRE3M4sQGBpjZr7Nc2iVY7cIj0Ah5w9B9qPd7KialE=
SIZE (seed7_05_20180304.tgz) = 2787759
