{"<s>": 0, "</s>": 1, "<pad>": 2, "(": 3, ")": 4, "<SPECIAL_0>": 5, "<SPECIAL_1>": 6, "<SPECIAL_2>": 7, "<SPECIAL_3>": 8, "<SPECIAL_4>": 9, "<SPECIAL_5>": 10, "<SPECIAL_6>": 11, "<SPECIAL_7>": 12, "<SPECIAL_8>": 13, "<SPECIAL_9>": 14, "pi": 15, "E": 16, "x0": 17, "x1": 18, "x2": 19, "x3": 20, "x4": 21, "x5": 22, "x6": 23, "x7": 24, "x8": 25, "x9": 26, "x10": 27, "x11": 28, "+": 29, "-": 30, "*": 31, "/": 32, "^": 33, "sqrt": 34, "exp": 35, "ln": 36, "sin": 37, "cos": 38, "tan": 39, "asin": 40, "acos": 41, "atan": 42, "Abs": 43, "I": 44, "INT+": 45, "INT-": 46, "FLOAT+": 47, "FLOAT-": 48, ".": 49, "10^": 50, "0": 51, "1": 52, "2": 53, "3": 54, "4": 55, "5": 56, "6": 57, "7": 58, "8": 59, "9": 60, "10": 61, "11": 62, "12": 63, "13": 64, "14": 65, "15": 66, "16": 67, "17": 68, "18": 69, "19": 70, "20": 71, "21": 72, "22": 73, "23": 74, "24": 75, "25": 76, "26": 77, "27": 78, "28": 79, "29": 80, "30": 81, "31": 82, "32": 83, "33": 84, "34": 85, "35": 86, "36": 87, "37": 88, "38": 89, "39": 90, "40": 91, "41": 92, "42": 93, "43": 94, "44": 95, "45": 96, "46": 97, "47": 98, "48": 99, "49": 100, "50": 101, "51": 102, "52": 103, "53": 104, "54": 105, "55": 106, "56": 107, "57": 108, "58": 109, "59": 110, "60": 111, "61": 112, "62": 113, "63": 114, "64": 115, "65": 116, "66": 117, "67": 118, "68": 119, "69": 120, "70": 121, "71": 122, "72": 123, "73": 124, "74": 125, "75": 126, "76": 127, "77": 128, "78": 129, "79": 130, "80": 131, "81": 132, "82": 133, "83": 134, "84": 135, "85": 136, "86": 137, "87": 138, "88": 139, "89": 140, "90": 141, "91": 142, "92": 143, "93": 144, "94": 145, "95": 146, "96": 147, "97": 148, "98": 149, "99": 150, "100": 151, "101": 152, "102": 153, "103": 154, "104": 155, "105": 156, "106": 157, "107": 158, "108": 159, "109": 160, "110": 161, "111": 162, "112": 163, "113": 164, "114": 165, "115": 166, "116": 167, "117": 168, "118": 169, "119": 170, "120": 171, "121": 172, "122": 173, "123": 174, "124": 175, "125": 176, "126": 177, "127": 178, "128": 179, "129": 180, "130": 181, "131": 182, "132": 183, "133": 184, "134": 185, "135": 186, "136": 187, "137": 188, "138": 189, "139": 190, "140": 191, "141": 192, "142": 193, "143": 194, "144": 195, "145": 196, "146": 197, "147": 198, "148": 199, "149": 200, "150": 201, "151": 202, "152": 203, "153": 204, "154": 205, "155": 206, "156": 207, "157": 208, "158": 209, "159": 210, "160": 211, "161": 212, "162": 213, "163": 214, "164": 215, "165": 216, "166": 217, "167": 218, "168": 219, "169": 220, "170": 221, "171": 222, "172": 223, "173": 224, "174": 225, "175": 226, "176": 227, "177": 228, "178": 229, "179": 230, "180": 231, "181": 232, "182": 233, "183": 234, "184": 235, "185": 236, "186": 237, "187": 238, "188": 239, "189": 240, "190": 241, "191": 242, "192": 243, "193": 244, "194": 245, "195": 246, "196": 247, "197": 248, "198": 249, "199": 250, "200": 251, "201": 252, "202": 253, "203": 254, "204": 255, "205": 256, "206": 257, "207": 258, "208": 259, "209": 260, "210": 261, "211": 262, "212": 263, "213": 264, "214": 265, "215": 266, "216": 267, "217": 268, "218": 269, "219": 270, "220": 271, "221": 272, "222": 273, "223": 274, "224": 275, "225": 276, "226": 277, "227": 278, "228": 279, "229": 280, "230": 281, "231": 282, "232": 283, "233": 284, "234": 285, "235": 286, "236": 287, "237": 288, "238": 289, "239": 290, "240": 291, "241": 292, "242": 293, "243": 294, "244": 295, "245": 296, "246": 297, "247": 298, "248": 299, "249": 300, "250": 301, "251": 302, "252": 303, "253": 304, "254": 305, "255": 306, "256": 307, "257": 308, "258": 309, "259": 310, "260": 311, "261": 312, "262": 313, "263": 314, "264": 315, "265": 316, "266": 317, "267": 318, "268": 319, "269": 320, "270": 321, "271": 322, "272": 323, "273": 324, "274": 325, "275": 326, "276": 327, "277": 328, "278": 329, "279": 330, "280": 331, "281": 332, "282": 333, "283": 334, "284": 335, "285": 336, "286": 337, "287": 338, "288": 339, "289": 340, "290": 341, "291": 342, "292": 343, "293": 344, "294": 345, "295": 346, "296": 347, "297": 348, "298": 349, "299": 350, "300": 351, "301": 352, "302": 353, "303": 354, "304": 355, "305": 356, "306": 357, "307": 358, "308": 359, "309": 360, "310": 361, "311": 362, "312": 363, "313": 364, "314": 365, "315": 366, "316": 367, "317": 368, "318": 369, "319": 370, "320": 371, "321": 372, "322": 373, "323": 374, "324": 375, "325": 376, "326": 377, "327": 378, "328": 379, "329": 380, "330": 381, "331": 382, "332": 383, "333": 384, "334": 385, "335": 386, "336": 387, "337": 388, "338": 389, "339": 390, "340": 391, "341": 392, "342": 393, "343": 394, "344": 395, "345": 396, "346": 397, "347": 398, "348": 399, "349": 400, "350": 401, "351": 402, "352": 403, "353": 404, "354": 405, "355": 406, "356": 407, "357": 408, "358": 409, "359": 410, "360": 411, "361": 412, "362": 413, "363": 414, "364": 415, "365": 416, "366": 417, "367": 418, "368": 419, "369": 420, "370": 421, "371": 422, "372": 423, "373": 424, "374": 425, "375": 426, "376": 427, "377": 428, "378": 429, "379": 430, "380": 431, "381": 432, "382": 433, "383": 434, "384": 435, "385": 436, "386": 437, "387": 438, "388": 439, "389": 440, "390": 441, "391": 442, "392": 443, "393": 444, "394": 445, "395": 446, "396": 447, "397": 448, "398": 449, "399": 450, "400": 451, "401": 452, "402": 453, "403": 454, "404": 455, "405": 456, "406": 457, "407": 458, "408": 459, "409": 460, "410": 461, "411": 462, "412": 463, "413": 464, "414": 465, "415": 466, "416": 467, "417": 468, "418": 469, "419": 470, "420": 471, "421": 472, "422": 473, "423": 474, "424": 475, "425": 476, "426": 477, "427": 478, "428": 479, "429": 480, "430": 481, "431": 482, "432": 483, "433": 484, "434": 485, "435": 486, "436": 487, "437": 488, "438": 489, "439": 490, "440": 491, "441": 492, "442": 493, "443": 494, "444": 495, "445": 496, "446": 497, "447": 498, "448": 499, "449": 500, "450": 501, "451": 502, "452": 503, "453": 504, "454": 505, "455": 506, "456": 507, "457": 508, "458": 509, "459": 510, "460": 511, "461": 512, "462": 513, "463": 514, "464": 515, "465": 516, "466": 517, "467": 518, "468": 519, "469": 520, "470": 521, "471": 522, "472": 523, "473": 524, "474": 525, "475": 526, "476": 527, "477": 528, "478": 529, "479": 530, "480": 531, "481": 532, "482": 533, "483": 534, "484": 535, "485": 536, "486": 537, "487": 538, "488": 539, "489": 540, "490": 541, "491": 542, "492": 543, "493": 544, "494": 545, "495": 546, "496": 547, "497": 548, "498": 549, "499": 550, "500": 551, "501": 552, "502": 553, "503": 554, "504": 555, "505": 556, "506": 557, "507": 558, "508": 559, "509": 560, "510": 561, "511": 562, "512": 563, "513": 564, "514": 565, "515": 566, "516": 567, "517": 568, "518": 569, "519": 570, "520": 571, "521": 572, "522": 573, "523": 574, "524": 575, "525": 576, "526": 577, "527": 578, "528": 579, "529": 580, "530": 581, "531": 582, "532": 583, "533": 584, "534": 585, "535": 586, "536": 587, "537": 588, "538": 589, "539": 590, "540": 591, "541": 592, "542": 593, "543": 594, "544": 595, "545": 596, "546": 597, "547": 598, "548": 599, "549": 600, "550": 601, "551": 602, "552": 603, "553": 604, "554": 605, "555": 606, "556": 607, "557": 608, "558": 609, "559": 610, "560": 611, "561": 612, "562": 613, "563": 614, "564": 615, "565": 616, "566": 617, "567": 618, "568": 619, "569": 620, "570": 621, "571": 622, "572": 623, "573": 624, "574": 625, "575": 626, "576": 627, "577": 628, "578": 629, "579": 630, "580": 631, "581": 632, "582": 633, "583": 634, "584": 635, "585": 636, "586": 637, "587": 638, "588": 639, "589": 640, "590": 641, "591": 642, "592": 643, "593": 644, "594": 645, "595": 646, "596": 647, "597": 648, "598": 649, "599": 650, "600": 651, "601": 652, "602": 653, "603": 654, "604": 655, "605": 656, "606": 657, "607": 658, "608": 659, "609": 660, "610": 661, "611": 662, "612": 663, "613": 664, "614": 665, "615": 666, "616": 667, "617": 668, "618": 669, "619": 670, "620": 671, "621": 672, "622": 673, "623": 674, "624": 675, "625": 676, "626": 677, "627": 678, "628": 679, "629": 680, "630": 681, "631": 682, "632": 683, "633": 684, "634": 685, "635": 686, "636": 687, "637": 688, "638": 689, "639": 690, "640": 691, "641": 692, "642": 693, "643": 694, "644": 695, "645": 696, "646": 697, "647": 698, "648": 699, "649": 700, "650": 701, "651": 702, "652": 703, "653": 704, "654": 705, "655": 706, "656": 707, "657": 708, "658": 709, "659": 710, "660": 711, "661": 712, "662": 713, "663": 714, "664": 715, "665": 716, "666": 717, "667": 718, "668": 719, "669": 720, "670": 721, "671": 722, "672": 723, "673": 724, "674": 725, "675": 726, "676": 727, "677": 728, "678": 729, "679": 730, "680": 731, "681": 732, "682": 733, "683": 734, "684": 735, "685": 736, "686": 737, "687": 738, "688": 739, "689": 740, "690": 741, "691": 742, "692": 743, "693": 744, "694": 745, "695": 746, "696": 747, "697": 748, "698": 749, "699": 750, "700": 751, "701": 752, "702": 753, "703": 754, "704": 755, "705": 756, "706": 757, "707": 758, "708": 759, "709": 760, "710": 761, "711": 762, "712": 763, "713": 764, "714": 765, "715": 766, "716": 767, "717": 768, "718": 769, "719": 770, "720": 771, "721": 772, "722": 773, "723": 774, "724": 775, "725": 776, "726": 777, "727": 778, "728": 779, "729": 780, "730": 781, "731": 782, "732": 783, "733": 784, "734": 785, "735": 786, "736": 787, "737": 788, "738": 789, "739": 790, "740": 791, "741": 792, "742": 793, "743": 794, "744": 795, "745": 796, "746": 797, "747": 798, "748": 799, "749": 800, "750": 801, "751": 802, "752": 803, "753": 804, "754": 805, "755": 806, "756": 807, "757": 808, "758": 809, "759": 810, "760": 811, "761": 812, "762": 813, "763": 814, "764": 815, "765": 816, "766": 817, "767": 818, "768": 819, "769": 820, "770": 821, "771": 822, "772": 823, "773": 824, "774": 825, "775": 826, "776": 827, "777": 828, "778": 829, "779": 830, "780": 831, "781": 832, "782": 833, "783": 834, "784": 835, "785": 836, "786": 837, "787": 838, "788": 839, "789": 840, "790": 841, "791": 842, "792": 843, "793": 844, "794": 845, "795": 846, "796": 847, "797": 848, "798": 849, "799": 850, "800": 851, "801": 852, "802": 853, "803": 854, "804": 855, "805": 856, "806": 857, "807": 858, "808": 859, "809": 860, "810": 861, "811": 862, "812": 863, "813": 864, "814": 865, "815": 866, "816": 867, "817": 868, "818": 869, "819": 870, "820": 871, "821": 872, "822": 873, "823": 874, "824": 875, "825": 876, "826": 877, "827": 878, "828": 879, "829": 880, "830": 881, "831": 882, "832": 883, "833": 884, "834": 885, "835": 886, "836": 887, "837": 888, "838": 889, "839": 890, "840": 891, "841": 892, "842": 893, "843": 894, "844": 895, "845": 896, "846": 897, "847": 898, "848": 899, "849": 900, "850": 901, "851": 902, "852": 903, "853": 904, "854": 905, "855": 906, "856": 907, "857": 908, "858": 909, "859": 910, "860": 911, "861": 912, "862": 913, "863": 914, "864": 915, "865": 916, "866": 917, "867": 918, "868": 919, "869": 920, "870": 921, "871": 922, "872": 923, "873": 924, "874": 925, "875": 926, "876": 927, "877": 928, "878": 929, "879": 930, "880": 931, "881": 932, "882": 933, "883": 934, "884": 935, "885": 936, "886": 937, "887": 938, "888": 939, "889": 940, "890": 941, "891": 942, "892": 943, "893": 944, "894": 945, "895": 946, "896": 947, "897": 948, "898": 949, "899": 950, "900": 951, "901": 952, "902": 953, "903": 954, "904": 955, "905": 956, "906": 957, "907": 958, "908": 959, "909": 960, "910": 961, "911": 962, "912": 963, "913": 964, "914": 965, "915": 966, "916": 967, "917": 968, "918": 969, "919": 970, "920": 971, "921": 972, "922": 973, "923": 974, "924": 975, "925": 976, "926": 977, "927": 978, "928": 979, "929": 980, "930": 981, "931": 982, "932": 983, "933": 984, "934": 985, "935": 986, "936": 987, "937": 988, "938": 989, "939": 990, "940": 991, "941": 992, "942": 993, "943": 994, "944": 995, "945": 996, "946": 997, "947": 998, "948": 999, "949": 1000, "950": 1001, "951": 1002, "952": 1003, "953": 1004, "954": 1005, "955": 1006, "956": 1007, "957": 1008, "958": 1009, "959": 1010, "960": 1011, "961": 1012, "962": 1013, "963": 1014, "964": 1015, "965": 1016, "966": 1017, "967": 1018, "968": 1019, "969": 1020, "970": 1021, "971": 1022, "972": 1023, "973": 1024, "974": 1025, "975": 1026, "976": 1027, "977": 1028, "978": 1029, "979": 1030, "980": 1031, "981": 1032, "982": 1033, "983": 1034, "984": 1035, "985": 1036, "986": 1037, "987": 1038, "988": 1039, "989": 1040, "990": 1041, "991": 1042, "992": 1043, "993": 1044, "994": 1045, "995": 1046, "996": 1047, "997": 1048, "998": 1049, "999": 1050, "<mask>": 1051}