If you can find a way of convincing more people to join the project you'd be very welcome to. Specially people who're wasting their CPU cycles crunching a number for a prize which is less than their PCs cost and a chance of winning comparable to the lottery!! If you could find a way of convincing them that would make a big difference. Any ideas?

As to the circuit diagrams. If you check the papers you'll see a few. Right now I've started a run using four input look-up tables which will come up with some weird four input gates for which there are no symbols. What I could do is try and fit the equation inside that ,square something like abc + ac'd' + cd. For two input gates and would be: ab, or would be a+b and xor would be ab' + a'b. What do you think?