File translated from TEX by TTH, version 2.70.
On 3 Dec 2002, 10:51.