sql_yacc.cc
上传用户:tsgydb
上传日期:2007-04-14
资源大小:10674k
文件大小:460k
源码类别:

MySQL数据库

开发平台:

Visual C++

  1. /*  A Bison parser, made from sql_yacc.yy
  2.     by GNU Bison version 1.28  */
  3. #define YYBISON 1  /* Identify Bison output.  */
  4. #define END_OF_INPUT 257
  5. #define EQ 258
  6. #define EQUAL_SYM 259
  7. #define GE 260
  8. #define GT_SYM 261
  9. #define LE 262
  10. #define LT 263
  11. #define NE 264
  12. #define IS 265
  13. #define SHIFT_LEFT 266
  14. #define SHIFT_RIGHT 267
  15. #define SET_VAR 268
  16. #define AVG_SYM 269
  17. #define COUNT_SYM 270
  18. #define MAX_SYM 271
  19. #define MIN_SYM 272
  20. #define SUM_SYM 273
  21. #define STD_SYM 274
  22. #define ADD 275
  23. #define ALTER 276
  24. #define AFTER_SYM 277
  25. #define ANALYZE_SYM 278
  26. #define BEGIN_SYM 279
  27. #define CHANGE 280
  28. #define COMMENT_SYM 281
  29. #define COMMIT_SYM 282
  30. #define CREATE 283
  31. #define CROSS 284
  32. #define DELETE_SYM 285
  33. #define DROP 286
  34. #define INSERT 287
  35. #define FLUSH_SYM 288
  36. #define SELECT_SYM 289
  37. #define MASTER_SYM 290
  38. #define REPAIR 291
  39. #define RESET_SYM 292
  40. #define PURGE 293
  41. #define SLAVE 294
  42. #define START_SYM 295
  43. #define STOP_SYM 296
  44. #define TRUNCATE_SYM 297
  45. #define ROLLBACK_SYM 298
  46. #define OPTIMIZE 299
  47. #define SHOW 300
  48. #define UPDATE_SYM 301
  49. #define KILL_SYM 302
  50. #define LOAD 303
  51. #define LOCK_SYM 304
  52. #define UNLOCK_SYM 305
  53. #define ACTION 306
  54. #define AGGREGATE_SYM 307
  55. #define ALL 308
  56. #define AND 309
  57. #define AS 310
  58. #define ASC 311
  59. #define AUTO_INC 312
  60. #define AUTOCOMMIT 313
  61. #define AVG_ROW_LENGTH 314
  62. #define BACKUP_SYM 315
  63. #define BERKELEY_DB_SYM 316
  64. #define BINARY 317
  65. #define BIT_SYM 318
  66. #define BOOL_SYM 319
  67. #define BOTH 320
  68. #define BY 321
  69. #define CASCADE 322
  70. #define CHECKSUM_SYM 323
  71. #define CHECK_SYM 324
  72. #define COLUMNS 325
  73. #define COLUMN_SYM 326
  74. #define CONSTRAINT 327
  75. #define DATABASES 328
  76. #define DATA_SYM 329
  77. #define DEFAULT 330
  78. #define DELAYED_SYM 331
  79. #define DELAY_KEY_WRITE_SYM 332
  80. #define DESC 333
  81. #define DESCRIBE 334
  82. #define DISTINCT 335
  83. #define DYNAMIC_SYM 336
  84. #define ENCLOSED 337
  85. #define ESCAPED 338
  86. #define ESCAPE_SYM 339
  87. #define EXISTS 340
  88. #define EXTENDED_SYM 341
  89. #define FILE_SYM 342
  90. #define FIRST_SYM 343
  91. #define FIXED_SYM 344
  92. #define FLOAT_NUM 345
  93. #define FOREIGN 346
  94. #define FROM 347
  95. #define FULL 348
  96. #define FULLTEXT_SYM 349
  97. #define GRANT 350
  98. #define GRANTS 351
  99. #define GREATEST_SYM 352
  100. #define GROUP 353
  101. #define HAVING 354
  102. #define HEAP_SYM 355
  103. #define HEX_NUM 356
  104. #define HIGH_PRIORITY 357
  105. #define HOSTS_SYM 358
  106. #define IDENT 359
  107. #define IGNORE_SYM 360
  108. #define INDEX 361
  109. #define INFILE 362
  110. #define INNER_SYM 363
  111. #define INNOBASE_SYM 364
  112. #define INTO 365
  113. #define IN_SYM 366
  114. #define ISAM_SYM 367
  115. #define JOIN_SYM 368
  116. #define KEYS 369
  117. #define KEY_SYM 370
  118. #define LEADING 371
  119. #define LEAST_SYM 372
  120. #define LEX_HOSTNAME 373
  121. #define LIKE 374
  122. #define LINES 375
  123. #define LOCAL_SYM 376
  124. #define LOGS_SYM 377
  125. #define LONG_NUM 378
  126. #define LONG_SYM 379
  127. #define LOW_PRIORITY 380
  128. #define MASTER_HOST_SYM 381
  129. #define MASTER_USER_SYM 382
  130. #define MASTER_LOG_FILE_SYM 383
  131. #define MASTER_LOG_POS_SYM 384
  132. #define MASTER_PASSWORD_SYM 385
  133. #define MASTER_PORT_SYM 386
  134. #define MASTER_CONNECT_RETRY_SYM 387
  135. #define MATCH 388
  136. #define MAX_ROWS 389
  137. #define MEDIUM_SYM 390
  138. #define MERGE_SYM 391
  139. #define MIN_ROWS 392
  140. #define MYISAM_SYM 393
  141. #define NATIONAL_SYM 394
  142. #define NATURAL 395
  143. #define NCHAR_SYM 396
  144. #define NOT 397
  145. #define NO_SYM 398
  146. #define NULL_SYM 399
  147. #define NUM 400
  148. #define ON 401
  149. #define OPEN_SYM 402
  150. #define OPTION 403
  151. #define OPTIONALLY 404
  152. #define OR 405
  153. #define OR_OR_CONCAT 406
  154. #define ORDER_SYM 407
  155. #define OUTER 408
  156. #define OUTFILE 409
  157. #define DUMPFILE 410
  158. #define PACK_KEYS_SYM 411
  159. #define PARTIAL 412
  160. #define PRIMARY_SYM 413
  161. #define PRIVILEGES 414
  162. #define PROCESS 415
  163. #define PROCESSLIST_SYM 416
  164. #define RAID_0_SYM 417
  165. #define RAID_STRIPED_SYM 418
  166. #define RAID_TYPE 419
  167. #define RAID_CHUNKS 420
  168. #define RAID_CHUNKSIZE 421
  169. #define READ_SYM 422
  170. #define REAL_NUM 423
  171. #define REFERENCES 424
  172. #define REGEXP 425
  173. #define RELOAD 426
  174. #define RENAME 427
  175. #define RESTORE_SYM 428
  176. #define RESTRICT 429
  177. #define REVOKE 430
  178. #define ROWS_SYM 431
  179. #define ROW_FORMAT_SYM 432
  180. #define ROW_SYM 433
  181. #define SET 434
  182. #define SHUTDOWN 435
  183. #define STARTING 436
  184. #define STATUS_SYM 437
  185. #define STRAIGHT_JOIN 438
  186. #define TABLES 439
  187. #define TABLE_SYM 440
  188. #define TEMPORARY 441
  189. #define TERMINATED 442
  190. #define TEXT_STRING 443
  191. #define TO_SYM 444
  192. #define TRAILING 445
  193. #define TYPE_SYM 446
  194. #define FUNC_ARG0 447
  195. #define FUNC_ARG1 448
  196. #define FUNC_ARG2 449
  197. #define FUNC_ARG3 450
  198. #define UDF_RETURNS_SYM 451
  199. #define UDF_SONAME_SYM 452
  200. #define UDF_SYM 453
  201. #define UNION_SYM 454
  202. #define UNIQUE_SYM 455
  203. #define USAGE 456
  204. #define USE_SYM 457
  205. #define USING 458
  206. #define VALUES 459
  207. #define VARIABLES 460
  208. #define WHERE 461
  209. #define WITH 462
  210. #define WRITE_SYM 463
  211. #define COMPRESSED_SYM 464
  212. #define BIGINT 465
  213. #define BLOB_SYM 466
  214. #define CHAR_SYM 467
  215. #define CHANGED 468
  216. #define COALESCE 469
  217. #define DATETIME 470
  218. #define DATE_SYM 471
  219. #define DECIMAL_SYM 472
  220. #define DOUBLE_SYM 473
  221. #define ENUM 474
  222. #define FAST_SYM 475
  223. #define FLOAT_SYM 476
  224. #define INT_SYM 477
  225. #define LIMIT 478
  226. #define LONGBLOB 479
  227. #define LONGTEXT 480
  228. #define MEDIUMBLOB 481
  229. #define MEDIUMINT 482
  230. #define MEDIUMTEXT 483
  231. #define NUMERIC_SYM 484
  232. #define PRECISION 485
  233. #define QUICK 486
  234. #define REAL 487
  235. #define SMALLINT 488
  236. #define STRING_SYM 489
  237. #define TEXT_SYM 490
  238. #define TIMESTAMP 491
  239. #define TIME_SYM 492
  240. #define TINYBLOB 493
  241. #define TINYINT 494
  242. #define TINYTEXT 495
  243. #define UNSIGNED 496
  244. #define VARBINARY 497
  245. #define VARCHAR 498
  246. #define VARYING 499
  247. #define ZEROFILL 500
  248. #define AGAINST 501
  249. #define ATAN 502
  250. #define BETWEEN_SYM 503
  251. #define BIT_AND 504
  252. #define BIT_OR 505
  253. #define CASE_SYM 506
  254. #define CONCAT 507
  255. #define CONCAT_WS 508
  256. #define CURDATE 509
  257. #define CURTIME 510
  258. #define DATABASE 511
  259. #define DATE_ADD_INTERVAL 512
  260. #define DATE_SUB_INTERVAL 513
  261. #define DAY_HOUR_SYM 514
  262. #define DAY_MINUTE_SYM 515
  263. #define DAY_SECOND_SYM 516
  264. #define DAY_SYM 517
  265. #define DECODE_SYM 518
  266. #define ELSE 519
  267. #define ELT_FUNC 520
  268. #define ENCODE_SYM 521
  269. #define ENCRYPT 522
  270. #define EXPORT_SET 523
  271. #define EXTRACT_SYM 524
  272. #define FIELD_FUNC 525
  273. #define FORMAT_SYM 526
  274. #define FOR_SYM 527
  275. #define FROM_UNIXTIME 528
  276. #define GROUP_UNIQUE_USERS 529
  277. #define HOUR_MINUTE_SYM 530
  278. #define HOUR_SECOND_SYM 531
  279. #define HOUR_SYM 532
  280. #define IDENTIFIED_SYM 533
  281. #define IF 534
  282. #define INSERT_ID 535
  283. #define INTERVAL_SYM 536
  284. #define LAST_INSERT_ID 537
  285. #define LEFT 538
  286. #define LOCATE 539
  287. #define MAKE_SET_SYM 540
  288. #define MINUTE_SECOND_SYM 541
  289. #define MINUTE_SYM 542
  290. #define MODIFY_SYM 543
  291. #define MONTH_SYM 544
  292. #define NOW_SYM 545
  293. #define PASSWORD 546
  294. #define POSITION_SYM 547
  295. #define PROCEDURE 548
  296. #define RAND 549
  297. #define REPLACE 550
  298. #define RIGHT 551
  299. #define ROUND 552
  300. #define SECOND_SYM 553
  301. #define SUBSTRING 554
  302. #define SUBSTRING_INDEX 555
  303. #define TRIM 556
  304. #define UDA_CHAR_SUM 557
  305. #define UDA_FLOAT_SUM 558
  306. #define UDA_INT_SUM 559
  307. #define UDF_CHAR_FUNC 560
  308. #define UDF_FLOAT_FUNC 561
  309. #define UDF_INT_FUNC 562
  310. #define UNIQUE_USERS 563
  311. #define UNIX_TIMESTAMP 564
  312. #define USER 565
  313. #define WEEK_SYM 566
  314. #define WHEN_SYM 567
  315. #define WORK_SYM 568
  316. #define YEAR_MONTH_SYM 569
  317. #define YEAR_SYM 570
  318. #define YEARWEEK 571
  319. #define BENCHMARK_SYM 572
  320. #define END 573
  321. #define THEN_SYM 574
  322. #define SQL_BIG_TABLES 575
  323. #define SQL_BIG_SELECTS 576
  324. #define SQL_SELECT_LIMIT 577
  325. #define SQL_MAX_JOIN_SIZE 578
  326. #define SQL_LOG_BIN 579
  327. #define SQL_LOG_OFF 580
  328. #define SQL_LOG_UPDATE 581
  329. #define SQL_LOW_PRIORITY_UPDATES 582
  330. #define SQL_SMALL_RESULT 583
  331. #define SQL_BIG_RESULT 584
  332. #define SQL_BUFFER_RESULT 585
  333. #define SQL_WARNINGS 586
  334. #define SQL_AUTO_IS_NULL 587
  335. #define SQL_SAFE_UPDATES 588
  336. #define SQL_QUOTE_SHOW_CREATE 589
  337. #define SQL_SLAVE_SKIP_COUNTER 590
  338. #define NEG 591
  339. #line 19 "sql_yacc.yy"
  340. #define MYSQL_YACC
  341. #define YYINITDEPTH 100
  342. #define YYMAXDEPTH 3200 /* Because of 64K stack */
  343. #define Lex current_lex
  344. #include "mysql_priv.h"
  345. #include "slave.h"  
  346. #include "sql_acl.h"
  347. #include "lex_symbol.h"
  348. #include <myisam.h>
  349. extern void yyerror(const char*);
  350. int yylex(void *yylval);
  351. #define yyoverflow(A,B,C,D,E,F) if (my_yyoverflow((B),(D),(F))) { yyerror((char*) (A)); return 2; }
  352. inline Item *or_or_concat(Item* A, Item* B)
  353. {
  354.   return (current_thd->options & OPTION_ANSI_MODE ?
  355.           (Item*) new Item_func_concat(A,B) : (Item*) new Item_cond_or(A,B));
  356. }
  357. #line 42 "sql_yacc.yy"
  358. typedef union {
  359.   int  num;
  360.   ulong ulong_num;
  361.   ulonglong ulonglong_num;
  362.   LEX_STRING lex_str;
  363.   LEX_STRING *lex_str_ptr;
  364.   LEX_SYMBOL symbol;
  365.   Table_ident *table;
  366.   char *simple_string;
  367.   Item *item;
  368.   List<Item> *item_list;
  369.   List<String> *string_list;
  370.   Key::Keytype key_type;
  371.   enum db_type db_type;
  372.   enum row_type row_type;
  373.   String *string;
  374.   key_part_spec *key_part;
  375.   TABLE_LIST *table_list;
  376.   udf_func *udf;
  377.   interval_type interval;
  378.   LEX_USER *lex_user;
  379.   enum Item_udftype udf_type;
  380. } YYSTYPE;
  381. #line 66 "sql_yacc.yy"
  382. bool my_yyoverflow(short **a, YYSTYPE **b,int *yystacksize);
  383. #include <stdio.h>
  384. #ifndef __cplusplus
  385. #ifndef __STDC__
  386. #define const
  387. #endif
  388. #endif
  389. #define YYFINAL 1995
  390. #define YYFLAG -32768
  391. #define YYNTBASE 354
  392. #define YYTRANSLATE(x) ((unsigned)(x) <= 591 ? yytranslate[x] : 643)
  393. static const short yytranslate[] = {     0,
  394.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  395.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  396.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  397.      2,     2,   349,     2,     2,     2,   343,   338,     2,   346,
  398.    347,   341,   340,   348,   339,   353,   342,     2,     2,     2,
  399.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  400.      2,     2,     2,   352,     2,     2,     2,     2,     2,     2,
  401.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  402.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  403.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  404.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  405.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  406.      2,     2,   350,   337,   351,   345,     2,     2,     2,     2,
  407.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  408.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  409.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  410.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  411.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  412.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  413.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  414.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  415.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  416.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  417.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  418.      2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
  419.      2,     2,     2,     2,     2,     1,     3,     4,     5,     6,
  420.      7,     8,     9,    10,    11,    12,    13,    14,    15,    16,
  421.     17,    18,    19,    20,    21,    22,    23,    24,    25,    26,
  422.     27,    28,    29,    30,    31,    32,    33,    34,    35,    36,
  423.     37,    38,    39,    40,    41,    42,    43,    44,    45,    46,
  424.     47,    48,    49,    50,    51,    52,    53,    54,    55,    56,
  425.     57,    58,    59,    60,    61,    62,    63,    64,    65,    66,
  426.     67,    68,    69,    70,    71,    72,    73,    74,    75,    76,
  427.     77,    78,    79,    80,    81,    82,    83,    84,    85,    86,
  428.     87,    88,    89,    90,    91,    92,    93,    94,    95,    96,
  429.     97,    98,    99,   100,   101,   102,   103,   104,   105,   106,
  430.    107,   108,   109,   110,   111,   112,   113,   114,   115,   116,
  431.    117,   118,   119,   120,   121,   122,   123,   124,   125,   126,
  432.    127,   128,   129,   130,   131,   132,   133,   134,   135,   136,
  433.    137,   138,   139,   140,   141,   142,   143,   144,   145,   146,
  434.    147,   148,   149,   150,   151,   152,   153,   154,   155,   156,
  435.    157,   158,   159,   160,   161,   162,   163,   164,   165,   166,
  436.    167,   168,   169,   170,   171,   172,   173,   174,   175,   176,
  437.    177,   178,   179,   180,   181,   182,   183,   184,   185,   186,
  438.    187,   188,   189,   190,   191,   192,   193,   194,   195,   196,
  439.    197,   198,   199,   200,   201,   202,   203,   204,   205,   206,
  440.    207,   208,   209,   210,   211,   212,   213,   214,   215,   216,
  441.    217,   218,   219,   220,   221,   222,   223,   224,   225,   226,
  442.    227,   228,   229,   230,   231,   232,   233,   234,   235,   236,
  443.    237,   238,   239,   240,   241,   242,   243,   244,   245,   246,
  444.    247,   248,   249,   250,   251,   252,   253,   254,   255,   256,
  445.    257,   258,   259,   260,   261,   262,   263,   264,   265,   266,
  446.    267,   268,   269,   270,   271,   272,   273,   274,   275,   276,
  447.    277,   278,   279,   280,   281,   282,   283,   284,   285,   286,
  448.    287,   288,   289,   290,   291,   292,   293,   294,   295,   296,
  449.    297,   298,   299,   300,   301,   302,   303,   304,   305,   306,
  450.    307,   308,   309,   310,   311,   312,   313,   314,   315,   316,
  451.    317,   318,   319,   320,   321,   322,   323,   324,   325,   326,
  452.    327,   328,   329,   330,   331,   332,   333,   334,   335,   336,
  453.    344
  454. };
  455. #if YYDEBUG != 0
  456. static const short yyprhs[] = {     0,
  457.      0,     2,     5,     7,     9,    11,    13,    15,    17,    19,
  458.     21,    23,    25,    27,    29,    31,    33,    35,    37,    39,
  459.     41,    43,    45,    47,    49,    51,    53,    55,    57,    59,
  460.     61,    63,    65,    67,    69,    71,    73,    74,    80,    82,
  461.     86,    90,    94,    98,   102,   106,   110,   114,   115,   123,
  462.    124,   135,   140,   141,   151,   157,   160,   161,   162,   170,
  463.    171,   173,   174,   176,   178,   181,   183,   184,   188,   189,
  464.    191,   193,   196,   200,   204,   208,   212,   216,   220,   224,
  465.    228,   232,   236,   240,   244,   248,   252,   258,   260,   262,
  466.    264,   266,   268,   270,   272,   274,   276,   278,   280,   282,
  467.    284,   285,   287,   288,   290,   292,   294,   296,   298,   302,
  468.    304,   307,   313,   322,   328,   329,   332,   333,   338,   342,
  469.    346,   350,   353,   355,   361,   364,   369,   375,   380,   384,
  470.    386,   388,   390,   395,   397,   399,   401,   403,   405,   408,
  471.    411,   413,   415,   417,   419,   423,   427,   428,   434,   435,
  472.    441,   443,   445,   448,   451,   453,   456,   459,   461,   463,
  473.    465,   467,   469,   471,   473,   476,   477,   481,   487,   488,
  474.    490,   493,   495,   497,   499,   500,   504,   505,   511,   512,
  475.    514,   517,   519,   521,   524,   527,   529,   532,   534,   537,
  476.    538,   540,   544,   551,   552,   554,   557,   559,   563,   567,
  477.    570,   573,   575,   577,   580,   583,   586,   590,   592,   594,
  478.    597,   600,   604,   606,   608,   610,   612,   613,   615,   617,
  479.    622,   625,   627,   632,   633,   635,   637,   641,   642,   649,
  480.    650,   652,   656,   659,   663,   668,   669,   675,   676,   683,
  481.    688,   692,   697,   701,   708,   714,   719,   721,   723,   724,
  482.    726,   727,   729,   730,   732,   734,   735,   738,   740,   741,
  483.    743,   745,   748,   751,   752,   759,   760,   767,   768,   774,
  484.    775,   779,   781,   783,   786,   788,   790,   792,   794,   796,
  485.    797,   803,   804,   810,   811,   817,   818,   823,   825,   829,
  486.    833,   834,   840,   841,   843,   846,   849,   858,   859,   861,
  487.    864,   866,   868,   870,   872,   874,   876,   878,   880,   884,
  488.    886,   888,   893,   894,   895,   897,   899,   900,   903,   906,
  489.    908,   910,   911,   914,   916,   918,   924,   931,   937,   944,
  490.    948,   952,   956,   961,   967,   971,   976,   980,   985,   989,
  491.    993,   997,  1001,  1005,  1009,  1013,  1017,  1021,  1025,  1029,
  492.   1033,  1037,  1041,  1045,  1049,  1055,  1061,  1067,  1074,  1078,
  493.   1082,  1086,  1091,  1097,  1101,  1106,  1110,  1115,  1119,  1123,
  494.   1127,  1131,  1135,  1139,  1143,  1147,  1151,  1155,  1159,  1163,
  495.   1167,  1171,  1175,  1179,  1185,  1191,  1193,  1199,  1206,  1212,
  496.   1219,  1223,  1227,  1232,  1238,  1242,  1247,  1251,  1256,  1260,
  497.   1264,  1268,  1272,  1276,  1280,  1284,  1288,  1292,  1296,  1300,
  498.   1304,  1308,  1312,  1316,  1320,  1326,  1332,  1334,  1336,  1338,
  499.   1343,  1346,  1350,  1352,  1355,  1358,  1361,  1364,  1368,  1373,
  500.   1382,  1389,  1392,  1399,  1403,  1408,  1415,  1424,  1429,  1436,
  501.   1441,  1446,  1451,  1458,  1461,  1464,  1469,  1478,  1487,  1491,
  502.   1498,  1505,  1510,  1517,  1524,  1531,  1540,  1551,  1564,  1571,
  503.   1576,  1583,  1590,  1595,  1604,  1615,  1621,  1628,  1632,  1637,
  504.   1644,  1651,  1660,  1667,  1674,  1679,  1684,  1687,  1692,  1697,
  505.   1704,  1709,  1713,  1722,  1729,  1734,  1741,  1746,  1755,  1762,
  506.   1771,  1778,  1787,  1792,  1800,  1808,  1816,  1823,  1830,  1835,
  507.   1840,  1845,  1850,  1855,  1860,  1871,  1875,  1880,  1884,  1889,
  508.   1896,  1901,  1906,  1913,  1920,  1927,  1928,  1930,  1935,  1940,
  509.   1945,  1950,  1955,  1961,  1972,  1977,  1982,  1987,  1992,  1993,
  510.   1996,  1997,  2000,  2002,  2006,  2007,  2010,  2012,  2016,  2017,
  511.   2019,  2020,  2023,  2024,  2027,  2031,  2037,  2038,  2040,  2044,
  512.   2046,  2050,  2054,  2061,  2062,  2072,  2080,  2081,  2092,  2099,
  513.   2107,  2108,  2119,  2126,  2131,  2133,  2135,  2138,  2139,  2144,
  514.   2155,  2156,  2158,  2159,  2162,  2165,  2166,  2172,  2176,  2178,
  515.   2180,  2182,  2186,  2188,  2190,  2192,  2194,  2196,  2198,  2200,
  516.   2202,  2204,  2206,  2208,  2210,  2212,  2213,  2215,  2217,  2218,
  517.   2221,  2222,  2225,  2226,  2227,  2231,  2234,  2235,  2236,  2240,
  518.   2244,  2246,  2247,  2249,  2250,  2255,  2260,  2263,  2264,  2266,
  519.   2268,  2269,  2272,  2277,  2278,  2281,  2283,  2285,  2287,  2289,
  520.   2291,  2293,  2295,  2296,  2297,  2304,  2305,  2307,  2311,  2313,
  521.   2316,  2317,  2324,  2328,  2334,  2335,  2342,  2347,  2351,  2353,
  522.   2357,  2359,  2360,  2363,  2364,  2371,  2372,  2378,  2379,  2381,
  523.   2383,  2385,  2387,  2389,  2392,  2394,  2396,  2399,  2400,  2404,
  524.   2405,  2409,  2412,  2416,  2418,  2421,  2422,  2428,  2432,  2434,
  525.   2438,  2440,  2444,  2446,  2448,  2449,  2454,  2455,  2457,  2461,
  526.   2463,  2472,  2478,  2482,  2483,  2485,  2486,  2494,  2495,  2498,
  527.   2500,  2502,  2506,  2507,  2509,  2510,  2514,  2517,  2521,  2526,
  528.   2531,  2538,  2541,  2546,  2549,  2552,  2555,  2557,  2561,  2565,
  529.   2568,  2571,  2572,  2575,  2576,  2579,  2580,  2582,  2583,  2588,
  530.   2591,  2593,  2595,  2596,  2598,  2600,  2601,  2605,  2609,  2611,
  531.   2612,  2616,  2621,  2623,  2625,  2627,  2629,  2631,  2633,  2634,
  532.   2636,  2637,  2641,  2645,  2647,  2649,  2651,  2652,  2659,  2662,
  533.   2665,  2666,  2682,  2688,  2689,  2691,  2692,  2694,  2696,  2697,
  534.   2700,  2703,  2705,  2709,  2714,  2718,  2722,  2723,  2726,  2729,
  535.   2731,  2735,  2739,  2740,  2744,  2746,  2749,  2751,  2753,  2755,
  536.   2757,  2759,  2761,  2763,  2765,  2767,  2770,  2773,  2776,  2778,
  537.   2780,  2784,  2790,  2793,  2795,  2797,  2801,  2806,  2812,  2814,
  538.   2818,  2821,  2823,  2827,  2830,  2832,  2834,  2836,  2838,  2840,
  539.   2842,  2846,  2848,  2850,  2852,  2854,  2856,  2858,  2860,  2862,
  540.   2864,  2866,  2868,  2870,  2872,  2874,  2876,  2878,  2880,  2882,
  541.   2884,  2886,  2888,  2890,  2892,  2894,  2896,  2898,  2900,  2902,
  542.   2904,  2906,  2908,  2910,  2912,  2914,  2916,  2918,  2920,  2922,
  543.   2924,  2926,  2928,  2930,  2932,  2934,  2936,  2938,  2940,  2942,
  544.   2944,  2946,  2948,  2950,  2952,  2954,  2956,  2958,  2960,  2962,
  545.   2964,  2966,  2968,  2970,  2972,  2974,  2976,  2978,  2980,  2982,
  546.   2984,  2986,  2988,  2990,  2992,  2994,  2996,  2998,  3000,  3002,
  547.   3004,  3006,  3008,  3010,  3012,  3014,  3016,  3018,  3020,  3022,
  548.   3024,  3026,  3028,  3030,  3032,  3034,  3036,  3038,  3040,  3042,
  549.   3044,  3045,  3050,  3051,  3053,  3055,  3059,  3063,  3067,  3071,
  550.   3075,  3079,  3083,  3087,  3091,  3095,  3099,  3103,  3107,  3111,
  551.   3117,  3122,  3126,  3128,  3133,  3135,  3137,  3139,  3141,  3143,
  552.   3145,  3147,  3149,  3151,  3153,  3155,  3156,  3161,  3163,  3165,
  553.   3167,  3171,  3175,  3177,  3179,  3182,  3185,  3188,  3189,  3197,
  554.   3198,  3207,  3209,  3212,  3214,  3216,  3220,  3221,  3225,  3226,
  555.   3230,  3231,  3235,  3237,  3238,  3242,  3244,  3246,  3248,  3250,
  556.   3252,  3254,  3256,  3258,  3260,  3263,  3265,  3269,  3273,  3275,
  557.   3277,  3281,  3286,  3292,  3294,  3295,  3299,  3303,  3305,  3307,
  558.   3308,  3312,  3313,  3317,  3318,  3320,  3322
  559. };
  560. static const short yyrhs[] = {     3,
  561.      0,   355,     3,     0,   416,     0,   438,     0,   431,     0,
  562.    638,     0,   356,     0,   440,     0,   641,     0,   360,     0,
  563.    551,     0,   563,     0,   521,     0,   622,     0,   526,     0,
  564.    567,     0,   581,     0,   613,     0,   579,     0,   442,     0,
  565.    577,     0,   444,     0,   433,     0,   528,     0,   573,     0,
  566.    429,     0,   620,     0,   642,     0,   448,     0,   606,     0,
  567.    428,     0,   557,     0,   555,     0,   619,     0,   548,     0,
  568.    580,     0,     0,    26,    36,   190,   357,   358,     0,   359,
  569.      0,   358,   348,   359,     0,   127,     4,   189,     0,   128,
  570.      4,   189,     0,   131,     4,   189,     0,   129,     4,   189,
  571.      0,   132,     4,   512,     0,   130,     4,   513,     0,   133,
  572.      4,   512,     0,     0,    29,   368,   186,   371,   601,   361,
  573.    364,     0,     0,    29,   411,   107,   602,   147,   601,   362,
  574.    346,   412,   347,     0,    29,   257,   371,   602,     0,     0,
  575.     29,   379,   199,   602,   363,   197,   380,   198,   189,     0,
  576.    346,   381,   347,   372,   365,     0,   372,   365,     0,     0,
  577.      0,   584,   367,    35,   366,   452,   455,   378,     0,     0,
  578.     56,     0,     0,   369,     0,   370,     0,   370,   369,     0,
  579.    187,     0,     0,   280,   143,    86,     0,     0,   373,     0,
  580.    374,     0,   374,   373,     0,   192,     4,   375,     0,   135,
  581.      4,   513,     0,   138,     4,   513,     0,    60,     4,   512,
  582.      0,   292,     4,   189,     0,    27,     4,   189,     0,    58,
  583.      4,   513,     0,   157,     4,   512,     0,    69,     4,   512,
  584.      0,    78,     4,   512,     0,   178,     4,   376,     0,   165,
  585.      4,   377,     0,   166,     4,   512,     0,   167,     4,   512,
  586.      0,   200,     4,   346,   523,   347,     0,   113,     0,   139,
  587.      0,   137,     0,   101,     0,    62,     0,   110,     0,    76,
  588.      0,    90,     0,    82,     0,   210,     0,   164,     0,   163,
  589.      0,   512,     0,     0,   451,     0,     0,    53,     0,   235,
  590.      0,   233,     0,   223,     0,   382,     0,   381,   348,   382,
  591.      0,   384,     0,   384,   403,     0,   408,   414,   346,   412,
  592.    347,     0,   383,    92,   116,   414,   346,   412,   347,   403,
  593.      0,   383,    70,   346,   462,   347,     0,     0,    73,   414,
  594.      0,     0,   600,   385,   386,   399,     0,   391,   397,   394,
  595.      0,   392,   398,   394,     0,   222,   393,   394,     0,    64,
  596.    397,     0,    65,     0,   389,   346,   146,   347,   402,     0,
  597.    389,   402,     0,    63,   346,   146,   347,     0,   390,   346,
  598.    146,   347,   402,     0,   243,   346,   146,   347,     0,   316,
  599.    397,   394,     0,   217,     0,   238,     0,   237,     0,   237,
  600.    346,   146,   347,     0,   216,     0,   239,     0,   212,     0,
  601.    227,     0,   225,     0,   125,   243,     0,   125,   390,     0,
  602.    241,     0,   236,     0,   229,     0,   226,     0,   218,   393,
  603.    394,     0,   230,   393,   394,     0,     0,   220,   387,   346,
  604.    415,   347,     0,     0,   180,   388,   346,   415,   347,     0,
  605.    213,     0,   142,     0,   140,   213,     0,   389,   245,     0,
  606.    244,     0,   140,   244,     0,   142,   244,     0,   223,     0,
  607.    240,     0,   234,     0,   228,     0,   211,     0,   233,     0,
  608.    219,     0,   219,   231,     0,     0,   346,   146,   347,     0,
  609.    346,   146,   348,   146,   347,     0,     0,   395,     0,   395,
  610.    396,     0,   396,     0,   242,     0,   246,     0,     0,   346,
  611.    146,   347,     0,     0,   346,   146,   348,   146,   347,     0,
  612.      0,   400,     0,   400,   401,     0,   401,     0,   145,     0,
  613.    143,   145,     0,    76,   594,     0,    58,     0,   159,   116,
  614.      0,   201,     0,   201,   116,     0,     0,    63,     0,   170,
  615.    601,   404,     0,   170,   601,   346,   412,   347,   404,     0,
  616.      0,   405,     0,   405,   406,     0,   406,     0,   147,    31,
  617.    407,     0,   147,    47,   407,     0,   134,    94,     0,   134,
  618.    158,     0,   175,     0,    68,     0,   180,   145,     0,   144,
  619.     52,     0,   180,    76,     0,   383,   159,   116,     0,   409,
  620.      0,    95,     0,    95,   409,     0,   383,   201,     0,   383,
  621.    201,   409,     0,   116,     0,   107,     0,   115,     0,   107,
  622.      0,     0,   201,     0,    95,     0,   412,   348,   413,   509,
  623.      0,   413,   509,     0,   602,     0,   602,   346,   146,   347,
  624.      0,     0,   600,     0,   593,     0,   415,   348,   593,     0,
  625.      0,    22,   424,   186,   601,   417,   418,     0,     0,   420,
  626.      0,   418,   348,   420,     0,    21,   423,     0,   419,   382,
  627.    426,     0,   419,   346,   381,   347,     0,     0,    26,   423,
  628.    600,   421,   384,     0,     0,   289,   423,   600,   422,   386,
  629.    399,     0,    32,   423,   600,   425,     0,    32,   159,   116,
  630.      0,    32,    92,   116,   414,     0,    32,   409,   600,     0,
  631.     22,   423,   600,   180,    76,   594,     0,    22,   423,   600,
  632.     32,    76,     0,   173,   427,   497,   601,     0,   373,     0,
  633.    506,     0,     0,    72,     0,     0,   106,     0,     0,   175,
  634.      0,    68,     0,     0,    23,   602,     0,    89,     0,     0,
  635.    190,     0,    56,     0,    40,    41,     0,    40,    42,     0,
  636.      0,   174,   615,   430,   523,    93,   189,     0,     0,    61,
  637.    615,   432,   523,   190,   189,     0,     0,    37,   615,   434,
  638.    523,   435,     0,     0,   192,     4,   436,     0,   436,     0,
  639.    437,     0,   437,   436,     0,   232,     0,   221,     0,   136,
  640.      0,    87,     0,   214,     0,     0,    24,   615,   439,   523,
  641.    435,     0,     0,    70,   615,   441,   523,   435,     0,     0,
  642.     45,   615,   443,   523,   435,     0,     0,   173,   615,   445,
  643.    446,     0,   447,     0,   446,   348,   447,     0,   601,   190,
  644.    601,     0,     0,    35,   449,   452,   455,   450,     0,     0,
  645.    451,     0,   519,   451,     0,   451,   519,     0,    93,   483,
  646.    499,   503,   500,   505,   510,   514,     0,     0,   453,     0,
  647.    453,   454,     0,   454,     0,   184,     0,   103,     0,    81,
  648.      0,   329,     0,   330,     0,   331,     0,    54,     0,   455,
  649.    348,   456,     0,   456,     0,   341,     0,   457,   459,   458,
  650.    460,     0,     0,     0,   596,     0,   462,     0,     0,    56,
  651.    602,     0,    56,   189,     0,   602,     0,   189,     0,     0,
  652.    346,   347,     0,   463,     0,   466,     0,   462,   112,   346,
  653.    471,   347,     0,   462,   143,   112,   346,   471,   347,     0,
  654.    462,   249,   465,    55,   462,     0,   462,   143,   249,   465,
  655.     55,   462,     0,   462,   152,   462,     0,   462,   151,   462,
  656.      0,   462,    55,   462,     0,   462,   120,   466,   502,     0,
  657.    462,   143,   120,   466,   502,     0,   462,   171,   462,     0,
  658.    462,   143,   171,   462,     0,   462,    11,   145,     0,   462,
  659.     11,   143,   145,     0,   462,     4,   462,     0,   462,     5,
  660.    462,     0,   462,     6,   462,     0,   462,     7,   462,     0,
  661.    462,     8,   462,     0,   462,     9,   462,     0,   462,    10,
  662.    462,     0,   462,    12,   462,     0,   462,    13,   462,     0,
  663.    462,   340,   462,     0,   462,   339,   462,     0,   462,   341,
  664.    462,     0,   462,   342,   462,     0,   462,   337,   462,     0,
  665.    462,   338,   462,     0,   462,   343,   462,     0,   462,   340,
  666.    282,   462,   496,     0,   462,   339,   282,   462,   496,     0,
  667.    464,   249,   465,    55,   462,     0,   464,   143,   249,   465,
  668.     55,   462,     0,   464,   152,   462,     0,   464,   151,   462,
  669.      0,   464,    55,   462,     0,   464,   120,   466,   502,     0,
  670.    464,   143,   120,   466,   502,     0,   464,   171,   462,     0,
  671.    464,   143,   171,   462,     0,   464,    11,   145,     0,   464,
  672.     11,   143,   145,     0,   464,     4,   462,     0,   464,     5,
  673.    462,     0,   464,     6,   462,     0,   464,     7,   462,     0,
  674.    464,     8,   462,     0,   464,     9,   462,     0,   464,    10,
  675.    462,     0,   464,    12,   462,     0,   464,    13,   462,     0,
  676.    464,   340,   462,     0,   464,   339,   462,     0,   464,   341,
  677.    462,     0,   464,   342,   462,     0,   464,   337,   462,     0,
  678.    464,   338,   462,     0,   464,   343,   462,     0,   464,   340,
  679.    282,   462,   496,     0,   464,   339,   282,   462,   496,     0,
  680.    466,     0,   465,   112,   346,   471,   347,     0,   465,   143,
  681.    112,   346,   471,   347,     0,   465,   249,   465,    55,   462,
  682.      0,   465,   143,   249,   465,    55,   462,     0,   465,   152,
  683.    462,     0,   465,   151,   462,     0,   465,   120,   466,   502,
  684.      0,   465,   143,   120,   466,   502,     0,   465,   171,   462,
  685.      0,   465,   143,   171,   462,     0,   465,    11,   145,     0,
  686.    465,    11,   143,   145,     0,   465,     4,   462,     0,   465,
  687.      5,   462,     0,   465,     6,   462,     0,   465,     7,   462,
  688.      0,   465,     8,   462,     0,   465,     9,   462,     0,   465,
  689.     10,   462,     0,   465,    12,   462,     0,   465,    13,   462,
  690.      0,   465,   340,   462,     0,   465,   339,   462,     0,   465,
  691.    341,   462,     0,   465,   342,   462,     0,   465,   337,   462,
  692.      0,   465,   338,   462,     0,   465,   343,   462,     0,   465,
  693.    340,   282,   462,   496,     0,   465,   339,   282,   462,   496,
  694.      0,   466,     0,   599,     0,   594,     0,   352,   603,    14,
  695.    462,     0,   352,   603,     0,   352,   352,   603,     0,   468,
  696.      0,   339,   462,     0,   345,   462,     0,   143,   462,     0,
  697.    349,   462,     0,   346,   462,   347,     0,   350,   602,   462,
  698.    351,     0,   134,   346,   474,   347,   247,   346,   462,   347,
  699.      0,   134,   474,   247,   346,   462,   347,     0,    63,   462,
  700.      0,   252,   477,   313,   479,   478,   319,     0,   193,   346,
  701.    347,     0,   194,   346,   462,   347,     0,   195,   346,   462,
  702.    348,   462,   347,     0,   196,   346,   462,   348,   462,   348,
  703.    462,   347,     0,   248,   346,   462,   347,     0,   248,   346,
  704.    462,   348,   462,   347,     0,   213,   346,   471,   347,     0,
  705.    215,   346,   471,   347,     0,   253,   346,   471,   347,     0,
  706.    254,   346,   462,   348,   471,   347,     0,   255,   461,     0,
  707.    256,   461,     0,   256,   346,   462,   347,     0,   258,   346,
  708.    462,   348,   282,   462,   496,   347,     0,   259,   346,   462,
  709.    348,   282,   462,   496,   347,     0,   257,   346,   347,     0,
  710.    266,   346,   462,   348,   471,   347,     0,   286,   346,   462,
  711.    348,   471,   347,     0,   268,   346,   462,   347,     0,   268,
  712.    346,   462,   348,   462,   347,     0,   264,   346,   462,   348,
  713.    189,   347,     0,   267,   346,   462,   348,   189,   347,     0,
  714.    269,   346,   462,   348,   462,   348,   462,   347,     0,   269,
  715.    346,   462,   348,   462,   348,   462,   348,   462,   347,     0,
  716.    269,   346,   462,   348,   462,   348,   462,   348,   462,   348,
  717.    462,   347,     0,   272,   346,   462,   348,   146,   347,     0,
  718.    274,   346,   462,   347,     0,   274,   346,   462,   348,   462,
  719.    347,     0,   271,   346,   462,   348,   471,   347,     0,   278,
  720.    346,   462,   347,     0,   280,   346,   462,   348,   462,   348,
  721.    462,   347,     0,    33,   346,   462,   348,   462,   348,   462,
  722.    348,   462,   347,     0,   282,   462,   496,   340,   462,     0,
  723.    282,   346,   462,   348,   471,   347,     0,   283,   346,   347,
  724.      0,   283,   346,   462,   347,     0,   284,   346,   462,   348,
  725.    462,   347,     0,   285,   346,   462,   348,   462,   347,     0,
  726.    285,   346,   462,   348,   462,   348,   462,   347,     0,    98,
  727.    346,   462,   348,   471,   347,     0,   118,   346,   462,   348,
  728.    471,   347,     0,   288,   346,   462,   347,     0,   290,   346,
  729.    462,   347,     0,   291,   461,     0,   291,   346,   462,   347,
  730.      0,   292,   346,   462,   347,     0,   293,   346,   464,   112,
  731.    462,   347,     0,   295,   346,   462,   347,     0,   295,   346,
  732.    347,     0,   296,   346,   462,   348,   462,   348,   462,   347,
  733.      0,   297,   346,   462,   348,   462,   347,     0,   298,   346,
  734.    462,   347,     0,   298,   346,   462,   348,   462,   347,     0,
  735.    299,   346,   462,   347,     0,   300,   346,   462,   348,   462,
  736.    348,   462,   347,     0,   300,   346,   462,   348,   462,   347,
  737.      0,   300,   346,   462,    93,   462,   273,   462,   347,     0,
  738.    300,   346,   462,    93,   462,   347,     0,   301,   346,   462,
  739.    348,   462,   348,   462,   347,     0,   302,   346,   462,   347,
  740.      0,   302,   346,   117,   482,    93,   462,   347,     0,   302,
  741.    346,   191,   482,    93,   462,   347,     0,   302,   346,    66,
  742.    482,    93,   462,   347,     0,   302,   346,   462,    93,   462,
  743.    347,     0,    43,   346,   462,   348,   462,   347,     0,   303,
  744.    346,   467,   347,     0,   304,   346,   467,   347,     0,   305,
  745.    346,   467,   347,     0,   306,   346,   467,   347,     0,   307,
  746.    346,   467,   347,     0,   308,   346,   467,   347,     0,   309,
  747.    346,   592,   348,   146,   348,   146,   348,   471,   347,     0,
  748.    310,   346,   347,     0,   310,   346,   462,   347,     0,   311,
  749.    346,   347,     0,   312,   346,   462,   347,     0,   312,   346,
  750.    462,   348,   462,   347,     0,   316,   346,   462,   347,     0,
  751.    317,   346,   462,   347,     0,   317,   346,   462,   348,   462,
  752.    347,     0,   318,   346,   512,   348,   462,   347,     0,   270,
  753.    346,   496,    93,   462,   347,     0,     0,   471,     0,    15,
  754.    346,   469,   347,     0,   250,   346,   469,   347,     0,   251,
  755.    346,   469,   347,     0,    16,   346,   341,   347,     0,    16,
  756.    346,   469,   347,     0,    16,   346,    81,   471,   347,     0,
  757.    275,   346,   592,   348,   146,   348,   146,   348,   469,   347,
  758.      0,    18,   346,   469,   347,     0,    17,   346,   469,   347,
  759.      0,    20,   346,   469,   347,     0,    19,   346,   469,   347,
  760.      0,     0,   470,   462,     0,     0,   472,   473,     0,   462,
  761.      0,   473,   348,   462,     0,     0,   475,   476,     0,   599,
  762.      0,   476,   348,   599,     0,     0,   462,     0,     0,   265,
  763.    462,     0,     0,   480,   481,     0,   462,   320,   462,     0,
  764.    481,   313,   462,   320,   462,     0,     0,   462,     0,   346,
  765.    483,   347,     0,   488,     0,   483,   487,   488,     0,   483,
  766.    184,   488,     0,   483,   109,   114,   488,   147,   462,     0,
  767.      0,   483,   109,   114,   488,   484,   204,   346,   495,   347,
  768.      0,   483,   284,   490,   114,   488,   147,   462,     0,     0,
  769.    483,   284,   490,   114,   488,   485,   204,   346,   495,   347,
  770.      0,   483,   141,   284,   490,   114,   488,     0,   483,   297,
  771.    490,   114,   488,   147,   462,     0,     0,   483,   297,   490,
  772.    114,   488,   486,   204,   346,   495,   347,     0,   483,   141,
  773.    297,   490,   114,   488,     0,   483,   141,   114,   488,     0,
  774.    348,     0,   114,     0,    30,   114,     0,     0,   489,   601,
  775.    498,   491,     0,   350,   602,   488,   284,   154,   114,   488,
  776.    147,   462,   351,     0,     0,   154,     0,     0,   203,   492,
  777.      0,   106,   492,     0,     0,   409,   493,   346,   494,   347,
  778.      0,   494,   348,   602,     0,   602,     0,   159,     0,   602,
  779.      0,   495,   348,   602,     0,   260,     0,   261,     0,   262,
  780.      0,   263,     0,   276,     0,   277,     0,   278,     0,   287,
  781.      0,   288,     0,   290,     0,   299,     0,   315,     0,   316,
  782.      0,     0,    56,     0,     4,     0,     0,   497,   602,     0,
  783.      0,   207,   462,     0,     0,     0,   100,   501,   462,     0,
  784.     85,   189,     0,     0,     0,    99,    67,   504,     0,   504,
  785.    348,   597,     0,   597,     0,     0,   506,     0,     0,   153,
  786.     67,   507,   508,     0,   508,   348,   598,   509,     0,   598,
  787.    509,     0,     0,    57,     0,    79,     0,     0,   224,   512,
  788.      0,   224,   512,   348,   512,     0,     0,   224,   513,     0,
  789.    146,     0,   169,     0,    91,     0,   146,     0,   124,     0,
  790.    169,     0,    91,     0,     0,     0,   294,   602,   515,   346,
  791.    516,   347,     0,     0,   517,     0,   517,   348,   518,     0,
  792.    518,     0,   457,   462,     0,     0,   111,   155,   189,   520,
  793.    585,   588,     0,   111,   156,   189,     0,    32,   186,   525,
  794.    523,   425,     0,     0,    32,   107,   602,   147,   601,   522,
  795.      0,    32,   257,   525,   602,     0,    32,   199,   602,     0,
  796.    524,     0,   523,   348,   524,     0,   601,     0,     0,   280,
  797.     86,     0,     0,    33,   527,   530,   424,   532,   534,     0,
  798.      0,   296,   529,   531,   532,   534,     0,     0,   126,     0,
  799.     77,     0,   103,     0,   550,     0,    77,     0,   111,   533,
  800.      0,   533,     0,   524,     0,   536,   538,     0,     0,   180,
  801.    535,   541,     0,     0,   346,   537,   347,     0,   346,   347,
  802.      0,   537,   348,   595,     0,   595,     0,   205,   540,     0,
  803.      0,    35,   539,   452,   455,   451,     0,   540,   348,   544,
  804.      0,   544,     0,   541,   348,   542,     0,   542,     0,   599,
  805.    543,   462,     0,     4,     0,    14,     0,     0,   346,   545,
  806.    546,   347,     0,     0,   547,     0,   547,   348,   462,     0,
  807.    462,     0,    47,   550,   424,   524,   180,   549,   499,   511,
  808.      0,   549,   348,   599,   543,   462,     0,   599,   543,   462,
  809.      0,     0,   126,     0,     0,    31,   552,   553,    93,   524,
  810.    499,   511,     0,     0,   554,   553,     0,   232,     0,   126,
  811.      0,    43,   556,   524,     0,     0,   186,     0,     0,    46,
  812.    558,   559,     0,    74,   561,     0,   185,   560,   561,     0,
  813.    186,   183,   560,   561,     0,   148,   185,   560,   561,     0,
  814.    562,    71,    93,   601,   560,   561,     0,    36,   123,     0,
  815.    410,    93,   601,   560,     0,   183,   561,     0,   562,   162,
  816.      0,   206,   561,     0,   123,     0,    97,   273,   604,     0,
  817.     29,   186,   601,     0,    36,   183,     0,    40,   183,     0,
  818.      0,    93,   602,     0,     0,   120,   593,     0,     0,    94,
  819.      0,     0,   565,   601,   564,   566,     0,   565,   448,     0,
  820.     79,     0,    80,     0,     0,   593,     0,   602,     0,     0,
  821.     34,   568,   569,     0,   569,   348,   570,     0,   570,     0,
  822.      0,   615,   571,   572,     0,   185,   208,   168,    50,     0,
  823.    104,     0,   160,     0,   123,     0,   183,     0,    40,     0,
  824.     36,     0,     0,   523,     0,     0,    38,   574,   575,     0,
  825.    575,   348,   576,     0,   576,     0,    40,     0,    36,     0,
  826.      0,    39,   578,    36,   123,   190,   189,     0,    48,   462,
  827.      0,   203,   602,     0,     0,    49,    75,   550,   583,   108,
  828.    189,   582,   584,   111,   186,   601,   585,   588,   591,   536,
  829.      0,    49,   186,   601,    93,    36,     0,     0,   122,     0,
  830.      0,   296,     0,   106,     0,     0,    71,   586,     0,   586,
  831.    587,     0,   587,     0,   188,    67,   593,     0,   150,    83,
  832.     67,   593,     0,    83,    67,   593,     0,    84,    67,   593,
  833.      0,     0,   121,   589,     0,   589,   590,     0,   590,     0,
  834.    188,    67,   593,     0,   182,    67,   593,     0,     0,   106,
  835.    146,   121,     0,   189,     0,   592,   189,     0,   189,     0,
  836.    102,     0,   592,     0,   146,     0,   124,     0,   169,     0,
  837.     91,     0,   145,     0,   102,     0,   217,   592,     0,   238,
  838.    592,     0,   237,   592,     0,   599,     0,   596,     0,   602,
  839.    353,   341,     0,   602,   353,   602,   353,   341,     0,   598,
  840.    509,     0,   462,     0,   602,     0,   602,   353,   602,     0,
  841.    353,   602,   353,   602,     0,   602,   353,   602,   353,   602,
  842.      0,   602,     0,   602,   353,   602,     0,   353,   602,     0,
  843.    602,     0,   602,   353,   602,     0,   353,   602,     0,   105,
  844.      0,   605,     0,   602,     0,   189,     0,   119,     0,   603,
  845.      0,   603,   352,   603,     0,    52,     0,    23,     0,   247,
  846.      0,    53,     0,    59,     0,    60,     0,    15,     0,    61,
  847.      0,    25,     0,    62,     0,    64,     0,    65,     0,   214,
  848.      0,    69,     0,    70,     0,    27,     0,    28,     0,   210,
  849.      0,    75,     0,   216,     0,   217,     0,   263,     0,    78,
  850.      0,   156,     0,    82,     0,   319,     0,   220,     0,    85,
  851.      0,    87,     0,   221,     0,    94,     0,    88,     0,    89,
  852.      0,    90,     0,    34,     0,    97,     0,   101,     0,   104,
  853.      0,   278,     0,   279,     0,   113,     0,   110,     0,   122,
  854.      0,   123,     0,   135,     0,    36,     0,   127,     0,   132,
  855.      0,   129,     0,   130,     0,   128,     0,   131,     0,   133,
  856.      0,   136,     0,   137,     0,   288,     0,   138,     0,   289,
  857.      0,   290,     0,   139,     0,   140,     0,   142,     0,   144,
  858.      0,   148,     0,   157,     0,   292,     0,   161,     0,   162,
  859.      0,   232,     0,   163,     0,   166,     0,   167,     0,   164,
  860.      0,   165,     0,   172,     0,    37,     0,    38,     0,   174,
  861.      0,    44,     0,   177,     0,   178,     0,   179,     0,   299,
  862.      0,   181,     0,    41,     0,   183,     0,    42,     0,   235,
  863.      0,   187,     0,   236,     0,    43,     0,   237,     0,   238,
  864.      0,   192,     0,   199,     0,   206,     0,   314,     0,   316,
  865.      0,    40,     0,     0,   180,   608,   607,   609,     0,     0,
  866.    149,     0,   610,     0,   609,   348,   610,     0,   612,   543,
  867.    146,     0,    59,   543,   146,     0,   323,   543,   512,     0,
  868.    323,   543,    76,     0,   324,   543,   512,     0,   324,   543,
  869.     76,     0,   237,   543,   512,     0,   237,   543,    76,     0,
  870.    283,   543,   513,     0,   281,   543,   513,     0,   213,   180,
  871.    105,     0,   213,   180,    76,     0,   292,   543,   611,     0,
  872.    292,   273,   604,   543,   611,     0,   352,   603,   543,   462,
  873.      0,   336,   543,   512,     0,   189,     0,   292,   346,   189,
  874.    347,     0,   321,     0,   322,     0,   326,     0,   327,     0,
  875.    325,     0,   332,     0,   328,     0,   333,     0,   334,     0,
  876.    331,     0,   335,     0,     0,    50,   615,   614,   616,     0,
  877.    186,     0,   185,     0,   617,     0,   616,   348,   617,     0,
  878.    601,   498,   618,     0,   168,     0,   209,     0,   126,   209,
  879.      0,   168,   122,     0,    51,   615,     0,     0,   176,   621,
  880.    624,   147,   631,    93,   632,     0,     0,    96,   623,   624,
  881.    147,   631,   190,   632,   637,     0,   625,     0,    54,   160,
  882.      0,    54,     0,   626,     0,   625,   348,   626,     0,     0,
  883.     35,   627,   634,     0,     0,    33,   628,   634,     0,     0,
  884.     47,   629,   634,     0,    31,     0,     0,   170,   630,   634,
  885.      0,   202,     0,   107,     0,    22,     0,    29,     0,    32,
  886.      0,   172,     0,   181,     0,   161,     0,    88,     0,    96,
  887.    149,     0,   341,     0,   602,   353,   341,     0,   341,   353,
  888.    341,     0,   601,     0,   633,     0,   632,   348,   633,     0,
  889.    604,   279,    67,   189,     0,   604,   279,    67,   292,   189,
  890.      0,   604,     0,     0,   346,   635,   347,     0,   635,   348,
  891.    636,     0,   636,     0,   602,     0,     0,   208,    96,   149,
  892.      0,     0,    25,   639,   640,     0,     0,   314,     0,    28,
  893.      0,    44,     0
  894. };
  895. #endif
  896. #if YYDEBUG != 0
  897. static const short yyrline[] = { 0,
  898.    525,   532,   534,   536,   537,   538,   539,   540,   541,   542,
  899.    543,   544,   545,   546,   547,   548,   549,   550,   551,   552,
  900.    553,   554,   555,   556,   557,   558,   559,   560,   561,   562,
  901.    563,   564,   565,   566,   567,   568,   572,   580,   580,   582,
  902.    585,   590,   595,   600,   605,   610,   615,   625,   644,   644,
  903.    654,   659,   665,   672,   678,   680,   682,   684,   688,   690,
  904.    692,   694,   696,   698,   700,   702,   705,   707,   709,   711,
  905.    713,   715,   717,   719,   720,   721,   722,   723,   724,   725,
  906.    726,   727,   728,   729,   730,   731,   732,   746,   748,   749,
  907.    750,   751,   752,   754,   756,   757,   758,   760,   762,   763,
  908.    765,   767,   769,   771,   773,   775,   776,   778,   780,   783,
  909.    785,   789,   794,   798,   803,   805,   807,   813,   823,   825,
  910.    826,   827,   829,   831,   833,   835,   838,   840,   843,   844,
  911.    845,   846,   847,   849,   850,   852,   854,   856,   858,   860,
  912.    861,   862,   863,   864,   865,   867,   869,   869,   874,   874,
  913.    880,   882,   883,   885,   887,   888,   889,   891,   893,   894,
  914.    895,   896,   898,   901,   902,   905,   907,   908,   910,   912,
  915.    914,   916,   918,   920,   922,   924,   926,   928,   930,   932,
  916.    934,   936,   938,   940,   941,   942,   943,   944,   945,   947,
  917.    949,   951,   953,   958,   960,   962,   964,   967,   969,   970,
  918.    971,   973,   975,   976,   977,   978,   980,   982,   983,   984,
  919.    985,   986,   988,   990,   992,   994,   996,   998,   999,  1001,
  920.   1003,  1005,  1007,  1009,  1011,  1013,  1015,  1021,  1044,  1044,
  921.   1045,  1046,  1048,  1051,  1053,  1054,  1055,  1055,  1060,  1069,
  922.   1072,  1073,  1074,  1077,  1079,  1081,  1083,  1084,  1086,  1088,
  923.   1090,  1092,  1094,  1096,  1097,  1099,  1101,  1102,  1104,  1106,
  924.   1107,  1109,  1115,  1122,  1127,  1131,  1136,  1142,  1148,  1151,
  925.   1153,  1154,  1156,  1158,  1160,  1162,  1163,  1164,  1165,  1167,
  926.   1173,  1175,  1181,  1183,  1189,  1191,  1198,  1198,  1200,  1202,
  927.   1214,  1221,  1223,  1225,  1226,  1227,  1229,  1233,  1235,  1237,
  928.   1239,  1241,  1243,  1244,  1245,  1246,  1247,  1248,  1250,  1252,
  929.   1253,  1260,  1271,  1274,  1277,  1279,  1281,  1283,  1284,  1285,
  930.   1286,  1288,  1290,  1293,  1294,  1297,  1300,  1302,  1304,  1306,
  931.   1307,  1308,  1309,  1310,  1311,  1312,  1313,  1314,  1315,  1316,
  932.   1317,  1318,  1319,  1320,  1321,  1322,  1323,  1324,  1325,  1326,
  933.   1327,  1328,  1329,  1330,  1331,  1333,  1337,  1340,  1342,  1343,
  934.   1344,  1345,  1346,  1347,  1348,  1349,  1350,  1351,  1352,  1353,
  935.   1354,  1355,  1356,  1357,  1358,  1359,  1360,  1361,  1362,  1363,
  936.   1364,  1365,  1366,  1367,  1369,  1371,  1374,  1377,  1379,  1381,
  937.   1383,  1384,  1385,  1386,  1387,  1388,  1389,  1390,  1391,  1392,
  938.   1393,  1394,  1395,  1396,  1397,  1398,  1399,  1400,  1401,  1402,
  939.   1403,  1404,  1405,  1406,  1407,  1409,  1411,  1413,  1415,  1416,
  940.   1417,  1418,  1419,  1420,  1421,  1422,  1423,  1424,  1425,  1426,
  941.   1429,  1432,  1433,  1435,  1437,  1439,  1441,  1443,  1445,  1447,
  942.   1449,  1451,  1453,  1455,  1457,  1459,  1461,  1463,  1465,  1467,
  943.   1469,  1471,  1472,  1473,  1475,  1477,  1479,  1481,  1483,  1485,
  944.   1487,  1491,  1493,  1495,  1497,  1499,  1502,  1504,  1509,  1513,
  945.   1515,  1517,  1519,  1521,  1523,  1525,  1527,  1529,  1531,  1532,
  946.   1534,  1535,  1536,  1538,  1540,  1542,  1543,  1545,  1547,  1549,
  947.   1551,  1553,  1555,  1557,  1559,  1561,  1563,  1565,  1567,  1574,
  948.   1581,  1588,  1595,  1602,  1609,  1611,  1613,  1615,  1617,  1619,
  949.   1621,  1623,  1625,  1627,  1629,  1632,  1634,  1636,  1639,  1641,
  950.   1643,  1645,  1647,  1649,  1651,  1653,  1655,  1657,  1660,  1663,
  951.   1668,  1671,  1673,  1675,  1677,  1680,  1682,  1684,  1686,  1688,
  952.   1690,  1692,  1694,  1697,  1699,  1705,  1711,  1713,  1715,  1717,
  953.   1718,  1719,  1720,  1722,  1725,  1727,  1729,  1732,  1734,  1736,
  954.   1738,  1741,  1743,  1745,  1748,  1750,  1751,  1753,  1755,  1758,
  955.   1761,  1763,  1765,  1767,  1769,  1772,  1773,  1776,  1779,  1781,
  956.   1784,  1789,  1795,  1797,  1798,  1799,  1800,  1801,  1802,  1803,
  957.   1804,  1805,  1806,  1807,  1808,  1810,  1812,  1813,  1815,  1817,
  958.   1821,  1823,  1825,  1827,  1828,  1830,  1832,  1839,  1841,  1843,
  959.   1846,  1853,  1855,  1857,  1860,  1860,  1863,  1866,  1868,  1869,
  960.   1872,  1878,  1880,  1883,  1888,  1891,  1893,  1894,  1896,  1898,
  961.   1899,  1900,  1902,  1904,  1913,  1916,  1918,  1920,  1922,  1924,
  962.   1933,  1939,  1940,  1951,  1957,  1958,  1966,  1972,  1979,  1981,
  963.   1983,  1987,  1989,  1995,  1996,  1998,  1999,  2001,  2003,  2004,
  964.   2005,  2007,  2009,  2011,  2013,  2015,  2023,  2025,  2033,  2033,
  965.   2035,  2036,  2038,  2040,  2042,  2044,  2051,  2053,  2055,  2057,
  966.   2059,  2062,  2070,  2071,  2073,  2079,  2085,  2087,  2089,  2095,
  967.   2103,  2107,  2113,  2119,  2121,  2125,  2129,  2133,  2135,  2137,
  968.   2139,  2141,  2146,  2148,  2152,  2154,  2154,  2157,  2159,  2164,
  969.   2169,  2177,  2181,  2189,  2191,  2193,  2195,  2197,  2200,  2206,
  970.   2210,  2215,  2217,  2219,  2221,  2223,  2225,  2228,  2238,  2238,
  971.   2241,  2243,  2245,  2247,  2248,  2253,  2256,  2256,  2258,  2260,
  972.   2262,  2262,  2263,  2264,  2265,  2266,  2267,  2268,  2270,  2272,
  973.   2274,  2277,  2277,  2279,  2281,  2283,  2285,  2287,  2294,  2308,
  974.   2313,  2321,  2327,  2336,  2338,  2340,  2342,  2343,  2345,  2347,
  975.   2349,  2351,  2353,  2355,  2357,  2358,  2360,  2362,  2364,  2366,
  976.   2368,  2370,  2372,  2374,  2379,  2381,  2384,  2386,  2392,  2394,
  977.   2395,  2396,  2397,  2398,  2400,  2401,  2402,  2403,  2409,  2411,
  978.   2413,  2415,  2418,  2421,  2424,  2427,  2429,  2431,  2435,  2437,
  979.   2438,  2440,  2442,  2443,  2445,  2447,  2455,  2457,  2458,  2460,
  980.   2467,  2476,  2478,  2479,  2480,  2481,  2482,  2483,  2484,  2485,
  981.   2486,  2487,  2488,  2489,  2490,  2491,  2492,  2493,  2494,  2495,
  982.   2496,  2497,  2498,  2499,  2500,  2501,  2502,  2503,  2504,  2505,
  983.   2506,  2507,  2508,  2509,  2510,  2511,  2512,  2513,  2514,  2515,
  984.   2516,  2517,  2518,  2519,  2520,  2521,  2522,  2523,  2524,  2525,
  985.   2526,  2527,  2528,  2529,  2530,  2531,  2532,  2533,  2534,  2535,
  986.   2536,  2537,  2538,  2539,  2540,  2541,  2542,  2543,  2544,  2545,
  987.   2546,  2547,  2548,  2549,  2550,  2551,  2552,  2553,  2554,  2555,
  988.   2556,  2557,  2558,  2559,  2560,  2561,  2562,  2563,  2564,  2565,
  989.   2566,  2567,  2568,  2569,  2570,  2571,  2572,  2573,  2574,  2575,
  990.   2579,  2588,  2588,  2590,  2592,  2594,  2596,  2604,  2611,  2615,
  991.   2619,  2624,  2628,  2632,  2636,  2640,  2644,  2654,  2658,  2664,
  992.   2671,  2680,  2690,  2692,  2704,  2706,  2707,  2708,  2714,  2720,
  993.   2721,  2722,  2723,  2724,  2725,  2729,  2736,  2736,  2738,  2740,
  994.   2742,  2744,  2748,  2750,  2751,  2752,  2754,  2760,  2769,  2771,
  995.   2780,  2783,  2785,  2786,  2788,  2790,  2792,  2796,  2796,  2799,
  996.   2799,  2802,  2802,  2803,  2804,  2804,  2805,  2806,  2807,  2808,
  997.   2809,  2810,  2811,  2812,  2813,  2815,  2827,  2838,  2849,  2858,
  998.   2860,  2863,  2878,  2880,  2884,  2886,  2888,  2890,  2892,  2910,
  999.   2912,  2914,  2917,  2917,  2919,  2921,  2924
  1000. };
  1001. #endif
  1002. #if YYDEBUG != 0 || defined (YYERROR_VERBOSE)
  1003. static const char * const yytname[] = {   "$","error","$undefined.","END_OF_INPUT",
  1004. "EQ","EQUAL_SYM","GE","GT_SYM","LE","LT","NE","IS","SHIFT_LEFT","SHIFT_RIGHT",
  1005. "SET_VAR","AVG_SYM","COUNT_SYM","MAX_SYM","MIN_SYM","SUM_SYM","STD_SYM","ADD",
  1006. "ALTER","AFTER_SYM","ANALYZE_SYM","BEGIN_SYM","CHANGE","COMMENT_SYM","COMMIT_SYM",
  1007. "CREATE","CROSS","DELETE_SYM","DROP","INSERT","FLUSH_SYM","SELECT_SYM","MASTER_SYM",
  1008. "REPAIR","RESET_SYM","PURGE","SLAVE","START_SYM","STOP_SYM","TRUNCATE_SYM","ROLLBACK_SYM",
  1009. "OPTIMIZE","SHOW","UPDATE_SYM","KILL_SYM","LOAD","LOCK_SYM","UNLOCK_SYM","ACTION",
  1010. "AGGREGATE_SYM","ALL","AND","AS","ASC","AUTO_INC","AUTOCOMMIT","AVG_ROW_LENGTH",
  1011. "BACKUP_SYM","BERKELEY_DB_SYM","BINARY","BIT_SYM","BOOL_SYM","BOTH","BY","CASCADE",
  1012. "CHECKSUM_SYM","CHECK_SYM","COLUMNS","COLUMN_SYM","CONSTRAINT","DATABASES","DATA_SYM",
  1013. "DEFAULT","DELAYED_SYM","DELAY_KEY_WRITE_SYM","DESC","DESCRIBE","DISTINCT","DYNAMIC_SYM",
  1014. "ENCLOSED","ESCAPED","ESCAPE_SYM","EXISTS","EXTENDED_SYM","FILE_SYM","FIRST_SYM",
  1015. "FIXED_SYM","FLOAT_NUM","FOREIGN","FROM","FULL","FULLTEXT_SYM","GRANT","GRANTS",
  1016. "GREATEST_SYM","GROUP","HAVING","HEAP_SYM","HEX_NUM","HIGH_PRIORITY","HOSTS_SYM",
  1017. "IDENT","IGNORE_SYM","INDEX","INFILE","INNER_SYM","INNOBASE_SYM","INTO","IN_SYM",
  1018. "ISAM_SYM","JOIN_SYM","KEYS","KEY_SYM","LEADING","LEAST_SYM","LEX_HOSTNAME",
  1019. "LIKE","LINES","LOCAL_SYM","LOGS_SYM","LONG_NUM","LONG_SYM","LOW_PRIORITY","MASTER_HOST_SYM",
  1020. "MASTER_USER_SYM","MASTER_LOG_FILE_SYM","MASTER_LOG_POS_SYM","MASTER_PASSWORD_SYM",
  1021. "MASTER_PORT_SYM","MASTER_CONNECT_RETRY_SYM","MATCH","MAX_ROWS","MEDIUM_SYM",
  1022. "MERGE_SYM","MIN_ROWS","MYISAM_SYM","NATIONAL_SYM","NATURAL","NCHAR_SYM","NOT",
  1023. "NO_SYM","NULL_SYM","NUM","ON","OPEN_SYM","OPTION","OPTIONALLY","OR","OR_OR_CONCAT",
  1024. "ORDER_SYM","OUTER","OUTFILE","DUMPFILE","PACK_KEYS_SYM","PARTIAL","PRIMARY_SYM",
  1025. "PRIVILEGES","PROCESS","PROCESSLIST_SYM","RAID_0_SYM","RAID_STRIPED_SYM","RAID_TYPE",
  1026. "RAID_CHUNKS","RAID_CHUNKSIZE","READ_SYM","REAL_NUM","REFERENCES","REGEXP","RELOAD",
  1027. "RENAME","RESTORE_SYM","RESTRICT","REVOKE","ROWS_SYM","ROW_FORMAT_SYM","ROW_SYM",
  1028. "SET","SHUTDOWN","STARTING","STATUS_SYM","STRAIGHT_JOIN","TABLES","TABLE_SYM",
  1029. "TEMPORARY","TERMINATED","TEXT_STRING","TO_SYM","TRAILING","TYPE_SYM","FUNC_ARG0",
  1030. "FUNC_ARG1","FUNC_ARG2","FUNC_ARG3","UDF_RETURNS_SYM","UDF_SONAME_SYM","UDF_SYM",
  1031. "UNION_SYM","UNIQUE_SYM","USAGE","USE_SYM","USING","VALUES","VARIABLES","WHERE",
  1032. "WITH","WRITE_SYM","COMPRESSED_SYM","BIGINT","BLOB_SYM","CHAR_SYM","CHANGED",
  1033. "COALESCE","DATETIME","DATE_SYM","DECIMAL_SYM","DOUBLE_SYM","ENUM","FAST_SYM",
  1034. "FLOAT_SYM","INT_SYM","LIMIT","LONGBLOB","LONGTEXT","MEDIUMBLOB","MEDIUMINT",
  1035. "MEDIUMTEXT","NUMERIC_SYM","PRECISION","QUICK","REAL","SMALLINT","STRING_SYM",
  1036. "TEXT_SYM","TIMESTAMP","TIME_SYM","TINYBLOB","TINYINT","TINYTEXT","UNSIGNED",
  1037. "VARBINARY","VARCHAR","VARYING","ZEROFILL","AGAINST","ATAN","BETWEEN_SYM","BIT_AND",
  1038. "BIT_OR","CASE_SYM","CONCAT","CONCAT_WS","CURDATE","CURTIME","DATABASE","DATE_ADD_INTERVAL",
  1039. "DATE_SUB_INTERVAL","DAY_HOUR_SYM","DAY_MINUTE_SYM","DAY_SECOND_SYM","DAY_SYM",
  1040. "DECODE_SYM","ELSE","ELT_FUNC","ENCODE_SYM","ENCRYPT","EXPORT_SET","EXTRACT_SYM",
  1041. "FIELD_FUNC","FORMAT_SYM","FOR_SYM","FROM_UNIXTIME","GROUP_UNIQUE_USERS","HOUR_MINUTE_SYM",
  1042. "HOUR_SECOND_SYM","HOUR_SYM","IDENTIFIED_SYM","IF","INSERT_ID","INTERVAL_SYM",
  1043. "LAST_INSERT_ID","LEFT","LOCATE","MAKE_SET_SYM","MINUTE_SECOND_SYM","MINUTE_SYM",
  1044. "MODIFY_SYM","MONTH_SYM","NOW_SYM","PASSWORD","POSITION_SYM","PROCEDURE","RAND",
  1045. "REPLACE","RIGHT","ROUND","SECOND_SYM","SUBSTRING","SUBSTRING_INDEX","TRIM",
  1046. "UDA_CHAR_SUM","UDA_FLOAT_SUM","UDA_INT_SUM","UDF_CHAR_FUNC","UDF_FLOAT_FUNC",
  1047. "UDF_INT_FUNC","UNIQUE_USERS","UNIX_TIMESTAMP","USER","WEEK_SYM","WHEN_SYM",
  1048. "WORK_SYM","YEAR_MONTH_SYM","YEAR_SYM","YEARWEEK","BENCHMARK_SYM","END","THEN_SYM",
  1049. "SQL_BIG_TABLES","SQL_BIG_SELECTS","SQL_SELECT_LIMIT","SQL_MAX_JOIN_SIZE","SQL_LOG_BIN",
  1050. "SQL_LOG_OFF","SQL_LOG_UPDATE","SQL_LOW_PRIORITY_UPDATES","SQL_SMALL_RESULT",
  1051. "SQL_BIG_RESULT","SQL_BUFFER_RESULT","SQL_WARNINGS","SQL_AUTO_IS_NULL","SQL_SAFE_UPDATES",
  1052. "SQL_QUOTE_SHOW_CREATE","SQL_SLAVE_SKIP_COUNTER","'|'","'&'","'-'","'+'","'*'",
  1053. "'/'","'%'","NEG","'~'","'('","')'","','","'!'","'{'","'}'","'@'","'.'","query",
  1054. "verb_clause","change","@1","master_defs","master_def","create","@2","@3","@4",
  1055. "create2","create3","@5","opt_as","opt_table_options","table_options","table_option",
  1056. "opt_if_not_exists","opt_create_table_options","create_table_options","create_table_option",
  1057. "table_types","row_types","raid_types","opt_select_from","udf_func_type","udf_type",
  1058. "field_list","field_list_item","opt_constraint","field_spec","@6","type","@7",
  1059. "@8","char","varchar","int_type","real_type","float_options","field_options",
  1060. "field_opt_list","field_option","opt_len","opt_precision","opt_attribute","opt_attribute_list",
  1061. "attribute","opt_binary","references","opt_on_delete","opt_on_delete_list","opt_on_delete_item",
  1062. "delete_option","key_type","key_or_index","keys_or_index","opt_unique_or_fulltext",
  1063. "key_list","key_part","opt_ident","string_list","alter","@9","alter_list","add_column",
  1064. "alter_list_item","@10","@11","opt_column","opt_ignore","opt_restrict","opt_place",
  1065. "opt_to","slave","restore","@12","backup","@13","repair","@14","opt_mi_check_type",
  1066. "mi_check_types","mi_check_type","analyze","@15","check","@16","optimize","@17",
  1067. "rename","@18","table_to_table_list","table_to_table","select","@19","select_into",
  1068. "select_from","select_options","select_option_list","select_option","select_item_list",
  1069. "select_item","remember_name","remember_end","select_item2","select_alias","optional_braces",
  1070. "expr","expr_expr","no_in_expr","no_and_expr","simple_expr","udf_expr_list",
  1071. "sum_expr","in_sum_expr","@20","expr_list","@21","expr_list2","ident_list","@22",
  1072. "ident_list2","opt_expr","opt_else","when_list","@23","when_list2","opt_pad",
  1073. "join_table_list","@24","@25","@26","normal_join","join_table","@27","opt_outer",
  1074. "opt_key_definition","key_usage_list","@28","key_usage_list2","using_list","interval",
  1075. "table_alias","opt_table_alias","where_clause","having_clause","@29","opt_escape",
  1076. "group_clause","group_list","opt_order_clause","order_clause","@30","order_list",
  1077. "order_dir","limit_clause","delete_limit_clause","ULONG_NUM","ULONGLONG_NUM",
  1078. "procedure_clause","@31","procedure_list","procedure_list2","procedure_item",
  1079. "opt_into","@32","drop","@33","table_list","table","if_exists","insert","@34",
  1080. "replace","@35","insert_lock_option","replace_lock_option","insert2","insert_table",
  1081. "insert_field_spec","@36","opt_field_spec","fields","insert_values","@37","values_list",
  1082. "ident_eq_list","ident_eq_value","equal","no_braces","@38","opt_values","values",
  1083. "update","update_list","opt_low_priority","delete","@39","opt_delete_options",
  1084. "opt_delete_option","truncate","opt_table_sym","show","@40","show_param","opt_db",
  1085. "wild","opt_full","describe","@41","describe_command","opt_describe_column",
  1086. "flush","@42","flush_options","flush_option","@43","opt_table_list","reset",
  1087. "@44","reset_options","reset_option","purge","@45","kill","use","load","@46",
  1088. "opt_local","opt_duplicate","opt_field_term","field_term_list","field_term",
  1089. "opt_line_term","line_term_list","line_term","opt_ignore_lines","text_literal",
  1090. "text_string","literal","insert_ident","table_wild","group_ident","order_ident",
  1091. "simple_ident","field_ident","table_ident","ident","ident_or_text","user","keyword",
  1092. "set","@47","opt_option","option_value_list","option_value","text_or_password",
  1093. "set_option","lock","@48","table_or_tables","table_lock_list","table_lock","lock_option",
  1094. "unlock","revoke","@49","grant","@50","grant_privileges","grant_privilege_list",
  1095. "grant_privilege","@51","@52","@53","@54","opt_table","user_list","grant_user",
  1096. "opt_column_list","column_list","column_list_id","grant_option","begin","@55",
  1097. "opt_work","commit","rollback", NULL
  1098. };
  1099. #endif
  1100. static const short yyr1[] = {     0,
  1101.    354,   354,   355,   355,   355,   355,   355,   355,   355,   355,
  1102.    355,   355,   355,   355,   355,   355,   355,   355,   355,   355,
  1103.    355,   355,   355,   355,   355,   355,   355,   355,   355,   355,
  1104.    355,   355,   355,   355,   355,   355,   357,   356,   358,   358,
  1105.    359,   359,   359,   359,   359,   359,   359,   361,   360,   362,
  1106.    360,   360,   363,   360,   364,   364,   365,   366,   365,   367,
  1107.    367,   368,   368,   369,   369,   370,   371,   371,   372,   372,
  1108.    373,   373,   374,   374,   374,   374,   374,   374,   374,   374,
  1109.    374,   374,   374,   374,   374,   374,   374,   375,   375,   375,
  1110.    375,   375,   375,   376,   376,   376,   376,   377,   377,   377,
  1111.    378,   378,   379,   379,   380,   380,   380,   381,   381,   382,
  1112.    382,   382,   382,   382,   383,   383,   385,   384,   386,   386,
  1113.    386,   386,   386,   386,   386,   386,   386,   386,   386,   386,
  1114.    386,   386,   386,   386,   386,   386,   386,   386,   386,   386,
  1115.    386,   386,   386,   386,   386,   386,   387,   386,   388,   386,
  1116.    389,   389,   389,   390,   390,   390,   390,   391,   391,   391,
  1117.    391,   391,   392,   392,   392,   393,   393,   393,   394,   394,
  1118.    395,   395,   396,   396,   397,   397,   398,   398,   399,   399,
  1119.    400,   400,   401,   401,   401,   401,   401,   401,   401,   402,
  1120.    402,   403,   403,   404,   404,   405,   405,   406,   406,   406,
  1121.    406,   407,   407,   407,   407,   407,   408,   408,   408,   408,
  1122.    408,   408,   409,   409,   410,   410,   411,   411,   411,   412,
  1123.    412,   413,   413,   414,   414,   415,   415,   417,   416,   418,
  1124.    418,   418,   419,   420,   420,   421,   420,   422,   420,   420,
  1125.    420,   420,   420,   420,   420,   420,   420,   420,   423,   423,
  1126.    424,   424,   425,   425,   425,   426,   426,   426,   427,   427,
  1127.    427,   428,   428,   430,   429,   432,   431,   434,   433,   435,
  1128.    435,   435,   436,   436,   437,   437,   437,   437,   437,   439,
  1129.    438,   441,   440,   443,   442,   445,   444,   446,   446,   447,
  1130.    449,   448,   450,   450,   450,   450,   451,   452,   452,   453,
  1131.    453,   454,   454,   454,   454,   454,   454,   454,   455,   455,
  1132.    455,   456,   457,   458,   459,   459,   460,   460,   460,   460,
  1133.    460,   461,   461,   462,   462,   463,   463,   463,   463,   463,
  1134.    463,   463,   463,   463,   463,   463,   463,   463,   463,   463,
  1135.    463,   463,   463,   463,   463,   463,   463,   463,   463,   463,
  1136.    463,   463,   463,   463,   463,   463,   464,   464,   464,   464,
  1137.    464,   464,   464,   464,   464,   464,   464,   464,   464,   464,
  1138.    464,   464,   464,   464,   464,   464,   464,   464,   464,   464,
  1139.    464,   464,   464,   464,   464,   464,   465,   465,   465,   465,
  1140.    465,   465,   465,   465,   465,   465,   465,   465,   465,   465,
  1141.    465,   465,   465,   465,   465,   465,   465,   465,   465,   465,
  1142.    465,   465,   465,   465,   465,   465,   465,   466,   466,   466,
  1143.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1144.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1145.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1146.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1147.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1148.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1149.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1150.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1151.    466,   466,   466,   466,   466,   466,   466,   466,   466,   466,
  1152.    466,   466,   466,   466,   466,   467,   467,   468,   468,   468,
  1153.    468,   468,   468,   468,   468,   468,   468,   468,   470,   469,
  1154.    472,   471,   473,   473,   475,   474,   476,   476,   477,   477,
  1155.    478,   478,   480,   479,   481,   481,   482,   482,   483,   483,
  1156.    483,   483,   483,   484,   483,   483,   485,   483,   483,   483,
  1157.    486,   483,   483,   483,   487,   487,   487,   489,   488,   488,
  1158.    490,   490,   491,   491,   491,   493,   492,   494,   494,   494,
  1159.    495,   495,   496,   496,   496,   496,   496,   496,   496,   496,
  1160.    496,   496,   496,   496,   496,   497,   497,   497,   498,   498,
  1161.    499,   499,   500,   501,   500,   502,   502,   503,   503,   504,
  1162.    504,   505,   505,   507,   506,   508,   508,   509,   509,   509,
  1163.    510,   510,   510,   511,   511,   512,   512,   512,   513,   513,
  1164.    513,   513,   514,   515,   514,   516,   516,   517,   517,   518,
  1165.    520,   519,   519,   521,   522,   521,   521,   521,   523,   523,
  1166.    524,   525,   525,   527,   526,   529,   528,   530,   530,   530,
  1167.    530,   531,   531,   532,   532,   533,   534,   535,   534,   536,
  1168.    536,   536,   537,   537,   538,   539,   538,   540,   540,   541,
  1169.    541,   542,   543,   543,   545,   544,   546,   546,   547,   547,
  1170.    548,   549,   549,   550,   550,   552,   551,   553,   553,   554,
  1171.    554,   555,   556,   556,   558,   557,   559,   559,   559,   559,
  1172.    559,   559,   559,   559,   559,   559,   559,   559,   559,   559,
  1173.    559,   560,   560,   561,   561,   562,   562,   564,   563,   563,
  1174.    565,   565,   566,   566,   566,   568,   567,   569,   569,   571,
  1175.    570,   570,   570,   570,   570,   570,   570,   570,   572,   572,
  1176.    574,   573,   575,   575,   576,   576,   578,   577,   579,   580,
  1177.    582,   581,   581,   583,   583,   584,   584,   584,   585,   585,
  1178.    586,   586,   587,   587,   587,   587,   588,   588,   589,   589,
  1179.    590,   590,   591,   591,   592,   592,   593,   593,   594,   594,
  1180.    594,   594,   594,   594,   594,   594,   594,   594,   595,   595,
  1181.    596,   596,   597,   598,   599,   599,   599,   599,   600,   600,
  1182.    600,   601,   601,   601,   602,   602,   603,   603,   603,   604,
  1183.    604,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1184.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1185.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1186.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1187.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1188.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1189.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1190.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1191.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1192.    605,   605,   605,   605,   605,   605,   605,   605,   605,   605,
  1193.    607,   606,   608,   608,   609,   609,   610,   610,   610,   610,
  1194.    610,   610,   610,   610,   610,   610,   610,   610,   610,   610,
  1195.    610,   610,   611,   611,   612,   612,   612,   612,   612,   612,
  1196.    612,   612,   612,   612,   612,   614,   613,   615,   615,   616,
  1197.    616,   617,   618,   618,   618,   618,   619,   621,   620,   623,
  1198.    622,   624,   624,   624,   625,   625,   627,   626,   628,   626,
  1199.    629,   626,   626,   630,   626,   626,   626,   626,   626,   626,
  1200.    626,   626,   626,   626,   626,   631,   631,   631,   631,   632,
  1201.    632,   633,   633,   633,   634,   634,   635,   635,   636,   637,
  1202.    637,   639,   638,   640,   640,   641,   642
  1203. };
  1204. static const short yyr2[] = {     0,
  1205.      1,     2,     1,     1,     1,     1,     1,     1,     1,     1,
  1206.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1207.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1208.      1,     1,     1,     1,     1,     1,     0,     5,     1,     3,
  1209.      3,     3,     3,     3,     3,     3,     3,     0,     7,     0,
  1210.     10,     4,     0,     9,     5,     2,     0,     0,     7,     0,
  1211.      1,     0,     1,     1,     2,     1,     0,     3,     0,     1,
  1212.      1,     2,     3,     3,     3,     3,     3,     3,     3,     3,
  1213.      3,     3,     3,     3,     3,     3,     5,     1,     1,     1,
  1214.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1215.      0,     1,     0,     1,     1,     1,     1,     1,     3,     1,
  1216.      2,     5,     8,     5,     0,     2,     0,     4,     3,     3,
  1217.      3,     2,     1,     5,     2,     4,     5,     4,     3,     1,
  1218.      1,     1,     4,     1,     1,     1,     1,     1,     2,     2,
  1219.      1,     1,     1,     1,     3,     3,     0,     5,     0,     5,
  1220.      1,     1,     2,     2,     1,     2,     2,     1,     1,     1,
  1221.      1,     1,     1,     1,     2,     0,     3,     5,     0,     1,
  1222.      2,     1,     1,     1,     0,     3,     0,     5,     0,     1,
  1223.      2,     1,     1,     2,     2,     1,     2,     1,     2,     0,
  1224.      1,     3,     6,     0,     1,     2,     1,     3,     3,     2,
  1225.      2,     1,     1,     2,     2,     2,     3,     1,     1,     2,
  1226.      2,     3,     1,     1,     1,     1,     0,     1,     1,     4,
  1227.      2,     1,     4,     0,     1,     1,     3,     0,     6,     0,
  1228.      1,     3,     2,     3,     4,     0,     5,     0,     6,     4,
  1229.      3,     4,     3,     6,     5,     4,     1,     1,     0,     1,
  1230.      0,     1,     0,     1,     1,     0,     2,     1,     0,     1,
  1231.      1,     2,     2,     0,     6,     0,     6,     0,     5,     0,
  1232.      3,     1,     1,     2,     1,     1,     1,     1,     1,     0,
  1233.      5,     0,     5,     0,     5,     0,     4,     1,     3,     3,
  1234.      0,     5,     0,     1,     2,     2,     8,     0,     1,     2,
  1235.      1,     1,     1,     1,     1,     1,     1,     1,     3,     1,
  1236.      1,     4,     0,     0,     1,     1,     0,     2,     2,     1,
  1237.      1,     0,     2,     1,     1,     5,     6,     5,     6,     3,
  1238.      3,     3,     4,     5,     3,     4,     3,     4,     3,     3,
  1239.      3,     3,     3,     3,     3,     3,     3,     3,     3,     3,
  1240.      3,     3,     3,     3,     5,     5,     5,     6,     3,     3,
  1241.      3,     4,     5,     3,     4,     3,     4,     3,     3,     3,
  1242.      3,     3,     3,     3,     3,     3,     3,     3,     3,     3,
  1243.      3,     3,     3,     5,     5,     1,     5,     6,     5,     6,
  1244.      3,     3,     4,     5,     3,     4,     3,     4,     3,     3,
  1245.      3,     3,     3,     3,     3,     3,     3,     3,     3,     3,
  1246.      3,     3,     3,     3,     5,     5,     1,     1,     1,     4,
  1247.      2,     3,     1,     2,     2,     2,     2,     3,     4,     8,
  1248.      6,     2,     6,     3,     4,     6,     8,     4,     6,     4,
  1249.      4,     4,     6,     2,     2,     4,     8,     8,     3,     6,
  1250.      6,     4,     6,     6,     6,     8,    10,    12,     6,     4,
  1251.      6,     6,     4,     8,    10,     5,     6,     3,     4,     6,
  1252.      6,     8,     6,     6,     4,     4,     2,     4,     4,     6,
  1253.      4,     3,     8,     6,     4,     6,     4,     8,     6,     8,
  1254.      6,     8,     4,     7,     7,     7,     6,     6,     4,     4,
  1255.      4,     4,     4,     4,    10,     3,     4,     3,     4,     6,
  1256.      4,     4,     6,     6,     6,     0,     1,     4,     4,     4,
  1257.      4,     4,     5,    10,     4,     4,     4,     4,     0,     2,
  1258.      0,     2,     1,     3,     0,     2,     1,     3,     0,     1,
  1259.      0,     2,     0,     2,     3,     5,     0,     1,     3,     1,
  1260.      3,     3,     6,     0,     9,     7,     0,    10,     6,     7,
  1261.      0,    10,     6,     4,     1,     1,     2,     0,     4,    10,
  1262.      0,     1,     0,     2,     2,     0,     5,     3,     1,     1,
  1263.      1,     3,     1,     1,     1,     1,     1,     1,     1,     1,
  1264.      1,     1,     1,     1,     1,     0,     1,     1,     0,     2,
  1265.      0,     2,     0,     0,     3,     2,     0,     0,     3,     3,
  1266.      1,     0,     1,     0,     4,     4,     2,     0,     1,     1,
  1267.      0,     2,     4,     0,     2,     1,     1,     1,     1,     1,
  1268.      1,     1,     0,     0,     6,     0,     1,     3,     1,     2,
  1269.      0,     6,     3,     5,     0,     6,     4,     3,     1,     3,
  1270.      1,     0,     2,     0,     6,     0,     5,     0,     1,     1,
  1271.      1,     1,     1,     2,     1,     1,     2,     0,     3,     0,
  1272.      3,     2,     3,     1,     2,     0,     5,     3,     1,     3,
  1273.      1,     3,     1,     1,     0,     4,     0,     1,     3,     1,
  1274.      8,     5,     3,     0,     1,     0,     7,     0,     2,     1,
  1275.      1,     3,     0,     1,     0,     3,     2,     3,     4,     4,
  1276.      6,     2,     4,     2,     2,     2,     1,     3,     3,     2,
  1277.      2,     0,     2,     0,     2,     0,     1,     0,     4,     2,
  1278.      1,     1,     0,     1,     1,     0,     3,     3,     1,     0,
  1279.      3,     4,     1,     1,     1,     1,     1,     1,     0,     1,
  1280.      0,     3,     3,     1,     1,     1,     0,     6,     2,     2,
  1281.      0,    15,     5,     0,     1,     0,     1,     1,     0,     2,
  1282.      2,     1,     3,     4,     3,     3,     0,     2,     2,     1,
  1283.      3,     3,     0,     3,     1,     2,     1,     1,     1,     1,
  1284.      1,     1,     1,     1,     1,     2,     2,     2,     1,     1,
  1285.      3,     5,     2,     1,     1,     3,     4,     5,     1,     3,
  1286.      2,     1,     3,     2,     1,     1,     1,     1,     1,     1,
  1287.      3,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1288.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1289.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1290.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1291.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1292.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1293.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1294.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1295.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1296.      1,     1,     1,     1,     1,     1,     1,     1,     1,     1,
  1297.      0,     4,     0,     1,     1,     3,     3,     3,     3,     3,
  1298.      3,     3,     3,     3,     3,     3,     3,     3,     3,     5,
  1299.      4,     3,     1,     4,     1,     1,     1,     1,     1,     1,
  1300.      1,     1,     1,     1,     1,     0,     4,     1,     1,     1,
  1301.      3,     3,     1,     1,     2,     2,     2,     0,     7,     0,
  1302.      8,     1,     2,     1,     1,     3,     0,     3,     0,     3,
  1303.      0,     3,     1,     0,     3,     1,     1,     1,     1,     1,
  1304.      1,     1,     1,     1,     2,     1,     3,     3,     1,     1,
  1305.      3,     4,     5,     1,     0,     3,     3,     1,     1,     0,
  1306.      3,     0,     3,     0,     1,     1,     1
  1307. };
  1308. static const short yydefact[] = {     0,
  1309.      1,   251,     0,  1012,     0,  1016,    62,   696,     0,   654,
  1310.    736,   291,     0,   751,   757,     0,   703,  1017,     0,   705,
  1311.    694,     0,     0,     0,     0,     0,     0,   731,   732,   970,
  1312.      0,     0,   968,   923,     0,   656,     0,     7,    10,     3,
  1313.     31,    26,     5,    23,     4,     8,    20,    22,    29,    13,
  1314.     15,    24,    35,    11,    33,    32,    12,     0,    16,    25,
  1315.     21,    19,    36,    17,    30,    18,    34,    27,    14,     6,
  1316.      9,    28,   252,     0,   959,   958,   280,  1014,     0,   104,
  1317.    219,    66,   218,    67,     0,    63,    64,     0,     0,   698,
  1318.      0,   652,     0,   652,   658,     0,   298,   268,     0,     0,
  1319.    262,   263,   704,     0,   284,   726,   695,   251,   828,     0,
  1320.      0,     0,     0,     0,   823,   830,   837,   838,     0,   856,
  1321.    867,   897,   898,   920,   906,   908,   912,   900,   822,   825,
  1322.    826,   827,   829,   831,     0,   832,   833,   835,   836,   840,
  1323.    844,   846,   849,   850,   853,   854,   855,   793,   852,   857,
  1324.      0,   858,   795,   859,   815,   863,   862,     0,   864,   865,
  1325.    791,   868,   872,   870,   871,   873,   869,   874,   535,   866,
  1326.    875,   876,   878,   881,   882,   883,     0,   884,   794,   790,
  1327.    885,   845,   886,   888,   889,   891,   894,   895,   892,   893,
  1328.    792,   896,   899,   901,   902,   903,   905,   907,   910,   785,
  1329.    915,     0,     0,     0,     0,   916,   917,   839,     0,   834,
  1330.      0,   841,   842,   848,   851,   890,   909,   911,   913,   914,
  1331.    824,     0,     0,     0,   539,     0,     0,   322,   322,     0,
  1332.      0,     0,   843,     0,     0,     0,     0,     0,     0,     0,
  1333.      0,     0,     0,   860,   861,     0,     0,     0,     0,     0,
  1334.      0,   877,   879,   880,   322,   887,     0,     0,     0,     0,
  1335.      0,   904,     0,     0,     0,     0,     0,     0,     0,     0,
  1336.      0,     0,     0,     0,     0,   918,   919,     0,     0,   847,
  1337.      0,     0,     0,     0,     0,     0,     0,   759,   324,   325,
  1338.    423,   789,   419,   418,   805,   816,   694,     0,   956,   967,
  1339.    266,   282,     0,   286,   264,     0,   924,   921,   828,   912,
  1340.    842,   913,   914,   860,   877,   880,   887,   904,   919,   760,
  1341.    694,     2,     0,   730,   728,   812,     0,     0,  1015,  1013,
  1342.     37,     0,     0,    67,    65,     0,     0,   701,   700,     0,
  1343.    698,     0,     0,     0,   648,     0,   660,   661,   659,   251,
  1344.    748,   747,   743,   745,   744,   746,   959,   737,   739,   740,
  1345.    308,   304,   303,   302,   305,   306,   307,   313,   299,   301,
  1346.      0,   756,   755,   752,   754,     0,   702,   651,     0,     0,
  1347.      0,     0,   724,   727,     0,   216,   215,   717,     0,   724,
  1348.    722,     0,   724,     0,   706,     0,     0,   529,   529,   529,
  1349.    529,   529,   529,     0,     0,   432,     0,     0,   535,     0,
  1350.      0,   426,     0,     0,     0,     0,   531,   531,   796,   798,
  1351.    797,     0,   529,   529,   540,     0,   531,     0,     0,   444,
  1352.      0,   445,     0,     0,     0,     0,     0,     0,     0,     0,
  1353.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1354.      0,     0,     0,     0,     0,     0,   477,     0,     0,     0,
  1355.      0,     0,     0,     0,     0,     0,     0,   531,   531,   531,
  1356.    531,   531,   531,     0,     0,     0,     0,     0,     0,     0,
  1357.    424,   425,     0,   427,     0,   819,   818,     0,   817,   421,
  1358.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1359.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1360.      0,     0,     0,     0,     0,     0,   786,     0,   764,     0,
  1361.      0,     0,     0,   988,   989,   983,   990,   979,   977,   981,
  1362.    974,   994,     0,   987,   993,   984,   991,   992,   986,     0,
  1363.    972,   975,     0,     0,     0,     0,   663,     0,   662,   814,
  1364.    733,     0,   228,   270,   649,     0,     0,    52,     0,    53,
  1365.      0,     0,   699,     0,   653,   253,   647,     0,     0,     0,
  1366.    749,   311,   293,   310,     0,   300,   270,     0,     0,   270,
  1367.      0,   712,   720,   721,     0,   707,     0,   722,   714,     0,
  1368.    724,   722,   716,     0,     0,   715,     0,     0,     0,   531,
  1369.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1370.      0,     0,   536,   537,   434,     0,     0,     0,     0,     0,
  1371.      0,     0,     0,     0,   543,     0,     0,   323,     0,   449,
  1372.      0,     0,     0,     0,     0,     0,     0,   583,   584,   585,
  1373.    586,   587,   588,   589,   590,   591,   592,   593,   594,   595,
  1374.      0,     0,     0,     0,     0,     0,     0,     0,     0,   468,
  1375.      0,     0,     0,     0,     0,     0,     0,     0,     0,   386,
  1376.    482,     0,     0,     0,     0,     0,     0,     0,   547,   547,
  1377.    547,     0,     0,   517,     0,     0,     0,     0,     0,     0,
  1378.    506,     0,   508,     0,     0,     0,   628,   626,   627,     0,
  1379.    428,     0,   422,     0,     0,   339,   340,   341,   342,   343,
  1380.    344,   345,     0,   337,   346,   347,   332,   531,   607,     0,
  1381.      0,     0,     0,   331,   330,   335,     0,   417,   352,   353,
  1382.      0,   349,     0,   348,   350,   351,   354,   806,   765,     0,
  1383.      0,   596,   957,   960,     0,   270,  1005,  1005,  1005,   973,
  1384.    995,  1005,     0,     0,   287,   288,     0,     0,     0,     0,
  1385.      0,     0,     0,     0,     0,   945,   946,     0,     0,   949,
  1386.    947,   948,   951,   954,   950,   952,   953,   955,     0,     0,
  1387.    922,   925,     0,     0,   666,   670,   665,   788,   787,   729,
  1388.    734,   735,   813,   230,   278,   277,     0,   279,   276,   275,
  1389.      0,   281,   272,   273,     0,     0,     0,     0,     0,     0,
  1390.      0,    38,    39,    68,    48,     0,     0,   601,   645,   255,
  1391.    254,   644,   670,     0,   738,   750,   741,   568,     0,   313,
  1392.    292,   294,     0,   314,   316,   315,   805,   269,   753,     0,
  1393.    285,   719,   725,   820,   718,   724,   723,   708,   724,   722,
  1394.      0,     0,   518,   530,     0,   521,   522,   526,   525,   528,
  1395.    527,     0,     0,   531,   531,     0,     0,     0,   435,     0,
  1396.      0,   440,   533,   532,   441,   438,     0,   519,   520,   541,
  1397.      0,   442,   531,   446,     0,     0,     0,   531,     0,   452,
  1398.      0,     0,     0,   531,     0,   460,     0,     0,   463,     0,
  1399.    531,     0,   469,     0,     0,   531,   475,   476,   478,   479,
  1400.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1401.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1402.      0,     0,     0,     0,     0,   481,     0,     0,   485,     0,
  1403.    487,     0,     0,     0,   548,     0,     0,     0,     0,   493,
  1404.    499,   500,   501,   502,   503,   504,     0,   507,   509,     0,
  1405.    511,   512,     0,     0,   429,   420,   807,   338,     0,     0,
  1406.    333,   531,   607,   336,     0,     0,     0,     0,     0,     0,
  1407.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1408.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1409.      0,     0,     0,     0,   763,   598,   597,     0,     0,     0,
  1410.      0,   283,     0,   980,   978,   982,   985,   996,   999,   812,
  1411.      0,   976,     0,     0,     0,     0,   683,   684,     0,     0,
  1412.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1413.      0,   664,   668,     0,   657,     0,   249,   249,   249,     0,
  1414.    249,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1415.      0,     0,   259,     0,     0,     0,   249,     0,   247,    71,
  1416.    229,   115,   231,   248,     0,   650,   274,     0,     0,     0,
  1417.      0,     0,     0,     0,     0,    69,     0,    50,     0,   624,
  1418.    646,   655,   742,   568,     0,   601,   550,     0,     0,     0,
  1419.    309,   296,   295,   317,     0,   758,     0,   710,   709,   713,
  1420.    722,   601,     0,   523,     0,     0,     0,     0,     0,     0,
  1421.    538,     0,     0,     0,     0,     0,     0,     0,   544,     0,
  1422.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1423.      0,     0,     0,     0,   466,     0,     0,     0,   368,   369,
  1424.    370,   371,   372,   373,   374,     0,   366,   375,   376,   361,
  1425.      0,   607,     0,     0,     0,   360,   359,   364,     0,   381,
  1426.    382,     0,   378,     0,   377,   379,   380,   383,     0,     0,
  1427.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1428.      0,     0,   326,   606,     0,   334,     0,   399,   400,   401,
  1429.    402,   403,   404,   405,     0,   397,   406,   407,   328,   531,
  1430.    607,     0,     0,     0,     0,   392,   391,   395,     0,   412,
  1431.    413,     0,   409,     0,   408,   410,   411,   414,   356,   355,
  1432.    808,   761,   600,     0,   963,   964,   962,   961,   267,  1009,
  1433.      0,  1008,     0,     0,     0,   289,   290,   265,     0,   928,
  1434.    938,   937,   934,   933,   632,   630,   629,   631,   936,   935,
  1435.      0,   943,     0,   939,   930,   929,   932,   931,   942,     0,
  1436.    926,   927,     0,   672,     0,   674,   800,   799,   676,     0,
  1437.    667,   250,   233,     0,     0,     0,     0,   214,   213,     0,
  1438.      0,     0,     0,     0,     0,     0,     0,     0,   614,     0,
  1439.      0,     0,     0,   261,   260,   596,     0,     0,     0,     0,
  1440.      0,    72,     0,   224,   209,   115,     0,   256,     0,   110,
  1441.    224,   208,   117,   809,   271,    41,    42,    44,    46,    43,
  1442.     45,    47,    40,   115,    49,   766,    70,   107,   106,   105,
  1443.      0,     0,   602,     0,   697,     0,   568,     0,     0,   566,
  1444.      0,   568,   571,   571,   565,   568,   608,   596,   641,   643,
  1445.      0,   321,   312,   320,   801,   806,   821,   724,     0,   624,
  1446.      0,     0,   498,   473,   474,     0,   431,   436,     0,   534,
  1447.    439,   542,   433,     0,     0,   443,     0,     0,   454,   450,
  1448.    455,   453,     0,   515,   462,   459,   461,     0,     0,   467,
  1449.    470,   471,     0,   451,   367,   480,   362,   607,   365,     0,
  1450.      0,     0,     0,     0,   484,   486,     0,   491,   489,     0,
  1451.      0,     0,     0,     0,   497,     0,   510,   513,   514,   327,
  1452.    329,   398,     0,   393,   531,   607,   396,     0,     0,     0,
  1453.      0,   766,   965,   966,  1006,     0,   998,   997,  1004,  1010,
  1454.   1000,   969,     0,     0,   941,   669,   681,     0,   671,     0,
  1455.    298,   685,   675,   679,     0,   236,    78,   224,   241,   243,
  1456.    253,    79,    76,    81,    82,    74,    75,     0,    80,    99,
  1457.     98,    84,   100,    85,    86,     0,    94,    96,    95,    97,
  1458.     83,    92,    91,    93,    88,    90,    89,    73,     0,   238,
  1459.     77,   232,   116,   225,   210,     0,   108,   811,     0,   258,
  1460.    234,     0,     0,     0,   211,     0,   111,     0,     0,     0,
  1461.      0,   768,   767,    56,    60,     0,     0,   625,   549,     0,
  1462.    567,   568,   568,   571,   571,   552,   572,     0,     0,   551,
  1463.      0,   603,   573,   769,   319,   318,     0,   711,     0,   691,
  1464.    693,     0,     0,     0,   545,     0,     0,     0,     0,     0,
  1465.      0,     0,   363,     0,   357,   385,   384,     0,     0,     0,
  1466.      0,   496,   494,   495,     0,   387,     0,   394,     0,   389,
  1467.    416,   415,     0,  1007,     0,     0,     0,   971,   940,     0,
  1468.      0,     0,   673,   313,   687,     0,     0,     0,     0,   242,
  1469.    240,   804,   615,   618,   246,     0,     0,   235,   115,   257,
  1470.      0,   224,   207,   212,   194,     0,     0,   175,   123,     0,
  1471.      0,   152,   149,   162,   136,   151,   134,   130,   166,   164,
  1472.    147,   166,   158,   138,   144,   137,   161,   143,   166,   163,
  1473.    160,   142,   132,   131,   135,   159,   141,     0,   155,   175,
  1474.    179,   190,     0,   175,   177,   810,    69,    61,     0,    54,
  1475.      0,   618,   222,     0,   554,   564,     0,     0,   568,   568,
  1476.      0,   604,   612,     0,     0,   569,     0,   777,   802,     0,
  1477.      0,   430,   437,     0,   447,   448,   456,     0,   529,   464,
  1478.    472,   358,   483,   490,   488,   492,   531,   388,   390,     0,
  1479.      0,     0,  1001,   944,   680,   682,     0,   690,     0,   688,
  1480.    678,   245,     0,   237,     0,   619,   620,   617,    87,   179,
  1481.    109,     0,     0,     0,     0,     0,   192,   195,   197,     0,
  1482.      0,     0,   122,   139,     0,   140,   153,   156,   157,     0,
  1483.      0,   169,   165,     0,   169,   169,     0,     0,   169,   186,
  1484.      0,     0,   183,     0,   188,   118,   180,   182,   191,   154,
  1485.      0,   125,     0,   169,     0,   169,   766,    58,    51,     0,
  1486.    221,     0,     0,     0,     0,   568,   568,   557,   561,   609,
  1487.    611,   618,     0,   621,   613,   576,   575,   574,     0,     0,
  1488.      0,     0,   770,   772,     0,   642,   692,     0,   546,     0,
  1489.      0,     0,     0,  1002,     0,  1011,   677,   686,     0,     0,
  1490.      0,     0,   244,   618,   239,   114,     0,   200,   201,     0,
  1491.      0,     0,   196,   112,     0,     0,     0,     0,   173,   174,
  1492.    145,   170,   172,     0,   121,   146,     0,     0,   129,   185,
  1493.    184,   187,   189,   181,     0,     0,   119,     0,   120,    55,
  1494.    298,   618,     0,   568,   553,     0,   559,   563,     0,     0,
  1495.      0,     0,     0,   803,   605,     0,   633,     0,     0,     0,
  1496.      0,     0,   771,     0,     0,   778,   780,   465,   457,     0,
  1497.    524,   505,   769,  1003,   689,   616,     0,   203,     0,   202,
  1498.      0,   198,   199,   194,   126,   176,     0,   226,   167,     0,
  1499.    171,     0,   133,   128,   190,   190,     0,   313,   220,   223,
  1500.      0,     0,   556,     0,   560,     0,   610,   622,     0,   297,
  1501.      0,   775,   776,     0,   773,     0,     0,   779,     0,   777,
  1502.      0,   205,   206,   204,   193,   150,     0,     0,   148,   124,
  1503.    127,     0,   101,     0,     0,   581,     0,     0,     0,   634,
  1504.    580,     0,   579,   774,   782,   781,   458,   783,   113,   227,
  1505.    168,   178,    59,   102,     0,   555,     0,     0,     0,   623,
  1506.      0,   577,     0,     0,   670,   570,   582,   558,   562,   313,
  1507.    578,     0,   762,     0,     0,   637,   639,   784,   640,   635,
  1508.    313,   638,     0,     0,     0
  1509. };
  1510. static const short yydefgoto[] = {  1993,
  1511.     37,    38,   556,   812,   813,    39,  1086,  1342,   816,  1335,
  1512.   1524,  1851,  1659,    85,    86,    87,   333,  1336,  1069,  1070,
  1513.   1498,  1491,  1482,  1963,    88,  1341,  1506,  1507,  1319,  1320,
  1514.   1519,  1651,  1744,  1740,  1652,  1653,  1654,  1655,  1742,  1831,
  1515.   1832,  1833,  1733,  1766,  1756,  1757,  1758,  1762,  1517,  1727,
  1516.   1728,  1729,  1892,  1321,  1322,   394,    89,  1661,  1662,  1503,
  1517.   1897,    40,   794,  1071,  1072,  1073,  1599,  1607,  1283,    74,
  1518.    822,  1511,  1306,    41,    42,   544,    43,   522,    44,   371,
  1519.    802,   803,   804,    45,   328,    46,   523,    47,   379,    48,
  1520.    543,   755,   756,    49,    97,   831,   832,   368,   369,   370,
  1521.    573,   574,   575,  1104,   834,  1363,   430,  1602,   289,   669,
  1522.    727,   290,   683,   291,   598,   599,   684,   620,   874,   410,
  1523.    411,   613,   426,  1127,   880,   881,  1129,   946,  1096,  1775,
  1524.   1860,  1862,  1356,  1097,  1098,  1538,  1676,  1787,  1868,  1952,
  1525.   1945,   651,  1008,  1009,  1090,  1673,  1783,   971,  1542,  1780,
  1526.   1784,  1074,  1478,  1603,  1718,  1867,  1345,   700,  1259,  1920,
  1527.   1971,  1985,  1986,  1987,   833,  1544,    50,  1091,   554,   555,
  1528.    344,    51,    95,    52,   321,   350,   548,   786,   787,  1045,
  1529.   1273,  1046,  1275,  1281,  1461,  1463,  1456,  1457,  1029,  1464,
  1530.   1595,  1709,  1710,    53,  1112,   108,    54,    90,   340,   341,
  1531.     55,   104,    56,   106,   395,   591,   586,   396,    57,   551,
  1532.     58,   790,    59,    96,   358,   359,   571,   827,    60,    99,
  1533.    374,   375,    61,   100,    62,    63,    64,  1442,   740,  1525,
  1534.   1678,  1793,  1794,  1796,  1876,  1877,  1975,   292,  1898,   293,
  1535.   1276,  1277,  1781,  1782,   294,  1323,   378,   295,   844,  1449,
  1536.    296,    65,   546,   308,   781,   782,  1264,   783,    66,   521,
  1537.    360,   743,   744,  1237,    67,    68,   306,    69,   303,   540,
  1538.    541,   542,   748,   747,   749,   752,  1021,  1450,  1451,  1014,
  1539.   1241,  1242,  1588,    70,    78,   330,    71,    72
  1540. };
  1541. static const short yypact[] = { 17686,
  1542. -32768,    32,   169,-32768,   135,-32768,   442,-32768,    16,-32768,
  1543. -32768,-32768,   169,-32768,-32768,   493,    93,-32768,   169,-32768,
  1544.     92,  9661,    36,   169,   169,   169,   169,-32768,-32768,-32768,
  1545.    169,   169,-32768,    75, 17388,-32768,   175,-32768,-32768,-32768,
  1546. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1547. -32768,-32768,-32768,-32768,-32768,-32768,-32768, 12946,-32768,-32768,
  1548. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1549. -32768,-32768,-32768,   209,-32768,-32768,-32768,   -27,   261,-32768,
  1550. -32768,-32768,-32768,   174,   273,-32768,   309,   300,   404,   -32,
  1551.  17388,   233, 17388,   233,    66,   550,    58,-32768,   371,   496,
  1552. -32768,-32768,-32768, 14106,-32768,  1132,-32768,    32,   205,   213,
  1553.    216,   218,   230,   232,-32768,-32768,-32768,-32768,   241,-32768,
  1554. -32768,-32768,-32768,-32768,-32768,-32768,   243,-32768,-32768,-32768,
  1555. -32768,-32768,-32768,-32768,  9661,-32768,-32768,-32768,-32768,-32768,
  1556. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1557.    251,-32768,-32768,-32768,-32768,-32768,-32768,   255,-32768,-32768,
  1558. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,   262,-32768,
  1559. -32768,-32768,-32768,-32768,-32768,-32768,  9661,-32768,-32768,-32768,
  1560. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1561. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1562. -32768,   264,   278,   288,   296,-32768,-32768,-32768,   306,-32768,
  1563.    326,-32768,   366,-32768,-32768,-32768,-32768,-32768,   366,   366,
  1564. -32768,   329,   331,   335,  9661,   337,   347,   355,   357,   384,
  1565.    388,   391,-32768,   400,   401,   403,   405,   407,   408,   409,
  1566.    410,   414,   415,   416,-32768,   419, 10000,   420,   421,   427,
  1567.    429,   432,-32768,   435,   437,   438,   439,   440,   445,   446,
  1568.    451,   452,   453,   460,   461,   462,   466,   467,   470,   472,
  1569.    473,   474,   475,   477,   478,-32768,   479,   481,   482,-32768,
  1570.   9661,  9661,  9661,  9661, 17388, 14976, 17388,  7163,-32768,-32768,
  1571. -32768,   516,-32768,-32768,   195,-32768,    92, 14106,-32768,-32768,
  1572. -32768,-32768,  1465,-32768,-32768,  1465,-32768,-32768,-32768,-32768,
  1573. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1574.     67,-32768, 17388,-32768,-32768,   229, 14106, 14106,-32768,-32768,
  1575. -32768,   512, 17388,   174,-32768, 17388, 17388,-32768,-32768,   619,
  1576.    -32,   576,   653, 14106,-32768, 17388,-32768,-32768,-32768,    32,
  1577. -32768,-32768,-32768,-32768,-32768,-32768,   585,   483,-32768,-32768,
  1578. -32768,-32768,-32768,-32768,-32768,-32768,-32768,   488,    58,-32768,
  1579.  14106,-32768,-32768,   487,-32768,   714,-32768,-32768, 14106,   652,
  1580.      1,   656,   726,-32768,   574,-32768,-32768,-32768,   671,   726,
  1581.    764,   675,   726,   768,-32768,    46, 14106,-32768,   -57,-32768,
  1582. -32768,-32768,-32768,  9661,  9661,   719,  9661,  9661,-32768,   616,
  1583.  14396,   719,   517,  9661,  9661,  9661,-32768,-32768,   516,   516,
  1584.    516,  9661,-32768,-32768,  7163,   552,-32768,  9661,   520,-32768,
  1585.   8305,-32768,   521,  9661,  9661,  9661,  9661,  9661,  9661,  9661,
  1586.    527,  9661,  9661,  9661,   366,  9661,  9661,  9661,  6970,  8644,
  1587.   9661,  9661,  9661,  9661,  9661,  8305,-32768,  9661,  9661,  8983,
  1588.   9661,  9661,  9661,  9661,  9661,  9661,  7966,   525,   525,   525,
  1589.    525,   525,   525,   366,  9322,   526,  9661,  9661,  9661,    37,
  1590.    719,   719,  4105,   719,  9661,-32768,-32768, 16048,-32768,   860,
  1591.    523,  9661,  9661,  9661,  9661,  9661,  9661,  9661,   166,  9661,
  1592.   9661,  9661,   531,  9661,    69,  9661,  9661,  9661,  9661,  9661,
  1593.   9661, 10339, 10678,  9661,  9661,  9661,-32768, 17388,   759,   791,
  1594.  14106, 14106, 14106,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1595.    725,-32768,   737,-32768,-32768,-32768,-32768,-32768,-32768,   740,
  1596.    540,-32768, 14106, 14106,   749,   393,-32768, 13236,-32768,-32768,
  1597.  16316, 17388,-32768,    -1,-32768,   817,   815,-32768, 14106,-32768,
  1598.    755, 14106,-32768, 14106,-32768,    -9,-32768, 13236,   738,   550,
  1599.  14106,-32768,   -48,-32768,  9661,-32768,    -1,   371,   724,    -1,
  1600.  14106,-32768,-32768,-32768,    23,-32768, 16048,   764,-32768, 17388,
  1601.    726,   764,-32768, 14106,   824,-32768,   743,   577,  9661,-32768,
  1602.    578,   579,   581,   583,   584,   586,  2344,  2374,  2398,  2493,
  1603.    587,   589,   591,-32768,-32768,  4189,  2547,  2576,   590,  9661,
  1604.    593,  1425,   604,   605,-32768,   606,  2696,-32768,  4362,-32768,
  1605.   2749,  2782,  2899,  2955,  3016,  1463,  3050,-32768,-32768,-32768,
  1606. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1607.    839,  3072,  3133,  1671,  -105,  4373,  3167,  1820,   621,-32768,
  1608.   4449,  3251,  3368,  3424,  4490,  4574,  4642,  4723,  7232,-32768,
  1609. -32768,  4798,  3485,  3519,  1844,  4850,  1873,  3541,  9661,  9661,
  1610.   9661,  4010,   618,-32768,   620,   624,   632,   636,   637,   -94,
  1611. -32768,  4874,-32768,  1993,  4999,  2022,-32768,-32768,-32768,   638,
  1612. -32768,  1115,-32768,  9661, 17388,    22,    22,    22,    22,    22,
  1613.     22,    22,   821,-32768,   -92,   -92,  2427,-32768,   900,   645,
  1614.   9661,  9661,  9661,  7633,  7633,    22,  7356,-32768,    31,    62,
  1615.  10000,   -67, 10000,   -67,   719,   719,   719,   640,-32768,   882,
  1616.    958,    84,   647,-32768,   -90,    -1,   650,   650,   650,-32768,
  1617. -32768,   650, 13526,   985,   651,-32768,   810,   -26, 13526,   377,
  1618.    828,   377,   377,   377,    57,-32768,-32768,   377,   377,-32768,
  1619. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,   377, 16048,
  1620.    661,-32768,   377, 14106,-32768,  -114,-32768,-32768,-32768,-32768,
  1621. -32768,-32768,-32768,  1038,-32768,-32768,   997,-32768,-32768,-32768,
  1622.  14106,-32768,-32768,   312,  1000,  1006,  1007,  1008,  1015,  1017,
  1623.   1018,   678,-32768,-32768,-32768,   830, 14106,   822,-32768,-32768,
  1624. -32768,-32768,  -114,   978,-32768,   682,-32768,    77,   327,-32768,
  1625. -32768,   920,   942,-32768,  7163,-32768,   684,-32768,-32768,   851,
  1626. -32768,-32768,-32768,   689,-32768,   726,-32768,-32768,   726,   764,
  1627.  14106, 14396,-32768,  7163,   695,-32768,-32768,-32768,-32768,-32768,
  1628. -32768,  9661,  9661,-32768,-32768,   796,  9661, 14396,-32768,  9661,
  1629.   9661,-32768,  7163,   696,-32768,-32768,  9661,-32768,-32768,   780,
  1630.   9661,-32768,-32768,-32768,   766,   767,   857,-32768,   863,-32768,
  1631.   9661,  9661,  9661,-32768,   907,-32768,  9661,   908,-32768,  9661,
  1632. -32768,  9661,-32768,  9661,  9661,-32768,-32768,-32768,-32768,-32768,
  1633.   9661,  9661,  9661,  9661,  9661,  9661,  9661,   234,  9661,  9661,
  1634.   9661,  9661,  9661,    52,  9661,  9661,  9661,  9661,  9661,  9661,
  1635.  11017, 11356,  9661,  9661,  9661,-32768,  9661,  9661,-32768,  9661,
  1636. -32768,  9661,  9661,  9661,  7163,   962,   963,   964,  9661,-32768,
  1637. -32768,-32768,-32768,-32768,-32768,-32768,   912,-32768,-32768,  9661,
  1638. -32768,-32768,  9661,  9661,-32768,  7163,-32768,-32768,   715,   872,
  1639. -32768,-32768,   900,    22,  7409,  9661,  9661,  9661,  9661,  9661,
  1640.   9661,  9661,   317,  9661,  9661,  9661,   717,  9661,   107,  9661,
  1641.   9661,  9661,  9661,  9661,  9661, 11695, 12034,  9661,  9661,  9661,
  1642.   6970,  6970, 17388,   877,-32768,-32768,-32768, 17388,   240, 14106,
  1643.    879,-32768, 17388,-32768,-32768,-32768,-32768,   718,-32768,   722,
  1644.    886,-32768, 14106, 14106,   883,   986,-32768,-32768,   932,    94,
  1645.    250,   396,   396, 16048,   -75,   359,   370,    37,   377,   393,
  1646.    934,-32768,-32768, 13816,-32768,    50,  1010,  1010,  1010,  1081,
  1647.    519,  1083,  1084,  1085,  1091,  1093,  1095,  1034,  1107,  1108,
  1648.   1113,  1114,    54,  1125,  1126,  1127,  1010,  1128,-32768,   644,
  1649.    785, 12366,-32768,-32768,   312,-32768,-32768,   947,   948,   949,
  1650.    396,   950,    37,    37,   817,    29,   145,-32768,  9661,   916,
  1651. -32768,-32768,-32768,    77, 17388,    49,-32768, 14106,   954,   955,
  1652. -32768,-32768,-32768, 16584, 15244,-32768, 16048,-32768,-32768,-32768,
  1653.    764,  -102,   377,-32768,  3602,  5120,   798,   801,   803,  5149,
  1654. -32768,  5173,  3636,  9661,  5298,  9661,   832,  6980,   840,   811,
  1655.   9661,  9661,   812,   813,   820,  5322,  3720,  5352,   827,   833,
  1656.   5382,   823,  3837,   834,   -67,  5531,  2076,   837,    22,    22,
  1657.     22,    22,    22,    22,    22,  1024,-32768,   -92,   -92,  2427,
  1658.   5555,   900,  9661,  9661,  9661,  7633,  7633,    22,  7425,    31,
  1659.     62, 10000,   -67, 10000,   -67,   719,   719,   719,  3893,  5615,
  1660.   5732,  4071,  2142,  3954,  9661,  9661,  9661,  5765,   829,  5827,
  1661.   5849,  6028,-32768,-32768,   838,-32768,  9661,    22,    22,    22,
  1662.     22,    22,    22,    22,  1041,-32768,   -92,   -92,  2427,-32768,
  1663.    900,   842,  9661,  9661,  9661,  7633,  7633,    22,  7442,    31,
  1664.     62, 10000,   -67, 10000,   -67,   719,   719,   719,   621,   621,
  1665. -32768,-32768,-32768,   970,  1067,-32768,-32768,-32768,-32768,-32768,
  1666.    220,-32768,   849, 15512, 16048,-32768,-32768,-32768, 16048,-32768,
  1667. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1668.    377,-32768,   847,-32768,-32768,-32768,-32768,-32768,-32768,  9661,
  1669. -32768,-32768, 14396,-32768,   257,-32768,-32768,-32768,-32768,   848,
  1670. -32768,-32768,-32768, 14686, 14686,  1019,  1080,-32768,-32768,  1094,
  1671.  14686, 14686,   396,    37,    37,    37,   396,   396,-32768,    37,
  1672.     13,    37,    37,-32768,-32768,   148,    26,   555,   853, 14686,
  1673.   1020,-32768,  1038, 14686,   236, 12656, 17388,   108,   411,  1037,
  1674.  14686,-32768,-32768,   859,-32768,-32768,-32768,-32768,-32768,-32768,
  1675. -32768,-32768,-32768, 12656,-32768,    35,-32768,-32768,-32768,-32768,
  1676.   1016,   867,  7163,   396,-32768,   447,   865,  1103,  1105,-32768,
  1677.    -15,   865,  1066,  1066,-32768,   865,  1122,   994,-32768,-32768,
  1678.  16852,-32768,-32768,-32768,-32768,   869,-32768,   726, 14396,   916,
  1679.   9661,  9661,-32768,-32768,-32768,  9661,-32768,-32768,  9661,  7163,
  1680. -32768,  7163,-32768,  9661,  9661,-32768,  6970,  6970,-32768,-32768,
  1681. -32768,-32768,  9661,-32768,-32768,-32768,-32768,  1079,  9661,-32768,
  1682. -32768,-32768,  9661,-32768,-32768,-32768,-32768,   900,    22,  7618,
  1683.   9661,  6970,  6970,  9661,-32768,-32768,  9661,-32768,-32768,  9661,
  1684.   9661,  6042,  6083,  6235,-32768,  1086,-32768,-32768,-32768,-32768,
  1685.   2427,-32768,   884,-32768,-32768,   900,    22,  7674,  9661,  6970,
  1686.   6970,   -16,-32768,-32768,-32768, 17388,-32768,-32768,   957,  -107,
  1687. -32768,   885,   -75,  1045,  7163,   892,-32768,   377,-32768, 14396,
  1688.     58,-32768,   893,-32768,    65,-32768,-32768, 14686,-32768,-32768,
  1689.     41,-32768,-32768,-32768,-32768,-32768,-32768,  9661,-32768,-32768,
  1690. -32768,-32768,-32768,-32768,-32768, 14106,-32768,-32768,-32768,-32768,
  1691. -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 14106,-32768,
  1692. -32768,-32768,-32768,-32768,-32768,   267,-32768,-32768, 17388,-32768,
  1693. -32768,   896,  1129,  1130,   236, 14106,-32768,   897,  7672, 17388,
  1694.    271,-32768,-32768,-32768,  1188,  1060, 17388,-32768,-32768,   966,
  1695. -32768,   865,   865,  1066,  1066,-32768,-32768,  1137,  1138,-32768,
  1696.   1186,  1154,    27,  1185,-32768,-32768, 15780,-32768,   377,-32768,
  1697.   7163,  3988,  6276,  6288,  7163,  7153,   910,   913,  2195,   911,
  1698.   6317,  6469,-32768,  9661,  2427,   621,   621,  6490,  6550,  6670,
  1699.   6703,-32768,-32768,-32768,   914,-32768,   918,-32768,  9661,  2427,
  1700.    621,   621,  1150,-32768,  1201,  1173, 16048,-32768,-32768,   925,
  1701.  14396,  9661,-32768,   488,  9661,   848,  1197,  1198, 14686,-32768,
  1702. -32768,  7163,   927,    96,-32768,   290,  7672,-32768, 12656,-32768,
  1703.   9661, 14686,-32768,-32768,   -54, 17388,   930,   931,-32768,   379,
  1704.    -84,  1035,-32768,-32768,-32768,-32768,-32768,-32768,   935,  1051,
  1705. -32768,   935,-32768,-32768,-32768,-32768,-32768,-32768,   935,-32768,
  1706. -32768,-32768,   937,-32768,-32768,-32768,-32768,   938,-32768,   931,
  1707.    505,    -8,   939,   931,   941,-32768,   644,-32768,  1255,-32768,
  1708.    292,    96,   946,  1140,  1151,-32768,  1183,  1187,   865,   865,
  1709.   9661,-32768,  1146,   236,   236,-32768,    38,  1181,-32768,  9661,
  1710.   9661,-32768,-32768,  9661,-32768,-32768,-32768,  9661,-32768,-32768,
  1711. -32768,  2427,-32768,-32768,-32768,-32768,-32768,-32768,  2427,  1117,
  1712.    -35,  1155,-32768,-32768,-32768,  7163,   -12,  7163,   959,   960,
  1713. -32768,-32768,   945,-32768,  9661,-32768,-32768,-32768,-32768,   505,
  1714. -32768,  6724,   961,    40,   101, 17388,-32768,   210,-32768,   297,
  1715.   1163,  1164,-32768,-32768,  1069,-32768,-32768,-32768,-32768,   965,
  1716.   1166,   266,-32768,   973,   266,   266,  1170,  1174,   266,-32768,
  1717.    945,  1176,-32768,  1206,  1207,-32768,   505,-32768,-32768,-32768,
  1718.   1178,-32768,  1189,   266,  1190,   266,    35,-32768,-32768, 17388,
  1719. -32768,  1191,  1215,  9661,  1135,   865,   865,  1184,  1196,   984,
  1720. -32768,    96,  9661,  1109,-32768,-32768,-32768,-32768,  1267,  1277,
  1721.   1262,  1279,    38,-32768,   202,-32768,  7163,  6765,  7163,  2225,
  1722.   1001,  1004, 14106,-32768,  1158,-32768,-32768,-32768,  9661,   366,
  1723.    366,   366,-32768,    96,-32768,-32768, 17388,-32768,-32768,   441,
  1724.    441,   299,-32768,-32768,  1005,  1009,    23,   313,-32768,-32768,
  1725. -32768,   266,-32768,    23,-32768,-32768,  1011,  1012,-32768,-32768,
  1726. -32768,-32768,-32768,-32768,  1013,  1014,-32768,  1021,-32768,-32768,
  1727.     58,    96,  1023,   865,  7163,  1022,-32768,-32768,  9661,  1149,
  1728.   9661,  1161,  9661,-32768,  7163,    37,  1061,  1026,    23,    23,
  1729.   1299,    23,-32768,  1300,  1306,   202,-32768,-32768,-32768,  9661,
  1730. -32768,-32768,  1185,-32768,  7163,-32768,   315,-32768,  1322,-32768,
  1731.     42,-32768,-32768,   210,-32768,-32768,   319,-32768,-32768,  1229,
  1732. -32768,   322,-32768,-32768,  1313,  1313,  1232,   488,-32768,-32768,
  1733.   1237, 17388,  7163,  1033,  7163,  1039,-32768,  1040, 17388,-32768,
  1734.  17120,-32768,-32768,    23,-32768,    23,    23,-32768,  6852,  1181,
  1735.   1037,-32768,-32768,-32768,-32768,-32768,    23,  1043,-32768,-32768,
  1736. -32768,  1044,   -12,  9661,   332,-32768, 17388, 17388,    37,-32768,
  1737. -32768,   339,-32768,-32768,-32768,-32768,-32768,  1280,-32768,-32768,
  1738. -32768,-32768,-32768,-32768,  1396,-32768, 17388,   341,   348,-32768,
  1739.   1048,-32768, 17388,  1241,  1050,-32768,-32768,-32768,-32768,  1063,
  1740. -32768,  1276,-32768,  9661,  1064,  1065,-32768,-32768,  7163,-32768,
  1741. -32768,-32768,  1412,  1414,-32768
  1742. };
  1743. static const short yypgoto[] = {-32768,
  1744. -32768,-32768,-32768,-32768,   330,-32768,-32768,-32768,-32768,-32768,
  1745.   -349,-32768,-32768,-32768,  1332,-32768,  1087,  -237, -1064,-32768,
  1746. -32768,-32768,-32768,-32768,-32768,-32768,    88, -1069,-32768,  -176,
  1747. -32768,  -183,-32768,-32768,  -194,  -193,-32768,-32768, -1482, -1113,
  1748. -32768,  -404, -1125,-32768,  -280,-32768,  -316, -1208,  -489,  -451,
  1749. -32768,  -284,  -376,-32768, -1047,-32768,-32768, -1564,  -324, -1295,
  1750.   -386,-32768,-32768,-32768,-32768,   136,-32768,-32768,  -700,   -46,
  1751.    -11,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1752.   -474,  -777,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
  1753. -32768,-32768,   436,  1392,-32768,-32768,  -828, -1441,-32768,  1092,
  1754.  -1571,   633, -1646,-32768,-32768,-32768,    85,   -22,-32768,-32768,
  1755.   -658,  -413,   381,-32768,  -384,-32768,  -281,-32768,-32768,  1053,
  1756. -32768,-32768,-32768,-32768,-32768,-32768,-32768,    61,   383,-32768,
  1757. -32768,-32768,-32768, -1205,-32768, -1296,-32768,  -196,-32768,-32768,
  1758.  -1240,  -407,   158,   123,  -813,-32768,-32768,  -891,-32768,-32768,
  1759. -32768,  -191,-32768,-32768, -1547,-32768,   113, -1006, -1012,-32768,
  1760. -32768,-32768,-32768,  -507,   654,-32768,-32768,-32768,  -343,   -44,
  1761.   1391,-32768,-32768,-32768,-32768,-32768,-32768,   921,   706,   668,
  1762. -32768,  -483,-32768,-32768,-32768,-32768,-32768,   -98,  -715,   -93,
  1763. -32768,-32768,-32768,-32768,-32768,  -112,-32768,-32768,  1168,-32768,
  1764. -32768,-32768,-32768,-32768,-32768,  -559,  -380,-32768,-32768,-32768,
  1765. -32768,-32768,-32768,-32768,-32768,   940,-32768,-32768,-32768,-32768,
  1766. -32768,   924,-32768,-32768,-32768,-32768,-32768,-32768,-32768,    63,
  1767.   -379,-32768,  -286,  -419,-32768,  -363,-32768,  -211,  -544, -1583,
  1768.     55,   952,  -346, -1386,  -354, -1165,    15,   -21,  -274,  -576,
  1769. -32768,-32768,-32768,-32768,-32768,   480,    68,-32768,-32768,-32768,
  1770.    745,-32768,   504,-32768,-32768,-32768,-32768,-32768,-32768,  1216,
  1771. -32768,   769,-32768,-32768,-32768,-32768,   765,   276,   -59,  -149,
  1772. -32768,    83,-32768,-32768,-32768,-32768,-32768,-32768
  1773. };
  1774. #define YYLAST 17982
  1775. static const short yytable[] = {   288,
  1776.    566,   419,  1318,  1291,  1103,  1312,   791,   420,   421,   589,
  1777.    845,   490,   593,   320,   602,   603,   604,   605,   606,  1594,
  1778.   1260,  1337,  1707,   600,  1254,  1518,  1077,   577,   846,  1266,
  1779.   1268,  1269,   849,   500,   501,   580,   326,   -57,   623,   624,
  1780.    843,   659,   500,   501,   828,   670,  1031,  1032,  1033,  1035,
  1781.    505,  1730,  1036,  1037,  1759,  1050,   614,  1539,   820,   377,
  1782.   1027,   397,   829,  1038,   975,  1043,  1025,  1041,  1329,   342,
  1783.   1028,   345,   325,   500,   501,   505,  1331,  1332,  1348,  1724,
  1784.    828,  1196,   326,   517,  1279,   795,  1052,  1006,  1053,  1522,
  1785.    719,  1604,  1725,   338,   517,   728,  1597,  1054,  1533,  1011,
  1786.   1586,  1487,   838,   697,  1089,   841,  1055,  1488,   820,  1304,
  1787.    297,   361,   406,  1262,  1771,  1489,   595,  1933,  1465,  1466,
  1788.   1789,  1790,    91,   582,   788,  1470,  1471,   697,  1737,  1813,
  1789.   1509,  1820,  1674,  1818,   796,   619,   621,    73,   362,  1007,
  1790.   1522,  1530,   347,   547,  1500,   626,  1536,  1821,  1504,  1745,
  1791.   1540,  1006,  1716,  1804,   412,  1504,  1746,  1349,   698,  1738,
  1792.    363,  1822,  1350,  1056,   505,   821,  1057,  1840,   348,  1251,
  1793.     79,  1163,  1600,   505,  1717,  1480,  1481,   322,   745,   746,
  1794.    720,   699,   698,   583,   519,  1059,  1934,  1791,   721,  1351,
  1795.    797,   349,   107,  1060,  1061,  1062,  1510,  1819,  1252,   339,
  1796.    758,    92,   425,  1007,   505,   699,  1064,   596,   549,  -599,
  1797.    848,   789,   798,   703,    93,   821,  1263,   107,  1212,   799,
  1798.   1065,   298,  1164,   307,   449,  1792,  1213,   826,  1066,  1675,
  1799.    800,  1044,  1352,   655,  1864,  1490,  1760,  1667,  1668,   722,
  1800.   1587,   364,   898,  1305,  1598,  1369,   512,   513,   514,   515,
  1801.    516,  -599,  1887,   957,  1280,  1089,  1805,   801,   481,   482,
  1802.    483,   484,   690,   485,   489,   491,  1886,  1505,  1534,  1169,
  1803.   1407,  1012,    94,   514,   515,   516,   326,  1214,   103,  1523,
  1804.   1472,  1535,  1357,   601,  1476,  1477,   329,  1473,  1474,  1475,
  1805.   1110,  1726,  -599,  1479,  1483,  1484,  1485,  1325,  1370,   830,
  1806.   1165,   550,  1504,   568,  1909,   326,   326,   973,   713,   728,
  1807.    714,   558,   520,   432,   560,   561,  1723,   723,   855,  1434,
  1808.   1068,   801,   326,  1270,   567,  1253,  1665,  1666,  1814,  1034,
  1809.   1523,  1528,  1353,  1984,  1219,   830,  1943,  1761,   801,   457,
  1810.    697,   553,  1288,  1724,  1984,  1354,   801,  1284,  1285,   326,
  1811.   1292,  1289,   597,    75,    76,  1215,  1725,   326,   510,   511,
  1812.    512,   513,   514,   515,   516,  1234,  1310,  1338,   511,   512,
  1813.    513,   514,   515,   516,  1334,   326,  1156,  1339,  1157,  1340,
  1814.   1027,   607,   608,  1874,   609,   610,   365,   366,   367,  1875,
  1815.   1028,   616,   617,   618,   327,   698,  1355,  1371,   795,   622,
  1816.    512,   513,   514,   515,   516,   627,   372,  1235,   629,  1908,
  1817.    373,   631,   632,   633,   634,   635,   636,   637,   699,   652,
  1818.    653,   654,  1094,   656,   657,   658,  1095,   661,   662,   663,
  1819.    664,   665,   666,   667,  1265,   668,   969,   672,   673,   674,
  1820.    675,   676,   677,   678,   682,  1267,  1504,   796,  1236,   697,
  1821.    331,   760,   692,   332,   694,   695,   696,  1261,   334,  1205,
  1822.    697,  1206,   702,  1778,  1779,  1108,   489,  1614,  1109,   706,
  1823.    707,   708,   709,   710,   711,   712,  1348,   715,   716,   717,
  1824.   1512,  1099,  1100,   724,   725,   726,  1255,   729,   730,   732,
  1825.    734,   735,   736,   737,    80,    82,   738,  1113,   336,   326,
  1826.    326,   326,  1513,   785,   698,  1039,  1410,  1829,  1888,  1162,
  1827.    337,  1830,   343,  1121,   728,   698,  1563,   818,  1621,  1256,
  1828.   1622,   326,   326,   785,  1749,   798,   326,   699,  1764,   792,
  1829.    793,   376,   799,   101,   102,   742,    81,   326,   699,  1721,
  1830.    326,  1257,   326,   800,  1578,  1453,   326,   518,  -217,   326,
  1831.    398,  1368,   835,   837,   200,  1349,  1438,   757,   399,   326,
  1832.   1350,   400,  1750,   401,  1258,   489,  1445,  1446,   847,  1514,
  1833.   1857,  1858,   326,   815,  1211,   402,   854,   403,   819,   728,
  1834.   1751,   552,  1117,  1118,  1889,   351,   404,  1351,   405,   352,
  1835.   1282,  1626,  1337,  1229,  1230,   842,   407,   873,  1015,  1016,
  1836.    408,  1130,  1017,  1459,  1460,   761,  1134,   409,   850,   413,
  1837.   1287,  1515,  1139,  1608,  1609,  1890,  1492,  1657,  1609,  1144,
  1838.   1891,  1734,  1649,   414,  1148,  1288,  1786,  1786,    82,   762,
  1839.   1352,  1835,  1836,   415,  1289,  1839,  1719,   801,  1769,  1770,
  1840.   -103,   416,    83,  1824,  1770,  1894,  1770,  1752,  1911,  1753,
  1841.   1847,   417,  1849,   353,   557,  1493,   945,   945,   945,  1899,
  1842.   1900,  1931,  1770,  1754,  1494,  1936,  1937,  1495,  1939,  1937,
  1843.   1050,   418,   354,   763,   422,   764,   423,  1290,  1966,  1967,
  1844.    424,   966,   427,   967,   765,  1972,  1973,  1978,  1967,  1278,
  1845.   1195,  1496,   428,  1497,  1979,  1967,  1940,  1941,    84,   974,
  1846.    429,  1052,   431,  1053,   517,  1755,  1968,  1969,  1001,   355,
  1847.   1002,   562,  1054,   766,   767,   768,   769,   770,   771,   772,
  1848.    773,  1055,   564,   774,   775,   776,   777,   778,   779,   433,
  1849.   1353,  1020,   356,   434,   357,    76,   435,  1020,   565,   785,
  1850.    947,   948,  1592,  1354,   780,   436,   437,    77,   438,  1408,
  1851.    439,   728,   440,   441,   442,   443,  1076,    98,   489,   444,
  1852.    445,   446,   326,   105,   447,   450,   451,  1019,   299,   300,
  1853.    301,   302,   452,  1019,   453,   304,   305,   454,  1056,   326,
  1854.    455,  1057,   456,   458,   459,   460,   638,   639,   640,   641,
  1855.    461,   462,   569,  1529,  1355,   326,   463,   464,   465,  1436,
  1856.   1059,   728,   642,   643,   644,   466,   467,   468,  1060,  1061,
  1857.   1062,   469,   470,   645,   646,   471,   647,   472,   473,   474,
  1858.    475,  1064,   476,   477,   478,   648,   479,   480,   572,   326,
  1859.    570,  1088,  1367,  1680,   578,  1065,   579,   581,   584,  1115,
  1860.   1116,   649,   650,  1066,  1120,   585,   587,  1122,  1123,   685,
  1861.    686,   687,   688,   689,  1125,   588,   590,   592,  1128,  1918,
  1862.    594,   505,   612,   615,   625,  1111,   628,   630,  1136,  1137,
  1863.   1138,  -516,   693,   704,  1141,   705,   718,  1143,  1807,  1145,
  1864.    739,  1146,  1147,   741,   750,   751,   753,   754,  1149,  1150,
  1865.   1151,  1152,  1153,  1154,  1155,   759,  1158,  1159,  1160,  1161,
  1866.    814,   817,  1166,  1167,  1168,   824,  1170,  1171,  1173,  1175,
  1867.   1176,  1177,  1178,   840,  1179,  1180,   851,  1181,  1458,  1182,
  1868.   1183,  1184,   852,   853,   856,   857,  1188,   858,  1433,   859,
  1869.    860,   893,   861,   866,   867,  1068,   872,  1190,   868,   875,
  1870.   1191,  1192,  1970,   805,   806,   807,   808,   809,   810,   811,
  1871.    878,   879,   882,  1198,  1199,  1200,  1201,  1202,  1203,  1204,
  1872.    902,  1207,  1208,  1209,   951,   968,   952,  1216,  1217,  1218,
  1873.    953,  1220,  1221,  1223,  1225,  1226,  1227,  1228,   954,  1557,
  1874.   1558,  1231,   955,   956,   970,   964,  1233,  1548,   326,  1004,
  1875.    972,  1240,  1003,  1005,  1010,  1013,  -599,  1006,  1023,  1024,
  1876.   1075,   326,   326,  1078,  1566,  1567,   524,  1030,  1040,  1079,
  1877.   1080,  1081,   489,   525,  1549,   526,   527,   528,  1082,   529,
  1878.   1083,  1084,   837,  -599,   742,  1085,  1087,  1093,  1089,   801,
  1879.    829,   530,  1581,  1582,   828,   148,  1105,   757,  1247,  1106,
  1880.   1107,  1114,  1119,  1124,  1126,  1133,   153,  1131,  1132,  1007,
  1881.   1324,  1135,  1140,  1142,  1185,  1186,  1187,  1189,  1047,  1048,
  1882.   1194,  1193,  1210,  1049,  1050,  1232,  1343,  1239,   161,  1051,
  1883.   1243,  1248,   532,  1347,  1244,  1245,   326,  1250,  1249,  1272,
  1884.    533,  1282,  1364,  1366,  1286,   489,  1293,  1294,  1295,   179,
  1885.    180,   534,  -599,  -599,  1296,  1052,  1297,  1053,  1298,  -599,
  1886.   1299,  1380,  -599,  1382,  -599,  1278,  1054,  -599,  1387,  1388,
  1887.   1300,  1301,  1358,   191,  1964,  1055,  1302,  1303,   492,   493,
  1888.    494,   495,   496,   497,   498,   499,   500,   501,  1307,  1308,
  1889.   1309,  1311,  1313,   200,  -599,  1326,  1327,  1328,  1330,  1344,
  1890.   -599,  1409,  1359,  1360,  1374,   535,  -599,  1375,  1376,  1412,
  1891.   1383,  1413,  1385,  1577,   536,  1606,   537,  1386,  1389,  1390,
  1892.    380,  1810,  1422,  1423,  1424,   538,  1391,   381,  1405,   502,
  1893.   1398,   382,  1056,  1395,  1431,  1057,  1426,  -599,  1443,  1396,
  1894.   1400,  1811,  1812,  1404,  1430,  1432,   539,  1435,  1444,  1447,
  1895.   1058,  1437,  1454,  1462,  1059,  1468,  -599,  -599,  1499,  1440,
  1896.   -599,  1441,  1060,  1061,  1062,   383,  1516,  1467,  1501,  1469,
  1897.   1063,  1520,  1527,  1526,  1095,  1064,  1531,  -599,  1532,  1537,
  1898.   1541,  1547,   793,   489,  1560,   384,   503,   489,   385,  1065,
  1899.   1576,  1575,  1587,  1590,   504,  1585,  1458,  1066,   386,  1591,
  1900.   1596,  1611,  1616,  1658,  1612,  1613,   387,  1455,  1660,  1664,
  1901.   1669,  1670,  1671,  1672,   388,  1677,  1685,   505,  1689,  1686,
  1902.   1700,  1697,  1324,  1324,  1698,   506,   507,  1701,  1702,  1324,
  1903.   1324,  1704,  1712,  1713,  1715,  1731,  1732,  -599,  1739,   389,
  1904.   1741,  1743,  1747,  1748,  1763,   508,  1765,  -599,  1324,  1768,
  1905.   -599,  1772,  1324,  1773,  1324,  1508,  1776,  1774,  1058,  1324,
  1906.   1777,  1795,  1803,  1806,  1801,  1808,  1817,  1809,  1825,  1826,
  1907.   1827,  1828,  1324,  1760,   390,  1837,   391,   392,  1834,  1838,
  1908.   1841,  1842,  1843,  1845,  1922,  1923,  1067,  1925,  1854,  1068,
  1909.   1859,  1863,  1866,  1869,  1846,  1848,  1853,   393,  1856,  1546,
  1910.   -599,  -599,  1861,  1870,  1871,  1872,  1884,  1881,  1551,  1552,
  1911.   1882,  1895,  1914,  1553,  1919,  1896,  1554,  1903,  1904,  1905,
  1912.   1906,  1555,  1556,   509,  1916,  1924,  1926,  1912,  1907,  1910,
  1913.   1559,  1921,  1927,  1932,  1938,  1759,  1561,  1942,  1947,  1954,
  1914.   1562,  1955,  1956,  1944,  1948,  1974,  1982,  1949,  1565,  1961,
  1915.   1962,  1568,  1960,  1980,  1569,  1044,  1988,  1570,  1571,   492,
  1916.    493,   494,   495,   496,   497,   498,   499,   500,   501,  -636,
  1917.   1990,  1994,  1991,  1995,  1333,  1802,  1580,  1850,   335,  1767,
  1918.    559,  1521,  1714,  1720,  1240,  1735,  1736,  1901,   492,   493,
  1919.    494,   495,   496,   497,   498,   499,   500,   501,   837,  1815,
  1920.   1844,  1959,  1935,  1823,  1893,  1852,  1324,  1902,  1502,   324,
  1921.    502,   510,   511,   512,   513,   514,   515,   516,  1246,  1601,
  1922.    576,   611,  1101,  1486,   326,   965,   492,   493,   494,   495,
  1923.    496,   497,   498,   499,   500,   501,  1346,   326,  1788,   502,
  1924.   1543,  1785,  1550,  1992,   346,  1102,   524,  1610,   823,  1042,
  1925.   1092,  1983,  1705,   525,   326,   526,   527,   528,  1656,   529,
  1926.   1605,   839,  1711,  1930,  1583,  1663,  1873,   503,   563,   825,
  1927.   1958,   530,  1928,  1238,  1593,   504,  1917,   502,   531,  1271,
  1928.   1589,   545,  1022,  1026,  1452,  1231,   836,  1703,  1584,     0,
  1929.   1615,     0,     0,     0,     0,     0,   503,     0,   505,     0,
  1930.      0,  1692,     0,     0,   504,     0,   506,   507,     0,     0,
  1931.      0,     0,   532,     0,     0,     0,  1699,     0,     0,     0,
  1932.    533,     0,     0,     0,     0,   489,   508,   505,     0,  1706,
  1933.      0,   534,  1708,     0,   503,   506,   507,  1324,     0,     0,
  1934.      0,     0,   504,     0,     0,     0,     0,  1324,  1722,     0,
  1935.   1324,     0,     0,     0,  1663,   508,     0,     0,   419,   420,
  1936.    421,     0,     0,     0,     0,   505,     0,     0,     0,     0,
  1937.      0,     0,     0,   506,   507,     0,     0,     0,     0,     0,
  1938.      0,     0,     0,     0,     0,   535,     0,     0,     0,     0,
  1939.      0,     0,     0,   508,   536,     0,   537,     0,     0,     0,
  1940.      0,     0,     0,     0,   509,   538,     0,     0,     0,     0,
  1941.      0,     0,     0,     0,     0,     0,     0,  1797,  1798,     0,
  1942.      0,  1799,     0,     0,     0,  1800,   539,     0,     0,     0,
  1943.      0,     0,     0,   509,   492,   493,   494,   495,   496,   497,
  1944.    498,   499,   500,   501,     0,     0,     0,     0,     0,     0,
  1945.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1946.      0,     0,     0,     0,  1663,     0,     0,     0,     0,     0,
  1947.      0,   509,     0,     0,     0,     0,     0,     0,     0,     0,
  1948.      0,     0,     0,     0,     0,   502,     0,     0,     0,     0,
  1949.      0,     0,   510,   511,   512,   513,   514,   515,   516,     0,
  1950.      0,     0,     0,     0,     0,     0,  1976,     0,  1663,     0,
  1951.      0,  1855,     0,     0,     0,     0,     0,     0,     0,     0,
  1952.   1865,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  1953.      0,   876,   877,     0,     0,     0,     0,     0,     0,     0,
  1954.      0,   326,   503,     0,     0,     0,  1885,     0,     0,     0,
  1955.    504,     0,     0,     0,     0,  1663,     0,     0,     0,   510,
  1956.    511,   512,   513,   514,   515,   516,     0,     0,     0,   890,
  1957.    891,     0,     0,   505,     0,     0,     0,  1883,     0,     0,
  1958.      0,   506,   507,   492,   493,   494,   495,   496,   497,   498,
  1959.    499,   500,   501,     0,     0,     0,  1913,     0,  1915,     0,
  1960.      0,   508,     0,     0,     0,     0,     0,   492,   493,   494,
  1961.    495,   496,   497,   498,   499,   500,   501,  1929,     0,     0,
  1962.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1963.      0,     0,     0,     0,   502,     0,   492,   493,   494,   495,
  1964.    496,   497,   498,   499,   500,   501,     0,     0,     0,     0,
  1965.   1946,     0,     0,     0,     0,     0,     0,  1950,   502,  1953,
  1966.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1967.      0,     0,     0,     0,     0,     0,     0,     0,     0,   509,
  1968.      0,  1965,     0,     0,     0,  1946,  1946,   502,     0,     0,
  1969.      0,   503,     0,     0,     0,     0,     0,     0,     0,   504,
  1970.      0,     0,     0,     0,     0,  1977,     0,     0,     0,     0,
  1971.      0,  1981,     0,     0,     0,   503,     0,     0,     0,     0,
  1972.      0,  1989,   505,   504,     0,   942,     0,     0,     0,     0,
  1973.    506,   507,     0,     0,     0,     0,     0,     0,     0,     0,
  1974.      0,     0,     0,     0,   503,     0,   505,     0,     0,     0,
  1975.    508,     0,   504,     0,   506,   507,   492,   493,   494,   495,
  1976.    496,   497,   498,   499,   500,   501,     0,   510,   511,   512,
  1977.    513,   514,   515,   516,   508,   505,     0,   896,   897,     0,
  1978.      0,     0,     0,   506,   507,   492,   493,   494,   495,   496,
  1979.    497,   498,   499,   500,   501,     0,     0,     0,     0,     0,
  1980.      0,     0,     0,   508,     0,     0,     0,   502,     0,     0,
  1981.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  1982.      0,     0,     0,     0,     0,     0,     0,     0,   509,     0,
  1983.      0,     0,     0,     0,     0,     0,   502,     0,     0,   492,
  1984.    493,   494,   495,   496,   497,   498,   499,   500,   501,     0,
  1985.      0,     0,   509,     0,     0,     0,     0,     0,     0,     0,
  1986.      0,     0,     0,     0,   503,     0,     0,     0,     0,     0,
  1987.      0,     0,   504,     0,     0,     0,     0,     0,     0,     0,
  1988.      0,   509,     0,     0,     0,     0,     0,     0,     0,     0,
  1989.    502,     0,     0,   503,     0,   505,     0,     0,     0,     0,
  1990.      0,   504,     0,   506,   507,   492,   493,   494,   495,   496,
  1991.    497,   498,   499,   500,   501,     0,   510,   511,   512,   513,
  1992.    514,   515,   516,   508,   505,     0,   701,   901,     0,     0,
  1993.      0,     0,   506,   507,     0,     0,     0,     0,     0,     0,
  1994.    510,   511,   512,   513,   514,   515,   516,   503,     0,     0,
  1995.    939,   940,   508,     0,     0,   504,   502,     0,   492,   493,
  1996.    494,   495,   496,   497,   498,   499,   500,   501,     0,   510,
  1997.    511,   512,   513,   514,   515,   516,     0,     0,   505,     0,
  1998.    943,     0,     0,     0,     0,     0,   506,   507,   492,   493,
  1999.    494,   495,   496,   497,   498,   499,   500,   501,     0,     0,
  2000.      0,   509,     0,     0,     0,     0,   508,     0,     0,   502,
  2001.      0,     0,     0,   503,     0,     0,     0,     0,     0,     0,
  2002.      0,   504,     0,     0,     0,     0,     0,     0,     0,     0,
  2003.    509,     0,     0,     0,     0,     0,     0,     0,     0,   502,
  2004.      0,     0,     0,     0,   505,     0,     0,     0,     0,     0,
  2005.      0,     0,   506,   507,     0,     0,     0,     0,     0,     0,
  2006.      0,     0,     0,     0,     0,     0,   503,     0,     0,     0,
  2007.      0,     0,   508,     0,   504,     0,     0,     0,     0,     0,
  2008.      0,     0,     0,     0,   509,     0,     0,     0,     0,   510,
  2009.    511,   512,   513,   514,   515,   516,   503,   505,     0,   959,
  2010.    960,     0,     0,     0,   504,   506,   507,   492,   493,   494,
  2011.    495,   496,   497,   498,   499,   500,   501,     0,   510,   511,
  2012.    512,   513,   514,   515,   516,   508,     0,   505,   962,   963,
  2013.      0,     0,     0,     0,     0,   506,   507,   492,   493,   494,
  2014.    495,   496,   497,   498,   499,   500,   501,     0,     0,     0,
  2015.    509,     0,     0,     0,     0,   508,     0,     0,   502,     0,
  2016.      0,   492,   493,   494,   495,   496,   497,   498,   499,   500,
  2017.    501,     0,   510,   511,   512,   513,   514,   515,   516,     0,
  2018.      0,     0,  1402,  1403,     0,     0,     0,     0,   502,     0,
  2019.    492,   493,   494,   495,   496,   497,   498,   499,   500,   501,
  2020.      0,     0,     0,   509,     0,     0,     0,     0,     0,     0,
  2021.      0,     0,   502,     0,     0,   503,     0,     0,     0,     0,
  2022.      0,     0,     0,   504,     0,     0,     0,     0,     0,     0,
  2023.      0,     0,     0,   509,     0,     0,     0,     0,   510,   511,
  2024.    512,   513,   514,   515,   516,   503,   505,     0,  1419,  1420,
  2025.      0,     0,     0,   504,   506,   507,   492,   493,   494,   495,
  2026.    496,   497,   498,   499,   500,   501,     0,     0,     0,   503,
  2027.      0,     0,     0,     0,   508,     0,   505,   504,     0,     0,
  2028.      0,     0,     0,     0,   506,   507,     0,     0,     0,     0,
  2029.      0,   510,   511,   512,   513,   514,   515,   516,   503,     0,
  2030.    505,  1687,  1688,     0,   508,     0,   504,   502,   506,   507,
  2031.    492,   493,   494,   495,   496,   497,   498,   499,   500,   501,
  2032.      0,   510,   511,   512,   513,   514,   515,   516,   508,   505,
  2033.      0,  1879,  1880,     0,     0,     0,     0,     0,     0,   492,
  2034.    493,   494,   495,   496,   497,   498,   499,   500,   501,     0,
  2035.      0,     0,   509,     0,     0,     0,     0,   508,     0,     0,
  2036.      0,   502,     0,     0,   503,     0,     0,     0,     0,     0,
  2037.      0,     0,   504,     0,     0,     0,     0,     0,     0,     0,
  2038.      0,     0,   509,     0,     0,     0,     0,     0,     0,     0,
  2039.    502,     0,     0,     0,     0,   505,     0,     0,     0,     0,
  2040.      0,     0,     0,   506,   507,     0,   509,     0,     0,     0,
  2041.      0,     0,     0,     0,     0,     0,     0,     0,   503,     0,
  2042.      0,     0,     0,   508,     0,     0,   504,     0,     0,     0,
  2043.      0,     0,     0,     0,     0,   509,     0,     0,     0,     0,
  2044.    510,   511,   512,   513,   514,   515,   516,   503,     0,   505,
  2045.      0,   862,     0,     0,     0,   504,     0,   506,   507,   492,
  2046.    493,   494,   495,   496,   497,   498,   499,   500,   501,     0,
  2047.    510,   511,   512,   513,   514,   515,   516,   508,   505,     0,
  2048.      0,   863,     0,     0,     0,     0,   506,   507,     0,     0,
  2049.      0,     0,     0,     0,   510,   511,   512,   513,   514,   515,
  2050.    516,   509,     0,     0,     0,   864,   508,     0,     0,     0,
  2051.    502,     0,   492,   493,   494,   495,   496,   497,   498,   499,
  2052.    500,   501,     0,   510,   511,   512,   513,   514,   515,   516,
  2053.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2054.      0,     0,     0,     0,     0,   492,   493,   494,   495,   496,
  2055.    497,   498,   499,   500,   501,   509,     0,     0,     0,     0,
  2056.      0,     0,     0,   502,     0,     0,     0,   503,     0,     0,
  2057.      0,     0,     0,     0,     0,   504,     0,     0,     0,     0,
  2058.      0,     0,     0,     0,   509,     0,     0,     0,     0,   510,
  2059.    511,   512,   513,   514,   515,   516,   502,     0,   505,     0,
  2060.    865,     0,     0,     0,     0,     0,   506,   507,     0,     0,
  2061.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2062.    503,     0,     0,     0,     0,     0,   508,     0,   504,     0,
  2063.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2064.      0,     0,     0,   510,   511,   512,   513,   514,   515,   516,
  2065.      0,   505,     0,   503,   870,     0,     0,     0,     0,   506,
  2066.    507,   504,   492,   493,   494,   495,   496,   497,   498,   499,
  2067.    500,   501,   510,   511,   512,   513,   514,   515,   516,   508,
  2068.      0,     0,     0,   871,   505,     0,     0,     0,     0,     0,
  2069.      0,     0,   506,   507,     0,     0,     0,     0,     0,     0,
  2070.      0,     0,     0,     0,   509,     0,     0,     0,     0,     0,
  2071.      0,     0,   508,   502,     0,     0,     0,     0,   492,   493,
  2072.    494,   495,   496,   497,   498,   499,   500,   501,     0,     0,
  2073.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2074.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2075.      0,     0,     0,     0,     0,     0,     0,   509,     0,     0,
  2076.      0,     0,     0,     0,     0,     0,     0,     0,     0,   502,
  2077.    503,     0,     0,     0,     0,     0,     0,     0,   504,   492,
  2078.    493,   494,   495,   496,   497,   498,   499,   500,   501,     0,
  2079.    509,     0,   510,   511,   512,   513,   514,   515,   516,     0,
  2080.      0,   505,     0,   883,     0,     0,     0,     0,     0,   506,
  2081.    507,     0,     0,   492,   493,   494,   495,   496,   497,   498,
  2082.    499,   500,   501,     0,     0,     0,   503,     0,     0,   508,
  2083.    502,     0,     0,     0,   504,   492,   493,   494,   495,   496,
  2084.    497,   498,   499,   500,   501,   510,   511,   512,   513,   514,
  2085.    515,   516,     0,     0,     0,     0,   885,   505,     0,     0,
  2086.      0,     0,     0,     0,   502,   506,   507,     0,     0,     0,
  2087.      0,     0,     0,     0,     0,     0,     0,     0,   510,   511,
  2088.    512,   513,   514,   515,   516,   508,   502,   503,     0,   886,
  2089.      0,     0,     0,     0,     0,   504,   492,   493,   494,   495,
  2090.    496,   497,   498,   499,   500,   501,     0,   509,     0,     0,
  2091.      0,     0,     0,     0,     0,     0,     0,     0,   505,     0,
  2092.      0,   503,     0,     0,     0,     0,   506,   507,     0,   504,
  2093.    492,   493,   494,   495,   496,   497,   498,   499,   500,   501,
  2094.      0,     0,     0,   503,     0,     0,   508,   502,     0,     0,
  2095.      0,   504,   505,     0,     0,     0,     0,     0,     0,     0,
  2096.    506,   507,     0,   509,     0,     0,     0,     0,     0,     0,
  2097.      0,     0,     0,     0,   505,     0,     0,     0,     0,     0,
  2098.    508,   502,   506,   507,     0,     0,     0,     0,     0,     0,
  2099.      0,     0,     0,     0,     0,   510,   511,   512,   513,   514,
  2100.    515,   516,   508,     0,   503,     0,   887,     0,     0,     0,
  2101.      0,     0,   504,     0,   492,   493,   494,   495,   496,   497,
  2102.    498,   499,   500,   501,   509,     0,     0,     0,     0,     0,
  2103.      0,     0,     0,     0,     0,   505,     0,     0,   503,     0,
  2104.      0,     0,     0,   506,   507,     0,   504,     0,     0,     0,
  2105.      0,   510,   511,   512,   513,   514,   515,   516,   509,     0,
  2106.      0,     0,   888,   508,     0,   502,     0,     0,     0,   505,
  2107.      0,     0,     0,     0,     0,     0,     0,   506,   507,     0,
  2108.    509,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2109.      0,     0,     0,     0,     0,     0,     0,   508,     0,     0,
  2110.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2111.      0,     0,   510,   511,   512,   513,   514,   515,   516,     0,
  2112.      0,     0,   503,   889,     0,     0,     0,     0,     0,     0,
  2113.    504,   492,   493,   494,   495,   496,   497,   498,   499,   500,
  2114.    501,   509,     0,     0,     0,     0,   510,   511,   512,   513,
  2115.    514,   515,   516,   505,     0,     0,     0,   892,     0,     0,
  2116.      0,   506,   507,     0,     0,     0,     0,     0,   510,   511,
  2117.    512,   513,   514,   515,   516,   509,     0,     0,     0,   894,
  2118.      0,   508,   502,     0,     0,     0,     0,   492,   493,   494,
  2119.    495,   496,   497,   498,   499,   500,   501,     0,     0,     0,
  2120.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2121.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2122.      0,     0,     0,     0,     0,     0,     0,     0,     0,   510,
  2123.    511,   512,   513,   514,   515,   516,     0,     0,   502,   503,
  2124.    895,     0,     0,     0,     0,     0,     0,   504,   492,   493,
  2125.    494,   495,   496,   497,   498,   499,   500,   501,     0,   509,
  2126.      0,     0,     0,   510,   511,   512,   513,   514,   515,   516,
  2127.    505,     0,     0,     0,   900,     0,     0,     0,   506,   507,
  2128.      0,     0,   492,   493,   494,   495,   496,   497,   498,   499,
  2129.    500,   501,     0,     0,     0,   503,     0,     0,   508,   502,
  2130.      0,     0,     0,   504,   492,   493,   494,   495,   496,   497,
  2131.    498,   499,   500,   501,     0,     0,     0,     0,     0,     0,
  2132.      0,     0,     0,     0,     0,     0,   505,     0,     0,     0,
  2133.      0,     0,     0,   502,   506,   507,     0,     0,     0,     0,
  2134.      0,     0,     0,     0,     0,     0,     0,   510,   511,   512,
  2135.    513,   514,   515,   516,   508,   502,   503,     0,   904,     0,
  2136.      0,     0,     0,     0,   504,   492,   493,   494,   495,   496,
  2137.    497,   498,   499,   500,   501,     0,   509,     0,     0,     0,
  2138.      0,     0,     0,     0,     0,     0,     0,   505,     0,     0,
  2139.    503,     0,     0,     0,     0,   506,   507,     0,   504,   492,
  2140.    493,   494,   495,   496,   497,   498,   499,   500,   501,     0,
  2141.      0,     0,   503,     0,     0,   508,   502,     0,     0,     0,
  2142.    504,   505,     0,     0,     0,     0,     0,     0,     0,   506,
  2143.    507,     0,   509,     0,     0,     0,     0,     0,     0,     0,
  2144.      0,     0,     0,   505,     0,     0,     0,     0,     0,   508,
  2145.    502,   506,   507,     0,     0,     0,     0,     0,     0,     0,
  2146.      0,     0,     0,     0,   510,   511,   512,   513,   514,   515,
  2147.    516,   508,     0,   503,     0,   905,     0,     0,     0,     0,
  2148.      0,   504,     0,   492,   493,   494,   495,   496,   497,   498,
  2149.    499,   500,   501,   509,     0,     0,     0,     0,     0,     0,
  2150.      0,     0,     0,     0,   505,     0,     0,   503,     0,     0,
  2151.      0,     0,   506,   507,     0,   504,     0,     0,     0,     0,
  2152.    510,   511,   512,   513,   514,   515,   516,   509,     0,     0,
  2153.      0,   906,   508,     0,   502,     0,     0,     0,   505,     0,
  2154.      0,     0,     0,     0,     0,     0,   506,   507,     0,   509,
  2155.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2156.      0,     0,     0,     0,     0,     0,   508,     0,     0,     0,
  2157.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2158.      0,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  2159.      0,   503,   937,     0,     0,     0,     0,     0,     0,   504,
  2160.    492,   493,   494,   495,   496,   497,   498,   499,   500,   501,
  2161.    509,     0,     0,     0,     0,   510,   511,   512,   513,   514,
  2162.    515,   516,   505,     0,     0,     0,   938,     0,     0,     0,
  2163.    506,   507,     0,     0,     0,     0,     0,   510,   511,   512,
  2164.    513,   514,   515,   516,   509,     0,     0,     0,   944,     0,
  2165.    508,   502,     0,     0,     0,     0,   492,   493,   494,   495,
  2166.    496,   497,   498,   499,   500,   501,     0,     0,     0,     0,
  2167.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2168.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2169.      0,     0,     0,     0,     0,     0,     0,     0,   510,   511,
  2170.    512,   513,   514,   515,   516,     0,     0,   502,   503,  1372,
  2171.      0,     0,     0,     0,     0,     0,   504,   492,   493,   494,
  2172.    495,   496,   497,   498,   499,   500,   501,     0,   509,     0,
  2173.      0,     0,   510,   511,   512,   513,   514,   515,   516,   505,
  2174.      0,     0,     0,  1379,     0,     0,     0,   506,   507,     0,
  2175.      0,   492,   493,   494,   495,   496,   497,   498,   499,   500,
  2176.    501,     0,     0,     0,   503,     0,     0,   508,   502,     0,
  2177.      0,     0,   504,   492,   493,   494,   495,   496,   497,   498,
  2178.    499,   500,   501,     0,     0,     0,     0,     0,     0,     0,
  2179.      0,     0,     0,     0,     0,   505,     0,     0,     0,     0,
  2180.      0,     0,   502,   506,   507,     0,     0,     0,     0,     0,
  2181.      0,     0,     0,     0,     0,     0,   510,   511,   512,   513,
  2182.    514,   515,   516,   508,   502,   503,     0,  1393,     0,     0,
  2183.      0,     0,     0,   504,   492,   493,   494,   495,   496,   497,
  2184.    498,   499,   500,   501,     0,   509,     0,     0,     0,     0,
  2185.      0,     0,     0,     0,     0,     0,   505,     0,     0,   503,
  2186.      0,     0,   949,     0,   506,   507,     0,   504,   492,   493,
  2187.    494,   495,   496,   497,   498,   499,   500,   501,     0,     0,
  2188.      0,   503,     0,     0,   508,   502,     0,     0,     0,   504,
  2189.    505,     0,     0,     0,     0,     0,     0,     0,   506,   507,
  2190.      0,   509,     0,     0,     0,     0,     0,     0,     0,     0,
  2191.      0,     0,   505,     0,     0,     0,     0,     0,   508,   502,
  2192.    506,   507,     0,     0,     0,     0,     0,     0,     0,     0,
  2193.      0,     0,     0,   510,   511,   512,   513,   514,   515,   516,
  2194.    508,     0,   503,     0,  1399,     0,     0,     0,     0,     0,
  2195.    504,     0,   492,   493,   494,   495,   496,   497,   498,   499,
  2196.    500,   501,   509,     0,     0,     0,     0,     0,     0,     0,
  2197.      0,     0,     0,   505,     0,     0,   503,     0,     0,     0,
  2198.      0,   506,   507,     0,   504,     0,     0,     0,     0,   510,
  2199.    511,   512,   513,   514,   515,   516,   509,     0,     0,     0,
  2200.   1414,   508,     0,   502,     0,     0,     0,   505,     0,     0,
  2201.      0,     0,     0,     0,     0,   506,   507,     0,   509,     0,
  2202.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2203.      0,     0,     0,     0,     0,   508,     0,     0,     0,     0,
  2204.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2205.    510,   511,   512,   513,   514,   515,   516,     0,     0,     0,
  2206.    503,  1421,     0,     0,     0,     0,     0,     0,   504,     0,
  2207.      0,     0,     0,     0,     0,     0,     0,     0,     0,   509,
  2208.      0,     0,     0,     0,   510,   511,   512,   513,   514,   515,
  2209.    516,   505,     0,     0,     0,  1681,     0,     0,     0,   506,
  2210.    507,     0,     0,  1417,     0,     0,   510,   511,   512,   513,
  2211.    514,   515,   516,   509,     0,     0,   950,     0,     0,   508,
  2212.      0,     0,     0,     0,     0,   492,   493,   494,   495,   496,
  2213.    497,   498,   499,   500,   501,     0,   492,   493,   494,   495,
  2214.    496,   497,   498,   499,   500,   501,     0,     0,     0,     0,
  2215.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2216.      0,     0,     0,     0,     0,     0,     0,   510,   511,   512,
  2217.    513,   514,   515,   516,     0,     0,   502,  1418,     0,     0,
  2218.      0,     0,     0,     0,     0,     0,     0,   502,     0,     0,
  2219.      0,     0,     0,     0,     0,     0,     0,   509,     0,     0,
  2220.      0,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  2221.      0,   701,   492,   493,   494,   495,   496,   497,   498,   499,
  2222.    500,   501,     0,     0,     0,     0,     0,     0,     0,     0,
  2223.      0,     0,     0,   503,     0,     0,     0,     0,     0,     0,
  2224.      0,   504,     0,     0,   503,     0,     0,     0,     0,     0,
  2225.      0,     0,   504,   492,   493,   494,   495,   496,   497,   498,
  2226.    499,   500,   501,   502,   505,     0,     0,     0,     0,     0,
  2227.      0,     0,   506,   507,     0,   505,     0,     0,     0,     0,
  2228.      0,     0,     0,   506,   507,   510,   511,   512,   513,   514,
  2229.    515,   516,   508,     0,     0,   869,     0,     0,     0,     0,
  2230.      0,     0,     0,   508,   502,     0,     0,     0,     0,     0,
  2231.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2232.    503,     0,     0,     0,     0,     0,     0,     0,   504,     0,
  2233.      0,     0,     0,     0,     0,     0,     0,   492,   493,   494,
  2234.    495,   496,   497,   498,   499,   500,   501,     0,     0,     0,
  2235.      0,   505,     0,     0,     0,     0,     0,     0,     0,   506,
  2236.    507,   503,     0,     0,     0,     0,     0,     0,     0,   504,
  2237.    509,     0,     0,     0,     0,     0,     0,     0,     0,   508,
  2238.      0,   509,     0,     0,     0,     0,     0,     0,   502,     0,
  2239.      0,     0,   505,     0,     0,     0,     0,     0,     0,     0,
  2240.    506,   507,     0,     0,     0,   492,   493,   494,   495,   496,
  2241.    497,   498,   499,   500,   501,     0,     0,     0,     0,     0,
  2242.    508,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2243.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2244.      0,     0,     0,     0,     0,   503,     0,     0,     0,     0,
  2245.      0,     0,     0,   504,     0,     0,   502,   509,   510,   511,
  2246.    512,   513,   514,   515,   516,     0,     0,     0,   884,   510,
  2247.    511,   512,   513,   514,   515,   516,   505,     0,     0,   899,
  2248.      0,     0,     0,     0,   506,   507,   492,   493,   494,   495,
  2249.    496,   497,   498,   499,   500,   501,     0,     0,   509,     0,
  2250.      0,     0,     0,     0,   508,     0,     0,     0,     0,     0,
  2251.      0,     0,     0,   503,     0,     0,     0,     0,     0,     0,
  2252.      0,   504,     0,     0,     0,     0,     0,     0,     0,     0,
  2253.      0,     0,     0,     0,     0,     0,     0,   502,     0,     0,
  2254.      0,     0,     0,     0,   505,   510,   511,   512,   513,   514,
  2255.    515,   516,   506,   507,     0,   903,     0,     0,     0,     0,
  2256.      0,   492,   493,   494,   495,   496,   497,   498,   499,   500,
  2257.    501,     0,   508,     0,     0,     0,     0,     0,     0,     0,
  2258.      0,     0,   509,     0,     0,     0,   510,   511,   512,   513,
  2259.    514,   515,   516,     0,   503,     0,   907,     0,     0,     0,
  2260.      0,     0,   504,     0,     0,     0,     0,     0,     0,     0,
  2261.      0,     0,   502,   492,   493,   494,   495,   496,   497,   498,
  2262.    499,   500,   501,     0,     0,   505,     0,     0,     0,     0,
  2263.      0,     0,     0,   506,   507,     0,     0,   492,   493,   494,
  2264.    495,   496,   497,   498,   499,   500,   501,     0,     0,     0,
  2265.    509,     0,     0,   508,     0,     0,     0,     0,     0,     0,
  2266.      0,     0,     0,     0,   502,     0,     0,     0,     0,   503,
  2267.    510,   511,   512,   513,   514,   515,   516,   504,     0,     0,
  2268.    908,     0,     0,     0,     0,     0,     0,     0,   502,     0,
  2269.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2270.    505,     0,     0,     0,     0,     0,     0,     0,   506,   507,
  2271.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2272.      0,   503,     0,     0,     0,     0,     0,     0,   508,   504,
  2273.      0,   509,     0,     0,     0,     0,     0,     0,   510,   511,
  2274.    512,   513,   514,   515,   516,   503,     0,     0,   909,     0,
  2275.      0,     0,   505,   504,     0,     0,     0,     0,     0,     0,
  2276.    506,   507,   492,   493,   494,   495,   496,   497,   498,   499,
  2277.    500,   501,     0,     0,     0,     0,   505,     0,     0,     0,
  2278.    508,     0,     0,     0,   506,   507,     0,     0,     0,     0,
  2279.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2280.      0,     0,     0,     0,   508,     0,   509,     0,     0,     0,
  2281.      0,     0,     0,   502,     0,     0,     0,     0,     0,   510,
  2282.    511,   512,   513,   514,   515,   516,     0,     0,     0,   910,
  2283.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2284.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2285.      0,     0,     0,     0,     0,     0,     0,     0,   509,     0,
  2286.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2287.    503,     0,     0,     0,     0,     0,     0,     0,   504,     0,
  2288.      0,     0,   509,   492,   493,   494,   495,   496,   497,   498,
  2289.    499,   500,   501,     0,   510,   511,   512,   513,   514,   515,
  2290.    516,   505,     0,     0,   936,     0,     0,     0,     0,   506,
  2291.    507,     0,   492,   493,   494,   495,   496,   497,   498,   499,
  2292.    500,   501,     0,     0,     0,     0,     0,     0,     0,   508,
  2293.      0,     0,     0,     0,   502,     0,   492,   493,   494,   495,
  2294.    496,   497,   498,   499,   500,   501,   510,   511,   512,   513,
  2295.    514,   515,   516,     0,     0,     0,   941,     0,     0,     0,
  2296.      0,     0,     0,   502,     0,     0,     0,     0,     0,     0,
  2297.    510,   511,   512,   513,   514,   515,   516,     0,     0,     0,
  2298.    958,     0,     0,     0,     0,     0,     0,   502,     0,     0,
  2299.      0,   503,     0,     0,     0,     0,     0,     0,     0,   504,
  2300.      0,     0,     0,     0,     0,     0,     0,   509,     0,     0,
  2301.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2302.    503,     0,   505,     0,     0,     0,     0,     0,   504,     0,
  2303.    506,   507,     0,     0,     0,     0,     0,     0,     0,     0,
  2304.      0,     0,     0,     0,   503,     0,     0,     0,     0,     0,
  2305.    508,   505,   504,     0,     0,     0,     0,     0,     0,   506,
  2306.    507,   492,   493,   494,   495,   496,   497,   498,   499,   500,
  2307.    501,     0,     0,     0,     0,   505,     0,     0,     0,   508,
  2308.      0,     0,     0,   506,   507,   492,   493,   494,   495,   496,
  2309.    497,   498,   499,   500,   501,   510,   511,   512,   513,   514,
  2310.    515,   516,     0,   508,     0,   961,     0,     0,     0,     0,
  2311.      0,     0,   502,     0,     0,   492,   493,   494,   495,   496,
  2312.    497,   498,   499,   500,   501,     0,     0,     0,   509,     0,
  2313.      0,     0,     0,     0,     0,     0,   502,     0,     0,     0,
  2314.      0,     0,     0,     0,     0,   492,   493,   494,   495,   496,
  2315.    497,   498,   499,   500,   501,     0,     0,   509,     0,     0,
  2316.      0,     0,     0,     0,     0,     0,   502,     0,     0,   503,
  2317.      0,     0,     0,     0,     0,     0,     0,   504,     0,     0,
  2318.      0,   509,     0,     0,     0,     0,     0,     0,     0,     0,
  2319.      0,     0,     0,   503,     0,     0,   502,     0,     0,     0,
  2320.    505,   504,     0,     0,     0,     0,     0,     0,   506,   507,
  2321.      0,     0,     0,     0,     0,     0,   510,   511,   512,   513,
  2322.    514,   515,   516,   503,   505,     0,  1373,     0,   508,     0,
  2323.      0,   504,   506,   507,     0,     0,     0,     0,     0,     0,
  2324.      0,     0,     0,     0,     0,   510,   511,   512,   513,   514,
  2325.    515,   516,   508,   503,   505,  1377,     0,     0,     0,     0,
  2326.      0,   504,   506,   507,     0,     0,     0,     0,     0,   510,
  2327.    511,   512,   513,   514,   515,   516,     0,     0,     0,  1378,
  2328.      0,     0,   508,     0,   505,     0,     0,     0,     0,     0,
  2329.      0,     0,   506,   507,   492,   493,   494,   495,   496,   497,
  2330.    498,   499,   500,   501,     0,     0,   509,     0,     0,     0,
  2331.      0,     0,   508,     0,     0,     0,     0,     0,   492,   493,
  2332.    494,   495,   496,   497,   498,   499,   500,   501,     0,     0,
  2333.    509,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2334.      0,     0,     0,     0,     0,   502,     0,     0,     0,     0,
  2335.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2336.    509,     0,     0,     0,     0,     0,     0,     0,     0,   502,
  2337.      0,     0,     0,     0,     0,     0,     0,     0,   492,   493,
  2338.    494,   495,   496,   497,   498,   499,   500,   501,     0,     0,
  2339.    509,     0,     0,     0,   510,   511,   512,   513,   514,   515,
  2340.    516,     0,   503,     0,  1381,     0,     0,     0,     0,     0,
  2341.    504,     0,     0,     0,     0,     0,     0,     0,   510,   511,
  2342.    512,   513,   514,   515,   516,     0,   503,     0,  1392,   502,
  2343.      0,     0,     0,   505,   504,     0,     0,     0,     0,     0,
  2344.      0,   506,   507,     0,     0,     0,     0,     0,   510,   511,
  2345.    512,   513,   514,   515,   516,     0,     0,   505,  1394,     0,
  2346.      0,   508,     0,     0,     0,   506,   507,     0,     0,     0,
  2347.      0,     0,     0,     0,     0,     0,     0,     0,   510,   511,
  2348.    512,   513,   514,   515,   516,   508,   503,     0,  1397,     0,
  2349.      0,     0,     0,     0,   504,   492,   493,   494,   495,   496,
  2350.    497,   498,   499,   500,   501,     0,     0,     0,     0,     0,
  2351.      0,     0,     0,     0,     0,     0,     0,   505,     0,     0,
  2352.      0,     0,     0,     0,     0,   506,   507,     0,   492,   493,
  2353.    494,   495,   496,   497,   498,   499,   500,   501,     0,   509,
  2354.      0,     0,     0,     0,     0,   508,   502,     0,     0,     0,
  2355.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2356.      0,     0,     0,   509,     0,     0,     0,     0,     0,     0,
  2357.      0,     0,     0,     0,     0,     0,     0,     0,     0,   502,
  2358.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2359.    492,   493,   494,   495,   496,   497,   498,   499,   500,   501,
  2360.      0,     0,     0,   503,     0,     0,     0,     0,     0,     0,
  2361.      0,   504,   492,   493,   494,   495,   496,   497,   498,   499,
  2362.    500,   501,     0,   509,     0,     0,     0,   510,   511,   512,
  2363.    513,   514,   515,   516,   505,     0,   503,  1401,     0,     0,
  2364.      0,   502,   506,   507,   504,     0,     0,     0,     0,     0,
  2365.      0,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  2366.      0,  1406,   508,   502,     0,     0,     0,   505,     0,     0,
  2367.      0,     0,     0,     0,     0,   506,   507,     0,     0,     0,
  2368.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2369.      0,     0,     0,     0,     0,   508,     0,     0,   503,     0,
  2370.      0,     0,     0,     0,     0,     0,   504,     0,     0,     0,
  2371.      0,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  2372.    503,  1415,     0,     0,     0,     0,     0,     0,   504,   505,
  2373.      0,     0,     0,     0,     0,     0,     0,   506,   507,     0,
  2374.    509,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2375.      0,   505,     0,     0,     0,     0,     0,   508,     0,   506,
  2376.    507,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2377.      0,     0,     0,   509,     0,     0,     0,     0,     0,   508,
  2378.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2379.      0,   492,   493,   494,   495,   496,   497,   498,   499,   500,
  2380.    501,     0,     0,     0,     0,   492,   493,   494,   495,   496,
  2381.    497,   498,   499,   500,   501,     0,     0,     0,     0,     0,
  2382.      0,     0,     0,     0,     0,     0,     0,     0,   510,   511,
  2383.    512,   513,   514,   515,   516,   509,     0,     0,  1416,     0,
  2384.      0,     0,   502,     0,     0,     0,   492,   493,   494,   495,
  2385.    496,   497,   498,   499,   500,   501,   502,   509,     0,     0,
  2386.      0,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  2387.      0,  1425,     0,     0,     0,     0,     0,     0,     0,     0,
  2388.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2389.      0,     0,     0,     0,     0,     0,     0,   502,     0,   503,
  2390.      0,     0,     0,     0,     0,     0,     0,   504,     0,     0,
  2391.      0,     0,     0,   503,     0,     0,     0,     0,     0,     0,
  2392.      0,   504,     0,   510,   511,   512,   513,   514,   515,   516,
  2393.    505,     0,     0,  1427,     0,     0,     0,     0,   506,   507,
  2394.      0,     0,     0,     0,   505,   510,   511,   512,   513,   514,
  2395.    515,   516,   506,   507,   503,  1428,     0,     0,   508,     0,
  2396.      0,     0,   504,     0,     0,     0,     0,     0,     0,     0,
  2397.      0,     0,   508,     0,     0,     0,     0,     0,     0,     0,
  2398.      0,     0,     0,     0,     0,   505,     0,     0,     0,     0,
  2399.      0,     0,     0,   506,   507,     0,     0,     0,   492,   493,
  2400.    494,   495,   496,   497,   498,   499,   500,   501,     0,     0,
  2401.      0,     0,     0,   508,     0,     0,     0,     0,     0,     0,
  2402.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2403.      0,     0,     0,     0,     0,     0,   509,     0,     0,   492,
  2404.    493,   494,   495,   496,   497,   498,   499,   500,   501,   502,
  2405.    509,   492,   493,   494,   495,   496,   497,   498,   499,   500,
  2406.    501,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2407.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2408.    492,   493,   494,   495,   496,   497,   498,   499,   500,   501,
  2409.    502,   509,     0,     0,     0,     0,     0,     0,     0,     0,
  2410.      0,     0,   502,     0,     0,     0,   503,     0,     0,     0,
  2411.      0,     0,     0,     0,   504,     0,     0,     0,     0,     0,
  2412.      0,     0,     0,     0,   510,   511,   512,   513,   514,   515,
  2413.    516,   502,     0,     0,  1429,     0,     0,   505,   510,   511,
  2414.    512,   513,   514,   515,   516,   506,   507,   503,  1572,     0,
  2415.      0,     0,     0,     0,     0,   504,     0,     0,     0,   503,
  2416.      0,     0,     0,     0,     0,   508,     0,   504,     0,     0,
  2417.      0,     0,     0,     0,     0,     0,     0,     0,   505,   510,
  2418.    511,   512,   513,   514,   515,   516,   506,   507,   503,  1573,
  2419.    505,     0,     0,     0,     0,     0,   504,     0,   506,   507,
  2420.      0,     0,     0,     0,     0,     0,   508,     0,     0,     0,
  2421.      0,     0,     0,     0,     0,     0,     0,     0,   508,   505,
  2422.      0,     0,     0,     0,     0,     0,     0,   506,   507,     0,
  2423.      0,     0,   492,   493,   494,   495,   496,   497,   498,   499,
  2424.    500,   501,     0,   509,     0,     0,     0,   508,     0,     0,
  2425.      0,     0,     0,   492,   493,   494,   495,   496,   497,   498,
  2426.    499,   500,   501,     0,     0,     0,     0,     0,     0,     0,
  2427.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2428.      0,     0,     0,   502,   509,     0,     0,     0,     0,     0,
  2429.      0,     0,     0,     0,     0,     0,   509,     0,     0,     0,
  2430.      0,     0,     0,     0,   502,     0,     0,     0,     0,     0,
  2431.      0,     0,     0,   492,   493,   494,   495,   496,   497,   498,
  2432.    499,   500,   501,     0,     0,   509,     0,     0,     0,     0,
  2433.      0,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  2434.    503,  1574,     0,     0,     0,     0,     0,     0,   504,     0,
  2435.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2436.      0,   503,     0,     0,   502,     0,     0,     0,     0,   504,
  2437.      0,   505,   510,   511,   512,   513,   514,   515,   516,   506,
  2438.    507,     0,  1682,     0,   510,   511,   512,   513,   514,   515,
  2439.    516,     0,   505,     0,  1683,     0,     0,     0,     0,   508,
  2440.    506,   507,     0,     0,     0,     0,     0,     0,     0,     0,
  2441.      0,     0,     0,   510,   511,   512,   513,   514,   515,   516,
  2442.    508,   503,     0,  1690,     0,     0,     0,     0,     0,   504,
  2443.      0,     0,     0,   492,   493,   494,   495,   496,   497,   498,
  2444.    499,   500,   501,     0,     0,     0,     0,     0,     0,     0,
  2445.      0,     0,   505,     0,     0,     0,     0,     0,     0,     0,
  2446.    506,   507,     0,     0,     0,     0,   492,   493,   494,   495,
  2447.    496,   497,   498,   499,   500,   501,     0,   509,     0,     0,
  2448.    508,     0,     0,     0,   502,     0,     0,   492,   493,   494,
  2449.    495,   496,   497,   498,   499,   500,   501,     0,   509,     0,
  2450.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2451.      0,     0,     0,     0,     0,     0,     0,   502,     0,     0,
  2452.      0,     0,     0,     0,     0,     0,     0,     0,   492,   493,
  2453.    494,   495,   496,   497,   498,   499,   500,   501,   502,     0,
  2454.      0,   503,     0,     0,     0,     0,     0,     0,     0,   504,
  2455.      0,     0,     0,     0,     0,     0,     0,     0,   509,     0,
  2456.      0,     0,     0,     0,     0,   510,   511,   512,   513,   514,
  2457.    515,   516,   505,     0,   503,  1691,     0,     0,     0,   502,
  2458.    506,   507,   504,     0,     0,     0,   510,   511,   512,   513,
  2459.    514,   515,   516,     0,     0,   503,  1693,     0,     0,     0,
  2460.    508,     0,     0,   504,     0,   505,     0,     0,     0,     0,
  2461.      0,     0,     0,   506,   507,   492,   493,   494,   495,   496,
  2462.    497,   498,   499,   500,   501,     0,   505,     0,     0,     0,
  2463.      0,     0,     0,   508,   506,   507,   503,     0,     0,     0,
  2464.      0,     0,     0,     0,   504,     0,   510,   511,   512,   513,
  2465.    514,   515,   516,     0,   508,     0,  1694,     0,     0,     0,
  2466.      0,     0,     0,     0,     0,     0,   502,   505,     0,     0,
  2467.      0,     0,     0,     0,     0,   506,   507,     0,   509,     0,
  2468.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2469.      0,     0,     0,     0,     0,   508,     0,     0,     0,     0,
  2470.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2471.      0,   509,     0,     0,     0,     0,     0,     0,     0,     0,
  2472.      0,     0,     0,   503,     0,     0,     0,     0,     0,     0,
  2473.      0,   504,   509,   492,   493,   494,   495,   496,   497,   498,
  2474.    499,   500,   501,   492,   493,   494,   495,   496,   497,   498,
  2475.    499,   500,   501,     0,   505,     0,     0,     0,     0,     0,
  2476.      0,     0,   506,   507,     0,     0,   510,   511,   512,   513,
  2477.    514,   515,   516,   509,     0,     0,  1695,     0,     0,     0,
  2478.      0,     0,   508,     0,   502,     0,     0,     0,     0,     0,
  2479.      0,     0,     0,     0,   502,     0,     0,     0,     0,   510,
  2480.    511,   512,   513,   514,   515,   516,     0,     0,     0,  1696,
  2481.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2482.    510,   511,   512,   513,   514,   515,   516,     0,     0,     0,
  2483.   1816,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2484.      0,   503,     0,     0,     0,     0,     0,     0,     0,   504,
  2485.      0,   503,     0,     0,     0,     0,     0,     0,     0,   504,
  2486.    509,   510,   511,   512,   513,   514,   515,   516,     0,     0,
  2487.      0,  1878,   505,     0,     0,     0,     0,     0,     0,     0,
  2488.    506,   507,   505,     0,     0,     0,     0,     0,     0,     0,
  2489.    506,   507,     0,     0,     0,     0,     0,     0,     0,     0,
  2490.    508,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  2491.    508,     0,     0,     0,     0,     0,   492,   493,   494,   495,
  2492.    496,   497,   498,   499,   500,   501,   492,   493,   494,   495,
  2493.    496,   497,   498,   499,   500,   501,     0,     0,     0,     0,
  2494.      0,     0,     0,     0,     0,     0,     0,     0,   510,   511,
  2495.    512,   513,   514,   515,   516,     0,     0,     0,  1957,     0,
  2496.      0,     0,     0,     0,     0,     0,     0,   502,     0,     0,
  2497.      0,     0,     0,     0,     0,     0,     0,   502,   509,     0,
  2498.      0,     0,     0,     0,     0,     0,     0,     0,   509,   638,
  2499.    639,   640,   641,     0,     0,   911,   912,   913,   914,   915,
  2500.    916,   917,   918,   919,   920,   642,   643,   644,     0,     0,
  2501.      0,     0,     0,     0,     0,     0,   645,   646,     0,   647,
  2502.      0,     0,     0,     0,   503,     0,     0,     0,   648,     0,
  2503.      0,     0,   504,     0,   503,     0,     0,     0,     0,     0,
  2504.      0,     0,   504,     0,   649,   650,   921,     0,     0,     0,
  2505.      0,     0,     0,     0,     0,   505,     0,     0,     0,  1384,
  2506.      0,     0,     0,   506,   507,   505,   510,   511,   512,   513,
  2507.    514,   515,   516,   506,   507,     0,   510,   511,   512,   513,
  2508.    514,   515,   516,   508,     0,     0,     0,     0,     0,     0,
  2509.      0,     0,     0,   508,     0,     0,     0,     0,     0,     0,
  2510.      0,     0,     0,   922,     0,     0,     0,     0,     0,     0,
  2511.      0,   923,     0,     0,     0,     0,     0,     0,     0,   976,
  2512.    977,   978,   979,   980,   981,   982,   983,   984,   985,     0,
  2513.      0,     0,     0,     0,   924,     0,     0,     0,     0,     0,
  2514.      0,     0,   925,   926,     0,     0,     0,     0,     0,     0,
  2515.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,