File translated from TEX by TTH, version 4.03.
    On 1 Nov 2016, 19:27.