This file is generated by ./x run src/tools/unicode-table-generator; do not edit manually!