From 48d0da1efe954fa6cc94a0dd808e6f4a14cc8b9f Mon Sep 17 00:00:00 2001 From: Kyryl Riabov Date: Thu, 29 Aug 2024 13:11:10 +0300 Subject: [PATCH] Synced with G4 grammar (Added missing Lexer symbols) --- circom-g4-grammar | 2 +- package-lock.json | 4 +- package.json | 2 +- src/generated/CircomLexer.ts | 537 ++++++++++++++++--------------- src/generated/CircomParser.ts | 586 +++++++++++++++++----------------- src/generated/LexerCircom.ts | 514 +++++++++++++++-------------- 6 files changed, 841 insertions(+), 804 deletions(-) diff --git a/circom-g4-grammar b/circom-g4-grammar index 4083217..4724b90 160000 --- a/circom-g4-grammar +++ b/circom-g4-grammar @@ -1 +1 @@ -Subproject commit 4083217acf055b3eeb7a40d7f2ab3923c3f6e997 +Subproject commit 4724b902b088c714960255cc221b62d2f2820784 diff --git a/package-lock.json b/package-lock.json index 2e53363..251105e 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "@distributedlab/circom-parser", - "version": "0.1.0", + "version": "0.1.1", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "@distributedlab/circom-parser", - "version": "0.1.0", + "version": "0.1.1", "license": "MIT", "dependencies": { "antlr4": "4.13.1-patch-1", diff --git a/package.json b/package.json index ccd7204..34c8e96 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { "name": "@distributedlab/circom-parser", "description": "Circom circuit parser built with ANTLR4", - "version": "0.1.0", + "version": "0.1.1", "main": "dist/index.js", "types": "dist/index.d.ts", "files": [ diff --git a/src/generated/CircomLexer.ts b/src/generated/CircomLexer.ts index 0a2c546..4d88bd4 100644 --- a/src/generated/CircomLexer.ts +++ b/src/generated/CircomLexer.ts @@ -13,49 +13,49 @@ import { Token, } from "antlr4"; export default class CircomLexer extends Lexer { - public static readonly T__0 = 1; - public static readonly T__1 = 2; - public static readonly T__2 = 3; - public static readonly T__3 = 4; - public static readonly VERSION = 5; - public static readonly SIGNAL_TYPE = 6; - public static readonly SIGNAL = 7; - public static readonly INPUT = 8; - public static readonly OUTPUT = 9; - public static readonly PUBLIC = 10; - public static readonly TEMPLATE = 11; - public static readonly COMPONENT = 12; - public static readonly VAR = 13; - public static readonly FUNCTION = 14; - public static readonly RETURN = 15; - public static readonly IF = 16; - public static readonly ELSE = 17; - public static readonly FOR = 18; - public static readonly WHILE = 19; - public static readonly DO = 20; - public static readonly LOG = 21; - public static readonly ASSERT = 22; - public static readonly INCLUDE = 23; - public static readonly CUSTOM = 24; - public static readonly PRAGMA = 25; - public static readonly CIRCOM = 26; - public static readonly CUSTOM_TEMPLATES = 27; - public static readonly MAIN = 28; - public static readonly PARALLEL = 29; - public static readonly LP = 30; - public static readonly RP = 31; - public static readonly LB = 32; - public static readonly RB = 33; - public static readonly LC = 34; - public static readonly RC = 35; - public static readonly SEMICOLON = 36; - public static readonly COMMA = 37; - public static readonly ASSIGNMENT = 38; - public static readonly ASSIGNMENT_OP = 39; - public static readonly SELF_OP = 40; - public static readonly LEFT_ASSIGNMENT = 41; - public static readonly RIGHT_ASSIGNMENT = 42; - public static readonly CONSTRAINT_EQ = 43; + public static readonly VERSION = 1; + public static readonly SIGNAL_TYPE = 2; + public static readonly SIGNAL = 3; + public static readonly INPUT = 4; + public static readonly OUTPUT = 5; + public static readonly PUBLIC = 6; + public static readonly TEMPLATE = 7; + public static readonly COMPONENT = 8; + public static readonly VAR = 9; + public static readonly FUNCTION = 10; + public static readonly RETURN = 11; + public static readonly IF = 12; + public static readonly ELSE = 13; + public static readonly FOR = 14; + public static readonly WHILE = 15; + public static readonly DO = 16; + public static readonly LOG = 17; + public static readonly ASSERT = 18; + public static readonly INCLUDE = 19; + public static readonly CUSTOM = 20; + public static readonly PRAGMA = 21; + public static readonly CIRCOM = 22; + public static readonly CUSTOM_TEMPLATES = 23; + public static readonly MAIN = 24; + public static readonly PARALLEL = 25; + public static readonly LP = 26; + public static readonly RP = 27; + public static readonly LB = 28; + public static readonly RB = 29; + public static readonly LC = 30; + public static readonly RC = 31; + public static readonly COLON = 32; + public static readonly SEMICOLON = 33; + public static readonly DOT = 34; + public static readonly COMMA = 35; + public static readonly ASSIGNMENT = 36; + public static readonly ASSIGNMENT_OP = 37; + public static readonly SELF_OP = 38; + public static readonly LEFT_ASSIGNMENT = 39; + public static readonly RIGHT_ASSIGNMENT = 40; + public static readonly CONSTRAINT_EQ = 41; + public static readonly QUESTION_MARK = 42; + public static readonly UNDERSCORE = 43; public static readonly NOT = 44; public static readonly BNOT = 45; public static readonly POW = 46; @@ -93,10 +93,6 @@ export default class CircomLexer extends Lexer { ]; public static readonly literalNames: (string | null)[] = [ null, - "'.'", - "'_'", - "'?'", - "':'", null, null, "'signal'", @@ -128,7 +124,9 @@ export default class CircomLexer extends Lexer { "']'", "'{'", "'}'", + "':'", "';'", + "'.'", "','", "'='", null, @@ -136,6 +134,8 @@ export default class CircomLexer extends Lexer { null, null, "'==='", + "'?'", + "'_'", "'!'", "'~'", "'**'", @@ -160,10 +160,6 @@ export default class CircomLexer extends Lexer { "'||'", ]; public static readonly symbolicNames: (string | null)[] = [ - null, - null, - null, - null, null, "VERSION", "SIGNAL_TYPE", @@ -196,7 +192,9 @@ export default class CircomLexer extends Lexer { "RB", "LC", "RC", + "COLON", "SEMICOLON", + "DOT", "COMMA", "ASSIGNMENT", "ASSIGNMENT_OP", @@ -204,6 +202,8 @@ export default class CircomLexer extends Lexer { "LEFT_ASSIGNMENT", "RIGHT_ASSIGNMENT", "CONSTRAINT_EQ", + "QUESTION_MARK", + "UNDERSCORE", "NOT", "BNOT", "POW", @@ -237,10 +237,6 @@ export default class CircomLexer extends Lexer { public static readonly modeNames: string[] = ["DEFAULT_MODE"]; public static readonly ruleNames: string[] = [ - "T__0", - "T__1", - "T__2", - "T__3", "VERSION", "SIGNAL_TYPE", "SIGNAL", @@ -272,7 +268,9 @@ export default class CircomLexer extends Lexer { "RB", "LC", "RC", + "COLON", "SEMICOLON", + "DOT", "COMMA", "ASSIGNMENT", "ASSIGNMENT_OP", @@ -280,6 +278,8 @@ export default class CircomLexer extends Lexer { "LEFT_ASSIGNMENT", "RIGHT_ASSIGNMENT", "CONSTRAINT_EQ", + "QUESTION_MARK", + "UNDERSCORE", "NOT", "BNOT", "POW", @@ -367,220 +367,219 @@ export default class CircomLexer extends Lexer { 60, 7, 60, 2, 61, 7, 61, 2, 62, 7, 62, 2, 63, 7, 63, 2, 64, 7, 64, 2, 65, 7, 65, 2, 66, 7, 66, 2, 67, 7, 67, 2, 68, 7, 68, 2, 69, 7, 69, 2, 70, 7, 70, 2, 71, 7, 71, 2, 72, 7, 72, 2, 73, 7, 73, 2, 74, 7, 74, 2, 75, 7, 75, 2, 76, 7, - 76, 1, 0, 1, 0, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3, 1, 3, 1, 4, 1, 4, 1, 4, 1, 4, - 1, 4, 1, 4, 1, 5, 1, 5, 3, 5, 172, 8, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, - 1, 6, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, - 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, - 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, - 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 12, 1, 12, 1, 13, 1, 13, 1, - 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, - 14, 1, 14, 1, 14, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, - 17, 1, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 19, 1, - 19, 1, 19, 1, 20, 1, 20, 1, 20, 1, 20, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, - 21, 1, 21, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 23, 1, - 23, 1, 23, 1, 23, 1, 23, 1, 23, 1, 23, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, - 24, 1, 24, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 26, 1, 26, 1, - 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, - 26, 1, 26, 1, 26, 1, 26, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 28, 1, 28, 1, - 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 29, 1, 29, 1, 30, 1, 30, 1, - 31, 1, 31, 1, 32, 1, 32, 1, 33, 1, 33, 1, 34, 1, 34, 1, 35, 1, 35, 1, 36, 1, - 36, 1, 37, 1, 37, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, - 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, - 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 3, 38, 377, 8, 38, 1, - 39, 1, 39, 1, 39, 1, 39, 3, 39, 383, 8, 39, 1, 40, 1, 40, 1, 40, 1, 40, 1, - 40, 1, 40, 3, 40, 391, 8, 40, 1, 41, 1, 41, 1, 41, 1, 41, 1, 41, 1, 41, 3, - 41, 399, 8, 41, 1, 42, 1, 42, 1, 42, 1, 42, 1, 43, 1, 43, 1, 44, 1, 44, 1, - 45, 1, 45, 1, 45, 1, 46, 1, 46, 1, 47, 1, 47, 1, 48, 1, 48, 1, 49, 1, 49, 1, - 50, 1, 50, 1, 51, 1, 51, 1, 52, 1, 52, 1, 52, 1, 53, 1, 53, 1, 53, 1, 54, 1, - 54, 1, 55, 1, 55, 1, 56, 1, 56, 1, 57, 1, 57, 1, 57, 1, 58, 1, 58, 1, 58, 1, - 59, 1, 59, 1, 60, 1, 60, 1, 61, 1, 61, 1, 61, 1, 62, 1, 62, 1, 62, 1, 63, 1, - 63, 1, 63, 1, 64, 1, 64, 1, 64, 1, 65, 5, 65, 459, 8, 65, 10, 65, 12, 65, - 462, 9, 65, 1, 65, 1, 65, 1, 65, 1, 65, 5, 65, 468, 8, 65, 10, 65, 12, 65, - 471, 9, 65, 1, 66, 1, 66, 1, 67, 1, 67, 1, 68, 4, 68, 478, 8, 68, 11, 68, - 12, 68, 479, 1, 68, 3, 68, 483, 8, 68, 1, 69, 1, 69, 1, 70, 1, 70, 1, 70, 4, - 70, 490, 8, 70, 11, 70, 12, 70, 491, 1, 71, 1, 71, 1, 72, 1, 72, 1, 72, 5, - 72, 499, 8, 72, 10, 72, 12, 72, 502, 9, 72, 1, 72, 1, 72, 1, 73, 1, 73, 1, - 73, 1, 74, 1, 74, 1, 74, 1, 74, 5, 74, 513, 8, 74, 10, 74, 12, 74, 516, 9, - 74, 1, 74, 1, 74, 1, 74, 1, 74, 1, 74, 1, 75, 1, 75, 1, 75, 1, 75, 5, 75, - 527, 8, 75, 10, 75, 12, 75, 530, 9, 75, 1, 75, 1, 75, 1, 76, 4, 76, 535, 8, - 76, 11, 76, 12, 76, 536, 1, 76, 1, 76, 2, 500, 514, 0, 77, 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, 27, - 14, 29, 15, 31, 16, 33, 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, - 47, 24, 49, 25, 51, 26, 53, 27, 55, 28, 57, 29, 59, 30, 61, 31, 63, 32, 65, - 33, 67, 34, 69, 35, 71, 36, 73, 37, 75, 38, 77, 39, 79, 40, 81, 41, 83, 42, - 85, 43, 87, 44, 89, 45, 91, 46, 93, 47, 95, 48, 97, 49, 99, 50, 101, 51, - 103, 52, 105, 53, 107, 54, 109, 55, 111, 56, 113, 57, 115, 58, 117, 59, 119, - 60, 121, 61, 123, 62, 125, 63, 127, 64, 129, 65, 131, 66, 133, 0, 135, 0, - 137, 67, 139, 0, 141, 68, 143, 0, 145, 69, 147, 0, 149, 70, 151, 71, 153, - 72, 1, 0, 7, 3, 0, 65, 90, 97, 122, 128, 255, 2, 0, 36, 36, 95, 95, 1, 0, - 48, 57, 3, 0, 48, 57, 65, 70, 97, 102, 7, 0, 34, 34, 92, 92, 98, 98, 102, - 102, 110, 110, 114, 114, 116, 116, 2, 0, 10, 10, 13, 13, 3, 0, 9, 10, 12, - 13, 32, 32, 561, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 0, 0, 0, 0, 137, 1, - 0, 0, 0, 0, 141, 1, 0, 0, 0, 0, 145, 1, 0, 0, 0, 0, 149, 1, 0, 0, 0, 0, 151, - 1, 0, 0, 0, 0, 153, 1, 0, 0, 0, 1, 155, 1, 0, 0, 0, 3, 157, 1, 0, 0, 0, 5, - 159, 1, 0, 0, 0, 7, 161, 1, 0, 0, 0, 9, 163, 1, 0, 0, 0, 11, 171, 1, 0, 0, - 0, 13, 173, 1, 0, 0, 0, 15, 180, 1, 0, 0, 0, 17, 186, 1, 0, 0, 0, 19, 193, - 1, 0, 0, 0, 21, 200, 1, 0, 0, 0, 23, 209, 1, 0, 0, 0, 25, 219, 1, 0, 0, 0, - 27, 223, 1, 0, 0, 0, 29, 232, 1, 0, 0, 0, 31, 239, 1, 0, 0, 0, 33, 242, 1, - 0, 0, 0, 35, 247, 1, 0, 0, 0, 37, 251, 1, 0, 0, 0, 39, 257, 1, 0, 0, 0, 41, - 260, 1, 0, 0, 0, 43, 264, 1, 0, 0, 0, 45, 271, 1, 0, 0, 0, 47, 279, 1, 0, 0, - 0, 49, 286, 1, 0, 0, 0, 51, 293, 1, 0, 0, 0, 53, 300, 1, 0, 0, 0, 55, 317, - 1, 0, 0, 0, 57, 322, 1, 0, 0, 0, 59, 331, 1, 0, 0, 0, 61, 333, 1, 0, 0, 0, - 63, 335, 1, 0, 0, 0, 65, 337, 1, 0, 0, 0, 67, 339, 1, 0, 0, 0, 69, 341, 1, - 0, 0, 0, 71, 343, 1, 0, 0, 0, 73, 345, 1, 0, 0, 0, 75, 347, 1, 0, 0, 0, 77, - 376, 1, 0, 0, 0, 79, 382, 1, 0, 0, 0, 81, 390, 1, 0, 0, 0, 83, 398, 1, 0, 0, - 0, 85, 400, 1, 0, 0, 0, 87, 404, 1, 0, 0, 0, 89, 406, 1, 0, 0, 0, 91, 408, - 1, 0, 0, 0, 93, 411, 1, 0, 0, 0, 95, 413, 1, 0, 0, 0, 97, 415, 1, 0, 0, 0, - 99, 417, 1, 0, 0, 0, 101, 419, 1, 0, 0, 0, 103, 421, 1, 0, 0, 0, 105, 423, - 1, 0, 0, 0, 107, 426, 1, 0, 0, 0, 109, 429, 1, 0, 0, 0, 111, 431, 1, 0, 0, - 0, 113, 433, 1, 0, 0, 0, 115, 435, 1, 0, 0, 0, 117, 438, 1, 0, 0, 0, 119, - 441, 1, 0, 0, 0, 121, 443, 1, 0, 0, 0, 123, 445, 1, 0, 0, 0, 125, 448, 1, 0, - 0, 0, 127, 451, 1, 0, 0, 0, 129, 454, 1, 0, 0, 0, 131, 460, 1, 0, 0, 0, 133, - 472, 1, 0, 0, 0, 135, 474, 1, 0, 0, 0, 137, 482, 1, 0, 0, 0, 139, 484, 1, 0, - 0, 0, 141, 486, 1, 0, 0, 0, 143, 493, 1, 0, 0, 0, 145, 495, 1, 0, 0, 0, 147, - 505, 1, 0, 0, 0, 149, 508, 1, 0, 0, 0, 151, 522, 1, 0, 0, 0, 153, 534, 1, 0, - 0, 0, 155, 156, 5, 46, 0, 0, 156, 2, 1, 0, 0, 0, 157, 158, 5, 95, 0, 0, 158, - 4, 1, 0, 0, 0, 159, 160, 5, 63, 0, 0, 160, 6, 1, 0, 0, 0, 161, 162, 5, 58, - 0, 0, 162, 8, 1, 0, 0, 0, 163, 164, 3, 137, 68, 0, 164, 165, 5, 46, 0, 0, - 165, 166, 3, 137, 68, 0, 166, 167, 5, 46, 0, 0, 167, 168, 3, 137, 68, 0, - 168, 10, 1, 0, 0, 0, 169, 172, 3, 15, 7, 0, 170, 172, 3, 17, 8, 0, 171, 169, - 1, 0, 0, 0, 171, 170, 1, 0, 0, 0, 172, 12, 1, 0, 0, 0, 173, 174, 5, 115, 0, - 0, 174, 175, 5, 105, 0, 0, 175, 176, 5, 103, 0, 0, 176, 177, 5, 110, 0, 0, - 177, 178, 5, 97, 0, 0, 178, 179, 5, 108, 0, 0, 179, 14, 1, 0, 0, 0, 180, - 181, 5, 105, 0, 0, 181, 182, 5, 110, 0, 0, 182, 183, 5, 112, 0, 0, 183, 184, - 5, 117, 0, 0, 184, 185, 5, 116, 0, 0, 185, 16, 1, 0, 0, 0, 186, 187, 5, 111, - 0, 0, 187, 188, 5, 117, 0, 0, 188, 189, 5, 116, 0, 0, 189, 190, 5, 112, 0, - 0, 190, 191, 5, 117, 0, 0, 191, 192, 5, 116, 0, 0, 192, 18, 1, 0, 0, 0, 193, - 194, 5, 112, 0, 0, 194, 195, 5, 117, 0, 0, 195, 196, 5, 98, 0, 0, 196, 197, - 5, 108, 0, 0, 197, 198, 5, 105, 0, 0, 198, 199, 5, 99, 0, 0, 199, 20, 1, 0, - 0, 0, 200, 201, 5, 116, 0, 0, 201, 202, 5, 101, 0, 0, 202, 203, 5, 109, 0, - 0, 203, 204, 5, 112, 0, 0, 204, 205, 5, 108, 0, 0, 205, 206, 5, 97, 0, 0, - 206, 207, 5, 116, 0, 0, 207, 208, 5, 101, 0, 0, 208, 22, 1, 0, 0, 0, 209, - 210, 5, 99, 0, 0, 210, 211, 5, 111, 0, 0, 211, 212, 5, 109, 0, 0, 212, 213, - 5, 112, 0, 0, 213, 214, 5, 111, 0, 0, 214, 215, 5, 110, 0, 0, 215, 216, 5, - 101, 0, 0, 216, 217, 5, 110, 0, 0, 217, 218, 5, 116, 0, 0, 218, 24, 1, 0, 0, - 0, 219, 220, 5, 118, 0, 0, 220, 221, 5, 97, 0, 0, 221, 222, 5, 114, 0, 0, - 222, 26, 1, 0, 0, 0, 223, 224, 5, 102, 0, 0, 224, 225, 5, 117, 0, 0, 225, - 226, 5, 110, 0, 0, 226, 227, 5, 99, 0, 0, 227, 228, 5, 116, 0, 0, 228, 229, - 5, 105, 0, 0, 229, 230, 5, 111, 0, 0, 230, 231, 5, 110, 0, 0, 231, 28, 1, 0, - 0, 0, 232, 233, 5, 114, 0, 0, 233, 234, 5, 101, 0, 0, 234, 235, 5, 116, 0, - 0, 235, 236, 5, 117, 0, 0, 236, 237, 5, 114, 0, 0, 237, 238, 5, 110, 0, 0, - 238, 30, 1, 0, 0, 0, 239, 240, 5, 105, 0, 0, 240, 241, 5, 102, 0, 0, 241, - 32, 1, 0, 0, 0, 242, 243, 5, 101, 0, 0, 243, 244, 5, 108, 0, 0, 244, 245, 5, - 115, 0, 0, 245, 246, 5, 101, 0, 0, 246, 34, 1, 0, 0, 0, 247, 248, 5, 102, 0, - 0, 248, 249, 5, 111, 0, 0, 249, 250, 5, 114, 0, 0, 250, 36, 1, 0, 0, 0, 251, - 252, 5, 119, 0, 0, 252, 253, 5, 104, 0, 0, 253, 254, 5, 105, 0, 0, 254, 255, - 5, 108, 0, 0, 255, 256, 5, 101, 0, 0, 256, 38, 1, 0, 0, 0, 257, 258, 5, 100, - 0, 0, 258, 259, 5, 111, 0, 0, 259, 40, 1, 0, 0, 0, 260, 261, 5, 108, 0, 0, - 261, 262, 5, 111, 0, 0, 262, 263, 5, 103, 0, 0, 263, 42, 1, 0, 0, 0, 264, - 265, 5, 97, 0, 0, 265, 266, 5, 115, 0, 0, 266, 267, 5, 115, 0, 0, 267, 268, - 5, 101, 0, 0, 268, 269, 5, 114, 0, 0, 269, 270, 5, 116, 0, 0, 270, 44, 1, 0, - 0, 0, 271, 272, 5, 105, 0, 0, 272, 273, 5, 110, 0, 0, 273, 274, 5, 99, 0, 0, - 274, 275, 5, 108, 0, 0, 275, 276, 5, 117, 0, 0, 276, 277, 5, 100, 0, 0, 277, - 278, 5, 101, 0, 0, 278, 46, 1, 0, 0, 0, 279, 280, 5, 99, 0, 0, 280, 281, 5, - 117, 0, 0, 281, 282, 5, 115, 0, 0, 282, 283, 5, 116, 0, 0, 283, 284, 5, 111, - 0, 0, 284, 285, 5, 109, 0, 0, 285, 48, 1, 0, 0, 0, 286, 287, 5, 112, 0, 0, - 287, 288, 5, 114, 0, 0, 288, 289, 5, 97, 0, 0, 289, 290, 5, 103, 0, 0, 290, - 291, 5, 109, 0, 0, 291, 292, 5, 97, 0, 0, 292, 50, 1, 0, 0, 0, 293, 294, 5, - 99, 0, 0, 294, 295, 5, 105, 0, 0, 295, 296, 5, 114, 0, 0, 296, 297, 5, 99, - 0, 0, 297, 298, 5, 111, 0, 0, 298, 299, 5, 109, 0, 0, 299, 52, 1, 0, 0, 0, - 300, 301, 5, 99, 0, 0, 301, 302, 5, 117, 0, 0, 302, 303, 5, 115, 0, 0, 303, - 304, 5, 116, 0, 0, 304, 305, 5, 111, 0, 0, 305, 306, 5, 109, 0, 0, 306, 307, - 5, 95, 0, 0, 307, 308, 5, 116, 0, 0, 308, 309, 5, 101, 0, 0, 309, 310, 5, - 109, 0, 0, 310, 311, 5, 112, 0, 0, 311, 312, 5, 108, 0, 0, 312, 313, 5, 97, - 0, 0, 313, 314, 5, 116, 0, 0, 314, 315, 5, 101, 0, 0, 315, 316, 5, 115, 0, - 0, 316, 54, 1, 0, 0, 0, 317, 318, 5, 109, 0, 0, 318, 319, 5, 97, 0, 0, 319, - 320, 5, 105, 0, 0, 320, 321, 5, 110, 0, 0, 321, 56, 1, 0, 0, 0, 322, 323, 5, - 112, 0, 0, 323, 324, 5, 97, 0, 0, 324, 325, 5, 114, 0, 0, 325, 326, 5, 97, - 0, 0, 326, 327, 5, 108, 0, 0, 327, 328, 5, 108, 0, 0, 328, 329, 5, 101, 0, - 0, 329, 330, 5, 108, 0, 0, 330, 58, 1, 0, 0, 0, 331, 332, 5, 40, 0, 0, 332, - 60, 1, 0, 0, 0, 333, 334, 5, 41, 0, 0, 334, 62, 1, 0, 0, 0, 335, 336, 5, 91, - 0, 0, 336, 64, 1, 0, 0, 0, 337, 338, 5, 93, 0, 0, 338, 66, 1, 0, 0, 0, 339, - 340, 5, 123, 0, 0, 340, 68, 1, 0, 0, 0, 341, 342, 5, 125, 0, 0, 342, 70, 1, - 0, 0, 0, 343, 344, 5, 59, 0, 0, 344, 72, 1, 0, 0, 0, 345, 346, 5, 44, 0, 0, - 346, 74, 1, 0, 0, 0, 347, 348, 5, 61, 0, 0, 348, 76, 1, 0, 0, 0, 349, 350, - 5, 43, 0, 0, 350, 377, 5, 61, 0, 0, 351, 352, 5, 45, 0, 0, 352, 377, 5, 61, - 0, 0, 353, 354, 5, 42, 0, 0, 354, 377, 5, 61, 0, 0, 355, 356, 5, 42, 0, 0, - 356, 357, 5, 42, 0, 0, 357, 377, 5, 61, 0, 0, 358, 359, 5, 47, 0, 0, 359, - 377, 5, 61, 0, 0, 360, 361, 5, 92, 0, 0, 361, 377, 5, 61, 0, 0, 362, 363, 5, - 37, 0, 0, 363, 377, 5, 61, 0, 0, 364, 365, 5, 60, 0, 0, 365, 366, 5, 60, 0, - 0, 366, 377, 5, 61, 0, 0, 367, 368, 5, 62, 0, 0, 368, 369, 5, 62, 0, 0, 369, - 377, 5, 61, 0, 0, 370, 371, 5, 38, 0, 0, 371, 377, 5, 61, 0, 0, 372, 373, 5, - 94, 0, 0, 373, 377, 5, 61, 0, 0, 374, 375, 5, 124, 0, 0, 375, 377, 5, 61, 0, - 0, 376, 349, 1, 0, 0, 0, 376, 351, 1, 0, 0, 0, 376, 353, 1, 0, 0, 0, 376, - 355, 1, 0, 0, 0, 376, 358, 1, 0, 0, 0, 376, 360, 1, 0, 0, 0, 376, 362, 1, 0, - 0, 0, 376, 364, 1, 0, 0, 0, 376, 367, 1, 0, 0, 0, 376, 370, 1, 0, 0, 0, 376, - 372, 1, 0, 0, 0, 376, 374, 1, 0, 0, 0, 377, 78, 1, 0, 0, 0, 378, 379, 5, 43, - 0, 0, 379, 383, 5, 43, 0, 0, 380, 381, 5, 45, 0, 0, 381, 383, 5, 45, 0, 0, - 382, 378, 1, 0, 0, 0, 382, 380, 1, 0, 0, 0, 383, 80, 1, 0, 0, 0, 384, 385, - 5, 60, 0, 0, 385, 386, 5, 45, 0, 0, 386, 391, 5, 45, 0, 0, 387, 388, 5, 60, - 0, 0, 388, 389, 5, 61, 0, 0, 389, 391, 5, 61, 0, 0, 390, 384, 1, 0, 0, 0, - 390, 387, 1, 0, 0, 0, 391, 82, 1, 0, 0, 0, 392, 393, 5, 45, 0, 0, 393, 394, - 5, 45, 0, 0, 394, 399, 5, 62, 0, 0, 395, 396, 5, 61, 0, 0, 396, 397, 5, 61, - 0, 0, 397, 399, 5, 62, 0, 0, 398, 392, 1, 0, 0, 0, 398, 395, 1, 0, 0, 0, - 399, 84, 1, 0, 0, 0, 400, 401, 5, 61, 0, 0, 401, 402, 5, 61, 0, 0, 402, 403, - 5, 61, 0, 0, 403, 86, 1, 0, 0, 0, 404, 405, 5, 33, 0, 0, 405, 88, 1, 0, 0, - 0, 406, 407, 5, 126, 0, 0, 407, 90, 1, 0, 0, 0, 408, 409, 5, 42, 0, 0, 409, - 410, 5, 42, 0, 0, 410, 92, 1, 0, 0, 0, 411, 412, 5, 42, 0, 0, 412, 94, 1, 0, - 0, 0, 413, 414, 5, 47, 0, 0, 414, 96, 1, 0, 0, 0, 415, 416, 5, 92, 0, 0, - 416, 98, 1, 0, 0, 0, 417, 418, 5, 37, 0, 0, 418, 100, 1, 0, 0, 0, 419, 420, - 5, 43, 0, 0, 420, 102, 1, 0, 0, 0, 421, 422, 5, 45, 0, 0, 422, 104, 1, 0, 0, - 0, 423, 424, 5, 60, 0, 0, 424, 425, 5, 60, 0, 0, 425, 106, 1, 0, 0, 0, 426, - 427, 5, 62, 0, 0, 427, 428, 5, 62, 0, 0, 428, 108, 1, 0, 0, 0, 429, 430, 5, - 38, 0, 0, 430, 110, 1, 0, 0, 0, 431, 432, 5, 94, 0, 0, 432, 112, 1, 0, 0, 0, - 433, 434, 5, 124, 0, 0, 434, 114, 1, 0, 0, 0, 435, 436, 5, 61, 0, 0, 436, - 437, 5, 61, 0, 0, 437, 116, 1, 0, 0, 0, 438, 439, 5, 33, 0, 0, 439, 440, 5, - 61, 0, 0, 440, 118, 1, 0, 0, 0, 441, 442, 5, 62, 0, 0, 442, 120, 1, 0, 0, 0, - 443, 444, 5, 60, 0, 0, 444, 122, 1, 0, 0, 0, 445, 446, 5, 62, 0, 0, 446, - 447, 5, 61, 0, 0, 447, 124, 1, 0, 0, 0, 448, 449, 5, 60, 0, 0, 449, 450, 5, - 61, 0, 0, 450, 126, 1, 0, 0, 0, 451, 452, 5, 38, 0, 0, 452, 453, 5, 38, 0, - 0, 453, 128, 1, 0, 0, 0, 454, 455, 5, 124, 0, 0, 455, 456, 5, 124, 0, 0, - 456, 130, 1, 0, 0, 0, 457, 459, 3, 135, 67, 0, 458, 457, 1, 0, 0, 0, 459, - 462, 1, 0, 0, 0, 460, 458, 1, 0, 0, 0, 460, 461, 1, 0, 0, 0, 461, 463, 1, 0, - 0, 0, 462, 460, 1, 0, 0, 0, 463, 469, 3, 133, 66, 0, 464, 468, 3, 133, 66, - 0, 465, 468, 3, 139, 69, 0, 466, 468, 3, 135, 67, 0, 467, 464, 1, 0, 0, 0, - 467, 465, 1, 0, 0, 0, 467, 466, 1, 0, 0, 0, 468, 471, 1, 0, 0, 0, 469, 467, - 1, 0, 0, 0, 469, 470, 1, 0, 0, 0, 470, 132, 1, 0, 0, 0, 471, 469, 1, 0, 0, - 0, 472, 473, 7, 0, 0, 0, 473, 134, 1, 0, 0, 0, 474, 475, 7, 1, 0, 0, 475, - 136, 1, 0, 0, 0, 476, 478, 3, 139, 69, 0, 477, 476, 1, 0, 0, 0, 478, 479, 1, - 0, 0, 0, 479, 477, 1, 0, 0, 0, 479, 480, 1, 0, 0, 0, 480, 483, 1, 0, 0, 0, - 481, 483, 3, 141, 70, 0, 482, 477, 1, 0, 0, 0, 482, 481, 1, 0, 0, 0, 483, - 138, 1, 0, 0, 0, 484, 485, 7, 2, 0, 0, 485, 140, 1, 0, 0, 0, 486, 487, 5, - 48, 0, 0, 487, 489, 5, 120, 0, 0, 488, 490, 3, 143, 71, 0, 489, 488, 1, 0, - 0, 0, 490, 491, 1, 0, 0, 0, 491, 489, 1, 0, 0, 0, 491, 492, 1, 0, 0, 0, 492, - 142, 1, 0, 0, 0, 493, 494, 7, 3, 0, 0, 494, 144, 1, 0, 0, 0, 495, 500, 5, - 34, 0, 0, 496, 499, 3, 147, 73, 0, 497, 499, 9, 0, 0, 0, 498, 496, 1, 0, 0, - 0, 498, 497, 1, 0, 0, 0, 499, 502, 1, 0, 0, 0, 500, 501, 1, 0, 0, 0, 500, - 498, 1, 0, 0, 0, 501, 503, 1, 0, 0, 0, 502, 500, 1, 0, 0, 0, 503, 504, 5, - 34, 0, 0, 504, 146, 1, 0, 0, 0, 505, 506, 5, 92, 0, 0, 506, 507, 7, 4, 0, 0, - 507, 148, 1, 0, 0, 0, 508, 509, 5, 47, 0, 0, 509, 510, 5, 42, 0, 0, 510, - 514, 1, 0, 0, 0, 511, 513, 9, 0, 0, 0, 512, 511, 1, 0, 0, 0, 513, 516, 1, 0, - 0, 0, 514, 515, 1, 0, 0, 0, 514, 512, 1, 0, 0, 0, 515, 517, 1, 0, 0, 0, 516, - 514, 1, 0, 0, 0, 517, 518, 5, 42, 0, 0, 518, 519, 5, 47, 0, 0, 519, 520, 1, - 0, 0, 0, 520, 521, 6, 74, 0, 0, 521, 150, 1, 0, 0, 0, 522, 523, 5, 47, 0, 0, - 523, 524, 5, 47, 0, 0, 524, 528, 1, 0, 0, 0, 525, 527, 8, 5, 0, 0, 526, 525, - 1, 0, 0, 0, 527, 530, 1, 0, 0, 0, 528, 526, 1, 0, 0, 0, 528, 529, 1, 0, 0, - 0, 529, 531, 1, 0, 0, 0, 530, 528, 1, 0, 0, 0, 531, 532, 6, 75, 0, 0, 532, - 152, 1, 0, 0, 0, 533, 535, 7, 6, 0, 0, 534, 533, 1, 0, 0, 0, 535, 536, 1, 0, - 0, 0, 536, 534, 1, 0, 0, 0, 536, 537, 1, 0, 0, 0, 537, 538, 1, 0, 0, 0, 538, - 539, 6, 76, 0, 0, 539, 154, 1, 0, 0, 0, 17, 0, 171, 376, 382, 390, 398, 460, - 467, 469, 479, 482, 491, 498, 500, 514, 528, 536, 1, 0, 1, 0, + 76, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 3, 1, 164, 8, 1, 1, 2, + 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, + 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, + 1, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, + 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 9, + 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, + 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 12, 1, 12, 1, 12, + 1, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 15, + 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, + 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 19, + 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, + 1, 20, 1, 20, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 22, 1, 22, + 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, + 1, 22, 1, 22, 1, 22, 1, 22, 1, 23, 1, 23, 1, 23, 1, 23, 1, 23, 1, 24, 1, 24, + 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 25, 1, 25, 1, 26, 1, 26, + 1, 27, 1, 27, 1, 28, 1, 28, 1, 29, 1, 29, 1, 30, 1, 30, 1, 31, 1, 31, 1, 32, + 1, 32, 1, 33, 1, 33, 1, 34, 1, 34, 1, 35, 1, 35, 1, 36, 1, 36, 1, 36, 1, 36, + 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, + 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, + 1, 36, 3, 36, 373, 8, 36, 1, 37, 1, 37, 1, 37, 1, 37, 3, 37, 379, 8, 37, 1, + 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 3, 38, 387, 8, 38, 1, 39, 1, 39, 1, + 39, 1, 39, 1, 39, 1, 39, 3, 39, 395, 8, 39, 1, 40, 1, 40, 1, 40, 1, 40, 1, + 41, 1, 41, 1, 42, 1, 42, 1, 43, 1, 43, 1, 44, 1, 44, 1, 45, 1, 45, 1, 45, 1, + 46, 1, 46, 1, 47, 1, 47, 1, 48, 1, 48, 1, 49, 1, 49, 1, 50, 1, 50, 1, 51, 1, + 51, 1, 52, 1, 52, 1, 52, 1, 53, 1, 53, 1, 53, 1, 54, 1, 54, 1, 55, 1, 55, 1, + 56, 1, 56, 1, 57, 1, 57, 1, 57, 1, 58, 1, 58, 1, 58, 1, 59, 1, 59, 1, 60, 1, + 60, 1, 61, 1, 61, 1, 61, 1, 62, 1, 62, 1, 62, 1, 63, 1, 63, 1, 63, 1, 64, 1, + 64, 1, 64, 1, 65, 5, 65, 459, 8, 65, 10, 65, 12, 65, 462, 9, 65, 1, 65, 1, + 65, 1, 65, 1, 65, 5, 65, 468, 8, 65, 10, 65, 12, 65, 471, 9, 65, 1, 66, 1, + 66, 1, 67, 1, 67, 1, 68, 4, 68, 478, 8, 68, 11, 68, 12, 68, 479, 1, 68, 3, + 68, 483, 8, 68, 1, 69, 1, 69, 1, 70, 1, 70, 1, 70, 4, 70, 490, 8, 70, 11, + 70, 12, 70, 491, 1, 71, 1, 71, 1, 72, 1, 72, 1, 72, 5, 72, 499, 8, 72, 10, + 72, 12, 72, 502, 9, 72, 1, 72, 1, 72, 1, 73, 1, 73, 1, 73, 1, 74, 1, 74, 1, + 74, 1, 74, 5, 74, 513, 8, 74, 10, 74, 12, 74, 516, 9, 74, 1, 74, 1, 74, 1, + 74, 1, 74, 1, 74, 1, 75, 1, 75, 1, 75, 1, 75, 5, 75, 527, 8, 75, 10, 75, 12, + 75, 530, 9, 75, 1, 75, 1, 75, 1, 76, 4, 76, 535, 8, 76, 11, 76, 12, 76, 536, + 1, 76, 1, 76, 2, 500, 514, 0, 77, 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, 27, 14, 29, 15, 31, 16, 33, + 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, + 53, 27, 55, 28, 57, 29, 59, 30, 61, 31, 63, 32, 65, 33, 67, 34, 69, 35, 71, + 36, 73, 37, 75, 38, 77, 39, 79, 40, 81, 41, 83, 42, 85, 43, 87, 44, 89, 45, + 91, 46, 93, 47, 95, 48, 97, 49, 99, 50, 101, 51, 103, 52, 105, 53, 107, 54, + 109, 55, 111, 56, 113, 57, 115, 58, 117, 59, 119, 60, 121, 61, 123, 62, 125, + 63, 127, 64, 129, 65, 131, 66, 133, 0, 135, 0, 137, 67, 139, 0, 141, 68, + 143, 0, 145, 69, 147, 0, 149, 70, 151, 71, 153, 72, 1, 0, 7, 3, 0, 65, 90, + 97, 122, 128, 255, 2, 0, 36, 36, 95, 95, 1, 0, 48, 57, 3, 0, 48, 57, 65, 70, + 97, 102, 7, 0, 34, 34, 92, 92, 98, 98, 102, 102, 110, 110, 114, 114, 116, + 116, 2, 0, 10, 10, 13, 13, 3, 0, 9, 10, 12, 13, 32, 32, 561, 0, 1, 1, 0, 0, + 0, 0, 3, 1, 0, 0, 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, 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, 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, + 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, 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, 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, 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, + 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, 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, 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, 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, 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, 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, 0, 0, 0, 0, 137, 1, 0, 0, 0, 0, 141, 1, 0, 0, 0, 0, + 145, 1, 0, 0, 0, 0, 149, 1, 0, 0, 0, 0, 151, 1, 0, 0, 0, 0, 153, 1, 0, 0, 0, + 1, 155, 1, 0, 0, 0, 3, 163, 1, 0, 0, 0, 5, 165, 1, 0, 0, 0, 7, 172, 1, 0, 0, + 0, 9, 178, 1, 0, 0, 0, 11, 185, 1, 0, 0, 0, 13, 192, 1, 0, 0, 0, 15, 201, 1, + 0, 0, 0, 17, 211, 1, 0, 0, 0, 19, 215, 1, 0, 0, 0, 21, 224, 1, 0, 0, 0, 23, + 231, 1, 0, 0, 0, 25, 234, 1, 0, 0, 0, 27, 239, 1, 0, 0, 0, 29, 243, 1, 0, 0, + 0, 31, 249, 1, 0, 0, 0, 33, 252, 1, 0, 0, 0, 35, 256, 1, 0, 0, 0, 37, 263, + 1, 0, 0, 0, 39, 271, 1, 0, 0, 0, 41, 278, 1, 0, 0, 0, 43, 285, 1, 0, 0, 0, + 45, 292, 1, 0, 0, 0, 47, 309, 1, 0, 0, 0, 49, 314, 1, 0, 0, 0, 51, 323, 1, + 0, 0, 0, 53, 325, 1, 0, 0, 0, 55, 327, 1, 0, 0, 0, 57, 329, 1, 0, 0, 0, 59, + 331, 1, 0, 0, 0, 61, 333, 1, 0, 0, 0, 63, 335, 1, 0, 0, 0, 65, 337, 1, 0, 0, + 0, 67, 339, 1, 0, 0, 0, 69, 341, 1, 0, 0, 0, 71, 343, 1, 0, 0, 0, 73, 372, + 1, 0, 0, 0, 75, 378, 1, 0, 0, 0, 77, 386, 1, 0, 0, 0, 79, 394, 1, 0, 0, 0, + 81, 396, 1, 0, 0, 0, 83, 400, 1, 0, 0, 0, 85, 402, 1, 0, 0, 0, 87, 404, 1, + 0, 0, 0, 89, 406, 1, 0, 0, 0, 91, 408, 1, 0, 0, 0, 93, 411, 1, 0, 0, 0, 95, + 413, 1, 0, 0, 0, 97, 415, 1, 0, 0, 0, 99, 417, 1, 0, 0, 0, 101, 419, 1, 0, + 0, 0, 103, 421, 1, 0, 0, 0, 105, 423, 1, 0, 0, 0, 107, 426, 1, 0, 0, 0, 109, + 429, 1, 0, 0, 0, 111, 431, 1, 0, 0, 0, 113, 433, 1, 0, 0, 0, 115, 435, 1, 0, + 0, 0, 117, 438, 1, 0, 0, 0, 119, 441, 1, 0, 0, 0, 121, 443, 1, 0, 0, 0, 123, + 445, 1, 0, 0, 0, 125, 448, 1, 0, 0, 0, 127, 451, 1, 0, 0, 0, 129, 454, 1, 0, + 0, 0, 131, 460, 1, 0, 0, 0, 133, 472, 1, 0, 0, 0, 135, 474, 1, 0, 0, 0, 137, + 482, 1, 0, 0, 0, 139, 484, 1, 0, 0, 0, 141, 486, 1, 0, 0, 0, 143, 493, 1, 0, + 0, 0, 145, 495, 1, 0, 0, 0, 147, 505, 1, 0, 0, 0, 149, 508, 1, 0, 0, 0, 151, + 522, 1, 0, 0, 0, 153, 534, 1, 0, 0, 0, 155, 156, 3, 137, 68, 0, 156, 157, 5, + 46, 0, 0, 157, 158, 3, 137, 68, 0, 158, 159, 5, 46, 0, 0, 159, 160, 3, 137, + 68, 0, 160, 2, 1, 0, 0, 0, 161, 164, 3, 7, 3, 0, 162, 164, 3, 9, 4, 0, 163, + 161, 1, 0, 0, 0, 163, 162, 1, 0, 0, 0, 164, 4, 1, 0, 0, 0, 165, 166, 5, 115, + 0, 0, 166, 167, 5, 105, 0, 0, 167, 168, 5, 103, 0, 0, 168, 169, 5, 110, 0, + 0, 169, 170, 5, 97, 0, 0, 170, 171, 5, 108, 0, 0, 171, 6, 1, 0, 0, 0, 172, + 173, 5, 105, 0, 0, 173, 174, 5, 110, 0, 0, 174, 175, 5, 112, 0, 0, 175, 176, + 5, 117, 0, 0, 176, 177, 5, 116, 0, 0, 177, 8, 1, 0, 0, 0, 178, 179, 5, 111, + 0, 0, 179, 180, 5, 117, 0, 0, 180, 181, 5, 116, 0, 0, 181, 182, 5, 112, 0, + 0, 182, 183, 5, 117, 0, 0, 183, 184, 5, 116, 0, 0, 184, 10, 1, 0, 0, 0, 185, + 186, 5, 112, 0, 0, 186, 187, 5, 117, 0, 0, 187, 188, 5, 98, 0, 0, 188, 189, + 5, 108, 0, 0, 189, 190, 5, 105, 0, 0, 190, 191, 5, 99, 0, 0, 191, 12, 1, 0, + 0, 0, 192, 193, 5, 116, 0, 0, 193, 194, 5, 101, 0, 0, 194, 195, 5, 109, 0, + 0, 195, 196, 5, 112, 0, 0, 196, 197, 5, 108, 0, 0, 197, 198, 5, 97, 0, 0, + 198, 199, 5, 116, 0, 0, 199, 200, 5, 101, 0, 0, 200, 14, 1, 0, 0, 0, 201, + 202, 5, 99, 0, 0, 202, 203, 5, 111, 0, 0, 203, 204, 5, 109, 0, 0, 204, 205, + 5, 112, 0, 0, 205, 206, 5, 111, 0, 0, 206, 207, 5, 110, 0, 0, 207, 208, 5, + 101, 0, 0, 208, 209, 5, 110, 0, 0, 209, 210, 5, 116, 0, 0, 210, 16, 1, 0, 0, + 0, 211, 212, 5, 118, 0, 0, 212, 213, 5, 97, 0, 0, 213, 214, 5, 114, 0, 0, + 214, 18, 1, 0, 0, 0, 215, 216, 5, 102, 0, 0, 216, 217, 5, 117, 0, 0, 217, + 218, 5, 110, 0, 0, 218, 219, 5, 99, 0, 0, 219, 220, 5, 116, 0, 0, 220, 221, + 5, 105, 0, 0, 221, 222, 5, 111, 0, 0, 222, 223, 5, 110, 0, 0, 223, 20, 1, 0, + 0, 0, 224, 225, 5, 114, 0, 0, 225, 226, 5, 101, 0, 0, 226, 227, 5, 116, 0, + 0, 227, 228, 5, 117, 0, 0, 228, 229, 5, 114, 0, 0, 229, 230, 5, 110, 0, 0, + 230, 22, 1, 0, 0, 0, 231, 232, 5, 105, 0, 0, 232, 233, 5, 102, 0, 0, 233, + 24, 1, 0, 0, 0, 234, 235, 5, 101, 0, 0, 235, 236, 5, 108, 0, 0, 236, 237, 5, + 115, 0, 0, 237, 238, 5, 101, 0, 0, 238, 26, 1, 0, 0, 0, 239, 240, 5, 102, 0, + 0, 240, 241, 5, 111, 0, 0, 241, 242, 5, 114, 0, 0, 242, 28, 1, 0, 0, 0, 243, + 244, 5, 119, 0, 0, 244, 245, 5, 104, 0, 0, 245, 246, 5, 105, 0, 0, 246, 247, + 5, 108, 0, 0, 247, 248, 5, 101, 0, 0, 248, 30, 1, 0, 0, 0, 249, 250, 5, 100, + 0, 0, 250, 251, 5, 111, 0, 0, 251, 32, 1, 0, 0, 0, 252, 253, 5, 108, 0, 0, + 253, 254, 5, 111, 0, 0, 254, 255, 5, 103, 0, 0, 255, 34, 1, 0, 0, 0, 256, + 257, 5, 97, 0, 0, 257, 258, 5, 115, 0, 0, 258, 259, 5, 115, 0, 0, 259, 260, + 5, 101, 0, 0, 260, 261, 5, 114, 0, 0, 261, 262, 5, 116, 0, 0, 262, 36, 1, 0, + 0, 0, 263, 264, 5, 105, 0, 0, 264, 265, 5, 110, 0, 0, 265, 266, 5, 99, 0, 0, + 266, 267, 5, 108, 0, 0, 267, 268, 5, 117, 0, 0, 268, 269, 5, 100, 0, 0, 269, + 270, 5, 101, 0, 0, 270, 38, 1, 0, 0, 0, 271, 272, 5, 99, 0, 0, 272, 273, 5, + 117, 0, 0, 273, 274, 5, 115, 0, 0, 274, 275, 5, 116, 0, 0, 275, 276, 5, 111, + 0, 0, 276, 277, 5, 109, 0, 0, 277, 40, 1, 0, 0, 0, 278, 279, 5, 112, 0, 0, + 279, 280, 5, 114, 0, 0, 280, 281, 5, 97, 0, 0, 281, 282, 5, 103, 0, 0, 282, + 283, 5, 109, 0, 0, 283, 284, 5, 97, 0, 0, 284, 42, 1, 0, 0, 0, 285, 286, 5, + 99, 0, 0, 286, 287, 5, 105, 0, 0, 287, 288, 5, 114, 0, 0, 288, 289, 5, 99, + 0, 0, 289, 290, 5, 111, 0, 0, 290, 291, 5, 109, 0, 0, 291, 44, 1, 0, 0, 0, + 292, 293, 5, 99, 0, 0, 293, 294, 5, 117, 0, 0, 294, 295, 5, 115, 0, 0, 295, + 296, 5, 116, 0, 0, 296, 297, 5, 111, 0, 0, 297, 298, 5, 109, 0, 0, 298, 299, + 5, 95, 0, 0, 299, 300, 5, 116, 0, 0, 300, 301, 5, 101, 0, 0, 301, 302, 5, + 109, 0, 0, 302, 303, 5, 112, 0, 0, 303, 304, 5, 108, 0, 0, 304, 305, 5, 97, + 0, 0, 305, 306, 5, 116, 0, 0, 306, 307, 5, 101, 0, 0, 307, 308, 5, 115, 0, + 0, 308, 46, 1, 0, 0, 0, 309, 310, 5, 109, 0, 0, 310, 311, 5, 97, 0, 0, 311, + 312, 5, 105, 0, 0, 312, 313, 5, 110, 0, 0, 313, 48, 1, 0, 0, 0, 314, 315, 5, + 112, 0, 0, 315, 316, 5, 97, 0, 0, 316, 317, 5, 114, 0, 0, 317, 318, 5, 97, + 0, 0, 318, 319, 5, 108, 0, 0, 319, 320, 5, 108, 0, 0, 320, 321, 5, 101, 0, + 0, 321, 322, 5, 108, 0, 0, 322, 50, 1, 0, 0, 0, 323, 324, 5, 40, 0, 0, 324, + 52, 1, 0, 0, 0, 325, 326, 5, 41, 0, 0, 326, 54, 1, 0, 0, 0, 327, 328, 5, 91, + 0, 0, 328, 56, 1, 0, 0, 0, 329, 330, 5, 93, 0, 0, 330, 58, 1, 0, 0, 0, 331, + 332, 5, 123, 0, 0, 332, 60, 1, 0, 0, 0, 333, 334, 5, 125, 0, 0, 334, 62, 1, + 0, 0, 0, 335, 336, 5, 58, 0, 0, 336, 64, 1, 0, 0, 0, 337, 338, 5, 59, 0, 0, + 338, 66, 1, 0, 0, 0, 339, 340, 5, 46, 0, 0, 340, 68, 1, 0, 0, 0, 341, 342, + 5, 44, 0, 0, 342, 70, 1, 0, 0, 0, 343, 344, 5, 61, 0, 0, 344, 72, 1, 0, 0, + 0, 345, 346, 5, 43, 0, 0, 346, 373, 5, 61, 0, 0, 347, 348, 5, 45, 0, 0, 348, + 373, 5, 61, 0, 0, 349, 350, 5, 42, 0, 0, 350, 373, 5, 61, 0, 0, 351, 352, 5, + 42, 0, 0, 352, 353, 5, 42, 0, 0, 353, 373, 5, 61, 0, 0, 354, 355, 5, 47, 0, + 0, 355, 373, 5, 61, 0, 0, 356, 357, 5, 92, 0, 0, 357, 373, 5, 61, 0, 0, 358, + 359, 5, 37, 0, 0, 359, 373, 5, 61, 0, 0, 360, 361, 5, 60, 0, 0, 361, 362, 5, + 60, 0, 0, 362, 373, 5, 61, 0, 0, 363, 364, 5, 62, 0, 0, 364, 365, 5, 62, 0, + 0, 365, 373, 5, 61, 0, 0, 366, 367, 5, 38, 0, 0, 367, 373, 5, 61, 0, 0, 368, + 369, 5, 94, 0, 0, 369, 373, 5, 61, 0, 0, 370, 371, 5, 124, 0, 0, 371, 373, + 5, 61, 0, 0, 372, 345, 1, 0, 0, 0, 372, 347, 1, 0, 0, 0, 372, 349, 1, 0, 0, + 0, 372, 351, 1, 0, 0, 0, 372, 354, 1, 0, 0, 0, 372, 356, 1, 0, 0, 0, 372, + 358, 1, 0, 0, 0, 372, 360, 1, 0, 0, 0, 372, 363, 1, 0, 0, 0, 372, 366, 1, 0, + 0, 0, 372, 368, 1, 0, 0, 0, 372, 370, 1, 0, 0, 0, 373, 74, 1, 0, 0, 0, 374, + 375, 5, 43, 0, 0, 375, 379, 5, 43, 0, 0, 376, 377, 5, 45, 0, 0, 377, 379, 5, + 45, 0, 0, 378, 374, 1, 0, 0, 0, 378, 376, 1, 0, 0, 0, 379, 76, 1, 0, 0, 0, + 380, 381, 5, 60, 0, 0, 381, 382, 5, 45, 0, 0, 382, 387, 5, 45, 0, 0, 383, + 384, 5, 60, 0, 0, 384, 385, 5, 61, 0, 0, 385, 387, 5, 61, 0, 0, 386, 380, 1, + 0, 0, 0, 386, 383, 1, 0, 0, 0, 387, 78, 1, 0, 0, 0, 388, 389, 5, 45, 0, 0, + 389, 390, 5, 45, 0, 0, 390, 395, 5, 62, 0, 0, 391, 392, 5, 61, 0, 0, 392, + 393, 5, 61, 0, 0, 393, 395, 5, 62, 0, 0, 394, 388, 1, 0, 0, 0, 394, 391, 1, + 0, 0, 0, 395, 80, 1, 0, 0, 0, 396, 397, 5, 61, 0, 0, 397, 398, 5, 61, 0, 0, + 398, 399, 5, 61, 0, 0, 399, 82, 1, 0, 0, 0, 400, 401, 5, 63, 0, 0, 401, 84, + 1, 0, 0, 0, 402, 403, 5, 95, 0, 0, 403, 86, 1, 0, 0, 0, 404, 405, 5, 33, 0, + 0, 405, 88, 1, 0, 0, 0, 406, 407, 5, 126, 0, 0, 407, 90, 1, 0, 0, 0, 408, + 409, 5, 42, 0, 0, 409, 410, 5, 42, 0, 0, 410, 92, 1, 0, 0, 0, 411, 412, 5, + 42, 0, 0, 412, 94, 1, 0, 0, 0, 413, 414, 5, 47, 0, 0, 414, 96, 1, 0, 0, 0, + 415, 416, 5, 92, 0, 0, 416, 98, 1, 0, 0, 0, 417, 418, 5, 37, 0, 0, 418, 100, + 1, 0, 0, 0, 419, 420, 5, 43, 0, 0, 420, 102, 1, 0, 0, 0, 421, 422, 5, 45, 0, + 0, 422, 104, 1, 0, 0, 0, 423, 424, 5, 60, 0, 0, 424, 425, 5, 60, 0, 0, 425, + 106, 1, 0, 0, 0, 426, 427, 5, 62, 0, 0, 427, 428, 5, 62, 0, 0, 428, 108, 1, + 0, 0, 0, 429, 430, 5, 38, 0, 0, 430, 110, 1, 0, 0, 0, 431, 432, 5, 94, 0, 0, + 432, 112, 1, 0, 0, 0, 433, 434, 5, 124, 0, 0, 434, 114, 1, 0, 0, 0, 435, + 436, 5, 61, 0, 0, 436, 437, 5, 61, 0, 0, 437, 116, 1, 0, 0, 0, 438, 439, 5, + 33, 0, 0, 439, 440, 5, 61, 0, 0, 440, 118, 1, 0, 0, 0, 441, 442, 5, 62, 0, + 0, 442, 120, 1, 0, 0, 0, 443, 444, 5, 60, 0, 0, 444, 122, 1, 0, 0, 0, 445, + 446, 5, 62, 0, 0, 446, 447, 5, 61, 0, 0, 447, 124, 1, 0, 0, 0, 448, 449, 5, + 60, 0, 0, 449, 450, 5, 61, 0, 0, 450, 126, 1, 0, 0, 0, 451, 452, 5, 38, 0, + 0, 452, 453, 5, 38, 0, 0, 453, 128, 1, 0, 0, 0, 454, 455, 5, 124, 0, 0, 455, + 456, 5, 124, 0, 0, 456, 130, 1, 0, 0, 0, 457, 459, 3, 135, 67, 0, 458, 457, + 1, 0, 0, 0, 459, 462, 1, 0, 0, 0, 460, 458, 1, 0, 0, 0, 460, 461, 1, 0, 0, + 0, 461, 463, 1, 0, 0, 0, 462, 460, 1, 0, 0, 0, 463, 469, 3, 133, 66, 0, 464, + 468, 3, 133, 66, 0, 465, 468, 3, 139, 69, 0, 466, 468, 3, 135, 67, 0, 467, + 464, 1, 0, 0, 0, 467, 465, 1, 0, 0, 0, 467, 466, 1, 0, 0, 0, 468, 471, 1, 0, + 0, 0, 469, 467, 1, 0, 0, 0, 469, 470, 1, 0, 0, 0, 470, 132, 1, 0, 0, 0, 471, + 469, 1, 0, 0, 0, 472, 473, 7, 0, 0, 0, 473, 134, 1, 0, 0, 0, 474, 475, 7, 1, + 0, 0, 475, 136, 1, 0, 0, 0, 476, 478, 3, 139, 69, 0, 477, 476, 1, 0, 0, 0, + 478, 479, 1, 0, 0, 0, 479, 477, 1, 0, 0, 0, 479, 480, 1, 0, 0, 0, 480, 483, + 1, 0, 0, 0, 481, 483, 3, 141, 70, 0, 482, 477, 1, 0, 0, 0, 482, 481, 1, 0, + 0, 0, 483, 138, 1, 0, 0, 0, 484, 485, 7, 2, 0, 0, 485, 140, 1, 0, 0, 0, 486, + 487, 5, 48, 0, 0, 487, 489, 5, 120, 0, 0, 488, 490, 3, 143, 71, 0, 489, 488, + 1, 0, 0, 0, 490, 491, 1, 0, 0, 0, 491, 489, 1, 0, 0, 0, 491, 492, 1, 0, 0, + 0, 492, 142, 1, 0, 0, 0, 493, 494, 7, 3, 0, 0, 494, 144, 1, 0, 0, 0, 495, + 500, 5, 34, 0, 0, 496, 499, 3, 147, 73, 0, 497, 499, 9, 0, 0, 0, 498, 496, + 1, 0, 0, 0, 498, 497, 1, 0, 0, 0, 499, 502, 1, 0, 0, 0, 500, 501, 1, 0, 0, + 0, 500, 498, 1, 0, 0, 0, 501, 503, 1, 0, 0, 0, 502, 500, 1, 0, 0, 0, 503, + 504, 5, 34, 0, 0, 504, 146, 1, 0, 0, 0, 505, 506, 5, 92, 0, 0, 506, 507, 7, + 4, 0, 0, 507, 148, 1, 0, 0, 0, 508, 509, 5, 47, 0, 0, 509, 510, 5, 42, 0, 0, + 510, 514, 1, 0, 0, 0, 511, 513, 9, 0, 0, 0, 512, 511, 1, 0, 0, 0, 513, 516, + 1, 0, 0, 0, 514, 515, 1, 0, 0, 0, 514, 512, 1, 0, 0, 0, 515, 517, 1, 0, 0, + 0, 516, 514, 1, 0, 0, 0, 517, 518, 5, 42, 0, 0, 518, 519, 5, 47, 0, 0, 519, + 520, 1, 0, 0, 0, 520, 521, 6, 74, 0, 0, 521, 150, 1, 0, 0, 0, 522, 523, 5, + 47, 0, 0, 523, 524, 5, 47, 0, 0, 524, 528, 1, 0, 0, 0, 525, 527, 8, 5, 0, 0, + 526, 525, 1, 0, 0, 0, 527, 530, 1, 0, 0, 0, 528, 526, 1, 0, 0, 0, 528, 529, + 1, 0, 0, 0, 529, 531, 1, 0, 0, 0, 530, 528, 1, 0, 0, 0, 531, 532, 6, 75, 0, + 0, 532, 152, 1, 0, 0, 0, 533, 535, 7, 6, 0, 0, 534, 533, 1, 0, 0, 0, 535, + 536, 1, 0, 0, 0, 536, 534, 1, 0, 0, 0, 536, 537, 1, 0, 0, 0, 537, 538, 1, 0, + 0, 0, 538, 539, 6, 76, 0, 0, 539, 154, 1, 0, 0, 0, 17, 0, 163, 372, 378, + 386, 394, 460, 467, 469, 479, 482, 491, 498, 500, 514, 528, 536, 1, 0, 1, 0, ]; private static __ATN: ATN; diff --git a/src/generated/CircomParser.ts b/src/generated/CircomParser.ts index d2429ac..15411da 100644 --- a/src/generated/CircomParser.ts +++ b/src/generated/CircomParser.ts @@ -31,49 +31,49 @@ import CircomVisitor from "./CircomVisitor.js"; type int = number; export default class CircomParser extends Parser { - public static readonly T__0 = 1; - public static readonly T__1 = 2; - public static readonly T__2 = 3; - public static readonly T__3 = 4; - public static readonly VERSION = 5; - public static readonly SIGNAL_TYPE = 6; - public static readonly SIGNAL = 7; - public static readonly INPUT = 8; - public static readonly OUTPUT = 9; - public static readonly PUBLIC = 10; - public static readonly TEMPLATE = 11; - public static readonly COMPONENT = 12; - public static readonly VAR = 13; - public static readonly FUNCTION = 14; - public static readonly RETURN = 15; - public static readonly IF = 16; - public static readonly ELSE = 17; - public static readonly FOR = 18; - public static readonly WHILE = 19; - public static readonly DO = 20; - public static readonly LOG = 21; - public static readonly ASSERT = 22; - public static readonly INCLUDE = 23; - public static readonly CUSTOM = 24; - public static readonly PRAGMA = 25; - public static readonly CIRCOM = 26; - public static readonly CUSTOM_TEMPLATES = 27; - public static readonly MAIN = 28; - public static readonly PARALLEL = 29; - public static readonly LP = 30; - public static readonly RP = 31; - public static readonly LB = 32; - public static readonly RB = 33; - public static readonly LC = 34; - public static readonly RC = 35; - public static readonly SEMICOLON = 36; - public static readonly COMMA = 37; - public static readonly ASSIGNMENT = 38; - public static readonly ASSIGNMENT_OP = 39; - public static readonly SELF_OP = 40; - public static readonly LEFT_ASSIGNMENT = 41; - public static readonly RIGHT_ASSIGNMENT = 42; - public static readonly CONSTRAINT_EQ = 43; + public static readonly VERSION = 1; + public static readonly SIGNAL_TYPE = 2; + public static readonly SIGNAL = 3; + public static readonly INPUT = 4; + public static readonly OUTPUT = 5; + public static readonly PUBLIC = 6; + public static readonly TEMPLATE = 7; + public static readonly COMPONENT = 8; + public static readonly VAR = 9; + public static readonly FUNCTION = 10; + public static readonly RETURN = 11; + public static readonly IF = 12; + public static readonly ELSE = 13; + public static readonly FOR = 14; + public static readonly WHILE = 15; + public static readonly DO = 16; + public static readonly LOG = 17; + public static readonly ASSERT = 18; + public static readonly INCLUDE = 19; + public static readonly CUSTOM = 20; + public static readonly PRAGMA = 21; + public static readonly CIRCOM = 22; + public static readonly CUSTOM_TEMPLATES = 23; + public static readonly MAIN = 24; + public static readonly PARALLEL = 25; + public static readonly LP = 26; + public static readonly RP = 27; + public static readonly LB = 28; + public static readonly RB = 29; + public static readonly LC = 30; + public static readonly RC = 31; + public static readonly COLON = 32; + public static readonly SEMICOLON = 33; + public static readonly DOT = 34; + public static readonly COMMA = 35; + public static readonly ASSIGNMENT = 36; + public static readonly ASSIGNMENT_OP = 37; + public static readonly SELF_OP = 38; + public static readonly LEFT_ASSIGNMENT = 39; + public static readonly RIGHT_ASSIGNMENT = 40; + public static readonly CONSTRAINT_EQ = 41; + public static readonly QUESTION_MARK = 42; + public static readonly UNDERSCORE = 43; public static readonly NOT = 44; public static readonly BNOT = 45; public static readonly POW = 46; @@ -141,10 +141,6 @@ export default class CircomParser extends Parser { public static readonly RULE_numSequence = 34; public static readonly literalNames: (string | null)[] = [ null, - "'.'", - "'_'", - "'?'", - "':'", null, null, "'signal'", @@ -176,7 +172,9 @@ export default class CircomParser extends Parser { "']'", "'{'", "'}'", + "':'", "';'", + "'.'", "','", "'='", null, @@ -184,6 +182,8 @@ export default class CircomParser extends Parser { null, null, "'==='", + "'?'", + "'_'", "'!'", "'~'", "'**'", @@ -208,10 +208,6 @@ export default class CircomParser extends Parser { "'||'", ]; public static readonly symbolicNames: (string | null)[] = [ - null, - null, - null, - null, null, "VERSION", "SIGNAL_TYPE", @@ -244,7 +240,9 @@ export default class CircomParser extends Parser { "RB", "LC", "RC", + "COLON", "SEMICOLON", + "DOT", "COMMA", "ASSIGNMENT", "ASSIGNMENT_OP", @@ -252,6 +250,8 @@ export default class CircomParser extends Parser { "LEFT_ASSIGNMENT", "RIGHT_ASSIGNMENT", "CONSTRAINT_EQ", + "QUESTION_MARK", + "UNDERSCORE", "NOT", "BNOT", "POW", @@ -367,7 +367,7 @@ export default class CircomParser extends Parser { this.state = 73; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 25) { + while (_la === 21) { { { this.state = 70; @@ -381,7 +381,7 @@ export default class CircomParser extends Parser { this.state = 79; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 23) { + while (_la === 19) { { { this.state = 76; @@ -395,7 +395,7 @@ export default class CircomParser extends Parser { this.state = 85; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 11 || _la === 14) { + while (_la === 7 || _la === 10) { { { this.state = 82; @@ -409,7 +409,7 @@ export default class CircomParser extends Parser { this.state = 89; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 12) { + if (_la === 8) { { this.state = 88; this.componentMainDeclaration(); @@ -525,14 +525,14 @@ export default class CircomParser extends Parser { this.state = 108; this._errHandler.sync(this); switch (this._input.LA(1)) { - case 14: + case 10: this.enterOuterAlt(localctx, 1); { this.state = 106; this.functionDeclaration(); } break; - case 11: + case 7: this.enterOuterAlt(localctx, 2); { this.state = 107; @@ -619,7 +619,7 @@ export default class CircomParser extends Parser { this._errHandler.sync(this); _la = this._input.LA(1); while ( - (((_la - 13) & ~0x1f) === 0 && ((1 << (_la - 13)) & 2229101) !== 0) || + ((_la & ~0x1f) === 0 && ((1 << _la) & 1141299712) !== 0) || _la === 66 ) { { @@ -699,7 +699,7 @@ export default class CircomParser extends Parser { this.identifier(); this.state = 136; _la = this._input.LA(1); - if (!(_la === 38 || _la === 39)) { + if (!(_la === 36 || _la === 37)) { this._errHandler.recoverInline(this); } else { this._errHandler.reportMatch(this); @@ -846,7 +846,7 @@ export default class CircomParser extends Parser { this.state = 179; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 24) { + if (_la === 20) { { this.state = 178; this.match(CircomParser.CUSTOM); @@ -856,7 +856,7 @@ export default class CircomParser extends Parser { this.state = 182; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 29) { + if (_la === 25) { { this.state = 181; this.match(CircomParser.PARALLEL); @@ -913,10 +913,8 @@ export default class CircomParser extends Parser { this._errHandler.sync(this); _la = this._input.LA(1); while ( - ((_la & ~0x1f) === 0 && ((1 << _la) & 1617768580) !== 0) || - (((_la - 32) & ~0x1f) === 0 && ((1 << (_la - 32)) & 1060869) !== 0) || - _la === 66 || - _la === 67 + ((_la & ~0x1f) === 0 && ((1 << _la) & 1443287816) !== 0) || + (((_la - 43) & ~0x1f) === 0 && ((1 << (_la - 43)) & 25166343) !== 0) ) { { { @@ -960,7 +958,7 @@ export default class CircomParser extends Parser { this.state = 204; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 34) { + if (_la === 30) { { this.state = 203; this.publicInputsList(); @@ -977,9 +975,8 @@ export default class CircomParser extends Parser { this._errHandler.sync(this); _la = this._input.LA(1); if ( - (((_la - 29) & ~0x1f) === 0 && ((1 << (_la - 29)) & 8486923) !== 0) || - _la === 66 || - _la === 67 + ((_la & ~0x1f) === 0 && ((1 << _la) & 369098752) !== 0) || + (((_la - 44) & ~0x1f) === 0 && ((1 << (_la - 44)) & 12583171) !== 0) ) { { this.state = 209; @@ -1118,10 +1115,10 @@ export default class CircomParser extends Parser { this.state = 241; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 1) { + if (_la === 34) { { this.state = 239; - this.match(CircomParser.T__0); + this.match(CircomParser.DOT); this.state = 240; this.match(CircomParser.ID); } @@ -1166,7 +1163,7 @@ export default class CircomParser extends Parser { this.state = 253; this.identifier(); this.state = 254; - this.match(CircomParser.T__0); + this.match(CircomParser.DOT); this.state = 255; this.identifier(); } @@ -1175,7 +1172,7 @@ export default class CircomParser extends Parser { } this.state = 259; _la = this._input.LA(1); - if (!(_la === 39 || _la === 41)) { + if (!(_la === 37 || _la === 39)) { this._errHandler.recoverInline(this); } else { this._errHandler.reportMatch(this); @@ -1200,10 +1197,10 @@ export default class CircomParser extends Parser { this.state = 268; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 1) { + if (_la === 34) { { this.state = 266; - this.match(CircomParser.T__0); + this.match(CircomParser.DOT); this.state = 267; this.identifier(); } @@ -1217,10 +1214,10 @@ export default class CircomParser extends Parser { this.enterOuterAlt(localctx, 11); { this.state = 272; - this.match(CircomParser.T__1); + this.match(CircomParser.UNDERSCORE); this.state = 273; _la = this._input.LA(1); - if (!(_la === 38 || _la === 41)) { + if (!(_la === 36 || _la === 39)) { this._errHandler.recoverInline(this); } else { this._errHandler.reportMatch(this); @@ -1268,7 +1265,7 @@ export default class CircomParser extends Parser { this.state = 284; this.match(CircomParser.RIGHT_ASSIGNMENT); this.state = 285; - this.match(CircomParser.T__1); + this.match(CircomParser.UNDERSCORE); this.state = 286; this.match(CircomParser.SEMICOLON); } @@ -1284,7 +1281,7 @@ export default class CircomParser extends Parser { this.match(CircomParser.RP); this.state = 291; _la = this._input.LA(1); - if (!(_la === 38 || _la === 41)) { + if (!(_la === 36 || _la === 39)) { this._errHandler.recoverInline(this); } else { this._errHandler.reportMatch(this); @@ -1460,7 +1457,7 @@ export default class CircomParser extends Parser { this.state = 338; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 13) { + if (_la === 9) { { this.state = 337; this.match(CircomParser.VAR); @@ -1472,7 +1469,7 @@ export default class CircomParser extends Parser { this.state = 343; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 38) { + if (_la === 36) { { this.state = 341; this.match(CircomParser.ASSIGNMENT); @@ -1515,19 +1512,19 @@ export default class CircomParser extends Parser { this.state = 349; this._errHandler.sync(this); switch (this._input.LA(1)) { - case 40: + case 38: { this.state = 346; this.match(CircomParser.SELF_OP); } break; - case 38: - case 39: + case 36: + case 37: { { this.state = 347; _la = this._input.LA(1); - if (!(_la === 38 || _la === 39)) { + if (!(_la === 36 || _la === 37)) { this._errHandler.recoverInline(this); } else { this._errHandler.reportMatch(this); @@ -1543,7 +1540,7 @@ export default class CircomParser extends Parser { } } break; - case 40: + case 38: this.enterOuterAlt(localctx, 2); { this.state = 351; @@ -1879,11 +1876,11 @@ export default class CircomParser extends Parser { ); } this.state = 382; - this.match(CircomParser.T__2); + this.match(CircomParser.QUESTION_MARK); this.state = 383; this.expression(0); this.state = 384; - this.match(CircomParser.T__3); + this.match(CircomParser.COLON); this.state = 385; this.expression(2); } @@ -1906,7 +1903,7 @@ export default class CircomParser extends Parser { ); } this.state = 388; - this.match(CircomParser.T__0); + this.match(CircomParser.DOT); this.state = 389; this.match(CircomParser.ID); this.state = 394; @@ -2048,9 +2045,9 @@ export default class CircomParser extends Parser { this.match(CircomParser.STRING); } break; - case 29: - case 30: - case 32: + case 25: + case 26: + case 28: case 44: case 45: case 52: @@ -2061,7 +2058,7 @@ export default class CircomParser extends Parser { this.expression(0); } break; - case 31: + case 27: break; default: break; @@ -2128,7 +2125,7 @@ export default class CircomParser extends Parser { this.state = 430; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 32) { + while (_la === 28) { { { this.state = 427; @@ -2142,7 +2139,7 @@ export default class CircomParser extends Parser { this.state = 435; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 38) { + if (_la === 36) { { this.state = 433; this.match(CircomParser.ASSIGNMENT); @@ -2181,7 +2178,7 @@ export default class CircomParser extends Parser { this.state = 439; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 6) { + if (_la === 2) { { this.state = 438; this.match(CircomParser.SIGNAL_TYPE); @@ -2191,7 +2188,7 @@ export default class CircomParser extends Parser { this.state = 442; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 34) { + if (_la === 30) { { this.state = 441; this.tagList(); @@ -2266,7 +2263,7 @@ export default class CircomParser extends Parser { this.state = 453; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 41) { + if (_la === 39) { { this.state = 451; this.match(CircomParser.LEFT_ASSIGNMENT); @@ -2284,7 +2281,7 @@ export default class CircomParser extends Parser { this.state = 460; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 37) { + while (_la === 35) { { { this.state = 456; @@ -2347,7 +2344,7 @@ export default class CircomParser extends Parser { this.state = 474; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 37) { + while (_la === 35) { { { this.state = 470; @@ -2399,7 +2396,7 @@ export default class CircomParser extends Parser { this.state = 484; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 38) { + if (_la === 36) { { this.state = 482; this.match(CircomParser.ASSIGNMENT); @@ -2417,7 +2414,7 @@ export default class CircomParser extends Parser { this.state = 491; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 37) { + while (_la === 35) { { { this.state = 487; @@ -2508,10 +2505,9 @@ export default class CircomParser extends Parser { this._errHandler.sync(this); _la = this._input.LA(1); if ( - (((_la - 29) & ~0x1f) === 0 && - ((1 << (_la - 29)) & 8486923) !== 0) || - _la === 66 || - _la === 67 + ((_la & ~0x1f) === 0 && ((1 << _la) & 369098752) !== 0) || + (((_la - 44) & ~0x1f) === 0 && + ((1 << (_la - 44)) & 12583171) !== 0) ) { { this.state = 501; @@ -2537,7 +2533,7 @@ export default class CircomParser extends Parser { this.state = 515; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 37) { + while (_la === 35) { { { this.state = 509; @@ -2572,7 +2568,7 @@ export default class CircomParser extends Parser { this.state = 531; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 37) { + while (_la === 35) { { { this.state = 524; @@ -2622,7 +2618,7 @@ export default class CircomParser extends Parser { this.state = 539; this._errHandler.sync(this); _la = this._input.LA(1); - if (_la === 29) { + if (_la === 25) { { this.state = 538; this.match(CircomParser.PARALLEL); @@ -2637,9 +2633,8 @@ export default class CircomParser extends Parser { this._errHandler.sync(this); _la = this._input.LA(1); if ( - (((_la - 29) & ~0x1f) === 0 && ((1 << (_la - 29)) & 8486923) !== 0) || - _la === 66 || - _la === 67 + ((_la & ~0x1f) === 0 && ((1 << _la) & 369098752) !== 0) || + (((_la - 44) & ~0x1f) === 0 && ((1 << (_la - 44)) & 12583171) !== 0) ) { { this.state = 543; @@ -2690,7 +2685,7 @@ export default class CircomParser extends Parser { this.state = 555; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 37) { + while (_la === 35) { { { this.state = 551; @@ -2848,7 +2843,7 @@ export default class CircomParser extends Parser { { this.state = 577; _la = this._input.LA(1); - if (!(_la === 2 || _la === 66)) { + if (!(_la === 43 || _la === 66)) { this._errHandler.recoverInline(this); } else { this._errHandler.reportMatch(this); @@ -2857,14 +2852,14 @@ export default class CircomParser extends Parser { this.state = 582; this._errHandler.sync(this); _la = this._input.LA(1); - while (_la === 37) { + while (_la === 35) { { { this.state = 578; this.match(CircomParser.COMMA); this.state = 579; _la = this._input.LA(1); - if (!(_la === 2 || _la === 66)) { + if (!(_la === 43 || _la === 66)) { this._errHandler.recoverInline(this); } else { this._errHandler.reportMatch(this); @@ -3035,9 +3030,9 @@ export default class CircomParser extends Parser { 9, 33, 1, 34, 1, 34, 1, 34, 5, 34, 589, 8, 34, 10, 34, 12, 34, 592, 9, 34, 1, 34, 0, 1, 32, 35, 0, 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, 0, 10, 1, 0, 38, 39, 2, 0, 39, 39, 41, 41, 2, 0, 38, 38, 41, 41, 2, 0, + 68, 0, 10, 1, 0, 36, 37, 2, 0, 37, 37, 39, 39, 2, 0, 36, 36, 39, 39, 2, 0, 44, 45, 52, 52, 1, 0, 46, 50, 1, 0, 51, 52, 1, 0, 53, 54, 1, 0, 55, 57, 1, - 0, 58, 65, 2, 0, 2, 2, 66, 66, 655, 0, 73, 1, 0, 0, 0, 2, 100, 1, 0, 0, 0, + 0, 58, 65, 2, 0, 43, 43, 66, 66, 655, 0, 73, 1, 0, 0, 0, 2, 100, 1, 0, 0, 0, 4, 102, 1, 0, 0, 0, 6, 108, 1, 0, 0, 0, 8, 110, 1, 0, 0, 0, 10, 119, 1, 0, 0, 0, 12, 175, 1, 0, 0, 0, 14, 177, 1, 0, 0, 0, 16, 192, 1, 0, 0, 0, 18, 201, 1, 0, 0, 0, 20, 215, 1, 0, 0, 0, 22, 329, 1, 0, 0, 0, 24, 331, 1, 0, 0, @@ -3054,188 +3049,188 @@ export default class CircomParser extends Parser { 3, 0, 83, 82, 1, 0, 0, 0, 84, 87, 1, 0, 0, 0, 85, 83, 1, 0, 0, 0, 85, 86, 1, 0, 0, 0, 86, 89, 1, 0, 0, 0, 87, 85, 1, 0, 0, 0, 88, 90, 3, 18, 9, 0, 89, 88, 1, 0, 0, 0, 89, 90, 1, 0, 0, 0, 90, 91, 1, 0, 0, 0, 91, 92, 5, 0, 0, 1, - 92, 1, 1, 0, 0, 0, 93, 94, 5, 25, 0, 0, 94, 95, 5, 26, 0, 0, 95, 96, 5, 5, - 0, 0, 96, 101, 5, 36, 0, 0, 97, 98, 5, 25, 0, 0, 98, 99, 5, 27, 0, 0, 99, - 101, 5, 36, 0, 0, 100, 93, 1, 0, 0, 0, 100, 97, 1, 0, 0, 0, 101, 3, 1, 0, 0, - 0, 102, 103, 5, 23, 0, 0, 103, 104, 5, 69, 0, 0, 104, 105, 5, 36, 0, 0, 105, + 92, 1, 1, 0, 0, 0, 93, 94, 5, 21, 0, 0, 94, 95, 5, 22, 0, 0, 95, 96, 5, 1, + 0, 0, 96, 101, 5, 33, 0, 0, 97, 98, 5, 21, 0, 0, 98, 99, 5, 23, 0, 0, 99, + 101, 5, 33, 0, 0, 100, 93, 1, 0, 0, 0, 100, 97, 1, 0, 0, 0, 101, 3, 1, 0, 0, + 0, 102, 103, 5, 19, 0, 0, 103, 104, 5, 69, 0, 0, 104, 105, 5, 33, 0, 0, 105, 5, 1, 0, 0, 0, 106, 109, 3, 8, 4, 0, 107, 109, 3, 14, 7, 0, 108, 106, 1, 0, - 0, 0, 108, 107, 1, 0, 0, 0, 109, 7, 1, 0, 0, 0, 110, 111, 5, 14, 0, 0, 111, - 112, 5, 66, 0, 0, 112, 114, 5, 30, 0, 0, 113, 115, 3, 64, 32, 0, 114, 113, - 1, 0, 0, 0, 114, 115, 1, 0, 0, 0, 115, 116, 1, 0, 0, 0, 116, 117, 5, 31, 0, - 0, 117, 118, 3, 10, 5, 0, 118, 9, 1, 0, 0, 0, 119, 123, 5, 34, 0, 0, 120, + 0, 0, 108, 107, 1, 0, 0, 0, 109, 7, 1, 0, 0, 0, 110, 111, 5, 10, 0, 0, 111, + 112, 5, 66, 0, 0, 112, 114, 5, 26, 0, 0, 113, 115, 3, 64, 32, 0, 114, 113, + 1, 0, 0, 0, 114, 115, 1, 0, 0, 0, 115, 116, 1, 0, 0, 0, 116, 117, 5, 27, 0, + 0, 117, 118, 3, 10, 5, 0, 118, 9, 1, 0, 0, 0, 119, 123, 5, 30, 0, 0, 120, 122, 3, 12, 6, 0, 121, 120, 1, 0, 0, 0, 122, 125, 1, 0, 0, 0, 123, 121, 1, 0, 0, 0, 123, 124, 1, 0, 0, 0, 124, 126, 1, 0, 0, 0, 125, 123, 1, 0, 0, 0, - 126, 127, 5, 35, 0, 0, 127, 11, 1, 0, 0, 0, 128, 176, 3, 10, 5, 0, 129, 130, - 5, 66, 0, 0, 130, 131, 5, 40, 0, 0, 131, 176, 5, 36, 0, 0, 132, 133, 3, 50, - 25, 0, 133, 134, 5, 36, 0, 0, 134, 176, 1, 0, 0, 0, 135, 136, 3, 60, 30, 0, - 136, 137, 7, 0, 0, 0, 137, 138, 3, 32, 16, 0, 138, 139, 5, 36, 0, 0, 139, - 176, 1, 0, 0, 0, 140, 141, 5, 30, 0, 0, 141, 142, 3, 66, 33, 0, 142, 143, 5, - 31, 0, 0, 143, 144, 5, 38, 0, 0, 144, 145, 3, 32, 16, 0, 145, 146, 5, 36, 0, - 0, 146, 176, 1, 0, 0, 0, 147, 148, 5, 16, 0, 0, 148, 149, 3, 30, 15, 0, 149, - 152, 3, 12, 6, 0, 150, 151, 5, 17, 0, 0, 151, 153, 3, 12, 6, 0, 152, 150, 1, - 0, 0, 0, 152, 153, 1, 0, 0, 0, 153, 176, 1, 0, 0, 0, 154, 155, 5, 19, 0, 0, + 126, 127, 5, 31, 0, 0, 127, 11, 1, 0, 0, 0, 128, 176, 3, 10, 5, 0, 129, 130, + 5, 66, 0, 0, 130, 131, 5, 38, 0, 0, 131, 176, 5, 33, 0, 0, 132, 133, 3, 50, + 25, 0, 133, 134, 5, 33, 0, 0, 134, 176, 1, 0, 0, 0, 135, 136, 3, 60, 30, 0, + 136, 137, 7, 0, 0, 0, 137, 138, 3, 32, 16, 0, 138, 139, 5, 33, 0, 0, 139, + 176, 1, 0, 0, 0, 140, 141, 5, 26, 0, 0, 141, 142, 3, 66, 33, 0, 142, 143, 5, + 27, 0, 0, 143, 144, 5, 36, 0, 0, 144, 145, 3, 32, 16, 0, 145, 146, 5, 33, 0, + 0, 146, 176, 1, 0, 0, 0, 147, 148, 5, 12, 0, 0, 148, 149, 3, 30, 15, 0, 149, + 152, 3, 12, 6, 0, 150, 151, 5, 13, 0, 0, 151, 153, 3, 12, 6, 0, 152, 150, 1, + 0, 0, 0, 152, 153, 1, 0, 0, 0, 153, 176, 1, 0, 0, 0, 154, 155, 5, 15, 0, 0, 155, 156, 3, 30, 15, 0, 156, 157, 3, 12, 6, 0, 157, 176, 1, 0, 0, 0, 158, - 159, 5, 18, 0, 0, 159, 160, 5, 30, 0, 0, 160, 161, 3, 24, 12, 0, 161, 162, - 5, 31, 0, 0, 162, 163, 3, 12, 6, 0, 163, 176, 1, 0, 0, 0, 164, 165, 5, 15, - 0, 0, 165, 166, 3, 32, 16, 0, 166, 167, 5, 36, 0, 0, 167, 176, 1, 0, 0, 0, - 168, 169, 5, 22, 0, 0, 169, 170, 3, 30, 15, 0, 170, 171, 5, 36, 0, 0, 171, - 176, 1, 0, 0, 0, 172, 173, 3, 36, 18, 0, 173, 174, 5, 36, 0, 0, 174, 176, 1, + 159, 5, 14, 0, 0, 159, 160, 5, 26, 0, 0, 160, 161, 3, 24, 12, 0, 161, 162, + 5, 27, 0, 0, 162, 163, 3, 12, 6, 0, 163, 176, 1, 0, 0, 0, 164, 165, 5, 11, + 0, 0, 165, 166, 3, 32, 16, 0, 166, 167, 5, 33, 0, 0, 167, 176, 1, 0, 0, 0, + 168, 169, 5, 18, 0, 0, 169, 170, 3, 30, 15, 0, 170, 171, 5, 33, 0, 0, 171, + 176, 1, 0, 0, 0, 172, 173, 3, 36, 18, 0, 173, 174, 5, 33, 0, 0, 174, 176, 1, 0, 0, 0, 175, 128, 1, 0, 0, 0, 175, 129, 1, 0, 0, 0, 175, 132, 1, 0, 0, 0, 175, 135, 1, 0, 0, 0, 175, 140, 1, 0, 0, 0, 175, 147, 1, 0, 0, 0, 175, 154, 1, 0, 0, 0, 175, 158, 1, 0, 0, 0, 175, 164, 1, 0, 0, 0, 175, 168, 1, 0, 0, - 0, 175, 172, 1, 0, 0, 0, 176, 13, 1, 0, 0, 0, 177, 179, 5, 11, 0, 0, 178, - 180, 5, 24, 0, 0, 179, 178, 1, 0, 0, 0, 179, 180, 1, 0, 0, 0, 180, 182, 1, - 0, 0, 0, 181, 183, 5, 29, 0, 0, 182, 181, 1, 0, 0, 0, 182, 183, 1, 0, 0, 0, - 183, 184, 1, 0, 0, 0, 184, 185, 5, 66, 0, 0, 185, 187, 5, 30, 0, 0, 186, + 0, 175, 172, 1, 0, 0, 0, 176, 13, 1, 0, 0, 0, 177, 179, 5, 7, 0, 0, 178, + 180, 5, 20, 0, 0, 179, 178, 1, 0, 0, 0, 179, 180, 1, 0, 0, 0, 180, 182, 1, + 0, 0, 0, 181, 183, 5, 25, 0, 0, 182, 181, 1, 0, 0, 0, 182, 183, 1, 0, 0, 0, + 183, 184, 1, 0, 0, 0, 184, 185, 5, 66, 0, 0, 185, 187, 5, 26, 0, 0, 186, 188, 3, 64, 32, 0, 187, 186, 1, 0, 0, 0, 187, 188, 1, 0, 0, 0, 188, 189, 1, - 0, 0, 0, 189, 190, 5, 31, 0, 0, 190, 191, 3, 16, 8, 0, 191, 15, 1, 0, 0, 0, - 192, 196, 5, 34, 0, 0, 193, 195, 3, 22, 11, 0, 194, 193, 1, 0, 0, 0, 195, + 0, 0, 0, 189, 190, 5, 27, 0, 0, 190, 191, 3, 16, 8, 0, 191, 15, 1, 0, 0, 0, + 192, 196, 5, 30, 0, 0, 193, 195, 3, 22, 11, 0, 194, 193, 1, 0, 0, 0, 195, 198, 1, 0, 0, 0, 196, 194, 1, 0, 0, 0, 196, 197, 1, 0, 0, 0, 197, 199, 1, 0, - 0, 0, 198, 196, 1, 0, 0, 0, 199, 200, 5, 35, 0, 0, 200, 17, 1, 0, 0, 0, 201, - 202, 5, 12, 0, 0, 202, 204, 5, 28, 0, 0, 203, 205, 3, 20, 10, 0, 204, 203, - 1, 0, 0, 0, 204, 205, 1, 0, 0, 0, 205, 206, 1, 0, 0, 0, 206, 207, 5, 38, 0, - 0, 207, 208, 5, 66, 0, 0, 208, 210, 5, 30, 0, 0, 209, 211, 3, 58, 29, 0, - 210, 209, 1, 0, 0, 0, 210, 211, 1, 0, 0, 0, 211, 212, 1, 0, 0, 0, 212, 213, - 5, 31, 0, 0, 213, 214, 5, 36, 0, 0, 214, 19, 1, 0, 0, 0, 215, 216, 5, 34, 0, - 0, 216, 217, 5, 10, 0, 0, 217, 218, 5, 32, 0, 0, 218, 219, 3, 64, 32, 0, - 219, 220, 5, 33, 0, 0, 220, 221, 5, 35, 0, 0, 221, 21, 1, 0, 0, 0, 222, 330, - 3, 16, 8, 0, 223, 224, 5, 66, 0, 0, 224, 225, 5, 40, 0, 0, 225, 330, 5, 36, - 0, 0, 226, 227, 3, 50, 25, 0, 227, 228, 5, 36, 0, 0, 228, 330, 1, 0, 0, 0, - 229, 230, 3, 46, 23, 0, 230, 231, 5, 36, 0, 0, 231, 330, 1, 0, 0, 0, 232, - 233, 3, 40, 20, 0, 233, 234, 5, 36, 0, 0, 234, 330, 1, 0, 0, 0, 235, 236, 3, - 56, 28, 0, 236, 237, 5, 36, 0, 0, 237, 330, 1, 0, 0, 0, 238, 241, 3, 60, 30, - 0, 239, 240, 5, 1, 0, 0, 240, 242, 5, 66, 0, 0, 241, 239, 1, 0, 0, 0, 241, - 242, 1, 0, 0, 0, 242, 243, 1, 0, 0, 0, 243, 244, 5, 38, 0, 0, 244, 245, 3, - 32, 16, 0, 245, 246, 5, 36, 0, 0, 246, 330, 1, 0, 0, 0, 247, 248, 3, 32, 16, - 0, 248, 249, 5, 43, 0, 0, 249, 250, 3, 32, 16, 0, 250, 251, 5, 36, 0, 0, - 251, 330, 1, 0, 0, 0, 252, 258, 3, 34, 17, 0, 253, 254, 3, 60, 30, 0, 254, - 255, 5, 1, 0, 0, 255, 256, 3, 60, 30, 0, 256, 258, 1, 0, 0, 0, 257, 252, 1, - 0, 0, 0, 257, 253, 1, 0, 0, 0, 258, 259, 1, 0, 0, 0, 259, 260, 7, 1, 0, 0, - 260, 261, 3, 32, 16, 0, 261, 262, 5, 36, 0, 0, 262, 330, 1, 0, 0, 0, 263, - 264, 3, 32, 16, 0, 264, 265, 5, 42, 0, 0, 265, 268, 3, 60, 30, 0, 266, 267, - 5, 1, 0, 0, 267, 269, 3, 60, 30, 0, 268, 266, 1, 0, 0, 0, 268, 269, 1, 0, 0, - 0, 269, 270, 1, 0, 0, 0, 270, 271, 5, 36, 0, 0, 271, 330, 1, 0, 0, 0, 272, - 273, 5, 2, 0, 0, 273, 276, 7, 2, 0, 0, 274, 277, 3, 32, 16, 0, 275, 277, 3, - 56, 28, 0, 276, 274, 1, 0, 0, 0, 276, 275, 1, 0, 0, 0, 277, 278, 1, 0, 0, 0, - 278, 279, 5, 36, 0, 0, 279, 330, 1, 0, 0, 0, 280, 283, 3, 32, 16, 0, 281, - 283, 3, 56, 28, 0, 282, 280, 1, 0, 0, 0, 282, 281, 1, 0, 0, 0, 283, 284, 1, - 0, 0, 0, 284, 285, 5, 42, 0, 0, 285, 286, 5, 2, 0, 0, 286, 287, 5, 36, 0, 0, - 287, 330, 1, 0, 0, 0, 288, 289, 5, 30, 0, 0, 289, 290, 3, 66, 33, 0, 290, - 291, 5, 31, 0, 0, 291, 294, 7, 2, 0, 0, 292, 295, 3, 56, 28, 0, 293, 295, 3, - 32, 16, 0, 294, 292, 1, 0, 0, 0, 294, 293, 1, 0, 0, 0, 295, 296, 1, 0, 0, 0, - 296, 297, 5, 36, 0, 0, 297, 330, 1, 0, 0, 0, 298, 299, 3, 56, 28, 0, 299, - 300, 5, 42, 0, 0, 300, 301, 5, 30, 0, 0, 301, 302, 3, 66, 33, 0, 302, 303, - 5, 31, 0, 0, 303, 304, 5, 36, 0, 0, 304, 330, 1, 0, 0, 0, 305, 306, 5, 16, - 0, 0, 306, 307, 3, 30, 15, 0, 307, 310, 3, 22, 11, 0, 308, 309, 5, 17, 0, 0, - 309, 311, 3, 22, 11, 0, 310, 308, 1, 0, 0, 0, 310, 311, 1, 0, 0, 0, 311, - 330, 1, 0, 0, 0, 312, 313, 5, 19, 0, 0, 313, 314, 3, 30, 15, 0, 314, 315, 3, - 22, 11, 0, 315, 330, 1, 0, 0, 0, 316, 317, 5, 18, 0, 0, 317, 318, 5, 30, 0, - 0, 318, 319, 3, 24, 12, 0, 319, 320, 5, 31, 0, 0, 320, 321, 3, 22, 11, 0, - 321, 330, 1, 0, 0, 0, 322, 323, 5, 22, 0, 0, 323, 324, 3, 30, 15, 0, 324, - 325, 5, 36, 0, 0, 325, 330, 1, 0, 0, 0, 326, 327, 3, 36, 18, 0, 327, 328, 5, - 36, 0, 0, 328, 330, 1, 0, 0, 0, 329, 222, 1, 0, 0, 0, 329, 223, 1, 0, 0, 0, - 329, 226, 1, 0, 0, 0, 329, 229, 1, 0, 0, 0, 329, 232, 1, 0, 0, 0, 329, 235, - 1, 0, 0, 0, 329, 238, 1, 0, 0, 0, 329, 247, 1, 0, 0, 0, 329, 257, 1, 0, 0, - 0, 329, 263, 1, 0, 0, 0, 329, 272, 1, 0, 0, 0, 329, 282, 1, 0, 0, 0, 329, - 288, 1, 0, 0, 0, 329, 298, 1, 0, 0, 0, 329, 305, 1, 0, 0, 0, 329, 312, 1, 0, - 0, 0, 329, 316, 1, 0, 0, 0, 329, 322, 1, 0, 0, 0, 329, 326, 1, 0, 0, 0, 330, - 23, 1, 0, 0, 0, 331, 332, 3, 26, 13, 0, 332, 333, 5, 36, 0, 0, 333, 334, 3, - 32, 16, 0, 334, 335, 5, 36, 0, 0, 335, 336, 3, 28, 14, 0, 336, 25, 1, 0, 0, - 0, 337, 339, 5, 13, 0, 0, 338, 337, 1, 0, 0, 0, 338, 339, 1, 0, 0, 0, 339, - 340, 1, 0, 0, 0, 340, 343, 3, 60, 30, 0, 341, 342, 5, 38, 0, 0, 342, 344, 3, - 52, 26, 0, 343, 341, 1, 0, 0, 0, 343, 344, 1, 0, 0, 0, 344, 27, 1, 0, 0, 0, - 345, 349, 5, 66, 0, 0, 346, 350, 5, 40, 0, 0, 347, 348, 7, 0, 0, 0, 348, - 350, 3, 32, 16, 0, 349, 346, 1, 0, 0, 0, 349, 347, 1, 0, 0, 0, 350, 354, 1, - 0, 0, 0, 351, 352, 5, 40, 0, 0, 352, 354, 5, 66, 0, 0, 353, 345, 1, 0, 0, 0, - 353, 351, 1, 0, 0, 0, 354, 29, 1, 0, 0, 0, 355, 356, 5, 30, 0, 0, 356, 357, - 3, 32, 16, 0, 357, 358, 5, 31, 0, 0, 358, 31, 1, 0, 0, 0, 359, 360, 6, 16, - -1, 0, 360, 365, 3, 34, 17, 0, 361, 365, 3, 56, 28, 0, 362, 363, 7, 3, 0, 0, + 0, 0, 198, 196, 1, 0, 0, 0, 199, 200, 5, 31, 0, 0, 200, 17, 1, 0, 0, 0, 201, + 202, 5, 8, 0, 0, 202, 204, 5, 24, 0, 0, 203, 205, 3, 20, 10, 0, 204, 203, 1, + 0, 0, 0, 204, 205, 1, 0, 0, 0, 205, 206, 1, 0, 0, 0, 206, 207, 5, 36, 0, 0, + 207, 208, 5, 66, 0, 0, 208, 210, 5, 26, 0, 0, 209, 211, 3, 58, 29, 0, 210, + 209, 1, 0, 0, 0, 210, 211, 1, 0, 0, 0, 211, 212, 1, 0, 0, 0, 212, 213, 5, + 27, 0, 0, 213, 214, 5, 33, 0, 0, 214, 19, 1, 0, 0, 0, 215, 216, 5, 30, 0, 0, + 216, 217, 5, 6, 0, 0, 217, 218, 5, 28, 0, 0, 218, 219, 3, 64, 32, 0, 219, + 220, 5, 29, 0, 0, 220, 221, 5, 31, 0, 0, 221, 21, 1, 0, 0, 0, 222, 330, 3, + 16, 8, 0, 223, 224, 5, 66, 0, 0, 224, 225, 5, 38, 0, 0, 225, 330, 5, 33, 0, + 0, 226, 227, 3, 50, 25, 0, 227, 228, 5, 33, 0, 0, 228, 330, 1, 0, 0, 0, 229, + 230, 3, 46, 23, 0, 230, 231, 5, 33, 0, 0, 231, 330, 1, 0, 0, 0, 232, 233, 3, + 40, 20, 0, 233, 234, 5, 33, 0, 0, 234, 330, 1, 0, 0, 0, 235, 236, 3, 56, 28, + 0, 236, 237, 5, 33, 0, 0, 237, 330, 1, 0, 0, 0, 238, 241, 3, 60, 30, 0, 239, + 240, 5, 34, 0, 0, 240, 242, 5, 66, 0, 0, 241, 239, 1, 0, 0, 0, 241, 242, 1, + 0, 0, 0, 242, 243, 1, 0, 0, 0, 243, 244, 5, 36, 0, 0, 244, 245, 3, 32, 16, + 0, 245, 246, 5, 33, 0, 0, 246, 330, 1, 0, 0, 0, 247, 248, 3, 32, 16, 0, 248, + 249, 5, 41, 0, 0, 249, 250, 3, 32, 16, 0, 250, 251, 5, 33, 0, 0, 251, 330, + 1, 0, 0, 0, 252, 258, 3, 34, 17, 0, 253, 254, 3, 60, 30, 0, 254, 255, 5, 34, + 0, 0, 255, 256, 3, 60, 30, 0, 256, 258, 1, 0, 0, 0, 257, 252, 1, 0, 0, 0, + 257, 253, 1, 0, 0, 0, 258, 259, 1, 0, 0, 0, 259, 260, 7, 1, 0, 0, 260, 261, + 3, 32, 16, 0, 261, 262, 5, 33, 0, 0, 262, 330, 1, 0, 0, 0, 263, 264, 3, 32, + 16, 0, 264, 265, 5, 40, 0, 0, 265, 268, 3, 60, 30, 0, 266, 267, 5, 34, 0, 0, + 267, 269, 3, 60, 30, 0, 268, 266, 1, 0, 0, 0, 268, 269, 1, 0, 0, 0, 269, + 270, 1, 0, 0, 0, 270, 271, 5, 33, 0, 0, 271, 330, 1, 0, 0, 0, 272, 273, 5, + 43, 0, 0, 273, 276, 7, 2, 0, 0, 274, 277, 3, 32, 16, 0, 275, 277, 3, 56, 28, + 0, 276, 274, 1, 0, 0, 0, 276, 275, 1, 0, 0, 0, 277, 278, 1, 0, 0, 0, 278, + 279, 5, 33, 0, 0, 279, 330, 1, 0, 0, 0, 280, 283, 3, 32, 16, 0, 281, 283, 3, + 56, 28, 0, 282, 280, 1, 0, 0, 0, 282, 281, 1, 0, 0, 0, 283, 284, 1, 0, 0, 0, + 284, 285, 5, 40, 0, 0, 285, 286, 5, 43, 0, 0, 286, 287, 5, 33, 0, 0, 287, + 330, 1, 0, 0, 0, 288, 289, 5, 26, 0, 0, 289, 290, 3, 66, 33, 0, 290, 291, 5, + 27, 0, 0, 291, 294, 7, 2, 0, 0, 292, 295, 3, 56, 28, 0, 293, 295, 3, 32, 16, + 0, 294, 292, 1, 0, 0, 0, 294, 293, 1, 0, 0, 0, 295, 296, 1, 0, 0, 0, 296, + 297, 5, 33, 0, 0, 297, 330, 1, 0, 0, 0, 298, 299, 3, 56, 28, 0, 299, 300, 5, + 40, 0, 0, 300, 301, 5, 26, 0, 0, 301, 302, 3, 66, 33, 0, 302, 303, 5, 27, 0, + 0, 303, 304, 5, 33, 0, 0, 304, 330, 1, 0, 0, 0, 305, 306, 5, 12, 0, 0, 306, + 307, 3, 30, 15, 0, 307, 310, 3, 22, 11, 0, 308, 309, 5, 13, 0, 0, 309, 311, + 3, 22, 11, 0, 310, 308, 1, 0, 0, 0, 310, 311, 1, 0, 0, 0, 311, 330, 1, 0, 0, + 0, 312, 313, 5, 15, 0, 0, 313, 314, 3, 30, 15, 0, 314, 315, 3, 22, 11, 0, + 315, 330, 1, 0, 0, 0, 316, 317, 5, 14, 0, 0, 317, 318, 5, 26, 0, 0, 318, + 319, 3, 24, 12, 0, 319, 320, 5, 27, 0, 0, 320, 321, 3, 22, 11, 0, 321, 330, + 1, 0, 0, 0, 322, 323, 5, 18, 0, 0, 323, 324, 3, 30, 15, 0, 324, 325, 5, 33, + 0, 0, 325, 330, 1, 0, 0, 0, 326, 327, 3, 36, 18, 0, 327, 328, 5, 33, 0, 0, + 328, 330, 1, 0, 0, 0, 329, 222, 1, 0, 0, 0, 329, 223, 1, 0, 0, 0, 329, 226, + 1, 0, 0, 0, 329, 229, 1, 0, 0, 0, 329, 232, 1, 0, 0, 0, 329, 235, 1, 0, 0, + 0, 329, 238, 1, 0, 0, 0, 329, 247, 1, 0, 0, 0, 329, 257, 1, 0, 0, 0, 329, + 263, 1, 0, 0, 0, 329, 272, 1, 0, 0, 0, 329, 282, 1, 0, 0, 0, 329, 288, 1, 0, + 0, 0, 329, 298, 1, 0, 0, 0, 329, 305, 1, 0, 0, 0, 329, 312, 1, 0, 0, 0, 329, + 316, 1, 0, 0, 0, 329, 322, 1, 0, 0, 0, 329, 326, 1, 0, 0, 0, 330, 23, 1, 0, + 0, 0, 331, 332, 3, 26, 13, 0, 332, 333, 5, 33, 0, 0, 333, 334, 3, 32, 16, 0, + 334, 335, 5, 33, 0, 0, 335, 336, 3, 28, 14, 0, 336, 25, 1, 0, 0, 0, 337, + 339, 5, 9, 0, 0, 338, 337, 1, 0, 0, 0, 338, 339, 1, 0, 0, 0, 339, 340, 1, 0, + 0, 0, 340, 343, 3, 60, 30, 0, 341, 342, 5, 36, 0, 0, 342, 344, 3, 52, 26, 0, + 343, 341, 1, 0, 0, 0, 343, 344, 1, 0, 0, 0, 344, 27, 1, 0, 0, 0, 345, 349, + 5, 66, 0, 0, 346, 350, 5, 38, 0, 0, 347, 348, 7, 0, 0, 0, 348, 350, 3, 32, + 16, 0, 349, 346, 1, 0, 0, 0, 349, 347, 1, 0, 0, 0, 350, 354, 1, 0, 0, 0, + 351, 352, 5, 38, 0, 0, 352, 354, 5, 66, 0, 0, 353, 345, 1, 0, 0, 0, 353, + 351, 1, 0, 0, 0, 354, 29, 1, 0, 0, 0, 355, 356, 5, 26, 0, 0, 356, 357, 3, + 32, 16, 0, 357, 358, 5, 27, 0, 0, 358, 31, 1, 0, 0, 0, 359, 360, 6, 16, -1, + 0, 360, 365, 3, 34, 17, 0, 361, 365, 3, 56, 28, 0, 362, 363, 7, 3, 0, 0, 363, 365, 3, 32, 16, 7, 364, 359, 1, 0, 0, 0, 364, 361, 1, 0, 0, 0, 364, 362, 1, 0, 0, 0, 365, 398, 1, 0, 0, 0, 366, 367, 10, 6, 0, 0, 367, 368, 7, 4, 0, 0, 368, 397, 3, 32, 16, 7, 369, 370, 10, 5, 0, 0, 370, 371, 7, 5, 0, 0, 371, 397, 3, 32, 16, 6, 372, 373, 10, 4, 0, 0, 373, 374, 7, 6, 0, 0, 374, 397, 3, 32, 16, 5, 375, 376, 10, 3, 0, 0, 376, 377, 7, 7, 0, 0, 377, 397, 3, 32, 16, 4, 378, 379, 10, 2, 0, 0, 379, 380, 7, 8, 0, 0, 380, 397, 3, 32, 16, - 3, 381, 382, 10, 1, 0, 0, 382, 383, 5, 3, 0, 0, 383, 384, 3, 32, 16, 0, 384, - 385, 5, 4, 0, 0, 385, 386, 3, 32, 16, 2, 386, 397, 1, 0, 0, 0, 387, 388, 10, - 8, 0, 0, 388, 389, 5, 1, 0, 0, 389, 394, 5, 66, 0, 0, 390, 391, 5, 32, 0, 0, - 391, 392, 3, 32, 16, 0, 392, 393, 5, 33, 0, 0, 393, 395, 1, 0, 0, 0, 394, - 390, 1, 0, 0, 0, 394, 395, 1, 0, 0, 0, 395, 397, 1, 0, 0, 0, 396, 366, 1, 0, - 0, 0, 396, 369, 1, 0, 0, 0, 396, 372, 1, 0, 0, 0, 396, 375, 1, 0, 0, 0, 396, - 378, 1, 0, 0, 0, 396, 381, 1, 0, 0, 0, 396, 387, 1, 0, 0, 0, 397, 400, 1, 0, - 0, 0, 398, 396, 1, 0, 0, 0, 398, 399, 1, 0, 0, 0, 399, 33, 1, 0, 0, 0, 400, - 398, 1, 0, 0, 0, 401, 402, 5, 30, 0, 0, 402, 403, 3, 32, 16, 0, 403, 404, 5, - 31, 0, 0, 404, 414, 1, 0, 0, 0, 405, 406, 5, 32, 0, 0, 406, 407, 3, 58, 29, - 0, 407, 408, 5, 33, 0, 0, 408, 414, 1, 0, 0, 0, 409, 414, 5, 67, 0, 0, 410, - 414, 3, 60, 30, 0, 411, 414, 3, 64, 32, 0, 412, 414, 3, 68, 34, 0, 413, 401, - 1, 0, 0, 0, 413, 405, 1, 0, 0, 0, 413, 409, 1, 0, 0, 0, 413, 410, 1, 0, 0, - 0, 413, 411, 1, 0, 0, 0, 413, 412, 1, 0, 0, 0, 414, 35, 1, 0, 0, 0, 415, - 416, 5, 21, 0, 0, 416, 419, 5, 30, 0, 0, 417, 420, 5, 69, 0, 0, 418, 420, 3, - 32, 16, 0, 419, 417, 1, 0, 0, 0, 419, 418, 1, 0, 0, 0, 419, 420, 1, 0, 0, 0, - 420, 421, 1, 0, 0, 0, 421, 422, 5, 31, 0, 0, 422, 37, 1, 0, 0, 0, 423, 424, - 5, 12, 0, 0, 424, 425, 5, 66, 0, 0, 425, 39, 1, 0, 0, 0, 426, 430, 3, 38, - 19, 0, 427, 429, 3, 62, 31, 0, 428, 427, 1, 0, 0, 0, 429, 432, 1, 0, 0, 0, - 430, 428, 1, 0, 0, 0, 430, 431, 1, 0, 0, 0, 431, 435, 1, 0, 0, 0, 432, 430, - 1, 0, 0, 0, 433, 434, 5, 38, 0, 0, 434, 436, 3, 56, 28, 0, 435, 433, 1, 0, - 0, 0, 435, 436, 1, 0, 0, 0, 436, 41, 1, 0, 0, 0, 437, 439, 5, 7, 0, 0, 438, - 440, 5, 6, 0, 0, 439, 438, 1, 0, 0, 0, 439, 440, 1, 0, 0, 0, 440, 442, 1, 0, - 0, 0, 441, 443, 3, 44, 22, 0, 442, 441, 1, 0, 0, 0, 442, 443, 1, 0, 0, 0, - 443, 444, 1, 0, 0, 0, 444, 445, 3, 60, 30, 0, 445, 43, 1, 0, 0, 0, 446, 447, - 5, 34, 0, 0, 447, 448, 3, 64, 32, 0, 448, 449, 5, 35, 0, 0, 449, 45, 1, 0, - 0, 0, 450, 453, 3, 42, 21, 0, 451, 452, 5, 41, 0, 0, 452, 454, 3, 52, 26, 0, - 453, 451, 1, 0, 0, 0, 453, 454, 1, 0, 0, 0, 454, 464, 1, 0, 0, 0, 455, 460, - 3, 42, 21, 0, 456, 457, 5, 37, 0, 0, 457, 459, 3, 60, 30, 0, 458, 456, 1, 0, - 0, 0, 459, 462, 1, 0, 0, 0, 460, 458, 1, 0, 0, 0, 460, 461, 1, 0, 0, 0, 461, - 464, 1, 0, 0, 0, 462, 460, 1, 0, 0, 0, 463, 450, 1, 0, 0, 0, 463, 455, 1, 0, - 0, 0, 464, 47, 1, 0, 0, 0, 465, 466, 5, 13, 0, 0, 466, 480, 3, 60, 30, 0, - 467, 468, 5, 13, 0, 0, 468, 469, 5, 30, 0, 0, 469, 474, 3, 60, 30, 0, 470, - 471, 5, 37, 0, 0, 471, 473, 3, 60, 30, 0, 472, 470, 1, 0, 0, 0, 473, 476, 1, - 0, 0, 0, 474, 472, 1, 0, 0, 0, 474, 475, 1, 0, 0, 0, 475, 477, 1, 0, 0, 0, - 476, 474, 1, 0, 0, 0, 477, 478, 5, 31, 0, 0, 478, 480, 1, 0, 0, 0, 479, 465, - 1, 0, 0, 0, 479, 467, 1, 0, 0, 0, 480, 49, 1, 0, 0, 0, 481, 484, 3, 48, 24, - 0, 482, 483, 5, 38, 0, 0, 483, 485, 3, 52, 26, 0, 484, 482, 1, 0, 0, 0, 484, - 485, 1, 0, 0, 0, 485, 495, 1, 0, 0, 0, 486, 491, 3, 48, 24, 0, 487, 488, 5, - 37, 0, 0, 488, 490, 3, 60, 30, 0, 489, 487, 1, 0, 0, 0, 490, 493, 1, 0, 0, - 0, 491, 489, 1, 0, 0, 0, 491, 492, 1, 0, 0, 0, 492, 495, 1, 0, 0, 0, 493, - 491, 1, 0, 0, 0, 494, 481, 1, 0, 0, 0, 494, 486, 1, 0, 0, 0, 495, 51, 1, 0, - 0, 0, 496, 499, 3, 32, 16, 0, 497, 499, 3, 56, 28, 0, 498, 496, 1, 0, 0, 0, - 498, 497, 1, 0, 0, 0, 499, 53, 1, 0, 0, 0, 500, 502, 5, 30, 0, 0, 501, 503, - 3, 58, 29, 0, 502, 501, 1, 0, 0, 0, 502, 503, 1, 0, 0, 0, 503, 504, 1, 0, 0, - 0, 504, 537, 5, 31, 0, 0, 505, 506, 5, 30, 0, 0, 506, 507, 5, 66, 0, 0, 507, - 508, 5, 41, 0, 0, 508, 515, 3, 32, 16, 0, 509, 510, 5, 37, 0, 0, 510, 511, - 5, 66, 0, 0, 511, 512, 5, 41, 0, 0, 512, 514, 3, 32, 16, 0, 513, 509, 1, 0, - 0, 0, 514, 517, 1, 0, 0, 0, 515, 513, 1, 0, 0, 0, 515, 516, 1, 0, 0, 0, 516, - 518, 1, 0, 0, 0, 517, 515, 1, 0, 0, 0, 518, 519, 5, 31, 0, 0, 519, 537, 1, - 0, 0, 0, 520, 521, 5, 30, 0, 0, 521, 522, 3, 32, 16, 0, 522, 523, 5, 42, 0, - 0, 523, 531, 5, 66, 0, 0, 524, 525, 5, 37, 0, 0, 525, 526, 3, 32, 16, 0, - 526, 527, 5, 42, 0, 0, 527, 528, 5, 66, 0, 0, 528, 530, 1, 0, 0, 0, 529, - 524, 1, 0, 0, 0, 530, 533, 1, 0, 0, 0, 531, 529, 1, 0, 0, 0, 531, 532, 1, 0, - 0, 0, 532, 534, 1, 0, 0, 0, 533, 531, 1, 0, 0, 0, 534, 535, 5, 31, 0, 0, - 535, 537, 1, 0, 0, 0, 536, 500, 1, 0, 0, 0, 536, 505, 1, 0, 0, 0, 536, 520, - 1, 0, 0, 0, 537, 55, 1, 0, 0, 0, 538, 540, 5, 29, 0, 0, 539, 538, 1, 0, 0, - 0, 539, 540, 1, 0, 0, 0, 540, 541, 1, 0, 0, 0, 541, 542, 5, 66, 0, 0, 542, - 544, 5, 30, 0, 0, 543, 545, 3, 58, 29, 0, 544, 543, 1, 0, 0, 0, 544, 545, 1, - 0, 0, 0, 545, 546, 1, 0, 0, 0, 546, 548, 5, 31, 0, 0, 547, 549, 3, 54, 27, - 0, 548, 547, 1, 0, 0, 0, 548, 549, 1, 0, 0, 0, 549, 57, 1, 0, 0, 0, 550, - 555, 3, 32, 16, 0, 551, 552, 5, 37, 0, 0, 552, 554, 3, 32, 16, 0, 553, 551, - 1, 0, 0, 0, 554, 557, 1, 0, 0, 0, 555, 553, 1, 0, 0, 0, 555, 556, 1, 0, 0, - 0, 556, 59, 1, 0, 0, 0, 557, 555, 1, 0, 0, 0, 558, 562, 5, 66, 0, 0, 559, - 561, 3, 62, 31, 0, 560, 559, 1, 0, 0, 0, 561, 564, 1, 0, 0, 0, 562, 560, 1, - 0, 0, 0, 562, 563, 1, 0, 0, 0, 563, 61, 1, 0, 0, 0, 564, 562, 1, 0, 0, 0, - 565, 566, 5, 32, 0, 0, 566, 567, 3, 32, 16, 0, 567, 568, 5, 33, 0, 0, 568, - 63, 1, 0, 0, 0, 569, 574, 5, 66, 0, 0, 570, 571, 5, 37, 0, 0, 571, 573, 5, - 66, 0, 0, 572, 570, 1, 0, 0, 0, 573, 576, 1, 0, 0, 0, 574, 572, 1, 0, 0, 0, - 574, 575, 1, 0, 0, 0, 575, 65, 1, 0, 0, 0, 576, 574, 1, 0, 0, 0, 577, 582, - 7, 9, 0, 0, 578, 579, 5, 37, 0, 0, 579, 581, 7, 9, 0, 0, 580, 578, 1, 0, 0, - 0, 581, 584, 1, 0, 0, 0, 582, 580, 1, 0, 0, 0, 582, 583, 1, 0, 0, 0, 583, - 67, 1, 0, 0, 0, 584, 582, 1, 0, 0, 0, 585, 590, 5, 67, 0, 0, 586, 587, 5, - 37, 0, 0, 587, 589, 5, 67, 0, 0, 588, 586, 1, 0, 0, 0, 589, 592, 1, 0, 0, 0, - 590, 588, 1, 0, 0, 0, 590, 591, 1, 0, 0, 0, 591, 69, 1, 0, 0, 0, 592, 590, - 1, 0, 0, 0, 59, 73, 79, 85, 89, 100, 108, 114, 123, 152, 175, 179, 182, 187, - 196, 204, 210, 241, 257, 268, 276, 282, 294, 310, 329, 338, 343, 349, 353, - 364, 394, 396, 398, 413, 419, 430, 435, 439, 442, 453, 460, 463, 474, 479, - 484, 491, 494, 498, 502, 515, 531, 536, 539, 544, 548, 555, 562, 574, 582, - 590, + 3, 381, 382, 10, 1, 0, 0, 382, 383, 5, 42, 0, 0, 383, 384, 3, 32, 16, 0, + 384, 385, 5, 32, 0, 0, 385, 386, 3, 32, 16, 2, 386, 397, 1, 0, 0, 0, 387, + 388, 10, 8, 0, 0, 388, 389, 5, 34, 0, 0, 389, 394, 5, 66, 0, 0, 390, 391, 5, + 28, 0, 0, 391, 392, 3, 32, 16, 0, 392, 393, 5, 29, 0, 0, 393, 395, 1, 0, 0, + 0, 394, 390, 1, 0, 0, 0, 394, 395, 1, 0, 0, 0, 395, 397, 1, 0, 0, 0, 396, + 366, 1, 0, 0, 0, 396, 369, 1, 0, 0, 0, 396, 372, 1, 0, 0, 0, 396, 375, 1, 0, + 0, 0, 396, 378, 1, 0, 0, 0, 396, 381, 1, 0, 0, 0, 396, 387, 1, 0, 0, 0, 397, + 400, 1, 0, 0, 0, 398, 396, 1, 0, 0, 0, 398, 399, 1, 0, 0, 0, 399, 33, 1, 0, + 0, 0, 400, 398, 1, 0, 0, 0, 401, 402, 5, 26, 0, 0, 402, 403, 3, 32, 16, 0, + 403, 404, 5, 27, 0, 0, 404, 414, 1, 0, 0, 0, 405, 406, 5, 28, 0, 0, 406, + 407, 3, 58, 29, 0, 407, 408, 5, 29, 0, 0, 408, 414, 1, 0, 0, 0, 409, 414, 5, + 67, 0, 0, 410, 414, 3, 60, 30, 0, 411, 414, 3, 64, 32, 0, 412, 414, 3, 68, + 34, 0, 413, 401, 1, 0, 0, 0, 413, 405, 1, 0, 0, 0, 413, 409, 1, 0, 0, 0, + 413, 410, 1, 0, 0, 0, 413, 411, 1, 0, 0, 0, 413, 412, 1, 0, 0, 0, 414, 35, + 1, 0, 0, 0, 415, 416, 5, 17, 0, 0, 416, 419, 5, 26, 0, 0, 417, 420, 5, 69, + 0, 0, 418, 420, 3, 32, 16, 0, 419, 417, 1, 0, 0, 0, 419, 418, 1, 0, 0, 0, + 419, 420, 1, 0, 0, 0, 420, 421, 1, 0, 0, 0, 421, 422, 5, 27, 0, 0, 422, 37, + 1, 0, 0, 0, 423, 424, 5, 8, 0, 0, 424, 425, 5, 66, 0, 0, 425, 39, 1, 0, 0, + 0, 426, 430, 3, 38, 19, 0, 427, 429, 3, 62, 31, 0, 428, 427, 1, 0, 0, 0, + 429, 432, 1, 0, 0, 0, 430, 428, 1, 0, 0, 0, 430, 431, 1, 0, 0, 0, 431, 435, + 1, 0, 0, 0, 432, 430, 1, 0, 0, 0, 433, 434, 5, 36, 0, 0, 434, 436, 3, 56, + 28, 0, 435, 433, 1, 0, 0, 0, 435, 436, 1, 0, 0, 0, 436, 41, 1, 0, 0, 0, 437, + 439, 5, 3, 0, 0, 438, 440, 5, 2, 0, 0, 439, 438, 1, 0, 0, 0, 439, 440, 1, 0, + 0, 0, 440, 442, 1, 0, 0, 0, 441, 443, 3, 44, 22, 0, 442, 441, 1, 0, 0, 0, + 442, 443, 1, 0, 0, 0, 443, 444, 1, 0, 0, 0, 444, 445, 3, 60, 30, 0, 445, 43, + 1, 0, 0, 0, 446, 447, 5, 30, 0, 0, 447, 448, 3, 64, 32, 0, 448, 449, 5, 31, + 0, 0, 449, 45, 1, 0, 0, 0, 450, 453, 3, 42, 21, 0, 451, 452, 5, 39, 0, 0, + 452, 454, 3, 52, 26, 0, 453, 451, 1, 0, 0, 0, 453, 454, 1, 0, 0, 0, 454, + 464, 1, 0, 0, 0, 455, 460, 3, 42, 21, 0, 456, 457, 5, 35, 0, 0, 457, 459, 3, + 60, 30, 0, 458, 456, 1, 0, 0, 0, 459, 462, 1, 0, 0, 0, 460, 458, 1, 0, 0, 0, + 460, 461, 1, 0, 0, 0, 461, 464, 1, 0, 0, 0, 462, 460, 1, 0, 0, 0, 463, 450, + 1, 0, 0, 0, 463, 455, 1, 0, 0, 0, 464, 47, 1, 0, 0, 0, 465, 466, 5, 9, 0, 0, + 466, 480, 3, 60, 30, 0, 467, 468, 5, 9, 0, 0, 468, 469, 5, 26, 0, 0, 469, + 474, 3, 60, 30, 0, 470, 471, 5, 35, 0, 0, 471, 473, 3, 60, 30, 0, 472, 470, + 1, 0, 0, 0, 473, 476, 1, 0, 0, 0, 474, 472, 1, 0, 0, 0, 474, 475, 1, 0, 0, + 0, 475, 477, 1, 0, 0, 0, 476, 474, 1, 0, 0, 0, 477, 478, 5, 27, 0, 0, 478, + 480, 1, 0, 0, 0, 479, 465, 1, 0, 0, 0, 479, 467, 1, 0, 0, 0, 480, 49, 1, 0, + 0, 0, 481, 484, 3, 48, 24, 0, 482, 483, 5, 36, 0, 0, 483, 485, 3, 52, 26, 0, + 484, 482, 1, 0, 0, 0, 484, 485, 1, 0, 0, 0, 485, 495, 1, 0, 0, 0, 486, 491, + 3, 48, 24, 0, 487, 488, 5, 35, 0, 0, 488, 490, 3, 60, 30, 0, 489, 487, 1, 0, + 0, 0, 490, 493, 1, 0, 0, 0, 491, 489, 1, 0, 0, 0, 491, 492, 1, 0, 0, 0, 492, + 495, 1, 0, 0, 0, 493, 491, 1, 0, 0, 0, 494, 481, 1, 0, 0, 0, 494, 486, 1, 0, + 0, 0, 495, 51, 1, 0, 0, 0, 496, 499, 3, 32, 16, 0, 497, 499, 3, 56, 28, 0, + 498, 496, 1, 0, 0, 0, 498, 497, 1, 0, 0, 0, 499, 53, 1, 0, 0, 0, 500, 502, + 5, 26, 0, 0, 501, 503, 3, 58, 29, 0, 502, 501, 1, 0, 0, 0, 502, 503, 1, 0, + 0, 0, 503, 504, 1, 0, 0, 0, 504, 537, 5, 27, 0, 0, 505, 506, 5, 26, 0, 0, + 506, 507, 5, 66, 0, 0, 507, 508, 5, 39, 0, 0, 508, 515, 3, 32, 16, 0, 509, + 510, 5, 35, 0, 0, 510, 511, 5, 66, 0, 0, 511, 512, 5, 39, 0, 0, 512, 514, 3, + 32, 16, 0, 513, 509, 1, 0, 0, 0, 514, 517, 1, 0, 0, 0, 515, 513, 1, 0, 0, 0, + 515, 516, 1, 0, 0, 0, 516, 518, 1, 0, 0, 0, 517, 515, 1, 0, 0, 0, 518, 519, + 5, 27, 0, 0, 519, 537, 1, 0, 0, 0, 520, 521, 5, 26, 0, 0, 521, 522, 3, 32, + 16, 0, 522, 523, 5, 40, 0, 0, 523, 531, 5, 66, 0, 0, 524, 525, 5, 35, 0, 0, + 525, 526, 3, 32, 16, 0, 526, 527, 5, 40, 0, 0, 527, 528, 5, 66, 0, 0, 528, + 530, 1, 0, 0, 0, 529, 524, 1, 0, 0, 0, 530, 533, 1, 0, 0, 0, 531, 529, 1, 0, + 0, 0, 531, 532, 1, 0, 0, 0, 532, 534, 1, 0, 0, 0, 533, 531, 1, 0, 0, 0, 534, + 535, 5, 27, 0, 0, 535, 537, 1, 0, 0, 0, 536, 500, 1, 0, 0, 0, 536, 505, 1, + 0, 0, 0, 536, 520, 1, 0, 0, 0, 537, 55, 1, 0, 0, 0, 538, 540, 5, 25, 0, 0, + 539, 538, 1, 0, 0, 0, 539, 540, 1, 0, 0, 0, 540, 541, 1, 0, 0, 0, 541, 542, + 5, 66, 0, 0, 542, 544, 5, 26, 0, 0, 543, 545, 3, 58, 29, 0, 544, 543, 1, 0, + 0, 0, 544, 545, 1, 0, 0, 0, 545, 546, 1, 0, 0, 0, 546, 548, 5, 27, 0, 0, + 547, 549, 3, 54, 27, 0, 548, 547, 1, 0, 0, 0, 548, 549, 1, 0, 0, 0, 549, 57, + 1, 0, 0, 0, 550, 555, 3, 32, 16, 0, 551, 552, 5, 35, 0, 0, 552, 554, 3, 32, + 16, 0, 553, 551, 1, 0, 0, 0, 554, 557, 1, 0, 0, 0, 555, 553, 1, 0, 0, 0, + 555, 556, 1, 0, 0, 0, 556, 59, 1, 0, 0, 0, 557, 555, 1, 0, 0, 0, 558, 562, + 5, 66, 0, 0, 559, 561, 3, 62, 31, 0, 560, 559, 1, 0, 0, 0, 561, 564, 1, 0, + 0, 0, 562, 560, 1, 0, 0, 0, 562, 563, 1, 0, 0, 0, 563, 61, 1, 0, 0, 0, 564, + 562, 1, 0, 0, 0, 565, 566, 5, 28, 0, 0, 566, 567, 3, 32, 16, 0, 567, 568, 5, + 29, 0, 0, 568, 63, 1, 0, 0, 0, 569, 574, 5, 66, 0, 0, 570, 571, 5, 35, 0, 0, + 571, 573, 5, 66, 0, 0, 572, 570, 1, 0, 0, 0, 573, 576, 1, 0, 0, 0, 574, 572, + 1, 0, 0, 0, 574, 575, 1, 0, 0, 0, 575, 65, 1, 0, 0, 0, 576, 574, 1, 0, 0, 0, + 577, 582, 7, 9, 0, 0, 578, 579, 5, 35, 0, 0, 579, 581, 7, 9, 0, 0, 580, 578, + 1, 0, 0, 0, 581, 584, 1, 0, 0, 0, 582, 580, 1, 0, 0, 0, 582, 583, 1, 0, 0, + 0, 583, 67, 1, 0, 0, 0, 584, 582, 1, 0, 0, 0, 585, 590, 5, 67, 0, 0, 586, + 587, 5, 35, 0, 0, 587, 589, 5, 67, 0, 0, 588, 586, 1, 0, 0, 0, 589, 592, 1, + 0, 0, 0, 590, 588, 1, 0, 0, 0, 590, 591, 1, 0, 0, 0, 591, 69, 1, 0, 0, 0, + 592, 590, 1, 0, 0, 0, 59, 73, 79, 85, 89, 100, 108, 114, 123, 152, 175, 179, + 182, 187, 196, 204, 210, 241, 257, 268, 276, 282, 294, 310, 329, 338, 343, + 349, 353, 364, 394, 396, 398, 413, 419, 430, 435, 439, 442, 453, 460, 463, + 474, 479, 484, 491, 494, 498, 502, 515, 531, 536, 539, 544, 548, 555, 562, + 574, 582, 590, ]; private static __ATN: ATN; @@ -4272,6 +4267,9 @@ export class TemplateStmtContext extends ParserRuleContext { public identifier(i: number): IdentifierContext { return this.getTypedRuleContext(IdentifierContext, i) as IdentifierContext; } + public DOT(): TerminalNode { + return this.getToken(CircomParser.DOT, 0); + } public CONSTRAINT_EQ(): TerminalNode { return this.getToken(CircomParser.CONSTRAINT_EQ, 0); } @@ -4287,6 +4285,9 @@ export class TemplateStmtContext extends ParserRuleContext { public RIGHT_ASSIGNMENT(): TerminalNode { return this.getToken(CircomParser.RIGHT_ASSIGNMENT, 0); } + public UNDERSCORE(): TerminalNode { + return this.getToken(CircomParser.UNDERSCORE, 0); + } public LP(): TerminalNode { return this.getToken(CircomParser.LP, 0); } @@ -4566,6 +4567,12 @@ export class TernaryExpressionContext extends ExpressionContext { public expression(i: number): ExpressionContext { return this.getTypedRuleContext(ExpressionContext, i) as ExpressionContext; } + public QUESTION_MARK(): TerminalNode { + return this.getToken(CircomParser.QUESTION_MARK, 0); + } + public COLON(): TerminalNode { + return this.getToken(CircomParser.COLON, 0); + } public enterRule(listener: CircomListener): void { if (listener.enterTernaryExpression) { listener.enterTernaryExpression(this); @@ -4596,6 +4603,9 @@ export class DotExpressionContext extends ExpressionContext { public expression(i: number): ExpressionContext { return this.getTypedRuleContext(ExpressionContext, i) as ExpressionContext; } + public DOT(): TerminalNode { + return this.getToken(CircomParser.DOT, 0); + } public ID(): TerminalNode { return this.getToken(CircomParser.ID, 0); } @@ -5626,6 +5636,12 @@ export class ArgsWithUnderscoreContext extends ParserRuleContext { super(parent, invokingState); this.parser = parser; } + public UNDERSCORE_list(): TerminalNode[] { + return this.getTokens(CircomParser.UNDERSCORE); + } + public UNDERSCORE(i: number): TerminalNode { + return this.getToken(CircomParser.UNDERSCORE, i); + } public ID_list(): TerminalNode[] { return this.getTokens(CircomParser.ID); } diff --git a/src/generated/LexerCircom.ts b/src/generated/LexerCircom.ts index 3a7101e..ec2d8e3 100644 --- a/src/generated/LexerCircom.ts +++ b/src/generated/LexerCircom.ts @@ -44,43 +44,47 @@ export default class LexerCircom extends Lexer { public static readonly RB = 29; public static readonly LC = 30; public static readonly RC = 31; - public static readonly SEMICOLON = 32; - public static readonly COMMA = 33; - public static readonly ASSIGNMENT = 34; - public static readonly ASSIGNMENT_OP = 35; - public static readonly SELF_OP = 36; - public static readonly LEFT_ASSIGNMENT = 37; - public static readonly RIGHT_ASSIGNMENT = 38; - public static readonly CONSTRAINT_EQ = 39; - public static readonly NOT = 40; - public static readonly BNOT = 41; - public static readonly POW = 42; - public static readonly MUL = 43; - public static readonly DIV = 44; - public static readonly QUO = 45; - public static readonly MOD = 46; - public static readonly ADD = 47; - public static readonly SUB = 48; - public static readonly SHL = 49; - public static readonly SHR = 50; - public static readonly BAND = 51; - public static readonly BXOR = 52; - public static readonly BOR = 53; - public static readonly EQ = 54; - public static readonly NEQ = 55; - public static readonly GT = 56; - public static readonly LT = 57; - public static readonly LE = 58; - public static readonly GE = 59; - public static readonly AND = 60; - public static readonly OR = 61; - public static readonly ID = 62; - public static readonly NUMBER = 63; - public static readonly HEX = 64; - public static readonly STRING = 65; - public static readonly COMMENT = 66; - public static readonly LINE_COMMENT = 67; - public static readonly WS = 68; + public static readonly COLON = 32; + public static readonly SEMICOLON = 33; + public static readonly DOT = 34; + public static readonly COMMA = 35; + public static readonly ASSIGNMENT = 36; + public static readonly ASSIGNMENT_OP = 37; + public static readonly SELF_OP = 38; + public static readonly LEFT_ASSIGNMENT = 39; + public static readonly RIGHT_ASSIGNMENT = 40; + public static readonly CONSTRAINT_EQ = 41; + public static readonly QUESTION_MARK = 42; + public static readonly UNDERSCORE = 43; + public static readonly NOT = 44; + public static readonly BNOT = 45; + public static readonly POW = 46; + public static readonly MUL = 47; + public static readonly DIV = 48; + public static readonly QUO = 49; + public static readonly MOD = 50; + public static readonly ADD = 51; + public static readonly SUB = 52; + public static readonly SHL = 53; + public static readonly SHR = 54; + public static readonly BAND = 55; + public static readonly BXOR = 56; + public static readonly BOR = 57; + public static readonly EQ = 58; + public static readonly NEQ = 59; + public static readonly GT = 60; + public static readonly LT = 61; + public static readonly LE = 62; + public static readonly GE = 63; + public static readonly AND = 64; + public static readonly OR = 65; + public static readonly ID = 66; + public static readonly NUMBER = 67; + public static readonly HEX = 68; + public static readonly STRING = 69; + public static readonly COMMENT = 70; + public static readonly LINE_COMMENT = 71; + public static readonly WS = 72; public static readonly EOF = Token.EOF; public static readonly channelNames: string[] = [ @@ -120,7 +124,9 @@ export default class LexerCircom extends Lexer { "']'", "'{'", "'}'", + "':'", "';'", + "'.'", "','", "'='", null, @@ -128,6 +134,8 @@ export default class LexerCircom extends Lexer { null, null, "'==='", + "'?'", + "'_'", "'!'", "'~'", "'**'", @@ -184,7 +192,9 @@ export default class LexerCircom extends Lexer { "RB", "LC", "RC", + "COLON", "SEMICOLON", + "DOT", "COMMA", "ASSIGNMENT", "ASSIGNMENT_OP", @@ -192,6 +202,8 @@ export default class LexerCircom extends Lexer { "LEFT_ASSIGNMENT", "RIGHT_ASSIGNMENT", "CONSTRAINT_EQ", + "QUESTION_MARK", + "UNDERSCORE", "NOT", "BNOT", "POW", @@ -256,7 +268,9 @@ export default class LexerCircom extends Lexer { "RB", "LC", "RC", + "COLON", "SEMICOLON", + "DOT", "COMMA", "ASSIGNMENT", "ASSIGNMENT_OP", @@ -264,6 +278,8 @@ export default class LexerCircom extends Lexer { "LEFT_ASSIGNMENT", "RIGHT_ASSIGNMENT", "CONSTRAINT_EQ", + "QUESTION_MARK", + "UNDERSCORE", "NOT", "BNOT", "POW", @@ -337,7 +353,7 @@ export default class LexerCircom extends Lexer { } public static readonly _serializedATN: number[] = [ - 4, 0, 68, 524, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, + 4, 0, 72, 540, 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, 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, 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, 7, 19, 2, 20, 7, 20, 2, 21, 7, @@ -350,214 +366,220 @@ export default class LexerCircom extends Lexer { 54, 2, 55, 7, 55, 2, 56, 7, 56, 2, 57, 7, 57, 2, 58, 7, 58, 2, 59, 7, 59, 2, 60, 7, 60, 2, 61, 7, 61, 2, 62, 7, 62, 2, 63, 7, 63, 2, 64, 7, 64, 2, 65, 7, 65, 2, 66, 7, 66, 2, 67, 7, 67, 2, 68, 7, 68, 2, 69, 7, 69, 2, 70, 7, 70, 2, - 71, 7, 71, 2, 72, 7, 72, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 3, - 1, 156, 8, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, - 3, 1, 3, 1, 3, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, - 1, 5, 1, 5, 1, 5, 1, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, - 6, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, - 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 10, 1, - 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, - 12, 1, 12, 1, 12, 1, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, - 14, 1, 14, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, - 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, - 18, 1, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 20, 1, 20, 1, - 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, - 21, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, - 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 23, 1, 23, 1, 23, 1, 23, 1, - 23, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 25, 1, - 25, 1, 26, 1, 26, 1, 27, 1, 27, 1, 28, 1, 28, 1, 29, 1, 29, 1, 30, 1, 30, 1, - 31, 1, 31, 1, 32, 1, 32, 1, 33, 1, 33, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, - 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, - 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 1, 34, 3, - 34, 361, 8, 34, 1, 35, 1, 35, 1, 35, 1, 35, 3, 35, 367, 8, 35, 1, 36, 1, 36, - 1, 36, 1, 36, 1, 36, 1, 36, 3, 36, 375, 8, 36, 1, 37, 1, 37, 1, 37, 1, 37, - 1, 37, 1, 37, 3, 37, 383, 8, 37, 1, 38, 1, 38, 1, 38, 1, 38, 1, 39, 1, 39, - 1, 40, 1, 40, 1, 41, 1, 41, 1, 41, 1, 42, 1, 42, 1, 43, 1, 43, 1, 44, 1, 44, - 1, 45, 1, 45, 1, 46, 1, 46, 1, 47, 1, 47, 1, 48, 1, 48, 1, 48, 1, 49, 1, 49, - 1, 49, 1, 50, 1, 50, 1, 51, 1, 51, 1, 52, 1, 52, 1, 53, 1, 53, 1, 53, 1, 54, - 1, 54, 1, 54, 1, 55, 1, 55, 1, 56, 1, 56, 1, 57, 1, 57, 1, 57, 1, 58, 1, 58, - 1, 58, 1, 59, 1, 59, 1, 59, 1, 60, 1, 60, 1, 60, 1, 61, 5, 61, 443, 8, 61, - 10, 61, 12, 61, 446, 9, 61, 1, 61, 1, 61, 1, 61, 1, 61, 5, 61, 452, 8, 61, - 10, 61, 12, 61, 455, 9, 61, 1, 62, 1, 62, 1, 63, 1, 63, 1, 64, 4, 64, 462, - 8, 64, 11, 64, 12, 64, 463, 1, 64, 3, 64, 467, 8, 64, 1, 65, 1, 65, 1, 66, - 1, 66, 1, 66, 4, 66, 474, 8, 66, 11, 66, 12, 66, 475, 1, 67, 1, 67, 1, 68, - 1, 68, 1, 68, 5, 68, 483, 8, 68, 10, 68, 12, 68, 486, 9, 68, 1, 68, 1, 68, - 1, 69, 1, 69, 1, 69, 1, 70, 1, 70, 1, 70, 1, 70, 5, 70, 497, 8, 70, 10, 70, - 12, 70, 500, 9, 70, 1, 70, 1, 70, 1, 70, 1, 70, 1, 70, 1, 71, 1, 71, 1, 71, - 1, 71, 5, 71, 511, 8, 71, 10, 71, 12, 71, 514, 9, 71, 1, 71, 1, 71, 1, 72, - 4, 72, 519, 8, 72, 11, 72, 12, 72, 520, 1, 72, 1, 72, 2, 484, 498, 0, 73, 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, 27, 14, 29, 15, 31, 16, 33, 17, 35, 18, 37, 19, 39, 20, 41, 21, - 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, 53, 27, 55, 28, 57, 29, 59, 30, 61, - 31, 63, 32, 65, 33, 67, 34, 69, 35, 71, 36, 73, 37, 75, 38, 77, 39, 79, 40, - 81, 41, 83, 42, 85, 43, 87, 44, 89, 45, 91, 46, 93, 47, 95, 48, 97, 49, 99, - 50, 101, 51, 103, 52, 105, 53, 107, 54, 109, 55, 111, 56, 113, 57, 115, 58, - 117, 59, 119, 60, 121, 61, 123, 62, 125, 0, 127, 0, 129, 63, 131, 0, 133, - 64, 135, 0, 137, 65, 139, 0, 141, 66, 143, 67, 145, 68, 1, 0, 7, 3, 0, 65, - 90, 97, 122, 128, 255, 2, 0, 36, 36, 95, 95, 1, 0, 48, 57, 3, 0, 48, 57, 65, - 70, 97, 102, 7, 0, 34, 34, 92, 92, 98, 98, 102, 102, 110, 110, 114, 114, - 116, 116, 2, 0, 10, 10, 13, 13, 3, 0, 9, 10, 12, 13, 32, 32, 545, 0, 1, 1, - 0, 0, 0, 0, 3, 1, 0, 0, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, - 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, 0, 123, 1, 0, 0, 0, 0, 129, 1, 0, 0, 0, 0, 133, 1, 0, 0, 0, - 0, 137, 1, 0, 0, 0, 0, 141, 1, 0, 0, 0, 0, 143, 1, 0, 0, 0, 0, 145, 1, 0, 0, - 0, 1, 147, 1, 0, 0, 0, 3, 155, 1, 0, 0, 0, 5, 157, 1, 0, 0, 0, 7, 164, 1, 0, - 0, 0, 9, 170, 1, 0, 0, 0, 11, 177, 1, 0, 0, 0, 13, 184, 1, 0, 0, 0, 15, 193, - 1, 0, 0, 0, 17, 203, 1, 0, 0, 0, 19, 207, 1, 0, 0, 0, 21, 216, 1, 0, 0, 0, - 23, 223, 1, 0, 0, 0, 25, 226, 1, 0, 0, 0, 27, 231, 1, 0, 0, 0, 29, 235, 1, - 0, 0, 0, 31, 241, 1, 0, 0, 0, 33, 244, 1, 0, 0, 0, 35, 248, 1, 0, 0, 0, 37, - 255, 1, 0, 0, 0, 39, 263, 1, 0, 0, 0, 41, 270, 1, 0, 0, 0, 43, 277, 1, 0, 0, - 0, 45, 284, 1, 0, 0, 0, 47, 301, 1, 0, 0, 0, 49, 306, 1, 0, 0, 0, 51, 315, - 1, 0, 0, 0, 53, 317, 1, 0, 0, 0, 55, 319, 1, 0, 0, 0, 57, 321, 1, 0, 0, 0, - 59, 323, 1, 0, 0, 0, 61, 325, 1, 0, 0, 0, 63, 327, 1, 0, 0, 0, 65, 329, 1, - 0, 0, 0, 67, 331, 1, 0, 0, 0, 69, 360, 1, 0, 0, 0, 71, 366, 1, 0, 0, 0, 73, - 374, 1, 0, 0, 0, 75, 382, 1, 0, 0, 0, 77, 384, 1, 0, 0, 0, 79, 388, 1, 0, 0, - 0, 81, 390, 1, 0, 0, 0, 83, 392, 1, 0, 0, 0, 85, 395, 1, 0, 0, 0, 87, 397, - 1, 0, 0, 0, 89, 399, 1, 0, 0, 0, 91, 401, 1, 0, 0, 0, 93, 403, 1, 0, 0, 0, - 95, 405, 1, 0, 0, 0, 97, 407, 1, 0, 0, 0, 99, 410, 1, 0, 0, 0, 101, 413, 1, - 0, 0, 0, 103, 415, 1, 0, 0, 0, 105, 417, 1, 0, 0, 0, 107, 419, 1, 0, 0, 0, - 109, 422, 1, 0, 0, 0, 111, 425, 1, 0, 0, 0, 113, 427, 1, 0, 0, 0, 115, 429, - 1, 0, 0, 0, 117, 432, 1, 0, 0, 0, 119, 435, 1, 0, 0, 0, 121, 438, 1, 0, 0, - 0, 123, 444, 1, 0, 0, 0, 125, 456, 1, 0, 0, 0, 127, 458, 1, 0, 0, 0, 129, - 466, 1, 0, 0, 0, 131, 468, 1, 0, 0, 0, 133, 470, 1, 0, 0, 0, 135, 477, 1, 0, - 0, 0, 137, 479, 1, 0, 0, 0, 139, 489, 1, 0, 0, 0, 141, 492, 1, 0, 0, 0, 143, - 506, 1, 0, 0, 0, 145, 518, 1, 0, 0, 0, 147, 148, 3, 129, 64, 0, 148, 149, 5, - 46, 0, 0, 149, 150, 3, 129, 64, 0, 150, 151, 5, 46, 0, 0, 151, 152, 3, 129, - 64, 0, 152, 2, 1, 0, 0, 0, 153, 156, 3, 7, 3, 0, 154, 156, 3, 9, 4, 0, 155, - 153, 1, 0, 0, 0, 155, 154, 1, 0, 0, 0, 156, 4, 1, 0, 0, 0, 157, 158, 5, 115, - 0, 0, 158, 159, 5, 105, 0, 0, 159, 160, 5, 103, 0, 0, 160, 161, 5, 110, 0, - 0, 161, 162, 5, 97, 0, 0, 162, 163, 5, 108, 0, 0, 163, 6, 1, 0, 0, 0, 164, - 165, 5, 105, 0, 0, 165, 166, 5, 110, 0, 0, 166, 167, 5, 112, 0, 0, 167, 168, - 5, 117, 0, 0, 168, 169, 5, 116, 0, 0, 169, 8, 1, 0, 0, 0, 170, 171, 5, 111, - 0, 0, 171, 172, 5, 117, 0, 0, 172, 173, 5, 116, 0, 0, 173, 174, 5, 112, 0, - 0, 174, 175, 5, 117, 0, 0, 175, 176, 5, 116, 0, 0, 176, 10, 1, 0, 0, 0, 177, - 178, 5, 112, 0, 0, 178, 179, 5, 117, 0, 0, 179, 180, 5, 98, 0, 0, 180, 181, - 5, 108, 0, 0, 181, 182, 5, 105, 0, 0, 182, 183, 5, 99, 0, 0, 183, 12, 1, 0, - 0, 0, 184, 185, 5, 116, 0, 0, 185, 186, 5, 101, 0, 0, 186, 187, 5, 109, 0, - 0, 187, 188, 5, 112, 0, 0, 188, 189, 5, 108, 0, 0, 189, 190, 5, 97, 0, 0, - 190, 191, 5, 116, 0, 0, 191, 192, 5, 101, 0, 0, 192, 14, 1, 0, 0, 0, 193, - 194, 5, 99, 0, 0, 194, 195, 5, 111, 0, 0, 195, 196, 5, 109, 0, 0, 196, 197, - 5, 112, 0, 0, 197, 198, 5, 111, 0, 0, 198, 199, 5, 110, 0, 0, 199, 200, 5, - 101, 0, 0, 200, 201, 5, 110, 0, 0, 201, 202, 5, 116, 0, 0, 202, 16, 1, 0, 0, - 0, 203, 204, 5, 118, 0, 0, 204, 205, 5, 97, 0, 0, 205, 206, 5, 114, 0, 0, - 206, 18, 1, 0, 0, 0, 207, 208, 5, 102, 0, 0, 208, 209, 5, 117, 0, 0, 209, - 210, 5, 110, 0, 0, 210, 211, 5, 99, 0, 0, 211, 212, 5, 116, 0, 0, 212, 213, - 5, 105, 0, 0, 213, 214, 5, 111, 0, 0, 214, 215, 5, 110, 0, 0, 215, 20, 1, 0, - 0, 0, 216, 217, 5, 114, 0, 0, 217, 218, 5, 101, 0, 0, 218, 219, 5, 116, 0, - 0, 219, 220, 5, 117, 0, 0, 220, 221, 5, 114, 0, 0, 221, 222, 5, 110, 0, 0, - 222, 22, 1, 0, 0, 0, 223, 224, 5, 105, 0, 0, 224, 225, 5, 102, 0, 0, 225, - 24, 1, 0, 0, 0, 226, 227, 5, 101, 0, 0, 227, 228, 5, 108, 0, 0, 228, 229, 5, - 115, 0, 0, 229, 230, 5, 101, 0, 0, 230, 26, 1, 0, 0, 0, 231, 232, 5, 102, 0, - 0, 232, 233, 5, 111, 0, 0, 233, 234, 5, 114, 0, 0, 234, 28, 1, 0, 0, 0, 235, - 236, 5, 119, 0, 0, 236, 237, 5, 104, 0, 0, 237, 238, 5, 105, 0, 0, 238, 239, - 5, 108, 0, 0, 239, 240, 5, 101, 0, 0, 240, 30, 1, 0, 0, 0, 241, 242, 5, 100, - 0, 0, 242, 243, 5, 111, 0, 0, 243, 32, 1, 0, 0, 0, 244, 245, 5, 108, 0, 0, - 245, 246, 5, 111, 0, 0, 246, 247, 5, 103, 0, 0, 247, 34, 1, 0, 0, 0, 248, - 249, 5, 97, 0, 0, 249, 250, 5, 115, 0, 0, 250, 251, 5, 115, 0, 0, 251, 252, - 5, 101, 0, 0, 252, 253, 5, 114, 0, 0, 253, 254, 5, 116, 0, 0, 254, 36, 1, 0, - 0, 0, 255, 256, 5, 105, 0, 0, 256, 257, 5, 110, 0, 0, 257, 258, 5, 99, 0, 0, - 258, 259, 5, 108, 0, 0, 259, 260, 5, 117, 0, 0, 260, 261, 5, 100, 0, 0, 261, - 262, 5, 101, 0, 0, 262, 38, 1, 0, 0, 0, 263, 264, 5, 99, 0, 0, 264, 265, 5, - 117, 0, 0, 265, 266, 5, 115, 0, 0, 266, 267, 5, 116, 0, 0, 267, 268, 5, 111, - 0, 0, 268, 269, 5, 109, 0, 0, 269, 40, 1, 0, 0, 0, 270, 271, 5, 112, 0, 0, - 271, 272, 5, 114, 0, 0, 272, 273, 5, 97, 0, 0, 273, 274, 5, 103, 0, 0, 274, - 275, 5, 109, 0, 0, 275, 276, 5, 97, 0, 0, 276, 42, 1, 0, 0, 0, 277, 278, 5, - 99, 0, 0, 278, 279, 5, 105, 0, 0, 279, 280, 5, 114, 0, 0, 280, 281, 5, 99, - 0, 0, 281, 282, 5, 111, 0, 0, 282, 283, 5, 109, 0, 0, 283, 44, 1, 0, 0, 0, - 284, 285, 5, 99, 0, 0, 285, 286, 5, 117, 0, 0, 286, 287, 5, 115, 0, 0, 287, - 288, 5, 116, 0, 0, 288, 289, 5, 111, 0, 0, 289, 290, 5, 109, 0, 0, 290, 291, - 5, 95, 0, 0, 291, 292, 5, 116, 0, 0, 292, 293, 5, 101, 0, 0, 293, 294, 5, - 109, 0, 0, 294, 295, 5, 112, 0, 0, 295, 296, 5, 108, 0, 0, 296, 297, 5, 97, - 0, 0, 297, 298, 5, 116, 0, 0, 298, 299, 5, 101, 0, 0, 299, 300, 5, 115, 0, - 0, 300, 46, 1, 0, 0, 0, 301, 302, 5, 109, 0, 0, 302, 303, 5, 97, 0, 0, 303, - 304, 5, 105, 0, 0, 304, 305, 5, 110, 0, 0, 305, 48, 1, 0, 0, 0, 306, 307, 5, - 112, 0, 0, 307, 308, 5, 97, 0, 0, 308, 309, 5, 114, 0, 0, 309, 310, 5, 97, - 0, 0, 310, 311, 5, 108, 0, 0, 311, 312, 5, 108, 0, 0, 312, 313, 5, 101, 0, - 0, 313, 314, 5, 108, 0, 0, 314, 50, 1, 0, 0, 0, 315, 316, 5, 40, 0, 0, 316, - 52, 1, 0, 0, 0, 317, 318, 5, 41, 0, 0, 318, 54, 1, 0, 0, 0, 319, 320, 5, 91, - 0, 0, 320, 56, 1, 0, 0, 0, 321, 322, 5, 93, 0, 0, 322, 58, 1, 0, 0, 0, 323, - 324, 5, 123, 0, 0, 324, 60, 1, 0, 0, 0, 325, 326, 5, 125, 0, 0, 326, 62, 1, - 0, 0, 0, 327, 328, 5, 59, 0, 0, 328, 64, 1, 0, 0, 0, 329, 330, 5, 44, 0, 0, - 330, 66, 1, 0, 0, 0, 331, 332, 5, 61, 0, 0, 332, 68, 1, 0, 0, 0, 333, 334, - 5, 43, 0, 0, 334, 361, 5, 61, 0, 0, 335, 336, 5, 45, 0, 0, 336, 361, 5, 61, - 0, 0, 337, 338, 5, 42, 0, 0, 338, 361, 5, 61, 0, 0, 339, 340, 5, 42, 0, 0, - 340, 341, 5, 42, 0, 0, 341, 361, 5, 61, 0, 0, 342, 343, 5, 47, 0, 0, 343, - 361, 5, 61, 0, 0, 344, 345, 5, 92, 0, 0, 345, 361, 5, 61, 0, 0, 346, 347, 5, - 37, 0, 0, 347, 361, 5, 61, 0, 0, 348, 349, 5, 60, 0, 0, 349, 350, 5, 60, 0, - 0, 350, 361, 5, 61, 0, 0, 351, 352, 5, 62, 0, 0, 352, 353, 5, 62, 0, 0, 353, - 361, 5, 61, 0, 0, 354, 355, 5, 38, 0, 0, 355, 361, 5, 61, 0, 0, 356, 357, 5, - 94, 0, 0, 357, 361, 5, 61, 0, 0, 358, 359, 5, 124, 0, 0, 359, 361, 5, 61, 0, - 0, 360, 333, 1, 0, 0, 0, 360, 335, 1, 0, 0, 0, 360, 337, 1, 0, 0, 0, 360, - 339, 1, 0, 0, 0, 360, 342, 1, 0, 0, 0, 360, 344, 1, 0, 0, 0, 360, 346, 1, 0, - 0, 0, 360, 348, 1, 0, 0, 0, 360, 351, 1, 0, 0, 0, 360, 354, 1, 0, 0, 0, 360, - 356, 1, 0, 0, 0, 360, 358, 1, 0, 0, 0, 361, 70, 1, 0, 0, 0, 362, 363, 5, 43, - 0, 0, 363, 367, 5, 43, 0, 0, 364, 365, 5, 45, 0, 0, 365, 367, 5, 45, 0, 0, - 366, 362, 1, 0, 0, 0, 366, 364, 1, 0, 0, 0, 367, 72, 1, 0, 0, 0, 368, 369, - 5, 60, 0, 0, 369, 370, 5, 45, 0, 0, 370, 375, 5, 45, 0, 0, 371, 372, 5, 60, - 0, 0, 372, 373, 5, 61, 0, 0, 373, 375, 5, 61, 0, 0, 374, 368, 1, 0, 0, 0, - 374, 371, 1, 0, 0, 0, 375, 74, 1, 0, 0, 0, 376, 377, 5, 45, 0, 0, 377, 378, - 5, 45, 0, 0, 378, 383, 5, 62, 0, 0, 379, 380, 5, 61, 0, 0, 380, 381, 5, 61, - 0, 0, 381, 383, 5, 62, 0, 0, 382, 376, 1, 0, 0, 0, 382, 379, 1, 0, 0, 0, - 383, 76, 1, 0, 0, 0, 384, 385, 5, 61, 0, 0, 385, 386, 5, 61, 0, 0, 386, 387, - 5, 61, 0, 0, 387, 78, 1, 0, 0, 0, 388, 389, 5, 33, 0, 0, 389, 80, 1, 0, 0, - 0, 390, 391, 5, 126, 0, 0, 391, 82, 1, 0, 0, 0, 392, 393, 5, 42, 0, 0, 393, - 394, 5, 42, 0, 0, 394, 84, 1, 0, 0, 0, 395, 396, 5, 42, 0, 0, 396, 86, 1, 0, - 0, 0, 397, 398, 5, 47, 0, 0, 398, 88, 1, 0, 0, 0, 399, 400, 5, 92, 0, 0, - 400, 90, 1, 0, 0, 0, 401, 402, 5, 37, 0, 0, 402, 92, 1, 0, 0, 0, 403, 404, - 5, 43, 0, 0, 404, 94, 1, 0, 0, 0, 405, 406, 5, 45, 0, 0, 406, 96, 1, 0, 0, - 0, 407, 408, 5, 60, 0, 0, 408, 409, 5, 60, 0, 0, 409, 98, 1, 0, 0, 0, 410, - 411, 5, 62, 0, 0, 411, 412, 5, 62, 0, 0, 412, 100, 1, 0, 0, 0, 413, 414, 5, - 38, 0, 0, 414, 102, 1, 0, 0, 0, 415, 416, 5, 94, 0, 0, 416, 104, 1, 0, 0, 0, - 417, 418, 5, 124, 0, 0, 418, 106, 1, 0, 0, 0, 419, 420, 5, 61, 0, 0, 420, - 421, 5, 61, 0, 0, 421, 108, 1, 0, 0, 0, 422, 423, 5, 33, 0, 0, 423, 424, 5, - 61, 0, 0, 424, 110, 1, 0, 0, 0, 425, 426, 5, 62, 0, 0, 426, 112, 1, 0, 0, 0, - 427, 428, 5, 60, 0, 0, 428, 114, 1, 0, 0, 0, 429, 430, 5, 62, 0, 0, 430, - 431, 5, 61, 0, 0, 431, 116, 1, 0, 0, 0, 432, 433, 5, 60, 0, 0, 433, 434, 5, - 61, 0, 0, 434, 118, 1, 0, 0, 0, 435, 436, 5, 38, 0, 0, 436, 437, 5, 38, 0, - 0, 437, 120, 1, 0, 0, 0, 438, 439, 5, 124, 0, 0, 439, 440, 5, 124, 0, 0, - 440, 122, 1, 0, 0, 0, 441, 443, 3, 127, 63, 0, 442, 441, 1, 0, 0, 0, 443, - 446, 1, 0, 0, 0, 444, 442, 1, 0, 0, 0, 444, 445, 1, 0, 0, 0, 445, 447, 1, 0, - 0, 0, 446, 444, 1, 0, 0, 0, 447, 453, 3, 125, 62, 0, 448, 452, 3, 125, 62, - 0, 449, 452, 3, 131, 65, 0, 450, 452, 3, 127, 63, 0, 451, 448, 1, 0, 0, 0, - 451, 449, 1, 0, 0, 0, 451, 450, 1, 0, 0, 0, 452, 455, 1, 0, 0, 0, 453, 451, - 1, 0, 0, 0, 453, 454, 1, 0, 0, 0, 454, 124, 1, 0, 0, 0, 455, 453, 1, 0, 0, - 0, 456, 457, 7, 0, 0, 0, 457, 126, 1, 0, 0, 0, 458, 459, 7, 1, 0, 0, 459, - 128, 1, 0, 0, 0, 460, 462, 3, 131, 65, 0, 461, 460, 1, 0, 0, 0, 462, 463, 1, - 0, 0, 0, 463, 461, 1, 0, 0, 0, 463, 464, 1, 0, 0, 0, 464, 467, 1, 0, 0, 0, - 465, 467, 3, 133, 66, 0, 466, 461, 1, 0, 0, 0, 466, 465, 1, 0, 0, 0, 467, - 130, 1, 0, 0, 0, 468, 469, 7, 2, 0, 0, 469, 132, 1, 0, 0, 0, 470, 471, 5, - 48, 0, 0, 471, 473, 5, 120, 0, 0, 472, 474, 3, 135, 67, 0, 473, 472, 1, 0, - 0, 0, 474, 475, 1, 0, 0, 0, 475, 473, 1, 0, 0, 0, 475, 476, 1, 0, 0, 0, 476, - 134, 1, 0, 0, 0, 477, 478, 7, 3, 0, 0, 478, 136, 1, 0, 0, 0, 479, 484, 5, - 34, 0, 0, 480, 483, 3, 139, 69, 0, 481, 483, 9, 0, 0, 0, 482, 480, 1, 0, 0, - 0, 482, 481, 1, 0, 0, 0, 483, 486, 1, 0, 0, 0, 484, 485, 1, 0, 0, 0, 484, - 482, 1, 0, 0, 0, 485, 487, 1, 0, 0, 0, 486, 484, 1, 0, 0, 0, 487, 488, 5, - 34, 0, 0, 488, 138, 1, 0, 0, 0, 489, 490, 5, 92, 0, 0, 490, 491, 7, 4, 0, 0, - 491, 140, 1, 0, 0, 0, 492, 493, 5, 47, 0, 0, 493, 494, 5, 42, 0, 0, 494, - 498, 1, 0, 0, 0, 495, 497, 9, 0, 0, 0, 496, 495, 1, 0, 0, 0, 497, 500, 1, 0, - 0, 0, 498, 499, 1, 0, 0, 0, 498, 496, 1, 0, 0, 0, 499, 501, 1, 0, 0, 0, 500, - 498, 1, 0, 0, 0, 501, 502, 5, 42, 0, 0, 502, 503, 5, 47, 0, 0, 503, 504, 1, - 0, 0, 0, 504, 505, 6, 70, 0, 0, 505, 142, 1, 0, 0, 0, 506, 507, 5, 47, 0, 0, - 507, 508, 5, 47, 0, 0, 508, 512, 1, 0, 0, 0, 509, 511, 8, 5, 0, 0, 510, 509, - 1, 0, 0, 0, 511, 514, 1, 0, 0, 0, 512, 510, 1, 0, 0, 0, 512, 513, 1, 0, 0, - 0, 513, 515, 1, 0, 0, 0, 514, 512, 1, 0, 0, 0, 515, 516, 6, 71, 0, 0, 516, - 144, 1, 0, 0, 0, 517, 519, 7, 6, 0, 0, 518, 517, 1, 0, 0, 0, 519, 520, 1, 0, - 0, 0, 520, 518, 1, 0, 0, 0, 520, 521, 1, 0, 0, 0, 521, 522, 1, 0, 0, 0, 522, - 523, 6, 72, 0, 0, 523, 146, 1, 0, 0, 0, 17, 0, 155, 360, 366, 374, 382, 444, - 451, 453, 463, 466, 475, 482, 484, 498, 512, 520, 1, 0, 1, 0, + 71, 7, 71, 2, 72, 7, 72, 2, 73, 7, 73, 2, 74, 7, 74, 2, 75, 7, 75, 2, 76, 7, + 76, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 3, 1, 164, 8, 1, 1, 2, + 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, + 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, + 1, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, + 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 9, + 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, + 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 12, 1, 12, 1, 12, + 1, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 15, + 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, + 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 19, + 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, + 1, 20, 1, 20, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 22, 1, 22, + 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, + 1, 22, 1, 22, 1, 22, 1, 22, 1, 23, 1, 23, 1, 23, 1, 23, 1, 23, 1, 24, 1, 24, + 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 24, 1, 25, 1, 25, 1, 26, 1, 26, + 1, 27, 1, 27, 1, 28, 1, 28, 1, 29, 1, 29, 1, 30, 1, 30, 1, 31, 1, 31, 1, 32, + 1, 32, 1, 33, 1, 33, 1, 34, 1, 34, 1, 35, 1, 35, 1, 36, 1, 36, 1, 36, 1, 36, + 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, + 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, 1, 36, + 1, 36, 3, 36, 373, 8, 36, 1, 37, 1, 37, 1, 37, 1, 37, 3, 37, 379, 8, 37, 1, + 38, 1, 38, 1, 38, 1, 38, 1, 38, 1, 38, 3, 38, 387, 8, 38, 1, 39, 1, 39, 1, + 39, 1, 39, 1, 39, 1, 39, 3, 39, 395, 8, 39, 1, 40, 1, 40, 1, 40, 1, 40, 1, + 41, 1, 41, 1, 42, 1, 42, 1, 43, 1, 43, 1, 44, 1, 44, 1, 45, 1, 45, 1, 45, 1, + 46, 1, 46, 1, 47, 1, 47, 1, 48, 1, 48, 1, 49, 1, 49, 1, 50, 1, 50, 1, 51, 1, + 51, 1, 52, 1, 52, 1, 52, 1, 53, 1, 53, 1, 53, 1, 54, 1, 54, 1, 55, 1, 55, 1, + 56, 1, 56, 1, 57, 1, 57, 1, 57, 1, 58, 1, 58, 1, 58, 1, 59, 1, 59, 1, 60, 1, + 60, 1, 61, 1, 61, 1, 61, 1, 62, 1, 62, 1, 62, 1, 63, 1, 63, 1, 63, 1, 64, 1, + 64, 1, 64, 1, 65, 5, 65, 459, 8, 65, 10, 65, 12, 65, 462, 9, 65, 1, 65, 1, + 65, 1, 65, 1, 65, 5, 65, 468, 8, 65, 10, 65, 12, 65, 471, 9, 65, 1, 66, 1, + 66, 1, 67, 1, 67, 1, 68, 4, 68, 478, 8, 68, 11, 68, 12, 68, 479, 1, 68, 3, + 68, 483, 8, 68, 1, 69, 1, 69, 1, 70, 1, 70, 1, 70, 4, 70, 490, 8, 70, 11, + 70, 12, 70, 491, 1, 71, 1, 71, 1, 72, 1, 72, 1, 72, 5, 72, 499, 8, 72, 10, + 72, 12, 72, 502, 9, 72, 1, 72, 1, 72, 1, 73, 1, 73, 1, 73, 1, 74, 1, 74, 1, + 74, 1, 74, 5, 74, 513, 8, 74, 10, 74, 12, 74, 516, 9, 74, 1, 74, 1, 74, 1, + 74, 1, 74, 1, 74, 1, 75, 1, 75, 1, 75, 1, 75, 5, 75, 527, 8, 75, 10, 75, 12, + 75, 530, 9, 75, 1, 75, 1, 75, 1, 76, 4, 76, 535, 8, 76, 11, 76, 12, 76, 536, + 1, 76, 1, 76, 2, 500, 514, 0, 77, 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, 27, 14, 29, 15, 31, 16, 33, + 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, + 53, 27, 55, 28, 57, 29, 59, 30, 61, 31, 63, 32, 65, 33, 67, 34, 69, 35, 71, + 36, 73, 37, 75, 38, 77, 39, 79, 40, 81, 41, 83, 42, 85, 43, 87, 44, 89, 45, + 91, 46, 93, 47, 95, 48, 97, 49, 99, 50, 101, 51, 103, 52, 105, 53, 107, 54, + 109, 55, 111, 56, 113, 57, 115, 58, 117, 59, 119, 60, 121, 61, 123, 62, 125, + 63, 127, 64, 129, 65, 131, 66, 133, 0, 135, 0, 137, 67, 139, 0, 141, 68, + 143, 0, 145, 69, 147, 0, 149, 70, 151, 71, 153, 72, 1, 0, 7, 3, 0, 65, 90, + 97, 122, 128, 255, 2, 0, 36, 36, 95, 95, 1, 0, 48, 57, 3, 0, 48, 57, 65, 70, + 97, 102, 7, 0, 34, 34, 92, 92, 98, 98, 102, 102, 110, 110, 114, 114, 116, + 116, 2, 0, 10, 10, 13, 13, 3, 0, 9, 10, 12, 13, 32, 32, 561, 0, 1, 1, 0, 0, + 0, 0, 3, 1, 0, 0, 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, 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, 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, + 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, 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, 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, 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, + 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, 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, 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, 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, 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, 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, 0, 0, 0, 0, 137, 1, 0, 0, 0, 0, 141, 1, 0, 0, 0, 0, + 145, 1, 0, 0, 0, 0, 149, 1, 0, 0, 0, 0, 151, 1, 0, 0, 0, 0, 153, 1, 0, 0, 0, + 1, 155, 1, 0, 0, 0, 3, 163, 1, 0, 0, 0, 5, 165, 1, 0, 0, 0, 7, 172, 1, 0, 0, + 0, 9, 178, 1, 0, 0, 0, 11, 185, 1, 0, 0, 0, 13, 192, 1, 0, 0, 0, 15, 201, 1, + 0, 0, 0, 17, 211, 1, 0, 0, 0, 19, 215, 1, 0, 0, 0, 21, 224, 1, 0, 0, 0, 23, + 231, 1, 0, 0, 0, 25, 234, 1, 0, 0, 0, 27, 239, 1, 0, 0, 0, 29, 243, 1, 0, 0, + 0, 31, 249, 1, 0, 0, 0, 33, 252, 1, 0, 0, 0, 35, 256, 1, 0, 0, 0, 37, 263, + 1, 0, 0, 0, 39, 271, 1, 0, 0, 0, 41, 278, 1, 0, 0, 0, 43, 285, 1, 0, 0, 0, + 45, 292, 1, 0, 0, 0, 47, 309, 1, 0, 0, 0, 49, 314, 1, 0, 0, 0, 51, 323, 1, + 0, 0, 0, 53, 325, 1, 0, 0, 0, 55, 327, 1, 0, 0, 0, 57, 329, 1, 0, 0, 0, 59, + 331, 1, 0, 0, 0, 61, 333, 1, 0, 0, 0, 63, 335, 1, 0, 0, 0, 65, 337, 1, 0, 0, + 0, 67, 339, 1, 0, 0, 0, 69, 341, 1, 0, 0, 0, 71, 343, 1, 0, 0, 0, 73, 372, + 1, 0, 0, 0, 75, 378, 1, 0, 0, 0, 77, 386, 1, 0, 0, 0, 79, 394, 1, 0, 0, 0, + 81, 396, 1, 0, 0, 0, 83, 400, 1, 0, 0, 0, 85, 402, 1, 0, 0, 0, 87, 404, 1, + 0, 0, 0, 89, 406, 1, 0, 0, 0, 91, 408, 1, 0, 0, 0, 93, 411, 1, 0, 0, 0, 95, + 413, 1, 0, 0, 0, 97, 415, 1, 0, 0, 0, 99, 417, 1, 0, 0, 0, 101, 419, 1, 0, + 0, 0, 103, 421, 1, 0, 0, 0, 105, 423, 1, 0, 0, 0, 107, 426, 1, 0, 0, 0, 109, + 429, 1, 0, 0, 0, 111, 431, 1, 0, 0, 0, 113, 433, 1, 0, 0, 0, 115, 435, 1, 0, + 0, 0, 117, 438, 1, 0, 0, 0, 119, 441, 1, 0, 0, 0, 121, 443, 1, 0, 0, 0, 123, + 445, 1, 0, 0, 0, 125, 448, 1, 0, 0, 0, 127, 451, 1, 0, 0, 0, 129, 454, 1, 0, + 0, 0, 131, 460, 1, 0, 0, 0, 133, 472, 1, 0, 0, 0, 135, 474, 1, 0, 0, 0, 137, + 482, 1, 0, 0, 0, 139, 484, 1, 0, 0, 0, 141, 486, 1, 0, 0, 0, 143, 493, 1, 0, + 0, 0, 145, 495, 1, 0, 0, 0, 147, 505, 1, 0, 0, 0, 149, 508, 1, 0, 0, 0, 151, + 522, 1, 0, 0, 0, 153, 534, 1, 0, 0, 0, 155, 156, 3, 137, 68, 0, 156, 157, 5, + 46, 0, 0, 157, 158, 3, 137, 68, 0, 158, 159, 5, 46, 0, 0, 159, 160, 3, 137, + 68, 0, 160, 2, 1, 0, 0, 0, 161, 164, 3, 7, 3, 0, 162, 164, 3, 9, 4, 0, 163, + 161, 1, 0, 0, 0, 163, 162, 1, 0, 0, 0, 164, 4, 1, 0, 0, 0, 165, 166, 5, 115, + 0, 0, 166, 167, 5, 105, 0, 0, 167, 168, 5, 103, 0, 0, 168, 169, 5, 110, 0, + 0, 169, 170, 5, 97, 0, 0, 170, 171, 5, 108, 0, 0, 171, 6, 1, 0, 0, 0, 172, + 173, 5, 105, 0, 0, 173, 174, 5, 110, 0, 0, 174, 175, 5, 112, 0, 0, 175, 176, + 5, 117, 0, 0, 176, 177, 5, 116, 0, 0, 177, 8, 1, 0, 0, 0, 178, 179, 5, 111, + 0, 0, 179, 180, 5, 117, 0, 0, 180, 181, 5, 116, 0, 0, 181, 182, 5, 112, 0, + 0, 182, 183, 5, 117, 0, 0, 183, 184, 5, 116, 0, 0, 184, 10, 1, 0, 0, 0, 185, + 186, 5, 112, 0, 0, 186, 187, 5, 117, 0, 0, 187, 188, 5, 98, 0, 0, 188, 189, + 5, 108, 0, 0, 189, 190, 5, 105, 0, 0, 190, 191, 5, 99, 0, 0, 191, 12, 1, 0, + 0, 0, 192, 193, 5, 116, 0, 0, 193, 194, 5, 101, 0, 0, 194, 195, 5, 109, 0, + 0, 195, 196, 5, 112, 0, 0, 196, 197, 5, 108, 0, 0, 197, 198, 5, 97, 0, 0, + 198, 199, 5, 116, 0, 0, 199, 200, 5, 101, 0, 0, 200, 14, 1, 0, 0, 0, 201, + 202, 5, 99, 0, 0, 202, 203, 5, 111, 0, 0, 203, 204, 5, 109, 0, 0, 204, 205, + 5, 112, 0, 0, 205, 206, 5, 111, 0, 0, 206, 207, 5, 110, 0, 0, 207, 208, 5, + 101, 0, 0, 208, 209, 5, 110, 0, 0, 209, 210, 5, 116, 0, 0, 210, 16, 1, 0, 0, + 0, 211, 212, 5, 118, 0, 0, 212, 213, 5, 97, 0, 0, 213, 214, 5, 114, 0, 0, + 214, 18, 1, 0, 0, 0, 215, 216, 5, 102, 0, 0, 216, 217, 5, 117, 0, 0, 217, + 218, 5, 110, 0, 0, 218, 219, 5, 99, 0, 0, 219, 220, 5, 116, 0, 0, 220, 221, + 5, 105, 0, 0, 221, 222, 5, 111, 0, 0, 222, 223, 5, 110, 0, 0, 223, 20, 1, 0, + 0, 0, 224, 225, 5, 114, 0, 0, 225, 226, 5, 101, 0, 0, 226, 227, 5, 116, 0, + 0, 227, 228, 5, 117, 0, 0, 228, 229, 5, 114, 0, 0, 229, 230, 5, 110, 0, 0, + 230, 22, 1, 0, 0, 0, 231, 232, 5, 105, 0, 0, 232, 233, 5, 102, 0, 0, 233, + 24, 1, 0, 0, 0, 234, 235, 5, 101, 0, 0, 235, 236, 5, 108, 0, 0, 236, 237, 5, + 115, 0, 0, 237, 238, 5, 101, 0, 0, 238, 26, 1, 0, 0, 0, 239, 240, 5, 102, 0, + 0, 240, 241, 5, 111, 0, 0, 241, 242, 5, 114, 0, 0, 242, 28, 1, 0, 0, 0, 243, + 244, 5, 119, 0, 0, 244, 245, 5, 104, 0, 0, 245, 246, 5, 105, 0, 0, 246, 247, + 5, 108, 0, 0, 247, 248, 5, 101, 0, 0, 248, 30, 1, 0, 0, 0, 249, 250, 5, 100, + 0, 0, 250, 251, 5, 111, 0, 0, 251, 32, 1, 0, 0, 0, 252, 253, 5, 108, 0, 0, + 253, 254, 5, 111, 0, 0, 254, 255, 5, 103, 0, 0, 255, 34, 1, 0, 0, 0, 256, + 257, 5, 97, 0, 0, 257, 258, 5, 115, 0, 0, 258, 259, 5, 115, 0, 0, 259, 260, + 5, 101, 0, 0, 260, 261, 5, 114, 0, 0, 261, 262, 5, 116, 0, 0, 262, 36, 1, 0, + 0, 0, 263, 264, 5, 105, 0, 0, 264, 265, 5, 110, 0, 0, 265, 266, 5, 99, 0, 0, + 266, 267, 5, 108, 0, 0, 267, 268, 5, 117, 0, 0, 268, 269, 5, 100, 0, 0, 269, + 270, 5, 101, 0, 0, 270, 38, 1, 0, 0, 0, 271, 272, 5, 99, 0, 0, 272, 273, 5, + 117, 0, 0, 273, 274, 5, 115, 0, 0, 274, 275, 5, 116, 0, 0, 275, 276, 5, 111, + 0, 0, 276, 277, 5, 109, 0, 0, 277, 40, 1, 0, 0, 0, 278, 279, 5, 112, 0, 0, + 279, 280, 5, 114, 0, 0, 280, 281, 5, 97, 0, 0, 281, 282, 5, 103, 0, 0, 282, + 283, 5, 109, 0, 0, 283, 284, 5, 97, 0, 0, 284, 42, 1, 0, 0, 0, 285, 286, 5, + 99, 0, 0, 286, 287, 5, 105, 0, 0, 287, 288, 5, 114, 0, 0, 288, 289, 5, 99, + 0, 0, 289, 290, 5, 111, 0, 0, 290, 291, 5, 109, 0, 0, 291, 44, 1, 0, 0, 0, + 292, 293, 5, 99, 0, 0, 293, 294, 5, 117, 0, 0, 294, 295, 5, 115, 0, 0, 295, + 296, 5, 116, 0, 0, 296, 297, 5, 111, 0, 0, 297, 298, 5, 109, 0, 0, 298, 299, + 5, 95, 0, 0, 299, 300, 5, 116, 0, 0, 300, 301, 5, 101, 0, 0, 301, 302, 5, + 109, 0, 0, 302, 303, 5, 112, 0, 0, 303, 304, 5, 108, 0, 0, 304, 305, 5, 97, + 0, 0, 305, 306, 5, 116, 0, 0, 306, 307, 5, 101, 0, 0, 307, 308, 5, 115, 0, + 0, 308, 46, 1, 0, 0, 0, 309, 310, 5, 109, 0, 0, 310, 311, 5, 97, 0, 0, 311, + 312, 5, 105, 0, 0, 312, 313, 5, 110, 0, 0, 313, 48, 1, 0, 0, 0, 314, 315, 5, + 112, 0, 0, 315, 316, 5, 97, 0, 0, 316, 317, 5, 114, 0, 0, 317, 318, 5, 97, + 0, 0, 318, 319, 5, 108, 0, 0, 319, 320, 5, 108, 0, 0, 320, 321, 5, 101, 0, + 0, 321, 322, 5, 108, 0, 0, 322, 50, 1, 0, 0, 0, 323, 324, 5, 40, 0, 0, 324, + 52, 1, 0, 0, 0, 325, 326, 5, 41, 0, 0, 326, 54, 1, 0, 0, 0, 327, 328, 5, 91, + 0, 0, 328, 56, 1, 0, 0, 0, 329, 330, 5, 93, 0, 0, 330, 58, 1, 0, 0, 0, 331, + 332, 5, 123, 0, 0, 332, 60, 1, 0, 0, 0, 333, 334, 5, 125, 0, 0, 334, 62, 1, + 0, 0, 0, 335, 336, 5, 58, 0, 0, 336, 64, 1, 0, 0, 0, 337, 338, 5, 59, 0, 0, + 338, 66, 1, 0, 0, 0, 339, 340, 5, 46, 0, 0, 340, 68, 1, 0, 0, 0, 341, 342, + 5, 44, 0, 0, 342, 70, 1, 0, 0, 0, 343, 344, 5, 61, 0, 0, 344, 72, 1, 0, 0, + 0, 345, 346, 5, 43, 0, 0, 346, 373, 5, 61, 0, 0, 347, 348, 5, 45, 0, 0, 348, + 373, 5, 61, 0, 0, 349, 350, 5, 42, 0, 0, 350, 373, 5, 61, 0, 0, 351, 352, 5, + 42, 0, 0, 352, 353, 5, 42, 0, 0, 353, 373, 5, 61, 0, 0, 354, 355, 5, 47, 0, + 0, 355, 373, 5, 61, 0, 0, 356, 357, 5, 92, 0, 0, 357, 373, 5, 61, 0, 0, 358, + 359, 5, 37, 0, 0, 359, 373, 5, 61, 0, 0, 360, 361, 5, 60, 0, 0, 361, 362, 5, + 60, 0, 0, 362, 373, 5, 61, 0, 0, 363, 364, 5, 62, 0, 0, 364, 365, 5, 62, 0, + 0, 365, 373, 5, 61, 0, 0, 366, 367, 5, 38, 0, 0, 367, 373, 5, 61, 0, 0, 368, + 369, 5, 94, 0, 0, 369, 373, 5, 61, 0, 0, 370, 371, 5, 124, 0, 0, 371, 373, + 5, 61, 0, 0, 372, 345, 1, 0, 0, 0, 372, 347, 1, 0, 0, 0, 372, 349, 1, 0, 0, + 0, 372, 351, 1, 0, 0, 0, 372, 354, 1, 0, 0, 0, 372, 356, 1, 0, 0, 0, 372, + 358, 1, 0, 0, 0, 372, 360, 1, 0, 0, 0, 372, 363, 1, 0, 0, 0, 372, 366, 1, 0, + 0, 0, 372, 368, 1, 0, 0, 0, 372, 370, 1, 0, 0, 0, 373, 74, 1, 0, 0, 0, 374, + 375, 5, 43, 0, 0, 375, 379, 5, 43, 0, 0, 376, 377, 5, 45, 0, 0, 377, 379, 5, + 45, 0, 0, 378, 374, 1, 0, 0, 0, 378, 376, 1, 0, 0, 0, 379, 76, 1, 0, 0, 0, + 380, 381, 5, 60, 0, 0, 381, 382, 5, 45, 0, 0, 382, 387, 5, 45, 0, 0, 383, + 384, 5, 60, 0, 0, 384, 385, 5, 61, 0, 0, 385, 387, 5, 61, 0, 0, 386, 380, 1, + 0, 0, 0, 386, 383, 1, 0, 0, 0, 387, 78, 1, 0, 0, 0, 388, 389, 5, 45, 0, 0, + 389, 390, 5, 45, 0, 0, 390, 395, 5, 62, 0, 0, 391, 392, 5, 61, 0, 0, 392, + 393, 5, 61, 0, 0, 393, 395, 5, 62, 0, 0, 394, 388, 1, 0, 0, 0, 394, 391, 1, + 0, 0, 0, 395, 80, 1, 0, 0, 0, 396, 397, 5, 61, 0, 0, 397, 398, 5, 61, 0, 0, + 398, 399, 5, 61, 0, 0, 399, 82, 1, 0, 0, 0, 400, 401, 5, 63, 0, 0, 401, 84, + 1, 0, 0, 0, 402, 403, 5, 95, 0, 0, 403, 86, 1, 0, 0, 0, 404, 405, 5, 33, 0, + 0, 405, 88, 1, 0, 0, 0, 406, 407, 5, 126, 0, 0, 407, 90, 1, 0, 0, 0, 408, + 409, 5, 42, 0, 0, 409, 410, 5, 42, 0, 0, 410, 92, 1, 0, 0, 0, 411, 412, 5, + 42, 0, 0, 412, 94, 1, 0, 0, 0, 413, 414, 5, 47, 0, 0, 414, 96, 1, 0, 0, 0, + 415, 416, 5, 92, 0, 0, 416, 98, 1, 0, 0, 0, 417, 418, 5, 37, 0, 0, 418, 100, + 1, 0, 0, 0, 419, 420, 5, 43, 0, 0, 420, 102, 1, 0, 0, 0, 421, 422, 5, 45, 0, + 0, 422, 104, 1, 0, 0, 0, 423, 424, 5, 60, 0, 0, 424, 425, 5, 60, 0, 0, 425, + 106, 1, 0, 0, 0, 426, 427, 5, 62, 0, 0, 427, 428, 5, 62, 0, 0, 428, 108, 1, + 0, 0, 0, 429, 430, 5, 38, 0, 0, 430, 110, 1, 0, 0, 0, 431, 432, 5, 94, 0, 0, + 432, 112, 1, 0, 0, 0, 433, 434, 5, 124, 0, 0, 434, 114, 1, 0, 0, 0, 435, + 436, 5, 61, 0, 0, 436, 437, 5, 61, 0, 0, 437, 116, 1, 0, 0, 0, 438, 439, 5, + 33, 0, 0, 439, 440, 5, 61, 0, 0, 440, 118, 1, 0, 0, 0, 441, 442, 5, 62, 0, + 0, 442, 120, 1, 0, 0, 0, 443, 444, 5, 60, 0, 0, 444, 122, 1, 0, 0, 0, 445, + 446, 5, 62, 0, 0, 446, 447, 5, 61, 0, 0, 447, 124, 1, 0, 0, 0, 448, 449, 5, + 60, 0, 0, 449, 450, 5, 61, 0, 0, 450, 126, 1, 0, 0, 0, 451, 452, 5, 38, 0, + 0, 452, 453, 5, 38, 0, 0, 453, 128, 1, 0, 0, 0, 454, 455, 5, 124, 0, 0, 455, + 456, 5, 124, 0, 0, 456, 130, 1, 0, 0, 0, 457, 459, 3, 135, 67, 0, 458, 457, + 1, 0, 0, 0, 459, 462, 1, 0, 0, 0, 460, 458, 1, 0, 0, 0, 460, 461, 1, 0, 0, + 0, 461, 463, 1, 0, 0, 0, 462, 460, 1, 0, 0, 0, 463, 469, 3, 133, 66, 0, 464, + 468, 3, 133, 66, 0, 465, 468, 3, 139, 69, 0, 466, 468, 3, 135, 67, 0, 467, + 464, 1, 0, 0, 0, 467, 465, 1, 0, 0, 0, 467, 466, 1, 0, 0, 0, 468, 471, 1, 0, + 0, 0, 469, 467, 1, 0, 0, 0, 469, 470, 1, 0, 0, 0, 470, 132, 1, 0, 0, 0, 471, + 469, 1, 0, 0, 0, 472, 473, 7, 0, 0, 0, 473, 134, 1, 0, 0, 0, 474, 475, 7, 1, + 0, 0, 475, 136, 1, 0, 0, 0, 476, 478, 3, 139, 69, 0, 477, 476, 1, 0, 0, 0, + 478, 479, 1, 0, 0, 0, 479, 477, 1, 0, 0, 0, 479, 480, 1, 0, 0, 0, 480, 483, + 1, 0, 0, 0, 481, 483, 3, 141, 70, 0, 482, 477, 1, 0, 0, 0, 482, 481, 1, 0, + 0, 0, 483, 138, 1, 0, 0, 0, 484, 485, 7, 2, 0, 0, 485, 140, 1, 0, 0, 0, 486, + 487, 5, 48, 0, 0, 487, 489, 5, 120, 0, 0, 488, 490, 3, 143, 71, 0, 489, 488, + 1, 0, 0, 0, 490, 491, 1, 0, 0, 0, 491, 489, 1, 0, 0, 0, 491, 492, 1, 0, 0, + 0, 492, 142, 1, 0, 0, 0, 493, 494, 7, 3, 0, 0, 494, 144, 1, 0, 0, 0, 495, + 500, 5, 34, 0, 0, 496, 499, 3, 147, 73, 0, 497, 499, 9, 0, 0, 0, 498, 496, + 1, 0, 0, 0, 498, 497, 1, 0, 0, 0, 499, 502, 1, 0, 0, 0, 500, 501, 1, 0, 0, + 0, 500, 498, 1, 0, 0, 0, 501, 503, 1, 0, 0, 0, 502, 500, 1, 0, 0, 0, 503, + 504, 5, 34, 0, 0, 504, 146, 1, 0, 0, 0, 505, 506, 5, 92, 0, 0, 506, 507, 7, + 4, 0, 0, 507, 148, 1, 0, 0, 0, 508, 509, 5, 47, 0, 0, 509, 510, 5, 42, 0, 0, + 510, 514, 1, 0, 0, 0, 511, 513, 9, 0, 0, 0, 512, 511, 1, 0, 0, 0, 513, 516, + 1, 0, 0, 0, 514, 515, 1, 0, 0, 0, 514, 512, 1, 0, 0, 0, 515, 517, 1, 0, 0, + 0, 516, 514, 1, 0, 0, 0, 517, 518, 5, 42, 0, 0, 518, 519, 5, 47, 0, 0, 519, + 520, 1, 0, 0, 0, 520, 521, 6, 74, 0, 0, 521, 150, 1, 0, 0, 0, 522, 523, 5, + 47, 0, 0, 523, 524, 5, 47, 0, 0, 524, 528, 1, 0, 0, 0, 525, 527, 8, 5, 0, 0, + 526, 525, 1, 0, 0, 0, 527, 530, 1, 0, 0, 0, 528, 526, 1, 0, 0, 0, 528, 529, + 1, 0, 0, 0, 529, 531, 1, 0, 0, 0, 530, 528, 1, 0, 0, 0, 531, 532, 6, 75, 0, + 0, 532, 152, 1, 0, 0, 0, 533, 535, 7, 6, 0, 0, 534, 533, 1, 0, 0, 0, 535, + 536, 1, 0, 0, 0, 536, 534, 1, 0, 0, 0, 536, 537, 1, 0, 0, 0, 537, 538, 1, 0, + 0, 0, 538, 539, 6, 76, 0, 0, 539, 154, 1, 0, 0, 0, 17, 0, 163, 372, 378, + 386, 394, 460, 467, 469, 479, 482, 491, 498, 500, 514, 528, 536, 1, 0, 1, 0, ]; private static __ATN: ATN;