dt-sql-parser 4.1.2-beta.0 → 4.2.0

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 (87) hide show
  1. package/README.md +51 -0
  2. package/dist/lib/flink/FlinkSqlLexer.d.ts +5 -5
  3. package/dist/lib/flink/FlinkSqlLexer.js +1991 -1992
  4. package/dist/lib/flink/FlinkSqlParser.d.ts +240 -230
  5. package/dist/lib/flink/FlinkSqlParser.js +3036 -2978
  6. package/dist/lib/flink/FlinkSqlParserListener.d.ts +81 -70
  7. package/dist/lib/flink/FlinkSqlParserVisitor.d.ts +49 -42
  8. package/dist/lib/hive/HiveSqlParser.d.ts +251 -231
  9. package/dist/lib/hive/HiveSqlParser.js +6264 -5674
  10. package/dist/lib/hive/HiveSqlParserListener.d.ts +32 -10
  11. package/dist/lib/hive/HiveSqlParserVisitor.d.ts +20 -6
  12. package/dist/lib/impala/ImpalaSqlLexer.d.ts +2 -2
  13. package/dist/lib/impala/ImpalaSqlLexer.js +587 -588
  14. package/dist/lib/impala/ImpalaSqlParser.d.ts +151 -113
  15. package/dist/lib/impala/ImpalaSqlParser.js +3464 -3250
  16. package/dist/lib/impala/ImpalaSqlParserListener.d.ts +49 -5
  17. package/dist/lib/impala/ImpalaSqlParserVisitor.d.ts +31 -3
  18. package/dist/lib/mysql/MySqlLexer.d.ts +2 -2
  19. package/dist/lib/mysql/MySqlLexer.js +3515 -3516
  20. package/dist/lib/mysql/MySqlParser.d.ts +138 -138
  21. package/dist/lib/mysql/MySqlParser.js +511 -511
  22. package/dist/lib/mysql/MySqlParserListener.d.ts +105 -105
  23. package/dist/lib/mysql/MySqlParserVisitor.d.ts +63 -63
  24. package/dist/lib/postgresql/PostgreSqlLexer.d.ts +14 -15
  25. package/dist/lib/postgresql/PostgreSqlLexer.js +2077 -2092
  26. package/dist/lib/postgresql/PostgreSqlParser.d.ts +2860 -2980
  27. package/dist/lib/postgresql/PostgreSqlParser.js +20155 -20660
  28. package/dist/lib/postgresql/PostgreSqlParserListener.d.ts +2110 -2181
  29. package/dist/lib/postgresql/PostgreSqlParserVisitor.d.ts +1261 -1301
  30. package/dist/lib/spark/SparkSqlLexer.d.ts +2 -2
  31. package/dist/lib/spark/SparkSqlLexer.js +949 -950
  32. package/dist/lib/spark/SparkSqlParser.d.ts +413 -645
  33. package/dist/lib/spark/SparkSqlParser.js +6840 -8200
  34. package/dist/lib/spark/SparkSqlParserListener.d.ts +68 -356
  35. package/dist/lib/spark/SparkSqlParserVisitor.d.ts +42 -225
  36. package/dist/lib/trino/TrinoSqlLexer.d.ts +2 -2
  37. package/dist/lib/trino/TrinoSqlLexer.js +319 -321
  38. package/dist/lib/trino/TrinoSqlListener.d.ts +67 -23
  39. package/dist/lib/trino/TrinoSqlParser.d.ts +210 -181
  40. package/dist/lib/trino/TrinoSqlParser.js +4854 -4695
  41. package/dist/lib/trino/TrinoSqlVisitor.d.ts +42 -14
  42. package/dist/parser/common/basicSQL.d.ts +43 -9
  43. package/dist/parser/common/basicSQL.js +147 -40
  44. package/dist/parser/common/semanticContextCollector.d.ts +50 -0
  45. package/dist/parser/common/semanticContextCollector.js +202 -0
  46. package/dist/parser/common/tokenUtils.d.ts +12 -0
  47. package/dist/parser/common/tokenUtils.js +38 -0
  48. package/dist/parser/common/types.d.ts +25 -0
  49. package/dist/parser/common/types.js +7 -0
  50. package/dist/parser/flink/flinkErrorListener.js +14 -2
  51. package/dist/parser/flink/flinkSemanticContextCollector.d.ts +9 -0
  52. package/dist/parser/flink/flinkSemanticContextCollector.js +14 -0
  53. package/dist/parser/flink/index.d.ts +4 -2
  54. package/dist/parser/flink/index.js +22 -14
  55. package/dist/parser/hive/hiveErrorListener.js +9 -3
  56. package/dist/parser/hive/hiveSemanticContextCollector.d.ts +9 -0
  57. package/dist/parser/hive/hiveSemanticContextCollector.js +14 -0
  58. package/dist/parser/hive/index.d.ts +4 -2
  59. package/dist/parser/hive/index.js +29 -14
  60. package/dist/parser/impala/ImpalaErrorListener.js +8 -2
  61. package/dist/parser/impala/impalaSemanticContextCollector.d.ts +9 -0
  62. package/dist/parser/impala/impalaSemanticContextCollector.js +14 -0
  63. package/dist/parser/impala/index.d.ts +4 -2
  64. package/dist/parser/impala/index.js +21 -14
  65. package/dist/parser/mysql/index.d.ts +4 -2
  66. package/dist/parser/mysql/index.js +10 -14
  67. package/dist/parser/mysql/mysqlErrorListener.js +6 -2
  68. package/dist/parser/mysql/mysqlSemanticContextCollector.d.ts +9 -0
  69. package/dist/parser/mysql/mysqlSemanticContextCollector.js +14 -0
  70. package/dist/parser/postgresql/index.d.ts +4 -2
  71. package/dist/parser/postgresql/index.js +51 -42
  72. package/dist/parser/postgresql/postgreEntityCollector.d.ts +5 -5
  73. package/dist/parser/postgresql/postgreEntityCollector.js +7 -7
  74. package/dist/parser/postgresql/postgreErrorListener.js +36 -30
  75. package/dist/parser/postgresql/postgreSemanticContextCollector.d.ts +9 -0
  76. package/dist/parser/postgresql/postgreSemanticContextCollector.js +14 -0
  77. package/dist/parser/spark/index.d.ts +4 -2
  78. package/dist/parser/spark/index.js +26 -14
  79. package/dist/parser/spark/sparkErrorListener.js +9 -3
  80. package/dist/parser/spark/sparkSemanticContextCollector.d.ts +9 -0
  81. package/dist/parser/spark/sparkSemanticContextCollector.js +14 -0
  82. package/dist/parser/trino/index.d.ts +4 -2
  83. package/dist/parser/trino/index.js +22 -14
  84. package/dist/parser/trino/trinoErrorListener.js +9 -3
  85. package/dist/parser/trino/trinoSemanticContextCollector.d.ts +9 -0
  86. package/dist/parser/trino/trinoSemanticContextCollector.js +14 -0
  87. package/package.json +2 -1
@@ -358,9 +358,9 @@ TrinoSqlLexer.IDENTIFIER = 332;
358
358
  TrinoSqlLexer.DIGIT_IDENTIFIER = 333;
359
359
  TrinoSqlLexer.QUOTED_IDENTIFIER = 334;
360
360
  TrinoSqlLexer.BACKQUOTED_IDENTIFIER = 335;
361
- TrinoSqlLexer.SIMPLE_COMMENT = 336;
361
+ TrinoSqlLexer.LINE_COMMENT = 336;
362
362
  TrinoSqlLexer.BRACKETED_COMMENT = 337;
363
- TrinoSqlLexer.WS = 338;
363
+ TrinoSqlLexer.WHITE_SPACE = 338;
364
364
  TrinoSqlLexer.UNRECOGNIZED = 339;
365
365
  TrinoSqlLexer.channelNames = [
366
366
  "DEFAULT_TOKEN_CHANNEL", "HIDDEN"
@@ -484,8 +484,8 @@ TrinoSqlLexer.symbolicNames = [
484
484
  "SLASH", "PERCENT", "CONCAT", "QUESTION_MARK", "SEMICOLON", "STRING",
485
485
  "UNICODE_STRING", "BINARY_LITERAL", "INTEGER_VALUE", "DECIMAL_VALUE",
486
486
  "DOUBLE_VALUE", "IDENTIFIER", "DIGIT_IDENTIFIER", "QUOTED_IDENTIFIER",
487
- "BACKQUOTED_IDENTIFIER", "SIMPLE_COMMENT", "BRACKETED_COMMENT",
488
- "WS", "UNRECOGNIZED"
487
+ "BACKQUOTED_IDENTIFIER", "LINE_COMMENT", "BRACKETED_COMMENT", "WHITE_SPACE",
488
+ "UNRECOGNIZED"
489
489
  ];
490
490
  TrinoSqlLexer.modeNames = [
491
491
  "DEFAULT_MODE",
@@ -555,10 +555,10 @@ TrinoSqlLexer.ruleNames = [
555
555
  "DOUBLE_VALUE", "IDENTIFIER", "DIGIT_IDENTIFIER", "QUOTED_IDENTIFIER",
556
556
  "BACKQUOTED_IDENTIFIER", "DECIMAL_INTEGER", "HEXADECIMAL_INTEGER",
557
557
  "OCTAL_INTEGER", "BINARY_INTEGER", "EXPONENT", "DIGIT", "LETTER",
558
- "SIMPLE_COMMENT", "BRACKETED_COMMENT", "WS", "UNRECOGNIZED",
558
+ "LINE_COMMENT", "BRACKETED_COMMENT", "WHITE_SPACE", "UNRECOGNIZED",
559
559
  ];
560
560
  TrinoSqlLexer._serializedATN = [
561
- 4, 0, 339, 3117, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7,
561
+ 4, 0, 339, 3114, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7,
562
562
  5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12,
563
563
  2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19,
564
564
  7, 19, 2, 20, 7, 20, 2, 21, 7, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25,
@@ -832,315 +832,314 @@ TrinoSqlLexer._serializedATN = [
832
832
  1, 342, 1, 342, 1, 342, 5, 342, 3082, 8, 342, 10, 342, 12, 342, 3085, 9, 342, 1, 342,
833
833
  3, 342, 3088, 8, 342, 1, 342, 3, 342, 3091, 8, 342, 1, 342, 1, 342, 1, 343, 1, 343,
834
834
  1, 343, 1, 343, 5, 343, 3099, 8, 343, 10, 343, 12, 343, 3102, 9, 343, 1, 343, 1, 343,
835
- 1, 343, 1, 343, 1, 343, 1, 344, 4, 344, 3110, 8, 344, 11, 344, 12, 344, 3111, 1, 344,
836
- 1, 344, 1, 345, 1, 345, 1, 3100, 0, 346, 1, 1, 3, 2, 5, 3, 7, 4, 9, 5, 11, 6, 13, 7, 15,
837
- 8, 17, 9, 19, 10, 21, 11, 23, 12, 25, 13, 27, 14, 29, 15, 31, 16, 33, 17, 35, 18, 37,
838
- 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, 53, 27, 55, 28, 57, 29, 59,
839
- 30, 61, 31, 63, 32, 65, 33, 67, 34, 69, 35, 71, 36, 73, 37, 75, 38, 77, 39, 79, 40, 81,
840
- 41, 83, 42, 85, 43, 87, 44, 89, 45, 91, 46, 93, 47, 95, 48, 97, 49, 99, 50, 101, 51,
841
- 103, 52, 105, 53, 107, 54, 109, 55, 111, 56, 113, 57, 115, 58, 117, 59, 119, 60, 121,
842
- 61, 123, 62, 125, 63, 127, 64, 129, 65, 131, 66, 133, 67, 135, 68, 137, 69, 139, 70,
843
- 141, 71, 143, 72, 145, 73, 147, 74, 149, 75, 151, 76, 153, 77, 155, 78, 157, 79, 159,
844
- 80, 161, 81, 163, 82, 165, 83, 167, 84, 169, 85, 171, 86, 173, 87, 175, 88, 177, 89,
845
- 179, 90, 181, 91, 183, 92, 185, 93, 187, 94, 189, 95, 191, 96, 193, 97, 195, 98, 197,
846
- 99, 199, 100, 201, 101, 203, 102, 205, 103, 207, 104, 209, 105, 211, 106, 213, 107,
847
- 215, 108, 217, 109, 219, 110, 221, 111, 223, 112, 225, 113, 227, 114, 229, 115,
848
- 231, 116, 233, 117, 235, 118, 237, 119, 239, 120, 241, 121, 243, 122, 245, 123,
849
- 247, 124, 249, 125, 251, 126, 253, 127, 255, 128, 257, 129, 259, 130, 261, 131,
850
- 263, 132, 265, 133, 267, 134, 269, 135, 271, 136, 273, 137, 275, 138, 277, 139,
851
- 279, 140, 281, 141, 283, 142, 285, 143, 287, 144, 289, 145, 291, 146, 293, 147,
852
- 295, 148, 297, 149, 299, 150, 301, 151, 303, 152, 305, 153, 307, 154, 309, 155,
853
- 311, 156, 313, 157, 315, 158, 317, 159, 319, 160, 321, 161, 323, 162, 325, 163,
854
- 327, 164, 329, 165, 331, 166, 333, 167, 335, 168, 337, 169, 339, 170, 341, 171,
855
- 343, 172, 345, 173, 347, 174, 349, 175, 351, 176, 353, 177, 355, 178, 357, 179,
856
- 359, 180, 361, 181, 363, 182, 365, 183, 367, 184, 369, 185, 371, 186, 373, 187,
857
- 375, 188, 377, 189, 379, 190, 381, 191, 383, 192, 385, 193, 387, 194, 389, 195,
858
- 391, 196, 393, 197, 395, 198, 397, 199, 399, 200, 401, 201, 403, 202, 405, 203,
859
- 407, 204, 409, 205, 411, 206, 413, 207, 415, 208, 417, 209, 419, 210, 421, 211,
860
- 423, 212, 425, 213, 427, 214, 429, 215, 431, 216, 433, 217, 435, 218, 437, 219,
861
- 439, 220, 441, 221, 443, 222, 445, 223, 447, 224, 449, 225, 451, 226, 453, 227,
862
- 455, 228, 457, 229, 459, 230, 461, 231, 463, 232, 465, 233, 467, 234, 469, 235,
863
- 471, 236, 473, 237, 475, 238, 477, 239, 479, 240, 481, 241, 483, 242, 485, 243,
864
- 487, 244, 489, 245, 491, 246, 493, 247, 495, 248, 497, 249, 499, 250, 501, 251,
865
- 503, 252, 505, 253, 507, 254, 509, 255, 511, 256, 513, 257, 515, 258, 517, 259,
866
- 519, 260, 521, 261, 523, 262, 525, 263, 527, 264, 529, 265, 531, 266, 533, 267,
867
- 535, 268, 537, 269, 539, 270, 541, 271, 543, 272, 545, 273, 547, 274, 549, 275,
868
- 551, 276, 553, 277, 555, 278, 557, 279, 559, 280, 561, 281, 563, 282, 565, 283,
869
- 567, 284, 569, 285, 571, 286, 573, 287, 575, 288, 577, 289, 579, 290, 581, 291,
870
- 583, 292, 585, 293, 587, 294, 589, 295, 591, 296, 593, 297, 595, 298, 597, 299,
871
- 599, 300, 601, 301, 603, 302, 605, 303, 607, 304, 609, 305, 611, 306, 613, 307,
872
- 615, 308, 617, 309, 619, 310, 621, 311, 623, 312, 625, 313, 627, 314, 629, 315,
873
- 631, 316, 633, 317, 635, 318, 637, 319, 639, 320, 641, 321, 643, 322, 645, 323,
874
- 647, 324, 649, 325, 651, 326, 653, 327, 655, 328, 657, 329, 659, 330, 661, 331,
875
- 663, 332, 665, 333, 667, 334, 669, 335, 671, 0, 673, 0, 675, 0, 677, 0, 679, 0, 681,
876
- 0, 683, 0, 685, 336, 687, 337, 689, 338, 691, 339, 1, 0, 37, 2, 0, 83, 83, 115, 115,
877
- 2, 0, 75, 75, 107, 107, 2, 0, 73, 73, 105, 105, 2, 0, 80, 80, 112, 112, 2, 0, 65, 65,
878
- 97, 97, 2, 0, 66, 66, 98, 98, 2, 0, 69, 69, 101, 101, 2, 0, 78, 78, 110, 110, 2, 0, 84,
879
- 84, 116, 116, 2, 0, 68, 68, 100, 100, 2, 0, 77, 77, 109, 109, 2, 0, 70, 70, 102, 102,
880
- 2, 0, 82, 82, 114, 114, 2, 0, 76, 76, 108, 108, 2, 0, 89, 89, 121, 121, 2, 0, 90, 90,
881
- 122, 122, 2, 0, 67, 67, 99, 99, 2, 0, 85, 85, 117, 117, 2, 0, 72, 72, 104, 104, 2, 0,
882
- 79, 79, 111, 111, 2, 0, 71, 71, 103, 103, 2, 0, 87, 87, 119, 119, 2, 0, 88, 88, 120,
883
- 120, 2, 0, 86, 86, 118, 118, 2, 0, 74, 74, 106, 106, 2, 0, 81, 81, 113, 113, 1, 0, 39,
884
- 39, 1, 0, 34, 34, 1, 0, 96, 96, 2, 0, 65, 70, 97, 102, 1, 0, 48, 55, 1, 0, 48, 49, 2, 0,
885
- 43, 43, 45, 45, 1, 0, 48, 57, 2, 0, 65, 90, 97, 122, 2, 0, 10, 10, 13, 13, 3, 0, 9, 10,
886
- 13, 13, 32, 32, 3152, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 0, 0, 5, 1, 0, 0, 0, 0, 7, 1, 0, 0, 0,
887
- 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 0, 13, 1, 0, 0, 0, 0, 15, 1, 0, 0, 0, 0, 17, 1, 0, 0, 0,
888
- 0, 19, 1, 0, 0, 0, 0, 21, 1, 0, 0, 0, 0, 23, 1, 0, 0, 0, 0, 25, 1, 0, 0, 0, 0, 27, 1, 0, 0, 0,
889
- 0, 29, 1, 0, 0, 0, 0, 31, 1, 0, 0, 0, 0, 33, 1, 0, 0, 0, 0, 35, 1, 0, 0, 0, 0, 37, 1, 0, 0, 0,
890
- 0, 39, 1, 0, 0, 0, 0, 41, 1, 0, 0, 0, 0, 43, 1, 0, 0, 0, 0, 45, 1, 0, 0, 0, 0, 47, 1, 0, 0, 0,
891
- 0, 49, 1, 0, 0, 0, 0, 51, 1, 0, 0, 0, 0, 53, 1, 0, 0, 0, 0, 55, 1, 0, 0, 0, 0, 57, 1, 0, 0, 0,
892
- 0, 59, 1, 0, 0, 0, 0, 61, 1, 0, 0, 0, 0, 63, 1, 0, 0, 0, 0, 65, 1, 0, 0, 0, 0, 67, 1, 0, 0, 0,
893
- 0, 69, 1, 0, 0, 0, 0, 71, 1, 0, 0, 0, 0, 73, 1, 0, 0, 0, 0, 75, 1, 0, 0, 0, 0, 77, 1, 0, 0, 0,
894
- 0, 79, 1, 0, 0, 0, 0, 81, 1, 0, 0, 0, 0, 83, 1, 0, 0, 0, 0, 85, 1, 0, 0, 0, 0, 87, 1, 0, 0, 0,
895
- 0, 89, 1, 0, 0, 0, 0, 91, 1, 0, 0, 0, 0, 93, 1, 0, 0, 0, 0, 95, 1, 0, 0, 0, 0, 97, 1, 0, 0, 0,
896
- 0, 99, 1, 0, 0, 0, 0, 101, 1, 0, 0, 0, 0, 103, 1, 0, 0, 0, 0, 105, 1, 0, 0, 0, 0, 107, 1, 0,
897
- 0, 0, 0, 109, 1, 0, 0, 0, 0, 111, 1, 0, 0, 0, 0, 113, 1, 0, 0, 0, 0, 115, 1, 0, 0, 0, 0, 117,
898
- 1, 0, 0, 0, 0, 119, 1, 0, 0, 0, 0, 121, 1, 0, 0, 0, 0, 123, 1, 0, 0, 0, 0, 125, 1, 0, 0, 0,
899
- 0, 127, 1, 0, 0, 0, 0, 129, 1, 0, 0, 0, 0, 131, 1, 0, 0, 0, 0, 133, 1, 0, 0, 0, 0, 135, 1,
900
- 0, 0, 0, 0, 137, 1, 0, 0, 0, 0, 139, 1, 0, 0, 0, 0, 141, 1, 0, 0, 0, 0, 143, 1, 0, 0, 0, 0,
901
- 145, 1, 0, 0, 0, 0, 147, 1, 0, 0, 0, 0, 149, 1, 0, 0, 0, 0, 151, 1, 0, 0, 0, 0, 153, 1, 0,
902
- 0, 0, 0, 155, 1, 0, 0, 0, 0, 157, 1, 0, 0, 0, 0, 159, 1, 0, 0, 0, 0, 161, 1, 0, 0, 0, 0, 163,
903
- 1, 0, 0, 0, 0, 165, 1, 0, 0, 0, 0, 167, 1, 0, 0, 0, 0, 169, 1, 0, 0, 0, 0, 171, 1, 0, 0, 0,
904
- 0, 173, 1, 0, 0, 0, 0, 175, 1, 0, 0, 0, 0, 177, 1, 0, 0, 0, 0, 179, 1, 0, 0, 0, 0, 181, 1,
905
- 0, 0, 0, 0, 183, 1, 0, 0, 0, 0, 185, 1, 0, 0, 0, 0, 187, 1, 0, 0, 0, 0, 189, 1, 0, 0, 0, 0,
906
- 191, 1, 0, 0, 0, 0, 193, 1, 0, 0, 0, 0, 195, 1, 0, 0, 0, 0, 197, 1, 0, 0, 0, 0, 199, 1, 0,
907
- 0, 0, 0, 201, 1, 0, 0, 0, 0, 203, 1, 0, 0, 0, 0, 205, 1, 0, 0, 0, 0, 207, 1, 0, 0, 0, 0, 209,
908
- 1, 0, 0, 0, 0, 211, 1, 0, 0, 0, 0, 213, 1, 0, 0, 0, 0, 215, 1, 0, 0, 0, 0, 217, 1, 0, 0, 0,
909
- 0, 219, 1, 0, 0, 0, 0, 221, 1, 0, 0, 0, 0, 223, 1, 0, 0, 0, 0, 225, 1, 0, 0, 0, 0, 227, 1,
910
- 0, 0, 0, 0, 229, 1, 0, 0, 0, 0, 231, 1, 0, 0, 0, 0, 233, 1, 0, 0, 0, 0, 235, 1, 0, 0, 0, 0,
911
- 237, 1, 0, 0, 0, 0, 239, 1, 0, 0, 0, 0, 241, 1, 0, 0, 0, 0, 243, 1, 0, 0, 0, 0, 245, 1, 0,
912
- 0, 0, 0, 247, 1, 0, 0, 0, 0, 249, 1, 0, 0, 0, 0, 251, 1, 0, 0, 0, 0, 253, 1, 0, 0, 0, 0, 255,
913
- 1, 0, 0, 0, 0, 257, 1, 0, 0, 0, 0, 259, 1, 0, 0, 0, 0, 261, 1, 0, 0, 0, 0, 263, 1, 0, 0, 0,
914
- 0, 265, 1, 0, 0, 0, 0, 267, 1, 0, 0, 0, 0, 269, 1, 0, 0, 0, 0, 271, 1, 0, 0, 0, 0, 273, 1,
915
- 0, 0, 0, 0, 275, 1, 0, 0, 0, 0, 277, 1, 0, 0, 0, 0, 279, 1, 0, 0, 0, 0, 281, 1, 0, 0, 0, 0,
916
- 283, 1, 0, 0, 0, 0, 285, 1, 0, 0, 0, 0, 287, 1, 0, 0, 0, 0, 289, 1, 0, 0, 0, 0, 291, 1, 0,
917
- 0, 0, 0, 293, 1, 0, 0, 0, 0, 295, 1, 0, 0, 0, 0, 297, 1, 0, 0, 0, 0, 299, 1, 0, 0, 0, 0, 301,
918
- 1, 0, 0, 0, 0, 303, 1, 0, 0, 0, 0, 305, 1, 0, 0, 0, 0, 307, 1, 0, 0, 0, 0, 309, 1, 0, 0, 0,
919
- 0, 311, 1, 0, 0, 0, 0, 313, 1, 0, 0, 0, 0, 315, 1, 0, 0, 0, 0, 317, 1, 0, 0, 0, 0, 319, 1,
920
- 0, 0, 0, 0, 321, 1, 0, 0, 0, 0, 323, 1, 0, 0, 0, 0, 325, 1, 0, 0, 0, 0, 327, 1, 0, 0, 0, 0,
921
- 329, 1, 0, 0, 0, 0, 331, 1, 0, 0, 0, 0, 333, 1, 0, 0, 0, 0, 335, 1, 0, 0, 0, 0, 337, 1, 0,
922
- 0, 0, 0, 339, 1, 0, 0, 0, 0, 341, 1, 0, 0, 0, 0, 343, 1, 0, 0, 0, 0, 345, 1, 0, 0, 0, 0, 347,
923
- 1, 0, 0, 0, 0, 349, 1, 0, 0, 0, 0, 351, 1, 0, 0, 0, 0, 353, 1, 0, 0, 0, 0, 355, 1, 0, 0, 0,
924
- 0, 357, 1, 0, 0, 0, 0, 359, 1, 0, 0, 0, 0, 361, 1, 0, 0, 0, 0, 363, 1, 0, 0, 0, 0, 365, 1,
925
- 0, 0, 0, 0, 367, 1, 0, 0, 0, 0, 369, 1, 0, 0, 0, 0, 371, 1, 0, 0, 0, 0, 373, 1, 0, 0, 0, 0,
926
- 375, 1, 0, 0, 0, 0, 377, 1, 0, 0, 0, 0, 379, 1, 0, 0, 0, 0, 381, 1, 0, 0, 0, 0, 383, 1, 0,
927
- 0, 0, 0, 385, 1, 0, 0, 0, 0, 387, 1, 0, 0, 0, 0, 389, 1, 0, 0, 0, 0, 391, 1, 0, 0, 0, 0, 393,
928
- 1, 0, 0, 0, 0, 395, 1, 0, 0, 0, 0, 397, 1, 0, 0, 0, 0, 399, 1, 0, 0, 0, 0, 401, 1, 0, 0, 0,
929
- 0, 403, 1, 0, 0, 0, 0, 405, 1, 0, 0, 0, 0, 407, 1, 0, 0, 0, 0, 409, 1, 0, 0, 0, 0, 411, 1,
930
- 0, 0, 0, 0, 413, 1, 0, 0, 0, 0, 415, 1, 0, 0, 0, 0, 417, 1, 0, 0, 0, 0, 419, 1, 0, 0, 0, 0,
931
- 421, 1, 0, 0, 0, 0, 423, 1, 0, 0, 0, 0, 425, 1, 0, 0, 0, 0, 427, 1, 0, 0, 0, 0, 429, 1, 0,
932
- 0, 0, 0, 431, 1, 0, 0, 0, 0, 433, 1, 0, 0, 0, 0, 435, 1, 0, 0, 0, 0, 437, 1, 0, 0, 0, 0, 439,
933
- 1, 0, 0, 0, 0, 441, 1, 0, 0, 0, 0, 443, 1, 0, 0, 0, 0, 445, 1, 0, 0, 0, 0, 447, 1, 0, 0, 0,
934
- 0, 449, 1, 0, 0, 0, 0, 451, 1, 0, 0, 0, 0, 453, 1, 0, 0, 0, 0, 455, 1, 0, 0, 0, 0, 457, 1,
935
- 0, 0, 0, 0, 459, 1, 0, 0, 0, 0, 461, 1, 0, 0, 0, 0, 463, 1, 0, 0, 0, 0, 465, 1, 0, 0, 0, 0,
936
- 467, 1, 0, 0, 0, 0, 469, 1, 0, 0, 0, 0, 471, 1, 0, 0, 0, 0, 473, 1, 0, 0, 0, 0, 475, 1, 0,
937
- 0, 0, 0, 477, 1, 0, 0, 0, 0, 479, 1, 0, 0, 0, 0, 481, 1, 0, 0, 0, 0, 483, 1, 0, 0, 0, 0, 485,
938
- 1, 0, 0, 0, 0, 487, 1, 0, 0, 0, 0, 489, 1, 0, 0, 0, 0, 491, 1, 0, 0, 0, 0, 493, 1, 0, 0, 0,
939
- 0, 495, 1, 0, 0, 0, 0, 497, 1, 0, 0, 0, 0, 499, 1, 0, 0, 0, 0, 501, 1, 0, 0, 0, 0, 503, 1,
940
- 0, 0, 0, 0, 505, 1, 0, 0, 0, 0, 507, 1, 0, 0, 0, 0, 509, 1, 0, 0, 0, 0, 511, 1, 0, 0, 0, 0,
941
- 513, 1, 0, 0, 0, 0, 515, 1, 0, 0, 0, 0, 517, 1, 0, 0, 0, 0, 519, 1, 0, 0, 0, 0, 521, 1, 0,
942
- 0, 0, 0, 523, 1, 0, 0, 0, 0, 525, 1, 0, 0, 0, 0, 527, 1, 0, 0, 0, 0, 529, 1, 0, 0, 0, 0, 531,
943
- 1, 0, 0, 0, 0, 533, 1, 0, 0, 0, 0, 535, 1, 0, 0, 0, 0, 537, 1, 0, 0, 0, 0, 539, 1, 0, 0, 0,
944
- 0, 541, 1, 0, 0, 0, 0, 543, 1, 0, 0, 0, 0, 545, 1, 0, 0, 0, 0, 547, 1, 0, 0, 0, 0, 549, 1,
945
- 0, 0, 0, 0, 551, 1, 0, 0, 0, 0, 553, 1, 0, 0, 0, 0, 555, 1, 0, 0, 0, 0, 557, 1, 0, 0, 0, 0,
946
- 559, 1, 0, 0, 0, 0, 561, 1, 0, 0, 0, 0, 563, 1, 0, 0, 0, 0, 565, 1, 0, 0, 0, 0, 567, 1, 0,
947
- 0, 0, 0, 569, 1, 0, 0, 0, 0, 571, 1, 0, 0, 0, 0, 573, 1, 0, 0, 0, 0, 575, 1, 0, 0, 0, 0, 577,
948
- 1, 0, 0, 0, 0, 579, 1, 0, 0, 0, 0, 581, 1, 0, 0, 0, 0, 583, 1, 0, 0, 0, 0, 585, 1, 0, 0, 0,
949
- 0, 587, 1, 0, 0, 0, 0, 589, 1, 0, 0, 0, 0, 591, 1, 0, 0, 0, 0, 593, 1, 0, 0, 0, 0, 595, 1,
950
- 0, 0, 0, 0, 597, 1, 0, 0, 0, 0, 599, 1, 0, 0, 0, 0, 601, 1, 0, 0, 0, 0, 603, 1, 0, 0, 0, 0,
951
- 605, 1, 0, 0, 0, 0, 607, 1, 0, 0, 0, 0, 609, 1, 0, 0, 0, 0, 611, 1, 0, 0, 0, 0, 613, 1, 0,
952
- 0, 0, 0, 615, 1, 0, 0, 0, 0, 617, 1, 0, 0, 0, 0, 619, 1, 0, 0, 0, 0, 621, 1, 0, 0, 0, 0, 623,
953
- 1, 0, 0, 0, 0, 625, 1, 0, 0, 0, 0, 627, 1, 0, 0, 0, 0, 629, 1, 0, 0, 0, 0, 631, 1, 0, 0, 0,
954
- 0, 633, 1, 0, 0, 0, 0, 635, 1, 0, 0, 0, 0, 637, 1, 0, 0, 0, 0, 639, 1, 0, 0, 0, 0, 641, 1,
955
- 0, 0, 0, 0, 643, 1, 0, 0, 0, 0, 645, 1, 0, 0, 0, 0, 647, 1, 0, 0, 0, 0, 649, 1, 0, 0, 0, 0,
956
- 651, 1, 0, 0, 0, 0, 653, 1, 0, 0, 0, 0, 655, 1, 0, 0, 0, 0, 657, 1, 0, 0, 0, 0, 659, 1, 0,
957
- 0, 0, 0, 661, 1, 0, 0, 0, 0, 663, 1, 0, 0, 0, 0, 665, 1, 0, 0, 0, 0, 667, 1, 0, 0, 0, 0, 669,
958
- 1, 0, 0, 0, 0, 685, 1, 0, 0, 0, 0, 687, 1, 0, 0, 0, 0, 689, 1, 0, 0, 0, 0, 691, 1, 0, 0, 0,
959
- 1, 693, 1, 0, 0, 0, 3, 695, 1, 0, 0, 0, 5, 697, 1, 0, 0, 0, 7, 699, 1, 0, 0, 0, 9, 701, 1,
960
- 0, 0, 0, 11, 706, 1, 0, 0, 0, 13, 709, 1, 0, 0, 0, 15, 712, 1, 0, 0, 0, 17, 714, 1, 0, 0,
961
- 0, 19, 716, 1, 0, 0, 0, 21, 718, 1, 0, 0, 0, 23, 720, 1, 0, 0, 0, 25, 722, 1, 0, 0, 0, 27,
962
- 724, 1, 0, 0, 0, 29, 727, 1, 0, 0, 0, 31, 730, 1, 0, 0, 0, 33, 732, 1, 0, 0, 0, 35, 734,
963
- 1, 0, 0, 0, 37, 741, 1, 0, 0, 0, 39, 745, 1, 0, 0, 0, 41, 751, 1, 0, 0, 0, 43, 757, 1, 0,
964
- 0, 0, 45, 761, 1, 0, 0, 0, 47, 767, 1, 0, 0, 0, 49, 775, 1, 0, 0, 0, 51, 779, 1, 0, 0, 0,
965
- 53, 783, 1, 0, 0, 0, 55, 789, 1, 0, 0, 0, 57, 792, 1, 0, 0, 0, 59, 796, 1, 0, 0, 0, 61, 799,
966
- 1, 0, 0, 0, 63, 813, 1, 0, 0, 0, 65, 819, 1, 0, 0, 0, 67, 829, 1, 0, 0, 0, 69, 837, 1, 0,
967
- 0, 0, 71, 842, 1, 0, 0, 0, 73, 845, 1, 0, 0, 0, 75, 850, 1, 0, 0, 0, 77, 857, 1, 0, 0, 0,
968
- 79, 865, 1, 0, 0, 0, 81, 870, 1, 0, 0, 0, 83, 875, 1, 0, 0, 0, 85, 883, 1, 0, 0, 0, 87, 892,
969
- 1, 0, 0, 0, 89, 899, 1, 0, 0, 0, 91, 907, 1, 0, 0, 0, 93, 915, 1, 0, 0, 0, 95, 922, 1, 0,
970
- 0, 0, 97, 932, 1, 0, 0, 0, 99, 944, 1, 0, 0, 0, 101, 955, 1, 0, 0, 0, 103, 961, 1, 0, 0,
971
- 0, 105, 973, 1, 0, 0, 0, 107, 980, 1, 0, 0, 0, 109, 986, 1, 0, 0, 0, 111, 991, 1, 0, 0,
972
- 0, 113, 999, 1, 0, 0, 0, 115, 1015, 1, 0, 0, 0, 117, 1028, 1, 0, 0, 0, 119, 1041, 1, 0,
973
- 0, 0, 121, 1054, 1, 0, 0, 0, 123, 1069, 1, 0, 0, 0, 125, 1082, 1, 0, 0, 0, 127, 1100,
974
- 1, 0, 0, 0, 129, 1113, 1, 0, 0, 0, 131, 1118, 1, 0, 0, 0, 133, 1123, 1, 0, 0, 0, 135, 1127,
975
- 1, 0, 0, 0, 137, 1138, 1, 0, 0, 0, 139, 1146, 1, 0, 0, 0, 141, 1154, 1, 0, 0, 0, 143, 1161,
976
- 1, 0, 0, 0, 145, 1169, 1, 0, 0, 0, 147, 1176, 1, 0, 0, 0, 149, 1181, 1, 0, 0, 0, 151, 1186,
977
- 1, 0, 0, 0, 153, 1195, 1, 0, 0, 0, 155, 1206, 1, 0, 0, 0, 157, 1220, 1, 0, 0, 0, 159, 1229,
978
- 1, 0, 0, 0, 161, 1241, 1, 0, 0, 0, 163, 1244, 1, 0, 0, 0, 165, 1251, 1, 0, 0, 0, 167, 1256,
979
- 1, 0, 0, 0, 169, 1261, 1, 0, 0, 0, 171, 1267, 1, 0, 0, 0, 173, 1274, 1, 0, 0, 0, 175, 1283,
980
- 1, 0, 0, 0, 177, 1287, 1, 0, 0, 0, 179, 1293, 1, 0, 0, 0, 181, 1300, 1, 0, 0, 0, 183, 1307,
981
- 1, 0, 0, 0, 185, 1317, 1, 0, 0, 0, 187, 1325, 1, 0, 0, 0, 189, 1332, 1, 0, 0, 0, 191, 1340,
982
- 1, 0, 0, 0, 193, 1348, 1, 0, 0, 0, 195, 1354, 1, 0, 0, 0, 197, 1360, 1, 0, 0, 0, 199, 1367,
983
- 1, 0, 0, 0, 201, 1373, 1, 0, 0, 0, 203, 1379, 1, 0, 0, 0, 205, 1389, 1, 0, 0, 0, 207, 1393,
984
- 1, 0, 0, 0, 209, 1400, 1, 0, 0, 0, 211, 1405, 1, 0, 0, 0, 213, 1410, 1, 0, 0, 0, 215, 1419,
985
- 1, 0, 0, 0, 217, 1429, 1, 0, 0, 0, 219, 1435, 1, 0, 0, 0, 221, 1441, 1, 0, 0, 0, 223, 1449,
986
- 1, 0, 0, 0, 225, 1456, 1, 0, 0, 0, 227, 1465, 1, 0, 0, 0, 229, 1471, 1, 0, 0, 0, 231, 1480,
987
- 1, 0, 0, 0, 233, 1487, 1, 0, 0, 0, 235, 1494, 1, 0, 0, 0, 237, 1499, 1, 0, 0, 0, 239, 1502,
988
- 1, 0, 0, 0, 241, 1509, 1, 0, 0, 0, 243, 1519, 1, 0, 0, 0, 245, 1522, 1, 0, 0, 0, 247, 1532,
989
- 1, 0, 0, 0, 249, 1540, 1, 0, 0, 0, 251, 1546, 1, 0, 0, 0, 253, 1552, 1, 0, 0, 0, 255, 1559,
990
- 1, 0, 0, 0, 257, 1569, 1, 0, 0, 0, 259, 1578, 1, 0, 0, 0, 261, 1583, 1, 0, 0, 0, 263, 1591,
991
- 1, 0, 0, 0, 265, 1594, 1, 0, 0, 0, 267, 1597, 1, 0, 0, 0, 269, 1607, 1, 0, 0, 0, 271, 1615,
992
- 1, 0, 0, 0, 273, 1620, 1, 0, 0, 0, 275, 1625, 1, 0, 0, 0, 277, 1636, 1, 0, 0, 0, 279, 1648,
993
- 1, 0, 0, 0, 281, 1660, 1, 0, 0, 0, 283, 1671, 1, 0, 0, 0, 285, 1682, 1, 0, 0, 0, 287, 1693,
994
- 1, 0, 0, 0, 289, 1698, 1, 0, 0, 0, 291, 1702, 1, 0, 0, 0, 293, 1707, 1, 0, 0, 0, 295, 1716,
995
- 1, 0, 0, 0, 297, 1721, 1, 0, 0, 0, 299, 1729, 1, 0, 0, 0, 301, 1737, 1, 0, 0, 0, 303, 1743,
996
- 1, 0, 0, 0, 305, 1748, 1, 0, 0, 0, 307, 1754, 1, 0, 0, 0, 309, 1759, 1, 0, 0, 0, 311, 1765,
997
- 1, 0, 0, 0, 313, 1773, 1, 0, 0, 0, 315, 1779, 1, 0, 0, 0, 317, 1789, 1, 0, 0, 0, 319, 1804,
998
- 1, 0, 0, 0, 321, 1812, 1, 0, 0, 0, 323, 1817, 1, 0, 0, 0, 325, 1821, 1, 0, 0, 0, 327, 1827,
999
- 1, 0, 0, 0, 329, 1835, 1, 0, 0, 0, 331, 1843, 1, 0, 0, 0, 333, 1859, 1, 0, 0, 0, 335, 1872,
1000
- 1, 0, 0, 0, 337, 1881, 1, 0, 0, 0, 339, 1887, 1, 0, 0, 0, 341, 1894, 1, 0, 0, 0, 343, 1900,
1001
- 1, 0, 0, 0, 345, 1908, 1, 0, 0, 0, 347, 1915, 1, 0, 0, 0, 349, 1920, 1, 0, 0, 0, 351, 1924,
1002
- 1, 0, 0, 0, 353, 1928, 1, 0, 0, 0, 355, 1933, 1, 0, 0, 0, 357, 1938, 1, 0, 0, 0, 359, 1941,
1003
- 1, 0, 0, 0, 361, 1946, 1, 0, 0, 0, 363, 1956, 1, 0, 0, 0, 365, 1960, 1, 0, 0, 0, 367, 1965,
1004
- 1, 0, 0, 0, 369, 1972, 1, 0, 0, 0, 371, 1978, 1, 0, 0, 0, 373, 1985, 1, 0, 0, 0, 375, 1988,
1005
- 1, 0, 0, 0, 377, 1995, 1, 0, 0, 0, 379, 2000, 1, 0, 0, 0, 381, 2003, 1, 0, 0, 0, 383, 2007,
1006
- 1, 0, 0, 0, 385, 2012, 1, 0, 0, 0, 387, 2019, 1, 0, 0, 0, 389, 2022, 1, 0, 0, 0, 391, 2028,
1007
- 1, 0, 0, 0, 393, 2039, 1, 0, 0, 0, 395, 2045, 1, 0, 0, 0, 397, 2052, 1, 0, 0, 0, 399, 2057,
1008
- 1, 0, 0, 0, 401, 2066, 1, 0, 0, 0, 403, 2076, 1, 0, 0, 0, 405, 2087, 1, 0, 0, 0, 407, 2095,
1009
- 1, 0, 0, 0, 409, 2100, 1, 0, 0, 0, 411, 2105, 1, 0, 0, 0, 413, 2113, 1, 0, 0, 0, 415, 2117,
1010
- 1, 0, 0, 0, 417, 2124, 1, 0, 0, 0, 419, 2132, 1, 0, 0, 0, 421, 2137, 1, 0, 0, 0, 423, 2146,
1011
- 1, 0, 0, 0, 425, 2156, 1, 0, 0, 0, 427, 2166, 1, 0, 0, 0, 429, 2174, 1, 0, 0, 0, 431, 2185,
1012
- 1, 0, 0, 0, 433, 2196, 1, 0, 0, 0, 435, 2202, 1, 0, 0, 0, 437, 2209, 1, 0, 0, 0, 439, 2215,
1013
- 1, 0, 0, 0, 441, 2220, 1, 0, 0, 0, 443, 2230, 1, 0, 0, 0, 445, 2238, 1, 0, 0, 0, 447, 2245,
1014
- 1, 0, 0, 0, 449, 2252, 1, 0, 0, 0, 451, 2263, 1, 0, 0, 0, 453, 2271, 1, 0, 0, 0, 455, 2277,
1015
- 1, 0, 0, 0, 457, 2285, 1, 0, 0, 0, 459, 2294, 1, 0, 0, 0, 461, 2301, 1, 0, 0, 0, 463, 2311,
1016
- 1, 0, 0, 0, 465, 2319, 1, 0, 0, 0, 467, 2326, 1, 0, 0, 0, 469, 2332, 1, 0, 0, 0, 471, 2337,
1017
- 1, 0, 0, 0, 473, 2343, 1, 0, 0, 0, 475, 2352, 1, 0, 0, 0, 477, 2359, 1, 0, 0, 0, 479, 2363,
1018
- 1, 0, 0, 0, 481, 2368, 1, 0, 0, 0, 483, 2376, 1, 0, 0, 0, 485, 2383, 1, 0, 0, 0, 487, 2390,
1019
- 1, 0, 0, 0, 489, 2398, 1, 0, 0, 0, 491, 2405, 1, 0, 0, 0, 493, 2414, 1, 0, 0, 0, 495, 2419,
1020
- 1, 0, 0, 0, 497, 2426, 1, 0, 0, 0, 499, 2439, 1, 0, 0, 0, 501, 2447, 1, 0, 0, 0, 503, 2451,
1021
- 1, 0, 0, 0, 505, 2456, 1, 0, 0, 0, 507, 2461, 1, 0, 0, 0, 509, 2466, 1, 0, 0, 0, 511, 2472,
1022
- 1, 0, 0, 0, 513, 2478, 1, 0, 0, 0, 515, 2485, 1, 0, 0, 0, 517, 2495, 1, 0, 0, 0, 519, 2502,
1023
- 1, 0, 0, 0, 521, 2508, 1, 0, 0, 0, 523, 2515, 1, 0, 0, 0, 525, 2527, 1, 0, 0, 0, 527, 2532,
1024
- 1, 0, 0, 0, 529, 2539, 1, 0, 0, 0, 531, 2544, 1, 0, 0, 0, 533, 2549, 1, 0, 0, 0, 535, 2554,
1025
- 1, 0, 0, 0, 537, 2564, 1, 0, 0, 0, 539, 2567, 1, 0, 0, 0, 541, 2576, 1, 0, 0, 0, 543, 2588,
1026
- 1, 0, 0, 0, 545, 2593, 1, 0, 0, 0, 547, 2598, 1, 0, 0, 0, 549, 2607, 1, 0, 0, 0, 551, 2616,
1027
- 1, 0, 0, 0, 553, 2621, 1, 0, 0, 0, 555, 2629, 1, 0, 0, 0, 557, 2639, 1, 0, 0, 0, 559, 2651,
1028
- 1, 0, 0, 0, 561, 2665, 1, 0, 0, 0, 563, 2671, 1, 0, 0, 0, 565, 2678, 1, 0, 0, 0, 567, 2686,
1029
- 1, 0, 0, 0, 569, 2696, 1, 0, 0, 0, 571, 2703, 1, 0, 0, 0, 573, 2709, 1, 0, 0, 0, 575, 2716,
1030
- 1, 0, 0, 0, 577, 2720, 1, 0, 0, 0, 579, 2725, 1, 0, 0, 0, 581, 2731, 1, 0, 0, 0, 583, 2737,
1031
- 1, 0, 0, 0, 585, 2743, 1, 0, 0, 0, 587, 2748, 1, 0, 0, 0, 589, 2757, 1, 0, 0, 0, 591, 2763,
1032
- 1, 0, 0, 0, 593, 2770, 1, 0, 0, 0, 595, 2778, 1, 0, 0, 0, 597, 2786, 1, 0, 0, 0, 599, 2791,
1033
- 1, 0, 0, 0, 601, 2796, 1, 0, 0, 0, 603, 2802, 1, 0, 0, 0, 605, 2808, 1, 0, 0, 0, 607, 2815,
1034
- 1, 0, 0, 0, 609, 2820, 1, 0, 0, 0, 611, 2827, 1, 0, 0, 0, 613, 2835, 1, 0, 0, 0, 615, 2840,
1035
- 1, 0, 0, 0, 617, 2848, 1, 0, 0, 0, 619, 2854, 1, 0, 0, 0, 621, 2859, 1, 0, 0, 0, 623, 2864,
1036
- 1, 0, 0, 0, 625, 2870, 1, 0, 0, 0, 627, 2872, 1, 0, 0, 0, 629, 2874, 1, 0, 0, 0, 631, 2877,
1037
- 1, 0, 0, 0, 633, 2879, 1, 0, 0, 0, 635, 2882, 1, 0, 0, 0, 637, 2884, 1, 0, 0, 0, 639, 2886,
1038
- 1, 0, 0, 0, 641, 2888, 1, 0, 0, 0, 643, 2890, 1, 0, 0, 0, 645, 2892, 1, 0, 0, 0, 647, 2895,
1039
- 1, 0, 0, 0, 649, 2897, 1, 0, 0, 0, 651, 2899, 1, 0, 0, 0, 653, 2910, 1, 0, 0, 0, 655, 2924,
1040
- 1, 0, 0, 0, 657, 2939, 1, 0, 0, 0, 659, 2948, 1, 0, 0, 0, 661, 2974, 1, 0, 0, 0, 663, 2978,
1041
- 1, 0, 0, 0, 665, 2988, 1, 0, 0, 0, 667, 2996, 1, 0, 0, 0, 669, 3007, 1, 0, 0, 0, 671, 3018,
1042
- 1, 0, 0, 0, 673, 3028, 1, 0, 0, 0, 675, 3042, 1, 0, 0, 0, 677, 3053, 1, 0, 0, 0, 679, 3064,
1043
- 1, 0, 0, 0, 681, 3073, 1, 0, 0, 0, 683, 3075, 1, 0, 0, 0, 685, 3077, 1, 0, 0, 0, 687, 3094,
1044
- 1, 0, 0, 0, 689, 3109, 1, 0, 0, 0, 691, 3115, 1, 0, 0, 0, 693, 694, 5, 40, 0, 0, 694, 2,
1045
- 1, 0, 0, 0, 695, 696, 5, 41, 0, 0, 696, 4, 1, 0, 0, 0, 697, 698, 5, 44, 0, 0, 698, 6, 1,
1046
- 0, 0, 0, 699, 700, 5, 46, 0, 0, 700, 8, 1, 0, 0, 0, 701, 702, 7, 0, 0, 0, 702, 703, 7, 1,
1047
- 0, 0, 703, 704, 7, 2, 0, 0, 704, 705, 7, 3, 0, 0, 705, 10, 1, 0, 0, 0, 706, 707, 5, 61,
1048
- 0, 0, 707, 708, 5, 62, 0, 0, 708, 12, 1, 0, 0, 0, 709, 710, 5, 45, 0, 0, 710, 711, 5, 62,
1049
- 0, 0, 711, 14, 1, 0, 0, 0, 712, 713, 5, 91, 0, 0, 713, 16, 1, 0, 0, 0, 714, 715, 5, 93,
1050
- 0, 0, 715, 18, 1, 0, 0, 0, 716, 717, 5, 58, 0, 0, 717, 20, 1, 0, 0, 0, 718, 719, 5, 124,
1051
- 0, 0, 719, 22, 1, 0, 0, 0, 720, 721, 5, 94, 0, 0, 721, 24, 1, 0, 0, 0, 722, 723, 5, 36,
1052
- 0, 0, 723, 26, 1, 0, 0, 0, 724, 725, 5, 123, 0, 0, 725, 726, 5, 45, 0, 0, 726, 28, 1, 0,
1053
- 0, 0, 727, 728, 5, 45, 0, 0, 728, 729, 5, 125, 0, 0, 729, 30, 1, 0, 0, 0, 730, 731, 5,
1054
- 123, 0, 0, 731, 32, 1, 0, 0, 0, 732, 733, 5, 125, 0, 0, 733, 34, 1, 0, 0, 0, 734, 735,
1055
- 7, 4, 0, 0, 735, 736, 7, 5, 0, 0, 736, 737, 7, 0, 0, 0, 737, 738, 7, 6, 0, 0, 738, 739,
1056
- 7, 7, 0, 0, 739, 740, 7, 8, 0, 0, 740, 36, 1, 0, 0, 0, 741, 742, 7, 4, 0, 0, 742, 743, 7,
1057
- 9, 0, 0, 743, 744, 7, 9, 0, 0, 744, 38, 1, 0, 0, 0, 745, 746, 7, 4, 0, 0, 746, 747, 7, 9,
1058
- 0, 0, 747, 748, 7, 10, 0, 0, 748, 749, 7, 2, 0, 0, 749, 750, 7, 7, 0, 0, 750, 40, 1, 0,
1059
- 0, 0, 751, 752, 7, 4, 0, 0, 752, 753, 7, 11, 0, 0, 753, 754, 7, 8, 0, 0, 754, 755, 7, 6,
1060
- 0, 0, 755, 756, 7, 12, 0, 0, 756, 42, 1, 0, 0, 0, 757, 758, 7, 4, 0, 0, 758, 759, 7, 13,
1061
- 0, 0, 759, 760, 7, 13, 0, 0, 760, 44, 1, 0, 0, 0, 761, 762, 7, 4, 0, 0, 762, 763, 7, 13,
1062
- 0, 0, 763, 764, 7, 8, 0, 0, 764, 765, 7, 6, 0, 0, 765, 766, 7, 12, 0, 0, 766, 46, 1, 0,
1063
- 0, 0, 767, 768, 7, 4, 0, 0, 768, 769, 7, 7, 0, 0, 769, 770, 7, 4, 0, 0, 770, 771, 7, 13,
1064
- 0, 0, 771, 772, 7, 14, 0, 0, 772, 773, 7, 15, 0, 0, 773, 774, 7, 6, 0, 0, 774, 48, 1, 0,
1065
- 0, 0, 775, 776, 7, 4, 0, 0, 776, 777, 7, 7, 0, 0, 777, 778, 7, 9, 0, 0, 778, 50, 1, 0, 0,
1066
- 0, 779, 780, 7, 4, 0, 0, 780, 781, 7, 7, 0, 0, 781, 782, 7, 14, 0, 0, 782, 52, 1, 0, 0,
1067
- 0, 783, 784, 7, 4, 0, 0, 784, 785, 7, 12, 0, 0, 785, 786, 7, 12, 0, 0, 786, 787, 7, 4,
1068
- 0, 0, 787, 788, 7, 14, 0, 0, 788, 54, 1, 0, 0, 0, 789, 790, 7, 4, 0, 0, 790, 791, 7, 0,
1069
- 0, 0, 791, 56, 1, 0, 0, 0, 792, 793, 7, 4, 0, 0, 793, 794, 7, 0, 0, 0, 794, 795, 7, 16,
1070
- 0, 0, 795, 58, 1, 0, 0, 0, 796, 797, 7, 4, 0, 0, 797, 798, 7, 8, 0, 0, 798, 60, 1, 0, 0,
1071
- 0, 799, 800, 7, 4, 0, 0, 800, 801, 7, 17, 0, 0, 801, 802, 7, 8, 0, 0, 802, 803, 7, 18,
1072
- 0, 0, 803, 804, 7, 19, 0, 0, 804, 805, 7, 12, 0, 0, 805, 806, 7, 2, 0, 0, 806, 807, 7,
1073
- 15, 0, 0, 807, 808, 7, 4, 0, 0, 808, 809, 7, 8, 0, 0, 809, 810, 7, 2, 0, 0, 810, 811, 7,
1074
- 19, 0, 0, 811, 812, 7, 7, 0, 0, 812, 62, 1, 0, 0, 0, 813, 814, 7, 5, 0, 0, 814, 815, 7,
1075
- 6, 0, 0, 815, 816, 7, 20, 0, 0, 816, 817, 7, 2, 0, 0, 817, 818, 7, 7, 0, 0, 818, 64, 1,
1076
- 0, 0, 0, 819, 820, 7, 5, 0, 0, 820, 821, 7, 6, 0, 0, 821, 822, 7, 12, 0, 0, 822, 823, 7,
1077
- 7, 0, 0, 823, 824, 7, 19, 0, 0, 824, 825, 7, 17, 0, 0, 825, 826, 7, 13, 0, 0, 826, 827,
1078
- 7, 13, 0, 0, 827, 828, 7, 2, 0, 0, 828, 66, 1, 0, 0, 0, 829, 830, 7, 5, 0, 0, 830, 831,
1079
- 7, 6, 0, 0, 831, 832, 7, 8, 0, 0, 832, 833, 7, 21, 0, 0, 833, 834, 7, 6, 0, 0, 834, 835,
1080
- 7, 6, 0, 0, 835, 836, 7, 7, 0, 0, 836, 68, 1, 0, 0, 0, 837, 838, 7, 5, 0, 0, 838, 839, 7,
1081
- 19, 0, 0, 839, 840, 7, 8, 0, 0, 840, 841, 7, 18, 0, 0, 841, 70, 1, 0, 0, 0, 842, 843, 7,
1082
- 5, 0, 0, 843, 844, 7, 14, 0, 0, 844, 72, 1, 0, 0, 0, 845, 846, 7, 16, 0, 0, 846, 847, 7,
1083
- 4, 0, 0, 847, 848, 7, 13, 0, 0, 848, 849, 7, 13, 0, 0, 849, 74, 1, 0, 0, 0, 850, 851, 7,
1084
- 16, 0, 0, 851, 852, 7, 4, 0, 0, 852, 853, 7, 13, 0, 0, 853, 854, 7, 13, 0, 0, 854, 855,
1085
- 7, 6, 0, 0, 855, 856, 7, 9, 0, 0, 856, 76, 1, 0, 0, 0, 857, 858, 7, 16, 0, 0, 858, 859,
1086
- 7, 4, 0, 0, 859, 860, 7, 0, 0, 0, 860, 861, 7, 16, 0, 0, 861, 862, 7, 4, 0, 0, 862, 863,
1087
- 7, 9, 0, 0, 863, 864, 7, 6, 0, 0, 864, 78, 1, 0, 0, 0, 865, 866, 7, 16, 0, 0, 866, 867,
1088
- 7, 4, 0, 0, 867, 868, 7, 0, 0, 0, 868, 869, 7, 6, 0, 0, 869, 80, 1, 0, 0, 0, 870, 871, 7,
1089
- 16, 0, 0, 871, 872, 7, 4, 0, 0, 872, 873, 7, 0, 0, 0, 873, 874, 7, 8, 0, 0, 874, 82, 1,
1090
- 0, 0, 0, 875, 876, 7, 16, 0, 0, 876, 877, 7, 4, 0, 0, 877, 878, 7, 8, 0, 0, 878, 879, 7,
1091
- 4, 0, 0, 879, 880, 7, 13, 0, 0, 880, 881, 7, 19, 0, 0, 881, 882, 7, 20, 0, 0, 882, 84,
1092
- 1, 0, 0, 0, 883, 884, 7, 16, 0, 0, 884, 885, 7, 4, 0, 0, 885, 886, 7, 8, 0, 0, 886, 887,
1093
- 7, 4, 0, 0, 887, 888, 7, 13, 0, 0, 888, 889, 7, 19, 0, 0, 889, 890, 7, 20, 0, 0, 890, 891,
1094
- 7, 0, 0, 0, 891, 86, 1, 0, 0, 0, 892, 893, 7, 16, 0, 0, 893, 894, 7, 19, 0, 0, 894, 895,
1095
- 7, 13, 0, 0, 895, 896, 7, 17, 0, 0, 896, 897, 7, 10, 0, 0, 897, 898, 7, 7, 0, 0, 898, 88,
1096
- 1, 0, 0, 0, 899, 900, 7, 16, 0, 0, 900, 901, 7, 19, 0, 0, 901, 902, 7, 13, 0, 0, 902, 903,
1097
- 7, 17, 0, 0, 903, 904, 7, 10, 0, 0, 904, 905, 7, 7, 0, 0, 905, 906, 7, 0, 0, 0, 906, 90,
1098
- 1, 0, 0, 0, 907, 908, 7, 16, 0, 0, 908, 909, 7, 19, 0, 0, 909, 910, 7, 10, 0, 0, 910, 911,
1099
- 7, 10, 0, 0, 911, 912, 7, 6, 0, 0, 912, 913, 7, 7, 0, 0, 913, 914, 7, 8, 0, 0, 914, 92,
1100
- 1, 0, 0, 0, 915, 916, 7, 16, 0, 0, 916, 917, 7, 19, 0, 0, 917, 918, 7, 10, 0, 0, 918, 919,
1101
- 7, 10, 0, 0, 919, 920, 7, 2, 0, 0, 920, 921, 7, 8, 0, 0, 921, 94, 1, 0, 0, 0, 922, 923,
1102
- 7, 16, 0, 0, 923, 924, 7, 19, 0, 0, 924, 925, 7, 10, 0, 0, 925, 926, 7, 10, 0, 0, 926,
1103
- 927, 7, 2, 0, 0, 927, 928, 7, 8, 0, 0, 928, 929, 7, 8, 0, 0, 929, 930, 7, 6, 0, 0, 930,
1104
- 931, 7, 9, 0, 0, 931, 96, 1, 0, 0, 0, 932, 933, 7, 16, 0, 0, 933, 934, 7, 19, 0, 0, 934,
1105
- 935, 7, 7, 0, 0, 935, 936, 7, 9, 0, 0, 936, 937, 7, 2, 0, 0, 937, 938, 7, 8, 0, 0, 938,
1106
- 939, 7, 2, 0, 0, 939, 940, 7, 19, 0, 0, 940, 941, 7, 7, 0, 0, 941, 942, 7, 4, 0, 0, 942,
1107
- 943, 7, 13, 0, 0, 943, 98, 1, 0, 0, 0, 944, 945, 7, 16, 0, 0, 945, 946, 7, 19, 0, 0, 946,
1108
- 947, 7, 7, 0, 0, 947, 948, 7, 0, 0, 0, 948, 949, 7, 8, 0, 0, 949, 950, 7, 12, 0, 0, 950,
1109
- 951, 7, 4, 0, 0, 951, 952, 7, 2, 0, 0, 952, 953, 7, 7, 0, 0, 953, 954, 7, 8, 0, 0, 954,
1110
- 100, 1, 0, 0, 0, 955, 956, 7, 16, 0, 0, 956, 957, 7, 19, 0, 0, 957, 958, 7, 17, 0, 0, 958,
1111
- 959, 7, 7, 0, 0, 959, 960, 7, 8, 0, 0, 960, 102, 1, 0, 0, 0, 961, 962, 7, 16, 0, 0, 962,
1112
- 963, 7, 19, 0, 0, 963, 964, 7, 3, 0, 0, 964, 965, 7, 4, 0, 0, 965, 966, 7, 12, 0, 0, 966,
1113
- 967, 7, 8, 0, 0, 967, 968, 7, 2, 0, 0, 968, 969, 7, 8, 0, 0, 969, 970, 7, 2, 0, 0, 970,
1114
- 971, 7, 19, 0, 0, 971, 972, 7, 7, 0, 0, 972, 104, 1, 0, 0, 0, 973, 974, 7, 16, 0, 0, 974,
1115
- 975, 7, 12, 0, 0, 975, 976, 7, 6, 0, 0, 976, 977, 7, 4, 0, 0, 977, 978, 7, 8, 0, 0, 978,
1116
- 979, 7, 6, 0, 0, 979, 106, 1, 0, 0, 0, 980, 981, 7, 16, 0, 0, 981, 982, 7, 12, 0, 0, 982,
1117
- 983, 7, 19, 0, 0, 983, 984, 7, 0, 0, 0, 984, 985, 7, 0, 0, 0, 985, 108, 1, 0, 0, 0, 986,
1118
- 987, 7, 16, 0, 0, 987, 988, 7, 17, 0, 0, 988, 989, 7, 5, 0, 0, 989, 990, 7, 6, 0, 0, 990,
1119
- 110, 1, 0, 0, 0, 991, 992, 7, 16, 0, 0, 992, 993, 7, 17, 0, 0, 993, 994, 7, 12, 0, 0, 994,
1120
- 995, 7, 12, 0, 0, 995, 996, 7, 6, 0, 0, 996, 997, 7, 7, 0, 0, 997, 998, 7, 8, 0, 0, 998,
1121
- 112, 1, 0, 0, 0, 999, 1000, 7, 16, 0, 0, 1000, 1001, 7, 17, 0, 0, 1001, 1002, 7, 12,
1122
- 0, 0, 1002, 1003, 7, 12, 0, 0, 1003, 1004, 7, 6, 0, 0, 1004, 1005, 7, 7, 0, 0, 1005,
1123
- 1006, 7, 8, 0, 0, 1006, 1007, 5, 95, 0, 0, 1007, 1008, 7, 16, 0, 0, 1008, 1009, 7, 4,
1124
- 0, 0, 1009, 1010, 7, 8, 0, 0, 1010, 1011, 7, 4, 0, 0, 1011, 1012, 7, 13, 0, 0, 1012,
1125
- 1013, 7, 19, 0, 0, 1013, 1014, 7, 20, 0, 0, 1014, 114, 1, 0, 0, 0, 1015, 1016, 7, 16,
1126
- 0, 0, 1016, 1017, 7, 17, 0, 0, 1017, 1018, 7, 12, 0, 0, 1018, 1019, 7, 12, 0, 0, 1019,
1127
- 1020, 7, 6, 0, 0, 1020, 1021, 7, 7, 0, 0, 1021, 1022, 7, 8, 0, 0, 1022, 1023, 5, 95,
1128
- 0, 0, 1023, 1024, 7, 9, 0, 0, 1024, 1025, 7, 4, 0, 0, 1025, 1026, 7, 8, 0, 0, 1026, 1027,
1129
- 7, 6, 0, 0, 1027, 116, 1, 0, 0, 0, 1028, 1029, 7, 16, 0, 0, 1029, 1030, 7, 17, 0, 0, 1030,
1130
- 1031, 7, 12, 0, 0, 1031, 1032, 7, 12, 0, 0, 1032, 1033, 7, 6, 0, 0, 1033, 1034, 7, 7,
1131
- 0, 0, 1034, 1035, 7, 8, 0, 0, 1035, 1036, 5, 95, 0, 0, 1036, 1037, 7, 3, 0, 0, 1037,
1132
- 1038, 7, 4, 0, 0, 1038, 1039, 7, 8, 0, 0, 1039, 1040, 7, 18, 0, 0, 1040, 118, 1, 0, 0,
1133
- 0, 1041, 1042, 7, 16, 0, 0, 1042, 1043, 7, 17, 0, 0, 1043, 1044, 7, 12, 0, 0, 1044,
1134
- 1045, 7, 12, 0, 0, 1045, 1046, 7, 6, 0, 0, 1046, 1047, 7, 7, 0, 0, 1047, 1048, 7, 8,
1135
- 0, 0, 1048, 1049, 5, 95, 0, 0, 1049, 1050, 7, 12, 0, 0, 1050, 1051, 7, 19, 0, 0, 1051,
1136
- 1052, 7, 13, 0, 0, 1052, 1053, 7, 6, 0, 0, 1053, 120, 1, 0, 0, 0, 1054, 1055, 7, 16,
1137
- 0, 0, 1055, 1056, 7, 17, 0, 0, 1056, 1057, 7, 12, 0, 0, 1057, 1058, 7, 12, 0, 0, 1058,
1138
- 1059, 7, 6, 0, 0, 1059, 1060, 7, 7, 0, 0, 1060, 1061, 7, 8, 0, 0, 1061, 1062, 5, 95,
1139
- 0, 0, 1062, 1063, 7, 0, 0, 0, 1063, 1064, 7, 16, 0, 0, 1064, 1065, 7, 18, 0, 0, 1065,
1140
- 1066, 7, 6, 0, 0, 1066, 1067, 7, 10, 0, 0, 1067, 1068, 7, 4, 0, 0, 1068, 122, 1, 0, 0,
1141
- 0, 1069, 1070, 7, 16, 0, 0, 1070, 1071, 7, 17, 0, 0, 1071, 1072, 7, 12, 0, 0, 1072,
1142
- 1073, 7, 12, 0, 0, 1073, 1074, 7, 6, 0, 0, 1074, 1075, 7, 7, 0, 0, 1075, 1076, 7, 8,
1143
- 0, 0, 1076, 1077, 5, 95, 0, 0, 1077, 1078, 7, 8, 0, 0, 1078, 1079, 7, 2, 0, 0, 1079,
835
+ 1, 343, 1, 343, 1, 343, 1, 344, 1, 344, 1, 344, 1, 344, 1, 345, 1, 345, 1, 3100, 0, 346,
836
+ 1, 1, 3, 2, 5, 3, 7, 4, 9, 5, 11, 6, 13, 7, 15, 8, 17, 9, 19, 10, 21, 11, 23, 12, 25, 13,
837
+ 27, 14, 29, 15, 31, 16, 33, 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24,
838
+ 49, 25, 51, 26, 53, 27, 55, 28, 57, 29, 59, 30, 61, 31, 63, 32, 65, 33, 67, 34, 69, 35,
839
+ 71, 36, 73, 37, 75, 38, 77, 39, 79, 40, 81, 41, 83, 42, 85, 43, 87, 44, 89, 45, 91, 46,
840
+ 93, 47, 95, 48, 97, 49, 99, 50, 101, 51, 103, 52, 105, 53, 107, 54, 109, 55, 111, 56,
841
+ 113, 57, 115, 58, 117, 59, 119, 60, 121, 61, 123, 62, 125, 63, 127, 64, 129, 65, 131,
842
+ 66, 133, 67, 135, 68, 137, 69, 139, 70, 141, 71, 143, 72, 145, 73, 147, 74, 149, 75,
843
+ 151, 76, 153, 77, 155, 78, 157, 79, 159, 80, 161, 81, 163, 82, 165, 83, 167, 84, 169,
844
+ 85, 171, 86, 173, 87, 175, 88, 177, 89, 179, 90, 181, 91, 183, 92, 185, 93, 187, 94,
845
+ 189, 95, 191, 96, 193, 97, 195, 98, 197, 99, 199, 100, 201, 101, 203, 102, 205, 103,
846
+ 207, 104, 209, 105, 211, 106, 213, 107, 215, 108, 217, 109, 219, 110, 221, 111,
847
+ 223, 112, 225, 113, 227, 114, 229, 115, 231, 116, 233, 117, 235, 118, 237, 119,
848
+ 239, 120, 241, 121, 243, 122, 245, 123, 247, 124, 249, 125, 251, 126, 253, 127,
849
+ 255, 128, 257, 129, 259, 130, 261, 131, 263, 132, 265, 133, 267, 134, 269, 135,
850
+ 271, 136, 273, 137, 275, 138, 277, 139, 279, 140, 281, 141, 283, 142, 285, 143,
851
+ 287, 144, 289, 145, 291, 146, 293, 147, 295, 148, 297, 149, 299, 150, 301, 151,
852
+ 303, 152, 305, 153, 307, 154, 309, 155, 311, 156, 313, 157, 315, 158, 317, 159,
853
+ 319, 160, 321, 161, 323, 162, 325, 163, 327, 164, 329, 165, 331, 166, 333, 167,
854
+ 335, 168, 337, 169, 339, 170, 341, 171, 343, 172, 345, 173, 347, 174, 349, 175,
855
+ 351, 176, 353, 177, 355, 178, 357, 179, 359, 180, 361, 181, 363, 182, 365, 183,
856
+ 367, 184, 369, 185, 371, 186, 373, 187, 375, 188, 377, 189, 379, 190, 381, 191,
857
+ 383, 192, 385, 193, 387, 194, 389, 195, 391, 196, 393, 197, 395, 198, 397, 199,
858
+ 399, 200, 401, 201, 403, 202, 405, 203, 407, 204, 409, 205, 411, 206, 413, 207,
859
+ 415, 208, 417, 209, 419, 210, 421, 211, 423, 212, 425, 213, 427, 214, 429, 215,
860
+ 431, 216, 433, 217, 435, 218, 437, 219, 439, 220, 441, 221, 443, 222, 445, 223,
861
+ 447, 224, 449, 225, 451, 226, 453, 227, 455, 228, 457, 229, 459, 230, 461, 231,
862
+ 463, 232, 465, 233, 467, 234, 469, 235, 471, 236, 473, 237, 475, 238, 477, 239,
863
+ 479, 240, 481, 241, 483, 242, 485, 243, 487, 244, 489, 245, 491, 246, 493, 247,
864
+ 495, 248, 497, 249, 499, 250, 501, 251, 503, 252, 505, 253, 507, 254, 509, 255,
865
+ 511, 256, 513, 257, 515, 258, 517, 259, 519, 260, 521, 261, 523, 262, 525, 263,
866
+ 527, 264, 529, 265, 531, 266, 533, 267, 535, 268, 537, 269, 539, 270, 541, 271,
867
+ 543, 272, 545, 273, 547, 274, 549, 275, 551, 276, 553, 277, 555, 278, 557, 279,
868
+ 559, 280, 561, 281, 563, 282, 565, 283, 567, 284, 569, 285, 571, 286, 573, 287,
869
+ 575, 288, 577, 289, 579, 290, 581, 291, 583, 292, 585, 293, 587, 294, 589, 295,
870
+ 591, 296, 593, 297, 595, 298, 597, 299, 599, 300, 601, 301, 603, 302, 605, 303,
871
+ 607, 304, 609, 305, 611, 306, 613, 307, 615, 308, 617, 309, 619, 310, 621, 311,
872
+ 623, 312, 625, 313, 627, 314, 629, 315, 631, 316, 633, 317, 635, 318, 637, 319,
873
+ 639, 320, 641, 321, 643, 322, 645, 323, 647, 324, 649, 325, 651, 326, 653, 327,
874
+ 655, 328, 657, 329, 659, 330, 661, 331, 663, 332, 665, 333, 667, 334, 669, 335,
875
+ 671, 0, 673, 0, 675, 0, 677, 0, 679, 0, 681, 0, 683, 0, 685, 336, 687, 337, 689, 338,
876
+ 691, 339, 1, 0, 37, 2, 0, 83, 83, 115, 115, 2, 0, 75, 75, 107, 107, 2, 0, 73, 73, 105,
877
+ 105, 2, 0, 80, 80, 112, 112, 2, 0, 65, 65, 97, 97, 2, 0, 66, 66, 98, 98, 2, 0, 69, 69,
878
+ 101, 101, 2, 0, 78, 78, 110, 110, 2, 0, 84, 84, 116, 116, 2, 0, 68, 68, 100, 100, 2,
879
+ 0, 77, 77, 109, 109, 2, 0, 70, 70, 102, 102, 2, 0, 82, 82, 114, 114, 2, 0, 76, 76, 108,
880
+ 108, 2, 0, 89, 89, 121, 121, 2, 0, 90, 90, 122, 122, 2, 0, 67, 67, 99, 99, 2, 0, 85, 85,
881
+ 117, 117, 2, 0, 72, 72, 104, 104, 2, 0, 79, 79, 111, 111, 2, 0, 71, 71, 103, 103, 2,
882
+ 0, 87, 87, 119, 119, 2, 0, 88, 88, 120, 120, 2, 0, 86, 86, 118, 118, 2, 0, 74, 74, 106,
883
+ 106, 2, 0, 81, 81, 113, 113, 1, 0, 39, 39, 1, 0, 34, 34, 1, 0, 96, 96, 2, 0, 65, 70, 97,
884
+ 102, 1, 0, 48, 55, 1, 0, 48, 49, 2, 0, 43, 43, 45, 45, 1, 0, 48, 57, 2, 0, 65, 90, 97, 122,
885
+ 2, 0, 10, 10, 13, 13, 3, 0, 9, 10, 13, 13, 32, 32, 3148, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0,
886
+ 0, 0, 5, 1, 0, 0, 0, 0, 7, 1, 0, 0, 0, 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 0, 13, 1, 0, 0, 0,
887
+ 0, 15, 1, 0, 0, 0, 0, 17, 1, 0, 0, 0, 0, 19, 1, 0, 0, 0, 0, 21, 1, 0, 0, 0, 0, 23, 1, 0, 0, 0,
888
+ 0, 25, 1, 0, 0, 0, 0, 27, 1, 0, 0, 0, 0, 29, 1, 0, 0, 0, 0, 31, 1, 0, 0, 0, 0, 33, 1, 0, 0, 0,
889
+ 0, 35, 1, 0, 0, 0, 0, 37, 1, 0, 0, 0, 0, 39, 1, 0, 0, 0, 0, 41, 1, 0, 0, 0, 0, 43, 1, 0, 0, 0,
890
+ 0, 45, 1, 0, 0, 0, 0, 47, 1, 0, 0, 0, 0, 49, 1, 0, 0, 0, 0, 51, 1, 0, 0, 0, 0, 53, 1, 0, 0, 0,
891
+ 0, 55, 1, 0, 0, 0, 0, 57, 1, 0, 0, 0, 0, 59, 1, 0, 0, 0, 0, 61, 1, 0, 0, 0, 0, 63, 1, 0, 0, 0,
892
+ 0, 65, 1, 0, 0, 0, 0, 67, 1, 0, 0, 0, 0, 69, 1, 0, 0, 0, 0, 71, 1, 0, 0, 0, 0, 73, 1, 0, 0, 0,
893
+ 0, 75, 1, 0, 0, 0, 0, 77, 1, 0, 0, 0, 0, 79, 1, 0, 0, 0, 0, 81, 1, 0, 0, 0, 0, 83, 1, 0, 0, 0,
894
+ 0, 85, 1, 0, 0, 0, 0, 87, 1, 0, 0, 0, 0, 89, 1, 0, 0, 0, 0, 91, 1, 0, 0, 0, 0, 93, 1, 0, 0, 0,
895
+ 0, 95, 1, 0, 0, 0, 0, 97, 1, 0, 0, 0, 0, 99, 1, 0, 0, 0, 0, 101, 1, 0, 0, 0, 0, 103, 1, 0, 0,
896
+ 0, 0, 105, 1, 0, 0, 0, 0, 107, 1, 0, 0, 0, 0, 109, 1, 0, 0, 0, 0, 111, 1, 0, 0, 0, 0, 113,
897
+ 1, 0, 0, 0, 0, 115, 1, 0, 0, 0, 0, 117, 1, 0, 0, 0, 0, 119, 1, 0, 0, 0, 0, 121, 1, 0, 0, 0,
898
+ 0, 123, 1, 0, 0, 0, 0, 125, 1, 0, 0, 0, 0, 127, 1, 0, 0, 0, 0, 129, 1, 0, 0, 0, 0, 131, 1,
899
+ 0, 0, 0, 0, 133, 1, 0, 0, 0, 0, 135, 1, 0, 0, 0, 0, 137, 1, 0, 0, 0, 0, 139, 1, 0, 0, 0, 0,
900
+ 141, 1, 0, 0, 0, 0, 143, 1, 0, 0, 0, 0, 145, 1, 0, 0, 0, 0, 147, 1, 0, 0, 0, 0, 149, 1, 0,
901
+ 0, 0, 0, 151, 1, 0, 0, 0, 0, 153, 1, 0, 0, 0, 0, 155, 1, 0, 0, 0, 0, 157, 1, 0, 0, 0, 0, 159,
902
+ 1, 0, 0, 0, 0, 161, 1, 0, 0, 0, 0, 163, 1, 0, 0, 0, 0, 165, 1, 0, 0, 0, 0, 167, 1, 0, 0, 0,
903
+ 0, 169, 1, 0, 0, 0, 0, 171, 1, 0, 0, 0, 0, 173, 1, 0, 0, 0, 0, 175, 1, 0, 0, 0, 0, 177, 1,
904
+ 0, 0, 0, 0, 179, 1, 0, 0, 0, 0, 181, 1, 0, 0, 0, 0, 183, 1, 0, 0, 0, 0, 185, 1, 0, 0, 0, 0,
905
+ 187, 1, 0, 0, 0, 0, 189, 1, 0, 0, 0, 0, 191, 1, 0, 0, 0, 0, 193, 1, 0, 0, 0, 0, 195, 1, 0,
906
+ 0, 0, 0, 197, 1, 0, 0, 0, 0, 199, 1, 0, 0, 0, 0, 201, 1, 0, 0, 0, 0, 203, 1, 0, 0, 0, 0, 205,
907
+ 1, 0, 0, 0, 0, 207, 1, 0, 0, 0, 0, 209, 1, 0, 0, 0, 0, 211, 1, 0, 0, 0, 0, 213, 1, 0, 0, 0,
908
+ 0, 215, 1, 0, 0, 0, 0, 217, 1, 0, 0, 0, 0, 219, 1, 0, 0, 0, 0, 221, 1, 0, 0, 0, 0, 223, 1,
909
+ 0, 0, 0, 0, 225, 1, 0, 0, 0, 0, 227, 1, 0, 0, 0, 0, 229, 1, 0, 0, 0, 0, 231, 1, 0, 0, 0, 0,
910
+ 233, 1, 0, 0, 0, 0, 235, 1, 0, 0, 0, 0, 237, 1, 0, 0, 0, 0, 239, 1, 0, 0, 0, 0, 241, 1, 0,
911
+ 0, 0, 0, 243, 1, 0, 0, 0, 0, 245, 1, 0, 0, 0, 0, 247, 1, 0, 0, 0, 0, 249, 1, 0, 0, 0, 0, 251,
912
+ 1, 0, 0, 0, 0, 253, 1, 0, 0, 0, 0, 255, 1, 0, 0, 0, 0, 257, 1, 0, 0, 0, 0, 259, 1, 0, 0, 0,
913
+ 0, 261, 1, 0, 0, 0, 0, 263, 1, 0, 0, 0, 0, 265, 1, 0, 0, 0, 0, 267, 1, 0, 0, 0, 0, 269, 1,
914
+ 0, 0, 0, 0, 271, 1, 0, 0, 0, 0, 273, 1, 0, 0, 0, 0, 275, 1, 0, 0, 0, 0, 277, 1, 0, 0, 0, 0,
915
+ 279, 1, 0, 0, 0, 0, 281, 1, 0, 0, 0, 0, 283, 1, 0, 0, 0, 0, 285, 1, 0, 0, 0, 0, 287, 1, 0,
916
+ 0, 0, 0, 289, 1, 0, 0, 0, 0, 291, 1, 0, 0, 0, 0, 293, 1, 0, 0, 0, 0, 295, 1, 0, 0, 0, 0, 297,
917
+ 1, 0, 0, 0, 0, 299, 1, 0, 0, 0, 0, 301, 1, 0, 0, 0, 0, 303, 1, 0, 0, 0, 0, 305, 1, 0, 0, 0,
918
+ 0, 307, 1, 0, 0, 0, 0, 309, 1, 0, 0, 0, 0, 311, 1, 0, 0, 0, 0, 313, 1, 0, 0, 0, 0, 315, 1,
919
+ 0, 0, 0, 0, 317, 1, 0, 0, 0, 0, 319, 1, 0, 0, 0, 0, 321, 1, 0, 0, 0, 0, 323, 1, 0, 0, 0, 0,
920
+ 325, 1, 0, 0, 0, 0, 327, 1, 0, 0, 0, 0, 329, 1, 0, 0, 0, 0, 331, 1, 0, 0, 0, 0, 333, 1, 0,
921
+ 0, 0, 0, 335, 1, 0, 0, 0, 0, 337, 1, 0, 0, 0, 0, 339, 1, 0, 0, 0, 0, 341, 1, 0, 0, 0, 0, 343,
922
+ 1, 0, 0, 0, 0, 345, 1, 0, 0, 0, 0, 347, 1, 0, 0, 0, 0, 349, 1, 0, 0, 0, 0, 351, 1, 0, 0, 0,
923
+ 0, 353, 1, 0, 0, 0, 0, 355, 1, 0, 0, 0, 0, 357, 1, 0, 0, 0, 0, 359, 1, 0, 0, 0, 0, 361, 1,
924
+ 0, 0, 0, 0, 363, 1, 0, 0, 0, 0, 365, 1, 0, 0, 0, 0, 367, 1, 0, 0, 0, 0, 369, 1, 0, 0, 0, 0,
925
+ 371, 1, 0, 0, 0, 0, 373, 1, 0, 0, 0, 0, 375, 1, 0, 0, 0, 0, 377, 1, 0, 0, 0, 0, 379, 1, 0,
926
+ 0, 0, 0, 381, 1, 0, 0, 0, 0, 383, 1, 0, 0, 0, 0, 385, 1, 0, 0, 0, 0, 387, 1, 0, 0, 0, 0, 389,
927
+ 1, 0, 0, 0, 0, 391, 1, 0, 0, 0, 0, 393, 1, 0, 0, 0, 0, 395, 1, 0, 0, 0, 0, 397, 1, 0, 0, 0,
928
+ 0, 399, 1, 0, 0, 0, 0, 401, 1, 0, 0, 0, 0, 403, 1, 0, 0, 0, 0, 405, 1, 0, 0, 0, 0, 407, 1,
929
+ 0, 0, 0, 0, 409, 1, 0, 0, 0, 0, 411, 1, 0, 0, 0, 0, 413, 1, 0, 0, 0, 0, 415, 1, 0, 0, 0, 0,
930
+ 417, 1, 0, 0, 0, 0, 419, 1, 0, 0, 0, 0, 421, 1, 0, 0, 0, 0, 423, 1, 0, 0, 0, 0, 425, 1, 0,
931
+ 0, 0, 0, 427, 1, 0, 0, 0, 0, 429, 1, 0, 0, 0, 0, 431, 1, 0, 0, 0, 0, 433, 1, 0, 0, 0, 0, 435,
932
+ 1, 0, 0, 0, 0, 437, 1, 0, 0, 0, 0, 439, 1, 0, 0, 0, 0, 441, 1, 0, 0, 0, 0, 443, 1, 0, 0, 0,
933
+ 0, 445, 1, 0, 0, 0, 0, 447, 1, 0, 0, 0, 0, 449, 1, 0, 0, 0, 0, 451, 1, 0, 0, 0, 0, 453, 1,
934
+ 0, 0, 0, 0, 455, 1, 0, 0, 0, 0, 457, 1, 0, 0, 0, 0, 459, 1, 0, 0, 0, 0, 461, 1, 0, 0, 0, 0,
935
+ 463, 1, 0, 0, 0, 0, 465, 1, 0, 0, 0, 0, 467, 1, 0, 0, 0, 0, 469, 1, 0, 0, 0, 0, 471, 1, 0,
936
+ 0, 0, 0, 473, 1, 0, 0, 0, 0, 475, 1, 0, 0, 0, 0, 477, 1, 0, 0, 0, 0, 479, 1, 0, 0, 0, 0, 481,
937
+ 1, 0, 0, 0, 0, 483, 1, 0, 0, 0, 0, 485, 1, 0, 0, 0, 0, 487, 1, 0, 0, 0, 0, 489, 1, 0, 0, 0,
938
+ 0, 491, 1, 0, 0, 0, 0, 493, 1, 0, 0, 0, 0, 495, 1, 0, 0, 0, 0, 497, 1, 0, 0, 0, 0, 499, 1,
939
+ 0, 0, 0, 0, 501, 1, 0, 0, 0, 0, 503, 1, 0, 0, 0, 0, 505, 1, 0, 0, 0, 0, 507, 1, 0, 0, 0, 0,
940
+ 509, 1, 0, 0, 0, 0, 511, 1, 0, 0, 0, 0, 513, 1, 0, 0, 0, 0, 515, 1, 0, 0, 0, 0, 517, 1, 0,
941
+ 0, 0, 0, 519, 1, 0, 0, 0, 0, 521, 1, 0, 0, 0, 0, 523, 1, 0, 0, 0, 0, 525, 1, 0, 0, 0, 0, 527,
942
+ 1, 0, 0, 0, 0, 529, 1, 0, 0, 0, 0, 531, 1, 0, 0, 0, 0, 533, 1, 0, 0, 0, 0, 535, 1, 0, 0, 0,
943
+ 0, 537, 1, 0, 0, 0, 0, 539, 1, 0, 0, 0, 0, 541, 1, 0, 0, 0, 0, 543, 1, 0, 0, 0, 0, 545, 1,
944
+ 0, 0, 0, 0, 547, 1, 0, 0, 0, 0, 549, 1, 0, 0, 0, 0, 551, 1, 0, 0, 0, 0, 553, 1, 0, 0, 0, 0,
945
+ 555, 1, 0, 0, 0, 0, 557, 1, 0, 0, 0, 0, 559, 1, 0, 0, 0, 0, 561, 1, 0, 0, 0, 0, 563, 1, 0,
946
+ 0, 0, 0, 565, 1, 0, 0, 0, 0, 567, 1, 0, 0, 0, 0, 569, 1, 0, 0, 0, 0, 571, 1, 0, 0, 0, 0, 573,
947
+ 1, 0, 0, 0, 0, 575, 1, 0, 0, 0, 0, 577, 1, 0, 0, 0, 0, 579, 1, 0, 0, 0, 0, 581, 1, 0, 0, 0,
948
+ 0, 583, 1, 0, 0, 0, 0, 585, 1, 0, 0, 0, 0, 587, 1, 0, 0, 0, 0, 589, 1, 0, 0, 0, 0, 591, 1,
949
+ 0, 0, 0, 0, 593, 1, 0, 0, 0, 0, 595, 1, 0, 0, 0, 0, 597, 1, 0, 0, 0, 0, 599, 1, 0, 0, 0, 0,
950
+ 601, 1, 0, 0, 0, 0, 603, 1, 0, 0, 0, 0, 605, 1, 0, 0, 0, 0, 607, 1, 0, 0, 0, 0, 609, 1, 0,
951
+ 0, 0, 0, 611, 1, 0, 0, 0, 0, 613, 1, 0, 0, 0, 0, 615, 1, 0, 0, 0, 0, 617, 1, 0, 0, 0, 0, 619,
952
+ 1, 0, 0, 0, 0, 621, 1, 0, 0, 0, 0, 623, 1, 0, 0, 0, 0, 625, 1, 0, 0, 0, 0, 627, 1, 0, 0, 0,
953
+ 0, 629, 1, 0, 0, 0, 0, 631, 1, 0, 0, 0, 0, 633, 1, 0, 0, 0, 0, 635, 1, 0, 0, 0, 0, 637, 1,
954
+ 0, 0, 0, 0, 639, 1, 0, 0, 0, 0, 641, 1, 0, 0, 0, 0, 643, 1, 0, 0, 0, 0, 645, 1, 0, 0, 0, 0,
955
+ 647, 1, 0, 0, 0, 0, 649, 1, 0, 0, 0, 0, 651, 1, 0, 0, 0, 0, 653, 1, 0, 0, 0, 0, 655, 1, 0,
956
+ 0, 0, 0, 657, 1, 0, 0, 0, 0, 659, 1, 0, 0, 0, 0, 661, 1, 0, 0, 0, 0, 663, 1, 0, 0, 0, 0, 665,
957
+ 1, 0, 0, 0, 0, 667, 1, 0, 0, 0, 0, 669, 1, 0, 0, 0, 0, 685, 1, 0, 0, 0, 0, 687, 1, 0, 0, 0,
958
+ 0, 689, 1, 0, 0, 0, 0, 691, 1, 0, 0, 0, 1, 693, 1, 0, 0, 0, 3, 695, 1, 0, 0, 0, 5, 697, 1,
959
+ 0, 0, 0, 7, 699, 1, 0, 0, 0, 9, 701, 1, 0, 0, 0, 11, 706, 1, 0, 0, 0, 13, 709, 1, 0, 0, 0,
960
+ 15, 712, 1, 0, 0, 0, 17, 714, 1, 0, 0, 0, 19, 716, 1, 0, 0, 0, 21, 718, 1, 0, 0, 0, 23, 720,
961
+ 1, 0, 0, 0, 25, 722, 1, 0, 0, 0, 27, 724, 1, 0, 0, 0, 29, 727, 1, 0, 0, 0, 31, 730, 1, 0,
962
+ 0, 0, 33, 732, 1, 0, 0, 0, 35, 734, 1, 0, 0, 0, 37, 741, 1, 0, 0, 0, 39, 745, 1, 0, 0, 0,
963
+ 41, 751, 1, 0, 0, 0, 43, 757, 1, 0, 0, 0, 45, 761, 1, 0, 0, 0, 47, 767, 1, 0, 0, 0, 49, 775,
964
+ 1, 0, 0, 0, 51, 779, 1, 0, 0, 0, 53, 783, 1, 0, 0, 0, 55, 789, 1, 0, 0, 0, 57, 792, 1, 0,
965
+ 0, 0, 59, 796, 1, 0, 0, 0, 61, 799, 1, 0, 0, 0, 63, 813, 1, 0, 0, 0, 65, 819, 1, 0, 0, 0,
966
+ 67, 829, 1, 0, 0, 0, 69, 837, 1, 0, 0, 0, 71, 842, 1, 0, 0, 0, 73, 845, 1, 0, 0, 0, 75, 850,
967
+ 1, 0, 0, 0, 77, 857, 1, 0, 0, 0, 79, 865, 1, 0, 0, 0, 81, 870, 1, 0, 0, 0, 83, 875, 1, 0,
968
+ 0, 0, 85, 883, 1, 0, 0, 0, 87, 892, 1, 0, 0, 0, 89, 899, 1, 0, 0, 0, 91, 907, 1, 0, 0, 0,
969
+ 93, 915, 1, 0, 0, 0, 95, 922, 1, 0, 0, 0, 97, 932, 1, 0, 0, 0, 99, 944, 1, 0, 0, 0, 101,
970
+ 955, 1, 0, 0, 0, 103, 961, 1, 0, 0, 0, 105, 973, 1, 0, 0, 0, 107, 980, 1, 0, 0, 0, 109,
971
+ 986, 1, 0, 0, 0, 111, 991, 1, 0, 0, 0, 113, 999, 1, 0, 0, 0, 115, 1015, 1, 0, 0, 0, 117,
972
+ 1028, 1, 0, 0, 0, 119, 1041, 1, 0, 0, 0, 121, 1054, 1, 0, 0, 0, 123, 1069, 1, 0, 0, 0,
973
+ 125, 1082, 1, 0, 0, 0, 127, 1100, 1, 0, 0, 0, 129, 1113, 1, 0, 0, 0, 131, 1118, 1, 0,
974
+ 0, 0, 133, 1123, 1, 0, 0, 0, 135, 1127, 1, 0, 0, 0, 137, 1138, 1, 0, 0, 0, 139, 1146,
975
+ 1, 0, 0, 0, 141, 1154, 1, 0, 0, 0, 143, 1161, 1, 0, 0, 0, 145, 1169, 1, 0, 0, 0, 147, 1176,
976
+ 1, 0, 0, 0, 149, 1181, 1, 0, 0, 0, 151, 1186, 1, 0, 0, 0, 153, 1195, 1, 0, 0, 0, 155, 1206,
977
+ 1, 0, 0, 0, 157, 1220, 1, 0, 0, 0, 159, 1229, 1, 0, 0, 0, 161, 1241, 1, 0, 0, 0, 163, 1244,
978
+ 1, 0, 0, 0, 165, 1251, 1, 0, 0, 0, 167, 1256, 1, 0, 0, 0, 169, 1261, 1, 0, 0, 0, 171, 1267,
979
+ 1, 0, 0, 0, 173, 1274, 1, 0, 0, 0, 175, 1283, 1, 0, 0, 0, 177, 1287, 1, 0, 0, 0, 179, 1293,
980
+ 1, 0, 0, 0, 181, 1300, 1, 0, 0, 0, 183, 1307, 1, 0, 0, 0, 185, 1317, 1, 0, 0, 0, 187, 1325,
981
+ 1, 0, 0, 0, 189, 1332, 1, 0, 0, 0, 191, 1340, 1, 0, 0, 0, 193, 1348, 1, 0, 0, 0, 195, 1354,
982
+ 1, 0, 0, 0, 197, 1360, 1, 0, 0, 0, 199, 1367, 1, 0, 0, 0, 201, 1373, 1, 0, 0, 0, 203, 1379,
983
+ 1, 0, 0, 0, 205, 1389, 1, 0, 0, 0, 207, 1393, 1, 0, 0, 0, 209, 1400, 1, 0, 0, 0, 211, 1405,
984
+ 1, 0, 0, 0, 213, 1410, 1, 0, 0, 0, 215, 1419, 1, 0, 0, 0, 217, 1429, 1, 0, 0, 0, 219, 1435,
985
+ 1, 0, 0, 0, 221, 1441, 1, 0, 0, 0, 223, 1449, 1, 0, 0, 0, 225, 1456, 1, 0, 0, 0, 227, 1465,
986
+ 1, 0, 0, 0, 229, 1471, 1, 0, 0, 0, 231, 1480, 1, 0, 0, 0, 233, 1487, 1, 0, 0, 0, 235, 1494,
987
+ 1, 0, 0, 0, 237, 1499, 1, 0, 0, 0, 239, 1502, 1, 0, 0, 0, 241, 1509, 1, 0, 0, 0, 243, 1519,
988
+ 1, 0, 0, 0, 245, 1522, 1, 0, 0, 0, 247, 1532, 1, 0, 0, 0, 249, 1540, 1, 0, 0, 0, 251, 1546,
989
+ 1, 0, 0, 0, 253, 1552, 1, 0, 0, 0, 255, 1559, 1, 0, 0, 0, 257, 1569, 1, 0, 0, 0, 259, 1578,
990
+ 1, 0, 0, 0, 261, 1583, 1, 0, 0, 0, 263, 1591, 1, 0, 0, 0, 265, 1594, 1, 0, 0, 0, 267, 1597,
991
+ 1, 0, 0, 0, 269, 1607, 1, 0, 0, 0, 271, 1615, 1, 0, 0, 0, 273, 1620, 1, 0, 0, 0, 275, 1625,
992
+ 1, 0, 0, 0, 277, 1636, 1, 0, 0, 0, 279, 1648, 1, 0, 0, 0, 281, 1660, 1, 0, 0, 0, 283, 1671,
993
+ 1, 0, 0, 0, 285, 1682, 1, 0, 0, 0, 287, 1693, 1, 0, 0, 0, 289, 1698, 1, 0, 0, 0, 291, 1702,
994
+ 1, 0, 0, 0, 293, 1707, 1, 0, 0, 0, 295, 1716, 1, 0, 0, 0, 297, 1721, 1, 0, 0, 0, 299, 1729,
995
+ 1, 0, 0, 0, 301, 1737, 1, 0, 0, 0, 303, 1743, 1, 0, 0, 0, 305, 1748, 1, 0, 0, 0, 307, 1754,
996
+ 1, 0, 0, 0, 309, 1759, 1, 0, 0, 0, 311, 1765, 1, 0, 0, 0, 313, 1773, 1, 0, 0, 0, 315, 1779,
997
+ 1, 0, 0, 0, 317, 1789, 1, 0, 0, 0, 319, 1804, 1, 0, 0, 0, 321, 1812, 1, 0, 0, 0, 323, 1817,
998
+ 1, 0, 0, 0, 325, 1821, 1, 0, 0, 0, 327, 1827, 1, 0, 0, 0, 329, 1835, 1, 0, 0, 0, 331, 1843,
999
+ 1, 0, 0, 0, 333, 1859, 1, 0, 0, 0, 335, 1872, 1, 0, 0, 0, 337, 1881, 1, 0, 0, 0, 339, 1887,
1000
+ 1, 0, 0, 0, 341, 1894, 1, 0, 0, 0, 343, 1900, 1, 0, 0, 0, 345, 1908, 1, 0, 0, 0, 347, 1915,
1001
+ 1, 0, 0, 0, 349, 1920, 1, 0, 0, 0, 351, 1924, 1, 0, 0, 0, 353, 1928, 1, 0, 0, 0, 355, 1933,
1002
+ 1, 0, 0, 0, 357, 1938, 1, 0, 0, 0, 359, 1941, 1, 0, 0, 0, 361, 1946, 1, 0, 0, 0, 363, 1956,
1003
+ 1, 0, 0, 0, 365, 1960, 1, 0, 0, 0, 367, 1965, 1, 0, 0, 0, 369, 1972, 1, 0, 0, 0, 371, 1978,
1004
+ 1, 0, 0, 0, 373, 1985, 1, 0, 0, 0, 375, 1988, 1, 0, 0, 0, 377, 1995, 1, 0, 0, 0, 379, 2000,
1005
+ 1, 0, 0, 0, 381, 2003, 1, 0, 0, 0, 383, 2007, 1, 0, 0, 0, 385, 2012, 1, 0, 0, 0, 387, 2019,
1006
+ 1, 0, 0, 0, 389, 2022, 1, 0, 0, 0, 391, 2028, 1, 0, 0, 0, 393, 2039, 1, 0, 0, 0, 395, 2045,
1007
+ 1, 0, 0, 0, 397, 2052, 1, 0, 0, 0, 399, 2057, 1, 0, 0, 0, 401, 2066, 1, 0, 0, 0, 403, 2076,
1008
+ 1, 0, 0, 0, 405, 2087, 1, 0, 0, 0, 407, 2095, 1, 0, 0, 0, 409, 2100, 1, 0, 0, 0, 411, 2105,
1009
+ 1, 0, 0, 0, 413, 2113, 1, 0, 0, 0, 415, 2117, 1, 0, 0, 0, 417, 2124, 1, 0, 0, 0, 419, 2132,
1010
+ 1, 0, 0, 0, 421, 2137, 1, 0, 0, 0, 423, 2146, 1, 0, 0, 0, 425, 2156, 1, 0, 0, 0, 427, 2166,
1011
+ 1, 0, 0, 0, 429, 2174, 1, 0, 0, 0, 431, 2185, 1, 0, 0, 0, 433, 2196, 1, 0, 0, 0, 435, 2202,
1012
+ 1, 0, 0, 0, 437, 2209, 1, 0, 0, 0, 439, 2215, 1, 0, 0, 0, 441, 2220, 1, 0, 0, 0, 443, 2230,
1013
+ 1, 0, 0, 0, 445, 2238, 1, 0, 0, 0, 447, 2245, 1, 0, 0, 0, 449, 2252, 1, 0, 0, 0, 451, 2263,
1014
+ 1, 0, 0, 0, 453, 2271, 1, 0, 0, 0, 455, 2277, 1, 0, 0, 0, 457, 2285, 1, 0, 0, 0, 459, 2294,
1015
+ 1, 0, 0, 0, 461, 2301, 1, 0, 0, 0, 463, 2311, 1, 0, 0, 0, 465, 2319, 1, 0, 0, 0, 467, 2326,
1016
+ 1, 0, 0, 0, 469, 2332, 1, 0, 0, 0, 471, 2337, 1, 0, 0, 0, 473, 2343, 1, 0, 0, 0, 475, 2352,
1017
+ 1, 0, 0, 0, 477, 2359, 1, 0, 0, 0, 479, 2363, 1, 0, 0, 0, 481, 2368, 1, 0, 0, 0, 483, 2376,
1018
+ 1, 0, 0, 0, 485, 2383, 1, 0, 0, 0, 487, 2390, 1, 0, 0, 0, 489, 2398, 1, 0, 0, 0, 491, 2405,
1019
+ 1, 0, 0, 0, 493, 2414, 1, 0, 0, 0, 495, 2419, 1, 0, 0, 0, 497, 2426, 1, 0, 0, 0, 499, 2439,
1020
+ 1, 0, 0, 0, 501, 2447, 1, 0, 0, 0, 503, 2451, 1, 0, 0, 0, 505, 2456, 1, 0, 0, 0, 507, 2461,
1021
+ 1, 0, 0, 0, 509, 2466, 1, 0, 0, 0, 511, 2472, 1, 0, 0, 0, 513, 2478, 1, 0, 0, 0, 515, 2485,
1022
+ 1, 0, 0, 0, 517, 2495, 1, 0, 0, 0, 519, 2502, 1, 0, 0, 0, 521, 2508, 1, 0, 0, 0, 523, 2515,
1023
+ 1, 0, 0, 0, 525, 2527, 1, 0, 0, 0, 527, 2532, 1, 0, 0, 0, 529, 2539, 1, 0, 0, 0, 531, 2544,
1024
+ 1, 0, 0, 0, 533, 2549, 1, 0, 0, 0, 535, 2554, 1, 0, 0, 0, 537, 2564, 1, 0, 0, 0, 539, 2567,
1025
+ 1, 0, 0, 0, 541, 2576, 1, 0, 0, 0, 543, 2588, 1, 0, 0, 0, 545, 2593, 1, 0, 0, 0, 547, 2598,
1026
+ 1, 0, 0, 0, 549, 2607, 1, 0, 0, 0, 551, 2616, 1, 0, 0, 0, 553, 2621, 1, 0, 0, 0, 555, 2629,
1027
+ 1, 0, 0, 0, 557, 2639, 1, 0, 0, 0, 559, 2651, 1, 0, 0, 0, 561, 2665, 1, 0, 0, 0, 563, 2671,
1028
+ 1, 0, 0, 0, 565, 2678, 1, 0, 0, 0, 567, 2686, 1, 0, 0, 0, 569, 2696, 1, 0, 0, 0, 571, 2703,
1029
+ 1, 0, 0, 0, 573, 2709, 1, 0, 0, 0, 575, 2716, 1, 0, 0, 0, 577, 2720, 1, 0, 0, 0, 579, 2725,
1030
+ 1, 0, 0, 0, 581, 2731, 1, 0, 0, 0, 583, 2737, 1, 0, 0, 0, 585, 2743, 1, 0, 0, 0, 587, 2748,
1031
+ 1, 0, 0, 0, 589, 2757, 1, 0, 0, 0, 591, 2763, 1, 0, 0, 0, 593, 2770, 1, 0, 0, 0, 595, 2778,
1032
+ 1, 0, 0, 0, 597, 2786, 1, 0, 0, 0, 599, 2791, 1, 0, 0, 0, 601, 2796, 1, 0, 0, 0, 603, 2802,
1033
+ 1, 0, 0, 0, 605, 2808, 1, 0, 0, 0, 607, 2815, 1, 0, 0, 0, 609, 2820, 1, 0, 0, 0, 611, 2827,
1034
+ 1, 0, 0, 0, 613, 2835, 1, 0, 0, 0, 615, 2840, 1, 0, 0, 0, 617, 2848, 1, 0, 0, 0, 619, 2854,
1035
+ 1, 0, 0, 0, 621, 2859, 1, 0, 0, 0, 623, 2864, 1, 0, 0, 0, 625, 2870, 1, 0, 0, 0, 627, 2872,
1036
+ 1, 0, 0, 0, 629, 2874, 1, 0, 0, 0, 631, 2877, 1, 0, 0, 0, 633, 2879, 1, 0, 0, 0, 635, 2882,
1037
+ 1, 0, 0, 0, 637, 2884, 1, 0, 0, 0, 639, 2886, 1, 0, 0, 0, 641, 2888, 1, 0, 0, 0, 643, 2890,
1038
+ 1, 0, 0, 0, 645, 2892, 1, 0, 0, 0, 647, 2895, 1, 0, 0, 0, 649, 2897, 1, 0, 0, 0, 651, 2899,
1039
+ 1, 0, 0, 0, 653, 2910, 1, 0, 0, 0, 655, 2924, 1, 0, 0, 0, 657, 2939, 1, 0, 0, 0, 659, 2948,
1040
+ 1, 0, 0, 0, 661, 2974, 1, 0, 0, 0, 663, 2978, 1, 0, 0, 0, 665, 2988, 1, 0, 0, 0, 667, 2996,
1041
+ 1, 0, 0, 0, 669, 3007, 1, 0, 0, 0, 671, 3018, 1, 0, 0, 0, 673, 3028, 1, 0, 0, 0, 675, 3042,
1042
+ 1, 0, 0, 0, 677, 3053, 1, 0, 0, 0, 679, 3064, 1, 0, 0, 0, 681, 3073, 1, 0, 0, 0, 683, 3075,
1043
+ 1, 0, 0, 0, 685, 3077, 1, 0, 0, 0, 687, 3094, 1, 0, 0, 0, 689, 3108, 1, 0, 0, 0, 691, 3112,
1044
+ 1, 0, 0, 0, 693, 694, 5, 40, 0, 0, 694, 2, 1, 0, 0, 0, 695, 696, 5, 41, 0, 0, 696, 4, 1,
1045
+ 0, 0, 0, 697, 698, 5, 44, 0, 0, 698, 6, 1, 0, 0, 0, 699, 700, 5, 46, 0, 0, 700, 8, 1, 0,
1046
+ 0, 0, 701, 702, 7, 0, 0, 0, 702, 703, 7, 1, 0, 0, 703, 704, 7, 2, 0, 0, 704, 705, 7, 3,
1047
+ 0, 0, 705, 10, 1, 0, 0, 0, 706, 707, 5, 61, 0, 0, 707, 708, 5, 62, 0, 0, 708, 12, 1, 0,
1048
+ 0, 0, 709, 710, 5, 45, 0, 0, 710, 711, 5, 62, 0, 0, 711, 14, 1, 0, 0, 0, 712, 713, 5, 91,
1049
+ 0, 0, 713, 16, 1, 0, 0, 0, 714, 715, 5, 93, 0, 0, 715, 18, 1, 0, 0, 0, 716, 717, 5, 58,
1050
+ 0, 0, 717, 20, 1, 0, 0, 0, 718, 719, 5, 124, 0, 0, 719, 22, 1, 0, 0, 0, 720, 721, 5, 94,
1051
+ 0, 0, 721, 24, 1, 0, 0, 0, 722, 723, 5, 36, 0, 0, 723, 26, 1, 0, 0, 0, 724, 725, 5, 123,
1052
+ 0, 0, 725, 726, 5, 45, 0, 0, 726, 28, 1, 0, 0, 0, 727, 728, 5, 45, 0, 0, 728, 729, 5, 125,
1053
+ 0, 0, 729, 30, 1, 0, 0, 0, 730, 731, 5, 123, 0, 0, 731, 32, 1, 0, 0, 0, 732, 733, 5, 125,
1054
+ 0, 0, 733, 34, 1, 0, 0, 0, 734, 735, 7, 4, 0, 0, 735, 736, 7, 5, 0, 0, 736, 737, 7, 0, 0,
1055
+ 0, 737, 738, 7, 6, 0, 0, 738, 739, 7, 7, 0, 0, 739, 740, 7, 8, 0, 0, 740, 36, 1, 0, 0, 0,
1056
+ 741, 742, 7, 4, 0, 0, 742, 743, 7, 9, 0, 0, 743, 744, 7, 9, 0, 0, 744, 38, 1, 0, 0, 0, 745,
1057
+ 746, 7, 4, 0, 0, 746, 747, 7, 9, 0, 0, 747, 748, 7, 10, 0, 0, 748, 749, 7, 2, 0, 0, 749,
1058
+ 750, 7, 7, 0, 0, 750, 40, 1, 0, 0, 0, 751, 752, 7, 4, 0, 0, 752, 753, 7, 11, 0, 0, 753,
1059
+ 754, 7, 8, 0, 0, 754, 755, 7, 6, 0, 0, 755, 756, 7, 12, 0, 0, 756, 42, 1, 0, 0, 0, 757,
1060
+ 758, 7, 4, 0, 0, 758, 759, 7, 13, 0, 0, 759, 760, 7, 13, 0, 0, 760, 44, 1, 0, 0, 0, 761,
1061
+ 762, 7, 4, 0, 0, 762, 763, 7, 13, 0, 0, 763, 764, 7, 8, 0, 0, 764, 765, 7, 6, 0, 0, 765,
1062
+ 766, 7, 12, 0, 0, 766, 46, 1, 0, 0, 0, 767, 768, 7, 4, 0, 0, 768, 769, 7, 7, 0, 0, 769,
1063
+ 770, 7, 4, 0, 0, 770, 771, 7, 13, 0, 0, 771, 772, 7, 14, 0, 0, 772, 773, 7, 15, 0, 0, 773,
1064
+ 774, 7, 6, 0, 0, 774, 48, 1, 0, 0, 0, 775, 776, 7, 4, 0, 0, 776, 777, 7, 7, 0, 0, 777, 778,
1065
+ 7, 9, 0, 0, 778, 50, 1, 0, 0, 0, 779, 780, 7, 4, 0, 0, 780, 781, 7, 7, 0, 0, 781, 782, 7,
1066
+ 14, 0, 0, 782, 52, 1, 0, 0, 0, 783, 784, 7, 4, 0, 0, 784, 785, 7, 12, 0, 0, 785, 786, 7,
1067
+ 12, 0, 0, 786, 787, 7, 4, 0, 0, 787, 788, 7, 14, 0, 0, 788, 54, 1, 0, 0, 0, 789, 790, 7,
1068
+ 4, 0, 0, 790, 791, 7, 0, 0, 0, 791, 56, 1, 0, 0, 0, 792, 793, 7, 4, 0, 0, 793, 794, 7, 0,
1069
+ 0, 0, 794, 795, 7, 16, 0, 0, 795, 58, 1, 0, 0, 0, 796, 797, 7, 4, 0, 0, 797, 798, 7, 8,
1070
+ 0, 0, 798, 60, 1, 0, 0, 0, 799, 800, 7, 4, 0, 0, 800, 801, 7, 17, 0, 0, 801, 802, 7, 8,
1071
+ 0, 0, 802, 803, 7, 18, 0, 0, 803, 804, 7, 19, 0, 0, 804, 805, 7, 12, 0, 0, 805, 806, 7,
1072
+ 2, 0, 0, 806, 807, 7, 15, 0, 0, 807, 808, 7, 4, 0, 0, 808, 809, 7, 8, 0, 0, 809, 810, 7,
1073
+ 2, 0, 0, 810, 811, 7, 19, 0, 0, 811, 812, 7, 7, 0, 0, 812, 62, 1, 0, 0, 0, 813, 814, 7,
1074
+ 5, 0, 0, 814, 815, 7, 6, 0, 0, 815, 816, 7, 20, 0, 0, 816, 817, 7, 2, 0, 0, 817, 818, 7,
1075
+ 7, 0, 0, 818, 64, 1, 0, 0, 0, 819, 820, 7, 5, 0, 0, 820, 821, 7, 6, 0, 0, 821, 822, 7, 12,
1076
+ 0, 0, 822, 823, 7, 7, 0, 0, 823, 824, 7, 19, 0, 0, 824, 825, 7, 17, 0, 0, 825, 826, 7,
1077
+ 13, 0, 0, 826, 827, 7, 13, 0, 0, 827, 828, 7, 2, 0, 0, 828, 66, 1, 0, 0, 0, 829, 830, 7,
1078
+ 5, 0, 0, 830, 831, 7, 6, 0, 0, 831, 832, 7, 8, 0, 0, 832, 833, 7, 21, 0, 0, 833, 834, 7,
1079
+ 6, 0, 0, 834, 835, 7, 6, 0, 0, 835, 836, 7, 7, 0, 0, 836, 68, 1, 0, 0, 0, 837, 838, 7, 5,
1080
+ 0, 0, 838, 839, 7, 19, 0, 0, 839, 840, 7, 8, 0, 0, 840, 841, 7, 18, 0, 0, 841, 70, 1, 0,
1081
+ 0, 0, 842, 843, 7, 5, 0, 0, 843, 844, 7, 14, 0, 0, 844, 72, 1, 0, 0, 0, 845, 846, 7, 16,
1082
+ 0, 0, 846, 847, 7, 4, 0, 0, 847, 848, 7, 13, 0, 0, 848, 849, 7, 13, 0, 0, 849, 74, 1, 0,
1083
+ 0, 0, 850, 851, 7, 16, 0, 0, 851, 852, 7, 4, 0, 0, 852, 853, 7, 13, 0, 0, 853, 854, 7,
1084
+ 13, 0, 0, 854, 855, 7, 6, 0, 0, 855, 856, 7, 9, 0, 0, 856, 76, 1, 0, 0, 0, 857, 858, 7,
1085
+ 16, 0, 0, 858, 859, 7, 4, 0, 0, 859, 860, 7, 0, 0, 0, 860, 861, 7, 16, 0, 0, 861, 862,
1086
+ 7, 4, 0, 0, 862, 863, 7, 9, 0, 0, 863, 864, 7, 6, 0, 0, 864, 78, 1, 0, 0, 0, 865, 866, 7,
1087
+ 16, 0, 0, 866, 867, 7, 4, 0, 0, 867, 868, 7, 0, 0, 0, 868, 869, 7, 6, 0, 0, 869, 80, 1,
1088
+ 0, 0, 0, 870, 871, 7, 16, 0, 0, 871, 872, 7, 4, 0, 0, 872, 873, 7, 0, 0, 0, 873, 874, 7,
1089
+ 8, 0, 0, 874, 82, 1, 0, 0, 0, 875, 876, 7, 16, 0, 0, 876, 877, 7, 4, 0, 0, 877, 878, 7,
1090
+ 8, 0, 0, 878, 879, 7, 4, 0, 0, 879, 880, 7, 13, 0, 0, 880, 881, 7, 19, 0, 0, 881, 882,
1091
+ 7, 20, 0, 0, 882, 84, 1, 0, 0, 0, 883, 884, 7, 16, 0, 0, 884, 885, 7, 4, 0, 0, 885, 886,
1092
+ 7, 8, 0, 0, 886, 887, 7, 4, 0, 0, 887, 888, 7, 13, 0, 0, 888, 889, 7, 19, 0, 0, 889, 890,
1093
+ 7, 20, 0, 0, 890, 891, 7, 0, 0, 0, 891, 86, 1, 0, 0, 0, 892, 893, 7, 16, 0, 0, 893, 894,
1094
+ 7, 19, 0, 0, 894, 895, 7, 13, 0, 0, 895, 896, 7, 17, 0, 0, 896, 897, 7, 10, 0, 0, 897,
1095
+ 898, 7, 7, 0, 0, 898, 88, 1, 0, 0, 0, 899, 900, 7, 16, 0, 0, 900, 901, 7, 19, 0, 0, 901,
1096
+ 902, 7, 13, 0, 0, 902, 903, 7, 17, 0, 0, 903, 904, 7, 10, 0, 0, 904, 905, 7, 7, 0, 0, 905,
1097
+ 906, 7, 0, 0, 0, 906, 90, 1, 0, 0, 0, 907, 908, 7, 16, 0, 0, 908, 909, 7, 19, 0, 0, 909,
1098
+ 910, 7, 10, 0, 0, 910, 911, 7, 10, 0, 0, 911, 912, 7, 6, 0, 0, 912, 913, 7, 7, 0, 0, 913,
1099
+ 914, 7, 8, 0, 0, 914, 92, 1, 0, 0, 0, 915, 916, 7, 16, 0, 0, 916, 917, 7, 19, 0, 0, 917,
1100
+ 918, 7, 10, 0, 0, 918, 919, 7, 10, 0, 0, 919, 920, 7, 2, 0, 0, 920, 921, 7, 8, 0, 0, 921,
1101
+ 94, 1, 0, 0, 0, 922, 923, 7, 16, 0, 0, 923, 924, 7, 19, 0, 0, 924, 925, 7, 10, 0, 0, 925,
1102
+ 926, 7, 10, 0, 0, 926, 927, 7, 2, 0, 0, 927, 928, 7, 8, 0, 0, 928, 929, 7, 8, 0, 0, 929,
1103
+ 930, 7, 6, 0, 0, 930, 931, 7, 9, 0, 0, 931, 96, 1, 0, 0, 0, 932, 933, 7, 16, 0, 0, 933,
1104
+ 934, 7, 19, 0, 0, 934, 935, 7, 7, 0, 0, 935, 936, 7, 9, 0, 0, 936, 937, 7, 2, 0, 0, 937,
1105
+ 938, 7, 8, 0, 0, 938, 939, 7, 2, 0, 0, 939, 940, 7, 19, 0, 0, 940, 941, 7, 7, 0, 0, 941,
1106
+ 942, 7, 4, 0, 0, 942, 943, 7, 13, 0, 0, 943, 98, 1, 0, 0, 0, 944, 945, 7, 16, 0, 0, 945,
1107
+ 946, 7, 19, 0, 0, 946, 947, 7, 7, 0, 0, 947, 948, 7, 0, 0, 0, 948, 949, 7, 8, 0, 0, 949,
1108
+ 950, 7, 12, 0, 0, 950, 951, 7, 4, 0, 0, 951, 952, 7, 2, 0, 0, 952, 953, 7, 7, 0, 0, 953,
1109
+ 954, 7, 8, 0, 0, 954, 100, 1, 0, 0, 0, 955, 956, 7, 16, 0, 0, 956, 957, 7, 19, 0, 0, 957,
1110
+ 958, 7, 17, 0, 0, 958, 959, 7, 7, 0, 0, 959, 960, 7, 8, 0, 0, 960, 102, 1, 0, 0, 0, 961,
1111
+ 962, 7, 16, 0, 0, 962, 963, 7, 19, 0, 0, 963, 964, 7, 3, 0, 0, 964, 965, 7, 4, 0, 0, 965,
1112
+ 966, 7, 12, 0, 0, 966, 967, 7, 8, 0, 0, 967, 968, 7, 2, 0, 0, 968, 969, 7, 8, 0, 0, 969,
1113
+ 970, 7, 2, 0, 0, 970, 971, 7, 19, 0, 0, 971, 972, 7, 7, 0, 0, 972, 104, 1, 0, 0, 0, 973,
1114
+ 974, 7, 16, 0, 0, 974, 975, 7, 12, 0, 0, 975, 976, 7, 6, 0, 0, 976, 977, 7, 4, 0, 0, 977,
1115
+ 978, 7, 8, 0, 0, 978, 979, 7, 6, 0, 0, 979, 106, 1, 0, 0, 0, 980, 981, 7, 16, 0, 0, 981,
1116
+ 982, 7, 12, 0, 0, 982, 983, 7, 19, 0, 0, 983, 984, 7, 0, 0, 0, 984, 985, 7, 0, 0, 0, 985,
1117
+ 108, 1, 0, 0, 0, 986, 987, 7, 16, 0, 0, 987, 988, 7, 17, 0, 0, 988, 989, 7, 5, 0, 0, 989,
1118
+ 990, 7, 6, 0, 0, 990, 110, 1, 0, 0, 0, 991, 992, 7, 16, 0, 0, 992, 993, 7, 17, 0, 0, 993,
1119
+ 994, 7, 12, 0, 0, 994, 995, 7, 12, 0, 0, 995, 996, 7, 6, 0, 0, 996, 997, 7, 7, 0, 0, 997,
1120
+ 998, 7, 8, 0, 0, 998, 112, 1, 0, 0, 0, 999, 1000, 7, 16, 0, 0, 1000, 1001, 7, 17, 0, 0,
1121
+ 1001, 1002, 7, 12, 0, 0, 1002, 1003, 7, 12, 0, 0, 1003, 1004, 7, 6, 0, 0, 1004, 1005,
1122
+ 7, 7, 0, 0, 1005, 1006, 7, 8, 0, 0, 1006, 1007, 5, 95, 0, 0, 1007, 1008, 7, 16, 0, 0,
1123
+ 1008, 1009, 7, 4, 0, 0, 1009, 1010, 7, 8, 0, 0, 1010, 1011, 7, 4, 0, 0, 1011, 1012,
1124
+ 7, 13, 0, 0, 1012, 1013, 7, 19, 0, 0, 1013, 1014, 7, 20, 0, 0, 1014, 114, 1, 0, 0, 0,
1125
+ 1015, 1016, 7, 16, 0, 0, 1016, 1017, 7, 17, 0, 0, 1017, 1018, 7, 12, 0, 0, 1018, 1019,
1126
+ 7, 12, 0, 0, 1019, 1020, 7, 6, 0, 0, 1020, 1021, 7, 7, 0, 0, 1021, 1022, 7, 8, 0, 0, 1022,
1127
+ 1023, 5, 95, 0, 0, 1023, 1024, 7, 9, 0, 0, 1024, 1025, 7, 4, 0, 0, 1025, 1026, 7, 8,
1128
+ 0, 0, 1026, 1027, 7, 6, 0, 0, 1027, 116, 1, 0, 0, 0, 1028, 1029, 7, 16, 0, 0, 1029, 1030,
1129
+ 7, 17, 0, 0, 1030, 1031, 7, 12, 0, 0, 1031, 1032, 7, 12, 0, 0, 1032, 1033, 7, 6, 0, 0,
1130
+ 1033, 1034, 7, 7, 0, 0, 1034, 1035, 7, 8, 0, 0, 1035, 1036, 5, 95, 0, 0, 1036, 1037,
1131
+ 7, 3, 0, 0, 1037, 1038, 7, 4, 0, 0, 1038, 1039, 7, 8, 0, 0, 1039, 1040, 7, 18, 0, 0, 1040,
1132
+ 118, 1, 0, 0, 0, 1041, 1042, 7, 16, 0, 0, 1042, 1043, 7, 17, 0, 0, 1043, 1044, 7, 12,
1133
+ 0, 0, 1044, 1045, 7, 12, 0, 0, 1045, 1046, 7, 6, 0, 0, 1046, 1047, 7, 7, 0, 0, 1047,
1134
+ 1048, 7, 8, 0, 0, 1048, 1049, 5, 95, 0, 0, 1049, 1050, 7, 12, 0, 0, 1050, 1051, 7, 19,
1135
+ 0, 0, 1051, 1052, 7, 13, 0, 0, 1052, 1053, 7, 6, 0, 0, 1053, 120, 1, 0, 0, 0, 1054, 1055,
1136
+ 7, 16, 0, 0, 1055, 1056, 7, 17, 0, 0, 1056, 1057, 7, 12, 0, 0, 1057, 1058, 7, 12, 0,
1137
+ 0, 1058, 1059, 7, 6, 0, 0, 1059, 1060, 7, 7, 0, 0, 1060, 1061, 7, 8, 0, 0, 1061, 1062,
1138
+ 5, 95, 0, 0, 1062, 1063, 7, 0, 0, 0, 1063, 1064, 7, 16, 0, 0, 1064, 1065, 7, 18, 0, 0,
1139
+ 1065, 1066, 7, 6, 0, 0, 1066, 1067, 7, 10, 0, 0, 1067, 1068, 7, 4, 0, 0, 1068, 122,
1140
+ 1, 0, 0, 0, 1069, 1070, 7, 16, 0, 0, 1070, 1071, 7, 17, 0, 0, 1071, 1072, 7, 12, 0, 0,
1141
+ 1072, 1073, 7, 12, 0, 0, 1073, 1074, 7, 6, 0, 0, 1074, 1075, 7, 7, 0, 0, 1075, 1076,
1142
+ 7, 8, 0, 0, 1076, 1077, 5, 95, 0, 0, 1077, 1078, 7, 8, 0, 0, 1078, 1079, 7, 2, 0, 0, 1079,
1144
1143
  1080, 7, 10, 0, 0, 1080, 1081, 7, 6, 0, 0, 1081, 124, 1, 0, 0, 0, 1082, 1083, 7, 16,
1145
1144
  0, 0, 1083, 1084, 7, 17, 0, 0, 1084, 1085, 7, 12, 0, 0, 1085, 1086, 7, 12, 0, 0, 1086,
1146
1145
  1087, 7, 6, 0, 0, 1087, 1088, 7, 7, 0, 0, 1088, 1089, 7, 8, 0, 0, 1089, 1090, 5, 95,
@@ -1717,12 +1716,11 @@ TrinoSqlLexer._serializedATN = [
1717
1716
  3097, 1, 0, 0, 0, 3099, 3102, 1, 0, 0, 0, 3100, 3101, 1, 0, 0, 0, 3100, 3098, 1, 0, 0,
1718
1717
  0, 3101, 3103, 1, 0, 0, 0, 3102, 3100, 1, 0, 0, 0, 3103, 3104, 5, 42, 0, 0, 3104, 3105,
1719
1718
  5, 47, 0, 0, 3105, 3106, 1, 0, 0, 0, 3106, 3107, 6, 343, 0, 0, 3107, 688, 1, 0, 0, 0,
1720
- 3108, 3110, 7, 36, 0, 0, 3109, 3108, 1, 0, 0, 0, 3110, 3111, 1, 0, 0, 0, 3111, 3109,
1721
- 1, 0, 0, 0, 3111, 3112, 1, 0, 0, 0, 3112, 3113, 1, 0, 0, 0, 3113, 3114, 6, 344, 0, 0,
1722
- 3114, 690, 1, 0, 0, 0, 3115, 3116, 9, 0, 0, 0, 3116, 692, 1, 0, 0, 0, 40, 0, 2870, 2903,
1723
- 2905, 2917, 2919, 2930, 2939, 2944, 2948, 2953, 2959, 2962, 2970, 2974, 2978,
1724
- 2983, 2985, 2992, 2994, 3000, 3002, 3011, 3013, 3020, 3025, 3032, 3036, 3040,
1725
- 3046, 3051, 3057, 3062, 3066, 3071, 3083, 3087, 3090, 3100, 3111, 1, 0, 1, 0
1719
+ 3108, 3109, 7, 36, 0, 0, 3109, 3110, 1, 0, 0, 0, 3110, 3111, 6, 344, 0, 0, 3111, 690,
1720
+ 1, 0, 0, 0, 3112, 3113, 9, 0, 0, 0, 3113, 692, 1, 0, 0, 0, 39, 0, 2870, 2903, 2905, 2917,
1721
+ 2919, 2930, 2939, 2944, 2948, 2953, 2959, 2962, 2970, 2974, 2978, 2983, 2985,
1722
+ 2992, 2994, 3000, 3002, 3011, 3013, 3020, 3025, 3032, 3036, 3040, 3046, 3051,
1723
+ 3057, 3062, 3066, 3071, 3083, 3087, 3090, 3100, 1, 0, 1, 0
1726
1724
  ];
1727
1725
  TrinoSqlLexer.vocabulary = new antlr.Vocabulary(TrinoSqlLexer.literalNames, TrinoSqlLexer.symbolicNames, []);
1728
1726
  TrinoSqlLexer.decisionsToDFA = TrinoSqlLexer._ATN.decisionToState.map((ds, index) => new antlr.DFA(ds, index));