{"tokens": ["<pad>", "<bos>", "<eos>", "<unk>", "{", "}", "_", ")", "(", "^", ",", "1", "=", "2", "-", "t", "+", "i", "0", ".", "\\frac", "x", "n", "r", "d", "|", "a", "k", "s", "\\mathrm", "e", "\\right", "\\,", "j", "p", "\\mathcal", "\\left", "m", "c", "u", "f", "A", "T", "L", "v", "R", "[", "]", "h", "y", "3", "\\mathbf", "C", "z", "q", "\\sum", "N", "S", "P", "E", "g", "\\|", "\\leq", "\\qquad", "b", "\\alpha", "M", "\\in", "\\\\", "o", "B", "l", "\\mathbb", "X", "D", "H", "\\lambda", "4", "F", "\\theta", "\\prime", "\\mu", "K", "\\", "", ":", "G", "/", "&", "I", "\\beta", "\\rm", "w", "V", "\\{", "\\rho", "\\partial", "\\}", "\\ell", "\\text", "\\;", "\\pi", "\\tau", "\\bm", "\\sigma", "\\int", "\\delta", "\\operatorname", "Q", "\\phi", "\\quad", "*", "U", "\\eta", "\\Delta", "W", "\\varepsilon", "\\sqrt", "\\!", "\\gamma", "5", "J", "\\hat", "\\omega", "Y", "Z", "\\cdot", "\\begin{aligned}", "\\end{aligned}", "\\big", "\\geq", "\\bar", "\\nu", "\\rangle", "\\log", "\\boldsymbol", "\\xi", "6", "\\infty", ";", "\\nabla", "O", "\\bigl", "\\langle", "\\bigr", "\\psi", "<", "\\Phi", "\\mid", "8", "\\epsilon", "\\widetilde", "\\Omega", "\\tilde", "\\kappa", "\\widehat", "\\Gamma", ">", "\\times", "\\overline", "\\chi", "\\Lambda", "7", "~", "\\mathsf", "\\varphi", "\\to", "\\Big", "\\max", "9", "\\mathfrak", "\\top", "\\ldots", "\\min", "\\exp", "\\Psi", "\\zeta", "\\bf", "\\sim", "\\dot", "\\Sigma", "\\lVert", "\\rVert", "\\star", "\\otimes", "\\prod", "\\cdots", "\\pm", "\\Theta", "\\longrightarrow", "\\neq", "\\cos", "\\sup", "\\tfrac", "$", "\\equiv", "\\sin", "\\Pi", "\\ln", "\\cap", "\\circ", "\\dagger", "\\begin{pmatrix}", "\\end{pmatrix}", "\\begin{cases}", "\\end{cases}", "\\cal", "\\binom", "\\rightarrow", "!", "\\dots", "\\ast", "\\ignorespaces", "\\_", "\\dfrac", "\\mathscr", "\\simeq", "\\perp", "\\wedge", "\\lim", "\\approx", "\\forall", "\\underline", "\\bigg", "\\Bigl", "\\Bigr", "\\vec", "\\cup", "\\lvert", "\\mbox", "\\begin{split}", "\\end{split}", "\\lesssim", "\\setminus", "\\ket", "\\oplus", "\\subseteq", "\\vartheta", "\\vee", "\\begin{subarray}", "\\end{subarray}", "\\rvert", "\\subset", "\\mathop", "\\limits", "\\begin{array}", "\\end{array}", "\\Pr", "\\#", "\\leqslant", "\\inf", "\\odot", "\\ll", "\\xrightarrow", "\\underbrace", "\\iota", "\\hbar", "\\lfloor", "\\det", "\\rfloor", "\\coloneqq", "\\left.", "\\hskip", "\\cong", "\\arg", "\\propto", "\\textrm", "\\Bigg", "\\mapsto", "\\longmapsto", "\\begin{bmatrix}", "\\end{bmatrix}", "\\leftarrow", "\\dim", "\\bullet", "\\textup", "\\Xi", "\\vdots", "\\notin", "\\Upsilon", "\\bigcup", "\\textbf", "\\downarrow", "\\pmod", "\\parallel", "\\boxed", "\\Longrightarrow", "\\mathtt", "\\Longleftrightarrow", "\\rceil", "\\lceil", "\\Box", "\\middle", "\\varnothing", "\\cosh", "\\varpi", "\\mathds", "\\right.", "\\colon", "\\cr", "\\deg", "\\boldmath", "\\exists", "\\tanh", "\\hbox", "\\sinh", "\\bra", "\\varsigma", "\\mathrel", "\\mathbbm", "\\geqslant", "@", "\\varrho", "\\mathbin", "\\not", "\\uparrow", "\\limsup", "\\ker", "\\flat", "\\land", "\\sf", "\\>", "\\emptyset", "\\bigoplus", "\\itbf", "\\biggl", "\\asymp", "\\sharp", "\\overset", "\\ddot", "\\biggr", "\\neg", "\\stackrel", "\\texttt", "\\square", "\\kern", "\\Bbbk", "\\hline", "\\begin{gathered}", "\\end{gathered}", "\\implies", "\\triangleq", "\\mathit", "\\preceq", "\\Rightarrow", "\\nolimits", "\\mkern", "\\underset", "\\Re", "\\iff", "\\mp", "\\ddots", "\\diamond", "\\prec", "\\leftrightarrow", "\\lrcorner", "\\bigcap", "\\iint", "\\coloneq", "\\gg", "\\tan", "\\liminf", "\\genfrac", "\\sqcup", "\\bmod", "\\over", "\\gtrsim", "\\textsc", "\\varOmega", "\\longleftrightarrow", "\\upsilon", "\\fint", "\\differential", "\\triangleleft", "\\check", "\\supset", "\\textnormal", "\\%", "\\succeq", "\\gcd", "\\bot", "\\BFx", "\\arctan", "\\eqref", "\\oint", "\\BFxi", "\\bigotimes", "`", "\\phantom", "\\wp", "\\mathring", "\\textsf", "\\models", "\\Im", "\\backslash", "\\color", "\\braket", "\\absolutevalue", "\\Diamond", "\\triangle", "\\hookrightarrow", "\\relax", "\\scalebox", "\\scriptsize", "\\nmid", "\\mathchar", "\\mathord", "\\bigwedge", "\\lor", "\\&", "\\rtimes", "\\cot", "\\qed", "\\begin{matrix}", "\\end{matrix}", "\\arccos", "\\llbracket", "\\rrbracket", "'", "\\varDelta", "\\vdash", "\\textit", "\\brace", "\\coth", "?", "\\Tr", "\\boxtimes", "\\vartriangle", "\\Biggr", "\\tiny", "\\mathchoice", "\\raisebox", "\\accentset", "\\Biggl", "\\imath", "\\vspace", "\\BFs", "\\vphantom", "\\ni", "\\ominus", "\\overrightarrow", "\\jmath", "\\subsetneq", "\\bigsqcup", "\\tt", "\\Leftrightarrow", "\\bigvee", "\\intercal", "\\bigm", "\\BFd", "\\dashrightarrow", "\\twoheadrightarrow", "\\mod", "\\BFC", "\\sec", "\\varkappa", "\\mathsfbr", "\\varPi", "\\angle", "\\succsim", "\\succ", "\\aleph", "\\choose", "\\bigtriangleup", "\\smallsetminus", "\\ooalign", "\\tr", "\\SS", "\\hfil", "\\breve", "\\rightsquigarrow", "\\Subset", "\\small", "\\begin{smallmatrix}", "\\end{smallmatrix}", "\\lparen", "\\rparen", "\\leavevmode", "\\BFtheta", "\\xleftarrow", "\\blacksquare", "\\triangleright", "\\varinjlim", "\\Vdash", "\\varprojlim", "\\mathbfcal", "\\outerproduct", "\\begin{CD}", "\\end{CD}", "\\varLambda", "\\shuffle", "∞", "\\supseteq", "\\rightharpoonup", "\\real", "\\expectationvalue", "\\rotatebox", "\\sc", "\\doteq", "\\uppi", "\\$", "\\arcsin", "\\definecolor", "\\mathpzc", "\\ref", "\\vskip", "\\norm", "\\overbrace", "\\curvearrowright", "\\dotsc", "\\acute", "\\pmatrix", "\\cfrac", "\\mskip", "\\pagecolor", "\\trianglelefteq", "\\Bigm", "\\oslash", "\\includegraphics", "\\innerproduct", "\\halign", "#", "\\natural", "\\sslash", "\\overleftarrow", "\\twoheadleftarrow", "\\hookleftarrow", "\\set", "\\underaccent", "\\pqty", "\\P", "\\smile", "\"", "\\diamondsuit", "\\mathopen", "\\mathclose", "\\gradient", "\\uplus", "\\varTheta", "\\preccurlyeq", "\\atop", "\\vbox", "\\mathclap", "\\eqsim", "\\BFb", "\\coprod", "\\E", "\\thinspace", "\\llcorner", "\\cancel", "\\vtop", "\\m", "\\crcr", "\\Set", "\\circledast", "\\footnotesize", "\\lx", "Σ", "\\sumop", "\\slimits", "\\vvvert", "\\hss", "\\ulcorner", "\\nsubseteq", "\\hphantom", "\\ltimes", "\\begin{dcases}", "\\end{dcases}", "\\\"", "\\imaginary", "⁢", "\\lhd", "\\textsl", "\\BFc", "\\raise", "\\iiint", "\\csc", "\\normalsize", "\\enspace", "\\wr", "\\bowtie", "\\substack", "\\aligned", "\\lg", "\\allowbreak", "\\nrightarrow", "\\lozenge"], "chars": ["<pad>", "<unk>", "(", ")", ",", "1", "2", "=", "−", ".", "t", "i", "+", "0", "n", "x", "a", "r", "d", "s", "︂", "e", "|", "k", "p", "m", "3", "j", "c", "u", "f", "︁", "o", "4", "l", "g", "A", "h", "T", "︃", "L", "v", "R", "y", "q", "C", "S", "∑", "z", "∥", "P", "[", "]", "N", "E", "b", "α", "≤", "M", "B", "∈", "5", "X", "D", "H", "λ", "F", ":", "′", "θ", "/", "6", "µ", "·", "K", "G", "I", "β", "w", "V", "⃓", "ρ", "{", "∂", "ℓ", "π", "τ", "8", "σ", "ˆ", "δ", "}", "∗", "7", "∫", "Q", "ϕ", "U", "η", "ε", "W", "∆", "︄", "9", "γ", "√", "⟩", "J", "Y", "Z", "ω", "→", "¯", "≥", "ν", "˜", "ξ", ";", "∞", "⟨", "O", "⃦", "∇", "ψ", "<", "Φ", "ϵ", "Ω", "κ", "Γ", ">", "×", "Λ", "χ", "φ", "⊤", "∼", "Ψ", "ζ", "�", "˙", "Σ", "⋆", "∏", "⊗", "𝑡", "Θ", "±", "⎪", "𝑖", "̸", "≡", "Π", "†", "∩", "◦", "𝑥", "⎜", "⎟", "!", "⎛", "⎞", "∧", "⎝", "⊥", "⎠", "≃", "𝑠", "≈", "𝑗", "∀", "⇒", "⃗", "𝑘", "𝑓", "⎨", "≲", "⎧", "-", "∪", "𝑑", "𝑚", "´", "𝑧", "𝑣", "\\", "∨", "𝑛", "ϑ", "⊆", "⊕", "𝑦", "⩽", "𝑇", "↦", "⊂", "𝑢", "#", "𝑝", "𝑎", "𝑟", "⊙", "“", "ι", "≪", "⌊", "⌋", "𝑐", "𝑞", "ℏ", "𝑒", "ℎ", "𝐴", "𝐺", "`", "←", "𝜃", "∅", "𝛽", "𝑏", "𝑃", "⎢", "⎥", "∝", "□", "𝑆", "𝑀", "𝜏", "𝜆", "⎡", "⎤", "⇐", "𝑔", "𝑁", "•", "Υ", "𝐸", "Ξ", "ˇ", "Δ", "𝐾", "𝐹", "⋃", "𝐻", "⎣", "⎦", "𝐷", "⌉", "𝑅", "⌈", "↓", "𝛼", "𝐶", "ϖ", "𝑤", "𝜎", "∃", "𝜋", "𝜇", "𝑉", "𝐿", "¨", "⩾", "𝜔", "ς", "⏞", "⏟", "𝑋", "𝜈", "𝜌", "ϱ", "𝑙", "↑", "𝜕", "𝜂", "𝑄", "𝐵", "≍", "♭", "𝜙", "♯", "⨁", "𝐽", "⎫", "⎬", "𝑌", "𝐼", "𝜀", "𝑊", "≜", "¬", "𝛿", "𝛾", "˚", "Ω", "𝜓", "△", "Ñ", "_", "∓", "ÿ", "⪯", "𝑜", "𝑈", "ℜ", "⌟", "⋂", "ż", "≫", "⌜", "⎷", "𝜅", "≺", "⋄", "◁", "≳", "↔", "⊔", "%", "𝑍", "⨂", "⊃", "⪰", "υ", "∮", "–", "℘", "𝜖", "𝜉", "&", "♢", "@", "⊮", "ℑ", "∤", "⋀", "?", "⎩", "𝑂", "⋊", "˘", "↪", "𝔡", "⊠", "≠", "⊢", "ȷ", "ď", "ı", "𝜑", "", "⨆", "𝜁", "⊊", "⋁", "∋", "⊺", "⊖", "𝜒", "ĺ", "ă", "↠", "Ð", "∠", "Þ", "𝒙", "≻", "ℵ", "”", "’", "▷", "𝔞", "⇔", "≿", "ě", "∖", "„", "⇝", "ą", "¸", "⋐", "$", "■", "𝒱", "⊩", "𝜄", "𝒖", "∉", "⊇", "ź", "⇀", "˝", "‚", "^", "★", "", "", "𝑭", "À", "\"", "↷", "𝚺", "𝔖", "〉", "ã", "⊴", "⊘", "♮", "𝜽", "ℝ", "𝝈", "𝑸", "Ă", "↞", "â", "⎭", "⌣", "𝑿", "‹", "*", "𝝓", "𝜐", "ľ", "≼", "ś", "ñ", "≂", "∐", "Ч", "𝑼", "𝑷", "⌞", "𝒮", "⊛", "é", "𝒒", "⏐", "↶", "♦", "~", "𝜗", "⊈", "ö", "𝑮", "ð", "§", "𝑨", "≀", "ℛ", "↾", "«", "↛", "𝑰", "∣", "𝐗", "𝐦", "˛", "𝔉"], "fonts": ["<pad>", "<unk>", "CMR", "CMMI", "CMSY", "CMEX", "LMRoman10-Regular", "LMMathItalic10-Regular", "NimbusRomNo9L-Regu", "LMMathItalic8-Regular", "LMRoman8-Regular", "LMMathSymbols10-Regular", "SFRM", "LMMathExtension10-Regula", "TeXGyreTermesX-Regular", "NimbusRomNo9L-ReguItal", "NewTXMI", "txsys", "CMBX", "MSBM", "LMRoman12-Regular", "LMMathItalic7-Regular", "CMMIB", "LMMathItalic12-Regular", "LibertineMathMI", "LMRoman7-Regular", "LinLibertineT", "LMMathSymbols8-Regular", "txexs", "rtxmi", "CMTI", "TeX-matha", "URWPalladioL-Roma", "txsy", "CMSS", "txex", "txmiaX", "URWPalladioL-Ital", "EUFM", "LMMathItalic6-Regular", "LMMathSymbols7-Regular", "rtxr", "MSAM", "LMRoman6-Regular", "Utopia-Regular", "StandardSymL-Slant_", "SFTI", "LMMathItalic10-Bold", "CharterBT-Roman", "LMRoman10-Bold", "LMRoman10-Italic", "rsfs", "LMMathItalic5-Regular", "NimbusRomNo9L-Medi", "Utopia-Italic", "TeX-mathx", "LMRoman5-Regular", "StandardSymL", "EURM", "CMTT", "LMSans10-Regular", "CharterBT-Italic", "Fourier-Math-Symbols", "LMMathSymbols6-Regular", "MathDesign-CH-Regular-OT", "esint", "PazoMath-Italic", "LinLibertineTZ", "BeraSerif-Roman", "TeXGyreTermesX-Bold", "LibertinusMath-Regular", "NimbusSanL-Regu", "CMBSY", "EUSM", "DutchCalligraphic-Regula", "TeXGyrePagella-Regular", "TeXGyreTermesX-Italic", "txsym", "STIXTwoMath", "LMMono10-Regular", "LMRoman9-Regular", "LMSans8-Regular", "MathDesign-CH-Regular-Sy", "TeXGyreHeros-Regular", "Times-Roman", "Fourier-Math-Extension", "dsrom", "MathDesign-CH-Regular-It", "LMRoman12-Italic", "LMRoman12-Bold", "BBOLD", "MathDesign-CH-Regular-Ex", "F", "LMMathSymbols5-Regular", "PazoMath", "LinLibertineO", "LMMathSymbols9-Regular", "LibertineMathRM", "XYATIP-Medium", "LMMathItalic9-Regular", "LinBiolinumT", "SFTT", "Fourier-Math-Letters-Ita", "rtxbmi", "NimbusRomNo9L-MediItal", "SFBX", "Times-Italic", "txsyb", "LMRoman7-Bold", "NewTXBMI", "LibertineMathBMI", "Inconsolatazi4-Regular", "SFSS", "URWPalladioL-Bold", "BoondoxCalligraphic-Regu", "LMRoman8-Bold", "LinLibertineTI", "CMCSC", "EUEX", "XYCMAT-Medium", "txsya", "LMMathItalic7-Bold", "MathDesign-CH-Regular-Ma", "NimbusMonL-Regu", "LMSans12-Regular", "LMMono8-Regular", "PazoMathBlackboardBold", "LASY", "LMRoman9-Italic", "URWChanceryL-MediItal", "CharterBT-BoldItalic", "stmary", "txsyc", "Fourier-Math-Cal", "PazoMath-BoldItalic", "Unnamed-T", "TeX-mathb", "Yhcmex", "CMSSBX", "LatinModernMath-Regular", "txbmiaX", "stxscr", "LMRomanCaps10-Regular", "BeraSerif-Roman-Slant_", "CharterBT-Bold", "txbsys", "Fourier-Math-Letters", "LinLibertineTB", "Arial", "CMSL", "PazoMath-Bold", "XYBSQL-Medium", "LMRoman6-Bold", "txmia", "LMMathSymbols7-Bold", "MathDesign-CH-Bold-OT1-", "CMSSI"]}