tokenizer.json

{
  "token2id": {
    "<pad>": 0,
    "<unk>": 1,
    "<bos>": 2,
    "<eos>": 3,
    "\\frac": 4,
    "\\dfrac": 5,
    "\\tfrac": 6,
    "\\cfrac": 7,
    "\\over": 8,
    "\\sqrt": 9,
    "\\root": 10,
    "\\cdot": 11,
    "\\times": 12,
    "\\div": 13,
    "\\pm": 14,
    "\\mp": 15,
    "\\oplus": 16,
    "\\ominus": 17,
    "\\otimes": 18,
    "\\oslash": 19,
    "\\odot": 20,
    "\\circ": 21,
    "\\ast": 22,
    "\\star": 23,
    "\\bullet": 24,
    "\\cup": 25,
    "\\cap": 26,
    "\\sqcup": 27,
    "\\sqcap": 28,
    "\\wedge": 29,
    "\\vee": 30,
    "\\neg": 31,
    "\\setminus": 32,
    "\\smallsetminus": 33,
    "\\leq": 34,
    "\\geq": 35,
    "\\le": 36,
    "\\ge": 37,
    "\\neq": 38,
    "\\ne": 39,
    "\\approx": 40,
    "\\simeq": 41,
    "\\sim": 42,
    "\\equiv": 43,
    "\\cong": 44,
    "\\propto": 45,
    "\\doteq": 46,
    "\\prec": 47,
    "\\succ": 48,
    "\\preceq": 49,
    "\\succeq": 50,
    "\\ll": 51,
    "\\gg": 52,
    "\\lll": 53,
    "\\ggg": 54,
    "\\subset": 55,
    "\\supset": 56,
    "\\subseteq": 57,
    "\\supseteq": 58,
    "\\subsetneq": 59,
    "\\supsetneq": 60,
    "\\in": 61,
    "\\notin": 62,
    "\\ni": 63,
    "\\perp": 64,
    "\\parallel": 65,
    "\\mid": 66,
    "\\nmid": 67,
    "\\forall": 68,
    "\\exists": 69,
    "\\nexists": 70,
    "\\therefore": 71,
    "\\because": 72,
    "\\nabla": 73,
    "\\partial": 74,
    "\\infty": 75,
    "\\sum": 76,
    "\\prod": 77,
    "\\coprod": 78,
    "\\int": 79,
    "\\oint": 80,
    "\\iint": 81,
    "\\iiint": 82,
    "\\idotsint": 83,
    "\\lim": 84,
    "\\sup": 85,
    "\\inf": 86,
    "\\max": 87,
    "\\min": 88,
    "\\limsup": 89,
    "\\liminf": 90,
    "\\limits": 91,
    "\\nolimits": 92,
    "\\alpha": 93,
    "\\beta": 94,
    "\\gamma": 95,
    "\\delta": 96,
    "\\epsilon": 97,
    "\\varepsilon": 98,
    "\\zeta": 99,
    "\\eta": 100,
    "\\theta": 101,
    "\\vartheta": 102,
    "\\iota": 103,
    "\\kappa": 104,
    "\\lambda": 105,
    "\\mu": 106,
    "\\nu": 107,
    "\\xi": 108,
    "\\pi": 109,
    "\\varpi": 110,
    "\\rho": 111,
    "\\varrho": 112,
    "\\sigma": 113,
    "\\varsigma": 114,
    "\\tau": 115,
    "\\upsilon": 116,
    "\\phi": 117,
    "\\varphi": 118,
    "\\chi": 119,
    "\\psi": 120,
    "\\omega": 121,
    "\\Gamma": 122,
    "\\Delta": 123,
    "\\Theta": 124,
    "\\Lambda": 125,
    "\\Xi": 126,
    "\\Pi": 127,
    "\\Sigma": 128,
    "\\Upsilon": 129,
    "\\Phi": 130,
    "\\Psi": 131,
    "\\Omega": 132,
    "\\to": 133,
    "\\gets": 134,
    "\\rightarrow": 135,
    "\\leftarrow": 136,
    "\\leftrightarrow": 137,
    "\\Rightarrow": 138,
    "\\Leftarrow": 139,
    "\\Leftrightarrow": 140,
    "\\longrightarrow": 141,
    "\\longleftarrow": 142,
    "\\longleftrightarrow": 143,
    "\\Longrightarrow": 144,
    "\\Longleftarrow": 145,
    "\\Longleftrightarrow": 146,
    "\\mapsto": 147,
    "\\longmapsto": 148,
    "\\uparrow": 149,
    "\\downarrow": 150,
    "\\updownarrow": 151,
    "\\Uparrow": 152,
    "\\Downarrow": 153,
    "\\Updownarrow": 154,
    "\\nearrow": 155,
    "\\searrow": 156,
    "\\nwarrow": 157,
    "\\swarrow": 158,
    "\\hookrightarrow": 159,
    "\\hookleftarrow": 160,
    "\\rightharpoonup": 161,
    "\\leftharpoonup": 162,
    "\\rightleftharpoons": 163,
    "\\left": 164,
    "\\right": 165,
    "\\big": 166,
    "\\Big": 167,
    "\\bigg": 168,
    "\\Bigg": 169,
    "\\bigl": 170,
    "\\bigr": 171,
    "\\Bigl": 172,
    "\\Bigr": 173,
    "\\biggl": 174,
    "\\biggr": 175,
    "\\Biggl": 176,
    "\\Biggr": 177,
    "\\langle": 178,
    "\\rangle": 179,
    "\\lfloor": 180,
    "\\rfloor": 181,
    "\\lceil": 182,
    "\\rceil": 183,
    "\\lvert": 184,
    "\\rvert": 185,
    "\\lVert": 186,
    "\\rVert": 187,
    "\\vert": 188,
    "\\Vert": 189,
    "\\hat": 190,
    "\\tilde": 191,
    "\\bar": 192,
    "\\vec": 193,
    "\\dot": 194,
    "\\ddot": 195,
    "\\dddot": 196,
    "\\acute": 197,
    "\\grave": 198,
    "\\breve": 199,
    "\\check": 200,
    "\\overline": 201,
    "\\underline": 202,
    "\\widehat": 203,
    "\\widetilde": 204,
    "\\overrightarrow": 205,
    "\\overleftarrow": 206,
    "\\overbrace": 207,
    "\\underbrace": 208,
    "\\overset": 209,
    "\\underset": 210,
    "\\stackrel": 211,
    "\\mathbb": 212,
    "\\mathcal": 213,
    "\\mathbf": 214,
    "\\mathrm": 215,
    "\\mathit": 216,
    "\\mathsf": 217,
    "\\mathtt": 218,
    "\\mathfrak": 219,
    "\\mathscr": 220,
    "\\boldsymbol": 221,
    "\\bm": 222,
    "\\bf": 223,
    "\\rm": 224,
    "\\it": 225,
    "\\cal": 226,
    "\\sf": 227,
    "\\tt": 228,
    "\\text": 229,
    "\\mbox": 230,
    "\\hbox": 231,
    "\\mathnormal": 232,
    "\\begin": 233,
    "\\end": 234,
    "\\quad": 235,
    "\\qquad": 236,
    "\\,": 237,
    "\\:": 238,
    "\\;": 239,
    "\\!": 240,
    "\\ ": 241,
    "\\hspace": 242,
    "\\vspace": 243,
    "\\sin": 244,
    "\\cos": 245,
    "\\tan": 246,
    "\\cot": 247,
    "\\sec": 248,
    "\\csc": 249,
    "\\arcsin": 250,
    "\\arccos": 251,
    "\\arctan": 252,
    "\\sinh": 253,
    "\\cosh": 254,
    "\\tanh": 255,
    "\\coth": 256,
    "\\log": 257,
    "\\ln": 258,
    "\\lg": 259,
    "\\exp": 260,
    "\\det": 261,
    "\\dim": 262,
    "\\ker": 263,
    "\\deg": 264,
    "\\gcd": 265,
    "\\lcm": 266,
    "\\hom": 267,
    "\\arg": 268,
    "\\Re": 269,
    "\\Im": 270,
    "\\hbar": 271,
    "\\ell": 272,
    "\\wp": 273,
    "\\aleph": 274,
    "\\beth": 275,
    "\\prime": 276,
    "\\emptyset": 277,
    "\\varnothing": 278,
    "\\angle": 279,
    "\\triangle": 280,
    "\\square": 281,
    "\\diamond": 282,
    "\\dagger": 283,
    "\\ddagger": 284,
    "\\clubsuit": 285,
    "\\diamondsuit": 286,
    "\\heartsuit": 287,
    "\\spadesuit": 288,
    "\\cdots": 289,
    "\\ldots": 290,
    "\\dots": 291,
    "\\vdots": 292,
    "\\ddots": 293,
    "\\hdots": 294,
    "\\hline": 295,
    "\\cline": 296,
    "\\multicolumn": 297,
    "\\multirow": 298,
    "\\mathop": 299,
    "\\operatorname": 300,
    "\\not": 301,
    "\\binom": 302,
    "\\dbinom": 303,
    "\\tbinom": 304,
    "\\pmod": 305,
    "\\pod": 306,
    "\\mod": 307,
    "\\choose": 308,
    "\\displaystyle": 309,
    "\\textstyle": 310,
    "\\scriptstyle": 311,
    "\\scriptscriptstyle": 312,
    "\\color": 313,
    "\\textcolor": 314,
    "\\boxed": 315,
    "\\label": 316,
    "\\tag": 317,
    "\\ref": 318,
    "\\nonumber": 319,
    "\\notag": 320,
    "\\usepackage": 321,
    "\\newcommand": 322,
    "\\renewcommand": 323,
    "\\DeclareMathOperator": 324,
    "\\textrm": 325,
    "\\textbf": 326,
    "\\textit": 327,
    "\\texttt": 328,
    "\\textsf": 329,
    "\\textup": 330,
    "\\textsc": 331,
    "\\textsl": 332,
    "\\boldmath": 333,
    "\\unboldmath": 334,
    "\\bigcup": 335,
    "\\bigcap": 336,
    "\\bigsqcup": 337,
    "\\bigvee": 338,
    "\\bigwedge": 339,
    "\\bigoplus": 340,
    "\\bigotimes": 341,
    "\\bigodot": 342,
    "\\biguplus": 343,
    "\\top": 344,
    "\\bot": 345,
    "\\lesssim": 346,
    "\\gtrsim": 347,
    "\\lessgtr": 348,
    "\\gtrless": 349,
    "\\leqslant": 350,
    "\\geqslant": 351,
    "\\preccurlyeq": 352,
    "\\succcurlyeq": 353,
    "\\lnsim": 354,
    "\\gnsim": 355,
    "\\vdash": 356,
    "\\dashv": 357,
    "\\models": 358,
    "\\backslash": 359,
    "\\lbrack": 360,
    "\\rbrack": 361,
    "\\substack": 362,
    "\\phantom": 363,
    "\\vphantom": 364,
    "\\hphantom": 365,
    "\\smash": 366,
    "\\mathstrut": 367,
    "\\dag": 368,
    "\\ddag": 369,
    "\\Pr": 370,
    "\\tr": 371,
    "\\imath": 372,
    "\\jmath": 373,
    "\\complement": 374,
    "\\eth": 375,
    "\\hslash": 376,
    "\\mho": 377,
    "\\l": 378,
    "\\L": 379,
    "\\d": 380,
    "\\c": 381,
    "\\t": 382,
    "\\i": 383,
    "\\j": 384,
    "\\P": 385,
    "\\S": 386,
    "\\o": 387,
    "\\O": 388,
    "\\ae": 389,
    "\\AE": 390,
    "\\oe": 391,
    "\\OE": 392,
    "\\aa": 393,
    "\\AA": 394,
    "\\ss": 395,
    "\\a": 396,
    "\\b": 397,
    "\\e": 398,
    "\\g": 399,
    "\\h": 400,
    "\\k": 401,
    "\\n": 402,
    "\\q": 403,
    "\\r": 404,
    "\\s": 405,
    "\\u": 406,
    "\\v": 407,
    "\\x": 408,
    "\\y": 409,
    "\\z": 410,
    "\\B": 411,
    "\\D": 412,
    "\\T": 413,
    "\\X": 414,
    "\\#": 415,
    "\\%": 416,
    "\\_": 417,
    "\\atop": 418,
    "\\colon": 419,
    "\\triangleq": 420,
    "\\operatorname*": 421,
    "\\lbrace": 422,
    "\\rbrace": 423,
    "\\sharp": 424,
    "\\flat": 425,
    "\\natural": 426,
    "\\pmb": 427,
    "\\intercal": 428,
    "\\iff": 429,
    "\\implies": 430,
    "\\Box": 431,
    "\\blacksquare": 432,
    "\\boxtimes": 433,
    "\\boxplus": 434,
    "\\varPsi": 435,
    "\\varPhi": 436,
    "\\varSigma": 437,
    "\\varOmega": 438,
    "\\varGamma": 439,
    "\\varDelta": 440,
    "\\varTheta": 441,
    "\\varLambda": 442,
    "\\varXi": 443,
    "\\varPi": 444,
    "\\varUpsilon": 445,
    "\\middle": 446,
    "\\eqref": 447,
    "\\dotsc": 448,
    "\\dotsb": 449,
    "\\dotsi": 450,
    "\\dotsm": 451,
    "\\scriptsize": 452,
    "\\small": 453,
    "\\normalsize": 454,
    "\\large": 455,
    "\\Large": 456,
    "\\LARGE": 457,
    "\\huge": 458,
    "\\Huge": 459,
    "\\tiny": 460,
    "\\footnotesize": 461,
    "\\textnormal": 462,
    "\\cr": 463,
    "\\thinspace": 464,
    "\\enspace": 465,
    "\\medskip": 466,
    "\\kern": 467,
    "\\hskip": 468,
    "\\mskip": 469,
    "\\intertext": 470,
    "\\dx": 471,
    "\\pounds": 472,
    "equation": 473,
    "equation*": 474,
    "align": 475,
    "align*": 476,
    "aligned": 477,
    "alignat": 478,
    "alignat*": 479,
    "gather": 480,
    "gather*": 481,
    "gathered": 482,
    "multline": 483,
    "multline*": 484,
    "split": 485,
    "flalign": 486,
    "flalign*": 487,
    "matrix": 488,
    "pmatrix": 489,
    "bmatrix": 490,
    "Bmatrix": 491,
    "vmatrix": 492,
    "Vmatrix": 493,
    "smallmatrix": 494,
    "array": 495,
    "tabular": 496,
    "cases": 497,
    "rcases": 498,
    "dcases": 499,
    "subequations": 500,
    "math": 501,
    "displaymath": 502,
    "document": 503,
    "figure": 504,
    "table": 505,
    "center": 506,
    "flushleft": 507,
    "flushright": 508,
    "itemize": 509,
    "enumerate": 510,
    "description": 511,
    "theorem": 512,
    "proof": 513,
    "lemma": 514,
    "corollary": 515,
    "abstract": 516,
    "{": 517,
    "}": 518,
    "(": 519,
    ")": 520,
    "[": 521,
    "]": 522,
    "\\{": 523,
    "\\}": 524,
    "|": 525,
    "+": 526,
    "-": 527,
    "*": 528,
    "/": 529,
    "=": 530,
    "<": 531,
    ">": 532,
    "^": 533,
    "_": 534,
    "~": 535,
    ".": 536,
    ",": 537,
    ";": 538,
    ":": 539,
    "!": 540,
    "'": 541,
    "`": 542,
    "@": 543,
    "#": 544,
    "%": 545,
    "&": 546,
    "$": 547,
    "\\": 548,
    "\\\\": 549,
    "\\|": 550,
    " ": 551,
    "0": 552,
    "1": 553,
    "2": 554,
    "3": 555,
    "4": 556,
    "5": 557,
    "6": 558,
    "7": 559,
    "8": 560,
    "9": 561,
    "a": 562,
    "b": 563,
    "c": 564,
    "d": 565,
    "e": 566,
    "f": 567,
    "g": 568,
    "h": 569,
    "i": 570,
    "j": 571,
    "k": 572,
    "l": 573,
    "m": 574,
    "n": 575,
    "o": 576,
    "p": 577,
    "q": 578,
    "r": 579,
    "s": 580,
    "t": 581,
    "u": 582,
    "v": 583,
    "w": 584,
    "x": 585,
    "y": 586,
    "z": 587,
    "A": 588,
    "B": 589,
    "C": 590,
    "D": 591,
    "E": 592,
    "F": 593,
    "G": 594,
    "H": 595,
    "I": 596,
    "J": 597,
    "K": 598,
    "L": 599,
    "M": 600,
    "N": 601,
    "O": 602,
    "P": 603,
    "Q": 604,
    "R": 605,
    "S": 606,
    "T": 607,
    "U": 608,
    "V": 609,
    "W": 610,
    "X": 611,
    "Y": 612,
    "Z": 613,
    "Α": 614,
    "Β": 615,
    "Γ": 616,
    "Δ": 617,
    "Ε": 618,
    "Ζ": 619,
    "Η": 620,
    "Θ": 621,
    "Ι": 622,
    "Κ": 623,
    "Λ": 624,
    "Μ": 625,
    "Ν": 626,
    "Ξ": 627,
    "Ο": 628,
    "Π": 629,
    "Ρ": 630,
    "΢": 631,
    "Σ": 632,
    "Τ": 633,
    "Υ": 634,
    "Φ": 635,
    "Χ": 636,
    "Ψ": 637,
    "Ω": 638,
    "α": 639,
    "β": 640,
    "γ": 641,
    "δ": 642,
    "ε": 643,
    "ζ": 644,
    "η": 645,
    "θ": 646,
    "ι": 647,
    "κ": 648,
    "λ": 649,
    "μ": 650,
    "ν": 651,
    "ξ": 652,
    "ο": 653,
    "π": 654,
    "ρ": 655,
    "ς": 656,
    "σ": 657,
    "τ": 658,
    "υ": 659,
    "φ": 660,
    "χ": 661,
    "ψ": 662,
    "ω": 663,
    "−": 664,
    "–": 665,
    "—": 666,
    "‐": 667,
    "·": 668,
    "×": 669,
    "÷": 670,
    "±": 671,
    "′": 672,
    "″": 673,
    "…": 674,
    "∞": 675,
    "∂": 676,
    "∇": 677,
    "∑": 678,
    "∫": 679,
    "≈": 680,
    "≠": 681,
    "≤": 682,
    "≥": 683,
    "∈": 684,
    "∉": 685,
    "⊂": 686,
    "⊃": 687,
    "∪": 688,
    "∩": 689,
    "∀": 690,
    "∃": 691,
    "→": 692,
    "⇒": 693,
    "⇔": 694,
    "°": 695,
    "⁡": 696,
    "12": 697,
    "10": 698,
    "0.": 699,
    "11": 700,
    "1.": 701,
    "2.": 702,
    "16": 703,
    "13": 704,
    "21": 705,
    "22": 706,
    "24": 707,
    "15": 708,
    "14": 709,
    "20": 710,
    "23": 711,
    "100": 712,
    "32": 713,
    "0.5": 714,
    "18": 715,
    "17": 716,
    "30": 717,
    "25": 718,
    "27": 719,
    "00": 720,
    "31": 721,
    "01": 722,
    "1000": 723,
    "33": 724,
    "19": 725,
    "36": 726,
    "3.": 727,
    "50": 728,
    "64": 729,
    "34": 730,
    "60": 731,
    "48": 732,
    "45": 733,
    "26": 734,
    "35": 735,
    "10000": 736,
    "1000000": 737,
    "100000": 738,
    "100000000": 739,
    "40": 740,
    "10000000": 741,
    "100000000000": 742,
    "10000000000": 743,
    "1000000000000": 744,
    "90": 745,
    "1000000000": 746,
    "28": 747,
    "123": 748,
    "37": 749,
    "42": 750,
    "4.": 751,
    "180": 752,
    "43": 753,
    "41": 754,
    "70": 755,
    "56": 756,
    "96": 757,
    "80": 758,
    "44": 759,
    "0.2": 760,
    "72": 761,
    "49": 762,
    "29": 763,
    "0.1": 764,
    "52": 765,
    "360": 766,
    "000": 767,
    "120": 768,
    "1.5": 769,
    "128": 770,
    "0.3": 771,
    "63": 772,
    "81": 773,
    "38": 774,
    "47": 775,
    "101": 776,
    "111": 777,
    "54": 778,
    "51": 779,
    "256": 780,
    "02": 781,
    "39": 782,
    "200": 783,
    "75": 784,
    "108": 785,
    "99": 786,
    "55": 787,
    "61": 788,
    "112": 789,
    "78": 790,
    "53": 791,
    "46": 792,
    "66": 793,
    "59": 794,
    "0.4": 795,
    "234": 796,
    "125": 797,
    "122": 798,
    "2.5": 799,
    "58": 800,
    "74": 801,
    "62": 802,
    "89": 803,
    "294": 804,
    "94": 805,
    "65": 806,
    "97": 807,
    "0.25": 808,
    "300": 809,
    "73": 810,
    "77": 811,
    "169": 812,
    "68": 813,
    "67": 814,
    "0.6": 815,
    "365": 816,
    "87": 817,
    "57": 818,
    "5.": 819,
    "86": 820,
    "500": 821,
    "127": 822,
    "84": 823,
    "469": 824,
    "119": 825,
    "93": 826,
    "164": 827,
    ".5": 828,
    "69": 829,
    "102": 830,
    "83": 831,
    "98": 832,
    "76": 833,
    "95": 834,
    "240": 835,
    "236": 836,
    "144": 837,
    "132": 838,
    "0.8": 839,
    "163": 840,
    "88": 841,
    "210": 842,
    "492": 843,
    "92": 844,
    "468": 845,
    "168": 846,
    "110": 847,
    "150": 848,
    "6.": 849,
    "105": 850,
    ".1": 851,
    "400": 852,
    "107": 853,
    "91": 854,
    "71": 855,
    "251": 856,
    "82": 857,
    "317": 858,
    "126": 859,
    "103": 860,
    "0.7": 861,
    "0.9": 862,
    "375": 863,
    "85": 864,
    "0.01": 865,
    "131": 866,
    ".2": 867,
    "194": 868,
    "386": 869,
    "79": 870,
    "118": 871,
    "296": 872,
    "140": 873,
    "109": 874,
    "429": 875,
    "160": 876,
    "288": 877,
    "124": 878,
    "0.05": 879,
    "399": 880,
    "449": 881,
    "133": 882,
    "243": 883,
    "104": 884,
    "806": 885,
    "448": 886,
    "303": 887,
    "313": 888,
    "1.0": 889,
    "192": 890,
    "1234": 891,
    "138": 892,
    "114": 893,
    "189": 894,
    "197": 895,
    "265": 896,
    "106": 897,
    "141": 898,
    "280": 899,
    "221": 900,
    "229": 901,
    "363": 902,
    "113": 903,
    "370": 904,
    "246": 905,
    "130": 906,
    "0.75": 907,
    "121": 908,
    "340": 909,
    "298": 910,
    "287": 911,
    "143": 912,
    "145": 913,
    "406": 914,
    "117": 915,
    "135": 916,
    "159": 917,
    "493": 918,
    "1.2": 919,
    "374": 920,
    "334": 921,
    "273": 922,
    ".3": 923,
    "289": 924,
    "315": 925,
    "347": 926,
    "193": 927,
    "357": 928,
    "149": 929,
    "232": 930,
    "220": 931,
    "209": 932,
    "409": 933,
    "171": 934,
    "157": 935,
    "207": 936,
    "302": 937,
    "323": 938,
    "228": 939,
    "372": 940,
    "1.1": 941,
    "361": 942,
    "248": 943,
    "115": 944,
    "419": 945,
    "362": 946,
    "413": 947,
    "1024": 948,
    "324": 949,
    "142": 950,
    "383": 951,
    "8.": 952,
    "195": 953,
    "215": 954,
    "222": 955,
    "394": 956,
    "332": 957,
    "03": 958,
    "454": 959,
    "116": 960,
    "218": 961,
    "203": 962,
    "239": 963,
    "272": 964,
    "368": 965,
    "395": 966,
    "270": 967,
    "3.5": 968,
    "352": 969,
    "401": 970,
    "297": 971,
    "480": 972,
    "326": 973,
    "470": 974,
    "184": 975,
    "600": 976,
    "366": 977,
    "156": 978,
    "455": 979,
    "185": 980,
    "325": 981,
    "245": 982,
    "441": 983,
    "001": 984,
    "499": 985,
    "397": 986,
    "463": 987,
    "212": 988,
    "199": 989,
    "1728": 990,
    "255": 991,
    "356": 992,
    "341": 993,
    "277": 994,
    "431": 995,
    "176": 996,
    "191": 997,
    "377": 998,
    "053": 999,
    "456": 1000,
    "170": 1001,
    "312": 1002,
    "491": 1003,
    "010": 1004,
    "450": 1005,
    "410": 1006,
    "276": 1007,
    "438": 1008,
    "161": 1009,
    "152": 1010,
    "322": 1011,
    "720": 1012,
    "7.": 1013,
    "335": 1014,
    "495": 1015,
    "320": 1016,
    "1.3": 1017,
    "146": 1018,
    "252": 1019,
    "136": 1020,
    "458": 1021,
    "155": 1022,
    "314": 1023,
    "129": 1024,
    "284": 1025,
    "1.4": 1026,
    "333": 1027,
    "392": 1028,
    "445": 1029,
    "380": 1030,
    "238": 1031,
    "167": 1032,
    "224": 1033,
    "x,": 1034,
    "..": 1035,
    "dx": 1036,
    "in": 1037,
    "i,": 1038,
    "t,": 1039,
    "ij": 1040,
    "dt": 1041,
    "...": 1042,
    "n,": 1043,
    ",x": 1044,
    ",t": 1045,
    "an": 1046,
    "x,y": 1047,
    "co": 1048,
    "k,": 1049,
    ",...": 1050,
    "a,": 1051,
    ",n": 1052,
    "sin": 1053,
    "cc": 1054,
    "ds": 1055,
    "ab": 1056,
    "j,": 1057,
    "lo": 1058,
    "cos": 1059,
    "u,": 1060,
    "or": 1061,
    "s,": 1062,
    "dy": 1063,
    "er": 1064,
    ",...,": 1065,
    "''": 1066,
    "log": 1067,
    "p,": 1068,
    "al": 1069,
    ",z": 1070,
    "X,": 1071,
    "i,j": 1072,
    ",k": 1073,
    "ar": 1074,
    "im": 1075,
    "r,": 1076,
    "ln": 1077,
    "and": 1078,
    "ex": 1079,
    "it": 1080,
    ",y": 1081,
    "for": 1082,
    "is": 1083,
    "x,t": 1084,
    "ll": 1085,
    "m,": 1086,
    "ax": 1087,
    "de": 1088,
    "re": 1089,
    "dz": 1090,
    "a,b": 1091,
    ",p": 1092,
    "if": 1093,
    ",a": 1094,
    ",T": 1095,
    "at": 1096,
    "z,": 1097,
    ",i": 1098,
    ",m": 1099,
    "exp": 1100,
    "f,": 1101,
    "dr": 1102,
    ",j": 1103,
    "on": 1104,
    "ik": 1105,
    "en": 1106,
    "tr": 1107,
    "th": 1108,
    ",v": 1109,
    "xy": 1110,
    ",s": 1111,
    "ig": 1112,
    "t,x": 1113,
    ",\\": 1114,
    "x'": 1115,
    ",u": 1116,
    ";q": 1117,
    "A,": 1118,
    "du": 1119,
    ",r": 1120,
    "lim": 1121,
    "ac": 1122,
    "$.": 1123,
    "y,": 1124,
    ",b": 1125,
    "v,": 1126,
    "st": 1127,
    "Tr": 1128,
    ",c": 1129,
    "n!": 1130,
    ",q": 1131,
    "max": 1132,
    "su": 1133,
    "',": 1134,
    "jk": 1135,
    "AB": 1136,
    "N,": 1137,
    "u,v": 1138,
    "tan": 1139,
    "od": 1140,
    ",d": 1141,
    "Re": 1142,
    "xx": 1143,
    "be": 1144,
    ",X": 1145,
    "di": 1146,
    ",f": 1147,
    "as": 1148,
    "q,": 1149,
    "mn": 1150,
    "f'": 1151,
    "dv": 1152,
    "X,Y": 1153,
    "ic": 1154,
    "min": 1155,
    "ad": 1156,
    "g,": 1157,
    "wh": 1158,
    "ol": 1159,
    "p,q": 1160,
    "ign": 1161,
    "kl": 1162,
    "ix": 1163,
    ",e": 1164,
    "ere": 1165,
    ",N": 1166,
    "cl": 1167,
    "et": 1168,
    "det": 1169,
    "om": 1170,
    "s,t": 1171,
    "m,n": 1172,
    ",g": 1173,
    ",A": 1174,
    ",w": 1175,
    "x;": 1176,
    "es": 1177,
    "mod": 1178,
    "p'": 1179,
    "all": 1180,
    "where": 1181,
    "ut": 1182,
    "ec": 1183,
    "n,k": 1184,
    ",h": 1185,
    "pt": 1186,
    "gin": 1187,
    "ii": 1188,
    "dV": 1189,
    "n.": 1190,
    "b,": 1191,
    "M,": 1192,
    "begin": 1193,
    "ot": 1194,
    "j,k": 1195,
    "T,": 1196,
    "id": 1197,
    "k!": 1198,
    "ef": 1199,
    ",L": 1200,
    ",l": 1201,
    "of": 1202,
    "mm": 1203,
    "cm": 1204,
    "pq": 1205,
    "Y,": 1206,
    "Pr": 1207,
    "$,": 1208,
    "h,": 1209,
    ",...,x": 1210,
    "bc": 1211,
    "ccc": 1212,
    "d,": 1213,
    "k'": 1214,
    "ion": 1215,
    "con": 1216,
    "c,": 1217,
    "dW": 1218,
    "eq": 1219,
    "il": 1220,
    "int": 1221,
    "g'": 1222,
    "i'": 1223,
    "n,m": 1224,
    "div": 1225,
    "B,": 1226,
    "sp": 1227,
    "dS": 1228,
    "ag": 1229,
    "a'": 1230,
    "cd": 1231,
    "ed": 1232,
    "ch": 1233,
    ",R": 1234,
    "Im": 1235,
    "ijk": 1236,
    "ji": 1237,
    "u'": 1238,
    ",S": 1239,
    "l,": 1240,
    "df": 1241,
    "x,y,z": 1242,
    ",V": 1243,
    "y'": 1244,
    ",B": 1245,
    ",Y": 1246,
    ",P": 1247,
    "ip": 1248,
    "A'": 1249,
    "w,": 1250,
    "t'": 1251,
    "iv": 1252,
    "arc": 1253,
    "j'": 1254,
    "II": 1255,
    "dp": 1256,
    ",F": 1257,
    "i.": 1258,
    "v'": 1259,
    "$$": 1260,
    "G,": 1261,
    "ct": 1262,
    "r'": 1263,
    "I,": 1264,
    "pr": 1265,
    ",Z": 1266,
    "ev": 1267,
    "dX": 1268,
    "uv": 1269,
    "n'": 1270,
    "am": 1271,
    "dA": 1272,
    "sup": 1273,
    "s'": 1274,
    "iz": 1275,
    ",Q": 1276,
    "Th": 1277,
    ",D": 1278,
    "ith": 1279,
    "cccc": 1280,
    "x,x": 1281,
    "rr": 1282,
    "to": 1283,
    ",E": 1284,
    ",M": 1285,
    "x.": 1286,
    "eff": 1287,
    "h'": 1288,
    "R,": 1289,
    "abc": 1290,
    "k,l": 1291,
    "k.": 1292,
    "dq": 1293,
    "f,g": 1294,
    "dx.": 1295,
    "s.": 1296,
    "nt": 1297,
    "oth": 1298,
    "V,": 1299,
    "x,z": 1300,
    "out": 1301,
    "dw": 1302,
    "with": 1303,
    "ph": 1304,
    "t,s": 1305,
    "t.": 1306,
    "a.": 1307,
    "kj": 1308,
    "red": 1309,
    "z'": 1310,
    "F,": 1311,
    "nx": 1312,
    "nd": 1313,
    "ir": 1314,
    "ise": 1315,
    "S,": 1316,
    "m'": 1317,
    "other": 1318,
    "H,": 1319,
    "RT": 1320,
    "f:": 1321,
    "L,": 1322,
    "le": 1323,
    "iy": 1324,
    "dP": 1325,
    "kx": 1326,
    "nm": 1327,
    "ie": 1328,
    "rs": 1329,
    "gh": 1330,
    "ap": 1331,
    "dB": 1332,
    ",C": 1333,
    "i,k": 1334,
    "dt.": 1335,
    "op": 1336,
    "da": 1337,
    "wise": 1338,
    "Sp": 1339,
    "r,s": 1340,
    "t,y": 1341,
    "b'": 1342,
    "sc": 1343,
    ",K": 1344,
    "otherwise": 1345,
    "Ax": 1346,
    "av": 1347,
    "A,B": 1348,
    "gr": 1349,
    "ne": 1350,
    "ia": 1351,
    "kT": 1352,
    "e,": 1353,
    "XY": 1354,
    "...,": 1355,
    "D,": 1356,
    "j.": 1357,
    "se": 1358,
    ",W": 1359,
    "np": 1360,
    "dT": 1361,
    "SO": 1362,
    "E,": 1363,
    "tt": 1364,
    "q;q": 1365,
    ",...,n": 1366,
    "AC": 1367,
    "dg": 1368,
    ",J": 1369,
    "q'": 1370,
    "const": 1371,
    "w'": 1372,
    ",H": 1373,
    ";x": 1374,
    "IJ": 1375,
    "ce": 1376,
    "B'": 1377,
    "c.": 1378,
    "nk": 1379,
    "dx,": 1380,
    "dk": 1381,
    "rit": 1382,
    "i,n": 1383,
    "C,": 1384,
    "deg": 1385,
    "dm": 1386,
    "bx": 1387,
    "by": 1388,
    "dim": 1389,
    "x,u": 1390,
    "v,w": 1391,
    "K,": 1392,
    "diag": 1393,
    "ta": 1394,
    "em": 1395,
    "ss": 1396,
    "we": 1397,
    "U,": 1398,
    "SU": 1399,
    "mc": 1400,
    "k,n": 1401,
    "inf": 1402,
    "Var": 1403,
    "dt,": 1404,
    "y,z": 1405,
    "sinh": 1406,
    "x,v": 1407,
    ";z": 1408,
    "p.": 1409,
    "yy": 1410,
    "MN": 1411,
    "a,b,c": 1412,
    "ent": 1413,
    "ue": 1414,
    "mat": 1415,
    "dis": 1416,
    "c'": 1417,
    "F'": 1418,
    "ay": 1419,
    "ds.": 1420,
    "un": 1421,
    "cosh": 1422,
    "ib": 1423,
    "n,n": 1424,
    "pl": 1425,
    "Hom": 1426,
    "P,": 1427,
    "ur": 1428,
    ";t": 1429,
    "GM": 1430,
    "BC": 1431,
    "yz": 1432,
    "r,t": 1433,
    "Id": 1434,
    "mu": 1435,
    "fr": 1436,
    "Ric": 1437,
    "k,j": 1438,
    "vol": 1439,
    "m!": 1440,
    "writ": 1441,
    "tx": 1442,
    "el": 1443,
    "i:": 1444,
    "kn": 1445,
    "ing": 1446,
    "lll": 1447,
    "n,j": 1448,
    "n:": 1449,
    "sg": 1450,
    "C'": 1451,
    "fg": 1452,
    "igh": 1453,
    "the": 1454,
    "s,x": 1455,
    "jl": 1456,
    "arg": 1457,
    "xz": 1458,
    "ps": 1459,
    "bd": 1460,
    "i,i": 1461,
    "z,w": 1462,
    "dE": 1463,
    "ki": 1464,
    "um": 1465,
    "m.": 1466,
    "ran": 1467,
    "dxdy": 1468,
    "mv": 1469,
    "arctan": 1470,
    "Cl": 1471,
    "x:": 1472,
    "y,x": 1473,
    "t;": 1474,
    "l'": 1475,
    "X;": 1476,
    "V'": 1477,
    "e.": 1478,
    "rcl": 1479,
    "logn": 1480,
    "ds,": 1481,
    "d'": 1482,
    "X'": 1483,
    "sub": 1484,
    "can": 1485,
    "sec": 1486,
    "tu": 1487,
    ":X": 1488,
    "n;": 1489,
    ",G": 1490,
    "lm": 1491,
    "ation": 1492,
    "N.": 1493,
    "sw": 1494,
    "xt": 1495,
    "f.": 1496,
    "ant": 1497,
    "q,p": 1498,
    "The": 1499,
    ":x": 1500,
    "au": 1501,
    "h.": 1502,
    "TM": 1503,
    "r.": 1504,
    "tot": 1505,
    "S'": 1506,
    "ms": 1507,
    "f''": 1508,
    "var": 1509,
    "k,i": 1510,
    "Q,": 1511,
    "Z,": 1512,
    "ma": 1513,
    "kr": 1514,
    "par": 1515,
    "iq": 1516,
    "iu": 1517,
    "ob": 1518,
    "T'": 1519,
    "sgn": 1520,
    ",U": 1521,
    "dF": 1522,
    "ome": 1523,
    "ou": 1524,
    "CD": 1525,
    "GL": 1526,
    "M'": 1527,
    "dh": 1528,
    "rt": 1529,
    "na": 1530,
    "j,i": 1531,
    "dR": 1532,
    "k,k": 1533,
    "ts": 1534,
    "ba": 1535,
    "sy": 1536,
    "cot": 1537,
    "P'": 1538,
    "ov": 1539,
    "sum": 1540,
    ",I": 1541,
    "ter": 1542,
    "ect": 1543,
    "bl": 1544,
    "kt": 1545,
    "g.": 1546,
    ";k": 1547,
    "cx": 1548,
    "n,i": 1549,
    "j!": 1550,
    "H'": 1551,
    "me": 1552,
    "ih": 1553,
    "y.": 1554,
    "Du": 1555,
    "L'": 1556,
    "t,t": 1557,
    "km": 1558,
    "cr": 1559,
    "t,x,": 1560,
    "AA": 1561,
    ",...,a": 1562,
    "ijkl": 1563,
    "y,t": 1564,
    "ge": 1565,
    "lk": 1566,
    "sinx": 1567,
    "t,r": 1568,
    "ight": 1569,
    "mp": 1570,
    "ext": 1571,
    "Df": 1572,
    "Li": 1573,
    "G'": 1574,
    "Q'": 1575,
    "ity": 1576,
    "equ": 1577,
    "BA": 1578,
    "per": 1579,
    "that": 1580,
    "dn": 1581,
    "$x": 1582,
    "k:": 1583,
    "yx": 1584,
    "ial": 1585,
    "jj": 1586,
    "Ad": 1587,
    "qu": 1588,
    "k,m": 1589,
    "ten": 1590,
    "M.": 1591,
    "dl": 1592,
    "e'": 1593,
    "mk": 1594,
    "loc": 1595,
    "tanh": 1596,
    "T.": 1597,
    "aq": 1598,
    "b.": 1599,
    "px": 1600,
    "X.": 1601,
    "v.": 1602,
    "ka": 1603,
    "dQ": 1604,
    "A.": 1605,
    "def": 1606,
    "sl": 1607,
    "so": 1608,
    "C.": 1609,
    "z;": 1610,
    "sign": 1611,
    ",...,X": 1612,
    "rank": 1613,
    "SL": 1614,
    "odd": 1615,
    "ace": 1616,
    "W'": 1617,
    "X:": 1618,
    "pi": 1619,
    "ow": 1620,
    "u.": 1621,
    "dd": 1622,
    "zz": 1623,
    "eta": 1624,
    "t,u": 1625,
    "ae": 1626,
    "W,": 1627,
    "R'": 1628,
    ":a": 1629,
    "K'": 1630,
    "s,y": 1631,
    "J,": 1632,
    "x,p": 1633,
    ",..": 1634,
    "written": 1635,
    "cy": 1636,
    "dy.": 1637,
    "some": 1638,
    "even": 1639,
    "nn": 1640,
    "dy,": 1641,
    "t,z": 1642,
    "d.": 1643,
    "Au": 1644,
    "nu": 1645,
    "low": 1646,
    "xdx": 1647,
    "Vol": 1648,
    "xf": 1649,
    "kp": 1650,
    "os": 1651,
    "us": 1652,
    "ke": 1653,
    "u,u": 1654,
    "mg": 1655,
    "rl": 1656,
    "nf": 1657,
    "b,c": 1658,
    "x,s": 1659,
    "af": 1660,
    "D'": 1661,
    "iA": 1662,
    "j,n": 1663,
    "N'": 1664,
    "swer": 1665,
    "te": 1666,
    "NR": 1667,
    "cz": 1668,
    "uu": 1669,
    "iT": 1670,
    "Y,Z": 1671,
    "n,p": 1672,
    "dist": 1673,
    "k;": 1674,
    "a,c": 1675,
    "i,t": 1676,
    "ess": 1677,
    "not": 1678,
    "lnx": 1679,
    "mr": 1680,
    "dN": 1681,
    "OP": 1682,
    "dU": 1683,
    "pp": 1684,
    "db": 1685,
    "g,h": 1686,
    ";Y": 1687,
    "U'": 1688,
    "v,v": 1689,
    "z,t": 1690,
    "x,r": 1691,
    "nq": 1692,
    "nc": 1693,
    "PV": 1694,
    "are": 1695,
    "V.": 1696,
    "AD": 1697,
    "AP": 1698,
    "E'": 1699,
    "i!": 1700,
    "AX": 1701,
    "CS": 1702,
    "l,m": 1703,
    "A:": 1704,
    "x',": 1705,
    "xu": 1706,
    "'''": 1707,
    "x,y,": 1708,
    "B.": 1709,
    "ord": 1710,
    "Tx": 1711,
    "kg": 1712,
    "Let": 1713,
    "dY": 1714,
    "CP": 1715,
    "lin": 1716,
    "aa": 1717,
    "Res": 1718,
    "answer": 1719,
    "DF": 1720,
    "res": 1721,
    "i;": 1722,
    "az": 1723,
    "tf": 1724,
    "SS": 1725,
    "lt": 1726,
    "ga": 1727,
    "qx": 1728,
    "dL": 1729,
    "xe": 1730,
    "rx": 1731,
    "!!": 1732,
    "ns": 1733,
    "sq": 1734,
    "ker": 1735,
    "kk": 1736,
    "j:": 1737,
    "j,m": 1738,
    "dM": 1739,
    "ikx": 1740,
    "nz": 1741,
    "z,z": 1742,
    "ST": 1743,
    "mx": 1744,
    "LC": 1745,
    "I'": 1746,
    ",n,": 1747,
    "xp": 1748,
    "act": 1749,
    "R.": 1750,
    "S.": 1751,
    "q.": 1752,
    "t,X": 1753,
    "ra": 1754,
    "t,q": 1755,
    "YM": 1756,
    "x,y,t": 1757,
    "forall": 1758,
    "constant": 1759,
    "nh": 1760,
    "dc": 1761,
    ";c": 1762,
    "Y'": 1763,
    "q,r": 1764,
    "x,x'": 1765,
    "pe": 1766,
    "m,k": 1767,
    "s:": 1768,
    "i,j,k": 1769,
    "MS": 1770,
    "ai": 1771,
    "BT": 1772,
    "t,x,y": 1773,
    "NS": 1774,
    "hc": 1775,
    "nb": 1776,
    "ly": 1777,
    "I.": 1778,
    "$i": 1779,
    "n,t": 1780,
    "bf": 1781,
    "fd": 1782,
    "bi": 1783,
    "erf": 1784,
    "ca": 1785,
    "he": 1786,
    "MA": 1787,
    "ty": 1788,
    "Ae": 1789,
    "t:": 1790,
    "Spec": 1791,
    "pro": 1792,
    "cur": 1793,
    "part": 1794,
    "i,j,": 1795,
    "ave": 1796,
    "c,d": 1797,
    "a.e.": 1798,
    "jm": 1799,
    "XX": 1800,
    "SI": 1801,
    ";s": 1802,
    "G.": 1803,
    "kz": 1804,
    "KL": 1805,
    "eft": 1806,
    "reg": 1807,
    "J'": 1808,
    "cosx": 1809,
    "CO": 1810,
    "ak": 1811,
    "ever": 1812,
    "dC": 1813,
    "UV": 1814,
    "right": 1815,
    "z.": 1816,
    ",...,N": 1817,
    "M:": 1818,
    "cb": 1819,
    "a,a": 1820,
    "N!": 1821,
    ",...,p": 1822,
    "ree": 1823,
    "ju": 1824,
    "cov": 1825,
    "span": 1826,
    "ind": 1827,
    "p,p": 1828,
    "Z'": 1829,
    "ni": 1830,
    "qr": 1831,
    "vt": 1832,
    "TS": 1833,
    ",...,y": 1834,
    "supp": 1835,
    "blue": 1836,
    "ive": 1837,
    "j,j": 1838,
    "NC": 1839,
    "abcd": 1840,
    "nr": 1841,
    "iS": 1842,
    "Av": 1843,
    "x;q": 1844,
    "jx": 1845,
    "Con": 1846,
    "$n": 1847,
    "arr": 1848,
    "frac": 1849,
    "jn": 1850,
    "bu": 1851,
    "kf": 1852,
    "dxdt": 1853,
    "CA": 1854,
    "zx": 1855,
    "TP": 1856,
    "have": 1857,
    "rel": 1858,
    "tA": 1859,
    "left": 1860,
    "BD": 1861,
    "li": 1862,
    "ABC": 1863,
    "ref": 1864,
    "H.": 1865,
    "gf": 1866,
    "eV": 1867,
    "vv": 1868,
    "rad": 1869,
    "s.t.": 1870,
    ",...,m": 1871,
    "MP": 1872,
    ":A": 1873,
    "Na": 1874,
    "ky": 1875,
    ":H": 1876,
    "ks": 1877,
    "CC": 1878,
    "F.": 1879,
    "i,x": 1880,
    "j,t": 1881,
    "cu": 1882,
    "s,p": 1883,
    "sh": 1884,
    "pf": 1885,
    "any": 1886,
    "X,Z": 1887,
    "xxx": 1888,
    "cn": 1889,
    "t,k": 1890,
    "k,t": 1891,
    "mma": 1892,
    "BP": 1893,
    ",$": 1894,
    "P,Q": 1895,
    "Gr": 1896,
    "mo": 1897,
    "from": 1898,
    "curl": 1899,
    "....": 1900,
    "g:": 1901,
    "psi": 1902,
    "TX": 1903,
    "m:": 1904,
    "mb": 1905,
    "wt": 1906,
    "arccos": 1907,
    "CF": 1908,
    "tz": 1909,
    "U,V": 1910,
    "phi": 1911,
    "ime": 1912,
    "ber": 1913,
    "p:": 1914,
    "such": 1915,
    "l.": 1916,
    "n,x": 1917,
    "tv": 1918,
    "u''": 1919,
    "Cov": 1920,
    "eg": 1921,
    ";u": 1922,
    "x;z": 1923,
    "str": 1924,
    "Rewritten": 1925,
    "dH": 1926,
    "qp": 1927,
    "ide": 1928,
    "sx": 1929,
    "modp": 1930,
    "ku": 1931,
    "ng": 1932,
    "dI": 1933,
    "dZ": 1934,
    "qt": 1935,
    "n,l": 1936,
    "y;": 1937,
    "del": 1938,
    "S:": 1939,
    "CH": 1940,
    "iH": 1941,
    "ccccc": 1942,
    "BH": 1943,
    "BB": 1944,
    "Tf": 1945,
    "xq": 1946,
    "u:": 1947,
    "nj": 1948,
    "E.": 1949,
    ",...,v": 1950,
    "P.": 1951,
    "ate": 1952,
    "$k": 1953,
    "TA": 1954,
    "z,y": 1955,
    "br": 1956,
    ",T;": 1957,
    "sn": 1958,
    "s,X": 1959,
    "bt": 1960,
    "Su": 1961,
    "abs": 1962,
    "mt": 1963,
    "rh": 1964,
    "B,C": 1965,
    "s;": 1966,
    "CM": 1967,
    "Af": 1968,
    "y,s": 1969,
    "oo": 1970,
    "w.": 1971,
    "logx": 1972,
    "ject": 1973,
    "sym": 1974,
    "F:": 1975,
    "alph": 1976,
    "ize": 1977,
    "sr": 1978,
    "PQ": 1979,
    ",...,k": 1980,
    "rk": 1981,
    "write": 1982,
    "D.": 1983,
    "i\\": 1984,
    "$f": 1985,
    "grad": 1986,
    "amb": 1987,
    "init": 1988,
    "PA": 1989,
    "Ch": 1990,
    "then": 1991,
    "csc": 1992,
    "k,p": 1993,
    "b,a": 1994,
    ":G": 1995,
    "k,q": 1996,
    "isin": 1997,
    "every": 1998,
    "ase": 1999,
    "y,y": 2000,
    "Lu": 2001,
    "ym": 2002,
    "ction": 2003,
    "rd": 2004,
    "matr": 2005,
    "K.": 2006,
    "bb": 2007,
    "L.": 2008,
    "N,M": 2009,
    "kd": 2010,
    "total": 2011,
    "Dt": 2012,
    "r,r": 2013,
    "'.": 2014,
    "mi": 2015,
    "r!": 2016,
    "n,s": 2017,
    "PB": 2018,
    "ja": 2019,
    "ny": 2020,
    "dz.": 2021,
    "n,r": 2022,
    "Ker": 2023,
    "EI": 2024,
    ",...,z": 2025,
    "pa": 2026,
    "Then": 2027,
    "alpha": 2028,
    "q,t": 2029,
    "m,m": 2030,
    "RC": 2031,
    "HS": 2032,
    "vu": 2033,
    "new": 2034,
    "arcsin": 2035,
    ";a": 2036,
    "la": 2037,
    ":T": 2038,
    "i,m": 2039,
    "pn": 2040,
    "Ar": 2041,
    "llll": 2042,
    ";p": 2043,
    "ml": 2044,
    "age": 2045
  },
  "id2token": {
    "0": "<pad>",
    "1": "<unk>",
    "2": "<bos>",
    "3": "<eos>",
    "4": "\\frac",
    "5": "\\dfrac",
    "6": "\\tfrac",
    "7": "\\cfrac",
    "8": "\\over",
    "9": "\\sqrt",
    "10": "\\root",
    "11": "\\cdot",
    "12": "\\times",
    "13": "\\div",
    "14": "\\pm",
    "15": "\\mp",
    "16": "\\oplus",
    "17": "\\ominus",
    "18": "\\otimes",
    "19": "\\oslash",
    "20": "\\odot",
    "21": "\\circ",
    "22": "\\ast",
    "23": "\\star",
    "24": "\\bullet",
    "25": "\\cup",
    "26": "\\cap",
    "27": "\\sqcup",
    "28": "\\sqcap",
    "29": "\\wedge",
    "30": "\\vee",
    "31": "\\neg",
    "32": "\\setminus",
    "33": "\\smallsetminus",
    "34": "\\leq",
    "35": "\\geq",
    "36": "\\le",
    "37": "\\ge",
    "38": "\\neq",
    "39": "\\ne",
    "40": "\\approx",
    "41": "\\simeq",
    "42": "\\sim",
    "43": "\\equiv",
    "44": "\\cong",
    "45": "\\propto",
    "46": "\\doteq",
    "47": "\\prec",
    "48": "\\succ",
    "49": "\\preceq",
    "50": "\\succeq",
    "51": "\\ll",
    "52": "\\gg",
    "53": "\\lll",
    "54": "\\ggg",
    "55": "\\subset",
    "56": "\\supset",
    "57": "\\subseteq",
    "58": "\\supseteq",
    "59": "\\subsetneq",
    "60": "\\supsetneq",
    "61": "\\in",
    "62": "\\notin",
    "63": "\\ni",
    "64": "\\perp",
    "65": "\\parallel",
    "66": "\\mid",
    "67": "\\nmid",
    "68": "\\forall",
    "69": "\\exists",
    "70": "\\nexists",
    "71": "\\therefore",
    "72": "\\because",
    "73": "\\nabla",
    "74": "\\partial",
    "75": "\\infty",
    "76": "\\sum",
    "77": "\\prod",
    "78": "\\coprod",
    "79": "\\int",
    "80": "\\oint",
    "81": "\\iint",
    "82": "\\iiint",
    "83": "\\idotsint",
    "84": "\\lim",
    "85": "\\sup",
    "86": "\\inf",
    "87": "\\max",
    "88": "\\min",
    "89": "\\limsup",
    "90": "\\liminf",
    "91": "\\limits",
    "92": "\\nolimits",
    "93": "\\alpha",
    "94": "\\beta",
    "95": "\\gamma",
    "96": "\\delta",
    "97": "\\epsilon",
    "98": "\\varepsilon",
    "99": "\\zeta",
    "100": "\\eta",
    "101": "\\theta",
    "102": "\\vartheta",
    "103": "\\iota",
    "104": "\\kappa",
    "105": "\\lambda",
    "106": "\\mu",
    "107": "\\nu",
    "108": "\\xi",
    "109": "\\pi",
    "110": "\\varpi",
    "111": "\\rho",
    "112": "\\varrho",
    "113": "\\sigma",
    "114": "\\varsigma",
    "115": "\\tau",
    "116": "\\upsilon",
    "117": "\\phi",
    "118": "\\varphi",
    "119": "\\chi",
    "120": "\\psi",
    "121": "\\omega",
    "122": "\\Gamma",
    "123": "\\Delta",
    "124": "\\Theta",
    "125": "\\Lambda",
    "126": "\\Xi",
    "127": "\\Pi",
    "128": "\\Sigma",
    "129": "\\Upsilon",
    "130": "\\Phi",
    "131": "\\Psi",
    "132": "\\Omega",
    "133": "\\to",
    "134": "\\gets",
    "135": "\\rightarrow",
    "136": "\\leftarrow",
    "137": "\\leftrightarrow",
    "138": "\\Rightarrow",
    "139": "\\Leftarrow",
    "140": "\\Leftrightarrow",
    "141": "\\longrightarrow",
    "142": "\\longleftarrow",
    "143": "\\longleftrightarrow",
    "144": "\\Longrightarrow",
    "145": "\\Longleftarrow",
    "146": "\\Longleftrightarrow",
    "147": "\\mapsto",
    "148": "\\longmapsto",
    "149": "\\uparrow",
    "150": "\\downarrow",
    "151": "\\updownarrow",
    "152": "\\Uparrow",
    "153": "\\Downarrow",
    "154": "\\Updownarrow",
    "155": "\\nearrow",
    "156": "\\searrow",
    "157": "\\nwarrow",
    "158": "\\swarrow",
    "159": "\\hookrightarrow",
    "160": "\\hookleftarrow",
    "161": "\\rightharpoonup",
    "162": "\\leftharpoonup",
    "163": "\\rightleftharpoons",
    "164": "\\left",
    "165": "\\right",
    "166": "\\big",
    "167": "\\Big",
    "168": "\\bigg",
    "169": "\\Bigg",
    "170": "\\bigl",
    "171": "\\bigr",
    "172": "\\Bigl",
    "173": "\\Bigr",
    "174": "\\biggl",
    "175": "\\biggr",
    "176": "\\Biggl",
    "177": "\\Biggr",
    "178": "\\langle",
    "179": "\\rangle",
    "180": "\\lfloor",
    "181": "\\rfloor",
    "182": "\\lceil",
    "183": "\\rceil",
    "184": "\\lvert",
    "185": "\\rvert",
    "186": "\\lVert",
    "187": "\\rVert",
    "188": "\\vert",
    "189": "\\Vert",
    "190": "\\hat",
    "191": "\\tilde",
    "192": "\\bar",
    "193": "\\vec",
    "194": "\\dot",
    "195": "\\ddot",
    "196": "\\dddot",
    "197": "\\acute",
    "198": "\\grave",
    "199": "\\breve",
    "200": "\\check",
    "201": "\\overline",
    "202": "\\underline",
    "203": "\\widehat",
    "204": "\\widetilde",
    "205": "\\overrightarrow",
    "206": "\\overleftarrow",
    "207": "\\overbrace",
    "208": "\\underbrace",
    "209": "\\overset",
    "210": "\\underset",
    "211": "\\stackrel",
    "212": "\\mathbb",
    "213": "\\mathcal",
    "214": "\\mathbf",
    "215": "\\mathrm",
    "216": "\\mathit",
    "217": "\\mathsf",
    "218": "\\mathtt",
    "219": "\\mathfrak",
    "220": "\\mathscr",
    "221": "\\boldsymbol",
    "222": "\\bm",
    "223": "\\bf",
    "224": "\\rm",
    "225": "\\it",
    "226": "\\cal",
    "227": "\\sf",
    "228": "\\tt",
    "229": "\\text",
    "230": "\\mbox",
    "231": "\\hbox",
    "232": "\\mathnormal",
    "233": "\\begin",
    "234": "\\end",
    "235": "\\quad",
    "236": "\\qquad",
    "237": "\\,",
    "238": "\\:",
    "239": "\\;",
    "240": "\\!",
    "241": "\\ ",
    "242": "\\hspace",
    "243": "\\vspace",
    "244": "\\sin",
    "245": "\\cos",
    "246": "\\tan",
    "247": "\\cot",
    "248": "\\sec",
    "249": "\\csc",
    "250": "\\arcsin",
    "251": "\\arccos",
    "252": "\\arctan",
    "253": "\\sinh",
    "254": "\\cosh",
    "255": "\\tanh",
    "256": "\\coth",
    "257": "\\log",
    "258": "\\ln",
    "259": "\\lg",
    "260": "\\exp",
    "261": "\\det",
    "262": "\\dim",
    "263": "\\ker",
    "264": "\\deg",
    "265": "\\gcd",
    "266": "\\lcm",
    "267": "\\hom",
    "268": "\\arg",
    "269": "\\Re",
    "270": "\\Im",
    "271": "\\hbar",
    "272": "\\ell",
    "273": "\\wp",
    "274": "\\aleph",
    "275": "\\beth",
    "276": "\\prime",
    "277": "\\emptyset",
    "278": "\\varnothing",
    "279": "\\angle",
    "280": "\\triangle",
    "281": "\\square",
    "282": "\\diamond",
    "283": "\\dagger",
    "284": "\\ddagger",
    "285": "\\clubsuit",
    "286": "\\diamondsuit",
    "287": "\\heartsuit",
    "288": "\\spadesuit",
    "289": "\\cdots",
    "290": "\\ldots",
    "291": "\\dots",
    "292": "\\vdots",
    "293": "\\ddots",
    "294": "\\hdots",
    "295": "\\hline",
    "296": "\\cline",
    "297": "\\multicolumn",
    "298": "\\multirow",
    "299": "\\mathop",
    "300": "\\operatorname",
    "301": "\\not",
    "302": "\\binom",
    "303": "\\dbinom",
    "304": "\\tbinom",
    "305": "\\pmod",
    "306": "\\pod",
    "307": "\\mod",
    "308": "\\choose",
    "309": "\\displaystyle",
    "310": "\\textstyle",
    "311": "\\scriptstyle",
    "312": "\\scriptscriptstyle",
    "313": "\\color",
    "314": "\\textcolor",
    "315": "\\boxed",
    "316": "\\label",
    "317": "\\tag",
    "318": "\\ref",
    "319": "\\nonumber",
    "320": "\\notag",
    "321": "\\usepackage",
    "322": "\\newcommand",
    "323": "\\renewcommand",
    "324": "\\DeclareMathOperator",
    "325": "\\textrm",
    "326": "\\textbf",
    "327": "\\textit",
    "328": "\\texttt",
    "329": "\\textsf",
    "330": "\\textup",
    "331": "\\textsc",
    "332": "\\textsl",
    "333": "\\boldmath",
    "334": "\\unboldmath",
    "335": "\\bigcup",
    "336": "\\bigcap",
    "337": "\\bigsqcup",
    "338": "\\bigvee",
    "339": "\\bigwedge",
    "340": "\\bigoplus",
    "341": "\\bigotimes",
    "342": "\\bigodot",
    "343": "\\biguplus",
    "344": "\\top",
    "345": "\\bot",
    "346": "\\lesssim",
    "347": "\\gtrsim",
    "348": "\\lessgtr",
    "349": "\\gtrless",
    "350": "\\leqslant",
    "351": "\\geqslant",
    "352": "\\preccurlyeq",
    "353": "\\succcurlyeq",
    "354": "\\lnsim",
    "355": "\\gnsim",
    "356": "\\vdash",
    "357": "\\dashv",
    "358": "\\models",
    "359": "\\backslash",
    "360": "\\lbrack",
    "361": "\\rbrack",
    "362": "\\substack",
    "363": "\\phantom",
    "364": "\\vphantom",
    "365": "\\hphantom",
    "366": "\\smash",
    "367": "\\mathstrut",
    "368": "\\dag",
    "369": "\\ddag",
    "370": "\\Pr",
    "371": "\\tr",
    "372": "\\imath",
    "373": "\\jmath",
    "374": "\\complement",
    "375": "\\eth",
    "376": "\\hslash",
    "377": "\\mho",
    "378": "\\l",
    "379": "\\L",
    "380": "\\d",
    "381": "\\c",
    "382": "\\t",
    "383": "\\i",
    "384": "\\j",
    "385": "\\P",
    "386": "\\S",
    "387": "\\o",
    "388": "\\O",
    "389": "\\ae",
    "390": "\\AE",
    "391": "\\oe",
    "392": "\\OE",
    "393": "\\aa",
    "394": "\\AA",
    "395": "\\ss",
    "396": "\\a",
    "397": "\\b",
    "398": "\\e",
    "399": "\\g",
    "400": "\\h",
    "401": "\\k",
    "402": "\\n",
    "403": "\\q",
    "404": "\\r",
    "405": "\\s",
    "406": "\\u",
    "407": "\\v",
    "408": "\\x",
    "409": "\\y",
    "410": "\\z",
    "411": "\\B",
    "412": "\\D",
    "413": "\\T",
    "414": "\\X",
    "415": "\\#",
    "416": "\\%",
    "417": "\\_",
    "418": "\\atop",
    "419": "\\colon",
    "420": "\\triangleq",
    "421": "\\operatorname*",
    "422": "\\lbrace",
    "423": "\\rbrace",
    "424": "\\sharp",
    "425": "\\flat",
    "426": "\\natural",
    "427": "\\pmb",
    "428": "\\intercal",
    "429": "\\iff",
    "430": "\\implies",
    "431": "\\Box",
    "432": "\\blacksquare",
    "433": "\\boxtimes",
    "434": "\\boxplus",
    "435": "\\varPsi",
    "436": "\\varPhi",
    "437": "\\varSigma",
    "438": "\\varOmega",
    "439": "\\varGamma",
    "440": "\\varDelta",
    "441": "\\varTheta",
    "442": "\\varLambda",
    "443": "\\varXi",
    "444": "\\varPi",
    "445": "\\varUpsilon",
    "446": "\\middle",
    "447": "\\eqref",
    "448": "\\dotsc",
    "449": "\\dotsb",
    "450": "\\dotsi",
    "451": "\\dotsm",
    "452": "\\scriptsize",
    "453": "\\small",
    "454": "\\normalsize",
    "455": "\\large",
    "456": "\\Large",
    "457": "\\LARGE",
    "458": "\\huge",
    "459": "\\Huge",
    "460": "\\tiny",
    "461": "\\footnotesize",
    "462": "\\textnormal",
    "463": "\\cr",
    "464": "\\thinspace",
    "465": "\\enspace",
    "466": "\\medskip",
    "467": "\\kern",
    "468": "\\hskip",
    "469": "\\mskip",
    "470": "\\intertext",
    "471": "\\dx",
    "472": "\\pounds",
    "473": "equation",
    "474": "equation*",
    "475": "align",
    "476": "align*",
    "477": "aligned",
    "478": "alignat",
    "479": "alignat*",
    "480": "gather",
    "481": "gather*",
    "482": "gathered",
    "483": "multline",
    "484": "multline*",
    "485": "split",
    "486": "flalign",
    "487": "flalign*",
    "488": "matrix",
    "489": "pmatrix",
    "490": "bmatrix",
    "491": "Bmatrix",
    "492": "vmatrix",
    "493": "Vmatrix",
    "494": "smallmatrix",
    "495": "array",
    "496": "tabular",
    "497": "cases",
    "498": "rcases",
    "499": "dcases",
    "500": "subequations",
    "501": "math",
    "502": "displaymath",
    "503": "document",
    "504": "figure",
    "505": "table",
    "506": "center",
    "507": "flushleft",
    "508": "flushright",
    "509": "itemize",
    "510": "enumerate",
    "511": "description",
    "512": "theorem",
    "513": "proof",
    "514": "lemma",
    "515": "corollary",
    "516": "abstract",
    "517": "{",
    "518": "}",
    "519": "(",
    "520": ")",
    "521": "[",
    "522": "]",
    "523": "\\{",
    "524": "\\}",
    "525": "|",
    "526": "+",
    "527": "-",
    "528": "*",
    "529": "/",
    "530": "=",
    "531": "<",
    "532": ">",
    "533": "^",
    "534": "_",
    "535": "~",
    "536": ".",
    "537": ",",
    "538": ";",
    "539": ":",
    "540": "!",
    "541": "'",
    "542": "`",
    "543": "@",
    "544": "#",
    "545": "%",
    "546": "&",
    "547": "$",
    "548": "\\",
    "549": "\\\\",
    "550": "\\|",
    "551": " ",
    "552": "0",
    "553": "1",
    "554": "2",
    "555": "3",
    "556": "4",
    "557": "5",
    "558": "6",
    "559": "7",
    "560": "8",
    "561": "9",
    "562": "a",
    "563": "b",
    "564": "c",
    "565": "d",
    "566": "e",
    "567": "f",
    "568": "g",
    "569": "h",
    "570": "i",
    "571": "j",
    "572": "k",
    "573": "l",
    "574": "m",
    "575": "n",
    "576": "o",
    "577": "p",
    "578": "q",
    "579": "r",
    "580": "s",
    "581": "t",
    "582": "u",
    "583": "v",
    "584": "w",
    "585": "x",
    "586": "y",
    "587": "z",
    "588": "A",
    "589": "B",
    "590": "C",
    "591": "D",
    "592": "E",
    "593": "F",
    "594": "G",
    "595": "H",
    "596": "I",
    "597": "J",
    "598": "K",
    "599": "L",
    "600": "M",
    "601": "N",
    "602": "O",
    "603": "P",
    "604": "Q",
    "605": "R",
    "606": "S",
    "607": "T",
    "608": "U",
    "609": "V",
    "610": "W",
    "611": "X",
    "612": "Y",
    "613": "Z",
    "614": "Α",
    "615": "Β",
    "616": "Γ",
    "617": "Δ",
    "618": "Ε",
    "619": "Ζ",
    "620": "Η",
    "621": "Θ",
    "622": "Ι",
    "623": "Κ",
    "624": "Λ",
    "625": "Μ",
    "626": "Ν",
    "627": "Ξ",
    "628": "Ο",
    "629": "Π",
    "630": "Ρ",
    "631": "΢",
    "632": "Σ",
    "633": "Τ",
    "634": "Υ",
    "635": "Φ",
    "636": "Χ",
    "637": "Ψ",
    "638": "Ω",
    "639": "α",
    "640": "β",
    "641": "γ",
    "642": "δ",
    "643": "ε",
    "644": "ζ",
    "645": "η",
    "646": "θ",
    "647": "ι",
    "648": "κ",
    "649": "λ",
    "650": "μ",
    "651": "ν",
    "652": "ξ",
    "653": "ο",
    "654": "π",
    "655": "ρ",
    "656": "ς",
    "657": "σ",
    "658": "τ",
    "659": "υ",
    "660": "φ",
    "661": "χ",
    "662": "ψ",
    "663": "ω",
    "664": "−",
    "665": "–",
    "666": "—",
    "667": "‐",
    "668": "·",
    "669": "×",
    "670": "÷",
    "671": "±",
    "672": "′",
    "673": "″",
    "674": "…",
    "675": "∞",
    "676": "∂",
    "677": "∇",
    "678": "∑",
    "679": "∫",
    "680": "≈",
    "681": "≠",
    "682": "≤",
    "683": "≥",
    "684": "∈",
    "685": "∉",
    "686": "⊂",
    "687": "⊃",
    "688": "∪",
    "689": "∩",
    "690": "∀",
    "691": "∃",
    "692": "→",
    "693": "⇒",
    "694": "⇔",
    "695": "°",
    "696": "⁡",
    "697": "12",
    "698": "10",
    "699": "0.",
    "700": "11",
    "701": "1.",
    "702": "2.",
    "703": "16",
    "704": "13",
    "705": "21",
    "706": "22",
    "707": "24",
    "708": "15",
    "709": "14",
    "710": "20",
    "711": "23",
    "712": "100",
    "713": "32",
    "714": "0.5",
    "715": "18",
    "716": "17",
    "717": "30",
    "718": "25",
    "719": "27",
    "720": "00",
    "721": "31",
    "722": "01",
    "723": "1000",
    "724": "33",
    "725": "19",
    "726": "36",
    "727": "3.",
    "728": "50",
    "729": "64",
    "730": "34",
    "731": "60",
    "732": "48",
    "733": "45",
    "734": "26",
    "735": "35",
    "736": "10000",
    "737": "1000000",
    "738": "100000",
    "739": "100000000",
    "740": "40",
    "741": "10000000",
    "742": "100000000000",
    "743": "10000000000",
    "744": "1000000000000",
    "745": "90",
    "746": "1000000000",
    "747": "28",
    "748": "123",
    "749": "37",
    "750": "42",
    "751": "4.",
    "752": "180",
    "753": "43",
    "754": "41",
    "755": "70",
    "756": "56",
    "757": "96",
    "758": "80",
    "759": "44",
    "760": "0.2",
    "761": "72",
    "762": "49",
    "763": "29",
    "764": "0.1",
    "765": "52",
    "766": "360",
    "767": "000",
    "768": "120",
    "769": "1.5",
    "770": "128",
    "771": "0.3",
    "772": "63",
    "773": "81",
    "774": "38",
    "775": "47",
    "776": "101",
    "777": "111",
    "778": "54",
    "779": "51",
    "780": "256",
    "781": "02",
    "782": "39",
    "783": "200",
    "784": "75",
    "785": "108",
    "786": "99",
    "787": "55",
    "788": "61",
    "789": "112",
    "790": "78",
    "791": "53",
    "792": "46",
    "793": "66",
    "794": "59",
    "795": "0.4",
    "796": "234",
    "797": "125",
    "798": "122",
    "799": "2.5",
    "800": "58",
    "801": "74",
    "802": "62",
    "803": "89",
    "804": "294",
    "805": "94",
    "806": "65",
    "807": "97",
    "808": "0.25",
    "809": "300",
    "810": "73",
    "811": "77",
    "812": "169",
    "813": "68",
    "814": "67",
    "815": "0.6",
    "816": "365",
    "817": "87",
    "818": "57",
    "819": "5.",
    "820": "86",
    "821": "500",
    "822": "127",
    "823": "84",
    "824": "469",
    "825": "119",
    "826": "93",
    "827": "164",
    "828": ".5",
    "829": "69",
    "830": "102",
    "831": "83",
    "832": "98",
    "833": "76",
    "834": "95",
    "835": "240",
    "836": "236",
    "837": "144",
    "838": "132",
    "839": "0.8",
    "840": "163",
    "841": "88",
    "842": "210",
    "843": "492",
    "844": "92",
    "845": "468",
    "846": "168",
    "847": "110",
    "848": "150",
    "849": "6.",
    "850": "105",
    "851": ".1",
    "852": "400",
    "853": "107",
    "854": "91",
    "855": "71",
    "856": "251",
    "857": "82",
    "858": "317",
    "859": "126",
    "860": "103",
    "861": "0.7",
    "862": "0.9",
    "863": "375",
    "864": "85",
    "865": "0.01",
    "866": "131",
    "867": ".2",
    "868": "194",
    "869": "386",
    "870": "79",
    "871": "118",
    "872": "296",
    "873": "140",
    "874": "109",
    "875": "429",
    "876": "160",
    "877": "288",
    "878": "124",
    "879": "0.05",
    "880": "399",
    "881": "449",
    "882": "133",
    "883": "243",
    "884": "104",
    "885": "806",
    "886": "448",
    "887": "303",
    "888": "313",
    "889": "1.0",
    "890": "192",
    "891": "1234",
    "892": "138",
    "893": "114",
    "894": "189",
    "895": "197",
    "896": "265",
    "897": "106",
    "898": "141",
    "899": "280",
    "900": "221",
    "901": "229",
    "902": "363",
    "903": "113",
    "904": "370",
    "905": "246",
    "906": "130",
    "907": "0.75",
    "908": "121",
    "909": "340",
    "910": "298",
    "911": "287",
    "912": "143",
    "913": "145",
    "914": "406",
    "915": "117",
    "916": "135",
    "917": "159",
    "918": "493",
    "919": "1.2",
    "920": "374",
    "921": "334",
    "922": "273",
    "923": ".3",
    "924": "289",
    "925": "315",
    "926": "347",
    "927": "193",
    "928": "357",
    "929": "149",
    "930": "232",
    "931": "220",
    "932": "209",
    "933": "409",
    "934": "171",
    "935": "157",
    "936": "207",
    "937": "302",
    "938": "323",
    "939": "228",
    "940": "372",
    "941": "1.1",
    "942": "361",
    "943": "248",
    "944": "115",
    "945": "419",
    "946": "362",
    "947": "413",
    "948": "1024",
    "949": "324",
    "950": "142",
    "951": "383",
    "952": "8.",
    "953": "195",
    "954": "215",
    "955": "222",
    "956": "394",
    "957": "332",
    "958": "03",
    "959": "454",
    "960": "116",
    "961": "218",
    "962": "203",
    "963": "239",
    "964": "272",
    "965": "368",
    "966": "395",
    "967": "270",
    "968": "3.5",
    "969": "352",
    "970": "401",
    "971": "297",
    "972": "480",
    "973": "326",
    "974": "470",
    "975": "184",
    "976": "600",
    "977": "366",
    "978": "156",
    "979": "455",
    "980": "185",
    "981": "325",
    "982": "245",
    "983": "441",
    "984": "001",
    "985": "499",
    "986": "397",
    "987": "463",
    "988": "212",
    "989": "199",
    "990": "1728",
    "991": "255",
    "992": "356",
    "993": "341",
    "994": "277",
    "995": "431",
    "996": "176",
    "997": "191",
    "998": "377",
    "999": "053",
    "1000": "456",
    "1001": "170",
    "1002": "312",
    "1003": "491",
    "1004": "010",
    "1005": "450",
    "1006": "410",
    "1007": "276",
    "1008": "438",
    "1009": "161",
    "1010": "152",
    "1011": "322",
    "1012": "720",
    "1013": "7.",
    "1014": "335",
    "1015": "495",
    "1016": "320",
    "1017": "1.3",
    "1018": "146",
    "1019": "252",
    "1020": "136",
    "1021": "458",
    "1022": "155",
    "1023": "314",
    "1024": "129",
    "1025": "284",
    "1026": "1.4",
    "1027": "333",
    "1028": "392",
    "1029": "445",
    "1030": "380",
    "1031": "238",
    "1032": "167",
    "1033": "224",
    "1034": "x,",
    "1035": "..",
    "1036": "dx",
    "1037": "in",
    "1038": "i,",
    "1039": "t,",
    "1040": "ij",
    "1041": "dt",
    "1042": "...",
    "1043": "n,",
    "1044": ",x",
    "1045": ",t",
    "1046": "an",
    "1047": "x,y",
    "1048": "co",
    "1049": "k,",
    "1050": ",...",
    "1051": "a,",
    "1052": ",n",
    "1053": "sin",
    "1054": "cc",
    "1055": "ds",
    "1056": "ab",
    "1057": "j,",
    "1058": "lo",
    "1059": "cos",
    "1060": "u,",
    "1061": "or",
    "1062": "s,",
    "1063": "dy",
    "1064": "er",
    "1065": ",...,",
    "1066": "''",
    "1067": "log",
    "1068": "p,",
    "1069": "al",
    "1070": ",z",
    "1071": "X,",
    "1072": "i,j",
    "1073": ",k",
    "1074": "ar",
    "1075": "im",
    "1076": "r,",
    "1077": "ln",
    "1078": "and",
    "1079": "ex",
    "1080": "it",
    "1081": ",y",
    "1082": "for",
    "1083": "is",
    "1084": "x,t",
    "1085": "ll",
    "1086": "m,",
    "1087": "ax",
    "1088": "de",
    "1089": "re",
    "1090": "dz",
    "1091": "a,b",
    "1092": ",p",
    "1093": "if",
    "1094": ",a",
    "1095": ",T",
    "1096": "at",
    "1097": "z,",
    "1098": ",i",
    "1099": ",m",
    "1100": "exp",
    "1101": "f,",
    "1102": "dr",
    "1103": ",j",
    "1104": "on",
    "1105": "ik",
    "1106": "en",
    "1107": "tr",
    "1108": "th",
    "1109": ",v",
    "1110": "xy",
    "1111": ",s",
    "1112": "ig",
    "1113": "t,x",
    "1114": ",\\",
    "1115": "x'",
    "1116": ",u",
    "1117": ";q",
    "1118": "A,",
    "1119": "du",
    "1120": ",r",
    "1121": "lim",
    "1122": "ac",
    "1123": "$.",
    "1124": "y,",
    "1125": ",b",
    "1126": "v,",
    "1127": "st",
    "1128": "Tr",
    "1129": ",c",
    "1130": "n!",
    "1131": ",q",
    "1132": "max",
    "1133": "su",
    "1134": "',",
    "1135": "jk",
    "1136": "AB",
    "1137": "N,",
    "1138": "u,v",
    "1139": "tan",
    "1140": "od",
    "1141": ",d",
    "1142": "Re",
    "1143": "xx",
    "1144": "be",
    "1145": ",X",
    "1146": "di",
    "1147": ",f",
    "1148": "as",
    "1149": "q,",
    "1150": "mn",
    "1151": "f'",
    "1152": "dv",
    "1153": "X,Y",
    "1154": "ic",
    "1155": "min",
    "1156": "ad",
    "1157": "g,",
    "1158": "wh",
    "1159": "ol",
    "1160": "p,q",
    "1161": "ign",
    "1162": "kl",
    "1163": "ix",
    "1164": ",e",
    "1165": "ere",
    "1166": ",N",
    "1167": "cl",
    "1168": "et",
    "1169": "det",
    "1170": "om",
    "1171": "s,t",
    "1172": "m,n",
    "1173": ",g",
    "1174": ",A",
    "1175": ",w",
    "1176": "x;",
    "1177": "es",
    "1178": "mod",
    "1179": "p'",
    "1180": "all",
    "1181": "where",
    "1182": "ut",
    "1183": "ec",
    "1184": "n,k",
    "1185": ",h",
    "1186": "pt",
    "1187": "gin",
    "1188": "ii",
    "1189": "dV",
    "1190": "n.",
    "1191": "b,",
    "1192": "M,",
    "1193": "begin",
    "1194": "ot",
    "1195": "j,k",
    "1196": "T,",
    "1197": "id",
    "1198": "k!",
    "1199": "ef",
    "1200": ",L",
    "1201": ",l",
    "1202": "of",
    "1203": "mm",
    "1204": "cm",
    "1205": "pq",
    "1206": "Y,",
    "1207": "Pr",
    "1208": "$,",
    "1209": "h,",
    "1210": ",...,x",
    "1211": "bc",
    "1212": "ccc",
    "1213": "d,",
    "1214": "k'",
    "1215": "ion",
    "1216": "con",
    "1217": "c,",
    "1218": "dW",
    "1219": "eq",
    "1220": "il",
    "1221": "int",
    "1222": "g'",
    "1223": "i'",
    "1224": "n,m",
    "1225": "div",
    "1226": "B,",
    "1227": "sp",
    "1228": "dS",
    "1229": "ag",
    "1230": "a'",
    "1231": "cd",
    "1232": "ed",
    "1233": "ch",
    "1234": ",R",
    "1235": "Im",
    "1236": "ijk",
    "1237": "ji",
    "1238": "u'",
    "1239": ",S",
    "1240": "l,",
    "1241": "df",
    "1242": "x,y,z",
    "1243": ",V",
    "1244": "y'",
    "1245": ",B",
    "1246": ",Y",
    "1247": ",P",
    "1248": "ip",
    "1249": "A'",
    "1250": "w,",
    "1251": "t'",
    "1252": "iv",
    "1253": "arc",
    "1254": "j'",
    "1255": "II",
    "1256": "dp",
    "1257": ",F",
    "1258": "i.",
    "1259": "v'",
    "1260": "$$",
    "1261": "G,",
    "1262": "ct",
    "1263": "r'",
    "1264": "I,",
    "1265": "pr",
    "1266": ",Z",
    "1267": "ev",
    "1268": "dX",
    "1269": "uv",
    "1270": "n'",
    "1271": "am",
    "1272": "dA",
    "1273": "sup",
    "1274": "s'",
    "1275": "iz",
    "1276": ",Q",
    "1277": "Th",
    "1278": ",D",
    "1279": "ith",
    "1280": "cccc",
    "1281": "x,x",
    "1282": "rr",
    "1283": "to",
    "1284": ",E",
    "1285": ",M",
    "1286": "x.",
    "1287": "eff",
    "1288": "h'",
    "1289": "R,",
    "1290": "abc",
    "1291": "k,l",
    "1292": "k.",
    "1293": "dq",
    "1294": "f,g",
    "1295": "dx.",
    "1296": "s.",
    "1297": "nt",
    "1298": "oth",
    "1299": "V,",
    "1300": "x,z",
    "1301": "out",
    "1302": "dw",
    "1303": "with",
    "1304": "ph",
    "1305": "t,s",
    "1306": "t.",
    "1307": "a.",
    "1308": "kj",
    "1309": "red",
    "1310": "z'",
    "1311": "F,",
    "1312": "nx",
    "1313": "nd",
    "1314": "ir",
    "1315": "ise",
    "1316": "S,",
    "1317": "m'",
    "1318": "other",
    "1319": "H,",
    "1320": "RT",
    "1321": "f:",
    "1322": "L,",
    "1323": "le",
    "1324": "iy",
    "1325": "dP",
    "1326": "kx",
    "1327": "nm",
    "1328": "ie",
    "1329": "rs",
    "1330": "gh",
    "1331": "ap",
    "1332": "dB",
    "1333": ",C",
    "1334": "i,k",
    "1335": "dt.",
    "1336": "op",
    "1337": "da",
    "1338": "wise",
    "1339": "Sp",
    "1340": "r,s",
    "1341": "t,y",
    "1342": "b'",
    "1343": "sc",
    "1344": ",K",
    "1345": "otherwise",
    "1346": "Ax",
    "1347": "av",
    "1348": "A,B",
    "1349": "gr",
    "1350": "ne",
    "1351": "ia",
    "1352": "kT",
    "1353": "e,",
    "1354": "XY",
    "1355": "...,",
    "1356": "D,",
    "1357": "j.",
    "1358": "se",
    "1359": ",W",
    "1360": "np",
    "1361": "dT",
    "1362": "SO",
    "1363": "E,",
    "1364": "tt",
    "1365": "q;q",
    "1366": ",...,n",
    "1367": "AC",
    "1368": "dg",
    "1369": ",J",
    "1370": "q'",
    "1371": "const",
    "1372": "w'",
    "1373": ",H",
    "1374": ";x",
    "1375": "IJ",
    "1376": "ce",
    "1377": "B'",
    "1378": "c.",
    "1379": "nk",
    "1380": "dx,",
    "1381": "dk",
    "1382": "rit",
    "1383": "i,n",
    "1384": "C,",
    "1385": "deg",
    "1386": "dm",
    "1387": "bx",
    "1388": "by",
    "1389": "dim",
    "1390": "x,u",
    "1391": "v,w",
    "1392": "K,",
    "1393": "diag",
    "1394": "ta",
    "1395": "em",
    "1396": "ss",
    "1397": "we",
    "1398": "U,",
    "1399": "SU",
    "1400": "mc",
    "1401": "k,n",
    "1402": "inf",
    "1403": "Var",
    "1404": "dt,",
    "1405": "y,z",
    "1406": "sinh",
    "1407": "x,v",
    "1408": ";z",
    "1409": "p.",
    "1410": "yy",
    "1411": "MN",
    "1412": "a,b,c",
    "1413": "ent",
    "1414": "ue",
    "1415": "mat",
    "1416": "dis",
    "1417": "c'",
    "1418": "F'",
    "1419": "ay",
    "1420": "ds.",
    "1421": "un",
    "1422": "cosh",
    "1423": "ib",
    "1424": "n,n",
    "1425": "pl",
    "1426": "Hom",
    "1427": "P,",
    "1428": "ur",
    "1429": ";t",
    "1430": "GM",
    "1431": "BC",
    "1432": "yz",
    "1433": "r,t",
    "1434": "Id",
    "1435": "mu",
    "1436": "fr",
    "1437": "Ric",
    "1438": "k,j",
    "1439": "vol",
    "1440": "m!",
    "1441": "writ",
    "1442": "tx",
    "1443": "el",
    "1444": "i:",
    "1445": "kn",
    "1446": "ing",
    "1447": "lll",
    "1448": "n,j",
    "1449": "n:",
    "1450": "sg",
    "1451": "C'",
    "1452": "fg",
    "1453": "igh",
    "1454": "the",
    "1455": "s,x",
    "1456": "jl",
    "1457": "arg",
    "1458": "xz",
    "1459": "ps",
    "1460": "bd",
    "1461": "i,i",
    "1462": "z,w",
    "1463": "dE",
    "1464": "ki",
    "1465": "um",
    "1466": "m.",
    "1467": "ran",
    "1468": "dxdy",
    "1469": "mv",
    "1470": "arctan",
    "1471": "Cl",
    "1472": "x:",
    "1473": "y,x",
    "1474": "t;",
    "1475": "l'",
    "1476": "X;",
    "1477": "V'",
    "1478": "e.",
    "1479": "rcl",
    "1480": "logn",
    "1481": "ds,",
    "1482": "d'",
    "1483": "X'",
    "1484": "sub",
    "1485": "can",
    "1486": "sec",
    "1487": "tu",
    "1488": ":X",
    "1489": "n;",
    "1490": ",G",
    "1491": "lm",
    "1492": "ation",
    "1493": "N.",
    "1494": "sw",
    "1495": "xt",
    "1496": "f.",
    "1497": "ant",
    "1498": "q,p",
    "1499": "The",
    "1500": ":x",
    "1501": "au",
    "1502": "h.",
    "1503": "TM",
    "1504": "r.",
    "1505": "tot",
    "1506": "S'",
    "1507": "ms",
    "1508": "f''",
    "1509": "var",
    "1510": "k,i",
    "1511": "Q,",
    "1512": "Z,",
    "1513": "ma",
    "1514": "kr",
    "1515": "par",
    "1516": "iq",
    "1517": "iu",
    "1518": "ob",
    "1519": "T'",
    "1520": "sgn",
    "1521": ",U",
    "1522": "dF",
    "1523": "ome",
    "1524": "ou",
    "1525": "CD",
    "1526": "GL",
    "1527": "M'",
    "1528": "dh",
    "1529": "rt",
    "1530": "na",
    "1531": "j,i",
    "1532": "dR",
    "1533": "k,k",
    "1534": "ts",
    "1535": "ba",
    "1536": "sy",
    "1537": "cot",
    "1538": "P'",
    "1539": "ov",
    "1540": "sum",
    "1541": ",I",
    "1542": "ter",
    "1543": "ect",
    "1544": "bl",
    "1545": "kt",
    "1546": "g.",
    "1547": ";k",
    "1548": "cx",
    "1549": "n,i",
    "1550": "j!",
    "1551": "H'",
    "1552": "me",
    "1553": "ih",
    "1554": "y.",
    "1555": "Du",
    "1556": "L'",
    "1557": "t,t",
    "1558": "km",
    "1559": "cr",
    "1560": "t,x,",
    "1561": "AA",
    "1562": ",...,a",
    "1563": "ijkl",
    "1564": "y,t",
    "1565": "ge",
    "1566": "lk",
    "1567": "sinx",
    "1568": "t,r",
    "1569": "ight",
    "1570": "mp",
    "1571": "ext",
    "1572": "Df",
    "1573": "Li",
    "1574": "G'",
    "1575": "Q'",
    "1576": "ity",
    "1577": "equ",
    "1578": "BA",
    "1579": "per",
    "1580": "that",
    "1581": "dn",
    "1582": "$x",
    "1583": "k:",
    "1584": "yx",
    "1585": "ial",
    "1586": "jj",
    "1587": "Ad",
    "1588": "qu",
    "1589": "k,m",
    "1590": "ten",
    "1591": "M.",
    "1592": "dl",
    "1593": "e'",
    "1594": "mk",
    "1595": "loc",
    "1596": "tanh",
    "1597": "T.",
    "1598": "aq",
    "1599": "b.",
    "1600": "px",
    "1601": "X.",
    "1602": "v.",
    "1603": "ka",
    "1604": "dQ",
    "1605": "A.",
    "1606": "def",
    "1607": "sl",
    "1608": "so",
    "1609": "C.",
    "1610": "z;",
    "1611": "sign",
    "1612": ",...,X",
    "1613": "rank",
    "1614": "SL",
    "1615": "odd",
    "1616": "ace",
    "1617": "W'",
    "1618": "X:",
    "1619": "pi",
    "1620": "ow",
    "1621": "u.",
    "1622": "dd",
    "1623": "zz",
    "1624": "eta",
    "1625": "t,u",
    "1626": "ae",
    "1627": "W,",
    "1628": "R'",
    "1629": ":a",
    "1630": "K'",
    "1631": "s,y",
    "1632": "J,",
    "1633": "x,p",
    "1634": ",..",
    "1635": "written",
    "1636": "cy",
    "1637": "dy.",
    "1638": "some",
    "1639": "even",
    "1640": "nn",
    "1641": "dy,",
    "1642": "t,z",
    "1643": "d.",
    "1644": "Au",
    "1645": "nu",
    "1646": "low",
    "1647": "xdx",
    "1648": "Vol",
    "1649": "xf",
    "1650": "kp",
    "1651": "os",
    "1652": "us",
    "1653": "ke",
    "1654": "u,u",
    "1655": "mg",
    "1656": "rl",
    "1657": "nf",
    "1658": "b,c",
    "1659": "x,s",
    "1660": "af",
    "1661": "D'",
    "1662": "iA",
    "1663": "j,n",
    "1664": "N'",
    "1665": "swer",
    "1666": "te",
    "1667": "NR",
    "1668": "cz",
    "1669": "uu",
    "1670": "iT",
    "1671": "Y,Z",
    "1672": "n,p",
    "1673": "dist",
    "1674": "k;",
    "1675": "a,c",
    "1676": "i,t",
    "1677": "ess",
    "1678": "not",
    "1679": "lnx",
    "1680": "mr",
    "1681": "dN",
    "1682": "OP",
    "1683": "dU",
    "1684": "pp",
    "1685": "db",
    "1686": "g,h",
    "1687": ";Y",
    "1688": "U'",
    "1689": "v,v",
    "1690": "z,t",
    "1691": "x,r",
    "1692": "nq",
    "1693": "nc",
    "1694": "PV",
    "1695": "are",
    "1696": "V.",
    "1697": "AD",
    "1698": "AP",
    "1699": "E'",
    "1700": "i!",
    "1701": "AX",
    "1702": "CS",
    "1703": "l,m",
    "1704": "A:",
    "1705": "x',",
    "1706": "xu",
    "1707": "'''",
    "1708": "x,y,",
    "1709": "B.",
    "1710": "ord",
    "1711": "Tx",
    "1712": "kg",
    "1713": "Let",
    "1714": "dY",
    "1715": "CP",
    "1716": "lin",
    "1717": "aa",
    "1718": "Res",
    "1719": "answer",
    "1720": "DF",
    "1721": "res",
    "1722": "i;",
    "1723": "az",
    "1724": "tf",
    "1725": "SS",
    "1726": "lt",
    "1727": "ga",
    "1728": "qx",
    "1729": "dL",
    "1730": "xe",
    "1731": "rx",
    "1732": "!!",
    "1733": "ns",
    "1734": "sq",
    "1735": "ker",
    "1736": "kk",
    "1737": "j:",
    "1738": "j,m",
    "1739": "dM",
    "1740": "ikx",
    "1741": "nz",
    "1742": "z,z",
    "1743": "ST",
    "1744": "mx",
    "1745": "LC",
    "1746": "I'",
    "1747": ",n,",
    "1748": "xp",
    "1749": "act",
    "1750": "R.",
    "1751": "S.",
    "1752": "q.",
    "1753": "t,X",
    "1754": "ra",
    "1755": "t,q",
    "1756": "YM",
    "1757": "x,y,t",
    "1758": "forall",
    "1759": "constant",
    "1760": "nh",
    "1761": "dc",
    "1762": ";c",
    "1763": "Y'",
    "1764": "q,r",
    "1765": "x,x'",
    "1766": "pe",
    "1767": "m,k",
    "1768": "s:",
    "1769": "i,j,k",
    "1770": "MS",
    "1771": "ai",
    "1772": "BT",
    "1773": "t,x,y",
    "1774": "NS",
    "1775": "hc",
    "1776": "nb",
    "1777": "ly",
    "1778": "I.",
    "1779": "$i",
    "1780": "n,t",
    "1781": "bf",
    "1782": "fd",
    "1783": "bi",
    "1784": "erf",
    "1785": "ca",
    "1786": "he",
    "1787": "MA",
    "1788": "ty",
    "1789": "Ae",
    "1790": "t:",
    "1791": "Spec",
    "1792": "pro",
    "1793": "cur",
    "1794": "part",
    "1795": "i,j,",
    "1796": "ave",
    "1797": "c,d",
    "1798": "a.e.",
    "1799": "jm",
    "1800": "XX",
    "1801": "SI",
    "1802": ";s",
    "1803": "G.",
    "1804": "kz",
    "1805": "KL",
    "1806": "eft",
    "1807": "reg",
    "1808": "J'",
    "1809": "cosx",
    "1810": "CO",
    "1811": "ak",
    "1812": "ever",
    "1813": "dC",
    "1814": "UV",
    "1815": "right",
    "1816": "z.",
    "1817": ",...,N",
    "1818": "M:",
    "1819": "cb",
    "1820": "a,a",
    "1821": "N!",
    "1822": ",...,p",
    "1823": "ree",
    "1824": "ju",
    "1825": "cov",
    "1826": "span",
    "1827": "ind",
    "1828": "p,p",
    "1829": "Z'",
    "1830": "ni",
    "1831": "qr",
    "1832": "vt",
    "1833": "TS",
    "1834": ",...,y",
    "1835": "supp",
    "1836": "blue",
    "1837": "ive",
    "1838": "j,j",
    "1839": "NC",
    "1840": "abcd",
    "1841": "nr",
    "1842": "iS",
    "1843": "Av",
    "1844": "x;q",
    "1845": "jx",
    "1846": "Con",
    "1847": "$n",
    "1848": "arr",
    "1849": "frac",
    "1850": "jn",
    "1851": "bu",
    "1852": "kf",
    "1853": "dxdt",
    "1854": "CA",
    "1855": "zx",
    "1856": "TP",
    "1857": "have",
    "1858": "rel",
    "1859": "tA",
    "1860": "left",
    "1861": "BD",
    "1862": "li",
    "1863": "ABC",
    "1864": "ref",
    "1865": "H.",
    "1866": "gf",
    "1867": "eV",
    "1868": "vv",
    "1869": "rad",
    "1870": "s.t.",
    "1871": ",...,m",
    "1872": "MP",
    "1873": ":A",
    "1874": "Na",
    "1875": "ky",
    "1876": ":H",
    "1877": "ks",
    "1878": "CC",
    "1879": "F.",
    "1880": "i,x",
    "1881": "j,t",
    "1882": "cu",
    "1883": "s,p",
    "1884": "sh",
    "1885": "pf",
    "1886": "any",
    "1887": "X,Z",
    "1888": "xxx",
    "1889": "cn",
    "1890": "t,k",
    "1891": "k,t",
    "1892": "mma",
    "1893": "BP",
    "1894": ",$",
    "1895": "P,Q",
    "1896": "Gr",
    "1897": "mo",
    "1898": "from",
    "1899": "curl",
    "1900": "....",
    "1901": "g:",
    "1902": "psi",
    "1903": "TX",
    "1904": "m:",
    "1905": "mb",
    "1906": "wt",
    "1907": "arccos",
    "1908": "CF",
    "1909": "tz",
    "1910": "U,V",
    "1911": "phi",
    "1912": "ime",
    "1913": "ber",
    "1914": "p:",
    "1915": "such",
    "1916": "l.",
    "1917": "n,x",
    "1918": "tv",
    "1919": "u''",
    "1920": "Cov",
    "1921": "eg",
    "1922": ";u",
    "1923": "x;z",
    "1924": "str",
    "1925": "Rewritten",
    "1926": "dH",
    "1927": "qp",
    "1928": "ide",
    "1929": "sx",
    "1930": "modp",
    "1931": "ku",
    "1932": "ng",
    "1933": "dI",
    "1934": "dZ",
    "1935": "qt",
    "1936": "n,l",
    "1937": "y;",
    "1938": "del",
    "1939": "S:",
    "1940": "CH",
    "1941": "iH",
    "1942": "ccccc",
    "1943": "BH",
    "1944": "BB",
    "1945": "Tf",
    "1946": "xq",
    "1947": "u:",
    "1948": "nj",
    "1949": "E.",
    "1950": ",...,v",
    "1951": "P.",
    "1952": "ate",
    "1953": "$k",
    "1954": "TA",
    "1955": "z,y",
    "1956": "br",
    "1957": ",T;",
    "1958": "sn",
    "1959": "s,X",
    "1960": "bt",
    "1961": "Su",
    "1962": "abs",
    "1963": "mt",
    "1964": "rh",
    "1965": "B,C",
    "1966": "s;",
    "1967": "CM",
    "1968": "Af",
    "1969": "y,s",
    "1970": "oo",
    "1971": "w.",
    "1972": "logx",
    "1973": "ject",
    "1974": "sym",
    "1975": "F:",
    "1976": "alph",
    "1977": "ize",
    "1978": "sr",
    "1979": "PQ",
    "1980": ",...,k",
    "1981": "rk",
    "1982": "write",
    "1983": "D.",
    "1984": "i\\",
    "1985": "$f",
    "1986": "grad",
    "1987": "amb",
    "1988": "init",
    "1989": "PA",
    "1990": "Ch",
    "1991": "then",
    "1992": "csc",
    "1993": "k,p",
    "1994": "b,a",
    "1995": ":G",
    "1996": "k,q",
    "1997": "isin",
    "1998": "every",
    "1999": "ase",
    "2000": "y,y",
    "2001": "Lu",
    "2002": "ym",
    "2003": "ction",
    "2004": "rd",
    "2005": "matr",
    "2006": "K.",
    "2007": "bb",
    "2008": "L.",
    "2009": "N,M",
    "2010": "kd",
    "2011": "total",
    "2012": "Dt",
    "2013": "r,r",
    "2014": "'.",
    "2015": "mi",
    "2016": "r!",
    "2017": "n,s",
    "2018": "PB",
    "2019": "ja",
    "2020": "ny",
    "2021": "dz.",
    "2022": "n,r",
    "2023": "Ker",
    "2024": "EI",
    "2025": ",...,z",
    "2026": "pa",
    "2027": "Then",
    "2028": "alpha",
    "2029": "q,t",
    "2030": "m,m",
    "2031": "RC",
    "2032": "HS",
    "2033": "vu",
    "2034": "new",
    "2035": "arcsin",
    "2036": ";a",
    "2037": "la",
    "2038": ":T",
    "2039": "i,m",
    "2040": "pn",
    "2041": "Ar",
    "2042": "llll",
    "2043": ";p",
    "2044": "ml",
    "2045": "age"
  },
  "merges": [
    [
      "x",
      ","
    ],
    [
      ".",
      "."
    ],
    [
      "d",
      "x"
    ],
    [
      "i",
      "n"
    ],
    [
      "i",
      ","
    ],
    [
      "t",
      ","
    ],
    [
      "i",
      "j"
    ],
    [
      "d",
      "t"
    ],
    [
      "..",
      "."
    ],
    [
      "n",
      ","
    ],
    [
      ",",
      "x"
    ],
    [
      ",",
      "t"
    ],
    [
      "a",
      "n"
    ],
    [
      "x,",
      "y"
    ],
    [
      "c",
      "o"
    ],
    [
      "k",
      ","
    ],
    [
      ",",
      "..."
    ],
    [
      "a",
      ","
    ],
    [
      ",",
      "n"
    ],
    [
      "s",
      "in"
    ],
    [
      "c",
      "c"
    ],
    [
      "d",
      "s"
    ],
    [
      "a",
      "b"
    ],
    [
      "j",
      ","
    ],
    [
      "l",
      "o"
    ],
    [
      "co",
      "s"
    ],
    [
      "u",
      ","
    ],
    [
      "o",
      "r"
    ],
    [
      "s",
      ","
    ],
    [
      "d",
      "y"
    ],
    [
      "e",
      "r"
    ],
    [
      ",...",
      ","
    ],
    [
      "'",
      "'"
    ],
    [
      "lo",
      "g"
    ],
    [
      "p",
      ","
    ],
    [
      "a",
      "l"
    ],
    [
      ",",
      "z"
    ],
    [
      "X",
      ","
    ],
    [
      "i,",
      "j"
    ],
    [
      ",",
      "k"
    ],
    [
      "a",
      "r"
    ],
    [
      "i",
      "m"
    ],
    [
      "r",
      ","
    ],
    [
      "l",
      "n"
    ],
    [
      "an",
      "d"
    ],
    [
      "e",
      "x"
    ],
    [
      "i",
      "t"
    ],
    [
      ",",
      "y"
    ],
    [
      "f",
      "or"
    ],
    [
      "i",
      "s"
    ],
    [
      "x,",
      "t"
    ],
    [
      "l",
      "l"
    ],
    [
      "m",
      ","
    ],
    [
      "a",
      "x"
    ],
    [
      "d",
      "e"
    ],
    [
      "r",
      "e"
    ],
    [
      "d",
      "z"
    ],
    [
      "a,",
      "b"
    ],
    [
      ",",
      "p"
    ],
    [
      "i",
      "f"
    ],
    [
      ",",
      "a"
    ],
    [
      ",",
      "T"
    ],
    [
      "a",
      "t"
    ],
    [
      "z",
      ","
    ],
    [
      ",",
      "i"
    ],
    [
      ",",
      "m"
    ],
    [
      "ex",
      "p"
    ],
    [
      "f",
      ","
    ],
    [
      "d",
      "r"
    ],
    [
      ",",
      "j"
    ],
    [
      "o",
      "n"
    ],
    [
      "i",
      "k"
    ],
    [
      "e",
      "n"
    ],
    [
      "t",
      "r"
    ],
    [
      "t",
      "h"
    ],
    [
      ",",
      "v"
    ],
    [
      "x",
      "y"
    ],
    [
      ",",
      "s"
    ],
    [
      "i",
      "g"
    ],
    [
      "t,",
      "x"
    ],
    [
      ",",
      "\\"
    ],
    [
      "x",
      "'"
    ],
    [
      ",",
      "u"
    ],
    [
      ";",
      "q"
    ],
    [
      "A",
      ","
    ],
    [
      "d",
      "u"
    ],
    [
      ",",
      "r"
    ],
    [
      "l",
      "im"
    ],
    [
      "a",
      "c"
    ],
    [
      "$",
      "."
    ],
    [
      "y",
      ","
    ],
    [
      ",",
      "b"
    ],
    [
      "v",
      ","
    ],
    [
      "s",
      "t"
    ],
    [
      "T",
      "r"
    ],
    [
      ",",
      "c"
    ],
    [
      "n",
      "!"
    ],
    [
      ",",
      "q"
    ],
    [
      "m",
      "ax"
    ],
    [
      "s",
      "u"
    ],
    [
      "'",
      ","
    ],
    [
      "j",
      "k"
    ],
    [
      "A",
      "B"
    ],
    [
      "N",
      ","
    ],
    [
      "u,",
      "v"
    ],
    [
      "t",
      "an"
    ],
    [
      "o",
      "d"
    ],
    [
      ",",
      "d"
    ],
    [
      "R",
      "e"
    ],
    [
      "x",
      "x"
    ],
    [
      "b",
      "e"
    ],
    [
      ",",
      "X"
    ],
    [
      "d",
      "i"
    ],
    [
      ",",
      "f"
    ],
    [
      "a",
      "s"
    ],
    [
      "q",
      ","
    ],
    [
      "m",
      "n"
    ],
    [
      "f",
      "'"
    ],
    [
      "d",
      "v"
    ],
    [
      "X,",
      "Y"
    ],
    [
      "i",
      "c"
    ],
    [
      "m",
      "in"
    ],
    [
      "a",
      "d"
    ],
    [
      "g",
      ","
    ],
    [
      "w",
      "h"
    ],
    [
      "o",
      "l"
    ],
    [
      "p,",
      "q"
    ],
    [
      "ig",
      "n"
    ],
    [
      "k",
      "l"
    ],
    [
      "i",
      "x"
    ],
    [
      ",",
      "e"
    ],
    [
      "er",
      "e"
    ],
    [
      ",",
      "N"
    ],
    [
      "c",
      "l"
    ],
    [
      "e",
      "t"
    ],
    [
      "de",
      "t"
    ],
    [
      "o",
      "m"
    ],
    [
      "s",
      ",t"
    ],
    [
      "m",
      ",n"
    ],
    [
      ",",
      "g"
    ],
    [
      ",",
      "A"
    ],
    [
      ",",
      "w"
    ],
    [
      "x",
      ";"
    ],
    [
      "e",
      "s"
    ],
    [
      "m",
      "od"
    ],
    [
      "p",
      "'"
    ],
    [
      "al",
      "l"
    ],
    [
      "wh",
      "ere"
    ],
    [
      "u",
      "t"
    ],
    [
      "e",
      "c"
    ],
    [
      "n,",
      "k"
    ],
    [
      ",",
      "h"
    ],
    [
      "al",
      "ign"
    ],
    [
      "p",
      "t"
    ],
    [
      "g",
      "in"
    ],
    [
      "i",
      "i"
    ],
    [
      "d",
      "V"
    ],
    [
      "n",
      "."
    ],
    [
      "b",
      ","
    ],
    [
      "M",
      ","
    ],
    [
      "be",
      "gin"
    ],
    [
      "o",
      "t"
    ],
    [
      "j,",
      "k"
    ],
    [
      "T",
      ","
    ],
    [
      "i",
      "d"
    ],
    [
      "k",
      "!"
    ],
    [
      "e",
      "f"
    ],
    [
      ",",
      "L"
    ],
    [
      ",",
      "l"
    ],
    [
      "o",
      "f"
    ],
    [
      "m",
      "m"
    ],
    [
      "c",
      "m"
    ],
    [
      "p",
      "q"
    ],
    [
      "Y",
      ","
    ],
    [
      "P",
      "r"
    ],
    [
      "$",
      ","
    ],
    [
      "h",
      ","
    ],
    [
      ",...",
      ",x"
    ],
    [
      "b",
      "c"
    ],
    [
      "cc",
      "c"
    ],
    [
      "d",
      ","
    ],
    [
      "k",
      "'"
    ],
    [
      "i",
      "on"
    ],
    [
      "co",
      "n"
    ],
    [
      "c",
      ","
    ],
    [
      "d",
      "W"
    ],
    [
      "e",
      "q"
    ],
    [
      "i",
      "l"
    ],
    [
      "in",
      "t"
    ],
    [
      "g",
      "'"
    ],
    [
      "i",
      "'"
    ],
    [
      "n,",
      "m"
    ],
    [
      "di",
      "v"
    ],
    [
      "B",
      ","
    ],
    [
      "s",
      "p"
    ],
    [
      "d",
      "S"
    ],
    [
      "a",
      "g"
    ],
    [
      "a",
      "'"
    ],
    [
      "c",
      "d"
    ],
    [
      "e",
      "d"
    ],
    [
      "c",
      "h"
    ],
    [
      ",",
      "R"
    ],
    [
      "I",
      "m"
    ],
    [
      "ij",
      "k"
    ],
    [
      "j",
      "i"
    ],
    [
      "u",
      "'"
    ],
    [
      ",",
      "S"
    ],
    [
      "l",
      ","
    ],
    [
      "d",
      "f"
    ],
    [
      "x,y",
      ",z"
    ],
    [
      ",",
      "V"
    ],
    [
      "y",
      "'"
    ],
    [
      ",",
      "B"
    ],
    [
      ",",
      "Y"
    ],
    [
      ",",
      "P"
    ],
    [
      "i",
      "p"
    ],
    [
      "A",
      "'"
    ],
    [
      "w",
      ","
    ],
    [
      "t",
      "'"
    ],
    [
      "i",
      "v"
    ],
    [
      "ar",
      "c"
    ],
    [
      "j",
      "'"
    ],
    [
      "I",
      "I"
    ],
    [
      "d",
      "p"
    ],
    [
      ",",
      "F"
    ],
    [
      "i",
      "."
    ],
    [
      "v",
      "'"
    ],
    [
      "$",
      "$"
    ],
    [
      "G",
      ","
    ],
    [
      "c",
      "t"
    ],
    [
      "r",
      "'"
    ],
    [
      "I",
      ","
    ],
    [
      "p",
      "r"
    ],
    [
      ",",
      "Z"
    ],
    [
      "e",
      "v"
    ],
    [
      "d",
      "X"
    ],
    [
      "u",
      "v"
    ],
    [
      "n",
      "'"
    ],
    [
      "a",
      "m"
    ],
    [
      "d",
      "A"
    ],
    [
      "su",
      "p"
    ],
    [
      "s",
      "'"
    ],
    [
      "i",
      "z"
    ],
    [
      ",",
      "Q"
    ],
    [
      "T",
      "h"
    ],
    [
      ",",
      "D"
    ],
    [
      "it",
      "h"
    ],
    [
      "cc",
      "cc"
    ],
    [
      "x,",
      "x"
    ],
    [
      "r",
      "r"
    ],
    [
      "t",
      "o"
    ],
    [
      ",",
      "E"
    ],
    [
      ",",
      "M"
    ],
    [
      "x",
      "."
    ],
    [
      "ef",
      "f"
    ],
    [
      "h",
      "'"
    ],
    [
      "R",
      ","
    ],
    [
      "ab",
      "c"
    ],
    [
      "k,",
      "l"
    ],
    [
      "k",
      "."
    ],
    [
      "d",
      "q"
    ],
    [
      "f,",
      "g"
    ],
    [
      "dx",
      "."
    ],
    [
      "s",
      "."
    ],
    [
      "n",
      "t"
    ],
    [
      "o",
      "th"
    ],
    [
      "V",
      ","
    ],
    [
      "x,",
      "z"
    ],
    [
      "o",
      "ut"
    ],
    [
      "d",
      "w"
    ],
    [
      "w",
      "ith"
    ],
    [
      "p",
      "h"
    ],
    [
      "t,",
      "s"
    ],
    [
      "t",
      "."
    ],
    [
      "a",
      "."
    ],
    [
      "k",
      "j"
    ],
    [
      "re",
      "d"
    ],
    [
      "z",
      "'"
    ],
    [
      "F",
      ","
    ],
    [
      "n",
      "x"
    ],
    [
      "n",
      "d"
    ],
    [
      "i",
      "r"
    ],
    [
      "is",
      "e"
    ],
    [
      "S",
      ","
    ],
    [
      "m",
      "'"
    ],
    [
      "oth",
      "er"
    ],
    [
      "H",
      ","
    ],
    [
      "R",
      "T"
    ],
    [
      "f",
      ":"
    ],
    [
      "L",
      ","
    ],
    [
      "l",
      "e"
    ],
    [
      "i",
      "y"
    ],
    [
      "d",
      "P"
    ],
    [
      "k",
      "x"
    ],
    [
      "n",
      "m"
    ],
    [
      "i",
      "e"
    ],
    [
      "r",
      "s"
    ],
    [
      "g",
      "h"
    ],
    [
      "a",
      "p"
    ],
    [
      "d",
      "B"
    ],
    [
      ",",
      "C"
    ],
    [
      "i,",
      "k"
    ],
    [
      "dt",
      "."
    ],
    [
      "o",
      "p"
    ],
    [
      "d",
      "a"
    ],
    [
      "w",
      "ise"
    ],
    [
      "S",
      "p"
    ],
    [
      "r,",
      "s"
    ],
    [
      "t,",
      "y"
    ],
    [
      "b",
      "'"
    ],
    [
      "s",
      "c"
    ],
    [
      ",",
      "K"
    ],
    [
      "other",
      "wise"
    ],
    [
      "A",
      "x"
    ],
    [
      "a",
      "v"
    ],
    [
      "A,",
      "B"
    ],
    [
      "g",
      "r"
    ],
    [
      "n",
      "e"
    ],
    [
      "i",
      "a"
    ],
    [
      "k",
      "T"
    ],
    [
      "e",
      ","
    ],
    [
      "X",
      "Y"
    ],
    [
      "...",
      ","
    ],
    [
      "D",
      ","
    ],
    [
      "j",
      "."
    ],
    [
      "s",
      "e"
    ],
    [
      ",",
      "W"
    ],
    [
      "n",
      "p"
    ],
    [
      "d",
      "T"
    ],
    [
      "S",
      "O"
    ],
    [
      "E",
      ","
    ],
    [
      "t",
      "t"
    ],
    [
      "q",
      ";q"
    ],
    [
      ",...",
      ",n"
    ],
    [
      "A",
      "C"
    ],
    [
      "d",
      "g"
    ],
    [
      ",",
      "J"
    ],
    [
      "q",
      "'"
    ],
    [
      "con",
      "st"
    ],
    [
      "w",
      "'"
    ],
    [
      ",",
      "H"
    ],
    [
      ";",
      "x"
    ],
    [
      "I",
      "J"
    ],
    [
      "c",
      "e"
    ],
    [
      "B",
      "'"
    ],
    [
      "c",
      "."
    ],
    [
      "n",
      "k"
    ],
    [
      "d",
      "x,"
    ],
    [
      "d",
      "k"
    ],
    [
      "r",
      "it"
    ],
    [
      "i,",
      "n"
    ],
    [
      "C",
      ","
    ],
    [
      "de",
      "g"
    ],
    [
      "d",
      "m"
    ],
    [
      "b",
      "x"
    ],
    [
      "b",
      "y"
    ],
    [
      "d",
      "im"
    ],
    [
      "x,",
      "u"
    ],
    [
      "v,",
      "w"
    ],
    [
      "K",
      ","
    ],
    [
      "di",
      "ag"
    ],
    [
      "t",
      "a"
    ],
    [
      "e",
      "m"
    ],
    [
      "s",
      "s"
    ],
    [
      "w",
      "e"
    ],
    [
      "U",
      ","
    ],
    [
      "S",
      "U"
    ],
    [
      "m",
      "c"
    ],
    [
      "k,",
      "n"
    ],
    [
      "in",
      "f"
    ],
    [
      "V",
      "ar"
    ],
    [
      "d",
      "t,"
    ],
    [
      "y",
      ",z"
    ],
    [
      "sin",
      "h"
    ],
    [
      "x,",
      "v"
    ],
    [
      ";",
      "z"
    ],
    [
      "p",
      "."
    ],
    [
      "y",
      "y"
    ],
    [
      "M",
      "N"
    ],
    [
      "a,b",
      ",c"
    ],
    [
      "en",
      "t"
    ],
    [
      "u",
      "e"
    ],
    [
      "m",
      "at"
    ],
    [
      "d",
      "is"
    ],
    [
      "c",
      "'"
    ],
    [
      "F",
      "'"
    ],
    [
      "a",
      "y"
    ],
    [
      "ds",
      "."
    ],
    [
      "u",
      "n"
    ],
    [
      "cos",
      "h"
    ],
    [
      "i",
      "b"
    ],
    [
      "n,",
      "n"
    ],
    [
      "p",
      "l"
    ],
    [
      "H",
      "om"
    ],
    [
      "P",
      ","
    ],
    [
      "u",
      "r"
    ],
    [
      ";",
      "t"
    ],
    [
      "G",
      "M"
    ],
    [
      "B",
      "C"
    ],
    [
      "y",
      "z"
    ],
    [
      "r",
      ",t"
    ],
    [
      "I",
      "d"
    ],
    [
      "m",
      "u"
    ],
    [
      "f",
      "r"
    ],
    [
      "R",
      "ic"
    ],
    [
      "k,",
      "j"
    ],
    [
      "v",
      "ol"
    ],
    [
      "m",
      "!"
    ],
    [
      "w",
      "rit"
    ],
    [
      "t",
      "x"
    ],
    [
      "e",
      "l"
    ],
    [
      "i",
      ":"
    ],
    [
      "k",
      "n"
    ],
    [
      "in",
      "g"
    ],
    [
      "ll",
      "l"
    ],
    [
      "n,",
      "j"
    ],
    [
      "n",
      ":"
    ],
    [
      "s",
      "g"
    ],
    [
      "C",
      "'"
    ],
    [
      "f",
      "g"
    ],
    [
      "ig",
      "h"
    ],
    [
      "th",
      "e"
    ],
    [
      "s",
      ",x"
    ],
    [
      "j",
      "l"
    ],
    [
      "ar",
      "g"
    ],
    [
      "x",
      "z"
    ],
    [
      "p",
      "s"
    ],
    [
      "b",
      "d"
    ],
    [
      "i,",
      "i"
    ],
    [
      "z,",
      "w"
    ],
    [
      "d",
      "E"
    ],
    [
      "k",
      "i"
    ],
    [
      "u",
      "m"
    ],
    [
      "m",
      "."
    ],
    [
      "r",
      "an"
    ],
    [
      "dx",
      "dy"
    ],
    [
      "m",
      "v"
    ],
    [
      "arc",
      "tan"
    ],
    [
      "C",
      "l"
    ],
    [
      "x",
      ":"
    ],
    [
      "y",
      ",x"
    ],
    [
      "t",
      ";"
    ],
    [
      "l",
      "'"
    ],
    [
      "X",
      ";"
    ],
    [
      "V",
      "'"
    ],
    [
      "e",
      "."
    ],
    [
      "r",
      "cl"
    ],
    [
      "log",
      "n"
    ],
    [
      "ds",
      ","
    ],
    [
      "d",
      "'"
    ],
    [
      "X",
      "'"
    ],
    [
      "su",
      "b"
    ],
    [
      "c",
      "an"
    ],
    [
      "s",
      "ec"
    ],
    [
      "t",
      "u"
    ],
    [
      ":",
      "X"
    ],
    [
      "n",
      ";"
    ],
    [
      ",",
      "G"
    ],
    [
      "l",
      "m"
    ],
    [
      "at",
      "ion"
    ],
    [
      "N",
      "."
    ],
    [
      "s",
      "w"
    ],
    [
      "x",
      "t"
    ],
    [
      "f",
      "."
    ],
    [
      "an",
      "t"
    ],
    [
      "q",
      ",p"
    ],
    [
      "Th",
      "e"
    ],
    [
      ":",
      "x"
    ],
    [
      "a",
      "u"
    ],
    [
      "h",
      "."
    ],
    [
      "T",
      "M"
    ],
    [
      "r",
      "."
    ],
    [
      "t",
      "ot"
    ],
    [
      "S",
      "'"
    ],
    [
      "m",
      "s"
    ],
    [
      "f",
      "''"
    ],
    [
      "v",
      "ar"
    ],
    [
      "k,",
      "i"
    ],
    [
      "Q",
      ","
    ],
    [
      "Z",
      ","
    ],
    [
      "m",
      "a"
    ],
    [
      "k",
      "r"
    ],
    [
      "p",
      "ar"
    ],
    [
      "i",
      "q"
    ],
    [
      "i",
      "u"
    ],
    [
      "o",
      "b"
    ],
    [
      "T",
      "'"
    ],
    [
      "sg",
      "n"
    ],
    [
      ",",
      "U"
    ],
    [
      "d",
      "F"
    ],
    [
      "om",
      "e"
    ],
    [
      "o",
      "u"
    ],
    [
      "C",
      "D"
    ],
    [
      "G",
      "L"
    ],
    [
      "M",
      "'"
    ],
    [
      "d",
      "h"
    ],
    [
      "r",
      "t"
    ],
    [
      "n",
      "a"
    ],
    [
      "j,",
      "i"
    ],
    [
      "d",
      "R"
    ],
    [
      "k,",
      "k"
    ],
    [
      "t",
      "s"
    ],
    [
      "b",
      "a"
    ],
    [
      "s",
      "y"
    ],
    [
      "co",
      "t"
    ],
    [
      "P",
      "'"
    ],
    [
      "o",
      "v"
    ],
    [
      "su",
      "m"
    ],
    [
      ",",
      "I"
    ],
    [
      "t",
      "er"
    ],
    [
      "ec",
      "t"
    ],
    [
      "b",
      "l"
    ],
    [
      "k",
      "t"
    ],
    [
      "g",
      "."
    ],
    [
      ";",
      "k"
    ],
    [
      "c",
      "x"
    ],
    [
      "n,",
      "i"
    ],
    [
      "j",
      "!"
    ],
    [
      "H",
      "'"
    ],
    [
      "m",
      "e"
    ],
    [
      "i",
      "h"
    ],
    [
      "y",
      "."
    ],
    [
      "D",
      "u"
    ],
    [
      "L",
      "'"
    ],
    [
      "t,",
      "t"
    ],
    [
      "k",
      "m"
    ],
    [
      "c",
      "r"
    ],
    [
      "t,",
      "x,"
    ],
    [
      "A",
      "A"
    ],
    [
      ",...,",
      "a"
    ],
    [
      "ij",
      "kl"
    ],
    [
      "y",
      ",t"
    ],
    [
      "g",
      "e"
    ],
    [
      "l",
      "k"
    ],
    [
      "sin",
      "x"
    ],
    [
      "t,",
      "r"
    ],
    [
      "igh",
      "t"
    ],
    [
      "m",
      "p"
    ],
    [
      "ex",
      "t"
    ],
    [
      "D",
      "f"
    ],
    [
      "L",
      "i"
    ],
    [
      "G",
      "'"
    ],
    [
      "Q",
      "'"
    ],
    [
      "it",
      "y"
    ],
    [
      "eq",
      "u"
    ],
    [
      "B",
      "A"
    ],
    [
      "p",
      "er"
    ],
    [
      "th",
      "at"
    ],
    [
      "d",
      "n"
    ],
    [
      "$",
      "x"
    ],
    [
      "k",
      ":"
    ],
    [
      "y",
      "x"
    ],
    [
      "i",
      "al"
    ],
    [
      "j",
      "j"
    ],
    [
      "A",
      "d"
    ],
    [
      "q",
      "u"
    ],
    [
      "k,",
      "m"
    ],
    [
      "t",
      "en"
    ],
    [
      "M",
      "."
    ],
    [
      "d",
      "l"
    ],
    [
      "e",
      "'"
    ],
    [
      "m",
      "k"
    ],
    [
      "lo",
      "c"
    ],
    [
      "tan",
      "h"
    ],
    [
      "T",
      "."
    ],
    [
      "a",
      "q"
    ],
    [
      "b",
      "."
    ],
    [
      "p",
      "x"
    ],
    [
      "X",
      "."
    ],
    [
      "v",
      "."
    ],
    [
      "k",
      "a"
    ],
    [
      "d",
      "Q"
    ],
    [
      "A",
      "."
    ],
    [
      "de",
      "f"
    ],
    [
      "s",
      "l"
    ],
    [
      "s",
      "o"
    ],
    [
      "C",
      "."
    ],
    [
      "z",
      ";"
    ],
    [
      "s",
      "ign"
    ],
    [
      ",...,",
      "X"
    ],
    [
      "ran",
      "k"
    ],
    [
      "S",
      "L"
    ],
    [
      "od",
      "d"
    ],
    [
      "ac",
      "e"
    ],
    [
      "W",
      "'"
    ],
    [
      "X",
      ":"
    ],
    [
      "p",
      "i"
    ],
    [
      "o",
      "w"
    ],
    [
      "u",
      "."
    ],
    [
      "d",
      "d"
    ],
    [
      "z",
      "z"
    ],
    [
      "et",
      "a"
    ],
    [
      "t,",
      "u"
    ],
    [
      "a",
      "e"
    ],
    [
      "W",
      ","
    ],
    [
      "R",
      "'"
    ],
    [
      ":",
      "a"
    ],
    [
      "K",
      "'"
    ],
    [
      "s,",
      "y"
    ],
    [
      "J",
      ","
    ],
    [
      "x,",
      "p"
    ],
    [
      ",",
      ".."
    ],
    [
      "writ",
      "ten"
    ],
    [
      "c",
      "y"
    ],
    [
      "dy",
      "."
    ],
    [
      "s",
      "ome"
    ],
    [
      "ev",
      "en"
    ],
    [
      "n",
      "n"
    ],
    [
      "dy",
      ","
    ],
    [
      "t,",
      "z"
    ],
    [
      "d",
      "."
    ],
    [
      "A",
      "u"
    ],
    [
      "n",
      "u"
    ],
    [
      "lo",
      "w"
    ],
    [
      "x",
      "dx"
    ],
    [
      "V",
      "ol"
    ],
    [
      "x",
      "f"
    ],
    [
      "k",
      "p"
    ],
    [
      "o",
      "s"
    ],
    [
      "u",
      "s"
    ],
    [
      "k",
      "e"
    ],
    [
      "u,",
      "u"
    ],
    [
      "m",
      "g"
    ],
    [
      "r",
      "l"
    ],
    [
      "n",
      "f"
    ],
    [
      "b",
      ",c"
    ],
    [
      "x,",
      "s"
    ],
    [
      "a",
      "f"
    ],
    [
      "D",
      "'"
    ],
    [
      "i",
      "A"
    ],
    [
      "j",
      ",n"
    ],
    [
      "N",
      "'"
    ],
    [
      "sw",
      "er"
    ],
    [
      "t",
      "e"
    ],
    [
      "N",
      "R"
    ],
    [
      "c",
      "z"
    ],
    [
      "u",
      "u"
    ],
    [
      "i",
      "T"
    ],
    [
      "Y,",
      "Z"
    ],
    [
      "n,",
      "p"
    ],
    [
      "dis",
      "t"
    ],
    [
      "k",
      ";"
    ],
    [
      "a,",
      "c"
    ],
    [
      "i,",
      "t"
    ],
    [
      "es",
      "s"
    ],
    [
      "n",
      "ot"
    ],
    [
      "ln",
      "x"
    ],
    [
      "m",
      "r"
    ],
    [
      "d",
      "N"
    ],
    [
      "O",
      "P"
    ],
    [
      "d",
      "U"
    ],
    [
      "p",
      "p"
    ],
    [
      "d",
      "b"
    ],
    [
      "g,",
      "h"
    ],
    [
      ";",
      "Y"
    ],
    [
      "U",
      "'"
    ],
    [
      "v",
      ",v"
    ],
    [
      "z",
      ",t"
    ],
    [
      "x,",
      "r"
    ],
    [
      "n",
      "q"
    ],
    [
      "n",
      "c"
    ],
    [
      "P",
      "V"
    ],
    [
      "ar",
      "e"
    ],
    [
      "V",
      "."
    ],
    [
      "A",
      "D"
    ],
    [
      "A",
      "P"
    ],
    [
      "E",
      "'"
    ],
    [
      "i",
      "!"
    ],
    [
      "A",
      "X"
    ],
    [
      "C",
      "S"
    ],
    [
      "l",
      ",m"
    ],
    [
      "A",
      ":"
    ],
    [
      "x'",
      ","
    ],
    [
      "x",
      "u"
    ],
    [
      "''",
      "'"
    ],
    [
      "x,y",
      ","
    ],
    [
      "B",
      "."
    ],
    [
      "or",
      "d"
    ],
    [
      "T",
      "x"
    ],
    [
      "k",
      "g"
    ],
    [
      "L",
      "et"
    ],
    [
      "d",
      "Y"
    ],
    [
      "C",
      "P"
    ],
    [
      "l",
      "in"
    ],
    [
      "a",
      "a"
    ],
    [
      "Re",
      "s"
    ],
    [
      "an",
      "swer"
    ],
    [
      "D",
      "F"
    ],
    [
      "re",
      "s"
    ],
    [
      "i",
      ";"
    ],
    [
      "a",
      "z"
    ],
    [
      "t",
      "f"
    ],
    [
      "S",
      "S"
    ],
    [
      "l",
      "t"
    ],
    [
      "g",
      "a"
    ],
    [
      "q",
      "x"
    ],
    [
      "d",
      "L"
    ],
    [
      "x",
      "e"
    ],
    [
      "r",
      "x"
    ],
    [
      "!",
      "!"
    ],
    [
      "n",
      "s"
    ],
    [
      "s",
      "q"
    ],
    [
      "k",
      "er"
    ],
    [
      "k",
      "k"
    ],
    [
      "j",
      ":"
    ],
    [
      "j,",
      "m"
    ],
    [
      "d",
      "M"
    ],
    [
      "ik",
      "x"
    ],
    [
      "n",
      "z"
    ],
    [
      "z",
      ",z"
    ],
    [
      "S",
      "T"
    ],
    [
      "m",
      "x"
    ],
    [
      "L",
      "C"
    ],
    [
      "I",
      "'"
    ],
    [
      ",",
      "n,"
    ],
    [
      "x",
      "p"
    ],
    [
      "ac",
      "t"
    ],
    [
      "R",
      "."
    ],
    [
      "S",
      "."
    ],
    [
      "q",
      "."
    ],
    [
      "t,",
      "X"
    ],
    [
      "r",
      "a"
    ],
    [
      "t,",
      "q"
    ],
    [
      "Y",
      "M"
    ],
    [
      "x,y",
      ",t"
    ],
    [
      "for",
      "all"
    ],
    [
      "const",
      "ant"
    ],
    [
      "n",
      "h"
    ],
    [
      "d",
      "c"
    ],
    [
      ";",
      "c"
    ],
    [
      "Y",
      "'"
    ],
    [
      "q",
      ",r"
    ],
    [
      "x,",
      "x'"
    ],
    [
      "p",
      "e"
    ],
    [
      "m",
      ",k"
    ],
    [
      "s",
      ":"
    ],
    [
      "i,",
      "j,k"
    ],
    [
      "M",
      "S"
    ],
    [
      "a",
      "i"
    ],
    [
      "B",
      "T"
    ],
    [
      "t,",
      "x,y"
    ],
    [
      "N",
      "S"
    ],
    [
      "h",
      "c"
    ],
    [
      "n",
      "b"
    ],
    [
      "l",
      "y"
    ],
    [
      "I",
      "."
    ],
    [
      "$",
      "i"
    ],
    [
      "n,",
      "t"
    ],
    [
      "b",
      "f"
    ],
    [
      "f",
      "d"
    ],
    [
      "b",
      "i"
    ],
    [
      "er",
      "f"
    ],
    [
      "c",
      "a"
    ],
    [
      "h",
      "e"
    ],
    [
      "M",
      "A"
    ],
    [
      "t",
      "y"
    ],
    [
      "A",
      "e"
    ],
    [
      "t",
      ":"
    ],
    [
      "Sp",
      "ec"
    ],
    [
      "pr",
      "o"
    ],
    [
      "c",
      "ur"
    ],
    [
      "par",
      "t"
    ],
    [
      "i,",
      "j,"
    ],
    [
      "av",
      "e"
    ],
    [
      "c",
      ",d"
    ],
    [
      "a.",
      "e."
    ],
    [
      "j",
      "m"
    ],
    [
      "X",
      "X"
    ],
    [
      "S",
      "I"
    ],
    [
      ";",
      "s"
    ],
    [
      "G",
      "."
    ],
    [
      "k",
      "z"
    ],
    [
      "K",
      "L"
    ],
    [
      "ef",
      "t"
    ],
    [
      "re",
      "g"
    ],
    [
      "J",
      "'"
    ],
    [
      "cos",
      "x"
    ],
    [
      "C",
      "O"
    ],
    [
      "a",
      "k"
    ],
    [
      "ev",
      "er"
    ],
    [
      "d",
      "C"
    ],
    [
      "U",
      "V"
    ],
    [
      "r",
      "ight"
    ],
    [
      "z",
      "."
    ],
    [
      ",...,",
      "N"
    ],
    [
      "M",
      ":"
    ],
    [
      "c",
      "b"
    ],
    [
      "a,",
      "a"
    ],
    [
      "N",
      "!"
    ],
    [
      ",...,",
      "p"
    ],
    [
      "re",
      "e"
    ],
    [
      "j",
      "u"
    ],
    [
      "co",
      "v"
    ],
    [
      "sp",
      "an"
    ],
    [
      "in",
      "d"
    ],
    [
      "p,",
      "p"
    ],
    [
      "Z",
      "'"
    ],
    [
      "n",
      "i"
    ],
    [
      "q",
      "r"
    ],
    [
      "v",
      "t"
    ],
    [
      "T",
      "S"
    ],
    [
      ",...,",
      "y"
    ],
    [
      "sup",
      "p"
    ],
    [
      "bl",
      "ue"
    ],
    [
      "iv",
      "e"
    ],
    [
      "j,",
      "j"
    ],
    [
      "N",
      "C"
    ],
    [
      "ab",
      "cd"
    ],
    [
      "n",
      "r"
    ],
    [
      "i",
      "S"
    ],
    [
      "A",
      "v"
    ],
    [
      "x",
      ";q"
    ],
    [
      "j",
      "x"
    ],
    [
      "C",
      "on"
    ],
    [
      "$",
      "n"
    ],
    [
      "ar",
      "r"
    ],
    [
      "fr",
      "ac"
    ],
    [
      "j",
      "n"
    ],
    [
      "b",
      "u"
    ],
    [
      "k",
      "f"
    ],
    [
      "dx",
      "dt"
    ],
    [
      "C",
      "A"
    ],
    [
      "z",
      "x"
    ],
    [
      "T",
      "P"
    ],
    [
      "h",
      "ave"
    ],
    [
      "re",
      "l"
    ],
    [
      "t",
      "A"
    ],
    [
      "l",
      "eft"
    ],
    [
      "B",
      "D"
    ],
    [
      "l",
      "i"
    ],
    [
      "AB",
      "C"
    ],
    [
      "re",
      "f"
    ],
    [
      "H",
      "."
    ],
    [
      "g",
      "f"
    ],
    [
      "e",
      "V"
    ],
    [
      "v",
      "v"
    ],
    [
      "r",
      "ad"
    ],
    [
      "s.",
      "t."
    ],
    [
      ",...,",
      "m"
    ],
    [
      "M",
      "P"
    ],
    [
      ":",
      "A"
    ],
    [
      "N",
      "a"
    ],
    [
      "k",
      "y"
    ],
    [
      ":",
      "H"
    ],
    [
      "k",
      "s"
    ],
    [
      "C",
      "C"
    ],
    [
      "F",
      "."
    ],
    [
      "i,",
      "x"
    ],
    [
      "j",
      ",t"
    ],
    [
      "c",
      "u"
    ],
    [
      "s,",
      "p"
    ],
    [
      "s",
      "h"
    ],
    [
      "p",
      "f"
    ],
    [
      "an",
      "y"
    ],
    [
      "X,",
      "Z"
    ],
    [
      "xx",
      "x"
    ],
    [
      "c",
      "n"
    ],
    [
      "t,",
      "k"
    ],
    [
      "k",
      ",t"
    ],
    [
      "mm",
      "a"
    ],
    [
      "B",
      "P"
    ],
    [
      ",",
      "$"
    ],
    [
      "P",
      ",Q"
    ],
    [
      "G",
      "r"
    ],
    [
      "m",
      "o"
    ],
    [
      "fr",
      "om"
    ],
    [
      "cur",
      "l"
    ],
    [
      "..",
      ".."
    ],
    [
      "g",
      ":"
    ],
    [
      "ps",
      "i"
    ],
    [
      "T",
      "X"
    ],
    [
      "m",
      ":"
    ],
    [
      "m",
      "b"
    ],
    [
      "w",
      "t"
    ],
    [
      "arc",
      "cos"
    ],
    [
      "C",
      "F"
    ],
    [
      "t",
      "z"
    ],
    [
      "U",
      ",V"
    ],
    [
      "ph",
      "i"
    ],
    [
      "im",
      "e"
    ],
    [
      "b",
      "er"
    ],
    [
      "p",
      ":"
    ],
    [
      "su",
      "ch"
    ],
    [
      "l",
      "."
    ],
    [
      "n,",
      "x"
    ],
    [
      "t",
      "v"
    ],
    [
      "u",
      "''"
    ],
    [
      "C",
      "ov"
    ],
    [
      "e",
      "g"
    ],
    [
      ";",
      "u"
    ],
    [
      "x;",
      "z"
    ],
    [
      "s",
      "tr"
    ],
    [
      "Re",
      "written"
    ],
    [
      "d",
      "H"
    ],
    [
      "q",
      "p"
    ],
    [
      "i",
      "de"
    ],
    [
      "s",
      "x"
    ],
    [
      "mod",
      "p"
    ],
    [
      "k",
      "u"
    ],
    [
      "n",
      "g"
    ],
    [
      "d",
      "I"
    ],
    [
      "d",
      "Z"
    ],
    [
      "q",
      "t"
    ],
    [
      "n,",
      "l"
    ],
    [
      "y",
      ";"
    ],
    [
      "de",
      "l"
    ],
    [
      "S",
      ":"
    ],
    [
      "C",
      "H"
    ],
    [
      "i",
      "H"
    ],
    [
      "cc",
      "ccc"
    ],
    [
      "B",
      "H"
    ],
    [
      "B",
      "B"
    ],
    [
      "T",
      "f"
    ],
    [
      "x",
      "q"
    ],
    [
      "u",
      ":"
    ],
    [
      "n",
      "j"
    ],
    [
      "E",
      "."
    ],
    [
      ",...,",
      "v"
    ],
    [
      "P",
      "."
    ],
    [
      "at",
      "e"
    ],
    [
      "$",
      "k"
    ],
    [
      "T",
      "A"
    ],
    [
      "z",
      ",y"
    ],
    [
      "b",
      "r"
    ],
    [
      ",T",
      ";"
    ],
    [
      "s",
      "n"
    ],
    [
      "s,",
      "X"
    ],
    [
      "b",
      "t"
    ],
    [
      "S",
      "u"
    ],
    [
      "ab",
      "s"
    ],
    [
      "m",
      "t"
    ],
    [
      "r",
      "h"
    ],
    [
      "B,",
      "C"
    ],
    [
      "s",
      ";"
    ],
    [
      "C",
      "M"
    ],
    [
      "A",
      "f"
    ],
    [
      "y",
      ",s"
    ],
    [
      "o",
      "o"
    ],
    [
      "w",
      "."
    ],
    [
      "log",
      "x"
    ],
    [
      "j",
      "ect"
    ],
    [
      "sy",
      "m"
    ],
    [
      "F",
      ":"
    ],
    [
      "al",
      "ph"
    ],
    [
      "iz",
      "e"
    ],
    [
      "s",
      "r"
    ],
    [
      "P",
      "Q"
    ],
    [
      ",...,",
      "k"
    ],
    [
      "r",
      "k"
    ],
    [
      "writ",
      "e"
    ],
    [
      "D",
      "."
    ],
    [
      "i",
      "\\"
    ],
    [
      "$",
      "f"
    ],
    [
      "gr",
      "ad"
    ],
    [
      "am",
      "b"
    ],
    [
      "in",
      "it"
    ],
    [
      "P",
      "A"
    ],
    [
      "C",
      "h"
    ],
    [
      "th",
      "en"
    ],
    [
      "c",
      "sc"
    ],
    [
      "k,",
      "p"
    ],
    [
      "b",
      ",a"
    ],
    [
      ":",
      "G"
    ],
    [
      "k,",
      "q"
    ],
    [
      "i",
      "sin"
    ],
    [
      "ever",
      "y"
    ],
    [
      "as",
      "e"
    ],
    [
      "y",
      ",y"
    ],
    [
      "L",
      "u"
    ],
    [
      "mat",
      "h"
    ],
    [
      "y",
      "m"
    ],
    [
      "ct",
      "ion"
    ],
    [
      "r",
      "d"
    ],
    [
      "mat",
      "r"
    ],
    [
      "K",
      "."
    ],
    [
      "b",
      "b"
    ],
    [
      "L",
      "."
    ],
    [
      "N,",
      "M"
    ],
    [
      "k",
      "d"
    ],
    [
      "tot",
      "al"
    ],
    [
      "D",
      "t"
    ],
    [
      "r,",
      "r"
    ],
    [
      "'",
      "."
    ],
    [
      "m",
      "i"
    ],
    [
      "r",
      "!"
    ],
    [
      "n,",
      "s"
    ],
    [
      "P",
      "B"
    ],
    [
      "j",
      "a"
    ],
    [
      "n",
      "y"
    ],
    [
      "dz",
      "."
    ],
    [
      "n,",
      "r"
    ],
    [
      "K",
      "er"
    ],
    [
      "E",
      "I"
    ],
    [
      ",...,",
      "z"
    ],
    [
      "p",
      "a"
    ],
    [
      "Th",
      "en"
    ],
    [
      "alph",
      "a"
    ],
    [
      "q",
      ",t"
    ],
    [
      "m,",
      "m"
    ],
    [
      "R",
      "C"
    ],
    [
      "H",
      "S"
    ],
    [
      "v",
      "u"
    ],
    [
      "ne",
      "w"
    ],
    [
      "arc",
      "sin"
    ],
    [
      ";",
      "a"
    ],
    [
      "l",
      "a"
    ],
    [
      ":",
      "T"
    ],
    [
      "i,",
      "m"
    ],
    [
      "p",
      "n"
    ],
    [
      "A",
      "r"
    ],
    [
      "ll",
      "ll"
    ],
    [
      ";",
      "p"
    ],
    [
      "m",
      "l"
    ],
    [
      "ag",
      "e"
    ]
  ],
  "config": {
    "vocab_size": 2048,
    "n_frozen": 697,
    "special_tokens": [
      "<pad>",
      "<unk>",
      "<bos>",
      "<eos>"
    ],
    "pad_token": "<pad>",
    "unk_token": "<unk>",
    "bos_token": "<bos>",
    "eos_token": "<eos>",
    "pad_id": 0,
    "unk_id": 1,
    "bos_id": 2,
    "eos_id": 3,
    "model_max_length": 256,
    "padding_side": "right",
    "truncation_side": "right",
    "tokenizer_version": 2
  }
}