// unescape_html in Odin: a QIP component that decodes every HTML character reference in
// UTF-8 text and copies all other bytes unchanged. One self-contained file; the table at
// the bottom is generated by gen_table.py from Python's html.entities.html5 and packed into
// one byte string with u16 offsets, searched by binary search.
//
// Build: odin build unescape.odin -file -target:freestanding_wasm32 -o:size -no-entry-point
// -no-bounds-check -disable-assert -default-to-nil-allocator -no-crt -out:unescape.wasm
// -extra-linker-flags:"--initial-memory=3145728 --max-memory=3145728 -z stack-size=65536 --strip-all"
package unescape
INPUT_CAP :: 1 << 20
// The largest growth is `≫⃒` (5 bytes) becoming 6 bytes.
OUTPUT_CAP :: INPUT_CAP / 5 * 6 + 8
input: [INPUT_CAP]u8
output: [OUTPUT_CAP]u8
out_len: int
entity_blob: string = ENTITY_BLOB
@(export)
input_ptr :: proc "c" () -> u32 {return u32(uintptr(&input[0]))}
@(export)
input_utf8_cap :: proc "c" () -> u32 {return INPUT_CAP}
@(export)
output_ptr :: proc "c" () -> u32 {return u32(uintptr(&output[0]))}
@(export)
output_utf8_cap :: proc "c" () -> u32 {return OUTPUT_CAP}
@(export)
render :: proc "c" (n: u32) -> u64 {
text := input[:min(int(n), INPUT_CAP)]
out_len = 0
i := 0
for i < len(text) {
if text[i] != '&' {
output[out_len] = text[i]
out_len += 1
i += 1
} else if i + 1 < len(text) && text[i + 1] == '#' {
i = numeric(text, i)
} else {
i = named(text, i)
}
}
return u64(output_ptr()) << 32 | u64(out_len)
}
emit :: proc "contextless" (bytes: []u8) {
copy(output[out_len:], bytes)
out_len += len(bytes)
}
emit_code_point :: proc "contextless" (c: u32) {
o := output[out_len:]
switch {
case c < 0x80:
o[0] = u8(c)
out_len += 1
case c < 0x800:
o[0] = u8(0xC0 | c >> 6)
o[1] = u8(0x80 | c & 0x3F)
out_len += 2
case c < 0x10000:
o[0] = u8(0xE0 | c >> 12)
o[1] = u8(0x80 | (c >> 6) & 0x3F)
o[2] = u8(0x80 | c & 0x3F)
out_len += 3
case:
o[0] = u8(0xF0 | c >> 18)
o[1] = u8(0x80 | (c >> 12) & 0x3F)
o[2] = u8(0x80 | (c >> 6) & 0x3F)
o[3] = u8(0x80 | c & 0x3F)
out_len += 4
}
}
// Windows-1252 remapping for references to 0x80–0x9F; 0 keeps the code point.
@(rodata)
c1 := [32]u16 {
0x20AC, 0, 0x201A, 0x0192, 0x201E, 0x2026, 0x2020, 0x2021,
0x02C6, 0x2030, 0x0160, 0x2039, 0x0152, 0, 0x017D, 0,
0, 0x2018, 0x2019, 0x201C, 0x201D, 0x2022, 0x2013, 0x2014,
0x02DC, 0x2122, 0x0161, 0x203A, 0x0153, 0, 0x017E, 0x0178,
}
// `text[at]` is `&` and `text[at + 1]` is `#`. Returns the index after what was consumed.
numeric :: proc "contextless" (text: []u8, at: int) -> int {
i := at + 2
hex := i < len(text) && (text[i] | 0x20) == 'x'
if hex do i += 1
start := i
value: u32 = 0
digits: for ; i < len(text); i += 1 {
d: u32
switch c := text[i]; c {
case '0' ..= '9':
d = u32(c - '0')
case 'a' ..= 'f', 'A' ..= 'F':
if !hex do break digits
d = u32((c | 0x20) - 'a' + 10)
case:
break digits
}
// Saturate: anything past U+10FFFF is replaced the same way.
value = min(value * (hex ? 16 : 10) + d, 0x110000)
}
if i == start {
output[out_len] = '&'
out_len += 1
return at + 1
}
if i < len(text) && text[i] == ';' do i += 1
if value >= 0x80 && value <= 0x9F && c1[value - 0x80] != 0 {
emit_code_point(u32(c1[value - 0x80]))
} else if value == 0 || (value >= 0xD800 && value <= 0xDFFF) || value > 0x10FFFF {
emit_code_point(0xFFFD)
} else {
emit_code_point(value)
}
return i
}
is_alnum :: proc "contextless" (c: u8) -> bool {
return (c >= '0' && c <= '9') || (c | 0x20 >= 'a' && c | 0x20 <= 'z')
}
// `text[at]` is `&`. Names are ASCII letters and digits, at most 31 before the `;`.
named :: proc "contextless" (text: []u8, at: int) -> int {
end := at + 1
for end < len(text) && end - at - 1 < 32 && is_alnum(text[end]) do end += 1
if end < len(text) && text[end] == ';' {
if value, ok := lookup(text[at + 1:end + 1]); ok {
emit(value)
return end + 1
}
}
// Without `;`, only legacy names (stored without `;`) match, longest first.
for n := end - at - 1; n >= 2; n -= 1 {
if value, ok := lookup(text[at + 1:at + 1 + n]); ok {
emit(value)
return at + 1 + n
}
}
output[out_len] = '&'
out_len += 1
return at + 1
}
lookup :: proc "contextless" (name: []u8) -> ([]u8, bool) {
blob := transmute([]u8)entity_blob
lo, hi := 0, ENTITY_COUNT
for lo < hi {
mid := (lo + hi) / 2
start := int(entity_offsets[mid])
name_end := start + 1 + int(blob[start])
switch order(blob[start + 1:name_end], name) {
case -1:
lo = mid + 1
case 1:
hi = mid
case:
return blob[name_end:int(entity_offsets[mid + 1])], true
}
}
return nil, false
}
order :: proc "contextless" (a, b: []u8) -> int {
for k in 0 ..< min(len(a), len(b)) {
if a[k] != b[k] do return a[k] < b[k] ? -1 : 1
}
return len(a) == len(b) ? 0 : (len(a) < len(b) ? -1 : 1)
}
// BEGIN GENERATED TABLE
ENTITY_COUNT :: 2231
// Record i is [name length][name][value] and ends where record i + 1 starts.
ENTITY_BLOB :: "\x05AElig\xc3\x86\x06AElig;\xc3\x86\x03AMP&\x04AMP;&\x06Aacute\xc3\x81\x07Aacute;\xc3\x81\x07Abreve;\xc4\x82\x05Acirc\xc3\x82\x06Acirc;\xc3\x82\x04Acy;\xd0" +
"\x90\x04Afr;\xf0\x9d\x94\x84\x06Agrave\xc3\x80\x07Agrave;\xc3\x80\x06Alpha;\xce\x91\x06Amacr;\xc4\x80\x04And;\xe2\xa9\x93\x06Aogon;\xc4\x84\x05Aopf;\xf0\x9d\x94\xb8\x0eApply" +
"Function;\xe2\x81\xa1\x05Aring\xc3\x85\x06Aring;\xc3\x85\x05Ascr;\xf0\x9d\x92\x9c\x07Assign;\xe2\x89\x94\x06Atilde\xc3\x83\x07Atilde;\xc3\x83\x04Auml\xc3\x84\x05Aum" +
"l;\xc3\x84\x0aBackslash;\xe2\x88\x96\x05Barv;\xe2\xab\xa7\x07Barwed;\xe2\x8c\x86\x04Bcy;\xd0\x91\x08Because;\xe2\x88\xb5\x0bBernoullis;\xe2\x84\xac\x05Beta;\xce\x92" +
"\x04Bfr;\xf0\x9d\x94\x85\x05Bopf;\xf0\x9d\x94\xb9\x06Breve;\xcb\x98\x05Bscr;\xe2\x84\xac\x07Bumpeq;\xe2\x89\x8e\x05CHcy;\xd0\xa7\x04COPY\xc2\xa9\x05COPY;\xc2\xa9\x07Cacute;\xc4" +
"\x86\x04Cap;\xe2\x8b\x92\x15CapitalDifferentialD;\xe2\x85\x85\x08Cayleys;\xe2\x84\xad\x07Ccaron;\xc4\x8c\x06Ccedil\xc3\x87\x07Ccedil;\xc3\x87\x06Ccir" +
"c;\xc4\x88\x08Cconint;\xe2\x88\xb0\x05Cdot;\xc4\x8a\x08Cedilla;\xc2\xb8\x0aCenterDot;\xc2\xb7\x04Cfr;\xe2\x84\xad\x04Chi;\xce\xa7\x0aCircleDot;\xe2\x8a\x99\x0cCi" +
"rcleMinus;\xe2\x8a\x96\x0bCirclePlus;\xe2\x8a\x95\x0cCircleTimes;\xe2\x8a\x97\x19ClockwiseContourIntegral;\xe2\x88\xb2\x16CloseC" +
"urlyDoubleQuote;\xe2\x80\x9d\x10CloseCurlyQuote;\xe2\x80\x99\x06Colon;\xe2\x88\xb7\x07Colone;\xe2\xa9\xb4\x0aCongruent;\xe2\x89\xa1\x07Conin" +
"t;\xe2\x88\xaf\x10ContourIntegral;\xe2\x88\xae\x05Copf;\xe2\x84\x82\x0aCoproduct;\xe2\x88\x90 CounterClockwiseContourIntegral" +
";\xe2\x88\xb3\x06Cross;\xe2\xa8\xaf\x05Cscr;\xf0\x9d\x92\x9e\x04Cup;\xe2\x8b\x93\x07CupCap;\xe2\x89\x8d\x03DD;\xe2\x85\x85\x09DDotrahd;\xe2\xa4\x91\x05DJcy;\xd0\x82\x05DScy;\xd0\x85\x05" +
"DZcy;\xd0\x8f\x07Dagger;\xe2\x80\xa1\x05Darr;\xe2\x86\xa1\x06Dashv;\xe2\xab\xa4\x07Dcaron;\xc4\x8e\x04Dcy;\xd0\x94\x04Del;\xe2\x88\x87\x06Delta;\xce\x94\x04Dfr;\xf0\x9d\x94\x87" +
"\x11DiacriticalAcute;\xc2\xb4\x0fDiacriticalDot;\xcb\x99\x17DiacriticalDoubleAcute;\xcb\x9d\x11DiacriticalGrav" +
"e;`\x11DiacriticalTilde;\xcb\x9c\x08Diamond;\xe2\x8b\x84\x0eDifferentialD;\xe2\x85\x86\x05Dopf;\xf0\x9d\x94\xbb\x04Dot;\xc2\xa8\x07DotDot;\xe2\x83" +
"\x9c\x09DotEqual;\xe2\x89\x90\x16DoubleContourIntegral;\xe2\x88\xaf\x0aDoubleDot;\xc2\xa8\x10DoubleDownArrow;\xe2\x87\x93\x10Double" +
"LeftArrow;\xe2\x87\x90\x15DoubleLeftRightArrow;\xe2\x87\x94\x0eDoubleLeftTee;\xe2\xab\xa4\x14DoubleLongLeftArrow;\xe2\x9f\xb8" +
"\x19DoubleLongLeftRightArrow;\xe2\x9f\xba\x15DoubleLongRightArrow;\xe2\x9f\xb9\x11DoubleRightArrow;\xe2\x87\x92\x0fDoub" +
"leRightTee;\xe2\x8a\xa8\x0eDoubleUpArrow;\xe2\x87\x91\x12DoubleUpDownArrow;\xe2\x87\x95\x12DoubleVerticalBar;\xe2\x88\xa5\x0aDow" +
"nArrow;\xe2\x86\x93\x0dDownArrowBar;\xe2\xa4\x93\x11DownArrowUpArrow;\xe2\x87\xb5\x0aDownBreve;\xcc\x91\x14DownLeftRightVecto" +
"r;\xe2\xa5\x90\x12DownLeftTeeVector;\xe2\xa5\x9e\x0fDownLeftVector;\xe2\x86\xbd\x12DownLeftVectorBar;\xe2\xa5\x96\x13DownRightTe" +
"eVector;\xe2\xa5\x9f\x10DownRightVector;\xe2\x87\x81\x13DownRightVectorBar;\xe2\xa5\x97\x08DownTee;\xe2\x8a\xa4\x0dDownTeeArrow;" +
"\xe2\x86\xa7\x0aDownarrow;\xe2\x87\x93\x05Dscr;\xf0\x9d\x92\x9f\x07Dstrok;\xc4\x90\x04ENG;\xc5\x8a\x03ETH\xc3\x90\x04ETH;\xc3\x90\x06Eacute\xc3\x89\x07Eacute;\xc3\x89\x07Eca" +
"ron;\xc4\x9a\x05Ecirc\xc3\x8a\x06Ecirc;\xc3\x8a\x04Ecy;\xd0\xad\x05Edot;\xc4\x96\x04Efr;\xf0\x9d\x94\x88\x06Egrave\xc3\x88\x07Egrave;\xc3\x88\x08Element;\xe2\x88\x88\x06E" +
"macr;\xc4\x92\x11EmptySmallSquare;\xe2\x97\xbb\x15EmptyVerySmallSquare;\xe2\x96\xab\x06Eogon;\xc4\x98\x05Eopf;\xf0\x9d\x94\xbc\x08Epsilon" +
";\xce\x95\x06Equal;\xe2\xa9\xb5\x0bEqualTilde;\xe2\x89\x82\x0cEquilibrium;\xe2\x87\x8c\x05Escr;\xe2\x84\xb0\x05Esim;\xe2\xa9\xb3\x04Eta;\xce\x97\x04Euml\xc3\x8b\x05Eum" +
"l;\xc3\x8b\x07Exists;\xe2\x88\x83\x0dExponentialE;\xe2\x85\x87\x04Fcy;\xd0\xa4\x04Ffr;\xf0\x9d\x94\x89\x12FilledSmallSquare;\xe2\x97\xbc\x16FilledVer" +
"ySmallSquare;\xe2\x96\xaa\x05Fopf;\xf0\x9d\x94\xbd\x07ForAll;\xe2\x88\x80\x0bFouriertrf;\xe2\x84\xb1\x05Fscr;\xe2\x84\xb1\x05GJcy;\xd0\x83\x02GT>\x03GT;>\x06G" +
"amma;\xce\x93\x07Gammad;\xcf\x9c\x07Gbreve;\xc4\x9e\x07Gcedil;\xc4\xa2\x06Gcirc;\xc4\x9c\x04Gcy;\xd0\x93\x05Gdot;\xc4\xa0\x04Gfr;\xf0\x9d\x94\x8a\x03Gg;\xe2\x8b\x99\x05Go" +
"pf;\xf0\x9d\x94\xbe\x0dGreaterEqual;\xe2\x89\xa5\x11GreaterEqualLess;\xe2\x8b\x9b\x11GreaterFullEqual;\xe2\x89\xa7\x0fGreaterGreate" +
"r;\xe2\xaa\xa2\x0cGreaterLess;\xe2\x89\xb7\x12GreaterSlantEqual;\xe2\xa9\xbe\x0dGreaterTilde;\xe2\x89\xb3\x05Gscr;\xf0\x9d\x92\xa2\x03Gt;\xe2\x89\xab\x07HA" +
"RDcy;\xd0\xaa\x06Hacek;\xcb\x87\x04Hat;^\x06Hcirc;\xc4\xa4\x04Hfr;\xe2\x84\x8c\x0dHilbertSpace;\xe2\x84\x8b\x05Hopf;\xe2\x84\x8d\x0fHorizontalLine" +
";\xe2\x94\x80\x05Hscr;\xe2\x84\x8b\x07Hstrok;\xc4\xa6\x0dHumpDownHump;\xe2\x89\x8e\x0aHumpEqual;\xe2\x89\x8f\x05IEcy;\xd0\x95\x06IJlig;\xc4\xb2\x05IOcy;\xd0\x81\x06" +
"Iacute\xc3\x8d\x07Iacute;\xc3\x8d\x05Icirc\xc3\x8e\x06Icirc;\xc3\x8e\x04Icy;\xd0\x98\x05Idot;\xc4\xb0\x04Ifr;\xe2\x84\x91\x06Igrave\xc3\x8c\x07Igrave;\xc3\x8c\x03Im" +
";\xe2\x84\x91\x06Imacr;\xc4\xaa\x0bImaginaryI;\xe2\x85\x88\x08Implies;\xe2\x87\x92\x04Int;\xe2\x88\xac\x09Integral;\xe2\x88\xab\x0dIntersection;\xe2\x8b\x82\x0fI" +
"nvisibleComma;\xe2\x81\xa3\x0fInvisibleTimes;\xe2\x81\xa2\x06Iogon;\xc4\xae\x05Iopf;\xf0\x9d\x95\x80\x05Iota;\xce\x99\x05Iscr;\xe2\x84\x90\x07Itilde;" +
"\xc4\xa8\x06Iukcy;\xd0\x86\x04Iuml\xc3\x8f\x05Iuml;\xc3\x8f\x06Jcirc;\xc4\xb4\x04Jcy;\xd0\x99\x04Jfr;\xf0\x9d\x94\x8d\x05Jopf;\xf0\x9d\x95\x81\x05Jscr;\xf0\x9d\x92\xa5\x07Jsercy;\xd0" +
"\x88\x06Jukcy;\xd0\x84\x05KHcy;\xd0\xa5\x05KJcy;\xd0\x8c\x06Kappa;\xce\x9a\x07Kcedil;\xc4\xb6\x04Kcy;\xd0\x9a\x04Kfr;\xf0\x9d\x94\x8e\x05Kopf;\xf0\x9d\x95\x82\x05Kscr;\xf0\x9d\x92" +
"\xa6\x05LJcy;\xd0\x89\x02LT<\x03LT;<\x07Lacute;\xc4\xb9\x07Lambda;\xce\x9b\x05Lang;\xe2\x9f\xaa\x0bLaplacetrf;\xe2\x84\x92\x05Larr;\xe2\x86\x9e\x07Lcaron;\xc4" +
"\xbd\x07Lcedil;\xc4\xbb\x04Lcy;\xd0\x9b\x11LeftAngleBracket;\xe2\x9f\xa8\x0aLeftArrow;\xe2\x86\x90\x0dLeftArrowBar;\xe2\x87\xa4\x14LeftArrow" +
"RightArrow;\xe2\x87\x86\x0cLeftCeiling;\xe2\x8c\x88\x12LeftDoubleBracket;\xe2\x9f\xa6\x12LeftDownTeeVector;\xe2\xa5\xa1\x0fLeftD" +
"ownVector;\xe2\x87\x83\x12LeftDownVectorBar;\xe2\xa5\x99\x0aLeftFloor;\xe2\x8c\x8a\x0fLeftRightArrow;\xe2\x86\x94\x10LeftRightVe" +
"ctor;\xe2\xa5\x8e\x08LeftTee;\xe2\x8a\xa3\x0dLeftTeeArrow;\xe2\x86\xa4\x0eLeftTeeVector;\xe2\xa5\x9a\x0dLeftTriangle;\xe2\x8a\xb2\x10LeftTri" +
"angleBar;\xe2\xa7\x8f\x12LeftTriangleEqual;\xe2\x8a\xb4\x11LeftUpDownVector;\xe2\xa5\x91\x10LeftUpTeeVector;\xe2\xa5\xa0\x0dLeft" +
"UpVector;\xe2\x86\xbf\x10LeftUpVectorBar;\xe2\xa5\x98\x0bLeftVector;\xe2\x86\xbc\x0eLeftVectorBar;\xe2\xa5\x92\x0aLeftarrow;\xe2\x87\x90\x0f" +
"Leftrightarrow;\xe2\x87\x94\x11LessEqualGreater;\xe2\x8b\x9a\x0eLessFullEqual;\xe2\x89\xa6\x0cLessGreater;\xe2\x89\xb6\x09LessLe" +
"ss;\xe2\xaa\xa1\x0fLessSlantEqual;\xe2\xa9\xbd\x0aLessTilde;\xe2\x89\xb2\x04Lfr;\xf0\x9d\x94\x8f\x03Ll;\xe2\x8b\x98\x0bLleftarrow;\xe2\x87\x9a\x07Lmidot;\xc4\xbf" +
"\x0eLongLeftArrow;\xe2\x9f\xb5\x13LongLeftRightArrow;\xe2\x9f\xb7\x0fLongRightArrow;\xe2\x9f\xb6\x0eLongleftarrow;\xe2\x9f\xb8\x13L" +
"ongleftrightarrow;\xe2\x9f\xba\x0fLongrightarrow;\xe2\x9f\xb9\x05Lopf;\xf0\x9d\x95\x83\x0fLowerLeftArrow;\xe2\x86\x99\x10LowerRight" +
"Arrow;\xe2\x86\x98\x05Lscr;\xe2\x84\x92\x04Lsh;\xe2\x86\xb0\x07Lstrok;\xc5\x81\x03Lt;\xe2\x89\xaa\x04Map;\xe2\xa4\x85\x04Mcy;\xd0\x9c\x0cMediumSpace;\xe2\x81\x9f\x0aMelli" +
"ntrf;\xe2\x84\xb3\x04Mfr;\xf0\x9d\x94\x90\x0aMinusPlus;\xe2\x88\x93\x05Mopf;\xf0\x9d\x95\x84\x05Mscr;\xe2\x84\xb3\x03Mu;\xce\x9c\x05NJcy;\xd0\x8a\x07Nacute;\xc5\x83\x07Ncaro" +
"n;\xc5\x87\x07Ncedil;\xc5\x85\x04Ncy;\xd0\x9d\x14NegativeMediumSpace;\xe2\x80\x8b\x13NegativeThickSpace;\xe2\x80\x8b\x12NegativeThi" +
"nSpace;\xe2\x80\x8b\x16NegativeVeryThinSpace;\xe2\x80\x8b\x15NestedGreaterGreater;\xe2\x89\xab\x0fNestedLessLess;\xe2\x89\xaa" +
"\x08NewLine;\x0a\x04Nfr;\xf0\x9d\x94\x91\x08NoBreak;\xe2\x81\xa0\x11NonBreakingSpace;\xc2\xa0\x05Nopf;\xe2\x84\x95\x04Not;\xe2\xab\xac\x0dNotCongruen" +
"t;\xe2\x89\xa2\x0aNotCupCap;\xe2\x89\xad\x15NotDoubleVerticalBar;\xe2\x88\xa6\x0bNotElement;\xe2\x88\x89\x09NotEqual;\xe2\x89\xa0\x0eNotEqua" +
"lTilde;\xe2\x89\x82\xcc\xb8\x0aNotExists;\xe2\x88\x84\x0bNotGreater;\xe2\x89\xaf\x10NotGreaterEqual;\xe2\x89\xb1\x14NotGreaterFullEqua" +
"l;\xe2\x89\xa7\xcc\xb8\x12NotGreaterGreater;\xe2\x89\xab\xcc\xb8\x0fNotGreaterLess;\xe2\x89\xb9\x15NotGreaterSlantEqual;\xe2\xa9\xbe\xcc\xb8\x10No" +
"tGreaterTilde;\xe2\x89\xb5\x10NotHumpDownHump;\xe2\x89\x8e\xcc\xb8\x0dNotHumpEqual;\xe2\x89\x8f\xcc\xb8\x10NotLeftTriangle;\xe2\x8b\xaa\x13N" +
"otLeftTriangleBar;\xe2\xa7\x8f\xcc\xb8\x15NotLeftTriangleEqual;\xe2\x8b\xac\x08NotLess;\xe2\x89\xae\x0dNotLessEqual;\xe2\x89\xb0\x0fNo" +
"tLessGreater;\xe2\x89\xb8\x0cNotLessLess;\xe2\x89\xaa\xcc\xb8\x12NotLessSlantEqual;\xe2\xa9\xbd\xcc\xb8\x0dNotLessTilde;\xe2\x89\xb4\x18NotN" +
"estedGreaterGreater;\xe2\xaa\xa2\xcc\xb8\x12NotNestedLessLess;\xe2\xaa\xa1\xcc\xb8\x0cNotPrecedes;\xe2\x8a\x80\x11NotPrecedesEqu" +
"al;\xe2\xaa\xaf\xcc\xb8\x16NotPrecedesSlantEqual;\xe2\x8b\xa0\x12NotReverseElement;\xe2\x88\x8c\x11NotRightTriangle;\xe2\x8b\xab\x14No" +
"tRightTriangleBar;\xe2\xa7\x90\xcc\xb8\x16NotRightTriangleEqual;\xe2\x8b\xad\x10NotSquareSubset;\xe2\x8a\x8f\xcc\xb8\x15NotSquar" +
"eSubsetEqual;\xe2\x8b\xa2\x12NotSquareSuperset;\xe2\x8a\x90\xcc\xb8\x17NotSquareSupersetEqual;\xe2\x8b\xa3\x0aNotSubset;\xe2\x8a" +
"\x82\xe2\x83\x92\x0fNotSubsetEqual;\xe2\x8a\x88\x0cNotSucceeds;\xe2\x8a\x81\x11NotSucceedsEqual;\xe2\xaa\xb0\xcc\xb8\x16NotSucceedsSlantE" +
"qual;\xe2\x8b\xa1\x11NotSucceedsTilde;\xe2\x89\xbf\xcc\xb8\x0cNotSuperset;\xe2\x8a\x83\xe2\x83\x92\x11NotSupersetEqual;\xe2\x8a\x89\x09NotTilde" +
";\xe2\x89\x81\x0eNotTildeEqual;\xe2\x89\x84\x12NotTildeFullEqual;\xe2\x89\x87\x0eNotTildeTilde;\xe2\x89\x89\x0fNotVerticalBar;\xe2\x88" +
"\xa4\x05Nscr;\xf0\x9d\x92\xa9\x06Ntilde\xc3\x91\x07Ntilde;\xc3\x91\x03Nu;\xce\x9d\x06OElig;\xc5\x92\x06Oacute\xc3\x93\x07Oacute;\xc3\x93\x05Ocirc\xc3\x94\x06Ocirc;\xc3" +
"\x94\x04Ocy;\xd0\x9e\x07Odblac;\xc5\x90\x04Ofr;\xf0\x9d\x94\x92\x06Ograve\xc3\x92\x07Ograve;\xc3\x92\x06Omacr;\xc5\x8c\x06Omega;\xce\xa9\x08Omicron;\xce\x9f\x05Oopf" +
";\xf0\x9d\x95\x86\x15OpenCurlyDoubleQuote;\xe2\x80\x9c\x0fOpenCurlyQuote;\xe2\x80\x98\x03Or;\xe2\xa9\x94\x05Oscr;\xf0\x9d\x92\xaa\x06Oslash\xc3\x98\x07Osla" +
"sh;\xc3\x98\x06Otilde\xc3\x95\x07Otilde;\xc3\x95\x07Otimes;\xe2\xa8\xb7\x04Ouml\xc3\x96\x05Ouml;\xc3\x96\x08OverBar;\xe2\x80\xbe\x0aOverBrace;\xe2\x8f\x9e\x0cOve" +
"rBracket;\xe2\x8e\xb4\x10OverParenthesis;\xe2\x8f\x9c\x09PartialD;\xe2\x88\x82\x04Pcy;\xd0\x9f\x04Pfr;\xf0\x9d\x94\x93\x04Phi;\xce\xa6\x03Pi;\xce\xa0\x0aPlusM" +
"inus;\xc2\xb1\x0ePoincareplane;\xe2\x84\x8c\x05Popf;\xe2\x84\x99\x03Pr;\xe2\xaa\xbb\x09Precedes;\xe2\x89\xba\x0ePrecedesEqual;\xe2\xaa\xaf\x13Precede" +
"sSlantEqual;\xe2\x89\xbc\x0ePrecedesTilde;\xe2\x89\xbe\x06Prime;\xe2\x80\xb3\x08Product;\xe2\x88\x8f\x0bProportion;\xe2\x88\xb7\x0dProportio" +
"nal;\xe2\x88\x9d\x05Pscr;\xf0\x9d\x92\xab\x04Psi;\xce\xa8\x04QUOT\x22\x05QUOT;\x22\x04Qfr;\xf0\x9d\x94\x94\x05Qopf;\xe2\x84\x9a\x05Qscr;\xf0\x9d\x92\xac\x06RBarr;\xe2\xa4\x90\x03REG\xc2" +
"\xae\x04REG;\xc2\xae\x07Racute;\xc5\x94\x05Rang;\xe2\x9f\xab\x05Rarr;\xe2\x86\xa0\x07Rarrtl;\xe2\xa4\x96\x07Rcaron;\xc5\x98\x07Rcedil;\xc5\x96\x04Rcy;\xd0\xa0\x03Re;\xe2\x84" +
"\x9c\x0fReverseElement;\xe2\x88\x8b\x13ReverseEquilibrium;\xe2\x87\x8b\x15ReverseUpEquilibrium;\xe2\xa5\xaf\x04Rfr;\xe2\x84\x9c\x04Rho" +
";\xce\xa1\x12RightAngleBracket;\xe2\x9f\xa9\x0bRightArrow;\xe2\x86\x92\x0eRightArrowBar;\xe2\x87\xa5\x14RightArrowLeftArrow;\xe2" +
"\x87\x84\x0dRightCeiling;\xe2\x8c\x89\x13RightDoubleBracket;\xe2\x9f\xa7\x13RightDownTeeVector;\xe2\xa5\x9d\x10RightDownVecto" +
"r;\xe2\x87\x82\x13RightDownVectorBar;\xe2\xa5\x95\x0bRightFloor;\xe2\x8c\x8b\x09RightTee;\xe2\x8a\xa2\x0eRightTeeArrow;\xe2\x86\xa6\x0fRight" +
"TeeVector;\xe2\xa5\x9b\x0eRightTriangle;\xe2\x8a\xb3\x11RightTriangleBar;\xe2\xa7\x90\x13RightTriangleEqual;\xe2\x8a\xb5\x12Righ" +
"tUpDownVector;\xe2\xa5\x8f\x11RightUpTeeVector;\xe2\xa5\x9c\x0eRightUpVector;\xe2\x86\xbe\x11RightUpVectorBar;\xe2\xa5\x94\x0cRi" +
"ghtVector;\xe2\x87\x80\x0fRightVectorBar;\xe2\xa5\x93\x0bRightarrow;\xe2\x87\x92\x05Ropf;\xe2\x84\x9d\x0dRoundImplies;\xe2\xa5\xb0\x0cRright" +
"arrow;\xe2\x87\x9b\x05Rscr;\xe2\x84\x9b\x04Rsh;\xe2\x86\xb1\x0cRuleDelayed;\xe2\xa7\xb4\x07SHCHcy;\xd0\xa9\x05SHcy;\xd0\xa8\x07SOFTcy;\xd0\xac\x07Sacute;\xc5\x9a" +
"\x03Sc;\xe2\xaa\xbc\x07Scaron;\xc5\xa0\x07Scedil;\xc5\x9e\x06Scirc;\xc5\x9c\x04Scy;\xd0\xa1\x04Sfr;\xf0\x9d\x94\x96\x0fShortDownArrow;\xe2\x86\x93\x0fShortLef" +
"tArrow;\xe2\x86\x90\x10ShortRightArrow;\xe2\x86\x92\x0dShortUpArrow;\xe2\x86\x91\x06Sigma;\xce\xa3\x0cSmallCircle;\xe2\x88\x98\x05Sopf;\xf0\x9d" +
"\x95\x8a\x05Sqrt;\xe2\x88\x9a\x07Square;\xe2\x96\xa1\x13SquareIntersection;\xe2\x8a\x93\x0dSquareSubset;\xe2\x8a\x8f\x12SquareSubsetEqual" +
";\xe2\x8a\x91\x0fSquareSuperset;\xe2\x8a\x90\x14SquareSupersetEqual;\xe2\x8a\x92\x0cSquareUnion;\xe2\x8a\x94\x05Sscr;\xf0\x9d\x92\xae\x05Star;\xe2" +
"\x8b\x86\x04Sub;\xe2\x8b\x90\x07Subset;\xe2\x8b\x90\x0cSubsetEqual;\xe2\x8a\x86\x09Succeeds;\xe2\x89\xbb\x0eSucceedsEqual;\xe2\xaa\xb0\x13SucceedsSla" +
"ntEqual;\xe2\x89\xbd\x0eSucceedsTilde;\xe2\x89\xbf\x09SuchThat;\xe2\x88\x8b\x04Sum;\xe2\x88\x91\x04Sup;\xe2\x8b\x91\x09Superset;\xe2\x8a\x83\x0eSuperset" +
"Equal;\xe2\x8a\x87\x07Supset;\xe2\x8b\x91\x05THORN\xc3\x9e\x06THORN;\xc3\x9e\x06TRADE;\xe2\x84\xa2\x06TSHcy;\xd0\x8b\x05TScy;\xd0\xa6\x04Tab;\x09\x04Tau;\xce\xa4\x07Tc" +
"aron;\xc5\xa4\x07Tcedil;\xc5\xa2\x04Tcy;\xd0\xa2\x04Tfr;\xf0\x9d\x94\x97\x0aTherefore;\xe2\x88\xb4\x06Theta;\xce\x98\x0bThickSpace;\xe2\x81\x9f\xe2\x80\x8a\x0aThinS" +
"pace;\xe2\x80\x89\x06Tilde;\xe2\x88\xbc\x0bTildeEqual;\xe2\x89\x83\x0fTildeFullEqual;\xe2\x89\x85\x0bTildeTilde;\xe2\x89\x88\x05Topf;\xf0\x9d\x95\x8b\x0aTr" +
"ipleDot;\xe2\x83\x9b\x05Tscr;\xf0\x9d\x92\xaf\x07Tstrok;\xc5\xa6\x06Uacute\xc3\x9a\x07Uacute;\xc3\x9a\x05Uarr;\xe2\x86\x9f\x09Uarrocir;\xe2\xa5\x89\x06Ubrcy;\xd0" +
"\x8e\x07Ubreve;\xc5\xac\x05Ucirc\xc3\x9b\x06Ucirc;\xc3\x9b\x04Ucy;\xd0\xa3\x07Udblac;\xc5\xb0\x04Ufr;\xf0\x9d\x94\x98\x06Ugrave\xc3\x99\x07Ugrave;\xc3\x99\x06Umacr;" +
"\xc5\xaa\x09UnderBar;_\x0bUnderBrace;\xe2\x8f\x9f\x0dUnderBracket;\xe2\x8e\xb5\x11UnderParenthesis;\xe2\x8f\x9d\x06Union;\xe2\x8b\x83\x0aUni" +
"onPlus;\xe2\x8a\x8e\x06Uogon;\xc5\xb2\x05Uopf;\xf0\x9d\x95\x8c\x08UpArrow;\xe2\x86\x91\x0bUpArrowBar;\xe2\xa4\x92\x11UpArrowDownArrow;\xe2\x87\x85\x0cUp" +
"DownArrow;\xe2\x86\x95\x0eUpEquilibrium;\xe2\xa5\xae\x06UpTee;\xe2\x8a\xa5\x0bUpTeeArrow;\xe2\x86\xa5\x08Uparrow;\xe2\x87\x91\x0cUpdownarrow" +
";\xe2\x87\x95\x0fUpperLeftArrow;\xe2\x86\x96\x10UpperRightArrow;\xe2\x86\x97\x05Upsi;\xcf\x92\x08Upsilon;\xce\xa5\x06Uring;\xc5\xae\x05Uscr;\xf0\x9d\x92" +
"\xb0\x07Utilde;\xc5\xa8\x04Uuml\xc3\x9c\x05Uuml;\xc3\x9c\x06VDash;\xe2\x8a\xab\x05Vbar;\xe2\xab\xab\x04Vcy;\xd0\x92\x06Vdash;\xe2\x8a\xa9\x07Vdashl;\xe2\xab\xa6\x04Vee;\xe2\x8b" +
"\x81\x07Verbar;\xe2\x80\x96\x05Vert;\xe2\x80\x96\x0cVerticalBar;\xe2\x88\xa3\x0dVerticalLine;|\x12VerticalSeparator;\xe2\x9d\x98\x0eVerti" +
"calTilde;\xe2\x89\x80\x0eVeryThinSpace;\xe2\x80\x8a\x04Vfr;\xf0\x9d\x94\x99\x05Vopf;\xf0\x9d\x95\x8d\x05Vscr;\xf0\x9d\x92\xb1\x07Vvdash;\xe2\x8a\xaa\x06Wcirc;\xc5\xb4\x06" +
"Wedge;\xe2\x8b\x80\x04Wfr;\xf0\x9d\x94\x9a\x05Wopf;\xf0\x9d\x95\x8e\x05Wscr;\xf0\x9d\x92\xb2\x04Xfr;\xf0\x9d\x94\x9b\x03Xi;\xce\x9e\x05Xopf;\xf0\x9d\x95\x8f\x05Xscr;\xf0\x9d\x92\xb3\x05YAcy;\xd0" +
"\xaf\x05YIcy;\xd0\x87\x05YUcy;\xd0\xae\x06Yacute\xc3\x9d\x07Yacute;\xc3\x9d\x06Ycirc;\xc5\xb6\x04Ycy;\xd0\xab\x04Yfr;\xf0\x9d\x94\x9c\x05Yopf;\xf0\x9d\x95\x90\x05Yscr;\xf0\x9d\x92" +
"\xb4\x05Yuml;\xc5\xb8\x05ZHcy;\xd0\x96\x07Zacute;\xc5\xb9\x07Zcaron;\xc5\xbd\x04Zcy;\xd0\x97\x05Zdot;\xc5\xbb\x0fZeroWidthSpace;\xe2\x80\x8b\x05Zeta;\xce\x96\x04" +
"Zfr;\xe2\x84\xa8\x05Zopf;\xe2\x84\xa4\x05Zscr;\xf0\x9d\x92\xb5\x06aacute\xc3\xa1\x07aacute;\xc3\xa1\x07abreve;\xc4\x83\x03ac;\xe2\x88\xbe\x04acE;\xe2\x88\xbe\xcc\xb3\x04acd;\xe2\x88\xbf" +
"\x05acirc\xc3\xa2\x06acirc;\xc3\xa2\x05acute\xc2\xb4\x06acute;\xc2\xb4\x04acy;\xd0\xb0\x05aelig\xc3\xa6\x06aelig;\xc3\xa6\x03af;\xe2\x81\xa1\x04afr;\xf0\x9d\x94\x9e\x06agrav" +
"e\xc3\xa0\x07agrave;\xc3\xa0\x08alefsym;\xe2\x84\xb5\x06aleph;\xe2\x84\xb5\x06alpha;\xce\xb1\x06amacr;\xc4\x81\x06amalg;\xe2\xa8\xbf\x03amp&\x04amp;&\x04and;\xe2" +
"\x88\xa7\x07andand;\xe2\xa9\x95\x05andd;\xe2\xa9\x9c\x09andslope;\xe2\xa9\x98\x05andv;\xe2\xa9\x9a\x04ang;\xe2\x88\xa0\x05ange;\xe2\xa6\xa4\x06angle;\xe2\x88\xa0\x07angmsd;\xe2" +
"\x88\xa1\x09angmsdaa;\xe2\xa6\xa8\x09angmsdab;\xe2\xa6\xa9\x09angmsdac;\xe2\xa6\xaa\x09angmsdad;\xe2\xa6\xab\x09angmsdae;\xe2\xa6\xac\x09angmsdaf;\xe2\xa6\xad" +
"\x09angmsdag;\xe2\xa6\xae\x09angmsdah;\xe2\xa6\xaf\x06angrt;\xe2\x88\x9f\x08angrtvb;\xe2\x8a\xbe\x09angrtvbd;\xe2\xa6\x9d\x07angsph;\xe2\x88\xa2\x06angst;\xc3" +
"\x85\x08angzarr;\xe2\x8d\xbc\x06aogon;\xc4\x85\x05aopf;\xf0\x9d\x95\x92\x03ap;\xe2\x89\x88\x04apE;\xe2\xa9\xb0\x07apacir;\xe2\xa9\xaf\x04ape;\xe2\x89\x8a\x05apid;\xe2\x89\x8b\x05apos" +
";'\x07approx;\xe2\x89\x88\x09approxeq;\xe2\x89\x8a\x05aring\xc3\xa5\x06aring;\xc3\xa5\x05ascr;\xf0\x9d\x92\xb6\x04ast;*\x06asymp;\xe2\x89\x88\x08asympeq;\xe2\x89" +
"\x8d\x06atilde\xc3\xa3\x07atilde;\xc3\xa3\x04auml\xc3\xa4\x05auml;\xc3\xa4\x09awconint;\xe2\x88\xb3\x06awint;\xe2\xa8\x91\x05bNot;\xe2\xab\xad\x09backcong;\xe2\x89\x8c" +
"\x0cbackepsilon;\xcf\xb6\x0abackprime;\xe2\x80\xb5\x08backsim;\xe2\x88\xbd\x0abacksimeq;\xe2\x8b\x8d\x07barvee;\xe2\x8a\xbd\x07barwed;\xe2\x8c\x85\x09ba" +
"rwedge;\xe2\x8c\x85\x05bbrk;\xe2\x8e\xb5\x09bbrktbrk;\xe2\x8e\xb6\x06bcong;\xe2\x89\x8c\x04bcy;\xd0\xb1\x06bdquo;\xe2\x80\x9e\x07becaus;\xe2\x88\xb5\x08because;\xe2" +
"\x88\xb5\x08bemptyv;\xe2\xa6\xb0\x06bepsi;\xcf\xb6\x07bernou;\xe2\x84\xac\x05beta;\xce\xb2\x05beth;\xe2\x84\xb6\x08between;\xe2\x89\xac\x04bfr;\xf0\x9d\x94\x9f\x07bigcap;" +
"\xe2\x8b\x82\x08bigcirc;\xe2\x97\xaf\x07bigcup;\xe2\x8b\x83\x08bigodot;\xe2\xa8\x80\x09bigoplus;\xe2\xa8\x81\x0abigotimes;\xe2\xa8\x82\x09bigsqcup;\xe2\xa8\x86\x08b" +
"igstar;\xe2\x98\x85\x10bigtriangledown;\xe2\x96\xbd\x0ebigtriangleup;\xe2\x96\xb3\x09biguplus;\xe2\xa8\x84\x07bigvee;\xe2\x8b\x81\x09bigwedg" +
"e;\xe2\x8b\x80\x07bkarow;\xe2\xa4\x8d\x0dblacklozenge;\xe2\xa7\xab\x0cblacksquare;\xe2\x96\xaa\x0eblacktriangle;\xe2\x96\xb4\x12blacktriangl" +
"edown;\xe2\x96\xbe\x12blacktriangleleft;\xe2\x97\x82\x13blacktriangleright;\xe2\x96\xb8\x06blank;\xe2\x90\xa3\x06blk12;\xe2\x96\x92\x06blk14" +
";\xe2\x96\x91\x06blk34;\xe2\x96\x93\x06block;\xe2\x96\x88\x04bne;=\xe2\x83\xa5\x08bnequiv;\xe2\x89\xa1\xe2\x83\xa5\x05bnot;\xe2\x8c\x90\x05bopf;\xf0\x9d\x95\x93\x04bot;\xe2\x8a\xa5\x07bott" +
"om;\xe2\x8a\xa5\x07bowtie;\xe2\x8b\x88\x06boxDL;\xe2\x95\x97\x06boxDR;\xe2\x95\x94\x06boxDl;\xe2\x95\x96\x06boxDr;\xe2\x95\x93\x05boxH;\xe2\x95\x90\x06boxHD;\xe2\x95\xa6\x06box" +
"HU;\xe2\x95\xa9\x06boxHd;\xe2\x95\xa4\x06boxHu;\xe2\x95\xa7\x06boxUL;\xe2\x95\x9d\x06boxUR;\xe2\x95\x9a\x06boxUl;\xe2\x95\x9c\x06boxUr;\xe2\x95\x99\x05boxV;\xe2\x95\x91\x06boxV" +
"H;\xe2\x95\xac\x06boxVL;\xe2\x95\xa3\x06boxVR;\xe2\x95\xa0\x06boxVh;\xe2\x95\xab\x06boxVl;\xe2\x95\xa2\x06boxVr;\xe2\x95\x9f\x07boxbox;\xe2\xa7\x89\x06boxdL;\xe2\x95\x95\x06box" +
"dR;\xe2\x95\x92\x06boxdl;\xe2\x94\x90\x06boxdr;\xe2\x94\x8c\x05boxh;\xe2\x94\x80\x06boxhD;\xe2\x95\xa5\x06boxhU;\xe2\x95\xa8\x06boxhd;\xe2\x94\xac\x06boxhu;\xe2\x94\xb4\x09boxm" +
"inus;\xe2\x8a\x9f\x08boxplus;\xe2\x8a\x9e\x09boxtimes;\xe2\x8a\xa0\x06boxuL;\xe2\x95\x9b\x06boxuR;\xe2\x95\x98\x06boxul;\xe2\x94\x98\x06boxur;\xe2\x94\x94\x05boxv;\xe2" +
"\x94\x82\x06boxvH;\xe2\x95\xaa\x06boxvL;\xe2\x95\xa1\x06boxvR;\xe2\x95\x9e\x06boxvh;\xe2\x94\xbc\x06boxvl;\xe2\x94\xa4\x06boxvr;\xe2\x94\x9c\x07bprime;\xe2\x80\xb5\x06breve;" +
"\xcb\x98\x06brvbar\xc2\xa6\x07brvbar;\xc2\xa6\x05bscr;\xf0\x9d\x92\xb7\x06bsemi;\xe2\x81\x8f\x05bsim;\xe2\x88\xbd\x06bsime;\xe2\x8b\x8d\x05bsol;\x5c\x06bsolb;\xe2\xa7\x85\x09bs" +
"olhsub;\xe2\x9f\x88\x05bull;\xe2\x80\xa2\x07bullet;\xe2\x80\xa2\x05bump;\xe2\x89\x8e\x06bumpE;\xe2\xaa\xae\x06bumpe;\xe2\x89\x8f\x07bumpeq;\xe2\x89\x8f\x07cacute;\xc4\x87" +
"\x04cap;\xe2\x88\xa9\x07capand;\xe2\xa9\x84\x09capbrcup;\xe2\xa9\x89\x07capcap;\xe2\xa9\x8b\x07capcup;\xe2\xa9\x87\x07capdot;\xe2\xa9\x80\x05caps;\xe2\x88\xa9\xef\xb8\x80\x06ca" +
"ret;\xe2\x81\x81\x06caron;\xcb\x87\x06ccaps;\xe2\xa9\x8d\x07ccaron;\xc4\x8d\x06ccedil\xc3\xa7\x07ccedil;\xc3\xa7\x06ccirc;\xc4\x89\x06ccups;\xe2\xa9\x8c\x08ccups" +
"sm;\xe2\xa9\x90\x05cdot;\xc4\x8b\x05cedil\xc2\xb8\x06cedil;\xc2\xb8\x08cemptyv;\xe2\xa6\xb2\x04cent\xc2\xa2\x05cent;\xc2\xa2\x0acenterdot;\xc2\xb7\x04cfr;\xf0\x9d\x94\xa0" +
"\x05chcy;\xd1\x87\x06check;\xe2\x9c\x93\x0acheckmark;\xe2\x9c\x93\x04chi;\xcf\x87\x04cir;\xe2\x97\x8b\x05cirE;\xe2\xa7\x83\x05circ;\xcb\x86\x07circeq;\xe2\x89\x97\x10circ" +
"learrowleft;\xe2\x86\xba\x11circlearrowright;\xe2\x86\xbb\x09circledR;\xc2\xae\x09circledS;\xe2\x93\x88\x0bcircledast;\xe2\x8a\x9b\x0ccir" +
"cledcirc;\xe2\x8a\x9a\x0ccircleddash;\xe2\x8a\x9d\x05cire;\xe2\x89\x97\x09cirfnint;\xe2\xa8\x90\x07cirmid;\xe2\xab\xaf\x08cirscir;\xe2\xa7\x82\x06clubs;" +
"\xe2\x99\xa3\x09clubsuit;\xe2\x99\xa3\x06colon;:\x07colone;\xe2\x89\x94\x08coloneq;\xe2\x89\x94\x06comma;,\x07commat;@\x05comp;\xe2\x88\x81\x07compfn" +
";\xe2\x88\x98\x0bcomplement;\xe2\x88\x81\x0acomplexes;\xe2\x84\x82\x05cong;\xe2\x89\x85\x08congdot;\xe2\xa9\xad\x07conint;\xe2\x88\xae\x05copf;\xf0\x9d\x95\x94\x07copr" +
"od;\xe2\x88\x90\x04copy\xc2\xa9\x05copy;\xc2\xa9\x07copysr;\xe2\x84\x97\x06crarr;\xe2\x86\xb5\x06cross;\xe2\x9c\x97\x05cscr;\xf0\x9d\x92\xb8\x05csub;\xe2\xab\x8f\x06csube;\xe2\xab" +
"\x91\x05csup;\xe2\xab\x90\x06csupe;\xe2\xab\x92\x06ctdot;\xe2\x8b\xaf\x08cudarrl;\xe2\xa4\xb8\x08cudarrr;\xe2\xa4\xb5\x06cuepr;\xe2\x8b\x9e\x06cuesc;\xe2\x8b\x9f\x07cular" +
"r;\xe2\x86\xb6\x08cularrp;\xe2\xa4\xbd\x04cup;\xe2\x88\xaa\x09cupbrcap;\xe2\xa9\x88\x07cupcap;\xe2\xa9\x86\x07cupcup;\xe2\xa9\x8a\x07cupdot;\xe2\x8a\x8d\x06cupor;\xe2\xa9" +
"\x85\x05cups;\xe2\x88\xaa\xef\xb8\x80\x07curarr;\xe2\x86\xb7\x08curarrm;\xe2\xa4\xbc\x0ccurlyeqprec;\xe2\x8b\x9e\x0ccurlyeqsucc;\xe2\x8b\x9f\x09curlyvee;\xe2\x8b" +
"\x8e\x0bcurlywedge;\xe2\x8b\x8f\x06curren\xc2\xa4\x07curren;\xc2\xa4\x0fcurvearrowleft;\xe2\x86\xb6\x10curvearrowright;\xe2\x86\xb7\x06cuvee" +
";\xe2\x8b\x8e\x06cuwed;\xe2\x8b\x8f\x09cwconint;\xe2\x88\xb2\x06cwint;\xe2\x88\xb1\x07cylcty;\xe2\x8c\xad\x05dArr;\xe2\x87\x93\x05dHar;\xe2\xa5\xa5\x07dagger;\xe2\x80\xa0\x07da" +
"leth;\xe2\x84\xb8\x05darr;\xe2\x86\x93\x05dash;\xe2\x80\x90\x06dashv;\xe2\x8a\xa3\x08dbkarow;\xe2\xa4\x8f\x06dblac;\xcb\x9d\x07dcaron;\xc4\x8f\x04dcy;\xd0\xb4\x03dd;\xe2\x85" +
"\x86\x08ddagger;\xe2\x80\xa1\x06ddarr;\xe2\x87\x8a\x08ddotseq;\xe2\xa9\xb7\x03deg\xc2\xb0\x04deg;\xc2\xb0\x06delta;\xce\xb4\x08demptyv;\xe2\xa6\xb1\x07dfisht;\xe2\xa5\xbf" +
"\x04dfr;\xf0\x9d\x94\xa1\x06dharl;\xe2\x87\x83\x06dharr;\xe2\x87\x82\x05diam;\xe2\x8b\x84\x08diamond;\xe2\x8b\x84\x0cdiamondsuit;\xe2\x99\xa6\x06diams;\xe2\x99\xa6\x04die" +
";\xc2\xa8\x08digamma;\xcf\x9d\x06disin;\xe2\x8b\xb2\x04div;\xc3\xb7\x06divide\xc3\xb7\x07divide;\xc3\xb7\x0edivideontimes;\xe2\x8b\x87\x07divonx;\xe2\x8b\x87\x05" +
"djcy;\xd1\x92\x07dlcorn;\xe2\x8c\x9e\x07dlcrop;\xe2\x8c\x8d\x07dollar;$\x05dopf;\xf0\x9d\x95\x95\x04dot;\xcb\x99\x06doteq;\xe2\x89\x90\x09doteqdot;\xe2\x89\x91\x09d" +
"otminus;\xe2\x88\xb8\x08dotplus;\xe2\x88\x94\x0adotsquare;\xe2\x8a\xa1\x0fdoublebarwedge;\xe2\x8c\x86\x0adownarrow;\xe2\x86\x93\x0fdowndowna" +
"rrows;\xe2\x87\x8a\x10downharpoonleft;\xe2\x87\x83\x11downharpoonright;\xe2\x87\x82\x09drbkarow;\xe2\xa4\x90\x07drcorn;\xe2\x8c\x9f\x07drcro" +
"p;\xe2\x8c\x8c\x05dscr;\xf0\x9d\x92\xb9\x05dscy;\xd1\x95\x05dsol;\xe2\xa7\xb6\x07dstrok;\xc4\x91\x06dtdot;\xe2\x8b\xb1\x05dtri;\xe2\x96\xbf\x06dtrif;\xe2\x96\xbe\x06duarr;\xe2\x87" +
"\xb5\x06duhar;\xe2\xa5\xaf\x08dwangle;\xe2\xa6\xa6\x05dzcy;\xd1\x9f\x09dzigrarr;\xe2\x9f\xbf\x06eDDot;\xe2\xa9\xb7\x05eDot;\xe2\x89\x91\x06eacute\xc3\xa9\x07eacute;" +
"\xc3\xa9\x07easter;\xe2\xa9\xae\x07ecaron;\xc4\x9b\x05ecir;\xe2\x89\x96\x05ecirc\xc3\xaa\x06ecirc;\xc3\xaa\x07ecolon;\xe2\x89\x95\x04ecy;\xd1\x8d\x05edot;\xc4\x97\x03ee;\xe2" +
"\x85\x87\x06efDot;\xe2\x89\x92\x04efr;\xf0\x9d\x94\xa2\x03eg;\xe2\xaa\x9a\x06egrave\xc3\xa8\x07egrave;\xc3\xa8\x04egs;\xe2\xaa\x96\x07egsdot;\xe2\xaa\x98\x03el;\xe2\xaa\x99\x09elinte" +
"rs;\xe2\x8f\xa7\x04ell;\xe2\x84\x93\x04els;\xe2\xaa\x95\x07elsdot;\xe2\xaa\x97\x06emacr;\xc4\x93\x06empty;\xe2\x88\x85\x09emptyset;\xe2\x88\x85\x07emptyv;\xe2\x88\x85\x07ems" +
"p13;\xe2\x80\x84\x07emsp14;\xe2\x80\x85\x05emsp;\xe2\x80\x83\x04eng;\xc5\x8b\x05ensp;\xe2\x80\x82\x06eogon;\xc4\x99\x05eopf;\xf0\x9d\x95\x96\x05epar;\xe2\x8b\x95\x07eparsl;\xe2" +
"\xa7\xa3\x06eplus;\xe2\xa9\xb1\x05epsi;\xce\xb5\x08epsilon;\xce\xb5\x06epsiv;\xcf\xb5\x07eqcirc;\xe2\x89\x96\x08eqcolon;\xe2\x89\x95\x06eqsim;\xe2\x89\x82\x0beqslan" +
"tgtr;\xe2\xaa\x96\x0ceqslantless;\xe2\xaa\x95\x07equals;=\x07equest;\xe2\x89\x9f\x06equiv;\xe2\x89\xa1\x08equivDD;\xe2\xa9\xb8\x09eqvparsl;\xe2\xa7\xa5\x06" +
"erDot;\xe2\x89\x93\x06erarr;\xe2\xa5\xb1\x05escr;\xe2\x84\xaf\x06esdot;\xe2\x89\x90\x05esim;\xe2\x89\x82\x04eta;\xce\xb7\x03eth\xc3\xb0\x04eth;\xc3\xb0\x04euml\xc3\xab\x05euml;" +
"\xc3\xab\x05euro;\xe2\x82\xac\x05excl;!\x06exist;\xe2\x88\x83\x0cexpectation;\xe2\x84\xb0\x0dexponentiale;\xe2\x85\x87\x0efallingdotseq;\xe2\x89\x92\x04" +
"fcy;\xd1\x84\x07female;\xe2\x99\x80\x07ffilig;\xef\xac\x83\x06fflig;\xef\xac\x80\x07ffllig;\xef\xac\x84\x04ffr;\xf0\x9d\x94\xa3\x06filig;\xef\xac\x81\x06fjlig;fj\x05fl" +
"at;\xe2\x99\xad\x06fllig;\xef\xac\x82\x06fltns;\xe2\x96\xb1\x05fnof;\xc6\x92\x05fopf;\xf0\x9d\x95\x97\x07forall;\xe2\x88\x80\x05fork;\xe2\x8b\x94\x06forkv;\xe2\xab\x99\x09fpart" +
"int;\xe2\xa8\x8d\x06frac12\xc2\xbd\x07frac12;\xc2\xbd\x07frac13;\xe2\x85\x93\x06frac14\xc2\xbc\x07frac14;\xc2\xbc\x07frac15;\xe2\x85\x95\x07frac16;\xe2\x85\x99\x07f" +
"rac18;\xe2\x85\x9b\x07frac23;\xe2\x85\x94\x07frac25;\xe2\x85\x96\x06frac34\xc2\xbe\x07frac34;\xc2\xbe\x07frac35;\xe2\x85\x97\x07frac38;\xe2\x85\x9c\x07frac45;" +
"\xe2\x85\x98\x07frac56;\xe2\x85\x9a\x07frac58;\xe2\x85\x9d\x07frac78;\xe2\x85\x9e\x06frasl;\xe2\x81\x84\x06frown;\xe2\x8c\xa2\x05fscr;\xf0\x9d\x92\xbb\x03gE;\xe2\x89\xa7\x04gEl;\xe2\xaa" +
"\x8c\x07gacute;\xc7\xb5\x06gamma;\xce\xb3\x07gammad;\xcf\x9d\x04gap;\xe2\xaa\x86\x07gbreve;\xc4\x9f\x06gcirc;\xc4\x9d\x04gcy;\xd0\xb3\x05gdot;\xc4\xa1\x03ge;\xe2\x89\xa5\x04" +
"gel;\xe2\x8b\x9b\x04geq;\xe2\x89\xa5\x05geqq;\xe2\x89\xa7\x09geqslant;\xe2\xa9\xbe\x04ges;\xe2\xa9\xbe\x06gescc;\xe2\xaa\xa9\x07gesdot;\xe2\xaa\x80\x08gesdoto;\xe2\xaa\x82\x09g" +
"esdotol;\xe2\xaa\x84\x05gesl;\xe2\x8b\x9b\xef\xb8\x80\x07gesles;\xe2\xaa\x94\x04gfr;\xf0\x9d\x94\xa4\x03gg;\xe2\x89\xab\x04ggg;\xe2\x8b\x99\x06gimel;\xe2\x84\xb7\x05gjcy;\xd1\x93\x03gl;" +
"\xe2\x89\xb7\x04glE;\xe2\xaa\x92\x04gla;\xe2\xaa\xa5\x04glj;\xe2\xaa\xa4\x04gnE;\xe2\x89\xa9\x05gnap;\xe2\xaa\x8a\x09gnapprox;\xe2\xaa\x8a\x04gne;\xe2\xaa\x88\x05gneq;\xe2\xaa\x88\x06gneqq" +
";\xe2\x89\xa9\x06gnsim;\xe2\x8b\xa7\x05gopf;\xf0\x9d\x95\x98\x06grave;`\x05gscr;\xe2\x84\x8a\x05gsim;\xe2\x89\xb3\x06gsime;\xe2\xaa\x8e\x06gsiml;\xe2\xaa\x90\x02gt>\x03gt;>\x05" +
"gtcc;\xe2\xaa\xa7\x06gtcir;\xe2\xa9\xba\x06gtdot;\xe2\x8b\x97\x07gtlPar;\xe2\xa6\x95\x08gtquest;\xe2\xa9\xbc\x0agtrapprox;\xe2\xaa\x86\x07gtrarr;\xe2\xa5\xb8\x07gtr" +
"dot;\xe2\x8b\x97\x0agtreqless;\xe2\x8b\x9b\x0bgtreqqless;\xe2\xaa\x8c\x08gtrless;\xe2\x89\xb7\x07gtrsim;\xe2\x89\xb3\x0agvertneqq;\xe2\x89\xa9\xef\xb8\x80\x05gvn" +
"E;\xe2\x89\xa9\xef\xb8\x80\x05hArr;\xe2\x87\x94\x07hairsp;\xe2\x80\x8a\x05half;\xc2\xbd\x07hamilt;\xe2\x84\x8b\x07hardcy;\xd1\x8a\x05harr;\xe2\x86\x94\x08harrcir;\xe2\xa5\x88\x06h" +
"arrw;\xe2\x86\xad\x05hbar;\xe2\x84\x8f\x06hcirc;\xc4\xa5\x07hearts;\xe2\x99\xa5\x0aheartsuit;\xe2\x99\xa5\x07hellip;\xe2\x80\xa6\x07hercon;\xe2\x8a\xb9\x04hfr;\xf0\x9d" +
"\x94\xa5\x09hksearow;\xe2\xa4\xa5\x09hkswarow;\xe2\xa4\xa6\x06hoarr;\xe2\x87\xbf\x07homtht;\xe2\x88\xbb\x0ehookleftarrow;\xe2\x86\xa9\x0fhookrightarr" +
"ow;\xe2\x86\xaa\x05hopf;\xf0\x9d\x95\x99\x07horbar;\xe2\x80\x95\x05hscr;\xf0\x9d\x92\xbd\x07hslash;\xe2\x84\x8f\x07hstrok;\xc4\xa7\x07hybull;\xe2\x81\x83\x07hyphen;\xe2\x80\x90" +
"\x06iacute\xc3\xad\x07iacute;\xc3\xad\x03ic;\xe2\x81\xa3\x05icirc\xc3\xae\x06icirc;\xc3\xae\x04icy;\xd0\xb8\x05iecy;\xd0\xb5\x05iexcl\xc2\xa1\x06iexcl;\xc2\xa1\x04iff;" +
"\xe2\x87\x94\x04ifr;\xf0\x9d\x94\xa6\x06igrave\xc3\xac\x07igrave;\xc3\xac\x03ii;\xe2\x85\x88\x07iiiint;\xe2\xa8\x8c\x06iiint;\xe2\x88\xad\x07iinfin;\xe2\xa7\x9c\x06iiota;\xe2\x84\xa9" +
"\x06ijlig;\xc4\xb3\x06imacr;\xc4\xab\x06image;\xe2\x84\x91\x09imagline;\xe2\x84\x90\x09imagpart;\xe2\x84\x91\x06imath;\xc4\xb1\x05imof;\xe2\x8a\xb7\x06imped;\xc6" +
"\xb5\x03in;\xe2\x88\x88\x07incare;\xe2\x84\x85\x06infin;\xe2\x88\x9e\x09infintie;\xe2\xa7\x9d\x07inodot;\xc4\xb1\x04int;\xe2\x88\xab\x07intcal;\xe2\x8a\xba\x09integers" +
";\xe2\x84\xa4\x09intercal;\xe2\x8a\xba\x09intlarhk;\xe2\xa8\x97\x08intprod;\xe2\xa8\xbc\x05iocy;\xd1\x91\x06iogon;\xc4\xaf\x05iopf;\xf0\x9d\x95\x9a\x05iota;\xce\xb9\x06ip" +
"rod;\xe2\xa8\xbc\x06iquest\xc2\xbf\x07iquest;\xc2\xbf\x05iscr;\xf0\x9d\x92\xbe\x05isin;\xe2\x88\x88\x06isinE;\xe2\x8b\xb9\x08isindot;\xe2\x8b\xb5\x06isins;\xe2\x8b\xb4\x07is" +
"insv;\xe2\x8b\xb3\x06isinv;\xe2\x88\x88\x03it;\xe2\x81\xa2\x07itilde;\xc4\xa9\x06iukcy;\xd1\x96\x04iuml\xc3\xaf\x05iuml;\xc3\xaf\x06jcirc;\xc4\xb5\x04jcy;\xd0\xb9\x04jfr;" +
"\xf0\x9d\x94\xa7\x06jmath;\xc8\xb7\x05jopf;\xf0\x9d\x95\x9b\x05jscr;\xf0\x9d\x92\xbf\x07jsercy;\xd1\x98\x06jukcy;\xd1\x94\x06kappa;\xce\xba\x07kappav;\xcf\xb0\x07kcedil;\xc4" +
"\xb7\x04kcy;\xd0\xba\x04kfr;\xf0\x9d\x94\xa8\x07kgreen;\xc4\xb8\x05khcy;\xd1\x85\x05kjcy;\xd1\x9c\x05kopf;\xf0\x9d\x95\x9c\x05kscr;\xf0\x9d\x93\x80\x06lAarr;\xe2\x87\x9a\x05lArr;\xe2" +
"\x87\x90\x07lAtail;\xe2\xa4\x9b\x06lBarr;\xe2\xa4\x8e\x03lE;\xe2\x89\xa6\x04lEg;\xe2\xaa\x8b\x05lHar;\xe2\xa5\xa2\x07lacute;\xc4\xba\x09laemptyv;\xe2\xa6\xb4\x07lagran;\xe2\x84" +
"\x92\x07lambda;\xce\xbb\x05lang;\xe2\x9f\xa8\x06langd;\xe2\xa6\x91\x07langle;\xe2\x9f\xa8\x04lap;\xe2\xaa\x85\x05laquo\xc2\xab\x06laquo;\xc2\xab\x05larr;\xe2\x86\x90\x06larr" +
"b;\xe2\x87\xa4\x08larrbfs;\xe2\xa4\x9f\x07larrfs;\xe2\xa4\x9d\x07larrhk;\xe2\x86\xa9\x07larrlp;\xe2\x86\xab\x07larrpl;\xe2\xa4\xb9\x08larrsim;\xe2\xa5\xb3\x07larrtl" +
";\xe2\x86\xa2\x04lat;\xe2\xaa\xab\x07latail;\xe2\xa4\x99\x05late;\xe2\xaa\xad\x06lates;\xe2\xaa\xad\xef\xb8\x80\x06lbarr;\xe2\xa4\x8c\x06lbbrk;\xe2\x9d\xb2\x07lbrace;{\x07lbrac" +
"k;[\x06lbrke;\xe2\xa6\x8b\x08lbrksld;\xe2\xa6\x8f\x08lbrkslu;\xe2\xa6\x8d\x07lcaron;\xc4\xbe\x07lcedil;\xc4\xbc\x06lceil;\xe2\x8c\x88\x05lcub;{\x04lcy;\xd0" +
"\xbb\x05ldca;\xe2\xa4\xb6\x06ldquo;\xe2\x80\x9c\x07ldquor;\xe2\x80\x9e\x08ldrdhar;\xe2\xa5\xa7\x09ldrushar;\xe2\xa5\x8b\x05ldsh;\xe2\x86\xb2\x03le;\xe2\x89\xa4\x0aleftarr" +
"ow;\xe2\x86\x90\x0eleftarrowtail;\xe2\x86\xa2\x10leftharpoondown;\xe2\x86\xbd\x0eleftharpoonup;\xe2\x86\xbc\x0fleftleftarrows;\xe2\x87" +
"\x87\x0fleftrightarrow;\xe2\x86\x94\x10leftrightarrows;\xe2\x87\x86\x12leftrightharpoons;\xe2\x87\x8b\x14leftrightsquigarr" +
"ow;\xe2\x86\xad\x0fleftthreetimes;\xe2\x8b\x8b\x04leg;\xe2\x8b\x9a\x04leq;\xe2\x89\xa4\x05leqq;\xe2\x89\xa6\x09leqslant;\xe2\xa9\xbd\x04les;\xe2\xa9\xbd\x06lescc;\xe2\xaa" +
"\xa8\x07lesdot;\xe2\xa9\xbf\x08lesdoto;\xe2\xaa\x81\x09lesdotor;\xe2\xaa\x83\x05lesg;\xe2\x8b\x9a\xef\xb8\x80\x07lesges;\xe2\xaa\x93\x0blessapprox;\xe2\xaa\x85\x08less" +
"dot;\xe2\x8b\x96\x0alesseqgtr;\xe2\x8b\x9a\x0blesseqqgtr;\xe2\xaa\x8b\x08lessgtr;\xe2\x89\xb6\x08lesssim;\xe2\x89\xb2\x07lfisht;\xe2\xa5\xbc\x07lfloor;\xe2" +
"\x8c\x8a\x04lfr;\xf0\x9d\x94\xa9\x03lg;\xe2\x89\xb6\x04lgE;\xe2\xaa\x91\x06lhard;\xe2\x86\xbd\x06lharu;\xe2\x86\xbc\x07lharul;\xe2\xa5\xaa\x06lhblk;\xe2\x96\x84\x05ljcy;\xd1\x99\x03ll;\xe2" +
"\x89\xaa\x06llarr;\xe2\x87\x87\x09llcorner;\xe2\x8c\x9e\x07llhard;\xe2\xa5\xab\x06lltri;\xe2\x97\xba\x07lmidot;\xc5\x80\x07lmoust;\xe2\x8e\xb0\x0blmoustache;\xe2" +
"\x8e\xb0\x04lnE;\xe2\x89\xa8\x05lnap;\xe2\xaa\x89\x09lnapprox;\xe2\xaa\x89\x04lne;\xe2\xaa\x87\x05lneq;\xe2\xaa\x87\x06lneqq;\xe2\x89\xa8\x06lnsim;\xe2\x8b\xa6\x06loang;\xe2\x9f\xac\x06" +
"loarr;\xe2\x87\xbd\x06lobrk;\xe2\x9f\xa6\x0elongleftarrow;\xe2\x9f\xb5\x13longleftrightarrow;\xe2\x9f\xb7\x0blongmapsto;\xe2\x9f\xbc\x0flong" +
"rightarrow;\xe2\x9f\xb6\x0elooparrowleft;\xe2\x86\xab\x0flooparrowright;\xe2\x86\xac\x06lopar;\xe2\xa6\x85\x05lopf;\xf0\x9d\x95\x9d\x07loplus;\xe2" +
"\xa8\xad\x08lotimes;\xe2\xa8\xb4\x07lowast;\xe2\x88\x97\x07lowbar;_\x04loz;\xe2\x97\x8a\x08lozenge;\xe2\x97\x8a\x05lozf;\xe2\xa7\xab\x05lpar;(\x07lparlt;\xe2\xa6" +
"\x93\x06lrarr;\xe2\x87\x86\x09lrcorner;\xe2\x8c\x9f\x06lrhar;\xe2\x87\x8b\x07lrhard;\xe2\xa5\xad\x04lrm;\xe2\x80\x8e\x06lrtri;\xe2\x8a\xbf\x07lsaquo;\xe2\x80\xb9\x05lscr;" +
"\xf0\x9d\x93\x81\x04lsh;\xe2\x86\xb0\x05lsim;\xe2\x89\xb2\x06lsime;\xe2\xaa\x8d\x06lsimg;\xe2\xaa\x8f\x05lsqb;[\x06lsquo;\xe2\x80\x98\x07lsquor;\xe2\x80\x9a\x07lstrok;\xc5\x82\x02" +
"lt<\x03lt;<\x05ltcc;\xe2\xaa\xa6\x06ltcir;\xe2\xa9\xb9\x06ltdot;\xe2\x8b\x96\x07lthree;\xe2\x8b\x8b\x07ltimes;\xe2\x8b\x89\x07ltlarr;\xe2\xa5\xb6\x08ltquest;\xe2" +
"\xa9\xbb\x07ltrPar;\xe2\xa6\x96\x05ltri;\xe2\x97\x83\x06ltrie;\xe2\x8a\xb4\x06ltrif;\xe2\x97\x82\x09lurdshar;\xe2\xa5\x8a\x08luruhar;\xe2\xa5\xa6\x0alvertneqq;\xe2\x89" +
"\xa8\xef\xb8\x80\x05lvnE;\xe2\x89\xa8\xef\xb8\x80\x06mDDot;\xe2\x88\xba\x04macr\xc2\xaf\x05macr;\xc2\xaf\x05male;\xe2\x99\x82\x05malt;\xe2\x9c\xa0\x08maltese;\xe2\x9c\xa0\x04map;\xe2\x86\xa6\x07" +
"mapsto;\xe2\x86\xa6\x0bmapstodown;\xe2\x86\xa7\x0bmapstoleft;\xe2\x86\xa4\x09mapstoup;\xe2\x86\xa5\x07marker;\xe2\x96\xae\x07mcomma;\xe2\xa8\xa9\x04mcy;" +
"\xd0\xbc\x06mdash;\xe2\x80\x94\x0emeasuredangle;\xe2\x88\xa1\x04mfr;\xf0\x9d\x94\xaa\x04mho;\xe2\x84\xa7\x05micro\xc2\xb5\x06micro;\xc2\xb5\x04mid;\xe2\x88\xa3\x07midast;" +
"*\x07midcir;\xe2\xab\xb0\x06middot\xc2\xb7\x07middot;\xc2\xb7\x06minus;\xe2\x88\x92\x07minusb;\xe2\x8a\x9f\x07minusd;\xe2\x88\xb8\x08minusdu;\xe2\xa8\xaa\x05mlcp" +
";\xe2\xab\x9b\x05mldr;\xe2\x80\xa6\x07mnplus;\xe2\x88\x93\x07models;\xe2\x8a\xa7\x05mopf;\xf0\x9d\x95\x9e\x03mp;\xe2\x88\x93\x05mscr;\xf0\x9d\x93\x82\x07mstpos;\xe2\x88\xbe\x03mu;\xce\xbc\x09" +
"multimap;\xe2\x8a\xb8\x06mumap;\xe2\x8a\xb8\x04nGg;\xe2\x8b\x99\xcc\xb8\x04nGt;\xe2\x89\xab\xe2\x83\x92\x05nGtv;\xe2\x89\xab\xcc\xb8\x0bnLeftarrow;\xe2\x87\x8d\x10nLeftright" +
"arrow;\xe2\x87\x8e\x04nLl;\xe2\x8b\x98\xcc\xb8\x04nLt;\xe2\x89\xaa\xe2\x83\x92\x05nLtv;\xe2\x89\xaa\xcc\xb8\x0cnRightarrow;\xe2\x87\x8f\x07nVDash;\xe2\x8a\xaf\x07nVdash;\xe2\x8a\xae\x06" +
"nabla;\xe2\x88\x87\x07nacute;\xc5\x84\x05nang;\xe2\x88\xa0\xe2\x83\x92\x04nap;\xe2\x89\x89\x05napE;\xe2\xa9\xb0\xcc\xb8\x06napid;\xe2\x89\x8b\xcc\xb8\x06napos;\xc5\x89\x08napprox;" +
"\xe2\x89\x89\x06natur;\xe2\x99\xae\x08natural;\xe2\x99\xae\x09naturals;\xe2\x84\x95\x04nbsp\xc2\xa0\x05nbsp;\xc2\xa0\x06nbump;\xe2\x89\x8e\xcc\xb8\x07nbumpe;\xe2\x89\x8f\xcc\xb8\x05n" +
"cap;\xe2\xa9\x83\x07ncaron;\xc5\x88\x07ncedil;\xc5\x86\x06ncong;\xe2\x89\x87\x09ncongdot;\xe2\xa9\xad\xcc\xb8\x05ncup;\xe2\xa9\x82\x04ncy;\xd0\xbd\x06ndash;\xe2\x80\x93\x03n" +
"e;\xe2\x89\xa0\x06neArr;\xe2\x87\x97\x07nearhk;\xe2\xa4\xa4\x06nearr;\xe2\x86\x97\x08nearrow;\xe2\x86\x97\x06nedot;\xe2\x89\x90\xcc\xb8\x07nequiv;\xe2\x89\xa2\x07nesear;\xe2" +
"\xa4\xa8\x06nesim;\xe2\x89\x82\xcc\xb8\x07nexist;\xe2\x88\x84\x08nexists;\xe2\x88\x84\x04nfr;\xf0\x9d\x94\xab\x04ngE;\xe2\x89\xa7\xcc\xb8\x04nge;\xe2\x89\xb1\x05ngeq;\xe2\x89\xb1\x06ngeqq;" +
"\xe2\x89\xa7\xcc\xb8\x0angeqslant;\xe2\xa9\xbe\xcc\xb8\x05nges;\xe2\xa9\xbe\xcc\xb8\x06ngsim;\xe2\x89\xb5\x04ngt;\xe2\x89\xaf\x05ngtr;\xe2\x89\xaf\x06nhArr;\xe2\x87\x8e\x06nharr;\xe2\x86\xae\x06" +
"nhpar;\xe2\xab\xb2\x03ni;\xe2\x88\x8b\x04nis;\xe2\x8b\xbc\x05nisd;\xe2\x8b\xba\x04niv;\xe2\x88\x8b\x05njcy;\xd1\x9a\x06nlArr;\xe2\x87\x8d\x04nlE;\xe2\x89\xa6\xcc\xb8\x06nlarr;\xe2\x86\x9a\x05" +
"nldr;\xe2\x80\xa5\x04nle;\xe2\x89\xb0\x0bnleftarrow;\xe2\x86\x9a\x10nleftrightarrow;\xe2\x86\xae\x05nleq;\xe2\x89\xb0\x06nleqq;\xe2\x89\xa6\xcc\xb8\x0anleqsla" +
"nt;\xe2\xa9\xbd\xcc\xb8\x05nles;\xe2\xa9\xbd\xcc\xb8\x06nless;\xe2\x89\xae\x06nlsim;\xe2\x89\xb4\x04nlt;\xe2\x89\xae\x06nltri;\xe2\x8b\xaa\x07nltrie;\xe2\x8b\xac\x05nmid;\xe2\x88\xa4\x05no" +
"pf;\xf0\x9d\x95\x9f\x03not\xc2\xac\x04not;\xc2\xac\x06notin;\xe2\x88\x89\x07notinE;\xe2\x8b\xb9\xcc\xb8\x09notindot;\xe2\x8b\xb5\xcc\xb8\x08notinva;\xe2\x88\x89\x08notinvb;\xe2" +
"\x8b\xb7\x08notinvc;\xe2\x8b\xb6\x06notni;\xe2\x88\x8c\x08notniva;\xe2\x88\x8c\x08notnivb;\xe2\x8b\xbe\x08notnivc;\xe2\x8b\xbd\x05npar;\xe2\x88\xa6\x0anparallel;" +
"\xe2\x88\xa6\x07nparsl;\xe2\xab\xbd\xe2\x83\xa5\x06npart;\xe2\x88\x82\xcc\xb8\x08npolint;\xe2\xa8\x94\x04npr;\xe2\x8a\x80\x07nprcue;\xe2\x8b\xa0\x05npre;\xe2\xaa\xaf\xcc\xb8\x06nprec;\xe2\x8a" +
"\x80\x08npreceq;\xe2\xaa\xaf\xcc\xb8\x06nrArr;\xe2\x87\x8f\x06nrarr;\xe2\x86\x9b\x07nrarrc;\xe2\xa4\xb3\xcc\xb8\x07nrarrw;\xe2\x86\x9d\xcc\xb8\x0cnrightarrow;\xe2\x86\x9b\x06nr" +
"tri;\xe2\x8b\xab\x07nrtrie;\xe2\x8b\xad\x04nsc;\xe2\x8a\x81\x07nsccue;\xe2\x8b\xa1\x05nsce;\xe2\xaa\xb0\xcc\xb8\x05nscr;\xf0\x9d\x93\x83\x0anshortmid;\xe2\x88\xa4\x0fnshortp" +
"arallel;\xe2\x88\xa6\x05nsim;\xe2\x89\x81\x06nsime;\xe2\x89\x84\x07nsimeq;\xe2\x89\x84\x06nsmid;\xe2\x88\xa4\x06nspar;\xe2\x88\xa6\x08nsqsube;\xe2\x8b\xa2\x08nsqsup" +
"e;\xe2\x8b\xa3\x05nsub;\xe2\x8a\x84\x06nsubE;\xe2\xab\x85\xcc\xb8\x06nsube;\xe2\x8a\x88\x08nsubset;\xe2\x8a\x82\xe2\x83\x92\x0ansubseteq;\xe2\x8a\x88\x0bnsubseteqq;\xe2\xab\x85" +
"\xcc\xb8\x06nsucc;\xe2\x8a\x81\x08nsucceq;\xe2\xaa\xb0\xcc\xb8\x05nsup;\xe2\x8a\x85\x06nsupE;\xe2\xab\x86\xcc\xb8\x06nsupe;\xe2\x8a\x89\x08nsupset;\xe2\x8a\x83\xe2\x83\x92\x0ansupset" +
"eq;\xe2\x8a\x89\x0bnsupseteqq;\xe2\xab\x86\xcc\xb8\x05ntgl;\xe2\x89\xb9\x06ntilde\xc3\xb1\x07ntilde;\xc3\xb1\x05ntlg;\xe2\x89\xb8\x0entriangleleft;\xe2\x8b\xaa\x10n" +
"trianglelefteq;\xe2\x8b\xac\x0fntriangleright;\xe2\x8b\xab\x11ntrianglerighteq;\xe2\x8b\xad\x03nu;\xce\xbd\x04num;#\x07numero;\xe2\x84" +
"\x96\x06numsp;\xe2\x80\x87\x07nvDash;\xe2\x8a\xad\x07nvHarr;\xe2\xa4\x84\x05nvap;\xe2\x89\x8d\xe2\x83\x92\x07nvdash;\xe2\x8a\xac\x05nvge;\xe2\x89\xa5\xe2\x83\x92\x05nvgt;>\xe2\x83\x92\x08n" +
"vinfin;\xe2\xa7\x9e\x07nvlArr;\xe2\xa4\x82\x05nvle;\xe2\x89\xa4\xe2\x83\x92\x05nvlt;<\xe2\x83\x92\x08nvltrie;\xe2\x8a\xb4\xe2\x83\x92\x07nvrArr;\xe2\xa4\x83\x08nvrtrie;\xe2\x8a" +
"\xb5\xe2\x83\x92\x06nvsim;\xe2\x88\xbc\xe2\x83\x92\x06nwArr;\xe2\x87\x96\x07nwarhk;\xe2\xa4\xa3\x06nwarr;\xe2\x86\x96\x08nwarrow;\xe2\x86\x96\x07nwnear;\xe2\xa4\xa7\x03oS;\xe2\x93\x88\x06o" +
"acute\xc3\xb3\x07oacute;\xc3\xb3\x05oast;\xe2\x8a\x9b\x05ocir;\xe2\x8a\x9a\x05ocirc\xc3\xb4\x06ocirc;\xc3\xb4\x04ocy;\xd0\xbe\x06odash;\xe2\x8a\x9d\x07odblac;\xc5\x91\x05" +
"odiv;\xe2\xa8\xb8\x05odot;\xe2\x8a\x99\x07odsold;\xe2\xa6\xbc\x06oelig;\xc5\x93\x06ofcir;\xe2\xa6\xbf\x04ofr;\xf0\x9d\x94\xac\x05ogon;\xcb\x9b\x06ograve\xc3\xb2\x07ograve" +
";\xc3\xb2\x04ogt;\xe2\xa7\x81\x06ohbar;\xe2\xa6\xb5\x04ohm;\xce\xa9\x05oint;\xe2\x88\xae\x06olarr;\xe2\x86\xba\x06olcir;\xe2\xa6\xbe\x08olcross;\xe2\xa6\xbb\x06oline;\xe2\x80\xbe\x04" +
"olt;\xe2\xa7\x80\x06omacr;\xc5\x8d\x06omega;\xcf\x89\x08omicron;\xce\xbf\x05omid;\xe2\xa6\xb6\x07ominus;\xe2\x8a\x96\x05oopf;\xf0\x9d\x95\xa0\x05opar;\xe2\xa6\xb7\x06oper" +
"p;\xe2\xa6\xb9\x06oplus;\xe2\x8a\x95\x03or;\xe2\x88\xa8\x06orarr;\xe2\x86\xbb\x04ord;\xe2\xa9\x9d\x06order;\xe2\x84\xb4\x08orderof;\xe2\x84\xb4\x04ordf\xc2\xaa\x05ordf;\xc2\xaa\x04or" +
"dm\xc2\xba\x05ordm;\xc2\xba\x07origof;\xe2\x8a\xb6\x05oror;\xe2\xa9\x96\x08orslope;\xe2\xa9\x97\x04orv;\xe2\xa9\x9b\x05oscr;\xe2\x84\xb4\x06oslash\xc3\xb8\x07oslash;\xc3\xb8" +
"\x05osol;\xe2\x8a\x98\x06otilde\xc3\xb5\x07otilde;\xc3\xb5\x07otimes;\xe2\x8a\x97\x09otimesas;\xe2\xa8\xb6\x04ouml\xc3\xb6\x05ouml;\xc3\xb6\x06ovbar;\xe2\x8c\xbd\x04pa" +
"r;\xe2\x88\xa5\x04para\xc2\xb6\x05para;\xc2\xb6\x09parallel;\xe2\x88\xa5\x07parsim;\xe2\xab\xb3\x06parsl;\xe2\xab\xbd\x05part;\xe2\x88\x82\x04pcy;\xd0\xbf\x07percnt;%\x07" +
"period;.\x07permil;\xe2\x80\xb0\x05perp;\xe2\x8a\xa5\x08pertenk;\xe2\x80\xb1\x04pfr;\xf0\x9d\x94\xad\x04phi;\xcf\x86\x05phiv;\xcf\x95\x07phmmat;\xe2\x84\xb3\x06phon" +
"e;\xe2\x98\x8e\x03pi;\xcf\x80\x0apitchfork;\xe2\x8b\x94\x04piv;\xcf\x96\x07planck;\xe2\x84\x8f\x08planckh;\xe2\x84\x8e\x07plankv;\xe2\x84\x8f\x05plus;+\x09plusac" +
"ir;\xe2\xa8\xa3\x06plusb;\xe2\x8a\x9e\x08pluscir;\xe2\xa8\xa2\x07plusdo;\xe2\x88\x94\x07plusdu;\xe2\xa8\xa5\x06pluse;\xe2\xa9\xb2\x06plusmn\xc2\xb1\x07plusmn;\xc2\xb1\x08" +
"plussim;\xe2\xa8\xa6\x08plustwo;\xe2\xa8\xa7\x03pm;\xc2\xb1\x09pointint;\xe2\xa8\x95\x05popf;\xf0\x9d\x95\xa1\x05pound\xc2\xa3\x06pound;\xc2\xa3\x03pr;\xe2\x89\xba\x04prE" +
";\xe2\xaa\xb3\x05prap;\xe2\xaa\xb7\x06prcue;\xe2\x89\xbc\x04pre;\xe2\xaa\xaf\x05prec;\xe2\x89\xba\x0bprecapprox;\xe2\xaa\xb7\x0cpreccurlyeq;\xe2\x89\xbc\x07preceq;\xe2" +
"\xaa\xaf\x0cprecnapprox;\xe2\xaa\xb9\x09precneqq;\xe2\xaa\xb5\x09precnsim;\xe2\x8b\xa8\x08precsim;\xe2\x89\xbe\x06prime;\xe2\x80\xb2\x07primes;\xe2\x84\x99\x05pr" +
"nE;\xe2\xaa\xb5\x06prnap;\xe2\xaa\xb9\x07prnsim;\xe2\x8b\xa8\x05prod;\xe2\x88\x8f\x09profalar;\xe2\x8c\xae\x09profline;\xe2\x8c\x92\x09profsurf;\xe2\x8c\x93\x05prop" +
";\xe2\x88\x9d\x07propto;\xe2\x88\x9d\x06prsim;\xe2\x89\xbe\x07prurel;\xe2\x8a\xb0\x05pscr;\xf0\x9d\x93\x85\x04psi;\xcf\x88\x07puncsp;\xe2\x80\x88\x04qfr;\xf0\x9d\x94\xae\x05qint;\xe2" +
"\xa8\x8c\x05qopf;\xf0\x9d\x95\xa2\x07qprime;\xe2\x81\x97\x05qscr;\xf0\x9d\x93\x86\x0cquaternions;\xe2\x84\x8d\x08quatint;\xe2\xa8\x96\x06quest;?\x08questeq;\xe2\x89" +
"\x9f\x04quot\x22\x05quot;\x22\x06rAarr;\xe2\x87\x9b\x05rArr;\xe2\x87\x92\x07rAtail;\xe2\xa4\x9c\x06rBarr;\xe2\xa4\x8f\x05rHar;\xe2\xa5\xa4\x05race;\xe2\x88\xbd\xcc\xb1\x07racut" +
"e;\xc5\x95\x06radic;\xe2\x88\x9a\x09raemptyv;\xe2\xa6\xb3\x05rang;\xe2\x9f\xa9\x06rangd;\xe2\xa6\x92\x06range;\xe2\xa6\xa5\x07rangle;\xe2\x9f\xa9\x05raquo\xc2\xbb\x06raqu" +
"o;\xc2\xbb\x05rarr;\xe2\x86\x92\x07rarrap;\xe2\xa5\xb5\x06rarrb;\xe2\x87\xa5\x08rarrbfs;\xe2\xa4\xa0\x06rarrc;\xe2\xa4\xb3\x07rarrfs;\xe2\xa4\x9e\x07rarrhk;\xe2\x86\xaa\x07r" +
"arrlp;\xe2\x86\xac\x07rarrpl;\xe2\xa5\x85\x08rarrsim;\xe2\xa5\xb4\x07rarrtl;\xe2\x86\xa3\x06rarrw;\xe2\x86\x9d\x07ratail;\xe2\xa4\x9a\x06ratio;\xe2\x88\xb6\x0aratio" +
"nals;\xe2\x84\x9a\x06rbarr;\xe2\xa4\x8d\x06rbbrk;\xe2\x9d\xb3\x07rbrace;}\x07rbrack;]\x06rbrke;\xe2\xa6\x8c\x08rbrksld;\xe2\xa6\x8e\x08rbrkslu;\xe2\xa6\x90" +
"\x07rcaron;\xc5\x99\x07rcedil;\xc5\x97\x06rceil;\xe2\x8c\x89\x05rcub;}\x04rcy;\xd1\x80\x05rdca;\xe2\xa4\xb7\x08rdldhar;\xe2\xa5\xa9\x06rdquo;\xe2\x80\x9d\x07rdqu" +
"or;\xe2\x80\x9d\x05rdsh;\xe2\x86\xb3\x05real;\xe2\x84\x9c\x08realine;\xe2\x84\x9b\x09realpart;\xe2\x84\x9c\x06reals;\xe2\x84\x9d\x05rect;\xe2\x96\xad\x03reg\xc2\xae\x04reg;\xc2" +
"\xae\x07rfisht;\xe2\xa5\xbd\x07rfloor;\xe2\x8c\x8b\x04rfr;\xf0\x9d\x94\xaf\x06rhard;\xe2\x87\x81\x06rharu;\xe2\x87\x80\x07rharul;\xe2\xa5\xac\x04rho;\xcf\x81\x05rhov;\xcf\xb1\x0br" +
"ightarrow;\xe2\x86\x92\x0frightarrowtail;\xe2\x86\xa3\x11rightharpoondown;\xe2\x87\x81\x0frightharpoonup;\xe2\x87\x80\x10rightle" +
"ftarrows;\xe2\x87\x84\x12rightleftharpoons;\xe2\x87\x8c\x11rightrightarrows;\xe2\x87\x89\x10rightsquigarrow;\xe2\x86\x9d\x10righ" +
"tthreetimes;\xe2\x8b\x8c\x05ring;\xcb\x9a\x0drisingdotseq;\xe2\x89\x93\x06rlarr;\xe2\x87\x84\x06rlhar;\xe2\x87\x8c\x04rlm;\xe2\x80\x8f\x07rmoust;\xe2\x8e\xb1\x0b" +
"rmoustache;\xe2\x8e\xb1\x06rnmid;\xe2\xab\xae\x06roang;\xe2\x9f\xad\x06roarr;\xe2\x87\xbe\x06robrk;\xe2\x9f\xa7\x06ropar;\xe2\xa6\x86\x05ropf;\xf0\x9d\x95\xa3\x07roplu" +
"s;\xe2\xa8\xae\x08rotimes;\xe2\xa8\xb5\x05rpar;)\x07rpargt;\xe2\xa6\x94\x09rppolint;\xe2\xa8\x92\x06rrarr;\xe2\x87\x89\x07rsaquo;\xe2\x80\xba\x05rscr;\xf0\x9d\x93\x87\x04" +
"rsh;\xe2\x86\xb1\x05rsqb;]\x06rsquo;\xe2\x80\x99\x07rsquor;\xe2\x80\x99\x07rthree;\xe2\x8b\x8c\x07rtimes;\xe2\x8b\x8a\x05rtri;\xe2\x96\xb9\x06rtrie;\xe2\x8a\xb5\x06rtr" +
"if;\xe2\x96\xb8\x09rtriltri;\xe2\xa7\x8e\x08ruluhar;\xe2\xa5\xa8\x03rx;\xe2\x84\x9e\x07sacute;\xc5\x9b\x06sbquo;\xe2\x80\x9a\x03sc;\xe2\x89\xbb\x04scE;\xe2\xaa\xb4\x05scap;\xe2" +
"\xaa\xb8\x07scaron;\xc5\xa1\x06sccue;\xe2\x89\xbd\x04sce;\xe2\xaa\xb0\x07scedil;\xc5\x9f\x06scirc;\xc5\x9d\x05scnE;\xe2\xaa\xb6\x06scnap;\xe2\xaa\xba\x07scnsim;\xe2\x8b\xa9\x09" +
"scpolint;\xe2\xa8\x93\x06scsim;\xe2\x89\xbf\x04scy;\xd1\x81\x05sdot;\xe2\x8b\x85\x06sdotb;\xe2\x8a\xa1\x06sdote;\xe2\xa9\xa6\x06seArr;\xe2\x87\x98\x07searhk;\xe2\xa4\xa5\x06" +
"searr;\xe2\x86\x98\x08searrow;\xe2\x86\x98\x04sect\xc2\xa7\x05sect;\xc2\xa7\x05semi;;\x07seswar;\xe2\xa4\xa9\x09setminus;\xe2\x88\x96\x06setmn;\xe2\x88\x96\x05se" +
"xt;\xe2\x9c\xb6\x04sfr;\xf0\x9d\x94\xb0\x07sfrown;\xe2\x8c\xa2\x06sharp;\xe2\x99\xaf\x07shchcy;\xd1\x89\x05shcy;\xd1\x88\x09shortmid;\xe2\x88\xa3\x0eshortparalle" +
"l;\xe2\x88\xa5\x03shy\xc2\xad\x04shy;\xc2\xad\x06sigma;\xcf\x83\x07sigmaf;\xcf\x82\x07sigmav;\xcf\x82\x04sim;\xe2\x88\xbc\x07simdot;\xe2\xa9\xaa\x05sime;\xe2\x89\x83\x06sime" +
"q;\xe2\x89\x83\x05simg;\xe2\xaa\x9e\x06simgE;\xe2\xaa\xa0\x05siml;\xe2\xaa\x9d\x06simlE;\xe2\xaa\x9f\x06simne;\xe2\x89\x86\x08simplus;\xe2\xa8\xa4\x08simrarr;\xe2\xa5\xb2\x06sl" +
"arr;\xe2\x86\x90\x0esmallsetminus;\xe2\x88\x96\x07smashp;\xe2\xa8\xb3\x09smeparsl;\xe2\xa7\xa4\x05smid;\xe2\x88\xa3\x06smile;\xe2\x8c\xa3\x04smt;\xe2\xaa\xaa\x05smt" +
"e;\xe2\xaa\xac\x06smtes;\xe2\xaa\xac\xef\xb8\x80\x07softcy;\xd1\x8c\x04sol;/\x05solb;\xe2\xa7\x84\x07solbar;\xe2\x8c\xbf\x05sopf;\xf0\x9d\x95\xa4\x07spades;\xe2\x99\xa0\x0aspad" +
"esuit;\xe2\x99\xa0\x05spar;\xe2\x88\xa5\x06sqcap;\xe2\x8a\x93\x07sqcaps;\xe2\x8a\x93\xef\xb8\x80\x06sqcup;\xe2\x8a\x94\x07sqcups;\xe2\x8a\x94\xef\xb8\x80\x06sqsub;\xe2\x8a\x8f\x07sqs" +
"ube;\xe2\x8a\x91\x09sqsubset;\xe2\x8a\x8f\x0bsqsubseteq;\xe2\x8a\x91\x06sqsup;\xe2\x8a\x90\x07sqsupe;\xe2\x8a\x92\x09sqsupset;\xe2\x8a\x90\x0bsqsupseteq" +
";\xe2\x8a\x92\x04squ;\xe2\x96\xa1\x07square;\xe2\x96\xa1\x07squarf;\xe2\x96\xaa\x05squf;\xe2\x96\xaa\x06srarr;\xe2\x86\x92\x05sscr;\xf0\x9d\x93\x88\x07ssetmn;\xe2\x88\x96\x07ssmil" +
"e;\xe2\x8c\xa3\x07sstarf;\xe2\x8b\x86\x05star;\xe2\x98\x86\x06starf;\xe2\x98\x85\x10straightepsilon;\xcf\xb5\x0cstraightphi;\xcf\x95\x06strns;\xc2\xaf\x04s" +
"ub;\xe2\x8a\x82\x05subE;\xe2\xab\x85\x07subdot;\xe2\xaa\xbd\x05sube;\xe2\x8a\x86\x08subedot;\xe2\xab\x83\x08submult;\xe2\xab\x81\x06subnE;\xe2\xab\x8b\x06subne;\xe2\x8a\x8a\x08" +
"subplus;\xe2\xaa\xbf\x08subrarr;\xe2\xa5\xb9\x07subset;\xe2\x8a\x82\x09subseteq;\xe2\x8a\x86\x0asubseteqq;\xe2\xab\x85\x0asubsetneq;\xe2\x8a\x8a\x0bsubs" +
"etneqq;\xe2\xab\x8b\x07subsim;\xe2\xab\x87\x07subsub;\xe2\xab\x95\x07subsup;\xe2\xab\x93\x05succ;\xe2\x89\xbb\x0bsuccapprox;\xe2\xaa\xb8\x0csucccurlyeq;" +
"\xe2\x89\xbd\x07succeq;\xe2\xaa\xb0\x0csuccnapprox;\xe2\xaa\xba\x09succneqq;\xe2\xaa\xb6\x09succnsim;\xe2\x8b\xa9\x08succsim;\xe2\x89\xbf\x04sum;\xe2\x88\x91\x05sun" +
"g;\xe2\x99\xaa\x04sup1\xc2\xb9\x05sup1;\xc2\xb9\x04sup2\xc2\xb2\x05sup2;\xc2\xb2\x04sup3\xc2\xb3\x05sup3;\xc2\xb3\x04sup;\xe2\x8a\x83\x05supE;\xe2\xab\x86\x07supdot;\xe2\xaa\xbe\x08s" +
"updsub;\xe2\xab\x98\x05supe;\xe2\x8a\x87\x08supedot;\xe2\xab\x84\x08suphsol;\xe2\x9f\x89\x08suphsub;\xe2\xab\x97\x08suplarr;\xe2\xa5\xbb\x08supmult;\xe2\xab\x82\x06" +
"supnE;\xe2\xab\x8c\x06supne;\xe2\x8a\x8b\x08supplus;\xe2\xab\x80\x07supset;\xe2\x8a\x83\x09supseteq;\xe2\x8a\x87\x0asupseteqq;\xe2\xab\x86\x0asupsetneq;" +
"\xe2\x8a\x8b\x0bsupsetneqq;\xe2\xab\x8c\x07supsim;\xe2\xab\x88\x07supsub;\xe2\xab\x94\x07supsup;\xe2\xab\x96\x06swArr;\xe2\x87\x99\x07swarhk;\xe2\xa4\xa6\x06swarr;\xe2" +
"\x86\x99\x08swarrow;\xe2\x86\x99\x07swnwar;\xe2\xa4\xaa\x05szlig\xc3\x9f\x06szlig;\xc3\x9f\x07target;\xe2\x8c\x96\x04tau;\xcf\x84\x05tbrk;\xe2\x8e\xb4\x07tcaron;\xc5\xa5\x07" +
"tcedil;\xc5\xa3\x04tcy;\xd1\x82\x05tdot;\xe2\x83\x9b\x07telrec;\xe2\x8c\x95\x04tfr;\xf0\x9d\x94\xb1\x07there4;\xe2\x88\xb4\x0atherefore;\xe2\x88\xb4\x06theta;\xce\xb8\x09" +
"thetasym;\xcf\x91\x07thetav;\xcf\x91\x0cthickapprox;\xe2\x89\x88\x09thicksim;\xe2\x88\xbc\x07thinsp;\xe2\x80\x89\x06thkap;\xe2\x89\x88\x07thksim;\xe2" +
"\x88\xbc\x05thorn\xc3\xbe\x06thorn;\xc3\xbe\x06tilde;\xcb\x9c\x05times\xc3\x97\x06times;\xc3\x97\x07timesb;\xe2\x8a\xa0\x09timesbar;\xe2\xa8\xb1\x07timesd;\xe2\xa8\xb0" +
"\x05tint;\xe2\x88\xad\x05toea;\xe2\xa4\xa8\x04top;\xe2\x8a\xa4\x07topbot;\xe2\x8c\xb6\x07topcir;\xe2\xab\xb1\x05topf;\xf0\x9d\x95\xa5\x08topfork;\xe2\xab\x9a\x05tosa;\xe2\xa4\xa9\x07" +
"tprime;\xe2\x80\xb4\x06trade;\xe2\x84\xa2\x09triangle;\xe2\x96\xb5\x0dtriangledown;\xe2\x96\xbf\x0dtriangleleft;\xe2\x97\x83\x0ftriangleleft" +
"eq;\xe2\x8a\xb4\x0atriangleq;\xe2\x89\x9c\x0etriangleright;\xe2\x96\xb9\x10trianglerighteq;\xe2\x8a\xb5\x07tridot;\xe2\x97\xac\x05trie;\xe2\x89\x9c\x09t" +
"riminus;\xe2\xa8\xba\x08triplus;\xe2\xa8\xb9\x06trisb;\xe2\xa7\x8d\x08tritime;\xe2\xa8\xbb\x09trpezium;\xe2\x8f\xa2\x05tscr;\xf0\x9d\x93\x89\x05tscy;\xd1\x86\x06tsh" +
"cy;\xd1\x9b\x07tstrok;\xc5\xa7\x06twixt;\xe2\x89\xac\x11twoheadleftarrow;\xe2\x86\x9e\x12twoheadrightarrow;\xe2\x86\xa0\x05uArr;\xe2\x87\x91\x05uH" +
"ar;\xe2\xa5\xa3\x06uacute\xc3\xba\x07uacute;\xc3\xba\x05uarr;\xe2\x86\x91\x06ubrcy;\xd1\x9e\x07ubreve;\xc5\xad\x05ucirc\xc3\xbb\x06ucirc;\xc3\xbb\x04ucy;\xd1\x83\x06ud" +
"arr;\xe2\x87\x85\x07udblac;\xc5\xb1\x06udhar;\xe2\xa5\xae\x07ufisht;\xe2\xa5\xbe\x04ufr;\xf0\x9d\x94\xb2\x06ugrave\xc3\xb9\x07ugrave;\xc3\xb9\x06uharl;\xe2\x86\xbf\x06uha" +
"rr;\xe2\x86\xbe\x06uhblk;\xe2\x96\x80\x07ulcorn;\xe2\x8c\x9c\x09ulcorner;\xe2\x8c\x9c\x07ulcrop;\xe2\x8c\x8f\x06ultri;\xe2\x97\xb8\x06umacr;\xc5\xab\x03uml\xc2\xa8\x04uml" +
";\xc2\xa8\x06uogon;\xc5\xb3\x05uopf;\xf0\x9d\x95\xa6\x08uparrow;\xe2\x86\x91\x0cupdownarrow;\xe2\x86\x95\x0eupharpoonleft;\xe2\x86\xbf\x0fupharpoonri" +
"ght;\xe2\x86\xbe\x06uplus;\xe2\x8a\x8e\x05upsi;\xcf\x85\x06upsih;\xcf\x92\x08upsilon;\xcf\x85\x0bupuparrows;\xe2\x87\x88\x07urcorn;\xe2\x8c\x9d\x09urcorner" +
";\xe2\x8c\x9d\x07urcrop;\xe2\x8c\x8e\x06uring;\xc5\xaf\x06urtri;\xe2\x97\xb9\x05uscr;\xf0\x9d\x93\x8a\x06utdot;\xe2\x8b\xb0\x07utilde;\xc5\xa9\x05utri;\xe2\x96\xb5\x06utrif;" +
"\xe2\x96\xb4\x06uuarr;\xe2\x87\x88\x04uuml\xc3\xbc\x05uuml;\xc3\xbc\x08uwangle;\xe2\xa6\xa7\x05vArr;\xe2\x87\x95\x05vBar;\xe2\xab\xa8\x06vBarv;\xe2\xab\xa9\x06vDash;\xe2\x8a\xa8\x07v" +
"angrt;\xe2\xa6\x9c\x0bvarepsilon;\xcf\xb5\x09varkappa;\xcf\xb0\x0bvarnothing;\xe2\x88\x85\x07varphi;\xcf\x95\x06varpi;\xcf\x96\x0avarpropto;" +
"\xe2\x88\x9d\x05varr;\xe2\x86\x95\x07varrho;\xcf\xb1\x09varsigma;\xcf\x82\x0dvarsubsetneq;\xe2\x8a\x8a\xef\xb8\x80\x0evarsubsetneqq;\xe2\xab\x8b\xef\xb8\x80\x0dvars" +
"upsetneq;\xe2\x8a\x8b\xef\xb8\x80\x0evarsupsetneqq;\xe2\xab\x8c\xef\xb8\x80\x09vartheta;\xcf\x91\x10vartriangleleft;\xe2\x8a\xb2\x11vartriangle" +
"right;\xe2\x8a\xb3\x04vcy;\xd0\xb2\x06vdash;\xe2\x8a\xa2\x04vee;\xe2\x88\xa8\x07veebar;\xe2\x8a\xbb\x06veeeq;\xe2\x89\x9a\x07vellip;\xe2\x8b\xae\x07verbar;|\x05vert" +
";|\x04vfr;\xf0\x9d\x94\xb3\x06vltri;\xe2\x8a\xb2\x06vnsub;\xe2\x8a\x82\xe2\x83\x92\x06vnsup;\xe2\x8a\x83\xe2\x83\x92\x05vopf;\xf0\x9d\x95\xa7\x06vprop;\xe2\x88\x9d\x06vrtri;\xe2\x8a\xb3\x05vs" +
"cr;\xf0\x9d\x93\x8b\x07vsubnE;\xe2\xab\x8b\xef\xb8\x80\x07vsubne;\xe2\x8a\x8a\xef\xb8\x80\x07vsupnE;\xe2\xab\x8c\xef\xb8\x80\x07vsupne;\xe2\x8a\x8b\xef\xb8\x80\x08vzigzag;\xe2\xa6\x9a\x06wcir" +
"c;\xc5\xb5\x07wedbar;\xe2\xa9\x9f\x06wedge;\xe2\x88\xa7\x07wedgeq;\xe2\x89\x99\x07weierp;\xe2\x84\x98\x04wfr;\xf0\x9d\x94\xb4\x05wopf;\xf0\x9d\x95\xa8\x03wp;\xe2\x84\x98\x03wr;\xe2\x89\x80" +
"\x07wreath;\xe2\x89\x80\x05wscr;\xf0\x9d\x93\x8c\x05xcap;\xe2\x8b\x82\x06xcirc;\xe2\x97\xaf\x05xcup;\xe2\x8b\x83\x06xdtri;\xe2\x96\xbd\x04xfr;\xf0\x9d\x94\xb5\x06xhArr;\xe2\x9f\xba\x06x" +
"harr;\xe2\x9f\xb7\x03xi;\xce\xbe\x06xlArr;\xe2\x9f\xb8\x06xlarr;\xe2\x9f\xb5\x05xmap;\xe2\x9f\xbc\x05xnis;\xe2\x8b\xbb\x06xodot;\xe2\xa8\x80\x05xopf;\xf0\x9d\x95\xa9\x07xoplus;" +
"\xe2\xa8\x81\x07xotime;\xe2\xa8\x82\x06xrArr;\xe2\x9f\xb9\x06xrarr;\xe2\x9f\xb6\x05xscr;\xf0\x9d\x93\x8d\x07xsqcup;\xe2\xa8\x86\x07xuplus;\xe2\xa8\x84\x06xutri;\xe2\x96\xb3\x05xve" +
"e;\xe2\x8b\x81\x07xwedge;\xe2\x8b\x80\x06yacute\xc3\xbd\x07yacute;\xc3\xbd\x05yacy;\xd1\x8f\x06ycirc;\xc5\xb7\x04ycy;\xd1\x8b\x03yen\xc2\xa5\x04yen;\xc2\xa5\x04yfr;\xf0\x9d\x94" +
"\xb6\x05yicy;\xd1\x97\x05yopf;\xf0\x9d\x95\xaa\x05yscr;\xf0\x9d\x93\x8e\x05yucy;\xd1\x8e\x04yuml\xc3\xbf\x05yuml;\xc3\xbf\x07zacute;\xc5\xba\x07zcaron;\xc5\xbe\x04zcy;\xd0\xb7\x05" +
"zdot;\xc5\xbc\x07zeetrf;\xe2\x84\xa8\x05zeta;\xce\xb6\x04zfr;\xf0\x9d\x94\xb7\x05zhcy;\xd0\xb6\x08zigrarr;\xe2\x87\x9d\x05zopf;\xf0\x9d\x95\xab\x05zscr;\xf0\x9d\x93\x8f\x04zwj;" +
"\xe2\x80\x8d\x05zwnj;\xe2\x80\x8c"
@(rodata)
entity_offsets := [ENTITY_COUNT + 1]u16{
0, 8, 17, 22, 28, 37, 47, 57, 65, 74, 81, 90, 99, 109, 118, 127,
135, 144, 154, 172, 180, 189, 199, 210, 219, 229, 236, 244, 258, 267, 278, 285,
297, 312, 320, 329, 339, 348, 357, 368, 376, 383, 391, 401, 409, 434, 446, 456,
465, 475, 484, 496, 504, 515, 528, 536, 543, 557, 573, 588, 604, 633, 659, 679,
689, 700, 714, 725, 745, 754, 768, 804, 814, 824, 832, 843, 850, 863, 871, 879,
887, 898, 907, 917, 927, 934, 942, 951, 960, 980, 998, 1024, 1043, 1063, 1075, 1093,
1103, 1110, 1121, 1134, 1160, 1173, 1193, 1213, 1238, 1256, 1280, 1309, 1334, 1355, 1374, 1392,
1414, 1436, 1450, 1467, 1488, 1501, 1525, 1547, 1566, 1588, 1611, 1631, 1654, 1666, 1683, 1697,
1707, 1717, 1724, 1730, 1737, 1746, 1756, 1766, 1774, 1783, 1790, 1798, 1807, 1816, 1826, 1838,
1847, 1868, 1893, 1902, 1912, 1923, 1933, 1948, 1964, 1973, 1982, 1989, 1996, 2004, 2015, 2032,
2039, 2048, 2070, 2096, 2106, 2117, 2132, 2141, 2149, 2153, 2158, 2167, 2177, 2187, 2197, 2206,
2213, 2221, 2230, 2237, 2247, 2264, 2285, 2306, 2325, 2341, 2363, 2380, 2390, 2397, 2407, 2416,
2422, 2431, 2439, 2456, 2465, 2484, 2493, 2503, 2520, 2534, 2542, 2551, 2559, 2568, 2578, 2586,
2595, 2602, 2610, 2618, 2627, 2637, 2644, 2653, 2668, 2680, 2688, 2701, 2718, 2737, 2756, 2765,
2775, 2783, 2792, 2802, 2811, 2818, 2826, 2835, 2842, 2851, 2861, 2871, 2881, 2890, 2898, 2906,
2915, 2925, 2932, 2941, 2951, 2961, 2969, 2973, 2978, 2988, 2998, 3007, 3022, 3031, 3041, 3051,
3058, 3079, 3093, 3110, 3134, 3150, 3172, 3194, 3213, 3235, 3249, 3268, 3288, 3300, 3317, 3335,
3352, 3372, 3394, 3415, 3435, 3452, 3472, 3487, 3505, 3519, 3538, 3559, 3577, 3593, 3606, 3625,
3639, 3648, 3655, 3670, 3680, 3698, 3721, 3740, 3758, 3781, 3800, 3810, 3829, 3849, 3858, 3866,
3876, 3883, 3891, 3898, 3914, 3928, 3937, 3951, 3961, 3970, 3976, 3984, 3994, 4004, 4014, 4021,
4045, 4068, 4090, 4116, 4141, 4160, 4170, 4179, 4191, 4211, 4220, 4228, 4245, 4259, 4284, 4299,
4312, 4332, 4346, 4361, 4381, 4407, 4431, 4450, 4477, 4497, 4519, 4538, 4558, 4583, 4608, 4620,
4637, 4656, 4674, 4698, 4715, 4745, 4769, 4785, 4808, 4834, 4856, 4877, 4903, 4929, 4951, 4976,
5000, 5027, 5044, 5063, 5079, 5102, 5128, 5151, 5170, 5191, 5204, 5222, 5244, 5262, 5281, 5291,
5300, 5310, 5316, 5325, 5334, 5344, 5352, 5361, 5368, 5378, 5387, 5396, 5406, 5415, 5424, 5435,
5445, 5470, 5489, 5496, 5506, 5515, 5525, 5534, 5544, 5555, 5562, 5570, 5582, 5596, 5612, 5632,
5645, 5652, 5661, 5668, 5674, 5687, 5705, 5714, 5721, 5734, 5752, 5775, 5793, 5803, 5815, 5830,
5847, 5857, 5864, 5870, 5877, 5886, 5895, 5905, 5915, 5921, 5928, 5938, 5947, 5956, 5967, 5977,
5987, 5994, 6001, 6020, 6043, 6068, 6076, 6083, 6105, 6120, 6138, 6162, 6179, 6202, 6225, 6245,
6268, 6283, 6296, 6314, 6333, 6351, 6372, 6395, 6417, 6438, 6456, 6477, 6493, 6512, 6527, 6536,
6553, 6569, 6578, 6586, 6602, 6612, 6620, 6630, 6640, 6647, 6657, 6667, 6676, 6683, 6692, 6711,
6730, 6750, 6767, 6776, 6792, 6802, 6811, 6822, 6845, 6862, 6884, 6903, 6927, 6943, 6953, 6962,
6970, 6981, 6997, 7010, 7028, 7051, 7069, 7082, 7090, 7098, 7111, 7129, 7140, 7148, 7157, 7167,
7176, 7184, 7190, 7197, 7207, 7217, 7224, 7233, 7247, 7256, 7274, 7288, 7298, 7313, 7332, 7347,
7357, 7371, 7381, 7391, 7400, 7410, 7419, 7432, 7441, 7451, 7459, 7468, 7475, 7485, 7494, 7503,
7513, 7522, 7533, 7548, 7565, 7586, 7596, 7610, 7619, 7629, 7641, 7656, 7677, 7693, 7711, 7721,
7736, 7748, 7764, 7783, 7803, 7811, 7822, 7831, 7841, 7851, 7858, 7866, 7876, 7885, 7892, 7902,
7913, 7921, 7932, 7941, 7957, 7972, 7994, 8012, 8030, 8039, 8049, 8059, 8070, 8079, 8089, 8098,
8108, 8118, 8127, 8133, 8143, 8153, 8161, 8169, 8177, 8186, 8196, 8205, 8212, 8221, 8231, 8241,
8249, 8257, 8267, 8277, 8284, 8292, 8311, 8319, 8327, 8336, 8346, 8355, 8365, 8375, 8382, 8392,
8400, 8408, 8417, 8425, 8434, 8441, 8449, 8458, 8465, 8474, 8483, 8493, 8505, 8515, 8524, 8533,
8543, 8548, 8554, 8562, 8573, 8582, 8595, 8604, 8612, 8621, 8631, 8642, 8655, 8668, 8681, 8694,
8707, 8720, 8733, 8746, 8756, 8768, 8781, 8792, 8801, 8813, 8822, 8832, 8839, 8847, 8858, 8866,
8875, 8882, 8893, 8906, 8914, 8923, 8933, 8939, 8949, 8961, 8970, 8980, 8987, 8995, 9008, 9018,
9027, 9040, 9055, 9069, 9081, 9095, 9106, 9117, 9130, 9139, 9152, 9162, 9169, 9179, 9190, 9202,
9214, 9223, 9234, 9242, 9251, 9263, 9272, 9283, 9295, 9306, 9318, 9331, 9345, 9358, 9370, 9390,
9408, 9421, 9432, 9445, 9456, 9473, 9489, 9507, 9529, 9551, 9574, 9584, 9594, 9604, 9614, 9624,
9633, 9648, 9657, 9667, 9675, 9686, 9697, 9707, 9717, 9727, 9737, 9746, 9756, 9766, 9776, 9786,
9796, 9806, 9816, 9826, 9835, 9845, 9855, 9865, 9875, 9885, 9895, 9906, 9916, 9926, 9936, 9946,
9955, 9965, 9975, 9985, 9995, 10008, 10020, 10033, 10043, 10053, 10063, 10073, 10082, 10092, 10102, 10112,
10122, 10132, 10142, 10153, 10162, 10171, 10181, 10191, 10201, 10210, 10220, 10227, 10237, 10250, 10259, 10270,
10279, 10289, 10299, 10310, 10320, 10328, 10339, 10352, 10363, 10374, 10385, 10397, 10407, 10416, 10426, 10436,
10445, 10455, 10464, 10474, 10486, 10494, 10502, 10511, 10523, 10530, 10538, 10551, 10560, 10568, 10578, 10592,
10599, 10607, 10616, 10624, 10635, 10655, 10676, 10688, 10701, 10716, 10732, 10748, 10757, 10770, 10781, 10793,
10803, 10816, 10824, 10835, 10847, 10855, 10864, 10873, 10884, 10899, 10913, 10922, 10934, 10945, 10955, 10966,
10973, 10981, 10992, 11002, 11012, 11022, 11031, 11041, 11050, 11060, 11070, 11082, 11094, 11104, 11114, 11125,
11137, 11145, 11158, 11169, 11180, 11191, 11201, 11213, 11224, 11236, 11252, 11268, 11281, 11296, 11305, 11315,
11334, 11354, 11364, 11374, 11387, 11397, 11408, 11417, 11426, 11437, 11448, 11457, 11466, 11476, 11488, 11497,
11507, 11514, 11521, 11533, 11543, 11555, 11561, 11568, 11577, 11589, 11600, 11609, 11619, 11629, 11638, 11650,
11666, 11676, 11683, 11694, 11704, 11711, 11720, 11730, 11748, 11759, 11767, 11778, 11789, 11798, 11808, 11815,
11825, 11838, 11851, 11863, 11877, 11896, 11910, 11929, 11949, 11970, 11983, 11994, 12005, 12015, 12023, 12032,
12042, 12052, 12061, 12071, 12081, 12091, 12103, 12111, 12124, 12134, 12143, 12152, 12162, 12173, 12183, 12192,
12200, 12209, 12220, 12227, 12235, 12242, 12252, 12261, 12268, 12277, 12287, 12295, 12306, 12313, 12326, 12334,
12342, 12353, 12362, 12372, 12385, 12396, 12407, 12418, 12427, 12434, 12443, 12452, 12462, 12471, 12482, 12492,
12500, 12511, 12520, 12531, 12543, 12553, 12568, 12584, 12593, 12604, 12614, 12626, 12639, 12649, 12659, 12668,
12678, 12687, 12694, 12700, 12707, 12714, 12722, 12731, 12738, 12748, 12764, 12781, 12799, 12806, 12817, 12828,
12838, 12849, 12858, 12868, 12877, 12886, 12896, 12906, 12914, 12924, 12935, 12944, 12954, 12967, 12976, 12986,
12997, 13006, 13016, 13027, 13038, 13049, 13060, 13071, 13080, 13090, 13101, 13112, 13123, 13134, 13145, 13156,
13166, 13176, 13186, 13193, 13201, 13211, 13220, 13230, 13238, 13248, 13257, 13264, 13272, 13279, 13287, 13295,
13304, 13317, 13325, 13335, 13346, 13358, 13371, 13383, 13394, 13403, 13410, 13418, 13428, 13436, 13443, 13451,
13459, 13467, 13475, 13484, 13497, 13505, 13514, 13524, 13534, 13544, 13552, 13561, 13570, 13580, 13590, 13594,
13599, 13608, 13618, 13628, 13639, 13651, 13665, 13676, 13687, 13701, 13716, 13728, 13739, 13756, 13768, 13777,
13788, 13796, 13807, 13817, 13826, 13838, 13848, 13857, 13866, 13877, 13891, 13902, 13913, 13922, 13935, 13948,
13958, 13969, 13987, 14006, 14016, 14027, 14037, 14048, 14058, 14069, 14080, 14089, 14099, 14106, 14114, 14123,
14130, 14138, 14146, 14155, 14163, 14172, 14181, 14191, 14198, 14209, 14219, 14230, 14240, 14249, 14258, 14268,
14281, 14294, 14303, 14312, 14321, 14328, 14339, 14349, 14362, 14372, 14380, 14391, 14404, 14417, 14430, 14442,
14450, 14459, 14469, 14477, 14487, 14496, 14506, 14516, 14525, 14535, 14547, 14557, 14568, 14578, 14585, 14595,
14604, 14611, 14619, 14628, 14635, 14644, 14653, 14663, 14673, 14683, 14692, 14701, 14711, 14721, 14728, 14737,
14747, 14755, 14763, 14773, 14783, 14793, 14802, 14813, 14823, 14830, 14838, 14847, 14857, 14870, 14881, 14891,
14900, 14910, 14921, 14929, 14937, 14946, 14955, 14965, 14977, 14988, 14999, 15010, 15021, 15033, 15044, 15052,
15063, 15072, 15085, 15095, 15105, 15114, 15123, 15133, 15145, 15157, 15167, 15177, 15187, 15194, 15201, 15210,
15220, 15231, 15243, 15256, 15265, 15272, 15286, 15304, 15324, 15342, 15361, 15380, 15400, 15422, 15446, 15465,
15473, 15481, 15490, 15503, 15511, 15521, 15532, 15544, 15557, 15569, 15580, 15595, 15607, 15621, 15636, 15648,
15660, 15671, 15682, 15691, 15698, 15706, 15716, 15726, 15737, 15747, 15755, 15762, 15772, 15785, 15796, 15806,
15816, 15827, 15842, 15850, 15859, 15872, 15880, 15889, 15899, 15909, 15919, 15929, 15939, 15957, 15980, 15995,
16014, 16032, 16051, 16061, 16071, 16082, 16094, 16105, 16114, 16122, 16134, 16143, 16150, 16161, 16171, 16184,
16194, 16205, 16213, 16223, 16234, 16244, 16252, 16261, 16271, 16281, 16288, 16298, 16309, 16319, 16323, 16328,
16337, 16347, 16357, 16368, 16379, 16390, 16402, 16413, 16422, 16432, 16442, 16455, 16467, 16484, 16496, 16506,
16513, 16521, 16530, 16539, 16551, 16559, 16570, 16585, 16600, 16613, 16624, 16635, 16642, 16652, 16670, 16679,
16687, 16695, 16704, 16712, 16721, 16732, 16741, 16751, 16761, 16772, 16783, 16795, 16804, 16813, 16824, 16835,
16845, 16852, 16862, 16873, 16879, 16892, 16902, 16912, 16923, 16934, 16949, 16969, 16979, 16990, 17001, 17017,
17028, 17039, 17049, 17059, 17071, 17079, 17090, 17102, 17111, 17123, 17133, 17145, 17158, 17165, 17173, 17185,
17198, 17207, 17217, 17227, 17237, 17252, 17261, 17268, 17278, 17285, 17295, 17306, 17316, 17328, 17340, 17351,
17362, 17374, 17385, 17397, 17406, 17416, 17424, 17433, 17445, 17461, 17472, 17482, 17490, 17499, 17509, 17519,
17529, 17536, 17544, 17553, 17561, 17569, 17579, 17589, 17599, 17608, 17616, 17631, 17651, 17660, 17672, 17688,
17699, 17709, 17719, 17727, 17737, 17748, 17757, 17767, 17773, 17780, 17790, 17803, 17818, 17830, 17842, 17854,
17864, 17876, 17888, 17900, 17909, 17923, 17937, 17949, 17961, 17969, 17980, 17991, 18001, 18015, 18025, 18035,
18048, 18061, 18077, 18087, 18098, 18106, 18117, 18128, 18138, 18152, 18171, 18180, 18190, 18201, 18211, 18221,
18233, 18245, 18254, 18266, 18276, 18291, 18305, 18322, 18332, 18346, 18355, 18367, 18377, 18392, 18406, 18423,
18432, 18441, 18451, 18460, 18478, 18498, 18517, 18538, 18544, 18550, 18561, 18571, 18582, 18593, 18605, 18616,
18628, 18638, 18650, 18661, 18673, 18683, 18698, 18709, 18724, 18737, 18747, 18758, 18768, 18780, 18791, 18798,
18807, 18817, 18826, 18835, 18843, 18852, 18859, 18869, 18879, 18888, 18897, 18908, 18917, 18927, 18936, 18944,
18953, 18963, 18971, 18981, 18988, 18997, 19007, 19017, 19029, 19039, 19047, 19056, 19065, 19076, 19085, 19096,
19106, 19115, 19125, 19135, 19142, 19152, 19160, 19170, 19182, 19189, 19197, 19204, 19212, 19223, 19232, 19244,
19252, 19261, 19270, 19280, 19289, 19298, 19308, 19319, 19332, 19339, 19347, 19357, 19365, 19372, 19380, 19393,
19404, 19414, 19423, 19430, 19439, 19448, 19459, 19468, 19480, 19489, 19496, 19504, 19515, 19525, 19531, 19545,
19552, 19563, 19575, 19586, 19593, 19606, 19616, 19628, 19639, 19650, 19660, 19669, 19679, 19691, 19703, 19709,
19722, 19732, 19740, 19749, 19756, 19764, 19773, 19783, 19791, 19800, 19815, 19831, 19842, 19858, 19871, 19884,
19896, 19906, 19917, 19926, 19936, 19947, 19956, 19969, 19982, 19995, 20004, 20015, 20025, 20036, 20046, 20053,
20064, 20073, 20082, 20092, 20103, 20113, 20129, 20141, 20149, 20161, 20167, 20174, 20184, 20193, 20204, 20214,
20223, 20234, 20244, 20254, 20267, 20276, 20286, 20296, 20307, 20315, 20324, 20333, 20344, 20354, 20366, 20376,
20387, 20398, 20409, 20420, 20432, 20443, 20453, 20464, 20474, 20488, 20498, 20508, 20517, 20526, 20536, 20548,
20560, 20570, 20580, 20590, 20597, 20604, 20613, 20625, 20635, 20646, 20655, 20664, 20676, 20689, 20699, 20708,
20714, 20721, 20732, 20743, 20752, 20762, 20772, 20783, 20790, 20798, 20813, 20832, 20853, 20872, 20892, 20914,
20935, 20955, 20975, 20983, 21000, 21010, 21020, 21028, 21039, 21054, 21064, 21074, 21084, 21094, 21104, 21114,
21125, 21137, 21144, 21155, 21168, 21178, 21189, 21199, 21207, 21214, 21224, 21235, 21246, 21257, 21266, 21276,
21286, 21299, 21311, 21318, 21328, 21338, 21345, 21353, 21362, 21372, 21382, 21390, 21400, 21409, 21418, 21428,
21439, 21452, 21462, 21469, 21478, 21488, 21498, 21508, 21519, 21529, 21541, 21548, 21556, 21563, 21574, 21587,
21597, 21606, 21615, 21626, 21636, 21646, 21654, 21667, 21685, 21691, 21698, 21707, 21717, 21727, 21735, 21746,
21755, 21765, 21774, 21784, 21793, 21803, 21813, 21825, 21837, 21847, 21865, 21876, 21889, 21898, 21908, 21916,
21925, 21938, 21948, 21954, 21963, 21974, 21984, 21995, 22009, 22018, 22028, 22042, 22052, 22066, 22076, 22087,
22100, 22115, 22125, 22136, 22149, 22164, 22172, 22183, 22194, 22203, 22213, 22223, 22234, 22245, 22256, 22265,
22275, 22294, 22309, 22318, 22326, 22335, 22346, 22355, 22367, 22379, 22389, 22399, 22411, 22423, 22434, 22447,
22461, 22475, 22490, 22501, 22512, 22523, 22532, 22547, 22563, 22574, 22590, 22603, 22616, 22628, 22636, 22645,
22652, 22660, 22667, 22675, 22682, 22690, 22698, 22707, 22718, 22730, 22739, 22751, 22763, 22775, 22787, 22799,
22809, 22819, 22831, 22842, 22855, 22869, 22883, 22898, 22909, 22920, 22931, 22941, 22952, 22962, 22974, 22985,
22993, 23002, 23013, 23020, 23029, 23039, 23049, 23056, 23065, 23076, 23085, 23096, 23110, 23119, 23131, 23141,
23157, 23170, 23181, 23191, 23202, 23210, 23219, 23228, 23236, 23245, 23256, 23269, 23280, 23289, 23298, 23306,
23317, 23328, 23338, 23350, 23359, 23370, 23380, 23393, 23410, 23427, 23446, 23460, 23478, 23498, 23509, 23518,
23531, 23543, 23553, 23565, 23578, 23588, 23596, 23605, 23615, 23625, 23646, 23668, 23677, 23686, 23695, 23705,
23714, 23723, 23733, 23741, 23750, 23757, 23767, 23777, 23787, 23798, 23807, 23816, 23826, 23836, 23846, 23856,
23867, 23880, 23891, 23901, 23910, 23916, 23923, 23932, 23942, 23954, 23970, 23988, 24007, 24017, 24025, 24034,
24045, 24060, 24071, 24084, 24095, 24104, 24114, 24124, 24134, 24144, 24153, 24163, 24173, 24180, 24188, 24200,
24209, 24218, 24228, 24238, 24249, 24263, 24275, 24290, 24300, 24309, 24323, 24332, 24342, 24354, 24374, 24395,
24415, 24436, 24448, 24468, 24489, 24496, 24506, 24514, 24525, 24535, 24546, 24555, 24562, 24571, 24581, 24594,
24607, 24617, 24627, 24637, 24647, 24661, 24675, 24689, 24703, 24715, 24724, 24735, 24745, 24756, 24767, 24776,
24786, 24793, 24800, 24811, 24821, 24830, 24840, 24849, 24859, 24868, 24878, 24888, 24894, 24904, 24914, 24923,
24932, 24942, 24952, 24963, 24974, 24984, 24994, 25004, 25015, 25026, 25036, 25045, 25056, 25065, 25075, 25083,
25092, 25099, 25105, 25112, 25121, 25129, 25139, 25149, 25157, 25164, 25172, 25182, 25192, 25199, 25207, 25218,
25226, 25235, 25243, 25255, 25265, 25275, 25283, 25292,
}
// END GENERATED TABLE