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>
