expressir 0.2.3 → 0.2.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (69) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +46 -0
  3. data/.github/workflows/release.yml +74 -0
  4. data/.gitignore +1 -2
  5. data/.gitmodules +3 -0
  6. data/Gemfile +2 -0
  7. data/Rakefile +20 -0
  8. data/exe/generate-parser +48 -0
  9. data/expressir.gemspec +5 -2
  10. data/ext/express-parser/antlrgen/Express.interp +532 -0
  11. data/ext/express-parser/antlrgen/Express.tokens +190 -0
  12. data/ext/express-parser/antlrgen/ExpressBaseListener.cpp +7 -0
  13. data/ext/express-parser/antlrgen/ExpressBaseListener.h +623 -0
  14. data/ext/express-parser/antlrgen/ExpressBaseVisitor.cpp +7 -0
  15. data/ext/express-parser/antlrgen/ExpressBaseVisitor.h +816 -0
  16. data/ext/express-parser/antlrgen/ExpressLexer.cpp +1169 -0
  17. data/ext/express-parser/antlrgen/ExpressLexer.h +85 -0
  18. data/ext/express-parser/antlrgen/ExpressLexer.interp +534 -0
  19. data/ext/express-parser/antlrgen/ExpressLexer.tokens +190 -0
  20. data/ext/express-parser/antlrgen/ExpressListener.cpp +7 -0
  21. data/ext/express-parser/antlrgen/ExpressListener.h +616 -0
  22. data/ext/express-parser/antlrgen/ExpressParser.cpp +17284 -0
  23. data/ext/express-parser/antlrgen/ExpressParser.h +3696 -0
  24. data/ext/express-parser/antlrgen/ExpressVisitor.cpp +7 -0
  25. data/ext/express-parser/antlrgen/ExpressVisitor.h +422 -0
  26. data/ext/express-parser/express_parser.cpp +17931 -0
  27. data/ext/express-parser/extconf.rb +34 -0
  28. data/lib/expressir/express_exp/formatter.rb +50 -44
  29. data/lib/expressir/express_exp/parser.rb +12 -6
  30. data/lib/expressir/express_exp/visitor.rb +1377 -1068
  31. data/lib/expressir/model.rb +3 -0
  32. data/lib/expressir/model/attribute.rb +4 -5
  33. data/lib/expressir/model/constant.rb +3 -4
  34. data/lib/expressir/model/entity.rb +4 -4
  35. data/lib/expressir/model/enumeration_item.rb +1 -4
  36. data/lib/expressir/model/expressions/query_expression.rb +4 -4
  37. data/lib/expressir/model/function.rb +4 -4
  38. data/lib/expressir/model/identifier.rb +9 -0
  39. data/lib/expressir/model/parameter.rb +4 -5
  40. data/lib/expressir/model/procedure.rb +4 -4
  41. data/lib/expressir/model/repository.rb +2 -0
  42. data/lib/expressir/model/rule.rb +4 -4
  43. data/lib/expressir/model/schema.rb +3 -3
  44. data/lib/expressir/model/scope.rb +17 -0
  45. data/lib/expressir/model/statements/alias.rb +4 -4
  46. data/lib/expressir/model/statements/repeat.rb +4 -4
  47. data/lib/expressir/model/subtype_constraint.rb +9 -4
  48. data/lib/expressir/model/type.rb +4 -4
  49. data/lib/expressir/model/types/aggregate.rb +4 -5
  50. data/lib/expressir/model/types/generic.rb +2 -5
  51. data/lib/expressir/model/types/generic_entity.rb +2 -5
  52. data/lib/expressir/model/unique.rb +3 -4
  53. data/lib/expressir/model/variable.rb +3 -4
  54. data/lib/expressir/model/where.rb +3 -4
  55. data/lib/expressir/version.rb +1 -1
  56. data/original/examples/syntax/remark_formatted.exp +73 -71
  57. data/original/examples/syntax/syntax_formatted.exp +109 -98
  58. data/spec/expressir/express_exp/ap233_spec.rb +1 -1
  59. data/spec/expressir/express_exp/parse_syntax_spec.rb +30 -30
  60. data/spec/expressir/model/find_spec.rb +110 -0
  61. metadata +61 -15
  62. data/.github/workflows/macos.yml +0 -38
  63. data/.github/workflows/ubuntu.yml +0 -56
  64. data/.github/workflows/windows.yml +0 -40
  65. data/generate-parser.sh +0 -29
  66. data/lib/expressir/express_exp/generated/ExpressBaseVisitor.rb +0 -779
  67. data/lib/expressir/express_exp/generated/ExpressLexer.rb +0 -844
  68. data/lib/expressir/express_exp/generated/ExpressParser.rb +0 -12162
  69. data/lib/expressir/express_exp/generated/ExpressVisitor.rb +0 -394
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: 843dcf34e7a34f2c8061e48c708bea2c16d54b773e96f781937c0fef7df2367d
4
- data.tar.gz: 74039ed222ac962849d6e2e79ee6596ab26e7da6d4396bba89ab07f6f9b2917f
3
+ metadata.gz: cff7428d58c1f3f1faa367b23adeb27edba0ee849212a5e58c03a09615e309c5
4
+ data.tar.gz: 96280284a32b4d1fb8b6f898a071cc472b937ee05e4ff12dd1a2a076673e8e38
5
5
  SHA512:
6
- metadata.gz: 38109ed8b49e910c3af2410c6df591d71298211ae8f95d7fdbb08f73aec6b11b56761410d4a3793f0c34f8c0e56a31796bad0b1281e71c79d7175d6c1d5378ec
7
- data.tar.gz: eb61333805b6199136e48a4136dd012292b96874f2ae25089f65b56f1f3208a0f31bee5e127b0a3666d573dd4be37c51e8f712c99eb6a8f3045dfb2cd3ffc86d
6
+ metadata.gz: 5932cf8677560a1b3ca3e65c719fad882fb28e2557014e56c658ffe89fbc510533998d137cfdfc3ee3d9aa9f393301d70276e4f5753b9ab325dcb4c115068f5e
7
+ data.tar.gz: 29c4f8cf53df8aeb92d0aa925100febf76548b51ae1d47726e84d430344c5590d877438432b7e9f37d5972b73f9c2ed3a29e0ea731a4eab1c7ecbd6ff1f6ab17
data/.github/workflows/rake.yml ADDED
@@ -0,0 +1,46 @@
1
+ name: rake
2
+
3
+ on:
4
+ push:
5
+ branches: [ master ]
6
+ tags:
7
+ - '*'
8
+ pull_request:
9
+
10
+ jobs:
11
+ rake:
12
+ name: test on ruby-${{ matrix.ruby }} ${{ matrix.os }}
13
+ runs-on: ${{ matrix.os }}
14
+ continue-on-error: ${{ matrix.experimental }}
15
+ strategy:
16
+ fail-fast: false
17
+ matrix:
18
+ ruby: [ '2.7', '2.6', '2.5', '2.4' ]
19
+ os: [ ubuntu-latest, windows-latest, macos-latest ]
20
+ experimental: [ false ]
21
+
22
+ steps:
23
+ - uses: actions/checkout@v2
24
+ with:
25
+ submodules: recursive
26
+
27
+ - uses: ruby/setup-ruby@v1
28
+ with:
29
+ ruby-version: ${{ matrix.ruby }}
30
+
31
+ - uses: actions/cache@v2
32
+ with:
33
+ path: vendor/bundle
34
+ key: bundle-${{ matrix.os }}-${{ matrix.ruby }}-${{ hashFiles('**/*.gemspec') }}
35
+ restore-keys: bundle-${{ matrix.os }}-${{ matrix.ruby }}
36
+
37
+ - if: matrix.os == 'macos-latest'
38
+ run: brew install autoconf automake libtool
39
+
40
+ - run: bundle config set path 'vendor/bundle'
41
+
42
+ - run: bundle install --jobs 4 --retry 3
43
+
44
+ - run: bundle exec rake compile
45
+
46
+ - run: bundle exec rake
data/.github/workflows/release.yml ADDED
@@ -0,0 +1,74 @@
1
+ name: release
2
+
3
+ on:
4
+ push:
5
+ tags: [ v* ]
6
+ workflow_dispatch:
7
+
8
+ jobs:
9
+ pack:
10
+ runs-on: ${{ matrix.os }}
11
+ strategy:
12
+ fail-fast: false
13
+ matrix:
14
+ os: [ ubuntu-latest, windows-latest, macos-latest ]
15
+ steps:
16
+ - uses: actions/checkout@v2
17
+ with:
18
+ submodules: recursive
19
+
20
+ - uses: ruby/setup-ruby@v1
21
+ with:
22
+ ruby-version: '2.4'
23
+
24
+ - if: matrix.os == 'macos-latest'
25
+ run: brew install autoconf automake libtool
26
+
27
+ - run: bundle install --jobs 4 --retry 3
28
+
29
+ - run: bundle exec rake native gem
30
+
31
+ - run: bundle exec rake
32
+
33
+ - uses: actions/upload-artifact@v2
34
+ with:
35
+ name: pkg-${{ matrix.os }}
36
+ path: pkg/*.gem
37
+
38
+ release:
39
+ runs-on: ubuntu-18.04
40
+ needs: pack
41
+ steps:
42
+ - uses: actions/download-artifact@v2
43
+ with:
44
+ name: pkg-ubuntu-latest
45
+ path: pkg
46
+
47
+ - uses: actions/download-artifact@v2
48
+ with:
49
+ name: pkg-windows-latest
50
+ path: pkg
51
+
52
+ - uses: actions/download-artifact@v2
53
+ with:
54
+ name: pkg-macos-latest
55
+ path: pkg
56
+
57
+ - uses: ruby/setup-ruby@v1
58
+ with:
59
+ ruby-version: '2.4'
60
+
61
+ - run: ls -l pkg/
62
+
63
+ - name: Publish to rubygems.org
64
+ env:
65
+ RUBYGEMS_API_KEY: ${{secrets.LUTAML_CI_RUBYGEMS_API_KEY}}
66
+ run: |
67
+ mkdir -p ~/.gem
68
+ touch ~/.gem/credentials
69
+ cat <<'EOF' >> ~/.gem/credentials
70
+ ---
71
+ :rubygems_api_key: ${RUBYGEMS_API_KEY}
72
+ EOF
73
+ chmod 0600 ~/.gem/credentials
74
+ for gem in pkg/*.gem; do gem push $gem -V -k rubygems ; done
data/.gitignore CHANGED
@@ -8,8 +8,7 @@
8
8
  /tmp/
9
9
  /Gemfile.lock
10
10
  /.idea
11
- /lib/expressir/express_exp/generated/*.interp
12
- /lib/expressir/express_exp/generated/*.tokens
11
+ /lib/express_parser.bundle
13
12
  /original/examples/syntax/*-pretty.exp
14
13
 
15
14
  # rspec failure tracking
data/.gitmodules ADDED
@@ -0,0 +1,3 @@
1
+ [submodule "ext/express-parser/antlr4-upstream"]
2
+ path = ext/express-parser/antlr4-upstream
3
+ url = git://github.com/antlr/antlr4
data/Gemfile CHANGED
@@ -2,3 +2,5 @@ source "https://rubygems.org"
2
2
 
3
3
  # Specify your gem's dependencies in reeper.gemspec
4
4
  gemspec
5
+
6
+ gem "rake-compiler", git: "https://github.com/larskanis/rake-compiler", branch: "fix-native-version"
data/Rakefile CHANGED
@@ -1,6 +1,26 @@
1
1
  require "bundler/gem_tasks"
2
2
  require "rspec/core/rake_task"
3
+ require "rake/extensiontask"
3
4
 
4
5
  RSpec::Core::RakeTask.new(:spec)
5
6
 
6
7
  task :default => :spec
8
+
9
+ spec = Gem::Specification.load("expressir.gemspec")
10
+
11
+ # add your default gem packing task
12
+ Gem::PackageTask.new(spec) do |pkg|
13
+ end
14
+
15
+ ext = Rake::ExtensionTask.new("express_parser", spec) do |ext|
16
+ ext.ext_dir = "ext/express-parser"
17
+ end
18
+
19
+ # workaround for:
20
+ # Don't know how to build task 'tmp/RUBY_PLATFORM/stage/ext/express-parser/antlr4-upstream' (see --tasks)
21
+ antlr_dir = File.join ext.ext_dir, 'antlr4-upstream'
22
+ stage_dir = File.join ext.tmp_dir, RUBY_PLATFORM, 'stage'
23
+ antrl4_out_dir = File.join stage_dir, antlr_dir
24
+ file antrl4_out_dir do |t|
25
+ FileUtils.ln_s File.expand_path(antlr_dir), antrl4_out_dir
26
+ end
data/exe/generate-parser ADDED
@@ -0,0 +1,48 @@
1
+ #!/usr/bin/env ruby
2
+
3
+ require 'fileutils'
4
+ require 'antlr4-native'
5
+
6
+ grammar_file = ARGV.shift
7
+
8
+ # ANTLR does weird things if the grammar file isn't in the current working directory
9
+ temp_grammar_file = File.join(FileUtils.pwd(), File.basename(grammar_file))
10
+ FileUtils.cp(grammar_file, temp_grammar_file)
11
+
12
+ # generate parser
13
+ generator = Antlr4Native::Generator.new(
14
+ grammar_files: [File.basename(temp_grammar_file)],
15
+ output_dir: 'ext',
16
+ parser_root_method: 'syntax'
17
+ )
18
+ generator.generate
19
+
20
+ # fix issues with generated parser
21
+ parser_source_file = File.join(*%w(ext express-parser express_parser.cpp))
22
+ parser_source_lines = File.read(parser_source_file).split(/\n/)
23
+
24
+ # - add ParserProxy tokens method, simple compensation for missing exposed BufferedTokenStream
25
+ i = parser_source_lines.index{|x| x == ' Object syntax() {'}
26
+ parser_source_lines[i + 6] += "\n" + <<~CPP.split(/\n/).map{|x| x != "" ? " " + x : x}.join("\n") + "\n"
27
+ Array getTokens() {
28
+ Array a;
29
+
30
+ std::vector<Token*> tokens = this -> tokens -> getTokens();
31
+
32
+ for (auto &token : tokens) {
33
+ a.push(token);
34
+ }
35
+
36
+ return a;
37
+ }
38
+ CPP
39
+ i = parser_source_lines.index{|x| x == ' .define_method("syntax", &ParserProxy::syntax)'}
40
+ parser_source_lines[i] += "\n" + <<~CPP.split(/\n/).map{|x| x != "" ? " " + x : x}.join("\n")
41
+ .define_method("tokens", &ParserProxy::getTokens)
42
+ CPP
43
+
44
+ # write fixed parser file
45
+ File.write(parser_source_file, parser_source_lines.join("\n") + "\n")
46
+
47
+ # cleanup
48
+ FileUtils.rm(temp_grammar_file)
data/expressir.gemspec CHANGED
@@ -24,12 +24,15 @@ Gem::Specification.new do |spec|
24
24
  spec.require_paths = ["lib"]
25
25
  spec.executables = %w[expressir]
26
26
 
27
+ spec.extensions = File.join(*%w(ext express-parser extconf.rb))
28
+
27
29
  spec.add_runtime_dependency "thor", "~> 1.0"
28
- spec.add_runtime_dependency "antlr4-runtime", "~> 0.2.12"
30
+ spec.add_runtime_dependency "rice", "~> 2.2.0"
31
+ spec.add_development_dependency "antlr4-native", "~> 1.1.0"
29
32
  spec.add_development_dependency "nokogiri", "~> 1.10"
30
-
31
33
  spec.add_development_dependency "bundler", "~> 2.0"
32
34
  spec.add_development_dependency "pry", "~> 0.12.2"
33
35
  spec.add_development_dependency "rake", "~> 10.0"
36
+ spec.add_development_dependency "rake-compiler", "~> 1.1.1"
34
37
  spec.add_development_dependency "rspec", "~> 3.0"
35
38
  end
data/ext/express-parser/antlrgen/Express.interp ADDED
@@ -0,0 +1,532 @@
1
+ token literal names:
2
+ null
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
+ null
33
+ null
34
+ null
35
+ null
36
+ null
37
+ null
38
+ null
39
+ null
40
+ null
41
+ null
42
+ null
43
+ null
44
+ null
45
+ null
46
+ null
47
+ null
48
+ null
49
+ null
50
+ null
51
+ null
52
+ null
53
+ null
54
+ null
55
+ null
56
+ null
57
+ null
58
+ null
59
+ null
60
+ null
61
+ null
62
+ null
63
+ null
64
+ null
65
+ null
66
+ null
67
+ null
68
+ null
69
+ null
70
+ null
71
+ null
72
+ null
73
+ null
74
+ null
75
+ null
76
+ null
77
+ null
78
+ null
79
+ null
80
+ null
81
+ null
82
+ null
83
+ null
84
+ null
85
+ null
86
+ null
87
+ null
88
+ null
89
+ null
90
+ null
91
+ null
92
+ null
93
+ null
94
+ null
95
+ null
96
+ null
97
+ null
98
+ null
99
+ null
100
+ null
101
+ null
102
+ null
103
+ null
104
+ null
105
+ null
106
+ null
107
+ null
108
+ null
109
+ null
110
+ null
111
+ null
112
+ null
113
+ null
114
+ null
115
+ null
116
+ null
117
+ null
118
+ null
119
+ null
120
+ null
121
+ null
122
+ null
123
+ null
124
+ null
125
+ null
126
+ null
127
+ null
128
+ null
129
+ null
130
+ null
131
+ null
132
+ null
133
+ null
134
+ null
135
+ null
136
+ null
137
+ null
138
+ null
139
+ null
140
+ null
141
+ null
142
+ null
143
+ null
144
+ null
145
+ null
146
+ null
147
+ null
148
+ null
149
+ null
150
+ null
151
+ null
152
+ null
153
+ null
154
+ null
155
+ null
156
+ null
157
+ null
158
+ null
159
+ null
160
+ null
161
+ null
162
+ null
163
+ null
164
+
165
+ token symbolic names:
166
+ null
167
+ null
168
+ null
169
+ null
170
+ null
171
+ null
172
+ null
173
+ null
174
+ null
175
+ null
176
+ null
177
+ null
178
+ null
179
+ null
180
+ null
181
+ null
182
+ null
183
+ null
184
+ null
185
+ null
186
+ null
187
+ null
188
+ null
189
+ null
190
+ null
191
+ null
192
+ null
193
+ null
194
+ null
195
+ null
196
+ ABS
197
+ ABSTRACT
198
+ ACOS
199
+ AGGREGATE
200
+ ALIAS
201
+ AND
202
+ ANDOR
203
+ ARRAY
204
+ AS
205
+ ASIN
206
+ ATAN
207
+ BAG
208
+ BASED_ON
209
+ BEGIN_
210
+ BINARY
211
+ BLENGTH
212
+ BOOLEAN
213
+ BY
214
+ CASE
215
+ CONSTANT
216
+ CONST_E
217
+ COS
218
+ DERIVE
219
+ DIV
220
+ ELSE
221
+ END_
222
+ END_ALIAS
223
+ END_CASE
224
+ END_CONSTANT
225
+ END_ENTITY
226
+ END_FUNCTION
227
+ END_IF
228
+ END_LOCAL
229
+ END_PROCEDURE
230
+ END_REPEAT
231
+ END_RULE
232
+ END_SCHEMA
233
+ END_SUBTYPE_CONSTRAINT
234
+ END_TYPE
235
+ ENTITY
236
+ ENUMERATION
237
+ ESCAPE
238
+ EXISTS
239
+ EXP
240
+ EXTENSIBLE
241
+ FALSE
242
+ FIXED
243
+ FOR
244
+ FORMAT
245
+ FROM
246
+ FUNCTION
247
+ GENERIC
248
+ GENERIC_ENTITY
249
+ HIBOUND
250
+ HIINDEX
251
+ IF
252
+ IN
253
+ INSERT
254
+ INTEGER
255
+ INVERSE
256
+ LENGTH
257
+ LIKE
258
+ LIST
259
+ LOBOUND
260
+ LOCAL
261
+ LOG
262
+ LOG10
263
+ LOG2
264
+ LOGICAL
265
+ LOINDEX
266
+ MOD
267
+ NOT
268
+ NUMBER
269
+ NVL
270
+ ODD
271
+ OF
272
+ ONEOF
273
+ OPTIONAL
274
+ OR
275
+ OTHERWISE
276
+ PI
277
+ PROCEDURE
278
+ QUERY
279
+ REAL
280
+ REFERENCE
281
+ REMOVE
282
+ RENAMED
283
+ REPEAT
284
+ RETURN
285
+ ROLESOF
286
+ RULE
287
+ SCHEMA
288
+ SELECT
289
+ SELF
290
+ SET
291
+ SIN
292
+ SIZEOF
293
+ SKIP_
294
+ SQRT
295
+ STRING
296
+ SUBTYPE
297
+ SUBTYPE_CONSTRAINT
298
+ SUPERTYPE
299
+ TAN
300
+ THEN
301
+ TO
302
+ TRUE
303
+ TYPE
304
+ TYPEOF
305
+ TOTAL_OVER
306
+ UNIQUE
307
+ UNKNOWN
308
+ UNTIL
309
+ USE
310
+ USEDIN
311
+ VALUE_
312
+ VALUE_IN
313
+ VALUE_UNIQUE
314
+ VAR
315
+ WITH
316
+ WHERE
317
+ WHILE
318
+ XOR
319
+ BinaryLiteral
320
+ EncodedStringLiteral
321
+ IntegerLiteral
322
+ RealLiteral
323
+ SimpleId
324
+ SimpleStringLiteral
325
+ EmbeddedRemark
326
+ TailRemark
327
+ Whitespace
328
+
329
+ rule names:
330
+ attributeRef
331
+ constantRef
332
+ entityRef
333
+ enumerationRef
334
+ functionRef
335
+ parameterRef
336
+ procedureRef
337
+ ruleLabelRef
338
+ ruleRef
339
+ schemaRef
340
+ subtypeConstraintRef
341
+ typeLabelRef
342
+ typeRef
343
+ variableRef
344
+ abstractEntityDeclaration
345
+ abstractSupertype
346
+ abstractSupertypeDeclaration
347
+ actualParameterList
348
+ addLikeOp
349
+ aggregateInitializer
350
+ aggregateSource
351
+ aggregateType
352
+ aggregationTypes
353
+ algorithmHead
354
+ aliasStmt
355
+ arrayType
356
+ assignmentStmt
357
+ attributeDecl
358
+ attributeId
359
+ attributeQualifier
360
+ bagType
361
+ binaryType
362
+ booleanType
363
+ bound1
364
+ bound2
365
+ boundSpec
366
+ builtInConstant
367
+ builtInFunction
368
+ builtInProcedure
369
+ caseAction
370
+ caseLabel
371
+ caseStmt
372
+ compoundStmt
373
+ concreteTypes
374
+ constantBody
375
+ constantDecl
376
+ constantFactor
377
+ constantId
378
+ constructedTypes
379
+ declaration
380
+ derivedAttr
381
+ deriveClause
382
+ domainRule
383
+ element
384
+ entityBody
385
+ entityConstructor
386
+ entityDecl
387
+ entityHead
388
+ entityId
389
+ enumerationExtension
390
+ enumerationId
391
+ enumerationItems
392
+ enumerationItem
393
+ enumerationReference
394
+ enumerationType
395
+ escapeStmt
396
+ explicitAttr
397
+ expression
398
+ factor
399
+ formalParameter
400
+ functionCall
401
+ functionDecl
402
+ functionHead
403
+ functionId
404
+ generalizedTypes
405
+ generalAggregationTypes
406
+ generalArrayType
407
+ generalBagType
408
+ generalListType
409
+ generalRef
410
+ generalSetType
411
+ genericEntityType
412
+ genericType
413
+ groupQualifier
414
+ ifStmt
415
+ ifStmtStatements
416
+ ifStmtElseStatements
417
+ increment
418
+ incrementControl
419
+ index
420
+ index1
421
+ index2
422
+ indexQualifier
423
+ instantiableType
424
+ integerType
425
+ interfaceSpecification
426
+ interval
427
+ intervalHigh
428
+ intervalItem
429
+ intervalLow
430
+ intervalOp
431
+ inverseAttr
432
+ inverseAttrType
433
+ inverseClause
434
+ listType
435
+ literal
436
+ localDecl
437
+ localVariable
438
+ logicalExpression
439
+ logicalLiteral
440
+ logicalType
441
+ multiplicationLikeOp
442
+ namedTypes
443
+ namedTypeOrRename
444
+ nullStmt
445
+ numberType
446
+ numericExpression
447
+ oneOf
448
+ parameter
449
+ parameterId
450
+ parameterType
451
+ population
452
+ precisionSpec
453
+ primary
454
+ procedureCallStmt
455
+ procedureDecl
456
+ procedureHead
457
+ procedureHeadParameter
458
+ procedureId
459
+ qualifiableFactor
460
+ qualifiedAttribute
461
+ qualifier
462
+ queryExpression
463
+ realType
464
+ redeclaredAttribute
465
+ referencedAttribute
466
+ referenceClause
467
+ relOp
468
+ relOpExtended
469
+ renameId
470
+ repeatControl
471
+ repeatStmt
472
+ repetition
473
+ resourceOrRename
474
+ resourceRef
475
+ returnStmt
476
+ ruleDecl
477
+ ruleHead
478
+ ruleId
479
+ ruleLabelId
480
+ schemaBody
481
+ schemaBodyDeclaration
482
+ schemaDecl
483
+ schemaId
484
+ schemaVersionId
485
+ selector
486
+ selectExtension
487
+ selectList
488
+ selectType
489
+ setType
490
+ simpleExpression
491
+ simpleFactor
492
+ simpleFactorExpression
493
+ simpleFactorUnaryExpression
494
+ simpleTypes
495
+ skipStmt
496
+ stmt
497
+ stringLiteral
498
+ stringType
499
+ subsuper
500
+ subtypeConstraint
501
+ subtypeConstraintBody
502
+ subtypeConstraintDecl
503
+ subtypeConstraintHead
504
+ subtypeConstraintId
505
+ subtypeDeclaration
506
+ supertypeConstraint
507
+ supertypeExpression
508
+ supertypeFactor
509
+ supertypeRule
510
+ supertypeTerm
511
+ syntax
512
+ term
513
+ totalOver
514
+ typeDecl
515
+ typeId
516
+ typeLabel
517
+ typeLabelId
518
+ unaryOp
519
+ underlyingType
520
+ uniqueClause
521
+ uniqueRule
522
+ untilControl
523
+ useClause
524
+ variableId
525
+ whereClause
526
+ whileControl
527
+ width
528
+ widthSpec
529
+
530
+
531
+ atn:
532
+ [3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 163, 1645, 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, 4, 49, 9, 49, 4, 50, 9, 50, 4, 51, 9, 51, 4, 52, 9, 52, 4, 53, 9, 53, 4, 54, 9, 54, 4, 55, 9, 55, 4, 56, 9, 56, 4, 57, 9, 57, 4, 58, 9, 58, 4, 59, 9, 59, 4, 60, 9, 60, 4, 61, 9, 61, 4, 62, 9, 62, 4, 63, 9, 63, 4, 64, 9, 64, 4, 65, 9, 65, 4, 66, 9, 66, 4, 67, 9, 67, 4, 68, 9, 68, 4, 69, 9, 69, 4, 70, 9, 70, 4, 71, 9, 71, 4, 72, 9, 72, 4, 73, 9, 73, 4, 74, 9, 74, 4, 75, 9, 75, 4, 76, 9, 76, 4, 77, 9, 77, 4, 78, 9, 78, 4, 79, 9, 79, 4, 80, 9, 80, 4, 81, 9, 81, 4, 82, 9, 82, 4, 83, 9, 83, 4, 84, 9, 84, 4, 85, 9, 85, 4, 86, 9, 86, 4, 87, 9, 87, 4, 88, 9, 88, 4, 89, 9, 89, 4, 90, 9, 90, 4, 91, 9, 91, 4, 92, 9, 92, 4, 93, 9, 93, 4, 94, 9, 94, 4, 95, 9, 95, 4, 96, 9, 96, 4, 97, 9, 97, 4, 98, 9, 98, 4, 99, 9, 99, 4, 100, 9, 100, 4, 101, 9, 101, 4, 102, 9, 102, 4, 103, 9, 103, 4, 104, 9, 104, 4, 105, 9, 105, 4, 106, 9, 106, 4, 107, 9, 107, 4, 108, 9, 108, 4, 109, 9, 109, 4, 110, 9, 110, 4, 111, 9, 111, 4, 112, 9, 112, 4, 113, 9, 113, 4, 114, 9, 114, 4, 115, 9, 115, 4, 116, 9, 116, 4, 117, 9, 117, 4, 118, 9, 118, 4, 119, 9, 119, 4, 120, 9, 120, 4, 121, 9, 121, 4, 122, 9, 122, 4, 123, 9, 123, 4, 124, 9, 124, 4, 125, 9, 125, 4, 126, 9, 126, 4, 127, 9, 127, 4, 128, 9, 128, 4, 129, 9, 129, 4, 130, 9, 130, 4, 131, 9, 131, 4, 132, 9, 132, 4, 133, 9, 133, 4, 134, 9, 134, 4, 135, 9, 135, 4, 136, 9, 136, 4, 137, 9, 137, 4, 138, 9, 138, 4, 139, 9, 139, 4, 140, 9, 140, 4, 141, 9, 141, 4, 142, 9, 142, 4, 143, 9, 143, 4, 144, 9, 144, 4, 145, 9, 145, 4, 146, 9, 146, 4, 147, 9, 147, 4, 148, 9, 148, 4, 149, 9, 149, 4, 150, 9, 150, 4, 151, 9, 151, 4, 152, 9, 152, 4, 153, 9, 153, 4, 154, 9, 154, 4, 155, 9, 155, 4, 156, 9, 156, 4, 157, 9, 157, 4, 158, 9, 158, 4, 159, 9, 159, 4, 160, 9, 160, 4, 161, 9, 161, 4, 162, 9, 162, 4, 163, 9, 163, 4, 164, 9, 164, 4, 165, 9, 165, 4, 166, 9, 166, 4, 167, 9, 167, 4, 168, 9, 168, 4, 169, 9, 169, 4, 170, 9, 170, 4, 171, 9, 171, 4, 172, 9, 172, 4, 173, 9, 173, 4, 174, 9, 174, 4, 175, 9, 175, 4, 176, 9, 176, 4, 177, 9, 177, 4, 178, 9, 178, 4, 179, 9, 179, 4, 180, 9, 180, 4, 181, 9, 181, 4, 182, 9, 182, 4, 183, 9, 183, 4, 184, 9, 184, 4, 185, 9, 185, 4, 186, 9, 186, 4, 187, 9, 187, 4, 188, 9, 188, 4, 189, 9, 189, 4, 190, 9, 190, 4, 191, 9, 191, 4, 192, 9, 192, 4, 193, 9, 193, 4, 194, 9, 194, 4, 195, 9, 195, 4, 196, 9, 196, 4, 197, 9, 197, 4, 198, 9, 198, 4, 199, 9, 199, 4, 200, 9, 200, 3, 2, 3, 2, 3, 3, 3, 3, 3, 4, 3, 4, 3, 5, 3, 5, 3, 6, 3, 6, 3, 7, 3, 7, 3, 8, 3, 8, 3, 9, 3, 9, 3, 10, 3, 10, 3, 11, 3, 11, 3, 12, 3, 12, 3, 13, 3, 13, 3, 14, 3, 14, 3, 15, 3, 15, 3, 16, 3, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 18, 5, 18, 438, 10, 18, 3, 19, 3, 19, 3, 19, 3, 19, 7, 19, 444, 10, 19, 12, 19, 14, 19, 447, 11, 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 21, 3, 21, 3, 21, 3, 21, 7, 21, 457, 10, 21, 12, 21, 14, 21, 460, 11, 21, 5, 21, 462, 10, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 23, 3, 23, 3, 23, 5, 23, 471, 10, 23, 3, 23, 3, 23, 3, 23, 3, 24, 3, 24, 3, 24, 3, 24, 5, 24, 480, 10, 24, 3, 25, 7, 25, 483, 10, 25, 12, 25, 14, 25, 486, 11, 25, 3, 25, 5, 25, 489, 10, 25, 3, 25, 5, 25, 492, 10, 25, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 7, 26, 499, 10, 26, 12, 26, 14, 26, 502, 11, 26, 3, 26, 3, 26, 3, 26, 7, 26, 507, 10, 26, 12, 26, 14, 26, 510, 11, 26, 3, 26, 3, 26, 3, 26, 3, 27, 3, 27, 3, 27, 3, 27, 5, 27, 519, 10, 27, 3, 27, 5, 27, 522, 10, 27, 3, 27, 3, 27, 3, 28, 3, 28, 7, 28, 528, 10, 28, 12, 28, 14, 28, 531, 11, 28, 3, 28, 3, 28, 3, 28, 3, 28, 3, 29, 3, 29, 5, 29, 539, 10, 29, 3, 30, 3, 30, 3, 31, 3, 31, 3, 31, 3, 32, 3, 32, 5, 32, 548, 10, 32, 3, 32, 3, 32, 3, 32, 3, 33, 3, 33, 5, 33, 555, 10, 33, 3, 34, 3, 34, 3, 35, 3, 35, 3, 36, 3, 36, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 37, 3, 38, 3, 38, 3, 39, 3, 39, 3, 40, 3, 40, 3, 41, 3, 41, 3, 41, 7, 41, 578, 10, 41, 12, 41, 14, 41, 581, 11, 41, 3, 41, 3, 41, 3, 41, 3, 42, 3, 42, 3, 43, 3, 43, 3, 43, 3, 43, 7, 43, 592, 10, 43, 12, 43, 14, 43, 595, 11, 43, 3, 43, 3, 43, 3, 43, 5, 43, 600, 10, 43, 3, 43, 3, 43, 3, 43, 3, 44, 3, 44, 3, 44, 7, 44, 608, 10, 44, 12, 44, 14, 44, 611, 11, 44, 3, 44, 3, 44, 3, 44, 3, 45, 3, 45, 3, 45, 5, 45, 619, 10, 45, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 46, 3, 47, 3, 47, 3, 47, 7, 47, 631, 10, 47, 12, 47, 14, 47, 634, 11, 47, 3, 47, 3, 47, 3, 47, 3, 48, 3, 48, 5, 48, 641, 10, 48, 3, 49, 3, 49, 3, 50, 3, 50, 5, 50, 647, 10, 50, 3, 51, 3, 51, 3, 51, 3, 51, 3, 51, 5, 51, 654, 10, 51, 3, 52, 3, 52, 3, 52, 3, 52, 3, 52, 3, 52, 3, 52, 3, 53, 3, 53, 3, 53, 7, 53, 666, 10, 53, 12, 53, 14, 53, 669, 11, 53, 3, 54, 3, 54, 3, 54, 5, 54, 674, 10, 54, 3, 54, 3, 54, 3, 55, 3, 55, 3, 55, 5, 55, 681, 10, 55, 3, 56, 7, 56, 684, 10, 56, 12, 56, 14, 56, 687, 11, 56, 3, 56, 5, 56, 690, 10, 56, 3, 56, 5, 56, 693, 10, 56, 3, 56, 5, 56, 696, 10, 56, 3, 56, 5, 56, 699, 10, 56, 3, 57, 3, 57, 3, 57, 3, 57, 3, 57, 7, 57, 706, 10, 57, 12, 57, 14, 57, 709, 11, 57, 5, 57, 711, 10, 57, 3, 57, 3, 57, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 59, 3, 59, 3, 59, 3, 59, 3, 59, 3, 60, 3, 60, 3, 61, 3, 61, 3, 61, 3, 61, 5, 61, 731, 10, 61, 3, 62, 3, 62, 3, 63, 3, 63, 3, 63, 3, 63, 7, 63, 739, 10, 63, 12, 63, 14, 63, 742, 11, 63, 3, 63, 3, 63, 3, 64, 3, 64, 3, 65, 3, 65, 3, 65, 5, 65, 751, 10, 65, 3, 65, 3, 65, 3, 66, 5, 66, 756, 10, 66, 3, 66, 3, 66, 3, 66, 3, 66, 5, 66, 762, 10, 66, 3, 67, 3, 67, 3, 67, 3, 68, 3, 68, 3, 68, 7, 68, 770, 10, 68, 12, 68, 14, 68, 773, 11, 68, 3, 68, 3, 68, 5, 68, 777, 10, 68, 3, 68, 3, 68, 3, 68, 3, 69, 3, 69, 3, 69, 3, 69, 5, 69, 786, 10, 69, 3, 70, 3, 70, 3, 70, 5, 70, 791, 10, 70, 3, 71, 3, 71, 3, 71, 7, 71, 796, 10, 71, 12, 71, 14, 71, 799, 11, 71, 3, 71, 3, 71, 3, 71, 3, 72, 3, 72, 5, 72, 806, 10, 72, 3, 72, 5, 72, 809, 10, 72, 3, 73, 3, 73, 3, 73, 3, 73, 7, 73, 815, 10, 73, 12, 73, 14, 73, 818, 11, 73, 3, 73, 3, 73, 3, 73, 3, 74, 3, 74, 3, 74, 3, 74, 3, 74, 3, 74, 7, 74, 829, 10, 74, 12, 74, 14, 74, 832, 11, 74, 3, 74, 3, 74, 5, 74, 836, 10, 74, 3, 74, 3, 74, 3, 74, 3, 74, 3, 75, 3, 75, 3, 76, 3, 76, 3, 76, 3, 76, 5, 76, 848, 10, 76, 3, 77, 3, 77, 3, 77, 3, 77, 5, 77, 854, 10, 77, 3, 78, 3, 78, 5, 78, 858, 10, 78, 3, 78, 3, 78, 5, 78, 862, 10, 78, 3, 78, 5, 78, 865, 10, 78, 3, 78, 3, 78, 3, 79, 3, 79, 5, 79, 871, 10, 79, 3, 79, 3, 79, 3, 79, 3, 80, 3, 80, 5, 80, 878, 10, 80, 3, 80, 3, 80, 5, 80, 882, 10, 80, 3, 80, 3, 80, 3, 81, 3, 81, 5, 81, 888, 10, 81, 3, 82, 3, 82, 5, 82, 892, 10, 82, 3, 82, 3, 82, 3, 82, 3, 83, 3, 83, 3, 83, 5, 83, 900, 10, 83, 3, 84, 3, 84, 3, 84, 5, 84, 905, 10, 84, 3, 85, 3, 85, 3, 85, 3, 86, 3, 86, 3, 86, 3, 86, 3, 86, 3, 86, 5, 86, 916, 10, 86, 3, 86, 3, 86, 3, 86, 3, 87, 3, 87, 7, 87, 923, 10, 87, 12, 87, 14, 87, 926, 11, 87, 3, 88, 3, 88, 7, 88, 930, 10, 88, 12, 88, 14, 88, 933, 11, 88, 3, 89, 3, 89, 3, 90, 3, 90, 3, 90, 3, 90, 3, 90, 3, 90, 3, 90, 5, 90, 944, 10, 90, 3, 91, 3, 91, 3, 92, 3, 92, 3, 93, 3, 93, 3, 94, 3, 94, 3, 94, 3, 94, 5, 94, 956, 10, 94, 3, 94, 3, 94, 3, 95, 3, 95, 5, 95, 962, 10, 95, 3, 96, 3, 96, 3, 97, 3, 97, 5, 97, 968, 10, 97, 3, 98, 3, 98, 3, 98, 3, 98, 3, 98, 3, 98, 3, 98, 3, 98, 3, 99, 3, 99, 3, 100, 3, 100, 3, 101, 3, 101, 3, 102, 3, 102, 3, 103, 3, 103, 3, 103, 3, 103, 3, 103, 3, 103, 3, 103, 5, 103, 993, 10, 103, 3, 103, 3, 103, 3, 103, 3, 104, 3, 104, 5, 104, 1000, 10, 104, 3, 104, 5, 104, 1003, 10, 104, 3, 104, 3, 104, 3, 105, 3, 105, 3, 105, 7, 105, 1010, 10, 105, 12, 105, 14, 105, 1013, 11, 105, 3, 106, 3, 106, 5, 106, 1017, 10, 106, 3, 106, 3, 106, 5, 106, 1021, 10, 106, 3, 106, 3, 106, 3, 107, 3, 107, 3, 107, 3, 107, 3, 107, 5, 107, 1030, 10, 107, 3, 108, 3, 108, 3, 108, 7, 108, 1035, 10, 108, 12, 108, 14, 108, 1038, 11, 108, 3, 108, 3, 108, 3, 108, 3, 109, 3, 109, 3, 109, 7, 109, 1046, 10, 109, 12, 109, 14, 109, 1049, 11, 109, 3, 109, 3, 109, 3, 109, 3, 109, 5, 109, 1055, 10, 109, 3, 109, 3, 109, 3, 110, 3, 110, 3, 111, 3, 111, 3, 112, 3, 112, 3, 113, 3, 113, 3, 114, 3, 114, 5, 114, 1069, 10, 114, 3, 115, 3, 115, 3, 115, 3, 115, 5, 115, 1075, 10, 115, 5, 115, 1077, 10, 115, 3, 116, 3, 116, 3, 117, 3, 117, 3, 118, 3, 118, 3, 119, 3, 119, 3, 119, 3, 119, 3, 119, 7, 119, 1090, 10, 119, 12, 119, 14, 119, 1093, 11, 119, 3, 119, 3, 119, 3, 120, 3, 120, 3, 121, 3, 121, 3, 122, 3, 122, 3, 122, 5, 122, 1104, 10, 122, 3, 123, 3, 123, 3, 124, 3, 124, 3, 125, 3, 125, 3, 125, 7, 125, 1113, 10, 125, 12, 125, 14, 125, 1116, 11, 125, 5, 125, 1118, 10, 125, 3, 126, 3, 126, 5, 126, 1122, 10, 126, 3, 126, 5, 126, 1125, 10, 126, 3, 126, 3, 126, 3, 127, 3, 127, 3, 127, 7, 127, 1132, 10, 127, 12, 127, 14, 127, 1135, 11, 127, 3, 127, 3, 127, 3, 127, 3, 128, 3, 128, 3, 128, 3, 128, 3, 128, 3, 128, 7, 128, 1146, 10, 128, 12, 128, 14, 128, 1149, 11, 128, 3, 128, 3, 128, 5, 128, 1153, 10, 128, 3, 128, 3, 128, 3, 129, 5, 129, 1158, 10, 129, 3, 129, 3, 129, 3, 130, 3, 130, 3, 131, 3, 131, 3, 131, 3, 131, 3, 131, 5, 131, 1169, 10, 131, 3, 132, 3, 132, 3, 132, 3, 132, 3, 133, 3, 133, 3, 133, 5, 133, 1178, 10, 133, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 134, 3, 135, 3, 135, 3, 135, 3, 135, 3, 135, 5, 135, 1194, 10, 135, 3, 136, 3, 136, 3, 136, 5, 136, 1199, 10, 136, 3, 137, 3, 137, 5, 137, 1203, 10, 137, 3, 138, 3, 138, 3, 138, 3, 138, 3, 138, 3, 138, 3, 138, 7, 138, 1212, 10, 138, 12, 138, 14, 138, 1215, 11, 138, 3, 138, 3, 138, 5, 138, 1219, 10, 138, 3, 138, 3, 138, 3, 139, 3, 139, 3, 140, 3, 140, 3, 140, 5, 140, 1228, 10, 140, 3, 141, 3, 141, 3, 141, 3, 141, 3, 141, 5, 141, 1235, 10, 141, 3, 142, 5, 142, 1238, 10, 142, 3, 142, 5, 142, 1241, 10, 142, 3, 142, 5, 142, 1244, 10, 142, 3, 143, 3, 143, 3, 143, 3, 143, 3, 143, 7, 143, 1251, 10, 143, 12, 143, 14, 143, 1254, 11, 143, 3, 143, 3, 143, 3, 143, 3, 144, 3, 144, 3, 145, 3, 145, 3, 145, 5, 145, 1264, 10, 145, 3, 146, 3, 146, 3, 146, 3, 146, 3, 146, 5, 146, 1271, 10, 146, 3, 147, 3, 147, 3, 147, 3, 147, 3, 147, 5, 147, 1278, 10, 147, 3, 147, 3, 147, 3, 148, 3, 148, 3, 148, 7, 148, 1285, 10, 148, 12, 148, 14, 148, 1288, 11, 148, 3, 148, 3, 148, 3, 148, 3, 148, 3, 149, 3, 149, 3, 149, 3, 149, 3, 149, 3, 149, 3, 149, 7, 149, 1301, 10, 149, 12, 149, 14, 149, 1304, 11, 149, 3, 149, 3, 149, 3, 149, 3, 150, 3, 150, 3, 151, 3, 151, 3, 152, 7, 152, 1314, 10, 152, 12, 152, 14, 152, 1317, 11, 152, 3, 152, 5, 152, 1320, 10, 152, 3, 152, 7, 152, 1323, 10, 152, 12, 152, 14, 152, 1326, 11, 152, 3, 153, 3, 153, 5, 153, 1330, 10, 153, 3, 154, 3, 154, 3, 154, 5, 154, 1335, 10, 154, 3, 154, 3, 154, 3, 154, 3, 154, 3, 154, 3, 155, 3, 155, 3, 156, 3, 156, 3, 157, 3, 157, 3, 158, 3, 158, 3, 158, 3, 158, 5, 158, 1352, 10, 158, 3, 159, 3, 159, 3, 159, 3, 159, 7, 159, 1358, 10, 159, 12, 159, 14, 159, 1361, 11, 159, 3, 159, 3, 159, 3, 160, 3, 160, 5, 160, 1367, 10, 160, 5, 160, 1369, 10, 160, 3, 160, 3, 160, 3, 160, 5, 160, 1374, 10, 160, 3, 161, 3, 161, 5, 161, 1378, 10, 161, 3, 161, 3, 161, 3, 161, 3, 162, 3, 162, 3, 162, 3, 162, 7, 162, 1387, 10, 162, 12, 162, 14, 162, 1390, 11, 162, 3, 163, 3, 163, 3, 163, 3, 163, 3, 163, 3, 163, 3, 163, 5, 163, 1399, 10, 163, 3, 164, 3, 164, 3, 164, 3, 164, 3, 164, 5, 164, 1406, 10, 164, 3, 165, 3, 165, 3, 165, 3, 166, 3, 166, 3, 166, 3, 166, 3, 166, 3, 166, 3, 166, 5, 166, 1418, 10, 166, 3, 167, 3, 167, 3, 167, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 3, 168, 5, 168, 1434, 10, 168, 3, 169, 3, 169, 3, 170, 3, 170, 5, 170, 1440, 10, 170, 3, 171, 5, 171, 1443, 10, 171, 3, 171, 5, 171, 1446, 10, 171, 3, 172, 3, 172, 3, 172, 3, 172, 3, 172, 3, 173, 5, 173, 1454, 10, 173, 3, 173, 5, 173, 1457, 10, 173, 3, 173, 3, 173, 3, 173, 5, 173, 1462, 10, 173, 3, 174, 3, 174, 3, 174, 3, 174, 3, 174, 3, 175, 3, 175, 3, 175, 3, 175, 3, 175, 3, 175, 3, 176, 3, 176, 3, 177, 3, 177, 3, 177, 3, 177, 3, 177, 3, 177, 7, 177, 1483, 10, 177, 12, 177, 14, 177, 1486, 11, 177, 3, 177, 3, 177, 3, 178, 3, 178, 3, 178, 5, 178, 1493, 10, 178, 3, 179, 3, 179, 3, 179, 7, 179, 1498, 10, 179, 12, 179, 14, 179, 1501, 11, 179, 3, 180, 3, 180, 3, 180, 7, 180, 1506, 10, 180, 12, 180, 14, 180, 1509, 11, 180, 3, 181, 3, 181, 3, 181, 3, 182, 3, 182, 3, 182, 3, 182, 3, 182, 3, 182, 5, 182, 1520, 10, 182, 3, 183, 6, 183, 1523, 10, 183, 13, 183, 14, 183, 1524, 3, 183, 3, 183, 3, 184, 3, 184, 3, 184, 3, 184, 7, 184, 1533, 10, 184, 12, 184, 14, 184, 1536, 11, 184, 3, 185, 3, 185, 3, 185, 3, 185, 3, 185, 7, 185, 1543, 10, 185, 12, 185, 14, 185, 1546, 11, 185, 3, 185, 3, 185, 3, 185, 3, 186, 3, 186, 3, 186, 3, 186, 3, 186, 3, 186, 5, 186, 1557, 10, 186, 3, 186, 3, 186, 3, 186, 3, 187, 3, 187, 3, 188, 3, 188, 5, 188, 1566, 10, 188, 3, 189, 3, 189, 3, 190, 3, 190, 3, 191, 3, 191, 5, 191, 1574, 10, 191, 3, 192, 3, 192, 3, 192, 3, 192, 3, 192, 3, 192, 7, 192, 1582, 10, 192, 12, 192, 14, 192, 1585, 11, 192, 3, 193, 3, 193, 3, 193, 5, 193, 1590, 10, 193, 3, 193, 3, 193, 3, 193, 7, 193, 1595, 10, 193, 12, 193, 14, 193, 1598, 11, 193, 3, 194, 3, 194, 3, 194, 3, 195, 3, 195, 3, 195, 3, 195, 3, 195, 3, 195, 3, 195, 7, 195, 1610, 10, 195, 12, 195, 14, 195, 1613, 11, 195, 3, 195, 3, 195, 5, 195, 1617, 10, 195, 3, 195, 3, 195, 3, 196, 3, 196, 3, 197, 3, 197, 3, 197, 3, 197, 3, 197, 3, 197, 7, 197, 1629, 10, 197, 12, 197, 14, 197, 1632, 11, 197, 3, 198, 3, 198, 3, 198, 3, 199, 3, 199, 3, 200, 3, 200, 3, 200, 3, 200, 5, 200, 1643, 10, 200, 3, 200, 2, 2, 201, 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, 96, 98, 100, 102, 104, 106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 134, 136, 138, 140, 142, 144, 146, 148, 150, 152, 154, 156, 158, 160, 162, 164, 166, 168, 170, 172, 174, 176, 178, 180, 182, 184, 186, 188, 190, 192, 194, 196, 198, 200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 222, 224, 226, 228, 230, 232, 234, 236, 238, 240, 242, 244, 246, 248, 250, 252, 254, 256, 258, 260, 262, 264, 266, 268, 270, 272, 274, 276, 278, 280, 282, 284, 286, 288, 290, 292, 294, 296, 298, 300, 302, 304, 306, 308, 310, 312, 314, 316, 318, 320, 322, 324, 326, 328, 330, 332, 334, 336, 338, 340, 342, 344, 346, 348, 350, 352, 354, 356, 358, 360, 362, 364, 366, 368, 370, 372, 374, 376, 378, 380, 382, 384, 386, 388, 390, 392, 394, 396, 398, 2, 13, 5, 2, 7, 8, 110, 110, 154, 154, 6, 2, 14, 14, 52, 52, 112, 112, 125, 125, 21, 2, 32, 32, 34, 34, 41, 42, 47, 47, 53, 53, 74, 75, 80, 80, 85, 86, 92, 92, 95, 95, 97, 99, 101, 101, 105, 106, 121, 121, 127, 128, 130, 130, 135, 135, 140, 140, 146, 149, 4, 2, 89, 89, 117, 117, 3, 2, 19, 20, 4, 2, 43, 43, 126, 126, 5, 2, 77, 77, 138, 138, 143, 143, 6, 2, 21, 23, 37, 37, 55, 55, 102, 102, 4, 2, 19, 20, 26, 31, 4, 2, 156, 156, 160, 160, 4, 2, 7, 8, 103, 103, 2, 1644, 2, 400, 3, 2, 2, 2, 4, 402, 3, 2, 2, 2, 6, 404, 3, 2, 2, 2, 8, 406, 3, 2, 2, 2, 10, 408, 3, 2, 2, 2, 12, 410, 3, 2, 2, 2, 14, 412, 3, 2, 2, 2, 16, 414, 3, 2, 2, 2, 18, 416, 3, 2, 2, 2, 20, 418, 3, 2, 2, 2, 22, 420, 3, 2, 2, 2, 24, 422, 3, 2, 2, 2, 26, 424, 3, 2, 2, 2, 28, 426, 3, 2, 2, 2, 30, 428, 3, 2, 2, 2, 32, 430, 3, 2, 2, 2, 34, 434, 3, 2, 2, 2, 36, 439, 3, 2, 2, 2, 38, 450, 3, 2, 2, 2, 40, 452, 3, 2, 2, 2, 42, 465, 3, 2, 2, 2, 44, 467, 3, 2, 2, 2, 46, 479, 3, 2, 2, 2, 48, 484, 3, 2, 2, 2, 50, 493, 3, 2, 2, 2, 52, 514, 3, 2, 2, 2, 54, 525, 3, 2, 2, 2, 56, 538, 3, 2, 2, 2, 58, 540, 3, 2, 2, 2, 60, 542, 3, 2, 2, 2, 62, 545, 3, 2, 2, 2, 64, 552, 3, 2, 2, 2, 66, 556, 3, 2, 2, 2, 68, 558, 3, 2, 2, 2, 70, 560, 3, 2, 2, 2, 72, 562, 3, 2, 2, 2, 74, 568, 3, 2, 2, 2, 76, 570, 3, 2, 2, 2, 78, 572, 3, 2, 2, 2, 80, 574, 3, 2, 2, 2, 82, 585, 3, 2, 2, 2, 84, 587, 3, 2, 2, 2, 86, 604, 3, 2, 2, 2, 88, 618, 3, 2, 2, 2, 90, 620, 3, 2, 2, 2, 92, 627, 3, 2, 2, 2, 94, 640, 3, 2, 2, 2, 96, 642, 3, 2, 2, 2, 98, 646, 3, 2, 2, 2, 100, 653, 3, 2, 2, 2, 102, 655, 3, 2, 2, 2, 104, 662, 3, 2, 2, 2, 106, 673, 3, 2, 2, 2, 108, 677, 3, 2, 2, 2, 110, 685, 3, 2, 2, 2, 112, 700, 3, 2, 2, 2, 114, 714, 3, 2, 2, 2, 116, 719, 3, 2, 2, 2, 118, 724, 3, 2, 2, 2, 120, 726, 3, 2, 2, 2, 122, 732, 3, 2, 2, 2, 124, 734, 3, 2, 2, 2, 126, 745, 3, 2, 2, 2, 128, 750, 3, 2, 2, 2, 130, 755, 3, 2, 2, 2, 132, 763, 3, 2, 2, 2, 134, 766, 3, 2, 2, 2, 136, 781, 3, 2, 2, 2, 138, 787, 3, 2, 2, 2, 140, 792, 3, 2, 2, 2, 142, 805, 3, 2, 2, 2, 144, 810, 3, 2, 2, 2, 146, 822, 3, 2, 2, 2, 148, 841, 3, 2, 2, 2, 150, 847, 3, 2, 2, 2, 152, 853, 3, 2, 2, 2, 154, 855, 3, 2, 2, 2, 156, 868, 3, 2, 2, 2, 158, 875, 3, 2, 2, 2, 160, 887, 3, 2, 2, 2, 162, 889, 3, 2, 2, 2, 164, 896, 3, 2, 2, 2, 166, 901, 3, 2, 2, 2, 168, 906, 3, 2, 2, 2, 170, 909, 3, 2, 2, 2, 172, 920, 3, 2, 2, 2, 174, 927, 3, 2, 2, 2, 176, 934, 3, 2, 2, 2, 178, 936, 3, 2, 2, 2, 180, 945, 3, 2, 2, 2, 182, 947, 3, 2, 2, 2, 184, 949, 3, 2, 2, 2, 186, 951, 3, 2, 2, 2, 188, 961, 3, 2, 2, 2, 190, 963, 3, 2, 2, 2, 192, 967, 3, 2, 2, 2, 194, 969, 3, 2, 2, 2, 196, 977, 3, 2, 2, 2, 198, 979, 3, 2, 2, 2, 200, 981, 3, 2, 2, 2, 202, 983, 3, 2, 2, 2, 204, 985, 3, 2, 2, 2, 206, 1002, 3, 2, 2, 2, 208, 1006, 3, 2, 2, 2, 210, 1014, 3, 2, 2, 2, 212, 1029, 3, 2, 2, 2, 214, 1031, 3, 2, 2, 2, 216, 1042, 3, 2, 2, 2, 218, 1058, 3, 2, 2, 2, 220, 1060, 3, 2, 2, 2, 222, 1062, 3, 2, 2, 2, 224, 1064, 3, 2, 2, 2, 226, 1068, 3, 2, 2, 2, 228, 1070, 3, 2, 2, 2, 230, 1078, 3, 2, 2, 2, 232, 1080, 3, 2, 2, 2, 234, 1082, 3, 2, 2, 2, 236, 1084, 3, 2, 2, 2, 238, 1096, 3, 2, 2, 2, 240, 1098, 3, 2, 2, 2, 242, 1103, 3, 2, 2, 2, 244, 1105, 3, 2, 2, 2, 246, 1107, 3, 2, 2, 2, 248, 1117, 3, 2, 2, 2, 250, 1121, 3, 2, 2, 2, 252, 1128, 3, 2, 2, 2, 254, 1139, 3, 2, 2, 2, 256, 1157, 3, 2, 2, 2, 258, 1161, 3, 2, 2, 2, 260, 1168, 3, 2, 2, 2, 262, 1170, 3, 2, 2, 2, 264, 1177, 3, 2, 2, 2, 266, 1179, 3, 2, 2, 2, 268, 1188, 3, 2, 2, 2, 270, 1195, 3, 2, 2, 2, 272, 1202, 3, 2, 2, 2, 274, 1204, 3, 2, 2, 2, 276, 1222, 3, 2, 2, 2, 278, 1227, 3, 2, 2, 2, 280, 1234, 3, 2, 2, 2, 282, 1237, 3, 2, 2, 2, 284, 1245, 3, 2, 2, 2, 286, 1258, 3, 2, 2, 2, 288, 1260, 3, 2, 2, 2, 290, 1270, 3, 2, 2, 2, 292, 1272, 3, 2, 2, 2, 294, 1281, 3, 2, 2, 2, 296, 1293, 3, 2, 2, 2, 298, 1308, 3, 2, 2, 2, 300, 1310, 3, 2, 2, 2, 302, 1315, 3, 2, 2, 2, 304, 1329, 3, 2, 2, 2, 306, 1331, 3, 2, 2, 2, 308, 1341, 3, 2, 2, 2, 310, 1343, 3, 2, 2, 2, 312, 1345, 3, 2, 2, 2, 314, 1347, 3, 2, 2, 2, 316, 1353, 3, 2, 2, 2, 318, 1368, 3, 2, 2, 2, 320, 1375, 3, 2, 2, 2, 322, 1382, 3, 2, 2, 2, 324, 1398, 3, 2, 2, 2, 326, 1405, 3, 2, 2, 2, 328, 1407, 3, 2, 2, 2, 330, 1417, 3, 2, 2, 2, 332, 1419, 3, 2, 2, 2, 334, 1433, 3, 2, 2, 2, 336, 1435, 3, 2, 2, 2, 338, 1437, 3, 2, 2, 2, 340, 1442, 3, 2, 2, 2, 342, 1447, 3, 2, 2, 2, 344, 1453, 3, 2, 2, 2, 346, 1463, 3, 2, 2, 2, 348, 1468, 3, 2, 2, 2, 350, 1474, 3, 2, 2, 2, 352, 1476, 3, 2, 2, 2, 354, 1492, 3, 2, 2, 2, 356, 1494, 3, 2, 2, 2, 358, 1502, 3, 2, 2, 2, 360, 1510, 3, 2, 2, 2, 362, 1519, 3, 2, 2, 2, 364, 1522, 3, 2, 2, 2, 366, 1528, 3, 2, 2, 2, 368, 1537, 3, 2, 2, 2, 370, 1550, 3, 2, 2, 2, 372, 1561, 3, 2, 2, 2, 374, 1565, 3, 2, 2, 2, 376, 1567, 3, 2, 2, 2, 378, 1569, 3, 2, 2, 2, 380, 1573, 3, 2, 2, 2, 382, 1575, 3, 2, 2, 2, 384, 1589, 3, 2, 2, 2, 386, 1599, 3, 2, 2, 2, 388, 1602, 3, 2, 2, 2, 390, 1620, 3, 2, 2, 2, 392, 1622, 3, 2, 2, 2, 394, 1633, 3, 2, 2, 2, 396, 1636, 3, 2, 2, 2, 398, 1638, 3, 2, 2, 2, 400, 401, 5, 58, 30, 2, 401, 3, 3, 2, 2, 2, 402, 403, 5, 96, 49, 2, 403, 5, 3, 2, 2, 2, 404, 405, 5, 118, 60, 2, 405, 7, 3, 2, 2, 2, 406, 407, 5, 122, 62, 2, 407, 9, 3, 2, 2, 2, 408, 409, 5, 148, 75, 2, 409, 11, 3, 2, 2, 2, 410, 411, 5, 240, 121, 2, 411, 13, 3, 2, 2, 2, 412, 413, 5, 258, 130, 2, 413, 15, 3, 2, 2, 2, 414, 415, 5, 300, 151, 2, 415, 17, 3, 2, 2, 2, 416, 417, 5, 298, 150, 2, 417, 19, 3, 2, 2, 2, 418, 419, 5, 308, 155, 2, 419, 21, 3, 2, 2, 2, 420, 421, 5, 350, 176, 2, 421, 23, 3, 2, 2, 2, 422, 423, 5, 376, 189, 2, 423, 25, 3, 2, 2, 2, 424, 425, 5, 372, 187, 2, 425, 27, 3, 2, 2, 2, 426, 427, 5, 390, 196, 2, 427, 29, 3, 2, 2, 2, 428, 429, 7, 33, 2, 2, 429, 31, 3, 2, 2, 2, 430, 431, 7, 33, 2, 2, 431, 432, 7, 134, 2, 2, 432, 433, 7, 3, 2, 2, 433, 33, 3, 2, 2, 2, 434, 435, 7, 33, 2, 2, 435, 437, 7, 134, 2, 2, 436, 438, 5, 342, 172, 2, 437, 436, 3, 2, 2, 2, 437, 438, 3, 2, 2, 2, 438, 35, 3, 2, 2, 2, 439, 440, 7, 4, 2, 2, 440, 445, 5, 238, 120, 2, 441, 442, 7, 5, 2, 2, 442, 444, 5, 238, 120, 2, 443, 441, 3, 2, 2, 2, 444, 447, 3, 2, 2, 2, 445, 443, 3, 2, 2, 2, 445, 446, 3, 2, 2, 2, 446, 448, 3, 2, 2, 2, 447, 445, 3, 2, 2, 2, 448, 449, 7, 6, 2, 2, 449, 37, 3, 2, 2, 2, 450, 451, 9, 2, 2, 2, 451, 39, 3, 2, 2, 2, 452, 461, 7, 9, 2, 2, 453, 458, 5, 108, 55, 2, 454, 455, 7, 5, 2, 2, 455, 457, 5, 108, 55, 2, 456, 454, 3, 2, 2, 2, 457, 460, 3, 2, 2, 2, 458, 456, 3, 2, 2, 2, 458, 459, 3, 2, 2, 2, 459, 462, 3, 2, 2, 2, 460, 458, 3, 2, 2, 2, 461, 453, 3, 2, 2, 2, 461, 462, 3, 2, 2, 2, 462, 463, 3, 2, 2, 2, 463, 464, 7, 10, 2, 2, 464, 41, 3, 2, 2, 2, 465, 466, 5, 322, 162, 2, 466, 43, 3, 2, 2, 2, 467, 470, 7, 35, 2, 2, 468, 469, 7, 11, 2, 2, 469, 471, 5, 374, 188, 2, 470, 468, 3, 2, 2, 2, 470, 471, 3, 2, 2, 2, 471, 472, 3, 2, 2, 2, 472, 473, 7, 107, 2, 2, 473, 474, 5, 242, 122, 2, 474, 45, 3, 2, 2, 2, 475, 480, 5, 52, 27, 2, 476, 480, 5, 62, 32, 2, 477, 480, 5, 210, 106, 2, 478, 480, 5, 320, 161, 2, 479, 475, 3, 2, 2, 2, 479, 476, 3, 2, 2, 2, 479, 477, 3, 2, 2, 2, 479, 478, 3, 2, 2, 2, 480, 47, 3, 2, 2, 2, 481, 483, 5, 100, 51, 2, 482, 481, 3, 2, 2, 2, 483, 486, 3, 2, 2, 2, 484, 482, 3, 2, 2, 2, 484, 485, 3, 2, 2, 2, 485, 488, 3, 2, 2, 2, 486, 484, 3, 2, 2, 2, 487, 489, 5, 92, 47, 2, 488, 487, 3, 2, 2, 2, 488, 489, 3, 2, 2, 2, 489, 491, 3, 2, 2, 2, 490, 492, 5, 214, 108, 2, 491, 490, 3, 2, 2, 2, 491, 492, 3, 2, 2, 2, 492, 49, 3, 2, 2, 2, 493, 494, 7, 36, 2, 2, 494, 495, 5, 390, 196, 2, 495, 496, 7, 79, 2, 2, 496, 500, 5, 160, 81, 2, 497, 499, 5, 264, 133, 2, 498, 497, 3, 2, 2, 2, 499, 502, 3, 2, 2, 2, 500, 498, 3, 2, 2, 2, 500, 501, 3, 2, 2, 2, 501, 503, 3, 2, 2, 2, 502, 500, 3, 2, 2, 2, 503, 504, 7, 3, 2, 2, 504, 508, 5, 334, 168, 2, 505, 507, 5, 334, 168, 2, 506, 505, 3, 2, 2, 2, 507, 510, 3, 2, 2, 2, 508, 506, 3, 2, 2, 2, 508, 509, 3, 2, 2, 2, 509, 511, 3, 2, 2, 2, 510, 508, 3, 2, 2, 2, 511, 512, 7, 58, 2, 2, 512, 513, 7, 3, 2, 2, 513, 51, 3, 2, 2, 2, 514, 515, 7, 39, 2, 2, 515, 516, 5, 72, 37, 2, 516, 518, 7, 107, 2, 2, 517, 519, 7, 109, 2, 2, 518, 517, 3, 2, 2, 2, 518, 519, 3, 2, 2, 2, 519, 521, 3, 2, 2, 2, 520, 522, 7, 142, 2, 2, 521, 520, 3, 2, 2, 2, 521, 522, 3, 2, 2, 2, 522, 523, 3, 2, 2, 2, 523, 524, 5, 188, 95, 2, 524, 53, 3, 2, 2, 2, 525, 529, 5, 160, 81, 2, 526, 528, 5, 264, 133, 2, 527, 526, 3, 2, 2, 2, 528, 531, 3, 2, 2, 2, 529, 527, 3, 2, 2, 2, 529, 530, 3, 2, 2, 2, 530, 532, 3, 2, 2, 2, 531, 529, 3, 2, 2, 2, 532, 533, 7, 12, 2, 2, 533, 534, 5, 136, 69, 2, 534, 535, 7, 3, 2, 2, 535, 55, 3, 2, 2, 2, 536, 539, 5, 58, 30, 2, 537, 539, 5, 270, 136, 2, 538, 536, 3, 2, 2, 2, 538, 537, 3, 2, 2, 2, 539, 57, 3, 2, 2, 2, 540, 541, 7, 159, 2, 2, 541, 59, 3, 2, 2, 2, 542, 543, 7, 13, 2, 2, 543, 544, 5, 2, 2, 2, 544, 61, 3, 2, 2, 2, 545, 547, 7, 43, 2, 2, 546, 548, 5, 72, 37, 2, 547, 546, 3, 2, 2, 2, 547, 548, 3, 2, 2, 2, 548, 549, 3, 2, 2, 2, 549, 550, 7, 107, 2, 2, 550, 551, 5, 188, 95, 2, 551, 63, 3, 2, 2, 2, 552, 554, 7, 46, 2, 2, 553, 555, 5, 398, 200, 2, 554, 553, 3, 2, 2, 2, 554, 555, 3, 2, 2, 2, 555, 65, 3, 2, 2, 2, 556, 557, 7, 48, 2, 2, 557, 67, 3, 2, 2, 2, 558, 559, 5, 234, 118, 2, 559, 69, 3, 2, 2, 2, 560, 561, 5, 234, 118, 2, 561, 71, 3, 2, 2, 2, 562, 563, 7, 9, 2, 2, 563, 564, 5, 68, 35, 2, 564, 565, 7, 11, 2, 2, 565, 566, 5, 70, 36, 2, 566, 567, 7, 10, 2, 2, 567, 73, 3, 2, 2, 2, 568, 569, 9, 3, 2, 2, 569, 75, 3, 2, 2, 2, 570, 571, 9, 4, 2, 2, 571, 77, 3, 2, 2, 2, 572, 573, 9, 5, 2, 2, 573, 79, 3, 2, 2, 2, 574, 579, 5, 82, 42, 2, 575, 576, 7, 5, 2, 2, 576, 578, 5, 82, 42, 2, 577, 575, 3, 2, 2, 2, 578, 581, 3, 2, 2, 2, 579, 577, 3, 2, 2, 2, 579, 580, 3, 2, 2, 2, 580, 582, 3, 2, 2, 2, 581, 579, 3, 2, 2, 2, 582, 583, 7, 11, 2, 2, 583, 584, 5, 334, 168, 2, 584, 81, 3, 2, 2, 2, 585, 586, 5, 136, 69, 2, 586, 83, 3, 2, 2, 2, 587, 588, 7, 50, 2, 2, 588, 589, 5, 312, 157, 2, 589, 593, 7, 107, 2, 2, 590, 592, 5, 80, 41, 2, 591, 590, 3, 2, 2, 2, 592, 595, 3, 2, 2, 2, 593, 591, 3, 2, 2, 2, 593, 594, 3, 2, 2, 2, 594, 599, 3, 2, 2, 2, 595, 593, 3, 2, 2, 2, 596, 597, 7, 111, 2, 2, 597, 598, 7, 11, 2, 2, 598, 600, 5, 334, 168, 2, 599, 596, 3, 2, 2, 2, 599, 600, 3, 2, 2, 2, 600, 601, 3, 2, 2, 2, 601, 602, 7, 59, 2, 2, 602, 603, 7, 3, 2, 2, 603, 85, 3, 2, 2, 2, 604, 605, 7, 45, 2, 2, 605, 609, 5, 334, 168, 2, 606, 608, 5, 334, 168, 2, 607, 606, 3, 2, 2, 2, 608, 611, 3, 2, 2, 2, 609, 607, 3, 2, 2, 2, 609, 610, 3, 2, 2, 2, 610, 612, 3, 2, 2, 2, 611, 609, 3, 2, 2, 2, 612, 613, 7, 57, 2, 2, 613, 614, 7, 3, 2, 2, 614, 87, 3, 2, 2, 2, 615, 619, 5, 46, 24, 2, 616, 619, 5, 330, 166, 2, 617, 619, 5, 26, 14, 2, 618, 615, 3, 2, 2, 2, 618, 616, 3, 2, 2, 2, 618, 617, 3, 2, 2, 2, 619, 89, 3, 2, 2, 2, 620, 621, 5, 96, 49, 2, 621, 622, 7, 11, 2, 2, 622, 623, 5, 188, 95, 2, 623, 624, 7, 12, 2, 2, 624, 625, 5, 136, 69, 2, 625, 626, 7, 3, 2, 2, 626, 91, 3, 2, 2, 2, 627, 628, 7, 51, 2, 2, 628, 632, 5, 90, 46, 2, 629, 631, 5, 90, 46, 2, 630, 629, 3, 2, 2, 2, 631, 634, 3, 2, 2, 2, 632, 630, 3, 2, 2, 2, 632, 633, 3, 2, 2, 2, 633, 635, 3, 2, 2, 2, 634, 632, 3, 2, 2, 2, 635, 636, 7, 60, 2, 2, 636, 637, 7, 3, 2, 2, 637, 93, 3, 2, 2, 2, 638, 641, 5, 74, 38, 2, 639, 641, 5, 4, 3, 2, 640, 638, 3, 2, 2, 2, 640, 639, 3, 2, 2, 2, 641, 95, 3, 2, 2, 2, 642, 643, 7, 159, 2, 2, 643, 97, 3, 2, 2, 2, 644, 647, 5, 130, 66, 2, 645, 647, 5, 318, 160, 2, 646, 644, 3, 2, 2, 2, 646, 645, 3, 2, 2, 2, 647, 99, 3, 2, 2, 2, 648, 654, 5, 114, 58, 2, 649, 654, 5, 144, 73, 2, 650, 654, 5, 252, 127, 2, 651, 654, 5, 346, 174, 2, 652, 654, 5, 370, 186, 2, 653, 648, 3, 2, 2, 2, 653, 649, 3, 2, 2, 2, 653, 650, 3, 2, 2, 2, 653, 651, 3, 2, 2, 2, 653, 652, 3, 2, 2, 2, 654, 101, 3, 2, 2, 2, 655, 656, 5, 56, 29, 2, 656, 657, 7, 11, 2, 2, 657, 658, 5, 242, 122, 2, 658, 659, 7, 12, 2, 2, 659, 660, 5, 136, 69, 2, 660, 661, 7, 3, 2, 2, 661, 103, 3, 2, 2, 2, 662, 663, 7, 54, 2, 2, 663, 667, 5, 102, 52, 2, 664, 666, 5, 102, 52, 2, 665, 664, 3, 2, 2, 2, 666, 669, 3, 2, 2, 2, 667, 665, 3, 2, 2, 2, 667, 668, 3, 2, 2, 2, 668, 105, 3, 2, 2, 2, 669, 667, 3, 2, 2, 2, 670, 671, 5, 300, 151, 2, 671, 672, 7, 11, 2, 2, 672, 674, 3, 2, 2, 2, 673, 670, 3, 2, 2, 2, 673, 674, 3, 2, 2, 2, 674, 675, 3, 2, 2, 2, 675, 676, 5, 136, 69, 2, 676, 107, 3, 2, 2, 2, 677, 680, 5, 136, 69, 2, 678, 679, 7, 11, 2, 2, 679, 681, 5, 286, 144, 2, 680, 678, 3, 2, 2, 2, 680, 681, 3, 2, 2, 2, 681, 109, 3, 2, 2, 2, 682, 684, 5, 134, 68, 2, 683, 682, 3, 2, 2, 2, 684, 687, 3, 2, 2, 2, 685, 683, 3, 2, 2, 2, 685, 686, 3, 2, 2, 2, 686, 689, 3, 2, 2, 2, 687, 685, 3, 2, 2, 2, 688, 690, 5, 104, 53, 2, 689, 688, 3, 2, 2, 2, 689, 690, 3, 2, 2, 2, 690, 692, 3, 2, 2, 2, 691, 693, 5, 208, 105, 2, 692, 691, 3, 2, 2, 2, 692, 693, 3, 2, 2, 2, 693, 695, 3, 2, 2, 2, 694, 696, 5, 382, 192, 2, 695, 694, 3, 2, 2, 2, 695, 696, 3, 2, 2, 2, 696, 698, 3, 2, 2, 2, 697, 699, 5, 392, 197, 2, 698, 697, 3, 2, 2, 2, 698, 699, 3, 2, 2, 2, 699, 111, 3, 2, 2, 2, 700, 701, 5, 6, 4, 2, 701, 710, 7, 4, 2, 2, 702, 707, 5, 136, 69, 2, 703, 704, 7, 5, 2, 2, 704, 706, 5, 136, 69, 2, 705, 703, 3, 2, 2, 2, 706, 709, 3, 2, 2, 2, 707, 705, 3, 2, 2, 2, 707, 708, 3, 2, 2, 2, 708, 711, 3, 2, 2, 2, 709, 707, 3, 2, 2, 2, 710, 702, 3, 2, 2, 2, 710, 711, 3, 2, 2, 2, 711, 712, 3, 2, 2, 2, 712, 713, 7, 6, 2, 2, 713, 113, 3, 2, 2, 2, 714, 715, 5, 116, 59, 2, 715, 716, 5, 110, 56, 2, 716, 717, 7, 61, 2, 2, 717, 718, 7, 3, 2, 2, 718, 115, 3, 2, 2, 2, 719, 720, 7, 71, 2, 2, 720, 721, 5, 118, 60, 2, 721, 722, 5, 340, 171, 2, 722, 723, 7, 3, 2, 2, 723, 117, 3, 2, 2, 2, 724, 725, 7, 159, 2, 2, 725, 119, 3, 2, 2, 2, 726, 727, 7, 44, 2, 2, 727, 730, 5, 26, 14, 2, 728, 729, 7, 151, 2, 2, 729, 731, 5, 124, 63, 2, 730, 728, 3, 2, 2, 2, 730, 731, 3, 2, 2, 2, 731, 121, 3, 2, 2, 2, 732, 733, 7, 159, 2, 2, 733, 123, 3, 2, 2, 2, 734, 735, 7, 4, 2, 2, 735, 740, 5, 126, 64, 2, 736, 737, 7, 5, 2, 2, 737, 739, 5, 126, 64, 2, 738, 736, 3, 2, 2, 2, 739, 742, 3, 2, 2, 2, 740, 738, 3, 2, 2, 2, 740, 741, 3, 2, 2, 2, 741, 743, 3, 2, 2, 2, 742, 740, 3, 2, 2, 2, 743, 744, 7, 6, 2, 2, 744, 125, 3, 2, 2, 2, 745, 746, 5, 122, 62, 2, 746, 127, 3, 2, 2, 2, 747, 748, 5, 26, 14, 2, 748, 749, 7, 13, 2, 2, 749, 751, 3, 2, 2, 2, 750, 747, 3, 2, 2, 2, 750, 751, 3, 2, 2, 2, 751, 752, 3, 2, 2, 2, 752, 753, 5, 8, 5, 2, 753, 129, 3, 2, 2, 2, 754, 756, 7, 76, 2, 2, 755, 754, 3, 2, 2, 2, 755, 756, 3, 2, 2, 2, 756, 757, 3, 2, 2, 2, 757, 761, 7, 72, 2, 2, 758, 759, 7, 107, 2, 2, 759, 762, 5, 124, 63, 2, 760, 762, 5, 120, 61, 2, 761, 758, 3, 2, 2, 2, 761, 760, 3, 2, 2, 2, 761, 762, 3, 2, 2, 2, 762, 131, 3, 2, 2, 2, 763, 764, 7, 73, 2, 2, 764, 765, 7, 3, 2, 2, 765, 133, 3, 2, 2, 2, 766, 771, 5, 56, 29, 2, 767, 768, 7, 5, 2, 2, 768, 770, 5, 56, 29, 2, 769, 767, 3, 2, 2, 2, 770, 773, 3, 2, 2, 2, 771, 769, 3, 2, 2, 2, 771, 772, 3, 2, 2, 2, 772, 774, 3, 2, 2, 2, 773, 771, 3, 2, 2, 2, 774, 776, 7, 11, 2, 2, 775, 777, 7, 109, 2, 2, 776, 775, 3, 2, 2, 2, 776, 777, 3, 2, 2, 2, 777, 778, 3, 2, 2, 2, 778, 779, 5, 242, 122, 2, 779, 780, 7, 3, 2, 2, 780, 135, 3, 2, 2, 2, 781, 785, 5, 322, 162, 2, 782, 783, 5, 278, 140, 2, 783, 784, 5, 322, 162, 2, 784, 786, 3, 2, 2, 2, 785, 782, 3, 2, 2, 2, 785, 786, 3, 2, 2, 2, 786, 137, 3, 2, 2, 2, 787, 790, 5, 324, 163, 2, 788, 789, 7, 15, 2, 2, 789, 791, 5, 324, 163, 2, 790, 788, 3, 2, 2, 2, 790, 791, 3, 2, 2, 2, 791, 139, 3, 2, 2, 2, 792, 797, 5, 240, 121, 2, 793, 794, 7, 5, 2, 2, 794, 796, 5, 240, 121, 2, 795, 793, 3, 2, 2, 2, 796, 799, 3, 2, 2, 2, 797, 795, 3, 2, 2, 2, 797, 798, 3, 2, 2, 2, 798, 800, 3, 2, 2, 2, 799, 797, 3, 2, 2, 2, 800, 801, 7, 11, 2, 2, 801, 802, 5, 242, 122, 2, 802, 141, 3, 2, 2, 2, 803, 806, 5, 76, 39, 2, 804, 806, 5, 10, 6, 2, 805, 803, 3, 2, 2, 2, 805, 804, 3, 2, 2, 2, 806, 808, 3, 2, 2, 2, 807, 809, 5, 36, 19, 2, 808, 807, 3, 2, 2, 2, 808, 809, 3, 2, 2, 2, 809, 143, 3, 2, 2, 2, 810, 811, 5, 146, 74, 2, 811, 812, 5, 48, 25, 2, 812, 816, 5, 334, 168, 2, 813, 815, 5, 334, 168, 2, 814, 813, 3, 2, 2, 2, 815, 818, 3, 2, 2, 2, 816, 814, 3, 2, 2, 2, 816, 817, 3, 2, 2, 2, 817, 819, 3, 2, 2, 2, 818, 816, 3, 2, 2, 2, 819, 820, 7, 62, 2, 2, 820, 821, 7, 3, 2, 2, 821, 145, 3, 2, 2, 2, 822, 823, 7, 82, 2, 2, 823, 835, 5, 148, 75, 2, 824, 825, 7, 4, 2, 2, 825, 830, 5, 140, 71, 2, 826, 827, 7, 3, 2, 2, 827, 829, 5, 140, 71, 2, 828, 826, 3, 2, 2, 2, 829, 832, 3, 2, 2, 2, 830, 828, 3, 2, 2, 2, 830, 831, 3, 2, 2, 2, 831, 833, 3, 2, 2, 2, 832, 830, 3, 2, 2, 2, 833, 834, 7, 6, 2, 2, 834, 836, 3, 2, 2, 2, 835, 824, 3, 2, 2, 2, 835, 836, 3, 2, 2, 2, 836, 837, 3, 2, 2, 2, 837, 838, 7, 11, 2, 2, 838, 839, 5, 242, 122, 2, 839, 840, 7, 3, 2, 2, 840, 147, 3, 2, 2, 2, 841, 842, 7, 159, 2, 2, 842, 149, 3, 2, 2, 2, 843, 848, 5, 44, 23, 2, 844, 848, 5, 152, 77, 2, 845, 848, 5, 164, 83, 2, 846, 848, 5, 166, 84, 2, 847, 843, 3, 2, 2, 2, 847, 844, 3, 2, 2, 2, 847, 845, 3, 2, 2, 2, 847, 846, 3, 2, 2, 2, 848, 151, 3, 2, 2, 2, 849, 854, 5, 154, 78, 2, 850, 854, 5, 156, 79, 2, 851, 854, 5, 158, 80, 2, 852, 854, 5, 162, 82, 2, 853, 849, 3, 2, 2, 2, 853, 850, 3, 2, 2, 2, 853, 851, 3, 2, 2, 2, 853, 852, 3, 2, 2, 2, 854, 153, 3, 2, 2, 2, 855, 857, 7, 39, 2, 2, 856, 858, 5, 72, 37, 2, 857, 856, 3, 2, 2, 2, 857, 858, 3, 2, 2, 2, 858, 859, 3, 2, 2, 2, 859, 861, 7, 107, 2, 2, 860, 862, 7, 109, 2, 2, 861, 860, 3, 2, 2, 2, 861, 862, 3, 2, 2, 2, 862, 864, 3, 2, 2, 2, 863, 865, 7, 142, 2, 2, 864, 863, 3, 2, 2, 2, 864, 865, 3, 2, 2, 2, 865, 866, 3, 2, 2, 2, 866, 867, 5, 242, 122, 2, 867, 155, 3, 2, 2, 2, 868, 870, 7, 43, 2, 2, 869, 871, 5, 72, 37, 2, 870, 869, 3, 2, 2, 2, 870, 871, 3, 2, 2, 2, 871, 872, 3, 2, 2, 2, 872, 873, 7, 107, 2, 2, 873, 874, 5, 242, 122, 2, 874, 157, 3, 2, 2, 2, 875, 877, 7, 94, 2, 2, 876, 878, 5, 72, 37, 2, 877, 876, 3, 2, 2, 2, 877, 878, 3, 2, 2, 2, 878, 879, 3, 2, 2, 2, 879, 881, 7, 107, 2, 2, 880, 882, 7, 142, 2, 2, 881, 880, 3, 2, 2, 2, 881, 882, 3, 2, 2, 2, 882, 883, 3, 2, 2, 2, 883, 884, 5, 242, 122, 2, 884, 159, 3, 2, 2, 2, 885, 888, 5, 12, 7, 2, 886, 888, 5, 390, 196, 2, 887, 885, 3, 2, 2, 2, 887, 886, 3, 2, 2, 2, 888, 161, 3, 2, 2, 2, 889, 891, 7, 126, 2, 2, 890, 892, 5, 72, 37, 2, 891, 890, 3, 2, 2, 2, 891, 892, 3, 2, 2, 2, 892, 893, 3, 2, 2, 2, 893, 894, 7, 107, 2, 2, 894, 895, 5, 242, 122, 2, 895, 163, 3, 2, 2, 2, 896, 899, 7, 84, 2, 2, 897, 898, 7, 11, 2, 2, 898, 900, 5, 374, 188, 2, 899, 897, 3, 2, 2, 2, 899, 900, 3, 2, 2, 2, 900, 165, 3, 2, 2, 2, 901, 904, 7, 83, 2, 2, 902, 903, 7, 11, 2, 2, 903, 905, 5, 374, 188, 2, 904, 902, 3, 2, 2, 2, 904, 905, 3, 2, 2, 2, 905, 167, 3, 2, 2, 2, 906, 907, 7, 16, 2, 2, 907, 908, 5, 6, 4, 2, 908, 169, 3, 2, 2, 2, 909, 910, 7, 87, 2, 2, 910, 911, 5, 218, 110, 2, 911, 912, 7, 136, 2, 2, 912, 915, 5, 172, 87, 2, 913, 914, 7, 56, 2, 2, 914, 916, 5, 174, 88, 2, 915, 913, 3, 2, 2, 2, 915, 916, 3, 2, 2, 2, 916, 917, 3, 2, 2, 2, 917, 918, 7, 63, 2, 2, 918, 919, 7, 3, 2, 2, 919, 171, 3, 2, 2, 2, 920, 924, 5, 334, 168, 2, 921, 923, 5, 334, 168, 2, 922, 921, 3, 2, 2, 2, 923, 926, 3, 2, 2, 2, 924, 922, 3, 2, 2, 2, 924, 925, 3, 2, 2, 2, 925, 173, 3, 2, 2, 2, 926, 924, 3, 2, 2, 2, 927, 931, 5, 334, 168, 2, 928, 930, 5, 334, 168, 2, 929, 928, 3, 2, 2, 2, 930, 933, 3, 2, 2, 2, 931, 929, 3, 2, 2, 2, 931, 932, 3, 2, 2, 2, 932, 175, 3, 2, 2, 2, 933, 931, 3, 2, 2, 2, 934, 935, 5, 234, 118, 2, 935, 177, 3, 2, 2, 2, 936, 937, 5, 390, 196, 2, 937, 938, 7, 12, 2, 2, 938, 939, 5, 68, 35, 2, 939, 940, 7, 137, 2, 2, 940, 943, 5, 70, 36, 2, 941, 942, 7, 49, 2, 2, 942, 944, 5, 176, 89, 2, 943, 941, 3, 2, 2, 2, 943, 944, 3, 2, 2, 2, 944, 179, 3, 2, 2, 2, 945, 946, 5, 234, 118, 2, 946, 181, 3, 2, 2, 2, 947, 948, 5, 180, 91, 2, 948, 183, 3, 2, 2, 2, 949, 950, 5, 180, 91, 2, 950, 185, 3, 2, 2, 2, 951, 952, 7, 9, 2, 2, 952, 955, 5, 182, 92, 2, 953, 954, 7, 11, 2, 2, 954, 956, 5, 184, 93, 2, 955, 953, 3, 2, 2, 2, 955, 956, 3, 2, 2, 2, 956, 957, 3, 2, 2, 2, 957, 958, 7, 10, 2, 2, 958, 187, 3, 2, 2, 2, 959, 962, 5, 88, 45, 2, 960, 962, 5, 6, 4, 2, 961, 959, 3, 2, 2, 2, 961, 960, 3, 2, 2, 2, 962, 189, 3, 2, 2, 2, 963, 964, 7, 90, 2, 2, 964, 191, 3, 2, 2, 2, 965, 968, 5, 274, 138, 2, 966, 968, 5, 388, 195, 2, 967, 965, 3, 2, 2, 2, 967, 966, 3, 2, 2, 2, 968, 193, 3, 2, 2, 2, 969, 970, 7, 17, 2, 2, 970, 971, 5, 200, 101, 2, 971, 972, 5, 202, 102, 2, 972, 973, 5, 198, 100, 2, 973, 974, 5, 202, 102, 2, 974, 975, 5, 196, 99, 2, 975, 976, 7, 18, 2, 2, 976, 195, 3, 2, 2, 2, 977, 978, 5, 322, 162, 2, 978, 197, 3, 2, 2, 2, 979, 980, 5, 322, 162, 2, 980, 199, 3, 2, 2, 2, 981, 982, 5, 322, 162, 2, 982, 201, 3, 2, 2, 2, 983, 984, 9, 6, 2, 2, 984, 203, 3, 2, 2, 2, 985, 986, 5, 56, 29, 2, 986, 987, 7, 11, 2, 2, 987, 988, 5, 206, 104, 2, 988, 992, 7, 79, 2, 2, 989, 990, 5, 6, 4, 2, 990, 991, 7, 13, 2, 2, 991, 993, 3, 2, 2, 2, 992, 989, 3, 2, 2, 2, 992, 993, 3, 2, 2, 2, 993, 994, 3, 2, 2, 2, 994, 995, 5, 2, 2, 2, 995, 996, 7, 3, 2, 2, 996, 205, 3, 2, 2, 2, 997, 999, 9, 7, 2, 2, 998, 1000, 5, 72, 37, 2, 999, 998, 3, 2, 2, 2, 999, 1000, 3, 2, 2, 2, 1000, 1001, 3, 2, 2, 2, 1001, 1003, 7, 107, 2, 2, 1002, 997, 3, 2, 2, 2, 1002, 1003, 3, 2, 2, 2, 1003, 1004, 3, 2, 2, 2, 1004, 1005, 5, 6, 4, 2, 1005, 207, 3, 2, 2, 2, 1006, 1007, 7, 91, 2, 2, 1007, 1011, 5, 204, 103, 2, 1008, 1010, 5, 204, 103, 2, 1009, 1008, 3, 2, 2, 2, 1010, 1013, 3, 2, 2, 2, 1011, 1009, 3, 2, 2, 2, 1011, 1012, 3, 2, 2, 2, 1012, 209, 3, 2, 2, 2, 1013, 1011, 3, 2, 2, 2, 1014, 1016, 7, 94, 2, 2, 1015, 1017, 5, 72, 37, 2, 1016, 1015, 3, 2, 2, 2, 1016, 1017, 3, 2, 2, 2, 1017, 1018, 3, 2, 2, 2, 1018, 1020, 7, 107, 2, 2, 1019, 1021, 7, 142, 2, 2, 1020, 1019, 3, 2, 2, 2, 1020, 1021, 3, 2, 2, 2, 1021, 1022, 3, 2, 2, 2, 1022, 1023, 5, 188, 95, 2, 1023, 211, 3, 2, 2, 2, 1024, 1030, 7, 155, 2, 2, 1025, 1030, 7, 157, 2, 2, 1026, 1030, 5, 220, 111, 2, 1027, 1030, 7, 158, 2, 2, 1028, 1030, 5, 336, 169, 2, 1029, 1024, 3, 2, 2, 2, 1029, 1025, 3, 2, 2, 2, 1029, 1026, 3, 2, 2, 2, 1029, 1027, 3, 2, 2, 2, 1029, 1028, 3, 2, 2, 2, 1030, 213, 3, 2, 2, 2, 1031, 1032, 7, 96, 2, 2, 1032, 1036, 5, 216, 109, 2, 1033, 1035, 5, 216, 109, 2, 1034, 1033, 3, 2, 2, 2, 1035, 1038, 3, 2, 2, 2, 1036, 1034, 3, 2, 2, 2, 1036, 1037, 3, 2, 2, 2, 1037, 1039, 3, 2, 2, 2, 1038, 1036, 3, 2, 2, 2, 1039, 1040, 7, 64, 2, 2, 1040, 1041, 7, 3, 2, 2, 1041, 215, 3, 2, 2, 2, 1042, 1047, 5, 390, 196, 2, 1043, 1044, 7, 5, 2, 2, 1044, 1046, 5, 390, 196, 2, 1045, 1043, 3, 2, 2, 2, 1046, 1049, 3, 2, 2, 2, 1047, 1045, 3, 2, 2, 2, 1047, 1048, 3, 2, 2, 2, 1048, 1050, 3, 2, 2, 2, 1049, 1047, 3, 2, 2, 2, 1050, 1051, 7, 11, 2, 2, 1051, 1054, 5, 242, 122, 2, 1052, 1053, 7, 12, 2, 2, 1053, 1055, 5, 136, 69, 2, 1054, 1052, 3, 2, 2, 2, 1054, 1055, 3, 2, 2, 2, 1055, 1056, 3, 2, 2, 2, 1056, 1057, 7, 3, 2, 2, 1057, 217, 3, 2, 2, 2, 1058, 1059, 5, 136, 69, 2, 1059, 219, 3, 2, 2, 2, 1060, 1061, 9, 8, 2, 2, 1061, 221, 3, 2, 2, 2, 1062, 1063, 7, 100, 2, 2, 1063, 223, 3, 2, 2, 2, 1064, 1065, 9, 9, 2, 2, 1065, 225, 3, 2, 2, 2, 1066, 1069, 5, 6, 4, 2, 1067, 1069, 5, 26, 14, 2, 1068, 1066, 3, 2, 2, 2, 1068, 1067, 3, 2, 2, 2, 1069, 227, 3, 2, 2, 2, 1070, 1076, 5, 226, 114, 2, 1071, 1074, 7, 40, 2, 2, 1072, 1075, 5, 118, 60, 2, 1073, 1075, 5, 372, 187, 2, 1074, 1072, 3, 2, 2, 2, 1074, 1073, 3, 2, 2, 2, 1075, 1077, 3, 2, 2, 2, 1076, 1071, 3, 2, 2, 2, 1076, 1077, 3, 2, 2, 2, 1077, 229, 3, 2, 2, 2, 1078, 1079, 7, 3, 2, 2, 1079, 231, 3, 2, 2, 2, 1080, 1081, 7, 104, 2, 2, 1081, 233, 3, 2, 2, 2, 1082, 1083, 5, 322, 162, 2, 1083, 235, 3, 2, 2, 2, 1084, 1085, 7, 108, 2, 2, 1085, 1086, 7, 4, 2, 2, 1086, 1091, 5, 356, 179, 2, 1087, 1088, 7, 5, 2, 2, 1088, 1090, 5, 356, 179, 2, 1089, 1087, 3, 2, 2, 2, 1090, 1093, 3, 2, 2, 2, 1091, 1089, 3, 2, 2, 2, 1091, 1092, 3, 2, 2, 2, 1092, 1094, 3, 2, 2, 2, 1093, 1091, 3, 2, 2, 2, 1094, 1095, 7, 6, 2, 2, 1095, 237, 3, 2, 2, 2, 1096, 1097, 5, 136, 69, 2, 1097, 239, 3, 2, 2, 2, 1098, 1099, 7, 159, 2, 2, 1099, 241, 3, 2, 2, 2, 1100, 1104, 5, 150, 76, 2, 1101, 1104, 5, 226, 114, 2, 1102, 1104, 5, 330, 166, 2, 1103, 1100, 3, 2, 2, 2, 1103, 1101, 3, 2, 2, 2, 1103, 1102, 3, 2, 2, 2, 1104, 243, 3, 2, 2, 2, 1105, 1106, 5, 6, 4, 2, 1106, 245, 3, 2, 2, 2, 1107, 1108, 5, 234, 118, 2, 1108, 247, 3, 2, 2, 2, 1109, 1118, 5, 212, 107, 2, 1110, 1114, 5, 260, 131, 2, 1111, 1113, 5, 264, 133, 2, 1112, 1111, 3, 2, 2, 2, 1113, 1116, 3, 2, 2, 2, 1114, 1112, 3, 2, 2, 2, 1114, 1115, 3, 2, 2, 2, 1115, 1118, 3, 2, 2, 2, 1116, 1114, 3, 2, 2, 2, 1117, 1109, 3, 2, 2, 2, 1117, 1110, 3, 2, 2, 2, 1118, 249, 3, 2, 2, 2, 1119, 1122, 5, 78, 40, 2, 1120, 1122, 5, 14, 8, 2, 1121, 1119, 3, 2, 2, 2, 1121, 1120, 3, 2, 2, 2, 1122, 1124, 3, 2, 2, 2, 1123, 1125, 5, 36, 19, 2, 1124, 1123, 3, 2, 2, 2, 1124, 1125, 3, 2, 2, 2, 1125, 1126, 3, 2, 2, 2, 1126, 1127, 7, 3, 2, 2, 1127, 251, 3, 2, 2, 2, 1128, 1129, 5, 254, 128, 2, 1129, 1133, 5, 48, 25, 2, 1130, 1132, 5, 334, 168, 2, 1131, 1130, 3, 2, 2, 2, 1132, 1135, 3, 2, 2, 2, 1133, 1131, 3, 2, 2, 2, 1133, 1134, 3, 2, 2, 2, 1134, 1136, 3, 2, 2, 2, 1135, 1133, 3, 2, 2, 2, 1136, 1137, 7, 65, 2, 2, 1137, 1138, 7, 3, 2, 2, 1138, 253, 3, 2, 2, 2, 1139, 1140, 7, 113, 2, 2, 1140, 1152, 5, 258, 130, 2, 1141, 1142, 7, 4, 2, 2, 1142, 1147, 5, 256, 129, 2, 1143, 1144, 7, 3, 2, 2, 1144, 1146, 5, 256, 129, 2, 1145, 1143, 3, 2, 2, 2, 1146, 1149, 3, 2, 2, 2, 1147, 1145, 3, 2, 2, 2, 1147, 1148, 3, 2, 2, 2, 1148, 1150, 3, 2, 2, 2, 1149, 1147, 3, 2, 2, 2, 1150, 1151, 7, 6, 2, 2, 1151, 1153, 3, 2, 2, 2, 1152, 1141, 3, 2, 2, 2, 1152, 1153, 3, 2, 2, 2, 1153, 1154, 3, 2, 2, 2, 1154, 1155, 7, 3, 2, 2, 1155, 255, 3, 2, 2, 2, 1156, 1158, 7, 150, 2, 2, 1157, 1156, 3, 2, 2, 2, 1157, 1158, 3, 2, 2, 2, 1158, 1159, 3, 2, 2, 2, 1159, 1160, 5, 140, 71, 2, 1160, 257, 3, 2, 2, 2, 1161, 1162, 7, 159, 2, 2, 1162, 259, 3, 2, 2, 2, 1163, 1169, 5, 2, 2, 2, 1164, 1169, 5, 94, 48, 2, 1165, 1169, 5, 142, 72, 2, 1166, 1169, 5, 160, 81, 2, 1167, 1169, 5, 244, 123, 2, 1168, 1163, 3, 2, 2, 2, 1168, 1164, 3, 2, 2, 2, 1168, 1165, 3, 2, 2, 2, 1168, 1166, 3, 2, 2, 2, 1168, 1167, 3, 2, 2, 2, 1169, 261, 3, 2, 2, 2, 1170, 1171, 7, 125, 2, 2, 1171, 1172, 5, 168, 85, 2, 1172, 1173, 5, 60, 31, 2, 1173, 263, 3, 2, 2, 2, 1174, 1178, 5, 60, 31, 2, 1175, 1178, 5, 168, 85, 2, 1176, 1178, 5, 186, 94, 2, 1177, 1174, 3, 2, 2, 2, 1177, 1175, 3, 2, 2, 2, 1177, 1176, 3, 2, 2, 2, 1178, 265, 3, 2, 2, 2, 1179, 1180, 7, 114, 2, 2, 1180, 1181, 7, 4, 2, 2, 1181, 1182, 5, 390, 196, 2, 1182, 1183, 7, 24, 2, 2, 1183, 1184, 5, 42, 22, 2, 1184, 1185, 7, 25, 2, 2, 1185, 1186, 5, 218, 110, 2, 1186, 1187, 7, 6, 2, 2, 1187, 267, 3, 2, 2, 2, 1188, 1193, 7, 115, 2, 2, 1189, 1190, 7, 4, 2, 2, 1190, 1191, 5, 246, 124, 2, 1191, 1192, 7, 6, 2, 2, 1192, 1194, 3, 2, 2, 2, 1193, 1189, 3, 2, 2, 2, 1193, 1194, 3, 2, 2, 2, 1194, 269, 3, 2, 2, 2, 1195, 1198, 5, 262, 132, 2, 1196, 1197, 7, 118, 2, 2, 1197, 1199, 5, 58, 30, 2, 1198, 1196, 3, 2, 2, 2, 1198, 1199, 3, 2, 2, 2, 1199, 271, 3, 2, 2, 2, 1200, 1203, 5, 2, 2, 2, 1201, 1203, 5, 262, 132, 2, 1202, 1200, 3, 2, 2, 2, 1202, 1201, 3, 2, 2, 2, 1203, 273, 3, 2, 2, 2, 1204, 1205, 7, 116, 2, 2, 1205, 1206, 7, 81, 2, 2, 1206, 1218, 5, 20, 11, 2, 1207, 1208, 7, 4, 2, 2, 1208, 1213, 5, 288, 145, 2, 1209, 1210, 7, 5, 2, 2, 1210, 1212, 5, 288, 145, 2, 1211, 1209, 3, 2, 2, 2, 1212, 1215, 3, 2, 2, 2, 1213, 1211, 3, 2, 2, 2, 1213, 1214, 3, 2, 2, 2, 1214, 1216, 3, 2, 2, 2, 1215, 1213, 3, 2, 2, 2, 1216, 1217, 7, 6, 2, 2, 1217, 1219, 3, 2, 2, 2, 1218, 1207, 3, 2, 2, 2, 1218, 1219, 3, 2, 2, 2, 1219, 1220, 3, 2, 2, 2, 1220, 1221, 7, 3, 2, 2, 1221, 275, 3, 2, 2, 2, 1222, 1223, 9, 10, 2, 2, 1223, 277, 3, 2, 2, 2, 1224, 1228, 5, 276, 139, 2, 1225, 1228, 7, 88, 2, 2, 1226, 1228, 7, 93, 2, 2, 1227, 1224, 3, 2, 2, 2, 1227, 1225, 3, 2, 2, 2, 1227, 1226, 3, 2, 2, 2, 1228, 279, 3, 2, 2, 2, 1229, 1235, 5, 96, 49, 2, 1230, 1235, 5, 118, 60, 2, 1231, 1235, 5, 148, 75, 2, 1232, 1235, 5, 258, 130, 2, 1233, 1235, 5, 372, 187, 2, 1234, 1229, 3, 2, 2, 2, 1234, 1230, 3, 2, 2, 2, 1234, 1231, 3, 2, 2, 2, 1234, 1232, 3, 2, 2, 2, 1234, 1233, 3, 2, 2, 2, 1235, 281, 3, 2, 2, 2, 1236, 1238, 5, 178, 90, 2, 1237, 1236, 3, 2, 2, 2, 1237, 1238, 3, 2, 2, 2, 1238, 1240, 3, 2, 2, 2, 1239, 1241, 5, 394, 198, 2, 1240, 1239, 3, 2, 2, 2, 1240, 1241, 3, 2, 2, 2, 1241, 1243, 3, 2, 2, 2, 1242, 1244, 5, 386, 194, 2, 1243, 1242, 3, 2, 2, 2, 1243, 1244, 3, 2, 2, 2, 1244, 283, 3, 2, 2, 2, 1245, 1246, 7, 119, 2, 2, 1246, 1247, 5, 282, 142, 2, 1247, 1248, 7, 3, 2, 2, 1248, 1252, 5, 334, 168, 2, 1249, 1251, 5, 334, 168, 2, 1250, 1249, 3, 2, 2, 2, 1251, 1254, 3, 2, 2, 2, 1252, 1250, 3, 2, 2, 2, 1252, 1253, 3, 2, 2, 2, 1253, 1255, 3, 2, 2, 2, 1254, 1252, 3, 2, 2, 2, 1255, 1256, 7, 66, 2, 2, 1256, 1257, 7, 3, 2, 2, 1257, 285, 3, 2, 2, 2, 1258, 1259, 5, 234, 118, 2, 1259, 287, 3, 2, 2, 2, 1260, 1263, 5, 290, 146, 2, 1261, 1262, 7, 40, 2, 2, 1262, 1264, 5, 280, 141, 2, 1263, 1261, 3, 2, 2, 2, 1263, 1264, 3, 2, 2, 2, 1264, 289, 3, 2, 2, 2, 1265, 1271, 5, 4, 3, 2, 1266, 1271, 5, 6, 4, 2, 1267, 1271, 5, 10, 6, 2, 1268, 1271, 5, 14, 8, 2, 1269, 1271, 5, 26, 14, 2, 1270, 1265, 3, 2, 2, 2, 1270, 1266, 3, 2, 2, 2, 1270, 1267, 3, 2, 2, 2, 1270, 1268, 3, 2, 2, 2, 1270, 1269, 3, 2, 2, 2, 1271, 291, 3, 2, 2, 2, 1272, 1277, 7, 120, 2, 2, 1273, 1274, 7, 4, 2, 2, 1274, 1275, 5, 136, 69, 2, 1275, 1276, 7, 6, 2, 2, 1276, 1278, 3, 2, 2, 2, 1277, 1273, 3, 2, 2, 2, 1277, 1278, 3, 2, 2, 2, 1278, 1279, 3, 2, 2, 2, 1279, 1280, 7, 3, 2, 2, 1280, 293, 3, 2, 2, 2, 1281, 1282, 5, 296, 149, 2, 1282, 1286, 5, 48, 25, 2, 1283, 1285, 5, 334, 168, 2, 1284, 1283, 3, 2, 2, 2, 1285, 1288, 3, 2, 2, 2, 1286, 1284, 3, 2, 2, 2, 1286, 1287, 3, 2, 2, 2, 1287, 1289, 3, 2, 2, 2, 1288, 1286, 3, 2, 2, 2, 1289, 1290, 5, 392, 197, 2, 1290, 1291, 7, 67, 2, 2, 1291, 1292, 7, 3, 2, 2, 1292, 295, 3, 2, 2, 2, 1293, 1294, 7, 122, 2, 2, 1294, 1295, 5, 298, 150, 2, 1295, 1296, 7, 79, 2, 2, 1296, 1297, 7, 4, 2, 2, 1297, 1302, 5, 6, 4, 2, 1298, 1299, 7, 5, 2, 2, 1299, 1301, 5, 6, 4, 2, 1300, 1298, 3, 2, 2, 2, 1301, 1304, 3, 2, 2, 2, 1302, 1300, 3, 2, 2, 2, 1302, 1303, 3, 2, 2, 2, 1303, 1305, 3, 2, 2, 2, 1304, 1302, 3, 2, 2, 2, 1305, 1306, 7, 6, 2, 2, 1306, 1307, 7, 3, 2, 2, 1307, 297, 3, 2, 2, 2, 1308, 1309, 7, 159, 2, 2, 1309, 299, 3, 2, 2, 2, 1310, 1311, 7, 159, 2, 2, 1311, 301, 3, 2, 2, 2, 1312, 1314, 5, 192, 97, 2, 1313, 1312, 3, 2, 2, 2, 1314, 1317, 3, 2, 2, 2, 1315, 1313, 3, 2, 2, 2, 1315, 1316, 3, 2, 2, 2, 1316, 1319, 3, 2, 2, 2, 1317, 1315, 3, 2, 2, 2, 1318, 1320, 5, 92, 47, 2, 1319, 1318, 3, 2, 2, 2, 1319, 1320, 3, 2, 2, 2, 1320, 1324, 3, 2, 2, 2, 1321, 1323, 5, 304, 153, 2, 1322, 1321, 3, 2, 2, 2, 1323, 1326, 3, 2, 2, 2, 1324, 1322, 3, 2, 2, 2, 1324, 1325, 3, 2, 2, 2, 1325, 303, 3, 2, 2, 2, 1326, 1324, 3, 2, 2, 2, 1327, 1330, 5, 100, 51, 2, 1328, 1330, 5, 294, 148, 2, 1329, 1327, 3, 2, 2, 2, 1329, 1328, 3, 2, 2, 2, 1330, 305, 3, 2, 2, 2, 1331, 1332, 7, 123, 2, 2, 1332, 1334, 5, 308, 155, 2, 1333, 1335, 5, 310, 156, 2, 1334, 1333, 3, 2, 2, 2, 1334, 1335, 3, 2, 2, 2, 1335, 1336, 3, 2, 2, 2, 1336, 1337, 7, 3, 2, 2, 1337, 1338, 5, 302, 152, 2, 1338, 1339, 7, 68, 2, 2, 1339, 1340, 7, 3, 2, 2, 1340, 307, 3, 2, 2, 2, 1341, 1342, 7, 159, 2, 2, 1342, 309, 3, 2, 2, 2, 1343, 1344, 5, 336, 169, 2, 1344, 311, 3, 2, 2, 2, 1345, 1346, 5, 136, 69, 2, 1346, 313, 3, 2, 2, 2, 1347, 1348, 7, 44, 2, 2, 1348, 1351, 5, 26, 14, 2, 1349, 1350, 7, 151, 2, 2, 1350, 1352, 5, 316, 159, 2, 1351, 1349, 3, 2, 2, 2, 1351, 1352, 3, 2, 2, 2, 1352, 315, 3, 2, 2, 2, 1353, 1354, 7, 4, 2, 2, 1354, 1359, 5, 226, 114, 2, 1355, 1356, 7, 5, 2, 2, 1356, 1358, 5, 226, 114, 2, 1357, 1355, 3, 2, 2, 2, 1358, 1361, 3, 2, 2, 2, 1359, 1357, 3, 2, 2, 2, 1359, 1360, 3, 2, 2, 2, 1360, 1362, 3, 2, 2, 2, 1361, 1359, 3, 2, 2, 2, 1362, 1363, 7, 6, 2, 2, 1363, 317, 3, 2, 2, 2, 1364, 1366, 7, 76, 2, 2, 1365, 1367, 7, 84, 2, 2, 1366, 1365, 3, 2, 2, 2, 1366, 1367, 3, 2, 2, 2, 1367, 1369, 3, 2, 2, 2, 1368, 1364, 3, 2, 2, 2, 1368, 1369, 3, 2, 2, 2, 1369, 1370, 3, 2, 2, 2, 1370, 1373, 7, 124, 2, 2, 1371, 1374, 5, 316, 159, 2, 1372, 1374, 5, 314, 158, 2, 1373, 1371, 3, 2, 2, 2, 1373, 1372, 3, 2, 2, 2, 1373, 1374, 3, 2, 2, 2, 1374, 319, 3, 2, 2, 2, 1375, 1377, 7, 126, 2, 2, 1376, 1378, 5, 72, 37, 2, 1377, 1376, 3, 2, 2, 2, 1377, 1378, 3, 2, 2, 2, 1378, 1379, 3, 2, 2, 2, 1379, 1380, 7, 107, 2, 2, 1380, 1381, 5, 188, 95, 2, 1381, 321, 3, 2, 2, 2, 1382, 1388, 5, 366, 184, 2, 1383, 1384, 5, 38, 20, 2, 1384, 1385, 5, 366, 184, 2, 1385, 1387, 3, 2, 2, 2, 1386, 1383, 3, 2, 2, 2, 1387, 1390, 3, 2, 2, 2, 1388, 1386, 3, 2, 2, 2, 1388, 1389, 3, 2, 2, 2, 1389, 323, 3, 2, 2, 2, 1390, 1388, 3, 2, 2, 2, 1391, 1399, 5, 40, 21, 2, 1392, 1399, 5, 112, 57, 2, 1393, 1399, 5, 128, 65, 2, 1394, 1399, 5, 194, 98, 2, 1395, 1399, 5, 266, 134, 2, 1396, 1399, 5, 326, 164, 2, 1397, 1399, 5, 328, 165, 2, 1398, 1391, 3, 2, 2, 2, 1398, 1392, 3, 2, 2, 2, 1398, 1393, 3, 2, 2, 2, 1398, 1394, 3, 2, 2, 2, 1398, 1395, 3, 2, 2, 2, 1398, 1396, 3, 2, 2, 2, 1398, 1397, 3, 2, 2, 2, 1399, 325, 3, 2, 2, 2, 1400, 1401, 7, 4, 2, 2, 1401, 1402, 5, 136, 69, 2, 1402, 1403, 7, 6, 2, 2, 1403, 1406, 3, 2, 2, 2, 1404, 1406, 5, 248, 125, 2, 1405, 1400, 3, 2, 2, 2, 1405, 1404, 3, 2, 2, 2, 1406, 327, 3, 2, 2, 2, 1407, 1408, 5, 378, 190, 2, 1408, 1409, 5, 326, 164, 2, 1409, 329, 3, 2, 2, 2, 1410, 1418, 5, 64, 33, 2, 1411, 1418, 5, 66, 34, 2, 1412, 1418, 5, 190, 96, 2, 1413, 1418, 5, 222, 112, 2, 1414, 1418, 5, 232, 117, 2, 1415, 1418, 5, 268, 135, 2, 1416, 1418, 5, 338, 170, 2, 1417, 1410, 3, 2, 2, 2, 1417, 1411, 3, 2, 2, 2, 1417, 1412, 3, 2, 2, 2, 1417, 1413, 3, 2, 2, 2, 1417, 1414, 3, 2, 2, 2, 1417, 1415, 3, 2, 2, 2, 1417, 1416, 3, 2, 2, 2, 1418, 331, 3, 2, 2, 2, 1419, 1420, 7, 129, 2, 2, 1420, 1421, 7, 3, 2, 2, 1421, 333, 3, 2, 2, 2, 1422, 1434, 5, 50, 26, 2, 1423, 1434, 5, 54, 28, 2, 1424, 1434, 5, 84, 43, 2, 1425, 1434, 5, 86, 44, 2, 1426, 1434, 5, 132, 67, 2, 1427, 1434, 5, 170, 86, 2, 1428, 1434, 5, 230, 116, 2, 1429, 1434, 5, 250, 126, 2, 1430, 1434, 5, 284, 143, 2, 1431, 1434, 5, 292, 147, 2, 1432, 1434, 5, 332, 167, 2, 1433, 1422, 3, 2, 2, 2, 1433, 1423, 3, 2, 2, 2, 1433, 1424, 3, 2, 2, 2, 1433, 1425, 3, 2, 2, 2, 1433, 1426, 3, 2, 2, 2, 1433, 1427, 3, 2, 2, 2, 1433, 1428, 3, 2, 2, 2, 1433, 1429, 3, 2, 2, 2, 1433, 1430, 3, 2, 2, 2, 1433, 1431, 3, 2, 2, 2, 1433, 1432, 3, 2, 2, 2, 1434, 335, 3, 2, 2, 2, 1435, 1436, 9, 11, 2, 2, 1436, 337, 3, 2, 2, 2, 1437, 1439, 7, 131, 2, 2, 1438, 1440, 5, 398, 200, 2, 1439, 1438, 3, 2, 2, 2, 1439, 1440, 3, 2, 2, 2, 1440, 339, 3, 2, 2, 2, 1441, 1443, 5, 354, 178, 2, 1442, 1441, 3, 2, 2, 2, 1442, 1443, 3, 2, 2, 2, 1443, 1445, 3, 2, 2, 2, 1444, 1446, 5, 352, 177, 2, 1445, 1444, 3, 2, 2, 2, 1445, 1446, 3, 2, 2, 2, 1446, 341, 3, 2, 2, 2, 1447, 1448, 7, 107, 2, 2, 1448, 1449, 7, 4, 2, 2, 1449, 1450, 5, 356, 179, 2, 1450, 1451, 7, 6, 2, 2, 1451, 343, 3, 2, 2, 2, 1452, 1454, 5, 32, 17, 2, 1453, 1452, 3, 2, 2, 2, 1453, 1454, 3, 2, 2, 2, 1454, 1456, 3, 2, 2, 2, 1455, 1457, 5, 368, 185, 2, 1456, 1455, 3, 2, 2, 2, 1456, 1457, 3, 2, 2, 2, 1457, 1461, 3, 2, 2, 2, 1458, 1459, 5, 356, 179, 2, 1459, 1460, 7, 3, 2, 2, 1460, 1462, 3, 2, 2, 2, 1461, 1458, 3, 2, 2, 2, 1461, 1462, 3, 2, 2, 2, 1462, 345, 3, 2, 2, 2, 1463, 1464, 5, 348, 175, 2, 1464, 1465, 5, 344, 173, 2, 1465, 1466, 7, 69, 2, 2, 1466, 1467, 7, 3, 2, 2, 1467, 347, 3, 2, 2, 2, 1468, 1469, 7, 133, 2, 2, 1469, 1470, 5, 350, 176, 2, 1470, 1471, 7, 79, 2, 2, 1471, 1472, 5, 6, 4, 2, 1472, 1473, 7, 3, 2, 2, 1473, 349, 3, 2, 2, 2, 1474, 1475, 7, 159, 2, 2, 1475, 351, 3, 2, 2, 2, 1476, 1477, 7, 132, 2, 2, 1477, 1478, 7, 107, 2, 2, 1478, 1479, 7, 4, 2, 2, 1479, 1484, 5, 6, 4, 2, 1480, 1481, 7, 5, 2, 2, 1481, 1483, 5, 6, 4, 2, 1482, 1480, 3, 2, 2, 2, 1483, 1486, 3, 2, 2, 2, 1484, 1482, 3, 2, 2, 2, 1484, 1485, 3, 2, 2, 2, 1485, 1487, 3, 2, 2, 2, 1486, 1484, 3, 2, 2, 2, 1487, 1488, 7, 6, 2, 2, 1488, 353, 3, 2, 2, 2, 1489, 1493, 5, 30, 16, 2, 1490, 1493, 5, 34, 18, 2, 1491, 1493, 5, 360, 181, 2, 1492, 1489, 3, 2, 2, 2, 1492, 1490, 3, 2, 2, 2, 1492, 1491, 3, 2, 2, 2, 1493, 355, 3, 2, 2, 2, 1494, 1499, 5, 358, 180, 2, 1495, 1496, 7, 38, 2, 2, 1496, 1498, 5, 358, 180, 2, 1497, 1495, 3, 2, 2, 2, 1498, 1501, 3, 2, 2, 2, 1499, 1497, 3, 2, 2, 2, 1499, 1500, 3, 2, 2, 2, 1500, 357, 3, 2, 2, 2, 1501, 1499, 3, 2, 2, 2, 1502, 1507, 5, 362, 182, 2, 1503, 1504, 7, 37, 2, 2, 1504, 1506, 5, 362, 182, 2, 1505, 1503, 3, 2, 2, 2, 1506, 1509, 3, 2, 2, 2, 1507, 1505, 3, 2, 2, 2, 1507, 1508, 3, 2, 2, 2, 1508, 359, 3, 2, 2, 2, 1509, 1507, 3, 2, 2, 2, 1510, 1511, 7, 134, 2, 2, 1511, 1512, 5, 342, 172, 2, 1512, 361, 3, 2, 2, 2, 1513, 1520, 5, 6, 4, 2, 1514, 1520, 5, 236, 119, 2, 1515, 1516, 7, 4, 2, 2, 1516, 1517, 5, 356, 179, 2, 1517, 1518, 7, 6, 2, 2, 1518, 1520, 3, 2, 2, 2, 1519, 1513, 3, 2, 2, 2, 1519, 1514, 3, 2, 2, 2, 1519, 1515, 3, 2, 2, 2, 1520, 363, 3, 2, 2, 2, 1521, 1523, 5, 306, 154, 2, 1522, 1521, 3, 2, 2, 2, 1523, 1524, 3, 2, 2, 2, 1524, 1522, 3, 2, 2, 2, 1524, 1525, 3, 2, 2, 2, 1525, 1526, 3, 2, 2, 2, 1526, 1527, 7, 2, 2, 3, 1527, 365, 3, 2, 2, 2, 1528, 1534, 5, 138, 70, 2, 1529, 1530, 5, 224, 113, 2, 1530, 1531, 5, 138, 70, 2, 1531, 1533, 3, 2, 2, 2, 1532, 1529, 3, 2, 2, 2, 1533, 1536, 3, 2, 2, 2, 1534, 1532, 3, 2, 2, 2, 1534, 1535, 3, 2, 2, 2, 1535, 367, 3, 2, 2, 2, 1536, 1534, 3, 2, 2, 2, 1537, 1538, 7, 141, 2, 2, 1538, 1539, 7, 4, 2, 2, 1539, 1544, 5, 6, 4, 2, 1540, 1541, 7, 5, 2, 2, 1541, 1543, 5, 6, 4, 2, 1542, 1540, 3, 2, 2, 2, 1543, 1546, 3, 2, 2, 2, 1544, 1542, 3, 2, 2, 2, 1544, 1545, 3, 2, 2, 2, 1545, 1547, 3, 2, 2, 2, 1546, 1544, 3, 2, 2, 2, 1547, 1548, 7, 6, 2, 2, 1548, 1549, 7, 3, 2, 2, 1549, 369, 3, 2, 2, 2, 1550, 1551, 7, 139, 2, 2, 1551, 1552, 5, 372, 187, 2, 1552, 1553, 7, 29, 2, 2, 1553, 1554, 5, 380, 191, 2, 1554, 1556, 7, 3, 2, 2, 1555, 1557, 5, 392, 197, 2, 1556, 1555, 3, 2, 2, 2, 1556, 1557, 3, 2, 2, 2, 1557, 1558, 3, 2, 2, 2, 1558, 1559, 7, 70, 2, 2, 1559, 1560, 7, 3, 2, 2, 1560, 371, 3, 2, 2, 2, 1561, 1562, 7, 159, 2, 2, 1562, 373, 3, 2, 2, 2, 1563, 1566, 5, 376, 189, 2, 1564, 1566, 5, 24, 13, 2, 1565, 1563, 3, 2, 2, 2, 1565, 1564, 3, 2, 2, 2, 1566, 375, 3, 2, 2, 2, 1567, 1568, 7, 159, 2, 2, 1568, 377, 3, 2, 2, 2, 1569, 1570, 9, 12, 2, 2, 1570, 379, 3, 2, 2, 2, 1571, 1574, 5, 88, 45, 2, 1572, 1574, 5, 98, 50, 2, 1573, 1571, 3, 2, 2, 2, 1573, 1572, 3, 2, 2, 2, 1574, 381, 3, 2, 2, 2, 1575, 1576, 7, 142, 2, 2, 1576, 1577, 5, 384, 193, 2, 1577, 1583, 7, 3, 2, 2, 1578, 1579, 5, 384, 193, 2, 1579, 1580, 7, 3, 2, 2, 1580, 1582, 3, 2, 2, 2, 1581, 1578, 3, 2, 2, 2, 1582, 1585, 3, 2, 2, 2, 1583, 1581, 3, 2, 2, 2, 1583, 1584, 3, 2, 2, 2, 1584, 383, 3, 2, 2, 2, 1585, 1583, 3, 2, 2, 2, 1586, 1587, 5, 300, 151, 2, 1587, 1588, 7, 11, 2, 2, 1588, 1590, 3, 2, 2, 2, 1589, 1586, 3, 2, 2, 2, 1589, 1590, 3, 2, 2, 2, 1590, 1591, 3, 2, 2, 2, 1591, 1596, 5, 272, 137, 2, 1592, 1593, 7, 5, 2, 2, 1593, 1595, 5, 272, 137, 2, 1594, 1592, 3, 2, 2, 2, 1595, 1598, 3, 2, 2, 2, 1596, 1594, 3, 2, 2, 2, 1596, 1597, 3, 2, 2, 2, 1597, 385, 3, 2, 2, 2, 1598, 1596, 3, 2, 2, 2, 1599, 1600, 7, 144, 2, 2, 1600, 1601, 5, 218, 110, 2, 1601, 387, 3, 2, 2, 2, 1602, 1603, 7, 145, 2, 2, 1603, 1604, 7, 81, 2, 2, 1604, 1616, 5, 20, 11, 2, 1605, 1606, 7, 4, 2, 2, 1606, 1611, 5, 228, 115, 2, 1607, 1608, 7, 5, 2, 2, 1608, 1610, 5, 228, 115, 2, 1609, 1607, 3, 2, 2, 2, 1610, 1613, 3, 2, 2, 2, 1611, 1609, 3, 2, 2, 2, 1611, 1612, 3, 2, 2, 2, 1612, 1614, 3, 2, 2, 2, 1613, 1611, 3, 2, 2, 2, 1614, 1615, 7, 6, 2, 2, 1615, 1617, 3, 2, 2, 2, 1616, 1605, 3, 2, 2, 2, 1616, 1617, 3, 2, 2, 2, 1617, 1618, 3, 2, 2, 2, 1618, 1619, 7, 3, 2, 2, 1619, 389, 3, 2, 2, 2, 1620, 1621, 7, 159, 2, 2, 1621, 391, 3, 2, 2, 2, 1622, 1623, 7, 152, 2, 2, 1623, 1624, 5, 106, 54, 2, 1624, 1630, 7, 3, 2, 2, 1625, 1626, 5, 106, 54, 2, 1626, 1627, 7, 3, 2, 2, 1627, 1629, 3, 2, 2, 2, 1628, 1625, 3, 2, 2, 2, 1629, 1632, 3, 2, 2, 2, 1630, 1628, 3, 2, 2, 2, 1630, 1631, 3, 2, 2, 2, 1631, 393, 3, 2, 2, 2, 1632, 1630, 3, 2, 2, 2, 1633, 1634, 7, 153, 2, 2, 1634, 1635, 5, 218, 110, 2, 1635, 395, 3, 2, 2, 2, 1636, 1637, 5, 234, 118, 2, 1637, 397, 3, 2, 2, 2, 1638, 1639, 7, 4, 2, 2, 1639, 1640, 5, 396, 199, 2, 1640, 1642, 7, 6, 2, 2, 1641, 1643, 7, 78, 2, 2, 1642, 1641, 3, 2, 2, 2, 1642, 1643, 3, 2, 2, 2, 1643, 399, 3, 2, 2, 2, 153, 437, 445, 458, 461, 470, 479, 484, 488, 491, 500, 508, 518, 521, 529, 538, 547, 554, 579, 593, 599, 609, 618, 632, 640, 646, 653, 667, 673, 680, 685, 689, 692, 695, 698, 707, 710, 730, 740, 750, 755, 761, 771, 776, 785, 790, 797, 805, 808, 816, 830, 835, 847, 853, 857, 861, 864, 870, 877, 881, 887, 891, 899, 904, 915, 924, 931, 943, 955, 961, 967, 992, 999, 1002, 1011, 1016, 1020, 1029, 1036, 1047, 1054, 1068, 1074, 1076, 1091, 1103, 1114, 1117, 1121, 1124, 1133, 1147, 1152, 1157, 1168, 1177, 1193, 1198, 1202, 1213, 1218, 1227, 1234, 1237, 1240, 1243, 1252, 1263, 1270, 1277, 1286, 1302, 1315, 1319, 1324, 1329, 1334, 1351, 1359, 1366, 1368, 1373, 1377, 1388, 1398, 1405, 1417, 1433, 1439, 1442, 1445, 1453, 1456, 1461, 1484, 1492, 1499, 1507, 1519, 1524, 1534, 1544, 1556, 1565, 1573, 1583, 1589, 1596, 1611, 1616, 1630, 1642]