This is not the first time that a computer has played an important role in ``proving'' a theorem. A notable earlier example is the four-color theorem [3]. Yet, these are not proofs in the traditional mathematical sense. It is impossible for any human being to check through all the calculations. From personal experience, it is extremely easy to make programming mistakes. We have taken many precautions, including the use of two different programs to cross check selective sample cases and the checking of internal consistency when isomorphism testing is performed. Yet, I want to emphasize that this is only an experimental result and it desperately needs an independent verification, or better still, a theoretical explanation.
Annotation Form Interface

          Your name: 
     E-Mail address: 
 Annotation Subject: 
        Related URL: