« back to all changes in this revision
Viewing changes to toke.c
- browse files at revision 50
- compare with another revision
- download diff
- download tarball
- view history from revision 50
- Committer: Bazaar Package Importer
- Author(s): Michael Vogt
- Date: 2011-05-23 09:50:37 UTC
- mfrom: (1.3.13 sid)
- Revision ID: james.westby@ubuntu.com-20110523095037-639dpkfk6qct0m0m
Tags: 1.7.4p6-1ubuntu1
* Merge from debian/unstable, remaining changes:
- debian/patches/keep_home_by_default.patch:
+ Set HOME in initial_keepenv_table.
- debian/rules:
+ compile with --without-lecture --with-tty-tickets (Ubuntu specific)
+ install man/man8/sudo_root.8 (Ubuntu specific)
+ install apport hooks
- debian/sudoers:
+ grant admin group sudo access
- debian/sudo-ldap.dirs, debian/sudo.dirs:
+ add usr/share/apport/package-hooks
* drop debian/patches/CVE-2011-0010.patch, applied upstream now
- debian/patches/keep_home_by_default.patch:
+ Set HOME in initial_keepenv_table.
- debian/rules:
+ compile with --without-lecture --with-tty-tickets (Ubuntu specific)
+ install man/man8/sudo_root.8 (Ubuntu specific)
+ install apport hooks
- debian/sudoers:
+ grant admin group sudo access
- debian/sudo-ldap.dirs, debian/sudo.dirs:
+ add usr/share/apport/package-hooks
* drop debian/patches/CVE-2011-0010.patch, applied upstream now
- files added:
- .pc/debian-changes-1.7.4p6-1
- .pc/hurd-have-getutid.diff
- files removed:
- .pc/CVE-2011-0010.patch
- .pc/debian-changes-1.7.4p4-5
- files modified:
- .pc/applied-patches
added
removed
toke.c
1
/* $OpenBSD: flex.skl,v 1.10 2007/01/26 14:38:19 tsi Exp $ */
1
/* $OpenBSD: flex.skl,v 1.11 2010/08/04 18:24:50 millert Exp $ */
2
2
3
3
/* A lexical scanner generated by flex */
4
4
5
5
/* Scanner skeleton version:
6
* $Header: /home/cvs/openbsd/src/usr.bin/lex/flex.skl,v 1.10 2007/01/26 14:38:19 tsi Exp $
6
* $Header: /home/cvs/openbsd/src/usr.bin/lex/flex.skl,v 1.11 2010/08/04 18:24:50 millert Exp $
7
7
*/
8
8
9
9
#define FLEX_SCANNER
288
288
*yy_cp = '\0'; \
289
289
yy_c_buf_p = yy_cp;
290
290
291
#define YY_NUM_RULES 50
292
#define YY_END_OF_BUFFER 51
293
static yyconst short int yy_accept[555] =
291
#define YY_NUM_RULES 54
292
#define YY_END_OF_BUFFER 55
293
static yyconst short int yy_accept[593] =
294
294
{ 0,
295
295
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
296
0, 0, 51, 38, 46, 45, 44, 38, 49, 38,
297
39, 40, 38, 41, 38, 38, 38, 38, 43, 42,
298
49, 33, 33, 33, 33, 33, 33, 49, 38, 38,
299
46, 49, 33, 33, 33, 33, 33, 1, 49, 38,
300
38, 16, 15, 16, 15, 15, 49, 49, 49, 2,
301
8, 7, 8, 3, 8, 4, 49, 12, 12, 12,
302
10, 11, 38, 0, 46, 44, 38, 0, 0, 0,
303
48, 0, 38, 28, 0, 0, 27, 0, 36, 36,
304
0, 38, 38, 0, 38, 38, 38, 38, 0, 31,
305
306
33, 33, 33, 33, 33, 33, 38, 47, 38, 46,
307
0, 0, 0, 0, 0, 0, 38, 38, 38, 38,
308
38, 1, 0, 34, 34, 0, 38, 16, 16, 14,
309
13, 14, 0, 0, 2, 8, 0, 5, 6, 8,
310
8, 12, 0, 12, 12, 0, 9, 37, 37, 0,
311
0, 28, 0, 0, 38, 38, 38, 38, 38, 0,
312
0, 31, 31, 33, 33, 33, 33, 33, 33, 33,
313
38, 0, 0, 0, 0, 0, 0, 38, 38, 38,
314
38, 38, 0, 38, 9, 0, 38, 38, 38, 38,
315
38, 38, 0, 32, 32, 32, 0, 0, 31, 31,
316
317
31, 31, 31, 31, 31, 33, 33, 33, 33, 33,
318
33, 33, 38, 0, 0, 0, 0, 0, 0, 38,
319
38, 38, 38, 38, 38, 38, 0, 0, 32, 32,
320
32, 0, 31, 31, 0, 31, 31, 31, 31, 31,
321
31, 31, 31, 31, 31, 31, 0, 24, 33, 33,
322
33, 33, 33, 38, 0, 0, 0, 0, 38, 38,
323
38, 38, 38, 38, 38, 38, 0, 32, 0, 31,
324
31, 31, 0, 0, 0, 31, 31, 31, 31, 31,
325
31, 31, 31, 31, 31, 31, 31, 31, 33, 33,
326
33, 33, 33, 38, 0, 0, 0, 38, 38, 38,
327
328
29, 29, 29, 0, 0, 31, 31, 31, 31, 31,
329
31, 31, 0, 0, 0, 0, 0, 31, 31, 31,
330
31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
331
31, 0, 23, 33, 33, 0, 22, 0, 25, 38,
332
0, 0, 0, 38, 38, 38, 38, 29, 29, 29,
333
29, 0, 31, 0, 31, 31, 31, 31, 31, 31,
334
31, 31, 31, 31, 31, 0, 0, 0, 31, 31,
335
31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
336
31, 33, 33, 35, 0, 0, 0, 38, 19, 34,
337
38, 30, 30, 30, 31, 0, 0, 0, 31, 31,
338
339
31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
340
31, 0, 0, 0, 0, 0, 31, 31, 31, 31,
341
31, 31, 31, 31, 0, 21, 0, 26, 0, 19,
342
0, 0, 38, 0, 38, 38, 38, 30, 30, 30,
343
30, 30, 0, 0, 0, 0, 0, 31, 31, 31,
344
31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
345
31, 31, 31, 31, 31, 31, 31, 0, 0, 0,
346
20, 19, 0, 0, 19, 0, 38, 38, 38, 30,
347
30, 0, 0, 0, 31, 31, 31, 31, 31, 31,
348
31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
349
350
31, 31, 20, 0, 17, 0, 38, 38, 38, 38,
351
38, 0, 0, 0, 0, 0, 31, 31, 31, 31,
352
31, 31, 31, 31, 0, 38, 38, 38, 31, 31,
353
31, 31, 31, 31, 0, 38, 38, 38, 38, 38,
354
31, 31, 31, 31, 31, 0, 18, 29, 29, 29,
355
29, 29, 29, 0
296
0, 0, 55, 42, 50, 49, 48, 42, 53, 42,
297
43, 44, 42, 45, 42, 42, 42, 42, 47, 46,
298
53, 37, 37, 37, 37, 37, 37, 37, 53, 42,
299
42, 50, 53, 37, 37, 37, 37, 37, 1, 53,
300
42, 42, 16, 15, 16, 15, 15, 53, 53, 53,
301
2, 8, 7, 8, 3, 8, 4, 53, 12, 12,
302
12, 10, 11, 42, 0, 50, 48, 42, 0, 0,
303
0, 52, 0, 42, 32, 0, 0, 31, 0, 40,
304
40, 0, 42, 42, 0, 42, 42, 42, 42, 0,
305
306
35, 37, 37, 37, 37, 37, 37, 37, 42, 51,
307
42, 50, 0, 0, 0, 0, 0, 0, 42, 42,
308
42, 42, 42, 1, 0, 38, 38, 0, 42, 16,
309
16, 14, 13, 14, 0, 0, 2, 8, 0, 5,
310
6, 8, 8, 12, 0, 12, 12, 0, 9, 41,
311
41, 0, 0, 32, 0, 0, 42, 42, 42, 42,
312
42, 0, 0, 35, 35, 37, 37, 37, 37, 37,
313
37, 37, 37, 37, 42, 0, 0, 0, 0, 0,
314
0, 42, 42, 42, 42, 42, 0, 42, 9, 0,
315
42, 42, 42, 42, 42, 42, 0, 36, 36, 36,
316
317
0, 0, 35, 35, 35, 35, 35, 35, 35, 37,
318
37, 37, 37, 37, 37, 37, 37, 37, 42, 0,
319
0, 0, 0, 0, 0, 42, 42, 42, 42, 42,
320
42, 42, 0, 0, 36, 36, 36, 0, 35, 35,
321
0, 35, 35, 35, 35, 35, 35, 35, 35, 35,
322
35, 35, 0, 24, 37, 37, 37, 37, 37, 37,
323
37, 37, 42, 0, 0, 0, 0, 42, 42, 42,
324
42, 42, 42, 42, 42, 0, 36, 0, 35, 35,
325
35, 0, 0, 0, 35, 35, 35, 35, 35, 35,
326
35, 35, 35, 35, 35, 35, 35, 37, 37, 37,
327
328
37, 37, 37, 37, 37, 42, 0, 0, 0, 42,
329
42, 42, 33, 33, 33, 0, 0, 35, 35, 35,
330
35, 35, 35, 35, 0, 0, 0, 0, 0, 35,
331
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
332
35, 35, 35, 37, 37, 0, 23, 37, 37, 37,
333
37, 0, 22, 0, 25, 42, 0, 0, 0, 42,
334
42, 42, 42, 33, 33, 33, 33, 0, 35, 0,
335
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
336
35, 0, 0, 0, 35, 35, 35, 35, 35, 35,
337
35, 35, 35, 35, 35, 35, 35, 37, 37, 37,
338
339
37, 37, 37, 39, 0, 0, 0, 42, 19, 38,
340
42, 34, 34, 34, 35, 0, 0, 0, 35, 35,
341
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
342
35, 0, 0, 0, 0, 0, 35, 35, 35, 35,
343
35, 35, 35, 35, 37, 37, 37, 37, 0, 21,
344
0, 26, 0, 19, 0, 0, 42, 0, 42, 42,
345
42, 34, 34, 34, 34, 34, 0, 0, 0, 0,
346
0, 35, 35, 35, 35, 35, 35, 35, 35, 35,
347
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
348
35, 0, 29, 37, 37, 37, 0, 0, 0, 20,
349
350
19, 0, 0, 19, 0, 42, 42, 42, 34, 34,
351
0, 0, 0, 35, 35, 35, 35, 35, 35, 35,
352
35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
353
35, 0, 27, 37, 37, 20, 0, 17, 0, 42,
354
42, 42, 42, 42, 0, 0, 0, 0, 0, 35,
355
35, 35, 35, 35, 35, 35, 35, 0, 30, 37,
356
0, 42, 42, 42, 35, 35, 35, 35, 35, 35,
357
0, 28, 0, 42, 42, 42, 42, 42, 35, 35,
358
35, 35, 35, 0, 18, 33, 33, 33, 33, 33,
359
33, 0
360
356
361
} ;
357
362
358
363
static yyconst int yy_ec[256] =
364
369
9, 10, 11, 12, 13, 14, 15, 16, 17, 18,
365
370
19, 20, 21, 22, 22, 22, 23, 24, 1, 1,
366
371
25, 26, 10, 27, 28, 29, 30, 31, 32, 29,
367
33, 34, 33, 33, 33, 33, 33, 35, 36, 37,
368
33, 38, 39, 40, 41, 42, 43, 44, 33, 33,
369
10, 45, 10, 1, 46, 1, 47, 48, 49, 50,
372
33, 34, 35, 36, 36, 37, 36, 38, 39, 40,
373
36, 41, 42, 43, 44, 45, 46, 47, 36, 36,
374
10, 48, 10, 1, 49, 1, 50, 51, 52, 53,
370
375
371
51, 52, 53, 53, 54, 53, 53, 55, 56, 57,
372
58, 53, 53, 59, 60, 61, 62, 53, 53, 53,
373
53, 53, 1, 1, 1, 1, 1, 1, 1, 1,
376
54, 55, 56, 56, 57, 56, 56, 58, 59, 60,
377
61, 56, 56, 62, 63, 64, 65, 56, 56, 56,
378
56, 56, 1, 1, 1, 1, 1, 1, 1, 1,
374
379
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
375
380
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
376
381
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
387
392
1, 1, 1, 1, 1
388
393
} ;
389
394
390
static yyconst int yy_meta[63] =
395
static yyconst int yy_meta[66] =
391
396
{ 0,
392
397
1, 2, 3, 4, 5, 2, 1, 6, 6, 1,
393
398
1, 2, 1, 7, 8, 9, 9, 9, 9, 9,
394
399
9, 9, 9, 10, 11, 6, 1, 9, 9, 9,
395
400
9, 9, 1, 1, 1, 1, 1, 1, 1, 1,
396
1, 1, 1, 1, 12, 13, 14, 14, 14, 14,
397
14, 14, 13, 13, 13, 13, 13, 13, 13, 13,
398
13, 13
399
} ;
400
401
static yyconst short int yy_base[621] =
402
{ 0,
403
0, 61, 62, 63, 69, 84, 128, 189, 250, 294,
404
80, 101, 2394, 2348, 2390, 3541, 2387, 338, 381, 52,
405
3541, 3541, 2345, 3541, 107, 391, 119, 137, 2351, 3541,
406
3541, 443, 2330, 490, 2337, 2335, 2320, 541, 145, 55,
407
167, 565, 2293, 2297, 2289, 2258, 2257, 2314, 193, 256,
408
56, 0, 3541, 2311, 3541, 0, 264, 617, 77, 0,
409
2261, 3541, 82, 3541, 99, 3541, 110, 2243, 126, 106,
410
3541, 145, 2240, 306, 2282, 2279, 639, 2277, 2276, 2263,
411
3541, 201, 209, 74, 2211, 347, 2208, 550, 276, 2199,
412
587, 410, 669, 2210, 2210, 306, 358, 317, 2163, 179,
413
414
706, 0, 2154, 240, 2111, 2109, 389, 3541, 76, 355,
415
2082, 2076, 2066, 2061, 2062, 63, 115, 219, 29, 212,
416
98, 2116, 507, 361, 2071, 598, 154, 0, 2111, 256,
417
3541, 3541, 636, 284, 0, 2069, 567, 3541, 3541, 2066,
418
532, 2050, 2087, 271, 300, 288, 2089, 2038, 3541, 2057,
419
2055, 1986, 669, 603, 745, 777, 809, 841, 2014, 2003,
420
878, 268, 916, 953, 1996, 1980, 1971, 1945, 1911, 1915,
421
236, 1862, 1866, 1856, 1843, 1848, 317, 157, 1851, 307,
422
266, 258, 777, 296, 1880, 1877, 686, 402, 992, 1024,
423
725, 337, 1839, 1838, 787, 499, 1782, 1781, 343, 755,
424
425
1056, 796, 694, 1094, 819, 1745, 393, 1736, 1728, 1711,
426
1707, 1697, 373, 1681, 1666, 1651, 1664, 1623, 543, 400,
427
556, 233, 506, 1133, 1165, 1197, 1657, 1655, 827, 1640,
428
1638, 1637, 1621, 540, 858, 546, 895, 602, 1229, 0,
429
935, 1240, 970, 731, 1278, 1002, 601, 3541, 1614, 1604,
430
1610, 1595, 1583, 486, 1565, 1548, 1548, 387, 343, 380,
431
616, 1010, 423, 1317, 1349, 1044, 1555, 1554, 1553, 1506,
432
1379, 645, 1076, 1113, 1143, 652, 983, 1035, 1151, 1042,
433
1418, 0, 1175, 1429, 1184, 866, 1467, 1207, 644, 1451,
434
1458, 648, 672, 625, 1447, 1419, 680, 576, 487, 715,
435
436
1505, 1536, 1567, 1449, 1447, 1432, 1215, 1599, 1257, 903,
437
1636, 1297, 1325, 1441, 1335, 1359, 1369, 841, 1024, 1067,
438
1124, 1396, 1308, 1675, 0, 1448, 1686, 1484, 1265, 1724,
439
1515, 955, 3541, 1423, 1364, 956, 3541, 975, 3541, 807,
440
1350, 1300, 591, 1074, 569, 917, 1523, 155, 1762, 1793,
441
1546, 1336, 1300, 1553, 768, 1576, 810, 1825, 0, 429,
442
1836, 1584, 1404, 1873, 1618, 1655, 1705, 1743, 1288, 1335,
443
1734, 1772, 1772, 1803, 1912, 0, 1805, 1923, 1781, 1492,
444
1814, 993, 1156, 1276, 1251, 1244, 730, 635, 1952, 1222,
445
1984, 2016, 2048, 2080, 1242, 1855, 1892, 1943, 1241, 1184,
446
447
1198, 1964, 1350, 2112, 0, 762, 2123, 1972, 1992, 2160,
448
2000, 2024, 1227, 2034, 2058, 2068, 1369, 1609, 1934, 772,
449
806, 2199, 0, 844, 1173, 3541, 1468, 3541, 1192, 2086,
450
1389, 142, 991, 604, 736, 2140, 1038, 2209, 2241, 2273,
451
2305, 2103, 2177, 1163, 2219, 2229, 2251, 1152, 1116, 1656,
452
1706, 2257, 1837, 2337, 0, 881, 2348, 2281, 2088, 2385,
453
2291, 2314, 2323, 2366, 1855, 1122, 927, 1042, 1031, 902,
454
951, 990, 1725, 2416, 1836, 2437, 2450, 2482, 2514, 2434,
455
1951, 2464, 2492, 2502, 936, 919, 1893, 2001, 2522, 2035,
456
2546, 0, 1031, 2557, 2530, 2148, 2576, 838, 2595, 2604,
457
458
2473, 773, 3541, 659, 3541, 1065, 2612, 1195, 2644, 2676,
459
2623, 2629, 618, 2655, 2665, 2686, 573, 566, 2049, 557,
460
549, 2694, 0, 1078, 1545, 2708, 2740, 2772, 2716, 2724,
461
2748, 509, 0, 455, 357, 2756, 1535, 2804, 2836, 2786,
462
3541, 2792, 2816, 2185, 3541, 345, 3541, 2824, 2844, 2854,
463
25, 2874, 2866, 3541, 2919, 2933, 2947, 2961, 2975, 2989,
464
3003, 3017, 3031, 3045, 3051, 3065, 3079, 1107, 3093, 3107,
465
3121, 3135, 3149, 3163, 3177, 3191, 3197, 3204, 3218, 3232,
466
3238, 3245, 3251, 3257, 3263, 3270, 3276, 3282, 3288, 3295,
467
3303, 3309, 3315, 3321, 3328, 3336, 3342, 3348, 3355, 3363,
468
469
3369, 3377, 3384, 3392, 3398, 3406, 3413, 3421, 3435, 3449,
470
3455, 3463, 3470, 3484, 3490, 3498, 3504, 3512, 1600, 3526
471
} ;
472
473
static yyconst short int yy_def[621] =
474
{ 0,
475
554, 1, 1, 1, 555, 555, 556, 556, 557, 557,
476
558, 558, 554, 559, 554, 554, 554, 560, 561, 562,
477
554, 554, 563, 554, 564, 559, 26, 26, 565, 554,
478
554, 554, 32, 32, 34, 34, 34, 559, 26, 559,
479
554, 561, 32, 32, 34, 34, 34, 554, 554, 566,
480
559, 567, 554, 567, 554, 567, 554, 561, 554, 568,
481
569, 554, 569, 554, 569, 554, 570, 571, 571, 571,
482
554, 554, 559, 559, 554, 554, 560, 572, 560, 573,
483
554, 574, 554, 562, 575, 562, 563, 563, 564, 576,
484
559, 559, 26, 565, 93, 93, 93, 93, 577, 578,
485
486
32, 34, 34, 34, 34, 34, 559, 554, 559, 554,
487
554, 554, 554, 554, 554, 573, 559, 93, 559, 559,
488
559, 554, 554, 566, 579, 559, 559, 567, 567, 554,
489
554, 554, 574, 554, 568, 569, 569, 554, 554, 569,
490
569, 571, 554, 571, 571, 554, 554, 559, 554, 573,
491
580, 575, 575, 554, 559, 559, 559, 93, 158, 581,
492
554, 582, 554, 32, 34, 34, 34, 34, 34, 34,
493
559, 554, 554, 554, 554, 554, 573, 559, 158, 559,
494
559, 559, 554, 559, 554, 580, 559, 559, 559, 559,
495
559, 559, 583, 584, 584, 195, 585, 584, 586, 163,
496
497
554, 201, 201, 554, 201, 34, 34, 34, 34, 34,
498
34, 34, 559, 554, 554, 554, 554, 554, 573, 559,
499
559, 559, 559, 559, 559, 559, 554, 587, 587, 229,
500
587, 588, 589, 590, 554, 591, 204, 591, 591, 239,
501
591, 554, 242, 242, 554, 242, 554, 554, 34, 34,
502
34, 34, 34, 559, 554, 554, 554, 573, 559, 559,
503
559, 559, 559, 559, 559, 559, 592, 592, 593, 594,
504
554, 554, 554, 554, 554, 595, 595, 596, 245, 596,
505
596, 281, 596, 554, 284, 284, 554, 284, 34, 34,
506
34, 34, 34, 559, 554, 554, 573, 559, 559, 559,
507
508
559, 559, 559, 554, 597, 598, 271, 554, 308, 308,
509
554, 308, 554, 554, 554, 554, 554, 554, 599, 599,
510
600, 287, 600, 600, 324, 600, 554, 327, 327, 554,
511
327, 554, 554, 34, 34, 554, 554, 554, 554, 559,
512
554, 554, 573, 559, 559, 559, 559, 559, 559, 559,
513
559, 554, 601, 554, 602, 311, 602, 602, 358, 358,
514
554, 361, 361, 554, 361, 554, 554, 554, 554, 603,
515
603, 604, 330, 604, 604, 375, 604, 554, 378, 378,
516
378, 34, 34, 559, 554, 554, 573, 559, 559, 559,
517
559, 559, 559, 559, 554, 554, 554, 554, 605, 605,
518
519
606, 364, 606, 606, 404, 404, 554, 407, 407, 554,
520
407, 554, 554, 554, 554, 554, 554, 607, 607, 608,
521
608, 608, 422, 422, 554, 554, 554, 554, 554, 554,
522
573, 573, 559, 609, 610, 559, 559, 559, 559, 559,
523
559, 559, 554, 554, 554, 554, 554, 554, 611, 611,
524
612, 410, 612, 612, 454, 454, 554, 457, 457, 554,
525
457, 554, 554, 554, 554, 613, 613, 554, 614, 573,
526
559, 609, 609, 609, 610, 610, 559, 559, 559, 559,
527
559, 554, 554, 554, 554, 615, 615, 616, 460, 616,
528
616, 491, 491, 554, 494, 494, 494, 554, 554, 554,
529
530
554, 554, 554, 614, 554, 573, 559, 559, 559, 559,
531
559, 554, 554, 554, 554, 554, 554, 617, 617, 618,
532
618, 618, 522, 522, 573, 559, 559, 559, 554, 554,
533
554, 554, 619, 619, 620, 559, 559, 559, 559, 559,
534
554, 554, 554, 554, 554, 620, 554, 559, 559, 559,
535
559, 559, 559, 0, 554, 554, 554, 554, 554, 554,
536
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
537
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
538
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
539
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
540
541
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
542
554, 554, 554, 554, 554, 554, 554, 554, 554, 554
543
} ;
544
545
static yyconst short int yy_nxt[3604] =
401
1, 1, 1, 1, 1, 1, 1, 12, 13, 14,
402
14, 14, 14, 14, 14, 13, 13, 13, 13, 13,
403
13, 13, 13, 13, 13
404
} ;
405
406
static yyconst short int yy_base[659] =
407
{ 0,
408
0, 64, 65, 66, 72, 87, 134, 198, 262, 309,
409
83, 98, 2616, 2548, 2586, 3619, 2562, 356, 402, 58,
410
3619, 3619, 2517, 3619, 106, 412, 139, 105, 2540, 3619,
411
3619, 467, 2516, 517, 2487, 2486, 2496, 2482, 571, 149,
412
44, 175, 595, 2444, 2446, 2438, 2433, 2434, 2494, 204,
413
268, 65, 0, 3619, 2474, 3619, 0, 276, 650, 114,
414
0, 2420, 3619, 79, 3619, 93, 3619, 131, 2417, 71,
415
103, 3619, 140, 2416, 206, 2461, 2458, 672, 2456, 2428,
416
2426, 3619, 217, 286, 125, 2380, 321, 2377, 347, 328,
417
2375, 382, 322, 705, 2398, 2407, 379, 429, 393, 2387,
418
419
124, 745, 0, 2366, 2361, 253, 2351, 2347, 241, 3619,
420
99, 558, 2329, 2333, 2325, 2319, 2320, 147, 116, 214,
421
233, 181, 29, 2380, 534, 555, 2325, 617, 126, 0,
422
2359, 178, 3619, 3619, 614, 268, 0, 2297, 677, 3619,
423
3619, 2296, 315, 2295, 2337, 243, 280, 295, 2339, 2292,
424
3619, 2336, 2320, 2274, 705, 777, 789, 824, 859, 894,
425
2307, 2259, 934, 129, 975, 1015, 2252, 2232, 2224, 2221,
426
2229, 2224, 2213, 2222, 287, 2193, 2197, 2162, 2162, 2167,
427
323, 321, 2170, 235, 163, 304, 811, 331, 2217, 2215,
428
638, 369, 1057, 1092, 724, 379, 2193, 2184, 730, 421,
429
430
2166, 2163, 363, 628, 1127, 808, 437, 1168, 834, 2162,
431
365, 434, 2153, 2151, 2141, 2139, 2119, 2117, 422, 2099,
432
2095, 2069, 2082, 2069, 413, 444, 542, 495, 528, 1210,
433
1245, 1280, 2106, 2105, 842, 2097, 2074, 2072, 2035, 563,
434
867, 570, 875, 586, 1315, 0, 885, 1326, 911, 674,
435
1367, 953, 603, 3619, 2006, 1993, 2006, 1986, 1962, 1965,
436
1965, 1929, 538, 1922, 1905, 1906, 328, 431, 21, 556,
437
920, 592, 1409, 1444, 994, 1944, 1942, 1874, 1872, 1477,
438
684, 1034, 1067, 1077, 686, 691, 756, 1000, 767, 1519,
439
0, 1102, 1530, 1111, 961, 1571, 1146, 1854, 1831, 663,
440
441
526, 1809, 1816, 790, 791, 655, 1823, 1742, 239, 580,
442
640, 721, 1612, 1646, 1680, 1774, 1765, 1757, 1185, 1715,
443
1193, 1042, 1755, 1220, 1228, 1766, 1255, 1265, 1290, 770,
444
985, 1025, 1298, 1298, 1337, 1797, 0, 1348, 1808, 1384,
445
1154, 1849, 1419, 1697, 1690, 847, 3619, 1689, 1682, 1693,
446
1632, 959, 3619, 1000, 3619, 652, 1618, 1595, 539, 1044,
447
576, 740, 1427, 670, 1890, 1924, 1462, 1634, 1633, 1392,
448
808, 1468, 1058, 1959, 0, 764, 1970, 1495, 1236, 2010,
449
1549, 1590, 1622, 1632, 1137, 1265, 1656, 1658, 1503, 1660,
450
2052, 0, 1690, 2063, 1669, 1435, 1699, 1534, 1531, 1534,
451
452
1530, 1100, 1101, 1509, 1447, 1439, 816, 572, 1849, 1428,
453
2105, 2140, 2175, 2210, 1450, 1734, 1774, 1827, 1368, 1211,
454
1246, 1866, 1281, 2245, 0, 798, 2256, 1898, 1452, 2296,
455
1908, 1932, 1346, 1942, 1989, 2029, 1540, 1581, 2073, 819,
456
853, 2338, 0, 896, 1152, 1284, 1248, 1113, 1193, 3619,
457
1351, 3619, 1089, 1552, 2087, 813, 872, 671, 1322, 2087,
458
1090, 2348, 2383, 2418, 2453, 1785, 2035, 1123, 2120, 2150,
459
2130, 1083, 1040, 1410, 1623, 2158, 1669, 2488, 0, 937,
460
2499, 2183, 1598, 2539, 2193, 2219, 2228, 2274, 1725, 1026,
461
1121, 1369, 3619, 1392, 958, 877, 811, 836, 1594, 742,
462
463
1455, 1675, 2383, 1677, 2418, 2581, 2616, 2651, 2282, 1875,
464
2315, 2358, 2396, 760, 715, 1828, 1943, 2429, 1971, 2686,
465
0, 1171, 2697, 2437, 1742, 2463, 717, 2472, 2517, 1998,
466
649, 1596, 3619, 1740, 619, 3619, 559, 3619, 1288, 2525,
467
1311, 2739, 2774, 2558, 2564, 530, 2591, 2601, 2626, 451,
468
437, 2087, 371, 363, 2634, 0, 1301, 1780, 3619, 1832,
469
2097, 2809, 2844, 2879, 2659, 2667, 2675, 326, 0, 305,
470
1833, 3619, 200, 2715, 1664, 2914, 2949, 2725, 3619, 2748,
471
2758, 1916, 3619, 175, 3619, 2785, 2793, 2826, 127, 2859,
472
2835, 3619, 2997, 3011, 3025, 3039, 3053, 3067, 3081, 3095,
473
474
3109, 3123, 3129, 3143, 3157, 1360, 3171, 3185, 3199, 3213,
475
3227, 3241, 3255, 3269, 3275, 3282, 3296, 3310, 3316, 3323,
476
3329, 3335, 3341, 3348, 3354, 3360, 3366, 3373, 3381, 3387,
477
3393, 3399, 3406, 3414, 3420, 3426, 3433, 3441, 3447, 3455,
478
3462, 3470, 3476, 3484, 3491, 3499, 3513, 3527, 3533, 3541,
479
3548, 3562, 3568, 3576, 3582, 3590, 1881, 3604
480
} ;
481
482
static yyconst short int yy_def[659] =
483
{ 0,
484
592, 1, 1, 1, 593, 593, 594, 594, 595, 595,
485
596, 596, 592, 597, 592, 592, 592, 598, 599, 600,
486
592, 592, 601, 592, 602, 597, 26, 26, 603, 592,
487
592, 592, 32, 32, 34, 34, 34, 34, 597, 26,
488
597, 592, 599, 32, 32, 34, 34, 34, 592, 592,
489
604, 597, 605, 592, 605, 592, 605, 592, 599, 592,
490
606, 607, 592, 607, 592, 607, 592, 608, 609, 609,
491
609, 592, 592, 597, 597, 592, 592, 598, 610, 598,
492
611, 592, 612, 592, 600, 613, 600, 601, 601, 602,
493
614, 597, 597, 26, 603, 94, 94, 94, 94, 615,
494
495
616, 32, 34, 34, 34, 34, 34, 34, 597, 592,
496
597, 592, 592, 592, 592, 592, 592, 611, 597, 94,
497
597, 597, 597, 592, 592, 604, 617, 597, 597, 605,
498
605, 592, 592, 592, 612, 592, 606, 607, 607, 592,
499
592, 607, 607, 609, 592, 609, 609, 592, 592, 597,
500
592, 611, 618, 613, 613, 592, 597, 597, 597, 94,
501
160, 619, 592, 620, 592, 32, 34, 34, 34, 34,
502
34, 34, 34, 34, 597, 592, 592, 592, 592, 592,
503
611, 597, 160, 597, 597, 597, 592, 597, 592, 618,
504
597, 597, 597, 597, 597, 597, 621, 622, 622, 199,
505
506
623, 622, 624, 165, 592, 205, 205, 592, 205, 34,
507
34, 34, 34, 34, 34, 34, 34, 34, 597, 592,
508
592, 592, 592, 592, 611, 597, 597, 597, 597, 597,
509
597, 597, 592, 625, 625, 235, 625, 626, 627, 628,
510
592, 629, 208, 629, 629, 245, 629, 592, 248, 248,
511
592, 248, 592, 592, 34, 34, 34, 34, 34, 34,
512
34, 34, 597, 592, 592, 592, 611, 597, 597, 597,
513
597, 597, 597, 597, 597, 630, 630, 631, 632, 592,
514
592, 592, 592, 592, 633, 633, 634, 251, 634, 634,
515
290, 634, 592, 293, 293, 592, 293, 34, 34, 34,
516
517
34, 34, 34, 34, 34, 597, 592, 592, 611, 597,
518
597, 597, 597, 597, 597, 592, 635, 636, 280, 592,
519
320, 320, 592, 320, 592, 592, 592, 592, 592, 592,
520
637, 637, 638, 296, 638, 638, 336, 638, 592, 339,
521
339, 592, 339, 34, 34, 592, 592, 34, 34, 34,
522
34, 592, 592, 592, 592, 597, 592, 592, 611, 597,
523
597, 597, 597, 597, 597, 597, 597, 592, 639, 592,
524
640, 323, 640, 640, 374, 374, 592, 377, 377, 592,
525
377, 592, 592, 592, 592, 641, 641, 642, 342, 642,
526
642, 391, 642, 592, 394, 394, 394, 34, 34, 34,
527
528
34, 34, 34, 597, 592, 592, 611, 597, 597, 597,
529
597, 597, 597, 597, 592, 592, 592, 592, 643, 643,
530
644, 380, 644, 644, 424, 424, 592, 427, 427, 592,
531
427, 592, 592, 592, 592, 592, 592, 645, 645, 646,
532
646, 646, 442, 442, 34, 34, 34, 34, 592, 592,
533
592, 592, 592, 592, 611, 611, 597, 647, 648, 597,
534
597, 597, 597, 597, 597, 597, 592, 592, 592, 592,
535
592, 592, 649, 649, 650, 430, 650, 650, 478, 478,
536
592, 481, 481, 592, 481, 592, 592, 592, 592, 651,
537
651, 592, 592, 34, 34, 34, 592, 652, 611, 597,
538
539
647, 647, 647, 648, 648, 597, 597, 597, 597, 597,
540
592, 592, 592, 592, 653, 653, 654, 484, 654, 654,
541
520, 520, 592, 523, 523, 523, 592, 592, 592, 592,
542
592, 592, 592, 34, 34, 592, 652, 592, 611, 597,
543
597, 597, 597, 597, 592, 592, 592, 592, 592, 592,
544
655, 655, 656, 656, 656, 555, 555, 592, 592, 34,
545
611, 597, 597, 597, 592, 592, 592, 592, 657, 657,
546
592, 592, 658, 597, 597, 597, 597, 597, 592, 592,
547
592, 592, 592, 658, 592, 597, 597, 597, 597, 597,
548
597, 0, 592, 592, 592, 592, 592, 592, 592, 592,
549
550
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
551
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
552
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
553
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
554
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
555
592, 592, 592, 592, 592, 592, 592, 592
556
} ;
557
558
static yyconst short int yy_nxt[3685] =
546
559
{ 0,
547
560
14, 15, 16, 17, 18, 19, 20, 21, 22, 14,
548
561
23, 24, 14, 14, 25, 26, 27, 28, 26, 26,
549
562
26, 26, 26, 29, 30, 31, 14, 32, 32, 32,
550
32, 33, 34, 34, 35, 34, 36, 34, 37, 34,
551
34, 34, 34, 34, 38, 14, 39, 39, 39, 39,
552
39, 39, 14, 14, 14, 14, 14, 14, 14, 40,
553
14, 14, 41, 48, 48, 81, 42, 49, 49, 74,
554
15, 53, 54, 74, 55, 85, 50, 50, 134, 108,
555
55, 69, 16, 70, 71, 15, 53, 54, 180, 55,
556
43, 44, 55, 56, 45, 55, 86, 554, 46, 74,
557
558
74, 47, 69, 16, 70, 71, 138, 55, 56, 145,
559
90, 141, 108, 57, 90, 90, 109, 127, 86, 177,
560
74, 51, 51, 139, 72, 171, 137, 144, 57, 15,
561
16, 17, 90, 58, 96, 96, 96, 96, 96, 96,
562
96, 96, 74, 137, 81, 72, 146, 147, 182, 142,
563
143, 91, 97, 97, 97, 97, 97, 98, 73, 74,
564
95, 95, 95, 95, 95, 95, 95, 95, 110, 347,
565
143, 178, 59, 60, 60, 60, 60, 60, 60, 60,
566
60, 60, 60, 60, 60, 60, 60, 60, 60, 60,
567
15, 16, 17, 161, 58, 470, 111, 112, 74, 74,
568
569
113, 74, 163, 184, 114, 123, 220, 115, 83, 83,
570
83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
571
83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
572
83, 83, 73, 59, 60, 60, 60, 60, 60, 60,
573
60, 60, 60, 60, 60, 60, 60, 60, 60, 60,
574
60, 15, 16, 17, 62, 58, 74, 134, 108, 125,
575
63, 64, 65, 125, 125, 130, 108, 131, 181, 132,
576
179, 166, 144, 131, 66, 132, 167, 74, 168, 90,
577
74, 125, 161, 90, 90, 134, 108, 132, 132, 146,
578
147, 200, 220, 213, 67, 15, 16, 17, 62, 58,
579
580
126, 90, 74, 145, 63, 64, 65, 73, 132, 73,
581
74, 73, 222, 73, 73, 143, 220, 73, 66, 81,
582
91, 159, 159, 159, 159, 159, 159, 159, 159, 73,
583
73, 73, 159, 159, 159, 159, 159, 159, 67, 78,
584
74, 78, 73, 78, 143, 78, 78, 547, 84, 78,
585
84, 74, 84, 223, 84, 84, 110, 161, 84, 547,
586
94, 78, 78, 78, 125, 219, 200, 220, 125, 125,
587
298, 84, 84, 159, 159, 159, 159, 159, 159, 159,
588
159, 74, 79, 81, 111, 112, 125, 74, 113, 81,
589
134, 108, 114, 82, 247, 115, 83, 83, 83, 83,
590
591
83, 83, 83, 83, 92, 126, 93, 93, 93, 93,
592
93, 93, 93, 93, 94, 187, 248, 74, 95, 95,
593
95, 95, 95, 254, 74, 155, 156, 157, 155, 155,
594
155, 155, 155, 74, 299, 74, 262, 95, 95, 95,
595
95, 95, 95, 73, 74, 259, 74, 73, 297, 73,
596
399, 399, 73, 73, 74, 73, 73, 73, 101, 101,
597
101, 101, 101, 101, 101, 101, 94, 74, 354, 73,
598
101, 101, 101, 101, 101, 102, 102, 102, 102, 102,
599
102, 102, 102, 102, 102, 102, 102, 74, 102, 95,
600
95, 95, 95, 95, 95, 73, 73, 73, 73, 73,
601
602
73, 73, 73, 73, 73, 102, 102, 102, 102, 102,
603
102, 102, 102, 554, 231, 231, 231, 102, 102, 102,
604
102, 102, 83, 83, 83, 83, 83, 83, 83, 83,
605
74, 74, 489, 134, 108, 294, 73, 73, 73, 73,
606
73, 73, 107, 108, 73, 81, 73, 345, 73, 73,
607
74, 87, 73, 87, 161, 87, 261, 87, 87, 235,
608
161, 87, 554, 200, 73, 73, 73, 81, 136, 237,
609
354, 136, 136, 87, 87, 87, 137, 82, 136, 94,
610
83, 83, 83, 83, 83, 83, 83, 83, 89, 489,
611
73, 136, 89, 81, 73, 73, 452, 258, 89, 124,
612
613
74, 73, 247, 124, 90, 73, 73, 473, 90, 124,
614
89, 89, 73, 74, 90, 554, 161, 260, 116, 81,
615
74, 124, 124, 73, 248, 237, 90, 90, 389, 133,
616
344, 512, 554, 554, 554, 554, 554, 554, 554, 554,
617
78, 387, 78, 148, 78, 332, 78, 78, 474, 336,
618
78, 554, 554, 554, 554, 554, 554, 554, 554, 161,
619
74, 505, 78, 78, 78, 300, 161, 333, 200, 74,
620
152, 337, 152, 338, 152, 237, 152, 152, 340, 74,
621
152, 433, 81, 79, 158, 158, 158, 158, 158, 158,
622
158, 158, 152, 152, 152, 339, 158, 158, 158, 158,
623
624
158, 224, 225, 226, 224, 224, 224, 224, 224, 240,
625
240, 240, 240, 240, 241, 158, 158, 158, 158, 158,
626
158, 164, 164, 164, 164, 164, 164, 164, 164, 343,
627
74, 431, 81, 164, 164, 164, 164, 164, 187, 473,
628
188, 188, 188, 188, 188, 188, 282, 282, 282, 282,
629
282, 283, 158, 158, 158, 158, 158, 158, 187, 74,
630
188, 188, 188, 188, 188, 188, 188, 188, 346, 74,
631
205, 205, 205, 205, 205, 205, 205, 205, 125, 432,
632
476, 354, 125, 449, 449, 235, 161, 161, 125, 74,
633
187, 356, 189, 189, 189, 189, 189, 189, 189, 189,
634
635
125, 125, 229, 229, 230, 231, 231, 231, 231, 231,
636
197, 239, 239, 239, 239, 239, 239, 239, 239, 554,
637
161, 74, 187, 554, 190, 190, 190, 190, 190, 191,
638
188, 188, 554, 356, 238, 238, 238, 238, 238, 238,
639
238, 238, 268, 268, 268, 268, 268, 268, 268, 268,
640
197, 74, 161, 74, 73, 161, 192, 192, 192, 192,
641
192, 192, 192, 192, 237, 466, 466, 384, 192, 192,
642
192, 192, 192, 273, 274, 275, 273, 273, 273, 273,
643
273, 325, 325, 325, 325, 325, 326, 192, 192, 192,
644
192, 192, 192, 194, 195, 196, 196, 196, 196, 196,
645
646
196, 197, 486, 486, 81, 198, 198, 198, 198, 198,
647
246, 246, 246, 246, 246, 246, 246, 246, 359, 359,
648
359, 359, 359, 360, 198, 198, 198, 198, 198, 198,
649
161, 201, 202, 203, 201, 201, 201, 201, 201, 204,
650
235, 161, 452, 205, 205, 205, 205, 205, 235, 161,
651
277, 277, 277, 277, 277, 277, 332, 336, 237, 402,
652
506, 74, 205, 205, 205, 205, 205, 205, 206, 206,
653
206, 206, 206, 206, 206, 206, 338, 390, 333, 337,
654
206, 206, 206, 206, 206, 281, 281, 281, 281, 281,
655
281, 281, 281, 554, 425, 74, 235, 161, 339, 192,
656
657
192, 192, 192, 192, 192, 187, 237, 188, 188, 188,
658
188, 188, 188, 188, 188, 554, 426, 280, 280, 280,
659
280, 280, 280, 280, 280, 301, 302, 303, 301, 301,
660
301, 301, 301, 505, 474, 74, 74, 187, 161, 188,
661
188, 188, 188, 188, 188, 188, 188, 279, 235, 161,
662
471, 436, 518, 518, 74, 554, 161, 262, 279, 263,
663
263, 263, 263, 263, 263, 279, 525, 81, 74, 235,
664
161, 236, 236, 236, 236, 236, 236, 236, 236, 237,
665
235, 161, 74, 238, 238, 238, 238, 238, 74, 313,
666
279, 314, 314, 314, 314, 314, 314, 314, 314, 533,
667
668
533, 503, 238, 238, 238, 238, 238, 238, 161, 242,
669
243, 244, 242, 242, 242, 242, 242, 245, 74, 135,
670
135, 246, 246, 246, 246, 246, 313, 388, 315, 315,
671
315, 315, 315, 315, 315, 315, 161, 235, 161, 402,
672
246, 246, 246, 246, 246, 246, 262, 322, 263, 263,
673
263, 263, 263, 263, 263, 263, 313, 427, 316, 316,
674
316, 316, 316, 317, 314, 314, 288, 288, 288, 288,
675
288, 288, 288, 288, 425, 356, 443, 74, 262, 428,
676
264, 264, 264, 264, 264, 264, 264, 264, 235, 161,
677
320, 320, 320, 320, 320, 320, 426, 354, 279, 324,
678
679
324, 324, 324, 324, 324, 324, 324, 356, 507, 74,
680
262, 354, 265, 265, 265, 265, 265, 266, 263, 263,
681
554, 402, 323, 323, 323, 323, 323, 323, 323, 323,
682
312, 312, 312, 312, 312, 312, 312, 312, 468, 74,
683
412, 74, 235, 161, 277, 277, 277, 277, 277, 277,
684
277, 277, 237, 235, 161, 278, 278, 278, 278, 278,
685
278, 278, 278, 279, 356, 307, 74, 280, 280, 280,
686
280, 280, 358, 358, 358, 358, 358, 358, 358, 358,
687
376, 376, 376, 376, 376, 377, 280, 280, 280, 280,
688
280, 280, 161, 284, 285, 286, 284, 284, 284, 284,
689
690
284, 287, 161, 430, 429, 288, 288, 288, 288, 288,
691
554, 279, 357, 357, 357, 357, 357, 357, 357, 357,
692
74, 554, 161, 307, 288, 288, 288, 288, 288, 288,
693
262, 322, 263, 263, 263, 263, 263, 263, 263, 263,
694
366, 367, 368, 366, 366, 366, 366, 366, 313, 161,
695
314, 314, 314, 314, 314, 314, 314, 314, 322, 233,
696
386, 74, 262, 554, 263, 263, 263, 263, 263, 263,
697
263, 263, 313, 402, 314, 314, 314, 314, 314, 314,
698
314, 314, 313, 161, 314, 314, 314, 314, 314, 314,
699
431, 81, 322, 74, 308, 309, 310, 308, 308, 308,
700
701
308, 308, 311, 469, 385, 383, 312, 312, 312, 312,
702
312, 331, 331, 331, 331, 331, 331, 331, 331, 405,
703
405, 405, 405, 405, 406, 312, 312, 312, 312, 312,
704
312, 235, 161, 320, 320, 320, 320, 320, 320, 320,
705
320, 279, 235, 161, 321, 321, 321, 321, 321, 321,
706
321, 321, 322, 382, 313, 307, 323, 323, 323, 323,
707
323, 235, 161, 371, 371, 371, 371, 371, 371, 427,
708
233, 322, 197, 342, 341, 323, 323, 323, 323, 323,
709
323, 161, 327, 328, 329, 327, 327, 327, 327, 327,
710
330, 428, 335, 334, 331, 331, 331, 331, 331, 375,
711
712
375, 375, 375, 375, 375, 375, 375, 423, 423, 423,
713
423, 423, 424, 331, 331, 331, 331, 331, 331, 347,
714
348, 348, 348, 348, 348, 348, 348, 348, 554, 307,
715
374, 374, 374, 374, 374, 374, 374, 374, 391, 392,
716
393, 394, 391, 391, 391, 391, 525, 81, 536, 74,
717
347, 349, 349, 349, 349, 349, 349, 349, 349, 535,
718
347, 348, 348, 348, 348, 348, 348, 74, 396, 397,
719
398, 396, 396, 396, 396, 396, 233, 197, 197, 74,
720
74, 347, 350, 350, 350, 350, 350, 351, 348, 348,
721
74, 365, 365, 365, 365, 365, 365, 365, 365, 404,
722
723
404, 404, 404, 404, 404, 404, 404, 255, 545, 296,
724
295, 74, 354, 545, 355, 355, 355, 355, 355, 355,
725
355, 355, 356, 161, 293, 292, 357, 357, 357, 357,
726
357, 554, 373, 403, 403, 403, 403, 403, 403, 403,
727
403, 291, 290, 289, 271, 357, 357, 357, 357, 357,
728
357, 361, 362, 363, 361, 361, 361, 361, 361, 364,
729
233, 197, 267, 365, 365, 365, 365, 365, 412, 354,
730
413, 413, 413, 413, 413, 413, 413, 413, 197, 402,
731
100, 255, 365, 365, 365, 365, 365, 365, 235, 161,
732
371, 371, 371, 371, 371, 371, 371, 371, 322, 235,
733
734
161, 372, 372, 372, 372, 372, 372, 372, 372, 373,
735
257, 255, 256, 374, 374, 374, 374, 374, 412, 354,
736
414, 414, 414, 414, 414, 414, 414, 414, 554, 452,
737
255, 253, 374, 374, 374, 374, 374, 374, 161, 378,
738
379, 380, 378, 378, 378, 378, 378, 235, 161, 252,
739
251, 381, 381, 381, 381, 381, 412, 322, 415, 415,
740
415, 415, 415, 416, 413, 413, 250, 249, 94, 474,
741
381, 381, 381, 381, 381, 381, 347, 348, 348, 348,
742
348, 348, 348, 348, 348, 235, 161, 381, 381, 381,
743
381, 381, 381, 381, 381, 373, 422, 422, 422, 422,
744
745
422, 422, 422, 422, 197, 233, 74, 347, 348, 348,
746
348, 348, 348, 348, 348, 348, 554, 161, 235, 161,
747
419, 419, 419, 419, 419, 419, 373, 554, 373, 421,
748
421, 421, 421, 421, 421, 421, 421, 74, 354, 554,
749
400, 400, 400, 400, 400, 400, 400, 400, 356, 354,
750
554, 401, 401, 401, 401, 401, 401, 401, 401, 402,
751
452, 197, 100, 403, 403, 403, 403, 403, 443, 161,
752
444, 444, 444, 444, 444, 444, 444, 444, 373, 81,
753
476, 185, 403, 403, 403, 403, 403, 403, 407, 408,
754
409, 407, 407, 407, 407, 407, 410, 221, 218, 217,
755
756
411, 411, 411, 411, 411, 443, 354, 445, 445, 445,
757
445, 445, 445, 445, 445, 216, 452, 215, 214, 411,
758
411, 411, 411, 411, 411, 235, 161, 419, 419, 419,
759
419, 419, 419, 419, 419, 373, 235, 161, 420, 420,
760
420, 420, 420, 420, 420, 420, 212, 235, 161, 211,
761
421, 421, 421, 421, 421, 434, 443, 373, 446, 446,
762
446, 446, 446, 447, 444, 444, 481, 481, 481, 421,
763
421, 421, 421, 421, 421, 434, 210, 434, 435, 411,
764
411, 411, 411, 411, 411, 411, 411, 454, 454, 454,
765
454, 454, 454, 454, 454, 74, 74, 436, 209, 437,
766
767
437, 437, 437, 437, 437, 437, 437, 455, 455, 455,
768
455, 455, 456, 554, 354, 453, 453, 453, 453, 453,
769
453, 453, 453, 208, 489, 207, 100, 92, 74, 436,
770
153, 438, 438, 438, 438, 438, 438, 438, 438, 462,
771
463, 464, 462, 462, 462, 462, 462, 412, 554, 413,
772
413, 413, 413, 413, 413, 413, 413, 81, 489, 81,
773
74, 436, 354, 439, 439, 439, 439, 439, 440, 441,
774
441, 412, 489, 413, 413, 413, 413, 413, 413, 413,
775
413, 412, 74, 413, 413, 413, 413, 413, 413, 434,
776
185, 142, 74, 436, 143, 442, 442, 442, 437, 437,
777
778
437, 437, 437, 492, 492, 492, 492, 492, 493, 434,
779
137, 434, 434, 137, 129, 183, 436, 122, 481, 481,
780
481, 176, 175, 174, 74, 354, 173, 450, 450, 450,
781
450, 450, 450, 450, 450, 402, 354, 172, 451, 451,
782
451, 451, 451, 451, 451, 451, 452, 74, 170, 169,
783
453, 453, 453, 453, 453, 477, 478, 479, 477, 477,
784
477, 477, 477, 523, 523, 523, 523, 523, 524, 453,
785
453, 453, 453, 453, 453, 457, 458, 459, 457, 457,
786
457, 457, 457, 460, 74, 165, 100, 461, 461, 461,
787
461, 461, 482, 483, 484, 482, 482, 482, 482, 482,
788
789
541, 541, 541, 541, 541, 541, 461, 461, 461, 461,
790
461, 461, 235, 161, 467, 467, 467, 467, 467, 467,
791
467, 467, 436, 73, 441, 441, 441, 441, 441, 441,
792
441, 441, 443, 100, 444, 444, 444, 444, 444, 444,
793
444, 444, 443, 154, 444, 444, 444, 444, 444, 444,
794
444, 444, 88, 74, 436, 153, 441, 441, 441, 441,
795
441, 441, 441, 441, 443, 81, 444, 444, 444, 444,
796
444, 444, 461, 461, 461, 461, 461, 461, 461, 461,
797
148, 149, 76, 75, 74, 74, 436, 143, 441, 441,
798
441, 441, 441, 441, 480, 480, 491, 491, 491, 491,
799
800
491, 491, 491, 491, 554, 137, 490, 490, 490, 490,
801
490, 490, 490, 490, 129, 122, 121, 74, 436, 120,
802
480, 480, 480, 480, 480, 480, 480, 480, 161, 498,
803
498, 498, 498, 498, 498, 498, 498, 161, 499, 499,
804
499, 499, 499, 499, 499, 499, 119, 118, 117, 74,
805
354, 106, 487, 487, 487, 487, 487, 487, 487, 487,
806
452, 354, 105, 488, 488, 488, 488, 488, 488, 488,
807
488, 489, 104, 103, 100, 490, 490, 490, 490, 490,
808
161, 500, 500, 500, 500, 500, 501, 498, 498, 88,
809
76, 75, 74, 554, 490, 490, 490, 490, 490, 490,
810
811
494, 495, 496, 494, 494, 494, 494, 494, 554, 554,
812
554, 554, 497, 497, 497, 497, 497, 472, 554, 554,
813
554, 472, 554, 472, 472, 554, 554, 472, 554, 554,
814
554, 497, 497, 497, 497, 497, 497, 554, 475, 472,
815
472, 472, 475, 554, 475, 475, 554, 554, 475, 480,
816
480, 480, 480, 480, 480, 480, 480, 554, 554, 554,
817
475, 475, 475, 507, 554, 508, 508, 508, 508, 508,
818
508, 508, 508, 554, 554, 554, 554, 512, 74, 513,
819
513, 513, 513, 513, 513, 513, 513, 161, 498, 498,
820
498, 498, 498, 498, 74, 507, 554, 509, 509, 509,
821
822
509, 509, 509, 509, 509, 512, 554, 514, 514, 514,
823
514, 514, 514, 514, 514, 512, 554, 515, 515, 515,
824
515, 515, 516, 513, 513, 554, 74, 507, 554, 510,
825
510, 510, 510, 510, 511, 508, 508, 497, 497, 497,
826
497, 497, 497, 497, 497, 522, 522, 522, 522, 522,
827
522, 522, 522, 554, 554, 554, 554, 554, 74, 354,
828
554, 519, 519, 519, 519, 519, 519, 519, 519, 489,
829
354, 554, 520, 520, 520, 520, 520, 520, 520, 520,
830
554, 554, 554, 554, 521, 521, 521, 521, 521, 554,
831
554, 521, 521, 521, 521, 521, 521, 521, 521, 554,
832
833
554, 554, 554, 521, 521, 521, 521, 521, 521, 161,
834
498, 498, 498, 498, 498, 498, 498, 498, 161, 498,
835
498, 498, 498, 498, 498, 498, 498, 526, 527, 528,
836
526, 526, 526, 526, 526, 554, 507, 554, 508, 508,
837
508, 508, 508, 508, 529, 530, 531, 529, 529, 529,
838
529, 529, 554, 554, 554, 554, 74, 507, 554, 508,
839
508, 508, 508, 508, 508, 508, 508, 74, 512, 554,
840
513, 513, 513, 513, 513, 513, 513, 513, 512, 554,
841
513, 513, 513, 513, 513, 513, 513, 513, 74, 507,
842
554, 508, 508, 508, 508, 508, 508, 508, 508, 512,
843
844
554, 513, 513, 513, 513, 513, 513, 354, 554, 534,
845
534, 534, 534, 534, 534, 534, 534, 554, 554, 554,
846
74, 536, 554, 537, 537, 537, 537, 537, 537, 537,
847
537, 541, 541, 541, 541, 541, 541, 541, 541, 542,
848
542, 542, 542, 542, 542, 542, 542, 554, 554, 554,
849
554, 554, 74, 536, 554, 538, 538, 538, 538, 538,
850
538, 538, 538, 543, 543, 543, 543, 543, 544, 541,
851
541, 548, 549, 550, 548, 548, 548, 548, 548, 554,
852
554, 554, 554, 554, 74, 536, 554, 539, 539, 539,
853
539, 539, 540, 537, 537, 554, 554, 554, 554, 536,
854
855
74, 537, 537, 537, 537, 537, 537, 541, 541, 541,
856
541, 541, 541, 541, 541, 554, 74, 536, 554, 537,
857
537, 537, 537, 537, 537, 537, 537, 554, 554, 554,
858
74, 541, 541, 541, 541, 541, 541, 541, 541, 551,
859
551, 551, 551, 551, 551, 551, 551, 554, 74, 536,
860
554, 537, 537, 537, 537, 537, 537, 537, 537, 548,
861
548, 548, 548, 548, 548, 548, 548, 554, 74, 552,
862
552, 552, 552, 552, 553, 551, 551, 554, 554, 554,
863
74, 551, 551, 551, 551, 551, 551, 554, 74, 551,
864
551, 551, 551, 551, 551, 551, 551, 554, 74, 554,
865
866
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
867
74, 554, 554, 554, 554, 554, 554, 554, 74, 52,
868
52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
869
52, 52, 52, 31, 31, 31, 31, 31, 31, 31,
870
31, 31, 31, 31, 31, 31, 31, 61, 61, 61,
563
32, 33, 34, 34, 34, 34, 35, 36, 34, 37,
564
34, 38, 34, 34, 34, 34, 34, 39, 14, 40,
565
40, 40, 40, 40, 40, 14, 14, 14, 14, 14,
566
14, 14, 41, 14, 14, 42, 49, 49, 75, 43,
567
50, 50, 146, 15, 54, 55, 75, 56, 311, 51,
568
51, 86, 186, 56, 70, 16, 71, 72, 15, 54,
569
55, 75, 56, 44, 45, 56, 57, 46, 56, 70,
570
571
16, 71, 72, 140, 47, 87, 147, 48, 111, 91,
572
56, 57, 75, 91, 91, 136, 110, 141, 145, 58,
573
98, 98, 98, 98, 98, 99, 139, 52, 52, 129,
574
73, 91, 143, 110, 58, 15, 16, 17, 163, 59,
575
139, 148, 149, 163, 144, 73, 75, 165, 592, 82,
576
145, 175, 204, 92, 97, 97, 97, 97, 97, 97,
577
97, 97, 74, 75, 96, 96, 96, 96, 96, 96,
578
96, 96, 87, 75, 75, 182, 112, 585, 188, 136,
579
110, 60, 61, 61, 61, 61, 61, 61, 61, 61,
580
61, 61, 61, 61, 61, 61, 61, 61, 61, 15,
581
582
16, 17, 585, 59, 113, 114, 181, 74, 115, 74,
583
75, 74, 228, 74, 74, 116, 125, 74, 117, 84,
584
84, 84, 84, 84, 84, 84, 84, 74, 75, 74,
585
74, 74, 84, 84, 84, 84, 84, 84, 84, 84,
586
185, 82, 136, 110, 146, 60, 61, 61, 61, 61,
871
587
61, 61, 61, 61, 61, 61, 61, 61, 61, 61,
872
61, 68, 68, 68, 68, 68, 68, 68, 68, 68,
873
68, 68, 68, 68, 68, 73, 554, 554, 554, 73,
874
554, 73, 73, 73, 554, 554, 73, 73, 73, 77,
875
77, 554, 77, 77, 77, 77, 77, 77, 77, 77,
876
877
77, 77, 77, 80, 80, 80, 80, 80, 80, 80,
878
80, 80, 80, 80, 80, 80, 80, 84, 554, 554,
879
554, 84, 554, 84, 84, 84, 84, 554, 84, 84,
880
84, 87, 554, 554, 554, 87, 554, 87, 87, 87,
881
554, 554, 87, 87, 87, 89, 554, 554, 89, 89,
882
89, 89, 89, 89, 554, 554, 89, 89, 89, 99,
883
99, 554, 554, 554, 99, 124, 554, 554, 124, 124,
884
124, 124, 124, 124, 554, 554, 124, 124, 124, 128,
885
554, 554, 128, 128, 128, 128, 128, 128, 554, 128,
886
554, 128, 128, 136, 554, 554, 136, 554, 136, 136,
887
888
136, 136, 136, 554, 136, 136, 136, 140, 140, 140,
889
140, 140, 140, 140, 140, 140, 140, 140, 140, 140,
890
140, 142, 142, 554, 142, 554, 142, 142, 142, 142,
891
142, 142, 142, 142, 142, 78, 78, 554, 78, 78,
892
78, 78, 78, 78, 78, 78, 78, 78, 78, 150,
893
150, 150, 150, 150, 150, 150, 150, 150, 150, 150,
894
150, 150, 150, 151, 151, 554, 151, 151, 151, 151,
895
151, 151, 151, 151, 151, 151, 151, 152, 554, 554,
896
554, 152, 554, 152, 152, 152, 554, 554, 152, 152,
897
152, 90, 554, 554, 90, 90, 90, 90, 90, 90,
898
899
554, 554, 90, 90, 90, 160, 160, 554, 554, 554,
900
160, 162, 162, 162, 554, 554, 554, 162, 125, 554,
901
554, 125, 125, 125, 125, 125, 125, 554, 554, 125,
902
125, 125, 186, 186, 186, 186, 186, 186, 186, 186,
903
186, 186, 186, 186, 186, 186, 193, 193, 554, 554,
904
554, 193, 199, 199, 199, 554, 554, 554, 199, 227,
905
227, 554, 554, 554, 227, 228, 228, 554, 554, 554,
906
228, 232, 232, 554, 554, 554, 232, 234, 234, 234,
907
554, 554, 554, 234, 267, 267, 554, 554, 554, 267,
908
269, 269, 554, 554, 554, 269, 270, 270, 554, 554,
909
910
554, 270, 272, 272, 272, 554, 554, 554, 272, 276,
911
276, 276, 276, 554, 554, 554, 276, 304, 304, 554,
912
554, 554, 304, 305, 305, 554, 554, 554, 305, 306,
913
306, 554, 554, 554, 306, 318, 318, 318, 554, 554,
914
554, 318, 319, 319, 319, 319, 554, 554, 554, 319,
915
352, 352, 554, 554, 554, 352, 353, 353, 554, 554,
916
554, 353, 369, 369, 369, 554, 554, 554, 369, 370,
917
370, 370, 370, 554, 554, 554, 370, 395, 395, 554,
918
554, 554, 395, 399, 554, 399, 399, 554, 554, 554,
919
399, 417, 417, 417, 554, 554, 554, 417, 418, 418,
920
921
418, 418, 554, 554, 554, 418, 448, 448, 554, 554,
922
554, 448, 449, 554, 449, 449, 554, 554, 554, 449,
923
465, 465, 465, 554, 554, 554, 465, 466, 466, 466,
924
554, 554, 554, 554, 466, 472, 554, 554, 472, 472,
925
554, 472, 472, 472, 554, 554, 472, 472, 472, 475,
926
554, 554, 475, 475, 554, 475, 475, 475, 554, 554,
927
475, 475, 475, 485, 485, 554, 554, 554, 485, 486,
928
554, 486, 486, 554, 554, 554, 486, 502, 502, 554,
929
554, 554, 554, 502, 504, 504, 504, 504, 504, 504,
930
504, 504, 504, 504, 504, 504, 504, 504, 517, 517,
931
932
554, 554, 554, 517, 518, 554, 518, 518, 554, 554,
933
554, 518, 532, 532, 554, 554, 554, 532, 533, 554,
934
533, 554, 554, 554, 554, 533, 546, 546, 546, 546,
935
546, 546, 546, 546, 546, 546, 546, 546, 546, 546,
936
13, 554, 554, 554, 554, 554, 554, 554, 554, 554,
937
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
938
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
939
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
940
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
941
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
942
943
554, 554, 554
588
61, 61, 61, 15, 16, 17, 63, 59, 183, 136,
589
110, 127, 64, 65, 66, 127, 127, 132, 110, 133,
590
75, 134, 75, 147, 169, 133, 67, 134, 75, 170,
591
145, 359, 171, 127, 172, 184, 148, 149, 226, 134,
592
593
134, 84, 84, 84, 84, 84, 84, 84, 84, 68,
594
15, 16, 17, 63, 59, 128, 136, 110, 370, 64,
595
65, 66, 85, 134, 85, 82, 85, 145, 85, 85,
596
82, 91, 85, 67, 75, 91, 91, 157, 158, 159,
597
157, 157, 157, 157, 157, 85, 85, 219, 88, 518,
598
88, 75, 88, 91, 88, 88, 68, 79, 88, 79,
599
74, 79, 139, 79, 79, 226, 253, 79, 75, 75,
600
88, 88, 88, 226, 225, 92, 592, 163, 75, 79,
601
79, 79, 191, 90, 370, 74, 204, 90, 254, 74,
602
74, 229, 309, 90, 161, 161, 161, 161, 161, 161,
603
604
161, 161, 95, 80, 82, 90, 90, 74, 161, 161,
605
161, 161, 161, 161, 83, 82, 75, 84, 84, 84,
606
84, 84, 84, 84, 84, 93, 75, 94, 94, 94,
607
94, 94, 94, 94, 94, 95, 237, 237, 237, 96,
608
96, 96, 96, 96, 161, 161, 161, 161, 161, 161,
609
161, 161, 246, 246, 246, 246, 246, 247, 310, 75,
610
518, 96, 96, 96, 96, 96, 96, 74, 255, 75,
611
267, 74, 256, 74, 476, 263, 74, 74, 75, 74,
612
74, 74, 102, 102, 102, 102, 102, 102, 102, 102,
613
95, 75, 268, 74, 102, 102, 102, 102, 102, 103,
614
615
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
616
103, 103, 103, 103, 75, 103, 96, 96, 96, 96,
617
96, 96, 74, 74, 74, 74, 74, 74, 74, 74,
618
74, 74, 103, 103, 103, 103, 103, 103, 103, 103,
619
592, 82, 75, 545, 103, 103, 103, 103, 103, 84,
620
84, 84, 84, 84, 84, 84, 84, 226, 127, 112,
621
348, 538, 127, 127, 349, 95, 74, 74, 74, 74,
622
74, 74, 109, 110, 74, 75, 74, 163, 74, 74,
623
127, 270, 74, 241, 163, 75, 204, 113, 114, 75,
624
306, 115, 407, 243, 74, 74, 74, 82, 116, 592,
625
626
163, 117, 128, 75, 253, 271, 269, 83, 312, 243,
627
84, 84, 84, 84, 84, 84, 84, 84, 126, 75,
628
74, 457, 126, 75, 74, 74, 254, 75, 126, 592,
629
592, 592, 592, 592, 592, 592, 592, 360, 409, 75,
630
126, 126, 74, 209, 209, 209, 209, 209, 209, 209,
631
209, 118, 82, 230, 231, 232, 230, 230, 230, 230,
632
230, 560, 135, 163, 346, 592, 592, 592, 592, 592,
633
592, 592, 592, 79, 502, 79, 150, 79, 138, 79,
634
79, 138, 138, 79, 363, 75, 347, 75, 138, 291,
635
291, 291, 291, 291, 292, 79, 79, 79, 163, 75,
636
637
163, 138, 75, 361, 241, 163, 154, 204, 154, 243,
638
154, 356, 154, 154, 243, 404, 154, 75, 503, 80,
639
160, 160, 160, 160, 160, 160, 160, 160, 154, 154,
640
154, 163, 160, 160, 160, 160, 160, 191, 476, 192,
641
192, 192, 192, 192, 192, 235, 235, 236, 237, 237,
642
237, 237, 237, 201, 160, 160, 160, 160, 160, 160,
643
166, 166, 166, 166, 166, 166, 166, 166, 75, 241,
644
163, 75, 166, 166, 166, 166, 166, 362, 91, 288,
645
592, 163, 91, 422, 163, 419, 419, 75, 91, 75,
646
288, 352, 354, 243, 160, 160, 160, 160, 160, 160,
647
648
91, 91, 191, 410, 192, 192, 192, 192, 192, 192,
649
192, 192, 127, 353, 355, 82, 127, 455, 82, 473,
650
473, 370, 127, 245, 245, 245, 245, 245, 245, 245,
651
245, 372, 241, 163, 127, 127, 75, 191, 538, 193,
652
193, 193, 193, 193, 193, 193, 193, 592, 346, 244,
653
244, 244, 244, 244, 244, 244, 244, 277, 277, 277,
654
277, 277, 277, 277, 277, 201, 592, 163, 456, 499,
655
347, 75, 191, 536, 194, 194, 194, 194, 194, 195,
656
192, 192, 282, 283, 284, 282, 282, 282, 282, 282,
657
252, 252, 252, 252, 252, 252, 252, 252, 241, 163,
658
659
286, 286, 286, 286, 286, 286, 75, 74, 243, 196,
660
196, 196, 196, 196, 196, 196, 196, 490, 490, 75,
661
535, 196, 196, 196, 196, 196, 290, 290, 290, 290,
662
290, 290, 290, 290, 500, 313, 314, 315, 313, 313,
663
313, 313, 313, 196, 196, 196, 196, 196, 196, 198,
664
199, 200, 200, 200, 200, 200, 200, 201, 515, 515,
665
352, 202, 202, 202, 202, 202, 592, 75, 289, 289,
666
289, 289, 289, 289, 289, 289, 337, 337, 337, 337,
667
337, 338, 353, 202, 202, 202, 202, 202, 202, 163,
668
205, 206, 207, 205, 205, 205, 205, 205, 208, 163,
669
670
534, 354, 209, 209, 209, 209, 209, 271, 288, 272,
671
272, 272, 272, 272, 272, 297, 297, 297, 297, 297,
672
297, 297, 297, 355, 209, 209, 209, 209, 209, 209,
673
210, 210, 210, 210, 210, 210, 210, 210, 241, 163,
674
163, 75, 210, 210, 210, 210, 210, 325, 288, 326,
675
326, 326, 326, 326, 326, 326, 326, 375, 375, 375,
676
375, 375, 376, 422, 196, 196, 196, 196, 196, 196,
677
191, 592, 192, 192, 192, 192, 192, 192, 192, 192,
678
325, 372, 327, 327, 327, 327, 327, 327, 327, 327,
679
325, 75, 328, 328, 328, 328, 328, 329, 326, 326,
680
681
408, 449, 451, 460, 75, 191, 372, 192, 192, 192,
682
192, 192, 192, 192, 192, 241, 163, 332, 332, 332,
683
332, 332, 332, 450, 452, 288, 336, 336, 336, 336,
684
336, 336, 336, 336, 241, 163, 467, 75, 497, 75,
685
241, 163, 242, 242, 242, 242, 242, 242, 242, 242,
686
243, 163, 496, 492, 244, 244, 244, 244, 244, 592,
687
288, 335, 335, 335, 335, 335, 335, 335, 335, 392,
688
392, 392, 392, 392, 393, 493, 244, 244, 244, 244,
689
244, 244, 163, 248, 249, 250, 248, 248, 248, 248,
690
248, 251, 551, 551, 449, 252, 252, 252, 252, 252,
691
692
324, 324, 324, 324, 324, 324, 324, 324, 374, 374,
693
374, 374, 374, 374, 374, 374, 450, 252, 252, 252,
694
252, 252, 252, 271, 370, 272, 272, 272, 272, 272,
695
272, 272, 272, 592, 372, 373, 373, 373, 373, 373,
696
373, 373, 373, 382, 383, 384, 382, 382, 382, 382,
697
382, 425, 425, 425, 425, 425, 426, 75, 271, 370,
698
273, 273, 273, 273, 273, 273, 273, 273, 325, 422,
699
326, 326, 326, 326, 326, 326, 326, 326, 325, 163,
700
326, 326, 326, 326, 326, 326, 326, 326, 334, 561,
701
82, 495, 75, 271, 592, 274, 274, 274, 274, 274,
702
703
275, 272, 272, 325, 422, 326, 326, 326, 326, 326,
704
326, 241, 163, 343, 343, 343, 343, 343, 343, 343,
705
343, 334, 569, 569, 540, 502, 494, 75, 241, 163,
706
286, 286, 286, 286, 286, 286, 286, 286, 243, 241,
707
163, 287, 287, 287, 287, 287, 287, 287, 287, 288,
708
592, 163, 451, 289, 289, 289, 289, 289, 75, 432,
709
334, 241, 163, 387, 387, 387, 387, 387, 387, 505,
710
492, 334, 137, 137, 452, 289, 289, 289, 289, 289,
711
289, 163, 293, 294, 295, 293, 293, 293, 293, 293,
712
296, 372, 493, 532, 297, 297, 297, 297, 297, 391,
713
714
391, 391, 391, 391, 391, 391, 391, 416, 417, 418,
715
416, 416, 416, 416, 416, 533, 297, 297, 297, 297,
716
297, 297, 271, 370, 272, 272, 272, 272, 272, 272,
717
272, 272, 592, 422, 390, 390, 390, 390, 390, 390,
718
390, 390, 411, 412, 413, 414, 411, 411, 411, 411,
719
443, 443, 443, 443, 443, 444, 75, 271, 592, 272,
720
272, 272, 272, 272, 272, 272, 272, 479, 479, 479,
721
479, 479, 480, 319, 75, 75, 363, 364, 364, 364,
722
364, 364, 364, 381, 381, 381, 381, 381, 381, 381,
723
381, 75, 320, 321, 322, 320, 320, 320, 320, 320,
724
725
323, 454, 503, 453, 324, 324, 324, 324, 324, 75,
726
424, 424, 424, 424, 424, 424, 424, 424, 397, 397,
727
397, 397, 397, 397, 397, 397, 324, 324, 324, 324,
728
324, 324, 241, 163, 332, 332, 332, 332, 332, 332,
729
332, 332, 288, 241, 163, 333, 333, 333, 333, 333,
730
333, 333, 333, 334, 163, 458, 75, 335, 335, 335,
731
335, 335, 592, 334, 423, 423, 423, 423, 423, 423,
732
423, 423, 448, 447, 446, 458, 445, 458, 458, 335,
733
335, 335, 335, 335, 335, 163, 339, 340, 341, 339,
734
339, 339, 339, 339, 342, 163, 82, 532, 343, 343,
735
736
343, 343, 343, 432, 389, 433, 433, 433, 433, 433,
737
433, 433, 433, 521, 521, 521, 521, 521, 522, 533,
738
343, 343, 343, 343, 343, 343, 363, 364, 364, 364,
739
364, 364, 364, 364, 364, 432, 370, 434, 434, 434,
740
434, 434, 434, 434, 434, 432, 476, 435, 435, 435,
741
435, 435, 436, 433, 433, 539, 319, 239, 406, 75,
742
363, 365, 365, 365, 365, 365, 365, 365, 365, 241,
743
163, 241, 163, 592, 163, 405, 403, 574, 592, 334,
744
592, 389, 592, 389, 442, 442, 442, 442, 442, 442,
745
442, 442, 476, 75, 363, 366, 366, 366, 366, 366,
746
747
367, 364, 364, 241, 163, 439, 439, 439, 439, 439,
748
439, 75, 592, 389, 441, 441, 441, 441, 441, 441,
749
441, 441, 503, 402, 505, 401, 400, 75, 370, 399,
750
371, 371, 371, 371, 371, 371, 371, 371, 372, 163,
751
398, 558, 373, 373, 373, 373, 373, 467, 389, 468,
752
468, 468, 468, 468, 468, 468, 468, 556, 556, 556,
753
556, 556, 557, 559, 373, 373, 373, 373, 373, 373,
754
377, 378, 379, 377, 377, 377, 377, 377, 380, 325,
755
319, 558, 381, 381, 381, 381, 381, 467, 239, 469,
756
469, 469, 469, 469, 469, 469, 469, 201, 460, 358,
757
758
510, 510, 510, 559, 381, 381, 381, 381, 381, 381,
759
241, 163, 387, 387, 387, 387, 387, 387, 387, 387,
760
334, 241, 163, 388, 388, 388, 388, 388, 388, 388,
761
388, 389, 75, 571, 571, 390, 390, 390, 390, 390,
762
467, 370, 470, 470, 470, 470, 470, 471, 468, 468,
763
357, 476, 458, 351, 350, 572, 572, 390, 390, 390,
764
390, 390, 390, 163, 394, 395, 396, 394, 394, 394,
765
394, 394, 458, 345, 458, 459, 397, 397, 397, 397,
766
397, 431, 431, 431, 431, 431, 431, 431, 431, 583,
767
510, 510, 510, 344, 583, 319, 75, 239, 397, 397,
768
769
397, 397, 397, 397, 363, 364, 364, 364, 364, 364,
770
364, 364, 364, 478, 478, 478, 478, 478, 478, 478,
771
478, 592, 75, 477, 477, 477, 477, 477, 477, 477,
772
477, 579, 579, 579, 579, 579, 579, 75, 363, 364,
773
364, 364, 364, 364, 364, 364, 364, 486, 487, 488,
774
486, 486, 486, 486, 486, 432, 370, 433, 433, 433,
775
433, 433, 433, 433, 433, 201, 518, 201, 264, 308,
776
307, 75, 370, 305, 420, 420, 420, 420, 420, 420,
777
420, 420, 372, 370, 592, 421, 421, 421, 421, 421,
778
421, 421, 421, 422, 518, 304, 303, 423, 423, 423,
779
780
423, 423, 432, 302, 433, 433, 433, 433, 433, 433,
781
433, 433, 163, 527, 527, 527, 527, 527, 527, 423,
782
423, 423, 423, 423, 423, 427, 428, 429, 427, 427,
783
427, 427, 427, 430, 301, 300, 299, 431, 431, 431,
784
431, 431, 432, 298, 433, 433, 433, 433, 433, 433,
785
511, 512, 513, 511, 511, 511, 511, 511, 280, 431,
786
431, 431, 431, 431, 431, 241, 163, 439, 439, 439,
787
439, 439, 439, 439, 439, 389, 241, 163, 440, 440,
788
440, 440, 440, 440, 440, 440, 241, 163, 455, 82,
789
441, 441, 441, 441, 441, 239, 389, 201, 561, 82,
790
791
370, 498, 506, 507, 508, 506, 506, 506, 506, 506,
792
518, 573, 441, 441, 441, 441, 441, 441, 460, 276,
793
461, 461, 461, 461, 461, 461, 461, 461, 201, 101,
794
264, 266, 264, 467, 75, 468, 468, 468, 468, 468,
795
468, 468, 468, 467, 265, 468, 468, 468, 468, 468,
796
468, 264, 75, 460, 262, 462, 462, 462, 462, 462,
797
462, 462, 462, 467, 261, 468, 468, 468, 468, 468,
798
468, 468, 468, 485, 485, 485, 485, 485, 485, 485,
799
485, 260, 259, 258, 257, 95, 201, 75, 460, 239,
800
463, 463, 463, 463, 463, 464, 465, 465, 520, 520,
801
802
520, 520, 520, 520, 520, 520, 592, 201, 519, 519,
803
519, 519, 519, 519, 519, 519, 101, 82, 189, 227,
804
224, 223, 75, 460, 222, 466, 466, 466, 461, 461,
805
461, 461, 461, 163, 527, 527, 527, 527, 527, 527,
806
527, 527, 163, 528, 528, 528, 528, 528, 528, 528,
807
528, 221, 220, 218, 217, 216, 215, 75, 370, 214,
808
474, 474, 474, 474, 474, 474, 474, 474, 422, 370,
809
213, 475, 475, 475, 475, 475, 475, 475, 475, 476,
810
212, 211, 101, 477, 477, 477, 477, 477, 163, 529,
811
529, 529, 529, 529, 530, 527, 527, 509, 509, 509,
812
813
509, 509, 509, 509, 509, 477, 477, 477, 477, 477,
814
477, 481, 482, 483, 481, 481, 481, 481, 481, 484,
815
93, 155, 82, 485, 485, 485, 485, 485, 545, 75,
816
546, 546, 546, 546, 546, 546, 546, 546, 82, 75,
817
189, 144, 145, 139, 139, 485, 485, 485, 485, 485,
818
485, 241, 163, 491, 491, 491, 491, 491, 491, 491,
819
491, 460, 131, 465, 465, 465, 465, 465, 465, 465,
820
465, 545, 187, 547, 547, 547, 547, 547, 547, 547,
821
547, 124, 180, 179, 501, 178, 177, 176, 501, 174,
822
501, 501, 173, 168, 501, 75, 460, 167, 465, 465,
823
824
465, 465, 465, 465, 465, 465, 501, 501, 501, 545,
825
101, 548, 548, 548, 548, 548, 549, 546, 546, 504,
826
74, 101, 156, 504, 89, 504, 504, 155, 82, 504,
827
75, 460, 150, 465, 465, 465, 465, 465, 465, 509,
828
509, 504, 504, 504, 526, 526, 526, 526, 526, 526,
829
526, 526, 555, 555, 555, 555, 555, 555, 555, 555,
830
151, 77, 76, 75, 145, 75, 460, 139, 509, 509,
831
509, 509, 509, 509, 509, 509, 592, 131, 554, 554,
832
554, 554, 554, 554, 554, 554, 163, 527, 527, 527,
833
527, 527, 527, 527, 527, 124, 123, 122, 121, 120,
834
835
75, 370, 119, 516, 516, 516, 516, 516, 516, 516,
836
516, 476, 370, 108, 517, 517, 517, 517, 517, 517,
837
517, 517, 518, 107, 106, 105, 519, 519, 519, 519,
838
519, 163, 527, 527, 527, 527, 527, 527, 527, 527,
839
562, 563, 564, 562, 562, 562, 562, 562, 519, 519,
840
519, 519, 519, 519, 523, 524, 525, 523, 523, 523,
841
523, 523, 104, 101, 89, 77, 526, 526, 526, 526,
842
526, 540, 75, 541, 541, 541, 541, 541, 541, 565,
843
566, 567, 565, 565, 565, 565, 565, 76, 526, 526,
844
526, 526, 526, 526, 540, 75, 541, 541, 541, 541,
845
846
541, 541, 541, 541, 545, 75, 546, 546, 546, 546,
847
546, 546, 546, 546, 545, 592, 546, 546, 546, 546,
848
546, 546, 546, 546, 592, 592, 592, 592, 75, 540,
849
592, 542, 542, 542, 542, 542, 542, 542, 542, 545,
850
592, 546, 546, 546, 546, 546, 546, 370, 592, 570,
851
570, 570, 570, 570, 570, 570, 570, 592, 592, 592,
852
592, 592, 592, 75, 540, 592, 543, 543, 543, 543,
853
543, 544, 541, 541, 579, 579, 579, 579, 579, 579,
854
579, 579, 580, 580, 580, 580, 580, 580, 580, 580,
855
581, 581, 581, 581, 581, 582, 579, 579, 75, 370,
856
857
592, 552, 552, 552, 552, 552, 552, 552, 552, 518,
858
370, 592, 553, 553, 553, 553, 553, 553, 553, 553,
859
592, 592, 592, 592, 554, 554, 554, 554, 554, 592,
860
586, 587, 588, 586, 586, 586, 586, 586, 574, 592,
861
575, 575, 575, 575, 575, 575, 554, 554, 554, 554,
862
554, 554, 540, 592, 541, 541, 541, 541, 541, 541,
863
541, 541, 75, 579, 579, 579, 579, 579, 579, 579,
864
579, 592, 75, 579, 579, 579, 579, 579, 579, 579,
865
579, 592, 592, 592, 592, 592, 75, 540, 592, 541,
866
541, 541, 541, 541, 541, 541, 541, 592, 592, 592,
867
868
589, 589, 589, 589, 589, 589, 589, 589, 586, 586,
869
586, 586, 586, 586, 586, 586, 592, 592, 592, 592,
870
592, 75, 574, 592, 575, 575, 575, 575, 575, 575,
871
575, 575, 75, 592, 592, 592, 592, 592, 592, 592,
872
75, 590, 590, 590, 590, 590, 591, 589, 589, 592,
873
589, 589, 589, 589, 589, 589, 75, 574, 592, 576,
874
576, 576, 576, 576, 576, 576, 576, 592, 592, 592,
875
592, 592, 592, 75, 589, 589, 589, 589, 589, 589,
876
589, 589, 75, 592, 592, 592, 592, 592, 592, 592,
877
592, 75, 574, 592, 577, 577, 577, 577, 577, 578,
878
879
575, 575, 592, 592, 592, 592, 75, 592, 592, 592,
880
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
881
592, 592, 592, 592, 592, 592, 75, 574, 592, 575,
882
575, 575, 575, 575, 575, 575, 575, 592, 592, 592,
883
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
884
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
885
592, 75, 574, 592, 575, 575, 575, 575, 575, 575,
886
575, 575, 592, 592, 592, 592, 592, 592, 592, 592,
887
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
888
592, 592, 592, 592, 592, 592, 75, 53, 53, 53,
889
890
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
891
53, 31, 31, 31, 31, 31, 31, 31, 31, 31,
892
31, 31, 31, 31, 31, 62, 62, 62, 62, 62,
893
62, 62, 62, 62, 62, 62, 62, 62, 62, 69,
894
69, 69, 69, 69, 69, 69, 69, 69, 69, 69,
895
69, 69, 69, 74, 592, 592, 592, 74, 592, 74,
896
74, 74, 592, 592, 74, 74, 74, 78, 78, 592,
897
78, 78, 78, 78, 78, 78, 78, 78, 78, 78,
898
78, 81, 81, 81, 81, 81, 81, 81, 81, 81,
899
81, 81, 81, 81, 81, 85, 592, 592, 592, 85,
900
901
592, 85, 85, 85, 85, 592, 85, 85, 85, 88,
902
592, 592, 592, 88, 592, 88, 88, 88, 592, 592,
903
88, 88, 88, 90, 592, 592, 90, 90, 90, 90,
904
90, 90, 592, 592, 90, 90, 90, 100, 100, 592,
905
592, 592, 100, 126, 592, 592, 126, 126, 126, 126,
906
126, 126, 592, 592, 126, 126, 126, 130, 592, 592,
907
130, 130, 130, 130, 130, 130, 592, 130, 592, 130,
908
130, 138, 592, 592, 138, 592, 138, 138, 138, 138,
909
138, 592, 138, 138, 138, 142, 142, 142, 142, 142,
910
142, 142, 142, 142, 142, 142, 142, 142, 142, 144,
911
912
144, 592, 144, 592, 144, 144, 144, 144, 144, 144,
913
144, 144, 144, 79, 79, 592, 79, 79, 79, 79,
914
79, 79, 79, 79, 79, 79, 79, 152, 152, 152,
915
152, 152, 152, 152, 152, 152, 152, 152, 152, 152,
916
152, 153, 153, 592, 153, 153, 153, 153, 153, 153,
917
153, 153, 153, 153, 153, 154, 592, 592, 592, 154,
918
592, 154, 154, 154, 592, 592, 154, 154, 154, 91,
919
592, 592, 91, 91, 91, 91, 91, 91, 592, 592,
920
91, 91, 91, 162, 162, 592, 592, 592, 162, 164,
921
164, 164, 592, 592, 592, 164, 127, 592, 592, 127,
922
923
127, 127, 127, 127, 127, 592, 592, 127, 127, 127,
924
190, 190, 190, 190, 190, 190, 190, 190, 190, 190,
925
190, 190, 190, 190, 197, 197, 592, 592, 592, 197,
926
203, 203, 203, 592, 592, 592, 203, 233, 233, 592,
927
592, 592, 233, 234, 234, 592, 592, 592, 234, 238,
928
238, 592, 592, 592, 238, 240, 240, 240, 592, 592,
929
592, 240, 276, 276, 592, 592, 592, 276, 278, 278,
930
592, 592, 592, 278, 279, 279, 592, 592, 592, 279,
931
281, 281, 281, 592, 592, 592, 281, 285, 285, 285,
932
285, 592, 592, 592, 285, 316, 316, 592, 592, 592,
933
934
316, 317, 317, 592, 592, 592, 317, 318, 318, 592,
935
592, 592, 318, 330, 330, 330, 592, 592, 592, 330,
936
331, 331, 331, 331, 592, 592, 592, 331, 368, 368,
937
592, 592, 592, 368, 369, 369, 592, 592, 592, 369,
938
385, 385, 385, 592, 592, 592, 385, 386, 386, 386,
939
386, 592, 592, 592, 386, 415, 415, 592, 592, 592,
940
415, 419, 592, 419, 419, 592, 592, 592, 419, 437,
941
437, 437, 592, 592, 592, 437, 438, 438, 438, 438,
942
592, 592, 592, 438, 472, 472, 592, 592, 592, 472,
943
473, 592, 473, 473, 592, 592, 592, 473, 489, 489,
944
945
489, 592, 592, 592, 489, 490, 490, 490, 592, 592,
946
592, 592, 490, 501, 592, 592, 501, 501, 592, 501,
947
501, 501, 592, 592, 501, 501, 501, 504, 592, 592,
948
504, 504, 592, 504, 504, 504, 592, 592, 504, 504,
949
504, 514, 514, 592, 592, 592, 514, 515, 592, 515,
950
515, 592, 592, 592, 515, 531, 531, 592, 592, 592,
951
592, 531, 537, 537, 537, 537, 537, 537, 537, 537,
952
537, 537, 537, 537, 537, 537, 550, 550, 592, 592,
953
592, 550, 551, 592, 551, 551, 592, 592, 592, 551,
954
568, 568, 592, 592, 592, 568, 569, 592, 569, 592,
955
956
592, 592, 592, 569, 584, 584, 584, 584, 584, 584,
957
584, 584, 584, 584, 584, 584, 584, 584, 13, 592,
958
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
959
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
960
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
961
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
962
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
963
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
964
592, 592, 592, 592
944
965
} ;
945
966
946
static yyconst short int yy_chk[3604] =
967
static yyconst short int yy_chk[3685] =
947
968
{ 0,
948
969
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
949
970
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
951
972
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
952
973
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
953
974
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
954
1, 1, 2, 3, 4, 116, 2, 3, 4, 551,
955
5, 5, 5, 119, 5, 20, 3, 4, 59, 59,
956
5, 11, 11, 11, 11, 6, 6, 6, 119, 6,
957
2, 2, 5, 5, 2, 6, 20, 84, 2, 40,
958
959
51, 2, 12, 12, 12, 12, 63, 6, 6, 70,
960
25, 67, 67, 5, 25, 25, 40, 51, 84, 116,
961
109, 3, 4, 65, 11, 109, 63, 69, 6, 7,
962
7, 7, 25, 7, 27, 27, 27, 27, 27, 27,
963
27, 27, 121, 65, 432, 12, 72, 72, 121, 72,
964
70, 25, 28, 28, 28, 28, 28, 28, 39, 117,
965
39, 39, 39, 39, 39, 39, 39, 39, 41, 348,
966
69, 117, 7, 7, 7, 7, 7, 7, 7, 7,
967
7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
968
8, 8, 8, 100, 8, 432, 41, 41, 127, 348,
969
970
41, 178, 100, 127, 41, 49, 178, 41, 49, 49,
971
49, 49, 49, 49, 49, 49, 82, 82, 82, 82,
972
82, 82, 82, 82, 83, 83, 83, 83, 83, 83,
973
83, 83, 118, 8, 8, 8, 8, 8, 8, 8,
975
1, 1, 1, 1, 1, 2, 3, 4, 269, 2,
976
3, 4, 70, 5, 5, 5, 123, 5, 269, 3,
977
4, 20, 123, 5, 11, 11, 11, 11, 6, 6,
978
6, 41, 6, 2, 2, 5, 5, 2, 6, 12,
979
980
12, 12, 12, 64, 2, 20, 71, 2, 41, 25,
981
6, 6, 52, 25, 25, 60, 60, 66, 70, 5,
982
28, 28, 28, 28, 28, 28, 64, 3, 4, 52,
983
11, 25, 68, 68, 6, 7, 7, 7, 101, 7,
984
66, 73, 73, 164, 73, 12, 111, 101, 85, 118,
985
71, 111, 164, 25, 27, 27, 27, 27, 27, 27,
986
27, 27, 40, 119, 40, 40, 40, 40, 40, 40,
987
40, 40, 85, 129, 589, 119, 42, 584, 129, 132,
988
132, 7, 7, 7, 7, 7, 7, 7, 7, 7,
989
7, 7, 7, 7, 7, 7, 7, 7, 7, 8,
990
991
8, 8, 573, 8, 42, 42, 118, 75, 42, 75,
992
185, 75, 185, 75, 75, 42, 50, 75, 42, 50,
993
50, 50, 50, 50, 50, 50, 50, 120, 122, 75,
994
75, 75, 83, 83, 83, 83, 83, 83, 83, 83,
995
122, 309, 109, 109, 146, 8, 8, 8, 8, 8,
974
996
8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
975
8, 9, 9, 9, 9, 9, 120, 130, 130, 50,
976
9, 9, 9, 50, 50, 57, 57, 57, 120, 57,
977
118, 104, 144, 57, 9, 57, 104, 222, 104, 89,
978
171, 50, 162, 89, 89, 134, 134, 57, 57, 146,
979
146, 162, 222, 171, 9, 10, 10, 10, 10, 10,
980
981
50, 89, 182, 145, 10, 10, 10, 74, 57, 74,
982
181, 74, 181, 74, 74, 144, 182, 74, 10, 177,
983
89, 96, 96, 96, 96, 96, 96, 96, 96, 74,
984
74, 74, 98, 98, 98, 98, 98, 98, 10, 18,
985
184, 18, 18, 18, 145, 18, 18, 546, 86, 18,
986
86, 180, 86, 184, 86, 86, 110, 199, 86, 535,
987
192, 18, 18, 18, 124, 177, 199, 180, 124, 124,
988
259, 86, 86, 97, 97, 97, 97, 97, 97, 97,
989
97, 192, 18, 19, 110, 110, 124, 259, 110, 258,
990
107, 107, 110, 19, 207, 110, 19, 19, 19, 19,
991
992
19, 19, 19, 19, 26, 124, 26, 26, 26, 26,
993
26, 26, 26, 26, 26, 188, 207, 213, 26, 26,
994
26, 26, 26, 213, 260, 92, 92, 92, 92, 92,
995
92, 92, 92, 107, 260, 26, 263, 26, 26, 26,
996
26, 26, 26, 32, 220, 220, 188, 32, 258, 32,
997
360, 360, 32, 32, 92, 32, 32, 32, 32, 32,
998
32, 32, 32, 32, 32, 32, 32, 263, 534, 32,
999
32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
1000
32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
1001
32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
1002
1003
32, 32, 32, 32, 32, 34, 34, 34, 34, 34,
1004
34, 34, 34, 34, 196, 196, 196, 34, 34, 34,
1005
34, 34, 123, 123, 123, 123, 123, 123, 123, 123,
1006
254, 299, 532, 141, 141, 254, 34, 34, 34, 34,
1007
34, 34, 38, 38, 38, 219, 38, 299, 38, 38,
1008
223, 88, 38, 88, 234, 88, 223, 88, 88, 236,
1009
236, 88, 521, 234, 38, 38, 38, 42, 137, 236,
1010
520, 137, 137, 88, 88, 88, 141, 42, 137, 221,
1011
42, 42, 42, 42, 42, 42, 42, 42, 91, 518,
1012
91, 137, 91, 343, 91, 91, 517, 219, 91, 126,
1013
1014
221, 126, 247, 126, 154, 126, 126, 434, 154, 126,
1015
91, 91, 91, 345, 154, 238, 238, 221, 42, 58,
1016
298, 126, 126, 126, 247, 238, 154, 154, 345, 58,
1017
298, 513, 58, 58, 58, 58, 58, 58, 58, 58,
1018
77, 343, 77, 77, 77, 289, 77, 77, 434, 292,
1019
77, 133, 133, 133, 133, 133, 133, 133, 133, 272,
1020
261, 504, 77, 77, 77, 261, 276, 289, 272, 294,
1021
153, 292, 153, 293, 153, 276, 153, 153, 294, 388,
1022
153, 388, 297, 77, 93, 93, 93, 93, 93, 93,
1023
93, 93, 153, 153, 153, 293, 93, 93, 93, 93,
1024
1025
93, 187, 187, 187, 187, 187, 187, 187, 187, 203,
1026
203, 203, 203, 203, 203, 93, 93, 93, 93, 93,
1027
93, 101, 101, 101, 101, 101, 101, 101, 101, 297,
1028
187, 387, 387, 101, 101, 101, 101, 101, 191, 435,
1029
191, 191, 191, 191, 191, 191, 244, 244, 244, 244,
1030
244, 244, 101, 101, 101, 101, 101, 101, 155, 300,
1031
155, 155, 155, 155, 155, 155, 155, 155, 300, 191,
1032
200, 200, 200, 200, 200, 200, 200, 200, 183, 387,
1033
435, 355, 183, 406, 406, 420, 420, 502, 183, 155,
1034
156, 355, 156, 156, 156, 156, 156, 156, 156, 156,
1035
1036
183, 183, 195, 195, 195, 195, 195, 195, 195, 195,
1037
195, 202, 202, 202, 202, 202, 202, 202, 202, 421,
1038
421, 156, 157, 357, 157, 157, 157, 157, 157, 157,
1039
157, 157, 205, 357, 205, 205, 205, 205, 205, 205,
1040
205, 205, 229, 229, 229, 229, 229, 229, 229, 229,
1041
229, 340, 498, 157, 158, 318, 158, 158, 158, 158,
1042
158, 158, 158, 158, 318, 424, 424, 340, 158, 158,
1043
158, 158, 158, 235, 235, 235, 235, 235, 235, 235,
1044
235, 286, 286, 286, 286, 286, 286, 158, 158, 158,
1045
158, 158, 158, 161, 161, 161, 161, 161, 161, 161,
1046
1047
161, 161, 456, 456, 470, 161, 161, 161, 161, 161,
1048
237, 237, 237, 237, 237, 237, 237, 237, 310, 310,
1049
310, 310, 310, 310, 161, 161, 161, 161, 161, 161,
1050
163, 163, 163, 163, 163, 163, 163, 163, 163, 163,
1051
467, 467, 486, 163, 163, 163, 163, 163, 241, 241,
1052
241, 241, 241, 241, 241, 241, 332, 336, 241, 485,
1053
470, 346, 163, 163, 163, 163, 163, 163, 164, 164,
1054
164, 164, 164, 164, 164, 164, 338, 346, 332, 336,
1055
164, 164, 164, 164, 164, 243, 243, 243, 243, 243,
1056
243, 243, 243, 472, 382, 471, 277, 277, 338, 164,
1057
1058
164, 164, 164, 164, 164, 189, 277, 189, 189, 189,
1059
189, 189, 189, 189, 189, 246, 382, 246, 246, 246,
1060
246, 246, 246, 246, 246, 262, 262, 262, 262, 262,
1061
262, 262, 262, 469, 472, 433, 189, 190, 319, 190,
1062
190, 190, 190, 190, 190, 190, 190, 319, 278, 278,
1063
433, 437, 493, 493, 262, 280, 280, 266, 278, 266,
1064
266, 266, 266, 266, 266, 280, 506, 506, 190, 201,
1065
201, 201, 201, 201, 201, 201, 201, 201, 201, 201,
1066
320, 320, 437, 201, 201, 201, 201, 201, 266, 273,
1067
320, 273, 273, 273, 273, 273, 273, 273, 273, 524,
1068
1069
524, 468, 201, 201, 201, 201, 201, 201, 204, 204,
1070
204, 204, 204, 204, 204, 204, 204, 204, 344, 568,
1071
568, 204, 204, 204, 204, 204, 274, 344, 274, 274,
1072
274, 274, 274, 274, 274, 274, 466, 321, 321, 449,
1073
204, 204, 204, 204, 204, 204, 224, 321, 224, 224,
1074
224, 224, 224, 224, 224, 224, 275, 383, 275, 275,
1075
275, 275, 275, 275, 275, 275, 279, 279, 279, 279,
1076
279, 279, 279, 279, 425, 448, 444, 224, 225, 383,
1077
225, 225, 225, 225, 225, 225, 225, 225, 283, 283,
1078
283, 283, 283, 283, 283, 283, 425, 400, 283, 285,
1079
1080
285, 285, 285, 285, 285, 285, 285, 400, 508, 225,
1081
226, 401, 226, 226, 226, 226, 226, 226, 226, 226,
1082
288, 401, 288, 288, 288, 288, 288, 288, 288, 288,
1083
307, 307, 307, 307, 307, 307, 307, 307, 429, 508,
1084
413, 226, 239, 239, 239, 239, 239, 239, 239, 239,
1085
239, 239, 239, 242, 242, 242, 242, 242, 242, 242,
1086
242, 242, 242, 242, 399, 395, 390, 242, 242, 242,
1087
242, 242, 309, 309, 309, 309, 309, 309, 309, 309,
1088
329, 329, 329, 329, 329, 329, 242, 242, 242, 242,
1089
242, 242, 245, 245, 245, 245, 245, 245, 245, 245,
1090
1091
245, 245, 369, 386, 385, 245, 245, 245, 245, 245,
1092
312, 369, 312, 312, 312, 312, 312, 312, 312, 312,
1093
384, 323, 323, 353, 245, 245, 245, 245, 245, 245,
1094
264, 323, 264, 264, 264, 264, 264, 264, 264, 264,
1095
313, 313, 313, 313, 313, 313, 313, 313, 315, 370,
1096
315, 315, 315, 315, 315, 315, 315, 315, 370, 352,
1097
342, 264, 265, 403, 265, 265, 265, 265, 265, 265,
1098
265, 265, 316, 403, 316, 316, 316, 316, 316, 316,
1099
316, 316, 317, 417, 317, 317, 317, 317, 317, 317,
1100
431, 431, 417, 265, 271, 271, 271, 271, 271, 271,
1101
1102
271, 271, 271, 431, 341, 335, 271, 271, 271, 271,
1103
271, 322, 322, 322, 322, 322, 322, 322, 322, 363,
1104
363, 363, 363, 363, 363, 271, 271, 271, 271, 271,
1105
271, 281, 281, 281, 281, 281, 281, 281, 281, 281,
1106
281, 281, 284, 284, 284, 284, 284, 284, 284, 284,
1107
284, 284, 284, 334, 314, 306, 284, 284, 284, 284,
1108
284, 326, 326, 326, 326, 326, 326, 326, 326, 427,
1109
305, 326, 304, 296, 295, 284, 284, 284, 284, 284,
1110
284, 287, 287, 287, 287, 287, 287, 287, 287, 287,
1111
287, 427, 291, 290, 287, 287, 287, 287, 287, 328,
1112
1113
328, 328, 328, 328, 328, 328, 328, 380, 380, 380,
1114
380, 380, 380, 287, 287, 287, 287, 287, 287, 301,
1115
301, 301, 301, 301, 301, 301, 301, 301, 331, 270,
1116
331, 331, 331, 331, 331, 331, 331, 331, 347, 347,
1117
347, 347, 347, 347, 347, 347, 525, 525, 537, 301,
1118
302, 302, 302, 302, 302, 302, 302, 302, 302, 525,
1119
351, 351, 351, 351, 351, 351, 351, 347, 354, 354,
1120
354, 354, 354, 354, 354, 354, 269, 268, 267, 537,
1121
302, 303, 303, 303, 303, 303, 303, 303, 303, 303,
1122
351, 356, 356, 356, 356, 356, 356, 356, 356, 362,
1123
1124
362, 362, 362, 362, 362, 362, 362, 257, 619, 256,
1125
255, 303, 308, 619, 308, 308, 308, 308, 308, 308,
1126
308, 308, 308, 418, 253, 252, 308, 308, 308, 308,
1127
308, 365, 418, 365, 365, 365, 365, 365, 365, 365,
1128
365, 251, 250, 249, 233, 308, 308, 308, 308, 308,
1129
308, 311, 311, 311, 311, 311, 311, 311, 311, 311,
1130
232, 231, 230, 311, 311, 311, 311, 311, 366, 450,
1131
366, 366, 366, 366, 366, 366, 366, 366, 228, 450,
1132
227, 218, 311, 311, 311, 311, 311, 311, 324, 324,
1133
324, 324, 324, 324, 324, 324, 324, 324, 324, 327,
1134
1135
327, 327, 327, 327, 327, 327, 327, 327, 327, 327,
1136
217, 216, 215, 327, 327, 327, 327, 327, 367, 451,
1137
367, 367, 367, 367, 367, 367, 367, 367, 473, 451,
1138
214, 212, 327, 327, 327, 327, 327, 327, 330, 330,
1139
330, 330, 330, 330, 330, 330, 330, 371, 371, 211,
1140
210, 330, 330, 330, 330, 330, 368, 371, 368, 368,
1141
368, 368, 368, 368, 368, 368, 209, 208, 206, 473,
1142
330, 330, 330, 330, 330, 330, 349, 349, 349, 349,
1143
349, 349, 349, 349, 349, 372, 372, 373, 373, 373,
1144
373, 373, 373, 373, 373, 372, 379, 379, 379, 379,
1145
1146
379, 379, 379, 379, 198, 197, 349, 350, 350, 350,
1147
350, 350, 350, 350, 350, 350, 374, 374, 377, 377,
1148
377, 377, 377, 377, 377, 377, 374, 381, 377, 381,
1149
381, 381, 381, 381, 381, 381, 381, 350, 358, 475,
1150
358, 358, 358, 358, 358, 358, 358, 358, 358, 361,
1151
453, 361, 361, 361, 361, 361, 361, 361, 361, 361,
1152
453, 194, 193, 361, 361, 361, 361, 361, 396, 465,
1153
396, 396, 396, 396, 396, 396, 396, 396, 465, 186,
1154
475, 185, 361, 361, 361, 361, 361, 361, 364, 364,
1155
364, 364, 364, 364, 364, 364, 364, 179, 176, 175,
1156
1157
364, 364, 364, 364, 364, 397, 487, 397, 397, 397,
1158
397, 397, 397, 397, 397, 174, 487, 173, 172, 364,
1159
364, 364, 364, 364, 364, 375, 375, 375, 375, 375,
1160
375, 375, 375, 375, 375, 375, 378, 378, 378, 378,
1161
378, 378, 378, 378, 378, 378, 170, 419, 419, 169,
1162
378, 378, 378, 378, 378, 389, 398, 419, 398, 398,
1163
398, 398, 398, 398, 398, 398, 481, 481, 481, 378,
1164
378, 378, 378, 378, 378, 389, 168, 389, 389, 402,
1165
402, 402, 402, 402, 402, 402, 402, 408, 408, 408,
1166
408, 408, 408, 408, 408, 481, 389, 391, 167, 391,
1167
1168
391, 391, 391, 391, 391, 391, 391, 409, 409, 409,
1169
409, 409, 409, 411, 488, 411, 411, 411, 411, 411,
1170
411, 411, 411, 166, 488, 165, 160, 159, 391, 392,
1171
152, 392, 392, 392, 392, 392, 392, 392, 392, 412,
1172
412, 412, 412, 412, 412, 412, 412, 414, 490, 414,
1173
414, 414, 414, 414, 414, 414, 414, 151, 490, 150,
1174
392, 393, 519, 393, 393, 393, 393, 393, 393, 393,
1175
393, 415, 519, 415, 415, 415, 415, 415, 415, 415,
1176
415, 416, 148, 416, 416, 416, 416, 416, 416, 430,
1177
147, 143, 393, 394, 142, 394, 394, 394, 394, 394,
1178
1179
394, 394, 394, 459, 459, 459, 459, 459, 459, 430,
1180
140, 430, 430, 136, 129, 125, 442, 122, 442, 442,
1181
442, 115, 114, 113, 394, 404, 112, 404, 404, 404,
1182
404, 404, 404, 404, 404, 404, 407, 111, 407, 407,
1183
407, 407, 407, 407, 407, 407, 407, 442, 106, 105,
1184
407, 407, 407, 407, 407, 436, 436, 436, 436, 436,
1185
436, 436, 436, 496, 496, 496, 496, 496, 496, 407,
1186
407, 407, 407, 407, 407, 410, 410, 410, 410, 410,
1187
410, 410, 410, 410, 436, 103, 99, 410, 410, 410,
1188
410, 410, 443, 443, 443, 443, 443, 443, 443, 443,
1189
1190
544, 544, 544, 544, 544, 544, 410, 410, 410, 410,
1191
410, 410, 422, 422, 422, 422, 422, 422, 422, 422,
1192
422, 422, 438, 95, 438, 438, 438, 438, 438, 438,
1193
438, 438, 445, 94, 445, 445, 445, 445, 445, 445,
1194
445, 445, 446, 90, 446, 446, 446, 446, 446, 446,
1195
446, 446, 87, 438, 439, 85, 439, 439, 439, 439,
1196
439, 439, 439, 439, 447, 80, 447, 447, 447, 447,
1197
447, 447, 452, 452, 452, 452, 452, 452, 452, 452,
1198
79, 78, 76, 75, 73, 439, 440, 68, 440, 440,
1199
440, 440, 440, 440, 440, 440, 458, 458, 458, 458,
1200
1201
458, 458, 458, 458, 461, 61, 461, 461, 461, 461,
1202
461, 461, 461, 461, 54, 48, 47, 440, 441, 46,
1203
441, 441, 441, 441, 441, 441, 441, 441, 462, 462,
1204
462, 462, 462, 462, 462, 462, 462, 463, 463, 463,
1205
463, 463, 463, 463, 463, 463, 45, 44, 43, 441,
1206
454, 37, 454, 454, 454, 454, 454, 454, 454, 454,
1207
454, 457, 36, 457, 457, 457, 457, 457, 457, 457,
1208
457, 457, 35, 33, 29, 457, 457, 457, 457, 457,
1209
464, 464, 464, 464, 464, 464, 464, 464, 464, 23,
1210
17, 15, 14, 13, 457, 457, 457, 457, 457, 457,
1211
1212
460, 460, 460, 460, 460, 460, 460, 460, 0, 0,
1213
0, 0, 460, 460, 460, 460, 460, 474, 0, 0,
1214
0, 474, 0, 474, 474, 0, 0, 474, 0, 0,
1215
0, 460, 460, 460, 460, 460, 460, 0, 476, 474,
1216
474, 474, 476, 0, 476, 476, 0, 0, 476, 480,
1217
480, 480, 480, 480, 480, 480, 480, 0, 0, 0,
1218
476, 476, 476, 477, 0, 477, 477, 477, 477, 477,
1219
477, 477, 477, 0, 0, 0, 0, 482, 480, 482,
1220
482, 482, 482, 482, 482, 482, 482, 501, 501, 501,
1221
501, 501, 501, 501, 477, 478, 0, 478, 478, 478,
1222
1223
478, 478, 478, 478, 478, 483, 0, 483, 483, 483,
1224
483, 483, 483, 483, 483, 484, 0, 484, 484, 484,
1225
484, 484, 484, 484, 484, 0, 478, 479, 0, 479,
1226
479, 479, 479, 479, 479, 479, 479, 489, 489, 489,
1227
489, 489, 489, 489, 489, 495, 495, 495, 495, 495,
1228
495, 495, 495, 0, 0, 0, 0, 0, 479, 491,
1229
0, 491, 491, 491, 491, 491, 491, 491, 491, 491,
1230
494, 0, 494, 494, 494, 494, 494, 494, 494, 494,
1231
0, 0, 0, 0, 494, 494, 494, 494, 494, 497,
1232
0, 497, 497, 497, 497, 497, 497, 497, 497, 0,
1233
1234
0, 0, 0, 494, 494, 494, 494, 494, 494, 499,
1235
499, 499, 499, 499, 499, 499, 499, 499, 500, 500,
1236
500, 500, 500, 500, 500, 500, 500, 507, 507, 507,
1237
507, 507, 507, 507, 507, 0, 511, 0, 511, 511,
1238
511, 511, 511, 511, 512, 512, 512, 512, 512, 512,
1239
512, 512, 0, 0, 0, 0, 507, 509, 0, 509,
1240
509, 509, 509, 509, 509, 509, 509, 511, 514, 0,
1241
514, 514, 514, 514, 514, 514, 514, 514, 515, 0,
1242
515, 515, 515, 515, 515, 515, 515, 515, 509, 510,
1243
0, 510, 510, 510, 510, 510, 510, 510, 510, 516,
1244
1245
0, 516, 516, 516, 516, 516, 516, 522, 0, 522,
1246
522, 522, 522, 522, 522, 522, 522, 0, 0, 0,
1247
510, 526, 0, 526, 526, 526, 526, 526, 526, 526,
1248
526, 529, 529, 529, 529, 529, 529, 529, 529, 530,
1249
530, 530, 530, 530, 530, 530, 530, 0, 0, 0,
1250
0, 0, 526, 527, 0, 527, 527, 527, 527, 527,
1251
527, 527, 527, 531, 531, 531, 531, 531, 531, 531,
1252
531, 536, 536, 536, 536, 536, 536, 536, 536, 0,
1253
0, 0, 0, 0, 527, 528, 0, 528, 528, 528,
1254
528, 528, 528, 528, 528, 0, 0, 0, 0, 540,
1255
1256
536, 540, 540, 540, 540, 540, 540, 542, 542, 542,
1257
542, 542, 542, 542, 542, 0, 528, 538, 0, 538,
1258
538, 538, 538, 538, 538, 538, 538, 0, 0, 0,
1259
540, 543, 543, 543, 543, 543, 543, 543, 543, 548,
1260
548, 548, 548, 548, 548, 548, 548, 0, 538, 539,
1261
0, 539, 539, 539, 539, 539, 539, 539, 539, 549,
1262
549, 549, 549, 549, 549, 549, 549, 0, 548, 550,
1263
550, 550, 550, 550, 550, 550, 550, 0, 0, 0,
1264
539, 553, 553, 553, 553, 553, 553, 0, 549, 552,
1265
552, 552, 552, 552, 552, 552, 552, 0, 550, 0,
1266
1267
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1268
553, 0, 0, 0, 0, 0, 0, 0, 552, 555,
1269
555, 555, 555, 555, 555, 555, 555, 555, 555, 555,
1270
555, 555, 555, 556, 556, 556, 556, 556, 556, 556,
1271
556, 556, 556, 556, 556, 556, 556, 557, 557, 557,
1272
557, 557, 557, 557, 557, 557, 557, 557, 557, 557,
1273
557, 558, 558, 558, 558, 558, 558, 558, 558, 558,
1274
558, 558, 558, 558, 558, 559, 0, 0, 0, 559,
1275
0, 559, 559, 559, 0, 0, 559, 559, 559, 560,
1276
560, 0, 560, 560, 560, 560, 560, 560, 560, 560,
1277
1278
560, 560, 560, 561, 561, 561, 561, 561, 561, 561,
1279
561, 561, 561, 561, 561, 561, 561, 562, 0, 0,
1280
0, 562, 0, 562, 562, 562, 562, 0, 562, 562,
1281
562, 563, 0, 0, 0, 563, 0, 563, 563, 563,
1282
0, 0, 563, 563, 563, 564, 0, 0, 564, 564,
1283
564, 564, 564, 564, 0, 0, 564, 564, 564, 565,
1284
565, 0, 0, 0, 565, 566, 0, 0, 566, 566,
1285
566, 566, 566, 566, 0, 0, 566, 566, 566, 567,
1286
0, 0, 567, 567, 567, 567, 567, 567, 0, 567,
1287
0, 567, 567, 569, 0, 0, 569, 0, 569, 569,
1288
1289
569, 569, 569, 0, 569, 569, 569, 570, 570, 570,
1290
570, 570, 570, 570, 570, 570, 570, 570, 570, 570,
1291
570, 571, 571, 0, 571, 0, 571, 571, 571, 571,
1292
571, 571, 571, 571, 571, 572, 572, 0, 572, 572,
1293
572, 572, 572, 572, 572, 572, 572, 572, 572, 573,
1294
573, 573, 573, 573, 573, 573, 573, 573, 573, 573,
1295
573, 573, 573, 574, 574, 0, 574, 574, 574, 574,
1296
574, 574, 574, 574, 574, 574, 574, 575, 0, 0,
1297
0, 575, 0, 575, 575, 575, 0, 0, 575, 575,
1298
575, 576, 0, 0, 576, 576, 576, 576, 576, 576,
1299
1300
0, 0, 576, 576, 576, 577, 577, 0, 0, 0,
1301
577, 578, 578, 578, 0, 0, 0, 578, 579, 0,
1302
0, 579, 579, 579, 579, 579, 579, 0, 0, 579,
1303
579, 579, 580, 580, 580, 580, 580, 580, 580, 580,
1304
580, 580, 580, 580, 580, 580, 581, 581, 0, 0,
1305
0, 581, 582, 582, 582, 0, 0, 0, 582, 583,
1306
583, 0, 0, 0, 583, 584, 584, 0, 0, 0,
1307
584, 585, 585, 0, 0, 0, 585, 586, 586, 586,
1308
0, 0, 0, 586, 587, 587, 0, 0, 0, 587,
1309
588, 588, 0, 0, 0, 588, 589, 589, 0, 0,
1310
1311
0, 589, 590, 590, 590, 0, 0, 0, 590, 591,
1312
591, 591, 591, 0, 0, 0, 591, 592, 592, 0,
1313
0, 0, 592, 593, 593, 0, 0, 0, 593, 594,
1314
594, 0, 0, 0, 594, 595, 595, 595, 0, 0,
1315
0, 595, 596, 596, 596, 596, 0, 0, 0, 596,
1316
597, 597, 0, 0, 0, 597, 598, 598, 0, 0,
1317
0, 598, 599, 599, 599, 0, 0, 0, 599, 600,
1318
600, 600, 600, 0, 0, 0, 600, 601, 601, 0,
1319
0, 0, 601, 602, 0, 602, 602, 0, 0, 0,
1320
602, 603, 603, 603, 0, 0, 0, 603, 604, 604,
1321
1322
604, 604, 0, 0, 0, 604, 605, 605, 0, 0,
1323
0, 605, 606, 0, 606, 606, 0, 0, 0, 606,
1324
607, 607, 607, 0, 0, 0, 607, 608, 608, 608,
1325
0, 0, 0, 0, 608, 609, 0, 0, 609, 609,
1326
0, 609, 609, 609, 0, 0, 609, 609, 609, 610,
1327
0, 0, 610, 610, 0, 610, 610, 610, 0, 0,
1328
610, 610, 610, 611, 611, 0, 0, 0, 611, 612,
1329
0, 612, 612, 0, 0, 0, 612, 613, 613, 0,
1330
0, 0, 0, 613, 614, 614, 614, 614, 614, 614,
1331
614, 614, 614, 614, 614, 614, 614, 614, 615, 615,
1332
1333
0, 0, 0, 615, 616, 0, 616, 616, 0, 0,
1334
0, 616, 617, 617, 0, 0, 0, 617, 618, 0,
1335
618, 0, 0, 0, 0, 618, 620, 620, 620, 620,
1336
620, 620, 620, 620, 620, 620, 620, 620, 620, 620,
1337
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
1338
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
1339
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
1340
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
1341
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
1342
554, 554, 554, 554, 554, 554, 554, 554, 554, 554,
1343
1344
554, 554, 554
997
8, 8, 8, 9, 9, 9, 9, 9, 120, 136,
998
136, 51, 9, 9, 9, 51, 51, 58, 58, 58,
999
121, 58, 184, 147, 106, 58, 9, 58, 109, 106,
1000
146, 309, 106, 51, 106, 121, 148, 148, 184, 58,
1001
1002
58, 84, 84, 84, 84, 84, 84, 84, 84, 9,
1003
10, 10, 10, 10, 10, 51, 143, 143, 570, 10,
1004
10, 10, 87, 58, 87, 181, 87, 147, 87, 87,
1005
267, 90, 87, 10, 175, 90, 90, 93, 93, 93,
1006
93, 93, 93, 93, 93, 87, 87, 175, 89, 568,
1007
89, 186, 89, 90, 89, 89, 10, 18, 89, 18,
1008
18, 18, 143, 18, 18, 186, 211, 18, 182, 93,
1009
89, 89, 89, 182, 181, 90, 554, 203, 188, 18,
1010
18, 18, 192, 92, 553, 92, 203, 92, 211, 92,
1011
92, 188, 267, 92, 97, 97, 97, 97, 97, 97,
1012
1013
97, 97, 196, 18, 19, 92, 92, 92, 99, 99,
1014
99, 99, 99, 99, 19, 225, 192, 19, 19, 19,
1015
19, 19, 19, 19, 19, 26, 196, 26, 26, 26,
1016
26, 26, 26, 26, 26, 26, 200, 200, 200, 26,
1017
26, 26, 26, 26, 98, 98, 98, 98, 98, 98,
1018
98, 98, 207, 207, 207, 207, 207, 207, 268, 26,
1019
551, 26, 26, 26, 26, 26, 26, 32, 212, 219,
1020
225, 32, 212, 32, 550, 219, 32, 32, 268, 32,
1021
32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
1022
32, 226, 226, 32, 32, 32, 32, 32, 32, 32,
1023
1024
32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
1025
32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
1026
32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
1027
32, 32, 34, 34, 34, 34, 34, 34, 34, 34,
1028
34, 359, 228, 546, 34, 34, 34, 34, 34, 125,
1029
125, 125, 125, 125, 125, 125, 125, 228, 126, 112,
1030
301, 537, 126, 126, 301, 227, 34, 34, 34, 34,
1031
34, 34, 39, 39, 39, 229, 39, 240, 39, 39,
1032
126, 229, 39, 242, 242, 263, 240, 112, 112, 227,
1033
263, 112, 359, 242, 39, 39, 39, 43, 112, 244,
1034
1035
244, 112, 126, 270, 253, 272, 227, 43, 270, 244,
1036
43, 43, 43, 43, 43, 43, 43, 43, 128, 408,
1037
128, 408, 128, 361, 128, 128, 253, 310, 128, 135,
1038
135, 135, 135, 135, 135, 135, 135, 310, 361, 272,
1039
128, 128, 128, 204, 204, 204, 204, 204, 204, 204,
1040
204, 43, 59, 191, 191, 191, 191, 191, 191, 191,
1041
191, 535, 59, 531, 300, 59, 59, 59, 59, 59,
1042
59, 59, 59, 78, 458, 78, 78, 78, 139, 78,
1043
78, 139, 139, 78, 364, 191, 300, 311, 139, 250,
1044
250, 250, 250, 250, 250, 78, 78, 78, 281, 356,
1045
1046
285, 139, 306, 311, 286, 286, 155, 281, 155, 285,
1047
155, 306, 155, 155, 286, 356, 155, 364, 458, 78,
1048
94, 94, 94, 94, 94, 94, 94, 94, 155, 155,
1049
155, 527, 94, 94, 94, 94, 94, 195, 515, 195,
1050
195, 195, 195, 195, 195, 199, 199, 199, 199, 199,
1051
199, 199, 199, 199, 94, 94, 94, 94, 94, 94,
1052
102, 102, 102, 102, 102, 102, 102, 102, 312, 287,
1053
287, 195, 102, 102, 102, 102, 102, 312, 156, 287,
1054
289, 289, 156, 514, 330, 376, 376, 362, 156, 500,
1055
289, 304, 305, 330, 102, 102, 102, 102, 102, 102,
1056
1057
156, 156, 157, 362, 157, 157, 157, 157, 157, 157,
1058
157, 157, 187, 304, 305, 456, 187, 407, 407, 426,
1059
426, 371, 187, 206, 206, 206, 206, 206, 206, 206,
1060
206, 371, 440, 440, 187, 187, 157, 158, 498, 158,
1061
158, 158, 158, 158, 158, 158, 158, 209, 346, 209,
1062
209, 209, 209, 209, 209, 209, 209, 235, 235, 235,
1063
235, 235, 235, 235, 235, 235, 441, 441, 407, 456,
1064
346, 158, 159, 497, 159, 159, 159, 159, 159, 159,
1065
159, 159, 241, 241, 241, 241, 241, 241, 241, 241,
1066
243, 243, 243, 243, 243, 243, 243, 243, 247, 247,
1067
1068
247, 247, 247, 247, 247, 247, 159, 160, 247, 160,
1069
160, 160, 160, 160, 160, 160, 160, 444, 444, 457,
1070
496, 160, 160, 160, 160, 160, 249, 249, 249, 249,
1071
249, 249, 249, 249, 457, 271, 271, 271, 271, 271,
1072
271, 271, 271, 160, 160, 160, 160, 160, 160, 163,
1073
163, 163, 163, 163, 163, 163, 163, 163, 480, 480,
1074
352, 163, 163, 163, 163, 163, 252, 271, 252, 252,
1075
252, 252, 252, 252, 252, 252, 295, 295, 295, 295,
1076
295, 295, 352, 163, 163, 163, 163, 163, 163, 165,
1077
165, 165, 165, 165, 165, 165, 165, 165, 165, 331,
1078
1079
495, 354, 165, 165, 165, 165, 165, 275, 331, 275,
1080
275, 275, 275, 275, 275, 288, 288, 288, 288, 288,
1081
288, 288, 288, 354, 165, 165, 165, 165, 165, 165,
1082
166, 166, 166, 166, 166, 166, 166, 166, 332, 332,
1083
490, 275, 166, 166, 166, 166, 166, 282, 332, 282,
1084
282, 282, 282, 282, 282, 282, 282, 322, 322, 322,
1085
322, 322, 322, 473, 166, 166, 166, 166, 166, 166,
1086
193, 373, 193, 193, 193, 193, 193, 193, 193, 193,
1087
283, 373, 283, 283, 283, 283, 283, 283, 283, 283,
1088
284, 360, 284, 284, 284, 284, 284, 284, 284, 284,
1089
1090
360, 402, 403, 461, 193, 194, 472, 194, 194, 194,
1091
194, 194, 194, 194, 194, 292, 292, 292, 292, 292,
1092
292, 292, 292, 402, 403, 292, 294, 294, 294, 294,
1093
294, 294, 294, 294, 491, 491, 468, 461, 453, 194,
1094
205, 205, 205, 205, 205, 205, 205, 205, 205, 205,
1095
205, 385, 448, 445, 205, 205, 205, 205, 205, 297,
1096
385, 297, 297, 297, 297, 297, 297, 297, 297, 341,
1097
341, 341, 341, 341, 341, 445, 205, 205, 205, 205,
1098
205, 205, 208, 208, 208, 208, 208, 208, 208, 208,
1099
208, 208, 522, 522, 449, 208, 208, 208, 208, 208,
1100
1101
319, 319, 319, 319, 319, 319, 319, 319, 321, 321,
1102
321, 321, 321, 321, 321, 321, 449, 208, 208, 208,
1103
208, 208, 208, 230, 420, 230, 230, 230, 230, 230,
1104
230, 230, 230, 324, 420, 324, 324, 324, 324, 324,
1105
324, 324, 324, 325, 325, 325, 325, 325, 325, 325,
1106
325, 379, 379, 379, 379, 379, 379, 230, 231, 421,
1107
231, 231, 231, 231, 231, 231, 231, 231, 327, 421,
1108
327, 327, 327, 327, 327, 327, 327, 327, 328, 386,
1109
328, 328, 328, 328, 328, 328, 328, 328, 386, 539,
1110
539, 447, 231, 232, 423, 232, 232, 232, 232, 232,
1111
1112
232, 232, 232, 329, 423, 329, 329, 329, 329, 329,
1113
329, 333, 333, 334, 334, 334, 334, 334, 334, 334,
1114
334, 333, 557, 557, 541, 459, 446, 232, 245, 245,
1115
245, 245, 245, 245, 245, 245, 245, 245, 245, 248,
1116
248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
1117
335, 335, 451, 248, 248, 248, 248, 248, 541, 433,
1118
335, 338, 338, 338, 338, 338, 338, 338, 338, 459,
1119
492, 338, 606, 606, 451, 248, 248, 248, 248, 248,
1120
248, 251, 251, 251, 251, 251, 251, 251, 251, 251,
1121
251, 419, 492, 494, 251, 251, 251, 251, 251, 340,
1122
1123
340, 340, 340, 340, 340, 340, 340, 370, 370, 370,
1124
370, 370, 370, 370, 370, 494, 251, 251, 251, 251,
1125
251, 251, 273, 474, 273, 273, 273, 273, 273, 273,
1126
273, 273, 343, 474, 343, 343, 343, 343, 343, 343,
1127
343, 343, 363, 363, 363, 363, 363, 363, 363, 363,
1128
396, 396, 396, 396, 396, 396, 273, 274, 501, 274,
1129
274, 274, 274, 274, 274, 274, 274, 429, 429, 429,
1130
429, 429, 429, 415, 363, 410, 367, 367, 367, 367,
1131
367, 367, 367, 372, 372, 372, 372, 372, 372, 372,
1132
372, 274, 280, 280, 280, 280, 280, 280, 280, 280,
1133
1134
280, 406, 501, 405, 280, 280, 280, 280, 280, 367,
1135
378, 378, 378, 378, 378, 378, 378, 378, 389, 389,
1136
389, 389, 389, 389, 389, 389, 280, 280, 280, 280,
1137
280, 280, 290, 290, 290, 290, 290, 290, 290, 290,
1138
290, 290, 290, 293, 293, 293, 293, 293, 293, 293,
1139
293, 293, 293, 293, 437, 454, 404, 293, 293, 293,
1140
293, 293, 381, 437, 381, 381, 381, 381, 381, 381,
1141
381, 381, 401, 400, 399, 454, 398, 454, 454, 293,
1142
293, 293, 293, 293, 293, 296, 296, 296, 296, 296,
1143
296, 296, 296, 296, 296, 438, 499, 532, 296, 296,
1144
1145
296, 296, 296, 382, 438, 382, 382, 382, 382, 382,
1146
382, 382, 382, 483, 483, 483, 483, 483, 483, 532,
1147
296, 296, 296, 296, 296, 296, 313, 313, 313, 313,
1148
313, 313, 313, 313, 313, 383, 475, 383, 383, 383,
1149
383, 383, 383, 383, 383, 384, 475, 384, 384, 384,
1150
384, 384, 384, 384, 384, 499, 369, 368, 358, 313,
1151
314, 314, 314, 314, 314, 314, 314, 314, 314, 387,
1152
387, 388, 388, 390, 390, 357, 351, 575, 502, 387,
1153
504, 388, 477, 390, 395, 395, 395, 395, 395, 395,
1154
395, 395, 477, 314, 315, 315, 315, 315, 315, 315,
1155
1156
315, 315, 315, 393, 393, 393, 393, 393, 393, 393,
1157
393, 575, 397, 393, 397, 397, 397, 397, 397, 397,
1158
397, 397, 502, 350, 504, 349, 348, 315, 320, 345,
1159
320, 320, 320, 320, 320, 320, 320, 320, 320, 489,
1160
344, 534, 320, 320, 320, 320, 320, 416, 489, 416,
1161
416, 416, 416, 416, 416, 416, 416, 525, 525, 525,
1162
525, 525, 525, 534, 320, 320, 320, 320, 320, 320,
1163
323, 323, 323, 323, 323, 323, 323, 323, 323, 326,
1164
318, 558, 323, 323, 323, 323, 323, 417, 317, 417,
1165
417, 417, 417, 417, 417, 417, 417, 316, 466, 308,
1166
1167
466, 466, 466, 558, 323, 323, 323, 323, 323, 323,
1168
336, 336, 336, 336, 336, 336, 336, 336, 336, 336,
1169
336, 339, 339, 339, 339, 339, 339, 339, 339, 339,
1170
339, 339, 466, 560, 571, 339, 339, 339, 339, 339,
1171
418, 516, 418, 418, 418, 418, 418, 418, 418, 418,
1172
307, 516, 409, 303, 302, 560, 571, 339, 339, 339,
1173
339, 339, 339, 342, 342, 342, 342, 342, 342, 342,
1174
342, 342, 409, 299, 409, 409, 342, 342, 342, 342,
1175
342, 422, 422, 422, 422, 422, 422, 422, 422, 657,
1176
510, 510, 510, 298, 657, 279, 409, 278, 342, 342,
1177
1178
342, 342, 342, 342, 365, 365, 365, 365, 365, 365,
1179
365, 365, 365, 428, 428, 428, 428, 428, 428, 428,
1180
428, 431, 510, 431, 431, 431, 431, 431, 431, 431,
1181
431, 582, 582, 582, 582, 582, 582, 365, 366, 366,
1182
366, 366, 366, 366, 366, 366, 366, 432, 432, 432,
1183
432, 432, 432, 432, 432, 434, 517, 434, 434, 434,
1184
434, 434, 434, 434, 434, 277, 517, 276, 266, 265,
1185
264, 366, 374, 262, 374, 374, 374, 374, 374, 374,
1186
374, 374, 374, 377, 519, 377, 377, 377, 377, 377,
1187
377, 377, 377, 377, 519, 261, 260, 377, 377, 377,
1188
1189
377, 377, 435, 259, 435, 435, 435, 435, 435, 435,
1190
435, 435, 530, 530, 530, 530, 530, 530, 530, 377,
1191
377, 377, 377, 377, 377, 380, 380, 380, 380, 380,
1192
380, 380, 380, 380, 258, 257, 256, 380, 380, 380,
1193
380, 380, 436, 255, 436, 436, 436, 436, 436, 436,
1194
467, 467, 467, 467, 467, 467, 467, 467, 239, 380,
1195
380, 380, 380, 380, 380, 391, 391, 391, 391, 391,
1196
391, 391, 391, 391, 391, 391, 394, 394, 394, 394,
1197
394, 394, 394, 394, 394, 394, 439, 439, 455, 455,
1198
394, 394, 394, 394, 394, 238, 439, 237, 561, 561,
1199
1200
552, 455, 460, 460, 460, 460, 460, 460, 460, 460,
1201
552, 561, 394, 394, 394, 394, 394, 394, 411, 236,
1202
411, 411, 411, 411, 411, 411, 411, 411, 234, 233,
1203
224, 223, 222, 469, 460, 469, 469, 469, 469, 469,
1204
469, 469, 469, 471, 221, 471, 471, 471, 471, 471,
1205
471, 220, 411, 412, 218, 412, 412, 412, 412, 412,
1206
412, 412, 412, 470, 217, 470, 470, 470, 470, 470,
1207
470, 470, 470, 476, 476, 476, 476, 476, 476, 476,
1208
476, 216, 215, 214, 213, 210, 202, 412, 413, 201,
1209
413, 413, 413, 413, 413, 413, 413, 413, 482, 482,
1210
1211
482, 482, 482, 482, 482, 482, 485, 198, 485, 485,
1212
485, 485, 485, 485, 485, 485, 197, 190, 189, 183,
1213
180, 179, 413, 414, 178, 414, 414, 414, 414, 414,
1214
414, 414, 414, 486, 486, 486, 486, 486, 486, 486,
1215
486, 486, 487, 487, 487, 487, 487, 487, 487, 487,
1216
487, 177, 176, 174, 173, 172, 171, 414, 424, 170,
1217
424, 424, 424, 424, 424, 424, 424, 424, 424, 427,
1218
169, 427, 427, 427, 427, 427, 427, 427, 427, 427,
1219
168, 167, 162, 427, 427, 427, 427, 427, 488, 488,
1220
488, 488, 488, 488, 488, 488, 488, 509, 509, 509,
1221
1222
509, 509, 509, 509, 509, 427, 427, 427, 427, 427,
1223
427, 430, 430, 430, 430, 430, 430, 430, 430, 430,
1224
161, 154, 153, 430, 430, 430, 430, 430, 511, 509,
1225
511, 511, 511, 511, 511, 511, 511, 511, 152, 150,
1226
149, 145, 144, 142, 138, 430, 430, 430, 430, 430,
1227
430, 442, 442, 442, 442, 442, 442, 442, 442, 442,
1228
442, 462, 131, 462, 462, 462, 462, 462, 462, 462,
1229
462, 512, 127, 512, 512, 512, 512, 512, 512, 512,
1230
512, 124, 117, 116, 503, 115, 114, 113, 503, 108,
1231
503, 503, 107, 105, 503, 462, 463, 104, 463, 463,
1232
1233
463, 463, 463, 463, 463, 463, 503, 503, 503, 513,
1234
100, 513, 513, 513, 513, 513, 513, 513, 513, 505,
1235
96, 95, 91, 505, 88, 505, 505, 86, 81, 505,
1236
463, 464, 80, 464, 464, 464, 464, 464, 464, 464,
1237
464, 505, 505, 505, 518, 518, 518, 518, 518, 518,
1238
518, 518, 524, 524, 524, 524, 524, 524, 524, 524,
1239
79, 77, 76, 74, 69, 464, 465, 62, 465, 465,
1240
465, 465, 465, 465, 465, 465, 526, 55, 526, 526,
1241
526, 526, 526, 526, 526, 526, 528, 528, 528, 528,
1242
528, 528, 528, 528, 528, 49, 48, 47, 46, 45,
1243
1244
465, 478, 44, 478, 478, 478, 478, 478, 478, 478,
1245
478, 478, 481, 38, 481, 481, 481, 481, 481, 481,
1246
481, 481, 481, 37, 36, 35, 481, 481, 481, 481,
1247
481, 529, 529, 529, 529, 529, 529, 529, 529, 529,
1248
540, 540, 540, 540, 540, 540, 540, 540, 481, 481,
1249
481, 481, 481, 481, 484, 484, 484, 484, 484, 484,
1250
484, 484, 33, 29, 23, 17, 484, 484, 484, 484,
1251
484, 544, 540, 544, 544, 544, 544, 544, 544, 545,
1252
545, 545, 545, 545, 545, 545, 545, 15, 484, 484,
1253
484, 484, 484, 484, 506, 14, 506, 506, 506, 506,
1254
1255
506, 506, 506, 506, 547, 544, 547, 547, 547, 547,
1256
547, 547, 547, 547, 548, 13, 548, 548, 548, 548,
1257
548, 548, 548, 548, 0, 0, 0, 0, 506, 507,
1258
0, 507, 507, 507, 507, 507, 507, 507, 507, 549,
1259
0, 549, 549, 549, 549, 549, 549, 555, 0, 555,
1260
555, 555, 555, 555, 555, 555, 555, 0, 0, 0,
1261
0, 0, 0, 507, 508, 0, 508, 508, 508, 508,
1262
508, 508, 508, 508, 565, 565, 565, 565, 565, 565,
1263
565, 565, 566, 566, 566, 566, 566, 566, 566, 566,
1264
567, 567, 567, 567, 567, 567, 567, 567, 508, 520,
1265
1266
0, 520, 520, 520, 520, 520, 520, 520, 520, 520,
1267
523, 0, 523, 523, 523, 523, 523, 523, 523, 523,
1268
0, 0, 0, 0, 523, 523, 523, 523, 523, 0,
1269
574, 574, 574, 574, 574, 574, 574, 574, 578, 0,
1270
578, 578, 578, 578, 578, 578, 523, 523, 523, 523,
1271
523, 523, 542, 0, 542, 542, 542, 542, 542, 542,
1272
542, 542, 574, 580, 580, 580, 580, 580, 580, 580,
1273
580, 0, 578, 581, 581, 581, 581, 581, 581, 581,
1274
581, 0, 0, 0, 0, 0, 542, 543, 0, 543,
1275
543, 543, 543, 543, 543, 543, 543, 0, 0, 0,
1276
1277
586, 586, 586, 586, 586, 586, 586, 586, 587, 587,
1278
587, 587, 587, 587, 587, 587, 0, 0, 0, 0,
1279
0, 543, 562, 0, 562, 562, 562, 562, 562, 562,
1280
562, 562, 586, 0, 0, 0, 0, 0, 0, 0,
1281
587, 588, 588, 588, 588, 588, 588, 588, 588, 0,
1282
591, 591, 591, 591, 591, 591, 562, 563, 0, 563,
1283
563, 563, 563, 563, 563, 563, 563, 0, 0, 0,
1284
0, 0, 0, 588, 590, 590, 590, 590, 590, 590,
1285
590, 590, 591, 0, 0, 0, 0, 0, 0, 0,
1286
0, 563, 564, 0, 564, 564, 564, 564, 564, 564,
1287
1288
564, 564, 0, 0, 0, 0, 590, 0, 0, 0,
1289
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1290
0, 0, 0, 0, 0, 0, 564, 576, 0, 576,
1291
576, 576, 576, 576, 576, 576, 576, 0, 0, 0,
1292
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1293
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1294
0, 576, 577, 0, 577, 577, 577, 577, 577, 577,
1295
577, 577, 0, 0, 0, 0, 0, 0, 0, 0,
1296
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1297
0, 0, 0, 0, 0, 0, 577, 593, 593, 593,
1298
1299
593, 593, 593, 593, 593, 593, 593, 593, 593, 593,
1300
593, 594, 594, 594, 594, 594, 594, 594, 594, 594,
1301
594, 594, 594, 594, 594, 595, 595, 595, 595, 595,
1302
595, 595, 595, 595, 595, 595, 595, 595, 595, 596,
1303
596, 596, 596, 596, 596, 596, 596, 596, 596, 596,
1304
596, 596, 596, 597, 0, 0, 0, 597, 0, 597,
1305
597, 597, 0, 0, 597, 597, 597, 598, 598, 0,
1306
598, 598, 598, 598, 598, 598, 598, 598, 598, 598,
1307
598, 599, 599, 599, 599, 599, 599, 599, 599, 599,
1308
599, 599, 599, 599, 599, 600, 0, 0, 0, 600,
1309
1310
0, 600, 600, 600, 600, 0, 600, 600, 600, 601,
1311
0, 0, 0, 601, 0, 601, 601, 601, 0, 0,
1312
601, 601, 601, 602, 0, 0, 602, 602, 602, 602,
1313
602, 602, 0, 0, 602, 602, 602, 603, 603, 0,
1314
0, 0, 603, 604, 0, 0, 604, 604, 604, 604,
1315
604, 604, 0, 0, 604, 604, 604, 605, 0, 0,
1316
605, 605, 605, 605, 605, 605, 0, 605, 0, 605,
1317
605, 607, 0, 0, 607, 0, 607, 607, 607, 607,
1318
607, 0, 607, 607, 607, 608, 608, 608, 608, 608,
1319
608, 608, 608, 608, 608, 608, 608, 608, 608, 609,
1320
1321
609, 0, 609, 0, 609, 609, 609, 609, 609, 609,
1322
609, 609, 609, 610, 610, 0, 610, 610, 610, 610,
1323
610, 610, 610, 610, 610, 610, 610, 611, 611, 611,
1324
611, 611, 611, 611, 611, 611, 611, 611, 611, 611,
1325
611, 612, 612, 0, 612, 612, 612, 612, 612, 612,
1326
612, 612, 612, 612, 612, 613, 0, 0, 0, 613,
1327
0, 613, 613, 613, 0, 0, 613, 613, 613, 614,
1328
0, 0, 614, 614, 614, 614, 614, 614, 0, 0,
1329
614, 614, 614, 615, 615, 0, 0, 0, 615, 616,
1330
616, 616, 0, 0, 0, 616, 617, 0, 0, 617,
1331
1332
617, 617, 617, 617, 617, 0, 0, 617, 617, 617,
1333
618, 618, 618, 618, 618, 618, 618, 618, 618, 618,
1334
618, 618, 618, 618, 619, 619, 0, 0, 0, 619,
1335
620, 620, 620, 0, 0, 0, 620, 621, 621, 0,
1336
0, 0, 621, 622, 622, 0, 0, 0, 622, 623,
1337
623, 0, 0, 0, 623, 624, 624, 624, 0, 0,
1338
0, 624, 625, 625, 0, 0, 0, 625, 626, 626,
1339
0, 0, 0, 626, 627, 627, 0, 0, 0, 627,
1340
628, 628, 628, 0, 0, 0, 628, 629, 629, 629,
1341
629, 0, 0, 0, 629, 630, 630, 0, 0, 0,
1342
1343
630, 631, 631, 0, 0, 0, 631, 632, 632, 0,
1344
0, 0, 632, 633, 633, 633, 0, 0, 0, 633,
1345
634, 634, 634, 634, 0, 0, 0, 634, 635, 635,
1346
0, 0, 0, 635, 636, 636, 0, 0, 0, 636,
1347
637, 637, 637, 0, 0, 0, 637, 638, 638, 638,
1348
638, 0, 0, 0, 638, 639, 639, 0, 0, 0,
1349
639, 640, 0, 640, 640, 0, 0, 0, 640, 641,
1350
641, 641, 0, 0, 0, 641, 642, 642, 642, 642,
1351
0, 0, 0, 642, 643, 643, 0, 0, 0, 643,
1352
644, 0, 644, 644, 0, 0, 0, 644, 645, 645,
1353
1354
645, 0, 0, 0, 645, 646, 646, 646, 0, 0,
1355
0, 0, 646, 647, 0, 0, 647, 647, 0, 647,
1356
647, 647, 0, 0, 647, 647, 647, 648, 0, 0,
1357
648, 648, 0, 648, 648, 648, 0, 0, 648, 648,
1358
648, 649, 649, 0, 0, 0, 649, 650, 0, 650,
1359
650, 0, 0, 0, 650, 651, 651, 0, 0, 0,
1360
0, 651, 652, 652, 652, 652, 652, 652, 652, 652,
1361
652, 652, 652, 652, 652, 652, 653, 653, 0, 0,
1362
0, 653, 654, 0, 654, 654, 0, 0, 0, 654,
1363
655, 655, 0, 0, 0, 655, 656, 0, 656, 0,
1364
1365
0, 0, 0, 656, 658, 658, 658, 658, 658, 658,
1366
658, 658, 658, 658, 658, 658, 658, 658, 592, 592,
1367
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
1368
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
1369
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
1370
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
1371
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
1372
592, 592, 592, 592, 592, 592, 592, 592, 592, 592,
1373
592, 592, 592, 592
1345
1374
} ;
1346
1375
1347
1376
static yy_state_type yy_last_accepting_state;
1471
1500
1472
1501
#define INSTR 5
1473
1502
1474
#line 1475 "lex.yy.c"
1503
#line 1504 "lex.yy.c"
1475
1504
1476
1505
/* Macros after this point can all be overridden by user definitions in
1477
1506
* section 1.
1627
1656
1628
1657
#line 127 "toke.l"
1629
1658
1630
#line 1631 "lex.yy.c"
1659
#line 1660 "lex.yy.c"
1631
1660
1632
1661
if ( yy_init )
1633
1662
{
1679
1708
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1680
1709
{
1681
1710
yy_current_state = (int) yy_def[yy_current_state];
1682
if ( yy_current_state >= 555 )
1711
if ( yy_current_state >= 593 )
1683
1712
yy_c = yy_meta[(unsigned int) yy_c];
1684
1713
}
1685
1714
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1686
1715
++yy_cp;
1687
1716
}
1688
while ( yy_base[yy_current_state] != 3541 );
1717
while ( yy_base[yy_current_state] != 3619 );
1689
1718
1690
1719
yy_find_action:
1691
1720
yy_act = yy_accept[yy_current_state];
2006
2035
YY_RULE_SETUP
2007
2036
#line 341 "toke.l"
2008
2037
{
2038
LEXTRACE("LOG_OUTPUT ");
2039
return(LOG_OUTPUT);
2040
}
2041
YY_BREAK
2042
case 28:
2043
YY_RULE_SETUP
2044
#line 346 "toke.l"
2045
{
2046
LEXTRACE("NOLOG_OUTPUT ");
2047
return(NOLOG_OUTPUT);
2048
}
2049
YY_BREAK
2050
case 29:
2051
YY_RULE_SETUP
2052
#line 351 "toke.l"
2053
{
2054
LEXTRACE("LOG_INPUT ");
2055
return(LOG_INPUT);
2056
}
2057
YY_BREAK
2058
case 30:
2059
YY_RULE_SETUP
2060
#line 356 "toke.l"
2061
{
2062
LEXTRACE("NOLOG_INPUT ");
2063
return(NOLOG_INPUT);
2064
}
2065
YY_BREAK
2066
case 31:
2067
YY_RULE_SETUP
2068
#line 361 "toke.l"
2069
{
2009
2070
/* netgroup */
2010
2071
if (!fill(yytext, yyleng))
2011
2072
yyterminate();
2013
2074
return(NETGROUP);
2014
2075
}
2015
2076
YY_BREAK
2016
case 28:
2077
case 32:
2017
2078
YY_RULE_SETUP
2018
#line 349 "toke.l"
2079
#line 369 "toke.l"
2019
2080
{
2020
2081
/* UN*X group */
2021
2082
if (!fill(yytext, yyleng))
2024
2085
return(USERGROUP);
2025
2086
}
2026
2087
YY_BREAK
2027
case 29:
2028
YY_RULE_SETUP
2029
#line 357 "toke.l"
2030
{
2031
if (!fill(yytext, yyleng))
2032
yyterminate();
2033
LEXTRACE("NTWKADDR ");
2034
return(NTWKADDR);
2035
}
2036
YY_BREAK
2037
case 30:
2038
YY_RULE_SETUP
2039
#line 364 "toke.l"
2040
{
2041
if (!fill(yytext, yyleng))
2042
yyterminate();
2043
LEXTRACE("NTWKADDR ");
2044
return(NTWKADDR);
2045
}
2046
YY_BREAK
2047
case 31:
2048
YY_RULE_SETUP
2049
#line 371 "toke.l"
2050
{
2051
if (!ipv6_valid(yytext)) {
2052
LEXTRACE("ERROR ");
2053
return(ERROR);
2054
}
2055
if (!fill(yytext, yyleng))
2056
yyterminate();
2057
LEXTRACE("NTWKADDR ");
2058
return(NTWKADDR);
2059
}
2060
YY_BREAK
2061
case 32:
2062
YY_RULE_SETUP
2063
#line 382 "toke.l"
2064
{
2065
if (!ipv6_valid(yytext)) {
2066
LEXTRACE("ERROR ");
2067
return(ERROR);
2068
}
2069
if (!fill(yytext, yyleng))
2070
yyterminate();
2071
LEXTRACE("NTWKADDR ");
2072
return(NTWKADDR);
2073
}
2074
YY_BREAK
2075
2088
case 33:
2076
2089
YY_RULE_SETUP
2077
#line 393 "toke.l"
2090
#line 377 "toke.l"
2091
{
2092
if (!fill(yytext, yyleng))
2093
yyterminate();
2094
LEXTRACE("NTWKADDR ");
2095
return(NTWKADDR);
2096
}
2097
YY_BREAK
2098
case 34:
2099
YY_RULE_SETUP
2100
#line 384 "toke.l"
2101
{
2102
if (!fill(yytext, yyleng))
2103
yyterminate();
2104
LEXTRACE("NTWKADDR ");
2105
return(NTWKADDR);
2106
}
2107
YY_BREAK
2108
case 35:
2109
YY_RULE_SETUP
2110
#line 391 "toke.l"
2111
{
2112
if (!ipv6_valid(yytext)) {
2113
LEXTRACE("ERROR ");
2114
return(ERROR);
2115
}
2116
if (!fill(yytext, yyleng))
2117
yyterminate();
2118
LEXTRACE("NTWKADDR ");
2119
return(NTWKADDR);
2120
}
2121
YY_BREAK
2122
case 36:
2123
YY_RULE_SETUP
2124
#line 402 "toke.l"
2125
{
2126
if (!ipv6_valid(yytext)) {
2127
LEXTRACE("ERROR ");
2128
return(ERROR);
2129
}
2130
if (!fill(yytext, yyleng))
2131
yyterminate();
2132
LEXTRACE("NTWKADDR ");
2133
return(NTWKADDR);
2134
}
2135
YY_BREAK
2136
case 37:
2137
YY_RULE_SETUP
2138
#line 413 "toke.l"
2078
2139
{
2079
2140
if (strcmp(yytext, "ALL") == 0) {
2080
2141
LEXTRACE("ALL ");
2097
2158
return(ALIAS);
2098
2159
}
2099
2160
YY_BREAK
2100
case 34:
2161
case 38:
2101
2162
YY_RULE_SETUP
2102
#line 415 "toke.l"
2163
#line 435 "toke.l"
2103
2164
{
2104
2165
/* no command args allowed for Defaults!/path */
2105
2166
if (!fill_cmnd(yytext, yyleng))
2108
2169
return(COMMAND);
2109
2170
}
2110
2171
YY_BREAK
2111
case 35:
2172
case 39:
2112
2173
YY_RULE_SETUP
2113
#line 423 "toke.l"
2174
#line 443 "toke.l"
2114
2175
{
2115
2176
BEGIN GOTCMND;
2116
2177
LEXTRACE("COMMAND ");
2118
2179
yyterminate();
2119
2180
} /* sudo -e */
2120
2181
YY_BREAK
2121
case 36:
2182
case 40:
2122
2183
YY_RULE_SETUP
2123
#line 430 "toke.l"
2184
#line 450 "toke.l"
2124
2185
{
2125
2186
/* directories can't have args... */
2126
2187
if (yytext[yyleng - 1] == '/') {
2136
2197
}
2137
2198
} /* a pathname */
2138
2199
YY_BREAK
2139
case 37:
2200
case 41:
2140
2201
YY_RULE_SETUP
2141
#line 445 "toke.l"
2202
#line 465 "toke.l"
2142
2203
{
2143
2204
/* a quoted user/group name */
2144
2205
if (!fill(yytext + 1, yyleng - 2))
2156
2217
}
2157
2218
}
2158
2219
YY_BREAK
2159
case 38:
2220
case 42:
2160
2221
YY_RULE_SETUP
2161
#line 462 "toke.l"
2222
#line 482 "toke.l"
2162
2223
{
2163
2224
/* a word */
2164
2225
if (!fill(yytext, yyleng))
2167
2228
return(WORD);
2168
2229
}
2169
2230
YY_BREAK
2170
case 39:
2231
case 43:
2171
2232
YY_RULE_SETUP
2172
#line 470 "toke.l"
2233
#line 490 "toke.l"
2173
2234
{
2174
2235
LEXTRACE("( ");
2175
2236
return ('(');
2176
2237
}
2177
2238
YY_BREAK
2178
case 40:
2239
case 44:
2179
2240
YY_RULE_SETUP
2180
#line 475 "toke.l"
2241
#line 495 "toke.l"
2181
2242
{
2182
2243
LEXTRACE(") ");
2183
2244
return(')');
2184
2245
}
2185
2246
YY_BREAK
2186
case 41:
2247
case 45:
2187
2248
YY_RULE_SETUP
2188
#line 480 "toke.l"
2249
#line 500 "toke.l"
2189
2250
{
2190
2251
LEXTRACE(", ");
2191
2252
return(',');
2192
2253
} /* return ',' */
2193
2254
YY_BREAK
2194
case 42:
2255
case 46:
2195
2256
YY_RULE_SETUP
2196
#line 485 "toke.l"
2257
#line 505 "toke.l"
2197
2258
{
2198
2259
LEXTRACE("= ");
2199
2260
return('=');
2200
2261
} /* return '=' */
2201
2262
YY_BREAK
2202
case 43:
2263
case 47:
2203
2264
YY_RULE_SETUP
2204
#line 490 "toke.l"
2265
#line 510 "toke.l"
2205
2266
{
2206
2267
LEXTRACE(": ");
2207
2268
return(':');
2208
2269
} /* return ':' */
2209
2270
YY_BREAK
2210
case 44:
2271
case 48:
2211
2272
YY_RULE_SETUP
2212
#line 495 "toke.l"
2273
#line 515 "toke.l"
2213
2274
{
2214
2275
if (yyleng % 2 == 1)
2215
2276
return('!'); /* return '!' */
2216
2277
}
2217
2278
YY_BREAK
2218
case 45:
2279
case 49:
2219
2280
YY_RULE_SETUP
2220
#line 500 "toke.l"
2281
#line 520 "toke.l"
2221
2282
{
2222
2283
BEGIN INITIAL;
2223
2284
++sudolineno;
2225
2286
return(COMMENT);
2226
2287
} /* return newline */
2227
2288
YY_BREAK
2228
case 46:
2289
case 50:
2229
2290
YY_RULE_SETUP
2230
#line 507 "toke.l"
2291
#line 527 "toke.l"
2231
2292
{ /* throw away space/tabs */
2232
2293
sawspace = TRUE; /* but remember for fill_args */
2233
2294
}
2234
2295
YY_BREAK
2235
case 47:
2296
case 51:
2236
2297
YY_RULE_SETUP
2237
#line 511 "toke.l"
2298
#line 531 "toke.l"
2238
2299
{
2239
2300
sawspace = TRUE; /* remember for fill_args */
2240
2301
++sudolineno;
2241
2302
LEXTRACE("\n\t");
2242
2303
} /* throw away EOL after \ */
2243
2304
YY_BREAK
2244
case 48:
2305
case 52:
2245
2306
YY_RULE_SETUP
2246
#line 517 "toke.l"
2307
#line 537 "toke.l"
2247
2308
{
2248
2309
BEGIN INITIAL;
2249
2310
++sudolineno;
2251
2312
return(COMMENT);
2252
2313
} /* comment, not uid/gid */
2253
2314
YY_BREAK
2254
case 49:
2315
case 53:
2255
2316
YY_RULE_SETUP
2256
#line 524 "toke.l"
2317
#line 544 "toke.l"
2257
2318
{
2258
2319
LEXTRACE("ERROR ");
2259
2320
return(ERROR);
2265
2326
case YY_STATE_EOF(STARTDEFS):
2266
2327
case YY_STATE_EOF(INDEFS):
2267
2328
case YY_STATE_EOF(INSTR):
2268
#line 529 "toke.l"
2329
#line 549 "toke.l"
2269
2330
{
2270
2331
if (YY_START != INITIAL) {
2271
2332
BEGIN INITIAL;
2276
2337
yyterminate();
2277
2338
}
2278
2339
YY_BREAK
2279
case 50:
2340
case 54:
2280
2341
YY_RULE_SETUP
2281
#line 539 "toke.l"
2342
#line 559 "toke.l"
2282
2343
ECHO;
2283
2344
YY_BREAK
2284
#line 2285 "lex.yy.c"
2345
#line 2346 "lex.yy.c"
2285
2346
2286
2347
case YY_END_OF_BUFFER:
2287
2348
{
2572
2633
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2573
2634
{
2574
2635
yy_current_state = (int) yy_def[yy_current_state];
2575
if ( yy_current_state >= 555 )
2636
if ( yy_current_state >= 593 )
2576
2637
yy_c = yy_meta[(unsigned int) yy_c];
2577
2638
}
2578
2639
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2607
2668
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2608
2669
{
2609
2670
yy_current_state = (int) yy_def[yy_current_state];
2610
if ( yy_current_state >= 555 )
2671
if ( yy_current_state >= 593 )
2611
2672
yy_c = yy_meta[(unsigned int) yy_c];
2612
2673
}
2613
2674
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2614
yy_is_jam = (yy_current_state == 554);
2675
yy_is_jam = (yy_current_state == 592);
2615
2676
2616
2677
return yy_is_jam ? 0 : yy_current_state;
2617
2678
}
2662
2723
#endif /* ifndef YY_NO_UNPUT */
2663
2724
2664
2725
2726
#ifndef YY_NO_INPUT
2665
2727
#ifdef __cplusplus
2666
2728
static int yyinput()
2667
2729
#else
2734
2796
2735
2797
return c;
2736
2798
}
2799
#endif /* ifndef YY_NO_INPUT */
2737
2800
2738
2801
2739
2802
#ifdef YY_USE_PROTOS
3170
3233
return 0;
3171
3234
}
3172
3235
#endif
3173
#line 539 "toke.l"
3236
#line 559 "toke.l"
3174
3237
3175
3238
static unsigned char
3176
3239
hexchar(s)
Loggerhead is a web-based interface for Breezy
Version: 2.0.1