Skip to content
Snippets Groups Projects
Gmsh.tab.cpp 403 KiB
Newer Older
      -1,   108,    -1,   114,     4,    -1,   112,    -1,   113,     4,
       6,    -1,   109,   194,   318,   195,    -1,   110,    -1,    62,
      38,   200,   318,   199,   320,   201,     6,    -1,    62,    38,
     200,   318,   199,   320,   199,   320,   199,   318,   201,     6,
      -1,    62,    38,   200,   318,   199,   320,   199,   320,   199,
     320,   199,   318,   201,     6,    -1,    62,    41,   200,   318,
     199,   320,   201,     6,    -1,    62,    41,   200,   318,   199,
     320,   199,   320,   199,   318,   201,     6,    -1,    62,    41,
     200,   318,   199,   320,   199,   320,   199,   320,   199,   318,
     201,     6,    -1,    -1,    62,    41,   200,   318,   199,   320,
     201,   307,   200,   313,   201,     6,    -1,    -1,    62,    41,
     200,   318,   199,   320,   199,   320,   199,   318,   201,   308,
     200,   313,   201,     6,    -1,    -1,    62,    41,   200,   318,
     199,   320,   199,   320,   199,   320,   199,   318,   201,   309,
     200,   313,   201,     6,    -1,    62,    42,   200,   318,   199,
     320,   201,     6,    -1,    62,    42,   200,   318,   199,   320,
     199,   320,   199,   318,   201,     6,    -1,    62,    42,   200,
     318,   199,   320,   199,   320,   199,   320,   199,   318,   201,
       6,    -1,    -1,    62,    42,   200,   318,   199,   320,   201,
     310,   200,   313,   201,     6,    -1,    -1,    62,    42,   200,
     318,   199,   320,   199,   320,   199,   318,   201,   311,   200,
     313,   201,     6,    -1,    -1,    62,    42,   200,   318,   199,
     320,   199,   320,   199,   320,   199,   318,   201,   312,   200,
     313,   201,     6,    -1,   314,    -1,   313,   314,    -1,    70,
     200,   326,   199,   326,   199,   326,   201,     6,    -1,    70,
     200,   326,   199,   326,   201,     6,    -1,    65,     6,    -1,
      51,    41,   326,     7,   318,     6,    -1,    51,    41,   326,
       7,   318,    54,    56,   318,     6,    -1,    51,    41,   326,
       7,   318,    54,    55,   318,     6,    -1,    51,    42,   200,
     318,   201,     7,   326,     6,    -1,    48,    42,   200,   318,
     201,     7,   326,     6,    -1,    51,    44,   200,   318,   201,
       7,   326,     6,    -1,    65,    42,   326,     7,   318,     6,
      -1,    65,    42,   326,     6,    -1,    67,     6,    -1,    68,
       6,    -1,   119,    -1,   120,    -1,   121,    -1,   122,    -1,
     123,    -1,   319,    -1,   194,   318,   195,    -1,   184,   318,
      -1,   183,   318,    -1,   189,   318,    -1,   318,   184,   318,
      -1,   318,   183,   318,    -1,   318,   185,   318,    -1,   318,
     186,   318,    -1,   318,   187,   318,    -1,   318,   193,   318,
      -1,   318,   179,   318,    -1,   318,   180,   318,    -1,   318,
     182,   318,    -1,   318,   181,   318,    -1,   318,   178,   318,
      -1,   318,   177,   318,    -1,   318,   175,   318,    -1,   318,
     174,   318,    -1,   318,   173,   318,     8,   318,    -1,    12,
     194,   318,   195,    -1,    13,   194,   318,   195,    -1,    14,
     194,   318,   195,    -1,    15,   194,   318,   195,    -1,    16,
     194,   318,   195,    -1,    17,   194,   318,   195,    -1,    18,
     194,   318,   195,    -1,    19,   194,   318,   195,    -1,    20,
     194,   318,   195,    -1,    22,   194,   318,   195,    -1,    23,
     194,   318,   199,   318,   195,    -1,    24,   194,   318,   195,
      -1,    25,   194,   318,   195,    -1,    26,   194,   318,   195,
      -1,    27,   194,   318,   195,    -1,    28,   194,   318,   195,
      -1,    29,   194,   318,   195,    -1,    30,   194,   318,   199,
     318,   195,    -1,    31,   194,   318,   199,   318,   195,    -1,
      32,   194,   318,   199,   318,   195,    -1,    21,   194,   318,
     195,    -1,    12,   196,   318,   197,    -1,    13,   196,   318,
     197,    -1,    14,   196,   318,   197,    -1,    15,   196,   318,
     197,    -1,    16,   196,   318,   197,    -1,    17,   196,   318,
     197,    -1,    18,   196,   318,   197,    -1,    19,   196,   318,
     197,    -1,    20,   196,   318,   197,    -1,    22,   196,   318,
     197,    -1,    23,   196,   318,   199,   318,   197,    -1,    24,
     196,   318,   197,    -1,    25,   196,   318,   197,    -1,    26,
     196,   318,   197,    -1,    27,   196,   318,   197,    -1,    28,
     196,   318,   197,    -1,    29,   196,   318,   197,    -1,    30,
     196,   318,   199,   318,   197,    -1,    31,   196,   318,   199,
     318,   197,    -1,    32,   196,   318,   199,   318,   197,    -1,
      21,   196,   318,   197,    -1,     3,    -1,     9,    -1,    10,
      -1,    11,    -1,     4,    -1,     4,   196,   318,   197,    -1,
       4,   295,    -1,     4,   196,   318,   197,   295,    -1,     4,
     198,     4,    -1,     4,   196,   318,   197,   198,     4,    -1,
       4,   198,     4,   295,    -1,     4,   196,   318,   197,   198,
       4,   295,    -1,   321,    -1,   184,   320,    -1,   183,   320,
      -1,   320,   184,   320,    -1,   320,   183,   320,    -1,   200,
     318,   199,   318,   199,   318,   199,   318,   199,   318,   201,
      -1,   200,   318,   199,   318,   199,   318,   199,   318,   201,
      -1,   200,   318,   199,   318,   199,   318,   201,    -1,   194,
     318,   199,   318,   199,   318,   195,    -1,    -1,   194,   323,
     195,    -1,     5,    -1,   323,   199,     5,    -1,    -1,   200,
     325,   201,    -1,   194,   325,   195,    -1,   326,    -1,   325,
     199,   326,    -1,   318,    -1,   327,    -1,   200,   328,   201,
      -1,   184,   200,   328,   201,    -1,   318,     8,   318,    -1,
     318,     8,   318,     8,   318,    -1,     4,   196,   197,    -1,
     184,     4,   196,   197,    -1,     4,   196,   200,   328,   201,
     197,    -1,   184,     4,   196,   200,   328,   201,   197,    -1,
     318,    -1,   327,    -1,   328,   199,   318,    -1,   328,   199,
     327,    -1,   200,   318,   199,   318,   199,   318,   199,   318,
     201,    -1,   200,   318,   199,   318,   199,   318,   201,    -1,
       4,    -1,     4,   198,   104,   198,     4,    -1,   200,   331,
     201,    -1,     4,   196,   318,   197,   198,   105,    -1,   329,
      -1,   331,   199,   329,    -1,     5,    -1,    35,   194,   332,
     199,   332,   195,    -1,    36,   194,   332,   195,    -1,    34,
     194,   332,   195,    -1,    34,   194,   332,   199,   328,   195,
      -1,    34,   194,     4,   198,     4,   195,    -1,    34,   194,
       4,   196,   318,   197,   198,     4,   195,    -1
/* YYRLINE[YYN] -- source line where rule number YYN was defined.  */
static const unsigned short yyrline[] =
{
       0,   175,   175,   177,   178,   179,   184,   186,   189,   197,
     211,   221,   223,   226,   228,   229,   232,   238,   243,   244,
     245,   248,   252,   255,   261,   266,   272,   280,   285,   289,
     295,   300,   304,   309,   313,   316,   321,   325,   329,   333,
     338,   342,   345,   349,   353,   357,   361,   365,   369,   372,
     376,   379,   383,   386,   393,   397,   403,   405,   406,   407,
     408,   409,   410,   411,   412,   413,   414,   415,   416,   419,
     424,   439,   444,   450,   455,   456,   457,   458,   459,   460,
     461,   462,   463,   464,   465,   466,   467,   468,   469,   470,
     471,   472,   473,   474,   475,   476,   477,   478,   479,   480,
     483,   486,   492,   490,   502,   505,   511,   509,   521,   524,
     530,   528,   540,   543,   550,   547,   561,   564,   571,   568,
     582,   585,   592,   589,   603,   606,   614,   610,   628,   631,
     639,   635,   653,   656,   664,   660,   678,   681,   690,   685,
     704,   707,   716,   711,   730,   733,   742,   737,   756,   759,
     768,   763,   782,   785,   794,   789,   808,   811,   820,   815,
     834,   837,   850,   841,   870,   873,   886,   877,   906,   909,
     922,   913,   942,   945,   956,   949,   973,   976,   987,   980,
    1004,  1007,  1018,  1011,  1035,  1038,  1048,  1042,  1065,  1068,
    1078,  1072,  1095,  1098,  1108,  1102,  1125,  1131,  1140,  1138,
    1152,  1158,  1167,  1165,  1182,  1184,  1185,  1186,  1187,  1190,
    1192,  1195,  1226,  1260,  1307,  1322,  1331,  1346,  1358,  1372,
    1395,  1419,  1431,  1445,  1457,  1471,  1491,  1513,  1525,  1541,
    1552,  1558,  1577,  1591,  1597,  1603,  1622,  1628,  1634,  1650,
    1657,  1663,  1669,  1680,  1691,  1716,  1722,  1741,  1762,  1770,
    1776,  1782,  1791,  1797,  1803,  1813,  1819,  1824,  1829,  1836,
    1838,  1839,  1842,  1847,  1852,  1867,  1882,  1901,  1912,  1921,
    1929,  1933,  1941,  1953,  2029,  2049,  2056,  2060,  2080,  2092,
    2102,  2123,  2144,  2165,  2171,  2176,  2181,  2185,  2193,  2204,
    2211,  2221,  2226,  2231,  2237,  2236,  2247,  2246,  2257,  2256,
    2269,  2274,  2279,  2285,  2284,  2296,  2295,  2308,  2307,  2321,
    2325,  2330,  2357,  2381,  2389,  2408,  2426,  2444,  2466,  2487,
    2508,  2522,  2541,  2546,  2555,  2557,  2558,  2559,  2560,  2563,
    2565,  2566,  2567,  2568,  2569,  2570,  2571,  2572,  2579,  2580,
    2581,  2582,  2583,  2584,  2585,  2586,  2587,  2588,  2589,  2590,
    2591,  2592,  2593,  2594,  2595,  2596,  2597,  2598,  2599,  2600,
    2601,  2602,  2603,  2604,  2605,  2606,  2607,  2608,  2609,  2610,
    2612,  2613,  2614,  2615,  2616,  2617,  2618,  2619,  2620,  2621,
    2622,  2623,  2624,  2625,  2626,  2627,  2628,  2629,  2630,  2631,
    2632,  2637,  2642,  2643,  2644,  2648,  2659,  2676,  2687,  2706,
    2722,  2738,  2754,  2771,  2776,  2780,  2784,  2788,  2794,  2799,
    2803,  2807,  2813,  2817,  2822,  2826,  2831,  2835,  2839,  2845,
    2851,  2858,  2864,  2868,  2872,  2882,  2889,  2900,  2914,  2930,
    2950,  2974,  2980,  2984,  2988,  2999,  3004,  3015,  3020,  3038,
    3043,  3056,  3062,  3068,  3073,  3081,  3094,  3098,  3116,  3130
#if YYDEBUG || YYERROR_VERBOSE
/* YYTNME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
   First, the terminals, then, starting at YYNTOKENS, nonterminals. */
static const char *const yytname[] =
{
  "$end", "error", "$undefined", "tDOUBLE", "tSTRING", "tBIGSTR", "tEND", 
  "tAFFECT", "tDOTS", "tPi", "tMPI_Rank", "tMPI_Size", "tExp", "tLog", 
  "tLog10", "tSqrt", "tSin", "tAsin", "tCos", "tAcos", "tTan", "tRand", 
  "tAtan", "tAtan2", "tSinh", "tCosh", "tTanh", "tFabs", "tFloor", 
  "tCeil", "tFmod", "tModulo", "tHypot", "tPrintf", "tSprintf", "tStrCat", 
  "tStrPrefix", "tDraw", "tPoint", "tCircle", "tEllipse", "tLine", 
  "tSurface", "tSpline", "tVolume", "tCharacteristic", "tLength", 
  "tParametric", "tElliptic", "tPlane", "tRuled", "tTransfinite", 
  "tComplex", "tPhysical", "tUsing", "tBump", "tProgression", "tPlugin", 
  "tRotate", "tTranslate", "tSymmetry", "tDilate", "tExtrude", 
  "tDuplicata", "tLoop", "tRecombine", "tDelete", "tCoherence", 
  "tIntersect", "tAttractor", "tLayers", "tScalarPoint", "tVectorPoint", 
  "tTensorPoint", "tScalarLine", "tVectorLine", "tTensorLine", 
  "tScalarTriangle", "tVectorTriangle", "tTensorTriangle", 
  "tScalarQuadrangle", "tVectorQuadrangle", "tTensorQuadrangle", 
  "tScalarTetrahedron", "tVectorTetrahedron", "tTensorTetrahedron", 
  "tScalarHexahedron", "tVectorHexahedron", "tTensorHexahedron", 
  "tScalarPrism", "tVectorPrism", "tTensorPrism", "tScalarPyramid", 
  "tVectorPyramid", "tTensorPyramid", "tText2D", "tText3D", "tBSpline", 
  "tBezier", "tNurbs", "tOrder", "tWith", "tBounds", "tKnots", "tColor", 
  "tColorTable", "tFor", "tIn", "tEndFor", "tIf", "tEndIf", "tExit", 
  "tReturn", "tCall", "tFunction", "tMesh", 
  "tB_SPLINE_SURFACE_WITH_KNOTS", "tB_SPLINE_CURVE_WITH_KNOTS", 
  "tCARTESIAN_POINT", "tTRUE", "tFALSE", "tUNSPECIFIED", "tU", "tV", 
  "tEDGE_CURVE", "tVERTEX_POINT", "tORIENTED_EDGE", "tPLANE", 
  "tFACE_OUTER_BOUND", "tEDGE_LOOP", "tADVANCED_FACE", "tVECTOR", 
  "tDIRECTION", "tAXIS2_PLACEMENT_3D", "tISO", "tENDISO", "tENDSEC", 
  "tDATA", "tHEADER", "tFILE_DESCRIPTION", "tFILE_SCHEMA", "tFILE_NAME", 
  "tMANIFOLD_SOLID_BREP", "tCLOSED_SHELL", 
  "tADVANCED_BREP_SHAPE_REPRESENTATION", "tFACE_BOUND", 
  "tCYLINDRICAL_SURFACE", "tCONICAL_SURFACE", "tCIRCLE", "tTRIMMED_CURVE", 
  "tGEOMETRIC_SET", "tCOMPOSITE_CURVE_SEGMENT", "tCONTINUOUS", 
  "tCOMPOSITE_CURVE", "tTOROIDAL_SURFACE", "tPRODUCT_DEFINITION", 
  "tPRODUCT_DEFINITION_SHAPE", "tSHAPE_DEFINITION_REPRESENTATION", 
  "tELLIPSE", "tTrimmed", "tSolid", "tEndSolid", "tVertex", "tFacet", 
  "tNormal", "tOuter", "tLoopSTL", "tEndLoop", "tEndFacet", 
  "tAFFECTDIVIDE", "tAFFECTTIMES", "tAFFECTMINUS", "tAFFECTPLUS", "'?'", 
  "tOR", "tAND", "tAPPROXEQUAL", "tNOTEQUAL", "tEQUAL", "'<'", "'>'", 
  "tGREATEROREQUAL", "tLESSOREQUAL", "'+'", "'-'", "'*'", "'/'", "'%'", 
  "tCROSSPRODUCT", "'!'", "UNARYPREC", "tMINUSMINUS", "tPLUSPLUS", "'^'", 
  "'('", "')'", "'['", "']'", "'.'", "','", "'{'", "'}'", "$accept", 
  "All", "SignedDouble", "STLFormatItem", "StepFormatItems", 
  "StepFormatItem", "StepSpecial", "StepHeaderItem", "StepDataItem", 
  "GeomFormatList", "GeomFormat", "Printf", "View", "Views", 
  "ScalarPointValues", "ScalarPoint", "@1", "VectorPointValues", 
  "VectorPoint", "@2", "TensorPointValues", "TensorPoint", "@3", 
  "ScalarLineValues", "ScalarLine", "@4", "VectorLineValues", 
  "VectorLine", "@5", "TensorLineValues", "TensorLine", "@6", 
  "ScalarTriangleValues", "ScalarTriangle", "@7", "VectorTriangleValues", 
  "VectorTriangle", "@8", "TensorTriangleValues", "TensorTriangle", "@9", 
  "ScalarQuadrangleValues", "ScalarQuadrangle", "@10", 
  "VectorQuadrangleValues", "VectorQuadrangle", "@11", 
  "TensorQuadrangleValues", "TensorQuadrangle", "@12", 
  "ScalarTetrahedronValues", "ScalarTetrahedron", "@13", 
  "VectorTetrahedronValues", "VectorTetrahedron", "@14", 
  "TensorTetrahedronValues", "TensorTetrahedron", "@15", 
  "ScalarHexahedronValues", "ScalarHexahedron", "@16", 
  "VectorHexahedronValues", "VectorHexahedron", "@17", 
  "TensorHexahedronValues", "TensorHexahedron", "@18", 
  "ScalarPrismValues", "ScalarPrism", "@19", "VectorPrismValues", 
  "VectorPrism", "@20", "TensorPrismValues", "TensorPrism", "@21", 
  "ScalarPyramidValues", "ScalarPyramid", "@22", "VectorPyramidValues", 
  "VectorPyramid", "@23", "TensorPyramidValues", "TensorPyramid", "@24", 
  "Text2DValues", "Text2D", "@25", "Text3DValues", "Text3D", "@26", 
  "NumericAffectation", "NumericIncrement", "Affectation", "Shape", 
  "Transform", "MultipleShape", "ListOfShapes", "Duplicata", "Delete", 
  "Colorify", "Command", "Loop", "Extrude", "@27", "@28", "@29", "@30", 
  "@31", "@32", "ExtrudeParameters", "ExtrudeParameter", "Transfini", 
  "Coherence", "BoolExpr", "FExpr", "FExpr_Single", "VExpr", 
  "VExpr_Single", "ListOfStrings", "RecursiveListOfStrings", 
  "ListOfListOfDouble", "RecursiveListOfListOfDouble", "ListOfDouble", 
  "FExpr_Multi", "RecursiveListOfDouble", "ColorExpr", "ListOfColor", 
  "RecursiveListOfColor", "StringExpr", 0
# ifdef YYPRINT
/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
   token YYLEX-NUM.  */
static const unsigned short yytoknum[] =
{
       0,   256,   257,   258,   259,   260,   261,   262,   263,   264,
     265,   266,   267,   268,   269,   270,   271,   272,   273,   274,
     275,   276,   277,   278,   279,   280,   281,   282,   283,   284,
     285,   286,   287,   288,   289,   290,   291,   292,   293,   294,
     295,   296,   297,   298,   299,   300,   301,   302,   303,   304,
     305,   306,   307,   308,   309,   310,   311,   312,   313,   314,
     315,   316,   317,   318,   319,   320,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,   332,   333,   334,
     335,   336,   337,   338,   339,   340,   341,   342,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,   357,   358,   359,   360,   361,   362,   363,   364,
     365,   366,   367,   368,   369,   370,   371,   372,   373,   374,
     375,   376,   377,   378,   379,   380,   381,   382,   383,   384,
     385,   386,   387,   388,   389,   390,   391,   392,   393,   394,
     395,   396,   397,   398,   399,   400,   401,   402,   403,   404,
     405,   406,   407,   408,   409,   410,   411,   412,   413,   414,
     415,   416,   417,   418,   419,   420,   421,   422,   423,   424,
     425,   426,   427,    63,   428,   429,   430,   431,   432,    60,
      62,   433,   434,    43,    45,    42,    47,    37,   435,    33,
     436,   437,   438,    94,    40,    41,    91,    93,    46,    44,
     123,   125
};
# endif

/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives.  */
static const unsigned short yyr1[] =
{
       0,   202,   203,   203,   203,   203,   204,   204,   205,   205,
     205,   206,   206,   207,   207,   207,   208,   208,   208,   208,
     208,   209,   209,   209,   210,   210,   210,   210,   210,   210,
     210,   210,   210,   210,   210,   210,   210,   210,   210,   210,
     210,   210,   210,   210,   210,   210,   210,   210,   210,   210,
     210,   210,   210,   210,   211,   211,   212,   212,   212,   212,
     212,   212,   212,   212,   212,   212,   212,   212,   212,   213,
     213,   214,   214,   215,   215,   215,   215,   215,   215,   215,
     215,   215,   215,   215,   215,   215,   215,   215,   215,   215,
     215,   215,   215,   215,   215,   215,   215,   215,   215,   215,
     216,   216,   218,   217,   219,   219,   221,   220,   222,   222,
     224,   223,   225,   225,   227,   226,   228,   228,   230,   229,
     231,   231,   233,   232,   234,   234,   236,   235,   237,   237,
     239,   238,   240,   240,   242,   241,   243,   243,   245,   244,
     246,   246,   248,   247,   249,   249,   251,   250,   252,   252,
     254,   253,   255,   255,   257,   256,   258,   258,   260,   259,
     261,   261,   263,   262,   264,   264,   266,   265,   267,   267,
     269,   268,   270,   270,   272,   271,   273,   273,   275,   274,
     276,   276,   278,   277,   279,   279,   281,   280,   282,   282,
     284,   283,   285,   285,   287,   286,   288,   288,   290,   289,
     291,   291,   293,   292,   294,   294,   294,   294,   294,   295,
     295,   296,   296,   296,   296,   296,   296,   296,   296,   296,
     296,   296,   296,   296,   296,   296,   296,   296,   296,   297,
     297,   297,   297,   297,   297,   297,   297,   297,   297,   297,
     297,   297,   297,   297,   297,   297,   297,   297,   297,   297,
     297,   297,   297,   297,   297,   298,   298,   298,   298,   299,
     299,   299,   300,   300,   300,   300,   300,   301,   301,   302,
     302,   302,   303,   304,   304,   304,   304,   304,   305,   305,
     305,   305,   305,   305,   305,   305,   305,   305,   306,   306,
     306,   306,   306,   306,   307,   306,   308,   306,   309,   306,
     306,   306,   306,   310,   306,   311,   306,   312,   306,   313,
     313,   314,   314,   314,   315,   315,   315,   315,   315,   315,
     315,   315,   316,   316,   317,   317,   317,   317,   317,   318,
     318,   318,   318,   318,   318,   318,   318,   318,   318,   318,
     318,   318,   318,   318,   318,   318,   318,   318,   318,   318,
     318,   318,   318,   318,   318,   318,   318,   318,   318,   318,
     318,   318,   318,   318,   318,   318,   318,   318,   318,   318,
     318,   318,   318,   318,   318,   318,   318,   318,   318,   318,
     318,   318,   318,   318,   318,   318,   318,   318,   318,   318,
     318,   319,   319,   319,   319,   319,   319,   319,   319,   319,
     319,   319,   319,   320,   320,   320,   320,   320,   321,   321,
     321,   321,   322,   322,   323,   323,   324,   324,   324,   325,
     325,   326,   326,   326,   326,   327,   327,   327,   327,   327,
     327,   328,   328,   328,   328,   329,   329,   329,   329,   330,
     330,   331,   331,   332,   332,   332,   332,   332,   332,   332
/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN.  */
static const unsigned char yyr2[] =
{
       0,     2,     1,     1,     1,     2,     1,     2,     1,    21,
       1,     0,     2,     1,     1,     1,     2,     2,     2,     2,
       2,     7,     5,    17,     9,    23,    31,    15,    11,    11,
      15,     9,    13,     9,    11,    13,     9,     9,    11,     9,
      11,     9,    11,    13,    13,    11,    13,    17,     9,    11,
      11,    13,    11,     9,     0,     2,     1,     1,     1,     1,
       1,     1,     1,     1,     1,     1,     1,     1,     1,     5,
       7,     6,     8,     0,     2,     2,     2,     2,     2,     2,
       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
       1,     3,     0,    13,     1,     3,     0,    13,     1,     3,
       0,    13,     1,     3,     0,    19,     1,     3,     0,    19,
       1,     3,     0,    19,     1,     3,     0,    25,     1,     3,
       0,    25,     1,     3,     0,    25,     1,     3,     0,    31,
       1,     3,     0,    31,     1,     3,     0,    31,     1,     3,
       0,    31,     1,     3,     0,    31,     1,     3,     0,    31,
       1,     3,     0,    55,     1,     3,     0,    55,     1,     3,
       0,    55,     1,     3,     0,    43,     1,     3,     0,    43,
       1,     3,     0,    43,     1,     3,     0,    37,     1,     3,
       0,    37,     1,     3,     0,    37,     1,     3,     0,    13,
       1,     3,     0,    15,     1,     1,     1,     1,     1,     1,
       1,     4,     7,     9,     6,     3,     6,     6,     9,     6,
       9,     5,     8,     8,    11,     6,     9,     9,     9,     7,
       8,    12,     6,     7,     7,    12,     7,     7,     9,    17,
       8,     8,     7,     7,    11,     8,    12,     8,    22,    20,
       8,     8,     8,     7,     8,     5,    11,     5,     9,     1,
       1,     1,     0,     2,     6,     6,     6,     4,     6,     4,
       6,     3,     5,     3,     3,     7,     2,     2,     6,     8,
       8,    10,     1,     2,     1,     3,     4,     1,     8,    12,
      14,     8,    12,    14,     0,    12,     0,    16,     0,    18,
       8,    12,    14,     0,    12,     0,    16,     0,    18,     1,
       2,     9,     7,     2,     6,     9,     9,     8,     8,     8,
       6,     4,     2,     2,     1,     1,     1,     1,     1,     1,
       3,     2,     2,     2,     3,     3,     3,     3,     3,     3,
       3,     3,     3,     3,     3,     3,     3,     3,     5,     4,
       4,     4,     4,     4,     4,     4,     4,     4,     4,     6,
       4,     4,     4,     4,     4,     4,     6,     6,     6,     4,
       4,     4,     4,     4,     4,     4,     4,     4,     4,     4,
       6,     4,     4,     4,     4,     4,     4,     6,     6,     6,
       4,     1,     1,     1,     1,     1,     4,     2,     5,     3,
       6,     4,     7,     1,     2,     2,     3,     3,    11,     9,
       7,     7,     0,     3,     1,     3,     0,     3,     3,     1,
       3,     1,     1,     3,     4,     3,     5,     3,     4,     6,
       7,     1,     1,     3,     3,     9,     7,     1,     5,     3,
       6,     1,     3,     1,     6,     4,     4,     6,     6,     9
/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
   STATE-NUM when YYTABLE doesn't specify something else to do.  Zero
   means the default is an error.  */
static const unsigned short yydefact[] =
       0,     0,     8,    10,     0,     0,     3,     2,     4,     5,
       0,     1,     0,     0,     0,     0,     0,     0,     0,     0,
       0,    12,    13,    15,    14,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     282,     0,   287,     0,   284,     0,     0,     0,    55,    57,
      56,    58,    59,    60,    61,    62,    63,    68,    67,    64,
      65,    66,     6,     0,     0,     0,    16,    17,    19,    18,
      20,   412,   412,     0,   391,   395,   443,   204,   392,   393,
     394,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   208,   207,   206,   205,     0,
       0,     0,   210,   209,     0,     0,     0,     0,     0,     0,
     329,     0,     0,   277,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   403,     0,     0,     0,     0,     0,     0,   262,
       0,     0,     0,   262,   322,   323,     0,     0,     0,     0,
       0,     0,   437,     0,     0,     0,     0,     0,   276,     0,
     283,     0,     7,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   332,   331,
     333,     0,     0,     0,     0,     0,     0,     0,     0,   215,
     274,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   273,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   395,     0,     0,   421,
       0,   422,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   405,   404,     0,     0,
       0,     0,   262,   262,     0,     0,     0,     0,     0,     0,
       0,     0,   271,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   262,     0,     0,     0,   285,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   443,     0,     0,     0,   330,     0,     0,   431,
     432,     0,     0,   204,     0,     0,     0,     0,   211,     0,
     347,   346,   345,   344,   340,   341,   343,   342,   335,   334,
     336,   337,   338,   339,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   395,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   407,   406,   261,     0,
     260,   259,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   267,   263,   321,     0,     0,   269,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   286,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,    74,    75,    76,
      77,    78,    79,    80,    81,    82,    83,    84,    85,    86,
      87,    88,    89,    90,    91,    92,    93,    94,    95,    96,
      97,    98,    99,   349,   370,   350,   371,   351,   372,   352,
     373,   353,   374,   354,   375,   355,   376,   356,   377,   357,
     378,   369,   390,   358,   379,     0,     0,   360,   381,   361,
     382,   362,   383,   363,   384,   364,   385,   365,   386,     0,
       0,     0,     0,     0,     0,     0,     0,   446,     0,     0,
     445,     0,     0,     0,     0,     0,     0,     0,     0,   221,
       0,     0,     0,     0,     0,    69,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   427,     0,     0,     0,   423,
     425,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   255,   257,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,    71,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   214,
     433,   434,     0,     0,     0,     0,     0,   216,   217,   219,
       0,     0,   441,     0,   225,   348,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   428,     0,   424,     0,
     232,     0,     0,     0,     0,   314,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   268,     0,     0,     0,   320,   270,     0,     0,
       0,     0,     0,   416,     0,   438,     0,     0,     0,   278,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   324,   325,   326,   327,   328,
       0,     0,     0,     0,     0,     0,     0,    21,     0,   400,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   359,   380,   366,
     387,   367,   388,   368,   389,     0,   448,   447,   444,     0,
     204,     0,     0,     0,     0,   212,     0,     0,     0,   439,
      70,   229,   236,     0,   237,     0,   233,     0,   234,   253,
       0,     0,   426,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   275,     0,     0,     0,
       0,   262,     0,     0,     0,   294,     0,   303,     0,     0,
       0,     0,     0,   242,   243,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   222,     0,
       0,   223,     0,   442,     0,   241,   251,   429,     0,     0,
     318,   245,   247,     0,     0,   317,   319,   252,   230,   240,
     250,   254,     0,     0,     0,   411,     0,   410,     0,     0,
     288,     0,   291,     0,     0,   300,     0,   264,   265,   266,
       0,     0,   416,     0,   419,     0,     0,     0,     0,   436,
       0,   280,   279,     0,     0,     0,     0,     0,    24,     0,
      33,     0,    37,     0,    31,     0,     0,    36,     0,    41,
      39,     0,     0,     0,     0,     0,     0,    48,     0,     0,
       0,     0,     0,    53,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   213,   218,   220,     0,   226,     0,   238,
     430,     0,   316,   315,   227,   228,   262,     0,   258,     0,
       0,     0,     0,     0,     0,     0,     0,   418,     0,   417,
       0,     0,     0,     0,     0,     0,     0,   416,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   449,     0,   440,     0,     0,     0,
     409,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   309,     0,     0,     0,     0,     0,     0,   420,     0,
       0,   435,   281,     0,     0,    38,     0,     0,     0,     0,
      28,     0,    34,     0,    40,    29,    42,     0,    45,     0,
      49,    50,     0,     0,    52,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   224,     0,   256,     0,     0,     0,     0,
     296,     0,   313,     0,     0,   310,   305,     0,     0,     0,
       0,     0,     0,   244,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   102,   106,
     110,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   198,     0,     0,   408,   289,     0,   292,     0,
       0,     0,   295,   301,     0,     0,   304,   231,   235,     0,
       0,   246,     0,     0,     0,     0,     0,    32,    35,    43,
       0,    44,    51,    46,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   202,     0,   290,     0,   293,     0,     0,     0,
     302,     0,     0,     0,     0,     0,     0,    27,    30,     0,
       0,     0,   100,     0,   104,     0,   108,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   297,     0,     0,   312,
     306,     0,     0,     0,     0,     0,     0,    47,    23,   101,
     103,   105,   107,   109,   111,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   197,   199,     0,   200,
     239,     0,     0,     0,     0,     0,     0,     0,     0,   114,
     118,   122,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   248,     0,    25,   113,   115,   117,
     119,   121,   123,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   138,   142,   146,   150,   154,
     158,     0,     0,     0,     0,     0,     0,     0,     0,     0,
      26,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   136,     0,   140,     0,   144,     0,   148,     0,
     152,     0,   156,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   137,   139,   141,   143,   145,   147,   149,
     151,   153,   155,   157,   159,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   184,     0,
     188,     0,   192,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   185,   187,   189,   191,   193,   195,     0,     0,     0,
     174,   178,   182,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   172,
       0,   176,     0,   180,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   173,   175,   177,   179,
     181,   183,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     162,   166,   170,     0,     0,     0,     0,     0,     0,     0,
     160,     0,   164,     0,   168,     0,     0,     0,     0,     0,
       0,   161,   163,   165,   167,   169,   171
static const short yydefgoto[] =
{
      -1,     5,    84,     6,     7,    21,    22,    23,    24,     8,
      68,    69,    70,   418,  1581,   627,  1495,  1583,   628,  1496,
    1585,   629,  1497,  1793,   630,  1740,  1795,   631,  1741,  1797,
     632,  1742,  1929,   633,  1891,  1931,   634,  1892,  1933,   635,
    1893,  2041,   636,  2011,  2043,   637,  2012,  2045,   638,  2013,
    2047,   639,  2014,  2049,   640,  2015,  2051,   641,  2016,  2239,
     642,  2233,  2241,   643,  2234,  2243,   644,  2235,  2188,   645,
    2176,  2190,   646,  2177,  2192,   647,  2178,  2137,   648,  2119,
    2139,   649,  2120,  2141,   650,  2121,  1608,   651,  1519,  1698,
     652,  1610,   137,   240,    71,   542,   528,   529,   530,   531,
      75,    76,    77,    78,    79,  1163,  1469,  1567,  1166,  1474,
    1571,  1340,  1341,    80,    81,   950,   329,   140,   346,   172,
     235,   411,  1058,  1173,  1174,   331,   471,   194,   713,   863,
     141
/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
   STATE-NUM.  */
#define YYPACT_NINF -1304
static const short yypact[] =
{
    2658,    30, -1304, -1304,  -121,    61, -1304,   262,  2875, -1304,
      10, -1304,    59,    69,    90,   123,   130,   141,  -124,   -80,
     -72, -1304, -1304, -1304, -1304,  2274,   -38,   168,   -11,    -1,
      23,   -39,   197,   117,   135,   248,   163,   309,   337,   344,
     465,   343,   116,   226,   192,    -4,    -4,   221,   174,     4,
     399,     3,   420,   442,   164,   257,   260,   -24,     6,    15,
   -1304,   261, -1304,   454, -1304,   468,   472,   423, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304,   466,    10,  2983, -1304, -1304, -1304, -1304,
   -1304,   288,   288,   493, -1304,   265,     7, -1304, -1304, -1304,
   -1304,  -106,   212,   223,   270,   281,   300,   316,   317,   327,
     333,   340,   341,   362,   363,   409,   430,   431,   449,   458,
     459,   462,   291,   294,   303, -1304, -1304, -1304, -1304,  2375,
    2375,  2375, -1304, -1304,  2375,   570,    26,  2375,   508,   734,
   -1304,   509,   513, -1304,  2375,  2375,  2375,   328,  2375,   334,
    2375,  2375,  1177,  2375,   331,   349,   378,  1177,   338,   404,
     413,   414,   418,   434,   437,   640,    -4,    -4,    -4,  2375,
    2375,  -127, -1304,  -107,    -4,   457,   463,   471,   453, -1304,
    1177,   479,   672, -1304, -1304, -1304,  1177,  1177,  2375,  2375,
     -70,  2375,   489,  2375,   488,   592,  2375,  2375, -1304,   711,
   -1304,   534, -1304,    10,   539,   540,   554,   563,   571,   575,
     582,   589,   590,   617,   621,   646,   669,   683,   684,   685,
     686,   687,   688,   689,   690,   692,   693,   694,   695,   696,
     700,   701,   702,   703,   713,   538,   704,   670,  2375,   894,
   -1304,    -4, -1304,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,    64,    67,    67,   545,   545,
     545, 11062,   893,  2405, 10495,   253,   705,   895,   959, -1304,
   -1304,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375, -1304,   -82, 11085, 11108,
   11131,  2375, 11154,  2375, 11177, 11200,   282,  1463,  2405,   367,
     897, -1304, 11223,  2375,  2375,  2375,   899,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,   706,  -120, -1304, -1304,  3342,  3365,
      -4,    -4,   369,   369,    -7,  2375,  2375,  2375,  2375,   948,
     101,  2375, -1304,  2690,   903,   915, 11246, 11269,   821,  2375,
   11292,   820,  3388, -1304,   725,   664, 11315, -1304,  2375,   761,
     923,   924,   925,   926,   931,   957,   958,   961,   962,   963,
     964,   965,   966,   967,   968,   969,   970,   972,   973,   974,
     975,   976,   978,   782,   979,   980,   989,   991,   996,  1000,
   -1304,   -57,  1001,  1002,  1004, 10516,    79,   -35,  2964, 11338,
   10537, 11361, 10558, 11384, 10579, 11407, 10600, 11430, 10621, 11453,
   10642, 11476, 10663, 11499, 10684, 11522, 10705, 11545, 10726, 11568,
   10747,  3411,  3434, 11591, 10768, 11614, 10789, 11637, 10810, 11660,
   10831, 11683, 10852, 11706, 10873,  3457,  3480,  3503,  3526,  3549,
    3572,   380, -1304,    98,   765,   812, -1304,  1177,  2495,   367,
   -1304,   460,   154,    67,  2375,  1008,  1006,     8, -1304,  2355,
     455,   526,   384,   384,   198,   198,   198,   198,   162,   162,
     545,   545,   545,   545,  1010,  2405,  1011,  1012,  1013, 11729,
    1014, 11752,  1015,  1016,   929,   295,  2405,   461,  2375,  2375,
    1017,  1142, 11775, 11798,  2375,  2689,  2774, 11821, 11844, 11867,
   11890, 11913,   827,    -4,  2375,  2375, -1304, -1304, -1304,   828,
      42, -1304,   829,  2375,  3595,  3618,  3641, 10894,  -160,   -48,
     -41, -1304, -1304, -1304,  2375, 10915, -1304,   831,   832,  1026,
    1027,   841, 11936,  1029,   839,  2375,  2762,  2375,  2375, -1304,
   11959,   873,   843,   845,   849,   850,   851,   853,   854,   855,
     856,   857,   858,   862,   863,   864,   865,   867,   868,   869,
     871,   872,   900,   901,   902,   904,   905,   906,   907,   909,
     910,   911, -1304,  1035,   877, -1304,   912,  -139, -1304, -1304,
     908,   921,   922,   927,   928,   930,   933,   934,   936,   941,
     953,   960,   988,   990,  1019,  1031,  1032,  1033,  1038,  1039,
    1042,  1044,  1047,  1048,  1049,  1050,  1111, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304,  2375,  2375, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  1115, -1304,  2405,    67,
   -1304,  1114,  2405,   986,    28,  2375,  1119,  1179,  1037, -1304,
    1238,  1051,     6,  1242,  2375, -1304,   100,    -4,  1177,  1177,
    1243,  1177,  1244,  1177,  1177, -1304,  2405,  1147,   475, -1304,
    2430,  1393,  1052,  1246,  1247,  1249,   436,  1250,  1251,  1252,
    1253,  1254,  1255,  1257,  1245,   108,  3664,  3687, -1304, -1304,
    2817,    -4,    -4,    -4,  1259,  2405,  2405,  2405,  1591,  1260,
    2375,  2375,  1177,  1177,  2375,  1262,  1177,  1263,  3710, -1304,
    2447,   639,  1265,  1108,  1296,  2375,  2375,    -4,  1297,  1300,
    1120,  1306,  1307,  1177,  1177,  1308,    -4,  1309,  1310,  1177,
    1177,  1311,  1329,  1330,  1331,  1334,  1177,   382,  1177,  1335,
    1337,  1340,  1336,  1343, -1304,  1342,   288,  1345, -1304,  2990,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375, -1304, 11982, 10936, 12005,
   10957, 12028, 10978, 12051, 10999, 11020,  1145,   105,  1155, -1304,
     367, -1304,    17,   267,  1153,  1346,  1647, -1304, -1304, -1304,
       6,  2375, -1304,   480, -1304, 12879,  1348,    14,    29,  1349,
    1177,  1350,  1177,  1351,  1352,   483, -1304,  2405, -1304,  2375,
   -1304,  2375,  1177,  1177,  1177, -1304,   250,  1177,  1177,  1177,
    1177,  1177,  1177,  1177,   403,  2375,  2375,  2375,  1152,   138,
     194,   206, -1304,   484,   492,   495, -1304, -1304,  3733,  3756,
    1353,  1356, 12074,  -129,  1261, -1304,  2375,  2375,  2375, -1304,
    1163,    10,  1166,  3779,  3802,   -68,  1168,  1173,  1170,  1175,
    1174,  1180,  1181,  1182,   -33,  1183,  1184,  1188,  1186,  1189,
    1191,  1192,  1195,  1197,  1202, -1304, -1304, -1304, -1304, -1304,
    1199,  1201,  1203,  1204,  1205,  1206,  1207, -1304,  1208,    79,
    1366,  3825,  3848,  3871,  3894,  3917,  3940,  3963,  3986,  4009,
    4032,  4055,  4078,  4101,  4124,  4147,  4170,  4193,  4216,  4239,
    4262,  4285,  4308,  4331,  4354,  4377,  4400, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304,  1176, -1304, -1304, -1304,  1177,
      67,  2375,  1370,  1374,     8, -1304,  1381, 11041,     6, -1304,
   -1304, -1304, -1304,    -4, -1304,  1399, -1304,  1402, -1304, -1304,
    1212,   496, 12879,  4423,  1404,  1405,  1406,  2375,  2375,  1407,
    1408,  1409,  1431,  1433,  1434,  1435, -1304,  2308,  2969, 12097,
    2399,   369,    -4,  1436,    -4,  1452,    -4,  1453,  1454,  1455,
    1456,  2375,  2375, -1304, -1304,  1457,  1177,  1177,  1365,  1177,
    2464,   187, 12120,  2375,    10,  1467,  2375,  1177,  1490,  1494,
    1492,  1314,  1495,   382,  1496,  1497,  2375,  1498,  1500,  1499,
    1501,  1503,   382,  2375,  2375,  2375,  1177,  1502,  1506,   382,
    2375,  1507,  1508,  1534,  2375,   288, -1304, -1304,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  1535,  1563,  1575,  1730, -1304,  1576,
    1579, -1304,  1384, -1304,    16, -1304, -1304, -1304,  1344,  2375,
   -1304, -1304, -1304,  1775,  1843, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304,  2052,  1581,  1388, -1304,  2375, -1304,  1389,   144,
   -1304,   151, -1304,  1391,   157, -1304,  1392, -1304, -1304, -1304,
    4446,  4469,  -129,   143, -1304,   499,  1395,  1489,  2375, -1304,
    2375, -1304, -1304,  4492,    10,  1398,  4515,  1397, -1304,  1400,
   -1304,  1428, -1304,  1403, -1304,  1430, 12143, -1304,  1432, -1304,
   -1304,  1410,  1437, 12166,  4538, 12189,  1438, -1304,  1439,  1440,
    4561,  1441,  1443, -1304,  4584,  1444,  4607,  4630,  4653,  4676,
    4699,  4722,  4745,  4768,  4791,  4814,  4837,  4860,  4883,  4906,
    4929,  4952,  4975,  4998,  5021,  5044,  5067,  5090,  5113,  5136,
    5159,  5182,  1447, -1304, -1304, -1304,     6, -1304,  1525, -1304,
   -1304,  5205, -1304, -1304, -1304, -1304,   369,  2655, -1304,  1533,
    1533,   -20,  1533,   -20,  2375,  2375,  1530, -1304,  1177, -1304,
    1177,  2375,  2994,  3023,  1177,  1477,  1595,  -129,   382,  1600,
    2375,  1638,   382,  1639,  1645,  1643,  1644,  1648,  2375,  1649,
    1177,  1650,  1652,  2375,  1656,  1654,  2375,  1646,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375, -1304,  1655, -1304,  1657,  1464,  2375,
   -1304,  1533,  1533,  2375,  3048,   232,  3078,   263,  1660,  1468,
     -32, -1304,  3103,   269,   -26,  3132,  3157,  1469, -1304,  1473,
    2079, -1304, -1304,  1466,    10, -1304,  1474,  1475,  1476,  5228,
   -1304,  1481, -1304,  1482, -1304, -1304, -1304, 12212, -1304,  1479,
   -1304, -1304, 12235,  1486, -1304, 12258,  1483, 12281, 12304, 12327,
    5251,  5274,  5297,  5320,  5343,  5366,  5389,  5412,  5435,  5458,
    5481,  5504,  5527,  5550,  5573,  5596,  5619,  5642,  5665,  5688,
    5711, 12350,  5734, -1304,  1485, -1304,  3186,  1270,  1677,  2375,
    1679,  2375, -1304,  1177,  1680, -1304,  1699,  2375,  1700,  1701,
    1702,  1177,  1177, -1304,  1703,    10,   382,   382,   382,   382,
    1704,  1705,  1706,   382,  1707,  1708,  1709,  1713, -1304, -1304,
   -1304,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375, -1304,  2375,  1714, -1304, -1304,  3217, -1304,  1520,
    3242,  1522, -1304, -1304,  1523,  3267, -1304, -1304, -1304,  1526,
    1527, -1304,    10,  1531,  1532,  1529,  1537, -1304, -1304, -1304,
    1536, -1304, -1304, -1304,  1538,  1539,  1540,  1541,  5757,  5780,
    5803,  5826,  5849,  5872,  5895,  5918,  5941,  5964,  5987,  6010,
    6033,  6056,  6079,  6102,  6125,  6148,  6171,  6194,  6217,  1542,
   12373,  1568,  1720,   -20,  1723,  1177,   -20,  1728,  1177,  1682,
    1617,   382,   382,  1774,  1777,   382,  1780,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,    67, -1304,  1781, -1304,   -23, -1304,  1587,   515,   -19,
   -1304,  1588,  1589,  1592,    10,  1590,  1594, -1304, -1304,  1596,
    1599,   524, 12879,   525, 12879,   528, 12879,  6240,  6263,  6286,
    6309,  6332,  6355,  6378,  6401,  6424,  6447,  6470,  6493,  6516,
    6539,  6562,  6585,  6608,  6631,  6654,  6677,  6700,   543, -1304,
    1598,  1618,  1790,   -20,  1177,  1794,  1817,   -20,  1735,  2375,
      10,   382,  1177,  1830,  1831,  2375,  1832,  2375,  1833,  2375,
    1835,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,    67,  1836,    67,  1837, -1304,   -16,  1664, -1304,
   -1304,   -10,  1666,  6723,    10,  1668,  1669, -1304, -1304, 12879,
   -1304, 12879, -1304, 12879, -1304, 12396, 12419, 12442,  6746,  6769,
    6792,  6815,  6838,  6861,  6884,  6907,  6930,  6953,  6976,  6999,
    7022,  7045,  7068,  7091,  7114,  7137, -1304, -1304,   544, -1304,
   -1304,  1838,  1839,  1840,  2375,  2375,  1681,   382,  1177, -1304,
   -1304, -1304,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
      67,  1841, -1304, -1304, -1304,  7160,  3292,  1710,  1670,  1671,
    1672,  1673,  1674,  7183,  7206,  7229,  7252,  7275,  7298,  7321,
    7344,  7367,  7390,  7413,  7436,  7459,  7482,  7505,  7528,  7551,
    7574, -1304, -1304,  2375,  1865, -1304,  1177,   382,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  3317,
   -1304,  1676,  1684,   548, 12879,   557, 12879,   561, 12879,  7597,
    7620,  7643,  7666,  7689,  7712,  7735,  7758,  7781,  7804,  7827,
    7850,  7873,  7896,  7919,  7942,  7965,  7988,  1870,  1177,  1871,
    2375,  1874,  2375,  1875,  2375,  1876,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375, -1304,  1685, -1304, 12879, -1304, 12879,
   -1304, 12879, -1304, 12465, 12488, 12511,  8011,  8034,  8057,  8080,
    8103,  8126,  8149,  8172,  8195,  8218,  8241,  8264,  8287,  8310,
    8333,  1177, -1304, -1304, -1304,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    1719,  1683,  1721,  1722,  8356,  8379,  8402,  8425,  8448,  8471,
    8494,  8517,  8540,  8563,  8586,  8609,  8632,  8655,  8678,  1177,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  1725,   562,
   12879,   567, 12879,   572, 12879,  8701,  8724,  8747,  8770,  8793,
    8816,  8839,  8862,  8885,  8908,  8931,  8954,  8977,  9000,  9023,
     382,  2375,  1900,  2375,  1913,  2375,  1914,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  1732, 12879, -1304, 12879, -1304, 12879, -1304, 12534,
   12557, 12580, 12603, 12626, 12649,  9046,  9069,  9092,  9115,  9138,
    9161,  9184,  9207,  9230,  1919, -1304, -1304, -1304, -1304, -1304,
   -1304,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
   -1304,  1729,  1731,  1747,  1763,  1764,  1765,  9253,  9276,  9299,
    9322,  9345,  9368,  9391,  9414,  9437,  2375,  2375,  2375,  2375,
    2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,   573, 12879,   576, 12879,   580, 12879,   581, 12879,   628,
   12879,   629, 12879,  9460,  9483,  9506,  9529,  9552,  9575,  9598,
    9621,  9644,  2375,  1960,  2375,  1961,  2375,  1963,  2375,  1964,
    2375,  1965,  2375,  1966,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  2375,  2375, 12879, -1304, 12879, -1304, 12879, -1304, 12879,
   -1304, 12879, -1304, 12879, -1304,  9667,  9690,  9713,  9736,  9759,
    9782, 12672, 12695, 12718,  2375,  2375,  2375,  2375,  2375,  2375,
   -1304, -1304, -1304,  9805,  9828,  9851,  9874,  9897,  9920,  1773,
    1785,  1786,  2375,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    2375,  9943,  9966,  9989, 10012, 10035, 10058,   634, 12879,   654,
   12879,   659, 12879,  2375,  2375,  2375,  2375,  2375,  2375,  2375,
    1968,  2375,  1969,  2375,  1981, 10081, 10104, 10127, 12741, 12764,
   12787, 12879, -1304, 12879, -1304, 12879, -1304,  2375,  2375,  2375,
   -1304, -1304, -1304, 10150, 10173, 10196,  1788,  1789,  1791,  2375,
    2375,  2375,  2375,  2375,  2375, 10219, 10242, 10265,   660, 12879,
     663, 12879,   666, 12879,  2375,  2375,  2375,  2375,  1984,  2375,
    1986,  2375,  1987, 10288, 10311, 10334, 12879, -1304, 12879, -1304,
   12879, -1304,  2375,  2375,  2375, 10357, 10380, 10403,  2375,  2375,
    2375, 10426, 10449, 10472,  2375,  2375,  2375, 12810, 12833, 12856,
   -1304, -1304, -1304,  1795,  1796,  1797,  2375,  2375,  2375,   667,
   12879,   674, 12879,   675, 12879,  2375,  1988,  2375,  1992,  2375,
    1993, 12879, -1304, 12879, -1304, 12879, -1304
static const short yypgoto[] =
{
   -1304, -1304,   -36, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304,  1401, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1304,  -291,   -22, -1304,  2011,  2023,  -351,  -162,  2024,
   -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304, -1304,
   -1304, -1254, -1303, -1304, -1304, -1015,   -25, -1304,   -31, -1304,
     -91, -1304, -1143,   977,  1484,  -231,  -322,  -707,  1034, -1304,
    -259
/* YYTABLE[YYPACT[STATE-NUM]].  What to do in state STATE-NUM.  If
   positive, shift that token.  If negative, reduce the rule which
   number is the opposite.  If zero, do what YYDEFACT says.
   If YYTABLE_NINF, parse error.  */
#define YYTABLE_NINF -55
static const short yytable[] =
{
     139,   236,   532,   138,   474,   862,   507,   181,   178,  1344,
     192,   241,   711,    82,   171,   173,   147,   359,   190,   195,
    1011,   363,  1249,   149,    97,   147,   463,   464,   465,  1266,
     295,   368,   853,  1338,   144,  1012,     9,  1415,  1339,  1338,
     755,  1415,  1338,    10,  1339,  1338,  1338,  1339,   203,  1338,
    1339,  1339,   132,   133,  1339,  1338,   350,   351,  1193,   807,
    1339,    11,   470,   350,   351,  1056,    85,  1202,   461,   462,
      91,  1057,   462,   352,  1209,    86,   350,   351,  1013,   523,
     538,    29,    30,   539,   540,    33,    34,    35,   243,    36,
     244,    38,    39,   353,    41,    42,    87,   470,   122,   123,
     124,   122,   123,   124,   288,   289,   290,   543,   544,   291,
     294,    54,   298,   494,    92,   350,   351,   495,   182,   318,
     319,   320,    93,   322,   369,   324,   325,  1068,   332,    88,
     296,   297,   854,   855,  1356,   345,    89,   347,   592,    55,
      56,    57,   593,   354,   348,   349,   148,    90,   350,   351,
     350,   351,   756,  1006,   161,   148,   142,   162,   163,   757,
     164,    97,  1077,   366,   367,   599,   370,   379,   372,  1414,
     191,   375,   376,   716,   143,  1418,   350,   351,  1612,   167,
     168,   705,  1616,   144,   728,  1701,   125,   126,   127,   128,
     169,  1703,   533,   145,    83,  1180,   170,   350,   351,   350,
     351,    67,   186,   183,   179,   187,   193,   242,   712,   196,
     417,   556,   175,   415,   707,   176,   177,   146,   419,   420,
     421,   422,   423,   424,   425,   426,   427,   428,   429,   430,
     431,   432,   433,   434,   435,   436,   437,   438,   439,   440,
     441,   442,   443,   444,   445,   446,   447,   448,   449,   450,
     451,   452,   453,   454,   455,   456,   457,   458,   459,   460,
     473,   149,  1415,  1357,   470,    12,  1415,  1361,   469,  1565,
     132,   133,  1569,   475,  1000,   470,   479,   480,   481,   482,
     483,   484,   485,   486,   487,   488,   489,   490,   491,   492,
     493,   350,   351,   697,   152,   866,   499,   698,   501,   702,
     997,  1133,   289,   469,   702,  1027,  1028,   895,   511,   512,
     513,   150,   515,   516,   517,   518,   519,   520,   521,   526,
     527,   350,   351,   125,   126,   127,   128,   350,   351,   151,
     534,   535,   536,   537,   350,   351,   545,  1042,  1267,  1043,
     350,   351,  1268,  1259,   552,   132,   133,   312,   313,   314,
    1260,   154,   704,   560,  1415,   315,  1262,   153,  1415,  1657,
     301,   302,   303,  1661,   304,   305,   306,   307,   308,   309,
     310,   311,   312,   313,   314,   508,   847,   350,   351,   155,
     315,   310,   311,   312,   313,   314,   156,   160,  1181,   350,
     351,   315,   166,  1044,   598,  1045,    13,    14,    15,    16,
      17,    18,    19,    20,   875,  1046,   245,  1047,   246,  1036,
    1037,  1483,  1484,  1485,  1486,   350,   351,   247,  1490,   248,
     165,   174,   125,   126,   127,   128,   184,    44,    45,    46,
      47,  1409,    49,   903,   904,   905,   125,   126,   127,   128,
     848,   180,   885,   289,   132,   133,   350,   351,   185,   708,
     706,   188,   350,   351,   189,   197,   132,   133,   132,   133,
     198,   238,  1411,   239,   249,   201,   250,   470,  1417,   202,
     469,   851,   199,   132,   133,   251,   200,   252,   504,   415,
     239,   469,   234,   730,   731,   285,   132,   133,   286,   736,
     886,   727,   745,   239,   253,   470,   254,   287,   237,   746,
     747,   945,   946,   947,   948,   949,   157,   158,   750,   159,
     255,   257,   256,   258,   299,   316,  1575,  1576,   317,   758,
    1579,   259,   321,   260,   470,   470,   470,   261,   323,   262,
     768,   333,   770,   771,   263,   265,   264,   266,   337,  1325,
     301,   302,   303,   334,   304,   305,   306,   307,   308,   309,
     310,   311,   312,   313,   314,  1021,   267,   269,   268,   270,
     315,   999,  1001,   306,   307,   308,   309,   310,   311,   312,
     313,   314,   335,    94,    95,   808,   695,   315,   696,    98,
      99,   100,   101,   102,   103,   104,   105,   106,   107,   108,
     109,   110,   111,   112,   113,   114,   115,   116,   117,   118,
     119,   120,   121,   271,   338,   272,  1665,   339,   340,   301,
     302,   303,   341,   304,   305,   306,   307,   308,   309,   310,
     311,   312,   313,   314,   273,   275,   274,   276,   342,   315,
     303,   343,   304,   305,   306,   307,   308,   309,   310,   311,
     312,   313,   314,   277,   344,   278,   470,   918,   315,   358,
     837,   838,   279,   281,   280,   282,   283,   355,   284,   702,
     702,   703,   729,   356,   839,   840,   841,   842,   843,   844,
     845,   357,   558,   469,   702,   361,   878,   850,   362,  1008,
     856,  1009,   702,   702,  1020,  1048,   867,   371,   373,   865,
    1158,   702,  1738,  1049,   702,   702,  1050,  1138,  1268,   374,
    1269,   469,   415,   304,   305,   306,   307,   308,   309,   310,
     311,   312,   313,   314,  1614,   958,  1615,   377,   410,   315,
     899,   900,   901,  1625,  1627,  1626,  1628,  1629,   378,  1630,
     469,   469,   469,   380,   381,   908,   909,   412,   315,   912,
     300,  1126,  1652,  1730,  1653,  1731,   925,  1820,   382,  1821,
     923,   924,  1792,   129,   130,   934,  1822,   383,  1823,   131,
    1824,  1951,  1825,  1952,   134,   384,  1953,   292,  1954,   385,
     293,  1955,  2062,  1956,  2063,  2064,   386,  2065,  1153,  2066,
    2068,  2067,  2069,   387,   388,   961,   962,   963,   964,   965,
     966,   967,   968,   969,   970,   971,   972,   973,   974,   975,
     976,   977,   978,   979,   980,   981,   982,   983,   984,   985,
     986,   389,   301,   302,   303,   390,   304,   305,   306,   307,
     308,   309,   310,   311,   312,   313,   314,  2070,  2072,  2071,
    2073,  1002,   315,  2149,   919,  2150,  1007,   301,   302,   303,
     391,   304,   305,   306,   307,   308,   309,   310,   311,   312,
     313,   314,   469,  2151,  1022,  2152,  1023,   315,  2153,  2197,
    2154,  2198,  2199,   392,  2200,  2201,  2245,  2202,  2246,   414,
    1038,  1039,  1040,  2247,  2249,  2248,  2250,   393,   394,   395,
     396,   397,   398,   399,   400,  1064,   401,   402,   403,   404,
     405,  1060,  1061,  1062,   406,   407,   408,   409,   416,   413,
     467,   522,   477,   476,   509,  1328,   514,   301,   302,   303,
     547,   304,   305,   306,   307,   308,   309,   310,   311,   312,
     313,   314,   548,   551,   554,   557,   561,   315,   562,   563,
     564,   565,    94,    95,   585,  1972,   566,  1096,    98,    99,
     100,   101,   102,   103,   104,   105,   106,   107,   108,   109,
     110,   111,   112,   113,   114,   115,   116,   117,   118,   119,
     120,   121,   567,   568,   699,   478,   569,   570,   571,   572,
     573,   574,   575,   576,   577,   578,  1127,   579,   580,   581,
     582,   583,  1134,   584,   586,   587,   538,    29,    30,   539,
     540,    33,    34,    35,   588,    36,   589,    38,    39,   590,
      41,    42,  1143,  1144,  1215,   591,   594,   700,   595,   596,
     710,  1159,  1152,  1161,   709,  1164,   715,    54,   717,   718,
     719,   721,   723,   724,   732,   744,  1170,  1171,  1184,   748,
     749,   760,   761,   762,   763,   764,   766,   767,  1183,   773,
     804,  1186,   774,   859,   775,    55,    56,    57,   776,   777,
     778,  1196,   779,   780,   781,   782,   783,   784,  1203,  1204,
    1205,   785,   786,   787,   788,  1210,   789,   790,   791,  1214,
     792,   793,   805,  1216,  1217,  1218,  1219,  1220,  1221,  1222,
    1223,  1224,  1225,  1226,  1227,  1228,  1229,  1230,  1231,  1232,
    1233,  1234,  1235,  1236,  1237,  1238,  1239,  1240,  1241,   794,
     795,   796,   810,   797,   798,   799,   800,    67,   801,   802,
     803,   806,   129,   130,  1251,   811,   812,   836,   131,   846,
     849,   813,   814,   134,   815,   857,   725,   816,   817,   726,
     818,  1257,   301,   302,   303,   819,   304,   305,   306,   307,
     308,   309,   310,   311,   312,   313,   314,   820,  1275,   541,
      94,    95,   315,  1272,   821,  1273,    98,    99,   100,   101,
     102,   103,   104,   105,   106,   107,   108,   109,   110,   111,
     112,   113,   114,   115,   116,   117,   118,   119,   120,   121,
      94,   326,   822,   852,   823,   858,    98,    99,   100,   101,
     102,   103,   104,   105,   106,   107,   108,   109,   110,   111,
     112,   113,   114,   115,   116,   117,   118,   119,   120,   121,
     301,   302,   303,   824,   304,   305,   306,   307,   308,   309,
     310,   311,   312,   313,   314,   825,   826,   827,  1335,  1337,
     315,  1343,   828,   829,  1334,  1336,   830,  1342,   831,  1345,
    1346,   832,   833,   834,   835,   860,  1350,   861,   864,   894,
     870,   872,   881,   882,   883,  1359,   884,   887,   888,   889,
     890,   891,   892,  1367,   893,   902,   907,   915,  1372,   913,
     921,  1375,   920,  1377,  1378,  1379,  1380,  1381,  1382,  1383,
    1384,  1385,  1386,  1387,  1388,  1389,  1390,  1391,  1392,  1393,
    1394,  1395,  1396,  1397,  1398,  1399,  1400,  1401,  1402,   922,
     926,   347,  1609,   927,  1406,   928,   288,   289,  1407,   929,
     930,   933,   935,   936,   939,   301,   302,   303,  1425,   304,
     305,   306,   307,   308,   309,   310,   311,   312,   313,   314,
     129,   130,   940,   941,   942,   315,   131,   943,   952,   955,