On 4/15/08, Christian G. Bower <bowerc at usa.net> wrote: > > > John Conway did a proof of a(p^2)=11 in that discussion from 1998. I can post > it if anyone is interested. > I'm interested :-) Andrew