« back to all changes in this revision
Viewing changes to dlib/config_scan.c
- browse files at revision 3
- compare with another revision
- download diff
- download tarball
- view history from revision 3
- Committer: Bazaar Package Importer
- Author(s): Adrian Bridgett
- Date: 2003-11-15 18:59:33 UTC
- mfrom: (1.1.1 upstream)
- Revision ID: james.westby@ubuntu.com-20031115185933-vkxgk8f226ovwmrh
Tags: 1.1.14-2
improve extended descriptions (closes: #209510, #210116)
- files added:
- contrib/StartupItems.Dante
- files removed:
- PRERELEASE
- files modified:
- BUGS
added
removed
dlib/config_scan.c
311
311
*yy_cp = '\0'; \
312
312
yy_c_buf_p = yy_cp;
313
313
314
#define YY_NUM_RULES 82
315
#define YY_END_OF_BUFFER 83
316
static yyconst short int yy_acclist[492] =
314
#define YY_NUM_RULES 83
315
#define YY_END_OF_BUFFER 84
316
static yyconst short int yy_acclist[507] =
317
317
{ 0,
318
26, 26, 83, 81, 82, 77, 81, 82, 79, 82,
319
78, 81, 82, 76, 81, 82, 81, 82, 81, 82,
320
81, 82, 81, 82, 81, 82, 81, 82, 81, 82,
321
81, 82, 81, 82, 81, 82, 81, 82, 81, 82,
322
81, 82, 81, 82, 81, 82, 81, 82, 81, 82,
323
21, 81, 82, 76, 81, 82, 81, 82, 81, 82,
324
81, 82, 81, 82, 81, 82, 81, 82, 81, 82,
325
81, 82, 81, 82, 81, 82, 81, 82, 81, 82,
326
81, 82, 81, 82, 81, 82, 81, 82, 81, 82,
327
25, 81, 82, 81, 82, 81, 82, 81, 82, 26,
328
329
81, 82, 26, 77, 81, 82, 26, 78, 81, 82,
330
26, 76, 81, 82, 26, 81, 82, 81, 82, 81,
331
82, 81, 82, 81, 82, 23, 81, 82, 23, 78,
332
81, 82, 23, 76, 81, 82, 23, 81, 82, 81,
333
82, 81, 82, 81, 82, 81, 82, 81, 82, 81,
334
82, 19, 76, 81, 82, 12, 81, 82, 12, 81,
335
82, 12, 81, 82, 81, 82, 81, 82, 81, 82,
336
81, 82, 81, 82, 81, 82, 81, 82, 24, 81,
337
82, 24, 78, 81, 82, 24, 76, 81, 82, 24,
338
81, 82, 20, 76, 81, 82, 18, 81, 82, 81,
339
340
82, 81, 82, 81, 82, 81, 82, 77, 78, 78,
341
76, 80, 43, 21, 76, 22, 22, 43, 26, 26,
342
77, 26, 78, 26, 78, 26, 26, 76, 23, 23,
343
78, 23, 23, 76, 12, 19, 76, 24, 24, 78,
344
24, 24, 76, 20, 76, 18, 18, 76, 71, 44,
345
21, 21, 21, 76, 71, 44, 26, 26, 76, 23,
346
23, 76, 68, 19, 76, 24, 24, 76, 20, 76,
347
29, 30, 76, 60, 42, 48, 70, 50, 21, 21,
348
76, 60, 42, 48, 70, 50, 11, 5, 26, 26,
349
26, 76, 14, 23, 23, 23, 76, 64, 19, 76,
350
351
24, 24, 24, 76, 20, 76, 31, 69, 32, 33,
352
47, 21, 69, 32, 21, 33, 47, 26, 26, 16,
353
23, 23, 19, 76, 24, 24, 20, 76, 61, 62,
354
61, 10, 62, 21, 21, 21, 21, 26, 26, 23,
355
23, 65, 67, 24, 24, 75, 39, 72, 35, 39,
356
72, 21, 35, 21, 21, 21, 6, 26, 75, 26,
357
13, 23, 75, 23, 24, 75, 24, 75, 49, 45,
358
38, 40, 57, 49, 45, 21, 38, 40, 57, 21,
359
21, 21, 9, 26, 75, 23, 75, 66, 1, 2,
360
24, 75, 75, 41, 59, 54, 37, 56, 41, 59,
361
362
22, 22, 54, 37, 21, 56, 21, 21, 21, 8,
363
26, 75, 23, 75, 4, 24, 75, 28, 21, 21,
364
21, 21, 21, 15, 3, 27, 21, 21, 21, 21,
365
21, 17, 63, 74, 53, 63, 21, 22, 22, 74,
366
21, 21, 53, 21, 21, 7, 55, 74, 74, 36,
367
55, 21, 21, 22, 74, 22, 74, 21, 36, 21,
368
21, 58, 73, 58, 21, 21, 21, 21, 73, 21,
369
21, 34, 51, 21, 21, 73, 34, 21, 21, 51,
370
21, 21, 46, 46, 21, 46, 46, 21, 52, 21,
371
52
372
318
26, 26, 84, 82, 83, 78, 82, 83, 80, 83,
319
79, 82, 83, 77, 82, 83, 82, 83, 82, 83,
320
82, 83, 82, 83, 82, 83, 82, 83, 82, 83,
321
82, 83, 82, 83, 82, 83, 82, 83, 82, 83,
322
82, 83, 82, 83, 82, 83, 82, 83, 82, 83,
323
21, 82, 83, 77, 82, 83, 82, 83, 82, 83,
324
82, 83, 82, 83, 82, 83, 82, 83, 82, 83,
325
82, 83, 82, 83, 82, 83, 82, 83, 82, 83,
326
82, 83, 82, 83, 82, 83, 82, 83, 82, 83,
327
25, 82, 83, 82, 83, 82, 83, 82, 83, 26,
328
329
82, 83, 26, 78, 82, 83, 26, 79, 82, 83,
330
26, 77, 82, 83, 26, 82, 83, 82, 83, 82,
331
83, 82, 83, 82, 83, 23, 82, 83, 23, 79,
332
82, 83, 23, 77, 82, 83, 23, 82, 83, 82,
333
83, 82, 83, 82, 83, 82, 83, 82, 83, 82,
334
83, 19, 77, 82, 83, 12, 82, 83, 12, 82,
335
83, 12, 82, 83, 82, 83, 82, 83, 82, 83,
336
82, 83, 82, 83, 82, 83, 82, 83, 24, 82,
337
83, 24, 79, 82, 83, 24, 77, 82, 83, 24,
338
82, 83, 20, 77, 82, 83, 18, 82, 83, 82,
339
340
83, 82, 83, 82, 83, 82, 83, 78, 79, 79,
341
77, 81, 43, 21, 77, 22, 22, 43, 26, 26,
342
78, 26, 79, 26, 79, 26, 26, 77, 23, 23,
343
79, 23, 23, 77, 12, 19, 77, 24, 24, 79,
344
24, 24, 77, 20, 77, 18, 18, 77, 72, 44,
345
21, 21, 21, 77, 72, 44, 26, 26, 77, 23,
346
23, 77, 69, 19, 77, 24, 24, 77, 20, 77,
347
29, 30, 77, 61, 42, 48, 71, 51, 21, 21,
348
77, 61, 42, 48, 71, 51, 11, 5, 26, 26,
349
26, 77, 14, 23, 23, 23, 77, 65, 19, 77,
350
351
24, 24, 24, 77, 20, 77, 31, 70, 32, 33,
352
47, 21, 70, 32, 21, 33, 47, 26, 26, 16,
353
23, 23, 19, 77, 24, 24, 20, 77, 62, 63,
354
62, 10, 63, 21, 21, 21, 21, 26, 26, 23,
355
23, 66, 68, 24, 24, 76, 39, 73, 35, 21,
356
39, 73, 21, 35, 21, 21, 21, 6, 26, 76,
357
26, 13, 23, 76, 23, 24, 76, 24, 76, 49,
358
45, 38, 40, 58, 21, 49, 45, 21, 38, 40,
359
58, 21, 21, 21, 9, 26, 76, 23, 76, 67,
360
1, 2, 24, 76, 76, 41, 60, 55, 37, 57,
361
362
41, 21, 60, 22, 22, 55, 37, 21, 57, 21,
363
21, 21, 8, 26, 76, 23, 76, 4, 24, 76,
364
28, 21, 21, 21, 21, 21, 21, 15, 3, 27,
365
21, 21, 21, 21, 21, 21, 17, 64, 75, 54,
366
21, 64, 21, 22, 22, 75, 21, 21, 54, 21,
367
21, 7, 56, 75, 75, 36, 21, 56, 21, 21,
368
22, 75, 22, 75, 21, 36, 21, 21, 59, 74,
369
21, 59, 21, 21, 21, 21, 74, 21, 21, 34,
370
52, 21, 21, 21, 74, 34, 21, 21, 52, 21,
371
21, 21, 46, 21, 46, 21, 46, 46, 21, 53,
372
373
21, 21, 53, 50, 21, 50
373
374
} ;
374
375
375
static yyconst short int yy_accept[904] =
376
static yyconst short int yy_accept[940] =
376
377
{ 0,
377
378
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
378
379
1, 1, 1, 2, 3, 3, 3, 3, 3, 3,
389
390
175, 177, 179, 182, 186, 190, 193, 197, 200, 202,
390
391
204, 206, 208, 209, 210, 211, 211, 212, 213, 213,
391
392
213, 213, 213, 213, 213, 213, 213, 213, 213, 213,
392
213, 213, 213, 213, 213, 213, 213, 213, 213, 214,
393
214, 214, 214, 214, 215, 215, 216, 217, 218, 218,
394
218, 218, 218, 218, 218, 218, 218, 218, 218, 218,
395
218, 218, 218, 218, 218, 218, 218, 218, 218, 218,
396
218, 219, 219, 219, 219, 219, 219, 219, 220, 222,
397
224, 226, 227, 229, 229, 229, 229, 229, 229, 230,
393
213, 213, 213, 213, 213, 213, 213, 213, 213, 213,
394
214, 214, 214, 214, 214, 215, 215, 216, 217, 218,
395
218, 218, 218, 218, 218, 218, 218, 218, 218, 218,
396
218, 218, 218, 218, 218, 218, 218, 218, 218, 218,
397
218, 218, 218, 219, 219, 219, 219, 219, 219, 219,
398
220, 222, 224, 226, 227, 229, 229, 229, 229, 229,
398
399
399
232, 233, 235, 235, 235, 235, 235, 235, 236, 238,
400
238, 238, 238, 238, 239, 241, 242, 244, 246, 247,
401
248, 248, 248, 248, 248, 248, 249, 249, 249, 249,
400
229, 230, 232, 233, 235, 235, 235, 235, 235, 235,
401
236, 238, 238, 238, 238, 238, 239, 241, 242, 244,
402
246, 247, 248, 248, 248, 248, 248, 248, 249, 249,
402
403
249, 249, 249, 249, 249, 249, 249, 249, 249, 249,
403
250, 250, 250, 250, 250, 250, 250, 250, 250, 250,
404
250, 250, 250, 251, 252, 253, 254, 255, 255, 255,
404
249, 249, 249, 250, 250, 250, 250, 250, 250, 250,
405
250, 250, 250, 250, 250, 250, 251, 252, 253, 254,
405
406
255, 255, 255, 255, 255, 255, 255, 255, 255, 255,
406
255, 255, 256, 256, 256, 256, 256, 256, 256, 256,
407
256, 256, 256, 256, 256, 257, 257, 257, 257, 257,
408
258, 260, 260, 260, 260, 260, 260, 261, 263, 263,
409
410
263, 264, 264, 264, 266, 266, 266, 266, 267, 269,
411
271, 271, 271, 271, 272, 273, 273, 273, 274, 274,
412
275, 275, 275, 275, 275, 275, 275, 275, 276, 276,
413
276, 276, 276, 276, 276, 277, 277, 277, 278, 278,
414
278, 278, 278, 278, 278, 278, 278, 279, 280, 281,
415
282, 282, 283, 283, 283, 283, 283, 283, 283, 283,
416
283, 284, 284, 284, 284, 284, 284, 284, 285, 285,
417
285, 286, 286, 286, 286, 286, 286, 286, 286, 286,
418
287, 288, 289, 289, 289, 289, 290, 291, 293, 293,
419
294, 294, 294, 294, 295, 296, 298, 298, 299, 299,
420
421
299, 301, 301, 301, 301, 302, 303, 305, 307, 307,
422
307, 308, 308, 308, 308, 309, 309, 309, 309, 309,
407
255, 255, 255, 255, 255, 255, 256, 256, 256, 256,
408
256, 256, 256, 256, 256, 256, 256, 256, 256, 257,
409
257, 257, 257, 257, 258, 260, 260, 260, 260, 260,
410
411
260, 261, 263, 263, 263, 264, 264, 264, 266, 266,
412
266, 266, 267, 269, 271, 271, 271, 271, 272, 273,
413
273, 273, 274, 274, 275, 275, 275, 275, 275, 275,
414
275, 275, 275, 276, 276, 276, 276, 276, 276, 276,
415
277, 277, 277, 278, 278, 278, 278, 278, 278, 278,
416
278, 278, 279, 280, 281, 282, 282, 283, 283, 283,
417
283, 283, 283, 283, 283, 283, 283, 284, 284, 284,
418
284, 284, 284, 284, 285, 285, 285, 286, 286, 286,
419
286, 286, 286, 286, 286, 286, 287, 288, 289, 289,
420
289, 289, 290, 291, 293, 293, 294, 294, 294, 294,
421
422
295, 296, 298, 298, 299, 299, 299, 301, 301, 301,
423
301, 302, 303, 305, 307, 307, 307, 308, 308, 308,
424
308, 309, 309, 309, 309, 309, 309, 310, 310, 310,
423
425
310, 310, 310, 310, 310, 310, 310, 310, 310, 310,
424
310, 310, 310, 310, 310, 310, 312, 312, 312, 312,
425
313, 313, 314, 314, 314, 314, 314, 315, 315, 315,
426
315, 315, 315, 315, 315, 315, 315, 316, 316, 316,
427
316, 316, 316, 316, 318, 318, 318, 318, 318, 318,
428
318, 318, 319, 320, 320, 320, 321, 321, 322, 323,
429
323, 323, 323, 325, 325, 325, 325, 326, 327, 329,
430
329, 329, 329, 329, 329, 330, 330, 330, 330, 330,
426
310, 310, 310, 312, 312, 312, 312, 313, 313, 314,
427
314, 314, 314, 314, 314, 315, 315, 315, 315, 315,
428
315, 315, 315, 315, 315, 316, 316, 316, 316, 316,
429
316, 316, 318, 318, 318, 318, 318, 318, 318, 318,
430
319, 320, 320, 320, 321, 321, 322, 323, 323, 323,
431
323, 325, 325, 325, 325, 326, 327, 329, 329, 329,
431
432
432
330, 330, 330, 330, 330, 330, 331, 331, 331, 331,
433
329, 329, 329, 329, 330, 330, 330, 330, 330, 330,
434
330, 330, 330, 330, 330, 331, 331, 331, 331, 331,
433
435
331, 331, 331, 331, 331, 331, 331, 331, 331, 331,
434
436
332, 332, 332, 332, 333, 333, 333, 333, 333, 333,
435
437
333, 333, 334, 335, 335, 335, 335, 335, 335, 335,
436
438
335, 335, 336, 337, 338, 338, 338, 338, 338, 339,
437
439
340, 340, 340, 340, 341, 342, 343, 344, 344, 344,
438
440
344, 344, 345, 346, 346, 346, 347, 347, 347, 347,
439
348, 348, 348, 348, 348, 348, 348, 349, 349, 349,
440
349, 349, 349, 349, 349, 349, 349, 349, 350, 350,
441
350, 350, 350, 350, 351, 351, 351, 351, 351, 351,
442
443
351, 352, 352, 352, 353, 353, 353, 353, 353, 353,
444
353, 353, 354, 355, 356, 357, 357, 358, 358, 358,
445
360, 361, 362, 362, 362, 364, 365, 365, 365, 365,
446
365, 367, 368, 368, 368, 369, 369, 369, 369, 369,
447
369, 370, 371, 371, 371, 371, 371, 371, 372, 372,
448
373, 373, 373, 374, 374, 374, 374, 374, 374, 374,
449
374, 374, 375, 376, 376, 376, 376, 377, 377, 378,
450
378, 379, 379, 379, 380, 381, 382, 383, 383, 383,
451
384, 386, 386, 386, 388, 389, 389, 389, 390, 391,
452
393, 393, 393, 394, 395, 395, 395, 395, 396, 396,
453
454
397, 397, 398, 398, 398, 398, 398, 399, 399, 399,
455
399, 400, 400, 400, 400, 401, 401, 401, 402, 403,
456
403, 404, 404, 405, 406, 406, 406, 406, 407, 408,
457
409, 410, 411, 411, 413, 413, 413, 415, 416, 416,
458
418, 418, 419, 419, 419, 419, 419, 419, 419, 419,
459
419, 419, 419, 419, 419, 419, 419, 419, 419, 420,
460
420, 420, 421, 421, 421, 421, 422, 423, 424, 424,
461
425, 425, 426, 427, 427, 427, 427, 427, 427, 427,
462
427, 427, 427, 427, 427, 427, 427, 427, 427, 427,
463
428, 428, 428, 429, 429, 429, 429, 430, 431, 432,
464
465
432, 433, 434, 434, 434, 434, 434, 435, 435, 435,
466
435, 435, 436, 436, 436, 437, 437, 437, 437, 438,
467
438, 438, 438, 439, 441, 441, 442, 442, 442, 442,
468
444, 445, 446, 447, 448, 448, 448, 449, 450, 450,
469
450, 451, 451, 451, 451, 452, 452, 452, 453, 453,
470
454, 456, 458, 459, 459, 460, 460, 461, 462, 463,
471
463, 463, 464, 464, 464, 464, 465, 465, 466, 466,
472
467, 468, 469, 470, 470, 471, 472, 472, 473, 473,
473
474, 474, 475, 475, 477, 478, 479, 481, 481, 481,
474
481, 482, 482, 483, 484, 484, 485, 487, 488, 489,
475
476
490, 492, 492
441
347, 348, 348, 348, 348, 348, 348, 348, 349, 349,
442
349, 349, 349, 349, 349, 349, 349, 349, 349, 350,
443
444
350, 350, 350, 350, 351, 351, 352, 352, 352, 352,
445
352, 352, 352, 353, 353, 353, 354, 354, 354, 354,
446
354, 354, 354, 354, 355, 356, 357, 358, 358, 359,
447
359, 359, 361, 362, 363, 363, 363, 365, 366, 366,
448
366, 366, 366, 368, 369, 369, 369, 370, 370, 370,
449
370, 370, 370, 370, 371, 372, 372, 372, 372, 372,
450
372, 373, 373, 374, 374, 374, 375, 375, 375, 375,
451
375, 376, 376, 376, 376, 376, 377, 378, 378, 378,
452
378, 379, 379, 380, 380, 381, 381, 381, 382, 383,
453
384, 385, 385, 385, 386, 388, 388, 388, 390, 391,
454
455
391, 391, 392, 393, 395, 395, 395, 396, 397, 397,
456
397, 397, 397, 398, 398, 399, 399, 400, 400, 400,
457
400, 400, 401, 401, 401, 401, 402, 403, 403, 403,
458
403, 404, 404, 404, 405, 406, 406, 407, 407, 408,
459
409, 409, 409, 409, 410, 411, 412, 413, 414, 414,
460
416, 416, 416, 418, 419, 419, 421, 421, 422, 422,
461
422, 422, 422, 422, 422, 422, 422, 422, 422, 422,
462
422, 422, 423, 423, 423, 423, 423, 424, 424, 424,
463
425, 425, 425, 425, 426, 427, 428, 428, 429, 429,
464
430, 431, 431, 431, 431, 431, 431, 431, 431, 431,
465
466
431, 431, 431, 431, 431, 432, 432, 432, 432, 432,
467
433, 433, 433, 434, 434, 434, 434, 435, 436, 437,
468
437, 438, 438, 439, 439, 439, 439, 439, 440, 440,
469
440, 440, 440, 441, 441, 441, 442, 443, 443, 443,
470
443, 444, 444, 444, 444, 445, 447, 447, 448, 448,
471
448, 448, 450, 451, 452, 453, 453, 454, 454, 454,
472
455, 456, 456, 456, 457, 457, 457, 457, 458, 459,
473
459, 459, 460, 460, 461, 463, 465, 466, 466, 467,
474
467, 468, 469, 469, 470, 470, 470, 471, 471, 471,
475
471, 472, 473, 473, 474, 474, 475, 476, 477, 478,
476
477
478, 479, 480, 480, 480, 481, 481, 482, 483, 483,
478
484, 484, 486, 487, 488, 490, 490, 490, 490, 491,
479
491, 492, 492, 493, 493, 494, 494, 495, 496, 498,
480
499, 500, 500, 501, 502, 504, 505, 507, 507
477
481
} ;
478
482
479
483
static yyconst int yy_ec[256] =
517
521
4, 4, 4, 4, 4, 4, 4
518
522
} ;
519
523
520
static yyconst short int yy_base[947] =
521
{ 0,
522
0, 0, 47, 0, 2603, 2602, 78, 0, 83, 98,
523
2622, 2621, 140, 161, 108, 152, 183, 204, 193, 194,
524
234, 0, 2620, 2619, 224, 225, 269, 290, 312, 0,
525
81, 94, 115, 246, 351, 359, 2635, 2642, 94, 2642,
526
0, 2627, 2630, 105, 94, 2604, 2585, 2590, 65, 101,
527
2601, 2591, 141, 131, 163, 2590, 2585, 2593, 2617, 0,
528
369, 380, 392, 386, 387, 393, 398, 409, 410, 424,
529
425, 429, 436, 442, 443, 447, 459, 188, 2642, 2591,
530
2585, 2594, 0, 199, 0, 487, 2617, 2582, 158, 2578,
531
2580, 0, 144, 497, 2613, 2574, 2577, 2589, 2583, 2570,
532
533
2591, 2602, 2589, 2642, 2588, 2567, 180, 245, 2577, 2562,
534
2562, 2565, 0, 259, 507, 2598, 2593, 523, 2562, 2574,
535
2571, 2569, 292, 0, 0, 0, 2588, 2642, 2558, 2557,
536
2555, 2559, 112, 2565, 2547, 2551, 2545, 2544, 2560, 209,
537
2542, 2547, 255, 2545, 544, 2538, 2545, 2553, 2642, 2550,
538
2553, 2569, 0, 581, 589, 597, 607, 0, 548, 601,
539
602, 549, 607, 608, 621, 624, 625, 628, 637, 642,
540
648, 651, 654, 663, 666, 678, 679, 684, 697, 702,
541
685, 709, 706, 2535, 2538, 2537, 2534, 0, 306, 0,
542
0, 735, 745, 2535, 2528, 2528, 2528, 2530, 0, 411,
543
544
753, 761, 2525, 2529, 2529, 2537, 2534, 2642, 2554, 2521,
545
2517, 2520, 2531, 0, 412, 769, 777, 2549, 0, 0,
546
234, 2522, 2516, 2515, 2545, 2544, 2523, 2522, 2522, 2519,
547
402, 2510, 2502, 2516, 2508, 2514, 2509, 2495, 2515, 2501,
548
2506, 2508, 424, 2494, 408, 2502, 2496, 2491, 2489, 2502,
549
2498, 2488, 2642, 787, 0, 797, 805, 798, 799, 803,
550
810, 815, 822, 827, 839, 840, 845, 854, 828, 851,
551
857, 860, 869, 874, 880, 875, 881, 886, 898, 902,
552
905, 914, 920, 921, 925, 2485, 2499, 2489, 411, 955,
553
965, 2488, 2499, 2496, 2484, 2482, 975, 983, 2489, 2476,
554
555
2642, 2479, 2446, 2467, 2427, 2421, 2425, 993, 1001, 2448,
556
2420, 2413, 2418, 2642, 2642, 0, 2438, 2437, 2395, 2642,
557
2404, 2398, 2408, 2405, 2400, 2395, 449, 2642, 2382, 2382,
558
2375, 2377, 2365, 2363, 2642, 2355, 2363, 2642, 2353, 2340,
559
2339, 2341, 2342, 2341, 2323, 2315, 2339, 1009, 1017, 2335,
560
1010, 926, 1013, 1016, 1017, 1029, 1030, 1035, 1042, 1046,
561
1047, 1051, 1060, 1064, 1065, 1069, 1076, 1082, 2299, 1083,
562
1094, 1095, 1099, 1110, 1106, 1111, 1123, 1124, 1129, 1145,
563
2642, 2299, 2308, 2293, 2302, 1171, 1181, 1189, 2294, 2642,
564
2251, 2246, 2257, 1197, 1205, 1213, 2246, 2642, 2271, 2245,
565
566
0, 2247, 2232, 2225, 1221, 1229, 1237, 0, 2224, 2185,
567
2642, 2201, 2200, 2174, 2642, 2162, 2167, 2096, 2108, 2642,
568
2092, 2095, 2094, 2101, 2096, 2092, 2074, 2074, 2058, 2043,
569
2052, 2034, 2041, 2022, 2031, 2642, 2013, 2008, 540, 2039,
570
1136, 1140, 1230, 1231, 1234, 1141, 1237, 1246, 1249, 1250,
571
1253, 1267, 1268, 1279, 1273, 1285, 2016, 1284, 1296, 1297,
572
1308, 1309, 1313, 1314, 1320, 1326, 541, 2015, 2014, 1990,
573
1990, 1361, 2019, 1998, 1985, 2642, 1969, 1371, 2001, 1975,
574
1996, 1981, 1951, 1910, 1903, 1923, 1381, 1929, 1925, 1888,
575
1876, 0, 1900, 1877, 1868, 1873, 1861, 1849, 1857, 1853,
576
577
1852, 1836, 1834, 1822, 1820, 2642, 1817, 1812, 1818, 1814,
578
1818, 1815, 1813, 1799, 1786, 1793, 1786, 1782, 1332, 1374,
579
1378, 1331, 1379, 1383, 1390, 1394, 1395, 1399, 1406, 1411,
580
1415, 1418, 1781, 1422, 1427, 1431, 1436, 1445, 1448, 1452,
581
1457, 1788, 1782, 1769, 1770, 1764, 1768, 1734, 1491, 1501,
582
1722, 1727, 1727, 1509, 1517, 2642, 2642, 1701, 1725, 1685,
583
1687, 1525, 1533, 1660, 1642, 0, 1663, 1627, 1638, 2642,
584
1640, 1594, 1595, 1595, 1592, 1581, 2642, 1578, 1569, 1554,
585
1565, 1560, 1548, 1541, 1543, 1542, 1523, 2642, 1529, 1511,
586
1520, 1526, 1527, 1461, 1532, 1538, 1539, 1464, 1543, 1550,
587
588
1554, 1555, 1567, 1465, 1568, 1571, 1572, 1583, 1584, 1587,
589
1596, 1599, 1472, 1452, 1458, 1453, 2642, 1457, 1431, 1630,
590
1467, 2642, 1439, 1416, 1638, 1450, 1413, 0, 1414, 244,
591
1646, 1427, 1390, 1380, 0, 1389, 1374, 1372, 1369, 1364,
592
0, 2642, 1357, 1365, 1337, 1337, 1336, 2642, 1319, 2642,
593
1311, 1309, 2642, 1294, 1296, 1283, 1603, 1639, 1640, 1643,
594
1644, 1681, 1705, 1706, 1709, 1710, 1294, 1721, 1722, 1725,
595
1726, 1737, 1738, 1741, 1280, 1285, 1270, 1263, 1272, 2642,
596
1770, 1272, 1264, 1778, 2642, 1285, 1249, 2642, 2642, 1786,
597
1253, 1239, 2642, 2642, 1229, 1225, 1222, 2642, 1216, 2642,
598
599
1157, 2642, 1152, 1148, 1134, 1122, 2642, 1114, 1109, 1109,
600
1742, 1779, 1780, 1783, 1792, 1820, 1097, 1852, 1096, 1813,
601
1814, 1817, 1818, 1099, 1846, 1847, 1851, 1858, 1084, 1082,
602
1089, 2642, 1096, 0, 1067, 1068, 0, 2642, 1091, 0,
603
1059, 2642, 1050, 1045, 1045, 1035, 1024, 1029, 1020, 1017,
604
997, 1014, 1004, 1001, 1862, 1863, 1874, 447, 964, 1877,
605
1881, 955, 1886, 1895, 1892, 949, 931, 922, 899, 2642,
606
904, 2642, 2642, 906, 889, 891, 883, 907, 883, 893,
607
874, 858, 852, 832, 838, 1901, 1906, 1907, 149, 823,
608
1913, 1955, 821, 1918, 1979, 1980, 817, 804, 817, 815,
609
610
2642, 2642, 794, 797, 812, 811, 807, 781, 760, 719,
611
716, 2642, 707, 705, 1919, 1986, 1991, 491, 701, 1995,
612
2034, 2057, 2080, 2095, 0, 700, 2013, 1998, 2089, 0,
613
691, 684, 2642, 2642, 663, 662, 677, 676, 657, 663,
614
2642, 652, 636, 640, 2036, 2090, 450, 621, 2093, 2135,
615
2174, 2183, 619, 2039, 2094, 2177, 616, 601, 2642, 596,
616
587, 2642, 555, 556, 513, 2178, 446, 494, 2181, 0,
617
2215, 497, 2239, 2240, 477, 468, 435, 2642, 425, 2642,
618
590, 399, 2243, 0, 2244, 382, 0, 364, 360, 611,
619
341, 2255, 282, 2642, 282, 258, 0, 2258, 240, 2642,
620
621
0, 2642, 2292, 2301, 2310, 2319, 2324, 2328, 2334, 2340,
622
2349, 2358, 2367, 2376, 2381, 2388, 2397, 2402, 233, 2405,
623
2409, 2412, 2416, 2419, 2426, 2431, 2434, 2438, 2443, 2446,
624
220, 2449, 195, 160, 2452, 153, 2455, 120, 2462, 90,
625
2471, 2474, 2483, 2492, 2501, 2510
626
} ;
627
628
static yyconst short int yy_def[947] =
629
{ 0,
630
902, 1, 902, 3, 1, 1, 1, 7, 7, 7,
631
7, 7, 903, 903, 7, 7, 904, 904, 7, 7,
632
7, 21, 7, 7, 7, 7, 905, 905, 902, 29,
633
7, 7, 7, 7, 29, 29, 902, 902, 902, 902,
634
906, 907, 902, 902, 902, 902, 902, 902, 902, 902,
635
902, 902, 902, 902, 902, 902, 902, 902, 908, 909,
636
908, 910, 910, 63, 63, 63, 63, 63, 63, 63,
637
63, 63, 63, 63, 63, 63, 63, 902, 902, 902,
638
902, 902, 911, 911, 912, 911, 911, 902, 902, 902,
639
902, 913, 914, 913, 913, 902, 902, 902, 902, 902,
640
641
902, 915, 902, 902, 902, 902, 902, 902, 902, 902,
642
902, 902, 916, 917, 916, 916, 918, 902, 902, 902,
643
902, 902, 902, 906, 906, 919, 920, 902, 902, 902,
644
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
645
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
646
902, 908, 909, 921, 909, 61, 61, 922, 63, 63,
647
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
648
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
649
63, 63, 63, 902, 902, 902, 902, 911, 911, 912,
650
912, 911, 911, 902, 902, 902, 902, 902, 913, 914,
651
652
913, 94, 902, 902, 902, 902, 902, 902, 923, 902,
653
902, 902, 902, 916, 917, 916, 115, 924, 925, 118,
654
902, 902, 902, 902, 926, 927, 902, 902, 902, 902,
655
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
656
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
657
902, 902, 902, 921, 928, 921, 61, 63, 63, 63,
658
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
659
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
660
63, 63, 63, 63, 63, 902, 902, 902, 902, 911,
661
911, 902, 902, 902, 902, 902, 94, 94, 902, 902,
662
663
902, 902, 902, 929, 902, 902, 902, 115, 115, 930,
664
902, 902, 902, 902, 902, 931, 932, 927, 902, 902,
665
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
666
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
667
902, 902, 902, 902, 902, 902, 902, 928, 256, 257,
668
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
669
63, 63, 63, 63, 63, 63, 63, 63, 909, 63,
670
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
671
902, 902, 902, 902, 902, 911, 911, 911, 902, 902,
672
902, 902, 902, 913, 297, 913, 902, 902, 902, 902,
673
674
933, 902, 902, 902, 916, 308, 916, 934, 902, 902,
675
902, 935, 902, 902, 902, 902, 902, 902, 902, 902,
676
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
677
902, 902, 902, 902, 902, 902, 902, 902, 902, 254,
678
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
679
63, 63, 63, 63, 63, 63, 254, 63, 63, 63,
680
63, 63, 63, 63, 63, 63, 909, 902, 902, 902,
681
902, 911, 911, 902, 902, 902, 902, 913, 913, 902,
682
902, 902, 927, 902, 902, 902, 916, 916, 927, 902,
683
902, 936, 937, 902, 902, 902, 902, 902, 902, 902,
684
685
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
686
902, 902, 902, 902, 902, 902, 902, 902, 63, 63,
687
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
688
63, 63, 254, 63, 63, 63, 63, 63, 63, 63,
689
63, 254, 254, 254, 902, 902, 902, 902, 911, 911,
690
902, 902, 902, 913, 478, 902, 902, 902, 902, 902,
691
902, 916, 487, 902, 902, 938, 902, 902, 902, 902,
692
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
693
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
694
902, 63, 63, 63, 63, 63, 63, 63, 63, 63,
695
696
63, 63, 63, 254, 63, 63, 63, 63, 63, 63,
697
63, 63, 254, 254, 254, 902, 902, 902, 902, 911,
698
911, 902, 902, 902, 913, 913, 902, 939, 902, 902,
699
916, 916, 902, 902, 940, 902, 902, 902, 902, 902,
700
941, 902, 902, 902, 902, 902, 902, 902, 902, 902,
701
902, 902, 902, 902, 902, 902, 63, 63, 63, 63,
702
63, 902, 63, 63, 63, 63, 254, 63, 63, 63,
703
63, 63, 63, 63, 254, 254, 254, 902, 902, 902,
704
911, 902, 902, 913, 902, 902, 902, 902, 902, 916,
705
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
706
707
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
708
63, 63, 63, 63, 63, 257, 909, 716, 942, 63,
709
63, 63, 63, 254, 63, 63, 63, 63, 254, 254,
710
254, 902, 902, 911, 902, 902, 913, 902, 902, 916,
711
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
712
902, 902, 902, 902, 63, 63, 63, 716, 254, 63,
713
63, 254, 63, 63, 63, 254, 254, 254, 902, 902,
714
902, 902, 902, 902, 902, 902, 902, 943, 902, 902,
715
902, 902, 902, 902, 902, 63, 63, 63, 716, 254,
716
63, 902, 254, 63, 63, 63, 254, 254, 254, 902,
717
718
902, 902, 902, 902, 902, 943, 944, 902, 902, 902,
719
902, 902, 902, 902, 63, 63, 63, 716, 254, 63,
720
945, 946, 945, 944, 792, 254, 63, 63, 63, 254,
721
254, 254, 902, 902, 902, 902, 944, 944, 902, 902,
722
902, 902, 902, 902, 63, 63, 716, 254, 63, 902,
723
944, 944, 254, 63, 63, 63, 254, 254, 902, 902,
724
902, 902, 902, 902, 902, 63, 716, 254, 63, 850,
725
902, 254, 63, 63, 254, 254, 902, 902, 902, 902,
726
716, 254, 63, 254, 63, 254, 254, 902, 902, 716,
727
254, 63, 254, 902, 902, 716, 254, 63, 254, 902,
728
729
254, 0, 902, 902, 902, 902, 902, 902, 902, 902,
730
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
731
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
732
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
733
902, 902, 902, 902, 902, 902
734
} ;
735
736
static yyconst short int yy_nxt[2690] =
524
static yyconst short int yy_base[983] =
525
{ 0,
526
0, 0, 47, 0, 2649, 2648, 78, 0, 83, 98,
527
2668, 2667, 140, 161, 108, 152, 183, 204, 193, 194,
528
234, 0, 2666, 2665, 224, 225, 269, 290, 312, 0,
529
81, 94, 115, 246, 351, 359, 2681, 2688, 94, 2688,
530
0, 2673, 2676, 105, 191, 2650, 2631, 2636, 65, 96,
531
2647, 2637, 107, 131, 141, 2636, 2631, 2639, 2663, 0,
532
369, 380, 392, 386, 387, 114, 398, 403, 409, 420,
533
421, 425, 432, 438, 439, 443, 455, 388, 2688, 2637,
534
2631, 2640, 0, 185, 0, 483, 2663, 2628, 180, 2624,
535
2626, 0, 165, 493, 2659, 2620, 2623, 2635, 2629, 2616,
536
537
2637, 2648, 2635, 2688, 2634, 2613, 161, 245, 2623, 2608,
538
2608, 2611, 0, 259, 503, 2644, 2639, 519, 2608, 2620,
539
2617, 2615, 292, 0, 0, 0, 2634, 2688, 2604, 2603,
540
2601, 2605, 2604, 166, 2610, 2592, 2596, 2590, 2589, 2605,
541
209, 2587, 2592, 255, 2590, 540, 2583, 2590, 2598, 2688,
542
2595, 2598, 2614, 0, 577, 585, 593, 603, 0, 544,
543
597, 598, 545, 603, 604, 615, 620, 624, 629, 633,
544
642, 645, 648, 659, 654, 666, 671, 677, 683, 684,
545
696, 708, 689, 701, 712, 2580, 2583, 2582, 2579, 0,
546
306, 0, 0, 738, 748, 2580, 2573, 2573, 2573, 2575,
547
548
0, 412, 756, 764, 2570, 2574, 2574, 2582, 2579, 2688,
549
2599, 2566, 2562, 2565, 2576, 0, 434, 772, 780, 2594,
550
0, 0, 234, 2567, 2561, 2560, 2590, 2589, 2568, 2567,
551
2567, 2558, 2563, 396, 2554, 2546, 2560, 2552, 2558, 2553,
552
2539, 2559, 2545, 2550, 2552, 120, 2538, 439, 2546, 2540,
553
2535, 2533, 2546, 2542, 2532, 2688, 790, 0, 800, 808,
554
801, 802, 806, 807, 818, 813, 825, 830, 842, 843,
555
848, 857, 831, 854, 860, 863, 872, 877, 883, 878,
556
884, 889, 901, 905, 908, 917, 923, 924, 928, 2529,
557
2543, 2533, 487, 958, 968, 2532, 2543, 2540, 2528, 2526,
558
559
978, 986, 2539, 2534, 2688, 2545, 2520, 2552, 2520, 2517,
560
2523, 996, 1004, 2548, 2522, 2517, 2524, 2688, 2688, 0,
561
2544, 2543, 2504, 2688, 2515, 2520, 2510, 2521, 2520, 2515,
562
2512, 446, 2688, 2501, 2505, 2499, 2504, 2494, 2499, 2688,
563
2494, 2506, 2688, 2496, 2485, 2491, 2496, 2501, 2500, 2489,
564
2489, 2518, 1012, 1020, 2517, 1013, 929, 1016, 1019, 1020,
565
1031, 1035, 1036, 1042, 1047, 1051, 1054, 1058, 1065, 1069,
566
1070, 1081, 1082, 1086, 2482, 1093, 1098, 1099, 1105, 1110,
567
1111, 1123, 1130, 1129, 1136, 1142, 2688, 2476, 2479, 2457,
568
2461, 1168, 1178, 1186, 2449, 2688, 2431, 2424, 2433, 1194,
569
570
1202, 1210, 2420, 2688, 2443, 2416, 0, 2426, 2411, 2406,
571
1218, 1226, 1234, 0, 2402, 2407, 2688, 2430, 2428, 2400,
572
2688, 2424, 2386, 2389, 2378, 2392, 2688, 2373, 2375, 2367,
573
2371, 2370, 2366, 2348, 2355, 2350, 2333, 2346, 2326, 2327,
574
2305, 2321, 2688, 2306, 2301, 536, 2332, 1114, 1227, 1245,
575
1230, 1231, 1234, 1249, 1246, 1250, 1261, 1262, 1265, 1276,
576
1279, 1282, 1283, 1294, 2309, 1295, 1298, 1299, 1310, 1315,
577
1316, 1319, 1328, 1322, 537, 2305, 2299, 2250, 2251, 1359,
578
2281, 2261, 2250, 2688, 2244, 1369, 2266, 2240, 2259, 2244,
579
2214, 2167, 2164, 2186, 1379, 2200, 2199, 2106, 2101, 0,
580
581
2129, 2107, 2098, 2097, 2096, 2090, 2077, 2072, 2065, 2062,
582
2044, 2037, 2035, 2031, 2688, 2018, 2009, 2015, 2009, 2021,
583
2018, 2016, 1994, 1989, 1997, 1990, 1984, 1372, 1977, 1373,
584
1385, 1379, 1386, 1390, 1391, 1397, 1402, 1403, 1409, 1414,
585
1418, 1421, 1971, 1425, 1430, 1434, 1439, 1448, 1451, 1455,
586
1460, 1978, 1972, 1968, 1923, 1915, 1915, 1915, 1494, 1504,
587
1897, 1899, 1902, 1512, 1520, 2688, 2688, 1880, 1900, 1860,
588
1862, 1528, 1536, 1879, 1859, 0, 1887, 1850, 1856, 1851,
589
2688, 1851, 1833, 1825, 1827, 1826, 1816, 2688, 1823, 1814,
590
1803, 1814, 1809, 1805, 1789, 1790, 1799, 1783, 2688, 1799,
591
592
1781, 1790, 1529, 1788, 1530, 1464, 1535, 1541, 1542, 1467,
593
1546, 1553, 1557, 1558, 1570, 1767, 1571, 1574, 1575, 1586,
594
1587, 1590, 1599, 1602, 1784, 1766, 1739, 1733, 2688, 1740,
595
1707, 1633, 1732, 2688, 1710, 1693, 1641, 1727, 1659, 0,
596
1659, 244, 1649, 1666, 1630, 1624, 0, 1637, 1593, 1593,
597
1600, 1597, 1591, 0, 2688, 1574, 1591, 1559, 1568, 1571,
598
2688, 1546, 2688, 1546, 1544, 2688, 1527, 1530, 1513, 1606,
599
1510, 1642, 1643, 1646, 1647, 1684, 1708, 1709, 1712, 1713,
600
1523, 1724, 1725, 1728, 1729, 1740, 1741, 1744, 1467, 1462,
601
1453, 1446, 1458, 2688, 1773, 1460, 1449, 1781, 2688, 1468,
602
603
1426, 2688, 2688, 1789, 1435, 1424, 2688, 2688, 1412, 1408,
604
1398, 1395, 2688, 1376, 2688, 1370, 2688, 1375, 1372, 1361,
605
1350, 2688, 1337, 1327, 1332, 1745, 1329, 1782, 1783, 1786,
606
1795, 1823, 1318, 1855, 1317, 1816, 1817, 1820, 1821, 1329,
607
1849, 1850, 1854, 1861, 1305, 1301, 1304, 2688, 1296, 0,
608
1270, 1268, 0, 2688, 1280, 0, 1259, 2688, 1261, 1250,
609
1239, 1232, 1220, 1220, 1225, 1150, 1149, 1130, 1147, 1137,
610
1131, 1132, 1865, 1866, 1877, 410, 1119, 1880, 1884, 1113,
611
1889, 1898, 1895, 1116, 1096, 1092, 1070, 2688, 1075, 2688,
612
2688, 1074, 1080, 1054, 1058, 1042, 1063, 1041, 1038, 1024,
613
614
1020, 1004, 997, 1011, 1004, 1904, 1909, 1910, 583, 962,
615
1916, 1958, 950, 1921, 1982, 1983, 938, 922, 931, 916,
616
2688, 915, 2688, 889, 891, 907, 911, 910, 898, 885,
617
880, 872, 2688, 861, 849, 841, 1922, 1989, 1994, 600,
618
844, 1998, 2037, 2060, 2083, 2098, 0, 836, 2016, 2001,
619
2092, 0, 826, 826, 2688, 817, 2688, 802, 801, 810,
620
791, 763, 728, 2688, 708, 709, 713, 703, 2039, 2093,
621
601, 696, 2096, 2138, 2177, 2186, 702, 2042, 2097, 2180,
622
688, 691, 661, 2688, 667, 669, 2688, 660, 664, 654,
623
632, 2181, 448, 636, 2184, 0, 2218, 632, 2242, 2243,
624
625
627, 599, 576, 548, 2688, 550, 2688, 501, 622, 485,
626
2246, 0, 2247, 491, 0, 476, 455, 455, 449, 606,
627
432, 2258, 433, 414, 2688, 386, 372, 348, 0, 2261,
628
350, 270, 2688, 269, 0, 2688, 0, 2688, 2295, 2304,
629
2313, 2322, 2327, 2331, 2337, 2343, 2352, 2361, 2370, 2379,
630
2384, 2391, 2400, 2405, 291, 2408, 2412, 2415, 2419, 2422,
631
2429, 2434, 2437, 2441, 2446, 2449, 260, 2452, 233, 220,
632
2455, 201, 2458, 184, 2465, 90, 2474, 2477, 2486, 2495,
633
2504, 2513
634
} ;
635
636
static yyconst short int yy_def[983] =
637
{ 0,
638
938, 1, 938, 3, 1, 1, 1, 7, 7, 7,
639
7, 7, 939, 939, 7, 7, 940, 940, 7, 7,
640
7, 21, 7, 7, 7, 7, 941, 941, 938, 29,
641
7, 7, 7, 7, 29, 29, 938, 938, 938, 938,
642
942, 943, 938, 938, 938, 938, 938, 938, 938, 938,
643
938, 938, 938, 938, 938, 938, 938, 938, 944, 945,
644
944, 946, 946, 63, 63, 63, 63, 63, 63, 63,
645
63, 63, 63, 63, 63, 63, 63, 938, 938, 938,
646
938, 938, 947, 947, 948, 947, 947, 938, 938, 938,
647
938, 949, 950, 949, 949, 938, 938, 938, 938, 938,
648
649
938, 951, 938, 938, 938, 938, 938, 938, 938, 938,
650
938, 938, 952, 953, 952, 952, 954, 938, 938, 938,
651
938, 938, 938, 942, 942, 955, 956, 938, 938, 938,
652
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
653
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
654
938, 938, 944, 945, 957, 945, 61, 61, 958, 63,
655
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
656
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
657
63, 63, 63, 63, 63, 938, 938, 938, 938, 947,
658
947, 948, 948, 947, 947, 938, 938, 938, 938, 938,
659
660
949, 950, 949, 94, 938, 938, 938, 938, 938, 938,
661
959, 938, 938, 938, 938, 952, 953, 952, 115, 960,
662
961, 118, 938, 938, 938, 938, 962, 963, 938, 938,
663
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
664
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
665
938, 938, 938, 938, 938, 938, 957, 964, 957, 61,
666
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
667
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
668
63, 63, 63, 63, 63, 63, 63, 63, 63, 938,
669
938, 938, 938, 947, 947, 938, 938, 938, 938, 938,
670
671
94, 94, 938, 938, 938, 938, 938, 965, 938, 938,
672
938, 115, 115, 966, 938, 938, 938, 938, 938, 967,
673
968, 963, 938, 938, 938, 938, 938, 938, 938, 938,
674
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
675
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
676
938, 938, 964, 259, 260, 63, 63, 63, 63, 63,
677
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
678
63, 63, 63, 63, 945, 63, 63, 63, 63, 63,
679
63, 63, 63, 63, 63, 63, 938, 938, 938, 938,
680
938, 947, 947, 947, 938, 938, 938, 938, 938, 949,
681
682
301, 949, 938, 938, 938, 938, 969, 938, 938, 938,
683
952, 312, 952, 970, 938, 938, 938, 971, 938, 938,
684
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
685
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
686
938, 938, 938, 938, 938, 938, 257, 63, 63, 63,
687
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
688
63, 63, 63, 63, 257, 63, 63, 63, 63, 63,
689
63, 63, 63, 63, 945, 938, 938, 938, 938, 947,
690
947, 938, 938, 938, 938, 949, 949, 938, 938, 938,
691
963, 938, 938, 938, 952, 952, 963, 938, 938, 972,
692
693
973, 938, 938, 938, 938, 938, 938, 938, 938, 938,
694
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
695
938, 938, 938, 938, 938, 938, 938, 63, 945, 63,
696
63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
697
63, 63, 257, 63, 63, 63, 63, 63, 63, 63,
698
63, 257, 257, 257, 938, 938, 938, 938, 947, 947,
699
938, 938, 938, 949, 486, 938, 938, 938, 938, 938,
700
938, 952, 495, 938, 938, 974, 938, 938, 938, 938,
701
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
702
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
703
704
938, 938, 63, 257, 63, 63, 63, 63, 63, 63,
705
63, 63, 63, 63, 63, 257, 63, 63, 63, 63,
706
63, 63, 63, 63, 257, 257, 257, 938, 938, 938,
707
938, 947, 947, 938, 938, 938, 949, 949, 938, 975,
708
938, 938, 952, 952, 938, 938, 976, 938, 938, 938,
709
938, 938, 938, 977, 938, 938, 938, 938, 938, 938,
710
938, 938, 938, 938, 938, 938, 938, 938, 938, 63,
711
257, 63, 63, 63, 63, 938, 63, 63, 63, 63,
712
257, 63, 63, 63, 63, 63, 63, 63, 257, 257,
713
257, 938, 938, 938, 947, 938, 938, 949, 938, 938,
714
715
938, 938, 938, 952, 938, 938, 938, 938, 938, 938,
716
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
717
938, 938, 938, 938, 938, 63, 257, 63, 63, 63,
718
63, 260, 945, 732, 978, 63, 63, 63, 63, 257,
719
63, 63, 63, 63, 257, 257, 257, 938, 938, 947,
720
938, 938, 949, 938, 938, 952, 938, 938, 938, 938,
721
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
722
938, 257, 63, 63, 63, 732, 257, 63, 63, 257,
723
63, 63, 63, 257, 257, 257, 938, 938, 938, 938,
724
938, 938, 938, 938, 938, 938, 979, 938, 938, 938,
725
726
938, 938, 938, 938, 257, 63, 63, 63, 732, 257,
727
63, 938, 257, 63, 63, 63, 257, 257, 257, 938,
728
938, 938, 938, 938, 938, 938, 979, 980, 938, 938,
729
938, 938, 938, 938, 938, 257, 63, 63, 63, 732,
730
257, 63, 981, 982, 981, 980, 812, 257, 63, 63,
731
63, 257, 257, 257, 938, 938, 938, 938, 938, 980,
732
980, 938, 938, 938, 938, 938, 938, 257, 63, 63,
733
732, 257, 63, 938, 980, 980, 257, 63, 63, 63,
734
257, 257, 938, 938, 938, 938, 938, 938, 938, 938,
735
257, 63, 732, 257, 63, 874, 938, 257, 63, 63,
736
737
257, 257, 938, 938, 938, 938, 938, 257, 732, 257,
738
63, 257, 63, 257, 257, 938, 938, 938, 257, 732,
739
257, 63, 257, 938, 938, 938, 257, 732, 257, 63,
740
257, 938, 938, 257, 257, 938, 257, 0, 938, 938,
741
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
742
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
743
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
744
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
745
938, 938
746
} ;
747
748
static yyconst short int yy_nxt[2736] =
737
749
{ 0,
738
750
38, 39, 40, 38, 41, 38, 38, 38, 42, 42,
739
751
42, 42, 42, 42, 42, 42, 38, 38, 38, 38,
744
756
61, 61, 61, 38, 38, 38, 38, 62, 43, 38,
745
757
62, 63, 64, 65, 66, 67, 62, 62, 68, 62,
746
758
69, 70, 71, 62, 72, 62, 73, 74, 75, 76,
747
77, 62, 62, 62, 79, 123, 693, 38, 124, 38,
759
77, 62, 62, 62, 79, 123, 707, 38, 124, 38,
748
760
749
137, 138, 38, 38, 38, 38, 38, 80, 81, 38,
761
138, 139, 38, 38, 38, 38, 38, 80, 81, 38,
750
762
38, 38, 38, 38, 38, 38, 119, 38, 38, 38,
751
38, 38, 80, 81, 38, 82, 635, 132, 129, 119,
752
133, 38, 139, 88, 89, 90, 130, 140, 131, 91,
753
82, 84, 40, 120, 85, 125, 231, 232, 86, 86,
754
86, 86, 86, 86, 86, 86, 121, 122, 145, 566,
755
125, 87, 84, 40, 143, 85, 489, 146, 38, 86,
763
38, 38, 80, 81, 38, 82, 341, 140, 129, 119,
764
144, 38, 141, 88, 89, 90, 130, 160, 131, 91,
765
82, 84, 40, 120, 85, 160, 145, 160, 86, 86,
766
86, 86, 86, 86, 86, 86, 121, 122, 146, 169,
767
342, 87, 84, 40, 148, 85, 125, 147, 38, 86,
756
768
86, 86, 86, 86, 86, 86, 86, 88, 89, 90,
757
144, 195, 87, 91, 39, 40, 147, 93, 152, 196,
758
818, 94, 94, 94, 94, 94, 94, 94, 94, 38,
769
149, 125, 87, 91, 39, 40, 191, 93, 210, 192,
770
647, 94, 94, 94, 94, 94, 94, 94, 94, 38,
759
771
760
189, 483, 148, 190, 95, 39, 40, 208, 93, 38,
761
38, 143, 94, 94, 94, 94, 94, 94, 94, 94,
762
38, 208, 96, 96, 184, 95, 412, 144, 97, 97,
763
98, 98, 99, 99, 239, 100, 100, 101, 240, 225,
772
234, 235, 210, 197, 95, 39, 40, 576, 93, 38,
773
38, 198, 94, 94, 94, 94, 94, 94, 94, 94,
774
38, 132, 96, 96, 133, 95, 497, 134, 97, 97,
775
98, 98, 99, 99, 242, 100, 100, 101, 243, 491,
764
776
38, 38, 102, 102, 102, 102, 102, 102, 102, 102,
765
38, 103, 104, 105, 110, 110, 688, 689, 111, 111,
766
125, 106, 38, 107, 112, 112, 901, 108, 311, 109,
767
39, 40, 208, 114, 120, 125, 312, 115, 115, 115,
768
115, 115, 115, 115, 115, 38, 208, 121, 122, 243,
769
116, 39, 40, 123, 114, 244, 124, 152, 115, 115,
777
38, 103, 104, 105, 110, 110, 702, 703, 111, 111,
778
125, 106, 38, 107, 112, 112, 418, 108, 315, 109,
779
39, 40, 210, 114, 120, 125, 316, 115, 115, 115,
780
115, 115, 115, 115, 115, 38, 210, 121, 122, 246,
781
116, 39, 40, 123, 114, 247, 124, 227, 115, 115,
770
782
771
115, 115, 115, 115, 115, 115, 38, 189, 900, 899,
772
190, 116, 38, 39, 40, 38, 41, 38, 38, 38,
783
115, 115, 115, 115, 115, 115, 38, 191, 937, 936,
784
192, 116, 38, 39, 40, 38, 41, 38, 38, 38,
773
785
117, 117, 117, 117, 117, 117, 117, 117, 38, 38,
774
786
38, 38, 118, 43, 38, 118, 118, 118, 118, 118,
775
787
118, 118, 118, 118, 118, 118, 118, 118, 118, 118,
776
788
118, 118, 118, 118, 118, 118, 118, 118, 118, 42,
777
789
42, 42, 42, 42, 42, 42, 42, 42, 42, 42,
778
42, 42, 42, 42, 42, 155, 897, 156, 156, 156,
779
156, 156, 156, 156, 156, 152, 153, 895, 157, 157,
780
157, 157, 157, 157, 157, 157, 158, 152, 153, 894,
781
782
157, 157, 157, 157, 157, 157, 157, 157, 158, 159,
783
159, 893, 125, 125, 165, 160, 159, 159, 166, 163,
784
159, 159, 164, 161, 159, 162, 159, 125, 125, 159,
785
336, 159, 159, 159, 384, 891, 323, 168, 167, 324,
786
159, 171, 159, 159, 169, 170, 172, 159, 159, 339,
787
385, 173, 175, 340, 889, 159, 159, 159, 159, 159,
788
159, 174, 159, 177, 337, 179, 159, 159, 176, 159,
789
159, 888, 178, 159, 159, 159, 159, 881, 159, 181,
790
159, 180, 159, 789, 421, 152, 152, 182, 422, 152,
791
183, 867, 159, 192, 887, 193, 193, 193, 193, 193,
792
793
193, 193, 193, 201, 886, 202, 202, 202, 202, 202,
794
202, 202, 202, 216, 847, 217, 217, 217, 217, 217,
795
217, 217, 217, 219, 884, 882, 219, 219, 219, 219,
796
152, 219, 219, 219, 219, 219, 219, 219, 219, 880,
797
219, 219, 219, 220, 219, 219, 220, 220, 220, 220,
798
220, 220, 220, 220, 220, 220, 220, 220, 220, 220,
799
220, 220, 220, 220, 220, 220, 220, 220, 220, 220,
800
246, 159, 159, 516, 542, 517, 543, 518, 544, 159,
801
159, 159, 159, 879, 247, 260, 248, 255, 878, 154,
802
154, 154, 154, 154, 154, 154, 154, 256, 256, 256,
803
804
256, 256, 256, 256, 256, 257, 257, 257, 257, 257,
805
257, 257, 257, 153, 862, 157, 157, 157, 157, 157,
806
157, 157, 157, 158, 159, 159, 890, 877, 876, 152,
807
159, 159, 159, 159, 159, 159, 258, 259, 261, 159,
808
159, 159, 262, 263, 159, 264, 896, 159, 159, 875,
809
152, 159, 159, 872, 159, 159, 159, 159, 159, 159,
810
159, 159, 868, 265, 267, 159, 266, 865, 159, 864,
811
159, 159, 270, 159, 159, 159, 271, 159, 268, 159,
812
272, 159, 159, 269, 159, 159, 159, 159, 863, 159,
813
862, 861, 838, 838, 159, 273, 159, 159, 274, 159,
814
815
275, 159, 159, 860, 859, 278, 276, 159, 159, 159,
816
159, 159, 159, 858, 277, 159, 159, 159, 159, 279,
817
159, 280, 857, 853, 848, 159, 281, 283, 159, 285,
818
159, 282, 159, 159, 844, 159, 284, 159, 843, 159,
819
159, 842, 159, 290, 290, 290, 290, 290, 290, 290,
820
290, 192, 841, 291, 291, 291, 291, 291, 291, 291,
821
291, 297, 297, 297, 297, 297, 297, 297, 297, 298,
822
298, 298, 298, 298, 298, 298, 298, 308, 308, 308,
823
308, 308, 308, 308, 308, 309, 309, 309, 309, 309,
824
309, 309, 309, 255, 840, 154, 154, 154, 154, 154,
825
826
154, 154, 154, 348, 839, 349, 349, 349, 349, 349,
827
349, 349, 349, 350, 350, 350, 350, 350, 350, 350,
828
350, 159, 159, 838, 351, 352, 159, 807, 353, 159,
829
159, 159, 159, 159, 159, 836, 159, 354, 159, 835,
830
834, 159, 833, 159, 832, 159, 159, 831, 159, 355,
831
159, 159, 356, 159, 830, 159, 826, 357, 159, 363,
832
159, 159, 159, 159, 819, 814, 359, 360, 159, 358,
833
159, 159, 159, 159, 159, 813, 159, 159, 159, 361,
834
365, 362, 159, 159, 159, 159, 369, 159, 159, 812,
835
159, 159, 159, 159, 811, 364, 366, 159, 159, 367,
836
837
159, 368, 159, 159, 159, 159, 159, 159, 159, 159,
838
810, 159, 159, 159, 159, 371, 809, 374, 808, 159,
839
370, 159, 372, 807, 805, 159, 373, 804, 159, 159,
840
803, 159, 802, 159, 375, 159, 159, 159, 159, 801,
841
800, 378, 376, 159, 159, 159, 377, 159, 159, 159,
842
379, 159, 159, 159, 159, 799, 159, 159, 159, 159,
843
380, 386, 798, 387, 387, 387, 387, 387, 387, 387,
844
387, 192, 797, 388, 388, 388, 388, 388, 388, 388,
845
388, 394, 793, 395, 395, 395, 395, 395, 395, 395,
846
395, 396, 396, 396, 396, 396, 396, 396, 396, 405,
847
848
790, 406, 406, 406, 406, 406, 406, 406, 406, 407,
849
407, 407, 407, 407, 407, 407, 407, 412, 412, 412,
850
412, 412, 412, 412, 412, 440, 440, 440, 440, 440,
851
440, 440, 440, 159, 785, 784, 159, 783, 782, 159,
852
444, 159, 781, 159, 159, 442, 159, 159, 159, 159,
853
159, 443, 445, 159, 441, 780, 779, 446, 159, 778,
854
159, 159, 159, 159, 447, 159, 159, 448, 159, 159,
855
159, 777, 776, 159, 159, 159, 775, 159, 159, 159,
856
159, 449, 159, 159, 159, 450, 774, 159, 159, 773,
857
451, 159, 159, 159, 452, 159, 159, 159, 454, 159,
858
859
159, 772, 159, 453, 771, 159, 159, 159, 770, 159,
860
458, 455, 456, 159, 159, 159, 159, 159, 159, 769,
861
768, 767, 159, 766, 762, 159, 159, 159, 159, 159,
862
159, 459, 159, 159, 159, 746, 759, 159, 463, 462,
863
754, 159, 159, 159, 159, 460, 159, 159, 753, 461,
864
464, 467, 159, 752, 159, 159, 159, 159, 751, 159,
865
159, 465, 159, 159, 159, 466, 523, 519, 159, 159,
866
750, 159, 159, 159, 159, 749, 159, 748, 159, 472,
867
472, 472, 472, 472, 472, 472, 472, 386, 747, 473,
868
473, 473, 473, 473, 473, 473, 473, 388, 388, 388,
869
870
388, 388, 388, 388, 388, 478, 478, 478, 478, 478,
871
478, 478, 478, 479, 479, 479, 479, 479, 479, 479,
872
479, 396, 396, 396, 396, 396, 396, 396, 396, 487,
873
487, 487, 487, 487, 487, 487, 487, 488, 488, 488,
874
488, 488, 488, 488, 488, 407, 407, 407, 407, 407,
875
407, 407, 407, 159, 159, 746, 745, 159, 744, 743,
876
159, 159, 159, 159, 159, 159, 521, 159, 159, 159,
877
159, 520, 159, 159, 742, 522, 159, 159, 741, 159,
878
159, 159, 159, 159, 159, 526, 159, 524, 527, 525,
879
159, 529, 739, 738, 528, 736, 159, 735, 159, 159,
880
881
159, 159, 159, 733, 159, 530, 159, 159, 159, 732,
882
159, 532, 159, 731, 531, 159, 159, 159, 159, 159,
883
159, 535, 730, 534, 729, 724, 710, 159, 159, 159,
884
159, 159, 159, 709, 536, 537, 539, 159, 708, 159,
885
159, 159, 159, 159, 159, 159, 159, 159, 707, 159,
886
706, 159, 538, 159, 159, 159, 540, 159, 592, 159,
887
705, 704, 595, 159, 159, 159, 541, 549, 703, 550,
888
550, 550, 550, 550, 550, 550, 550, 554, 702, 555,
889
555, 555, 555, 555, 555, 555, 555, 562, 701, 563,
890
563, 563, 563, 563, 563, 563, 563, 159, 700, 698,
891
892
697, 159, 159, 696, 594, 159, 159, 159, 593, 159,
893
159, 159, 159, 159, 159, 695, 159, 598, 599, 694,
894
596, 597, 159, 159, 692, 159, 159, 159, 159, 159,
895
159, 691, 159, 562, 159, 600, 687, 159, 159, 159,
896
685, 159, 159, 601, 159, 159, 159, 602, 159, 159,
897
159, 159, 603, 159, 159, 159, 554, 683, 159, 159,
898
159, 608, 159, 606, 159, 605, 682, 159, 159, 159,
899
607, 159, 609, 549, 610, 159, 159, 680, 159, 159,
900
159, 159, 679, 159, 159, 159, 678, 159, 159, 677,
901
159, 611, 159, 676, 159, 159, 675, 662, 612, 620,
902
903
620, 620, 620, 620, 620, 620, 620, 549, 667, 621,
904
621, 621, 621, 621, 621, 621, 621, 625, 625, 625,
905
625, 625, 625, 625, 625, 626, 626, 626, 626, 626,
906
626, 626, 626, 631, 631, 631, 631, 631, 631, 631,
907
631, 632, 632, 632, 632, 632, 632, 632, 632, 159,
908
159, 656, 655, 654, 658, 159, 659, 159, 159, 159,
909
159, 159, 159, 159, 653, 159, 159, 657, 652, 159,
910
159, 159, 159, 159, 159, 661, 663, 159, 159, 660,
911
651, 159, 650, 159, 649, 159, 159, 159, 159, 665,
912
159, 159, 664, 648, 159, 159, 647, 646, 159, 668,
913
914
159, 159, 159, 159, 669, 159, 159, 159, 670, 666,
915
159, 645, 644, 673, 159, 159, 159, 159, 159, 159,
916
159, 672, 159, 643, 671, 642, 159, 159, 641, 159,
917
159, 640, 159, 711, 159, 639, 159, 674, 681, 681,
918
681, 681, 681, 681, 681, 681, 684, 684, 684, 684,
919
684, 684, 684, 684, 690, 690, 690, 690, 690, 690,
920
690, 690, 159, 159, 638, 637, 159, 159, 636, 492,
921
159, 713, 159, 159, 714, 159, 159, 159, 634, 715,
922
712, 699, 699, 633, 699, 699, 716, 717, 699, 718,
923
718, 718, 718, 718, 718, 718, 718, 719, 699, 699,
924
925
699, 720, 699, 699, 720, 720, 720, 720, 720, 720,
926
720, 720, 720, 720, 720, 720, 720, 720, 720, 720,
927
720, 720, 720, 720, 720, 720, 720, 720, 159, 159,
928
630, 629, 722, 159, 628, 627, 159, 159, 159, 159,
929
159, 159, 159, 159, 159, 159, 725, 721, 159, 159,
930
624, 723, 159, 159, 159, 159, 159, 159, 159, 159,
931
159, 159, 623, 622, 159, 159, 726, 619, 159, 159,
932
159, 159, 159, 159, 159, 159, 727, 728, 734, 734,
933
734, 734, 734, 734, 734, 734, 737, 737, 737, 737,
934
737, 737, 737, 737, 740, 740, 740, 740, 740, 740,
935
936
740, 740, 159, 159, 618, 617, 159, 616, 615, 755,
937
159, 159, 159, 756, 159, 159, 159, 757, 614, 613,
938
604, 591, 590, 159, 589, 159, 153, 588, 152, 152,
939
152, 152, 152, 152, 152, 152, 159, 159, 587, 586,
940
159, 159, 585, 584, 159, 159, 159, 159, 761, 159,
941
159, 159, 760, 583, 582, 581, 580, 579, 578, 758,
942
157, 157, 157, 157, 157, 157, 157, 157, 158, 159,
943
159, 577, 576, 763, 159, 575, 574, 159, 159, 159,
944
159, 159, 159, 764, 159, 159, 159, 765, 573, 159,
945
572, 159, 571, 159, 787, 159, 159, 159, 786, 570,
946
947
159, 788, 569, 568, 159, 159, 492, 159, 159, 159,
948
159, 565, 159, 791, 159, 159, 792, 159, 159, 159,
949
795, 794, 564, 159, 159, 159, 159, 815, 159, 159,
950
159, 902, 159, 796, 159, 405, 159, 159, 159, 159,
951
159, 827, 159, 817, 159, 561, 159, 816, 560, 159,
952
159, 159, 159, 559, 820, 806, 806, 902, 806, 806,
953
821, 822, 806, 823, 823, 823, 823, 823, 823, 823,
954
823, 824, 806, 806, 806, 825, 806, 806, 825, 825,
955
825, 825, 825, 825, 825, 825, 825, 825, 825, 825,
956
825, 825, 825, 825, 825, 825, 825, 825, 825, 825,
957
958
825, 825, 159, 159, 558, 557, 556, 394, 553, 159,
959
159, 159, 159, 159, 159, 828, 829, 159, 849, 159,
960
552, 159, 159, 551, 159, 386, 159, 548, 159, 159,
961
547, 855, 845, 846, 806, 806, 159, 806, 806, 546,
962
822, 806, 545, 533, 159, 348, 159, 854, 515, 514,
963
807, 806, 806, 806, 513, 806, 806, 806, 806, 159,
964
806, 806, 159, 806, 806, 512, 873, 159, 511, 159,
965
159, 510, 159, 807, 806, 806, 806, 509, 806, 806,
966
806, 806, 508, 806, 806, 507, 822, 806, 823, 823,
967
823, 823, 823, 823, 823, 823, 824, 806, 806, 806,
968
969
506, 806, 806, 851, 851, 851, 851, 851, 851, 851,
970
851, 852, 159, 159, 856, 505, 159, 159, 504, 503,
971
159, 159, 159, 159, 159, 159, 159, 159, 502, 501,
972
500, 866, 499, 498, 869, 806, 806, 497, 806, 806,
973
870, 871, 806, 850, 850, 850, 850, 850, 850, 850,
974
850, 807, 806, 806, 806, 870, 806, 806, 870, 870,
975
870, 870, 870, 870, 870, 870, 870, 870, 870, 870,
976
870, 870, 870, 870, 870, 870, 870, 870, 870, 870,
977
870, 870, 851, 851, 851, 851, 851, 851, 851, 851,
978
852, 851, 851, 851, 851, 851, 851, 851, 851, 852,
979
980
159, 159, 496, 495, 159, 494, 316, 492, 159, 159,
981
159, 159, 883, 874, 159, 806, 806, 491, 806, 806,
982
871, 871, 806, 806, 806, 806, 806, 806, 806, 806,
983
806, 807, 806, 806, 806, 871, 806, 806, 871, 871,
984
871, 871, 871, 871, 871, 871, 871, 871, 871, 871,
985
871, 871, 871, 871, 871, 871, 871, 871, 871, 871,
986
871, 871, 159, 159, 490, 486, 159, 159, 485, 484,
987
159, 159, 159, 885, 159, 159, 159, 159, 159, 892,
988
482, 159, 481, 480, 477, 476, 159, 475, 159, 159,
989
898, 159, 83, 83, 83, 83, 83, 83, 83, 83,
990
991
83, 92, 92, 92, 92, 92, 92, 92, 92, 92,
992
113, 113, 113, 113, 113, 113, 113, 113, 113, 125,
993
125, 474, 125, 125, 125, 125, 125, 125, 127, 471,
994
127, 152, 152, 470, 152, 469, 152, 154, 468, 457,
995
154, 153, 154, 159, 159, 439, 159, 159, 159, 188,
996
188, 438, 188, 188, 188, 188, 188, 188, 191, 191,
997
437, 191, 191, 191, 191, 191, 191, 199, 436, 435,
998
199, 199, 199, 199, 434, 199, 200, 200, 433, 200,
999
200, 200, 200, 200, 200, 209, 432, 209, 214, 431,
1000
430, 214, 214, 214, 214, 429, 214, 215, 215, 428,
1001
1002
215, 215, 215, 215, 215, 215, 218, 427, 218, 226,
1003
426, 226, 254, 254, 425, 254, 424, 254, 158, 158,
1004
304, 423, 304, 310, 420, 310, 219, 419, 418, 219,
1005
219, 417, 219, 416, 219, 317, 415, 317, 318, 414,
1006
318, 255, 255, 902, 316, 411, 255, 401, 410, 401,
1007
408, 409, 408, 413, 126, 413, 493, 404, 493, 567,
1008
403, 567, 686, 686, 402, 686, 686, 686, 686, 686,
1009
686, 699, 699, 126, 699, 699, 699, 699, 699, 699,
1010
158, 158, 158, 806, 806, 400, 806, 806, 806, 806,
1011
806, 806, 837, 837, 399, 837, 837, 837, 837, 837,
1012
1013
837, 821, 821, 398, 821, 821, 821, 821, 821, 821,
1014
850, 850, 397, 850, 850, 850, 850, 850, 850, 393,
1015
392, 391, 390, 389, 383, 382, 381, 347, 346, 345,
1016
344, 343, 342, 341, 338, 335, 334, 333, 332, 331,
1017
330, 329, 328, 327, 326, 325, 322, 321, 320, 319,
1018
126, 316, 315, 314, 313, 126, 307, 306, 305, 208,
1019
126, 303, 302, 301, 300, 299, 296, 295, 294, 293,
1020
292, 289, 288, 287, 286, 153, 253, 252, 251, 250,
1021
249, 245, 242, 241, 238, 237, 236, 235, 234, 233,
1022
230, 229, 228, 227, 126, 224, 223, 222, 221, 126,
1023
1024
128, 213, 212, 211, 210, 208, 208, 208, 126, 208,
1025
207, 206, 205, 204, 203, 128, 198, 197, 194, 128,
1026
187, 186, 185, 153, 151, 150, 149, 142, 141, 136,
1027
135, 134, 128, 126, 902, 38, 38, 38, 38, 78,
1028
78, 37, 902, 902, 902, 902, 902, 902, 902, 902,
1029
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
1030
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
1031
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
1032
902, 902, 902, 902, 902, 902, 902, 902, 902
790
42, 42, 42, 42, 42, 156, 935, 157, 157, 157,
791
157, 157, 157, 157, 157, 153, 154, 153, 158, 158,
792
158, 158, 158, 158, 158, 158, 159, 153, 154, 934,
793
794
158, 158, 158, 158, 158, 158, 158, 158, 159, 160,
795
160, 144, 933, 125, 167, 161, 164, 160, 168, 165,
796
160, 160, 166, 162, 186, 163, 160, 145, 125, 160,
797
328, 160, 160, 329, 160, 125, 160, 170, 171, 172,
798
173, 932, 160, 160, 160, 174, 809, 175, 177, 153,
799
125, 160, 160, 160, 160, 160, 160, 176, 160, 179,
800
931, 181, 160, 160, 178, 160, 160, 929, 180, 160,
801
160, 160, 160, 927, 160, 183, 160, 182, 160, 909,
802
344, 428, 926, 184, 345, 429, 185, 153, 160, 194,
803
925, 195, 195, 195, 195, 195, 195, 195, 195, 203,
804
805
924, 204, 204, 204, 204, 204, 204, 204, 204, 218,
806
390, 219, 219, 219, 219, 219, 219, 219, 219, 221,
807
923, 921, 221, 221, 221, 221, 391, 221, 221, 221,
808
221, 221, 221, 221, 221, 919, 221, 221, 221, 222,
809
221, 221, 222, 222, 222, 222, 222, 222, 222, 222,
810
222, 222, 222, 222, 222, 222, 222, 222, 222, 222,
811
222, 222, 222, 222, 222, 222, 249, 160, 160, 525,
812
552, 526, 553, 527, 554, 160, 160, 160, 160, 918,
813
250, 263, 251, 258, 917, 155, 155, 155, 155, 155,
814
155, 155, 155, 259, 259, 259, 259, 259, 259, 259,
815
816
259, 260, 260, 260, 260, 260, 260, 260, 260, 154,
817
916, 158, 158, 158, 158, 158, 158, 158, 158, 159,
818
160, 160, 153, 871, 840, 915, 160, 160, 160, 160,
819
160, 160, 261, 262, 264, 265, 160, 160, 160, 153,
820
153, 928, 893, 160, 268, 153, 160, 160, 160, 266,
821
267, 160, 160, 160, 914, 160, 160, 160, 920, 912,
822
160, 153, 160, 269, 160, 160, 160, 910, 160, 271,
823
270, 160, 274, 160, 908, 160, 160, 160, 160, 160,
824
907, 160, 160, 272, 275, 160, 273, 160, 276, 160,
825
160, 906, 160, 905, 160, 277, 887, 160, 904, 160,
826
827
160, 278, 160, 903, 160, 279, 160, 160, 160, 282,
828
160, 280, 160, 281, 160, 160, 160, 160, 902, 160,
829
160, 901, 160, 283, 160, 284, 285, 160, 288, 160,
830
286, 160, 160, 287, 160, 289, 898, 894, 891, 160,
831
890, 160, 889, 160, 888, 160, 294, 294, 294, 294,
832
294, 294, 294, 294, 194, 887, 295, 295, 295, 295,
833
295, 295, 295, 295, 301, 301, 301, 301, 301, 301,
834
301, 301, 302, 302, 302, 302, 302, 302, 302, 302,
835
312, 312, 312, 312, 312, 312, 312, 312, 313, 313,
836
313, 313, 313, 313, 313, 313, 258, 886, 155, 155,
837
838
155, 155, 155, 155, 155, 155, 353, 861, 354, 354,
839
354, 354, 354, 354, 354, 354, 355, 355, 355, 355,
840
355, 355, 355, 355, 160, 160, 861, 356, 357, 160,
841
160, 358, 160, 160, 160, 160, 160, 160, 160, 160,
842
359, 160, 885, 884, 160, 360, 160, 361, 160, 160,
843
362, 160, 883, 160, 160, 882, 160, 881, 160, 877,
844
363, 160, 369, 160, 160, 160, 160, 872, 868, 365,
845
366, 160, 364, 160, 160, 160, 160, 160, 867, 160,
846
160, 160, 367, 371, 368, 160, 160, 160, 160, 375,
847
160, 160, 866, 160, 160, 160, 160, 865, 370, 372,
848
849
160, 160, 373, 160, 374, 160, 160, 160, 160, 160,
850
160, 160, 160, 864, 160, 160, 160, 160, 377, 863,
851
380, 862, 160, 376, 160, 378, 861, 828, 160, 379,
852
859, 160, 160, 858, 160, 857, 160, 381, 160, 160,
853
160, 160, 856, 855, 384, 382, 160, 160, 160, 383,
854
160, 160, 160, 385, 160, 160, 160, 160, 854, 160,
855
160, 160, 160, 386, 392, 853, 393, 393, 393, 393,
856
393, 393, 393, 393, 194, 852, 394, 394, 394, 394,
857
394, 394, 394, 394, 400, 848, 401, 401, 401, 401,
858
401, 401, 401, 401, 402, 402, 402, 402, 402, 402,
859
860
402, 402, 411, 841, 412, 412, 412, 412, 412, 412,
861
412, 412, 413, 413, 413, 413, 413, 413, 413, 413,
862
418, 418, 418, 418, 418, 418, 418, 418, 447, 447,
863
447, 447, 447, 447, 447, 447, 160, 836, 835, 160,
864
834, 833, 160, 160, 160, 450, 160, 160, 449, 160,
865
160, 160, 160, 160, 452, 451, 832, 448, 453, 160,
866
831, 830, 160, 454, 160, 160, 160, 160, 160, 160,
867
160, 455, 456, 160, 160, 160, 829, 160, 160, 828,
868
160, 160, 160, 826, 160, 160, 457, 160, 160, 160,
869
458, 160, 160, 160, 825, 824, 160, 459, 160, 460,
870
871
160, 160, 160, 462, 160, 160, 823, 822, 461, 160,
872
821, 820, 160, 160, 160, 160, 160, 160, 464, 160,
873
466, 160, 160, 463, 160, 819, 160, 818, 160, 160,
874
160, 160, 160, 160, 160, 467, 160, 160, 160, 817,
875
813, 160, 160, 160, 470, 528, 160, 160, 475, 469,
876
471, 468, 160, 160, 160, 810, 160, 472, 805, 160,
877
160, 160, 160, 160, 804, 160, 473, 160, 803, 160,
878
802, 801, 474, 160, 800, 160, 480, 480, 480, 480,
879
480, 480, 480, 480, 392, 799, 481, 481, 481, 481,
880
481, 481, 481, 481, 394, 394, 394, 394, 394, 394,
881
882
394, 394, 486, 486, 486, 486, 486, 486, 486, 486,
883
487, 487, 487, 487, 487, 487, 487, 487, 402, 402,
884
402, 402, 402, 402, 402, 402, 495, 495, 495, 495,
885
495, 495, 495, 495, 496, 496, 496, 496, 496, 496,
886
496, 496, 413, 413, 413, 413, 413, 413, 413, 413,
887
160, 529, 798, 160, 160, 797, 796, 160, 160, 795,
888
160, 160, 160, 160, 160, 160, 531, 160, 160, 160,
889
794, 530, 160, 160, 533, 532, 160, 160, 160, 160,
890
160, 160, 160, 160, 160, 160, 793, 792, 160, 791,
891
790, 534, 160, 160, 160, 160, 160, 536, 160, 160,
892
893
537, 535, 539, 538, 789, 160, 160, 160, 540, 160,
894
160, 788, 160, 160, 160, 160, 160, 160, 160, 787,
895
542, 160, 160, 545, 541, 160, 160, 160, 160, 160,
896
160, 160, 160, 160, 544, 786, 546, 547, 160, 549,
897
785, 160, 160, 160, 784, 160, 160, 160, 160, 160,
898
160, 160, 160, 160, 780, 160, 763, 777, 548, 160,
899
772, 160, 551, 771, 550, 559, 770, 560, 560, 560,
900
560, 560, 560, 560, 560, 564, 769, 565, 565, 565,
901
565, 565, 565, 565, 565, 572, 768, 573, 573, 573,
902
573, 573, 573, 573, 573, 160, 160, 767, 603, 766,
903
904
765, 764, 160, 160, 160, 160, 160, 605, 160, 160,
905
607, 606, 160, 160, 160, 763, 160, 160, 160, 160,
906
610, 160, 609, 160, 160, 611, 160, 608, 160, 762,
907
160, 761, 160, 160, 160, 160, 160, 160, 760, 612,
908
160, 160, 160, 759, 160, 160, 613, 160, 160, 160,
909
614, 160, 160, 160, 160, 615, 160, 160, 160, 758,
910
757, 160, 160, 160, 620, 160, 618, 160, 617, 755,
911
160, 160, 160, 619, 160, 621, 754, 622, 160, 160,
912
752, 160, 160, 160, 160, 751, 160, 160, 160, 749,
913
160, 160, 748, 160, 623, 160, 747, 160, 160, 746,
914
915
676, 624, 632, 632, 632, 632, 632, 632, 632, 632,
916
559, 745, 633, 633, 633, 633, 633, 633, 633, 633,
917
637, 637, 637, 637, 637, 637, 637, 637, 638, 638,
918
638, 638, 638, 638, 638, 638, 643, 643, 643, 643,
919
643, 643, 643, 643, 644, 644, 644, 644, 644, 644,
920
644, 644, 160, 160, 740, 727, 725, 672, 160, 673,
921
160, 160, 160, 160, 160, 160, 160, 724, 160, 160,
922
670, 723, 160, 160, 160, 160, 160, 160, 675, 677,
923
160, 160, 674, 722, 160, 721, 160, 720, 160, 160,
924
160, 160, 679, 160, 160, 678, 719, 160, 160, 718,
925
926
717, 160, 682, 160, 160, 160, 160, 683, 160, 160,
927
160, 684, 680, 160, 716, 715, 687, 160, 160, 160,
928
160, 160, 160, 160, 686, 160, 713, 685, 712, 160,
929
160, 711, 160, 160, 710, 160, 726, 160, 709, 160,
930
688, 695, 695, 695, 695, 695, 695, 695, 695, 698,
931
698, 698, 698, 698, 698, 698, 698, 704, 704, 704,
932
704, 704, 704, 704, 704, 160, 160, 708, 706, 160,
933
160, 705, 572, 160, 729, 160, 160, 730, 160, 160,
934
160, 701, 731, 728, 714, 714, 699, 714, 714, 732,
935
733, 714, 734, 734, 734, 734, 734, 734, 734, 734,
936
937
735, 714, 714, 714, 736, 714, 714, 736, 736, 736,
938
736, 736, 736, 736, 736, 736, 736, 736, 736, 736,
939
736, 736, 736, 736, 736, 736, 736, 736, 736, 736,
940
736, 160, 160, 564, 697, 738, 160, 696, 559, 160,
941
160, 160, 160, 160, 160, 160, 160, 160, 160, 741,
942
737, 160, 160, 694, 739, 160, 160, 160, 160, 160,
943
160, 160, 160, 160, 160, 693, 692, 160, 160, 742,
944
691, 160, 160, 160, 160, 160, 160, 160, 160, 743,
945
744, 750, 750, 750, 750, 750, 750, 750, 750, 753,
946
753, 753, 753, 753, 753, 753, 753, 756, 756, 756,
947
948
756, 756, 756, 756, 756, 160, 160, 690, 689, 160,
949
681, 671, 773, 160, 160, 160, 774, 160, 160, 160,
950
775, 669, 668, 667, 666, 665, 160, 664, 160, 154,
951
663, 153, 153, 153, 153, 153, 153, 153, 153, 160,
952
160, 662, 661, 160, 160, 660, 659, 160, 160, 160,
953
160, 779, 160, 160, 160, 778, 658, 657, 656, 655,
954
654, 653, 776, 158, 158, 158, 158, 158, 158, 158,
955
158, 159, 160, 160, 652, 651, 781, 160, 650, 649,
956
160, 160, 160, 160, 160, 160, 782, 160, 160, 160,
957
783, 648, 160, 500, 160, 646, 160, 807, 160, 160,
958
959
160, 806, 645, 160, 808, 642, 641, 160, 160, 640,
960
160, 160, 160, 160, 639, 160, 811, 160, 160, 812,
961
160, 160, 160, 815, 814, 636, 160, 160, 160, 160,
962
837, 160, 160, 160, 635, 160, 816, 160, 634, 160,
963
160, 160, 160, 160, 849, 160, 839, 160, 631, 160,
964
838, 630, 160, 160, 160, 160, 629, 842, 827, 827,
965
628, 827, 827, 843, 844, 827, 845, 845, 845, 845,
966
845, 845, 845, 845, 846, 827, 827, 827, 847, 827,
967
827, 847, 847, 847, 847, 847, 847, 847, 847, 847,
968
847, 847, 847, 847, 847, 847, 847, 847, 847, 847,
969
970
847, 847, 847, 847, 847, 160, 160, 627, 626, 625,
971
616, 604, 160, 160, 160, 160, 160, 160, 850, 851,
972
160, 873, 160, 602, 160, 160, 601, 160, 600, 160,
973
599, 160, 160, 598, 879, 869, 870, 827, 827, 160,
974
827, 827, 597, 844, 827, 596, 595, 160, 594, 160,
975
878, 593, 592, 828, 827, 827, 827, 591, 827, 827,
976
827, 827, 160, 827, 827, 160, 827, 827, 590, 899,
977
160, 589, 160, 160, 588, 160, 828, 827, 827, 827,
978
587, 827, 827, 827, 827, 586, 827, 827, 585, 844,
979
827, 845, 845, 845, 845, 845, 845, 845, 845, 846,
980
981
827, 827, 827, 584, 827, 827, 875, 875, 875, 875,
982
875, 875, 875, 875, 876, 160, 160, 880, 583, 160,
983
160, 582, 581, 160, 160, 160, 160, 160, 160, 160,
984
160, 580, 579, 578, 892, 500, 575, 895, 827, 827,
985
574, 827, 827, 896, 897, 827, 874, 874, 874, 874,
986
874, 874, 874, 874, 828, 827, 827, 827, 896, 827,
987
827, 896, 896, 896, 896, 896, 896, 896, 896, 896,
988
896, 896, 896, 896, 896, 896, 896, 896, 896, 896,
989
896, 896, 896, 896, 896, 875, 875, 875, 875, 875,
990
875, 875, 875, 876, 875, 875, 875, 875, 875, 875,
991
992
875, 875, 876, 160, 160, 938, 411, 160, 571, 570,
993
569, 160, 160, 160, 160, 911, 900, 160, 827, 827,
994
938, 827, 827, 897, 897, 827, 827, 827, 827, 827,
995
827, 827, 827, 827, 828, 827, 827, 827, 897, 827,
996
827, 897, 897, 897, 897, 897, 897, 897, 897, 897,
997
897, 897, 897, 897, 897, 897, 897, 897, 897, 897,
998
897, 897, 897, 897, 897, 160, 160, 568, 567, 160,
999
160, 566, 400, 160, 160, 160, 913, 160, 160, 160,
1000
160, 160, 922, 563, 160, 562, 561, 392, 558, 160,
1001
557, 160, 160, 930, 160, 83, 83, 83, 83, 83,
1002
1003
83, 83, 83, 83, 92, 92, 92, 92, 92, 92,
1004
92, 92, 92, 113, 113, 113, 113, 113, 113, 113,
1005
113, 113, 125, 125, 556, 125, 125, 125, 125, 125,
1006
125, 127, 555, 127, 153, 153, 543, 153, 353, 153,
1007
155, 524, 523, 155, 522, 155, 160, 160, 521, 160,
1008
160, 160, 190, 190, 520, 190, 190, 190, 190, 190,
1009
190, 193, 193, 519, 193, 193, 193, 193, 193, 193,
1010
201, 518, 517, 201, 201, 201, 201, 516, 201, 202,
1011
202, 515, 202, 202, 202, 202, 202, 202, 211, 514,
1012
211, 216, 513, 512, 216, 216, 216, 216, 511, 216,
1013
1014
217, 217, 510, 217, 217, 217, 217, 217, 217, 220,
1015
509, 220, 228, 508, 228, 257, 257, 507, 257, 506,
1016
257, 159, 159, 308, 505, 308, 314, 504, 314, 221,
1017
503, 502, 221, 221, 320, 221, 500, 221, 321, 499,
1018
321, 322, 498, 322, 258, 258, 494, 493, 492, 258,
1019
407, 490, 407, 414, 489, 414, 419, 488, 419, 501,
1020
485, 501, 577, 484, 577, 700, 700, 483, 700, 700,
1021
700, 700, 700, 700, 714, 714, 482, 714, 714, 714,
1022
714, 714, 714, 159, 159, 159, 827, 827, 479, 827,
1023
827, 827, 827, 827, 827, 860, 860, 478, 860, 860,
1024
1025
860, 860, 860, 860, 843, 843, 477, 843, 843, 843,
1026
843, 843, 843, 874, 874, 476, 874, 874, 874, 874,
1027
874, 874, 465, 154, 446, 445, 444, 443, 442, 441,
1028
440, 439, 438, 437, 436, 435, 434, 433, 432, 431,
1029
430, 427, 426, 425, 424, 423, 422, 421, 420, 938,
1030
320, 417, 416, 415, 126, 410, 409, 408, 126, 406,
1031
405, 404, 403, 399, 398, 397, 396, 395, 389, 388,
1032
387, 352, 351, 350, 349, 348, 347, 346, 343, 340,
1033
339, 338, 337, 336, 335, 334, 333, 332, 331, 330,
1034
327, 326, 325, 324, 323, 126, 320, 319, 318, 317,
1035
1036
126, 311, 310, 309, 210, 126, 307, 306, 305, 304,
1037
303, 300, 299, 298, 297, 296, 293, 292, 291, 290,
1038
154, 256, 255, 254, 253, 252, 248, 245, 244, 241,
1039
240, 239, 238, 237, 236, 233, 232, 231, 230, 229,
1040
126, 226, 225, 224, 223, 126, 128, 215, 214, 213,
1041
212, 210, 210, 210, 126, 210, 209, 208, 207, 206,
1042
205, 128, 200, 199, 196, 128, 189, 188, 187, 154,
1043
152, 151, 150, 143, 142, 137, 136, 135, 128, 126,
1044
938, 38, 38, 38, 38, 78, 78, 37, 938, 938,
1045
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1046
1047
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1048
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1049
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1050
938, 938, 938, 938, 938
1033
1051
} ;
1034
1052
1035
static yyconst short int yy_chk[2690] =
1053
static yyconst short int yy_chk[2736] =
1036
1054
{ 0,
1037
1055
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1038
1056
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1043
1061
3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
1044
1062
3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
1045
1063
3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
1046
3, 3, 3, 3, 7, 39, 940, 31, 39, 9,
1064
3, 3, 3, 3, 7, 39, 976, 31, 39, 9,
1047
1065
1048
1066
49, 49, 7, 7, 7, 7, 7, 9, 9, 7,
1049
1067
32, 7, 7, 7, 10, 7, 31, 7, 7, 7,
1050
7, 7, 10, 10, 15, 9, 938, 45, 44, 32,
1051
45, 33, 50, 15, 15, 15, 44, 50, 44, 15,
1052
10, 13, 13, 33, 13, 93, 133, 133, 13, 13,
1053
13, 13, 13, 13, 13, 13, 33, 33, 54, 936,
1054
93, 13, 14, 14, 53, 14, 934, 54, 16, 14,
1068
7, 7, 10, 10, 15, 9, 246, 50, 44, 32,
1069
53, 33, 50, 15, 15, 15, 44, 66, 44, 15,
1070
10, 13, 13, 33, 13, 66, 53, 66, 13, 13,
1071
13, 13, 13, 13, 13, 13, 33, 33, 54, 66,
1072
246, 13, 14, 14, 55, 14, 93, 54, 16, 14,
1055
1073
14, 14, 14, 14, 14, 14, 14, 16, 16, 16,
1056
53, 89, 14, 16, 17, 17, 55, 17, 789, 89,
1057
789, 17, 17, 17, 17, 17, 17, 17, 17, 17,
1074
55, 93, 14, 16, 17, 17, 84, 17, 107, 84,
1075
974, 17, 17, 17, 17, 17, 17, 17, 17, 17,
1058
1076
1059
84, 933, 55, 84, 17, 18, 18, 107, 18, 19,
1060
20, 78, 18, 18, 18, 18, 18, 18, 18, 18,
1061
18, 107, 19, 20, 78, 18, 931, 78, 19, 20,
1062
19, 20, 19, 20, 140, 19, 20, 21, 140, 919,
1077
134, 134, 107, 89, 17, 18, 18, 972, 18, 19,
1078
20, 89, 18, 18, 18, 18, 18, 18, 18, 18,
1079
18, 45, 19, 20, 45, 18, 970, 45, 19, 20,
1080
19, 20, 19, 20, 141, 19, 20, 21, 141, 969,
1063
1081
25, 26, 21, 21, 21, 21, 21, 21, 21, 21,
1064
21, 21, 21, 21, 25, 26, 630, 630, 25, 26,
1065
114, 21, 34, 21, 25, 26, 899, 21, 221, 21,
1066
27, 27, 108, 27, 34, 114, 221, 27, 27, 27,
1067
27, 27, 27, 27, 27, 27, 108, 34, 34, 143,
1068
27, 28, 28, 123, 28, 143, 123, 896, 28, 28,
1082
21, 21, 21, 21, 25, 26, 642, 642, 25, 26,
1083
114, 21, 34, 21, 25, 26, 967, 21, 223, 21,
1084
27, 27, 108, 27, 34, 114, 223, 27, 27, 27,
1085
27, 27, 27, 27, 27, 27, 108, 34, 34, 144,
1086
27, 28, 28, 123, 28, 144, 123, 955, 28, 28,
1069
1087
1070
28, 28, 28, 28, 28, 28, 28, 189, 895, 893,
1071
189, 28, 29, 29, 29, 29, 29, 29, 29, 29,
1088
28, 28, 28, 28, 28, 28, 28, 191, 934, 932,
1089
191, 28, 29, 29, 29, 29, 29, 29, 29, 29,
1072
1090
29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
1073
1091
29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
1074
1092
29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
1075
1093
29, 29, 29, 29, 29, 29, 29, 29, 29, 35,
1076
1094
35, 35, 35, 35, 35, 35, 35, 36, 36, 36,
1077
36, 36, 36, 36, 36, 61, 891, 61, 61, 61,
1078
61, 61, 61, 61, 61, 62, 62, 889, 62, 62,
1079
62, 62, 62, 62, 62, 62, 62, 63, 63, 888,
1095
36, 36, 36, 36, 36, 61, 931, 61, 61, 61,
1096
61, 61, 61, 61, 61, 62, 62, 928, 62, 62,
1097
62, 62, 62, 62, 62, 62, 62, 63, 63, 927,
1080
1098
1081
1099
63, 63, 63, 63, 63, 63, 63, 63, 63, 64,
1082
65, 886, 200, 215, 65, 63, 66, 64, 65, 64,
1083
65, 67, 64, 63, 66, 63, 66, 200, 215, 67,
1084
243, 67, 68, 69, 289, 882, 231, 67, 66, 231,
1085
68, 69, 68, 69, 68, 68, 69, 70, 71, 245,
1086
289, 70, 72, 245, 879, 70, 71, 70, 71, 73,
1087
72, 71, 72, 73, 243, 74, 75, 73, 72, 73,
1088
76, 877, 73, 74, 75, 74, 75, 867, 76, 75,
1089
76, 74, 77, 758, 327, 867, 758, 76, 327, 847,
1090
77, 847, 77, 86, 876, 86, 86, 86, 86, 86,
1091
1092
86, 86, 86, 94, 875, 94, 94, 94, 94, 94,
1093
94, 94, 94, 115, 818, 115, 115, 115, 115, 115,
1094
115, 115, 115, 118, 872, 868, 118, 118, 118, 118,
1095
818, 118, 118, 118, 118, 118, 118, 118, 118, 865,
1096
118, 118, 118, 118, 118, 118, 118, 118, 118, 118,
1097
118, 118, 118, 118, 118, 118, 118, 118, 118, 118,
1098
118, 118, 118, 118, 118, 118, 118, 118, 118, 118,
1099
145, 159, 162, 439, 467, 439, 467, 439, 467, 159,
1100
162, 159, 162, 864, 145, 162, 145, 154, 863, 154,
1101
154, 154, 154, 154, 154, 154, 154, 155, 155, 155,
1102
1103
155, 155, 155, 155, 155, 156, 156, 156, 156, 156,
1104
156, 156, 156, 157, 861, 157, 157, 157, 157, 157,
1105
157, 157, 157, 157, 160, 161, 881, 860, 858, 881,
1106
163, 164, 160, 161, 160, 161, 160, 161, 163, 164,
1107
163, 164, 164, 164, 165, 165, 890, 166, 167, 857,
1108
890, 168, 165, 853, 165, 166, 167, 166, 167, 168,
1109
169, 168, 848, 166, 168, 170, 167, 844, 169, 843,
1110
169, 171, 171, 170, 172, 170, 172, 173, 169, 171,
1111
172, 171, 172, 170, 172, 173, 174, 173, 842, 175,
1112
840, 839, 838, 837, 174, 173, 174, 175, 174, 175,
1113
1114
175, 176, 177, 836, 835, 177, 175, 178, 181, 176,
1115
177, 176, 177, 832, 176, 178, 181, 178, 181, 177,
1116
179, 177, 831, 826, 819, 180, 178, 180, 179, 183,
1117
179, 179, 182, 180, 814, 180, 182, 183, 813, 183,
1118
182, 811, 182, 192, 192, 192, 192, 192, 192, 192,
1119
192, 193, 810, 193, 193, 193, 193, 193, 193, 193,
1120
193, 201, 201, 201, 201, 201, 201, 201, 201, 202,
1121
202, 202, 202, 202, 202, 202, 202, 216, 216, 216,
1122
216, 216, 216, 216, 216, 217, 217, 217, 217, 217,
1123
217, 217, 217, 254, 809, 254, 254, 254, 254, 254,
1124
1125
254, 254, 254, 256, 808, 256, 256, 256, 256, 256,
1126
256, 256, 256, 257, 257, 257, 257, 257, 257, 257,
1127
257, 258, 259, 807, 258, 259, 260, 806, 260, 258,
1128
259, 258, 259, 261, 260, 805, 260, 261, 262, 804,
1129
803, 261, 800, 261, 799, 263, 262, 798, 262, 262,
1130
264, 269, 262, 263, 797, 263, 793, 263, 264, 269,
1131
264, 269, 265, 266, 790, 785, 265, 266, 267, 264,
1132
265, 266, 265, 266, 270, 784, 267, 268, 267, 267,
1133
271, 268, 270, 272, 270, 268, 275, 268, 271, 783,
1134
271, 272, 273, 272, 782, 270, 272, 274, 276, 273,
1135
1136
273, 274, 273, 275, 277, 274, 276, 274, 276, 278,
1137
781, 275, 277, 275, 277, 276, 780, 278, 779, 278,
1138
275, 279, 277, 778, 777, 280, 277, 776, 281, 279,
1139
775, 279, 774, 280, 279, 280, 281, 282, 281, 771,
1140
769, 282, 280, 283, 284, 282, 281, 282, 285, 352,
1141
283, 283, 284, 283, 284, 768, 285, 352, 285, 352,
1142
284, 290, 767, 290, 290, 290, 290, 290, 290, 290,
1143
290, 291, 766, 291, 291, 291, 291, 291, 291, 291,
1144
291, 297, 762, 297, 297, 297, 297, 297, 297, 297,
1145
297, 298, 298, 298, 298, 298, 298, 298, 298, 308,
1146
1147
759, 308, 308, 308, 308, 308, 308, 308, 308, 309,
1148
309, 309, 309, 309, 309, 309, 309, 348, 348, 348,
1149
348, 348, 348, 348, 348, 349, 349, 349, 349, 349,
1150
349, 349, 349, 351, 754, 753, 353, 752, 751, 354,
1151
355, 351, 750, 351, 353, 353, 353, 354, 355, 354,
1152
355, 354, 356, 357, 351, 749, 748, 357, 358, 747,
1153
356, 357, 356, 357, 358, 359, 358, 359, 358, 360,
1154
361, 746, 745, 359, 362, 359, 744, 360, 361, 360,
1155
361, 360, 362, 363, 362, 360, 743, 364, 365, 741,
1156
362, 363, 366, 363, 363, 364, 365, 364, 365, 367,
1157
1158
366, 739, 366, 364, 736, 368, 370, 367, 735, 367,
1159
370, 366, 367, 368, 370, 368, 370, 371, 372, 733,
1160
731, 730, 373, 729, 724, 371, 372, 371, 372, 375,
1161
373, 372, 373, 374, 376, 719, 717, 375, 376, 375,
1162
710, 374, 376, 374, 376, 373, 377, 378, 709, 374,
1163
377, 380, 379, 708, 377, 378, 377, 378, 706, 441,
1164
379, 378, 379, 442, 446, 379, 446, 441, 380, 441,
1165
705, 442, 446, 442, 446, 704, 380, 703, 380, 386,
1166
386, 386, 386, 386, 386, 386, 386, 387, 701, 387,
1167
387, 387, 387, 387, 387, 387, 387, 388, 388, 388,
1168
1169
388, 388, 388, 388, 388, 394, 394, 394, 394, 394,
1170
394, 394, 394, 395, 395, 395, 395, 395, 395, 395,
1171
395, 396, 396, 396, 396, 396, 396, 396, 396, 405,
1172
405, 405, 405, 405, 405, 405, 405, 406, 406, 406,
1173
406, 406, 406, 406, 406, 407, 407, 407, 407, 407,
1174
407, 407, 407, 443, 444, 699, 697, 445, 696, 695,
1175
447, 443, 444, 443, 444, 445, 444, 445, 447, 448,
1176
447, 443, 449, 450, 692, 445, 451, 448, 691, 448,
1177
449, 450, 449, 450, 451, 450, 451, 448, 451, 449,
1178
452, 453, 687, 686, 452, 683, 455, 682, 452, 453,
1179
1180
452, 453, 454, 679, 455, 454, 455, 458, 456, 678,
1181
454, 456, 454, 677, 455, 458, 456, 458, 456, 459,
1182
460, 459, 676, 458, 675, 667, 656, 459, 460, 459,
1183
460, 461, 462, 655, 460, 461, 463, 464, 654, 461,
1184
462, 461, 462, 465, 463, 464, 463, 464, 652, 466,
1185
651, 465, 462, 465, 522, 519, 465, 466, 519, 466,
1186
649, 647, 522, 519, 522, 519, 466, 472, 646, 472,
1187
472, 472, 472, 472, 472, 472, 472, 478, 645, 478,
1188
478, 478, 478, 478, 478, 478, 478, 487, 644, 487,
1189
487, 487, 487, 487, 487, 487, 487, 520, 643, 640,
1190
1191
639, 521, 523, 638, 521, 520, 524, 520, 520, 521,
1192
523, 521, 523, 525, 524, 637, 524, 526, 527, 636,
1193
523, 525, 528, 525, 634, 526, 527, 526, 527, 529,
1194
528, 633, 528, 632, 530, 528, 629, 529, 531, 529,
1195
627, 532, 530, 529, 530, 534, 531, 530, 531, 532,
1196
535, 532, 531, 534, 536, 534, 626, 624, 535, 537,
1197
535, 537, 536, 535, 536, 534, 623, 537, 538, 537,
1198
536, 539, 538, 621, 539, 540, 538, 619, 538, 539,
1199
541, 539, 618, 540, 594, 540, 616, 598, 541, 615,
1200
541, 540, 594, 614, 594, 598, 613, 598, 541, 549,
1201
1202
549, 549, 549, 549, 549, 549, 549, 550, 604, 550,
1203
550, 550, 550, 550, 550, 550, 550, 554, 554, 554,
1204
554, 554, 554, 554, 554, 555, 555, 555, 555, 555,
1205
555, 555, 555, 562, 562, 562, 562, 562, 562, 562,
1206
562, 563, 563, 563, 563, 563, 563, 563, 563, 592,
1207
593, 591, 590, 589, 593, 595, 595, 592, 593, 592,
1208
593, 596, 597, 595, 587, 595, 599, 592, 586, 596,
1209
597, 596, 597, 600, 599, 597, 599, 601, 602, 596,
1210
585, 600, 584, 600, 583, 601, 602, 601, 602, 602,
1211
603, 605, 600, 582, 606, 607, 581, 580, 603, 605,
1212
1213
603, 605, 606, 607, 606, 607, 608, 609, 607, 603,
1214
610, 579, 578, 610, 608, 609, 608, 609, 610, 611,
1215
610, 609, 612, 576, 608, 575, 657, 611, 574, 611,
1216
612, 573, 612, 657, 657, 572, 657, 611, 620, 620,
1217
620, 620, 620, 620, 620, 620, 625, 625, 625, 625,
1218
625, 625, 625, 625, 631, 631, 631, 631, 631, 631,
1219
631, 631, 658, 659, 571, 569, 660, 661, 568, 567,
1220
658, 659, 658, 659, 660, 661, 660, 661, 565, 661,
1221
658, 662, 662, 564, 662, 662, 662, 662, 662, 662,
1222
662, 662, 662, 662, 662, 662, 662, 662, 662, 662,
1223
1224
662, 662, 662, 662, 662, 662, 662, 662, 662, 662,
1225
662, 662, 662, 662, 662, 662, 662, 662, 662, 662,
1226
662, 662, 662, 662, 662, 662, 662, 662, 663, 664,
1227
561, 560, 665, 666, 559, 558, 663, 664, 663, 664,
1228
665, 666, 665, 666, 668, 669, 668, 664, 670, 671,
1229
553, 666, 668, 669, 668, 669, 670, 671, 670, 671,
1230
672, 673, 552, 551, 674, 711, 670, 548, 672, 673,
1231
672, 673, 674, 711, 674, 711, 672, 673, 681, 681,
1232
681, 681, 681, 681, 681, 681, 684, 684, 684, 684,
1233
684, 684, 684, 684, 690, 690, 690, 690, 690, 690,
1234
1235
690, 690, 712, 713, 547, 546, 714, 545, 544, 712,
1236
712, 713, 712, 713, 714, 715, 714, 714, 543, 542,
1237
533, 518, 517, 715, 516, 715, 716, 515, 716, 716,
1238
716, 716, 716, 716, 716, 716, 720, 721, 514, 513,
1239
722, 723, 512, 511, 720, 721, 720, 721, 722, 723,
1240
722, 723, 720, 510, 509, 508, 507, 505, 504, 716,
1241
718, 718, 718, 718, 718, 718, 718, 718, 718, 725,
1242
726, 503, 502, 725, 727, 501, 500, 725, 726, 725,
1243
726, 728, 727, 726, 727, 755, 756, 727, 499, 728,
1244
498, 728, 497, 755, 756, 755, 756, 757, 755, 496,
1245
1246
760, 757, 495, 494, 761, 757, 493, 757, 760, 763,
1247
760, 491, 761, 760, 761, 765, 761, 763, 764, 763,
1248
764, 763, 490, 765, 786, 765, 764, 786, 764, 787,
1249
788, 489, 786, 765, 786, 488, 791, 787, 788, 787,
1250
788, 794, 815, 788, 791, 486, 791, 787, 485, 794,
1251
815, 794, 815, 484, 791, 792, 792, 483, 792, 792,
1252
792, 792, 792, 792, 792, 792, 792, 792, 792, 792,
1253
792, 792, 792, 792, 792, 792, 792, 792, 792, 792,
1254
792, 792, 792, 792, 792, 792, 792, 792, 792, 792,
1255
792, 792, 792, 792, 792, 792, 792, 792, 792, 792,
1256
1257
792, 792, 795, 796, 482, 481, 480, 479, 477, 816,
1258
795, 796, 795, 796, 817, 795, 796, 816, 820, 816,
1259
475, 828, 817, 474, 817, 473, 820, 471, 820, 828,
1260
470, 828, 816, 817, 821, 821, 827, 821, 821, 469,
1261
821, 821, 468, 457, 827, 440, 827, 827, 438, 437,
1262
821, 821, 821, 821, 435, 821, 821, 822, 822, 845,
1263
822, 822, 854, 822, 822, 434, 854, 845, 433, 845,
1264
854, 432, 854, 822, 822, 822, 822, 431, 822, 822,
1265
823, 823, 430, 823, 823, 429, 823, 823, 823, 823,
1266
823, 823, 823, 823, 823, 823, 823, 823, 823, 823,
1267
1268
428, 823, 823, 824, 824, 824, 824, 824, 824, 824,
1269
824, 824, 829, 846, 829, 427, 849, 855, 426, 425,
1270
829, 846, 829, 846, 849, 855, 849, 855, 424, 423,
1271
422, 846, 421, 419, 849, 850, 850, 418, 850, 850,
1272
850, 850, 850, 850, 850, 850, 850, 850, 850, 850,
1273
850, 850, 850, 850, 850, 850, 850, 850, 850, 850,
1274
850, 850, 850, 850, 850, 850, 850, 850, 850, 850,
1275
850, 850, 850, 850, 850, 850, 850, 850, 850, 850,
1276
850, 850, 851, 851, 851, 851, 851, 851, 851, 851,
1277
851, 852, 852, 852, 852, 852, 852, 852, 852, 852,
1278
1279
856, 866, 417, 416, 869, 414, 413, 412, 856, 866,
1280
856, 866, 869, 856, 869, 871, 871, 410, 871, 871,
1281
871, 871, 871, 871, 871, 871, 871, 871, 871, 871,
1282
871, 871, 871, 871, 871, 871, 871, 871, 871, 871,
1283
871, 871, 871, 871, 871, 871, 871, 871, 871, 871,
1284
871, 871, 871, 871, 871, 871, 871, 871, 871, 871,
1285
871, 871, 873, 874, 409, 404, 883, 885, 403, 402,
1286
873, 874, 873, 874, 883, 885, 883, 885, 892, 883,
1287
400, 898, 399, 397, 393, 392, 892, 391, 892, 898,
1288
892, 898, 903, 903, 903, 903, 903, 903, 903, 903,
1289
1290
903, 904, 904, 904, 904, 904, 904, 904, 904, 904,
1291
905, 905, 905, 905, 905, 905, 905, 905, 905, 906,
1292
906, 389, 906, 906, 906, 906, 906, 906, 907, 385,
1293
907, 908, 908, 384, 908, 383, 908, 909, 382, 369,
1294
909, 350, 909, 910, 910, 347, 910, 910, 910, 911,
1295
911, 346, 911, 911, 911, 911, 911, 911, 912, 912,
1296
345, 912, 912, 912, 912, 912, 912, 913, 344, 343,
1297
913, 913, 913, 913, 342, 913, 914, 914, 341, 914,
1298
914, 914, 914, 914, 914, 915, 340, 915, 916, 339,
1299
337, 916, 916, 916, 916, 336, 916, 917, 917, 334,
1300
1301
917, 917, 917, 917, 917, 917, 918, 333, 918, 920,
1302
332, 920, 921, 921, 331, 921, 330, 921, 922, 922,
1303
923, 329, 923, 924, 326, 924, 925, 325, 324, 925,
1304
925, 323, 925, 322, 925, 926, 321, 926, 927, 319,
1305
927, 928, 928, 318, 317, 313, 928, 929, 312, 929,
1306
930, 311, 930, 932, 310, 932, 935, 307, 935, 937,
1307
306, 937, 939, 939, 305, 939, 939, 939, 939, 939,
1308
939, 941, 941, 304, 941, 941, 941, 941, 941, 941,
1309
942, 942, 942, 943, 943, 303, 943, 943, 943, 943,
1310
943, 943, 944, 944, 302, 944, 944, 944, 944, 944,
1311
1312
944, 945, 945, 300, 945, 945, 945, 945, 945, 945,
1313
946, 946, 299, 946, 946, 946, 946, 946, 946, 296,
1314
295, 294, 293, 292, 288, 287, 286, 252, 251, 250,
1315
249, 248, 247, 246, 244, 242, 241, 240, 239, 238,
1316
237, 236, 235, 234, 233, 232, 230, 229, 228, 227,
1317
226, 225, 224, 223, 222, 218, 213, 212, 211, 210,
1318
209, 207, 206, 205, 204, 203, 198, 197, 196, 195,
1319
194, 187, 186, 185, 184, 152, 151, 150, 148, 147,
1320
146, 144, 142, 141, 139, 138, 137, 136, 135, 134,
1321
132, 131, 130, 129, 127, 122, 121, 120, 119, 117,
1322
1323
116, 112, 111, 110, 109, 106, 105, 103, 102, 101,
1324
100, 99, 98, 97, 96, 95, 91, 90, 88, 87,
1325
82, 81, 80, 59, 58, 57, 56, 52, 51, 48,
1326
47, 46, 43, 42, 37, 24, 23, 12, 11, 6,
1327
5, 902, 902, 902, 902, 902, 902, 902, 902, 902,
1328
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
1329
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
1330
902, 902, 902, 902, 902, 902, 902, 902, 902, 902,
1331
902, 902, 902, 902, 902, 902, 902, 902, 902
1100
65, 78, 926, 202, 65, 63, 64, 64, 65, 64,
1101
65, 67, 64, 63, 78, 63, 68, 78, 202, 67,
1102
234, 67, 69, 234, 68, 217, 68, 67, 68, 68,
1103
69, 924, 69, 70, 71, 69, 776, 70, 72, 776,
1104
217, 70, 71, 70, 71, 73, 72, 71, 72, 73,
1105
923, 74, 75, 73, 72, 73, 76, 921, 73, 74,
1106
75, 74, 75, 919, 76, 75, 76, 74, 77, 893,
1107
248, 332, 918, 76, 248, 332, 77, 893, 77, 86,
1108
917, 86, 86, 86, 86, 86, 86, 86, 86, 94,
1109
1110
916, 94, 94, 94, 94, 94, 94, 94, 94, 115,
1111
293, 115, 115, 115, 115, 115, 115, 115, 115, 118,
1112
914, 910, 118, 118, 118, 118, 293, 118, 118, 118,
1113
118, 118, 118, 118, 118, 908, 118, 118, 118, 118,
1114
118, 118, 118, 118, 118, 118, 118, 118, 118, 118,
1115
118, 118, 118, 118, 118, 118, 118, 118, 118, 118,
1116
118, 118, 118, 118, 118, 118, 146, 160, 163, 446,
1117
475, 446, 475, 446, 475, 160, 163, 160, 163, 906,
1118
146, 163, 146, 155, 904, 155, 155, 155, 155, 155,
1119
155, 155, 155, 156, 156, 156, 156, 156, 156, 156,
1120
1121
156, 157, 157, 157, 157, 157, 157, 157, 157, 158,
1122
903, 158, 158, 158, 158, 158, 158, 158, 158, 158,
1123
161, 162, 809, 840, 809, 902, 164, 165, 161, 162,
1124
161, 162, 161, 162, 164, 165, 164, 165, 166, 840,
1125
871, 920, 871, 167, 167, 920, 166, 168, 166, 166,
1126
166, 167, 169, 167, 901, 168, 170, 168, 909, 898,
1127
169, 909, 169, 168, 170, 171, 170, 894, 172, 170,
1128
169, 173, 173, 171, 891, 171, 172, 175, 172, 173,
1129
890, 173, 174, 171, 174, 175, 172, 175, 174, 176,
1130
174, 889, 174, 888, 177, 175, 886, 176, 885, 176,
1131
1132
178, 176, 177, 883, 177, 177, 179, 180, 178, 179,
1133
178, 177, 183, 178, 179, 180, 179, 180, 882, 181,
1134
183, 881, 183, 179, 184, 179, 180, 181, 184, 181,
1135
181, 182, 184, 182, 184, 185, 877, 872, 868, 182,
1136
867, 182, 866, 185, 865, 185, 194, 194, 194, 194,
1137
194, 194, 194, 194, 195, 863, 195, 195, 195, 195,
1138
195, 195, 195, 195, 203, 203, 203, 203, 203, 203,
1139
203, 203, 204, 204, 204, 204, 204, 204, 204, 204,
1140
218, 218, 218, 218, 218, 218, 218, 218, 219, 219,
1141
219, 219, 219, 219, 219, 219, 257, 862, 257, 257,
1142
1143
257, 257, 257, 257, 257, 257, 259, 861, 259, 259,
1144
259, 259, 259, 259, 259, 259, 260, 260, 260, 260,
1145
260, 260, 260, 260, 261, 262, 860, 261, 262, 263,
1146
264, 263, 261, 262, 261, 262, 266, 263, 264, 263,
1147
264, 265, 859, 858, 266, 265, 266, 266, 267, 265,
1148
266, 265, 856, 268, 273, 854, 267, 853, 267, 848,
1149
267, 268, 273, 268, 273, 269, 270, 841, 836, 269,
1150
270, 271, 268, 269, 270, 269, 270, 274, 835, 271,
1151
272, 271, 271, 275, 272, 274, 276, 274, 272, 279,
1152
272, 275, 834, 275, 276, 277, 276, 832, 274, 276,
1153
1154
278, 280, 277, 277, 278, 277, 279, 281, 278, 280,
1155
278, 280, 282, 831, 279, 281, 279, 281, 280, 830,
1156
282, 829, 282, 279, 283, 281, 828, 827, 284, 281,
1157
826, 285, 283, 825, 283, 824, 284, 283, 284, 285,
1158
286, 285, 822, 820, 286, 284, 287, 288, 286, 285,
1159
286, 289, 357, 287, 287, 288, 287, 288, 819, 289,
1160
357, 289, 357, 288, 294, 818, 294, 294, 294, 294,
1161
294, 294, 294, 294, 295, 817, 295, 295, 295, 295,
1162
295, 295, 295, 295, 301, 813, 301, 301, 301, 301,
1163
301, 301, 301, 301, 302, 302, 302, 302, 302, 302,
1164
1165
302, 302, 312, 810, 312, 312, 312, 312, 312, 312,
1166
312, 312, 313, 313, 313, 313, 313, 313, 313, 313,
1167
353, 353, 353, 353, 353, 353, 353, 353, 354, 354,
1168
354, 354, 354, 354, 354, 354, 356, 805, 804, 358,
1169
803, 802, 359, 360, 356, 359, 356, 358, 358, 358,
1170
359, 360, 359, 360, 361, 360, 801, 356, 362, 363,
1171
800, 799, 361, 363, 361, 364, 362, 363, 362, 363,
1172
365, 364, 365, 364, 366, 364, 798, 367, 365, 797,
1173
365, 368, 366, 796, 366, 367, 366, 367, 369, 368,
1174
366, 368, 370, 371, 795, 794, 369, 368, 369, 369,
1175
1176
370, 371, 370, 371, 372, 373, 793, 792, 370, 374,
1177
789, 787, 372, 373, 372, 373, 376, 374, 373, 374,
1178
376, 377, 378, 372, 376, 786, 376, 785, 379, 377,
1179
378, 377, 378, 380, 381, 378, 379, 448, 379, 784,
1180
780, 380, 381, 380, 381, 448, 382, 448, 386, 380,
1181
382, 379, 384, 383, 382, 777, 382, 383, 772, 385,
1182
384, 383, 384, 383, 771, 386, 384, 385, 770, 385,
1183
769, 768, 385, 386, 767, 386, 392, 392, 392, 392,
1184
392, 392, 392, 392, 393, 766, 393, 393, 393, 393,
1185
393, 393, 393, 393, 394, 394, 394, 394, 394, 394,
1186
1187
394, 394, 400, 400, 400, 400, 400, 400, 400, 400,
1188
401, 401, 401, 401, 401, 401, 401, 401, 402, 402,
1189
402, 402, 402, 402, 402, 402, 411, 411, 411, 411,
1190
411, 411, 411, 411, 412, 412, 412, 412, 412, 412,
1191
412, 412, 413, 413, 413, 413, 413, 413, 413, 413,
1192
449, 450, 765, 451, 452, 764, 763, 453, 449, 762,
1193
449, 451, 452, 451, 452, 453, 452, 453, 450, 455,
1194
761, 451, 454, 456, 454, 453, 450, 455, 450, 455,
1195
454, 456, 454, 456, 457, 458, 760, 759, 459, 757,
1196
755, 456, 457, 458, 457, 458, 459, 458, 459, 460,
1197
1198
459, 457, 461, 460, 752, 462, 463, 460, 462, 460,
1199
461, 751, 461, 462, 463, 462, 463, 464, 466, 749,
1200
464, 467, 468, 467, 463, 464, 466, 464, 466, 467,
1201
468, 467, 468, 469, 466, 747, 468, 469, 470, 471,
1202
746, 469, 472, 469, 745, 474, 470, 471, 470, 471,
1203
472, 473, 472, 474, 740, 474, 735, 733, 470, 473,
1204
727, 473, 474, 725, 473, 480, 724, 480, 480, 480,
1205
480, 480, 480, 480, 480, 486, 723, 486, 486, 486,
1206
486, 486, 486, 486, 486, 495, 721, 495, 495, 495,
1207
495, 495, 495, 495, 495, 528, 530, 720, 528, 719,
1208
1209
718, 716, 532, 528, 530, 528, 530, 530, 531, 533,
1210
532, 531, 532, 534, 535, 714, 531, 533, 531, 533,
1211
536, 534, 535, 534, 535, 537, 538, 533, 536, 712,
1212
536, 711, 539, 537, 538, 537, 538, 540, 710, 538,
1213
539, 541, 539, 709, 542, 540, 539, 540, 544, 541,
1214
540, 541, 542, 545, 542, 541, 544, 546, 544, 706,
1215
705, 545, 547, 545, 547, 546, 545, 546, 544, 701,
1216
547, 548, 547, 546, 549, 548, 700, 549, 550, 548,
1217
697, 548, 549, 551, 549, 696, 550, 606, 550, 693,
1218
610, 551, 692, 551, 550, 606, 691, 606, 610, 690,
1219
1220
610, 551, 559, 559, 559, 559, 559, 559, 559, 559,
1221
560, 689, 560, 560, 560, 560, 560, 560, 560, 560,
1222
564, 564, 564, 564, 564, 564, 564, 564, 565, 565,
1223
565, 565, 565, 565, 565, 565, 572, 572, 572, 572,
1224
572, 572, 572, 572, 573, 573, 573, 573, 573, 573,
1225
573, 573, 603, 605, 681, 671, 669, 605, 607, 607,
1226
603, 605, 603, 605, 608, 609, 607, 668, 607, 611,
1227
603, 667, 608, 609, 608, 609, 612, 611, 609, 611,
1228
613, 614, 608, 665, 612, 664, 612, 662, 613, 614,
1229
613, 614, 614, 615, 617, 612, 660, 618, 619, 659,
1230
1231
658, 615, 617, 615, 617, 618, 619, 618, 619, 620,
1232
621, 619, 615, 622, 657, 656, 622, 620, 621, 620,
1233
621, 622, 623, 622, 621, 624, 653, 620, 652, 670,
1234
623, 651, 623, 624, 650, 624, 670, 670, 649, 670,
1235
623, 632, 632, 632, 632, 632, 632, 632, 632, 637,
1236
637, 637, 637, 637, 637, 637, 637, 643, 643, 643,
1237
643, 643, 643, 643, 643, 672, 673, 648, 646, 674,
1238
675, 645, 644, 672, 673, 672, 673, 674, 675, 674,
1239
675, 641, 675, 672, 676, 676, 639, 676, 676, 676,
1240
676, 676, 676, 676, 676, 676, 676, 676, 676, 676,
1241
1242
676, 676, 676, 676, 676, 676, 676, 676, 676, 676,
1243
676, 676, 676, 676, 676, 676, 676, 676, 676, 676,
1244
676, 676, 676, 676, 676, 676, 676, 676, 676, 676,
1245
676, 677, 678, 638, 636, 679, 680, 635, 633, 677,
1246
678, 677, 678, 679, 680, 679, 680, 682, 683, 682,
1247
678, 684, 685, 631, 680, 682, 683, 682, 683, 684,
1248
685, 684, 685, 686, 687, 630, 628, 688, 726, 684,
1249
627, 686, 687, 686, 687, 688, 726, 688, 726, 686,
1250
687, 695, 695, 695, 695, 695, 695, 695, 695, 698,
1251
698, 698, 698, 698, 698, 698, 698, 704, 704, 704,
1252
1253
704, 704, 704, 704, 704, 728, 729, 626, 625, 730,
1254
616, 604, 728, 728, 729, 728, 729, 730, 731, 730,
1255
730, 602, 601, 600, 598, 597, 731, 596, 731, 732,
1256
595, 732, 732, 732, 732, 732, 732, 732, 732, 736,
1257
737, 594, 593, 738, 739, 592, 591, 736, 737, 736,
1258
737, 738, 739, 738, 739, 736, 590, 589, 587, 586,
1259
585, 584, 732, 734, 734, 734, 734, 734, 734, 734,
1260
734, 734, 741, 742, 583, 582, 741, 743, 580, 579,
1261
741, 742, 741, 742, 744, 743, 742, 743, 773, 774,
1262
743, 578, 744, 577, 744, 575, 773, 774, 773, 774,
1263
1264
775, 773, 574, 778, 775, 571, 570, 779, 775, 569,
1265
775, 778, 781, 778, 568, 779, 778, 779, 783, 779,
1266
781, 782, 781, 782, 781, 563, 783, 806, 783, 782,
1267
806, 782, 807, 808, 562, 806, 783, 806, 561, 811,
1268
807, 808, 807, 808, 814, 837, 808, 811, 558, 811,
1269
807, 557, 814, 837, 814, 837, 556, 811, 812, 812,
1270
555, 812, 812, 812, 812, 812, 812, 812, 812, 812,
1271
812, 812, 812, 812, 812, 812, 812, 812, 812, 812,
1272
812, 812, 812, 812, 812, 812, 812, 812, 812, 812,
1273
812, 812, 812, 812, 812, 812, 812, 812, 812, 812,
1274
1275
812, 812, 812, 812, 812, 815, 816, 554, 553, 552,
1276
543, 529, 838, 815, 816, 815, 816, 839, 815, 816,
1277
838, 842, 838, 527, 850, 839, 526, 839, 525, 842,
1278
524, 842, 850, 523, 850, 838, 839, 843, 843, 849,
1279
843, 843, 522, 843, 843, 521, 520, 849, 519, 849,
1280
849, 518, 517, 843, 843, 843, 843, 516, 843, 843,
1281
844, 844, 869, 844, 844, 878, 844, 844, 514, 878,
1282
869, 513, 869, 878, 512, 878, 844, 844, 844, 844,
1283
511, 844, 844, 845, 845, 510, 845, 845, 509, 845,
1284
845, 845, 845, 845, 845, 845, 845, 845, 845, 845,
1285
1286
845, 845, 845, 508, 845, 845, 846, 846, 846, 846,
1287
846, 846, 846, 846, 846, 851, 870, 851, 507, 873,
1288
879, 506, 505, 851, 870, 851, 870, 873, 879, 873,
1289
879, 504, 503, 502, 870, 501, 499, 873, 874, 874,
1290
498, 874, 874, 874, 874, 874, 874, 874, 874, 874,
1291
874, 874, 874, 874, 874, 874, 874, 874, 874, 874,
1292
874, 874, 874, 874, 874, 874, 874, 874, 874, 874,
1293
874, 874, 874, 874, 874, 874, 874, 874, 874, 874,
1294
874, 874, 874, 874, 874, 875, 875, 875, 875, 875,
1295
875, 875, 875, 875, 876, 876, 876, 876, 876, 876,
1296
1297
876, 876, 876, 880, 892, 497, 496, 895, 494, 493,
1298
492, 880, 892, 880, 892, 895, 880, 895, 897, 897,
1299
491, 897, 897, 897, 897, 897, 897, 897, 897, 897,
1300
897, 897, 897, 897, 897, 897, 897, 897, 897, 897,
1301
897, 897, 897, 897, 897, 897, 897, 897, 897, 897,
1302
897, 897, 897, 897, 897, 897, 897, 897, 897, 897,
1303
897, 897, 897, 897, 897, 899, 900, 490, 489, 911,
1304
913, 488, 487, 899, 900, 899, 900, 911, 913, 911,
1305
913, 922, 911, 485, 930, 483, 482, 481, 479, 922,
1306
478, 922, 930, 922, 930, 939, 939, 939, 939, 939,
1307
1308
939, 939, 939, 939, 940, 940, 940, 940, 940, 940,
1309
940, 940, 940, 941, 941, 941, 941, 941, 941, 941,
1310
941, 941, 942, 942, 477, 942, 942, 942, 942, 942,
1311
942, 943, 476, 943, 944, 944, 465, 944, 447, 944,
1312
945, 445, 444, 945, 442, 945, 946, 946, 441, 946,
1313
946, 946, 947, 947, 440, 947, 947, 947, 947, 947,
1314
947, 948, 948, 439, 948, 948, 948, 948, 948, 948,
1315
949, 438, 437, 949, 949, 949, 949, 436, 949, 950,
1316
950, 435, 950, 950, 950, 950, 950, 950, 951, 434,
1317
951, 952, 433, 432, 952, 952, 952, 952, 431, 952,
1318
1319
953, 953, 430, 953, 953, 953, 953, 953, 953, 954,
1320
429, 954, 956, 428, 956, 957, 957, 426, 957, 425,
1321
957, 958, 958, 959, 424, 959, 960, 423, 960, 961,
1322
422, 420, 961, 961, 419, 961, 418, 961, 962, 416,
1323
962, 963, 415, 963, 964, 964, 410, 409, 408, 964,
1324
965, 406, 965, 966, 405, 966, 968, 403, 968, 971,
1325
399, 971, 973, 398, 973, 975, 975, 397, 975, 975,
1326
975, 975, 975, 975, 977, 977, 395, 977, 977, 977,
1327
977, 977, 977, 978, 978, 978, 979, 979, 391, 979,
1328
979, 979, 979, 979, 979, 980, 980, 390, 980, 980,
1329
1330
980, 980, 980, 980, 981, 981, 389, 981, 981, 981,
1331
981, 981, 981, 982, 982, 388, 982, 982, 982, 982,
1332
982, 982, 375, 355, 352, 351, 350, 349, 348, 347,
1333
346, 345, 344, 342, 341, 339, 338, 337, 336, 335,
1334
334, 331, 330, 329, 328, 327, 326, 325, 323, 322,
1335
321, 317, 316, 315, 314, 311, 310, 309, 308, 307,
1336
306, 304, 303, 300, 299, 298, 297, 296, 292, 291,
1337
290, 255, 254, 253, 252, 251, 250, 249, 247, 245,
1338
244, 243, 242, 241, 240, 239, 238, 237, 236, 235,
1339
233, 232, 231, 230, 229, 228, 227, 226, 225, 224,
1340
1341
220, 215, 214, 213, 212, 211, 209, 208, 207, 206,
1342
205, 200, 199, 198, 197, 196, 189, 188, 187, 186,
1343
153, 152, 151, 149, 148, 147, 145, 143, 142, 140,
1344
139, 138, 137, 136, 135, 133, 132, 131, 130, 129,
1345
127, 122, 121, 120, 119, 117, 116, 112, 111, 110,
1346
109, 106, 105, 103, 102, 101, 100, 99, 98, 97,
1347
96, 95, 91, 90, 88, 87, 82, 81, 80, 59,
1348
58, 57, 56, 52, 51, 48, 47, 46, 43, 42,
1349
37, 24, 23, 12, 11, 6, 5, 938, 938, 938,
1350
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1351
1352
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1353
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1354
938, 938, 938, 938, 938, 938, 938, 938, 938, 938,
1355
938, 938, 938, 938, 938
1332
1356
} ;
1333
1357
1334
1358
static yy_state_type yy_state_buf[YY_BUF_SIZE + 2], *yy_state_ptr;
1400
1424
extern const int socks_configtype;
1401
1425
1402
1426
static const char rcsid[] =
1403
"$Id: config_scan.l,v 1.69 2002/01/01 15:59:55 michaels Exp $";
1427
"$Id: config_scan.l,v 1.70 2002/03/25 10:33:15 michaels Exp $";
1404
1428
1405
1429
/*%option debug */
1406
1430
/* non-exclusive startconditions. */
1439
1463
1440
1464
#define start_servicename 17
1441
1465
1442
#line 1443 "lex.yy.c"
1466
#line 1467 "lex.yy.c"
1443
1467
1444
1468
/* Macros after this point can all be overridden by user definitions in
1445
1469
* section 1.
1620
1644
/* start-condition dependent stuff. */
1621
1645
1622
1646
1623
#line 1624 "lex.yy.c"
1647
#line 1648 "lex.yy.c"
1624
1648
1625
1649
if ( yy_init )
1626
1650
{
1668
1692
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1669
1693
{
1670
1694
yy_current_state = (int) yy_def[yy_current_state];
1671
if ( yy_current_state >= 903 )
1695
if ( yy_current_state >= 939 )
1672
1696
yy_c = yy_meta[(unsigned int) yy_c];
1673
1697
}
1674
1698
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1675
1699
*yy_state_ptr++ = yy_current_state;
1676
1700
++yy_cp;
1677
1701
}
1678
while ( yy_base[yy_current_state] != 2642 );
1702
while ( yy_base[yy_current_state] != 2688 );
1679
1703
1680
1704
yy_find_action:
1681
1705
yy_current_state = *--yy_state_ptr;
2147
2171
YY_BREAK
2148
2172
case 50:
2149
2173
YY_RULE_SETUP
2150
#line 409 "config_scan.l"
2174
#line 408 "config_scan.l"
2175
{
2176
yylval.string = yytext;
2177
return CHILD_MAXIDLENUMBER;
2178
}
2179
YY_BREAK
2180
case 51:
2181
YY_RULE_SETUP
2182
#line 413 "config_scan.l"
2151
2183
{
2152
2184
BEGIN(start_username);
2185
2186
yylval.string = yytext;
2153
2187
return USER;
2154
2188
}
2155
2189
YY_BREAK
2156
case 51:
2190
case 52:
2157
2191
YY_RULE_SETUP
2158
#line 414 "config_scan.l"
2192
#line 420 "config_scan.l"
2159
2193
{
2160
2194
BEGIN(start_username);
2161
2195
2163
2197
return USER_PRIVILEGED;
2164
2198
}
2165
2199
YY_BREAK
2166
case 52:
2200
case 53:
2167
2201
YY_RULE_SETUP
2168
#line 421 "config_scan.l"
2202
#line 427 "config_scan.l"
2169
2203
{
2170
2204
BEGIN(start_username);
2171
2205
2173
2207
return USER_UNPRIVILEGED;
2174
2208
}
2175
2209
YY_BREAK
2176
case 53:
2210
case 54:
2177
2211
YY_RULE_SETUP
2178
#line 428 "config_scan.l"
2212
#line 434 "config_scan.l"
2179
2213
{
2180
2214
BEGIN(start_username);
2181
2215
2183
2217
return USER_LIBWRAP;
2184
2218
}
2185
2219
YY_BREAK
2186
case 54:
2220
case 55:
2187
2221
YY_RULE_SETUP
2188
#line 435 "config_scan.l"
2222
#line 441 "config_scan.l"
2189
2223
{
2190
2224
yylval.string = yytext;
2191
2225
return IOTIMEOUT;
2192
2226
}
2193
2227
YY_BREAK
2194
case 55:
2228
case 56:
2195
2229
YY_RULE_SETUP
2196
#line 440 "config_scan.l"
2230
#line 446 "config_scan.l"
2197
2231
{
2198
2232
yylval.string = yytext;
2199
2233
return COMPATIBILITY;
2200
2234
}
2201
2235
YY_BREAK
2202
case 56:
2236
case 57:
2203
2237
YY_RULE_SETUP
2204
#line 445 "config_scan.l"
2238
#line 451 "config_scan.l"
2205
2239
{
2206
2240
yylval.string = yytext;
2207
2241
return REUSEADDR;
2208
2242
}
2209
2243
YY_BREAK
2210
case 57:
2211
YY_RULE_SETUP
2212
#line 450 "config_scan.l"
2213
{
2214
yylval.string = yytext;
2215
return SAMEPORT;
2216
}
2217
YY_BREAK
2218
2244
case 58:
2219
2245
YY_RULE_SETUP
2220
2246
#line 456 "config_scan.l"
2221
2247
{
2222
2248
yylval.string = yytext;
2249
return SAMEPORT;
2250
}
2251
YY_BREAK
2252
case 59:
2253
YY_RULE_SETUP
2254
#line 462 "config_scan.l"
2255
{
2256
yylval.string = yytext;
2223
2257
return CONNECTTIMEOUT;
2224
2258
}
2225
2259
YY_BREAK
2226
case 59:
2260
case 60:
2227
2261
YY_RULE_SETUP
2228
#line 461 "config_scan.l"
2262
#line 467 "config_scan.l"
2229
2263
{
2230
2264
yylval.string = yytext;
2231
2265
return EXTENSION;
2232
2266
}
2233
2267
YY_BREAK
2234
case 60:
2268
case 61:
2235
2269
YY_RULE_SETUP
2236
#line 466 "config_scan.l"
2270
#line 472 "config_scan.l"
2237
2271
{
2238
2272
yylval.string = yytext;
2239
2273
return BIND;
2240
2274
}
2241
2275
YY_BREAK
2242
case 61:
2243
YY_RULE_SETUP
2244
#line 473 "config_scan.l"
2245
{
2246
yylval.string = yytext;
2247
return CLIENTRULE;
2248
}
2249
YY_BREAK
2250
2276
case 62:
2251
2277
YY_RULE_SETUP
2252
2278
#line 479 "config_scan.l"
2253
2279
{
2280
yylval.string = yytext;
2281
return CLIENTRULE;
2282
}
2283
YY_BREAK
2284
case 63:
2285
YY_RULE_SETUP
2286
#line 485 "config_scan.l"
2287
{
2254
2288
BEGIN(start_method);
2255
2289
2256
2290
yylval.string = yytext;
2257
2291
return METHOD;
2258
2292
}
2259
2293
YY_BREAK
2260
case 63:
2294
case 64:
2261
2295
YY_RULE_SETUP
2262
#line 486 "config_scan.l"
2296
#line 492 "config_scan.l"
2263
2297
{
2264
2298
BEGIN(start_method);
2265
2299
2267
2301
return CLIENTMETHOD;
2268
2302
}
2269
2303
YY_BREAK
2270
case 64:
2271
YY_RULE_SETUP
2272
#line 493 "config_scan.l"
2273
{
2274
yylval.string = yytext;
2275
return NONE;
2276
}
2277
YY_BREAK
2278
2304
case 65:
2279
2305
YY_RULE_SETUP
2280
#line 498 "config_scan.l"
2306
#line 499 "config_scan.l"
2307
{
2308
yylval.string = yytext;
2309
return NONE;
2310
}
2311
YY_BREAK
2312
case 66:
2313
YY_RULE_SETUP
2314
#line 504 "config_scan.l"
2281
2315
{
2282
2316
yylval.string = yytext;
2283
2317
return GSSAPI;
2284
2318
}
2285
2319
YY_BREAK
2286
case 66:
2320
case 67:
2287
2321
YY_RULE_SETUP
2288
#line 503 "config_scan.l"
2322
#line 509 "config_scan.l"
2289
2323
{
2290
2324
yylval.string = yytext;
2291
2325
return UNAME;
2292
2326
}
2293
2327
YY_BREAK
2294
case 67:
2328
case 68:
2295
2329
YY_RULE_SETUP
2296
#line 508 "config_scan.l"
2330
#line 514 "config_scan.l"
2297
2331
{
2298
2332
yylval.string = yytext;
2299
2333
return RFC931;
2300
2334
}
2301
2335
YY_BREAK
2302
case 68:
2336
case 69:
2303
2337
YY_RULE_SETUP
2304
#line 513 "config_scan.l"
2338
#line 519 "config_scan.l"
2305
2339
{
2306
2340
yylval.string = yytext;
2307
2341
return PAM;
2311
2345
/*
2312
2346
* verdicts
2313
2347
*/
2314
case 69:
2348
case 70:
2315
2349
YY_RULE_SETUP
2316
#line 525 "config_scan.l"
2350
#line 531 "config_scan.l"
2317
2351
{
2318
2352
yylval.string = yytext;
2319
2353
return VERDICT_BLOCK;
2320
2354
}
2321
2355
YY_BREAK
2322
case 70:
2356
case 71:
2323
2357
YY_RULE_SETUP
2324
#line 530 "config_scan.l"
2358
#line 536 "config_scan.l"
2325
2359
{
2326
2360
yylval.string = yytext;
2327
2361
return VERDICT_PASS;
2330
2364
/*
2331
2365
* logging
2332
2366
*/
2333
case 71:
2367
case 72:
2334
2368
YY_RULE_SETUP
2335
#line 541 "config_scan.l"
2369
#line 547 "config_scan.l"
2336
2370
{
2337
2371
BEGIN(start_log);
2338
2372
2340
2374
return LOG;
2341
2375
}
2342
2376
YY_BREAK
2343
case 72:
2377
case 73:
2344
2378
YY_RULE_SETUP
2345
#line 549 "config_scan.l"
2379
#line 555 "config_scan.l"
2346
2380
{
2347
2381
BEGIN(lineprefix);
2348
2382
2350
2384
return LIBWRAPSTART;
2351
2385
}
2352
2386
YY_BREAK
2353
case 73:
2387
case 74:
2354
2388
YY_RULE_SETUP
2355
#line 556 "config_scan.l"
2389
#line 562 "config_scan.l"
2356
2390
{
2357
2391
BEGIN(start_servicename);
2358
2392
2363
2397
/*
2364
2398
* Old keywords that are no longer used.
2365
2399
*/
2366
case 74:
2400
case 75:
2367
2401
YY_RULE_SETUP
2368
#line 568 "config_scan.l"
2402
#line 574 "config_scan.l"
2369
2403
{
2370
2404
yylval.string = yytext;
2371
2405
return DEPRECATED;
2372
2406
}
2373
2407
YY_BREAK
2374
2408
/* misc. generic stuff. */
2375
case 75:
2409
case 76:
2376
2410
YY_RULE_SETUP
2377
#line 577 "config_scan.l"
2411
#line 583 "config_scan.l"
2378
2412
{
2379
2413
BEGIN(start_port);
2380
2414
2382
2416
return IPADDRESS;
2383
2417
}
2384
2418
YY_BREAK
2385
case 76:
2419
case 77:
2386
2420
YY_RULE_SETUP
2387
#line 585 "config_scan.l"
2421
#line 591 "config_scan.l"
2388
2422
{
2389
2423
yylval.string = yytext;
2390
2424
return NUMBER;
2391
2425
}
2392
2426
YY_BREAK
2393
2427
/* ignored */
2394
case 77:
2428
case 78:
2395
2429
YY_RULE_SETUP
2396
#line 592 "config_scan.l"
2430
#line 598 "config_scan.l"
2397
2431
{
2398
2432
;
2399
2433
}
2400
2434
YY_BREAK
2401
2435
/* shell style comment */
2402
case 78:
2436
case 79:
2403
2437
YY_RULE_SETUP
2404
#line 597 "config_scan.l"
2438
#line 603 "config_scan.l"
2405
2439
{
2406
2440
;
2407
2441
}
2408
2442
YY_BREAK
2409
2443
/* state always ends at eol. */
2410
case 79:
2444
case 80:
2411
2445
YY_RULE_SETUP
2412
#line 602 "config_scan.l"
2446
#line 608 "config_scan.l"
2413
2447
{
2414
2448
BEGIN(INITIAL);
2415
2449
}
2416
2450
YY_BREAK
2417
2451
/* unless it's escaped. */
2418
case 80:
2419
YY_RULE_SETUP
2420
#line 607 "config_scan.l"
2421
{
2422
;
2423
}
2424
YY_BREAK
2425
2452
case 81:
2426
2453
YY_RULE_SETUP
2427
#line 611 "config_scan.l"
2454
#line 613 "config_scan.l"
2428
2455
{
2429
return *yytext;
2456
;
2430
2457
}
2431
2458
YY_BREAK
2432
2459
case 82:
2433
2460
YY_RULE_SETUP
2434
#line 614 "config_scan.l"
2461
#line 617 "config_scan.l"
2462
{
2463
return *yytext;
2464
}
2465
YY_BREAK
2466
case 83:
2467
YY_RULE_SETUP
2468
#line 620 "config_scan.l"
2435
2469
ECHO;
2436
2470
YY_BREAK
2437
#line 2438 "lex.yy.c"
2471
#line 2472 "lex.yy.c"
2438
2472
case YY_STATE_EOF(INITIAL):
2439
2473
case YY_STATE_EOF(start_address):
2440
2474
case YY_STATE_EOF(start_port):
2740
2774
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2741
2775
{
2742
2776
yy_current_state = (int) yy_def[yy_current_state];
2743
if ( yy_current_state >= 903 )
2777
if ( yy_current_state >= 939 )
2744
2778
yy_c = yy_meta[(unsigned int) yy_c];
2745
2779
}
2746
2780
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2770
2804
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2771
2805
{
2772
2806
yy_current_state = (int) yy_def[yy_current_state];
2773
if ( yy_current_state >= 903 )
2807
if ( yy_current_state >= 939 )
2774
2808
yy_c = yy_meta[(unsigned int) yy_c];
2775
2809
}
2776
2810
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2777
yy_is_jam = (yy_current_state == 902);
2811
yy_is_jam = (yy_current_state == 938);
2778
2812
if ( ! yy_is_jam )
2779
2813
*yy_state_ptr++ = yy_current_state;
2780
2814
3338
3372
return 0;
3339
3373
}
3340
3374
#endif
3341
#line 614 "config_scan.l"
3375
#line 620 "config_scan.l"
Loggerhead is a web-based interface for Breezy
Version: 2.0.1