lucy-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From nwelln...@apache.org
Subject [06/12] lucy-clownfish git commit: Update CommonMark source code
Date Sun, 18 Jan 2015 18:44:42 GMT
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>

Mime
View raw message