SPECIAL.TXT        1996 December 28

The automated conversion of the Otter 2.2 input file SPECIAL.IN was
faulty, resulting in some groups of clauses being accidentally moved
from the usable list to the demodulator list, but this change did not
prevent Otter 3.0.4 from finding a proof.