SHA256 (seed7_05_20150705.tgz) = exroML6xeN40BnkZg8gVV0K6A9SqrMetT/gqMjnXjwc=
SIZE (seed7_05_20150705.tgz) = 2527594
