Ah, right, that was a bad idea. I really meant 0 .. (2 ** (size * 2) - 1), but then there are many, many false candidates, and even too many good ones.

For two lists of a hundred elements, we'd have to iterate over 2 ** 200 elements, which is a little too much :)

/me goes off to try something else