{
  "$$": 30522,
  "\\AA": 30523,
  "\\C": 30524,
  "\\Delta": 30525,
  "\\Deltatoo": 30526,
  "\\Documents": 30527,
  "\\Downarrow": 30528,
  "\\Gamma": 30529,
  "\\GammaRACT": 30530,
  "\\Gammaacts": 30531,
  "\\Gammadoes": 30532,
  "\\Im": 30533,
  "\\Lambda": 30534,
  "\\LambdaMPLE": 30535,
  "\\LambdaPTER": 30536,
  "\\LambdaRK": 30537,
  "\\LambdaYNAUD": 30538,
  "\\Lambdamodule": 30539,
  "\\Lambdamodules": 30540,
  "\\Lambdappendix": 30541,
  "\\Lambdas": 30542,
  "\\Lambdaut": 30543,
  "\\Leftarrow": 30544,
  "\\Leftrightarrow": 30546,
  "\\Longleftarrow": 30547,
  "\\Longleftrightarrow": 30548,
  "\\Longrightarrow": 30549,
  "\\M": 30550,
  "\\Math": 30551,
  "\\Minv": 30552,
  "\\Omega": 30553,
  "\\Perp": 30554,
  "\\PerpI": 30555,
  "\\Phi": 30556,
  "\\Pi": 30557,
  "\\Pisentence": 30558,
  "\\Pisentences": 30559,
  "\\Psi": 30560,
  "\\Psiitself": 30561,
  "\\Psipre": 30562,
  "\\Psir": 30563,
  "\\Re": 30564,
  "\\Rightarrow": 30565,
  "\\S": 30567,
  "\\SA": 30568,
  "\\SD": 30569,
  "\\SE": 30570,
  "\\SF": 30571,
  "\\SIII": 30572,
  "\\SIV": 30573,
  "\\SIX": 30574,
  "\\SVII": 30575,
  "\\Sigma": 30576,
  "\\Subset": 30577,
  "\\Theta": 30578,
  "\\Uparrow": 30580,
  "\\Upsilon": 30581,
  "\\Users": 30582,
  "\\Varangle": 30583,
  "\\Vdash": 30584,
  "\\Xi": 30585,
  "\\aleph": 30586,
  "\\alldifferent": 30587,
  "\\alpha": 30588,
  "\\alphapointwise": 30589,
  "\\alphareversed": 30590,
  "\\alphasurjective": 30591,
  "\\amalg": 30592,
  "\\angle": 30593,
  "\\approx": 30594,
  "\\arccos": 30595,
  "\\arcsin": 30596,
  "\\arctan": 30597,
  "\\arg": 30598,
  "\\ast": 30599,
  "\\asymp": 30600,
  "\\atop": 30601,
  "\\backsim": 30602,
  "\\backslash": 30603,
  "\\bar": 30604,
  "\\because": 30605,
  "\\begin": 30606,
  "\\beta": 30607,
  "\\betaa": 30608,
  "\\betaencharacter": 30609,
  "\\betaencharakter": 30610,
  "\\betaencharaktere": 30611,
  "\\betaenoharaktere": 30612,
  "\\betaerwesentliche": 30613,
  "\\betaeverywhere": 30614,
  "\\betao": 30615,
  "\\beth": 30616,
  "\\bigcap": 30617,
  "\\bigcirc": 30618,
  "\\bigcup": 30619,
  "\\bigodot": 30620,
  "\\bigoplus": 30621,
  "\\bigotimes": 30622,
  "\\bigsqcup": 30623,
  "\\bigvee": 30624,
  "\\bigwedge": 30625,
  "\\binom": 30626,
  "\\bmod": 30627,
  "\\bmodL": 30628,
  "\\boldsymbol": 30629,
  "\\bowtie": 30630,
  "\\boxminus": 30631,
  "\\boxplus": 30632,
  "\\boxtimes": 30633,
  "\\breve": 30634,
  "\\bullet": 30635,
  "\\bumpeq": 30636,
  "\\cap": 30637,
  "\\capV": 30638,
  "\\cdot": 30639,
  "\\cdotFUNCTIONS": 30640,
  "\\cdotideal": 30641,
  "\\cdotr": 30642,
  "\\cdots": 30643,
  "\\cdotss": 30644,
  "\\cdotvalues": 30645,
  "\\check": 30646,
  "\\checkmark": 30647,
  "\\chi": 30648,
  "\\circ": 30649,
  "\\circdet": 30650,
  "\\circf": 30651,
  "\\circlearrowleft": 30652,
  "\\circlearrowright": 30653,
  "\\circledR": 30654,
  "\\circledast": 30655,
  "\\cjkend": 30656,
  "\\cjkstart": 30657,
  "\\cline": 30658,
  "\\complement": 30659,
  "\\cong": 30660,
  "\\coprod": 30661,
  "\\coprodAut": 30662,
  "\\coprodU": 30663,
  "\\cos": 30664,
  "\\cosh": 30665,
  "\\cot": 30666,
  "\\cox": 30667,
  "\\csc": 30668,
  "\\cup": 30669,
  "\\curlyvee": 30670,
  "\\curlywedge": 30671,
  "\\curvearrowleft": 30672,
  "\\curvearrowright": 30673,
  "\\dagger": 30674,
  "\\dashv": 30675,
  "\\ddagger": 30676,
  "\\dddo": 30677,
  "\\dddot": 30678,
  "\\ddo": 30679,
  "\\ddot": 30680,
  "\\ddots": 30681,
  "\\delta": 30682,
  "\\deltafunctor": 30683,
  "\\diamond": 30684,
  "\\digamma": 30685,
  "\\directory": 30686,
  "\\div": 30687,
  "\\dot": 30688,
  "\\doteq": 30689,
  "\\doteqdot": 30690,
  "\\dots": 30691,
  "\\downarrow": 30692,
  "\\downharpoonright": 30693,
  "\\ell": 30694,
  "\\ellholds": 30695,
  "\\ellrepresentation": 30696,
  "\\emptyset": 30697,
  "\\end": 30698,
  "\\epsilon": 30699,
  "\\epsilonKer": 30700,
  "\\equiv": 30701,
  "\\eta": 30702,
  "\\ex": 30703,
  "\\exists": 30704,
  "\\existsc": 30705,
  "\\existsclosed": 30706,
  "\\exp": 30707,
  "\\fallingdotseq": 30708,
  "\\forall": 30709,
  "\\forallsomething": 30710,
  "\\frac": 30711,
  "\\frown": 30712,
  "\\gamma": 30713,
  "\\gammavalues": 30714,
  "\\gcd": 30715,
  "\\geq": 30716,
  "\\geqq": 30717,
  "\\geqslant": 30718,
  "\\gg": 30719,
  "\\grave": 30720,
  "\\gtrdot": 30721,
  "\\gtreqless": 30722,
  "\\gtrless": 30723,
  "\\gtrsim": 30724,
  "\\hat": 30725,
  "\\hbar": 30726,
  "\\hdashline": 30727,
  "\\hline": 30728,
  "\\hlinee": 30729,
  "\\hookleftarrow": 30730,
  "\\hookrightarrow": 30731,
  "\\hyunj": 30732,
  "\\iiint": 30733,
  "\\iint": 30734,
  "\\imath": 30735,
  "\\in": 30736,
  "\\inG": 30737,
  "\\inMag": 30738,
  "\\inX": 30739,
  "\\inf": 30740,
  "\\infty": 30741,
  "\\inftyalso": 30742,
  "\\inftyo": 30743,
  "\\inftyramifies": 30744,
  "\\inm": 30745,
  "\\inn": 30746,
  "\\int": 30747,
  "\\intormula": 30748,
  "\\iota": 30749,
  "\\jmath": 30750,
  "\\kappa": 30751,
  "\\kappai": 30752,
  "\\kappath": 30753,
  "\\lambda": 30754,
  "\\lambdaa": 30755,
  "\\lambdafinite": 30756,
  "\\lambdasemiring": 30757,
  "\\langle": 30758,
  "\\langlee": 30759,
  "\\langleu": 30760,
  "\\langley": 30761,
  "\\latex": 30762,
  "\\lceil": 30763,
  "\\lceilk": 30764,
  "\\lceiln": 30765,
  "\\lcm": 30766,
  "\\ldot": 30767,
  "\\ldots": 30768,
  "\\ldotsPROOF": 30769,
  "\\ldotsetc": 30770,
  "\\leadsto": 30771,
  "\\left": 30772,
  "\\leftarrow": 30545,
  "\\leftleftarrows": 30773,
  "\\leftrightarrow": 30774,
  "\\leftrightarrows": 30775,
  "\\leftrightharpoons": 30776,
  "\\leq": 30777,
  "\\leqq": 30778,
  "\\leqslant": 30779,
  "\\lessdot": 30780,
  "\\lesseqgtr": 30781,
  "\\lessgtr": 30782,
  "\\lesssim": 30783,
  "\\lfloor": 30784,
  "\\lg": 30785,
  "\\lim": 30786,
  "\\liminf": 30787,
  "\\limsup": 30788,
  "\\ll": 30789,
  "\\llbracket": 30790,
  "\\llcorner": 30791,
  "\\lll": 30792,
  "\\ln": 30793,
  "\\log": 30794,
  "\\longdiv": 30795,
  "\\longleftarrow": 30796,
  "\\longleftrightarrow": 30797,
  "\\longleftrightarrowEfi": 30798,
  "\\longmapsto": 30799,
  "\\longmapstomult": 30800,
  "\\longrightarrow": 30801,
  "\\lrcorner": 30802,
  "\\ltimes": 30803,
  "\\lvert": 30804,
  "\\mapsto": 30805,
  "\\mapstoW": 30806,
  "\\mathbb": 30807,
  "\\mathbbR": 30808,
  "\\mathbbZrank": 30809,
  "\\mathbbZtakes": 30810,
  "\\mathbbl": 30811,
  "\\mathbf": 30812,
  "\\mathcal": 30813,
  "\\mathcalM": 30814,
  "\\mathcalom": 30815,
  "\\mathfrak": 30816,
  "\\mathrm": 30817,
  "\\mathscr": 30818,
  "\\mathscrB": 30819,
  "\\mathscrS": 30820,
  "\\mathscrf": 30821,
  "\\matshcr": 30822,
  "\\max": 30823,
  "\\measuredangle": 30824,
  "\\mho": 30825,
  "\\mid": 30826,
  "\\min": 30827,
  "\\models": 30828,
  "\\mp": 30829,
  "\\mu": 30830,
  "\\mudominant": 30831,
  "\\muexists": 30832,
  "\\mufinite": 30833,
  "\\multicolumn": 30834,
  "\\multimap": 30835,
  "\\multirow": 30836,
  "\\n": 30837,
  "\\nLeftarrow": 30838,
  "\\nRightarrow": 30839,
  "\\nVdash": 30840,
  "\\nabla": 30841,
  "\\natural": 30842,
  "\\nearrow": 30843,
  "\\neg": 30844,
  "\\neq": 30845,
  "\\neqId": 30846,
  "\\neqid": 30847,
  "\\nexists": 30848,
  "\\ngtr": 30849,
  "\\ni": 30850,
  "\\nleftarrow": 30851,
  "\\nless": 30852,
  "\\nmid": 30853,
  "\\nmidDisc": 30854,
  "\\not": 30855,
  "\\notin": 30856,
  "\\nprec": 30857,
  "\\npreceq": 30858,
  "\\nrightarrow": 30859,
  "\\nsim": 30860,
  "\\nsubseteq": 30861,
  "\\nsucc": 30862,
  "\\nsucceq": 30863,
  "\\nsupseteq": 30864,
  "\\nu": 30865,
  "\\nvdash": 30866,
  "\\nwarrow": 30867,
  "\\odot": 30868,
  "\\oepratorname": 30869,
  "\\oiiint": 30870,
  "\\oiint": 30871,
  "\\oint": 30872,
  "\\omega": 30873,
  "\\omegaest": 30874,
  "\\ominus": 30875,
  "\\operatorname": 30876,
  "\\operatornamemap": 30877,
  "\\oplus": 30878,
  "\\oslash": 30879,
  "\\otimes": 30880,
  "\\otimese": 30881,
  "\\overbrace": 30882,
  "\\overleftarrow": 30883,
  "\\overleftrightarrow": 30884,
  "\\overlin": 30885,
  "\\overline": 30886,
  "\\overparen": 30887,
  "\\overrightarrow": 30888,
  "\\p": 30889,
  "\\parallel": 30890,
  "\\partial": 30891,
  "\\partialM": 30892,
  "\\partiala": 30893,
  "\\partialb": 30894,
  "\\perp": 30895,
  "\\phi": 30896,
  "\\phicommute": 30897,
  "\\pi": 30898,
  "\\pifinite": 30899,
  "\\pitchfork": 30900,
  "\\pitwist": 30901,
  "\\pm": 30902,
  "\\prec": 30903,
  "\\preccurlyeq": 30904,
  "\\preceq": 30905,
  "\\precsim": 30906,
  "\\prime": 30907,
  "\\prod": 30908,
  "\\propto": 30909,
  "\\psi": 30910,
  "\\psidoes": 30911,
  "\\qquad": 30912,
  "\\qua": 30913,
  "\\quad": 30914,
  "\\quada": 30915,
  "\\rangle": 30916,
  "\\rceil": 30917,
  "\\rfloor": 30918,
  "\\rho": 30919,
  "\\rhofollows": 30920,
  "\\rhooperator": 30921,
  "\\right": 30922,
  "\\rightarrow": 30566,
  "\\rightarrowA": 30923,
  "\\rightarrowC": 30924,
  "\\rightarrowFinord": 30925,
  "\\rightarrowSet": 30926,
  "\\rightarrowSets": 30927,
  "\\rightarrowf": 30928,
  "\\rightharpoonup": 30929,
  "\\rightleftarrows": 30930,
  "\\rightleftharpoons": 30931,
  "\\rightrightarrows": 30932,
  "\\rightsquigarrow": 30933,
  "\\risingdotseq": 30934,
  "\\rrbracket": 30935,
  "\\rtimes": 30936,
  "\\rvert": 30937,
  "\\searrow": 30938,
  "\\sec": 30939,
  "\\section": 30940,
  "\\setminus": 30941,
  "\\sharp": 30942,
  "\\sigma": 30943,
  "\\sim": 30944,
  "\\simeq": 30945,
  "\\simeqid": 30946,
  "\\simr": 30947,
  "\\sin": 30948,
  "\\sinh": 30949,
  "\\smile": 30950,
  "\\sqcap": 30951,
  "\\sqcup": 30952,
  "\\sqrt": 30953,
  "\\sqsubset": 30954,
  "\\sqsubseteq": 30955,
  "\\sqsupset": 30956,
  "\\sqsupseteq": 30957,
  "\\square": 30958,
  "\\stackrel": 30959,
  "\\star": 30960,
  "\\starEXERCISE": 30961,
  "\\subsection": 30962,
  "\\subset": 30963,
  "\\subsetA": 30964,
  "\\subsetM": 30965,
  "\\subseteq": 30966,
  "\\subseteqW": 30967,
  "\\subsetneq": 30968,
  "\\substack": 30969,
  "\\subsubsection": 30970,
  "\\succ": 30971,
  "\\succcurlyeq": 30972,
  "\\succeq": 30973,
  "\\succsim": 30974,
  "\\sum": 30975,
  "\\sup": 30976,
  "\\supset": 30977,
  "\\supseteq": 30978,
  "\\supseteqq": 30979,
  "\\supsetneq": 30980,
  "\\supsetneqq": 30981,
  "\\swarrow": 30982,
  "\\tag": 30983,
  "\\tan": 30984,
  "\\tanh": 30985,
  "\\tau": 30986,
  "\\taualent": 30987,
  "\\tauariety": 30988,
  "\\tauphism": 30989,
  "\\tauphistn": 30990,
  "\\taupure": 30991,
  "\\text": 30992,
  "\\textbf": 30993,
  "\\textrm": 30994,
  "\\textrmK": 30995,
  "\\therefore": 30996,
  "\\theta": 30997,
  "\\thetaalone": 30998,
  "\\thetaexplicit": 30999,
  "\\thetaworks": 31000,
  "\\tilde": 31001,
  "\\times": 31002,
  "\\timesm": 31003,
  "\\to": 30579,
  "\\top": 31004,
  "\\triangle": 31005,
  "\\triangleleft": 31006,
  "\\triangleq": 31007,
  "\\triangleright": 31008,
  "\\ulcorner": 31009,
  "\\underbrace": 31010,
  "\\underline": 31011,
  "\\underset": 31012,
  "\\unlhd": 31013,
  "\\unrhd": 31014,
  "\\uparrow": 31015,
  "\\upharpoonleft": 31016,
  "\\upharpoonright": 31017,
  "\\uplus": 31018,
  "\\urcorner": 31019,
  "\\vDash": 31020,
  "\\varangle": 31021,
  "\\varepsilon": 31022,
  "\\varepsilona": 31023,
  "\\varepsilonarrow": 31024,
  "\\varepsilonarrows": 31025,
  "\\varinjlim": 31026,
  "\\varkappa": 31027,
  "\\varliminf": 31028,
  "\\varlimsup": 31029,
  "\\varnothing": 31030,
  "\\varphi": 31031,
  "\\varphiare": 31032,
  "\\varphiitself": 31033,
  "\\varphiw": 31034,
  "\\varpi": 31035,
  "\\varprojlim": 31036,
  "\\varrho": 31037,
  "\\varsigma": 31038,
  "\\varsubsetneqq": 31039,
  "\\vartheta": 31040,
  "\\varthetaa": 31041,
  "\\vdash": 31042,
  "\\vdots": 31043,
  "\\vec": 31044,
  "\\vecara": 31045,
  "\\vee": 31046,
  "\\vigvec": 31047,
  "\\wedge": 31048,
  "\\wedgeT": 31049,
  "\\wedgeid": 31050,
  "\\widehat": 31051,
  "\\widehatat": 31052,
  "\\widetilde": 31053,
  "\\wp": 31054,
  "\\xi": 31055,
  "\\xlongequal": 31056,
  "\\xrightarrow": 31057,
  "\\your": 31058,
  "\\zeta": 31059
}