joseph@orstcs.UUCP (joseph) (08/17/85)
This seems like a bit of a waste of computer resources, and time to tediously verify 40,000 digits. I guess both were readily available. Sad.