SHA256 (seed7_05_20131027.tgz) = baf733aa155ba1377e7605cfd0b2bc5fb114003045a23761576affc3b04a714e
SIZE (seed7_05_20131027.tgz) = 1981052