-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,  -380,   174,-32768,   175,-32768,   416,-32768,  -164,-32768,-32768,-32768,   430,-32768,   350,   250};#define	YYLAST		1583static const short yytable[] = {    58,    41,    74,    29,    31,    33,    19,    19,    20,    20,   190,   100,    48,   267,   278,   170,   244,   103,   217,   251,   435,    86,   110,   174,    43,    47,   130,    82,    55,   390,   104,   191,   135,   279,   328,   266,   196,   132,    26,    27,    26,    27,    26,    27,   111,    82,   489,   501,   445,    36,    95,   446,   181,   171,    90,     5,     6,     7,     8,   180,   277,    -1,    82,     9,    10,    11,   282,   326,   172,   490,   502,    -2,   327,   134,   124,   243,   169,    87,   110,    13,    86,    88,    91,    92,   192,   124,   430,   199,   193,    36,   478,    88,    96,   132,    42,   132,   216,   304,    28,   473,    30,    97,    32,    36,   315,   251,   343,   222,   111,   171,    36,   196,   169,   499,   -87,   447,    51,   209,    82,   210,    82,   124,   474,   206,   274,   208,    54,   242,   276,   212,   248,   213,    37,   125,    34,     5,    44,     7,    45,   110,   447,    38,   253,     9,    10,    11,   316,    56,   161,   428,   330,   238,   239,   321,   429,   317,   163,   162,   163,    13,   107,   108,   317,   163,    35,   281,     9,    10,    11,   313,   161,   244,    57,   172,   288,   115,   288,   300,    48,   162,   163,   122,   256,   417,   257,    36,    95,   320,   323,    46,   269,   271,   136,   416,   219,   220,   221,   111,   224,   225,   226,   227,   228,   229,   230,   231,   232,   233,   234,   235,   236,   237,   431,   384,   424,   266,   287,   312,   434,   188,   137,   330,   255,   342,   330,   110,   391,   450,    96,   393,   377,   304,   417,   466,   304,   380,   124,    97,   327,   319,   322,   332,   416,   508,   167,    91,    92,   173,   509,    48,   256,   385,   257,   188,   333,   193,   386,   460,    36,   283,    88,   462,   171,   463,     5,    44,     7,    45,    24,    25,    36,    95,     9,    10,    11,   176,    36,   202,   472,   203,   171,   150,   151,   152,   153,   154,   475,   207,    13,   368,   479,    59,   152,   153,   154,   485,    61,    57,   211,    62,    86,   321,   216,   254,   214,   255,     5,     6,     7,     8,   317,   163,   288,    96,     9,    10,    11,    63,   270,    37,   402,   215,    97,   218,   407,   263,   510,    64,    38,   256,    13,   257,    65,    66,    67,    90,    36,   315,    68,    69,   171,    26,    27,    70,   341,   264,   426,   419,    71,    72,   268,   369,   408,   197,   198,   275,   370,   273,   373,  -284,   172,   197,   198,   172,   432,    91,    92,   222,   436,   272,   131,   285,    59,     5,   292,     7,    60,    61,    57,   316,    62,     9,    10,    11,   249,   250,   305,   293,   317,   163,   116,   294,   370,     5,   295,     7,    60,    13,    63,   394,   455,     9,    10,    11,   249,   250,   296,   461,    64,   378,   379,   264,   396,    65,    66,    67,   301,    13,   298,    68,    69,   127,   129,   302,    70,   314,   370,   303,   309,    71,    72,   324,   -77,     5,     6,     7,     8,   222,   325,   381,   334,     9,    10,    11,   486,   337,   340,   117,  -181,   370,   338,   374,   344,   375,   383,   494,   376,    13,   387,   -30,   222,     5,     6,     7,     8,   -31,   397,   504,   403,     9,    10,    11,   106,   107,   108,   512,   400,   401,   370,     9,    10,    11,   404,   409,   405,    13,   411,   418,   181,   421,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   412,   -89,   -89,   -89,   -89,   -89,   370,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   -89,   427,   433,     5,   437,     7,   168,   439,   440,   441,   -89,     9,    10,    11,   452,   -89,   -89,   -89,   443,   454,   448,   -89,   -89,   456,   457,   458,   -89,    13,   449,   -89,   -89,   -89,   -89,   345,   -89,   346,   347,     6,     7,     8,    61,    57,   465,    62,     9,    10,    11,   348,   468,   349,   350,   351,   352,   353,   354,   355,   356,   357,   358,   359,    13,    63,   146,   147,   148,   149,   150,   151,   152,   153,   154,    64,   477,   480,   484,   488,    65,    66,    67,   487,   491,   492,    68,    69,   496,   498,   500,    70,   503,   514,   360,   506,    71,    72,   181,   216,   346,    27,   511,   515,    23,    61,    57,   241,    62,   363,   105,   118,   348,   252,   349,   350,   351,   352,   353,   354,   355,   356,   357,   358,   359,   453,    63,   147,   148,   149,   150,   151,   152,   153,   154,   331,    64,   420,   286,   423,   291,    65,    66,    67,   284,   395,   205,    68,    69,   120,   413,   495,    70,   310,   497,   360,   415,    71,    72,   181,   216,   346,    27,   382,   308,   451,    61,    57,     0,    62,     0,     0,     0,   348,     0,   349,   350,   351,   352,   353,   354,   355,   356,   357,   358,   359,     0,    63,   306,     0,     0,     5,     6,     7,     8,     0,     0,    64,     0,     9,    10,    11,    65,    66,    67,     0,     0,     0,    68,    69,     0,     0,     0,    70,     0,    13,   360,  -220,    71,    72,    89,   216,     0,   -26,   -26,   -26,   -26,     0,     0,     0,     0,   -26,   -26,   -26,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154,  -284,     0,    90,   -26,     0,  -123,     0,  -123,     0,     0,     0,     0,     0,   200,     0,     0,   -22,   -22,   -22,   -22,     0,     0,     0,     0,   -22,   -22,   -22,     0,     0,     0,    91,    92,     0,  -123,     0,     0,     0,  -123,   -26,    90,   -22,   368,  -123,    59,  -123,     0,     0,     0,    61,    57,     0,    62,     0,    36,     5,    44,     7,    45,     0,     0,     0,     0,     9,    10,    11,     0,     0,    91,    92,    63,  -123,     0,     0,     0,  -123,   -22,     0,     0,    13,    64,     0,     0,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,     0,     0,     0,    70,   321,     0,     0,  -178,    71,    72,   368,   369,    59,   317,   163,     0,     0,    61,    57,     0,    62,   143,   144,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154,   368,     0,    59,     0,     0,    63,     0,    61,    57,     0,    62,     0,     0,   155,   156,    64,   157,   158,   159,   160,    65,    66,    67,     0,     0,     0,    68,    69,    63,     0,     0,    70,     0,     0,     0,   464,    71,    72,    64,   369,     0,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,     0,   194,     0,    70,   -18,   -18,   -18,   -18,    71,    72,     0,   369,   -18,   -18,   -18,     0,     0,     0,    59,     0,     0,     0,     0,    61,    57,     0,    62,    90,   -18,     0,  -123,     0,  -123,   148,   149,   150,   151,   152,   153,   154,     0,    59,     0,     0,    63,     0,    61,    57,     0,    62,     0,     0,     0,     0,    64,     0,     0,     0,  -123,    65,    66,    67,  -123,   -18,     0,    68,    69,    63,     0,     0,    70,     0,     0,     0,     0,    71,    72,    64,     0,   179,     0,     0,    65,    66,    67,     0,    59,     0,    68,    69,     0,    61,    57,    70,    62,     0,     0,     0,    71,    72,     0,     0,   247,     0,     0,     0,     0,     0,     0,    59,     0,     0,    63,     0,    61,    57,     0,    62,     0,     0,     0,     0,    64,     0,     0,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,    63,     0,     0,    70,     0,     0,     0,     0,    71,    72,    64,     0,   280,     0,     0,    65,    66,    67,     0,    59,     0,    68,    69,     0,    61,    57,    70,    62,     0,     0,     0,    71,    72,     0,     0,   311,     0,     0,     0,     0,     0,     0,     0,     0,     0,    63,     0,     0,     0,     0,     0,     0,     0,     0,     0,    64,     0,     0,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,     0,     0,     0,    70,     0,     0,     0,     0,    71,    72,     0,     0,   425,   346,   347,     6,     7,     8,    61,    57,     0,    62,     9,    10,    11,   348,     0,   349,   350,   351,   352,   353,   354,   355,   356,   357,   358,   359,    13,    63,     0,     0,     0,     0,     0,     0,     0,     0,     0,    64,     0,     0,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,     0,     0,     0,    70,     0,     0,   360,     0,    71,    72,     0,   216,   346,    27,     0,     0,     0,    61,    57,     0,    62,     0,     0,     0,   348,     0,   349,   350,   351,   352,   353,   354,   355,   356,   357,   358,   359,    59,    63,     0,     0,     0,    61,    57,     0,    62,     0,     0,    64,     0,     0,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,     0,     0,    63,    70,     0,     0,   360,     0,    71,    72,     0,   216,    64,     0,     0,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,     0,     0,     0,    70,     0,     0,     0,     0,    71,    72,     0,   299,    59,     5,     0,     7,    60,    61,    57,     0,    62,     9,    10,    11,     0,    59,     0,     0,     0,     0,    61,    57,     0,    62,     0,     0,     0,    13,    63,     0,     0,     0,     0,     0,     0,     0,     0,     0,    64,     0,     0,    63,     0,    65,    66,    67,     0,     0,     0,    68,    69,    64,     0,     0,    70,     0,    65,    66,    67,    71,    72,     0,    68,    69,     0,     0,     0,    70,     0,    59,   406,     0,    71,    72,    61,    57,     0,    62,     0,     0,     0,     0,    59,     0,     0,     0,     0,    61,    57,     0,    62,     0,     0,     0,     0,    63,     0,     0,     0,     0,     0,     0,     0,     0,     0,    64,     0,     0,    63,     0,    65,    66,    67,     0,     0,     0,    68,    69,    64,     0,     0,   126,     0,    65,    66,    67,    71,    72,     0,    68,    69,     0,     0,     0,   128,     0,    59,     0,     0,    71,    72,    61,    57,     0,    62,     0,     0,     4,     0,   -93,     5,     6,     7,     8,     0,     0,     0,     0,     9,    10,    11,     5,    63,     7,   168,     0,     0,     0,     0,     9,    10,    11,    64,    12,    13,     0,     0,    65,    66,    67,     0,     0,     0,    68,    69,    13,     0,     0,    70,     0,     0,     0,   -93,    71,    72,     0,     0,     0,     0,     0,     0,   -93,     0,   161,    14,     0,     0,     0,     0,     0,     0,     0,   162,   163,   188,   138,   139,   140,     0,   141,   142,   143,   144,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154,   138,   139,   140,     0,   141,   142,   143,   144,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154,   140,     0,   141,   142,   143,   144,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154,   142,   143,   144,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154,   144,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154};static const short yycheck[] = {    34,    18,    35,     9,    10,    11,     2,     3,     2,     3,    96,    43,    20,   184,   196,    84,   162,    47,   133,   166,   400,    38,    49,    88,    19,    20,    67,    35,    32,   335,    47,    97,    73,   197,     1,   183,   100,    70,     3,     4,     3,     4,     3,     4,    50,    53,    34,    34,    59,     3,     4,    62,     1,     7,    27,     4,     5,     6,     7,    92,   195,     0,    70,    12,    13,    14,   201,    57,    85,    57,    57,     0,    62,    70,     9,   161,    84,    58,   105,    28,    97,    62,    55,    56,    58,     9,   392,    58,    62,     3,   470,    62,    46,   126,    58,   128,    63,   243,    63,    34,    63,    55,    63,     3,     4,   252,   288,   140,   114,     7,     3,   175,   120,   493,    63,   421,    63,   121,   126,   123,   128,     9,    57,   118,   190,   120,    63,   160,   193,   126,   163,   128,    46,    57,    55,     4,     5,     6,     7,   166,   446,    55,   176,    12,    13,    14,    46,    63,    46,    57,   265,   157,   158,    46,    62,    55,    56,    55,    56,    28,     6,     7,    55,    56,    55,   198,    12,    13,    14,    57,    46,   317,     9,   190,   206,    59,   208,   218,   186,    55,    56,    59,   178,   364,   178,     3,     4,   256,   257,    58,   185,   186,    57,   364,   137,   138,   139,   203,   141,   142,   143,   144,   145,   146,   147,   148,   149,   150,   151,   152,   153,   154,   394,   328,   378,   363,    34,   250,   399,    30,    62,   336,     3,    34,   339,   252,   336,     8,    46,   339,   316,   377,   413,    57,   380,   321,     9,    55,    62,   256,   257,   271,   413,    57,    57,    55,    56,    57,    62,   257,   246,    58,   246,    30,   271,    62,    58,   438,     3,   202,    62,   442,     7,   444,     4,     5,     6,     7,    58,    59,     3,     4,    12,    13,    14,    55,     3,    32,   459,    62,     7,    44,    45,    46,    47,    48,   467,    58,    28,     1,   471,     3,    46,    47,    48,   476,     8,     9,    58,    11,   317,    46,    63,     1,    57,     3,     4,     5,     6,     7,    55,    56,   344,    46,    12,    13,    14,    29,    58,    46,   353,    57,    55,    57,   357,    64,   507,    39,    55,   325,    28,   325,    44,    45,    46,    27,     3,     4,    50,    51,     7,     3,     4,    55,   287,    58,   379,    59,    60,    61,    58,    63,   358,    55,    56,    57,   299,    32,   301,    57,   377,    55,    56,   380,   397,    55,    56,   400,   401,    55,     1,    59,     3,     4,    59,     6,     7,     8,     9,    46,    11,    12,    13,    14,    55,    56,    57,    59,    55,    56,     1,    57,   335,     4,    57,     6,     7,    28,    29,   342,   433,    12,    13,    14,    55,    56,    59,   441,    39,    55,    56,    58,    59,    44,    45,    46,    34,    28,    57,    50,    51,    62,    63,    57,    55,    57,   369,    64,    64,    60,    61,    57,    63,     4,     5,     6,     7,   470,    62,    10,    55,    12,    13,    14,   477,    32,    59,    58,    59,   392,    64,    57,    62,    57,     3,   488,    64,    28,     3,    34,   493,     4,     5,     6,     7,    34,    55,   501,    34,    12,    13,    14,     5,     6,     7,   509,    55,    55,   421,    12,    13,    14,    58,     7,    58,    28,    34,    16,     1,    62,     3,     4,     5,     6,     7,     8,     9,    58,    11,    12,    13,    14,    15,   446,    17,    18,    19,    20,    21,    22,    23,    24,    25,    26,    27,    28,    29,    55,    55,     4,    34,     6,     7,    58,    58,    55,    39,    12,    13,    14,    57,    44,    45,    46,    59,    57,    59,    50,    51,    17,    58,    57,    55,    28,    64,    58,    59,    60,    61,     1,    63,     3,     4,     5,     6,     7,     8,     9,    57,    11,    12,    13,    14,    15,    57,    17,    18,    19,    20,    21,    22,    23,    24,    25,    26,    27,    28,    29,    40,    41,    42,    43,    44,    45,    46,    47,    48,    39,    55,     9,    58,    55,    44,    45,    46,    58,    62,    57,    50,    51,    58,    58,    57,    55,    57,     0,    58,    58,    60,    61,     1,    63,     3,     4,    58,     0,     3,     8,     9,   159,    11,   297,    48,    53,    15,   169,    17,    18,    19,    20,    21,    22,    23,    24,    25,    26,    27,   429,    29,    41,    42,    43,    44,    45,    46,    47,    48,   269,    39,   369,   205,   377,   208,    44,    45,    46,   203,   344,   114,    50,    51,    53,   363,   489,    55,   249,   491,    58,    59,    60,    61,     1,    63,     3,     4,   325,   246,   427,     8,     9,    -1,    11,    -1,    -1,    -1,    15,    -1,    17,    18,    19,    20,    21,    22,    23,    24,    25,    26,    27,    -1,    29,     1,    -1,    -1,     4,     5,     6,     7,    -1,    -1,    39,    -1,    12,    13,    14,    44,    45,    46,    -1,    -1,    -1,    50,    51,    -1,    -1,    -1,    55,    -1,    28,    58,    59,    60,    61,     1,    63,    -1,     4,     5,     6,     7,    -1,    -1,    -1,    -1,    12,    13,    14,    39,    40,    41,    42,    43,    44,    45,    46,    47,    48,    57,    -1,    27,    28,    -1,    30,    -1,    32,    -1,    -1,    -1,    -1,    -1,     1,    -1,    -1,     4,     5,     6,     7,    -1,    -1,    -1,    -1,    12,    13,    14,    -1,    -1,    -1,    55,    56,    -1,    58,    -1,    -1,    -1,    62,    63,    27,    28,     1,    30,     3,    32,    -1,    -1,    -1,     8,     9,    -1,    11,    -1,     3,     4,     5,     6,     7,    -1,    -1,    -1,    -1,    12,    13,    14,    -1,    -1,    55,    56,    29,    58,    -1,    -1,    -1,    62,    63,    -1,    -1,    28,    39,    -1,    -1,    -1,    -1,    44,    45,    46,    -1,    -1,    -1,    50,    51,    -1,    -1,    -1,    55,    46,    -1,    -1,    59,    60,    61,     1,    63,     3,    55,    56,    -1,    -1,     8,     9,    -1,    11,    37,    38,    39,    40,    41,    42,    43,    44,    45,    46,    47,    48,     1,    -1,     3,    -1,    -1,    29,    -1,     8,     9,    -1,    11,    -1,    -1,    50,    51,    39,    53,    54,    55,    56,    44,    45,    46,    -1,    -1,    -1,    50,    51,    29,    -1,    -1,    55,    -1,    -1,    -1,    59,    60,    61,    39,    63,    -1,    -1,    -1,    44,    45,    46,    -1,    -1,    -1,    50,    51,    -1,     1,    -1,    55,     4,     5,     6,     7,    60,    61,    -1,    63,    12,    13,    14,    -1,    -1,    -1,     3,    -1,    -1,    -1,    -1,     8,     9,    -1,    11,    27,    28,    -1,    30,    -1,    32,    42,    43,    44,    45,    46,    47,    48,    -1,     3,    -1,    -1,    29,    -1,     8,     9,    -1,    11,    -1,    -1,    -1,    -1,    39,    -1,    -1,    -1,    58,    44,    45,    46,    62,    63,    -1,    50,    51,    29,    -1,