georgiyozhegov commited on
Commit
797fccf
β€’
1 Parent(s): 781db92

Upload tokenizer

Browse files
Files changed (4) hide show
  1. README.md +1 -1
  2. special_tokens_map.json +30 -0
  3. tokenizer.json +2116 -0
  4. tokenizer_config.json +75 -0
README.md CHANGED
@@ -1,8 +1,8 @@
1
  ---
2
- license: mit
3
  datasets:
4
  - georgiyozhegov/g.arithmetic
5
  library_name: transformers
 
6
  ---
7
 
8
  Model-calculator.
 
1
  ---
 
2
  datasets:
3
  - georgiyozhegov/g.arithmetic
4
  library_name: transformers
5
+ license: mit
6
  ---
7
 
8
  Model-calculator.
special_tokens_map.json ADDED
@@ -0,0 +1,30 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "bos_token": {
3
+ "content": "<bos>",
4
+ "lstrip": false,
5
+ "normalized": false,
6
+ "rstrip": false,
7
+ "single_word": false
8
+ },
9
+ "eos_token": {
10
+ "content": "<eos>",
11
+ "lstrip": false,
12
+ "normalized": false,
13
+ "rstrip": false,
14
+ "single_word": false
15
+ },
16
+ "pad_token": {
17
+ "content": "<pad>",
18
+ "lstrip": false,
19
+ "normalized": false,
20
+ "rstrip": false,
21
+ "single_word": false
22
+ },
23
+ "unk_token": {
24
+ "content": "<unk>",
25
+ "lstrip": false,
26
+ "normalized": false,
27
+ "rstrip": false,
28
+ "single_word": false
29
+ }
30
+ }
tokenizer.json ADDED
@@ -0,0 +1,2116 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "version": "1.0",
3
+ "truncation": null,
4
+ "padding": null,
5
+ "added_tokens": [
6
+ {
7
+ "id": 0,
8
+ "content": "<sos>",
9
+ "single_word": false,
10
+ "lstrip": false,
11
+ "rstrip": false,
12
+ "normalized": false,
13
+ "special": true
14
+ },
15
+ {
16
+ "id": 1,
17
+ "content": "<eos>",
18
+ "single_word": false,
19
+ "lstrip": false,
20
+ "rstrip": false,
21
+ "normalized": false,
22
+ "special": true
23
+ },
24
+ {
25
+ "id": 2,
26
+ "content": "<pad>",
27
+ "single_word": false,
28
+ "lstrip": false,
29
+ "rstrip": false,
30
+ "normalized": false,
31
+ "special": true
32
+ },
33
+ {
34
+ "id": 3,
35
+ "content": "<unk>",
36
+ "single_word": false,
37
+ "lstrip": false,
38
+ "rstrip": false,
39
+ "normalized": false,
40
+ "special": true
41
+ },
42
+ {
43
+ "id": 4,
44
+ "content": "find",
45
+ "single_word": false,
46
+ "lstrip": false,
47
+ "rstrip": false,
48
+ "normalized": false,
49
+ "special": true
50
+ },
51
+ {
52
+ "id": 5,
53
+ "content": "step",
54
+ "single_word": false,
55
+ "lstrip": false,
56
+ "rstrip": false,
57
+ "normalized": false,
58
+ "special": true
59
+ },
60
+ {
61
+ "id": 6,
62
+ "content": "answer",
63
+ "single_word": false,
64
+ "lstrip": false,
65
+ "rstrip": false,
66
+ "normalized": false,
67
+ "special": true
68
+ },
69
+ {
70
+ "id": 1024,
71
+ "content": "<bos>",
72
+ "single_word": false,
73
+ "lstrip": false,
74
+ "rstrip": false,
75
+ "normalized": false,
76
+ "special": true
77
+ }
78
+ ],
79
+ "normalizer": null,
80
+ "pre_tokenizer": {
81
+ "type": "Metaspace",
82
+ "replacement": "▁",
83
+ "prepend_scheme": "always",
84
+ "split": true
85
+ },
86
+ "post_processor": null,
87
+ "decoder": {
88
+ "type": "Metaspace",
89
+ "replacement": "▁",
90
+ "prepend_scheme": "always",
91
+ "split": true
92
+ },
93
+ "model": {
94
+ "type": "BPE",
95
+ "dropout": null,
96
+ "unk_token": null,
97
+ "continuing_subword_prefix": null,
98
+ "end_of_word_suffix": null,
99
+ "fuse_unk": false,
100
+ "byte_fallback": false,
101
+ "ignore_merges": false,
102
+ "vocab": {
103
+ "<sos>": 0,
104
+ "<eos>": 1,
105
+ "<pad>": 2,
106
+ "<unk>": 3,
107
+ "find": 4,
108
+ "step": 5,
109
+ "answer": 6,
110
+ "\n": 7,
111
+ "(": 8,
112
+ ")": 9,
113
+ "*": 10,
114
+ "+": 11,
115
+ "-": 12,
116
+ ".": 13,
117
+ "/": 14,
118
+ "0": 15,
119
+ "1": 16,
120
+ "2": 17,
121
+ "3": 18,
122
+ "4": 19,
123
+ "5": 20,
124
+ "6": 21,
125
+ "7": 22,
126
+ "8": 23,
127
+ "9": 24,
128
+ "=": 25,
129
+ "a": 26,
130
+ "d": 27,
131
+ "e": 28,
132
+ "f": 29,
133
+ "i": 30,
134
+ "n": 31,
135
+ "o": 32,
136
+ "p": 33,
137
+ "r": 34,
138
+ "s": 35,
139
+ "t": 36,
140
+ "w": 37,
141
+ "▁": 38,
142
+ "▁-": 39,
143
+ "\ns": 40,
144
+ "ep": 41,
145
+ "tep": 42,
146
+ "▁=": 43,
147
+ "\nstep": 44,
148
+ "▁1": 45,
149
+ "0.": 46,
150
+ "er": 47,
151
+ "\na": 48,
152
+ "fi": 49,
153
+ "nd": 50,
154
+ "ns": 51,
155
+ "wer": 52,
156
+ "▁fi": 53,
157
+ "\nans": 54,
158
+ "▁find": 55,
159
+ "\nanswer": 56,
160
+ "▁*": 57,
161
+ "▁+": 58,
162
+ "▁/": 59,
163
+ "▁-1": 60,
164
+ "▁2": 61,
165
+ "▁3": 62,
166
+ "▁0.": 63,
167
+ "▁4": 64,
168
+ "▁5": 65,
169
+ "▁6": 66,
170
+ "▁7": 67,
171
+ "▁8": 68,
172
+ "▁9": 69,
173
+ "▁-2": 70,
174
+ "▁-3": 71,
175
+ "▁-0.": 72,
176
+ "▁-4": 73,
177
+ "66": 74,
178
+ "▁-5": 75,
179
+ "33": 76,
180
+ ".5": 77,
181
+ "▁-7": 78,
182
+ ".2": 79,
183
+ "▁-8": 80,
184
+ ".1": 81,
185
+ "▁-6": 82,
186
+ "▁-9": 83,
187
+ ".8": 84,
188
+ "75": 85,
189
+ ".4": 86,
190
+ "25": 87,
191
+ "11": 88,
192
+ "99": 89,
193
+ "28": 90,
194
+ ".6": 91,
195
+ "76": 92,
196
+ ".3": 93,
197
+ "78": 94,
198
+ "71": 95,
199
+ "44": 96,
200
+ "00": 97,
201
+ "95": 98,
202
+ "73": 99,
203
+ "98": 100,
204
+ "72": 101,
205
+ "74": 102,
206
+ "96": 103,
207
+ "08": 104,
208
+ "05": 105,
209
+ "15": 106,
210
+ "93": 107,
211
+ "94": 108,
212
+ "18": 109,
213
+ "23": 110,
214
+ "04": 111,
215
+ "26": 112,
216
+ "24": 113,
217
+ "16": 114,
218
+ "14": 115,
219
+ "13": 116,
220
+ "06": 117,
221
+ "03": 118,
222
+ "2\nstep": 119,
223
+ "0\nstep": 120,
224
+ "7\nstep": 121,
225
+ "88": 122,
226
+ "55": 123,
227
+ "▁(": 124,
228
+ "9\nstep": 125,
229
+ "1\nstep": 126,
230
+ "22": 127,
231
+ "84": 128,
232
+ "77": 129,
233
+ "92": 130,
234
+ "85": 131,
235
+ "36": 132,
236
+ "12": 133,
237
+ "35": 134,
238
+ "34": 135,
239
+ "86": 136,
240
+ "45": 137,
241
+ "02": 138,
242
+ "79": 139,
243
+ "46": 140,
244
+ "09": 141,
245
+ "8\nstep": 142,
246
+ "56": 143,
247
+ "01": 144,
248
+ "83": 145,
249
+ "▁10": 146,
250
+ "19": 147,
251
+ "4\nstep": 148,
252
+ "▁0": 149,
253
+ ".9": 150,
254
+ "5\nstep": 151,
255
+ "3\nstep": 152,
256
+ "7\n": 153,
257
+ "7\nanswer": 154,
258
+ "38": 155,
259
+ "54": 156,
260
+ "29": 157,
261
+ "21": 158,
262
+ "6\nstep": 159,
263
+ "64": 160,
264
+ "07": 161,
265
+ "65": 162,
266
+ "▁(-": 163,
267
+ "▁14": 164,
268
+ "53": 165,
269
+ "58": 166,
270
+ "91": 167,
271
+ "2\n": 168,
272
+ "2\nanswer": 169,
273
+ "68": 170,
274
+ "63": 171,
275
+ "43": 172,
276
+ "48": 173,
277
+ "17": 174,
278
+ "1\n": 175,
279
+ "1\nanswer": 176,
280
+ ")\nstep": 177,
281
+ "27": 178,
282
+ "▁13": 179,
283
+ "▁-10": 180,
284
+ "▁15": 181,
285
+ "9\n": 182,
286
+ "9\nanswer": 183,
287
+ "97": 184,
288
+ "▁16": 185,
289
+ "10": 186,
290
+ ".7": 187,
291
+ ".33": 188,
292
+ "20": 189,
293
+ "70": 190,
294
+ "5\n": 191,
295
+ "5\nanswer": 192,
296
+ "90": 193,
297
+ ".66": 194,
298
+ "▁18": 195,
299
+ "8\n": 196,
300
+ "8\nanswer": 197,
301
+ "4\n": 198,
302
+ "4\nanswer": 199,
303
+ "▁12": 200,
304
+ "▁-13": 201,
305
+ "42": 202,
306
+ "82": 203,
307
+ "▁11": 204,
308
+ "52": 205,
309
+ "6\n": 206,
310
+ "6\nanswer": 207,
311
+ "81": 208,
312
+ "▁0.1": 209,
313
+ ".75": 210,
314
+ "32": 211,
315
+ "62": 212,
316
+ "89": 213,
317
+ "51": 214,
318
+ "▁-14": 215,
319
+ "87": 216,
320
+ "57": 217,
321
+ "0\n": 218,
322
+ "0\nanswer": 219,
323
+ "31": 220,
324
+ "59": 221,
325
+ "3\n": 222,
326
+ "3\nanswer": 223,
327
+ "37": 224,
328
+ "61": 225,
329
+ "39": 226,
330
+ "69": 227,
331
+ "▁24": 228,
332
+ "41": 229,
333
+ "67": 230,
334
+ "47": 231,
335
+ "49": 232,
336
+ "▁-15": 233,
337
+ "▁-12": 234,
338
+ "80": 235,
339
+ "▁26": 236,
340
+ "▁-16": 237,
341
+ "▁25": 238,
342
+ "▁-11": 239,
343
+ "▁1.1": 240,
344
+ "▁23": 241,
345
+ "▁0.2": 242,
346
+ "40": 243,
347
+ "▁0.5": 244,
348
+ "▁35": 245,
349
+ ".71": 246,
350
+ "▁17": 247,
351
+ "▁19": 248,
352
+ "▁36": 249,
353
+ "▁22": 250,
354
+ "▁1.2": 251,
355
+ ".76": 252,
356
+ "▁-66": 253,
357
+ "30": 254,
358
+ "▁-0.1": 255,
359
+ "▁28": 256,
360
+ "▁45": 257,
361
+ "▁56": 258,
362
+ "▁34": 259,
363
+ "▁21": 260,
364
+ "▁0.3": 261,
365
+ "▁33": 262,
366
+ "▁55": 263,
367
+ "▁0\nstep": 264,
368
+ "▁0.6": 265,
369
+ "▁46": 266,
370
+ ".99": 267,
371
+ "▁0.4": 268,
372
+ "▁-18": 269,
373
+ "▁54": 270,
374
+ "▁43": 271,
375
+ "▁44": 272,
376
+ ".95": 273,
377
+ "▁86": 274,
378
+ ".98": 275,
379
+ "▁75": 276,
380
+ "▁66": 277,
381
+ "▁38": 278,
382
+ ".96": 279,
383
+ ".78": 280,
384
+ "▁65": 281,
385
+ "▁76": 282,
386
+ ".72": 283,
387
+ "▁32": 284,
388
+ "▁85": 285,
389
+ "▁48": 286,
390
+ "▁1\nstep": 287,
391
+ "▁63": 288,
392
+ "▁96": 289,
393
+ "▁29": 290,
394
+ "▁42": 291,
395
+ "▁64": 292,
396
+ "▁31": 293,
397
+ "▁27": 294,
398
+ "25\nstep": 295,
399
+ ".73": 296,
400
+ "▁0.8": 297,
401
+ "▁58": 298,
402
+ ".94": 299,
403
+ "▁95": 300,
404
+ ".93": 301,
405
+ "▁74": 302,
406
+ "▁2\nstep": 303,
407
+ "▁-24": 304,
408
+ ".5\nstep": 305,
409
+ "▁73": 306,
410
+ "▁10.": 307,
411
+ "▁53": 308,
412
+ "▁68": 309,
413
+ "▁-1.1": 310,
414
+ "▁1.4": 311,
415
+ "▁78": 312,
416
+ "▁-26": 313,
417
+ "▁49": 314,
418
+ "▁94": 315,
419
+ "▁20": 316,
420
+ "▁-23": 317,
421
+ "▁88": 318,
422
+ "▁39": 319,
423
+ "▁84": 320,
424
+ "▁3\nstep": 321,
425
+ "▁5\nstep": 322,
426
+ "▁52": 323,
427
+ "▁-1.2": 324,
428
+ "▁1.5": 325,
429
+ "▁93": 326,
430
+ "▁-25": 327,
431
+ "▁-17": 328,
432
+ "▁83": 329,
433
+ "▁-36": 330,
434
+ "▁51": 331,
435
+ "▁72": 332,
436
+ "▁37": 333,
437
+ "▁10\nstep": 334,
438
+ "▁59": 335,
439
+ ".74": 336,
440
+ "▁7\nstep": 337,
441
+ "▁-35": 338,
442
+ "▁4\nstep": 339,
443
+ "▁62": 340,
444
+ "▁41": 341,
445
+ "▁8\nstep": 342,
446
+ "▁9\nstep": 343,
447
+ "▁6\nstep": 344,
448
+ "▁-0.6": 345,
449
+ "▁1.3": 346,
450
+ "75\nstep": 347,
451
+ "▁61": 348,
452
+ "▁-19": 349,
453
+ "▁98": 350,
454
+ "▁-0.5": 351,
455
+ "▁69": 352,
456
+ "▁30": 353,
457
+ "▁82": 354,
458
+ "▁-0.4": 355,
459
+ "▁81": 356,
460
+ ".5\n": 357,
461
+ ".5\nanswer": 358,
462
+ "▁100": 359,
463
+ "▁-22": 360,
464
+ "▁-0.3": 361,
465
+ "▁-21": 362,
466
+ "▁47": 363,
467
+ "▁-0.2": 364,
468
+ "▁57": 365,
469
+ "▁-46": 366,
470
+ "28\nstep": 367,
471
+ "▁89": 368,
472
+ "▁-45": 369,
473
+ "▁92": 370,
474
+ "▁-28": 371,
475
+ "▁67": 372,
476
+ "▁1.8": 373,
477
+ "▁79": 374,
478
+ "▁71": 375,
479
+ "▁-34": 376,
480
+ ".25": 377,
481
+ "▁40": 378,
482
+ "▁77": 379,
483
+ "▁0.11": 380,
484
+ "66\nstep": 381,
485
+ "▁-56": 382,
486
+ "▁91": 383,
487
+ ".77": 384,
488
+ "▁-55": 385,
489
+ "33\nstep": 386,
490
+ "▁-33": 387,
491
+ "▁99": 388,
492
+ "▁87": 389,
493
+ "▁-38": 390,
494
+ "▁1.6": 391,
495
+ "00\nstep": 392,
496
+ "▁-54": 393,
497
+ "▁50": 394,
498
+ "▁80": 395,
499
+ "▁-44": 396,
500
+ "76\nstep": 397,
501
+ "50": 398,
502
+ "▁-43": 399,
503
+ "▁-1.4": 400,
504
+ "▁-10.": 401,
505
+ "▁97": 402,
506
+ "▁60": 403,
507
+ "▁90": 404,
508
+ "666": 405,
509
+ "72\nstep": 406,
510
+ "▁-53": 407,
511
+ "▁-27": 408,
512
+ "▁-42": 409,
513
+ "▁70": 410,
514
+ "▁-64": 411,
515
+ "16\nstep": 412,
516
+ "▁-29": 413,
517
+ "▁-48": 414,
518
+ "▁-58": 415,
519
+ ".92": 416,
520
+ "44\nstep": 417,
521
+ "▁0.9": 418,
522
+ "▁-32": 419,
523
+ "▁-76": 420,
524
+ "▁-86": 421,
525
+ "▁-96": 422,
526
+ "▁-65": 423,
527
+ "24\nstep": 424,
528
+ "or": 425,
529
+ "ror": 426,
530
+ "▁er": 427,
531
+ "▁error": 428,
532
+ "▁-1.3": 429,
533
+ "▁-63": 430,
534
+ "▁-84": 431,
535
+ "04\nstep": 432,
536
+ "▁-75": 433,
537
+ "▁-73": 434,
538
+ "▁-0.8": 435,
539
+ "▁-39": 436,
540
+ "71\nstep": 437,
541
+ "▁-31": 438,
542
+ "▁-95": 439,
543
+ ".85": 440,
544
+ "08\nstep": 441,
545
+ "96\nstep": 442,
546
+ "▁-52": 443,
547
+ "▁-20": 444,
548
+ "▁-74": 445,
549
+ "▁-83": 446,
550
+ "▁-37": 447,
551
+ "▁-85": 448,
552
+ "▁0.15": 449,
553
+ "▁0.14": 450,
554
+ "▁-68": 451,
555
+ "▁-41": 452,
556
+ "23\nstep": 453,
557
+ "78\nstep": 454,
558
+ "▁-49": 455,
559
+ "285": 456,
560
+ "▁-94": 457,
561
+ ".14": 458,
562
+ "▁-1.5": 459,
563
+ "▁-78": 460,
564
+ "05\nstep": 461,
565
+ "26\nstep": 462,
566
+ "11\nstep": 463,
567
+ "18\nstep": 464,
568
+ "333": 465,
569
+ "▁0.7": 466,
570
+ ".79": 467,
571
+ "▁-1\nstep": 468,
572
+ "13\nstep": 469,
573
+ "▁-62": 470,
574
+ ".45": 471,
575
+ "73\nstep": 472,
576
+ "94\nstep": 473,
577
+ ".15": 474,
578
+ "95\nstep": 475,
579
+ "▁-1.6": 476,
580
+ "99\nstep": 477,
581
+ ".35": 478,
582
+ "74\nstep": 479,
583
+ ".16": 480,
584
+ "▁-93": 481,
585
+ "▁-98": 482,
586
+ "06\nstep": 483,
587
+ ".18": 484,
588
+ "▁-59": 485,
589
+ "▁-100": 486,
590
+ "▁-71": 487,
591
+ "▁-92": 488,
592
+ "▁-79": 489,
593
+ "714": 490,
594
+ "▁-47": 491,
595
+ "15\nstep": 492,
596
+ "▁-88": 493,
597
+ "14\nstep": 494,
598
+ "▁-51": 495,
599
+ "▁-82": 496,
600
+ "60": 497,
601
+ ".46": 498,
602
+ "03\nstep": 499,
603
+ ".88": 500,
604
+ "▁-72": 501,
605
+ ".36": 502,
606
+ ".84": 503,
607
+ "▁-69": 504,
608
+ "25\n": 505,
609
+ "25\nanswer": 506,
610
+ "0.5": 507,
611
+ ".86": 508,
612
+ "93\nstep": 509,
613
+ "▁-61": 510,
614
+ "88\nstep": 511,
615
+ "▁-2\nstep": 512,
616
+ ".28": 513,
617
+ "▁-91": 514,
618
+ "▁-67": 515,
619
+ ".23": 516,
620
+ ".56": 517,
621
+ "▁-89": 518,
622
+ "▁-30": 519,
623
+ "98\nstep": 520,
624
+ ".64": 521,
625
+ "▁-57": 522,
626
+ ".68": 523,
627
+ ".44": 524,
628
+ "▁0.13": 525,
629
+ "▁-81": 526,
630
+ "75\n": 527,
631
+ "75\nanswer": 528,
632
+ ".55": 529,
633
+ ".58": 530,
634
+ "▁-50": 531,
635
+ ".8\nstep": 532,
636
+ ".13": 533,
637
+ "▁-3\nstep": 534,
638
+ "▁-99": 535,
639
+ "84\nstep": 536,
640
+ ".8\n": 537,
641
+ ".83": 538,
642
+ ".8\nanswer": 539,
643
+ ".2\n": 540,
644
+ ".2\nanswer": 541,
645
+ "▁-40": 542,
646
+ "0.6": 543,
647
+ "▁-77": 544,
648
+ "256": 545,
649
+ "▁108": 546,
650
+ "▁-4\nstep": 547,
651
+ "▁-87": 548,
652
+ ".43": 549,
653
+ "▁105": 550,
654
+ ".34": 551,
655
+ ".2\nstep": 552,
656
+ "▁0.12": 553,
657
+ "▁-60": 554,
658
+ "33\n": 555,
659
+ "33\nanswer": 556,
660
+ "66\n": 557,
661
+ "66\nanswer": 558,
662
+ ".48": 559,
663
+ "99\n": 560,
664
+ "99\nanswer": 561,
665
+ ".65": 562,
666
+ "0.4": 563,
667
+ "▁-0.9": 564,
668
+ ".63": 565,
669
+ "736": 566,
670
+ ".12": 567,
671
+ "444": 568,
672
+ "▁103": 569,
673
+ ".53": 570,
674
+ ".54": 571,
675
+ ".26": 572,
676
+ "▁-90": 573,
677
+ "85\nstep": 574,
678
+ ".38": 575,
679
+ "▁-80": 576,
680
+ "956": 577,
681
+ "36\nstep": 578,
682
+ "55\nstep": 579,
683
+ ".4\n": 580,
684
+ ".4\nanswer": 581,
685
+ "235": 582,
686
+ "28\n": 583,
687
+ "28\nanswer": 584,
688
+ "756": 585,
689
+ "746": 586,
690
+ "▁-97": 587,
691
+ "764": 588,
692
+ "▁106": 589,
693
+ ".24": 590,
694
+ "286": 591,
695
+ "▁-0.11": 592,
696
+ "446": 593,
697
+ "0.8": 594,
698
+ "784": 595,
699
+ "0.3": 596,
700
+ ".52": 597,
701
+ ".6\n": 598,
702
+ ".6\nanswer": 599,
703
+ "665": 600,
704
+ ".11": 601,
705
+ "▁-8\nstep": 602,
706
+ ".42": 603,
707
+ "▁115": 604,
708
+ "▁-5\nstep": 605,
709
+ "755": 606,
710
+ "718": 607,
711
+ "724": 608,
712
+ "954": 609,
713
+ "▁0.16": 610,
714
+ "264": 611,
715
+ "246": 612,
716
+ "255": 613,
717
+ "▁-70": 614,
718
+ "336": 615,
719
+ "▁-10\nstep": 616,
720
+ "▁-6\nstep": 617,
721
+ "716": 618,
722
+ "▁118": 619,
723
+ ".4\nstep": 620,
724
+ "284": 621,
725
+ "▁2.2": 622,
726
+ ".62": 623,
727
+ "745": 624,
728
+ "936": 625,
729
+ "▁0\n": 626,
730
+ "▁0\nanswer": 627,
731
+ "265": 628,
732
+ "726": 629,
733
+ "222": 630,
734
+ "263": 631,
735
+ ".6\nstep": 632,
736
+ "▁104": 633,
737
+ "▁-105": 634,
738
+ "785": 635,
739
+ "985": 636,
740
+ "72\n": 637,
741
+ "72\nanswer": 638,
742
+ "786": 639,
743
+ "253": 640,
744
+ "996": 641,
745
+ "735": 642,
746
+ "86\nstep": 643,
747
+ "▁111": 644,
748
+ "734": 645,
749
+ "084": 646,
750
+ "83\nstep": 647,
751
+ "56\nstep": 648,
752
+ "▁113": 649,
753
+ "715": 650,
754
+ "45\nstep": 651,
755
+ "006": 652,
756
+ "048": 653,
757
+ ".22": 654,
758
+ ".41": 655,
759
+ "254": 656,
760
+ "765": 657,
761
+ "▁-1.8": 658,
762
+ "748": 659,
763
+ "083": 660,
764
+ "334": 661,
765
+ "76\n": 662,
766
+ "763": 663,
767
+ "76\nanswer": 664,
768
+ "34\nstep": 665,
769
+ "163": 666,
770
+ "▁-7\nstep": 667,
771
+ "▁0.18": 668,
772
+ "35\nstep": 669,
773
+ ".1\n": 670,
774
+ ".1\nanswer": 671,
775
+ "288": 672,
776
+ "268": 673,
777
+ "▁-9\nstep": 674,
778
+ "238": 675,
779
+ "754": 676,
780
+ "338": 677,
781
+ "116": 678,
782
+ "958": 679,
783
+ "148": 680,
784
+ "036": 681,
785
+ "443": 682,
786
+ "045": 683,
787
+ "44\n": 684,
788
+ "44\nanswer": 685,
789
+ "046": 686,
790
+ "935": 687,
791
+ "783": 688,
792
+ "758": 689,
793
+ "114": 690,
794
+ "968": 691,
795
+ "986": 692,
796
+ ".82": 693,
797
+ "064": 694,
798
+ ".32": 695,
799
+ "988": 696,
800
+ ".21": 697,
801
+ "115": 698,
802
+ ".69": 699,
803
+ "788": 700,
804
+ "448": 701,
805
+ "234": 702,
806
+ "12\n": 703,
807
+ "12\nanswer": 704,
808
+ "945": 705,
809
+ "086": 706,
810
+ "056": 707,
811
+ ".81": 708,
812
+ "713": 709,
813
+ "088": 710,
814
+ "153": 711,
815
+ "768": 712,
816
+ "777": 713,
817
+ "46\nstep": 714,
818
+ "▁124": 715,
819
+ "948": 716,
820
+ "335": 717,
821
+ "738": 718,
822
+ "184": 719,
823
+ "136": 720,
824
+ "146": 721,
825
+ "965": 722,
826
+ "▁-0.7": 723,
827
+ "445": 724,
828
+ "156": 725,
829
+ "753": 726,
830
+ ".37": 727,
831
+ "723": 728,
832
+ "035": 729,
833
+ ".9\n": 730,
834
+ ".9\nanswer": 731,
835
+ "236": 732,
836
+ "164": 733,
837
+ "258": 734,
838
+ "165": 735,
839
+ "065": 736,
840
+ "068": 737,
841
+ "946": 738,
842
+ "995": 739,
843
+ ".31": 740,
844
+ "054": 741,
845
+ "243": 742,
846
+ "955": 743,
847
+ "063": 744,
848
+ "964": 745,
849
+ "934": 746,
850
+ "283": 747,
851
+ "003": 748,
852
+ "953": 749,
853
+ "142": 750,
854
+ "71\n": 751,
855
+ "71\nanswer": 752,
856
+ "▁error\n": 753,
857
+ "▁error\nanswer": 754,
858
+ "058": 755,
859
+ "▁0.25": 756,
860
+ "085": 757,
861
+ "038": 758,
862
+ "555": 759,
863
+ "▁136": 760,
864
+ "118": 761,
865
+ "185": 762,
866
+ "984": 763,
867
+ "168": 764,
868
+ "846": 765,
869
+ "663": 766,
870
+ "111": 767,
871
+ "938": 768,
872
+ "232": 769,
873
+ "92\n": 770,
874
+ "92\nanswer": 771,
875
+ "▁135": 772,
876
+ "▁2.1": 773,
877
+ ".47": 774,
878
+ "789": 775,
879
+ "004": 776,
880
+ "005": 777,
881
+ "952": 778,
882
+ "245": 779,
883
+ "769": 780,
884
+ "727": 781,
885
+ "134": 782,
886
+ "008": 783,
887
+ "242": 784,
888
+ "782": 785,
889
+ "055": 786,
890
+ ".57": 787,
891
+ "113": 788,
892
+ "135": 789,
893
+ "▁1\n": 790,
894
+ "▁1\nanswer": 791,
895
+ "▁114": 792,
896
+ "282": 793,
897
+ "739": 794,
898
+ ".75\nstep": 795,
899
+ "983": 796,
900
+ "943": 797,
901
+ "252": 798,
902
+ "664": 799,
903
+ "762": 800,
904
+ ".666": 801,
905
+ ".9\nstep": 802,
906
+ ".7\n": 803,
907
+ ".7\nanswer": 804,
908
+ "0.2": 805,
909
+ "155": 806,
910
+ ".89": 807,
911
+ ".61": 808,
912
+ "043": 809,
913
+ "188": 810,
914
+ "▁134": 811,
915
+ ".333": 812,
916
+ "78\n": 813,
917
+ "78\nanswer": 814,
918
+ ".51": 815,
919
+ "96\n": 816,
920
+ "96\nanswer": 817,
921
+ "24\n": 818,
922
+ "248": 819,
923
+ "24\nanswer": 820,
924
+ "668": 821,
925
+ "▁0.33": 822,
926
+ "74\n": 823,
927
+ "74\nanswer": 824,
928
+ "08\n": 825,
929
+ "08\nanswer": 826,
930
+ "23\n": 827,
931
+ "23\nanswer": 828,
932
+ "0.1": 829,
933
+ "73\n": 830,
934
+ "73\nanswer": 831,
935
+ "053": 832,
936
+ "888": 833,
937
+ "287": 834,
938
+ "963": 835,
939
+ "082": 836,
940
+ "932": 837,
941
+ "034": 838,
942
+ "962": 839,
943
+ "132": 840,
944
+ "052": 841,
945
+ ".87": 842,
946
+ "289": 843,
947
+ "761": 844,
948
+ "09\n": 845,
949
+ "09\nanswer": 846,
950
+ "181": 847,
951
+ "089": 848,
952
+ "▁-1\n": 849,
953
+ "▁-1\nanswer": 850,
954
+ "742": 851,
955
+ ".29": 852,
956
+ "259": 853,
957
+ "993": 854,
958
+ "722": 855,
959
+ "186": 856,
960
+ "22\n": 857,
961
+ "22\nanswer": 858,
962
+ "442": 859,
963
+ "731": 860,
964
+ "79\n": 861,
965
+ "79\nanswer": 862,
966
+ ".19": 863,
967
+ "752": 864,
968
+ "994": 865,
969
+ ".3\n": 866,
970
+ ".3\nanswer": 867,
971
+ "732": 868,
972
+ "969": 869,
973
+ "04\n": 870,
974
+ "04\nanswer": 871,
975
+ "16\n": 872,
976
+ "16\nanswer": 873,
977
+ ".7\nstep": 874,
978
+ "998": 875,
979
+ "00\n": 876,
980
+ "00\nanswer": 877,
981
+ "138": 878,
982
+ "999": 879,
983
+ "139": 880,
984
+ "747": 881,
985
+ "143": 882,
986
+ "145": 883,
987
+ "712": 884,
988
+ "251": 885,
989
+ "941": 886,
990
+ "332": 887,
991
+ ".17": 888,
992
+ "119": 889,
993
+ "032": 890,
994
+ "77\n": 891,
995
+ "77\nanswer": 892,
996
+ "921": 893,
997
+ "154": 894,
998
+ "26\n": 895,
999
+ "26\nanswer": 896,
1000
+ "▁146": 897,
1001
+ "662": 898,
1002
+ "183": 899,
1003
+ "239": 900,
1004
+ "▁145": 901,
1005
+ ".91": 902,
1006
+ "061": 903,
1007
+ "257": 904,
1008
+ "757": 905,
1009
+ "743": 906,
1010
+ "751": 907,
1011
+ "947": 908,
1012
+ ".59": 909,
1013
+ "281": 910,
1014
+ "002": 911,
1015
+ "729": 912,
1016
+ "042": 913,
1017
+ "029": 914,
1018
+ "121": 915,
1019
+ "759": 916,
1020
+ "719": 917,
1021
+ "231": 918,
1022
+ "15\n": 919,
1023
+ "15\nanswer": 920,
1024
+ "721": 921,
1025
+ "158": 922,
1026
+ "182": 923,
1027
+ ".39": 924,
1028
+ "▁116": 925,
1029
+ "791": 926,
1030
+ "781": 927,
1031
+ "262": 928,
1032
+ ".27": 929,
1033
+ "0.9": 930,
1034
+ "152": 931,
1035
+ "779": 932,
1036
+ "▁0.1\nstep": 933,
1037
+ "929": 934,
1038
+ ".75\n": 935,
1039
+ ".75\nanswer": 936,
1040
+ "112": 937,
1041
+ "959": 938,
1042
+ ".67": 939,
1043
+ "937": 940,
1044
+ "000": 941,
1045
+ "951": 942,
1046
+ "942": 943,
1047
+ "13\n": 944,
1048
+ "13\nanswer": 945,
1049
+ "14\n": 946,
1050
+ "14\nanswer": 947,
1051
+ "884": 948,
1052
+ "019": 949,
1053
+ "▁156": 950,
1054
+ "009": 951,
1055
+ "249": 952,
1056
+ "▁155": 953,
1057
+ "741": 954,
1058
+ "▁126": 955,
1059
+ "11\n": 956,
1060
+ "11\nanswer": 957,
1061
+ "157": 958,
1062
+ "049": 959,
1063
+ ".25\nstep": 960,
1064
+ "449": 961,
1065
+ "939": 962,
1066
+ "949": 963,
1067
+ "18\n": 964,
1068
+ "18\nanswer": 965,
1069
+ "117": 966,
1070
+ "992": 967,
1071
+ "05\n": 968,
1072
+ "05\nanswer": 969,
1073
+ "229": 970,
1074
+ "▁2.4": 971,
1075
+ "339": 972,
1076
+ "982": 973,
1077
+ "95\n": 974,
1078
+ "95\nanswer": 975,
1079
+ "94\n": 976,
1080
+ "94\nanswer": 977,
1081
+ "717": 978,
1082
+ "441": 979,
1083
+ "081": 980,
1084
+ "091": 981,
1085
+ "280": 982,
1086
+ "062": 983,
1087
+ "989": 984,
1088
+ "237": 985,
1089
+ "129": 986,
1090
+ "356": 987,
1091
+ ".97": 988,
1092
+ "039": 989,
1093
+ "▁164": 990,
1094
+ "037": 991,
1095
+ "162": 992,
1096
+ "740": 993,
1097
+ "858": 994,
1098
+ "▁-2.1": 995,
1099
+ "337": 996,
1100
+ "▁2.5": 997,
1101
+ "957": 998,
1102
+ "967": 999,
1103
+ "770": 1000,
1104
+ "001": 1001,
1105
+ "19\n": 1002,
1106
+ "19\nanswer": 1003,
1107
+ "▁-2\n": 1004,
1108
+ "▁-2\nanswer": 1005,
1109
+ "987": 1006,
1110
+ "031": 1007,
1111
+ "▁125": 1008,
1112
+ "331": 1009,
1113
+ "720": 1010,
1114
+ "749": 1011,
1115
+ "▁165": 1012,
1116
+ "661": 1013,
1117
+ "93\n": 1014,
1118
+ "93\nanswer": 1015,
1119
+ "189": 1016,
1120
+ "041": 1017,
1121
+ "027": 1018,
1122
+ "▁188": 1019,
1123
+ "▁-134": 1020,
1124
+ "991": 1021,
1125
+ ".3\nstep": 1022,
1126
+ ".25\n": 1023
1127
+ },
1128
+ "merges": [
1129
+ "▁ -",
1130
+ "\n s",
1131
+ "e p",
1132
+ "t ep",
1133
+ "▁ =",
1134
+ "\ns tep",
1135
+ "▁ 1",
1136
+ "0 .",
1137
+ "e r",
1138
+ "\n a",
1139
+ "f i",
1140
+ "n d",
1141
+ "n s",
1142
+ "w er",
1143
+ "▁ fi",
1144
+ "\na ns",
1145
+ "▁fi nd",
1146
+ "\nans wer",
1147
+ "▁ *",
1148
+ "▁ +",
1149
+ "▁ /",
1150
+ "▁- 1",
1151
+ "▁ 2",
1152
+ "▁ 3",
1153
+ "▁ 0.",
1154
+ "▁ 4",
1155
+ "▁ 5",
1156
+ "▁ 6",
1157
+ "▁ 7",
1158
+ "▁ 8",
1159
+ "▁ 9",
1160
+ "▁- 2",
1161
+ "▁- 3",
1162
+ "▁- 0.",
1163
+ "▁- 4",
1164
+ "6 6",
1165
+ "▁- 5",
1166
+ "3 3",
1167
+ ". 5",
1168
+ "▁- 7",
1169
+ ". 2",
1170
+ "▁- 8",
1171
+ ". 1",
1172
+ "▁- 6",
1173
+ "▁- 9",
1174
+ ". 8",
1175
+ "7 5",
1176
+ ". 4",
1177
+ "2 5",
1178
+ "1 1",
1179
+ "9 9",
1180
+ "2 8",
1181
+ ". 6",
1182
+ "7 6",
1183
+ ". 3",
1184
+ "7 8",
1185
+ "7 1",
1186
+ "4 4",
1187
+ "0 0",
1188
+ "9 5",
1189
+ "7 3",
1190
+ "9 8",
1191
+ "7 2",
1192
+ "7 4",
1193
+ "9 6",
1194
+ "0 8",
1195
+ "0 5",
1196
+ "1 5",
1197
+ "9 3",
1198
+ "9 4",
1199
+ "1 8",
1200
+ "2 3",
1201
+ "0 4",
1202
+ "2 6",
1203
+ "2 4",
1204
+ "1 6",
1205
+ "1 4",
1206
+ "1 3",
1207
+ "0 6",
1208
+ "0 3",
1209
+ "2 \nstep",
1210
+ "0 \nstep",
1211
+ "7 \nstep",
1212
+ "8 8",
1213
+ "5 5",
1214
+ "▁ (",
1215
+ "9 \nstep",
1216
+ "1 \nstep",
1217
+ "2 2",
1218
+ "8 4",
1219
+ "7 7",
1220
+ "9 2",
1221
+ "8 5",
1222
+ "3 6",
1223
+ "1 2",
1224
+ "3 5",
1225
+ "3 4",
1226
+ "8 6",
1227
+ "4 5",
1228
+ "0 2",
1229
+ "7 9",
1230
+ "4 6",
1231
+ "0 9",
1232
+ "8 \nstep",
1233
+ "5 6",
1234
+ "0 1",
1235
+ "8 3",
1236
+ "▁1 0",
1237
+ "1 9",
1238
+ "4 \nstep",
1239
+ "▁ 0",
1240
+ ". 9",
1241
+ "5 \nstep",
1242
+ "3 \nstep",
1243
+ "7 \n",
1244
+ "7 \nanswer",
1245
+ "3 8",
1246
+ "5 4",
1247
+ "2 9",
1248
+ "2 1",
1249
+ "6 \nstep",
1250
+ "6 4",
1251
+ "0 7",
1252
+ "6 5",
1253
+ "▁( -",
1254
+ "▁1 4",
1255
+ "5 3",
1256
+ "5 8",
1257
+ "9 1",
1258
+ "2 \n",
1259
+ "2 \nanswer",
1260
+ "6 8",
1261
+ "6 3",
1262
+ "4 3",
1263
+ "4 8",
1264
+ "1 7",
1265
+ "1 \n",
1266
+ "1 \nanswer",
1267
+ ") \nstep",
1268
+ "2 7",
1269
+ "▁1 3",
1270
+ "▁-1 0",
1271
+ "▁1 5",
1272
+ "9 \n",
1273
+ "9 \nanswer",
1274
+ "9 7",
1275
+ "▁1 6",
1276
+ "1 0",
1277
+ ". 7",
1278
+ ". 33",
1279
+ "2 0",
1280
+ "7 0",
1281
+ "5 \n",
1282
+ "5 \nanswer",
1283
+ "9 0",
1284
+ ". 66",
1285
+ "▁1 8",
1286
+ "8 \n",
1287
+ "8 \nanswer",
1288
+ "4 \n",
1289
+ "4 \nanswer",
1290
+ "▁1 2",
1291
+ "▁-1 3",
1292
+ "4 2",
1293
+ "8 2",
1294
+ "▁1 1",
1295
+ "5 2",
1296
+ "6 \n",
1297
+ "6 \nanswer",
1298
+ "8 1",
1299
+ "▁0. 1",
1300
+ ". 75",
1301
+ "3 2",
1302
+ "6 2",
1303
+ "8 9",
1304
+ "5 1",
1305
+ "▁-1 4",
1306
+ "8 7",
1307
+ "5 7",
1308
+ "0 \n",
1309
+ "0 \nanswer",
1310
+ "3 1",
1311
+ "5 9",
1312
+ "3 \n",
1313
+ "3 \nanswer",
1314
+ "3 7",
1315
+ "6 1",
1316
+ "3 9",
1317
+ "6 9",
1318
+ "▁2 4",
1319
+ "4 1",
1320
+ "6 7",
1321
+ "4 7",
1322
+ "4 9",
1323
+ "▁-1 5",
1324
+ "▁-1 2",
1325
+ "8 0",
1326
+ "▁2 6",
1327
+ "▁-1 6",
1328
+ "▁2 5",
1329
+ "▁-1 1",
1330
+ "▁1 .1",
1331
+ "▁2 3",
1332
+ "▁0. 2",
1333
+ "4 0",
1334
+ "▁0. 5",
1335
+ "▁3 5",
1336
+ ". 71",
1337
+ "▁1 7",
1338
+ "▁1 9",
1339
+ "▁3 6",
1340
+ "▁2 2",
1341
+ "▁1 .2",
1342
+ ". 76",
1343
+ "▁- 66",
1344
+ "3 0",
1345
+ "▁-0. 1",
1346
+ "▁2 8",
1347
+ "▁4 5",
1348
+ "▁5 6",
1349
+ "▁3 4",
1350
+ "▁2 1",
1351
+ "▁0. 3",
1352
+ "▁3 3",
1353
+ "▁5 5",
1354
+ "▁ 0\nstep",
1355
+ "▁0. 6",
1356
+ "▁4 6",
1357
+ ". 99",
1358
+ "▁0. 4",
1359
+ "▁-1 8",
1360
+ "▁5 4",
1361
+ "▁4 3",
1362
+ "▁4 4",
1363
+ ". 95",
1364
+ "▁8 6",
1365
+ ". 98",
1366
+ "▁7 5",
1367
+ "▁6 6",
1368
+ "▁3 8",
1369
+ ". 96",
1370
+ ". 78",
1371
+ "▁6 5",
1372
+ "▁7 6",
1373
+ ". 72",
1374
+ "▁3 2",
1375
+ "▁8 5",
1376
+ "▁4 8",
1377
+ "▁1 \nstep",
1378
+ "▁6 3",
1379
+ "▁9 6",
1380
+ "▁2 9",
1381
+ "▁4 2",
1382
+ "▁6 4",
1383
+ "▁3 1",
1384
+ "▁2 7",
1385
+ "25 \nstep",
1386
+ ". 73",
1387
+ "▁0. 8",
1388
+ "▁5 8",
1389
+ ". 94",
1390
+ "▁9 5",
1391
+ ". 93",
1392
+ "▁7 4",
1393
+ "▁2 \nstep",
1394
+ "▁-2 4",
1395
+ ".5 \nstep",
1396
+ "▁7 3",
1397
+ "▁1 0.",
1398
+ "▁5 3",
1399
+ "▁6 8",
1400
+ "▁-1 .1",
1401
+ "▁1 .4",
1402
+ "▁7 8",
1403
+ "▁-2 6",
1404
+ "▁4 9",
1405
+ "▁9 4",
1406
+ "▁2 0",
1407
+ "▁-2 3",
1408
+ "▁8 8",
1409
+ "▁3 9",
1410
+ "▁8 4",
1411
+ "▁3 \nstep",
1412
+ "▁5 \nstep",
1413
+ "▁5 2",
1414
+ "▁-1 .2",
1415
+ "▁1 .5",
1416
+ "▁9 3",
1417
+ "▁-2 5",
1418
+ "▁-1 7",
1419
+ "▁8 3",
1420
+ "▁-3 6",
1421
+ "▁5 1",
1422
+ "▁7 2",
1423
+ "▁3 7",
1424
+ "▁1 0\nstep",
1425
+ "▁5 9",
1426
+ ". 74",
1427
+ "▁7 \nstep",
1428
+ "▁-3 5",
1429
+ "▁4 \nstep",
1430
+ "▁6 2",
1431
+ "▁4 1",
1432
+ "▁8 \nstep",
1433
+ "▁9 \nstep",
1434
+ "▁6 \nstep",
1435
+ "▁-0. 6",
1436
+ "▁1 .3",
1437
+ "75 \nstep",
1438
+ "▁6 1",
1439
+ "▁-1 9",
1440
+ "▁9 8",
1441
+ "▁-0. 5",
1442
+ "▁6 9",
1443
+ "▁3 0",
1444
+ "▁8 2",
1445
+ "▁-0. 4",
1446
+ "▁8 1",
1447
+ ".5 \n",
1448
+ ".5 \nanswer",
1449
+ "▁1 00",
1450
+ "▁-2 2",
1451
+ "▁-0. 3",
1452
+ "▁-2 1",
1453
+ "▁4 7",
1454
+ "▁-0. 2",
1455
+ "▁5 7",
1456
+ "▁-4 6",
1457
+ "28 \nstep",
1458
+ "▁8 9",
1459
+ "▁-4 5",
1460
+ "▁9 2",
1461
+ "▁-2 8",
1462
+ "▁6 7",
1463
+ "▁1 .8",
1464
+ "▁7 9",
1465
+ "▁7 1",
1466
+ "▁-3 4",
1467
+ ".2 5",
1468
+ "▁4 0",
1469
+ "▁7 7",
1470
+ "▁0. 11",
1471
+ "66 \nstep",
1472
+ "▁-5 6",
1473
+ "▁9 1",
1474
+ ". 77",
1475
+ "▁-5 5",
1476
+ "33 \nstep",
1477
+ "▁-3 3",
1478
+ "▁9 9",
1479
+ "▁8 7",
1480
+ "▁-3 8",
1481
+ "▁1 .6",
1482
+ "00 \nstep",
1483
+ "▁-5 4",
1484
+ "▁5 0",
1485
+ "▁8 0",
1486
+ "▁-4 4",
1487
+ "76 \nstep",
1488
+ "5 0",
1489
+ "▁-4 3",
1490
+ "▁-1 .4",
1491
+ "▁-1 0.",
1492
+ "▁9 7",
1493
+ "▁6 0",
1494
+ "▁9 0",
1495
+ "66 6",
1496
+ "72 \nstep",
1497
+ "▁-5 3",
1498
+ "▁-2 7",
1499
+ "▁-4 2",
1500
+ "▁7 0",
1501
+ "▁-6 4",
1502
+ "16 \nstep",
1503
+ "▁-2 9",
1504
+ "▁-4 8",
1505
+ "▁-5 8",
1506
+ ". 92",
1507
+ "44 \nstep",
1508
+ "▁0. 9",
1509
+ "▁-3 2",
1510
+ "▁-7 6",
1511
+ "▁-8 6",
1512
+ "▁-9 6",
1513
+ "▁-6 5",
1514
+ "24 \nstep",
1515
+ "o r",
1516
+ "r or",
1517
+ "▁ er",
1518
+ "▁er ror",
1519
+ "▁-1 .3",
1520
+ "▁-6 3",
1521
+ "▁-8 4",
1522
+ "04 \nstep",
1523
+ "▁-7 5",
1524
+ "▁-7 3",
1525
+ "▁-0. 8",
1526
+ "▁-3 9",
1527
+ "71 \nstep",
1528
+ "▁-3 1",
1529
+ "▁-9 5",
1530
+ ".8 5",
1531
+ "08 \nstep",
1532
+ "96 \nstep",
1533
+ "▁-5 2",
1534
+ "▁-2 0",
1535
+ "▁-7 4",
1536
+ "▁-8 3",
1537
+ "▁-3 7",
1538
+ "▁-8 5",
1539
+ "▁0. 15",
1540
+ "▁0. 14",
1541
+ "▁-6 8",
1542
+ "▁-4 1",
1543
+ "23 \nstep",
1544
+ "78 \nstep",
1545
+ "▁-4 9",
1546
+ "28 5",
1547
+ "▁-9 4",
1548
+ ".1 4",
1549
+ "▁-1 .5",
1550
+ "▁-7 8",
1551
+ "05 \nstep",
1552
+ "26 \nstep",
1553
+ "11 \nstep",
1554
+ "18 \nstep",
1555
+ "33 3",
1556
+ "▁0. 7",
1557
+ ". 79",
1558
+ "▁-1 \nstep",
1559
+ "13 \nstep",
1560
+ "▁-6 2",
1561
+ ".4 5",
1562
+ "73 \nstep",
1563
+ "94 \nstep",
1564
+ ".1 5",
1565
+ "95 \nstep",
1566
+ "▁-1 .6",
1567
+ "99 \nstep",
1568
+ ".3 5",
1569
+ "74 \nstep",
1570
+ ".1 6",
1571
+ "▁-9 3",
1572
+ "▁-9 8",
1573
+ "06 \nstep",
1574
+ ".1 8",
1575
+ "▁-5 9",
1576
+ "▁-1 00",
1577
+ "▁-7 1",
1578
+ "▁-9 2",
1579
+ "▁-7 9",
1580
+ "71 4",
1581
+ "▁-4 7",
1582
+ "15 \nstep",
1583
+ "▁-8 8",
1584
+ "14 \nstep",
1585
+ "▁-5 1",
1586
+ "▁-8 2",
1587
+ "6 0",
1588
+ ".4 6",
1589
+ "03 \nstep",
1590
+ ".8 8",
1591
+ "▁-7 2",
1592
+ ".3 6",
1593
+ ".8 4",
1594
+ "▁-6 9",
1595
+ "25 \n",
1596
+ "25 \nanswer",
1597
+ "0. 5",
1598
+ ".8 6",
1599
+ "93 \nstep",
1600
+ "▁-6 1",
1601
+ "88 \nstep",
1602
+ "▁-2 \nstep",
1603
+ ".2 8",
1604
+ "▁-9 1",
1605
+ "▁-6 7",
1606
+ ".2 3",
1607
+ ".5 6",
1608
+ "▁-8 9",
1609
+ "▁-3 0",
1610
+ "98 \nstep",
1611
+ ".6 4",
1612
+ "▁-5 7",
1613
+ ".6 8",
1614
+ ".4 4",
1615
+ "▁0. 13",
1616
+ "▁-8 1",
1617
+ "75 \n",
1618
+ "75 \nanswer",
1619
+ ".5 5",
1620
+ ".5 8",
1621
+ "▁-5 0",
1622
+ ".8 \nstep",
1623
+ ".1 3",
1624
+ "▁-3 \nstep",
1625
+ "▁-9 9",
1626
+ "84 \nstep",
1627
+ ".8 \n",
1628
+ ".8 3",
1629
+ ".8 \nanswer",
1630
+ ".2 \n",
1631
+ ".2 \nanswer",
1632
+ "▁-4 0",
1633
+ "0. 6",
1634
+ "▁-7 7",
1635
+ "25 6",
1636
+ "▁1 08",
1637
+ "▁-4 \nstep",
1638
+ "▁-8 7",
1639
+ ".4 3",
1640
+ "▁1 05",
1641
+ ".3 4",
1642
+ ".2 \nstep",
1643
+ "▁0. 12",
1644
+ "▁-6 0",
1645
+ "33 \n",
1646
+ "33 \nanswer",
1647
+ "66 \n",
1648
+ "66 \nanswer",
1649
+ ".4 8",
1650
+ "99 \n",
1651
+ "99 \nanswer",
1652
+ ".6 5",
1653
+ "0. 4",
1654
+ "▁-0. 9",
1655
+ ".6 3",
1656
+ "73 6",
1657
+ ".1 2",
1658
+ "44 4",
1659
+ "▁1 03",
1660
+ ".5 3",
1661
+ ".5 4",
1662
+ ".2 6",
1663
+ "▁-9 0",
1664
+ "85 \nstep",
1665
+ ".3 8",
1666
+ "▁-8 0",
1667
+ "95 6",
1668
+ "36 \nstep",
1669
+ "55 \nstep",
1670
+ ".4 \n",
1671
+ ".4 \nanswer",
1672
+ "23 5",
1673
+ "28 \n",
1674
+ "28 \nanswer",
1675
+ "75 6",
1676
+ "74 6",
1677
+ "▁-9 7",
1678
+ "76 4",
1679
+ "▁1 06",
1680
+ ".2 4",
1681
+ "28 6",
1682
+ "▁-0. 11",
1683
+ "44 6",
1684
+ "0. 8",
1685
+ "78 4",
1686
+ "0. 3",
1687
+ ".5 2",
1688
+ ".6 \n",
1689
+ ".6 \nanswer",
1690
+ "66 5",
1691
+ ".1 1",
1692
+ "▁-8 \nstep",
1693
+ ".4 2",
1694
+ "▁1 15",
1695
+ "▁-5 \nstep",
1696
+ "75 5",
1697
+ "71 8",
1698
+ "72 4",
1699
+ "95 4",
1700
+ "▁0. 16",
1701
+ "26 4",
1702
+ "24 6",
1703
+ "25 5",
1704
+ "▁-7 0",
1705
+ "33 6",
1706
+ "▁-1 0\nstep",
1707
+ "▁-6 \nstep",
1708
+ "71 6",
1709
+ "▁1 18",
1710
+ ".4 \nstep",
1711
+ "28 4",
1712
+ "▁2 .2",
1713
+ ".6 2",
1714
+ "74 5",
1715
+ "93 6",
1716
+ "▁0 \n",
1717
+ "▁0 \nanswer",
1718
+ "26 5",
1719
+ "72 6",
1720
+ "22 2",
1721
+ "26 3",
1722
+ ".6 \nstep",
1723
+ "▁1 04",
1724
+ "▁-1 05",
1725
+ "78 5",
1726
+ "98 5",
1727
+ "72 \n",
1728
+ "72 \nanswer",
1729
+ "78 6",
1730
+ "25 3",
1731
+ "99 6",
1732
+ "73 5",
1733
+ "86 \nstep",
1734
+ "▁1 11",
1735
+ "73 4",
1736
+ "08 4",
1737
+ "83 \nstep",
1738
+ "56 \nstep",
1739
+ "▁1 13",
1740
+ "71 5",
1741
+ "45 \nstep",
1742
+ "00 6",
1743
+ "04 8",
1744
+ ".2 2",
1745
+ ".4 1",
1746
+ "25 4",
1747
+ "76 5",
1748
+ "▁-1 .8",
1749
+ "74 8",
1750
+ "08 3",
1751
+ "33 4",
1752
+ "76 \n",
1753
+ "76 3",
1754
+ "76 \nanswer",
1755
+ "34 \nstep",
1756
+ "16 3",
1757
+ "▁-7 \nstep",
1758
+ "▁0. 18",
1759
+ "35 \nstep",
1760
+ ".1 \n",
1761
+ ".1 \nanswer",
1762
+ "28 8",
1763
+ "26 8",
1764
+ "▁-9 \nstep",
1765
+ "23 8",
1766
+ "75 4",
1767
+ "33 8",
1768
+ "11 6",
1769
+ "95 8",
1770
+ "14 8",
1771
+ "03 6",
1772
+ "44 3",
1773
+ "04 5",
1774
+ "44 \n",
1775
+ "44 \nanswer",
1776
+ "04 6",
1777
+ "93 5",
1778
+ "78 3",
1779
+ "75 8",
1780
+ "11 4",
1781
+ "96 8",
1782
+ "98 6",
1783
+ ".8 2",
1784
+ "06 4",
1785
+ ".3 2",
1786
+ "98 8",
1787
+ ".2 1",
1788
+ "11 5",
1789
+ ".6 9",
1790
+ "78 8",
1791
+ "44 8",
1792
+ "23 4",
1793
+ "12 \n",
1794
+ "12 \nanswer",
1795
+ "94 5",
1796
+ "08 6",
1797
+ "05 6",
1798
+ ".8 1",
1799
+ "71 3",
1800
+ "08 8",
1801
+ "15 3",
1802
+ "76 8",
1803
+ "77 7",
1804
+ "46 \nstep",
1805
+ "▁1 24",
1806
+ "94 8",
1807
+ "33 5",
1808
+ "73 8",
1809
+ "18 4",
1810
+ "13 6",
1811
+ "14 6",
1812
+ "96 5",
1813
+ "▁-0. 7",
1814
+ "44 5",
1815
+ "15 6",
1816
+ "75 3",
1817
+ ".3 7",
1818
+ "72 3",
1819
+ "03 5",
1820
+ ".9 \n",
1821
+ ".9 \nanswer",
1822
+ "23 6",
1823
+ "16 4",
1824
+ "25 8",
1825
+ "16 5",
1826
+ "06 5",
1827
+ "06 8",
1828
+ "94 6",
1829
+ "99 5",
1830
+ ".3 1",
1831
+ "05 4",
1832
+ "24 3",
1833
+ "95 5",
1834
+ "06 3",
1835
+ "96 4",
1836
+ "93 4",
1837
+ "28 3",
1838
+ "00 3",
1839
+ "95 3",
1840
+ "14 2",
1841
+ "71 \n",
1842
+ "71 \nanswer",
1843
+ "▁error \n",
1844
+ "▁error \nanswer",
1845
+ "05 8",
1846
+ "▁0. 25",
1847
+ "08 5",
1848
+ "03 8",
1849
+ "55 5",
1850
+ "▁1 36",
1851
+ "11 8",
1852
+ "18 5",
1853
+ "98 4",
1854
+ "16 8",
1855
+ "84 6",
1856
+ "66 3",
1857
+ "11 1",
1858
+ "93 8",
1859
+ "23 2",
1860
+ "92 \n",
1861
+ "92 \nanswer",
1862
+ "▁1 35",
1863
+ "▁2 .1",
1864
+ ".4 7",
1865
+ "78 9",
1866
+ "00 4",
1867
+ "00 5",
1868
+ "95 2",
1869
+ "24 5",
1870
+ "76 9",
1871
+ "72 7",
1872
+ "13 4",
1873
+ "00 8",
1874
+ "24 2",
1875
+ "78 2",
1876
+ "05 5",
1877
+ ".5 7",
1878
+ "11 3",
1879
+ "13 5",
1880
+ "▁1 \n",
1881
+ "▁1 \nanswer",
1882
+ "▁1 14",
1883
+ "28 2",
1884
+ "73 9",
1885
+ ".75 \nstep",
1886
+ "98 3",
1887
+ "94 3",
1888
+ "25 2",
1889
+ "66 4",
1890
+ "76 2",
1891
+ ".66 6",
1892
+ ". 9\nstep",
1893
+ ". 7\n",
1894
+ ". 7\nanswer",
1895
+ "0. 2",
1896
+ "15 5",
1897
+ ".8 9",
1898
+ ".6 1",
1899
+ "04 3",
1900
+ "18 8",
1901
+ "▁1 34",
1902
+ ".33 3",
1903
+ "78 \n",
1904
+ "78 \nanswer",
1905
+ ".5 1",
1906
+ "96 \n",
1907
+ "96 \nanswer",
1908
+ "24 \n",
1909
+ "24 8",
1910
+ "24 \nanswer",
1911
+ "66 8",
1912
+ "▁0. 33",
1913
+ "74 \n",
1914
+ "74 \nanswer",
1915
+ "08 \n",
1916
+ "08 \nanswer",
1917
+ "23 \n",
1918
+ "23 \nanswer",
1919
+ "0. 1",
1920
+ "73 \n",
1921
+ "73 \nanswer",
1922
+ "05 3",
1923
+ "88 8",
1924
+ "28 7",
1925
+ "96 3",
1926
+ "08 2",
1927
+ "93 2",
1928
+ "03 4",
1929
+ "96 2",
1930
+ "13 2",
1931
+ "05 2",
1932
+ ".8 7",
1933
+ "28 9",
1934
+ "76 1",
1935
+ "09 \n",
1936
+ "09 \nanswer",
1937
+ "18 1",
1938
+ "08 9",
1939
+ "▁-1 \n",
1940
+ "▁-1 \nanswer",
1941
+ "74 2",
1942
+ ".2 9",
1943
+ "25 9",
1944
+ "99 3",
1945
+ "72 2",
1946
+ "18 6",
1947
+ "22 \n",
1948
+ "22 \nanswer",
1949
+ "44 2",
1950
+ "73 1",
1951
+ "79 \n",
1952
+ "79 \nanswer",
1953
+ ".1 9",
1954
+ "75 2",
1955
+ "99 4",
1956
+ ".3 \n",
1957
+ ".3 \nanswer",
1958
+ "73 2",
1959
+ "96 9",
1960
+ "04 \n",
1961
+ "04 \nanswer",
1962
+ "16 \n",
1963
+ "16 \nanswer",
1964
+ ". 7\nstep",
1965
+ "99 8",
1966
+ "00 \n",
1967
+ "00 \nanswer",
1968
+ "13 8",
1969
+ "99 9",
1970
+ "13 9",
1971
+ "74 7",
1972
+ "14 3",
1973
+ "14 5",
1974
+ "71 2",
1975
+ "25 1",
1976
+ "94 1",
1977
+ "33 2",
1978
+ ".1 7",
1979
+ "11 9",
1980
+ "03 2",
1981
+ "77 \n",
1982
+ "77 \nanswer",
1983
+ "92 1",
1984
+ "15 4",
1985
+ "26 \n",
1986
+ "26 \nanswer",
1987
+ "▁1 46",
1988
+ "66 2",
1989
+ "18 3",
1990
+ "23 9",
1991
+ "▁1 45",
1992
+ ".9 1",
1993
+ "06 1",
1994
+ "25 7",
1995
+ "75 7",
1996
+ "74 3",
1997
+ "75 1",
1998
+ "94 7",
1999
+ ".5 9",
2000
+ "28 1",
2001
+ "00 2",
2002
+ "72 9",
2003
+ "04 2",
2004
+ "02 9",
2005
+ "12 1",
2006
+ "75 9",
2007
+ "71 9",
2008
+ "23 1",
2009
+ "15 \n",
2010
+ "15 \nanswer",
2011
+ "72 1",
2012
+ "15 8",
2013
+ "18 2",
2014
+ ".3 9",
2015
+ "▁1 16",
2016
+ "79 1",
2017
+ "78 1",
2018
+ "26 2",
2019
+ ".2 7",
2020
+ "0. 9",
2021
+ "15 2",
2022
+ "77 9",
2023
+ "▁0. 1\nstep",
2024
+ "92 9",
2025
+ ".75 \n",
2026
+ ".75 \nanswer",
2027
+ "11 2",
2028
+ "95 9",
2029
+ ".6 7",
2030
+ "93 7",
2031
+ "00 0",
2032
+ "95 1",
2033
+ "94 2",
2034
+ "13 \n",
2035
+ "13 \nanswer",
2036
+ "14 \n",
2037
+ "14 \nanswer",
2038
+ "88 4",
2039
+ "01 9",
2040
+ "▁1 56",
2041
+ "00 9",
2042
+ "24 9",
2043
+ "▁1 55",
2044
+ "74 1",
2045
+ "▁1 26",
2046
+ "11 \n",
2047
+ "11 \nanswer",
2048
+ "15 7",
2049
+ "04 9",
2050
+ ".2 5\nstep",
2051
+ "44 9",
2052
+ "93 9",
2053
+ "94 9",
2054
+ "18 \n",
2055
+ "18 \nanswer",
2056
+ "11 7",
2057
+ "99 2",
2058
+ "05 \n",
2059
+ "05 \nanswer",
2060
+ "22 9",
2061
+ "▁2 .4",
2062
+ "33 9",
2063
+ "98 2",
2064
+ "95 \n",
2065
+ "95 \nanswer",
2066
+ "94 \n",
2067
+ "94 \nanswer",
2068
+ "71 7",
2069
+ "44 1",
2070
+ "08 1",
2071
+ "09 1",
2072
+ "28 0",
2073
+ "06 2",
2074
+ "98 9",
2075
+ "23 7",
2076
+ "12 9",
2077
+ "35 6",
2078
+ ".9 7",
2079
+ "03 9",
2080
+ "▁1 64",
2081
+ "03 7",
2082
+ "16 2",
2083
+ "74 0",
2084
+ "85 8",
2085
+ "▁-2 .1",
2086
+ "33 7",
2087
+ "▁2 .5",
2088
+ "95 7",
2089
+ "96 7",
2090
+ "77 0",
2091
+ "00 1",
2092
+ "19 \n",
2093
+ "19 \nanswer",
2094
+ "▁-2 \n",
2095
+ "▁-2 \nanswer",
2096
+ "98 7",
2097
+ "03 1",
2098
+ "▁1 25",
2099
+ "33 1",
2100
+ "72 0",
2101
+ "74 9",
2102
+ "▁1 65",
2103
+ "66 1",
2104
+ "93 \n",
2105
+ "93 \nanswer",
2106
+ "18 9",
2107
+ "04 1",
2108
+ "02 7",
2109
+ "▁1 88",
2110
+ "▁-1 34",
2111
+ "99 1",
2112
+ ".3 \nstep",
2113
+ ".2 5\n"
2114
+ ]
2115
+ }
2116
+ }
tokenizer_config.json ADDED
@@ -0,0 +1,75 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "added_tokens_decoder": {
3
+ "0": {
4
+ "content": "<sos>",
5
+ "lstrip": false,
6
+ "normalized": false,
7
+ "rstrip": false,
8
+ "single_word": false,
9
+ "special": true
10
+ },
11
+ "1": {
12
+ "content": "<eos>",
13
+ "lstrip": false,
14
+ "normalized": false,
15
+ "rstrip": false,
16
+ "single_word": false,
17
+ "special": true
18
+ },
19
+ "2": {
20
+ "content": "<pad>",
21
+ "lstrip": false,
22
+ "normalized": false,
23
+ "rstrip": false,
24
+ "single_word": false,
25
+ "special": true
26
+ },
27
+ "3": {
28
+ "content": "<unk>",
29
+ "lstrip": false,
30
+ "normalized": false,
31
+ "rstrip": false,
32
+ "single_word": false,
33
+ "special": true
34
+ },
35
+ "4": {
36
+ "content": "find",
37
+ "lstrip": false,
38
+ "normalized": false,
39
+ "rstrip": false,
40
+ "single_word": false,
41
+ "special": true
42
+ },
43
+ "5": {
44
+ "content": "step",
45
+ "lstrip": false,
46
+ "normalized": false,
47
+ "rstrip": false,
48
+ "single_word": false,
49
+ "special": true
50
+ },
51
+ "6": {
52
+ "content": "answer",
53
+ "lstrip": false,
54
+ "normalized": false,
55
+ "rstrip": false,
56
+ "single_word": false,
57
+ "special": true
58
+ },
59
+ "1024": {
60
+ "content": "<bos>",
61
+ "lstrip": false,
62
+ "normalized": false,
63
+ "rstrip": false,
64
+ "single_word": false,
65
+ "special": true
66
+ }
67
+ },
68
+ "bos_token": "<bos>",
69
+ "clean_up_tokenization_spaces": true,
70
+ "eos_token": "<eos>",
71
+ "model_max_length": 1000000000000000019884624838656,
72
+ "pad_token": "<pad>",
73
+ "tokenizer_class": "PreTrainedTokenizerFast",
74
+ "unk_token": "<unk>"
75
+ }