israndom thanks the following people for their help:

Rudi Cilibrasi <cilibrar@cilibrar.com>

Paul Vitanyi   <Paul.Vitanyi@cwi.nl> -- for useful conversations

