KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jruby > parser > YyTables


1 package org.jruby.parser;
2
3 public class YyTables {
4    private static short[] combine(short[] t1, short[] t2,
5                                   short[] t3, short[] t4) {
6       short[] t = new short[t1.length + t2.length + t3.length + t4.length];
7       int index = 0;
8       System.arraycopy(t1, 0, t, index, t1.length);
9       index += t1.length;
10       System.arraycopy(t2, 0, t, index, t2.length);
11       index += t2.length;
12       System.arraycopy(t3, 0, t, index, t3.length);
13       index += t3.length;
14       System.arraycopy(t4, 0, t, index, t4.length);
15       return t;
16    }
17
18    public static final short[] yyTable() {
19       return combine(yyTable1(), yyTable2(), yyTable3(), yyTable4());
20    }
21
22    public static final short[] yyCheck() {
23       return combine(yyCheck1(), yyCheck2(), yyCheck3(), yyCheck4());
24    }
25    private static final short[] yyTable1() {
26       return new short[] {
27
28           234, 234, 203, 248, 234, 391, 239, 239, 109, 109,
29           239, 189, 552, 229, 252, 249, 591, 519, 109, 419,
30           569, 580, 203, 303, 491, 253, 491, 281, 257, 259,
31           275, 190, 190, 617, 234, 234, 300, 283, 285, 241,
32           241, 276, 731, 241, 551, 342, 658, 244, 785, 216,
33           235, 235, 190, 229, 235, 109, 247, 601, 265, 291,
34           435, 651, 588, 492, 362, 216, 284, 491, 617, 491,
35           443, 300, 253, 215, 218, 491, 353, 606, 469, 190,
36           440, 660, 248, 444, 269, 393, 443, 394, 354, 386,
37           216, 356, 109, 216, 60, 353, 256, 579, 217, 394,
38           453, 40, 511, 516, 442, 522, 523, 458, 307, 95,
39           491, 238, 238, 455, 217, 238, 491, 444, 491, 301,
40           445, 362, 455, 783, 480, 786, 480, 221, 443, 648,
41           549, 491, 444, 247, 453, 216, 71, 355, 598, 217,
42           470, 382, 217, 310, 311, 532, 275, 511, 516, 453,
43           455, 386, 491, 61, 301, 260, 458, 307, 491, 491,
44           440, 654, 447, 549, 253, 536, 69, 491, 392, 362,
45           362, 343, 461, 456, 457, 458, 466, 491, 344, 491,
46           491, 785, 456, 457, 460, 355, 355, 683, 372, 221,
47            71, 575, 87, 549, 655, 373, 741, 262, 481, 491,
48           481, 491, 455, 486, 569, 291, 690, 61, 762, 440,
49           456, 457, 462, 6, 766, 549, 234, 234, 285, 295,
50           369, 486, 76, 6, 366, 190, 491, 260, 261, 234,
51           360, 234, 234, 715, 361, 239, 297, 239, 239, 427,
52            87, 87, 55, 79, 79, 110, 110, 387, 491, 79,
53           210, 210, 210, 439, 771, 225, 210, 210, 855, 440,
54           210, 402, 456, 457, 465, 8, 338, 210, 241, 471,
55           241, 241, 6, 278, 265, 8, 411, 357, 358, 235,
56           345, 235, 417, 64, 340, 397, 398, 346, 79, 210,
57           210, 341, 279, 347, 210, 363, 387, 481, 482, 483,
58           484, 485, 486, 487, 488, 489, 490, 491, 492, 493,
59           494, 495, 496, 497, 498, 499, 500, 501, 502, 503,
60           504, 505, 506, 491, 8, 533, 550, 234, 491, 279,
61           525, 351, 528, 376, 221, 352, 234, 539, 406, 377,
62           238, 455, 238, 421, 491, 627, 210, 652, 79, 617,
63           381, 491, 628, 109, 234, 617, 380, 491, 524, 265,
64           527, 597, 234, 275, 535, 538, 518, 491, 474, 475,
65           476, 477, 234, 525, 589, 539, 62, 269, 362, 234,
66           491, 40, 40, 802, 69, 720, 229, 234, 491, 736,
67           737, 234, 234, 518, 355, 234, 492, 364, 613, 620,
68           491, 456, 457, 740, 269, 623, 491, 81, 626, 629,
69           473, 518, 632, 440, 824, 478, 444, 636, 637, 638,
70           203, 569, 269, 840, 81, 61, 518, 234, 640, 641,
71           234, 216, 234, 453, 40, 63, 379, 269, 624, 234,
72           458, 609, 838, 531, 310, 311, 388, 531, 69, 87,
73           190, 362, 491, 491, 272, 389, 518, 84, 471, 367,
74           399, 491, 390, 210, 210, 69, 368, 854, 396, 310,
75           311, 617, 403, 531, 79, 6, 6, 6, 518, 543,
76           406, 6, 6, 428, 6, 210, 385, 210, 210, 269,
77           594, 89, 792, 386, 708, 579, 67, 79, 669, 617,
78           400, 64, 390, 407, 79, 664, 61, 401, 471, 860,
79           670, 234, 278, 600, 600, 471, 672, 674, 422, 278,
80           471, 278, 423, 424, 472, 82, 410, 8, 8, 8,
81           454, 669, 441, 8, 8, 430, 8, 312, 84, 89,
82            89, 471, 431, 686, 432, 79, 210, 210, 210, 210,
83            79, 210, 210, 491, 433, 834, 6, 380, 434, 687,
84           436, 700, 390, 390, 390, 64, 562, 563, 446, 203,
85           448, 449, 272, 82, 82, 450, 491, 6, 234, 190,
86           437, 65, 64, 210, 836, 451, 210, 540, 210, 79,
87           279, 81, 210, 210, 464, 549, 234, 468, 695, 190,
88           234, 697, 491, 534, 234, 312, 422, 682, 8, 426,
89           210, 79, 210, 579, 361, 361, 234, 380, 380, 380,
90           361, 583, 613, 394, 79, 491, 596, 744, 210, 8,
91           455, 608, 79, 463, 79, 618, 327, 630, 272, 631,
92           329, 330, 81, 210, 756, 242, 759, 761, 243, 635,
93           727, 639, 764, 765, 229, 210, 673, 675, 681, 109,
94           733, 661, 768, 234, 491, 491, 739, 210, 653, 79,
95           724, 293, 294, 234, 758, 760, 662, 667, 668, 778,
96           763, 691, 83, 83, 111, 111, 491, 671, 83, 678,
97           456, 457, 679, 272, 226, 210, 759, 761, 764, 684,
98           272, 685, 688, 692, 234, 109, 81, 694, 480, 87,
99           696, 234, 94, 94, 67, 698, 234, 234, 94, 94,
100            94, 94, 810, 81, 699, 94, 94, 83, 701, 94,
101           813, 280, 705, 714, 814, 491, 94, 711, 712, 92,
102            92, 112, 112, 112, 713, 92, 719, 716, 89, 717,
103           723, 230, 821, 232, 234, 811, 726, 94, 94, 94,
104           278, 732, 803, 94, 734, 805, 806, 278, 280, 452,
105           735, 794, 472, 767, 738, 88, 453, 742, 67, 743,
106           820, 821, 82, 234, 92, 210, 79, 83, 282, 844,
107            87, 745, 774, 234, 832, 67, 775, 234, 773, 65,
108           779, 833, 795, 74, 796, 79, 797, 491, 815, 807,
109           828, 272, 491, 829, 491, 94, 830, 94, 272, 234,
110            79, 816, 817, 88, 88, 282, 89, 809, 491, 491,
111           491, 234, 818, 234, 819, 491, 826, 867, 827, 831,
112           600, 841, 481, 83, 92, 422, 847, 849, 210, 842,
113           422, 234, 422, 234, 7, 846, 279, 848, 518, 851,
114           852, 234, 853, 65, 7, 234, 870, 872, 874, 269,
115           673, 675, 210, 413, 80, 415, 418, 272, 172, 876,
116            65, 864, 865, 491, 272, 871, 491, 869, 172, 480,
117            79, 83, 83, 482, 86, 86, 225, 79, 491, 79,
118            86, 79, 210, 210, 877, 484, 228, 89, 210, 482,
119           484, 253, 879, 7, 482, 881, 486, 75, 79, 883,
120           486, 279, 216, 492, 280, 491, 299, 115, 873, 160,
121            72, 188, 94, 94, 825, 79, 83, 172, 689, 86,
122           491, 350, 788, 83, 491, 491, 79, 780, 753, 210,
123           312, 302, 271, 274, 94, 782, 94, 94, 784, 861,
124           304, 79, 79, 79, 280, 278, 94, 0, 0, 0,
125           480, 480, 480, 94, 0, 264, 480, 480, 160, 480,
126             0, 327, 0, 0, 83, 329, 330, 331, 332, 83,
127             0, 0, 0, 92, 0, 84, 0, 0, 0, 86,
128            92, 0, 0, 560, 561, 562, 563, 0, 210, 0,
129             0, 0, 79, 79, 94, 94, 94, 94, 94, 94,
130            94, 94, 555, 0, 0, 556, 557, 558, 83, 280,
131             0, 0, 88, 79, 0, 264, 0, 0, 82, 0,
132             0, 92, 0, 84, 84, 0, 92, 0, 0, 0,
133            83, 480, 94, 0, 0, 94, 0, 94, 94, 0,
134           559, 94, 94, 83, 0, 0, 79, 560, 561, 562,
135           563, 83, 480, 83, 0, 210, 471, 79, 0, 94,
136            94, 94, 0, 0, 79, 92, 282, 0, 0, 422,
137            78, 0, 0, 94, 0, 279, 422, 94, 0, 0,
138            83, 94, 279, 94, 481, 481, 481, 92, 83, 88,
139           481, 481, 94, 481, 0, 0, 7, 7, 7, 82,
140            92, 0, 7, 7, 94, 7, 0, 0, 92, 0,
141            92, 0, 0, 91, 91, 0, 94, 472, 94, 91,
142           172, 172, 172, 0, 0, 312, 172, 172, 86, 172,
143           420, 0, 83, 79, 0, 86, 0, 0, 0, 0,
144           279, 325, 326, 280, 94, 92, 0, 279, 172, 172,
145           280, 172, 172, 172, 172, 0, 327, 0, 91, 0,
146           329, 330, 331, 332, 429, 481, 0, 0, 0, 0,
147            88, 264, 0, 0, 0, 0, 86, 7, 208, 208,
148           208, 86, 0, 280, 278, 0, 481, 0, 0, 0,
149           280, 278, 0, 0, 0, 250, 472, 79, 7, 0,
150             0, 172, 0, 160, 0, 83, 160, 160, 160, 0,
151             0, 0, 0, 83, 79, 0, 0, 267, 91, 0,
152            86, 0, 172, 0, 83, 271, 0, 0, 0, 417,
153             0, 0, 84, 0, 94, 94, 417, 0, 86, 83,
154             0, 160, 86, 0, 0, 471, 0, 0, 160, 160,
155           160, 160, 271, 0, 94, 86, 264, 0, 0, 0,
156           578, 581, 92, 86, 0, 86, 0, 0, 0, 94,
157           271, 0, 747, 748, 359, 749, 39, 40, 85, 0,
158             0, 92, 0, 0, 0, 271, 86, 86, 0, 0,
159             0, 582, 0, 0, 0, 471, 92, 94, 0, 590,
160            86, 592, 471, 0, 0, 86, 472, 471, 0, 83,
161           751, 0, 0, 0, 0, 226, 83, 0, 83, 472,
162            83, 94, 0, 0, 0, 0, 85, 85, 471, 305,
163           306, 307, 308, 309, 0, 0, 634, 271, 0, 94,
164             0, 0, 0, 0, 0, 0, 94, 0, 94, 0,
165            94, 94, 94, 76, 657, 657, 472, 94, 0, 475,
166             0, 789, 74, 472, 0, 83, 92, 91, 472, 0,
167            76, 0, 230, 92, 91, 92, 0, 92, 0, 74,
168            83, 83, 83, 0, 0, 0, 86, 78, 0, 472,
169           657, 208, 208, 0, 666, 94, 0, 0, 94, 0,
170           471, 0, 0, 0, 78, 666, 666, 0, 0, 422,
171            94, 94, 94, 0, 0, 91, 0, 86, 791, 0,
172            91, 0, 92, 0, 0, 262, 0, 0, 0, 666,
173             0, 83, 83, 0, 472, 262, 86, 92, 92, 92,
174             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
175             0, 86, 83, 0, 0, 0, 0, 94, 0, 91,
176           703, 94, 94, 707, 0, 581, 0, 0, 0, 261,
177             0, 0, 0, 581, 208, 208, 208, 208, 0, 479,
178           480, 91, 94, 262, 262, 83, 0, 704, 92, 92,
179             0, 404, 405, 0, 91, 86, 83, 80, 0, 0,
180             0, 0, 91, 83, 91, 0, 0, 0, 472, 92,
181             0, 0, 0, 0, 80, 94, 0, 0, 0, 0,
182             0, 86, 0, 0, 94, 0, 94, 228, 86, 0,
183            86, 0, 86, 94, 0, 85, 0, 0, 0, 91,
184           553, 32, 92, 0, 279, 0, 0, 0, 475, 0,
185             0, 32, 0, 92, 0, 0, 0, 746, 472, 0,
186            92, 0, 0, 657, 754, 472, 755, 0, 757, 0,
187           472, 0, 0, 790, 0, 0, 0, 86, 0, 0,
188             0, 0, 0, 267, 0, 260, 0, 0, 76, 471,
189             0, 472, 86, 86, 86, 633, 0, 74, 475, 52,
190            32, 0, 0, 0, 0, 475, 0, 530, 0, 52,
191           471, 537, 0, 793, 0, 77, 0, 0, 0, 666,
192           666, 0, 78, 472, 77, 0, 0, 0, 799, 800,
193           801, 475, 77, 0, 0, 0, 0, 576, 0, 471,
194             0, 0, 0, 86, 86, 0, 471, 0, 422, 0,
195             0, 471, 76, 0, 530, 422, 91, 52, 52, 253,
196             0, 74, 475, 0, 86, 0, 610, 612, 0, 76,
197           616, 475, 471, 472, 622, 91, 0, 0, 74, 823,
198           472, 0, 581, 0, 0, 472, 78, 262, 262, 262,
199            91, 0, 262, 262, 262, 0, 262, 86, 0, 0,
200           835, 0, 643, 78, 0, 616, 472, 643, 86, 0,
201             0, 0, 337, 208, 0, 86, 0, 271, 262, 262,
202           262, 262, 262, 0, 0, 0, 312, 0, 0, 0,
203             0, 0, 80, 555, 0, 0, 556, 557, 558, 0,
204             0, 0, 325, 326, 862, 581, 0, 0, 0, 0,
205             0, 863, 0, 0, 0, 0, 194, 327, 0, 328,
206            91, 329, 330, 331, 332, 262, 194, 91, 262, 91,
207             0, 91, 0, 0, 0, 0, 208, 0, 560, 561,
208           562, 563, 0, 279, 0, 0, 676, 0, 0, 262,
209           279, 0, 153, 0, 0, 0, 80, 0, 0, 0,
210           194, 0, 0, 32, 32, 32, 0, 0, 0, 32,
211            32, 312, 32, 80, 194, 194, 91, 0, 0, 194,
212             0, 0, 0, 0, 0, 0, 0, 325, 326, 0,
213             0, 91, 91, 91, 32, 32, 32, 32, 32, 0,
214             0, 153, 327, 0, 328, 0, 329, 330, 331, 332,
215            77, 475, 335, 718, 336, 0, 0, 0, 0, 85,
216           475, 52, 52, 52, 0, 0, 52, 52, 52, 0,
217            52, 725, 0, 0, 0, 728, 0, 208, 0, 729,
218            52, 52, 91, 91, 32, 0, 0, 0, 0, 52,
219            52, 612, 52, 52, 52, 52, 52, 411, 0, 0,
220             0, 475, 0, 91, 0, 32, 0, 411, 475, 0,
221           475, 0, 0, 471, 77, 0, 0, 475, 0, 0,
222             0, 0, 471, 0, 0, 0, 0, 0, 0, 0,
223             0, 77, 0, 0, 475, 0, 91, 0, 770, 0,
224            85, 411, 52, 475, 0, 52, 0, 91, 777, 0,
225             0, 0, 0, 0, 91, 411, 411, 0, 411, 0,
226           411, 0, 0, 52, 0, 0, 0, 0, 312, 313,
227           314, 315, 316, 317, 318, 319, 320, 321, 322, 643,
228           323, 324, 0, 0, 325, 326, 616, 0, 411, 0,
229             0, 0, 616, 0, 0, 0, 0, 0, 0, 327,
230             0, 328, 0, 329, 330, 331, 332, 333, 334, 335,
231             0, 336, 414, 0, 0, 0, 0, 0, 194, 194,
232           194, 0, 414, 194, 194, 194, 312, 194, 0, 822,
233             0, 317, 318, 0, 0, 0, 0, 194, 194, 0,
234             0, 0, 325, 326, 0, 0, 194, 194, 0, 194,
235           194, 194, 194, 194, 0, 0, 414, 327, 837, 328,
236             0, 329, 330, 331, 332, 333, 334, 335, 845, 336,
237           414, 414, 850, 414, 0, 414, 194, 194, 194, 194,
238           194, 194, 194, 194, 194, 194, 153, 194, 194, 153,
239           153, 153, 163, 0, 0, 0, 194, 0, 0, 194,
240             0, 0, 194, 414, 194, 0, 612, 0, 616, 0,
241            75, 0, 416, 0, 194, 194, 194, 0, 194, 416,
242           194, 0, 0, 0, 153, 0, 875, 75, 878, 0,
243             0, 153, 153, 153, 153, 0, 616, 0, 0, 0,
244           882, 163, 0, 0, 0, 0, 0, 0, 0, 148,
245             0, 0, 0, 0, 468, 468, 468, 280, 468, 411,
246           411, 411, 468, 468, 411, 411, 411, 468, 411, 468,
247           468, 468, 468, 468, 468, 468, 411, 468, 411, 411,
248           468, 468, 468, 468, 468, 468, 468, 411, 411, 0,
249           411, 411, 411, 411, 411, 0, 468, 0, 148, 468,
250           468, 468, 468, 468, 468, 468, 468, 468, 468, 0,
251           468, 468, 0, 468, 468, 468, 411, 411, 411, 411,
252           411, 411, 411, 411, 411, 411, 411, 411, 411, 411,
253             0, 0, 411, 411, 411, 468, 411, 411, 468, 468,
254           411, 468, 468, 411, 468, 411, 468, 411, 468, 411,
255           468, 411, 411, 411, 411, 411, 411, 411, 468, 411,
256           468, 411, 0, 468, 468, 468, 468, 468, 468, 469,
257           469, 469, 0, 469, 414, 414, 414, 469, 469, 414,
258           414, 414, 469, 414, 469, 469, 469, 469, 469, 469,
259           469, 414, 469, 414, 414, 469, 469, 469, 469, 469,
260           469, 469, 414, 414, 337, 414, 414, 414, 414, 414,
261             0, 469, 0, 0, 469, 469, 469, 469, 469, 469,
262           469, 469, 469, 469, 0, 469, 469, 0, 469, 469,
263           469, 414, 414, 414, 414, 414, 414, 414, 414, 414,
264           414, 414, 414, 414, 414, 75, 0, 414, 414, 414,
265           469, 414, 414, 469, 469, 414, 469, 469, 414, 469,
266           414, 469, 414, 469, 414, 469, 414, 414, 414, 414,
267           414, 414, 414, 469, 414, 469, 414, 471, 469, 469,
268           469, 469, 469, 469, 0, 0, 163, 471, 0, 163,
269           163, 163, 0, 0, 0, 0, 280, 0, 0, 0,
270             0, 0, 0, 280, 0, 0, 0, 0, 0, 75,
271             0, 0, 418, 0, 0, 0, 0, 0, 0, 418,
272             0, 471, 0, 0, 163, 0, 75, 0, 0, 0,
273             0, 163, 163, 163, 163, 471, 471, 0, 84, 0,
274           471, 0, 0, 148, 0, 0, 148, 148, 148, 0,
275             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
276             0, 0, 0, 0, 0, 0, 0, 0, 471, 419,
277             0, 0, 0, 0, 0, 0, 419, 0, 0, 0,
278             0, 148, 0, 0, 0, 0, 0, 0, 148, 148,
279           148, 148, 472, 0, 0, 0, 0, 0, 0, 0,
280             0, 0, 472, 0, 312, 313, 314, 315, 316, 317,
281           318, 319, 320, 321, 322, 0, 0, 0, 0, 0,
282           325, 326, 0, 0, 0, 0, 0, 0, 0, 0,
283             0, 0, 0, 0, 0, 327, 472, 328, 677, 329,
284           330, 331, 332, 333, 334, 335, 0, 336, 0, 0,
285           472, 472, 0, 86, 0, 472, 0, 0, 0, 0,
286           312, 313, 314, 315, 316, 317, 318, 319, 320, 321,
287           322, 0, 323, 324, 0, 0, 325, 326, 0, 0,
288             0, 0, 0, 472, 0, 0, 0, 0, 0, 0,
289             0, 327, 0, 328, 0, 329, 330, 331, 332, 333,
290           334, 335, 0, 336, 0, 0, 0, 0, 0, 0,
291            34, 0, 0, 0, 0, 0, 0, 0, 0, 0,
292            34, 0, 0, 0, 0, 0, 0, 0, 0, 131,
293             0, 0, 0, 0, 471, 471, 471, 0, 471, 471,
294           471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
295           471, 471, 471, 471, 471, 471, 0, 471, 471, 471,
296           471, 471, 471, 471, 471, 471, 471, 471, 471, 34,
297           471, 471, 471, 471, 471, 0, 471, 0, 131, 471,
298           471, 471, 471, 471, 471, 471, 471, 471, 471, 0,
299           471, 471, 0, 471, 471, 471, 471, 471, 471, 471,
300           471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
301             0, 0, 471, 471, 471, 471, 0, 471, 471, 471,
302           471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
303           471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
304           471, 471, 0, 471, 471, 471, 471, 471, 471, 472,
305           472, 472, 0, 472, 472, 472, 472, 472, 472, 472,
306           472, 472, 472, 472, 472, 472, 472, 472, 472, 472,
307           472, 0, 472, 472, 472, 472, 472, 472, 472, 472,
308           472, 472, 472, 472, 337, 472, 472, 472, 472, 472,
309             0, 472, 0, 0, 472, 472, 472, 472, 472, 472,
310           472, 472, 472, 472, 0, 472, 472, 0, 472, 472,
311           472, 472, 472, 472, 472, 472, 472, 472, 472, 472,
312           472, 472, 472, 472, 472, 0, 0, 472, 472, 472,
313           472, 0, 472, 472, 472, 472, 472, 472, 472, 472,
314           472, 472, 472, 472, 472, 472, 472, 472, 472, 472,
315           472, 472, 472, 472, 472, 472, 472, 475, 472, 472,
316           472, 472, 472, 472, 0, 0, 0, 475, 0, 0,
317             0, 0, 34, 34, 34, 0, 0, 0, 34, 34,
318             0, 34, 0, 0, 0, 0, 0, 0, 0, 0,
319             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
320             0, 475, 0, 34, 34, 34, 34, 34, 0, 0,
321             0, 0, 0, 0, 0, 475, 475, 0, 85, 0,
322           475, 0, 0, 131, 0, 0, 131, 131, 131, 0,
323             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
324             0, 0, 0, 0, 0, 0, 0, 0, 475, 421,
325             0, 0, 0, 34, 0, 0, 421, 0, 0, 0,
326             0, 131, 0, 0, 0, 0, 0, 0, 131, 131,
327           131, 131, 273, 0, 34, 0, 0, 0, 0, 0,
328             0, 0, 273, 0, 312, 313, 314, 315, 316, 317,
329           318, 319, 0, 321, 322, 0, 0, 0, 0, 0,
330           325, 326, 0, 0, 0, 0, 0, 0, 0, 0,
331             0, 0, 0, 0, 0, 327, 273, 328, 0, 329,
332           330, 331, 332, 333, 334, 335, 0, 336, 0, 0,
333           273, 273, 0, 0, 0, 273, 0, 0, 0, 0,
334           312, 313, 314, 315, 316, 317, 318, 319, 320, 321,
335           322, 0, 323, 324, 0, 0, 325, 326, 0, 0,
336             0, 0, 0, 273, 0, 0, 0, 0, 0, 0,
337             0, 327, 0, 328, 0, 329, 330, 331, 332, 333,
338           334, 335, 0, 336, 0, 0, 0, 0, 0, 0,
339            14, 0, 0, 0, 0, 0, 0, 0, 0, 0,
340            14, 0, 0, 0, 0, 0, 0, 0, 0, 132,
341             0, 0, 0, 0, 471, 471, 471, 0, 471, 475,
342           475, 475, 471, 471, 475, 475, 475, 471, 475, 471,
343           471, 471, 471, 471, 471, 471, 0, 475, 475, 475,
344           471, 471, 471, 471, 471, 471, 471, 475, 475, 14,
345           475, 475, 475, 475, 475, 0, 471, 0, 132, 471,
346           471, 471, 471, 471, 471, 471, 471, 471, 471, 0,
347           471, 471, 0, 471, 471, 471, 475, 475, 475, 475,
348           475, 475, 475, 475, 475, 475, 475, 475, 475, 475,
349             0, 0, 475, 475, 475, 471, 0, 475, 471, 471,
350           475, 471, 471, 475, 471, 475, 471, 475, 471, 475,
351           471, 475, 475, 475, 475, 475, 475, 475, 471, 475,
352           475, 475, 0, 471, 471, 471, 471, 471, 471, 470,
353           470, 470, 0, 470, 273, 273, 273, 470, 470, 273,
354           273, 273, 470, 273, 470, 470, 470, 470, 470, 470,
355           470, 0, 470, 273, 273, 470, 470, 470, 470, 470,
356           470, 470, 273, 273, 0, 273, 273, 273, 273, 273,
357             0, 470, 0, 0, 470, 470, 470, 470, 470, 470,
358           470, 470, 470, 470, 0, 470, 470, 0, 470, 470,
359           470, 273, 273, 273, 273, 273, 273, 273, 273, 273,
360           273, 273, 273, 273, 273, 0, 0, 273, 273, 273,
361           470, 0, 273, 470, 470, 273, 470, 470, 273, 470,
362           273, 470, 273, 470, 273, 470, 273, 273, 273, 273,
363           273, 273, 273, 470, 273, 470, 273, 476, 470, 470,
364           470, 470, 470, 470, 0, 0, 0, 476, 0, 0,
365             0, 0, 14, 14, 14, 0, 0, 0, 14, 14,
366             0, 14, 0, 0, 0, 0, 0, 0, 0, 0,
367             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
368             0, 476, 0, 14, 14, 14, 14, 14, 0, 0,
369             0, 0, 0, 0, 0, 476, 476, 0, 0, 0,
370           476, 0, 0, 132, 0, 0, 132, 132, 132, 0,
371             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
372             0, 0, 0, 0, 0, 0, 0, 0, 476, 420,
373             0, 0, 0, 14, 0, 0, 420, 0, 0, 0,
374             0, 132, 0, 0, 0, 0, 0, 0, 132, 132,
375           132, 132, 477, 0, 14, 0, 0, 0, 0, 0,
376             0, 0, 477, 0, 0, 0, 0, 0, 0, 0,
377             0, 0, 4, 5, 6, 0, 8, 0, 0, 0,
378             9, 10, 0, 0, 0, 11, 0, 12, 13, 14,
379            96, 97, 17, 18, 0, 0, 477, 0, 98, 99,
380           100, 22, 23, 24, 25, 0, 0, 0, 0, 0,
381           477, 477, 0, 0, 101, 477, 0, 31, 32, 33,
382            34, 35, 36, 37, 38, 39, 40, 0, 41, 42,
383             0, 95, 0, 104, 0, 0, 0, 0, 0, 0,
384             0, 0, 96, 477, 0, 0, 0, 0, 0, 0,
385             0, 0, 0, 224, 0, 0, 47, 0, 0, 48,
386            49, 0, 50, 0, 51, 0, 0, 0, 0, 0,
387             0, 0, 0, 0, 0, 752, 0, 0, 0, 0,
388            95, 54, 55, 56, 57, 58, 59, 0, 0, 0,
389             0, 96, 0, 0, 473, 473, 473, 0, 473, 476,
390           476, 476, 473, 473, 476, 476, 476, 473, 476, 473,
391           473, 473, 473, 473, 473, 473, 0, 476, 476, 476,
392           473, 473, 473, 473, 473, 473, 473, 476, 476, 0,
393           476, 476, 476, 476, 476, 0, 473, 0, 0, 473,
394           473, 473, 473, 473, 473, 473, 473, 473, 473, 0,
395           473, 473, 0, 473, 473, 473, 476, 476, 476, 476,
396           476, 476, 476, 476, 476, 476, 476, 476, 476, 476,
397             0, 0, 476, 476, 476, 473, 0, 476, 473, 473,
398           476, 473, 473, 476, 473, 476, 473, 476, 473, 476,
399           473, 476, 476, 476, 476, 476, 476, 476, 473, 476,
400           476, 476, 0, 473, 473, 473, 473, 473, 473, 474,
401           474, 474, 0, 474, 477, 477, 477, 474, 474, 477,
402           477, 477, 474, 477, 474, 474, 474, 474, 474, 474,
403           474, 0, 477, 477, 477, 474, 474, 474, 474, 474,
404           474, 474, 477, 477, 0, 477, 477, 477, 477, 477,
405             0, 474, 0, 0, 474, 474, 474, 474, 474, 474,
406           474, 474, 474, 474, 0, 474, 474, 0, 474, 474,
407           474, 477, 477, 477, 477, 477, 477, 477, 477, 477,
408           477, 477, 477, 477, 477, 0, 0, 477, 477, 477,
409           474, 0, 477, 474, 474, 477, 474, 474, 477, 474,
410           477, 474, 477, 474, 477, 474, 477, 477, 477, 477,
411           477, 477, 477, 474, 477, 477, 477, 349, 474, 474,
412           474, 474, 474, 474, 0, 95, 0, 349, 95, 95,
413            95, 0, 0, 0, 0, 0, 96, 0, 0, 96,
414            96, 96, 0, 0, 0, 0, 0, 0, 0, 0,
415             0, 411, 0, 0, 0, 0, 0, 0, 411, 0,
416             0, 349, 414, 95, 0, 0, 0, 0, 0, 414,
417            95, 95, 95, 95, 96, 349, 349, 0, 0, 0,
418           349, 96, 96, 96, 96, 0, 0, 0, 0, 0,
419             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
420             0, 0, 0, 0, 0, 0, 0, 0, 349, 0,
421             0, 0, 0, 0, 0, 0, 0, 3, 4, 5,
422             6, 7, 8, 0, 0, 0, 9, 10, 0, 0,
423             0, 11, 491, 12, 13, 14, 15, 16, 17, 18,
424             0, 0, 491, 0, 19, 20, 21, 22, 23, 24,
425            25, 0, 0, 26, 0, 0, 0, 0, 0, 27,
426            28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
427            38, 39, 40, 0, 41, 42, 491, 43, 44, 45,
428             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
429           491, 491, 0, 0, 0, 491, 0, 0, 0, 46,
430             0, 0, 47, 0, 0, 48, 49, 0, 50, 0,
431            51, 0, 0, 0, 52, 0, 0, 0, 0, 0,
432             0, 0, 53, 491, 0, 0, 0, 54, 55, 56,
433            57, 58, 59, 0, 608, 0, 0, 0, 0, 0,
434             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
435             0, 0, 0, 337, 0, 0, 0, 0, 0, 0,
436             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
437             0, 0, 0, 0, 250, 250, 250, 0, 250, 349,
438           349, 349, 250, 250, 349, 349, 349, 250, 349, 250,
439           250, 250, 250, 250, 250, 250, 0, 349, 349, 349,
440           250, 250, 250, 250, 250, 250, 250, 349, 349, 0,
441           349, 349, 349, 349, 349, 0, 250, 0, 0, 250,
442           250, 250, 250, 250, 250, 250, 250, 250, 250, 0,
443           250, 250, 0, 250, 250, 250, 349, 349, 349, 349,
444           349, 349, 349, 349, 349, 349, 349, 349, 349, 349,
445             0, 0, 349, 349, 349, 250, 0, 349, 250, 0,
446           349, 250, 250, 349, 250, 349, 250, 349, 250, 349,
447           250, 349, 349, 349, 349, 349, 349, 349, 250, 349,
448           349, 349, 0, 250, 250, 250, 250, 250, 250, 250,
449           250, 250, 0, 250, 491, 491, 491, 250, 250, 491,
450           491, 491, 250, 491, 250, 250, 250, 250, 250, 250,
451           250, 0, 491, 491, 491, 250, 250, 250, 250, 250,
452           250, 250, 491, 491, 0, 491, 491, 491, 491, 491,
453             0, 250, 0, 0, 250, 250, 250, 250, 250, 250,
454           250, 250, 250, 250, 0, 250, 250, 0, 250, 250,
455           250, 491, 491, 491, 491, 491, 491, 491, 491, 491,
456           491, 491, 491, 491, 491, 0, 0, 491, 491, 491,
457           250, 0, 491, 250, 0, 491, 250, 250, 491, 250,
458           491, 250, 491, 250, 491, 250, 491, 491, 491, 491,
459           491, 491, 491, 250, 491, 491, 491, 278, 250, 250,
460           250, 250, 250, 250, 0, 0, 0, 278, 0, 312,
461           313, 314, 315, 316, 317, 318, 319, 320, 321, 322,
462             0, 323, 324, 0, 0, 325, 326, 0, 0, 0,
463             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
464           327, 278, 328, 0, 329, 330, 331, 332, 333, 334,
465           335, 0, 336, 0, 0, 278, 278, 0, 87, 0,
466           278, 0, 0, 0, 0, 0, 0, 0, 0, 0,
467             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
468             0, 0, 0, 0, 0, 0, 0, 0, 278, 0,
469             0, 0, 0, 0, 0, 0, 0, 3, 4, 5,
470             6, 7, 8, 0, 0, 0, 9, 10, 0, 0,
471             0, 11, 286, 12, 13, 14, 15, 16, 17, 18,
472             0, 0, 286, 0, 19, 20, 21, 22, 23, 24,
473            25, 0, 0, 26, 0, 0, 0, 0, 0, 27,
474            28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
475            38, 39, 40, 0, 41, 42, 286, 43, 44, 45,
476             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
477           286, 286, 0, 0, 0, 286, 0, 0, 0, 46,
478             0, 0, 263, 0, 0, 48, 49, 0, 50, 0,
479            51, 0, 0, 0, 52, 0, 0, 0, 0, 0,
480             0, 0, 53, 286, 0, 0, 0, 54, 55, 56,
481            57, 58, 59, 0,
482       };
483    }
484
485    private static final short[] yyTable2() {
486       return new short[] {
487
488             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
489             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
490             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
491             0, 0, 0, 0, 216, 0, 0, 0, 0, 0,
492           472, 472, 472, 0, 472, 278, 278, 278, 472, 472,
493           278, 278, 278, 472, 278, 472, 472, 472, 472, 472,
494           472, 472, 0, 0, 278, 278, 472, 472, 472, 472,
495           472, 472, 472, 278, 278, 0, 278, 278, 278, 278,
496           278, 0, 472, 217, 0, 472, 472, 472, 472, 472,
497           472, 472, 472, 472, 472, 0, 472, 472, 0, 472,
498           472, 472, 278, 278, 278, 278, 278, 278, 278, 278,
499           278, 278, 278, 278, 278, 278, 0, 0, 278, 278,
500           278, 472, 0, 278, 472, 472, 278, 472, 472, 278,
501           472, 278, 472, 278, 472, 278, 472, 278, 278, 278,
502           278, 278, 278, 278, 472, 278, 0, 278, 0, 472,
503           472, 472, 472, 472, 472, 250, 250, 250, 0, 250,
504           286, 286, 286, 250, 250, 286, 286, 286, 250, 286,
505           250, 250, 250, 250, 250, 250, 250, 0, 0, 286,
506           286, 250, 250, 250, 250, 250, 250, 250, 286, 286,
507             0, 286, 286, 286, 286, 286, 0, 250, 0, 0,
508           250, 250, 250, 250, 250, 250, 250, 250, 250, 250,
509             0, 250, 250, 0, 250, 250, 250, 286, 286, 286,
510           286, 286, 286, 286, 286, 286, 286, 286, 286, 286,
511           286, 0, 0, 286, 286, 286, 250, 0, 286, 250,
512             0, 286, 250, 250, 286, 250, 286, 250, 286, 250,
513           286, 250, 286, 286, 286, 286, 286, 286, 286, 250,
514           286, 471, 286, 0, 250, 250, 250, 250, 250, 250,
515             0, 471, 0, 0, 0, 0, 0, 0, 0, 0,
516             0, 4, 5, 6, 0, 8, 0, 0, 0, 9,
517            10, 0, 0, 0, 11, 0, 12, 13, 14, 15,
518            16, 17, 18, 0, 0, 76, 0, 19, 20, 21,
519            22, 23, 24, 25, 0, 0, 26, 0, 0, 0,
520           471, 0, 84, 28, 471, 0, 31, 32, 33, 34,
521            35, 36, 37, 38, 39, 40, 0, 41, 42, 0,
522            43, 44, 45, 0, 0, 0, 0, 0, 0, 0,
523             0, 0, 471, 0, 0, 0, 0, 0, 0, 0,
524             0, 0, 207, 0, 0, 107, 0, 0, 48, 49,
525             0, 50, 0, 0, 0, 0, 472, 52, 0, 0,
526             0, 0, 0, 0, 0, 53, 472, 0, 0, 0,
527            54, 55, 56, 57, 58, 59, 0, 0, 4, 5,
528             6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
529             0, 11, 0, 12, 13, 14, 15, 16, 17, 18,
530            78, 0, 0, 0, 19, 20, 21, 22, 23, 24,
531            25, 0, 0, 26, 0, 472, 0, 86, 0, 472,
532            28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
533            38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
534             0, 0, 0, 0, 0, 0, 0, 472, 0, 0,
535             0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
536             0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
537             0, 0, 659, 0, 52, 0, 0, 337, 0, 0,
538             0, 0, 53, 0, 0, 0, 0, 54, 55, 56,
539            57, 58, 59, 0, 0, 0, 0, 0, 471, 471,
540           471, 0, 471, 471, 471, 471, 471, 471, 0, 471,
541           471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
542             0, 471, 0, 0, 471, 471, 471, 471, 471, 471,
543           471, 471, 471, 0, 471, 471, 471, 471, 471, 0,
544           471, 0, 0, 471, 471, 471, 471, 471, 471, 471,
545           471, 471, 471, 0, 471, 471, 0, 471, 471, 471,
546           471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
547           471, 471, 471, 471, 0, 0, 471, 471, 471, 471,
548             0, 0, 471, 471, 471, 471, 471, 0, 471, 0,
549           471, 471, 471, 471, 471, 471, 471, 471, 471, 471,
550           471, 471, 471, 471, 471, 471, 0, 471, 471, 471,
551           471, 471, 471, 472, 472, 472, 0, 472, 472, 472,
552           472, 472, 472, 0, 472, 472, 472, 472, 472, 472,
553           472, 472, 472, 472, 472, 0, 472, 0, 0, 472,
554           472, 472, 472, 472, 472, 472, 472, 472, 0, 472,
555           472, 472, 472, 472, 0, 472, 0, 0, 472, 472,
556           472, 472, 472, 472, 472, 472, 472, 472, 0, 472,
557           472, 0, 472, 472, 472, 472, 472, 472, 472, 472,
558           472, 472, 472, 472, 472, 472, 472, 472, 472, 0,
559             0, 472, 472, 472, 472, 0, 0, 472, 472, 472,
560           472, 472, 0, 472, 0, 472, 472, 472, 472, 472,
561           472, 472, 472, 472, 472, 472, 472, 472, 472, 472,
562           472, 475, 472, 472, 472, 472, 472, 472, 0, 0,
563             0, 475, 0, 312, 313, 314, 315, 316, 317, 318,
564           319, 320, 321, 322, 0, 323, 324, 0, 0, 325,
565           326, 0, 0, 0, 0, 0, 0, 0, 0, 0,
566             0, 0, 0, 0, 327, 77, 328, 0, 329, 330,
567           331, 332, 333, 334, 335, 0, 336, 0, 0, 0,
568           475, 0, 85, 0, 475, 0, 0, 0, 0, 0,
569             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
570             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
571             0, 0, 475, 0, 0, 0, 0, 0, 0, 0,
572             0, 0, 4, 5, 6, 7, 8, 0, 0, 0,
573             9, 10, 0, 0, 0, 11, 278, 12, 13, 14,
574            15, 16, 17, 18, 0, 0, 278, 0, 19, 20,
575            21, 22, 23, 24, 25, 0, 0, 26, 0, 0,
576             0, 0, 0, 27, 28, 29, 30, 31, 32, 33,
577            34, 35, 36, 37, 38, 39, 40, 0, 41, 42,
578            79, 43, 44, 45, 0, 0, 0, 0, 0, 0,
579             0, 0, 0, 0, 0, 278, 0, 87, 0, 278,
580             0, 0, 0, 46, 0, 0, 47, 0, 0, 48,
581            49, 0, 50, 0, 51, 0, 0, 0, 52, 0,
582             0, 0, 0, 0, 0, 0, 53, 278, 0, 0,
583             0, 54, 55, 56, 57, 58, 59, 0, 0, 0,
584             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
585             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
586             0, 0, 0, 491, 0, 0, 0, 0, 0, 0,
587             0, 0, 0, 491, 0, 0, 0, 0, 471, 471,
588           471, 0, 471, 475, 475, 475, 471, 471, 0, 475,
589           475, 471, 475, 471, 471, 471, 471, 471, 471, 471,
590             0, 475, 0, 0, 471, 471, 471, 471, 471, 471,
591           471, 475, 475, 0, 475, 475, 475, 475, 475, 0,
592           471, 491, 491, 471, 471, 471, 471, 471, 471, 471,
593           471, 471, 471, 0, 471, 471, 0, 471, 471, 471,
594           475, 475, 475, 475, 475, 475, 475, 475, 475, 475,
595           475, 475, 475, 475, 0, 0, 475, 475, 475, 471,
596             0, 0, 471, 471, 475, 471, 471, 0, 471, 0,
597           471, 475, 471, 475, 471, 475, 475, 475, 475, 475,
598           475, 475, 471, 475, 475, 475, 0, 471, 471, 471,
599           471, 471, 471, 472, 472, 472, 0, 472, 278, 278,
600           278, 472, 472, 0, 278, 278, 472, 278, 472, 472,
601           472, 472, 472, 472, 472, 0, 0, 0, 0, 472,
602           472, 472, 472, 472, 472, 472, 278, 278, 0, 278,
603           278, 278, 278, 278, 0, 472, 0, 0, 472, 472,
604           472, 472, 472, 472, 472, 472, 472, 472, 0, 472,
605           472, 0, 472, 472, 472, 278, 278, 278, 278, 278,
606           278, 278, 278, 278, 278, 278, 278, 278, 278, 0,
607             0, 278, 278, 278, 472, 0, 0, 472, 472, 278,
608           472, 472, 0, 472, 0, 472, 278, 472, 278, 472,
609           278, 278, 278, 278, 278, 278, 278, 472, 278, 0,
610           278, 0, 472, 472, 472, 472, 472, 472, 0, 0,
611             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
612           250, 250, 250, 0, 250, 491, 491, 491, 250, 250,
613           491, 491, 491, 250, 491, 250, 250, 250, 250, 250,
614           250, 250, 0, 0, 491, 0, 250, 250, 250, 250,
615           250, 250, 250, 491, 491, 0, 491, 491, 491, 491,
616           491, 0, 250, 0, 0, 250, 250, 250, 250, 250,
617           250, 250, 250, 250, 250, 0, 250, 250, 349, 250,
618           250, 250, 0, 0, 0, 0, 0, 0, 349, 0,
619             0, 0, 0, 491, 0, 0, 0, 0, 0, 0,
620           491, 250, 0, 0, 250, 0, 491, 250, 250, 0,
621           250, 0, 250, 0, 250, 0, 250, 0, 0, 0,
622             0, 0, 349, 0, 250, 0, 0, 491, 0, 250,
623           250, 250, 250, 250, 250, 0, 349, 349, 0, 0,
624             0, 349, 0, 0, 0, 0, 0, 4, 5, 6,
625             0, 8, 0, 0, 0, 9, 10, 0, 0, 0,
626            11, 0, 12, 13, 14, 96, 97, 17, 18, 349,
627             0, 0, 0, 98, 99, 100, 22, 23, 24, 25,
628             0, 422, 0, 0, 0, 0, 0, 0, 0, 28,
629             0, 422, 31, 32, 33, 34, 35, 36, 37, 38,
630            39, 40, 0, 41, 42, 0, 43, 44, 45, 0,
631             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
632             0, 0, 0, 0, 0, 422, 0, 0, 207, 0,
633             0, 107, 426, 0, 48, 49, 0, 50, 0, 422,
634           422, 0, 82, 52, 422, 0, 0, 0, 0, 0,
635             0, 233, 0, 0, 0, 0, 54, 55, 56, 57,
636            58, 59, 508, 509, 0, 0, 510, 0, 0, 0,
637             0, 0, 422, 0, 160, 161, 0, 162, 163, 164,
638           165, 0, 166, 167, 0, 491, 168, 0, 0, 0,
639             0, 169, 170, 171, 172, 491, 0, 0, 0, 0,
640             0, 0, 0, 0, 0, 0, 0, 174, 175, 0,
641           176, 177, 178, 179, 180, 181, 182, 183, 184, 0,
642           185, 0, 0, 186, 0, 0, 0, 0, 0, 491,
643             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
644           349, 349, 349, 491, 491, 349, 349, 349, 491, 349,
645             0, 0, 0, 0, 0, 0, 0, 0, 349, 349,
646           349, 0, 0, 0, 0, 0, 0, 0, 349, 349,
647             0, 349, 349, 349, 349, 349, 491, 0, 0, 0,
648             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
649             0, 0, 0, 0, 0, 0, 0, 349, 349, 349,
650           349, 349, 349, 349, 349, 349, 349, 349, 349, 349,
651           349, 0, 0, 349, 349, 349, 0, 0, 349, 0,
652             0, 349, 0, 0, 349, 0, 349, 0, 349, 182,
653           349, 0, 349, 349, 349, 349, 349, 349, 349, 182,
654           349, 349, 349, 422, 422, 422, 0, 0, 422, 422,
655           422, 0, 422, 0, 0, 0, 0, 0, 0, 0,
656             0, 0, 422, 422, 0, 0, 0, 0, 0, 0,
657             0, 422, 422, 182, 422, 422, 422, 422, 422, 0,
658             0, 0, 0, 0, 0, 0, 0, 182, 182, 0,
659             0, 0, 182, 0, 0, 0, 0, 0, 0, 0,
660           422, 422, 422, 422, 422, 422, 422, 422, 422, 422,
661           422, 422, 422, 422, 0, 0, 422, 422, 422, 0,
662           423, 422, 0, 0, 422, 0, 0, 422, 0, 422,
663             0, 422, 492, 422, 0, 422, 422, 422, 422, 422,
664           422, 422, 492, 422, 0, 422, 0, 491, 491, 491,
665             0, 0, 491, 491, 491, 0, 491, 0, 0, 0,
666             0, 0, 0, 0, 0, 491, 491, 491, 0, 0,
667             0, 0, 0, 0, 0, 491, 491, 0, 491, 491,
668           491, 491, 491, 0, 0, 0, 0, 0, 0, 0,
669           492, 492, 272, 0, 0, 0, 0, 0, 0, 0,
670             0, 0, 272, 0, 491, 491, 491, 491, 491, 491,
671           491, 491, 491, 491, 491, 491, 491, 491, 0, 0,
672           491, 491, 491, 0, 0, 491, 0, 0, 491, 0,
673             0, 491, 0, 491, 0, 491, 272, 491, 0, 491,
674           491, 491, 491, 491, 491, 491, 0, 491, 491, 491,
675           272, 272, 0, 89, 0, 272, 0, 0, 0, 0,
676             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
677             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
678             0, 0, 0, 272, 0, 0, 0, 0, 0, 0,
679             0, 182, 182, 182, 0, 279, 182, 182, 182, 0,
680           182, 0, 0, 0, 0, 279, 0, 0, 0, 0,
681           182, 182, 0, 0, 0, 0, 0, 0, 0, 182,
682           182, 0, 182, 182, 182, 182, 182, 0, 0, 0,
683             0, 0, 0, 0, 0, 0, 0, 0, 0, 279,
684             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
685             0, 0, 0, 279, 279, 0, 88, 0, 279, 0,
686             0, 0, 0, 0, 0, 0, 0, 0, 0, 182,
687             0, 0, 182, 0, 0, 182, 0, 182, 0, 0,
688             0, 0, 0, 0, 0, 0, 279, 0, 0, 0,
689             0, 0, 0, 182, 492, 492, 492, 0, 0, 492,
690           492, 492, 0, 492, 0, 0, 280, 0, 0, 0,
691             0, 0, 0, 492, 492, 0, 280, 0, 0, 0,
692             0, 0, 492, 492, 0, 492, 492, 492, 492, 492,
693             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
694             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
695           280, 0, 0, 0, 272, 272, 272, 0, 0, 272,
696           272, 272, 0, 272, 280, 280, 0, 83, 0, 280,
697             0, 0, 0, 272, 272, 492, 0, 0, 492, 0,
698           492, 0, 272, 272, 0, 272, 272, 272, 272, 272,
699             0, 0, 0, 0, 0, 0, 492, 280, 0, 0,
700             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
701             0, 272, 272, 272, 272, 272, 272, 272, 272, 272,
702           272, 272, 272, 272, 272, 0, 0, 272, 272, 272,
703             0, 0, 272, 0, 0, 272, 0, 0, 272, 0,
704           272, 0, 272, 372, 272, 0, 272, 272, 272, 272,
705           272, 272, 272, 372, 272, 0, 272, 279, 279, 279,
706             0, 0, 279, 279, 279, 0, 279, 0, 0, 0,
707             0, 0, 0, 0, 0, 0, 279, 279, 0, 0,
708             0, 0, 0, 0, 0, 279, 279, 372, 279, 279,
709           279, 279, 279, 0, 0, 0, 0, 0, 0, 0,
710             0, 372, 372, 0, 0, 0, 372, 0, 0, 0,
711             0, 0, 0, 0, 279, 279, 279, 279, 279, 279,
712           279, 279, 279, 279, 279, 279, 279, 279, 0, 0,
713           279, 279, 279, 0, 372, 279, 0, 0, 279, 0,
714             0, 279, 0, 279, 0, 279, 0, 279, 289, 279,
715           279, 279, 279, 279, 279, 279, 0, 279, 289, 279,
716             0, 0, 0, 0, 0, 0, 0, 0, 280, 280,
717           280, 0, 0, 280, 280, 280, 0, 280, 0, 0,
718             0, 0, 0, 0, 0, 0, 0, 280, 280, 0,
719             0, 0, 289, 0, 0, 0, 280, 280, 0, 280,
720           280, 280, 280, 280, 0, 0, 289, 289, 0, 0,
721             0, 289, 0, 0, 0, 0, 0, 0, 0, 0,
722             0, 0, 0, 0, 0, 280, 280, 280, 280, 280,
723           280, 280, 280, 280, 280, 280, 280, 280, 280, 289,
724             0, 280, 280, 280, 0, 0, 280, 0, 0, 280,
725             0, 0, 280, 0, 280, 0, 280, 215, 280, 0,
726           280, 280, 280, 280, 280, 280, 280, 215, 280, 0,
727           280, 0, 0, 0, 0, 0, 0, 0, 0, 0,
728             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
729             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
730             0, 215, 0, 0, 0, 372, 372, 372, 0, 0,
731           372, 372, 372, 0, 372, 215, 215, 0, 0, 0,
732           215, 0, 0, 0, 372, 372, 0, 0, 0, 0,
733             0, 0, 0, 372, 372, 0, 372, 372, 372, 372,
734           372, 0, 0, 0, 0, 0, 0, 0, 321, 0,
735             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
736             0, 0, 372, 372, 372, 372, 372, 372, 372, 372,
737           372, 372, 372, 372, 372, 372, 0, 0, 372, 372,
738           372, 0, 0, 372, 0, 0, 372, 0, 0, 372,
739             0, 372, 0, 372, 0, 372, 286, 372, 372, 372,
740           372, 372, 372, 372, 0, 372, 286, 372, 0, 0,
741           289, 289, 289, 0, 0, 289, 289, 289, 0, 289,
742             0, 0, 0, 0, 0, 0, 0, 0, 0, 289,
743           289, 0, 0, 0, 0, 0, 0, 0, 289, 289,
744           286, 289, 289, 289, 289, 289, 0, 0, 0, 0,
745             0, 0, 0, 0, 286, 286, 0, 0, 0, 286,
746             0, 0, 0, 0, 0, 0, 0, 289, 289, 289,
747           289, 289, 289, 289, 289, 289, 289, 289, 289, 289,
748           289, 0, 0, 289, 289, 289, 0, 286, 289, 0,
749             0, 289, 0, 0, 289, 0, 289, 0, 289, 409,
750           289, 0, 289, 289, 289, 289, 289, 289, 289, 409,
751           289, 0, 289, 0, 0, 0, 0, 0, 0, 215,
752           215, 215, 0, 0, 215, 215, 215, 0, 215, 0,
753             0, 0, 0, 0, 0, 0, 0, 0, 215, 215,
754             0, 0, 0, 409, 0, 0, 0, 215, 215, 0,
755           215, 215, 215, 215, 215, 0, 0, 409, 409, 0,
756             0, 0, 409, 0, 0, 0, 0, 0, 0, 0,
757             0, 0, 0, 0, 0, 0, 215, 215, 215, 215,
758           215, 215, 215, 215, 215, 215, 215, 321, 215, 215,
759           409, 0, 215, 215, 321, 0, 0, 215, 0, 0,
760           215, 0, 0, 215, 0, 215, 0, 215, 0, 215,
761           410, 215, 215, 215, 215, 215, 215, 215, 0, 215,
762           410, 215, 0, 0, 0, 0, 0, 0, 0, 0,
763             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
764             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
765             0, 0, 0, 0, 410, 0, 0, 0, 286, 286,
766           286, 0, 0, 286, 286, 286, 0, 286, 410, 410,
767             0, 0, 0, 410, 0, 0, 0, 286, 286, 0,
768             0, 0, 0, 0, 0, 0, 286, 286, 0, 286,
769           286, 286, 286, 286, 0, 0, 0, 0, 0, 0,
770             0, 410, 0, 0, 0, 0, 0, 0, 0, 0,
771             0, 0, 0, 0, 0, 286, 286, 286, 286, 286,
772           286, 286, 286, 286, 286, 286, 286, 286, 286, 0,
773             0, 286, 286, 286, 0, 0, 286, 0, 0, 286,
774             0, 0, 286, 0, 286, 0, 286, 317, 286, 0,
775           286, 286, 286, 286, 286, 286, 286, 317, 286, 0,
776           286, 409, 409, 409, 0, 0, 409, 409, 409, 0,
777           409, 0, 0, 0, 0, 0, 0, 0, 0, 0,
778           409, 409, 0, 0, 0, 0, 0, 0, 0, 409,
779           409, 317, 409, 409, 409, 409, 409, 0, 0, 0,
780             0, 0, 0, 0, 0, 317, 317, 0, 0, 0,
781           317, 0, 0, 0, 0, 0, 0, 0, 0, 409,
782           409, 409, 409, 409, 409, 409, 409, 409, 409, 409,
783           409, 409, 0, 0, 409, 409, 409, 0, 317, 409,
784             0, 0, 409, 0, 0, 409, 0, 409, 0, 409,
785             0, 409, 318, 409, 409, 409, 409, 409, 409, 409,
786             0, 409, 318, 409, 0, 0, 0, 0, 0, 0,
787             0, 0, 410, 410, 410, 0, 0, 410, 410, 410,
788             0, 410, 0, 0, 0, 0, 0, 0, 0, 0,
789             0, 410, 410, 0, 0, 0, 318, 0, 0, 0,
790           410, 410, 0, 410, 410, 410, 410, 410, 0, 0,
791           318, 318, 0, 0, 0, 318, 0, 0, 0, 0,
792             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
793           410, 410, 410, 410, 410, 410, 410, 410, 410, 410,
794           410, 410, 410, 318, 0, 410, 410, 410, 0, 0,
795           410, 0, 0, 410, 0, 0, 410, 0, 410, 0,
796           410, 283, 410, 0, 410, 410, 410, 410, 410, 410,
797           410, 283, 410, 0, 410, 0, 0, 0, 0, 0,
798             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
799             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
800             0, 0, 0, 0, 0, 283, 0, 0, 0, 317,
801           317, 317, 0, 0, 317, 317, 317, 0, 317, 283,
802           283, 0, 0, 0, 283, 0, 0, 0, 317, 0,
803             0, 0, 0, 0, 0, 0, 0, 317, 317, 0,
804           317, 317, 317, 317, 317, 0, 0, 0, 0, 0,
805             0, 0, 283, 0, 0, 0, 0, 0, 0, 0,
806             0, 0, 0, 0, 0, 0, 317, 317, 317, 317,
807           317, 317, 317, 317, 317, 317, 317, 317, 317, 317,
808             0, 193, 317, 317, 317, 0, 0, 317, 0, 0,
809           317, 193, 0, 0, 0, 0, 0, 317, 0, 317,
810             0, 317, 317, 317, 317, 317, 317, 317, 0, 317,
811             0, 317, 0, 0, 318, 318, 318, 0, 0, 318,
812           318, 318, 0, 318, 0, 193, 0, 0, 0, 0,
813             0, 0, 0, 318, 0, 0, 0, 0, 0, 193,
814           193, 0, 318, 318, 193, 318, 318, 318, 318, 318,
815             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
816             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
817             0, 318, 318, 318, 318, 318, 318, 318, 318, 318,
818           318, 318, 318, 318, 318, 0, 0, 318, 318, 318,
819           189, 0, 318, 0, 0, 318, 0, 0, 0, 0,
820           189, 0, 318, 0, 318, 0, 318, 318, 318, 318,
821           318, 318, 318, 0, 318, 0, 318, 0, 0, 0,
822             0, 0, 0, 283, 283, 283, 0, 0, 283, 283,
823           283, 0, 283, 0, 189, 0, 0, 0, 0, 0,
824             0, 0, 283, 0, 0, 0, 0, 0, 189, 189,
825             0, 283, 283, 189, 283, 283, 283, 283, 283, 0,
826             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
827             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
828           283, 283, 283, 283, 283, 283, 283, 283, 283, 283,
829           283, 283, 283, 283, 0, 186, 283, 283, 283, 0,
830             0, 283, 0, 0, 283, 186, 0, 0, 0, 0,
831             0, 283, 0, 283, 0, 283, 283, 283, 283, 283,
832           283, 283, 0, 283, 0, 283, 0, 0, 0, 0,
833             0, 0, 0, 0, 0, 0, 0, 0, 0, 186,
834             0, 0, 0, 193, 193, 193, 0, 0, 193, 193,
835           193, 0, 193, 186, 186, 0, 0, 0, 186, 0,
836             0, 0, 193, 193, 0, 0, 0, 0, 0, 0,
837             0, 193, 193, 0, 193, 193, 193, 193, 193, 0,
838             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
839             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
840             0, 193, 193, 193, 193, 193, 193, 193, 193, 193,
841           193, 0, 193, 193, 0, 0, 193, 193, 0, 0,
842             0, 193, 0, 0, 193, 0, 0, 193, 0, 193,
843             0, 193, 188, 193, 0, 193, 193, 193, 193, 193,
844           193, 193, 188, 193, 0, 193, 0, 0, 0, 0,
845             0, 0, 189, 189, 189, 0, 0, 189, 189, 189,
846             0, 189, 0, 0, 0, 0, 0, 0, 0, 0,
847             0, 189, 189, 0, 0, 0, 188, 0, 0, 0,
848           189, 189, 0, 189, 189, 189, 189, 189, 0, 0,
849           188, 188, 0, 0, 0, 188, 0, 0, 0, 0,
850             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
851           189, 189, 189, 189, 189, 189, 189, 189, 189, 189,
852             0, 189, 189, 0, 0, 189, 189, 0, 0, 0,
853           189, 0, 0, 189, 0, 0, 189, 0, 189, 0,
854           189, 0, 189, 187, 189, 189, 189, 189, 189, 189,
855           189, 0, 189, 187, 189, 0, 0, 186, 186, 186,
856             0, 0, 186, 186, 186, 0, 186, 0, 0, 0,
857             0, 0, 0, 0, 0, 0, 186, 186, 0, 0,
858             0, 0, 0, 0, 0, 186, 186, 187, 186, 186,
859           186, 186, 186, 0, 0, 0, 0, 0, 0, 0,
860             0, 187, 187, 0, 0, 0, 187, 0, 0, 0,
861             0, 0, 0, 0, 0, 186, 186, 186, 186, 186,
862           186, 186, 186, 186, 186, 0, 186, 186, 0, 0,
863           186, 186, 0, 0, 0, 186, 0, 0, 186, 0,
864             0, 186, 0, 186, 0, 186, 190, 186, 0, 186,
865           186, 186, 186, 186, 186, 186, 190, 186, 0, 186,
866             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
867             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
868             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
869           190, 0, 0, 0, 188, 188, 188, 0, 0, 188,
870           188, 188, 0, 188, 190, 190, 0, 0, 0, 190,
871             0, 0, 0, 188, 188, 0, 0, 0, 0, 0,
872             0, 0, 188, 188, 0, 188, 188, 188, 188, 188,
873             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
874             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
875             0, 0, 188, 188, 188, 188, 188, 188, 188, 188,
876           188, 188, 0, 188, 188, 0, 0, 188, 188, 191,
877             0, 0, 188, 0, 0, 188, 0, 0, 188, 191,
878           188, 0, 188, 0, 188, 0, 188, 188, 188, 188,
879           188, 188, 188, 0, 188, 0, 188, 0, 0, 0,
880             0, 0, 0, 0, 0, 187, 187, 187, 0, 0,
881           187, 187, 187, 191, 187, 0, 0, 0, 0, 0,
882             0, 0, 0, 0, 187, 187, 0, 191, 191, 0,
883             0, 0, 191, 187, 187, 0, 187, 187, 187, 187,
884           187, 0, 0, 0, 0, 0, 0, 0, 0, 0,
885             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
886             0, 0, 0, 187, 187, 187, 187, 187, 187, 187,
887           187, 187, 187, 0, 187, 187, 0, 0, 187, 187,
888             0, 0, 0, 187, 0, 0, 187, 0, 0, 187,
889             0, 187, 0, 187, 422, 187, 0, 187, 187, 187,
890           187, 187, 187, 187, 422, 187, 0, 187, 190, 190,
891           190, 0, 0, 190, 190, 190, 0, 190, 0, 0,
892             0, 0, 0, 0, 0, 0, 0, 190, 190, 0,
893             0, 0, 0, 0, 0, 0, 190, 190, 74, 190,
894           190, 190, 190, 190, 0, 0, 0, 0, 0, 0,
895             0, 0, 0, 422, 0, 82, 0, 422, 0, 0,
896             0, 0, 0, 0, 0, 0, 190, 190, 190, 190,
897           190, 190, 190, 190, 190, 190, 0, 190, 190, 0,
898             0, 190, 190, 0, 0, 422, 190, 0, 0, 190,
899             0, 0, 190, 0, 190, 0, 190, 0, 190, 0,
900           190, 190, 190, 190, 190, 190, 190, 0, 190, 0,
901           190, 272, 0, 0, 0, 0, 0, 0, 0, 0,
902             0, 272, 0, 0, 0, 0, 0, 0, 0, 40,
903             0, 191, 191, 191, 0, 0, 191, 191, 191, 40,
904           191, 0, 0, 0, 0, 0, 0, 0, 0, 0,
905           191, 191, 0, 0, 0, 81, 0, 0, 0, 191,
906           191, 0, 191, 191, 191, 191, 191, 0, 0, 0,
907           272, 0, 89, 0, 272, 0, 0, 0, 0, 0,
908             0, 0, 0, 0, 0, 0, 0, 40, 40, 191,
909           191, 191, 191, 191, 191, 191, 191, 191, 191, 0,
910           191, 191, 272, 0, 191, 191, 0, 0, 0, 191,
911             0, 0, 191, 0, 0, 191, 0, 191, 0, 191,
912           279, 191, 0, 191, 191, 191, 191, 191, 191, 191,
913           279, 191, 0, 191, 0, 312, 313, 314, 315, 316,
914           317, 318, 0, 0, 321, 322, 0, 0, 0, 0,
915             0, 325, 326, 0, 0, 0, 422, 422, 422, 0,
916             0, 0, 422, 422, 80, 422, 327, 0, 328, 0,
917           329, 330, 331, 332, 333, 334, 335, 0, 336, 279,
918             0, 88, 0, 279, 422, 422, 0, 422, 422, 422,
919           422, 422, 0, 0, 0, 0, 280, 0, 0, 0,
920             0, 0, 0, 0, 0, 0, 280, 0, 0, 0,
921             0, 279, 0, 422, 422, 422, 422, 422, 422, 422,
922           422, 422, 422, 422, 422, 422, 422, 0, 0, 422,
923           422, 422, 0, 423, 0, 0, 0, 422, 0, 0,
924            75, 0, 0, 0, 422, 0, 422, 0, 422, 422,
925           422, 422, 422, 422, 422, 280, 422, 83, 422, 280,
926             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
927             0, 0, 0, 272, 272, 272, 0, 0, 0, 272,
928           272, 0, 272, 0, 0, 0, 0, 280, 0, 0,
929             0, 40, 40, 40, 0, 0, 40, 40, 40, 0,
930            40, 272, 272, 0, 272, 272, 272, 272, 272, 0,
931            40, 0, 0, 0, 0, 0, 0, 0, 184, 40,
932            40, 0, 40, 40, 40, 40, 40, 0, 184, 0,
933           272, 272, 272, 272, 272, 272, 272, 272, 272, 272,
934           272, 272, 272, 272, 0, 0, 272, 272, 272, 0,
935             0, 0, 0, 0, 272, 0, 0, 0, 0, 0,
936             0, 272, 184, 272, 0, 272, 272, 272, 272, 272,
937           272, 272, 40, 272, 0, 272, 184, 184, 0, 0,
938             0, 184, 279, 279, 279, 0, 0, 0, 279, 279,
939             0, 279, 0, 40, 0, 0, 0, 0, 0, 0,
940             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
941           279, 279, 0, 279,
942       };
943    }
944
945    private static final short[] yyTable3() {
946       return new short[] {
947
948           279, 279, 279, 279, 0, 0, 0, 0, 0, 0,
949             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
950             0, 0, 0, 0, 0, 279, 279, 279, 279, 279,
951           279, 279, 279, 279, 279, 279, 279, 279, 279, 0,
952             0, 279, 279, 279, 280, 280, 280, 0, 0, 279,
953           280, 280, 0, 280, 0, 0, 279, 0, 279, 0,
954           279, 279, 279, 279, 279, 279, 279, 0, 279, 0,
955           279, 0, 280, 280, 0, 280, 280, 280, 280, 280,
956             0, 0, 0, 0, 0, 0, 0, 0, 0, 185,
957             0, 0, 0, 0, 0, 0, 0, 0, 0, 185,
958             0, 280, 280, 280, 280, 280, 280, 280, 280, 280,
959           280, 280, 280, 280, 280, 0, 0, 280, 280, 280,
960             0, 0, 0, 0, 0, 280, 0, 0, 0, 0,
961             0, 0, 280, 185, 280, 0, 280, 280, 280, 280,
962           280, 280, 280, 0, 280, 0, 280, 185, 185, 0,
963             0, 0, 185, 0, 0, 0, 0, 0, 0, 0,
964             0, 0, 0, 0, 0, 0, 184, 184, 184, 0,
965             0, 184, 184, 184, 0, 184, 0, 0, 0, 0,
966             0, 0, 0, 0, 0, 184, 184, 0, 0, 0,
967             0, 0, 0, 0, 184, 184, 0, 184, 184, 184,
968           184, 184, 0, 0, 0, 0, 0, 0, 0, 0,
969             0, 209, 0, 0, 0, 0, 0, 0, 0, 0,
970             0, 209, 0, 0, 184, 184, 184, 184, 184, 184,
971           184, 184, 184, 184, 0, 184, 184, 0, 0, 184,
972           184, 0, 0, 0, 184, 0, 0, 184, 0, 0,
973           184, 0, 184, 0, 0, 209, 184, 0, 0, 0,
974           184, 184, 184, 184, 184, 0, 184, 0, 184, 209,
975           209, 0, 0, 0, 209, 0, 0, 0, 513, 514,
976             0, 0, 515, 0, 0, 0, 0, 0, 0, 0,
977           160, 161, 0, 162, 163, 164, 165, 0, 166, 167,
978             0, 0, 168, 0, 0, 0, 0, 169, 170, 171,
979           172, 0, 0, 0, 0, 210, 0, 0, 0, 0,
980             0, 0, 0, 174, 175, 210, 176, 177, 178, 179,
981           180, 181, 182, 183, 184, 0, 185, 0, 0, 186,
982             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
983             0, 185, 185, 185, 0, 0, 185, 185, 185, 210,
984           185, 0, 0, 0, 0, 0, 0, 0, 0, 0,
985           185, 185, 0, 210, 210, 0, 0, 0, 210, 185,
986           185, 0, 185, 185, 185, 185, 185, 0, 0, 0,
987             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
988             0, 0, 0, 0, 0, 0, 0, 0, 0, 185,
989           185, 185, 185, 185, 185, 185, 185, 185, 185, 0,
990           185, 185, 0, 0, 185, 185, 196, 0, 0, 185,
991             0, 0, 185, 0, 0, 185, 196, 185, 0, 0,
992             0, 185, 0, 0, 0, 185, 185, 185, 185, 185,
993             0, 185, 0, 185, 0, 0, 0, 0, 0, 0,
994             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
995           196, 0, 0, 209, 209, 209, 0, 0, 209, 209,
996           209, 0, 209, 0, 196, 196, 0, 0, 0, 196,
997             0, 0, 209, 209, 0, 0, 0, 0, 0, 0,
998             0, 209, 209, 0, 209, 209, 209, 209, 209, 0,
999             0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1000            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1001            0, 209, 209, 209, 209, 209, 209, 209, 209, 209,
1002          209, 0, 209, 209, 0, 0, 209, 209, 0, 0,
1003            0, 209, 0, 0, 209, 195, 0, 209, 0, 209,
1004            0, 0, 0, 209, 0, 195, 0, 0, 0, 209,
1005          209, 209, 0, 209, 0, 209, 0, 210, 210, 210,
1006            0, 0, 210, 210, 210, 0, 210, 0, 0, 0,
1007            0, 0, 0, 0, 0, 0, 210, 210, 0, 195,
1008            0, 0, 0, 0, 0, 210, 210, 0, 210, 210,
1009          210, 210, 210, 195, 195, 0, 0, 0, 195, 0,
1010            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1011            0, 0, 0, 0, 0, 210, 210, 210, 210, 210,
1012          210, 210, 210, 210, 210, 0, 210, 210, 0, 0,
1013          210, 210, 0, 0, 0, 210, 0, 0, 210, 0,
1014            0, 210, 0, 210, 0, 0, 199, 210, 0, 0,
1015            0, 0, 0, 210, 210, 210, 199, 210, 0, 210,
1016            0, 0, 0, 0, 0, 0, 0, 0, 196, 196,
1017          196, 0, 0, 196, 196, 196, 0, 196, 0, 0,
1018            0, 0, 0, 0, 0, 0, 0, 196, 196, 0,
1019          199, 0, 0, 0, 0, 0, 196, 196, 0, 196,
1020          196, 196, 196, 196, 199, 199, 0, 0, 0, 199,
1021            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1022            0, 0, 0, 0, 0, 0, 196, 196, 196, 196,
1023          196, 196, 196, 196, 196, 196, 0, 196, 196, 0,
1024            0, 0, 0, 0, 0, 0, 196, 0, 0, 196,
1025          201, 0, 196, 0, 196, 0, 0, 0, 196, 0,
1026          201, 0, 0, 0, 196, 196, 196, 0, 196, 0,
1027          196, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1028            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1029            0, 0, 0, 0, 201, 0, 0, 195, 195, 195,
1030            0, 0, 195, 195, 195, 0, 195, 0, 201, 201,
1031            0, 0, 0, 201, 0, 0, 195, 195, 0, 0,
1032            0, 0, 0, 0, 0, 195, 195, 0, 195, 195,
1033          195, 195, 195, 0, 0, 0, 0, 0, 0, 0,
1034            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1035            0, 0, 0, 0, 0, 195, 195, 195, 195, 195,
1036          195, 195, 195, 195, 195, 0, 195, 195, 0, 0,
1037            0, 0, 200, 0, 0, 195, 0, 0, 195, 0,
1038            0, 195, 200, 195, 0, 0, 0, 0, 0, 0,
1039            0, 0, 0, 195, 195, 195, 0, 195, 0, 195,
1040            0, 0, 0, 0, 0, 0, 0, 0, 199, 199,
1041          199, 0, 0, 199, 199, 199, 200, 199, 0, 0,
1042            0, 0, 0, 0, 0, 0, 0, 199, 199, 0,
1043          200, 200, 0, 0, 0, 200, 199, 199, 0, 199,
1044          199, 199, 199, 199, 0, 0, 0, 0, 0, 0,
1045            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1046            0, 0, 0, 0, 0, 0, 199, 199, 199, 199,
1047          199, 199, 199, 199, 199, 199, 0, 199, 199, 0,
1048            0, 0, 0, 0, 0, 0, 199, 0, 0, 199,
1049          198, 0, 199, 0, 199, 0, 0, 0, 0, 0,
1050          198, 0, 0, 0, 199, 199, 0, 0, 0, 0,
1051          199, 0, 201, 201, 201, 0, 0, 201, 201, 201,
1052            0, 201, 0, 0, 0, 0, 0, 0, 0, 0,
1053            0, 201, 201, 0, 198, 0, 0, 0, 0, 0,
1054          201, 201, 0, 201, 201, 201, 201, 201, 198, 198,
1055            0, 0, 0, 198, 0, 0, 0, 0, 0, 0,
1056            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1057          201, 201, 201, 201, 201, 201, 201, 201, 201, 201,
1058            0, 201, 201, 0, 0, 0, 0, 0, 0, 197,
1059          201, 0, 0, 201, 0, 0, 201, 0, 201, 197,
1060            0, 0, 0, 0, 0, 0, 0, 0, 201, 201,
1061            0, 0, 0, 0, 201, 0, 0, 0, 0, 0,
1062            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1063            0, 0, 0, 197, 200, 200, 200, 0, 0, 200,
1064          200, 200, 0, 200, 0, 0, 0, 197, 197, 0,
1065            0, 0, 197, 200, 200, 0, 0, 0, 0, 0,
1066            0, 0, 200, 200, 0, 200, 200, 200, 200, 200,
1067            0, 0, 0, 0, 0, 0, 0, 0, 0, 202,
1068            0, 0, 0, 0, 0, 0, 0, 0, 0, 202,
1069            0, 0, 200, 200, 200, 200, 200, 200, 200, 200,
1070          200, 200, 0, 200, 200, 0, 0, 0, 0, 0,
1071            0, 0, 200, 0, 0, 200, 0, 0, 200, 0,
1072          200, 0, 0, 202, 0, 0, 0, 0, 0, 0,
1073          200, 200, 0, 0, 0, 0, 200, 202, 202, 0,
1074            0, 0, 202, 0, 0, 0, 0, 0, 0, 0,
1075            0, 0, 198, 198, 198, 0, 0, 198, 198, 198,
1076            0, 198, 0, 0, 0, 0, 0, 0, 0, 0,
1077            0, 198, 198, 0, 0, 0, 0, 0, 0, 0,
1078          198, 198, 203, 198, 198, 198, 198, 198, 0, 0,
1079            0, 0, 203, 0, 0, 0, 0, 0, 0, 0,
1080            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1081          198, 198, 198, 198, 198, 198, 198, 198, 198, 198,
1082            0, 198, 198, 0, 0, 0, 203, 0, 0, 0,
1083          198, 0, 0, 198, 0, 0, 198, 0, 198, 0,
1084          203, 203, 0, 0, 0, 203, 0, 0, 198, 198,
1085            0, 197, 197, 197, 198, 0, 197, 197, 197, 0,
1086          197, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1087          197, 197, 0, 0, 0, 0, 0, 0, 0, 197,
1088          197, 204, 197, 197, 197, 197, 197, 0, 0, 0,
1089            0, 204, 0, 0, 0, 0, 0, 0, 0, 0,
1090            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1091            0, 0, 0, 0, 0, 197, 197, 0, 0, 0,
1092          197, 197, 0, 0, 0, 204, 0, 0, 0, 197,
1093            0, 0, 197, 0, 0, 197, 0, 197, 0, 204,
1094          204, 202, 202, 202, 204, 0, 202, 202, 202, 0,
1095          202, 0, 0, 197, 0, 0, 0, 0, 0, 0,
1096          202, 202, 0, 0, 0, 0, 0, 0, 0, 202,
1097          202, 211, 202, 202, 202, 202, 202, 0, 0, 0,
1098            0, 211, 0, 0, 0, 0, 0, 0, 0, 0,
1099            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1100            0, 0, 0, 0, 0, 202, 202, 0, 0, 0,
1101          202, 202, 0, 0, 0, 211, 0, 0, 0, 202,
1102            0, 0, 202, 0, 0, 202, 0, 202, 0, 211,
1103          211, 0, 0, 0, 211, 0, 0, 0, 0, 0,
1104            0, 0, 0, 202, 203, 203, 203, 0, 0, 203,
1105          203, 203, 0, 203, 0, 0, 0, 0, 205, 0,
1106            0, 0, 0, 203, 203, 0, 0, 0, 205, 0,
1107            0, 0, 203, 203, 0, 203, 203, 203, 203, 203,
1108            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1109            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1110            0, 0, 205, 0, 0, 0, 0, 0, 203, 203,
1111            0, 0, 0, 203, 203, 0, 205, 205, 0, 0,
1112            0, 205, 203, 0, 0, 203, 0, 0, 203, 0,
1113          203, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1114            0, 0, 0, 204, 204, 204, 203, 206, 204, 204,
1115          204, 0, 204, 0, 0, 0, 0, 206, 0, 0,
1116            0, 0, 204, 204, 0, 0, 0, 0, 0, 0,
1117            0, 204, 204, 0, 204, 204, 204, 204, 204, 0,
1118            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1119            0, 206, 0, 0, 0, 0, 0, 0, 0, 0,
1120            0, 0, 0, 0, 0, 206, 206, 204, 204, 0,
1121          206, 0, 204, 204, 0, 0, 0, 0, 0, 0,
1122            0, 204, 0, 0, 204, 0, 0, 204, 0, 204,
1123            0, 0, 0, 211, 211, 211, 212, 0, 211, 211,
1124          211, 0, 211, 0, 0, 204, 212, 0, 0, 0,
1125            0, 0, 211, 211, 0, 0, 0, 0, 0, 0,
1126            0, 211, 211, 0, 211, 211, 211, 211, 211, 0,
1127            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1128          212, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1129            0, 0, 0, 0, 212, 212, 0, 211, 211, 212,
1130            0, 0, 211, 211, 0, 0, 0, 0, 0, 0,
1131            0, 211, 0, 0, 211, 0, 0, 211, 0, 211,
1132          205, 205, 205, 183, 0, 205, 205, 205, 0, 205,
1133            0, 0, 0, 183, 0, 211, 0, 0, 0, 205,
1134          205, 0, 0, 0, 0, 0, 0, 0, 205, 205,
1135            0, 205, 205, 205, 205, 205, 0, 0, 0, 0,
1136            0, 216, 0, 0, 0, 0, 0, 183, 0, 0,
1137            0, 216, 0, 0, 0, 0, 0, 0, 0, 0,
1138            0, 183, 183, 0, 205, 205, 183, 0, 0, 205,
1139          205, 0, 0, 0, 0, 0, 0, 0, 205, 0,
1140            0, 205, 0, 0, 205, 216, 205, 0, 0, 206,
1141          206, 206, 0, 0, 206, 206, 206, 0, 206, 216,
1142          216, 0, 205, 0, 0, 0, 0, 0, 206, 206,
1143            0, 0, 0, 0, 0, 0, 0, 206, 206, 0,
1144          206, 206, 206, 206, 206, 0, 0, 0, 0, 0,
1145          213, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1146          213, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1147            0, 0, 0, 206, 206, 0, 0, 0, 206, 206,
1148            0, 0, 0, 0, 0, 0, 0, 206, 0, 0,
1149          206, 181, 0, 206, 213, 206, 0, 0, 212, 212,
1150          212, 181, 0, 212, 212, 212, 0, 212, 213, 213,
1151            0, 206, 0, 0, 0, 0, 0, 212, 212, 0,
1152            0, 0, 0, 0, 0, 0, 212, 212, 0, 212,
1153          212, 212, 212, 212, 0, 181, 0, 0, 0, 0,
1154            0, 0, 0, 0, 0, 0, 0, 0, 0, 181,
1155          181, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1156            0, 0, 0, 212, 0, 0, 0, 212, 212, 0,
1157            0, 0, 0, 0, 0, 0, 212, 0, 174, 212,
1158            0, 0, 212, 0, 212, 183, 183, 183, 174, 0,
1159          183, 183, 183, 0, 183, 0, 0, 0, 0, 0,
1160          212, 0, 0, 0, 183, 183, 0, 0, 0, 0,
1161            0, 0, 0, 183, 183, 0, 183, 183, 183, 183,
1162          183, 0, 174, 216, 216, 216, 0, 0, 216, 216,
1163          216, 0, 216, 0, 0, 0, 174, 174, 180, 0,
1164            0, 0, 216, 216, 0, 0, 0, 0, 180, 0,
1165            0, 216, 216, 0, 216, 216, 216, 216, 216, 0,
1166            0, 0, 0, 183, 0, 0, 183, 0, 0, 183,
1167            0, 183, 0, 0, 0, 0, 214, 0, 0, 0,
1168            0, 0, 180, 0, 0, 0, 214, 183, 0, 0,
1169            0, 0, 0, 0, 0, 0, 180, 180, 0, 0,
1170            0, 216, 0, 0, 216, 0, 0, 216, 0, 216,
1171            0, 0, 213, 213, 213, 0, 0, 213, 213, 213,
1172          214, 213, 0, 0, 0, 216, 0, 0, 0, 0,
1173            0, 213, 213, 0, 214, 214, 0, 0, 0, 0,
1174          213, 213, 0, 213, 213, 213, 213, 213, 0, 0,
1175            0, 0, 0, 181, 181, 181, 0, 0, 181, 181,
1176          181, 0, 181, 0, 176, 0, 0, 0, 0, 0,
1177            0, 0, 181, 181, 176, 0, 0, 0, 0, 0,
1178            0, 181, 181, 0, 181, 181, 181, 181, 181, 0,
1179          213, 0, 0, 213, 0, 0, 213, 0, 213, 0,
1180            0, 0, 0, 0, 0, 0, 177, 0, 176, 0,
1181            0, 0, 0, 0, 213, 0, 177, 0, 0, 0,
1182            0, 0, 176, 176, 0, 0, 0, 0, 0, 0,
1183            0, 181, 0, 0, 181, 0, 0, 181, 0, 181,
1184          174, 174, 174, 0, 0, 174, 174, 174, 0, 174,
1185          177, 0, 0, 0, 0, 181, 0, 0, 0, 174,
1186          174, 0, 0, 0, 177, 177, 0, 0, 174, 174,
1187            0, 174, 174, 174, 174, 174, 0, 0, 0, 0,
1188            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1189            0, 0, 0, 178, 0, 0, 0, 0, 0, 0,
1190          180, 180, 180, 178, 0, 180, 180, 180, 0, 180,
1191            0, 0, 0, 0, 0, 0, 0, 0, 174, 180,
1192          180, 174, 0, 0, 174, 0, 174, 0, 180, 180,
1193            0, 180, 180, 180, 180, 180, 0, 178, 214, 214,
1194          214, 0, 174, 214, 214, 214, 0, 214, 0, 0,
1195            0, 178, 178, 179, 0, 0, 0, 214, 214, 0,
1196            0, 0, 0, 179, 0, 0, 214, 214, 0, 214,
1197          214, 214, 214, 214, 0, 0, 0, 0, 180, 0,
1198            0, 180, 0, 0, 180, 0, 180, 0, 0, 0,
1199            0, 0, 0, 0, 0, 0, 0, 179, 0, 0,
1200            0, 0, 180, 0, 0, 0, 0, 0, 0, 0,
1201            0, 179, 179, 0, 0, 0, 214, 0, 0, 214,
1202            0, 0, 214, 0, 214, 0, 176, 176, 176, 0,
1203            0, 176, 176, 176, 0, 176, 0, 0, 0, 0,
1204          214, 0, 0, 0, 0, 176, 176, 0, 0, 0,
1205            0, 0, 0, 0, 176, 176, 0, 176, 176, 176,
1206          176, 176, 173, 0, 0, 0, 0, 0, 177, 177,
1207          177, 0, 173, 177, 177, 177, 0, 177, 0, 0,
1208            0, 0, 0, 0, 0, 0, 0, 177, 177, 0,
1209            0, 0, 0, 0, 0, 0, 177, 177, 0, 177,
1210          177, 177, 177, 177, 176, 0, 173, 176, 0, 0,
1211          176, 0, 176, 0, 0, 0, 0, 0, 0, 0,
1212          173, 173, 175, 0, 0, 0, 0, 0, 176, 0,
1213            0, 0, 175, 0, 0, 0, 0, 0, 0, 0,
1214            0, 0, 0, 0, 0, 0, 177, 0, 0, 177,
1215            0, 0, 177, 0, 177, 178, 178, 178, 0, 0,
1216          178, 178, 178, 0, 178, 0, 175, 0, 0, 0,
1217          177, 0, 0, 0, 178, 178, 0, 0, 0, 0,
1218          175, 175, 0, 178, 178, 0, 178, 178, 178, 178,
1219          178, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1220            0, 0, 0, 0, 0, 0, 0, 0, 0, 260,
1221            0, 0, 0, 0, 0, 179, 179, 179, 0, 260,
1222          179, 179, 179, 0, 179, 0, 0, 0, 0, 0,
1223            0, 0, 0, 178, 179, 179, 178, 0, 0, 178,
1224            0, 178, 0, 179, 179, 172, 179, 179, 179, 179,
1225          179, 0, 0, 260, 0, 172, 0, 178, 0, 0,
1226            0, 0, 0, 0, 0, 0, 0, 260, 260, 0,
1227            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1228            0, 0, 0, 0, 0, 0, 0, 0, 0, 172,
1229            0, 0, 0, 179, 0, 0, 179, 0, 0, 179,
1230            0, 179, 0, 172, 172, 0, 0, 0, 0, 0,
1231            0, 0, 0, 0, 0, 0, 0, 179, 0, 0,
1232            0, 0, 0, 0, 173, 173, 173, 0, 0, 173,
1233          173, 173, 0, 173, 0, 0, 261, 0, 0, 0,
1234            0, 0, 0, 173, 173, 0, 261, 0, 0, 0,
1235            0, 0, 173, 173, 0, 173, 173, 173, 173, 173,
1236            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1237            0, 0, 54, 0, 0, 0, 0, 0, 0, 0,
1238          261, 0, 54, 0, 175, 175, 175, 0, 0, 175,
1239          175, 175, 0, 175, 261, 261, 0, 0, 0, 0,
1240            0, 0, 173, 175, 175, 173, 0, 0, 173, 0,
1241          173, 0, 175, 175, 0, 175, 175, 175, 175, 175,
1242            0, 0, 0, 0, 0, 0, 173, 0, 0, 0,
1243           54, 54, 0, 0, 0, 56, 0, 0, 0, 0,
1244            0, 0, 0, 0, 0, 56, 0, 0, 0, 0,
1245            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1246            0, 0, 175, 0, 0, 175, 0, 0, 175, 0,
1247          175, 260, 260, 260, 0, 42, 260, 260, 260, 0,
1248          260, 0, 0, 0, 0, 42, 175, 0, 0, 0,
1249          260, 260, 0, 56, 56, 0, 0, 0, 0, 260,
1250          260, 0, 260, 260, 260, 260, 260, 172, 172, 172,
1251            0, 0, 172, 172, 172, 0, 172, 0, 0, 0,
1252           47, 0, 0, 0, 0, 0, 172, 172, 0, 0,
1253           47, 0, 0, 42, 42, 172, 172, 0, 172, 172,
1254          172, 172, 0, 0, 0, 0, 0, 0, 0, 0,
1255            0, 0, 260, 0, 0, 260, 0, 260, 0, 0,
1256            0, 41, 0, 0, 0, 0, 0, 0, 0, 0,
1257            0, 41, 0, 260, 0, 0, 0, 0, 47, 47,
1258            0, 0, 0, 0, 0, 172, 0, 0, 172, 0,
1259            0, 172, 0, 172, 0, 0, 0, 0, 261, 261,
1260          261, 0, 0, 261, 261, 261, 0, 261, 0, 172,
1261            0, 0, 0, 0, 0, 0, 0, 261, 261, 41,
1262           41, 0, 0, 0, 0, 0, 261, 261, 0, 261,
1263          261, 261, 261, 261, 54, 54, 54, 0, 0, 54,
1264           54, 54, 0, 54, 0, 0, 0, 0, 0, 0,
1265            0, 0, 0, 54, 54, 0, 0, 0, 0, 0,
1266            0, 0, 54, 54, 90, 54, 54, 54, 54, 54,
1267            0, 0, 0, 0, 0, 0, 0, 0, 0, 261,
1268            0, 0, 261, 0, 261, 0, 0, 0, 0, 0,
1269            0, 0, 0, 0, 0, 0, 0, 56, 56, 56,
1270          261, 0, 56, 56, 56, 0, 56, 0, 0, 0,
1271            0, 0, 0, 90, 0, 54, 56, 56, 54, 0,
1272            0, 0, 0, 0, 0, 56, 56, 0, 56, 56,
1273           56, 56, 56, 0, 0, 0, 54, 42, 42, 42,
1274            0, 0, 42, 42, 42, 411, 42, 0, 0, 0,
1275            0, 0, 0, 0, 0, 0, 42, 0, 0, 0,
1276            0, 0, 0, 0, 0, 42, 42, 0, 42, 42,
1277           42, 42, 42, 0, 0, 0, 0, 0, 56, 0,
1278            0, 56, 47, 47, 47, 91, 0, 47, 47, 47,
1279            0, 47, 0, 0, 0, 0, 0, 0, 0, 56,
1280            0, 47, 0, 0, 0, 0, 0, 0, 0, 0,
1281           47, 47, 0, 47, 47, 47, 47, 47, 42, 0,
1282            0, 0, 0, 41, 41, 41, 0, 0, 41, 41,
1283           41, 0, 41, 0, 91, 0, 0, 0, 0, 42,
1284            0, 0, 41, 0, 0, 0, 0, 0, 0, 0,
1285            0, 0, 0, 0, 41, 41, 41, 41, 41, 0,
1286            0, 0, 0, 47, 0, 0, 414, 0, 0, 0,
1287            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1288            0, 0, 0, 0, 47, 0, 0, 0, 0, 0,
1289            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1290            0, 90, 0, 0, 41, 0, 0, 0, 0, 0,
1291           90, 90, 90, 90, 90, 90, 90, 90, 90, 90,
1292           90, 0, 0, 90, 90, 41, 90, 90, 90, 90,
1293           90, 90, 90, 0, 468, 0, 0, 90, 90, 90,
1294           90, 90, 90, 90, 0, 0, 90, 0, 0, 0,
1295           90, 0, 90, 90, 90, 90, 90, 90, 90, 90,
1296           90, 90, 90, 90, 90, 90, 0, 90, 90, 0,
1297           90, 90, 90, 0, 0, 0, 0, 0, 0, 0,
1298            0, 0, 475, 0, 411, 0, 0, 0, 0, 0,
1299            0, 411, 90, 0, 0, 90, 468, 0, 90, 90,
1300            0, 90, 0, 90, 0, 0, 0, 90, 0, 0,
1301            0, 0, 90, 0, 0, 90, 0, 468, 0, 91,
1302           90, 90, 90, 90, 90, 90, 0, 0, 0, 0,
1303            0, 91, 91, 91, 91, 91, 91, 91, 91, 91,
1304           91, 91, 0, 0, 91, 91, 0, 91, 91, 91,
1305           91, 91, 91, 91, 0, 469, 0, 0, 91, 91,
1306           91, 91, 91, 91, 91, 0, 0, 91, 91, 0,
1307            0, 0, 0, 91, 91, 91, 91, 91, 91, 91,
1308           91, 91, 91, 91, 91, 91, 91, 0, 91, 91,
1309            0, 91, 91, 91, 0, 0, 0, 0, 0, 0,
1310          278, 0, 0, 0, 0, 414, 0, 0, 0, 0,
1311            0, 0, 414, 91, 0, 0, 91, 469, 0, 91,
1312           91, 0, 91, 0, 91, 0, 0, 0, 91, 0,
1313            0, 0, 0, 91, 0, 91, 91, 0, 469, 0,
1314            0, 91, 91, 91, 91, 91, 91, 90, 90, 90,
1315           90, 90, 90, 90, 90, 90, 90, 90, 0, 0,
1316           90, 90, 0, 90, 90, 90, 90, 90, 90, 90,
1317            0, 475, 0, 0, 90, 90, 90, 90, 90, 90,
1318           90, 0, 0, 90, 91, 0, 0, 0, 0, 90,
1319           90, 90, 90, 90, 90, 90, 90, 90, 90, 90,
1320           90, 90, 90, 0, 90, 90, 0, 90, 90, 90,
1321            0, 0, 0, 0, 0, 0, 279, 0, 0, 0,
1322            0, 475, 0, 0, 0, 0, 0, 0, 475, 90,
1323            0, 0, 90, 471, 0, 90, 90, 0, 90, 0,
1324           90, 0, 0, 0, 90, 0, 0, 0, 0, 90,
1325            0, 322, 90, 0, 475, 0, 0, 90, 90, 90,
1326           90, 90, 90, 0, 0, 91, 91, 91, 91, 91,
1327           91, 91, 91, 91, 91, 91, 0, 0, 91, 91,
1328            0, 91, 91, 91, 91, 91, 91, 91, 0, 0,
1329            0, 0, 91, 91, 91, 91, 91, 91, 91, 0,
1330          322, 91, 0, 0, 0, 0, 0, 91, 91, 91,
1331           91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
1332           91, 0, 91, 91, 0, 91, 91, 91, 0, 0,
1333            0, 0, 0, 0, 0, 0, 0, 0, 0, 278,
1334            0, 0, 0, 0, 0, 0, 278, 91, 0, 0,
1335           91, 472, 0, 91, 91, 0, 91, 0, 91, 0,
1336            0, 0, 91, 0, 0, 0, 0, 91, 0, 491,
1337           91, 0, 0, 0, 0, 91, 91, 91, 91, 91,
1338           91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
1339           91, 91, 0, 0, 91, 91, 0, 91, 91, 91,
1340           91, 91, 91, 91, 0, 0, 0, 0, 91, 91,
1341           91, 91, 91, 91, 91, 0, 0, 91, 491, 0,
1342            0, 0, 0, 91, 91, 91, 91, 91, 91, 91,
1343           91, 91, 91, 91, 91, 91, 91, 0, 91, 91,
1344            0, 91, 91, 91, 0, 0, 0, 0, 0, 0,
1345            0, 0, 0, 0, 0, 279, 0, 0, 0, 0,
1346            0, 0, 279, 91, 0, 0, 91, 0, 0, 91,
1347           91, 0, 91, 0, 91, 0, 0, 0, 91, 0,
1348            0, 0, 0, 91, 0, 491, 91, 0, 0, 0,
1349            0, 91, 91, 91, 91, 91, 91, 322, 322, 322,
1350          322, 322, 322, 322, 322, 322, 322, 322, 0, 322,
1351          322, 322, 322, 322, 322, 322, 322, 322, 322, 322,
1352            0, 0, 0, 0, 322, 322, 322, 322, 322, 322,
1353          322, 0, 0, 322, 491, 0, 0, 0, 0, 322,
1354          322, 322, 322, 322, 322, 322, 322, 322, 322, 322,
1355          322, 322, 322, 0, 322, 322, 0, 322, 322, 322,
1356            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1357            0, 0, 0, 0, 0, 0, 0, 0, 0, 322,
1358            0, 0, 322, 0, 0, 322, 322, 0, 322, 0,
1359          322, 0, 0, 0, 322, 0, 0, 0, 0, 0,
1360            0, 0, 322, 0, 0, 0, 0, 322, 322, 322,
1361          322, 322, 322, 0, 0, 491, 491, 491, 491, 491,
1362          491, 0, 0, 491, 491, 491, 0, 0, 0, 491,
1363            0, 491, 491, 491, 491, 491, 491, 491, 0, 0,
1364            0, 0, 491, 491, 491, 491, 491, 491, 491, 396,
1365            0, 491, 0, 0, 0, 0, 0, 491, 491, 491,
1366          491, 491, 491, 491, 491, 491, 491, 491, 491, 491,
1367          491, 0, 491, 491, 0, 491, 491, 491, 0, 0,
1368            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1369            0, 0, 0, 0, 0, 0, 0, 491, 0, 0,
1370          491, 0, 0, 491, 491, 0, 491, 0, 491, 0,
1371            0, 0, 491, 0, 0, 0, 0, 0, 0, 0,
1372          491, 0, 0, 0, 0, 491, 491, 491, 491, 491,
1373          491, 491, 491, 491, 491, 491, 491, 0, 0, 0,
1374          491, 491, 0, 0, 0, 491, 0, 491, 491, 491,
1375          491, 491, 491, 491, 0, 0, 0, 0, 491, 491,
1376          491, 491, 491, 491, 491, 0, 0, 491, 0, 0,
1377            0, 0, 0, 491, 491, 491, 491, 491, 491, 491,
1378          491, 491, 491, 491, 491, 491, 491, 0, 491, 491,
1379            0, 491, 491, 491, 0, 0, 0, 0, 0, 0,
1380            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1381            0, 0, 0, 491, 0, 0, 491, 0, 0, 491,
1382          491, 0, 491, 0, 491, 0, 0, 0, 491, 0,
1383            0, 0, 0, 0, 0, 0, 491, 0, 0, 491,
1384            0, 491, 491, 491, 491, 491, 491, 4, 5, 6,
1385            7, 8, 0, 0, 0, 9, 10, 0, 0, 0,
1386           11, 0, 12, 13, 14, 15, 16, 17, 18, 0,
1387            0, 0, 0, 19, 20, 21, 22, 23, 24, 25,
1388            0, 0, 26, 0, 0, 0, 0, 0, 27, 28,
1389           29, 30, 31, 32, 33, 34, 35, 36, 37, 38,
1390           39, 40, 0, 41, 42, 0, 43, 44, 45, 0,
1391            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1392            0, 0, 0, 0, 0, 0, 0, 0, 46, 0,
1393            0, 47, 0, 0, 48, 49, 0, 50, 0, 51,
1394            0, 0, 0, 52, 0, 0, 0, 0, 0, 0,
1395            0, 53, 0, 0, 0, 0, 54, 55, 56, 57,
1396           58, 59, 4, 5, 6, 0, 8, 0, 0, 0,
1397            9, 10, 0, 0, 0, 11, 0, 12, 13, 14,
1398           96, 97, 17, 18, 0, 0, 0, 0, 98, 20,
1399           21, 22, 23, 24, 25, 0, 0, 0, 0, 0,
1400            0, 0, 0, 0, 28, 0, 0, 31, 32, 33,
1401           34, 35, 36, 37,
1402      };
1403   }
1404
1405   private static final short[] yyTable4() {
1406      return new short[] {
1407
1408           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1409            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1410            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1411            0, 0, 107, 0, 412, 48, 49, 0, 50, 0,
1412          231, 0, 232, 0, 52, 0, 0, 0, 0, 0,
1413            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1414           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1415            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1416           14, 15, 16, 17, 18, 0, 0, 0, 0, 19,
1417           20, 21, 22, 23, 24, 25, 0, 0, 26, 0,
1418            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1419           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1420           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1421            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1422            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1423           48, 49, 0, 50, 0, 619, 0, 232, 0, 52,
1424            0, 0, 0, 0, 0, 0, 0, 53, 0, 0,
1425            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1426            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1427            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1428            0, 0, 0, 0, 98, 20, 21, 22, 23, 24,
1429           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1430           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1431           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1432            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1433            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1434            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1435          231, 0, 232, 0, 52, 0, 0, 0, 0, 0,
1436            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1437           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1438            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1439           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1440           20, 21, 22, 23, 24, 25, 0, 0, 0, 0,
1441            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1442           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1443           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1444            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1445            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1446          414, 49, 0, 50, 0, 231, 0, 232, 0, 52,
1447            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1448            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1449            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1450            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1451            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1452           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1453           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1454           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1455            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1456            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1457            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1458          611, 0, 232, 0, 52, 0, 0, 0, 0, 0,
1459            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1460           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1461            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1462           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1463           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1464            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1465           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1466           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1467            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1468            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1469           48, 49, 0, 50, 0, 615, 0, 232, 0, 52,
1470            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1471            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1472            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1473            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1474            0, 0, 0, 0, 98, 20, 21, 22, 23, 24,
1475           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1476           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1477           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1478            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1479            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1480            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1481          611, 0, 232, 0, 52, 0, 0, 0, 0, 0,
1482            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1483           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1484            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1485           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1486           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1487            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1488           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1489           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1490            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1491            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1492           48, 49, 0, 50, 0, 804, 0, 232, 0, 52,
1493            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1494            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1495            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1496            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1497            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1498           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1499           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1500           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1501            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1502            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1503            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1504          808, 0, 232, 0, 52, 0, 0, 0, 0, 0,
1505            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1506           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1507            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1508           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1509           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1510            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1511           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1512           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1513            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1514            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1515           48, 49, 0, 50, 0, 812, 0, 232, 0, 52,
1516            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1517            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1518            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1519            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1520            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1521           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1522           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1523           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1524            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1525            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1526            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1527          866, 0, 232, 0, 52, 0, 0, 0, 0, 0,
1528            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1529           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1530            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1531           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1532           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1533            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1534           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1535           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1536            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1537            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1538           48, 49, 0, 50, 0, 868, 0, 232, 0, 52,
1539            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1540            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1541            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1542            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1543            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1544           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1545           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1546           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1547            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1548            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1549            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1550          880, 0, 232, 0, 52, 0, 0, 0, 0, 0,
1551            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1552           57, 58, 59, 250, 250, 250, 0, 250, 0, 0,
1553            0, 250, 250, 0, 0, 0, 250, 0, 250, 250,
1554          250, 250, 250, 250, 250, 0, 0, 0, 0, 250,
1555          250, 250, 250, 250, 250, 250, 0, 0, 0, 0,
1556            0, 0, 0, 0, 0, 250, 0, 0, 250, 250,
1557          250, 250, 250, 250, 250, 250, 250, 250, 0, 250,
1558          250, 0, 250, 250, 250, 0, 0, 0, 0, 0,
1559            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1560            0, 0, 0, 0, 250, 0, 0, 250, 0, 0,
1561          250, 250, 0, 250, 0, 250, 0, 250, 0, 250,
1562            0, 0, 0, 0, 0, 0, 0, 250, 0, 0,
1563            0, 0, 250, 250, 250, 250, 250, 250, 4, 5,
1564            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1565            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1566            0, 0, 0, 0, 98, 20, 21, 22, 23, 24,
1567           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1568           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1569           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1570            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1571            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1572            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1573          268, 0, 0, 0, 52, 0, 0, 0, 0, 0,
1574            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1575           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1576            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1577           14, 15, 16, 17, 18, 0, 0, 0, 0, 19,
1578           20, 21, 22, 23, 24, 25, 0, 0, 0, 0,
1579            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1580           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1581           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1582            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1583            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1584           48, 49, 0, 50, 0, 526, 0, 0, 0, 52,
1585            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1586            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1587            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1588            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1589            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1590           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1591           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1592           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1593            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1594            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1595            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1596          526, 0, 0, 0, 52, 0, 0, 0, 0, 0,
1597            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1598           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1599            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1600           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1601           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1602            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1603           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1604           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1605            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1606            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1607           48, 49, 0, 50, 0, 593, 0, 0, 0, 52,
1608            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1609            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1610            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1611            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1612            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1613           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1614           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1615           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1616            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1617            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1618            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1619          642, 0, 0, 0, 52, 0, 0, 0, 0, 0,
1620            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1621           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1622            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1623           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1624           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1625            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1626           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1627           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1628            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1629            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1630           48, 49, 0, 50, 0, 769, 0, 0, 0, 52,
1631            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1632            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1633            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1634            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1635            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1636           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1637           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1638           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1639            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1640            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1641            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1642          798, 0, 0, 0, 52, 0, 0, 0, 0, 0,
1643            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1644           57, 58, 59, 482, 482, 482, 0, 482, 0, 0,
1645            0, 482, 482, 0, 0, 0, 482, 0, 482, 482,
1646          482, 482, 482, 482, 482, 0, 0, 0, 0, 482,
1647          482, 482, 482, 482, 482, 482, 0, 0, 0, 0,
1648            0, 0, 0, 0, 0, 482, 0, 0, 482, 482,
1649          482, 482, 482, 482, 482, 482, 482, 482, 0, 482,
1650          482, 0, 482, 482, 482, 0, 0, 0, 0, 0,
1651            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1652            0, 0, 0, 0, 482, 0, 0, 482, 482, 0,
1653          482, 482, 0, 482, 0, 0, 0, 0, 0, 482,
1654            0, 0, 0, 0, 0, 0, 0, 482, 0, 0,
1655            0, 0, 482, 482, 482, 482, 482, 482, 4, 5,
1656            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1657            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1658            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1659           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1660           28, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1661           38, 39, 40, 0, 41, 42, 0, 43, 44, 45,
1662            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1663            0, 0, 0, 0, 0, 0, 0, 0, 0, 207,
1664            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1665            0, 0, 0, 0, 52, 0, 0, 0, 0, 0,
1666            0, 0, 233, 0, 0, 0, 0, 54, 55, 56,
1667           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1668            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1669           14, 15, 16, 17, 18, 0, 0, 0, 0, 19,
1670           20, 21, 22, 23, 24, 25, 0, 0, 0, 0,
1671            0, 0, 0, 0, 0, 28, 0, 0, 31, 32,
1672           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1673           42, 0, 43, 44, 45, 0, 0, 0, 0, 0,
1674            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1675            0, 0, 0, 0, 207, 0, 0, 107, 0, 0,
1676           48, 49, 0, 50, 0, 0, 0, 0, 0, 52,
1677            0, 0, 0, 0, 0, 0, 0, 233, 0, 0,
1678            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1679            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1680            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1681            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1682           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1683          101, 0, 0, 31, 32, 102, 34, 35, 36, 103,
1684           38, 39, 40, 0, 41, 42, 0, 0, 0, 104,
1685            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1686            0, 0, 0, 0, 0, 0, 105, 0, 0, 106,
1687            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1688            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1689            0, 0, 0, 0, 0, 0, 0, 54, 55, 56,
1690           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1691            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1692           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1693           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1694            0, 0, 0, 0, 0, 101, 0, 0, 31, 32,
1695           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1696           42, 0, 0, 0, 104, 0, 0, 0, 0, 0,
1697            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1698            0, 0, 0, 0, 224, 0, 0, 47, 0, 0,
1699           48, 49, 0, 50, 0, 51, 0, 0, 0, 0,
1700            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1701            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1702            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1703            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1704            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1705           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1706          101, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1707           38, 39, 40, 0, 41, 42, 0, 0, 0, 104,
1708            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1709            0, 0, 0, 0, 0, 0, 0, 0, 0, 278,
1710            0, 0, 348, 0, 0, 48, 49, 0, 50, 0,
1711          349, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1712            0, 0, 0, 0, 0, 0, 0, 54, 55, 56,
1713           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1714            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1715           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1716           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1717            0, 0, 0, 0, 0, 101, 0, 0, 31, 32,
1718          102, 34, 35, 36, 103, 38, 39, 40, 0, 41,
1719           42, 0, 0, 0, 104, 0, 0, 0, 0, 0,
1720            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1721            0, 0, 0, 0, 106, 0, 0, 107, 0, 0,
1722           48, 49, 0, 50, 0, 0, 0, 0, 0, 0,
1723            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1724            0, 0, 54, 55, 56, 57, 58, 59, 4, 5,
1725            6, 0, 8, 0, 0, 0, 9, 10, 0, 0,
1726            0, 11, 0, 12, 13, 14, 96, 97, 17, 18,
1727            0, 0, 0, 0, 98, 99, 100, 22, 23, 24,
1728           25, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1729          101, 0, 0, 31, 32, 33, 34, 35, 36, 37,
1730           38, 39, 40, 0, 41, 42, 0, 0, 0, 104,
1731            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1732            0, 0, 0, 0, 0, 0, 0, 0, 0, 278,
1733            0, 0, 107, 0, 0, 48, 49, 0, 50, 0,
1734            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1735            0, 0, 0, 0, 0, 0, 0, 54, 55, 56,
1736           57, 58, 59, 4, 5, 6, 0, 8, 0, 0,
1737            0, 9, 10, 0, 0, 0, 11, 0, 12, 13,
1738           14, 96, 97, 17, 18, 0, 0, 0, 0, 98,
1739           99, 100, 22, 23, 24, 25, 0, 0, 0, 0,
1740            0, 0, 0, 0, 0, 101, 0, 0, 31, 32,
1741           33, 34, 35, 36, 37, 38, 39, 40, 0, 41,
1742           42, 0, 0, 0, 104, 0, 0, 0, 0, 0,
1743            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1744            0, 0, 0, 0, 787, 0, 0, 107, 0, 0,
1745           48, 49, 0, 50, 0, 0, 0, 0, 0, 0,
1746            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1747            0, 0, 54, 55, 56, 57, 58, 59, 116, 117,
1748          118, 119, 120, 121, 122, 123, 0, 0, 124, 125,
1749          126, 127, 128, 0, 0, 129, 130, 131, 132, 133,
1750          134, 135, 0, 0, 136, 137, 138, 192, 193, 194,
1751          195, 143, 144, 145, 146, 147, 148, 149, 150, 151,
1752          152, 153, 154, 196, 197, 198, 158, 251, 0, 199,
1753            0, 0, 0, 0, 0, 0, 0, 160, 161, 0,
1754          162, 163, 164, 165, 0, 166, 167, 0, 0, 168,
1755            0, 0, 0, 0, 169, 170, 171, 172, 0, 0,
1756            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1757          174, 175, 0, 176, 177, 178, 179, 180, 181, 182,
1758          183, 184, 0, 185, 0, 0, 186, 200, 116, 117,
1759          118, 119, 120, 121, 122, 123, 0, 0, 124, 125,
1760          126, 127, 128, 0, 0, 129, 130, 131, 132, 133,
1761          134, 135, 0, 0, 136, 137, 138, 192, 193, 194,
1762          195, 143, 144, 145, 146, 147, 148, 149, 150, 151,
1763          152, 153, 154, 196, 197, 198, 158, 0, 0, 199,
1764            0, 0, 0, 0, 0, 0, 0, 160, 161, 0,
1765          162, 163, 164, 165, 0, 166, 167, 0, 0, 168,
1766            0, 0, 0, 0, 169, 170, 171, 172, 0, 0,
1767            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1768          174, 175, 0, 176, 177, 178, 179, 180, 181, 182,
1769          183, 184, 0, 185, 0, 0, 186, 200, 116, 117,
1770          118, 119, 120, 121, 122, 123, 0, 0, 124, 125,
1771          126, 127, 128, 0, 0, 129, 130, 131, 132, 133,
1772          134, 135, 0, 0, 136, 137, 138, 139, 140, 141,
1773          142, 143, 144, 145, 146, 147, 148, 149, 150, 151,
1774          152, 153, 154, 155, 156, 157, 158, 35, 36, 159,
1775           38, 0, 0, 0, 0, 0, 0, 160, 161, 0,
1776          162, 163, 164, 165, 0, 166, 167, 0, 0, 168,
1777            0, 0, 0, 0, 169, 170, 171, 172, 0, 0,
1778            0, 0, 0, 173, 0, 0, 0, 0, 0, 0,
1779          174, 175, 0, 176, 177, 178, 179, 180, 181, 182,
1780          183, 184, 0, 185, 0, 0, 186, 116, 117, 118,
1781          119, 120, 121, 122, 123, 0, 0, 124, 125, 126,
1782          127, 128, 0, 0, 129, 130, 131, 132, 133, 134,
1783          135, 0, 0, 136, 137, 138, 192, 193, 194, 195,
1784          143, 144, 145, 146, 147, 148, 149, 150, 151, 152,
1785          153, 154, 196, 197, 198, 158, 286, 287, 199, 288,
1786            0, 0, 0, 0, 0, 0, 160, 161, 0, 162,
1787          163, 164, 165, 0, 166, 167, 0, 0, 168, 0,
1788            0, 0, 0, 169, 170, 171, 172, 0, 0, 0,
1789            0, 0, 0, 0, 0, 0, 0, 0, 0, 174,
1790          175, 0, 176, 177, 178, 179, 180, 181, 182, 183,
1791          184, 0, 185, 0, 0, 186, 116, 117, 118, 119,
1792          120, 121, 122, 123, 0, 0, 124, 125, 126, 127,
1793          128, 0, 0, 129, 130, 131, 132, 133, 134, 135,
1794            0, 0, 136, 137, 138, 192, 193, 194, 195, 143,
1795          144, 145, 146, 147, 148, 149, 150, 151, 152, 153,
1796          154, 196, 197, 198, 158, 0, 0, 199, 0, 0,
1797            0, 0, 0, 0, 0, 160, 161, 0, 162, 163,
1798          164, 165, 0, 166, 167, 0, 0, 168, 0, 0,
1799            0, 0, 169, 170, 171, 172, 0, 0, 0, 0,
1800            0, 0, 0, 0, 0, 0, 0, 0, 174, 175,
1801            0, 176, 177, 178, 179, 180, 181, 182, 183, 184,
1802            0, 185, 520, 509, 186, 0, 521, 0, 0, 0,
1803            0, 0, 0, 0, 160, 161, 0, 162, 163, 164,
1804          165, 0, 166, 167, 0, 0, 168, 0, 0, 0,
1805            0, 169, 170, 171, 172, 0, 0, 0, 0, 0,
1806            0, 0, 0, 0, 0, 0, 0, 174, 175, 0,
1807          176, 177, 178, 179, 180, 181, 182, 183, 184, 0,
1808          185, 547, 514, 186, 0, 548, 0, 0, 0, 0,
1809            0, 0, 0, 160, 161, 0, 162, 163, 164, 165,
1810            0, 166, 167, 0, 0, 168, 0, 0, 0, 0,
1811          169, 170, 171, 172, 0, 0, 0, 0, 0, 0,
1812            0, 0, 0, 0, 0, 0, 174, 175, 0, 176,
1813          177, 178, 179, 180, 181, 182, 183, 184, 0, 185,
1814          584, 509, 186, 0, 585, 0, 0, 0, 0, 0,
1815            0, 0, 160, 161, 0, 162, 163, 164, 165, 0,
1816          166, 167, 0, 0, 168, 0, 0, 0, 0, 169,
1817          170, 171, 172, 0, 0, 0, 0, 0, 0, 0,
1818            0, 0, 0, 0, 0, 174, 175, 0, 176, 177,
1819          178, 179, 180, 181, 182, 183, 184, 0, 185, 586,
1820          514, 186, 0, 587, 0, 0, 0, 0, 0, 0,
1821            0, 160, 161, 0, 162, 163, 164, 165, 0, 166,
1822          167, 0, 0, 168, 0, 0, 0, 0, 169, 170,
1823          171, 172, 0, 0, 0, 0, 0, 0, 0, 0,
1824            0, 0, 0, 0, 174, 175, 0, 176, 177, 178,
1825          179, 180, 181, 182, 183, 184, 0, 185, 602, 509,
1826          186, 0, 603, 0, 0, 0, 0, 0, 0, 0,
1827          160, 161, 0, 162, 163, 164, 165, 0, 166, 167,
1828            0, 0, 168, 0, 0, 0, 0, 169, 170, 171,
1829          172, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1830            0, 0, 0, 174, 175, 0, 176, 177, 178, 179,
1831          180, 181, 182, 183, 184, 0, 185, 604, 514, 186,
1832            0, 605, 0, 0, 0, 0, 0, 0, 0, 160,
1833          161, 0, 162, 163, 164, 165, 0, 166, 167, 0,
1834            0, 168, 0, 0, 0, 0, 169, 170, 171, 172,
1835            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1836            0, 0, 174, 175, 0, 176, 177, 178, 179, 180,
1837          181, 182, 183, 184, 0, 185, 644, 509, 186, 0,
1838          645, 0, 0, 0, 0, 0, 0, 0, 160, 161,
1839            0, 162, 163, 164, 165, 0, 166, 167, 0, 0,
1840          168, 0, 0, 0, 0, 169, 170, 171, 172, 0,
1841            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1842            0, 174, 175, 0, 176, 177, 178, 179, 180, 181,
1843          182, 183, 184, 0, 185, 646, 514, 186, 0, 647,
1844            0, 0, 0, 0, 0, 0, 0, 160, 161, 0,
1845          162, 163, 164, 165, 0, 166, 167, 0, 0, 168,
1846            0, 0, 0, 0, 169, 170, 171, 172, 0, 0,
1847            0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1848          174, 175, 0, 176, 177, 178, 179, 180, 181, 182,
1849          183, 184, 0, 185, 856, 509, 186, 0, 857, 0,
1850            0, 0, 0, 0, 0, 0, 160, 161, 0, 162,
1851          163, 164, 165, 0, 166, 167, 0, 0, 168, 0,
1852            0, 0, 0, 169, 170, 171, 172, 0, 0, 0,
1853            0, 0, 0, 0, 0, 0, 0, 0, 0, 174,
1854          175, 0, 176, 177, 178, 179, 180, 181, 182, 183,
1855          184, 0, 185, 858, 514, 186, 0, 859, 0, 0,
1856            0, 0, 0, 0, 0, 160, 161, 0, 162, 163,
1857          164, 165, 0, 166, 167, 0, 0, 168, 0, 0,
1858            0, 0, 169, 170, 171, 172, 0, 0, 0, 0,
1859            0, 0, 0, 0, 0, 0, 0, 0, 174, 175,
1860            0, 176, 177, 178, 179, 180, 181, 182, 183, 184,
1861            0, 185, 0, 0, 186,
1862      };
1863   }
1864
1865   private static final short[] yyCheck1() {
1866      return new short[] {
1867
1868           15, 16, 7, 21, 19, 215, 15, 16, 4, 5,
1869           19, 6, 370, 14, 27, 21, 392, 342, 14, 247,
1870          375, 378, 27, 73, 10, 10, 10, 51, 43, 44,
1871           10, 6, 7, 410, 49, 50, 280, 52, 53, 15,
1872           16, 50, 44, 19, 369, 91, 472, 342, 694, 10,
1873           15, 16, 27, 10, 19, 51, 342, 398, 47, 54,
1874          263, 32, 387, 10, 106, 10, 53, 10, 445, 10,
1875           10, 280, 10, 10, 11, 59, 94, 402, 312, 54,
1876           10, 507, 100, 10, 49, 269, 10, 271, 94, 312,
1877           10, 101, 88, 10, 61, 113, 363, 269, 59, 271,
1878           10, 10, 340, 341, 44, 343, 344, 10, 10, 3,
1879           10, 15, 16, 312, 59, 19, 59, 44, 59, 363,
1880           44, 10, 312, 692, 269, 694, 271, 11, 10, 454,
1881          368, 10, 59, 342, 44, 44, 44, 10, 58, 59,
1882          374, 58, 59, 290, 291, 348, 50, 385, 386, 59,
1883          312, 374, 10, 61, 363, 44, 59, 59, 58, 59,
1884           10, 327, 44, 401, 10, 351, 61, 0, 218, 58,
1885           59, 330, 292, 372, 373, 374, 296, 10, 337, 58,
1886           59, 827, 372, 373, 374, 58, 59, 545, 330, 73,
1887           44, 377, 10, 431, 360, 337, 343, 308, 269, 10,
1888          271, 59, 312, 346, 559, 200, 564, 61, 664, 59,
1889          372, 373, 374, 0, 670, 453, 231, 232, 233, 32,
1890           91, 364, 44, 10, 108, 200, 59, 313, 314, 244,
1891          304, 246, 247, 590, 308, 244, 32, 246, 247, 254,
1892           58, 59, 367, 2, 3, 4, 5, 91, 59, 8,
1893            9, 10, 11, 268, 680, 14, 15, 16, 827, 269,
1894           19, 91, 372, 373, 374, 0, 282, 26, 244, 91,
1895          246, 247, 59, 91, 263, 10, 239, 313, 314, 244,
1896          339, 246, 247, 61, 330, 222, 223, 44, 47, 48,
1897           49, 337, 51, 61, 53, 256, 91, 312, 313, 314,
1898          315, 316, 317, 318, 319, 320, 321, 322, 323, 324,
1899          325, 326, 327, 328, 329, 330, 331, 332, 333, 334,
1900          335, 336, 337, 264, 59, 349, 368, 342, 269, 88,
1901          345, 61, 347, 44, 218, 339, 351, 352, 340, 262,
1902          244, 312, 246, 247, 330, 330, 105, 467, 107, 726,
1903          267, 337, 337, 349, 369, 732, 308, 343, 345, 348,
1904          347, 281, 377, 343, 351, 352, 341, 267, 305, 306,
1905          307, 308, 387, 388, 389, 390, 343, 342, 267, 394,
1906          364, 290, 291, 724, 279, 595, 343, 402, 267, 627,
1907          628, 406, 407, 368, 267, 410, 343, 358, 407, 414,
1908          343, 372, 373, 631, 369, 414, 264, 44, 418, 419,
1909          304, 386, 425, 343, 772, 309, 343, 432, 433, 434,
1910          425, 776, 387, 799, 61, 279, 401, 442, 438, 439,
1911          445, 340, 447, 343, 343, 343, 264, 402, 414, 454,
1912          343, 404, 799, 347, 290, 291, 339, 351, 343, 267,
1913          425, 340, 263, 264, 91, 61, 431, 279, 280, 330,
1914          308, 340, 339, 222, 223, 360, 337, 825, 59, 290,
1915          291, 848, 279, 377, 44, 262, 263, 264, 453, 363,
1916          340, 268, 269, 363, 271, 244, 330, 246, 247, 454,
1917          394, 10, 702, 337, 268, 269, 61, 256, 516, 876,
1918          330, 279, 312, 44, 263, 511, 360, 337, 330, 834,
1919          516, 526, 330, 397, 398, 337, 522, 523, 306, 337,
1920          342, 91, 310, 311, 342, 10, 44, 262, 263, 264,
1921           91, 549, 346, 268, 269, 330, 271, 319, 360, 58,
1922           59, 363, 337, 553, 319, 304, 305, 306, 307, 308,
1923          309, 310, 311, 10, 319, 91, 343, 312, 339, 554,
1924          343, 574, 372, 373, 374, 343, 351, 352, 273, 574,
1925          275, 276, 91, 58, 59, 364, 10, 364, 593, 554,
1926          343, 61, 360, 342, 794, 308, 345, 348, 347, 348,
1927          349, 44, 351, 352, 374, 833, 611, 374, 568, 574,
1928          615, 571, 59, 44, 619, 319, 91, 544, 343, 342,
1929          369, 370, 371, 269, 263, 264, 631, 372, 373, 374,
1930          269, 267, 631, 271, 383, 59, 264, 642, 387, 364,
1931          312, 44, 391, 315, 393, 343, 350, 343, 91, 44,
1932          354, 355, 279, 402, 659, 16, 661, 662, 19, 364,
1933          613, 343, 667, 668, 655, 414, 522, 523, 542, 655,
1934          623, 339, 677, 678, 263, 264, 631, 426, 32, 428,
1935          607, 56, 57, 688, 661, 662, 339, 339, 339, 689,
1936          667, 565, 2, 3, 4, 5, 10, 346, 8, 44,
1937          372, 373, 343, 330, 14, 454, 711, 712, 713, 346,
1938          337, 264, 61, 44, 719, 701, 343, 44, 0, 279,
1939           44, 726, 2, 3, 279, 304, 731, 732, 8, 9,
1940           10, 11, 731, 360, 304, 15, 16, 47, 340, 19,
1941          740, 51, 263, 346, 744, 59, 26, 339, 339, 2,
1942            3, 4, 5, 6, 339, 8, 44, 264, 267, 264,
1943          346, 14, 767, 351, 769, 731, 44, 47, 48, 49,
1944          330, 44, 725, 53, 343, 728, 729, 337, 88, 330,
1945          343, 708, 342, 339, 343, 10, 337, 364, 343, 343,
1946          767, 796, 267, 798, 47, 544, 545, 107, 51, 804,
1947          360, 346, 264, 808, 330, 360, 343, 812, 682, 279,
1948          264, 337, 264, 44, 339, 564, 264, 264, 364, 343,
1949          780, 330, 269, 783, 271, 105, 786, 107, 337, 834,
1950          579, 360, 264, 58, 59, 88, 279, 731, 262, 263,
1951          264, 846, 364, 848, 264, 269, 343, 846, 44, 308,
1952          724, 264, 0, 10, 107, 330, 809, 810, 607, 264,
1953           91, 866, 337, 868, 0, 44, 91, 44, 833, 343,
1954          364, 876, 264, 343, 10, 880, 264, 346, 264, 834,
1955          736, 737, 631, 244, 44, 246, 247, 330, 0, 44,
1956          360, 844, 845, 346, 337, 855, 364, 850, 10, 271,
1957          649, 58, 59, 342, 2, 3, 655, 656, 343, 658,
1958            8, 660, 661, 662, 867, 364, 14, 360, 667, 346,
1959          346, 343, 875, 59, 343, 878, 364, 44, 44, 882,
1960          346, 91, 44, 343, 91, 264, 61, 5, 862, 10,
1961            2, 6, 222, 223, 776, 61, 256, 59, 559, 47,
1962          264, 88, 701, 263, 268, 269, 705, 692, 655, 708,
1963          319, 65, 49, 50, 244, 692, 246, 247, 304, 835,
1964           73, 720, 721, 722, 91, 91, 256, -1, -1, -1,
1965          262, 263, 264, 263, -1, 47, 268, 269, 59, 271,
1966           -1, 350, -1, -1, 304, 354, 355, 356, 357, 309,
1967           -1, -1, -1, 256, -1, 10, -1, -1, -1, 107,
1968          263, -1, -1, 349, 350, 351, 352, -1, 767, -1,
1969           -1, -1, 771, 772, 304, 305, 306, 307, 308, 309,
1970          310, 311, 304, -1, -1, 307, 308, 309, 348, 349,
1971           -1, -1, 267, 792, -1, 107, -1, -1, 279, -1,
1972           -1, 304, -1, 58, 59, -1, 309, -1, -1, -1,
1973          370, 343, 342, -1, -1, 345, -1, 347, 348, -1,
1974          342, 351, 352, 383, -1, -1, 825, 349, 350, 351,
1975          352, 391, 364, 393, -1, 834, 91, 836, -1, 369,
1976          370, 371, -1, -1, 843, 348, 349, -1, -1, 330,
1977           44, -1, -1, 383, -1, 330, 337, 387, -1, -1,
1978          267, 391, 337, 393, 262, 263, 264, 370, 428, 279,
1979          268, 269, 402, 271, -1, -1, 262, 263, 264, 360,
1980          383, -1, 268, 269, 414, 271, -1, -1, 391, -1,
1981          393, -1, -1, 2, 3, -1, 426, 91, 428, 8,
1982          262, 263, 264, -1, -1, 319, 268, 269, 256, 271,
1983          247, -1, 279, 279, -1, 263, -1, -1, -1, -1,
1984          330, 335, 336, 330, 454, 428, -1, 337, 290, 291,
1985          337, 293, 294, 295, 296, -1, 350, -1, 47, -1,
1986          354, 355, 356, 357, 256, 343, -1, -1, -1, -1,
1987          360, 263, -1, -1, -1, -1, 304, 343, 9, 10,
1988           11, 309, -1, 330, 330, -1, 364, -1, -1, -1,
1989          337, 337, -1, -1, -1, 26, 342, 343, 364, -1,
1990           -1, 343, -1, 304, -1, 545, 307, 308, 309, -1,
1991           -1, -1, -1, 360, 360, -1, -1, 48, 107, -1,
1992          348, -1, 364, -1, 564, 342, -1, -1, -1, 330,
1993           -1, -1, 267, -1, 544, 545, 337, -1, 10, 579,
1994           -1, 342, 370, -1, -1, 280, -1, -1, 349, 350,
1995          351, 352, 369, -1, 564, 383, 348, -1, -1, -1,
1996          377, 378, 545, 391, -1, 393, -1, -1, -1, 579,
1997          387, -1, 306, 307, 105, 309, 310, 311, 10, -1,
1998           -1, 564, -1, -1, -1, 402, 58, 59, -1, -1,
1999           -1, 383, -1, -1, -1, 330, 579, 607, -1, 391,
2000          428, 393, 337, -1, -1, 279, 280, 342, -1, 649,
2001          650, -1, -1, -1, -1, 655, 656, -1, 658, 91,
2002          660, 631, -1, -1, -1, -1, 58, 59, 363, 293,
2003          294, 295, 296, 297, -1, -1, 428, 454, -1, 649,
2004           -1, -1, -1, -1, -1, -1, 656, -1, 658, -1,
2005          660, 661, 662, 44, 471, 472, 330, 667, -1, 91,
2006           -1, 701, 44, 337, -1, 705, 649, 256, 342, -1,
2007           61, -1, 655, 656, 263, 658, -1, 660, -1, 61,
2008          720, 721, 722, -1, -1, -1, 360, 44, -1, 363,
2009          507, 222, 223, -1, 511, 705, -1, -1, 708, -1,
2010           91, -1, -1, -1, 61, 522, 523, -1, -1, 91,
2011          720, 721, 722, -1, -1, 304, -1, 545, 701, -1,
2012          309, -1, 705, -1, -1, 0, -1, -1, -1, 546,
2013           -1, 771, 772, -1, 91, 10, 564, 720, 721, 722,
2014           -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2015           -1, 579, 792, -1, -1, -1, -1, 767, -1, 348,
2016          577, 771, 772, 580, -1, 582, -1, -1, -1, 44,
2017           -1, -1, -1, 590, 305, 306, 307, 308, -1, 310,
2018          311, 370, 792, 58, 59, 825, -1, 579, 771, 772,
2019           -1, 231, 232, -1, 383, 267, 836, 44, -1, -1,
2020           -1, -1, 391, 843, 393, -1, -1, -1, 280, 792,
2021           -1, -1, -1, -1, 61, 825, -1, -1, -1, -1,
2022           -1, 649, -1, -1, 834, -1, 836, 655, 656, -1,
2023          658, -1, 660, 843, -1, 267, -1, -1, -1, 428,
2024          371, 0, 825, -1, 91, -1, -1, -1, 280, -1,
2025           -1, 10, -1, 836, -1, -1, -1, 649, 330, -1,
2026          843, -1, -1, 680, 656, 337, 658, -1, 660, -1,
2027          342, -1, -1, 701, -1, -1, -1, 705, -1, -1,
2028           -1, -1, -1, 414, -1, 44, -1, -1, 279, 280,
2029           -1, 363, 720, 721, 722, 426, -1, 279, 330, 0,
2030           59, -1, -1, -1, -1, 337, -1, 347, -1, 10,
2031          342, 351, -1, 705, -1, 44, -1, -1, -1, 736,
2032          737, -1, 279, 280, 44, -1, -1, -1, 720, 721,
2033          722, 363, 61, -1, -1, -1, -1, 377, -1, 330,
2034           -1, -1, -1, 771, 772, -1, 337, -1, 330, -1,
2035           -1, 342, 343, -1, 394, 337, 545, 58, 59, 10,
2036           -1, 343, 91, -1, 792, -1, 406, 407, -1, 360,
2037          410, 91, 363, 330, 414, 564, -1, -1, 360, 771,
2038          337, -1, 799, -1, -1, 342, 343, 262, 263, 264,
2039          579, -1, 267, 268, 269, -1, 271, 825, -1, -1,
2040          792, -1, 442, 360, -1, 445, 363, 447, 836, -1,
2041           -1, -1, 63, 544, -1, 843, -1, 834, 293, 294,
2042          295, 296, 297, -1, -1, -1, 319, -1, -1, -1,
2043           -1, -1, 279, 304, -1, -1, 307, 308, 309, -1,
2044           -1, -1, 335, 336, 836, 862, -1, -1, -1, -1,
2045           -1, 843, -1, -1, -1, -1, 0, 350, -1, 352,
2046          649, 354, 355, 356, 357, 340, 10, 656, 343, 658,
2047           -1, 660, -1, -1, -1, -1, 607, -1, 349, 350,
2048          351, 352, -1, 330, -1, -1, 526, -1, -1, 364,
2049          337, -1, 10, -1, -1, -1, 343, -1, -1, -1,
2050           44, -1, -1, 262, 263, 264, -1, -1, -1, 268,
2051          269, 319, 271, 360, 58, 59, 705, -1, -1, 63,
2052           -1, -1, -1, -1, -1, -1, -1, 335, 336, -1,
2053           -1, 720, 721, 722, 293, 294, 295, 296, 297, -1,
2054           -1, 59, 350, -1, 352, -1, 354, 355, 356, 357,
2055          279, 280, 360, 593, 362, -1, -1, -1, -1, 279,
2056          280, 262, 263, 264, -1, -1, 267, 268, 269, -1,
2057          271, 611, -1, -1, -1, 615, -1, 708, -1, 619,
2058          281, 282, 771, 772, 343, -1, -1, -1, -1, 290,
2059          291, 631, 293, 294, 295, 296, 297, 0, -1, -1,
2060           -1, 330, -1, 792, -1, 364, -1, 10, 337, -1,
2061          330, -1, -1, 342, 343, -1, -1, 337, -1, -1,
2062           -1, -1, 342, -1, -1, -1, -1, -1, -1, -1,
2063           -1, 360, -1, -1, 363, -1, 825, -1, 678, -1,
2064          360, 44, 343, 363, -1, 346, -1, 836, 688, -1,
2065           -1, -1, -1, -1, 843, 58, 59, -1, 61, -1,
2066           63, -1, -1, 364, -1, -1, -1, -1, 319, 320,
2067          321, 322, 323, 324, 325, 326, 327, 328, 329, 719,
2068          331, 332, -1, -1, 335, 336, 726, -1, 91, -1,
2069           -1, -1, 732, -1, -1, -1, -1, -1, -1, 350,
2070           -1, 352, -1, 354, 355, 356, 357, 358, 359, 360,
2071           -1, 362, 0, -1, -1, -1, -1, -1, 262, 263,
2072          264, -1, 10, 267, 268, 269, 319, 271, -1, 769,
2073           -1, 324, 325, -1, -1, -1, -1, 281, 282, -1,
2074           -1, -1, 335, 336, -1, -1, 290, 291, -1, 293,
2075          294, 295, 296, 297, -1, -1, 44, 350, 798, 352,
2076           -1, 354, 355, 356, 357, 358, 359, 360, 808, 362,
2077           58, 59, 812, 61, -1, 63, 320, 321, 322, 323,
2078          324, 325, 326, 327, 328, 329, 304, 331, 332, 307,
2079          308, 309, 10, -1, -1, -1, 340, -1, -1, 343,
2080           -1, -1, 346, 91, 348, -1, 846, -1, 848, -1,
2081           44, -1, 330, -1, 358, 359, 360, -1, 362, 337,
2082          364, -1, -1, -1, 342, -1, 866, 61, 868, -1,
2083           -1, 349, 350, 351, 352, -1, 876, -1, -1, -1,
2084          880, 59, -1, -1, -1, -1, -1, -1, -1, 10,
2085           -1, -1, -1, -1, 257, 258, 259, 91, 261, 262,
2086          263, 264, 265, 266, 267, 268, 269, 270, 271, 272,
2087          273, 274, 275, 276, 277, 278, 279, 280, 281, 282,
2088          283, 284, 285, 286, 287, 288, 289, 290, 291, -1,
2089          293, 294, 295, 296, 297, -1, 299, -1, 59, 302,
2090          303, 304, 305, 306, 307, 308, 309, 310, 311, -1,
2091          313, 314, -1, 316, 317, 318, 319, 320, 321, 322,
2092          323, 324, 325, 326, 327, 328, 329, 330, 331, 332,
2093           -1, -1, 335, 336, 337, 338, 339, 340, 341, 342,
2094          343, 344, 345, 346, 347, 348, 349, 350, 351, 352,
2095          353, 354, 355, 356, 357, 358, 359, 360, 361, 362,
2096          363, 364, -1, 366, 367, 368, 369, 370, 371, 257,
2097          258, 259, -1, 261, 262, 263, 264, 265, 266, 267,
2098          268, 269, 270, 271, 272, 273, 274, 275, 276, 277,
2099          278, 279, 280, 281, 282, 283, 284, 285, 286, 287,
2100          288, 289, 290, 291, 63, 293, 294, 295, 296, 297,
2101           -1, 299, -1, -1, 302, 303, 304, 305, 306, 307,
2102          308, 309, 310, 311, -1, 313, 314, -1, 316, 317,
2103          318, 319, 320, 321, 322, 323, 324, 325, 326, 327,
2104          328, 329, 330, 331, 332, 279, -1, 335, 336, 337,
2105          338, 339, 340, 341, 342, 343, 344, 345, 346, 347,
2106          348, 349, 350, 351, 352, 353, 354, 355, 356, 357,
2107          358, 359, 360, 361, 362, 363, 364, 0, 366, 367,
2108          368, 369, 370, 371, -1, -1, 304, 10, -1, 307,
2109          308, 309, -1, -1, -1, -1, 330, -1, -1, -1,
2110           -1, -1, -1, 337, -1, -1, -1, -1, -1, 343,
2111           -1, -1, 330, -1, -1, -1, -1, -1, -1, 337,
2112           -1, 44, -1, -1, 342, -1, 360, -1, -1, -1,
2113           -1, 349, 350, 351, 352, 58, 59, -1, 61, -1,
2114           63, -1, -1, 304, -1, -1, 307, 308, 309, -1,
2115           -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2116           -1, -1, -1, -1, -1, -1, -1, -1, 91, 330,
2117           -1, -1, -1, -1, -1, -1, 337, -1, -1, -1,
2118           -1, 342, -1, -1, -1, -1, -1, -1, 349, 350,
2119          351, 352, 0, -1, -1, -1, -1, -1, -1, -1,
2120           -1, -1, 10, -1, 319, 320, 321, 322, 323, 324,
2121          325, 326, 327, 328, 329, -1, -1, -1, -1, -1,
2122          335, 336, -1, -1, -1, -1, -1, -1, -1, -1,
2123           -1, -1