File translated from TEX by TTH, version 1.92.
On 1 Mar 1999, 16:14.