lucy-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From nwelln...@apache.org
Subject [07/20] lucy-clownfish git commit: Upgrade libcmark to 0.21.0
Date Thu, 06 Aug 2015 16:19:44 GMT
http://git-wip-us.apache.org/repos/asf/lucy-clownfish/blob/89c7b809/compiler/modules/CommonMark/src/html_unescape.h
----------------------------------------------------------------------
diff --git a/compiler/modules/CommonMark/src/html_unescape.h b/compiler/modules/CommonMark/src/html_unescape.h
deleted file mode 100644
index 1eb318b..0000000
--- a/compiler/modules/CommonMark/src/html_unescape.h
+++ /dev/null
@@ -1,13375 +0,0 @@
-/* ANSI-C code produced by gperf version 3.0.3 */
-/* Command-line: /Library/Developer/CommandLineTools/usr/bin/gperf -L ANSI-C -I -t -N find_entity -H hash_entity -K entity -C -l -F ',{0}' --null-strings -m5 -P -Q entity_pool src/html_unescape.gperf  */
-/* Computed positions: -k'1-7,10,12,$' */
-
-#if !((' ' == 32) && ('!' == 33) && ('"' == 34) && ('#' == 35) \
-      && ('%' == 37) && ('&' == 38) && ('\'' == 39) && ('(' == 40) \
-      && (')' == 41) && ('*' == 42) && ('+' == 43) && (',' == 44) \
-      && ('-' == 45) && ('.' == 46) && ('/' == 47) && ('0' == 48) \
-      && ('1' == 49) && ('2' == 50) && ('3' == 51) && ('4' == 52) \
-      && ('5' == 53) && ('6' == 54) && ('7' == 55) && ('8' == 56) \
-      && ('9' == 57) && (':' == 58) && (';' == 59) && ('<' == 60) \
-      && ('=' == 61) && ('>' == 62) && ('?' == 63) && ('A' == 65) \
-      && ('B' == 66) && ('C' == 67) && ('D' == 68) && ('E' == 69) \
-      && ('F' == 70) && ('G' == 71) && ('H' == 72) && ('I' == 73) \
-      && ('J' == 74) && ('K' == 75) && ('L' == 76) && ('M' == 77) \
-      && ('N' == 78) && ('O' == 79) && ('P' == 80) && ('Q' == 81) \
-      && ('R' == 82) && ('S' == 83) && ('T' == 84) && ('U' == 85) \
-      && ('V' == 86) && ('W' == 87) && ('X' == 88) && ('Y' == 89) \
-      && ('Z' == 90) && ('[' == 91) && ('\\' == 92) && (']' == 93) \
-      && ('^' == 94) && ('_' == 95) && ('a' == 97) && ('b' == 98) \
-      && ('c' == 99) && ('d' == 100) && ('e' == 101) && ('f' == 102) \
-      && ('g' == 103) && ('h' == 104) && ('i' == 105) && ('j' == 106) \
-      && ('k' == 107) && ('l' == 108) && ('m' == 109) && ('n' == 110) \
-      && ('o' == 111) && ('p' == 112) && ('q' == 113) && ('r' == 114) \
-      && ('s' == 115) && ('t' == 116) && ('u' == 117) && ('v' == 118) \
-      && ('w' == 119) && ('x' == 120) && ('y' == 121) && ('z' == 122) \
-      && ('{' == 123) && ('|' == 124) && ('}' == 125) && ('~' == 126))
-/* The character set is not based on ISO-646.  */
-#error "gperf generated tables don't work with this execution character set. Please report a bug to <bug-gnu-gperf@gnu.org>."
-#endif
-
-#line 1 "src/html_unescape.gperf"
-struct html_ent {
-	int entity;
-	unsigned char utf8[4];
-};
-#include <string.h>
-#include <stddef.h>
-
-#define TOTAL_KEYWORDS 2125
-#define MIN_WORD_LENGTH 2
-#define MAX_WORD_LENGTH 31
-#define MIN_HASH_VALUE 39
-#define MAX_HASH_VALUE 16000
-/* maximum key range = 15962, duplicates = 0 */
-
-#ifdef __GNUC__
-__inline
-#else
-#ifdef __cplusplus
-inline
-#endif
-#endif
-static unsigned int
-hash_entity (register const char *str, register unsigned int len)
-{
-  static const unsigned short asso_values[] =
-    {
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,     2,
-          3,     7,     2,     4,     8, 16001,    10, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001,  1890,  1538,   220,   165,  1045,
-        535,  1971,  1187,  1262,    35,   126,   201,   133,   350,  1487,
-       1965,     3,   478,   134,     8,   147,    73,    41,    23,   212,
-          9, 16001,     2, 16001,     2, 16001, 16001,  4154,    29,  3168,
-        429,    10,   146,  1925,  2307,   280,  1313,  1924,     4,   651,
-         27,  1031,    65,   176,     2,     6,    17,    15,   107,   482,
-       3207,  3865,   757,   131,   178,     4,     4, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001,
-      16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001, 16001
-    };
-  register unsigned int hval = len;
-
-  switch (hval)
-    {
-      default:
-        hval += asso_values[(unsigned char)str[11]];
-      /*FALLTHROUGH*/
-      case 11:
-      case 10:
-        hval += asso_values[(unsigned char)str[9]];
-      /*FALLTHROUGH*/
-      case 9:
-      case 8:
-      case 7:
-        hval += asso_values[(unsigned char)str[6]];
-      /*FALLTHROUGH*/
-      case 6:
-        hval += asso_values[(unsigned char)str[5]];
-      /*FALLTHROUGH*/
-      case 5:
-        hval += asso_values[(unsigned char)str[4]+1];
-      /*FALLTHROUGH*/
-      case 4:
-        hval += asso_values[(unsigned char)str[3]+3];
-      /*FALLTHROUGH*/
-      case 3:
-        hval += asso_values[(unsigned char)str[2]+1];
-      /*FALLTHROUGH*/
-      case 2:
-        hval += asso_values[(unsigned char)str[1]+4];
-      /*FALLTHROUGH*/
-      case 1:
-        hval += asso_values[(unsigned char)str[0]];
-        break;
-    }
-  return hval + asso_values[(unsigned char)str[len - 1]];
-}
-
-struct entity_pool_t
-  {
-    char entity_pool_str39[sizeof("rarr")];
-    char entity_pool_str41[sizeof("larr")];
-    char entity_pool_str49[sizeof("lat")];
-    char entity_pool_str52[sizeof("uarr")];
-    char entity_pool_str55[sizeof("npr")];
-    char entity_pool_str62[sizeof("rarrtl")];
-    char entity_pool_str64[sizeof("larrtl")];
-    char entity_pool_str65[sizeof("roarr")];
-    char entity_pool_str67[sizeof("loarr")];
-    char entity_pool_str68[sizeof("not")];
-    char entity_pool_str69[sizeof("rpar")];
-    char entity_pool_str70[sizeof("bot")];
-    char entity_pool_str71[sizeof("lpar")];
-    char entity_pool_str73[sizeof("spar")];
-    char entity_pool_str75[sizeof("ll")];
-    char entity_pool_str76[sizeof("uharr")];
-    char entity_pool_str77[sizeof("epar")];
-    char entity_pool_str81[sizeof("el")];
-    char entity_pool_str83[sizeof("rotimes")];
-    char entity_pool_str85[sizeof("lotimes")];
-    char entity_pool_str86[sizeof("par")];
-    char entity_pool_str88[sizeof("nharr")];
-    char entity_pool_str94[sizeof("npar")];
-    char entity_pool_str97[sizeof("tprime")];
-    char entity_pool_str101[sizeof("els")];
-    char entity_pool_str102[sizeof("eparsl")];
-    char entity_pool_str104[sizeof("ensp")];
-    char entity_pool_str109[sizeof("bprime")];
-    char entity_pool_str110[sizeof("lnap")];
-    char entity_pool_str111[sizeof("blk14")];
-    char entity_pool_str115[sizeof("blk12")];
-    char entity_pool_str117[sizeof("blk34")];
-    char entity_pool_str119[sizeof("nparsl")];
-    char entity_pool_str123[sizeof("nldr")];
-    char entity_pool_str124[sizeof("rlarr")];
-    char entity_pool_str125[sizeof("npart")];
-    char entity_pool_str126[sizeof("llarr")];
-    char entity_pool_str127[sizeof("nlt")];
-    char entity_pool_str128[sizeof("slarr")];
-    char entity_pool_str138[sizeof("nparallel")];
-    char entity_pool_str143[sizeof("Tau")];
-    char entity_pool_str144[sizeof("varr")];
-    char entity_pool_str146[sizeof("squ")];
-    char entity_pool_str149[sizeof("nlarr")];
-    char entity_pool_str152[sizeof("tau")];
-    char entity_pool_str165[sizeof("lne")];
-    char entity_pool_str166[sizeof("rrarr")];
-    char entity_pool_str168[sizeof("lrarr")];
-    char entity_pool_str170[sizeof("srarr")];
-    char entity_pool_str171[sizeof("rharul")];
-    char entity_pool_str173[sizeof("lharul")];
-    char entity_pool_str174[sizeof("erarr")];
-    char entity_pool_str176[sizeof("pr")];
-    char entity_pool_str177[sizeof("rharu")];
-    char entity_pool_str179[sizeof("lharu")];
-    char entity_pool_str184[sizeof("Uarr")];
-    char entity_pool_str188[sizeof("nGt")];
-    char entity_pool_str190[sizeof("bne")];
-    char entity_pool_str191[sizeof("nrarr")];
-    char entity_pool_str194[sizeof("swarr")];
-    char entity_pool_str198[sizeof("rarrap")];
-    char entity_pool_str200[sizeof("upuparrows")];
-    char entity_pool_str202[sizeof("Darr")];
-    char entity_pool_str205[sizeof("rbarr")];
-    char entity_pool_str206[sizeof("Dot")];
-    char entity_pool_str207[sizeof("lbarr")];
-    char entity_pool_str215[sizeof("nwarr")];
-    char entity_pool_str217[sizeof("smt")];
-    char entity_pool_str222[sizeof("emsp14")];
-    char entity_pool_str223[sizeof("rarrpl")];
-    char entity_pool_str225[sizeof("larrpl")];
-    char entity_pool_str230[sizeof("phmmat")];
-    char entity_pool_str232[sizeof("emsp13")];
-    char entity_pool_str234[sizeof("LT")];
-    char entity_pool_str238[sizeof("Larr")];
-    char entity_pool_str239[sizeof("rbrkslu")];
-    char entity_pool_str241[sizeof("lbrkslu")];
-    char entity_pool_str243[sizeof("napos")];
-    char entity_pool_str251[sizeof("nle")];
-    char entity_pool_str253[sizeof("rHar")];
-    char entity_pool_str255[sizeof("lHar")];
-    char entity_pool_str256[sizeof("qprime")];
-    char entity_pool_str258[sizeof("lap")];
-    char entity_pool_str265[sizeof("nbsp")];
-    char entity_pool_str266[sizeof("uHar")];
-    char entity_pool_str267[sizeof("top")];
-    char entity_pool_str269[sizeof("Vbar")];
-    char entity_pool_str272[sizeof("Ll")];
-    char entity_pool_str276[sizeof("prap")];
-    char entity_pool_str278[sizeof("emsp")];
-    char entity_pool_str281[sizeof("nap")];
-    char entity_pool_str294[sizeof("looparrowleft")];
-    char entity_pool_str296[sizeof("le")];
-    char entity_pool_str300[sizeof("sharp")];
-    char entity_pool_str302[sizeof("ee")];
-    char entity_pool_str310[sizeof("les")];
-    char entity_pool_str311[sizeof("in")];
-    char entity_pool_str312[sizeof("prop")];
-    char entity_pool_str314[sizeof("topbot")];
-    char entity_pool_str317[sizeof("int")];
-    char entity_pool_str319[sizeof("ne")];
-    char entity_pool_str329[sizeof("nprcue")];
-    char entity_pool_str331[sizeof("pre")];
-    char entity_pool_str332[sizeof("epsi")];
-    char entity_pool_str337[sizeof("upsi")];
-    char entity_pool_str338[sizeof("there4")];
-    char entity_pool_str342[sizeof("rbrke")];
-    char entity_pool_str343[sizeof("searr")];
-    char entity_pool_str344[sizeof("lbrke")];
-    char entity_pool_str346[sizeof("blacktriangle")];
-    char entity_pool_str349[sizeof("lneq")];
-    char entity_pool_str352[sizeof("lneqq")];
-    char entity_pool_str354[sizeof("plus")];
-    char entity_pool_str355[sizeof("nles")];
-    char entity_pool_str356[sizeof("nedot")];
-    char entity_pool_str357[sizeof("blacktriangleleft")];
-    char entity_pool_str358[sizeof("blacktriangleright")];
-    char entity_pool_str364[sizeof("nearr")];
-    char entity_pool_str367[sizeof("blacktriangledown")];
-    char entity_pool_str373[sizeof("nless")];
-    char entity_pool_str374[sizeof("emacr")];
-    char entity_pool_str378[sizeof("vprop")];
-    char entity_pool_str379[sizeof("umacr")];
-    char entity_pool_str383[sizeof("smeparsl")];
-    char entity_pool_str387[sizeof("Map")];
-    char entity_pool_str390[sizeof("plusdu")];
-    char entity_pool_str391[sizeof("Not")];
-    char entity_pool_str408[sizeof("Verbar")];
-    char entity_pool_str426[sizeof("perp")];
-    char entity_pool_str430[sizeof("fltns")];
-    char entity_pool_str431[sizeof("plusmn")];
-    char entity_pool_str435[sizeof("nleq")];
-    char entity_pool_str438[sizeof("nleqq")];
-    char entity_pool_str440[sizeof("frac34")];
-    char entity_pool_str441[sizeof("frac14")];
-    char entity_pool_str442[sizeof("verbar")];
-    char entity_pool_str443[sizeof("frac12")];
-    char entity_pool_str444[sizeof("frac35")];
-    char entity_pool_str445[sizeof("frac15")];
-    char entity_pool_str446[sizeof("frac45")];
-    char entity_pool_str449[sizeof("frac25")];
-    char entity_pool_str451[sizeof("frac13")];
-    char entity_pool_str453[sizeof("frac16")];
-    char entity_pool_str454[sizeof("prurel")];
-    char entity_pool_str455[sizeof("frac23")];
-    char entity_pool_str456[sizeof("frac38")];
-    char entity_pool_str457[sizeof("frac18")];
-    char entity_pool_str458[sizeof("frac56")];
-    char entity_pool_str462[sizeof("frac58")];
-    char entity_pool_str464[sizeof("frac78")];
-    char entity_pool_str465[sizeof("leq")];
-    char entity_pool_str466[sizeof("darr")];
-    char entity_pool_str469[sizeof("Upsi")];
-    char entity_pool_str470[sizeof("dot")];
-    char entity_pool_str471[sizeof("phone")];
-    char entity_pool_str474[sizeof("Cap")];
-    char entity_pool_str478[sizeof("blacksquare")];
-    char entity_pool_str479[sizeof("rnmid")];
-    char entity_pool_str483[sizeof("leqq")];
-    char entity_pool_str486[sizeof("intcal")];
-    char entity_pool_str490[sizeof("dharr")];
-    char entity_pool_str494[sizeof("rhard")];
-    char entity_pool_str496[sizeof("lhard")];
-    char entity_pool_str505[sizeof("pluse")];
-    char entity_pool_str511[sizeof("Umacr")];
-    char entity_pool_str512[sizeof("Vee")];
-    char entity_pool_str515[sizeof("Rarr")];
-    char entity_pool_str527[sizeof("Cross")];
-    char entity_pool_str529[sizeof("rsqb")];
-    char entity_pool_str531[sizeof("lsqb")];
-    char entity_pool_str538[sizeof("Rarrtl")];
-    char entity_pool_str541[sizeof("esdot")];
-    char entity_pool_str546[sizeof("vee")];
-    char entity_pool_str547[sizeof("nbumpe")];
-    char entity_pool_str553[sizeof("llcorner")];
-    char entity_pool_str554[sizeof("fpartint")];
-    char entity_pool_str558[sizeof("squf")];
-    char entity_pool_str559[sizeof("plankv")];
-    char entity_pool_str562[sizeof("eqvparsl")];
-    char entity_pool_str564[sizeof("ulcorner")];
-    char entity_pool_str566[sizeof("wp")];
-    char entity_pool_str571[sizeof("lozf")];
-    char entity_pool_str575[sizeof("COPY")];
-    char entity_pool_str577[sizeof("ulcorn")];
-    char entity_pool_str582[sizeof("veebar")];
-    char entity_pool_str584[sizeof("part")];
-    char entity_pool_str589[sizeof("square")];
-    char entity_pool_str591[sizeof("nbump")];
-    char entity_pool_str592[sizeof("bernou")];
-    char entity_pool_str593[sizeof("wr")];
-    char entity_pool_str594[sizeof("rBarr")];
-    char entity_pool_str595[sizeof("lrcorner")];
-    char entity_pool_str596[sizeof("lBarr")];
-    char entity_pool_str599[sizeof("bnot")];
-    char entity_pool_str601[sizeof("semi")];
-    char entity_pool_str606[sizeof("urcorner")];
-    char entity_pool_str612[sizeof("NotSubset")];
-    char entity_pool_str614[sizeof("ropf")];
-    char entity_pool_str615[sizeof("Qopf")];
-    char entity_pool_str616[sizeof("lopf")];
-    char entity_pool_str618[sizeof("sopf")];
-    char entity_pool_str619[sizeof("urcorn")];
-    char entity_pool_str620[sizeof("Topf")];
-    char entity_pool_str621[sizeof("Zopf")];
-    char entity_pool_str622[sizeof("eopf")];
-    char entity_pool_str626[sizeof("ropar")];
-    char entity_pool_str627[sizeof("uopf")];
-    char entity_pool_str628[sizeof("lopar")];
-    char entity_pool_str629[sizeof("topf")];
-    char entity_pool_str635[sizeof("Xopf")];
-    char entity_pool_str639[sizeof("nopf")];
-    char entity_pool_str641[sizeof("bopf")];
-    char entity_pool_str642[sizeof("epsiv")];
-    char entity_pool_str643[sizeof("fnof")];
-    char entity_pool_str644[sizeof("imacr")];
-    char entity_pool_str647[sizeof("Jopf")];
-    char entity_pool_str649[sizeof("nhpar")];
-    char entity_pool_str653[sizeof("Wopf")];
-    char entity_pool_str658[sizeof("Sqrt")];
-    char entity_pool_str659[sizeof("nsub")];
-    char entity_pool_str661[sizeof("napid")];
-    char entity_pool_str664[sizeof("NotSuperset")];
-    char entity_pool_str667[sizeof("brvbar")];
-    char entity_pool_str670[sizeof("sol")];
-    char entity_pool_str675[sizeof("easter")];
-    char entity_pool_str677[sizeof("popf")];
-    char entity_pool_str680[sizeof("dHar")];
-    char entity_pool_str685[sizeof("Vopf")];
-    char entity_pool_str690[sizeof("nsupset")];
-    char entity_pool_str691[sizeof("nsup")];
-    char entity_pool_str692[sizeof("vBar")];
-    char entity_pool_str694[sizeof("nsubset")];
-    char entity_pool_str700[sizeof("thkap")];
-    char entity_pool_str704[sizeof("nis")];
-    char entity_pool_str705[sizeof("profsurf")];
-    char entity_pool_str706[sizeof("solb")];
-    char entity_pool_str710[sizeof("lnsim")];
-    char entity_pool_str712[sizeof("solbar")];
-    char entity_pool_str717[sizeof("Square")];
-    char entity_pool_str719[sizeof("vopf")];
-    char entity_pool_str723[sizeof("uharl")];
-    char entity_pool_str725[sizeof("ulcrop")];
-    char entity_pool_str729[sizeof("eqsim")];
-    char entity_pool_str730[sizeof("equiv")];
-    char entity_pool_str733[sizeof("ell")];
-    char entity_pool_str734[sizeof("smashp")];
-    char entity_pool_str735[sizeof("mp")];
-    char entity_pool_str738[sizeof("Kopf")];
-    char entity_pool_str741[sizeof("simrarr")];
-    char entity_pool_str743[sizeof("flat")];
-    char entity_pool_str745[sizeof("Mopf")];
-    char entity_pool_str746[sizeof("Sopf")];
-    char entity_pool_str747[sizeof("mldr")];
-    char entity_pool_str748[sizeof("rlm")];
-    char entity_pool_str749[sizeof("iprod")];
-    char entity_pool_str756[sizeof("lparlt")];
-    char entity_pool_str758[sizeof("fopf")];
-    char entity_pool_str759[sizeof("Uopf")];
-    char entity_pool_str763[sizeof("varsubsetneq")];
-    char entity_pool_str764[sizeof("varsubsetneqq")];
-    char entity_pool_str767[sizeof("urcrop")];
-    char entity_pool_str768[sizeof("LessLess")];
-    char entity_pool_str770[sizeof("Re")];
-    char entity_pool_str773[sizeof("NotNestedLessLess")];
-    char entity_pool_str777[sizeof("Dopf")];
-    char entity_pool_str779[sizeof("forkv")];
-    char entity_pool_str781[sizeof("nsqsube")];
-    char entity_pool_str783[sizeof("nsupe")];
-    char entity_pool_str787[sizeof("nsube")];
-    char entity_pool_str788[sizeof("qopf")];
-    char entity_pool_str789[sizeof("rlhar")];
-    char entity_pool_str792[sizeof("lrm")];
-    char entity_pool_str796[sizeof("nlsim")];
-    char entity_pool_str798[sizeof("pound")];
-    char entity_pool_str799[sizeof("varsupsetneq")];
-    char entity_pool_str800[sizeof("varsupsetneqq")];
-    char entity_pool_str802[sizeof("bnequiv")];
-    char entity_pool_str813[sizeof("Lopf")];
-    char entity_pool_str817[sizeof("nsqsupe")];
-    char entity_pool_str820[sizeof("rarrlp")];
-    char entity_pool_str821[sizeof("wedbar")];
-    char entity_pool_str822[sizeof("larrlp")];
-    char entity_pool_str824[sizeof("Yopf")];
-    char entity_pool_str829[sizeof("NotReverseElement")];
-    char entity_pool_str832[sizeof("Copf")];
-    char entity_pool_str833[sizeof("lrhar")];
-    char entity_pool_str848[sizeof("parsl")];
-    char entity_pool_str849[sizeof("uml")];
-    char entity_pool_str850[sizeof("marker")];
-    char entity_pool_str851[sizeof("nsupseteq")];
-    char entity_pool_str855[sizeof("nsubseteq")];
-    char entity_pool_str861[sizeof("squarf")];
-    char entity_pool_str862[sizeof("Vert")];
-    char entity_pool_str874[sizeof("SquareSupersetEqual")];
-    char entity_pool_str876[sizeof("prsim")];
-    char entity_pool_str879[sizeof("SquareSubsetEqual")];
-    char entity_pool_str882[sizeof("SquareSuperset")];
-    char entity_pool_str887[sizeof("SquareSubset")];
-    char entity_pool_str888[sizeof("nvap")];
-    char entity_pool_str892[sizeof("iopf")];
-    char entity_pool_str894[sizeof("pm")];
-    char entity_pool_str896[sizeof("vert")];
-    char entity_pool_str898[sizeof("thetav")];
-    char entity_pool_str901[sizeof("loz")];
-    char entity_pool_str905[sizeof("map")];
-    char entity_pool_str920[sizeof("lesseqqgtr")];
-    char entity_pool_str934[sizeof("rscr")];
-    char entity_pool_str935[sizeof("Qscr")];
-    char entity_pool_str936[sizeof("lscr")];
-    char entity_pool_str938[sizeof("sscr")];
-    char entity_pool_str940[sizeof("Tscr")];
-    char entity_pool_str941[sizeof("Zscr")];
-    char entity_pool_str942[sizeof("escr")];
-    char entity_pool_str947[sizeof("uscr")];
-    char entity_pool_str949[sizeof("tscr")];
-    char entity_pool_str951[sizeof("imof")];
-    char entity_pool_str952[sizeof("Coproduct")];
-    char entity_pool_str955[sizeof("Xscr")];
-    char entity_pool_str956[sizeof("Xi")];
-    char entity_pool_str959[sizeof("nscr")];
-    char entity_pool_str960[sizeof("ni")];
-    char entity_pool_str961[sizeof("bscr")];
-    char entity_pool_str962[sizeof("Nopf")];
-    char entity_pool_str967[sizeof("Jscr")];
-    char entity_pool_str968[sizeof("preceq")];
-    char entity_pool_str971[sizeof("nvrArr")];
-    char entity_pool_str972[sizeof("backprime")];
-    char entity_pool_str973[sizeof("Wscr")];
-    char entity_pool_str975[sizeof("varphi")];
-    char entity_pool_str984[sizeof("nsmid")];
-    char entity_pool_str991[sizeof("dlcorn")];
-    char entity_pool_str997[sizeof("pscr")];
-    char entity_pool_str998[sizeof("pi")];
-    char entity_pool_str1005[sizeof("Vscr")];
-    char entity_pool_str1011[sizeof("nesim")];
-    char entity_pool_str1021[sizeof("simne")];
-    char entity_pool_str1028[sizeof("nsupseteqq")];
-    char entity_pool_str1032[sizeof("nsubseteqq")];
-    char entity_pool_str1033[sizeof("drcorn")];
-    char entity_pool_str1038[sizeof("rbrace")];
-    char entity_pool_str1039[sizeof("vscr")];
-    char entity_pool_str1040[sizeof("lbrace")];
-    char entity_pool_str1041[sizeof("dopf")];
-    char entity_pool_str1049[sizeof("frasl")];
-    char entity_pool_str1055[sizeof("LessTilde")];
-    char entity_pool_str1058[sizeof("Kscr")];
-    char entity_pool_str1064[sizeof("pluscir")];
-    char entity_pool_str1065[sizeof("Mscr")];
-    char entity_pool_str1066[sizeof("Sscr")];
-    char entity_pool_str1067[sizeof("rbrksld")];
-    char entity_pool_str1069[sizeof("lbrksld")];
-    char entity_pool_str1070[sizeof("RBarr")];
-    char entity_pool_str1073[sizeof("sqcaps")];
-    char entity_pool_str1074[sizeof("rArr")];
-    char entity_pool_str1075[sizeof("bNot")];
-    char entity_pool_str1076[sizeof("lArr")];
-    char entity_pool_str1078[sizeof("fscr")];
-    char entity_pool_str1079[sizeof("Uscr")];
-    char entity_pool_str1087[sizeof("uArr")];
-    char entity_pool_str1090[sizeof("Ropf")];
-    char entity_pool_str1094[sizeof("wopf")];
-    char entity_pool_str1097[sizeof("Dscr")];
-    char entity_pool_str1098[sizeof("opar")];
-    char entity_pool_str1099[sizeof("seswar")];
-    char entity_pool_str1103[sizeof("Del")];
-    char entity_pool_str1104[sizeof("rAarr")];
-    char entity_pool_str1105[sizeof("rho")];
-    char entity_pool_str1106[sizeof("lAarr")];
-    char entity_pool_str1107[sizeof("preccurlyeq")];
-    char entity_pool_str1108[sizeof("qscr")];
-    char entity_pool_str1111[sizeof("macr")];
-    char entity_pool_str1115[sizeof("notin")];
-    char entity_pool_str1120[sizeof("equivDD")];
-    char entity_pool_str1125[sizeof("sqcap")];
-    char entity_pool_str1127[sizeof("nspar")];
-    char entity_pool_str1131[sizeof("olt")];
-    char entity_pool_str1132[sizeof("ratio")];
-    char entity_pool_str1133[sizeof("Lscr")];
-    char entity_pool_str1137[sizeof("dharl")];
-    char entity_pool_str1139[sizeof("dlcrop")];
-    char entity_pool_str1140[sizeof("DoubleDot")];
-    char entity_pool_str1141[sizeof("dotplus")];
-    char entity_pool_str1142[sizeof("or")];
-    char entity_pool_str1144[sizeof("Yscr")];
-    char entity_pool_str1147[sizeof("Fopf")];
-    char entity_pool_str1152[sizeof("Cscr")];
-    char entity_pool_str1153[sizeof("olarr")];
-    char entity_pool_str1154[sizeof("nrarrw")];
-    char entity_pool_str1159[sizeof("lvertneqq")];
-    char entity_pool_str1160[sizeof("eqslantgtr")];
-    char entity_pool_str1164[sizeof("thorn")];
-    char entity_pool_str1169[sizeof("eqslantless")];
-    char entity_pool_str1172[sizeof("incare")];
-    char entity_pool_str1179[sizeof("vArr")];
-    char entity_pool_str1180[sizeof("rppolint")];
-    char entity_pool_str1181[sizeof("drcrop")];
-    char entity_pool_str1187[sizeof("parallel")];
-    char entity_pool_str1195[sizeof("orarr")];
-    char entity_pool_str1196[sizeof("ssmile")];
-    char entity_pool_str1200[sizeof("DoubleLeftTee")];
-    char entity_pool_str1201[sizeof("erDot")];
-    char entity_pool_str1202[sizeof("diams")];
-    char entity_pool_str1203[sizeof("ssetmn")];
-    char entity_pool_str1208[sizeof("oS")];
-    char entity_pool_str1212[sizeof("iscr")];
-    char entity_pool_str1213[sizeof("ii")];
-    char entity_pool_str1214[sizeof("rect")];
-    char entity_pool_str1217[sizeof("nsccue")];
-    char entity_pool_str1218[sizeof("sect")];
-    char entity_pool_str1220[sizeof("mlcp")];
-    char entity_pool_str1224[sizeof("oror")];
-    char entity_pool_str1226[sizeof("DoubleContourIntegral")];
-    char entity_pool_str1230[sizeof("equals")];
-    char entity_pool_str1232[sizeof("Hat")];
-    char entity_pool_str1236[sizeof("sstarf")];
-    char entity_pool_str1237[sizeof("mstpos")];
-    char entity_pool_str1239[sizeof("die")];
-    char entity_pool_str1240[sizeof("measuredangle")];
-    char entity_pool_str1252[sizeof("forall")];
-    char entity_pool_str1255[sizeof("notinvb")];
-    char entity_pool_str1263[sizeof("mopf")];
-    char entity_pool_str1270[sizeof("niv")];
-    char entity_pool_str1280[sizeof("vBarv")];
-    char entity_pool_str1282[sizeof("Nscr")];
-    char entity_pool_str1284[sizeof("period")];
-    char entity_pool_str1292[sizeof("becaus")];
-    char entity_pool_str1298[sizeof("between")];
-    char entity_pool_str1299[sizeof("Int")];
-    char entity_pool_str1307[sizeof("because")];
-    char entity_pool_str1308[sizeof("piv")];
-    char entity_pool_str1326[sizeof("rfr")];
-    char entity_pool_str1327[sizeof("Qfr")];
-    char entity_pool_str1328[sizeof("lfr")];
-    char entity_pool_str1330[sizeof("sfr")];
-    char entity_pool_str1331[sizeof("nleftrightarrow")];
-    char entity_pool_str1332[sizeof("Tfr")];
-    char entity_pool_str1333[sizeof("Zfr")];
-    char entity_pool_str1334[sizeof("efr")];
-    char entity_pool_str1338[sizeof("sim")];
-    char entity_pool_str1339[sizeof("ufr")];
-    char entity_pool_str1340[sizeof("roplus")];
-    char entity_pool_str1341[sizeof("tfr")];
-    char entity_pool_str1342[sizeof("loplus")];
-    char entity_pool_str1347[sizeof("Xfr")];
-    char entity_pool_str1350[sizeof("real")];
-    char entity_pool_str1351[sizeof("nfr")];
-    char entity_pool_str1353[sizeof("bfr")];
-    char entity_pool_str1355[sizeof("NotHumpEqual")];
-    char entity_pool_str1359[sizeof("Jfr")];
-    char entity_pool_str1361[sizeof("dscr")];
-    char entity_pool_str1365[sizeof("Wfr")];
-    char entity_pool_str1367[sizeof("blacklozenge")];
-    char entity_pool_str1369[sizeof("zopf")];
-    char entity_pool_str1370[sizeof("reals")];
-    char entity_pool_str1372[sizeof("NotCupCap")];
-    char entity_pool_str1375[sizeof("simplus")];
-    char entity_pool_str1377[sizeof("ForAll")];
-    char entity_pool_str1389[sizeof("pfr")];
-    char entity_pool_str1395[sizeof("omacr")];
-    char entity_pool_str1397[sizeof("Vfr")];
-    char entity_pool_str1409[sizeof("Emacr")];
-    char entity_pool_str1410[sizeof("Rscr")];
-    char entity_pool_str1414[sizeof("wscr")];
-    char entity_pool_str1423[sizeof("ShortUpArrow")];
-    char entity_pool_str1429[sizeof("setmn")];
-    char entity_pool_str1431[sizeof("vfr")];
-    char entity_pool_str1450[sizeof("Kfr")];
-    char entity_pool_str1455[sizeof("operp")];
-    char entity_pool_str1457[sizeof("Mfr")];
-    char entity_pool_str1458[sizeof("Sfr")];
-    char entity_pool_str1461[sizeof("nltrie")];
-    char entity_pool_str1467[sizeof("Fscr")];
-    char entity_pool_str1470[sizeof("ffr")];
-    char entity_pool_str1471[sizeof("Ufr")];
-    char entity_pool_str1473[sizeof("shortmid")];
-    char entity_pool_str1488[sizeof("nvsim")];
-    char entity_pool_str1489[sizeof("Dfr")];
-    char entity_pool_str1490[sizeof("lessdot")];
-    char entity_pool_str1493[sizeof("profline")];
-    char entity_pool_str1500[sizeof("qfr")];
-    char entity_pool_str1501[sizeof("dArr")];
-    char entity_pool_str1503[sizeof("nrtrie")];
-    char entity_pool_str1507[sizeof("ShortRightArrow")];
-    char entity_pool_str1515[sizeof("Therefore")];
-    char entity_pool_str1519[sizeof("DD")];
-    char entity_pool_str1524[sizeof("therefore")];
-    char entity_pool_str1525[sizeof("Lfr")];
-    char entity_pool_str1532[sizeof("target")];
-    char entity_pool_str1535[sizeof("Element")];
-    char entity_pool_str1536[sizeof("Yfr")];
-    char entity_pool_str1537[sizeof("ClockwiseContourIntegral")];
-    char entity_pool_str1542[sizeof("olcir")];
-    char entity_pool_str1544[sizeof("Cfr")];
-    char entity_pool_str1559[sizeof("female")];
-    char entity_pool_str1560[sizeof("nsucceq")];
-    char entity_pool_str1561[sizeof("oast")];
-    char entity_pool_str1568[sizeof("percnt")];
-    char entity_pool_str1578[sizeof("ordf")];
-    char entity_pool_str1580[sizeof("ord")];
-    char entity_pool_str1581[sizeof("Rho")];
-    char entity_pool_str1583[sizeof("mscr")];
-    char entity_pool_str1585[sizeof("nvrtrie")];
-    char entity_pool_str1589[sizeof("lnE")];
-    char entity_pool_str1597[sizeof("nhArr")];
-    char entity_pool_str1598[sizeof("Or")];
-    char entity_pool_str1602[sizeof("divide")];
-    char entity_pool_str1604[sizeof("ifr")];
-    char entity_pool_str1605[sizeof("elinters")];
-    char entity_pool_str1615[sizeof("bsol")];
-    char entity_pool_str1616[sizeof("nvlArr")];
-    char entity_pool_str1626[sizeof("Imacr")];
-    char entity_pool_str1628[sizeof("backsimeq")];
-    char entity_pool_str1629[sizeof("twixt")];
-    char entity_pool_str1630[sizeof("olcross")];
-    char entity_pool_str1639[sizeof("rarrsim")];
-    char entity_pool_str1640[sizeof("DoubleDownArrow")];
-    char entity_pool_str1641[sizeof("larrsim")];
-    char entity_pool_str1642[sizeof("emptyset")];
-    char entity_pool_str1643[sizeof("oopf")];
-    char entity_pool_str1645[sizeof("exist")];
-    char entity_pool_str1648[sizeof("llhard")];
-    char entity_pool_str1656[sizeof("excl")];
-    char entity_pool_str1657[sizeof("Eopf")];
-    char entity_pool_str1658[sizeof("nlArr")];
-    char entity_pool_str1663[sizeof("thinsp")];
-    char entity_pool_str1664[sizeof("NotSubsetEqual")];
-    char entity_pool_str1665[sizeof("phi")];
-    char entity_pool_str1666[sizeof("DoubleLeftArrow")];
-    char entity_pool_str1668[sizeof("topcir")];
-    char entity_pool_str1672[sizeof("div")];
-    char entity_pool_str1674[sizeof("Nfr")];
-    char entity_pool_str1675[sizeof("nlE")];
-    char entity_pool_str1689[sizeof("zscr")];
-    char entity_pool_str1690[sizeof("lrhard")];
-    char entity_pool_str1697[sizeof("lltri")];
-    char entity_pool_str1700[sizeof("nrArr")];
-    char entity_pool_str1701[sizeof("NotSupersetEqual")];
-    char entity_pool_str1703[sizeof("swArr")];
-    char entity_pool_str1704[sizeof("ThickSpace")];
-    char entity_pool_str1708[sizeof("ultri")];
-    char entity_pool_str1709[sizeof("notnivb")];
-    char entity_pool_str1711[sizeof("prime")];
-    char entity_pool_str1714[sizeof("primes")];
-    char entity_pool_str1716[sizeof("ohm")];
-    char entity_pool_str1719[sizeof("CircleTimes")];
-    char entity_pool_str1720[sizeof("nltri")];
-    char entity_pool_str1723[sizeof("siml")];
-    char entity_pool_str1724[sizeof("nwArr")];
-    char entity_pool_str1727[sizeof("varpi")];
-    char entity_pool_str1730[sizeof("orv")];
-    char entity_pool_str1735[sizeof("setminus")];
-    char entity_pool_str1739[sizeof("lrtri")];
-    char entity_pool_str1743[sizeof("permil")];
-    char entity_pool_str1744[sizeof("mid")];
-    char entity_pool_str1750[sizeof("urtri")];
-    char entity_pool_str1753[sizeof("dfr")];
-    char entity_pool_str1754[sizeof("mho")];
-    char entity_pool_str1755[sizeof("prE")];
-    char entity_pool_str1759[sizeof("vsupne")];
-    char entity_pool_str1762[sizeof("nrtri")];
-    char entity_pool_str1763[sizeof("vsubne")];
-    char entity_pool_str1765[sizeof("eDot")];
-    char entity_pool_str1778[sizeof("lesges")];
-    char entity_pool_str1781[sizeof("backepsilon")];
-    char entity_pool_str1783[sizeof("ratail")];
-    char entity_pool_str1785[sizeof("latail")];
-    char entity_pool_str1788[sizeof("UpEquilibrium")];
-    char entity_pool_str1791[sizeof("epsilon")];
-    char entity_pool_str1796[sizeof("upsilon")];
-    char entity_pool_str1798[sizeof("midast")];
-    char entity_pool_str1799[sizeof("Hopf")];
-    char entity_pool_str1800[sizeof("vltri")];
-    char entity_pool_str1802[sizeof("Rfr")];
-    char entity_pool_str1805[sizeof("Wedge")];
-    char entity_pool_str1806[sizeof("wfr")];
-    char entity_pool_str1812[sizeof("barwed")];
-    char entity_pool_str1815[sizeof("malt")];
-    char entity_pool_str1820[sizeof("Chi")];
-    char entity_pool_str1821[sizeof("emptyv")];
-    char entity_pool_str1822[sizeof("notni")];
-    char entity_pool_str1827[sizeof("LessGreater")];
-    char entity_pool_str1829[sizeof("diam")];
-    char entity_pool_str1842[sizeof("vrtri")];
-    char entity_pool_str1849[sizeof("CircleMinus")];
-    char entity_pool_str1851[sizeof("Omacr")];
-    char entity_pool_str1852[sizeof("seArr")];
-    char entity_pool_str1859[sizeof("Ffr")];
-    char entity_pool_str1865[sizeof("precneqq")];
-    char entity_pool_str1867[sizeof("Diamond")];
-    char entity_pool_str1868[sizeof("ordm")];
-    char entity_pool_str1873[sizeof("neArr")];
-    char entity_pool_str1874[sizeof("Iopf")];
-    char entity_pool_str1875[sizeof("CircleDot")];
-    char entity_pool_str1878[sizeof("prnap")];
-    char entity_pool_str1884[sizeof("dotminus")];
-    char entity_pool_str1903[sizeof("nshortmid")];
-    char entity_pool_str1905[sizeof("bottom")];
-    char entity_pool_str1907[sizeof("pointint")];
-    char entity_pool_str1917[sizeof("SquareUnion")];
-    char entity_pool_str1925[sizeof("jopf")];
-    char entity_pool_str1928[sizeof("Upsilon")];
-    char entity_pool_str1936[sizeof("Colone")];
-    char entity_pool_str1938[sizeof("nvlt")];
-    char entity_pool_str1941[sizeof("NestedLessLess")];
-    char entity_pool_str1942[sizeof("Colon")];
-    char entity_pool_str1945[sizeof("bsolhsub")];
-    char entity_pool_str1949[sizeof("DoubleLeftRightArrow")];
-    char entity_pool_str1950[sizeof("plussim")];
-    char entity_pool_str1959[sizeof("image")];
-    char entity_pool_str1960[sizeof("egs")];
-    char entity_pool_str1963[sizeof("oscr")];
-    char entity_pool_str1964[sizeof("swnwar")];
-    char entity_pool_str1969[sizeof("zeetrf")];
-    char entity_pool_str1973[sizeof("maltese")];
-    char entity_pool_str1975[sizeof("mfr")];
-    char entity_pool_str1976[sizeof("rarrfs")];
-    char entity_pool_str1977[sizeof("Escr")];
-    char entity_pool_str1978[sizeof("larrfs")];
-    char entity_pool_str1985[sizeof("mnplus")];
-    char entity_pool_str1986[sizeof("ngt")];
-    char entity_pool_str1987[sizeof("ngtr")];
-    char entity_pool_str1996[sizeof("gl")];
-    char entity_pool_str2003[sizeof("diamondsuit")];
-    char entity_pool_str2004[sizeof("GT")];
-    char entity_pool_str2014[sizeof("lesssim")];
-    char entity_pool_str2015[sizeof("dsol")];
-    char entity_pool_str2023[sizeof("upharpoonleft")];
-    char entity_pool_str2024[sizeof("SquareIntersection")];
-    char entity_pool_str2025[sizeof("lsime")];
-    char entity_pool_str2027[sizeof("nLt")];
-    char entity_pool_str2029[sizeof("NotLess")];
-    char entity_pool_str2031[sizeof("gnap")];
-    char entity_pool_str2035[sizeof("scap")];
-    char entity_pool_str2038[sizeof("mapstoleft")];
-    char entity_pool_str2039[sizeof("NotLessLess")];
-    char entity_pool_str2043[sizeof("rfloor")];
-    char entity_pool_str2045[sizeof("lfloor")];
-    char entity_pool_str2048[sizeof("nsime")];
-    char entity_pool_str2050[sizeof("bsime")];
-    char entity_pool_str2051[sizeof("NotLessEqual")];
-    char entity_pool_str2052[sizeof("NotLessTilde")];
-    char entity_pool_str2056[sizeof("ncap")];
-    char entity_pool_str2059[sizeof("NotLessGreater")];
-    char entity_pool_str2070[sizeof("precsim")];
-    char entity_pool_str2072[sizeof("looparrowright")];
-    char entity_pool_str2076[sizeof("Pr")];
-    char entity_pool_str2077[sizeof("rcub")];
-    char entity_pool_str2078[sizeof("mapstoup")];
-    char entity_pool_str2079[sizeof("lcub")];
-    char entity_pool_str2081[sizeof("zfr")];
-    char entity_pool_str2084[sizeof("uparrow")];
-    char entity_pool_str2086[sizeof("gne")];
-    char entity_pool_str2090[sizeof("sce")];
-    char entity_pool_str2091[sizeof("Im")];
-    char entity_pool_str2096[sizeof("rcaron")];
-    char entity_pool_str2098[sizeof("lcaron")];
-    char entity_pool_str2099[sizeof("Oopf")];
-    char entity_pool_str2100[sizeof("scaron")];
-    char entity_pool_str2101[sizeof("backsim")];
-    char entity_pool_str2102[sizeof("Tcaron")];
-    char entity_pool_str2103[sizeof("Zcaron")];
-    char entity_pool_str2104[sizeof("ecaron")];
-    char entity_pool_str2106[sizeof("Bernoullis")];
-    char entity_pool_str2110[sizeof("nge")];
-    char entity_pool_str2111[sizeof("tcaron")];
-    char entity_pool_str2113[sizeof("fork")];
-    char entity_pool_str2119[sizeof("Hscr")];
-    char entity_pool_str2121[sizeof("ncaron")];
-    char entity_pool_str2122[sizeof("elsdot")];
-    char entity_pool_str2124[sizeof("tbrk")];
-    char entity_pool_str2128[sizeof("triplus")];
-    char entity_pool_str2131[sizeof("diamond")];
-    char entity_pool_str2134[sizeof("ncup")];
-    char entity_pool_str2136[sizeof("bbrk")];
-    char entity_pool_str2138[sizeof("frown")];
-    char entity_pool_str2139[sizeof("bkarow")];
-    char entity_pool_str2141[sizeof("spades")];
-    char entity_pool_str2143[sizeof("psi")];
-    char entity_pool_str2150[sizeof("Bopf")];
-    char entity_pool_str2156[sizeof("dollar")];
-    char entity_pool_str2164[sizeof("disin")];
-    char entity_pool_str2170[sizeof("spadesuit")];
-    char entity_pool_str2176[sizeof("NotTilde")];
-    char entity_pool_str2177[sizeof("doublebarwedge")];
-    char entity_pool_str2179[sizeof("gap")];
-    char entity_pool_str2186[sizeof("bbrktbrk")];
-    char entity_pool_str2189[sizeof("swarrow")];
-    char entity_pool_str2190[sizeof("bepsi")];
-    char entity_pool_str2194[sizeof("Iscr")];
-    char entity_pool_str2198[sizeof("NotTildeFullEqual")];
-    char entity_pool_str2199[sizeof("eqcolon")];
-    char entity_pool_str2202[sizeof("tint")];
-    char entity_pool_str2205[sizeof("intprod")];
-    char entity_pool_str2207[sizeof("nsupE")];
-    char entity_pool_str2210[sizeof("nwarrow")];
-    char entity_pool_str2211[sizeof("nsubE")];
-    char entity_pool_str2214[sizeof("nges")];
-    char entity_pool_str2216[sizeof("Uparrow")];
-    char entity_pool_str2217[sizeof("ge")];
-    char entity_pool_str2218[sizeof("OpenCurlyDoubleQuote")];
-    char entity_pool_str2223[sizeof("smallsetminus")];
-    char entity_pool_str2228[sizeof("Scaron")];
-    char entity_pool_str2230[sizeof("nvltrie")];
-    char entity_pool_str2231[sizeof("ges")];
-    char entity_pool_str2232[sizeof("blank")];
-    char entity_pool_str2233[sizeof("QUOT")];
-    char entity_pool_str2238[sizeof("block")];
-    char entity_pool_str2239[sizeof("trade")];
-    char entity_pool_str2245[sizeof("jscr")];
-    char entity_pool_str2246[sizeof("wedge")];
-    char entity_pool_str2254[sizeof("Amacr")];
-    char entity_pool_str2256[sizeof("Equal")];
-    char entity_pool_str2259[sizeof("Dcaron")];
-    char entity_pool_str2262[sizeof("DotDot")];
-    char entity_pool_str2270[sizeof("gneq")];
-    char entity_pool_str2271[sizeof("varpropto")];
-    char entity_pool_str2273[sizeof("gneqq")];
-    char entity_pool_str2274[sizeof("Proportional")];
-    char entity_pool_str2279[sizeof("isins")];
-    char entity_pool_str2281[sizeof("eDDot")];
-    char entity_pool_str2282[sizeof("isin")];
-    char entity_pool_str2286[sizeof("TripleDot")];
-    char entity_pool_str2290[sizeof("Fouriertrf")];
-    char entity_pool_str2291[sizeof("Proportion")];
-    char entity_pool_str2294[sizeof("ngeq")];
-    char entity_pool_str2295[sizeof("Lcaron")];
-    char entity_pool_str2297[sizeof("ngeqq")];
-    char entity_pool_str2313[sizeof("lE")];
-    char entity_pool_str2314[sizeof("Ccaron")];
-    char entity_pool_str2320[sizeof("bsemi")];
-    char entity_pool_str2326[sizeof("propto")];
-    char entity_pool_str2331[sizeof("lesdot")];
-    char entity_pool_str2332[sizeof("Conint")];
-    char entity_pool_str2334[sizeof("And")];
-    char entity_pool_str2338[sizeof("searrow")];
-    char entity_pool_str2343[sizeof("orslope")];
-    char entity_pool_str2344[sizeof("harr")];
-    char entity_pool_str2350[sizeof("late")];
-    char entity_pool_str2352[sizeof("CenterDot")];
-    char entity_pool_str2355[sizeof("ofr")];
-    char entity_pool_str2359[sizeof("nearrow")];
-    char entity_pool_str2361[sizeof("qint")];
-    char entity_pool_str2364[sizeof("lates")];
-    char entity_pool_str2365[sizeof("kappav")];
-    char entity_pool_str2368[sizeof("horbar")];
-    char entity_pool_str2369[sizeof("Efr")];
-    char entity_pool_str2370[sizeof("hoarr")];
-    char entity_pool_str2371[sizeof("npre")];
-    char entity_pool_str2377[sizeof("inodot")];
-    char entity_pool_str2379[sizeof("udarr")];
-    char entity_pool_str2386[sizeof("geq")];
-    char entity_pool_str2391[sizeof("nsimeq")];
-    char entity_pool_str2404[sizeof("geqq")];
-    char entity_pool_str2407[sizeof("efDot")];
-    char entity_pool_str2410[sizeof("rpargt")];
-    char entity_pool_str2419[sizeof("Oscr")];
-    char entity_pool_str2422[sizeof("plusdo")];
-    char entity_pool_str2425[sizeof("lagran")];
-    char entity_pool_str2429[sizeof("thicksim")];
-    char entity_pool_str2440[sizeof("precnsim")];
-    char entity_pool_str2444[sizeof("Ncaron")];
-    char entity_pool_str2449[sizeof("napE")];
-    char entity_pool_str2457[sizeof("iiint")];
-    char entity_pool_str2470[sizeof("Bscr")];
-    char entity_pool_str2483[sizeof("mapstodown")];
-    char entity_pool_str2486[sizeof("varrho")];
-    char entity_pool_str2488[sizeof("isinsv")];
-    char entity_pool_str2491[sizeof("nvHarr")];
-    char entity_pool_str2494[sizeof("NotLeftTriangleBar")];
-    char entity_pool_str2496[sizeof("equest")];
-    char entity_pool_str2498[sizeof("NotLeftTriangleEqual")];
-    char entity_pool_str2499[sizeof("NotLeftTriangle")];
-    char entity_pool_str2502[sizeof("Aopf")];
-    char entity_pool_str2503[sizeof("hbar")];
-    char entity_pool_str2507[sizeof("vangrt")];
-    char entity_pool_str2511[sizeof("Hfr")];
-    char entity_pool_str2517[sizeof("range")];
-    char entity_pool_str2518[sizeof("smte")];
-    char entity_pool_str2519[sizeof("lsim")];
-    char entity_pool_str2521[sizeof("npolint")];
-    char entity_pool_str2523[sizeof("dcaron")];
-    char entity_pool_str2525[sizeof("esim")];
-    char entity_pool_str2527[sizeof("Union")];
-    char entity_pool_str2532[sizeof("smtes")];
-    char entity_pool_str2536[sizeof("kopf")];
-    char entity_pool_str2537[sizeof("gopf")];
-    char entity_pool_str2542[sizeof("nsim")];
-    char entity_pool_str2544[sizeof("bsim")];
-    char entity_pool_str2546[sizeof("SmallCircle")];
-    char entity_pool_str2548[sizeof("NotDoubleVerticalBar")];
-    char entity_pool_str2549[sizeof("NotNestedGreaterGreater")];
-    char entity_pool_str2565[sizeof("EqualTilde")];
-    char entity_pool_str2568[sizeof("notindot")];
-    char entity_pool_str2572[sizeof("Rcaron")];
-    char entity_pool_str2577[sizeof("Popf")];
-    char entity_pool_str2583[sizeof("Gopf")];
-    char entity_pool_str2586[sizeof("Ifr")];
-    char entity_pool_str2589[sizeof("wedgeq")];
-    char entity_pool_str2595[sizeof("prod")];
-    char entity_pool_str2617[sizeof("osol")];
-    char entity_pool_str2624[sizeof("DoubleUpArrow")];
-    char entity_pool_str2627[sizeof("Congruent")];
-    char entity_pool_str2631[sizeof("gnsim")];
-    char entity_pool_str2635[sizeof("scsim")];
-    char entity_pool_str2637[sizeof("jfr")];
-    char entity_pool_str2645[sizeof("upsih")];
-    char entity_pool_str2650[sizeof("nLl")];
-    char entity_pool_str2653[sizeof("DoubleUpDownArrow")];
-    char entity_pool_str2655[sizeof("ngsim")];
-    char entity_pool_str2664[sizeof("hearts")];
-    char entity_pool_str2666[sizeof("lesseqgtr")];
-    char entity_pool_str2670[sizeof("nesear")];
-    char entity_pool_str2676[sizeof("Exists")];
-    char entity_pool_str2687[sizeof("smile")];
-    char entity_pool_str2689[sizeof("uwangle")];
-    char entity_pool_str2693[sizeof("heartsuit")];
-    char entity_pool_str2700[sizeof("HorizontalLine")];
-    char entity_pool_str2703[sizeof("GreaterLess")];
-    char entity_pool_str2705[sizeof("rsaquo")];
-    char entity_pool_str2707[sizeof("lsaquo")];
-    char entity_pool_str2709[sizeof("realine")];
-    char entity_pool_str2710[sizeof("Dashv")];
-    char entity_pool_str2714[sizeof("simdot")];
-    char entity_pool_str2715[sizeof("GreaterEqual")];
-    char entity_pool_str2716[sizeof("GreaterTilde")];
-    char entity_pool_str2721[sizeof("GreaterEqualLess")];
-    char entity_pool_str2723[sizeof("GreaterGreater")];
-    char entity_pool_str2737[sizeof("rceil")];
-    char entity_pool_str2739[sizeof("lceil")];
-    char entity_pool_str2743[sizeof("lessgtr")];
-    char entity_pool_str2746[sizeof("oline")];
-    char entity_pool_str2753[sizeof("thksim")];
-    char entity_pool_str2755[sizeof("InvisibleTimes")];
-    char entity_pool_str2762[sizeof("race")];
-    char entity_pool_str2766[sizeof("iquest")];
-    char entity_pool_str2774[sizeof("imagline")];
-    char entity_pool_str2779[sizeof("UpTee")];
-    char entity_pool_str2781[sizeof("midcir")];
-    char entity_pool_str2790[sizeof("ofcir")];
-    char entity_pool_str2793[sizeof("ddarr")];
-    char entity_pool_str2800[sizeof("rangd")];
-    char entity_pool_str2802[sizeof("langd")];
-    char entity_pool_str2808[sizeof("Equilibrium")];
-    char entity_pool_str2809[sizeof("parsim")];
-    char entity_pool_str2810[sizeof("Vdashl")];
-    char entity_pool_str2811[sizeof("Ofr")];
-    char entity_pool_str2816[sizeof("Because")];
-    char entity_pool_str2818[sizeof("rAtail")];
-    char entity_pool_str2820[sizeof("lAtail")];
-    char entity_pool_str2821[sizeof("ominus")];
-    char entity_pool_str2822[sizeof("Ascr")];
-    char entity_pool_str2826[sizeof("Epsilon")];
-    char entity_pool_str2832[sizeof("ShortLeftArrow")];
-    char entity_pool_str2845[sizeof("isinv")];
-    char entity_pool_str2847[sizeof("micro")];
-    char entity_pool_str2851[sizeof("zcaron")];
-    char entity_pool_str2856[sizeof("kscr")];
-    char entity_pool_str2857[sizeof("gscr")];
-    char entity_pool_str2862[sizeof("Bfr")];
-    char entity_pool_str2863[sizeof("gel")];
-    char entity_pool_str2864[sizeof("hercon")];
-    char entity_pool_str2871[sizeof("triminus")];
-    char entity_pool_str2877[sizeof("egrave")];
-    char entity_pool_str2881[sizeof("sdot")];
-    char entity_pool_str2882[sizeof("ugrave")];
-    char entity_pool_str2884[sizeof("Zdot")];
-    char entity_pool_str2885[sizeof("edot")];
-    char entity_pool_str2890[sizeof("NotTildeTilde")];
-    char entity_pool_str2892[sizeof("tdot")];
-    char entity_pool_str2897[sizeof("Pscr")];
-    char entity_pool_str2898[sizeof("Pi")];
-    char entity_pool_str2903[sizeof("Gscr")];
-    char entity_pool_str2910[sizeof("plustwo")];
-    char entity_pool_str2914[sizeof("NotElement")];
-    char entity_pool_str2916[sizeof("PlusMinus")];
-    char entity_pool_str2919[sizeof("hopf")];
-    char entity_pool_str2920[sizeof("gammad")];
-    char entity_pool_str2922[sizeof("mDDot")];
-    char entity_pool_str2926[sizeof("divideontimes")];
-    char entity_pool_str2940[sizeof("doteq")];
-    char entity_pool_str2956[sizeof("varepsilon")];
-    char entity_pool_str2963[sizeof("Precedes")];
-    char entity_pool_str2966[sizeof("Gammad")];
-    char entity_pool_str2974[sizeof("dashv")];
-    char entity_pool_str2979[sizeof("NotCongruent")];
-    char entity_pool_str2982[sizeof("ubreve")];
-    char entity_pool_str2990[sizeof("ogt")];
-    char entity_pool_str2994[sizeof("RoundImplies")];
-    char entity_pool_str3002[sizeof("PrecedesSlantEqual")];
-    char entity_pool_str3005[sizeof("sime")];
-    char entity_pool_str3014[sizeof("Ugrave")];
-    char entity_pool_str3016[sizeof("dbkarow")];
-    char entity_pool_str3021[sizeof("sdote")];
-    char entity_pool_str3023[sizeof("veeeq")];
-    char entity_pool_str3027[sizeof("mapsto")];
-    char entity_pool_str3030[sizeof("times")];
-    char entity_pool_str3033[sizeof("rangle")];
-    char entity_pool_str3035[sizeof("langle")];
-    char entity_pool_str3038[sizeof("leftarrowtail")];
-    char entity_pool_str3039[sizeof("hamilt")];
-    char entity_pool_str3044[sizeof("udhar")];
-    char entity_pool_str3053[sizeof("nisd")];
-    char entity_pool_str3055[sizeof("rfisht")];
-    char entity_pool_str3057[sizeof("lfisht")];
-    char entity_pool_str3058[sizeof("harrcir")];
-    char entity_pool_str3066[sizeof("OpenCurlyQuote")];
-    char entity_pool_str3068[sizeof("ufisht")];
-    char entity_pool_str3069[sizeof("NotHumpDownHump")];
-    char entity_pool_str3072[sizeof("LeftTee")];
-    char entity_pool_str3074[sizeof("rsh")];
-    char entity_pool_str3076[sizeof("lsh")];
-    char entity_pool_str3080[sizeof("gvertneqq")];
-    char entity_pool_str3083[sizeof("timesb")];
-    char entity_pool_str3092[sizeof("scpolint")];
-    char entity_pool_str3095[sizeof("Cdot")];
-    char entity_pool_str3103[sizeof("dwangle")];
-    char entity_pool_str3114[sizeof("Ubreve")];
-    char entity_pool_str3132[sizeof("LeftUpVector")];
-    char entity_pool_str3135[sizeof("LeftUpVectorBar")];
-    char entity_pool_str3139[sizeof("Ecaron")];
-    char entity_pool_str3142[sizeof("homtht")];
-    char entity_pool_str3147[sizeof("igrave")];
-    char entity_pool_str3155[sizeof("npreceq")];
-    char entity_pool_str3156[sizeof("ecolon")];
-    char entity_pool_str3167[sizeof("dd")];
-    char entity_pool_str3174[sizeof("simeq")];
-    char entity_pool_str3179[sizeof("notinE")];
-    char entity_pool_str3198[sizeof("bigoplus")];
-    char entity_pool_str3214[sizeof("Afr")];
-    char entity_pool_str3215[sizeof("leftarrow")];
-    char entity_pool_str3216[sizeof("oint")];
-    char entity_pool_str3218[sizeof("Tab")];
-    char entity_pool_str3227[sizeof("ogon")];
-    char entity_pool_str3230[sizeof("lt")];
-    char entity_pool_str3231[sizeof("nLeftrightarrow")];
-    char entity_pool_str3235[sizeof("rarrb")];
-    char entity_pool_str3237[sizeof("larrb")];
-    char entity_pool_str3239[sizeof("hscr")];
-    char entity_pool_str3246[sizeof("LeftUpDownVector")];
-    char entity_pool_str3248[sizeof("kfr")];
-    char entity_pool_str3249[sizeof("gfr")];
-    char entity_pool_str3250[sizeof("UpArrowBar")];
-    char entity_pool_str3259[sizeof("nsce")];
-    char entity_pool_str3260[sizeof("ltdot")];
-    char entity_pool_str3261[sizeof("gesl")];
-    char entity_pool_str3262[sizeof("xodot")];
-    char entity_pool_str3263[sizeof("star")];
-    char entity_pool_str3266[sizeof("lowbar")];
-    char entity_pool_str3268[sizeof("xharr")];
-    char entity_pool_str3269[sizeof("ecir")];
-    char entity_pool_str3271[sizeof("utdot")];
-    char entity_pool_str3272[sizeof("natur")];
-    char entity_pool_str3273[sizeof("Lsh")];
-    char entity_pool_str3274[sizeof("infin")];
-    char entity_pool_str3276[sizeof("comp")];
-    char entity_pool_str3278[sizeof("sigmav")];
-    char entity_pool_str3285[sizeof("xotime")];
-    char entity_pool_str3289[sizeof("Pfr")];
-    char entity_pool_str3295[sizeof("Gfr")];
-    char entity_pool_str3298[sizeof("bigcap")];
-    char entity_pool_str3300[sizeof("simlE")];
-    char entity_pool_str3319[sizeof("iiiint")];
-    char entity_pool_str3320[sizeof("barwedge")];
-    char entity_pool_str3321[sizeof("Barwed")];
-    char entity_pool_str3329[sizeof("xlarr")];
-    char entity_pool_str3330[sizeof("LessEqualGreater")];
-    char entity_pool_str3332[sizeof("crarr")];
-    char entity_pool_str3333[sizeof("isindot")];
-    char entity_pool_str3335[sizeof("commat")];
-    char entity_pool_str3342[sizeof("middot")];
-    char entity_pool_str3349[sizeof("lesdotor")];
-    char entity_pool_str3356[sizeof("sigmaf")];
-    char entity_pool_str3366[sizeof("rarrbfs")];
-    char entity_pool_str3368[sizeof("larrbfs")];
-    char entity_pool_str3371[sizeof("xrarr")];
-    char entity_pool_str3376[sizeof("bigcup")];
-    char entity_pool_str3378[sizeof("clubs")];
-    char entity_pool_str3379[sizeof("hArr")];
-    char entity_pool_str3380[sizeof("rtrie")];
-    char entity_pool_str3382[sizeof("ltrie")];
-    char entity_pool_str3383[sizeof("imped")];
-    char entity_pool_str3388[sizeof("eogon")];
-    char entity_pool_str3389[sizeof("rx")];
-    char entity_pool_str3390[sizeof("ltrPar")];
-    char entity_pool_str3391[sizeof("Star")];
-    char entity_pool_str3393[sizeof("uogon")];
-    char entity_pool_str3396[sizeof("Tilde")];
-    char entity_pool_str3398[sizeof("half")];
-    char entity_pool_str3405[sizeof("tilde")];
-    char entity_pool_str3412[sizeof("Leftarrow")];
-    char entity_pool_str3417[sizeof("gesles")];
-    char entity_pool_str3422[sizeof("cap")];
-    char entity_pool_str3423[sizeof("strns")];
-    char entity_pool_str3427[sizeof("Lt")];
-    char entity_pool_str3439[sizeof("prnE")];
-    char entity_pool_str3447[sizeof("sqsupe")];
-    char entity_pool_str3462[sizeof("sqsupset")];
-    char entity_pool_str3467[sizeof("tridot")];
-    char entity_pool_str3468[sizeof("order")];
-    char entity_pool_str3471[sizeof("caps")];
-    char entity_pool_str3475[sizeof("cross")];
-    char entity_pool_str3482[sizeof("dfisht")];
-    char entity_pool_str3487[sizeof("xmap")];
-    char entity_pool_str3491[sizeof("sqsup")];
-    char entity_pool_str3503[sizeof("rtri")];
-    char entity_pool_str3505[sizeof("ltri")];
-    char entity_pool_str3506[sizeof("it")];
-    char entity_pool_str3507[sizeof("rmoust")];
-    char entity_pool_str3509[sizeof("lmoust")];
-    char entity_pool_str3510[sizeof("gnE")];
-    char entity_pool_str3511[sizeof("lgE")];
-    char entity_pool_str3514[sizeof("scE")];
-    char entity_pool_str3516[sizeof("utri")];
-    char entity_pool_str3518[sizeof("vellip")];
-    char entity_pool_str3520[sizeof("ETH")];
-    char entity_pool_str3523[sizeof("lmidot")];
-    char entity_pool_str3525[sizeof("Uogon")];
-    char entity_pool_str3526[sizeof("CounterClockwiseContourIntegral")];
-    char entity_pool_str3534[sizeof("ngE")];
-    char entity_pool_str3535[sizeof("nwnear")];
-    char entity_pool_str3543[sizeof("lesg")];
-    char entity_pool_str3546[sizeof("plusb")];
-    char entity_pool_str3550[sizeof("Rsh")];
-    char entity_pool_str3555[sizeof("copysr")];
-    char entity_pool_str3557[sizeof("infintie")];
-    char entity_pool_str3559[sizeof("imath")];
-    char entity_pool_str3560[sizeof("Esim")];
-    char entity_pool_str3565[sizeof("Phi")];
-    char entity_pool_str3573[sizeof("glE")];
-    char entity_pool_str3579[sizeof("vnsup")];
-    char entity_pool_str3582[sizeof("simgE")];
-    char entity_pool_str3586[sizeof("DoubleLongLeftArrow")];
-    char entity_pool_str3591[sizeof("DoubleLongLeftRightArrow")];
-    char entity_pool_str3594[sizeof("nvgt")];
-    char entity_pool_str3607[sizeof("Mellintrf")];
-    char entity_pool_str3611[sizeof("Prime")];
-    char entity_pool_str3615[sizeof("iinfin")];
-    char entity_pool_str3620[sizeof("ReverseElement")];
-    char entity_pool_str3627[sizeof("EmptySmallSquare")];
-    char entity_pool_str3628[sizeof("radic")];
-    char entity_pool_str3631[sizeof("hfr")];
-    char entity_pool_str3632[sizeof("zdot")];
-    char entity_pool_str3633[sizeof("male")];
-    char entity_pool_str3635[sizeof("rarrc")];
-    char entity_pool_str3636[sizeof("prec")];
-    char entity_pool_str3637[sizeof("scnap")];
-    char entity_pool_str3641[sizeof("DifferentialD")];
-    char entity_pool_str3643[sizeof("models")];
-    char entity_pool_str3657[sizeof("ltcir")];
-    char entity_pool_str3658[sizeof("iogon")];
-    char entity_pool_str3665[sizeof("capcap")];
-    char entity_pool_str3667[sizeof("iff")];
-    char entity_pool_str3669[sizeof("ddotseq")];
-    char entity_pool_str3671[sizeof("CirclePlus")];
-    char entity_pool_str3676[sizeof("rthree")];
-    char entity_pool_str3678[sizeof("lthree")];
-    char entity_pool_str3681[sizeof("PrecedesTilde")];
-    char entity_pool_str3685[sizeof("dtdot")];
-    char entity_pool_str3687[sizeof("clubsuit")];
-    char entity_pool_str3689[sizeof("racute")];
-    char entity_pool_str3691[sizeof("lacute")];
-    char entity_pool_str3692[sizeof("trpezium")];
-    char entity_pool_str3693[sizeof("sacute")];
-    char entity_pool_str3696[sizeof("Zacute")];
-    char entity_pool_str3697[sizeof("eacute")];
-    char entity_pool_str3699[sizeof("TildeTilde")];
-    char entity_pool_str3701[sizeof("Uarrocir")];
-    char entity_pool_str3702[sizeof("uacute")];
-    char entity_pool_str3703[sizeof("lowast")];
-    char entity_pool_str3714[sizeof("nacute")];
-    char entity_pool_str3716[sizeof("NotPrecedes")];
-    char entity_pool_str3720[sizeof("Lmidot")];
-    char entity_pool_str3725[sizeof("UpArrow")];
-    char entity_pool_str3727[sizeof("rarrw")];
-    char entity_pool_str3738[sizeof("DownTee")];
-    char entity_pool_str3742[sizeof("FilledSmallSquare")];
-    char entity_pool_str3743[sizeof("capcup")];
-    char entity_pool_str3749[sizeof("GreaterFullEqual")];
-    char entity_pool_str3756[sizeof("nvle")];
-    char entity_pool_str3758[sizeof("trie")];
-    char entity_pool_str3764[sizeof("omicron")];
-    char entity_pool_str3766[sizeof("DoubleRightTee")];
-    char entity_pool_str3767[sizeof("Cconint")];
-    char entity_pool_str3768[sizeof("rsquor")];
-    char entity_pool_str3770[sizeof("lsquor")];
-    char entity_pool_str3772[sizeof("zigrarr")];
-    char entity_pool_str3780[sizeof("copf")];
-    char entity_pool_str3782[sizeof("ContourIntegral")];
-    char entity_pool_str3798[sizeof("hairsp")];
-    char entity_pool_str3799[sizeof("sqsupseteq")];
-    char entity_pool_str3800[sizeof("csub")];
-    char entity_pool_str3801[sizeof("upharpoonright")];
-    char entity_pool_str3805[sizeof("DownBreve")];
-    char entity_pool_str3817[sizeof("ShortDownArrow")];
-    char entity_pool_str3819[sizeof("xopf")];
-    char entity_pool_str3821[sizeof("Sacute")];
-    char entity_pool_str3829[sizeof("vsupnE")];
-    char entity_pool_str3830[sizeof("cir")];
-    char entity_pool_str3831[sizeof("plusacir")];
-    char entity_pool_str3832[sizeof("csup")];
-    char entity_pool_str3833[sizeof("vsubnE")];
-    char entity_pool_str3834[sizeof("Uacute")];
-    char entity_pool_str3836[sizeof("isinE")];
-    char entity_pool_str3845[sizeof("gEl")];
-    char entity_pool_str3851[sizeof("sqcups")];
-    char entity_pool_str3853[sizeof("smid")];
-    char entity_pool_str3855[sizeof("lg")];
-    char entity_pool_str3857[sizeof("DoubleLongRightArrow")];
-    char entity_pool_str3858[sizeof("NotPrecedesSlantEqual")];
-    char entity_pool_str3861[sizeof("eg")];
-    char entity_pool_str3864[sizeof("AMP")];
-    char entity_pool_str3874[sizeof("nmid")];
-    char entity_pool_str3883[sizeof("timesd")];
-    char entity_pool_str3886[sizeof("DownLeftVector")];
-    char entity_pool_str3887[sizeof("zwnj")];
-    char entity_pool_str3888[sizeof("Lacute")];
-    char entity_pool_str3889[sizeof("DownLeftVectorBar")];
-    char entity_pool_str3898[sizeof("ograve")];
-    char entity_pool_str3899[sizeof("Yacute")];
-    char entity_pool_str3903[sizeof("sqcup")];
-    char entity_pool_str3906[sizeof("odot")];
-    char entity_pool_str3907[sizeof("Cacute")];
-    char entity_pool_str3909[sizeof("nu")];
-    char entity_pool_str3910[sizeof("tritime")];
-    char entity_pool_str3912[sizeof("Egrave")];
-    char entity_pool_str3913[sizeof("eplus")];
-    char entity_pool_str3915[sizeof("backcong")];
-    char entity_pool_str3918[sizeof("uplus")];
-    char entity_pool_str3920[sizeof("Edot")];
-    char entity_pool_str3924[sizeof("csupe")];
-    char entity_pool_str3926[sizeof("simg")];
-    char entity_pool_str3927[sizeof("UpperRightArrow")];
-    char entity_pool_str3928[sizeof("csube")];
-    char entity_pool_str3930[sizeof("dtri")];
-    char entity_pool_str3931[sizeof("prnsim")];
-    char entity_pool_str3936[sizeof("boxUr")];
-    char entity_pool_str3937[sizeof("uuarr")];
-    char entity_pool_str3945[sizeof("DownLeftTeeVector")];
-    char entity_pool_str3946[sizeof("gsime")];
-    char entity_pool_str3950[sizeof("bigotimes")];
-    char entity_pool_str3951[sizeof("Dagger")];
-    char entity_pool_str3954[sizeof("Intersection")];
-    char entity_pool_str3967[sizeof("iacute")];
-    char entity_pool_str3969[sizeof("prcue")];
-    char entity_pool_str3981[sizeof("egsdot")];
-    char entity_pool_str3987[sizeof("Implies")];
-    char entity_pool_str3988[sizeof("VDash")];
-    char entity_pool_str3996[sizeof("bump")];
-    char entity_pool_str4015[sizeof("Mu")];
-    char entity_pool_str4022[sizeof("vDash")];
-    char entity_pool_str4028[sizeof("lvnE")];
-    char entity_pool_str4033[sizeof("LeftTeeArrow")];
-    char entity_pool_str4037[sizeof("Nacute")];
-    char entity_pool_str4042[sizeof("UnderBrace")];
-    char entity_pool_str4043[sizeof("Psi")];
-    char entity_pool_str4047[sizeof("rhov")];
-    char entity_pool_str4049[sizeof("lescc")];
-    char entity_pool_str4055[sizeof("sup1")];
-    char entity_pool_str4058[sizeof("sup2")];
-    char entity_pool_str4066[sizeof("sup3")];
-    char entity_pool_str4071[sizeof("bigodot")];
-    char entity_pool_str4078[sizeof("Downarrow")];
-    char entity_pool_str4080[sizeof("xsqcup")];
-    char entity_pool_str4082[sizeof("barvee")];
-    char entity_pool_str4087[sizeof("NegativeMediumSpace")];
-    char entity_pool_str4088[sizeof("bumpe")];
-    char entity_pool_str4100[sizeof("cscr")];
-    char entity_pool_str4109[sizeof("nsc")];
-    char entity_pool_str4115[sizeof("sup")];
-    char entity_pool_str4122[sizeof("cedil")];
-    char entity_pool_str4125[sizeof("boxVr")];
-    char entity_pool_str4127[sizeof("origof")];
-    char entity_pool_str4128[sizeof("zwj")];
-    char entity_pool_str4129[sizeof("Igrave")];
-    char entity_pool_str4137[sizeof("Idot")];
-    char entity_pool_str4139[sizeof("xscr")];
-    char entity_pool_str4140[sizeof("xi")];
-    char entity_pool_str4144[sizeof("nGtv")];
-    char entity_pool_str4153[sizeof("boxHu")];
-    char entity_pool_str4163[sizeof("THORN")];
-    char entity_pool_str4165[sizeof("Racute")];
-    char entity_pool_str4167[sizeof("rarrhk")];
-    char entity_pool_str4169[sizeof("larrhk")];
-    char entity_pool_str4177[sizeof("rtriltri")];
-    char entity_pool_str4189[sizeof("boxV")];
-    char entity_pool_str4215[sizeof("dagger")];
-    char entity_pool_str4220[sizeof("Omicron")];
-    char entity_pool_str4226[sizeof("DoubleVerticalBar")];
-    char entity_pool_str4229[sizeof("nexists")];
-    char entity_pool_str4232[sizeof("Nu")];
-    char entity_pool_str4233[sizeof("nexist")];
-    char entity_pool_str4234[sizeof("gE")];
-    char entity_pool_str4238[sizeof("ap")];
-    char entity_pool_str4243[sizeof("Sup")];
-    char entity_pool_str4244[sizeof("doteqdot")];
-    char entity_pool_str4247[sizeof("eng")];
-    char entity_pool_str4249[sizeof("caron")];
-    char entity_pool_str4251[sizeof("boxHU")];
-    char entity_pool_str4252[sizeof("gesdot")];
-    char entity_pool_str4257[sizeof("ReverseEquilibrium")];
-    char entity_pool_str4262[sizeof("boxUL")];
-    char entity_pool_str4264[sizeof("supmult")];
-    char entity_pool_str4267[sizeof("pitchfork")];
-    char entity_pool_str4272[sizeof("numsp")];
-    char entity_pool_str4285[sizeof("rang")];
-    char entity_pool_str4287[sizeof("lang")];
-    char entity_pool_str4290[sizeof("ocir")];
-    char entity_pool_str4292[sizeof("rationals")];
-    char entity_pool_str4294[sizeof("coprod")];
-    char entity_pool_str4307[sizeof("ltlarr")];
-    char entity_pool_str4308[sizeof("breve")];
-    char entity_pool_str4310[sizeof("nang")];
-    char entity_pool_str4315[sizeof("swarhk")];
-    char entity_pool_str4322[sizeof("raquo")];
-    char entity_pool_str4324[sizeof("laquo")];
-    char entity_pool_str4325[sizeof("supsub")];
-    char entity_pool_str4329[sizeof("Cup")];
-    char entity_pool_str4330[sizeof("ape")];
-    char entity_pool_str4331[sizeof("quest")];
-    char entity_pool_str4336[sizeof("nwarhk")];
-    char entity_pool_str4340[sizeof("supset")];
-    char entity_pool_str4342[sizeof("downarrow")];
-    char entity_pool_str4351[sizeof("duarr")];
-    char entity_pool_str4353[sizeof("apos")];
-    char entity_pool_str4354[sizeof("Ograve")];
-    char entity_pool_str4355[sizeof("shortparallel")];
-    char entity_pool_str4364[sizeof("nsucc")];
-    char entity_pool_str4368[sizeof("LongLeftArrow")];
-    char entity_pool_str4377[sizeof("lesdoto")];
-    char entity_pool_str4384[sizeof("supne")];
-    char entity_pool_str4388[sizeof("nGg")];
-    char entity_pool_str4396[sizeof("raemptyv")];
-    char entity_pool_str4397[sizeof("supsup")];
-    char entity_pool_str4398[sizeof("laemptyv")];
-    char entity_pool_str4401[sizeof("topfork")];
-    char entity_pool_str4423[sizeof("Eogon")];
-    char entity_pool_str4429[sizeof("risingdotseq")];
-    char entity_pool_str4431[sizeof("bumpeq")];
-    char entity_pool_str4435[sizeof("lstrok")];
-    char entity_pool_str4439[sizeof("Tstrok")];
-    char entity_pool_str4440[sizeof("gsim")];
-    char entity_pool_str4443[sizeof("bemptyv")];
-    char entity_pool_str4444[sizeof("zacute")];
-    char entity_pool_str4445[sizeof("gsiml")];
-    char entity_pool_str4448[sizeof("tstrok")];
-    char entity_pool_str4450[sizeof("roang")];
-    char entity_pool_str4451[sizeof("boxVL")];
-    char entity_pool_str4452[sizeof("loang")];
-    char entity_pool_str4456[sizeof("nleqslant")];
-    char entity_pool_str4462[sizeof("sbquo")];
-    char entity_pool_str4464[sizeof("searhk")];
-    char entity_pool_str4465[sizeof("lnapprox")];
-    char entity_pool_str4468[sizeof("Supset")];
-    char entity_pool_str4470[sizeof("boxHd")];
-    char entity_pool_str4471[sizeof("varkappa")];
-    char entity_pool_str4475[sizeof("circeq")];
-    char entity_pool_str4477[sizeof("yopf")];
-    char entity_pool_str4479[sizeof("UnionPlus")];
-    char entity_pool_str4484[sizeof("Lang")];
-    char entity_pool_str4485[sizeof("nearhk")];
-    char entity_pool_str4486[sizeof("shcy")];
-    char entity_pool_str4492[sizeof("cfr")];
-    char entity_pool_str4506[sizeof("Kappa")];
-    char entity_pool_str4507[sizeof("ljcy")];
-    char entity_pool_str4508[sizeof("MediumSpace")];
-    char entity_pool_str4511[sizeof("supseteq")];
-    char entity_pool_str4512[sizeof("supseteqq")];
-    char entity_pool_str4517[sizeof("reg")];
-    char entity_pool_str4518[sizeof("amacr")];
-    char entity_pool_str4519[sizeof("leg")];
-    char entity_pool_str4524[sizeof("weierp")];
-    char entity_pool_str4525[sizeof("TScy")];
-    char entity_pool_str4529[sizeof("supsetneq")];
-    char entity_pool_str4530[sizeof("njcy")];
-    char entity_pool_str4531[sizeof("xfr")];
-    char entity_pool_str4533[sizeof("mu")];
-    char entity_pool_str4539[sizeof("nvinfin")];
-    char entity_pool_str4540[sizeof("boxUR")];
-    char entity_pool_str4545[sizeof("xoplus")];
-    char entity_pool_str4551[sizeof("leftleftarrows")];
-    char entity_pool_str4552[sizeof("sum")];
-    char entity_pool_str4559[sizeof("beth")];
-    char entity_pool_str4563[sizeof("complement")];
-    char entity_pool_str4573[sizeof("num")];
-    char entity_pool_str4574[sizeof("amp")];
-    char entity_pool_str4583[sizeof("boxUl")];
-    char entity_pool_str4590[sizeof("NotGreater")];
-    char entity_pool_str4591[sizeof("boxplus")];
-    char entity_pool_str4592[sizeof("jmath")];
-    char entity_pool_str4594[sizeof("sfrown")];
-    char entity_pool_str4596[sizeof("Dstrok")];
-    char entity_pool_str4598[sizeof("and")];
-    char entity_pool_str4599[sizeof("NotGreaterGreater")];
-    char entity_pool_str4606[sizeof("NotGreaterSlantEqual")];
-    char entity_pool_str4608[sizeof("NotGreaterLess")];
-    char entity_pool_str4609[sizeof("quot")];
-    char entity_pool_str4616[sizeof("NotGreaterFullEqual")];
-    char entity_pool_str4617[sizeof("hyphen")];
-    char entity_pool_str4618[sizeof("planck")];
-    char entity_pool_str4620[sizeof("TildeEqual")];
-    char entity_pool_str4627[sizeof("tosa")];
-    char entity_pool_str4632[sizeof("Lstrok")];
-    char entity_pool_str4635[sizeof("shy")];
-    char entity_pool_str4639[sizeof("xnis")];
-    char entity_pool_str4640[sizeof("Iogon")];
-    char entity_pool_str4643[sizeof("DZcy")];
-    char entity_pool_str4645[sizeof("ohbar")];
-    char entity_pool_str4652[sizeof("cirscir")];
-    char entity_pool_str4654[sizeof("sext")];
-    char entity_pool_str4668[sizeof("para")];
-    char entity_pool_str4671[sizeof("ast")];
-    char entity_pool_str4678[sizeof("questeq")];
-    char entity_pool_str4680[sizeof("Sum")];
-    char entity_pool_str4682[sizeof("DScy")];
-    char entity_pool_str4684[sizeof("ENG")];
-    char entity_pool_str4686[sizeof("ZHcy")];
-    char entity_pool_str4689[sizeof("longleftarrow")];
-    char entity_pool_str4691[sizeof("dash")];
-    char entity_pool_str4699[sizeof("DownTeeArrow")];
-    char entity_pool_str4706[sizeof("supsetneqq")];
-    char entity_pool_str4714[sizeof("profalar")];
-    char entity_pool_str4718[sizeof("oacute")];
-    char entity_pool_str4729[sizeof("boxVR")];
-    char entity_pool_str4732[sizeof("Eacute")];
-    char entity_pool_str4738[sizeof("supplus")];
-    char entity_pool_str4740[sizeof("hookleftarrow")];
-    char entity_pool_str4743[sizeof("CloseCurlyQuote")];
-    char entity_pool_str4746[sizeof("trisb")];
-    char entity_pool_str4747[sizeof("dotsquare")];
-    char entity_pool_str4751[sizeof("rtimes")];
-    char entity_pool_str4753[sizeof("ltimes")];
-    char entity_pool_str4756[sizeof("toea")];
-    char entity_pool_str4757[sizeof("Agrave")];
-    char entity_pool_str4760[sizeof("Assign")];
-    char entity_pool_str4761[sizeof("Rang")];
-    char entity_pool_str4762[sizeof("iocy")];
-    char entity_pool_str4764[sizeof("NotPrecedesEqual")];
-    char entity_pool_str4766[sizeof("aopf")];
-    char entity_pool_str4768[sizeof("chi")];
-    char entity_pool_str4771[sizeof("quaternions")];
-    char entity_pool_str4772[sizeof("boxVl")];
-    char entity_pool_str4773[sizeof("NotGreaterEqual")];
-    char entity_pool_str4777[sizeof("xhArr")];
-    char entity_pool_str4791[sizeof("orderof")];
-    char entity_pool_str4794[sizeof("rsquo")];
-    char entity_pool_str4796[sizeof("lsquo")];
-    char entity_pool_str4797[sizeof("yscr")];
-    char entity_pool_str4800[sizeof("gdot")];
-    char entity_pool_str4802[sizeof("NotSquareSubsetEqual")];
-    char entity_pool_str4803[sizeof("KHcy")];
-    char entity_pool_str4809[sizeof("bsolb")];
-    char entity_pool_str4810[sizeof("NotSquareSubset")];
-    char entity_pool_str4811[sizeof("SHcy")];
-    char entity_pool_str4821[sizeof("YIcy")];
-    char entity_pool_str4825[sizeof("cwint")];
-    char entity_pool_str4828[sizeof("Theta")];
-    char entity_pool_str4837[sizeof("theta")];
-    char entity_pool_str4838[sizeof("xlArr")];
-    char entity_pool_str4840[sizeof("NotSquareSupersetEqual")];
-    char entity_pool_str4843[sizeof("demptyv")];
-    char entity_pool_str4844[sizeof("triangle")];
-    char entity_pool_str4846[sizeof("Gdot")];
-    char entity_pool_str4848[sizeof("NotSquareSuperset")];
-    char entity_pool_str4857[sizeof("Abreve")];
-    char entity_pool_str4860[sizeof("dstrok")];
-    char entity_pool_str4861[sizeof("pertenk")];
-    char entity_pool_str4866[sizeof("rbrack")];
-    char entity_pool_str4868[sizeof("lbrack")];
-    char entity_pool_str4872[sizeof("odsold")];
-    char entity_pool_str4878[sizeof("omid")];
-    char entity_pool_str4880[sizeof("xrArr")];
-    char entity_pool_str4882[sizeof("triangleleft")];
-    char entity_pool_str4883[sizeof("NotGreaterTilde")];
-    char entity_pool_str4884[sizeof("colone")];
-    char entity_pool_str4886[sizeof("Longleftarrow")];
-    char entity_pool_str4888[sizeof("iota")];
-    char entity_pool_str4890[sizeof("colon")];
-    char entity_pool_str4891[sizeof("Zeta")];
-    char entity_pool_str4892[sizeof("gbreve")];
-    char entity_pool_str4897[sizeof("CHcy")];
-    char entity_pool_str4900[sizeof("YUcy")];
-    char entity_pool_str4901[sizeof("REG")];
-    char entity_pool_str4902[sizeof("szlig")];
-    char entity_pool_str4909[sizeof("dzcy")];
-    char entity_pool_str4911[sizeof("beta")];
-    char entity_pool_str4918[sizeof("euro")];
-    char entity_pool_str4921[sizeof("LeftArrow")];
-    char entity_pool_str4924[sizeof("CapitalDifferentialD")];
-    char entity_pool_str4926[sizeof("ring")];
-    char entity_pool_str4927[sizeof("Laplacetrf")];
-    char entity_pool_str4932[sizeof("djcy")];
-    char entity_pool_str4934[sizeof("oplus")];
-    char entity_pool_str4937[sizeof("integers")];
-    char entity_pool_str4938[sizeof("Gbreve")];
-    char entity_pool_str4940[sizeof("ubrcy")];
-    char entity_pool_str4941[sizeof("euml")];
-    char entity_pool_str4944[sizeof("deg")];
-    char entity_pool_str4946[sizeof("uuml")];
-    char entity_pool_str4949[sizeof("Iacute")];
-    char entity_pool_str4950[sizeof("succeq")];
-    char entity_pool_str4952[sizeof("KJcy")];
-    char entity_pool_str4961[sizeof("CupCap")];
-    char entity_pool_str4975[sizeof("tscy")];
-    char entity_pool_str4982[sizeof("cent")];
-    char entity_pool_str4991[sizeof("DJcy")];
-    char entity_pool_str5009[sizeof("TildeFullEqual")];
-    char entity_pool_str5011[sizeof("triangleq")];
-    char entity_pool_str5016[sizeof("duhar")];
-    char entity_pool_str5025[sizeof("LeftDoubleBracket")];
-    char entity_pool_str5027[sizeof("LJcy")];
-    char entity_pool_str5036[sizeof("iecy")];
-    char entity_pool_str5043[sizeof("trianglelefteq")];
-    char entity_pool_str5049[sizeof("nequiv")];
-    char entity_pool_str5055[sizeof("nshortparallel")];
-    char entity_pool_str5062[sizeof("ndash")];
-    char entity_pool_str5063[sizeof("bowtie")];
-    char entity_pool_str5065[sizeof("fjlig")];
-    char entity_pool_str5072[sizeof("Ubrcy")];
-    char entity_pool_str5074[sizeof("vartheta")];
-    char entity_pool_str5078[sizeof("Uuml")];
-    char entity_pool_str5084[sizeof("vartriangleright")];
-    char entity_pool_str5085[sizeof("vartriangleleft")];
-    char entity_pool_str5086[sizeof("ascr")];
-    char entity_pool_str5089[sizeof("succcurlyeq")];
-    char entity_pool_str5093[sizeof("cwconint")];
-    char entity_pool_str5101[sizeof("sc")];
-    char entity_pool_str5103[sizeof("fllig")];
-    char entity_pool_str5105[sizeof("circledast")];
-    char entity_pool_str5108[sizeof("Vdash")];
-    char entity_pool_str5112[sizeof("nVdash")];
-    char entity_pool_str5120[sizeof("suplarr")];
-    char entity_pool_str5124[sizeof("robrk")];
-    char entity_pool_str5126[sizeof("lobrk")];
-    char entity_pool_str5142[sizeof("vdash")];
-    char entity_pool_str5143[sizeof("Yuml")];
-    char entity_pool_str5151[sizeof("gt")];
-    char entity_pool_str5156[sizeof("ccaps")];
-    char entity_pool_str5173[sizeof("Succeeds")];
-    char entity_pool_str5174[sizeof("Oacute")];
-    char entity_pool_str5175[sizeof("TRADE")];
-    char entity_pool_str5176[sizeof("NJcy")];
-    char entity_pool_str5181[sizeof("gtdot")];
-    char entity_pool_str5189[sizeof("yfr")];
-    char entity_pool_str5192[sizeof("compfn")];
-    char entity_pool_str5197[sizeof("Gt")];
-    char entity_pool_str5198[sizeof("scnE")];
-    char entity_pool_str5199[sizeof("ijlig")];
-    char entity_pool_str5203[sizeof("circledS")];
-    char entity_pool_str5206[sizeof("yen")];
-    char entity_pool_str5208[sizeof("thetasym")];
-    char entity_pool_str5211[sizeof("iuml")];
-    char entity_pool_str5212[sizeof("SucceedsSlantEqual")];
-    char entity_pool_str5217[sizeof("boxH")];
-    char entity_pool_str5218[sizeof("mumap")];
-    char entity_pool_str5222[sizeof("rightrightarrows")];
-    char entity_pool_str5227[sizeof("coloneq")];
-    char entity_pool_str5229[sizeof("Sc")];
-    char entity_pool_str5230[sizeof("glj")];
-    char entity_pool_str5231[sizeof("iexcl")];
-    char entity_pool_str5234[sizeof("ccups")];
-    char entity_pool_str5236[sizeof("xcap")];
-    char entity_pool_str5237[sizeof("zhcy")];
-    char entity_pool_str5241[sizeof("boxHD")];
-    char entity_pool_str5250[sizeof("leqslant")];
-    char entity_pool_str5252[sizeof("UpperLeftArrow")];
-    char entity_pool_str5257[sizeof("dblac")];
-    char entity_pool_str5260[sizeof("puncsp")];
-    char entity_pool_str5262[sizeof("ccaron")];
-    char entity_pool_str5264[sizeof("rbbrk")];
-    char entity_pool_str5266[sizeof("lbbrk")];
-    char entity_pool_str5268[sizeof("Aogon")];
-    char entity_pool_str5269[sizeof("LeftTriangleBar")];
-    char entity_pool_str5272[sizeof("gesdotol")];
-    char entity_pool_str5273[sizeof("LeftTriangleEqual")];
-    char entity_pool_str5274[sizeof("LeftTriangle")];
-    char entity_pool_str5280[sizeof("conint")];
-    char entity_pool_str5283[sizeof("drbkarow")];
-    char entity_pool_str5295[sizeof("rtrif")];
-    char entity_pool_str5297[sizeof("ltrif")];
-    char entity_pool_str5300[sizeof("ReverseUpEquilibrium")];
-    char entity_pool_str5306[sizeof("LeftCeiling")];
-    char entity_pool_str5308[sizeof("utrif")];
-    char entity_pool_str5314[sizeof("xcup")];
-    char entity_pool_str5319[sizeof("fallingdotseq")];
-    char entity_pool_str5325[sizeof("rcedil")];
-    char entity_pool_str5327[sizeof("lcedil")];
-    char entity_pool_str5329[sizeof("scedil")];
-    char entity_pool_str5331[sizeof("Tcedil")];
-    char entity_pool_str5333[sizeof("starf")];
-    char entity_pool_str5334[sizeof("boxminus")];
-    char entity_pool_str5340[sizeof("tcedil")];
-    char entity_pool_str5341[sizeof("ZeroWidthSpace")];
-    char entity_pool_str5350[sizeof("ncedil")];
-    char entity_pool_str5358[sizeof("phiv")];
-    char entity_pool_str5375[sizeof("ic")];
-    char entity_pool_str5384[sizeof("capdot")];
-    char entity_pool_str5387[sizeof("dscy")];
-    char entity_pool_str5397[sizeof("check")];
-    char entity_pool_str5398[sizeof("ovbar")];
-    char entity_pool_str5405[sizeof("ntriangleleft")];
-    char entity_pool_str5411[sizeof("RightTee")];
-    char entity_pool_str5412[sizeof("nvge")];
-    char entity_pool_str5424[sizeof("leftrightsquigarrow")];
-    char entity_pool_str5431[sizeof("lozenge")];
-    char entity_pool_str5434[sizeof("RightTriangleBar")];
-    char entity_pool_str5436[sizeof("RightTeeVector")];
-    char entity_pool_str5438[sizeof("RightTriangleEqual")];
-    char entity_pool_str5439[sizeof("RightTriangle")];
-    char entity_pool_str5449[sizeof("Kcedil")];
-    char entity_pool_str5457[sizeof("Scedil")];
-    char entity_pool_str5468[sizeof("cirfnint")];
-    char entity_pool_str5471[sizeof("empty")];
-    char entity_pool_str5478[sizeof("afr")];
-    char entity_pool_str5482[sizeof("DiacriticalTilde")];
-    char entity_pool_str5489[sizeof("LeftDownVector")];
-    char entity_pool_str5492[sizeof("LeftDownVectorBar")];
-    char entity_pool_str5501[sizeof("lEg")];
-    char entity_pool_str5509[sizeof("ApplyFunction")];
-    char entity_pool_str5512[sizeof("bumpE")];
-    char entity_pool_str5524[sizeof("Lcedil")];
-    char entity_pool_str5528[sizeof("caret")];
-    char entity_pool_str5530[sizeof("Barv")];
-    char entity_pool_str5543[sizeof("Ccedil")];
-    char entity_pool_str5547[sizeof("circledR")];
-    char entity_pool_str5548[sizeof("LeftDownTeeVector")];
-    char entity_pool_str5552[sizeof("tshcy")];
-    char entity_pool_str5556[sizeof("DotEqual")];
-    char entity_pool_str5564[sizeof("centerdot")];
-    char entity_pool_str5566[sizeof("ntrianglelefteq")];
-    char entity_pool_str5568[sizeof("minus")];
-    char entity_pool_str5570[sizeof("gimel")];
-    char entity_pool_str5577[sizeof("Aacute")];
-    char entity_pool_str5578[sizeof("gtcir")];
-    char entity_pool_str5583[sizeof("gtrarr")];
-    char entity_pool_str5584[sizeof("bull")];
-    char entity_pool_str5587[sizeof("DownArrow")];
-    char entity_pool_str5593[sizeof("rdquor")];
-    char entity_pool_str5595[sizeof("ldquor")];
-    char entity_pool_str5598[sizeof("intlarhk")];
-    char entity_pool_str5602[sizeof("utilde")];
-    char entity_pool_str5612[sizeof("gacute")];
-    char entity_pool_str5614[sizeof("ntilde")];
-    char entity_pool_str5615[sizeof("af")];
-    char entity_pool_str5618[sizeof("Hstrok")];
-    char entity_pool_str5620[sizeof("exponentiale")];
-    char entity_pool_str5621[sizeof("minusb")];
-    char entity_pool_str5625[sizeof("RightUpTeeVector")];
-    char entity_pool_str5630[sizeof("UpTeeArrow")];
-    char entity_pool_str5639[sizeof("zeta")];
-    char entity_pool_str5644[sizeof("DiacriticalDot")];
-    char entity_pool_str5645[sizeof("DiacriticalDoubleAcute")];
-    char entity_pool_str5663[sizeof("nleftarrow")];
-    char entity_pool_str5664[sizeof("hkswarow")];
-    char entity_pool_str5666[sizeof("iiota")];
-    char entity_pool_str5669[sizeof("apacir")];
-    char entity_pool_str5673[sizeof("Ncedil")];
-    char entity_pool_str5678[sizeof("capand")];
-    char entity_pool_str5686[sizeof("mdash")];
-    char entity_pool_str5689[sizeof("filig")];
-    char entity_pool_str5690[sizeof("scnsim")];
-    char entity_pool_str5699[sizeof("realpart")];
-    char entity_pool_str5703[sizeof("leftthreetimes")];
-    char entity_pool_str5704[sizeof("asymp")];
-    char entity_pool_str5718[sizeof("hellip")];
-    char entity_pool_str5722[sizeof("dtrif")];
-    char entity_pool_str5724[sizeof("NotExists")];
-    char entity_pool_str5728[sizeof("sccue")];
-    char entity_pool_str5733[sizeof("YAcy")];
-    char entity_pool_str5734[sizeof("Utilde")];
-    char entity_pool_str5741[sizeof("NotEqual")];
-    char entity_pool_str5747[sizeof("ThinSpace")];
-    char entity_pool_str5754[sizeof("apE")];
-    char entity_pool_str5762[sizeof("bullet")];
-    char entity_pool_str5765[sizeof("CloseCurlyDoubleQuote")];
-    char entity_pool_str5766[sizeof("Delta")];
-    char entity_pool_str5776[sizeof("gg")];
-    char entity_pool_str5780[sizeof("otimes")];
-    char entity_pool_str5799[sizeof("wreath")];
-    char entity_pool_str5801[sizeof("Rcedil")];
-    char entity_pool_str5807[sizeof("eth")];
-    char entity_pool_str5808[sizeof("supnE")];
-    char entity_pool_str5811[sizeof("awint")];
-    char entity_pool_str5817[sizeof("Breve")];
-    char entity_pool_str5822[sizeof("Gg")];
-    char entity_pool_str5824[sizeof("HumpEqual")];
-    char entity_pool_str5837[sizeof("Lleftarrow")];
-    char entity_pool_str5838[sizeof("boxdr")];
-    char entity_pool_str5847[sizeof("succneqq")];
-    char entity_pool_str5848[sizeof("uring")];
-    char entity_pool_str5849[sizeof("LessSlantEqual")];
-    char entity_pool_str5860[sizeof("nvdash")];
-    char entity_pool_str5866[sizeof("Hacek")];
-    char entity_pool_str5867[sizeof("itilde")];
-    char entity_pool_str5870[sizeof("Iota")];
-    char entity_pool_str5872[sizeof("IOcy")];
-    char entity_pool_str5884[sizeof("boxDr")];
-    char entity_pool_str5891[sizeof("SucceedsTilde")];
-    char entity_pool_str5905[sizeof("LeftFloor")];
-    char entity_pool_str5906[sizeof("Vvdash")];
-    char entity_pool_str5923[sizeof("triangledown")];
-    char entity_pool_str5927[sizeof("LongLeftRightArrow")];
-    char entity_pool_str5928[sizeof("RightFloor")];
-    char entity_pool_str5931[sizeof("DownRightTeeVector")];
-    char entity_pool_str5933[sizeof("quatint")];
-    char entity_pool_str5937[sizeof("Ntilde")];
-    char entity_pool_str5940[sizeof("Bumpeq")];
-    char entity_pool_str5949[sizeof("gvnE")];
-    char entity_pool_str5951[sizeof("boxhu")];
-    char entity_pool_str5956[sizeof("gtlPar")];
-    char entity_pool_str5959[sizeof("nprec")];
-    char entity_pool_str5962[sizeof("ouml")];
-    char entity_pool_str5970[sizeof("gescc")];
-    char entity_pool_str5976[sizeof("Euml")];
-    char entity_pool_str5980[sizeof("Uring")];
-    char entity_pool_str5982[sizeof("UnderBracket")];
-    char entity_pool_str5983[sizeof("nLtv")];
-    char entity_pool_str5984[sizeof("LeftArrowBar")];
-    char entity_pool_str5985[sizeof("ncongdot")];
-    char entity_pool_str6003[sizeof("asympeq")];
-    char entity_pool_str6023[sizeof("minusdu")];
-    char entity_pool_str6030[sizeof("delta")];
-    char entity_pool_str6032[sizeof("harrw")];
-    char entity_pool_str6038[sizeof("andslope")];
-    char entity_pool_str6043[sizeof("cdot")];
-    char entity_pool_str6048[sizeof("Cayleys")];
-    char entity_pool_str6049[sizeof("boxhU")];
-    char entity_pool_str6052[sizeof("succsim")];
-    char entity_pool_str6061[sizeof("cirE")];
-    char entity_pool_str6062[sizeof("sdotb")];
-    char entity_pool_str6066[sizeof("odash")];
-    char entity_pool_str6067[sizeof("cirmid")];
-    char entity_pool_str6068[sizeof("suphsub")];
-    char entity_pool_str6069[sizeof("supdsub")];
-    char entity_pool_str6077[sizeof("supdot")];
-    char entity_pool_str6079[sizeof("awconint")];
-    char entity_pool_str6084[sizeof("TSHcy")];
-    char entity_pool_str6087[sizeof("grave")];
-    char entity_pool_str6101[sizeof("lsimg")];
-    char entity_pool_str6106[sizeof("UpArrowDownArrow")];
-    char entity_pool_str6121[sizeof("LeftVector")];
-    char entity_pool_str6122[sizeof("DoubleRightArrow")];
-    char entity_pool_str6129[sizeof("NegativeThinSpace")];
-    char entity_pool_str6140[sizeof("lhblk")];
-    char entity_pool_str6146[sizeof("cire")];
-    char entity_pool_str6147[sizeof("nVDash")];
-    char entity_pool_str6151[sizeof("uhblk")];
-    char entity_pool_str6155[sizeof("imagpart")];
-    char entity_pool_str6161[sizeof("RightUpDownVector")];
-    char entity_pool_str6164[sizeof("boxdL")];
-    char entity_pool_str6176[sizeof("gla")];
-    char entity_pool_str6193[sizeof("Iuml")];
-    char entity_pool_str6203[sizeof("oelig")];
-    char entity_pool_str6208[sizeof("NotLessSlantEqual")];
-    char entity_pool_str6210[sizeof("boxDL")];
-    char entity_pool_str6215[sizeof("gamma")];
-    char entity_pool_str6236[sizeof("Otimes")];
-    char entity_pool_str6248[sizeof("longleftrightarrow")];
-    char entity_pool_str6261[sizeof("Gamma")];
-    char entity_pool_str6262[sizeof("bigwedge")];
-    char entity_pool_str6268[sizeof("boxhd")];
-    char entity_pool_str6283[sizeof("supE")];
-    char entity_pool_str6292[sizeof("LeftUpTeeVector")];
-    char entity_pool_str6298[sizeof("gesdoto")];
-    char entity_pool_str6304[sizeof("kappa")];
-    char entity_pool_str6315[sizeof("ngeqslant")];
-    char entity_pool_str6340[sizeof("gtrless")];
-    char entity_pool_str6351[sizeof("fflig")];
-    char entity_pool_str6352[sizeof("bigsqcup")];
-    char entity_pool_str6367[sizeof("kgreen")];
-    char entity_pool_str6368[sizeof("supe")];
-    char entity_pool_str6370[sizeof("boxtimes")];
-    char entity_pool_str6386[sizeof("gnapprox")];
-    char entity_pool_str6394[sizeof("downdownarrows")];
-    char entity_pool_str6403[sizeof("biguplus")];
-    char entity_pool_str6404[sizeof("khcy")];
-    char entity_pool_str6406[sizeof("ddagger")];
-    char entity_pool_str6418[sizeof("Ouml")];
-    char entity_pool_str6420[sizeof("Beta")];
-    char entity_pool_str6421[sizeof("minusd")];
-    char entity_pool_str6422[sizeof("succnsim")];
-    char entity_pool_str6424[sizeof("ctdot")];
-    char entity_pool_str6427[sizeof("kjcy")];
-    char entity_pool_str6428[sizeof("gjcy")];
-    char entity_pool_str6430[sizeof("ncong")];
-    char entity_pool_str6431[sizeof("xvee")];
-    char entity_pool_str6432[sizeof("bcong")];
-    char entity_pool_str6439[sizeof("sqsube")];
-    char entity_pool_str6442[sizeof("boxdR")];
-    char entity_pool_str6445[sizeof("Longleftrightarrow")];
-    char entity_pool_str6447[sizeof("sqsub")];
-    char entity_pool_str6451[sizeof("DownLeftRightVector")];
-    char entity_pool_str6454[sizeof("sqsubset")];
-    char entity_pool_str6456[sizeof("NotVerticalBar")];
-    char entity_pool_str6461[sizeof("NotEqualTilde")];
-    char entity_pool_str6485[sizeof("boxdl")];
-    char entity_pool_str6488[sizeof("boxDR")];
-    char entity_pool_str6490[sizeof("andand")];
-    char entity_pool_str6502[sizeof("RightVector")];
-    char entity_pool_str6504[sizeof("IJlig")];
-    char e

<TRUNCATED>

Mime
View raw message