Euler-Anoplolepis-nuptialis proof output for later comparison

Received on Sunday, 24 June 2007 22:08:58 UTC