Skip to content
Snippets Groups Projects
Gmsh.tab.cpp 386 KiB
Newer Older
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
  "$end", "error", "$undefined", "tDOUBLE", "tSTRING", "tBIGSTR", "tEND",
  "tAFFECT", "tDOTS", "tPi", "tMPI_Rank", "tMPI_Size", "tEuclidian",
  "tCoordinates", "tExp", "tLog", "tLog10", "tSqrt", "tSin", "tAsin",
  "tCos", "tAcos", "tTan", "tRand", "tAtan", "tAtan2", "tSinh", "tCosh",
  "tTanh", "tFabs", "tFloor", "tCeil", "tFmod", "tModulo", "tHypot",
  "tList", "tPrintf", "tError", "tSprintf", "tStrCat", "tStrPrefix",
  "tStrRelative", "tBoundingBox", "tDraw", "tToday", "tSyncModel",
  "tCreateTopology", "tCreateTopologyNoHoles", "tDistanceFunction",
  "tDefineConstant", "tPoint", "tCircle", "tEllipse", "tLine", "tSphere",
  "tPolarSphere", "tSurface", "tSpline", "tVolume", "tCharacteristic",
  "tLength", "tParametric", "tElliptic", "tRefineMesh", "tPlane", "tRuled",
  "tTransfinite", "tComplex", "tPhysical", "tCompound", "tPeriodic",
  "tUsing", "tPlugin", "tDegenerated", "tRotate", "tTranslate",
Christophe Geuzaine's avatar
Christophe Geuzaine committed
  "tSymmetry", "tDilate", "tExtrude", "tLevelset", "tRecombine",
  "tSmoother", "tSplit", "tDelete", "tCoherence", "tIntersect",
  "tMeshAlgorithm", "tLayers", "tHole", "tAlias", "tAliasWithOptions",
  "tQuadTriDbl", "tQuadTriSngl", "tRecombLaterals", "tTransfQuadTri",
  "tText2D", "tText3D", "tInterpolationScheme", "tTime", "tCombine",
  "tBSpline", "tBezier", "tNurbs", "tNurbsOrder", "tNurbsKnots", "tColor",
  "tColorTable", "tFor", "tIn", "tEndFor", "tIf", "tEndIf", "tExit",
  "tAbort", "tField", "tReturn", "tCall", "tFunction", "tShow", "tHide",
  "tGetValue", "tGetEnv", "tGetString", "tHomology", "tCohomology",
  "tGMSH_MAJOR_VERSION", "tGMSH_MINOR_VERSION", "tGMSH_PATCH_VERSION",
  "tAFFECTDIVIDE", "tAFFECTTIMES", "tAFFECTMINUS", "tAFFECTPLUS", "'?'",
  "tOR", "tAND", "tNOTEQUAL", "tEQUAL", "'<'", "'>'", "tGREATEROREQUAL",
  "tLESSOREQUAL", "'+'", "'-'", "'*'", "'/'", "'%'", "'!'", "UNARYPREC",
  "tMINUSMINUS", "tPLUSPLUS", "'^'", "'('", "')'", "'['", "']'", "'.'",
  "'#'", "','", "'{'", "'}'", "'~'", "$accept", "All", "GeoFormatItems",
  "GeoFormatItem", "SendToFile", "Printf", "View", "Views",
  "ElementCoords", "ElementValues", "Element", "$@1", "$@2",
  "Text2DValues", "Text2D", "$@3", "Text3DValues", "Text3D", "$@4",
  "InterpolationMatrix", "Time", "$@5", "NumericAffectation",
  "NumericIncrement", "Affectation", "Comma", "DefineConstants", "$@6",
  "Enumeration", "FloatParameterOptions", "FloatParameterOption",
  "PhysicalId", "InSphereCenter", "CircleOptions", "Shape", "$@7", "$@8",
  "$@9", "$@10", "Transform", "MultipleShape", "ListOfShapes", "LevelSet",
  "Delete", "Colorify", "Visibility", "Command", "Loop", "Extrude", "$@11",
  "$@12", "$@13", "$@14", "$@15", "$@16", "$@17", "$@18", "$@19", "$@20",
  "$@21", "$@22", "$@23", "ExtrudeParameters", "ExtrudeParameter",
  "TransfiniteType", "TransfiniteArrangement", "TransfiniteCorners",
  "RecombineAngle", "Transfinite", "Periodic", "Embedding", "Coherence",
  "HomologyCommand", "Homology", "FExpr", "FExpr_Single", "VExpr",
  "VExpr_Single", "RecursiveListOfListOfDouble", "ListOfDouble",
  "ListOfDoubleOrAll", "FExpr_Multi", "RecursiveListOfDouble", "ColorExpr",
  "ListOfColor", "RecursiveListOfColor", "StringExprVar", "StringExpr", 0
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
#endif
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
# ifdef YYPRINT
/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
   token YYLEX-NUM.  */
static const yytype_uint16 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,
Matti Pellika's avatar
 
Matti Pellika committed
     365,   366,   367,   368,   369,   370,   371,   372,   373,   374,
     375,   376,   377,   378,   379,   380,   381,   382,   383,   384,
     385,   386,    63,   387,   388,   389,   390,    60,    62,   391,
     392,    43,    45,    42,    47,    37,    33,   393,   394,   395,
      94,    40,    41,    91,    93,    46,    35,    44,   123,   125,
     126
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
};
# endif

/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives.  */
static const yytype_uint8 yyr1[] =
{
       0,   161,   162,   162,   163,   163,   164,   164,   164,   164,
     164,   164,   164,   164,   164,   164,   164,   164,   164,   164,
     164,   164,   164,   165,   165,   166,   166,   166,   166,   166,
     166,   167,   167,   167,   168,   168,   168,   168,   168,   168,
     169,   169,   170,   170,   172,   173,   171,   174,   174,   176,
     175,   177,   177,   179,   178,   180,   180,   182,   181,   183,
     183,   183,   183,   183,   184,   184,   185,   185,   185,   185,
     185,   185,   185,   185,   185,   185,   185,   185,   185,   185,
     185,   185,   185,   185,   185,   185,   185,   185,   185,   185,
     185,   185,   186,   186,   187,   187,   187,   188,   187,   189,
     189,   190,   190,   191,   191,   191,   192,   192,   193,   193,
     194,   194,   195,   196,   195,   195,   195,   195,   195,   195,
     195,   195,   195,   195,   195,   195,   197,   195,   195,   195,
     195,   195,   195,   195,   195,   195,   195,   195,   198,   195,
     195,   195,   195,   199,   195,   200,   200,   200,   200,   200,
     200,   200,   200,   201,   201,   202,   202,   202,   202,   202,
     202,   203,   203,   203,   203,   203,   203,   203,   203,   203,
     204,   204,   204,   204,   204,   205,   206,   206,   206,   206,
     207,   207,   207,   207,   207,   207,   207,   207,   207,   207,
     207,   207,   207,   207,   207,   208,   208,   208,   208,   208,
     208,   208,   208,   208,   208,   209,   209,   209,   210,   209,
     211,   209,   212,   209,   213,   209,   209,   209,   209,   209,
     209,   209,   209,   209,   209,   214,   209,   215,   209,   216,
     209,   217,   209,   218,   209,   219,   209,   220,   209,   221,
     209,   222,   209,   223,   223,   224,   224,   224,   224,   224,
     224,   224,   224,   224,   224,   225,   225,   226,   226,   227,
     227,   228,   228,   229,   229,   229,   229,   229,   229,   229,
     229,   230,   230,   231,   231,   231,   231,   232,   232,   232,
     233,   233,   234,   234,   234,   234,   235,   235,   235,   235,
     235,   235,   235,   235,   235,   235,   235,   235,   235,   235,
     235,   235,   235,   235,   235,   235,   235,   235,   235,   235,
     235,   235,   235,   235,   235,   235,   235,   235,   235,   235,
     235,   235,   235,   235,   235,   235,   235,   235,   235,   235,
     235,   235,   235,   235,   235,   235,   235,   235,   235,   235,
     235,   235,   235,   235,   235,   235,   235,   235,   236,   236,
     236,   236,   236,   236,   236,   236,   236,   236,   236,   236,
     236,   236,   236,   236,   236,   236,   237,   237,   237,   237,
     237,   238,   238,   238,   238,   239,   239,   240,   240,   240,
     240,   240,   240,   241,   241,   242,   242,   242,   242,   242,
     242,   242,   242,   242,   242,   242,   242,   242,   242,   242,
     242,   242,   242,   243,   243,   243,   243,   244,   244,   244,
     244,   245,   245,   246,   246,   247,   247,   247,   247,   248,
     248,   248,   248,   248,   248,   248,   248,   248
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN.  */
static const yytype_uint8 yyr2[] =
{
       0,     2,     1,     2,     0,     2,     1,     1,     1,     1,
       1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
       1,     1,     1,     1,     2,     5,     5,     7,     7,     7,
       9,     6,     6,     6,     0,     2,     2,     2,     2,     2,
       1,     3,     1,     3,     0,     0,    10,     1,     3,     0,
      13,     1,     3,     0,    15,     8,    14,     0,     6,     1,
       1,     1,     1,     1,     1,     1,     5,     4,     6,     7,
       9,     3,     6,     4,     6,     9,     6,     9,     5,     8,
       8,    11,     6,     9,     5,     7,     9,     9,    11,     7,
       9,     9,     0,     1,     0,     3,     5,     0,     9,     3,
       5,     0,     2,     3,     5,     3,     1,     1,     0,     5,
       0,     2,     7,     0,     9,     6,     7,     4,     7,     8,
       8,     7,     7,    11,     8,     8,     0,     9,     8,     9,
       3,     4,    10,     7,     7,     8,     8,    12,     0,     9,
       8,     7,     8,     0,     9,     5,    11,     5,     9,     9,
       4,     9,     9,     1,     1,     0,     2,     6,     6,     6,
       6,     8,    10,    14,    16,    12,     8,     8,     6,    14,
       4,     6,     6,     3,     4,     5,     3,     3,     4,     4,
       3,     7,     7,     3,     7,     3,     2,     2,     2,     2,
      15,     2,     2,     2,     2,     6,     8,     8,    10,     1,
       2,     1,     3,     4,     1,     5,    11,    13,     0,     7,
       0,    13,     0,    15,     0,     6,     8,     8,     8,    12,
      12,    12,    14,    14,    14,     0,    12,     0,    12,     0,
      12,     0,    16,     0,    16,     0,    16,     0,    18,     0,
      18,     0,    18,     1,     2,     5,     7,     9,     2,     2,
       3,     2,     3,     9,     6,     0,     3,     0,     1,     0,
       2,     0,     2,     7,     6,     8,     5,     3,     7,     5,
       6,     6,    12,    10,    10,    10,    10,     2,     3,     6,
       1,     1,     2,     5,     7,    10,     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,     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,     5,     4,     4,     2,
       5,     3,     6,     4,     7,     6,     1,     2,     2,     3,
       3,    11,     9,     7,     7,     1,     3,     1,     1,     2,
       3,     4,     5,     1,     1,     2,     3,     3,     5,     4,
       2,     2,     2,     2,     5,     5,     5,     5,     1,     1,
       3,     4,     6,     1,     1,     3,     3,     9,     7,     1,
       5,     3,     6,     1,     3,     1,     1,     3,     6,     1,
       1,     4,     6,     6,     4,     4,     4,     6
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
};
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
   STATE-NUM when YYTABLE doesn't specify something else to do.  Zero
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
   means the default is an error.  */
static const yytype_uint16 yydefact[] =
{
       0,     0,     0,     2,     3,     1,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   199,     0,   204,     0,     0,     0,   201,     0,     0,
       0,     0,   280,   281,     5,     7,     6,     8,     9,    10,
      21,    11,    12,    13,    20,    19,    14,    15,    16,    17,
      18,     0,    22,   348,   355,   419,    59,   349,   350,   351,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   420,     0,     0,     0,     0,
     352,   353,   354,    63,    62,    61,    60,     0,     0,     0,
      65,    64,     0,     0,     0,     0,   155,     0,     0,     0,
     286,     0,     0,     0,     0,     0,   189,     0,   191,   188,
     192,   193,    94,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   194,
       0,     0,     0,     0,     0,     0,   113,   126,   138,   143,
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   366,     0,     0,     0,     0,     0,   155,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     155,     0,   277,     0,     0,     0,     0,     0,   355,   384,
       0,     0,     0,     0,     0,     0,     0,     0,   398,   399,
     377,   383,     0,   378,     0,     0,     0,     0,   409,     0,
       0,     0,     0,     0,   186,   187,     0,     0,   200,     0,
     155,     0,   155,   282,     0,     0,     0,     0,     0,     0,
     359,    34,   419,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   355,   289,   288,   290,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   154,     0,   153,
       0,    71,   183,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,   180,   130,
       0,     0,     0,     0,    92,     0,     0,   403,   404,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   259,   259,     0,
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   368,   367,     0,     0,     0,     0,   155,   155,
       0,     0,     0,     0,     0,     0,     0,   214,     0,   155,
       0,     0,     0,     0,     0,   261,     0,     0,     0,   173,
       0,     0,     0,   278,     0,     0,     0,     0,     0,     0,
       0,   390,     0,   391,   392,   393,     0,     0,     0,     0,
       0,   288,   385,   379,     0,     0,     0,   267,   185,     0,
       0,     0,     0,     0,   155,     0,     0,     0,     0,   202,
     176,     0,   177,     0,     0,     0,     0,     0,   361,     0,
       0,    73,     0,     0,     0,     0,     0,     0,     0,     0,
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   416,     0,   415,     0,     0,     0,
       0,     0,     0,     0,     0,   287,    59,     0,     0,     0,
      59,     0,     0,     0,     0,     0,   150,     0,     0,     0,
       0,   156,    67,     0,   304,   303,   302,   301,   297,   298,
     300,   299,   292,   291,   293,   294,   295,   296,   131,     0,
       0,     0,     0,     0,     0,    93,     0,     0,     0,     0,
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   257,
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   117,     0,     0,     0,   370,   369,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   208,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   174,     0,     0,
     170,     0,     0,     0,     0,     0,   400,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   380,   387,     0,   293,
     386,     0,     0,     0,     0,     0,     0,     0,     0,   203,
       0,   178,   179,     0,     0,     0,     0,   357,   363,     0,
      44,     0,     0,     0,    57,     0,    35,    36,    37,    38,
      39,   306,   327,   307,   328,   308,   329,   309,   330,   310,
     331,   311,   332,   312,   333,   313,   334,   314,   335,   326,
     347,   315,   336,     0,     0,   317,   338,   318,   339,   319,
     340,   320,   341,   321,   342,   322,   343,     0,     0,     0,
       0,     0,     0,     0,     0,   426,     0,     0,   424,   425,
      84,     0,   421,     0,     0,     0,     0,     0,     0,     0,
       0,    78,     0,     0,     0,     0,   358,     0,     0,     0,
       0,     0,    25,    23,     0,     0,    26,     0,     0,    66,
      95,     0,   405,   406,     0,     0,     0,     0,     0,     0,
Matti Pellika's avatar
 
Matti Pellika committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   255,   260,   258,     0,   266,     0,     0,   106,   107,
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   145,   147,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   243,     0,   205,     0,
       0,     0,     0,     0,     0,   262,   269,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,   357,   401,   389,
       0,     0,     0,     0,   381,     0,     0,     0,     0,     0,
       0,     0,   175,     0,     0,     0,     0,     0,     0,   283,
       0,     0,   360,     0,   356,     0,     0,     0,     0,     0,
      31,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     417,     0,     0,     0,     0,    68,     0,     0,     0,     0,
       0,    72,    74,    76,     0,     0,   413,     0,    82,     0,
       0,     0,     0,   305,    24,     0,     0,     0,     0,     0,
       0,     0,   110,   110,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   115,     0,     0,     0,     0,     0,
       0,   264,     0,     0,     0,     0,     0,     0,     0,     0,
     271,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   248,     0,     0,   249,     0,   251,     0,   215,
     244,     0,     0,     0,   168,     0,     0,     0,   270,     0,
     172,   171,   279,     0,     0,    32,    33,     0,   394,   395,
     396,   397,   388,   382,     0,     0,     0,   410,     0,     0,
       0,   195,     0,     0,     0,     0,   182,   362,   181,     0,
       0,     0,     0,   375,     0,   316,   337,   323,   344,   324,
     345,   325,   346,     0,   427,   423,   365,   422,     0,    59,
       0,     0,     0,     0,    69,     0,     0,     0,   411,     0,
       0,     0,     0,    27,    28,     0,    29,     0,     0,    96,
     112,     0,     0,     0,     0,     0,   116,     0,     0,   133,
     134,     0,     0,   118,   141,     0,     0,     0,   108,     0,
     263,     0,     0,     0,     0,     0,     0,     0,     0,     0,
     184,     0,     0,     0,     0,   155,   155,     0,   225,     0,
     227,     0,   229,     0,   377,     0,     0,   250,   252,     0,
       0,   209,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   268,   402,   121,   122,     0,     0,     0,     0,    85,
      89,     0,     0,   284,   364,     0,    40,     0,     0,     0,
       0,     0,    42,     0,     0,     0,     0,    79,     0,     0,
      80,     0,   414,   157,   158,   159,   160,     0,     0,    97,
       0,   111,   119,   120,   124,     0,     0,   135,     0,     0,
     265,   128,     0,     0,   256,   140,     0,     0,     0,     0,
     125,     0,   136,   142,     0,     0,     0,     0,   374,     0,
     373,     0,     0,     0,   216,     0,     0,   217,     0,     0,
     218,     0,     0,     0,     0,     0,     0,     0,   167,     0,
       0,   166,     0,     0,     0,   161,     0,     0,     0,     0,
     408,     0,   197,   196,     0,     0,     0,     0,    45,     0,
       0,     0,   376,     0,     0,     0,   418,    70,    75,    77,
       0,    83,     0,    30,     0,   101,     0,     0,     0,     0,
       0,     0,   129,   114,   127,   139,   144,     0,     0,    90,
      91,   155,     0,   148,   149,     0,     0,     0,     0,     0,
       0,     0,   245,     0,     0,   155,     0,     0,     0,     0,
       0,   152,   151,     0,     0,     0,     0,    86,    87,     0,
       0,    41,     0,     0,     0,    43,    58,     0,   412,     0,
       0,   273,   274,   275,   276,   132,     0,     0,     0,     0,
       0,   372,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   254,     0,     0,     0,   210,     0,     0,   162,     0,
       0,     0,   407,   198,     0,   285,     0,     0,     0,     0,
      81,     0,     0,    98,   102,     0,     0,     0,   146,     0,
     231,     0,     0,   233,     0,     0,   235,     0,     0,     0,
     246,     0,   206,     0,   155,     0,     0,     0,   123,    88,
       0,    49,     0,    55,     0,     0,     0,   109,   137,   272,
     371,   219,     0,     0,   226,   220,     0,     0,   228,   221,
       0,     0,   230,     0,     0,     0,   212,     0,   165,     0,
       0,     0,     0,     0,     0,     0,   105,     0,   103,     0,
     237,     0,   239,     0,   241,   247,   253,   211,   207,     0,
       0,     0,     0,    46,     0,    53,     0,     0,     0,   403,
       0,   222,     0,     0,   223,     0,     0,   224,     0,     0,
     169,     0,   163,     0,    47,     0,     0,   190,     0,   104,
       0,     0,     0,     0,     0,     0,     0,   213,     0,     0,
       0,     0,     0,     0,    99,   232,     0,   234,     0,   236,
       0,   164,    48,    50,     0,    51,     0,     0,     0,     0,
       0,     0,     0,    56,   100,   238,   240,   242,    52,    54
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
/* YYDEFGOTO[NTERM-NUM].  */
static const yytype_int16 yydefgoto[] =
{
      -1,     2,     3,    74,   764,    75,    76,   480,  1125,  1131,
     686,   875,  1280,  1433,   687,  1392,  1464,   688,  1435,   689,
     690,   879,   147,   270,    77,   576,   364,  1235,  1418,  1290,
    1334,   797,  1163,  1053,   551,   390,   391,   392,   393,   238,
     338,   339,    80,    81,    82,    83,    84,    85,   239,   829,
    1353,  1409,   625,  1185,  1188,  1191,  1372,  1376,  1380,  1422,
    1425,  1428,   825,   826,   940,   794,   599,   634,    87,    88,
      89,    90,    91,    92,   240,   150,   403,   203,  1012,  1013,
     242,   243,   454,   250,   755,   907,   525,   526
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
   STATE-NUM.  */
#define YYPACT_NINF -1105
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
static const yytype_int16 yypact[] =
{
    3973,    42,    92,  4057, -1105, -1105,  1839,    23,    13,   -53,
     -45,    35,   146,   151,   183,   191,    28,  -106,    53,    71,
       2,    87,    97,    17,   179,   189,   299,   313,   323,   398,
     335,   371,   389,   359,   584,   410,    27,   279,   391,   280,
     173,   173,   291,   538,    46,   401,   425,   488,    16,    64,
     492,   490,   548,   551,  1995,   555,   424,   427,   428,    18,
      34, -1105,   442, -1105,   577,   600,   466, -1105,   631,   632,
       0,    24, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105,
   -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105,
   -1105,    36, -1105, -1105,    31,   483,   421, -1105, -1105, -1105,
      -9,    -3,     3,    61,   176,   316,   327,   382,   416,   434,
     456,   477,   523,   567,   582,   587,   596,   599,   627,   645,
     648,   493,   503,   510,   522, -1105,   662,   537,   543,   544,
   -1105, -1105, -1105, -1105, -1105, -1105, -1105,   497,   497,   497,
   -1105, -1105,   497,  3128,    15,   699,   321,  2451,   671,   797,
   -1105,   701,   702,   497,   714,   717, -1105,   497, -1105, -1105,
   -1105, -1105, -1105,   497,  3535,   497,   497,   591,   497,  3535,
     497,   497,   611,  3535,   497,   497,  2451,   612,   593, -1105,
     660,   674,  1995,  1995,  1995,   675, -1105, -1105, -1105, -1105,
     678,   679,   682,  2451,   497,   772,  2451,   173,   173,   173,
     497,   497,   -29, -1105,   220,   173,   646,   691,   696,  3351,
     232,   -12,   686,   689,   712,  1995,  2451,   727,    43,   705,
   -1105,   880, -1105,   724,   731,   732,   796,   826,   588, -1105,
     827,    32,   914,   945,   955,   721,  2601,  1648, -1105, -1105,
    3730, -1105,   903, -1105,   961,   497,   497,   497,   850,   497,
     855,   902,   497,   497, -1105, -1105,   497,  1015, -1105,  1020,
   -1105,  1024, -1105, -1105,  2451,  2451,   881,   497,  1037,   886,
   -1105, -1105, -1105,  1041,   497,   497,   497,   497,   497,   497,
     497,   497,   497,   497,   497,   497,   497,   497,   497,   497,
     497,   497,   497,   497,   497,   497,   497,   497,   497,   497,
     497,   497,   497,   497,   497,   497,   497,   497,   497,   497,
     497,   497,   497,   497,   497,   497,   361,   361,   361,   361,
     497,   361,   361,   361,   350,   907,   907,   907,  6348,   100,
    3535,  5589,    88,   910,  1051,   920,   908, -1105,   919,  4132,
    1074, -1105, -1105,   497,   497,   497,   497,   497,   497,   497,
     497,   497,   497,   497,   497,   497,   497,   497, -1105, -1105,
     849,   -66,   104,  4887,   114,  6369,  3535,  3750, -1105,   653,
    6390,  6411,   497,  6432,   677,  6453,  6474,   497,   687,  6495,
    6516,  1075,   497,   497,   497,   497,  1076,  1079,  1079,   497,
     930,   936,   937,   938,   497,   497,   497,  1083,  3439,   940,
    1087,   -83, -1105, -1105,  4913,  4939,   173,   173,   321,   321,
      69,   497,   497,   497,  3351,  3351,   497,  4132,    83, -1105,
     497,   497,   497,   497,   497,  1088,  1090,   497,  1093, -1105,
     497,   497,  1874, -1105,  3535,  3535,  3535,   497,   497,  3284,
    1094, -1105,   497, -1105, -1105, -1105,   944,   949,   951,   952,
    3535,   907, -1105, -1105,   688,   497,  2751, -1105, -1105,  6537,
    6558,  6579,   989,  4965, -1105,   953,  3769,  6600,  5612, -1105,
   -1105,  2187, -1105,  2337,   960,   693,   497,  5635,   -31,   497,
       6, -1105,  6621,  5658,  6642,  5681,  6663,  5704,  6684,  5727,
    6705,  5750,  6726,  5773,  6747,  5796,  6768,  5819,  6789,  5842,
    6810,  5865,  6831,  5888,  4991,  5017,  6852,  5911,  6873,  5934,
    6894,  5957,  6915,  5980,  6936,  6003,  6957,  6026,  5043,  5069,
    5095,  5121,  5147,  5173,   704,   165, -1105,   946,   962,   964,
    1193,   956,   966,   963,   497, -1105, -1105,  2451,   707,    72,
     421,   497,  1116,  1120,    20,   973, -1105,   101,    19,    30,
     106, -1105, -1105,  3788,  1642,  1026,  1325,  1325,   625,   625,
     625,   625,   471,   471,   907,   907,   907,   907, -1105,     9,
    3535,  1122,  3535,   497,  1123, -1105,  1126,  1125,  3535,  3535,
    1028,  1127,  1130,  6978,  1131,  1031,  1133,  1134,  6999,  1044,
    1142,  1146,   497,  7020,  4162,  7041,  7062,   497,  2451,  1150,
    1149,  7083,  3679,  3679,  3679,  3679,  7104,  7125,  7146,  2451,
    3535,  1001, -1105,   173,   497,   497, -1105, -1105,   998,  1000,
    3351,  5199,  5225,  5251,  4861,   384,   173,  2487,  7167,  4190,
    7188,  7209,  7230,   497,  1169,   497,  7251, -1105,  6049,  6072,
   -1105,   710,   711,   722,  6095,  6118, -1105,  3535,  6141,  1025,
    4218,  3535,  3535,  3535,  3535,   737, -1105,  3807,  3535,   907,
   -1105,  1171,  1174,  1176,  1029,   497,  2637,   497,   497, -1105,
       4, -1105, -1105,  1027,  2451,  1180,  6164,    84, -1105,  4246,
   -1105,  1036,  1038,  1032, -1105,  1185, -1105, -1105, -1105, -1105,
   -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105,
   -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105,
   -1105, -1105, -1105,   497,   497, -1105, -1105, -1105, -1105, -1105,
   -1105, -1105, -1105, -1105, -1105, -1105, -1105,   497,   497,   497,
     497,   497,   497,   497,  1188, -1105,  3535,   361, -1105, -1105,
   -1105,   497, -1105,   361,  1187,  1042,    21,   497,  1192,  1194,
    1279, -1105,  1195,  1048,    18,  1197, -1105,  3535,  3535,  3535,
    3535,   497, -1105,  1066,   361,   169, -1105,   206,  5277, -1105,
    1198,   173,  3750, -1105,  1152,  2451,  2451,  1199,  2451,   841,
    2451,  2451,  1203,  1153,  2451,  2451,  1452,  1206,  1207,  1208,
    1209,  3863, -1105, -1105,  1212, -1105,  1213,  1067,  7482, -1105,
    1069,  1071,  1086,  1232,  1233,  1234,  1237,   749,  1240,   178,
    5303,  5329, -1105, -1105,  4274,  -102,   173,   173,   173,  1241,
    1242,  1089,  1098,    12,    45,   -27, -1105,   274, -1105,   384,
    1245,  1248,  1249,  1251,  1252,  7482, -1105,  1612,  1102,  1255,
    1256,  1257,  1210,   497,  1258,  1259,   755,   -77, -1105, -1105,
     756,   763,   766,   769, -1105,   497,   786,  2451,  2451,  2451,
    1264,  5355, -1105,  3826,   352,  1265,  1266,  2451,  1113, -1105,
    1267,  1270, -1105,  1269, -1105,  1128,   497,   497,  2451,  1118,
   -1105,  7272,  6187,  7293,  6210,  7314,  6233,  7335,  6256,  6279,
   -1105,   215,  1138,  7356,  1139, -1105,   100,   208,  1140,  1271,
    1689, -1105, -1105, -1105,    18,   497, -1105,   789, -1105,   806,
     807,   811,   814,  7482, -1105,  1276,    11,  1290,   497,  3501,
      67,  1119,  1236,  1236,  2451,  1291,  1144,  1147,  1298,  1300,
    2451,  1151,  1301,  1306, -1105,  1308,  2451,  2451,  2451,  1311,
    1312, -1105,  2451,  1313,  1314,  1315,  1316,  2451,  2451,  2451,
   -1105,  1333,   263,   497,   497,   497,  1161,  1183,   -60,   -48,
     -26,  1191, -1105,  2451,   497, -1105,  1340, -1105,  1341, -1105,
   -1105,  3351,   -25,  2151, -1105,  1196,  1200,  2901, -1105,  3535,
   -1105, -1105, -1105,  1201,  1757, -1105, -1105,  1202, -1105, -1105,
   -1105, -1105,  7482, -1105,  1344,  1345,  1253, -1105,   497,   497,
     497, -1105,  1346,   417,  1204,  1356, -1105,   -31, -1105,   497,
    5381,  5407,   819, -1105,   497, -1105, -1105, -1105, -1105, -1105,
   -1105, -1105, -1105,  1214, -1105, -1105, -1105, -1105,  2451,   421,
     497,  1362,  1366,    20, -1105,  1365,  6302,    18, -1105,  1367,
    1368,  1370,  1371, -1105, -1105,   361, -1105,  5433,   497,  7482,
   -1105,   497,   173,  1372,  1373,  1374, -1105,   497,   497, -1105,
   -1105,  1375,   497, -1105, -1105,  1377,  1378,  1380,  1275,   497,
   -1105,  1381,  2451,  2451,  2451,  2451,  1382,   996,  1387,   497,
   -1105,  3679,  4302,  7377,  4078,   321,   321,   173,  1388,   173,
    1391,   173,  1392,   497,   650,  1215,  7398, -1105, -1105,  4330,
     406, -1105,  1393,  1490,  1394,  2451,   173,  1490,  1396,   844,
     497, -1105, -1105, -1105, -1105,  2451,  4106,  1092,  7419, -1105,
   -1105,  3201,  2451, -1105, -1105,   219,  7482,   497,   497,  2451,
    1246,   847,  7482,  1399,  1400,  1401,  1966, -1105,  1398,  1402,
   -1105,  1272, -1105, -1105, -1105, -1105, -1105,  1404,   497,  7482,
    4358,   396, -1105, -1105, -1105,  4386,  4414, -1105,  4442,  1420,
   -1105, -1105,  1376,  1422,  7482, -1105,  1425,  1427,  1429,  1431,
   -1105,  1268, -1105, -1105,  4834,  3255,  1433,  1282, -1105,   497,
   -1105,  1283,  1284,   409, -1105,  1289,   415, -1105,  1293,   432,
   -1105,  1294,  6325,  1435,  2451,  1441,  1295,   497, -1105,  3051,
     463, -1105,   852,   469,   505, -1105,  1443,  4470,  1351,   497,
   -1105,   497, -1105, -1105,  3535,  3313,  1453,  1317, -1105,   497,
    5459,  5485, -1105,  2451,   497,  1454, -1105, -1105, -1105, -1105,
      18, -1105,  1383, -1105,  5511, -1105,  1466,  1467,  1471,  1472,
    1473,  1322, -1105, -1105, -1105, -1105, -1105,  2451,  3535, -1105,
   -1105,   321,  4134, -1105, -1105,  3351,   384,  3351,   384,  3351,
     384,  1476, -1105,   857,  2451, -1105,  4498,   173,  1477,  3535,
     173, -1105, -1105,   497,  4526,  4554,   860, -1105, -1105,  1478,
    1328,  7482,   497,   497,   861,  7482, -1105,  1481, -1105,   497,
     865, -1105, -1105, -1105, -1105, -1105,   497,   868,   872,  1329,
     497, -1105,  4582,   518,   175,  4610,   526,   297,  4638,   530,
     473, -1105,  2451,  1484,  1421,  2787,  1369,   540, -1105,   876,
     564,  3592, -1105, -1105,  1485, -1105,   497,  7440,  5537,    37,
   -1105,  5563,  1498, -1105, -1105,  4666,  1497,  1520, -1105,  4694,
    1522,   497,  1523,  1524,   497,  1525,  1526,   497,  1527,  1379,
   -1105,   497, -1105,   384, -1105,  3535,  1528,  3051, -1105, -1105,
     883, -1105,   497, -1105,  2451,   497,  2301, -1105, -1105, -1105,
   -1105, -1105,  1384,  4722, -1105, -1105,  1386,  4750, -1105, -1105,
    1389,  4778, -1105,  1529,  3612,   622,  2937,   891, -1105,   575,
     894,  1531,  1395,  7461,   895,  4806, -1105,  1648, -1105,   384,
    1533,   384,  1535,   384,  1539, -1105, -1105, -1105, -1105,   384,
    1543,  3535,  1544, -1105,   361, -1105,  1397,  1545,   904,  3631,
     673, -1105,  1403,   726, -1105,  1405,   736, -1105,  1411,   751,
   -1105,   905, -1105,   912, -1105,  1412,  2451, -1105,   497, -1105,
     421,  1546,   384,  1548,   384,  1550,   384, -1105,  1551,   361,
    1553,   361,   913,  3707, -1105, -1105,   785, -1105,   800, -1105,
     813, -1105, -1105, -1105,   917, -1105,  1554,   421,  1556,  1565,
    1567,   361,  1568, -1105, -1105, -1105, -1105, -1105, -1105, -1105
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
};
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
/* YYPGOTO[NTERM-NUM].  */
static const yytype_int16 yypgoto[] =
{
   -1105, -1105, -1105, -1105,   661, -1105, -1105, -1105, -1105,   250,
   -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105,
   -1105, -1105,  -316,     1, -1105, -1105, -1105, -1105, -1105, -1105,
   -1105,    95, -1105,   655,  1576, -1105, -1105, -1105, -1105,    -1,
    -400,  -206, -1105, -1105, -1105, -1105, -1105, -1105,  1595, -1105,
   -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105, -1105,
   -1105, -1105,  -817,  -502, -1105, -1105,  1216, -1105, -1105, -1105,
   -1105, -1105, -1105, -1105,    -2, -1105,    44, -1105, -1104,   508,
    -107,   738,   385,  -721,   568, -1105,  -291,    -6
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
};
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed

Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
/* 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.  */
Christophe Geuzaine's avatar
 
Christophe Geuzaine committed
static const yytype_int16 yytable[] =
{
     151,  1202,    79,   417,   149,   259,   167,   148,   618,   619,
     680,   865,   972,   537,   432,   762,   541,  1044,   965,   332,
     218,   172,   248,   167,   753,   897,   527,   528,   529,   261,
     531,   532,   533,   906,   172,   266,   152,   441,   251,   406,
     407,   156,   263,  1363,   819,   163,   819,   428,     4,   429,
     211,   967,   164,   820,   471,   820,   473,   957,   406,   407,
     821,   822,   821,   822,   823,   824,   823,   824,   221,   153,
     222,   140,   141,  1050,   613,   386,   387,   388,   871,   536,
     193,   406,   407,   194,   202,   204,   569,   210,   524,   272,
     273,   570,     5,   406,   407,   540,   212,  1087,   154,  1088,
     213,   681,   682,   683,   684,   966,   155,   536,   425,  1089,
     214,  1090,   406,   407,   223,   406,   407,   140,   141,  1284,
     333,   334,   121,   122,   123,   124,   898,   899,   125,   408,
     219,  1091,   969,  1092,  1101,   325,   326,   327,   968,   420,
     328,   331,   274,  1297,   275,   337,   421,   763,   276,   763,
     277,   360,   158,   168,   278,   363,   279,   159,   260,   866,
     169,   365,   367,   370,   371,   685,   373,   367,   375,   376,
     168,   367,   379,   380,   220,   173,   249,   758,   754,   140,
     141,   162,   262,  1035,   267,   252,   268,   264,   759,   160,
     442,   269,   398,   157,   265,  1364,   430,   161,   404,   405,
     133,   134,   135,   136,   165,   128,   129,   405,   406,   407,
     406,   407,   280,   627,   281,  1029,   133,   134,   135,   136,
     140,   141,   166,   747,   406,   407,   620,   746,   133,   134,
     135,   136,   140,   141,   451,   367,   140,   141,   170,   871,
     626,   401,   402,   459,   460,   461,   819,   463,   171,   410,
     466,   467,   163,   418,   468,   820,   571,   175,   666,   757,
    1394,   572,   821,   822,   760,   477,   823,   824,   574,  1080,
    1081,   575,   482,   483,   484,   485,   486,   487,   488,   489,
     490,   491,   492,   493,   494,   495,   496,   497,   498,   499,
     500,   501,   502,   503,   504,   505,   506,   507,   508,   509,
     510,   511,   512,   513,   514,   515,   516,   517,   518,   519,
     520,   521,   522,   523,   198,   199,  1142,   735,   530,   406,
     407,   916,   736,   970,   200,   336,   579,   282,   367,   283,
     174,   201,  1452,   542,  1342,   953,   133,   134,   135,   136,
     175,   553,   554,   555,   556,   557,   558,   559,   560,   561,
     562,   563,   564,   565,   566,   567,   140,   141,   917,   176,
    1000,   406,   407,   579,   451,   524,   272,  1024,   819,   177,
     583,  1218,   579,   406,   407,   588,  1219,   820,   409,   178,
     593,   594,   595,   596,   821,   822,   873,   601,   823,   824,
     419,   180,   606,   607,   608,    39,    40,    41,    42,   121,
     122,   123,   124,    47,   179,   125,    50,   337,   337,   621,
     622,   623,   325,   326,   624,   406,   407,   185,   628,   629,
     630,   631,   632,  1120,  1121,   636,   272,   181,   638,   639,
     195,   971,   367,   367,   367,   644,   645,   648,   197,  1304,
     650,  1307,   182,  1310,   196,   183,   892,   184,   367,   205,
     616,   617,   894,   657,   659,   819,  1345,   215,   402,   121,
     122,   123,   124,   190,   820,   125,   191,   284,   192,   285,
     970,   821,   822,   915,   676,   823,   824,   679,   286,   678,
     287,   216,   128,   129,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,   140,   141,
      93,   324,   357,   534,  1001,   268,    97,    98,    99,  1287,
     269,   100,   101,   102,   103,   104,   105,   106,   107,   108,
     109,   110,   111,   112,   113,   114,   115,   116,   117,   118,
     119,   120,   648,   288,   749,   289,  1385,   406,   407,   750,
     748,   217,   128,   129,   819,   224,   225,   406,   407,   369,
     406,   407,   226,   820,   374,   227,   406,   407,   378,   244,
     821,   822,   241,  1197,   823,   824,  1255,   290,   367,   291,
     367,   768,  1257,   406,   407,   245,   659,   772,   246,   247,
    1028,  1030,  1420,   254,  1423,   292,  1426,   293,   206,  1259,
     786,   207,  1429,   253,   208,   791,   799,   799,   799,   799,
     798,   798,   798,   798,   406,   407,   255,   294,   367,   295,
     406,   407,   810,   811,   354,   355,   356,   127,   814,   256,
    1267,   357,   130,   131,   132,  1456,  1269,  1458,   296,  1460,
     297,   835,  1348,   837,   186,   257,   258,   187,   137,   138,
     188,   271,   189,   139,   316,   367,   406,   407,   142,   367,
     367,   367,   367,   145,   317,   340,   367,   809,   455,   406,
     407,   318,  1270,   861,   815,   863,   864,   406,   407,   320,
     827,   406,   407,   319,   298,  1341,   299,   341,   872,   198,
     199,   406,   407,  1344,   381,  1181,  1182,  1347,   321,   200,
     241,   241,   241,   819,   322,   323,   209,  1355,   800,   801,
     802,   397,   820,   335,   400,   406,   407,   358,   359,   821,
     822,   881,   882,   823,   824,   538,   406,   407,   300,   361,
     301,  1357,   362,   241,   426,   883,   884,   885,   886,   887,
     888,   889,  1411,   302,   367,   303,   140,   141,   304,   893,
     305,   439,   372,   268,   819,   900,   146,   306,   269,   307,
     308,   383,   309,   820,  1147,   367,   367,   367,   367,   913,
     821,   822,   377,   382,   823,   824,   352,   353,   354,   355,
     356,   446,   474,   475,   447,   357,   399,   448,   310,   449,
     311,  1407,   343,   344,   345,   346,   347,   348,   349,   350,
     351,   352,   353,   456,   355,   356,   312,   819,   313,   314,
     357,   315,   970,   342,   411,   970,   820,   819,   970,  1193,
     579,   384,   580,   821,   822,   920,   820,   823,   824,   641,
     642,   643,   819,   821,   822,   385,   389,   823,   824,   394,
     395,   820,  1441,   396,   579,   655,   585,   422,   821,   822,
     423,   984,   823,   824,   579,   579,   589,   656,   872,   412,
     674,  1299,   675,   992,   413,   568,   819,   733,   431,   734,
     958,   959,   960,   424,   579,   820,   745,   579,   579,   841,
     842,   819,   821,   822,  1010,  1011,   823,   824,   427,   579,
     820,   843,   434,   970,   819,  1443,   433,   821,   822,   435,
     436,   823,   824,   820,   579,  1445,   854,   926,  1031,   927,
     821,   822,   368,  1036,   823,   824,   579,   368,   951,   457,
    1447,   368,   579,   579,   987,   988,  1047,  1049,   970,   443,
     579,   970,   989,   579,   970,   990,   579,   970,   991,   343,
     344,   345,   346,   347,   348,   349,   350,   351,   352,   353,
     354,   355,   356,   579,  1468,   993,  1037,   357,  1038,   437,
     444,  1082,  1083,  1084,   970,   765,   970,   767,   970,  1469,
     445,  1094,  1096,   579,   579,  1039,  1040,   458,   579,  1099,
    1041,   579,  1470,  1042,   452,   368,  1129,   367,  1130,   438,
     440,   343,   344,   345,   346,   347,   348,   349,   350,   351,
     352,   353,   354,   355,   356,   807,  1116,  1117,  1118,   357,
    1171,   579,  1172,  1206,  1224,   462,  1225,  1126,  1124,  1129,
     465,  1268,  1132,   464,  1312,  1100,  1313,   579,  1129,  1324,
    1329,   469,  1332,  1135,  1333,  1129,   470,  1336,  1136,   579,
     472,  1337,   846,   579,   476,  1356,   850,   851,   852,   853,
    1224,   478,  1391,   856,   479,   744,  1149,   481,   579,  1150,
    1410,   579,  1129,  1412,  1416,  1155,  1156,   357,   544,  1315,
    1158,  1438,   579,  1439,  1448,   543,   146,  1164,   368,  1449,
    1129,  1450,  1466,   545,  1471,  1176,  1472,  1174,   546,  1175,
     552,   602,   592,   597,   337,   337,   598,   603,   604,   605,
     609,  1192,   611,   612,   664,   633,  1151,   635,   649,   637,
    1211,   367,   651,   737,   452,   367,   792,   652,  1207,   653,
     654,   667,   673,   741,   738,  1216,   739,   806,   742,  1215,
     743,   891,   751,  1434,   752,  1220,  1221,   756,   766,   769,
     770,  1183,   771,  1186,   775,  1189,   774,   776,   778,   779,
     780,   781,   909,   910,   911,   912,  1234,  1200,  1386,   784,
    1203,  1204,   783,   785,   793,   795,   808,   812,  1462,   813,
    1465,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,   368,   368,   368,   836,   357,  1252,   857,   848,
    1478,   858,   868,   859,   860,   867,   869,   876,   368,   877,
     878,   880,   890,   895,   660,  1266,   896,   451,   901,   740,
     902,   905,   904,   908,   914,   919,   924,  1274,   921,  1275,
     930,   931,   367,   935,   936,   937,   938,  1281,   941,   943,
     942,   944,  1285,   945,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,   946,   947,
     948,   949,   357,   950,   952,   961,   367,   963,   962,   964,
     337,  1212,   973,  1302,   974,  1305,   975,  1308,   976,   977,
     979,   980,   981,   982,   985,   986,   983,   367,   997,  1002,
    1003,  1321,  1005,  1006,  1007,  1008,  1014,  1051,  1033,  1009,
    1327,  1328,  1043,   922,   923,   903,   925,  1331,   928,   929,
    1025,  1027,   932,   933,  1335,  1032,  1046,  1056,  1339,  1303,
    1052,  1306,  1057,  1309,  1059,  1058,  1060,  1063,   368,  1062,
     368,  1317,  1064,  1065,  1320,  1069,   660,   773,  1070,  1085,
    1072,  1073,  1074,  1075,  1132,   343,   344,   345,   346,   347,
     348,   349,   350,   351,   352,   353,   354,   355,   356,  1373,
    1079,  1086,  1377,   357,  1093,  1381,  1097,  1098,   368,  1384,
    1113,  1114,  1119,   367,  1105,   367,  1112,  1115,  1106,  1110,
    1393,  1122,  1123,  1395,  1109,   994,   995,   996,  1137,  1133,
    1138,  1140,  1194,  1143,  1144,  1004,  1145,  1146,  1152,  1153,
    1154,  1157,  1159,  1162,  1160,   368,  1161,  1165,  1170,   368,
     368,   368,   368,  1173,  1184,  1419,   368,  1187,  1190,  1198,
    1201,  1389,  1205,  1226,  1223,  1230,  1227,  1228,  1231,   367,
    1233,   343,   344,   345,   346,   347,   348,   349,   350,   351,
     352,   353,   354,   355,   356,  1240,  1247,  1232,  1242,   357,
    1241,  1243,  1055,  1244,  1454,  1245,  1453,  1246,  1061,  1250,
    1251,  1262,  1253,  1254,  1066,  1067,  1068,  1256,  1264,  1271,
    1071,  1258,  1260,  1265,  1273,  1076,  1077,  1078,   934,  1278,
    1286,  1474,   348,   349,   350,   351,   352,   353,   354,   355,
     356,  1095,  1291,  1292,   368,   357,  1279,  1293,  1294,  1295,
    1296,  1104,  1311,  1318,  1325,  1108,  1326,  1330,  1338,  1288,
    1350,  1359,  1351,    93,   228,   368,   368,   368,   368,    97,
      98,    99,  1366,  1368,   100,   101,   102,   103,   104,   105,
     106,   107,   108,   109,   110,   111,   112,   113,   114,   115,
     116,   117,   118,   119,   120,   230,  1369,  1354,  1371,  1374,
    1375,  1378,  1379,  1382,  1388,  1405,  1134,  1413,  1383,  1421,
     231,  1424,  1399,   232,  1401,  1427,   233,  1403,   234,  1430,
    1432,  1437,  1455,  1414,  1457,  1436,  1459,  1461,   235,  1463,
    1473,  1442,  1475,  1444,    39,    40,    41,    42,    43,  1446,
    1451,  1476,    47,  1477,  1479,    50,  1360,  1045,  1054,    78,
    1166,  1167,  1168,  1169,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,    86,  1276,
       0,  1139,   357,     0,   600,     0,     0,     0,     0,     0,
     127,     0,     0,     0,     0,   130,   131,   132,   978,     0,
       0,     0,     0,  1208,     0,     0,     0,     0,     0,     0,
    1217,   414,  1199,  1298,     0,     0,   139,  1222,     0,     0,
       0,   416,     0,     0,     0,     0,   145,     0,   201,   453,
       0,    93,   228,     0,  1319,     0,     0,    97,    98,    99,
       0,     0,   100,   101,   102,   103,   104,   105,   106,   107,
     108,   109,   110,   111,   112,   113,   114,   115,   116,   117,
     118,   119,   120,   230,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,  1034,     0,     0,   231,     0,
       0,   232,  1263,     0,   233,     0,   234,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   235,   368,     0,     0,
       0,     0,    39,    40,    41,    42,    43,     0,     0,     0,
      47,     0,     0,    50,     0,     0,     0,     0,     0,     0,
    1387,     0,  1390,     0,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,     0,     0,
       0,     0,   357,  1111,     0,     0,     0,     0,   127,     0,
       0,     0,  1314,   130,   131,   132,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,     0,   137,
     366,     0,   357,     0,   139,     0,  1431,     0,     0,   142,
       0,     0,     0,     0,   145,     0,     0,   453,     0,     0,
Matti Pellika's avatar
Matti Pellika committed
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
    1349,   343,   344,   345,   346,   347,   348,   349,   350,   351,
     352,   353,   354,   355,   356,     0,     0,     0,     0,   357,
       0,   368,    93,    94,    95,   368,    96,     0,    97,    98,
      99,     0,     0,   100,   101,   102,   103,   104,   105,   106,
     107,   108,   109,   110,   111,   112,   113,   114,   115,   116,
     117,   118,   119,   120,  1398,     0,     0,   121,   122,   123,
     124,     0,     0,   125,     0,     0,     7,     8,     0,   343,
     344,   345,   346,   347,   348,   349,   350,   351,   352,   353,
     354,   355,   356,     0,     0,     0,     0,   357,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,   547,    18,    19,   548,    21,    22,
     549,    24,   550,    26,     0,    27,     0,   452,    30,    31,
       0,    33,    34,    35,     0,     0,     0,    38,     0,     0,
       0,     0,   368,   126,     0,     0,     0,     0,     0,   127,
     128,   129,     0,     0,   130,   131,   132,   133,   134,   135,
     136,     0,  1229,     0,    56,    57,    58,     0,     0,     0,
     137,   138,     0,     0,     0,   139,   368,   140,   141,     0,
     142,     0,   143,     0,   144,   145,     0,   146,    93,   228,
     229,     0,     0,     0,    97,    98,    99,   368,     0,   100,
     101,   102,   103,   104,   105,   106,   107,   108,   109,   110,
     111,   112,   113,   114,   115,   116,   117,   118,   119,   120,
     230,     0,     0,   640,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   231,     0,     0,   232,     0,
       0,   233,     0,   234,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   235,     0,     0,     0,     0,     0,    39,
      40,    41,    42,    43,     0,     0,     0,    47,     0,     0,
      50,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,   368,     0,   368,     0,     0,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,     0,     0,     0,   127,   357,     0,     0,     0,
     130,   131,   132,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   368,   137,   236,     0,     0,
       0,   139,     0,     0,     0,     0,   142,     0,     0,   368,
       0,   145,     0,   237,    93,   228,  1102,     0,     0,     0,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,   230,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     7,
       8,   231,     0,     0,   232,     0,     0,   233,     0,   234,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   235,
       0,     0,     0,     0,     0,    39,    40,    41,    42,    43,
       0,     0,     0,    47,     0,     0,    50,   547,    18,    19,
     548,    21,    22,   549,    24,   550,    26,     0,    27,     0,
       0,    30,    31,     0,    33,    34,    35,     0,     0,     0,
      38,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,    56,    57,    58,
       0,     0,   137,   236,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,    93,   228,  1396,   145,     0,  1103,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,   230,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   671,     0,     0,     7,
       8,   231,     0,     0,   232,     0,     0,   233,     0,   234,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   235,
       0,     0,     0,     0,     0,    39,    40,    41,    42,    43,
       0,     0,     0,    47,     0,     0,    50,   547,    18,    19,
     548,    21,    22,   549,    24,   550,    26,     0,    27,     0,
       0,    30,    31,     0,    33,    34,    35,     0,     0,     0,
      38,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,    56,    57,    58,
       0,     0,   137,   236,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,    93,   228,     0,   145,     0,  1397,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,   230,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   672,     0,     0,     7,
       8,   231,     0,     0,   232,     0,     0,   233,     0,   234,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   235,
       0,     0,     0,     0,     0,    39,    40,    41,    42,    43,
       0,     0,     0,    47,     0,     0,    50,   547,    18,    19,
     548,    21,    22,   549,    24,   550,    26,     0,    27,     0,
       0,    30,    31,     0,    33,    34,    35,     0,     0,     0,
      38,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,    56,    57,    58,
       0,     0,   137,   236,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,    93,   228,     0,   145,     0,   237,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,   230,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   828,     0,     0,     7,
       8,   231,     0,     0,   232,     0,     0,   233,     0,   234,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   235,
       0,     0,     0,     0,     0,    39,    40,    41,    42,    43,
       0,     0,     0,    47,     0,     0,    50,   547,    18,    19,
     548,    21,    22,   549,    24,   550,    26,     0,    27,     0,
       0,    30,    31,     0,    33,    34,    35,     0,     0,     0,
      38,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,    56,    57,    58,
       0,     0,   137,   366,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,    93,   228,     0,   145,     0,   450,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,   230,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   862,     0,     0,     7,
       8,   231,     0,     0,   232,     0,     0,   233,     0,   234,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   235,
       0,     0,     0,     0,     0,    39,    40,    41,    42,    43,
       0,     0,     0,    47,     0,     0,    50,   547,    18,    19,
     548,    21,    22,   549,    24,   550,    26,     0,    27,     0,
       0,    30,    31,     0,    33,    34,    35,     0,     0,     0,
      38,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,    56,    57,    58,
       0,     0,   137,   366,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,    93,   228,     0,   145,     0,   658,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,   230,     0,     0,     0,
       0,     0,     0,     0,     0,     0,  1352,     0,     0,     7,
       8,   231,     0,     0,   232,     0,     0,   233,     0,   234,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   235,
       0,     0,     0,     0,     0,    39,    40,    41,    42,    43,
       0,     0,     0,    47,     0,     0,    50,   547,    18,    19,
     548,    21,    22,   549,    24,   550,    26,     0,    27,     0,
       0,    30,    31,     0,    33,    34,    35,     0,     0,     0,
      38,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,    56,    57,    58,
       0,     0,   137,   236,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,    93,   228,     0,   145,     0,  1107,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,   230,     0,     0,     0,
       0,     0,     0,     0,     0,     0,  1408,     0,     0,     0,
       0,   231,     0,     0,   232,     0,     0,   233,     0,   234,
       0,     0,     0,     0,     0,     0,     0,     0,     0,   235,
       0,     0,     0,     0,     0,    39,    40,    41,    42,    43,
       0,    93,   324,    47,     0,     0,    50,    97,    98,    99,
       0,     0,   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,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   414,  1199,     0,     0,     0,   139,     0,     0,
       0,     0,   416,     0,    93,   324,   272,   145,     0,   201,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,     0,     0,     0,   121,
     122,   123,   124,     0,     0,   125,     0,     0,   127,     0,
       0,     0,     0,   130,   131,   132,     0,     0,     0,     0,
       0,  1249,     0,     0,     0,     0,     0,     0,     0,   137,
     138,     0,     0,     0,   139,     0,     0,     0,     0,   142,
       0,     0,   329,     0,   145,     0,   330,    93,   324,     0,
       0,     0,     0,    97,    98,    99,     0,     0,   100,   101,
     102,   103,   104,   105,   106,   107,   108,   109,   110,   111,
     112,   113,   114,   115,   116,   117,   118,   119,   120,  1277,
       0,   127,   128,   129,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,   137,   138,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,    93,   324,     0,   145,     0,  1214,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,     0,   343,   344,   345,
     346,   347,   348,   349,   350,   351,   352,   353,   354,   355,
     356,     0,     0,     0,   127,   357,     0,     0,     0,   130,
     131,   132,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,   137,   138,     0,     0,     0,
     139,     0,     0,     0,     0,   142,     0,     0,   646,     0,
     145,     0,   647,     0,     0,   343,   344,   345,   346,   347,
     348,   349,   350,   351,   352,   353,   354,   355,   356,     0,
       0,     0,     0,   357,     0,     0,     0,     0,     0,     0,
       0,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,   414,   415,     0,     0,     0,   139,     0,     0,
       0,     0,   416,     0,    93,   324,     0,   145,     0,   201,
      97,    98,    99,     0,     0,   100,   101,   102,   103,   104,
     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,
     115,   116,   117,   118,   119,   120,     0,     0,    93,   228,
       0,     0,     0,     0,    97,    98,    99,     0,     0,   100,
     101,   102,   103,   104,   105,   106,   107,   108,   109,   110,
     111,   112,   113,   114,   115,   116,   117,   118,   119,   120,
     230,   343,   344,   345,   346,   347,   348,   349,   350,   351,
     352,   353,   354,   355,   356,   231,     0,     0,   232,   357,
       0,   233,     0,   234,     0,     0,     0,   610,  1358,     0,
       0,     0,     0,   235,     0,     0,     0,     0,     0,    39,
      40,    41,    42,    43,     0,     0,     0,    47,  1406,     0,
      50,   127,     0,     0,     0,     0,   130,   131,   132,     0,
       0,     0,     0,     0,     0,     0,     0,     0,  1440,   455,
       0,     0,   137,   138,     0,     0,     0,   139,     0,     0,
       0,     0,   142,     0,     0,   127,     0,   145,     0,  1048,
     130,   131,   132,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   137,   366,     0,     0,
       0,   139,    93,   324,   272,     0,   142,     0,    97,    98,
      99,   145,     0,   100,   101,   102,   103,   104,   105,   106,
     107,   108,   109,   110,   111,   112,   113,   114,   115,   116,
     117,   118,   119,   120,  1467,     0,     0,   121,   122,   123,
     124,     0,     0,   125,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,   455,     0,
       0,     0,   357,     0,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,   455,     0,
       0,     0,   357,   343,   344,   345,   346,   347,   348,   349,
     350,   351,   352,   353,   578,   355,   356,   668,     0,     0,
       0,   357,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,   761,     0,     0,   127,
     128,   129,     0,     0,   130,   131,   132,     0,     0,     0,
       0,     0,     0,     0,     0,   855,     0,     0,     0,     0,
     137,   138,     0,     0,     0,   139,     0,     0,     0,     0,
     142,     0,     0,     0,   999,   145,     0,     0,     0,   343,
     344,   345,   346,   347,   348,   349,   350,   351,   352,   353,
     354,   355,   356,     0,     0,     0,     0,   357,     0,     0,
       0,     0,   343,   344,   345,   346,   347,   348,   349,   350,
     351,   352,   353,   456,   355,   356,     0,     0,     0,     0,
     357,     0,   343,   344,   345,   346,   347,   348,   349,   350,
     351,   352,   353,   578,   355,   356,     0,     0,     0,     0,
     357,   343,   344,   345,   346,   347,   348,   349,   350,   351,
     352,   353,   354,   355,   356,     0,     0,     0,     0,   357,
     343,   344,   345,   346,   347,   348,   349,   350,   351,   352,
     353,   354,   355,   356,   939,     0,     0,     0,   357,   343,
     344,   345,   346,   347,   348,   349,   350,   351,   352,   353,
     354,   355,   356,     0,     0,     0,     0,   357,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,     0,    -4,     1,     0,   357,    -4,     0,     0,
       0,     0,     0,     0,     0,    -4,    -4,     0,     0,     0,
       0,     0,     0,     0,     0,   343,   344,   345,   346,   347,
     348,   349,   350,   351,   352,   353,   354,   355,   356,    -4,
      -4,     0,     0,   357,     0,    -4,    -4,     0,    -4,    -4,
      -4,     0,    -4,    -4,    -4,    -4,    -4,    -4,    -4,    -4,
      -4,    -4,    -4,     0,    -4,    -4,    -4,    -4,    -4,    -4,
      -4,    -4,    -4,    -4,     0,    -4,    -4,    -4,    -4,    -4,
      -4,    -4,    -4,    -4,    -4,    -4,    -4,    -4,    -4,    -4,
       0,     6,    -4,    -4,     0,     0,     0,    -4,     0,     7,
       8,     0,    -4,    -4,    -4,    -4,     0,     0,    -4,     0,
      -4,     0,    -4,    -4,    -4,    -4,    -4,    -4,    -4,    -4,
      -4,    -4,    -4,     9,    10,     0,    -4,    -4,     0,    11,
      12,     0,    13,    14,    15,     0,    16,    17,    18,    19,
      20,    21,    22,    23,    24,    25,    26,     0,    27,    28,
      29,    30,    31,    32,    33,    34,    35,    36,     0,    37,
      38,    39,    40,    41,    42,    43,    44,    45,    46,    47,
      48,    49,    50,    51,     7,     8,    52,    53,     0,     0,
       0,    54,     0,     0,     0,     0,    55,    56,    57,    58,
       0,     0,    59,     0,    60,     0,    61,    62,    63,    64,
      65,    66,    67,    68,    69,    70,    71,     0,     0,     0,
      72,    73,   547,    18,    19,   548,    21,    22,   549,    24,
     550,    26,     0,    27,     0,     0,    30,    31,     0,    33,
      34,    35,     0,     0,     0,    38,     0,     0,     0,     0,
     343,   344,   345,   346,   347,   348,   349,   350,   351,   352,
     353,   354,   355,   356,     0,     0,     0,     0,   357,     0,
       0,     0,    56,    57,    58,  1179,     0,  1180,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,     0,     0,     0,     0,   357,     0,     0,     0,
       0,     0,     0,  1209,     0,  1210,   343,   344,   345,   346,
     347,   348,   349,   350,   351,   352,   353,   354,   355,   356,
       0,     0,     0,     0,   357,     0,     0,     0,     0,     0,
       0,  1300,     0,  1301,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,     0,     0,
       0,     0,   357,     0,     0,     0,     0,     0,     0,     0,
       0,   788,   343,   344,   345,   346,   347,   348,   349,   350,
     351,   352,   353,   354,   355,   356,     0,     0,     0,     0,
     357,     0,     0,     0,     0,     0,     0,     0,     0,   831,
     343,   344,   345,   346,   347,   348,   349,   350,   351,   352,
     353,   354,   355,   356,     0,     0,     0,     0,   357,     0,
       0,     0,     0,     0,     0,     0,     0,   849,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,     0,     0,     0,     0,   357,     0,     0,     0,
       0,     0,     0,     0,     0,   874,   343,   344,   345,   346,
     347,   348,   349,   350,   351,   352,   353,   354,   355,   356,
       0,     0,     0,     0,   357,     0,     0,     0,     0,     0,
       0,     0,     0,   956,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,     0,     0,
       0,     0,   357,     0,     0,     0,     0,     0,     0,     0,
       0,  1177,   343,   344,   345,   346,   347,   348,   349,   350,
     351,   352,   353,   354,   355,   356,     0,     0,     0,     0,
     357,     0,     0,     0,     0,     0,     0,     0,     0,  1196,
     343,   344,   345,   346,   347,   348,   349,   350,   351,   352,
     353,   354,   355,   356,     0,     0,     0,     0,   357,     0,
       0,     0,     0,     0,     0,     0,     0,  1236,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,     0,     0,     0,     0,   357,     0,     0,     0,
       0,     0,     0,     0,     0,  1237,   343,   344,   345,   346,
     347,   348,   349,   350,   351,   352,   353,   354,   355,   356,
       0,     0,     0,     0,   357,     0,     0,     0,     0,     0,
       0,     0,     0,  1238,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,     0,     0,
       0,     0,   357,     0,     0,     0,     0,     0,     0,     0,
       0,  1239,   343,   344,   345,   346,   347,   348,   349,   350,
     351,   352,   353,   354,   355,   356,     0,     0,     0,     0,
     357,     0,     0,     0,     0,     0,     0,     0,     0,  1272,
     343,   344,   345,   346,   347,   348,   349,   350,   351,   352,
     353,   354,   355,   356,     0,     0,     0,     0,   357,     0,
       0,     0,     0,     0,     0,     0,     0,  1316,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,     0,     0,     0,     0,   357,     0,     0,     0,
       0,     0,     0,     0,     0,  1322,   343,   344,   345,   346,
     347,   348,   349,   350,   351,   352,   353,   354,   355,   356,
       0,     0,     0,     0,   357,     0,     0,     0,     0,     0,
       0,     0,     0,  1323,   343,   344,   345,   346,   347,   348,
     349,   350,   351,   352,   353,   354,   355,   356,     0,     0,
       0,     0,   357,     0,     0,     0,     0,     0,     0,     0,
       0,  1340,   343,   344,   345,   346,   347,   348,   349,   350,
     351,   352,   353,   354,   355,   356,     0,     0,     0,     0,
     357,     0,     0,     0,     0,     0,     0,     0,     0,  1343,
     343,   344,   345,   346,   347,   348,   349,   350,   351,   352,
     353,   354,   355,   356,     0,     0,     0,     0,   357,     0,
       0,     0,     0,     0,     0,     0,     0,  1346,   343,   344,
     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,
     355,   356,     0,     0,     0,     0,   357,     0,     0,     0,
       0,     0,     0,     0,     0,  1367,   343,   344,   345,   346,
     347,   348,   349,   350,   351,   352,   353,   354,   355,   356,
       0,     0,     0,     0,   357,     0,     0,     0,     0,     0,
       0,     0,     0,  1370,   343,   344,   345,   346,   347,   348,