/*
* This file is part of the X10 project (http://x10-lang.org).
*
* This file is licensed to You under the Eclipse Public License (EPL);
* You may not use this file except in compliance with the License.
* You may obtain a copy of the License at
* http://www.opensource.org/licenses/eclipse-1.0.php
*
* (C) Copyright IBM Corporation 2006-2010.
*/
/********************************************************************
* WARNING! THIS JAVA FILE IS AUTO-GENERATED FROM x10/parser/x10.g *
********************************************************************/
package x10.parser;
public class X10Parserprs implements lpg.runtime.ParseTable, X10Parsersym {
public final static int ERROR_SYMBOL = 152;
public final int getErrorSymbol() { return ERROR_SYMBOL; }
public final static int SCOPE_UBOUND = 192;
public final int getScopeUbound() { return SCOPE_UBOUND; }
public final static int SCOPE_SIZE = 193;
public final int getScopeSize() { return SCOPE_SIZE; }
public final static int MAX_NAME_LENGTH = 36;
public final int getMaxNameLength() { return MAX_NAME_LENGTH; }
public final static int NUM_STATES = 737;
public final int getNumStates() { return NUM_STATES; }
public final static int NT_OFFSET = 152;
public final int getNtOffset() { return NT_OFFSET; }
public final static int LA_STATE_OFFSET = 13804;
public final int getLaStateOffset() { return LA_STATE_OFFSET; }
public final static int MAX_LA = 1;
public final int getMaxLa() { return MAX_LA; }
public final static int NUM_RULES = 645;
public final int getNumRules() { return NUM_RULES; }
public final static int NUM_NONTERMINALS = 247;
public final int getNumNonterminals() { return NUM_NONTERMINALS; }
public final static int NUM_SYMBOLS = 399;
public final int getNumSymbols() { return NUM_SYMBOLS; }
public final static int SEGMENT_SIZE = 8192;
public final int getSegmentSize() { return SEGMENT_SIZE; }
public final static int START_STATE = 12220;
public final int getStartState() { return START_STATE; }
public final static int IDENTIFIER_SYMBOL = 7;
public final int getIdentifier_SYMBOL() { return IDENTIFIER_SYMBOL; }
public final static int EOFT_SYMBOL = 116;
public final int getEoftSymbol() { return EOFT_SYMBOL; }
public final static int EOLT_SYMBOL = 116;
public final int getEoltSymbol() { return EOLT_SYMBOL; }
public final static int ACCEPT_ACTION = 12538;
public final int getAcceptAction() { return ACCEPT_ACTION; }
public final static int ERROR_ACTION = 13159;
public final int getErrorAction() { return ERROR_ACTION; }
public final static boolean BACKTRACK = true;
public final boolean getBacktrack() { return BACKTRACK; }
public final int getStartSymbol() { return lhs(0); }
public final boolean isValidForParser() { return X10Parsersym.isValidForParser; }
public interface IsNullable {
public final static byte isNullable[] = {0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,1,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,1,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
1,1,0,0,0,1,0,0,0,0,
0,1,1,0,0,0,0,1,0,0,
0,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,1,0,0,0,0,0,
0,0,0,0,0,0,1,1,0,0,
0,0,0,1,1,1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,
1,0,0,0,0,0,0,0,0,1,
0,1,0,0,1,0,0,0,1,0,
0,0,0,0,0,1,0,0,0,1,
0,0,1,1,0,0,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,1,
1,0,0,1,1,0,0,0,1,0,
0,1,0,1,0,0,1,0,1,0,
0,0,0,0,0,0,1,1,1
};
};
public final static byte isNullable[] = IsNullable.isNullable;
public final boolean isNullable(int index) { return isNullable[index] != 0; }
public interface ProsthesesIndex {
public final static char prosthesesIndex[] = {0,
22,19,3,66,6,7,9,10,11,12,
13,15,16,56,224,225,226,23,78,5,
129,130,133,171,227,229,67,68,69,73,
64,25,59,60,61,65,127,128,132,228,
230,134,231,135,232,136,233,30,137,234,
82,83,84,138,235,139,236,140,237,141,
238,142,239,143,240,144,241,126,244,33,
174,178,179,242,243,81,31,209,36,17,
125,131,217,14,72,98,99,100,71,24,
50,85,21,87,91,34,211,212,37,35,
44,213,43,51,186,188,189,190,18,102,
161,172,208,221,222,45,95,90,151,152,
183,198,20,26,32,38,39,40,41,42,
46,47,48,96,177,182,187,196,199,210,
27,52,53,57,62,70,76,97,150,176,
184,201,203,245,29,49,58,79,89,92,
106,115,116,121,149,154,155,157,160,163,
167,168,169,170,173,175,185,191,195,197,
200,202,215,2,4,8,28,54,55,63,
74,75,77,80,88,93,94,101,103,104,
105,107,108,109,110,111,112,113,114,117,
118,119,120,122,123,124,145,146,147,148,
153,156,158,159,162,164,165,166,180,181,
192,193,194,214,216,218,219,220,1,86,
204,205,206,207,223,246,247
};
};
public final static char prosthesesIndex[] = ProsthesesIndex.prosthesesIndex;
public final int prosthesesIndex(int index) { return prosthesesIndex[index]; }
public interface IsKeyword {
public final static byte isKeyword[] = {0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0
};
};
public final static byte isKeyword[] = IsKeyword.isKeyword;
public final boolean isKeyword(int index) { return isKeyword[index] != 0; }
public interface BaseCheck0 {
public final static short baseCheck0[] = {0,
3,3,3,3,3,3,1,1,1,4,
4,4,3,3,5,0,2,1,1,1,
1,1,1,1,1,1,1,1,1,2,
2,8,11,3,1,3,3,10,1,1,
1,1,1,15,13,13,12,10,10,14,
1,1,12,13,11,7,5,6,6,8,
8,8,7,9,9,6,1,1,1,8,
1,2,1,1,1,1,3,3,3,2,
2,3,2,2,1,1,1,1,4,3,
3,3,1,3,2,2,3,3,1,0,
1,0,1,3,9,8,10,2,1,1,
4,3,1,1,2,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,3,5,
7,1,3,1,1,1,1,2,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,3,
5,5,4,1,2,2,1,2,3,2,
5,7,1,1,9,1,1,1,1,3,
3,3,3,3,3,4,1,2,5,2,
2,3,3,5,2,5,8,5,7,5,
2,3,1,1,3,1,1,3,3,1,
3,2,2,1,6,1,1,5,2,6,
5,0,1,0,1,1,3,1,3,1,
3,1,3,1,3,1,3,1,3,1,
3,2,3,4,5,1,2,1,2,4,
1,1,3,5,1,1,1,1,1,2,
1,3,3,1,2,1,1,1,3,1,
3,1,3,1,3,1,3,1,3,1,
1,1,2,1,2,1,3,2,4,5,
2,3,2,3,1,2,2,1,3,3,
6,3,2,1,2,1,2,2,1,4,
3,2,3,3,1,2,1,1,1,1,
1,2,2,1,3,1,2,1,1,1,
1,1,1,3,2,4,5,2,4,4,
6,7,4,6,7,3,1,1,2,3,
2,3,1,3,1,1,1,3,3,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,3,
3,3,5,5,7,7,9,5,5,11,
10,2,4,4,4,6,4,6,6,6,
8,2,4,4,4,6,3,5,5,5,
7,4,6,6,6,8,1,1,1,2,
2,1,1,1,1,2,2,1,2,2,
2,1,1,2,2,2,2,2,2,2,
2,1,1,3,1,1,3,3,3,3,
1,1,3,3,1,1,3,3,3,3,
3,3,3,3,3,3,1,1,1,1,
1,3,3,3,3,3,1,3,3,3,
1,3,3,1,1,3,1,1,3,1,
1,3,1,1,3,1,1,3,1,1,
1,1,5,1,1,3,6,6,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,
1,1,1,0,1,0,1,0,1,0,
1,0,1,0,1,0,1,0,1,0,
1,0,1,0,1,0,1,0,1,0,
1,0,1,0,1,0,1,0,1,0,
1,0,1,0,1,0,1,0,1,0,
1,0,1,0,1,0,1,0,1,0,
1,0,1,0,1,-448,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,48,49,50,51,52,53,54,
55,56,57,58,59,60,61,62,63,64,
65,66,67,68,69,70,71,72,73,74,
75,76,-37,1,-21,80,81,82,-56,1,
-10,3,2,5,6,7,8,9,10,11,
12,13,14,15,16,17,-2,-9,20,21,
22,23,24,25,26,-6,111,-169,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,-13,49,50,51,52,
53,54,55,89,169,91,-8,-14,2,174,
-139,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,-47,109,
20,21,22,23,24,25,26,-475,1,-495,
-30,1,105,3,107,108,-33,37,38,39,
40,41,42,43,44,45,-3,222,121,224,
-324,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,39,
40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,62,63,64,65,66,67,68,69,
-281,85,2,-345,4,2,80,4,-17,1,
80,81,82,-413,1,-118,86,87,88,93,
94,95,-119,93,94,95,-15,-430,1,2,
104,105,106,107,108,-501,1,-208,1,-23,
-20,111,-38,1,114,115,139,121,48,119,
-120,48,154,-203,-31,148,-129,1,2,-484,
1,2,136,137,-289,135,-422,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,39,40,41,42,43,
44,45,46,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,69,109,228,-78,85,
2,101,4,89,117,-24,80,81,82,112,
-414,1,86,87,88,155,116,142,155,93,
94,95,147,-25,142,109,139,-44,109,147,
-435,1,2,117,110,148,117,111,122,-179,
114,115,-131,170,2,119,4,187,153,-429,
1,2,142,185,141,158,143,147,-11,140,
146,135,-609,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,105,-110,107,108,-39,1,80,109,
101,-610,80,81,82,-40,1,117,86,87,
88,93,94,95,-298,93,94,95,109,-182,
-205,2,104,4,106,-307,-213,1,-666,139,
2,-343,4,111,-502,1,114,115,148,-12,
170,119,120,-642,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,85,-4,1,-26,3,90,80,
92,120,-121,80,81,82,101,-418,1,86,
87,88,93,94,95,-206,93,94,95,146,
18,19,-300,104,105,106,107,108,122,118,
149,-231,1,-186,111,-27,122,114,115,-41,
1,141,119,143,-447,-54,165,-22,154,-191,
-199,-214,1,-34,-132,136,137,-28,135,-709,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,122,
85,77,78,79,101,90,89,92,91,80,
81,82,89,112,91,86,87,88,97,116,
101,101,93,94,95,-222,141,2,143,4,
153,-42,1,-104,1,116,116,-230,-29,2,
111,4,-32,114,115,-233,154,2,119,4,
186,-207,-280,-292,1,-644,-35,180,-217,182,
146,-463,-283,1,135,-379,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,48,49,50,51,52,53,54,
55,56,57,58,59,60,61,62,63,64,
65,66,67,68,69,-45,85,85,77,78,
79,90,90,92,92,80,81,82,-284,1,
97,86,87,88,96,100,98,102,93,94,
95,-234,-542,2,-76,4,-285,-286,-235,-240,
2,2,4,4,112,-109,111,-108,1,114,
115,-639,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,48,
49,50,51,52,53,54,55,56,57,58,
59,60,61,62,63,64,65,66,67,68,
69,85,85,89,-473,91,90,90,92,92,
112,80,81,82,89,-46,91,86,87,88,
-113,1,18,19,93,94,95,-254,-295,2,
2,4,4,-296,-302,2,2,4,4,-303,
-48,2,111,4,-49,114,115,-53,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-405,-137,1,80,3,217,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,-114,1,-320,-316,-50,
103,-347,27,28,29,30,31,32,33,34,
35,36,-319,1,-330,-335,2,2,4,4,
-353,124,2,-391,4,2,-395,4,2,-437,
4,2,-134,4,-464,1,-116,1,-340,-51,
-427,-432,145,-75,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,
-478,89,-52,91,112,-68,83,84,-153,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,172,173,20,21,
22,23,24,25,26,112,118,159,118,118,
159,-69,-514,-123,1,37,38,39,40,41,
42,43,44,45,46,47,178,49,50,178,
18,19,144,-70,144,144,152,175,-125,1,
-187,-200,195,-152,197,2,-71,77,78,79,
-72,158,-19,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,89,
89,91,91,-193,1,83,84,-105,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-469,-479,2,2,4,4,
83,84,-106,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-480,
-593,2,-73,4,-74,83,84,-107,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-676,-699,2,2,4,4,
83,84,-136,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-201,
1,-77,172,173,-79,83,84,-148,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-220,1,-268,1,-318,1,
83,84,-180,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-327,
1,-474,1,-716,1,83,84,-183,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-80,-81,-82,-83,-84,-85,
83,84,-197,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-198,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,70,
71,72,73,74,75,76,-392,-637,-86,-515,
-87,-88,83,84,-57,1,-380,3,-112,5,
6,7,8,9,10,11,12,13,14,15,
16,17,-420,1,20,21,22,23,24,25,
26,-497,-89,-90,192,-91,194,-273,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,118,116,110,120,-92,97,
83,84,-308,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,191,
-93,-94,171,-95,-96,83,84,-314,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-97,-98,-99,-100,-102,-103,
83,84,-339,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-115,
-122,-127,-128,-130,-133,83,84,-342,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-146,-147,-181,-184,-185,-188,
83,84,-386,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-189,
-190,-192,-194,-195,-196,83,84,-424,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-209,-210,-211,-221,-223,-224,
83,84,-441,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-299,
-352,-225,80,-471,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,
-332,-226,-227,-228,85,85,83,84,-252,90,
90,92,92,-229,-232,-236,174,-481,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-237,-238,96,89,98,91,
83,84,-721,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-239,
-241,-242,-243,-244,-245,83,84,-724,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-246,-247,-248,-249,-250,-251,
83,84,-731,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-253,
-255,-256,-257,-258,-259,83,84,-732,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-260,-261,-262,-263,-265,-267,
83,84,-111,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-269,
-270,-271,-274,-275,-276,83,-325,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,39,40,41,42,43,
44,45,46,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,69,70,71,72,73,
74,75,76,-329,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,
-516,-277,-518,-278,-282,-288,-290,-291,-293,-310,
-311,-315,-317,-322,-328,-336,-337,-338,18,19,
18,19,176,-124,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,176,
-412,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,39,
40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,62,63,64,65,66,67,68,69,
70,71,72,73,74,75,76,-468,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-341,-350,-354,-356,-357,-358,
-359,-360,-361,-362,-363,-364,-365,-366,168,-168,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,-367,49,50,
51,52,53,54,55,56,57,150,-509,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69,70,71,
72,73,74,75,76,-58,1,-349,3,-368,
5,6,7,8,9,10,11,12,13,14,
15,16,17,-686,-369,20,21,22,23,24,
25,26,-370,-371,-372,-373,-374,-375,-376,-378,
-382,113,-532,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-547,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,70,
71,72,73,74,75,76,189,-383,-387,-519,
1,-525,1,-389,-390,-396,183,-400,-401,-403,
168,-404,-406,-407,-408,-409,-416,-419,-425,196,
-426,-428,-434,-272,-439,-440,-453,-305,-309,-410,
-539,-454,113,-560,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,
-59,1,89,3,91,5,6,7,8,9,
10,11,12,13,14,15,16,17,101,101,
20,21,22,23,24,25,26,-279,139,110,
110,140,-645,116,-455,-651,113,-581,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-7,1,89,3,91,5,
6,7,8,9,10,11,12,13,14,15,
16,17,100,-456,102,100,-457,102,-459,-460,
-461,27,28,29,30,-465,-467,-470,-476,-477,
113,-584,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,48,
49,50,51,52,53,54,55,56,57,58,
59,60,61,62,63,64,65,66,67,68,
69,70,71,72,73,74,75,76,-176,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,-482,49,50,51,
52,53,54,55,56,57,58,59,60,61,
62,63,64,65,-483,-485,-486,-487,-488,-489,
-490,150,-608,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-613,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,70,
71,72,73,74,75,76,-154,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,-492,-493,20,21,22,23,
24,25,26,-494,-496,-498,-499,-503,-504,-506,
-508,-510,113,37,38,39,40,41,42,43,
44,45,46,47,-511,49,50,-462,1,-583,
-517,-520,-521,-604,-652,-618,-625,-552,-466,1,
-586,-313,-297,221,-616,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,39,40,41,42,43,44,45,
46,47,48,49,50,51,52,53,54,55,
56,57,58,59,60,61,62,63,64,65,
66,67,68,69,70,71,72,73,74,75,
76,85,85,-522,97,85,90,90,92,92,
90,89,92,91,100,97,102,101,-543,110,
-505,1,101,110,-548,110,-549,-555,-664,-561,
-587,-591,-526,1,-592,-621,-306,113,-641,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69,70,71,
72,73,74,75,76,85,85,97,-562,85,
90,90,92,92,90,89,92,91,100,97,
102,96,-563,98,-565,-566,-569,-571,-572,-573,
-574,-576,-578,-579,-582,-589,-590,-595,-598,-600,
-602,113,-657,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-177,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,-605,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,-607,-612,-614,-615,-617,-620,-623,
-630,-631,150,-18,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,
-126,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,39,
40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,62,63,64,65,66,67,68,69,
70,71,72,73,74,75,76,-175,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-178,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,39,40,41,42,43,44,45,
46,47,48,49,50,51,52,53,54,55,
56,57,58,59,60,61,62,63,64,65,
66,67,68,69,70,71,72,73,74,75,
76,-212,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,48,
49,50,51,52,53,54,55,56,57,58,
59,60,61,62,63,64,65,66,67,68,
69,70,71,72,73,74,75,76,-312,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69,70,71,
72,73,74,75,76,-397,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,48,49,50,51,52,53,54,
55,56,57,58,59,60,61,62,63,64,
65,66,67,68,69,70,71,72,73,74,
75,76,-411,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-417,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,70,
71,72,73,74,75,76,-442,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,39,40,41,42,43,
44,45,46,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,69,70,71,72,73,
74,75,76,-443,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,
-449,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,39,
40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,62,63,64,65,66,67,68,69,
70,71,72,73,74,75,76,-450,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,71,72,
73,74,75,76,-458,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,39,40,41,42,43,44,45,
46,47,48,49,50,51,52,53,54,55,
56,57,58,59,60,61,62,63,64,65,
66,67,68,69,70,71,72,73,74,75,
76,-500,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,48,
49,50,51,52,53,54,55,56,57,58,
59,60,61,62,63,64,65,66,67,68,
69,70,71,72,73,74,75,76,-524,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69,70,71,
72,73,74,75,76,-531,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,48,49,50,51,52,53,54,
55,56,57,58,59,60,61,62,63,64,
65,66,67,68,69,70,71,72,73,74,
75,76,-541,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,-331,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,70,
71,72,73,74,75,-333,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,48,49,50,51,52,53,54,
55,56,57,58,59,60,61,62,63,64,
65,66,67,68,69,70,71,72,73,74,
75,-399,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,48,
49,50,51,52,53,54,55,56,57,58,
59,60,61,62,63,64,65,66,67,68,
69,-633,-535,1,-634,-646,-636,-334,-544,1,
-638,-647,81,82,-512,-650,-654,86,87,88,
-402,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,39,
40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,62,63,64,65,66,67,68,69,
85,77,78,79,-663,90,89,92,91,97,
-656,81,82,-527,-658,97,86,87,88,-415,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,85,
77,78,79,-665,90,-384,92,-671,-672,-675,
81,82,-536,-684,-715,86,87,88,-444,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69,85,77,
78,79,-667,90,89,92,91,-717,-718,81,
82,-545,-726,-727,86,87,88,-445,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,85,77,78,
79,-673,90,-398,92,-728,-729,-730,81,82,
-546,-733,-734,86,87,88,-446,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,39,40,41,42,43,
44,45,46,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,69,85,77,78,79,
-695,90,89,92,91,-735,-736,81,82,-568,
-737,0,86,87,88,-523,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,48,49,50,51,52,53,54,
55,56,57,58,59,60,61,62,63,64,
65,66,67,68,69,85,77,78,79,0,
90,0,92,-706,0,0,81,82,-580,0,
0,86,87,88,-528,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36
};
};
public interface BaseCheck1 {
public final static short baseCheck1[] = {
37,38,39,40,41,42,43,44,45,46,
47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,
67,68,69,0,77,78,79,0,0,-564,
1,89,0,91,81,82,-585,0,0,86,
87,88,-529,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,39,40,41,42,43,44,45,46,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,62,63,64,65,66,67,
68,69,0,77,78,79,0,0,-567,1,
-707,0,0,81,82,-594,97,0,86,87,
88,-530,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,48,
49,50,51,52,53,54,55,56,57,58,
59,60,61,62,63,64,65,66,67,68,
69,0,77,78,79,0,0,-570,1,89,
0,91,81,82,-601,97,0,86,87,88,
-537,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,39,
40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,62,63,64,65,66,67,68,69,
0,77,78,79,0,0,-577,1,-708,0,
0,81,82,-611,97,0,86,87,88,-538,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,39,40,
41,42,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,-622,
77,78,79,-722,0,-599,1,89,0,91,
81,82,-629,97,0,86,87,88,-596,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,39,40,41,
42,43,44,45,46,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69,-626,77,
78,79,89,0,91,96,-723,98,0,81,
82,-632,97,0,86,87,88,-603,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,-627,77,78,
79,0,0,0,96,89,98,91,81,82,
-635,0,0,86,87,88,-628,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,39,40,41,42,43,
44,45,46,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,69,-648,77,78,79,
0,0,0,96,0,98,0,81,82,-640,
0,0,86,87,88,-653,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,48,49,50,51,52,53,54,
55,56,57,58,59,60,61,62,63,64,
65,66,67,68,69,-662,77,78,79,0,
0,0,96,0,98,0,81,82,-655,-452,
0,86,87,88,-597,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,39,40,41,42,43,44,45,
46,47,0,49,50,51,52,53,54,55,
56,57,58,59,60,61,62,63,64,65,
66,67,68,69,0,77,78,79,-421,0,
0,96,0,98,0,81,82,-301,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,
63,64,65,66,67,77,78,70,71,72,
73,74,0,0,0,0,0,0,0,0,
171,0,0,169,-155,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,0,0,20,21,22,23,24,25,
26,-678,0,-385,-679,0,0,0,-690,0,
0,37,38,39,40,41,42,43,44,45,
46,47,0,49,50,226,227,223,-659,225,
-533,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,39,
40,41,42,43,44,45,46,47,0,49,
50,51,52,53,54,55,56,57,58,59,
60,61,62,63,64,65,66,67,68,69,
96,100,98,102,101,77,78,79,100,0,
102,81,82,-173,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,
47,0,49,50,51,52,53,54,55,56,
57,58,59,60,61,-174,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,0,49,50,51,52,53,54,
55,56,57,58,59,-170,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,
35,36,37,38,39,40,41,42,43,44,
45,46,47,0,49,50,51,52,53,54,
55,-171,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
39,40,41,42,43,44,45,46,47,0,
49,50,51,52,53,54,55,-172,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,-507,49,50,51,52,
53,54,55,-156,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,0,0,20,21,22,23,24,25,26,
0,0,0,-551,-619,2,2,4,4,-681,
37,38,39,40,41,42,43,44,45,46,
47,-513,49,50,-158,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,77,78,20,21,22,23,24,25,
26,48,48,-674,0,2,-677,4,2,0,
4,37,38,39,40,41,42,43,44,45,
46,47,-159,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
0,70,20,21,22,23,24,25,26,0,
0,48,99,99,48,96,-682,98,0,37,
38,39,40,41,42,43,44,45,46,47,
-160,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,0,0,
20,21,22,23,24,25,26,-685,0,2,
0,4,99,-683,-687,99,0,37,38,39,
40,41,42,43,44,45,46,47,-161,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,0,0,20,21,
22,23,24,25,26,48,-691,-700,2,2,
4,4,96,0,98,37,38,39,40,41,
42,43,44,45,46,47,-162,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,0,0,20,21,22,23,
24,25,26,0,48,48,99,-556,-321,96,
96,98,98,37,38,39,40,41,42,43,
44,45,46,47,-163,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,0,0,20,21,22,23,24,25,
26,0,0,0,0,99,99,0,0,0,
0,37,38,39,40,41,42,43,44,45,
46,47,-164,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
0,0,20,21,22,23,24,25,26,-703,
-711,2,2,4,4,-705,0,0,101,37,
38,39,40,41,42,43,44,45,46,47,
-165,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,0,0,
20,21,22,23,24,25,26,48,48,-712,
-692,2,-713,4,2,0,4,37,38,39,
40,41,42,43,44,45,46,47,-166,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,0,0,20,21,
22,23,24,25,26,0,188,48,99,99,
48,96,0,98,0,37,38,39,40,41,
42,43,44,45,46,47,-167,1,2,3,
4,5,6,7,8,9,10,11,12,13,
14,15,16,17,0,0,20,21,22,23,
24,25,26,-719,236,2,0,4,99,0,
100,99,102,37,38,39,40,41,42,43,
44,45,46,47,-140,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,-693,-694,20,21,22,23,24,25,
26,48,0,0,0,-550,0,0,0,0,
0,37,38,39,40,41,42,43,44,45,
-141,1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,0,-698,
20,21,22,23,24,25,26,0,0,-215,
-326,-606,99,0,0,-451,0,37,38,39,
40,41,42,43,-142,1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,
16,17,77,78,20,21,22,23,24,25,
26,0,100,100,102,102,0,0,0,0,
-554,37,38,39,40,41,42,43,-143,1,
2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,77,77,20,21,
22,23,24,25,26,0,0,0,-725,100,
2,102,4,-346,0,37,38,39,40,41,
42,43,-144,1,2,3,4,5,6,7,
8,9,10,11,12,13,14,15,16,17,
70,120,20,21,22,23,24,25,26,-661,
0,0,-381,-204,1,-558,48,0,0,37,
38,39,40,41,42,43,-145,1,-714,3,
149,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,161,162,163,164,
77,166,167,27,28,29,30,31,32,33,
34,35,36,-553,1,0,3,99,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,0,0,70,77,78,79,77,
27,28,29,30,31,32,33,34,35,36,
219,216,-559,0,-287,1,80,3,-472,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,-669,112,18,19,100,103,
102,27,28,29,30,31,32,33,34,35,
36,0,0,80,0,0,-149,1,0,3,
124,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,103,0,0,0,
0,145,70,27,28,29,30,31,32,33,
34,35,36,0,80,0,0,124,175,0,
0,0,0,85,0,0,0,0,90,0,
92,77,78,79,-670,0,193,103,145,-60,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,0,124,20,
21,22,23,24,25,26,0,0,0,0,
0,0,0,-680,0,0,37,38,39,40,
41,-61,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,0,
0,20,21,22,23,24,25,26,0,0,
0,77,78,79,0,-689,0,0,37,38,
39,40,41,-62,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,0,0,20,21,22,23,24,25,26,
77,78,79,0,0,0,0,-701,0,0,
37,38,39,40,41,-63,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,0,0,20,21,22,23,24,
25,26,77,78,79,0,0,0,0,-702,
0,0,37,38,39,40,41,-64,1,2,
3,4,5,6,7,8,9,10,11,12,
13,14,15,16,17,0,0,20,21,22,
23,24,25,26,77,78,79,0,0,0,
0,-704,0,0,37,38,39,40,41,-65,
1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,0,0,20,
21,22,23,24,25,26,77,78,79,0,
0,0,0,-710,0,0,37,38,39,40,
41,-66,1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,0,
0,20,21,22,23,24,25,26,77,78,
79,0,0,0,0,-720,0,0,37,38,
39,40,41,-67,1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,16,
17,0,0,20,21,22,23,24,25,26,
77,78,79,0,0,0,0,0,0,0,
37,38,39,40,41,-138,1,2,3,4,
5,6,7,8,9,10,11,12,13,14,
15,16,17,0,0,20,21,22,23,24,
25,26,77,78,79,0,0,0,0,0,
0,0,37,38,39,40,41,-216,1,0,
3,0,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,0,0,0,
0,0,0,0,27,28,29,30,31,32,
33,34,35,36,-540,1,0,3,0,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,0,0,0,0,0,0,
0,27,28,29,30,31,32,33,34,35,
36,0,0,0,0,-557,1,80,3,0,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,0,0,0,0,0,
103,0,27,28,29,30,31,32,33,34,
35,36,-588,1,80,3,0,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,0,0,0,0,0,103,0,27,
28,29,30,31,32,33,34,35,36,0,
0,0,0,-624,1,80,3,0,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,0,0,0,0,0,103,0,
27,28,29,30,31,32,33,34,35,36,
-643,1,80,3,0,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
0,0,0,0,0,103,0,27,28,29,
30,31,32,33,34,35,36,0,0,0,
0,-668,1,80,3,0,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,0,0,0,0,0,103,0,27,28,
29,30,31,32,33,34,35,36,-101,1,
80,3,0,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,0,0,
0,0,0,103,0,27,28,29,30,31,
32,33,34,35,36,0,0,0,0,-344,
1,80,3,0,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,0,
0,0,0,0,103,0,27,28,29,30,
31,32,33,34,35,36,-660,1,0,3,
0,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,0,0,0,0,
0,0,0,27,28,29,30,31,32,33,
34,35,36,-55,1,2,3,0,5,6,
7,8,9,10,11,12,13,14,15,16,
17,0,0,20,21,22,23,24,25,26,
0,0,0,0,0,0,0,0,0,0,
37,38,39,40,-135,1,2,3,0,5,
6,7,8,9,10,11,12,13,14,15,
16,17,0,0,20,21,22,23,24,25,
26,0,0,0,0,0,0,0,0,0,
0,37,38,39,40,0,0,0,0,0,
0,-150,1,0,3,0,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,0,0,0,0,0,0,229,27,28,
29,30,31,32,33,34,35,36,0,-16,
0,0,0,0,-151,1,0,3,0,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,0,0,0,0,0,0,
231,27,28,29,30,31,32,33,34,35,
36,0,0,0,-157,1,0,3,0,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,0,0,0,0,0,0,
234,27,28,29,30,31,32,33,34,35,
36,-218,1,0,3,0,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,0,0,0,105,0,107,108,27,28,
29,30,31,32,33,34,35,36,-219,1,
121,3,0,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,0,0,
0,0,0,0,0,27,28,29,30,31,
32,33,34,35,36,-264,1,0,3,0,
5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,0,177,0,0,0,
0,0,27,28,29,30,31,32,33,34,
35,36,-266,1,0,3,0,5,6,7,
8,9,10,11,12,13,14,15,16,17,
18,19,0,0,0,0,0,0,0,27,
28,29,30,31,32,33,34,35,36,-294,
1,0,3,0,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,0,
-355,1,0,0,0,0,27,28,29,30,
31,32,33,34,35,36,-304,1,0,3,
0,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,-43,-491,1,2,
0,0,0,27,28,29,30,31,32,33,
34,35,36,-323,1,0,3,0,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,0,0,0,0,0,0,0,
27,28,29,30,31,32,33,34,35,36,
-351,1,0,3,0,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
110,0,0,0,0,0,80,27,28,29,
30,31,32,33,34,35,36,0,0,93,
94,95,0,0,-117,0,0,0,0,0,
104,0,106,0,0,0,109,0,0,0,
0,0,0,0,117,0,0,157,0,0,
0,161,162,163,164,0,166,167,0,0,
0,0,136,137,0,0,0,140,0,0,
0,0,0,0,0,0,0,0,0,152,
0,0,0,0,0,0,0,0,198,199,
200,201,202,203,204,205,206,207,208,209,
210,211,212,213,214,215,-394,1,181,3,
0,5,6,7,8,9,10,11,12,13,
14,15,16,17,18,19,0,0,0,105,
0,107,108,27,28,29,30,31,32,33,
34,35,36,-423,1,121,3,0,5,6,
7,8,9,10,11,12,13,14,15,16,
17,18,19,0,0,0,0,0,0,0,
27,28,29,30,31,32,33,34,35,36,
-433,1,0,3,0,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,
0,177,0,0,0,0,0,27,28,29,
30,31,32,33,34,35,36,-438,1,0,
3,0,5,6,7,8,9,10,11,12,
13,14,15,16,17,18,19,-388,0,0,
-377,1,2,0,27,28,29,30,31,32,
33,34,35,36,-649,1,0,3,0,5,
6,7,8,9,10,11,12,13,14,15,
16,17,18,19,0,0,0,0,0,0,
0,27,28,29,30,31,32,33,34,35,
36,-688,1,0,3,0,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,
19,0,0,-393,0,0,0,80,27,28,
29,30,31,32,33,34,35,36,0,-431,
93,94,95,0,0,0,0,0,0,0,
0,104,0,106,0,0,0,0,0,109,
0,0,0,0,0,0,0,117,0,0,
123,0,125,126,127,128,129,130,131,132,
133,134,0,-348,1,138,3,0,5,6,
7,8,9,10,11,12,13,14,15,16,
17,-436,152,80,0,0,0,160,0,0,
27,28,29,30,31,0,93,94,95,80,
0,0,0,0,0,0,179,104,0,106,
0,181,93,94,95,0,0,0,0,0,
0,0,0,104,0,106,123,0,125,126,
127,128,129,130,131,132,133,134,0,0,
0,138,123,0,125,126,127,128,129,130,
131,132,133,134,0,0,0,138,-575,232,
233,80,0,0,0,-534,1,0,-1,0,
2,0,4,0,93,94,95,0,0,160,
0,0,0,0,0,104,0,106,-202,0,
-5,0,2,0,4,-36,0,2,179,4,
0,0,0,0,123,0,125,126,127,128,
129,130,131,132,133,134,48,-696,1,138,
3,0,5,6,7,8,9,10,11,12,
13,14,15,16,17,0,0,0,48,0,
237,238,0,48,0,0,0,0,0,-697,
1,0,3,190,5,6,7,8,9,10,
11,12,13,14,15,16,17,0,80,0,
0,0,0,105,0,107,108,0,120,0,
0,93,94,95,0,0,0,122,0,121,
0,0,104,0,106,105,0,107,108,0,
105,0,107,108,0,140,0,149,0,0,
0,0,0,0,0,0,0,0,153,151,
0,0,0,165,136,137,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,151,0,0,0,180,151,182,0,0,
0,0,184,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,156,157,0,218,0,220,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,230,0,
183,0,0,0,0,156,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,235,0,0,0,0,0,
0,0,0,0,0,0,0
};
};
public final static short baseCheck[] = new short[BaseCheck0.baseCheck0.length + BaseCheck1.baseCheck1.length];
{
int index = 0;
System.arraycopy(BaseCheck0.baseCheck0, 0, baseCheck, index, BaseCheck0.baseCheck0.length);
index += BaseCheck0.baseCheck0.length;
System.arraycopy(BaseCheck1.baseCheck1, 0, baseCheck, index, BaseCheck1.baseCheck1.length);
};
public final int baseCheck(int index) { return baseCheck[index]; }
public final static short rhs[] = baseCheck;
public final int rhs(int index) { return rhs[index]; };
public interface BaseAction0 {
public final static char baseAction0[] = {
184,3,185,20,6,186,5,7,7,7,
11,11,11,8,9,10,80,80,109,109,
109,109,109,109,109,109,109,109,109,123,
123,123,93,93,141,187,187,155,125,125,
125,125,125,125,126,126,126,127,127,128,
129,130,130,131,131,132,133,133,156,156,
156,156,104,14,14,14,157,32,32,32,
33,190,36,34,34,35,27,27,27,27,
28,28,28,29,29,30,30,31,31,85,
147,19,70,194,194,51,52,53,53,92,
192,192,191,240,240,94,95,160,197,117,
117,134,134,86,86,87,198,198,198,198,
198,198,198,198,198,198,198,198,198,198,
198,198,198,198,198,198,198,198,198,215,
208,209,199,207,216,216,216,216,88,81,
81,81,81,81,81,81,81,82,82,82,
82,82,82,82,82,82,82,82,82,82,
200,200,201,217,220,220,165,149,149,120,
120,162,161,163,163,166,224,224,225,169,
169,202,203,204,205,206,206,226,226,171,
228,172,210,210,211,212,213,164,164,167,
167,214,214,24,24,24,193,193,193,193,
158,158,175,175,112,71,150,176,176,176,
72,73,90,90,173,173,3,3,13,89,
229,229,185,185,20,20,6,6,186,186,
5,5,184,184,184,184,121,121,137,137,
151,105,105,107,108,106,106,106,106,106,
178,231,231,118,233,233,179,179,180,180,
148,148,181,181,182,182,241,241,243,243,
244,244,113,77,78,78,124,124,140,140,
140,174,174,103,103,103,98,102,234,234,
99,99,99,99,99,196,196,196,196,196,
183,146,236,236,189,238,238,138,138,138,
138,4,4,2,1,110,119,119,114,114,
114,114,114,97,97,122,122,122,139,139,
153,153,153,152,152,152,242,242,242,115,
111,111,111,12,12,12,12,12,12,12,
12,12,12,15,15,15,15,15,15,15,
15,15,15,15,15,15,15,16,16,83,
83,7,7,7,11,11,11,11,11,11,
11,11,17,17,17,17,17,17,17,17,
17,17,17,17,17,17,17,17,17,17,
17,17,17,17,17,17,17,25,25,25,
21,22,40,40,40,40,39,39,41,41,
37,38,26,26,23,23,23,23,23,23,
23,23,43,43,42,45,45,44,44,44,
44,47,47,46,46,50,50,49,49,49,
49,49,49,49,49,49,49,55,55,55,
55,55,55,54,54,54,54,57,57,57,
57,57,56,56,59,59,58,61,61,60,
63,63,62,65,65,64,67,67,66,74,
74,74,74,74,75,75,68,68,68,69,
69,154,154,154,154,154,154,154,154,154,
154,154,154,154,154,154,154,154,154,154,
154,154,76,221,116,116,116,116,116,116,
116,116,116,116,101,101,101,101,101,101,
101,101,101,101,101,101,101,101,101,101,
101,101,101,101,101,101,101,101,101,101,
101,101,101,101,227,227,170,170,223,223,
168,168,222,222,219,219,218,218,237,237,
188,188,144,144,84,84,135,135,235,235,
145,145,96,96,100,100,232,232,159,159,
195,195,18,18,246,246,48,48,136,136,
177,177,230,230,79,79,91,91,142,142,
143,143,245,245,247,247,713,1765,331,1527,
11255,1761,1388,1870,1376,1337,1104,4815,1635,980,
4814,365,383,725,2325,623,1996,4817,4816,4790,
2054,2032,435,995,857,2492,87,73,1079,67,
68,69,74,4819,4818,4805,438,452,4813,2067,
4698,2323,4648,2071,1993,4647,2745,478,479,480,
4646,2495,4645,2747,4644,2746,4643,2749,4642,2748,
4641,2909,4639,2750,5565,839,1386,510,511,512,
515,542,5388,39,956,864,11669,189,156,1570,
1765,2048,3285,19,1761,1388,371,1376,1337,1104,
372,1903,980,370,365,383,725,1288,120,214,
428,429,443,2054,2032,440,328,187,1355,1765,
331,1527,11296,1761,1388,371,1376,1337,1104,372,
3709,980,370,365,383,725,2325,623,214,428,
429,443,2054,2032,435,995,857,2492,87,73,
1748,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,507,466,2745,478,
479,480,481,4050,637,5391,3198,349,122,332,
5389,1531,1765,331,3285,11296,1761,1388,371,1376,
1337,1104,372,1903,980,370,365,383,725,2472,
17,214,428,429,443,2054,2032,435,39,1991,
2050,39,236,256,1646,261,262,1655,432,433,
434,438,452,453,2067,456,3539,252,5390,12247,
593,467,1765,331,1527,11255,1761,1388,1870,1376,
1337,1104,4815,1635,980,4814,365,383,725,2325,
623,1996,4817,4816,4790,2054,2032,435,995,857,
2492,87,73,1079,67,68,69,74,4819,4818,
4805,438,452,4813,2067,4698,2323,4648,2071,11632,
4647,2745,478,479,480,4646,2495,4645,2747,4644,
2746,4643,2749,4642,2748,4641,2909,4639,4640,149,
839,2761,84,331,2761,817,331,731,817,39,
242,11982,4638,156,2820,587,1152,342,113,114,
268,265,266,1152,341,339,340,472,2587,1991,
19,267,256,258,261,262,2028,7882,39,224,
1762,1631,4820,39,963,336,338,280,1260,2579,
1536,1152,2579,4404,2218,425,5601,850,10161,19,
986,7704,19,252,1139,1773,4637,203,1765,331,
1527,11255,1761,1388,1870,1376,1337,1104,4815,1635,
980,4814,365,383,725,2325,623,1996,4817,4816,
4790,2054,2032,435,995,857,2492,87,73,1079,
67,68,69,74,4819,4818,4805,438,452,4813,
2067,4698,2323,4648,2071,11632,4647,2745,478,479,
480,4646,2495,4645,2747,4644,2746,4643,2749,4642,
2748,4641,2909,4639,4640,149,839,17,196,2353,
83,331,402,2064,1214,848,1969,11982,4638,156,
220,2820,587,342,113,114,35,412,994,36,
341,339,340,639,523,1241,17,280,361,17,
639,2639,1991,19,1247,231,5240,4982,4820,303,
1693,336,338,2434,5125,331,1536,2064,4393,285,
1070,10390,19,1356,1606,641,3365,1523,639,166,
301,80,4558,378,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,4815,1635,980,4814,365,383,
725,2325,623,1996,4817,4816,4790,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
4819,4818,4805,438,452,4813,2067,4698,2323,4648,
2071,11632,4647,2745,478,479,480,4646,2495,4645,
2747,4644,2746,4643,2749,4642,2748,4641,2909,4639,
4640,149,839,257,1880,261,262,39,991,731,
17,407,1439,11982,4638,156,39,1343,848,342,
113,114,268,265,266,2472,341,339,340,31,
1008,2218,331,267,2064,259,1923,338,10161,250,
280,331,2745,2064,4820,338,10161,336,338,5240,
252,5224,1652,178,203,1765,331,1527,11255,1761,
1388,1870,1376,1337,1104,4815,1635,980,4814,365,
383,725,2325,623,1996,4817,4816,4790,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,4819,4818,4805,438,452,4813,2067,4698,2323,
4648,2071,11632,4647,2745,478,479,480,4646,2495,
4645,2747,4644,2746,4643,2749,4642,2748,4641,2909,
4639,4640,149,839,99,39,818,678,806,9688,
731,233,177,1358,11982,4638,156,410,350,1532,
342,113,114,268,265,266,2218,341,339,340,
82,1522,623,2472,267,257,258,261,262,304,
106,1143,39,224,1755,4820,769,279,336,338,
526,237,641,1536,1637,2835,712,175,864,7380,
1777,1839,39,343,1576,184,253,1139,24,5843,
553,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,4815,1635,980,4814,365,383,725,2325,623,
1996,4817,4816,4790,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,4819,4818,4805,
438,452,4813,2067,4698,2323,4648,2071,11632,4647,
2745,478,479,480,4646,2495,4645,2747,4644,2746,
4643,2749,4642,2748,4641,2909,4639,4640,149,839,
278,99,294,635,1529,405,1395,637,233,3199,
11982,4638,156,637,221,3280,342,113,114,4388,
415,403,404,341,339,340,1054,641,331,1638,
2064,284,76,249,253,2061,413,414,1575,2014,
331,4820,2064,2127,336,338,2473,7456,331,1536,
2064,967,855,1739,39,343,1211,2137,5231,1080,
5230,201,2049,39,224,7879,117,1765,331,1527,
11255,1761,1388,1870,1376,1337,1104,4815,1635,980,
4814,365,383,725,2325,623,1996,4817,4816,4790,
2054,2032,435,995,857,2492,87,73,1079,67,
68,69,74,4819,4818,4805,438,452,4813,2067,
4698,2323,4648,2071,11632,4647,2745,478,479,480,
4646,2495,4645,2747,4644,2746,4643,2749,4642,2748,
4641,2909,4639,4640,149,839,753,99,99,5580,
635,5579,4386,1869,233,233,11982,4638,156,39,
224,4395,342,113,114,4389,9180,613,615,341,
339,340,2531,2899,331,84,2064,1739,1739,2648,
2650,331,331,2064,2064,223,1614,4820,165,3452,
337,338,289,1765,331,1527,11255,1761,1388,1870,
1376,1337,1104,4815,1635,980,4814,365,383,725,
2325,623,1996,4817,4816,4790,2054,2032,435,995,
857,2492,87,73,1079,67,68,69,74,4819,
4818,4805,438,452,4813,2067,4698,2323,4648,2071,
11632,4647,2745,478,479,480,4646,2495,4645,2747,
4644,2746,4643,2749,4642,2748,4641,2909,4639,4640,
149,839,99,99,637,1882,3280,1868,9830,233,
233,222,11982,4638,156,637,5,3454,342,113,
114,39,79,2910,623,341,339,340,77,2766,
331,331,2064,2064,2768,2769,331,331,2064,2064,
930,2507,331,4820,2064,2168,337,338,639,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1123,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,1736,2789,2284,1398,997,1527,
172,1509,1388,371,1376,1337,1104,372,1394,980,
370,365,383,725,2325,623,39,78,2653,2641,
2522,296,2641,995,857,2492,87,73,1496,67,
68,69,74,173,224,2776,1350,331,331,2064,
2064,1863,3284,331,2801,2064,331,2803,2064,331,
2826,2064,331,517,2064,987,9030,248,2062,2390,
776,2390,2390,3283,787,3366,331,1527,11255,1761,
1388,1870,1376,1337,1104,372,1635,980,370,365,
383,725,2325,623,1996,428,429,443,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,432,433,434,438,452,453,2067,456,2323,
462,2071,1993,466,2745,478,479,480,481,2495,
491,2747,495,2746,498,2749,501,2748,504,2909,
507,2750,514,839,1386,510,511,512,515,542,
389,184,637,985,3280,218,592,2912,2911,1531,
1765,331,3285,11296,1761,1388,371,1376,1337,1104,
372,1903,980,370,365,383,725,235,7977,214,
428,429,443,2054,2032,435,220,603,1252,603,
603,2907,37,1358,765,243,432,433,434,438,
452,453,2067,456,2323,462,2071,619,466,3716,
619,10212,623,63,417,65,64,283,219,336,
3535,1336,1,1872,535,621,332,375,294,5603,
5602,506,3365,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
637,637,4221,4384,39,5004,2912,2911,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,2852,2859,331,331,2064,
2064,2912,3370,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
1946,2924,331,762,2064,1254,2912,3450,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,2963,2964,331,331,2064,
2064,2912,3451,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
39,5118,2508,235,8778,294,2912,3538,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,248,5613,337,5727,39,
10255,2912,3715,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
39,344,39,4381,157,5613,2912,4138,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,1210,1199,2283,1189,242,
534,2912,4139,861,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,93,
787,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,372,1635,980,370,365,383,725,2325,623,
1996,428,429,443,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,432,433,434,
438,452,453,2067,456,2323,462,2071,1993,466,
2745,478,479,480,481,2495,491,2747,495,2746,
498,2749,501,2748,504,2909,507,2750,514,839,
1386,510,511,512,515,542,389,2745,1879,558,
19,1086,1000,2912,4225,1570,1765,2130,3285,42,
1761,1388,371,1376,1337,1104,372,1903,980,370,
365,383,725,39,343,214,428,429,443,2054,
2032,441,790,1446,21,4223,72,4224,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,105,5718,229,178,432,
5236,2912,4391,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
2753,616,619,198,683,759,2912,4398,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,980,1196,1262,1328,1859,
71,2912,4635,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
1943,70,1964,1949,1941,2532,2912,4979,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,1628,2248,1732,938,2556,
2031,2912,4984,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
2033,2113,2645,2651,2153,439,2912,5001,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,520,605,2356,2358,767,
984,2912,5238,1009,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,5367,
712,712,2338,1000,787,1765,331,1527,11255,1761,
1388,1870,1376,1337,1104,372,1635,980,370,365,
383,725,2325,623,1996,428,429,443,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,432,433,434,438,452,453,2067,456,2323,
462,2071,1993,466,2745,478,479,480,481,2495,
491,2747,495,2746,498,2749,501,2748,504,2909,
507,2750,514,839,1386,510,511,512,515,542,
389,1080,2344,2384,2600,99,99,2912,5595,1610,
3701,4986,233,233,2549,2550,1284,5385,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,2637,2679,4821,637,613,
3280,2912,5694,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
2692,601,901,983,1128,1265,2912,7883,787,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,1339,1528,1629,1774,1857,
2541,2912,7967,787,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
383,1727,2343,2350,2659,2199,2912,7973,1215,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,389,2681,1075,1613,2673,2731,
1883,2912,8056,1289,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,389,
2754,2241,2755,645,2677,2759,3455,1289,1765,331,
1527,11255,1761,1388,1870,1376,1337,1104,372,1635,
980,370,365,383,725,2325,623,1996,428,429,
443,2054,2032,435,995,857,2492,87,73,1079,
67,68,69,74,432,433,434,438,452,453,
2067,456,2323,462,2071,2917,466,2745,478,479,
480,481,2495,491,2747,495,2746,498,2749,501,
2748,504,2909,507,2750,514,839,1386,510,511,
512,515,542,227,1289,1765,331,1527,11255,1761,
1388,1870,1376,1337,1104,372,1635,980,370,365,
383,725,2325,623,1996,428,429,443,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,432,433,434,438,452,453,2067,456,2323,
462,2071,2917,466,2745,478,479,480,481,2495,
491,2747,495,2746,498,2749,501,2748,504,2909,
507,2750,514,839,1386,510,511,512,515,542,
227,1358,2760,1358,2255,1858,2666,2764,1924,716,
2426,2771,2564,999,1719,1942,2775,2699,2781,10297,
623,10384,623,230,1289,1765,331,1527,11255,1761,
1388,1870,1376,1337,1104,372,1635,980,370,365,
383,725,2325,623,1996,428,429,443,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,432,433,434,438,452,453,2067,456,2323,
462,2071,1993,466,2745,478,479,480,481,2495,
491,2747,495,2746,498,2749,501,2748,504,2909,
507,2750,514,839,1386,510,511,512,515,516,
225,935,1765,331,1527,11255,1761,1388,1870,1376,
1337,1104,372,1635,980,370,365,383,725,2325,
623,1996,428,429,443,2054,2032,435,995,857,
2492,87,73,1079,67,68,69,74,432,433,
434,438,452,453,2067,456,2323,462,2071,1993,
466,2745,478,479,480,481,2495,491,2747,495,
2746,498,2749,501,2748,504,2909,507,2750,514,
839,1386,510,511,512,515,542,591,1083,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,226,2782,2685,929,2727,915,
2733,256,264,438,525,597,608,998,1066,5012,
1355,1765,331,1527,11296,1761,1388,371,1376,1337,
1104,372,3709,980,370,365,383,725,2325,623,
214,428,429,443,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,432,433,434,
438,452,453,2067,456,2323,462,2071,1073,466,
2745,478,479,480,481,2495,491,3970,5582,1289,
1765,331,1527,11255,1761,1388,1870,1376,1337,1104,
372,1635,980,370,365,383,725,2325,623,1996,
428,429,443,2054,2032,435,995,857,2492,87,
73,1079,67,68,69,74,432,433,434,438,
452,453,2067,456,2323,462,2071,1993,466,2745,
478,479,480,481,2495,491,2747,495,2746,498,
2749,501,2748,504,2909,507,2750,514,839,1386,
510,511,512,515,542,292,1570,1765,2746,3285,
1272,1761,1388,371,1376,1337,1104,372,1903,980,
370,365,383,725,2474,1276,214,428,429,443,
2054,2032,437,1280,1346,1630,1711,1715,1723,1731,
2787,2678,353,935,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,591,
1289,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,372,1635,980,370,365,383,725,2325,623,
1996,428,429,443,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,432,433,434,
438,452,453,2067,456,2323,462,2071,1993,466,
2745,478,479,480,481,2495,491,2747,495,2746,
498,2749,501,2748,504,2909,507,2750,514,839,
1386,510,511,512,515,542,292,62,2794,2783,
39,1991,2324,7704,2796,2800,2707,316,2808,2810,
2812,5826,710,2814,2816,2818,2802,2821,2823,2824,
107,2828,1402,2804,864,2832,2833,2838,1861,1945,
1773,1773,2839,350,1289,1765,331,1527,11255,1761,
1388,1870,1376,1337,1104,372,1635,980,370,365,
383,725,2325,623,1996,428,429,443,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,432,433,434,438,452,453,2067,456,2323,
462,2071,1993,466,2745,478,479,480,481,2495,
491,2747,495,2746,498,2749,501,2748,504,2909,
507,2750,514,839,1386,510,511,512,515,542,
292,1570,1765,637,3285,4390,1761,1388,371,1376,
1337,1104,372,1903,980,370,365,383,725,406,
408,214,428,429,443,2054,2032,436,864,281,
8951,200,302,1211,416,2840,1211,349,1289,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,292,2429,1398,637,1527,4392,
1509,1388,371,1376,1337,1104,372,1394,980,370,
365,383,725,10291,2841,615,10406,2842,615,853,
2847,2848,995,857,1513,333,2026,2849,2855,2857,
88,354,1289,1765,331,1527,11255,1761,1388,1870,
1376,1337,1104,372,1635,980,370,365,383,725,
2325,623,1996,428,429,443,2054,2032,435,995,
857,2492,87,73,1079,67,68,69,74,432,
433,434,438,452,453,2067,456,2323,462,2071,
5606,466,2745,478,479,480,481,2495,491,2747,
495,2746,498,2749,501,2748,504,2909,507,2750,
514,839,1386,510,511,512,515,542,226,1355,
1765,331,1527,11296,1761,1388,371,1376,1337,1104,
372,3709,980,370,365,383,725,2325,623,214,
428,429,443,2054,2032,435,995,857,2492,87,
73,1079,67,68,69,74,432,433,434,438,
452,453,2067,456,2323,462,2071,2861,466,2745,
478,479,480,481,2495,491,2747,495,2746,498,
2749,501,2748,504,4136,2860,2866,2867,2868,2862,
2872,2873,5988,1289,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,543,
1289,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,372,1635,980,370,365,383,725,2325,623,
1996,428,429,443,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,432,433,434,
438,452,453,2067,456,2323,462,2071,1993,466,
2745,478,479,480,481,2495,491,2747,495,2746,
498,2749,501,2748,504,2909,507,2750,514,839,
1386,510,511,512,515,542,292,1531,1765,331,
3285,11296,1761,1388,371,1376,1337,1104,372,1903,
980,370,365,383,725,2875,2880,214,428,429,
443,2054,2032,435,2881,2885,2887,2890,2092,2874,
2109,2129,2882,351,432,433,434,438,452,453,
2067,456,2323,462,2071,2891,466,3795,39,343,
1773,2200,2892,2897,1773,1211,2253,1609,1739,39,
343,1082,2007,1795,7611,1289,1765,331,1527,11255,
1761,1388,1870,1376,1337,1104,372,1635,980,370,
365,383,725,2325,623,1996,428,429,443,2054,
2032,435,995,857,2492,87,73,1079,67,68,
69,74,432,433,434,438,452,453,2067,456,
2323,462,2071,1993,466,2745,478,479,480,481,
2495,491,2747,495,2746,498,2749,501,2748,504,
2909,507,2750,514,839,1386,510,511,512,515,
542,292,99,99,2898,5578,99,8848,8238,233,
233,5726,637,233,4384,10486,5581,615,7616,2900,
313,39,343,409,199,2288,312,2902,2509,1211,
2903,1739,1739,39,343,1739,1080,1798,355,1289,
1765,331,1527,11255,1761,1388,1870,1376,1337,1104,
372,1635,980,370,365,383,725,2325,623,1996,
428,429,443,2054,2032,435,995,857,2492,87,
73,1079,67,68,69,74,432,433,434,438,
452,453,2067,456,2323,462,2071,1993,466,2745,
478,479,480,481,2495,491,2747,495,2746,498,
2749,501,2748,504,2909,507,2750,514,839,1386,
510,511,512,515,542,292,99,99,5715,2904,
99,8581,8670,233,233,8759,637,233,4397,10525,
5823,615,1526,2290,613,2906,2910,2348,2911,2912,
2913,2917,2511,2918,2323,2919,2921,2923,2515,2554,
2925,2557,352,1149,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,226,
1355,1765,331,1527,11296,1761,1388,371,1376,1337,
1104,372,3709,980,370,365,383,725,2325,623,
214,428,429,443,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,432,433,434,
438,452,453,2067,456,2323,462,2071,2929,466,
2745,478,479,480,481,2495,491,2747,495,2746,
498,2749,501,4137,2927,2638,2930,2518,2931,2938,
2940,2945,2935,7789,1289,1765,331,1527,11255,1761,
1388,1870,1376,1337,1104,372,1635,980,370,365,
383,725,2325,623,1996,428,429,443,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,432,433,434,438,452,453,2067,456,2323,
462,2071,1993,466,2745,478,479,480,481,2495,
491,2747,495,2746,498,2749,501,2748,504,2909,
507,2750,514,839,1386,510,511,512,515,542,
1736,1289,1765,331,1527,11255,1761,1388,1870,1376,
1337,1104,372,1635,980,370,365,383,725,2325,
623,1996,428,429,443,2054,2032,435,995,857,
2492,87,73,1079,67,68,69,74,432,433,
434,438,452,453,2067,456,2323,462,2071,1993,
466,2745,478,479,480,481,2495,491,2747,495,
2746,498,2749,501,2748,504,2909,507,2750,514,
839,1386,510,511,512,515,542,3537,1289,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,4135,1289,1765,331,1527,11255,
1761,1388,1870,1376,1337,1104,372,1635,980,370,
365,383,725,2325,623,1996,428,429,443,2054,
2032,435,995,857,2492,87,73,1079,67,68,
69,74,432,433,434,438,452,453,2067,456,
2323,462,2071,1993,466,2745,478,479,480,481,
2495,491,2747,495,2746,498,2749,501,2748,504,
2909,507,2750,514,839,1386,510,511,512,515,
542,390,1289,1765,331,1527,11255,1761,1388,1870,
1376,1337,1104,372,1635,980,370,365,383,725,
2325,623,1996,428,429,443,2054,2032,435,995,
857,2492,87,73,1079,67,68,69,74,432,
433,434,438,452,453,2067,456,2323,462,2071,
1993,466,2745,478,479,480,481,2495,491,2747,
495,2746,498,2749,501,2748,504,2909,507,2750,
514,839,1386,510,511,512,515,542,4387,1289,
1765,331,1527,11255,1761,1388,1870,1376,1337,1104,
372,1635,980,370,365,383,725,2325,623,1996,
428,429,443,2054,2032,435,995,857,2492,87,
73,1079,67,68,69,74,432,433,434,438,
452,453,2067,456,2323,462,2071,1993,466,2745,
478,479,480,481,2495,491,2747,495,2746,498,
2749,501,2748,504,2909,507,2750,514,839,1386,
510,511,512,515,542,94,1289,1765,331,1527,
11255,1761,1388,1870,1376,1337,1104,372,1635,980,
370,365,383,725,2325,623,1996,428,429,443,
2054,2032,435,995,857,2492,87,73,1079,67,
68,69,74,432,433,434,438,452,453,2067,
456,2323,462,2071,1993,466,2745,478,479,480,
481,2495,491,2747,495,2746,498,2749,501,2748,
504,2909,507,2750,514,839,1386,510,511,512,
515,542,5005,1289,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,5007,
1289,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,372,1635,980,370,365,383,725,2325,623,
1996,428,429,443,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,432,433,434,
438,452,453,2067,456,2323,462,2071,1993,466,
2745,478,479,480,481,2495,491,2747,495,2746,
498,2749,501,2748,504,2909,507,2750,514,839,
1386,510,511,512,515,542,5229,1289,1765,331,
1527,11255,1761,1388,1870,1376,1337,1104,372,1635,
980,370,365,383,725,2325,623,1996,428,429,
443,2054,2032,435,995,857,2492,87,73,1079,
67,68,69,74,432,433,434,438,452,453,
2067,456,2323,462,2071,1993,466,2745,478,479,
480,481,2495,491,2747,495,2746,498,2749,501,
2748,504,2909,507,2750,514,839,1386,510,511,
512,515,542,5386,1289,1765,331,1527,11255,1761,
1388,1870,1376,1337,1104,372,1635,980,370,365,
383,725,2325,623,1996,428,429,443,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,432,433,434,438,452,453,2067,456,2323,
462,2071,1993,466,2745,478,479,480,481,2495,
491,2747,495,2746,498,2749,501,2748,504,2909,
507,2750,514,839,1386,510,511,512,515,542,
5387,1289,1765,331,1527,11255,1761,1388,1870,1376,
1337,1104,372,1635,980,370,365,383,725,2325,
623,1996,428,429,443,2054,2032,435,995,857,
2492,87,73,1079,67,68,69,74,432,433,
434,438,452,453,2067,456,2323,462,2071,1993,
466,2745,478,479,480,481,2495,491,2747,495,
2746,498,2749,501,2748,504,2909,507,2750,514,
839,1386,510,511,512,515,542,5566,1289,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,372,
1635,980,370,365,383,725,2325,623,1996,428,
429,443,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,432,433,434,438,452,
453,2067,456,2323,462,2071,1993,466,2745,478,
479,480,481,2495,491,2747,495,2746,498,2749,
501,2748,504,2909,507,2750,514,839,1386,510,
511,512,515,542,5574,1289,1765,331,1527,11255,
1761,1388,1870,1376,1337,1104,372,1635,980,370,
365,383,725,2325,623,1996,428,429,443,2054,
2032,435,995,857,2492,87,73,1079,67,68,
69,74,432,433,434,438,452,453,2067,456,
2323,462,2071,1993,466,2745,478,479,480,481,
2495,491,2747,495,2746,498,2749,501,2748,504,
2909,507,2750,514,839,1386,510,511,512,515,
542,5577,1289,1765,331,1527,11255,1761,1388,1870,
1376,1337,1104,372,1635,980,370,365,383,725,
2325,623,1996,428,429,443,2054,2032,435,995,
857,2492,87,73,1079,67,68,69,74,432,
433,434,438,452,453,2067,456,2323,462,2071,
1993,466,2745,478,479,480,481,2495,491,2747,
495,2746,498,2749,501,2748,504,2909,507,2750,
514,839,1386,510,511,512,515,542,5709,1289,
1765,331,1527,11255,1761,1388,1870,1376,1337,1104,
372,1635,980,370,365,383,725,2325,623,1996,
428,429,443,2054,2032,435,995,857,2492,87,
73,1079,67,68,69,74,432,433,434,438,
452,453,2067,456,2323,462,2071,1993,466,2745,
478,479,480,481,2495,491,2747,495,2746,498,
2749,501,2748,504,2909,507,2750,514,839,1386,
510,511,512,515,542,5809,1289,1765,331,1527,
11255,1761,1388,1870,1376,1337,1104,372,1635,980,
370,365,383,725,2325,623,1996,428,429,443,
2054,2032,435,995,857,2492,87,73,1079,67,
68,69,74,432,433,434,438,452,453,2067,
456,2323,462,2071,1993,466,2745,478,479,480,
481,2495,491,2747,495,2746,498,2749,501,2748,
504,2909,507,2750,514,839,1386,510,511,512,
515,542,5825,1289,1765,331,1527,11255,1761,1388,
1870,1376,1337,1104,372,1635,980,370,365,383,
725,2325,623,1996,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,1993,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,2749,501,2748,504,2909,507,
2750,514,839,1386,510,511,512,515,542,5831,
1289,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,372,1635,980,370,365,383,725,2325,623,
1996,428,429,443,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,432,433,434,
438,452,453,2067,456,2323,462,2071,1993,466,
2745,478,479,480,481,2495,491,2747,495,2746,
498,2749,501,2748,504,2909,507,2750,514,839,
1386,510,511,512,515,517,1289,1765,331,1527,
11255,1761,1388,1870,1376,1337,1104,372,1635,980,
370,365,383,725,2325,623,1996,428,429,443,
2054,2032,435,995,857,2492,87,73,1079,67,
68,69,74,432,433,434,438,452,453,2067,
456,2323,462,2071,1993,466,2745,478,479,480,
481,2495,491,2747,495,2746,498,2749,501,2748,
504,2909,507,2750,514,839,1386,510,511,512,
515,518,1399,1765,331,1527,11255,1761,1388,1870,
1376,1337,1104,4815,1635,980,4814,365,383,725,
2325,623,1996,4817,4816,4790,2054,2032,435,995,
857,2492,87,73,1079,67,68,69,74,4819,
4818,4805,438,452,4813,2067,4698,2323,4648,2071,
11632,4647,2745,478,479,480,4646,2495,4645,2747,
4644,2746,4643,2749,4642,2748,4641,2909,4639,4640,
149,839,2674,39,343,2933,1739,2946,864,39,
343,2947,2949,4638,156,184,2529,2953,211,113,
114,1399,1765,331,1527,11255,1761,1388,1870,1376,
1337,1104,4815,1635,980,4814,365,383,725,2325,
623,1996,4817,4816,4790,2054,2032,435,995,857,
2492,87,73,1079,67,68,69,74,4819,4818,
4805,438,452,4813,2067,4698,2323,4648,2071,11632,
4647,2745,478,479,480,4646,2495,4645,2747,4644,
2746,4643,2749,4642,2748,4641,2909,4639,4640,149,
839,99,294,635,9585,1739,8937,637,233,4978,
5827,2954,4638,156,2482,2957,5832,205,113,114,
1399,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,4815,1635,980,4814,365,383,725,2325,623,
1996,4817,4816,4790,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,4819,4818,4805,
438,452,4813,2067,4698,2323,4648,2071,11632,4647,
2745,478,479,480,4646,2495,4645,2747,4644,2746,
4643,2749,4642,2748,4641,2909,4639,4640,149,839,
99,294,635,298,1739,9156,864,233,2955,2950,
2956,4638,156,2534,2966,2971,5227,113,114,1399,
1765,331,1527,11255,1761,1388,1870,1376,1337,1104,
4815,1635,980,4814,365,383,725,2325,623,1996,
4817,4816,4790,2054,2032,435,995,857,2492,87,
73,1079,67,68,69,74,4819,4818,4805,438,
452,4813,2067,4698,2323,4648,2071,11632,4647,2745,
478,479,480,4646,2495,4645,2747,4644,2746,4643,
2749,4642,2748,4641,2909,4639,4640,149,839,99,
294,5828,298,1739,9591,637,233,4999,2974,2976,
4638,156,2542,2977,2978,212,113,114,1399,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,4815,
1635,980,4814,365,383,725,2325,623,1996,4817,
4816,4790,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,4819,4818,4805,438,452,
4813,2067,4698,2323,4648,2071,11632,4647,2745,478,
479,480,4646,2495,4645,2747,4644,2746,4643,2749,
4642,2748,4641,2909,4639,4640,149,839,99,294,
635,5579,1739,9735,864,233,2981,2984,2983,4638,
156,184,2997,2998,203,113,114,1399,1765,331,
1527,11255,1761,1388,1870,1376,1337,1104,4815,1635,
980,4814,365,383,725,2325,623,1996,4817,4816,
4790,2054,2032,435,995,857,2492,87,73,1079,
67,68,69,74,4819,4818,4805,438,452,4813,
2067,4698,2323,4648,2071,11632,4647,2745,478,479,
480,4646,2495,4645,2747,4644,2746,4643,2749,4642,
2748,4641,2909,4639,4640,149,839,99,5834,635,
5833,1739,9736,637,233,5006,3000,2999,4638,156,
2640,3006,13159,202,113,114,1399,1765,331,1527,
11255,1761,1388,1870,1376,1337,1104,4815,1635,980,
4814,365,383,725,2325,623,1996,4817,4816,4790,
2054,2032,435,995,857,2492,87,73,1079,67,
68,69,74,4819,4818,4805,438,452,4813,2067,
4698,2323,4648,2071,11632,4647,2745,478,479,480,
4646,2495,4645,2747,4644,2746,4643,2749,4642,2748,
4641,2909,4639,4640,149,839,99,5580,635,5840,
13159,9927,13159,233,2297,13159,13159,4638,156,184,
13159,13159,208,113,114,1399,1765,331,1527,11255,
1761,1388,1870,1376,1337,1104,4815,1635,980,4814,
365,383,725,2325,623,1996,4817,4816,4790,2054,
2032,435,995,857,2492,87,73,1079,67,68,
69,74
};
};
public interface BaseAction1 {
public final static char baseAction1[] = {
4819,4818,4805,438,452,4813,2067,4698,2323,4648,
2071,11632,4647,2745,478,479,480,4646,2495,4645,
2747,4644,2746,4643,2749,4642,2748,4641,2909,4639,
4640,149,839,13159,5987,635,5986,13159,13159,39,
343,637,13159,7795,4638,156,184,13159,13159,206,
113,114,1399,1765,331,1527,11255,1761,1388,1870,
1376,1337,1104,4815,1635,980,4814,365,383,725,
2325,623,1996,4817,4816,4790,2054,2032,435,995,
857,2492,87,73,1079,67,68,69,74,4819,
4818,4805,438,452,4813,2067,4698,2323,4648,2071,
11632,4647,2745,478,479,480,4646,2495,4645,2747,
4644,2746,4643,2749,4642,2748,4641,2909,4639,4640,
149,839,13159,294,635,9586,13159,13159,39,343,
2441,13159,13159,4638,156,184,5838,13159,204,113,
114,1399,1765,331,1527,11255,1761,1388,1870,1376,
1337,1104,4815,1635,980,4814,365,383,725,2325,
623,1996,4817,4816,4790,2054,2032,435,995,857,
2492,87,73,1079,67,68,69,74,4819,4818,
4805,438,452,4813,2067,4698,2323,4648,2071,11632,
4647,2745,478,479,480,4646,2495,4645,2747,4644,
2746,4643,2749,4642,2748,4641,2909,4639,4640,149,
839,13159,294,635,299,13159,13159,39,343,637,
13159,3280,4638,156,184,5839,13159,210,113,114,
1399,1765,331,1527,11255,1761,1388,1870,1376,1337,
1104,4815,1635,980,4814,365,383,725,2325,623,
1996,4817,4816,4790,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,4819,4818,4805,
438,452,4813,2067,4698,2323,4648,2071,11632,4647,
2745,478,479,480,4646,2495,4645,2747,4644,2746,
4643,2749,4642,2748,4641,2909,4639,4640,149,839,
13159,294,7605,299,13159,13159,39,343,2537,13159,
13159,4638,156,184,5841,13159,181,113,114,1399,
1765,331,1527,11255,1761,1388,1870,1376,1337,1104,
4815,1635,980,4814,365,383,725,2325,623,1996,
4817,4816,4790,2054,2032,435,995,857,2492,87,
73,1079,67,68,69,74,4819,4818,4805,438,
452,4813,2067,4698,2323,4648,2071,11632,4647,2745,
478,479,480,4646,2495,4645,2747,4644,2746,4643,
2749,4642,2748,4641,2909,4639,4640,149,839,1080,
294,635,5833,864,13159,39,343,637,13159,7878,
4638,156,184,5985,13159,5829,113,114,1399,1765,
331,1527,11255,1761,1388,1870,1376,1337,1104,4815,
1635,980,4814,365,383,725,2325,623,1996,4817,
4816,4790,2054,2032,435,995,857,2492,87,73,
1079,67,68,69,74,4819,4818,4805,438,452,
4813,2067,4698,2323,4648,2071,11632,4647,2745,478,
479,480,4646,2495,4645,2747,4644,2746,4643,2749,
4642,2748,4641,2909,4639,4640,149,839,1080,294,
635,300,637,13159,7884,5123,864,613,13159,4638,
156,184,7602,13159,209,113,114,1399,1765,331,
1527,11255,1761,1388,1870,1376,1337,1104,4815,1635,
980,4814,365,383,725,2325,623,1996,4817,4816,
4790,2054,2032,435,995,857,2492,87,73,1079,
67,68,69,74,4819,4818,4805,438,452,4813,
2067,4698,2323,4648,2071,11632,4647,2745,478,479,
480,4646,2495,4645,2747,4644,2746,4643,2749,4642,
2748,4641,2909,4639,4640,149,839,1080,5834,635,
7617,13159,13159,13159,5126,637,613,7966,4638,156,
184,13159,13159,141,113,114,1399,1765,331,1527,
11255,1761,1388,1870,1376,1337,1104,4815,1635,980,
4814,365,383,725,2325,623,1996,4817,4816,4790,
2054,2032,435,995,857,2492,87,73,1079,67,
68,69,74,4819,4818,4805,438,452,4813,2067,
4698,2323,4648,2071,11632,4647,2745,478,479,480,
4646,2495,4645,2747,4644,2746,4643,2749,4642,2748,
4641,2909,4639,4640,149,839,1080,294,7701,300,
13159,13159,13159,5605,13159,613,13159,4638,156,184,
13159,13159,207,113,114,1399,1765,331,1527,11255,
1761,1388,1870,1376,1337,1104,4815,1635,980,4814,
365,383,725,2325,623,1996,4817,4816,4790,2054,
2032,435,995,857,2492,87,73,1079,67,68,
69,74,4819,4818,4805,438,452,4813,2067,4698,
2323,4648,2071,11632,4647,2745,478,479,480,4646,
2495,4645,2747,4644,2746,4643,2749,4642,2748,4641,
2909,4639,4640,149,839,1080,294,635,5986,13159,
13159,13159,5719,13159,613,13159,4638,156,184,784,
13159,185,113,114,1443,1765,331,1527,11296,1761,
1388,1870,1376,1337,1104,4815,1635,980,4814,365,
383,725,2325,623,1996,4817,4816,4790,2054,2032,
435,995,857,2492,87,73,1079,67,68,69,
74,4819,4818,4805,438,452,4813,2067,4698,2323,
4648,2071,13159,4647,2745,478,479,480,4646,2495,
4645,2747,4644,2746,4643,2749,4642,2748,4641,2909,
4639,4640,149,839,13159,5987,635,7788,781,13159,
13159,9153,13159,613,13159,189,156,1289,1765,331,
1527,11255,1761,1388,371,1376,1337,1104,372,3709,
980,370,365,383,725,2325,623,214,428,429,
443,2054,2032,435,995,857,2492,87,73,1079,
67,68,69,74,432,433,434,438,452,453,
2067,456,2323,462,2071,1993,466,2745,478,479,
480,481,2495,491,2747,495,2746,498,2749,501,
2748,504,2909,507,2750,294,5237,1386,510,511,
512,513,13159,13159,13159,13159,13159,13159,13159,13159,
197,13159,13159,5992,1531,1765,331,3285,11296,1761,
1388,371,1376,1337,1104,372,1903,980,370,365,
383,725,13159,13159,214,428,429,443,2054,2032,
435,1211,13159,2029,1080,13159,13159,13159,1211,13159,
13159,432,433,434,438,452,453,2067,456,2323,
462,2071,13159,466,3796,2942,850,5991,184,589,
1355,1765,331,1527,11296,1761,1388,1870,1376,1337,
1104,4815,1635,980,4814,365,383,725,2325,623,
1996,4817,4816,4790,2054,2032,435,995,857,2492,
87,73,1079,67,68,69,74,4819,4818,4805,
438,452,4813,2067,4698,2323,4648,2071,13159,4647,
2745,478,479,480,4646,2495,4645,2747,4644,2746,
4643,2749,4642,2748,4641,2909,4639,4640,149,839,
9160,10567,613,615,411,294,635,9635,10609,13159,
615,190,156,1355,1765,331,1527,11296,1761,1388,
371,1376,1337,1104,372,3709,980,370,365,383,
725,2325,623,214,428,429,443,2054,2032,435,
995,857,2492,87,73,1079,67,68,69,74,
432,433,434,438,452,453,2067,456,2323,462,
2071,13159,466,2745,478,479,480,481,2495,491,
2747,495,2746,498,4054,1355,1765,331,1527,11296,
1761,1388,371,1376,1337,1104,372,3709,980,370,
365,383,725,2325,623,214,428,429,443,2054,
2032,435,995,857,2492,87,73,1079,67,68,
69,74,432,433,434,438,452,453,2067,456,
2323,462,2071,13159,466,2745,478,479,480,481,
2495,491,2747,495,4055,1355,1765,331,1527,11296,
1761,1388,371,1376,1337,1104,372,3709,980,370,
365,383,725,2325,623,214,428,429,443,2054,
2032,435,995,857,2492,87,73,1748,67,68,
69,74,432,433,434,438,452,453,2067,456,
2323,462,2071,13159,466,2745,478,479,480,481,
4051,1355,1765,331,1527,11296,1761,1388,371,1376,
1337,1104,372,3709,980,370,365,383,725,2325,
623,214,428,429,443,2054,2032,435,995,857,
2492,87,73,1748,67,68,69,74,432,433,
434,438,452,453,2067,456,2323,462,2071,13159,
466,2745,478,479,480,481,4052,1355,1765,331,
1527,11296,1761,1388,371,1376,1337,1104,372,3709,
980,370,365,383,725,2325,623,214,428,429,
443,2054,2032,435,995,857,2492,87,73,1748,
67,68,69,74,432,433,434,438,452,453,
2067,456,2323,462,2071,843,466,2745,478,479,
480,481,4053,1531,1765,331,3285,11296,1761,1388,
371,1376,1337,1104,372,1903,980,370,365,383,
725,13159,13159,214,428,429,443,2054,2032,435,
13159,13159,13159,424,424,331,331,817,817,1080,
432,433,434,438,452,453,2067,456,2323,462,
2071,2895,466,3880,1531,1765,331,3285,11296,1761,
1388,371,1376,1337,1104,372,1903,980,370,365,
383,725,294,5717,214,428,429,443,2054,2032,
435,5600,5600,424,13159,331,424,817,331,13159,
817,432,433,434,438,452,453,2067,456,2323,
462,3881,1531,1765,331,3285,11296,1761,1388,371,
1376,1337,1104,372,1903,980,370,365,383,725,
13159,5608,214,428,429,443,2054,2032,435,13159,
13159,5600,57,56,5600,9972,1080,613,13159,432,
433,434,438,452,453,2067,456,2323,462,3882,
1531,1765,331,3285,11296,1761,1388,371,1376,1337,
1104,372,1903,980,370,365,383,725,13159,13159,
214,428,429,443,2054,2032,435,424,13159,331,
13159,817,49,1080,1080,48,13159,432,433,434,
438,452,453,2067,456,2323,462,3883,1531,1765,
331,3285,11296,1761,1388,371,1376,1337,1104,372,
1903,980,370,365,383,725,13159,13159,214,428,
429,443,2054,2032,435,5600,424,424,331,331,
817,817,10104,13159,613,432,433,434,438,452,
453,2067,456,2323,462,3884,1531,1765,331,3285,
11296,1761,1388,371,1376,1337,1104,372,1903,980,
370,365,383,725,13159,13159,214,428,429,443,
2054,2032,435,13159,5600,5600,38,2091,2667,10105,
10151,613,613,432,433,434,438,452,453,2067,
456,2323,462,3885,1531,1765,331,3285,11296,1761,
1388,371,1376,1337,1104,372,1903,980,370,365,
383,725,13159,13159,214,428,429,443,2054,2032,
435,13159,13159,13159,13159,55,47,13159,13159,13159,
13159,432,433,434,438,452,453,2067,456,2323,
462,3965,1531,1765,331,3285,11296,1761,1388,371,
1376,1337,1104,372,1903,980,370,365,383,725,
13159,13159,214,428,429,443,2054,2032,435,424,
424,331,331,817,817,1080,13159,13159,5836,432,
433,434,438,452,453,2067,456,2323,462,3966,
1531,1765,331,3285,11296,1761,1388,371,1376,1337,
1104,372,1903,980,370,365,383,725,13159,13159,
214,428,429,443,2054,2032,435,5600,5600,424,
1211,331,424,817,331,13159,817,432,433,434,
438,452,453,2067,456,2323,462,3967,1531,1765,
331,3285,11296,1761,1388,371,1376,1337,1104,372,
1903,980,370,365,383,725,13159,13159,214,428,
429,443,2054,2032,435,13159,4788,5600,53,45,
5600,10310,13159,613,13159,432,433,434,438,452,
453,2067,456,2323,462,3968,1531,1765,331,3285,
11296,1761,1388,371,1376,1337,1104,372,1903,980,
370,365,383,725,13159,13159,214,428,429,443,
2054,2032,435,424,4636,331,13159,817,54,13159,
10651,46,615,432,433,434,438,452,453,2067,
456,2323,462,3969,1531,1765,331,3285,11296,1761,
1388,371,1376,1337,1104,372,1903,980,370,365,
383,725,1211,1211,214,428,429,443,2054,2032,
435,5600,13159,13159,13159,843,13159,13159,13159,13159,
13159,432,433,434,438,452,453,2067,456,3540,
1531,1765,331,3285,11296,1761,1388,371,1376,1337,
1104,372,1903,980,370,365,383,725,13159,1211,
214,428,429,443,2054,2032,435,13159,13159,1650,
2725,1405,50,13159,13159,786,13159,432,433,434,
438,452,453,3622,1531,1765,331,3285,11296,1761,
1388,371,1376,1337,1104,372,1903,980,370,365,
383,725,294,5835,214,428,429,443,2054,2032,
435,13159,9921,10693,615,615,13159,13159,13159,13159,
2895,432,433,434,438,452,453,3702,1531,1765,
331,3285,11296,1761,1388,371,1376,1337,1104,372,
1903,980,370,365,383,725,345,346,214,428,
429,443,2054,2032,435,13159,13159,13159,424,10735,
331,615,817,2725,13159,432,433,434,438,452,
453,3703,1531,1765,331,3285,11296,1761,1388,371,
1376,1337,1104,372,1903,980,370,365,383,725,
5611,177,214,428,429,443,2054,2032,435,184,
13159,13159,2725,173,224,2895,5600,13159,13159,432,
433,434,438,452,453,3704,2160,1398,1211,1527,
2908,1509,1388,371,1376,1337,1104,372,1394,980,
370,365,383,725,2325,623,146,145,144,147,
37,183,184,995,857,2492,87,73,1508,67,
68,69,74,2160,1398,13159,1527,44,1509,1388,
371,1376,1337,1104,372,1394,980,370,365,383,
725,2325,623,13159,13159,5722,294,635,9638,347,
995,857,2492,87,73,1508,67,68,69,74,
7607,143,2895,13159,2345,1398,997,1527,707,1509,
1388,371,1376,1337,1104,372,1394,980,370,365,
383,725,2325,623,184,216,9603,623,10777,296,
615,995,857,2492,87,73,1508,67,68,69,
74,13159,13159,997,13159,13159,2284,1398,13159,1527,
3284,1509,1388,371,1376,1337,1104,372,1394,980,
370,365,383,725,2325,623,296,13159,13159,13159,
13159,3714,5725,995,857,2492,87,73,1516,67,
68,69,74,13159,997,13159,13159,3284,217,13159,
13159,13159,13159,99,13159,13159,13159,13159,7615,13159,
233,294,635,9729,184,13159,4385,296,3283,1531,
1765,331,3285,11296,1761,1388,371,1376,1337,1104,
372,1903,980,370,365,383,725,13159,4394,214,
428,429,443,2054,2032,435,13159,13159,13159,13159,
13159,13159,13159,184,13159,13159,432,433,434,438,
451,1531,1765,331,3285,11296,1761,1388,371,1376,
1337,1104,372,1903,980,370,365,383,725,13159,
13159,214,428,429,443,2054,2032,435,13159,13159,
13159,294,635,4804,13159,184,13159,13159,432,433,
434,438,450,1531,1765,331,3285,11296,1761,1388,
371,1376,1337,1104,372,1903,980,370,365,383,
725,13159,13159,214,428,429,443,2054,2032,435,
294,635,9778,13159,13159,13159,13159,184,13159,13159,
432,433,434,438,449,1531,1765,331,3285,11296,
1761,1388,371,1376,1337,1104,372,1903,980,370,
365,383,725,13159,13159,214,428,429,443,2054,
2032,435,294,635,9779,13159,13159,13159,13159,184,
13159,13159,432,433,434,438,448,1531,1765,331,
3285,11296,1761,1388,371,1376,1337,1104,372,1903,
980,370,365,383,725,13159,13159,214,428,429,
443,2054,2032,435,294,635,9922,13159,13159,13159,
13159,184,13159,13159,432,433,434,438,447,1531,
1765,331,3285,11296,1761,1388,371,1376,1337,1104,
372,1903,980,370,365,383,725,13159,13159,214,
428,429,443,2054,2032,435,294,635,9971,13159,
13159,13159,13159,184,13159,13159,432,433,434,438,
446,1531,1765,331,3285,11296,1761,1388,371,1376,
1337,1104,372,1903,980,370,365,383,725,13159,
13159,214,428,429,443,2054,2032,435,294,635,
9974,13159,13159,13159,13159,184,13159,13159,432,433,
434,438,445,1531,1765,331,3285,11296,1761,1388,
371,1376,1337,1104,372,1903,980,370,365,383,
725,13159,13159,214,428,429,443,2054,2032,435,
294,635,10065,13159,13159,13159,13159,13159,13159,13159,
432,433,434,438,444,1531,1765,331,3285,11296,
1761,1388,371,1376,1337,1104,372,1903,980,370,
365,383,725,13159,13159,214,428,429,443,2054,
2032,435,294,635,10250,13159,13159,13159,13159,13159,
13159,13159,432,433,434,438,454,2345,1398,13159,
1527,13159,1509,1388,371,1376,1337,1104,372,1394,
980,370,365,383,725,2325,623,13159,13159,13159,
13159,13159,13159,13159,995,857,2492,87,73,1508,
67,68,69,74,2345,1398,13159,1527,13159,1509,
1388,371,1376,1337,1104,372,1394,980,370,365,
383,725,2325,623,13159,13159,13159,13159,13159,13159,
13159,995,857,2492,87,73,1508,67,68,69,
74,13159,13159,13159,13159,2345,1398,997,1527,13159,
1509,1388,371,1376,1337,1104,372,1394,980,370,
365,383,725,2325,623,13159,13159,13159,13159,13159,
297,13159,995,857,2492,87,73,1508,67,68,
69,74,2345,1398,997,1527,13159,1509,1388,371,
1376,1337,1104,372,1394,980,370,365,383,725,
2325,623,13159,13159,13159,13159,13159,5830,13159,995,
857,2492,87,73,1508,67,68,69,74,13159,
13159,13159,13159,2345,1398,997,1527,13159,1509,1388,
371,1376,1337,1104,372,1394,980,370,365,383,
725,2325,623,13159,13159,13159,13159,13159,5837,13159,
995,857,2492,87,73,1508,67,68,69,74,
2345,1398,997,1527,13159,1509,1388,371,1376,1337,
1104,372,1394,980,370,365,383,725,2325,623,
13159,13159,13159,13159,13159,5990,13159,995,857,2492,
87,73,1508,67,68,69,74,13159,13159,13159,
13159,2345,1398,997,1527,13159,1509,1388,371,1376,
1337,1104,372,1394,980,370,365,383,725,2325,
623,13159,13159,13159,13159,13159,7612,13159,995,857,
2492,87,73,1508,67,68,69,74,2284,1398,
997,1527,13159,1509,1388,371,1376,1337,1104,372,
1394,980,370,365,383,725,2325,623,13159,13159,
13159,13159,13159,7705,13159,995,857,2492,87,73,
1240,67,68,69,74,13159,13159,13159,13159,2284,
1398,997,1527,13159,1509,1388,371,1376,1337,1104,
372,1394,980,370,365,383,725,2325,623,13159,
13159,13159,13159,13159,7794,13159,995,857,2492,87,
73,1894,67,68,69,74,2284,1398,13159,1527,
13159,1509,1388,371,1376,1337,1104,372,1394,980,
370,365,383,725,2325,623,13159,13159,13159,13159,
13159,13159,13159,995,857,2492,87,73,2405,67,
68,69,74,1487,1765,332,3285,13159,1761,1388,
371,1376,1337,1104,372,1903,980,370,365,383,
725,13159,13159,214,428,429,443,2054,2032,435,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
432,433,434,439,1531,1765,332,3285,13159,1761,
1388,371,1376,1337,1104,372,1903,980,370,365,
383,725,13159,13159,214,428,429,443,2054,2032,
435,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,432,433,434,439,13159,13159,13159,13159,13159,
13159,2284,1398,13159,1527,13159,1509,1388,371,1376,
1337,1104,372,1394,980,370,365,383,725,2325,
623,13159,13159,13159,13159,13159,13159,3367,995,857,
2492,87,73,1632,67,68,69,74,13159,292,
13159,13159,13159,13159,2284,1398,13159,1527,13159,1509,
1388,371,1376,1337,1104,372,1394,980,370,365,
383,725,2325,623,13159,13159,13159,13159,13159,13159,
4985,995,857,2492,87,73,1639,67,68,69,
74,13159,13159,13159,2284,1398,13159,1527,13159,1509,
1388,371,1376,1337,1104,372,1394,980,370,365,
383,725,2325,623,13159,13159,13159,13159,13159,13159,
7790,995,857,2492,87,73,1640,67,68,69,
74,2284,1398,13159,1527,13159,1509,1388,371,1376,
1337,1104,372,1394,980,370,365,383,725,2325,
623,13159,13159,13159,256,13159,261,262,995,857,
2492,87,73,1749,67,68,69,74,2284,1398,
1108,1527,13159,1509,1388,371,1376,1337,1104,372,
1394,980,370,365,383,725,2325,623,13159,13159,
13159,13159,13159,13159,13159,995,857,2492,87,73,
1754,67,68,69,74,2284,1398,13159,1527,13159,
1509,1388,371,1376,1337,1104,372,1394,980,370,
365,383,725,2325,623,13159,11668,13159,13159,13159,
13159,13159,995,857,2492,87,73,1755,67,68,
69,74,2284,1398,13159,1527,13159,1509,1388,371,
1376,1337,1104,372,1394,980,370,365,383,725,
2325,623,13159,13159,13159,13159,13159,13159,13159,995,
857,2492,87,73,1760,67,68,69,74,2284,
1398,13159,1527,13159,1509,1388,371,1376,1337,1104,
372,1394,980,370,365,383,725,2325,623,13159,
2471,4996,13159,13159,13159,13159,995,857,2492,87,
73,1885,67,68,69,74,2284,1398,13159,1527,
13159,1509,1388,371,1376,1337,1104,372,1394,980,
370,365,383,725,2325,623,1730,1131,7793,19,
13159,13159,13159,995,857,2492,87,73,1886,67,
68,69,74,2284,1398,13159,1527,13159,1509,1388,
371,1376,1337,1104,372,1394,980,370,365,383,
725,2325,623,13159,13159,13159,13159,13159,13159,13159,
995,857,2492,87,73,1891,67,68,69,74,
2284,1398,13159,1527,13159,1509,1388,371,1376,1337,
1104,372,1394,980,370,365,383,725,2325,623,
116,13159,13159,13159,13159,13159,731,995,857,2492,
87,73,1897,67,68,69,74,13159,13159,268,
265,266,13159,13159,292,13159,13159,13159,13159,13159,
267,13159,258,13159,13159,13159,17,13159,13159,13159,
13159,13159,13159,13159,12217,13159,13159,137,13159,13159,
13159,120,129,130,135,13159,183,184,13159,13159,
13159,13159,254,1139,13159,13159,13159,301,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,282,
13159,13159,13159,13159,13159,13159,13159,13159,115,117,
118,119,121,122,123,124,125,126,127,128,
131,132,133,134,136,138,2284,1398,4998,1527,
13159,1509,1388,371,1376,1337,1104,372,1394,980,
370,365,383,725,2325,623,13159,13159,13159,256,
13159,261,262,995,857,2492,87,73,1900,67,
68,69,74,2284,1398,1108,1527,13159,1509,1388,
371,1376,1337,1104,372,1394,980,370,365,383,
725,2325,623,13159,13159,13159,13159,13159,13159,13159,
995,857,2492,87,73,2235,67,68,69,74,
2284,1398,13159,1527,13159,1509,1388,371,1376,1337,
1104,372,1394,980,370,365,383,725,2325,623,
13159,12240,13159,13159,13159,13159,13159,995,857,2492,
87,73,2236,67,68,69,74,2284,1398,13159,
1527,13159,1509,1388,371,1376,1337,1104,372,1394,
980,370,365,383,725,2325,623,2211,13159,13159,
764,9030,19,13159,995,857,2492,87,73,2320,
67,68,69,74,2202,1398,13159,1527,13159,1509,
1388,371,1376,1337,1104,372,1394,980,370,365,
383,725,2325,623,13159,13159,13159,13159,13159,13159,
13159,995,857,2492,87,73,1249,67,68,69,
74,2387,1398,13159,1527,13159,1509,1388,371,1376,
1337,1104,372,1394,980,370,365,383,725,2325,
623,13159,13159,2212,13159,13159,13159,968,995,857,
2492,87,73,2406,67,68,69,74,13159,2355,
268,265,266,13159,13159,13159,13159,13159,13159,13159,
13159,267,13159,330,13159,13159,13159,13159,13159,17,
13159,13159,13159,13159,13159,13159,13159,1348,13159,13159,
1130,13159,327,39,40,41,42,43,51,52,
328,329,13159,2429,1398,276,1527,13159,1509,1388,
371,1376,1337,1104,372,1394,980,370,365,383,
725,2437,282,1111,13159,13159,13159,277,13159,13159,
995,857,2492,87,71,13159,268,265,266,968,
13159,13159,13159,13159,13159,13159,274,267,13159,330,
13159,4998,268,265,266,13159,13159,13159,13159,13159,
13159,13159,13159,267,13159,330,1130,13159,327,39,
40,41,42,43,51,52,328,329,13159,13159,
13159,325,1130,13159,327,39,40,41,42,43,
51,52,328,329,13159,13159,13159,276,1395,5002,
12071,1111,13159,13159,13159,2335,8060,13159,78,13159,
331,13159,817,13159,268,265,266,13159,13159,277,
13159,13159,13159,13159,13159,267,13159,330,1730,13159,
329,13159,331,13159,817,329,13159,331,275,817,
13159,13159,13159,13159,1130,13159,327,39,40,41,
42,43,51,52,328,329,756,2244,1398,326,
3285,13159,1509,1388,371,1376,1337,1104,372,8322,
980,370,365,383,725,13159,13159,13159,756,13159,
5003,12133,13159,756,13159,13159,13159,13159,13159,2468,
1398,13159,3285,108,1509,1388,371,1376,1337,1104,
372,8322,980,370,365,383,725,13159,731,13159,
13159,13159,13159,256,13159,261,262,13159,177,13159,
13159,268,265,266,13159,13159,13159,278,13159,12242,
13159,13159,267,13159,258,257,13159,261,262,13159,
257,13159,261,262,13159,302,13159,1143,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,284,748,
13159,13159,13159,174,255,1139,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,11381,13159,13159,13159,5231,11766,5230,13159,13159,
13159,13159,747,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,317,318,13159,10163,13159,1222,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,867,13159,
315,13159,13159,13159,13159,609,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,1400,13159,0,1335,632,0,
5205,632,0,1335,633,0,236,248,0,1768,
622,0,2158,9,0,2243,8,0,2328,7,
0,246,236,0,250,236,0,4143,85,0,
11140,85,0,2919,85,0,2919,86,0,1380,
238,0,244,236,0,244,246,236,0,5205,
16,0,1914,16,0,13493,16,0,13493,627,
0,2498,636,0,558,553,0,557,552,0,
556,551,0,559,550,0,560,549,0,561,
548,0,579,547,0,581,546,0,555,545,
0,554,544,0,5994,622,0,4143,81,0,
244,224,0,5205,72,0,11140,392,0,392,
636,0,11140,391,77,0,391,77,0,391,
77,636,0,245,247,0,3,4,0,2919,
232,0,5205,293,0,5205,295,0,11140,391,
0,391,636,0,11140,393,0,393,636,0,
13493,626,16,0,626,16,0,5205,306,0,
507,169,0,504,168,0,501,167,0,498,
166,0,495,165,0,491,164,0,481,163,
0,466,162,0,462,161,0,456,160,0,
443,158,0,434,157,0,453,159,0,370,
155,0,372,154,0,429,153,0,428,152,
0,433,151,0,432,150,0,5205,16,607,
0,729,607,0,2915,607,0,4786,607,0,
5091,607,0,10491,607,0,10533,607,0,10575,
607,0,10617,607,0,10659,607,0,10701,607,
0,10743,607,0,10785,607,0,13545,607,0,
13544,607,0,13543,607,0,13541,607,0,13540,
607,0,13539,607,0,13538,607,0,13537,607,
0,13536,607,0,13535,607,0,13534,607,0,
13533,607,0,13532,607,0,13547,607,0,13546,
607,0,851,607,0,981,607,0,1086,607,
0,5994,622,607,0,13526,607,0,13525,607,
0,13522,607,0,1914,16,607,0,13234,607,
0,13493,626,16,607,0,626,607,0,13493,
626,0,1385,234,0,5205,16,606,0,729,
606,0,2915,606,0,4786,606,0,5091,606,
0,10491,606,0,10533,606,0,10575,606,0,
10617,606,0,10659,606,0,10701,606,0,10743,
606,0,10785,606,0,13545,606,0,13544,606,
0,13543,606,0,13541,606,0,13540,606,0,
13539,606,0,13538,606,0,13537,606,0,13536,
606,0,13535,606,0,13534,606,0,13533,606,
0,13532,606,0,13547,606,0,13546,606,0,
851,606,0,981,606,0,1086,606,0,5994,
622,606,0,13526,606,0,13525,606,0,13522,
606,0,1914,16,606,0,13234,606,0,13493,
626,16,606,0,626,606,0,5239,29,0,
13187,29,0,13186,29,0,13185,29,0,13184,
29,0,13183,29,0,13182,29,0,13181,29,
0,13180,29,0,13179,29,0,13177,29,0,
5205,29,0,13493,29,0,5205,70,0,2033,
622,0,8689,140,0,5984,596,0,5393,596,
0,5989,232,0,5984,597,0,5393,597,0,
5205,232,0,5205,308,0,5994,608,0,13525,
608,0,2073,608,0,13522,608,0,981,608,
0,851,608,0,13547,608,0,13546,608,0,
13545,608,0,13544,608,0,13543,608,0,13541,
608,0,13540,608,0,13539,608,0,13538,608,
0,13537,608,0,13536,608,0,13535,608,0,
13534,608,0,13533,608,0,13532,608,0,8144,
608,0,8500,608,0,13493,608,0,5205,309,
0,11140,367,0,367,636,0
};
};
public final static char baseAction[] = new char[BaseAction0.baseAction0.length + BaseAction1.baseAction1.length];
{
int index = 0;
System.arraycopy(BaseAction0.baseAction0, 0, baseAction, index, BaseAction0.baseAction0.length);
index += BaseAction0.baseAction0.length;
System.arraycopy(BaseAction1.baseAction1, 0, baseAction, index, BaseAction1.baseAction1.length);
};
public final int baseAction(int index) { return baseAction[index]; }
public final static char lhs[] = baseAction;
public final int lhs(int index) { return lhs[index]; };
public interface TermCheck {
public final static char termCheck[] = {0,
0,1,2,3,0,5,6,3,8,9,
10,11,12,13,14,15,16,17,0,1,
0,1,2,0,1,2,8,9,10,11,
12,13,14,15,16,17,0,19,0,39,
40,0,42,43,44,7,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,39,63,64,65,66,67,68,0,
0,0,1,2,5,0,0,0,42,43,
4,4,7,0,1,2,11,0,18,19,
90,21,5,6,94,95,96,97,98,99,
100,101,102,103,104,105,106,107,108,109,
110,111,112,113,114,115,0,1,2,0,
4,0,39,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,79,0,41,42,43,
39,86,46,7,0,0,89,91,92,93,
5,7,0,0,18,19,20,21,62,7,
8,9,18,0,20,69,70,71,72,73,
74,75,76,77,78,0,80,81,82,83,
84,85,0,1,2,0,4,130,89,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,0,86,41,42,43,63,0,46,0,
86,0,0,4,7,0,5,16,3,7,
5,6,79,0,62,18,3,20,5,6,
18,69,70,71,72,73,74,75,76,77,
78,116,80,81,82,83,84,85,0,1,
2,0,4,0,45,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,0,0,41,
42,43,4,86,46,0,0,0,86,2,
89,48,7,7,7,52,53,54,0,0,
62,2,4,18,18,20,7,69,70,71,
0,73,74,75,76,77,78,116,0,81,
82,83,84,85,0,87,88,0,1,2,
89,4,0,90,7,8,9,10,11,12,
13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,0,89,41,42,
43,86,86,0,0,1,2,4,5,55,
48,0,1,2,52,53,54,0,0,62,
3,3,5,6,6,0,69,70,71,89,
73,74,75,76,77,78,0,130,81,82,
83,84,85,40,87,88,0,1,2,45,
4,0,90,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,0,0,41,42,43,
39,5,46,8,9,0,0,1,2,0,
1,2,0,1,0,0,0,3,62,5,
6,115,7,0,0,69,70,71,4,73,
74,75,76,77,78,39,0,81,82,83,
84,85,0,1,2,39,4,0,39,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,0,1,41,42,43,0,64,46,3,
0,5,6,0,0,1,2,0,8,9,
3,86,5,6,62,0,1,2,0,1,
2,69,70,71,67,73,74,75,76,77,
78,40,99,81,82,83,84,85,0,1,
2,3,4,39,0,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,0,1,41,
42,43,0,1,2,94,95,96,97,98,
46,100,101,102,103,104,105,106,107,108,
109,110,111,112,113,114,0,1,2,0,
72,0,0,1,2,0,4,5,80,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,45,0,41,42,43,45,5,0,1,
2,0,0,0,0,2,0,4,0,1,
7,7,11,12,13,0,1,11,12,13,
0,72,2,0,72,0,0,1,2,0,
4,39,80,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,62,65,41,42,43,
121,65,69,70,71,120,73,74,75,76,
77,78,0,63,81,82,83,84,85,0,
86,2,0,4,0,1,7,5,72,79,
0,1,2,0,4,2,80,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,45,
0,41,42,43,119,63,123,122,8,9,
125,62,123,128,0,63,127,3,69,70,
71,79,73,74,75,76,77,78,0,0,
81,82,72,4,0,1,2,0,4,2,
80,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,44,46,41,42,43,64,0,
1,2,0,0,0,0,0,2,2,4,
8,9,7,7,11,12,13,0,0,0,
3,3,5,6,6,6,72,0,0,1,
2,4,4,99,80,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,62,65,41,
42,43,115,0,69,70,71,4,73,74,
75,76,77,78,80,0,81,82,3,0,
5,6,0,4,0,3,7,5,6,0,
72,0,0,1,2,0,4,18,80,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,40,0,41,42,43,45,0,46,44,
0,62,2,0,4,8,9,7,69,70,
71,67,73,74,75,76,77,78,0,1,
2,0,4,2,72,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,118,0,41,
42,43,62,124,46,0,1,2,0,69,
70,71,14,73,74,75,76,77,78,0,
0,81,82,15,0,1,2,138,4,10,
72,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,0,1,41,42,43,49,50,
51,0,1,2,0,56,57,58,59,60,
61,0,8,9,3,0,5,6,3,0,
5,6,3,0,5,6,72,0,0,1,
2,0,4,10,80,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,0,1,41,
42,43,49,50,51,0,1,2,0,56,
57,58,59,60,61,0,8,9,3,0,
5,6,142,4,0,1,2,0,4,2,
72,7,8,9,10,11,12,13,14,15,
16,17,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,44,0,41,42,43,0,1,
2,0,4,116,0,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,0,0,41,
42,43,0,1,2,0,4,46,3,7,
8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,
28,29,30,31,32,33,34,35,36,37,
38,87,88,41,42,43,0,1,2,0,
4,87,88,7,8,9,10,11,12,13,
14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,87,88,0,42,43,
0,1,2,0,4,8,9,7,8,9,
10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,0,
1,2,42,43,0,0,7,2,4,10,
11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,0,0,
1,2,0,0,39,2,8,9,10,11,
12,13,14,15,16,17,14,0,0,0,
0,1,3,6,5,6,8,9,8,9,
10,11,12,13,14,15,16,17,39,0,
0,2,39,45,0,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
0,44,64,65,66,67,68,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,0,39,64,65,66,67,68,45,
8,9,10,11,12,13,14,15,16,17,
0,0,63,3,0,5,6,3,0,5,
6,3,0,115,6,3,0,5,6,0,
0,0,40,3,5,5,6,6,0,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,0,1,64,65,66,67,
68,0,8,9,10,11,12,13,14,15,
16,17,0,0,48,44,0,1,52,53,
54,8,9,45,8,9,10,11,12,13,
14,15,16,17,0,1,2,0,1,2,
39,47,48,49,50,51,52,53,54,55,
56,57,58,59,60,61,90,45,64,65,
66,67,68,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,0,1,
64,65,66,67,68,116,8,9,10,11,
12,13,14,15,16,17,0,0,0,1,
0,1,0,6,8,9,4,5,8,9,
10,11,12,13,14,15,16,17,0,0,
1,0,0,2,2,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
19,44,64,65,66,67,68,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,0,0,64,65,66,67,68,6,
8,9,10,11,12,13,14,15,16,17,
0,0,0,1,0,0,6,6,0,4,
5,3,8,9,10,11,12,13,14,15,
16,17,40,0,1,87,88,44,0,47,
48,49,50,51,52,53,54,55,56,57,
58,59,60,61,40,44,64,65,66,67,
68,47,48,49,50,51,52,53,54,55,
56,57,58,59,60,61,0,39,64,65,
66,67,68,0,8,9,10,11,12,13,
14,15,16,17,0,0,0,0,0,2,
0,6,0,3,7,3,8,9,10,11,
12,13,14,15,16,17,40,0,0,0,
2,4,39,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,40,44,
64,65,66,67,68,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,61,
0,0,64,65,66,67,68,6,8,9,
10,11,12,13,14,15,16,17,0,62,
0,63,0,5,6,3,69,70,71,0,
73,74,75,76,77,78,0,79,0,0,
83,84,85,0,6,44,0,47,48,49,
50,51,52,53,54,55,56,57,58,59,
60,61,0,1,64,65,66,67,68,0,
1,2,3,0,117,39,7,0,1,2,
3,4,44,6,45,39,127,18,19,20,
21,22,23,24,25,26,27,28,29,30,
31,32,33,34,35,36,37,38,0,0,
41,0,1,2,5,6,39,0,7,80,
0,0,45,15,47,5,5,0,1,18,
19,20,21,22,23,24,25,26,27,28,
29,30,31,32,33,34,35,36,37,38,
0,1,41,0,1,2,79,0,1,2,
7,4,0,6,0,1,46,46,91,92,
93,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,0,0,1,2,39,0,45,0,
7,44,45,6,47,6,0,45,2,17,
99,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,
37,38,0,0,41,2,79,5,6,47,
7,44,80,44,0,39,2,0,91,92,
93,7,0,0,0,1,2,0,66,0,
68,7,0,6,0,0,4,0,3,5,
3,118,18,19,20,21,22,23,24,25,
26,27,28,29,30,31,32,33,34,35,
36,37,38,0,0,41,0,1,2,0,
48,44,55,7,52,53,54,48,55,47,
46,52,53,54,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,
34,35,36,37,38,0,1,41,0,1,
2,79,90,0,45,7,0,4,55,90,
0,5,2,91,92,93,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,
32,33,34,35,36,37,38,0,1,2,
0,0,0,0,7,5,4,7,5,39,
47,0,46,2,0,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,32,
33,34,35,36,37,38,0,0,0,1,
0,40,79,40,0,45,6,0,45,0,
6,0,5,6,91,92,93,19,0,1,
0,0,62,0,4,2,0,1,2,69,
0,0,72,2,63,39,39,19,0,0,
80,3,3,0,44,0,0,17,44,6,
79,40,6,0,1,94,95,96,97,98,
39,100,101,102,103,104,105,106,107,108,
109,110,111,112,113,114,0,47,118,119,
4,121,122,7,39,125,63,44,128,0,
44,131,132,133,63,135,66,137,68,139,
140,141,79,143,144,94,95,96,97,98,
79,100,101,102,103,104,105,106,107,108,
109,110,111,112,113,114,0,0,0,0,
0,2,4,6,0,7,10,0,62,0,
0,4,0,4,55,69,70,71,0,73,
74,75,76,77,78,0,0,81,82,83,
84,85,0,0,16,3,0,0,0,6,
0,44,6,39,0,49,50,51,10,39,
6,0,56,57,58,59,60,61,0,1,
62,10,63,117,0,40,0,69,70,71,
124,73,74,75,76,77,78,44,79,81,
82,83,84,85,0,0,0,49,50,51,
0,5,0,3,56,57,58,59,60,61,
49,50,51,63,0,0,40,56,57,58,
59,60,61,0,0,117,3,3,0,0,
0,3,3,0,4,0,3,0,0,4,
0,4,4,3,0,0,136,3,126,4,
0,0,0,3,3,3,0,63,0,45,
45,5,126,0,1,0,64,120,3,0,
0,0,0,0,4,6,4,0,1,0,
1,0,1,0,1,0,1,0,1,0,
0,1,0,0,1,0,7,0,6,4,
3,0,0,1,0,1,5,0,0,0,
0,0,5,5,5,5,0,0,0,46,
62,0,6,6,0,4,0,3,0,0,
0,0,4,3,63,0,0,0,3,3,
3,0,0,0,0,19,5,3,6,0,
0,0,3,3,0,1,0,1,40,0,
0,0,3,3,0,1,0,0,0,0,
3,0,0,0,5,0,3,5,3,0,
0,0,0,40,5,3,0,0,0,3,
0,1,0,0,0,3,0,46,0,0,
0,40,0,5,0,5,40,0,1,0,
6,40,3,45,0,0,0,3,0,0,
40,3,0,0,0,0,0,40,40,3,
119,6,0,0,40,0,4,4,3,40,
0,1,40,0,1,0,0,0,1,3,
0,1,0,0,0,62,3,5,129,63,
129,46,40,40,40,46,0,0,0,0,
3,5,3,5,0,0,0,0,0,63,
5,0,0,0,0,0,0,0,0,0,
0,46,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,134,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0
};
};
public final static char termCheck[] = TermCheck.termCheck;
public final int termCheck(int index) { return termCheck[index]; }
public interface TermAction {
public final static char termAction[] = {0,
77,12661,12654,12658,13159,12658,12658,13528,12658,12658,
12658,12658,12658,12658,12658,12658,12658,12658,13159,10947,
13159,12606,12606,236,12563,12563,13704,13703,13705,13710,
13712,13711,13708,13709,13707,13706,442,9829,13159,391,
12658,102,12658,12658,12658,13493,12658,12658,12658,12658,
12658,12658,12658,12658,12658,12658,12658,12658,12658,12658,
12658,12658,12566,12658,12658,12658,12658,12658,12658,13159,
13159,13159,12609,12609,13423,13159,13159,632,13590,13589,
5205,12542,13493,213,12603,11140,3281,13159,3368,13527,
12658,3369,13271,4980,391,391,391,391,391,12658,
391,391,391,391,391,391,391,391,391,391,
391,391,391,391,391,12658,626,12853,12866,633,
12759,236,1907,12873,12769,12772,12793,12781,12775,12778,
12787,12784,12790,12796,12847,12857,12844,12850,12835,12832,
12829,12823,12817,12814,12826,12820,12811,12808,12805,12802,
12838,12863,12799,12860,12841,11386,13159,12870,12766,12763,
12548,13164,607,13493,13159,16,12539,11343,13254,13255,
13428,13493,13159,13159,1391,8678,2490,8585,12696,13493,
1533,1619,1390,634,2154,12696,16,16,12878,16,
16,16,16,16,16,13159,12878,16,16,16,
16,16,626,12981,12994,13159,12887,626,12545,13001,
12897,12900,12921,12909,12903,12906,12915,12912,12918,12924,
12975,12985,12972,12978,12963,12960,12957,12951,12945,12942,
12954,12948,12939,12936,12933,12930,12966,12991,12927,12988,
12969,500,13172,12998,12894,12891,11463,13159,606,232,
3453,16,13159,13072,13493,504,13428,9327,12705,13493,
168,168,11500,501,12696,1391,12708,2490,167,167,
1374,12696,16,16,13006,16,16,16,16,16,
16,629,13006,16,16,16,16,16,626,12636,
12594,630,12591,487,12671,12692,4786,5091,10743,10575,
10491,10533,10659,10617,10701,10785,981,13526,851,1086,
13532,13533,13534,13536,13538,13539,13535,13537,13540,13541,
13543,13544,13547,13522,13545,13525,13546,13159,626,13234,
2915,729,5205,13172,176,13159,13159,13159,13173,1392,
1335,9555,13493,13493,13493,5547,9126,1999,627,13159,
12696,5598,5205,1390,5008,2154,13493,12696,16,16,
631,16,16,16,16,16,16,628,13159,16,
16,16,16,16,455,176,176,626,12636,12594,
1335,12591,493,11426,12692,4786,5091,10743,10575,10491,
10533,10659,10617,10701,10785,981,13526,851,1086,13532,
13533,13534,13536,13538,13539,13535,13537,13540,13541,13543,
13544,13547,13522,13545,13525,13546,427,1335,13234,2915,
729,3536,13174,626,85,12569,12572,5205,13473,10827,
9555,13159,12612,12612,5547,9126,1999,498,13159,12696,
12711,13480,166,166,6225,13159,12696,16,16,1335,
16,16,16,16,16,16,13159,949,16,16,
16,16,16,5242,5393,5984,626,12636,12594,12575,
12591,13159,11426,12692,4786,5091,10743,10575,10491,10533,
10659,10617,10701,10785,981,13526,851,1086,13532,13533,
13534,13536,13538,13539,13535,13537,13540,13541,13543,13544,
13547,13522,13545,13525,13546,465,13159,13234,2915,729,
1502,13422,606,821,10086,13159,213,636,11140,245,
12665,247,9,12554,495,13159,13159,12714,12696,165,
165,1846,13493,509,72,12696,16,16,12645,16,
16,16,16,16,16,1380,13159,16,16,16,
16,16,626,12636,12594,2575,12591,506,251,12692,
4786,5091,10743,10575,10491,10533,10659,10617,10701,10785,
981,13526,851,1086,13532,13533,13534,13536,13538,13539,
13535,13537,13540,13541,13543,13544,13547,13522,13545,13525,
13546,214,2413,13234,2915,729,491,5319,606,12717,
476,164,164,13159,3,12668,4,481,821,10086,
12720,13160,163,163,12696,13159,12615,12615,13159,12618,
12618,12696,16,16,5920,16,16,16,16,16,
16,519,6148,16,16,16,16,16,16,12551,
12594,610,12591,6,13159,12597,4786,5091,10743,10575,
10491,10533,10659,10617,10701,10785,981,13526,851,1086,
13532,13533,13534,13536,13538,13539,13535,13537,13540,13541,
13543,13544,13547,13522,13545,13525,13546,8,12557,13234,
2915,729,13159,12621,12621,519,519,519,519,519,
13248,519,519,519,519,519,519,519,519,519,
519,519,519,519,519,519,232,622,978,13159,
1910,232,16,12551,12594,13159,12591,592,626,12597,
4786,5091,10743,10575,10491,10533,10659,10617,10701,10785,
981,13526,851,1086,13532,13533,13534,13536,13538,13539,
13535,13537,13540,13541,13543,13544,13547,13522,13545,13525,
13546,12671,13159,13234,2915,729,2919,13419,13159,12624,
12624,461,13159,13159,13159,2933,464,5205,7,12560,
13493,13493,10264,10176,10220,13159,6071,10264,10176,10220,
13159,7799,5609,584,1910,13159,604,12551,1914,195,
5205,2034,626,13493,4786,5091,10743,10575,10491,10533,
10659,10617,10701,10785,981,13526,851,1086,13532,13533,
13534,13536,13538,13539,13535,13537,13540,13541,13543,13544,
13547,13522,13545,13525,13546,13187,10132,13234,2915,729,
7888,10132,13179,13177,13180,4304,13181,13182,13183,13184,
13185,13186,13159,11463,13268,13269,983,723,1226,13159,
13161,1392,13159,5205,232,10386,13493,13329,1910,11500,
100,12551,1914,636,5205,11140,626,13493,4786,5091,
10743,10575,10491,10533,10659,10617,10701,10785,981,13526,
851,1086,13532,13533,13534,13536,13538,13539,13535,13537,
13540,13541,13543,13544,13547,13522,13545,13525,13546,2919,
475,13234,2915,729,4994,11463,5575,4988,821,10086,
7710,13187,5575,4993,169,7072,585,12702,13179,13177,
13180,11500,13181,13182,13183,13184,13185,13186,13159,13159,
13268,13269,1910,5205,590,12551,1914,13159,5205,11574,
626,13493,4786,5091,10743,10575,10491,10533,10659,10617,
10701,10785,981,13526,851,1086,13532,13533,13534,13536,
13538,13539,13535,13537,13540,13541,13543,13544,13547,13522,
13545,13525,13546,7608,13494,13234,2915,729,507,13159,
12627,12627,474,463,13159,13159,13159,5723,2933,5205,
821,10086,13493,13493,10264,10176,10220,466,13159,605,
12723,13193,162,162,944,6225,1910,240,16,12551,
12594,5205,12591,507,626,12597,4786,5091,10743,10575,
10491,10533,10659,10617,10701,10785,981,13526,851,1086,
13532,13533,13534,13536,13538,13539,13535,13537,13540,13541,
13543,13544,13547,13522,13545,13525,13546,13187,10132,13234,
2915,729,4140,215,13179,13177,13180,5205,13181,13182,
13183,13184,13185,13186,3282,462,13268,13269,12726,13159,
161,161,456,5205,508,12729,13493,160,160,612,
1910,232,626,12551,1914,13159,5205,1725,626,13493,
4786,5091,10743,10575,10491,10533,10659,10617,10701,10785,
981,13526,851,1086,13532,13533,13534,13536,13538,13539,
13535,13537,13540,13541,13543,13544,13547,13522,13545,13525,
13546,13063,13159,13234,2915,729,12671,473,13494,13523,
13159,13187,7603,13159,5205,821,10086,13493,13179,13177,
13180,5920,13181,13182,13183,13184,13185,13186,626,12551,
1914,638,5205,10295,1910,13493,4786,5091,10743,10575,
10491,10533,10659,10617,10701,10785,981,13526,851,1086,
13532,13533,13534,13536,13538,13539,13535,13537,13540,13541,
13543,13544,13547,13522,13545,13525,13546,13189,503,13234,
2915,729,13187,2662,13494,13159,12630,12630,497,13179,
13177,13180,9265,13181,13182,13183,13184,13185,13186,477,
614,13268,13269,4650,604,12551,1914,11611,5205,9702,
1910,13493,4786,5091,10743,10575,10491,10533,10659,10617,
10701,10785,981,13526,851,1086,13532,13533,13534,13536,
13538,13539,13535,13537,13540,13541,13543,13544,13547,13522,
13545,13525,13546,13159,10308,13234,2915,729,10038,9990,
9942,13159,12633,12633,472,9894,9846,9798,9750,9654,
9606,443,821,10086,12732,434,158,158,12735,453,
157,157,12738,486,159,159,1910,13159,626,12551,
1914,13159,5205,9702,626,13493,4786,5091,10743,10575,
10491,10533,10659,10617,10701,10785,981,13526,851,1086,
13532,13533,13534,13536,13538,13539,13535,13537,13540,13541,
13543,13544,13547,13522,13545,13525,13546,13159,2583,13234,
2915,729,10038,9990,9942,392,12651,12648,471,9894,
9846,9798,9750,9654,9606,370,821,10086,12741,13159,
155,155,11218,5205,13159,12636,1914,622,5205,978,
1910,13493,4786,5091,10743,10575,10491,10533,10659,10617,
10701,10785,981,13526,851,1086,13532,13533,13534,13536,
13538,13539,13535,13537,13540,13541,13543,13544,13547,13522,
13545,13525,13546,7786,596,13234,2915,729,626,12636,
1914,13159,5205,12538,594,12881,4786,5091,10743,10575,
10491,10533,10659,10617,10701,10785,981,13526,851,1086,
13532,13533,13534,13536,13538,13539,13535,13537,13540,13541,
13543,13544,13547,13522,13545,13525,13546,13159,597,13234,
2915,729,588,12636,1914,13159,5205,13432,1120,13493,
4786,5091,10743,10575,10491,10533,10659,10617,10701,10785,
981,13526,851,1086,13532,13533,13534,13536,13538,13539,
13535,13537,13540,13541,13543,13544,13547,13522,13545,13525,
13546,13060,13057,13234,2915,729,627,5994,2073,13159,
5205,5393,5984,12600,4786,5091,10743,10575,10491,10533,
10659,10617,10701,10785,981,13526,851,1086,13532,13533,
13534,13536,13538,13539,13535,13537,13540,13541,13543,13544,
13547,13522,13545,13525,13546,13069,13066,470,2915,729,
13159,5994,2073,13159,5205,821,10086,13493,4786,5091,
10743,10575,10491,10533,10659,10617,10701,10785,981,13526,
851,1086,13532,13533,13534,13536,13538,13539,13535,13537,
13540,13541,13543,13544,13547,13522,13545,13525,13546,13159,
5994,2073,2915,729,305,636,13493,11140,5205,10743,
10575,10491,10533,10659,10617,10701,10785,981,13526,851,
1086,13532,13533,13534,13536,13538,13539,13535,13537,13540,
13541,13543,13544,13547,13522,13545,13525,13546,232,213,
636,11140,505,636,1907,11140,13714,13713,13740,13715,
13717,13716,13719,13718,13720,13738,9265,13159,469,372,
13159,2943,12744,1372,154,154,821,10086,3196,3197,
3195,3029,2944,2946,3112,3111,3114,3115,1907,13159,
13159,1524,1380,12671,86,13730,13729,13723,13724,13725,
13727,13728,13726,13732,13733,13734,13735,13736,13741,13742,
13159,13250,13722,13737,13731,13721,13739,13730,13729,13723,
13724,13725,13727,13728,13726,13732,13733,13734,13735,13736,
13741,13742,417,1866,13722,13737,13731,13721,13739,12578,
13714,13713,13740,13715,13717,13716,13719,13718,13720,13738,
429,13159,11463,12747,428,153,153,12750,13159,152,
152,3621,433,11996,10869,12753,492,151,151,16,
432,13159,13581,12756,13428,150,150,11537,232,13730,
13729,13723,13724,13725,13727,13728,13726,13732,13733,13734,
13735,13736,13741,13742,13159,4220,13722,13737,13731,13721,
13739,13159,3196,3197,3195,3029,2944,2946,3112,3111,
3114,3115,13159,468,9555,13398,13159,4222,5547,9126,
1999,821,10086,12671,3196,3197,3195,3029,2944,2946,
3112,3111,3114,3115,391,12683,12680,393,12689,12686,
3200,13730,13729,13723,13724,13725,13727,13728,13726,13732,
13733,13734,13735,13736,13741,13742,11426,871,13722,13737,
13731,13721,13739,13730,13729,13723,13724,13725,13727,13728,
13726,13732,13733,13734,13735,13736,13741,13742,13159,4382,
13722,13737,13731,13721,13739,628,3196,3197,3195,3029,
2944,2946,3112,3111,3114,3115,467,13159,13159,2668,
13159,4396,13159,1883,821,10086,5205,13191,3196,3197,
3195,3029,2944,2946,3112,3111,3114,3115,595,81,
12639,622,13159,978,11648,13730,13729,13723,13724,13725,
13727,13728,13726,13732,13733,13734,13735,13736,13741,13742,
13051,13249,13722,13737,13731,13721,13739,13730,13729,13723,
13724,13725,13727,13728,13726,13732,13733,13734,13735,13736,
13741,13742,420,13159,13722,13737,13731,13721,13739,2660,
13714,13713,13740,13715,13717,13716,13719,13718,13720,13738,
611,13159,13159,2830,418,13159,10869,2660,13159,5205,
13192,13251,13714,13713,13740,13715,13717,13716,13719,13718,
13720,13738,13584,13159,6302,5393,5984,10162,13159,13730,
13729,13723,13724,13725,13727,13728,13726,13732,13733,13734,
13735,13736,13741,13742,13582,10294,13722,13737,13731,13721,
13739,13730,13729,13723,13724,13725,13727,13728,13726,13732,
13733,13734,13735,13736,13741,13742,419,1504,13722,13737,
13731,13721,13739,13159,13714,13713,13740,13715,13717,13716,
13719,13718,13720,13738,13159,13159,13159,13159,421,7609,
13159,2660,13159,13171,13493,13170,13714,13713,13740,13715,
13717,13716,13719,13718,13720,13738,13583,13159,634,13159,
5711,5205,1648,13730,13729,13723,13724,13725,13727,13728,
13726,13732,13733,13734,13735,13736,13741,13742,13585,9547,
13722,13737,13731,13721,13739,13730,13729,13723,13724,13725,
13727,13728,13726,13732,13733,13734,13735,13736,13741,13742,
13159,13159,13722,13737,13731,13721,13739,2660,13714,13713,
13740,13715,13717,13716,13719,13718,13720,13738,294,13187,
13159,11463,13159,345,345,13169,13179,13177,13180,13159,
13181,13182,13183,13184,13185,13186,13159,11500,13159,13159,
983,723,1226,13159,2660,7971,76,13730,13729,13723,
13724,13725,13727,13728,13726,13732,13733,13734,13735,13736,
13741,13742,13159,2948,13722,13737,13731,13721,13739,16,
12636,12594,610,13159,1217,1741,12597,244,12587,12563,
12584,236,10117,12584,1007,12581,5011,981,13526,851,
1086,13532,13533,13534,13536,13538,13539,13535,13537,13540,
13541,13543,13544,13547,13522,13545,13525,13546,499,13159,
13234,13159,12636,1914,13270,4980,12566,13159,13493,3282,
16,16,236,4650,12584,13428,13428,640,941,981,
13526,851,1086,13532,13533,13534,13536,13538,13539,13535,
13537,13540,13541,13543,13544,13547,13522,13545,13525,13546,
13159,3033,13234,13159,5994,2073,236,244,12587,12563,
13493,236,13159,12642,13159,3118,616,598,236,236,
236,981,8500,851,8144,13532,13533,13534,13536,13538,
13539,13535,13537,13540,13541,13543,13544,13547,13522,13545,
13525,13546,494,13159,12636,1914,12566,13159,12301,13159,
13493,12642,236,2660,12584,2660,636,1264,11140,9387,
7784,981,13526,851,1086,13532,13533,13534,13536,13538,
13539,13535,13537,13540,13541,13543,13544,13547,13522,13545,
13525,13546,294,13159,13234,5723,236,346,346,9499,
13493,8149,3282,8327,13159,1504,8320,460,236,236,
236,13493,489,459,16,12636,12594,13159,9443,488,
758,12597,13159,2660,16,13159,5205,13159,1005,13428,
1235,7964,981,13526,851,1086,13532,13533,13534,13536,
13538,13539,13535,13537,13540,13541,13543,13544,13547,13522,
13545,13525,13546,458,13159,13234,13159,12636,1914,602,
9555,8416,10827,13493,5547,9126,1999,9555,10827,10428,
617,5547,9126,1999,981,13526,851,1086,13532,13533,
13534,13536,13538,13539,13535,13537,13540,13541,13543,13544,
13547,13522,13545,13525,13546,13159,3203,13234,13159,5994,
2073,11386,11426,305,11979,13493,16,5205,10827,11426,
636,13428,11140,11343,13254,13255,981,13526,851,1086,
13532,13533,13534,13536,13538,13539,13535,13537,13540,13541,
13543,13544,13547,13522,13545,13525,13546,608,13078,13084,
13159,13159,490,13159,13147,13301,5205,13493,13478,2664,
10428,634,599,8231,13159,13090,13144,13093,13141,13138,
13135,13132,13126,13120,13117,13129,13123,13114,13111,13108,
13105,13096,13087,13102,13081,13099,13159,88,13159,10984,
13159,13680,11386,12269,13159,871,2660,294,12301,13159,
2660,371,347,347,11343,13254,13255,5721,13159,11103,
98,13159,4992,634,5205,8409,367,13156,13153,7621,
496,634,7532,8498,11463,2059,1741,7873,13159,13159,
4990,3620,1363,13159,8505,13159,13159,9387,8594,2660,
11500,520,2660,13159,3288,13685,13683,13689,13681,13682,
12581,13690,13691,13684,13686,13687,13688,13692,13693,13697,
13700,13694,13695,13696,13698,13699,29,9499,7964,4994,
13042,1845,4988,13045,2577,7710,11463,8683,4993,457,
8772,6610,1091,954,11463,4995,9443,6456,758,4481,
4997,6533,11500,5010,4989,520,520,520,520,520,
11500,520,520,520,520,520,520,520,520,520,
520,520,520,520,520,520,485,13159,29,634,
618,8587,13042,2660,247,13045,9702,97,13012,482,
4,5205,620,5205,10827,13036,13039,13033,502,13030,
13027,13024,13021,13018,13015,13159,600,13268,13269,983,
723,1226,13159,13159,9327,13558,101,13159,484,2660,
13159,8861,6379,251,601,10038,9990,9942,9702,6,
11848,483,9894,9846,9798,9750,9654,9606,13159,3373,
13012,9702,11463,1217,13159,11685,13159,13036,13039,13033,
13009,13030,13027,13024,13021,13018,13015,8950,11500,13268,
13269,983,723,1226,13159,13159,13159,10038,9990,9942,
13159,13307,13159,13553,9894,9846,9798,9750,9654,9606,
10038,9990,9942,9039,13159,13159,11959,9894,9846,9798,
9750,9654,9606,13159,13159,1217,1246,5009,13159,13159,
626,13557,5612,13159,5205,293,4227,295,241,12674,
13159,12677,5205,1909,13159,306,11181,9155,12115,12699,
13159,13159,13159,13555,13554,1911,13159,11463,234,11979,
12055,13518,11722,13159,3458,13159,5319,11885,1912,270,
271,13159,322,13159,5205,11922,5205,13159,3543,13159,
6687,13159,6764,13159,646,13159,6841,13159,6918,586,
13159,6995,361,13159,3624,323,13493,13159,1905,5205,
13556,13159,13159,3718,13159,4143,13298,13159,13159,13159,
13159,13159,13353,13352,13351,13350,360,362,13159,13483,
12884,70,976,1255,13159,13048,13159,13560,272,13159,
13159,13159,5205,8066,10167,13159,13159,13159,8155,8244,
8333,13159,186,13159,149,4383,4823,514,9182,13159,
13159,13159,8422,8511,13159,10906,13159,7303,4709,13159,
13159,13159,1633,13559,13159,10345,348,13159,13159,13159,
5720,13159,13159,13159,13330,13159,2321,13225,8600,13159,
635,140,13159,4900,8956,5604,13159,13159,13159,5968,
13159,11025,13159,234,298,5607,13159,13387,13159,13159,
13159,5014,635,13341,188,13469,635,13159,11062,13159,
9182,5128,7606,12210,13159,13159,13159,8867,13159,13159,
4709,7695,299,635,300,307,13159,5470,5615,7962,
5576,12033,308,309,4900,13159,13075,13150,8051,5729,
13159,3803,5128,13159,3888,13159,13159,13159,3973,7968,
13159,4058,13159,13159,13159,12884,7972,13218,7149,13339,
7226,13332,5470,5615,5729,13470,13159,13159,13159,13159,
8057,13217,8061,13220,13159,13159,13159,13159,13159,13338,
13219,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13479,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13159,13159,13159,13159,13159,
13159,13159,13159,13159,13159,13054
};
};
public final static char termAction[] = TermAction.termAction;
public final int termAction(int index) { return termAction[index]; }
public interface Asb {
public final static char asb[] = {0,
1126,1,1127,106,1146,9,561,6,1127,1130,
1128,1127,3,3,4,1127,106,808,620,306,
448,448,4,4,127,127,127,471,4,106,
472,4,471,447,471,1146,106,106,106,106,
721,224,1128,1127,3,715,11,4,266,127,
847,725,338,218,526,553,553,553,553,548,
548,548,548,548,548,548,548,129,152,151,
154,586,155,847,620,406,662,195,598,588,
607,603,609,608,611,610,660,616,715,448,
448,448,448,448,448,448,448,448,448,847,
823,847,582,720,350,350,350,719,447,471,
808,727,106,106,847,719,1127,111,116,122,
213,191,721,808,719,808,847,715,92,714,
193,219,4,406,548,350,823,548,548,548,
548,548,548,548,979,617,270,350,823,823,
823,664,548,548,548,548,823,548,548,548,
548,548,548,548,548,548,548,810,810,810,
810,810,810,810,808,810,810,808,304,350,
617,202,350,849,4,306,127,715,715,715,
306,447,106,447,847,714,727,350,306,451,
106,1128,112,897,117,123,214,106,127,127,
715,808,766,106,959,69,221,823,823,719,
715,674,155,155,154,154,154,154,715,252,
106,715,238,233,233,588,588,588,588,233,
586,586,586,586,586,586,586,586,586,586,
603,406,598,196,598,598,598,608,607,1026,
610,609,715,823,715,823,449,720,715,847,
715,448,350,1124,856,715,715,847,448,113,
105,617,106,106,118,119,69,31,947,715,
617,106,222,823,256,257,406,11,852,11,
808,202,659,823,306,127,304,350,304,847,
715,808,304,350,847,113,714,106,897,118,
119,714,823,33,859,1026,106,617,859,392,
808,221,808,448,659,715,847,715,350,405,
715,350,947,823,105,1026,113,561,947,402,
823,946,263,1124,1028,191,187,336,186,185,
184,183,179,174,164,162,158,681,681,681,
409,409,679,679,681,681,1076,191,33,724,
1026,222,847,448,304,350,715,1052,715,402,
401,947,1052,823,401,31,808,448,788,847,
847,788,847,901,788,847,847,847,1026,947,
808,807,108,108,788,847,808,766,190,106,
958,33,823,350,847,715,405,1124,1060,1054,
1052,405,823,1124,1054,1052,401,823,191,847,
55,808,808,788,788,788,847,54,808,808,
1047,976,191,191,191,191,1050,808,954,190,
190,106,228,766,617,106,31,727,664,715,
350,1019,378,106,106,584,190,1024,401,263,
350,715,974,92,715,715,715,974,191,190,
92,189,715,715,977,847,769,847,715,808,
766,766,617,31,106,904,1025,617,808,1124,
715,1021,847,448,379,448,190,448,106,31,
966,715,788,808,766,106,957,788,788,788,
808,807,810,766,106,957,788,788,947,69,
808,947,191,106,228,1024,808,617,31,1025,
261,1021,979,847,846,307,69,847,847,808,
191,715,617,106,715,191,106,970,617,106,
906,771,715,715,1122,617,106,31,904,1024,
808,31,947,859,1021,940,940,69,847,715,
940,949,788,972,617,788,352,617,106,906,
972,617,788,947,191,1122,1026,808,773,1122,
1024,617,808,31,904,808,191,724,261,847,
940,940,715,69,909,940,949,788,972,715,
714,971,617,906,972,1124,1122,1026,772,1024,
808,33,69,941,941,940,715,940,1095,846,
941,942,788,906,971,906,727,715,1021,823,
1021,940,940,941,940,206,940,69,1021,943,
906,1124,940,261,962,962,261,941,940,1021,
940,206,940,715,261,945,940,823,1021,941,
261,941,395,941,940,1150,33,941,962,261,
1021,1021,261,1021,940,447,447,447,33,1021,
261,261,261,941,847,717,847,1124,261,1021,
350,448,448,350,261,715,847,847,715,191,
350,350,191,715,715,191,191
};
};
public final static char asb[] = Asb.asb;
public final int asb(int index) { return asb[index]; }
public interface Asr {
public final static char asr[] = {0,
116,0,5,39,0,45,7,4,130,0,
97,98,95,102,94,103,104,105,96,100,
101,106,107,110,111,112,108,113,114,109,
40,0,45,131,121,122,132,46,133,125,
128,135,137,118,139,140,141,143,144,119,
83,84,85,5,80,17,10,16,14,15,
11,13,12,9,8,42,43,72,41,22,
23,24,28,25,29,26,27,30,31,32,
33,36,38,34,20,21,18,35,37,19,
1,81,82,2,70,69,71,73,74,75,
76,77,78,62,4,7,0,5,7,0,
2,1,136,45,0,2,1,136,126,45,
0,2,45,126,1,0,39,2,94,95,
96,97,98,100,101,102,103,104,105,40,
106,107,108,109,110,111,112,113,114,1,
115,43,42,55,63,44,46,12,11,13,
65,8,9,10,49,50,51,56,57,58,
59,60,61,48,52,53,54,90,66,17,
47,68,15,16,14,67,99,64,3,6,
5,0,3,6,47,4,92,93,79,91,
0,6,44,4,0,5,40,138,142,4,
45,0,2,40,45,1,0,45,79,63,
138,120,0,7,86,11,0,40,79,63,
2,0,48,52,53,54,90,14,66,15,
67,63,5,99,44,16,64,46,17,47,
68,3,6,4,0,3,6,120,129,138,
45,40,4,5,0,63,5,46,3,94,
95,96,97,42,98,99,100,101,43,102,
103,104,105,106,107,108,109,110,111,112,
113,114,115,90,4,45,79,91,92,93,
39,6,44,2,40,1,9,8,11,13,
12,15,14,16,67,49,50,51,54,52,
53,48,47,66,55,56,57,58,59,65,
17,68,10,60,61,64,0,70,69,62,
71,73,74,75,76,77,78,81,82,80,
72,3,41,35,37,21,18,20,7,38,
34,22,23,24,28,25,29,26,27,30,
31,32,33,36,42,43,4,2,9,8,
10,17,16,14,15,11,13,12,1,19,
0,63,120,79,5,4,45,40,142,0,
4,45,6,0,45,63,44,46,14,8,
10,66,12,15,67,42,11,13,99,16,
64,17,9,43,48,49,50,51,52,47,
53,54,55,56,65,68,57,58,59,60,
61,115,90,6,5,3,39,1,2,0,
103,96,101,104,95,105,102,94,97,106,
107,108,109,110,111,112,113,114,100,98,
39,66,67,3,6,63,99,44,64,46,
48,49,50,51,52,40,47,53,54,55,
56,120,79,91,65,68,57,58,59,60,
61,70,115,83,124,71,92,136,129,90,
117,93,73,138,130,74,75,76,77,84,
142,78,85,81,82,5,45,131,121,80,
122,69,132,62,133,125,72,128,135,137,
118,139,140,141,143,144,119,43,42,9,
8,4,17,10,16,14,15,11,13,12,
22,23,24,28,25,29,26,27,30,31,
32,33,36,38,34,20,35,2,37,1,
7,21,18,19,0,9,8,49,50,51,
56,57,58,59,10,60,61,90,48,53,
52,54,47,66,17,68,15,16,14,67,
63,5,46,64,99,3,44,6,0,80,
41,2,17,10,16,14,15,11,13,12,
9,8,42,43,72,22,23,24,28,25,
29,26,27,30,31,32,33,36,38,34,
20,21,18,35,37,19,7,1,4,44,
0,136,39,45,40,120,79,91,92,129,
93,138,142,63,44,46,115,4,42,43,
8,10,66,12,15,67,14,11,13,99,
16,64,17,9,48,49,50,51,52,47,
53,54,55,56,65,68,57,58,59,60,
61,90,5,6,3,0,19,21,20,18,
7,86,0,45,80,0,22,23,24,25,
26,27,28,29,30,31,32,33,42,14,
8,10,12,15,1,11,13,4,16,46,
17,9,43,80,34,72,35,20,36,18,
37,21,19,38,41,7,2,0,127,123,
134,46,83,70,71,73,74,75,76,77,
84,78,85,81,82,87,88,45,131,121,
122,69,132,62,133,125,128,135,137,118,
139,140,141,143,144,119,5,80,72,17,
10,16,14,15,11,13,12,9,8,42,
43,4,41,22,23,24,28,25,29,26,
27,30,31,32,33,36,38,34,20,21,
18,35,2,37,7,19,1,0,115,2,
0,120,138,45,0,46,6,0,45,80,
41,2,17,10,16,14,15,11,13,12,
42,43,4,72,22,23,24,28,25,29,
26,27,30,31,32,33,36,38,34,20,
21,18,35,37,19,1,7,9,8,0,
121,72,0,6,5,129,40,0,9,8,
11,13,12,15,14,16,67,64,49,50,
51,54,52,53,48,47,66,55,56,57,
58,59,65,17,68,10,60,61,115,138,
4,142,79,63,5,40,45,0,40,79,
138,142,45,5,63,0,129,79,63,2,
0,63,4,45,79,40,6,5,0,2,
40,79,63,129,0,123,127,0,3,4,
70,69,62,71,73,74,75,76,77,78,
81,82,41,22,23,24,28,25,29,26,
27,30,31,32,33,36,38,34,20,21,
18,35,37,19,7,2,1,0,1,2,
5,4,45,40,79,63,0,45,5,131,
140,132,133,139,141,143,7,135,121,62,
80,69,144,72,118,137,128,125,122,119,
0,46,5,81,82,85,117,83,84,7,
4,70,69,71,73,74,75,76,77,78,
62,118,124,18,0,2,7,81,82,4,
70,69,71,73,74,75,76,77,78,62,
85,83,84,0,2,7,35,37,19,21,
18,20,38,34,22,23,24,28,25,29,
26,27,30,31,32,33,36,41,99,1,
0,87,88,46,0,130,89,116,5,4,
70,69,71,73,74,75,76,77,78,62,
85,117,83,84,0,130,4,89,0,118,
35,2,37,19,1,21,18,20,7,38,
34,22,23,24,28,25,29,26,27,30,
31,32,33,36,45,0
};
};
public final static char asr[] = Asr.asr;
public final int asr(int index) { return asr[index]; }
public interface Nasb {
public final static char nasb[] = {0,
293,124,47,123,297,124,117,268,49,66,
89,133,124,124,124,49,57,23,23,73,
34,34,124,124,124,124,124,124,124,43,
78,124,45,34,124,297,123,123,123,123,
123,123,134,299,124,124,36,124,124,124,
124,124,22,129,263,119,119,119,119,27,
27,27,27,27,27,27,27,124,124,124,
124,124,124,124,23,34,124,32,124,124,
124,124,124,124,124,124,124,124,124,124,
124,124,124,124,124,124,124,124,124,124,
116,124,124,123,23,23,23,123,34,80,
23,199,123,123,124,123,49,61,61,61,
179,124,123,23,123,23,124,124,82,124,
32,143,124,34,263,23,116,27,27,27,
27,27,27,27,171,124,124,23,116,116,
116,268,27,27,27,27,116,27,27,27,
27,27,27,27,27,27,27,115,115,115,
115,115,115,115,23,115,115,23,211,23,
124,32,23,124,124,73,34,124,124,124,
73,124,123,124,124,124,23,23,73,34,
123,134,76,258,76,76,129,71,124,124,
124,23,84,141,254,171,147,116,116,123,
124,32,124,124,124,124,124,124,124,32,
190,124,32,32,32,124,124,124,124,32,
124,124,124,124,124,124,124,124,124,124,
124,34,124,32,124,124,124,124,124,124,
124,124,124,116,124,116,124,123,124,124,
124,34,23,124,124,124,124,124,34,129,
51,124,190,190,129,129,171,124,87,124,
124,141,124,116,32,32,34,36,129,36,
23,32,32,116,73,34,211,23,211,124,
124,23,211,23,124,187,124,123,189,185,
252,124,116,93,23,254,123,124,23,32,
23,147,23,34,32,124,124,124,23,195,
124,23,131,116,54,254,187,117,203,124,
116,129,32,124,270,124,124,124,124,124,
124,124,124,124,124,124,124,124,124,124,
124,124,124,124,124,124,276,124,149,87,
254,124,124,34,211,23,124,273,124,124,
32,131,281,116,32,124,23,34,213,124,
124,213,124,124,183,124,124,124,124,87,
23,23,59,59,213,124,23,137,124,141,
245,93,116,23,124,124,195,124,65,63,
284,195,116,124,63,287,32,116,124,124,
21,23,23,213,213,213,80,1,23,23,
256,243,124,124,124,124,124,23,124,124,
124,141,254,192,124,141,124,23,32,124,
23,260,179,123,38,124,124,245,32,32,
23,124,124,64,124,124,124,124,124,124,
276,124,124,124,41,124,201,124,124,23,
68,84,124,124,141,124,245,124,23,124,
124,143,250,179,74,179,124,179,207,124,
124,124,213,23,123,141,143,213,213,213,
23,23,96,137,141,245,213,213,87,171,
23,181,124,141,143,254,23,124,124,245,
247,129,171,250,124,211,171,250,250,23,
124,124,124,141,124,124,141,254,124,141,
124,124,124,124,290,124,141,124,124,254,
23,124,87,23,143,129,129,171,124,124,
129,129,183,143,124,213,96,124,141,124,
245,124,213,87,124,126,124,23,92,125,
143,124,23,124,124,23,124,87,247,124,
147,147,124,171,210,147,147,213,143,124,
124,254,124,124,245,124,197,124,149,143,
23,93,171,145,145,129,124,147,116,124,
145,145,213,124,254,124,23,124,143,116,
143,147,129,145,129,128,129,171,143,143,
124,124,129,247,124,32,247,145,147,143,
147,147,147,124,247,205,147,116,143,145,
247,145,145,145,129,301,310,145,32,247,
143,143,247,143,147,34,34,34,93,143,
247,247,247,145,124,123,124,124,247,143,
23,34,34,23,247,124,124,124,124,124,
23,23,124,124,124,124,124
};
};
public final static char nasb[] = Nasb.nasb;
public final int nasb(int index) { return nasb[index]; }
public interface Nasr {
public final static char nasr[] = {0,
68,37,38,21,22,11,14,42,39,23,
44,46,49,54,56,58,60,62,64,66,
174,80,29,28,18,70,1,8,9,10,
17,4,0,91,0,154,0,1,148,0,
228,0,3,0,85,0,137,80,121,0,
4,187,0,4,155,0,185,0,170,0,
142,0,148,117,1,109,0,1,153,0,
158,0,101,116,0,143,0,89,85,146,
0,109,117,1,122,0,110,0,80,106,
0,120,119,111,80,14,11,21,22,39,
23,42,44,46,49,54,56,58,60,62,
64,66,37,38,4,18,28,29,8,9,
10,17,1,0,165,149,0,4,90,0,
118,0,105,137,80,0,1,180,182,0,
97,0,79,0,100,0,96,0,111,37,
38,21,22,11,14,42,39,23,4,44,
46,49,54,56,58,60,62,64,66,114,
80,29,28,1,8,9,10,17,18,0,
217,0,173,0,195,0,159,0,175,112,
0,1,152,0,144,0,120,0,191,0,
171,0,189,0,196,0,1,139,0,90,
101,0,4,1,8,9,10,14,11,17,
21,22,39,23,42,44,46,49,54,56,
58,60,62,64,66,18,28,29,37,38,
86,0,226,0,78,0,4,99,0,70,
0,236,0,77,0,216,0,193,0,18,
90,0,1,8,9,10,17,2,0,1,
198,0,233,80,0,1,181,109,117,0,
238,80,0,80,179,0,80,138,0,220,
149,0,151,4,121,0,4,151,105,0,
1,8,9,10,17,183,156,157,0,1,
8,9,10,17,235,0
};
};
public final static char nasr[] = Nasr.nasr;
public final int nasr(int index) { return nasr[index]; }
public interface TerminalIndex {
public final static char terminalIndex[] = {0,
12,24,13,23,21,16,147,3,33,5,
14,7,18,2,9,26,32,122,134,118,
132,71,72,73,74,75,76,77,78,79,
80,81,82,102,109,119,129,138,17,44,
143,1,34,25,28,31,45,36,37,39,
41,43,46,47,49,50,56,57,58,59,
60,95,20,29,54,6,10,55,90,83,
103,105,117,124,126,127,130,137,52,87,
141,142,94,131,140,152,92,98,112,114,
53,108,116,4,8,11,15,19,22,27,
30,35,38,40,42,61,62,63,64,65,
66,67,68,69,84,146,115,125,145,51,
86,89,93,97,99,101,104,106,113,123,
85,91,96,100,110,111,120,121,128,133,
135,136,139,144,48,88,107,148,149,150,
151,153
};
};
public final static char terminalIndex[] = TerminalIndex.terminalIndex;
public final int terminalIndex(int index) { return terminalIndex[index]; }
public interface NonterminalIndex {
public final static char nonterminalIndex[] = {0,
169,168,154,185,157,158,160,161,162,163,
164,165,166,182,0,0,269,0,0,156,
209,210,212,237,270,272,186,187,188,192,
0,170,0,0,0,0,207,208,211,271,
273,213,274,214,275,215,276,0,216,277,
0,0,0,217,278,218,279,219,280,220,
281,221,282,222,283,223,284,206,287,175,
0,0,0,285,286,196,174,260,0,0,
205,0,265,0,191,201,0,0,190,0,
0,0,0,0,0,0,262,0,176,0,
178,0,177,0,245,247,0,0,167,203,
232,238,259,268,0,179,199,197,228,229,
243,253,0,171,0,0,0,0,0,0,
0,0,0,0,0,0,246,251,254,261,
0,0,0,0,0,189,0,200,227,241,
244,256,258,288,173,180,183,194,0,0,
0,0,0,0,226,0,0,0,231,0,
235,0,0,236,239,240,0,0,250,252,
255,257,264,0,155,159,172,0,181,184,
0,0,193,195,0,198,0,202,0,0,
0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,204,224,0,0,225,
230,0,0,0,0,233,0,234,242,0,
248,0,249,263,0,266,0,267,0,0,
0,0,0,0,0,0,0
};
};
public final static char nonterminalIndex[] = NonterminalIndex.nonterminalIndex;
public final int nonterminalIndex(int index) { return nonterminalIndex[index]; }
public interface ScopePrefix {
public final static char scopePrefix[] = {
1090,897,830,1021,1056,865,990,78,795,1167,
42,531,950,970,1141,1105,121,571,89,1178,
911,346,553,693,1215,408,647,669,54,1069,
137,149,781,614,711,731,130,98,1191,1002,
244,191,208,327,438,494,683,356,1223,416,
658,677,66,806,806,806,806,920,806,105,
113,161,303,480,767,1237,200,214,250,289,
312,634,751,759,144,156,718,738,233,391,
469,523,602,1250,1254,1258,26,282,308,320,
342,376,380,387,456,473,503,1,17,333,
503,689,366,624,427,169,172,222,227,230,
241,263,276,279,384,397,402,405,460,485,
512,517,599,606,1164,1244,1247,1262,1265,1262,
1262,1268,1271,205,219,219,110,118,166,485,
241,639,756,764,447,38,177,187,237,177,
177,237,465,492,237,33,33,21,33,177,
177,177,177,177,33,33,9,237,177,237,
774,9,237,774,177,177,9,9,177,177,
177,774,774,774,774,177,774,774,774,774,
774,774,774
};
};
public final static char scopePrefix[] = ScopePrefix.scopePrefix;
public final int scopePrefix(int index) { return scopePrefix[index]; }
public interface ScopeSuffix {
public final static char scopeSuffix[] = {
772,772,772,772,772,772,772,52,772,189,
52,541,772,772,772,812,52,561,62,1187,
812,354,561,701,189,324,655,655,62,812,
52,52,772,621,444,444,62,72,1198,812,
225,197,197,324,444,500,655,362,1187,422,
664,664,72,812,877,843,1034,926,1115,52,
52,52,225,189,772,1242,197,197,255,294,
317,444,444,444,62,62,642,642,225,395,
225,189,225,52,52,52,30,286,255,324,
324,324,324,286,324,477,324,5,5,337,
507,664,370,628,431,52,175,225,225,52,
239,189,225,175,354,400,189,189,463,189,
189,189,52,609,52,1242,1242,1242,1242,1242,
1242,1242,1242,197,197,197,62,62,62,488,
258,642,642,642,450,40,182,189,239,269,
274,239,467,189,515,595,597,23,35,179,
184,266,271,520,589,592,611,1161,527,258,
776,11,297,788,563,703,723,743,1229,580,
543,960,980,1151,819,1204,885,1009,852,1043,
1077,936,1126
};
};
public final static char scopeSuffix[] = ScopeSuffix.scopeSuffix;
public final int scopeSuffix(int index) { return scopeSuffix[index]; }
public interface ScopeLhs {
public final static char scopeLhs[] = {
126,129,131,126,126,131,127,11,132,93,
11,160,128,127,125,126,11,94,11,93,
129,164,95,104,93,166,14,14,11,126,
11,11,133,33,156,156,11,11,93,127,
99,152,153,167,161,209,14,164,93,166,
14,14,11,132,131,131,126,129,126,11,
11,11,176,200,133,10,152,153,99,72,
71,157,156,156,11,11,156,156,183,206,
217,134,85,11,11,11,74,73,176,167,
164,213,211,171,162,201,208,68,68,167,
209,14,164,33,166,12,12,110,189,146,
99,99,118,89,210,206,205,204,120,200,
215,134,70,28,141,9,8,5,186,6,
20,185,3,152,153,139,11,11,11,200,
99,157,156,156,161,41,111,115,99,103,
174,176,165,88,87,52,51,68,57,111,
111,103,174,134,53,53,27,155,134,176,
133,68,72,133,95,104,156,156,93,94,
160,128,127,125,132,93,131,127,131,126,
126,129,126
};
};
public final static char scopeLhs[] = ScopeLhs.scopeLhs;
public final int scopeLhs(int index) { return scopeLhs[index]; }
public interface ScopeLa {
public final static char scopeLa[] = {
40,40,40,40,40,40,40,3,40,5,
3,40,40,40,40,3,3,45,1,40,
3,4,45,45,5,3,3,3,1,3,
3,3,40,120,3,3,1,44,3,3,
46,40,40,3,3,134,3,3,40,5,
1,1,44,3,3,3,3,40,3,3,
3,3,46,5,40,86,40,40,7,3,
120,3,3,3,1,1,1,1,46,127,
46,5,46,3,3,3,63,3,7,3,
3,3,3,3,3,3,3,3,3,129,
3,1,129,3,5,3,44,46,46,3,
45,5,46,44,4,123,5,5,63,5,
5,5,3,1,3,86,86,86,86,86,
86,86,86,40,40,40,1,1,1,63,
45,1,1,1,119,43,7,5,45,7,
7,45,4,5,45,93,92,40,47,81,
81,81,81,7,91,79,39,7,81,45,
7,1,80,7,84,117,39,39,85,83,
124,18,18,124,18,85,18,18,18,18,
18,18,18
};
};
public final static char scopeLa[] = ScopeLa.scopeLa;
public final int scopeLa(int index) { return scopeLa[index]; }
public interface ScopeStateSet {
public final static char scopeStateSet[] = {
540,540,540,540,540,540,540,357,540,528,
357,542,540,540,540,540,357,528,357,528,
540,45,528,535,528,45,357,357,357,540,
357,357,540,221,1,1,357,357,528,540,
13,41,37,45,45,75,357,45,528,45,
357,357,357,540,540,540,540,540,540,357,
357,357,350,75,540,357,41,37,13,287,
287,48,1,1,357,357,1,1,4,75,
27,540,100,357,357,357,287,287,350,45,
45,75,75,29,45,75,75,438,438,45,
75,357,45,221,45,357,357,68,51,96,
13,13,53,124,75,75,75,75,7,75,
75,540,147,219,80,357,357,357,353,357,
393,217,355,41,37,32,357,357,357,75,
13,48,1,1,45,399,59,520,13,84,
214,350,10,504,504,428,428,438,432,59,
59,84,214,540,428,428,219,77,540,350,
540,438,287,540,528,535,1,1,528,528,
542,540,540,540,540,528,540,540,540,540,
540,540,540
};
};
public final static char scopeStateSet[] = ScopeStateSet.scopeStateSet;
public final int scopeStateSet(int index) { return scopeStateSet[index]; }
public interface ScopeRhs {
public final static char scopeRhs[] = {0,
236,1,164,0,3,306,227,0,164,0,
1,236,3,306,227,0,236,1,172,0,
221,0,306,227,0,228,99,219,0,63,
226,0,184,0,47,184,0,156,0,192,
0,236,1,243,44,184,2,18,39,165,
0,3,0,243,44,184,2,18,39,165,
0,1,236,3,0,184,2,18,39,165,
0,44,243,1,236,3,0,236,1,243,
44,184,2,115,18,39,165,0,243,44,
184,2,115,18,39,165,0,184,2,115,
18,39,165,0,236,1,243,169,0,243,
169,0,236,1,243,164,0,243,164,0,
236,1,243,153,39,21,39,165,0,243,
153,39,21,39,165,0,236,1,243,153,
39,21,0,243,153,39,21,0,236,1,
243,153,39,164,0,243,153,39,164,0,
236,1,243,158,0,243,158,0,228,1,
0,236,2,0,44,0,232,0,269,332,
0,333,0,269,334,0,263,0,5,0,
230,44,249,2,153,0,40,265,0,230,
44,249,2,0,230,153,0,231,44,249,
2,153,0,231,44,249,2,0,231,153,
0,287,45,0,46,0,389,45,0,235,
1,0,287,387,45,0,200,0,262,0,
200,40,0,302,287,45,200,40,0,287,
45,200,40,0,302,46,0,45,287,302,
46,0,302,40,0,269,274,0,274,0,
269,292,0,292,0,384,45,0,381,2,
0,228,1,72,0,3,262,0,228,1,
80,200,0,3,328,0,80,1,228,3,
328,0,302,287,45,200,0,287,45,200,
0,248,231,242,222,0,120,328,0,228,
1,128,0,3,238,0,228,129,326,1,
128,0,326,1,128,0,129,228,3,238,
0,228,1,122,0,325,3,228,129,326,
1,122,0,238,0,228,129,326,1,122,
0,3,325,238,0,326,1,122,0,129,
228,3,325,238,0,228,1,144,0,228,
1,80,0,325,121,0,255,1,123,0,
379,262,143,0,380,0,262,143,0,378,
0,228,141,0,320,139,0,375,5,320,
5,374,1,128,0,320,5,374,1,128,
0,5,375,3,238,0,374,1,128,0,
5,320,5,375,3,238,0,228,1,119,
238,125,0,3,5,0,238,125,0,119,
1,228,3,5,0,228,1,119,0,373,
87,0,63,0,301,0,271,0,371,370,
45,0,228,1,140,0,3,369,0,228,
63,228,131,0,228,131,0,63,228,5,
0,233,0,238,3,228,1,135,0,134,
238,0,228,1,135,0,3,238,134,238,
0,228,137,0,350,0,300,232,0,300,
5,0,300,269,232,0,269,300,5,0,
231,252,248,242,222,170,19,124,232,0,
348,0,124,19,170,222,242,248,252,231,
348,0,311,242,295,294,153,84,232,0,
270,0,84,153,294,295,242,311,270,0,
311,347,242,295,294,153,83,232,0,83,
153,294,295,242,347,311,270,0,91,184,
0,79,184,0,93,0,92,0,297,1,
0,344,343,45,0,241,179,0,298,0,
39,153,0,248,242,3,297,1,170,0,
120,184,0,297,1,170,0,3,242,248,
120,184,0,236,1,243,118,0,243,118,
0,1,236,3,5,0,236,1,243,153,
20,39,157,0,3,296,0,243,153,20,
39,157,0,1,236,3,296,0,236,1,
243,153,20,39,164,0,243,153,20,39,
164,0,236,1,243,155,20,0,243,155,
20,0,340,242,295,294,153,117,232,0,
341,0,117,153,294,295,242,340,341,0,
236,1,243,21,39,164,0,243,21,39,
164,0,39,21,243,1,236,3,5,0,
236,1,243,19,39,164,0,243,19,39,
164,0,39,19,243,1,236,3,5,0,
236,1,243,21,0,243,21,0,236,1,
243,19,0,243,19,0,231,242,153,275,
0,251,0,275,0,153,242,231,251,0,
231,242,222,170,153,275,0,153,170,222,
242,231,251,0,231,252,248,242,3,255,
1,170,18,275,0,255,1,170,18,275,
0,3,242,248,252,231,251,0,18,170,
1,255,3,242,248,252,231,251,0,231,
252,248,242,99,115,3,255,1,170,18,
275,0,3,115,99,242,248,252,231,251,
0,18,170,1,255,3,115,99,242,248,
252,231,251,0,252,248,242,184,115,3,
255,1,170,18,275,0,3,115,184,242,
248,252,251,0,18,170,1,255,3,115,
184,242,248,252,251,0,231,252,248,242,
3,255,1,40,222,170,19,18,275,0,
255,1,40,222,170,19,18,275,0,222,
170,19,18,275,0,40,1,255,3,242,
248,252,231,251,0,18,19,170,222,40,
1,255,3,242,248,252,231,251,0,231,
252,248,242,222,170,19,18,275,0,18,
19,170,222,242,248,252,231,251,0,231,
252,248,242,19,268,170,18,275,0,18,
170,268,19,242,248,252,231,251,0,231,
252,248,242,3,255,1,268,170,18,275,
0,255,1,268,170,18,275,0,18,170,
268,1,255,3,242,248,252,231,251,0,
231,252,248,242,19,253,3,255,1,170,
18,275,0,3,253,19,242,248,252,231,
251,0,18,170,1,255,3,253,19,242,
248,252,231,251,0,231,252,248,242,3,
255,1,253,19,170,18,275,0,255,1,
253,19,170,18,275,0,18,170,19,253,
1,255,3,242,248,252,231,251,0,231,
252,248,242,3,255,1,253,3,255,1,
170,18,275,0,255,1,253,3,255,1,
170,18,275,0,3,253,1,255,3,242,
248,252,231,251,0,18,170,1,255,3,
253,1,255,3,242,248,252,231,251,0,
231,252,248,242,222,170,153,124,275,0,
124,153,170,222,242,248,252,231,251,0,
153,229,0,339,1,0,184,40,242,3,
276,1,170,153,85,232,0,242,3,276,
1,170,153,85,232,0,40,184,5,0,
276,1,170,153,85,232,0,3,242,40,
184,5,0,85,153,170,1,276,3,242,
40,184,5,0,184,40,242,170,153,85,
232,0,242,170,153,85,232,0,85,153,
170,242,40,184,5,0,39,21,39,165,
0,86,0,39,21,0,39,164,0,236,
1,162,0,236,1,161,0,236,1,160,
0,39,157,0,39,338,0,39,337,0,
39,155,0
};
};
public final static char scopeRhs[] = ScopeRhs.scopeRhs;
public final int scopeRhs(int index) { return scopeRhs[index]; }
public interface ScopeState {
public final static char scopeState[] = {0,
12301,12269,0,12269,4804,0,2908,1143,10163,1222,
12210,0,10250,10065,9974,9971,9922,9921,9779,9778,
9729,9638,9635,9586,9585,0,1633,0,2942,8951,
0,4980,848,1111,968,0,12217,976,1348,0,
11669,1905,11982,0,10167,11632,0,12269,11632,0,
4788,0,1912,1911,2907,1252,1909,0,1400,1264,
1652,1143,646,1007,1536,871,0,5606,5604,5600,
5011,5010,2917,1005,11632,0,944,941,0,1356,
1241,994,0,11103,11062,11025,10984,10947,10345,10906,
10386,10869,10308,1768,0,1385,1214,995,0,8051,
7962,7873,1249,7784,7695,7606,5607,5725,5722,5721,
5611,5608,10390,3621,3620,1638,1637,1523,1522,1386,
857,995,0,8678,8585,8500,8322,8144,7964,7786,
7608,5727,5613,5118,5004,3709,2062,2061,1903,1646,
1635,1394,995,1388,725,0,4058,3973,3888,3803,
5843,5729,5615,5470,5393,5242,5128,5014,10384,10297,
10212,4900,7303,4823,7226,7149,9603,4709,7072,3718,
3624,4558,6995,6918,6841,6764,6687,3458,6610,4481,
6533,6456,3373,3288,3203,7456,7380,4304,4227,3118,
6379,3033,9039,2948,6302,2830,2753,2668,2583,6225,
6148,2498,2413,6071,4404,4143,2328,2243,2158,1914,
1768,2073,5994,646,3543,0,949,0,12115,5205,
1400,12033,11103,11218,8867,11996,11062,1264,1652,8778,
11025,1143,8689,8956,8600,10984,10947,10345,10906,8511,
8422,9182,8333,8244,8155,8066,7977,7888,7799,11959,
11922,11885,1007,7710,7621,7532,11848,1536,11722,11181,
871,11685,11648,11611,10386,11574,11537,11500,11463,10869,
5920,5319,9327,9265,9499,9443,9387,758,4650,11426,
11386,11343,10428,10308,1846,11140,4058,3973,3888,3803,
5843,5729,5615,5470,5393,5242,5128,5014,4900,7303,
4823,7226,7149,4709,7072,3718,3624,4558,6995,6918,
6841,646,6764,6687,3543,3458,6610,4481,6533,6456,
3373,3288,3203,7456,7380,3118,6379,3033,9039,2948,
6302,2830,2753,2668,2583,6225,6148,2498,2413,6071,
4404,4143,2328,2243,2158,1914,1768,2073,5994,4304,
4227,0,1335,0,851,1335,12301,12269,12033,11103,
11218,11996,11062,11025,10984,10947,10345,10906,11959,11922,
11885,11848,11722,12115,11181,11685,11648,11611,10386,11574,
11537,11500,11463,10869,11426,11386,11343,10428,10308,1846,
11140,5205,11296,5091,4786,2915,729,11255,10038,9990,
9942,9894,9846,9798,9750,9702,9654,9606,9555,9126,
5547,1999,10264,10220,10176,10132,10086,821,10827,10785,
10743,10701,10659,10617,10575,10533,10491,9499,9443,9387,
758,9039,5920,5319,9327,9265,4650,4058,3973,3888,
3803,5843,5729,5615,5470,5393,8956,5242,5128,5014,
4900,7303,9182,4823,7226,7149,4709,7072,3718,3624,
4558,6995,6918,6841,646,6764,6687,3543,3458,6610,
4481,6533,6456,3373,3288,3203,7456,7380,4304,4227,
3118,6379,3033,2948,6302,2830,2753,2668,2583,6225,
6148,2498,2413,6071,4404,4143,2328,2243,2158,1914,
1768,2073,5994,8867,8778,8689,8600,8511,8422,8333,
8244,8155,8066,7977,7888,7799,7710,7621,7532,1400,
1264,1652,1143,1007,1536,871,0,1400,1264,1652,
1143,1007,1536,871,12240,11668,1260,1139,867,12133,
12055,12071,11979,0
};
};
public final static char scopeState[] = ScopeState.scopeState;
public final int scopeState(int index) { return scopeState[index]; }
public interface InSymb {
public final static char inSymb[] = {0,
0,336,382,89,273,200,4,156,303,232,
289,273,155,153,338,303,130,1,2,18,
169,158,165,21,162,161,160,153,157,20,
179,181,180,164,155,273,84,83,117,85,
39,39,329,273,337,228,221,157,153,159,
72,200,1,222,156,43,42,8,9,12,
13,11,15,14,16,10,17,172,177,176,
195,199,197,170,2,164,181,184,207,202,
211,209,215,213,219,217,236,235,1,12,
13,11,15,14,16,17,10,8,9,243,
2,243,39,39,1,1,1,39,155,241,
1,45,39,39,243,39,303,153,153,153,
153,11,39,306,39,1,80,297,232,276,
184,242,155,164,156,1,115,55,8,9,
65,12,13,11,1,310,153,1,47,91,
79,156,54,52,53,48,90,61,60,10,
59,58,57,56,51,50,49,15,68,17,
66,47,14,16,99,64,67,6,3,1,
381,184,1,18,21,18,153,236,236,236,
18,153,20,86,243,235,343,1,18,153,
20,329,294,2,294,294,170,2,153,86,
228,1,269,2,153,6,231,63,79,39,
236,184,197,197,195,195,195,195,297,184,
6,236,184,184,184,202,202,202,202,184,
199,199,199,199,199,199,199,199,199,199,
209,164,207,184,207,207,207,213,211,228,
217,215,236,6,236,2,115,39,1,243,
1,153,1,344,346,236,1,243,153,295,
1,345,8,9,295,295,1,242,3,228,
249,2,248,138,184,184,153,3,3,3,
63,184,184,2,18,153,3,1,3,243,
236,6,3,1,243,242,339,200,6,242,
242,276,40,45,3,44,6,249,120,184,
306,242,306,44,184,1,243,236,1,3,
236,1,311,136,6,153,347,126,340,388,
126,3,184,287,200,233,218,219,216,214,
212,210,208,206,201,198,196,175,191,194,
166,163,174,173,190,189,232,263,271,200,
44,248,243,44,3,1,236,45,236,383,
184,311,45,6,184,242,137,118,72,122,
144,69,80,62,121,128,119,135,153,143,
141,139,133,132,125,140,131,269,333,2,
153,45,120,1,243,236,3,384,275,232,
385,3,6,389,232,390,184,40,228,243,
1,1,1,72,121,325,62,1,1,1,
63,262,228,320,322,322,238,1,228,334,
332,2,153,6,249,2,230,287,184,236,
1,153,18,124,269,124,300,153,184,184,
1,228,326,232,228,228,228,326,374,321,
232,220,228,228,379,123,378,119,228,63,
6,6,249,231,2,229,44,249,40,302,
236,242,170,19,170,153,300,19,6,231,
230,236,3,129,269,2,153,3,3,3,
129,5,6,269,2,153,3,3,127,1,
1,3,228,2,153,44,40,249,230,44,
231,222,1,170,268,19,1,170,170,40,
3,228,249,2,228,320,2,153,249,2,
230,238,255,228,45,249,2,231,229,44,
40,230,200,40,242,222,19,1,253,255,
222,222,3,44,249,3,5,249,2,231,
44,249,134,3,3,370,88,87,301,372,
44,249,40,231,229,40,302,200,231,40,
242,242,255,1,3,242,242,325,44,375,
321,44,249,230,44,371,301,373,271,44,
40,45,1,248,248,3,255,242,115,253,
248,248,3,231,44,230,287,255,252,142,
252,242,3,248,99,184,19,1,252,252,
231,302,3,231,386,184,231,248,242,252,
242,242,242,255,231,231,242,6,252,248,
231,248,248,248,3,40,45,248,184,231,
252,252,252,252,242,21,164,19,387,252,
231,231,231,248,243,39,243,287,231,252,
1,21,19,1,231,236,243,243,236,3,
1,1,3,236,236,3,3
};
};
public final static char inSymb[] = InSymb.inSymb;
public final int inSymb(int index) { return inSymb[index]; }
public interface Name {
public final static String name[] = {
"",
"--",
"|",
"-",
"-=",
"!",
"!=",
"%",
"%=",
"&",
"&&",
"&=",
"(",
")",
"*",
"*=",
",",
".",
"/",
"/=",
":",
";",
"?",
"@",
"[",
"]",
"^",
"^=",
"{",
"||",
"|=",
"}",
"~",
"+",
"++",
"+=",
"<",
"<<",
"<<=",
">>",
">>=",
">>>",
">>>=",
"<=",
"=",
"==",
">",
">=",
"...",
"..",
"->",
"=>",
"<:",
":>",
"**",
"!~",
"<-",
"-<",
">-",
"<>",
"><",
"..=",
"->=",
"**=",
"~=",
"<-=",
"-<=",
">-=",
"<>=",
"><=",
"$empty",
"IntegerLiteral",
"LongLiteral",
"ByteLiteral",
"ShortLiteral",
"UnsignedIntegerLiteral",
"UnsignedLongLiteral",
"UnsignedByteLiteral",
"UnsignedShortLiteral",
"FloatingPointLiteral",
"DoubleLiteral",
"CharacterLiteral",
"StringLiteral",
"abstract",
"as",
"assert",
"async",
"at",
"athome",
"ateach",
"atomic",
"break",
"case",
"catch",
"class",
"clocked",
"continue",
"def",
"default",
"do",
"else",
"extends",
"false",
"final",
"finally",
"finish",
"for",
"goto",
"haszero",
"here",
"if",
"implements",
"import",
"in",
"instanceof",
"interface",
"isref",
"native",
"new",
"null",
"offer",
"offers",
"operator",
"package",
"private",
"property",
"protected",
"public",
"return",
"self",
"static",
"struct",
"super",
"switch",
"this",
"throw",
"throws",
"transient",
"true",
"try",
"type",
"val",
"var",
"void",
"when",
"while",
"EOF_TOKEN",
"IDENTIFIER",
"SlComment",
"MlComment",
"DocComment",
"PseudoDoubleLiteral",
"ErrorId",
"ERROR_TOKEN",
"TypeName",
"PackageName",
"ExpressionName",
"FullyQualifiedName",
"MethodName",
"PackageOrTypeName",
"FieldAccess",
"ErrorPrimaryPrefix",
"ErrorSuperPrefix",
"ErrorClassNameSuperPrefix",
"MethodInvocation",
"Primary",
"ClassName",
"Modifier",
"Annotation",
"Identifier",
"Type",
"FormalParameterList",
"PropertyList",
"Property",
"ResultType",
"FormalParameters",
"MethodBody",
"FormalParameter",
"BinOp",
"PrefixOp",
"ExplicitConstructorInvocation",
"InterfaceBody",
"ClassInstanceCreationExpressio" +
"n",
"AssignPropertyCall",
"ClassType",
"Annotations",
"SimpleNamedType",
"ParameterizedNamedType",
"DepNamedType",
"Arguments",
"TypeArguments",
"DepParameters",
"NamedTypeNoConstraints",
"TypeParamWithVarianceList",
"TypeParameterList",
"ConstraintConjunction",
"Expression",
"ClassBody",
"ConstructorBody",
"VarKeyword",
"FieldDeclarators",
"Statement",
"NonExpressionStatement",
"Block",
"LoopStatement",
"StatementExpression",
"Assignment",
"PreIncrementExpression",
"PreDecrementExpression",
"PostIncrementExpression",
"PostDecrementExpression",
"OverloadableUnaryExpressionPlu" +
"sMinus",
"OverloadableUnaryExpression",
"OverloadableRangeExpression",
"OverloadableMultiplicativeExpr" +
"ession",
"OverloadableAdditiveExpression",
"OverloadableShiftExpression",
"OverloadableRelationalExpressi" +
"on",
"OverloadableEqualityExpression",
"OverloadableAndExpression",
"OverloadableExclusiveOrExpress" +
"ion",
"OverloadableInclusiveOrExpress" +
"ion",
"OverloadableConditionalAndExpr" +
"ession",
"OverloadableConditionalOrExpre" +
"ssion",
"SwitchBlock",
"SwitchBlockStatementGroups",
"SwitchBlockStatementGroup",
"SwitchLabels",
"BlockStatements",
"SwitchLabel",
"ConstantExpression",
"StatementExpressionList",
"LocalVariableDeclaration",
"Catches",
"Finally",
"CatchClause",
"LoopIndex",
"CastExpression",
"TypeParameter",
"OBSOLETE_TypeParamWithVariance",
"ClosureBody",
"LastExpression",
"TypeArgumentList",
"ImportDeclarations",
"PackageDeclaration",
"ImportDeclaration",
"TypeDeclarations",
"TypeDeclaration",
"InterfaceTypeList",
"ClassMemberDeclarations",
"ClassMemberDeclaration",
"InterfaceMemberDeclaration",
"FormalDeclarators",
"FormalDeclarator",
"FieldDeclarator",
"VariableDeclaratorsWithType",
"VariableDeclaratorWithType",
"VariableDeclarators",
"VariableDeclarator",
"VariableInitializer",
"HasResultType",
"LoopIndexDeclarator",
"IdentifierList",
"ThrowsList",
"ConstructorBlock",
"ArgumentList",
"ExtendsInterfaces",
"InterfaceMemberDeclarations",
"BlockInteriorStatement",
"OperatorPrefix",
"PostfixExpression",
"UnannotatedUnaryExpression",
"UnaryExpressionNotPlusMinus",
"UnaryExpression",
"RangeExpression",
"MultiplicativeExpression",
"AdditiveExpression",
"ShiftExpression",
"RelationalExpression",
"EqualityExpression",
"AndExpression",
"ExclusiveOrExpression",
"InclusiveOrExpression",
"ConditionalAndExpression",
"ConditionalOrExpression",
"ConditionalExpression",
"AssignmentExpression",
"LeftHandSide",
"AssignmentOperator"
};
};
public final static String name[] = Name.name;
public final String name(int index) { return name[index]; }
public final int originalState(int state) {
return -baseCheck[state];
}
public final int asi(int state) {
return asb[originalState(state)];
}
public final int nasi(int state) {
return nasb[originalState(state)];
}
public final int inSymbol(int state) {
return inSymb[originalState(state)];
}
/**
* assert(! goto_default);
*/
public final int ntAction(int state, int sym) {
return baseAction[state + sym];
}
/**
* assert(! shift_default);
*/
public final int tAction(int state, int sym) {
int i = baseAction[state],
k = i + sym;
return termAction[termCheck[k] == sym ? k : i];
}
public final int lookAhead(int la_state, int sym) {
int k = la_state + sym;
return termAction[termCheck[k] == sym ? k : la_state];
}
}