File translated from TEX by TTH, version 4.03.
    On 20 Sep 2016, 15:07.