Patrick George Wyndham Smith's submission

//! unescape_html in Zig: a QIP component that decodes every HTML character reference in
//! UTF-8 text and copies all other bytes unchanged. One self-contained file with no
//! imports. The table at the bottom is the WHATWG list of 2,231 names (Python's
//! html.entities.html5), stored as 2,125 names without `;`, each flagged if it is also a
//! legacy name that may omit it. Record offsets are built in zeroed memory on first use,
//! so only the packed names and values ship in the Wasm. Lookup is a binary search.
//!
//! Build: zig build-exe unescape.zig -target wasm32-freestanding -O ReleaseSmall -fno-entry
//!   -rdynamic -fstrip --stack 65536 --initial-memory=3145728 --max-memory=3145728 -femit-bin=unescape.wasm
const INPUT_CAP = 1 << 20;
// The largest growth is `&nGt;` (5 bytes) becoming 6 bytes.
const OUTPUT_CAP = INPUT_CAP / 5 * 6 + 8;

var input: [INPUT_CAP]u8 = undefined;
var output: [OUTPUT_CAP]u8 = undefined;
var out_len: usize = 0;

export fn input_ptr() u32 {
    return @intCast(@intFromPtr(&input));
}
export fn input_utf8_cap() u32 {
    return INPUT_CAP;
}
export fn output_ptr() u32 {
    return @intCast(@intFromPtr(&output));
}
export fn output_utf8_cap() u32 {
    return OUTPUT_CAP;
}

export fn render(len: u32) u64 {
    const text = input[0..@min(len, INPUT_CAP)];
    out_len = 0;
    var i: usize = 0;
    while (i < text.len) {
        // Copy the run up to the next `&` in one go.
        var end = i;
        while (end < text.len and text[end] != '&') end += 1;
        emit(text[i..end]);
        i = end;
        if (i == text.len) break;
        i = if (i + 1 < text.len and text[i + 1] == '#') numeric(text, i) else named(text, i);
    }
    return (@as(u64, output_ptr()) << 32) | out_len;
}

fn emit(bytes: []const u8) void {
    @memcpy(output[out_len .. out_len + bytes.len], bytes);
    out_len += bytes.len;
}

fn emitByte(b: u8) void {
    output[out_len] = b;
    out_len += 1;
}

fn emitCodePoint(c: u32) void {
    if (c < 0x80) {
        emitByte(@intCast(c));
    } else if (c < 0x800) {
        emit(&.{ @intCast(0xC0 | (c >> 6)), @intCast(0x80 | (c & 0x3F)) });
    } else if (c < 0x10000) {
        emit(&.{ @intCast(0xE0 | (c >> 12)), @intCast(0x80 | ((c >> 6) & 0x3F)), @intCast(0x80 | (c & 0x3F)) });
    } else {
        emit(&.{
            @intCast(0xF0 | (c >> 18)),         @intCast(0x80 | ((c >> 12) & 0x3F)),
            @intCast(0x80 | ((c >> 6) & 0x3F)), @intCast(0x80 | (c & 0x3F)),
        });
    }
}

// Windows-1252 remapping for references to 0x80–0x9F; 0 keeps the code point.
const 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.
fn numeric(text: []const u8, at: usize) usize {
    var i = at + 2;
    const hex = i < text.len and (text[i] | 0x20) == 'x';
    if (hex) i += 1;
    const start = i;
    var value: u32 = 0;
    while (i < text.len) : (i += 1) {
        const c = text[i];
        const d: u32 = switch (c) {
            '0'...'9' => c - '0',
            'a'...'f', 'A'...'F' => if (hex) (c | 0x20) - 'a' + 10 else break,
            else => break,
        };
        // Saturate: anything past U+10FFFF is replaced the same way.
        value = @min(value * @as(u32, if (hex) 16 else 10) + d, 0x110000);
    }
    if (i == start) {
        emitByte('&');
        return at + 1;
    }
    if (i < text.len and text[i] == ';') i += 1;
    if (value >= 0x80 and value <= 0x9F and c1[value - 0x80] != 0) {
        emitCodePoint(c1[value - 0x80]);
    } else if (value == 0 or (value >= 0xD800 and value <= 0xDFFF) or value > 0x10FFFF) {
        emitCodePoint(0xFFFD);
    } else {
        emitCodePoint(value);
    }
    return i;
}

fn isAlnum(c: u8) bool {
    return (c >= '0' and c <= '9') or ((c | 0x20) >= 'a' and (c | 0x20) <= 'z');
}

// `text[at]` is `&`. Names are ASCII letters and digits, at most 31 before the `;`.
fn named(text: []const u8, at: usize) usize {
    var end = at + 1;
    while (end < text.len and end - at - 1 < 32 and isAlnum(text[end])) end += 1;
    if (end < text.len and text[end] == ';') {
        if (lookup(text[at + 1 .. end], false)) |value| {
            emit(value);
            return end + 1;
        }
    }
    // Without `;`, only legacy names match, longest first.
    var n = end - at - 1;
    while (n >= 2) : (n -= 1) {
        if (lookup(text[at + 1 .. at + 1 + n], true)) |value| {
            emit(value);
            return at + 1 + n;
        }
    }
    emitByte('&');
    return at + 1;
}

var entity_offsets: [entity_count]u16 = [_]u16{0} ** entity_count;
var indexed = false;

const legacy_flag: u8 = 0x80;

// Record i starts at entity_offsets[i]: [name length | legacy_flag][value length][name][value].
fn offsets() *const [entity_count]u16 {
    if (!indexed) {
        var at: usize = 0;
        for (&entity_offsets) |*offset| {
            offset.* = @intCast(at);
            at += 2 + @as(usize, entity_blob[at] & ~legacy_flag) + entity_blob[at + 1];
        }
        indexed = true;
    }
    return &entity_offsets;
}

fn order(a: []const u8, b: []const u8) i8 {
    const n = @min(a.len, b.len);
    for (a[0..n], b[0..n]) |x, y| {
        if (x != y) return if (x < y) -1 else 1;
    }
    return if (a.len == b.len) 0 else if (a.len < b.len) -1 else 1;
}

// `name` excludes any `;`. Without one, only legacy names match.
fn lookup(name: []const u8, legacy_only: bool) ?[]const u8 {
    const offs = offsets();
    var lo: usize = 0;
    var hi: usize = entity_count;
    while (lo < hi) {
        const mid = (lo + hi) / 2;
        const start: usize = offs[mid];
        const head = entity_blob[start];
        const name_end = start + 2 + (head & ~legacy_flag);
        switch (order(entity_blob[start + 2 .. name_end], name)) {
            -1 => lo = mid + 1,
            1 => hi = mid,
            else => {
                if (legacy_only and head & legacy_flag == 0) return null;
                return entity_blob[name_end .. name_end + entity_blob[start + 1]];
            },
        }
    }
    return null;
}

// BEGIN GENERATED TABLE
const entity_count = 2125;

const entity_blob: []const u8 =
    "\x85\x02AElig\xc3\x86\x83\x01AMP&\x86\x02Aacute\xc3\x81\x06\x02Abreve\xc4\x82\x85\x02Acirc\xc3\x82\x03\x02Acy\xd0\x90\x03\x04Afr\xf0\x9d\x94\x84\x86\x02Agrave\xc3\x80\x05\x02Alpha\xce\x91\x05" ++
    "\x02Amacr\xc4\x80\x03\x03And\xe2\xa9\x93\x05\x02Aogon\xc4\x84\x04\x04Aopf\xf0\x9d\x94\xb8\x0d\x03ApplyFunction\xe2\x81\xa1\x85\x02Aring\xc3\x85\x04\x04Ascr\xf0\x9d\x92\x9c\x06\x03Assign" ++
    "\xe2\x89\x94\x86\x02Atilde\xc3\x83\x84\x02Auml\xc3\x84\x09\x03Backslash\xe2\x88\x96\x04\x03Barv\xe2\xab\xa7\x06\x03Barwed\xe2\x8c\x86\x03\x02Bcy\xd0\x91\x07\x03Because\xe2\x88\xb5\x0a\x03Bern" ++
    "oullis\xe2\x84\xac\x04\x02Beta\xce\x92\x03\x04Bfr\xf0\x9d\x94\x85\x04\x04Bopf\xf0\x9d\x94\xb9\x05\x02Breve\xcb\x98\x04\x03Bscr\xe2\x84\xac\x06\x03Bumpeq\xe2\x89\x8e\x04\x02CHcy\xd0\xa7\x84\x02COPY\xc2" ++
    "\xa9\x06\x02Cacute\xc4\x86\x03\x03Cap\xe2\x8b\x92\x14\x03CapitalDifferentialD\xe2\x85\x85\x07\x03Cayleys\xe2\x84\xad\x06\x02Ccaron\xc4\x8c\x86\x02Ccedil\xc3\x87\x05\x02Cc" ++
    "irc\xc4\x88\x07\x03Cconint\xe2\x88\xb0\x04\x02Cdot\xc4\x8a\x07\x02Cedilla\xc2\xb8\x09\x02CenterDot\xc2\xb7\x03\x03Cfr\xe2\x84\xad\x03\x02Chi\xce\xa7\x09\x03CircleDot\xe2\x8a\x99\x0b\x03" ++
    "CircleMinus\xe2\x8a\x96\x0a\x03CirclePlus\xe2\x8a\x95\x0b\x03CircleTimes\xe2\x8a\x97\x18\x03ClockwiseContourIntegral\xe2\x88\xb2\x15\x03Clos" ++
    "eCurlyDoubleQuote\xe2\x80\x9d\x0f\x03CloseCurlyQuote\xe2\x80\x99\x05\x03Colon\xe2\x88\xb7\x06\x03Colone\xe2\xa9\xb4\x09\x03Congruent\xe2\x89\xa1\x06\x03Con" ++
    "int\xe2\x88\xaf\x0f\x03ContourIntegral\xe2\x88\xae\x04\x03Copf\xe2\x84\x82\x09\x03Coproduct\xe2\x88\x90\x1f\x03CounterClockwiseContourIntegr" ++
    "al\xe2\x88\xb3\x05\x03Cross\xe2\xa8\xaf\x04\x04Cscr\xf0\x9d\x92\x9e\x03\x03Cup\xe2\x8b\x93\x06\x03CupCap\xe2\x89\x8d\x02\x03DD\xe2\x85\x85\x08\x03DDotrahd\xe2\xa4\x91\x04\x02DJcy\xd0\x82\x04\x02DScy\xd0\x85" ++
    "\x04\x02DZcy\xd0\x8f\x06\x03Dagger\xe2\x80\xa1\x04\x03Darr\xe2\x86\xa1\x05\x03Dashv\xe2\xab\xa4\x06\x02Dcaron\xc4\x8e\x03\x02Dcy\xd0\x94\x03\x03Del\xe2\x88\x87\x05\x02Delta\xce\x94\x03\x04Dfr\xf0\x9d\x94" ++
    "\x87\x10\x02DiacriticalAcute\xc2\xb4\x0e\x02DiacriticalDot\xcb\x99\x16\x02DiacriticalDoubleAcute\xcb\x9d\x10\x01DiacriticalGr" ++
    "ave`\x10\x02DiacriticalTilde\xcb\x9c\x07\x03Diamond\xe2\x8b\x84\x0d\x03DifferentialD\xe2\x85\x86\x04\x04Dopf\xf0\x9d\x94\xbb\x03\x02Dot\xc2\xa8\x06\x03DotDot\xe2" ++
    "\x83\x9c\x08\x03DotEqual\xe2\x89\x90\x15\x03DoubleContourIntegral\xe2\x88\xaf\x09\x02DoubleDot\xc2\xa8\x0f\x03DoubleDownArrow\xe2\x87\x93\x0f\x03Doub" ++
    "leLeftArrow\xe2\x87\x90\x14\x03DoubleLeftRightArrow\xe2\x87\x94\x0d\x03DoubleLeftTee\xe2\xab\xa4\x13\x03DoubleLongLeftArrow\xe2\x9f" ++
    "\xb8\x18\x03DoubleLongLeftRightArrow\xe2\x9f\xba\x14\x03DoubleLongRightArrow\xe2\x9f\xb9\x10\x03DoubleRightArrow\xe2\x87\x92\x0e\x03Do" ++
    "ubleRightTee\xe2\x8a\xa8\x0d\x03DoubleUpArrow\xe2\x87\x91\x11\x03DoubleUpDownArrow\xe2\x87\x95\x11\x03DoubleVerticalBar\xe2\x88\xa5\x09\x03D" ++
    "ownArrow\xe2\x86\x93\x0c\x03DownArrowBar\xe2\xa4\x93\x10\x03DownArrowUpArrow\xe2\x87\xb5\x09\x02DownBreve\xcc\x91\x13\x03DownLeftRightVec" ++
    "tor\xe2\xa5\x90\x11\x03DownLeftTeeVector\xe2\xa5\x9e\x0e\x03DownLeftVector\xe2\x86\xbd\x11\x03DownLeftVectorBar\xe2\xa5\x96\x12\x03DownRight" ++
    "TeeVector\xe2\xa5\x9f\x0f\x03DownRightVector\xe2\x87\x81\x12\x03DownRightVectorBar\xe2\xa5\x97\x07\x03DownTee\xe2\x8a\xa4\x0c\x03DownTeeArro" ++
    "w\xe2\x86\xa7\x09\x03Downarrow\xe2\x87\x93\x04\x04Dscr\xf0\x9d\x92\x9f\x06\x02Dstrok\xc4\x90\x03\x02ENG\xc5\x8a\x83\x02ETH\xc3\x90\x86\x02Eacute\xc3\x89\x06\x02Ecaron\xc4\x9a\x85\x02Ecirc\xc3" ++
    "\x8a\x03\x02Ecy\xd0\xad\x04\x02Edot\xc4\x96\x03\x04Efr\xf0\x9d\x94\x88\x86\x02Egrave\xc3\x88\x07\x03Element\xe2\x88\x88\x05\x02Emacr\xc4\x92\x10\x03EmptySmallSquare\xe2\x97\xbb\x14\x03E" ++
    "mptyVerySmallSquare\xe2\x96\xab\x05\x02Eogon\xc4\x98\x04\x04Eopf\xf0\x9d\x94\xbc\x07\x02Epsilon\xce\x95\x05\x03Equal\xe2\xa9\xb5\x0a\x03EqualTilde\xe2\x89\x82\x0b\x03E" ++
    "quilibrium\xe2\x87\x8c\x04\x03Escr\xe2\x84\xb0\x04\x03Esim\xe2\xa9\xb3\x03\x02Eta\xce\x97\x84\x02Euml\xc3\x8b\x06\x03Exists\xe2\x88\x83\x0c\x03ExponentialE\xe2\x85\x87\x03\x02Fcy\xd0" ++
    "\xa4\x03\x04Ffr\xf0\x9d\x94\x89\x11\x03FilledSmallSquare\xe2\x97\xbc\x15\x03FilledVerySmallSquare\xe2\x96\xaa\x04\x04Fopf\xf0\x9d\x94\xbd\x06\x03ForAll\xe2\x88\x80\x0a" ++
    "\x03Fouriertrf\xe2\x84\xb1\x04\x03Fscr\xe2\x84\xb1\x04\x02GJcy\xd0\x83\x82\x01GT>\x05\x02Gamma\xce\x93\x06\x02Gammad\xcf\x9c\x06\x02Gbreve\xc4\x9e\x06\x02Gcedil\xc4\xa2\x05\x02Gci" ++
    "rc\xc4\x9c\x03\x02Gcy\xd0\x93\x04\x02Gdot\xc4\xa0\x03\x04Gfr\xf0\x9d\x94\x8a\x02\x03Gg\xe2\x8b\x99\x04\x04Gopf\xf0\x9d\x94\xbe\x0c\x03GreaterEqual\xe2\x89\xa5\x10\x03GreaterEqualLess" ++
    "\xe2\x8b\x9b\x10\x03GreaterFullEqual\xe2\x89\xa7\x0e\x03GreaterGreater\xe2\xaa\xa2\x0b\x03GreaterLess\xe2\x89\xb7\x11\x03GreaterSlantEqual\xe2\xa9" ++
    "\xbe\x0c\x03GreaterTilde\xe2\x89\xb3\x04\x04Gscr\xf0\x9d\x92\xa2\x02\x03Gt\xe2\x89\xab\x06\x02HARDcy\xd0\xaa\x05\x02Hacek\xcb\x87\x03\x01Hat^\x05\x02Hcirc\xc4\xa4\x03\x03Hfr\xe2\x84\x8c\x0c\x03H" ++
    "ilbertSpace\xe2\x84\x8b\x04\x03Hopf\xe2\x84\x8d\x0e\x03HorizontalLine\xe2\x94\x80\x04\x03Hscr\xe2\x84\x8b\x06\x02Hstrok\xc4\xa6\x0c\x03HumpDownHump\xe2\x89\x8e\x09\x03" ++
    "HumpEqual\xe2\x89\x8f\x04\x02IEcy\xd0\x95\x05\x02IJlig\xc4\xb2\x04\x02IOcy\xd0\x81\x86\x02Iacute\xc3\x8d\x85\x02Icirc\xc3\x8e\x03\x02Icy\xd0\x98\x04\x02Idot\xc4\xb0\x03\x03Ifr\xe2\x84\x91\x86" ++
    "\x02Igrave\xc3\x8c\x02\x03Im\xe2\x84\x91\x05\x02Imacr\xc4\xaa\x0a\x03ImaginaryI\xe2\x85\x88\x07\x03Implies\xe2\x87\x92\x03\x03Int\xe2\x88\xac\x08\x03Integral\xe2\x88\xab\x0c\x03Inter" ++
    "section\xe2\x8b\x82\x0e\x03InvisibleComma\xe2\x81\xa3\x0e\x03InvisibleTimes\xe2\x81\xa2\x05\x02Iogon\xc4\xae\x04\x04Iopf\xf0\x9d\x95\x80\x04\x02Iota\xce\x99\x04\x03Isc" ++
    "r\xe2\x84\x90\x06\x02Itilde\xc4\xa8\x05\x02Iukcy\xd0\x86\x84\x02Iuml\xc3\x8f\x05\x02Jcirc\xc4\xb4\x03\x02Jcy\xd0\x99\x03\x04Jfr\xf0\x9d\x94\x8d\x04\x04Jopf\xf0\x9d\x95\x81\x04\x04Jscr\xf0\x9d\x92\xa5\x06\x02Js" ++
    "ercy\xd0\x88\x05\x02Jukcy\xd0\x84\x04\x02KHcy\xd0\xa5\x04\x02KJcy\xd0\x8c\x05\x02Kappa\xce\x9a\x06\x02Kcedil\xc4\xb6\x03\x02Kcy\xd0\x9a\x03\x04Kfr\xf0\x9d\x94\x8e\x04\x04Kopf\xf0\x9d\x95\x82\x04\x04Ks" ++
    "cr\xf0\x9d\x92\xa6\x04\x02LJcy\xd0\x89\x82\x01LT<\x06\x02Lacute\xc4\xb9\x06\x02Lambda\xce\x9b\x04\x03Lang\xe2\x9f\xaa\x0a\x03Laplacetrf\xe2\x84\x92\x04\x03Larr\xe2\x86\x9e\x06\x02Lcaron" ++
    "\xc4\xbd\x06\x02Lcedil\xc4\xbb\x03\x02Lcy\xd0\x9b\x10\x03LeftAngleBracket\xe2\x9f\xa8\x09\x03LeftArrow\xe2\x86\x90\x0c\x03LeftArrowBar\xe2\x87\xa4\x13\x03LeftArr" ++
    "owRightArrow\xe2\x87\x86\x0b\x03LeftCeiling\xe2\x8c\x88\x11\x03LeftDoubleBracket\xe2\x9f\xa6\x11\x03LeftDownTeeVector\xe2\xa5\xa1\x0e\x03Lef" ++
    "tDownVector\xe2\x87\x83\x11\x03LeftDownVectorBar\xe2\xa5\x99\x09\x03LeftFloor\xe2\x8c\x8a\x0e\x03LeftRightArrow\xe2\x86\x94\x0f\x03LeftRight" ++
    "Vector\xe2\xa5\x8e\x07\x03LeftTee\xe2\x8a\xa3\x0c\x03LeftTeeArrow\xe2\x86\xa4\x0d\x03LeftTeeVector\xe2\xa5\x9a\x0c\x03LeftTriangle\xe2\x8a\xb2\x0f\x03LeftT" ++
    "riangleBar\xe2\xa7\x8f\x11\x03LeftTriangleEqual\xe2\x8a\xb4\x10\x03LeftUpDownVector\xe2\xa5\x91\x0f\x03LeftUpTeeVector\xe2\xa5\xa0\x0c\x03Le" ++
    "ftUpVector\xe2\x86\xbf\x0f\x03LeftUpVectorBar\xe2\xa5\x98\x0a\x03LeftVector\xe2\x86\xbc\x0d\x03LeftVectorBar\xe2\xa5\x92\x09\x03Leftarrow\xe2\x87\x90" ++
    "\x0e\x03Leftrightarrow\xe2\x87\x94\x10\x03LessEqualGreater\xe2\x8b\x9a\x0d\x03LessFullEqual\xe2\x89\xa6\x0b\x03LessGreater\xe2\x89\xb6\x08\x03Less" ++
    "Less\xe2\xaa\xa1\x0e\x03LessSlantEqual\xe2\xa9\xbd\x09\x03LessTilde\xe2\x89\xb2\x03\x04Lfr\xf0\x9d\x94\x8f\x02\x03Ll\xe2\x8b\x98\x0a\x03Lleftarrow\xe2\x87\x9a\x06\x02Lmidot\xc4" ++
    "\xbf\x0d\x03LongLeftArrow\xe2\x9f\xb5\x12\x03LongLeftRightArrow\xe2\x9f\xb7\x0e\x03LongRightArrow\xe2\x9f\xb6\x0d\x03Longleftarrow\xe2\x9f\xb8\x12" ++
    "\x03Longleftrightarrow\xe2\x9f\xba\x0e\x03Longrightarrow\xe2\x9f\xb9\x04\x04Lopf\xf0\x9d\x95\x83\x0e\x03LowerLeftArrow\xe2\x86\x99\x0f\x03LowerRig" ++
    "htArrow\xe2\x86\x98\x04\x03Lscr\xe2\x84\x92\x03\x03Lsh\xe2\x86\xb0\x06\x02Lstrok\xc5\x81\x02\x03Lt\xe2\x89\xaa\x03\x03Map\xe2\xa4\x85\x03\x02Mcy\xd0\x9c\x0b\x03MediumSpace\xe2\x81\x9f\x09\x03Mel" ++
    "lintrf\xe2\x84\xb3\x03\x04Mfr\xf0\x9d\x94\x90\x09\x03MinusPlus\xe2\x88\x93\x04\x04Mopf\xf0\x9d\x95\x84\x04\x03Mscr\xe2\x84\xb3\x02\x02Mu\xce\x9c\x04\x02NJcy\xd0\x8a\x06\x02Nacute\xc5\x83\x06\x02Nca" ++
    "ron\xc5\x87\x06\x02Ncedil\xc5\x85\x03\x02Ncy\xd0\x9d\x13\x03NegativeMediumSpace\xe2\x80\x8b\x12\x03NegativeThickSpace\xe2\x80\x8b\x11\x03NegativeT" ++
    "hinSpace\xe2\x80\x8b\x15\x03NegativeVeryThinSpace\xe2\x80\x8b\x14\x03NestedGreaterGreater\xe2\x89\xab\x0e\x03NestedLessLess\xe2\x89" ++
    "\xaa\x07\x01NewLine\x0a\x03\x04Nfr\xf0\x9d\x94\x91\x07\x03NoBreak\xe2\x81\xa0\x10\x02NonBreakingSpace\xc2\xa0\x04\x03Nopf\xe2\x84\x95\x03\x03Not\xe2\xab\xac\x0c\x03NotCongru" ++
    "ent\xe2\x89\xa2\x09\x03NotCupCap\xe2\x89\xad\x14\x03NotDoubleVerticalBar\xe2\x88\xa6\x0a\x03NotElement\xe2\x88\x89\x08\x03NotEqual\xe2\x89\xa0\x0d\x05NotEq" ++
    "ualTilde\xe2\x89\x82\xcc\xb8\x09\x03NotExists\xe2\x88\x84\x0a\x03NotGreater\xe2\x89\xaf\x0f\x03NotGreaterEqual\xe2\x89\xb1\x13\x05NotGreaterFullEq" ++
    "ual\xe2\x89\xa7\xcc\xb8\x11\x05NotGreaterGreater\xe2\x89\xab\xcc\xb8\x0e\x03NotGreaterLess\xe2\x89\xb9\x14\x05NotGreaterSlantEqual\xe2\xa9\xbe\xcc\xb8\x0f\x03" ++
    "NotGreaterTilde\xe2\x89\xb5\x0f\x05NotHumpDownHump\xe2\x89\x8e\xcc\xb8\x0c\x05NotHumpEqual\xe2\x89\x8f\xcc\xb8\x0f\x03NotLeftTriangle\xe2\x8b\xaa\x12" ++
    "\x05NotLeftTriangleBar\xe2\xa7\x8f\xcc\xb8\x14\x03NotLeftTriangleEqual\xe2\x8b\xac\x07\x03NotLess\xe2\x89\xae\x0c\x03NotLessEqual\xe2\x89\xb0\x0e\x03" ++
    "NotLessGreater\xe2\x89\xb8\x0b\x05NotLessLess\xe2\x89\xaa\xcc\xb8\x11\x05NotLessSlantEqual\xe2\xa9\xbd\xcc\xb8\x0c\x03NotLessTilde\xe2\x89\xb4\x17\x05No" ++
    "tNestedGreaterGreater\xe2\xaa\xa2\xcc\xb8\x11\x05NotNestedLessLess\xe2\xaa\xa1\xcc\xb8\x0b\x03NotPrecedes\xe2\x8a\x80\x10\x05NotPrecedesE" ++
    "qual\xe2\xaa\xaf\xcc\xb8\x15\x03NotPrecedesSlantEqual\xe2\x8b\xa0\x11\x03NotReverseElement\xe2\x88\x8c\x10\x03NotRightTriangle\xe2\x8b\xab\x13\x05" ++
    "NotRightTriangleBar\xe2\xa7\x90\xcc\xb8\x15\x03NotRightTriangleEqual\xe2\x8b\xad\x0f\x05NotSquareSubset\xe2\x8a\x8f\xcc\xb8\x14\x03NotSqu" ++
    "areSubsetEqual\xe2\x8b\xa2\x11\x05NotSquareSuperset\xe2\x8a\x90\xcc\xb8\x16\x03NotSquareSupersetEqual\xe2\x8b\xa3\x09\x06NotSubset\xe2" ++
    "\x8a\x82\xe2\x83\x92\x0e\x03NotSubsetEqual\xe2\x8a\x88\x0b\x03NotSucceeds\xe2\x8a\x81\x10\x05NotSucceedsEqual\xe2\xaa\xb0\xcc\xb8\x15\x03NotSucceedsSlan" ++
    "tEqual\xe2\x8b\xa1\x10\x05NotSucceedsTilde\xe2\x89\xbf\xcc\xb8\x0b\x06NotSuperset\xe2\x8a\x83\xe2\x83\x92\x10\x03NotSupersetEqual\xe2\x8a\x89\x08\x03NotTil" ++
    "de\xe2\x89\x81\x0d\x03NotTildeEqual\xe2\x89\x84\x11\x03NotTildeFullEqual\xe2\x89\x87\x0d\x03NotTildeTilde\xe2\x89\x89\x0e\x03NotVerticalBar\xe2" ++
    "\x88\xa4\x04\x04Nscr\xf0\x9d\x92\xa9\x86\x02Ntilde\xc3\x91\x02\x02Nu\xce\x9d\x05\x02OElig\xc5\x92\x86\x02Oacute\xc3\x93\x85\x02Ocirc\xc3\x94\x03\x02Ocy\xd0\x9e\x06\x02Odblac\xc5\x90\x03\x04Ofr\xf0\x9d" ++
    "\x94\x92\x86\x02Ograve\xc3\x92\x05\x02Omacr\xc5\x8c\x05\x02Omega\xce\xa9\x07\x02Omicron\xce\x9f\x04\x04Oopf\xf0\x9d\x95\x86\x14\x03OpenCurlyDoubleQuote\xe2\x80\x9c\x0e\x03Op" ++
    "enCurlyQuote\xe2\x80\x98\x02\x03Or\xe2\xa9\x94\x04\x04Oscr\xf0\x9d\x92\xaa\x86\x02Oslash\xc3\x98\x86\x02Otilde\xc3\x95\x06\x03Otimes\xe2\xa8\xb7\x84\x02Ouml\xc3\x96\x07\x03OverBar" ++
    "\xe2\x80\xbe\x09\x03OverBrace\xe2\x8f\x9e\x0b\x03OverBracket\xe2\x8e\xb4\x0f\x03OverParenthesis\xe2\x8f\x9c\x08\x03PartialD\xe2\x88\x82\x03\x02Pcy\xd0\x9f\x03\x04Pfr\xf0\x9d" ++
    "\x94\x93\x03\x02Phi\xce\xa6\x02\x02Pi\xce\xa0\x09\x02PlusMinus\xc2\xb1\x0d\x03Poincareplane\xe2\x84\x8c\x04\x03Popf\xe2\x84\x99\x02\x03Pr\xe2\xaa\xbb\x08\x03Precedes\xe2\x89\xba\x0d\x03Pre" ++
    "cedesEqual\xe2\xaa\xaf\x12\x03PrecedesSlantEqual\xe2\x89\xbc\x0d\x03PrecedesTilde\xe2\x89\xbe\x05\x03Prime\xe2\x80\xb3\x07\x03Product\xe2\x88\x8f\x0a\x03Pr" ++
    "oportion\xe2\x88\xb7\x0c\x03Proportional\xe2\x88\x9d\x04\x04Pscr\xf0\x9d\x92\xab\x03\x02Psi\xce\xa8\x84\x01QUOT\x22\x03\x04Qfr\xf0\x9d\x94\x94\x04\x03Qopf\xe2\x84\x9a\x04\x04Qscr\xf0\x9d\x92\xac" ++
    "\x05\x03RBarr\xe2\xa4\x90\x83\x02REG\xc2\xae\x06\x02Racute\xc5\x94\x04\x03Rang\xe2\x9f\xab\x04\x03Rarr\xe2\x86\xa0\x06\x03Rarrtl\xe2\xa4\x96\x06\x02Rcaron\xc5\x98\x06\x02Rcedil\xc5\x96\x03\x02Rc" ++
    "y\xd0\xa0\x02\x03Re\xe2\x84\x9c\x0e\x03ReverseElement\xe2\x88\x8b\x12\x03ReverseEquilibrium\xe2\x87\x8b\x14\x03ReverseUpEquilibrium\xe2\xa5\xaf\x03\x03R" ++
    "fr\xe2\x84\x9c\x03\x02Rho\xce\xa1\x11\x03RightAngleBracket\xe2\x9f\xa9\x0a\x03RightArrow\xe2\x86\x92\x0d\x03RightArrowBar\xe2\x87\xa5\x13\x03RightArrowL" ++
    "eftArrow\xe2\x87\x84\x0c\x03RightCeiling\xe2\x8c\x89\x12\x03RightDoubleBracket\xe2\x9f\xa7\x12\x03RightDownTeeVector\xe2\xa5\x9d\x0f\x03Righ" ++
    "tDownVector\xe2\x87\x82\x12\x03RightDownVectorBar\xe2\xa5\x95\x0a\x03RightFloor\xe2\x8c\x8b\x08\x03RightTee\xe2\x8a\xa2\x0d\x03RightTeeArrow" ++
    "\xe2\x86\xa6\x0e\x03RightTeeVector\xe2\xa5\x9b\x0d\x03RightTriangle\xe2\x8a\xb3\x10\x03RightTriangleBar\xe2\xa7\x90\x12\x03RightTriangleEqua" ++
    "l\xe2\x8a\xb5\x11\x03RightUpDownVector\xe2\xa5\x8f\x10\x03RightUpTeeVector\xe2\xa5\x9c\x0d\x03RightUpVector\xe2\x86\xbe\x10\x03RightUpVector" ++
    "Bar\xe2\xa5\x94\x0b\x03RightVector\xe2\x87\x80\x0e\x03RightVectorBar\xe2\xa5\x93\x0a\x03Rightarrow\xe2\x87\x92\x04\x03Ropf\xe2\x84\x9d\x0c\x03RoundImplies\xe2" ++
    "\xa5\xb0\x0b\x03Rrightarrow\xe2\x87\x9b\x04\x03Rscr\xe2\x84\x9b\x03\x03Rsh\xe2\x86\xb1\x0b\x03RuleDelayed\xe2\xa7\xb4\x06\x02SHCHcy\xd0\xa9\x04\x02SHcy\xd0\xa8\x06\x02SOFTcy\xd0\xac\x06" ++
    "\x02Sacute\xc5\x9a\x02\x03Sc\xe2\xaa\xbc\x06\x02Scaron\xc5\xa0\x06\x02Scedil\xc5\x9e\x05\x02Scirc\xc5\x9c\x03\x02Scy\xd0\xa1\x03\x04Sfr\xf0\x9d\x94\x96\x0e\x03ShortDownArrow\xe2\x86\x93" ++
    "\x0e\x03ShortLeftArrow\xe2\x86\x90\x0f\x03ShortRightArrow\xe2\x86\x92\x0c\x03ShortUpArrow\xe2\x86\x91\x05\x02Sigma\xce\xa3\x0b\x03SmallCircle\xe2\x88" ++
    "\x98\x04\x04Sopf\xf0\x9d\x95\x8a\x04\x03Sqrt\xe2\x88\x9a\x06\x03Square\xe2\x96\xa1\x12\x03SquareIntersection\xe2\x8a\x93\x0c\x03SquareSubset\xe2\x8a\x8f\x11\x03SquareS" ++
    "ubsetEqual\xe2\x8a\x91\x0e\x03SquareSuperset\xe2\x8a\x90\x13\x03SquareSupersetEqual\xe2\x8a\x92\x0b\x03SquareUnion\xe2\x8a\x94\x04\x04Sscr\xf0\x9d" ++
    "\x92\xae\x04\x03Star\xe2\x8b\x86\x03\x03Sub\xe2\x8b\x90\x06\x03Subset\xe2\x8b\x90\x0b\x03SubsetEqual\xe2\x8a\x86\x08\x03Succeeds\xe2\x89\xbb\x0d\x03SucceedsEqual\xe2\xaa\xb0\x12\x03S" ++
    "ucceedsSlantEqual\xe2\x89\xbd\x0d\x03SucceedsTilde\xe2\x89\xbf\x08\x03SuchThat\xe2\x88\x8b\x03\x03Sum\xe2\x88\x91\x03\x03Sup\xe2\x8b\x91\x08\x03Superset\xe2\x8a\x83" ++
    "\x0d\x03SupersetEqual\xe2\x8a\x87\x06\x03Supset\xe2\x8b\x91\x85\x02THORN\xc3\x9e\x05\x03TRADE\xe2\x84\xa2\x05\x02TSHcy\xd0\x8b\x04\x02TScy\xd0\xa6\x03\x01Tab\x09\x03\x02Tau\xce\xa4\x06\x02" ++
    "Tcaron\xc5\xa4\x06\x02Tcedil\xc5\xa2\x03\x02Tcy\xd0\xa2\x03\x04Tfr\xf0\x9d\x94\x97\x09\x03Therefore\xe2\x88\xb4\x05\x02Theta\xce\x98\x0a\x06ThickSpace\xe2\x81\x9f\xe2\x80\x8a\x09\x03Thi" ++
    "nSpace\xe2\x80\x89\x05\x03Tilde\xe2\x88\xbc\x0a\x03TildeEqual\xe2\x89\x83\x0e\x03TildeFullEqual\xe2\x89\x85\x0a\x03TildeTilde\xe2\x89\x88\x04\x04Topf\xf0\x9d\x95\x8b\x09\x03" ++
    "TripleDot\xe2\x83\x9b\x04\x04Tscr\xf0\x9d\x92\xaf\x06\x02Tstrok\xc5\xa6\x86\x02Uacute\xc3\x9a\x04\x03Uarr\xe2\x86\x9f\x08\x03Uarrocir\xe2\xa5\x89\x05\x02Ubrcy\xd0\x8e\x06\x02Ubrev" ++
    "e\xc5\xac\x85\x02Ucirc\xc3\x9b\x03\x02Ucy\xd0\xa3\x06\x02Udblac\xc5\xb0\x03\x04Ufr\xf0\x9d\x94\x98\x86\x02Ugrave\xc3\x99\x05\x02Umacr\xc5\xaa\x08\x01UnderBar_\x0a\x03UnderBrace" ++
    "\xe2\x8f\x9f\x0c\x03UnderBracket\xe2\x8e\xb5\x10\x03UnderParenthesis\xe2\x8f\x9d\x05\x03Union\xe2\x8b\x83\x09\x03UnionPlus\xe2\x8a\x8e\x05\x02Uogon\xc5\xb2\x04\x04Uopf" ++
    "\xf0\x9d\x95\x8c\x07\x03UpArrow\xe2\x86\x91\x0a\x03UpArrowBar\xe2\xa4\x92\x10\x03UpArrowDownArrow\xe2\x87\x85\x0b\x03UpDownArrow\xe2\x86\x95\x0d\x03UpEquilibr" ++
    "ium\xe2\xa5\xae\x05\x03UpTee\xe2\x8a\xa5\x0a\x03UpTeeArrow\xe2\x86\xa5\x07\x03Uparrow\xe2\x87\x91\x0b\x03Updownarrow\xe2\x87\x95\x0e\x03UpperLeftArrow\xe2\x86\x96\x0f\x03" ++
    "UpperRightArrow\xe2\x86\x97\x04\x02Upsi\xcf\x92\x07\x02Upsilon\xce\xa5\x05\x02Uring\xc5\xae\x04\x04Uscr\xf0\x9d\x92\xb0\x06\x02Utilde\xc5\xa8\x84\x02Uuml\xc3\x9c\x05\x03VDas" ++
    "h\xe2\x8a\xab\x04\x03Vbar\xe2\xab\xab\x03\x02Vcy\xd0\x92\x05\x03Vdash\xe2\x8a\xa9\x06\x03Vdashl\xe2\xab\xa6\x03\x03Vee\xe2\x8b\x81\x06\x03Verbar\xe2\x80\x96\x04\x03Vert\xe2\x80\x96\x0b\x03VerticalB" ++
    "ar\xe2\x88\xa3\x0c\x01VerticalLine|\x11\x03VerticalSeparator\xe2\x9d\x98\x0d\x03VerticalTilde\xe2\x89\x80\x0d\x03VeryThinSpace\xe2\x80\x8a\x03\x04" ++
    "Vfr\xf0\x9d\x94\x99\x04\x04Vopf\xf0\x9d\x95\x8d\x04\x04Vscr\xf0\x9d\x92\xb1\x06\x03Vvdash\xe2\x8a\xaa\x05\x02Wcirc\xc5\xb4\x05\x03Wedge\xe2\x8b\x80\x03\x04Wfr\xf0\x9d\x94\x9a\x04\x04Wopf\xf0\x9d\x95\x8e\x04\x04Ws" ++
    "cr\xf0\x9d\x92\xb2\x03\x04Xfr\xf0\x9d\x94\x9b\x02\x02Xi\xce\x9e\x04\x04Xopf\xf0\x9d\x95\x8f\x04\x04Xscr\xf0\x9d\x92\xb3\x04\x02YAcy\xd0\xaf\x04\x02YIcy\xd0\x87\x04\x02YUcy\xd0\xae\x86\x02Yacute\xc3\x9d\x05\x02Yci" ++
    "rc\xc5\xb6\x03\x02Ycy\xd0\xab\x03\x04Yfr\xf0\x9d\x94\x9c\x04\x04Yopf\xf0\x9d\x95\x90\x04\x04Yscr\xf0\x9d\x92\xb4\x04\x02Yuml\xc5\xb8\x04\x02ZHcy\xd0\x96\x06\x02Zacute\xc5\xb9\x06\x02Zcaron\xc5\xbd\x03\x02Zc" ++
    "y\xd0\x97\x04\x02Zdot\xc5\xbb\x0e\x03ZeroWidthSpace\xe2\x80\x8b\x04\x02Zeta\xce\x96\x03\x03Zfr\xe2\x84\xa8\x04\x03Zopf\xe2\x84\xa4\x04\x04Zscr\xf0\x9d\x92\xb5\x86\x02aacute\xc3\xa1\x06\x02abr" ++
    "eve\xc4\x83\x02\x03ac\xe2\x88\xbe\x03\x05acE\xe2\x88\xbe\xcc\xb3\x03\x03acd\xe2\x88\xbf\x85\x02acirc\xc3\xa2\x85\x02acute\xc2\xb4\x03\x02acy\xd0\xb0\x85\x02aelig\xc3\xa6\x02\x03af\xe2\x81\xa1\x03\x04afr\xf0\x9d\x94\x9e" ++
    "\x86\x02agrave\xc3\xa0\x07\x03alefsym\xe2\x84\xb5\x05\x03aleph\xe2\x84\xb5\x05\x02alpha\xce\xb1\x05\x02amacr\xc4\x81\x05\x03amalg\xe2\xa8\xbf\x83\x01amp&\x03\x03and\xe2\x88\xa7\x06\x03anda" ++
    "nd\xe2\xa9\x95\x04\x03andd\xe2\xa9\x9c\x08\x03andslope\xe2\xa9\x98\x04\x03andv\xe2\xa9\x9a\x03\x03ang\xe2\x88\xa0\x04\x03ange\xe2\xa6\xa4\x05\x03angle\xe2\x88\xa0\x06\x03angmsd\xe2\x88\xa1\x08\x03angm" ++
    "sdaa\xe2\xa6\xa8\x08\x03angmsdab\xe2\xa6\xa9\x08\x03angmsdac\xe2\xa6\xaa\x08\x03angmsdad\xe2\xa6\xab\x08\x03angmsdae\xe2\xa6\xac\x08\x03angmsdaf\xe2\xa6\xad\x08\x03angmsd" ++
    "ag\xe2\xa6\xae\x08\x03angmsdah\xe2\xa6\xaf\x05\x03angrt\xe2\x88\x9f\x07\x03angrtvb\xe2\x8a\xbe\x08\x03angrtvbd\xe2\xa6\x9d\x06\x03angsph\xe2\x88\xa2\x05\x02angst\xc3\x85\x07\x03angza" ++
    "rr\xe2\x8d\xbc\x05\x02aogon\xc4\x85\x04\x04aopf\xf0\x9d\x95\x92\x02\x03ap\xe2\x89\x88\x03\x03apE\xe2\xa9\xb0\x06\x03apacir\xe2\xa9\xaf\x03\x03ape\xe2\x89\x8a\x04\x03apid\xe2\x89\x8b\x04\x01apos'\x06\x03appr" ++
    "ox\xe2\x89\x88\x08\x03approxeq\xe2\x89\x8a\x85\x02aring\xc3\xa5\x04\x04ascr\xf0\x9d\x92\xb6\x03\x01ast*\x05\x03asymp\xe2\x89\x88\x07\x03asympeq\xe2\x89\x8d\x86\x02atilde\xc3\xa3\x84\x02aum" ++
    "l\xc3\xa4\x08\x03awconint\xe2\x88\xb3\x05\x03awint\xe2\xa8\x91\x04\x03bNot\xe2\xab\xad\x08\x03backcong\xe2\x89\x8c\x0b\x02backepsilon\xcf\xb6\x09\x03backprime\xe2\x80\xb5\x07\x03b" ++
    "acksim\xe2\x88\xbd\x09\x03backsimeq\xe2\x8b\x8d\x06\x03barvee\xe2\x8a\xbd\x06\x03barwed\xe2\x8c\x85\x08\x03barwedge\xe2\x8c\x85\x04\x03bbrk\xe2\x8e\xb5\x08\x03bbrktbrk\xe2\x8e\xb6" ++
    "\x05\x03bcong\xe2\x89\x8c\x03\x02bcy\xd0\xb1\x05\x03bdquo\xe2\x80\x9e\x06\x03becaus\xe2\x88\xb5\x07\x03because\xe2\x88\xb5\x07\x03bemptyv\xe2\xa6\xb0\x05\x02bepsi\xcf\xb6\x06\x03bernou\xe2" ++
    "\x84\xac\x04\x02beta\xce\xb2\x04\x03beth\xe2\x84\xb6\x07\x03between\xe2\x89\xac\x03\x04bfr\xf0\x9d\x94\x9f\x06\x03bigcap\xe2\x8b\x82\x07\x03bigcirc\xe2\x97\xaf\x06\x03bigcup\xe2\x8b\x83\x07\x03bigo" ++
    "dot\xe2\xa8\x80\x08\x03bigoplus\xe2\xa8\x81\x09\x03bigotimes\xe2\xa8\x82\x08\x03bigsqcup\xe2\xa8\x86\x07\x03bigstar\xe2\x98\x85\x0f\x03bigtriangledown\xe2\x96\xbd\x0d\x03" ++
    "bigtriangleup\xe2\x96\xb3\x08\x03biguplus\xe2\xa8\x84\x06\x03bigvee\xe2\x8b\x81\x08\x03bigwedge\xe2\x8b\x80\x06\x03bkarow\xe2\xa4\x8d\x0c\x03blacklozenge\xe2\xa7" ++
    "\xab\x0b\x03blacksquare\xe2\x96\xaa\x0d\x03blacktriangle\xe2\x96\xb4\x11\x03blacktriangledown\xe2\x96\xbe\x11\x03blacktriangleleft\xe2\x97\x82\x12" ++
    "\x03blacktriangleright\xe2\x96\xb8\x05\x03blank\xe2\x90\xa3\x05\x03blk12\xe2\x96\x92\x05\x03blk14\xe2\x96\x91\x05\x03blk34\xe2\x96\x93\x05\x03block\xe2\x96\x88\x03\x04bne=\xe2\x83" ++
    "\xa5\x07\x06bnequiv\xe2\x89\xa1\xe2\x83\xa5\x04\x03bnot\xe2\x8c\x90\x04\x04bopf\xf0\x9d\x95\x93\x03\x03bot\xe2\x8a\xa5\x06\x03bottom\xe2\x8a\xa5\x06\x03bowtie\xe2\x8b\x88\x05\x03boxDL\xe2\x95\x97\x05\x03box" ++
    "DR\xe2\x95\x94\x05\x03boxDl\xe2\x95\x96\x05\x03boxDr\xe2\x95\x93\x04\x03boxH\xe2\x95\x90\x05\x03boxHD\xe2\x95\xa6\x05\x03boxHU\xe2\x95\xa9\x05\x03boxHd\xe2\x95\xa4\x05\x03boxHu\xe2\x95\xa7\x05\x03boxU" ++
    "L\xe2\x95\x9d\x05\x03boxUR\xe2\x95\x9a\x05\x03boxUl\xe2\x95\x9c\x05\x03boxUr\xe2\x95\x99\x04\x03boxV\xe2\x95\x91\x05\x03boxVH\xe2\x95\xac\x05\x03boxVL\xe2\x95\xa3\x05\x03boxVR\xe2\x95\xa0\x05\x03boxVh" ++
    "\xe2\x95\xab\x05\x03boxVl\xe2\x95\xa2\x05\x03boxVr\xe2\x95\x9f\x06\x03boxbox\xe2\xa7\x89\x05\x03boxdL\xe2\x95\x95\x05\x03boxdR\xe2\x95\x92\x05\x03boxdl\xe2\x94\x90\x05\x03boxdr\xe2\x94\x8c\x04\x03boxh" ++
    "\xe2\x94\x80\x05\x03boxhD\xe2\x95\xa5\x05\x03boxhU\xe2\x95\xa8\x05\x03boxhd\xe2\x94\xac\x05\x03boxhu\xe2\x94\xb4\x08\x03boxminus\xe2\x8a\x9f\x07\x03boxplus\xe2\x8a\x9e\x08\x03boxtimes\xe2\x8a" ++
    "\xa0\x05\x03boxuL\xe2\x95\x9b\x05\x03boxuR\xe2\x95\x98\x05\x03boxul\xe2\x94\x98\x05\x03boxur\xe2\x94\x94\x04\x03boxv\xe2\x94\x82\x05\x03boxvH\xe2\x95\xaa\x05\x03boxvL\xe2\x95\xa1\x05\x03boxvR\xe2\x95\x9e" ++
    "\x05\x03boxvh\xe2\x94\xbc\x05\x03boxvl\xe2\x94\xa4\x05\x03boxvr\xe2\x94\x9c\x06\x03bprime\xe2\x80\xb5\x05\x02breve\xcb\x98\x86\x02brvbar\xc2\xa6\x04\x04bscr\xf0\x9d\x92\xb7\x05\x03bsemi\xe2\x81\x8f" ++
    "\x04\x03bsim\xe2\x88\xbd\x05\x03bsime\xe2\x8b\x8d\x04\x01bsol\x5c\x05\x03bsolb\xe2\xa7\x85\x08\x03bsolhsub\xe2\x9f\x88\x04\x03bull\xe2\x80\xa2\x06\x03bullet\xe2\x80\xa2\x04\x03bump\xe2\x89\x8e\x05\x03" ++
    "bumpE\xe2\xaa\xae\x05\x03bumpe\xe2\x89\x8f\x06\x03bumpeq\xe2\x89\x8f\x06\x02cacute\xc4\x87\x03\x03cap\xe2\x88\xa9\x06\x03capand\xe2\xa9\x84\x08\x03capbrcup\xe2\xa9\x89\x06\x03capcap\xe2" ++
    "\xa9\x8b\x06\x03capcup\xe2\xa9\x87\x06\x03capdot\xe2\xa9\x80\x04\x06caps\xe2\x88\xa9\xef\xb8\x80\x05\x03caret\xe2\x81\x81\x05\x02caron\xcb\x87\x05\x03ccaps\xe2\xa9\x8d\x06\x02ccaron\xc4\x8d\x86\x02cce" ++
    "dil\xc3\xa7\x05\x02ccirc\xc4\x89\x05\x03ccups\xe2\xa9\x8c\x07\x03ccupssm\xe2\xa9\x90\x04\x02cdot\xc4\x8b\x85\x02cedil\xc2\xb8\x07\x03cemptyv\xe2\xa6\xb2\x84\x02cent\xc2\xa2\x09\x02cente" ++
    "rdot\xc2\xb7\x03\x04cfr\xf0\x9d\x94\xa0\x04\x02chcy\xd1\x87\x05\x03check\xe2\x9c\x93\x09\x03checkmark\xe2\x9c\x93\x03\x02chi\xcf\x87\x03\x03cir\xe2\x97\x8b\x04\x03cirE\xe2\xa7\x83\x04\x02circ\xcb\x86\x06" ++
    "\x03circeq\xe2\x89\x97\x0f\x03circlearrowleft\xe2\x86\xba\x10\x03circlearrowright\xe2\x86\xbb\x08\x02circledR\xc2\xae\x08\x03circledS\xe2\x93\x88\x0a\x03ci" ++
    "rcledast\xe2\x8a\x9b\x0b\x03circledcirc\xe2\x8a\x9a\x0b\x03circleddash\xe2\x8a\x9d\x04\x03cire\xe2\x89\x97\x08\x03cirfnint\xe2\xa8\x90\x06\x03cirmid\xe2\xab\xaf\x07\x03ci" ++
    "rscir\xe2\xa7\x82\x05\x03clubs\xe2\x99\xa3\x08\x03clubsuit\xe2\x99\xa3\x05\x01colon:\x06\x03colone\xe2\x89\x94\x07\x03coloneq\xe2\x89\x94\x05\x01comma,\x06\x01commat@\x04" ++
    "\x03comp\xe2\x88\x81\x06\x03compfn\xe2\x88\x98\x0a\x03complement\xe2\x88\x81\x09\x03complexes\xe2\x84\x82\x04\x03cong\xe2\x89\x85\x07\x03congdot\xe2\xa9\xad\x06\x03conint\xe2\x88\xae" ++
    "\x04\x04copf\xf0\x9d\x95\x94\x06\x03coprod\xe2\x88\x90\x84\x02copy\xc2\xa9\x06\x03copysr\xe2\x84\x97\x05\x03crarr\xe2\x86\xb5\x05\x03cross\xe2\x9c\x97\x04\x04cscr\xf0\x9d\x92\xb8\x04\x03csub\xe2\xab\x8f\x05" ++
    "\x03csube\xe2\xab\x91\x04\x03csup\xe2\xab\x90\x05\x03csupe\xe2\xab\x92\x05\x03ctdot\xe2\x8b\xaf\x07\x03cudarrl\xe2\xa4\xb8\x07\x03cudarrr\xe2\xa4\xb5\x05\x03cuepr\xe2\x8b\x9e\x05\x03cuesc\xe2" ++
    "\x8b\x9f\x06\x03cularr\xe2\x86\xb6\x07\x03cularrp\xe2\xa4\xbd\x03\x03cup\xe2\x88\xaa\x08\x03cupbrcap\xe2\xa9\x88\x06\x03cupcap\xe2\xa9\x86\x06\x03cupcup\xe2\xa9\x8a\x06\x03cupdot\xe2\x8a\x8d\x05" ++
    "\x03cupor\xe2\xa9\x85\x04\x06cups\xe2\x88\xaa\xef\xb8\x80\x06\x03curarr\xe2\x86\xb7\x07\x03curarrm\xe2\xa4\xbc\x0b\x03curlyeqprec\xe2\x8b\x9e\x0b\x03curlyeqsucc\xe2\x8b\x9f\x08\x03cu" ++
    "rlyvee\xe2\x8b\x8e\x0a\x03curlywedge\xe2\x8b\x8f\x86\x02curren\xc2\xa4\x0e\x03curvearrowleft\xe2\x86\xb6\x0f\x03curvearrowright\xe2\x86\xb7\x05\x03cuvee" ++
    "\xe2\x8b\x8e\x05\x03cuwed\xe2\x8b\x8f\x08\x03cwconint\xe2\x88\xb2\x05\x03cwint\xe2\x88\xb1\x06\x03cylcty\xe2\x8c\xad\x04\x03dArr\xe2\x87\x93\x04\x03dHar\xe2\xa5\xa5\x06\x03dagger\xe2\x80\xa0\x06\x03da" ++
    "leth\xe2\x84\xb8\x04\x03darr\xe2\x86\x93\x04\x03dash\xe2\x80\x90\x05\x03dashv\xe2\x8a\xa3\x07\x03dbkarow\xe2\xa4\x8f\x05\x02dblac\xcb\x9d\x06\x02dcaron\xc4\x8f\x03\x02dcy\xd0\xb4\x02\x03dd\xe2\x85\x86" ++
    "\x07\x03ddagger\xe2\x80\xa1\x05\x03ddarr\xe2\x87\x8a\x07\x03ddotseq\xe2\xa9\xb7\x83\x02deg\xc2\xb0\x05\x02delta\xce\xb4\x07\x03demptyv\xe2\xa6\xb1\x06\x03dfisht\xe2\xa5\xbf\x03\x04dfr\xf0\x9d" ++
    "\x94\xa1\x05\x03dharl\xe2\x87\x83\x05\x03dharr\xe2\x87\x82\x04\x03diam\xe2\x8b\x84\x07\x03diamond\xe2\x8b\x84\x0b\x03diamondsuit\xe2\x99\xa6\x05\x03diams\xe2\x99\xa6\x03\x02die\xc2\xa8\x07\x02di" ++
    "gamma\xcf\x9d\x05\x03disin\xe2\x8b\xb2\x03\x02div\xc3\xb7\x86\x02divide\xc3\xb7\x0d\x03divideontimes\xe2\x8b\x87\x06\x03divonx\xe2\x8b\x87\x04\x02djcy\xd1\x92\x06\x03dlcorn\xe2" ++
    "\x8c\x9e\x06\x03dlcrop\xe2\x8c\x8d\x06\x01dollar$\x04\x04dopf\xf0\x9d\x95\x95\x03\x02dot\xcb\x99\x05\x03doteq\xe2\x89\x90\x08\x03doteqdot\xe2\x89\x91\x08\x03dotminus\xe2\x88\xb8\x07\x03dot" ++
    "plus\xe2\x88\x94\x09\x03dotsquare\xe2\x8a\xa1\x0e\x03doublebarwedge\xe2\x8c\x86\x09\x03downarrow\xe2\x86\x93\x0e\x03downdownarrows\xe2\x87\x8a\x0f\x03downh" ++
    "arpoonleft\xe2\x87\x83\x10\x03downharpoonright\xe2\x87\x82\x08\x03drbkarow\xe2\xa4\x90\x06\x03drcorn\xe2\x8c\x9f\x06\x03drcrop\xe2\x8c\x8c\x04\x04dscr\xf0\x9d\x92\xb9\x04" ++
    "\x02dscy\xd1\x95\x04\x03dsol\xe2\xa7\xb6\x06\x02dstrok\xc4\x91\x05\x03dtdot\xe2\x8b\xb1\x04\x03dtri\xe2\x96\xbf\x05\x03dtrif\xe2\x96\xbe\x05\x03duarr\xe2\x87\xb5\x05\x03duhar\xe2\xa5\xaf\x07\x03dwa" ++
    "ngle\xe2\xa6\xa6\x04\x02dzcy\xd1\x9f\x08\x03dzigrarr\xe2\x9f\xbf\x05\x03eDDot\xe2\xa9\xb7\x04\x03eDot\xe2\x89\x91\x86\x02eacute\xc3\xa9\x06\x03easter\xe2\xa9\xae\x06\x02ecaron\xc4\x9b\x04\x03" ++
    "ecir\xe2\x89\x96\x85\x02ecirc\xc3\xaa\x06\x03ecolon\xe2\x89\x95\x03\x02ecy\xd1\x8d\x04\x02edot\xc4\x97\x02\x03ee\xe2\x85\x87\x05\x03efDot\xe2\x89\x92\x03\x04efr\xf0\x9d\x94\xa2\x02\x03eg\xe2\xaa\x9a\x86\x02egr" ++
    "ave\xc3\xa8\x03\x03egs\xe2\xaa\x96\x06\x03egsdot\xe2\xaa\x98\x02\x03el\xe2\xaa\x99\x08\x03elinters\xe2\x8f\xa7\x03\x03ell\xe2\x84\x93\x03\x03els\xe2\xaa\x95\x06\x03elsdot\xe2\xaa\x97\x05\x02emacr\xc4\x93" ++
    "\x05\x03empty\xe2\x88\x85\x08\x03emptyset\xe2\x88\x85\x06\x03emptyv\xe2\x88\x85\x04\x03emsp\xe2\x80\x83\x06\x03emsp13\xe2\x80\x84\x06\x03emsp14\xe2\x80\x85\x03\x02eng\xc5\x8b\x04\x03ensp\xe2\x80" ++
    "\x82\x05\x02eogon\xc4\x99\x04\x04eopf\xf0\x9d\x95\x96\x04\x03epar\xe2\x8b\x95\x06\x03eparsl\xe2\xa7\xa3\x05\x03eplus\xe2\xa9\xb1\x04\x02epsi\xce\xb5\x07\x02epsilon\xce\xb5\x05\x02epsiv\xcf\xb5\x06\x03" ++
    "eqcirc\xe2\x89\x96\x07\x03eqcolon\xe2\x89\x95\x05\x03eqsim\xe2\x89\x82\x0a\x03eqslantgtr\xe2\xaa\x96\x0b\x03eqslantless\xe2\xaa\x95\x06\x01equals=\x06\x03equest\xe2" ++
    "\x89\x9f\x05\x03equiv\xe2\x89\xa1\x07\x03equivDD\xe2\xa9\xb8\x08\x03eqvparsl\xe2\xa7\xa5\x05\x03erDot\xe2\x89\x93\x05\x03erarr\xe2\xa5\xb1\x04\x03escr\xe2\x84\xaf\x05\x03esdot\xe2\x89\x90\x04\x03es" ++
    "im\xe2\x89\x82\x03\x02eta\xce\xb7\x83\x02eth\xc3\xb0\x84\x02euml\xc3\xab\x04\x03euro\xe2\x82\xac\x04\x01excl!\x05\x03exist\xe2\x88\x83\x0b\x03expectation\xe2\x84\xb0\x0c\x03exponenti" ++
    "ale\xe2\x85\x87\x0d\x03fallingdotseq\xe2\x89\x92\x03\x02fcy\xd1\x84\x06\x03female\xe2\x99\x80\x06\x03ffilig\xef\xac\x83\x05\x03fflig\xef\xac\x80\x06\x03ffllig\xef\xac\x84\x03\x04ffr\xf0" ++
    "\x9d\x94\xa3\x05\x03filig\xef\xac\x81\x05\x02fjligfj\x04\x03flat\xe2\x99\xad\x05\x03fllig\xef\xac\x82\x05\x03fltns\xe2\x96\xb1\x04\x02fnof\xc6\x92\x04\x04fopf\xf0\x9d\x95\x97\x06\x03forall\xe2\x88\x80" ++
    "\x04\x03fork\xe2\x8b\x94\x05\x03forkv\xe2\xab\x99\x08\x03fpartint\xe2\xa8\x8d\x86\x02frac12\xc2\xbd\x06\x03frac13\xe2\x85\x93\x86\x02frac14\xc2\xbc\x06\x03frac15\xe2\x85\x95\x06\x03frac" ++
    "16\xe2\x85\x99\x06\x03frac18\xe2\x85\x9b\x06\x03frac23\xe2\x85\x94\x06\x03frac25\xe2\x85\x96\x86\x02frac34\xc2\xbe\x06\x03frac35\xe2\x85\x97\x06\x03frac38\xe2\x85\x9c\x06\x03frac45\xe2\x85" ++
    "\x98\x06\x03frac56\xe2\x85\x9a\x06\x03frac58\xe2\x85\x9d\x06\x03frac78\xe2\x85\x9e\x05\x03frasl\xe2\x81\x84\x05\x03frown\xe2\x8c\xa2\x04\x04fscr\xf0\x9d\x92\xbb\x02\x03gE\xe2\x89\xa7\x03\x03gEl\xe2\xaa\x8c\x06" ++
    "\x02gacute\xc7\xb5\x05\x02gamma\xce\xb3\x06\x02gammad\xcf\x9d\x03\x03gap\xe2\xaa\x86\x06\x02gbreve\xc4\x9f\x05\x02gcirc\xc4\x9d\x03\x02gcy\xd0\xb3\x04\x02gdot\xc4\xa1\x02\x03ge\xe2\x89\xa5\x03\x03g" ++
    "el\xe2\x8b\x9b\x03\x03geq\xe2\x89\xa5\x04\x03geqq\xe2\x89\xa7\x08\x03geqslant\xe2\xa9\xbe\x03\x03ges\xe2\xa9\xbe\x05\x03gescc\xe2\xaa\xa9\x06\x03gesdot\xe2\xaa\x80\x07\x03gesdoto\xe2\xaa\x82\x08\x03ge" ++
    "sdotol\xe2\xaa\x84\x04\x06gesl\xe2\x8b\x9b\xef\xb8\x80\x06\x03gesles\xe2\xaa\x94\x03\x04gfr\xf0\x9d\x94\xa4\x02\x03gg\xe2\x89\xab\x03\x03ggg\xe2\x8b\x99\x05\x03gimel\xe2\x84\xb7\x04\x02gjcy\xd1\x93\x02\x03gl\xe2\x89" ++
    "\xb7\x03\x03glE\xe2\xaa\x92\x03\x03gla\xe2\xaa\xa5\x03\x03glj\xe2\xaa\xa4\x03\x03gnE\xe2\x89\xa9\x04\x03gnap\xe2\xaa\x8a\x08\x03gnapprox\xe2\xaa\x8a\x03\x03gne\xe2\xaa\x88\x04\x03gneq\xe2\xaa\x88\x05\x03gneqq\xe2" ++
    "\x89\xa9\x05\x03gnsim\xe2\x8b\xa7\x04\x04gopf\xf0\x9d\x95\x98\x05\x01grave`\x04\x03gscr\xe2\x84\x8a\x04\x03gsim\xe2\x89\xb3\x05\x03gsime\xe2\xaa\x8e\x05\x03gsiml\xe2\xaa\x90\x82\x01gt>\x04\x03gtcc\xe2" ++
    "\xaa\xa7\x05\x03gtcir\xe2\xa9\xba\x05\x03gtdot\xe2\x8b\x97\x06\x03gtlPar\xe2\xa6\x95\x07\x03gtquest\xe2\xa9\xbc\x09\x03gtrapprox\xe2\xaa\x86\x06\x03gtrarr\xe2\xa5\xb8\x06\x03gtrdot\xe2\x8b" ++
    "\x97\x09\x03gtreqless\xe2\x8b\x9b\x0a\x03gtreqqless\xe2\xaa\x8c\x07\x03gtrless\xe2\x89\xb7\x06\x03gtrsim\xe2\x89\xb3\x09\x06gvertneqq\xe2\x89\xa9\xef\xb8\x80\x04\x06gvnE\xe2\x89\xa9\xef" ++
    "\xb8\x80\x04\x03hArr\xe2\x87\x94\x06\x03hairsp\xe2\x80\x8a\x04\x02half\xc2\xbd\x06\x03hamilt\xe2\x84\x8b\x06\x02hardcy\xd1\x8a\x04\x03harr\xe2\x86\x94\x07\x03harrcir\xe2\xa5\x88\x05\x03harrw\xe2" ++
    "\x86\xad\x04\x03hbar\xe2\x84\x8f\x05\x02hcirc\xc4\xa5\x06\x03hearts\xe2\x99\xa5\x09\x03heartsuit\xe2\x99\xa5\x06\x03hellip\xe2\x80\xa6\x06\x03hercon\xe2\x8a\xb9\x03\x04hfr\xf0\x9d\x94\xa5\x08\x03hk" ++
    "searow\xe2\xa4\xa5\x08\x03hkswarow\xe2\xa4\xa6\x05\x03hoarr\xe2\x87\xbf\x06\x03homtht\xe2\x88\xbb\x0d\x03hookleftarrow\xe2\x86\xa9\x0e\x03hookrightarrow\xe2\x86\xaa" ++
    "\x04\x04hopf\xf0\x9d\x95\x99\x06\x03horbar\xe2\x80\x95\x04\x04hscr\xf0\x9d\x92\xbd\x06\x03hslash\xe2\x84\x8f\x06\x02hstrok\xc4\xa7\x06\x03hybull\xe2\x81\x83\x06\x03hyphen\xe2\x80\x90\x86\x02iacu" ++
    "te\xc3\xad\x02\x03ic\xe2\x81\xa3\x85\x02icirc\xc3\xae\x03\x02icy\xd0\xb8\x04\x02iecy\xd0\xb5\x85\x02iexcl\xc2\xa1\x03\x03iff\xe2\x87\x94\x03\x04ifr\xf0\x9d\x94\xa6\x86\x02igrave\xc3\xac\x02\x03ii\xe2\x85\x88\x06\x03" ++
    "iiiint\xe2\xa8\x8c\x05\x03iiint\xe2\x88\xad\x06\x03iinfin\xe2\xa7\x9c\x05\x03iiota\xe2\x84\xa9\x05\x02ijlig\xc4\xb3\x05\x02imacr\xc4\xab\x05\x03image\xe2\x84\x91\x08\x03imagline\xe2\x84" ++
    "\x90\x08\x03imagpart\xe2\x84\x91\x05\x02imath\xc4\xb1\x04\x03imof\xe2\x8a\xb7\x05\x02imped\xc6\xb5\x02\x03in\xe2\x88\x88\x06\x03incare\xe2\x84\x85\x05\x03infin\xe2\x88\x9e\x08\x03infintie\xe2" ++
    "\xa7\x9d\x06\x02inodot\xc4\xb1\x03\x03int\xe2\x88\xab\x06\x03intcal\xe2\x8a\xba\x08\x03integers\xe2\x84\xa4\x08\x03intercal\xe2\x8a\xba\x08\x03intlarhk\xe2\xa8\x97\x07\x03intprod\xe2" ++
    "\xa8\xbc\x04\x02iocy\xd1\x91\x05\x02iogon\xc4\xaf\x04\x04iopf\xf0\x9d\x95\x9a\x04\x02iota\xce\xb9\x05\x03iprod\xe2\xa8\xbc\x86\x02iquest\xc2\xbf\x04\x04iscr\xf0\x9d\x92\xbe\x04\x03isin\xe2\x88\x88\x05\x03is" ++
    "inE\xe2\x8b\xb9\x07\x03isindot\xe2\x8b\xb5\x05\x03isins\xe2\x8b\xb4\x06\x03isinsv\xe2\x8b\xb3\x05\x03isinv\xe2\x88\x88\x02\x03it\xe2\x81\xa2\x06\x02itilde\xc4\xa9\x05\x02iukcy\xd1\x96\x84\x02ium" ++
    "l\xc3\xaf\x05\x02jcirc\xc4\xb5\x03\x02jcy\xd0\xb9\x03\x04jfr\xf0\x9d\x94\xa7\x05\x02jmath\xc8\xb7\x04\x04jopf\xf0\x9d\x95\x9b\x04\x04jscr\xf0\x9d\x92\xbf\x06\x02jsercy\xd1\x98\x05\x02jukcy\xd1\x94\x05\x02ka" ++
    "ppa\xce\xba\x06\x02kappav\xcf\xb0\x06\x02kcedil\xc4\xb7\x03\x02kcy\xd0\xba\x03\x04kfr\xf0\x9d\x94\xa8\x06\x02kgreen\xc4\xb8\x04\x02khcy\xd1\x85\x04\x02kjcy\xd1\x9c\x04\x04kopf\xf0\x9d\x95\x9c\x04\x04k" ++
    "scr\xf0\x9d\x93\x80\x05\x03lAarr\xe2\x87\x9a\x04\x03lArr\xe2\x87\x90\x06\x03lAtail\xe2\xa4\x9b\x05\x03lBarr\xe2\xa4\x8e\x02\x03lE\xe2\x89\xa6\x03\x03lEg\xe2\xaa\x8b\x04\x03lHar\xe2\xa5\xa2\x06\x02lacute\xc4" ++
    "\xba\x08\x03laemptyv\xe2\xa6\xb4\x06\x03lagran\xe2\x84\x92\x06\x02lambda\xce\xbb\x04\x03lang\xe2\x9f\xa8\x05\x03langd\xe2\xa6\x91\x06\x03langle\xe2\x9f\xa8\x03\x03lap\xe2\xaa\x85\x85\x02laquo" ++
    "\xc2\xab\x04\x03larr\xe2\x86\x90\x05\x03larrb\xe2\x87\xa4\x07\x03larrbfs\xe2\xa4\x9f\x06\x03larrfs\xe2\xa4\x9d\x06\x03larrhk\xe2\x86\xa9\x06\x03larrlp\xe2\x86\xab\x06\x03larrpl\xe2\xa4\xb9\x07\x03l" ++
    "arrsim\xe2\xa5\xb3\x06\x03larrtl\xe2\x86\xa2\x03\x03lat\xe2\xaa\xab\x06\x03latail\xe2\xa4\x99\x04\x03late\xe2\xaa\xad\x05\x06lates\xe2\xaa\xad\xef\xb8\x80\x05\x03lbarr\xe2\xa4\x8c\x05\x03lbbrk\xe2\x9d" ++
    "\xb2\x06\x01lbrace{\x06\x01lbrack[\x05\x03lbrke\xe2\xa6\x8b\x07\x03lbrksld\xe2\xa6\x8f\x07\x03lbrkslu\xe2\xa6\x8d\x06\x02lcaron\xc4\xbe\x06\x02lcedil\xc4\xbc\x05\x03lceil" ++
    "\xe2\x8c\x88\x04\x01lcub{\x03\x02lcy\xd0\xbb\x04\x03ldca\xe2\xa4\xb6\x05\x03ldquo\xe2\x80\x9c\x06\x03ldquor\xe2\x80\x9e\x07\x03ldrdhar\xe2\xa5\xa7\x08\x03ldrushar\xe2\xa5\x8b\x04\x03ldsh\xe2\x86" ++
    "\xb2\x02\x03le\xe2\x89\xa4\x09\x03leftarrow\xe2\x86\x90\x0d\x03leftarrowtail\xe2\x86\xa2\x0f\x03leftharpoondown\xe2\x86\xbd\x0d\x03leftharpoonup\xe2\x86\xbc\x0e\x03" ++
    "leftleftarrows\xe2\x87\x87\x0e\x03leftrightarrow\xe2\x86\x94\x0f\x03leftrightarrows\xe2\x87\x86\x11\x03leftrightharpoons\xe2\x87\x8b\x13\x03" ++
    "leftrightsquigarrow\xe2\x86\xad\x0e\x03leftthreetimes\xe2\x8b\x8b\x03\x03leg\xe2\x8b\x9a\x03\x03leq\xe2\x89\xa4\x04\x03leqq\xe2\x89\xa6\x08\x03leqslant\xe2\xa9\xbd\x03" ++
    "\x03les\xe2\xa9\xbd\x05\x03lescc\xe2\xaa\xa8\x06\x03lesdot\xe2\xa9\xbf\x07\x03lesdoto\xe2\xaa\x81\x08\x03lesdotor\xe2\xaa\x83\x04\x06lesg\xe2\x8b\x9a\xef\xb8\x80\x06\x03lesges\xe2\xaa\x93\x0a\x03le" ++
    "ssapprox\xe2\xaa\x85\x07\x03lessdot\xe2\x8b\x96\x09\x03lesseqgtr\xe2\x8b\x9a\x0a\x03lesseqqgtr\xe2\xaa\x8b\x07\x03lessgtr\xe2\x89\xb6\x07\x03lesssim\xe2\x89\xb2\x06\x03lf" ++
    "isht\xe2\xa5\xbc\x06\x03lfloor\xe2\x8c\x8a\x03\x04lfr\xf0\x9d\x94\xa9\x02\x03lg\xe2\x89\xb6\x03\x03lgE\xe2\xaa\x91\x05\x03lhard\xe2\x86\xbd\x05\x03lharu\xe2\x86\xbc\x06\x03lharul\xe2\xa5\xaa\x05\x03lhblk" ++
    "\xe2\x96\x84\x04\x02ljcy\xd1\x99\x02\x03ll\xe2\x89\xaa\x05\x03llarr\xe2\x87\x87\x08\x03llcorner\xe2\x8c\x9e\x06\x03llhard\xe2\xa5\xab\x05\x03lltri\xe2\x97\xba\x06\x02lmidot\xc5\x80\x06\x03lmoust" ++
    "\xe2\x8e\xb0\x0a\x03lmoustache\xe2\x8e\xb0\x03\x03lnE\xe2\x89\xa8\x04\x03lnap\xe2\xaa\x89\x08\x03lnapprox\xe2\xaa\x89\x03\x03lne\xe2\xaa\x87\x04\x03lneq\xe2\xaa\x87\x05\x03lneqq\xe2\x89\xa8\x05\x03lns" ++
    "im\xe2\x8b\xa6\x05\x03loang\xe2\x9f\xac\x05\x03loarr\xe2\x87\xbd\x05\x03lobrk\xe2\x9f\xa6\x0d\x03longleftarrow\xe2\x9f\xb5\x12\x03longleftrightarrow\xe2\x9f\xb7\x0a\x03lo" ++
    "ngmapsto\xe2\x9f\xbc\x0e\x03longrightarrow\xe2\x9f\xb6\x0d\x03looparrowleft\xe2\x86\xab\x0e\x03looparrowright\xe2\x86\xac\x05\x03lopar\xe2\xa6\x85\x04\x04l" ++
    "opf\xf0\x9d\x95\x9d\x06\x03loplus\xe2\xa8\xad\x07\x03lotimes\xe2\xa8\xb4\x06\x03lowast\xe2\x88\x97\x06\x01lowbar_\x03\x03loz\xe2\x97\x8a\x07\x03lozenge\xe2\x97\x8a\x04\x03lozf\xe2\xa7\xab\x04" ++
    "\x01lpar(\x06\x03lparlt\xe2\xa6\x93\x05\x03lrarr\xe2\x87\x86\x08\x03lrcorner\xe2\x8c\x9f\x05\x03lrhar\xe2\x87\x8b\x06\x03lrhard\xe2\xa5\xad\x03\x03lrm\xe2\x80\x8e\x05\x03lrtri\xe2\x8a\xbf\x06" ++
    "\x03lsaquo\xe2\x80\xb9\x04\x04lscr\xf0\x9d\x93\x81\x03\x03lsh\xe2\x86\xb0\x04\x03lsim\xe2\x89\xb2\x05\x03lsime\xe2\xaa\x8d\x05\x03lsimg\xe2\xaa\x8f\x04\x01lsqb[\x05\x03lsquo\xe2\x80\x98\x06\x03lsqu" ++
    "or\xe2\x80\x9a\x06\x02lstrok\xc5\x82\x82\x01lt<\x04\x03ltcc\xe2\xaa\xa6\x05\x03ltcir\xe2\xa9\xb9\x05\x03ltdot\xe2\x8b\x96\x06\x03lthree\xe2\x8b\x8b\x06\x03ltimes\xe2\x8b\x89\x06\x03ltlarr\xe2" ++
    "\xa5\xb6\x07\x03ltquest\xe2\xa9\xbb\x06\x03ltrPar\xe2\xa6\x96\x04\x03ltri\xe2\x97\x83\x05\x03ltrie\xe2\x8a\xb4\x05\x03ltrif\xe2\x97\x82\x08\x03lurdshar\xe2\xa5\x8a\x07\x03luruhar\xe2\xa5\xa6\x09" ++
    "\x06lvertneqq\xe2\x89\xa8\xef\xb8\x80\x04\x06lvnE\xe2\x89\xa8\xef\xb8\x80\x05\x03mDDot\xe2\x88\xba\x84\x02macr\xc2\xaf\x04\x03male\xe2\x99\x82\x04\x03malt\xe2\x9c\xa0\x07\x03maltese\xe2\x9c\xa0\x03\x03ma" ++
    "p\xe2\x86\xa6\x06\x03mapsto\xe2\x86\xa6\x0a\x03mapstodown\xe2\x86\xa7\x0a\x03mapstoleft\xe2\x86\xa4\x08\x03mapstoup\xe2\x86\xa5\x06\x03marker\xe2\x96\xae\x06\x03mcomma\xe2\xa8\xa9" ++
    "\x03\x02mcy\xd0\xbc\x05\x03mdash\xe2\x80\x94\x0d\x03measuredangle\xe2\x88\xa1\x03\x04mfr\xf0\x9d\x94\xaa\x03\x03mho\xe2\x84\xa7\x85\x02micro\xc2\xb5\x03\x03mid\xe2\x88\xa3\x06\x01midast*\x06\x03" ++
    "midcir\xe2\xab\xb0\x86\x02middot\xc2\xb7\x05\x03minus\xe2\x88\x92\x06\x03minusb\xe2\x8a\x9f\x06\x03minusd\xe2\x88\xb8\x07\x03minusdu\xe2\xa8\xaa\x04\x03mlcp\xe2\xab\x9b\x04\x03mldr\xe2\x80" ++
    "\xa6\x06\x03mnplus\xe2\x88\x93\x06\x03models\xe2\x8a\xa7\x04\x04mopf\xf0\x9d\x95\x9e\x02\x03mp\xe2\x88\x93\x04\x04mscr\xf0\x9d\x93\x82\x06\x03mstpos\xe2\x88\xbe\x02\x02mu\xce\xbc\x08\x03multimap\xe2\x8a\xb8" ++
    "\x05\x03mumap\xe2\x8a\xb8\x03\x05nGg\xe2\x8b\x99\xcc\xb8\x03\x06nGt\xe2\x89\xab\xe2\x83\x92\x04\x05nGtv\xe2\x89\xab\xcc\xb8\x0a\x03nLeftarrow\xe2\x87\x8d\x0f\x03nLeftrightarrow\xe2\x87\x8e\x03\x05n" ++
    "Ll\xe2\x8b\x98\xcc\xb8\x03\x06nLt\xe2\x89\xaa\xe2\x83\x92\x04\x05nLtv\xe2\x89\xaa\xcc\xb8\x0b\x03nRightarrow\xe2\x87\x8f\x06\x03nVDash\xe2\x8a\xaf\x06\x03nVdash\xe2\x8a\xae\x05\x03nabla\xe2\x88\x87\x06\x02n" ++
    "acute\xc5\x84\x04\x06nang\xe2\x88\xa0\xe2\x83\x92\x03\x03nap\xe2\x89\x89\x04\x05napE\xe2\xa9\xb0\xcc\xb8\x05\x05napid\xe2\x89\x8b\xcc\xb8\x05\x02napos\xc5\x89\x07\x03napprox\xe2\x89\x89\x05\x03natur\xe2\x99" ++
    "\xae\x07\x03natural\xe2\x99\xae\x08\x03naturals\xe2\x84\x95\x84\x02nbsp\xc2\xa0\x05\x05nbump\xe2\x89\x8e\xcc\xb8\x06\x05nbumpe\xe2\x89\x8f\xcc\xb8\x04\x03ncap\xe2\xa9\x83\x06\x02ncaron\xc5\x88\x06\x02" ++
    "ncedil\xc5\x86\x05\x03ncong\xe2\x89\x87\x08\x05ncongdot\xe2\xa9\xad\xcc\xb8\x04\x03ncup\xe2\xa9\x82\x03\x02ncy\xd0\xbd\x05\x03ndash\xe2\x80\x93\x02\x03ne\xe2\x89\xa0\x05\x03neArr\xe2\x87\x97\x06\x03ne" ++
    "arhk\xe2\xa4\xa4\x05\x03nearr\xe2\x86\x97\x07\x03nearrow\xe2\x86\x97\x05\x05nedot\xe2\x89\x90\xcc\xb8\x06\x03nequiv\xe2\x89\xa2\x06\x03nesear\xe2\xa4\xa8\x05\x05nesim\xe2\x89\x82\xcc\xb8\x06\x03nex" ++
    "ist\xe2\x88\x84\x07\x03nexists\xe2\x88\x84\x03\x04nfr\xf0\x9d\x94\xab\x03\x05ngE\xe2\x89\xa7\xcc\xb8\x03\x03nge\xe2\x89\xb1\x04\x03ngeq\xe2\x89\xb1\x05\x05ngeqq\xe2\x89\xa7\xcc\xb8\x09\x05ngeqslant\xe2\xa9\xbe" ++
    "\xcc\xb8\x04\x05nges\xe2\xa9\xbe\xcc\xb8\x05\x03ngsim\xe2\x89\xb5\x03\x03ngt\xe2\x89\xaf\x04\x03ngtr\xe2\x89\xaf\x05\x03nhArr\xe2\x87\x8e\x05\x03nharr\xe2\x86\xae\x05\x03nhpar\xe2\xab\xb2\x02\x03ni\xe2\x88\x8b\x03\x03n" ++
    "is\xe2\x8b\xbc\x04\x03nisd\xe2\x8b\xba\x03\x03niv\xe2\x88\x8b\x04\x02njcy\xd1\x9a\x05\x03nlArr\xe2\x87\x8d\x03\x05nlE\xe2\x89\xa6\xcc\xb8\x05\x03nlarr\xe2\x86\x9a\x04\x03nldr\xe2\x80\xa5\x03\x03nle\xe2\x89\xb0\x0a\x03n" ++
    "leftarrow\xe2\x86\x9a\x0f\x03nleftrightarrow\xe2\x86\xae\x04\x03nleq\xe2\x89\xb0\x05\x05nleqq\xe2\x89\xa6\xcc\xb8\x09\x05nleqslant\xe2\xa9\xbd\xcc\xb8\x04\x05nles\xe2\xa9\xbd\xcc\xb8" ++
    "\x05\x03nless\xe2\x89\xae\x05\x03nlsim\xe2\x89\xb4\x03\x03nlt\xe2\x89\xae\x05\x03nltri\xe2\x8b\xaa\x06\x03nltrie\xe2\x8b\xac\x04\x03nmid\xe2\x88\xa4\x04\x04nopf\xf0\x9d\x95\x9f\x83\x02not\xc2\xac\x05\x03not" ++
    "in\xe2\x88\x89\x06\x05notinE\xe2\x8b\xb9\xcc\xb8\x08\x05notindot\xe2\x8b\xb5\xcc\xb8\x07\x03notinva\xe2\x88\x89\x07\x03notinvb\xe2\x8b\xb7\x07\x03notinvc\xe2\x8b\xb6\x05\x03notni\xe2\x88\x8c\x07" ++
    "\x03notniva\xe2\x88\x8c\x07\x03notnivb\xe2\x8b\xbe\x07\x03notnivc\xe2\x8b\xbd\x04\x03npar\xe2\x88\xa6\x09\x03nparallel\xe2\x88\xa6\x06\x06nparsl\xe2\xab\xbd\xe2\x83\xa5\x05\x05npart\xe2" ++
    "\x88\x82\xcc\xb8\x07\x03npolint\xe2\xa8\x94\x03\x03npr\xe2\x8a\x80\x06\x03nprcue\xe2\x8b\xa0\x04\x05npre\xe2\xaa\xaf\xcc\xb8\x05\x03nprec\xe2\x8a\x80\x07\x05npreceq\xe2\xaa\xaf\xcc\xb8\x05\x03nrArr\xe2\x87\x8f" ++
    "\x05\x03nrarr\xe2\x86\x9b\x06\x05nrarrc\xe2\xa4\xb3\xcc\xb8\x06\x05nrarrw\xe2\x86\x9d\xcc\xb8\x0b\x03nrightarrow\xe2\x86\x9b\x05\x03nrtri\xe2\x8b\xab\x06\x03nrtrie\xe2\x8b\xad\x03\x03nsc\xe2\x8a" ++
    "\x81\x06\x03nsccue\xe2\x8b\xa1\x04\x05nsce\xe2\xaa\xb0\xcc\xb8\x04\x04nscr\xf0\x9d\x93\x83\x09\x03nshortmid\xe2\x88\xa4\x0e\x03nshortparallel\xe2\x88\xa6\x04\x03nsim\xe2\x89\x81\x05\x03nsi" ++
    "me\xe2\x89\x84\x06\x03nsimeq\xe2\x89\x84\x05\x03nsmid\xe2\x88\xa4\x05\x03nspar\xe2\x88\xa6\x07\x03nsqsube\xe2\x8b\xa2\x07\x03nsqsupe\xe2\x8b\xa3\x04\x03nsub\xe2\x8a\x84\x05\x05nsubE\xe2\xab\x85\xcc" ++
    "\xb8\x05\x03nsube\xe2\x8a\x88\x07\x06nsubset\xe2\x8a\x82\xe2\x83\x92\x09\x03nsubseteq\xe2\x8a\x88\x0a\x05nsubseteqq\xe2\xab\x85\xcc\xb8\x05\x03nsucc\xe2\x8a\x81\x07\x05nsucceq\xe2\xaa\xb0\xcc" ++
    "\xb8\x04\x03nsup\xe2\x8a\x85\x05\x05nsupE\xe2\xab\x86\xcc\xb8\x05\x03nsupe\xe2\x8a\x89\x07\x06nsupset\xe2\x8a\x83\xe2\x83\x92\x09\x03nsupseteq\xe2\x8a\x89\x0a\x05nsupseteqq\xe2\xab\x86\xcc\xb8\x04\x03" ++
    "ntgl\xe2\x89\xb9\x86\x02ntilde\xc3\xb1\x04\x03ntlg\xe2\x89\xb8\x0d\x03ntriangleleft\xe2\x8b\xaa\x0f\x03ntrianglelefteq\xe2\x8b\xac\x0e\x03ntriangleright" ++
    "\xe2\x8b\xab\x10\x03ntrianglerighteq\xe2\x8b\xad\x02\x02nu\xce\xbd\x03\x01num#\x06\x03numero\xe2\x84\x96\x05\x03numsp\xe2\x80\x87\x06\x03nvDash\xe2\x8a\xad\x06\x03nvHarr\xe2\xa4\x84\x04" ++
    "\x06nvap\xe2\x89\x8d\xe2\x83\x92\x06\x03nvdash\xe2\x8a\xac\x04\x06nvge\xe2\x89\xa5\xe2\x83\x92\x04\x04nvgt>\xe2\x83\x92\x07\x03nvinfin\xe2\xa7\x9e\x06\x03nvlArr\xe2\xa4\x82\x04\x06nvle\xe2\x89\xa4\xe2\x83\x92\x04" ++
    "\x04nvlt<\xe2\x83\x92\x07\x06nvltrie\xe2\x8a\xb4\xe2\x83\x92\x06\x03nvrArr\xe2\xa4\x83\x07\x06nvrtrie\xe2\x8a\xb5\xe2\x83\x92\x05\x06nvsim\xe2\x88\xbc\xe2\x83\x92\x05\x03nwArr\xe2\x87\x96\x06\x03nwarh" ++
    "k\xe2\xa4\xa3\x05\x03nwarr\xe2\x86\x96\x07\x03nwarrow\xe2\x86\x96\x06\x03nwnear\xe2\xa4\xa7\x02\x03oS\xe2\x93\x88\x86\x02oacute\xc3\xb3\x04\x03oast\xe2\x8a\x9b\x04\x03ocir\xe2\x8a\x9a\x85\x02ocirc\xc3" ++
    "\xb4\x03\x02ocy\xd0\xbe\x05\x03odash\xe2\x8a\x9d\x06\x02odblac\xc5\x91\x04\x03odiv\xe2\xa8\xb8\x04\x03odot\xe2\x8a\x99\x06\x03odsold\xe2\xa6\xbc\x05\x02oelig\xc5\x93\x05\x03ofcir\xe2\xa6\xbf\x03\x04of" ++
    "r\xf0\x9d\x94\xac\x04\x02ogon\xcb\x9b\x86\x02ograve\xc3\xb2\x03\x03ogt\xe2\xa7\x81\x05\x03ohbar\xe2\xa6\xb5\x03\x02ohm\xce\xa9\x04\x03oint\xe2\x88\xae\x05\x03olarr\xe2\x86\xba\x05\x03olcir\xe2\xa6\xbe\x07\x03o" ++
    "lcross\xe2\xa6\xbb\x05\x03oline\xe2\x80\xbe\x03\x03olt\xe2\xa7\x80\x05\x02omacr\xc5\x8d\x05\x02omega\xcf\x89\x07\x02omicron\xce\xbf\x04\x03omid\xe2\xa6\xb6\x06\x03ominus\xe2\x8a\x96\x04\x04oo" ++
    "pf\xf0\x9d\x95\xa0\x04\x03opar\xe2\xa6\xb7\x05\x03operp\xe2\xa6\xb9\x05\x03oplus\xe2\x8a\x95\x02\x03or\xe2\x88\xa8\x05\x03orarr\xe2\x86\xbb\x03\x03ord\xe2\xa9\x9d\x05\x03order\xe2\x84\xb4\x07\x03orderof\xe2" ++
    "\x84\xb4\x84\x02ordf\xc2\xaa\x84\x02ordm\xc2\xba\x06\x03origof\xe2\x8a\xb6\x04\x03oror\xe2\xa9\x96\x07\x03orslope\xe2\xa9\x97\x03\x03orv\xe2\xa9\x9b\x04\x03oscr\xe2\x84\xb4\x86\x02oslash\xc3\xb8\x04\x03o" ++
    "sol\xe2\x8a\x98\x86\x02otilde\xc3\xb5\x06\x03otimes\xe2\x8a\x97\x08\x03otimesas\xe2\xa8\xb6\x84\x02ouml\xc3\xb6\x05\x03ovbar\xe2\x8c\xbd\x03\x03par\xe2\x88\xa5\x84\x02para\xc2\xb6\x08\x03para" ++
    "llel\xe2\x88\xa5\x06\x03parsim\xe2\xab\xb3\x05\x03parsl\xe2\xab\xbd\x04\x03part\xe2\x88\x82\x03\x02pcy\xd0\xbf\x06\x01percnt%\x06\x01period.\x06\x03permil\xe2\x80\xb0\x04\x03perp\xe2" ++
    "\x8a\xa5\x07\x03pertenk\xe2\x80\xb1\x03\x04pfr\xf0\x9d\x94\xad\x03\x02phi\xcf\x86\x04\x02phiv\xcf\x95\x06\x03phmmat\xe2\x84\xb3\x05\x03phone\xe2\x98\x8e\x02\x02pi\xcf\x80\x09\x03pitchfork\xe2\x8b\x94\x03" ++
    "\x02piv\xcf\x96\x06\x03planck\xe2\x84\x8f\x07\x03planckh\xe2\x84\x8e\x06\x03plankv\xe2\x84\x8f\x04\x01plus+\x08\x03plusacir\xe2\xa8\xa3\x05\x03plusb\xe2\x8a\x9e\x07\x03pluscir\xe2" ++
    "\xa8\xa2\x06\x03plusdo\xe2\x88\x94\x06\x03plusdu\xe2\xa8\xa5\x05\x03pluse\xe2\xa9\xb2\x86\x02plusmn\xc2\xb1\x07\x03plussim\xe2\xa8\xa6\x07\x03plustwo\xe2\xa8\xa7\x02\x02pm\xc2\xb1\x08\x03poin" ++
    "tint\xe2\xa8\x95\x04\x04popf\xf0\x9d\x95\xa1\x85\x02pound\xc2\xa3\x02\x03pr\xe2\x89\xba\x03\x03prE\xe2\xaa\xb3\x04\x03prap\xe2\xaa\xb7\x05\x03prcue\xe2\x89\xbc\x03\x03pre\xe2\xaa\xaf\x04\x03prec\xe2\x89\xba\x0a\x03p" ++
    "recapprox\xe2\xaa\xb7\x0b\x03preccurlyeq\xe2\x89\xbc\x06\x03preceq\xe2\xaa\xaf\x0b\x03precnapprox\xe2\xaa\xb9\x08\x03precneqq\xe2\xaa\xb5\x08\x03precnsim\xe2\x8b" ++
    "\xa8\x07\x03precsim\xe2\x89\xbe\x05\x03prime\xe2\x80\xb2\x06\x03primes\xe2\x84\x99\x04\x03prnE\xe2\xaa\xb5\x05\x03prnap\xe2\xaa\xb9\x06\x03prnsim\xe2\x8b\xa8\x04\x03prod\xe2\x88\x8f\x08\x03profa" ++
    "lar\xe2\x8c\xae\x08\x03profline\xe2\x8c\x92\x08\x03profsurf\xe2\x8c\x93\x04\x03prop\xe2\x88\x9d\x06\x03propto\xe2\x88\x9d\x05\x03prsim\xe2\x89\xbe\x06\x03prurel\xe2\x8a\xb0\x04\x04pscr\xf0" ++
    "\x9d\x93\x85\x03\x02psi\xcf\x88\x06\x03puncsp\xe2\x80\x88\x03\x04qfr\xf0\x9d\x94\xae\x04\x03qint\xe2\xa8\x8c\x04\x04qopf\xf0\x9d\x95\xa2\x06\x03qprime\xe2\x81\x97\x04\x04qscr\xf0\x9d\x93\x86\x0b\x03quaterni" ++
    "ons\xe2\x84\x8d\x07\x03quatint\xe2\xa8\x96\x05\x01quest?\x07\x03questeq\xe2\x89\x9f\x84\x01quot\x22\x05\x03rAarr\xe2\x87\x9b\x04\x03rArr\xe2\x87\x92\x06\x03rAtail\xe2\xa4\x9c\x05\x03rBa" ++
    "rr\xe2\xa4\x8f\x04\x03rHar\xe2\xa5\xa4\x04\x05race\xe2\x88\xbd\xcc\xb1\x06\x02racute\xc5\x95\x05\x03radic\xe2\x88\x9a\x08\x03raemptyv\xe2\xa6\xb3\x04\x03rang\xe2\x9f\xa9\x05\x03rangd\xe2\xa6\x92\x05\x03r" ++
    "ange\xe2\xa6\xa5\x06\x03rangle\xe2\x9f\xa9\x85\x02raquo\xc2\xbb\x04\x03rarr\xe2\x86\x92\x06\x03rarrap\xe2\xa5\xb5\x05\x03rarrb\xe2\x87\xa5\x07\x03rarrbfs\xe2\xa4\xa0\x05\x03rarrc\xe2\xa4\xb3\x06" ++
    "\x03rarrfs\xe2\xa4\x9e\x06\x03rarrhk\xe2\x86\xaa\x06\x03rarrlp\xe2\x86\xac\x06\x03rarrpl\xe2\xa5\x85\x07\x03rarrsim\xe2\xa5\xb4\x06\x03rarrtl\xe2\x86\xa3\x05\x03rarrw\xe2\x86\x9d\x06\x03ra" ++
    "tail\xe2\xa4\x9a\x05\x03ratio\xe2\x88\xb6\x09\x03rationals\xe2\x84\x9a\x05\x03rbarr\xe2\xa4\x8d\x05\x03rbbrk\xe2\x9d\xb3\x06\x01rbrace}\x06\x01rbrack]\x05\x03rbrke\xe2\xa6\x8c\x07" ++
    "\x03rbrksld\xe2\xa6\x8e\x07\x03rbrkslu\xe2\xa6\x90\x06\x02rcaron\xc5\x99\x06\x02rcedil\xc5\x97\x05\x03rceil\xe2\x8c\x89\x04\x01rcub}\x03\x02rcy\xd1\x80\x04\x03rdca\xe2\xa4\xb7\x07\x03rd" ++
    "ldhar\xe2\xa5\xa9\x05\x03rdquo\xe2\x80\x9d\x06\x03rdquor\xe2\x80\x9d\x04\x03rdsh\xe2\x86\xb3\x04\x03real\xe2\x84\x9c\x07\x03realine\xe2\x84\x9b\x08\x03realpart\xe2\x84\x9c\x05\x03reals\xe2" ++
    "\x84\x9d\x04\x03rect\xe2\x96\xad\x83\x02reg\xc2\xae\x06\x03rfisht\xe2\xa5\xbd\x06\x03rfloor\xe2\x8c\x8b\x03\x04rfr\xf0\x9d\x94\xaf\x05\x03rhard\xe2\x87\x81\x05\x03rharu\xe2\x87\x80\x06\x03rharul\xe2\xa5\xac" ++
    "\x03\x02rho\xcf\x81\x04\x02rhov\xcf\xb1\x0a\x03rightarrow\xe2\x86\x92\x0e\x03rightarrowtail\xe2\x86\xa3\x10\x03rightharpoondown\xe2\x87\x81\x0e\x03righthar" ++
    "poonup\xe2\x87\x80\x0f\x03rightleftarrows\xe2\x87\x84\x11\x03rightleftharpoons\xe2\x87\x8c\x10\x03rightrightarrows\xe2\x87\x89\x0f\x03rights" ++
    "quigarrow\xe2\x86\x9d\x0f\x03rightthreetimes\xe2\x8b\x8c\x04\x02ring\xcb\x9a\x0c\x03risingdotseq\xe2\x89\x93\x05\x03rlarr\xe2\x87\x84\x05\x03rlhar\xe2\x87\x8c\x03\x03r" ++
    "lm\xe2\x80\x8f\x06\x03rmoust\xe2\x8e\xb1\x0a\x03rmoustache\xe2\x8e\xb1\x05\x03rnmid\xe2\xab\xae\x05\x03roang\xe2\x9f\xad\x05\x03roarr\xe2\x87\xbe\x05\x03robrk\xe2\x9f\xa7\x05\x03ropar\xe2\xa6" ++
    "\x86\x04\x04ropf\xf0\x9d\x95\xa3\x06\x03roplus\xe2\xa8\xae\x07\x03rotimes\xe2\xa8\xb5\x04\x01rpar)\x06\x03rpargt\xe2\xa6\x94\x08\x03rppolint\xe2\xa8\x92\x05\x03rrarr\xe2\x87\x89\x06\x03rsa" ++
    "quo\xe2\x80\xba\x04\x04rscr\xf0\x9d\x93\x87\x03\x03rsh\xe2\x86\xb1\x04\x01rsqb]\x05\x03rsquo\xe2\x80\x99\x06\x03rsquor\xe2\x80\x99\x06\x03rthree\xe2\x8b\x8c\x06\x03rtimes\xe2\x8b\x8a\x04\x03rtri" ++
    "\xe2\x96\xb9\x05\x03rtrie\xe2\x8a\xb5\x05\x03rtrif\xe2\x96\xb8\x08\x03rtriltri\xe2\xa7\x8e\x07\x03ruluhar\xe2\xa5\xa8\x02\x03rx\xe2\x84\x9e\x06\x02sacute\xc5\x9b\x05\x03sbquo\xe2\x80\x9a\x02\x03sc\xe2" ++
    "\x89\xbb\x03\x03scE\xe2\xaa\xb4\x04\x03scap\xe2\xaa\xb8\x06\x02scaron\xc5\xa1\x05\x03sccue\xe2\x89\xbd\x03\x03sce\xe2\xaa\xb0\x06\x02scedil\xc5\x9f\x05\x02scirc\xc5\x9d\x04\x03scnE\xe2\xaa\xb6\x05\x03scn" ++
    "ap\xe2\xaa\xba\x06\x03scnsim\xe2\x8b\xa9\x08\x03scpolint\xe2\xa8\x93\x05\x03scsim\xe2\x89\xbf\x03\x02scy\xd1\x81\x04\x03sdot\xe2\x8b\x85\x05\x03sdotb\xe2\x8a\xa1\x05\x03sdote\xe2\xa9\xa6\x05\x03seA" ++
    "rr\xe2\x87\x98\x06\x03searhk\xe2\xa4\xa5\x05\x03searr\xe2\x86\x98\x07\x03searrow\xe2\x86\x98\x84\x02sect\xc2\xa7\x04\x01semi;\x06\x03seswar\xe2\xa4\xa9\x08\x03setminus\xe2\x88\x96\x05\x03s" ++
    "etmn\xe2\x88\x96\x04\x03sext\xe2\x9c\xb6\x03\x04sfr\xf0\x9d\x94\xb0\x06\x03sfrown\xe2\x8c\xa2\x05\x03sharp\xe2\x99\xaf\x06\x02shchcy\xd1\x89\x04\x02shcy\xd1\x88\x08\x03shortmid\xe2\x88\xa3\x0d\x03s" ++
    "hortparallel\xe2\x88\xa5\x83\x02shy\xc2\xad\x05\x02sigma\xcf\x83\x06\x02sigmaf\xcf\x82\x06\x02sigmav\xcf\x82\x03\x03sim\xe2\x88\xbc\x06\x03simdot\xe2\xa9\xaa\x04\x03sime\xe2\x89\x83\x05" ++
    "\x03simeq\xe2\x89\x83\x04\x03simg\xe2\xaa\x9e\x05\x03simgE\xe2\xaa\xa0\x04\x03siml\xe2\xaa\x9d\x05\x03simlE\xe2\xaa\x9f\x05\x03simne\xe2\x89\x86\x07\x03simplus\xe2\xa8\xa4\x07\x03simrarr\xe2\xa5" ++
    "\xb2\x05\x03slarr\xe2\x86\x90\x0d\x03smallsetminus\xe2\x88\x96\x06\x03smashp\xe2\xa8\xb3\x08\x03smeparsl\xe2\xa7\xa4\x04\x03smid\xe2\x88\xa3\x05\x03smile\xe2\x8c\xa3\x03\x03smt\xe2\xaa\xaa" ++
    "\x04\x03smte\xe2\xaa\xac\x05\x06smtes\xe2\xaa\xac\xef\xb8\x80\x06\x02softcy\xd1\x8c\x03\x01sol/\x04\x03solb\xe2\xa7\x84\x06\x03solbar\xe2\x8c\xbf\x04\x04sopf\xf0\x9d\x95\xa4\x06\x03spades\xe2\x99\xa0\x09" ++
    "\x03spadesuit\xe2\x99\xa0\x04\x03spar\xe2\x88\xa5\x05\x03sqcap\xe2\x8a\x93\x06\x06sqcaps\xe2\x8a\x93\xef\xb8\x80\x05\x03sqcup\xe2\x8a\x94\x06\x06sqcups\xe2\x8a\x94\xef\xb8\x80\x05\x03sqsub\xe2\x8a\x8f" ++
    "\x06\x03sqsube\xe2\x8a\x91\x08\x03sqsubset\xe2\x8a\x8f\x0a\x03sqsubseteq\xe2\x8a\x91\x05\x03sqsup\xe2\x8a\x90\x06\x03sqsupe\xe2\x8a\x92\x08\x03sqsupset\xe2\x8a\x90\x0a\x03sqsup" ++
    "seteq\xe2\x8a\x92\x03\x03squ\xe2\x96\xa1\x06\x03square\xe2\x96\xa1\x06\x03squarf\xe2\x96\xaa\x04\x03squf\xe2\x96\xaa\x05\x03srarr\xe2\x86\x92\x04\x04sscr\xf0\x9d\x93\x88\x06\x03ssetmn\xe2\x88\x96\x06\x03" ++
    "ssmile\xe2\x8c\xa3\x06\x03sstarf\xe2\x8b\x86\x04\x03star\xe2\x98\x86\x05\x03starf\xe2\x98\x85\x0f\x02straightepsilon\xcf\xb5\x0b\x02straightphi\xcf\x95\x05\x02strns" ++
    "\xc2\xaf\x03\x03sub\xe2\x8a\x82\x04\x03subE\xe2\xab\x85\x06\x03subdot\xe2\xaa\xbd\x04\x03sube\xe2\x8a\x86\x07\x03subedot\xe2\xab\x83\x07\x03submult\xe2\xab\x81\x05\x03subnE\xe2\xab\x8b\x05\x03subne" ++
    "\xe2\x8a\x8a\x07\x03subplus\xe2\xaa\xbf\x07\x03subrarr\xe2\xa5\xb9\x06\x03subset\xe2\x8a\x82\x08\x03subseteq\xe2\x8a\x86\x09\x03subseteqq\xe2\xab\x85\x09\x03subsetneq\xe2\x8a\x8a\x0a" ++
    "\x03subsetneqq\xe2\xab\x8b\x06\x03subsim\xe2\xab\x87\x06\x03subsub\xe2\xab\x95\x06\x03subsup\xe2\xab\x93\x04\x03succ\xe2\x89\xbb\x0a\x03succapprox\xe2\xaa\xb8\x0b\x03succcur" ++
    "lyeq\xe2\x89\xbd\x06\x03succeq\xe2\xaa\xb0\x0b\x03succnapprox\xe2\xaa\xba\x08\x03succneqq\xe2\xaa\xb6\x08\x03succnsim\xe2\x8b\xa9\x07\x03succsim\xe2\x89\xbf\x03\x03sum\xe2\x88\x91" ++
    "\x04\x03sung\xe2\x99\xaa\x03\x03sup\xe2\x8a\x83\x84\x02sup1\xc2\xb9\x84\x02sup2\xc2\xb2\x84\x02sup3\xc2\xb3\x04\x03supE\xe2\xab\x86\x06\x03supdot\xe2\xaa\xbe\x07\x03supdsub\xe2\xab\x98\x04\x03supe\xe2" ++
    "\x8a\x87\x07\x03supedot\xe2\xab\x84\x07\x03suphsol\xe2\x9f\x89\x07\x03suphsub\xe2\xab\x97\x07\x03suplarr\xe2\xa5\xbb\x07\x03supmult\xe2\xab\x82\x05\x03supnE\xe2\xab\x8c\x05\x03supne\xe2" ++
    "\x8a\x8b\x07\x03supplus\xe2\xab\x80\x06\x03supset\xe2\x8a\x83\x08\x03supseteq\xe2\x8a\x87\x09\x03supseteqq\xe2\xab\x86\x09\x03supsetneq\xe2\x8a\x8b\x0a\x03supsetneqq\xe2\xab" ++
    "\x8c\x06\x03supsim\xe2\xab\x88\x06\x03supsub\xe2\xab\x94\x06\x03supsup\xe2\xab\x96\x05\x03swArr\xe2\x87\x99\x06\x03swarhk\xe2\xa4\xa6\x05\x03swarr\xe2\x86\x99\x07\x03swarrow\xe2\x86\x99\x06\x03s" ++
    "wnwar\xe2\xa4\xaa\x85\x02szlig\xc3\x9f\x06\x03target\xe2\x8c\x96\x03\x02tau\xcf\x84\x04\x03tbrk\xe2\x8e\xb4\x06\x02tcaron\xc5\xa5\x06\x02tcedil\xc5\xa3\x03\x02tcy\xd1\x82\x04\x03tdot\xe2\x83\x9b" ++
    "\x06\x03telrec\xe2\x8c\x95\x03\x04tfr\xf0\x9d\x94\xb1\x06\x03there4\xe2\x88\xb4\x09\x03therefore\xe2\x88\xb4\x05\x02theta\xce\xb8\x08\x02thetasym\xcf\x91\x06\x02thetav\xcf\x91\x0b\x03th" ++
    "ickapprox\xe2\x89\x88\x08\x03thicksim\xe2\x88\xbc\x06\x03thinsp\xe2\x80\x89\x05\x03thkap\xe2\x89\x88\x06\x03thksim\xe2\x88\xbc\x85\x02thorn\xc3\xbe\x05\x02tilde\xcb\x9c\x85\x02tim" ++
    "es\xc3\x97\x06\x03timesb\xe2\x8a\xa0\x08\x03timesbar\xe2\xa8\xb1\x06\x03timesd\xe2\xa8\xb0\x04\x03tint\xe2\x88\xad\x04\x03toea\xe2\xa4\xa8\x03\x03top\xe2\x8a\xa4\x06\x03topbot\xe2\x8c\xb6\x06\x03to" ++
    "pcir\xe2\xab\xb1\x04\x04topf\xf0\x9d\x95\xa5\x07\x03topfork\xe2\xab\x9a\x04\x03tosa\xe2\xa4\xa9\x06\x03tprime\xe2\x80\xb4\x05\x03trade\xe2\x84\xa2\x08\x03triangle\xe2\x96\xb5\x0c\x03triang" ++
    "ledown\xe2\x96\xbf\x0c\x03triangleleft\xe2\x97\x83\x0e\x03trianglelefteq\xe2\x8a\xb4\x09\x03triangleq\xe2\x89\x9c\x0d\x03triangleright\xe2\x96\xb9\x0f\x03t" ++
    "rianglerighteq\xe2\x8a\xb5\x06\x03tridot\xe2\x97\xac\x04\x03trie\xe2\x89\x9c\x08\x03triminus\xe2\xa8\xba\x07\x03triplus\xe2\xa8\xb9\x05\x03trisb\xe2\xa7\x8d\x07\x03tritim" ++
    "e\xe2\xa8\xbb\x08\x03trpezium\xe2\x8f\xa2\x04\x04tscr\xf0\x9d\x93\x89\x04\x02tscy\xd1\x86\x05\x02tshcy\xd1\x9b\x06\x02tstrok\xc5\xa7\x05\x03twixt\xe2\x89\xac\x10\x03twoheadleftarr" ++
    "ow\xe2\x86\x9e\x11\x03twoheadrightarrow\xe2\x86\xa0\x04\x03uArr\xe2\x87\x91\x04\x03uHar\xe2\xa5\xa3\x86\x02uacute\xc3\xba\x04\x03uarr\xe2\x86\x91\x05\x02ubrcy\xd1\x9e\x06\x02ubrev" ++
    "e\xc5\xad\x85\x02ucirc\xc3\xbb\x03\x02ucy\xd1\x83\x05\x03udarr\xe2\x87\x85\x06\x02udblac\xc5\xb1\x05\x03udhar\xe2\xa5\xae\x06\x03ufisht\xe2\xa5\xbe\x03\x04ufr\xf0\x9d\x94\xb2\x86\x02ugrave\xc3\xb9\x05" ++
    "\x03uharl\xe2\x86\xbf\x05\x03uharr\xe2\x86\xbe\x05\x03uhblk\xe2\x96\x80\x06\x03ulcorn\xe2\x8c\x9c\x08\x03ulcorner\xe2\x8c\x9c\x06\x03ulcrop\xe2\x8c\x8f\x05\x03ultri\xe2\x97\xb8\x05\x02umac" ++
    "r\xc5\xab\x83\x02uml\xc2\xa8\x05\x02uogon\xc5\xb3\x04\x04uopf\xf0\x9d\x95\xa6\x07\x03uparrow\xe2\x86\x91\x0b\x03updownarrow\xe2\x86\x95\x0d\x03upharpoonleft\xe2\x86\xbf\x0e\x03uph" ++
    "arpoonright\xe2\x86\xbe\x05\x03uplus\xe2\x8a\x8e\x04\x02upsi\xcf\x85\x05\x02upsih\xcf\x92\x07\x02upsilon\xcf\x85\x0a\x03upuparrows\xe2\x87\x88\x06\x03urcorn\xe2\x8c\x9d\x08\x03" ++
    "urcorner\xe2\x8c\x9d\x06\x03urcrop\xe2\x8c\x8e\x05\x02uring\xc5\xaf\x05\x03urtri\xe2\x97\xb9\x04\x04uscr\xf0\x9d\x93\x8a\x05\x03utdot\xe2\x8b\xb0\x06\x02utilde\xc5\xa9\x04\x03utri\xe2\x96\xb5" ++
    "\x05\x03utrif\xe2\x96\xb4\x05\x03uuarr\xe2\x87\x88\x84\x02uuml\xc3\xbc\x07\x03uwangle\xe2\xa6\xa7\x04\x03vArr\xe2\x87\x95\x04\x03vBar\xe2\xab\xa8\x05\x03vBarv\xe2\xab\xa9\x05\x03vDash\xe2\x8a\xa8\x06\x03" ++
    "vangrt\xe2\xa6\x9c\x0a\x02varepsilon\xcf\xb5\x08\x02varkappa\xcf\xb0\x0a\x03varnothing\xe2\x88\x85\x06\x02varphi\xcf\x95\x05\x02varpi\xcf\x96\x09\x03varpropto" ++
    "\xe2\x88\x9d\x04\x03varr\xe2\x86\x95\x06\x02varrho\xcf\xb1\x08\x02varsigma\xcf\x82\x0c\x06varsubsetneq\xe2\x8a\x8a\xef\xb8\x80\x0d\x06varsubsetneqq\xe2\xab\x8b\xef\xb8\x80\x0c\x06var" ++
    "supsetneq\xe2\x8a\x8b\xef\xb8\x80\x0d\x06varsupsetneqq\xe2\xab\x8c\xef\xb8\x80\x08\x02vartheta\xcf\x91\x0f\x03vartriangleleft\xe2\x8a\xb2\x10\x03vartriangl" ++
    "eright\xe2\x8a\xb3\x03\x02vcy\xd0\xb2\x05\x03vdash\xe2\x8a\xa2\x03\x03vee\xe2\x88\xa8\x06\x03veebar\xe2\x8a\xbb\x05\x03veeeq\xe2\x89\x9a\x06\x03vellip\xe2\x8b\xae\x06\x01verbar|\x04\x01ver" ++
    "t|\x03\x04vfr\xf0\x9d\x94\xb3\x05\x03vltri\xe2\x8a\xb2\x05\x06vnsub\xe2\x8a\x82\xe2\x83\x92\x05\x06vnsup\xe2\x8a\x83\xe2\x83\x92\x04\x04vopf\xf0\x9d\x95\xa7\x05\x03vprop\xe2\x88\x9d\x05\x03vrtri\xe2\x8a\xb3\x04\x04v" ++
    "scr\xf0\x9d\x93\x8b\x06\x06vsubnE\xe2\xab\x8b\xef\xb8\x80\x06\x06vsubne\xe2\x8a\x8a\xef\xb8\x80\x06\x06vsupnE\xe2\xab\x8c\xef\xb8\x80\x06\x06vsupne\xe2\x8a\x8b\xef\xb8\x80\x07\x03vzigzag\xe2\xa6\x9a\x05\x02wci" ++
    "rc\xc5\xb5\x06\x03wedbar\xe2\xa9\x9f\x05\x03wedge\xe2\x88\xa7\x06\x03wedgeq\xe2\x89\x99\x06\x03weierp\xe2\x84\x98\x03\x04wfr\xf0\x9d\x94\xb4\x04\x04wopf\xf0\x9d\x95\xa8\x02\x03wp\xe2\x84\x98\x02\x03wr\xe2\x89\x80" ++
    "\x06\x03wreath\xe2\x89\x80\x04\x04wscr\xf0\x9d\x93\x8c\x04\x03xcap\xe2\x8b\x82\x05\x03xcirc\xe2\x97\xaf\x04\x03xcup\xe2\x8b\x83\x05\x03xdtri\xe2\x96\xbd\x03\x04xfr\xf0\x9d\x94\xb5\x05\x03xhArr\xe2\x9f\xba\x05\x03" ++
    "xharr\xe2\x9f\xb7\x02\x02xi\xce\xbe\x05\x03xlArr\xe2\x9f\xb8\x05\x03xlarr\xe2\x9f\xb5\x04\x03xmap\xe2\x9f\xbc\x04\x03xnis\xe2\x8b\xbb\x05\x03xodot\xe2\xa8\x80\x04\x04xopf\xf0\x9d\x95\xa9\x06\x03xoplus" ++
    "\xe2\xa8\x81\x06\x03xotime\xe2\xa8\x82\x05\x03xrArr\xe2\x9f\xb9\x05\x03xrarr\xe2\x9f\xb6\x04\x04xscr\xf0\x9d\x93\x8d\x06\x03xsqcup\xe2\xa8\x86\x06\x03xuplus\xe2\xa8\x84\x05\x03xutri\xe2\x96\xb3\x04\x03xv" ++
    "ee\xe2\x8b\x81\x06\x03xwedge\xe2\x8b\x80\x86\x02yacute\xc3\xbd\x04\x02yacy\xd1\x8f\x05\x02ycirc\xc5\xb7\x03\x02ycy\xd1\x8b\x83\x02yen\xc2\xa5\x03\x04yfr\xf0\x9d\x94\xb6\x04\x02yicy\xd1\x97\x04\x04yopf" ++
    "\xf0\x9d\x95\xaa\x04\x04yscr\xf0\x9d\x93\x8e\x04\x02yucy\xd1\x8e\x84\x02yuml\xc3\xbf\x06\x02zacute\xc5\xba\x06\x02zcaron\xc5\xbe\x03\x02zcy\xd0\xb7\x04\x02zdot\xc5\xbc\x06\x03zeetrf\xe2\x84\xa8\x04\x02ze" ++
    "ta\xce\xb6\x03\x04zfr\xf0\x9d\x94\xb7\x04\x02zhcy\xd0\xb6\x07\x03zigrarr\xe2\x87\x9d\x04\x04zopf\xf0\x9d\x95\xab\x04\x04zscr\xf0\x9d\x93\x8f\x03\x03zwj\xe2\x80\x8d\x04\x03zwnj\xe2\x80\x8c";
// END GENERATED TABLE