[tromp]

Meanwhile a prime number sieve written directly in binary lambda calculus takes no more than 167 bits (under 21 bytes).