-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathVenbrace.interp
304 lines (300 loc) · 27.1 KB
/
Venbrace.interp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
token literal names:
null
null
'{'
'}'
'('
')'
'['
']'
','
'==='
'.'
'<-'
':'
'true'
'false'
'when'
'if'
'then'
'else'
'else if'
'for each'
'do'
'result'
'to'
'call'
'get'
'set'
'global'
'initialize'
'local'
'in'
'by'
'from'
'while'
'test'
'evaluate but ignore'
'open another screen'
'open another screen with start value'
'close screen'
'close screen with value'
'close screen with plain text'
'close application'
'screenName'
'startValue'
'text'
'break'
'get start value'
'get plain start text'
'not'
'and'
'or'
'xor'
'<'
'>'
'<='
'>='
'='
'!='
null
null
'+'
'-'
'*'
'/'
'^'
'decimal'
'binary'
'octal'
'hexadecimal'
'bitwise'
'square root'
'absolute'
'neg'
'log'
'e^'
'round'
'ceiling'
'floor'
'random integer'
'random fraction'
'min'
'max'
'modulo'
'remainder'
'quotient'
'of'
'convert'
'sin'
'cos'
'tan'
'asin'
'acos'
'atan'
'atan2'
'join'
'length'
'is empty'
'compare texts'
'trim'
'upcase'
'downcase'
'starts at'
'contains'
'split'
'split at first'
'split at any'
'split at first of any'
'split at spaces'
'segment'
'replace all'
'replacement'
'Obfuscated Text'
'is a string?'
'reverse'
'mappings'
'in text'
'preferring'
'longest string first'
'dictionary'
null
null
null
null
null
token symbolic names:
null
WS
LCURLY
RCURLY
LPAREN
RPAREN
LSQR
RSQR
COMMA
DIVIDER
DOT
ASSIGN
COLON
TRUE
FALSE
WHEN
IF
THEN
ELSE
ELSE_IF
FOREACH
DO
RESULT
TO
CALL
GET
SET
GLOBAL
INITIALIZE
LOCAL
IN
BY
FROM
WHILE
TEST
EVAL_BUT_IGNORE_RESULT
OPEN_ANOTHER_SCREEN
OPEN_ANOTHER_SCREEN_WITH_START_VALUE
CLOSE_SCREEN
CLOSE_SCREEN_WITH_VALUE
CLOSE_SCREEN_WITH_PLAIN_TEXT
CLOSE_APPLICATION
SCREEN_NAME
START_VALUE
TEXT
BREAK
GET_START_VALUE
GET_PLAIN_START_TEXT
NOT
AND
OR
XOR
LT
GT
LE
GE
EQ
NEQ
LOGIC_EQ
LOGIC_NOT_EQ
PLUS
MINUS
MUL
DIV
POW
DECIMAL
BINARY
OCTAL
HEXADECIMAL
BITWISE
SQRT
ABS
NEG
LOG
EULER
ROUND
CEILING
FLOOR
RANDOM_INTEGER
RANDOM_FRACTION
MIN
MAX
MODULO
REMAINDER
QUOTIENT
OF
CONVERT
SIN
COS
TAN
ASIN
ACOS
ATAN
ATAN2
JOIN
LENGTH
IS_EMPTY
COMPARE_TEXTS
TRIM
UPCASE
DOWNCASE
STARTS_AT
CONTAINS
SPLIT
SPLIT_AT_FIRST
SPLIT_AT_ANY
SPLIT_AT_FIRST_OF_ANY
SPLIT_AT_SPACES
SEGMENT
REPLACE_ALL
REPLACEMENT
OBFUSCATED_TEXT
IS_A_STR
REVERSE
MAPPINGS
IN_TEXT
PREFERRING
LONGEST_STRING_FIRST
DICTIONARY
NUMBER
NEG_NUM
COMPONENT_PROPERTY
ID
STRING
rule names:
program
test_program
decl_block
decl
global_decl
procedure_do
procedure_result
event_handler
suite
stat_block
stat
control_stat
if_stat
for_each_from_to
while_stat
call_procedure_stat
var_stat
setter
expr_block
expr
control_expr
if_expr
do_expr
logic_expr
not_expr
compare_eq_expr
compare_math_expr
math_expr
mutable_op
immutable_op
min_max
unary_op
mod
remainder
quotient
trig
atan2
str_expr
str_length
str_join
str_reverse
str_split_at_spaces
getter
call_procedure_expr
atom
atom_elements
label
atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 125, 782, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 18, 9, 18, 4, 19, 9, 19, 4, 20, 9, 20, 4, 21, 9, 21, 4, 22, 9, 22, 4, 23, 9, 23, 4, 24, 9, 24, 4, 25, 9, 25, 4, 26, 9, 26, 4, 27, 9, 27, 4, 28, 9, 28, 4, 29, 9, 29, 4, 30, 9, 30, 4, 31, 9, 31, 4, 32, 9, 32, 4, 33, 9, 33, 4, 34, 9, 34, 4, 35, 9, 35, 4, 36, 9, 36, 4, 37, 9, 37, 4, 38, 9, 38, 4, 39, 9, 39, 4, 40, 9, 40, 4, 41, 9, 41, 4, 42, 9, 42, 4, 43, 9, 43, 4, 44, 9, 44, 4, 45, 9, 45, 4, 46, 9, 46, 4, 47, 9, 47, 4, 48, 9, 48, 3, 2, 3, 2, 3, 2, 7, 2, 100, 10, 2, 12, 2, 14, 2, 103, 11, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 5, 3, 116, 10, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 135, 10, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 7, 7, 151, 10, 7, 12, 7, 14, 7, 154, 11, 7, 3, 7, 3, 7, 5, 7, 158, 10, 7, 3, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 7, 8, 169, 10, 8, 12, 8, 14, 8, 172, 11, 8, 3, 8, 3, 8, 5, 8, 176, 10, 8, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 7, 9, 186, 10, 9, 12, 9, 14, 9, 189, 11, 9, 3, 9, 3, 9, 5, 9, 193, 10, 9, 3, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 7, 10, 201, 10, 10, 12, 10, 14, 10, 204, 11, 10, 3, 10, 3, 10, 3, 10, 5, 10, 209, 10, 10, 3, 11, 3, 11, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 5, 12, 225, 10, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 5, 13, 236, 10, 13, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 7, 14, 249, 10, 14, 12, 14, 14, 14, 252, 11, 14, 3, 14, 3, 14, 3, 14, 3, 14, 5, 14, 258, 10, 14, 5, 14, 260, 10, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 267, 10, 15, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 273, 10, 15, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 279, 10, 15, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 285, 10, 15, 3, 15, 3, 15, 3, 15, 3, 16, 3, 16, 3, 16, 3, 16, 5, 16, 294, 10, 16, 3, 16, 3, 16, 3, 16, 3, 16, 5, 16, 300, 10, 16, 3, 16, 3, 16, 3, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 5, 17, 314, 10, 17, 3, 17, 3, 17, 3, 17, 5, 17, 319, 10, 17, 3, 17, 3, 17, 3, 17, 7, 17, 324, 10, 17, 12, 17, 14, 17, 327, 11, 17, 3, 18, 3, 18, 3, 18, 3, 19, 3, 19, 3, 19, 3, 19, 5, 19, 336, 10, 19, 3, 19, 3, 19, 3, 19, 3, 19, 5, 19, 342, 10, 19, 3, 19, 3, 19, 5, 19, 346, 10, 19, 3, 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 5, 20, 360, 10, 20, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 5, 21, 392, 10, 21, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 5, 22, 400, 10, 22, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 25, 3, 25, 3, 25, 3, 25, 3, 25, 3, 25, 3, 25, 5, 25, 427, 10, 25, 3, 25, 3, 25, 3, 25, 3, 25, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 3, 27, 3, 27, 3, 27, 3, 27, 3, 27, 3, 27, 3, 27, 5, 27, 446, 10, 27, 3, 27, 3, 27, 3, 27, 3, 27, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 28, 5, 28, 467, 10, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 5, 29, 500, 10, 29, 3, 30, 3, 30, 3, 30, 3, 30, 3, 30, 3, 30, 3, 30, 6, 30, 509, 10, 30, 13, 30, 14, 30, 510, 3, 30, 3, 30, 3, 30, 3, 30, 6, 30, 517, 10, 30, 13, 30, 14, 30, 518, 5, 30, 521, 10, 30, 3, 30, 3, 30, 3, 30, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 5, 31, 536, 10, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 3, 31, 5, 31, 545, 10, 31, 3, 31, 3, 31, 3, 31, 3, 32, 3, 32, 3, 32, 3, 32, 3, 32, 3, 32, 5, 32, 556, 10, 32, 3, 32, 3, 32, 3, 32, 3, 32, 3, 32, 6, 32, 563, 10, 32, 13, 32, 14, 32, 564, 3, 32, 3, 32, 3, 32, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 5, 33, 588, 10, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 33, 3, 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 34, 3, 35, 3, 35, 3, 35, 3, 35, 3, 35, 3, 35, 3, 35, 3, 35, 3, 35, 3, 36, 3, 36, 3, 36, 3, 36, 3, 36, 3, 36, 3, 36, 3, 36, 3, 36, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 5, 37, 636, 10, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 38, 3, 38, 3, 38, 3, 38, 3, 38, 3, 38, 5, 38, 648, 10, 38, 3, 38, 3, 38, 3, 38, 3, 38, 3, 38, 5, 38, 655, 10, 38, 3, 38, 3, 38, 3, 38, 3, 38, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 3, 39, 5, 39, 673, 10, 39, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 6, 41, 688, 10, 41, 13, 41, 14, 41, 689, 3, 41, 3, 41, 3, 41, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 44, 3, 44, 5, 44, 709, 10, 44, 3, 44, 3, 44, 3, 44, 3, 44, 3, 44, 3, 44, 3, 44, 5, 44, 718, 10, 44, 3, 44, 3, 44, 3, 44, 3, 44, 5, 44, 724, 10, 44, 3, 45, 3, 45, 3, 45, 3, 45, 3, 45, 3, 45, 3, 45, 3, 45, 3, 45, 3, 45, 3, 45, 5, 45, 737, 10, 45, 3, 45, 3, 45, 3, 45, 5, 45, 742, 10, 45, 3, 45, 3, 45, 3, 45, 7, 45, 747, 10, 45, 12, 45, 14, 45, 750, 11, 45, 3, 45, 3, 45, 3, 45, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 5, 46, 763, 10, 46, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 3, 47, 5, 47, 777, 10, 47, 3, 48, 3, 48, 3, 48, 3, 48, 2, 2, 49, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 2, 2, 2, 832, 2, 101, 3, 2, 2, 2, 4, 115, 3, 2, 2, 2, 6, 117, 3, 2, 2, 2, 8, 134, 3, 2, 2, 2, 10, 136, 3, 2, 2, 2, 12, 144, 3, 2, 2, 2, 14, 162, 3, 2, 2, 2, 16, 180, 3, 2, 2, 2, 18, 208, 3, 2, 2, 2, 20, 210, 3, 2, 2, 2, 22, 224, 3, 2, 2, 2, 24, 235, 3, 2, 2, 2, 26, 237, 3, 2, 2, 2, 28, 261, 3, 2, 2, 2, 30, 289, 3, 2, 2, 2, 32, 304, 3, 2, 2, 2, 34, 328, 3, 2, 2, 2, 36, 331, 3, 2, 2, 2, 38, 359, 3, 2, 2, 2, 40, 391, 3, 2, 2, 2, 42, 399, 3, 2, 2, 2, 44, 401, 3, 2, 2, 2, 46, 411, 3, 2, 2, 2, 48, 419, 3, 2, 2, 2, 50, 432, 3, 2, 2, 2, 52, 438, 3, 2, 2, 2, 54, 451, 3, 2, 2, 2, 56, 499, 3, 2, 2, 2, 58, 501, 3, 2, 2, 2, 60, 525, 3, 2, 2, 2, 62, 549, 3, 2, 2, 2, 64, 569, 3, 2, 2, 2, 66, 594, 3, 2, 2, 2, 68, 603, 3, 2, 2, 2, 70, 612, 3, 2, 2, 2, 72, 621, 3, 2, 2, 2, 74, 641, 3, 2, 2, 2, 76, 672, 3, 2, 2, 2, 78, 674, 3, 2, 2, 2, 80, 680, 3, 2, 2, 2, 82, 694, 3, 2, 2, 2, 84, 700, 3, 2, 2, 2, 86, 723, 3, 2, 2, 2, 88, 725, 3, 2, 2, 2, 90, 762, 3, 2, 2, 2, 92, 776, 3, 2, 2, 2, 94, 778, 3, 2, 2, 2, 96, 97, 5, 6, 4, 2, 97, 98, 8, 2, 1, 2, 98, 100, 3, 2, 2, 2, 99, 96, 3, 2, 2, 2, 100, 103, 3, 2, 2, 2, 101, 99, 3, 2, 2, 2, 101, 102, 3, 2, 2, 2, 102, 104, 3, 2, 2, 2, 103, 101, 3, 2, 2, 2, 104, 105, 7, 2, 2, 3, 105, 3, 3, 2, 2, 2, 106, 107, 5, 6, 4, 2, 107, 108, 8, 3, 1, 2, 108, 116, 3, 2, 2, 2, 109, 110, 5, 20, 11, 2, 110, 111, 8, 3, 1, 2, 111, 116, 3, 2, 2, 2, 112, 113, 5, 38, 20, 2, 113, 114, 8, 3, 1, 2, 114, 116, 3, 2, 2, 2, 115, 106, 3, 2, 2, 2, 115, 109, 3, 2, 2, 2, 115, 112, 3, 2, 2, 2, 116, 5, 3, 2, 2, 2, 117, 118, 7, 8, 2, 2, 118, 119, 5, 8, 5, 2, 119, 120, 7, 9, 2, 2, 120, 121, 8, 4, 1, 2, 121, 7, 3, 2, 2, 2, 122, 123, 5, 10, 6, 2, 123, 124, 8, 5, 1, 2, 124, 135, 3, 2, 2, 2, 125, 126, 5, 12, 7, 2, 126, 127, 8, 5, 1, 2, 127, 135, 3, 2, 2, 2, 128, 129, 5, 14, 8, 2, 129, 130, 8, 5, 1, 2, 130, 135, 3, 2, 2, 2, 131, 132, 5, 16, 9, 2, 132, 133, 8, 5, 1, 2, 133, 135, 3, 2, 2, 2, 134, 122, 3, 2, 2, 2, 134, 125, 3, 2, 2, 2, 134, 128, 3, 2, 2, 2, 134, 131, 3, 2, 2, 2, 135, 9, 3, 2, 2, 2, 136, 137, 7, 30, 2, 2, 137, 138, 7, 29, 2, 2, 138, 139, 7, 124, 2, 2, 139, 140, 7, 25, 2, 2, 140, 141, 8, 6, 1, 2, 141, 142, 5, 38, 20, 2, 142, 143, 8, 6, 1, 2, 143, 11, 3, 2, 2, 2, 144, 145, 7, 25, 2, 2, 145, 146, 8, 7, 1, 2, 146, 147, 7, 124, 2, 2, 147, 152, 8, 7, 1, 2, 148, 149, 7, 124, 2, 2, 149, 151, 8, 7, 1, 2, 150, 148, 3, 2, 2, 2, 151, 154, 3, 2, 2, 2, 152, 150, 3, 2, 2, 2, 152, 153, 3, 2, 2, 2, 153, 157, 3, 2, 2, 2, 154, 152, 3, 2, 2, 2, 155, 156, 7, 23, 2, 2, 156, 158, 8, 7, 1, 2, 157, 155, 3, 2, 2, 2, 157, 158, 3, 2, 2, 2, 158, 159, 3, 2, 2, 2, 159, 160, 5, 18, 10, 2, 160, 161, 8, 7, 1, 2, 161, 13, 3, 2, 2, 2, 162, 163, 7, 25, 2, 2, 163, 164, 8, 8, 1, 2, 164, 165, 7, 124, 2, 2, 165, 170, 8, 8, 1, 2, 166, 167, 7, 124, 2, 2, 167, 169, 8, 8, 1, 2, 168, 166, 3, 2, 2, 2, 169, 172, 3, 2, 2, 2, 170, 168, 3, 2, 2, 2, 170, 171, 3, 2, 2, 2, 171, 175, 3, 2, 2, 2, 172, 170, 3, 2, 2, 2, 173, 174, 7, 24, 2, 2, 174, 176, 8, 8, 1, 2, 175, 173, 3, 2, 2, 2, 175, 176, 3, 2, 2, 2, 176, 177, 3, 2, 2, 2, 177, 178, 5, 38, 20, 2, 178, 179, 8, 8, 1, 2, 179, 15, 3, 2, 2, 2, 180, 181, 7, 17, 2, 2, 181, 182, 7, 123, 2, 2, 182, 187, 8, 9, 1, 2, 183, 184, 7, 124, 2, 2, 184, 186, 8, 9, 1, 2, 185, 183, 3, 2, 2, 2, 186, 189, 3, 2, 2, 2, 187, 185, 3, 2, 2, 2, 187, 188, 3, 2, 2, 2, 188, 192, 3, 2, 2, 2, 189, 187, 3, 2, 2, 2, 190, 191, 7, 23, 2, 2, 191, 193, 8, 9, 1, 2, 192, 190, 3, 2, 2, 2, 192, 193, 3, 2, 2, 2, 193, 194, 3, 2, 2, 2, 194, 195, 5, 18, 10, 2, 195, 196, 8, 9, 1, 2, 196, 17, 3, 2, 2, 2, 197, 198, 5, 20, 11, 2, 198, 199, 8, 10, 1, 2, 199, 201, 3, 2, 2, 2, 200, 197, 3, 2, 2, 2, 201, 204, 3, 2, 2, 2, 202, 200, 3, 2, 2, 2, 202, 203, 3, 2, 2, 2, 203, 209, 3, 2, 2, 2, 204, 202, 3, 2, 2, 2, 205, 206, 7, 4, 2, 2, 206, 207, 7, 5, 2, 2, 207, 209, 8, 10, 1, 2, 208, 202, 3, 2, 2, 2, 208, 205, 3, 2, 2, 2, 209, 19, 3, 2, 2, 2, 210, 211, 7, 4, 2, 2, 211, 212, 5, 22, 12, 2, 212, 213, 7, 5, 2, 2, 213, 214, 8, 11, 1, 2, 214, 21, 3, 2, 2, 2, 215, 216, 5, 24, 13, 2, 216, 217, 8, 12, 1, 2, 217, 225, 3, 2, 2, 2, 218, 219, 5, 32, 17, 2, 219, 220, 8, 12, 1, 2, 220, 225, 3, 2, 2, 2, 221, 222, 5, 34, 18, 2, 222, 223, 8, 12, 1, 2, 223, 225, 3, 2, 2, 2, 224, 215, 3, 2, 2, 2, 224, 218, 3, 2, 2, 2, 224, 221, 3, 2, 2, 2, 225, 23, 3, 2, 2, 2, 226, 227, 5, 26, 14, 2, 227, 228, 8, 13, 1, 2, 228, 236, 3, 2, 2, 2, 229, 230, 5, 28, 15, 2, 230, 231, 8, 13, 1, 2, 231, 236, 3, 2, 2, 2, 232, 233, 5, 30, 16, 2, 233, 234, 8, 13, 1, 2, 234, 236, 3, 2, 2, 2, 235, 226, 3, 2, 2, 2, 235, 229, 3, 2, 2, 2, 235, 232, 3, 2, 2, 2, 236, 25, 3, 2, 2, 2, 237, 238, 7, 18, 2, 2, 238, 239, 5, 38, 20, 2, 239, 240, 7, 19, 2, 2, 240, 241, 5, 18, 10, 2, 241, 259, 8, 14, 1, 2, 242, 243, 7, 21, 2, 2, 243, 244, 5, 38, 20, 2, 244, 245, 7, 19, 2, 2, 245, 246, 5, 18, 10, 2, 246, 247, 8, 14, 1, 2, 247, 249, 3, 2, 2, 2, 248, 242, 3, 2, 2, 2, 249, 252, 3, 2, 2, 2, 250, 248, 3, 2, 2, 2, 250, 251, 3, 2, 2, 2, 251, 257, 3, 2, 2, 2, 252, 250, 3, 2, 2, 2, 253, 254, 7, 20, 2, 2, 254, 255, 5, 18, 10, 2, 255, 256, 8, 14, 1, 2, 256, 258, 3, 2, 2, 2, 257, 253, 3, 2, 2, 2, 257, 258, 3, 2, 2, 2, 258, 260, 3, 2, 2, 2, 259, 250, 3, 2, 2, 2, 259, 260, 3, 2, 2, 2, 260, 27, 3, 2, 2, 2, 261, 262, 7, 22, 2, 2, 262, 263, 7, 124, 2, 2, 263, 266, 8, 15, 1, 2, 264, 265, 7, 34, 2, 2, 265, 267, 8, 15, 1, 2, 266, 264, 3, 2, 2, 2, 266, 267, 3, 2, 2, 2, 267, 268, 3, 2, 2, 2, 268, 269, 5, 38, 20, 2, 269, 272, 8, 15, 1, 2, 270, 271, 7, 25, 2, 2, 271, 273, 8, 15, 1, 2, 272, 270, 3, 2, 2, 2, 272, 273, 3, 2, 2, 2, 273, 274, 3, 2, 2, 2, 274, 275, 5, 38, 20, 2, 275, 278, 8, 15, 1, 2, 276, 277, 7, 33, 2, 2, 277, 279, 8, 15, 1, 2, 278, 276, 3, 2, 2, 2, 278, 279, 3, 2, 2, 2, 279, 280, 3, 2, 2, 2, 280, 281, 5, 38, 20, 2, 281, 284, 8, 15, 1, 2, 282, 283, 7, 23, 2, 2, 283, 285, 8, 15, 1, 2, 284, 282, 3, 2, 2, 2, 284, 285, 3, 2, 2, 2, 285, 286, 3, 2, 2, 2, 286, 287, 5, 18, 10, 2, 287, 288, 8, 15, 1, 2, 288, 29, 3, 2, 2, 2, 289, 290, 7, 35, 2, 2, 290, 293, 8, 16, 1, 2, 291, 292, 7, 36, 2, 2, 292, 294, 8, 16, 1, 2, 293, 291, 3, 2, 2, 2, 293, 294, 3, 2, 2, 2, 294, 295, 3, 2, 2, 2, 295, 296, 5, 38, 20, 2, 296, 299, 8, 16, 1, 2, 297, 298, 7, 23, 2, 2, 298, 300, 8, 16, 1, 2, 299, 297, 3, 2, 2, 2, 299, 300, 3, 2, 2, 2, 300, 301, 3, 2, 2, 2, 301, 302, 5, 18, 10, 2, 302, 303, 8, 16, 1, 2, 303, 31, 3, 2, 2, 2, 304, 305, 7, 26, 2, 2, 305, 306, 8, 17, 1, 2, 306, 313, 3, 2, 2, 2, 307, 308, 7, 124, 2, 2, 308, 314, 8, 17, 1, 2, 309, 310, 7, 124, 2, 2, 310, 311, 7, 12, 2, 2, 311, 312, 7, 124, 2, 2, 312, 314, 8, 17, 1, 2, 313, 307, 3, 2, 2, 2, 313, 309, 3, 2, 2, 2, 314, 325, 3, 2, 2, 2, 315, 316, 5, 94, 48, 2, 316, 317, 8, 17, 1, 2, 317, 319, 3, 2, 2, 2, 318, 315, 3, 2, 2, 2, 318, 319, 3, 2, 2, 2, 319, 320, 3, 2, 2, 2, 320, 321, 5, 38, 20, 2, 321, 322, 8, 17, 1, 2, 322, 324, 3, 2, 2, 2, 323, 318, 3, 2, 2, 2, 324, 327, 3, 2, 2, 2, 325, 323, 3, 2, 2, 2, 325, 326, 3, 2, 2, 2, 326, 33, 3, 2, 2, 2, 327, 325, 3, 2, 2, 2, 328, 329, 5, 36, 19, 2, 329, 330, 8, 18, 1, 2, 330, 35, 3, 2, 2, 2, 331, 332, 7, 28, 2, 2, 332, 341, 8, 19, 1, 2, 333, 334, 7, 29, 2, 2, 334, 336, 8, 19, 1, 2, 335, 333, 3, 2, 2, 2, 335, 336, 3, 2, 2, 2, 336, 337, 3, 2, 2, 2, 337, 338, 7, 124, 2, 2, 338, 342, 8, 19, 1, 2, 339, 340, 7, 123, 2, 2, 340, 342, 8, 19, 1, 2, 341, 335, 3, 2, 2, 2, 341, 339, 3, 2, 2, 2, 342, 345, 3, 2, 2, 2, 343, 344, 7, 25, 2, 2, 344, 346, 8, 19, 1, 2, 345, 343, 3, 2, 2, 2, 345, 346, 3, 2, 2, 2, 346, 347, 3, 2, 2, 2, 347, 348, 5, 38, 20, 2, 348, 349, 8, 19, 1, 2, 349, 37, 3, 2, 2, 2, 350, 351, 7, 6, 2, 2, 351, 352, 7, 7, 2, 2, 352, 360, 8, 20, 1, 2, 353, 354, 5, 90, 46, 2, 354, 355, 8, 20, 1, 2, 355, 360, 3, 2, 2, 2, 356, 357, 5, 40, 21, 2, 357, 358, 8, 20, 1, 2, 358, 360, 3, 2, 2, 2, 359, 350, 3, 2, 2, 2, 359, 353, 3, 2, 2, 2, 359, 356, 3, 2, 2, 2, 360, 39, 3, 2, 2, 2, 361, 362, 5, 86, 44, 2, 362, 363, 8, 21, 1, 2, 363, 392, 3, 2, 2, 2, 364, 365, 5, 42, 22, 2, 365, 366, 8, 21, 1, 2, 366, 392, 3, 2, 2, 2, 367, 368, 5, 48, 25, 2, 368, 369, 8, 21, 1, 2, 369, 392, 3, 2, 2, 2, 370, 371, 5, 50, 26, 2, 371, 372, 8, 21, 1, 2, 372, 392, 3, 2, 2, 2, 373, 374, 5, 52, 27, 2, 374, 375, 8, 21, 1, 2, 375, 392, 3, 2, 2, 2, 376, 377, 5, 54, 28, 2, 377, 378, 8, 21, 1, 2, 378, 392, 3, 2, 2, 2, 379, 380, 5, 56, 29, 2, 380, 381, 8, 21, 1, 2, 381, 392, 3, 2, 2, 2, 382, 383, 5, 76, 39, 2, 383, 384, 8, 21, 1, 2, 384, 392, 3, 2, 2, 2, 385, 386, 5, 88, 45, 2, 386, 387, 8, 21, 1, 2, 387, 392, 3, 2, 2, 2, 388, 389, 5, 90, 46, 2, 389, 390, 8, 21, 1, 2, 390, 392, 3, 2, 2, 2, 391, 361, 3, 2, 2, 2, 391, 364, 3, 2, 2, 2, 391, 367, 3, 2, 2, 2, 391, 370, 3, 2, 2, 2, 391, 373, 3, 2, 2, 2, 391, 376, 3, 2, 2, 2, 391, 379, 3, 2, 2, 2, 391, 382, 3, 2, 2, 2, 391, 385, 3, 2, 2, 2, 391, 388, 3, 2, 2, 2, 392, 41, 3, 2, 2, 2, 393, 394, 5, 44, 23, 2, 394, 395, 8, 22, 1, 2, 395, 400, 3, 2, 2, 2, 396, 397, 5, 46, 24, 2, 397, 398, 8, 22, 1, 2, 398, 400, 3, 2, 2, 2, 399, 393, 3, 2, 2, 2, 399, 396, 3, 2, 2, 2, 400, 43, 3, 2, 2, 2, 401, 402, 7, 6, 2, 2, 402, 403, 7, 18, 2, 2, 403, 404, 5, 38, 20, 2, 404, 405, 7, 19, 2, 2, 405, 406, 5, 38, 20, 2, 406, 407, 7, 20, 2, 2, 407, 408, 5, 38, 20, 2, 408, 409, 7, 7, 2, 2, 409, 410, 8, 23, 1, 2, 410, 45, 3, 2, 2, 2, 411, 412, 7, 6, 2, 2, 412, 413, 7, 23, 2, 2, 413, 414, 5, 18, 10, 2, 414, 415, 7, 24, 2, 2, 415, 416, 5, 38, 20, 2, 416, 417, 7, 7, 2, 2, 417, 418, 8, 24, 1, 2, 418, 47, 3, 2, 2, 2, 419, 420, 7, 6, 2, 2, 420, 421, 5, 38, 20, 2, 421, 426, 8, 25, 1, 2, 422, 423, 7, 51, 2, 2, 423, 427, 8, 25, 1, 2, 424, 425, 7, 52, 2, 2, 425, 427, 8, 25, 1, 2, 426, 422, 3, 2, 2, 2, 426, 424, 3, 2, 2, 2, 427, 428, 3, 2, 2, 2, 428, 429, 5, 38, 20, 2, 429, 430, 7, 7, 2, 2, 430, 431, 8, 25, 1, 2, 431, 49, 3, 2, 2, 2, 432, 433, 7, 6, 2, 2, 433, 434, 7, 50, 2, 2, 434, 435, 5, 38, 20, 2, 435, 436, 7, 7, 2, 2, 436, 437, 8, 26, 1, 2, 437, 51, 3, 2, 2, 2, 438, 439, 7, 6, 2, 2, 439, 440, 5, 38, 20, 2, 440, 445, 8, 27, 1, 2, 441, 442, 7, 60, 2, 2, 442, 446, 8, 27, 1, 2, 443, 444, 7, 61, 2, 2, 444, 446, 8, 27, 1, 2, 445, 441, 3, 2, 2, 2, 445, 443, 3, 2, 2, 2, 446, 447, 3, 2, 2, 2, 447, 448, 5, 38, 20, 2, 448, 449, 7, 7, 2, 2, 449, 450, 8, 27, 1, 2, 450, 53, 3, 2, 2, 2, 451, 452, 7, 6, 2, 2, 452, 453, 5, 38, 20, 2, 453, 466, 8, 28, 1, 2, 454, 455, 7, 58, 2, 2, 455, 467, 8, 28, 1, 2, 456, 457, 7, 59, 2, 2, 457, 467, 8, 28, 1, 2, 458, 459, 7, 55, 2, 2, 459, 467, 8, 28, 1, 2, 460, 461, 7, 57, 2, 2, 461, 467, 8, 28, 1, 2, 462, 463, 7, 54, 2, 2, 463, 467, 8, 28, 1, 2, 464, 465, 7, 56, 2, 2, 465, 467, 8, 28, 1, 2, 466, 454, 3, 2, 2, 2, 466, 456, 3, 2, 2, 2, 466, 458, 3, 2, 2, 2, 466, 460, 3, 2, 2, 2, 466, 462, 3, 2, 2, 2, 466, 464, 3, 2, 2, 2, 467, 468, 3, 2, 2, 2, 468, 469, 5, 38, 20, 2, 469, 470, 7, 7, 2, 2, 470, 471, 8, 28, 1, 2, 471, 55, 3, 2, 2, 2, 472, 473, 5, 58, 30, 2, 473, 474, 8, 29, 1, 2, 474, 500, 3, 2, 2, 2, 475, 476, 5, 60, 31, 2, 476, 477, 8, 29, 1, 2, 477, 500, 3, 2, 2, 2, 478, 479, 5, 62, 32, 2, 479, 480, 8, 29, 1, 2, 480, 500, 3, 2, 2, 2, 481, 482, 5, 64, 33, 2, 482, 483, 8, 29, 1, 2, 483, 500, 3, 2, 2, 2, 484, 485, 5, 66, 34, 2, 485, 486, 8, 29, 1, 2, 486, 500, 3, 2, 2, 2, 487, 488, 5, 68, 35, 2, 488, 489, 8, 29, 1, 2, 489, 500, 3, 2, 2, 2, 490, 491, 5, 70, 36, 2, 491, 492, 8, 29, 1, 2, 492, 500, 3, 2, 2, 2, 493, 494, 5, 72, 37, 2, 494, 495, 8, 29, 1, 2, 495, 500, 3, 2, 2, 2, 496, 497, 5, 74, 38, 2, 497, 498, 8, 29, 1, 2, 498, 500, 3, 2, 2, 2, 499, 472, 3, 2, 2, 2, 499, 475, 3, 2, 2, 2, 499, 478, 3, 2, 2, 2, 499, 481, 3, 2, 2, 2, 499, 484, 3, 2, 2, 2, 499, 487, 3, 2, 2, 2, 499, 490, 3, 2, 2, 2, 499, 493, 3, 2, 2, 2, 499, 496, 3, 2, 2, 2, 500, 57, 3, 2, 2, 2, 501, 502, 7, 6, 2, 2, 502, 503, 5, 38, 20, 2, 503, 520, 8, 30, 1, 2, 504, 505, 7, 62, 2, 2, 505, 506, 5, 38, 20, 2, 506, 507, 8, 30, 1, 2, 507, 509, 3, 2, 2, 2, 508, 504, 3, 2, 2, 2, 509, 510, 3, 2, 2, 2, 510, 508, 3, 2, 2, 2, 510, 511, 3, 2, 2, 2, 511, 521, 3, 2, 2, 2, 512, 513, 7, 64, 2, 2, 513, 514, 5, 38, 20, 2, 514, 515, 8, 30, 1, 2, 515, 517, 3, 2, 2, 2, 516, 512, 3, 2, 2, 2, 517, 518, 3, 2, 2, 2, 518, 516, 3, 2, 2, 2, 518, 519, 3, 2, 2, 2, 519, 521, 3, 2, 2, 2, 520, 508, 3, 2, 2, 2, 520, 516, 3, 2, 2, 2, 521, 522, 3, 2, 2, 2, 522, 523, 7, 7, 2, 2, 523, 524, 8, 30, 1, 2, 524, 59, 3, 2, 2, 2, 525, 526, 7, 6, 2, 2, 526, 544, 8, 31, 1, 2, 527, 528, 5, 38, 20, 2, 528, 535, 8, 31, 1, 2, 529, 530, 7, 63, 2, 2, 530, 536, 8, 31, 1, 2, 531, 532, 7, 65, 2, 2, 532, 536, 8, 31, 1, 2, 533, 534, 7, 66, 2, 2, 534, 536, 8, 31, 1, 2, 535, 529, 3, 2, 2, 2, 535, 531, 3, 2, 2, 2, 535, 533, 3, 2, 2, 2, 536, 537, 3, 2, 2, 2, 537, 538, 5, 38, 20, 2, 538, 539, 8, 31, 1, 2, 539, 545, 3, 2, 2, 2, 540, 541, 5, 38, 20, 2, 541, 542, 7, 122, 2, 2, 542, 543, 8, 31, 1, 2, 543, 545, 3, 2, 2, 2, 544, 527, 3, 2, 2, 2, 544, 540, 3, 2, 2, 2, 545, 546, 3, 2, 2, 2, 546, 547, 7, 7, 2, 2, 547, 548, 8, 31, 1, 2, 548, 61, 3, 2, 2, 2, 549, 550, 7, 6, 2, 2, 550, 555, 8, 32, 1, 2, 551, 552, 7, 82, 2, 2, 552, 556, 8, 32, 1, 2, 553, 554, 7, 83, 2, 2, 554, 556, 8, 32, 1, 2, 555, 551, 3, 2, 2, 2, 555, 553, 3, 2, 2, 2, 556, 557, 3, 2, 2, 2, 557, 558, 5, 38, 20, 2, 558, 562, 8, 32, 1, 2, 559, 560, 5, 38, 20, 2, 560, 561, 8, 32, 1, 2, 561, 563, 3, 2, 2, 2, 562, 559, 3, 2, 2, 2, 563, 564, 3, 2, 2, 2, 564, 562, 3, 2, 2, 2, 564, 565, 3, 2, 2, 2, 565, 566, 3, 2, 2, 2, 566, 567, 7, 7, 2, 2, 567, 568, 8, 32, 1, 2, 568, 63, 3, 2, 2, 2, 569, 570, 7, 6, 2, 2, 570, 587, 8, 33, 1, 2, 571, 572, 7, 72, 2, 2, 572, 588, 8, 33, 1, 2, 573, 574, 7, 73, 2, 2, 574, 588, 8, 33, 1, 2, 575, 576, 7, 74, 2, 2, 576, 588, 8, 33, 1, 2, 577, 578, 7, 75, 2, 2, 578, 588, 8, 33, 1, 2, 579, 580, 7, 76, 2, 2, 580, 588, 8, 33, 1, 2, 581, 582, 7, 77, 2, 2, 582, 588, 8, 33, 1, 2, 583, 584, 7, 78, 2, 2, 584, 588, 8, 33, 1, 2, 585, 586, 7, 79, 2, 2, 586, 588, 8, 33, 1, 2, 587, 571, 3, 2, 2, 2, 587, 573, 3, 2, 2, 2, 587, 575, 3, 2, 2, 2, 587, 577, 3, 2, 2, 2, 587, 579, 3, 2, 2, 2, 587, 581, 3, 2, 2, 2, 587, 583, 3, 2, 2, 2, 587, 585, 3, 2, 2, 2, 588, 589, 3, 2, 2, 2, 589, 590, 5, 38, 20, 2, 590, 591, 8, 33, 1, 2, 591, 592, 7, 7, 2, 2, 592, 593, 8, 33, 1, 2, 593, 65, 3, 2, 2, 2, 594, 595, 7, 6, 2, 2, 595, 596, 7, 84, 2, 2, 596, 597, 7, 87, 2, 2, 597, 598, 5, 38, 20, 2, 598, 599, 7, 65, 2, 2, 599, 600, 5, 38, 20, 2, 600, 601, 7, 7, 2, 2, 601, 602, 8, 34, 1, 2, 602, 67, 3, 2, 2, 2, 603, 604, 7, 6, 2, 2, 604, 605, 7, 85, 2, 2, 605, 606, 7, 87, 2, 2, 606, 607, 5, 38, 20, 2, 607, 608, 7, 65, 2, 2, 608, 609, 5, 38, 20, 2, 609, 610, 7, 7, 2, 2, 610, 611, 8, 35, 1, 2, 611, 69, 3, 2, 2, 2, 612, 613, 7, 6, 2, 2, 613, 614, 7, 86, 2, 2, 614, 615, 7, 87, 2, 2, 615, 616, 5, 38, 20, 2, 616, 617, 7, 65, 2, 2, 617, 618, 5, 38, 20, 2, 618, 619, 7, 7, 2, 2, 619, 620, 8, 36, 1, 2, 620, 71, 3, 2, 2, 2, 621, 622, 7, 6, 2, 2, 622, 635, 8, 37, 1, 2, 623, 624, 7, 89, 2, 2, 624, 636, 8, 37, 1, 2, 625, 626, 7, 90, 2, 2, 626, 636, 8, 37, 1, 2, 627, 628, 7, 91, 2, 2, 628, 636, 8, 37, 1, 2, 629, 630, 7, 92, 2, 2, 630, 636, 8, 37, 1, 2, 631, 632, 7, 93, 2, 2, 632, 636, 8, 37, 1, 2, 633, 634, 7, 94, 2, 2, 634, 636, 8, 37, 1, 2, 635, 623, 3, 2, 2, 2, 635, 625, 3, 2, 2, 2, 635, 627, 3, 2, 2, 2, 635, 629, 3, 2, 2, 2, 635, 631, 3, 2, 2, 2, 635, 633, 3, 2, 2, 2, 636, 637, 3, 2, 2, 2, 637, 638, 5, 38, 20, 2, 638, 639, 7, 7, 2, 2, 639, 640, 8, 37, 1, 2, 640, 73, 3, 2, 2, 2, 641, 642, 7, 6, 2, 2, 642, 643, 7, 95, 2, 2, 643, 647, 8, 38, 1, 2, 644, 645, 5, 94, 48, 2, 645, 646, 8, 38, 1, 2, 646, 648, 3, 2, 2, 2, 647, 644, 3, 2, 2, 2, 647, 648, 3, 2, 2, 2, 648, 649, 3, 2, 2, 2, 649, 650, 5, 38, 20, 2, 650, 654, 8, 38, 1, 2, 651, 652, 5, 94, 48, 2, 652, 653, 8, 38, 1, 2, 653, 655, 3, 2, 2, 2, 654, 651, 3, 2, 2, 2, 654, 655, 3, 2, 2, 2, 655, 656, 3, 2, 2, 2, 656, 657, 5, 38, 20, 2, 657, 658, 7, 7, 2, 2, 658, 659, 8, 38, 1, 2, 659, 75, 3, 2, 2, 2, 660, 661, 5, 80, 41, 2, 661, 662, 8, 39, 1, 2, 662, 673, 3, 2, 2, 2, 663, 664, 5, 78, 40, 2, 664, 665, 8, 39, 1, 2, 665, 673, 3, 2, 2, 2, 666, 667, 5, 82, 42, 2, 667, 668, 8, 39, 1, 2, 668, 673, 3, 2, 2, 2, 669, 670, 5, 84, 43, 2, 670, 671, 8, 39, 1, 2, 671, 673, 3, 2, 2, 2, 672, 660, 3, 2, 2, 2, 672, 663, 3, 2, 2, 2, 672, 666, 3, 2, 2, 2, 672, 669, 3, 2, 2, 2, 673, 77, 3, 2, 2, 2, 674, 675, 7, 6, 2, 2, 675, 676, 7, 97, 2, 2, 676, 677, 5, 38, 20, 2, 677, 678, 7, 7, 2, 2, 678, 679, 8, 40, 1, 2, 679, 79, 3, 2, 2, 2, 680, 681, 7, 6, 2, 2, 681, 682, 7, 96, 2, 2, 682, 683, 5, 38, 20, 2, 683, 687, 8, 41, 1, 2, 684, 685, 5, 38, 20, 2, 685, 686, 8, 41, 1, 2, 686, 688, 3, 2, 2, 2, 687, 684, 3, 2, 2, 2, 688, 689, 3, 2, 2, 2, 689, 687, 3, 2, 2, 2, 689, 690, 3, 2, 2, 2, 690, 691, 3, 2, 2, 2, 691, 692, 7, 7, 2, 2, 692, 693, 8, 41, 1, 2, 693, 81, 3, 2, 2, 2, 694, 695, 7, 6, 2, 2, 695, 696, 7, 115, 2, 2, 696, 697, 5, 38, 20, 2, 697, 698, 7, 7, 2, 2, 698, 699, 8, 42, 1, 2, 699, 83, 3, 2, 2, 2, 700, 701, 7, 6, 2, 2, 701, 702, 7, 109, 2, 2, 702, 703, 5, 38, 20, 2, 703, 704, 7, 7, 2, 2, 704, 705, 8, 43, 1, 2, 705, 85, 3, 2, 2, 2, 706, 707, 7, 29, 2, 2, 707, 709, 8, 44, 1, 2, 708, 706, 3, 2, 2, 2, 708, 709, 3, 2, 2, 2, 709, 710, 3, 2, 2, 2, 710, 711, 7, 124, 2, 2, 711, 724, 8, 44, 1, 2, 712, 713, 7, 6, 2, 2, 713, 714, 7, 27, 2, 2, 714, 717, 8, 44, 1, 2, 715, 716, 7, 29, 2, 2, 716, 718, 8, 44, 1, 2, 717, 715, 3, 2, 2, 2, 717, 718, 3, 2, 2, 2, 718, 719, 3, 2, 2, 2, 719, 720, 7, 124, 2, 2, 720, 721, 8, 44, 1, 2, 721, 722, 7, 7, 2, 2, 722, 724, 8, 44, 1, 2, 723, 708, 3, 2, 2, 2, 723, 712, 3, 2, 2, 2, 724, 87, 3, 2, 2, 2, 725, 726, 7, 6, 2, 2, 726, 727, 8, 45, 1, 2, 727, 728, 7, 26, 2, 2, 728, 729, 8, 45, 1, 2, 729, 736, 3, 2, 2, 2, 730, 731, 7, 124, 2, 2, 731, 737, 8, 45, 1, 2, 732, 733, 7, 124, 2, 2, 733, 734, 7, 12, 2, 2, 734, 735, 7, 124, 2, 2, 735, 737, 8, 45, 1, 2, 736, 730, 3, 2, 2, 2, 736, 732, 3, 2, 2, 2, 737, 748, 3, 2, 2, 2, 738, 739, 5, 94, 48, 2, 739, 740, 8, 45, 1, 2, 740, 742, 3, 2, 2, 2, 741, 738, 3, 2, 2, 2, 741, 742, 3, 2, 2, 2, 742, 743, 3, 2, 2, 2, 743, 744, 5, 38, 20, 2, 744, 745, 8, 45, 1, 2, 745, 747, 3, 2, 2, 2, 746, 741, 3, 2, 2, 2, 747, 750, 3, 2, 2, 2, 748, 746, 3, 2, 2, 2, 748, 749, 3, 2, 2, 2, 749, 751, 3, 2, 2, 2, 750, 748, 3, 2, 2, 2, 751, 752, 7, 7, 2, 2, 752, 753, 8, 45, 1, 2, 753, 89, 3, 2, 2, 2, 754, 755, 5, 92, 47, 2, 755, 756, 8, 46, 1, 2, 756, 763, 3, 2, 2, 2, 757, 758, 7, 6, 2, 2, 758, 759, 5, 92, 47, 2, 759, 760, 7, 7, 2, 2, 760, 761, 8, 46, 1, 2, 761, 763, 3, 2, 2, 2, 762, 754, 3, 2, 2, 2, 762, 757, 3, 2, 2, 2, 763, 91, 3, 2, 2, 2, 764, 765, 7, 121, 2, 2, 765, 777, 8, 47, 1, 2, 766, 767, 7, 122, 2, 2, 767, 777, 8, 47, 1, 2, 768, 769, 7, 125, 2, 2, 769, 777, 8, 47, 1, 2, 770, 771, 7, 15, 2, 2, 771, 777, 8, 47, 1, 2, 772, 773, 7, 16, 2, 2, 773, 777, 8, 47, 1, 2, 774, 775, 7, 123, 2, 2, 775, 777, 8, 47, 1, 2, 776, 764, 3, 2, 2, 2, 776, 766, 3, 2, 2, 2, 776, 768, 3, 2, 2, 2, 776, 770, 3, 2, 2, 2, 776, 772, 3, 2, 2, 2, 776, 774, 3, 2, 2, 2, 777, 93, 3, 2, 2, 2, 778, 779, 7, 124, 2, 2, 779, 780, 8, 48, 1, 2, 780, 95, 3, 2, 2, 2, 58, 101, 115, 134, 152, 157, 170, 175, 187, 192, 202, 208, 224, 235, 250, 257, 259, 266, 272, 278, 284, 293, 299, 313, 318, 325, 335, 341, 345, 359, 391, 399, 426, 445, 466, 499, 510, 518, 520, 535, 544, 555, 564, 587, 635, 647, 654, 672, 689, 708, 717, 723, 736, 741, 748, 762, 776]