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