Skip to content
Snippets Groups Projects
Gmsh.tab.cpp 300 KiB
Newer Older
  "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", 
  "tAlias", "tAliasWithOptions", "tText2D", "tText3D", 
  "tInterpolationScheme", "tTime", "tCombine", "tBSpline", "tBezier", 
  "tNurbs", "tOrder", "tWith", "tBounds", "tKnots", "tColor", 
  "tColorTable", "tFor", "tIn", "tEndFor", "tIf", "tEndIf", "tExit", 
  "tReturn", "tCall", "tFunction", "tTrimmed", "tShow", "tHide", 
  "tGetValue", "tGMSH_MAJOR_VERSION", "tGMSH_MINOR_VERSION", 
  "tGMSH_PATCH_VERSION", "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", "tAFFECTDIVIDE", "tAFFECTTIMES", "tAFFECTMINUS", 
  "tAFFECTPLUS", "'?'", "tOR", "tAND", "tAPPROXEQUAL", "tNOTEQUAL", 
  "tEQUAL", "'<'", "'>'", "tGREATEROREQUAL", "tLESSOREQUAL", "'+'", "'-'", 
  "'*'", "'/'", "'%'", "tCROSSPRODUCT", "'!'", "UNARYPREC", "tMINUSMINUS", 
  "tPLUSPLUS", "'^'", "'('", "')'", "'['", "']'", "'.'", "'#'", "','", 
  "'{'", "'}'", "$accept", "All", "StepFormatItems", "StepFormatItem", 
  "StepSpecial", "StepHeaderItem", "StepDataItem", "GeoFormatItems", 
  "GeoFormatItem", "Printf", "View", "Views", "ElementCoords", 
  "ElementValues", "Element", "@1", "@2", "Text2DValues", "Text2D", "@3", 
  "Text3DValues", "Text3D", "@4", "InterpolationMatrix", "Time", "@5", 
  "NumericAffectation", "NumericIncrement", "Affectation", "Shape", 
  "Transform", "MultipleShape", "ListOfShapes", "Duplicata", "Delete", 
  "Colorify", "Visibility", "Command", "Loop", "Extrude", "@6", "@7", 
  "@8", "@9", "@10", "@11", "@12", "@13", "@14", "ExtrudeParameters", 
  "ExtrudeParameter", "Transfinite", "Coherence", "BoolExpr", "FExpr", 
  "FExpr_Single", "VExpr", "VExpr_Single", "ListOfStrings", 
  "RecursiveListOfStrings", "ListOfListOfDouble", 
  "RecursiveListOfListOfDouble", "ListOfDouble", "FExpr_Multi", 
  "RecursiveListOfDouble", "ColorExpr", "ListOfColor", 
  "RecursiveListOfColor", "StringExpr", 0
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
#endif
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

# 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,    63,   408,   409,   410,   411,   412,    60,
      62,   413,   414,    43,    45,    42,    47,    37,   415,    33,
     416,   417,   418,    94,    40,    41,    91,    93,    46,    35,
      44,   123,   125
Jean-François Remacle's avatar
 
Jean-François Remacle committed
};
# endif

/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives.  */
static const unsigned char yyr1[] =
{
       0,   183,   184,   184,   184,   185,   185,   186,   186,   186,
     187,   187,   187,   187,   187,   188,   188,   188,   189,   189,
     189,   189,   189,   189,   189,   189,   189,   189,   189,   189,
     189,   189,   189,   189,   189,   189,   189,   189,   189,   189,
     189,   189,   189,   189,   189,   189,   189,   189,   190,   190,
     191,   191,   191,   191,   191,   191,   191,   191,   191,   191,
     191,   191,   191,   191,   192,   192,   193,   193,   194,   194,
     194,   194,   194,   194,   195,   195,   196,   196,   198,   199,
     197,   200,   200,   202,   201,   203,   203,   205,   204,   206,
     208,   207,   209,   209,   209,   209,   209,   210,   210,   211,
     211,   211,   211,   211,   211,   211,   211,   211,   211,   211,
     211,   211,   211,   211,   211,   211,   211,   212,   212,   212,
     212,   212,   212,   212,   212,   212,   212,   212,   212,   212,
     212,   212,   212,   212,   212,   212,   212,   212,   212,   212,
     212,   212,   212,   212,   213,   213,   213,   213,   214,   214,
     214,   215,   215,   215,   215,   215,   215,   216,   216,   216,
     216,   217,   217,   217,   217,   218,   219,   219,   219,   219,
     220,   220,   220,   220,   220,   220,   220,   220,   220,   221,
     221,   221,   221,   221,   221,   221,   221,   221,   221,   222,
     222,   222,   223,   222,   224,   222,   225,   222,   222,   222,
     222,   226,   222,   227,   222,   228,   222,   222,   222,   222,
     229,   222,   230,   222,   231,   222,   232,   232,   233,   233,
     233,   234,   234,   234,   234,   234,   234,   234,   234,   234,
     235,   235,   236,   236,   236,   236,   236,   237,   237,   237,
     237,   237,   237,   237,   237,   237,   237,   237,   237,   237,
     237,   237,   237,   237,   237,   237,   237,   237,   237,   237,
     237,   237,   237,   237,   237,   237,   237,   237,   237,   237,
     237,   237,   237,   237,   237,   237,   237,   237,   237,   237,
     237,   237,   237,   237,   237,   237,   237,   237,   237,   237,
     237,   237,   237,   237,   237,   237,   237,   237,   237,   238,
     238,   238,   238,   238,   238,   238,   238,   238,   238,   238,
     238,   238,   238,   238,   238,   238,   239,   239,   239,   239,
     239,   240,   240,   240,   240,   241,   241,   242,   242,   243,
     243,   243,   244,   244,   245,   245,   245,   245,   246,   246,
     246,   246,   246,   246,   246,   246,   246,   246,   247,   247,
     247,   247,   248,   248,   248,   248,   249,   249,   250,   250,
     251,   251,   251,   251,   251,   251,   251,   251,   251
Jean-François Remacle's avatar
 
Jean-François Remacle committed
};
/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN.  */
static const unsigned char yyr2[] =
{
       0,     2,     1,     1,     2,     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,     1,     5,     7,     6,     8,     0,     2,
       2,     2,     2,     2,     1,     3,     1,     3,     0,     0,
      10,     1,     3,     0,    13,     1,     3,     0,    15,     8,
       0,     6,     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,     7,     9,     7,     9,    17,     7,     7,
      11,     8,    12,     8,     8,     8,    12,    22,    20,     8,
       8,     8,     7,     8,     5,    11,     5,     9,     1,     1,
       1,     0,     2,     6,     6,     6,     6,     4,     6,     6,
       6,     4,     6,     3,     4,     5,     3,     3,     4,     4,
       3,     7,     3,     7,     3,     2,     2,    15,     2,     6,
       8,     8,    10,     1,     2,     1,     3,     4,     1,     8,
      12,    14,     0,    12,     0,    16,     0,    18,     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,     9,     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,     1,     1,     1,     4,     4,     2,
       5,     3,     6,     4,     7,     6,     1,     2,     2,     3,
       3,    11,     9,     7,     7,     0,     3,     1,     3,     0,
       3,     3,     1,     3,     1,     1,     3,     4,     3,     5,
       4,     1,     1,     1,     3,     4,     6,     7,     1,     1,
       3,     3,     9,     7,     1,     5,     3,     6,     1,     3,
       1,     1,     6,     4,     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,     0,     2,     3,     4,     1,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     6,     7,     9,     8,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   183,
       0,   188,     0,   185,     0,     0,     0,     0,     0,    49,
      51,    50,    52,    53,    54,    55,    56,    57,    58,    63,
      62,    59,    60,    61,     0,    10,    11,    13,    12,    14,
     325,   325,     0,   299,   306,   360,    92,   300,   301,   302,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   361,     0,   303,   304,   305,
      96,    95,    94,    93,     0,     0,     0,    98,    97,     0,
       0,     0,     0,     0,     0,     0,   237,     0,     0,   176,
       0,   178,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     316,     0,     0,     0,     0,     0,     0,   151,     0,     0,
     151,   230,   231,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   354,     0,     0,     0,     0,     0,   175,     0,
     184,     0,   360,   151,     0,   151,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   309,     0,    68,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   306,   240,   239,   241,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   103,   172,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   170,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   306,     0,     0,     0,   341,   342,
     343,   334,     0,   335,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   318,   317,
       0,     0,     0,     0,   151,   151,     0,     0,     0,     0,
       0,     0,     0,     0,   163,     0,     0,     0,     0,     0,
       0,   174,     0,     0,     0,     0,     0,     0,     0,   151,
       0,     0,     0,   186,     0,     0,   166,     0,   167,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   327,
       0,     0,     0,     0,     0,   311,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   238,     0,     0,
     348,   349,     0,     0,    92,     0,     0,     0,     0,     0,
      99,     0,   255,   254,   253,   252,   248,   249,   251,   250,
     243,   242,   244,   245,   246,   247,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   306,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     320,   319,   150,     0,   149,   148,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   157,   152,   229,     0,
     164,     0,   161,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   187,     0,   168,
     169,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   326,     0,     0,    16,     0,   307,   313,    68,    78,
       0,     0,     0,    90,     0,    69,    70,    71,    72,    73,
     257,   278,   258,   279,   259,   280,   260,   281,   261,   282,
     262,   283,   263,   284,   264,   285,   265,   286,   277,   298,
     266,   287,     0,     0,   268,   289,   269,   290,   270,   291,
     271,   292,   272,   293,   273,   294,     0,     0,     0,     0,
       0,     0,     0,     0,   365,     0,     0,   363,   364,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   109,
       0,     0,     0,     0,   308,     0,    64,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   344,     0,     0,
       0,     0,   336,   338,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   144,   146,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   165,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   328,
       0,   325,     0,   310,     0,     0,     0,     0,     0,     0,
       0,    66,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   307,   102,   350,   351,     0,
       0,     0,     0,     0,   104,   105,   107,     0,     0,   358,
       0,   113,   256,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   340,   345,     0,   337,     0,   120,
       0,     0,     0,     0,   221,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   158,     0,     0,     0,     0,   228,   162,     0,     0,
     159,   160,     0,     0,     0,   329,     0,   355,     0,     0,
       0,   179,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   232,   233,   234,   235,
     236,     0,     0,     0,     0,     0,     0,     0,    15,     0,
     312,   171,     0,     0,     0,     0,     0,   332,     0,   267,
     288,   274,   295,   275,   296,   276,   297,     0,   367,   366,
     362,   315,     0,    92,     0,     0,     0,     0,   100,     0,
       0,     0,   356,    65,     0,   117,   123,     0,   125,     0,
       0,   121,     0,   122,   142,     0,     0,   339,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   173,     0,     0,     0,     0,   151,     0,   192,     0,
     201,     0,   210,     0,     0,     0,     0,     0,     0,   128,
     129,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     325,   314,    67,     0,    74,     0,     0,     0,     0,     0,
      76,     0,     0,     0,     0,   110,     0,     0,   111,     0,
     359,     0,     0,     0,   131,   139,   346,     0,     0,   226,
     134,   135,     0,     0,     0,   224,   227,   141,   118,   133,
     140,   143,     0,     0,     0,   324,     0,   323,     0,     0,
     189,     0,     0,   198,     0,     0,   207,     0,   153,   154,
     155,   156,     0,     0,   329,     0,     0,     0,     0,     0,
     353,     0,   181,   180,     0,     0,     0,     0,    18,     0,
      27,     0,    31,     0,    25,     0,     0,    30,     0,    35,
      33,     0,     0,     0,     0,     0,     0,    42,     0,     0,
       0,     0,     0,    47,     0,     0,    79,     0,     0,     0,
     333,     0,     0,     0,     0,   101,   106,   108,     0,   114,
       0,     0,   124,   126,   347,     0,   223,   222,   225,   115,
     116,   151,     0,   147,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   331,   330,     0,     0,     0,     0,     0,
       0,   329,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,    75,     0,     0,     0,    77,    91,   368,
       0,   357,     0,     0,     0,     0,   322,     0,     0,     0,
       0,     0,     0,     0,     0,   216,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   352,   182,     0,
      32,     0,     0,     0,     0,    22,     0,    28,     0,    34,
      23,    36,     0,    39,     0,    43,    44,     0,     0,    46,
       0,     0,     0,     0,     0,     0,   112,     0,     0,   145,
       0,     0,   194,     0,   220,     0,     0,   217,   203,     0,
       0,   212,     0,     0,     0,     0,     0,     0,   130,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,    83,     0,    89,     0,     0,   321,   190,
       0,     0,     0,   193,   199,     0,     0,   202,   208,     0,
       0,   211,   119,   132,     0,     0,   136,     0,     0,     0,
       0,    26,    29,    37,     0,    38,    45,    40,     0,     0,
       0,     0,     0,     0,     0,   196,     0,     0,   205,     0,
     214,     0,     0,     0,     0,     0,     0,     0,     0,    80,
       0,    87,     0,     0,     0,   191,     0,     0,     0,   200,
       0,     0,   209,     0,     0,     0,     0,     0,    21,    24,
       0,     0,     0,    81,     0,   177,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   195,     0,     0,   219,   204,
       0,   213,     0,     0,     0,     0,     0,    41,    17,    82,
      84,     0,    85,   127,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   197,   218,   206,   215,     0,     0,
       0,     0,    86,    88,     0,     0,     0,     0,     0,   138,
       0,     0,     0,     0,     0,   137,     0,    19,     0,     0,
       0,     0,     0,     0,     0,    20
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

/* YYDEFGOTO[NTERM-NUM]. */
static const short yydefgoto[] =
{
      -1,     2,     3,    16,    17,    18,    19,     4,    69,    70,
      71,   447,  1073,  1079,   645,   816,  1242,  1422,   646,  1380,
    1461,   647,  1424,   648,   649,   820,   143,   253,    72,   577,
     348,   563,   564,   349,    76,    77,    78,    79,    80,   350,
    1121,  1350,  1406,  1124,  1355,  1410,  1127,  1359,  1413,  1264,
    1265,    82,    83,   941,   351,   146,   368,   180,   248,   440,
    1034,   956,   957,   353,   502,   204,   713,   850,   147
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
};
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
   STATE-NUM.  */
#define YYPACT_NINF -1250
static const short yypact[] =
{
    2410,    38,    75,   223,  2559, -1250, -1250,    89,   100,   125,
     137,   167,   207,    43,    55,   104, -1250, -1250, -1250, -1250,
    1785,   122,     3,   317,   155,   158,   172,   -32,   297,   194,
     221,   373,   300,   441,   448,   459,   513,   468,   553,   342,
     340,   -18,   -18,   371,   490,    14,   520,    17,   565,   582,
     108,   551,   609,   618,   438,   442,   -13,    21,    25, -1250,
     452, -1250,   644, -1250,   669,   673,   642,    15,    28, -1250,
   -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250,
   -1250, -1250, -1250, -1250,  2439, -1250, -1250, -1250, -1250, -1250,
     544,   544,   717, -1250,   294,    23, -1250, -1250, -1250, -1250,
     -64,    54,   146,   287,   325,   350,   398,   433,   445,   449,
     475,   481,   484,   485,   488,   489,   500,   504,   507,   510,
     514,   563,   575,   589,   593, -1250,   594, -1250, -1250, -1250,
   -1250, -1250, -1250, -1250,  1888,  1888,  1888, -1250, -1250,  1888,
     387,    39,   792,  1888,   737,   648, -1250,   793,   795, -1250,
    1888, -1250,  1888,  1888,  1888,   630,  1888,   652,  1888,  1888,
     948,  1888,   649,   657,   658,   948,   654,   655,   663,   664,
     665,   666,   667,   813,   -18,   -18,   -18,  1888,  1888,   -83,
   -1250,   -77,   -18,   661,   662,   668,   671, -1250,   948,    34,
   -1250, -1250, -1250,   948,   948,   675,   676,   838,  1888,  1888,
     -49,  1888,   677,  1888,   672,   754,  1888,  1888, -1250,   848,
   -1250,   682, -1250, -1250,   851, -1250,   852,   685,   686,   687,
     688,   689,   696,   708,   709,   710,   711,   712,   721,   750,
     751,   752,   753,   757,   761,   762,   763,   765,   766,   767,
     768,   769,   770,   771,   773,   774,   775,   886,   748,   755,
     776,  1888,   946, -1250,   -18, -1250,  1888,  1888,  1888,  1888,
    1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,
    1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,
    1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,
    1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,   549,   130,
     130,   130,   950,   391,   780,   780,   780,  4829,   974,  1820,
    4199,   281,   807,   979,   811,   714, -1250, -1250,  1888,  1888,
    1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,  1888,
    1888,  1888,  1888, -1250,  -106,  3167,  4852,  4875,  4898,  1888,
    4921,  1888,  4944,  4967,   430,   809,  1500,  1820, -1250, -1250,
   -1250,   739,   981, -1250,  4990,  1888,  1888,  1888,   984,  1888,
    1888,  1888,  1888,  1888,  1888,  1888,   818,   -63, -1250, -1250,
    3191,  3215,   -18,   -18,   529,   529,   151,  1888,  1888,  1888,
    1888,  2199,   349,   990, -1250,  1888,  2220,   991,   994,  1888,
    1888, -1250,  5013,  5036,   916,  1888,  5059,   915,  3239, -1250,
     823,  1945,  5082, -1250,  1888,  2265, -1250,  2286, -1250,  1000,
    1001,  1012,  1015,  1019,  1020,  1021,  1022,  1023,  1024,  1025,
    1027,  1028,  1029,  1030,  1031,  1032,  1036,  1039,  1042,  1043,
    1049,  1052,   917,  1053,  1055,  1056,  1059,  1062,  1061, -1250,
     191,  1067,  1068,  1071,  4220,   -50,   -10,     6,  5105,  4241,
    5128,  4262,  5151,  4283,  5174,  4304,  5197,  4325,  5220,  4346,
    5243,  4367,  5266,  4388,  5289,  4409,  5312,  4430,  5335,  4451,
    3263,  3287,  5358,  4472,  5381,  4493,  5404,  4514,  5427,  4535,
    5450,  4556,  5473,  4577,  3311,  3335,  3359,  3383,  3407,  3431,
     106,   203,   887,   898,   907,   914,  1888, -1250,   948,  2060,
     739, -1250,   268,    40,   130,  1888,  1089,  1093,    24,   921,
   -1250,  1972,  1198,   569,   592,   592,   414,   414,   414,   414,
     375,   375,   780,   780,   780,   780,  1094,  1820,  1888,  1095,
    1096,  1097,  5496,  1101,  5519,  1102,  1103,  1240,  1888,   439,
    1820,   293,  1888,  1888,  1106,  2623,  5542,  5565,  1888,  2649,
    2675,  5588,  5611,  5634,  5657,  5680,   923,   -18,  1888,  1888,
   -1250, -1250, -1250,   932,  2620, -1250,   933,  1888,  3455,  3479,
    3503,  4598,  -121,   -37,   -33,   116, -1250, -1250, -1250,  1888,
   -1250,  4619, -1250,   935,   937,  4640,  4661,  1113,  1116,   951,
    5703,  1117,   952,  1888,  2345,  1888,  1888, -1250,  5726, -1250,
   -1250,   955,   956,   957,   958,   959,   960,   961,   963,   964,
     968,   969,   978,   980,   986,   998,   999,  1002,  1005,  1007,
    1009,  1013,  1014,  1017,  1018,  1026,  1033,  1034,  1035,  1038,
    1041, -1250,  1121,   953, -1250,  1046,    36, -1250, -1250, -1250,
     985,   987,  1011, -1250,  1125, -1250, -1250, -1250, -1250, -1250,
   -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250,
   -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250,
   -1250, -1250,  1888,  1888, -1250, -1250, -1250, -1250, -1250, -1250,
   -1250, -1250, -1250, -1250, -1250, -1250,  1888,  1888,  1888,  1888,
    1888,  1888,  1888,  1176, -1250,  1820,   130, -1250, -1250,  1888,
    4682,  1175,  1820,  1045,    62,  1888,  1189,  1193,   756, -1250,
    1194,  1040,    21,  1196, -1250,  1888, -1250,   248,  3527,   -18,
     948,   948,  1200,   948,  1201,   948,   948, -1250,  1820,  2701,
    1370,   509, -1250,  2022,   926,  1047,  1202,  1203,  1204,   539,
    1212,  1216,  1220,  1222,  1223,  1224,  1226,  1230,   153,  3551,
    3575, -1250, -1250,  2727,   -18,   -18,   -18,  1199,  1820,  1820,
    1820,  1820,  1010,  1234,  1888,  1888,  1235,  1236,   948,   948,
    1888,  1229,   948,  1241,  3599, -1250,  2039,   616,  1266,  1244,
    1888,  1888,   -18,  1245,  1271,  1111,  1274,  1275,   948,   948,
    1276,   -18,  1277,  1278,   948,   948,  1280,  1281,  1282,  1283,
    1284,   948,   533,   948,  1285,  1286,  1287,  1291,  1292, -1250,
    1290,   544,  1293, -1250,  1294,    12,  1115,  1888,  1888,   948,
    1109, -1250,  5749,  4703,  5772,  4724,  5795,  4745,  5818,  4766,
    4787,  1123,   260,  1126,  5841,   115, -1250,   739, -1250,    70,
     306,  1127,  1296,  1269, -1250, -1250, -1250,    21,  1888, -1250,
     527, -1250,  2359,  1298,  1888,    11,    42,    50,   948,  1300,
     948,  1301,  1302,   531, -1250, -1250,  1820, -1250,  1888, -1250,
    1888,   948,   948,   948, -1250,   330,   948,   948,   948,   948,
     948,   948,   948,   537,  1888,  1888,  1888,  1129,   -85,   -71,
     -56, -1250,   534,   535,   566,   584, -1250, -1250,  3623,  3647,
   -1250, -1250,  1305,  1306,  5864,   144,  1227, -1250,  1888,  1888,
    1888, -1250,  1132,  1135,  3671,  3695,  -118,  1137,  1143,  1139,
    1145,  1141,  1147,  1148,  1149,   296,  1150,  1152,  1156,  1153,
    1157,  1159,  1161,  1166,  1167,  1173, -1250, -1250, -1250, -1250,
   -1250,  1169,  1170,  1172,  1174,  1186,  1192,  1225, -1250,  1228,
     -50, -1250,  1317,  1888,  3719,  3743,   604, -1250,  1888, -1250,
   -1250, -1250, -1250, -1250, -1250, -1250, -1250,  1154, -1250, -1250,
   -1250, -1250,   948,   130,  1888,  1319,  1332,    24, -1250,  1363,
    4808,    21, -1250, -1250,  3767, -1250, -1250,   -18, -1250,   -18,
    1372, -1250,  1401, -1250, -1250,  1233,   605,  2359,  3791,  1405,
    1406,  1409,  1888,  1888,   715,  1412,  1414,  1419,  1431,  1432,
    1433, -1250,  1992,  2753,  5887,  2524,   529,   -18,  1434,   -18,
    1435,   -18,  1437,  1438,  1439,  1440,  1441,  1888,  1888, -1250,
   -1250,  1369,   948,   948,  1364,   948,  2563,   474,  5910,  1888,
    1447,  1888,   948,  1446,  1450,  1448,  1295,  1449,   533,  1451,
    1453,  1888,  1452,  1456,  1455,  1457,  1459,   533,  1888,  1888,
    1888,   948,  1460,  1462,   533,  1888,  1464,  1465,  1463,  1888,
     544, -1250, -1250,   261,  2359,  1888,  1888,   948,  1289,   608,
    2359,  1467,  1470,  1471,  1407, -1250,  1472,  1474, -1250,  1303,
   -1250,  1888,    52,    61, -1250, -1250, -1250,  1307,  1888, -1250,
   -1250, -1250,  1529,  1569,  1476, -1250, -1250, -1250, -1250, -1250,
   -1250, -1250,  1705,  1477,  1297, -1250,  1888, -1250,  1304,   199,
   -1250,  1309,   257, -1250,  1310,   320, -1250,  1311, -1250, -1250,
   -1250, -1250,  3815,  3839,   144,   271,   612,  1313,  1403,  1888,
   -1250,  1888, -1250, -1250,  3863,  1320,  3887,  1308, -1250,  1316,
   -1250,  1318, -1250,  1322, -1250,  1321,  5933, -1250,  1325, -1250,
   -1250,  1324,  1327,  5956,  3911,  5979,  1326, -1250,  1361,  1362,
    3935,  1358,  1365, -1250,  3959,  1366, -1250,  1888,  3983,  4007,
   -1250,   948,  1888,  1479,  1367, -1250, -1250, -1250,    21, -1250,
    1411,  4031, -1250, -1250, -1250,  4055, -1250, -1250, -1250, -1250,
   -1250,   529,  2593, -1250,  1612,   396,  1612,   396,  1612,   396,
    1888,  1888,  1420, -1250, -1250,   948,  1888,  2779,  2805,   948,
    1535,   144,   533,  1540,  1888,  1539,   533,  1542,  1547,  1546,
    1548,  1550,  1888,  1552,   948,  1557,  1570,  1888,  1574,  1572,
    1888,  1576,  1398,  2359,  1888,  1888,   613,  2359, -1250, -1250,
    1577, -1250,  1888,  1579,  1371,  1888, -1250,  1612,  1612,  1888,
    2831,   334,  1580,  1404,   -42, -1250,  2857,   339,   -14,  2883,
     366,    45,  2909,  2935,  1410,  1402,  1812, -1250, -1250,  1408,
   -1250,  1413,  1415,  1416,  4079, -1250,  1417, -1250,  1422, -1250,
   -1250, -1250,  6002, -1250,  1418, -1250, -1250,  6025,  1424, -1250,
    6048,  1426,  1888,  6071,  4103,  1581, -1250,  4127,  1427, -1250,
    2961,  3143,  1582,  1888, -1250,   948,  1588, -1250,  1602,  1888,
    1604,  1605,  1888,  1606,  1607,  1608,   948,   948, -1250,  1611,
     533,   533,   533,   533,  1613,  1614,  1639,   533,  1640,  1641,
    1642,  1644,   636, -1250,  1888, -1250,  1888,  1645, -1250, -1250,
    1473,  2987,  1475, -1250, -1250,  1478,  3013, -1250, -1250,  1480,
    3039, -1250, -1250, -1250,  1482,  1436, -1250,  1486,  1487,  1481,
    1483, -1250, -1250, -1250,  1488, -1250, -1250, -1250,  1490,  1646,
    1491,  6094,  3065,  1493,   396,  1647,   948,   396,  1651,   396,
    1665,   948,  1567,   533,   533,  1669,  1670,   533,  1672, -1250,
     130, -1250,  1674,  1673,   109, -1250,  1504,   640,   112, -1250,
    1516,   299, -1250,  1517,  1518,  1520,  1519,  1524, -1250, -1250,
    1530,  1531,   643, -1250,  1526, -1250,  1527,  1702,   396,   948,
    1704,  1707,   396,  1712,   396,  1635,  1888,   533,   948,  1714,
    1715,   130,  1719,   130,  1731, -1250,   312,  1556, -1250, -1250,
     313, -1250,   314,  1558,  4151,  1560,  1561, -1250, -1250, -1250,
   -1250,   647, -1250, -1250,  1737,  1738,  1740,  1741,  1888,  1888,
     533,   948,   130,  1742, -1250, -1250, -1250, -1250,  4175,  3091,
    1571,  1573, -1250, -1250,  1888,  1743,   948,   533,  3117, -1250,
    1575,  1583,  1744,   948,  1746, -1250,  1584, -1250,   948,  1585,
     948,  1586,   533,  1587,  1748, -1250
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
};
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

/* YYPGOTO[NTERM-NUM].  */
static const short yypgoto[] =
{
   -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250,
   -1250,  1118, -1250,   455, -1250, -1250, -1250, -1250, -1250, -1250,
   -1250, -1250, -1250, -1250, -1250, -1250,  -303,   -16, -1250,  1755,
      -1,  -368,  -176,     2, -1250, -1250, -1250, -1250, -1250,  1757,
   -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1250, -1104,
   -1249, -1250, -1250,  -888,   -20, -1250,   351, -1250,   -86, -1250,
   -1092, -1009,   274,  -248,  -334,  -700,   786, -1250,   -66
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000
/* 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, syntax error.  */
#define YYTABLE_NINF -49
static const short yytable[] =
{
     145,   214,   216,    74,   144,   249,    75,   566,   505,   149,
     639,   381,   849,   541,   386,  1317,   639,   985,   186,  1317,
     212,   189,  1317,  1135,  1136,   202,  1262,   254,   711,   205,
     155,  1263,   200,   212,   157,   155,   394,   405,   383,   407,
     384,   212,  1212,   311,     5,   372,   373,    96,   986,   121,
     122,   123,   124,   152,  1262,   125,   988,  1043,  1192,  1263,
     758,   501,   121,   122,   123,   124,   840,  1193,   125,   526,
     121,   122,   123,   124,   527,     6,   125,    96,   372,   373,
     372,   373,   640,   641,   642,   643,   372,   373,   640,   641,
     642,   643,   372,   373,   987,  1017,    84,  1018,   374,   501,
     372,   373,   989,  1268,   375,  1271,    85,   372,   373,  1019,
     256,  1020,   257,  1262,   304,   305,   306,   557,  1263,   307,
     310,   137,   138,   315,  1021,   395,  1022,   312,   313,  1281,
     335,    86,   336,   337,   338,   212,   340,   156,   342,   343,
    1316,   354,   156,    87,   759,   175,   176,   979,   760,   193,
     841,   842,   194,   372,   373,  1317,   177,   370,   371,  1317,
    1153,   201,  1317,   178,   121,   122,   123,   124,  1320,  1162,
     125,   638,  1246,    88,   372,   373,  1169,  1262,   392,   393,
    1262,   396,  1263,   398,   150,  1263,   401,   402,   644,   130,
     131,   132,   133,   717,   952,   187,   213,  1317,   190,   206,
     705,  1317,   203,  1317,   255,   712,   731,   137,   138,   215,
     385,   137,   138,    89,   812,   372,   373,    90,   704,   130,
     131,   132,   133,   594,   372,   373,     7,  1323,   258,    91,
     259,   444,   491,   492,   493,   494,   448,   449,   450,   451,
     452,   453,   454,   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,   481,
     482,   483,   484,   485,   486,   487,   488,   489,    92,   501,
    1404,  1090,   692,  1408,   693,  1411,   137,   138,   504,   500,
     159,  1427,   501,   812,  1431,   506,   148,   761,   511,   512,
     513,   514,   515,   516,   517,   518,   519,   520,   521,   522,
     523,   524,   525,   973,   372,   373,   372,   373,  1032,   532,
     260,   534,   261,   151,  1446,  1033,   305,   500,  1450,   152,
    1452,   567,   153,   884,  1282,   545,   546,   547,  1286,   549,
     550,   551,   552,   553,   554,   555,   154,     8,     9,    10,
      11,    12,    13,    14,    15,   578,   579,   568,   569,   570,
     571,   832,   372,   373,   157,   581,   631,  1262,   158,   585,
     586,   632,  1263,   562,   562,   590,   565,   565,   694,  1204,
    1262,  1262,  1262,   695,   598,  1263,  1263,  1263,  1002,  1003,
      93,   303,   179,   181,   863,   159,    97,    98,    99,   100,
     101,   102,   103,   104,   105,   106,   107,   108,   109,   110,
     111,   112,   113,   114,   115,   116,   117,   118,   119,   120,
     372,   373,   160,   853,   892,   893,   894,   895,   702,   637,
     130,   131,   132,   133,   352,   969,  1176,  1206,   707,   358,
     702,  1177,  1367,  1368,  1369,  1370,  1213,   501,   702,  1374,
     703,  1077,   137,   138,   838,   130,   131,   132,   133,   372,
     373,   262,   382,   263,  1262,   137,   138,   387,   388,  1263,
     251,  1052,   252,   702,   161,   732,   700,   137,   138,   305,
     501,  1433,  1141,   372,   373,   708,   162,   706,  1250,   126,
     127,   128,   129,   163,  1464,  1466,  1467,   372,   373,   264,
    1208,   265,   372,   373,   164,  1416,  1417,   500,   718,  1420,
     501,   501,   501,   501,  1313,   168,   173,   700,   729,  1319,
     500,   174,   733,   734,   266,   367,   267,   369,   739,   372,
     373,   183,   996,   376,   184,   185,   972,   974,   749,   750,
     329,   330,   331,  1011,  1012,   874,  1322,   753,   332,  1455,
     134,   135,   182,   490,   212,   195,   136,   165,   166,   762,
     167,   139,   137,   138,   308,   188,   142,   496,   309,   252,
     814,   191,   268,   774,   269,   776,   777,   327,   328,   329,
     330,   331,  1480,   121,   122,   123,   124,   332,   192,   125,
      40,    41,    42,    43,   169,    45,   875,   170,   171,  1491,
     172,   137,   138,    51,    52,   446,   537,   270,   252,   271,
     137,   138,   198,   196,  1503,   730,   199,   252,   501,   272,
     813,   273,   197,   274,   910,   275,   207,   318,   319,   320,
     833,   321,   322,   323,   324,   325,   326,   327,   328,   329,
     330,   331,   936,   937,   938,   939,   940,   332,  1118,   276,
     208,   277,   822,   823,   317,   278,  1142,   279,   280,   282,
     281,   283,   284,   286,   285,   287,   824,   825,   826,   827,
     828,   829,   830,   209,   288,   500,   289,   210,   290,   834,
     291,   292,   837,   293,   294,   843,   295,   211,   296,   702,
     297,   867,   318,   319,   320,   852,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,   981,   500,   982,
     700,   702,   332,   995,   702,   702,  1023,  1024,   247,  1104,
     510,  1105,   250,   560,   561,   949,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,   298,   500,   500,
     500,   500,   332,   316,   898,   899,   702,   542,  1025,   299,
     904,   323,   324,   325,   326,   327,   328,   329,   330,   331,
     914,   915,   846,   300,   702,   332,  1026,   301,   302,   318,
     319,   320,   701,   321,   322,   323,   324,   325,   326,   327,
     328,   329,   330,   331,  1077,   702,  1078,  1097,  1182,   332,
    1183,   911,  1077,  1077,  1214,  1305,   314,   954,   955,   333,
     334,   318,   319,   320,   339,   321,   322,   323,   324,   325,
     326,   327,   328,   329,   330,   331,  1182,   366,  1379,   813,
    1429,   332,  1430,  1441,   975,  1442,   341,  1472,   980,  1473,
     355,   356,   357,  1254,   984,   359,   360,   361,   362,   363,
     364,   365,   377,   378,   391,   400,   500,   380,   997,   379,
     998,   389,   390,   399,   403,   397,   404,   406,   408,   409,
     410,   411,   412,   413,  1013,  1014,  1015,   318,   319,   320,
     414,   321,   322,   323,   324,   325,   326,   327,   328,   329,
     330,   331,   415,   416,   417,   418,   419,   332,  1036,  1037,
    1038,   439,   318,   319,   320,   420,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,  1083,   748,   318,
     319,   320,   332,   321,   322,   323,   324,   325,   326,   327,
     328,   329,   330,   331,   421,   422,   423,   424,   441,   332,
     442,   425,   869,  1074,  1071,   426,   427,   428,  1080,   429,
     430,   431,   432,   433,   434,   435,  1113,   436,   437,   438,
     445,    93,   344,   332,  1084,   495,   443,    97,    98,    99,
     100,   101,   102,   103,   104,   105,   106,   107,   108,   109,
     110,   111,   112,   113,   114,   115,   116,   117,   118,   119,
     120,   498,  1102,  1103,  1175,   507,   508,   509,   543,   345,
     538,   548,  1112,   556,   856,   857,   580,   859,   583,   861,
     862,   584,   589,   592,   595,   601,   602,  1132,  1133,    40,
      41,    42,    43,    44,    45,   562,   896,   603,   565,  1144,
     604,  1146,    51,    52,   605,   606,   607,   608,   609,   610,
     611,  1156,   612,   613,   614,   615,   616,   617,  1163,  1164,
    1165,   618,   902,   903,   619,  1170,   906,   620,   621,  1174,
     126,   127,   128,   129,   622,  1178,  1179,   623,   625,   624,
     626,   627,   922,   923,   628,   629,   630,   696,   928,   929,
     855,  1191,   633,   697,   634,   935,   635,   942,  1195,   318,
     319,   320,   698,   321,   322,   323,   324,   325,   326,   327,
     328,   329,   330,   331,   699,   709,  1202,   710,   714,   332,
     716,   747,   719,   720,   721,   888,   889,   890,   723,   725,
     726,   134,   346,   735,   751,   752,   764,   136,   765,  1217,
     768,  1218,   139,   769,   772,   770,   809,   142,   810,   347,
     773,   821,   990,   916,   992,   779,   780,   781,   782,   783,
     784,   785,   925,   786,   787,   999,  1000,  1001,   788,   789,
    1004,  1005,  1006,  1007,  1008,  1009,  1010,  1243,   790,   817,
     791,   818,  1247,   318,   319,   320,   792,   321,   322,   323,
     324,   325,   326,   327,   328,   329,   330,   331,   793,   794,
     831,   836,   795,   332,  1260,   796,  1266,   797,  1269,   798,
    1272,  1273,   819,   799,   800,   844,  1276,   801,   802,   845,
     562,   847,   851,   565,  1284,   891,   803,   858,   860,   871,
     872,   873,  1292,   804,   805,   806,   848,  1297,   807,   876,
    1300,   808,   839,   877,  1303,  1304,   811,   878,   870,   879,
     880,   881,  1307,   882,   883,  1310,   905,   304,   305,  1311,
     897,   900,   901,    93,   303,   907,  1082,   913,   917,    97,
      98,    99,   100,   101,   102,   103,   104,   105,   106,   107,
     108,   109,   110,   111,   112,   113,   114,   115,   116,   117,
     118,   119,   120,   912,   918,   978,   919,   920,   921,   924,
     926,   927,  1080,   930,   931,   932,   933,   934,   943,   953,
     958,   944,   945,  1351,   946,   947,   948,   950,   968,  1356,
     951,   970,  1360,   977,   983,   976,   991,   993,   994,  1138,
    1016,  1029,  1030,  1039,  1035,  1040,  1147,  1044,  1045,  1046,
    1047,  1048,  1049,  1072,  1381,  1085,  1382,  1054,  1050,  1051,
    1053,  1055,  1081,  1056,  1423,  1166,  1086,  1057,  1092,  1058,
    1093,  1059,   126,   127,   128,   129,  1060,  1061,  1062,  1063,
    1064,  1180,  1065,   320,  1066,   321,   322,   323,   324,   325,
     326,   327,   328,   329,   330,   331,  1067,  1068,  1119,  1088,
    1122,   332,  1125,    93,   303,  1459,  1134,  1462,  1094,    97,
      98,    99,   100,   101,   102,   103,   104,   105,   106,   107,
     108,   109,   110,   111,   112,   113,   114,   115,   116,   117,
     118,   119,   120,   134,   135,  1069,  1482,  1095,  1070,   136,
    1096,  1099,  1100,  1187,   139,  1101,  1454,   727,  1106,   142,
    1107,   728,   318,   319,   320,  1108,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,  1109,  1110,  1111,
    1120,  1123,   332,  1126,  1128,  1129,  1130,  1131,  1478,  1479,
    1145,  1137,  1148,  1149,  1150,  1152,  1155,  1154,  1157,  1158,
    1151,  1159,  1161,  1160,  1488,  1168,  1167,  1171,  1172,  1173,
    1181,  1184,   126,   127,   128,   129,  1185,  1186,  1201,  1188,
    1189,  1190,  1198,  1200,  1194,  1248,  1203,  1216,  1222,  1275,
    1205,  1207,  1209,  1279,  1215,  1220,  1223,  1225,  1224,  1229,
    1251,  1226,  1230,    93,   539,  1228,  1234,  1274,  1294,    97,
      98,    99,   100,   101,   102,   103,   104,   105,   106,   107,
     108,   109,   110,   111,   112,   113,   114,   115,   116,   117,
     118,   119,   120,   134,   135,  1196,  1235,  1236,  1238,   136,
    1239,  1280,  1249,  1283,   139,  1285,  1241,   865,  1287,   142,
    1288,   866,  1289,  1309,  1290,  1261,  1291,  1267,  1293,  1270,
     318,   319,   320,  1295,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,  1197,  1296,  1298,  1299,  1302,
     332,  1301,  1327,  1306,  1308,  1315,  1314,  1345,  1349,  1352,
    1329,  1326,  1334,  1330,  1353,  1331,  1332,  1335,  1337,  1339,
    1364,  1365,   126,   127,   128,   129,  1341,  1347,  1354,   369,
    1357,  1358,  1361,  1362,  1363,    93,   303,  1366,  1392,  1371,
    1372,    97,    98,    99,   100,   101,   102,   103,   104,   105,
     106,   107,   108,   109,   110,   111,   112,   113,   114,   115,
     116,   117,   118,   119,   120,  1373,  1375,  1376,  1377,  1378,
    1383,  1415,  1399,  1405,  1384,  1386,  1395,  1409,  1396,  1387,
    1407,  1389,  1391,   134,   135,  1414,  1393,  1394,  1397,   136,
    1398,  1412,  1400,  1403,   139,  1418,  1419,  1421,  1426,   142,
    1425,   540,   318,   319,   320,  1428,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,  1432,  1434,  1437,
    1435,  1436,   332,  1447,  1438,  1439,  1440,  1443,  1445,  1444,
    1448,  1199,  1456,  1449,   126,   127,   128,   129,  1451,  1453,
    1457,  1458,   318,   319,   320,  1460,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,  1463,  1465,  1468,
    1470,  1471,   332,  1474,  1475,  1481,  1476,  1477,  1483,  1489,
    1495,  1486,  1497,  1487,  1505,  1493,   815,  1342,  1494,    73,
    1490,    81,  1504,  1087,  1498,  1500,  1502,  1496,     0,     0,
       0,     0,  1499,     0,  1501,  1257,  1258,     0,     0,     0,
       0,   136,     0,     0,     0,     0,  1259,     0,    93,    94,
      95,   142,    96,   178,    97,    98,    99,   100,   101,   102,
     103,   104,   105,   106,   107,   108,   109,   110,   111,   112,
     113,   114,   115,   116,   117,   118,   119,   120,  1328,   121,
     122,   123,   124,    93,   344,   125,     0,     0,     0,    97,
      98,    99,   100,   101,   102,   103,   104,   105,   106,   107,
     108,   109,   110,   111,   112,   113,   114,   115,   116,   117,
     118,   119,   120,     0,     0,     0,     0,     0,   318,   319,
     320,   345,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,    40,    41,    42,    43,    44,    45,   126,   127,   128,
     129,    93,   303,     0,    51,    52,     0,    97,    98,    99,
     100,   101,   102,   103,   104,   105,   106,   107,   108,   109,
     110,   111,   112,   113,   114,   115,   116,   117,   118,   119,
     120,     0,   126,   127,   128,   129,     0,     0,     0,     0,
       0,     0,     0,     0,   130,   131,   132,   133,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   134,   135,
       0,     0,     0,   596,   136,     0,   137,   138,     0,   139,
       0,   140,     0,   141,   142,   318,   319,   320,     0,   321,
     322,   323,   324,   325,   326,   327,   328,   329,   330,   331,
     715,     0,     0,   134,   499,   332,     0,     0,     0,   136,
     126,   127,   128,   129,   139,    93,   303,   212,     0,   142,
       0,    97,    98,    99,   100,   101,   102,   103,   104,   105,
     106,   107,   108,   109,   110,   111,   112,   113,   114,   115,
     116,   117,   118,   119,   120,     0,   121,   122,   123,   124,
     868,     0,   125,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   909,     0,     0,
       0,   134,   135,     0,     0,     0,     0,   136,     0,     0,
       0,     0,   139,    93,   539,     0,     0,   142,     0,    97,
      98,    99,   100,   101,   102,   103,   104,   105,   106,   107,
     108,   109,   110,   111,   112,   113,   114,   115,   116,   117,
     118,   119,   120,     0,   126,   127,   128,   129,   318,   319,
     320,     0,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,     0,     0,     0,   318,   319,   320,     0,   321,
     322,   323,   324,   325,   326,   327,   328,   329,   330,   331,
       0,     0,     0,     0,     0,   332,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   134,   135,     0,     0,     0,
       0,   136,   126,   127,   128,   129,   139,     0,     0,     0,
       0,   142,     0,     0,     0,   318,   319,   320,     0,   321,
     322,   323,   324,   325,   326,   327,   328,   329,   330,   331,
       0,     0,   318,   319,   320,   332,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   134,   135,     0,     0,     0,     0,   136,
       0,     0,     0,     0,   139,     0,     0,     0,     0,   142,
     572,    25,    26,   573,   574,    29,   575,    31,     0,    32,
       0,    34,    35,     0,    37,    38,     0,     0,     0,     0,
       0,   572,    25,    26,   573,   574,    29,   575,    31,     0,
      32,    50,    34,    35,     0,    37,    38,     0,     0,     0,
      54,    55,    56,     0,     0,     0,     0,     0,     0,     0,
       0,     0,    50,     0,     0,     0,     0,     0,    66,     0,
       0,    54,    55,    56,     0,     0,   572,    25,    26,   573,
     574,    29,   575,    31,     0,    32,     0,    34,    35,    66,
      37,    38,     0,     0,     0,     0,     0,   572,    25,    26,
     573,   574,    29,   575,    31,     0,    32,    50,    34,    35,
       0,    37,    38,     0,     0,     0,    54,    55,    56,     0,
       0,     0,     0,     0,     0,     0,     0,     0,    50,     0,
       0,     0,     0,     0,    66,     0,     0,    54,    55,    56,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   576,     0,     0,     0,    66,   572,    25,    26,   573,
     574,    29,   575,    31,     0,    32,     0,    34,    35,     0,
      37,    38,   582,     0,     0,     0,     0,     0,     0,     0,
      -5,     1,     0,    -5,   -48,     0,     0,    50,     0,     0,
       0,     0,     0,     0,     0,     0,    54,    55,    56,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   -48,    66,     0,     0,   599,   -48,   -48,
       0,   -48,   -48,   -48,   -48,   -48,   -48,   -48,   -48,     0,
     -48,   -48,   -48,   -48,   -48,   -48,   -48,     0,   600,     0,
     -48,   -48,   -48,   -48,   -48,   -48,   -48,     0,   -48,   -48,
     -48,   -48,   -48,   217,   -48,   -48,     0,     0,     0,     0,
     -48,   -48,   -48,   -48,     0,     0,     0,     0,   -48,     0,
     -48,     0,   -48,   -48,   -48,   -48,   -48,   -48,   -48,   -48,
     -48,   -48,   318,   319,   320,     0,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,   775,     0,     0,
       0,     0,   332,     0,    -5,    -5,    -5,    -5,    -5,    -5,
      -5,    -5,     0,     0,     0,   218,   219,   220,     0,     0,
       0,     0,     0,   221,   222,   223,   224,   225,   226,   227,
     228,   229,   230,    20,     0,     0,     0,     0,     0,     0,
       0,   231,   232,   233,   234,   235,   236,   237,   238,   239,
     240,     0,   241,   242,   243,   244,   245,   246,     0,     0,
       0,     0,    21,     0,     0,     0,     0,    22,    23,     0,
      24,    25,    26,    27,    28,    29,    30,    31,     0,    32,
      33,    34,    35,    36,    37,    38,     0,     0,     0,    39,
      40,    41,    42,    43,    44,    45,     0,    46,    47,    48,
      49,    50,     0,    51,    52,     0,     0,     0,     0,    53,
      54,    55,    56,     0,     0,     0,     0,    57,     0,    58,
       0,    59,    60,    61,    62,    63,    64,    65,    66,    67,
      68,   572,    25,    26,   573,   574,    29,   575,    31,     0,
      32,     0,    34,    35,     0,    37,    38,   318,   319,   320,
       0,   321,   322,   323,   324,   325,   326,   327,   328,   329,
     330,   331,    50,     0,     0,     0,     0,   332,     0,     0,
       0,    54,    55,    56,  1116,     0,  1117,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   318,   319,   320,    66,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
       0,     0,     0,  1139,     0,  1140,   318,   319,   320,     0,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
       0,     0,     0,  1255,     0,  1256,   318,   319,   320,     0,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
       0,     0,   318,   319,   320,   736,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,     0,     0,   318,   319,
     320,   740,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,     0,     0,   318,   319,   320,   741,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,     0,     0,
     318,   319,   320,   864,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,     0,     0,   318,   319,   320,   887,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
       0,     0,   318,   319,   320,  1114,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,     0,     0,   318,   319,
     320,  1277,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,     0,     0,   318,   319,   320,  1278,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,     0,     0,
     318,   319,   320,  1312,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,     0,     0,   318,   319,   320,  1318,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
       0,     0,   318,   319,   320,  1321,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,     0,     0,   318,   319,
     320,  1324,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,     0,     0,   318,   319,   320,  1325,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,     0,     0,
     318,   319,   320,  1348,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,     0,     0,   318,   319,   320,  1385,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
       0,     0,   318,   319,   320,  1388,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,     0,     0,   318,   319,
     320,  1390,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,     0,     0,   318,   319,   320,  1402,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,     0,     0,
     318,   319,   320,  1485,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,     0,     0,   318,   319,   320,  1492,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,   497,     0,
     318,   319,   320,   558,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,   528,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,   558,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,   559,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,   593,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,   672,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,   673,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,   686,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,   687,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,   688,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,   689,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,   690,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,   691,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,   754,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,   755,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,   756,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,   854,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,   885,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,   886,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,   908,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,  1027,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,  1028,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,  1041,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,  1042,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,  1075,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,  1076,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,  1091,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,  1098,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,  1210,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,  1211,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,  1219,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,  1221,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,  1232,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,  1237,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,  1240,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,  1244,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,  1245,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,  1252,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,  1253,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,     0,     0,     0,   318,   319,   320,  1333,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,     0,     0,     0,
     318,   319,   320,  1344,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,     0,     0,     0,   318,   319,   320,  1346,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,     0,     0,     0,   318,   319,
     320,  1469,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,     0,
       0,     0,   318,   319,   320,  1484,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,   318,   319,   320,   503,   321,   322,   323,
     324,   325,   326,   327,   328,   329,   330,   331,     0,     0,
       0,     0,     0,   332,   318,   319,   320,   636,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,   318,   319,   320,   651,   321,
     322,   323,   324,   325,   326,   327,   328,   329,   330,   331,
       0,     0,     0,     0,     0,   332,   318,   319,   320,   653,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,   318,   319,   320,
     655,   321,   322,   323,   324,   325,   326,   327,   328,   329,
     330,   331,     0,     0,     0,     0,     0,   332,   318,   319,
     320,   657,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,   318,
     319,   320,   659,   321,   322,   323,   324,   325,   326,   327,
     328,   329,   330,   331,     0,     0,     0,     0,     0,   332,
     318,   319,   320,   661,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,   318,   319,   320,   663,   321,   322,   323,   324,   325,
     326,   327,   328,   329,   330,   331,     0,     0,     0,     0,
       0,   332,   318,   319,   320,   665,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,   318,   319,   320,   667,   321,   322,   323,
     324,   325,   326,   327,   328,   329,   330,   331,     0,     0,
       0,     0,     0,   332,   318,   319,   320,   669,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,   318,   319,   320,   671,   321,
     322,   323,   324,   325,   326,   327,   328,   329,   330,   331,
       0,     0,     0,     0,     0,   332,   318,   319,   320,   675,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,   318,   319,   320,
     677,   321,   322,   323,   324,   325,   326,   327,   328,   329,
     330,   331,     0,     0,     0,     0,     0,   332,   318,   319,
     320,   679,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,   318,
     319,   320,   681,   321,   322,   323,   324,   325,   326,   327,
     328,   329,   330,   331,     0,     0,     0,     0,     0,   332,
     318,   319,   320,   683,   321,   322,   323,   324,   325,   326,
     327,   328,   329,   330,   331,     0,     0,     0,     0,     0,
     332,   318,   319,   320,   685,   321,   322,   323,   324,   325,
     326,   327,   328,   329,   330,   331,     0,     0,     0,     0,
       0,   332,   318,   319,   320,   757,   321,   322,   323,   324,
     325,   326,   327,   328,   329,   330,   331,     0,     0,     0,
       0,     0,   332,   318,   319,   320,   763,   321,   322,   323,
     324,   325,   326,   327,   328,   329,   330,   331,     0,     0,
       0,     0,     0,   332,   318,   319,   320,   766,   321,   322,
     323,   324,   325,   326,   327,   328,   329,   330,   331,     0,
       0,     0,     0,     0,   332,   318,   319,   320,   767,   321,
     322,   323,   324,   325,   326,   327,   328,   329,   330,   331,
       0,     0,     0,     0,     0,   332,   318,   319,   320,   835,
     321,   322,   323,   324,   325,   326,   327,   328,   329,   330,
     331,     0,     0,     0,     0,     0,   332,   318,   319,   320,
     960,   321,   322,   323,   324,   325,   326,   327,   328,   329,
     330,   331,     0,     0,     0,     0,     0,   332,   318,   319,
     320,   962,   321,   322,   323,   324,   325,   326,   327,   328,
     329,   330,   331,     0,     0,     0,     0,     0,   332,   318,
     319,   320,   964,   321,   322,   323,   324,   325,   326,   327,
     328,   329,   330,   331,     0,     0,     0,     0,     0,   332,
     318,   319,   320,   966,   321,   322,   323,   324,   325,   326,