> Rules > Publish a compression program comp9.exe that outputs archive9.exe given input enwik9. > If archive9.exe is run with no input, it reproduces 10^9 byt

> Rules > Publish a compression program comp9.exe that outputs archive9.exe given input enwik9. > If archive9.exe is run with no input, it reproduces 10^9 byte file data9 that is identical to enwik9. > Total size is measured as S := length(comp9.exe/zip)+length(archive9.exe). In other words the input is indeed set to zero, but the size of the .exe is actually measured. And even stricter the thing that made archive.exe is included (which I think I a bit mean)