Changeset 971e31 in git


Ignore:
Timestamp:
Jan 17, 2011, 2:52:53 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
54667770cf90dd8ee3b56fbe6b4116e50118c921
Parents:
4eaf9ab42bdd363dc0bb5bf15496ec95769a34be
Message:
fix tr.307

git-svn-id: file:///usr/local/Singular/svn/trunk@13791 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • Singular/grammar.cc

    r4eaf9ab r971e31  
    743743#define YYFINAL  2
    744744/* YYLAST -- Last index in YYTABLE.  */
    745 #define YYLAST   1799
     745#define YYLAST   2500
    746746
    747747/* YYNTOKENS -- Number of terminals.  */
     
    752752#define YYNRULES  167
    753753/* YYNRULES -- Number of states.  */
    754 #define YYNSTATES  369
     754#define YYNSTATES  384
    755755
    756756/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX.  */
     
    839839      -1,   187,    -1,   178,    -1,   179,    -1,   181,    -1,   182,
    840840      -1,   159,   153,    -1,   113,    -1,   160,    -1,   152,    11,
    841      152,    -1,   152,   142,   143,    -1,   152,   142,   153,   143,
     841     152,    -1,   154,   142,   143,    -1,   154,   142,   153,   143,
    842842      -1,   133,   153,   134,    -1,   111,    -1,   126,    -1,   163,
    843843      -1,   153,   136,   154,    -1,   154,    -1,   158,    -1,   152,
     
    10471047      18,    21,    22,    23,     0,    25,    26,     0,    27,    28,
    10481048      11,    12,    14,    15,    24,     7,    10,     0,     0,     0,
    1049        0,     0,     0,    37,    90,     0,     0,   105,   107,    31,
    1050        0,     0,   103,     0,     0,     0,     0,     0,     0,     0,
    1051        0,     0,    98,     0,    99,     0,   100,     0,    19,   124,
    1052        0,   122,   125,     0,   152,     0,   155,    74,    76,     0,
    1053        0,     0,     0,     0,   165,   164,   148,   119,    91,     0,
    1054        0,     0,     5,     0,     0,    93,     0,     0,     0,    79,
     1049       0,     0,     0,    37,    90,     0,     0,    42,     0,    42,
     1050      31,     0,     0,    42,     0,     0,     0,     0,     0,     0,
     1051       0,     0,     0,    42,     0,    42,     0,    42,     0,    19,
     1052     124,     0,   122,    42,     0,   152,     0,   155,    74,    76,
     1053       0,     0,     0,     0,     0,   165,   164,   148,   119,    91,
     1054       0,     0,     0,     5,     0,    93,     0,     0,     0,    79,
    10551055       0,    78,     0,     0,     0,     0,     0,     0,     0,     0,
    1056        0,    29,     0,   101,   118,     0,     6,    92,     0,   147,
    1057      151,     0,     0,   161,     0,   109,     0,     0,     0,     0,
    1058        0,     0,     0,     0,     0,     0,    64,     0,     0,    48,
    1059        0,     0,   123,   121,     0,     0,     0,     0,     0,     0,
    1060        0,   144,     0,     0,     0,   162,     0,     0,     0,   159,
    1061      167,     0,     0,    35,    43,    95,    32,    33,     0,    39,
    1062       88,    87,    86,    84,    80,    81,    82,     0,    83,    85,
    1063       89,     0,    77,    72,    51,     0,   106,   126,     0,     0,
    1064       69,     0,    40,    71,     0,     0,    67,     0,    52,     0,
    1065        0,     0,    57,     0,    58,     0,     0,    60,    65,    46,
    1066       47,    49,   133,   134,   131,   132,   127,   128,   129,     0,
    1067      135,   130,   163,     0,     0,     0,   166,   120,    34,    45,
    1068        0,     0,    50,   109,     0,     0,     0,     0,     0,     0,
     1056       0,     0,    29,     0,    42,   118,     0,     6,    92,     0,
     1057      42,   151,     0,     0,     0,     0,     0,     0,     0,     0,
     1058     161,     0,   109,     0,     0,     0,     0,     0,     0,     0,
     1059       0,     0,     0,    64,     0,    40,    48,     0,    40,   123,
     1060     121,     0,     0,     0,     0,     0,     0,     0,   144,    42,
     1061       0,     0,   162,     0,     0,     0,   159,   167,     0,     0,
     1062      35,    43,    95,    32,    39,    88,    87,    86,    84,    80,
     1063      81,    82,     0,    83,    85,    89,    33,     0,     0,    77,
     1064      72,    51,     0,    42,    42,     0,     0,     0,     0,     0,
     1065       0,     0,     0,    69,     0,    40,    71,     0,     0,    67,
     1066       0,    52,     0,     0,     0,    57,     0,    58,     0,     0,
     1067      60,    65,    46,    43,    49,   133,   134,   131,   132,   127,
     1068     128,   129,     0,   135,   130,   163,     0,     0,     0,   166,
     1069     120,    45,     0,    34,     0,    43,   109,     0,    47,    50,
    10691070       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1070        0,     0,     0,     0,     0,    75,   160,   154,   156,     0,
    1071       73,     0,     0,     0,     0,     0,     0,     0,    53,     0,
    1072       59,     0,     0,    55,     0,    61,   142,   143,   140,   141,
    1073      136,   137,   138,   139,    44,     0,     0,     0,   110,   111,
    1074        0,   112,   116,     0,     0,     0,     0,     0,     0,     0,
    1075        0,    68,   104,   114,     0,     0,    70,    66,   102,    54,
    1076       62,    56,    63,   146,     0,   117,     0,   115,   113
     1071       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1072      75,   160,   154,   156,     0,    73,     0,     0,     0,     0,
     1073       0,     0,     0,    53,     0,    59,     0,     0,    55,     0,
     1074      61,   142,   143,   140,   141,   136,   137,   138,   139,    44,
     1075       0,     0,     0,   110,   111,     0,   112,   116,     0,     0,
     1076       0,     0,     0,     0,     0,     0,    68,   104,   114,     0,
     1077       0,    70,    66,   102,    54,    62,    56,    63,   146,     0,
     1078     117,     0,   115,   113
    10771079};
    10781080
     
    10801082static const yytype_int16 yydefgoto[] =
    10811083{
    1082       -1,     1,    53,    54,    55,    56,    57,    58,   140,    60,
    1083      206,    61,   233,    62,    63,    64,    95,    66,    67,   176,
    1084      341,   342,   354,   343,   167,    68,   212,    69,    70,    71,
     1084      -1,     1,    53,    54,    55,    56,    57,    58,   141,    60,
     1085     213,    61,   240,    62,    63,    64,    95,    66,    67,   183,
     1086     356,   357,   369,   358,   168,    68,   219,    69,    70,    71,
    10851087      72,    73,    74,    75,    76,    77,    78,    79,    80,    81,
    10861088      82,    83,    84,    85
     
    10891091/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
    10901092   STATE-NUM.  */
    1091 #define YYPACT_NINF -335
     1093#define YYPACT_NINF -345
    10921094static const yytype_int16 yypact[] =
    10931095{
    1094     -335,   277,  -335,  -120,  1242,   891,   215,  -110,  -335,   946,
    1095     -335,  -335,   -78,   -65,   -56,   -53,   -50,   -40,   -36,   -35,
    1096     1006,  1061,  1121,   -27,  1242,  -102,   215,   -29,  -335,  1242,
    1097     -335,  -335,  -335,  -335,    -6,  -335,  -335,   -37,   -22,    -2,
    1098       37,     5,  -335,    42,    11,   897,    58,    58,  1242,  1242,
    1099     -335,  1242,  1242,  -335,  -335,  -335,    63,  -335,    -7,  -115,
    1100     1612,  1242,  -335,  1242,  -335,  1176,   -81,  -335,  -335,  -335,
    1101     -335,  -335,   -21,  -335,   215,  -335,  -335,  1242,  -335,  -335,
    1102     -335,  -335,  -335,  -335,  -335,  -335,  -335,    49,  -110,    65,
    1103       66,    70,    74,  -335,    78,    79,  1242,    16,    -7,    69,
    1104     1297,  1242,    27,  1242,  1242,  1242,  1242,  1242,  1242,  1242,
    1105      952,  1242,    -7,  1012,    -7,  1242,    -7,    68,  -335,    91,
    1106       98,  -335,    -7,  1655,  1612,   -11,  -335,  -335,  -335,   119,
    1107     1242,   128,  1067,   215,  1612,   106,  -335,  -335,    78,   -69,
    1108     -125,     6,  -335,   215,  1127,  -335,  1242,  1242,  1242,  -335,
    1109     1242,  -335,  1242,  1242,  1242,  1242,  1242,  1242,  1242,  1242,
    1110       71,    91,  1182,    -7,  -335,   215,  -335,  -335,   215,   -10,
    1111     1612,    50,  1242,  -335,  1242,   408,   107,    87,  1242,   449,
    1112      845,  1340,   101,   296,  1355,   312,  -335,  -117,   491,  -335,
    1113     -107,   505,  -335,  -335,   102,   103,   108,   109,   110,   111,
    1114      112,  -335,   105,   115,   140,  -335,  1242,   150,   519,  -335,
    1115     -335,   -99,   123,  -335,  -335,  -335,  -335,  -335,   -94,  1612,
    1116     1645,   823,   823,    24,    62,    62,    78,   807,    -5,  1555,
    1117       62,  1242,  -335,  -335,  -335,   -93,    -7,    -7,  1297,  1242,
    1118     -335,  1367,  1395,  -335,  1297,  1242,  -335,  1410,  -335,  1242,
    1119     1242,  1242,  -335,  1242,  -335,  1242,  1242,  -335,  -335,  -335,
    1120     -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,   763,
    1121     -335,  -335,  -335,   545,   151,   -39,  -335,  -335,  -335,  -335,
    1122     1242,   559,  -335,  1612,   129,  1422,   131,  1242,   130,  1439,
    1123      137,   586,  1451,   600,  1500,   340,   354,   132,   136,   138,
    1124      139,   141,   144,   145,   146,  -335,  -335,  -335,  -335,  1512,
    1125     -335,  1297,  1242,  1242,   -85,  -109,  1242,  1242,  -335,  1242,
    1126     -335,  1242,  1242,  -335,  1242,  -335,  -335,  -335,  -335,  -335,
    1127     -335,  -335,  -335,  -335,  -335,   147,   656,  1588,  -335,  -335,
    1128      160,   153,  -335,   158,   696,  1600,   737,   751,   765,   793,
    1129     -109,  -335,  -335,   157,   159,  1242,  -335,  -335,  -335,  -335,
    1130     -335,  -335,  -335,  -335,   160,  -335,   -75,  -335,  -335
     1096    -345,   304,  -345,  -119,  1956,  2011,  1956,  -106,  -345,  2071,
     1097    -345,  -345,   -95,   -93,   -89,   -67,   -61,   -58,   -52,   -48,
     1098    2126,  2186,  2241,   -21,  1956,  -100,  1956,   -44,  -345,  1956,
     1099    -345,  -345,  -345,  -345,   -77,  -345,  -345,    -6,   -33,   -30,
     1100      12,   -15,  -345,    22,     5,  1611,    25,    25,  1956,  1956,
     1101    -345,  1956,  1956,  -345,  -345,  -345,    27,  -345,   162,   -85,
     1102    1455,  1956,  -345,  1956,  -345,  2301,  -110,  -345,  -345,  -345,
     1103    -345,  -345,    39,  -345,  1956,  -345,  -345,  1956,  -345,  -345,
     1104    -345,  -345,  -345,  -345,  -345,  -345,  -345,    37,  -106,    43,
     1105      54,    63,    67,  -345,    18,    85,  1956,   134,  1455,    30,
     1106     119,  2356,  1956,   203,  1956,  1956,  1956,  1956,  1956,  1956,
     1107    1956,  1666,  1956,   122,  1726,   158,  1956,   172,    40,  -345,
     1108      95,   101,  -345,    35,  1547,  1455,   -13,  -345,  -345,  -345,
     1109     130,  1956,   131,  1781,  1956,  1455,   106,  -345,  -345,    18,
     1110    -115,  -121,   145,  -345,  1956,  -345,  1956,  1956,  1956,  -345,
     1111    1956,  -345,  1956,  1956,  1956,  1956,  1956,  1956,  1956,  1956,
     1112    1841,   247,    95,  1896,   205,  -345,  1956,  -345,  -345,  1956,
     1113      -8,  1455,  1956,  1956,  1956,  1726,  1956,  1896,   324,  1956,
     1114    -345,  1956,   543,   117,   342,  1956,   572,  1031,  1063,   435,
     1115     479,  1076,   495,  -345,   -86,   588,  -345,   -84,   680,  -345,
     1116    -345,   -36,   120,   -28,   -17,    56,    69,    75,  -345,    20,
     1117      91,   150,  -345,  1956,   155,   725,  -345,  -345,   -78,   129,
     1118    -345,  -345,  -345,  -345,  1455,  1468,    93,    93,   113,    62,
     1119      62,    18,  1018,    -5,  1481,    62,  -345,   -75,  1956,  -345,
     1120    -345,  -345,   -72,   211,    65,  2356,   324,   342,   588,   -70,
     1121     680,   -69,  1956,  -345,  1168,  1213,  -345,  2356,  1956,  -345,
     1122    1226,  -345,  1956,  1956,  1956,  -345,  1956,  -345,  1956,  1956,
     1123    -345,  -345,  -345,  -107,  -345,  -345,  -345,  -345,  -345,  -345,
     1124    -345,  -345,    -7,  -345,  -345,  -345,   741,   159,   -32,  -345,
     1125    -345,  -345,  1956,  -345,   757,  -103,  1455,   132,  -345,  -345,
     1126    1239,   141,  1956,   152,  1252,   148,   773,  1265,   789,  1278,
     1127     511,   527,   147,   163,   164,   167,   168,   170,   171,   173,
     1128    -345,  -345,  -345,  -345,  1305,  -345,  2356,  1956,  1956,   -66,
     1129     -98,  1956,  1956,  -345,  1956,  -345,  1956,  1956,  -345,  1956,
     1130    -345,  -345,  -345,  -345,  -345,  -345,  -345,  -345,  -345,  -345,
     1131     157,   817,  1318,  -345,  -345,   208,   180,  -345,   182,   833,
     1132    1415,   926,   970,   986,  1002,   -98,  -345,  -345,   179,   186,
     1133    1956,  -345,  -345,  -345,  -345,  -345,  -345,  -345,  -345,   208,
     1134    -345,   -56,  -345,  -345
    11311135};
    11321136
     
    11341138static const yytype_int16 yypgoto[] =
    11351139{
    1136     -335,  -335,  -335,  -335,  -335,  -335,  -335,    19,    -1,    18,
    1137     -335,  -335,    23,  -335,  -335,   274,     7,   262,    54,  -224,
    1138     -335,  -334,   -55,   -42,   142,  -335,  -335,  -335,  -335,  -335,
    1139     -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,  -335,
    1140     -335,  -335,  -335,  -335
     1140    -345,  -345,  -345,  -345,  -345,  -345,  -345,    96,    -1,    34,
     1141    -345,  -345,    41,  -345,  -345,   331,     0,   298,   190,  -241,
     1142    -345,  -344,   -29,   -12,   184,  -345,  -345,  -345,  -345,  -345,
     1143    -345,  -345,  -345,  -345,  -345,  -345,  -345,  -345,  -345,  -345,
     1144    -345,  -345,  -345,  -345
    11411145};
    11421146
     
    11451149   number is the opposite.  If zero, do what YYDEFACT says.
    11461150   If YYTABLE_NINF, syntax error.  */
    1147 #define YYTABLE_NINF -1
     1151#define YYTABLE_NINF -148
    11481152static const yytype_int16 yytable[] =
    11491153{
    1150       59,   143,   149,   339,   143,   151,   353,   120,    65,   147,
    1151      148,   146,   145,   149,   284,   150,   151,    86,   214,   146,
    1152      288,   146,    94,   119,    97,    98,   258,   143,   102,   146,
    1153      353,   149,   100,   340,   151,   121,   260,   146,   143,   112,
    1154      114,   116,   146,   146,   276,   122,   164,   124,   139,   278,
    1155      282,   146,    65,   147,   148,   165,   166,   149,   338,   150,
    1156      151,   146,   161,   134,   103,   213,   138,   146,   368,   149,
    1157      141,   307,   151,   126,   147,   148,   308,   104,   149,   160,
    1158      150,   151,   117,   118,   163,   149,   105,   335,   151,   106,
    1159      147,   148,   107,   169,   149,   170,   150,   151,   204,   205,
    1160      136,   137,   108,   125,   147,   148,   109,   110,   149,   187,
    1161      150,   151,   190,   123,   171,   168,   143,   164,   175,   177,
    1162      127,   179,   180,   181,   182,   183,   184,   185,   156,   188,
    1163      203,   211,   144,   191,   152,   144,   153,   154,   155,   156,
    1164      128,   157,   202,   218,   158,   159,   129,   130,   208,   172,
    1165      215,   131,    98,   132,   153,   154,   155,   156,   144,   157,
    1166      178,   235,   216,   159,   219,   220,   221,    30,   222,   144,
    1167      223,   224,   225,   226,   227,   228,   229,   230,   152,   173,
    1168      153,   154,   155,   156,   236,   157,   239,   237,   158,   159,
    1169      241,    96,   242,   240,   155,   156,   247,   157,   231,   152,
    1170      142,   153,   154,   155,   156,   192,   157,   101,   111,   158,
    1171      159,   156,   113,   157,   232,   152,   115,   153,   154,   155,
    1172      156,   162,   157,   245,   273,   158,   159,   146,   207,   152,
    1173      246,   153,   154,   155,   156,   193,   157,   251,   209,   158,
    1174      159,   269,   165,   244,   252,   262,   263,   144,   270,   281,
    1175      272,   264,   265,   266,   267,   268,   283,   285,   271,   274,
    1176      277,   306,   283,   289,   313,   311,   315,   291,   292,   293,
    1177      317,   294,   339,   295,   296,   326,   304,     2,     3,   327,
    1178       99,   328,   329,   350,   330,     4,   314,   331,   332,   333,
    1179        5,     6,     7,   364,     8,   355,     9,    10,   309,   147,
    1180      148,   356,   365,   149,   310,   150,   151,   135,   363,   367,
    1181        0,   238,     0,     0,     0,   147,   148,    11,     0,   149,
    1182        0,   150,   151,     0,    30,     0,    31,    32,    33,   283,
    1183      336,   337,     0,     0,   344,   345,     0,   346,     0,   347,
    1184      348,    93,   349,   147,   148,     0,     0,   149,    49,   150,
    1185      151,     0,     0,     0,   366,     0,     0,   147,   148,    52,
    1186        0,   149,     0,   150,   151,     0,     0,    12,    13,    14,
    1187       15,    16,    17,    18,    19,    20,    21,    22,    23,    24,
    1188       25,    26,     0,    27,    28,    29,    30,     0,    31,    32,
    1189       33,    34,    35,    36,    37,    38,    39,    40,    41,    42,
    1190       43,    44,    45,    46,     0,    47,     0,     0,    48,     0,
    1191       49,   147,   148,     0,    50,   149,     0,   150,   151,    51,
    1192        0,    52,     0,     0,   152,     0,   153,   154,   155,   156,
    1193        0,   157,   253,     0,   158,   159,     0,     0,     0,   254,
    1194      152,     0,   153,   154,   155,   156,     0,   157,   256,     0,
    1195      158,   159,   147,   148,     0,   257,   149,     0,   150,   151,
    1196        0,     0,     0,     0,     0,     0,     0,     0,   152,     0,
    1197      153,   154,   155,   156,     0,   157,   322,     0,   158,   159,
    1198        0,     0,   152,   323,   153,   154,   155,   156,     0,   157,
    1199      324,     0,   158,   159,   147,   148,     0,   325,   149,     0,
    1200      150,   151,     0,     0,     0,     0,     0,     0,   147,   148,
    1201        0,     0,   149,     0,   150,   151,     0,     0,     0,     0,
    1202        0,     0,   147,   148,     0,     0,   149,     0,   150,   151,
    1203        0,     0,     0,     0,     0,     0,   152,     0,   153,   154,
    1204      155,   156,     0,   157,     0,     0,   158,   159,   147,   148,
    1205        0,   243,   149,     0,   150,   151,     0,     0,     0,     0,
    1206        0,     0,   147,   148,     0,     0,   149,     0,   150,   151,
    1207        0,     0,     0,     0,     0,     0,     0,   152,     0,   153,
    1208      154,   155,   156,     0,   157,     0,     0,   158,   159,   147,
    1209      148,     0,   248,   149,     0,   150,   151,     0,     0,     0,
    1210        0,     0,     0,   147,   148,     0,     0,   149,     0,   150,
    1211      151,     0,     0,     0,     0,     0,     0,     0,     0,   152,
    1212        0,   153,   154,   155,   156,     0,   157,     0,     0,   158,
    1213      159,     0,     0,   152,   259,   153,   154,   155,   156,     0,
    1214      157,     0,     0,   158,   159,     0,     0,   152,   261,   153,
    1215      154,   155,   156,     0,   157,     0,     0,   158,   159,   147,
    1216      148,     0,   275,   149,     0,   150,   151,     0,     0,     0,
    1217        0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
    1218      157,     0,     0,   158,   159,     0,     0,   152,   305,   153,
    1219      154,   155,   156,     0,   157,     0,     0,   158,   159,   147,
    1220      148,     0,   232,   149,     0,   150,   151,     0,     0,     0,
    1221        0,     0,     0,     0,   152,     0,   153,   154,   155,   156,
    1222        0,   157,     0,     0,   158,   159,     0,     0,   152,   318,
    1223      153,   154,   155,   156,     0,   157,     0,     0,   158,   159,
    1224      147,   148,     0,   320,   149,     0,   150,   151,     0,     0,
    1225        0,     0,     0,     0,   147,   148,     0,     0,   149,     0,
    1226      150,   151,     0,     0,     0,     0,     0,     0,   147,   148,
    1227        0,     0,   149,     0,   150,   151,   297,   298,   299,     0,
    1228        8,     0,   300,    10,   152,     0,   153,   154,   155,   156,
    1229        0,   157,     0,     0,   158,   159,   147,   148,     0,   351,
    1230      149,     0,   150,   151,     0,     0,     0,     0,     0,     0,
    1231      147,   148,     0,     0,   149,     0,   150,   151,     0,     0,
    1232        0,     0,     0,     0,   152,     0,   153,   154,   155,   156,
    1233      149,   157,     0,   151,   158,   159,     0,     0,     0,   357,
     1154      59,    65,   149,   144,   297,   151,   312,   313,   314,   121,
     1155       8,   368,   315,    10,   354,   146,   303,   165,    86,   220,
     1156     -47,   146,   221,   120,   -50,   149,   166,   167,   151,   -47,
     1157     -47,   144,   126,   -50,   -50,   368,   101,   122,    94,    98,
     1158      98,   144,   145,    98,   355,    65,   144,   104,   140,   105,
     1159     146,   146,   146,   106,    98,    98,    98,   271,   146,   273,
     1160      98,   146,   162,   125,   146,   289,   146,   146,   293,   149,
     1161     146,   295,   151,   298,   299,   107,   144,   353,   322,   135,
     1162     146,   108,   139,   323,   109,   350,   142,   383,   118,   119,
     1163     110,   316,   317,   318,   111,   161,   211,   212,   124,    98,
     1164     149,    97,    99,   151,   127,   103,   172,   275,    98,   128,
     1165     194,   171,   129,   197,   101,   277,   113,   115,   117,   165,
     1166     149,   130,   123,   151,   210,   173,   278,   131,   156,  -147,
     1167     178,   132,   218,   144,    30,   182,   184,   160,   186,   187,
     1168     188,   189,   190,   191,   192,   144,   195,   133,   147,   148,
     1169     198,   156,   149,   157,   150,   151,   282,  -107,    98,   237,
     1170     160,   164,   242,   283,   143,   215,  -107,  -107,    98,   144,
     1171     170,  -125,  -125,   144,   249,   169,   251,   199,    98,   172,
     1172     224,   225,   226,   144,   227,   173,   228,   229,   230,   231,
     1173     232,   233,   234,   235,   155,   156,   174,   157,   174,   279,
     1174      98,  -126,  -126,    98,   160,   175,   246,   247,   248,   176,
     1175     250,   175,   280,   254,   144,   255,   144,   176,   281,   260,
     1176     209,   152,   144,   153,   154,   155,   156,   177,   157,   180,
     1177      99,   146,   159,   177,   284,   160,   137,   138,   200,   214,
     1178     223,   216,   166,   153,   154,   155,   156,   286,   157,   -98,
     1179     147,   148,   159,   257,   149,   160,   150,   151,   -98,   -98,
     1180     285,  -105,   243,   276,   287,   244,   290,   179,   326,   321,
     1181    -105,  -105,   294,   152,   328,   153,   154,   155,   156,   296,
     1182     157,   332,   319,   158,   159,   -99,   300,   160,   330,   222,
     1183     341,   296,   304,   365,   -99,   -99,   306,   307,   308,  -100,
     1184     309,   329,   310,   311,     2,     3,   342,   343,  -100,  -100,
     1185     344,   345,     4,   346,   347,   379,   348,     5,     6,     7,
     1186     354,     8,   370,     9,    10,   371,   324,   147,   148,   380,
     1187    -103,   149,  -101,   150,   151,   325,   185,   100,  -106,  -103,
     1188    -103,  -101,  -101,   136,    11,   147,   148,  -106,  -106,   149,
     1189     382,   150,   151,   378,   245,     0,     0,     0,     0,     0,
     1190     296,   351,   352,     0,     0,   359,   360,     0,   361,   381,
     1191     362,   363,     0,   364,   238,   152,     0,   153,   154,   155,
     1192     156,     0,   157,     0,     0,   158,   159,     0,     0,   160,
     1193     239,     0,     0,     0,    12,    13,    14,    15,    16,    17,
     1194      18,    19,    20,    21,    22,    23,    24,    25,    26,     0,
     1195      27,    28,    29,    30,     0,    31,    32,    33,    34,    35,
     1196      36,    37,    38,    39,    40,    41,    42,    43,    44,    45,
     1197      46,     0,    47,     0,     0,    48,     0,    49,   147,   148,
     1198       0,    50,   149,     0,   150,   151,    51,     0,    52,     0,
     1199       0,     0,   152,     0,   153,   154,   155,   156,     0,   157,
     1200     252,     0,   158,   159,     0,     0,   160,   253,     0,     0,
     1201     152,     0,   153,   154,   155,   156,     0,   157,   258,     0,
     1202     158,   159,   147,   148,   160,   259,   149,     0,   150,   151,
    12341203       0,     0,     0,     0,     0,     0,     0,     0,   147,   148,
    12351204       0,     0,   149,     0,   150,   151,     0,     0,     0,     0,
    1236        0,   301,   302,   303,     0,   152,     0,   153,   154,   155,
    1237      156,     0,   157,     0,     0,   158,   159,     0,     0,   152,
    1238      359,   153,   154,   155,   156,     0,   157,     0,     0,   158,
    1239      159,     0,     0,   152,   360,   153,   154,   155,   156,     0,
    1240      157,     0,     0,   158,   159,     4,     0,     0,   361,     0,
    1241        5,   133,    88,     0,     8,     0,     9,    10,     0,     0,
    1242        0,   152,     0,   153,   154,   155,   156,     0,   157,     0,
    1243        0,   158,   159,     0,     0,   152,   362,   153,   154,   155,
    1244      156,   279,   157,   280,     0,   158,   159,     0,     0,     0,
    1245        0,   152,     0,   153,   154,   155,   156,     0,   157,     0,
    1246        4,     0,   159,     0,     0,    87,     0,    88,     0,     8,
    1247        0,    89,    10,   152,     0,   153,   154,   155,   156,     0,
    1248      157,   249,     0,   158,   159,     0,     0,    12,    13,    14,
    1249       15,    16,    17,    18,    19,    20,    21,    22,     0,     0,
    1250       30,     0,    31,    32,    33,     0,    30,     0,    31,    32,
    1251       33,     0,     0,     0,     0,    38,    39,    93,     0,     0,
    1252        4,     0,     0,    93,    49,    87,     0,    88,    48,     8,
    1253       49,    89,    10,    96,     0,    52,     0,     0,     0,    51,
    1254        0,    52,    12,    13,    14,    15,    16,    17,    18,    19,
    1255       90,    91,    92,     0,     0,    30,     0,    31,    32,    33,
    1256        0,    30,     0,    31,    32,    33,     0,     0,     0,     0,
    1257       38,    39,    93,     0,     0,     4,     0,     0,    93,    49,
    1258       87,     0,    88,    48,     8,    49,    89,    10,   101,     0,
    1259       52,     0,     0,     0,    51,   186,    52,     0,     0,     0,
    1260        0,     0,    12,    13,    14,    15,    16,    17,    18,    19,
    1261       90,    91,    92,     0,     0,    30,     0,    31,    32,    33,
    1262        0,    30,     0,    31,    32,    33,     0,     0,     0,     0,
    1263       38,    39,    93,     0,     0,     4,     0,     0,    93,    49,
    1264       87,     0,    88,    48,     8,    49,    89,    10,   111,     0,
    1265       52,     0,     0,     0,    51,   189,    52,    12,    13,    14,
    1266       15,    16,    17,    18,    19,    90,    91,    92,     0,     0,
    1267       30,     0,    31,    32,    33,     0,    30,     0,    31,    32,
    1268       33,     0,     0,     0,     0,    38,    39,    93,     0,     0,
    1269        4,     0,     0,    93,    49,    87,     0,    88,    48,     8,
    1270       49,    89,    10,   113,     0,    52,     0,     0,     0,    51,
    1271      210,    52,     0,     0,     0,     0,     0,    12,    13,    14,
    1272       15,    16,    17,    18,    19,    90,    91,    92,     0,     0,
    1273       30,     0,    31,    32,    33,     0,    30,     0,    31,    32,
    1274       33,     0,     0,     0,     0,    38,    39,    93,     0,     0,
    1275        4,     0,     0,    93,    49,    87,     0,    88,    48,     8,
    1276       49,    89,    10,   115,     0,    52,     0,     0,     0,    51,
    1277      217,    52,    12,    13,    14,    15,    16,    17,    18,    19,
    1278       90,    91,    92,     0,     0,    30,     0,    31,    32,    33,
    1279        0,    30,     0,    31,    32,    33,     0,     0,     0,     0,
    1280       38,    39,    93,     0,     0,     4,     0,     0,    93,    49,
    1281       87,     0,    88,    48,     8,    49,    89,    10,   162,     0,
    1282       52,     0,     0,     0,    51,   234,    52,     0,     0,     0,
    1283        0,     0,    12,    13,    14,    15,    16,    17,    18,    19,
    1284       90,    91,    92,   147,   148,     0,     0,   149,     0,   150,
    1285      151,    30,     0,    31,    32,    33,     0,     0,   147,   148,
    1286       38,    39,   149,     0,   150,   151,     0,     0,    93,     0,
    1287      147,   148,     0,    48,   149,    49,   150,   151,     0,     0,
    1288        0,     0,     0,     0,    51,     0,    52,    12,    13,    14,
    1289       15,    16,    17,    18,    19,    90,    91,    92,   147,   148,
    1290        0,     0,   149,     0,   150,   151,    30,     0,    31,    32,
    1291       33,     0,     0,   147,   148,    38,    39,   149,     0,   150,
    1292      151,     0,     0,    93,     0,   147,   148,     0,    48,   149,
    1293       49,   150,   151,     0,     0,     0,     0,     0,     0,   174,
    1294        0,    52,   147,   148,     0,     0,   149,     0,   150,   151,
    12951205       0,     0,     0,     0,   147,   148,     0,     0,   149,     0,
    1296      150,   151,     0,     0,     0,     0,     0,     0,   152,     0,
    1297      153,   154,   155,   156,     0,   157,   250,     0,   158,   159,
     1206     150,   151,     0,     0,     0,     0,     0,     0,     0,     0,
     1207     147,   148,     0,     0,   149,     0,   150,   151,     0,     0,
     1208       0,     0,     0,     0,     0,     0,   147,   148,     0,     0,
     1209     149,     0,   150,   151,     0,     0,     0,     0,     0,     0,
    12981210       0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
    1299      157,   255,     0,   158,   159,   152,     0,   153,   154,   155,
    1300      156,   286,   157,   147,   148,   158,   159,   149,     0,   150,
    1301      151,     0,     0,     0,     0,   147,   148,     0,     0,   149,
    1302        0,   150,   151,   152,     0,   153,   154,   155,   156,     0,
    1303      157,   287,     0,   158,   159,     0,     0,     0,   152,     0,
    1304      153,   154,   155,   156,   290,   157,     0,     0,   158,   159,
    1305      152,     0,   153,   154,   155,   156,     0,   157,   312,   148,
    1306      158,   159,   149,     0,   150,   151,     0,   152,     0,   153,
    1307      154,   155,   156,     0,   157,   316,     0,   158,   159,   152,
    1308        0,   153,   154,   155,   156,     0,   157,   319,     0,   158,
    1309      159,   147,   148,     0,     0,   149,     0,   150,   151,     0,
    1310        0,     0,     0,   147,   148,     0,     0,   149,     0,   150,
    1311      151,     0,     0,     0,     0,   147,   148,     0,     0,   149,
    1312        0,   150,   151,     0,     0,     0,     0,     0,   152,     0,
    1313      153,   154,   155,   156,     0,   157,   321,     0,   158,   159,
    1314      152,     0,   153,   154,   155,   156,   334,   157,    -1,   148,
    1315      158,   159,   149,     0,   150,   151,     0,     0,     0,     0,
    1316        0,     0,     0,     0,     0,     0,     0,     0,   194,   195,
    1317      196,     0,     8,     0,   197,    10,     0,     0,     0,     0,
     1211     157,   264,     0,   158,   159,   147,   148,   160,   265,   149,
     1212       0,   150,   151,     0,     0,     0,     0,     0,     0,     0,
     1213       0,   147,   148,     0,     0,   149,     0,   150,   151,     0,
     1214       0,     0,     0,     0,     0,     0,     0,   152,     0,   153,
     1215     154,   155,   156,     0,   157,   266,     0,   158,   159,     0,
     1216       0,   160,   267,   152,     0,   153,   154,   155,   156,     0,
     1217     157,   269,     0,   158,   159,     0,     0,   160,   270,   152,
     1218       0,   153,   154,   155,   156,     0,   157,   337,     0,   158,
     1219     159,     0,     0,   160,   338,   152,     0,   153,   154,   155,
     1220     156,     0,   157,   339,     0,   158,   159,     0,     0,   160,
     1221     340,   152,     0,   153,   154,   155,   156,     0,   157,     0,
     1222       0,   158,   159,   147,   148,   160,   256,   149,     0,   150,
     1223     151,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1224     152,     0,   153,   154,   155,   156,     0,   157,     0,     0,
     1225     158,   159,     0,     0,   160,   261,   152,     0,   153,   154,
     1226     155,   156,     0,   157,     0,     0,   158,   159,   147,   148,
     1227     160,   272,   149,     0,   150,   151,     0,     0,     0,     0,
     1228       0,     0,     0,     0,   147,   148,     0,     0,   149,     0,
     1229     150,   151,     0,     0,     0,     0,     0,     0,     0,     0,
     1230     147,   148,     0,     0,   149,     0,   150,   151,     0,     0,
     1231       0,     0,     0,     0,     0,     0,   147,   148,     0,     0,
     1232     149,     0,   150,   151,     0,     0,     0,     0,     0,     0,
     1233       0,     0,   147,   148,     0,     0,   149,     0,   150,   151,
     1234       0,     0,     0,     0,     0,     0,     0,     0,   152,     0,
     1235     153,   154,   155,   156,     0,   157,     0,     0,   158,   159,
     1236     147,   148,   160,   274,   149,     0,   150,   151,     0,     0,
     1237       0,     0,     0,     0,     0,     0,   147,   148,     0,     0,
     1238     149,     0,   150,   151,     0,     0,     0,     0,     0,     0,
    13181239       0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
    1319      157,     0,     0,     0,   159,     0,     0,     0,     0,     0,
     1240     157,     0,     0,   158,   159,     0,     0,   160,   288,   152,
     1241       0,   153,   154,   155,   156,     0,   157,     0,     0,   158,
     1242     159,     0,     0,   160,   320,   152,     0,   153,   154,   155,
     1243     156,     0,   157,     0,     0,   158,   159,     0,     0,   160,
     1244     239,   152,     0,   153,   154,   155,   156,     0,   157,     0,
     1245       0,   158,   159,     0,     0,   160,   333,   152,     0,   153,
     1246     154,   155,   156,     0,   157,     0,     0,   158,   159,   147,
     1247     148,   160,   335,   149,     0,   150,   151,     0,     0,     0,
     1248       0,     0,     0,     0,     0,   152,     0,   153,   154,   155,
     1249     156,     0,   157,     0,     0,   158,   159,     0,     0,   160,
     1250     366,   152,     0,   153,   154,   155,   156,     0,   157,     0,
     1251       0,   158,   159,   147,   148,   160,   372,   149,     0,   150,
     1252     151,     0,     0,     0,     0,     0,     0,     0,     0,   147,
     1253     148,     0,     0,   149,     0,   150,   151,     0,     0,     0,
     1254       0,     0,     0,     0,     0,   147,   148,     0,     0,   149,
     1255       0,   150,   151,     0,     0,     0,     0,     0,     0,     0,
     1256       0,   147,   148,     0,     0,   149,     0,   150,   151,     0,
     1257       0,     0,     0,     0,   147,   148,     0,     0,   149,     0,
     1258     150,   151,     0,     0,     0,     0,     0,     0,     0,     0,
     1259       0,     0,     0,     0,   152,     0,   153,   154,   155,   156,
     1260       0,   157,     0,     0,   158,   159,   147,   148,   160,   374,
     1261     149,     0,   150,   151,     0,     0,     0,     0,     0,   147,
     1262     148,     0,     0,   149,     0,   150,   151,     0,     0,     0,
     1263       0,     0,     0,     0,     0,     0,     0,     0,   152,     0,
     1264     153,   154,   155,   156,     0,   157,     0,     0,   158,   159,
     1265       0,     0,   160,   375,   152,     0,   153,   154,   155,   156,
     1266       0,   157,     0,     0,   158,   159,     0,     0,   160,   376,
     1267     152,     0,   153,   154,   155,   156,     0,   157,     0,     0,
     1268     158,   159,     0,     0,   160,   377,   152,     0,   153,   154,
     1269     155,   156,   291,   157,   292,     0,   158,   159,     0,   152,
     1270     160,   153,   154,   155,   156,     0,   157,   262,     0,   158,
     1271     159,   147,   148,   160,     0,   149,     0,   150,   151,     0,
    13201272       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1273       0,   152,     0,   153,   154,   155,   156,     0,   157,   263,
     1274       0,   158,   159,     0,   152,   160,   153,   154,   155,   156,
     1275       0,   157,   268,     0,   158,   159,   147,   148,   160,     0,
     1276     149,     0,   150,   151,     0,     0,     0,     0,     0,   147,
     1277     148,     0,     0,   149,     0,   150,   151,     0,     0,     0,
     1278       0,     0,   147,   148,     0,     0,   149,     0,   150,   151,
     1279       0,     0,     0,     0,     0,   147,   148,     0,     0,   149,
     1280       0,   150,   151,     0,     0,     0,     0,     0,   147,   148,
     1281       0,     0,   149,     0,   150,   151,     0,     0,     0,     0,
     1282       0,   147,   148,     0,     0,   149,     0,   150,   151,     0,
    13211283       0,     0,     0,     0,     0,     0,   152,     0,   153,   154,
    1322      155,   156,   352,   157,     0,     0,   158,   159,   152,     0,
    1323      153,   154,   155,   156,   358,   157,     0,     0,   158,   159,
    1324      152,     0,   153,   154,   155,   156,     0,   157,     0,     0,
    1325      158,   159,     0,   198,   199,   200,     0,     0,     0,     0,
    1326        0,     0,     0,     0,    30,     0,    31,    32,    33,     0,
     1284     155,   156,   301,   157,     0,     0,   158,   159,   147,   148,
     1285     160,     0,   149,     0,   150,   151,     0,     0,     0,     0,
     1286       0,   147,   148,     0,     0,   149,     0,   150,   151,     0,
     1287       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1288       0,   152,     0,   153,   154,   155,   156,     0,   157,   302,
     1289       0,   158,   159,     0,   152,   160,   153,   154,   155,   156,
     1290     305,   157,     0,     0,   158,   159,     0,   152,   160,   153,
     1291     154,   155,   156,     0,   157,   327,     0,   158,   159,     0,
     1292     152,   160,   153,   154,   155,   156,     0,   157,   331,     0,
     1293     158,   159,     0,   152,   160,   153,   154,   155,   156,     0,
     1294     157,   334,     0,   158,   159,     0,   152,   160,   153,   154,
     1295     155,   156,     0,   157,   336,     0,   158,   159,   147,   148,
     1296     160,     0,   149,     0,   150,   151,     0,     0,     0,     0,
     1297       0,     0,     0,   152,     0,   153,   154,   155,   156,   349,
     1298     157,     0,     0,   158,   159,     0,   152,   160,   153,   154,
     1299     155,   156,   367,   157,     0,     0,   158,   159,   147,   148,
     1300     160,     0,   149,     0,   150,   151,     0,     0,     0,     0,
     1301       0,  -148,   148,     0,     0,   149,     0,   150,   151,     0,
     1302       0,     0,     0,     0,     0,   148,     0,     0,   149,     0,
     1303     150,   151,     0,     0,     0,     0,     0,     0,     0,     0,
     1304       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1305       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1306       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1307       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     1308       0,     0,     0,   152,     0,   153,   154,   155,   156,   373,
     1309     157,     0,     0,   158,   159,     4,     0,   160,     0,     0,
     1310     201,   202,   203,     0,     8,     0,   204,    10,     0,     0,
     1311       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    13271312       0,     0,     0,   152,     0,   153,   154,   155,   156,     0,
    1328      157,    93,     0,   158,   159,     0,     0,     0,    49,     0,
    1329        0,     0,     0,     0,     0,     0,     0,     0,   201,    52
     1313     157,     0,     0,   158,   159,     0,   152,   160,   153,   154,
     1314     155,   156,     0,   157,     0,     0,   158,   159,     0,   152,
     1315     160,   153,   154,   155,   156,     0,   157,     0,     0,     4,
     1316     159,     0,     0,   160,     5,   134,    88,     0,     8,     0,
     1317       9,    10,     0,     0,     0,     0,     0,    12,    13,    14,
     1318      15,    16,    17,    18,    19,   205,   206,   207,     0,     0,
     1319       0,     0,     0,     0,     0,     0,    30,     0,    31,    32,
     1320      33,     0,     0,     0,     0,    38,    39,     0,     0,     0,
     1321       0,     0,     0,    93,     4,     0,     0,     0,    48,    87,
     1322      49,    88,     0,     8,     0,    89,    10,     0,     0,    51,
     1323     208,    52,     0,     0,     0,     0,     0,     0,     0,     0,
     1324       0,    12,    13,    14,    15,    16,    17,    18,    19,    20,
     1325      21,    22,     0,     0,     0,     0,     0,     0,     0,     0,
     1326      30,     0,    31,    32,    33,     0,     0,     0,     0,    38,
     1327      39,     0,     0,     0,     4,     0,     0,    93,     0,    87,
     1328       0,    88,    48,     8,    49,    89,    10,     0,     0,     0,
     1329       0,     0,     0,    51,     0,    52,    12,    13,    14,    15,
     1330      16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
     1331       0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
     1332       0,     0,     0,     0,    38,    39,     0,     0,     0,     4,
     1333       0,     0,    93,     0,    87,     0,    88,    48,     8,    49,
     1334      89,    10,     0,     0,     0,     0,     0,     0,    51,   193,
     1335      52,     0,     0,     0,     0,     0,    12,    13,    14,    15,
     1336      16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
     1337       0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
     1338       0,     0,     0,     0,    38,    39,     0,     0,     0,     4,
     1339       0,     0,    93,     0,    87,     0,    88,    48,     8,    49,
     1340      89,    10,     0,     0,     0,     0,     0,     0,    51,   196,
     1341      52,    12,    13,    14,    15,    16,    17,    18,    19,    90,
     1342      91,    92,     0,     0,     0,     0,     0,     0,     0,     0,
     1343      30,     0,    31,    32,    33,     0,     0,     0,     0,    38,
     1344      39,     0,     0,     0,     4,     0,     0,    93,     0,    87,
     1345       0,    88,    48,     8,    49,    89,    10,     0,     0,     0,
     1346       0,     0,     0,    51,   217,    52,     0,     0,     0,     0,
     1347       0,    12,    13,    14,    15,    16,    17,    18,    19,    90,
     1348      91,    92,     0,     0,     0,     0,     0,     0,     0,     0,
     1349      30,     0,    31,    32,    33,     0,     0,     0,     0,    38,
     1350      39,     0,     0,     0,     4,     0,     0,    93,     0,    87,
     1351       0,    88,    48,     8,    49,    89,    10,     0,     0,     0,
     1352       0,     0,     0,    51,   236,    52,    12,    13,    14,    15,
     1353      16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
     1354       0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
     1355       0,     0,     0,     0,    38,    39,     0,     0,     0,     4,
     1356       0,     0,    93,     0,    87,     0,    88,    48,     8,    49,
     1357      89,    10,     0,     0,     0,     0,     0,     0,    51,   241,
     1358      52,     0,     0,     0,     0,     0,    12,    13,    14,    15,
     1359      16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
     1360       0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
     1361       0,     0,     0,     0,    38,    39,     0,     0,     0,     4,
     1362       0,     0,    93,     0,    87,     0,    88,    48,     8,    49,
     1363      89,    10,     0,     0,     0,     0,     0,     0,    51,     0,
     1364      52,    12,    13,    14,    15,    16,    17,    18,    19,    90,
     1365      91,    92,     0,     0,     0,     0,     0,     0,     0,     0,
     1366      30,     0,    31,    32,    33,     0,     0,     0,     0,    38,
     1367      39,     0,     0,     0,     4,     0,     0,    93,     0,    87,
     1368       0,    88,    48,     8,    49,    89,    10,     0,     0,     0,
     1369       0,     0,     0,    96,     0,    52,     0,     0,     0,     0,
     1370       0,    12,    13,    14,    15,    16,    17,    18,    19,    90,
     1371      91,    92,     0,     0,     0,     0,     0,     0,     0,     0,
     1372      30,     0,    31,    32,    33,     0,     0,     0,     0,    38,
     1373      39,     0,     0,     0,     4,     0,     0,    93,     0,    87,
     1374       0,    88,    48,     8,    49,    89,    10,     0,     0,     0,
     1375       0,     0,     0,   102,     0,    52,    12,    13,    14,    15,
     1376      16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
     1377       0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
     1378       0,     0,     0,     0,    38,    39,     0,     0,     0,     4,
     1379       0,     0,    93,     0,    87,     0,    88,    48,     8,    49,
     1380      89,    10,     0,     0,     0,     0,     0,     0,   112,     0,
     1381      52,     0,     0,     0,     0,     0,    12,    13,    14,    15,
     1382      16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
     1383       0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
     1384       0,     0,     0,     0,    38,    39,     0,     0,     0,     4,
     1385       0,     0,    93,     0,    87,     0,    88,    48,     8,    49,
     1386      89,    10,     0,     0,     0,     0,     0,     0,   114,     0,
     1387      52,    12,    13,    14,    15,    16,    17,    18,    19,    90,
     1388      91,    92,     0,     0,     0,     0,     0,     0,     0,     0,
     1389      30,     0,    31,    32,    33,     0,     0,     0,     0,    38,
     1390      39,     0,     0,     0,     4,     0,     0,    93,     0,    87,
     1391       0,    88,    48,     8,    49,    89,    10,     0,     0,     0,
     1392       0,     0,     0,   116,     0,    52,     0,     0,     0,     0,
     1393       0,    12,    13,    14,    15,    16,    17,    18,    19,    90,
     1394      91,    92,     0,     0,     0,     0,     0,     0,     0,     0,
     1395      30,     0,    31,    32,    33,     0,     0,     0,     0,    38,
     1396      39,     0,     0,     0,     0,     0,     0,    93,     0,     0,
     1397       0,     0,    48,     0,    49,     0,     0,     0,     0,     0,
     1398       0,     0,     0,   163,     0,    52,    12,    13,    14,    15,
     1399      16,    17,    18,    19,    90,    91,    92,     0,     0,     0,
     1400       0,     0,     0,     0,     0,    30,     0,    31,    32,    33,
     1401       0,     0,     0,     0,    38,    39,     0,     0,     0,     0,
     1402       0,     0,    93,     0,     0,     0,     0,    48,     0,    49,
     1403       0,     0,     0,     0,     0,     0,     0,     0,   181,     0,
     1404      52
    13301405};
    13311406
    13321407static const yytype_int16 yycheck[] =
    13331408{
    1334        1,    11,     7,   112,    11,    10,   340,   109,     1,     3,
    1335        4,   136,   127,     7,   238,     9,    10,   137,   143,   136,
    1336      244,   136,     4,    24,     5,     6,   143,    11,     9,   136,
    1337      364,     7,   142,   142,    10,   137,   143,   136,    11,    20,
    1338       21,    22,   136,   136,   143,    26,   127,    29,    49,   143,
    1339      143,   136,    45,     3,     4,   136,   137,     7,   143,     9,
    1340       10,   136,    63,    45,   142,   134,    48,   136,   143,     7,
    1341       52,   110,    10,   110,     3,     4,   115,   142,     7,    61,
    1342        9,    10,   109,   110,    65,     7,   142,   311,    10,   142,
    1343        3,     4,   142,    74,     7,    77,     9,    10,   109,   110,
    1344       46,    47,   142,   109,     3,     4,   142,   142,     7,   110,
    1345        9,    10,   113,   142,    96,   136,    11,   127,   100,   101,
    1346      142,   103,   104,   105,   106,   107,   108,   109,   133,   111,
    1347      123,   132,   142,   115,   128,   142,   130,   131,   132,   133,
    1348      142,   135,   123,   144,   138,   139,   109,   142,   130,   133,
    1349      144,   109,   133,   142,   130,   131,   132,   133,   142,   135,
    1350      133,   162,   143,   139,   146,   147,   148,   109,   150,   142,
    1351      152,   153,   154,   155,   156,   157,   158,   159,   128,   110,
    1352      130,   131,   132,   133,   165,   135,   136,   168,   138,   139,
    1353      172,   142,   174,   143,   132,   133,   178,   135,   127,   128,
    1354      137,   130,   131,   132,   133,   137,   135,   142,   142,   138,
    1355      139,   133,   142,   135,   143,   128,   142,   130,   131,   132,
    1356      133,   142,   135,   136,   206,   138,   139,   136,   109,   128,
    1357      143,   130,   131,   132,   133,   137,   135,   136,   110,   138,
    1358      139,   136,   136,   136,   143,   143,   143,   142,   143,   231,
    1359      110,   143,   143,   143,   143,   143,   238,   239,   143,   109,
    1360      137,   110,   244,   245,   133,   136,   136,   249,   250,   251,
    1361      133,   253,   112,   255,   256,   143,   269,     0,     1,   143,
    1362        6,   143,   143,   136,   143,     8,   287,   143,   143,   143,
    1363       13,    14,    15,   136,    17,   142,    19,    20,   280,     3,
    1364        4,   143,   143,     7,   281,     9,    10,    45,   350,   364,
    1365       -1,   169,    -1,    -1,    -1,     3,     4,    40,    -1,     7,
    1366       -1,     9,    10,    -1,   109,    -1,   111,   112,   113,   311,
    1367      312,   313,    -1,    -1,   316,   317,    -1,   319,    -1,   321,
    1368      322,   126,   324,     3,     4,    -1,    -1,     7,   133,     9,
    1369       10,    -1,    -1,    -1,   355,    -1,    -1,     3,     4,   144,
    1370       -1,     7,    -1,     9,    10,    -1,    -1,    90,    91,    92,
    1371       93,    94,    95,    96,    97,    98,    99,   100,   101,   102,
    1372      103,   104,    -1,   106,   107,   108,   109,    -1,   111,   112,
    1373      113,   114,   115,   116,   117,   118,   119,   120,   121,   122,
    1374      123,   124,   125,   126,    -1,   128,    -1,    -1,   131,    -1,
    1375      133,     3,     4,    -1,   137,     7,    -1,     9,    10,   142,
    1376       -1,   144,    -1,    -1,   128,    -1,   130,   131,   132,   133,
    1377       -1,   135,   136,    -1,   138,   139,    -1,    -1,    -1,   143,
     1409       1,     1,     7,    11,   245,    10,    13,    14,    15,   109,
     1410      17,   355,    19,    20,   112,   136,   257,   127,   137,   134,
     1411     127,   136,   143,    24,   127,     7,   136,   137,    10,   136,
     1412     137,    11,   109,   136,   137,   379,   142,   137,     4,     5,
     1413       6,    11,   127,     9,   142,    45,    11,   142,    49,   142,
     1414     136,   136,   136,   142,    20,    21,    22,   143,   136,   143,
     1415      26,   136,    63,    29,   136,   143,   136,   136,   143,     7,
     1416     136,   143,    10,   143,   143,   142,    11,   143,   110,    45,
     1417     136,   142,    48,   115,   142,   326,    52,   143,   109,   110,
     1418     142,    98,    99,   100,   142,    61,   109,   110,   142,    65,
     1419       7,     5,     6,    10,   110,     9,   142,   143,    74,   142,
     1420     111,    77,   142,   114,   142,   143,    20,    21,    22,   127,
     1421       7,   109,    26,    10,   124,   142,   143,   142,   133,   137,
     1422      96,   109,   133,    11,   109,   101,   102,   142,   104,   105,
     1423     106,   107,   108,   109,   110,    11,   112,   142,     3,     4,
     1424     116,   133,     7,   135,     9,    10,   136,   127,   124,   160,
     1425     142,    65,   163,   143,   137,   131,   136,   137,   134,    11,
     1426      74,   136,   137,    11,   175,   136,   177,   137,   144,   142,
     1427     146,   147,   148,    11,   150,   142,   152,   153,   154,   155,
     1428     156,   157,   158,   159,   132,   133,   142,   135,   142,   143,
     1429     166,   136,   137,   169,   142,   142,   172,   173,   174,   142,
     1430     176,   142,   143,   179,    11,   181,    11,   142,   143,   185,
     1431     124,   128,    11,   130,   131,   132,   133,   142,   135,   110,
     1432     134,   136,   139,   142,   143,   142,    46,    47,   137,   109,
     1433     144,   110,   136,   130,   131,   132,   133,   213,   135,   127,
     1434       3,     4,   139,   136,     7,   142,     9,    10,   136,   137,
     1435     110,   127,   166,   143,   109,   169,   137,   133,   136,   110,
     1436     136,   137,   238,   128,   133,   130,   131,   132,   133,   245,
     1437     135,   133,   282,   138,   139,   127,   252,   142,   136,   144,
     1438     143,   257,   258,   136,   136,   137,   262,   263,   264,   127,
     1439     266,   302,   268,   269,     0,     1,   143,   143,   136,   137,
     1440     143,   143,     8,   143,   143,   136,   143,    13,    14,    15,
     1441     112,    17,   142,    19,    20,   143,   292,     3,     4,   143,
     1442     127,     7,   127,     9,    10,   294,   133,     6,   127,   136,
     1443     137,   136,   137,    45,    40,     3,     4,   136,   137,     7,
     1444     379,     9,    10,   365,   170,    -1,    -1,    -1,    -1,    -1,
     1445     326,   327,   328,    -1,    -1,   331,   332,    -1,   334,   370,
     1446     336,   337,    -1,   339,   127,   128,    -1,   130,   131,   132,
     1447     133,    -1,   135,    -1,    -1,   138,   139,    -1,    -1,   142,
     1448     143,    -1,    -1,    -1,    90,    91,    92,    93,    94,    95,
     1449      96,    97,    98,    99,   100,   101,   102,   103,   104,    -1,
     1450     106,   107,   108,   109,    -1,   111,   112,   113,   114,   115,
     1451     116,   117,   118,   119,   120,   121,   122,   123,   124,   125,
     1452     126,    -1,   128,    -1,    -1,   131,    -1,   133,     3,     4,
     1453      -1,   137,     7,    -1,     9,    10,   142,    -1,   144,    -1,
     1454      -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,   135,
     1455     136,    -1,   138,   139,    -1,    -1,   142,   143,    -1,    -1,
    13781456     128,    -1,   130,   131,   132,   133,    -1,   135,   136,    -1,
    1379      138,   139,     3,     4,    -1,   143,     7,    -1,     9,    10,
    1380       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,
    1381      130,   131,   132,   133,    -1,   135,   136,    -1,   138,   139,
    1382       -1,    -1,   128,   143,   130,   131,   132,   133,    -1,   135,
    1383      136,    -1,   138,   139,     3,     4,    -1,   143,     7,    -1,
    1384        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
    1385       -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1386       -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    1387       -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,   131,
    1388      132,   133,    -1,   135,    -1,    -1,   138,   139,     3,     4,
    1389       -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1390       -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    1391       -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,
    1392      131,   132,   133,    -1,   135,    -1,    -1,   138,   139,     3,
    1393        4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,
    1394       -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    1395       10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,
    1396       -1,   130,   131,   132,   133,    -1,   135,    -1,    -1,   138,
    1397      139,    -1,    -1,   128,   143,   130,   131,   132,   133,    -1,
    1398      135,    -1,    -1,   138,   139,    -1,    -1,   128,   143,   130,
    1399      131,   132,   133,    -1,   135,    -1,    -1,   138,   139,     3,
    1400        4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,
    1401       -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
    1402      135,    -1,    -1,   138,   139,    -1,    -1,   128,   143,   130,
    1403      131,   132,   133,    -1,   135,    -1,    -1,   138,   139,     3,
    1404        4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,    -1,
    1405       -1,    -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,
    1406       -1,   135,    -1,    -1,   138,   139,    -1,    -1,   128,   143,
    1407      130,   131,   132,   133,    -1,   135,    -1,    -1,   138,   139,
    1408        3,     4,    -1,   143,     7,    -1,     9,    10,    -1,    -1,
    1409       -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
    1410        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
    1411       -1,    -1,     7,    -1,     9,    10,    13,    14,    15,    -1,
    1412       17,    -1,    19,    20,   128,    -1,   130,   131,   132,   133,
    1413       -1,   135,    -1,    -1,   138,   139,     3,     4,    -1,   143,
    1414        7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
    1415        3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
    1416       -1,    -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,
    1417        7,   135,    -1,    10,   138,   139,    -1,    -1,    -1,   143,
     1457     138,   139,     3,     4,   142,   143,     7,    -1,     9,    10,
    14181458      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,     4,
    14191459      -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1420       -1,    98,    99,   100,    -1,   128,    -1,   130,   131,   132,
    1421      133,    -1,   135,    -1,    -1,   138,   139,    -1,    -1,   128,
    1422      143,   130,   131,   132,   133,    -1,   135,    -1,    -1,   138,
    1423      139,    -1,    -1,   128,   143,   130,   131,   132,   133,    -1,
    1424      135,    -1,    -1,   138,   139,     8,    -1,    -1,   143,    -1,
     1460      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1461       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1462       3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
     1463      -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1464       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
     1465      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
     1466     135,   136,    -1,   138,   139,     3,     4,   142,   143,     7,
     1467      -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1468      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1469      -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,
     1470     131,   132,   133,    -1,   135,   136,    -1,   138,   139,    -1,
     1471      -1,   142,   143,   128,    -1,   130,   131,   132,   133,    -1,
     1472     135,   136,    -1,   138,   139,    -1,    -1,   142,   143,   128,
     1473      -1,   130,   131,   132,   133,    -1,   135,   136,    -1,   138,
     1474     139,    -1,    -1,   142,   143,   128,    -1,   130,   131,   132,
     1475     133,    -1,   135,   136,    -1,   138,   139,    -1,    -1,   142,
     1476     143,   128,    -1,   130,   131,   132,   133,    -1,   135,    -1,
     1477      -1,   138,   139,     3,     4,   142,   143,     7,    -1,     9,
     1478      10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1479     128,    -1,   130,   131,   132,   133,    -1,   135,    -1,    -1,
     1480     138,   139,    -1,    -1,   142,   143,   128,    -1,   130,   131,
     1481     132,   133,    -1,   135,    -1,    -1,   138,   139,     3,     4,
     1482     142,   143,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1483      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1484       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1485       3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,
     1486      -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1487       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
     1488      -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1489      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,
     1490     130,   131,   132,   133,    -1,   135,    -1,    -1,   138,   139,
     1491       3,     4,   142,   143,     7,    -1,     9,    10,    -1,    -1,
     1492      -1,    -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,
     1493       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,
     1494      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
     1495     135,    -1,    -1,   138,   139,    -1,    -1,   142,   143,   128,
     1496      -1,   130,   131,   132,   133,    -1,   135,    -1,    -1,   138,
     1497     139,    -1,    -1,   142,   143,   128,    -1,   130,   131,   132,
     1498     133,    -1,   135,    -1,    -1,   138,   139,    -1,    -1,   142,
     1499     143,   128,    -1,   130,   131,   132,   133,    -1,   135,    -1,
     1500      -1,   138,   139,    -1,    -1,   142,   143,   128,    -1,   130,
     1501     131,   132,   133,    -1,   135,    -1,    -1,   138,   139,     3,
     1502       4,   142,   143,     7,    -1,     9,    10,    -1,    -1,    -1,
     1503      -1,    -1,    -1,    -1,    -1,   128,    -1,   130,   131,   132,
     1504     133,    -1,   135,    -1,    -1,   138,   139,    -1,    -1,   142,
     1505     143,   128,    -1,   130,   131,   132,   133,    -1,   135,    -1,
     1506      -1,   138,   139,     3,     4,   142,   143,     7,    -1,     9,
     1507      10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,     3,
     1508       4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
     1509      -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
     1510      -1,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1511      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1512      -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
     1513       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1514      -1,    -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,
     1515      -1,   135,    -1,    -1,   138,   139,     3,     4,   142,   143,
     1516       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,     3,
     1517       4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
     1518      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,
     1519     130,   131,   132,   133,    -1,   135,    -1,    -1,   138,   139,
     1520      -1,    -1,   142,   143,   128,    -1,   130,   131,   132,   133,
     1521      -1,   135,    -1,    -1,   138,   139,    -1,    -1,   142,   143,
     1522     128,    -1,   130,   131,   132,   133,    -1,   135,    -1,    -1,
     1523     138,   139,    -1,    -1,   142,   143,   128,    -1,   130,   131,
     1524     132,   133,   134,   135,   136,    -1,   138,   139,    -1,   128,
     1525     142,   130,   131,   132,   133,    -1,   135,   136,    -1,   138,
     1526     139,     3,     4,   142,    -1,     7,    -1,     9,    10,    -1,
     1527      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1528      -1,   128,    -1,   130,   131,   132,   133,    -1,   135,   136,
     1529      -1,   138,   139,    -1,   128,   142,   130,   131,   132,   133,
     1530      -1,   135,   136,    -1,   138,   139,     3,     4,   142,    -1,
     1531       7,    -1,     9,    10,    -1,    -1,    -1,    -1,    -1,     3,
     1532       4,    -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,
     1533      -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,
     1534      -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
     1535      -1,     9,    10,    -1,    -1,    -1,    -1,    -1,     3,     4,
     1536      -1,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1537      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1538      -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,   131,
     1539     132,   133,   134,   135,    -1,    -1,   138,   139,     3,     4,
     1540     142,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1541      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1542      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1543      -1,   128,    -1,   130,   131,   132,   133,    -1,   135,   136,
     1544      -1,   138,   139,    -1,   128,   142,   130,   131,   132,   133,
     1545     134,   135,    -1,    -1,   138,   139,    -1,   128,   142,   130,
     1546     131,   132,   133,    -1,   135,   136,    -1,   138,   139,    -1,
     1547     128,   142,   130,   131,   132,   133,    -1,   135,   136,    -1,
     1548     138,   139,    -1,   128,   142,   130,   131,   132,   133,    -1,
     1549     135,   136,    -1,   138,   139,    -1,   128,   142,   130,   131,
     1550     132,   133,    -1,   135,   136,    -1,   138,   139,     3,     4,
     1551     142,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1552      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,   134,
     1553     135,    -1,    -1,   138,   139,    -1,   128,   142,   130,   131,
     1554     132,   133,   134,   135,    -1,    -1,   138,   139,     3,     4,
     1555     142,    -1,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
     1556      -1,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
     1557      -1,    -1,    -1,    -1,    -1,     4,    -1,    -1,     7,    -1,
     1558       9,    10,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1559      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1560      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1561      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1562      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1563      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,   134,
     1564     135,    -1,    -1,   138,   139,     8,    -1,   142,    -1,    -1,
    14251565      13,    14,    15,    -1,    17,    -1,    19,    20,    -1,    -1,
    1426       -1,   128,    -1,   130,   131,   132,   133,    -1,   135,    -1,
    1427       -1,   138,   139,    -1,    -1,   128,   143,   130,   131,   132,
    1428      133,   134,   135,   136,    -1,   138,   139,    -1,    -1,    -1,
    1429       -1,   128,    -1,   130,   131,   132,   133,    -1,   135,    -1,
    1430        8,    -1,   139,    -1,    -1,    13,    -1,    15,    -1,    17,
    1431       -1,    19,    20,   128,    -1,   130,   131,   132,   133,    -1,
    1432      135,   136,    -1,   138,   139,    -1,    -1,    90,    91,    92,
     1566      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1567      -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
     1568     135,    -1,    -1,   138,   139,    -1,   128,   142,   130,   131,
     1569     132,   133,    -1,   135,    -1,    -1,   138,   139,    -1,   128,
     1570     142,   130,   131,   132,   133,    -1,   135,    -1,    -1,     8,
     1571     139,    -1,    -1,   142,    13,    14,    15,    -1,    17,    -1,
     1572      19,    20,    -1,    -1,    -1,    -1,    -1,    90,    91,    92,
    14331573      93,    94,    95,    96,    97,    98,    99,   100,    -1,    -1,
    1434      109,    -1,   111,   112,   113,    -1,   109,    -1,   111,   112,
    1435      113,    -1,    -1,    -1,    -1,   118,   119,   126,    -1,    -1,
    1436        8,    -1,    -1,   126,   133,    13,    -1,    15,   131,    17,
    1437      133,    19,    20,   142,    -1,   144,    -1,    -1,    -1,   142,
    1438       -1,   144,    90,    91,    92,    93,    94,    95,    96,    97,
    1439       98,    99,   100,    -1,    -1,   109,    -1,   111,   112,   113,
    1440       -1,   109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,
    1441      118,   119,   126,    -1,    -1,     8,    -1,    -1,   126,   133,
    1442       13,    -1,    15,   131,    17,   133,    19,    20,   142,    -1,
    1443      144,    -1,    -1,    -1,   142,   143,   144,    -1,    -1,    -1,
    1444       -1,    -1,    90,    91,    92,    93,    94,    95,    96,    97,
    1445       98,    99,   100,    -1,    -1,   109,    -1,   111,   112,   113,
    1446       -1,   109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,
    1447      118,   119,   126,    -1,    -1,     8,    -1,    -1,   126,   133,
    1448       13,    -1,    15,   131,    17,   133,    19,    20,   142,    -1,
    1449      144,    -1,    -1,    -1,   142,   143,   144,    90,    91,    92,
    1450       93,    94,    95,    96,    97,    98,    99,   100,    -1,    -1,
    1451      109,    -1,   111,   112,   113,    -1,   109,    -1,   111,   112,
    1452      113,    -1,    -1,    -1,    -1,   118,   119,   126,    -1,    -1,
    1453        8,    -1,    -1,   126,   133,    13,    -1,    15,   131,    17,
    1454      133,    19,    20,   142,    -1,   144,    -1,    -1,    -1,   142,
    1455      143,   144,    -1,    -1,    -1,    -1,    -1,    90,    91,    92,
    1456       93,    94,    95,    96,    97,    98,    99,   100,    -1,    -1,
    1457      109,    -1,   111,   112,   113,    -1,   109,    -1,   111,   112,
    1458      113,    -1,    -1,    -1,    -1,   118,   119,   126,    -1,    -1,
    1459        8,    -1,    -1,   126,   133,    13,    -1,    15,   131,    17,
    1460      133,    19,    20,   142,    -1,   144,    -1,    -1,    -1,   142,
    1461      143,   144,    90,    91,    92,    93,    94,    95,    96,    97,
    1462       98,    99,   100,    -1,    -1,   109,    -1,   111,   112,   113,
    1463       -1,   109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,
    1464      118,   119,   126,    -1,    -1,     8,    -1,    -1,   126,   133,
    1465       13,    -1,    15,   131,    17,   133,    19,    20,   142,    -1,
    1466      144,    -1,    -1,    -1,   142,   143,   144,    -1,    -1,    -1,
    1467       -1,    -1,    90,    91,    92,    93,    94,    95,    96,    97,
    1468       98,    99,   100,     3,     4,    -1,    -1,     7,    -1,     9,
    1469       10,   109,    -1,   111,   112,   113,    -1,    -1,     3,     4,
    1470      118,   119,     7,    -1,     9,    10,    -1,    -1,   126,    -1,
    1471        3,     4,    -1,   131,     7,   133,     9,    10,    -1,    -1,
    1472       -1,    -1,    -1,    -1,   142,    -1,   144,    90,    91,    92,
    1473       93,    94,    95,    96,    97,    98,    99,   100,     3,     4,
    1474       -1,    -1,     7,    -1,     9,    10,   109,    -1,   111,   112,
    1475      113,    -1,    -1,     3,     4,   118,   119,     7,    -1,     9,
    1476       10,    -1,    -1,   126,    -1,     3,     4,    -1,   131,     7,
    1477      133,     9,    10,    -1,    -1,    -1,    -1,    -1,    -1,   142,
    1478       -1,   144,     3,     4,    -1,    -1,     7,    -1,     9,    10,
    1479       -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,
    1480        9,    10,    -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,
    1481      130,   131,   132,   133,    -1,   135,   136,    -1,   138,   139,
    1482       -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
    1483      135,   136,    -1,   138,   139,   128,    -1,   130,   131,   132,
    1484      133,   134,   135,     3,     4,   138,   139,     7,    -1,     9,
    1485       10,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    1486       -1,     9,    10,   128,    -1,   130,   131,   132,   133,    -1,
    1487      135,   136,    -1,   138,   139,    -1,    -1,    -1,   128,    -1,
    1488      130,   131,   132,   133,   134,   135,    -1,    -1,   138,   139,
    1489      128,    -1,   130,   131,   132,   133,    -1,   135,   136,     4,
    1490      138,   139,     7,    -1,     9,    10,    -1,   128,    -1,   130,
    1491      131,   132,   133,    -1,   135,   136,    -1,   138,   139,   128,
    1492       -1,   130,   131,   132,   133,    -1,   135,   136,    -1,   138,
    1493      139,     3,     4,    -1,    -1,     7,    -1,     9,    10,    -1,
    1494       -1,    -1,    -1,     3,     4,    -1,    -1,     7,    -1,     9,
    1495       10,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,     7,
    1496       -1,     9,    10,    -1,    -1,    -1,    -1,    -1,   128,    -1,
    1497      130,   131,   132,   133,    -1,   135,   136,    -1,   138,   139,
    1498      128,    -1,   130,   131,   132,   133,   134,   135,     3,     4,
    1499      138,   139,     7,    -1,     9,    10,    -1,    -1,    -1,    -1,
    1500       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    13,    14,
    1501       15,    -1,    17,    -1,    19,    20,    -1,    -1,    -1,    -1,
    1502       -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
    1503      135,    -1,    -1,    -1,   139,    -1,    -1,    -1,    -1,    -1,
    1504       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
    1505       -1,    -1,    -1,    -1,    -1,    -1,   128,    -1,   130,   131,
    1506      132,   133,   134,   135,    -1,    -1,   138,   139,   128,    -1,
    1507      130,   131,   132,   133,   134,   135,    -1,    -1,   138,   139,
    1508      128,    -1,   130,   131,   132,   133,    -1,   135,    -1,    -1,
    1509      138,   139,    -1,    98,    99,   100,    -1,    -1,    -1,    -1,
    1510       -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,    -1,
    1511       -1,    -1,    -1,   128,    -1,   130,   131,   132,   133,    -1,
    1512      135,   126,    -1,   138,   139,    -1,    -1,    -1,   133,    -1,
    1513       -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   143,   144
     1574      -1,    -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,
     1575     113,    -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,
     1576      -1,    -1,    -1,   126,     8,    -1,    -1,    -1,   131,    13,
     1577     133,    15,    -1,    17,    -1,    19,    20,    -1,    -1,   142,
     1578     143,   144,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1579      -1,    90,    91,    92,    93,    94,    95,    96,    97,    98,
     1580      99,   100,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1581     109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,   118,
     1582     119,    -1,    -1,    -1,     8,    -1,    -1,   126,    -1,    13,
     1583      -1,    15,   131,    17,   133,    19,    20,    -1,    -1,    -1,
     1584      -1,    -1,    -1,   142,    -1,   144,    90,    91,    92,    93,
     1585      94,    95,    96,    97,    98,    99,   100,    -1,    -1,    -1,
     1586      -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,
     1587      -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,     8,
     1588      -1,    -1,   126,    -1,    13,    -1,    15,   131,    17,   133,
     1589      19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   142,   143,
     1590     144,    -1,    -1,    -1,    -1,    -1,    90,    91,    92,    93,
     1591      94,    95,    96,    97,    98,    99,   100,    -1,    -1,    -1,
     1592      -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,
     1593      -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,     8,
     1594      -1,    -1,   126,    -1,    13,    -1,    15,   131,    17,   133,
     1595      19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   142,   143,
     1596     144,    90,    91,    92,    93,    94,    95,    96,    97,    98,
     1597      99,   100,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1598     109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,   118,
     1599     119,    -1,    -1,    -1,     8,    -1,    -1,   126,    -1,    13,
     1600      -1,    15,   131,    17,   133,    19,    20,    -1,    -1,    -1,
     1601      -1,    -1,    -1,   142,   143,   144,    -1,    -1,    -1,    -1,
     1602      -1,    90,    91,    92,    93,    94,    95,    96,    97,    98,
     1603      99,   100,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1604     109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,   118,
     1605     119,    -1,    -1,    -1,     8,    -1,    -1,   126,    -1,    13,
     1606      -1,    15,   131,    17,   133,    19,    20,    -1,    -1,    -1,
     1607      -1,    -1,    -1,   142,   143,   144,    90,    91,    92,    93,
     1608      94,    95,    96,    97,    98,    99,   100,    -1,    -1,    -1,
     1609      -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,
     1610      -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,     8,
     1611      -1,    -1,   126,    -1,    13,    -1,    15,   131,    17,   133,
     1612      19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   142,   143,
     1613     144,    -1,    -1,    -1,    -1,    -1,    90,    91,    92,    93,
     1614      94,    95,    96,    97,    98,    99,   100,    -1,    -1,    -1,
     1615      -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,
     1616      -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,     8,
     1617      -1,    -1,   126,    -1,    13,    -1,    15,   131,    17,   133,
     1618      19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   142,    -1,
     1619     144,    90,    91,    92,    93,    94,    95,    96,    97,    98,
     1620      99,   100,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1621     109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,   118,
     1622     119,    -1,    -1,    -1,     8,    -1,    -1,   126,    -1,    13,
     1623      -1,    15,   131,    17,   133,    19,    20,    -1,    -1,    -1,
     1624      -1,    -1,    -1,   142,    -1,   144,    -1,    -1,    -1,    -1,
     1625      -1,    90,    91,    92,    93,    94,    95,    96,    97,    98,
     1626      99,   100,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1627     109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,   118,
     1628     119,    -1,    -1,    -1,     8,    -1,    -1,   126,    -1,    13,
     1629      -1,    15,   131,    17,   133,    19,    20,    -1,    -1,    -1,
     1630      -1,    -1,    -1,   142,    -1,   144,    90,    91,    92,    93,
     1631      94,    95,    96,    97,    98,    99,   100,    -1,    -1,    -1,
     1632      -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,
     1633      -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,     8,
     1634      -1,    -1,   126,    -1,    13,    -1,    15,   131,    17,   133,
     1635      19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   142,    -1,
     1636     144,    -1,    -1,    -1,    -1,    -1,    90,    91,    92,    93,
     1637      94,    95,    96,    97,    98,    99,   100,    -1,    -1,    -1,
     1638      -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,
     1639      -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,     8,
     1640      -1,    -1,   126,    -1,    13,    -1,    15,   131,    17,   133,
     1641      19,    20,    -1,    -1,    -1,    -1,    -1,    -1,   142,    -1,
     1642     144,    90,    91,    92,    93,    94,    95,    96,    97,    98,
     1643      99,   100,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1644     109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,   118,
     1645     119,    -1,    -1,    -1,     8,    -1,    -1,   126,    -1,    13,
     1646      -1,    15,   131,    17,   133,    19,    20,    -1,    -1,    -1,
     1647      -1,    -1,    -1,   142,    -1,   144,    -1,    -1,    -1,    -1,
     1648      -1,    90,    91,    92,    93,    94,    95,    96,    97,    98,
     1649      99,   100,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
     1650     109,    -1,   111,   112,   113,    -1,    -1,    -1,    -1,   118,
     1651     119,    -1,    -1,    -1,    -1,    -1,    -1,   126,    -1,    -1,
     1652      -1,    -1,   131,    -1,   133,    -1,    -1,    -1,    -1,    -1,
     1653      -1,    -1,    -1,   142,    -1,   144,    90,    91,    92,    93,
     1654      94,    95,    96,    97,    98,    99,   100,    -1,    -1,    -1,
     1655      -1,    -1,    -1,    -1,    -1,   109,    -1,   111,   112,   113,
     1656      -1,    -1,    -1,    -1,   118,   119,    -1,    -1,    -1,    -1,
     1657      -1,    -1,   126,    -1,    -1,    -1,    -1,   131,    -1,   133,
     1658      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   142,    -1,
     1659     144
    15141660};
    15151661
     
    15271673     173,   174,   175,   176,   177,   178,   179,   180,   181,   182,
    15281674     183,   184,   185,   186,   187,   188,   137,    13,    15,    19,
    1529       98,    99,   100,   126,   154,   161,   142,   152,   152,   160,
    1530      142,   142,   152,   142,   142,   142,   142,   142,   142,   142,
    1531      142,   142,   152,   142,   152,   142,   152,   109,   110,   153,
    1532      109,   137,   152,   142,   154,   109,   110,   142,   142,   109,
    1533      142,   109,   142,    14,   154,   162,   163,   163,   154,   153,
    1534      153,   154,   137,    11,   142,   127,   136,     3,     4,     7,
     1675      98,    99,   100,   126,   154,   161,   142,   152,   154,   152,
     1676     160,   142,   142,   152,   142,   142,   142,   142,   142,   142,
     1677     142,   142,   142,   152,   142,   152,   142,   152,   109,   110,
     1678     153,   109,   137,   152,   142,   154,   109,   110,   142,   142,
     1679     109,   142,   109,   142,    14,   154,   162,   163,   163,   154,
     1680     153,   153,   154,   137,    11,   127,   136,     3,     4,     7,
    15351681       9,    10,   128,   130,   131,   132,   133,   135,   138,   139,
    1536      154,   153,   142,   152,   127,   136,   137,   169,   136,   152,
    1537      154,   154,   133,   110,   142,   154,   164,   154,   133,   154,
    1538      154,   154,   154,   154,   154,   154,   143,   153,   154,   143,
    1539      153,   154,   137,   137,    13,    14,    15,    19,    98,    99,
    1540      100,   143,   152,   161,   109,   110,   155,   109,   154,   110,
    1541      143,   153,   171,   134,   143,   144,   152,   143,   153,   154,
    1542      154,   154,   154,   154,   154,   154,   154,   154,   154,   154,
    1543      154,   127,   143,   157,   143,   153,   152,   152,   169,   136,
    1544      143,   154,   154,   143,   136,   136,   143,   154,   143,   136,
    1545      136,   136,   143,   136,   143,   136,   136,   143,   143,   143,
    1546      143,   143,   143,   143,   143,   143,   143,   143,   143,   136,
    1547      143,   143,   110,   154,   109,   143,   143,   137,   143,   134,
    1548      136,   154,   143,   154,   164,   154,   134,   136,   164,   154,
    1549      134,   154,   154,   154,   154,   154,   154,    13,    14,    15,
    1550       19,    98,    99,   100,   161,   143,   110,   110,   115,   154,
    1551      157,   136,   136,   133,   153,   136,   136,   133,   143,   136,
    1552      143,   136,   136,   143,   136,   143,   143,   143,   143,   143,
    1553      143,   143,   143,   143,   134,   164,   154,   154,   143,   112,
    1554      142,   165,   166,   168,   154,   154,   154,   154,   154,   154,
    1555      136,   143,   134,   166,   167,   142,   143,   143,   134,   143,
    1556      143,   143,   143,   168,   136,   143,   153,   167,   143
     1682     142,   154,   153,   142,   152,   127,   136,   137,   169,   136,
     1683     152,   154,   142,   142,   142,   142,   142,   142,   154,   133,
     1684     110,   142,   154,   164,   154,   133,   154,   154,   154,   154,
     1685     154,   154,   154,   143,   153,   154,   143,   153,   154,   137,
     1686     137,    13,    14,    15,    19,    98,    99,   100,   143,   152,
     1687     161,   109,   110,   155,   109,   154,   110,   143,   153,   171,
     1688     134,   143,   144,   152,   154,   154,   154,   154,   154,   154,
     1689     154,   154,   154,   154,   154,   154,   143,   153,   127,   143,
     1690     157,   143,   153,   152,   152,   169,   154,   154,   154,   153,
     1691     154,   153,   136,   143,   154,   154,   143,   136,   136,   143,
     1692     154,   143,   136,   136,   136,   143,   136,   143,   136,   136,
     1693     143,   143,   143,   143,   143,   143,   143,   143,   143,   143,
     1694     143,   143,   136,   143,   143,   110,   154,   109,   143,   143,
     1695     137,   134,   136,   143,   154,   143,   154,   164,   143,   143,
     1696     154,   134,   136,   164,   154,   134,   154,   154,   154,   154,
     1697     154,   154,    13,    14,    15,    19,    98,    99,   100,   161,
     1698     143,   110,   110,   115,   154,   157,   136,   136,   133,   153,
     1699     136,   136,   133,   143,   136,   143,   136,   136,   143,   136,
     1700     143,   143,   143,   143,   143,   143,   143,   143,   143,   134,
     1701     164,   154,   154,   143,   112,   142,   165,   166,   168,   154,
     1702     154,   154,   154,   154,   154,   136,   143,   134,   166,   167,
     1703     142,   143,   143,   134,   143,   143,   143,   143,   168,   136,
     1704     143,   153,   167,   143
    15571705};
    15581706
     
    38924040
    38934041/* Line 1267 of yacc.c.  */
    3894 #line 3892 "grammar.cc"
     4042#line 4040 "grammar.cc"
    38954043      default: break;
    38964044    }
  • Singular/grammar.y

    r4eaf9ab r971e31  
    503503            if(iiExprArith2(&$$, &$1, COLONCOLON, &$3)) YYERROR;
    504504          }
    505         | elemexpr '('  ')'
     505        | expr '('  ')'
    506506          {
    507507            if(iiExprArith1(&$$,&$1,'(')) YYERROR;
    508508          }
    509         | elemexpr '(' exprlist ')'
     509        | expr '(' exprlist ')'
    510510          {
    511511            if ($1.rtyp==UNKNOWN)
  • Singular/iparith.cc

    r4eaf9ab r971e31  
    14381438  int typ;
    14391439  BOOLEAN t=FALSE;
    1440   if (u->rtyp!=IDHDL)
     1440  if ((u->rtyp!=IDHDL)||(u->e!=NULL))
    14411441  {
    14421442    idrec tmp_proc;
Note: See TracChangeset for help on using the changeset viewer.