File translated from TEX by TTH, version 2.70.
On 3 Dec 2002, 11:02.