lexer.c

C程序漏洞检查！

     1087, 1145,  279, 1145,  280, 1145, 1145, 1145, 1145, 1145,
     1145, 1078, 1145, 1077, 1076, 1075,  401,  434, 1074, 1073,
     1072, 1071, 1070, 1069, 1068, 1067,    0,  318, 1145, 1145,

     1145,  443,  452, 1145, 1145, 1145, 1145, 1145, 1145, 1145,
        0,    0,    0, 1145,  466, 1145, 1074, 1145,  274,  480,
     1145,  192,  120,  489,  291, 1145,  207,  256, 1145, 1145,
      290,  243, 1023, 1005,  203, 1025, 1024, 1019, 1014,  999,
     1007, 1013, 1005, 1017, 1012, 1000,  235, 1014, 1012, 1008,
     1000, 1006, 1009,    0,  995,  999,    0, 1000,  997,  986,
      988,  990,  997,  983,  981,  981,  993,  983,  987,  991,
      993,  982, 1037, 1145,  515,  985,  169,  986,  973,  983,
      264,  984,  973,  984,  980, 1145, 1145, 1145, 1145,  533,
      551, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1145, 1020,

      499,  560,    0,  569,  313, 1027, 1145,  583, 1145,  592,
      342, 1145,  338, 1145,  375,  379,  972,  968,  961,  973,
      313,  974,  958,  974,  201,  969,  971,  969,  970,  963,
      954,  957,  954,    0,  956,    0,    0,  947,  955,  944,
      951,    0,    0,  945,  942,    0,  946,    0,  941,  941,
      938,  950,  940,  944,  949,  948,  378,  937,  942,    0,
      930,  942,  937,  939,  939,  934,  928,  928,  935,  935,
      927,  932,  929,  930, 1145,  610, 1145, 1145,  619,  628,
      491,  617,  619,  927,  934,  916,  928,  915,  912,  917,
      922,  919,  916,  507,  908,  918,  912,  909,  906,  913,

      914,  900,    0,    0,  900,  899,  904,  895,    0,  900,
      886,  890,    0,  879,  876,  861,  844,  839,  840,  830,
        0,  811,  790,    0,  785, 1145, 1145,  726,  701,  619,
      629,  629,  614, 1145,  620,  625,  616,  628,  617,  614,
      613,  605,  605,  608,  621,  606,  640,  643,  640,    0,
      614,  603,  608,  582,  575,  565,  560,  571,  557,  557,
        0,    0,    0,  569,    0,    0,    0,    0,    0,    0,
      548,    0,  548,  540,  517, 1145, 1145, 1145, 1145,  515,
      516,  518, 1145,  504,    0,  515,    0,  511,  516,  489,
      486,  502,  495,    0,    0,    0,  481,  499,  480,  452,

      446,  442,  428,    0,  431,    0,  418,    0,  400,  397,
     1145, 1145,  395, 1145,  389,  374,  369,  389,  382,  374,
        0,  371,  355,  367,  366,    0,  355,  353,  340,    0,
        0,    0,    0, 1145,  351,  318,  330,    0,  324,  309,
      321,  302,    0,  315,  310,  287,  279,  283,  257,  261,
        0,  245,    0,  257,    0,    0,    0,  233,    0,  215,
        0,  152,  138,   82,   78,   47,    0,    0,    0,    0,
     1145,  687,  699,  711,  723,  735,  747,  753,  764,  775,
      786,  797,  809,  821,  833,  845,  856,  868,  880,  886,
      897,  903,  908,  917,  926,  929,  938,  944,  949,  954,

      959
    } ;

static yyconst short int yy_def[602] =
    {   0,
      571,    1,  572,  572,  573,  573,  574,  574,  575,  575,
      576,  576,  577,  577,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  578,  578,  571,  571,  571,  578,  571,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  571,  571,  571,  571,  571,  571,
      571,  579,  571,  579,  579,  579,  571,  580,  571,  580,
      581,  582,  583,  584,  571,  584,  585,  586,  571,  571,
      587,  588,  589,  571,  571,  571,  571,  571,  571,  571,

      571,  571,  571,  571,  571,  571,  590,  571,  591,  571,
      592,   34,   35,  571,  571,  571,  593,  571,  571,  571,
      571,  571,  578,  571,  571,  571,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  571,  571,  571,  571,   70,   70,  571,
      594,  571,  571,  571,  571,  571,  571,  579,  579,  571,
      580,  571,  581,  571,  581,  571,  571,  571,  571,  571,
      571,  584,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  595,  586,  571,  571,  571,

      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      596,  588,  589,  571,  571,  571,  597,  571,  592,  571,
      571,  571,  571,  571,  598,  571,  571,  593,  571,  571,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  594,  571,  594,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  595,

      571,  571,  596,  571,  599,  597,  571,  571,  571,  571,
      600,  571,  571,  571,  571,  571,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      601,  571,  571,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,

      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,

      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      571,  571,  571,  571,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  571,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
      578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
        0,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,

      571
    } ;

static yyconst short int yy_nxt[1223] =
    {   0,
       16,   16,   17,   18,   19,   20,   21,   16,   22,   23,
       24,   25,   26,   27,   28,   29,   30,   31,   32,   33,
       34,   35,   35,   35,   35,   35,   35,   35,   35,   36,
       37,   38,   39,   40,   41,   42,   43,   43,   43,   43,
       44,   43,   43,   45,   16,   46,   47,   48,   49,   50,
       51,   52,   53,   54,   55,   56,   43,   57,   43,   58,
       43,   43,   43,   43,   59,   60,   61,   62,   63,   64,
       43,   43,   43,   65,   66,   67,   68,   69,   98,   73,
       73,   85,   70,   74,   74,   79,   80,   79,   80,   86,
       89,   85,   89,   90,  570,   90,   81,  101,   81,   86,

       99,   82,  103,   82,   93,   94,  142,   75,   75,   76,
       76,   93,   94,  143,  102,  118,  119,  104,  105,  128,
       77,   77,   87,  121,  122,  569,   83,  129,   83,  568,
      108,   91,   87,   91,  106,  109,  107,  107,  107,  107,
      107,  107,  107,  107,  107,  124,  154,  227,  110,  111,
      125,  112,  112,  112,  112,  112,  112,  112,  113,  113,
      313,  134,  131,  136,  139,  137,  227,  140,  114,  132,
      135,  115,  116,  117,  138,  133,  146,  147,  157,  313,
      174,  178,  259,  158,  114,  567,  148,  256,  155,  149,
      115,  175,  179,  260,  257,  268,  176,  226,  116,  566,

      262,  117,  111,  269,  113,  113,  113,  113,  113,  113,
      113,  113,  113,  198,  198,  198,  198,  263,  199,  215,
      216,  114,  216,  226,  115,  116,  364,  264,  220,  221,
      270,  221,  271,  312,  365,  215,  216,  114,  222,  223,
      571,  216,  265,  115,  220,  221,  280,  227,  281,  157,
      221,  116,  159,  160,  158,  282,  277,  222,  278,  312,
      393,  279,  565,  324,  325,  223,  227,  394,  571,  326,
      161,  161,  161,  161,  161,  161,  161,  161,  161,  224,
      564,  224,  174,  174,  225,  225,  225,  225,  225,  225,
      225,  225,  225,  571,  175,  320,  315,  316,  571,  176,

      338,  339,  162,  163,  563,  321,  562,  164,  561,  165,
      560,  308,  309,  166,  309,  315,  369,  167,  185,  198,
      198,  198,  198,  316,  199,  370,  186,  308,  309,  314,
      559,  314,  558,  309,  557,  187,  187,  187,  187,  187,
      187,  187,  188,  188,  231,  314,  232,  233,  234,  317,
      314,  216,  235,  216,  236,  318,  319,  556,  237,  238,
      239,  240,  555,  241,  189,  190,  554,  216,  553,  191,
      274,  552,  216,  388,  389,  551,  192,  550,  313,  193,
      221,  194,  221,  195,  549,  196,  201,  275,  275,  275,
      275,  275,  275,  275,  275,  275,  221,  313,  548,  547,

      546,  221,  545,  202,  202,  202,  202,  202,  202,  202,
      203,  203,  289,  544,  543,  315,  382,  542,  541,  383,
      316,  290,  290,  290,  290,  290,  290,  290,  291,  291,
      419,  540,  204,  205,  315,  539,  538,  206,  383,  537,
      420,  536,  382,  535,  207,  292,  316,  208,  534,  209,
      533,  210,  532,  211,  291,  291,  291,  291,  291,  291,
      291,  291,  291,  301,  301,  301,  301,  301,  301,  301,
      302,  302,  302,  302,  302,  302,  302,  302,  302,  302,
      302,  304,  531,  304,  530,  529,  305,  305,  305,  305,
      305,  305,  305,  305,  305,  310,  528,  310,  527,  526,

      311,  311,  311,  311,  311,  311,  311,  311,  311,  225,
      225,  225,  225,  225,  225,  225,  225,  225,  274,  379,
      379,  379,  379,  379,  379,  379,  302,  302,  447,  309,
      448,  309,  525,  449,  450,  275,  275,  275,  275,  275,
      275,  275,  275,  275,  375,  309,  524,  523,  522,  521,
      309,  520,  519,  376,  376,  376,  376,  376,  376,  376,
      291,  291,  377,  518,  517,  516,  515,  514,  513,  512,
      511,  291,  291,  291,  291,  291,  291,  291,  291,  291,
      302,  302,  302,  302,  302,  302,  302,  302,  302,  305,
      305,  305,  305,  305,  305,  305,  305,  305,  380,  510,

      380,  509,  508,  381,  381,  381,  381,  381,  381,  381,
      381,  381,  311,  311,  311,  311,  311,  311,  311,  311,
      311,  375,  507,  506,  505,  504,  503,  502,  501,  500,
      291,  291,  291,  291,  291,  291,  291,  291,  291,  302,
      302,  302,  302,  302,  302,  302,  302,  302,  381,  381,
      381,  381,  381,  381,  381,  381,  381,  383,  316,  383,
      382,  499,  498,  497,  496,  495,  494,  493,  492,  491,
      490,  489,  488,  487,  486,  485,  383,  484,  383,  483,
      482,  481,  480,  479,  316,  478,  382,   71,   71,   71,
       71,   71,   71,   71,   71,   71,   71,   71,   71,   72,

       72,   72,   72,   72,   72,   72,   72,   72,   72,   72,
       72,   78,   78,   78,   78,   78,   78,   78,   78,   78,
       78,   78,   78,   84,   84,   84,   84,   84,   84,   84,
       84,   84,   84,   84,   84,   88,   88,   88,   88,   88,
       88,   88,   88,   88,   88,   88,   88,   92,   92,   92,
       92,   92,   92,   92,   92,   92,   92,   92,   92,  123,
      123,  123,  123,  123,  168,  477,  168,  168,  168,  168,
      168,  168,  168,  168,  168,  171,  171,  171,  171,  171,
      476,  171,  171,  171,  171,  171,  173,  173,  173,  173,
      173,  173,  173,  173,  173,  173,  173,  177,  177,  177,

      177,  177,  177,  177,  177,  177,  177,  177,  177,  180,
      180,  180,  180,  180,  180,  180,  180,  180,  180,  180,
      180,  182,  182,  182,  182,  182,  182,  182,  182,  182,
      182,  182,  182,  184,  184,  184,  184,  184,  184,  184,
      184,  184,  184,  184,  184,  197,  475,  474,  197,  197,
      197,  197,  197,  197,  197,  197,  200,  200,  200,  200,
      200,  200,  200,  200,  200,  200,  200,  200,  212,  212,
      212,  212,  473,  212,  212,  212,  212,  212,  212,  212,
      213,  213,  213,  213,  472,  213,  213,  213,  213,  213,
      213,  213,  107,  471,  107,  470,  107,  217,  217,  217,

      217,  217,  217,  217,  217,  217,  217,  217,  217,  219,
      469,  219,  468,  219,  228,  228,  228,  273,  273,  273,
      273,  273,  273,  273,  273,  273,  273,  273,  273,  300,
      467,  466,  300,  300,  300,  303,  303,  303,  306,  306,
      306,  306,  306,  306,  306,  306,  306,  306,  306,  306,
      225,  465,  464,  463,  225,  305,  462,  461,  460,  305,
      311,  459,  458,  457,  311,  381,  456,  455,  454,  381,
      453,  452,  451,  446,  445,  444,  443,  442,  441,  440,
      439,  438,  437,  436,  435,  434,  433,  432,  431,  430,
      429,  428,  427,  426,  425,  424,  423,  422,  421,  418,

      417,  416,  415,  414,  413,  412,  411,  410,  409,  408,
      407,  406,  405,  404,  403,  402,  401,  400,  399,  398,
      397,  396,  395,  392,  391,  390,  387,  386,  385,  384,
      307,  378,  374,  373,  372,  371,  368,  367,  366,  363,
      274,  362,  361,  360,  359,  358,  357,  356,  355,  354,
      353,  352,  351,  350,  349,  348,  347,  346,  345,  344,
      343,  342,  341,  340,  337,  336,  335,  334,  333,  332,
      331,  330,  329,  328,  327,  323,  322,  307,  287,  299,
      298,  297,  296,  295,  294,  293,  287,  288,  287,  286,
      172,  285,  284,  283,  276,  272,  267,  266,  261,  258,

      255,  254,  253,  252,  251,  250,  249,  248,  247,  246,
      245,  244,  243,  242,  230,  229,  218,  214,   95,  571,
      183,  183,  181,  172,  172,  170,  169,  156,  153,  152,
      151,  150,  145,  144,  141,  130,  127,  126,  120,  100,
       97,   96,   95,  571,   15,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,

      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571
    } ;

static yyconst short int yy_chk[1223] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    2,   24,    5,
        6,    9,    2,    5,    6,    7,    7,    8,    8,    9,
       11,   10,   12,   11,  566,   12,    7,   29,    8,   10,

       24,    7,   31,    8,   13,   13,   57,    5,    6,    5,
        6,   14,   14,   57,   29,   38,   38,   31,   31,   50,
        5,    6,    9,   40,   40,  565,    7,   50,    8,  564,
       33,   11,   10,   12,   32,   33,   32,   32,   32,   32,
       32,   32,   32,   32,   32,   44,   66,  116,   33,   34,
       44,   34,   34,   34,   34,   34,   34,   34,   34,   34,
      223,   53,   52,   54,   55,   54,  116,   55,   34,   52,
       53,   34,   34,   34,   54,   52,   60,   60,   69,  223,
       81,   82,  145,   69,   34,  563,   60,  143,   66,   60,
       34,   81,   82,  145,  143,  151,   81,  115,   34,  562,

      147,   34,   35,  151,   35,   35,   35,   35,   35,   35,
       35,   35,   35,   90,   90,   90,   90,  147,   90,  107,
      107,   35,  107,  115,   35,   35,  277,  148,  111,  111,
      152,  111,  152,  222,  277,  107,  107,   35,  112,  112,
      112,  107,  148,   35,  111,  111,  164,  227,  164,  157,
      111,   35,   70,   70,  157,  164,  163,  112,  163,  222,
      325,  163,  560,  235,  235,  112,  227,  325,  112,  235,
       70,   70,   70,   70,   70,   70,   70,   70,   70,  114,
      558,  114,  173,  175,  114,  114,  114,  114,  114,  114,
      114,  114,  114,  173,  175,  232,  228,  228,  173,  175,

      247,  247,   70,   70,  554,  232,  552,   70,  550,   70,
      549,  219,  219,   70,  219,  228,  281,   70,   87,  198,
      198,  198,  198,  228,  198,  281,   87,  219,  219,  225,
      548,  225,  547,  219,  546,   87,   87,   87,   87,   87,
       87,   87,   87,   87,  127,  225,  127,  127,  127,  231,
      225,  305,  127,  305,  127,  231,  231,  545,  127,  127,
      127,  127,  544,  127,   87,   87,  542,  305,  541,   87,
      161,  540,  305,  321,  321,  539,   87,  537,  313,   87,
      311,   87,  311,   87,  536,   87,   91,  161,  161,  161,
      161,  161,  161,  161,  161,  161,  311,  313,  535,  529,

      528,  311,  527,   91,   91,   91,   91,   91,   91,   91,
       91,   91,  187,  525,  524,  315,  315,  523,  522,  316,
      316,  187,  187,  187,  187,  187,  187,  187,  187,  187,
      357,  520,   91,   91,  315,  519,  518,   91,  316,  517,
      357,  516,  315,  515,   91,  188,  316,   91,  513,   91,
      510,   91,  509,   91,  188,  188,  188,  188,  188,  188,
      188,  188,  188,  202,  202,  202,  202,  202,  202,  202,
      202,  202,  203,  203,  203,  203,  203,  203,  203,  203,
      203,  215,  507,  215,  505,  503,  215,  215,  215,  215,
      215,  215,  215,  215,  215,  220,  502,  220,  501,  500,

      220,  220,  220,  220,  220,  220,  220,  220,  220,  224,
      224,  224,  224,  224,  224,  224,  224,  224,  275,  301,
      301,  301,  301,  301,  301,  301,  301,  301,  394,  381,
      394,  381,  499,  394,  394,  275,  275,  275,  275,  275,
      275,  275,  275,  275,  290,  381,  498,  497,  493,  492,
      381,  491,  490,  290,  290,  290,  290,  290,  290,  290,
      290,  290,  291,  489,  488,  486,  484,  482,  481,  480,
      475,  291,  291,  291,  291,  291,  291,  291,  291,  291,
      302,  302,  302,  302,  302,  302,  302,  302,  302,  304,
      304,  304,  304,  304,  304,  304,  304,  304,  308,  474,

      308,  473,  471,  308,  308,  308,  308,  308,  308,  308,
      308,  308,  310,  310,  310,  310,  310,  310,  310,  310,
      310,  376,  464,  460,  459,  458,  457,  456,  455,  454,
      376,  376,  376,  376,  376,  376,  376,  376,  376,  379,
      379,  379,  379,  379,  379,  379,  379,  379,  380,  380,
      380,  380,  380,  380,  380,  380,  380,  382,  382,  383,
      383,  453,  452,  451,  449,  448,  447,  446,  445,  444,
      443,  442,  441,  440,  439,  438,  382,  437,  383,  436,
      435,  433,  432,  431,  382,  430,  383,  572,  572,  572,
      572,  572,  572,  572,  572,  572,  572,  572,  572,  573,

      573,  573,  573,  573,  573,  573,  573,  573,  573,  573,
      573,  574,  574,  574,  574,  574,  574,  574,  574,  574,
      574,  574,  574,  575,  575,  575,  575,  575,  575,  575,
      575,  575,  575,  575,  575,  576,  576,  576,  576,  576,
      576,  576,  576,  576,  576,  576,  576,  577,  577,  577,
      577,  577,  577,  577,  577,  577,  577,  577,  577,  578,
      578,  578,  578,  578,  579,  429,  579,  579,  579,  579,
      579,  579,  579,  579,  579,  580,  580,  580,  580,  580,
      428,  580,  580,  580,  580,  580,  581,  581,  581,  581,
      581,  581,  581,  581,  581,  581,  581,  582,  582,  582,

      582,  582,  582,  582,  582,  582,  582,  582,  582,  583,
      583,  583,  583,  583,  583,  583,  583,  583,  583,  583,
      583,  584,  584,  584,  584,  584,  584,  584,  584,  584,
      584,  584,  584,  585,  585,  585,  585,  585,  585,  585,
      585,  585,  585,  585,  585,  586,  425,  423,  586,  586,
      586,  586,  586,  586,  586,  586,  587,  587,  587,  587,
      587,  587,  587,  587,  587,  587,  587,  587,  588,  588,
      588,  588,  422,  588,  588,  588,  588,  588,  588,  588,
      589,  589,  589,  589,  420,  589,  589,  589,  589,  589,
      589,  589,  590,  419,  590,  418,  590,  591,  591,  591,

      591,  591,  591,  591,  591,  591,  591,  591,  591,  592,
      417,  592,  416,  592,  593,  593,  593,  594,  594,  594,
      594,  594,  594,  594,  594,  594,  594,  594,  594,  595,
      415,  414,  595,  595,  595,  596,  596,  596,  597,  597,
      597,  597,  597,  597,  597,  597,  597,  597,  597,  597,
      598,  412,  411,  410,  598,  599,  408,  407,  406,  599,
      600,  405,  402,  401,  600,  601,  400,  399,  398,  601,
      397,  396,  395,  393,  392,  391,  390,  389,  388,  387,
      386,  385,  384,  374,  373,  372,  371,  370,  369,  368,
      367,  366,  365,  364,  363,  362,  361,  359,  358,  356,

      355,  354,  353,  352,  351,  350,  349,  347,  345,  344,
      341,  340,  339,  338,  335,  333,  332,  331,  330,  329,
      328,  327,  326,  324,  323,  322,  320,  319,  318,  317,
      306,  300,  285,  284,  283,  282,  280,  279,  278,  276,
      273,  272,  271,  270,  269,  268,  267,  266,  265,  264,
      263,  262,  261,  260,  259,  258,  256,  255,  253,  252,
      251,  250,  249,  248,  246,  245,  244,  243,  242,  241,
      240,  239,  238,  237,  236,  234,  233,  217,  196,  195,
      194,  193,  192,  191,  190,  189,  186,  185,  184,  182,
      171,  167,  166,  165,  162,  153,  150,  149,  146,  144,

      141,  140,  139,  138,  137,  136,  135,  134,  133,  132,
      131,  130,  129,  128,  122,  118,  109,  106,   95,   86,
       85,   84,   83,   80,   78,   77,   74,   68,   64,   63,
       62,   61,   59,   58,   56,   51,   48,   47,   39,   28,
       23,   20,   17,   15,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,

      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571,  571,  571,  571,  571,  571,  571,  571,  571,
      571,  571
    } ;

static yy_state_type yy_last_accepting_state;
static char *yy_last_accepting_cpos;

/* The intent behind this definition is that it'll catch
 * any uses of REJECT which flex missed.
 */
#define REJECT reject_used_but_not_detected
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0
#define YY_RESTORE_YY_MORE_OFFSET
char *yytext;
#line 1 "lexer.l"
#define INITIAL 0
#line 2 "lexer.l"
/***** uno: lexer.l *****/

/* Copyright (c) 2000-2003 by Lucent Technologies - Bell Laboratories     */
/* All Rights Reserved.  This software is for educational purposes only.  */
/* Permission is given to distribute this code provided that this intro-  */
/* ductory message is not removed and no monies are exchanged.            */