File translated from TEX by TTH, version 3.77.
On 26 Nov 2010, 16:19.