From 0edc46ab929846ca94dbc6d08ce4d48f9ab0eb97 Mon Sep 17 00:00:00 2001 From: ProgramSnail Date: Sun, 15 Jun 2025 23:11:51 +0300 Subject: [PATCH] parser fixes, named pattern fix, placeholders for node factory methods --- .../nodes/pattern/LamaNamedPattern.java | 15 +- .../programsnail/truffle_lama/parser/Lama.g4 | 19 +- .../truffle_lama/parser/Lama.interp | 2 +- .../truffle_lama/parser/LamaNodeFactory.java | 129 ++++ .../truffle_lama/parser/LamaParser.java | 662 +++++++++--------- 5 files changed, 486 insertions(+), 341 deletions(-) diff --git a/src/main/java/org/programsnail/truffle_lama/nodes/pattern/LamaNamedPattern.java b/src/main/java/org/programsnail/truffle_lama/nodes/pattern/LamaNamedPattern.java index 2f0ff95..710147d 100644 --- a/src/main/java/org/programsnail/truffle_lama/nodes/pattern/LamaNamedPattern.java +++ b/src/main/java/org/programsnail/truffle_lama/nodes/pattern/LamaNamedPattern.java @@ -1,18 +1,27 @@ package org.programsnail.truffle_lama.nodes.pattern; -import com.oracle.truffle.api.frame.VirtualFrame; - import java.util.Optional; public final class LamaNamedPattern extends LamaPattern { private final int id; + private final LamaPattern pattern; - public LamaNamedPattern(int id, VirtualFrame frame) { + public LamaNamedPattern(int id) { + this(id, null); + } + + public LamaNamedPattern(int id, LamaPattern pattern) { this.id = id; + this.pattern = pattern; } @Override public Optional match(Object object) { + if (pattern != null) { + var patternMatches = pattern.match(object); + patternMatches.ifPresent(patternMatch -> patternMatch.addMatch(id, object)); + return patternMatches; + } return Optional.of(new PatternMatch(id, object)); } } diff --git a/src/main/java/org/programsnail/truffle_lama/parser/Lama.g4 b/src/main/java/org/programsnail/truffle_lama/parser/Lama.g4 index a531362..3a00436 100644 --- a/src/main/java/org/programsnail/truffle_lama/parser/Lama.g4 +++ b/src/main/java/org/programsnail/truffle_lama/parser/Lama.g4 @@ -144,9 +144,9 @@ variable_definition returns [LamaExpressionNode result] variable_definition_sequence[is_public] { $result = $variable_definition_sequence.result; } ; variable_definition_sequence[boolean is_public] returns [LamaExpressionNode result]: - variable_definition_item { $result = factory.addVarNode($variable_definition_item.name, $variable_definition_item.expr); } + variable_definition_item { $result = factory.createVarNode($variable_definition_item.name, $variable_definition_item.expr); } (',' - variable_definition_item { $result = factory.addSeqNode($result, factory.addVarNode($variable_definition_item.name, $variable_definition_item.expr)); } + variable_definition_item { $result = factory.createSeqNode($result, factory.createVarNode($variable_definition_item.name, $variable_definition_item.expr)); } )* ';'; variable_definition_item returns [TruffleString name, Optional expr] : { $expr = Optional.empty(); } @@ -159,7 +159,7 @@ function_definition returns [LamaExpressionNode result] // TODO: scopes ( 'public' { is_public = true; } )? 'fun' LIDENT '(' (function_arguments)? ')' function_body - { $result = factory.addFunctionDefinition($LIDENT, $function_arguments.args, $function_body.result); } + { $result = factory.defineFunction($LIDENT, $function_arguments.args, $function_body.result); } ; function_arguments returns [List args] : { $args = new ArrayList(); } @@ -231,7 +231,7 @@ primary returns [LamaExpressionNode result]: | 'false' { $result = factory.createConstNode(0); } | 'infix' any_infix { $result = factory.createRefNode($any_infix.result); } | 'fun' '(' function_arguments ')' function_body - { $result = factory.addClosureDefinition($function_arguments.args, $function_body.result); } // TODO: scopes + { $result = factory.createClosureNode($function_arguments.args, $function_body.result); } // TODO: scopes | 'skip' { $result = factory.createSkipNode(); } | '(' scope_expression ')' { $result = $scope_expression.result; } // add some scope for correct attribution ?? | list_expression { $result = $list_expression.result; } @@ -363,13 +363,16 @@ array_pattern returns [LamaPattern result] ']' { $result = factory.createArrayPattern(elems); } ; -list_pattern returns [LamaPattern result]: +list_pattern returns [LamaPattern result] + : { List elems = new ArrayList(); } '{' ( - pattern { $result = $pattern.result; } + pattern { elems.addLast($pattern.result); } (',' - pattern { $result = factory.createSexpPattern("cons", {$result, $pattern.result}); } //FIXME: wrong order + pattern { elems.addLast($pattern.result); } //FIXME: wrong order )*)? - '}'; + '}' + { $result = factory.createListSexpPattern(elems); } +; // diff --git a/src/main/java/org/programsnail/truffle_lama/parser/Lama.interp b/src/main/java/org/programsnail/truffle_lama/parser/Lama.interp index 6294a85..49adfe1 100644 --- a/src/main/java/org/programsnail/truffle_lama/parser/Lama.interp +++ b/src/main/java/org/programsnail/truffle_lama/parser/Lama.interp @@ -142,4 +142,4 @@ any_infix atn: -[4, 1, 50, 556, 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, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25, 2, 26, 7, 26, 2, 27, 7, 27, 2, 28, 7, 28, 2, 29, 7, 29, 2, 30, 7, 30, 2, 31, 7, 31, 2, 32, 7, 32, 2, 33, 7, 33, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 78, 8, 1, 10, 1, 12, 1, 81, 9, 1, 1, 1, 1, 1, 1, 1, 3, 1, 86, 8, 1, 1, 1, 1, 1, 1, 1, 3, 1, 91, 8, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 3, 2, 99, 8, 2, 1, 3, 1, 3, 1, 3, 1, 3, 3, 3, 105, 8, 3, 1, 3, 1, 3, 1, 3, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 5, 4, 116, 8, 4, 10, 4, 12, 4, 119, 9, 4, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 3, 5, 130, 8, 5, 1, 6, 1, 6, 1, 6, 3, 6, 135, 8, 6, 1, 6, 1, 6, 1, 6, 1, 6, 3, 6, 141, 8, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 5, 7, 153, 8, 7, 10, 7, 12, 7, 156, 9, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 3, 9, 169, 8, 9, 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 5, 11, 180, 8, 11, 10, 11, 12, 11, 183, 9, 11, 1, 12, 1, 12, 1, 12, 3, 12, 188, 8, 12, 1, 12, 1, 12, 1, 12, 1, 12, 1, 12, 5, 12, 195, 8, 12, 10, 12, 12, 12, 198, 9, 12, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 5, 13, 208, 8, 13, 10, 13, 12, 13, 211, 9, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 3, 13, 222, 8, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 3, 14, 278, 8, 14, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 5, 15, 288, 8, 15, 10, 15, 12, 15, 291, 9, 15, 3, 15, 293, 8, 15, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 5, 16, 306, 8, 16, 10, 16, 12, 16, 309, 9, 16, 3, 16, 311, 8, 16, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 5, 17, 325, 8, 17, 10, 17, 12, 17, 328, 9, 17, 3, 17, 330, 8, 17, 1, 17, 3, 17, 333, 8, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 3, 18, 345, 8, 18, 1, 18, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 3, 19, 358, 8, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 3, 19, 366, 8, 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, 23, 1, 23, 1, 23, 1, 23, 1, 23, 1, 23, 3, 23, 399, 8, 23, 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, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 3, 25, 424, 8, 25, 1, 25, 1, 25, 1, 25, 1, 25, 3, 25, 430, 8, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 3, 25, 465, 8, 25, 1, 26, 1, 26, 1, 26, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 5, 27, 479, 8, 27, 10, 27, 12, 27, 482, 9, 27, 3, 27, 484, 8, 27, 1, 27, 3, 27, 487, 8, 27, 1, 27, 1, 27, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 5, 28, 499, 8, 28, 10, 28, 12, 28, 502, 9, 28, 3, 28, 504, 8, 28, 1, 28, 1, 28, 1, 28, 1, 29, 1, 29, 1, 29, 1, 29, 1, 29, 1, 29, 1, 29, 5, 29, 516, 8, 29, 10, 29, 12, 29, 519, 9, 29, 3, 29, 521, 8, 29, 1, 29, 1, 29, 1, 30, 1, 30, 1, 30, 1, 30, 1, 30, 1, 30, 1, 30, 1, 31, 1, 31, 1, 31, 1, 31, 1, 31, 1, 31, 1, 31, 5, 31, 539, 8, 31, 10, 31, 12, 31, 542, 9, 31, 1, 32, 1, 32, 1, 32, 1, 32, 1, 32, 1, 32, 1, 33, 1, 33, 1, 33, 1, 33, 3, 33, 554, 8, 33, 1, 33, 0, 0, 34, 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, 0, 0, 593, 0, 68, 1, 0, 0, 0, 2, 90, 1, 0, 0, 0, 4, 98, 1, 0, 0, 0, 6, 100, 1, 0, 0, 0, 8, 109, 1, 0, 0, 0, 10, 122, 1, 0, 0, 0, 12, 131, 1, 0, 0, 0, 14, 146, 1, 0, 0, 0, 16, 157, 1, 0, 0, 0, 18, 162, 1, 0, 0, 0, 20, 170, 1, 0, 0, 0, 22, 173, 1, 0, 0, 0, 24, 184, 1, 0, 0, 0, 26, 221, 1, 0, 0, 0, 28, 277, 1, 0, 0, 0, 30, 279, 1, 0, 0, 0, 32, 297, 1, 0, 0, 0, 34, 315, 1, 0, 0, 0, 36, 336, 1, 0, 0, 0, 38, 365, 1, 0, 0, 0, 40, 367, 1, 0, 0, 0, 42, 374, 1, 0, 0, 0, 44, 381, 1, 0, 0, 0, 46, 398, 1, 0, 0, 0, 48, 400, 1, 0, 0, 0, 50, 464, 1, 0, 0, 0, 52, 466, 1, 0, 0, 0, 54, 469, 1, 0, 0, 0, 56, 490, 1, 0, 0, 0, 58, 508, 1, 0, 0, 0, 60, 524, 1, 0, 0, 0, 62, 531, 1, 0, 0, 0, 64, 543, 1, 0, 0, 0, 66, 553, 1, 0, 0, 0, 68, 69, 3, 2, 1, 0, 69, 70, 6, 0, -1, 0, 70, 71, 5, 0, 0, 1, 71, 1, 1, 0, 0, 0, 72, 73, 3, 4, 2, 0, 73, 79, 6, 1, -1, 0, 74, 75, 3, 4, 2, 0, 75, 76, 6, 1, -1, 0, 76, 78, 1, 0, 0, 0, 77, 74, 1, 0, 0, 0, 78, 81, 1, 0, 0, 0, 79, 77, 1, 0, 0, 0, 79, 80, 1, 0, 0, 0, 80, 85, 1, 0, 0, 0, 81, 79, 1, 0, 0, 0, 82, 83, 3, 18, 9, 0, 83, 84, 6, 1, -1, 0, 84, 86, 1, 0, 0, 0, 85, 82, 1, 0, 0, 0, 85, 86, 1, 0, 0, 0, 86, 91, 1, 0, 0, 0, 87, 88, 3, 18, 9, 0, 88, 89, 6, 1, -1, 0, 89, 91, 1, 0, 0, 0, 90, 72, 1, 0, 0, 0, 90, 87, 1, 0, 0, 0, 91, 3, 1, 0, 0, 0, 92, 93, 3, 6, 3, 0, 93, 94, 6, 2, -1, 0, 94, 99, 1, 0, 0, 0, 95, 96, 3, 12, 6, 0, 96, 97, 6, 2, -1, 0, 97, 99, 1, 0, 0, 0, 98, 92, 1, 0, 0, 0, 98, 95, 1, 0, 0, 0, 99, 5, 1, 0, 0, 0, 100, 104, 6, 3, -1, 0, 101, 105, 5, 1, 0, 0, 102, 103, 5, 2, 0, 0, 103, 105, 6, 3, -1, 0, 104, 101, 1, 0, 0, 0, 104, 102, 1, 0, 0, 0, 105, 106, 1, 0, 0, 0, 106, 107, 3, 8, 4, 0, 107, 108, 6, 3, -1, 0, 108, 7, 1, 0, 0, 0, 109, 110, 3, 10, 5, 0, 110, 117, 6, 4, -1, 0, 111, 112, 5, 3, 0, 0, 112, 113, 3, 10, 5, 0, 113, 114, 6, 4, -1, 0, 114, 116, 1, 0, 0, 0, 115, 111, 1, 0, 0, 0, 116, 119, 1, 0, 0, 0, 117, 115, 1, 0, 0, 0, 117, 118, 1, 0, 0, 0, 118, 120, 1, 0, 0, 0, 119, 117, 1, 0, 0, 0, 120, 121, 5, 4, 0, 0, 121, 9, 1, 0, 0, 0, 122, 123, 6, 5, -1, 0, 123, 124, 5, 46, 0, 0, 124, 129, 6, 5, -1, 0, 125, 126, 5, 5, 0, 0, 126, 127, 3, 20, 10, 0, 127, 128, 6, 5, -1, 0, 128, 130, 1, 0, 0, 0, 129, 125, 1, 0, 0, 0, 129, 130, 1, 0, 0, 0, 130, 11, 1, 0, 0, 0, 131, 134, 6, 6, -1, 0, 132, 133, 5, 2, 0, 0, 133, 135, 6, 6, -1, 0, 134, 132, 1, 0, 0, 0, 134, 135, 1, 0, 0, 0, 135, 136, 1, 0, 0, 0, 136, 137, 5, 6, 0, 0, 137, 138, 5, 46, 0, 0, 138, 140, 5, 7, 0, 0, 139, 141, 3, 14, 7, 0, 140, 139, 1, 0, 0, 0, 140, 141, 1, 0, 0, 0, 141, 142, 1, 0, 0, 0, 142, 143, 5, 8, 0, 0, 143, 144, 3, 16, 8, 0, 144, 145, 6, 6, -1, 0, 145, 13, 1, 0, 0, 0, 146, 147, 6, 7, -1, 0, 147, 148, 5, 46, 0, 0, 148, 154, 6, 7, -1, 0, 149, 150, 5, 3, 0, 0, 150, 151, 5, 46, 0, 0, 151, 153, 6, 7, -1, 0, 152, 149, 1, 0, 0, 0, 153, 156, 1, 0, 0, 0, 154, 152, 1, 0, 0, 0, 154, 155, 1, 0, 0, 0, 155, 15, 1, 0, 0, 0, 156, 154, 1, 0, 0, 0, 157, 158, 5, 9, 0, 0, 158, 159, 3, 2, 1, 0, 159, 160, 6, 8, -1, 0, 160, 161, 5, 10, 0, 0, 161, 17, 1, 0, 0, 0, 162, 163, 3, 20, 10, 0, 163, 168, 6, 9, -1, 0, 164, 165, 5, 4, 0, 0, 165, 166, 3, 18, 9, 0, 166, 167, 6, 9, -1, 0, 167, 169, 1, 0, 0, 0, 168, 164, 1, 0, 0, 0, 168, 169, 1, 0, 0, 0, 169, 19, 1, 0, 0, 0, 170, 171, 3, 22, 11, 0, 171, 172, 6, 10, -1, 0, 172, 21, 1, 0, 0, 0, 173, 174, 3, 24, 12, 0, 174, 181, 6, 11, -1, 0, 175, 176, 3, 66, 33, 0, 176, 177, 3, 24, 12, 0, 177, 178, 6, 11, -1, 0, 178, 180, 1, 0, 0, 0, 179, 175, 1, 0, 0, 0, 180, 183, 1, 0, 0, 0, 181, 179, 1, 0, 0, 0, 181, 182, 1, 0, 0, 0, 182, 23, 1, 0, 0, 0, 183, 181, 1, 0, 0, 0, 184, 187, 6, 12, -1, 0, 185, 186, 5, 43, 0, 0, 186, 188, 6, 12, -1, 0, 187, 185, 1, 0, 0, 0, 187, 188, 1, 0, 0, 0, 188, 189, 1, 0, 0, 0, 189, 190, 3, 28, 14, 0, 190, 196, 6, 12, -1, 0, 191, 192, 3, 26, 13, 0, 192, 193, 6, 12, -1, 0, 193, 195, 1, 0, 0, 0, 194, 191, 1, 0, 0, 0, 195, 198, 1, 0, 0, 0, 196, 194, 1, 0, 0, 0, 196, 197, 1, 0, 0, 0, 197, 25, 1, 0, 0, 0, 198, 196, 1, 0, 0, 0, 199, 200, 6, 13, -1, 0, 200, 201, 5, 7, 0, 0, 201, 202, 3, 18, 9, 0, 202, 209, 6, 13, -1, 0, 203, 204, 5, 3, 0, 0, 204, 205, 3, 18, 9, 0, 205, 206, 6, 13, -1, 0, 206, 208, 1, 0, 0, 0, 207, 203, 1, 0, 0, 0, 208, 211, 1, 0, 0, 0, 209, 207, 1, 0, 0, 0, 209, 210, 1, 0, 0, 0, 210, 212, 1, 0, 0, 0, 211, 209, 1, 0, 0, 0, 212, 213, 5, 8, 0, 0, 213, 222, 1, 0, 0, 0, 214, 215, 5, 7, 0, 0, 215, 222, 5, 8, 0, 0, 216, 217, 5, 11, 0, 0, 217, 218, 3, 18, 9, 0, 218, 219, 6, 13, -1, 0, 219, 220, 5, 12, 0, 0, 220, 222, 1, 0, 0, 0, 221, 199, 1, 0, 0, 0, 221, 214, 1, 0, 0, 0, 221, 216, 1, 0, 0, 0, 222, 27, 1, 0, 0, 0, 223, 224, 5, 49, 0, 0, 224, 278, 6, 14, -1, 0, 225, 226, 5, 48, 0, 0, 226, 278, 6, 14, -1, 0, 227, 228, 5, 47, 0, 0, 228, 278, 6, 14, -1, 0, 229, 230, 5, 46, 0, 0, 230, 278, 6, 14, -1, 0, 231, 232, 5, 13, 0, 0, 232, 278, 6, 14, -1, 0, 233, 234, 5, 14, 0, 0, 234, 278, 6, 14, -1, 0, 235, 236, 5, 15, 0, 0, 236, 237, 3, 66, 33, 0, 237, 238, 6, 14, -1, 0, 238, 278, 1, 0, 0, 0, 239, 240, 5, 6, 0, 0, 240, 241, 5, 7, 0, 0, 241, 242, 3, 14, 7, 0, 242, 243, 5, 8, 0, 0, 243, 244, 3, 16, 8, 0, 244, 245, 6, 14, -1, 0, 245, 278, 1, 0, 0, 0, 246, 247, 5, 16, 0, 0, 247, 278, 6, 14, -1, 0, 248, 249, 5, 7, 0, 0, 249, 250, 3, 2, 1, 0, 250, 251, 5, 8, 0, 0, 251, 252, 6, 14, -1, 0, 252, 278, 1, 0, 0, 0, 253, 254, 3, 32, 16, 0, 254, 255, 6, 14, -1, 0, 255, 278, 1, 0, 0, 0, 256, 257, 3, 30, 15, 0, 257, 258, 6, 14, -1, 0, 258, 278, 1, 0, 0, 0, 259, 260, 3, 34, 17, 0, 260, 261, 6, 14, -1, 0, 261, 278, 1, 0, 0, 0, 262, 263, 3, 36, 18, 0, 263, 264, 6, 14, -1, 0, 264, 278, 1, 0, 0, 0, 265, 266, 3, 40, 20, 0, 266, 267, 6, 14, -1, 0, 267, 278, 1, 0, 0, 0, 268, 269, 3, 42, 21, 0, 269, 270, 6, 14, -1, 0, 270, 278, 1, 0, 0, 0, 271, 272, 3, 44, 22, 0, 272, 273, 6, 14, -1, 0, 273, 278, 1, 0, 0, 0, 274, 275, 3, 60, 30, 0, 275, 276, 6, 14, -1, 0, 276, 278, 1, 0, 0, 0, 277, 223, 1, 0, 0, 0, 277, 225, 1, 0, 0, 0, 277, 227, 1, 0, 0, 0, 277, 229, 1, 0, 0, 0, 277, 231, 1, 0, 0, 0, 277, 233, 1, 0, 0, 0, 277, 235, 1, 0, 0, 0, 277, 239, 1, 0, 0, 0, 277, 246, 1, 0, 0, 0, 277, 248, 1, 0, 0, 0, 277, 253, 1, 0, 0, 0, 277, 256, 1, 0, 0, 0, 277, 259, 1, 0, 0, 0, 277, 262, 1, 0, 0, 0, 277, 265, 1, 0, 0, 0, 277, 268, 1, 0, 0, 0, 277, 271, 1, 0, 0, 0, 277, 274, 1, 0, 0, 0, 278, 29, 1, 0, 0, 0, 279, 280, 6, 15, -1, 0, 280, 292, 5, 11, 0, 0, 281, 282, 3, 18, 9, 0, 282, 289, 6, 15, -1, 0, 283, 284, 5, 3, 0, 0, 284, 285, 3, 18, 9, 0, 285, 286, 6, 15, -1, 0, 286, 288, 1, 0, 0, 0, 287, 283, 1, 0, 0, 0, 288, 291, 1, 0, 0, 0, 289, 287, 1, 0, 0, 0, 289, 290, 1, 0, 0, 0, 290, 293, 1, 0, 0, 0, 291, 289, 1, 0, 0, 0, 292, 281, 1, 0, 0, 0, 292, 293, 1, 0, 0, 0, 293, 294, 1, 0, 0, 0, 294, 295, 5, 12, 0, 0, 295, 296, 6, 15, -1, 0, 296, 31, 1, 0, 0, 0, 297, 298, 6, 16, -1, 0, 298, 310, 5, 9, 0, 0, 299, 300, 3, 18, 9, 0, 300, 307, 6, 16, -1, 0, 301, 302, 5, 3, 0, 0, 302, 303, 3, 18, 9, 0, 303, 304, 6, 16, -1, 0, 304, 306, 1, 0, 0, 0, 305, 301, 1, 0, 0, 0, 306, 309, 1, 0, 0, 0, 307, 305, 1, 0, 0, 0, 307, 308, 1, 0, 0, 0, 308, 311, 1, 0, 0, 0, 309, 307, 1, 0, 0, 0, 310, 299, 1, 0, 0, 0, 310, 311, 1, 0, 0, 0, 311, 312, 1, 0, 0, 0, 312, 313, 5, 10, 0, 0, 313, 314, 6, 16, -1, 0, 314, 33, 1, 0, 0, 0, 315, 316, 6, 17, -1, 0, 316, 332, 5, 45, 0, 0, 317, 329, 5, 7, 0, 0, 318, 319, 3, 18, 9, 0, 319, 326, 6, 17, -1, 0, 320, 321, 5, 3, 0, 0, 321, 322, 3, 18, 9, 0, 322, 323, 6, 17, -1, 0, 323, 325, 1, 0, 0, 0, 324, 320, 1, 0, 0, 0, 325, 328, 1, 0, 0, 0, 326, 324, 1, 0, 0, 0, 326, 327, 1, 0, 0, 0, 327, 330, 1, 0, 0, 0, 328, 326, 1, 0, 0, 0, 329, 318, 1, 0, 0, 0, 329, 330, 1, 0, 0, 0, 330, 331, 1, 0, 0, 0, 331, 333, 5, 8, 0, 0, 332, 317, 1, 0, 0, 0, 332, 333, 1, 0, 0, 0, 333, 334, 1, 0, 0, 0, 334, 335, 6, 17, -1, 0, 335, 35, 1, 0, 0, 0, 336, 337, 6, 18, -1, 0, 337, 338, 5, 17, 0, 0, 338, 339, 3, 18, 9, 0, 339, 340, 5, 18, 0, 0, 340, 344, 3, 2, 1, 0, 341, 342, 3, 38, 19, 0, 342, 343, 6, 18, -1, 0, 343, 345, 1, 0, 0, 0, 344, 341, 1, 0, 0, 0, 344, 345, 1, 0, 0, 0, 345, 346, 1, 0, 0, 0, 346, 347, 5, 19, 0, 0, 347, 348, 6, 18, -1, 0, 348, 37, 1, 0, 0, 0, 349, 350, 5, 20, 0, 0, 350, 351, 6, 19, -1, 0, 351, 352, 3, 18, 9, 0, 352, 353, 5, 18, 0, 0, 353, 357, 3, 2, 1, 0, 354, 355, 3, 38, 19, 0, 355, 356, 6, 19, -1, 0, 356, 358, 1, 0, 0, 0, 357, 354, 1, 0, 0, 0, 357, 358, 1, 0, 0, 0, 358, 359, 1, 0, 0, 0, 359, 360, 6, 19, -1, 0, 360, 366, 1, 0, 0, 0, 361, 362, 5, 21, 0, 0, 362, 363, 3, 2, 1, 0, 363, 364, 6, 19, -1, 0, 364, 366, 1, 0, 0, 0, 365, 349, 1, 0, 0, 0, 365, 361, 1, 0, 0, 0, 366, 39, 1, 0, 0, 0, 367, 368, 5, 22, 0, 0, 368, 369, 3, 18, 9, 0, 369, 370, 5, 23, 0, 0, 370, 371, 3, 2, 1, 0, 371, 372, 5, 24, 0, 0, 372, 373, 6, 20, -1, 0, 373, 41, 1, 0, 0, 0, 374, 375, 5, 23, 0, 0, 375, 376, 3, 2, 1, 0, 376, 377, 5, 22, 0, 0, 377, 378, 3, 18, 9, 0, 378, 379, 5, 24, 0, 0, 379, 380, 6, 21, -1, 0, 380, 43, 1, 0, 0, 0, 381, 382, 5, 25, 0, 0, 382, 383, 3, 2, 1, 0, 383, 384, 5, 3, 0, 0, 384, 385, 3, 18, 9, 0, 385, 386, 5, 3, 0, 0, 386, 387, 3, 18, 9, 0, 387, 388, 5, 23, 0, 0, 388, 389, 3, 2, 1, 0, 389, 390, 5, 24, 0, 0, 390, 391, 6, 22, -1, 0, 391, 45, 1, 0, 0, 0, 392, 393, 3, 48, 24, 0, 393, 394, 6, 23, -1, 0, 394, 399, 1, 0, 0, 0, 395, 396, 3, 50, 25, 0, 396, 397, 6, 23, -1, 0, 397, 399, 1, 0, 0, 0, 398, 392, 1, 0, 0, 0, 398, 395, 1, 0, 0, 0, 399, 47, 1, 0, 0, 0, 400, 401, 3, 50, 25, 0, 401, 402, 5, 26, 0, 0, 402, 403, 3, 46, 23, 0, 403, 404, 6, 24, -1, 0, 404, 49, 1, 0, 0, 0, 405, 406, 3, 52, 26, 0, 406, 407, 6, 25, -1, 0, 407, 465, 1, 0, 0, 0, 408, 409, 3, 54, 27, 0, 409, 410, 6, 25, -1, 0, 410, 465, 1, 0, 0, 0, 411, 412, 3, 56, 28, 0, 412, 413, 6, 25, -1, 0, 413, 465, 1, 0, 0, 0, 414, 415, 3, 58, 29, 0, 415, 416, 6, 25, -1, 0, 416, 465, 1, 0, 0, 0, 417, 418, 5, 46, 0, 0, 418, 423, 6, 25, -1, 0, 419, 420, 5, 27, 0, 0, 420, 421, 3, 46, 23, 0, 421, 422, 6, 25, -1, 0, 422, 424, 1, 0, 0, 0, 423, 419, 1, 0, 0, 0, 423, 424, 1, 0, 0, 0, 424, 425, 1, 0, 0, 0, 425, 465, 6, 25, -1, 0, 426, 429, 6, 25, -1, 0, 427, 428, 5, 43, 0, 0, 428, 430, 6, 25, -1, 0, 429, 427, 1, 0, 0, 0, 429, 430, 1, 0, 0, 0, 430, 431, 1, 0, 0, 0, 431, 432, 5, 49, 0, 0, 432, 465, 6, 25, -1, 0, 433, 434, 5, 48, 0, 0, 434, 465, 6, 25, -1, 0, 435, 436, 5, 47, 0, 0, 436, 465, 6, 25, -1, 0, 437, 438, 5, 13, 0, 0, 438, 465, 6, 25, -1, 0, 439, 440, 5, 14, 0, 0, 440, 465, 6, 25, -1, 0, 441, 442, 5, 28, 0, 0, 442, 443, 5, 29, 0, 0, 443, 465, 6, 25, -1, 0, 444, 445, 5, 28, 0, 0, 445, 446, 5, 30, 0, 0, 446, 465, 6, 25, -1, 0, 447, 448, 5, 28, 0, 0, 448, 449, 5, 31, 0, 0, 449, 465, 6, 25, -1, 0, 450, 451, 5, 28, 0, 0, 451, 452, 5, 32, 0, 0, 452, 465, 6, 25, -1, 0, 453, 454, 5, 28, 0, 0, 454, 455, 5, 33, 0, 0, 455, 465, 6, 25, -1, 0, 456, 457, 5, 28, 0, 0, 457, 458, 5, 6, 0, 0, 458, 465, 6, 25, -1, 0, 459, 460, 5, 7, 0, 0, 460, 461, 3, 46, 23, 0, 461, 462, 5, 8, 0, 0, 462, 463, 6, 25, -1, 0, 463, 465, 1, 0, 0, 0, 464, 405, 1, 0, 0, 0, 464, 408, 1, 0, 0, 0, 464, 411, 1, 0, 0, 0, 464, 414, 1, 0, 0, 0, 464, 417, 1, 0, 0, 0, 464, 426, 1, 0, 0, 0, 464, 433, 1, 0, 0, 0, 464, 435, 1, 0, 0, 0, 464, 437, 1, 0, 0, 0, 464, 439, 1, 0, 0, 0, 464, 441, 1, 0, 0, 0, 464, 444, 1, 0, 0, 0, 464, 447, 1, 0, 0, 0, 464, 450, 1, 0, 0, 0, 464, 453, 1, 0, 0, 0, 464, 456, 1, 0, 0, 0, 464, 459, 1, 0, 0, 0, 465, 51, 1, 0, 0, 0, 466, 467, 5, 34, 0, 0, 467, 468, 6, 26, -1, 0, 468, 53, 1, 0, 0, 0, 469, 470, 6, 27, -1, 0, 470, 486, 5, 45, 0, 0, 471, 483, 5, 7, 0, 0, 472, 473, 3, 46, 23, 0, 473, 480, 6, 27, -1, 0, 474, 475, 5, 3, 0, 0, 475, 476, 3, 46, 23, 0, 476, 477, 6, 27, -1, 0, 477, 479, 1, 0, 0, 0, 478, 474, 1, 0, 0, 0, 479, 482, 1, 0, 0, 0, 480, 478, 1, 0, 0, 0, 480, 481, 1, 0, 0, 0, 481, 484, 1, 0, 0, 0, 482, 480, 1, 0, 0, 0, 483, 472, 1, 0, 0, 0, 483, 484, 1, 0, 0, 0, 484, 485, 1, 0, 0, 0, 485, 487, 5, 8, 0, 0, 486, 471, 1, 0, 0, 0, 486, 487, 1, 0, 0, 0, 487, 488, 1, 0, 0, 0, 488, 489, 6, 27, -1, 0, 489, 55, 1, 0, 0, 0, 490, 491, 6, 28, -1, 0, 491, 503, 5, 11, 0, 0, 492, 493, 3, 46, 23, 0, 493, 500, 6, 28, -1, 0, 494, 495, 5, 3, 0, 0, 495, 496, 3, 46, 23, 0, 496, 497, 6, 28, -1, 0, 497, 499, 1, 0, 0, 0, 498, 494, 1, 0, 0, 0, 499, 502, 1, 0, 0, 0, 500, 498, 1, 0, 0, 0, 500, 501, 1, 0, 0, 0, 501, 504, 1, 0, 0, 0, 502, 500, 1, 0, 0, 0, 503, 492, 1, 0, 0, 0, 503, 504, 1, 0, 0, 0, 504, 505, 1, 0, 0, 0, 505, 506, 5, 12, 0, 0, 506, 507, 6, 28, -1, 0, 507, 57, 1, 0, 0, 0, 508, 520, 5, 9, 0, 0, 509, 510, 3, 46, 23, 0, 510, 517, 6, 29, -1, 0, 511, 512, 5, 3, 0, 0, 512, 513, 3, 46, 23, 0, 513, 514, 6, 29, -1, 0, 514, 516, 1, 0, 0, 0, 515, 511, 1, 0, 0, 0, 516, 519, 1, 0, 0, 0, 517, 515, 1, 0, 0, 0, 517, 518, 1, 0, 0, 0, 518, 521, 1, 0, 0, 0, 519, 517, 1, 0, 0, 0, 520, 509, 1, 0, 0, 0, 520, 521, 1, 0, 0, 0, 521, 522, 1, 0, 0, 0, 522, 523, 5, 10, 0, 0, 523, 59, 1, 0, 0, 0, 524, 525, 5, 35, 0, 0, 525, 526, 3, 18, 9, 0, 526, 527, 5, 36, 0, 0, 527, 528, 3, 62, 31, 0, 528, 529, 5, 37, 0, 0, 529, 530, 6, 30, -1, 0, 530, 61, 1, 0, 0, 0, 531, 532, 6, 31, -1, 0, 532, 533, 3, 64, 32, 0, 533, 540, 6, 31, -1, 0, 534, 535, 5, 38, 0, 0, 535, 536, 3, 64, 32, 0, 536, 537, 6, 31, -1, 0, 537, 539, 1, 0, 0, 0, 538, 534, 1, 0, 0, 0, 539, 542, 1, 0, 0, 0, 540, 538, 1, 0, 0, 0, 540, 541, 1, 0, 0, 0, 541, 63, 1, 0, 0, 0, 542, 540, 1, 0, 0, 0, 543, 544, 3, 46, 23, 0, 544, 545, 6, 32, -1, 0, 545, 546, 5, 39, 0, 0, 546, 547, 3, 2, 1, 0, 547, 548, 6, 32, -1, 0, 548, 65, 1, 0, 0, 0, 549, 550, 5, 44, 0, 0, 550, 554, 6, 33, -1, 0, 551, 552, 5, 43, 0, 0, 552, 554, 6, 33, -1, 0, 553, 549, 1, 0, 0, 0, 553, 551, 1, 0, 0, 0, 554, 67, 1, 0, 0, 0, 40, 79, 85, 90, 98, 104, 117, 129, 134, 140, 154, 168, 181, 187, 196, 209, 221, 277, 289, 292, 307, 310, 326, 329, 332, 344, 357, 365, 398, 423, 429, 464, 480, 483, 486, 500, 503, 517, 520, 540, 553] \ No newline at end of file +[4, 1, 50, 558, 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, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25, 2, 26, 7, 26, 2, 27, 7, 27, 2, 28, 7, 28, 2, 29, 7, 29, 2, 30, 7, 30, 2, 31, 7, 31, 2, 32, 7, 32, 2, 33, 7, 33, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 78, 8, 1, 10, 1, 12, 1, 81, 9, 1, 1, 1, 1, 1, 1, 1, 3, 1, 86, 8, 1, 1, 1, 1, 1, 1, 1, 3, 1, 91, 8, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 3, 2, 99, 8, 2, 1, 3, 1, 3, 1, 3, 1, 3, 3, 3, 105, 8, 3, 1, 3, 1, 3, 1, 3, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 5, 4, 116, 8, 4, 10, 4, 12, 4, 119, 9, 4, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 3, 5, 130, 8, 5, 1, 6, 1, 6, 1, 6, 3, 6, 135, 8, 6, 1, 6, 1, 6, 1, 6, 1, 6, 3, 6, 141, 8, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 5, 7, 153, 8, 7, 10, 7, 12, 7, 156, 9, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 3, 9, 169, 8, 9, 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 5, 11, 180, 8, 11, 10, 11, 12, 11, 183, 9, 11, 1, 12, 1, 12, 1, 12, 3, 12, 188, 8, 12, 1, 12, 1, 12, 1, 12, 1, 12, 1, 12, 5, 12, 195, 8, 12, 10, 12, 12, 12, 198, 9, 12, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 5, 13, 208, 8, 13, 10, 13, 12, 13, 211, 9, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 3, 13, 222, 8, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 3, 14, 278, 8, 14, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 5, 15, 288, 8, 15, 10, 15, 12, 15, 291, 9, 15, 3, 15, 293, 8, 15, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 5, 16, 306, 8, 16, 10, 16, 12, 16, 309, 9, 16, 3, 16, 311, 8, 16, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 5, 17, 325, 8, 17, 10, 17, 12, 17, 328, 9, 17, 3, 17, 330, 8, 17, 1, 17, 3, 17, 333, 8, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 3, 18, 345, 8, 18, 1, 18, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 3, 19, 358, 8, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 3, 19, 366, 8, 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, 23, 1, 23, 1, 23, 1, 23, 1, 23, 1, 23, 3, 23, 399, 8, 23, 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, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 3, 25, 424, 8, 25, 1, 25, 1, 25, 1, 25, 1, 25, 3, 25, 430, 8, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 1, 25, 3, 25, 465, 8, 25, 1, 26, 1, 26, 1, 26, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 1, 27, 5, 27, 479, 8, 27, 10, 27, 12, 27, 482, 9, 27, 3, 27, 484, 8, 27, 1, 27, 3, 27, 487, 8, 27, 1, 27, 1, 27, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 1, 28, 5, 28, 499, 8, 28, 10, 28, 12, 28, 502, 9, 28, 3, 28, 504, 8, 28, 1, 28, 1, 28, 1, 28, 1, 29, 1, 29, 1, 29, 1, 29, 1, 29, 1, 29, 1, 29, 1, 29, 5, 29, 517, 8, 29, 10, 29, 12, 29, 520, 9, 29, 3, 29, 522, 8, 29, 1, 29, 1, 29, 1, 29, 1, 30, 1, 30, 1, 30, 1, 30, 1, 30, 1, 30, 1, 30, 1, 31, 1, 31, 1, 31, 1, 31, 1, 31, 1, 31, 1, 31, 5, 31, 541, 8, 31, 10, 31, 12, 31, 544, 9, 31, 1, 32, 1, 32, 1, 32, 1, 32, 1, 32, 1, 32, 1, 33, 1, 33, 1, 33, 1, 33, 3, 33, 556, 8, 33, 1, 33, 0, 0, 34, 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, 0, 0, 595, 0, 68, 1, 0, 0, 0, 2, 90, 1, 0, 0, 0, 4, 98, 1, 0, 0, 0, 6, 100, 1, 0, 0, 0, 8, 109, 1, 0, 0, 0, 10, 122, 1, 0, 0, 0, 12, 131, 1, 0, 0, 0, 14, 146, 1, 0, 0, 0, 16, 157, 1, 0, 0, 0, 18, 162, 1, 0, 0, 0, 20, 170, 1, 0, 0, 0, 22, 173, 1, 0, 0, 0, 24, 184, 1, 0, 0, 0, 26, 221, 1, 0, 0, 0, 28, 277, 1, 0, 0, 0, 30, 279, 1, 0, 0, 0, 32, 297, 1, 0, 0, 0, 34, 315, 1, 0, 0, 0, 36, 336, 1, 0, 0, 0, 38, 365, 1, 0, 0, 0, 40, 367, 1, 0, 0, 0, 42, 374, 1, 0, 0, 0, 44, 381, 1, 0, 0, 0, 46, 398, 1, 0, 0, 0, 48, 400, 1, 0, 0, 0, 50, 464, 1, 0, 0, 0, 52, 466, 1, 0, 0, 0, 54, 469, 1, 0, 0, 0, 56, 490, 1, 0, 0, 0, 58, 508, 1, 0, 0, 0, 60, 526, 1, 0, 0, 0, 62, 533, 1, 0, 0, 0, 64, 545, 1, 0, 0, 0, 66, 555, 1, 0, 0, 0, 68, 69, 3, 2, 1, 0, 69, 70, 6, 0, -1, 0, 70, 71, 5, 0, 0, 1, 71, 1, 1, 0, 0, 0, 72, 73, 3, 4, 2, 0, 73, 79, 6, 1, -1, 0, 74, 75, 3, 4, 2, 0, 75, 76, 6, 1, -1, 0, 76, 78, 1, 0, 0, 0, 77, 74, 1, 0, 0, 0, 78, 81, 1, 0, 0, 0, 79, 77, 1, 0, 0, 0, 79, 80, 1, 0, 0, 0, 80, 85, 1, 0, 0, 0, 81, 79, 1, 0, 0, 0, 82, 83, 3, 18, 9, 0, 83, 84, 6, 1, -1, 0, 84, 86, 1, 0, 0, 0, 85, 82, 1, 0, 0, 0, 85, 86, 1, 0, 0, 0, 86, 91, 1, 0, 0, 0, 87, 88, 3, 18, 9, 0, 88, 89, 6, 1, -1, 0, 89, 91, 1, 0, 0, 0, 90, 72, 1, 0, 0, 0, 90, 87, 1, 0, 0, 0, 91, 3, 1, 0, 0, 0, 92, 93, 3, 6, 3, 0, 93, 94, 6, 2, -1, 0, 94, 99, 1, 0, 0, 0, 95, 96, 3, 12, 6, 0, 96, 97, 6, 2, -1, 0, 97, 99, 1, 0, 0, 0, 98, 92, 1, 0, 0, 0, 98, 95, 1, 0, 0, 0, 99, 5, 1, 0, 0, 0, 100, 104, 6, 3, -1, 0, 101, 105, 5, 1, 0, 0, 102, 103, 5, 2, 0, 0, 103, 105, 6, 3, -1, 0, 104, 101, 1, 0, 0, 0, 104, 102, 1, 0, 0, 0, 105, 106, 1, 0, 0, 0, 106, 107, 3, 8, 4, 0, 107, 108, 6, 3, -1, 0, 108, 7, 1, 0, 0, 0, 109, 110, 3, 10, 5, 0, 110, 117, 6, 4, -1, 0, 111, 112, 5, 3, 0, 0, 112, 113, 3, 10, 5, 0, 113, 114, 6, 4, -1, 0, 114, 116, 1, 0, 0, 0, 115, 111, 1, 0, 0, 0, 116, 119, 1, 0, 0, 0, 117, 115, 1, 0, 0, 0, 117, 118, 1, 0, 0, 0, 118, 120, 1, 0, 0, 0, 119, 117, 1, 0, 0, 0, 120, 121, 5, 4, 0, 0, 121, 9, 1, 0, 0, 0, 122, 123, 6, 5, -1, 0, 123, 124, 5, 46, 0, 0, 124, 129, 6, 5, -1, 0, 125, 126, 5, 5, 0, 0, 126, 127, 3, 20, 10, 0, 127, 128, 6, 5, -1, 0, 128, 130, 1, 0, 0, 0, 129, 125, 1, 0, 0, 0, 129, 130, 1, 0, 0, 0, 130, 11, 1, 0, 0, 0, 131, 134, 6, 6, -1, 0, 132, 133, 5, 2, 0, 0, 133, 135, 6, 6, -1, 0, 134, 132, 1, 0, 0, 0, 134, 135, 1, 0, 0, 0, 135, 136, 1, 0, 0, 0, 136, 137, 5, 6, 0, 0, 137, 138, 5, 46, 0, 0, 138, 140, 5, 7, 0, 0, 139, 141, 3, 14, 7, 0, 140, 139, 1, 0, 0, 0, 140, 141, 1, 0, 0, 0, 141, 142, 1, 0, 0, 0, 142, 143, 5, 8, 0, 0, 143, 144, 3, 16, 8, 0, 144, 145, 6, 6, -1, 0, 145, 13, 1, 0, 0, 0, 146, 147, 6, 7, -1, 0, 147, 148, 5, 46, 0, 0, 148, 154, 6, 7, -1, 0, 149, 150, 5, 3, 0, 0, 150, 151, 5, 46, 0, 0, 151, 153, 6, 7, -1, 0, 152, 149, 1, 0, 0, 0, 153, 156, 1, 0, 0, 0, 154, 152, 1, 0, 0, 0, 154, 155, 1, 0, 0, 0, 155, 15, 1, 0, 0, 0, 156, 154, 1, 0, 0, 0, 157, 158, 5, 9, 0, 0, 158, 159, 3, 2, 1, 0, 159, 160, 6, 8, -1, 0, 160, 161, 5, 10, 0, 0, 161, 17, 1, 0, 0, 0, 162, 163, 3, 20, 10, 0, 163, 168, 6, 9, -1, 0, 164, 165, 5, 4, 0, 0, 165, 166, 3, 18, 9, 0, 166, 167, 6, 9, -1, 0, 167, 169, 1, 0, 0, 0, 168, 164, 1, 0, 0, 0, 168, 169, 1, 0, 0, 0, 169, 19, 1, 0, 0, 0, 170, 171, 3, 22, 11, 0, 171, 172, 6, 10, -1, 0, 172, 21, 1, 0, 0, 0, 173, 174, 3, 24, 12, 0, 174, 181, 6, 11, -1, 0, 175, 176, 3, 66, 33, 0, 176, 177, 3, 24, 12, 0, 177, 178, 6, 11, -1, 0, 178, 180, 1, 0, 0, 0, 179, 175, 1, 0, 0, 0, 180, 183, 1, 0, 0, 0, 181, 179, 1, 0, 0, 0, 181, 182, 1, 0, 0, 0, 182, 23, 1, 0, 0, 0, 183, 181, 1, 0, 0, 0, 184, 187, 6, 12, -1, 0, 185, 186, 5, 43, 0, 0, 186, 188, 6, 12, -1, 0, 187, 185, 1, 0, 0, 0, 187, 188, 1, 0, 0, 0, 188, 189, 1, 0, 0, 0, 189, 190, 3, 28, 14, 0, 190, 196, 6, 12, -1, 0, 191, 192, 3, 26, 13, 0, 192, 193, 6, 12, -1, 0, 193, 195, 1, 0, 0, 0, 194, 191, 1, 0, 0, 0, 195, 198, 1, 0, 0, 0, 196, 194, 1, 0, 0, 0, 196, 197, 1, 0, 0, 0, 197, 25, 1, 0, 0, 0, 198, 196, 1, 0, 0, 0, 199, 200, 6, 13, -1, 0, 200, 201, 5, 7, 0, 0, 201, 202, 3, 18, 9, 0, 202, 209, 6, 13, -1, 0, 203, 204, 5, 3, 0, 0, 204, 205, 3, 18, 9, 0, 205, 206, 6, 13, -1, 0, 206, 208, 1, 0, 0, 0, 207, 203, 1, 0, 0, 0, 208, 211, 1, 0, 0, 0, 209, 207, 1, 0, 0, 0, 209, 210, 1, 0, 0, 0, 210, 212, 1, 0, 0, 0, 211, 209, 1, 0, 0, 0, 212, 213, 5, 8, 0, 0, 213, 222, 1, 0, 0, 0, 214, 215, 5, 7, 0, 0, 215, 222, 5, 8, 0, 0, 216, 217, 5, 11, 0, 0, 217, 218, 3, 18, 9, 0, 218, 219, 6, 13, -1, 0, 219, 220, 5, 12, 0, 0, 220, 222, 1, 0, 0, 0, 221, 199, 1, 0, 0, 0, 221, 214, 1, 0, 0, 0, 221, 216, 1, 0, 0, 0, 222, 27, 1, 0, 0, 0, 223, 224, 5, 49, 0, 0, 224, 278, 6, 14, -1, 0, 225, 226, 5, 48, 0, 0, 226, 278, 6, 14, -1, 0, 227, 228, 5, 47, 0, 0, 228, 278, 6, 14, -1, 0, 229, 230, 5, 46, 0, 0, 230, 278, 6, 14, -1, 0, 231, 232, 5, 13, 0, 0, 232, 278, 6, 14, -1, 0, 233, 234, 5, 14, 0, 0, 234, 278, 6, 14, -1, 0, 235, 236, 5, 15, 0, 0, 236, 237, 3, 66, 33, 0, 237, 238, 6, 14, -1, 0, 238, 278, 1, 0, 0, 0, 239, 240, 5, 6, 0, 0, 240, 241, 5, 7, 0, 0, 241, 242, 3, 14, 7, 0, 242, 243, 5, 8, 0, 0, 243, 244, 3, 16, 8, 0, 244, 245, 6, 14, -1, 0, 245, 278, 1, 0, 0, 0, 246, 247, 5, 16, 0, 0, 247, 278, 6, 14, -1, 0, 248, 249, 5, 7, 0, 0, 249, 250, 3, 2, 1, 0, 250, 251, 5, 8, 0, 0, 251, 252, 6, 14, -1, 0, 252, 278, 1, 0, 0, 0, 253, 254, 3, 32, 16, 0, 254, 255, 6, 14, -1, 0, 255, 278, 1, 0, 0, 0, 256, 257, 3, 30, 15, 0, 257, 258, 6, 14, -1, 0, 258, 278, 1, 0, 0, 0, 259, 260, 3, 34, 17, 0, 260, 261, 6, 14, -1, 0, 261, 278, 1, 0, 0, 0, 262, 263, 3, 36, 18, 0, 263, 264, 6, 14, -1, 0, 264, 278, 1, 0, 0, 0, 265, 266, 3, 40, 20, 0, 266, 267, 6, 14, -1, 0, 267, 278, 1, 0, 0, 0, 268, 269, 3, 42, 21, 0, 269, 270, 6, 14, -1, 0, 270, 278, 1, 0, 0, 0, 271, 272, 3, 44, 22, 0, 272, 273, 6, 14, -1, 0, 273, 278, 1, 0, 0, 0, 274, 275, 3, 60, 30, 0, 275, 276, 6, 14, -1, 0, 276, 278, 1, 0, 0, 0, 277, 223, 1, 0, 0, 0, 277, 225, 1, 0, 0, 0, 277, 227, 1, 0, 0, 0, 277, 229, 1, 0, 0, 0, 277, 231, 1, 0, 0, 0, 277, 233, 1, 0, 0, 0, 277, 235, 1, 0, 0, 0, 277, 239, 1, 0, 0, 0, 277, 246, 1, 0, 0, 0, 277, 248, 1, 0, 0, 0, 277, 253, 1, 0, 0, 0, 277, 256, 1, 0, 0, 0, 277, 259, 1, 0, 0, 0, 277, 262, 1, 0, 0, 0, 277, 265, 1, 0, 0, 0, 277, 268, 1, 0, 0, 0, 277, 271, 1, 0, 0, 0, 277, 274, 1, 0, 0, 0, 278, 29, 1, 0, 0, 0, 279, 280, 6, 15, -1, 0, 280, 292, 5, 11, 0, 0, 281, 282, 3, 18, 9, 0, 282, 289, 6, 15, -1, 0, 283, 284, 5, 3, 0, 0, 284, 285, 3, 18, 9, 0, 285, 286, 6, 15, -1, 0, 286, 288, 1, 0, 0, 0, 287, 283, 1, 0, 0, 0, 288, 291, 1, 0, 0, 0, 289, 287, 1, 0, 0, 0, 289, 290, 1, 0, 0, 0, 290, 293, 1, 0, 0, 0, 291, 289, 1, 0, 0, 0, 292, 281, 1, 0, 0, 0, 292, 293, 1, 0, 0, 0, 293, 294, 1, 0, 0, 0, 294, 295, 5, 12, 0, 0, 295, 296, 6, 15, -1, 0, 296, 31, 1, 0, 0, 0, 297, 298, 6, 16, -1, 0, 298, 310, 5, 9, 0, 0, 299, 300, 3, 18, 9, 0, 300, 307, 6, 16, -1, 0, 301, 302, 5, 3, 0, 0, 302, 303, 3, 18, 9, 0, 303, 304, 6, 16, -1, 0, 304, 306, 1, 0, 0, 0, 305, 301, 1, 0, 0, 0, 306, 309, 1, 0, 0, 0, 307, 305, 1, 0, 0, 0, 307, 308, 1, 0, 0, 0, 308, 311, 1, 0, 0, 0, 309, 307, 1, 0, 0, 0, 310, 299, 1, 0, 0, 0, 310, 311, 1, 0, 0, 0, 311, 312, 1, 0, 0, 0, 312, 313, 5, 10, 0, 0, 313, 314, 6, 16, -1, 0, 314, 33, 1, 0, 0, 0, 315, 316, 6, 17, -1, 0, 316, 332, 5, 45, 0, 0, 317, 329, 5, 7, 0, 0, 318, 319, 3, 18, 9, 0, 319, 326, 6, 17, -1, 0, 320, 321, 5, 3, 0, 0, 321, 322, 3, 18, 9, 0, 322, 323, 6, 17, -1, 0, 323, 325, 1, 0, 0, 0, 324, 320, 1, 0, 0, 0, 325, 328, 1, 0, 0, 0, 326, 324, 1, 0, 0, 0, 326, 327, 1, 0, 0, 0, 327, 330, 1, 0, 0, 0, 328, 326, 1, 0, 0, 0, 329, 318, 1, 0, 0, 0, 329, 330, 1, 0, 0, 0, 330, 331, 1, 0, 0, 0, 331, 333, 5, 8, 0, 0, 332, 317, 1, 0, 0, 0, 332, 333, 1, 0, 0, 0, 333, 334, 1, 0, 0, 0, 334, 335, 6, 17, -1, 0, 335, 35, 1, 0, 0, 0, 336, 337, 6, 18, -1, 0, 337, 338, 5, 17, 0, 0, 338, 339, 3, 18, 9, 0, 339, 340, 5, 18, 0, 0, 340, 344, 3, 2, 1, 0, 341, 342, 3, 38, 19, 0, 342, 343, 6, 18, -1, 0, 343, 345, 1, 0, 0, 0, 344, 341, 1, 0, 0, 0, 344, 345, 1, 0, 0, 0, 345, 346, 1, 0, 0, 0, 346, 347, 5, 19, 0, 0, 347, 348, 6, 18, -1, 0, 348, 37, 1, 0, 0, 0, 349, 350, 5, 20, 0, 0, 350, 351, 6, 19, -1, 0, 351, 352, 3, 18, 9, 0, 352, 353, 5, 18, 0, 0, 353, 357, 3, 2, 1, 0, 354, 355, 3, 38, 19, 0, 355, 356, 6, 19, -1, 0, 356, 358, 1, 0, 0, 0, 357, 354, 1, 0, 0, 0, 357, 358, 1, 0, 0, 0, 358, 359, 1, 0, 0, 0, 359, 360, 6, 19, -1, 0, 360, 366, 1, 0, 0, 0, 361, 362, 5, 21, 0, 0, 362, 363, 3, 2, 1, 0, 363, 364, 6, 19, -1, 0, 364, 366, 1, 0, 0, 0, 365, 349, 1, 0, 0, 0, 365, 361, 1, 0, 0, 0, 366, 39, 1, 0, 0, 0, 367, 368, 5, 22, 0, 0, 368, 369, 3, 18, 9, 0, 369, 370, 5, 23, 0, 0, 370, 371, 3, 2, 1, 0, 371, 372, 5, 24, 0, 0, 372, 373, 6, 20, -1, 0, 373, 41, 1, 0, 0, 0, 374, 375, 5, 23, 0, 0, 375, 376, 3, 2, 1, 0, 376, 377, 5, 22, 0, 0, 377, 378, 3, 18, 9, 0, 378, 379, 5, 24, 0, 0, 379, 380, 6, 21, -1, 0, 380, 43, 1, 0, 0, 0, 381, 382, 5, 25, 0, 0, 382, 383, 3, 2, 1, 0, 383, 384, 5, 3, 0, 0, 384, 385, 3, 18, 9, 0, 385, 386, 5, 3, 0, 0, 386, 387, 3, 18, 9, 0, 387, 388, 5, 23, 0, 0, 388, 389, 3, 2, 1, 0, 389, 390, 5, 24, 0, 0, 390, 391, 6, 22, -1, 0, 391, 45, 1, 0, 0, 0, 392, 393, 3, 48, 24, 0, 393, 394, 6, 23, -1, 0, 394, 399, 1, 0, 0, 0, 395, 396, 3, 50, 25, 0, 396, 397, 6, 23, -1, 0, 397, 399, 1, 0, 0, 0, 398, 392, 1, 0, 0, 0, 398, 395, 1, 0, 0, 0, 399, 47, 1, 0, 0, 0, 400, 401, 3, 50, 25, 0, 401, 402, 5, 26, 0, 0, 402, 403, 3, 46, 23, 0, 403, 404, 6, 24, -1, 0, 404, 49, 1, 0, 0, 0, 405, 406, 3, 52, 26, 0, 406, 407, 6, 25, -1, 0, 407, 465, 1, 0, 0, 0, 408, 409, 3, 54, 27, 0, 409, 410, 6, 25, -1, 0, 410, 465, 1, 0, 0, 0, 411, 412, 3, 56, 28, 0, 412, 413, 6, 25, -1, 0, 413, 465, 1, 0, 0, 0, 414, 415, 3, 58, 29, 0, 415, 416, 6, 25, -1, 0, 416, 465, 1, 0, 0, 0, 417, 418, 5, 46, 0, 0, 418, 423, 6, 25, -1, 0, 419, 420, 5, 27, 0, 0, 420, 421, 3, 46, 23, 0, 421, 422, 6, 25, -1, 0, 422, 424, 1, 0, 0, 0, 423, 419, 1, 0, 0, 0, 423, 424, 1, 0, 0, 0, 424, 425, 1, 0, 0, 0, 425, 465, 6, 25, -1, 0, 426, 429, 6, 25, -1, 0, 427, 428, 5, 43, 0, 0, 428, 430, 6, 25, -1, 0, 429, 427, 1, 0, 0, 0, 429, 430, 1, 0, 0, 0, 430, 431, 1, 0, 0, 0, 431, 432, 5, 49, 0, 0, 432, 465, 6, 25, -1, 0, 433, 434, 5, 48, 0, 0, 434, 465, 6, 25, -1, 0, 435, 436, 5, 47, 0, 0, 436, 465, 6, 25, -1, 0, 437, 438, 5, 13, 0, 0, 438, 465, 6, 25, -1, 0, 439, 440, 5, 14, 0, 0, 440, 465, 6, 25, -1, 0, 441, 442, 5, 28, 0, 0, 442, 443, 5, 29, 0, 0, 443, 465, 6, 25, -1, 0, 444, 445, 5, 28, 0, 0, 445, 446, 5, 30, 0, 0, 446, 465, 6, 25, -1, 0, 447, 448, 5, 28, 0, 0, 448, 449, 5, 31, 0, 0, 449, 465, 6, 25, -1, 0, 450, 451, 5, 28, 0, 0, 451, 452, 5, 32, 0, 0, 452, 465, 6, 25, -1, 0, 453, 454, 5, 28, 0, 0, 454, 455, 5, 33, 0, 0, 455, 465, 6, 25, -1, 0, 456, 457, 5, 28, 0, 0, 457, 458, 5, 6, 0, 0, 458, 465, 6, 25, -1, 0, 459, 460, 5, 7, 0, 0, 460, 461, 3, 46, 23, 0, 461, 462, 5, 8, 0, 0, 462, 463, 6, 25, -1, 0, 463, 465, 1, 0, 0, 0, 464, 405, 1, 0, 0, 0, 464, 408, 1, 0, 0, 0, 464, 411, 1, 0, 0, 0, 464, 414, 1, 0, 0, 0, 464, 417, 1, 0, 0, 0, 464, 426, 1, 0, 0, 0, 464, 433, 1, 0, 0, 0, 464, 435, 1, 0, 0, 0, 464, 437, 1, 0, 0, 0, 464, 439, 1, 0, 0, 0, 464, 441, 1, 0, 0, 0, 464, 444, 1, 0, 0, 0, 464, 447, 1, 0, 0, 0, 464, 450, 1, 0, 0, 0, 464, 453, 1, 0, 0, 0, 464, 456, 1, 0, 0, 0, 464, 459, 1, 0, 0, 0, 465, 51, 1, 0, 0, 0, 466, 467, 5, 34, 0, 0, 467, 468, 6, 26, -1, 0, 468, 53, 1, 0, 0, 0, 469, 470, 6, 27, -1, 0, 470, 486, 5, 45, 0, 0, 471, 483, 5, 7, 0, 0, 472, 473, 3, 46, 23, 0, 473, 480, 6, 27, -1, 0, 474, 475, 5, 3, 0, 0, 475, 476, 3, 46, 23, 0, 476, 477, 6, 27, -1, 0, 477, 479, 1, 0, 0, 0, 478, 474, 1, 0, 0, 0, 479, 482, 1, 0, 0, 0, 480, 478, 1, 0, 0, 0, 480, 481, 1, 0, 0, 0, 481, 484, 1, 0, 0, 0, 482, 480, 1, 0, 0, 0, 483, 472, 1, 0, 0, 0, 483, 484, 1, 0, 0, 0, 484, 485, 1, 0, 0, 0, 485, 487, 5, 8, 0, 0, 486, 471, 1, 0, 0, 0, 486, 487, 1, 0, 0, 0, 487, 488, 1, 0, 0, 0, 488, 489, 6, 27, -1, 0, 489, 55, 1, 0, 0, 0, 490, 491, 6, 28, -1, 0, 491, 503, 5, 11, 0, 0, 492, 493, 3, 46, 23, 0, 493, 500, 6, 28, -1, 0, 494, 495, 5, 3, 0, 0, 495, 496, 3, 46, 23, 0, 496, 497, 6, 28, -1, 0, 497, 499, 1, 0, 0, 0, 498, 494, 1, 0, 0, 0, 499, 502, 1, 0, 0, 0, 500, 498, 1, 0, 0, 0, 500, 501, 1, 0, 0, 0, 501, 504, 1, 0, 0, 0, 502, 500, 1, 0, 0, 0, 503, 492, 1, 0, 0, 0, 503, 504, 1, 0, 0, 0, 504, 505, 1, 0, 0, 0, 505, 506, 5, 12, 0, 0, 506, 507, 6, 28, -1, 0, 507, 57, 1, 0, 0, 0, 508, 509, 6, 29, -1, 0, 509, 521, 5, 9, 0, 0, 510, 511, 3, 46, 23, 0, 511, 518, 6, 29, -1, 0, 512, 513, 5, 3, 0, 0, 513, 514, 3, 46, 23, 0, 514, 515, 6, 29, -1, 0, 515, 517, 1, 0, 0, 0, 516, 512, 1, 0, 0, 0, 517, 520, 1, 0, 0, 0, 518, 516, 1, 0, 0, 0, 518, 519, 1, 0, 0, 0, 519, 522, 1, 0, 0, 0, 520, 518, 1, 0, 0, 0, 521, 510, 1, 0, 0, 0, 521, 522, 1, 0, 0, 0, 522, 523, 1, 0, 0, 0, 523, 524, 5, 10, 0, 0, 524, 525, 6, 29, -1, 0, 525, 59, 1, 0, 0, 0, 526, 527, 5, 35, 0, 0, 527, 528, 3, 18, 9, 0, 528, 529, 5, 36, 0, 0, 529, 530, 3, 62, 31, 0, 530, 531, 5, 37, 0, 0, 531, 532, 6, 30, -1, 0, 532, 61, 1, 0, 0, 0, 533, 534, 6, 31, -1, 0, 534, 535, 3, 64, 32, 0, 535, 542, 6, 31, -1, 0, 536, 537, 5, 38, 0, 0, 537, 538, 3, 64, 32, 0, 538, 539, 6, 31, -1, 0, 539, 541, 1, 0, 0, 0, 540, 536, 1, 0, 0, 0, 541, 544, 1, 0, 0, 0, 542, 540, 1, 0, 0, 0, 542, 543, 1, 0, 0, 0, 543, 63, 1, 0, 0, 0, 544, 542, 1, 0, 0, 0, 545, 546, 3, 46, 23, 0, 546, 547, 6, 32, -1, 0, 547, 548, 5, 39, 0, 0, 548, 549, 3, 2, 1, 0, 549, 550, 6, 32, -1, 0, 550, 65, 1, 0, 0, 0, 551, 552, 5, 44, 0, 0, 552, 556, 6, 33, -1, 0, 553, 554, 5, 43, 0, 0, 554, 556, 6, 33, -1, 0, 555, 551, 1, 0, 0, 0, 555, 553, 1, 0, 0, 0, 556, 67, 1, 0, 0, 0, 40, 79, 85, 90, 98, 104, 117, 129, 134, 140, 154, 168, 181, 187, 196, 209, 221, 277, 289, 292, 307, 310, 326, 329, 332, 344, 357, 365, 398, 423, 429, 464, 480, 483, 486, 500, 503, 518, 521, 542, 555] \ No newline at end of file diff --git a/src/main/java/org/programsnail/truffle_lama/parser/LamaNodeFactory.java b/src/main/java/org/programsnail/truffle_lama/parser/LamaNodeFactory.java index a5159cb..598dc57 100644 --- a/src/main/java/org/programsnail/truffle_lama/parser/LamaNodeFactory.java +++ b/src/main/java/org/programsnail/truffle_lama/parser/LamaNodeFactory.java @@ -7,6 +7,7 @@ import com.oracle.truffle.api.strings.TruffleString; import org.programsnail.truffle_lama.LamaLanguage; import org.programsnail.truffle_lama.LamaStrings; import org.programsnail.truffle_lama.nodes.LamaExpressionNode; +import org.programsnail.truffle_lama.nodes.pattern.LamaPattern; import java.util.HashMap; import java.util.List; @@ -70,6 +71,12 @@ public class LamaNodeFactory { // --- + public LamaExpressionNode defineFunction(String name, LamaExpressionNode[] args, LamaExpressionNode body) { + + } + + // --- + public LamaExpressionNode createStringNode(String value) { } @@ -78,8 +85,130 @@ public class LamaNodeFactory { } + public LamaExpressionNode createVarNode(String name, LamaExpressionNode value) { + + } + + public LamaExpressionNode createSeqNode(LamaExpressionNode left, LamaExpressionNode ripht) { + + } + + public LamaExpressionNode createBinopNode(String op, LamaExpressionNode left, LamaExpressionNode ripht) { + + } + + // TODO: decide Elem or ElemRef + public LamaExpressionNode createElemNode(LamaExpressionNode array, LamaExpressionNode index) { + + } + + public LamaExpressionNode createCallNode(LamaExpressionNode func, LamaExpressionNode[] args) { + + } + + public LamaExpressionNode createRefNode(String name) { + + } + + public LamaExpressionNode createClosureNode(LamaExpressionNode[] args, LamaExpressionNode body) { + + } + + public LamaExpressionNode createSkipNode() { + + } + + public LamaExpressionNode createArrayNode(LamaExpressionNode[] elems) { + + } + + // sexps-pairs with tag 'cons' + public LamaExpressionNode createListSexpNode(LamaExpressionNode[] elems) { + + } + + public LamaExpressionNode createSexpNode(String tag, LamaExpressionNode[] elems) { + + } + + public LamaExpressionNode createItNode(LamaExpressionNode condition, LamaExpressionNode doThen, LamaExpressionNode doElse) { + + } + + public LamaExpressionNode createWhileNode(LamaExpressionNode condition, LamaExpressionNode body) { + + } + + public LamaExpressionNode createDoWhileNode(LamaExpressionNode condition, LamaExpressionNode body) { + + } + + public LamaExpressionNode createCaseNode(LamaExpressionNode value, LamaPattern[] patterns, LamaExpressionNode[] exprs) { + + } + // --- + public LamaPattern createWildcardPattern() { + + } + + public LamaPattern createSexpPattern(String name, LamaPattern[] elems) { + + } + + public LamaPattern createArrayPattern(LamaPattern[] elems) { + + } + + // sexps-pairs with tag 'cons' + public LamaPattern createListSexpPattern(LamaPattern[] elems) { + + } + + // TODO: fix name pattern: add possibility of associated pattern + public LamaPattern createNamedPattern(String name, LamaPattern pattern) { + + } + + public LamaPattern createConstPattern(long value) { + + } + + public LamaPattern createNegativeConstPattern(long value) { + + } + + public LamaPattern createStringPattern(String value) { + + } + + public LamaPattern createBoxedPattern() { + + } + + public LamaPattern createUnBoxedPattern() { + + } + + public LamaPattern createStringTagPattern() { + + } + + public LamaPattern createArrayTagPattern() { + + } + + public LamaPattern createSexpTagPattern() { + + } + + public LamaPattern createClosureTagPattern() { + + } + + // ---= + public LamaExpressionNode getRootExpr() { // TODO return null; diff --git a/src/main/java/org/programsnail/truffle_lama/parser/LamaParser.java b/src/main/java/org/programsnail/truffle_lama/parser/LamaParser.java index 31a2b88..f6ee9c8 100644 --- a/src/main/java/org/programsnail/truffle_lama/parser/LamaParser.java +++ b/src/main/java/org/programsnail/truffle_lama/parser/LamaParser.java @@ -499,7 +499,7 @@ public class LamaParser extends Parser { { setState(109); ((Variable_definition_sequenceContext)_localctx).variable_definition_item = variable_definition_item(); - ((Variable_definition_sequenceContext)_localctx).result = factory.addVarNode(((Variable_definition_sequenceContext)_localctx).variable_definition_item.name, ((Variable_definition_sequenceContext)_localctx).variable_definition_item.expr); + ((Variable_definition_sequenceContext)_localctx).result = factory.createVarNode(((Variable_definition_sequenceContext)_localctx).variable_definition_item.name, ((Variable_definition_sequenceContext)_localctx).variable_definition_item.expr); setState(117); _errHandler.sync(this); _la = _input.LA(1); @@ -510,7 +510,7 @@ public class LamaParser extends Parser { match(T__2); setState(112); ((Variable_definition_sequenceContext)_localctx).variable_definition_item = variable_definition_item(); - ((Variable_definition_sequenceContext)_localctx).result = factory.addSeqNode(_localctx.result, factory.addVarNode(((Variable_definition_sequenceContext)_localctx).variable_definition_item.name, ((Variable_definition_sequenceContext)_localctx).variable_definition_item.expr)); + ((Variable_definition_sequenceContext)_localctx).result = factory.createSeqNode(_localctx.result, factory.createVarNode(((Variable_definition_sequenceContext)_localctx).variable_definition_item.name, ((Variable_definition_sequenceContext)_localctx).variable_definition_item.expr)); } } setState(119); @@ -669,7 +669,7 @@ public class LamaParser extends Parser { match(T__7); setState(143); ((Function_definitionContext)_localctx).function_body = function_body(); - ((Function_definitionContext)_localctx).result = factory.addFunctionDefinition(((Function_definitionContext)_localctx).LIDENT, ((Function_definitionContext)_localctx).function_arguments.args, ((Function_definitionContext)_localctx).function_body.result); + ((Function_definitionContext)_localctx).result = factory.defineFunction(((Function_definitionContext)_localctx).LIDENT, ((Function_definitionContext)_localctx).function_arguments.args, ((Function_definitionContext)_localctx).function_body.result); } } catch (RecognitionException re) { @@ -1341,7 +1341,7 @@ public class LamaParser extends Parser { match(T__7); setState(243); ((PrimaryContext)_localctx).function_body = function_body(); - ((PrimaryContext)_localctx).result = factory.addClosureDefinition(((PrimaryContext)_localctx).function_arguments.args, ((PrimaryContext)_localctx).function_body.result); + ((PrimaryContext)_localctx).result = factory.createClosureNode(((PrimaryContext)_localctx).function_arguments.args, ((PrimaryContext)_localctx).function_body.result); } break; case T__15: @@ -2700,38 +2700,40 @@ public class LamaParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(508); + List elems = new ArrayList(); + setState(509); match(T__8); - setState(520); + setState(521); _errHandler.sync(this); _la = _input.LA(1); if ((((_la) & ~0x3f) == 0 && ((1L << _la) & 1099529076107904L) != 0)) { { - setState(509); + setState(510); ((List_patternContext)_localctx).pattern = pattern(); - ((List_patternContext)_localctx).result = ((List_patternContext)_localctx).pattern.result; - setState(517); + elems.addLast(((List_patternContext)_localctx).pattern.result); + setState(518); _errHandler.sync(this); _la = _input.LA(1); while (_la==T__2) { { { - setState(511); - match(T__2); setState(512); + match(T__2); + setState(513); ((List_patternContext)_localctx).pattern = pattern(); - ((List_patternContext)_localctx).result = factory.createSexpPattern("cons", {_localctx.result, ((List_patternContext)_localctx).pattern.result}); + elems.addLast(((List_patternContext)_localctx).pattern.result); } } - setState(519); + setState(520); _errHandler.sync(this); _la = _input.LA(1); } } } - setState(522); + setState(523); match(T__9); + ((List_patternContext)_localctx).result = factory.createListSexpPattern(elems); } } catch (RecognitionException re) { @@ -2781,15 +2783,15 @@ public class LamaParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(524); - match(T__34); - setState(525); - ((Case_expressionContext)_localctx).expression = expression(); setState(526); - match(T__35); + match(T__34); setState(527); - ((Case_expressionContext)_localctx).case_branches = case_branches(); + ((Case_expressionContext)_localctx).expression = expression(); setState(528); + match(T__35); + setState(529); + ((Case_expressionContext)_localctx).case_branches = case_branches(); + setState(530); match(T__36); ((Case_expressionContext)_localctx).result = factory.createCaseNode(((Case_expressionContext)_localctx).expression.result, ((Case_expressionContext)_localctx).case_branches.pats, ((Case_expressionContext)_localctx).case_branches.exprs); } @@ -2843,23 +2845,23 @@ public class LamaParser extends Parser { enterOuterAlt(_localctx, 1); { ((Case_branchesContext)_localctx).pats = new ArrayList(); ((Case_branchesContext)_localctx).exprs = new ArrayList exprs; - setState(532); + setState(534); ((Case_branchesContext)_localctx).case_branch = case_branch(); _localctx.pats.addLast(((Case_branchesContext)_localctx).case_branch.pat); _localctx.exprs.addLast(((Case_branchesContext)_localctx).case_branch.expr); - setState(540); + setState(542); _errHandler.sync(this); _la = _input.LA(1); while (_la==T__37) { { { - setState(534); + setState(536); match(T__37); - setState(535); + setState(537); ((Case_branchesContext)_localctx).case_branch = case_branch(); _localctx.pats.addLast(((Case_branchesContext)_localctx).case_branch.pat); _localctx.exprs.addLast(((Case_branchesContext)_localctx).case_branch.expr); } } - setState(542); + setState(544); _errHandler.sync(this); _la = _input.LA(1); } @@ -2913,12 +2915,12 @@ public class LamaParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(543); + setState(545); ((Case_branchContext)_localctx).pattern = pattern(); ((Case_branchContext)_localctx).pat = ((Case_branchContext)_localctx).pattern.result; - setState(545); + setState(547); match(T__38); - setState(546); + setState(548); ((Case_branchContext)_localctx).scope_expression = scope_expression(); ((Case_branchContext)_localctx).expr = ((Case_branchContext)_localctx).scope_expression.result; } @@ -2964,13 +2966,13 @@ public class LamaParser extends Parser { Any_infixContext _localctx = new Any_infixContext(_ctx, getState()); enterRule(_localctx, 66, RULE_any_infix); try { - setState(553); + setState(555); _errHandler.sync(this); switch (_input.LA(1)) { case INFIX: enterOuterAlt(_localctx, 1); { - setState(549); + setState(551); ((Any_infixContext)_localctx).INFIX = match(INFIX); ((Any_infixContext)_localctx).result = ((Any_infixContext)_localctx).INFIX; } @@ -2978,7 +2980,7 @@ public class LamaParser extends Parser { case MINUS: enterOuterAlt(_localctx, 2); { - setState(551); + setState(553); ((Any_infixContext)_localctx).MINUS = match(MINUS); ((Any_infixContext)_localctx).result = ((Any_infixContext)_localctx).MINUS; } @@ -2999,7 +3001,7 @@ public class LamaParser extends Parser { } public static final String _serializedATN = - "\u0004\u00012\u022c\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002"+ + "\u0004\u00012\u022e\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002"+ "\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002"+ "\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002"+ "\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002"+ @@ -3080,303 +3082,305 @@ public class LamaParser extends Parser { "\u001c\u0001\u001c\u0001\u001c\u0001\u001c\u0001\u001c\u0001\u001c\u0005"+ "\u001c\u01f3\b\u001c\n\u001c\f\u001c\u01f6\t\u001c\u0003\u001c\u01f8\b"+ "\u001c\u0001\u001c\u0001\u001c\u0001\u001c\u0001\u001d\u0001\u001d\u0001"+ - "\u001d\u0001\u001d\u0001\u001d\u0001\u001d\u0001\u001d\u0005\u001d\u0204"+ - "\b\u001d\n\u001d\f\u001d\u0207\t\u001d\u0003\u001d\u0209\b\u001d\u0001"+ - "\u001d\u0001\u001d\u0001\u001e\u0001\u001e\u0001\u001e\u0001\u001e\u0001"+ - "\u001e\u0001\u001e\u0001\u001e\u0001\u001f\u0001\u001f\u0001\u001f\u0001"+ - "\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0005\u001f\u021b\b\u001f\n"+ - "\u001f\f\u001f\u021e\t\u001f\u0001 \u0001 \u0001 \u0001 \u0001 \u0001"+ - " \u0001!\u0001!\u0001!\u0001!\u0003!\u022a\b!\u0001!\u0000\u0000\"\u0000"+ - "\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c"+ - "\u001e \"$&(*,.02468:<>@B\u0000\u0000\u0251\u0000D\u0001\u0000\u0000\u0000"+ - "\u0002Z\u0001\u0000\u0000\u0000\u0004b\u0001\u0000\u0000\u0000\u0006d"+ - "\u0001\u0000\u0000\u0000\bm\u0001\u0000\u0000\u0000\nz\u0001\u0000\u0000"+ - "\u0000\f\u0083\u0001\u0000\u0000\u0000\u000e\u0092\u0001\u0000\u0000\u0000"+ - "\u0010\u009d\u0001\u0000\u0000\u0000\u0012\u00a2\u0001\u0000\u0000\u0000"+ - "\u0014\u00aa\u0001\u0000\u0000\u0000\u0016\u00ad\u0001\u0000\u0000\u0000"+ - "\u0018\u00b8\u0001\u0000\u0000\u0000\u001a\u00dd\u0001\u0000\u0000\u0000"+ - "\u001c\u0115\u0001\u0000\u0000\u0000\u001e\u0117\u0001\u0000\u0000\u0000"+ - " \u0129\u0001\u0000\u0000\u0000\"\u013b\u0001\u0000\u0000\u0000$\u0150"+ - "\u0001\u0000\u0000\u0000&\u016d\u0001\u0000\u0000\u0000(\u016f\u0001\u0000"+ - "\u0000\u0000*\u0176\u0001\u0000\u0000\u0000,\u017d\u0001\u0000\u0000\u0000"+ - ".\u018e\u0001\u0000\u0000\u00000\u0190\u0001\u0000\u0000\u00002\u01d0"+ - "\u0001\u0000\u0000\u00004\u01d2\u0001\u0000\u0000\u00006\u01d5\u0001\u0000"+ - "\u0000\u00008\u01ea\u0001\u0000\u0000\u0000:\u01fc\u0001\u0000\u0000\u0000"+ - "<\u020c\u0001\u0000\u0000\u0000>\u0213\u0001\u0000\u0000\u0000@\u021f"+ - "\u0001\u0000\u0000\u0000B\u0229\u0001\u0000\u0000\u0000DE\u0003\u0002"+ - "\u0001\u0000EF\u0006\u0000\uffff\uffff\u0000FG\u0005\u0000\u0000\u0001"+ - "G\u0001\u0001\u0000\u0000\u0000HI\u0003\u0004\u0002\u0000IO\u0006\u0001"+ - "\uffff\uffff\u0000JK\u0003\u0004\u0002\u0000KL\u0006\u0001\uffff\uffff"+ - "\u0000LN\u0001\u0000\u0000\u0000MJ\u0001\u0000\u0000\u0000NQ\u0001\u0000"+ - "\u0000\u0000OM\u0001\u0000\u0000\u0000OP\u0001\u0000\u0000\u0000PU\u0001"+ - "\u0000\u0000\u0000QO\u0001\u0000\u0000\u0000RS\u0003\u0012\t\u0000ST\u0006"+ - "\u0001\uffff\uffff\u0000TV\u0001\u0000\u0000\u0000UR\u0001\u0000\u0000"+ - "\u0000UV\u0001\u0000\u0000\u0000V[\u0001\u0000\u0000\u0000WX\u0003\u0012"+ - "\t\u0000XY\u0006\u0001\uffff\uffff\u0000Y[\u0001\u0000\u0000\u0000ZH\u0001"+ - "\u0000\u0000\u0000ZW\u0001\u0000\u0000\u0000[\u0003\u0001\u0000\u0000"+ - "\u0000\\]\u0003\u0006\u0003\u0000]^\u0006\u0002\uffff\uffff\u0000^c\u0001"+ - "\u0000\u0000\u0000_`\u0003\f\u0006\u0000`a\u0006\u0002\uffff\uffff\u0000"+ - "ac\u0001\u0000\u0000\u0000b\\\u0001\u0000\u0000\u0000b_\u0001\u0000\u0000"+ - "\u0000c\u0005\u0001\u0000\u0000\u0000dh\u0006\u0003\uffff\uffff\u0000"+ - "ei\u0005\u0001\u0000\u0000fg\u0005\u0002\u0000\u0000gi\u0006\u0003\uffff"+ - "\uffff\u0000he\u0001\u0000\u0000\u0000hf\u0001\u0000\u0000\u0000ij\u0001"+ - "\u0000\u0000\u0000jk\u0003\b\u0004\u0000kl\u0006\u0003\uffff\uffff\u0000"+ - "l\u0007\u0001\u0000\u0000\u0000mn\u0003\n\u0005\u0000nu\u0006\u0004\uffff"+ - "\uffff\u0000op\u0005\u0003\u0000\u0000pq\u0003\n\u0005\u0000qr\u0006\u0004"+ - "\uffff\uffff\u0000rt\u0001\u0000\u0000\u0000so\u0001\u0000\u0000\u0000"+ - "tw\u0001\u0000\u0000\u0000us\u0001\u0000\u0000\u0000uv\u0001\u0000\u0000"+ - "\u0000vx\u0001\u0000\u0000\u0000wu\u0001\u0000\u0000\u0000xy\u0005\u0004"+ - "\u0000\u0000y\t\u0001\u0000\u0000\u0000z{\u0006\u0005\uffff\uffff\u0000"+ - "{|\u0005.\u0000\u0000|\u0081\u0006\u0005\uffff\uffff\u0000}~\u0005\u0005"+ - "\u0000\u0000~\u007f\u0003\u0014\n\u0000\u007f\u0080\u0006\u0005\uffff"+ - "\uffff\u0000\u0080\u0082\u0001\u0000\u0000\u0000\u0081}\u0001\u0000\u0000"+ - "\u0000\u0081\u0082\u0001\u0000\u0000\u0000\u0082\u000b\u0001\u0000\u0000"+ - "\u0000\u0083\u0086\u0006\u0006\uffff\uffff\u0000\u0084\u0085\u0005\u0002"+ - "\u0000\u0000\u0085\u0087\u0006\u0006\uffff\uffff\u0000\u0086\u0084\u0001"+ - "\u0000\u0000\u0000\u0086\u0087\u0001\u0000\u0000\u0000\u0087\u0088\u0001"+ - "\u0000\u0000\u0000\u0088\u0089\u0005\u0006\u0000\u0000\u0089\u008a\u0005"+ - ".\u0000\u0000\u008a\u008c\u0005\u0007\u0000\u0000\u008b\u008d\u0003\u000e"+ - "\u0007\u0000\u008c\u008b\u0001\u0000\u0000\u0000\u008c\u008d\u0001\u0000"+ - "\u0000\u0000\u008d\u008e\u0001\u0000\u0000\u0000\u008e\u008f\u0005\b\u0000"+ - "\u0000\u008f\u0090\u0003\u0010\b\u0000\u0090\u0091\u0006\u0006\uffff\uffff"+ - "\u0000\u0091\r\u0001\u0000\u0000\u0000\u0092\u0093\u0006\u0007\uffff\uffff"+ - "\u0000\u0093\u0094\u0005.\u0000\u0000\u0094\u009a\u0006\u0007\uffff\uffff"+ - "\u0000\u0095\u0096\u0005\u0003\u0000\u0000\u0096\u0097\u0005.\u0000\u0000"+ - "\u0097\u0099\u0006\u0007\uffff\uffff\u0000\u0098\u0095\u0001\u0000\u0000"+ - "\u0000\u0099\u009c\u0001\u0000\u0000\u0000\u009a\u0098\u0001\u0000\u0000"+ - "\u0000\u009a\u009b\u0001\u0000\u0000\u0000\u009b\u000f\u0001\u0000\u0000"+ - "\u0000\u009c\u009a\u0001\u0000\u0000\u0000\u009d\u009e\u0005\t\u0000\u0000"+ - "\u009e\u009f\u0003\u0002\u0001\u0000\u009f\u00a0\u0006\b\uffff\uffff\u0000"+ - "\u00a0\u00a1\u0005\n\u0000\u0000\u00a1\u0011\u0001\u0000\u0000\u0000\u00a2"+ - "\u00a3\u0003\u0014\n\u0000\u00a3\u00a8\u0006\t\uffff\uffff\u0000\u00a4"+ - "\u00a5\u0005\u0004\u0000\u0000\u00a5\u00a6\u0003\u0012\t\u0000\u00a6\u00a7"+ - "\u0006\t\uffff\uffff\u0000\u00a7\u00a9\u0001\u0000\u0000\u0000\u00a8\u00a4"+ - "\u0001\u0000\u0000\u0000\u00a8\u00a9\u0001\u0000\u0000\u0000\u00a9\u0013"+ - "\u0001\u0000\u0000\u0000\u00aa\u00ab\u0003\u0016\u000b\u0000\u00ab\u00ac"+ - "\u0006\n\uffff\uffff\u0000\u00ac\u0015\u0001\u0000\u0000\u0000\u00ad\u00ae"+ - "\u0003\u0018\f\u0000\u00ae\u00b5\u0006\u000b\uffff\uffff\u0000\u00af\u00b0"+ - "\u0003B!\u0000\u00b0\u00b1\u0003\u0018\f\u0000\u00b1\u00b2\u0006\u000b"+ - "\uffff\uffff\u0000\u00b2\u00b4\u0001\u0000\u0000\u0000\u00b3\u00af\u0001"+ - "\u0000\u0000\u0000\u00b4\u00b7\u0001\u0000\u0000\u0000\u00b5\u00b3\u0001"+ - "\u0000\u0000\u0000\u00b5\u00b6\u0001\u0000\u0000\u0000\u00b6\u0017\u0001"+ - "\u0000\u0000\u0000\u00b7\u00b5\u0001\u0000\u0000\u0000\u00b8\u00bb\u0006"+ - "\f\uffff\uffff\u0000\u00b9\u00ba\u0005+\u0000\u0000\u00ba\u00bc\u0006"+ - "\f\uffff\uffff\u0000\u00bb\u00b9\u0001\u0000\u0000\u0000\u00bb\u00bc\u0001"+ - "\u0000\u0000\u0000\u00bc\u00bd\u0001\u0000\u0000\u0000\u00bd\u00be\u0003"+ - "\u001c\u000e\u0000\u00be\u00c4\u0006\f\uffff\uffff\u0000\u00bf\u00c0\u0003"+ - "\u001a\r\u0000\u00c0\u00c1\u0006\f\uffff\uffff\u0000\u00c1\u00c3\u0001"+ - "\u0000\u0000\u0000\u00c2\u00bf\u0001\u0000\u0000\u0000\u00c3\u00c6\u0001"+ - "\u0000\u0000\u0000\u00c4\u00c2\u0001\u0000\u0000\u0000\u00c4\u00c5\u0001"+ - "\u0000\u0000\u0000\u00c5\u0019\u0001\u0000\u0000\u0000\u00c6\u00c4\u0001"+ - "\u0000\u0000\u0000\u00c7\u00c8\u0006\r\uffff\uffff\u0000\u00c8\u00c9\u0005"+ - "\u0007\u0000\u0000\u00c9\u00ca\u0003\u0012\t\u0000\u00ca\u00d1\u0006\r"+ - "\uffff\uffff\u0000\u00cb\u00cc\u0005\u0003\u0000\u0000\u00cc\u00cd\u0003"+ - "\u0012\t\u0000\u00cd\u00ce\u0006\r\uffff\uffff\u0000\u00ce\u00d0\u0001"+ - "\u0000\u0000\u0000\u00cf\u00cb\u0001\u0000\u0000\u0000\u00d0\u00d3\u0001"+ - "\u0000\u0000\u0000\u00d1\u00cf\u0001\u0000\u0000\u0000\u00d1\u00d2\u0001"+ - "\u0000\u0000\u0000\u00d2\u00d4\u0001\u0000\u0000\u0000\u00d3\u00d1\u0001"+ - "\u0000\u0000\u0000\u00d4\u00d5\u0005\b\u0000\u0000\u00d5\u00de\u0001\u0000"+ - "\u0000\u0000\u00d6\u00d7\u0005\u0007\u0000\u0000\u00d7\u00de\u0005\b\u0000"+ - "\u0000\u00d8\u00d9\u0005\u000b\u0000\u0000\u00d9\u00da\u0003\u0012\t\u0000"+ - "\u00da\u00db\u0006\r\uffff\uffff\u0000\u00db\u00dc\u0005\f\u0000\u0000"+ - "\u00dc\u00de\u0001\u0000\u0000\u0000\u00dd\u00c7\u0001\u0000\u0000\u0000"+ - "\u00dd\u00d6\u0001\u0000\u0000\u0000\u00dd\u00d8\u0001\u0000\u0000\u0000"+ - "\u00de\u001b\u0001\u0000\u0000\u0000\u00df\u00e0\u00051\u0000\u0000\u00e0"+ - "\u0116\u0006\u000e\uffff\uffff\u0000\u00e1\u00e2\u00050\u0000\u0000\u00e2"+ - "\u0116\u0006\u000e\uffff\uffff\u0000\u00e3\u00e4\u0005/\u0000\u0000\u00e4"+ - "\u0116\u0006\u000e\uffff\uffff\u0000\u00e5\u00e6\u0005.\u0000\u0000\u00e6"+ - "\u0116\u0006\u000e\uffff\uffff\u0000\u00e7\u00e8\u0005\r\u0000\u0000\u00e8"+ - "\u0116\u0006\u000e\uffff\uffff\u0000\u00e9\u00ea\u0005\u000e\u0000\u0000"+ - "\u00ea\u0116\u0006\u000e\uffff\uffff\u0000\u00eb\u00ec\u0005\u000f\u0000"+ - "\u0000\u00ec\u00ed\u0003B!\u0000\u00ed\u00ee\u0006\u000e\uffff\uffff\u0000"+ - "\u00ee\u0116\u0001\u0000\u0000\u0000\u00ef\u00f0\u0005\u0006\u0000\u0000"+ - "\u00f0\u00f1\u0005\u0007\u0000\u0000\u00f1\u00f2\u0003\u000e\u0007\u0000"+ - "\u00f2\u00f3\u0005\b\u0000\u0000\u00f3\u00f4\u0003\u0010\b\u0000\u00f4"+ - "\u00f5\u0006\u000e\uffff\uffff\u0000\u00f5\u0116\u0001\u0000\u0000\u0000"+ - "\u00f6\u00f7\u0005\u0010\u0000\u0000\u00f7\u0116\u0006\u000e\uffff\uffff"+ - "\u0000\u00f8\u00f9\u0005\u0007\u0000\u0000\u00f9\u00fa\u0003\u0002\u0001"+ - "\u0000\u00fa\u00fb\u0005\b\u0000\u0000\u00fb\u00fc\u0006\u000e\uffff\uffff"+ - "\u0000\u00fc\u0116\u0001\u0000\u0000\u0000\u00fd\u00fe\u0003 \u0010\u0000"+ - "\u00fe\u00ff\u0006\u000e\uffff\uffff\u0000\u00ff\u0116\u0001\u0000\u0000"+ - "\u0000\u0100\u0101\u0003\u001e\u000f\u0000\u0101\u0102\u0006\u000e\uffff"+ - "\uffff\u0000\u0102\u0116\u0001\u0000\u0000\u0000\u0103\u0104\u0003\"\u0011"+ - "\u0000\u0104\u0105\u0006\u000e\uffff\uffff\u0000\u0105\u0116\u0001\u0000"+ - "\u0000\u0000\u0106\u0107\u0003$\u0012\u0000\u0107\u0108\u0006\u000e\uffff"+ - "\uffff\u0000\u0108\u0116\u0001\u0000\u0000\u0000\u0109\u010a\u0003(\u0014"+ - "\u0000\u010a\u010b\u0006\u000e\uffff\uffff\u0000\u010b\u0116\u0001\u0000"+ - "\u0000\u0000\u010c\u010d\u0003*\u0015\u0000\u010d\u010e\u0006\u000e\uffff"+ - "\uffff\u0000\u010e\u0116\u0001\u0000\u0000\u0000\u010f\u0110\u0003,\u0016"+ - "\u0000\u0110\u0111\u0006\u000e\uffff\uffff\u0000\u0111\u0116\u0001\u0000"+ - "\u0000\u0000\u0112\u0113\u0003<\u001e\u0000\u0113\u0114\u0006\u000e\uffff"+ - "\uffff\u0000\u0114\u0116\u0001\u0000\u0000\u0000\u0115\u00df\u0001\u0000"+ - "\u0000\u0000\u0115\u00e1\u0001\u0000\u0000\u0000\u0115\u00e3\u0001\u0000"+ - "\u0000\u0000\u0115\u00e5\u0001\u0000\u0000\u0000\u0115\u00e7\u0001\u0000"+ - "\u0000\u0000\u0115\u00e9\u0001\u0000\u0000\u0000\u0115\u00eb\u0001\u0000"+ - "\u0000\u0000\u0115\u00ef\u0001\u0000\u0000\u0000\u0115\u00f6\u0001\u0000"+ - "\u0000\u0000\u0115\u00f8\u0001\u0000\u0000\u0000\u0115\u00fd\u0001\u0000"+ - "\u0000\u0000\u0115\u0100\u0001\u0000\u0000\u0000\u0115\u0103\u0001\u0000"+ - "\u0000\u0000\u0115\u0106\u0001\u0000\u0000\u0000\u0115\u0109\u0001\u0000"+ - "\u0000\u0000\u0115\u010c\u0001\u0000\u0000\u0000\u0115\u010f\u0001\u0000"+ - "\u0000\u0000\u0115\u0112\u0001\u0000\u0000\u0000\u0116\u001d\u0001\u0000"+ - "\u0000\u0000\u0117\u0118\u0006\u000f\uffff\uffff\u0000\u0118\u0124\u0005"+ - "\u000b\u0000\u0000\u0119\u011a\u0003\u0012\t\u0000\u011a\u0121\u0006\u000f"+ - "\uffff\uffff\u0000\u011b\u011c\u0005\u0003\u0000\u0000\u011c\u011d\u0003"+ - "\u0012\t\u0000\u011d\u011e\u0006\u000f\uffff\uffff\u0000\u011e\u0120\u0001"+ - "\u0000\u0000\u0000\u011f\u011b\u0001\u0000\u0000\u0000\u0120\u0123\u0001"+ - "\u0000\u0000\u0000\u0121\u011f\u0001\u0000\u0000\u0000\u0121\u0122\u0001"+ - "\u0000\u0000\u0000\u0122\u0125\u0001\u0000\u0000\u0000\u0123\u0121\u0001"+ - "\u0000\u0000\u0000\u0124\u0119\u0001\u0000\u0000\u0000\u0124\u0125\u0001"+ - "\u0000\u0000\u0000\u0125\u0126\u0001\u0000\u0000\u0000\u0126\u0127\u0005"+ - "\f\u0000\u0000\u0127\u0128\u0006\u000f\uffff\uffff\u0000\u0128\u001f\u0001"+ - "\u0000\u0000\u0000\u0129\u012a\u0006\u0010\uffff\uffff\u0000\u012a\u0136"+ - "\u0005\t\u0000\u0000\u012b\u012c\u0003\u0012\t\u0000\u012c\u0133\u0006"+ - "\u0010\uffff\uffff\u0000\u012d\u012e\u0005\u0003\u0000\u0000\u012e\u012f"+ - "\u0003\u0012\t\u0000\u012f\u0130\u0006\u0010\uffff\uffff\u0000\u0130\u0132"+ - "\u0001\u0000\u0000\u0000\u0131\u012d\u0001\u0000\u0000\u0000\u0132\u0135"+ - "\u0001\u0000\u0000\u0000\u0133\u0131\u0001\u0000\u0000\u0000\u0133\u0134"+ - "\u0001\u0000\u0000\u0000\u0134\u0137\u0001\u0000\u0000\u0000\u0135\u0133"+ - "\u0001\u0000\u0000\u0000\u0136\u012b\u0001\u0000\u0000\u0000\u0136\u0137"+ - "\u0001\u0000\u0000\u0000\u0137\u0138\u0001\u0000\u0000\u0000\u0138\u0139"+ - "\u0005\n\u0000\u0000\u0139\u013a\u0006\u0010\uffff\uffff\u0000\u013a!"+ - "\u0001\u0000\u0000\u0000\u013b\u013c\u0006\u0011\uffff\uffff\u0000\u013c"+ - "\u014c\u0005-\u0000\u0000\u013d\u0149\u0005\u0007\u0000\u0000\u013e\u013f"+ - "\u0003\u0012\t\u0000\u013f\u0146\u0006\u0011\uffff\uffff\u0000\u0140\u0141"+ - "\u0005\u0003\u0000\u0000\u0141\u0142\u0003\u0012\t\u0000\u0142\u0143\u0006"+ - "\u0011\uffff\uffff\u0000\u0143\u0145\u0001\u0000\u0000\u0000\u0144\u0140"+ - "\u0001\u0000\u0000\u0000\u0145\u0148\u0001\u0000\u0000\u0000\u0146\u0144"+ - "\u0001\u0000\u0000\u0000\u0146\u0147\u0001\u0000\u0000\u0000\u0147\u014a"+ - "\u0001\u0000\u0000\u0000\u0148\u0146\u0001\u0000\u0000\u0000\u0149\u013e"+ - "\u0001\u0000\u0000\u0000\u0149\u014a\u0001\u0000\u0000\u0000\u014a\u014b"+ - "\u0001\u0000\u0000\u0000\u014b\u014d\u0005\b\u0000\u0000\u014c\u013d\u0001"+ - "\u0000\u0000\u0000\u014c\u014d\u0001\u0000\u0000\u0000\u014d\u014e\u0001"+ - "\u0000\u0000\u0000\u014e\u014f\u0006\u0011\uffff\uffff\u0000\u014f#\u0001"+ - "\u0000\u0000\u0000\u0150\u0151\u0006\u0012\uffff\uffff\u0000\u0151\u0152"+ - "\u0005\u0011\u0000\u0000\u0152\u0153\u0003\u0012\t\u0000\u0153\u0154\u0005"+ - "\u0012\u0000\u0000\u0154\u0158\u0003\u0002\u0001\u0000\u0155\u0156\u0003"+ - "&\u0013\u0000\u0156\u0157\u0006\u0012\uffff\uffff\u0000\u0157\u0159\u0001"+ - "\u0000\u0000\u0000\u0158\u0155\u0001\u0000\u0000\u0000\u0158\u0159\u0001"+ - "\u0000\u0000\u0000\u0159\u015a\u0001\u0000\u0000\u0000\u015a\u015b\u0005"+ - "\u0013\u0000\u0000\u015b\u015c\u0006\u0012\uffff\uffff\u0000\u015c%\u0001"+ - "\u0000\u0000\u0000\u015d\u015e\u0005\u0014\u0000\u0000\u015e\u015f\u0006"+ - "\u0013\uffff\uffff\u0000\u015f\u0160\u0003\u0012\t\u0000\u0160\u0161\u0005"+ - "\u0012\u0000\u0000\u0161\u0165\u0003\u0002\u0001\u0000\u0162\u0163\u0003"+ - "&\u0013\u0000\u0163\u0164\u0006\u0013\uffff\uffff\u0000\u0164\u0166\u0001"+ - "\u0000\u0000\u0000\u0165\u0162\u0001\u0000\u0000\u0000\u0165\u0166\u0001"+ - "\u0000\u0000\u0000\u0166\u0167\u0001\u0000\u0000\u0000\u0167\u0168\u0006"+ - "\u0013\uffff\uffff\u0000\u0168\u016e\u0001\u0000\u0000\u0000\u0169\u016a"+ - "\u0005\u0015\u0000\u0000\u016a\u016b\u0003\u0002\u0001\u0000\u016b\u016c"+ - "\u0006\u0013\uffff\uffff\u0000\u016c\u016e\u0001\u0000\u0000\u0000\u016d"+ - "\u015d\u0001\u0000\u0000\u0000\u016d\u0169\u0001\u0000\u0000\u0000\u016e"+ - "\'\u0001\u0000\u0000\u0000\u016f\u0170\u0005\u0016\u0000\u0000\u0170\u0171"+ - "\u0003\u0012\t\u0000\u0171\u0172\u0005\u0017\u0000\u0000\u0172\u0173\u0003"+ - "\u0002\u0001\u0000\u0173\u0174\u0005\u0018\u0000\u0000\u0174\u0175\u0006"+ - "\u0014\uffff\uffff\u0000\u0175)\u0001\u0000\u0000\u0000\u0176\u0177\u0005"+ - "\u0017\u0000\u0000\u0177\u0178\u0003\u0002\u0001\u0000\u0178\u0179\u0005"+ - "\u0016\u0000\u0000\u0179\u017a\u0003\u0012\t\u0000\u017a\u017b\u0005\u0018"+ - "\u0000\u0000\u017b\u017c\u0006\u0015\uffff\uffff\u0000\u017c+\u0001\u0000"+ - "\u0000\u0000\u017d\u017e\u0005\u0019\u0000\u0000\u017e\u017f\u0003\u0002"+ - "\u0001\u0000\u017f\u0180\u0005\u0003\u0000\u0000\u0180\u0181\u0003\u0012"+ - "\t\u0000\u0181\u0182\u0005\u0003\u0000\u0000\u0182\u0183\u0003\u0012\t"+ - "\u0000\u0183\u0184\u0005\u0017\u0000\u0000\u0184\u0185\u0003\u0002\u0001"+ - "\u0000\u0185\u0186\u0005\u0018\u0000\u0000\u0186\u0187\u0006\u0016\uffff"+ - "\uffff\u0000\u0187-\u0001\u0000\u0000\u0000\u0188\u0189\u00030\u0018\u0000"+ - "\u0189\u018a\u0006\u0017\uffff\uffff\u0000\u018a\u018f\u0001\u0000\u0000"+ - "\u0000\u018b\u018c\u00032\u0019\u0000\u018c\u018d\u0006\u0017\uffff\uffff"+ - "\u0000\u018d\u018f\u0001\u0000\u0000\u0000\u018e\u0188\u0001\u0000\u0000"+ - "\u0000\u018e\u018b\u0001\u0000\u0000\u0000\u018f/\u0001\u0000\u0000\u0000"+ - "\u0190\u0191\u00032\u0019\u0000\u0191\u0192\u0005\u001a\u0000\u0000\u0192"+ - "\u0193\u0003.\u0017\u0000\u0193\u0194\u0006\u0018\uffff\uffff\u0000\u0194"+ - "1\u0001\u0000\u0000\u0000\u0195\u0196\u00034\u001a\u0000\u0196\u0197\u0006"+ - "\u0019\uffff\uffff\u0000\u0197\u01d1\u0001\u0000\u0000\u0000\u0198\u0199"+ - "\u00036\u001b\u0000\u0199\u019a\u0006\u0019\uffff\uffff\u0000\u019a\u01d1"+ - "\u0001\u0000\u0000\u0000\u019b\u019c\u00038\u001c\u0000\u019c\u019d\u0006"+ - "\u0019\uffff\uffff\u0000\u019d\u01d1\u0001\u0000\u0000\u0000\u019e\u019f"+ - "\u0003:\u001d\u0000\u019f\u01a0\u0006\u0019\uffff\uffff\u0000\u01a0\u01d1"+ - "\u0001\u0000\u0000\u0000\u01a1\u01a2\u0005.\u0000\u0000\u01a2\u01a7\u0006"+ - "\u0019\uffff\uffff\u0000\u01a3\u01a4\u0005\u001b\u0000\u0000\u01a4\u01a5"+ - "\u0003.\u0017\u0000\u01a5\u01a6\u0006\u0019\uffff\uffff\u0000\u01a6\u01a8"+ - "\u0001\u0000\u0000\u0000\u01a7\u01a3\u0001\u0000\u0000\u0000\u01a7\u01a8"+ - "\u0001\u0000\u0000\u0000\u01a8\u01a9\u0001\u0000\u0000\u0000\u01a9\u01d1"+ - "\u0006\u0019\uffff\uffff\u0000\u01aa\u01ad\u0006\u0019\uffff\uffff\u0000"+ - "\u01ab\u01ac\u0005+\u0000\u0000\u01ac\u01ae\u0006\u0019\uffff\uffff\u0000"+ - "\u01ad\u01ab\u0001\u0000\u0000\u0000\u01ad\u01ae\u0001\u0000\u0000\u0000"+ - "\u01ae\u01af\u0001\u0000\u0000\u0000\u01af\u01b0\u00051\u0000\u0000\u01b0"+ - "\u01d1\u0006\u0019\uffff\uffff\u0000\u01b1\u01b2\u00050\u0000\u0000\u01b2"+ - "\u01d1\u0006\u0019\uffff\uffff\u0000\u01b3\u01b4\u0005/\u0000\u0000\u01b4"+ - "\u01d1\u0006\u0019\uffff\uffff\u0000\u01b5\u01b6\u0005\r\u0000\u0000\u01b6"+ - "\u01d1\u0006\u0019\uffff\uffff\u0000\u01b7\u01b8\u0005\u000e\u0000\u0000"+ - "\u01b8\u01d1\u0006\u0019\uffff\uffff\u0000\u01b9\u01ba\u0005\u001c\u0000"+ - "\u0000\u01ba\u01bb\u0005\u001d\u0000\u0000\u01bb\u01d1\u0006\u0019\uffff"+ - "\uffff\u0000\u01bc\u01bd\u0005\u001c\u0000\u0000\u01bd\u01be\u0005\u001e"+ - "\u0000\u0000\u01be\u01d1\u0006\u0019\uffff\uffff\u0000\u01bf\u01c0\u0005"+ - "\u001c\u0000\u0000\u01c0\u01c1\u0005\u001f\u0000\u0000\u01c1\u01d1\u0006"+ - "\u0019\uffff\uffff\u0000\u01c2\u01c3\u0005\u001c\u0000\u0000\u01c3\u01c4"+ - "\u0005 \u0000\u0000\u01c4\u01d1\u0006\u0019\uffff\uffff\u0000\u01c5\u01c6"+ - "\u0005\u001c\u0000\u0000\u01c6\u01c7\u0005!\u0000\u0000\u01c7\u01d1\u0006"+ - "\u0019\uffff\uffff\u0000\u01c8\u01c9\u0005\u001c\u0000\u0000\u01c9\u01ca"+ - "\u0005\u0006\u0000\u0000\u01ca\u01d1\u0006\u0019\uffff\uffff\u0000\u01cb"+ - "\u01cc\u0005\u0007\u0000\u0000\u01cc\u01cd\u0003.\u0017\u0000\u01cd\u01ce"+ - "\u0005\b\u0000\u0000\u01ce\u01cf\u0006\u0019\uffff\uffff\u0000\u01cf\u01d1"+ - "\u0001\u0000\u0000\u0000\u01d0\u0195\u0001\u0000\u0000\u0000\u01d0\u0198"+ - "\u0001\u0000\u0000\u0000\u01d0\u019b\u0001\u0000\u0000\u0000\u01d0\u019e"+ - "\u0001\u0000\u0000\u0000\u01d0\u01a1\u0001\u0000\u0000\u0000\u01d0\u01aa"+ - "\u0001\u0000\u0000\u0000\u01d0\u01b1\u0001\u0000\u0000\u0000\u01d0\u01b3"+ - "\u0001\u0000\u0000\u0000\u01d0\u01b5\u0001\u0000\u0000\u0000\u01d0\u01b7"+ - "\u0001\u0000\u0000\u0000\u01d0\u01b9\u0001\u0000\u0000\u0000\u01d0\u01bc"+ - "\u0001\u0000\u0000\u0000\u01d0\u01bf\u0001\u0000\u0000\u0000\u01d0\u01c2"+ - "\u0001\u0000\u0000\u0000\u01d0\u01c5\u0001\u0000\u0000\u0000\u01d0\u01c8"+ - "\u0001\u0000\u0000\u0000\u01d0\u01cb\u0001\u0000\u0000\u0000\u01d13\u0001"+ - "\u0000\u0000\u0000\u01d2\u01d3\u0005\"\u0000\u0000\u01d3\u01d4\u0006\u001a"+ - "\uffff\uffff\u0000\u01d45\u0001\u0000\u0000\u0000\u01d5\u01d6\u0006\u001b"+ - "\uffff\uffff\u0000\u01d6\u01e6\u0005-\u0000\u0000\u01d7\u01e3\u0005\u0007"+ - "\u0000\u0000\u01d8\u01d9\u0003.\u0017\u0000\u01d9\u01e0\u0006\u001b\uffff"+ - "\uffff\u0000\u01da\u01db\u0005\u0003\u0000\u0000\u01db\u01dc\u0003.\u0017"+ - "\u0000\u01dc\u01dd\u0006\u001b\uffff\uffff\u0000\u01dd\u01df\u0001\u0000"+ - "\u0000\u0000\u01de\u01da\u0001\u0000\u0000\u0000\u01df\u01e2\u0001\u0000"+ - "\u0000\u0000\u01e0\u01de\u0001\u0000\u0000\u0000\u01e0\u01e1\u0001\u0000"+ - "\u0000\u0000\u01e1\u01e4\u0001\u0000\u0000\u0000\u01e2\u01e0\u0001\u0000"+ - "\u0000\u0000\u01e3\u01d8\u0001\u0000\u0000\u0000\u01e3\u01e4\u0001\u0000"+ - "\u0000\u0000\u01e4\u01e5\u0001\u0000\u0000\u0000\u01e5\u01e7\u0005\b\u0000"+ - "\u0000\u01e6\u01d7\u0001\u0000\u0000\u0000\u01e6\u01e7\u0001\u0000\u0000"+ - "\u0000\u01e7\u01e8\u0001\u0000\u0000\u0000\u01e8\u01e9\u0006\u001b\uffff"+ - "\uffff\u0000\u01e97\u0001\u0000\u0000\u0000\u01ea\u01eb\u0006\u001c\uffff"+ - "\uffff\u0000\u01eb\u01f7\u0005\u000b\u0000\u0000\u01ec\u01ed\u0003.\u0017"+ - "\u0000\u01ed\u01f4\u0006\u001c\uffff\uffff\u0000\u01ee\u01ef\u0005\u0003"+ - "\u0000\u0000\u01ef\u01f0\u0003.\u0017\u0000\u01f0\u01f1\u0006\u001c\uffff"+ - "\uffff\u0000\u01f1\u01f3\u0001\u0000\u0000\u0000\u01f2\u01ee\u0001\u0000"+ - "\u0000\u0000\u01f3\u01f6\u0001\u0000\u0000\u0000\u01f4\u01f2\u0001\u0000"+ - "\u0000\u0000\u01f4\u01f5\u0001\u0000\u0000\u0000\u01f5\u01f8\u0001\u0000"+ - "\u0000\u0000\u01f6\u01f4\u0001\u0000\u0000\u0000\u01f7\u01ec\u0001\u0000"+ - "\u0000\u0000\u01f7\u01f8\u0001\u0000\u0000\u0000\u01f8\u01f9\u0001\u0000"+ - "\u0000\u0000\u01f9\u01fa\u0005\f\u0000\u0000\u01fa\u01fb\u0006\u001c\uffff"+ - "\uffff\u0000\u01fb9\u0001\u0000\u0000\u0000\u01fc\u0208\u0005\t\u0000"+ - "\u0000\u01fd\u01fe\u0003.\u0017\u0000\u01fe\u0205\u0006\u001d\uffff\uffff"+ - "\u0000\u01ff\u0200\u0005\u0003\u0000\u0000\u0200\u0201\u0003.\u0017\u0000"+ - "\u0201\u0202\u0006\u001d\uffff\uffff\u0000\u0202\u0204\u0001\u0000\u0000"+ - "\u0000\u0203\u01ff\u0001\u0000\u0000\u0000\u0204\u0207\u0001\u0000\u0000"+ - "\u0000\u0205\u0203\u0001\u0000\u0000\u0000\u0205\u0206\u0001\u0000\u0000"+ - "\u0000\u0206\u0209\u0001\u0000\u0000\u0000\u0207\u0205\u0001\u0000\u0000"+ - "\u0000\u0208\u01fd\u0001\u0000\u0000\u0000\u0208\u0209\u0001\u0000\u0000"+ - "\u0000\u0209\u020a\u0001\u0000\u0000\u0000\u020a\u020b\u0005\n\u0000\u0000"+ - "\u020b;\u0001\u0000\u0000\u0000\u020c\u020d\u0005#\u0000\u0000\u020d\u020e"+ - "\u0003\u0012\t\u0000\u020e\u020f\u0005$\u0000\u0000\u020f\u0210\u0003"+ - ">\u001f\u0000\u0210\u0211\u0005%\u0000\u0000\u0211\u0212\u0006\u001e\uffff"+ - "\uffff\u0000\u0212=\u0001\u0000\u0000\u0000\u0213\u0214\u0006\u001f\uffff"+ - "\uffff\u0000\u0214\u0215\u0003@ \u0000\u0215\u021c\u0006\u001f\uffff\uffff"+ - "\u0000\u0216\u0217\u0005&\u0000\u0000\u0217\u0218\u0003@ \u0000\u0218"+ - "\u0219\u0006\u001f\uffff\uffff\u0000\u0219\u021b\u0001\u0000\u0000\u0000"+ - "\u021a\u0216\u0001\u0000\u0000\u0000\u021b\u021e\u0001\u0000\u0000\u0000"+ - "\u021c\u021a\u0001\u0000\u0000\u0000\u021c\u021d\u0001\u0000\u0000\u0000"+ - "\u021d?\u0001\u0000\u0000\u0000\u021e\u021c\u0001\u0000\u0000\u0000\u021f"+ - "\u0220\u0003.\u0017\u0000\u0220\u0221\u0006 \uffff\uffff\u0000\u0221\u0222"+ - "\u0005\'\u0000\u0000\u0222\u0223\u0003\u0002\u0001\u0000\u0223\u0224\u0006"+ - " \uffff\uffff\u0000\u0224A\u0001\u0000\u0000\u0000\u0225\u0226\u0005,"+ - "\u0000\u0000\u0226\u022a\u0006!\uffff\uffff\u0000\u0227\u0228\u0005+\u0000"+ - "\u0000\u0228\u022a\u0006!\uffff\uffff\u0000\u0229\u0225\u0001\u0000\u0000"+ - "\u0000\u0229\u0227\u0001\u0000\u0000\u0000\u022aC\u0001\u0000\u0000\u0000"+ - "(OUZbhu\u0081\u0086\u008c\u009a\u00a8\u00b5\u00bb\u00c4\u00d1\u00dd\u0115"+ - "\u0121\u0124\u0133\u0136\u0146\u0149\u014c\u0158\u0165\u016d\u018e\u01a7"+ - "\u01ad\u01d0\u01e0\u01e3\u01e6\u01f4\u01f7\u0205\u0208\u021c\u0229"; + "\u001d\u0001\u001d\u0001\u001d\u0001\u001d\u0001\u001d\u0001\u001d\u0005"+ + "\u001d\u0205\b\u001d\n\u001d\f\u001d\u0208\t\u001d\u0003\u001d\u020a\b"+ + "\u001d\u0001\u001d\u0001\u001d\u0001\u001d\u0001\u001e\u0001\u001e\u0001"+ + "\u001e\u0001\u001e\u0001\u001e\u0001\u001e\u0001\u001e\u0001\u001f\u0001"+ + "\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0005"+ + "\u001f\u021d\b\u001f\n\u001f\f\u001f\u0220\t\u001f\u0001 \u0001 \u0001"+ + " \u0001 \u0001 \u0001 \u0001!\u0001!\u0001!\u0001!\u0003!\u022c\b!\u0001"+ + "!\u0000\u0000\"\u0000\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014"+ + "\u0016\u0018\u001a\u001c\u001e \"$&(*,.02468:<>@B\u0000\u0000\u0253\u0000"+ + "D\u0001\u0000\u0000\u0000\u0002Z\u0001\u0000\u0000\u0000\u0004b\u0001"+ + "\u0000\u0000\u0000\u0006d\u0001\u0000\u0000\u0000\bm\u0001\u0000\u0000"+ + "\u0000\nz\u0001\u0000\u0000\u0000\f\u0083\u0001\u0000\u0000\u0000\u000e"+ + "\u0092\u0001\u0000\u0000\u0000\u0010\u009d\u0001\u0000\u0000\u0000\u0012"+ + "\u00a2\u0001\u0000\u0000\u0000\u0014\u00aa\u0001\u0000\u0000\u0000\u0016"+ + "\u00ad\u0001\u0000\u0000\u0000\u0018\u00b8\u0001\u0000\u0000\u0000\u001a"+ + "\u00dd\u0001\u0000\u0000\u0000\u001c\u0115\u0001\u0000\u0000\u0000\u001e"+ + "\u0117\u0001\u0000\u0000\u0000 \u0129\u0001\u0000\u0000\u0000\"\u013b"+ + "\u0001\u0000\u0000\u0000$\u0150\u0001\u0000\u0000\u0000&\u016d\u0001\u0000"+ + "\u0000\u0000(\u016f\u0001\u0000\u0000\u0000*\u0176\u0001\u0000\u0000\u0000"+ + ",\u017d\u0001\u0000\u0000\u0000.\u018e\u0001\u0000\u0000\u00000\u0190"+ + "\u0001\u0000\u0000\u00002\u01d0\u0001\u0000\u0000\u00004\u01d2\u0001\u0000"+ + "\u0000\u00006\u01d5\u0001\u0000\u0000\u00008\u01ea\u0001\u0000\u0000\u0000"+ + ":\u01fc\u0001\u0000\u0000\u0000<\u020e\u0001\u0000\u0000\u0000>\u0215"+ + "\u0001\u0000\u0000\u0000@\u0221\u0001\u0000\u0000\u0000B\u022b\u0001\u0000"+ + "\u0000\u0000DE\u0003\u0002\u0001\u0000EF\u0006\u0000\uffff\uffff\u0000"+ + "FG\u0005\u0000\u0000\u0001G\u0001\u0001\u0000\u0000\u0000HI\u0003\u0004"+ + "\u0002\u0000IO\u0006\u0001\uffff\uffff\u0000JK\u0003\u0004\u0002\u0000"+ + "KL\u0006\u0001\uffff\uffff\u0000LN\u0001\u0000\u0000\u0000MJ\u0001\u0000"+ + "\u0000\u0000NQ\u0001\u0000\u0000\u0000OM\u0001\u0000\u0000\u0000OP\u0001"+ + "\u0000\u0000\u0000PU\u0001\u0000\u0000\u0000QO\u0001\u0000\u0000\u0000"+ + "RS\u0003\u0012\t\u0000ST\u0006\u0001\uffff\uffff\u0000TV\u0001\u0000\u0000"+ + "\u0000UR\u0001\u0000\u0000\u0000UV\u0001\u0000\u0000\u0000V[\u0001\u0000"+ + "\u0000\u0000WX\u0003\u0012\t\u0000XY\u0006\u0001\uffff\uffff\u0000Y[\u0001"+ + "\u0000\u0000\u0000ZH\u0001\u0000\u0000\u0000ZW\u0001\u0000\u0000\u0000"+ + "[\u0003\u0001\u0000\u0000\u0000\\]\u0003\u0006\u0003\u0000]^\u0006\u0002"+ + "\uffff\uffff\u0000^c\u0001\u0000\u0000\u0000_`\u0003\f\u0006\u0000`a\u0006"+ + "\u0002\uffff\uffff\u0000ac\u0001\u0000\u0000\u0000b\\\u0001\u0000\u0000"+ + "\u0000b_\u0001\u0000\u0000\u0000c\u0005\u0001\u0000\u0000\u0000dh\u0006"+ + "\u0003\uffff\uffff\u0000ei\u0005\u0001\u0000\u0000fg\u0005\u0002\u0000"+ + "\u0000gi\u0006\u0003\uffff\uffff\u0000he\u0001\u0000\u0000\u0000hf\u0001"+ + "\u0000\u0000\u0000ij\u0001\u0000\u0000\u0000jk\u0003\b\u0004\u0000kl\u0006"+ + "\u0003\uffff\uffff\u0000l\u0007\u0001\u0000\u0000\u0000mn\u0003\n\u0005"+ + "\u0000nu\u0006\u0004\uffff\uffff\u0000op\u0005\u0003\u0000\u0000pq\u0003"+ + "\n\u0005\u0000qr\u0006\u0004\uffff\uffff\u0000rt\u0001\u0000\u0000\u0000"+ + "so\u0001\u0000\u0000\u0000tw\u0001\u0000\u0000\u0000us\u0001\u0000\u0000"+ + "\u0000uv\u0001\u0000\u0000\u0000vx\u0001\u0000\u0000\u0000wu\u0001\u0000"+ + "\u0000\u0000xy\u0005\u0004\u0000\u0000y\t\u0001\u0000\u0000\u0000z{\u0006"+ + "\u0005\uffff\uffff\u0000{|\u0005.\u0000\u0000|\u0081\u0006\u0005\uffff"+ + "\uffff\u0000}~\u0005\u0005\u0000\u0000~\u007f\u0003\u0014\n\u0000\u007f"+ + "\u0080\u0006\u0005\uffff\uffff\u0000\u0080\u0082\u0001\u0000\u0000\u0000"+ + "\u0081}\u0001\u0000\u0000\u0000\u0081\u0082\u0001\u0000\u0000\u0000\u0082"+ + "\u000b\u0001\u0000\u0000\u0000\u0083\u0086\u0006\u0006\uffff\uffff\u0000"+ + "\u0084\u0085\u0005\u0002\u0000\u0000\u0085\u0087\u0006\u0006\uffff\uffff"+ + "\u0000\u0086\u0084\u0001\u0000\u0000\u0000\u0086\u0087\u0001\u0000\u0000"+ + "\u0000\u0087\u0088\u0001\u0000\u0000\u0000\u0088\u0089\u0005\u0006\u0000"+ + "\u0000\u0089\u008a\u0005.\u0000\u0000\u008a\u008c\u0005\u0007\u0000\u0000"+ + "\u008b\u008d\u0003\u000e\u0007\u0000\u008c\u008b\u0001\u0000\u0000\u0000"+ + "\u008c\u008d\u0001\u0000\u0000\u0000\u008d\u008e\u0001\u0000\u0000\u0000"+ + "\u008e\u008f\u0005\b\u0000\u0000\u008f\u0090\u0003\u0010\b\u0000\u0090"+ + "\u0091\u0006\u0006\uffff\uffff\u0000\u0091\r\u0001\u0000\u0000\u0000\u0092"+ + "\u0093\u0006\u0007\uffff\uffff\u0000\u0093\u0094\u0005.\u0000\u0000\u0094"+ + "\u009a\u0006\u0007\uffff\uffff\u0000\u0095\u0096\u0005\u0003\u0000\u0000"+ + "\u0096\u0097\u0005.\u0000\u0000\u0097\u0099\u0006\u0007\uffff\uffff\u0000"+ + "\u0098\u0095\u0001\u0000\u0000\u0000\u0099\u009c\u0001\u0000\u0000\u0000"+ + "\u009a\u0098\u0001\u0000\u0000\u0000\u009a\u009b\u0001\u0000\u0000\u0000"+ + "\u009b\u000f\u0001\u0000\u0000\u0000\u009c\u009a\u0001\u0000\u0000\u0000"+ + "\u009d\u009e\u0005\t\u0000\u0000\u009e\u009f\u0003\u0002\u0001\u0000\u009f"+ + "\u00a0\u0006\b\uffff\uffff\u0000\u00a0\u00a1\u0005\n\u0000\u0000\u00a1"+ + "\u0011\u0001\u0000\u0000\u0000\u00a2\u00a3\u0003\u0014\n\u0000\u00a3\u00a8"+ + "\u0006\t\uffff\uffff\u0000\u00a4\u00a5\u0005\u0004\u0000\u0000\u00a5\u00a6"+ + "\u0003\u0012\t\u0000\u00a6\u00a7\u0006\t\uffff\uffff\u0000\u00a7\u00a9"+ + "\u0001\u0000\u0000\u0000\u00a8\u00a4\u0001\u0000\u0000\u0000\u00a8\u00a9"+ + "\u0001\u0000\u0000\u0000\u00a9\u0013\u0001\u0000\u0000\u0000\u00aa\u00ab"+ + "\u0003\u0016\u000b\u0000\u00ab\u00ac\u0006\n\uffff\uffff\u0000\u00ac\u0015"+ + "\u0001\u0000\u0000\u0000\u00ad\u00ae\u0003\u0018\f\u0000\u00ae\u00b5\u0006"+ + "\u000b\uffff\uffff\u0000\u00af\u00b0\u0003B!\u0000\u00b0\u00b1\u0003\u0018"+ + "\f\u0000\u00b1\u00b2\u0006\u000b\uffff\uffff\u0000\u00b2\u00b4\u0001\u0000"+ + "\u0000\u0000\u00b3\u00af\u0001\u0000\u0000\u0000\u00b4\u00b7\u0001\u0000"+ + "\u0000\u0000\u00b5\u00b3\u0001\u0000\u0000\u0000\u00b5\u00b6\u0001\u0000"+ + "\u0000\u0000\u00b6\u0017\u0001\u0000\u0000\u0000\u00b7\u00b5\u0001\u0000"+ + "\u0000\u0000\u00b8\u00bb\u0006\f\uffff\uffff\u0000\u00b9\u00ba\u0005+"+ + "\u0000\u0000\u00ba\u00bc\u0006\f\uffff\uffff\u0000\u00bb\u00b9\u0001\u0000"+ + "\u0000\u0000\u00bb\u00bc\u0001\u0000\u0000\u0000\u00bc\u00bd\u0001\u0000"+ + "\u0000\u0000\u00bd\u00be\u0003\u001c\u000e\u0000\u00be\u00c4\u0006\f\uffff"+ + "\uffff\u0000\u00bf\u00c0\u0003\u001a\r\u0000\u00c0\u00c1\u0006\f\uffff"+ + "\uffff\u0000\u00c1\u00c3\u0001\u0000\u0000\u0000\u00c2\u00bf\u0001\u0000"+ + "\u0000\u0000\u00c3\u00c6\u0001\u0000\u0000\u0000\u00c4\u00c2\u0001\u0000"+ + "\u0000\u0000\u00c4\u00c5\u0001\u0000\u0000\u0000\u00c5\u0019\u0001\u0000"+ + "\u0000\u0000\u00c6\u00c4\u0001\u0000\u0000\u0000\u00c7\u00c8\u0006\r\uffff"+ + "\uffff\u0000\u00c8\u00c9\u0005\u0007\u0000\u0000\u00c9\u00ca\u0003\u0012"+ + "\t\u0000\u00ca\u00d1\u0006\r\uffff\uffff\u0000\u00cb\u00cc\u0005\u0003"+ + "\u0000\u0000\u00cc\u00cd\u0003\u0012\t\u0000\u00cd\u00ce\u0006\r\uffff"+ + "\uffff\u0000\u00ce\u00d0\u0001\u0000\u0000\u0000\u00cf\u00cb\u0001\u0000"+ + "\u0000\u0000\u00d0\u00d3\u0001\u0000\u0000\u0000\u00d1\u00cf\u0001\u0000"+ + "\u0000\u0000\u00d1\u00d2\u0001\u0000\u0000\u0000\u00d2\u00d4\u0001\u0000"+ + "\u0000\u0000\u00d3\u00d1\u0001\u0000\u0000\u0000\u00d4\u00d5\u0005\b\u0000"+ + "\u0000\u00d5\u00de\u0001\u0000\u0000\u0000\u00d6\u00d7\u0005\u0007\u0000"+ + "\u0000\u00d7\u00de\u0005\b\u0000\u0000\u00d8\u00d9\u0005\u000b\u0000\u0000"+ + "\u00d9\u00da\u0003\u0012\t\u0000\u00da\u00db\u0006\r\uffff\uffff\u0000"+ + "\u00db\u00dc\u0005\f\u0000\u0000\u00dc\u00de\u0001\u0000\u0000\u0000\u00dd"+ + "\u00c7\u0001\u0000\u0000\u0000\u00dd\u00d6\u0001\u0000\u0000\u0000\u00dd"+ + "\u00d8\u0001\u0000\u0000\u0000\u00de\u001b\u0001\u0000\u0000\u0000\u00df"+ + "\u00e0\u00051\u0000\u0000\u00e0\u0116\u0006\u000e\uffff\uffff\u0000\u00e1"+ + "\u00e2\u00050\u0000\u0000\u00e2\u0116\u0006\u000e\uffff\uffff\u0000\u00e3"+ + "\u00e4\u0005/\u0000\u0000\u00e4\u0116\u0006\u000e\uffff\uffff\u0000\u00e5"+ + "\u00e6\u0005.\u0000\u0000\u00e6\u0116\u0006\u000e\uffff\uffff\u0000\u00e7"+ + "\u00e8\u0005\r\u0000\u0000\u00e8\u0116\u0006\u000e\uffff\uffff\u0000\u00e9"+ + "\u00ea\u0005\u000e\u0000\u0000\u00ea\u0116\u0006\u000e\uffff\uffff\u0000"+ + "\u00eb\u00ec\u0005\u000f\u0000\u0000\u00ec\u00ed\u0003B!\u0000\u00ed\u00ee"+ + "\u0006\u000e\uffff\uffff\u0000\u00ee\u0116\u0001\u0000\u0000\u0000\u00ef"+ + "\u00f0\u0005\u0006\u0000\u0000\u00f0\u00f1\u0005\u0007\u0000\u0000\u00f1"+ + "\u00f2\u0003\u000e\u0007\u0000\u00f2\u00f3\u0005\b\u0000\u0000\u00f3\u00f4"+ + "\u0003\u0010\b\u0000\u00f4\u00f5\u0006\u000e\uffff\uffff\u0000\u00f5\u0116"+ + "\u0001\u0000\u0000\u0000\u00f6\u00f7\u0005\u0010\u0000\u0000\u00f7\u0116"+ + "\u0006\u000e\uffff\uffff\u0000\u00f8\u00f9\u0005\u0007\u0000\u0000\u00f9"+ + "\u00fa\u0003\u0002\u0001\u0000\u00fa\u00fb\u0005\b\u0000\u0000\u00fb\u00fc"+ + "\u0006\u000e\uffff\uffff\u0000\u00fc\u0116\u0001\u0000\u0000\u0000\u00fd"+ + "\u00fe\u0003 \u0010\u0000\u00fe\u00ff\u0006\u000e\uffff\uffff\u0000\u00ff"+ + "\u0116\u0001\u0000\u0000\u0000\u0100\u0101\u0003\u001e\u000f\u0000\u0101"+ + "\u0102\u0006\u000e\uffff\uffff\u0000\u0102\u0116\u0001\u0000\u0000\u0000"+ + "\u0103\u0104\u0003\"\u0011\u0000\u0104\u0105\u0006\u000e\uffff\uffff\u0000"+ + "\u0105\u0116\u0001\u0000\u0000\u0000\u0106\u0107\u0003$\u0012\u0000\u0107"+ + "\u0108\u0006\u000e\uffff\uffff\u0000\u0108\u0116\u0001\u0000\u0000\u0000"+ + "\u0109\u010a\u0003(\u0014\u0000\u010a\u010b\u0006\u000e\uffff\uffff\u0000"+ + "\u010b\u0116\u0001\u0000\u0000\u0000\u010c\u010d\u0003*\u0015\u0000\u010d"+ + "\u010e\u0006\u000e\uffff\uffff\u0000\u010e\u0116\u0001\u0000\u0000\u0000"+ + "\u010f\u0110\u0003,\u0016\u0000\u0110\u0111\u0006\u000e\uffff\uffff\u0000"+ + "\u0111\u0116\u0001\u0000\u0000\u0000\u0112\u0113\u0003<\u001e\u0000\u0113"+ + "\u0114\u0006\u000e\uffff\uffff\u0000\u0114\u0116\u0001\u0000\u0000\u0000"+ + "\u0115\u00df\u0001\u0000\u0000\u0000\u0115\u00e1\u0001\u0000\u0000\u0000"+ + "\u0115\u00e3\u0001\u0000\u0000\u0000\u0115\u00e5\u0001\u0000\u0000\u0000"+ + "\u0115\u00e7\u0001\u0000\u0000\u0000\u0115\u00e9\u0001\u0000\u0000\u0000"+ + "\u0115\u00eb\u0001\u0000\u0000\u0000\u0115\u00ef\u0001\u0000\u0000\u0000"+ + "\u0115\u00f6\u0001\u0000\u0000\u0000\u0115\u00f8\u0001\u0000\u0000\u0000"+ + "\u0115\u00fd\u0001\u0000\u0000\u0000\u0115\u0100\u0001\u0000\u0000\u0000"+ + "\u0115\u0103\u0001\u0000\u0000\u0000\u0115\u0106\u0001\u0000\u0000\u0000"+ + "\u0115\u0109\u0001\u0000\u0000\u0000\u0115\u010c\u0001\u0000\u0000\u0000"+ + "\u0115\u010f\u0001\u0000\u0000\u0000\u0115\u0112\u0001\u0000\u0000\u0000"+ + "\u0116\u001d\u0001\u0000\u0000\u0000\u0117\u0118\u0006\u000f\uffff\uffff"+ + "\u0000\u0118\u0124\u0005\u000b\u0000\u0000\u0119\u011a\u0003\u0012\t\u0000"+ + "\u011a\u0121\u0006\u000f\uffff\uffff\u0000\u011b\u011c\u0005\u0003\u0000"+ + "\u0000\u011c\u011d\u0003\u0012\t\u0000\u011d\u011e\u0006\u000f\uffff\uffff"+ + "\u0000\u011e\u0120\u0001\u0000\u0000\u0000\u011f\u011b\u0001\u0000\u0000"+ + "\u0000\u0120\u0123\u0001\u0000\u0000\u0000\u0121\u011f\u0001\u0000\u0000"+ + "\u0000\u0121\u0122\u0001\u0000\u0000\u0000\u0122\u0125\u0001\u0000\u0000"+ + "\u0000\u0123\u0121\u0001\u0000\u0000\u0000\u0124\u0119\u0001\u0000\u0000"+ + "\u0000\u0124\u0125\u0001\u0000\u0000\u0000\u0125\u0126\u0001\u0000\u0000"+ + "\u0000\u0126\u0127\u0005\f\u0000\u0000\u0127\u0128\u0006\u000f\uffff\uffff"+ + "\u0000\u0128\u001f\u0001\u0000\u0000\u0000\u0129\u012a\u0006\u0010\uffff"+ + "\uffff\u0000\u012a\u0136\u0005\t\u0000\u0000\u012b\u012c\u0003\u0012\t"+ + "\u0000\u012c\u0133\u0006\u0010\uffff\uffff\u0000\u012d\u012e\u0005\u0003"+ + "\u0000\u0000\u012e\u012f\u0003\u0012\t\u0000\u012f\u0130\u0006\u0010\uffff"+ + "\uffff\u0000\u0130\u0132\u0001\u0000\u0000\u0000\u0131\u012d\u0001\u0000"+ + "\u0000\u0000\u0132\u0135\u0001\u0000\u0000\u0000\u0133\u0131\u0001\u0000"+ + "\u0000\u0000\u0133\u0134\u0001\u0000\u0000\u0000\u0134\u0137\u0001\u0000"+ + "\u0000\u0000\u0135\u0133\u0001\u0000\u0000\u0000\u0136\u012b\u0001\u0000"+ + "\u0000\u0000\u0136\u0137\u0001\u0000\u0000\u0000\u0137\u0138\u0001\u0000"+ + "\u0000\u0000\u0138\u0139\u0005\n\u0000\u0000\u0139\u013a\u0006\u0010\uffff"+ + "\uffff\u0000\u013a!\u0001\u0000\u0000\u0000\u013b\u013c\u0006\u0011\uffff"+ + "\uffff\u0000\u013c\u014c\u0005-\u0000\u0000\u013d\u0149\u0005\u0007\u0000"+ + "\u0000\u013e\u013f\u0003\u0012\t\u0000\u013f\u0146\u0006\u0011\uffff\uffff"+ + "\u0000\u0140\u0141\u0005\u0003\u0000\u0000\u0141\u0142\u0003\u0012\t\u0000"+ + "\u0142\u0143\u0006\u0011\uffff\uffff\u0000\u0143\u0145\u0001\u0000\u0000"+ + "\u0000\u0144\u0140\u0001\u0000\u0000\u0000\u0145\u0148\u0001\u0000\u0000"+ + "\u0000\u0146\u0144\u0001\u0000\u0000\u0000\u0146\u0147\u0001\u0000\u0000"+ + "\u0000\u0147\u014a\u0001\u0000\u0000\u0000\u0148\u0146\u0001\u0000\u0000"+ + "\u0000\u0149\u013e\u0001\u0000\u0000\u0000\u0149\u014a\u0001\u0000\u0000"+ + "\u0000\u014a\u014b\u0001\u0000\u0000\u0000\u014b\u014d\u0005\b\u0000\u0000"+ + "\u014c\u013d\u0001\u0000\u0000\u0000\u014c\u014d\u0001\u0000\u0000\u0000"+ + "\u014d\u014e\u0001\u0000\u0000\u0000\u014e\u014f\u0006\u0011\uffff\uffff"+ + "\u0000\u014f#\u0001\u0000\u0000\u0000\u0150\u0151\u0006\u0012\uffff\uffff"+ + "\u0000\u0151\u0152\u0005\u0011\u0000\u0000\u0152\u0153\u0003\u0012\t\u0000"+ + "\u0153\u0154\u0005\u0012\u0000\u0000\u0154\u0158\u0003\u0002\u0001\u0000"+ + "\u0155\u0156\u0003&\u0013\u0000\u0156\u0157\u0006\u0012\uffff\uffff\u0000"+ + "\u0157\u0159\u0001\u0000\u0000\u0000\u0158\u0155\u0001\u0000\u0000\u0000"+ + "\u0158\u0159\u0001\u0000\u0000\u0000\u0159\u015a\u0001\u0000\u0000\u0000"+ + "\u015a\u015b\u0005\u0013\u0000\u0000\u015b\u015c\u0006\u0012\uffff\uffff"+ + "\u0000\u015c%\u0001\u0000\u0000\u0000\u015d\u015e\u0005\u0014\u0000\u0000"+ + "\u015e\u015f\u0006\u0013\uffff\uffff\u0000\u015f\u0160\u0003\u0012\t\u0000"+ + "\u0160\u0161\u0005\u0012\u0000\u0000\u0161\u0165\u0003\u0002\u0001\u0000"+ + "\u0162\u0163\u0003&\u0013\u0000\u0163\u0164\u0006\u0013\uffff\uffff\u0000"+ + "\u0164\u0166\u0001\u0000\u0000\u0000\u0165\u0162\u0001\u0000\u0000\u0000"+ + "\u0165\u0166\u0001\u0000\u0000\u0000\u0166\u0167\u0001\u0000\u0000\u0000"+ + "\u0167\u0168\u0006\u0013\uffff\uffff\u0000\u0168\u016e\u0001\u0000\u0000"+ + "\u0000\u0169\u016a\u0005\u0015\u0000\u0000\u016a\u016b\u0003\u0002\u0001"+ + "\u0000\u016b\u016c\u0006\u0013\uffff\uffff\u0000\u016c\u016e\u0001\u0000"+ + "\u0000\u0000\u016d\u015d\u0001\u0000\u0000\u0000\u016d\u0169\u0001\u0000"+ + "\u0000\u0000\u016e\'\u0001\u0000\u0000\u0000\u016f\u0170\u0005\u0016\u0000"+ + "\u0000\u0170\u0171\u0003\u0012\t\u0000\u0171\u0172\u0005\u0017\u0000\u0000"+ + "\u0172\u0173\u0003\u0002\u0001\u0000\u0173\u0174\u0005\u0018\u0000\u0000"+ + "\u0174\u0175\u0006\u0014\uffff\uffff\u0000\u0175)\u0001\u0000\u0000\u0000"+ + "\u0176\u0177\u0005\u0017\u0000\u0000\u0177\u0178\u0003\u0002\u0001\u0000"+ + "\u0178\u0179\u0005\u0016\u0000\u0000\u0179\u017a\u0003\u0012\t\u0000\u017a"+ + "\u017b\u0005\u0018\u0000\u0000\u017b\u017c\u0006\u0015\uffff\uffff\u0000"+ + "\u017c+\u0001\u0000\u0000\u0000\u017d\u017e\u0005\u0019\u0000\u0000\u017e"+ + "\u017f\u0003\u0002\u0001\u0000\u017f\u0180\u0005\u0003\u0000\u0000\u0180"+ + "\u0181\u0003\u0012\t\u0000\u0181\u0182\u0005\u0003\u0000\u0000\u0182\u0183"+ + "\u0003\u0012\t\u0000\u0183\u0184\u0005\u0017\u0000\u0000\u0184\u0185\u0003"+ + "\u0002\u0001\u0000\u0185\u0186\u0005\u0018\u0000\u0000\u0186\u0187\u0006"+ + "\u0016\uffff\uffff\u0000\u0187-\u0001\u0000\u0000\u0000\u0188\u0189\u0003"+ + "0\u0018\u0000\u0189\u018a\u0006\u0017\uffff\uffff\u0000\u018a\u018f\u0001"+ + "\u0000\u0000\u0000\u018b\u018c\u00032\u0019\u0000\u018c\u018d\u0006\u0017"+ + "\uffff\uffff\u0000\u018d\u018f\u0001\u0000\u0000\u0000\u018e\u0188\u0001"+ + "\u0000\u0000\u0000\u018e\u018b\u0001\u0000\u0000\u0000\u018f/\u0001\u0000"+ + "\u0000\u0000\u0190\u0191\u00032\u0019\u0000\u0191\u0192\u0005\u001a\u0000"+ + "\u0000\u0192\u0193\u0003.\u0017\u0000\u0193\u0194\u0006\u0018\uffff\uffff"+ + "\u0000\u01941\u0001\u0000\u0000\u0000\u0195\u0196\u00034\u001a\u0000\u0196"+ + "\u0197\u0006\u0019\uffff\uffff\u0000\u0197\u01d1\u0001\u0000\u0000\u0000"+ + "\u0198\u0199\u00036\u001b\u0000\u0199\u019a\u0006\u0019\uffff\uffff\u0000"+ + "\u019a\u01d1\u0001\u0000\u0000\u0000\u019b\u019c\u00038\u001c\u0000\u019c"+ + "\u019d\u0006\u0019\uffff\uffff\u0000\u019d\u01d1\u0001\u0000\u0000\u0000"+ + "\u019e\u019f\u0003:\u001d\u0000\u019f\u01a0\u0006\u0019\uffff\uffff\u0000"+ + "\u01a0\u01d1\u0001\u0000\u0000\u0000\u01a1\u01a2\u0005.\u0000\u0000\u01a2"+ + "\u01a7\u0006\u0019\uffff\uffff\u0000\u01a3\u01a4\u0005\u001b\u0000\u0000"+ + "\u01a4\u01a5\u0003.\u0017\u0000\u01a5\u01a6\u0006\u0019\uffff\uffff\u0000"+ + "\u01a6\u01a8\u0001\u0000\u0000\u0000\u01a7\u01a3\u0001\u0000\u0000\u0000"+ + "\u01a7\u01a8\u0001\u0000\u0000\u0000\u01a8\u01a9\u0001\u0000\u0000\u0000"+ + "\u01a9\u01d1\u0006\u0019\uffff\uffff\u0000\u01aa\u01ad\u0006\u0019\uffff"+ + "\uffff\u0000\u01ab\u01ac\u0005+\u0000\u0000\u01ac\u01ae\u0006\u0019\uffff"+ + "\uffff\u0000\u01ad\u01ab\u0001\u0000\u0000\u0000\u01ad\u01ae\u0001\u0000"+ + "\u0000\u0000\u01ae\u01af\u0001\u0000\u0000\u0000\u01af\u01b0\u00051\u0000"+ + "\u0000\u01b0\u01d1\u0006\u0019\uffff\uffff\u0000\u01b1\u01b2\u00050\u0000"+ + "\u0000\u01b2\u01d1\u0006\u0019\uffff\uffff\u0000\u01b3\u01b4\u0005/\u0000"+ + "\u0000\u01b4\u01d1\u0006\u0019\uffff\uffff\u0000\u01b5\u01b6\u0005\r\u0000"+ + "\u0000\u01b6\u01d1\u0006\u0019\uffff\uffff\u0000\u01b7\u01b8\u0005\u000e"+ + "\u0000\u0000\u01b8\u01d1\u0006\u0019\uffff\uffff\u0000\u01b9\u01ba\u0005"+ + "\u001c\u0000\u0000\u01ba\u01bb\u0005\u001d\u0000\u0000\u01bb\u01d1\u0006"+ + "\u0019\uffff\uffff\u0000\u01bc\u01bd\u0005\u001c\u0000\u0000\u01bd\u01be"+ + "\u0005\u001e\u0000\u0000\u01be\u01d1\u0006\u0019\uffff\uffff\u0000\u01bf"+ + "\u01c0\u0005\u001c\u0000\u0000\u01c0\u01c1\u0005\u001f\u0000\u0000\u01c1"+ + "\u01d1\u0006\u0019\uffff\uffff\u0000\u01c2\u01c3\u0005\u001c\u0000\u0000"+ + "\u01c3\u01c4\u0005 \u0000\u0000\u01c4\u01d1\u0006\u0019\uffff\uffff\u0000"+ + "\u01c5\u01c6\u0005\u001c\u0000\u0000\u01c6\u01c7\u0005!\u0000\u0000\u01c7"+ + "\u01d1\u0006\u0019\uffff\uffff\u0000\u01c8\u01c9\u0005\u001c\u0000\u0000"+ + "\u01c9\u01ca\u0005\u0006\u0000\u0000\u01ca\u01d1\u0006\u0019\uffff\uffff"+ + "\u0000\u01cb\u01cc\u0005\u0007\u0000\u0000\u01cc\u01cd\u0003.\u0017\u0000"+ + "\u01cd\u01ce\u0005\b\u0000\u0000\u01ce\u01cf\u0006\u0019\uffff\uffff\u0000"+ + "\u01cf\u01d1\u0001\u0000\u0000\u0000\u01d0\u0195\u0001\u0000\u0000\u0000"+ + "\u01d0\u0198\u0001\u0000\u0000\u0000\u01d0\u019b\u0001\u0000\u0000\u0000"+ + "\u01d0\u019e\u0001\u0000\u0000\u0000\u01d0\u01a1\u0001\u0000\u0000\u0000"+ + "\u01d0\u01aa\u0001\u0000\u0000\u0000\u01d0\u01b1\u0001\u0000\u0000\u0000"+ + "\u01d0\u01b3\u0001\u0000\u0000\u0000\u01d0\u01b5\u0001\u0000\u0000\u0000"+ + "\u01d0\u01b7\u0001\u0000\u0000\u0000\u01d0\u01b9\u0001\u0000\u0000\u0000"+ + "\u01d0\u01bc\u0001\u0000\u0000\u0000\u01d0\u01bf\u0001\u0000\u0000\u0000"+ + "\u01d0\u01c2\u0001\u0000\u0000\u0000\u01d0\u01c5\u0001\u0000\u0000\u0000"+ + "\u01d0\u01c8\u0001\u0000\u0000\u0000\u01d0\u01cb\u0001\u0000\u0000\u0000"+ + "\u01d13\u0001\u0000\u0000\u0000\u01d2\u01d3\u0005\"\u0000\u0000\u01d3"+ + "\u01d4\u0006\u001a\uffff\uffff\u0000\u01d45\u0001\u0000\u0000\u0000\u01d5"+ + "\u01d6\u0006\u001b\uffff\uffff\u0000\u01d6\u01e6\u0005-\u0000\u0000\u01d7"+ + "\u01e3\u0005\u0007\u0000\u0000\u01d8\u01d9\u0003.\u0017\u0000\u01d9\u01e0"+ + "\u0006\u001b\uffff\uffff\u0000\u01da\u01db\u0005\u0003\u0000\u0000\u01db"+ + "\u01dc\u0003.\u0017\u0000\u01dc\u01dd\u0006\u001b\uffff\uffff\u0000\u01dd"+ + "\u01df\u0001\u0000\u0000\u0000\u01de\u01da\u0001\u0000\u0000\u0000\u01df"+ + "\u01e2\u0001\u0000\u0000\u0000\u01e0\u01de\u0001\u0000\u0000\u0000\u01e0"+ + "\u01e1\u0001\u0000\u0000\u0000\u01e1\u01e4\u0001\u0000\u0000\u0000\u01e2"+ + "\u01e0\u0001\u0000\u0000\u0000\u01e3\u01d8\u0001\u0000\u0000\u0000\u01e3"+ + "\u01e4\u0001\u0000\u0000\u0000\u01e4\u01e5\u0001\u0000\u0000\u0000\u01e5"+ + "\u01e7\u0005\b\u0000\u0000\u01e6\u01d7\u0001\u0000\u0000\u0000\u01e6\u01e7"+ + "\u0001\u0000\u0000\u0000\u01e7\u01e8\u0001\u0000\u0000\u0000\u01e8\u01e9"+ + "\u0006\u001b\uffff\uffff\u0000\u01e97\u0001\u0000\u0000\u0000\u01ea\u01eb"+ + "\u0006\u001c\uffff\uffff\u0000\u01eb\u01f7\u0005\u000b\u0000\u0000\u01ec"+ + "\u01ed\u0003.\u0017\u0000\u01ed\u01f4\u0006\u001c\uffff\uffff\u0000\u01ee"+ + "\u01ef\u0005\u0003\u0000\u0000\u01ef\u01f0\u0003.\u0017\u0000\u01f0\u01f1"+ + "\u0006\u001c\uffff\uffff\u0000\u01f1\u01f3\u0001\u0000\u0000\u0000\u01f2"+ + "\u01ee\u0001\u0000\u0000\u0000\u01f3\u01f6\u0001\u0000\u0000\u0000\u01f4"+ + "\u01f2\u0001\u0000\u0000\u0000\u01f4\u01f5\u0001\u0000\u0000\u0000\u01f5"+ + "\u01f8\u0001\u0000\u0000\u0000\u01f6\u01f4\u0001\u0000\u0000\u0000\u01f7"+ + "\u01ec\u0001\u0000\u0000\u0000\u01f7\u01f8\u0001\u0000\u0000\u0000\u01f8"+ + "\u01f9\u0001\u0000\u0000\u0000\u01f9\u01fa\u0005\f\u0000\u0000\u01fa\u01fb"+ + "\u0006\u001c\uffff\uffff\u0000\u01fb9\u0001\u0000\u0000\u0000\u01fc\u01fd"+ + "\u0006\u001d\uffff\uffff\u0000\u01fd\u0209\u0005\t\u0000\u0000\u01fe\u01ff"+ + "\u0003.\u0017\u0000\u01ff\u0206\u0006\u001d\uffff\uffff\u0000\u0200\u0201"+ + "\u0005\u0003\u0000\u0000\u0201\u0202\u0003.\u0017\u0000\u0202\u0203\u0006"+ + "\u001d\uffff\uffff\u0000\u0203\u0205\u0001\u0000\u0000\u0000\u0204\u0200"+ + "\u0001\u0000\u0000\u0000\u0205\u0208\u0001\u0000\u0000\u0000\u0206\u0204"+ + "\u0001\u0000\u0000\u0000\u0206\u0207\u0001\u0000\u0000\u0000\u0207\u020a"+ + "\u0001\u0000\u0000\u0000\u0208\u0206\u0001\u0000\u0000\u0000\u0209\u01fe"+ + "\u0001\u0000\u0000\u0000\u0209\u020a\u0001\u0000\u0000\u0000\u020a\u020b"+ + "\u0001\u0000\u0000\u0000\u020b\u020c\u0005\n\u0000\u0000\u020c\u020d\u0006"+ + "\u001d\uffff\uffff\u0000\u020d;\u0001\u0000\u0000\u0000\u020e\u020f\u0005"+ + "#\u0000\u0000\u020f\u0210\u0003\u0012\t\u0000\u0210\u0211\u0005$\u0000"+ + "\u0000\u0211\u0212\u0003>\u001f\u0000\u0212\u0213\u0005%\u0000\u0000\u0213"+ + "\u0214\u0006\u001e\uffff\uffff\u0000\u0214=\u0001\u0000\u0000\u0000\u0215"+ + "\u0216\u0006\u001f\uffff\uffff\u0000\u0216\u0217\u0003@ \u0000\u0217\u021e"+ + "\u0006\u001f\uffff\uffff\u0000\u0218\u0219\u0005&\u0000\u0000\u0219\u021a"+ + "\u0003@ \u0000\u021a\u021b\u0006\u001f\uffff\uffff\u0000\u021b\u021d\u0001"+ + "\u0000\u0000\u0000\u021c\u0218\u0001\u0000\u0000\u0000\u021d\u0220\u0001"+ + "\u0000\u0000\u0000\u021e\u021c\u0001\u0000\u0000\u0000\u021e\u021f\u0001"+ + "\u0000\u0000\u0000\u021f?\u0001\u0000\u0000\u0000\u0220\u021e\u0001\u0000"+ + "\u0000\u0000\u0221\u0222\u0003.\u0017\u0000\u0222\u0223\u0006 \uffff\uffff"+ + "\u0000\u0223\u0224\u0005\'\u0000\u0000\u0224\u0225\u0003\u0002\u0001\u0000"+ + "\u0225\u0226\u0006 \uffff\uffff\u0000\u0226A\u0001\u0000\u0000\u0000\u0227"+ + "\u0228\u0005,\u0000\u0000\u0228\u022c\u0006!\uffff\uffff\u0000\u0229\u022a"+ + "\u0005+\u0000\u0000\u022a\u022c\u0006!\uffff\uffff\u0000\u022b\u0227\u0001"+ + "\u0000\u0000\u0000\u022b\u0229\u0001\u0000\u0000\u0000\u022cC\u0001\u0000"+ + "\u0000\u0000(OUZbhu\u0081\u0086\u008c\u009a\u00a8\u00b5\u00bb\u00c4\u00d1"+ + "\u00dd\u0115\u0121\u0124\u0133\u0136\u0146\u0149\u014c\u0158\u0165\u016d"+ + "\u018e\u01a7\u01ad\u01d0\u01e0\u01e3\u01e6\u01f4\u01f7\u0206\u0209\u021e"+ + "\u022b"; public static final ATN _ATN = new ATNDeserializer().deserialize(_serializedATN.toCharArray()); static {