> 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)
> 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)