itextomml 1.4.4 → 1.4.5

Sign up to get free protection for your applications and to get access to all the features.
Files changed (5) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/lex.yy.c +2743 -2651
  3. data/ext/y.tab.c +1491 -1322
  4. data/ext/y.tab.h +226 -220
  5. metadata +4 -4
data/ext/y.tab.c CHANGED
@@ -118,116 +118,119 @@
118
118
  SQRT = 299,
119
119
  ROOT = 300,
120
120
  BINOM = 301,
121
- UNDER = 302,
122
- OVER = 303,
123
- OVERBRACE = 304,
124
- UNDERLINE = 305,
125
- UNDERBRACE = 306,
126
- UNDEROVER = 307,
127
- TENSOR = 308,
128
- MULTI = 309,
129
- ARRAY = 310,
130
- COLSEP = 311,
131
- ROWSEP = 312,
132
- ARRAYOPTS = 313,
133
- COLLAYOUT = 314,
134
- COLALIGN = 315,
135
- ROWALIGN = 316,
136
- ALIGN = 317,
137
- EQROWS = 318,
138
- EQCOLS = 319,
139
- ROWLINES = 320,
140
- COLLINES = 321,
141
- FRAME = 322,
142
- PADDING = 323,
143
- ATTRLIST = 324,
144
- ITALICS = 325,
145
- BOLD = 326,
146
- BOXED = 327,
147
- SLASHED = 328,
148
- RM = 329,
149
- BB = 330,
150
- ST = 331,
151
- END = 332,
152
- BBLOWERCHAR = 333,
153
- BBUPPERCHAR = 334,
154
- BBDIGIT = 335,
155
- CALCHAR = 336,
156
- FRAKCHAR = 337,
157
- CAL = 338,
158
- FRAK = 339,
159
- CLAP = 340,
160
- LLAP = 341,
161
- RLAP = 342,
162
- ROWOPTS = 343,
163
- TEXTSIZE = 344,
164
- SCSIZE = 345,
165
- SCSCSIZE = 346,
166
- DISPLAY = 347,
167
- TEXTSTY = 348,
168
- TEXTBOX = 349,
169
- TEXTSTRING = 350,
170
- XMLSTRING = 351,
171
- CELLOPTS = 352,
172
- ROWSPAN = 353,
173
- COLSPAN = 354,
174
- THINSPACE = 355,
175
- MEDSPACE = 356,
176
- THICKSPACE = 357,
177
- QUAD = 358,
178
- QQUAD = 359,
179
- NEGSPACE = 360,
180
- PHANTOM = 361,
181
- HREF = 362,
182
- UNKNOWNCHAR = 363,
183
- EMPTYMROW = 364,
184
- STATLINE = 365,
185
- TOOLTIP = 366,
186
- TOGGLE = 367,
187
- FGHIGHLIGHT = 368,
188
- BGHIGHLIGHT = 369,
189
- SPACE = 370,
190
- INTONE = 371,
191
- INTTWO = 372,
192
- INTTHREE = 373,
193
- BAR = 374,
194
- WIDEBAR = 375,
195
- VEC = 376,
196
- WIDEVEC = 377,
197
- HAT = 378,
198
- WIDEHAT = 379,
199
- CHECK = 380,
200
- WIDECHECK = 381,
201
- TILDE = 382,
202
- WIDETILDE = 383,
203
- DOT = 384,
204
- DDOT = 385,
205
- DDDOT = 386,
206
- DDDDOT = 387,
207
- UNARYMINUS = 388,
208
- UNARYPLUS = 389,
209
- BEGINENV = 390,
210
- ENDENV = 391,
211
- MATRIX = 392,
212
- PMATRIX = 393,
213
- BMATRIX = 394,
214
- BBMATRIX = 395,
215
- VMATRIX = 396,
216
- VVMATRIX = 397,
217
- SVG = 398,
218
- ENDSVG = 399,
219
- SMALLMATRIX = 400,
220
- CASES = 401,
221
- ALIGNED = 402,
222
- GATHERED = 403,
223
- SUBSTACK = 404,
224
- PMOD = 405,
225
- RMCHAR = 406,
226
- COLOR = 407,
227
- BGCOLOR = 408,
228
- XARROW = 409,
229
- OPTARGOPEN = 410,
230
- OPTARGCLOSE = 411
121
+ TBINOM = 302,
122
+ UNDER = 303,
123
+ OVER = 304,
124
+ OVERBRACE = 305,
125
+ UNDERLINE = 306,
126
+ UNDERBRACE = 307,
127
+ UNDEROVER = 308,
128
+ TENSOR = 309,
129
+ MULTI = 310,
130
+ ARRAYALIGN = 311,
131
+ COLUMNALIGN = 312,
132
+ ARRAY = 313,
133
+ COLSEP = 314,
134
+ ROWSEP = 315,
135
+ ARRAYOPTS = 316,
136
+ COLLAYOUT = 317,
137
+ COLALIGN = 318,
138
+ ROWALIGN = 319,
139
+ ALIGN = 320,
140
+ EQROWS = 321,
141
+ EQCOLS = 322,
142
+ ROWLINES = 323,
143
+ COLLINES = 324,
144
+ FRAME = 325,
145
+ PADDING = 326,
146
+ ATTRLIST = 327,
147
+ ITALICS = 328,
148
+ BOLD = 329,
149
+ BOXED = 330,
150
+ SLASHED = 331,
151
+ RM = 332,
152
+ BB = 333,
153
+ ST = 334,
154
+ END = 335,
155
+ BBLOWERCHAR = 336,
156
+ BBUPPERCHAR = 337,
157
+ BBDIGIT = 338,
158
+ CALCHAR = 339,
159
+ FRAKCHAR = 340,
160
+ CAL = 341,
161
+ FRAK = 342,
162
+ CLAP = 343,
163
+ LLAP = 344,
164
+ RLAP = 345,
165
+ ROWOPTS = 346,
166
+ TEXTSIZE = 347,
167
+ SCSIZE = 348,
168
+ SCSCSIZE = 349,
169
+ DISPLAY = 350,
170
+ TEXTSTY = 351,
171
+ TEXTBOX = 352,
172
+ TEXTSTRING = 353,
173
+ XMLSTRING = 354,
174
+ CELLOPTS = 355,
175
+ ROWSPAN = 356,
176
+ COLSPAN = 357,
177
+ THINSPACE = 358,
178
+ MEDSPACE = 359,
179
+ THICKSPACE = 360,
180
+ QUAD = 361,
181
+ QQUAD = 362,
182
+ NEGSPACE = 363,
183
+ PHANTOM = 364,
184
+ HREF = 365,
185
+ UNKNOWNCHAR = 366,
186
+ EMPTYMROW = 367,
187
+ STATLINE = 368,
188
+ TOOLTIP = 369,
189
+ TOGGLE = 370,
190
+ FGHIGHLIGHT = 371,
191
+ BGHIGHLIGHT = 372,
192
+ SPACE = 373,
193
+ INTONE = 374,
194
+ INTTWO = 375,
195
+ INTTHREE = 376,
196
+ BAR = 377,
197
+ WIDEBAR = 378,
198
+ VEC = 379,
199
+ WIDEVEC = 380,
200
+ HAT = 381,
201
+ WIDEHAT = 382,
202
+ CHECK = 383,
203
+ WIDECHECK = 384,
204
+ TILDE = 385,
205
+ WIDETILDE = 386,
206
+ DOT = 387,
207
+ DDOT = 388,
208
+ DDDOT = 389,
209
+ DDDDOT = 390,
210
+ UNARYMINUS = 391,
211
+ UNARYPLUS = 392,
212
+ BEGINENV = 393,
213
+ ENDENV = 394,
214
+ MATRIX = 395,
215
+ PMATRIX = 396,
216
+ BMATRIX = 397,
217
+ BBMATRIX = 398,
218
+ VMATRIX = 399,
219
+ VVMATRIX = 400,
220
+ SVG = 401,
221
+ ENDSVG = 402,
222
+ SMALLMATRIX = 403,
223
+ CASES = 404,
224
+ ALIGNED = 405,
225
+ GATHERED = 406,
226
+ SUBSTACK = 407,
227
+ PMOD = 408,
228
+ RMCHAR = 409,
229
+ COLOR = 410,
230
+ BGCOLOR = 411,
231
+ XARROW = 412,
232
+ OPTARGOPEN = 413,
233
+ OPTARGCLOSE = 414
231
234
  };
232
235
  #endif
233
236
  /* Tokens. */
@@ -275,116 +278,119 @@
275
278
  #define SQRT 299
276
279
  #define ROOT 300
277
280
  #define BINOM 301
278
- #define UNDER 302
279
- #define OVER 303
280
- #define OVERBRACE 304
281
- #define UNDERLINE 305
282
- #define UNDERBRACE 306
283
- #define UNDEROVER 307
284
- #define TENSOR 308
285
- #define MULTI 309
286
- #define ARRAY 310
287
- #define COLSEP 311
288
- #define ROWSEP 312
289
- #define ARRAYOPTS 313
290
- #define COLLAYOUT 314
291
- #define COLALIGN 315
292
- #define ROWALIGN 316
293
- #define ALIGN 317
294
- #define EQROWS 318
295
- #define EQCOLS 319
296
- #define ROWLINES 320
297
- #define COLLINES 321
298
- #define FRAME 322
299
- #define PADDING 323
300
- #define ATTRLIST 324
301
- #define ITALICS 325
302
- #define BOLD 326
303
- #define BOXED 327
304
- #define SLASHED 328
305
- #define RM 329
306
- #define BB 330
307
- #define ST 331
308
- #define END 332
309
- #define BBLOWERCHAR 333
310
- #define BBUPPERCHAR 334
311
- #define BBDIGIT 335
312
- #define CALCHAR 336
313
- #define FRAKCHAR 337
314
- #define CAL 338
315
- #define FRAK 339
316
- #define CLAP 340
317
- #define LLAP 341
318
- #define RLAP 342
319
- #define ROWOPTS 343
320
- #define TEXTSIZE 344
321
- #define SCSIZE 345
322
- #define SCSCSIZE 346
323
- #define DISPLAY 347
324
- #define TEXTSTY 348
325
- #define TEXTBOX 349
326
- #define TEXTSTRING 350
327
- #define XMLSTRING 351
328
- #define CELLOPTS 352
329
- #define ROWSPAN 353
330
- #define COLSPAN 354
331
- #define THINSPACE 355
332
- #define MEDSPACE 356
333
- #define THICKSPACE 357
334
- #define QUAD 358
335
- #define QQUAD 359
336
- #define NEGSPACE 360
337
- #define PHANTOM 361
338
- #define HREF 362
339
- #define UNKNOWNCHAR 363
340
- #define EMPTYMROW 364
341
- #define STATLINE 365
342
- #define TOOLTIP 366
343
- #define TOGGLE 367
344
- #define FGHIGHLIGHT 368
345
- #define BGHIGHLIGHT 369
346
- #define SPACE 370
347
- #define INTONE 371
348
- #define INTTWO 372
349
- #define INTTHREE 373
350
- #define BAR 374
351
- #define WIDEBAR 375
352
- #define VEC 376
353
- #define WIDEVEC 377
354
- #define HAT 378
355
- #define WIDEHAT 379
356
- #define CHECK 380
357
- #define WIDECHECK 381
358
- #define TILDE 382
359
- #define WIDETILDE 383
360
- #define DOT 384
361
- #define DDOT 385
362
- #define DDDOT 386
363
- #define DDDDOT 387
364
- #define UNARYMINUS 388
365
- #define UNARYPLUS 389
366
- #define BEGINENV 390
367
- #define ENDENV 391
368
- #define MATRIX 392
369
- #define PMATRIX 393
370
- #define BMATRIX 394
371
- #define BBMATRIX 395
372
- #define VMATRIX 396
373
- #define VVMATRIX 397
374
- #define SVG 398
375
- #define ENDSVG 399
376
- #define SMALLMATRIX 400
377
- #define CASES 401
378
- #define ALIGNED 402
379
- #define GATHERED 403
380
- #define SUBSTACK 404
381
- #define PMOD 405
382
- #define RMCHAR 406
383
- #define COLOR 407
384
- #define BGCOLOR 408
385
- #define XARROW 409
386
- #define OPTARGOPEN 410
387
- #define OPTARGCLOSE 411
281
+ #define TBINOM 302
282
+ #define UNDER 303
283
+ #define OVER 304
284
+ #define OVERBRACE 305
285
+ #define UNDERLINE 306
286
+ #define UNDERBRACE 307
287
+ #define UNDEROVER 308
288
+ #define TENSOR 309
289
+ #define MULTI 310
290
+ #define ARRAYALIGN 311
291
+ #define COLUMNALIGN 312
292
+ #define ARRAY 313
293
+ #define COLSEP 314
294
+ #define ROWSEP 315
295
+ #define ARRAYOPTS 316
296
+ #define COLLAYOUT 317
297
+ #define COLALIGN 318
298
+ #define ROWALIGN 319
299
+ #define ALIGN 320
300
+ #define EQROWS 321
301
+ #define EQCOLS 322
302
+ #define ROWLINES 323
303
+ #define COLLINES 324
304
+ #define FRAME 325
305
+ #define PADDING 326
306
+ #define ATTRLIST 327
307
+ #define ITALICS 328
308
+ #define BOLD 329
309
+ #define BOXED 330
310
+ #define SLASHED 331
311
+ #define RM 332
312
+ #define BB 333
313
+ #define ST 334
314
+ #define END 335
315
+ #define BBLOWERCHAR 336
316
+ #define BBUPPERCHAR 337
317
+ #define BBDIGIT 338
318
+ #define CALCHAR 339
319
+ #define FRAKCHAR 340
320
+ #define CAL 341
321
+ #define FRAK 342
322
+ #define CLAP 343
323
+ #define LLAP 344
324
+ #define RLAP 345
325
+ #define ROWOPTS 346
326
+ #define TEXTSIZE 347
327
+ #define SCSIZE 348
328
+ #define SCSCSIZE 349
329
+ #define DISPLAY 350
330
+ #define TEXTSTY 351
331
+ #define TEXTBOX 352
332
+ #define TEXTSTRING 353
333
+ #define XMLSTRING 354
334
+ #define CELLOPTS 355
335
+ #define ROWSPAN 356
336
+ #define COLSPAN 357
337
+ #define THINSPACE 358
338
+ #define MEDSPACE 359
339
+ #define THICKSPACE 360
340
+ #define QUAD 361
341
+ #define QQUAD 362
342
+ #define NEGSPACE 363
343
+ #define PHANTOM 364
344
+ #define HREF 365
345
+ #define UNKNOWNCHAR 366
346
+ #define EMPTYMROW 367
347
+ #define STATLINE 368
348
+ #define TOOLTIP 369
349
+ #define TOGGLE 370
350
+ #define FGHIGHLIGHT 371
351
+ #define BGHIGHLIGHT 372
352
+ #define SPACE 373
353
+ #define INTONE 374
354
+ #define INTTWO 375
355
+ #define INTTHREE 376
356
+ #define BAR 377
357
+ #define WIDEBAR 378
358
+ #define VEC 379
359
+ #define WIDEVEC 380
360
+ #define HAT 381
361
+ #define WIDEHAT 382
362
+ #define CHECK 383
363
+ #define WIDECHECK 384
364
+ #define TILDE 385
365
+ #define WIDETILDE 386
366
+ #define DOT 387
367
+ #define DDOT 388
368
+ #define DDDOT 389
369
+ #define DDDDOT 390
370
+ #define UNARYMINUS 391
371
+ #define UNARYPLUS 392
372
+ #define BEGINENV 393
373
+ #define ENDENV 394
374
+ #define MATRIX 395
375
+ #define PMATRIX 396
376
+ #define BMATRIX 397
377
+ #define BBMATRIX 398
378
+ #define VMATRIX 399
379
+ #define VVMATRIX 400
380
+ #define SVG 401
381
+ #define ENDSVG 402
382
+ #define SMALLMATRIX 403
383
+ #define CASES 404
384
+ #define ALIGNED 405
385
+ #define GATHERED 406
386
+ #define SUBSTACK 407
387
+ #define PMOD 408
388
+ #define RMCHAR 409
389
+ #define COLOR 410
390
+ #define BGCOLOR 411
391
+ #define XARROW 412
392
+ #define OPTARGOPEN 413
393
+ #define OPTARGCLOSE 414
388
394
 
389
395
 
390
396
 
@@ -696,7 +702,7 @@ typedef int YYSTYPE;
696
702
 
697
703
 
698
704
  /* Line 216 of yacc.c. */
699
- #line 700 "y.tab.c"
705
+ #line 706 "y.tab.c"
700
706
 
701
707
  #ifdef short
702
708
  # undef short
@@ -909,22 +915,22 @@ union yyalloc
909
915
  #endif
910
916
 
911
917
  /* YYFINAL -- State number of the termination state. */
912
- #define YYFINAL 186
918
+ #define YYFINAL 187
913
919
  /* YYLAST -- Last index in YYTABLE. */
914
- #define YYLAST 3496
920
+ #define YYLAST 3943
915
921
 
916
922
  /* YYNTOKENS -- Number of terminals. */
917
- #define YYNTOKENS 157
923
+ #define YYNTOKENS 160
918
924
  /* YYNNTS -- Number of nonterminals. */
919
- #define YYNNTS 111
925
+ #define YYNNTS 112
920
926
  /* YYNRULES -- Number of rules. */
921
- #define YYNRULES 300
927
+ #define YYNRULES 306
922
928
  /* YYNRULES -- Number of states. */
923
- #define YYNSTATES 521
929
+ #define YYNSTATES 544
924
930
 
925
931
  /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
926
932
  #define YYUNDEFTOK 2
927
- #define YYMAXUTOK 411
933
+ #define YYMAXUTOK 414
928
934
 
929
935
  #define YYTRANSLATE(YYX) \
930
936
  ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
@@ -973,7 +979,7 @@ static const yytype_uint8 yytranslate[] =
973
979
  125, 126, 127, 128, 129, 130, 131, 132, 133, 134,
974
980
  135, 136, 137, 138, 139, 140, 141, 142, 143, 144,
975
981
  145, 146, 147, 148, 149, 150, 151, 152, 153, 154,
976
- 155, 156
982
+ 155, 156, 157, 158, 159
977
983
  };
978
984
 
979
985
  #if YYDEBUG
@@ -1002,47 +1008,47 @@ static const yytype_uint16 yyprhs[] =
1002
1008
  485, 487, 492, 494, 497, 499, 504, 506, 509, 511,
1003
1009
  513, 515, 517, 519, 521, 523, 526, 530, 536, 540,
1004
1010
  549, 556, 563, 565, 568, 573, 576, 579, 583, 587,
1005
- 591, 594, 600, 606, 612, 618, 622, 625, 628, 631,
1006
- 634, 637, 640, 643, 646, 649, 652, 655, 658, 661,
1007
- 664, 667, 670, 673, 676, 680, 686, 690, 693, 697,
1008
- 703, 708, 710, 716, 722, 728, 734, 740, 746, 752,
1009
- 758, 764, 770, 775, 779, 784, 789, 798, 800, 803,
1010
- 805, 807, 809, 811, 813, 815, 817, 819, 821, 823,
1011
- 826, 829, 832, 835, 838, 841, 844, 847, 850, 853,
1012
- 855, 859, 861, 863, 865, 869, 875, 877, 880, 882,
1013
- 884, 885, 887, 893, 895, 898, 900, 902, 904, 906,
1014
- 909
1011
+ 591, 594, 600, 606, 612, 618, 622, 626, 629, 632,
1012
+ 635, 638, 641, 644, 647, 650, 653, 656, 659, 662,
1013
+ 665, 668, 671, 674, 677, 680, 686, 690, 696, 700,
1014
+ 703, 707, 713, 718, 720, 726, 732, 738, 744, 750,
1015
+ 756, 762, 768, 774, 780, 790, 799, 804, 808, 811,
1016
+ 813, 818, 823, 832, 834, 837, 839, 841, 843, 845,
1017
+ 847, 849, 851, 853, 855, 857, 860, 863, 866, 869,
1018
+ 872, 875, 878, 881, 884, 887, 889, 893, 895, 897,
1019
+ 899, 903, 909, 911, 914, 916, 918, 919, 921, 927,
1020
+ 929, 932, 934, 936, 938, 940, 943
1015
1021
  };
1016
1022
 
1017
1023
  /* YYRHS -- A `-1'-separated list of the rules' RHS. */
1018
1024
  static const yytype_int16 yyrhs[] =
1019
1025
  {
1020
- 158, 0, -1, 159, -1, -1, 160, -1, 161, -1,
1021
- 159, 160, -1, 159, 161, -1, 5, -1, 6, 8,
1022
- -1, 7, 8, -1, 6, 162, 8, -1, 7, 162,
1023
- 8, -1, 163, -1, 162, 163, -1, 174, 14, 164,
1024
- 13, 164, -1, 174, 14, 164, -1, 174, 13, 164,
1025
- 14, 164, -1, 174, 13, 164, -1, 172, 14, 164,
1026
- 13, 164, -1, 172, 14, 164, -1, 172, 13, 164,
1027
- 14, 164, -1, 172, 13, 164, -1, 164, 14, 164,
1028
- 13, 164, -1, 164, 13, 164, 14, 164, -1, 164,
1029
- 14, 164, -1, 164, 13, 164, -1, 14, 164, -1,
1030
- 13, 164, -1, 164, -1, 244, -1, 169, -1, 170,
1031
- -1, 172, -1, 171, -1, 173, -1, 175, -1, 215,
1032
- -1, 216, -1, 219, -1, 223, -1, 236, -1, 237,
1033
- -1, 238, -1, 239, -1, 227, -1, 228, -1, 235,
1034
- -1, 229, -1, 230, -1, 231, -1, 232, -1, 234,
1035
- -1, 233, -1, 226, -1, 224, -1, 225, -1, 240,
1036
- -1, 241, -1, 185, -1, 184, -1, 183, -1, 187,
1037
- -1, 188, -1, 189, -1, 190, -1, 191, -1, 192,
1038
- -1, 195, -1, 196, -1, 197, -1, 198, -1, 201,
1039
- -1, 193, -1, 194, -1, 204, -1, 176, -1, 186,
1040
- -1, 207, -1, 208, -1, 209, -1, 210, -1, 211,
1041
- -1, 212, -1, 213, -1, 214, -1, 177, -1, 178,
1042
- -1, 179, -1, 180, -1, 181, -1, 182, -1, 221,
1043
- -1, 222, -1, 15, 164, 16, -1, 15, 162, 16,
1044
- -1, 165, 162, 166, -1, 242, -1, 243, -1, 220,
1045
- -1, 168, -1, 17, 40, -1, 17, 39, -1, 17,
1026
+ 161, 0, -1, 162, -1, -1, 163, -1, 164, -1,
1027
+ 162, 163, -1, 162, 164, -1, 5, -1, 6, 8,
1028
+ -1, 7, 8, -1, 6, 165, 8, -1, 7, 165,
1029
+ 8, -1, 166, -1, 165, 166, -1, 177, 14, 167,
1030
+ 13, 167, -1, 177, 14, 167, -1, 177, 13, 167,
1031
+ 14, 167, -1, 177, 13, 167, -1, 175, 14, 167,
1032
+ 13, 167, -1, 175, 14, 167, -1, 175, 13, 167,
1033
+ 14, 167, -1, 175, 13, 167, -1, 167, 14, 167,
1034
+ 13, 167, -1, 167, 13, 167, 14, 167, -1, 167,
1035
+ 14, 167, -1, 167, 13, 167, -1, 14, 167, -1,
1036
+ 13, 167, -1, 167, -1, 248, -1, 172, -1, 173,
1037
+ -1, 175, -1, 174, -1, 176, -1, 178, -1, 218,
1038
+ -1, 219, -1, 222, -1, 226, -1, 239, -1, 240,
1039
+ -1, 241, -1, 242, -1, 230, -1, 231, -1, 238,
1040
+ -1, 232, -1, 233, -1, 234, -1, 235, -1, 237,
1041
+ -1, 236, -1, 229, -1, 227, -1, 228, -1, 243,
1042
+ -1, 244, -1, 188, -1, 187, -1, 186, -1, 190,
1043
+ -1, 191, -1, 192, -1, 193, -1, 194, -1, 195,
1044
+ -1, 198, -1, 199, -1, 200, -1, 201, -1, 204,
1045
+ -1, 196, -1, 197, -1, 207, -1, 179, -1, 189,
1046
+ -1, 210, -1, 211, -1, 212, -1, 213, -1, 214,
1047
+ -1, 215, -1, 216, -1, 217, -1, 180, -1, 181,
1048
+ -1, 182, -1, 183, -1, 184, -1, 185, -1, 224,
1049
+ -1, 225, -1, 15, 167, 16, -1, 15, 165, 16,
1050
+ -1, 168, 165, 169, -1, 245, -1, 247, -1, 223,
1051
+ -1, 171, -1, 17, 40, -1, 17, 39, -1, 17,
1046
1052
  38, -1, 18, 41, -1, 18, 39, -1, 18, 38,
1047
1053
  -1, 19, 40, -1, 19, 41, -1, 19, 39, -1,
1048
1054
  20, 40, -1, 20, 41, -1, 20, 39, -1, 21,
@@ -1050,65 +1056,68 @@ static const yytype_int16 yyrhs[] =
1050
1056
  -1, 22, 41, -1, 22, 39, -1, 23, 40, -1,
1051
1057
  23, 39, -1, 24, 40, -1, 24, 39, -1, 25,
1052
1058
  40, -1, 25, 39, -1, 26, 40, -1, 26, 39,
1053
- -1, 108, -1, 133, -1, 134, -1, 9, -1, 10,
1054
- -1, 11, -1, 43, -1, 174, -1, 167, -1, 12,
1059
+ -1, 111, -1, 136, -1, 137, -1, 9, -1, 10,
1060
+ -1, 11, -1, 43, -1, 177, -1, 170, -1, 12,
1055
1061
  -1, 34, -1, 35, -1, 41, -1, 40, -1, 39,
1056
1062
  -1, 36, -1, 38, -1, 42, -1, 33, -1, 37,
1057
- -1, 29, 95, -1, 30, 95, -1, 31, 95, -1,
1058
- 32, 95, -1, 115, 76, 116, 77, 76, 117, 77,
1059
- 76, 118, 77, -1, 110, 95, 164, -1, 111, 95,
1060
- 164, -1, 112, 164, 164, -1, 113, 69, 164, -1,
1061
- 114, 69, 164, -1, 152, 69, 162, -1, 153, 69,
1062
- 162, -1, 87, 164, -1, 86, 164, -1, 85, 164,
1063
- -1, 94, 95, -1, 92, 164, -1, 93, 164, -1,
1064
- 89, 164, -1, 90, 164, -1, 91, 164, -1, 70,
1065
- 164, -1, 73, 164, -1, 72, 164, -1, 71, 164,
1066
- -1, 74, 76, 197, 77, -1, 151, -1, 197, 151,
1067
- -1, 75, 76, 199, 77, -1, 200, -1, 199, 200,
1068
- -1, 78, -1, 79, -1, 80, -1, 84, 76, 202,
1069
- 77, -1, 203, -1, 202, 203, -1, 82, -1, 83,
1070
- 76, 205, 77, -1, 206, -1, 205, 206, -1, 81,
1071
- -1, 100, -1, 101, -1, 102, -1, 103, -1, 104,
1072
- -1, 105, -1, 106, 164, -1, 107, 95, 164, -1,
1073
- 53, 164, 15, 217, 16, -1, 53, 164, 217, -1,
1074
- 54, 15, 217, 16, 164, 15, 217, 16, -1, 54,
1075
- 15, 217, 16, 164, 109, -1, 54, 109, 164, 15,
1076
- 217, 16, -1, 218, -1, 217, 218, -1, 14, 164,
1077
- 13, 164, -1, 14, 164, -1, 13, 164, -1, 14,
1078
- 13, 164, -1, 27, 164, 164, -1, 28, 164, 164,
1079
- -1, 150, 164, -1, 15, 162, 4, 162, 16, -1,
1080
- 165, 162, 4, 162, 166, -1, 15, 162, 3, 162,
1081
- 16, -1, 165, 162, 3, 162, 166, -1, 46, 164,
1082
- 164, -1, 51, 164, -1, 50, 164, -1, 49, 164,
1083
- -1, 119, 164, -1, 120, 164, -1, 121, 164, -1,
1084
- 122, 164, -1, 129, 164, -1, 130, 164, -1, 131,
1085
- 164, -1, 132, 164, -1, 127, 164, -1, 128, 164,
1086
- -1, 125, 164, -1, 126, 164, -1, 123, 164, -1,
1087
- 124, 164, -1, 44, 164, -1, 45, 164, 164, -1,
1088
- 154, 155, 162, 156, 109, -1, 47, 164, 164, -1,
1089
- 154, 164, -1, 48, 164, 164, -1, 154, 155, 162,
1090
- 156, 164, -1, 52, 164, 164, 164, -1, 109, -1,
1091
- 135, 137, 257, 136, 137, -1, 135, 148, 257, 136,
1092
- 148, -1, 135, 138, 257, 136, 138, -1, 135, 139,
1093
- 257, 136, 139, -1, 135, 141, 257, 136, 141, -1,
1094
- 135, 140, 257, 136, 140, -1, 135, 142, 257, 136,
1095
- 142, -1, 135, 145, 257, 136, 145, -1, 135, 146,
1096
- 257, 136, 146, -1, 135, 147, 257, 136, 147, -1,
1097
- 135, 143, 96, 144, -1, 135, 143, 144, -1, 149,
1098
- 15, 257, 16, -1, 55, 15, 257, 16, -1, 55,
1099
- 15, 58, 15, 245, 16, 257, 16, -1, 246, -1,
1100
- 245, 246, -1, 247, -1, 248, -1, 249, -1, 250,
1101
- -1, 251, -1, 252, -1, 253, -1, 254, -1, 255,
1102
- -1, 256, -1, 59, 69, -1, 60, 69, -1, 61,
1103
- 69, -1, 62, 69, -1, 63, 69, -1, 64, 69,
1104
- -1, 65, 69, -1, 66, 69, -1, 67, 69, -1,
1105
- 68, 69, -1, 258, -1, 257, 57, 258, -1, 259,
1106
- -1, 260, -1, 263, -1, 259, 56, 263, -1, 88,
1107
- 15, 261, 16, 259, -1, 262, -1, 261, 262, -1,
1108
- 248, -1, 249, -1, -1, 162, -1, 97, 15, 264,
1109
- 16, 162, -1, 265, -1, 264, 265, -1, 248, -1,
1110
- 249, -1, 266, -1, 267, -1, 98, 69, -1, 99,
1111
- 69, -1
1063
+ -1, 29, 98, -1, 30, 98, -1, 31, 98, -1,
1064
+ 32, 98, -1, 118, 79, 119, 80, 79, 120, 80,
1065
+ 79, 121, 80, -1, 113, 98, 167, -1, 114, 98,
1066
+ 167, -1, 115, 167, 167, -1, 116, 72, 167, -1,
1067
+ 117, 72, 167, -1, 155, 72, 165, -1, 156, 72,
1068
+ 165, -1, 90, 167, -1, 89, 167, -1, 88, 167,
1069
+ -1, 97, 98, -1, 95, 167, -1, 96, 167, -1,
1070
+ 92, 167, -1, 93, 167, -1, 94, 167, -1, 73,
1071
+ 167, -1, 76, 167, -1, 75, 167, -1, 74, 167,
1072
+ -1, 77, 79, 200, 80, -1, 154, -1, 200, 154,
1073
+ -1, 78, 79, 202, 80, -1, 203, -1, 202, 203,
1074
+ -1, 81, -1, 82, -1, 83, -1, 87, 79, 205,
1075
+ 80, -1, 206, -1, 205, 206, -1, 85, -1, 86,
1076
+ 79, 208, 80, -1, 209, -1, 208, 209, -1, 84,
1077
+ -1, 103, -1, 104, -1, 105, -1, 106, -1, 107,
1078
+ -1, 108, -1, 109, 167, -1, 110, 98, 167, -1,
1079
+ 54, 167, 15, 220, 16, -1, 54, 167, 220, -1,
1080
+ 55, 15, 220, 16, 167, 15, 220, 16, -1, 55,
1081
+ 15, 220, 16, 167, 112, -1, 55, 112, 167, 15,
1082
+ 220, 16, -1, 221, -1, 220, 221, -1, 14, 167,
1083
+ 13, 167, -1, 14, 167, -1, 13, 167, -1, 14,
1084
+ 13, 167, -1, 27, 167, 167, -1, 28, 167, 167,
1085
+ -1, 153, 167, -1, 15, 165, 4, 165, 16, -1,
1086
+ 168, 165, 4, 165, 169, -1, 15, 165, 3, 165,
1087
+ 16, -1, 168, 165, 3, 165, 169, -1, 46, 167,
1088
+ 167, -1, 47, 167, 167, -1, 52, 167, -1, 51,
1089
+ 167, -1, 50, 167, -1, 122, 167, -1, 123, 167,
1090
+ -1, 124, 167, -1, 125, 167, -1, 132, 167, -1,
1091
+ 133, 167, -1, 134, 167, -1, 135, 167, -1, 130,
1092
+ 167, -1, 131, 167, -1, 128, 167, -1, 129, 167,
1093
+ -1, 126, 167, -1, 127, 167, -1, 44, 167, -1,
1094
+ 44, 158, 165, 159, 167, -1, 45, 167, 167, -1,
1095
+ 157, 158, 165, 159, 112, -1, 48, 167, 167, -1,
1096
+ 157, 167, -1, 49, 167, 167, -1, 157, 158, 165,
1097
+ 159, 167, -1, 53, 167, 167, 167, -1, 112, -1,
1098
+ 138, 140, 261, 139, 140, -1, 138, 151, 261, 139,
1099
+ 151, -1, 138, 141, 261, 139, 141, -1, 138, 142,
1100
+ 261, 139, 142, -1, 138, 144, 261, 139, 144, -1,
1101
+ 138, 143, 261, 139, 143, -1, 138, 145, 261, 139,
1102
+ 145, -1, 138, 148, 261, 139, 148, -1, 138, 149,
1103
+ 261, 139, 149, -1, 138, 150, 261, 139, 150, -1,
1104
+ 138, 58, 56, 79, 246, 80, 261, 139, 58, -1,
1105
+ 138, 58, 79, 246, 80, 261, 139, 58, -1, 138,
1106
+ 146, 99, 147, -1, 138, 146, 147, -1, 246, 57,
1107
+ -1, 57, -1, 152, 15, 261, 16, -1, 58, 15,
1108
+ 261, 16, -1, 58, 15, 61, 15, 249, 16, 261,
1109
+ 16, -1, 250, -1, 249, 250, -1, 251, -1, 252,
1110
+ -1, 253, -1, 254, -1, 255, -1, 256, -1, 257,
1111
+ -1, 258, -1, 259, -1, 260, -1, 62, 72, -1,
1112
+ 63, 72, -1, 64, 72, -1, 65, 72, -1, 66,
1113
+ 72, -1, 67, 72, -1, 68, 72, -1, 69, 72,
1114
+ -1, 70, 72, -1, 71, 72, -1, 262, -1, 261,
1115
+ 60, 262, -1, 263, -1, 264, -1, 267, -1, 263,
1116
+ 59, 267, -1, 91, 15, 265, 16, 263, -1, 266,
1117
+ -1, 265, 266, -1, 252, -1, 253, -1, -1, 165,
1118
+ -1, 100, 15, 268, 16, 165, -1, 269, -1, 268,
1119
+ 269, -1, 252, -1, 253, -1, 270, -1, 271, -1,
1120
+ 101, 72, -1, 102, 72, -1
1112
1121
  };
1113
1122
 
1114
1123
  /* YYRLINE[YYN] -- source line where rule number YYN was defined. */
@@ -1135,16 +1144,16 @@ static const yytype_uint16 yyrline[] =
1135
1144
  997, 1005, 1010, 1014, 1020, 1025, 1030, 1034, 1040, 1045,
1136
1145
  1049, 1053, 1057, 1061, 1065, 1069, 1074, 1082, 1089, 1097,
1137
1146
  1107, 1116, 1124, 1128, 1134, 1139, 1143, 1147, 1152, 1159,
1138
- 1167, 1172, 1179, 1193, 1200, 1214, 1222, 1227, 1232, 1237,
1139
- 1241, 1246, 1250, 1255, 1260, 1265, 1270, 1275, 1279, 1284,
1140
- 1288, 1293, 1297, 1302, 1307, 1315, 1322, 1330, 1337, 1345,
1141
- 1355, 1364, 1368, 1372, 1376, 1380, 1384, 1388, 1392, 1396,
1142
- 1400, 1404, 1408, 1412, 1416, 1421, 1425, 1433, 1437, 1443,
1143
- 1447, 1451, 1455, 1459, 1463, 1467, 1471, 1475, 1479, 1484,
1144
- 1489, 1494, 1499, 1504, 1509, 1514, 1519, 1524, 1529, 1536,
1145
- 1540, 1546, 1550, 1555, 1559, 1565, 1573, 1577, 1583, 1587,
1146
- 1592, 1595, 1599, 1607, 1611, 1617, 1621, 1625, 1629, 1634,
1147
- 1639
1147
+ 1167, 1172, 1179, 1193, 1200, 1214, 1221, 1229, 1234, 1239,
1148
+ 1244, 1248, 1253, 1257, 1262, 1267, 1272, 1277, 1282, 1286,
1149
+ 1291, 1295, 1300, 1304, 1309, 1314, 1321, 1329, 1336, 1344,
1150
+ 1351, 1359, 1369, 1378, 1382, 1386, 1390, 1394, 1398, 1402,
1151
+ 1406, 1410, 1414, 1418, 1422, 1432, 1439, 1443, 1447, 1452,
1152
+ 1457, 1462, 1466, 1474, 1478, 1484, 1488, 1492, 1496, 1500,
1153
+ 1504, 1508, 1512, 1516, 1520, 1525, 1530, 1535, 1540, 1545,
1154
+ 1550, 1555, 1560, 1565, 1570, 1577, 1581, 1587, 1591, 1596,
1155
+ 1600, 1606, 1614, 1618, 1624, 1628, 1633, 1636, 1640, 1648,
1156
+ 1652, 1658, 1662, 1666, 1670, 1675, 1680
1148
1157
  };
1149
1158
  #endif
1150
1159
 
@@ -1159,28 +1168,28 @@ static const char *const yytname[] =
1159
1168
  "BBIGG", "BIGL", "BBIGL", "BIGGL", "BBIGGL", "FRAC", "TFRAC",
1160
1169
  "OPERATORNAME", "MATHOP", "MATHBIN", "MATHREL", "MOP", "MOL", "MOLL",
1161
1170
  "MOF", "MOR", "PERIODDELIM", "OTHERDELIM", "LEFTDELIM", "RIGHTDELIM",
1162
- "MOS", "MOB", "SQRT", "ROOT", "BINOM", "UNDER", "OVER", "OVERBRACE",
1163
- "UNDERLINE", "UNDERBRACE", "UNDEROVER", "TENSOR", "MULTI", "ARRAY",
1164
- "COLSEP", "ROWSEP", "ARRAYOPTS", "COLLAYOUT", "COLALIGN", "ROWALIGN",
1165
- "ALIGN", "EQROWS", "EQCOLS", "ROWLINES", "COLLINES", "FRAME", "PADDING",
1166
- "ATTRLIST", "ITALICS", "BOLD", "BOXED", "SLASHED", "RM", "BB", "ST",
1167
- "END", "BBLOWERCHAR", "BBUPPERCHAR", "BBDIGIT", "CALCHAR", "FRAKCHAR",
1168
- "CAL", "FRAK", "CLAP", "LLAP", "RLAP", "ROWOPTS", "TEXTSIZE", "SCSIZE",
1169
- "SCSCSIZE", "DISPLAY", "TEXTSTY", "TEXTBOX", "TEXTSTRING", "XMLSTRING",
1170
- "CELLOPTS", "ROWSPAN", "COLSPAN", "THINSPACE", "MEDSPACE", "THICKSPACE",
1171
- "QUAD", "QQUAD", "NEGSPACE", "PHANTOM", "HREF", "UNKNOWNCHAR",
1172
- "EMPTYMROW", "STATLINE", "TOOLTIP", "TOGGLE", "FGHIGHLIGHT",
1173
- "BGHIGHLIGHT", "SPACE", "INTONE", "INTTWO", "INTTHREE", "BAR", "WIDEBAR",
1174
- "VEC", "WIDEVEC", "HAT", "WIDEHAT", "CHECK", "WIDECHECK", "TILDE",
1175
- "WIDETILDE", "DOT", "DDOT", "DDDOT", "DDDDOT", "UNARYMINUS", "UNARYPLUS",
1176
- "BEGINENV", "ENDENV", "MATRIX", "PMATRIX", "BMATRIX", "BBMATRIX",
1177
- "VMATRIX", "VVMATRIX", "SVG", "ENDSVG", "SMALLMATRIX", "CASES",
1178
- "ALIGNED", "GATHERED", "SUBSTACK", "PMOD", "RMCHAR", "COLOR", "BGCOLOR",
1179
- "XARROW", "OPTARGOPEN", "OPTARGCLOSE", "$accept", "doc",
1180
- "xmlmmlTermList", "char", "expression", "compoundTermList",
1181
- "compoundTerm", "closedTerm", "left", "right", "bigdelim",
1182
- "unrecognized", "unaryminus", "unaryplus", "mi", "mib", "mn", "mob",
1183
- "mo", "space", "statusline", "tooltip", "toggle", "fghighlight",
1171
+ "MOS", "MOB", "SQRT", "ROOT", "BINOM", "TBINOM", "UNDER", "OVER",
1172
+ "OVERBRACE", "UNDERLINE", "UNDERBRACE", "UNDEROVER", "TENSOR", "MULTI",
1173
+ "ARRAYALIGN", "COLUMNALIGN", "ARRAY", "COLSEP", "ROWSEP", "ARRAYOPTS",
1174
+ "COLLAYOUT", "COLALIGN", "ROWALIGN", "ALIGN", "EQROWS", "EQCOLS",
1175
+ "ROWLINES", "COLLINES", "FRAME", "PADDING", "ATTRLIST", "ITALICS",
1176
+ "BOLD", "BOXED", "SLASHED", "RM", "BB", "ST", "END", "BBLOWERCHAR",
1177
+ "BBUPPERCHAR", "BBDIGIT", "CALCHAR", "FRAKCHAR", "CAL", "FRAK", "CLAP",
1178
+ "LLAP", "RLAP", "ROWOPTS", "TEXTSIZE", "SCSIZE", "SCSCSIZE", "DISPLAY",
1179
+ "TEXTSTY", "TEXTBOX", "TEXTSTRING", "XMLSTRING", "CELLOPTS", "ROWSPAN",
1180
+ "COLSPAN", "THINSPACE", "MEDSPACE", "THICKSPACE", "QUAD", "QQUAD",
1181
+ "NEGSPACE", "PHANTOM", "HREF", "UNKNOWNCHAR", "EMPTYMROW", "STATLINE",
1182
+ "TOOLTIP", "TOGGLE", "FGHIGHLIGHT", "BGHIGHLIGHT", "SPACE", "INTONE",
1183
+ "INTTWO", "INTTHREE", "BAR", "WIDEBAR", "VEC", "WIDEVEC", "HAT",
1184
+ "WIDEHAT", "CHECK", "WIDECHECK", "TILDE", "WIDETILDE", "DOT", "DDOT",
1185
+ "DDDOT", "DDDDOT", "UNARYMINUS", "UNARYPLUS", "BEGINENV", "ENDENV",
1186
+ "MATRIX", "PMATRIX", "BMATRIX", "BBMATRIX", "VMATRIX", "VVMATRIX", "SVG",
1187
+ "ENDSVG", "SMALLMATRIX", "CASES", "ALIGNED", "GATHERED", "SUBSTACK",
1188
+ "PMOD", "RMCHAR", "COLOR", "BGCOLOR", "XARROW", "OPTARGOPEN",
1189
+ "OPTARGCLOSE", "$accept", "doc", "xmlmmlTermList", "char", "expression",
1190
+ "compoundTermList", "compoundTerm", "closedTerm", "left", "right",
1191
+ "bigdelim", "unrecognized", "unaryminus", "unaryplus", "mi", "mib", "mn",
1192
+ "mob", "mo", "space", "statusline", "tooltip", "toggle", "fghighlight",
1184
1193
  "bghighlight", "color", "mathrlap", "mathllap", "mathclap", "textstring",
1185
1194
  "displaystyle", "textstyle", "textsize", "scriptsize",
1186
1195
  "scriptscriptsize", "italics", "slashed", "boxed", "bold", "roman",
@@ -1191,11 +1200,11 @@ static const char *const yytname[] =
1191
1200
  "texatop", "binom", "munderbrace", "munderline", "moverbrace", "bar",
1192
1201
  "vec", "dot", "ddot", "dddot", "ddddot", "tilde", "check", "hat",
1193
1202
  "msqrt", "mroot", "munder", "mover", "munderover", "emptymrow",
1194
- "mathenv", "substack", "array", "arrayopts", "anarrayopt", "collayout",
1195
- "colalign", "rowalign", "align", "eqrows", "eqcols", "rowlines",
1196
- "collines", "frame", "padding", "tableRowList", "tableRow",
1197
- "simpleTableRow", "optsTableRow", "rowopts", "arowopt", "tableCell",
1198
- "cellopts", "acellopt", "rowspan", "colspan", 0
1203
+ "mathenv", "columnAlignList", "substack", "array", "arrayopts",
1204
+ "anarrayopt", "collayout", "colalign", "rowalign", "align", "eqrows",
1205
+ "eqcols", "rowlines", "collines", "frame", "padding", "tableRowList",
1206
+ "tableRow", "simpleTableRow", "optsTableRow", "rowopts", "arowopt",
1207
+ "tableCell", "cellopts", "acellopt", "rowspan", "colspan", 0
1199
1208
  };
1200
1209
  #endif
1201
1210
 
@@ -1219,44 +1228,44 @@ static const yytype_uint16 yytoknum[] =
1219
1228
  375, 376, 377, 378, 379, 380, 381, 382, 383, 384,
1220
1229
  385, 386, 387, 388, 389, 390, 391, 392, 393, 394,
1221
1230
  395, 396, 397, 398, 399, 400, 401, 402, 403, 404,
1222
- 405, 406, 407, 408, 409, 410, 411
1231
+ 405, 406, 407, 408, 409, 410, 411, 412, 413, 414
1223
1232
  };
1224
1233
  # endif
1225
1234
 
1226
1235
  /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
1227
1236
  static const yytype_uint16 yyr1[] =
1228
1237
  {
1229
- 0, 157, 158, 159, 159, 159, 159, 159, 160, 161,
1230
- 161, 161, 161, 162, 162, 163, 163, 163, 163, 163,
1231
- 163, 163, 163, 163, 163, 163, 163, 163, 163, 163,
1232
- 164, 164, 164, 164, 164, 164, 164, 164, 164, 164,
1233
- 164, 164, 164, 164, 164, 164, 164, 164, 164, 164,
1234
- 164, 164, 164, 164, 164, 164, 164, 164, 164, 164,
1235
- 164, 164, 164, 164, 164, 164, 164, 164, 164, 164,
1236
- 164, 164, 164, 164, 164, 164, 164, 164, 164, 164,
1237
- 164, 164, 164, 164, 164, 164, 164, 164, 164, 164,
1238
- 164, 164, 164, 164, 164, 164, 164, 164, 164, 164,
1239
- 164, 165, 165, 165, 166, 166, 166, 167, 167, 167,
1238
+ 0, 160, 161, 162, 162, 162, 162, 162, 163, 164,
1239
+ 164, 164, 164, 165, 165, 166, 166, 166, 166, 166,
1240
+ 166, 166, 166, 166, 166, 166, 166, 166, 166, 166,
1240
1241
  167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
1241
- 167, 167, 167, 167, 167, 167, 167, 168, 169, 170,
1242
- 171, 172, 173, 174, 175, 175, 175, 175, 175, 175,
1243
- 175, 175, 175, 175, 175, 175, 175, 175, 175, 175,
1244
- 175, 176, 177, 178, 179, 180, 181, 182, 182, 183,
1245
- 184, 185, 186, 187, 188, 189, 190, 191, 192, 193,
1246
- 194, 195, 196, 197, 197, 198, 199, 199, 200, 200,
1247
- 200, 201, 202, 202, 203, 204, 205, 205, 206, 207,
1248
- 208, 209, 210, 211, 212, 213, 214, 215, 215, 216,
1249
- 216, 216, 217, 217, 218, 218, 218, 218, 219, 219,
1250
- 220, 221, 221, 222, 222, 223, 224, 225, 226, 227,
1251
- 227, 228, 228, 229, 230, 231, 232, 233, 233, 234,
1252
- 234, 235, 235, 236, 237, 238, 238, 239, 239, 240,
1253
- 240, 241, 242, 242, 242, 242, 242, 242, 242, 242,
1254
- 242, 242, 242, 242, 243, 244, 244, 245, 245, 246,
1255
- 246, 246, 246, 246, 246, 246, 246, 246, 246, 247,
1256
- 248, 249, 250, 251, 252, 253, 254, 255, 256, 257,
1257
- 257, 258, 258, 259, 259, 260, 261, 261, 262, 262,
1258
- 263, 263, 263, 264, 264, 265, 265, 265, 265, 266,
1259
- 267
1242
+ 167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
1243
+ 167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
1244
+ 167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
1245
+ 167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
1246
+ 167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
1247
+ 167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
1248
+ 167, 168, 168, 168, 169, 169, 169, 170, 170, 170,
1249
+ 170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
1250
+ 170, 170, 170, 170, 170, 170, 170, 171, 172, 173,
1251
+ 174, 175, 176, 177, 178, 178, 178, 178, 178, 178,
1252
+ 178, 178, 178, 178, 178, 178, 178, 178, 178, 178,
1253
+ 178, 179, 180, 181, 182, 183, 184, 185, 185, 186,
1254
+ 187, 188, 189, 190, 191, 192, 193, 194, 195, 196,
1255
+ 197, 198, 199, 200, 200, 201, 202, 202, 203, 203,
1256
+ 203, 204, 205, 205, 206, 207, 208, 208, 209, 210,
1257
+ 211, 212, 213, 214, 215, 216, 217, 218, 218, 219,
1258
+ 219, 219, 220, 220, 221, 221, 221, 221, 222, 222,
1259
+ 223, 224, 224, 225, 225, 226, 226, 227, 228, 229,
1260
+ 230, 230, 231, 231, 232, 233, 234, 235, 236, 236,
1261
+ 237, 237, 238, 238, 239, 240, 240, 241, 241, 242,
1262
+ 242, 243, 243, 244, 245, 245, 245, 245, 245, 245,
1263
+ 245, 245, 245, 245, 245, 245, 245, 245, 246, 246,
1264
+ 247, 248, 248, 249, 249, 250, 250, 250, 250, 250,
1265
+ 250, 250, 250, 250, 250, 251, 252, 253, 254, 255,
1266
+ 256, 257, 258, 259, 260, 261, 261, 262, 262, 263,
1267
+ 263, 264, 265, 265, 266, 266, 267, 267, 267, 268,
1268
+ 268, 269, 269, 269, 269, 270, 271
1260
1269
  };
1261
1270
 
1262
1271
  /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
@@ -1283,16 +1292,16 @@ static const yytype_uint8 yyr2[] =
1283
1292
  1, 4, 1, 2, 1, 4, 1, 2, 1, 1,
1284
1293
  1, 1, 1, 1, 1, 2, 3, 5, 3, 8,
1285
1294
  6, 6, 1, 2, 4, 2, 2, 3, 3, 3,
1286
- 2, 5, 5, 5, 5, 3, 2, 2, 2, 2,
1295
+ 2, 5, 5, 5, 5, 3, 3, 2, 2, 2,
1287
1296
  2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
1288
- 2, 2, 2, 2, 3, 5, 3, 2, 3, 5,
1289
- 4, 1, 5, 5, 5, 5, 5, 5, 5, 5,
1290
- 5, 5, 4, 3, 4, 4, 8, 1, 2, 1,
1291
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 2,
1292
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 1,
1293
- 3, 1, 1, 1, 3, 5, 1, 2, 1, 1,
1294
- 0, 1, 5, 1, 2, 1, 1, 1, 1, 2,
1295
- 2
1297
+ 2, 2, 2, 2, 2, 5, 3, 5, 3, 2,
1298
+ 3, 5, 4, 1, 5, 5, 5, 5, 5, 5,
1299
+ 5, 5, 5, 5, 9, 8, 4, 3, 2, 1,
1300
+ 4, 4, 8, 1, 2, 1, 1, 1, 1, 1,
1301
+ 1, 1, 1, 1, 1, 2, 2, 2, 2, 2,
1302
+ 2, 2, 2, 2, 2, 1, 3, 1, 1, 1,
1303
+ 3, 5, 1, 2, 1, 1, 0, 1, 5, 1,
1304
+ 2, 1, 1, 1, 1, 2, 2
1296
1305
  };
1297
1306
 
1298
1307
  /* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
@@ -1307,146 +1316,150 @@ static const yytype_uint16 yydefact[] =
1307
1316
  144, 133, 0, 0, 0, 0, 0, 0, 0, 0,
1308
1317
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1309
1318
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1310
- 0, 189, 190, 191, 192, 193, 194, 0, 0, 127,
1311
- 241, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1319
+ 0, 0, 189, 190, 191, 192, 193, 194, 0, 0,
1320
+ 127, 243, 0, 0, 0, 0, 0, 0, 0, 0,
1312
1321
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1313
- 0, 128, 129, 0, 0, 0, 173, 0, 0, 0,
1314
- 0, 13, 29, 0, 135, 100, 31, 32, 34, 33,
1315
- 35, 134, 36, 76, 86, 87, 88, 89, 90, 91,
1316
- 61, 60, 59, 77, 62, 63, 64, 65, 66, 67,
1317
- 73, 74, 68, 69, 70, 71, 72, 75, 78, 79,
1318
- 80, 81, 82, 83, 84, 85, 37, 38, 39, 99,
1319
- 92, 93, 40, 55, 56, 54, 45, 46, 48, 49,
1320
- 50, 51, 53, 52, 47, 41, 42, 43, 44, 57,
1321
- 58, 97, 98, 30, 10, 0, 1, 6, 7, 28,
1322
- 33, 134, 27, 0, 29, 103, 102, 101, 109, 107,
1323
- 108, 112, 110, 111, 115, 113, 114, 118, 116, 117,
1324
- 120, 119, 122, 121, 124, 123, 126, 125, 0, 0,
1325
- 147, 148, 149, 150, 233, 0, 0, 0, 0, 218,
1326
- 217, 216, 0, 0, 0, 0, 290, 168, 171, 170,
1327
- 169, 0, 0, 0, 0, 161, 160, 159, 165, 166,
1328
- 167, 163, 164, 162, 195, 0, 0, 0, 0, 0,
1329
- 0, 0, 219, 220, 221, 222, 231, 232, 229, 230,
1330
- 227, 228, 223, 224, 225, 226, 290, 290, 290, 290,
1331
- 290, 290, 0, 290, 290, 290, 290, 290, 210, 0,
1332
- 0, 0, 237, 11, 14, 0, 0, 0, 0, 0,
1333
- 0, 0, 174, 12, 0, 0, 95, 94, 208, 209,
1334
- 234, 215, 236, 238, 0, 0, 0, 0, 198, 202,
1335
- 0, 0, 0, 0, 0, 291, 0, 279, 281, 282,
1336
- 283, 0, 178, 179, 180, 0, 176, 188, 0, 186,
1337
- 184, 0, 182, 196, 152, 153, 154, 155, 156, 0,
1338
- 0, 0, 0, 0, 0, 0, 0, 253, 0, 0,
1339
- 0, 0, 0, 157, 158, 0, 26, 25, 0, 0,
1340
- 0, 96, 22, 20, 18, 16, 0, 0, 240, 206,
1341
- 0, 205, 0, 203, 0, 0, 0, 0, 0, 255,
1342
- 290, 290, 172, 175, 177, 185, 187, 181, 183, 0,
1343
- 0, 0, 0, 0, 0, 0, 252, 0, 0, 0,
1344
- 0, 254, 0, 0, 0, 0, 0, 106, 105, 104,
1345
- 0, 0, 0, 0, 213, 211, 207, 0, 197, 0,
1346
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1347
- 0, 0, 257, 259, 260, 261, 262, 263, 264, 265,
1348
- 266, 267, 268, 288, 289, 0, 286, 0, 0, 295,
1349
- 296, 0, 293, 297, 298, 280, 284, 0, 242, 244,
1350
- 245, 247, 246, 248, 249, 250, 251, 243, 235, 239,
1351
- 24, 23, 214, 212, 21, 19, 17, 15, 204, 0,
1352
- 200, 201, 269, 270, 271, 272, 273, 274, 275, 276,
1353
- 277, 278, 290, 258, 290, 287, 299, 300, 0, 294,
1354
- 0, 0, 0, 285, 292, 0, 199, 256, 0, 0,
1355
- 151
1322
+ 0, 0, 128, 129, 0, 0, 0, 173, 0, 0,
1323
+ 0, 0, 13, 29, 0, 135, 100, 31, 32, 34,
1324
+ 33, 35, 134, 36, 76, 86, 87, 88, 89, 90,
1325
+ 91, 61, 60, 59, 77, 62, 63, 64, 65, 66,
1326
+ 67, 73, 74, 68, 69, 70, 71, 72, 75, 78,
1327
+ 79, 80, 81, 82, 83, 84, 85, 37, 38, 39,
1328
+ 99, 92, 93, 40, 55, 56, 54, 45, 46, 48,
1329
+ 49, 50, 51, 53, 52, 47, 41, 42, 43, 44,
1330
+ 57, 58, 97, 98, 30, 10, 0, 1, 6, 7,
1331
+ 28, 33, 134, 27, 0, 29, 103, 102, 101, 109,
1332
+ 107, 108, 112, 110, 111, 115, 113, 114, 118, 116,
1333
+ 117, 120, 119, 122, 121, 124, 123, 126, 125, 0,
1334
+ 0, 147, 148, 149, 150, 0, 234, 0, 0, 0,
1335
+ 0, 0, 219, 218, 217, 0, 0, 0, 0, 296,
1336
+ 168, 171, 170, 169, 0, 0, 0, 0, 161, 160,
1337
+ 159, 165, 166, 167, 163, 164, 162, 195, 0, 0,
1338
+ 0, 0, 0, 0, 0, 220, 221, 222, 223, 232,
1339
+ 233, 230, 231, 228, 229, 224, 225, 226, 227, 0,
1340
+ 296, 296, 296, 296, 296, 296, 0, 296, 296, 296,
1341
+ 296, 296, 210, 0, 0, 0, 239, 11, 14, 0,
1342
+ 0, 0, 0, 0, 0, 0, 174, 12, 0, 0,
1343
+ 95, 94, 208, 209, 0, 236, 215, 216, 238, 240,
1344
+ 0, 0, 0, 0, 198, 202, 0, 0, 0, 0,
1345
+ 0, 297, 0, 285, 287, 288, 289, 0, 178, 179,
1346
+ 180, 0, 176, 188, 0, 186, 184, 0, 182, 196,
1347
+ 152, 153, 154, 155, 156, 0, 0, 0, 0, 0,
1348
+ 0, 0, 0, 0, 0, 257, 0, 0, 0, 0,
1349
+ 0, 157, 158, 0, 26, 25, 0, 0, 0, 96,
1350
+ 22, 20, 18, 16, 0, 0, 0, 242, 206, 0,
1351
+ 205, 0, 203, 0, 0, 0, 0, 0, 261, 296,
1352
+ 296, 172, 175, 177, 185, 187, 181, 183, 0, 0,
1353
+ 259, 0, 0, 0, 0, 0, 0, 0, 256, 0,
1354
+ 0, 0, 0, 260, 0, 0, 0, 0, 0, 106,
1355
+ 105, 104, 0, 0, 0, 0, 213, 211, 235, 207,
1356
+ 0, 197, 0, 0, 0, 0, 0, 0, 0, 0,
1357
+ 0, 0, 0, 0, 0, 263, 265, 266, 267, 268,
1358
+ 269, 270, 271, 272, 273, 274, 294, 295, 0, 292,
1359
+ 0, 0, 301, 302, 0, 299, 303, 304, 286, 290,
1360
+ 0, 0, 258, 296, 244, 246, 247, 249, 248, 250,
1361
+ 251, 252, 253, 245, 237, 241, 24, 23, 214, 212,
1362
+ 21, 19, 17, 15, 204, 0, 200, 201, 275, 276,
1363
+ 277, 278, 279, 280, 281, 282, 283, 284, 296, 264,
1364
+ 296, 293, 305, 306, 0, 300, 0, 296, 0, 0,
1365
+ 0, 291, 298, 0, 0, 0, 199, 262, 0, 0,
1366
+ 255, 0, 254, 151
1356
1367
  };
1357
1368
 
1358
1369
  /* YYDEFGOTO[NTERM-NUM]. */
1359
1370
  static const yytype_int16 yydefgoto[] =
1360
1371
  {
1361
- -1, 4, 5, 6, 7, 325, 111, 112, 113, 371,
1362
- 114, 115, 116, 117, 118, 190, 120, 191, 122, 123,
1363
- 124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
1364
- 134, 135, 136, 137, 138, 139, 140, 141, 142, 143,
1365
- 144, 145, 335, 336, 146, 341, 342, 147, 338, 339,
1366
- 148, 149, 150, 151, 152, 153, 154, 155, 156, 157,
1367
- 318, 319, 158, 159, 160, 161, 162, 163, 164, 165,
1368
- 166, 167, 168, 169, 170, 171, 172, 173, 174, 175,
1369
- 176, 177, 178, 179, 180, 181, 182, 183, 441, 442,
1370
- 443, 444, 445, 446, 447, 448, 449, 450, 451, 452,
1371
- 326, 327, 328, 329, 455, 456, 330, 461, 462, 463,
1372
- 464
1372
+ -1, 4, 5, 6, 7, 331, 112, 113, 114, 379,
1373
+ 115, 116, 117, 118, 119, 191, 121, 192, 123, 124,
1374
+ 125, 126, 127, 128, 129, 130, 131, 132, 133, 134,
1375
+ 135, 136, 137, 138, 139, 140, 141, 142, 143, 144,
1376
+ 145, 146, 341, 342, 147, 347, 348, 148, 344, 345,
1377
+ 149, 150, 151, 152, 153, 154, 155, 156, 157, 158,
1378
+ 324, 325, 159, 160, 161, 162, 163, 164, 165, 166,
1379
+ 167, 168, 169, 170, 171, 172, 173, 174, 175, 176,
1380
+ 177, 178, 179, 180, 181, 182, 411, 183, 184, 454,
1381
+ 455, 456, 457, 458, 459, 460, 461, 462, 463, 464,
1382
+ 465, 332, 333, 334, 335, 468, 469, 336, 474, 475,
1383
+ 476, 477
1373
1384
  };
1374
1385
 
1375
1386
  /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
1376
1387
  STATE-NUM. */
1377
- #define YYPACT_NINF -367
1388
+ #define YYPACT_NINF -331
1378
1389
  static const yytype_int16 yypact[] =
1379
1390
  {
1380
- 42, -367, 1294, 1441, 40, 42, -367, -367, -367, -367,
1381
- -367, -367, -367, 3196, 3196, 2904, 108, 115, 145, 148,
1382
- 153, 39, 97, 100, 103, 3196, 3196, -53, -51, -38,
1383
- 18, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1384
- -367, -367, 3196, 3196, 3196, 3196, 3196, 3196, 3196, 3196,
1385
- 3196, 3196, -11, 47, 3196, 3196, 3196, 3196, 0, 8,
1386
- 46, 48, 3196, 3196, 3196, 3196, 3196, 3196, 3196, 3196,
1387
- 50, -367, -367, -367, -367, -367, -367, 3196, 54, -367,
1388
- -367, 62, 71, 3196, 5, 121, 119, 3196, 3196, 3196,
1389
- 3196, 3196, 3196, 3196, 3196, 3196, 3196, 3196, 3196, 3196,
1390
- 3196, -367, -367, 22, 196, 3196, -367, 143, 146, 1881,
1391
- 1588, -367, 138, 2904, -367, -367, -367, -367, -367, 168,
1392
- -367, 190, -367, -367, -367, -367, -367, -367, -367, -367,
1393
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1394
- -367, -367, -367, -367, 63, -367, -367, -367, -367, -367,
1395
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1396
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1397
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1398
- -367, -367, -367, -367, -367, 1735, -367, -367, -367, -367,
1399
- -367, -367, -367, 847, 45, -367, -367, -367, -367, -367,
1400
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1401
- -367, -367, -367, -367, -367, -367, -367, -367, 3196, 3196,
1402
- -367, -367, -367, -367, -367, 3196, 3196, 3196, 3196, -367,
1403
- -367, -367, 3196, 184, 192, 3196, 2028, -367, -367, -367,
1404
- -367, 65, 122, 136, 137, -367, -367, -367, -367, -367,
1405
- -367, -367, -367, -367, -367, 3196, 3196, 3196, 3196, 3196,
1406
- 3196, 102, -367, -367, -367, -367, -367, -367, -367, -367,
1407
- -367, -367, -367, -367, -367, -367, 2174, 2174, 2174, 2174,
1408
- 2174, 2174, -67, 2174, 2174, 2174, 2174, 2174, -367, 2904,
1409
- 2904, 2904, -367, -367, -367, 3196, 3196, 999, 3196, 3196,
1410
- 3196, 3196, -367, -367, 2904, 2904, -367, -367, -367, -367,
1411
- -367, -367, -367, -367, 3196, 3196, 3050, 192, 192, -367,
1412
- 52, 205, 207, 208, 209, 2904, 16, -367, 169, -367,
1413
- -367, -54, -367, -367, -367, -8, -367, -367, -21, -367,
1414
- -367, -27, -367, -367, -367, -367, -367, -367, -367, 149,
1415
- -37, -33, -32, -31, -30, -29, 83, -367, -22, -20,
1416
- -19, -18, 25, 2904, 2904, 1145, 214, 216, 2904, 2904,
1417
- 49, -367, 217, 219, 221, 223, 2320, 2466, -367, -367,
1418
- 3196, 224, 80, -367, 3196, 192, 112, 147, -7, -367,
1419
- 2174, 2612, -367, -367, -367, -367, -367, -367, -367, 154,
1420
- 101, 104, 105, 99, 106, 98, -367, 109, 95, 111,
1421
- 113, -367, 3342, 3196, 3196, 2758, 2758, -367, -367, -367,
1422
- 3196, 3196, 3196, 3196, -367, -367, -367, 3196, -367, -9,
1423
- 96, 174, 176, 177, 179, 180, 181, 182, 183, 186,
1424
- 187, 67, -367, -367, -367, -367, -367, -367, -367, -367,
1425
- -367, -367, -367, -367, -367, 20, -367, 191, 194, -367,
1426
- -367, 3, -367, -367, -367, -367, -367, 142, -367, -367,
1427
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1428
- -367, -367, -367, -367, -367, -367, -367, -367, -367, 192,
1429
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1430
- -367, -367, 2174, -367, 2612, -367, -367, -367, 2904, -367,
1431
- 188, 107, 29, 169, 2904, 193, -367, -367, 135, 189,
1432
- -367
1391
+ 176, -331, 1546, 1696, 36, 176, -331, -331, -331, -331,
1392
+ -331, -331, -331, 3637, 3637, 3339, 147, 149, 154, 157,
1393
+ 160, 15, 32, 118, 169, 3637, 3637, -52, -40, -33,
1394
+ -6, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1395
+ -331, -331, 2145, 3637, 3637, 3637, 3637, 3637, 3637, 3637,
1396
+ 3637, 3637, 3637, -12, 82, 3637, 3637, 3637, 3637, 23,
1397
+ 40, 54, 64, 3637, 3637, 3637, 3637, 3637, 3637, 3637,
1398
+ 3637, 41, -331, -331, -331, -331, -331, -331, 3637, 47,
1399
+ -331, -331, 68, 74, 3637, 104, 106, 112, 3637, 3637,
1400
+ 3637, 3637, 3637, 3637, 3637, 3637, 3637, 3637, 3637, 3637,
1401
+ 3637, 3637, -331, -331, -14, 195, 3637, -331, 148, 150,
1402
+ 2295, 1846, -331, 199, 3339, -331, -331, -331, -331, -331,
1403
+ 201, -331, 203, -331, -331, -331, -331, -331, -331, -331,
1404
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1405
+ -331, -331, -331, -331, -331, -103, -331, -331, -331, -331,
1406
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1407
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1408
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1409
+ -331, -331, -331, -331, -331, -331, 1996, -331, -331, -331,
1410
+ -331, -331, -331, -331, 939, 92, -331, -331, -331, -331,
1411
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1412
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, 3637,
1413
+ 3637, -331, -331, -331, -331, 3339, -331, 3637, 3637, 3637,
1414
+ 3637, 3637, -331, -331, -331, 3637, 189, 205, 3637, 2445,
1415
+ -331, -331, -331, -331, 70, 124, 152, 146, -331, -331,
1416
+ -331, -331, -331, -331, -331, -331, -331, -331, 3637, 3637,
1417
+ 3637, 3637, 3637, 3637, 113, -331, -331, -331, -331, -331,
1418
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -9,
1419
+ 2594, 2594, 2594, 2594, 2594, 2594, -51, 2594, 2594, 2594,
1420
+ 2594, 2594, -331, 3339, 3339, 3339, -331, -331, -331, 3637,
1421
+ 3637, 1094, 3637, 3637, 3637, 3637, -331, -331, 3339, 3339,
1422
+ -331, -331, -331, -331, 1243, -331, -331, -331, -331, -331,
1423
+ 3637, 3637, 3488, 205, 205, -331, 108, 218, 219, 220,
1424
+ 223, 3339, -1, -331, 180, -331, -331, -47, -331, -331,
1425
+ -331, 80, -331, -331, -31, -331, -331, -35, -331, -331,
1426
+ -331, -331, -331, -331, -331, 164, 163, 183, -50, -49,
1427
+ -48, -46, -36, -29, 94, -331, -28, -26, -25, -22,
1428
+ 26, 3339, 3339, 1394, 232, 234, 3339, 3339, 60, -331,
1429
+ 235, 237, 238, 241, 2743, 2892, 3637, -331, -331, 3637,
1430
+ 242, 151, -331, 3637, 205, 85, 162, 78, -331, 2594,
1431
+ 3041, -331, -331, -331, -331, -331, -331, -331, 172, 183,
1432
+ -331, -20, 117, 107, 116, 119, 115, 121, -331, 120,
1433
+ 114, 111, 122, -331, 3786, 3637, 3637, 3190, 3190, -331,
1434
+ -331, -331, 3637, 3637, 3637, 3637, -331, -331, -331, -331,
1435
+ 3637, -331, -8, 155, 192, 197, 200, 202, 204, 222,
1436
+ 231, 233, 236, 243, 14, -331, -331, -331, -331, -331,
1437
+ -331, -331, -331, -331, -331, -331, -331, -331, 0, -331,
1438
+ 244, 245, -331, -331, -7, -331, -331, -331, -331, -331,
1439
+ 170, -5, -331, 2594, -331, -331, -331, -331, -331, -331,
1440
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1441
+ -331, -331, -331, -331, -331, 205, -331, -331, -331, -331,
1442
+ -331, -331, -331, -331, -331, -331, -331, -331, 2594, -331,
1443
+ 3041, -331, -331, -331, 3339, -331, 187, 2594, -21, 161,
1444
+ 27, 180, 3339, 196, -19, 213, -331, -331, 156, 246,
1445
+ -331, 229, -331, -331
1433
1446
  };
1434
1447
 
1435
1448
  /* YYPGOTO[NTERM-NUM]. */
1436
1449
  static const yytype_int16 yypgoto[] =
1437
1450
  {
1438
- -367, -367, -367, 262, 263, 31, -35, 426, -367, -206,
1439
- -367, -367, -367, -367, -367, -2, -367, 28, -367, -367,
1440
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1441
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1442
- 30, -367, -367, -65, -367, -367, -69, -367, -367, -58,
1443
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1444
- -232, -315, -367, -367, -367, -367, -367, -367, -367, -367,
1445
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -367,
1446
- -367, -367, -367, -367, -367, -367, -367, -367, -367, -168,
1447
- -367, -366, -336, -367, -367, -367, -367, -367, -367, -367,
1448
- -269, -104, -213, -367, -367, -163, -98, -367, -167, -367,
1449
- -367
1451
+ -331, -331, -331, 313, 314, 2, -71, 506, -331, -199,
1452
+ -331, -331, -331, -331, -331, -2, -331, 59, -331, -331,
1453
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1454
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1455
+ 76, -331, -331, -18, -331, -331, -23, -331, -331, -17,
1456
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1457
+ -235, -318, -331, -331, -331, -331, -331, -331, -331, -331,
1458
+ -331, -331, -331, -331, -331, -331, -331, -331, -331, -331,
1459
+ -331, -331, -331, -331, -331, -331, -88, -331, -331, -331,
1460
+ -132, -331, -330, -328, -331, -331, -331, -331, -331, -331,
1461
+ -331, -262, -74, -194, -331, -331, -140, -70, -331, -143,
1462
+ -331, -331
1450
1463
  };
1451
1464
 
1452
1465
  /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
@@ -1456,769 +1469,861 @@ static const yytype_int16 yypgoto[] =
1456
1469
  #define YYTABLE_NINF -1
1457
1470
  static const yytype_uint16 yytable[] =
1458
1471
  {
1459
- 119, 119, 320, 383, 234, 383, 489, 350, 351, 352,
1460
- 353, 354, 355, 119, 358, 359, 360, 361, 362, 508,
1461
- 390, 453, 459, 392, 390, 390, 390, 390, 390, 356,
1462
- 121, 121, 389, 110, 185, 390, 504, 390, 390, 390,
1463
- 186, 411, 220, 121, 221, 517, 193, 1, 2, 3,
1464
- 397, 454, 460, 432, 433, 340, 395, 222, 295, 296,
1465
- 337, 307, 236, 432, 433, 315, 316, 383, 384, 393,
1466
- 332, 333, 334, 390, 259, 294, 241, 357, 210, 211,
1467
- 432, 433, 390, 502, 242, 382, 390, 417, 418, 453,
1468
- 419, 457, 458, 315, 316, 459, 428, 302, 235, 400,
1469
- 490, 457, 458, 401, 402, 403, 404, 405, 119, 315,
1470
- 316, 119, 491, 223, 407, 383, 408, 409, 410, 454,
1471
- 315, 316, 243, 516, 244, 460, 431, 432, 433, 434,
1472
- 435, 436, 437, 438, 439, 440, 212, 213, 121, 214,
1473
- 215, 121, 216, 217, 297, 253, 195, 196, 197, 255,
1474
- 294, 295, 296, 430, 198, 199, 200, 256, 294, 276,
1475
- 277, 278, 279, 280, 281, 282, 257, 283, 284, 285,
1476
- 286, 431, 432, 433, 434, 435, 436, 437, 438, 439,
1477
- 440, 298, 299, 119, 201, 202, 203, 204, 205, 206,
1478
- 260, 119, 207, 208, 209, 261, 383, 315, 316, 317,
1479
- 332, 333, 334, 300, 301, 315, 316, 432, 433, 482,
1480
- 483, 287, 289, 121, 302, 290, 106, 337, 349, 340,
1481
- 385, 121, 386, 387, 388, 391, 399, 406, 413, 414,
1482
- 467, 420, 421, 512, 119, 422, 423, 427, 468, 471,
1483
- 473, 475, 469, 492, 470, 493, 494, 472, 495, 496,
1484
- 497, 498, 499, 519, 474, 500, 501, 511, 476, 510,
1485
- 506, 477, 294, 507, 121, 515, 520, 187, 188, 518,
1486
- 394, 331, 398, 503, 119, 119, 119, 119, 119, 119,
1487
- 396, 119, 119, 119, 119, 119, 465, 119, 119, 119,
1488
- 294, 513, 505, 466, 509, 119, 0, 0, 0, 0,
1489
- 0, 0, 119, 119, 121, 121, 121, 121, 121, 121,
1490
- 0, 121, 121, 121, 121, 121, 0, 121, 121, 121,
1491
- 363, 364, 365, 119, 0, 121, 0, 0, 294, 294,
1492
- 294, 0, 121, 121, 0, 376, 377, 0, 0, 0,
1493
- 0, 294, 294, 0, 0, 0, 0, 0, 0, 0,
1494
- 0, 0, 0, 121, 0, 0, 0, 0, 0, 0,
1495
- 0, 119, 119, 119, 0, 0, 119, 119, 0, 0,
1496
- 0, 0, 0, 0, 119, 119, 0, 0, 0, 0,
1497
- 294, 294, 0, 0, 0, 0, 0, 0, 119, 119,
1498
- 0, 121, 121, 121, 0, 0, 121, 121, 0, 415,
1499
- 416, 0, 0, 0, 121, 121, 0, 0, 0, 0,
1500
- 0, 0, 0, 119, 119, 0, 0, 0, 121, 121,
1472
+ 120, 120, 326, 237, 111, 186, 392, 505, 392, 524,
1473
+ 399, 399, 399, 120, 399, 398, 520, 194, 358, 359,
1474
+ 360, 361, 362, 363, 399, 366, 367, 368, 369, 370,
1475
+ 518, 399, 399, 401, 399, 399, 187, 482, 399, 399,
1476
+ 298, 399, 423, 537, 279, 406, 221, 356, 364, 404,
1477
+ 346, 306, 482, 343, 211, 212, 445, 446, 222, 399,
1478
+ 483, 122, 122, 445, 446, 223, 466, 472, 467, 473,
1479
+ 357, 213, 214, 392, 122, 527, 444, 445, 446, 447,
1480
+ 448, 449, 450, 451, 452, 453, 399, 399, 391, 412,
1481
+ 413, 414, 224, 415, 470, 471, 365, 239, 429, 430,
1482
+ 238, 431, 244, 416, 506, 299, 300, 306, 311, 120,
1483
+ 417, 419, 120, 420, 421, 298, 301, 422, 535, 245,
1484
+ 539, 321, 322, 298, 393, 392, 280, 281, 282, 283,
1485
+ 284, 285, 286, 246, 287, 288, 289, 290, 466, 256,
1486
+ 467, 445, 446, 247, 472, 258, 473, 444, 445, 446,
1487
+ 447, 448, 449, 450, 451, 452, 453, 215, 216, 443,
1488
+ 402, 338, 339, 340, 321, 322, 259, 441, 321, 322,
1489
+ 122, 507, 260, 122, 321, 322, 262, 536, 263, 470,
1490
+ 471, 1, 2, 3, 120, 196, 197, 198, 199, 200,
1491
+ 201, 264, 120, 202, 203, 204, 205, 206, 207, 208,
1492
+ 209, 210, 321, 322, 323, 338, 339, 340, 217, 218,
1493
+ 291, 392, 299, 300, 302, 303, 304, 305, 321, 322,
1494
+ 293, 528, 294, 120, 107, 445, 446, 314, 498, 499,
1495
+ 298, 346, 355, 394, 395, 396, 343, 120, 397, 400,
1496
+ 410, 418, 409, 298, 408, 122, 425, 426, 485, 432,
1497
+ 433, 480, 434, 122, 435, 440, 530, 484, 486, 488,
1498
+ 298, 492, 487, 491, 508, 534, 489, 533, 490, 509,
1499
+ 529, 540, 510, 493, 511, 538, 512, 541, 120, 120,
1500
+ 120, 120, 120, 120, 122, 120, 120, 120, 120, 120,
1501
+ 526, 120, 120, 120, 513, 371, 372, 373, 122, 120,
1502
+ 298, 298, 298, 514, 542, 515, 120, 120, 516, 543,
1503
+ 384, 385, 120, 298, 298, 517, 522, 523, 188, 189,
1504
+ 337, 481, 519, 403, 407, 478, 531, 405, 521, 120,
1505
+ 479, 525, 0, 0, 0, 0, 0, 0, 0, 122,
1506
+ 122, 122, 122, 122, 122, 0, 122, 122, 122, 122,
1507
+ 122, 0, 122, 122, 122, 0, 298, 298, 0, 0,
1508
+ 122, 0, 0, 0, 0, 0, 0, 122, 122, 120,
1509
+ 120, 120, 0, 122, 120, 120, 0, 0, 427, 428,
1510
+ 0, 0, 120, 120, 0, 0, 0, 0, 0, 0,
1511
+ 122, 0, 0, 0, 0, 0, 0, 120, 120, 0,
1501
1512
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1502
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 189,
1503
- 192, 194, 0, 121, 121, 0, 0, 0, 0, 0,
1504
- 0, 218, 219, 0, 0, 0, 0, 0, 0, 0,
1505
- 0, 0, 0, 0, 0, 0, 0, 0, 224, 225,
1506
- 226, 227, 228, 229, 230, 231, 232, 233, 0, 294,
1507
- 237, 238, 239, 240, 0, 0, 0, 0, 245, 246,
1508
- 247, 248, 249, 250, 251, 252, 0, 0, 0, 0,
1509
- 119, 0, 119, 254, 0, 0, 119, 0, 0, 258,
1510
- 0, 0, 119, 262, 263, 264, 265, 266, 267, 268,
1511
- 269, 270, 271, 272, 273, 274, 275, 0, 0, 0,
1512
- 121, 288, 121, 0, 0, 292, 121, 0, 0, 514,
1513
- 0, 0, 121, 0, 0, 0, 0, 0, 0, 0,
1514
1513
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1514
+ 0, 0, 0, 0, 0, 120, 120, 0, 0, 0,
1515
+ 122, 122, 122, 0, 0, 122, 122, 0, 0, 0,
1516
+ 0, 0, 0, 122, 122, 0, 0, 0, 0, 0,
1517
+ 0, 0, 0, 0, 0, 0, 0, 0, 122, 122,
1518
+ 0, 298, 0, 0, 0, 0, 0, 0, 0, 0,
1515
1519
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1520
+ 0, 120, 0, 0, 0, 0, 122, 122, 0, 0,
1516
1521
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1517
1522
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1523
+ 0, 0, 0, 0, 0, 0, 120, 0, 120, 190,
1524
+ 193, 195, 120, 0, 0, 120, 532, 0, 0, 0,
1525
+ 120, 219, 220, 0, 0, 0, 0, 0, 0, 0,
1526
+ 0, 0, 122, 0, 0, 0, 0, 0, 226, 227,
1527
+ 228, 229, 230, 231, 232, 233, 234, 235, 236, 0,
1528
+ 0, 240, 241, 242, 243, 0, 0, 0, 0, 248,
1529
+ 249, 250, 251, 252, 253, 254, 255, 122, 0, 122,
1530
+ 0, 0, 0, 122, 257, 0, 122, 0, 0, 0,
1531
+ 261, 122, 0, 0, 265, 266, 267, 268, 269, 270,
1532
+ 271, 272, 273, 274, 275, 276, 277, 278, 0, 0,
1533
+ 0, 0, 292, 0, 0, 0, 296, 0, 0, 0,
1518
1534
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1519
1535
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1520
1536
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1521
1537
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1522
1538
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1523
- 0, 0, 0, 0, 308, 309, 0, 0, 0, 0,
1524
- 0, 310, 311, 312, 313, 0, 0, 0, 314, 0,
1525
- 0, 321, 0, 0, 0, 0, 0, 0, 0, 0,
1526
1539
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1527
- 0, 343, 344, 345, 346, 347, 348, 0, 0, 0,
1528
1540
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1529
1541
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1530
1542
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1531
- 0, 366, 367, 0, 372, 373, 374, 375, 0, 0,
1532
1543
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1533
- 378, 379, 381, 0, 0, 0, 0, 0, 0, 0,
1544
+ 0, 0, 0, 0, 0, 312, 313, 0, 0, 0,
1545
+ 0, 0, 0, 315, 316, 317, 318, 319, 0, 0,
1546
+ 0, 320, 0, 0, 327, 0, 0, 0, 0, 0,
1534
1547
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1548
+ 0, 0, 0, 0, 349, 350, 351, 352, 353, 354,
1535
1549
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1536
1550
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1537
1551
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1552
+ 0, 0, 0, 0, 0, 374, 375, 0, 380, 381,
1553
+ 382, 383, 0, 0, 0, 0, 0, 0, 0, 0,
1554
+ 0, 0, 0, 0, 0, 0, 387, 388, 390, 0,
1538
1555
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1539
- 0, 0, 0, 0, 0, 0, 426, 0, 0, 0,
1540
- 429, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1541
1556
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1542
- 0, 0, 0, 0, 0, 0, 0, 0, 479, 480,
1543
- 481, 0, 0, 0, 0, 0, 484, 485, 486, 487,
1544
- 304, 305, 0, 488, 0, 0, 9, 10, 11, 12,
1545
- 13, 14, 15, 306, 16, 0, 17, 18, 19, 20,
1546
- 21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
1547
- 31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
1548
- 41, 42, 43, 44, 45, 46, 47, 48, 49, 50,
1549
- 51, 52, 53, 0, 0, 0, 0, 0, 0, 0,
1550
- 0, 0, 0, 0, 0, 0, 0, 54, 55, 56,
1551
- 57, 58, 59, 0, 0, 0, 0, 0, 0, 0,
1552
- 60, 61, 62, 63, 64, 0, 65, 66, 67, 68,
1553
- 69, 70, 0, 0, 0, 0, 0, 71, 72, 73,
1554
- 74, 75, 76, 77, 78, 79, 80, 81, 82, 83,
1555
- 84, 85, 86, 0, 0, 0, 87, 88, 89, 90,
1556
- 91, 92, 93, 94, 95, 96, 97, 98, 99, 100,
1557
- 101, 102, 103, 0, 0, 0, 0, 0, 0, 0,
1558
- 0, 0, 0, 0, 0, 0, 104, 105, 106, 107,
1559
- 108, 109, 368, 369, 0, 0, 0, 0, 9, 10,
1560
- 11, 12, 13, 14, 15, 0, 16, 370, 17, 18,
1557
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1558
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1559
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1560
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1561
+ 0, 0, 438, 0, 0, 439, 0, 0, 0, 442,
1562
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1563
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1564
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1565
+ 495, 496, 497, 0, 0, 0, 0, 0, 500, 501,
1566
+ 502, 503, 308, 309, 0, 0, 504, 0, 9, 10,
1567
+ 11, 12, 13, 14, 15, 310, 16, 0, 17, 18,
1561
1568
  19, 20, 21, 22, 23, 24, 25, 26, 27, 28,
1562
1569
  29, 30, 31, 32, 33, 34, 35, 36, 37, 38,
1563
1570
  39, 40, 41, 42, 43, 44, 45, 46, 47, 48,
1564
- 49, 50, 51, 52, 53, 0, 0, 0, 0, 0,
1565
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 54,
1566
- 55, 56, 57, 58, 59, 0, 0, 0, 0, 0,
1567
- 0, 0, 60, 61, 62, 63, 64, 0, 65, 66,
1568
- 67, 68, 69, 70, 0, 0, 0, 0, 0, 71,
1569
- 72, 73, 74, 75, 76, 77, 78, 79, 80, 81,
1570
- 82, 83, 84, 85, 86, 0, 0, 0, 87, 88,
1571
- 89, 90, 91, 92, 93, 94, 95, 96, 97, 98,
1572
- 99, 100, 101, 102, 103, 0, 0, 0, 0, 0,
1573
- 0, 0, 0, 0, 0, 0, 0, 0, 104, 105,
1574
- 106, 107, 108, 109, 9, 10, 11, 12, 13, 14,
1575
- 15, 0, 16, 0, 17, 18, 19, 20, 21, 22,
1576
- 23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
1577
- 33, 34, 35, 36, 37, 38, 39, 40, 41, 42,
1578
- 43, 44, 45, 46, 47, 48, 49, 50, 51, 52,
1579
- 53, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1580
- 0, 0, 0, 0, 0, 54, 55, 56, 57, 58,
1581
- 59, 0, 0, 0, 0, 0, 0, 0, 60, 61,
1582
- 62, 63, 64, 0, 65, 66, 67, 68, 69, 70,
1583
- 0, 0, 0, 0, 0, 71, 72, 73, 74, 75,
1571
+ 49, 50, 51, 52, 53, 0, 0, 54, 0, 0,
1572
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1573
+ 0, 0, 55, 56, 57, 58, 59, 60, 0, 0,
1574
+ 0, 0, 0, 0, 0, 61, 62, 63, 64, 65,
1575
+ 0, 66, 67, 68, 69, 70, 71, 0, 0, 0,
1576
+ 0, 0, 72, 73, 74, 75, 76, 77, 78, 79,
1577
+ 80, 81, 82, 83, 84, 85, 86, 87, 0, 0,
1578
+ 0, 88, 89, 90, 91, 92, 93, 94, 95, 96,
1579
+ 97, 98, 99, 100, 101, 102, 103, 104, 0, 0,
1580
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1581
+ 0, 105, 106, 107, 108, 109, 110, 376, 377, 0,
1582
+ 0, 0, 0, 9, 10, 11, 12, 13, 14, 15,
1583
+ 0, 16, 378, 17, 18, 19, 20, 21, 22, 23,
1584
+ 24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
1585
+ 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
1586
+ 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
1587
+ 0, 0, 54, 0, 0, 0, 0, 0, 0, 0,
1588
+ 0, 0, 0, 0, 0, 0, 0, 55, 56, 57,
1589
+ 58, 59, 60, 0, 0, 0, 0, 0, 0, 0,
1590
+ 61, 62, 63, 64, 65, 0, 66, 67, 68, 69,
1591
+ 70, 71, 0, 0, 0, 0, 0, 72, 73, 74,
1592
+ 75, 76, 77, 78, 79, 80, 81, 82, 83, 84,
1593
+ 85, 86, 87, 0, 0, 0, 88, 89, 90, 91,
1594
+ 92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
1595
+ 102, 103, 104, 0, 0, 0, 0, 0, 0, 0,
1596
+ 0, 0, 0, 0, 0, 0, 105, 106, 107, 108,
1597
+ 109, 110, 9, 10, 11, 12, 13, 14, 15, 0,
1598
+ 16, 0, 17, 18, 19, 20, 21, 22, 23, 24,
1599
+ 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
1600
+ 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
1601
+ 45, 46, 47, 48, 49, 50, 51, 52, 53, 0,
1602
+ 0, 54, 0, 0, 0, 0, 0, 0, 0, 0,
1603
+ 0, 0, 0, 0, 0, 0, 55, 56, 57, 58,
1604
+ 59, 60, 0, 0, 0, 0, 0, 0, 0, 61,
1605
+ 62, 63, 64, 65, 0, 66, 67, 68, 69, 70,
1606
+ 71, 0, 0, 0, 0, 0, 72, 73, 74, 75,
1584
1607
  76, 77, 78, 79, 80, 81, 82, 83, 84, 85,
1585
- 86, 0, 0, 0, 87, 88, 89, 90, 91, 92,
1608
+ 86, 87, 0, 0, 0, 88, 89, 90, 91, 92,
1586
1609
  93, 94, 95, 96, 97, 98, 99, 100, 101, 102,
1587
- 103, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1588
- 0, 0, 0, 0, 104, 105, 106, 107, 108, 109,
1589
- 0, 412, 8, 9, 10, 11, 12, 13, 14, 15,
1610
+ 103, 104, 0, 0, 0, 0, 0, 0, 0, 0,
1611
+ 0, 0, 0, 0, 0, 105, 106, 107, 108, 109,
1612
+ 110, 0, 386, 9, 10, 11, 12, 13, 14, 15,
1590
1613
  0, 16, 0, 17, 18, 19, 20, 21, 22, 23,
1591
1614
  24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
1592
1615
  34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
1593
1616
  44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
1594
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1595
- 0, 0, 0, 0, 54, 55, 56, 57, 58, 59,
1596
- 0, 0, 0, 0, 0, 0, 0, 60, 61, 62,
1597
- 63, 64, 0, 65, 66, 67, 68, 69, 70, 0,
1598
- 0, 0, 0, 0, 71, 72, 73, 74, 75, 76,
1599
- 77, 78, 79, 80, 81, 82, 83, 84, 85, 86,
1600
- 0, 0, 0, 87, 88, 89, 90, 91, 92, 93,
1601
- 94, 95, 96, 97, 98, 99, 100, 101, 102, 103,
1602
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1603
- 0, 0, 0, 104, 105, 106, 107, 108, 109, 184,
1604
- 9, 10, 11, 12, 13, 14, 15, 0, 16, 0,
1605
- 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
1606
- 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
1607
- 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
1608
- 47, 48, 49, 50, 51, 52, 53, 0, 0, 0,
1609
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1610
- 0, 54, 55, 56, 57, 58, 59, 0, 0, 0,
1611
- 0, 0, 0, 0, 60, 61, 62, 63, 64, 0,
1612
- 65, 66, 67, 68, 69, 70, 0, 0, 0, 0,
1613
- 0, 71, 72, 73, 74, 75, 76, 77, 78, 79,
1614
- 80, 81, 82, 83, 84, 85, 86, 0, 0, 0,
1615
- 87, 88, 89, 90, 91, 92, 93, 94, 95, 96,
1616
- 97, 98, 99, 100, 101, 102, 103, 0, 0, 0,
1617
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1618
- 104, 105, 106, 107, 108, 109, 293, 9, 10, 11,
1619
- 12, 13, 14, 15, 0, 16, 0, 17, 18, 19,
1620
- 20, 21, 22, 23, 24, 25, 26, 27, 28, 29,
1621
- 30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
1622
- 40, 41, 42, 43, 44, 45, 46, 47, 48, 49,
1623
- 50, 51, 52, 53, 0, 0, 0, 0, 0, 0,
1624
- 0, 0, 0, 0, 0, 0, 0, 0, 54, 55,
1625
- 56, 57, 58, 59, 0, 0, 0, 0, 0, 0,
1626
- 0, 60, 61, 62, 63, 64, 0, 65, 66, 67,
1627
- 68, 69, 70, 0, 0, 0, 0, 0, 71, 72,
1617
+ 0, 0, 54, 0, 0, 0, 0, 0, 0, 0,
1618
+ 0, 0, 0, 0, 0, 0, 0, 55, 56, 57,
1619
+ 58, 59, 60, 0, 0, 0, 0, 0, 0, 0,
1620
+ 61, 62, 63, 64, 65, 0, 66, 67, 68, 69,
1621
+ 70, 71, 0, 0, 0, 0, 0, 72, 73, 74,
1622
+ 75, 76, 77, 78, 79, 80, 81, 82, 83, 84,
1623
+ 85, 86, 87, 0, 0, 0, 88, 89, 90, 91,
1624
+ 92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
1625
+ 102, 103, 104, 0, 0, 0, 0, 0, 0, 0,
1626
+ 0, 0, 0, 0, 0, 0, 105, 106, 107, 108,
1627
+ 109, 110, 0, 424, 8, 9, 10, 11, 12, 13,
1628
+ 14, 15, 0, 16, 0, 17, 18, 19, 20, 21,
1629
+ 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
1630
+ 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
1631
+ 42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
1632
+ 52, 53, 0, 0, 54, 0, 0, 0, 0, 0,
1633
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 55,
1634
+ 56, 57, 58, 59, 60, 0, 0, 0, 0, 0,
1635
+ 0, 0, 61, 62, 63, 64, 65, 0, 66, 67,
1636
+ 68, 69, 70, 71, 0, 0, 0, 0, 0, 72,
1637
+ 73, 74, 75, 76, 77, 78, 79, 80, 81, 82,
1638
+ 83, 84, 85, 86, 87, 0, 0, 0, 88, 89,
1639
+ 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
1640
+ 100, 101, 102, 103, 104, 0, 0, 0, 0, 0,
1641
+ 0, 0, 0, 0, 0, 0, 0, 0, 105, 106,
1642
+ 107, 108, 109, 110, 185, 9, 10, 11, 12, 13,
1643
+ 14, 15, 0, 16, 0, 17, 18, 19, 20, 21,
1644
+ 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
1645
+ 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
1646
+ 42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
1647
+ 52, 53, 0, 0, 54, 0, 0, 0, 0, 0,
1648
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 55,
1649
+ 56, 57, 58, 59, 60, 0, 0, 0, 0, 0,
1650
+ 0, 0, 61, 62, 63, 64, 65, 0, 66, 67,
1651
+ 68, 69, 70, 71, 0, 0, 0, 0, 0, 72,
1652
+ 73, 74, 75, 76, 77, 78, 79, 80, 81, 82,
1653
+ 83, 84, 85, 86, 87, 0, 0, 0, 88, 89,
1654
+ 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
1655
+ 100, 101, 102, 103, 104, 0, 0, 0, 0, 0,
1656
+ 0, 0, 0, 0, 0, 0, 0, 0, 105, 106,
1657
+ 107, 108, 109, 110, 297, 9, 10, 11, 12, 13,
1658
+ 14, 15, 0, 16, 0, 17, 18, 19, 20, 21,
1659
+ 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
1660
+ 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
1661
+ 42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
1662
+ 52, 53, 0, 0, 54, 0, 0, 0, 0, 0,
1663
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 55,
1664
+ 56, 57, 58, 59, 60, 0, 0, 0, 0, 0,
1665
+ 0, 0, 61, 62, 63, 64, 65, 0, 66, 67,
1666
+ 68, 69, 70, 71, 0, 0, 0, 0, 0, 72,
1667
+ 73, 74, 75, 76, 77, 78, 79, 80, 81, 82,
1668
+ 83, 84, 85, 86, 87, 0, 0, 0, 88, 89,
1669
+ 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
1670
+ 100, 101, 102, 103, 104, 0, 0, 0, 0, 0,
1671
+ 0, 0, 0, 0, 0, 0, 0, 0, 105, 106,
1672
+ 107, 108, 109, 110, 307, 9, 10, 11, 12, 13,
1673
+ 14, 15, 0, 16, 0, 17, 18, 19, 20, 21,
1674
+ 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
1675
+ 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
1676
+ 42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
1677
+ 52, 53, 0, 0, 54, 0, 0, 0, 0, 0,
1678
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 55,
1679
+ 56, 57, 58, 59, 60, 0, 0, 0, 0, 0,
1680
+ 0, 0, 61, 62, 63, 64, 65, 0, 66, 67,
1681
+ 68, 69, 70, 71, 0, 0, 0, 0, 0, 72,
1628
1682
  73, 74, 75, 76, 77, 78, 79, 80, 81, 82,
1629
- 83, 84, 85, 86, 0, 0, 0, 87, 88, 89,
1683
+ 83, 84, 85, 86, 87, 0, 0, 0, 88, 89,
1630
1684
  90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
1631
- 100, 101, 102, 103, 0, 0, 0, 0, 0, 0,
1632
- 0, 0, 0, 0, 0, 0, 0, 104, 105, 106,
1633
- 107, 108, 109, 303, 9, 10, 11, 12, 13, 14,
1685
+ 100, 101, 102, 103, 104, 0, 0, 0, 0, 0,
1686
+ 0, 0, 0, 0, 0, 0, 0, 0, 105, 106,
1687
+ 107, 108, 109, 110, 9, 10, 11, 12, 0, 0,
1634
1688
  15, 0, 16, 0, 17, 18, 19, 20, 21, 22,
1635
1689
  23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
1636
1690
  33, 34, 35, 36, 37, 38, 39, 40, 41, 42,
1637
1691
  43, 44, 45, 46, 47, 48, 49, 50, 51, 52,
1638
- 53, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1639
- 0, 0, 0, 0, 0, 54, 55, 56, 57, 58,
1640
- 59, 0, 0, 0, 0, 0, 0, 0, 60, 61,
1641
- 62, 63, 64, 0, 65, 66, 67, 68, 69, 70,
1642
- 0, 0, 0, 0, 0, 71, 72, 73, 74, 75,
1643
- 76, 77, 78, 79, 80, 81, 82, 83, 84, 85,
1644
- 86, 0, 0, 0, 87, 88, 89, 90, 91, 92,
1645
- 93, 94, 95, 96, 97, 98, 99, 100, 101, 102,
1646
- 103, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1647
- 0, 0, 0, 0, 104, 105, 106, 107, 108, 109,
1648
- 9, 10, 11, 12, 0, 0, 15, 0, 16, 0,
1649
- 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
1650
- 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
1651
- 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
1652
- 47, 48, 49, 50, 51, 52, 53, 0, 0, 0,
1653
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1654
- 0, 54, 55, 56, 57, 58, 59, 0, 0, 0,
1655
- 0, 0, 0, 0, 60, 61, 62, 63, 64, 0,
1656
- 65, 66, 67, 68, 69, 70, 0, 0, 0, 0,
1657
- 0, 71, 72, 73, 74, 75, 76, 77, 78, 79,
1658
- 80, 81, 82, 83, 84, 85, 86, 0, 0, 0,
1659
- 87, 88, 89, 90, 91, 92, 93, 94, 95, 96,
1660
- 97, 98, 99, 100, 101, 102, 103, 0, 0, 0,
1661
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1662
- 104, 105, 106, 107, 108, 109, 291, 9, 10, 11,
1663
- 12, 13, 14, 15, 0, 16, 0, 17, 18, 19,
1664
- 20, 21, 22, 23, 24, 25, 26, 27, 28, 29,
1665
- 30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
1666
- 40, 41, 42, 43, 44, 45, 46, 47, 48, 49,
1667
- 50, 51, 52, 53, 0, 0, 322, 0, 0, 0,
1668
- 0, 0, 0, 0, 0, 0, 0, 0, 54, 55,
1669
- 56, 57, 58, 59, 0, 0, 0, 0, 0, 0,
1670
- 0, 60, 61, 62, 63, 64, 323, 65, 66, 67,
1671
- 68, 69, 70, 0, 0, 324, 0, 0, 71, 72,
1672
- 73, 74, 75, 76, 77, 78, 79, 80, 81, 82,
1673
- 83, 84, 85, 86, 0, 0, 0, 87, 88, 89,
1674
- 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
1675
- 100, 101, 102, 103, 0, 0, 0, 0, 0, 0,
1676
- 0, 0, 0, 0, 0, 0, 0, 104, 105, 106,
1677
- 107, 108, 109, 9, 10, 11, 12, 13, 14, 15,
1692
+ 53, 0, 0, 54, 0, 0, 0, 0, 0, 0,
1693
+ 0, 0, 0, 0, 0, 0, 0, 0, 55, 56,
1694
+ 57, 58, 59, 60, 0, 0, 0, 0, 0, 0,
1695
+ 0, 61, 62, 63, 64, 65, 0, 66, 67, 68,
1696
+ 69, 70, 71, 0, 0, 0, 0, 0, 72, 73,
1697
+ 74, 75, 76, 77, 78, 79, 80, 81, 82, 83,
1698
+ 84, 85, 86, 87, 0, 0, 0, 88, 89, 90,
1699
+ 91, 92, 93, 94, 95, 96, 97, 98, 99, 100,
1700
+ 101, 102, 103, 104, 0, 0, 0, 0, 0, 0,
1701
+ 0, 0, 0, 0, 0, 0, 0, 105, 106, 107,
1702
+ 108, 109, 110, 225, 9, 10, 11, 12, 0, 0,
1703
+ 15, 0, 16, 0, 17, 18, 19, 20, 21, 22,
1704
+ 23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
1705
+ 33, 34, 35, 36, 37, 38, 39, 40, 41, 42,
1706
+ 43, 44, 45, 46, 47, 48, 49, 50, 51, 52,
1707
+ 53, 0, 0, 54, 0, 0, 0, 0, 0, 0,
1708
+ 0, 0, 0, 0, 0, 0, 0, 0, 55, 56,
1709
+ 57, 58, 59, 60, 0, 0, 0, 0, 0, 0,
1710
+ 0, 61, 62, 63, 64, 65, 0, 66, 67, 68,
1711
+ 69, 70, 71, 0, 0, 0, 0, 0, 72, 73,
1712
+ 74, 75, 76, 77, 78, 79, 80, 81, 82, 83,
1713
+ 84, 85, 86, 87, 0, 0, 0, 88, 89, 90,
1714
+ 91, 92, 93, 94, 95, 96, 97, 98, 99, 100,
1715
+ 101, 102, 103, 104, 0, 0, 0, 0, 0, 0,
1716
+ 0, 0, 0, 0, 0, 0, 0, 105, 106, 107,
1717
+ 108, 109, 110, 295, 9, 10, 11, 12, 13, 14,
1718
+ 15, 0, 16, 0, 17, 18, 19, 20, 21, 22,
1719
+ 23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
1720
+ 33, 34, 35, 36, 37, 38, 39, 40, 41, 42,
1721
+ 43, 44, 45, 46, 47, 48, 49, 50, 51, 52,
1722
+ 53, 0, 0, 54, 0, 0, 328, 0, 0, 0,
1723
+ 0, 0, 0, 0, 0, 0, 0, 0, 55, 56,
1724
+ 57, 58, 59, 60, 0, 0, 0, 0, 0, 0,
1725
+ 0, 61, 62, 63, 64, 65, 329, 66, 67, 68,
1726
+ 69, 70, 71, 0, 0, 330, 0, 0, 72, 73,
1727
+ 74, 75, 76, 77, 78, 79, 80, 81, 82, 83,
1728
+ 84, 85, 86, 87, 0, 0, 0, 88, 89, 90,
1729
+ 91, 92, 93, 94, 95, 96, 97, 98, 99, 100,
1730
+ 101, 102, 103, 104, 0, 0, 0, 0, 0, 0,
1731
+ 0, 0, 0, 0, 0, 0, 0, 105, 106, 107,
1732
+ 108, 109, 110, 9, 10, 11, 12, 13, 14, 15,
1678
1733
  0, 16, 0, 17, 18, 19, 20, 21, 22, 23,
1679
1734
  24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
1680
1735
  34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
1681
1736
  44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
1682
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1683
- 0, 0, 0, 0, 54, 55, 56, 57, 58, 59,
1684
- 0, 0, 0, 0, 0, 0, 0, 60, 61, 62,
1685
- 63, 64, 323, 65, 66, 67, 68, 69, 70, 0,
1686
- 0, 324, 0, 0, 71, 72, 73, 74, 75, 76,
1737
+ 0, 0, 54, 0, 0, 0, 0, 0, 0, 0,
1738
+ 0, 0, 0, 0, 0, 0, 0, 55, 56, 57,
1739
+ 58, 59, 60, 0, 0, 0, 0, 0, 0, 0,
1740
+ 61, 62, 63, 64, 65, 329, 66, 67, 68, 69,
1741
+ 70, 71, 0, 0, 330, 0, 0, 72, 73, 74,
1742
+ 75, 76, 77, 78, 79, 80, 81, 82, 83, 84,
1743
+ 85, 86, 87, 0, 0, 0, 88, 89, 90, 91,
1744
+ 92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
1745
+ 102, 103, 104, 0, 0, 0, 0, 0, 0, 0,
1746
+ 0, 0, 0, 0, 0, 0, 105, 106, 107, 108,
1747
+ 109, 110, 9, 10, 11, 12, 13, 14, 15, 436,
1748
+ 16, 0, 17, 18, 19, 20, 21, 22, 23, 24,
1749
+ 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
1750
+ 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
1751
+ 45, 46, 47, 48, 49, 50, 51, 52, 53, 0,
1752
+ 0, 54, 0, 0, 0, 0, 0, 0, 0, 0,
1753
+ 0, 0, 0, 0, 0, 0, 55, 56, 57, 58,
1754
+ 59, 60, 0, 0, 0, 0, 0, 0, 0, 61,
1755
+ 62, 63, 64, 65, 0, 66, 67, 68, 69, 70,
1756
+ 71, 0, 0, 0, 0, 0, 72, 73, 74, 75,
1757
+ 76, 77, 78, 79, 80, 81, 82, 83, 84, 85,
1758
+ 86, 87, 0, 0, 0, 88, 89, 90, 91, 92,
1759
+ 93, 94, 95, 96, 97, 98, 99, 100, 101, 102,
1760
+ 103, 104, 0, 0, 0, 0, 0, 0, 0, 0,
1761
+ 0, 0, 0, 0, 0, 105, 106, 107, 108, 109,
1762
+ 110, 9, 10, 11, 12, 13, 14, 15, 437, 16,
1763
+ 0, 17, 18, 19, 20, 21, 22, 23, 24, 25,
1764
+ 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
1765
+ 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
1766
+ 46, 47, 48, 49, 50, 51, 52, 53, 0, 0,
1767
+ 54, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1768
+ 0, 0, 0, 0, 0, 55, 56, 57, 58, 59,
1769
+ 60, 0, 0, 0, 0, 0, 0, 0, 61, 62,
1770
+ 63, 64, 65, 0, 66, 67, 68, 69, 70, 71,
1771
+ 0, 0, 0, 0, 0, 72, 73, 74, 75, 76,
1687
1772
  77, 78, 79, 80, 81, 82, 83, 84, 85, 86,
1688
- 0, 0, 0, 87, 88, 89, 90, 91, 92, 93,
1773
+ 87, 0, 0, 0, 88, 89, 90, 91, 92, 93,
1689
1774
  94, 95, 96, 97, 98, 99, 100, 101, 102, 103,
1775
+ 104, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1776
+ 0, 0, 0, 0, 105, 106, 107, 108, 109, 110,
1777
+ 9, 10, 11, 12, 13, 14, 15, 0, 16, 0,
1778
+ 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
1779
+ 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
1780
+ 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
1781
+ 47, 48, 49, 50, 51, 52, 53, 0, 0, 54,
1782
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1783
+ 0, 0, 0, 0, 55, 56, 57, 58, 59, 60,
1784
+ 0, 0, 0, 0, 0, 0, 0, 61, 62, 63,
1785
+ 64, 65, 0, 66, 67, 68, 69, 70, 71, 0,
1786
+ 0, 330, 0, 0, 72, 73, 74, 75, 76, 77,
1787
+ 78, 79, 80, 81, 82, 83, 84, 85, 86, 87,
1788
+ 0, 0, 0, 88, 89, 90, 91, 92, 93, 94,
1789
+ 95, 96, 97, 98, 99, 100, 101, 102, 103, 104,
1690
1790
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1691
- 0, 0, 0, 104, 105, 106, 107, 108, 109, 9,
1692
- 10, 11, 12, 13, 14, 15, 424, 16, 0, 17,
1791
+ 0, 0, 0, 105, 106, 107, 108, 109, 110, 9,
1792
+ 10, 11, 12, 13, 14, 15, 0, 16, 378, 17,
1693
1793
  18, 19, 20, 21, 22, 23, 24, 25, 26, 27,
1694
1794
  28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
1695
1795
  38, 39, 40, 41, 42, 43, 44, 45, 46, 47,
1696
- 48, 49, 50, 51, 52, 53, 0, 0, 0, 0,
1796
+ 48, 49, 50, 51, 52, 53, 0, 0, 54, 0,
1697
1797
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1698
- 54, 55, 56, 57, 58, 59, 0, 0, 0, 0,
1699
- 0, 0, 0, 60, 61, 62, 63, 64, 0, 65,
1700
- 66, 67, 68, 69, 70, 0, 0, 0, 0, 0,
1701
- 71, 72, 73, 74, 75, 76, 77, 78, 79, 80,
1702
- 81, 82, 83, 84, 85, 86, 0, 0, 0, 87,
1703
- 88, 89, 90, 91, 92, 93, 94, 95, 96, 97,
1704
- 98, 99, 100, 101, 102, 103, 0, 0, 0, 0,
1705
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 104,
1706
- 105, 106, 107, 108, 109, 9, 10, 11, 12, 13,
1707
- 14, 15, 425, 16, 0, 17, 18, 19, 20, 21,
1708
- 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
1709
- 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
1710
- 42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
1711
- 52, 53, 0, 0, 0, 0, 0, 0, 0, 0,
1712
- 0, 0, 0, 0, 0, 0, 54, 55, 56, 57,
1713
- 58, 59, 0, 0, 0, 0, 0, 0, 0, 60,
1714
- 61, 62, 63, 64, 0, 65, 66, 67, 68, 69,
1715
- 70, 0, 0, 0, 0, 0, 71, 72, 73, 74,
1716
- 75, 76, 77, 78, 79, 80, 81, 82, 83, 84,
1717
- 85, 86, 0, 0, 0, 87, 88, 89, 90, 91,
1718
- 92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
1719
- 102, 103, 0, 0, 0, 0, 0, 0, 0, 0,
1720
- 0, 0, 0, 0, 0, 104, 105, 106, 107, 108,
1721
- 109, 9, 10, 11, 12, 13, 14, 15, 0, 16,
1722
- 0, 17, 18, 19, 20, 21, 22, 23, 24, 25,
1723
- 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
1724
- 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
1725
- 46, 47, 48, 49, 50, 51, 52, 53, 0, 0,
1798
+ 0, 0, 0, 55, 56, 57, 58, 59, 60, 0,
1799
+ 0, 0, 0, 0, 0, 0, 61, 62, 63, 64,
1800
+ 65, 0, 66, 67, 68, 69, 70, 71, 0, 0,
1801
+ 0, 0, 0, 72, 73, 74, 75, 76, 77, 78,
1802
+ 79, 80, 81, 82, 83, 84, 85, 86, 87, 0,
1803
+ 0, 0, 88, 89, 90, 91, 92, 93, 94, 95,
1804
+ 96, 97, 98, 99, 100, 101, 102, 103, 104, 0,
1805
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1806
+ 0, 0, 105, 106, 107, 108, 109, 110, 9, 10,
1807
+ 11, 12, 13, 14, 15, 0, 16, 0, 17, 18,
1808
+ 19, 20, 21, 22, 23, 24, 25, 26, 27, 28,
1809
+ 29, 30, 31, 32, 33, 34, 35, 36, 37, 38,
1810
+ 39, 40, 41, 42, 43, 44, 45, 46, 47, 48,
1811
+ 49, 50, 51, 52, 53, 0, 0, 54, 0, 0,
1726
1812
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1727
- 0, 0, 54, 55, 56, 57, 58, 59, 0, 0,
1728
- 0, 0, 0, 0, 0, 60, 61, 62, 63, 64,
1729
- 0, 65, 66, 67, 68, 69, 70, 0, 0, 324,
1730
- 0, 0, 71, 72, 73, 74, 75, 76, 77, 78,
1731
- 79, 80, 81, 82, 83, 84, 85, 86, 0, 0,
1732
- 0, 87, 88, 89, 90, 91, 92, 93, 94, 95,
1733
- 96, 97, 98, 99, 100, 101, 102, 103, 0, 0,
1813
+ 0, 0, 55, 56, 57, 58, 59, 60, 0, 0,
1814
+ 0, 0, 0, 0, 0, 61, 62, 63, 64, 65,
1815
+ 0, 66, 67, 68, 69, 70, 71, 0, 0, 0,
1816
+ 0, 0, 72, 73, 74, 75, 76, 77, 78, 79,
1817
+ 80, 81, 82, 83, 84, 85, 86, 87, 0, 0,
1818
+ 0, 88, 89, 90, 91, 92, 93, 94, 95, 96,
1819
+ 97, 98, 99, 100, 101, 102, 103, 104, 0, 0,
1734
1820
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1735
- 0, 104, 105, 106, 107, 108, 109, 9, 10, 11,
1736
- 12, 13, 14, 15, 0, 16, 370, 17, 18, 19,
1821
+ 0, 105, 106, 107, 108, 109, 110, 9, 10, 11,
1822
+ 12, 389, 0, 15, 0, 16, 0, 17, 18, 19,
1737
1823
  20, 21, 22, 23, 24, 25, 26, 27, 28, 29,
1738
1824
  30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
1739
1825
  40, 41, 42, 43, 44, 45, 46, 47, 48, 49,
1740
- 50, 51, 52, 53, 0, 0, 0, 0, 0, 0,
1741
- 0, 0, 0, 0, 0, 0, 0, 0, 54, 55,
1742
- 56, 57, 58, 59, 0, 0, 0, 0, 0, 0,
1743
- 0, 60, 61, 62, 63, 64, 0, 65, 66, 67,
1744
- 68, 69, 70, 0, 0, 0, 0, 0, 71, 72,
1745
- 73, 74, 75, 76, 77, 78, 79, 80, 81, 82,
1746
- 83, 84, 85, 86, 0, 0, 0, 87, 88, 89,
1747
- 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
1748
- 100, 101, 102, 103, 0, 0, 0, 0, 0, 0,
1749
- 0, 0, 0, 0, 0, 0, 0, 104, 105, 106,
1750
- 107, 108, 109, 9, 10, 11, 12, 13, 14, 15,
1751
- 0, 16, 0, 17, 18, 19, 20, 21, 22, 23,
1752
- 24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
1753
- 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
1754
- 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
1826
+ 50, 51, 52, 53, 0, 0, 54, 0, 0, 0,
1755
1827
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1756
- 0, 0, 0, 0, 54, 55, 56, 57, 58, 59,
1757
- 0, 0, 0, 0, 0, 0, 0, 60, 61, 62,
1758
- 63, 64, 0, 65, 66, 67, 68, 69, 70, 0,
1759
- 0, 0, 0, 0, 71, 72, 73, 74, 75, 76,
1760
- 77, 78, 79, 80, 81, 82, 83, 84, 85, 86,
1761
- 0, 0, 0, 87, 88, 89, 90, 91, 92, 93,
1762
- 94, 95, 96, 97, 98, 99, 100, 101, 102, 103,
1828
+ 0, 55, 56, 57, 58, 59, 60, 0, 0, 0,
1829
+ 0, 0, 0, 0, 61, 62, 63, 64, 65, 0,
1830
+ 66, 67, 68, 69, 70, 71, 0, 0, 0, 0,
1831
+ 0, 72, 73, 74, 75, 76, 77, 78, 79, 80,
1832
+ 81, 82, 83, 84, 85, 86, 87, 0, 0, 0,
1833
+ 88, 89, 90, 91, 92, 93, 94, 95, 96, 97,
1834
+ 98, 99, 100, 101, 102, 103, 104, 0, 0, 0,
1763
1835
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1764
- 0, 0, 0, 104, 105, 106, 107, 108, 109, 9,
1765
- 10, 11, 12, 380, 0, 15, 0, 16, 0, 17,
1766
- 18, 19, 20, 21, 22, 23, 24, 25, 26, 27,
1767
- 28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
1768
- 38, 39, 40, 41, 42, 43, 44, 45, 46, 47,
1769
- 48, 49, 50, 51, 52, 53, 0, 0, 0, 0,
1836
+ 105, 106, 107, 108, 109, 110, 9, 10, 11, 12,
1837
+ 0, 0, 15, 0, 16, 0, 17, 18, 19, 20,
1838
+ 21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
1839
+ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
1840
+ 41, 42, 43, 44, 45, 46, 47, 48, 49, 50,
1841
+ 51, 52, 53, 0, 0, 54, 0, 0, 0, 0,
1770
1842
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1771
- 54, 55, 56, 57, 58, 59, 0, 0, 0, 0,
1772
- 0, 0, 0, 60, 61, 62, 63, 64, 0, 65,
1773
- 66, 67, 68, 69, 70, 0, 0, 0, 0, 0,
1774
- 71, 72, 73, 74, 75, 76, 77, 78, 79, 80,
1775
- 81, 82, 83, 84, 85, 86, 0, 0, 0, 87,
1776
- 88, 89, 90, 91, 92, 93, 94, 95, 96, 97,
1777
- 98, 99, 100, 101, 102, 103, 0, 0, 0, 0,
1778
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 104,
1779
- 105, 106, 107, 108, 109, 9, 10, 11, 12, 0,
1843
+ 55, 56, 57, 58, 59, 60, 0, 0, 0, 0,
1844
+ 0, 0, 0, 61, 62, 63, 64, 65, 0, 66,
1845
+ 67, 68, 69, 70, 71, 0, 0, 0, 0, 0,
1846
+ 72, 73, 74, 75, 76, 77, 78, 79, 80, 81,
1847
+ 82, 83, 84, 85, 86, 87, 0, 0, 0, 88,
1848
+ 89, 90, 91, 92, 93, 94, 95, 96, 97, 98,
1849
+ 99, 100, 101, 102, 103, 104, 0, 0, 0, 0,
1850
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 105,
1851
+ 106, 107, 108, 109, 110, 9, 10, 11, 12, 0,
1780
1852
  0, 15, 0, 16, 0, 17, 18, 19, 20, 21,
1781
1853
  22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
1782
1854
  32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
1783
1855
  42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
1784
- 52, 53, 0, 0, 0, 0, 0, 0, 0, 0,
1785
- 0, 0, 0, 0, 0, 0, 54, 55, 56, 57,
1786
- 58, 59, 0, 0, 0, 0, 0, 0, 0, 60,
1787
- 61, 62, 63, 64, 0, 65, 66, 67, 68, 69,
1788
- 70, 0, 0, 0, 0, 0, 71, 72, 73, 74,
1789
- 75, 76, 77, 78, 79, 80, 81, 82, 83, 84,
1790
- 85, 86, 0, 0, 0, 87, 88, 89, 90, 91,
1791
- 92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
1792
- 102, 103, 0, 0, 0, 0, 0, 0, 0, 0,
1793
- 0, 0, 0, 0, 0, 104, 105, 106, 107, 108,
1794
- 109, 9, 10, 11, 12, 0, 0, 15, 0, 16,
1795
- 0, 17, 18, 19, 20, 21, 22, 23, 24, 25,
1796
- 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
1797
- 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
1798
- 46, 47, 48, 49, 50, 51, 52, 53, 0, 0,
1799
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1800
- 0, 0, 54, 55, 56, 57, 58, 59, 0, 0,
1801
- 0, 0, 0, 0, 0, 60, 61, 62, 63, 64,
1802
- 0, 65, 66, 67, 68, 69, 70, 0, 0, 0,
1803
- 0, 0, 71, 72, 73, 74, 75, 76, 77, 78,
1804
- 79, 478, 81, 82, 83, 84, 85, 86, 0, 0,
1805
- 0, 87, 88, 89, 90, 91, 92, 93, 94, 95,
1806
- 96, 97, 98, 99, 100, 101, 102, 103, 0, 0,
1807
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1808
- 0, 104, 105, 106, 107, 108, 109
1856
+ 52, 53, 0, 0, 54, 0, 0, 0, 0, 0,
1857
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 55,
1858
+ 56, 57, 58, 59, 60, 0, 0, 0, 0, 0,
1859
+ 0, 0, 61, 62, 63, 64, 65, 0, 66, 67,
1860
+ 68, 69, 70, 71, 0, 0, 0, 0, 0, 72,
1861
+ 73, 74, 75, 76, 77, 78, 79, 80, 494, 82,
1862
+ 83, 84, 85, 86, 87, 0, 0, 0, 88, 89,
1863
+ 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
1864
+ 100, 101, 102, 103, 104, 0, 0, 0, 0, 0,
1865
+ 0, 0, 0, 0, 0, 0, 0, 0, 105, 106,
1866
+ 107, 108, 109, 110
1809
1867
  };
1810
1868
 
1811
1869
  static const yytype_int16 yycheck[] =
1812
1870
  {
1813
- 2, 3, 234, 318, 15, 320, 15, 276, 277, 278,
1814
- 279, 280, 281, 15, 283, 284, 285, 286, 287, 16,
1815
- 57, 387, 388, 77, 57, 57, 57, 57, 57, 96,
1816
- 2, 3, 16, 2, 3, 57, 16, 57, 57, 57,
1817
- 0, 16, 95, 15, 95, 16, 15, 5, 6, 7,
1818
- 77, 387, 388, 60, 61, 82, 77, 95, 13, 14,
1819
- 81, 16, 15, 60, 61, 13, 14, 382, 16, 77,
1820
- 78, 79, 80, 57, 69, 110, 76, 144, 39, 40,
1821
- 60, 61, 57, 16, 76, 317, 57, 38, 39, 455,
1822
- 41, 98, 99, 13, 14, 461, 16, 151, 109, 136,
1823
- 109, 98, 99, 136, 136, 136, 136, 136, 110, 13,
1824
- 14, 113, 16, 95, 136, 430, 136, 136, 136, 455,
1825
- 13, 14, 76, 16, 76, 461, 59, 60, 61, 62,
1826
- 63, 64, 65, 66, 67, 68, 39, 40, 110, 39,
1827
- 40, 113, 39, 40, 113, 95, 38, 39, 40, 95,
1828
- 185, 13, 14, 385, 39, 40, 41, 95, 193, 137,
1829
- 138, 139, 140, 141, 142, 143, 95, 145, 146, 147,
1830
- 148, 59, 60, 61, 62, 63, 64, 65, 66, 67,
1831
- 68, 13, 14, 185, 39, 40, 41, 39, 40, 41,
1832
- 69, 193, 39, 40, 41, 76, 511, 13, 14, 15,
1833
- 78, 79, 80, 13, 14, 13, 14, 60, 61, 415,
1834
- 416, 15, 69, 185, 151, 69, 151, 81, 116, 82,
1835
- 15, 193, 15, 15, 15, 56, 77, 144, 14, 13,
1836
- 76, 14, 13, 502, 236, 14, 13, 13, 137, 140,
1837
- 142, 146, 138, 69, 139, 69, 69, 141, 69, 69,
1838
- 69, 69, 69, 118, 145, 69, 69, 489, 147, 117,
1839
- 69, 148, 297, 69, 236, 77, 77, 5, 5, 76,
1840
- 335, 241, 341, 441, 276, 277, 278, 279, 280, 281,
1841
- 338, 283, 284, 285, 286, 287, 390, 289, 290, 291,
1842
- 325, 504, 455, 391, 461, 297, -1, -1, -1, -1,
1843
- -1, -1, 304, 305, 276, 277, 278, 279, 280, 281,
1844
- -1, 283, 284, 285, 286, 287, -1, 289, 290, 291,
1845
- 289, 290, 291, 325, -1, 297, -1, -1, 363, 364,
1846
- 365, -1, 304, 305, -1, 304, 305, -1, -1, -1,
1847
- -1, 376, 377, -1, -1, -1, -1, -1, -1, -1,
1848
- -1, -1, -1, 325, -1, -1, -1, -1, -1, -1,
1849
- -1, 363, 364, 365, -1, -1, 368, 369, -1, -1,
1850
- -1, -1, -1, -1, 376, 377, -1, -1, -1, -1,
1851
- 415, 416, -1, -1, -1, -1, -1, -1, 390, 391,
1852
- -1, 363, 364, 365, -1, -1, 368, 369, -1, 368,
1853
- 369, -1, -1, -1, 376, 377, -1, -1, -1, -1,
1854
- -1, -1, -1, 415, 416, -1, -1, -1, 390, 391,
1871
+ 2, 3, 237, 15, 2, 3, 324, 15, 326, 16,
1872
+ 60, 60, 60, 15, 60, 16, 16, 15, 280, 281,
1873
+ 282, 283, 284, 285, 60, 287, 288, 289, 290, 291,
1874
+ 16, 60, 60, 80, 60, 60, 0, 57, 60, 60,
1875
+ 111, 60, 16, 16, 58, 80, 98, 56, 99, 80,
1876
+ 85, 154, 57, 84, 39, 40, 63, 64, 98, 60,
1877
+ 80, 2, 3, 63, 64, 98, 396, 397, 396, 397,
1878
+ 79, 39, 40, 391, 15, 80, 62, 63, 64, 65,
1879
+ 66, 67, 68, 69, 70, 71, 60, 60, 323, 139,
1880
+ 139, 139, 98, 139, 101, 102, 147, 15, 38, 39,
1881
+ 112, 41, 79, 139, 112, 13, 14, 154, 16, 111,
1882
+ 139, 139, 114, 139, 139, 186, 114, 139, 139, 79,
1883
+ 139, 13, 14, 194, 16, 443, 140, 141, 142, 143,
1884
+ 144, 145, 146, 79, 148, 149, 150, 151, 468, 98,
1885
+ 468, 63, 64, 79, 474, 98, 474, 62, 63, 64,
1886
+ 65, 66, 67, 68, 69, 70, 71, 39, 40, 394,
1887
+ 80, 81, 82, 83, 13, 14, 98, 16, 13, 14,
1888
+ 111, 16, 98, 114, 13, 14, 72, 16, 72, 101,
1889
+ 102, 5, 6, 7, 186, 38, 39, 40, 39, 40,
1890
+ 41, 79, 194, 39, 40, 41, 39, 40, 41, 39,
1891
+ 40, 41, 13, 14, 15, 81, 82, 83, 39, 40,
1892
+ 15, 529, 13, 14, 13, 14, 13, 14, 13, 14,
1893
+ 72, 483, 72, 225, 154, 63, 64, 225, 427, 428,
1894
+ 301, 85, 119, 15, 15, 15, 84, 239, 15, 59,
1895
+ 57, 147, 79, 314, 80, 186, 14, 13, 141, 14,
1896
+ 13, 79, 14, 194, 13, 13, 518, 140, 142, 144,
1897
+ 331, 150, 143, 149, 72, 527, 145, 80, 148, 72,
1898
+ 505, 58, 72, 151, 72, 79, 72, 121, 280, 281,
1899
+ 282, 283, 284, 285, 225, 287, 288, 289, 290, 291,
1900
+ 120, 293, 294, 295, 72, 293, 294, 295, 239, 301,
1901
+ 371, 372, 373, 72, 58, 72, 308, 309, 72, 80,
1902
+ 308, 309, 314, 384, 385, 72, 72, 72, 5, 5,
1903
+ 244, 409, 454, 341, 347, 399, 520, 344, 468, 331,
1904
+ 400, 474, -1, -1, -1, -1, -1, -1, -1, 280,
1905
+ 281, 282, 283, 284, 285, -1, 287, 288, 289, 290,
1906
+ 291, -1, 293, 294, 295, -1, 427, 428, -1, -1,
1907
+ 301, -1, -1, -1, -1, -1, -1, 308, 309, 371,
1908
+ 372, 373, -1, 314, 376, 377, -1, -1, 376, 377,
1909
+ -1, -1, 384, 385, -1, -1, -1, -1, -1, -1,
1910
+ 331, -1, -1, -1, -1, -1, -1, 399, 400, -1,
1855
1911
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1856
- -1, -1, -1, -1, -1, -1, -1, -1, -1, 13,
1857
- 14, 15, -1, 415, 416, -1, -1, -1, -1, -1,
1858
- -1, 25, 26, -1, -1, -1, -1, -1, -1, -1,
1859
- -1, -1, -1, -1, -1, -1, -1, -1, 42, 43,
1860
- 44, 45, 46, 47, 48, 49, 50, 51, -1, 514,
1861
- 54, 55, 56, 57, -1, -1, -1, -1, 62, 63,
1862
- 64, 65, 66, 67, 68, 69, -1, -1, -1, -1,
1863
- 502, -1, 504, 77, -1, -1, 508, -1, -1, 83,
1864
- -1, -1, 514, 87, 88, 89, 90, 91, 92, 93,
1865
- 94, 95, 96, 97, 98, 99, 100, -1, -1, -1,
1866
- 502, 105, 504, -1, -1, 109, 508, -1, -1, 508,
1867
- -1, -1, 514, -1, -1, -1, -1, -1, -1, -1,
1868
1912
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1913
+ -1, -1, -1, -1, -1, 427, 428, -1, -1, -1,
1914
+ 371, 372, 373, -1, -1, 376, 377, -1, -1, -1,
1915
+ -1, -1, -1, 384, 385, -1, -1, -1, -1, -1,
1916
+ -1, -1, -1, -1, -1, -1, -1, -1, 399, 400,
1917
+ -1, 532, -1, -1, -1, -1, -1, -1, -1, -1,
1869
1918
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1919
+ -1, 483, -1, -1, -1, -1, 427, 428, -1, -1,
1870
1920
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1871
1921
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1922
+ -1, -1, -1, -1, -1, -1, 518, -1, 520, 13,
1923
+ 14, 15, 524, -1, -1, 527, 524, -1, -1, -1,
1924
+ 532, 25, 26, -1, -1, -1, -1, -1, -1, -1,
1925
+ -1, -1, 483, -1, -1, -1, -1, -1, 42, 43,
1926
+ 44, 45, 46, 47, 48, 49, 50, 51, 52, -1,
1927
+ -1, 55, 56, 57, 58, -1, -1, -1, -1, 63,
1928
+ 64, 65, 66, 67, 68, 69, 70, 518, -1, 520,
1929
+ -1, -1, -1, 524, 78, -1, 527, -1, -1, -1,
1930
+ 84, 532, -1, -1, 88, 89, 90, 91, 92, 93,
1931
+ 94, 95, 96, 97, 98, 99, 100, 101, -1, -1,
1932
+ -1, -1, 106, -1, -1, -1, 110, -1, -1, -1,
1872
1933
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1873
1934
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1874
1935
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1875
1936
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1876
1937
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1877
- -1, -1, -1, -1, 218, 219, -1, -1, -1, -1,
1878
- -1, 225, 226, 227, 228, -1, -1, -1, 232, -1,
1879
- -1, 235, -1, -1, -1, -1, -1, -1, -1, -1,
1880
1938
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1881
- -1, 255, 256, 257, 258, 259, 260, -1, -1, -1,
1882
1939
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1883
1940
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1884
1941
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1885
- -1, 295, 296, -1, 298, 299, 300, 301, -1, -1,
1886
1942
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1887
- 314, 315, 316, -1, -1, -1, -1, -1, -1, -1,
1943
+ -1, -1, -1, -1, -1, 219, 220, -1, -1, -1,
1944
+ -1, -1, -1, 227, 228, 229, 230, 231, -1, -1,
1945
+ -1, 235, -1, -1, 238, -1, -1, -1, -1, -1,
1888
1946
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1947
+ -1, -1, -1, -1, 258, 259, 260, 261, 262, 263,
1889
1948
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1890
1949
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1891
1950
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1951
+ -1, -1, -1, -1, -1, 299, 300, -1, 302, 303,
1952
+ 304, 305, -1, -1, -1, -1, -1, -1, -1, -1,
1953
+ -1, -1, -1, -1, -1, -1, 320, 321, 322, -1,
1892
1954
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1893
- -1, -1, -1, -1, -1, -1, 380, -1, -1, -1,
1894
- 384, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1895
1955
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1896
- -1, -1, -1, -1, -1, -1, -1, -1, 412, 413,
1897
- 414, -1, -1, -1, -1, -1, 420, 421, 422, 423,
1898
- 3, 4, -1, 427, -1, -1, 9, 10, 11, 12,
1899
- 13, 14, 15, 16, 17, -1, 19, 20, 21, 22,
1900
- 23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
1901
- 33, 34, 35, 36, 37, 38, 39, 40, 41, 42,
1902
- 43, 44, 45, 46, 47, 48, 49, 50, 51, 52,
1903
- 53, 54, 55, -1, -1, -1, -1, -1, -1, -1,
1904
- -1, -1, -1, -1, -1, -1, -1, 70, 71, 72,
1905
- 73, 74, 75, -1, -1, -1, -1, -1, -1, -1,
1906
- 83, 84, 85, 86, 87, -1, 89, 90, 91, 92,
1907
- 93, 94, -1, -1, -1, -1, -1, 100, 101, 102,
1908
- 103, 104, 105, 106, 107, 108, 109, 110, 111, 112,
1909
- 113, 114, 115, -1, -1, -1, 119, 120, 121, 122,
1910
- 123, 124, 125, 126, 127, 128, 129, 130, 131, 132,
1911
- 133, 134, 135, -1, -1, -1, -1, -1, -1, -1,
1912
- -1, -1, -1, -1, -1, -1, 149, 150, 151, 152,
1913
- 153, 154, 3, 4, -1, -1, -1, -1, 9, 10,
1914
- 11, 12, 13, 14, 15, -1, 17, 18, 19, 20,
1956
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1957
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1958
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1959
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1960
+ -1, -1, 386, -1, -1, 389, -1, -1, -1, 393,
1961
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1962
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1963
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1964
+ 424, 425, 426, -1, -1, -1, -1, -1, 432, 433,
1965
+ 434, 435, 3, 4, -1, -1, 440, -1, 9, 10,
1966
+ 11, 12, 13, 14, 15, 16, 17, -1, 19, 20,
1915
1967
  21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
1916
1968
  31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
1917
1969
  41, 42, 43, 44, 45, 46, 47, 48, 49, 50,
1918
- 51, 52, 53, 54, 55, -1, -1, -1, -1, -1,
1919
- -1, -1, -1, -1, -1, -1, -1, -1, -1, 70,
1920
- 71, 72, 73, 74, 75, -1, -1, -1, -1, -1,
1921
- -1, -1, 83, 84, 85, 86, 87, -1, 89, 90,
1922
- 91, 92, 93, 94, -1, -1, -1, -1, -1, 100,
1923
- 101, 102, 103, 104, 105, 106, 107, 108, 109, 110,
1924
- 111, 112, 113, 114, 115, -1, -1, -1, 119, 120,
1925
- 121, 122, 123, 124, 125, 126, 127, 128, 129, 130,
1926
- 131, 132, 133, 134, 135, -1, -1, -1, -1, -1,
1927
- -1, -1, -1, -1, -1, -1, -1, -1, 149, 150,
1928
- 151, 152, 153, 154, 9, 10, 11, 12, 13, 14,
1929
- 15, -1, 17, -1, 19, 20, 21, 22, 23, 24,
1930
- 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
1931
- 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
1932
- 45, 46, 47, 48, 49, 50, 51, 52, 53, 54,
1933
- 55, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1934
- -1, -1, -1, -1, -1, 70, 71, 72, 73, 74,
1935
- 75, -1, -1, -1, -1, -1, -1, -1, 83, 84,
1936
- 85, 86, 87, -1, 89, 90, 91, 92, 93, 94,
1937
- -1, -1, -1, -1, -1, 100, 101, 102, 103, 104,
1938
- 105, 106, 107, 108, 109, 110, 111, 112, 113, 114,
1939
- 115, -1, -1, -1, 119, 120, 121, 122, 123, 124,
1940
- 125, 126, 127, 128, 129, 130, 131, 132, 133, 134,
1941
- 135, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1942
- -1, -1, -1, -1, 149, 150, 151, 152, 153, 154,
1943
- -1, 156, 8, 9, 10, 11, 12, 13, 14, 15,
1970
+ 51, 52, 53, 54, 55, -1, -1, 58, -1, -1,
1971
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1972
+ -1, -1, 73, 74, 75, 76, 77, 78, -1, -1,
1973
+ -1, -1, -1, -1, -1, 86, 87, 88, 89, 90,
1974
+ -1, 92, 93, 94, 95, 96, 97, -1, -1, -1,
1975
+ -1, -1, 103, 104, 105, 106, 107, 108, 109, 110,
1976
+ 111, 112, 113, 114, 115, 116, 117, 118, -1, -1,
1977
+ -1, 122, 123, 124, 125, 126, 127, 128, 129, 130,
1978
+ 131, 132, 133, 134, 135, 136, 137, 138, -1, -1,
1979
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1980
+ -1, 152, 153, 154, 155, 156, 157, 3, 4, -1,
1981
+ -1, -1, -1, 9, 10, 11, 12, 13, 14, 15,
1982
+ -1, 17, 18, 19, 20, 21, 22, 23, 24, 25,
1983
+ 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
1984
+ 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
1985
+ 46, 47, 48, 49, 50, 51, 52, 53, 54, 55,
1986
+ -1, -1, 58, -1, -1, -1, -1, -1, -1, -1,
1987
+ -1, -1, -1, -1, -1, -1, -1, 73, 74, 75,
1988
+ 76, 77, 78, -1, -1, -1, -1, -1, -1, -1,
1989
+ 86, 87, 88, 89, 90, -1, 92, 93, 94, 95,
1990
+ 96, 97, -1, -1, -1, -1, -1, 103, 104, 105,
1991
+ 106, 107, 108, 109, 110, 111, 112, 113, 114, 115,
1992
+ 116, 117, 118, -1, -1, -1, 122, 123, 124, 125,
1993
+ 126, 127, 128, 129, 130, 131, 132, 133, 134, 135,
1994
+ 136, 137, 138, -1, -1, -1, -1, -1, -1, -1,
1995
+ -1, -1, -1, -1, -1, -1, 152, 153, 154, 155,
1996
+ 156, 157, 9, 10, 11, 12, 13, 14, 15, -1,
1997
+ 17, -1, 19, 20, 21, 22, 23, 24, 25, 26,
1998
+ 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
1999
+ 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
2000
+ 47, 48, 49, 50, 51, 52, 53, 54, 55, -1,
2001
+ -1, 58, -1, -1, -1, -1, -1, -1, -1, -1,
2002
+ -1, -1, -1, -1, -1, -1, 73, 74, 75, 76,
2003
+ 77, 78, -1, -1, -1, -1, -1, -1, -1, 86,
2004
+ 87, 88, 89, 90, -1, 92, 93, 94, 95, 96,
2005
+ 97, -1, -1, -1, -1, -1, 103, 104, 105, 106,
2006
+ 107, 108, 109, 110, 111, 112, 113, 114, 115, 116,
2007
+ 117, 118, -1, -1, -1, 122, 123, 124, 125, 126,
2008
+ 127, 128, 129, 130, 131, 132, 133, 134, 135, 136,
2009
+ 137, 138, -1, -1, -1, -1, -1, -1, -1, -1,
2010
+ -1, -1, -1, -1, -1, 152, 153, 154, 155, 156,
2011
+ 157, -1, 159, 9, 10, 11, 12, 13, 14, 15,
1944
2012
  -1, 17, -1, 19, 20, 21, 22, 23, 24, 25,
1945
2013
  26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
1946
2014
  36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
1947
2015
  46, 47, 48, 49, 50, 51, 52, 53, 54, 55,
1948
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1949
- -1, -1, -1, -1, 70, 71, 72, 73, 74, 75,
1950
- -1, -1, -1, -1, -1, -1, -1, 83, 84, 85,
1951
- 86, 87, -1, 89, 90, 91, 92, 93, 94, -1,
1952
- -1, -1, -1, -1, 100, 101, 102, 103, 104, 105,
2016
+ -1, -1, 58, -1, -1, -1, -1, -1, -1, -1,
2017
+ -1, -1, -1, -1, -1, -1, -1, 73, 74, 75,
2018
+ 76, 77, 78, -1, -1, -1, -1, -1, -1, -1,
2019
+ 86, 87, 88, 89, 90, -1, 92, 93, 94, 95,
2020
+ 96, 97, -1, -1, -1, -1, -1, 103, 104, 105,
1953
2021
  106, 107, 108, 109, 110, 111, 112, 113, 114, 115,
1954
- -1, -1, -1, 119, 120, 121, 122, 123, 124, 125,
2022
+ 116, 117, 118, -1, -1, -1, 122, 123, 124, 125,
1955
2023
  126, 127, 128, 129, 130, 131, 132, 133, 134, 135,
1956
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1957
- -1, -1, -1, 149, 150, 151, 152, 153, 154, 8,
1958
- 9, 10, 11, 12, 13, 14, 15, -1, 17, -1,
1959
- 19, 20, 21, 22, 23, 24, 25, 26, 27, 28,
1960
- 29, 30, 31, 32, 33, 34, 35, 36, 37, 38,
1961
- 39, 40, 41, 42, 43, 44, 45, 46, 47, 48,
1962
- 49, 50, 51, 52, 53, 54, 55, -1, -1, -1,
1963
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1964
- -1, 70, 71, 72, 73, 74, 75, -1, -1, -1,
1965
- -1, -1, -1, -1, 83, 84, 85, 86, 87, -1,
1966
- 89, 90, 91, 92, 93, 94, -1, -1, -1, -1,
1967
- -1, 100, 101, 102, 103, 104, 105, 106, 107, 108,
1968
- 109, 110, 111, 112, 113, 114, 115, -1, -1, -1,
1969
- 119, 120, 121, 122, 123, 124, 125, 126, 127, 128,
1970
- 129, 130, 131, 132, 133, 134, 135, -1, -1, -1,
1971
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1972
- 149, 150, 151, 152, 153, 154, 8, 9, 10, 11,
1973
- 12, 13, 14, 15, -1, 17, -1, 19, 20, 21,
1974
- 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
1975
- 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
1976
- 42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
1977
- 52, 53, 54, 55, -1, -1, -1, -1, -1, -1,
1978
- -1, -1, -1, -1, -1, -1, -1, -1, 70, 71,
1979
- 72, 73, 74, 75, -1, -1, -1, -1, -1, -1,
1980
- -1, 83, 84, 85, 86, 87, -1, 89, 90, 91,
1981
- 92, 93, 94, -1, -1, -1, -1, -1, 100, 101,
1982
- 102, 103, 104, 105, 106, 107, 108, 109, 110, 111,
1983
- 112, 113, 114, 115, -1, -1, -1, 119, 120, 121,
1984
- 122, 123, 124, 125, 126, 127, 128, 129, 130, 131,
1985
- 132, 133, 134, 135, -1, -1, -1, -1, -1, -1,
1986
- -1, -1, -1, -1, -1, -1, -1, 149, 150, 151,
1987
- 152, 153, 154, 8, 9, 10, 11, 12, 13, 14,
2024
+ 136, 137, 138, -1, -1, -1, -1, -1, -1, -1,
2025
+ -1, -1, -1, -1, -1, -1, 152, 153, 154, 155,
2026
+ 156, 157, -1, 159, 8, 9, 10, 11, 12, 13,
2027
+ 14, 15, -1, 17, -1, 19, 20, 21, 22, 23,
2028
+ 24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
2029
+ 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
2030
+ 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
2031
+ 54, 55, -1, -1, 58, -1, -1, -1, -1, -1,
2032
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, 73,
2033
+ 74, 75, 76, 77, 78, -1, -1, -1, -1, -1,
2034
+ -1, -1, 86, 87, 88, 89, 90, -1, 92, 93,
2035
+ 94, 95, 96, 97, -1, -1, -1, -1, -1, 103,
2036
+ 104, 105, 106, 107, 108, 109, 110, 111, 112, 113,
2037
+ 114, 115, 116, 117, 118, -1, -1, -1, 122, 123,
2038
+ 124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
2039
+ 134, 135, 136, 137, 138, -1, -1, -1, -1, -1,
2040
+ -1, -1, -1, -1, -1, -1, -1, -1, 152, 153,
2041
+ 154, 155, 156, 157, 8, 9, 10, 11, 12, 13,
2042
+ 14, 15, -1, 17, -1, 19, 20, 21, 22, 23,
2043
+ 24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
2044
+ 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
2045
+ 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
2046
+ 54, 55, -1, -1, 58, -1, -1, -1, -1, -1,
2047
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, 73,
2048
+ 74, 75, 76, 77, 78, -1, -1, -1, -1, -1,
2049
+ -1, -1, 86, 87, 88, 89, 90, -1, 92, 93,
2050
+ 94, 95, 96, 97, -1, -1, -1, -1, -1, 103,
2051
+ 104, 105, 106, 107, 108, 109, 110, 111, 112, 113,
2052
+ 114, 115, 116, 117, 118, -1, -1, -1, 122, 123,
2053
+ 124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
2054
+ 134, 135, 136, 137, 138, -1, -1, -1, -1, -1,
2055
+ -1, -1, -1, -1, -1, -1, -1, -1, 152, 153,
2056
+ 154, 155, 156, 157, 8, 9, 10, 11, 12, 13,
2057
+ 14, 15, -1, 17, -1, 19, 20, 21, 22, 23,
2058
+ 24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
2059
+ 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
2060
+ 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
2061
+ 54, 55, -1, -1, 58, -1, -1, -1, -1, -1,
2062
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, 73,
2063
+ 74, 75, 76, 77, 78, -1, -1, -1, -1, -1,
2064
+ -1, -1, 86, 87, 88, 89, 90, -1, 92, 93,
2065
+ 94, 95, 96, 97, -1, -1, -1, -1, -1, 103,
2066
+ 104, 105, 106, 107, 108, 109, 110, 111, 112, 113,
2067
+ 114, 115, 116, 117, 118, -1, -1, -1, 122, 123,
2068
+ 124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
2069
+ 134, 135, 136, 137, 138, -1, -1, -1, -1, -1,
2070
+ -1, -1, -1, -1, -1, -1, -1, -1, 152, 153,
2071
+ 154, 155, 156, 157, 8, 9, 10, 11, 12, 13,
2072
+ 14, 15, -1, 17, -1, 19, 20, 21, 22, 23,
2073
+ 24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
2074
+ 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
2075
+ 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
2076
+ 54, 55, -1, -1, 58, -1, -1, -1, -1, -1,
2077
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, 73,
2078
+ 74, 75, 76, 77, 78, -1, -1, -1, -1, -1,
2079
+ -1, -1, 86, 87, 88, 89, 90, -1, 92, 93,
2080
+ 94, 95, 96, 97, -1, -1, -1, -1, -1, 103,
2081
+ 104, 105, 106, 107, 108, 109, 110, 111, 112, 113,
2082
+ 114, 115, 116, 117, 118, -1, -1, -1, 122, 123,
2083
+ 124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
2084
+ 134, 135, 136, 137, 138, -1, -1, -1, -1, -1,
2085
+ -1, -1, -1, -1, -1, -1, -1, -1, 152, 153,
2086
+ 154, 155, 156, 157, 9, 10, 11, 12, -1, -1,
1988
2087
  15, -1, 17, -1, 19, 20, 21, 22, 23, 24,
1989
2088
  25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
1990
2089
  35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
1991
2090
  45, 46, 47, 48, 49, 50, 51, 52, 53, 54,
1992
- 55, -1, -1, -1, -1, -1, -1, -1, -1, -1,
1993
- -1, -1, -1, -1, -1, 70, 71, 72, 73, 74,
1994
- 75, -1, -1, -1, -1, -1, -1, -1, 83, 84,
1995
- 85, 86, 87, -1, 89, 90, 91, 92, 93, 94,
1996
- -1, -1, -1, -1, -1, 100, 101, 102, 103, 104,
2091
+ 55, -1, -1, 58, -1, -1, -1, -1, -1, -1,
2092
+ -1, -1, -1, -1, -1, -1, -1, -1, 73, 74,
2093
+ 75, 76, 77, 78, -1, -1, -1, -1, -1, -1,
2094
+ -1, 86, 87, 88, 89, 90, -1, 92, 93, 94,
2095
+ 95, 96, 97, -1, -1, -1, -1, -1, 103, 104,
1997
2096
  105, 106, 107, 108, 109, 110, 111, 112, 113, 114,
1998
- 115, -1, -1, -1, 119, 120, 121, 122, 123, 124,
2097
+ 115, 116, 117, 118, -1, -1, -1, 122, 123, 124,
1999
2098
  125, 126, 127, 128, 129, 130, 131, 132, 133, 134,
2000
- 135, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2001
- -1, -1, -1, -1, 149, 150, 151, 152, 153, 154,
2002
- 9, 10, 11, 12, -1, -1, 15, -1, 17, -1,
2003
- 19, 20, 21, 22, 23, 24, 25, 26, 27, 28,
2004
- 29, 30, 31, 32, 33, 34, 35, 36, 37, 38,
2005
- 39, 40, 41, 42, 43, 44, 45, 46, 47, 48,
2006
- 49, 50, 51, 52, 53, 54, 55, -1, -1, -1,
2007
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2008
- -1, 70, 71, 72, 73, 74, 75, -1, -1, -1,
2009
- -1, -1, -1, -1, 83, 84, 85, 86, 87, -1,
2010
- 89, 90, 91, 92, 93, 94, -1, -1, -1, -1,
2011
- -1, 100, 101, 102, 103, 104, 105, 106, 107, 108,
2012
- 109, 110, 111, 112, 113, 114, 115, -1, -1, -1,
2013
- 119, 120, 121, 122, 123, 124, 125, 126, 127, 128,
2014
- 129, 130, 131, 132, 133, 134, 135, -1, -1, -1,
2015
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2016
- 149, 150, 151, 152, 153, 154, 155, 9, 10, 11,
2017
- 12, 13, 14, 15, -1, 17, -1, 19, 20, 21,
2018
- 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
2019
- 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
2020
- 42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
2021
- 52, 53, 54, 55, -1, -1, 58, -1, -1, -1,
2022
- -1, -1, -1, -1, -1, -1, -1, -1, 70, 71,
2023
- 72, 73, 74, 75, -1, -1, -1, -1, -1, -1,
2024
- -1, 83, 84, 85, 86, 87, 88, 89, 90, 91,
2025
- 92, 93, 94, -1, -1, 97, -1, -1, 100, 101,
2026
- 102, 103, 104, 105, 106, 107, 108, 109, 110, 111,
2027
- 112, 113, 114, 115, -1, -1, -1, 119, 120, 121,
2028
- 122, 123, 124, 125, 126, 127, 128, 129, 130, 131,
2029
- 132, 133, 134, 135, -1, -1, -1, -1, -1, -1,
2030
- -1, -1, -1, -1, -1, -1, -1, 149, 150, 151,
2031
- 152, 153, 154, 9, 10, 11, 12, 13, 14, 15,
2099
+ 135, 136, 137, 138, -1, -1, -1, -1, -1, -1,
2100
+ -1, -1, -1, -1, -1, -1, -1, 152, 153, 154,
2101
+ 155, 156, 157, 158, 9, 10, 11, 12, -1, -1,
2102
+ 15, -1, 17, -1, 19, 20, 21, 22, 23, 24,
2103
+ 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
2104
+ 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
2105
+ 45, 46, 47, 48, 49, 50, 51, 52, 53, 54,
2106
+ 55, -1, -1, 58, -1, -1, -1, -1, -1, -1,
2107
+ -1, -1, -1, -1, -1, -1, -1, -1, 73, 74,
2108
+ 75, 76, 77, 78, -1, -1, -1, -1, -1, -1,
2109
+ -1, 86, 87, 88, 89, 90, -1, 92, 93, 94,
2110
+ 95, 96, 97, -1, -1, -1, -1, -1, 103, 104,
2111
+ 105, 106, 107, 108, 109, 110, 111, 112, 113, 114,
2112
+ 115, 116, 117, 118, -1, -1, -1, 122, 123, 124,
2113
+ 125, 126, 127, 128, 129, 130, 131, 132, 133, 134,
2114
+ 135, 136, 137, 138, -1, -1, -1, -1, -1, -1,
2115
+ -1, -1, -1, -1, -1, -1, -1, 152, 153, 154,
2116
+ 155, 156, 157, 158, 9, 10, 11, 12, 13, 14,
2117
+ 15, -1, 17, -1, 19, 20, 21, 22, 23, 24,
2118
+ 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
2119
+ 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
2120
+ 45, 46, 47, 48, 49, 50, 51, 52, 53, 54,
2121
+ 55, -1, -1, 58, -1, -1, 61, -1, -1, -1,
2122
+ -1, -1, -1, -1, -1, -1, -1, -1, 73, 74,
2123
+ 75, 76, 77, 78, -1, -1, -1, -1, -1, -1,
2124
+ -1, 86, 87, 88, 89, 90, 91, 92, 93, 94,
2125
+ 95, 96, 97, -1, -1, 100, -1, -1, 103, 104,
2126
+ 105, 106, 107, 108, 109, 110, 111, 112, 113, 114,
2127
+ 115, 116, 117, 118, -1, -1, -1, 122, 123, 124,
2128
+ 125, 126, 127, 128, 129, 130, 131, 132, 133, 134,
2129
+ 135, 136, 137, 138, -1, -1, -1, -1, -1, -1,
2130
+ -1, -1, -1, -1, -1, -1, -1, 152, 153, 154,
2131
+ 155, 156, 157, 9, 10, 11, 12, 13, 14, 15,
2032
2132
  -1, 17, -1, 19, 20, 21, 22, 23, 24, 25,
2033
2133
  26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
2034
2134
  36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
2035
2135
  46, 47, 48, 49, 50, 51, 52, 53, 54, 55,
2036
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2037
- -1, -1, -1, -1, 70, 71, 72, 73, 74, 75,
2038
- -1, -1, -1, -1, -1, -1, -1, 83, 84, 85,
2039
- 86, 87, 88, 89, 90, 91, 92, 93, 94, -1,
2040
- -1, 97, -1, -1, 100, 101, 102, 103, 104, 105,
2136
+ -1, -1, 58, -1, -1, -1, -1, -1, -1, -1,
2137
+ -1, -1, -1, -1, -1, -1, -1, 73, 74, 75,
2138
+ 76, 77, 78, -1, -1, -1, -1, -1, -1, -1,
2139
+ 86, 87, 88, 89, 90, 91, 92, 93, 94, 95,
2140
+ 96, 97, -1, -1, 100, -1, -1, 103, 104, 105,
2041
2141
  106, 107, 108, 109, 110, 111, 112, 113, 114, 115,
2042
- -1, -1, -1, 119, 120, 121, 122, 123, 124, 125,
2142
+ 116, 117, 118, -1, -1, -1, 122, 123, 124, 125,
2043
2143
  126, 127, 128, 129, 130, 131, 132, 133, 134, 135,
2144
+ 136, 137, 138, -1, -1, -1, -1, -1, -1, -1,
2145
+ -1, -1, -1, -1, -1, -1, 152, 153, 154, 155,
2146
+ 156, 157, 9, 10, 11, 12, 13, 14, 15, 16,
2147
+ 17, -1, 19, 20, 21, 22, 23, 24, 25, 26,
2148
+ 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
2149
+ 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
2150
+ 47, 48, 49, 50, 51, 52, 53, 54, 55, -1,
2151
+ -1, 58, -1, -1, -1, -1, -1, -1, -1, -1,
2152
+ -1, -1, -1, -1, -1, -1, 73, 74, 75, 76,
2153
+ 77, 78, -1, -1, -1, -1, -1, -1, -1, 86,
2154
+ 87, 88, 89, 90, -1, 92, 93, 94, 95, 96,
2155
+ 97, -1, -1, -1, -1, -1, 103, 104, 105, 106,
2156
+ 107, 108, 109, 110, 111, 112, 113, 114, 115, 116,
2157
+ 117, 118, -1, -1, -1, 122, 123, 124, 125, 126,
2158
+ 127, 128, 129, 130, 131, 132, 133, 134, 135, 136,
2159
+ 137, 138, -1, -1, -1, -1, -1, -1, -1, -1,
2160
+ -1, -1, -1, -1, -1, 152, 153, 154, 155, 156,
2161
+ 157, 9, 10, 11, 12, 13, 14, 15, 16, 17,
2162
+ -1, 19, 20, 21, 22, 23, 24, 25, 26, 27,
2163
+ 28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
2164
+ 38, 39, 40, 41, 42, 43, 44, 45, 46, 47,
2165
+ 48, 49, 50, 51, 52, 53, 54, 55, -1, -1,
2166
+ 58, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2167
+ -1, -1, -1, -1, -1, 73, 74, 75, 76, 77,
2168
+ 78, -1, -1, -1, -1, -1, -1, -1, 86, 87,
2169
+ 88, 89, 90, -1, 92, 93, 94, 95, 96, 97,
2170
+ -1, -1, -1, -1, -1, 103, 104, 105, 106, 107,
2171
+ 108, 109, 110, 111, 112, 113, 114, 115, 116, 117,
2172
+ 118, -1, -1, -1, 122, 123, 124, 125, 126, 127,
2173
+ 128, 129, 130, 131, 132, 133, 134, 135, 136, 137,
2174
+ 138, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2175
+ -1, -1, -1, -1, 152, 153, 154, 155, 156, 157,
2176
+ 9, 10, 11, 12, 13, 14, 15, -1, 17, -1,
2177
+ 19, 20, 21, 22, 23, 24, 25, 26, 27, 28,
2178
+ 29, 30, 31, 32, 33, 34, 35, 36, 37, 38,
2179
+ 39, 40, 41, 42, 43, 44, 45, 46, 47, 48,
2180
+ 49, 50, 51, 52, 53, 54, 55, -1, -1, 58,
2044
2181
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2045
- -1, -1, -1, 149, 150, 151, 152, 153, 154, 9,
2046
- 10, 11, 12, 13, 14, 15, 16, 17, -1, 19,
2182
+ -1, -1, -1, -1, 73, 74, 75, 76, 77, 78,
2183
+ -1, -1, -1, -1, -1, -1, -1, 86, 87, 88,
2184
+ 89, 90, -1, 92, 93, 94, 95, 96, 97, -1,
2185
+ -1, 100, -1, -1, 103, 104, 105, 106, 107, 108,
2186
+ 109, 110, 111, 112, 113, 114, 115, 116, 117, 118,
2187
+ -1, -1, -1, 122, 123, 124, 125, 126, 127, 128,
2188
+ 129, 130, 131, 132, 133, 134, 135, 136, 137, 138,
2189
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2190
+ -1, -1, -1, 152, 153, 154, 155, 156, 157, 9,
2191
+ 10, 11, 12, 13, 14, 15, -1, 17, 18, 19,
2047
2192
  20, 21, 22, 23, 24, 25, 26, 27, 28, 29,
2048
2193
  30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
2049
2194
  40, 41, 42, 43, 44, 45, 46, 47, 48, 49,
2050
- 50, 51, 52, 53, 54, 55, -1, -1, -1, -1,
2195
+ 50, 51, 52, 53, 54, 55, -1, -1, 58, -1,
2051
2196
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2052
- 70, 71, 72, 73, 74, 75, -1, -1, -1, -1,
2053
- -1, -1, -1, 83, 84, 85, 86, 87, -1, 89,
2054
- 90, 91, 92, 93, 94, -1, -1, -1, -1, -1,
2055
- 100, 101, 102, 103, 104, 105, 106, 107, 108, 109,
2056
- 110, 111, 112, 113, 114, 115, -1, -1, -1, 119,
2057
- 120, 121, 122, 123, 124, 125, 126, 127, 128, 129,
2058
- 130, 131, 132, 133, 134, 135, -1, -1, -1, -1,
2059
- -1, -1, -1, -1, -1, -1, -1, -1, -1, 149,
2060
- 150, 151, 152, 153, 154, 9, 10, 11, 12, 13,
2061
- 14, 15, 16, 17, -1, 19, 20, 21, 22, 23,
2062
- 24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
2063
- 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
2064
- 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
2065
- 54, 55, -1, -1, -1, -1, -1, -1, -1, -1,
2066
- -1, -1, -1, -1, -1, -1, 70, 71, 72, 73,
2067
- 74, 75, -1, -1, -1, -1, -1, -1, -1, 83,
2068
- 84, 85, 86, 87, -1, 89, 90, 91, 92, 93,
2069
- 94, -1, -1, -1, -1, -1, 100, 101, 102, 103,
2070
- 104, 105, 106, 107, 108, 109, 110, 111, 112, 113,
2071
- 114, 115, -1, -1, -1, 119, 120, 121, 122, 123,
2072
- 124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
2073
- 134, 135, -1, -1, -1, -1, -1, -1, -1, -1,
2074
- -1, -1, -1, -1, -1, 149, 150, 151, 152, 153,
2075
- 154, 9, 10, 11, 12, 13, 14, 15, -1, 17,
2076
- -1, 19, 20, 21, 22, 23, 24, 25, 26, 27,
2077
- 28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
2078
- 38, 39, 40, 41, 42, 43, 44, 45, 46, 47,
2079
- 48, 49, 50, 51, 52, 53, 54, 55, -1, -1,
2197
+ -1, -1, -1, 73, 74, 75, 76, 77, 78, -1,
2198
+ -1, -1, -1, -1, -1, -1, 86, 87, 88, 89,
2199
+ 90, -1, 92, 93, 94, 95, 96, 97, -1, -1,
2200
+ -1, -1, -1, 103, 104, 105, 106, 107, 108, 109,
2201
+ 110, 111, 112, 113, 114, 115, 116, 117, 118, -1,
2202
+ -1, -1, 122, 123, 124, 125, 126, 127, 128, 129,
2203
+ 130, 131, 132, 133, 134, 135, 136, 137, 138, -1,
2080
2204
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2081
- -1, -1, 70, 71, 72, 73, 74, 75, -1, -1,
2082
- -1, -1, -1, -1, -1, 83, 84, 85, 86, 87,
2083
- -1, 89, 90, 91, 92, 93, 94, -1, -1, 97,
2084
- -1, -1, 100, 101, 102, 103, 104, 105, 106, 107,
2085
- 108, 109, 110, 111, 112, 113, 114, 115, -1, -1,
2086
- -1, 119, 120, 121, 122, 123, 124, 125, 126, 127,
2087
- 128, 129, 130, 131, 132, 133, 134, 135, -1, -1,
2205
+ -1, -1, 152, 153, 154, 155, 156, 157, 9, 10,
2206
+ 11, 12, 13, 14, 15, -1, 17, -1, 19, 20,
2207
+ 21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
2208
+ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
2209
+ 41, 42, 43, 44, 45, 46, 47, 48, 49, 50,
2210
+ 51, 52, 53, 54, 55, -1, -1, 58, -1, -1,
2211
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2212
+ -1, -1, 73, 74, 75, 76, 77, 78, -1, -1,
2213
+ -1, -1, -1, -1, -1, 86, 87, 88, 89, 90,
2214
+ -1, 92, 93, 94, 95, 96, 97, -1, -1, -1,
2215
+ -1, -1, 103, 104, 105, 106, 107, 108, 109, 110,
2216
+ 111, 112, 113, 114, 115, 116, 117, 118, -1, -1,
2217
+ -1, 122, 123, 124, 125, 126, 127, 128, 129, 130,
2218
+ 131, 132, 133, 134, 135, 136, 137, 138, -1, -1,
2088
2219
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2089
- -1, 149, 150, 151, 152, 153, 154, 9, 10, 11,
2090
- 12, 13, 14, 15, -1, 17, 18, 19, 20, 21,
2220
+ -1, 152, 153, 154, 155, 156, 157, 9, 10, 11,
2221
+ 12, 13, -1, 15, -1, 17, -1, 19, 20, 21,
2091
2222
  22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
2092
2223
  32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
2093
2224
  42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
2094
- 52, 53, 54, 55, -1, -1, -1, -1, -1, -1,
2095
- -1, -1, -1, -1, -1, -1, -1, -1, 70, 71,
2096
- 72, 73, 74, 75, -1, -1, -1, -1, -1, -1,
2097
- -1, 83, 84, 85, 86, 87, -1, 89, 90, 91,
2098
- 92, 93, 94, -1, -1, -1, -1, -1, 100, 101,
2099
- 102, 103, 104, 105, 106, 107, 108, 109, 110, 111,
2100
- 112, 113, 114, 115, -1, -1, -1, 119, 120, 121,
2101
- 122, 123, 124, 125, 126, 127, 128, 129, 130, 131,
2102
- 132, 133, 134, 135, -1, -1, -1, -1, -1, -1,
2103
- -1, -1, -1, -1, -1, -1, -1, 149, 150, 151,
2104
- 152, 153, 154, 9, 10, 11, 12, 13, 14, 15,
2105
- -1, 17, -1, 19, 20, 21, 22, 23, 24, 25,
2106
- 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
2107
- 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
2108
- 46, 47, 48, 49, 50, 51, 52, 53, 54, 55,
2225
+ 52, 53, 54, 55, -1, -1, 58, -1, -1, -1,
2109
2226
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2110
- -1, -1, -1, -1, 70, 71, 72, 73, 74, 75,
2111
- -1, -1, -1, -1, -1, -1, -1, 83, 84, 85,
2112
- 86, 87, -1, 89, 90, 91, 92, 93, 94, -1,
2113
- -1, -1, -1, -1, 100, 101, 102, 103, 104, 105,
2114
- 106, 107, 108, 109, 110, 111, 112, 113, 114, 115,
2115
- -1, -1, -1, 119, 120, 121, 122, 123, 124, 125,
2116
- 126, 127, 128, 129, 130, 131, 132, 133, 134, 135,
2227
+ -1, 73, 74, 75, 76, 77, 78, -1, -1, -1,
2228
+ -1, -1, -1, -1, 86, 87, 88, 89, 90, -1,
2229
+ 92, 93, 94, 95, 96, 97, -1, -1, -1, -1,
2230
+ -1, 103, 104, 105, 106, 107, 108, 109, 110, 111,
2231
+ 112, 113, 114, 115, 116, 117, 118, -1, -1, -1,
2232
+ 122, 123, 124, 125, 126, 127, 128, 129, 130, 131,
2233
+ 132, 133, 134, 135, 136, 137, 138, -1, -1, -1,
2117
2234
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2118
- -1, -1, -1, 149, 150, 151, 152, 153, 154, 9,
2119
- 10, 11, 12, 13, -1, 15, -1, 17, -1, 19,
2120
- 20, 21, 22, 23, 24, 25, 26, 27, 28, 29,
2121
- 30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
2122
- 40, 41, 42, 43, 44, 45, 46, 47, 48, 49,
2123
- 50, 51, 52, 53, 54, 55, -1, -1, -1, -1,
2235
+ 152, 153, 154, 155, 156, 157, 9, 10, 11, 12,
2236
+ -1, -1, 15, -1, 17, -1, 19, 20, 21, 22,
2237
+ 23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
2238
+ 33, 34, 35, 36, 37, 38, 39, 40, 41, 42,
2239
+ 43, 44, 45, 46, 47, 48, 49, 50, 51, 52,
2240
+ 53, 54, 55, -1, -1, 58, -1, -1, -1, -1,
2124
2241
  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2125
- 70, 71, 72, 73, 74, 75, -1, -1, -1, -1,
2126
- -1, -1, -1, 83, 84, 85, 86, 87, -1, 89,
2127
- 90, 91, 92, 93, 94, -1, -1, -1, -1, -1,
2128
- 100, 101, 102, 103, 104, 105, 106, 107, 108, 109,
2129
- 110, 111, 112, 113, 114, 115, -1, -1, -1, 119,
2130
- 120, 121, 122, 123, 124, 125, 126, 127, 128, 129,
2131
- 130, 131, 132, 133, 134, 135, -1, -1, -1, -1,
2132
- -1, -1, -1, -1, -1, -1, -1, -1, -1, 149,
2133
- 150, 151, 152, 153, 154, 9, 10, 11, 12, -1,
2242
+ 73, 74, 75, 76, 77, 78, -1, -1, -1, -1,
2243
+ -1, -1, -1, 86, 87, 88, 89, 90, -1, 92,
2244
+ 93, 94, 95, 96, 97, -1, -1, -1, -1, -1,
2245
+ 103, 104, 105, 106, 107, 108, 109, 110, 111, 112,
2246
+ 113, 114, 115, 116, 117, 118, -1, -1, -1, 122,
2247
+ 123, 124, 125, 126, 127, 128, 129, 130, 131, 132,
2248
+ 133, 134, 135, 136, 137, 138, -1, -1, -1, -1,
2249
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, 152,
2250
+ 153, 154, 155, 156, 157, 9, 10, 11, 12, -1,
2134
2251
  -1, 15, -1, 17, -1, 19, 20, 21, 22, 23,
2135
2252
  24, 25, 26, 27, 28, 29, 30, 31, 32, 33,
2136
2253
  34, 35, 36, 37, 38, 39, 40, 41, 42, 43,
2137
2254
  44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
2138
- 54, 55, -1, -1, -1, -1, -1, -1, -1, -1,
2139
- -1, -1, -1, -1, -1, -1, 70, 71, 72, 73,
2140
- 74, 75, -1, -1, -1, -1, -1, -1, -1, 83,
2141
- 84, 85, 86, 87, -1, 89, 90, 91, 92, 93,
2142
- 94, -1, -1, -1, -1, -1, 100, 101, 102, 103,
2255
+ 54, 55, -1, -1, 58, -1, -1, -1, -1, -1,
2256
+ -1, -1, -1, -1, -1, -1, -1, -1, -1, 73,
2257
+ 74, 75, 76, 77, 78, -1, -1, -1, -1, -1,
2258
+ -1, -1, 86, 87, 88, 89, 90, -1, 92, 93,
2259
+ 94, 95, 96, 97, -1, -1, -1, -1, -1, 103,
2143
2260
  104, 105, 106, 107, 108, 109, 110, 111, 112, 113,
2144
- 114, 115, -1, -1, -1, 119, 120, 121, 122, 123,
2261
+ 114, 115, 116, 117, 118, -1, -1, -1, 122, 123,
2145
2262
  124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
2146
- 134, 135, -1, -1, -1, -1, -1, -1, -1, -1,
2147
- -1, -1, -1, -1, -1, 149, 150, 151, 152, 153,
2148
- 154, 9, 10, 11, 12, -1, -1, 15, -1, 17,
2149
- -1, 19, 20, 21, 22, 23, 24, 25, 26, 27,
2150
- 28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
2151
- 38, 39, 40, 41, 42, 43, 44, 45, 46, 47,
2152
- 48, 49, 50, 51, 52, 53, 54, 55, -1, -1,
2153
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2154
- -1, -1, 70, 71, 72, 73, 74, 75, -1, -1,
2155
- -1, -1, -1, -1, -1, 83, 84, 85, 86, 87,
2156
- -1, 89, 90, 91, 92, 93, 94, -1, -1, -1,
2157
- -1, -1, 100, 101, 102, 103, 104, 105, 106, 107,
2158
- 108, 109, 110, 111, 112, 113, 114, 115, -1, -1,
2159
- -1, 119, 120, 121, 122, 123, 124, 125, 126, 127,
2160
- 128, 129, 130, 131, 132, 133, 134, 135, -1, -1,
2161
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
2162
- -1, 149, 150, 151, 152, 153, 154
2263
+ 134, 135, 136, 137, 138, -1, -1, -1, -1, -1,
2264
+ -1, -1, -1, -1, -1, -1, -1, -1, 152, 153,
2265
+ 154, 155, 156, 157
2163
2266
  };
2164
2267
 
2165
2268
  /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
2166
2269
  symbol of state STATE-NUM. */
2167
2270
  static const yytype_uint16 yystos[] =
2168
2271
  {
2169
- 0, 5, 6, 7, 158, 159, 160, 161, 8, 9,
2272
+ 0, 5, 6, 7, 161, 162, 163, 164, 8, 9,
2170
2273
  10, 11, 12, 13, 14, 15, 17, 19, 20, 21,
2171
2274
  22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
2172
2275
  32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
2173
2276
  42, 43, 44, 45, 46, 47, 48, 49, 50, 51,
2174
- 52, 53, 54, 55, 70, 71, 72, 73, 74, 75,
2175
- 83, 84, 85, 86, 87, 89, 90, 91, 92, 93,
2176
- 94, 100, 101, 102, 103, 104, 105, 106, 107, 108,
2177
- 109, 110, 111, 112, 113, 114, 115, 119, 120, 121,
2178
- 122, 123, 124, 125, 126, 127, 128, 129, 130, 131,
2179
- 132, 133, 134, 135, 149, 150, 151, 152, 153, 154,
2180
- 162, 163, 164, 165, 167, 168, 169, 170, 171, 172,
2181
- 173, 174, 175, 176, 177, 178, 179, 180, 181, 182,
2182
- 183, 184, 185, 186, 187, 188, 189, 190, 191, 192,
2183
- 193, 194, 195, 196, 197, 198, 201, 204, 207, 208,
2184
- 209, 210, 211, 212, 213, 214, 215, 216, 219, 220,
2185
- 221, 222, 223, 224, 225, 226, 227, 228, 229, 230,
2186
- 231, 232, 233, 234, 235, 236, 237, 238, 239, 240,
2187
- 241, 242, 243, 244, 8, 162, 0, 160, 161, 164,
2188
- 172, 174, 164, 162, 164, 38, 39, 40, 39, 40,
2189
- 41, 39, 40, 41, 39, 40, 41, 39, 40, 41,
2190
- 39, 40, 39, 40, 39, 40, 39, 40, 164, 164,
2191
- 95, 95, 95, 95, 164, 164, 164, 164, 164, 164,
2192
- 164, 164, 164, 164, 15, 109, 15, 164, 164, 164,
2193
- 164, 76, 76, 76, 76, 164, 164, 164, 164, 164,
2194
- 164, 164, 164, 95, 164, 95, 95, 95, 164, 69,
2195
- 69, 76, 164, 164, 164, 164, 164, 164, 164, 164,
2196
- 164, 164, 164, 164, 164, 164, 137, 138, 139, 140,
2197
- 141, 142, 143, 145, 146, 147, 148, 15, 164, 69,
2198
- 69, 155, 164, 8, 163, 13, 14, 162, 13, 14,
2199
- 13, 14, 151, 8, 3, 4, 16, 16, 164, 164,
2200
- 164, 164, 164, 164, 164, 13, 14, 15, 217, 218,
2201
- 217, 164, 58, 88, 97, 162, 257, 258, 259, 260,
2202
- 263, 197, 78, 79, 80, 199, 200, 81, 205, 206,
2203
- 82, 202, 203, 164, 164, 164, 164, 164, 164, 116,
2204
- 257, 257, 257, 257, 257, 257, 96, 144, 257, 257,
2205
- 257, 257, 257, 162, 162, 162, 164, 164, 3, 4,
2206
- 18, 166, 164, 164, 164, 164, 162, 162, 164, 164,
2207
- 13, 164, 217, 218, 16, 15, 15, 15, 15, 16,
2208
- 57, 56, 77, 77, 200, 77, 206, 77, 203, 77,
2209
- 136, 136, 136, 136, 136, 136, 144, 136, 136, 136,
2210
- 136, 16, 156, 14, 13, 162, 162, 38, 39, 41,
2211
- 14, 13, 14, 13, 16, 16, 164, 13, 16, 164,
2212
- 217, 59, 60, 61, 62, 63, 64, 65, 66, 67,
2213
- 68, 245, 246, 247, 248, 249, 250, 251, 252, 253,
2214
- 254, 255, 256, 248, 249, 261, 262, 98, 99, 248,
2215
- 249, 264, 265, 266, 267, 258, 263, 76, 137, 138,
2216
- 139, 140, 141, 142, 145, 146, 147, 148, 109, 164,
2217
- 164, 164, 166, 166, 164, 164, 164, 164, 164, 15,
2218
- 109, 16, 69, 69, 69, 69, 69, 69, 69, 69,
2219
- 69, 69, 16, 246, 16, 262, 69, 69, 16, 265,
2220
- 117, 217, 257, 259, 162, 77, 16, 16, 76, 118,
2221
- 77
2277
+ 52, 53, 54, 55, 58, 73, 74, 75, 76, 77,
2278
+ 78, 86, 87, 88, 89, 90, 92, 93, 94, 95,
2279
+ 96, 97, 103, 104, 105, 106, 107, 108, 109, 110,
2280
+ 111, 112, 113, 114, 115, 116, 117, 118, 122, 123,
2281
+ 124, 125, 126, 127, 128, 129, 130, 131, 132, 133,
2282
+ 134, 135, 136, 137, 138, 152, 153, 154, 155, 156,
2283
+ 157, 165, 166, 167, 168, 170, 171, 172, 173, 174,
2284
+ 175, 176, 177, 178, 179, 180, 181, 182, 183, 184,
2285
+ 185, 186, 187, 188, 189, 190, 191, 192, 193, 194,
2286
+ 195, 196, 197, 198, 199, 200, 201, 204, 207, 210,
2287
+ 211, 212, 213, 214, 215, 216, 217, 218, 219, 222,
2288
+ 223, 224, 225, 226, 227, 228, 229, 230, 231, 232,
2289
+ 233, 234, 235, 236, 237, 238, 239, 240, 241, 242,
2290
+ 243, 244, 245, 247, 248, 8, 165, 0, 163, 164,
2291
+ 167, 175, 177, 167, 165, 167, 38, 39, 40, 39,
2292
+ 40, 41, 39, 40, 41, 39, 40, 41, 39, 40,
2293
+ 41, 39, 40, 39, 40, 39, 40, 39, 40, 167,
2294
+ 167, 98, 98, 98, 98, 158, 167, 167, 167, 167,
2295
+ 167, 167, 167, 167, 167, 167, 167, 15, 112, 15,
2296
+ 167, 167, 167, 167, 79, 79, 79, 79, 167, 167,
2297
+ 167, 167, 167, 167, 167, 167, 98, 167, 98, 98,
2298
+ 98, 167, 72, 72, 79, 167, 167, 167, 167, 167,
2299
+ 167, 167, 167, 167, 167, 167, 167, 167, 167, 58,
2300
+ 140, 141, 142, 143, 144, 145, 146, 148, 149, 150,
2301
+ 151, 15, 167, 72, 72, 158, 167, 8, 166, 13,
2302
+ 14, 165, 13, 14, 13, 14, 154, 8, 3, 4,
2303
+ 16, 16, 167, 167, 165, 167, 167, 167, 167, 167,
2304
+ 167, 13, 14, 15, 220, 221, 220, 167, 61, 91,
2305
+ 100, 165, 261, 262, 263, 264, 267, 200, 81, 82,
2306
+ 83, 202, 203, 84, 208, 209, 85, 205, 206, 167,
2307
+ 167, 167, 167, 167, 167, 119, 56, 79, 261, 261,
2308
+ 261, 261, 261, 261, 99, 147, 261, 261, 261, 261,
2309
+ 261, 165, 165, 165, 167, 167, 3, 4, 18, 169,
2310
+ 167, 167, 167, 167, 165, 165, 159, 167, 167, 13,
2311
+ 167, 220, 221, 16, 15, 15, 15, 15, 16, 60,
2312
+ 59, 80, 80, 203, 80, 209, 80, 206, 80, 79,
2313
+ 57, 246, 139, 139, 139, 139, 139, 139, 147, 139,
2314
+ 139, 139, 139, 16, 159, 14, 13, 165, 165, 38,
2315
+ 39, 41, 14, 13, 14, 13, 16, 16, 167, 167,
2316
+ 13, 16, 167, 220, 62, 63, 64, 65, 66, 67,
2317
+ 68, 69, 70, 71, 249, 250, 251, 252, 253, 254,
2318
+ 255, 256, 257, 258, 259, 260, 252, 253, 265, 266,
2319
+ 101, 102, 252, 253, 268, 269, 270, 271, 262, 267,
2320
+ 79, 246, 57, 80, 140, 141, 142, 143, 144, 145,
2321
+ 148, 149, 150, 151, 112, 167, 167, 167, 169, 169,
2322
+ 167, 167, 167, 167, 167, 15, 112, 16, 72, 72,
2323
+ 72, 72, 72, 72, 72, 72, 72, 72, 16, 250,
2324
+ 16, 266, 72, 72, 16, 269, 120, 80, 261, 220,
2325
+ 261, 263, 165, 80, 261, 139, 16, 16, 79, 139,
2326
+ 58, 121, 58, 80
2222
2327
  };
2223
2328
 
2224
2329
  #define yyerrok (yyerrstatus = 0)
@@ -4410,151 +4515,173 @@ yyreduce:
4410
4515
  break;
4411
4516
 
4412
4517
  case 216:
4413
- #line 1222 "itex2MML.y"
4518
+ #line 1221 "itex2MML.y"
4519
+ {
4520
+ char * s1 = itex2MML_copy3("<mrow><mo>(</mo><mstyle displaystyle=\"false\"><mfrac linethickness=\"0\">", (yyvsp[(2) - (3)]), (yyvsp[(3) - (3)]));
4521
+ (yyval) = itex2MML_copy2(s1, "</mfrac></mstyle><mo>)</mo></mrow>");
4522
+ itex2MML_free_string(s1);
4523
+ itex2MML_free_string((yyvsp[(2) - (3)]));
4524
+ itex2MML_free_string((yyvsp[(3) - (3)]));
4525
+ }
4526
+ break;
4527
+
4528
+ case 217:
4529
+ #line 1229 "itex2MML.y"
4414
4530
  {
4415
4531
  (yyval) = itex2MML_copy3("<munder>", (yyvsp[(2) - (2)]), "<mo>&UnderBrace;</mo></munder>");
4416
4532
  itex2MML_free_string((yyvsp[(2) - (2)]));
4417
4533
  }
4418
4534
  break;
4419
4535
 
4420
- case 217:
4421
- #line 1227 "itex2MML.y"
4536
+ case 218:
4537
+ #line 1234 "itex2MML.y"
4422
4538
  {
4423
4539
  (yyval) = itex2MML_copy3("<munder>", (yyvsp[(2) - (2)]), "<mo>&#x00332;</mo></munder>");
4424
4540
  itex2MML_free_string((yyvsp[(2) - (2)]));
4425
4541
  }
4426
4542
  break;
4427
4543
 
4428
- case 218:
4429
- #line 1232 "itex2MML.y"
4544
+ case 219:
4545
+ #line 1239 "itex2MML.y"
4430
4546
  {
4431
4547
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&OverBrace;</mo></mover>");
4432
4548
  itex2MML_free_string((yyvsp[(2) - (2)]));
4433
4549
  }
4434
4550
  break;
4435
4551
 
4436
- case 219:
4437
- #line 1237 "itex2MML.y"
4552
+ case 220:
4553
+ #line 1244 "itex2MML.y"
4438
4554
  {
4439
4555
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x000AF;</mo></mover>");
4440
4556
  itex2MML_free_string((yyvsp[(2) - (2)]));
4441
4557
  }
4442
4558
  break;
4443
4559
 
4444
- case 220:
4445
- #line 1241 "itex2MML.y"
4560
+ case 221:
4561
+ #line 1248 "itex2MML.y"
4446
4562
  {
4447
4563
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x000AF;</mo></mover>");
4448
4564
  itex2MML_free_string((yyvsp[(2) - (2)]));
4449
4565
  }
4450
4566
  break;
4451
4567
 
4452
- case 221:
4453
- #line 1246 "itex2MML.y"
4568
+ case 222:
4569
+ #line 1253 "itex2MML.y"
4454
4570
  {
4455
4571
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&RightVector;</mo></mover>");
4456
4572
  itex2MML_free_string((yyvsp[(2) - (2)]));
4457
4573
  }
4458
4574
  break;
4459
4575
 
4460
- case 222:
4461
- #line 1250 "itex2MML.y"
4576
+ case 223:
4577
+ #line 1257 "itex2MML.y"
4462
4578
  {
4463
4579
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&RightVector;</mo></mover>");
4464
4580
  itex2MML_free_string((yyvsp[(2) - (2)]));
4465
4581
  }
4466
4582
  break;
4467
4583
 
4468
- case 223:
4469
- #line 1255 "itex2MML.y"
4584
+ case 224:
4585
+ #line 1262 "itex2MML.y"
4470
4586
  {
4471
4587
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&dot;</mo></mover>");
4472
4588
  itex2MML_free_string((yyvsp[(2) - (2)]));
4473
4589
  }
4474
4590
  break;
4475
4591
 
4476
- case 224:
4477
- #line 1260 "itex2MML.y"
4592
+ case 225:
4593
+ #line 1267 "itex2MML.y"
4478
4594
  {
4479
4595
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&Dot;</mo></mover>");
4480
4596
  itex2MML_free_string((yyvsp[(2) - (2)]));
4481
4597
  }
4482
4598
  break;
4483
4599
 
4484
- case 225:
4485
- #line 1265 "itex2MML.y"
4600
+ case 226:
4601
+ #line 1272 "itex2MML.y"
4486
4602
  {
4487
4603
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&tdot;</mo></mover>");
4488
4604
  itex2MML_free_string((yyvsp[(2) - (2)]));
4489
4605
  }
4490
4606
  break;
4491
4607
 
4492
- case 226:
4493
- #line 1270 "itex2MML.y"
4608
+ case 227:
4609
+ #line 1277 "itex2MML.y"
4494
4610
  {
4495
4611
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&DotDot;</mo></mover>");
4496
4612
  itex2MML_free_string((yyvsp[(2) - (2)]));
4497
4613
  }
4498
4614
  break;
4499
4615
 
4500
- case 227:
4501
- #line 1275 "itex2MML.y"
4616
+ case 228:
4617
+ #line 1282 "itex2MML.y"
4502
4618
  {
4503
4619
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&tilde;</mo></mover>");
4504
4620
  itex2MML_free_string((yyvsp[(2) - (2)]));
4505
4621
  }
4506
4622
  break;
4507
4623
 
4508
- case 228:
4509
- #line 1279 "itex2MML.y"
4624
+ case 229:
4625
+ #line 1286 "itex2MML.y"
4510
4626
  {
4511
4627
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&tilde;</mo></mover>");
4512
4628
  itex2MML_free_string((yyvsp[(2) - (2)]));
4513
4629
  }
4514
4630
  break;
4515
4631
 
4516
- case 229:
4517
- #line 1284 "itex2MML.y"
4632
+ case 230:
4633
+ #line 1291 "itex2MML.y"
4518
4634
  {
4519
4635
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x2c7;</mo></mover>");
4520
4636
  itex2MML_free_string((yyvsp[(2) - (2)]));
4521
4637
  }
4522
4638
  break;
4523
4639
 
4524
- case 230:
4525
- #line 1288 "itex2MML.y"
4640
+ case 231:
4641
+ #line 1295 "itex2MML.y"
4526
4642
  {
4527
4643
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x2c7;</mo></mover>");
4528
4644
  itex2MML_free_string((yyvsp[(2) - (2)]));
4529
4645
  }
4530
4646
  break;
4531
4647
 
4532
- case 231:
4533
- #line 1293 "itex2MML.y"
4648
+ case 232:
4649
+ #line 1300 "itex2MML.y"
4534
4650
  {
4535
4651
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo stretchy=\"false\">&#x5E;</mo></mover>");
4536
4652
  itex2MML_free_string((yyvsp[(2) - (2)]));
4537
4653
  }
4538
4654
  break;
4539
4655
 
4540
- case 232:
4541
- #line 1297 "itex2MML.y"
4656
+ case 233:
4657
+ #line 1304 "itex2MML.y"
4542
4658
  {
4543
4659
  (yyval) = itex2MML_copy3("<mover>", (yyvsp[(2) - (2)]), "<mo>&#x5E;</mo></mover>");
4544
4660
  itex2MML_free_string((yyvsp[(2) - (2)]));
4545
4661
  }
4546
4662
  break;
4547
4663
 
4548
- case 233:
4549
- #line 1302 "itex2MML.y"
4664
+ case 234:
4665
+ #line 1309 "itex2MML.y"
4550
4666
  {
4551
4667
  (yyval) = itex2MML_copy3("<msqrt>", (yyvsp[(2) - (2)]), "</msqrt>");
4552
4668
  itex2MML_free_string((yyvsp[(2) - (2)]));
4553
4669
  }
4554
4670
  break;
4555
4671
 
4556
- case 234:
4557
- #line 1307 "itex2MML.y"
4672
+ case 235:
4673
+ #line 1314 "itex2MML.y"
4674
+ {
4675
+ char * s1 = itex2MML_copy3("<mroot>", (yyvsp[(5) - (5)]), (yyvsp[(3) - (5)]));
4676
+ (yyval) = itex2MML_copy2(s1, "</mroot>");
4677
+ itex2MML_free_string(s1);
4678
+ itex2MML_free_string((yyvsp[(3) - (5)]));
4679
+ itex2MML_free_string((yyvsp[(5) - (5)]));
4680
+ }
4681
+ break;
4682
+
4683
+ case 236:
4684
+ #line 1321 "itex2MML.y"
4558
4685
  {
4559
4686
  char * s1 = itex2MML_copy3("<mroot>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
4560
4687
  (yyval) = itex2MML_copy2(s1, "</mroot>");
@@ -4564,8 +4691,8 @@ yyreduce:
4564
4691
  }
4565
4692
  break;
4566
4693
 
4567
- case 235:
4568
- #line 1315 "itex2MML.y"
4694
+ case 237:
4695
+ #line 1329 "itex2MML.y"
4569
4696
  {
4570
4697
  char * s1 = itex2MML_copy3("<munder><mo>", (yyvsp[(1) - (5)]), "</mo><mrow>");
4571
4698
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "</mrow></munder>");
@@ -4575,8 +4702,8 @@ yyreduce:
4575
4702
  }
4576
4703
  break;
4577
4704
 
4578
- case 236:
4579
- #line 1322 "itex2MML.y"
4705
+ case 238:
4706
+ #line 1336 "itex2MML.y"
4580
4707
  {
4581
4708
  char * s1 = itex2MML_copy3("<munder>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
4582
4709
  (yyval) = itex2MML_copy2(s1, "</munder>");
@@ -4586,8 +4713,8 @@ yyreduce:
4586
4713
  }
4587
4714
  break;
4588
4715
 
4589
- case 237:
4590
- #line 1330 "itex2MML.y"
4716
+ case 239:
4717
+ #line 1344 "itex2MML.y"
4591
4718
  {
4592
4719
  char * s1 = itex2MML_copy3("<mover><mo>", (yyvsp[(1) - (2)]), "</mo>");
4593
4720
  (yyval) = itex2MML_copy3(s1, (yyvsp[(2) - (2)]), "</mover>");
@@ -4597,8 +4724,8 @@ yyreduce:
4597
4724
  }
4598
4725
  break;
4599
4726
 
4600
- case 238:
4601
- #line 1337 "itex2MML.y"
4727
+ case 240:
4728
+ #line 1351 "itex2MML.y"
4602
4729
  {
4603
4730
  char * s1 = itex2MML_copy3("<mover>", (yyvsp[(3) - (3)]), (yyvsp[(2) - (3)]));
4604
4731
  (yyval) = itex2MML_copy2(s1, "</mover>");
@@ -4608,8 +4735,8 @@ yyreduce:
4608
4735
  }
4609
4736
  break;
4610
4737
 
4611
- case 239:
4612
- #line 1345 "itex2MML.y"
4738
+ case 241:
4739
+ #line 1359 "itex2MML.y"
4613
4740
  {
4614
4741
  char * s1 = itex2MML_copy3("<munderover><mo>", (yyvsp[(1) - (5)]), "</mo><mrow>");
4615
4742
  char * s2 = itex2MML_copy3(s1, (yyvsp[(3) - (5)]), "</mrow>");
@@ -4622,8 +4749,8 @@ yyreduce:
4622
4749
  }
4623
4750
  break;
4624
4751
 
4625
- case 240:
4626
- #line 1355 "itex2MML.y"
4752
+ case 242:
4753
+ #line 1369 "itex2MML.y"
4627
4754
  {
4628
4755
  char * s1 = itex2MML_copy3("<munderover>", (yyvsp[(4) - (4)]), (yyvsp[(2) - (4)]));
4629
4756
  (yyval) = itex2MML_copy3(s1, (yyvsp[(3) - (4)]), "</munderover>");
@@ -4634,126 +4761,168 @@ yyreduce:
4634
4761
  }
4635
4762
  break;
4636
4763
 
4637
- case 241:
4638
- #line 1364 "itex2MML.y"
4764
+ case 243:
4765
+ #line 1378 "itex2MML.y"
4639
4766
  {
4640
4767
  (yyval) = itex2MML_copy_string("<mrow></mrow>");
4641
4768
  }
4642
4769
  break;
4643
4770
 
4644
- case 242:
4645
- #line 1368 "itex2MML.y"
4771
+ case 244:
4772
+ #line 1382 "itex2MML.y"
4646
4773
  {
4647
4774
  (yyval) = itex2MML_copy3("<mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
4648
4775
  itex2MML_free_string((yyvsp[(3) - (5)]));
4649
4776
  }
4650
4777
  break;
4651
4778
 
4652
- case 243:
4653
- #line 1372 "itex2MML.y"
4779
+ case 245:
4780
+ #line 1386 "itex2MML.y"
4654
4781
  {
4655
4782
  (yyval) = itex2MML_copy3("<mrow><mtable rowspacing=\"1.0ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
4656
4783
  itex2MML_free_string((yyvsp[(3) - (5)]));
4657
4784
  }
4658
4785
  break;
4659
4786
 
4660
- case 244:
4661
- #line 1376 "itex2MML.y"
4787
+ case 246:
4788
+ #line 1390 "itex2MML.y"
4662
4789
  {
4663
4790
  (yyval) = itex2MML_copy3("<mrow><mo>(</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>)</mo></mrow>");
4664
4791
  itex2MML_free_string((yyvsp[(3) - (5)]));
4665
4792
  }
4666
4793
  break;
4667
4794
 
4668
- case 245:
4669
- #line 1380 "itex2MML.y"
4795
+ case 247:
4796
+ #line 1394 "itex2MML.y"
4670
4797
  {
4671
4798
  (yyval) = itex2MML_copy3("<mrow><mo>[</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>]</mo></mrow>");
4672
4799
  itex2MML_free_string((yyvsp[(3) - (5)]));
4673
4800
  }
4674
4801
  break;
4675
4802
 
4676
- case 246:
4677
- #line 1384 "itex2MML.y"
4803
+ case 248:
4804
+ #line 1398 "itex2MML.y"
4678
4805
  {
4679
4806
  (yyval) = itex2MML_copy3("<mrow><mo>&VerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>&VerticalBar;</mo></mrow>");
4680
4807
  itex2MML_free_string((yyvsp[(3) - (5)]));
4681
4808
  }
4682
4809
  break;
4683
4810
 
4684
- case 247:
4685
- #line 1388 "itex2MML.y"
4811
+ case 249:
4812
+ #line 1402 "itex2MML.y"
4686
4813
  {
4687
4814
  (yyval) = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>}</mo></mrow>");
4688
4815
  itex2MML_free_string((yyvsp[(3) - (5)]));
4689
4816
  }
4690
4817
  break;
4691
4818
 
4692
- case 248:
4693
- #line 1392 "itex2MML.y"
4819
+ case 250:
4820
+ #line 1406 "itex2MML.y"
4694
4821
  {
4695
4822
  (yyval) = itex2MML_copy3("<mrow><mo>&DoubleVerticalBar;</mo><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow><mo>&DoubleVerticalBar;</mo></mrow>");
4696
4823
  itex2MML_free_string((yyvsp[(3) - (5)]));
4697
4824
  }
4698
4825
  break;
4699
4826
 
4700
- case 249:
4701
- #line 1396 "itex2MML.y"
4827
+ case 251:
4828
+ #line 1410 "itex2MML.y"
4702
4829
  {
4703
4830
  (yyval) = itex2MML_copy3("<mstyle scriptlevel=\"2\"><mrow><mtable rowspacing=\"0.5ex\">", (yyvsp[(3) - (5)]), "</mtable></mrow></mstyle>");
4704
4831
  itex2MML_free_string((yyvsp[(3) - (5)]));
4705
4832
  }
4706
4833
  break;
4707
4834
 
4708
- case 250:
4709
- #line 1400 "itex2MML.y"
4835
+ case 252:
4836
+ #line 1414 "itex2MML.y"
4710
4837
  {
4711
4838
  (yyval) = itex2MML_copy3("<mrow><mo>{</mo><mrow><mtable columnalign=\"left left\">", (yyvsp[(3) - (5)]), "</mtable></mrow></mrow>");
4712
4839
  itex2MML_free_string((yyvsp[(3) - (5)]));
4713
4840
  }
4714
4841
  break;
4715
4842
 
4716
- case 251:
4717
- #line 1404 "itex2MML.y"
4843
+ case 253:
4844
+ #line 1418 "itex2MML.y"
4718
4845
  {
4719
4846
  (yyval) = itex2MML_copy3("<mrow><mtable columnalign=\"right left right left right left right left right left\" columnspacing=\"0em\">", (yyvsp[(3) - (5)]), "</mtable></mrow>");
4720
4847
  itex2MML_free_string((yyvsp[(3) - (5)]));
4721
4848
  }
4722
4849
  break;
4723
4850
 
4724
- case 252:
4725
- #line 1408 "itex2MML.y"
4851
+ case 254:
4852
+ #line 1422 "itex2MML.y"
4853
+ {
4854
+ char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" align=\"", (yyvsp[(3) - (9)]), "\" columnalign=\"");
4855
+ char * s2 = itex2MML_copy3(s1, (yyvsp[(5) - (9)]), "\">");
4856
+ (yyval) = itex2MML_copy3(s2, (yyvsp[(7) - (9)]), "</mtable>");
4857
+ itex2MML_free_string(s1);
4858
+ itex2MML_free_string(s2);
4859
+ itex2MML_free_string((yyvsp[(3) - (9)]));
4860
+ itex2MML_free_string((yyvsp[(5) - (9)]));
4861
+ itex2MML_free_string((yyvsp[(7) - (9)]));
4862
+ }
4863
+ break;
4864
+
4865
+ case 255:
4866
+ #line 1432 "itex2MML.y"
4867
+ {
4868
+ char * s1 = itex2MML_copy3("<mtable rowspacing=\"0.5ex\" columnalign=\"", (yyvsp[(4) - (8)]), "\">");
4869
+ (yyval) = itex2MML_copy3(s1, (yyvsp[(6) - (8)]), "</mtable>");
4870
+ itex2MML_free_string(s1);
4871
+ itex2MML_free_string((yyvsp[(4) - (8)]));
4872
+ itex2MML_free_string((yyvsp[(6) - (8)]));
4873
+ }
4874
+ break;
4875
+
4876
+ case 256:
4877
+ #line 1439 "itex2MML.y"
4726
4878
  {
4727
4879
  (yyval) = itex2MML_copy3("<semantics><annotation-xml encoding=\"SVG1.1\">", (yyvsp[(3) - (4)]), "</annotation-xml></semantics>");
4728
4880
  itex2MML_free_string((yyvsp[(3) - (4)]));
4729
4881
  }
4730
4882
  break;
4731
4883
 
4732
- case 253:
4733
- #line 1412 "itex2MML.y"
4884
+ case 257:
4885
+ #line 1443 "itex2MML.y"
4734
4886
  {
4735
4887
  (yyval) = itex2MML_copy_string(" ");
4736
4888
  }
4737
4889
  break;
4738
4890
 
4739
- case 254:
4740
- #line 1416 "itex2MML.y"
4891
+ case 258:
4892
+ #line 1447 "itex2MML.y"
4893
+ {
4894
+ (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
4895
+ itex2MML_free_string((yyvsp[(1) - (2)]));
4896
+ itex2MML_free_string((yyvsp[(2) - (2)]));
4897
+ }
4898
+ break;
4899
+
4900
+ case 259:
4901
+ #line 1452 "itex2MML.y"
4902
+ {
4903
+ (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4904
+ itex2MML_free_string((yyvsp[(1) - (1)]));
4905
+ }
4906
+ break;
4907
+
4908
+ case 260:
4909
+ #line 1457 "itex2MML.y"
4741
4910
  {
4742
4911
  (yyval) = itex2MML_copy3("<mrow><mtable columnalign=\"center\" rowspacing=\"0.5ex\">", (yyvsp[(3) - (4)]), "</mtable></mrow>");
4743
4912
  itex2MML_free_string((yyvsp[(3) - (4)]));
4744
4913
  }
4745
4914
  break;
4746
4915
 
4747
- case 255:
4748
- #line 1421 "itex2MML.y"
4916
+ case 261:
4917
+ #line 1462 "itex2MML.y"
4749
4918
  {
4750
4919
  (yyval) = itex2MML_copy3("<mrow><mtable>", (yyvsp[(3) - (4)]), "</mtable></mrow>");
4751
4920
  itex2MML_free_string((yyvsp[(3) - (4)]));
4752
4921
  }
4753
4922
  break;
4754
4923
 
4755
- case 256:
4756
- #line 1425 "itex2MML.y"
4924
+ case 262:
4925
+ #line 1466 "itex2MML.y"
4757
4926
  {
4758
4927
  char * s1 = itex2MML_copy3("<mrow><mtable ", (yyvsp[(5) - (8)]), ">");
4759
4928
  (yyval) = itex2MML_copy3(s1, (yyvsp[(7) - (8)]), "</mtable></mrow>");
@@ -4763,16 +4932,16 @@ yyreduce:
4763
4932
  }
4764
4933
  break;
4765
4934
 
4766
- case 257:
4767
- #line 1433 "itex2MML.y"
4935
+ case 263:
4936
+ #line 1474 "itex2MML.y"
4768
4937
  {
4769
4938
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4770
4939
  itex2MML_free_string((yyvsp[(1) - (1)]));
4771
4940
  }
4772
4941
  break;
4773
4942
 
4774
- case 258:
4775
- #line 1437 "itex2MML.y"
4943
+ case 264:
4944
+ #line 1478 "itex2MML.y"
4776
4945
  {
4777
4946
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
4778
4947
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -4780,160 +4949,160 @@ yyreduce:
4780
4949
  }
4781
4950
  break;
4782
4951
 
4783
- case 259:
4784
- #line 1443 "itex2MML.y"
4952
+ case 265:
4953
+ #line 1484 "itex2MML.y"
4785
4954
  {
4786
4955
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4787
4956
  itex2MML_free_string((yyvsp[(1) - (1)]));
4788
4957
  }
4789
4958
  break;
4790
4959
 
4791
- case 260:
4792
- #line 1447 "itex2MML.y"
4960
+ case 266:
4961
+ #line 1488 "itex2MML.y"
4793
4962
  {
4794
4963
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4795
4964
  itex2MML_free_string((yyvsp[(1) - (1)]));
4796
4965
  }
4797
4966
  break;
4798
4967
 
4799
- case 261:
4800
- #line 1451 "itex2MML.y"
4968
+ case 267:
4969
+ #line 1492 "itex2MML.y"
4801
4970
  {
4802
4971
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4803
4972
  itex2MML_free_string((yyvsp[(1) - (1)]));
4804
4973
  }
4805
4974
  break;
4806
4975
 
4807
- case 262:
4808
- #line 1455 "itex2MML.y"
4976
+ case 268:
4977
+ #line 1496 "itex2MML.y"
4809
4978
  {
4810
4979
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4811
4980
  itex2MML_free_string((yyvsp[(1) - (1)]));
4812
4981
  }
4813
4982
  break;
4814
4983
 
4815
- case 263:
4816
- #line 1459 "itex2MML.y"
4984
+ case 269:
4985
+ #line 1500 "itex2MML.y"
4817
4986
  {
4818
4987
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4819
4988
  itex2MML_free_string((yyvsp[(1) - (1)]));
4820
4989
  }
4821
4990
  break;
4822
4991
 
4823
- case 264:
4824
- #line 1463 "itex2MML.y"
4992
+ case 270:
4993
+ #line 1504 "itex2MML.y"
4825
4994
  {
4826
4995
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4827
4996
  itex2MML_free_string((yyvsp[(1) - (1)]));
4828
4997
  }
4829
4998
  break;
4830
4999
 
4831
- case 265:
4832
- #line 1467 "itex2MML.y"
5000
+ case 271:
5001
+ #line 1508 "itex2MML.y"
4833
5002
  {
4834
5003
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4835
5004
  itex2MML_free_string((yyvsp[(1) - (1)]));
4836
5005
  }
4837
5006
  break;
4838
5007
 
4839
- case 266:
4840
- #line 1471 "itex2MML.y"
5008
+ case 272:
5009
+ #line 1512 "itex2MML.y"
4841
5010
  {
4842
5011
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4843
5012
  itex2MML_free_string((yyvsp[(1) - (1)]));
4844
5013
  }
4845
5014
  break;
4846
5015
 
4847
- case 267:
4848
- #line 1475 "itex2MML.y"
5016
+ case 273:
5017
+ #line 1516 "itex2MML.y"
4849
5018
  {
4850
5019
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4851
5020
  itex2MML_free_string((yyvsp[(1) - (1)]));
4852
5021
  }
4853
5022
  break;
4854
5023
 
4855
- case 268:
4856
- #line 1479 "itex2MML.y"
5024
+ case 274:
5025
+ #line 1520 "itex2MML.y"
4857
5026
  {
4858
5027
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4859
5028
  itex2MML_free_string((yyvsp[(1) - (1)]));
4860
5029
  }
4861
5030
  break;
4862
5031
 
4863
- case 269:
4864
- #line 1484 "itex2MML.y"
5032
+ case 275:
5033
+ #line 1525 "itex2MML.y"
4865
5034
  {
4866
5035
  (yyval) = itex2MML_copy2("columnalign=", (yyvsp[(2) - (2)]));
4867
5036
  itex2MML_free_string((yyvsp[(2) - (2)]));
4868
5037
  }
4869
5038
  break;
4870
5039
 
4871
- case 270:
4872
- #line 1489 "itex2MML.y"
5040
+ case 276:
5041
+ #line 1530 "itex2MML.y"
4873
5042
  {
4874
5043
  (yyval) = itex2MML_copy2("columnalign=", (yyvsp[(2) - (2)]));
4875
5044
  itex2MML_free_string((yyvsp[(2) - (2)]));
4876
5045
  }
4877
5046
  break;
4878
5047
 
4879
- case 271:
4880
- #line 1494 "itex2MML.y"
5048
+ case 277:
5049
+ #line 1535 "itex2MML.y"
4881
5050
  {
4882
5051
  (yyval) = itex2MML_copy2("rowalign=", (yyvsp[(2) - (2)]));
4883
5052
  itex2MML_free_string((yyvsp[(2) - (2)]));
4884
5053
  }
4885
5054
  break;
4886
5055
 
4887
- case 272:
4888
- #line 1499 "itex2MML.y"
5056
+ case 278:
5057
+ #line 1540 "itex2MML.y"
4889
5058
  {
4890
5059
  (yyval) = itex2MML_copy2("align=", (yyvsp[(2) - (2)]));
4891
5060
  itex2MML_free_string((yyvsp[(2) - (2)]));
4892
5061
  }
4893
5062
  break;
4894
5063
 
4895
- case 273:
4896
- #line 1504 "itex2MML.y"
5064
+ case 279:
5065
+ #line 1545 "itex2MML.y"
4897
5066
  {
4898
5067
  (yyval) = itex2MML_copy2("equalrows=", (yyvsp[(2) - (2)]));
4899
5068
  itex2MML_free_string((yyvsp[(2) - (2)]));
4900
5069
  }
4901
5070
  break;
4902
5071
 
4903
- case 274:
4904
- #line 1509 "itex2MML.y"
5072
+ case 280:
5073
+ #line 1550 "itex2MML.y"
4905
5074
  {
4906
5075
  (yyval) = itex2MML_copy2("equalcolumns=", (yyvsp[(2) - (2)]));
4907
5076
  itex2MML_free_string((yyvsp[(2) - (2)]));
4908
5077
  }
4909
5078
  break;
4910
5079
 
4911
- case 275:
4912
- #line 1514 "itex2MML.y"
5080
+ case 281:
5081
+ #line 1555 "itex2MML.y"
4913
5082
  {
4914
5083
  (yyval) = itex2MML_copy2("rowlines=", (yyvsp[(2) - (2)]));
4915
5084
  itex2MML_free_string((yyvsp[(2) - (2)]));
4916
5085
  }
4917
5086
  break;
4918
5087
 
4919
- case 276:
4920
- #line 1519 "itex2MML.y"
5088
+ case 282:
5089
+ #line 1560 "itex2MML.y"
4921
5090
  {
4922
5091
  (yyval) = itex2MML_copy2("columnlines=", (yyvsp[(2) - (2)]));
4923
5092
  itex2MML_free_string((yyvsp[(2) - (2)]));
4924
5093
  }
4925
5094
  break;
4926
5095
 
4927
- case 277:
4928
- #line 1524 "itex2MML.y"
5096
+ case 283:
5097
+ #line 1565 "itex2MML.y"
4929
5098
  {
4930
5099
  (yyval) = itex2MML_copy2("frame=", (yyvsp[(2) - (2)]));
4931
5100
  itex2MML_free_string((yyvsp[(2) - (2)]));
4932
5101
  }
4933
5102
  break;
4934
5103
 
4935
- case 278:
4936
- #line 1529 "itex2MML.y"
5104
+ case 284:
5105
+ #line 1570 "itex2MML.y"
4937
5106
  {
4938
5107
  char * s1 = itex2MML_copy3("rowspacing=", (yyvsp[(2) - (2)]), " columnspacing=");
4939
5108
  (yyval) = itex2MML_copy2(s1, (yyvsp[(2) - (2)]));
@@ -4942,16 +5111,16 @@ yyreduce:
4942
5111
  }
4943
5112
  break;
4944
5113
 
4945
- case 279:
4946
- #line 1536 "itex2MML.y"
5114
+ case 285:
5115
+ #line 1577 "itex2MML.y"
4947
5116
  {
4948
5117
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4949
5118
  itex2MML_free_string((yyvsp[(1) - (1)]));
4950
5119
  }
4951
5120
  break;
4952
5121
 
4953
- case 280:
4954
- #line 1540 "itex2MML.y"
5122
+ case 286:
5123
+ #line 1581 "itex2MML.y"
4955
5124
  {
4956
5125
  (yyval) = itex2MML_copy3((yyvsp[(1) - (3)]), " ", (yyvsp[(3) - (3)]));
4957
5126
  itex2MML_free_string((yyvsp[(1) - (3)]));
@@ -4959,32 +5128,32 @@ yyreduce:
4959
5128
  }
4960
5129
  break;
4961
5130
 
4962
- case 281:
4963
- #line 1546 "itex2MML.y"
5131
+ case 287:
5132
+ #line 1587 "itex2MML.y"
4964
5133
  {
4965
5134
  (yyval) = itex2MML_copy3("<mtr>", (yyvsp[(1) - (1)]), "</mtr>");
4966
5135
  itex2MML_free_string((yyvsp[(1) - (1)]));
4967
5136
  }
4968
5137
  break;
4969
5138
 
4970
- case 282:
4971
- #line 1550 "itex2MML.y"
5139
+ case 288:
5140
+ #line 1591 "itex2MML.y"
4972
5141
  {
4973
5142
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4974
5143
  itex2MML_free_string((yyvsp[(1) - (1)]));
4975
5144
  }
4976
5145
  break;
4977
5146
 
4978
- case 283:
4979
- #line 1555 "itex2MML.y"
5147
+ case 289:
5148
+ #line 1596 "itex2MML.y"
4980
5149
  {
4981
5150
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
4982
5151
  itex2MML_free_string((yyvsp[(1) - (1)]));
4983
5152
  }
4984
5153
  break;
4985
5154
 
4986
- case 284:
4987
- #line 1559 "itex2MML.y"
5155
+ case 290:
5156
+ #line 1600 "itex2MML.y"
4988
5157
  {
4989
5158
  (yyval) = itex2MML_copy3((yyvsp[(1) - (3)]), " ", (yyvsp[(3) - (3)]));
4990
5159
  itex2MML_free_string((yyvsp[(1) - (3)]));
@@ -4992,8 +5161,8 @@ yyreduce:
4992
5161
  }
4993
5162
  break;
4994
5163
 
4995
- case 285:
4996
- #line 1565 "itex2MML.y"
5164
+ case 291:
5165
+ #line 1606 "itex2MML.y"
4997
5166
  {
4998
5167
  char * s1 = itex2MML_copy3("<mtr ", (yyvsp[(3) - (5)]), ">");
4999
5168
  (yyval) = itex2MML_copy3(s1, (yyvsp[(5) - (5)]), "</mtr>");
@@ -5003,16 +5172,16 @@ yyreduce:
5003
5172
  }
5004
5173
  break;
5005
5174
 
5006
- case 286:
5007
- #line 1573 "itex2MML.y"
5175
+ case 292:
5176
+ #line 1614 "itex2MML.y"
5008
5177
  {
5009
5178
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5010
5179
  itex2MML_free_string((yyvsp[(1) - (1)]));
5011
5180
  }
5012
5181
  break;
5013
5182
 
5014
- case 287:
5015
- #line 1577 "itex2MML.y"
5183
+ case 293:
5184
+ #line 1618 "itex2MML.y"
5016
5185
  {
5017
5186
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
5018
5187
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5020,39 +5189,39 @@ yyreduce:
5020
5189
  }
5021
5190
  break;
5022
5191
 
5023
- case 288:
5024
- #line 1583 "itex2MML.y"
5192
+ case 294:
5193
+ #line 1624 "itex2MML.y"
5025
5194
  {
5026
5195
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5027
5196
  itex2MML_free_string((yyvsp[(1) - (1)]));
5028
5197
  }
5029
5198
  break;
5030
5199
 
5031
- case 289:
5032
- #line 1587 "itex2MML.y"
5200
+ case 295:
5201
+ #line 1628 "itex2MML.y"
5033
5202
  {
5034
5203
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5035
5204
  itex2MML_free_string((yyvsp[(1) - (1)]));
5036
5205
  }
5037
5206
  break;
5038
5207
 
5039
- case 290:
5040
- #line 1592 "itex2MML.y"
5208
+ case 296:
5209
+ #line 1633 "itex2MML.y"
5041
5210
  {
5042
5211
  (yyval) = itex2MML_copy_string("<mtd></mtd>");
5043
5212
  }
5044
5213
  break;
5045
5214
 
5046
- case 291:
5047
- #line 1595 "itex2MML.y"
5215
+ case 297:
5216
+ #line 1636 "itex2MML.y"
5048
5217
  {
5049
5218
  (yyval) = itex2MML_copy3("<mtd>", (yyvsp[(1) - (1)]), "</mtd>");
5050
5219
  itex2MML_free_string((yyvsp[(1) - (1)]));
5051
5220
  }
5052
5221
  break;
5053
5222
 
5054
- case 292:
5055
- #line 1599 "itex2MML.y"
5223
+ case 298:
5224
+ #line 1640 "itex2MML.y"
5056
5225
  {
5057
5226
  char * s1 = itex2MML_copy3("<mtd ", (yyvsp[(3) - (5)]), ">");
5058
5227
  (yyval) = itex2MML_copy3(s1, (yyvsp[(5) - (5)]), "</mtd>");
@@ -5062,16 +5231,16 @@ yyreduce:
5062
5231
  }
5063
5232
  break;
5064
5233
 
5065
- case 293:
5066
- #line 1607 "itex2MML.y"
5234
+ case 299:
5235
+ #line 1648 "itex2MML.y"
5067
5236
  {
5068
5237
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5069
5238
  itex2MML_free_string((yyvsp[(1) - (1)]));
5070
5239
  }
5071
5240
  break;
5072
5241
 
5073
- case 294:
5074
- #line 1611 "itex2MML.y"
5242
+ case 300:
5243
+ #line 1652 "itex2MML.y"
5075
5244
  {
5076
5245
  (yyval) = itex2MML_copy3((yyvsp[(1) - (2)]), " ", (yyvsp[(2) - (2)]));
5077
5246
  itex2MML_free_string((yyvsp[(1) - (2)]));
@@ -5079,48 +5248,48 @@ yyreduce:
5079
5248
  }
5080
5249
  break;
5081
5250
 
5082
- case 295:
5083
- #line 1617 "itex2MML.y"
5251
+ case 301:
5252
+ #line 1658 "itex2MML.y"
5084
5253
  {
5085
5254
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5086
5255
  itex2MML_free_string((yyvsp[(1) - (1)]));
5087
5256
  }
5088
5257
  break;
5089
5258
 
5090
- case 296:
5091
- #line 1621 "itex2MML.y"
5259
+ case 302:
5260
+ #line 1662 "itex2MML.y"
5092
5261
  {
5093
5262
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5094
5263
  itex2MML_free_string((yyvsp[(1) - (1)]));
5095
5264
  }
5096
5265
  break;
5097
5266
 
5098
- case 297:
5099
- #line 1625 "itex2MML.y"
5267
+ case 303:
5268
+ #line 1666 "itex2MML.y"
5100
5269
  {
5101
5270
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5102
5271
  itex2MML_free_string((yyvsp[(1) - (1)]));
5103
5272
  }
5104
5273
  break;
5105
5274
 
5106
- case 298:
5107
- #line 1629 "itex2MML.y"
5275
+ case 304:
5276
+ #line 1670 "itex2MML.y"
5108
5277
  {
5109
5278
  (yyval) = itex2MML_copy_string((yyvsp[(1) - (1)]));
5110
5279
  itex2MML_free_string((yyvsp[(1) - (1)]));
5111
5280
  }
5112
5281
  break;
5113
5282
 
5114
- case 299:
5115
- #line 1634 "itex2MML.y"
5283
+ case 305:
5284
+ #line 1675 "itex2MML.y"
5116
5285
  {
5117
5286
  (yyval) = itex2MML_copy2("rowspan=", (yyvsp[(2) - (2)]));
5118
5287
  itex2MML_free_string((yyvsp[(2) - (2)]));
5119
5288
  }
5120
5289
  break;
5121
5290
 
5122
- case 300:
5123
- #line 1639 "itex2MML.y"
5291
+ case 306:
5292
+ #line 1680 "itex2MML.y"
5124
5293
  {
5125
5294
  (yyval) = itex2MML_copy2("columnspan=", (yyvsp[(2) - (2)]));
5126
5295
  itex2MML_free_string((yyvsp[(2) - (2)]));
@@ -5129,7 +5298,7 @@ yyreduce:
5129
5298
 
5130
5299
 
5131
5300
  /* Line 1267 of yacc.c. */
5132
- #line 5133 "y.tab.c"
5301
+ #line 5302 "y.tab.c"
5133
5302
  default: break;
5134
5303
  }
5135
5304
  YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
@@ -5343,7 +5512,7 @@ yyreturn:
5343
5512
  }
5344
5513
 
5345
5514
 
5346
- #line 1644 "itex2MML.y"
5515
+ #line 1685 "itex2MML.y"
5347
5516
 
5348
5517
 
5349
5518
  char * itex2MML_parse (const char * buffer, unsigned long length)