Changeset 68c1c4 in git for Singular/grammar.cc


Ignore:
Timestamp:
Mar 10, 2007, 4:14:15 PM (17 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
9fb610ec918207ad1eeb191fde8da038dd485153
Parents:
62b87db36aa3d15594d1ef39f82cb84d03a7e344
Message:
*hannes: avoid shift/reduce conflicts


git-svn-id: file:///usr/local/Singular/svn/trunk@9935 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/grammar.cc

    r62b87d r68c1c4  
    321321#define YYFINAL         369
    322322#define YYFLAG          -32768
    323 #define YYNTBASE        141
    324 
    325 #define YYTRANSLATE(x) ((unsigned)(x) <= 378 ? yytranslate[x] : 184)
     323#define YYNTBASE        142
     324
     325#define YYTRANSLATE(x) ((unsigned)(x) <= 378 ? yytranslate[x] : 185)
    326326
    327327static const short yytranslate[] = {     0,
    … …  
    329329     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    330330     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    331      2,     2,     2,     2,     2,     2,     2,   135,     2,   137,
    332    138,     2,   127,   133,   128,     2,   129,     2,     2,     2,
    333      2,     2,     2,     2,     2,     2,     2,   139,   134,   125,
     331     2,     2,     2,     2,     2,     2,     2,   135,     2,   139,
     332   140,   137,   127,   133,   128,     2,   129,     2,     2,     2,
     333     2,     2,     2,     2,     2,     2,     2,   136,   134,   125,
    334334   124,   126,     2,     2,     2,     2,     2,     2,     2,     2,
    335335     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    336336     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    337    130,     2,   131,   132,     2,   140,     2,     2,     2,     2,
     337   130,     2,   131,   132,     2,   141,     2,     2,     2,     2,
    338338     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    339339     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    … …  
    363363    97,    98,    99,   100,   101,   102,   103,   104,   105,   106,
    364364   107,   108,   109,   110,   111,   112,   113,   114,   115,   116,
    365    117,   118,   119,   120,   121,   122,   123,   136
     365   117,   118,   119,   120,   121,   122,   123,   138
    366366};
    367367
    … …  
    388388
    389389static const short yyrhs[] = {    -1,
    390    141,   142,     0,   143,     0,   145,   134,     0,   157,   134,
    391      0,   183,     0,   119,     0,   134,     0,     1,   134,     0,
    392    178,     0,   179,     0,   144,     0,   180,     0,   181,     0,
    393    165,     0,   167,     0,   168,     0,    98,   107,     0,   146,
    394      0,   169,     0,   170,     0,   171,     0,   182,     0,   173,
    395      0,   174,     0,   176,     0,   177,     0,   154,   148,     0,
    396    110,     0,   155,     0,   147,    11,   147,     0,   147,   137,
    397    138,     0,   147,   137,   148,   138,     0,   130,   148,   131,
    398      0,   108,     0,   123,     0,   158,     0,   148,   133,   149,
    399      0,   149,     0,   153,     0,   147,     0,   137,   148,   138,
    400      0,   149,   130,   149,   133,   149,   131,     0,   149,   130,
    401    149,   131,     0,    95,   137,   149,   138,     0,    96,   137,
    402    148,   138,     0,    96,   137,   138,     0,    97,   137,   149,
    403    138,     0,   156,   137,   148,   138,     0,   156,   137,   138,
    404      0,    87,   137,   149,   138,     0,    88,   137,   149,   133,
    405    149,   138,     0,    89,   137,   149,   133,   149,   133,   149,
    406    138,     0,    92,   137,   149,   133,   149,   138,     0,    92,
    407    137,   149,   133,   149,   133,   149,   138,     0,    90,   137,
    408    149,   138,     0,    91,   137,   149,   138,     0,    90,   137,
    409    149,   133,   149,   138,     0,    93,   137,   149,   138,     0,
    410     93,   137,   149,   133,   149,   138,     0,    91,   137,   149,
    411    133,   149,   133,   149,   138,     0,    93,   137,   149,   133,
    412    149,   133,   149,   138,     0,    94,   137,   138,     0,    94,
    413    137,   148,   138,     0,    19,   137,   149,   133,   149,   133,
    414    149,   138,     0,    19,   137,   149,   138,     0,    13,   137,
    415    149,   133,   149,   133,   149,   138,     0,    13,   137,   149,
    416    138,     0,    15,   137,   159,   133,   159,   133,   163,   138,
    417      0,    15,   137,   149,   138,     0,   151,   149,   152,     0,
    418    151,   149,   124,   149,   152,     0,     0,   115,   137,   150,
    419    149,   138,     0,   116,   137,     0,   138,     0,   149,    10,
    420      0,   149,     7,     0,   149,   127,   149,     0,   149,   128,
    421    149,     0,   149,   129,   149,     0,   149,   132,   149,     0,
    422    149,   125,   149,     0,   149,   135,   149,     0,   149,     9,
    423    149,     0,   149,     4,   149,     0,   149,     3,   149,     0,
    424    149,   139,   149,     0,     8,   149,     0,   128,   149,     0,
    425    157,   164,     0,   148,   124,     0,   109,     0,   140,   149,
    426    140,     0,    17,     0,    20,     0,    95,   147,     0,    96,
    427    147,     0,    97,   147,     0,   156,   147,     0,    19,   147,
    428    130,   149,   131,   130,   149,   131,     0,    19,   147,     0,
    429     13,   147,   130,   149,   131,   130,   149,   131,     0,    13,
    430    147,     0,   157,   133,   147,     0,    14,   147,     0,   106,
    431      0,   149,     0,   137,   149,   133,   148,   138,     0,   109,
    432      0,   160,     0,   160,   137,   148,   138,     0,   161,     0,
    433    161,   133,   162,     0,   161,     0,   137,   162,   138,     0,
    434    124,     0,     0,   125,   158,   166,   134,     0,   100,   106,
     390   142,   143,     0,   144,     0,   146,   134,     0,   158,   134,
     391     0,   184,     0,   119,     0,   134,     0,     1,   134,     0,
     392   179,     0,   180,     0,   145,     0,   181,     0,   182,     0,
     393   166,     0,   168,     0,   169,     0,    98,   107,     0,   147,
     394     0,   170,     0,   171,     0,   172,     0,   183,     0,   174,
     395     0,   175,     0,   177,     0,   178,     0,   155,   149,     0,
     396   110,     0,   156,     0,   148,    11,   148,     0,   148,   139,
     397   140,     0,   148,   139,   149,   140,     0,   130,   149,   131,
     398     0,   108,     0,   123,     0,   159,     0,   149,   133,   150,
     399     0,   150,     0,   154,     0,   148,     0,   139,   149,   140,
     400     0,   150,   130,   150,   133,   150,   131,     0,   150,   130,
     401   150,   131,     0,    95,   139,   150,   140,     0,    96,   139,
     402   149,   140,     0,    96,   139,   140,     0,    97,   139,   150,
     403   140,     0,   157,   139,   149,   140,     0,   157,   139,   140,
     404     0,    87,   139,   150,   140,     0,    88,   139,   150,   133,
     405   150,   140,     0,    89,   139,   150,   133,   150,   133,   150,
     406   140,     0,    92,   139,   150,   133,   150,   140,     0,    92,
     407   139,   150,   133,   150,   133,   150,   140,     0,    90,   139,
     408   150,   140,     0,    91,   139,   150,   140,     0,    90,   139,
     409   150,   133,   150,   140,     0,    93,   139,   150,   140,     0,
     410    93,   139,   150,   133,   150,   140,     0,    91,   139,   150,
     411   133,   150,   133,   150,   140,     0,    93,   139,   150,   133,
     412   150,   133,   150,   140,     0,    94,   139,   140,     0,    94,
     413   139,   149,   140,     0,    19,   139,   150,   133,   150,   133,
     414   150,   140,     0,    19,   139,   150,   140,     0,    13,   139,
     415   150,   133,   150,   133,   150,   140,     0,    13,   139,   150,
     416   140,     0,    15,   139,   160,   133,   160,   133,   164,   140,
     417     0,    15,   139,   150,   140,     0,   152,   150,   153,     0,
     418   152,   150,   124,   150,   153,     0,     0,   115,   139,   151,
     419   150,   140,     0,   116,   139,     0,   140,     0,   150,    10,
     420     0,   150,     7,     0,   150,   127,   150,     0,   150,   128,
     421   150,     0,   150,   129,   150,     0,   150,   132,   150,     0,
     422   150,   125,   150,     0,   150,   135,   150,     0,   150,     9,
     423   150,     0,   150,     4,   150,     0,   150,     3,   150,     0,
     424   150,   136,   150,     0,     8,   150,     0,   128,   150,     0,
     425   158,   165,     0,   149,   124,     0,   109,     0,   141,   150,
     426   141,     0,    17,     0,    20,     0,    95,   148,     0,    96,
     427   148,     0,    97,   148,     0,   157,   148,     0,    19,   148,
     428   130,   150,   131,   130,   150,   131,     0,    19,   148,     0,
     429    13,   148,   130,   150,   131,   130,   150,   131,     0,    13,
     430   148,     0,   158,   133,   148,     0,    14,   148,     0,   106,
     431     0,   150,     0,   139,   150,   133,   149,   140,     0,   109,
     432     0,   161,     0,   161,   139,   149,   140,     0,   162,     0,
     433   162,   133,   163,     0,   162,     0,   139,   163,   140,     0,
     434   124,     0,     0,   125,   159,   167,   134,     0,   100,   106,
    435435   134,     0,   100,   134,     0,    98,   106,   134,     0,    99,
    436    148,     0,   101,   147,     0,   170,   133,   147,     0,   103,
    437    137,    95,   138,     0,   103,   137,    96,   138,     0,   103,
    438    137,    97,   138,     0,   103,   137,   156,   138,     0,   103,
    439    137,    15,   138,     0,   103,   137,    19,   138,     0,   103,
    440    137,    13,   138,     0,   103,   137,    14,   138,     0,   103,
    441    137,   147,   138,     0,   103,   137,   147,   133,    95,   138,
    442      0,   103,   137,   147,   133,    96,   138,     0,   103,   137,
    443    147,   133,    97,   138,     0,   103,   137,   147,   133,   156,
    444    138,     0,   103,   137,   147,   133,    15,   138,     0,   103,
    445    137,   147,   133,    19,   138,     0,   103,   137,   147,   133,
    446     13,   138,     0,   103,   137,   147,   133,    14,   138,     0,
    447    103,   137,   138,     0,    15,     0,   172,   147,   164,   159,
    448    133,   159,   133,   163,     0,   172,   147,     0,   123,   158,
    449      0,   104,     0,    38,     0,   175,   149,     0,   105,   149,
    450      0,   148,     0,   118,   137,   149,   138,   107,     0,   114,
    451    107,     0,   118,   137,   149,   138,   112,     0,   112,     0,
     436   149,     0,   101,   148,     0,   171,   133,   148,     0,   103,
     437   139,    95,   140,     0,   103,   139,    96,   140,     0,   103,
     438   139,    97,   140,     0,   103,   139,   157,   140,     0,   103,
     439   139,    15,   140,     0,   103,   139,    19,   140,     0,   103,
     440   139,    13,   140,     0,   103,   139,    14,   140,     0,   103,
     441   139,   148,   140,     0,   103,   139,   148,   133,    95,   140,
     442     0,   103,   139,   148,   133,    96,   140,     0,   103,   139,
     443   148,   133,    97,   140,     0,   103,   139,   148,   133,   157,
     444   140,     0,   103,   139,   148,   133,    15,   140,     0,   103,
     445   139,   148,   133,    19,   140,     0,   103,   139,   148,   133,
     446    13,   140,     0,   103,   139,   148,   133,    14,   140,     0,
     447   103,   139,   140,     0,    15,     0,   173,   148,   165,   160,
     448   133,   160,   133,   164,     0,   173,   148,     0,   123,   159,
     449     0,   104,     0,    38,     0,   176,   150,     0,   105,   150,
     450     0,   149,     0,   118,   139,   150,   140,   107,     0,   114,
     451   107,     0,   118,   139,   150,   140,   112,     0,   112,     0,
    452452   113,     0,   120,   106,   107,     0,   117,   106,   106,   106,
    453    107,     0,    14,   155,   107,     0,   111,   106,   107,     0,
    454    111,   106,   106,   107,     0,   122,   157,     0,   122,   149,
    455      0,   121,   137,   148,   138,     0,   121,   137,   138,     0
     453   107,     0,    14,   156,   107,     0,   111,   106,   107,     0,
     454   111,   106,   106,   107,     0,   122,   158,     0,   122,   150,
     455     0,   121,   139,   149,   140,     0,   121,   139,   140,     0
    456456};
    457457
    … …  
    502502"RINGVAR","PROC_DEF","BREAK_CMD","CONTINUE_CMD","ELSE_CMD","EVAL","QUOTE","FOR_CMD",
    503503"IF_CMD","SYS_BREAK","WHILE_CMD","RETURN","PARAMETER","SYSVAR","'='","'<'","'>'",
    504 "'+'","'-'","'/'","'['","']'","'^'","','","';'","'&'","UMINUS","'('","')'","':'",
    505 "'`'","lines","pprompt","flowctrl","example_dummy","command","assign","elemexpr",
    506 "exprlist","expr","@1","quote_start","quote_end","expr_arithmetic","left_value",
    507 "extendedid","currring_lists","declare_ip_variable","stringexpr","rlist","ordername",
    508 "orderelem","OrderingList","ordering","cmdeq","filecmd","@2","helpcmd","examplecmd",
    509 "exportcmd","killcmd","listcmd","ringcmd1","ringcmd","scriptcmd","setrings",
    510 "setringcmd","typecmd","ifcmd","whilecmd","forcmd","proccmd","parametercmd",
    511 "returncmd", NULL
     504"'+'","'-'","'/'","'['","']'","'^'","','","';'","'&'","':'","'*'","UMINUS","'('",
     505"')'","'`'","lines","pprompt","flowctrl","example_dummy","command","assign",
     506"elemexpr","exprlist","expr","@1","quote_start","quote_end","expr_arithmetic",
     507"left_value","extendedid","currring_lists","declare_ip_variable","stringexpr",
     508"rlist","ordername","orderelem","OrderingList","ordering","cmdeq","filecmd",
     509"@2","helpcmd","examplecmd","exportcmd","killcmd","listcmd","ringcmd1","ringcmd",
     510"scriptcmd","setrings","setringcmd","typecmd","ifcmd","whilecmd","forcmd","proccmd",
     511"parametercmd","returncmd", NULL
    512512};
    513513#endif
    514514
    515515static const short yyr1[] = {     0,
    516    141,   141,   142,   142,   142,   142,   142,   142,   142,   143,
    517    143,   143,   143,   143,   143,   143,   143,   144,   145,   145,
    518    145,   145,   145,   145,   145,   145,   145,   146,   147,   147,
    519    147,   147,   147,   147,   147,   147,   147,   148,   148,   149,
    520    149,   149,   149,   149,   149,   149,   149,   149,   149,   149,
    521    149,   149,   149,   149,   149,   149,   149,   149,   149,   149,
    522    149,   149,   149,   149,   149,   149,   149,   149,   149,   149,
    523    149,   149,   150,   149,   151,   152,   153,   153,   153,   153,
    524    153,   153,   153,   153,   153,   153,   153,   153,   153,   153,
    525    154,   154,   155,   155,   156,   156,   157,   157,   157,   157,
    526    157,   157,   157,   157,   157,   157,   158,   159,   159,   160,
    527    161,   161,   162,   162,   163,   163,   164,   166,   165,   167,
    528    167,   168,   169,   170,   170,   171,   171,   171,   171,   171,
    529    171,   171,   171,   171,   171,   171,   171,   171,   171,   171,
    530    171,   171,   171,   172,   173,   173,   174,   175,   175,   176,
    531    177,   177,   178,   178,   178,   178,   178,   179,   180,   181,
    532    181,   181,   182,   182,   183,   183
     516   142,   142,   143,   143,   143,   143,   143,   143,   143,   144,
     517   144,   144,   144,   144,   144,   144,   144,   145,   146,   146,
     518   146,   146,   146,   146,   146,   146,   146,   147,   148,   148,
     519   148,   148,   148,   148,   148,   148,   148,   149,   149,   150,
     520   150,   150,   150,   150,   150,   150,   150,   150,   150,   150,
     521   150,   150,   150,   150,   150,   150,   150,   150,   150,   150,
     522   150,   150,   150,   150,   150,   150,   150,   150,   150,   150,
     523   150,   150,   151,   150,   152,   153,   154,   154,   154,   154,
     524   154,   154,   154,   154,   154,   154,   154,   154,   154,   154,
     525   155,   155,   156,   156,   157,   157,   158,   158,   158,   158,
     526   158,   158,   158,   158,   158,   158,   159,   160,   160,   161,
     527   162,   162,   163,   163,   164,   164,   165,   167,   166,   168,
     528   168,   169,   170,   171,   171,   172,   172,   172,   172,   172,
     529   172,   172,   172,   172,   172,   172,   172,   172,   172,   172,
     530   172,   172,   172,   173,   174,   174,   175,   176,   176,   177,
     531   178,   178,   179,   179,   179,   179,   179,   180,   181,   182,
     532   182,   182,   183,   183,   184,   184
    533533};
    534534
    … …  
    602602
    603603static const short yypact[] = {-32768,
    604    276,  -131,  1645,   377,   -50,  -120,-32768,   620,-32768,-32768,
    605    -73,   -71,   -67,   -60,   -53,   -40,   -37,   -31,   858,  1045,
    606   1100,  -100,  1645,  -102,   -50,   -30,-32768,  1645,-32768,-32768,
    607 -32768,-32768,     3,-32768,-32768,   -72,   -18,     2,    10,    11,
    608 -32768,    34,    13,  1295,    37,    37,  1645,  1645,-32768,  1645,
    609   1645,-32768,-32768,-32768,    44,-32768,     0,   -83,  1225,  1645,
    610 -32768,  1645,-32768,  1181,  -105,-32768,-32768,-32768,-32768,-32768,
    611     20,-32768,   -50,-32768,-32768,  1645,-32768,-32768,-32768,-32768,
    612 -32768,-32768,-32768,-32768,-32768,    42,  -120,    43,    47,    53,
    613     55,-32768,   139,    61,  1645,    78,     0,    98,  1699,  1645,
    614     99,  1645,  1645,  1645,  1645,  1645,  1645,  1645,  1361,  1645,
    615      0,  1421,     0,  1645,     0,    84,-32768,    73,    91,-32768,
    616      0,  1750,  1225,   -64,-32768,-32768,-32768,   104,  1645,   119,
    617   1475,   -50,  1225,    95,-32768,-32768,   139,   -78,  -124,    72,
    618 -32768,   -50,  1533,-32768,  1645,  1645,  1645,-32768,  1645,-32768,
    619   1645,  1645,  1645,  1645,  1645,  1645,  1645,  1645,    92,    73,
    620   1587,     0,-32768,   -50,-32768,-32768,   -50,   -10,  1225,   178,
    621   1645,-32768,  1645,   502,   106,   315,  1645,   517,   553,   581,
    622    339,   405,   650,   420,-32768,  -113,   663,-32768,   -84,   686,
    623 -32768,-32768,   100,   102,   103,   107,   108,   109,   111,-32768,
    624     76,   112,   135,-32768,  1645,   137,   714,-32768,-32768,   -81,
    625    117,-32768,-32768,-32768,-32768,-32768,   -70,  1225,  1238,  1334,
    626   1334,   105,    64,    64,   139,   448,    38,     6,  1225,  1645,
    627 -32768,-32768,-32768,   -66,     0,     0,  1699,  1645,-32768,    27,
    628    729,-32768,  1699,  1645,-32768,   742,-32768,  1645,  1645,  1645,
    629 -32768,  1645,-32768,  1645,  1645,-32768,-32768,-32768,-32768,-32768,
    630 -32768,-32768,-32768,-32768,-32768,-32768,-32768,   337,-32768,-32768,
    631 -32768,   755,   145,   -21,-32768,-32768,-32768,-32768,  1645,   796,
    632 -32768,  1225,   120,   819,    14,  1645,   121,   888,   127,   901,
    633    929,   952,   967,   472,   487,   122,   125,   126,   136,   141,
    634    142,   143,   144,-32768,-32768,-32768,-32768,   980,-32768,  1699,
    635   1645,  1645,   -45,  -104,  1645,  1645,-32768,  1645,-32768,  1645,
    636   1645,-32768,  1645,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
    637 -32768,-32768,-32768,   132,   993,  1034,-32768,-32768,   149,   146,
    638 -32768,   148,  1062,  1126,  1139,  1167,  1195,  1210,  -104,-32768,
    639 -32768,   154,   150,  1645,-32768,-32768,-32768,-32768,-32768,-32768,
    640 -32768,-32768,   149,-32768,   -35,-32768,-32768,   259,-32768
     604   276,  -125,  1218,   631,   214,  -111,-32768,   800,-32768,-32768,
     605   -62,   -59,   -55,   -54,   -51,   -48,   -42,   -41,   805,   876,
     606   931,   -52,  1218,  -105,   214,   -40,-32768,  1218,-32768,-32768,
     607-32768,-32768,   -19,-32768,-32768,    -7,   -38,   -37,     0,   -34,
     608-32768,     6,   -25,   882,    13,    13,  1218,  1218,-32768,  1218,
     609  1218,-32768,-32768,-32768,    11,-32768,    -5,  -119,  1632,  1218,
     610-32768,  1218,-32768,   988,  -108,-32768,-32768,-32768,-32768,-32768,
     611   -18,-32768,   214,-32768,-32768,  1218,-32768,-32768,-32768,-32768,
     612-32768,-32768,-32768,-32768,-32768,    27,  -111,    29,    38,    41,
     613    54,-32768,    60,    55,  1218,     9,    -5,    39,  1273,  1218,
     614    20,  1218,  1218,  1218,  1218,  1218,  1218,  1218,   937,  1218,
     615    -5,   994,    -5,  1218,    -5,    23,-32768,    65,    69,-32768,
     616    -5,  1706,  1632,   -35,-32768,-32768,-32768,    46,  1218,    98,
     617  1049,   214,  1632,    73,-32768,-32768,    60,   -65,  -103,     8,
     618-32768,   214,  1106,-32768,  1218,  1218,  1218,-32768,  1218,-32768,
     619  1218,  1218,  1218,  1218,  1218,  1218,  1218,  1218,    72,    65,
     620  1161,    -5,-32768,   214,-32768,-32768,   214,    -8,  1632,    86,
     621  1218,-32768,  1218,   443,    76,   100,  1218,   473,  1328,  1340,
     622   175,   309,  1368,   339,-32768,   -98,   487,-32768,   -92,   501,
     623-32768,-32768,    70,    77,    80,    84,    91,    99,   101,-32768,
     624    48,   102,   131,-32768,  1218,   140,   515,-32768,-32768,   -90,
     625   117,-32768,-32768,-32768,-32768,-32768,   -88,  1632,  1644,   463,
     626   463,    26,   227,   227,    60,  1313,    -3,  1656,   227,  1218,
     627-32768,-32768,-32768,   -84,    -5,    -5,  1273,  1218,-32768,  1383,
     628  1395,-32768,  1273,  1218,-32768,  1412,-32768,  1218,  1218,  1218,
     629-32768,  1218,-32768,  1218,  1218,-32768,-32768,-32768,-32768,-32768,
     630-32768,-32768,-32768,-32768,-32768,-32768,-32768,   230,-32768,-32768,
     631-32768,   552,   145,   -49,-32768,-32768,-32768,-32768,  1218,   577,
     632-32768,  1632,   120,  1424,   124,  1218,   125,  1474,   127,   649,
     633  1558,   663,  1570,   404,   418,   119,   123,   129,   134,   138,
     634   139,   141,   142,-32768,-32768,-32768,-32768,  1582,-32768,  1273,
     635  1218,  1218,   -80,  -107,  1218,  1218,-32768,  1218,-32768,  1218,
     636  1218,-32768,  1218,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
     637-32768,-32768,-32768,   132,   686,  1608,-32768,-32768,   151,   144,
     638-32768,   146,   711,  1620,   725,   739,   753,   797,  -107,-32768,
     639-32768,   147,   148,  1218,-32768,-32768,-32768,-32768,-32768,-32768,
     640-32768,-32768,   151,-32768,   -76,-32768,-32768,   264,-32768
    641641};
    642642
    643643static const short yypgoto[] = {-32768,
    644644-32768,-32768,-32768,-32768,-32768,    19,    -1,    18,-32768,-32768,
    645     12,-32768,-32768,   289,     7,   254,    59,  -225,-32768,  -337,
    646    -63,   -48,   131,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
     645    -9,-32768,-32768,   282,     7,   248,    28,  -224,-32768,  -329,
     646   -69,   -50,   130,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
    647647-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
    648648-32768,-32768
    … …  
    650650
    651651
    652 #define YYLAST          1890
     652#define YYLAST          1847
    653653
    654654
    655655static const short yytable[] = {    58,
    656    142,   352,    85,   119,   338,   116,   117,    64,   145,   147,
    657    142,   283,   148,   213,   149,   150,    99,   287,   163,   145,
    658     93,   118,    96,    97,   257,   352,   101,   164,   165,   146,
    659    147,   120,   339,   148,   125,   149,   150,   111,   113,   115,
    660    144,   203,   204,   121,   148,   123,   138,   150,   145,   145,
    661     64,   145,   212,   259,   145,    29,   275,    30,    31,    32,
    662    160,   133,   145,   102,   137,   103,   145,   277,   140,   104,
    663    148,   281,    92,   150,   146,   147,   105,   159,   148,    48,
    664    149,   150,   162,   106,   334,   306,   142,   145,   142,    51,
    665    307,   168,   337,   169,   146,   147,   107,   145,   148,   108,
    666    149,   150,   367,   135,   136,   109,   122,   186,   124,   142,
    667    189,   148,   170,   163,   150,   128,   174,   176,   126,   178,
    668    179,   180,   181,   182,   183,   184,   143,   187,   202,   210,
    669    151,   190,   152,   153,   154,   155,   143,   156,   127,   130,
    670    201,   217,    29,   312,   158,   148,   207,   129,   150,   131,
    671     97,   151,   167,   152,   153,   154,   155,   285,   156,   234,
    672    215,   157,   218,   219,   220,   158,   221,   155,   222,   223,
    673    224,   225,   226,   227,   228,   229,   158,   141,    95,   100,
    674    146,   147,   235,   110,   148,   236,   149,   150,   240,   112,
    675    241,   114,   154,   155,   246,   156,   151,   161,   152,   153,
    676    154,   155,   158,   156,   172,   145,   157,   171,   268,   206,
    677    158,   214,   143,   269,   143,   230,   151,   191,   152,   153,
    678    154,   155,   272,   156,   192,   208,   157,   164,   177,   231,
    679    158,   152,   153,   154,   155,   143,   156,   261,   243,   262,
    680    263,   271,   273,   158,   264,   265,   266,   280,   267,   270,
    681    276,   305,   310,   314,   282,   284,   316,   338,   369,   325,
    682    282,   288,   326,   327,   349,   290,   291,   292,   155,   293,
    683    156,   294,   295,   328,   303,   368,     2,   158,   329,   330,
    684    331,   332,   354,     3,   313,   355,   363,   364,     4,     5,
    685      6,   309,     7,    98,     8,     9,   308,   134,   237,   366,
    686    362,     0,   151,     0,   152,   153,   154,   155,     0,   156,
    687    238,     0,   157,    10,     0,   239,   158,   146,   147,     0,
    688      0,   148,     0,   149,   150,     0,     0,   282,   335,   336,
    689      0,     0,   343,   344,     0,   345,     0,   346,   347,     0,
    690    348,   146,   147,     0,     0,   148,     0,   149,   150,   296,
    691    297,   298,   365,     7,     0,   299,     9,     0,     0,     0,
     656   119,   338,   142,   148,   144,   142,   150,    64,    85,   352,
     657   146,   147,   283,   145,   148,   163,   149,   150,   287,   142,
     658    93,   118,    96,    97,   164,   165,   101,    99,   120,   145,
     659   142,   339,   148,   352,   145,   150,   213,   111,   113,   115,
     660   145,   257,   145,   121,   145,   123,   138,   259,   145,   275,
     661    64,   277,   145,   116,   117,   281,   145,   306,   142,   337,
     662   160,   133,   307,   367,   137,   212,   148,   145,   140,   150,
     663   203,   204,   135,   136,   146,   147,   102,   159,   148,   103,
     664   149,   150,   162,   104,   105,   334,   124,   106,   146,   147,
     665   107,   168,   148,   169,   149,   150,   108,   109,   122,   125,
     666   126,   127,   146,   147,   129,   128,   148,   186,   149,   150,
     667   189,   130,   170,   131,   167,   163,   174,   176,    29,   178,
     668   179,   180,   181,   182,   183,   184,   155,   187,   202,   210,
     669   143,   190,   151,   143,   152,   153,   154,   155,   171,   156,
     670   201,   217,   157,   158,   141,   172,   207,   143,   214,   177,
     671    97,   206,   152,   153,   154,   155,   191,   156,   143,   234,
     672   215,   158,   218,   219,   220,    95,   221,   100,   222,   223,
     673   224,   225,   226,   227,   228,   229,   110,   146,   147,   112,
     674   268,   148,   235,   149,   150,   236,   143,   269,   240,   155,
     675   241,   156,   114,   161,   246,   230,   151,   145,   152,   153,
     676   154,   155,   192,   156,   208,   164,   157,   158,   243,   261,
     677   151,   231,   152,   153,   154,   155,   262,   156,   238,   263,
     678   157,   158,   272,   264,   151,   239,   152,   153,   154,   155,
     679   265,   156,   244,   148,   157,   158,   150,   271,   266,   245,
     680   267,   270,   296,   297,   298,   273,     7,   280,   299,     9,
     681   276,   305,   310,   312,   282,   284,   316,   314,   325,   338,
     682   282,   288,   326,   369,   349,   290,   291,   292,   327,   293,
     683   309,   294,   295,   328,   303,   368,     2,   329,   330,   363,
     684   331,   332,   354,     3,   313,   355,    98,   364,     4,     5,
     685     6,   134,     7,   366,     8,     9,   308,   237,   362,   151,
     686     0,   152,   153,   154,   155,     0,   156,   250,     0,   157,
     687   158,   146,   147,    10,   251,   148,     0,   149,   150,    29,
     688     0,    30,    31,    32,   300,   301,   302,   282,   335,   336,
     689     0,     0,   343,   344,     0,   345,    92,   346,   347,     0,
     690   348,   146,   147,    48,     0,   148,     0,   149,   150,     0,
     691     0,     0,   365,     0,    51,   154,   155,     0,   156,     0,
    692692     0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    693693    19,    20,    21,    22,    23,    24,    25,     0,    26,    27,
    694694    28,    29,     0,    30,    31,    32,    33,    34,    35,    36,
    695695    37,    38,    39,    40,    41,    42,    43,    44,    45,     0,
    696     46,     0,     0,    47,     0,    48,     0,   146,   147,    49,
    697      0,   148,    50,   149,   150,    51,     0,     0,     0,     0,
    698      0,     0,   146,   147,     0,     0,   148,     0,   149,   150,
    699      0,   300,   301,   302,     0,     0,     0,     0,     0,   151,
    700      0,   152,   153,   154,   155,     0,   156,   244,     0,   157,
    701    146,   147,   245,   158,   148,     0,   149,   150,     0,     0,
     696    46,     0,     0,    47,     0,    48,   146,   147,     0,    49,
     697   148,     0,   149,   150,    50,     0,    51,     0,     0,     0,
     698   146,   147,     0,     0,   148,     0,   149,   150,     0,     0,
    702699     0,     0,     0,   151,     0,   152,   153,   154,   155,     0,
    703    156,   250,     0,   157,   146,   147,   251,   158,   148,     0,
    704    149,   150,    29,     0,    30,    31,    32,     0,     0,   146,
    705    147,     0,     0,   148,     0,   149,   150,     0,     0,    92,
    706      0,     0,     0,     0,   146,   147,    48,     0,   148,     0,
    707    149,   150,     0,    95,     0,     0,    51,     0,     0,   146,
    708    147,     0,     0,   148,     0,   149,   150,     0,     0,   151,
    709      0,   152,   153,   154,   155,     0,   156,   252,     0,   157,
    710      0,     0,   253,   158,   151,     0,   152,   153,   154,   155,
    711      0,   156,   255,     0,   157,   146,   147,   256,   158,   148,
     700   156,   252,     0,   157,   158,   146,   147,     0,   253,   148,
    712701     0,   149,   150,     0,     0,     0,     0,     0,     0,     0,
    713      0,     0,   151,     0,   152,   153,   154,   155,   278,   156,
    714    279,     0,   157,   146,   147,     0,   158,   148,     0,   149,
    715    150,     0,     0,     0,     0,     0,   151,     0,   152,   153,
    716    154,   155,     0,   156,   321,     0,   157,     0,     0,   322,
    717    158,   151,     0,   152,   153,   154,   155,     0,   156,   323,
    718      0,   157,     0,     0,   324,   158,   151,     0,   152,   153,
    719    154,   155,     0,   156,     0,     0,   157,     0,     0,   242,
    720    158,   151,     0,   152,   153,   154,   155,     0,   156,     0,
    721      0,   157,   146,   147,   247,   158,   148,     0,   149,   150,
     702     0,     0,     0,   151,     0,   152,   153,   154,   155,   148,
     703   156,   255,   150,   157,   158,   146,   147,     0,   256,   148,
     704     0,   149,   150,     0,     0,     0,     0,     0,     0,   146,
     705   147,     0,     0,   148,     0,   149,   150,     0,     0,     0,
     706     0,     0,     0,   146,   147,     0,     0,   148,     0,   149,
     707   150,     0,     0,     0,     0,     0,     0,   146,   147,     0,
     708     0,   148,     0,   149,   150,     0,     0,     0,   151,     0,
     709   152,   153,   154,   155,     0,   156,   321,     0,   157,   158,
     710     0,     0,   151,   322,   152,   153,   154,   155,     0,   156,
     711   323,     0,   157,   158,   146,   147,     0,   324,   148,     0,
     712   149,   150,     0,     0,     0,     0,     0,   151,     0,   152,
     713   153,   154,   155,     0,   156,     0,     0,   157,   158,   146,
     714   147,     0,   242,   148,     0,   149,   150,   151,     0,   152,
     715   153,   154,   155,     0,   156,     0,     0,   151,   158,   152,
     716   153,   154,   155,     0,   156,     0,     0,   157,   158,     0,
     717     0,   151,   247,   152,   153,   154,   155,     0,   156,     0,
     718     0,   157,   158,     0,     0,   151,   258,   152,   153,   154,
     719   155,     0,   156,     0,     0,   157,   158,     0,     0,   151,
     720   260,   152,   153,   154,   155,     0,   156,     0,     0,   157,
     721   158,   146,   147,     0,   274,   148,     0,   149,   150,     0,
    722722     0,     0,     0,     0,     0,   146,   147,     0,     0,   148,
    723      0,   149,   150,     0,     0,     0,     0,   151,     0,   152,
    724    153,   154,   155,     0,   156,   248,     0,   157,   146,   147,
    725      0,   158,   148,     0,   149,   150,     0,     0,     0,     0,
     723     0,   149,   150,     0,     0,     0,   151,     0,   152,   153,
     724   154,   155,     0,   156,     0,     0,   157,   158,   146,   147,
     725     0,   304,   148,     0,   149,   150,     0,     0,     0,     0,
     726     0,   151,     0,   152,   153,   154,   155,     0,   156,     0,
     727     0,   157,   158,   146,   147,     0,   231,   148,     0,   149,
     728   150,     0,     0,     0,     0,     0,     0,   146,   147,     0,
     729     0,   148,     0,   149,   150,     0,    29,     0,    30,    31,
     730    32,   146,   147,     0,     0,   148,     0,   149,   150,     0,
     731     0,     0,     0,    92,     0,   146,   147,     0,     0,   148,
     732    48,   149,   150,     0,     0,     0,     0,     0,     0,    95,
     733     0,    51,     0,   151,     0,   152,   153,   154,   155,     0,
     734   156,     0,     0,   157,   158,     0,     0,   151,   317,   152,
     735   153,   154,   155,     0,   156,     0,     0,   157,   158,   146,
     736   147,     0,   319,   148,     0,   149,   150,     0,     0,     0,
     737   151,     0,   152,   153,   154,   155,     0,   156,     0,     0,
     738   157,   158,     0,     0,     0,   350,     0,     0,     0,     0,
    726739     0,     0,     0,     0,     0,   151,     0,   152,   153,   154,
    727    155,     0,   156,   249,     0,   157,   146,   147,     0,   158,
    728    148,     0,   149,   150,     0,    29,     0,    30,    31,    32,
    729      0,   146,   147,     0,     0,   148,     0,   149,   150,     0,
    730      0,     0,    92,     0,   146,   147,     0,     0,   148,    48,
    731    149,   150,     0,     0,     0,     0,   100,   146,   147,    51,
    732      0,   148,     0,   149,   150,     0,     0,     0,     0,     0,
    733      0,     0,     0,     0,   151,     0,   152,   153,   154,   155,
    734      0,   156,   254,     0,   157,     0,     0,   151,   158,   152,
    735    153,   154,   155,     0,   156,     0,     0,   157,   146,   147,
    736    258,   158,   148,     0,   149,   150,     0,     0,     0,     0,
    737    151,     0,   152,   153,   154,   155,     0,   156,     0,     0,
    738    157,   146,   147,   260,   158,   148,     0,   149,   150,     0,
    739      0,     0,     0,     0,     0,     0,     0,     0,   151,     0,
    740    152,   153,   154,   155,     0,   156,     0,     0,   157,     0,
    741      0,   274,   158,   151,     0,   152,   153,   154,   155,     0,
    742    156,   286,     0,   157,     0,     0,   151,   158,   152,   153,
    743    154,   155,   289,   156,     0,     0,   157,     0,     0,   151,
    744    158,   152,   153,   154,   155,     0,   156,     0,     0,   157,
    745    146,   147,   304,   158,   148,     0,   149,   150,     0,     0,
    746      0,     0,     0,   146,   147,     0,     0,   148,     0,   149,
    747    150,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    748    151,     0,   152,   153,   154,   155,     0,   156,     0,     0,
    749    157,   146,   147,   231,   158,   148,     0,   149,   150,     0,
    750      0,     0,     0,   151,     0,   152,   153,   154,   155,     0,
    751    156,   311,     0,   157,   146,   147,     0,   158,   148,     0,
    752    149,   150,     0,    29,     0,    30,    31,    32,     0,   146,
    753    147,     0,     0,   148,     0,   149,   150,     0,     0,     0,
    754     92,     0,   146,   147,     0,     0,   148,    48,   149,   150,
    755      0,     0,     0,     0,   110,   146,   147,    51,     0,   148,
    756      0,   149,   150,     0,     0,     0,     0,     0,     0,     0,
    757      0,     0,   151,     0,   152,   153,   154,   155,     0,   156,
    758    315,     0,   157,     0,     0,   151,   158,   152,   153,   154,
    759    155,     0,   156,     0,     0,   157,   146,   147,   317,   158,
    760    148,     0,   149,   150,     0,     0,     0,     0,     0,     0,
    761      0,     0,     0,   151,     0,   152,   153,   154,   155,     0,
    762    156,   318,     0,   157,   146,   147,     0,   158,   148,     0,
    763    149,   150,     0,     0,     0,     0,   151,     0,   152,   153,
    764    154,   155,     0,   156,     0,     0,   157,     0,     0,   319,
    765    158,   151,     0,   152,   153,   154,   155,     0,   156,   320,
    766      0,   157,     0,     0,   151,   158,   152,   153,   154,   155,
    767    333,   156,     0,     0,   157,     0,     0,   151,   158,   152,
    768    153,   154,   155,     0,   156,     0,     0,   157,   146,   147,
    769    350,   158,   148,     0,   149,   150,     0,     0,     0,     0,
    770      0,   146,   147,     0,     0,   148,     0,   149,   150,     0,
    771     29,     0,    30,    31,    32,     0,     0,     0,   151,     0,
    772    152,   153,   154,   155,   351,   156,     0,    92,   157,   146,
    773    147,     0,   158,   148,    48,   149,   150,     0,     0,     0,
    774      0,   112,     0,     0,    51,     0,   151,     0,   152,   153,
    775    154,   155,     0,   156,     0,     0,   157,   146,   147,   356,
    776    158,   148,     0,   149,   150,    29,     0,    30,    31,    32,
    777      0,     0,   146,   147,     0,     0,   148,     0,   149,   150,
    778      0,     0,    92,     0,     0,     0,     0,   146,   147,    48,
    779      0,   148,     0,   149,   150,     0,   114,     0,     0,    51,
    780 -32768,   147,     0,     0,   148,     0,   149,   150,     0,     0,
    781    151,     0,   152,   153,   154,   155,   357,   156,     0,     0,
    782    157,     0,     0,   151,   158,   152,   153,   154,   155,     0,
    783    156,     0,     0,   157,     0,     0,   358,   158,     0,     0,
    784      0,     0,     0,     0,     0,     0,    29,     0,    30,    31,
    785     32,   151,     0,   152,   153,   154,   155,     0,   156,     0,
    786      0,   157,     3,    92,   359,   158,     0,     4,   132,    87,
    787     48,     7,     0,     8,     9,     0,     0,   161,     0,   151,
    788     51,   152,   153,   154,   155,     0,   156,     0,     0,   157,
    789      0,     0,   360,   158,   151,     0,   152,   153,   154,   155,
    790    148,   156,     0,   150,   157,     0,     0,   361,   158,   151,
    791      0,   152,   153,   154,   155,     0,   156,     0,     0,   157,
    792      0,     0,   151,   158,   152,   153,   154,   155,     3,   156,
    793      0,     0,   157,    86,     0,    87,   158,     7,     0,    88,
    794      9,    11,    12,    13,    14,    15,    16,    17,    18,    19,
    795     20,    21,     0,     0,     0,     0,     0,     0,     0,     0,
    796     29,     0,    30,    31,    32,     0,     0,     0,     0,    37,
    797     38,     0,     0,     0,     0,     0,     0,    92,     0,     0,
    798      0,     0,    47,     0,    48,     0,     0,     0,     3,     0,
    799      0,    50,     0,    86,    51,    87,     0,     7,     0,    88,
    800      9,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    801     14,    15,    16,    17,    18,    89,    90,    91,   151,     0,
    802    152,   153,   154,   155,     0,   156,    29,     0,    30,    31,
    803     32,     0,   158,     0,     0,    37,    38,     0,     0,     0,
    804      0,     0,     3,    92,     0,     0,     0,    86,    47,    87,
    805     48,     7,     0,    88,     9,     0,     0,    50,   185,     0,
    806     51,     0,     0,     0,     0,     0,     0,    11,    12,    13,
     740   155,     0,   156,     0,     0,   157,   158,     0,     0,   151,
     741   356,   152,   153,   154,   155,     0,   156,     0,     0,   157,
     742   158,     0,     0,   151,   358,   152,   153,   154,   155,     0,
     743   156,     0,     0,   157,   158,     0,     0,   151,   359,   152,
     744   153,   154,   155,     0,   156,     0,     0,   157,   158,     3,
     745     0,     0,   360,     0,     4,   132,    87,     0,     7,     0,
     746     8,     9,     0,     0,     0,    29,     0,    30,    31,    32,
     747    29,     0,    30,    31,    32,     0,     0,     0,     0,     0,
     748     0,   151,    92,   152,   153,   154,   155,    92,   156,    48,
     749     0,   157,   158,     0,    48,     0,   361,     0,   100,     0,
     750    51,     0,     0,   110,     3,    51,     0,     0,     0,    86,
     751     0,    87,     0,     7,     0,    88,     9,     0,     0,     0,
     752     0,     0,     0,     0,     0,     0,     0,     0,    11,    12,
     753    13,    14,    15,    16,    17,    18,    19,    20,    21,     0,
     754     0,    29,     0,    30,    31,    32,     0,    29,     0,    30,
     755    31,    32,     0,     0,     0,     0,    37,    38,    92,     0,
     756     0,     3,     0,     0,    92,    48,    86,     0,    87,    47,
     757     7,    48,    88,     9,   112,     0,    51,     0,     0,     0,
     758    50,     0,    51,    11,    12,    13,    14,    15,    16,    17,
     759    18,    89,    90,    91,     0,     0,    29,     0,    30,    31,
     760    32,     0,    29,     0,    30,    31,    32,     0,     0,     0,
     761     0,    37,    38,    92,     0,     0,     3,     0,     0,    92,
     762    48,    86,     0,    87,    47,     7,    48,    88,     9,   114,
     763     0,    51,     0,     0,     0,    50,   185,    51,     0,     0,
     764    11,    12,    13,    14,    15,    16,    17,    18,    89,    90,
     765    91,     0,     0,    29,     0,    30,    31,    32,     0,    29,
     766     0,    30,    31,    32,     0,     0,     0,     0,    37,    38,
     767    92,     0,     0,     3,     0,     0,    92,    48,    86,     0,
     768    87,    47,     7,    48,    88,     9,   161,     0,    51,     0,
     769     0,     0,    50,   188,    51,    11,    12,    13,    14,    15,
     770    16,    17,    18,    89,    90,    91,     0,     0,     0,     0,
     771     0,     0,     0,     0,    29,     0,    30,    31,    32,     0,
     772     0,     0,     0,    37,    38,     0,     0,     0,     3,     0,
     773     0,    92,     0,    86,     0,    87,    47,     7,    48,    88,
     774     9,     0,     0,     0,     0,     0,     0,    50,   209,    51,
     775     0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
     776    89,    90,    91,     0,     0,     0,     0,     0,     0,     0,
     777     0,    29,     0,    30,    31,    32,     0,     0,     0,     0,
     778    37,    38,     0,     0,     0,     3,     0,     0,    92,     0,
     779    86,     0,    87,    47,     7,    48,    88,     9,     0,     0,
     780     0,     0,     0,     0,    50,   216,    51,    11,    12,    13,
    807781    14,    15,    16,    17,    18,    89,    90,    91,     0,     0,
    808782     0,     0,     0,     0,     0,     0,    29,     0,    30,    31,
    809783    32,     0,     0,     0,     0,    37,    38,     0,     0,     0,
    810784     3,     0,     0,    92,     0,    86,     0,    87,    47,     7,
    811     48,    88,     9,     0,     0,     0,     0,    50,   188,     0,
    812     51,    11,    12,    13,    14,    15,    16,    17,    18,    89,
    813     90,    91,     0,     0,     0,     0,     0,     0,     0,     0,
    814     29,     0,    30,    31,    32,     0,     0,     0,     0,    37,
    815     38,     0,     0,     0,     3,     0,     0,    92,     0,    86,
    816      0,    87,    47,     7,    48,    88,     9,     0,     0,     0,
    817      0,    50,   209,     0,    51,     0,     0,     0,     0,    11,
     785    48,    88,     9,     0,     0,     0,     0,     0,     0,    50,
     786   233,    51,     0,     0,    11,    12,    13,    14,    15,    16,
     787    17,    18,    89,    90,    91,   146,   147,     0,     0,   148,
     788     0,   149,   150,    29,     0,    30,    31,    32,     0,     0,
     789   146,   147,    37,    38,   148,     0,   149,   150,     0,     0,
     790    92,     0,   146,   147,     0,    47,   148,    48,   149,   150,
     791     0,     0,     0,     0,     0,     0,    50,     0,    51,    11,
    818792    12,    13,    14,    15,    16,    17,    18,    89,    90,    91,
    819      0,     0,     0,     0,     0,     0,     0,     0,    29,     0,
    820     30,    31,    32,     0,     0,     0,     0,    37,    38,     0,
    821      0,     0,     3,     0,     0,    92,     0,    86,     0,    87,
    822     47,     7,    48,    88,     9,     0,     0,     0,     0,    50,
    823    216,     0,    51,    11,    12,    13,    14,    15,    16,    17,
    824     18,    89,    90,    91,     0,     0,     0,     0,     0,     0,
    825      0,     0,    29,     0,    30,    31,    32,     0,     0,     0,
    826      0,    37,    38,     0,     0,     0,     3,     0,     0,    92,
    827      0,    86,     0,    87,    47,     7,    48,    88,     9,     0,
    828      0,     0,     0,    50,   233,     0,    51,     0,     0,     0,
    829      0,    11,    12,    13,    14,    15,    16,    17,    18,    89,
    830     90,    91,     0,     0,     0,     0,     0,     0,     0,     0,
    831     29,     0,    30,    31,    32,     0,     0,     0,     0,    37,
    832     38,     0,   193,   194,   195,     0,     7,    92,   196,     9,
    833      0,     0,    47,     0,    48,     0,     0,     0,     0,     0,
    834      0,    50,     0,     0,    51,    11,    12,    13,    14,    15,
    835     16,    17,    18,    89,    90,    91,     0,     0,     0,     0,
    836      0,     0,     0,     0,    29,     0,    30,    31,    32,     0,
    837      0,     0,     0,    37,    38,     0,     0,     0,     0,     0,
    838      0,    92,     0,     0,     0,     0,    47,     0,    48,     0,
    839      0,     0,     0,     0,     0,   173,     0,     0,    51,     0,
    840      0,     0,     0,     0,   197,   198,   199,     0,     0,     0,
    841      0,     0,     0,     0,     0,    29,     0,    30,    31,    32,
     793   146,   147,     0,     0,   148,     0,   149,   150,    29,     0,
     794    30,    31,    32,     0,     0,   146,   147,    37,    38,   148,
     795     0,   149,   150,     0,     0,    92,     0,   146,   147,     0,
     796    47,   148,    48,   149,   150,     0,     0,     0,     0,     0,
     797     0,   173,     0,    51,   146,   147,     0,     0,   148,     0,
     798   149,   150,     0,     0,     0,     0,   146,   147,     0,     0,
     799   148,     0,   149,   150,     0,     0,     0,   151,     0,   152,
     800   153,   154,   155,   278,   156,   279,     0,   157,   158,     0,
     801     0,     0,   151,     0,   152,   153,   154,   155,     0,   156,
     802   248,     0,   157,   158,   151,     0,   152,   153,   154,   155,
     803     0,   156,   249,     0,   157,   158,   146,   147,     0,     0,
     804   148,     0,   149,   150,     0,     0,     0,     0,     0,     0,
     805     0,     0,   151,     0,   152,   153,   154,   155,     0,   156,
     806   254,     0,   157,   158,     0,     0,     0,   151,     0,   152,
     807   153,   154,   155,   285,   156,     0,     0,   157,   158,   151,
     808     0,   152,   153,   154,   155,     0,   156,   286,     0,   157,
     809   158,     0,     0,     0,     0,     0,   151,     0,   152,   153,
     810   154,   155,   289,   156,     0,     0,   157,   158,   151,     0,
     811   152,   153,   154,   155,     0,   156,   311,     0,   157,   158,
     812   146,   147,     0,     0,   148,     0,   149,   150,     0,     0,
     813     0,     0,   146,   147,     0,     0,   148,     0,   149,   150,
     814     0,     0,     0,     0,   146,   147,     0,     0,   148,     0,
     815   149,   150,     0,     0,     0,     0,     0,     0,   151,     0,
     816   152,   153,   154,   155,     0,   156,   315,     0,   157,   158,
     817   146,   147,     0,     0,   148,     0,   149,   150,     0,     0,
     818     0,     0,   146,   147,     0,     0,   148,     0,   149,   150,
     819     0,     0,     0,     0,   146,   147,     0,     0,   148,     0,
     820   149,   150,     0,     0,     0,     0,-32768,   147,     0,     0,
     821   148,     0,   149,   150,     0,     0,     0,     0,     0,   147,
     822     0,     0,   148,     0,   149,   150,     0,     0,     0,     0,
    842823     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    843      0,     0,    92,     0,     0,     0,     0,     0,     0,    48,
    844      0,     0,     0,     0,     0,     0,     0,   200,     0,    51
     824     0,     0,   151,     0,   152,   153,   154,   155,     0,   156,
     825   318,     0,   157,   158,   151,     0,   152,   153,   154,   155,
     826     0,   156,   320,     0,   157,   158,   151,     0,   152,   153,
     827   154,   155,   333,   156,     0,     0,   157,   158,   193,   194,
     828   195,     0,     7,     0,   196,     9,     0,     0,     0,     0,
     829     0,     0,   151,     0,   152,   153,   154,   155,   351,   156,
     830     0,     0,   157,   158,   151,     0,   152,   153,   154,   155,
     831   357,   156,     0,     0,   157,   158,   151,     0,   152,   153,
     832   154,   155,     0,   156,     0,     0,   157,   158,   151,     0,
     833   152,   153,   154,   155,     0,   156,     0,     0,   157,   158,
     834   151,     0,   152,   153,   154,   155,     0,   156,     0,     0,
     835     0,   158,     0,     0,     0,     0,     0,     0,     0,     0,
     836   197,   198,   199,     0,     0,     0,     0,     0,     0,     0,
     837     0,    29,     0,    30,    31,    32,     0,     0,     0,     0,
     838     0,     0,     0,     0,     0,     0,     0,     0,    92,     0,
     839     0,     0,     0,     0,     0,    48,     0,     0,     0,     0,
     840     0,     0,     0,     0,     0,   200,    51
    845841};
    846842
    847843static const short yycheck[] = {     1,
    848     11,   339,   134,   106,   109,   106,   107,     1,   133,     4,
    849     11,   237,     7,   138,     9,    10,   137,   243,   124,   133,
    850      3,    23,     4,     5,   138,   363,     8,   133,   134,     3,
    851      4,   134,   137,     7,   107,     9,    10,    19,    20,    21,
    852    124,   106,   107,    25,     7,    28,    48,    10,   133,   133,
    853     44,   133,   131,   138,   133,   106,   138,   108,   109,   110,
    854     62,    44,   133,   137,    47,   137,   133,   138,    51,   137,
    855      7,   138,   123,    10,     3,     4,   137,    60,     7,   130,
    856      9,    10,    64,   137,   310,   107,    11,   133,    11,   140,
    857    112,    73,   138,    76,     3,     4,   137,   133,     7,   137,
    858      9,    10,   138,    45,    46,   137,   137,   109,   106,    11,
    859    112,     7,    95,   124,    10,   106,    99,   100,   137,   102,
    860    103,   104,   105,   106,   107,   108,   137,   110,   122,   131,
    861    125,   114,   127,   128,   129,   130,   137,   132,   137,   106,
    862    122,   143,   106,   130,   139,     7,   129,   137,    10,   137,
    863    132,   125,   133,   127,   128,   129,   130,   131,   132,   161,
    864    142,   135,   145,   146,   147,   139,   149,   130,   151,   152,
    865    153,   154,   155,   156,   157,   158,   139,   134,   137,   137,
    866      3,     4,   164,   137,     7,   167,     9,    10,   171,   137,
    867    173,   137,   129,   130,   177,   132,   125,   137,   127,   128,
    868    129,   130,   139,   132,   107,   133,   135,   130,   133,   106,
    869    139,   140,   137,   138,   137,   124,   125,   134,   127,   128,
    870    129,   130,   205,   132,   134,   107,   135,   133,   130,   138,
    871    139,   127,   128,   129,   130,   137,   132,   138,   133,   138,
    872    138,   107,   106,   139,   138,   138,   138,   230,   138,   138,
    873    134,   107,   133,   133,   237,   238,   130,   109,     0,   138,
    874    243,   244,   138,   138,   133,   248,   249,   250,   130,   252,
    875    132,   254,   255,   138,   268,     0,     1,   139,   138,   138,
    876    138,   138,   137,     8,   286,   138,   133,   138,    13,    14,
    877     15,   280,    17,     5,    19,    20,   279,    44,   168,   363,
    878    349,    -1,   125,    -1,   127,   128,   129,   130,    -1,   132,
    879    133,    -1,   135,    38,    -1,   138,   139,     3,     4,    -1,
    880     -1,     7,    -1,     9,    10,    -1,    -1,   310,   311,   312,
    881     -1,    -1,   315,   316,    -1,   318,    -1,   320,   321,    -1,
    882    323,     3,     4,    -1,    -1,     7,    -1,     9,    10,    13,
    883     14,    15,   354,    17,    -1,    19,    20,    -1,    -1,    -1,
     844   106,   109,    11,     7,   124,    11,    10,     1,   134,   339,
     845     3,     4,   237,   133,     7,   124,     9,    10,   243,    11,
     846     3,    23,     4,     5,   133,   134,     8,   139,   134,   133,
     847    11,   139,     7,   363,   133,    10,   140,    19,    20,    21,
     848   133,   140,   133,    25,   133,    28,    48,   140,   133,   140,
     849    44,   140,   133,   106,   107,   140,   133,   107,    11,   140,
     850    62,    44,   112,   140,    47,   131,     7,   133,    51,    10,
     851   106,   107,    45,    46,     3,     4,   139,    60,     7,   139,
     852     9,    10,    64,   139,   139,   310,   106,   139,     3,     4,
     853   139,    73,     7,    76,     9,    10,   139,   139,   139,   107,
     854   139,   139,     3,     4,   139,   106,     7,   109,     9,    10,
     855   112,   106,    95,   139,   133,   124,    99,   100,   106,   102,
     856   103,   104,   105,   106,   107,   108,   130,   110,   122,   131,
     857   139,   114,   125,   139,   127,   128,   129,   130,   130,   132,
     858   122,   143,   135,   136,   134,   107,   129,   139,   141,   130,
     859   132,   106,   127,   128,   129,   130,   134,   132,   139,   161,
     860   142,   136,   145,   146,   147,   139,   149,   139,   151,   152,
     861   153,   154,   155,   156,   157,   158,   139,     3,     4,   139,
     862   133,     7,   164,     9,    10,   167,   139,   140,   171,   130,
     863   173,   132,   139,   139,   177,   124,   125,   133,   127,   128,
     864   129,   130,   134,   132,   107,   133,   135,   136,   133,   140,
     865   125,   140,   127,   128,   129,   130,   140,   132,   133,   140,
     866   135,   136,   205,   140,   125,   140,   127,   128,   129,   130,
     867   140,   132,   133,     7,   135,   136,    10,   107,   140,   140,
     868   140,   140,    13,    14,    15,   106,    17,   230,    19,    20,
     869   134,   107,   133,   130,   237,   238,   130,   133,   140,   109,
     870   243,   244,   140,     0,   133,   248,   249,   250,   140,   252,
     871   280,   254,   255,   140,   268,     0,     1,   140,   140,   133,
     872   140,   140,   139,     8,   286,   140,     5,   140,    13,    14,
     873    15,    44,    17,   363,    19,    20,   279,   168,   349,   125,
     874    -1,   127,   128,   129,   130,    -1,   132,   133,    -1,   135,
     875   136,     3,     4,    38,   140,     7,    -1,     9,    10,   106,
     876    -1,   108,   109,   110,    95,    96,    97,   310,   311,   312,
     877    -1,    -1,   315,   316,    -1,   318,   123,   320,   321,    -1,
     878   323,     3,     4,   130,    -1,     7,    -1,     9,    10,    -1,
     879    -1,    -1,   354,    -1,   141,   129,   130,    -1,   132,    -1,
    884880    -1,    -1,    87,    88,    89,    90,    91,    92,    93,    94,
    885881    95,    96,    97,    98,    99,   100,   101,    -1,   103,   104,
    886882   105,   106,    -1,   108,   109,   110,   111,   112,   113,   114,
    887883   115,   116,   117,   118,   119,   120,   121,   122,   123,    -1,
    888    125,    -1,    -1,   128,    -1,   130,    -1,     3,     4,   134,
    889     -1,     7,   137,     9,    10,   140,    -1,    -1,    -1,    -1,
    890     -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    891     -1,    95,    96,    97,    -1,    -1,    -1,    -1,    -1,   125,
    892     -1,   127,   128,   129,   130,    -1,   132,   133,    -1,   135,
    893      3,     4,   138,   139,     7,    -1,     9,    10,    -1,    -1,
     884   125,    -1,    -1,   128,    -1,   130,     3,     4,    -1,   134,
     885     7,    -1,     9,    10,   139,    -1,   141,    -1,    -1,    -1,
     886     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
    894887    -1,    -1,    -1,   125,    -1,   127,   128,   129,   130,    -1,
    895    132,   133,    -1,   135,     3,     4,   138,   139,     7,    -1,
    896      9,    10,   106,    -1,   108,   109,   110,    -1,    -1,     3,
    897      4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,   123,
    898     -1,    -1,    -1,    -1,     3,     4,   130,    -1,     7,    -1,
    899      9,    10,    -1,   137,    -1,    -1,   140,    -1,    -1,     3,
    900      4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,   125,
    901     -1,   127,   128,   129,   130,    -1,   132,   133,    -1,   135,
    902     -1,    -1,   138,   139,   125,    -1,   127,   128,   129,   130,
    903     -1,   132,   133,    -1,   135,     3,     4,   138,   139,     7,
     888   132,   133,    -1,   135,   136,     3,     4,    -1,   140,     7,
    904889    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    905     -1,    -1,   125,    -1,   127,   128,   129,   130,   131,   132,
    906    133,    -1,   135,     3,     4,    -1,   139,     7,    -1,     9,
    907     10,    -1,    -1,    -1,    -1,    -1,   125,    -1,   127,   128,
    908    129,   130,    -1,   132,   133,    -1,   135,    -1,    -1,   138,
    909    139,   125,    -1,   127,   128,   129,   130,    -1,   132,   133,
    910     -1,   135,    -1,    -1,   138,   139,   125,    -1,   127,   128,
    911    129,   130,    -1,   132,    -1,    -1,   135,    -1,    -1,   138,
    912    139,   125,    -1,   127,   128,   129,   130,    -1,   132,    -1,
    913     -1,   135,     3,     4,   138,   139,     7,    -1,     9,    10,
     890    -1,    -1,    -1,   125,    -1,   127,   128,   129,   130,     7,
     891   132,   133,    10,   135,   136,     3,     4,    -1,   140,     7,
     892    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,
     893     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
     894    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
     895    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,
     896    -1,     7,    -1,     9,    10,    -1,    -1,    -1,   125,    -1,
     897   127,   128,   129,   130,    -1,   132,   133,    -1,   135,   136,
     898    -1,    -1,   125,   140,   127,   128,   129,   130,    -1,   132,
     899   133,    -1,   135,   136,     3,     4,    -1,   140,     7,    -1,
     900     9,    10,    -1,    -1,    -1,    -1,    -1,   125,    -1,   127,
     901   128,   129,   130,    -1,   132,    -1,    -1,   135,   136,     3,
     902     4,    -1,   140,     7,    -1,     9,    10,   125,    -1,   127,
     903   128,   129,   130,    -1,   132,    -1,    -1,   125,   136,   127,
     904   128,   129,   130,    -1,   132,    -1,    -1,   135,   136,    -1,
     905    -1,   125,   140,   127,   128,   129,   130,    -1,   132,    -1,
     906    -1,   135,   136,    -1,    -1,   125,   140,   127,   128,   129,
     907   130,    -1,   132,    -1,    -1,   135,   136,    -1,    -1,   125,
     908   140,   127,   128,   129,   130,    -1,   132,    -1,    -1,   135,
     909   136,     3,     4,    -1,   140,     7,    -1,     9,    10,    -1,
    914910    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    915     -1,     9,    10,    -1,    -1,    -1,    -1,   125,    -1,   127,
    916    128,   129,   130,    -1,   132,   133,    -1,   135,     3,     4,
    917     -1,   139,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     911    -1,     9,    10,    -1,    -1,    -1,   125,    -1,   127,   128,
     912   129,   130,    -1,   132,    -1,    -1,   135,   136,     3,     4,
     913    -1,   140,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     914    -1,   125,    -1,   127,   128,   129,   130,    -1,   132,    -1,
     915    -1,   135,   136,     3,     4,    -1,   140,     7,    -1,     9,
     916    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,
     917    -1,     7,    -1,     9,    10,    -1,   106,    -1,   108,   109,
     918   110,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     919    -1,    -1,    -1,   123,    -1,     3,     4,    -1,    -1,     7,
     920   130,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,   139,
     921    -1,   141,    -1,   125,    -1,   127,   128,   129,   130,    -1,
     922   132,    -1,    -1,   135,   136,    -1,    -1,   125,   140,   127,
     923   128,   129,   130,    -1,   132,    -1,    -1,   135,   136,     3,
     924     4,    -1,   140,     7,    -1,     9,    10,    -1,    -1,    -1,
     925   125,    -1,   127,   128,   129,   130,    -1,   132,    -1,    -1,
     926   135,   136,    -1,    -1,    -1,   140,    -1,    -1,    -1,    -1,
    918927    -1,    -1,    -1,    -1,    -1,   125,    -1,   127,   128,   129,
    919    130,    -1,   132,   133,    -1,   135,     3,     4,    -1,   139,
    920      7,    -1,     9,    10,    -1,   106,    -1,   108,   109,   110,
    921     -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    922     -1,    -1,   123,    -1,     3,     4,    -1,    -1,     7,   130,
    923      9,    10,    -1,    -1,    -1,    -1,   137,     3,     4,   140,
    924     -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
    925     -1,    -1,    -1,    -1,   125,    -1,   127,   128,   129,   130,
    926     -1,   132,   133,    -1,   135,    -1,    -1,   125,   139,   127,
    927    128,   129,   130,    -1,   132,    -1,    -1,   135,     3,     4,
    928    138,   139,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    929    125,    -1,   127,   128,   129,   130,    -1,   132,    -1,    -1,
    930    135,     3,     4,   138,   139,     7,    -1,     9,    10,    -1,
    931     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   125,    -1,
    932    127,   128,   129,   130,    -1,   132,    -1,    -1,   135,    -1,
    933     -1,   138,   139,   125,    -1,   127,   128,   129,   130,    -1,
    934    132,   133,    -1,   135,    -1,    -1,   125,   139,   127,   128,
    935    129,   130,   131,   132,    -1,    -1,   135,    -1,    -1,   125,
    936    139,   127,   128,   129,   130,    -1,   132,    -1,    -1,   135,
    937      3,     4,   138,   139,     7,    -1,     9,    10,    -1,    -1,
    938     -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    939     10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    940    125,    -1,   127,   128,   129,   130,    -1,   132,    -1,    -1,
    941    135,     3,     4,   138,   139,     7,    -1,     9,    10,    -1,
    942     -1,    -1,    -1,   125,    -1,   127,   128,   129,   130,    -1,
    943    132,   133,    -1,   135,     3,     4,    -1,   139,     7,    -1,
    944      9,    10,    -1,   106,    -1,   108,   109,   110,    -1,     3,
    945      4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
    946    123,    -1,     3,     4,    -1,    -1,     7,   130,     9,    10,
    947     -1,    -1,    -1,    -1,   137,     3,     4,   140,    -1,     7,
    948     -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    949     -1,    -1,   125,    -1,   127,   128,   129,   130,    -1,   132,
    950    133,    -1,   135,    -1,    -1,   125,   139,   127,   128,   129,
    951    130,    -1,   132,    -1,    -1,   135,     3,     4,   138,   139,
    952      7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
    953     -1,    -1,    -1,   125,    -1,   127,   128,   129,   130,    -1,
    954    132,   133,    -1,   135,     3,     4,    -1,   139,     7,    -1,
    955      9,    10,    -1,    -1,    -1,    -1,   125,    -1,   127,   128,
    956    129,   130,    -1,   132,    -1,    -1,   135,    -1,    -1,   138,
    957    139,   125,    -1,   127,   128,   129,   130,    -1,   132,   133,
    958     -1,   135,    -1,    -1,   125,   139,   127,   128,   129,   130,
    959    131,   132,    -1,    -1,   135,    -1,    -1,   125,   139,   127,
    960    128,   129,   130,    -1,   132,    -1,    -1,   135,     3,     4,
    961    138,   139,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    962     -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    963    106,    -1,   108,   109,   110,    -1,    -1,    -1,   125,    -1,
    964    127,   128,   129,   130,   131,   132,    -1,   123,   135,     3,
    965      4,    -1,   139,     7,   130,     9,    10,    -1,    -1,    -1,
    966     -1,   137,    -1,    -1,   140,    -1,   125,    -1,   127,   128,
    967    129,   130,    -1,   132,    -1,    -1,   135,     3,     4,   138,
    968    139,     7,    -1,     9,    10,   106,    -1,   108,   109,   110,
    969     -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    970     -1,    -1,   123,    -1,    -1,    -1,    -1,     3,     4,   130,
    971     -1,     7,    -1,     9,    10,    -1,   137,    -1,    -1,   140,
    972      3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
    973    125,    -1,   127,   128,   129,   130,   131,   132,    -1,    -1,
    974    135,    -1,    -1,   125,   139,   127,   128,   129,   130,    -1,
    975    132,    -1,    -1,   135,    -1,    -1,   138,   139,    -1,    -1,
    976     -1,    -1,    -1,    -1,    -1,    -1,   106,    -1,   108,   109,
    977    110,   125,    -1,   127,   128,   129,   130,    -1,   132,    -1,
    978     -1,   135,     8,   123,   138,   139,    -1,    13,    14,    15,
    979    130,    17,    -1,    19,    20,    -1,    -1,   137,    -1,   125,
     928   130,    -1,   132,    -1,    -1,   135,   136,    -1,    -1,   125,
    980929   140,   127,   128,   129,   130,    -1,   132,    -1,    -1,   135,
    981     -1,    -1,   138,   139,   125,    -1,   127,   128,   129,   130,
    982      7,   132,    -1,    10,   135,    -1,    -1,   138,   139,   125,
    983     -1,   127,   128,   129,   130,    -1,   132,    -1,    -1,   135,
    984     -1,    -1,   125,   139,   127,   128,   129,   130,     8,   132,
    985     -1,    -1,   135,    13,    -1,    15,   139,    17,    -1,    19,
    986     20,    87,    88,    89,    90,    91,    92,    93,    94,    95,
    987     96,    97,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    988    106,    -1,   108,   109,   110,    -1,    -1,    -1,    -1,   115,
    989    116,    -1,    -1,    -1,    -1,    -1,    -1,   123,    -1,    -1,
    990     -1,    -1,   128,    -1,   130,    -1,    -1,    -1,     8,    -1,
    991     -1,   137,    -1,    13,   140,    15,    -1,    17,    -1,    19,
    992     20,    -1,    -1,    -1,    -1,    -1,    -1,    87,    88,    89,
    993     90,    91,    92,    93,    94,    95,    96,    97,   125,    -1,
    994    127,   128,   129,   130,    -1,   132,   106,    -1,   108,   109,
    995    110,    -1,   139,    -1,    -1,   115,   116,    -1,    -1,    -1,
    996     -1,    -1,     8,   123,    -1,    -1,    -1,    13,   128,    15,
    997    130,    17,    -1,    19,    20,    -1,    -1,   137,   138,    -1,
    998    140,    -1,    -1,    -1,    -1,    -1,    -1,    87,    88,    89,
     930   136,    -1,    -1,   125,   140,   127,   128,   129,   130,    -1,
     931   132,    -1,    -1,   135,   136,    -1,    -1,   125,   140,   127,
     932   128,   129,   130,    -1,   132,    -1,    -1,   135,   136,     8,
     933    -1,    -1,   140,    -1,    13,    14,    15,    -1,    17,    -1,
     934    19,    20,    -1,    -1,    -1,   106,    -1,   108,   109,   110,
     935   106,    -1,   108,   109,   110,    -1,    -1,    -1,    -1,    -1,
     936    -1,   125,   123,   127,   128,   129,   130,   123,   132,   130,
     937    -1,   135,   136,    -1,   130,    -1,   140,    -1,   139,    -1,
     938   141,    -1,    -1,   139,     8,   141,    -1,    -1,    -1,    13,
     939    -1,    15,    -1,    17,    -1,    19,    20,    -1,    -1,    -1,
     940    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    87,    88,
     941    89,    90,    91,    92,    93,    94,    95,    96,    97,    -1,
     942    -1,   106,    -1,   108,   109,   110,    -1,   106,    -1,   108,
     943   109,   110,    -1,    -1,    -1,    -1,   115,   116,   123,    -1,
     944    -1,     8,    -1,    -1,   123,   130,    13,    -1,    15,   128,
     945    17,   130,    19,    20,   139,    -1,   141,    -1,    -1,    -1,
     946   139,    -1,   141,    87,    88,    89,    90,    91,    92,    93,
     947    94,    95,    96,    97,    -1,    -1,   106,    -1,   108,   109,
     948   110,    -1,   106,    -1,   108,   109,   110,    -1,    -1,    -1,
     949    -1,   115,   116,   123,    -1,    -1,     8,    -1,    -1,   123,
     950   130,    13,    -1,    15,   128,    17,   130,    19,    20,   139,
     951    -1,   141,    -1,    -1,    -1,   139,   140,   141,    -1,    -1,
     952    87,    88,    89,    90,    91,    92,    93,    94,    95,    96,
     953    97,    -1,    -1,   106,    -1,   108,   109,   110,    -1,   106,
     954    -1,   108,   109,   110,    -1,    -1,    -1,    -1,   115,   116,
     955   123,    -1,    -1,     8,    -1,    -1,   123,   130,    13,    -1,
     956    15,   128,    17,   130,    19,    20,   139,    -1,   141,    -1,
     957    -1,    -1,   139,   140,   141,    87,    88,    89,    90,    91,
     958    92,    93,    94,    95,    96,    97,    -1,    -1,    -1,    -1,
     959    -1,    -1,    -1,    -1,   106,    -1,   108,   109,   110,    -1,
     960    -1,    -1,    -1,   115,   116,    -1,    -1,    -1,     8,    -1,
     961    -1,   123,    -1,    13,    -1,    15,   128,    17,   130,    19,
     962    20,    -1,    -1,    -1,    -1,    -1,    -1,   139,   140,   141,
     963    -1,    -1,    87,    88,    89,    90,    91,    92,    93,    94,
     964    95,    96,    97,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     965    -1,   106,    -1,   108,   109,   110,    -1,    -1,    -1,    -1,
     966   115,   116,    -1,    -1,    -1,     8,    -1,    -1,   123,    -1,
     967    13,    -1,    15,   128,    17,   130,    19,    20,    -1,    -1,
     968    -1,    -1,    -1,    -1,   139,   140,   141,    87,    88,    89,
    999969    90,    91,    92,    93,    94,    95,    96,    97,    -1,    -1,
    1000970    -1,    -1,    -1,    -1,    -1,    -1,   106,    -1,   108,   109,
    1001971   110,    -1,    -1,    -1,    -1,   115,   116,    -1,    -1,    -1,
    1002972     8,    -1,    -1,   123,    -1,    13,    -1,    15,   128,    17,
    1003    130,    19,    20,    -1,    -1,    -1,    -1,   137,   138,    -1,
    1004    140,    87,    88,    89,    90,    91,    92,    93,    94,    95,
    1005     96,    97,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1006    106,    -1,   108,   109,   110,    -1,    -1,    -1,    -1,   115,
    1007    116,    -1,    -1,    -1,     8,    -1,    -1,   123,    -1,    13,
    1008     -1,    15,   128,    17,   130,    19,    20,    -1,    -1,    -1,
    1009     -1,   137,   138,    -1,   140,    -1,    -1,    -1,    -1,    87,
     973   130,    19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   139,
     974   140,   141,    -1,    -1,    87,    88,    89,    90,    91,    92,
     975    93,    94,    95,    96,    97,     3,     4,    -1,    -1,     7,
     976    -1,     9,    10,   106,    -1,   108,   109,   110,    -1,    -1,
     977     3,     4,   115,   116,     7,    -1,     9,    10,    -1,    -1,
     978   123,    -1,     3,     4,    -1,   128,     7,   130,     9,    10,
     979    -1,    -1,    -1,    -1,    -1,    -1,   139,    -1,   141,    87,
    1010980    88,    89,    90,    91,    92,    93,    94,    95,    96,    97,
    1011     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   106,    -1,
    1012    108,   109,   110,    -1,    -1,    -1,    -1,   115,   116,    -1,
    1013     -1,    -1,     8,    -1,    -1,   123,    -1,    13,    -1,    15,
    1014    128,    17,   130,    19,    20,    -1,    -1,    -1,    -1,   137,
    1015    138,    -1,   140,    87,    88,    89,    90,    91,    92,    93,
    1016     94,    95,    96,    97,    -1,    -1,    -1,    -1,    -1,    -1,
    1017     -1,    -1,   106,    -1,   108,   109,   110,    -1,    -1,    -1,
    1018     -1,   115,   116,    -1,    -1,    -1,     8,    -1,    -1,   123,
    1019     -1,    13,    -1,    15,   128,    17,   130,    19,    20,    -1,
    1020     -1,    -1,    -1,   137,   138,    -1,   140,    -1,    -1,    -1,
    1021     -1,    87,    88,    89,    90,    91,    92,    93,    94,    95,
    1022     96,    97,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1023    106,    -1,   108,   109,   110,    -1,    -1,    -1,    -1,   115,
    1024    116,    -1,    13,    14,    15,    -1,    17,   123,    19,    20,
    1025     -1,    -1,   128,    -1,   130,    -1,    -1,    -1,    -1,    -1,
    1026     -1,   137,    -1,    -1,   140,    87,    88,    89,    90,    91,
    1027     92,    93,    94,    95,    96,    97,    -1,    -1,    -1,    -1,
    1028     -1,    -1,    -1,    -1,   106,    -1,   108,   109,   110,    -1,
    1029     -1,    -1,    -1,   115,   116,    -1,    -1,    -1,    -1,    -1,
    1030     -1,   123,    -1,    -1,    -1,    -1,   128,    -1,   130,    -1,
    1031     -1,    -1,    -1,    -1,    -1,   137,    -1,    -1,   140,    -1,
    1032     -1,    -1,    -1,    -1,    95,    96,    97,    -1,    -1,    -1,
    1033     -1,    -1,    -1,    -1,    -1,   106,    -1,   108,   109,   110,
     981     3,     4,    -1,    -1,     7,    -1,     9,    10,   106,    -1,
     982   108,   109,   110,    -1,    -1,     3,     4,   115,   116,     7,
     983    -1,     9,    10,    -1,    -1,   123,    -1,     3,     4,    -1,
     984   128,     7,   130,     9,    10,    -1,    -1,    -1,    -1,    -1,
     985    -1,   139,    -1,   141,     3,     4,    -1,    -1,     7,    -1,
     986     9,    10,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     987     7,    -1,     9,    10,    -1,    -1,    -1,   125,    -1,   127,
     988   128,   129,   130,   131,   132,   133,    -1,   135,   136,    -1,
     989    -1,    -1,   125,    -1,   127,   128,   129,   130,    -1,   132,
     990   133,    -1,   135,   136,   125,    -1,   127,   128,   129,   130,
     991    -1,   132,   133,    -1,   135,   136,     3,     4,    -1,    -1,
     992     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
     993    -1,    -1,   125,    -1,   127,   128,   129,   130,    -1,   132,
     994   133,    -1,   135,   136,    -1,    -1,    -1,   125,    -1,   127,
     995   128,   129,   130,   131,   132,    -1,    -1,   135,   136,   125,
     996    -1,   127,   128,   129,   130,    -1,   132,   133,    -1,   135,
     997   136,    -1,    -1,    -1,    -1,    -1,   125,    -1,   127,   128,
     998   129,   130,   131,   132,    -1,    -1,   135,   136,   125,    -1,
     999   127,   128,   129,   130,    -1,   132,   133,    -1,   135,   136,
     1000     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
     1001    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1002    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1003     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,   125,    -1,
     1004   127,   128,   129,   130,    -1,   132,   133,    -1,   135,   136,
     1005     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
     1006    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1007    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1008     9,    10,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1009     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,     4,
     1010    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    10341011    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1035     -1,    -1,   123,    -1,    -1,    -1,    -1,    -1,    -1,   130,
    1036     -1,    -1,    -1,    -1,    -1,    -1,    -1,   138,    -1,   140
     1012    -1,    -1,   125,    -1,   127,   128,   129,   130,    -1,   132,
     1013   133,    -1,   135,   136,   125,    -1,   127,   128,   129,   130,
     1014    -1,   132,   133,    -1,   135,   136,   125,    -1,   127,   128,
     1015   129,   130,   131,   132,    -1,    -1,   135,   136,    13,    14,
     1016    15,    -1,    17,    -1,    19,    20,    -1,    -1,    -1,    -1,
     1017    -1,    -1,   125,    -1,   127,   128,   129,   130,   131,   132,
     1018    -1,    -1,   135,   136,   125,    -1,   127,   128,   129,   130,
     1019   131,   132,    -1,    -1,   135,   136,   125,    -1,   127,   128,
     1020   129,   130,    -1,   132,    -1,    -1,   135,   136,   125,    -1,
     1021   127,   128,   129,   130,    -1,   132,    -1,    -1,   135,   136,
     1022   125,    -1,   127,   128,   129,   130,    -1,   132,    -1,    -1,
     1023    -1,   136,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1024    95,    96,    97,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1025    -1,   106,    -1,   108,   109,   110,    -1,    -1,    -1,    -1,
     1026    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   123,    -1,
     1027    -1,    -1,    -1,    -1,    -1,   130,    -1,    -1,    -1,    -1,
     1028    -1,    -1,    -1,    -1,    -1,   140,   141
    10371029};
    10381030#define YYPURE 1
Note: See TracChangeset for help on using the changeset viewer.