summaryrefslogtreecommitdiffhomepage
path: root/contrib/package
diff options
context:
space:
mode:
authorJo-Philipp Wich <jo@mein.io>2022-09-02 17:04:42 +0200
committerJo-Philipp Wich <jo@mein.io>2022-10-25 01:03:36 +0200
commit5c5f4a8d1f4560b5c0ac90402f5f957b166c96a3 (patch)
tree2029e369e5206c9e2582607cdeac0c868f3a8255 /contrib/package
parentc1ceeebdd037e0d3e591fff1241482f118eef286 (diff)
contrib: introduce ucode-mod-html
The ucode-mod-html library provides assorted utility functions for dealing with HTML markup data. Example usage: #!/usr/bin/ucode 'use strict'; import { tokenize, striptags, entitydecode, entityencode, OPEN, ATTR, TEXT, CLOSE, RAW, COMMENT, CDATA, PROCINST, EOF } from 'html'; tokenize('<div class="example">Hello world!</div>...', function(type, text, value) { switch (type) { case OPEN: print(`Opening tag: ${text}\n`); break; case ATTR: print(`Attribute: ${text}${value ? `=${value}`}\n`; break; case TEXT: print(`Text data: ${text}\n`); break; case CLOSE: print(`Closing tag: ${text}\n`); break; case RAW: print(`Script/CSS: ${text}\n`); break; case COMMENT: print(`Comment: ${text}\n`); break; case CDATA: print(`CDATA text: ${text}\n`); break; case PROCINST: print(`<!...> tag: ${text}\n`); break; case EOF: print(`End of input\n`); break; } } ); print(striptags('<p>This is some <b>text</b> with <br> markup</p>\n')); print(entitydecode('&#60; &#x20; &amp; &auml;')); print(entityencode('1 < 2 && "foo"')); Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'contrib/package')
-rw-r--r--contrib/package/ucode-mod-html/Makefile31
-rw-r--r--contrib/package/ucode-mod-html/src/html.c2793
2 files changed, 2824 insertions, 0 deletions
diff --git a/contrib/package/ucode-mod-html/Makefile b/contrib/package/ucode-mod-html/Makefile
new file mode 100644
index 0000000000..4ed21738f5
--- /dev/null
+++ b/contrib/package/ucode-mod-html/Makefile
@@ -0,0 +1,31 @@
+include $(TOPDIR)/rules.mk
+
+PKG_NAME:=ucode-mod-html
+PKG_RELEASE:=1
+PKG_LICENSE:=ISC
+PKG_MAINTAINER:=Jo-Philipp Wich <jo@mein.io>
+
+include $(INCLUDE_DIR)/package.mk
+
+define Package/ucode-mod-html
+ SECTION:=utils
+ CATEGORY:=Utilities
+ TITLE:=ucode HTML utility library
+ DEPENDS:=+libucode
+endef
+
+define Package/ucode-mod-html/install
+ $(INSTALL_DIR) $(1)/usr/lib/ucode
+ $(CP) $(PKG_BUILD_DIR)/html.so $(1)/usr/lib/ucode/
+endef
+
+define Build/Configure
+endef
+
+define Build/Compile
+ $(TARGET_CC) $(TARGET_CFLAGS) $(TARGET_LDFLAGS) $(FPIC) \
+ -Wall -ffunction-sections -Wl,--gc-sections -shared \
+ -o $(PKG_BUILD_DIR)/html.so $(PKG_BUILD_DIR)/html.c
+endef
+
+$(eval $(call BuildPackage,ucode-mod-html))
diff --git a/contrib/package/ucode-mod-html/src/html.c b/contrib/package/ucode-mod-html/src/html.c
new file mode 100644
index 0000000000..8d44a3f315
--- /dev/null
+++ b/contrib/package/ucode-mod-html/src/html.c
@@ -0,0 +1,2793 @@
+/*
+ * Copyright (C) 2022 Jo-Philipp Wich <jo@mein.io>
+ *
+ * Permission to use, copy, modify, and/or distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ */
+
+#define _GNU_SOURCE
+#include <stdlib.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <string.h>
+#include <limits.h>
+#include <unistd.h>
+#include <ctype.h>
+
+#include "ucode/module.h"
+
+
+typedef enum {
+ T_TEXT,
+ T_RAW,
+ T_OPEN,
+ T_ATTR,
+ T_CLOSE,
+ T_COMMENT,
+ T_CDATA,
+ T_PROCINST,
+ T_EOF
+} html_token_type_t;
+
+typedef bool (*html_token_callback_t)(html_token_type_t, const char *, size_t, void *);
+
+
+/* The array below encodes all named character entities as specified in
+ * https://html.spec.whatwg.org/multipage/named-characters.html#named-character-references
+ *
+ * Format of value is:
+ * bit 0 - 20: value of second unicode codepoint
+ * bit 21 - 31: unused
+ * bit 32 - 53: value of first unicode codepoint
+ * bit 54 - 62: unused
+ * bit 63: flag indicating whether semicolon is mandatory
+ *
+ * The array is pre-ordered to allow for efficient binary search.
+ */
+static const struct { const char *name; uint64_t value; } named_char_refs[] = {
+ { "AElig", 0x000000c600000000ULL },
+ { "AMP", 0x0000002600000000ULL },
+ { "Aacute", 0x000000c100000000ULL },
+ { "Abreve", 0x8000010200000000ULL },
+ { "Acirc", 0x000000c200000000ULL },
+ { "Acy", 0x8000041000000000ULL },
+ { "Afr", 0x8001d50400000000ULL },
+ { "Agrave", 0x000000c000000000ULL },
+ { "Alpha", 0x8000039100000000ULL },
+ { "Amacr", 0x8000010000000000ULL },
+ { "And", 0x80002a5300000000ULL },
+ { "Aogon", 0x8000010400000000ULL },
+ { "Aopf", 0x8001d53800000000ULL },
+ { "ApplyFunction", 0x8000206100000000ULL },
+ { "Aring", 0x000000c500000000ULL },
+ { "Ascr", 0x8001d49c00000000ULL },
+ { "Assign", 0x8000225400000000ULL },
+ { "Atilde", 0x000000c300000000ULL },
+ { "Auml", 0x000000c400000000ULL },
+ { "Backslash", 0x8000221600000000ULL },
+ { "Barv", 0x80002ae700000000ULL },
+ { "Barwed", 0x8000230600000000ULL },
+ { "Bcy", 0x8000041100000000ULL },
+ { "Because", 0x8000223500000000ULL },
+ { "Bernoullis", 0x8000212c00000000ULL },
+ { "Beta", 0x8000039200000000ULL },
+ { "Bfr", 0x8001d50500000000ULL },
+ { "Bopf", 0x8001d53900000000ULL },
+ { "Breve", 0x800002d800000000ULL },
+ { "Bscr", 0x8000212c00000000ULL },
+ { "Bumpeq", 0x8000224e00000000ULL },
+ { "CHcy", 0x8000042700000000ULL },
+ { "COPY", 0x000000a900000000ULL },
+ { "Cacute", 0x8000010600000000ULL },
+ { "Cap", 0x800022d200000000ULL },
+ { "CapitalDifferentialD", 0x8000214500000000ULL },
+ { "Cayleys", 0x8000212d00000000ULL },
+ { "Ccaron", 0x8000010c00000000ULL },
+ { "Ccedil", 0x000000c700000000ULL },
+ { "Ccirc", 0x8000010800000000ULL },
+ { "Cconint", 0x8000223000000000ULL },
+ { "Cdot", 0x8000010a00000000ULL },
+ { "Cedilla", 0x800000b800000000ULL },
+ { "CenterDot", 0x800000b700000000ULL },
+ { "Cfr", 0x8000212d00000000ULL },
+ { "Chi", 0x800003a700000000ULL },
+ { "CircleDot", 0x8000229900000000ULL },
+ { "CircleMinus", 0x8000229600000000ULL },
+ { "CirclePlus", 0x8000229500000000ULL },
+ { "CircleTimes", 0x8000229700000000ULL },
+ { "ClockwiseContourIntegral", 0x8000223200000000ULL },
+ { "CloseCurlyDoubleQuote", 0x8000201d00000000ULL },
+ { "CloseCurlyQuote", 0x8000201900000000ULL },
+ { "Colon", 0x8000223700000000ULL },
+ { "Colone", 0x80002a7400000000ULL },
+ { "Congruent", 0x8000226100000000ULL },
+ { "Conint", 0x8000222f00000000ULL },
+ { "ContourIntegral", 0x8000222e00000000ULL },
+ { "Copf", 0x8000210200000000ULL },
+ { "Coproduct", 0x8000221000000000ULL },
+ { "CounterClockwiseContourIntegral", 0x8000223300000000ULL },
+ { "Cross", 0x80002a2f00000000ULL },
+ { "Cscr", 0x8001d49e00000000ULL },
+ { "Cup", 0x800022d300000000ULL },
+ { "CupCap", 0x8000224d00000000ULL },
+ { "DD", 0x8000214500000000ULL },
+ { "DDotrahd", 0x8000291100000000ULL },
+ { "DJcy", 0x8000040200000000ULL },
+ { "DScy", 0x8000040500000000ULL },
+ { "DZcy", 0x8000040f00000000ULL },
+ { "Dagger", 0x8000202100000000ULL },
+ { "Darr", 0x800021a100000000ULL },
+ { "Dashv", 0x80002ae400000000ULL },
+ { "Dcaron", 0x8000010e00000000ULL },
+ { "Dcy", 0x8000041400000000ULL },
+ { "Del", 0x8000220700000000ULL },
+ { "Delta", 0x8000039400000000ULL },
+ { "Dfr", 0x8001d50700000000ULL },
+ { "DiacriticalAcute", 0x800000b400000000ULL },
+ { "DiacriticalDot", 0x800002d900000000ULL },
+ { "DiacriticalDoubleAcute", 0x800002dd00000000ULL },
+ { "DiacriticalGrave", 0x8000006000000000ULL },
+ { "DiacriticalTilde", 0x800002dc00000000ULL },
+ { "Diamond", 0x800022c400000000ULL },
+ { "DifferentialD", 0x8000214600000000ULL },
+ { "Dopf", 0x8001d53b00000000ULL },
+ { "Dot", 0x800000a800000000ULL },
+ { "DotDot", 0x800020dc00000000ULL },
+ { "DotEqual", 0x8000225000000000ULL },
+ { "DoubleContourIntegral", 0x8000222f00000000ULL },
+ { "DoubleDot", 0x800000a800000000ULL },
+ { "DoubleDownArrow", 0x800021d300000000ULL },
+ { "DoubleLeftArrow", 0x800021d000000000ULL },
+ { "DoubleLeftRightArrow", 0x800021d400000000ULL },
+ { "DoubleLeftTee", 0x80002ae400000000ULL },
+ { "DoubleLongLeftArrow", 0x800027f800000000ULL },
+ { "DoubleLongLeftRightArrow", 0x800027fa00000000ULL },
+ { "DoubleLongRightArrow", 0x800027f900000000ULL },
+ { "DoubleRightArrow", 0x800021d200000000ULL },
+ { "DoubleRightTee", 0x800022a800000000ULL },
+ { "DoubleUpArrow", 0x800021d100000000ULL },
+ { "DoubleUpDownArrow", 0x800021d500000000ULL },
+ { "DoubleVerticalBar", 0x8000222500000000ULL },
+ { "DownArrow", 0x8000219300000000ULL },
+ { "DownArrowBar", 0x8000291300000000ULL },
+ { "DownArrowUpArrow", 0x800021f500000000ULL },
+ { "DownBreve", 0x8000031100000000ULL },
+ { "DownLeftRightVector", 0x8000295000000000ULL },
+ { "DownLeftTeeVector", 0x8000295e00000000ULL },
+ { "DownLeftVector", 0x800021bd00000000ULL },
+ { "DownLeftVectorBar", 0x8000295600000000ULL },
+ { "DownRightTeeVector", 0x8000295f00000000ULL },
+ { "DownRightVector", 0x800021c100000000ULL },
+ { "DownRightVectorBar", 0x8000295700000000ULL },
+ { "DownTee", 0x800022a400000000ULL },
+ { "DownTeeArrow", 0x800021a700000000ULL },
+ { "Downarrow", 0x800021d300000000ULL },
+ { "Dscr", 0x8001d49f00000000ULL },
+ { "Dstrok", 0x8000011000000000ULL },
+ { "ENG", 0x8000014a00000000ULL },
+ { "ETH", 0x000000d000000000ULL },
+ { "Eacute", 0x000000c900000000ULL },
+ { "Ecaron", 0x8000011a00000000ULL },
+ { "Ecirc", 0x000000ca00000000ULL },
+ { "Ecy", 0x8000042d00000000ULL },
+ { "Edot", 0x8000011600000000ULL },
+ { "Efr", 0x8001d50800000000ULL },
+ { "Egrave", 0x000000c800000000ULL },
+ { "Element", 0x8000220800000000ULL },
+ { "Emacr", 0x8000011200000000ULL },
+ { "EmptySmallSquare", 0x800025fb00000000ULL },
+ { "EmptyVerySmallSquare", 0x800025ab00000000ULL },
+ { "Eogon", 0x8000011800000000ULL },
+ { "Eopf", 0x8001d53c00000000ULL },
+ { "Epsilon", 0x8000039500000000ULL },
+ { "Equal", 0x80002a7500000000ULL },
+ { "EqualTilde", 0x8000224200000000ULL },
+ { "Equilibrium", 0x800021cc00000000ULL },
+ { "Escr", 0x8000213000000000ULL },
+ { "Esim", 0x80002a7300000000ULL },
+ { "Eta", 0x8000039700000000ULL },
+ { "Euml", 0x000000cb00000000ULL },
+ { "Exists", 0x8000220300000000ULL },
+ { "ExponentialE", 0x8000214700000000ULL },
+ { "Fcy", 0x8000042400000000ULL },
+ { "Ffr", 0x8001d50900000000ULL },
+ { "FilledSmallSquare", 0x800025fc00000000ULL },
+ { "FilledVerySmallSquare", 0x800025aa00000000ULL },
+ { "Fopf", 0x8001d53d00000000ULL },
+ { "ForAll", 0x8000220000000000ULL },
+ { "Fouriertrf", 0x8000213100000000ULL },
+ { "Fscr", 0x8000213100000000ULL },
+ { "GJcy", 0x8000040300000000ULL },
+ { "GT", 0x0000003e00000000ULL },
+ { "Gamma", 0x8000039300000000ULL },
+ { "Gammad", 0x800003dc00000000ULL },
+ { "Gbreve", 0x8000011e00000000ULL },
+ { "Gcedil", 0x8000012200000000ULL },
+ { "Gcirc", 0x8000011c00000000ULL },
+ { "Gcy", 0x8000041300000000ULL },
+ { "Gdot", 0x8000012000000000ULL },
+ { "Gfr", 0x8001d50a00000000ULL },
+ { "Gg", 0x800022d900000000ULL },
+ { "Gopf", 0x8001d53e00000000ULL },
+ { "GreaterEqual", 0x8000226500000000ULL },
+ { "GreaterEqualLess", 0x800022db00000000ULL },
+ { "GreaterFullEqual", 0x8000226700000000ULL },
+ { "GreaterGreater", 0x80002aa200000000ULL },
+ { "GreaterLess", 0x8000227700000000ULL },
+ { "GreaterSlantEqual", 0x80002a7e00000000ULL },
+ { "GreaterTilde", 0x8000227300000000ULL },
+ { "Gscr", 0x8001d4a200000000ULL },
+ { "Gt", 0x8000226b00000000ULL },
+ { "HARDcy", 0x8000042a00000000ULL },
+ { "Hacek", 0x800002c700000000ULL },
+ { "Hat", 0x8000005e00000000ULL },
+ { "Hcirc", 0x8000012400000000ULL },
+ { "Hfr", 0x8000210c00000000ULL },
+ { "HilbertSpace", 0x8000210b00000000ULL },
+ { "Hopf", 0x8000210d00000000ULL },
+ { "HorizontalLine", 0x8000250000000000ULL },
+ { "Hscr", 0x8000210b00000000ULL },
+ { "Hstrok", 0x8000012600000000ULL },
+ { "HumpDownHump", 0x8000224e00000000ULL },
+ { "HumpEqual", 0x8000224f00000000ULL },
+ { "IEcy", 0x8000041500000000ULL },
+ { "IJlig", 0x8000013200000000ULL },
+ { "IOcy", 0x8000040100000000ULL },
+ { "Iacute", 0x000000cd00000000ULL },
+ { "Icirc", 0x000000ce00000000ULL },
+ { "Icy", 0x8000041800000000ULL },
+ { "Idot", 0x8000013000000000ULL },
+ { "Ifr", 0x8000211100000000ULL },
+ { "Igrave", 0x000000cc00000000ULL },
+ { "Im", 0x8000211100000000ULL },
+ { "Imacr", 0x8000012a00000000ULL },
+ { "ImaginaryI", 0x8000214800000000ULL },
+ { "Implies", 0x800021d200000000ULL },
+ { "Int", 0x8000222c00000000ULL },
+ { "Integral", 0x8000222b00000000ULL },
+ { "Intersection", 0x800022c200000000ULL },
+ { "InvisibleComma", 0x8000206300000000ULL },
+ { "InvisibleTimes", 0x8000206200000000ULL },
+ { "Iogon", 0x8000012e00000000ULL },
+ { "Iopf", 0x8001d54000000000ULL },
+ { "Iota", 0x8000039900000000ULL },
+ { "Iscr", 0x8000211000000000ULL },
+ { "Itilde", 0x8000012800000000ULL },
+ { "Iukcy", 0x8000040600000000ULL },
+ { "Iuml", 0x000000cf00000000ULL },
+ { "Jcirc", 0x8000013400000000ULL },
+ { "Jcy", 0x8000041900000000ULL },
+ { "Jfr", 0x8001d50d00000000ULL },
+ { "Jopf", 0x8001d54100000000ULL },
+ { "Jscr", 0x8001d4a500000000ULL },
+ { "Jsercy", 0x8000040800000000ULL },
+ { "Jukcy", 0x8000040400000000ULL },
+ { "KHcy", 0x8000042500000000ULL },
+ { "KJcy", 0x8000040c00000000ULL },
+ { "Kappa", 0x8000039a00000000ULL },
+ { "Kcedil", 0x8000013600000000ULL },
+ { "Kcy", 0x8000041a00000000ULL },
+ { "Kfr", 0x8001d50e00000000ULL },
+ { "Kopf", 0x8001d54200000000ULL },
+ { "Kscr", 0x8001d4a600000000ULL },
+ { "LJcy", 0x8000040900000000ULL },
+ { "LT", 0x0000003c00000000ULL },
+ { "Lacute", 0x8000013900000000ULL },
+ { "Lambda", 0x8000039b00000000ULL },
+ { "Lang", 0x800027ea00000000ULL },
+ { "Laplacetrf", 0x8000211200000000ULL },
+ { "Larr", 0x8000219e00000000ULL },
+ { "Lcaron", 0x8000013d00000000ULL },
+ { "Lcedil", 0x8000013b00000000ULL },
+ { "Lcy", 0x8000041b00000000ULL },
+ { "LeftAngleBracket", 0x800027e800000000ULL },
+ { "LeftArrow", 0x8000219000000000ULL },
+ { "LeftArrowBar", 0x800021e400000000ULL },
+ { "LeftArrowRightArrow", 0x800021c600000000ULL },
+ { "LeftCeiling", 0x8000230800000000ULL },
+ { "LeftDoubleBracket", 0x800027e600000000ULL },
+ { "LeftDownTeeVector", 0x8000296100000000ULL },
+ { "LeftDownVector", 0x800021c300000000ULL },
+ { "LeftDownVectorBar", 0x8000295900000000ULL },
+ { "LeftFloor", 0x8000230a00000000ULL },
+ { "LeftRightArrow", 0x8000219400000000ULL },
+ { "LeftRightVector", 0x8000294e00000000ULL },
+ { "LeftTee", 0x800022a300000000ULL },
+ { "LeftTeeArrow", 0x800021a400000000ULL },
+ { "LeftTeeVector", 0x8000295a00000000ULL },
+ { "LeftTriangle", 0x800022b200000000ULL },
+ { "LeftTriangleBar", 0x800029cf00000000ULL },
+ { "LeftTriangleEqual", 0x800022b400000000ULL },
+ { "LeftUpDownVector", 0x8000295100000000ULL },
+ { "LeftUpTeeVector", 0x8000296000000000ULL },
+ { "LeftUpVector", 0x800021bf00000000ULL },
+ { "LeftUpVectorBar", 0x8000295800000000ULL },
+ { "LeftVector", 0x800021bc00000000ULL },
+ { "LeftVectorBar", 0x8000295200000000ULL },
+ { "Leftarrow", 0x800021d000000000ULL },
+ { "Leftrightarrow", 0x800021d400000000ULL },
+ { "LessEqualGreater", 0x800022da00000000ULL },
+ { "LessFullEqual", 0x8000226600000000ULL },
+ { "LessGreater", 0x8000227600000000ULL },
+ { "LessLess", 0x80002aa100000000ULL },
+ { "LessSlantEqual", 0x80002a7d00000000ULL },
+ { "LessTilde", 0x8000227200000000ULL },
+ { "Lfr", 0x8001d50f00000000ULL },
+ { "Ll", 0x800022d800000000ULL },
+ { "Lleftarrow", 0x800021da00000000ULL },
+ { "Lmidot", 0x8000013f00000000ULL },
+ { "LongLeftArrow", 0x800027f500000000ULL },
+ { "LongLeftRightArrow", 0x800027f700000000ULL },
+ { "LongRightArrow", 0x800027f600000000ULL },
+ { "Longleftarrow", 0x800027f800000000ULL },
+ { "Longleftrightarrow", 0x800027fa00000000ULL },
+ { "Longrightarrow", 0x800027f900000000ULL },
+ { "Lopf", 0x8001d54300000000ULL },
+ { "LowerLeftArrow", 0x8000219900000000ULL },
+ { "LowerRightArrow", 0x8000219800000000ULL },
+ { "Lscr", 0x8000211200000000ULL },
+ { "Lsh", 0x800021b000000000ULL },
+ { "Lstrok", 0x8000014100000000ULL },
+ { "Lt", 0x8000226a00000000ULL },
+ { "Map", 0x8000290500000000ULL },
+ { "Mcy", 0x8000041c00000000ULL },
+ { "MediumSpace", 0x8000205f00000000ULL },
+ { "Mellintrf", 0x8000213300000000ULL },
+ { "Mfr", 0x8001d51000000000ULL },
+ { "MinusPlus", 0x8000221300000000ULL },
+ { "Mopf", 0x8001d54400000000ULL },
+ { "Mscr", 0x8000213300000000ULL },
+ { "Mu", 0x8000039c00000000ULL },
+ { "NJcy", 0x8000040a00000000ULL },
+ { "Nacute", 0x8000014300000000ULL },
+ { "Ncaron", 0x8000014700000000ULL },
+ { "Ncedil", 0x8000014500000000ULL },
+ { "Ncy", 0x8000041d00000000ULL },
+ { "NegativeMediumSpace", 0x8000200b00000000ULL },
+ { "NegativeThickSpace", 0x8000200b00000000ULL },
+ { "NegativeThinSpace", 0x8000200b00000000ULL },
+ { "NegativeVeryThinSpace", 0x8000200b00000000ULL },
+ { "NestedGreaterGreater", 0x8000226b00000000ULL },
+ { "NestedLessLess", 0x8000226a00000000ULL },
+ { "NewLine", 0x8000000a00000000ULL },
+ { "Nfr", 0x8001d51100000000ULL },
+ { "NoBreak", 0x8000206000000000ULL },
+ { "NonBreakingSpace", 0x800000a000000000ULL },
+ { "Nopf", 0x8000211500000000ULL },
+ { "Not", 0x80002aec00000000ULL },
+ { "NotCongruent", 0x8000226200000000ULL },
+ { "NotCupCap", 0x8000226d00000000ULL },
+ { "NotDoubleVerticalBar", 0x8000222600000000ULL },
+ { "NotElement", 0x8000220900000000ULL },
+ { "NotEqual", 0x8000226000000000ULL },
+ { "NotEqualTilde", 0x8000224200000338ULL },
+ { "NotExists", 0x8000220400000000ULL },
+ { "NotGreater", 0x8000226f00000000ULL },
+ { "NotGreaterEqual", 0x8000227100000000ULL },
+ { "NotGreaterFullEqual", 0x8000226700000338ULL },
+ { "NotGreaterGreater", 0x8000226b00000338ULL },
+ { "NotGreaterLess", 0x8000227900000000ULL },
+ { "NotGreaterSlantEqual", 0x80002a7e00000338ULL },
+ { "NotGreaterTilde", 0x8000227500000000ULL },
+ { "NotHumpDownHump", 0x8000224e00000338ULL },
+ { "NotHumpEqual", 0x8000224f00000338ULL },
+ { "NotLeftTriangle", 0x800022ea00000000ULL },
+ { "NotLeftTriangleBar", 0x800029cf00000338ULL },
+ { "NotLeftTriangleEqual", 0x800022ec00000000ULL },
+ { "NotLess", 0x8000226e00000000ULL },
+ { "NotLessEqual", 0x8000227000000000ULL },
+ { "NotLessGreater", 0x8000227800000000ULL },
+ { "NotLessLess", 0x8000226a00000338ULL },
+ { "NotLessSlantEqual", 0x80002a7d00000338ULL },
+ { "NotLessTilde", 0x8000227400000000ULL },
+ { "NotNestedGreaterGreater", 0x80002aa200000338ULL },
+ { "NotNestedLessLess", 0x80002aa100000338ULL },
+ { "NotPrecedes", 0x8000228000000000ULL },
+ { "NotPrecedesEqual", 0x80002aaf00000338ULL },
+ { "NotPrecedesSlantEqual", 0x800022e000000000ULL },
+ { "NotReverseElement", 0x8000220c00000000ULL },
+ { "NotRightTriangle", 0x800022eb00000000ULL },
+ { "NotRightTriangleBar", 0x800029d000000338ULL },
+ { "NotRightTriangleEqual", 0x800022ed00000000ULL },
+ { "NotSquareSubset", 0x8000228f00000338ULL },
+ { "NotSquareSubsetEqual", 0x800022e200000000ULL },
+ { "NotSquareSuperset", 0x8000229000000338ULL },
+ { "NotSquareSupersetEqual", 0x800022e300000000ULL },
+ { "NotSubset", 0x80002282000020d2ULL },
+ { "NotSubsetEqual", 0x8000228800000000ULL },
+ { "NotSucceeds", 0x8000228100000000ULL },
+ { "NotSucceedsEqual", 0x80002ab000000338ULL },
+ { "NotSucceedsSlantEqual", 0x800022e100000000ULL },
+ { "NotSucceedsTilde", 0x8000227f00000338ULL },
+ { "NotSuperset", 0x80002283000020d2ULL },
+ { "NotSupersetEqual", 0x8000228900000000ULL },
+ { "NotTilde", 0x8000224100000000ULL },
+ { "NotTildeEqual", 0x8000224400000000ULL },
+ { "NotTildeFullEqual", 0x8000224700000000ULL },
+ { "NotTildeTilde", 0x8000224900000000ULL },
+ { "NotVerticalBar", 0x8000222400000000ULL },
+ { "Nscr", 0x8001d4a900000000ULL },
+ { "Ntilde", 0x000000d100000000ULL },
+ { "Nu", 0x8000039d00000000ULL },
+ { "OElig", 0x8000015200000000ULL },
+ { "Oacute", 0x000000d300000000ULL },
+ { "Ocirc", 0x000000d400000000ULL },
+ { "Ocy", 0x8000041e00000000ULL },
+ { "Odblac", 0x8000015000000000ULL },
+ { "Ofr", 0x8001d51200000000ULL },
+ { "Ograve", 0x000000d200000000ULL },
+ { "Omacr", 0x8000014c00000000ULL },
+ { "Omega", 0x800003a900000000ULL },
+ { "Omicron", 0x8000039f00000000ULL },
+ { "Oopf", 0x8001d54600000000ULL },
+ { "OpenCurlyDoubleQuote", 0x8000201c00000000ULL },
+ { "OpenCurlyQuote", 0x8000201800000000ULL },
+ { "Or", 0x80002a5400000000ULL },
+ { "Oscr", 0x8001d4aa00000000ULL },
+ { "Oslash", 0x000000d800000000ULL },
+ { "Otilde", 0x000000d500000000ULL },
+ { "Otimes", 0x80002a3700000000ULL },
+ { "Ouml", 0x000000d600000000ULL },
+ { "OverBar", 0x8000203e00000000ULL },
+ { "OverBrace", 0x800023de00000000ULL },
+ { "OverBracket", 0x800023b400000000ULL },
+ { "OverParenthesis", 0x800023dc00000000ULL },
+ { "PartialD", 0x8000220200000000ULL },
+ { "Pcy", 0x8000041f00000000ULL },
+ { "Pfr", 0x8001d51300000000ULL },
+ { "Phi", 0x800003a600000000ULL },
+ { "Pi", 0x800003a000000000ULL },
+ { "PlusMinus", 0x800000b100000000ULL },
+ { "Poincareplane", 0x8000210c00000000ULL },
+ { "Popf", 0x8000211900000000ULL },
+ { "Pr", 0x80002abb00000000ULL },
+ { "Precedes", 0x8000227a00000000ULL },
+ { "PrecedesEqual", 0x80002aaf00000000ULL },
+ { "PrecedesSlantEqual", 0x8000227c00000000ULL },
+ { "PrecedesTilde", 0x8000227e00000000ULL },
+ { "Prime", 0x8000203300000000ULL },
+ { "Product", 0x8000220f00000000ULL },
+ { "Proportion", 0x8000223700000000ULL },
+ { "Proportional", 0x8000221d00000000ULL },
+ { "Pscr", 0x8001d4ab00000000ULL },
+ { "Psi", 0x800003a800000000ULL },
+ { "QUOT", 0x0000002200000000ULL },
+ { "Qfr", 0x8001d51400000000ULL },
+ { "Qopf", 0x8000211a00000000ULL },
+ { "Qscr", 0x8001d4ac00000000ULL },
+ { "RBarr", 0x8000291000000000ULL },
+ { "REG", 0x000000ae00000000ULL },
+ { "Racute", 0x8000015400000000ULL },
+ { "Rang", 0x800027eb00000000ULL },
+ { "Rarr", 0x800021a000000000ULL },
+ { "Rarrtl", 0x8000291600000000ULL },
+ { "Rcaron", 0x8000015800000000ULL },
+ { "Rcedil", 0x8000015600000000ULL },
+ { "Rcy", 0x8000042000000000ULL },
+ { "Re", 0x8000211c00000000ULL },
+ { "ReverseElement", 0x8000220b00000000ULL },
+ { "ReverseEquilibrium", 0x800021cb00000000ULL },
+ { "ReverseUpEquilibrium", 0x8000296f00000000ULL },
+ { "Rfr", 0x8000211c00000000ULL },
+ { "Rho", 0x800003a100000000ULL },
+ { "RightAngleBracket", 0x800027e900000000ULL },
+ { "RightArrow", 0x8000219200000000ULL },
+ { "RightArrowBar", 0x800021e500000000ULL },
+ { "RightArrowLeftArrow", 0x800021c400000000ULL },
+ { "RightCeiling", 0x8000230900000000ULL },
+ { "RightDoubleBracket", 0x800027e700000000ULL },
+ { "RightDownTeeVector", 0x8000295d00000000ULL },
+ { "RightDownVector", 0x800021c200000000ULL },
+ { "RightDownVectorBar", 0x8000295500000000ULL },
+ { "RightFloor", 0x8000230b00000000ULL },
+ { "RightTee", 0x800022a200000000ULL },
+ { "RightTeeArrow", 0x800021a600000000ULL },
+ { "RightTeeVector", 0x8000295b00000000ULL },
+ { "RightTriangle", 0x800022b300000000ULL },
+ { "RightTriangleBar", 0x800029d000000000ULL },
+ { "RightTriangleEqual", 0x800022b500000000ULL },
+ { "RightUpDownVector", 0x8000294f00000000ULL },
+ { "RightUpTeeVector", 0x8000295c00000000ULL },
+ { "RightUpVector", 0x800021be00000000ULL },
+ { "RightUpVectorBar", 0x8000295400000000ULL },
+ { "RightVector", 0x800021c000000000ULL },
+ { "RightVectorBar", 0x8000295300000000ULL },
+ { "Rightarrow", 0x800021d200000000ULL },
+ { "Ropf", 0x8000211d00000000ULL },
+ { "RoundImplies", 0x8000297000000000ULL },
+ { "Rrightarrow", 0x800021db00000000ULL },
+ { "Rscr", 0x8000211b00000000ULL },
+ { "Rsh", 0x800021b100000000ULL },
+ { "RuleDelayed", 0x800029f400000000ULL },
+ { "SHCHcy", 0x8000042900000000ULL },
+ { "SHcy", 0x8000042800000000ULL },
+ { "SOFTcy", 0x8000042c00000000ULL },
+ { "Sacute", 0x8000015a00000000ULL },
+ { "Sc", 0x80002abc00000000ULL },
+ { "Scaron", 0x8000016000000000ULL },
+ { "Scedil", 0x8000015e00000000ULL },
+ { "Scirc", 0x8000015c00000000ULL },
+ { "Scy", 0x8000042100000000ULL },
+ { "Sfr", 0x8001d51600000000ULL },
+ { "ShortDownArrow", 0x8000219300000000ULL },
+ { "ShortLeftArrow", 0x8000219000000000ULL },
+ { "ShortRightArrow", 0x8000219200000000ULL },
+ { "ShortUpArrow", 0x8000219100000000ULL },
+ { "Sigma", 0x800003a300000000ULL },
+ { "SmallCircle", 0x8000221800000000ULL },
+ { "Sopf", 0x8001d54a00000000ULL },
+ { "Sqrt", 0x8000221a00000000ULL },
+ { "Square", 0x800025a100000000ULL },
+ { "SquareIntersection", 0x8000229300000000ULL },
+ { "SquareSubset", 0x8000228f00000000ULL },
+ { "SquareSubsetEqual", 0x8000229100000000ULL },
+ { "SquareSuperset", 0x8000229000000000ULL },
+ { "SquareSupersetEqual", 0x8000229200000000ULL },
+ { "SquareUnion", 0x8000229400000000ULL },
+ { "Sscr", 0x8001d4ae00000000ULL },
+ { "Star", 0x800022c600000000ULL },
+ { "Sub", 0x800022d000000000ULL },
+ { "Subset", 0x800022d000000000ULL },
+ { "SubsetEqual", 0x8000228600000000ULL },
+ { "Succeeds", 0x8000227b00000000ULL },
+ { "SucceedsEqual", 0x80002ab000000000ULL },
+ { "SucceedsSlantEqual", 0x8000227d00000000ULL },
+ { "SucceedsTilde", 0x8000227f00000000ULL },
+ { "SuchThat", 0x8000220b00000000ULL },
+ { "Sum", 0x8000221100000000ULL },
+ { "Sup", 0x800022d100000000ULL },
+ { "Superset", 0x8000228300000000ULL },
+ { "SupersetEqual", 0x8000228700000000ULL },
+ { "Supset", 0x800022d100000000ULL },
+ { "THORN", 0x000000de00000000ULL },
+ { "TRADE", 0x8000212200000000ULL },
+ { "TSHcy", 0x8000040b00000000ULL },
+ { "TScy", 0x8000042600000000ULL },
+ { "Tab", 0x8000000900000000ULL },
+ { "Tau", 0x800003a400000000ULL },
+ { "Tcaron", 0x8000016400000000ULL },
+ { "Tcedil", 0x8000016200000000ULL },
+ { "Tcy", 0x8000042200000000ULL },
+ { "Tfr", 0x8001d51700000000ULL },
+ { "Therefore", 0x8000223400000000ULL },
+ { "Theta", 0x8000039800000000ULL },
+ { "ThickSpace", 0x8000205f0000200aULL },
+ { "ThinSpace", 0x8000200900000000ULL },
+ { "Tilde", 0x8000223c00000000ULL },
+ { "TildeEqual", 0x8000224300000000ULL },
+ { "TildeFullEqual", 0x8000224500000000ULL },
+ { "TildeTilde", 0x8000224800000000ULL },
+ { "Topf", 0x8001d54b00000000ULL },
+ { "TripleDot", 0x800020db00000000ULL },
+ { "Tscr", 0x8001d4af00000000ULL },
+ { "Tstrok", 0x8000016600000000ULL },
+ { "Uacute", 0x000000da00000000ULL },
+ { "Uarr", 0x8000219f00000000ULL },
+ { "Uarrocir", 0x8000294900000000ULL },
+ { "Ubrcy", 0x8000040e00000000ULL },
+ { "Ubreve", 0x8000016c00000000ULL },
+ { "Ucirc", 0x000000db00000000ULL },
+ { "Ucy", 0x8000042300000000ULL },
+ { "Udblac", 0x8000017000000000ULL },
+ { "Ufr", 0x8001d51800000000ULL },
+ { "Ugrave", 0x000000d900000000ULL },
+ { "Umacr", 0x8000016a00000000ULL },
+ { "UnderBar", 0x8000005f00000000ULL },
+ { "UnderBrace", 0x800023df00000000ULL },
+ { "UnderBracket", 0x800023b500000000ULL },
+ { "UnderParenthesis", 0x800023dd00000000ULL },
+ { "Union", 0x800022c300000000ULL },
+ { "UnionPlus", 0x8000228e00000000ULL },
+ { "Uogon", 0x8000017200000000ULL },
+ { "Uopf", 0x8001d54c00000000ULL },
+ { "UpArrow", 0x8000219100000000ULL },
+ { "UpArrowBar", 0x8000291200000000ULL },
+ { "UpArrowDownArrow", 0x800021c500000000ULL },
+ { "UpDownArrow", 0x8000219500000000ULL },
+ { "UpEquilibrium", 0x8000296e00000000ULL },
+ { "UpTee", 0x800022a500000000ULL },
+ { "UpTeeArrow", 0x800021a500000000ULL },
+ { "Uparrow", 0x800021d100000000ULL },
+ { "Updownarrow", 0x800021d500000000ULL },
+ { "UpperLeftArrow", 0x8000219600000000ULL },
+ { "UpperRightArrow", 0x8000219700000000ULL },
+ { "Upsi", 0x800003d200000000ULL },
+ { "Upsilon", 0x800003a500000000ULL },
+ { "Uring", 0x8000016e00000000ULL },
+ { "Uscr", 0x8001d4b000000000ULL },
+ { "Utilde", 0x8000016800000000ULL },
+ { "Uuml", 0x000000dc00000000ULL },
+ { "VDash", 0x800022ab00000000ULL },
+ { "Vbar", 0x80002aeb00000000ULL },
+ { "Vcy", 0x8000041200000000ULL },
+ { "Vdash", 0x800022a900000000ULL },
+ { "Vdashl", 0x80002ae600000000ULL },
+ { "Vee", 0x800022c100000000ULL },
+ { "Verbar", 0x8000201600000000ULL },
+ { "Vert", 0x8000201600000000ULL },
+ { "VerticalBar", 0x8000222300000000ULL },
+ { "VerticalLine", 0x8000007c00000000ULL },
+ { "VerticalSeparator", 0x8000275800000000ULL },
+ { "VerticalTilde", 0x8000224000000000ULL },
+ { "VeryThinSpace", 0x8000200a00000000ULL },
+ { "Vfr", 0x8001d51900000000ULL },
+ { "Vopf", 0x8001d54d00000000ULL },
+ { "Vscr", 0x8001d4b100000000ULL },
+ { "Vvdash", 0x800022aa00000000ULL },
+ { "Wcirc", 0x8000017400000000ULL },
+ { "Wedge", 0x800022c000000000ULL },
+ { "Wfr", 0x8001d51a00000000ULL },
+ { "Wopf", 0x8001d54e00000000ULL },
+ { "Wscr", 0x8001d4b200000000ULL },
+ { "Xfr", 0x8001d51b00000000ULL },
+ { "Xi", 0x8000039e00000000ULL },
+ { "Xopf", 0x8001d54f00000000ULL },
+ { "Xscr", 0x8001d4b300000000ULL },
+ { "YAcy", 0x8000042f00000000ULL },
+ { "YIcy", 0x8000040700000000ULL },
+ { "YUcy", 0x8000042e00000000ULL },
+ { "Yacute", 0x000000dd00000000ULL },
+ { "Ycirc", 0x8000017600000000ULL },
+ { "Ycy", 0x8000042b00000000ULL },
+ { "Yfr", 0x8001d51c00000000ULL },
+ { "Yopf", 0x8001d55000000000ULL },
+ { "Yscr", 0x8001d4b400000000ULL },
+ { "Yuml", 0x8000017800000000ULL },
+ { "ZHcy", 0x8000041600000000ULL },
+ { "Zacute", 0x8000017900000000ULL },
+ { "Zcaron", 0x8000017d00000000ULL },
+ { "Zcy", 0x8000041700000000ULL },
+ { "Zdot", 0x8000017b00000000ULL },
+ { "ZeroWidthSpace", 0x8000200b00000000ULL },
+ { "Zeta", 0x8000039600000000ULL },
+ { "Zfr", 0x8000212800000000ULL },
+ { "Zopf", 0x8000212400000000ULL },
+ { "Zscr", 0x8001d4b500000000ULL },
+ { "aacute", 0x000000e100000000ULL },
+ { "abreve", 0x8000010300000000ULL },
+ { "ac", 0x8000223e00000000ULL },
+ { "acE", 0x8000223e00000333ULL },
+ { "acd", 0x8000223f00000000ULL },
+ { "acirc", 0x000000e200000000ULL },
+ { "acute", 0x000000b400000000ULL },
+ { "acy", 0x8000043000000000ULL },
+ { "aelig", 0x000000e600000000ULL },
+ { "af", 0x8000206100000000ULL },
+ { "afr", 0x8001d51e00000000ULL },
+ { "agrave", 0x000000e000000000ULL },
+ { "alefsym", 0x8000213500000000ULL },
+ { "aleph", 0x8000213500000000ULL },
+ { "alpha", 0x800003b100000000ULL },
+ { "amacr", 0x8000010100000000ULL },
+ { "amalg", 0x80002a3f00000000ULL },
+ { "amp", 0x0000002600000000ULL },
+ { "and", 0x8000222700000000ULL },
+ { "andand", 0x80002a5500000000ULL },
+ { "andd", 0x80002a5c00000000ULL },
+ { "andslope", 0x80002a5800000000ULL },
+ { "andv", 0x80002a5a00000000ULL },
+ { "ang", 0x8000222000000000ULL },
+ { "ange", 0x800029a400000000ULL },
+ { "angle", 0x8000222000000000ULL },
+ { "angmsd", 0x8000222100000000ULL },
+ { "angmsdaa", 0x800029a800000000ULL },
+ { "angmsdab", 0x800029a900000000ULL },
+ { "angmsdac", 0x800029aa00000000ULL },
+ { "angmsdad", 0x800029ab00000000ULL },
+ { "angmsdae", 0x800029ac00000000ULL },
+ { "angmsdaf", 0x800029ad00000000ULL },
+ { "angmsdag", 0x800029ae00000000ULL },
+ { "angmsdah", 0x800029af00000000ULL },
+ { "angrt", 0x8000221f00000000ULL },
+ { "angrtvb", 0x800022be00000000ULL },
+ { "angrtvbd", 0x8000299d00000000ULL },
+ { "angsph", 0x8000222200000000ULL },
+ { "angst", 0x800000c500000000ULL },
+ { "angzarr", 0x8000237c00000000ULL },
+ { "aogon", 0x8000010500000000ULL },
+ { "aopf", 0x8001d55200000000ULL },
+ { "ap", 0x8000224800000000ULL },
+ { "apE", 0x80002a7000000000ULL },
+ { "apacir", 0x80002a6f00000000ULL },
+ { "ape", 0x8000224a00000000ULL },
+ { "apid", 0x8000224b00000000ULL },
+ { "apos", 0x8000002700000000ULL },
+ { "approx", 0x8000224800000000ULL },
+ { "approxeq", 0x8000224a00000000ULL },
+ { "aring", 0x000000e500000000ULL },
+ { "ascr", 0x8001d4b600000000ULL },
+ { "ast", 0x8000002a00000000ULL },
+ { "asymp", 0x8000224800000000ULL },
+ { "asympeq", 0x8000224d00000000ULL },
+ { "atilde", 0x000000e300000000ULL },
+ { "auml", 0x000000e400000000ULL },
+ { "awconint", 0x8000223300000000ULL },
+ { "awint", 0x80002a1100000000ULL },
+ { "bNot", 0x80002aed00000000ULL },
+ { "backcong", 0x8000224c00000000ULL },
+ { "backepsilon", 0x800003f600000000ULL },
+ { "backprime", 0x8000203500000000ULL },
+ { "backsim", 0x8000223d00000000ULL },
+ { "backsimeq", 0x800022cd00000000ULL },
+ { "barvee", 0x800022bd00000000ULL },
+ { "barwed", 0x8000230500000000ULL },
+ { "barwedge", 0x8000230500000000ULL },
+ { "bbrk", 0x800023b500000000ULL },
+ { "bbrktbrk", 0x800023b600000000ULL },
+ { "bcong", 0x8000224c00000000ULL },
+ { "bcy", 0x8000043100000000ULL },
+ { "bdquo", 0x8000201e00000000ULL },
+ { "becaus", 0x8000223500000000ULL },
+ { "because", 0x8000223500000000ULL },
+ { "bemptyv", 0x800029b000000000ULL },
+ { "bepsi", 0x800003f600000000ULL },
+ { "bernou", 0x8000212c00000000ULL },
+ { "beta", 0x800003b200000000ULL },
+ { "beth", 0x8000213600000000ULL },
+ { "between", 0x8000226c00000000ULL },
+ { "bfr", 0x8001d51f00000000ULL },
+ { "bigcap", 0x800022c200000000ULL },
+ { "bigcirc", 0x800025ef00000000ULL },
+ { "bigcup", 0x800022c300000000ULL },
+ { "bigodot", 0x80002a0000000000ULL },
+ { "bigoplus", 0x80002a0100000000ULL },
+ { "bigotimes", 0x80002a0200000000ULL },
+ { "bigsqcup", 0x80002a0600000000ULL },
+ { "bigstar", 0x8000260500000000ULL },
+ { "bigtriangledown", 0x800025bd00000000ULL },
+ { "bigtriangleup", 0x800025b300000000ULL },
+ { "biguplus", 0x80002a0400000000ULL },
+ { "bigvee", 0x800022c100000000ULL },
+ { "bigwedge", 0x800022c000000000ULL },
+ { "bkarow", 0x8000290d00000000ULL },
+ { "blacklozenge", 0x800029eb00000000ULL },
+ { "blacksquare", 0x800025aa00000000ULL },
+ { "blacktriangle", 0x800025b400000000ULL },
+ { "blacktriangledown", 0x800025be00000000ULL },
+ { "blacktriangleleft", 0x800025c200000000ULL },
+ { "blacktriangleright", 0x800025b800000000ULL },
+ { "blank", 0x8000242300000000ULL },
+ { "blk12", 0x8000259200000000ULL },
+ { "blk14", 0x8000259100000000ULL },
+ { "blk34", 0x8000259300000000ULL },
+ { "block", 0x8000258800000000ULL },
+ { "bne", 0x8000003d000020e5ULL },
+ { "bnequiv", 0x80002261000020e5ULL },
+ { "bnot", 0x8000231000000000ULL },
+ { "bopf", 0x8001d55300000000ULL },
+ { "bot", 0x800022a500000000ULL },
+ { "bottom", 0x800022a500000000ULL },
+ { "bowtie", 0x800022c800000000ULL },
+ { "boxDL", 0x8000255700000000ULL },
+ { "boxDR", 0x8000255400000000ULL },
+ { "boxDl", 0x8000255600000000ULL },
+ { "boxDr", 0x8000255300000000ULL },
+ { "boxH", 0x8000255000000000ULL },
+ { "boxHD", 0x8000256600000000ULL },
+ { "boxHU", 0x8000256900000000ULL },
+ { "boxHd", 0x8000256400000000ULL },
+ { "boxHu", 0x8000256700000000ULL },
+ { "boxUL", 0x8000255d00000000ULL },
+ { "boxUR", 0x8000255a00000000ULL },
+ { "boxUl", 0x8000255c00000000ULL },
+ { "boxUr", 0x8000255900000000ULL },
+ { "boxV", 0x8000255100000000ULL },
+ { "boxVH", 0x8000256c00000000ULL },
+ { "boxVL", 0x8000256300000000ULL },
+ { "boxVR", 0x8000256000000000ULL },
+ { "boxVh", 0x8000256b00000000ULL },
+ { "boxVl", 0x8000256200000000ULL },
+ { "boxVr", 0x8000255f00000000ULL },
+ { "boxbox", 0x800029c900000000ULL },
+ { "boxdL", 0x8000255500000000ULL },
+ { "boxdR", 0x8000255200000000ULL },
+ { "boxdl", 0x8000251000000000ULL },
+ { "boxdr", 0x8000250c00000000ULL },
+ { "boxh", 0x8000250000000000ULL },
+ { "boxhD", 0x8000256500000000ULL },
+ { "boxhU", 0x8000256800000000ULL },
+ { "boxhd", 0x8000252c00000000ULL },
+ { "boxhu", 0x8000253400000000ULL },
+ { "boxminus", 0x8000229f00000000ULL },
+ { "boxplus", 0x8000229e00000000ULL },
+ { "boxtimes", 0x800022a000000000ULL },
+ { "boxuL", 0x8000255b00000000ULL },
+ { "boxuR", 0x8000255800000000ULL },
+ { "boxul", 0x8000251800000000ULL },
+ { "boxur", 0x8000251400000000ULL },
+ { "boxv", 0x8000250200000000ULL },
+ { "boxvH", 0x8000256a00000000ULL },
+ { "boxvL", 0x8000256100000000ULL },
+ { "boxvR", 0x8000255e00000000ULL },
+ { "boxvh", 0x8000253c00000000ULL },
+ { "boxvl", 0x8000252400000000ULL },
+ { "boxvr", 0x8000251c00000000ULL },
+ { "bprime", 0x8000203500000000ULL },
+ { "breve", 0x800002d800000000ULL },
+ { "brvbar", 0x000000a600000000ULL },
+ { "bscr", 0x8001d4b700000000ULL },
+ { "bsemi", 0x8000204f00000000ULL },
+ { "bsim", 0x8000223d00000000ULL },
+ { "bsime", 0x800022cd00000000ULL },
+ { "bsol", 0x8000005c00000000ULL },
+ { "bsolb", 0x800029c500000000ULL },
+ { "bsolhsub", 0x800027c800000000ULL },
+ { "bull", 0x8000202200000000ULL },
+ { "bullet", 0x8000202200000000ULL },
+ { "bump", 0x8000224e00000000ULL },
+ { "bumpE", 0x80002aae00000000ULL },
+ { "bumpe", 0x8000224f00000000ULL },
+ { "bumpeq", 0x8000224f00000000ULL },
+ { "cacute", 0x8000010700000000ULL },
+ { "cap", 0x8000222900000000ULL },
+ { "capand", 0x80002a4400000000ULL },
+ { "capbrcup", 0x80002a4900000000ULL },
+ { "capcap", 0x80002a4b00000000ULL },
+ { "capcup", 0x80002a4700000000ULL },
+ { "capdot", 0x80002a4000000000ULL },
+ { "caps", 0x800022290000fe00ULL },
+ { "caret", 0x8000204100000000ULL },
+ { "caron", 0x800002c700000000ULL },
+ { "ccaps", 0x80002a4d00000000ULL },
+ { "ccaron", 0x8000010d00000000ULL },
+ { "ccedil", 0x000000e700000000ULL },
+ { "ccirc", 0x8000010900000000ULL },
+ { "ccups", 0x80002a4c00000000ULL },
+ { "ccupssm", 0x80002a5000000000ULL },
+ { "cdot", 0x8000010b00000000ULL },
+ { "cedil", 0x000000b800000000ULL },
+ { "cemptyv", 0x800029b200000000ULL },
+ { "cent", 0x000000a200000000ULL },
+ { "centerdot", 0x800000b700000000ULL },
+ { "cfr", 0x8001d52000000000ULL },
+ { "chcy", 0x8000044700000000ULL },
+ { "check", 0x8000271300000000ULL },
+ { "checkmark", 0x8000271300000000ULL },
+ { "chi", 0x800003c700000000ULL },
+ { "cir", 0x800025cb00000000ULL },
+ { "cirE", 0x800029c300000000ULL },
+ { "circ", 0x800002c600000000ULL },
+ { "circeq", 0x8000225700000000ULL },
+ { "circlearrowleft", 0x800021ba00000000ULL },
+ { "circlearrowright", 0x800021bb00000000ULL },
+ { "circledR", 0x800000ae00000000ULL },
+ { "circledS", 0x800024c800000000ULL },
+ { "circledast", 0x8000229b00000000ULL },
+ { "circledcirc", 0x8000229a00000000ULL },
+ { "circleddash", 0x8000229d00000000ULL },
+ { "cire", 0x8000225700000000ULL },
+ { "cirfnint", 0x80002a1000000000ULL },
+ { "cirmid", 0x80002aef00000000ULL },
+ { "cirscir", 0x800029c200000000ULL },
+ { "clubs", 0x8000266300000000ULL },
+ { "clubsuit", 0x8000266300000000ULL },
+ { "colon", 0x8000003a00000000ULL },
+ { "colone", 0x8000225400000000ULL },
+ { "coloneq", 0x8000225400000000ULL },
+ { "comma", 0x8000002c00000000ULL },
+ { "commat", 0x8000004000000000ULL },
+ { "comp", 0x8000220100000000ULL },
+ { "compfn", 0x8000221800000000ULL },
+ { "complement", 0x8000220100000000ULL },
+ { "complexes", 0x8000210200000000ULL },
+ { "cong", 0x8000224500000000ULL },
+ { "congdot", 0x80002a6d00000000ULL },
+ { "conint", 0x8000222e00000000ULL },
+ { "copf", 0x8001d55400000000ULL },
+ { "coprod", 0x8000221000000000ULL },
+ { "copy", 0x000000a900000000ULL },
+ { "copysr", 0x8000211700000000ULL },
+ { "crarr", 0x800021b500000000ULL },
+ { "cross", 0x8000271700000000ULL },
+ { "cscr", 0x8001d4b800000000ULL },
+ { "csub", 0x80002acf00000000ULL },
+ { "csube", 0x80002ad100000000ULL },
+ { "csup", 0x80002ad000000000ULL },
+ { "csupe", 0x80002ad200000000ULL },
+ { "ctdot", 0x800022ef00000000ULL },
+ { "cudarrl", 0x8000293800000000ULL },
+ { "cudarrr", 0x8000293500000000ULL },
+ { "cuepr", 0x800022de00000000ULL },
+ { "cuesc", 0x800022df00000000ULL },
+ { "cularr", 0x800021b600000000ULL },
+ { "cularrp", 0x8000293d00000000ULL },
+ { "cup", 0x8000222a00000000ULL },
+ { "cupbrcap", 0x80002a4800000000ULL },
+ { "cupcap", 0x80002a4600000000ULL },
+ { "cupcup", 0x80002a4a00000000ULL },
+ { "cupdot", 0x8000228d00000000ULL },
+ { "cupor", 0x80002a4500000000ULL },
+ { "cups", 0x8000222a0000fe00ULL },
+ { "curarr", 0x800021b700000000ULL },
+ { "curarrm", 0x8000293c00000000ULL },
+ { "curlyeqprec", 0x800022de00000000ULL },
+ { "curlyeqsucc", 0x800022df00000000ULL },
+ { "curlyvee", 0x800022ce00000000ULL },
+ { "curlywedge", 0x800022cf00000000ULL },
+ { "curren", 0x000000a400000000ULL },
+ { "curvearrowleft", 0x800021b600000000ULL },
+ { "curvearrowright", 0x800021b700000000ULL },
+ { "cuvee", 0x800022ce00000000ULL },
+ { "cuwed", 0x800022cf00000000ULL },
+ { "cwconint", 0x8000223200000000ULL },
+ { "cwint", 0x8000223100000000ULL },
+ { "cylcty", 0x8000232d00000000ULL },
+ { "dArr", 0x800021d300000000ULL },
+ { "dHar", 0x8000296500000000ULL },
+ { "dagger", 0x8000202000000000ULL },
+ { "daleth", 0x8000213800000000ULL },
+ { "darr", 0x8000219300000000ULL },
+ { "dash", 0x8000201000000000ULL },
+ { "dashv", 0x800022a300000000ULL },
+ { "dbkarow", 0x8000290f00000000ULL },
+ { "dblac", 0x800002dd00000000ULL },
+ { "dcaron", 0x8000010f00000000ULL },
+ { "dcy", 0x8000043400000000ULL },
+ { "dd", 0x8000214600000000ULL },
+ { "ddagger", 0x8000202100000000ULL },
+ { "ddarr", 0x800021ca00000000ULL },
+ { "ddotseq", 0x80002a7700000000ULL },
+ { "deg", 0x000000b000000000ULL },
+ { "delta", 0x800003b400000000ULL },
+ { "demptyv", 0x800029b100000000ULL },
+ { "dfisht", 0x8000297f00000000ULL },
+ { "dfr", 0x8001d52100000000ULL },
+ { "dharl", 0x800021c300000000ULL },
+ { "dharr", 0x800021c200000000ULL },
+ { "diam", 0x800022c400000000ULL },
+ { "diamond", 0x800022c400000000ULL },
+ { "diamondsuit", 0x8000266600000000ULL },
+ { "diams", 0x8000266600000000ULL },
+ { "die", 0x800000a800000000ULL },
+ { "digamma", 0x800003dd00000000ULL },
+ { "disin", 0x800022f200000000ULL },
+ { "div", 0x800000f700000000ULL },
+ { "divide", 0x000000f700000000ULL },
+ { "divideontimes", 0x800022c700000000ULL },
+ { "divonx", 0x800022c700000000ULL },
+ { "djcy", 0x8000045200000000ULL },
+ { "dlcorn", 0x8000231e00000000ULL },
+ { "dlcrop", 0x8000230d00000000ULL },
+ { "dollar", 0x8000002400000000ULL },
+ { "dopf", 0x8001d55500000000ULL },
+ { "dot", 0x800002d900000000ULL },
+ { "doteq", 0x8000225000000000ULL },
+ { "doteqdot", 0x8000225100000000ULL },
+ { "dotminus", 0x8000223800000000ULL },
+ { "dotplus", 0x8000221400000000ULL },
+ { "dotsquare", 0x800022a100000000ULL },
+ { "doublebarwedge", 0x8000230600000000ULL },
+ { "downarrow", 0x8000219300000000ULL },
+ { "downdownarrows", 0x800021ca00000000ULL },
+ { "downharpoonleft", 0x800021c300000000ULL },
+ { "downharpoonright", 0x800021c200000000ULL },
+ { "drbkarow", 0x8000291000000000ULL },
+ { "drcorn", 0x8000231f00000000ULL },
+ { "drcrop", 0x8000230c00000000ULL },
+ { "dscr", 0x8001d4b900000000ULL },
+ { "dscy", 0x8000045500000000ULL },
+ { "dsol", 0x800029f600000000ULL },
+ { "dstrok", 0x8000011100000000ULL },
+ { "dtdot", 0x800022f100000000ULL },
+ { "dtri", 0x800025bf00000000ULL },
+ { "dtrif", 0x800025be00000000ULL },
+ { "duarr", 0x800021f500000000ULL },
+ { "duhar", 0x8000296f00000000ULL },
+ { "dwangle", 0x800029a600000000ULL },
+ { "dzcy", 0x8000045f00000000ULL },
+ { "dzigrarr", 0x800027ff00000000ULL },
+ { "eDDot", 0x80002a7700000000ULL },
+ { "eDot", 0x8000225100000000ULL },
+ { "eacute", 0x000000e900000000ULL },
+ { "easter", 0x80002a6e00000000ULL },
+ { "ecaron", 0x8000011b00000000ULL },
+ { "ecir", 0x8000225600000000ULL },
+ { "ecirc", 0x000000ea00000000ULL },
+ { "ecolon", 0x8000225500000000ULL },
+ { "ecy", 0x8000044d00000000ULL },
+ { "edot", 0x8000011700000000ULL },
+ { "ee", 0x8000214700000000ULL },
+ { "efDot", 0x8000225200000000ULL },
+ { "efr", 0x8001d52200000000ULL },
+ { "eg", 0x80002a9a00000000ULL },
+ { "egrave", 0x000000e800000000ULL },
+ { "egs", 0x80002a9600000000ULL },
+ { "egsdot", 0x80002a9800000000ULL },
+ { "el", 0x80002a9900000000ULL },
+ { "elinters", 0x800023e700000000ULL },
+ { "ell", 0x8000211300000000ULL },
+ { "els", 0x80002a9500000000ULL },
+ { "elsdot", 0x80002a9700000000ULL },
+ { "emacr", 0x8000011300000000ULL },
+ { "empty", 0x8000220500000000ULL },
+ { "emptyset", 0x8000220500000000ULL },
+ { "emptyv", 0x8000220500000000ULL },
+ { "emsp", 0x8000200300000000ULL },
+ { "emsp13", 0x8000200400000000ULL },
+ { "emsp14", 0x8000200500000000ULL },
+ { "eng", 0x8000014b00000000ULL },
+ { "ensp", 0x8000200200000000ULL },
+ { "eogon", 0x8000011900000000ULL },
+ { "eopf", 0x8001d55600000000ULL },
+ { "epar", 0x800022d500000000ULL },
+ { "eparsl", 0x800029e300000000ULL },
+ { "eplus", 0x80002a7100000000ULL },
+ { "epsi", 0x800003b500000000ULL },
+ { "epsilon", 0x800003b500000000ULL },
+ { "epsiv", 0x800003f500000000ULL },
+ { "eqcirc", 0x8000225600000000ULL },
+ { "eqcolon", 0x8000225500000000ULL },
+ { "eqsim", 0x8000224200000000ULL },
+ { "eqslantgtr", 0x80002a9600000000ULL },
+ { "eqslantless", 0x80002a9500000000ULL },
+ { "equals", 0x8000003d00000000ULL },
+ { "equest", 0x8000225f00000000ULL },
+ { "equiv", 0x8000226100000000ULL },
+ { "equivDD", 0x80002a7800000000ULL },
+ { "eqvparsl", 0x800029e500000000ULL },
+ { "erDot", 0x8000225300000000ULL },
+ { "erarr", 0x8000297100000000ULL },
+ { "escr", 0x8000212f00000000ULL },
+ { "esdot", 0x8000225000000000ULL },
+ { "esim", 0x8000224200000000ULL },
+ { "eta", 0x800003b700000000ULL },
+ { "eth", 0x000000f000000000ULL },
+ { "euml", 0x000000eb00000000ULL },
+ { "euro", 0x800020ac00000000ULL },
+ { "excl", 0x8000002100000000ULL },
+ { "exist", 0x8000220300000000ULL },
+ { "expectation", 0x8000213000000000ULL },
+ { "exponentiale", 0x8000214700000000ULL },
+ { "fallingdotseq", 0x8000225200000000ULL },
+ { "fcy", 0x8000044400000000ULL },
+ { "female", 0x8000264000000000ULL },
+ { "ffilig", 0x8000fb0300000000ULL },
+ { "fflig", 0x8000fb0000000000ULL },
+ { "ffllig", 0x8000fb0400000000ULL },
+ { "ffr", 0x8001d52300000000ULL },
+ { "filig", 0x8000fb0100000000ULL },
+ { "fjlig", 0x800000660000006aULL },
+ { "flat", 0x8000266d00000000ULL },
+ { "fllig", 0x8000fb0200000000ULL },
+ { "fltns", 0x800025b100000000ULL },
+ { "fnof", 0x8000019200000000ULL },
+ { "fopf", 0x8001d55700000000ULL },
+ { "forall", 0x8000220000000000ULL },
+ { "fork", 0x800022d400000000ULL },
+ { "forkv", 0x80002ad900000000ULL },
+ { "fpartint", 0x80002a0d00000000ULL },
+ { "frac12", 0x000000bd00000000ULL },
+ { "frac13", 0x8000215300000000ULL },
+ { "frac14", 0x000000bc00000000ULL },
+ { "frac15", 0x8000215500000000ULL },
+ { "frac16", 0x8000215900000000ULL },
+ { "frac18", 0x8000215b00000000ULL },
+ { "frac23", 0x8000215400000000ULL },
+ { "frac25", 0x8000215600000000ULL },
+ { "frac34", 0x000000be00000000ULL },
+ { "frac35", 0x8000215700000000ULL },
+ { "frac38", 0x8000215c00000000ULL },
+ { "frac45", 0x8000215800000000ULL },
+ { "frac56", 0x8000215a00000000ULL },
+ { "frac58", 0x8000215d00000000ULL },
+ { "frac78", 0x8000215e00000000ULL },
+ { "frasl", 0x8000204400000000ULL },
+ { "frown", 0x8000232200000000ULL },
+ { "fscr", 0x8001d4bb00000000ULL },
+ { "gE", 0x8000226700000000ULL },
+ { "gEl", 0x80002a8c00000000ULL },
+ { "gacute", 0x800001f500000000ULL },
+ { "gamma", 0x800003b300000000ULL },
+ { "gammad", 0x800003dd00000000ULL },
+ { "gap", 0x80002a8600000000ULL },
+ { "gbreve", 0x8000011f00000000ULL },
+ { "gcirc", 0x8000011d00000000ULL },
+ { "gcy", 0x8000043300000000ULL },
+ { "gdot", 0x8000012100000000ULL },
+ { "ge", 0x8000226500000000ULL },
+ { "gel", 0x800022db00000000ULL },
+ { "geq", 0x8000226500000000ULL },
+ { "geqq", 0x8000226700000000ULL },
+ { "geqslant", 0x80002a7e00000000ULL },
+ { "ges", 0x80002a7e00000000ULL },
+ { "gescc", 0x80002aa900000000ULL },
+ { "gesdot", 0x80002a8000000000ULL },
+ { "gesdoto", 0x80002a8200000000ULL },
+ { "gesdotol", 0x80002a8400000000ULL },
+ { "gesl", 0x800022db0000fe00ULL },
+ { "gesles", 0x80002a9400000000ULL },
+ { "gfr", 0x8001d52400000000ULL },
+ { "gg", 0x8000226b00000000ULL },
+ { "ggg", 0x800022d900000000ULL },
+ { "gimel", 0x8000213700000000ULL },
+ { "gjcy", 0x8000045300000000ULL },
+ { "gl", 0x8000227700000000ULL },
+ { "glE", 0x80002a9200000000ULL },
+ { "gla", 0x80002aa500000000ULL },
+ { "glj", 0x80002aa400000000ULL },
+ { "gnE", 0x8000226900000000ULL },
+ { "gnap", 0x80002a8a00000000ULL },
+ { "gnapprox", 0x80002a8a00000000ULL },
+ { "gne", 0x80002a8800000000ULL },
+ { "gneq", 0x80002a8800000000ULL },
+ { "gneqq", 0x8000226900000000ULL },
+ { "gnsim", 0x800022e700000000ULL },
+ { "gopf", 0x8001d55800000000ULL },
+ { "grave", 0x8000006000000000ULL },
+ { "gscr", 0x8000210a00000000ULL },
+ { "gsim", 0x8000227300000000ULL },
+ { "gsime", 0x80002a8e00000000ULL },
+ { "gsiml", 0x80002a9000000000ULL },
+ { "gt", 0x0000003e00000000ULL },
+ { "gtcc", 0x80002aa700000000ULL },
+ { "gtcir", 0x80002a7a00000000ULL },
+ { "gtdot", 0x800022d700000000ULL },
+ { "gtlPar", 0x8000299500000000ULL },
+ { "gtquest", 0x80002a7c00000000ULL },
+ { "gtrapprox", 0x80002a8600000000ULL },
+ { "gtrarr", 0x8000297800000000ULL },
+ { "gtrdot", 0x800022d700000000ULL },
+ { "gtreqless", 0x800022db00000000ULL },
+ { "gtreqqless", 0x80002a8c00000000ULL },
+ { "gtrless", 0x8000227700000000ULL },
+ { "gtrsim", 0x8000227300000000ULL },
+ { "gvertneqq", 0x800022690000fe00ULL },
+ { "gvnE", 0x800022690000fe00ULL },
+ { "hArr", 0x800021d400000000ULL },
+ { "hairsp", 0x8000200a00000000ULL },
+ { "half", 0x800000bd00000000ULL },
+ { "hamilt", 0x8000210b00000000ULL },
+ { "hardcy", 0x8000044a00000000ULL },
+ { "harr", 0x8000219400000000ULL },
+ { "harrcir", 0x8000294800000000ULL },
+ { "harrw", 0x800021ad00000000ULL },
+ { "hbar", 0x8000210f00000000ULL },
+ { "hcirc", 0x8000012500000000ULL },
+ { "hearts", 0x8000266500000000ULL },
+ { "heartsuit", 0x8000266500000000ULL },
+ { "hellip", 0x8000202600000000ULL },
+ { "hercon", 0x800022b900000000ULL },
+ { "hfr", 0x8001d52500000000ULL },
+ { "hksearow", 0x8000292500000000ULL },
+ { "hkswarow", 0x8000292600000000ULL },
+ { "hoarr", 0x800021ff00000000ULL },
+ { "homtht", 0x8000223b00000000ULL },
+ { "hookleftarrow", 0x800021a900000000ULL },
+ { "hookrightarrow", 0x800021aa00000000ULL },
+ { "hopf", 0x8001d55900000000ULL },
+ { "horbar", 0x8000201500000000ULL },
+ { "hscr", 0x8001d4bd00000000ULL },
+ { "hslash", 0x8000210f00000000ULL },
+ { "hstrok", 0x8000012700000000ULL },
+ { "hybull", 0x8000204300000000ULL },
+ { "hyphen", 0x8000201000000000ULL },
+ { "iacute", 0x000000ed00000000ULL },
+ { "ic", 0x8000206300000000ULL },
+ { "icirc", 0x000000ee00000000ULL },
+ { "icy", 0x8000043800000000ULL },
+ { "iecy", 0x8000043500000000ULL },
+ { "iexcl", 0x000000a100000000ULL },
+ { "iff", 0x800021d400000000ULL },
+ { "ifr", 0x8001d52600000000ULL },
+ { "igrave", 0x000000ec00000000ULL },
+ { "ii", 0x8000214800000000ULL },
+ { "iiiint", 0x80002a0c00000000ULL },
+ { "iiint", 0x8000222d00000000ULL },
+ { "iinfin", 0x800029dc00000000ULL },
+ { "iiota", 0x8000212900000000ULL },
+ { "ijlig", 0x8000013300000000ULL },
+ { "imacr", 0x8000012b00000000ULL },
+ { "image", 0x8000211100000000ULL },
+ { "imagline", 0x8000211000000000ULL },
+ { "imagpart", 0x8000211100000000ULL },
+ { "imath", 0x8000013100000000ULL },
+ { "imof", 0x800022b700000000ULL },
+ { "imped", 0x800001b500000000ULL },
+ { "in", 0x8000220800000000ULL },
+ { "incare", 0x8000210500000000ULL },
+ { "infin", 0x8000221e00000000ULL },
+ { "infintie", 0x800029dd00000000ULL },
+ { "inodot", 0x8000013100000000ULL },
+ { "int", 0x8000222b00000000ULL },
+ { "intcal", 0x800022ba00000000ULL },
+ { "integers", 0x8000212400000000ULL },
+ { "intercal", 0x800022ba00000000ULL },
+ { "intlarhk", 0x80002a1700000000ULL },
+ { "intprod", 0x80002a3c00000000ULL },
+ { "iocy", 0x8000045100000000ULL },
+ { "iogon", 0x8000012f00000000ULL },
+ { "iopf", 0x8001d55a00000000ULL },
+ { "iota", 0x800003b900000000ULL },
+ { "iprod", 0x80002a3c00000000ULL },
+ { "iquest", 0x000000bf00000000ULL },
+ { "iscr", 0x8001d4be00000000ULL },
+ { "isin", 0x8000220800000000ULL },
+ { "isinE", 0x800022f900000000ULL },
+ { "isindot", 0x800022f500000000ULL },
+ { "isins", 0x800022f400000000ULL },
+ { "isinsv", 0x800022f300000000ULL },
+ { "isinv", 0x8000220800000000ULL },
+ { "it", 0x8000206200000000ULL },
+ { "itilde", 0x8000012900000000ULL },
+ { "iukcy", 0x8000045600000000ULL },
+ { "iuml", 0x000000ef00000000ULL },
+ { "jcirc", 0x8000013500000000ULL },
+ { "jcy", 0x8000043900000000ULL },
+ { "jfr", 0x8001d52700000000ULL },
+ { "jmath", 0x8000023700000000ULL },
+ { "jopf", 0x8001d55b00000000ULL },
+ { "jscr", 0x8001d4bf00000000ULL },
+ { "jsercy", 0x8000045800000000ULL },
+ { "jukcy", 0x8000045400000000ULL },
+ { "kappa", 0x800003ba00000000ULL },
+ { "kappav", 0x800003f000000000ULL },
+ { "kcedil", 0x8000013700000000ULL },
+ { "kcy", 0x8000043a00000000ULL },
+ { "kfr", 0x8001d52800000000ULL },
+ { "kgreen", 0x8000013800000000ULL },
+ { "khcy", 0x8000044500000000ULL },
+ { "kjcy", 0x8000045c00000000ULL },
+ { "kopf", 0x8001d55c00000000ULL },
+ { "kscr", 0x8001d4c000000000ULL },
+ { "lAarr", 0x800021da00000000ULL },
+ { "lArr", 0x800021d000000000ULL },
+ { "lAtail", 0x8000291b00000000ULL },
+ { "lBarr", 0x8000290e00000000ULL },
+ { "lE", 0x8000226600000000ULL },
+ { "lEg", 0x80002a8b00000000ULL },
+ { "lHar", 0x8000296200000000ULL },
+ { "lacute", 0x8000013a00000000ULL },
+ { "laemptyv", 0x800029b400000000ULL },
+ { "lagran", 0x8000211200000000ULL },
+ { "lambda", 0x800003bb00000000ULL },
+ { "lang", 0x800027e800000000ULL },
+ { "langd", 0x8000299100000000ULL },
+ { "langle", 0x800027e800000000ULL },
+ { "lap", 0x80002a8500000000ULL },
+ { "laquo", 0x000000ab00000000ULL },
+ { "larr", 0x8000219000000000ULL },
+ { "larrb", 0x800021e400000000ULL },
+ { "larrbfs", 0x8000291f00000000ULL },
+ { "larrfs", 0x8000291d00000000ULL },
+ { "larrhk", 0x800021a900000000ULL },
+ { "larrlp", 0x800021ab00000000ULL },
+ { "larrpl", 0x8000293900000000ULL },
+ { "larrsim", 0x8000297300000000ULL },
+ { "larrtl", 0x800021a200000000ULL },
+ { "lat", 0x80002aab00000000ULL },
+ { "latail", 0x8000291900000000ULL },
+ { "late", 0x80002aad00000000ULL },
+ { "lates", 0x80002aad0000fe00ULL },
+ { "lbarr", 0x8000290c00000000ULL },
+ { "lbbrk", 0x8000277200000000ULL },
+ { "lbrace", 0x8000007b00000000ULL },
+ { "lbrack", 0x8000005b00000000ULL },
+ { "lbrke", 0x8000298b00000000ULL },
+ { "lbrksld", 0x8000298f00000000ULL },
+ { "lbrkslu", 0x8000298d00000000ULL },
+ { "lcaron", 0x8000013e00000000ULL },
+ { "lcedil", 0x8000013c00000000ULL },
+ { "lceil", 0x8000230800000000ULL },
+ { "lcub", 0x8000007b00000000ULL },
+ { "lcy", 0x8000043b00000000ULL },
+ { "ldca", 0x8000293600000000ULL },
+ { "ldquo", 0x8000201c00000000ULL },
+ { "ldquor", 0x8000201e00000000ULL },
+ { "ldrdhar", 0x8000296700000000ULL },
+ { "ldrushar", 0x8000294b00000000ULL },
+ { "ldsh", 0x800021b200000000ULL },
+ { "le", 0x8000226400000000ULL },
+ { "leftarrow", 0x8000219000000000ULL },
+ { "leftarrowtail", 0x800021a200000000ULL },
+ { "leftharpoondown", 0x800021bd00000000ULL },
+ { "leftharpoonup", 0x800021bc00000000ULL },
+ { "leftleftarrows", 0x800021c700000000ULL },
+ { "leftrightarrow", 0x8000219400000000ULL },
+ { "leftrightarrows", 0x800021c600000000ULL },
+ { "leftrightharpoons", 0x800021cb00000000ULL },
+ { "leftrightsquigarrow", 0x800021ad00000000ULL },
+ { "leftthreetimes", 0x800022cb00000000ULL },
+ { "leg", 0x800022da00000000ULL },
+ { "leq", 0x8000226400000000ULL },
+ { "leqq", 0x8000226600000000ULL },
+ { "leqslant", 0x80002a7d00000000ULL },
+ { "les", 0x80002a7d00000000ULL },
+ { "lescc", 0x80002aa800000000ULL },
+ { "lesdot", 0x80002a7f00000000ULL },
+ { "lesdoto", 0x80002a8100000000ULL },
+ { "lesdotor", 0x80002a8300000000ULL },
+ { "lesg", 0x800022da0000fe00ULL },
+ { "lesges", 0x80002a9300000000ULL },
+ { "lessapprox", 0x80002a8500000000ULL },
+ { "lessdot", 0x800022d600000000ULL },
+ { "lesseqgtr", 0x800022da00000000ULL },
+ { "lesseqqgtr", 0x80002a8b00000000ULL },
+ { "lessgtr", 0x8000227600000000ULL },
+ { "lesssim", 0x8000227200000000ULL },
+ { "lfisht", 0x8000297c00000000ULL },
+ { "lfloor", 0x8000230a00000000ULL },
+ { "lfr", 0x8001d52900000000ULL },
+ { "lg", 0x8000227600000000ULL },
+ { "lgE", 0x80002a9100000000ULL },
+ { "lhard", 0x800021bd00000000ULL },
+ { "lharu", 0x800021bc00000000ULL },
+ { "lharul", 0x8000296a00000000ULL },
+ { "lhblk", 0x8000258400000000ULL },
+ { "ljcy", 0x8000045900000000ULL },
+ { "ll", 0x8000226a00000000ULL },
+ { "llarr", 0x800021c700000000ULL },
+ { "llcorner", 0x8000231e00000000ULL },
+ { "llhard", 0x8000296b00000000ULL },
+ { "lltri", 0x800025fa00000000ULL },
+ { "lmidot", 0x8000014000000000ULL },
+ { "lmoust", 0x800023b000000000ULL },
+ { "lmoustache", 0x800023b000000000ULL },
+ { "lnE", 0x8000226800000000ULL },
+ { "lnap", 0x80002a8900000000ULL },
+ { "lnapprox", 0x80002a8900000000ULL },
+ { "lne", 0x80002a8700000000ULL },
+ { "lneq", 0x80002a8700000000ULL },
+ { "lneqq", 0x8000226800000000ULL },
+ { "lnsim", 0x800022e600000000ULL },
+ { "loang", 0x800027ec00000000ULL },
+ { "loarr", 0x800021fd00000000ULL },
+ { "lobrk", 0x800027e600000000ULL },
+ { "longleftarrow", 0x800027f500000000ULL },
+ { "longleftrightarrow", 0x800027f700000000ULL },
+ { "longmapsto", 0x800027fc00000000ULL },
+ { "longrightarrow", 0x800027f600000000ULL },
+ { "looparrowleft", 0x800021ab00000000ULL },
+ { "looparrowright", 0x800021ac00000000ULL },
+ { "lopar", 0x8000298500000000ULL },
+ { "lopf", 0x8001d55d00000000ULL },
+ { "loplus", 0x80002a2d00000000ULL },
+ { "lotimes", 0x80002a3400000000ULL },
+ { "lowast", 0x8000221700000000ULL },
+ { "lowbar", 0x8000005f00000000ULL },
+ { "loz", 0x800025ca00000000ULL },
+ { "lozenge", 0x800025ca00000000ULL },
+ { "lozf", 0x800029eb00000000ULL },
+ { "lpar", 0x8000002800000000ULL },
+ { "lparlt", 0x8000299300000000ULL },
+ { "lrarr", 0x800021c600000000ULL },
+ { "lrcorner", 0x8000231f00000000ULL },
+ { "lrhar", 0x800021cb00000000ULL },
+ { "lrhard", 0x8000296d00000000ULL },
+ { "lrm", 0x8000200e00000000ULL },
+ { "lrtri", 0x800022bf00000000ULL },
+ { "lsaquo", 0x8000203900000000ULL },
+ { "lscr", 0x8001d4c100000000ULL },
+ { "lsh", 0x800021b000000000ULL },
+ { "lsim", 0x8000227200000000ULL },
+ { "lsime", 0x80002a8d00000000ULL },
+ { "lsimg", 0x80002a8f00000000ULL },
+ { "lsqb", 0x8000005b00000000ULL },
+ { "lsquo", 0x8000201800000000ULL },
+ { "lsquor", 0x8000201a00000000ULL },
+ { "lstrok", 0x8000014200000000ULL },
+ { "lt", 0x0000003c00000000ULL },
+ { "ltcc", 0x80002aa600000000ULL },
+ { "ltcir", 0x80002a7900000000ULL },
+ { "ltdot", 0x800022d600000000ULL },
+ { "lthree", 0x800022cb00000000ULL },
+ { "ltimes", 0x800022c900000000ULL },
+ { "ltlarr", 0x8000297600000000ULL },
+ { "ltquest", 0x80002a7b00000000ULL },
+ { "ltrPar", 0x8000299600000000ULL },
+ { "ltri", 0x800025c300000000ULL },
+ { "ltrie", 0x800022b400000000ULL },
+ { "ltrif", 0x800025c200000000ULL },
+ { "lurdshar", 0x8000294a00000000ULL },
+ { "luruhar", 0x8000296600000000ULL },
+ { "lvertneqq", 0x800022680000fe00ULL },
+ { "lvnE", 0x800022680000fe00ULL },
+ { "mDDot", 0x8000223a00000000ULL },
+ { "macr", 0x000000af00000000ULL },
+ { "male", 0x8000264200000000ULL },
+ { "malt", 0x8000272000000000ULL },
+ { "maltese", 0x8000272000000000ULL },
+ { "map", 0x800021a600000000ULL },
+ { "mapsto", 0x800021a600000000ULL },
+ { "mapstodown", 0x800021a700000000ULL },
+ { "mapstoleft", 0x800021a400000000ULL },
+ { "mapstoup", 0x800021a500000000ULL },
+ { "marker", 0x800025ae00000000ULL },
+ { "mcomma", 0x80002a2900000000ULL },
+ { "mcy", 0x8000043c00000000ULL },
+ { "mdash", 0x8000201400000000ULL },
+ { "measuredangle", 0x8000222100000000ULL },
+ { "mfr", 0x8001d52a00000000ULL },
+ { "mho", 0x8000212700000000ULL },
+ { "micro", 0x000000b500000000ULL },
+ { "mid", 0x8000222300000000ULL },
+ { "midast", 0x8000002a00000000ULL },
+ { "midcir", 0x80002af000000000ULL },
+ { "middot", 0x000000b700000000ULL },
+ { "minus", 0x8000221200000000ULL },
+ { "minusb", 0x8000229f00000000ULL },
+ { "minusd", 0x8000223800000000ULL },
+ { "minusdu", 0x80002a2a00000000ULL },
+ { "mlcp", 0x80002adb00000000ULL },
+ { "mldr", 0x8000202600000000ULL },
+ { "mnplus", 0x8000221300000000ULL },
+ { "models", 0x800022a700000000ULL },
+ { "mopf", 0x8001d55e00000000ULL },
+ { "mp", 0x8000221300000000ULL },
+ { "mscr", 0x8001d4c200000000ULL },
+ { "mstpos", 0x8000223e00000000ULL },
+ { "mu", 0x800003bc00000000ULL },
+ { "multimap", 0x800022b800000000ULL },
+ { "mumap", 0x800022b800000000ULL },
+ { "nGg", 0x800022d900000338ULL },
+ { "nGt", 0x8000226b000020d2ULL },
+ { "nGtv", 0x8000226b00000338ULL },
+ { "nLeftarrow", 0x800021cd00000000ULL },
+ { "nLeftrightarrow", 0x800021ce00000000ULL },
+ { "nLl", 0x800022d800000338ULL },
+ { "nLt", 0x8000226a000020d2ULL },
+ { "nLtv", 0x8000226a00000338ULL },
+ { "nRightarrow", 0x800021cf00000000ULL },
+ { "nVDash", 0x800022af00000000ULL },
+ { "nVdash", 0x800022ae00000000ULL },
+ { "nabla", 0x8000220700000000ULL },
+ { "nacute", 0x8000014400000000ULL },
+ { "nang", 0x80002220000020d2ULL },
+ { "nap", 0x8000224900000000ULL },
+ { "napE", 0x80002a7000000338ULL },
+ { "napid", 0x8000224b00000338ULL },
+ { "napos", 0x8000014900000000ULL },
+ { "napprox", 0x8000224900000000ULL },
+ { "natur", 0x8000266e00000000ULL },
+ { "natural", 0x8000266e00000000ULL },
+ { "naturals", 0x8000211500000000ULL },
+ { "nbsp", 0x000000a000000000ULL },
+ { "nbump", 0x8000224e00000338ULL },
+ { "nbumpe", 0x8000224f00000338ULL },
+ { "ncap", 0x80002a4300000000ULL },
+ { "ncaron", 0x8000014800000000ULL },
+ { "ncedil", 0x8000014600000000ULL },
+ { "ncong", 0x8000224700000000ULL },
+ { "ncongdot", 0x80002a6d00000338ULL },
+ { "ncup", 0x80002a4200000000ULL },
+ { "ncy", 0x8000043d00000000ULL },
+ { "ndash", 0x8000201300000000ULL },
+ { "ne", 0x8000226000000000ULL },
+ { "neArr", 0x800021d700000000ULL },
+ { "nearhk", 0x8000292400000000ULL },
+ { "nearr", 0x8000219700000000ULL },
+ { "nearrow", 0x8000219700000000ULL },
+ { "nedot", 0x8000225000000338ULL },
+ { "nequiv", 0x8000226200000000ULL },
+ { "nesear", 0x8000292800000000ULL },
+ { "nesim", 0x8000224200000338ULL },
+ { "nexist", 0x8000220400000000ULL },
+ { "nexists", 0x8000220400000000ULL },
+ { "nfr", 0x8001d52b00000000ULL },
+ { "ngE", 0x8000226700000338ULL },
+ { "nge", 0x8000227100000000ULL },
+ { "ngeq", 0x8000227100000000ULL },
+ { "ngeqq", 0x8000226700000338ULL },
+ { "ngeqslant", 0x80002a7e00000338ULL },
+ { "nges", 0x80002a7e00000338ULL },
+ { "ngsim", 0x8000227500000000ULL },
+ { "ngt", 0x8000226f00000000ULL },
+ { "ngtr", 0x8000226f00000000ULL },
+ { "nhArr", 0x800021ce00000000ULL },
+ { "nharr", 0x800021ae00000000ULL },
+ { "nhpar", 0x80002af200000000ULL },
+ { "ni", 0x8000220b00000000ULL },
+ { "nis", 0x800022fc00000000ULL },
+ { "nisd", 0x800022fa00000000ULL },
+ { "niv", 0x8000220b00000000ULL },
+ { "njcy", 0x8000045a00000000ULL },
+ { "nlArr", 0x800021cd00000000ULL },
+ { "nlE", 0x8000226600000338ULL },
+ { "nlarr", 0x8000219a00000000ULL },
+ { "nldr", 0x8000202500000000ULL },
+ { "nle", 0x8000227000000000ULL },
+ { "nleftarrow", 0x8000219a00000000ULL },
+ { "nleftrightarrow", 0x800021ae00000000ULL },
+ { "nleq", 0x8000227000000000ULL },
+ { "nleqq", 0x8000226600000338ULL },
+ { "nleqslant", 0x80002a7d00000338ULL },
+ { "nles", 0x80002a7d00000338ULL },
+ { "nless", 0x8000226e00000000ULL },
+ { "nlsim", 0x8000227400000000ULL },
+ { "nlt", 0x8000226e00000000ULL },
+ { "nltri", 0x800022ea00000000ULL },
+ { "nltrie", 0x800022ec00000000ULL },
+ { "nmid", 0x8000222400000000ULL },
+ { "nopf", 0x8001d55f00000000ULL },
+ { "not", 0x000000ac00000000ULL },
+ { "notin", 0x8000220900000000ULL },
+ { "notinE", 0x800022f900000338ULL },
+ { "notindot", 0x800022f500000338ULL },
+ { "notinva", 0x8000220900000000ULL },
+ { "notinvb", 0x800022f700000000ULL },
+ { "notinvc", 0x800022f600000000ULL },
+ { "notni", 0x8000220c00000000ULL },
+ { "notniva", 0x8000220c00000000ULL },
+ { "notnivb", 0x800022fe00000000ULL },
+ { "notnivc", 0x800022fd00000000ULL },
+ { "npar", 0x8000222600000000ULL },
+ { "nparallel", 0x8000222600000000ULL },
+ { "nparsl", 0x80002afd000020e5ULL },
+ { "npart", 0x8000220200000338ULL },
+ { "npolint", 0x80002a1400000000ULL },
+ { "npr", 0x8000228000000000ULL },
+ { "nprcue", 0x800022e000000000ULL },
+ { "npre", 0x80002aaf00000338ULL },
+ { "nprec", 0x8000228000000000ULL },
+ { "npreceq", 0x80002aaf00000338ULL },
+ { "nrArr", 0x800021cf00000000ULL },
+ { "nrarr", 0x8000219b00000000ULL },
+ { "nrarrc", 0x8000293300000338ULL },
+ { "nrarrw", 0x8000219d00000338ULL },
+ { "nrightarrow", 0x8000219b00000000ULL },
+ { "nrtri", 0x800022eb00000000ULL },
+ { "nrtrie", 0x800022ed00000000ULL },
+ { "nsc", 0x8000228100000000ULL },
+ { "nsccue", 0x800022e100000000ULL },
+ { "nsce", 0x80002ab000000338ULL },
+ { "nscr", 0x8001d4c300000000ULL },
+ { "nshortmid", 0x8000222400000000ULL },
+ { "nshortparallel", 0x8000222600000000ULL },
+ { "nsim", 0x8000224100000000ULL },
+ { "nsime", 0x8000224400000000ULL },
+ { "nsimeq", 0x8000224400000000ULL },
+ { "nsmid", 0x8000222400000000ULL },
+ { "nspar", 0x8000222600000000ULL },
+ { "nsqsube", 0x800022e200000000ULL },
+ { "nsqsupe", 0x800022e300000000ULL },
+ { "nsub", 0x8000228400000000ULL },
+ { "nsubE", 0x80002ac500000338ULL },
+ { "nsube", 0x8000228800000000ULL },
+ { "nsubset", 0x80002282000020d2ULL },
+ { "nsubseteq", 0x8000228800000000ULL },
+ { "nsubseteqq", 0x80002ac500000338ULL },
+ { "nsucc", 0x8000228100000000ULL },
+ { "nsucceq", 0x80002ab000000338ULL },
+ { "nsup", 0x8000228500000000ULL },
+ { "nsupE", 0x80002ac600000338ULL },
+ { "nsupe", 0x8000228900000000ULL },
+ { "nsupset", 0x80002283000020d2ULL },
+ { "nsupseteq", 0x8000228900000000ULL },
+ { "nsupseteqq", 0x80002ac600000338ULL },
+ { "ntgl", 0x8000227900000000ULL },
+ { "ntilde", 0x000000f100000000ULL },
+ { "ntlg", 0x8000227800000000ULL },
+ { "ntriangleleft", 0x800022ea00000000ULL },
+ { "ntrianglelefteq", 0x800022ec00000000ULL },
+ { "ntriangleright", 0x800022eb00000000ULL },
+ { "ntrianglerighteq", 0x800022ed00000000ULL },
+ { "nu", 0x800003bd00000000ULL },
+ { "num", 0x8000002300000000ULL },
+ { "numero", 0x8000211600000000ULL },
+ { "numsp", 0x8000200700000000ULL },
+ { "nvDash", 0x800022ad00000000ULL },
+ { "nvHarr", 0x8000290400000000ULL },
+ { "nvap", 0x8000224d000020d2ULL },
+ { "nvdash", 0x800022ac00000000ULL },
+ { "nvge", 0x80002265000020d2ULL },
+ { "nvgt", 0x8000003e000020d2ULL },
+ { "nvinfin", 0x800029de00000000ULL },
+ { "nvlArr", 0x8000290200000000ULL },
+ { "nvle", 0x80002264000020d2ULL },
+ { "nvlt", 0x8000003c000020d2ULL },
+ { "nvltrie", 0x800022b4000020d2ULL },
+ { "nvrArr", 0x8000290300000000ULL },
+ { "nvrtrie", 0x800022b5000020d2ULL },
+ { "nvsim", 0x8000223c000020d2ULL },
+ { "nwArr", 0x800021d600000000ULL },
+ { "nwarhk", 0x8000292300000000ULL },
+ { "nwarr", 0x8000219600000000ULL },
+ { "nwarrow", 0x8000219600000000ULL },
+ { "nwnear", 0x8000292700000000ULL },
+ { "oS", 0x800024c800000000ULL },
+ { "oacute", 0x000000f300000000ULL },
+ { "oast", 0x8000229b00000000ULL },
+ { "ocir", 0x8000229a00000000ULL },
+ { "ocirc", 0x000000f400000000ULL },
+ { "ocy", 0x8000043e00000000ULL },
+ { "odash", 0x8000229d00000000ULL },
+ { "odblac", 0x8000015100000000ULL },
+ { "odiv", 0x80002a3800000000ULL },
+ { "odot", 0x8000229900000000ULL },
+ { "odsold", 0x800029bc00000000ULL },
+ { "oelig", 0x8000015300000000ULL },
+ { "ofcir", 0x800029bf00000000ULL },
+ { "ofr", 0x8001d52c00000000ULL },
+ { "ogon", 0x800002db00000000ULL },
+ { "ograve", 0x000000f200000000ULL },
+ { "ogt", 0x800029c100000000ULL },
+ { "ohbar", 0x800029b500000000ULL },
+ { "ohm", 0x800003a900000000ULL },
+ { "oint", 0x8000222e00000000ULL },
+ { "olarr", 0x800021ba00000000ULL },
+ { "olcir", 0x800029be00000000ULL },
+ { "olcross", 0x800029bb00000000ULL },
+ { "oline", 0x8000203e00000000ULL },
+ { "olt", 0x800029c000000000ULL },
+ { "omacr", 0x8000014d00000000ULL },
+ { "omega", 0x800003c900000000ULL },
+ { "omicron", 0x800003bf00000000ULL },
+ { "omid", 0x800029b600000000ULL },
+ { "ominus", 0x8000229600000000ULL },
+ { "oopf", 0x8001d56000000000ULL },
+ { "opar", 0x800029b700000000ULL },
+ { "operp", 0x800029b900000000ULL },
+ { "oplus", 0x8000229500000000ULL },
+ { "or", 0x8000222800000000ULL },
+ { "orarr", 0x800021bb00000000ULL },
+ { "ord", 0x80002a5d00000000ULL },
+ { "order", 0x8000213400000000ULL },
+ { "orderof", 0x8000213400000000ULL },
+ { "ordf", 0x000000aa00000000ULL },
+ { "ordm", 0x000000ba00000000ULL },
+ { "origof", 0x800022b600000000ULL },
+ { "oror", 0x80002a5600000000ULL },
+ { "orslope", 0x80002a5700000000ULL },
+ { "orv", 0x80002a5b00000000ULL },
+ { "oscr", 0x8000213400000000ULL },
+ { "oslash", 0x000000f800000000ULL },
+ { "osol", 0x8000229800000000ULL },
+ { "otilde", 0x000000f500000000ULL },
+ { "otimes", 0x8000229700000000ULL },
+ { "otimesas", 0x80002a3600000000ULL },
+ { "ouml", 0x000000f600000000ULL },
+ { "ovbar", 0x8000233d00000000ULL },
+ { "par", 0x8000222500000000ULL },
+ { "para", 0x000000b600000000ULL },
+ { "parallel", 0x8000222500000000ULL },
+ { "parsim", 0x80002af300000000ULL },
+ { "parsl", 0x80002afd00000000ULL },
+ { "part", 0x8000220200000000ULL },
+ { "pcy", 0x8000043f00000000ULL },
+ { "percnt", 0x8000002500000000ULL },
+ { "period", 0x8000002e00000000ULL },
+ { "permil", 0x8000203000000000ULL },
+ { "perp", 0x800022a500000000ULL },
+ { "pertenk", 0x8000203100000000ULL },
+ { "pfr", 0x8001d52d00000000ULL },
+ { "phi", 0x800003c600000000ULL },
+ { "phiv", 0x800003d500000000ULL },
+ { "phmmat", 0x8000213300000000ULL },
+ { "phone", 0x8000260e00000000ULL },
+ { "pi", 0x800003c000000000ULL },
+ { "pitchfork", 0x800022d400000000ULL },
+ { "piv", 0x800003d600000000ULL },
+ { "planck", 0x8000210f00000000ULL },
+ { "planckh", 0x8000210e00000000ULL },
+ { "plankv", 0x8000210f00000000ULL },
+ { "plus", 0x8000002b00000000ULL },
+ { "plusacir", 0x80002a2300000000ULL },
+ { "plusb", 0x8000229e00000000ULL },
+ { "pluscir", 0x80002a2200000000ULL },
+ { "plusdo", 0x8000221400000000ULL },
+ { "plusdu", 0x80002a2500000000ULL },
+ { "pluse", 0x80002a7200000000ULL },
+ { "plusmn", 0x000000b100000000ULL },
+ { "plussim", 0x80002a2600000000ULL },
+ { "plustwo", 0x80002a2700000000ULL },
+ { "pm", 0x800000b100000000ULL },
+ { "pointint", 0x80002a1500000000ULL },
+ { "popf", 0x8001d56100000000ULL },
+ { "pound", 0x000000a300000000ULL },
+ { "pr", 0x8000227a00000000ULL },
+ { "prE", 0x80002ab300000000ULL },
+ { "prap", 0x80002ab700000000ULL },
+ { "prcue", 0x8000227c00000000ULL },
+ { "pre", 0x80002aaf00000000ULL },
+ { "prec", 0x8000227a00000000ULL },
+ { "precapprox", 0x80002ab700000000ULL },
+ { "preccurlyeq", 0x8000227c00000000ULL },
+ { "preceq", 0x80002aaf00000000ULL },
+ { "precnapprox", 0x80002ab900000000ULL },
+ { "precneqq", 0x80002ab500000000ULL },
+ { "precnsim", 0x800022e800000000ULL },
+ { "precsim", 0x8000227e00000000ULL },
+ { "prime", 0x8000203200000000ULL },
+ { "primes", 0x8000211900000000ULL },
+ { "prnE", 0x80002ab500000000ULL },
+ { "prnap", 0x80002ab900000000ULL },
+ { "prnsim", 0x800022e800000000ULL },
+ { "prod", 0x8000220f00000000ULL },
+ { "profalar", 0x8000232e00000000ULL },
+ { "profline", 0x8000231200000000ULL },
+ { "profsurf", 0x8000231300000000ULL },
+ { "prop", 0x8000221d00000000ULL },
+ { "propto", 0x8000221d00000000ULL },
+ { "prsim", 0x8000227e00000000ULL },
+ { "prurel", 0x800022b000000000ULL },
+ { "pscr", 0x8001d4c500000000ULL },
+ { "psi", 0x800003c800000000ULL },
+ { "puncsp", 0x8000200800000000ULL },
+ { "qfr", 0x8001d52e00000000ULL },
+ { "qint", 0x80002a0c00000000ULL },
+ { "qopf", 0x8001d56200000000ULL },
+ { "qprime", 0x8000205700000000ULL },
+ { "qscr", 0x8001d4c600000000ULL },
+ { "quaternions", 0x8000210d00000000ULL },
+ { "quatint", 0x80002a1600000000ULL },
+ { "quest", 0x8000003f00000000ULL },
+ { "questeq", 0x8000225f00000000ULL },
+ { "quot", 0x0000002200000000ULL },
+ { "rAarr", 0x800021db00000000ULL },
+ { "rArr", 0x800021d200000000ULL },
+ { "rAtail", 0x8000291c00000000ULL },
+ { "rBarr", 0x8000290f00000000ULL },
+ { "rHar", 0x8000296400000000ULL },
+ { "race", 0x8000223d00000331ULL },
+ { "racute", 0x8000015500000000ULL },
+ { "radic", 0x8000221a00000000ULL },
+ { "raemptyv", 0x800029b300000000ULL },
+ { "rang", 0x800027e900000000ULL },
+ { "rangd", 0x8000299200000000ULL },
+ { "range", 0x800029a500000000ULL },
+ { "rangle", 0x800027e900000000ULL },
+ { "raquo", 0x000000bb00000000ULL },
+ { "rarr", 0x8000219200000000ULL },
+ { "rarrap", 0x8000297500000000ULL },
+ { "rarrb", 0x800021e500000000ULL },
+ { "rarrbfs", 0x8000292000000000ULL },
+ { "rarrc", 0x8000293300000000ULL },
+ { "rarrfs", 0x8000291e00000000ULL },
+ { "rarrhk", 0x800021aa00000000ULL },
+ { "rarrlp", 0x800021ac00000000ULL },
+ { "rarrpl", 0x8000294500000000ULL },
+ { "rarrsim", 0x8000297400000000ULL },
+ { "rarrtl", 0x800021a300000000ULL },
+ { "rarrw", 0x8000219d00000000ULL },
+ { "ratail", 0x8000291a00000000ULL },
+ { "ratio", 0x8000223600000000ULL },
+ { "rationals", 0x8000211a00000000ULL },
+ { "rbarr", 0x8000290d00000000ULL },
+ { "rbbrk", 0x8000277300000000ULL },
+ { "rbrace", 0x8000007d00000000ULL },
+ { "rbrack", 0x8000005d00000000ULL },
+ { "rbrke", 0x8000298c00000000ULL },
+ { "rbrksld", 0x8000298e00000000ULL },
+ { "rbrkslu", 0x8000299000000000ULL },
+ { "rcaron", 0x8000015900000000ULL },
+ { "rcedil", 0x8000015700000000ULL },
+ { "rceil", 0x8000230900000000ULL },
+ { "rcub", 0x8000007d00000000ULL },
+ { "rcy", 0x8000044000000000ULL },
+ { "rdca", 0x8000293700000000ULL },
+ { "rdldhar", 0x8000296900000000ULL },
+ { "rdquo", 0x8000201d00000000ULL },
+ { "rdquor", 0x8000201d00000000ULL },
+ { "rdsh", 0x800021b300000000ULL },
+ { "real", 0x8000211c00000000ULL },
+ { "realine", 0x8000211b00000000ULL },
+ { "realpart", 0x8000211c00000000ULL },
+ { "reals", 0x8000211d00000000ULL },
+ { "rect", 0x800025ad00000000ULL },
+ { "reg", 0x000000ae00000000ULL },
+ { "rfisht", 0x8000297d00000000ULL },
+ { "rfloor", 0x8000230b00000000ULL },
+ { "rfr", 0x8001d52f00000000ULL },
+ { "rhard", 0x800021c100000000ULL },
+ { "rharu", 0x800021c000000000ULL },
+ { "rharul", 0x8000296c00000000ULL },
+ { "rho", 0x800003c100000000ULL },
+ { "rhov", 0x800003f100000000ULL },
+ { "rightarrow", 0x8000219200000000ULL },
+ { "rightarrowtail", 0x800021a300000000ULL },
+ { "rightharpoondown", 0x800021c100000000ULL },
+ { "rightharpoonup", 0x800021c000000000ULL },
+ { "rightleftarrows", 0x800021c400000000ULL },
+ { "rightleftharpoons", 0x800021cc00000000ULL },
+ { "rightrightarrows", 0x800021c900000000ULL },
+ { "rightsquigarrow", 0x8000219d00000000ULL },
+ { "rightthreetimes", 0x800022cc00000000ULL },
+ { "ring", 0x800002da00000000ULL },
+ { "risingdotseq", 0x8000225300000000ULL },
+ { "rlarr", 0x800021c400000000ULL },
+ { "rlhar", 0x800021cc00000000ULL },
+ { "rlm", 0x8000200f00000000ULL },
+ { "rmoust", 0x800023b100000000ULL },
+ { "rmoustache", 0x800023b100000000ULL },
+ { "rnmid", 0x80002aee00000000ULL },
+ { "roang", 0x800027ed00000000ULL },
+ { "roarr", 0x800021fe00000000ULL },
+ { "robrk", 0x800027e700000000ULL },
+ { "ropar", 0x8000298600000000ULL },
+ { "ropf", 0x8001d56300000000ULL },
+ { "roplus", 0x80002a2e00000000ULL },
+ { "rotimes", 0x80002a3500000000ULL },
+ { "rpar", 0x8000002900000000ULL },
+ { "rpargt", 0x8000299400000000ULL },
+ { "rppolint", 0x80002a1200000000ULL },
+ { "rrarr", 0x800021c900000000ULL },
+ { "rsaquo", 0x8000203a00000000ULL },
+ { "rscr", 0x8001d4c700000000ULL },
+ { "rsh", 0x800021b100000000ULL },
+ { "rsqb", 0x8000005d00000000ULL },
+ { "rsquo", 0x8000201900000000ULL },
+ { "rsquor", 0x8000201900000000ULL },
+ { "rthree", 0x800022cc00000000ULL },
+ { "rtimes", 0x800022ca00000000ULL },
+ { "rtri", 0x800025b900000000ULL },
+ { "rtrie", 0x800022b500000000ULL },
+ { "rtrif", 0x800025b800000000ULL },
+ { "rtriltri", 0x800029ce00000000ULL },
+ { "ruluhar", 0x8000296800000000ULL },
+ { "rx", 0x8000211e00000000ULL },
+ { "sacute", 0x8000015b00000000ULL },
+ { "sbquo", 0x8000201a00000000ULL },
+ { "sc", 0x8000227b00000000ULL },
+ { "scE", 0x80002ab400000000ULL },
+ { "scap", 0x80002ab800000000ULL },
+ { "scaron", 0x8000016100000000ULL },
+ { "sccue", 0x8000227d00000000ULL },
+ { "sce", 0x80002ab000000000ULL },
+ { "scedil", 0x8000015f00000000ULL },
+ { "scirc", 0x8000015d00000000ULL },
+ { "scnE", 0x80002ab600000000ULL },
+ { "scnap", 0x80002aba00000000ULL },
+ { "scnsim", 0x800022e900000000ULL },
+ { "scpolint", 0x80002a1300000000ULL },
+ { "scsim", 0x8000227f00000000ULL },
+ { "scy", 0x8000044100000000ULL },
+ { "sdot", 0x800022c500000000ULL },
+ { "sdotb", 0x800022a100000000ULL },
+ { "sdote", 0x80002a6600000000ULL },
+ { "seArr", 0x800021d800000000ULL },
+ { "searhk", 0x8000292500000000ULL },
+ { "searr", 0x8000219800000000ULL },
+ { "searrow", 0x8000219800000000ULL },
+ { "sect", 0x000000a700000000ULL },
+ { "semi", 0x8000003b00000000ULL },
+ { "seswar", 0x8000292900000000ULL },
+ { "setminus", 0x8000221600000000ULL },
+ { "setmn", 0x8000221600000000ULL },
+ { "sext", 0x8000273600000000ULL },
+ { "sfr", 0x8001d53000000000ULL },
+ { "sfrown", 0x8000232200000000ULL },
+ { "sharp", 0x8000266f00000000ULL },
+ { "shchcy", 0x8000044900000000ULL },
+ { "shcy", 0x8000044800000000ULL },
+ { "shortmid", 0x8000222300000000ULL },
+ { "shortparallel", 0x8000222500000000ULL },
+ { "shy", 0x000000ad00000000ULL },
+ { "sigma", 0x800003c300000000ULL },
+ { "sigmaf", 0x800003c200000000ULL },
+ { "sigmav", 0x800003c200000000ULL },
+ { "sim", 0x8000223c00000000ULL },
+ { "simdot", 0x80002a6a00000000ULL },
+ { "sime", 0x8000224300000000ULL },
+ { "simeq", 0x8000224300000000ULL },
+ { "simg", 0x80002a9e00000000ULL },
+ { "simgE", 0x80002aa000000000ULL },
+ { "siml", 0x80002a9d00000000ULL },
+ { "simlE", 0x80002a9f00000000ULL },
+ { "simne", 0x8000224600000000ULL },
+ { "simplus", 0x80002a2400000000ULL },
+ { "simrarr", 0x8000297200000000ULL },
+ { "slarr", 0x8000219000000000ULL },
+ { "smallsetminus", 0x8000221600000000ULL },
+ { "smashp", 0x80002a3300000000ULL },
+ { "smeparsl", 0x800029e400000000ULL },
+ { "smid", 0x8000222300000000ULL },
+ { "smile", 0x8000232300000000ULL },
+ { "smt", 0x80002aaa00000000ULL },
+ { "smte", 0x80002aac00000000ULL },
+ { "smtes", 0x80002aac0000fe00ULL },
+ { "softcy", 0x8000044c00000000ULL },
+ { "sol", 0x8000002f00000000ULL },
+ { "solb", 0x800029c400000000ULL },
+ { "solbar", 0x8000233f00000000ULL },
+ { "sopf", 0x8001d56400000000ULL },
+ { "spades", 0x8000266000000000ULL },
+ { "spadesuit", 0x8000266000000000ULL },
+ { "spar", 0x8000222500000000ULL },
+ { "sqcap", 0x8000229300000000ULL },
+ { "sqcaps", 0x800022930000fe00ULL },
+ { "sqcup", 0x8000229400000000ULL },
+ { "sqcups", 0x800022940000fe00ULL },
+ { "sqsub", 0x8000228f00000000ULL },
+ { "sqsube", 0x8000229100000000ULL },
+ { "sqsubset", 0x8000228f00000000ULL },
+ { "sqsubseteq", 0x8000229100000000ULL },
+ { "sqsup", 0x8000229000000000ULL },
+ { "sqsupe", 0x8000229200000000ULL },
+ { "sqsupset", 0x8000229000000000ULL },
+ { "sqsupseteq", 0x8000229200000000ULL },
+ { "squ", 0x800025a100000000ULL },
+ { "square", 0x800025a100000000ULL },
+ { "squarf", 0x800025aa00000000ULL },
+ { "squf", 0x800025aa00000000ULL },
+ { "srarr", 0x8000219200000000ULL },
+ { "sscr", 0x8001d4c800000000ULL },
+ { "ssetmn", 0x8000221600000000ULL },
+ { "ssmile", 0x8000232300000000ULL },
+ { "sstarf", 0x800022c600000000ULL },
+ { "star", 0x8000260600000000ULL },
+ { "starf", 0x8000260500000000ULL },
+ { "straightepsilon", 0x800003f500000000ULL },
+ { "straightphi", 0x800003d500000000ULL },
+ { "strns", 0x800000af00000000ULL },
+ { "sub", 0x8000228200000000ULL },
+ { "subE", 0x80002ac500000000ULL },
+ { "subdot", 0x80002abd00000000ULL },
+ { "sube", 0x8000228600000000ULL },
+ { "subedot", 0x80002ac300000000ULL },
+ { "submult", 0x80002ac100000000ULL },
+ { "subnE", 0x80002acb00000000ULL },
+ { "subne", 0x8000228a00000000ULL },
+ { "subplus", 0x80002abf00000000ULL },
+ { "subrarr", 0x8000297900000000ULL },
+ { "subset", 0x8000228200000000ULL },
+ { "subseteq", 0x8000228600000000ULL },
+ { "subseteqq", 0x80002ac500000000ULL },
+ { "subsetneq", 0x8000228a00000000ULL },
+ { "subsetneqq", 0x80002acb00000000ULL },
+ { "subsim", 0x80002ac700000000ULL },
+ { "subsub", 0x80002ad500000000ULL },
+ { "subsup", 0x80002ad300000000ULL },
+ { "succ", 0x8000227b00000000ULL },
+ { "succapprox", 0x80002ab800000000ULL },
+ { "succcurlyeq", 0x8000227d00000000ULL },
+ { "succeq", 0x80002ab000000000ULL },
+ { "succnapprox", 0x80002aba00000000ULL },
+ { "succneqq", 0x80002ab600000000ULL },
+ { "succnsim", 0x800022e900000000ULL },
+ { "succsim", 0x8000227f00000000ULL },
+ { "sum", 0x8000221100000000ULL },
+ { "sung", 0x8000266a00000000ULL },
+ { "sup", 0x8000228300000000ULL },
+ { "sup1", 0x000000b900000000ULL },
+ { "sup2", 0x000000b200000000ULL },
+ { "sup3", 0x000000b300000000ULL },
+ { "supE", 0x80002ac600000000ULL },
+ { "supdot", 0x80002abe00000000ULL },
+ { "supdsub", 0x80002ad800000000ULL },
+ { "supe", 0x8000228700000000ULL },
+ { "supedot", 0x80002ac400000000ULL },
+ { "suphsol", 0x800027c900000000ULL },
+ { "suphsub", 0x80002ad700000000ULL },
+ { "suplarr", 0x8000297b00000000ULL },
+ { "supmult", 0x80002ac200000000ULL },
+ { "supnE", 0x80002acc00000000ULL },
+ { "supne", 0x8000228b00000000ULL },
+ { "supplus", 0x80002ac000000000ULL },
+ { "supset", 0x8000228300000000ULL },
+ { "supseteq", 0x8000228700000000ULL },
+ { "supseteqq", 0x80002ac600000000ULL },
+ { "supsetneq", 0x8000228b00000000ULL },
+ { "supsetneqq", 0x80002acc00000000ULL },
+ { "supsim", 0x80002ac800000000ULL },
+ { "supsub", 0x80002ad400000000ULL },
+ { "supsup", 0x80002ad600000000ULL },
+ { "swArr", 0x800021d900000000ULL },
+ { "swarhk", 0x8000292600000000ULL },
+ { "swarr", 0x8000219900000000ULL },
+ { "swarrow", 0x8000219900000000ULL },
+ { "swnwar", 0x8000292a00000000ULL },
+ { "szlig", 0x000000df00000000ULL },
+ { "target", 0x8000231600000000ULL },
+ { "tau", 0x800003c400000000ULL },
+ { "tbrk", 0x800023b400000000ULL },
+ { "tcaron", 0x8000016500000000ULL },
+ { "tcedil", 0x8000016300000000ULL },
+ { "tcy", 0x8000044200000000ULL },
+ { "tdot", 0x800020db00000000ULL },
+ { "telrec", 0x8000231500000000ULL },
+ { "tfr", 0x8001d53100000000ULL },
+ { "there4", 0x8000223400000000ULL },
+ { "therefore", 0x8000223400000000ULL },
+ { "theta", 0x800003b800000000ULL },
+ { "thetasym", 0x800003d100000000ULL },
+ { "thetav", 0x800003d100000000ULL },
+ { "thickapprox", 0x8000224800000000ULL },
+ { "thicksim", 0x8000223c00000000ULL },
+ { "thinsp", 0x8000200900000000ULL },
+ { "thkap", 0x8000224800000000ULL },
+ { "thksim", 0x8000223c00000000ULL },
+ { "thorn", 0x000000fe00000000ULL },
+ { "tilde", 0x800002dc00000000ULL },
+ { "times", 0x000000d700000000ULL },
+ { "timesb", 0x800022a000000000ULL },
+ { "timesbar", 0x80002a3100000000ULL },
+ { "timesd", 0x80002a3000000000ULL },
+ { "tint", 0x8000222d00000000ULL },
+ { "toea", 0x8000292800000000ULL },
+ { "top", 0x800022a400000000ULL },
+ { "topbot", 0x8000233600000000ULL },
+ { "topcir", 0x80002af100000000ULL },
+ { "topf", 0x8001d56500000000ULL },
+ { "topfork", 0x80002ada00000000ULL },
+ { "tosa", 0x8000292900000000ULL },
+ { "tprime", 0x8000203400000000ULL },
+ { "trade", 0x8000212200000000ULL },
+ { "triangle", 0x800025b500000000ULL },
+ { "triangledown", 0x800025bf00000000ULL },
+ { "triangleleft", 0x800025c300000000ULL },
+ { "trianglelefteq", 0x800022b400000000ULL },
+ { "triangleq", 0x8000225c00000000ULL },
+ { "triangleright", 0x800025b900000000ULL },
+ { "trianglerighteq", 0x800022b500000000ULL },
+ { "tridot", 0x800025ec00000000ULL },
+ { "trie", 0x8000225c00000000ULL },
+ { "triminus", 0x80002a3a00000000ULL },
+ { "triplus", 0x80002a3900000000ULL },
+ { "trisb", 0x800029cd00000000ULL },
+ { "tritime", 0x80002a3b00000000ULL },
+ { "trpezium", 0x800023e200000000ULL },
+ { "tscr", 0x8001d4c900000000ULL },
+ { "tscy", 0x8000044600000000ULL },
+ { "tshcy", 0x8000045b00000000ULL },
+ { "tstrok", 0x8000016700000000ULL },
+ { "twixt", 0x8000226c00000000ULL },
+ { "twoheadleftarrow", 0x8000219e00000000ULL },
+ { "twoheadrightarrow", 0x800021a000000000ULL },
+ { "uArr", 0x800021d100000000ULL },
+ { "uHar", 0x8000296300000000ULL },
+ { "uacute", 0x000000fa00000000ULL },
+ { "uarr", 0x8000219100000000ULL },
+ { "ubrcy", 0x8000045e00000000ULL },
+ { "ubreve", 0x8000016d00000000ULL },
+ { "ucirc", 0x000000fb00000000ULL },
+ { "ucy", 0x8000044300000000ULL },
+ { "udarr", 0x800021c500000000ULL },
+ { "udblac", 0x8000017100000000ULL },
+ { "udhar", 0x8000296e00000000ULL },
+ { "ufisht", 0x8000297e00000000ULL },
+ { "ufr", 0x8001d53200000000ULL },
+ { "ugrave", 0x000000f900000000ULL },
+ { "uharl", 0x800021bf00000000ULL },
+ { "uharr", 0x800021be00000000ULL },
+ { "uhblk", 0x8000258000000000ULL },
+ { "ulcorn", 0x8000231c00000000ULL },
+ { "ulcorner", 0x8000231c00000000ULL },
+ { "ulcrop", 0x8000230f00000000ULL },
+ { "ultri", 0x800025f800000000ULL },
+ { "umacr", 0x8000016b00000000ULL },
+ { "uml", 0x000000a800000000ULL },
+ { "uogon", 0x8000017300000000ULL },
+ { "uopf", 0x8001d56600000000ULL },
+ { "uparrow", 0x8000219100000000ULL },
+ { "updownarrow", 0x8000219500000000ULL },
+ { "upharpoonleft", 0x800021bf00000000ULL },
+ { "upharpoonright", 0x800021be00000000ULL },
+ { "uplus", 0x8000228e00000000ULL },
+ { "upsi", 0x800003c500000000ULL },
+ { "upsih", 0x800003d200000000ULL },
+ { "upsilon", 0x800003c500000000ULL },
+ { "upuparrows", 0x800021c800000000ULL },
+ { "urcorn", 0x8000231d00000000ULL },
+ { "urcorner", 0x8000231d00000000ULL },
+ { "urcrop", 0x8000230e00000000ULL },
+ { "uring", 0x8000016f00000000ULL },
+ { "urtri", 0x800025f900000000ULL },
+ { "uscr", 0x8001d4ca00000000ULL },
+ { "utdot", 0x800022f000000000ULL },
+ { "utilde", 0x8000016900000000ULL },
+ { "utri", 0x800025b500000000ULL },
+ { "utrif", 0x800025b400000000ULL },
+ { "uuarr", 0x800021c800000000ULL },
+ { "uuml", 0x000000fc00000000ULL },
+ { "uwangle", 0x800029a700000000ULL },
+ { "vArr", 0x800021d500000000ULL },
+ { "vBar", 0x80002ae800000000ULL },
+ { "vBarv", 0x80002ae900000000ULL },
+ { "vDash", 0x800022a800000000ULL },
+ { "vangrt", 0x8000299c00000000ULL },
+ { "varepsilon", 0x800003f500000000ULL },
+ { "varkappa", 0x800003f000000000ULL },
+ { "varnothing", 0x8000220500000000ULL },
+ { "varphi", 0x800003d500000000ULL },
+ { "varpi", 0x800003d600000000ULL },
+ { "varpropto", 0x8000221d00000000ULL },
+ { "varr", 0x8000219500000000ULL },
+ { "varrho", 0x800003f100000000ULL },
+ { "varsigma", 0x800003c200000000ULL },
+ { "varsubsetneq", 0x8000228a0000fe00ULL },
+ { "varsubsetneqq", 0x80002acb0000fe00ULL },
+ { "varsupsetneq", 0x8000228b0000fe00ULL },
+ { "varsupsetneqq", 0x80002acc0000fe00ULL },
+ { "vartheta", 0x800003d100000000ULL },
+ { "vartriangleleft", 0x800022b200000000ULL },
+ { "vartriangleright", 0x800022b300000000ULL },
+ { "vcy", 0x8000043200000000ULL },
+ { "vdash", 0x800022a200000000ULL },
+ { "vee", 0x8000222800000000ULL },
+ { "veebar", 0x800022bb00000000ULL },
+ { "veeeq", 0x8000225a00000000ULL },
+ { "vellip", 0x800022ee00000000ULL },
+ { "verbar", 0x8000007c00000000ULL },
+ { "vert", 0x8000007c00000000ULL },
+ { "vfr", 0x8001d53300000000ULL },
+ { "vltri", 0x800022b200000000ULL },
+ { "vnsub", 0x80002282000020d2ULL },
+ { "vnsup", 0x80002283000020d2ULL },
+ { "vopf", 0x8001d56700000000ULL },
+ { "vprop", 0x8000221d00000000ULL },
+ { "vrtri", 0x800022b300000000ULL },
+ { "vscr", 0x8001d4cb00000000ULL },
+ { "vsubnE", 0x80002acb0000fe00ULL },
+ { "vsubne", 0x8000228a0000fe00ULL },
+ { "vsupnE", 0x80002acc0000fe00ULL },
+ { "vsupne", 0x8000228b0000fe00ULL },
+ { "vzigzag", 0x8000299a00000000ULL },
+ { "wcirc", 0x8000017500000000ULL },
+ { "wedbar", 0x80002a5f00000000ULL },
+ { "wedge", 0x8000222700000000ULL },
+ { "wedgeq", 0x8000225900000000ULL },
+ { "weierp", 0x8000211800000000ULL },
+ { "wfr", 0x8001d53400000000ULL },
+ { "wopf", 0x8001d56800000000ULL },
+ { "wp", 0x8000211800000000ULL },
+ { "wr", 0x8000224000000000ULL },
+ { "wreath", 0x8000224000000000ULL },
+ { "wscr", 0x8001d4cc00000000ULL },
+ { "xcap", 0x800022c200000000ULL },
+ { "xcirc", 0x800025ef00000000ULL },
+ { "xcup", 0x800022c300000000ULL },
+ { "xdtri", 0x800025bd00000000ULL },
+ { "xfr", 0x8001d53500000000ULL },
+ { "xhArr", 0x800027fa00000000ULL },
+ { "xharr", 0x800027f700000000ULL },
+ { "xi", 0x800003be00000000ULL },
+ { "xlArr", 0x800027f800000000ULL },
+ { "xlarr", 0x800027f500000000ULL },
+ { "xmap", 0x800027fc00000000ULL },
+ { "xnis", 0x800022fb00000000ULL },
+ { "xodot", 0x80002a0000000000ULL },
+ { "xopf", 0x8001d56900000000ULL },
+ { "xoplus", 0x80002a0100000000ULL },
+ { "xotime", 0x80002a0200000000ULL },
+ { "xrArr", 0x800027f900000000ULL },
+ { "xrarr", 0x800027f600000000ULL },
+ { "xscr", 0x8001d4cd00000000ULL },
+ { "xsqcup", 0x80002a0600000000ULL },
+ { "xuplus", 0x80002a0400000000ULL },
+ { "xutri", 0x800025b300000000ULL },
+ { "xvee", 0x800022c100000000ULL },
+ { "xwedge", 0x800022c000000000ULL },
+ { "yacute", 0x000000fd00000000ULL },
+ { "yacy", 0x8000044f00000000ULL },
+ { "ycirc", 0x8000017700000000ULL },
+ { "ycy", 0x8000044b00000000ULL },
+ { "yen", 0x000000a500000000ULL },
+ { "yfr", 0x8001d53600000000ULL },
+ { "yicy", 0x8000045700000000ULL },
+ { "yopf", 0x8001d56a00000000ULL },
+ { "yscr", 0x8001d4ce00000000ULL },
+ { "yucy", 0x8000044e00000000ULL },
+ { "yuml", 0x000000ff00000000ULL },
+ { "zacute", 0x8000017a00000000ULL },
+ { "zcaron", 0x8000017e00000000ULL },
+ { "zcy", 0x8000043700000000ULL },
+ { "zdot", 0x8000017c00000000ULL },
+ { "zeetrf", 0x8000212800000000ULL },
+ { "zeta", 0x800003b600000000ULL },
+ { "zfr", 0x8001d53700000000ULL },
+ { "zhcy", 0x8000043600000000ULL },
+ { "zigrarr", 0x800021dd00000000ULL },
+ { "zopf", 0x8001d56b00000000ULL },
+ { "zscr", 0x8001d4cf00000000ULL },
+ { "zwj", 0x8000200d00000000ULL },
+ { "zwnj", 0x8000200c00000000ULL },
+};
+
+static void
+ucv_stringbuf_addutf8(uc_stringbuf_t *buf, unsigned int code)
+{
+ unsigned char seq[5];
+ size_t len = 0;
+
+ switch (code) {
+ // disallow CR (https://html.spec.whatwg.org/multipage/syntax.html#character-references)
+ case 0xD:
+
+ // disallow controls (https://infra.spec.whatwg.org/#control) except whitespace
+ case 0x0 ... 0x8:
+ case 0xB:
+ case 0xE ... 0x1F:
+ case 0x7F ... 0x9F:
+
+ // disallow noncharacter (https://infra.spec.whatwg.org/#noncharacter)
+ case 0xFDD0 ... 0xFDEF:
+ case 0xFFFE ... 0xFFFF:
+ case 0x1FFFE ... 0x1FFFF:
+ case 0x2FFFE ... 0x2FFFF:
+ case 0x3FFFE ... 0x3FFFF:
+ case 0x4FFFE ... 0x4FFFF:
+ case 0x5FFFE ... 0x5FFFF:
+ case 0x6FFFE ... 0x6FFFF:
+ case 0x7FFFE ... 0x7FFFF:
+ case 0x8FFFE ... 0x8FFFF:
+ case 0x9FFFE ... 0x9FFFF:
+ case 0xAFFFE ... 0xAFFFF:
+ case 0xBFFFE ... 0xBFFFF:
+ case 0xCFFFE ... 0xCFFFF:
+ case 0xDFFFE ... 0xDFFFF:
+ case 0xEFFFE ... 0xEFFFF:
+ case 0xFFFFE ... 0xFFFFF:
+ case 0x10FFFE ... 0x10FFFF:
+ return;
+ }
+
+ if (code <= 0x7F) {
+ seq[len++] = code;
+ }
+ else if (code <= 0x7FF) {
+ seq[len++] = ((code >> 6) & 0x1F) | 0xC0;
+ seq[len++] = ( code & 0x3F) | 0x80;
+ }
+ else if (code <= 0xFFFF) {
+ seq[len++] = ((code >> 12) & 0x0F) | 0xE0;
+ seq[len++] = ((code >> 6) & 0x3F) | 0x80;
+ seq[len++] = ( code & 0x3F) | 0x80;
+ }
+ else if (code <= 0x10FFFF) {
+ seq[len++] = ((code >> 18) & 0x07) | 0xF0;
+ seq[len++] = ((code >> 12) & 0x3F) | 0x80;
+ seq[len++] = ((code >> 6) & 0x3F) | 0x80;
+ seq[len++] = ( code & 0x3F) | 0x80;
+ }
+
+ ucv_stringbuf_addstr(buf, (char *)seq, len);
+}
+
+static void
+expand_named_char_ref(uc_stringbuf_t *buf, const char *name, size_t len, bool semicolon)
+{
+ ssize_t l = 0;
+ ssize_t r = sizeof(named_char_refs) / sizeof(named_char_refs[0]) - 1;
+ ssize_t m;
+ int c;
+
+ while (l <= r) {
+ m = (l + r) / 2;
+ c = strncmp(named_char_refs[m].name, name, len);
+
+ if (c < 0) {
+ l = m + 1;
+ continue;
+ }
+
+ if (c > 0 || named_char_refs[m].name[len] != 0) {
+ r = m - 1;
+ continue;
+ }
+
+ if (!(named_char_refs[m].value & (1ULL << 63)) || semicolon) {
+ ucv_stringbuf_addutf8(buf, (named_char_refs[m].value >> 32) & 0x7FFFFFFFULL);
+ ucv_stringbuf_addutf8(buf, named_char_refs[m].value & 0xFFFFFFFFULL);
+
+ return;
+ }
+
+ break;
+ }
+
+ ucv_stringbuf_append(buf, "&");
+ ucv_stringbuf_addstr(buf, name, len);
+
+ if (semicolon)
+ ucv_stringbuf_append(buf, ";");
+}
+
+static void
+expand_char_refs(uc_stringbuf_t *buf, const char *s, size_t len, bool loose)
+{
+ const char *end = s + len, *p;
+ unsigned int u;
+ size_t elen;
+ char *e;
+
+ while (s < end) {
+ p = memchr(s, '&', end - s);
+ elen = 1;
+
+ if (!p) {
+ ucv_stringbuf_addstr(buf, s, end - s);
+ break;
+ }
+
+ ucv_stringbuf_addstr(buf, s, p - s);
+
+ while (isalpha(p[elen]))
+ elen++;
+
+ if (elen > 1) {
+ if (p[elen] == ';') {
+ expand_named_char_ref(buf, p + 1, elen - 1, true);
+ s = p + elen + 1;
+ }
+ else if (loose) {
+ expand_named_char_ref(buf, p + 1, elen - 1, false);
+ s = p + elen;
+ }
+ else {
+ ucv_stringbuf_addstr(buf, p, elen);
+ s = p + elen;
+ }
+ }
+ else if (p[elen] == '#') {
+ if ((p[++elen] | 32) == 'x') {
+ u = strtoul(p + ++elen, &e, 16);
+
+ if (e > p + elen && *e == ';') {
+ ucv_stringbuf_addutf8(buf, u);
+ s = e + 1;
+ }
+ else {
+ ucv_stringbuf_addstr(buf, p, e - p);
+ s = e;
+ }
+ }
+ else {
+ u = strtoul(p + elen, &e, 10);
+
+ if (e > p + elen && *e == ';') {
+ ucv_stringbuf_addutf8(buf, u);
+ s = e + 1;
+ }
+ else {
+ ucv_stringbuf_addstr(buf, p, e - p);
+ s = e;
+ }
+ }
+ }
+ else {
+ ucv_stringbuf_addstr(buf, p, elen);
+ s = p + elen;
+ }
+ }
+}
+
+static void
+ucv_stringbuf_addtext(uc_stringbuf_t *buf, const char *s, size_t len)
+{
+ bool space = (buf->bpos && isspace(buf->buf[buf->bpos - 1]));
+
+ while (space && isspace(*s)) {
+ s++;
+ len--;
+ }
+
+ while (len > 1 && isspace(s[len - 1]))
+ len--;
+
+ expand_char_refs(buf, s, len, true);
+}
+
+static bool
+_invoke_cb(const char *s, size_t len, html_token_callback_t cb,
+ html_token_type_t type, void *ud)
+{
+ size_t chunksize;
+
+ while (len > 0) {
+ chunksize = (len > 1024) ? 1024 : len;
+
+ if (!cb(type, s, chunksize, ud))
+ return false;
+
+ len -= chunksize;
+ s += chunksize;
+ }
+
+ return true;
+}
+
+#define invoke_cb(s, len, cb, type, ud) \
+ do { \
+ if (!_invoke_cb(s, len, cb, type, ud)) \
+ return false; \
+ } while(0)
+
+static size_t
+_memspn(const char *s, size_t n, const char *set, size_t m, bool invert)
+{
+ uint64_t mask[(1 << CHAR_BIT) / (sizeof(uint64_t) * CHAR_BIT)] = { 0 };
+
+ #define mask_off(n) mask[((unsigned char)(n) / (sizeof(mask[0]) * CHAR_BIT))]
+ #define mask_bit(n) (1ULL << ((unsigned char)(n) % (sizeof(mask[0]) * CHAR_BIT)))
+
+ /* NB: Nudge clang & gcc to unroll the mask initialization loop below.
+ * Since we only invoke _memspn() with constant set string literals
+ * containing only characters up to '>' (62), the loop below should
+ * be optimized into a single constant load opcode for mask[0].
+ */
+ #ifdef __clang__
+ #pragma unroll 255
+ #elif __GNUC__
+ #pragma GCC unroll 255
+ #endif
+ for (; m > 0; m--, set++)
+ mask_off(*set) |= mask_bit(*set);
+
+ for (m = 0; m < n; m++)
+ if (!(mask_off(s[m]) & mask_bit(s[m])) == !invert)
+ break;
+
+ #undef mask_off
+ #undef mask_bit
+
+ return m;
+}
+
+#define memspn(s, n, set) _memspn(s, n, set, sizeof(set) - 1, false)
+#define memcspn(s, n, set) _memspn(s, n, set, sizeof(set) - 1, true)
+
+static bool
+tokenize_html(const char *s, size_t len, html_token_callback_t cb, void *ud)
+{
+ const char *end = s + len, *p;
+ char raw[16] = { 0 };
+
+ enum {
+ SEARCH,
+ IDENTIFY,
+ COMMENT,
+ ATTR,
+ END
+ } state = 0;
+
+ while (state != END) {
+ switch (state) {
+ case SEARCH:
+ p = memchr(s, '<', end - s);
+
+ if (p) {
+ if (p != s)
+ invoke_cb(s, p - s, cb, raw[0] ? T_RAW : T_TEXT, ud);
+
+ s = p + 1;
+ state = IDENTIFY;
+ }
+ else {
+ state = END;
+ }
+
+ break;
+
+ case IDENTIFY:
+ if (*s == '/') {
+ p = memchr(s, '>', end - s);
+
+ if (p) {
+ while (p != s && isspace(p[-1]))
+ p--;
+
+ if (!raw[0] || !strncasecmp(s + 1, raw, p - s - 1)) {
+ invoke_cb(s + 1, p - s - 1, cb, T_CLOSE, ud);
+ raw[0] = 0;
+ }
+ else {
+ invoke_cb(s - 1, p - s + 2, cb, T_RAW, ud);
+ }
+
+ s = p + 1;
+ state = SEARCH;
+ }
+ else {
+ state = END;
+ }
+ }
+ else if (raw[0]) {
+ invoke_cb("<", 1, cb, T_RAW, ud);
+ state = SEARCH;
+ }
+ else if (*s == '!') {
+ state = COMMENT;
+ s++;
+ }
+ else {
+ p = s + memcspn(s, end - s, "/'\"> \f\r\t\n\0");
+
+ if (p != s) {
+ invoke_cb(s, p - s, cb, T_OPEN, ud);
+
+ if (!strncasecmp(s, "script", p - s) ||
+ !strncasecmp(s, "style", p - s)) {
+ memset(raw, 0, sizeof(raw));
+ memcpy(raw, s, p - s);
+ }
+
+ s = p + memspn(p, end - p, " \f\r\t\n\0");
+ state = ATTR;
+ }
+ else {
+ invoke_cb("<", 1, cb, T_TEXT, ud);
+ state = SEARCH;
+ }
+ }
+
+ break;
+
+ case COMMENT:
+ if (!strncmp(s, "--", 2)) {
+ p = memmem(s + 2, end - s - 2, "-->", 3);
+
+ if (p) {
+ invoke_cb(s + 2, p - s - 2, cb, raw[0] ? T_RAW : T_COMMENT, ud);
+ s = p + 3;
+ state = SEARCH;
+ }
+ else {
+ // unterminated comment
+ invoke_cb(s + 2, end - s - 2, cb, raw[0] ? T_RAW : T_COMMENT, ud);
+ s = NULL;
+ state = END;
+ }
+ }
+ else if (!strncasecmp(s, "[CDATA[", 7)) {
+ p = memmem(s + 7, end - s - 7, "]]>", 3);
+
+ if (p) {
+ invoke_cb(s + 7, p - s - 7, cb, raw[0] ? T_RAW : T_CDATA, ud);
+ s = p + 3;
+ state = SEARCH;
+ }
+ else {
+ // unterminated comment
+ invoke_cb(s + 7, end - s - 7, cb, raw[0] ? T_RAW : T_CDATA, ud);
+ s = NULL;
+ state = END;
+ }
+ }
+ else {
+ p = memchr(s, '>', end - s);
+
+ if (p) {
+ invoke_cb(s, p - s, cb, raw[0] ? T_RAW : T_PROCINST, ud);
+ s = p + 1;
+ state = SEARCH;
+ }
+ else {
+ // unterminated comment
+ invoke_cb(s, end - s, cb, raw[0] ? T_RAW : T_PROCINST, ud);
+ s = NULL;
+ state = END;
+ }
+ }
+
+ break;
+
+ case ATTR:
+ p = s + memcspn(s, end - s, "'\"> \f\r\t\n\0");
+
+ if (*p == '>') {
+ if (p != s) {
+ if ((p - s) > 1 || *s != '/')
+ invoke_cb(s, p - s, cb, T_ATTR, ud);
+ }
+
+ s = p + 1;
+ state = SEARCH;
+ }
+ else if (*p == '"' || *p == '\'') {
+ p = memchr(p + 1, *p, end - p);
+
+ if (p) {
+ invoke_cb(s, p - s + 1, cb, T_ATTR, ud);
+ s = p + 1;
+ }
+ else {
+ // unterminated quoted string
+ s = NULL;
+ state = END;
+ }
+ }
+ else if (*p) {
+ if (p != s)
+ invoke_cb(s, p - s, cb, T_ATTR, ud);
+
+ s = p + memspn(p, end - p, " \f\r\t\n\0");
+ }
+ else {
+ // eof
+ state = END;
+ }
+
+ break;
+
+ case END:
+ /* not reached */
+ }
+ }
+
+ if (s && *s)
+ invoke_cb(s, end - s, cb, raw[0] ? T_RAW : T_TEXT, ud);
+
+ invoke_cb("", 0, cb, T_EOF, ud);
+
+ return true;
+}
+
+
+static bool
+uc_html_tokenize_cb(html_token_type_t type, const char *s, size_t len, void *ud)
+{
+ const char *end = s + len, *val;
+ uc_vm_t *vm = ud;
+
+ uc_vm_stack_push(vm, ucv_get(uc_vm_stack_peek(vm, 0)));
+ uc_vm_stack_push(vm, ucv_int64_new(type));
+
+ val = (type == T_ATTR && s != NULL) ? memchr(s, '=', len) : NULL;
+
+ if (val) {
+ uc_vm_stack_push(vm, ucv_string_new_length(s, val - s));
+
+ val++;
+
+ if ((end - val) >= 2 && (*val == '"' || *val == '\'')) {
+ val++;
+ end--;
+ }
+
+ uc_vm_stack_push(vm, ucv_string_new_length(val, end - val));
+ }
+ else if (type == T_TEXT && s) {
+ uc_vm_stack_push(vm, ucv_string_new_length(s, end - s));
+ }
+ else if (s) {
+ uc_vm_stack_push(vm, ucv_string_new_length(s, len));
+ }
+
+ if (uc_vm_call(vm, false, 1 + !!s + !!val) == EXCEPTION_NONE) {
+ ucv_put(uc_vm_stack_pop(vm));
+
+ return true;
+ }
+
+ return false;
+}
+
+static uc_value_t *
+uc_html_tokenize(uc_vm_t *vm, size_t nargs)
+{
+ uc_value_t *input = uc_fn_arg(0);
+ uc_value_t *callback = uc_fn_arg(1);
+ bool res;
+
+ if (ucv_type(input) != UC_STRING)
+ return NULL;
+
+ if (!ucv_is_callable(callback))
+ return NULL;
+
+ uc_vm_stack_push(vm, ucv_get(callback));
+
+ res = tokenize_html(
+ ucv_string_get(input), ucv_string_length(input),
+ uc_html_tokenize_cb, vm);
+
+ ucv_put(uc_vm_stack_pop(vm));
+
+ return ucv_boolean_new(res);
+}
+
+
+static bool
+uc_html_striptags_cb(html_token_type_t type, const char *s, size_t len, void *ud)
+{
+ uc_stringbuf_t *buf = ud;
+
+ if (type == T_TEXT)
+ ucv_stringbuf_addtext(buf, s, len);
+ else if (type == T_OPEN && (unsigned int)buf->bpos > sizeof(uc_string_t))
+ ucv_stringbuf_append(buf, " ");
+
+ return true;
+}
+
+static uc_value_t *
+uc_html_striptags(uc_vm_t *vm, size_t nargs)
+{
+ uc_value_t *input = uc_fn_arg(0);
+ uc_stringbuf_t *buf;
+
+ if (ucv_type(input) != UC_STRING)
+ return NULL;
+
+ buf = ucv_stringbuf_new();
+
+ tokenize_html(
+ ucv_string_get(input), ucv_string_length(input),
+ uc_html_striptags_cb, buf);
+
+ return ucv_stringbuf_finish(buf);
+}
+
+
+static uc_value_t *
+uc_html_entitydecode(uc_vm_t *vm, size_t nargs)
+{
+ uc_value_t *input = uc_fn_arg(0);
+ uc_value_t *loose = uc_fn_arg(1);
+ uc_stringbuf_t *buf;
+
+ if (ucv_type(input) != UC_STRING)
+ return NULL;
+
+ buf = ucv_stringbuf_new();
+
+ expand_char_refs(buf, ucv_string_get(input), ucv_string_length(input),
+ ucv_is_truish(loose));
+
+ return ucv_stringbuf_finish(buf);
+}
+
+static uc_value_t *
+uc_html_entityencode(uc_vm_t *vm, size_t nargs)
+{
+ uc_value_t *input = uc_fn_arg(0);
+ uc_value_t *quote = uc_fn_arg(1);
+ const char *s, *p, *end;
+ uc_stringbuf_t *buf;
+
+ if (ucv_type(input) != UC_STRING)
+ return NULL;
+
+ s = ucv_string_get(input);
+ end = s + ucv_string_length(input);
+ buf = ucv_stringbuf_new();
+
+ while (s < end) {
+ if (ucv_is_truish(quote))
+ p = s + memcspn(s, end - s, "<&'\">\0");
+ else
+ p = s + memcspn(s, end - s, "<&>\0");
+
+ if (p != s)
+ ucv_stringbuf_addstr(buf, s, p - s);
+
+ if (p < end) {
+ switch (*p) {
+ case '"': ucv_stringbuf_append(buf, "&#34;"); break;
+ case '&': ucv_stringbuf_append(buf, "&#38;"); break;
+ case '\'': ucv_stringbuf_append(buf, "&#39;"); break;
+ case '<': ucv_stringbuf_append(buf, "&#60;"); break;
+ case '>': ucv_stringbuf_append(buf, "&#62;"); break;
+ default: ucv_stringbuf_append(buf, "&#xfffd;");
+ }
+ }
+
+ s = p + 1;
+ }
+
+ if (s < end)
+ ucv_stringbuf_addstr(buf, s, end - s);
+
+ return ucv_stringbuf_finish(buf);
+}
+
+
+static const uc_function_list_t html_fns[] = {
+ { "tokenize", uc_html_tokenize },
+ { "striptags", uc_html_striptags },
+ { "entitydecode", uc_html_entitydecode },
+ { "entityencode", uc_html_entityencode },
+};
+
+void uc_module_init(uc_vm_t *vm, uc_value_t *scope)
+{
+ uc_function_list_register(scope, html_fns);
+
+ ucv_object_add(scope, "TEXT", ucv_int64_new(T_TEXT));
+ ucv_object_add(scope, "RAW", ucv_int64_new(T_RAW));
+ ucv_object_add(scope, "OPEN", ucv_int64_new(T_OPEN));
+ ucv_object_add(scope, "ATTR", ucv_int64_new(T_ATTR));
+ ucv_object_add(scope, "CLOSE", ucv_int64_new(T_CLOSE));
+ ucv_object_add(scope, "COMMENT", ucv_int64_new(T_COMMENT));
+ ucv_object_add(scope, "CDATA", ucv_int64_new(T_CDATA));
+ ucv_object_add(scope, "PROCINST", ucv_int64_new(T_PROCINST));
+ ucv_object_add(scope, "EOF", ucv_int64_new(T_EOF));
+}