~ubuntu-branches/debian/sid/sip4-qt3/sid

« back to all changes in this revision

Viewing changes to sipgen/lexer.c

  • Committer: Bazaar Package Importer
  • Author(s): Torsten Marek
  • Date: 2010-02-02 21:27:14 UTC
  • mfrom: (2.1.27 experimental)
  • Revision ID: james.westby@ubuntu.com-20100202212714-sl7ep08aaolty4oq
Tags: 4.10-2
* Upload to unstable (Closes: #552511)
* siputils.py does not check errno any more (Closes: #560418)
* debian/control
  - Updated standards version to 3.8.4, no changes necessary
  - Make python-sip4 break those packages that do not depend on
    python2.x-sip4 or a specific version of python-sip4
* debian/manpages/dh_sip.1
  - Create man page for dh_sip
* debian/manpages/sip.1
  - Update man page for sip
* debian/README.source
  - Removed, not needed for source format "3.0 (quilt)"

Show diffs side-by-side

added added

removed removed

Lines of Context:
369
369
        *yy_cp = '\0'; \
370
370
        (yy_c_buf_p) = yy_cp;
371
371
 
372
 
#define YY_NUM_RULES 120
373
 
#define YY_END_OF_BUFFER 121
 
372
#define YY_NUM_RULES 121
 
373
#define YY_END_OF_BUFFER 122
374
374
/* This struct is not used in this scanner,
375
375
   but its presence is necessary. */
376
376
struct yy_trans_info
378
378
        flex_int32_t yy_verify;
379
379
        flex_int32_t yy_nxt;
380
380
        };
381
 
static yyconst flex_int16_t yy_accept[840] =
 
381
static yyconst flex_int16_t yy_accept[846] =
382
382
    {   0,
383
 
        0,    0,    0,    0,    0,    0,  121,  119,   70,   71,
384
 
      119,  119,  119,   74,  119,   73,   73,  119,   76,   76,
 
383
        0,    0,    0,    0,    0,    0,  122,  120,   70,   71,
 
384
      120,  120,  120,   74,  120,   73,   73,  120,   76,   76,
385
385
       76,   76,   76,   76,   76,   76,   76,   76,   76,   76,
386
 
       76,   76,   76,   76,   76,   76,  119,   70,  119,  118,
387
 
      117,  118,   83,   81,   83,    0,   78,    0,   79,   74,
 
386
       76,   76,   76,   76,   76,   76,  120,   70,  120,  119,
 
387
      118,  119,   83,   81,   83,    0,   78,    0,   79,   74,
388
388
       73,    0,   77,   74,   77,   77,   74,   80,   72,   74,
389
389
        0,   52,   76,   76,   76,   76,   76,   76,   76,   76,
390
390
       76,   76,   76,   76,   76,   76,   76,   76,   76,   76,
405
405
       38,   76,   76,   76,   33,   76,   76,   76,   76,   76,
406
406
       76,   76,   76,   76,   76,   76,   76,   43,   76,   76,
407
407
       76,   36,   76,    0,    0,    0,    0,    0,    1,    0,
408
 
        0,    0,    0,    0,    0,    0,    0,  110,   20,    0,
409
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
410
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
411
 
        0,    0,    0,    0,    0,  116,   76,   76,   76,   76,
 
408
        0,    0,    0,    0,    0,    0,    0,  111,   20,    0,
 
409
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
410
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
411
        0,    0,    0,    0,    0,  117,   76,   76,   76,   76,
412
412
       76,   21,   41,   76,   76,   44,   34,   76,   76,   76,
413
413
       76,   76,   31,   76,   76,   27,   76,   76,   76,   49,
414
414
       76,   76,   76,   76,    0,    0,    0,    0,    0,    0,
416
416
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
417
417
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
418
418
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
419
 
        0,    0,   76,   76,   76,   76,   76,   76,   35,   76,
420
 
       76,   76,   76,   76,   23,   76,   39,   42,   22,   76,
421
 
       76,   76,   76,   76,    0,    0,    0,    0,    0,    0,
422
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
423
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
424
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
425
 
        0,    0,   76,   76,   76,   76,   76,   76,   76,   76,
426
 
 
427
 
       76,   76,   76,   76,   76,   76,   25,   76,   26,   76,
428
 
       46,   76,   37,   29,    0,    0,    0,    0,    0,    0,
429
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
430
 
        0,    0,    0,    0,    6,    0,    0,    0,    0,    0,
431
 
        0,    7,    0,    0,    0,    3,    0,    0,    0,    0,
432
 
        0,    0,    0,    0,    0,    0,   76,   76,   76,   76,
433
 
       76,   76,   76,   76,   76,   76,   76,   62,   50,   76,
434
 
       48,   76,   51,   40,    7,    0,    0,    0,    0,    0,
435
 
        0,    0,    8,    0,    0,    0,   84,    0,    0,    0,
436
 
       13,    0,    0,  114,    4,    0,   14,    0,    0,    0,
437
 
 
438
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,  115,
439
 
        0,    0,    0,    0,    0,   76,   76,   76,   76,   76,
440
 
       76,   76,   76,   76,   76,   76,   76,   47,   24,    0,
441
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
419
        0,    0,    0,   76,   76,   76,   76,   76,   76,   35,
 
420
       76,   76,   76,   76,   76,   23,   76,   39,   42,   22,
 
421
       76,   76,   76,   76,   76,    0,    0,    0,    0,    0,
 
422
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
423
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
424
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
425
        0,    0,    0,    0,   76,   76,   76,   76,   76,   76,
 
426
 
 
427
       76,   76,   76,   76,   76,   76,   76,   76,   25,   76,
 
428
       26,   76,   46,   76,   37,   29,    0,    0,    0,    0,
 
429
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
430
        0,    0,    0,    0,    0,    0,    0,    6,    0,    0,
 
431
        0,    0,    0,    0,    7,    0,    0,    0,    3,    0,
 
432
        0,    0,    0,    0,    0,    0,    0,    0,    0,   76,
 
433
       76,   76,   76,   76,   76,   76,   76,   76,   76,   76,
 
434
       62,   50,   76,   48,   76,   51,   40,    7,    0,    0,
 
435
        0,    0,    0,    0,    0,    8,    0,    0,    0,   84,
 
436
        0,    0,    0,    0,   13,    0,    0,  115,    4,    0,
 
437
 
 
438
       14,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
439
        0,    0,    0,  116,    0,    0,    0,    0,    0,   76,
 
440
       76,   76,   76,   76,   76,   76,   76,   76,   76,   76,
 
441
       76,   47,   24,    0,    0,    0,    0,    0,    0,    0,
 
442
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
443
        0,    0,    0,  113,    0,    0,    0,    0,    0,    0,
 
444
        0,    0,    0,    0,    0,   11,   96,    0,   94,    0,
 
445
       76,   76,   57,   56,   76,   76,   76,   60,   76,   76,
 
446
       61,   76,   76,    0,    0,    0,    0,    0,    0,    0,
 
447
        0,    0,    0,    0,    0,    0,    0,  110,   16,    0,
 
448
 
 
449
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
450
       12,    0,    0,    0,  109,    0,    0,   63,   76,   76,
 
451
       59,   55,   68,   76,   76,   76,   76,  114,    0,    0,
 
452
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
453
        0,    0,    0,    0,    0,    0,    0,   15,   97,   95,
 
454
        0,    0,  107,    0,    0,    0,    0,    0,   76,   54,
 
455
       76,   76,   66,   67,    0,    0,    0,    0,    0,    0,
442
456
        0,    0,    0,    0,    0,    0,    0,    0,  112,    0,
443
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
444
 
       11,   96,    0,   94,    0,   76,   76,   57,   56,   76,
445
 
       76,   76,   60,   76,   76,   61,   76,   76,    0,    0,
446
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
447
 
        0,    0,   16,    0,    0,    0,    0,    0,    0,    0,
448
 
 
449
 
        0,    0,    0,    0,   12,    0,    0,    0,  109,    0,
450
 
        0,   63,   76,   76,   59,   55,   68,   76,   76,   76,
451
 
       76,  113,    0,    0,    0,    0,    0,    0,    0,    0,
452
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
453
 
        0,   15,   97,   95,    0,    0,  107,    0,    0,    0,
454
 
        0,    0,   76,   54,   76,   76,   66,   67,    0,    0,
455
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
456
 
        0,    0,  111,    0,  100,    0,    0,    0,    0,    0,
457
 
        0,    0,    0,    0,   76,   64,   65,    0,    0,    0,
458
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
459
 
 
460
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
461
 
        0,   58,    0,    0,    0,    0,    0,    0,    0,    0,
462
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
463
 
        0,    0,    0,  108,    0,    0,    0,    0,    0,    0,
464
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
465
 
        0,   99,    0,    0,    0,    0,    0,   90,    0,  101,
466
 
        0,    0,    0,    0,    0,   10,    0,    0,    0,    0,
467
 
        2,   18,    0,    0,    0,    0,    5,    0,    0,    0,
468
 
        0,    0,    0,    0,    0,    0,    0,    0,    0,   19,
469
 
        0,    0,   89,    0,    0,    0,    0,    0,  105,    0,
470
 
 
471
 
        0,    0,    0,    0,   86,    0,    0,    0,    0,    0,
472
 
        0,    0,    0,    0,    9,    0,    0,   88,   92,    0,
473
 
        0,   98,  106,  103,    0,  102,   85,    0,    0,    0,
474
 
      104,    0,    0,    0,   87,    0,   91,   93,    0
 
457
      100,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
458
       76,   64,   65,    0,    0,    0,    0,    0,    0,    0,
 
459
 
 
460
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
461
        0,    0,    0,    0,    0,    0,    0,   58,    0,    0,
 
462
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
463
        0,    0,    0,    0,    0,    0,    0,    0,    0,  108,
 
464
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
465
        0,    0,    0,    0,    0,    0,    0,   99,    0,    0,
 
466
        0,    0,    0,   90,    0,  101,    0,    0,    0,    0,
 
467
        0,   10,    0,    0,    0,    0,    2,   18,    0,    0,
 
468
        0,    0,    5,    0,    0,    0,    0,    0,    0,    0,
 
469
        0,    0,    0,    0,    0,   19,    0,    0,   89,    0,
 
470
 
 
471
        0,    0,    0,    0,  105,    0,    0,    0,    0,    0,
 
472
       86,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
473
        9,    0,    0,   88,   92,    0,    0,   98,  106,  103,
 
474
        0,  102,   85,    0,    0,    0,  104,    0,    0,    0,
 
475
       87,    0,   91,   93,    0
475
476
    } ;
476
477
 
477
478
static yyconst flex_int32_t yy_ec[256] =
517
518
        3,    3,    3,    3,    1
518
519
    } ;
519
520
 
520
 
static yyconst flex_int16_t yy_base[848] =
 
521
static yyconst flex_int16_t yy_base[854] =
521
522
    {   0,
522
 
        0,   64, 1713,   65,   64,   66, 1715, 1717, 1717, 1717,
523
 
       70,   73,   68,   73,   80,   84,   88, 1699,   79,   96,
 
523
        0,   64, 1719,   65,   64,   66, 1721, 1723, 1723, 1723,
 
524
       70,   73,   68,   73,   80,   84,   88, 1705,   79,   96,
524
525
      100,  103,  111,  106,  115,  128,  118,  131,  134,  138,
525
 
      141,  163,  171,  145,  177,  180, 1648,   94,  220, 1717,
526
 
     1717, 1692, 1717, 1717, 1699,  131, 1717,  130, 1717,  183,
527
 
      205,  152,  195,  248,  155,  261,  167, 1717,    0, 1717,
528
 
        0, 1717,  198,  253,  266,  271,  274,  277,  280,  288,
 
526
      141,  163,  171,  145,  177,  180, 1654,   94,  220, 1723,
 
527
     1723, 1698, 1723, 1723, 1705,  131, 1723,  130, 1723,  183,
 
528
      205,  152,  195,  248,  155,  261,  167, 1723,    0, 1723,
 
529
        0, 1723,  198,  253,  266,  271,  274,  277,  280,  288,
529
530
      291,  294,  297,  300,  303,  310,  313,  317,  320,  325,
530
531
      328,  331,  334,  342,  347,  361,  366,  375,  370,  380,
531
 
      383,  386, 1717,  219,  422,  140, 1686,   49,  113,  139,
 
532
      383,  386, 1723,  219,  422,  140, 1692,   49,  113,  139,
532
533
 
533
 
     1663,  177,  354, 1658,  314, 1651,  354, 1664, 1659,  150,
534
 
     1650, 1653, 1648, 1717,  401,  403,  221,  232,  446,  451,
 
534
     1669,  177,  354, 1664,  314, 1657,  354, 1670, 1665,  150,
 
535
     1656, 1659, 1654, 1723,  401,  403,  221,  232,  446,  451,
535
536
        0,    0,  456,  413,  459,  463,  466,  469,  474,  477,
536
537
      480,  483,  489,  492,  495,  498,  502,  511,  523,  526,
537
538
      535,  539,  542,  545,  550,  553,  556,  559,  569,  563,
538
 
      573,  576,  584, 1670,  238, 1654,  180,  472,  217, 1647,
539
 
     1648, 1673, 1652,  397, 1640,  349, 1647, 1649, 1647,  223,
540
 
     1649,  392, 1631, 1717, 1633,  317, 1644,  378, 1628, 1641,
541
 
     1626, 1640,  305, 1625, 1636, 1631, 1621, 1626, 1622, 1627,
542
 
     1619, 1630,  576,  588,  596,  606,  623,  626,  629,  633,
 
539
      573,  576,  584, 1676,  238, 1660,  180,  472,  217, 1653,
 
540
     1654, 1679, 1658,  397, 1646,  349, 1653, 1655, 1653,  223,
 
541
     1655,  392, 1637, 1723, 1639,  317, 1650,  378, 1634, 1647,
 
542
     1632, 1646,  305, 1631, 1642, 1637, 1627, 1632, 1628, 1633,
 
543
     1625, 1636,  576,  588,  596,  606,  623,  626,  629,  633,
543
544
 
544
545
      636,  639,  644,  647,  650,  653,  656,  659,  662,  665,
545
546
      668,  671,  681,  684,  692,  708,  711,  714,  718,  721,
546
 
      730,  733,  736,  264, 1630, 1629, 1616, 1626, 1717, 1624,
547
 
     1623, 1622, 1622, 1610,  378, 1601, 1622, 1717, 1717, 1617,
548
 
     1607, 1602, 1608, 1602, 1640, 1602, 1604, 1596, 1608, 1607,
549
 
     1596, 1602, 1590, 1599, 1597, 1588, 1598, 1586,  420, 1586,
550
 
     1625, 1596, 1595, 1581, 1580, 1717,  739,  742,  745,  755,
 
547
      730,  733,  736,  264, 1636, 1635, 1622, 1632, 1723, 1630,
 
548
     1629, 1628, 1628, 1616,  378, 1607, 1628, 1611, 1723, 1622,
 
549
     1612, 1607, 1613, 1607, 1645, 1607, 1609, 1601, 1613, 1612,
 
550
     1601, 1607, 1595, 1604, 1602, 1593, 1603, 1591,  420, 1591,
 
551
     1630, 1601, 1600, 1586, 1585, 1723,  739,  742,  745,  755,
551
552
      760,  766,  769,  785,  788,  791,  794,  797,  800,  803,
552
553
      806,  810,  813,  816,  824,  827,  830,  833,  836,  845,
553
 
      853,  860,  865,  869, 1580, 1577, 1578, 1576, 1582, 1573,
554
 
 
555
 
     1577, 1576, 1584, 1579, 1568, 1571, 1569, 1565, 1578, 1581,
556
 
     1567, 1564, 1560, 1569, 1564, 1570, 1570, 1560, 1562, 1558,
557
 
     1560, 1564, 1560, 1585, 1554, 1543, 1560, 1550, 1552,  596,
558
 
     1585, 1542,  872,  886,  876,  879,  907,  912,  890,  915,
559
 
      920,  923,  926,  929,  933,  936,  939,  942,  945,  948,
560
 
      956,  959,  963,  969, 1549, 1542,  959, 1553, 1546, 1539,
561
 
     1544, 1538, 1540, 1541, 1533, 1532, 1533, 1547, 1527, 1542,
562
 
     1527, 1540, 1542, 1525, 1532, 1536, 1535, 1533, 1524, 1531,
563
 
     1521, 1521, 1520, 1523, 1513, 1553, 1525, 1519, 1513, 1521,
564
 
     1511, 1523,  972,  975,  988,  998, 1006, 1009, 1014, 1019,
565
 
 
566
 
     1022, 1030, 1035, 1041, 1045, 1050, 1053, 1056, 1061, 1064,
567
 
     1067, 1070, 1073, 1076, 1518, 1545, 1502, 1512, 1514, 1513,
568
 
     1501, 1515, 1510, 1505, 1504, 1494, 1504, 1492, 1500, 1503,
569
 
     1502, 1490, 1500, 1499, 1717, 1498, 1491, 1496, 1489, 1505,
570
 
     1521,  602, 1496, 1519, 1479, 1717, 1485, 1475, 1484, 1477,
571
 
     1485, 1476, 1484, 1486, 1482, 1474, 1081, 1084, 1087, 1102,
572
 
     1106, 1109, 1112, 1115, 1118, 1129, 1137, 1140, 1145, 1148,
573
 
     1151, 1154, 1157, 1160, 1717, 1470, 1477, 1481, 1480, 1473,
574
 
     1470, 1461, 1717, 1459, 1472,  353, 1717,  832, 1461, 1470,
575
 
     1717, 1496, 1456, 1717, 1717, 1462, 1717, 1465, 1446, 1454,
576
 
 
577
 
     1453, 1461, 1454, 1450, 1451, 1444, 1452, 1446, 1455, 1717,
578
 
     1453, 1452, 1452, 1450, 1477, 1163, 1168, 1172, 1175, 1178,
579
 
     1190, 1193, 1201, 1204, 1207, 1213, 1216, 1219, 1226, 1449,
580
 
     1446, 1435, 1446, 1472, 1430, 1442, 1441, 1444, 1428, 1429,
581
 
     1429, 1436, 1421, 1426,  686, 1424, 1420, 1419, 1717, 1420,
582
 
     1430, 1429, 1431, 1448, 1426, 1412, 1419, 1426, 1413, 1420,
583
 
     1717, 1717, 1419, 1717, 1422, 1231, 1234, 1241, 1244, 1247,
584
 
     1250, 1257, 1261, 1264, 1268, 1271, 1278, 1281, 1417, 1416,
585
 
     1444, 1443, 1404, 1412, 1440, 1428, 1396, 1399,  462, 1409,
586
 
     1393, 1395, 1717, 1395, 1403, 1403, 1401, 1404, 1399, 1398,
587
 
 
588
 
     1397, 1397, 1387, 1394, 1717, 1397, 1386, 1419, 1717, 1379,
589
 
     1376, 1284, 1290, 1299, 1302, 1305, 1308, 1311, 1314, 1317,
590
 
     1320, 1717, 1377, 1373, 1372, 1371, 1413, 1369, 1373, 1381,
591
 
     1373, 1365, 1360, 1368, 1380, 1375, 1376, 1377, 1372, 1399,
592
 
     1357, 1717, 1717, 1717, 1369, 1370, 1717, 1361, 1362, 1356,
593
 
     1392, 1365, 1325, 1332, 1337, 1345, 1348, 1351, 1390, 1360,
594
 
     1357, 1324, 1316, 1318, 1319, 1308, 1316, 1307, 1289, 1295,
595
 
     1280, 1276, 1717, 1261, 1717, 1249, 1253, 1241, 1245, 1235,
596
 
     1226, 1219, 1208, 1200, 1357, 1360, 1363, 1192, 1192, 1186,
597
 
     1173, 1162, 1159, 1137, 1168, 1128, 1173, 1131, 1126, 1081,
598
 
 
599
 
     1085, 1096, 1092, 1080, 1116, 1072, 1051, 1064, 1058, 1058,
600
 
     1055, 1370, 1045, 1023, 1012, 1031, 1001,  997,  986,  982,
601
 
      979,  975,  996,  959,  955,  940,  945,  955,  942,  940,
602
 
      945,  947,  905, 1717,  917,  904,  882,  858,  854,  853,
603
 
      860,  846,  849,  849,  839,  831,  812,  813,  812,  795,
604
 
      831, 1717,  815,  785,  783,  760,  742, 1717,  773, 1717,
605
 
      771,  770,  741,  728,  765, 1717,  714,  746,  704,  716,
606
 
     1717, 1717,  713,  703,  683,  691, 1717,  685,  661,  659,
607
 
      657,  655,  661,  682,  644,  645,  632,  628,  607, 1717,
608
 
      607,  597, 1717,  576,  570,  577,  558,  557, 1717,  536,
609
 
 
610
 
      532,  530,  513,  530, 1717,  496,  494,  485,  511,  482,
611
 
      472,  470,  470,  436, 1717,  416,  400, 1717, 1717,  427,
612
 
      377, 1717, 1717, 1717,  374, 1717, 1717,  288,  241,  204,
613
 
     1717,  165,  140,  108, 1717,   57, 1717, 1717, 1717, 1382,
614
 
     1386, 1390, 1394, 1396, 1398, 1402,   74
 
554
      853,  860,  865,  869, 1585, 1582, 1583, 1581, 1587, 1578,
 
555
 
 
556
     1582, 1581, 1589, 1584, 1573, 1573, 1575, 1573, 1569, 1582,
 
557
     1585, 1571, 1568, 1564, 1573, 1568, 1574, 1574, 1564, 1566,
 
558
     1562, 1564, 1568, 1564, 1589, 1558, 1547, 1564, 1554, 1556,
 
559
      596, 1589, 1546,  872,  886,  876,  879,  907,  912,  890,
 
560
      915,  920,  923,  926,  929,  933,  936,  939,  942,  945,
 
561
      948,  956,  959,  963,  969, 1553, 1546,  959, 1557, 1550,
 
562
     1543, 1548, 1542, 1544, 1545, 1539, 1536, 1535, 1536, 1550,
 
563
     1530, 1545, 1530, 1543, 1545, 1528, 1535, 1539, 1538, 1536,
 
564
     1527, 1534, 1524, 1524, 1523, 1526, 1516, 1556, 1528, 1522,
 
565
     1516, 1524, 1514, 1526,  972,  975,  988,  998, 1006, 1009,
 
566
 
 
567
     1014, 1019, 1022, 1030, 1035, 1041, 1045, 1050, 1053, 1056,
 
568
     1061, 1064, 1067, 1070, 1073, 1076, 1521, 1548, 1505, 1515,
 
569
     1517, 1516, 1504, 1518, 1513, 1508, 1507, 1497, 1507, 1495,
 
570
     1503, 1502, 1505, 1504, 1492, 1502, 1501, 1723, 1500, 1493,
 
571
     1498, 1491, 1507, 1523,  602, 1498, 1521, 1481, 1723, 1487,
 
572
     1477, 1486, 1479, 1487, 1478, 1486, 1488, 1484, 1476, 1081,
 
573
     1084, 1087, 1102, 1106, 1109, 1112, 1115, 1118, 1129, 1137,
 
574
     1140, 1145, 1148, 1151, 1154, 1157, 1160, 1723, 1472, 1479,
 
575
     1483, 1482, 1475, 1472, 1463, 1723, 1461, 1474,  353, 1723,
 
576
      832, 1464, 1462, 1471, 1723, 1497, 1457, 1723, 1723, 1463,
 
577
 
 
578
     1723, 1466, 1447, 1455, 1454, 1462, 1455, 1451, 1452, 1445,
 
579
     1453, 1447, 1456, 1723, 1454, 1453, 1453, 1451, 1478, 1163,
 
580
     1168, 1172, 1175, 1178, 1190, 1193, 1201, 1204, 1207, 1213,
 
581
     1216, 1219, 1226, 1450, 1447, 1436, 1447, 1473, 1431, 1443,
 
582
     1442, 1445, 1429, 1430, 1430, 1437, 1422, 1433, 1426,  686,
 
583
     1424, 1420, 1419, 1723, 1420, 1430, 1429, 1431, 1448, 1426,
 
584
     1412, 1419, 1426, 1413, 1420, 1723, 1723, 1419, 1723, 1422,
 
585
     1231, 1234, 1241, 1244, 1247, 1250, 1257, 1261, 1264, 1268,
 
586
     1271, 1278, 1281, 1417, 1416, 1444, 1443, 1404, 1412, 1440,
 
587
     1428, 1396, 1399,  462, 1409, 1393, 1395, 1723, 1723, 1395,
 
588
 
 
589
     1403, 1403, 1401, 1404, 1399, 1398, 1397, 1397, 1387, 1394,
 
590
     1723, 1397, 1386, 1419, 1723, 1379, 1376, 1284, 1290, 1299,
 
591
     1302, 1305, 1308, 1311, 1314, 1317, 1320, 1723, 1377, 1373,
 
592
     1372, 1371, 1413, 1369, 1373, 1381, 1373, 1365, 1360, 1368,
 
593
     1380, 1375, 1376, 1377, 1372, 1399, 1357, 1723, 1723, 1723,
 
594
     1369, 1370, 1723, 1361, 1362, 1356, 1392, 1365, 1325, 1332,
 
595
     1337, 1345, 1348, 1351, 1390, 1360, 1357, 1324, 1316, 1318,
 
596
     1319, 1308, 1316, 1307, 1289, 1295, 1280, 1276, 1723, 1261,
 
597
     1723, 1249, 1253, 1241, 1245, 1235, 1226, 1219, 1208, 1200,
 
598
     1357, 1360, 1363, 1192, 1192, 1186, 1173, 1162, 1159, 1137,
 
599
 
 
600
     1168, 1128, 1173, 1131, 1126, 1081, 1085, 1096, 1092, 1080,
 
601
     1116, 1072, 1051, 1064, 1058, 1058, 1055, 1370, 1045, 1023,
 
602
     1012, 1031, 1001,  997,  986,  982,  979,  975,  996,  959,
 
603
      955,  940,  945,  955,  942,  940,  945,  947,  905, 1723,
 
604
      917,  904,  882,  858,  854,  853,  860,  846,  849,  849,
 
605
      839,  831,  812,  813,  812,  795,  831, 1723,  815,  785,
 
606
      783,  760,  742, 1723,  773, 1723,  771,  770,  741,  728,
 
607
      765, 1723,  714,  746,  704,  716, 1723, 1723,  713,  703,
 
608
      683,  691, 1723,  685,  661,  659,  657,  655,  661,  682,
 
609
      644,  645,  632,  628,  607, 1723,  607,  597, 1723,  576,
 
610
 
 
611
      570,  577,  558,  557, 1723,  536,  532,  530,  513,  530,
 
612
     1723,  496,  494,  485,  511,  482,  472,  470,  470,  436,
 
613
     1723,  416,  400, 1723, 1723,  427,  377, 1723, 1723, 1723,
 
614
      374, 1723, 1723,  288,  241,  204, 1723,  165,  140,  108,
 
615
     1723,   57, 1723, 1723, 1723, 1382, 1386, 1390, 1394, 1396,
 
616
     1398, 1402,   74
615
617
    } ;
616
618
 
617
 
static yyconst flex_int16_t yy_def[848] =
 
619
static yyconst flex_int16_t yy_def[854] =
618
620
    {   0,
619
 
      839,    1,  840,  840,  841,  841,  839,  839,  839,  839,
620
 
      842,  843,  839,  844,  839,  839,  839,  839,  845,  845,
621
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
622
 
      845,  845,  845,  845,  845,  845,  839,  839,  839,  839,
623
 
      839,  839,  839,  839,  839,  842,  839,  843,  839,  839,
624
 
      839,  844,  844,  844,  844,  844,  844,  839,  846,  839,
625
 
      847,  839,  845,  845,  845,  845,  845,  845,  845,  845,
626
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
627
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
628
 
      845,  845,  839,  839,  839,  839,  839,  839,  839,  839,
629
 
 
630
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
631
 
      839,  839,  839,  839,  839,  839,  844,  839,  844,  844,
632
 
      846,  847,  845,  845,  845,  845,  845,  845,  845,  845,
633
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
634
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
635
 
      845,  845,  845,  839,  839,  839,  839,  839,  839,  839,
636
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
637
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
638
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
639
 
      839,  839,  839,  845,  845,  845,  845,  845,  845,  845,
640
 
 
641
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
642
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
643
 
      845,  845,  845,  839,  839,  839,  839,  839,  839,  839,
644
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
645
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
646
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
647
 
      839,  839,  839,  839,  839,  839,  845,  845,  845,  845,
648
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
649
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
650
 
      845,  845,  845,  845,  839,  839,  839,  839,  839,  839,
651
 
 
652
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
653
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
654
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
655
 
      839,  839,  845,  845,  845,  845,  845,  845,  845,  845,
656
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
657
 
      845,  845,  845,  845,  839,  839,  839,  839,  839,  839,
658
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
659
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
660
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
661
 
      839,  839,  845,  845,  845,  845,  845,  845,  845,  845,
662
 
 
663
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
664
 
      845,  845,  845,  845,  839,  839,  839,  839,  839,  839,
665
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
666
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
667
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
668
 
      839,  839,  839,  839,  839,  839,  845,  845,  845,  845,
669
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
670
 
      845,  845,  845,  845,  839,  839,  839,  839,  839,  839,
671
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
672
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
673
 
 
674
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
675
 
      839,  839,  839,  839,  839,  845,  845,  845,  845,  845,
676
 
      845,  845,  845,  845,  845,  845,  845,  845,  845,  839,
677
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
678
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
679
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
680
 
      839,  839,  839,  839,  839,  845,  845,  845,  845,  845,
681
 
      845,  845,  845,  845,  845,  845,  845,  845,  839,  839,
682
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
683
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
684
 
 
685
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
686
 
      839,  845,  845,  845,  845,  845,  845,  845,  845,  845,
687
 
      845,  839,  839,  839,  839,  839,  839,  839,  839,  839,
688
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
689
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
690
 
      839,  839,  845,  845,  845,  845,  845,  845,  839,  839,
691
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
692
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
693
 
      839,  839,  839,  839,  845,  845,  845,  839,  839,  839,
694
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
695
 
 
696
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
697
 
      839,  845,  839,  839,  839,  839,  839,  839,  839,  839,
698
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
699
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
700
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
701
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
702
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
703
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
704
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
705
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
706
 
 
707
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
708
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
709
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
710
 
      839,  839,  839,  839,  839,  839,  839,  839,    0,  839,
711
 
      839,  839,  839,  839,  839,  839,  839
 
621
      845,    1,  846,  846,  847,  847,  845,  845,  845,  845,
 
622
      848,  849,  845,  850,  845,  845,  845,  845,  851,  851,
 
623
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
624
      851,  851,  851,  851,  851,  851,  845,  845,  845,  845,
 
625
      845,  845,  845,  845,  845,  848,  845,  849,  845,  845,
 
626
      845,  850,  850,  850,  850,  850,  850,  845,  852,  845,
 
627
      853,  845,  851,  851,  851,  851,  851,  851,  851,  851,
 
628
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
629
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
630
      851,  851,  845,  845,  845,  845,  845,  845,  845,  845,
 
631
 
 
632
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
633
      845,  845,  845,  845,  845,  845,  850,  845,  850,  850,
 
634
      852,  853,  851,  851,  851,  851,  851,  851,  851,  851,
 
635
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
636
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
637
      851,  851,  851,  845,  845,  845,  845,  845,  845,  845,
 
638
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
639
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
640
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
641
      845,  845,  845,  851,  851,  851,  851,  851,  851,  851,
 
642
 
 
643
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
644
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
645
      851,  851,  851,  845,  845,  845,  845,  845,  845,  845,
 
646
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
647
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
648
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
649
      845,  845,  845,  845,  845,  845,  851,  851,  851,  851,
 
650
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
651
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
652
      851,  851,  851,  851,  845,  845,  845,  845,  845,  845,
 
653
 
 
654
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
655
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
656
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
657
      845,  845,  845,  851,  851,  851,  851,  851,  851,  851,
 
658
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
659
      851,  851,  851,  851,  851,  845,  845,  845,  845,  845,
 
660
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
661
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
662
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
663
      845,  845,  845,  845,  851,  851,  851,  851,  851,  851,
 
664
 
 
665
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
666
      851,  851,  851,  851,  851,  851,  845,  845,  845,  845,
 
667
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
668
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
669
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
670
      845,  845,  845,  845,  845,  845,  845,  845,  845,  851,
 
671
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
672
      851,  851,  851,  851,  851,  851,  851,  845,  845,  845,
 
673
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
674
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
675
 
 
676
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
677
      845,  845,  845,  845,  845,  845,  845,  845,  845,  851,
 
678
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
679
      851,  851,  851,  845,  845,  845,  845,  845,  845,  845,
 
680
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
681
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
682
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
683
      851,  851,  851,  851,  851,  851,  851,  851,  851,  851,
 
684
      851,  851,  851,  845,  845,  845,  845,  845,  845,  845,
 
685
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
686
 
 
687
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
688
      845,  845,  845,  845,  845,  845,  845,  851,  851,  851,
 
689
      851,  851,  851,  851,  851,  851,  851,  845,  845,  845,
 
690
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
691
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
692
      845,  845,  845,  845,  845,  845,  845,  845,  851,  851,
 
693
      851,  851,  851,  851,  845,  845,  845,  845,  845,  845,
 
694
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
695
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
696
      851,  851,  851,  845,  845,  845,  845,  845,  845,  845,
 
697
 
 
698
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
699
      845,  845,  845,  845,  845,  845,  845,  851,  845,  845,
 
700
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
701
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
702
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
703
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
704
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
705
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
706
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
707
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
708
 
 
709
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
710
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
711
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
712
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
713
      845,  845,  845,  845,    0,  845,  845,  845,  845,  845,
 
714
      845,  845,  845
712
715
    } ;
713
716
 
714
 
static yyconst flex_int16_t yy_nxt[1783] =
 
717
static yyconst flex_int16_t yy_nxt[1789] =
715
718
    {   0,
716
719
        8,    9,   10,    9,   11,    8,   12,    8,    8,   13,
717
720
       14,   15,   16,   17,   18,   19,   19,   19,   19,   19,
724
727
       51,   51,   52,   53,   52,   54,   54,   58,   52,   55,
725
728
       52,   59,   56,   57,   50,   94,   51,   51,   50,   95,
726
729
 
727
 
       51,   51,  838,  166,   60,   52,   55,   52,   60,   52,
 
730
       51,   51,  844,  166,   60,   52,   55,   52,   60,   52,
728
731
       55,   52,   52,   55,   52,   52,   55,   52,   56,   57,
729
732
       52,   55,   52,   65,   52,   55,   52,   52,   55,   52,
730
733
       60,   64,   49,   47,   60,   47,   49,   52,   55,   52,
731
734
       52,   55,   52,   52,   55,   52,   61,   52,   55,   52,
732
 
       52,   55,   52,  837,   52,   55,   52,   66,  167,   67,
 
735
       52,   55,   52,  843,   52,   55,   52,   66,  167,   67,
733
736
       70,   52,   68,   52,   52,   69,   52,  168,   71,   73,
734
737
      162,   75,   52,   55,   52,   77,   52,   72,   52,   74,
735
 
       52,   55,   52,  163,  836,   76,   52,   55,   52,   52,
 
738
       52,   55,   52,  163,  842,   76,   52,   55,   52,   52,
736
739
       55,   52,  169,   78,  172,  115,  115,   79,   89,  188,
737
740
 
738
741
       80,  170,  116,   60,   52,  117,   52,   52,   55,   52,
739
 
      835,   81,   82,  189,   83,   50,   85,   51,   51,   86,
 
742
      841,   81,   82,  189,   83,   50,   85,   51,   51,   86,
740
743
       94,   84,  173,   92,   95,   60,   90,   87,  116,   60,
741
744
       52,   91,   52,  169,   88,   96,   97,   98,   99,  100,
742
 
      101,  102,  225,  103,  193,  193,  104,  105,  834,  106,
 
745
      101,  102,  225,  103,  193,  193,  104,  105,  840,  106,
743
746
      107,   60,  108,  109,  110,  111,  112,   52,  227,   52,
744
747
       54,   54,   52,   55,   52,  165,  240,   56,   57,  118,
745
748
      119,  228,   52,  120,  120,   52,   55,   52,  241,  123,
746
749
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
747
 
       55,   52,  224,   56,   57,  833,  124,   52,   55,   52,
 
750
       55,   52,  224,   56,   57,  839,  124,   52,   55,   52,
748
751
 
749
752
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
750
753
       55,   52,   52,   55,   52,  126,  234,  295,  127,   52,
751
754
       55,   52,   52,   55,   52,  125,   52,   55,   52,   52,
752
 
       55,   52,  832,  128,   52,   55,   52,   52,   55,   52,
 
755
       55,   52,  838,  128,   52,   55,   52,   52,   55,   52,
753
756
       52,   55,   52,   52,   55,   52,  256,  129,  132,  131,
754
757
      130,   52,   55,   52,  133,  178,   52,   55,   52,  179,
755
758
      247,  134,  137,  135,  257,  136,  248,  140,  180,  138,
756
 
       52,   55,   52,  539,  139,   52,   55,   52,  142,   52,
757
 
       55,   52,  141,  144,   52,   55,   52,  540,  143,   52,
 
759
       52,   55,   52,  543,  139,   52,   55,   52,  142,   52,
 
760
       55,   52,  141,  144,   52,   55,   52,  544,  143,   52,
758
761
       55,   52,   52,   55,   52,   52,   55,   52,  145,  146,
759
762
 
760
763
      174,  234,  235,  182,  236,  183,  175,  176,  184,  243,
761
 
      185,  118,  118,  115,  115,  193,  193,  147,  231,  831,
 
764
      185,  118,  118,  115,  115,  193,  193,  147,  231,  837,
762
765
      116,   60,   52,   55,   52,  148,  244,  150,  250,  232,
763
 
      149,  830,  152,  251,  153,  302,  151,  154,  303,  155,
764
 
      156,  157,  101,  325,  829,  158,  116,   60,  104,  159,
765
 
      326,  106,  160,  195,  828,   52,  161,   52,  120,  120,
766
 
       52,  827,   52,  120,  120,   52,   55,   52,   52,   55,
 
766
      149,  836,  152,  251,  153,  302,  151,  154,  303,  155,
 
767
      156,  157,  101,  326,  835,  158,  116,   60,  104,  159,
 
768
      327,  106,  160,  195,  834,   52,  161,   52,  120,  120,
 
769
       52,  833,   52,  120,  120,   52,   55,   52,   52,   55,
767
770
       52,   57,   52,   55,   52,   52,   55,   52,   52,   55,
768
 
       52,  826,  194,   52,   55,   52,   52,   55,   52,   52,
769
 
       55,   52,   52,   55,   52,  632,  633,   57,   52,   55,
 
771
       52,  832,  194,   52,   55,   52,   52,   55,   52,   52,
 
772
       55,   52,   52,   55,   52,  638,  639,   57,   52,   55,
770
773
 
771
774
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
772
 
      196,   52,   55,   52,  825,  824,  200,  823,  174,  197,
773
 
       52,   55,   52,  198,  175,  226,  199,  822,  821,  201,
774
 
      204,  202,   52,   55,   52,   52,   55,   52,  820,  819,
775
 
      203,  818,  205,  206,   52,   55,   52,  817,   52,   55,
776
 
       52,   52,   55,   52,   52,   55,   52,  816,  207,   52,
 
775
      196,   52,   55,   52,  831,  830,  200,  829,  174,  197,
 
776
       52,   55,   52,  198,  175,  226,  199,  828,  827,  201,
 
777
      204,  202,   52,   55,   52,   52,   55,   52,  826,  825,
 
778
      203,  824,  205,  206,   52,   55,   52,  823,   52,   55,
 
779
       52,   52,   55,   52,   52,   55,   52,  822,  207,   52,
777
780
       55,   52,   52,   55,   52,   52,   55,   52,   52,   55,
778
 
       52,  208,   52,   55,   52,  815,  814,  210,   52,   55,
 
781
       52,  208,   52,   55,   52,  821,  820,  210,   52,   55,
779
782
       52,  209,   52,   55,   52,   52,   55,   52,  193,  193,
780
 
      813,  211,  212,   52,   55,   52,   60,   52,   55,   52,
 
783
      819,  211,  212,   52,   55,   52,   60,   52,   55,   52,
781
784
 
782
 
      213,  812,  811,  214,  218,   52,   55,   52,  216,  215,
783
 
      217,  267,  220,  389,  219,   52,   55,   52,  390,  501,
784
 
      222,  810,   60,  809,  502,  223,  268,  269,  270,  271,
785
 
      808,  221,   52,   55,   52,   52,   55,   52,   52,   55,
786
 
       52,  807,   52,   55,   52,   52,   55,   52,   52,   55,
787
 
       52,  806,  805,   52,   55,   52,   52,   55,   52,   52,
 
785
      213,  818,  817,  214,  218,   52,   55,   52,  216,  215,
 
786
      217,  267,  220,  391,  219,   52,   55,   52,  392,  505,
 
787
      222,  816,   60,  815,  506,  223,  268,  269,  270,  271,
 
788
      814,  221,   52,   55,   52,   52,   55,   52,   52,   55,
 
789
       52,  813,   52,   55,   52,   52,   55,   52,   52,   55,
 
790
       52,  812,  811,   52,   55,   52,   52,   55,   52,   52,
788
791
       55,   52,   52,   55,   52,   52,   55,   52,   52,   55,
789
792
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
790
 
       52,   55,   52,  272,  274,  804,  803,  273,  275,  276,
791
 
       52,   55,   52,   52,   55,   52,  802,  279,  801,  800,
 
793
       52,   55,   52,  272,  274,  810,  809,  273,  275,  276,
 
794
       52,   55,   52,   52,   55,   52,  808,  279,  807,  806,
792
795
 
793
 
      280,   52,   55,   52,  594,  277,  799,  281,  595,  798,
794
 
      278,  797,  284,  796,  282,  795,  285,   52,   55,   52,
 
796
      280,   52,   55,   52,  600,  277,  805,  281,  601,  804,
 
797
      278,  803,  284,  802,  282,  801,  285,   52,   55,   52,
795
798
       52,   55,   52,   52,   55,   52,  283,   52,   55,   52,
796
 
       52,   55,   52,  287,  794,  288,  793,  792,  286,   52,
797
 
       55,   52,   52,   55,   52,   52,   55,   52,   52,   55,
798
 
       52,   52,   55,   52,   52,   55,   52,  791,  790,  289,
799
 
      789,  788,  291,  787,   52,   55,   52,  333,  292,   52,
800
 
       55,   52,  290,  786,  335,   52,   55,   52,   52,   55,
801
 
       52,  334,  785,  337,  784,  783,  338,  782,  781,  293,
802
 
      780,  779,  294,  336,   52,   55,   52,   52,   55,   52,
803
 
 
804
 
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
805
 
       55,   52,   52,   55,   52,   52,   55,   52,  778,   52,
806
 
       55,   52,   52,   55,   52,   52,   55,   52,  777,  776,
807
 
      339,  340,  775,   52,   55,   52,   52,   55,   52,   52,
808
 
       55,   52,   52,   55,   52,   52,   55,   52,  774,  344,
809
 
      773,  541,  341,  345,   52,   55,   52,  772,  342,  542,
810
 
      771,  343,   52,   55,   52,  543,  770,  346,  347,   52,
811
 
       55,   52,  769,  348,   52,   55,   52,  350,   52,   55,
812
 
       52,   52,   55,   52,  768,   52,   55,   52,   52,   55,
813
 
       52,  349,  400,  767,  766,   52,   55,   52,  351,   52,
814
 
 
815
 
       55,   52,  765,  394,  395,  764,  353,  763,  401,  354,
816
 
      762,  393,  396,  352,  761,  397,   52,   55,   52,  398,
817
 
      399,   52,   55,   52,   52,   55,   52,  760,  402,   52,
818
 
       55,   52,   52,   55,   52,   52,   55,   52,   52,   55,
819
 
       52,  403,   52,   55,   52,   52,   55,   52,   52,   55,
820
 
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
821
 
      759,  405,  758,  757,  404,   52,   55,   52,   52,   55,
822
 
       52,  407,   52,   55,   52,  417,  418,  406,   52,   55,
823
 
       52,   52,   55,   52,   52,   55,   52,  408,  756,  755,
824
 
      458,  419,  420,  409,  754,  753,  421,   52,   55,   52,
825
 
 
826
 
      752,  751,  411,  750,  412,  457,  410,   52,   55,   52,
827
 
      749,  459,  748,  747,  413,   52,   55,   52,   52,   55,
828
 
       52,  460,  461,   52,   55,   52,  746,  414,   52,   55,
829
 
       52,   52,   55,   52,  745,  462,  744,  743,  466,   52,
830
 
       55,   52,  742,  465,   52,   55,   52,  741,  740,  463,
831
 
       52,   55,   52,  464,   52,   55,   52,  739,  467,   52,
832
 
       55,   52,   52,   55,   52,   52,   55,   52,  738,  468,
833
 
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
834
 
       55,   52,   52,   55,   52,   52,   55,   52,  470,  737,
835
 
       52,   55,   52,   52,   55,   52,   52,   55,   52,  469,
836
 
 
837
 
      736,  472,  735,  734,  518,  733,  471,  516,  732,  473,
838
 
      517,   52,   55,   52,  474,   52,   55,   52,   52,   55,
839
 
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
840
 
      520,  731,  521,  730,  729,  519,  728,  524,   52,   55,
841
 
       52,  727,  522,  726,  725,  523,   52,   55,   52,   52,
842
 
       55,   52,  526,  525,   52,   55,   52,   52,   55,   52,
843
 
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
844
 
       55,   52,   52,   55,   52,  724,  723,   52,   55,   52,
845
 
      527,   52,   55,   52,   52,   55,   52,   52,   55,   52,
846
 
      722,  721,  566,  528,  567,  720,  719,  570,  529,   52,
847
 
 
848
 
       55,   52,   52,   55,   52,  718,  568,  571,  717,  569,
849
 
       52,   55,   52,   52,   55,   52,   52,   55,   52,  572,
850
 
      573,  574,   52,   55,   52,   52,   55,   52,   52,   55,
851
 
       52,  716,  715,  577,  578,   52,   55,   52,  714,  576,
852
 
       52,   55,   52,   52,   55,   52,  713,  575,  711,  613,
853
 
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
854
 
       55,   52,  710,  709,  614,  612,   52,   55,   52,  615,
855
 
       52,   55,   52,   52,   55,   52,  616,   52,   55,   52,
856
 
       52,   55,   52,  708,  707,  618,  619,   52,   55,   52,
857
 
       52,   55,   52,   52,   55,   52,  706,  705,  617,   52,
858
 
 
859
 
       55,   52,  704,  703,  621,  702,  653,  620,   52,   55,
860
 
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
861
 
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
862
 
       55,   52,  701,  654,   52,   55,   52,  656,  700,  699,
863
 
      655,   52,   55,   52,  698,  657,   52,   55,   52,  697,
864
 
      696,  685,  695,  658,   52,   55,   52,   52,   55,   52,
865
 
       52,   55,   52,  694,  693,  686,   52,   55,   52,   52,
866
 
       55,   52,   52,   55,   52,  692,  712,  691,  687,   52,
 
799
       52,   55,   52,  287,  800,  288,  799,  798,  286,   52,
 
800
       55,   52,   52,   55,   52,   52,   55,   52,   52,   55,
 
801
       52,   52,   55,   52,   52,   55,   52,  797,  796,  289,
 
802
      795,  794,  291,  793,   52,   55,   52,  334,  292,   52,
 
803
       55,   52,  290,  792,  336,   52,   55,   52,   52,   55,
 
804
       52,  335,  791,  338,  790,  789,  339,  788,  787,  293,
 
805
      786,  785,  294,  337,   52,   55,   52,   52,   55,   52,
 
806
 
 
807
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
 
808
       55,   52,   52,   55,   52,   52,   55,   52,  784,   52,
 
809
       55,   52,   52,   55,   52,   52,   55,   52,  783,  782,
 
810
      340,  341,  781,   52,   55,   52,   52,   55,   52,   52,
 
811
       55,   52,   52,   55,   52,   52,   55,   52,  780,  345,
 
812
      779,  545,  342,  346,   52,   55,   52,  778,  343,  546,
 
813
      777,  344,   52,   55,   52,  547,  776,  347,  348,   52,
 
814
       55,   52,  775,  349,   52,   55,   52,  351,   52,   55,
 
815
       52,   52,   55,   52,  774,   52,   55,   52,   52,   55,
 
816
       52,  350,  402,  773,  772,   52,   55,   52,  352,   52,
 
817
 
 
818
       55,   52,  771,  396,  397,  770,  354,  769,  403,  355,
 
819
      768,  395,  398,  353,  767,  399,   52,   55,   52,  400,
 
820
      401,   52,   55,   52,   52,   55,   52,  766,  404,   52,
 
821
       55,   52,   52,   55,   52,   52,   55,   52,   52,   55,
 
822
       52,  405,   52,   55,   52,   52,   55,   52,   52,   55,
 
823
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
 
824
      765,  407,  764,  763,  406,   52,   55,   52,   52,   55,
 
825
       52,  409,   52,   55,   52,  419,  420,  408,   52,   55,
 
826
       52,   52,   55,   52,   52,   55,   52,  410,  762,  761,
 
827
      461,  421,  422,  411,  760,  759,  423,   52,   55,   52,
 
828
 
 
829
      758,  757,  413,  756,  414,  460,  412,   52,   55,   52,
 
830
      755,  462,  754,  753,  415,   52,   55,   52,   52,   55,
 
831
       52,  463,  464,   52,   55,   52,  752,  416,   52,   55,
 
832
       52,   52,   55,   52,  751,  465,  750,  749,  469,   52,
 
833
       55,   52,  748,  468,   52,   55,   52,  747,  746,  466,
 
834
       52,   55,   52,  467,   52,   55,   52,  745,  470,   52,
 
835
       55,   52,   52,   55,   52,   52,   55,   52,  744,  471,
 
836
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
 
837
       55,   52,   52,   55,   52,   52,   55,   52,  473,  743,
 
838
       52,   55,   52,   52,   55,   52,   52,   55,   52,  472,
 
839
 
 
840
      742,  475,  741,  740,  522,  739,  474,  520,  738,  476,
 
841
      521,   52,   55,   52,  477,   52,   55,   52,   52,   55,
 
842
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
 
843
      524,  737,  525,  736,  735,  523,  734,  528,   52,   55,
 
844
       52,  733,  526,  732,  731,  527,   52,   55,   52,   52,
 
845
       55,   52,  530,  529,   52,   55,   52,   52,   55,   52,
 
846
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
 
847
       55,   52,   52,   55,   52,  730,  729,   52,   55,   52,
 
848
      531,   52,   55,   52,   52,   55,   52,   52,   55,   52,
 
849
      728,  727,  571,  532,  572,  726,  725,  575,  533,   52,
 
850
 
 
851
       55,   52,   52,   55,   52,  724,  573,  576,  723,  574,
 
852
       52,   55,   52,   52,   55,   52,   52,   55,   52,  577,
 
853
      578,  579,   52,   55,   52,   52,   55,   52,   52,   55,
 
854
       52,  722,  721,  582,  583,   52,   55,   52,  720,  581,
 
855
       52,   55,   52,   52,   55,   52,  719,  580,  717,  619,
 
856
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
 
857
       55,   52,  716,  715,  620,  618,   52,   55,   52,  621,
 
858
       52,   55,   52,   52,   55,   52,  622,   52,   55,   52,
 
859
       52,   55,   52,  714,  713,  624,  625,   52,   55,   52,
 
860
       52,   55,   52,   52,   55,   52,  712,  711,  623,   52,
 
861
 
 
862
       55,   52,  710,  709,  627,  708,  659,  626,   52,   55,
 
863
       52,   52,   55,   52,   52,   55,   52,   52,   55,   52,
 
864
       52,   55,   52,   52,   55,   52,   52,   55,   52,   52,
 
865
       55,   52,  707,  660,   52,   55,   52,  662,  706,  705,
 
866
      661,   52,   55,   52,  704,  663,   52,   55,   52,  703,
 
867
      702,  691,  701,  664,   52,   55,   52,   52,   55,   52,
 
868
       52,   55,   52,  700,  699,  692,   52,   55,   52,   52,
 
869
       55,   52,   52,   55,   52,  698,  718,  697,  693,   52,
867
870
       55,   52,   40,   40,   40,   40,   43,   43,   43,   43,
868
871
       46,   46,   46,   46,   48,   48,   48,   48,   55,   55,
869
872
 
870
 
       63,   63,  121,  690,  121,  121,  689,  688,  684,  683,
871
 
      682,  681,  680,  679,  678,  677,  676,  675,  674,  673,
872
 
      672,  671,  670,  669,  668,  667,  666,  665,  664,  663,
873
 
      662,  661,  660,  659,  652,  651,  650,  649,  648,  647,
874
 
      646,  645,  644,  643,  642,  641,  640,  639,  638,  637,
875
 
      636,  635,  634,  631,  630,  629,  628,  627,  626,  625,
876
 
      624,  623,  622,  611,  610,  609,  608,  607,  606,  605,
877
 
      604,  603,  602,  601,  600,  599,  598,  597,  596,  593,
878
 
      592,  591,  590,  589,  588,  587,  586,  585,  584,  583,
879
 
      582,  581,  580,  579,  565,  564,  563,  562,  561,  560,
880
 
 
881
 
      559,  558,  557,  556,  555,  554,  553,  552,  551,  550,
882
 
      549,  548,  547,  546,  545,  544,  538,  537,  536,  535,
883
 
      534,  533,  532,  531,  530,  515,  514,  513,  512,  511,
884
 
      510,  509,  508,  507,  506,  505,  504,  503,  500,  499,
885
 
      498,  497,  496,  495,  494,  493,  492,  491,  490,  489,
886
 
      488,  487,  486,  485,  484,  483,  482,  481,  480,  479,
887
 
      478,  477,  476,  475,  456,  455,  454,  453,  452,  451,
888
 
      450,  449,  448,  447,  446,  445,  444,  443,  442,  441,
889
 
      440,  439,  438,  437,  436,  435,  434,  433,  432,  431,
890
 
      430,  429,  428,  427,  426,  425,  424,  423,  422,  416,
891
 
 
892
 
      415,  392,  391,  388,  387,  386,  385,  384,  383,  382,
893
 
      381,  380,  379,  378,  377,  376,  375,  374,  373,  372,
894
 
      371,  370,  369,  368,  367,  366,  365,  364,  363,  362,
895
 
      361,  360,  359,  358,  357,  356,  355,  302,  332,  331,
896
 
      330,  329,  328,  327,  324,  323,  322,  321,  320,  319,
897
 
      318,  317,  316,  315,  314,  313,  312,  311,  310,  309,
898
 
      308,  307,  306,  305,  304,  301,  300,  299,  298,  297,
899
 
      296,  251,  247,  240,  266,  265,  264,  263,  262,  261,
900
 
      260,  259,  258,  255,  254,  253,  252,  249,  246,  245,
901
 
      242,  239,  238,  237,  233,  230,  229,  188,  183,  167,
902
 
 
903
 
      162,  192,  191,  190,  187,  186,  181,  177,  171,  164,
904
 
      114,  113,   93,   62,  839,   41,    7,  839,  839,  839,
905
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
906
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
907
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
908
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
909
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
910
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
911
 
      839,  839
 
873
       63,   63,  121,  696,  121,  121,  695,  694,  690,  689,
 
874
      688,  687,  686,  685,  684,  683,  682,  681,  680,  679,
 
875
      678,  677,  676,  675,  674,  673,  672,  671,  670,  669,
 
876
      668,  667,  666,  665,  658,  657,  656,  655,  654,  653,
 
877
      652,  651,  650,  649,  648,  647,  646,  645,  644,  643,
 
878
      642,  641,  640,  637,  636,  635,  634,  633,  632,  631,
 
879
      630,  629,  628,  617,  616,  615,  614,  613,  612,  611,
 
880
      610,  609,  608,  607,  606,  605,  604,  603,  602,  599,
 
881
      598,  597,  596,  595,  594,  593,  592,  591,  590,  589,
 
882
      588,  587,  586,  585,  584,  570,  569,  568,  567,  566,
 
883
 
 
884
      565,  564,  563,  562,  561,  560,  559,  558,  557,  556,
 
885
      555,  554,  553,  552,  551,  550,  549,  548,  542,  541,
 
886
      540,  539,  538,  537,  536,  535,  534,  519,  518,  517,
 
887
      516,  515,  514,  513,  512,  511,  510,  509,  508,  507,
 
888
      504,  503,  502,  501,  500,  499,  498,  497,  496,  495,
 
889
      494,  493,  492,  491,  490,  489,  488,  487,  486,  485,
 
890
      484,  483,  482,  481,  480,  479,  478,  459,  458,  457,
 
891
      456,  455,  454,  453,  452,  451,  450,  449,  448,  447,
 
892
      446,  445,  444,  443,  442,  441,  440,  439,  438,  437,
 
893
      436,  435,  434,  433,  432,  431,  430,  429,  428,  427,
 
894
 
 
895
      426,  425,  424,  418,  417,  394,  393,  390,  389,  388,
 
896
      387,  386,  385,  384,  383,  382,  381,  380,  379,  378,
 
897
      377,  376,  375,  374,  373,  372,  371,  370,  369,  368,
 
898
      367,  366,  365,  364,  363,  362,  361,  360,  359,  358,
 
899
      357,  356,  302,  333,  332,  331,  330,  329,  328,  325,
 
900
      324,  323,  322,  321,  320,  319,  318,  317,  316,  315,
 
901
      314,  313,  312,  311,  310,  309,  308,  307,  306,  305,
 
902
      304,  301,  300,  299,  298,  297,  296,  251,  247,  240,
 
903
      266,  265,  264,  263,  262,  261,  260,  259,  258,  255,
 
904
      254,  253,  252,  249,  246,  245,  242,  239,  238,  237,
 
905
 
 
906
      233,  230,  229,  188,  183,  167,  162,  192,  191,  190,
 
907
      187,  186,  181,  177,  171,  164,  114,  113,   93,   62,
 
908
      845,   41,    7,  845,  845,  845,  845,  845,  845,  845,
 
909
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
910
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
911
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
912
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
913
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
914
      845,  845,  845,  845,  845,  845,  845,  845
912
915
    } ;
913
916
 
914
 
static yyconst flex_int16_t yy_chk[1783] =
 
917
static yyconst flex_int16_t yy_chk[1789] =
915
918
    {   0,
916
919
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
917
920
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
920
923
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
921
924
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
922
925
        1,    1,    1,    1,    1,    2,    5,    4,    6,    2,
923
 
        4,    5,   11,    6,   11,   12,   98,  847,   13,   12,
 
926
        4,    5,   11,    6,   11,   12,   98,  853,   13,   12,
924
927
       13,   13,   14,   14,   14,   14,   14,   15,   19,   19,
925
928
       19,   15,   14,   14,   16,   38,   16,   16,   17,   38,
926
929
 
927
 
       17,   17,  836,   98,   16,   20,   20,   20,   17,   21,
 
930
       17,   17,  842,   98,   16,   20,   20,   20,   17,   21,
928
931
       21,   21,   22,   22,   22,   24,   24,   24,   14,   14,
929
932
       23,   23,   23,   21,   25,   25,   25,   27,   27,   27,
930
933
       16,   20,   48,   46,   17,   46,   48,   26,   26,   26,
931
934
       28,   28,   28,   29,   29,   29,   16,   30,   30,   30,
932
 
       31,   31,   31,  834,   34,   34,   34,   22,   99,   23,
 
935
       31,   31,   31,  840,   34,   34,   34,   22,   99,   23,
933
936
       24,   52,   23,   52,   55,   23,   55,   99,   25,   26,
934
937
       96,   27,   32,   32,   32,   29,   57,   25,   57,   26,
935
 
       33,   33,   33,   96,  833,   28,   35,   35,   35,   36,
 
938
       33,   33,   33,   96,  839,   28,   35,   35,   35,   36,
936
939
       36,   36,  100,   30,  102,   50,   50,   31,   34,  110,
937
940
 
938
941
       31,  100,   50,   50,   53,   53,   53,   63,   63,   63,
939
 
      832,   32,   32,  110,   32,   51,   33,   51,   51,   33,
 
942
      838,   32,   32,  110,   32,   51,   33,   51,   51,   33,
940
943
       94,   32,  102,   36,   94,   51,   35,   33,   50,   50,
941
944
      117,   35,  117,  157,   33,   39,   39,   39,   39,   39,
942
 
       39,   39,  157,   39,  118,  118,   39,   39,  830,   39,
 
945
       39,   39,  157,   39,  118,  118,   39,   39,  836,   39,
943
946
       39,   51,   39,   39,   39,   39,   39,   54,  159,   54,
944
947
       54,   54,   64,   64,   64,  155,  170,   54,   54,   56,
945
948
       56,  159,   56,   56,   56,   65,   65,   65,  170,   64,
946
949
       66,   66,   66,   67,   67,   67,   68,   68,   68,   69,
947
 
       69,   69,  155,   54,   54,  829,   65,   70,   70,   70,
 
950
       69,   69,  155,   54,   54,  835,   65,   70,   70,   70,
948
951
 
949
952
       71,   71,   71,   72,   72,   72,   73,   73,   73,   74,
950
953
       74,   74,   75,   75,   75,   67,  224,  224,   68,   76,
951
954
       76,   76,   77,   77,   77,   66,   78,   78,   78,   79,
952
 
       79,   79,  828,   69,   80,   80,   80,   81,   81,   81,
 
955
       79,   79,  834,   69,   80,   80,   80,   81,   81,   81,
953
956
       82,   82,   82,   83,   83,   83,  183,   70,   73,   72,
954
957
       71,   84,   84,   84,   74,  105,   85,   85,   85,  105,
955
958
      176,   75,   78,   76,  183,   77,  176,   80,  105,   79,
956
 
       86,   86,   86,  486,   79,   87,   87,   87,   82,   89,
957
 
       89,   89,   81,   84,   88,   88,   88,  486,   83,   90,
 
959
       86,   86,   86,  489,   79,   87,   87,   87,   82,   89,
 
960
       89,   89,   81,   84,   88,   88,   88,  489,   83,   90,
958
961
       90,   90,   91,   91,   91,   92,   92,   92,   84,   85,
959
962
 
960
963
      103,  166,  166,  107,  166,  107,  103,  103,  107,  172,
961
 
      107,  116,  116,  115,  115,  116,  116,   86,  164,  825,
 
964
      107,  116,  116,  115,  115,  116,  116,   86,  164,  831,
962
965
      115,  115,  124,  124,  124,   87,  172,   89,  178,  164,
963
 
       88,  821,   91,  178,   92,  235,   90,   95,  235,   95,
964
 
       95,   95,   95,  259,  820,   95,  115,  115,   95,   95,
965
 
      259,   95,   95,  124,  817,  119,   95,  119,  119,  119,
966
 
      120,  816,  120,  120,  120,  123,  123,  123,  125,  125,
 
966
       88,  827,   91,  178,   92,  235,   90,   95,  235,   95,
 
967
       95,   95,   95,  259,  826,   95,  115,  115,   95,   95,
 
968
      259,   95,   95,  124,  823,  119,   95,  119,  119,  119,
 
969
      120,  822,  120,  120,  120,  123,  123,  123,  125,  125,
967
970
      125,  120,  126,  126,  126,  127,  127,  127,  128,  128,
968
 
      128,  814,  123,  129,  129,  129,  130,  130,  130,  131,
969
 
      131,  131,  132,  132,  132,  589,  589,  120,  133,  133,
 
971
      128,  820,  123,  129,  129,  129,  130,  130,  130,  131,
 
972
      131,  131,  132,  132,  132,  594,  594,  120,  133,  133,
970
973
 
971
974
      133,  134,  134,  134,  135,  135,  135,  136,  136,  136,
972
 
      125,  137,  137,  137,  813,  812,  129,  811,  158,  126,
973
 
      138,  138,  138,  127,  158,  158,  128,  810,  809,  130,
974
 
      133,  131,  139,  139,  139,  140,  140,  140,  808,  807,
975
 
      132,  806,  135,  136,  141,  141,  141,  804,  142,  142,
976
 
      142,  143,  143,  143,  144,  144,  144,  803,  137,  145,
 
975
      125,  137,  137,  137,  819,  818,  129,  817,  158,  126,
 
976
      138,  138,  138,  127,  158,  158,  128,  816,  815,  130,
 
977
      133,  131,  139,  139,  139,  140,  140,  140,  814,  813,
 
978
      132,  812,  135,  136,  141,  141,  141,  810,  142,  142,
 
979
      142,  143,  143,  143,  144,  144,  144,  809,  137,  145,
977
980
      145,  145,  146,  146,  146,  147,  147,  147,  148,  148,
978
 
      148,  138,  150,  150,  150,  802,  801,  140,  149,  149,
 
981
      148,  138,  150,  150,  150,  808,  807,  140,  149,  149,
979
982
      149,  139,  151,  151,  151,  152,  152,  152,  193,  193,
980
 
      800,  141,  142,  153,  153,  153,  193,  194,  194,  194,
 
983
      806,  141,  142,  153,  153,  153,  193,  194,  194,  194,
981
984
 
982
 
      143,  798,  797,  144,  148,  195,  195,  195,  146,  145,
983
 
      147,  195,  150,  330,  149,  196,  196,  196,  330,  442,
984
 
      152,  796,  193,  795,  442,  153,  195,  195,  195,  195,
985
 
      794,  151,  197,  197,  197,  198,  198,  198,  199,  199,
986
 
      199,  792,  200,  200,  200,  201,  201,  201,  202,  202,
987
 
      202,  791,  789,  203,  203,  203,  204,  204,  204,  205,
 
985
      143,  804,  803,  144,  148,  195,  195,  195,  146,  145,
 
986
      147,  195,  150,  331,  149,  196,  196,  196,  331,  445,
 
987
      152,  802,  193,  801,  445,  153,  195,  195,  195,  195,
 
988
      800,  151,  197,  197,  197,  198,  198,  198,  199,  199,
 
989
      199,  798,  200,  200,  200,  201,  201,  201,  202,  202,
 
990
      202,  797,  795,  203,  203,  203,  204,  204,  204,  205,
988
991
      205,  205,  206,  206,  206,  207,  207,  207,  208,  208,
989
992
      208,  209,  209,  209,  210,  210,  210,  211,  211,  211,
990
 
      212,  212,  212,  198,  200,  788,  787,  199,  202,  203,
991
 
      213,  213,  213,  214,  214,  214,  786,  207,  785,  784,
 
993
      212,  212,  212,  198,  200,  794,  793,  199,  202,  203,
 
994
      213,  213,  213,  214,  214,  214,  792,  207,  791,  790,
992
995
 
993
 
      208,  215,  215,  215,  545,  204,  783,  209,  545,  782,
994
 
      206,  781,  212,  780,  210,  779,  212,  216,  216,  216,
 
996
      208,  215,  215,  215,  550,  204,  789,  209,  550,  788,
 
997
      206,  787,  212,  786,  210,  785,  212,  216,  216,  216,
995
998
      217,  217,  217,  218,  218,  218,  211,  219,  219,  219,
996
 
      220,  220,  220,  214,  778,  215,  776,  775,  213,  221,
 
999
      220,  220,  220,  214,  784,  215,  782,  781,  213,  221,
997
1000
      221,  221,  222,  222,  222,  223,  223,  223,  267,  267,
998
 
      267,  268,  268,  268,  269,  269,  269,  774,  773,  216,
999
 
      770,  769,  219,  768,  270,  270,  270,  267,  220,  271,
1000
 
      271,  271,  217,  767,  269,  272,  272,  272,  273,  273,
1001
 
      273,  268,  765,  271,  764,  763,  271,  762,  761,  221,
1002
 
      759,  757,  223,  270,  274,  274,  274,  275,  275,  275,
 
1001
      267,  268,  268,  268,  269,  269,  269,  780,  779,  216,
 
1002
      776,  775,  219,  774,  270,  270,  270,  267,  220,  271,
 
1003
      271,  271,  217,  773,  269,  272,  272,  272,  273,  273,
 
1004
      273,  268,  771,  271,  770,  769,  271,  768,  767,  221,
 
1005
      765,  763,  223,  270,  274,  274,  274,  275,  275,  275,
1003
1006
 
1004
1007
      276,  276,  276,  277,  277,  277,  278,  278,  278,  279,
1005
 
      279,  279,  280,  280,  280,  281,  281,  281,  756,  282,
1006
 
      282,  282,  283,  283,  283,  284,  284,  284,  755,  754,
1007
 
      274,  275,  753,  285,  285,  285,  286,  286,  286,  287,
1008
 
      287,  287,  288,  288,  288,  289,  289,  289,  751,  281,
1009
 
      750,  488,  278,  282,  290,  290,  290,  749,  279,  488,
1010
 
      748,  280,  291,  291,  291,  488,  747,  284,  285,  292,
1011
 
      292,  292,  746,  287,  293,  293,  293,  289,  294,  294,
1012
 
      294,  333,  333,  333,  745,  335,  335,  335,  336,  336,
1013
 
      336,  288,  335,  744,  743,  334,  334,  334,  291,  339,
1014
 
 
1015
 
      339,  339,  742,  334,  334,  741,  293,  740,  336,  294,
1016
 
      739,  333,  334,  292,  738,  334,  337,  337,  337,  334,
1017
 
      334,  338,  338,  338,  340,  340,  340,  737,  337,  341,
1018
 
      341,  341,  342,  342,  342,  343,  343,  343,  344,  344,
1019
 
      344,  338,  345,  345,  345,  346,  346,  346,  347,  347,
1020
 
      347,  348,  348,  348,  349,  349,  349,  350,  350,  350,
1021
 
      736,  341,  735,  733,  340,  351,  351,  351,  352,  352,
1022
 
      352,  343,  353,  353,  353,  357,  357,  342,  354,  354,
1023
 
      354,  393,  393,  393,  394,  394,  394,  344,  732,  731,
1024
 
      394,  357,  357,  346,  730,  729,  357,  395,  395,  395,
1025
 
 
1026
 
      728,  727,  351,  726,  352,  393,  350,  396,  396,  396,
1027
 
      725,  395,  724,  723,  353,  397,  397,  397,  398,  398,
1028
 
      398,  396,  397,  399,  399,  399,  722,  354,  400,  400,
1029
 
      400,  401,  401,  401,  721,  398,  720,  719,  401,  402,
1030
 
      402,  402,  718,  400,  403,  403,  403,  717,  716,  399,
1031
 
      404,  404,  404,  399,  405,  405,  405,  715,  402,  406,
1032
 
      406,  406,  407,  407,  407,  408,  408,  408,  714,  403,
1033
 
      409,  409,  409,  410,  410,  410,  411,  411,  411,  412,
1034
 
      412,  412,  413,  413,  413,  414,  414,  414,  405,  713,
1035
 
      457,  457,  457,  458,  458,  458,  459,  459,  459,  404,
1036
 
 
1037
 
      711,  408,  710,  709,  459,  708,  406,  457,  707,  410,
1038
 
      458,  460,  460,  460,  412,  461,  461,  461,  462,  462,
1039
 
      462,  463,  463,  463,  464,  464,  464,  465,  465,  465,
1040
 
      461,  706,  462,  705,  704,  460,  703,  465,  466,  466,
1041
 
      466,  702,  463,  701,  700,  464,  467,  467,  467,  468,
1042
 
      468,  468,  467,  466,  469,  469,  469,  470,  470,  470,
1043
 
      471,  471,  471,  472,  472,  472,  473,  473,  473,  474,
1044
 
      474,  474,  516,  516,  516,  699,  698,  517,  517,  517,
1045
 
      468,  518,  518,  518,  519,  519,  519,  520,  520,  520,
1046
 
      697,  696,  516,  470,  517,  695,  694,  520,  472,  521,
1047
 
 
1048
 
      521,  521,  522,  522,  522,  693,  518,  521,  692,  519,
1049
 
      523,  523,  523,  524,  524,  524,  525,  525,  525,  522,
1050
 
      523,  524,  526,  526,  526,  527,  527,  527,  528,  528,
1051
 
      528,  691,  690,  527,  527,  529,  529,  529,  689,  526,
1052
 
      566,  566,  566,  567,  567,  567,  688,  525,  684,  567,
1053
 
      568,  568,  568,  569,  569,  569,  570,  570,  570,  571,
1054
 
      571,  571,  683,  682,  570,  566,  572,  572,  572,  571,
1055
 
      573,  573,  573,  574,  574,  574,  572,  575,  575,  575,
1056
 
      576,  576,  576,  681,  680,  575,  575,  577,  577,  577,
1057
 
      578,  578,  578,  612,  612,  612,  679,  678,  574,  613,
1058
 
 
1059
 
      613,  613,  677,  676,  578,  674,  613,  577,  614,  614,
1060
 
      614,  615,  615,  615,  616,  616,  616,  617,  617,  617,
1061
 
      618,  618,  618,  619,  619,  619,  620,  620,  620,  621,
1062
 
      621,  621,  672,  614,  653,  653,  653,  619,  671,  670,
1063
 
      618,  654,  654,  654,  669,  620,  655,  655,  655,  668,
1064
 
      667,  653,  666,  621,  656,  656,  656,  657,  657,  657,
1065
 
      658,  658,  658,  665,  664,  655,  685,  685,  685,  686,
1066
 
      686,  686,  687,  687,  687,  663,  685,  662,  656,  712,
1067
 
      712,  712,  840,  840,  840,  840,  841,  841,  841,  841,
1068
 
      842,  842,  842,  842,  843,  843,  843,  843,  844,  844,
1069
 
 
1070
 
      845,  845,  846,  661,  846,  846,  660,  659,  652,  651,
1071
 
      650,  649,  648,  646,  645,  641,  640,  639,  638,  637,
1072
 
      636,  635,  634,  633,  632,  631,  630,  629,  628,  627,
1073
 
      626,  625,  624,  623,  611,  610,  608,  607,  606,  604,
1074
 
      603,  602,  601,  600,  599,  598,  597,  596,  595,  594,
1075
 
      592,  591,  590,  588,  587,  586,  585,  584,  583,  582,
1076
 
      581,  580,  579,  565,  563,  560,  559,  558,  557,  556,
1077
 
      555,  554,  553,  552,  551,  550,  548,  547,  546,  544,
1078
 
      543,  542,  541,  540,  539,  538,  537,  536,  535,  534,
1079
 
      533,  532,  531,  530,  515,  514,  513,  512,  511,  509,
1080
 
 
1081
 
      508,  507,  506,  505,  504,  503,  502,  501,  500,  499,
1082
 
      498,  496,  493,  492,  490,  489,  485,  484,  482,  481,
1083
 
      480,  479,  478,  477,  476,  456,  455,  454,  453,  452,
1084
 
      451,  450,  449,  448,  447,  445,  444,  443,  441,  440,
1085
 
      439,  438,  437,  436,  434,  433,  432,  431,  430,  429,
1086
 
      428,  427,  426,  425,  424,  423,  422,  421,  420,  419,
1087
 
      418,  417,  416,  415,  392,  391,  390,  389,  388,  387,
1088
 
      386,  385,  384,  383,  382,  381,  380,  379,  378,  377,
1089
 
      376,  375,  374,  373,  372,  371,  370,  369,  368,  367,
1090
 
      366,  365,  364,  363,  362,  361,  360,  359,  358,  356,
1091
 
 
1092
 
      355,  332,  331,  329,  328,  327,  326,  325,  324,  323,
1093
 
      322,  321,  320,  319,  318,  317,  316,  315,  314,  313,
1094
 
      312,  311,  310,  309,  308,  307,  306,  305,  304,  303,
1095
 
      302,  301,  300,  299,  298,  297,  296,  295,  265,  264,
1096
 
      263,  262,  261,  260,  258,  257,  256,  255,  254,  253,
1097
 
      252,  251,  250,  249,  248,  247,  246,  245,  244,  243,
1098
 
      242,  241,  240,  237,  236,  234,  233,  232,  231,  230,
1099
 
      228,  227,  226,  225,  192,  191,  190,  189,  188,  187,
1100
 
      186,  185,  184,  182,  181,  180,  179,  177,  175,  173,
1101
 
      171,  169,  168,  167,  165,  163,  162,  161,  160,  156,
1102
 
 
1103
 
      154,  113,  112,  111,  109,  108,  106,  104,  101,   97,
1104
 
       45,   42,   37,   18,    7,    3,  839,  839,  839,  839,
1105
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
1106
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
1107
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
1108
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
1109
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
1110
 
      839,  839,  839,  839,  839,  839,  839,  839,  839,  839,
1111
 
      839,  839
 
1008
      279,  279,  280,  280,  280,  281,  281,  281,  762,  282,
 
1009
      282,  282,  283,  283,  283,  284,  284,  284,  761,  760,
 
1010
      274,  275,  759,  285,  285,  285,  286,  286,  286,  287,
 
1011
      287,  287,  288,  288,  288,  289,  289,  289,  757,  281,
 
1012
      756,  491,  278,  282,  290,  290,  290,  755,  279,  491,
 
1013
      754,  280,  291,  291,  291,  491,  753,  284,  285,  292,
 
1014
      292,  292,  752,  287,  293,  293,  293,  289,  294,  294,
 
1015
      294,  334,  334,  334,  751,  336,  336,  336,  337,  337,
 
1016
      337,  288,  336,  750,  749,  335,  335,  335,  291,  340,
 
1017
 
 
1018
      340,  340,  748,  335,  335,  747,  293,  746,  337,  294,
 
1019
      745,  334,  335,  292,  744,  335,  338,  338,  338,  335,
 
1020
      335,  339,  339,  339,  341,  341,  341,  743,  338,  342,
 
1021
      342,  342,  343,  343,  343,  344,  344,  344,  345,  345,
 
1022
      345,  339,  346,  346,  346,  347,  347,  347,  348,  348,
 
1023
      348,  349,  349,  349,  350,  350,  350,  351,  351,  351,
 
1024
      742,  342,  741,  739,  341,  352,  352,  352,  353,  353,
 
1025
      353,  344,  354,  354,  354,  358,  358,  343,  355,  355,
 
1026
      355,  395,  395,  395,  396,  396,  396,  345,  738,  737,
 
1027
      396,  358,  358,  347,  736,  735,  358,  397,  397,  397,
 
1028
 
 
1029
      734,  733,  352,  732,  353,  395,  351,  398,  398,  398,
 
1030
      731,  397,  730,  729,  354,  399,  399,  399,  400,  400,
 
1031
      400,  398,  399,  401,  401,  401,  728,  355,  402,  402,
 
1032
      402,  403,  403,  403,  727,  400,  726,  725,  403,  404,
 
1033
      404,  404,  724,  402,  405,  405,  405,  723,  722,  401,
 
1034
      406,  406,  406,  401,  407,  407,  407,  721,  404,  408,
 
1035
      408,  408,  409,  409,  409,  410,  410,  410,  720,  405,
 
1036
      411,  411,  411,  412,  412,  412,  413,  413,  413,  414,
 
1037
      414,  414,  415,  415,  415,  416,  416,  416,  407,  719,
 
1038
      460,  460,  460,  461,  461,  461,  462,  462,  462,  406,
 
1039
 
 
1040
      717,  410,  716,  715,  462,  714,  408,  460,  713,  412,
 
1041
      461,  463,  463,  463,  414,  464,  464,  464,  465,  465,
 
1042
      465,  466,  466,  466,  467,  467,  467,  468,  468,  468,
 
1043
      464,  712,  465,  711,  710,  463,  709,  468,  469,  469,
 
1044
      469,  708,  466,  707,  706,  467,  470,  470,  470,  471,
 
1045
      471,  471,  470,  469,  472,  472,  472,  473,  473,  473,
 
1046
      474,  474,  474,  475,  475,  475,  476,  476,  476,  477,
 
1047
      477,  477,  520,  520,  520,  705,  704,  521,  521,  521,
 
1048
      471,  522,  522,  522,  523,  523,  523,  524,  524,  524,
 
1049
      703,  702,  520,  473,  521,  701,  700,  524,  475,  525,
 
1050
 
 
1051
      525,  525,  526,  526,  526,  699,  522,  525,  698,  523,
 
1052
      527,  527,  527,  528,  528,  528,  529,  529,  529,  526,
 
1053
      527,  528,  530,  530,  530,  531,  531,  531,  532,  532,
 
1054
      532,  697,  696,  531,  531,  533,  533,  533,  695,  530,
 
1055
      571,  571,  571,  572,  572,  572,  694,  529,  690,  572,
 
1056
      573,  573,  573,  574,  574,  574,  575,  575,  575,  576,
 
1057
      576,  576,  689,  688,  575,  571,  577,  577,  577,  576,
 
1058
      578,  578,  578,  579,  579,  579,  577,  580,  580,  580,
 
1059
      581,  581,  581,  687,  686,  580,  580,  582,  582,  582,
 
1060
      583,  583,  583,  618,  618,  618,  685,  684,  579,  619,
 
1061
 
 
1062
      619,  619,  683,  682,  583,  680,  619,  582,  620,  620,
 
1063
      620,  621,  621,  621,  622,  622,  622,  623,  623,  623,
 
1064
      624,  624,  624,  625,  625,  625,  626,  626,  626,  627,
 
1065
      627,  627,  678,  620,  659,  659,  659,  625,  677,  676,
 
1066
      624,  660,  660,  660,  675,  626,  661,  661,  661,  674,
 
1067
      673,  659,  672,  627,  662,  662,  662,  663,  663,  663,
 
1068
      664,  664,  664,  671,  670,  661,  691,  691,  691,  692,
 
1069
      692,  692,  693,  693,  693,  669,  691,  668,  662,  718,
 
1070
      718,  718,  846,  846,  846,  846,  847,  847,  847,  847,
 
1071
      848,  848,  848,  848,  849,  849,  849,  849,  850,  850,
 
1072
 
 
1073
      851,  851,  852,  667,  852,  852,  666,  665,  658,  657,
 
1074
      656,  655,  654,  652,  651,  647,  646,  645,  644,  643,
 
1075
      642,  641,  640,  639,  638,  637,  636,  635,  634,  633,
 
1076
      632,  631,  630,  629,  617,  616,  614,  613,  612,  610,
 
1077
      609,  608,  607,  606,  605,  604,  603,  602,  601,  600,
 
1078
      597,  596,  595,  593,  592,  591,  590,  589,  588,  587,
 
1079
      586,  585,  584,  570,  568,  565,  564,  563,  562,  561,
 
1080
      560,  559,  558,  557,  556,  555,  553,  552,  551,  549,
 
1081
      548,  547,  546,  545,  544,  543,  542,  541,  540,  539,
 
1082
      538,  537,  536,  535,  534,  519,  518,  517,  516,  515,
 
1083
 
 
1084
      513,  512,  511,  510,  509,  508,  507,  506,  505,  504,
 
1085
      503,  502,  500,  497,  496,  494,  493,  492,  488,  487,
 
1086
      485,  484,  483,  482,  481,  480,  479,  459,  458,  457,
 
1087
      456,  455,  454,  453,  452,  451,  450,  448,  447,  446,
 
1088
      444,  443,  442,  441,  440,  439,  437,  436,  435,  434,
 
1089
      433,  432,  431,  430,  429,  428,  427,  426,  425,  424,
 
1090
      423,  422,  421,  420,  419,  418,  417,  394,  393,  392,
 
1091
      391,  390,  389,  388,  387,  386,  385,  384,  383,  382,
 
1092
      381,  380,  379,  378,  377,  376,  375,  374,  373,  372,
 
1093
      371,  370,  369,  368,  367,  366,  365,  364,  363,  362,
 
1094
 
 
1095
      361,  360,  359,  357,  356,  333,  332,  330,  329,  328,
 
1096
      327,  326,  325,  324,  323,  322,  321,  320,  319,  318,
 
1097
      317,  316,  315,  314,  313,  312,  311,  310,  309,  308,
 
1098
      307,  306,  305,  304,  303,  302,  301,  300,  299,  298,
 
1099
      297,  296,  295,  265,  264,  263,  262,  261,  260,  258,
 
1100
      257,  256,  255,  254,  253,  252,  251,  250,  249,  248,
 
1101
      247,  246,  245,  244,  243,  242,  241,  240,  238,  237,
 
1102
      236,  234,  233,  232,  231,  230,  228,  227,  226,  225,
 
1103
      192,  191,  190,  189,  188,  187,  186,  185,  184,  182,
 
1104
      181,  180,  179,  177,  175,  173,  171,  169,  168,  167,
 
1105
 
 
1106
      165,  163,  162,  161,  160,  156,  154,  113,  112,  111,
 
1107
      109,  108,  106,  104,  101,   97,   45,   42,   37,   18,
 
1108
        7,    3,  845,  845,  845,  845,  845,  845,  845,  845,
 
1109
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
1110
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
1111
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
1112
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
1113
      845,  845,  845,  845,  845,  845,  845,  845,  845,  845,
 
1114
      845,  845,  845,  845,  845,  845,  845,  845
1112
1115
    } ;
1113
1116
 
1114
1117
static yy_state_type yy_last_accepting_state;
1129
1132
/*
1130
1133
 * The SIP lexer.
1131
1134
 *
1132
 
 * Copyright (c) 2009 Riverbank Computing Limited <info@riverbankcomputing.com>
 
1135
 * Copyright (c) 2010 Riverbank Computing Limited <info@riverbankcomputing.com>
1133
1136
 * 
1134
1137
 * This file is part of SIP.
1135
1138
 * 
1181
1184
static void fatallex(char *);
1182
1185
 
1183
1186
 
1184
 
#line 1185 "lexer.c.tmp"
 
1187
#line 1188 "lexer.c.tmp"
1185
1188
 
1186
1189
#define INITIAL 0
1187
1190
#define code 1
1376
1379
#line 60 "lexer.l"
1377
1380
 
1378
1381
 
1379
 
#line 1380 "lexer.c.tmp"
 
1382
#line 1383 "lexer.c.tmp"
1380
1383
 
1381
1384
        if ( !(yy_init) )
1382
1385
                {
1430
1433
                        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1431
1434
                                {
1432
1435
                                yy_current_state = (int) yy_def[yy_current_state];
1433
 
                                if ( yy_current_state >= 840 )
 
1436
                                if ( yy_current_state >= 846 )
1434
1437
                                        yy_c = yy_meta[(unsigned int) yy_c];
1435
1438
                                }
1436
1439
                        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1437
1440
                        ++yy_cp;
1438
1441
                        }
1439
 
                while ( yy_base[yy_current_state] != 1717 );
 
1442
                while ( yy_base[yy_current_state] != 1723 );
1440
1443
 
1441
1444
yy_find_action:
1442
1445
                yy_act = yy_accept[yy_current_state];
2152
2155
case 110:
2153
2156
YY_RULE_SETUP
2154
2157
#line 359 "lexer.l"
 
2158
{           /* The start of a docstring block. */
 
2159
    codeIdx = 0;
 
2160
    return TK_DOCSTRING;
 
2161
}
 
2162
        YY_BREAK
 
2163
case 111:
 
2164
YY_RULE_SETUP
 
2165
#line 364 "lexer.l"
2155
2166
{             /* The start of a documentation block. */
2156
2167
    codeIdx = 0;
2157
2168
    return TK_DOC;
2158
2169
}
2159
2170
        YY_BREAK
2160
 
case 111:
 
2171
case 112:
2161
2172
YY_RULE_SETUP
2162
 
#line 364 "lexer.l"
 
2173
#line 369 "lexer.l"
2163
2174
{         /* The start of an exported documentation block. */
2164
2175
    codeIdx = 0;
2165
2176
    return TK_EXPORTEDDOC;
2166
2177
}
2167
2178
        YY_BREAK
2168
 
case 112:
 
2179
case 113:
2169
2180
YY_RULE_SETUP
2170
 
#line 369 "lexer.l"
 
2181
#line 374 "lexer.l"
2171
2182
{            /* The start of a Makefile code block. */
2172
2183
    codeIdx = 0;
2173
2184
    return TK_MAKEFILE;
2174
2185
}
2175
2186
        YY_BREAK
2176
 
case 113:
 
2187
case 114:
2177
2188
YY_RULE_SETUP
2178
 
#line 374 "lexer.l"
 
2189
#line 379 "lexer.l"
2179
2190
{          /* The start of an access code block. */
2180
2191
    codeIdx = 0;
2181
2192
    return TK_ACCESSCODE;
2182
2193
}
2183
2194
        YY_BREAK
2184
 
case 114:
 
2195
case 115:
2185
2196
YY_RULE_SETUP
2186
 
#line 379 "lexer.l"
 
2197
#line 384 "lexer.l"
2187
2198
{         /* The start of a get code block. */
2188
2199
    codeIdx = 0;
2189
2200
    return TK_GETCODE;
2190
2201
}
2191
2202
        YY_BREAK
2192
 
case 115:
 
2203
case 116:
2193
2204
YY_RULE_SETUP
2194
 
#line 384 "lexer.l"
 
2205
#line 389 "lexer.l"
2195
2206
{         /* The start of a set code block. */
2196
2207
    codeIdx = 0;
2197
2208
    return TK_SETCODE;
2198
2209
}
2199
2210
        YY_BREAK
2200
 
case 116:
 
2211
case 117:
2201
2212
YY_RULE_SETUP
2202
 
#line 389 "lexer.l"
 
2213
#line 394 "lexer.l"
2203
2214
{           /* The end of a code block. */
2204
2215
    BEGIN INITIAL;
2205
2216
    codeIdx = -1;
2206
2217
    return TK_END;
2207
2218
}
2208
2219
        YY_BREAK
2209
 
case 117:
2210
 
/* rule 117 can match eol */
 
2220
case 118:
 
2221
/* rule 118 can match eol */
2211
2222
YY_RULE_SETUP
2212
 
#line 395 "lexer.l"
 
2223
#line 400 "lexer.l"
2213
2224
{          /* The end of a code line . */
2214
2225
    struct inputFile *ifp;
2215
2226
 
2229
2240
    return TK_CODELINE;
2230
2241
}
2231
2242
        YY_BREAK
2232
 
case 118:
 
2243
case 119:
2233
2244
YY_RULE_SETUP
2234
 
#line 414 "lexer.l"
 
2245
#line 419 "lexer.l"
2235
2246
{           /* The contents of a code line. */
2236
2247
    if (codeIdx == MAX_CODE_LINE_LENGTH)
2237
2248
        fatallex("Line is too long");
2239
2250
    codeLine[codeIdx++] = yytext[0];
2240
2251
}
2241
2252
        YY_BREAK
2242
 
case 119:
 
2253
case 120:
2243
2254
YY_RULE_SETUP
2244
 
#line 421 "lexer.l"
 
2255
#line 426 "lexer.l"
2245
2256
{             /* Anything else is returned as is. */
2246
2257
    return yytext[0];
2247
2258
}
2248
2259
        YY_BREAK
2249
 
case 120:
 
2260
case 121:
2250
2261
YY_RULE_SETUP
2251
 
#line 425 "lexer.l"
 
2262
#line 430 "lexer.l"
2252
2263
ECHO;
2253
2264
        YY_BREAK
2254
 
#line 2255 "lexer.c.tmp"
 
2265
#line 2266 "lexer.c.tmp"
2255
2266
case YY_STATE_EOF(INITIAL):
2256
2267
case YY_STATE_EOF(code):
2257
2268
case YY_STATE_EOF(ccomment):
2546
2557
                while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2547
2558
                        {
2548
2559
                        yy_current_state = (int) yy_def[yy_current_state];
2549
 
                        if ( yy_current_state >= 840 )
 
2560
                        if ( yy_current_state >= 846 )
2550
2561
                                yy_c = yy_meta[(unsigned int) yy_c];
2551
2562
                        }
2552
2563
                yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2574
2585
        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2575
2586
                {
2576
2587
                yy_current_state = (int) yy_def[yy_current_state];
2577
 
                if ( yy_current_state >= 840 )
 
2588
                if ( yy_current_state >= 846 )
2578
2589
                        yy_c = yy_meta[(unsigned int) yy_c];
2579
2590
                }
2580
2591
        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2581
 
        yy_is_jam = (yy_current_state == 839);
 
2592
        yy_is_jam = (yy_current_state == 845);
2582
2593
 
2583
2594
        return yy_is_jam ? 0 : yy_current_state;
2584
2595
}
3254
3265
 
3255
3266
#define YYTABLES_NAME "yytables"
3256
3267
 
3257
 
#line 425 "lexer.l"
 
3268
#line 430 "lexer.l"
3258
3269
 
3259
3270
 
3260
3271