← Back to branch summary

~ubuntu-branches/ubuntu/quantal/gputils/quantal

« back to all changes in this revision

Viewing changes to gpasm/scan.c

  • Committer: Bazaar Package Importer
  • Author(s): Taisuke Yamada
  • Date: 2009-03-16 08:39:23 UTC
  • mfrom: (1.1.8 upstream) (2.1.4 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090316083923-jr9k3f8bchev19s0
Tags: 0.13.7-1
http://bugs.debian.org/504473
* New upstream release.
* New maintainer (Closes: #504473)
* Bumped Standards-Version to 3.8.1.
* General updates in debian/* to make it lintian clean.
* Removed PS/PDF files from gputils due to duplicate with gputils-doc.

Show diffs side-by-side

added added

removed removed

Lines of Context:
gpasm/scan.c
8
8
#define FLEX_SCANNER
9
9
#define YY_FLEX_MAJOR_VERSION 2
10
10
#define YY_FLEX_MINOR_VERSION 5
11
 
#define YY_FLEX_SUBMINOR_VERSION 33
 
11
#define YY_FLEX_SUBMINOR_VERSION 35
12
12
#if YY_FLEX_SUBMINOR_VERSION > 0
13
13
#define FLEX_BETA
14
14
#endif
30
30
 
31
31
/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
32
32
 
33
 
#if __STDC_VERSION__ >= 199901L
 
33
#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
34
34
 
35
35
/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
36
36
 * if you want the limit (max/min) macros for int types. 
53
53
typedef unsigned char flex_uint8_t; 
54
54
typedef unsigned short int flex_uint16_t;
55
55
typedef unsigned int flex_uint32_t;
56
 
#endif /* ! C99 */
57
56
 
58
57
/* Limits of integral types. */
59
58
#ifndef INT8_MIN
84
83
#define UINT32_MAX             (4294967295U)
85
84
#endif
86
85
 
 
86
#endif /* ! C99 */
 
87
 
87
88
#endif /* ! FLEXINT_H */
88
89
 
89
90
#ifdef __cplusplus
93
94
 
94
95
#else   /* ! __cplusplus */
95
96
 
96
 
#if __STDC__
 
97
/* C99 requires __STDC__ to be defined as 1. */
 
98
#if defined (__STDC__)
97
99
 
98
100
#define YY_USE_CONST
99
101
 
100
 
#endif  /* __STDC__ */
 
102
#endif  /* defined (__STDC__) */
101
103
#endif  /* ! __cplusplus */
102
104
 
103
105
#ifdef YY_USE_CONST
177
179
 
178
180
#define unput(c) yyunput( c, (yytext_ptr)  )
179
181
 
180
 
/* The following is because we cannot portably get our hands on size_t
181
 
 * (without autoconf's help, which isn't available because we want
182
 
 * flex-generated scanners to compile on their own).
183
 
 */
184
 
 
185
182
#ifndef YY_TYPEDEF_YY_SIZE_T
186
183
#define YY_TYPEDEF_YY_SIZE_T
187
 
typedef unsigned int yy_size_t;
 
184
typedef size_t yy_size_t;
188
185
#endif
189
186
 
190
187
#ifndef YY_STRUCT_YY_BUFFER_STATE
375
372
        flex_int32_t yy_verify;
376
373
        flex_int32_t yy_nxt;
377
374
        };
378
 
static yyconst flex_int16_t yy_accept[457] =
 
375
static yyconst flex_int16_t yy_accept[459] =
379
376
    {   0,
380
377
       69,   69,   69,   69,   69,   69,    0,    0,   69,   69,
381
378
       74,   72,   69,   70,   72,   39,   27,   72,   72,   72,
382
379
       72,   72,   72,   72,   72,   72,   38,   38,   71,   72,
383
 
       72,   72,   27,   72,   27,   27,   27,   27,   27,   27,
384
 
       27,   27,   27,   27,   27,   27,   27,   72,   69,   24,
 
380
       72,   72,   27,   27,   27,   27,   27,   27,   27,   27,
 
381
       27,   27,   27,   27,   27,   27,   72,   72,   69,   24,
385
382
       72,   24,   24,   24,   24,   24,   24,   24,   24,   24,
386
383
       24,   24,   24,   24,   24,   24,   24,   43,   72,   45,
387
384
       45,   10,   72,   69,   51,   39,   39,   39,   27,   27,
389
386
       67,   56,   68,   64,   54,   65,   55,   27,   35,   27,
390
387
 
391
388
       57,   38,   29,   33,   36,   31,   38,   71,   46,   49,
392
 
       50,   48,   47,   63,    0,   27,   27,   27,   27,   27,
393
 
        0,   27,    0,   27,   27,   27,   27,    0,   27,   16,
394
 
       27,   27,    0,   27,   27,   62,   53,   69,    0,    0,
 
389
       50,   48,   47,    0,   27,   27,   27,   27,   27,    0,
 
390
       27,    0,   27,   27,   27,   27,    0,   27,   16,   27,
 
391
       27,    0,   27,   27,   63,   62,   53,   69,    0,    0,
395
392
        0,    0,   24,   24,   24,   24,   24,   24,   24,   24,
396
393
       24,   24,   24,   24,   24,   24,   24,   24,   24,   24,
397
394
       24,   24,   16,   24,   24,   24,   24,   24,   24,   24,
425
422
        5,   24,   20,   24,   24,   24,   24,    3,   20,   27,
426
423
       27,   27,    0,    0,    0,    0,   24,   20,   24,   24,
427
424
       24,   24,   24,    4,   24,   27,   27,   27,    0,    0,
428
 
        0,    9,   24,   24,   24,    1,   24,   21,   27,   15,
429
 
       21,   24,   15,    6,    6,    0
 
425
        0,    9,   24,   24,   24,    1,   24,   24,   21,   27,
 
426
       15,    0,   21,   24,   15,    6,    6,    0
430
427
    } ;
431
428
 
432
429
static yyconst flex_int32_t yy_ec[256] =
437
434
        1,    2,    5,    6,    7,    1,    8,    9,   10,   11,
438
435
       12,   13,   14,    1,   15,   16,   17,   18,   19,   19,
439
436
       19,   19,   19,   19,   19,   20,   20,   21,   22,   23,
440
 
       24,   25,   26,   27,   31,   32,   33,   34,   35,   36,
441
 
       37,   38,   39,   40,   41,   42,   40,   43,   44,   45,
442
 
       46,   47,   48,   49,   50,   51,   52,   53,   40,   40,
443
 
        1,   28,    1,   29,   30,    1,   31,   32,   33,   34,
444
 
 
445
 
       35,   36,   37,   38,   39,   40,   41,   42,   40,   43,
446
 
       44,   45,   46,   47,   48,   49,   50,   51,   52,   53,
447
 
       40,   40,    1,   54,    1,    1,    1,   30,   30,   30,
448
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
449
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
450
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
451
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
452
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
453
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
454
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
455
 
 
456
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
457
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
458
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
459
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
460
 
       30,   30,   30,   30,   30,   30,   30,   30,   30,   30,
461
 
       30,   30,   30,   30,   30
 
437
       24,   25,   26,   27,   28,   29,   30,   31,   32,   33,
 
438
       34,   35,   36,   37,   38,   39,   37,   40,   41,   42,
 
439
       43,   44,   45,   46,   47,   48,   49,   50,   37,   37,
 
440
        1,   51,    1,   52,   53,    1,   54,   55,   56,   57,
 
441
 
 
442
       58,   59,   60,   61,   62,   37,   63,   64,   37,   65,
 
443
       66,   67,   43,   68,   69,   70,   71,   72,   73,   74,
 
444
       37,   37,    1,   75,    1,    1,    1,   53,   53,   53,
 
445
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
446
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
447
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
448
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
449
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
450
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
451
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
452
 
 
453
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
454
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
455
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
456
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
457
       53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 
458
       53,   53,   53,   53,   53
462
459
    } ;
463
460
 
464
 
static yyconst flex_int32_t yy_meta[55] =
 
461
static yyconst flex_int32_t yy_meta[76] =
465
462
    {   0,
466
463
        1,    2,    3,    4,    1,    5,    6,    1,    1,    7,
467
464
        1,    1,    1,    1,    8,    9,    1,   10,   11,   11,
468
 
       12,   13,    2,    1,    2,   14,    6,   15,    1,   16,
469
 
       17,   17,   18,   18,   18,   17,   19,   19,   19,   19,
470
 
       19,   19,   20,   19,   19,   19,   20,   19,   20,   19,
471
 
       20,   19,   20,    1
472
 
    } ;
473
 
 
474
 
static yyconst flex_int16_t yy_base[490] =
475
 
    {   0,
476
 
        0,   54,  107,  112,  117,  122,  144,    0,  197,  200,
477
 
     1479, 1663,  129, 1663, 1454,  199,  199, 1452,  103, 1445,
478
 
        0,  193,  196,  197,  195, 1448,  197,  198,    0,  117,
479
 
     1447,  118, 1462, 1444,  244,  284,  201, 1456,  214,  206,
480
 
     1449,  208,  216,  229, 1447,  215,  213,  229,  285,  286,
481
 
      261,  115,  330,  370,  245, 1446,  254,  230, 1445,  236,
482
 
      262,  299, 1444,  218,  292,  256,  274,    0,  287, 1451,
483
 
      325,    0,    0,  302, 1663,  257, 1663,  407,  301, 1445,
484
 
      306,  319,  292, 1663, 1663, 1663, 1441,  340,    0, 1663,
485
 
     1663, 1663, 1663, 1663, 1663, 1663, 1663, 1437,  347,  322,
486
 
 
487
 
     1663,  337,  367,  386,  402,  413,  429,    0, 1418, 1663,
488
 
     1663, 1663, 1417, 1663, 1409, 1426, 1408, 1407, 1397, 1388,
489
 
     1382,  353,  369,  238,  344,  335,  380, 1363,  307,  360,
490
 
      362,  363, 1362,  375,  382, 1663, 1663,  462,  373, 1324,
491
 
      379, 1320,  402,  434, 1663,  455,  461,  463,  464,  458,
492
 
      470, 1348, 1347, 1346, 1339, 1337,  432,  396,  462,  439,
493
 
      470,  322,  471,  388,  468,  442,  473,  479,  483,  477,
494
 
      478,    0,  467, 1663,  521, 1340, 1332,  522,  523, 1330,
495
 
      491,  573,    0,    0,  492,  515,    0,  621,  525,  493,
496
 
      501,  533,  531, 1663, 1321,  536,    0,  515,  546,  562,
497
 
 
498
 
      579,  598,  599, 1663, 1663, 1318,  559, 1312,  416,  527,
499
 
      541,  628,  538,  625,  553,  520, 1311,  571,  572,  579,
500
 
      532,  611, 1309, 1302,  578,  618,  624, 1277, 1278, 1265,
501
 
     1270, 1252,  608,  654,  655,  658,  659,  656,  660,  661,
502
 
      640,  660,  668,  661,  664,  659,  663,  662,  673,  675,
503
 
     1287,  676,  677,  678,  681,  690,  683,  694,    0,  710,
504
 
     1275,  712, 1268,  745, 1663,  793,  730,  731,  787,    0,
505
 
      845,  742,  864, 1663,  714,  692,  743,  732,  747,  584,
506
 
        0,  749, 1663, 1259,  698,    0, 1663,  747, 1663, 1258,
507
 
     1257,  754,  755,  802, 1663, 1256,  759,  752, 1248, 1663,
508
 
 
509
 
      762,  769, 1220, 1213, 1203, 1202, 1208, 1663,  779,  810,
510
 
      813,  820,  801,  807,  836,  851,  758, 1233, 1231,  765,
511
 
      813,  828, 1230,  797,  775,  329, 1211,  827,  843,  546,
512
 
      840,  822,  883,  894,  887,  888,  915,    0,  942,  820,
513
 
      860,  913,    0,  973,  966,  992, 1213,  867,  884,  852,
514
 
      899, 1212,  886,    0,  577, 1201,  882,  596, 1663, 1199,
515
 
      913,  897, 1198, 1165, 1153, 1143, 1145, 1105,  915,  847,
516
 
      931,  933,  979,  932,  935,  849,  940, 1129,  941, 1127,
517
 
      953,  956,  947,  945,  949,  257, 1125, 1011, 1022, 1016,
518
 
     1041, 1127, 1126,  911,  958, 1122,  986, 1120,  989, 1086,
519
 
 
520
 
     1092, 1089, 1070, 1113, 1011,  995, 1024, 1029, 1045, 1041,
521
 
     1104, 1028, 1103, 1033, 1037, 1068,  977, 1110, 1097, 1008,
522
 
     1039, 1054,  985,  968,  944,  819, 1079, 1062, 1075, 1080,
523
 
     1057, 1082, 1061,  781, 1087, 1081, 1083, 1081,  772,  718,
524
 
     1092,  708, 1100, 1096, 1085,  511, 1089,  495, 1096,  427,
525
 
     1104, 1099,  313,  128,  107, 1663, 1141, 1161, 1181, 1196,
526
 
     1216, 1228, 1243, 1254, 1274, 1289, 1304, 1319, 1334, 1354,
527
 
     1374, 1394, 1414, 1429, 1444, 1460, 1471, 1491, 1504, 1517,
528
 
     1530, 1550, 1570, 1590, 1601, 1615, 1626, 1635, 1644
529
 
    } ;
530
 
 
531
 
static yyconst flex_int16_t yy_def[490] =
532
 
    {   0,
533
 
      456,  456,  457,  457,  458,  458,  456,    7,  458,  458,
534
 
      456,  456,  456,  456,  456,  459,  460,  456,  456,  461,
535
 
      462,  456,  456,  456,  463,  456,  464,  464,  465,  456,
536
 
      456,  456,  460,  456,  466,  466,   36,   36,   36,   36,
537
 
       36,   36,   36,   36,   36,   36,   36,  456,  456,  467,
538
 
      468,  467,  469,  469,   54,   54,   54,   54,   54,   54,
539
 
       54,   54,   54,   54,   54,   54,   54,  470,  471,  472,
540
 
      473,  474,  475,  456,  456,  459,  456,  459,  460,  460,
541
 
      460,  460,  460,  456,  456,  456,  456,  476,  462,  456,
542
 
      456,  456,  456,  456,  456,  456,  456,  460,  456,  460,
543
 
 
544
 
      456,  464,  464,  464,  464,  464,  477,  465,  456,  456,
545
 
      456,  456,  456,  456,  478,   36,   36,   36,   36,   36,
546
 
      479,   36,  456,   36,   36,   36,   36,  480,   36,   36,
547
 
       36,   36,  481,   36,   36,  456,  456,  456,  456,  456,
548
 
      456,  456,  467,  467,  456,  467,  467,  467,  467,  467,
549
 
      467,   54,   54,   54,   54,   54,   54,   54,   54,   54,
550
 
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
551
 
       54,  470,  471,  456,  471,  472,  482,  473,  483,  472,
552
 
      484,  473,  474,  474,  459,  459,   78,  459,  460,  460,
553
 
      460,  460,  460,  456,  456,  456,  485,  460,  477,  477,
554
 
 
555
 
      477,  477,  477,  456,  456,  456,  486,  479,  479,   36,
556
 
      456,  456,   36,   36,   36,   36,  480,  480,   36,   36,
557
 
       36,   36,   36,  481,  481,   36,   36,  456,  456,  456,
558
 
      456,  456,  467,  467,  467,  467,  467,  467,  467,  467,
559
 
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
560
 
       54,   54,   54,   54,   54,   54,  471,  471,  175,  471,
561
 
      482,  483,  482,  483,  456,  484,  473,  473,  473,  182,
562
 
      473,  459,  188,  456,  460,  460,  460,  460,  460,  456,
563
 
      487,  460,  456,  456,  456,  488,  456,   36,  456,   36,
564
 
       36,   36,   36,   36,  456,   36,   36,   36,   36,  456,
565
 
 
566
 
       36,   36,  456,  456,  456,  456,  456,  456,  467,  467,
567
 
      467,  467,  467,  467,  467,  467,   54,   54,   54,   54,
568
 
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
569
 
       54,   54,  471,  260,  483,  483,  483,  264,  483,  484,
570
 
      484,  484,  266,  484,  473,  271,  460,  460,  460,  460,
571
 
      460,  460,  456,  489,   36,   36,   36,  456,  456,   36,
572
 
       36,   36,   36,  456,  456,  456,  456,  456,  467,  467,
573
 
      467,  467,  467,  467,  467,  467,   54,   54,   54,   54,
574
 
       54,   54,   54,   54,   54,   54,   54,  483,  339,  484,
575
 
      344,  460,  460,  460,  460,   36,   36,   36,   36,  456,
576
 
 
577
 
      456,  456,  456,  456,  467,  467,  467,  467,  467,  467,
578
 
       54,   54,   54,   54,   54,   54,   54,  456,  460,  460,
579
 
       36,   36,  456,  456,  456,  456,  467,  467,  467,  467,
580
 
       54,   54,   54,  456,   54,  460,   36,   36,  456,  456,
581
 
      456,  456,  467,  467,   54,  456,   54,  460,   36,   36,
582
 
      467,   54,   54,   36,   54,    0,  456,  456,  456,  456,
583
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
584
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
585
 
      456,  456,  456,  456,  456,  456,  456,  456,  456
586
 
    } ;
587
 
 
588
 
static yyconst flex_int16_t yy_nxt[1718] =
 
465
       12,   13,    2,    1,    2,   14,    6,   15,   15,   16,
 
466
       16,   16,   15,   17,   17,   17,   17,   17,   17,   18,
 
467
       17,   17,   17,   18,   17,   18,   17,   18,   17,   18,
 
468
       19,    1,   20,   15,   15,   16,   16,   16,   15,   17,
 
469
       17,   17,   17,   17,   18,   17,   17,   18,   17,   18,
 
470
       17,   18,   17,   18,    1
 
471
    } ;
 
472
 
 
473
static yyconst flex_int16_t yy_base[493] =
 
474
    {   0,
 
475
        0,   75,  149,  154,  159,  164,  186,  261,  210,  213,
 
476
     1667, 2192,  171, 2192, 1642,  172,  186, 1641,  145, 1613,
 
477
        0,  205,  212,  206,  269, 1639,  261,  262,    0,  159,
 
478
     1638,  160, 1654,  330,  390,  239, 1650,  285,  290, 1649,
 
479
      296,  288,  328, 1648,  299,  321, 1632,  156,  368,  403,
 
480
      359,  220,  468,  528,  305, 1645,  402,  345, 1644,  356,
 
481
      389,  391, 1634,  300,  416,  366,  338,    0,  199, 1640,
 
482
      466,    0,    0,  238, 2192,  248, 2192,  585,  401, 1632,
 
483
      437,  448,  344, 2192, 2192, 2192, 1628,  472,    0, 2192,
 
484
     2192, 2192, 2192, 2192, 2192, 2192, 2192, 1630,  227,  457,
 
485
 
 
486
     2192,  475,  521,  555,  617,  632,  651,    0, 1612, 2192,
 
487
     2192, 2192, 1611, 1583, 1623, 1621, 1620, 1617, 1608, 1602,
 
488
      372,  240,  470,  448,  498,  376, 1556,  514,  562,  482,
 
489
      410, 1543,  502,  486, 2192, 2192, 2192,  664,  544,  188,
 
490
      553,  464,  584,  382, 2192,  630,  663,  678,  674,  464,
 
491
      669, 1509, 1492, 1490, 1469, 1403,  481,  632,  597,  681,
 
492
      697,  686,  711,  578,  687,  488,  694,  607,  709,  712,
 
493
      537,    0,  489, 2192,  777, 1409, 1369,  748,  753, 1364,
 
494
      250,  850,    0,    0,  507,  734,  919,    0,  232,  717,
 
495
      716,  750,  734, 2192, 1346,  233,    0,  723,  899,  900,
 
496
 
 
497
      950,  951,  984, 2192, 2192, 1323,  759, 1312,  149,  756,
 
498
      760,  774,  779,  788,  798,  762, 1311,  550,  806,  803,
 
499
      809,  819, 1313, 1248,  582,  790,  845,  583,  608,  709,
 
500
      719,  284,  827,  836,  852,  905,  983,  863,  938,  867,
 
501
      844,  848,  973,  861,  852,  923,  978,  987,  853,  898,
 
502
     1243,  990,  986,  988,  962,  989,  862, 1012, 1046,    0,
 
503
     1166, 1047, 1163, 1104, 2192, 1173, 1066, 1085, 1090, 1246,
 
504
        0, 1064, 1288, 2192, 1035, 1054, 1053, 1082, 1087,  323,
 
505
        0, 1088, 2192, 1152,  697,    0, 2192, 1108, 2192, 1130,
 
506
     1121, 1114, 1018, 1041, 2192, 1111, 1118, 1023, 1047, 2192,
 
507
 
 
508
     1117, 1113,  930,  275,  829, 1083,  281, 2192, 1135, 1173,
 
509
     1175, 1177, 1179, 1186, 1182, 1197, 1160, 1012,  992, 1133,
 
510
     1178, 1247,  977, 1175, 1229, 1220,  954, 1241, 1205, 1063,
 
511
     1252, 1244, 1264, 1330, 1329, 1330, 1351, 1401,    0,  571,
 
512
      614, 1274, 1455,    0, 1373, 1497,  846, 1128, 1226, 1264,
 
513
     1265,  823,  863,    0, 1157,  804, 1301,  912, 2192,  802,
 
514
     1280, 1285,  786, 1018, 1223,  847, 1098, 1228, 1334,  946,
 
515
     1357, 1376, 1393, 1375, 1394, 1017, 1271,  757, 1398,  734,
 
516
     1384, 1408, 1367, 1396, 1394, 1327,  719, 1516, 1550, 1472,
 
517
     1592,  706,  672, 1434, 1331,  639, 1434,  637, 1400,  906,
 
518
 
 
519
     1341, 1410, 1380,  643, 1473, 1205, 1235, 1474, 1529, 1525,
 
520
      620, 1438,  616, 1439, 1479, 1366, 1437,  607,  566, 1398,
 
521
     1472, 1498, 1440, 1445,  568, 1020, 1538, 1307, 1542, 1536,
 
522
     1494, 1563, 1531,  565, 1582, 1530, 1489, 1575,  531,  529,
 
523
     1594,  467, 1592, 1570, 1583,  450, 1585, 1588,  388, 1593,
 
524
      383,  372, 1568, 1606,  352,  297,  224, 2192, 1670, 1690,
 
525
     1710, 1730, 1745, 1765, 1777, 1792, 1803, 1821, 1836, 1851,
 
526
     1866, 1881, 1901, 1921, 1941, 1961, 1976, 1991, 2007, 2017,
 
527
     2035, 2048, 2059, 2070, 2088, 2108, 2128, 2139, 2151, 2161,
 
528
     2168, 2175
 
529
 
 
530
    } ;
 
531
 
 
532
static yyconst flex_int16_t yy_def[493] =
 
533
    {   0,
 
534
      458,  458,  459,  459,  460,  460,  461,  461,  460,  460,
 
535
      458,  458,  458,  458,  458,  462,  463,  458,  458,  464,
 
536
      465,  458,  458,  458,  466,  458,  467,  467,  468,  458,
 
537
      458,  458,  463,  469,  469,   35,   35,   35,   35,   35,
 
538
       35,   35,   35,   35,   35,   35,  458,  458,  458,  470,
 
539
      471,  470,  472,  472,   54,   54,   54,   54,   54,   54,
 
540
       54,   54,   54,   54,   54,   54,   54,  473,  474,  475,
 
541
      476,  477,  478,  458,  458,  462,  458,  462,  463,  463,
 
542
      463,  463,  463,  458,  458,  458,  458,  479,  465,  458,
 
543
      458,  458,  458,  458,  458,  458,  458,  463,  458,  463,
 
544
 
 
545
      458,  467,  467,  467,  467,  467,  480,  468,  458,  458,
 
546
      458,  458,  458,  481,   35,   35,   35,   35,   35,  482,
 
547
       35,  458,   35,   35,   35,   35,  483,   35,   35,   35,
 
548
       35,  484,   35,   35,  458,  458,  458,  458,  458,  458,
 
549
      458,  458,  470,  470,  458,  470,  470,  470,  470,  470,
 
550
      470,   54,   54,   54,   54,   54,   54,   54,   54,   54,
 
551
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
 
552
       54,  473,  474,  458,  474,  475,  485,  476,  486,  475,
 
553
      487,  476,  477,  477,  462,  462,  462,   78,  463,  463,
 
554
      463,  463,  463,  458,  458,  458,  488,  463,  480,  480,
 
555
 
 
556
      480,  480,  480,  458,  458,  458,  489,  482,  482,   35,
 
557
      458,  458,   35,   35,   35,   35,  483,  483,   35,   35,
 
558
       35,   35,   35,  484,  484,   35,   35,  458,  458,  458,
 
559
      458,  458,  470,  470,  470,  470,  470,  470,  470,  470,
 
560
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
 
561
       54,   54,   54,   54,   54,   54,  474,  474,  474,  175,
 
562
      485,  486,  485,  486,  458,  487,  476,  476,  476,  476,
 
563
      182,  462,  187,  458,  463,  463,  463,  463,  463,  458,
 
564
      490,  463,  458,  458,  458,  491,  458,   35,  458,   35,
 
565
       35,   35,   35,   35,  458,   35,   35,   35,   35,  458,
 
566
 
 
567
       35,   35,  458,  458,  458,  458,  458,  458,  470,  470,
 
568
      470,  470,  470,  470,  470,  470,   54,   54,   54,   54,
 
569
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
 
570
       54,   54,  474,  259,  486,  486,  486,  486,  264,  487,
 
571
      487,  487,  487,  266,  476,  270,  463,  463,  463,  463,
 
572
      463,  463,  458,  492,   35,   35,   35,  458,  458,   35,
 
573
       35,   35,   35,  458,  458,  458,  458,  458,  470,  470,
 
574
      470,  470,  470,  470,  470,  470,   54,   54,   54,   54,
 
575
       54,   54,   54,   54,   54,   54,   54,  486,  338,  487,
 
576
      343,  463,  463,  463,  463,   35,   35,   35,   35,  458,
 
577
 
 
578
      458,  458,  458,  458,  470,  470,  470,  470,  470,  470,
 
579
       54,   54,   54,   54,   54,   54,   54,  458,  463,  463,
 
580
       35,   35,  458,  458,  458,  458,  470,  470,  470,  470,
 
581
       54,   54,   54,  458,   54,  463,   35,   35,  458,  458,
 
582
      458,  458,  470,  470,   54,  458,   54,   54,  463,   35,
 
583
       35,  458,  470,   54,   54,   35,   54,    0,  458,  458,
 
584
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
585
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
586
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
587
      458,  458
 
588
 
 
589
    } ;
 
590
 
 
591
static yyconst flex_int16_t yy_nxt[2268] =
589
592
    {   0,
590
593
       12,   13,   14,   13,   15,   16,   17,   18,   19,   20,
591
594
       12,   21,   22,   23,   24,   25,   26,   27,   28,   28,
592
 
       12,   29,   30,   31,   32,   33,   33,   12,   34,   33,
593
 
       35,   36,   37,   38,   39,   40,   41,   42,   43,   41,
594
 
       41,   44,   41,   45,   46,   45,   41,   41,   41,   47,
595
 
       41,   41,   41,   48,   12,   49,   14,   13,   15,   16,
596
 
       50,   18,   19,   20,   12,   21,   22,   23,   24,   51,
597
 
       26,   27,   28,   28,   12,   29,   30,   31,   32,   52,
598
 
       52,   12,   34,   52,   53,   54,   55,   56,   57,   58,
599
 
       59,   60,   61,   59,   59,   62,   59,   63,   64,   63,
600
 
 
601
 
       59,   65,   66,   67,   59,   59,   59,   48,   13,   14,
602
 
       13,   85,   16,   13,   14,   13,  456,   16,   13,   14,
603
 
       13,  143,   71,   13,   14,   13,   86,   71,   29,   69,
604
 
       74,   12,   74,   29,   69,  145,   12,  456,   29,  109,
605
 
      110,  112,  113,   29,   12,   12,   14,   12,   12,   12,
606
 
       72,   12,   12,   12,   12,   12,   12,   12,   12,   73,
607
 
       12,   12,   12,   12,   12,   29,   12,   12,   12,   72,
608
 
       72,   12,   12,   72,   72,   72,   72,   72,   72,   72,
609
 
       72,   72,   72,   72,   72,   72,   72,   72,   72,   72,
610
 
       72,   72,   72,   72,   72,   72,   72,   12,   13,   14,
611
 
 
612
 
       13,   13,   14,   13,   77,   79,   90,   91,   93,   94,
613
 
      456,   96,   99,   99,   99,  456,   92,  128,   29,   95,
614
 
       97,   29,  456,  456,  456,  456,   78,  456,  103,  103,
615
 
      104,  104,  122,   81,  105,  105,  100,   82,  456,  456,
616
 
      106,  106,  106,  106,  127,  128,  129,  456,   83,  107,
617
 
       79,  130,  136,  115,  456,  124,  125,  135,  418,   80,
618
 
      126,  134,   77,  456,  167,  456,  456,  131,  161,   80,
619
 
       80,  456,  132,   80,  162,  117,  157,  118,   99,   99,
620
 
       99,  119,  137,  456,   78,  213,  138,  120,   74,  120,
621
 
       79,  139,  143,  121,  170,  158,  159,  163,   79,   80,
622
 
 
623
 
      160,  456,  151,   74,  164,   74,  145,   79,  456,   80,
624
 
       80,  174,   79,   80,  175,  117,  456,  118,  171,  146,
625
 
      147,  119,  456,  140,  148,   79,  179,  120,   79,  120,
626
 
      180,  456,  141,  142,  193,  149,  143,  165,  456,  115,
627
 
      168,  169,  166,  219,  456,  144,  181,  190,  191,  195,
628
 
      145,  189,  182,  456,  192,  144,  144,  196,  246,  144,
629
 
      198,  153,  456,  154,   99,   99,   99,  155,  103,  456,
630
 
      104,  456,  456,  156,  105,  156,  143,  214,  382,  121,
631
 
      106,  215,  106,  211,  456,  144,  212,  212,  212,  456,
632
 
      145,  456,  197,  220,  210,  144,  144,  456,  103,  144,
633
 
 
634
 
      104,  153,  221,  154,  105,  456,  228,  155,  143,  222,
635
 
      106,  140,  106,  156,  223,  156,  185,  103,  226,  104,
636
 
      249,  216,  145,  105,  186,  287,  227,  230,  231,  106,
637
 
      456,  106,  185,  103,  187,  104,  456,  185,  185,  105,
638
 
      143,  456,  185,  242,  103,  106,  104,  106,  456,  185,
639
 
      105,  456,  233,  185,  145,  185,  106,  185,  106,  188,
640
 
      200,  143,  201,  138,  143,   74,  202,  143,  139,  143,
641
 
      143,  456,  203,  241,  203,  145,  143,  456,  145,  456,
642
 
      456,  145,  456,  145,  145,  244,  456,  456,  456,  234,
643
 
      145,  174,  456,  251,  175,  243,  265,   77,  237,   79,
644
 
 
645
 
      140,   79,  235,  236,  247,  238,  239,   79,  240,  141,
646
 
      142,  245,  446,  248,  254,  250,  252,  253,  266,   78,
647
 
       77,   79,  256,  179,  179,  255,  257,  180,  263,  456,
648
 
      257,   79,  272,  272,  276,  274,  456,   79,  258,   79,
649
 
      275,  456,   78,  181,  181,  174,  257,  456,  259,  182,
650
 
      264,  257,  257,  280,  280,  456,  257,  282,  212,  212,
651
 
      212,  294,  456,  257,  279,  298,  277,  257,  284,  257,
652
 
      288,  257,  290,  260,  179,  278,  285,  200,  267,  201,
653
 
      295,  456,  268,  202,  385,  456,  456,  300,  456,  203,
654
 
      269,  203,  456,  200,  181,  201,  293,  358,  268,  202,
655
 
 
656
 
      270,   87,   87,  268,  268,  203,  359,  203,  268,  296,
657
 
      200,  286,  201,  297,  143,  268,  202,  396,  308,  268,
658
 
      456,  268,  203,  268,  203,  271,   77,  456,  145,  200,
659
 
      200,  201,  201,  456,  456,  202,  202,  289,  273,  273,
660
 
      273,  203,  203,  203,  203,  212,  212,  212,   78,  456,
661
 
      301,  273,  273,  273,  273,  273,  273,  291,  302,  299,
662
 
      143,  143,  143,  292,  143,  143,  143,  143,  456,  456,
663
 
      456,  456,  456,  456,  145,  145,  145,  456,  145,  145,
664
 
      145,  145,  456,  317,  456,  456,  456,  456,  314,  309,
665
 
      456,  311,  312,  315,  318,  325,  323,  324,   79,  456,
666
 
 
667
 
      319,  313,  310,  316,  321,  322,  320,  174,  328,  442,
668
 
      175,  333,  333,  179,  326,  353,  353,  263,  174,  446,
669
 
       79,  175,  331,  327,  332,  329,  330,  334,  334,  334,
670
 
      348,  179,  179,  181,  174,  180,  180,  175,   79,  264,
671
 
      334,  334,  334,  334,  334,  334,  179,   77,  347,   79,
672
 
      335,  181,  181,   79,  336,   79,  456,  182,  182,  185,
673
 
      185,  456,  337,  456,  456,  350,  181,  456,  456,   78,
674
 
      336,  456,  338,  442,  456,  336,  336,  349,  456,  355,
675
 
      336,  351,  434,  352,  456,  143,  361,  336,  179,  356,
676
 
      377,  336,  180,  336,  360,  336,  362,  339,  340,  145,
677
 
 
678
 
      378,  357,  341,  358,  345,  345,  456,  143,  181,  381,
679
 
      342,  456,  359,  143,  182,  363,  143,  369,  341,  143,
680
 
      343,  145,  456,  341,  341,  265,  143,  145,  341,  358,
681
 
      145,  456,  380,  145,  373,  341,  456,  456,  359,  341,
682
 
      145,  341,  143,  341,  370,  344,  179,  266,  374,  456,
683
 
      180,  371,  456,  143,  372,  143,  145,  143,   79,  379,
684
 
      441,  383,  346,  346,  346,  265,  181,  145,  387,  145,
685
 
      375,  145,  182,   79,  386,  346,  346,  346,  346,  346,
686
 
      346,  185,  185,  185,  384,  376,  394,  266,  179,  179,
687
 
       79,  456,  263,  263,  185,  185,  185,  185,  185,  185,
688
 
 
689
 
      257,  257,  392,  206,  206,   79,  456,  174,  181,  181,
690
 
      175,  257,  257,  257,  264,  264,  179,   79,  265,  393,
691
 
      263,  143,  456,  397,  257,  257,  257,  257,  257,  257,
692
 
      390,  390,  388,  388,  395,  145,  181,  143,  143,  143,
693
 
      266,  143,  264,  179,  399,  434,  419,  263,  398,  456,
694
 
      456,  145,  145,  145,  456,  145,  456,  405,  456,  389,
695
 
      389,  389,  456,  181,   79,  456,  406,  179,  407,  264,
696
 
      410,  180,  389,  389,  389,  389,  389,  389,  265,  416,
697
 
      411,  409,  412,  268,  268,  143,  456,  181,  413,  414,
698
 
      391,  391,  391,  182,  415,  456,  420,  417,  456,  145,
699
 
 
700
 
      266,  143,  440,  391,  391,  391,  391,  391,  391,  268,
701
 
      268,  268,  179,  408,   79,  145,  263,  143,  435,  439,
702
 
      421,  265,  268,  268,  268,  268,  268,  268,  336,  336,
703
 
      143,  145,  181,  341,  341,  143,  422,  456,  264,  336,
704
 
      336,  336,  456,  266,  145,  427,  456,  143,  456,  145,
705
 
      436,  143,  336,  336,  336,  336,  336,  336,  341,  341,
706
 
      341,  145,  431,  456,  428,  145,  456,  432,  143,  434,
707
 
      456,  341,  341,  341,  341,  341,  341,  456,  429,  430,
708
 
      442,  143,  145,  446,  433,  143,  143,   79,  434,  437,
709
 
      456,  456,  456,  434,  456,  145,  456,  438,  456,  145,
710
 
 
711
 
      145,  446,  143,   79,  447,  456,  143,  445,  456,  443,
712
 
      143,  418,  456,  456,  418,  448,  145,  449,  426,  452,
713
 
      145,  416,  444,  425,  145,  424,  425,  450,  423,  456,
714
 
      451,  456,   79,   79,  456,  453,  456,  454,  456,  404,
715
 
      455,   68,   68,   68,   68,   68,   68,   68,   68,   68,
716
 
       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
717
 
       68,   70,   70,   70,   70,   70,   70,   70,   70,   70,
718
 
       70,   70,   70,   70,   70,   70,   70,   70,   70,   70,
719
 
       70,   76,   76,  403,  402,   76,   76,   76,   76,   76,
 
595
       12,   29,   30,   31,   32,   33,   33,   34,   35,   36,
 
596
       37,   38,   39,   40,   41,   42,   40,   40,   43,   40,
 
597
       44,   45,   44,   40,   40,   40,   46,   40,   40,   40,
 
598
       12,   47,   33,   34,   35,   36,   37,   38,   39,   40,
 
599
       41,   42,   40,   43,   40,   44,   45,   40,   40,   40,
 
600
       46,   40,   40,   40,   48,   12,   49,   14,   13,   15,
 
601
       16,   50,   18,   19,   20,   12,   21,   22,   23,   24,
 
602
       51,   26,   27,   28,   28,   12,   29,   30,   31,   32,
 
603
 
 
604
       52,   52,   53,   54,   55,   56,   57,   58,   59,   60,
 
605
       61,   59,   59,   62,   59,   63,   64,   63,   59,   65,
 
606
       66,   67,   59,   59,   59,   12,   47,   52,   53,   54,
 
607
       55,   56,   57,   58,   59,   60,   61,   59,   62,   59,
 
608
       63,   64,   59,   65,   66,   67,   59,   59,   59,   48,
 
609
       13,   14,   13,   85,   16,   13,   14,   13,  287,   16,
 
610
       13,   14,   13,  458,   71,   13,   14,   13,   86,   71,
 
611
       29,   69,   74,   12,   74,   29,   69,   77,   12,  136,
 
612
       29,  109,  110,  112,  113,   29,   12,   12,   14,   12,
 
613
       12,   12,   79,   12,   12,   12,   12,   12,   12,   12,
 
614
 
 
615
       12,   73,   12,   12,   12,   12,   12,   29,   12,   12,
 
616
       12,   13,   14,   13,   13,   14,   13,   81,   90,   91,
 
617
       96,   82,   78,  174,   93,   94,  143,  229,   92,   97,
 
618
      137,   29,   83,  458,   29,   95,   12,   12,   79,   74,
 
619
      145,   74,  274,   81,   99,   99,   99,   82,  458,  175,
 
620
      280,  280,  229,   77,  211,  265,   83,  212,  212,  212,
 
621
       12,   12,   12,   14,   12,   12,   12,  121,   12,   12,
 
622
       12,   12,   12,   12,   12,   12,   73,   12,   12,   12,
 
623
       12,   12,   29,   12,   12,   12,   99,   99,   99,  103,
 
624
      103,  104,  104,  121,  458,  105,  105,  458,   78,  458,
 
625
 
 
626
      266,  106,  106,  106,  106,  127,  458,  100,  458,  458,
 
627
      107,   12,   12,  365,  458,  103,  103,  104,  104,  368,
 
628
      129,  105,  105,  123,  124,  126,  106,  106,  125,  307,
 
629
      458,  128,  100,  157,  107,   12,   79,  458,  365,  114,
 
630
       87,   87,  133,  167,  368,   80,  129,  458,  123,  124,
 
631
       79,  126,  125,  307,  458,   80,   80,  128,  116,  157,
 
632
      117,  458,  134,  130,  118,  127,  133,  167,  131,  138,
 
633
      119,   74,  119,  434,  139,  458,   99,   99,   99,  171,
 
634
      161,  458,   80,  193,  116,  458,  117,  134,  143,  130,
 
635
      118,  162,  458,  131,   79,  119,   79,  151,  458,  120,
 
636
 
 
637
      458,  170,  145,  140,  171,   80,  161,   79,  193,  143,
 
638
      210,  458,  141,  142,  216,   80,   80,  162,  116,  458,
 
639
      117,  163,  151,  145,  118,  458,  165,  170,  164,  140,
 
640
      119,  166,  119,  146,  147,  210,  141,  142,  148,  216,
 
641
      158,  159,   80,   79,  116,  160,  117,  163,  189,  149,
 
642
      118,  446,  165,  164,   79,  119,  166,  458,  223,  146,
 
643
      147,  168,  169,   79,  148,  158,  159,  179,  442,  160,
 
644
      143,  180,  189,  149,  143,  190,  191,  114,  214,  458,
 
645
      192,  195,  223,  144,  145,  168,  169,  181,  145,  196,
 
646
      458,  458,  198,  144,  144,  458,  153,  458,  154,  232,
 
647
 
 
648
      190,  191,  155,  103,  214,  104,  192,  458,  156,  105,
 
649
      156,  458,   77,  174,  213,  106,  182,  106,  198,  241,
 
650
      144,  197,  153,  458,  154,  232,  222,  227,  155,  103,
 
651
      446,  104,  442,  156,  143,  105,  251,  120,  213,  175,
 
652
      106,  215,  226,  144,  241,  197,  458,  219,  145,  103,
 
653
      222,  104,  227,  144,  144,  105,  153,   78,  154,  295,
 
654
      251,  106,  155,  106,  458,  215,  434,  226,  156,  434,
 
655
      156,  458,   79,  219,  228,  103,  265,  104,  256,  140,
 
656
      144,  105,  153,  103,  154,  104,  106,  458,  155,  105,
 
657
      143,  300,  220,  156,  185,  106,  458,  106,  230,  231,
 
658
 
 
659
      228,  221,  186,  256,  145,  140,  458,  249,  418,  103,
 
660
      185,  104,  185,  185,  303,  105,  458,  185,  220,  265,
 
661
      106,  266,  230,  231,  185,  458,  221,  243,  185,  458,
 
662
      185,  233,  185,  249,  187,  188,  143,  304,  185,  185,
 
663
      303,  458,  253,  185,  418,  103,  458,  104,  458,  185,
 
664
      145,  105,  185,  243,  185,  233,  185,  106,  187,  106,
 
665
      103,  234,  104,  304,  266,  138,  105,   74,  253,  143,
 
666
      139,  103,  106,  104,  106,  143,  242,  105,   79,  200,
 
667
      143,  201,  106,  145,  143,  202,  103,  234,  104,  145,
 
668
      458,  203,  105,  203,  145,  458,  458,  106,  145,  140,
 
669
 
 
670
      242,  235,  236,  458,  240,  200,  458,  201,  141,  142,
 
671
      237,  202,   79,  239,  353,  353,  203,  238,  458,  246,
 
672
      458,  458,   79,   79,  244,  140,  235,  236,  458,   79,
 
673
      240,  250,  141,  142,  252,  245,  237,  254,  239,   77,
 
674
       79,  247,  238,  458,  305,  246,  276,  306,  244,  179,
 
675
      248,  272,  272,  180,  179,  250,   79,  255,  263,  252,
 
676
      245,  275,  282,  254,  279,  458,  458,  247,  284,  181,
 
677
      305,  458,  276,  306,  181,  248,  285,  212,  212,  212,
 
678
      277,  255,  257,  289,   78,  275,  257,  282,  458,  278,
 
679
      279,  212,  212,  212,  258,  458,  288,  458,  182,  458,
 
680
 
 
681
      294,  174,  257,  264,  257,  257,  277,  458,  286,  257,
 
682
      290,  458,  458,  458,  278,  458,  257,  291,  458,  301,
 
683
      257,  288,  257,  292,  257,  294,  259,  260,  458,   79,
 
684
      257,  257,  286,  143,  297,  257,  290,  308,  293,  298,
 
685
      296,  257,  143,  291,  257,  301,  257,  145,  257,  292,
 
686
      259,  179,   79,  458,  458,  267,  145,  458,  143,  268,
 
687
      297,  458,  458,  293,  299,  298,  296,  269,  309,  143,
 
688
      458,  181,  145,  143,  366,  268,  302,  268,  268,  318,
 
689
      206,  206,  268,  145,  317,  402,  174,  145,  299,  268,
 
690
      322,  326,  314,  268,  309,  268,  310,  268,  366,  270,
 
691
 
 
692
      271,  321,  302,  268,  268,  318,  316,  458,  268,  317,
 
693
      402,  143,  175,  358,  268,  322,  326,  268,  314,  268,
 
694
      310,  268,  359,  270,   77,  145,  321,  200,  200,  201,
 
695
      201,  316,  458,  202,  202,  311,  273,  273,  273,  203,
 
696
      203,  203,  203,  327,  143,  423,  273,  273,  273,  273,
 
697
      273,  273,  143,  200,  200,  201,  201,  323,  145,  202,
 
698
      202,  311,  364,  458,  203,  203,  145,  327,  315,   78,
 
699
      423,  458,  273,  273,  273,  273,  273,  273,  200,  200,
 
700
      201,  201,  458,  323,  202,  202,  458,  458,  364,  143,
 
701
      203,  203,  203,  203,  315,  458,  458,  458,  458,  458,
 
702
 
 
703
      331,  458,  319,  145,  200,  200,  201,  201,  320,  324,
 
704
      202,  202,  200,  312,  201,  203,  203,  325,  202,  328,
 
705
      332,  458,  313,  143,  203,  331,  203,  458,  319,  333,
 
706
      333,  329,  458,  330,  320,  324,  174,  145,  200,  312,
 
707
      201,   79,  358,  325,  202,  328,  332,  313,  179,  203,
 
708
      458,  359,  263,  400,  361,  329,  458,  330,  441,   79,
 
709
       79,  357,  175,  334,  334,  334,  347,  179,  181,   77,
 
710
      174,  180,  458,  334,  334,  334,  334,  334,  334,  400,
 
711
      361,  185,  185,  441,  349,  357,  179,  181,   79,  348,
 
712
      180,  179,  347,   79,   79,  180,  175,  264,  385,  334,
 
713
 
 
714
      334,  334,  334,  334,  334,  179,  181,  345,  345,  335,
 
715
      349,  181,  350,  336,   78,  348,  182,  458,  351,  352,
 
716
      458,  337,  458,  458,  385,  181,  458,  458,  367,  336,
 
717
      458,  336,  336,  403,   79,  182,  336,  355,  350,  458,
 
718
      182,  143,  458,  336,  351,  352,  356,  336,  362,  336,
 
719
      360,  336,  367,  338,  339,  145,  363,  336,  336,  403,
 
720
      392,  283,  336,  355,  177,  378,  458,  177,  336,  458,
 
721
      369,  336,  356,  336,  362,  336,  360,  338,  340,  143,
 
722
      363,  143,  341,  143,  458,  143,  392,  458,  143,  377,
 
723
      342,  378,  143,  145,  396,  145,  369,  145,  341,  145,
 
724
 
 
725
      341,  341,  145,  143,  370,  341,  145,  380,  372,  373,
 
726
      371,  143,  341,  375,  458,  377,  341,  145,  341,  396,
 
727
      341,  379,  343,  344,  374,  145,  341,  341,  376,  458,
 
728
      370,  341,   79,  380,  372,  373,  371,  341,  458,  375,
 
729
      341,  143,  341,  384,  341,  379,  343,  179,  358,  374,
 
730
      458,  180,  458,  458,  376,  145,  458,  359,  393,  404,
 
731
      381,  458,  458,  346,  346,  346,  382,  181,  384,  401,
 
732
       79,   79,  383,  346,  346,  346,  346,  346,  346,  265,
 
733
      458,  257,  257,  386,  393,  404,  381,  387,  174,  458,
 
734
      382,  390,  390,  401,  458,  394,  182,  395,  383,  346,
 
735
 
 
736
      346,  346,  346,  346,  346,  185,  185,  185,  411,  386,
 
737
      458,  387,  398,  143,  175,  185,  185,  185,  185,  185,
 
738
      185,  394,  458,  395,  266,  458,  458,  145,  418,  399,
 
739
      179,  179,  283,  411,  263,  263,  458,   79,  398,  397,
 
740
      143,  185,  185,  185,  185,  185,  185,  257,  257,  257,
 
741
      181,  181,  179,  399,  145,  194,  263,  257,  257,  257,
 
742
      257,  257,  257,  143,  397,  177,  420,  434,  388,  388,
 
743
      177,  424,  181,  405,  179,  458,  458,  145,  180,  264,
 
744
      264,  143,  143,  257,  257,  257,  257,  257,  257,  406,
 
745
      268,  268,  420,  458,  181,  145,  145,  424,  405,  143,
 
746
 
 
747
      143,  264,  179,  458,   79,  458,  263,  458,  407,  458,
 
748
      177,  415,  458,  145,  145,  406,  413,  458,  389,  389,
 
749
      389,  409,  181,  182,  408,  426,  410,  416,  389,  389,
 
750
      389,  389,  389,  389,  407,  415,  412,  436,  414,  417,
 
751
       79,  425,  413,  458,  422,  409,  458,  458,  458,  426,
 
752
      408,  264,  410,  416,  389,  389,  389,  389,  389,  389,
 
753
      265,  412,  436,  417,  414,  421,  419,  425,  422,  431,
 
754
      432,  439,  391,  391,  391,  435,  440,  265,  458,  143,
 
755
      143,  458,  391,  391,  391,  391,  391,  391,  458,  341,
 
756
      341,  421,  419,  145,  145,  431,  432,  439,  458,  458,
 
757
 
 
758
      435,  458,  440,  458,  427,  266,  428,  458,  391,  391,
 
759
      391,  391,  391,  391,  268,  268,  268,  179,  458,  437,
 
760
      450,  263,  266,  433,  268,  268,  268,  268,  268,  268,
 
761
      427,  143,  428,  336,  336,  143,   79,  181,  438,  442,
 
762
      458,  445,  143,  437,  143,  145,  450,  433,  143,  145,
 
763
      268,  268,  268,  268,  268,  268,  145,  224,  145,  429,
 
764
      430,  449,  145,  438,  446,  445,  264,  336,  336,  336,
 
765
      217,  447,  458,  443,  143,  444,  143,  336,  336,  336,
 
766
      336,  336,  336,  434,  458,  429,  430,  449,  145,  434,
 
767
      145,  458,  458,  446,  458,  434,  447,  458,  143,  443,
 
768
 
 
769
      444,  453,  458,  336,  336,  336,  336,  336,  336,  341,
 
770
      341,  341,  145,  448,  454,  458,  208,  458,  451,  341,
 
771
      341,  341,  341,  341,  341,  452,  458,  453,  455,  458,
 
772
      458,  456,  458,  207,  205,  204,   79,  194,   79,  448,
 
773
      454,  177,  451,  132,  457,  341,  341,  341,  341,  341,
 
774
      341,  452,  455,  458,  122,  135,  456,  132,  458,  122,
 
775
       79,  111,  101,   88,   84,   75,  458,  458,  458,  457,
 
776
       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
 
777
       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
 
778
       70,   70,   70,   70,   70,   70,   70,   70,   70,   70,
 
779
 
 
780
       70,   70,   70,   70,   70,   70,   70,   70,   70,   70,
 
781
       72,   72,   72,   72,   72,   72,   72,   72,   72,   72,
 
782
       72,   72,   72,   72,   72,   72,   72,   72,   72,   72,
 
783
       76,   76,  458,  458,   76,   76,   76,   76,   76,   76,
720
784
       76,   76,   76,   76,   76,   76,   76,   76,   76,   76,
 
785
       80,  458,  458,   80,   80,   80,  458,  458,   80,   80,
 
786
       80,   80,   80,  458,   80,   87,   87,  458,  458,  458,
 
787
       87,   87,   87,   87,   87,   87,   87,   87,   87,   87,
 
788
       87,   87,   87,   87,   87,   89,   89,   89,  458,  458,
 
789
       89,   89,   89,   89,   89,  458,   89,   98,  458,  458,
721
790
 
722
 
       76,   80,  401,  400,   80,   80,   80,  456,  456,   80,
723
 
      456,   80,   80,   80,   80,   80,   87,   87,   79,   79,
724
 
      456,   87,   87,   87,   87,   87,   87,   87,   87,   87,
725
 
       87,   87,   87,   87,   87,   87,   89,   89,   89,  456,
726
 
      456,   89,  456,   89,   89,   89,   89,   89,   98,  368,
727
 
      367,  366,   98,   98,  365,  364,   98,  456,   98,   98,
728
 
       98,   98,   98,  102,  102,  456,  456,  456,  283,  177,
729
 
      102,  102,  102,  102,  108,  108,  177,  108,  108,  108,
 
791
      458,   98,   98,  458,  458,   98,   98,   98,   98,   98,
 
792
      458,   98,  102,  102,  458,  458,  458,  102,  102,  102,
 
793
      102,  108,  108,  458,  108,  108,  108,  108,  108,  108,
730
794
      108,  108,  108,  108,  108,  108,  108,  108,  108,  108,
731
 
      108,  108,  108,  108,  116,  116,  456,  116,  116,  116,
 
795
      108,  115,  115,  458,  115,  115,  115,  458,  458,  115,
 
796
      115,  115,  115,  115,  458,  115,  144,  458,  458,  144,
 
797
      144,  144,  144,  458,  144,  144,  144,  144,  144,  458,
 
798
      144,  150,  458,  458,  458,  150,  150,  458,  458,  150,
 
799
      150,  150,  150,  150,  458,  150,  152,  152,  458,  152,
 
800
      152,  152,  152,  458,  152,  152,  152,  152,  152,  458,
732
801
 
733
 
      307,  306,  116,  305,  116,  116,  116,  116,  116,  144,
734
 
      304,  303,  144,  144,  144,  144,  456,  144,  456,  144,
735
 
      144,  144,  144,  144,  150,  456,  456,  283,  150,  150,
736
 
      194,  177,  150,  177,  150,  150,  150,  150,  150,  152,
737
 
      152,  177,  152,  152,  152,  152,  456,  152,  456,  152,
738
 
      152,  152,  152,  152,  172,  456,  456,  456,  232,  172,
739
 
      172,  172,  172,  172,  172,  172,  229,  172,  172,  172,
740
 
      172,  172,  172,  172,  173,  173,  224,  217,  173,  173,
 
802
      152,  172,  458,  458,  458,  458,  172,  172,  172,  172,
 
803
      172,  172,  172,  458,  172,  172,  172,  172,  172,  172,
 
804
      172,  173,  173,  458,  458,  173,  173,  173,  173,  173,
741
805
      173,  173,  173,  173,  173,  173,  173,  173,  173,  173,
742
 
      173,  173,  173,  173,  176,  176,  208,  456,  176,  176,
743
 
 
744
 
      176,  176,  176,  176,  176,  176,  456,  176,  176,  176,
745
 
      176,  176,  176,  176,  178,  178,  456,  456,  178,  178,
 
806
      173,  176,  176,  458,  458,  176,  176,  176,  176,  176,
 
807
      176,  176,  176,  458,  176,  176,  176,  176,  176,  176,
 
808
      176,  178,  178,  458,  458,  178,  178,  178,  178,  178,
746
809
      178,  178,  178,  178,  178,  178,  178,  178,  178,  178,
747
 
      178,  178,  178,  178,  183,  456,  207,  183,  183,  183,
748
 
      205,  204,  183,   79,  183,  183,  183,  183,  183,  184,
749
 
      194,   79,  177,  133,  456,  123,  133,  184,  456,  184,
750
 
      184,  184,  184,  184,   87,  123,   87,  114,   79,   87,
751
 
      111,  101,   88,   87,   87,   84,   87,   75,  456,   87,
752
 
      199,  199,  456,  456,  456,  456,  456,  199,  199,  199,
753
 
      199,  206,  206,  456,  456,  456,  206,  206,  206,  206,
 
810
      178,  183,  458,  458,  183,  183,  183,  458,  458,  183,
 
811
      183,  183,  183,  183,  458,  183,  184,  458,  458,  458,
754
812
 
 
813
      458,  458,  458,  458,  184,  184,  184,  184,  184,  458,
 
814
      184,   87,  458,   87,  458,  458,   87,  458,  458,  458,
 
815
       87,   87,  458,  458,   87,   87,  199,  199,  458,  458,
 
816
      458,  199,  199,  199,  199,  206,  206,  458,  458,  458,
755
817
      206,  206,  206,  206,  206,  206,  206,  206,  206,  206,
756
 
      206,  209,  456,  209,  209,  456,  456,  456,  456,  456,
757
 
      209,  209,  209,  209,  218,  456,  218,  218,  456,  456,
758
 
      456,  456,  456,  218,  218,  218,  218,  225,  456,  225,
759
 
      225,  456,  456,  456,  456,  456,  225,  225,  225,  225,
760
 
      261,  261,  456,  456,  261,  261,  261,  261,  261,  261,
761
 
      261,  261,  456,  261,  261,  261,  261,  261,  261,  261,
762
 
      262,  262,  456,  456,  262,  262,  262,  262,  262,  262,
763
 
      262,  262,  262,  262,  262,  262,  262,  262,  262,  262,
764
 
      181,  181,  456,  456,  181,  181,  181,  181,  181,  181,
765
 
 
766
 
      181,  181,  181,  181,  181,  181,  181,  181,  181,  181,
767
 
      281,  281,  456,  456,  456,  456,  456,  281,  281,  206,
768
 
      456,  206,  456,  456,  206,  456,  456,  456,  206,  206,
769
 
      456,  206,  456,  456,  206,   87,   87,  456,  456,  456,
770
 
      456,  456,   87,   87,  354,  354,  456,  456,  456,  456,
771
 
      456,  354,  354,  206,  206,  456,  456,  456,  456,  456,
772
 
      206,  206,   11,  456,  456,  456,  456,  456,  456,  456,
773
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
774
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
775
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
776
 
 
777
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
778
 
      456,  456,  456,  456,  456,  456,  456
 
818
      206,  206,  206,  206,  206,  209,  458,  209,  209,  458,
 
819
      458,  458,  209,  209,  209,  209,  218,  458,  218,  218,
 
820
      458,  458,  458,  218,  218,  218,  218,  225,  458,  225,
 
821
      225,  458,  458,  458,  225,  225,  225,  225,  261,  261,
 
822
      458,  458,  261,  261,  261,  261,  261,  261,  261,  261,
 
823
 
 
824
      458,  261,  261,  261,  261,  261,  261,  261,  262,  262,
 
825
      458,  458,  262,  262,  262,  262,  262,  262,  262,  262,
 
826
      262,  262,  262,  262,  262,  262,  262,  262,  181,  181,
 
827
      458,  458,  181,  181,  181,  181,  181,  181,  181,  181,
 
828
      181,  181,  181,  181,  181,  181,  181,  181,  281,  281,
 
829
      458,  458,  458,  281,  281,  206,  458,  206,  458,  458,
 
830
      206,  458,  458,  458,  206,  206,  458,  458,  206,  206,
 
831
       87,   87,  458,  458,  458,   87,   87,  354,  354,  458,
 
832
      458,  458,  354,  354,  206,  206,  458,  458,  458,  206,
 
833
      206,   11,  458,  458,  458,  458,  458,  458,  458,  458,
 
834
 
 
835
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
836
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
837
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
838
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
839
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
840
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
841
      458,  458,  458,  458,  458,  458,  458
779
842
    } ;
780
843
 
781
 
static yyconst flex_int16_t yy_chk[1718] =
 
844
static yyconst flex_int16_t yy_chk[2268] =
782
845
    {   0,
783
846
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
784
847
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
785
848
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
786
849
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
787
850
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
788
 
        1,    1,    1,    1,    2,    2,    2,    2,    2,    2,
789
 
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
790
 
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
791
 
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
792
 
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
793
 
 
794
 
        2,    2,    2,    2,    2,    2,    2,    2,    3,    3,
795
 
        3,   19,    3,    4,    4,    4,  455,    4,    5,    5,
796
 
        5,   52,    5,    6,    6,    6,   19,    6,    3,    3,
797
 
       13,    3,   13,    4,    4,   52,    4,  454,    5,   30,
798
 
       30,   32,   32,    6,    7,    7,    7,    7,    7,    7,
799
 
        7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
800
 
        7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
801
 
        7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
802
 
        7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
803
 
        7,    7,    7,    7,    7,    7,    7,    7,    9,    9,
804
 
 
805
 
        9,   10,   10,   10,   16,   17,   22,   22,   23,   23,
806
 
       37,   24,   25,   25,   25,   40,   22,   42,    9,   23,
807
 
       24,   10,   47,   39,   46,   43,   16,   64,   27,   28,
808
 
       27,   28,   37,   17,   27,   28,   25,   17,   44,   58,
809
 
       27,   28,   27,   28,   40,   60,   42,  124,   17,   27,
810
 
       35,   43,   48,   35,   55,   39,   39,   47,  386,   35,
811
 
       39,   46,   76,   57,   64,   66,  386,   44,   58,   35,
812
 
       35,   61,   44,   35,   60,   35,   55,   35,   51,   51,
813
 
       51,   35,   48,   67,   76,  124,   49,   35,   49,   35,
814
 
       36,   49,   50,   36,   66,   57,   57,   61,   83,   36,
815
 
 
816
 
       57,   65,   51,   74,   61,   74,   50,   79,   62,   36,
817
 
       36,   69,   81,   36,   69,   36,  129,   36,   67,   50,
818
 
       50,   36,  453,   49,   50,   82,   71,   36,  100,   36,
819
 
       71,  162,   49,   49,   83,   50,   53,   62,  326,   53,
820
 
       65,   65,   62,  129,  126,   53,   71,   81,   81,   88,
821
 
       53,   79,   71,  125,   82,   53,   53,   88,  162,   53,
822
 
      100,   53,  122,   53,   99,   99,   99,   53,  102,  130,
823
 
      102,  131,  132,   53,  102,   53,   54,  125,  326,   54,
824
 
      102,  126,  102,  123,  134,   54,  123,  123,  123,  127,
825
 
       54,  135,   88,  130,  122,   54,   54,  164,  103,   54,
826
 
 
827
 
      103,   54,  130,   54,  103,  158,  139,   54,  143,  131,
828
 
      103,  139,  103,   54,  132,   54,   78,  104,  134,  104,
829
 
      164,  127,  143,  104,   78,  209,  135,  141,  141,  104,
830
 
      209,  104,   78,  105,   78,  105,  450,   78,   78,  105,
831
 
      144,  157,   78,  158,  106,  105,  106,  105,  160,   78,
832
 
      106,  166,  143,   78,  144,   78,  106,   78,  106,   78,
833
 
      107,  146,  107,  138,  150,  138,  107,  147,  138,  148,
834
 
      149,  159,  107,  157,  107,  146,  151,  165,  150,  161,
835
 
      163,  147,  167,  148,  149,  160,  170,  171,  168,  146,
836
 
      151,  173,  169,  166,  173,  159,  181,  185,  148,  190,
837
 
 
838
 
      138,  448,  147,  147,  163,  148,  149,  191,  151,  138,
839
 
      138,  161,  446,  163,  169,  165,  167,  168,  181,  185,
840
 
      186,  198,  171,  178,  179,  170,  175,  178,  179,  216,
841
 
      175,  189,  186,  186,  191,  189,  210,  193,  175,  192,
842
 
      190,  221,  186,  178,  179,  175,  175,  213,  175,  178,
843
 
      179,  175,  175,  196,  196,  330,  175,  198,  211,  211,
844
 
      211,  216,  215,  175,  193,  221,  192,  175,  207,  175,
845
 
      210,  175,  213,  175,  182,  192,  207,  199,  182,  199,
846
 
      218,  219,  182,  199,  330,  218,  355,  225,  220,  199,
847
 
      182,  199,  225,  200,  182,  200,  215,  358,  182,  200,
848
 
 
849
 
      182,  280,  280,  182,  182,  200,  358,  200,  182,  219,
850
 
      201,  207,  201,  220,  233,  182,  201,  355,  233,  182,
851
 
      222,  182,  201,  182,  201,  182,  188,  226,  233,  202,
852
 
      203,  202,  203,  227,  214,  202,  203,  212,  188,  188,
853
 
      188,  202,  203,  202,  203,  212,  212,  212,  188,  241,
854
 
      226,  188,  188,  188,  188,  188,  188,  214,  227,  222,
855
 
      234,  235,  238,  214,  236,  237,  239,  240,  246,  242,
856
 
      244,  248,  247,  245,  234,  235,  238,  243,  236,  237,
857
 
      239,  240,  249,  241,  250,  252,  253,  254,  238,  234,
858
 
      255,  236,  237,  239,  242,  248,  246,  247,  276,  256,
859
 
 
860
 
      243,  237,  235,  240,  244,  245,  243,  257,  252,  442,
861
 
      257,  258,  258,  262,  249,  285,  285,  262,  258,  440,
862
 
      275,  258,  255,  250,  256,  253,  254,  260,  260,  260,
863
 
      276,  267,  268,  262,  260,  267,  268,  260,  278,  262,
864
 
      260,  260,  260,  260,  260,  260,  264,  272,  275,  277,
865
 
      264,  267,  268,  279,  264,  282,  288,  267,  268,  272,
866
 
      272,  298,  264,  292,  293,  278,  264,  317,  297,  272,
867
 
      264,  301,  264,  439,  320,  264,  264,  277,  302,  288,
868
 
      264,  279,  434,  282,  325,  309,  298,  264,  269,  292,
869
 
      317,  264,  269,  264,  297,  264,  301,  264,  266,  309,
870
 
 
871
 
      320,  293,  266,  294,  269,  269,  324,  313,  269,  325,
872
 
      266,  294,  294,  314,  269,  302,  310,  309,  266,  311,
873
 
      266,  313,  321,  266,  266,  340,  312,  314,  266,  322,
874
 
      310,  332,  324,  311,  313,  266,  328,  322,  322,  266,
875
 
      312,  266,  315,  266,  310,  266,  271,  340,  314,  331,
876
 
      271,  311,  329,  370,  312,  376,  315,  316,  350,  321,
877
 
      426,  328,  271,  271,  271,  341,  271,  370,  332,  376,
878
 
      315,  316,  271,  348,  331,  271,  271,  271,  271,  271,
879
 
      271,  273,  273,  273,  329,  316,  350,  341,  335,  336,
880
 
      349,  357,  335,  336,  273,  273,  273,  273,  273,  273,
881
 
 
882
 
      333,  333,  348,  353,  353,  351,  362,  333,  335,  336,
883
 
      333,  334,  334,  334,  335,  336,  337,  394,  342,  349,
884
 
      337,  369,  361,  357,  334,  334,  334,  334,  334,  334,
885
 
      342,  342,  337,  337,  351,  369,  337,  371,  374,  372,
886
 
      342,  375,  337,  339,  362,  425,  394,  339,  361,  377,
887
 
      379,  371,  374,  372,  384,  375,  383,  369,  385,  339,
888
 
      339,  339,  381,  339,  395,  382,  371,  345,  372,  339,
889
 
      375,  345,  339,  339,  339,  339,  339,  339,  344,  384,
890
 
      377,  374,  379,  345,  345,  373,  417,  345,  381,  382,
891
 
      344,  344,  344,  345,  383,  397,  395,  385,  399,  373,
892
 
 
893
 
      344,  406,  424,  344,  344,  344,  344,  344,  344,  346,
894
 
      346,  346,  388,  373,  420,  406,  388,  405,  417,  423,
895
 
      397,  390,  346,  346,  346,  346,  346,  346,  388,  388,
896
 
      407,  405,  388,  390,  390,  408,  399,  412,  388,  389,
897
 
      389,  389,  414,  390,  407,  405,  415,  410,  421,  408,
898
 
      420,  409,  389,  389,  389,  389,  389,  389,  391,  391,
899
 
      391,  410,  412,  422,  408,  409,  431,  414,  428,  416,
900
 
      433,  391,  391,  391,  391,  391,  391,  416,  409,  410,
901
 
      427,  429,  428,  432,  415,  427,  430,  436,  435,  421,
902
 
      438,  432,  437,  441,  445,  429,  435,  422,  447,  427,
903
 
 
904
 
      430,  443,  444,  419,  433,  449,  443,  431,  452,  429,
905
 
      451,  418,  413,  411,  404,  436,  444,  437,  403,  445,
906
 
      443,  435,  430,  402,  451,  401,  441,  438,  400,  398,
907
 
      444,  396,  393,  392,  387,  447,  380,  449,  378,  368,
908
 
      452,  457,  457,  457,  457,  457,  457,  457,  457,  457,
909
 
      457,  457,  457,  457,  457,  457,  457,  457,  457,  457,
910
 
      457,  458,  458,  458,  458,  458,  458,  458,  458,  458,
911
 
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
912
 
      458,  459,  459,  367,  366,  459,  459,  459,  459,  459,
913
 
      459,  459,  459,  459,  459,  459,  459,  459,  459,  459,
914
 
 
915
 
      459,  460,  365,  364,  460,  460,  460,  363,  360,  460,
916
 
      356,  460,  460,  460,  460,  460,  461,  461,  352,  347,
917
 
      327,  461,  461,  461,  461,  461,  461,  461,  461,  461,
918
 
      461,  461,  461,  461,  461,  461,  462,  462,  462,  323,
919
 
      319,  462,  318,  462,  462,  462,  462,  462,  463,  307,
920
 
      306,  305,  463,  463,  304,  303,  463,  299,  463,  463,
921
 
      463,  463,  463,  464,  464,  296,  291,  290,  284,  263,
922
 
      464,  464,  464,  464,  465,  465,  261,  465,  465,  465,
923
 
      465,  465,  465,  465,  465,  465,  465,  465,  465,  465,
924
 
      465,  465,  465,  465,  466,  466,  251,  466,  466,  466,
925
 
 
926
 
      232,  231,  466,  230,  466,  466,  466,  466,  466,  467,
927
 
      229,  228,  467,  467,  467,  467,  224,  467,  223,  467,
928
 
      467,  467,  467,  467,  468,  217,  208,  206,  468,  468,
929
 
      195,  180,  468,  177,  468,  468,  468,  468,  468,  469,
930
 
      469,  176,  469,  469,  469,  469,  156,  469,  155,  469,
931
 
      469,  469,  469,  469,  470,  154,  153,  152,  142,  470,
932
 
      470,  470,  470,  470,  470,  470,  140,  470,  470,  470,
933
 
      470,  470,  470,  470,  471,  471,  133,  128,  471,  471,
934
 
      471,  471,  471,  471,  471,  471,  471,  471,  471,  471,
935
 
      471,  471,  471,  471,  472,  472,  121,  120,  472,  472,
936
 
 
937
 
      472,  472,  472,  472,  472,  472,  119,  472,  472,  472,
938
 
      472,  472,  472,  472,  473,  473,  118,  117,  473,  473,
939
 
      473,  473,  473,  473,  473,  473,  473,  473,  473,  473,
940
 
      473,  473,  473,  473,  474,  116,  115,  474,  474,  474,
941
 
      113,  109,  474,   98,  474,  474,  474,  474,  474,  475,
942
 
       87,   80,   70,   63,   59,   56,   45,  475,   41,  475,
943
 
      475,  475,  475,  475,  476,   38,  476,   34,   33,  476,
944
 
       31,   26,   20,  476,  476,   18,  476,   15,   11,  476,
945
 
      477,  477,    0,    0,    0,    0,    0,  477,  477,  477,
946
 
      477,  478,  478,    0,    0,    0,  478,  478,  478,  478,
947
 
 
948
 
      478,  478,  478,  478,  478,  478,  478,  478,  478,  478,
949
 
      478,  479,    0,  479,  479,    0,    0,    0,    0,    0,
950
 
      479,  479,  479,  479,  480,    0,  480,  480,    0,    0,
951
 
        0,    0,    0,  480,  480,  480,  480,  481,    0,  481,
952
 
      481,    0,    0,    0,    0,    0,  481,  481,  481,  481,
953
 
      482,  482,    0,    0,  482,  482,  482,  482,  482,  482,
954
 
      482,  482,    0,  482,  482,  482,  482,  482,  482,  482,
955
 
      483,  483,    0,    0,  483,  483,  483,  483,  483,  483,
956
 
      483,  483,  483,  483,  483,  483,  483,  483,  483,  483,
957
 
      484,  484,    0,    0,  484,  484,  484,  484,  484,  484,
958
 
 
959
 
      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
960
 
      485,  485,    0,    0,    0,    0,    0,  485,  485,  486,
961
 
        0,  486,    0,    0,  486,    0,    0,    0,  486,  486,
962
 
        0,  486,    0,    0,  486,  487,  487,    0,    0,    0,
963
 
        0,    0,  487,  487,  488,  488,    0,    0,    0,    0,
964
 
        0,  488,  488,  489,  489,    0,    0,    0,    0,    0,
965
 
      489,  489,  456,  456,  456,  456,  456,  456,  456,  456,
966
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
967
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
968
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
969
 
 
970
 
      456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
971
 
      456,  456,  456,  456,  456,  456,  456
 
851
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
852
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
853
        1,    1,    1,    1,    1,    2,    2,    2,    2,    2,
 
854
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
855
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
856
 
 
857
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
858
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
859
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
860
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
861
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
862
        3,    3,    3,   19,    3,    4,    4,    4,  209,    4,
 
863
        5,    5,    5,  209,    5,    6,    6,    6,   19,    6,
 
864
        3,    3,   13,    3,   13,    4,    4,   16,    4,   48,
 
865
        5,   30,   30,   32,   32,    6,    7,    7,    7,    7,
 
866
        7,    7,   17,    7,    7,    7,    7,    7,    7,    7,
 
867
 
 
868
        7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
 
869
        7,    9,    9,    9,   10,   10,   10,   17,   22,   22,
 
870
       24,   17,   16,   69,   23,   23,   52,  140,   22,   24,
 
871
       48,    9,   17,  457,   10,   23,    7,    7,  189,   74,
 
872
       52,   74,  189,   17,   99,   99,   99,   17,   36,   69,
 
873
      196,  196,  140,   76,  122,  181,   17,  122,  122,  122,
 
874
        7,    8,    8,    8,    8,    8,    8,   36,    8,    8,
 
875
        8,    8,    8,    8,    8,    8,    8,    8,    8,    8,
 
876
        8,    8,    8,    8,    8,    8,   25,   25,   25,   27,
 
877
       28,   27,   28,   36,   38,   27,   28,   42,   76,   39,
 
878
 
 
879
      181,   27,   28,   27,   28,   41,  456,   25,   45,   64,
 
880
       27,    8,    8,  304,   55,   27,   28,   27,   28,  307,
 
881
       42,   27,   28,   38,   38,   39,   27,   28,   38,  232,
 
882
       46,   41,   25,   55,   27,    8,   34,   43,  304,   34,
 
883
      280,  280,   45,   64,  307,   34,   42,   67,   38,   38,
 
884
       83,   39,   38,  232,   58,   34,   34,   41,   34,   55,
 
885
       34,  455,   46,   43,   34,   60,   45,   64,   43,   49,
 
886
       34,   49,   34,  452,   49,   66,   51,   51,   51,   67,
 
887
       58,  121,   34,   83,   34,  126,   34,   46,  144,   43,
 
888
       34,   60,  451,   43,  449,   34,   35,   51,   61,   35,
 
889
 
 
890
       62,   66,  144,   49,   67,   35,   58,   79,   83,   50,
 
891
      121,   57,   49,   49,  126,   35,   35,   60,   35,  131,
 
892
       35,   61,   51,   50,   35,   65,   62,   66,   61,   49,
 
893
       35,   62,   35,   50,   50,  121,   49,   49,   50,  126,
 
894
       57,   57,   35,   81,   35,   57,   35,   61,   79,   50,
 
895
       35,  446,   62,   61,   82,   35,   62,  124,  131,   50,
 
896
       50,   65,   65,  100,   50,   57,   57,   71,  442,   57,
 
897
      150,   71,   79,   50,   53,   81,   81,   53,  124,  123,
 
898
       82,   88,  131,   53,  150,   65,   65,   71,   53,   88,
 
899
      157,  130,  100,   53,   53,  134,   53,  166,   53,  142,
 
900
 
 
901
       81,   81,   53,  102,  124,  102,   82,  125,   53,  102,
 
902
       53,  133,  185,  173,  123,  102,   71,  102,  100,  157,
 
903
       53,   88,   53,  128,   53,  142,  130,  134,   53,  102,
 
904
      440,  102,  439,   53,   54,  102,  166,   54,  123,  173,
 
905
      102,  125,  133,   54,  157,   88,  171,  128,   54,  103,
 
906
      130,  103,  134,   54,   54,  103,   54,  185,   54,  218,
 
907
      166,  103,   54,  103,  218,  125,  434,  133,   54,  425,
 
908
       54,  129,  419,  128,  139,  103,  340,  103,  171,  139,
 
909
       54,  103,   54,  104,   54,  104,  103,  164,   54,  104,
 
910
      143,  225,  129,   54,   78,  104,  225,  104,  141,  141,
 
911
 
 
912
      139,  129,   78,  171,  143,  139,  159,  164,  418,  104,
 
913
       78,  104,   78,   78,  228,  104,  168,   78,  129,  341,
 
914
      104,  340,  141,  141,   78,  413,  129,  159,   78,  411,
 
915
       78,  143,   78,  164,   78,   78,  146,  229,   78,   78,
 
916
      228,  158,  168,   78,  404,  105,  398,  105,  396,   78,
 
917
      146,  105,   78,  159,   78,  143,   78,  105,   78,  105,
 
918
      106,  146,  106,  229,  341,  138,  106,  138,  168,  147,
 
919
      138,  105,  106,  105,  106,  151,  158,  105,  393,  107,
 
920
      149,  107,  105,  147,  148,  107,  106,  146,  106,  151,
 
921
      160,  107,  106,  107,  149,  162,  165,  106,  148,  138,
 
922
 
 
923
      158,  147,  147,  167,  151,  107,  161,  107,  138,  138,
 
924
      148,  107,  392,  149,  285,  285,  107,  148,  169,  162,
 
925
      163,  170,  191,  190,  160,  138,  147,  147,  387,  198,
 
926
      151,  165,  138,  138,  167,  161,  148,  169,  149,  186,
 
927
      193,  163,  148,  380,  230,  162,  191,  231,  160,  178,
 
928
      163,  186,  186,  178,  179,  165,  192,  170,  179,  167,
 
929
      161,  190,  198,  169,  193,  210,  378,  163,  207,  178,
 
930
      230,  216,  191,  231,  179,  163,  207,  211,  211,  211,
 
931
      192,  170,  175,  212,  186,  190,  175,  198,  213,  192,
 
932
      193,  212,  212,  212,  175,  363,  210,  214,  178,  226,
 
933
 
 
934
      216,  175,  175,  179,  175,  175,  192,  215,  207,  175,
 
935
      213,  360,  220,  356,  192,  219,  175,  214,  221,  226,
 
936
      175,  210,  175,  214,  175,  216,  175,  175,  222,  352,
 
937
      175,  175,  207,  233,  220,  175,  213,  233,  215,  221,
 
938
      219,  175,  234,  214,  175,  226,  175,  233,  175,  214,
 
939
      175,  182,  347,  241,  227,  182,  234,  242,  235,  182,
 
940
      220,  245,  249,  215,  222,  221,  219,  182,  234,  238,
 
941
      244,  182,  235,  240,  305,  182,  227,  182,  182,  242,
 
942
      353,  353,  182,  238,  241,  366,  257,  240,  222,  182,
 
943
      245,  249,  238,  182,  234,  182,  235,  182,  305,  182,
 
944
 
 
945
      182,  244,  227,  182,  182,  242,  240,  250,  182,  241,
 
946
      366,  236,  257,  358,  182,  245,  249,  182,  238,  182,
 
947
      235,  182,  358,  182,  187,  236,  244,  199,  200,  199,
 
948
      200,  240,  246,  199,  200,  236,  187,  187,  187,  199,
 
949
      200,  199,  200,  250,  239,  400,  187,  187,  187,  187,
 
950
      187,  187,  370,  199,  200,  199,  200,  246,  239,  199,
 
951
      200,  236,  303,  327,  199,  200,  370,  250,  239,  187,
 
952
      400,  255,  187,  187,  187,  187,  187,  187,  201,  202,
 
953
      201,  202,  243,  246,  201,  202,  323,  247,  303,  237,
 
954
      201,  202,  201,  202,  239,  253,  248,  254,  256,  252,
 
955
 
 
956
      255,  319,  243,  237,  201,  202,  201,  202,  243,  247,
 
957
      201,  202,  203,  237,  203,  201,  202,  248,  203,  252,
 
958
      256,  318,  237,  376,  203,  255,  203,  293,  243,  258,
 
959
      258,  253,  298,  254,  243,  247,  258,  376,  203,  237,
 
960
      203,  275,  294,  248,  203,  252,  256,  237,  262,  203,
 
961
      294,  294,  262,  364,  298,  253,  299,  254,  426,  277,
 
962
      276,  293,  258,  259,  259,  259,  275,  267,  262,  272,
 
963
      259,  267,  330,  259,  259,  259,  259,  259,  259,  364,
 
964
      298,  272,  272,  426,  277,  293,  268,  267,  278,  276,
 
965
      268,  269,  275,  279,  282,  269,  259,  262,  330,  259,
 
966
 
 
967
      259,  259,  259,  259,  259,  264,  268,  269,  269,  264,
 
968
      277,  269,  278,  264,  272,  276,  267,  288,  279,  282,
 
969
      296,  264,  302,  292,  330,  264,  301,  297,  306,  264,
 
970
      291,  264,  264,  367,  348,  268,  264,  288,  278,  290,
 
971
      269,  309,  320,  264,  279,  282,  292,  264,  301,  264,
 
972
      297,  264,  306,  264,  264,  309,  302,  264,  264,  367,
 
973
      348,  284,  264,  288,  263,  320,  355,  261,  264,  317,
 
974
      309,  264,  292,  264,  301,  264,  297,  264,  266,  310,
 
975
      302,  311,  266,  312,  324,  313,  348,  321,  315,  317,
 
976
      266,  320,  314,  310,  355,  311,  309,  312,  266,  313,
 
977
 
 
978
      266,  266,  315,  316,  310,  266,  314,  324,  312,  313,
 
979
      311,  406,  266,  315,  329,  317,  266,  316,  266,  355,
 
980
      266,  321,  266,  266,  314,  406,  266,  266,  316,  326,
 
981
      310,  266,  349,  324,  312,  313,  311,  266,  325,  315,
 
982
      266,  407,  266,  329,  266,  321,  266,  270,  322,  314,
 
983
      328,  270,  251,  332,  316,  407,  322,  322,  349,  368,
 
984
      325,  331,  224,  270,  270,  270,  326,  270,  329,  365,
 
985
      350,  351,  328,  270,  270,  270,  270,  270,  270,  342,
 
986
      377,  333,  333,  331,  349,  368,  325,  332,  333,  361,
 
987
      326,  342,  342,  365,  362,  350,  270,  351,  328,  270,
 
988
 
 
989
      270,  270,  270,  270,  270,  273,  273,  273,  377,  331,
 
990
      357,  332,  361,  428,  333,  273,  273,  273,  273,  273,
 
991
      273,  350,  223,  351,  342,  217,  208,  428,  386,  362,
 
992
      335,  336,  206,  377,  335,  336,  386,  395,  361,  357,
 
993
      369,  273,  273,  273,  273,  273,  273,  334,  334,  334,
 
994
      335,  336,  337,  362,  369,  195,  337,  334,  334,  334,
 
995
      334,  334,  334,  371,  357,  180,  395,  416,  337,  337,
 
996
      177,  401,  337,  369,  345,  416,  383,  371,  345,  335,
 
997
      336,  374,  372,  334,  334,  334,  334,  334,  334,  371,
 
998
      345,  345,  395,  381,  345,  374,  372,  401,  369,  373,
 
999
 
 
1000
      375,  337,  338,  385,  420,  384,  338,  379,  372,  399,
 
1001
      176,  383,  156,  373,  375,  371,  381,  382,  338,  338,
 
1002
      338,  374,  338,  345,  373,  403,  375,  384,  338,  338,
 
1003
      338,  338,  338,  338,  372,  383,  379,  420,  382,  385,
 
1004
      394,  402,  381,  397,  399,  374,  417,  412,  414,  403,
 
1005
      373,  338,  375,  384,  338,  338,  338,  338,  338,  338,
 
1006
      343,  379,  420,  385,  382,  397,  394,  402,  399,  412,
 
1007
      414,  423,  343,  343,  343,  417,  424,  390,  155,  405,
 
1008
      408,  421,  343,  343,  343,  343,  343,  343,  415,  390,
 
1009
      390,  397,  394,  405,  408,  412,  414,  423,  437,  154,
 
1010
 
 
1011
      417,  153,  424,  431,  405,  343,  408,  422,  343,  343,
 
1012
      343,  343,  343,  343,  346,  346,  346,  388,  152,  421,
 
1013
      437,  388,  390,  415,  346,  346,  346,  346,  346,  346,
 
1014
      405,  410,  408,  388,  388,  409,  436,  388,  422,  427,
 
1015
      433,  431,  430,  421,  427,  410,  437,  415,  429,  409,
 
1016
      346,  346,  346,  346,  346,  346,  430,  132,  427,  409,
 
1017
      410,  436,  429,  422,  432,  431,  388,  389,  389,  389,
 
1018
      127,  433,  432,  429,  453,  430,  444,  389,  389,  389,
 
1019
      389,  389,  389,  435,  438,  409,  410,  436,  453,  448,
 
1020
      444,  435,  445,  443,  447,  441,  433,  448,  443,  429,
 
1021
 
 
1022
      430,  444,  450,  389,  389,  389,  389,  389,  389,  391,
 
1023
      391,  391,  443,  435,  445,  454,  120,  119,  438,  391,
 
1024
      391,  391,  391,  391,  391,  441,  118,  444,  447,  117,
 
1025
      116,  450,  115,  114,  113,  109,   98,   87,   80,  435,
 
1026
      445,   70,  438,   63,  454,  391,  391,  391,  391,  391,
 
1027
      391,  441,  447,   59,   56,   47,  450,   44,   40,   37,
 
1028
       33,   31,   26,   20,   18,   15,   11,    0,    0,  454,
 
1029
      459,  459,  459,  459,  459,  459,  459,  459,  459,  459,
 
1030
      459,  459,  459,  459,  459,  459,  459,  459,  459,  459,
 
1031
      460,  460,  460,  460,  460,  460,  460,  460,  460,  460,
 
1032
 
 
1033
      460,  460,  460,  460,  460,  460,  460,  460,  460,  460,
 
1034
      461,  461,  461,  461,  461,  461,  461,  461,  461,  461,
 
1035
      461,  461,  461,  461,  461,  461,  461,  461,  461,  461,
 
1036
      462,  462,    0,    0,  462,  462,  462,  462,  462,  462,
 
1037
      462,  462,  462,  462,  462,  462,  462,  462,  462,  462,
 
1038
      463,    0,    0,  463,  463,  463,    0,    0,  463,  463,
 
1039
      463,  463,  463,    0,  463,  464,  464,    0,    0,    0,
 
1040
      464,  464,  464,  464,  464,  464,  464,  464,  464,  464,
 
1041
      464,  464,  464,  464,  464,  465,  465,  465,    0,    0,
 
1042
      465,  465,  465,  465,  465,    0,  465,  466,    0,    0,
 
1043
 
 
1044
        0,  466,  466,    0,    0,  466,  466,  466,  466,  466,
 
1045
        0,  466,  467,  467,    0,    0,    0,  467,  467,  467,
 
1046
      467,  468,  468,    0,  468,  468,  468,  468,  468,  468,
 
1047
      468,  468,  468,  468,  468,  468,  468,  468,  468,  468,
 
1048
      468,  469,  469,    0,  469,  469,  469,    0,    0,  469,
 
1049
      469,  469,  469,  469,    0,  469,  470,    0,    0,  470,
 
1050
      470,  470,  470,    0,  470,  470,  470,  470,  470,    0,
 
1051
      470,  471,    0,    0,    0,  471,  471,    0,    0,  471,
 
1052
      471,  471,  471,  471,    0,  471,  472,  472,    0,  472,
 
1053
      472,  472,  472,    0,  472,  472,  472,  472,  472,    0,
 
1054
 
 
1055
      472,  473,    0,    0,    0,    0,  473,  473,  473,  473,
 
1056
      473,  473,  473,    0,  473,  473,  473,  473,  473,  473,
 
1057
      473,  474,  474,    0,    0,  474,  474,  474,  474,  474,
 
1058
      474,  474,  474,  474,  474,  474,  474,  474,  474,  474,
 
1059
      474,  475,  475,    0,    0,  475,  475,  475,  475,  475,
 
1060
      475,  475,  475,    0,  475,  475,  475,  475,  475,  475,
 
1061
      475,  476,  476,    0,    0,  476,  476,  476,  476,  476,
 
1062
      476,  476,  476,  476,  476,  476,  476,  476,  476,  476,
 
1063
      476,  477,    0,    0,  477,  477,  477,    0,    0,  477,
 
1064
      477,  477,  477,  477,    0,  477,  478,    0,    0,    0,
 
1065
 
 
1066
        0,    0,    0,    0,  478,  478,  478,  478,  478,    0,
 
1067
      478,  479,    0,  479,    0,    0,  479,    0,    0,    0,
 
1068
      479,  479,    0,    0,  479,  479,  480,  480,    0,    0,
 
1069
        0,  480,  480,  480,  480,  481,  481,    0,    0,    0,
 
1070
      481,  481,  481,  481,  481,  481,  481,  481,  481,  481,
 
1071
      481,  481,  481,  481,  481,  482,    0,  482,  482,    0,
 
1072
        0,    0,  482,  482,  482,  482,  483,    0,  483,  483,
 
1073
        0,    0,    0,  483,  483,  483,  483,  484,    0,  484,
 
1074
      484,    0,    0,    0,  484,  484,  484,  484,  485,  485,
 
1075
        0,    0,  485,  485,  485,  485,  485,  485,  485,  485,
 
1076
 
 
1077
        0,  485,  485,  485,  485,  485,  485,  485,  486,  486,
 
1078
        0,    0,  486,  486,  486,  486,  486,  486,  486,  486,
 
1079
      486,  486,  486,  486,  486,  486,  486,  486,  487,  487,
 
1080
        0,    0,  487,  487,  487,  487,  487,  487,  487,  487,
 
1081
      487,  487,  487,  487,  487,  487,  487,  487,  488,  488,
 
1082
        0,    0,    0,  488,  488,  489,    0,  489,    0,    0,
 
1083
      489,    0,    0,    0,  489,  489,    0,    0,  489,  489,
 
1084
      490,  490,    0,    0,    0,  490,  490,  491,  491,    0,
 
1085
        0,    0,  491,  491,  492,  492,    0,    0,    0,  492,
 
1086
      492,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
1087
 
 
1088
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
1089
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
1090
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
1091
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
1092
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
1093
      458,  458,  458,  458,  458,  458,  458,  458,  458,  458,
 
1094
      458,  458,  458,  458,  458,  458,  458
972
1095
    } ;
973
1096
 
974
1097
static yy_state_type yy_last_accepting_state;
1043
1166
int force_decimal; /* Used to force radix to decimal for some directives */
1044
1167
int force_ident; /* Used to force numbers to identifiers for processor names */
1045
1168
 
1046
 
#line 1047 "scan.c"
 
1169
#line 1170 "scan.c"
1047
1170
 
1048
1171
#define INITIAL 0
1049
1172
#define bquote 1
1065
1188
 
1066
1189
static int yy_init_globals (void );
1067
1190
 
 
1191
/* Accessor methods to globals.
 
1192
   These are made visible to non-reentrant scanners for convenience. */
 
1193
 
 
1194
int yylex_destroy (void );
 
1195
 
 
1196
int yyget_debug (void );
 
1197
 
 
1198
void yyset_debug (int debug_flag  );
 
1199
 
 
1200
YY_EXTRA_TYPE yyget_extra (void );
 
1201
 
 
1202
void yyset_extra (YY_EXTRA_TYPE user_defined  );
 
1203
 
 
1204
FILE *yyget_in (void );
 
1205
 
 
1206
void yyset_in  (FILE * in_str  );
 
1207
 
 
1208
FILE *yyget_out (void );
 
1209
 
 
1210
void yyset_out  (FILE * out_str  );
 
1211
 
 
1212
int yyget_leng (void );
 
1213
 
 
1214
char *yyget_text (void );
 
1215
 
 
1216
int yyget_lineno (void );
 
1217
 
 
1218
void yyset_lineno (int line_number  );
 
1219
 
1068
1220
/* Macros after this point can all be overridden by user definitions in
1069
1221
 * section 1.
1070
1222
 */
1107
1259
/* This used to be an fputs(), but since the string might contain NUL's,
1108
1260
 * we now use fwrite().
1109
1261
 */
1110
 
#define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
 
1262
#define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
1111
1263
#endif
1112
1264
 
1113
1265
/* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
1205
1357
    
1206
1358
#line 68 "scan.l"
1207
1359
 
1208
 
#line 1209 "scan.c"
 
1360
#line 1361 "scan.c"
1209
1361
 
1210
1362
        if ( !(yy_init) )
1211
1363
                {
1259
1411
                        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1260
1412
                                {
1261
1413
                                yy_current_state = (int) yy_def[yy_current_state];
1262
 
                                if ( yy_current_state >= 457 )
 
1414
                                if ( yy_current_state >= 459 )
1263
1415
                                        yy_c = yy_meta[(unsigned int) yy_c];
1264
1416
                                }
1265
1417
                        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1266
1418
                        ++yy_cp;
1267
1419
                        }
1268
 
                while ( yy_base[yy_current_state] != 1663 );
 
1420
                while ( yy_base[yy_current_state] != 2192 );
1269
1421
 
1270
1422
yy_find_action:
1271
1423
                yy_act = yy_accept[yy_current_state];
1972
2124
#line 455 "scan.l"
1973
2125
ECHO;
1974
2126
        YY_BREAK
1975
 
#line 1976 "scan.c"
 
2127
#line 2128 "scan.c"
1976
2128
 
1977
2129
        case YY_END_OF_BUFFER:
1978
2130
                {
2201
2353
 
2202
2354
                /* Read in more data. */
2203
2355
                YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
2204
 
                        (yy_n_chars), num_to_read );
 
2356
                        (yy_n_chars), (size_t) num_to_read );
2205
2357
 
2206
2358
                YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
2207
2359
                }
2225
2377
        else
2226
2378
                ret_val = EOB_ACT_CONTINUE_SCAN;
2227
2379
 
 
2380
        if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
 
2381
                /* Extend the array by 50%, plus the number we really need. */
 
2382
                yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
 
2383
                YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
 
2384
                if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
 
2385
                        YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
 
2386
        }
 
2387
 
2228
2388
        (yy_n_chars) += number_to_move;
2229
2389
        YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
2230
2390
        YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
2255
2415
                while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2256
2416
                        {
2257
2417
                        yy_current_state = (int) yy_def[yy_current_state];
2258
 
                        if ( yy_current_state >= 457 )
 
2418
                        if ( yy_current_state >= 459 )
2259
2419
                                yy_c = yy_meta[(unsigned int) yy_c];
2260
2420
                        }
2261
2421
                yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2283
2443
        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2284
2444
                {
2285
2445
                yy_current_state = (int) yy_def[yy_current_state];
2286
 
                if ( yy_current_state >= 457 )
 
2446
                if ( yy_current_state >= 459 )
2287
2447
                        yy_c = yy_meta[(unsigned int) yy_c];
2288
2448
                }
2289
2449
        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2290
 
        yy_is_jam = (yy_current_state == 456);
 
2450
        yy_is_jam = (yy_current_state == 458);
2291
2451
 
2292
2452
        return yy_is_jam ? 0 : yy_current_state;
2293
2453
}
2515
2675
        yyfree((void *) b  );
2516
2676
}
2517
2677
 
2518
 
#ifndef _UNISTD_H /* assume unistd.h has isatty() for us */
2519
 
#ifdef __cplusplus
2520
 
extern "C" {
2521
 
#endif
2522
 
#ifdef __THROW /* this is a gnuism */
2523
 
extern int isatty (int ) __THROW;
2524
 
#else
 
2678
#ifndef __cplusplus
2525
2679
extern int isatty (int );
2526
 
#endif
2527
 
#ifdef __cplusplus
2528
 
}
2529
 
#endif
2530
 
#endif
 
2680
#endif /* __cplusplus */
2531
2681
    
2532
2682
/* Initializes or reinitializes a buffer.
2533
2683
 * This function is sometimes called more than once on the same buffer,
2653
2803
                (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc
2654
2804
                                                                (num_to_alloc * sizeof(struct yy_buffer_state*)
2655
2805
                                                                );
2656
 
                
 
2806
                if ( ! (yy_buffer_stack) )
 
2807
                        YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
 
2808
                                                                  
2657
2809
                memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
2658
2810
                                
2659
2811
                (yy_buffer_stack_max) = num_to_alloc;
2671
2823
                                                                ((yy_buffer_stack),
2672
2824
                                                                num_to_alloc * sizeof(struct yy_buffer_state*)
2673
2825
                                                                );
 
2826
                if ( ! (yy_buffer_stack) )
 
2827
                        YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
2674
2828
 
2675
2829
                /* zero only the new slots.*/
2676
2830
                memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
2715
2869
 
2716
2870
/** Setup the input buffer state to scan a string. The next call to yylex() will
2717
2871
 * scan from a @e copy of @a str.
2718
 
 * @param str a NUL-terminated string to scan
 
2872
 * @param yystr a NUL-terminated string to scan
2719
2873
 * 
2720
2874
 * @return the newly allocated buffer state object.
2721
2875
 * @note If you want to scan bytes that may contain NUL values, then use