You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@lucy.apache.org by nw...@apache.org on 2015/01/18 19:44:42 UTC
[06/12] lucy-clownfish git commit: Update CommonMark source code
http://git-wip-us.apache.org/repos/asf/lucy-clownfish/blob/5672da15/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
index 6d33596..1eb318b 100644
--- a/compiler/modules/CommonMark/src/html_unescape.h
+++ b/compiler/modules/CommonMark/src/html_unescape.h
@@ -1,5 +1,5 @@
/* 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,{0}' --null-strings -m5 src/html_unescape.gperf */
+/* 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) \
@@ -31,11 +31,11 @@
#line 1 "src/html_unescape.gperf"
struct html_ent {
- const char *entity;
- unsigned int utf8_len;
+ int entity;
unsigned char utf8[4];
};
#include <string.h>
+#include <stddef.h>
#define TOTAL_KEYWORDS 2125
#define MIN_WORD_LENGTH 2
@@ -121,6 +121,4263 @@ hash_entity (register const char *str, register unsigned int len)
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 entity_pool_str6505[sizeof("NotTildeEqual")];
+ char entity_pool_str6509[sizeof("angzarr")];
+ char entity_pool_str6515[sizeof("angrt")];
+ char entity_pool_str6521[sizeof("acd")];
+ char entity_pool_str6524[sizeof("andd")];
+ char entity_pool_str6526[sizeof("nrarrc")];
+ char entity_pool_str6527[sizeof("VeryThinSpace")];
+ char entity_pool_str6529[sizeof("Superset")];
+ char entity_pool_str6531[sizeof("boxDl")];
+ char entity_pool_str6535[sizeof("vnsub")];
+ char entity_pool_str6538[sizeof("ccupssm")];
+ char entity_pool_str6548[sizeof("varnothing")];
+ char entity_pool_str6552[sizeof("rcy")];
+ char entity_pool_str6554[sizeof("lcy")];
+ char entity_pool_str6556[sizeof("scy")];
+ char entity_pool_str6558[sizeof("Tcy")];
+ char entity_pool_str6559[sizeof("Zcy")];
+ char entity_pool_str6560[sizeof("ecy")];
+ char entity_pool_str6561[sizeof("rdsh")];
+ char entity_pool_str6563[sizeof("ldsh")];
+ char entity_pool_str6565[sizeof("ucy")];
+ char entity_pool_str6566[sizeof("boxVH")];
+ char entity_pool_str6567[sizeof("tcy")];
+ char entity_pool_str6577[sizeof("ncy")];
+ char entity_pool_str6579[sizeof("bcy")];
+ char entity_pool_str6580[sizeof("ntgl")];
+ char entity_pool_str6585[sizeof("Jcy")];
+ char entity_pool_str6600[sizeof("congdot")];
+ char entity_pool_str6607[sizeof("angst")];
+ char entity_pool_str6609[sizeof("RightDownTeeVector")];
+ char entity_pool_str6612[sizeof("OverParenthesis")];
+ char entity_pool_str6613[sizeof("ltquest")];
+ char entity_pool_str6615[sizeof("pcy")];
+ char entity_pool_str6618[sizeof("otilde")];
+ char entity_pool_str6619[sizeof("rdquo")];
+ char entity_pool_str6621[sizeof("ldquo")];
+ char entity_pool_str6623[sizeof("Vcy")];
+ char entity_pool_str6626[sizeof("capbrcup")];
+ char entity_pool_str6646[sizeof("bdquo")];
+ char entity_pool_str6650[sizeof("DownArrowBar")];
+ char entity_pool_str6657[sizeof("vcy")];
+ char entity_pool_str6665[sizeof("angrtvb")];
+ char entity_pool_str6676[sizeof("Kcy")];
+ char entity_pool_str6683[sizeof("Mcy")];
+ char entity_pool_str6684[sizeof("Scy")];
+ char entity_pool_str6691[sizeof("NewLine")];
+ char entity_pool_str6696[sizeof("fcy")];
+ char entity_pool_str6697[sizeof("Ucy")];
+ char entity_pool_str6704[sizeof("boxVh")];
+ char entity_pool_str6715[sizeof("Dcy")];
+ char entity_pool_str6738[sizeof("hstrok")];
+ char entity_pool_str6751[sizeof("Lcy")];
+ char entity_pool_str6762[sizeof("Ycy")];
+ char entity_pool_str6775[sizeof("supsim")];
+ char entity_pool_str6789[sizeof("NonBreakingSpace")];
+ char entity_pool_str6790[sizeof("OverBar")];
+ char entity_pool_str6791[sizeof("sqsubseteq")];
+ char entity_pool_str6797[sizeof("GJcy")];
+ char entity_pool_str6800[sizeof("OverBrace")];
+ char entity_pool_str6806[sizeof("eqcirc")];
+ char entity_pool_str6819[sizeof("OverBracket")];
+ char entity_pool_str6821[sizeof("Auml")];
+ char entity_pool_str6829[sizeof("acute")];
+ char entity_pool_str6830[sizeof("icy")];
+ char entity_pool_str6849[sizeof("Itilde")];
+ char entity_pool_str6850[sizeof("HilbertSpace")];
+ char entity_pool_str6854[sizeof("omega")];
+ char entity_pool_str6855[sizeof("cacute")];
+ char entity_pool_str6861[sizeof("scirc")];
+ char entity_pool_str6865[sizeof("ecirc")];
+ char entity_pool_str6870[sizeof("ucirc")];
+ char entity_pool_str6872[sizeof("GreaterSlantEqual")];
+ char entity_pool_str6890[sizeof("Jcirc")];
+ char entity_pool_str6895[sizeof("nvDash")];
+ char entity_pool_str6896[sizeof("Wcirc")];
+ char entity_pool_str6900[sizeof("Ncy")];
+ char entity_pool_str6921[sizeof("RightTeeArrow")];
+ char entity_pool_str6942[sizeof("LessFullEqual")];
+ char entity_pool_str6958[sizeof("ltcc")];
+ char entity_pool_str6963[sizeof("aleph")];
+ char entity_pool_str6979[sizeof("dcy")];
+ char entity_pool_str6989[sizeof("Scirc")];
+ char entity_pool_str6991[sizeof("lessapprox")];
+ char entity_pool_str7000[sizeof("IEcy")];
+ char entity_pool_str7001[sizeof("LowerRightArrow")];
+ char entity_pool_str7002[sizeof("Ucirc")];
+ char entity_pool_str7021[sizeof("agrave")];
+ char entity_pool_str7023[sizeof("MinusPlus")];
+ char entity_pool_str7024[sizeof("bigvee")];
+ char entity_pool_str7028[sizeof("Rcy")];
+ char entity_pool_str7034[sizeof("suphsol")];
+ char entity_pool_str7037[sizeof("EmptyVerySmallSquare")];
+ char entity_pool_str7039[sizeof("boxhD")];
+ char entity_pool_str7047[sizeof("precapprox")];
+ char entity_pool_str7066[sizeof("angrtvbd")];
+
<TRUNCATED>