Changeset 9a03c2d in git for Singular/grammar.cc


Ignore:
Timestamp:
Mar 9, 2018, 1:35:32 PM (6 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
7b12a30e21c5626e320d213a12828d1a2dbc6084
Parents:
1af34f3a9d6f48f7bc59d937c310ee496a6c725859b9fdb6e4914ed681cc7907561abf9361bae474
Message:
Merge branch 'spielwiese' into stable
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/grammar.cc

    r1af34f r9a03c2d  
    579579#define YYFINAL  2
    580580/* YYLAST -- Last index in YYTABLE.  */
    581 #define YYLAST   2664
     581#define YYLAST   2560
    582582
    583583/* YYNTOKENS -- Number of terminals.  */
    584 #define YYNTOKENS  103
     584#define YYNTOKENS  102
    585585/* YYNNTS -- Number of nonterminals.  */
    586586#define YYNNTS  44
     
    603603       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    604604       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    605        2,     2,     2,     2,     2,     2,     2,     2,    96,     2,
    606       99,   100,     2,    88,    94,    89,   101,    90,     2,     2,
    607        2,     2,     2,     2,     2,     2,     2,     2,    97,    95,
    608       86,    85,    87,     2,     2,     2,     2,     2,     2,     2,
     605       2,     2,     2,     2,     2,     2,     2,     2,    95,     2,
     606      98,    99,     2,    87,    93,    88,   100,    89,     2,     2,
     607       2,     2,     2,     2,     2,     2,     2,     2,    96,    94,
     608      86,    85,     2,     2,     2,     2,     2,     2,     2,     2,
    609609       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    610610       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    611        2,    91,     2,    92,    93,     2,   102,     2,     2,     2,
     611       2,    90,     2,    91,    92,     2,   101,     2,     2,     2,
    612612       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
    613613       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     
    634634      65,    66,    67,    68,    69,    70,    71,    72,    73,    74,
    635635      75,    76,    77,    78,    79,    80,    81,    82,    83,    84,
    636       98
     636      97
    637637};
    638638
     
    665665static const yytype_int16 yyrhs[] =
    666666{
    667      104,     0,    -1,    -1,   104,   105,    -1,   106,    -1,   108,
    668       95,    -1,   120,    95,    -1,   146,    -1,    80,    -1,    95,
    669       -1,     1,    95,    -1,   141,    -1,   142,    -1,   107,    -1,
    670      143,    -1,   144,    -1,   129,    -1,   130,    -1,   131,    -1,
    671       57,    66,    -1,   109,    -1,   132,    -1,   133,    -1,   134,
    672       -1,   145,    -1,   136,    -1,   137,    -1,   139,    -1,   140,
    673       -1,   118,   111,    -1,    69,    -1,   119,    -1,   110,    11,
    674      110,    -1,   112,   101,   110,    -1,   110,    99,   100,    -1,
    675      110,    99,   111,   100,    -1,    91,   111,    92,    -1,    67,
    676       -1,    84,    -1,   121,    -1,    16,    99,   112,   100,    -1,
    677       53,    99,   112,   100,    -1,    54,    99,   111,   100,    -1,
    678       54,    99,   100,    -1,    55,    99,   112,   100,    -1,    56,
    679       99,   111,   100,    -1,    56,    99,   100,    -1,    45,    99,
    680      112,   100,    -1,    48,    99,   112,   100,    -1,    49,    99,
    681      112,   100,    -1,    51,    99,   112,   100,    -1,    46,    99,
    682      112,    94,   112,   100,    -1,    48,    99,   112,    94,   112,
    683      100,    -1,    50,    99,   112,    94,   112,   100,    -1,    51,
    684       99,   112,    94,   112,   100,    -1,    47,    99,   112,    94,
    685      112,    94,   112,   100,    -1,    49,    99,   112,    94,   112,
    686       94,   112,   100,    -1,    50,    99,   112,    94,   112,    94,
    687      112,   100,    -1,    51,    99,   112,    94,   112,    94,   112,
    688      100,    -1,    52,    99,   100,    -1,    52,    99,   111,   100,
    689       -1,   128,    99,   112,    94,   112,    94,   112,   100,    -1,
    690      128,    99,   112,   100,    -1,    17,    99,   122,    94,   122,
    691       94,   126,   100,    -1,    17,    99,   112,   100,    -1,   119,
    692       12,    66,    -1,    99,   111,   100,    -1,   111,    94,   112,
    693       -1,   112,    -1,   117,    -1,   110,    -1,   112,    91,   112,
    694       94,   112,    92,    -1,   112,    91,   112,    92,    -1,    71,
    695       99,   112,    94,    45,   100,    -1,    71,    99,   112,    94,
    696       48,   100,    -1,    71,    99,   112,    94,    49,   100,    -1,
    697       71,    99,   112,    94,    51,   100,    -1,    71,    99,   112,
    698       94,    52,   100,    -1,    71,    99,   112,    94,   112,   100,
    699       -1,   114,   112,   116,    -1,   114,   112,    85,   112,   116,
    700       -1,   115,   112,    94,   112,   116,    -1,    -1,    76,    99,
    701      113,   112,   100,    -1,    77,    99,    -1,    72,    99,    -1,
    702      100,    -1,   112,    10,    -1,   112,     7,    -1,   112,    88,
    703      112,    -1,   112,    89,   112,    -1,   112,    90,   112,    -1,
    704      112,    93,   112,    -1,   112,    86,   112,    -1,   112,    96,
    705      112,    -1,   112,     9,   112,    -1,   112,     4,   112,    -1,
    706      112,     3,   112,    -1,   112,    97,   112,    -1,     8,   112,
    707       -1,    89,   112,    -1,   120,   127,    -1,   111,    85,    -1,
    708       68,    -1,   102,   112,   102,    -1,    53,   110,    -1,    54,
    709      110,    -1,    55,   110,    -1,    56,   110,    -1,   128,   110,
    710       91,   112,    92,    91,   112,    92,    -1,   128,   110,    -1,
    711      120,    94,   110,    -1,    16,   110,    -1,    65,    -1,   112,
    712       -1,    99,   112,    94,   111,   100,    -1,    68,    -1,   123,
    713       -1,   123,    99,   111,   100,    -1,   124,    -1,   124,    94,
    714      125,    -1,   124,    -1,    99,   125,   100,    -1,    85,    -1,
    715       21,    -1,    15,    -1,    14,    -1,    86,   121,    -1,    59,
    716       65,    95,    -1,    59,    95,    -1,    57,    65,    95,    -1,
    717       58,   111,    -1,    60,   110,    -1,   133,    94,   110,    -1,
    718       62,    99,    53,   100,    -1,    62,    99,    54,   100,    -1,
    719       62,    99,    55,   100,    -1,    62,    99,    56,   100,    -1,
    720       62,    99,    17,   100,    -1,    62,    99,   128,   100,    -1,
    721       62,    99,    16,   100,    -1,    62,    99,   110,   100,    -1,
    722       62,    99,   110,    94,    53,   100,    -1,    62,    99,   110,
    723       94,    54,   100,    -1,    62,    99,   110,    94,    55,   100,
    724       -1,    62,    99,   110,    94,    56,   100,    -1,    62,    99,
    725      110,    94,    17,   100,    -1,    62,    99,   110,    94,   128,
    726      100,    -1,    62,    99,   110,    94,    16,   100,    -1,    62,
    727       99,   100,    -1,    17,    -1,   135,   110,   127,   122,    94,
    728      122,    94,   126,    -1,   135,   110,    -1,   135,   110,   127,
    729      110,    -1,   135,   110,   127,   110,    91,   111,    92,    -1,
    730       84,   121,    -1,    63,    -1,    31,    -1,   138,   112,    -1,
    731       64,   112,    -1,   111,    -1,    79,    99,   112,   100,    66,
    732       -1,    75,    66,    -1,    79,    99,   112,   100,    73,    -1,
     667     103,     0,    -1,    -1,   103,   104,    -1,   105,    -1,   107,
     668      94,    -1,   119,    94,    -1,   145,    -1,    80,    -1,    94,
     669      -1,     1,    94,    -1,   140,    -1,   141,    -1,   106,    -1,
     670     142,    -1,   143,    -1,   128,    -1,   129,    -1,   130,    -1,
     671      57,    66,    -1,   108,    -1,   131,    -1,   132,    -1,   133,
     672      -1,   144,    -1,   135,    -1,   136,    -1,   138,    -1,   139,
     673      -1,   117,   110,    -1,    69,    -1,   118,    -1,   109,    11,
     674     109,    -1,   111,   100,   109,    -1,   109,    98,    99,    -1,
     675     109,    98,   110,    99,    -1,    90,   110,    91,    -1,    67,
     676      -1,    84,    -1,   120,    -1,    16,    98,   111,    99,    -1,
     677      53,    98,   111,    99,    -1,    54,    98,   110,    99,    -1,
     678      54,    98,    99,    -1,    55,    98,   111,    99,    -1,    56,
     679      98,   110,    99,    -1,    56,    98,    99,    -1,    45,    98,
     680     111,    99,    -1,    48,    98,   111,    99,    -1,    49,    98,
     681     111,    99,    -1,    51,    98,   111,    99,    -1,    46,    98,
     682     111,    93,   111,    99,    -1,    48,    98,   111,    93,   111,
     683      99,    -1,    50,    98,   111,    93,   111,    99,    -1,    51,
     684      98,   111,    93,   111,    99,    -1,    47,    98,   111,    93,
     685     111,    93,   111,    99,    -1,    49,    98,   111,    93,   111,
     686      93,   111,    99,    -1,    50,    98,   111,    93,   111,    93,
     687     111,    99,    -1,    51,    98,   111,    93,   111,    93,   111,
     688      99,    -1,    52,    98,    99,    -1,    52,    98,   110,    99,
     689      -1,   127,    98,   111,    93,   111,    93,   111,    99,    -1,
     690     127,    98,   111,    99,    -1,    17,    98,   121,    93,   121,
     691      93,   125,    99,    -1,    17,    98,   111,    99,    -1,   118,
     692      12,    66,    -1,    98,   110,    99,    -1,   110,    93,   111,
     693      -1,   111,    -1,   116,    -1,   109,    -1,   111,    90,   111,
     694      93,   111,    91,    -1,   111,    90,   111,    91,    -1,    71,
     695      98,   111,    93,    45,    99,    -1,    71,    98,   111,    93,
     696      48,    99,    -1,    71,    98,   111,    93,    49,    99,    -1,
     697      71,    98,   111,    93,    51,    99,    -1,    71,    98,   111,
     698      93,    52,    99,    -1,    71,    98,   111,    93,   111,    99,
     699      -1,   113,   111,   115,    -1,   113,   111,    85,   111,   115,
     700      -1,   114,   111,    93,   111,   115,    -1,    -1,    76,    98,
     701     112,   111,    99,    -1,    77,    98,    -1,    72,    98,    -1,
     702      99,    -1,   111,    10,    -1,   111,     7,    -1,   111,    87,
     703     111,    -1,   111,    88,   111,    -1,   111,    89,   111,    -1,
     704     111,    92,   111,    -1,   111,    86,   111,    -1,   111,    95,
     705     111,    -1,   111,     9,   111,    -1,   111,     4,   111,    -1,
     706     111,     3,   111,    -1,   111,    96,   111,    -1,     8,   111,
     707      -1,    88,   111,    -1,   119,   126,    -1,   110,    85,    -1,
     708      68,    -1,   101,   111,   101,    -1,    53,   109,    -1,    54,
     709     109,    -1,    55,   109,    -1,    56,   109,    -1,   127,   109,
     710      90,   111,    91,    90,   111,    91,    -1,   127,   109,    -1,
     711     119,    93,   109,    -1,    16,   109,    -1,    65,    -1,   111,
     712      -1,    98,   111,    93,   110,    99,    -1,    68,    -1,   122,
     713      -1,   122,    98,   110,    99,    -1,   123,    -1,   123,    93,
     714     124,    -1,   123,    -1,    98,   124,    99,    -1,    85,    -1,
     715      21,    -1,    15,    -1,    14,    -1,    86,   120,    -1,    59,
     716      65,    94,    -1,    59,    94,    -1,    57,    65,    94,    -1,
     717      58,   110,    -1,    60,   109,    -1,   132,    93,   109,    -1,
     718      62,    98,    53,    99,    -1,    62,    98,    54,    99,    -1,
     719      62,    98,    55,    99,    -1,    62,    98,    56,    99,    -1,
     720      62,    98,    17,    99,    -1,    62,    98,   127,    99,    -1,
     721      62,    98,    16,    99,    -1,    62,    98,   109,    99,    -1,
     722      62,    98,   109,    93,    53,    99,    -1,    62,    98,   109,
     723      93,    54,    99,    -1,    62,    98,   109,    93,    55,    99,
     724      -1,    62,    98,   109,    93,    56,    99,    -1,    62,    98,
     725     109,    93,    17,    99,    -1,    62,    98,   109,    93,   127,
     726      99,    -1,    62,    98,   109,    93,    16,    99,    -1,    62,
     727      98,    99,    -1,    17,    -1,   134,   109,   126,   121,    93,
     728     121,    93,   125,    -1,   134,   109,    -1,   134,   109,   126,
     729     109,    -1,   134,   109,   126,   109,    90,   110,    91,    -1,
     730      84,   120,    -1,    63,    -1,    31,    -1,   137,   111,    -1,
     731      64,   111,    -1,   110,    -1,    79,    98,   111,    99,    66,
     732      -1,    75,    66,    -1,    79,    98,   111,    99,    73,    -1,
    733733      73,    -1,    74,    -1,    81,    65,    66,    -1,    78,    65,
    734       65,    65,    66,    -1,    16,   119,    66,    -1,    70,    65,
    735       66,    -1,    70,    65,    65,    66,    -1,    83,   120,    -1,
    736       83,   112,    -1,    82,    99,   111,   100,    -1,    82,    99,
    737      100,    -1
     734      65,    65,    66,    -1,    16,   118,    66,    -1,    70,    65,
     735      66,    -1,    70,    65,    65,    66,    -1,    83,   119,    -1,
     736      83,   111,    -1,    82,    98,   110,    99,    -1,    82,    98,
     737      99,    -1
    738738};
    739739
     
    782782  "ASSUME_CMD", "BREAK_CMD", "CONTINUE_CMD", "ELSE_CMD", "EVAL", "QUOTE",
    783783  "FOR_CMD", "IF_CMD", "SYS_BREAK", "WHILE_CMD", "RETURN", "PARAMETER",
    784   "SYSVAR", "'='", "'<'", "'>'", "'+'", "'-'", "'/'", "'['", "']'", "'^'",
    785   "','", "';'", "'&'", "':'", "UMINUS", "'('", "')'", "'.'", "'`'",
    786   "$accept", "lines", "pprompt", "flowctrl", "example_dummy", "command",
    787   "assign", "elemexpr", "exprlist", "expr", "$@1", "quote_start",
    788   "assume_start", "quote_end", "expr_arithmetic", "left_value",
    789   "extendedid", "declare_ip_variable", "stringexpr", "rlist", "ordername",
    790   "orderelem", "OrderingList", "ordering", "cmdeq", "mat_cmd", "filecmd",
    791   "helpcmd", "examplecmd", "exportcmd", "killcmd", "listcmd", "ringcmd1",
    792   "ringcmd", "scriptcmd", "setrings", "setringcmd", "typecmd", "ifcmd",
    793   "whilecmd", "forcmd", "proccmd", "parametercmd", "returncmd", 0
     784  "SYSVAR", "'='", "'<'", "'+'", "'-'", "'/'", "'['", "']'", "'^'", "','",
     785  "';'", "'&'", "':'", "UMINUS", "'('", "')'", "'.'", "'`'", "$accept",
     786  "lines", "pprompt", "flowctrl", "example_dummy", "command", "assign",
     787  "elemexpr", "exprlist", "expr", "$@1", "quote_start", "assume_start",
     788  "quote_end", "expr_arithmetic", "left_value", "extendedid",
     789  "declare_ip_variable", "stringexpr", "rlist", "ordername", "orderelem",
     790  "OrderingList", "ordering", "cmdeq", "mat_cmd", "filecmd", "helpcmd",
     791  "examplecmd", "exportcmd", "killcmd", "listcmd", "ringcmd1", "ringcmd",
     792  "scriptcmd", "setrings", "setringcmd", "typecmd", "ifcmd", "whilecmd",
     793  "forcmd", "proccmd", "parametercmd", "returncmd", 0
    794794};
    795795#endif
     
    808808     315,   316,   317,   318,   319,   320,   321,   322,   323,   324,
    809809     325,   326,   327,   328,   329,   330,   331,   332,   333,   334,
    810      335,   336,   337,   338,   339,    61,    60,    62,    43,    45,
    811       47,    91,    93,    94,    44,    59,    38,    58,   340,    40,
    812       41,    46,    96
     810     335,   336,   337,   338,   339,    61,    60,    43,    45,    47,
     811      91,    93,    94,    44,    59,    38,    58,   340,    40,    41,
     812      46,    96
    813813};
    814814# endif
     
    817817static const yytype_uint8 yyr1[] =
    818818{
    819        0,   103,   104,   104,   105,   105,   105,   105,   105,   105,
    820      105,   106,   106,   106,   106,   106,   106,   106,   106,   107,
    821      108,   108,   108,   108,   108,   108,   108,   108,   108,   109,
    822      110,   110,   110,   110,   110,   110,   110,   110,   110,   110,
    823      110,   110,   110,   110,   110,   110,   110,   110,   110,   110,
    824      110,   110,   110,   110,   110,   110,   110,   110,   110,   110,
    825      110,   110,   110,   110,   110,   110,   110,   111,   111,   112,
    826      112,   112,   112,   112,   112,   112,   112,   112,   112,   112,
    827      112,   112,   113,   112,   114,   115,   116,   117,   117,   117,
    828      117,   117,   117,   117,   117,   117,   117,   117,   117,   117,
    829      117,   118,   118,   119,   119,   120,   120,   120,   120,   120,
    830      120,   120,   120,   121,   122,   122,   123,   124,   124,   125,
    831      125,   126,   126,   127,   128,   128,   128,   129,   130,   130,
    832      131,   132,   133,   133,   134,   134,   134,   134,   134,   134,
    833      134,   134,   134,   134,   134,   134,   134,   134,   134,   134,
    834      135,   136,   136,   136,   136,   137,   138,   138,   139,   140,
    835      140,   141,   141,   141,   141,   141,   142,   143,   144,   144,
    836      144,   145,   145,   146,   146
     819       0,   102,   103,   103,   104,   104,   104,   104,   104,   104,
     820     104,   105,   105,   105,   105,   105,   105,   105,   105,   106,
     821     107,   107,   107,   107,   107,   107,   107,   107,   107,   108,
     822     109,   109,   109,   109,   109,   109,   109,   109,   109,   109,
     823     109,   109,   109,   109,   109,   109,   109,   109,   109,   109,
     824     109,   109,   109,   109,   109,   109,   109,   109,   109,   109,
     825     109,   109,   109,   109,   109,   109,   109,   110,   110,   111,
     826     111,   111,   111,   111,   111,   111,   111,   111,   111,   111,
     827     111,   111,   112,   111,   113,   114,   115,   116,   116,   116,
     828     116,   116,   116,   116,   116,   116,   116,   116,   116,   116,
     829     116,   117,   117,   118,   118,   119,   119,   119,   119,   119,
     830     119,   119,   119,   120,   121,   121,   122,   123,   123,   124,
     831     124,   125,   125,   126,   127,   127,   127,   128,   129,   129,
     832     130,   131,   132,   132,   133,   133,   133,   133,   133,   133,
     833     133,   133,   133,   133,   133,   133,   133,   133,   133,   133,
     834     134,   135,   135,   135,   135,   136,   137,   137,   138,   139,
     835     139,   140,   140,   140,   140,   140,   141,   142,   143,   143,
     836     143,   144,   144,   145,   145
    837837};
    838838
     
    919919/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
    920920   STATE-NUM.  */
    921 #define YYPACT_NINF -359
     921#define YYPACT_NINF -361
    922922static const yytype_int16 yypact[] =
    923923{
    924     -359,   383,  -359,   -81,  1977,  -359,  -359,  2042,   -75,  -359,
    925     -359,   -72,   -64,   -39,   -28,     4,     9,    16,    40,  2107,
    926     2172,  2237,  2302,    14,  1977,   -57,  1977,    44,  -359,  1977,
    927     -359,  -359,  -359,  -359,   111,    64,    95,  -359,  -359,   136,
    928      105,   119,   158,   127,  -359,   166,   147,  2367,   185,   185,
    929     1977,  1977,  -359,  1977,  1977,  -359,  -359,  -359,   160,  -359,
    930       -2,   -65,  1376,  1977,  1977,  -359,  1977,   245,   -53,  -359,
    931     2432,  -359,  -359,  -359,  -359,   165,  -359,  1977,  -359,  -359,
    932     1977,  -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,
    933      164,   -75,   169,   171,   176,   177,  -359,    23,   178,  1977,
    934       90,  1376,    -8,  2497,  1977,  1977,  1977,  1977,  1977,  1977,
    935     1977,  1587,  1977,    96,  1652,   209,  1977,   247,  1717,   464,
    936      183,  -359,   186,   184,  -359,    43,  1782,  1376,    22,  1977,
    937     -359,  -359,  -359,  -359,   216,  1977,   218,  1847,  2042,  1376,
    938      193,  -359,  -359,    23,   -46,   -55,     3,  -359,  1977,  1912,
    939     -359,  1977,  1977,  1977,  -359,  1977,  -359,  1977,  1977,  1977,
    940     1977,  1977,  1977,  1977,  1977,  1977,   238,   557,   186,   224,
    941     -359,  1977,  -359,  -359,  1977,    -9,  1977,    50,  1376,  1977,
    942     1977,  1652,  1977,  1717,  1977,   571,  -359,  1977,   666,   197,
    943      682,   698,   712,   262,   279,   726,   398,  -359,   -51,   740,
    944     -359,   -43,   835,  -359,   -41,  -359,  -359,   -36,   -16,    79,
    945       88,    93,    98,  -359,    33,   115,   227,  -359,   851,  1977,
    946      231,   865,  -359,  -359,   -38,  -359,  -359,  -359,  -359,  -359,
    947      -22,  1376,   163,  1485,  1485,  1499,    30,    30,    23,   414,
    948       18,  1471,    30,  -359,  1977,  -359,  -359,  1977,  -359,   629,
    949      509,  1977,   139,  2497,   571,   740,   -19,   835,    46,   509,
    950     -359,   881,  -359,  2497,  -359,  1977,  1977,  1977,  -359,  1977,
    951     -359,  1977,  1977,  -359,  -359,  -359,  -359,  -359,  -359,  -359,
    952     -359,  -359,  -359,  -359,  -359,   862,  -359,  -359,  -359,  2562,
    953      895,   232,   -47,  -359,  -359,  -359,  1977,   990,   990,  1977,
    954     -359,  1006,   130,  1376,   203,  -359,  -359,  1977,   206,  1020,
    955     1036,  1050,  1145,   525,   541,   202,   205,   207,   210,   212,
    956      221,   222,   117,   137,   140,   144,   162,  1159,  -359,  -359,
    957     -359,  -359,  1175,  -359,  -359,  1189,   234,  1977,  2497,    65,
    958      -63,  -359,  1977,  -359,  1977,  1977,  -359,  1977,  -359,  -359,
    959     -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,
    960     -359,  -359,  -359,  1977,  1977,    77,   215,  -359,  -359,   248,
    961      219,  -359,   230,  1203,  1219,  1314,  1330,  1346,  1362,  -359,
    962      -63,   239,   240,  1977,  -359,  -359,  -359,  -359,  -359,  -359,
    963     -359,  -359,   248,  -359,    68,  -359,  -359
     924    -361,   383,  -361,   -84,  1874,  -361,  -361,  1939,   -47,  -361,
     925    -361,   -34,   -27,   -23,   -19,   -15,     5,    32,    37,  2004,
     926    2069,  2134,  2199,   -26,  1874,   -61,  1874,    45,  -361,  1874,
     927    -361,  -361,  -361,  -361,    22,    51,    65,  -361,  -361,   100,
     928      73,    92,   130,    94,  -361,   139,   118,  2264,   153,   153,
     929    1874,  1874,  -361,  1874,  1874,  -361,  -361,  -361,     3,  -361,
     930      10,   -73,  1368,  1874,  1874,  -361,  1874,   211,   -48,  -361,
     931    2329,  -361,  -361,  -361,  -361,   128,  -361,  1874,  -361,  -361,
     932    1874,  -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,
     933     131,   -47,   133,   145,   150,   152,  -361,    24,   159,  1874,
     934     104,  1368,    -7,  2394,  1874,  1874,  1874,  1874,  1874,  1874,
     935    1874,  1484,  1874,   209,  1549,   248,  1874,   258,  1614,   264,
     936     187,  -361,   167,   196,  -361,   170,  1679,  1368,   113,  1874,
     937    -361,  -361,  -361,  -361,   213,  1874,   227,  1744,  1939,  1368,
     938     204,  -361,  -361,    24,   -66,   -69,     4,  -361,  1874,  1809,
     939    -361,  1874,  1874,  1874,  -361,  1874,  -361,  1874,  1874,  1874,
     940    1874,  1874,  1874,  1874,  1874,  1874,   166,   553,   167,   239,
     941    -361,  1874,  -361,  -361,  1874,    -9,  1874,    47,  1368,  1874,
     942    1874,  1549,  1874,  1614,  1874,   568,  -361,  1874,   583,   217,
     943     677,   692,   707,   184,   235,   722,   399,  -361,   -51,   737,
     944    -361,   -50,   752,  -361,   -37,  -361,  -361,    86,   116,   127,
     945     135,   138,   142,  -361,     8,   148,   246,  -361,   846,  1874,
     946     251,   861,  -361,  -361,   -21,  -361,  -361,  -361,  -361,  -361,
     947     -13,  1368,    50,   279,   279,  1397,    31,    31,    24,   414,
     948      19,  1383,    31,  -361,  1874,  -361,  -361,  1874,  -361,   287,
     949     508,  1874,   280,  2394,   568,   737,   -11,   752,    34,   508,
     950    -361,   876,  -361,  2394,  -361,  1874,  1874,  1874,  -361,  1874,
     951    -361,  1874,  1874,  -361,  -361,  -361,  -361,  -361,  -361,  -361,
     952    -361,  -361,  -361,  -361,  -361,  1367,  -361,  -361,  -361,  2459,
     953     891,   252,   -38,  -361,  -361,  -361,  1874,   906,   906,  1874,
     954    -361,   921,   206,  1368,   233,  -361,  -361,  1874,   236,  1015,
     955    1030,  1045,  1060,   523,   538,   241,   249,   256,   262,   271,
     956     288,   289,   189,   210,   240,   255,   261,  1075,  -361,  -361,
     957    -361,  -361,  1090,  -361,  -361,  1184,   242,  1874,  2394,    66,
     958     -62,  -361,  1874,  -361,  1874,  1874,  -361,  1874,  -361,  -361,
     959    -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,
     960    -361,  -361,  -361,  1874,  1874,   -30,   257,  -361,  -361,   277,
     961     291,  -361,   295,  1199,  1214,  1229,  1244,  1259,  1353,  -361,
     962     -62,   303,   302,  1874,  -361,  -361,  -361,  -361,  -361,  -361,
     963    -361,  -361,   277,  -361,    69,  -361,  -361
    964964};
    965965
     
    967967static const yytype_int16 yypgoto[] =
    968968{
    969     -359,  -359,  -359,  -359,  -359,  -359,  -359,    -4,    -1,    48,
    970     -359,  -359,  -359,  -168,  -359,  -359,   336,   298,   225,  -232,
    971     -359,  -358,   -35,   -31,   187,     0,  -359,  -359,  -359,  -359,
    972     -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,  -359,
    973     -359,  -359,  -359,  -359
     969    -361,  -361,  -361,  -361,  -361,  -361,  -361,    -4,    -1,    48,
     970    -361,  -361,  -361,    79,  -361,  -361,   398,   360,   315,  -209,
     971    -361,  -360,    18,    33,   238,     0,  -361,  -361,  -361,  -361,
     972    -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,  -361,
     973    -361,  -361,  -361,  -361
    974974};
    975975
     
    981981static const yytype_int16 yytable[] =
    982982{
    983       61,    70,   148,   100,   169,   368,   152,   153,   123,   148,
    984      154,   381,   155,   156,    89,   113,   115,   117,   119,   330,
    985      150,   304,   125,   122,   103,   154,   331,   104,   156,   151,
    986      154,   308,   170,   156,   381,   105,   369,   154,   124,   151,
    987      156,   171,   172,   151,   148,   226,   225,    70,   151,   274,
    988      144,   151,    97,   151,   148,   101,   151,   276,   186,   278,
    989      106,   148,   293,   179,   279,   168,   175,   101,   101,   101,
    990      101,   107,   151,   177,   101,   151,  -110,   127,   294,   120,
    991      121,   305,   251,   103,   280,  -110,  -110,   216,   217,   157,
    992      149,   158,   159,   160,   161,   139,   162,   149,   143,   163,
    993      164,   148,   146,   108,   165,   227,   366,   148,   109,   161,
    994      198,   166,   167,   201,   161,   110,   162,   204,   101,   165,
    995      160,   161,   214,   162,   165,   101,   215,   285,   178,   333,
    996      334,   165,   149,   286,   100,   170,   224,  -132,  -132,   111,
    997      151,   148,   149,   126,   228,  -152,   306,   185,   230,   149,
    998      148,   188,   190,   191,   192,   193,   194,   195,   196,   151,
    999      199,   243,   151,   129,   202,   367,  -154,   249,   396,   379,
    1000      154,   151,   252,   156,   101,  -112,   128,   218,   180,   281,
    1001      256,  -105,   258,   221,  -112,  -112,   101,   181,   282,   149,
    1002     -105,  -105,   182,   283,   130,   149,   101,   183,   284,   231,
    1003      232,   233,   131,   234,   132,   235,   236,   237,   238,   239,
    1004      240,   241,   242,   101,   184,   287,   104,   356,   133,   101,
    1005      148,   337,   250,   134,   101,  -153,   135,   254,   255,   149,
    1006      257,   136,   259,  -133,  -133,   261,   107,   357,   149,   108,
    1007      358,   152,   153,   110,   359,   154,   137,   155,   156,   302,
    1008       30,   158,   159,   160,   161,   147,   162,   169,   148,   176,
    1009      164,   111,   360,   179,   165,   152,   153,   290,   180,   154,
    1010      181,   155,   156,   141,   142,   182,   183,   184,   205,   206,
    1011      151,   220,   152,   153,   222,   321,   154,   171,   155,   156,
    1012      248,   263,   297,   288,  -106,   298,   291,   338,   329,   301,
    1013      340,   303,   349,  -106,  -106,   350,   339,   351,   149,   380,
    1014      352,   303,   353,   309,   310,   311,   368,   312,   383,   313,
    1015      314,   354,   355,   244,   157,   364,   158,   159,   160,   161,
    1016      384,   162,  -107,   392,   163,   164,   365,   327,   245,   165,
    1017      393,  -107,  -107,   102,   332,   140,   149,   335,   157,   391,
    1018      158,   159,   160,   161,     0,   162,   267,   395,   163,   164,
    1019        0,     0,   268,   165,   253,   157,     0,   158,   159,   160,
    1020      161,     0,   162,   269,     0,   163,   164,     0,     0,   270,
    1021      165,     0,   394,     2,     3,     0,   303,     0,     0,     0,
    1022      373,     4,   374,   375,     0,   376,     0,     5,     6,     7,
    1023        8,   152,   153,     0,     9,   154,     0,   155,   156,     0,
    1024        0,   377,   378,     0,    10,     0,     0,   152,   153,     0,
     983      61,    70,   148,   100,   123,   169,   368,   152,   153,   381,
     984      89,   154,   150,   155,   156,   113,   115,   117,   119,   148,
     985     151,   148,   125,   122,   151,   225,   154,   151,   330,   156,
     986     226,   154,   381,   124,   156,   331,   369,   170,   154,   120,
     987     121,   156,   151,   151,   304,   171,   172,    70,   274,   276,
     988     144,   103,    97,  -154,   308,   101,   151,   154,   148,   186,
     989     156,   379,   278,   151,   104,   168,   175,   101,   101,   101,
     990     101,   105,   151,   177,   101,   106,  -110,   127,   293,   107,
     991     151,   251,   151,   108,  -110,  -110,   294,   128,   305,   149,
     992     157,   158,   159,   160,   161,   139,   162,   147,   143,   163,
     993     164,   285,   146,   109,   165,   227,   149,   286,   149,   161,
     994     198,   166,   167,   201,   161,   148,   162,   204,   101,   165,
     995     160,   161,   214,   162,   165,   101,   215,   151,   178,   366,
     996     110,   165,   170,   306,   100,   111,   224,   158,   159,   160,
     997     161,  -152,   162,   126,   228,   149,   164,   185,   230,   129,
     998     165,   188,   190,   191,   192,   193,   194,   195,   196,   151,
     999     199,   243,   151,   130,   202,   367,   131,   249,   396,   152,
     1000     153,   132,   252,   154,   101,   155,   156,   218,   216,   217,
     1001     256,   148,   258,   221,   179,   279,   101,   152,   153,  -112,
     1002     133,   154,   135,   155,   156,   134,   101,  -112,  -112,   231,
     1003     232,   233,   149,   234,   136,   235,   236,   237,   238,   239,
     1004     240,   241,   242,   101,   103,   280,   137,   148,    30,   101,
     1005     148,   176,   250,   169,   101,   180,   281,   254,   255,   179,
     1006     257,   180,   259,   181,   282,   261,   182,   283,   152,   153,
     1007     183,   284,   154,   181,   155,   156,   184,   287,   182,   302,
     1008     183,   244,   157,   158,   159,   160,   161,   184,   162,   148,
     1009     151,   163,   164,  -132,  -132,   245,   165,   290,   149,   148,
     1010     157,   158,   159,   160,   161,   148,   162,   267,   220,   163,
     1011     164,   205,   152,   268,   165,   321,   154,   104,   356,   156,
     1012     206,   148,   297,   222,  -105,   298,   337,   171,   148,   301,
     1013    -153,   303,  -105,  -105,   149,   248,   339,   149,   107,   357,
     1014     263,   303,   288,   309,   310,   311,   291,   312,   329,   313,
     1015     314,   157,   158,   159,   160,   161,   338,   162,   269,   340,
     1016     163,   164,   364,  -106,   270,   165,   365,   327,   108,   358,
     1017     349,  -106,  -106,  -107,   332,   368,   149,   335,   350,  -108,
     1018     380,  -107,  -107,   110,   359,   351,   149,  -108,  -108,   111,
     1019     360,   352,   149,   141,   142,   157,   158,   159,   160,   161,
     1020     353,   162,  -111,  -133,  -133,   164,   333,   334,   149,   165,
     1021    -111,  -111,   394,     2,     3,   149,   303,   354,   355,   383,
     1022     373,     4,   374,   375,   384,   376,   392,     5,     6,     7,
     1023       8,   393,   152,   153,     9,   102,   154,   140,   155,   156,
     1024     395,   377,   378,   391,    10,   253,     0,   152,   153,     0,
    10251025       0,   154,     0,   155,   156,     0,     0,     0,    11,    12,
    10261026      13,    14,    15,    16,    17,    18,    19,    20,    21,    22,
     
    10281028      31,    32,    33,    34,    35,    36,    37,    38,    39,    40,
    10291029      41,    42,    43,    44,    45,    46,    47,    48,     0,    49,
    1030        0,     0,    50,     0,    51,   148,     0,     0,    52,     0,
    1031        0,     0,    53,     0,   157,    54,   158,   159,   160,   161,
     1030       0,    50,     0,    51,     0,     0,     0,    52,     0,     0,
     1031       0,    53,     0,     0,    54,   157,   158,   159,   160,   161,
    10321032       0,   162,   272,     0,   163,   164,     0,     0,   273,   165,
    1033      157,     0,   158,   159,   160,   161,   295,   162,   296,     0,
    1034      163,   164,   152,   153,     0,   165,   154,     0,   155,   156,
    1035        0,     0,     0,     0,     0,     0,     0,     0,   152,   153,
    1036        0,     0,   154,     0,   155,   156,     0,     0,     0,     0,
    1037        0,     0,     0,     0,   152,   153,     0,     0,   154,  -108,
    1038      155,   156,     0,     0,     0,     0,     0,     0,  -108,  -108,
    1039      152,   153,     0,   149,   154,     0,   155,   156,     0,     0,
    1040        0,     0,     0,     0,   152,   153,     0,     0,   154,     0,
    1041      155,   156,     0,     0,     0,     0,     0,     0,     0,     0,
    1042        0,     0,     0,     0,     0,   157,     0,   158,   159,   160,
    1043      161,     0,   162,   299,     0,   163,   164,     0,     0,   300,
    1044      165,   157,     0,   158,   159,   160,   161,     0,   162,   345,
    1045        0,   163,   164,     0,     0,   346,   165,   157,     0,   158,
    1046      159,   160,   161,     0,   162,   347,     0,   163,   164,     0,
    1047      148,   348,   165,   157,     0,   158,   159,   160,   161,     0,
    1048      162,   247,     0,   163,   164,     0,     0,   157,   165,   158,
    1049      159,   160,   161,     0,   162,     0,     0,   163,   164,   152,
    1050      153,   260,   165,   154,     0,   155,   156,     0,     0,     0,
     1033     157,   158,   159,   160,   161,   295,   162,   296,     0,   163,
     1034     164,   152,   153,     0,   165,   154,     0,   155,   156,     0,
     1035       0,     0,     0,     0,     0,     0,   152,   153,     0,     0,
     1036     154,     0,   155,   156,     0,     0,     0,     0,     0,     0,
     1037       0,   152,   153,     0,     0,   154,     0,   155,   156,     0,
     1038       0,     0,     0,     0,     0,     0,   152,   153,     0,     0,
     1039     154,     0,   155,   156,     0,     0,     0,     0,     0,     0,
     1040       0,   152,   153,     0,     0,   154,     0,   155,   156,     0,
     1041       0,     0,     0,     0,     0,     0,   152,   153,     0,     0,
     1042     154,     0,   155,   156,   157,   158,   159,   160,   161,     0,
     1043     162,   299,     0,   163,   164,     0,     0,   300,   165,   157,
     1044     158,   159,   160,   161,     0,   162,   345,     0,   163,   164,
     1045       0,     0,   346,   165,   157,   158,   159,   160,   161,     0,
     1046     162,   347,     0,   163,   164,     0,     0,   348,   165,   157,
     1047     158,   159,   160,   161,     0,   162,   247,     0,   163,   164,
     1048       0,     0,     0,   165,   157,   158,   159,   160,   161,     0,
     1049     162,     0,     0,   163,   164,     0,     0,   260,   165,   157,
     1050     158,   159,   160,   161,     0,   162,     0,     0,   163,   164,
     1051     152,   153,   262,   165,   154,     0,   155,   156,     0,     0,
    10511052       0,     0,     0,     0,     0,   152,   153,     0,     0,   154,
    10521053       0,   155,   156,     0,     0,     0,     0,     0,     0,     0,
     1054     152,   153,     0,     0,   154,     0,   155,   156,     0,     0,
     1055       0,     0,     0,     0,     0,   152,   153,     0,     0,   154,
     1056       0,   155,   156,     0,     0,     0,     0,     0,     0,     0,
     1057     152,   153,     0,     0,   154,     0,   155,   156,     0,     0,
     1058       0,     0,     0,     0,     0,   152,   153,     0,     0,   154,
     1059       0,   155,   156,   157,   158,   159,   160,   161,     0,   162,
     1060       0,     0,   163,   164,     0,     0,   264,   165,   157,   158,
     1061     159,   160,   161,     0,   162,   265,     0,   163,   164,     0,
     1062       0,     0,   165,   157,   158,   159,   160,   161,     0,   162,
     1063     266,     0,   163,   164,     0,     0,     0,   165,   157,   158,
     1064     159,   160,   161,     0,   162,   271,     0,   163,   164,     0,
     1065       0,     0,   165,   157,   158,   159,   160,   161,     0,   162,
     1066       0,     0,   163,   164,     0,     0,   275,   165,   157,   158,
     1067     159,   160,   161,     0,   162,     0,     0,   163,   164,   152,
     1068     153,   277,   165,   154,     0,   155,   156,     0,     0,     0,
     1069       0,     0,     0,     0,   152,   153,     0,     0,   154,     0,
     1070     155,   156,     0,     0,     0,     0,     0,     0,     0,   152,
     1071     153,     0,     0,   154,     0,   155,   156,     0,     0,     0,
     1072       0,     0,     0,     0,   152,   153,     0,     0,   154,     0,
     1073     155,   156,     0,     0,     0,     0,     0,     0,     0,   152,
     1074     153,     0,     0,   154,     0,   155,   156,     0,     0,     0,
     1075       0,     0,     0,     0,   152,   153,     0,     0,   154,     0,
     1076     155,   156,   157,   158,   159,   160,   161,     0,   162,   289,
     1077       0,   163,   164,     0,     0,     0,   165,   157,   158,   159,
     1078     160,   161,     0,   162,     0,     0,   163,   164,     0,     0,
     1079     292,   165,   157,   158,   159,   160,   161,     0,   162,   307,
     1080       0,   163,   164,     0,     0,     0,   165,   157,   158,   159,
     1081     160,   161,     0,   162,     0,     0,   163,   164,     0,     0,
     1082     328,   165,   157,   158,   159,   160,   161,     0,   162,     0,
     1083       0,   163,   164,     0,     0,   245,   165,   157,   158,   159,
     1084     160,   161,   336,   162,     0,     0,   163,   164,   152,   153,
     1085       0,   165,   154,     0,   155,   156,     0,     0,     0,     0,
     1086       0,     0,     0,   152,   153,     0,     0,   154,     0,   155,
     1087     156,     0,     0,     0,     0,     0,     0,     0,   152,   153,
     1088       0,     0,   154,     0,   155,   156,     0,     0,     0,     0,
     1089       0,     0,     0,   152,   153,     0,     0,   154,     0,   155,
     1090     156,     0,     0,     0,     0,     0,     0,     0,   152,   153,
     1091       0,     0,   154,     0,   155,   156,     0,     0,     0,     0,
     1092       0,     0,     0,   152,   153,     0,     0,   154,     0,   155,
     1093     156,   157,   158,   159,   160,   161,     0,   162,     0,     0,
     1094     163,   164,     0,     0,   341,   165,   157,   158,   159,   160,
     1095     161,     0,   162,   342,     0,   163,   164,     0,     0,     0,
     1096     165,   157,   158,   159,   160,   161,     0,   162,     0,     0,
     1097     163,   164,     0,     0,   343,   165,   157,   158,   159,   160,
     1098     161,     0,   162,   344,     0,   163,   164,     0,     0,     0,
     1099     165,   157,   158,   159,   160,   161,     0,   162,     0,     0,
     1100     163,   164,     0,     0,   361,   165,   157,   158,   159,   160,
     1101     161,   362,   162,     0,     0,   163,   164,   152,   153,     0,
     1102     165,   154,     0,   155,   156,     0,     0,     0,     0,     0,
     1103       0,     0,   152,   153,     0,     0,   154,     0,   155,   156,
     1104       0,     0,     0,     0,     0,     0,     0,   152,   153,     0,
     1105       0,   154,     0,   155,   156,     0,     0,     0,     0,     0,
     1106       0,     0,   152,   153,     0,     0,   154,     0,   155,   156,
     1107       0,     0,     0,     0,     0,     0,     0,   152,   153,     0,
     1108       0,   154,     0,   155,   156,     0,     0,     0,     0,     0,
     1109       0,     0,   152,   153,     0,     0,   154,     0,   155,   156,
     1110     157,   158,   159,   160,   161,     0,   162,   363,     0,   163,
     1111     164,     0,     0,     0,   165,   157,   158,   159,   160,   161,
     1112       0,   162,     0,     0,   163,   164,     0,     0,   385,   165,
     1113     157,   158,   159,   160,   161,     0,   162,     0,     0,   163,
     1114     164,     0,     0,   386,   165,   157,   158,   159,   160,   161,
     1115       0,   162,     0,     0,   163,   164,     0,     0,   387,   165,
     1116     157,   158,   159,   160,   161,     0,   162,     0,     0,   163,
     1117     164,     0,     0,   388,   165,   157,   158,   159,   160,   161,
     1118       0,   162,     0,     0,   163,   164,   152,   153,   389,   165,
     1119     154,     0,   155,   156,     0,     0,     0,     0,     0,     0,
    10531120       0,   152,   153,     0,     0,   154,     0,   155,   156,     0,
    1054        0,     0,     0,     0,  -111,   152,   153,     0,     0,   154,
    1055        0,   155,   156,  -111,  -111,     0,     0,     0,   149,   152,
    1056      153,     0,     0,   154,     0,   155,   156,     0,     0,     0,
    1057        0,     0,     0,   152,   153,     0,     0,   154,     0,   155,
    1058      156,     0,   157,     0,   158,   159,   160,   161,     0,   162,
    1059        0,     0,   163,   164,     0,     0,   262,   165,   157,     0,
    1060      158,   159,   160,   161,     0,   162,     0,     0,   163,   164,
    1061        0,     0,   264,   165,   157,     0,   158,   159,   160,   161,
    1062        0,   162,   265,     0,   163,   164,     0,     0,   157,   165,
    1063      158,   159,   160,   161,     0,   162,   266,     0,   163,   164,
    1064        0,     0,   157,   165,   158,   159,   160,   161,     0,   162,
    1065      271,     0,   163,   164,     0,     0,   157,   165,   158,   159,
    1066      160,   161,     0,   162,     0,     0,   163,   164,   152,   153,
    1067      275,   165,   154,     0,   155,   156,     0,     0,     0,     0,
    1068        0,     0,     0,     0,   152,   153,     0,     0,   154,     0,
    1069      155,   156,     0,     0,     0,     0,     0,     0,   152,   153,
    1070        0,     0,   154,     0,   155,   156,     5,     6,   315,   316,
    1071        0,     0,     0,     9,   152,   153,     0,     0,   154,     0,
    1072      155,   156,     0,     0,     0,     0,     0,     0,   152,   153,
    1073        0,     0,   154,     0,   155,   156,     0,     0,     0,     0,
    1074        0,     0,     0,     0,     0,   317,   318,   319,   320,     0,
    1075        0,   157,     0,   158,   159,   160,   161,     0,   162,     0,
    1076        0,   163,   164,     0,     0,   277,   165,   157,     0,   158,
    1077      159,   160,   161,     0,   162,   289,     0,   163,   164,     0,
    1078        0,   157,   165,   158,   159,   160,   161,     0,   162,     0,
    1079        0,   163,   164,     0,     0,   292,   165,   157,     0,   158,
    1080      159,   160,   161,     0,   162,   307,     0,   163,   164,     0,
    1081        0,   157,   165,   158,   159,   160,   161,     0,   162,     0,
    1082        0,   163,   164,   152,   153,   328,   165,   154,     0,   155,
    1083      156,     0,     0,     0,     0,     0,     0,     0,     0,   152,
    1084      153,     0,     0,   154,     0,   155,   156,     0,     0,     0,
    1085        0,     0,     0,   152,   153,     0,     0,   154,     0,   155,
    1086      156,     0,     0,     0,     0,     0,     0,     0,     0,   152,
    1087      153,     0,     0,   154,     0,   155,   156,     0,     0,     0,
    1088        0,     0,     0,   152,   153,     0,     0,   154,     0,   155,
    1089      156,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1090        0,     0,     0,     0,     0,     0,   157,     0,   158,   159,
    1091      160,   161,     0,   162,     0,     0,   163,   164,     0,     0,
    1092      245,   165,   157,     0,   158,   159,   160,   161,   336,   162,
    1093        0,     0,   163,   164,     0,     0,   157,   165,   158,   159,
    1094      160,   161,     0,   162,     0,     0,   163,   164,     0,     0,
    1095      341,   165,   157,     0,   158,   159,   160,   161,     0,   162,
    1096      342,     0,   163,   164,     0,     0,   157,   165,   158,   159,
    1097      160,   161,     0,   162,     0,     0,   163,   164,   152,   153,
    1098      343,   165,   154,     0,   155,   156,     0,     0,     0,     0,
    1099        0,     0,   152,   153,     0,     0,   154,     0,   155,   156,
    1100        0,     0,     0,     0,     0,     0,     0,     0,   152,   153,
    1101        0,     0,   154,     0,   155,   156,     0,     0,     0,     0,
    1102        0,     0,   152,   153,     0,     0,   154,     0,   155,   156,
    1103        0,     0,     0,     0,     0,     0,   152,   153,     0,     0,
     1121       0,     5,     6,   315,   316,     0,   152,   153,     9,     0,
    11041122     154,     0,   155,   156,     0,     0,     0,     0,     0,     0,
    1105        0,     0,   152,   153,     0,     0,   154,     0,   155,   156,
    1106        0,   157,     0,   158,   159,   160,   161,     0,   162,   344,
    1107        0,   163,   164,     0,     0,   157,   165,   158,   159,   160,
    1108      161,     0,   162,     0,     0,   163,   164,     0,     0,   361,
    1109      165,   157,     0,   158,   159,   160,   161,   362,   162,     0,
    1110        0,   163,   164,     0,     0,   157,   165,   158,   159,   160,
    1111      161,     0,   162,   363,     0,   163,   164,     0,     0,   157,
    1112      165,   158,   159,   160,   161,     0,   162,     0,     0,   163,
    1113      164,     0,     0,   385,   165,   157,     0,   158,   159,   160,
    1114      161,     0,   162,     0,     0,   163,   164,   152,   153,   386,
    1115      165,   154,     0,   155,   156,     0,     0,     0,     0,     0,
    1116        0,     0,     0,   152,   153,     0,     0,   154,     0,   155,
    1117      156,     0,     0,     0,     0,     0,     0,     0,     0,   152,
    1118      153,     0,     0,   154,     0,   155,   156,     0,     0,     0,
    1119        0,     0,     0,     0,     0,   152,   153,     0,     0,   154,
    1120        0,   155,   156,     0,     0,     0,     0,     0,     0,   152,
    1121      153,     0,     0,   154,     0,   155,   156,     0,     0,     0,
     1123     152,     0,     0,     0,   154,     0,     0,   156,     0,     0,
    11221124       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1123      157,     0,   158,   159,   160,   161,     0,   162,     0,     0,
    1124      163,   164,     0,     0,   387,   165,   157,     0,   158,   159,
    1125      160,   161,     0,   162,     0,     0,   163,   164,     0,     0,
    1126      388,   165,   157,     0,   158,   159,   160,   161,     0,   162,
    1127        0,     0,   163,   164,     0,     0,   389,   165,   157,     0,
     1125     317,   318,   319,   320,     0,     0,     0,     0,     0,     0,
     1126       0,     0,     0,     0,     0,     0,     0,     0,     0,   157,
    11281127     158,   159,   160,   161,   390,   162,     0,     0,   163,   164,
    1129        0,     0,   157,   165,   158,   159,   160,   161,     0,   162,
    1130        0,     0,   163,   164,   152,   153,     0,   165,   154,     0,
    1131      155,   156,     0,     0,     0,     0,     0,     0,   152,     0,
    1132        0,     0,   154,     0,     0,   156,     0,     0,     0,     0,
    1133        0,     0,   152,     0,     0,     0,   154,     0,     0,   156,
     1128       0,     0,     0,   165,   157,   158,   159,   160,   161,     0,
     1129     162,     0,     0,   163,   164,     0,     0,     0,   165,   157,
     1130     158,   159,   160,   161,     0,   162,     0,     0,     0,   164,
     1131       0,     0,     0,   165,   158,   159,   160,   161,     0,   162,
     1132       0,     0,     4,   164,     0,     0,     0,   165,     5,     6,
     1133      90,    91,     0,     0,     0,     9,     0,     0,     0,     0,
    11341134       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1135        0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1136        0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1137        0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1138        0,     0,     0,     0,     0,     0,     0,   157,     0,   158,
    1139      159,   160,   161,     0,   162,     0,     0,     0,   164,     0,
    1140        0,   157,   165,   158,   159,   160,   161,     0,   162,     0,
    1141        0,     0,   164,     0,     0,     0,   165,   158,   159,   160,
    1142      161,     0,   162,     0,     0,     4,   164,     0,     0,     0,
    1143      165,     5,     6,    90,    91,     0,     0,     0,     9,     0,
    1144        0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1145        0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1146        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1147       92,    93,    94,    95,     0,     0,     0,     0,     0,     0,
    1148        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1149        4,     0,     0,    40,    41,     0,     5,     6,    90,    91,
    1150        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1151        0,     0,     0,     0,     0,     0,    53,   197,     0,    54,
    1152        0,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    1153       14,    15,    16,    17,    18,    92,    93,    94,    95,     0,
    1154        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1155       32,    33,     0,    35,    36,     4,     0,     0,    40,    41,
    1156        0,     5,     6,    90,    91,     0,    96,     0,     9,     0,
    1157        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1158        0,    53,   200,     0,    54,     0,     0,     0,     0,     0,
    1159        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1160       92,    93,    94,    95,     0,     0,     0,     0,     0,     0,
    1161        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1162        4,     0,     0,    40,    41,     0,     5,     6,   207,   208,
    1163        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1164        0,     0,     0,     0,     0,     0,    53,   203,     0,    54,
    1165        0,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    1166       14,    15,    16,    17,    18,   209,   210,   211,   212,     0,
    1167        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1168       32,    33,     0,    35,    36,     4,     0,     0,    40,    41,
    1169        0,     5,     6,    90,    91,     0,    96,     0,     9,     0,
    1170        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1171        0,    53,   213,     0,    54,     0,     0,     0,     0,     0,
    1172        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1173       92,    93,    94,    95,     0,     0,     0,     0,     0,     0,
    1174        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1175        4,     0,     0,    40,    41,     0,     5,     6,    90,    91,
    1176        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1177        0,     0,     0,     0,     0,     0,    53,   223,     0,    54,
    1178        0,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    1179       14,    15,    16,    17,    18,    92,    93,    94,    95,     0,
    1180        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1181       32,    33,     0,    35,    36,     4,     0,     0,    40,    41,
    1182        0,     5,     6,    90,    91,     0,    96,     0,     9,     0,
    1183        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1184        0,    53,   229,     0,    54,     0,     0,     0,     0,     0,
    1185        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1186       92,    93,    94,    95,     0,     0,     0,     0,     0,     0,
    1187        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1188        4,     0,     0,    40,    41,     0,     5,     6,    90,    91,
    1189        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1190        0,     0,     0,     0,     0,     0,    53,     0,     0,    54,
    1191        0,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    1192       14,    15,    16,    17,    18,    92,    93,    94,    95,     0,
    1193        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1194       32,    33,     0,    35,    36,     4,     0,     0,    40,    41,
    1195        0,     5,     6,    90,    91,     0,    96,     0,     9,     0,
    1196        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1197        0,    99,     0,     0,    54,     0,     0,     0,     0,     0,
    1198        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1199       92,    93,    94,    95,     0,     0,     0,     0,     0,     0,
    1200        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1201        4,     0,     0,    40,    41,     0,     5,     6,    90,    91,
    1202        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1203        0,     0,     0,     0,     0,     0,   112,     0,     0,    54,
    1204        0,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    1205       14,    15,    16,    17,    18,    92,    93,    94,    95,     0,
    1206        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1207       32,    33,     0,    35,    36,     4,     0,     0,    40,    41,
    1208        0,     5,     6,    90,    91,     0,    96,     0,     9,     0,
    1209        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1210        0,   114,     0,     0,    54,     0,     0,     0,     0,     0,
    1211        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1212       92,    93,    94,    95,     0,     0,     0,     0,     0,     0,
    1213        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1214        4,     0,     0,    40,    41,     0,     5,     6,    90,    91,
    1215        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1216        0,     0,     0,     0,     0,     0,   116,     0,     0,    54,
    1217        0,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    1218       14,    15,    16,    17,    18,    92,    93,    94,    95,     0,
    1219        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1220       32,    33,     0,    35,    36,     4,     0,     0,    40,    41,
    1221        0,     5,     6,   138,    91,     0,    96,     0,     9,     0,
    1222        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1223        0,   118,     0,     0,    54,     0,     0,     0,     0,     0,
    1224        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1225       19,    20,    21,    22,     0,     0,     0,     0,     0,     0,
    1226        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1227        4,     0,     0,    40,    41,     0,     5,     6,    90,    91,
    1228        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1229        0,     0,     0,     0,     0,     0,    53,     0,     0,    54,
    1230        0,     0,     0,     0,     0,     0,     0,    11,    12,    13,
    1231       14,    15,    16,    17,    18,    92,    93,    94,    95,     0,
    1232        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1233       32,    33,     0,    35,    36,     4,     0,     0,    40,    41,
    1234        0,     5,     6,    90,    91,     0,    96,     0,     9,     0,
    1235        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1236        0,   174,     0,     0,    54,     0,     0,     0,     0,     0,
    1237        0,     0,    11,    12,    13,    14,    15,    16,    17,    18,
    1238       92,    93,    94,    95,     0,     0,     0,     0,     0,     0,
    1239        0,     0,    30,     0,    31,    32,    33,     0,    35,    36,
    1240        4,     0,     0,    40,    41,     0,     5,     6,    90,    91,
    1241        0,    96,     0,     9,     0,     0,    50,     0,    51,     0,
    1242        0,     0,     0,     0,     0,     0,   187,     0,     0,    54,
    1243        0,     0,     0,     0,     0,     0,     0,   322,    12,    13,
    1244      323,   324,    16,   325,   326,    92,    93,    94,    95,     0,
    1245        0,     0,     0,     0,     0,     0,     0,    30,     0,    31,
    1246       32,    33,     0,    35,    36,     0,     0,     0,    40,    41,
    1247        0,     0,     0,     0,     0,     0,    96,     0,     0,     0,
    1248        0,    50,     0,    51,     0,     0,     0,     0,     0,     0,
    1249        0,    53,     0,     0,    54
     1135       0,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1136      12,    13,    14,    15,    16,    17,    18,    92,    93,    94,
     1137      95,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1138       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1139      40,    41,     0,     5,     6,    90,    91,     0,    96,     0,
     1140       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1141       0,     0,    53,   197,     0,    54,     0,     0,     0,     0,
     1142       0,     0,     0,     0,    11,    12,    13,    14,    15,    16,
     1143      17,    18,    92,    93,    94,    95,     0,     0,     0,     0,
     1144       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1145      35,    36,     4,     0,     0,    40,    41,     0,     5,     6,
     1146      90,    91,     0,    96,     0,     9,     0,    50,     0,    51,
     1147       0,     0,     0,     0,     0,     0,     0,    53,   200,     0,
     1148      54,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1149      12,    13,    14,    15,    16,    17,    18,    92,    93,    94,
     1150      95,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1151       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1152      40,    41,     0,     5,     6,   207,   208,     0,    96,     0,
     1153       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1154       0,     0,    53,   203,     0,    54,     0,     0,     0,     0,
     1155       0,     0,     0,     0,    11,    12,    13,    14,    15,    16,
     1156      17,    18,   209,   210,   211,   212,     0,     0,     0,     0,
     1157       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1158      35,    36,     4,     0,     0,    40,    41,     0,     5,     6,
     1159      90,    91,     0,    96,     0,     9,     0,    50,     0,    51,
     1160       0,     0,     0,     0,     0,     0,     0,    53,   213,     0,
     1161      54,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1162      12,    13,    14,    15,    16,    17,    18,    92,    93,    94,
     1163      95,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1164       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1165      40,    41,     0,     5,     6,    90,    91,     0,    96,     0,
     1166       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1167       0,     0,    53,   223,     0,    54,     0,     0,     0,     0,
     1168       0,     0,     0,     0,    11,    12,    13,    14,    15,    16,
     1169      17,    18,    92,    93,    94,    95,     0,     0,     0,     0,
     1170       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1171      35,    36,     4,     0,     0,    40,    41,     0,     5,     6,
     1172      90,    91,     0,    96,     0,     9,     0,    50,     0,    51,
     1173       0,     0,     0,     0,     0,     0,     0,    53,   229,     0,
     1174      54,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1175      12,    13,    14,    15,    16,    17,    18,    92,    93,    94,
     1176      95,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1177       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1178      40,    41,     0,     5,     6,    90,    91,     0,    96,     0,
     1179       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1180       0,     0,    53,     0,     0,    54,     0,     0,     0,     0,
     1181       0,     0,     0,     0,    11,    12,    13,    14,    15,    16,
     1182      17,    18,    92,    93,    94,    95,     0,     0,     0,     0,
     1183       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1184      35,    36,     4,     0,     0,    40,    41,     0,     5,     6,
     1185      90,    91,     0,    96,     0,     9,     0,    50,     0,    51,
     1186       0,     0,     0,     0,     0,     0,     0,    99,     0,     0,
     1187      54,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1188      12,    13,    14,    15,    16,    17,    18,    92,    93,    94,
     1189      95,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1190       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1191      40,    41,     0,     5,     6,    90,    91,     0,    96,     0,
     1192       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1193       0,     0,   112,     0,     0,    54,     0,     0,     0,     0,
     1194       0,     0,     0,     0,    11,    12,    13,    14,    15,    16,
     1195      17,    18,    92,    93,    94,    95,     0,     0,     0,     0,
     1196       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1197      35,    36,     4,     0,     0,    40,    41,     0,     5,     6,
     1198      90,    91,     0,    96,     0,     9,     0,    50,     0,    51,
     1199       0,     0,     0,     0,     0,     0,     0,   114,     0,     0,
     1200      54,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1201      12,    13,    14,    15,    16,    17,    18,    92,    93,    94,
     1202      95,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1203       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1204      40,    41,     0,     5,     6,    90,    91,     0,    96,     0,
     1205       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1206       0,     0,   116,     0,     0,    54,     0,     0,     0,     0,
     1207       0,     0,     0,     0,    11,    12,    13,    14,    15,    16,
     1208      17,    18,    92,    93,    94,    95,     0,     0,     0,     0,
     1209       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1210      35,    36,     4,     0,     0,    40,    41,     0,     5,     6,
     1211     138,    91,     0,    96,     0,     9,     0,    50,     0,    51,
     1212       0,     0,     0,     0,     0,     0,     0,   118,     0,     0,
     1213      54,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1214      12,    13,    14,    15,    16,    17,    18,    19,    20,    21,
     1215      22,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1216       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1217      40,    41,     0,     5,     6,    90,    91,     0,    96,     0,
     1218       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1219       0,     0,    53,     0,     0,    54,     0,     0,     0,     0,
     1220       0,     0,     0,     0,    11,    12,    13,    14,    15,    16,
     1221      17,    18,    92,    93,    94,    95,     0,     0,     0,     0,
     1222       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1223      35,    36,     4,     0,     0,    40,    41,     0,     5,     6,
     1224      90,    91,     0,    96,     0,     9,     0,    50,     0,    51,
     1225       0,     0,     0,     0,     0,     0,     0,   174,     0,     0,
     1226      54,     0,     0,     0,     0,     0,     0,     0,     0,    11,
     1227      12,    13,    14,    15,    16,    17,    18,    92,    93,    94,
     1228      95,     0,     0,     0,     0,     0,     0,     0,     0,    30,
     1229       0,    31,    32,    33,     0,    35,    36,     4,     0,     0,
     1230      40,    41,     0,     5,     6,    90,    91,     0,    96,     0,
     1231       9,     0,    50,     0,    51,     0,     0,     0,     0,     0,
     1232       0,     0,   187,     0,     0,    54,     0,     0,     0,     0,
     1233       0,     0,     0,     0,   322,    12,    13,   323,   324,    16,
     1234     325,   326,    92,    93,    94,    95,     0,     0,     0,     0,
     1235       0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1236      35,    36,     0,     0,     0,    40,    41,     0,     0,     0,
     1237       0,     0,     0,    96,     0,     0,     0,    50,     0,    51,
     1238       0,     0,     0,     0,     0,     0,     0,    53,     0,     0,
     1239      54
    12501240};
    12511241
    12521242static const yytype_int16 yycheck[] =
    12531243{
    1254        1,     1,    11,     7,    12,    68,     3,     4,    65,    11,
    1255        7,   369,     9,    10,    95,    19,    20,    21,    22,    66,
    1256       85,   253,    26,    24,    99,     7,    73,    99,    10,    94,
    1257        7,   263,    85,    10,   392,    99,    99,     7,    95,    94,
    1258       10,    94,    95,    94,    11,   100,    92,    47,    94,   100,
    1259       51,    94,     4,    94,    11,     7,    94,   100,    66,   100,
    1260       99,    11,   100,    99,   100,    66,    70,    19,    20,    21,
    1261       22,    99,    94,    77,    26,    94,    85,    29,   100,    65,
    1262       66,   100,    91,    99,   100,    94,    95,    65,    66,    86,
    1263       99,    88,    89,    90,    91,    47,    93,    99,    50,    96,
    1264       97,    11,    54,    99,   101,   102,   338,    11,    99,    91,
    1265      111,    63,    64,   114,    91,    99,    93,   118,    70,   101,
    1266       90,    91,   126,    93,   101,    77,   126,    94,    80,   297,
    1267      298,   101,    99,   100,   138,    85,   137,    94,    95,    99,
    1268       94,    11,    99,    99,   148,    95,   100,    99,   149,    99,
    1269       11,   103,   104,   105,   106,   107,   108,   109,   110,    94,
    1270      112,   165,    94,    99,   116,   100,     3,   171,   100,    92,
    1271        7,    94,   176,    10,   126,    85,    65,   129,    99,   100,
    1272      181,    85,   183,   135,    94,    95,   138,    99,   100,    99,
    1273       94,    95,    99,   100,    99,    99,   148,    99,   100,   151,
    1274      152,   153,    66,   155,    99,   157,   158,   159,   160,   161,
    1275      162,   163,   164,   165,    99,   100,    99,   100,    99,   171,
    1276       11,    91,   174,    65,   176,    95,    99,   179,   180,    99,
    1277      182,    65,   184,    94,    95,   187,    99,   100,    99,    99,
    1278      100,     3,     4,    99,   100,     7,    99,     9,    10,   253,
    1279       65,    88,    89,    90,    91,    95,    93,    12,    11,    94,
    1280       97,    99,   100,    99,   101,     3,     4,   219,    99,     7,
    1281       99,     9,    10,    48,    49,    99,    99,    99,    95,    95,
    1282       94,    65,     3,     4,    66,   285,     7,    94,     9,    10,
    1283       66,    94,   244,    66,    85,   247,    65,    94,    66,   251,
    1284       94,   253,   100,    94,    95,   100,   307,   100,    99,    94,
    1285      100,   263,   100,   265,   266,   267,    68,   269,    99,   271,
    1286      272,   100,   100,    85,    86,    91,    88,    89,    90,    91,
    1287      100,    93,    85,    94,    96,    97,   337,   289,   100,   101,
    1288      100,    94,    95,     7,   296,    47,    99,   299,    86,   380,
    1289       88,    89,    90,    91,    -1,    93,    94,   392,    96,    97,
    1290       -1,    -1,   100,   101,   177,    86,    -1,    88,    89,    90,
    1291       91,    -1,    93,    94,    -1,    96,    97,    -1,    -1,   100,
    1292      101,    -1,   383,     0,     1,    -1,   338,    -1,    -1,    -1,
    1293      342,     8,   344,   345,    -1,   347,    -1,    14,    15,    16,
    1294       17,     3,     4,    -1,    21,     7,    -1,     9,    10,    -1,
    1295       -1,   363,   364,    -1,    31,    -1,    -1,     3,     4,    -1,
     1244       1,     1,    11,     7,    65,    12,    68,     3,     4,   369,
     1245      94,     7,    85,     9,    10,    19,    20,    21,    22,    11,
     1246      93,    11,    26,    24,    93,    91,     7,    93,    66,    10,
     1247      99,     7,   392,    94,    10,    73,    98,    85,     7,    65,
     1248      66,    10,    93,    93,   253,    93,    94,    47,    99,    99,
     1249      51,    98,     4,     3,   263,     7,    93,     7,    11,    66,
     1250      10,    91,    99,    93,    98,    66,    70,    19,    20,    21,
     1251      22,    98,    93,    77,    26,    98,    85,    29,    99,    98,
     1252      93,    90,    93,    98,    93,    94,    99,    65,    99,    98,
     1253      86,    87,    88,    89,    90,    47,    92,    94,    50,    95,
     1254      96,    93,    54,    98,   100,   101,    98,    99,    98,    90,
     1255     111,    63,    64,   114,    90,    11,    92,   118,    70,   100,
     1256      89,    90,   126,    92,   100,    77,   126,    93,    80,   338,
     1257      98,   100,    85,    99,   138,    98,   137,    87,    88,    89,
     1258      90,    94,    92,    98,   148,    98,    96,    99,   149,    98,
     1259     100,   103,   104,   105,   106,   107,   108,   109,   110,    93,
     1260     112,   165,    93,    98,   116,    99,    66,   171,    99,     3,
     1261       4,    98,   176,     7,   126,     9,    10,   129,    65,    66,
     1262     181,    11,   183,   135,    98,    99,   138,     3,     4,    85,
     1263      98,     7,    98,     9,    10,    65,   148,    93,    94,   151,
     1264     152,   153,    98,   155,    65,   157,   158,   159,   160,   161,
     1265     162,   163,   164,   165,    98,    99,    98,    11,    65,   171,
     1266      11,    93,   174,    12,   176,    98,    99,   179,   180,    98,
     1267     182,    98,   184,    98,    99,   187,    98,    99,     3,     4,
     1268      98,    99,     7,    98,     9,    10,    98,    99,    98,   253,
     1269      98,    85,    86,    87,    88,    89,    90,    98,    92,    11,
     1270      93,    95,    96,    93,    94,    99,   100,   219,    98,    11,
     1271      86,    87,    88,    89,    90,    11,    92,    93,    65,    95,
     1272      96,    94,     3,    99,   100,   285,     7,    98,    99,    10,
     1273      94,    11,   244,    66,    85,   247,    90,    93,    11,   251,
     1274      94,   253,    93,    94,    98,    66,   307,    98,    98,    99,
     1275      93,   263,    66,   265,   266,   267,    65,   269,    66,   271,
     1276     272,    86,    87,    88,    89,    90,    93,    92,    93,    93,
     1277      95,    96,    90,    85,    99,   100,   337,   289,    98,    99,
     1278      99,    93,    94,    85,   296,    68,    98,   299,    99,    85,
     1279      93,    93,    94,    98,    99,    99,    98,    93,    94,    98,
     1280      99,    99,    98,    48,    49,    86,    87,    88,    89,    90,
     1281      99,    92,    85,    93,    94,    96,   297,   298,    98,   100,
     1282      93,    94,   383,     0,     1,    98,   338,    99,    99,    98,
     1283     342,     8,   344,   345,    99,   347,    93,    14,    15,    16,
     1284      17,    99,     3,     4,    21,     7,     7,    47,     9,    10,
     1285     392,   363,   364,   380,    31,   177,    -1,     3,     4,    -1,
    12961286      -1,     7,    -1,     9,    10,    -1,    -1,    -1,    45,    46,
    12971287      47,    48,    49,    50,    51,    52,    53,    54,    55,    56,
     
    12991289      67,    68,    69,    70,    71,    72,    73,    74,    75,    76,
    13001290      77,    78,    79,    80,    81,    82,    83,    84,    -1,    86,
    1301       -1,    -1,    89,    -1,    91,    11,    -1,    -1,    95,    -1,
    1302       -1,    -1,    99,    -1,    86,   102,    88,    89,    90,    91,
    1303       -1,    93,    94,    -1,    96,    97,    -1,    -1,   100,   101,
    1304       86,    -1,    88,    89,    90,    91,    92,    93,    94,    -1,
    1305       96,    97,     3,     4,    -1,   101,     7,    -1,     9,    10,
    1306       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
    1307       -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1308       -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    85,
    1309        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    94,    95,
    1310        3,     4,    -1,    99,     7,    -1,     9,    10,    -1,    -1,
    1311       -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
    1312        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1313       -1,    -1,    -1,    -1,    -1,    86,    -1,    88,    89,    90,
    1314       91,    -1,    93,    94,    -1,    96,    97,    -1,    -1,   100,
    1315      101,    86,    -1,    88,    89,    90,    91,    -1,    93,    94,
    1316       -1,    96,    97,    -1,    -1,   100,   101,    86,    -1,    88,
    1317       89,    90,    91,    -1,    93,    94,    -1,    96,    97,    -1,
    1318       11,   100,   101,    86,    -1,    88,    89,    90,    91,    -1,
    1319       93,    94,    -1,    96,    97,    -1,    -1,    86,   101,    88,
    1320       89,    90,    91,    -1,    93,    -1,    -1,    96,    97,     3,
    1321        4,   100,   101,     7,    -1,     9,    10,    -1,    -1,    -1,
     1291      -1,    88,    -1,    90,    -1,    -1,    -1,    94,    -1,    -1,
     1292      -1,    98,    -1,    -1,   101,    86,    87,    88,    89,    90,
     1293      -1,    92,    93,    -1,    95,    96,    -1,    -1,    99,   100,
     1294      86,    87,    88,    89,    90,    91,    92,    93,    -1,    95,
     1295      96,     3,     4,    -1,   100,     7,    -1,     9,    10,    -1,
     1296      -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1297       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
     1298      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1299      -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1300       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
     1301      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1302      -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1303       7,    -1,     9,    10,    86,    87,    88,    89,    90,    -1,
     1304      92,    93,    -1,    95,    96,    -1,    -1,    99,   100,    86,
     1305      87,    88,    89,    90,    -1,    92,    93,    -1,    95,    96,
     1306      -1,    -1,    99,   100,    86,    87,    88,    89,    90,    -1,
     1307      92,    93,    -1,    95,    96,    -1,    -1,    99,   100,    86,
     1308      87,    88,    89,    90,    -1,    92,    93,    -1,    95,    96,
     1309      -1,    -1,    -1,   100,    86,    87,    88,    89,    90,    -1,
     1310      92,    -1,    -1,    95,    96,    -1,    -1,    99,   100,    86,
     1311      87,    88,    89,    90,    -1,    92,    -1,    -1,    95,    96,
     1312       3,     4,    99,   100,     7,    -1,     9,    10,    -1,    -1,
    13221313      -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    13231314      -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1315       3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
     1316      -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
     1317      -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1318       3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
     1319      -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
     1320      -1,     9,    10,    86,    87,    88,    89,    90,    -1,    92,
     1321      -1,    -1,    95,    96,    -1,    -1,    99,   100,    86,    87,
     1322      88,    89,    90,    -1,    92,    93,    -1,    95,    96,    -1,
     1323      -1,    -1,   100,    86,    87,    88,    89,    90,    -1,    92,
     1324      93,    -1,    95,    96,    -1,    -1,    -1,   100,    86,    87,
     1325      88,    89,    90,    -1,    92,    93,    -1,    95,    96,    -1,
     1326      -1,    -1,   100,    86,    87,    88,    89,    90,    -1,    92,
     1327      -1,    -1,    95,    96,    -1,    -1,    99,   100,    86,    87,
     1328      88,    89,    90,    -1,    92,    -1,    -1,    95,    96,     3,
     1329       4,    99,   100,     7,    -1,     9,    10,    -1,    -1,    -1,
     1330      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1331       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,
     1332       4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
     1333      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1334       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,
     1335       4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
     1336      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1337       9,    10,    86,    87,    88,    89,    90,    -1,    92,    93,
     1338      -1,    95,    96,    -1,    -1,    -1,   100,    86,    87,    88,
     1339      89,    90,    -1,    92,    -1,    -1,    95,    96,    -1,    -1,
     1340      99,   100,    86,    87,    88,    89,    90,    -1,    92,    93,
     1341      -1,    95,    96,    -1,    -1,    -1,   100,    86,    87,    88,
     1342      89,    90,    -1,    92,    -1,    -1,    95,    96,    -1,    -1,
     1343      99,   100,    86,    87,    88,    89,    90,    -1,    92,    -1,
     1344      -1,    95,    96,    -1,    -1,    99,   100,    86,    87,    88,
     1345      89,    90,    91,    92,    -1,    -1,    95,    96,     3,     4,
     1346      -1,   100,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1347      -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
     1348      10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
     1349      -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1350      -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
     1351      10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
     1352      -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1353      -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
     1354      10,    86,    87,    88,    89,    90,    -1,    92,    -1,    -1,
     1355      95,    96,    -1,    -1,    99,   100,    86,    87,    88,    89,
     1356      90,    -1,    92,    93,    -1,    95,    96,    -1,    -1,    -1,
     1357     100,    86,    87,    88,    89,    90,    -1,    92,    -1,    -1,
     1358      95,    96,    -1,    -1,    99,   100,    86,    87,    88,    89,
     1359      90,    -1,    92,    93,    -1,    95,    96,    -1,    -1,    -1,
     1360     100,    86,    87,    88,    89,    90,    -1,    92,    -1,    -1,
     1361      95,    96,    -1,    -1,    99,   100,    86,    87,    88,    89,
     1362      90,    91,    92,    -1,    -1,    95,    96,     3,     4,    -1,
     1363     100,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
     1364      -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1365      -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,
     1366      -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
     1367      -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1368      -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,
     1369      -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
     1370      -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1371      86,    87,    88,    89,    90,    -1,    92,    93,    -1,    95,
     1372      96,    -1,    -1,    -1,   100,    86,    87,    88,    89,    90,
     1373      -1,    92,    -1,    -1,    95,    96,    -1,    -1,    99,   100,
     1374      86,    87,    88,    89,    90,    -1,    92,    -1,    -1,    95,
     1375      96,    -1,    -1,    99,   100,    86,    87,    88,    89,    90,
     1376      -1,    92,    -1,    -1,    95,    96,    -1,    -1,    99,   100,
     1377      86,    87,    88,    89,    90,    -1,    92,    -1,    -1,    95,
     1378      96,    -1,    -1,    99,   100,    86,    87,    88,    89,    90,
     1379      -1,    92,    -1,    -1,    95,    96,     3,     4,    99,   100,
     1380       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
    13241381      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    1325       -1,    -1,    -1,    -1,    85,     3,     4,    -1,    -1,     7,
    1326       -1,     9,    10,    94,    95,    -1,    -1,    -1,    99,     3,
    1327        4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
    1328       -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    1329       10,    -1,    86,    -1,    88,    89,    90,    91,    -1,    93,
    1330       -1,    -1,    96,    97,    -1,    -1,   100,   101,    86,    -1,
    1331       88,    89,    90,    91,    -1,    93,    -1,    -1,    96,    97,
    1332       -1,    -1,   100,   101,    86,    -1,    88,    89,    90,    91,
    1333       -1,    93,    94,    -1,    96,    97,    -1,    -1,    86,   101,
    1334       88,    89,    90,    91,    -1,    93,    94,    -1,    96,    97,
    1335       -1,    -1,    86,   101,    88,    89,    90,    91,    -1,    93,
    1336       94,    -1,    96,    97,    -1,    -1,    86,   101,    88,    89,
    1337       90,    91,    -1,    93,    -1,    -1,    96,    97,     3,     4,
    1338      100,   101,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1339       -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
    1340        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
    1341       -1,    -1,     7,    -1,     9,    10,    14,    15,    16,    17,
    1342       -1,    -1,    -1,    21,     3,     4,    -1,    -1,     7,    -1,
    1343        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
    1344       -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1345       -1,    -1,    -1,    -1,    -1,    53,    54,    55,    56,    -1,
    1346       -1,    86,    -1,    88,    89,    90,    91,    -1,    93,    -1,
    1347       -1,    96,    97,    -1,    -1,   100,   101,    86,    -1,    88,
    1348       89,    90,    91,    -1,    93,    94,    -1,    96,    97,    -1,
    1349       -1,    86,   101,    88,    89,    90,    91,    -1,    93,    -1,
    1350       -1,    96,    97,    -1,    -1,   100,   101,    86,    -1,    88,
    1351       89,    90,    91,    -1,    93,    94,    -1,    96,    97,    -1,
    1352       -1,    86,   101,    88,    89,    90,    91,    -1,    93,    -1,
    1353       -1,    96,    97,     3,     4,   100,   101,     7,    -1,     9,
    1354       10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,
    1355        4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
    1356       -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    1357       10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,
    1358        4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
    1359       -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    1360       10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1361       -1,    -1,    -1,    -1,    -1,    -1,    86,    -1,    88,    89,
    1362       90,    91,    -1,    93,    -1,    -1,    96,    97,    -1,    -1,
    1363      100,   101,    86,    -1,    88,    89,    90,    91,    92,    93,
    1364       -1,    -1,    96,    97,    -1,    -1,    86,   101,    88,    89,
    1365       90,    91,    -1,    93,    -1,    -1,    96,    97,    -1,    -1,
    1366      100,   101,    86,    -1,    88,    89,    90,    91,    -1,    93,
    1367       94,    -1,    96,    97,    -1,    -1,    86,   101,    88,    89,
    1368       90,    91,    -1,    93,    -1,    -1,    96,    97,     3,     4,
    1369      100,   101,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1370       -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    1371       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
    1372       -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1373       -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    1374       -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1382      -1,    14,    15,    16,    17,    -1,     3,     4,    21,    -1,
    13751383       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
    1376       -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    1377       -1,    86,    -1,    88,    89,    90,    91,    -1,    93,    94,
    1378       -1,    96,    97,    -1,    -1,    86,   101,    88,    89,    90,
    1379       91,    -1,    93,    -1,    -1,    96,    97,    -1,    -1,   100,
    1380      101,    86,    -1,    88,    89,    90,    91,    92,    93,    -1,
    1381       -1,    96,    97,    -1,    -1,    86,   101,    88,    89,    90,
    1382       91,    -1,    93,    94,    -1,    96,    97,    -1,    -1,    86,
    1383      101,    88,    89,    90,    91,    -1,    93,    -1,    -1,    96,
    1384       97,    -1,    -1,   100,   101,    86,    -1,    88,    89,    90,
    1385       91,    -1,    93,    -1,    -1,    96,    97,     3,     4,   100,
    1386      101,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,
    1387       -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    1388       10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,
    1389        4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
    1390       -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    1391       -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,
    1392        4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
     1384       3,    -1,    -1,    -1,     7,    -1,    -1,    10,    -1,    -1,
    13931385      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1394       86,    -1,    88,    89,    90,    91,    -1,    93,    -1,    -1,
    1395       96,    97,    -1,    -1,   100,   101,    86,    -1,    88,    89,
    1396       90,    91,    -1,    93,    -1,    -1,    96,    97,    -1,    -1,
    1397      100,   101,    86,    -1,    88,    89,    90,    91,    -1,    93,
    1398       -1,    -1,    96,    97,    -1,    -1,   100,   101,    86,    -1,
    1399       88,    89,    90,    91,    92,    93,    -1,    -1,    96,    97,
    1400       -1,    -1,    86,   101,    88,    89,    90,    91,    -1,    93,
    1401       -1,    -1,    96,    97,     3,     4,    -1,   101,     7,    -1,
    1402        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,    -1,
    1403       -1,    -1,     7,    -1,    -1,    10,    -1,    -1,    -1,    -1,
    1404       -1,    -1,     3,    -1,    -1,    -1,     7,    -1,    -1,    10,
     1386      53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
     1387      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    86,
     1388      87,    88,    89,    90,    91,    92,    -1,    -1,    95,    96,
     1389      -1,    -1,    -1,   100,    86,    87,    88,    89,    90,    -1,
     1390      92,    -1,    -1,    95,    96,    -1,    -1,    -1,   100,    86,
     1391      87,    88,    89,    90,    -1,    92,    -1,    -1,    -1,    96,
     1392      -1,    -1,    -1,   100,    87,    88,    89,    90,    -1,    92,
     1393      -1,    -1,     8,    96,    -1,    -1,    -1,   100,    14,    15,
     1394      16,    17,    -1,    -1,    -1,    21,    -1,    -1,    -1,    -1,
    14051395      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1406       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1407       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1408       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1409       -1,    -1,    -1,    -1,    -1,    -1,    -1,    86,    -1,    88,
    1410       89,    90,    91,    -1,    93,    -1,    -1,    -1,    97,    -1,
    1411       -1,    86,   101,    88,    89,    90,    91,    -1,    93,    -1,
    1412       -1,    -1,    97,    -1,    -1,    -1,   101,    88,    89,    90,
    1413       91,    -1,    93,    -1,    -1,     8,    97,    -1,    -1,    -1,
    1414      101,    14,    15,    16,    17,    -1,    -1,    -1,    21,    -1,
    1415       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1416       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1417       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1418       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1419       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1420        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1421       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1422       -1,    -1,    -1,    -1,    -1,    -1,    99,   100,    -1,   102,
    1423       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1424       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1425       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1426       68,    69,    -1,    71,    72,     8,    -1,    -1,    76,    77,
    1427       -1,    14,    15,    16,    17,    -1,    84,    -1,    21,    -1,
    1428       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1429       -1,    99,   100,    -1,   102,    -1,    -1,    -1,    -1,    -1,
    1430       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1431       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1432       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1433        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1434       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1435       -1,    -1,    -1,    -1,    -1,    -1,    99,   100,    -1,   102,
    1436       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1437       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1438       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1439       68,    69,    -1,    71,    72,     8,    -1,    -1,    76,    77,
    1440       -1,    14,    15,    16,    17,    -1,    84,    -1,    21,    -1,
    1441       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1442       -1,    99,   100,    -1,   102,    -1,    -1,    -1,    -1,    -1,
    1443       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1444       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1445       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1446        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1447       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1448       -1,    -1,    -1,    -1,    -1,    -1,    99,   100,    -1,   102,
    1449       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1450       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1451       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1452       68,    69,    -1,    71,    72,     8,    -1,    -1,    76,    77,
    1453       -1,    14,    15,    16,    17,    -1,    84,    -1,    21,    -1,
    1454       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1455       -1,    99,   100,    -1,   102,    -1,    -1,    -1,    -1,    -1,
    1456       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1457       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1458       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1459        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1460       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1461       -1,    -1,    -1,    -1,    -1,    -1,    99,    -1,    -1,   102,
    1462       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1463       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1464       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1465       68,    69,    -1,    71,    72,     8,    -1,    -1,    76,    77,
    1466       -1,    14,    15,    16,    17,    -1,    84,    -1,    21,    -1,
    1467       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1468       -1,    99,    -1,    -1,   102,    -1,    -1,    -1,    -1,    -1,
    1469       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1470       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1471       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1472        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1473       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1474       -1,    -1,    -1,    -1,    -1,    -1,    99,    -1,    -1,   102,
    1475       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1476       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1477       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1478       68,    69,    -1,    71,    72,     8,    -1,    -1,    76,    77,
    1479       -1,    14,    15,    16,    17,    -1,    84,    -1,    21,    -1,
    1480       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1481       -1,    99,    -1,    -1,   102,    -1,    -1,    -1,    -1,    -1,
    1482       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1483       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1484       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1485        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1486       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1487       -1,    -1,    -1,    -1,    -1,    -1,    99,    -1,    -1,   102,
    1488       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1489       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1490       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1491       68,    69,    -1,    71,    72,     8,    -1,    -1,    76,    77,
    1492       -1,    14,    15,    16,    17,    -1,    84,    -1,    21,    -1,
    1493       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1494       -1,    99,    -1,    -1,   102,    -1,    -1,    -1,    -1,    -1,
    1495       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1496       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1497       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1498        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1499       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1500       -1,    -1,    -1,    -1,    -1,    -1,    99,    -1,    -1,   102,
    1501       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1502       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1503       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1504       68,    69,    -1,    71,    72,     8,    -1,    -1,    76,    77,
    1505       -1,    14,    15,    16,    17,    -1,    84,    -1,    21,    -1,
    1506       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1507       -1,    99,    -1,    -1,   102,    -1,    -1,    -1,    -1,    -1,
    1508       -1,    -1,    45,    46,    47,    48,    49,    50,    51,    52,
    1509       53,    54,    55,    56,    -1,    -1,    -1,    -1,    -1,    -1,
    1510       -1,    -1,    65,    -1,    67,    68,    69,    -1,    71,    72,
    1511        8,    -1,    -1,    76,    77,    -1,    14,    15,    16,    17,
    1512       -1,    84,    -1,    21,    -1,    -1,    89,    -1,    91,    -1,
    1513       -1,    -1,    -1,    -1,    -1,    -1,    99,    -1,    -1,   102,
    1514       -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,    46,    47,
    1515       48,    49,    50,    51,    52,    53,    54,    55,    56,    -1,
    1516       -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,    -1,    67,
    1517       68,    69,    -1,    71,    72,    -1,    -1,    -1,    76,    77,
    1518       -1,    -1,    -1,    -1,    -1,    -1,    84,    -1,    -1,    -1,
    1519       -1,    89,    -1,    91,    -1,    -1,    -1,    -1,    -1,    -1,
    1520       -1,    99,    -1,    -1,   102
     1396      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1397      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1398      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1399      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1400      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1401      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1402      -1,    -1,    98,    99,    -1,   101,    -1,    -1,    -1,    -1,
     1403      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1404      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1405      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1406      71,    72,     8,    -1,    -1,    76,    77,    -1,    14,    15,
     1407      16,    17,    -1,    84,    -1,    21,    -1,    88,    -1,    90,
     1408      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    99,    -1,
     1409     101,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1410      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1411      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1412      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1413      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1414      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1415      -1,    -1,    98,    99,    -1,   101,    -1,    -1,    -1,    -1,
     1416      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1417      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1418      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1419      71,    72,     8,    -1,    -1,    76,    77,    -1,    14,    15,
     1420      16,    17,    -1,    84,    -1,    21,    -1,    88,    -1,    90,
     1421      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    99,    -1,
     1422     101,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1423      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1424      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1425      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1426      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1427      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1428      -1,    -1,    98,    99,    -1,   101,    -1,    -1,    -1,    -1,
     1429      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1430      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1431      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1432      71,    72,     8,    -1,    -1,    76,    77,    -1,    14,    15,
     1433      16,    17,    -1,    84,    -1,    21,    -1,    88,    -1,    90,
     1434      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    99,    -1,
     1435     101,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1436      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1437      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1438      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1439      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1440      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1441      -1,    -1,    98,    -1,    -1,   101,    -1,    -1,    -1,    -1,
     1442      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1443      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1444      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1445      71,    72,     8,    -1,    -1,    76,    77,    -1,    14,    15,
     1446      16,    17,    -1,    84,    -1,    21,    -1,    88,    -1,    90,
     1447      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    -1,    -1,
     1448     101,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1449      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1450      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1451      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1452      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1453      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1454      -1,    -1,    98,    -1,    -1,   101,    -1,    -1,    -1,    -1,
     1455      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1456      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1457      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1458      71,    72,     8,    -1,    -1,    76,    77,    -1,    14,    15,
     1459      16,    17,    -1,    84,    -1,    21,    -1,    88,    -1,    90,
     1460      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    -1,    -1,
     1461     101,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1462      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1463      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1464      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1465      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1466      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1467      -1,    -1,    98,    -1,    -1,   101,    -1,    -1,    -1,    -1,
     1468      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1469      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1470      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1471      71,    72,     8,    -1,    -1,    76,    77,    -1,    14,    15,
     1472      16,    17,    -1,    84,    -1,    21,    -1,    88,    -1,    90,
     1473      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    -1,    -1,
     1474     101,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1475      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1476      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1477      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1478      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1479      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1480      -1,    -1,    98,    -1,    -1,   101,    -1,    -1,    -1,    -1,
     1481      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1482      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1483      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1484      71,    72,     8,    -1,    -1,    76,    77,    -1,    14,    15,
     1485      16,    17,    -1,    84,    -1,    21,    -1,    88,    -1,    90,
     1486      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    -1,    -1,
     1487     101,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    45,
     1488      46,    47,    48,    49,    50,    51,    52,    53,    54,    55,
     1489      56,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    65,
     1490      -1,    67,    68,    69,    -1,    71,    72,     8,    -1,    -1,
     1491      76,    77,    -1,    14,    15,    16,    17,    -1,    84,    -1,
     1492      21,    -1,    88,    -1,    90,    -1,    -1,    -1,    -1,    -1,
     1493      -1,    -1,    98,    -1,    -1,   101,    -1,    -1,    -1,    -1,
     1494      -1,    -1,    -1,    -1,    45,    46,    47,    48,    49,    50,
     1495      51,    52,    53,    54,    55,    56,    -1,    -1,    -1,    -1,
     1496      -1,    -1,    -1,    -1,    65,    -1,    67,    68,    69,    -1,
     1497      71,    72,    -1,    -1,    -1,    76,    77,    -1,    -1,    -1,
     1498      -1,    -1,    -1,    84,    -1,    -1,    -1,    88,    -1,    90,
     1499      -1,    -1,    -1,    -1,    -1,    -1,    -1,    98,    -1,    -1,
     1500     101
    15211501};
    15221502
     
    15251505static const yytype_uint8 yystos[] =
    15261506{
    1527        0,   104,     0,     1,     8,    14,    15,    16,    17,    21,
     1507       0,   103,     0,     1,     8,    14,    15,    16,    17,    21,
    15281508      31,    45,    46,    47,    48,    49,    50,    51,    52,    53,
    15291509      54,    55,    56,    57,    58,    59,    60,    62,    63,    64,
    15301510      65,    67,    68,    69,    70,    71,    72,    73,    74,    75,
    15311511      76,    77,    78,    79,    80,    81,    82,    83,    84,    86,
    1532       89,    91,    95,    99,   102,   105,   106,   107,   108,   109,
    1533      110,   111,   112,   114,   115,   117,   118,   119,   120,   121,
    1534      128,   129,   130,   131,   132,   133,   134,   135,   136,   137,
    1535      138,   139,   140,   141,   142,   143,   144,   145,   146,    95,
    1536       16,    17,    53,    54,    55,    56,    84,   112,   128,    99,
    1537      110,   112,   119,    99,    99,    99,    99,    99,    99,    99,
    1538       99,    99,    99,   110,    99,   110,    99,   110,    99,   110,
    1539       65,    66,   111,    65,    95,   110,    99,   112,    65,    99,
    1540       99,    66,    99,    99,    65,    99,    65,    99,    16,   112,
    1541      120,   121,   121,   112,   111,   111,   112,    95,    11,    99,
    1542       85,    94,     3,     4,     7,     9,    10,    86,    88,    89,
    1543       90,    91,    93,    96,    97,   101,   112,   112,   111,    12,
    1544       85,    94,    95,   127,    99,   110,    94,   110,   112,    99,
    1545       99,    99,    99,    99,    99,   112,    66,    99,   112,   122,
    1546      112,   112,   112,   112,   112,   112,   112,   100,   111,   112,
    1547      100,   111,   112,   100,   111,    95,    95,    16,    17,    53,
    1548       54,    55,    56,   100,   110,   128,    65,    66,   112,   113,
    1549       65,   112,    66,   100,   111,    92,   100,   102,   110,   100,
    1550      111,   112,   112,   112,   112,   112,   112,   112,   112,   112,
    1551      112,   112,   112,   110,    85,   100,   116,    94,    66,   110,
    1552      112,    91,   110,   127,   112,   112,   111,   112,   111,   112,
    1553      100,   112,   100,    94,   100,    94,    94,    94,   100,    94,
    1554      100,    94,    94,   100,   100,   100,   100,   100,   100,   100,
    1555      100,   100,   100,   100,   100,    94,   100,   100,    66,    94,
    1556      112,    65,   100,   100,   100,    92,    94,   112,   112,    94,
    1557      100,   112,   110,   112,   122,   100,   100,    94,   122,   112,
    1558      112,   112,   112,   112,   112,    16,    17,    53,    54,    55,
    1559       56,   128,    45,    48,    49,    51,    52,   112,   100,    66,
    1560       66,    73,   112,   116,   116,   112,    92,    91,    94,   111,
    1561       94,   100,    94,   100,    94,    94,   100,    94,   100,   100,
    1562      100,   100,   100,   100,   100,   100,   100,   100,   100,   100,
    1563      100,   100,    92,    94,    91,   111,   122,   100,    68,    99,
    1564      123,   124,   126,   112,   112,   112,   112,   112,   112,    92,
    1565       94,   124,   125,    99,   100,   100,   100,   100,   100,   100,
    1566       92,   126,    94,   100,   111,   125,   100
     1512      88,    90,    94,    98,   101,   104,   105,   106,   107,   108,
     1513     109,   110,   111,   113,   114,   116,   117,   118,   119,   120,
     1514     127,   128,   129,   130,   131,   132,   133,   134,   135,   136,
     1515     137,   138,   139,   140,   141,   142,   143,   144,   145,    94,
     1516      16,    17,    53,    54,    55,    56,    84,   111,   127,    98,
     1517     109,   111,   118,    98,    98,    98,    98,    98,    98,    98,
     1518      98,    98,    98,   109,    98,   109,    98,   109,    98,   109,
     1519      65,    66,   110,    65,    94,   109,    98,   111,    65,    98,
     1520      98,    66,    98,    98,    65,    98,    65,    98,    16,   111,
     1521     119,   120,   120,   111,   110,   110,   111,    94,    11,    98,
     1522      85,    93,     3,     4,     7,     9,    10,    86,    87,    88,
     1523      89,    90,    92,    95,    96,   100,   111,   111,   110,    12,
     1524      85,    93,    94,   126,    98,   109,    93,   109,   111,    98,
     1525      98,    98,    98,    98,    98,   111,    66,    98,   111,   121,
     1526     111,   111,   111,   111,   111,   111,   111,    99,   110,   111,
     1527      99,   110,   111,    99,   110,    94,    94,    16,    17,    53,
     1528      54,    55,    56,    99,   109,   127,    65,    66,   111,   112,
     1529      65,   111,    66,    99,   110,    91,    99,   101,   109,    99,
     1530     110,   111,   111,   111,   111,   111,   111,   111,   111,   111,
     1531     111,   111,   111,   109,    85,    99,   115,    93,    66,   109,
     1532     111,    90,   109,   126,   111,   111,   110,   111,   110,   111,
     1533      99,   111,    99,    93,    99,    93,    93,    93,    99,    93,
     1534      99,    93,    93,    99,    99,    99,    99,    99,    99,    99,
     1535      99,    99,    99,    99,    99,    93,    99,    99,    66,    93,
     1536     111,    65,    99,    99,    99,    91,    93,   111,   111,    93,
     1537      99,   111,   109,   111,   121,    99,    99,    93,   121,   111,
     1538     111,   111,   111,   111,   111,    16,    17,    53,    54,    55,
     1539      56,   127,    45,    48,    49,    51,    52,   111,    99,    66,
     1540      66,    73,   111,   115,   115,   111,    91,    90,    93,   110,
     1541      93,    99,    93,    99,    93,    93,    99,    93,    99,    99,
     1542      99,    99,    99,    99,    99,    99,    99,    99,    99,    99,
     1543      99,    99,    91,    93,    90,   110,   121,    99,    68,    98,
     1544     122,   123,   125,   111,   111,   111,   111,   111,   111,    91,
     1545      93,   123,   124,    98,    99,    99,    99,    99,    99,    99,
     1546      91,   125,    93,    99,   110,   124,    99
    15671547};
    15681548
     
    31863166/* Line 1464 of yacc.c  */
    31873167#line 803 "grammar.y"
    3188     {
     3168    { /* also for *,% */
    31893169            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),(yyvsp[(2) - (3)].i),&(yyvsp[(3) - (3)].lv))) YYERROR;
    31903170          ;}
     
    32043184/* Line 1464 of yacc.c  */
    32053185#line 811 "grammar.y"
    3206     {
     3186    { /* also for > */
    32073187            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),(yyvsp[(2) - (3)].i),&(yyvsp[(3) - (3)].lv))) YYERROR;
    32083188          ;}
     
    32133193/* Line 1464 of yacc.c  */
    32143194#line 815 "grammar.y"
    3215     {
     3195    { /* also for |*/
    32163196            if(iiExprArith2(&(yyval.lv),&(yyvsp[(1) - (3)].lv),(yyvsp[(2) - (3)].i),&(yyvsp[(3) - (3)].lv))) YYERROR;
    32173197          ;}
     
    42834263
    42844264/* Line 1464 of yacc.c  */
    4285 #line 4284 "grammar.cc"
     4265#line 4264 "grammar.cc"
    42864266      default: break;
    42874267    }
Note: See TracChangeset for help on using the changeset viewer.