File encoding

To allow for the inclusion of double-byte characters, the input file is in UTF-8 format.