136229Sbostic /* 2*61918Sbostic * Copyright (c) 1980, 1993 3*61918Sbostic * The Regents of the University of California. All rights reserved. 436229Sbostic * 542718Sbostic * %sccs.include.redist.c% 636229Sbostic */ 78855Smckusick 836229Sbostic #ifndef lint 9*61918Sbostic static char copyright[] = 10*61918Sbostic "@(#) Copyright (c) 1980, 1993\n\ 11*61918Sbostic The Regents of the University of California. All rights reserved.\n"; 1236229Sbostic #endif /* not lint */ 138855Smckusick 1436229Sbostic #ifndef lint 15*61918Sbostic static char sccsid[] = "@(#)banner.c 8.1 (Berkeley) 06/06/93"; 1636229Sbostic #endif /* not lint */ 1736229Sbostic 188855Smckusick /* 198855Smckusick * banner - prints large signs 208855Smckusick * banner [-w#] [-d] [-t] message ... 218855Smckusick */ 228855Smckusick 238855Smckusick #include <stdio.h> 2436229Sbostic 2536229Sbostic #define MAXMSG 1024 268855Smckusick #define DWIDTH 132 278855Smckusick #define NCHARS 128 288855Smckusick #define NBYTES 9271 298855Smckusick 308855Smckusick /* Pointers into data_table for each ASCII char */ 318855Smckusick int asc_ptr[NCHARS] = { 328855Smckusick /* ^@ */ 0, 0, 0, 0, 0, 0, 0, 0, 338855Smckusick /* ^H */ 0, 0, 0, 0, 0, 0, 0, 0, 348855Smckusick /* ^P */ 0, 0, 0, 0, 0, 0, 0, 0, 358855Smckusick /* ^X */ 0, 0, 0, 0, 0, 0, 0, 0, 368855Smckusick /* */ 1, 3, 50, 81, 104, 281, 483, 590, 378855Smckusick /* ( */ 621, 685, 749, 851, 862, 893, 898, 921, 388855Smckusick /* 0 */1019, 1150, 1200, 1419, 1599, 1744, 1934, 2111, 398855Smckusick /* 8 */2235, 2445, 2622, 2659, 0, 2708, 0, 2715, 408855Smckusick /* @ */2857, 3072, 3273, 3403, 3560, 3662, 3730, 3785, 418855Smckusick /* H */3965, 4000, 4015, 4115, 4281, 4314, 4432, 4548, 428855Smckusick /* P */4709, 4790, 4999, 5188, 5397, 5448, 5576, 5710, 438855Smckusick /* X */5892, 6106, 6257, 0, 0, 0, 0, 0, 448855Smckusick /* ` */ 50, 6503, 6642, 6733, 6837, 6930, 7073, 7157, 458855Smckusick /* h */7380, 7452, 7499, 7584, 7689, 7702, 7797, 7869, 468855Smckusick /* p */7978, 8069, 8160, 8222, 8381, 8442, 8508, 8605, 478855Smckusick /* x */8732, 8888, 9016, 0, 0, 0, 0, 0 488855Smckusick }; 498855Smckusick 508855Smckusick /* 518855Smckusick * Table of stuff to print. Format: 528855Smckusick * 128+n -> print current line n times. 538855Smckusick * 64+n -> this is last byte of char. 548855Smckusick * else, put m chars at position n (where m 558855Smckusick * is the next elt in array) and goto second 568855Smckusick * next element in array. 578855Smckusick */ 588855Smckusick char data_table[NBYTES] = { 598855Smckusick /* 0 1 2 3 4 5 6 7 8 9 */ 608855Smckusick /* 0 */ 129, 227, 130, 34, 6, 90, 19, 129, 32, 10, 618855Smckusick /* 10 */ 74, 40, 129, 31, 12, 64, 53, 129, 30, 14, 628855Smckusick /* 20 */ 54, 65, 129, 30, 14, 53, 67, 129, 30, 14, 638855Smckusick /* 30 */ 54, 65, 129, 31, 12, 64, 53, 129, 32, 10, 648855Smckusick /* 40 */ 74, 40, 129, 34, 6, 90, 19, 129, 194, 130, 658855Smckusick /* 50 */ 99, 9, 129, 97, 14, 129, 96, 18, 129, 95, 668855Smckusick /* 60 */ 22, 129, 95, 16, 117, 2, 129, 95, 14, 129, 678855Smckusick /* 70 */ 96, 11, 129, 97, 9, 129, 99, 6, 129, 194, 688855Smckusick /* 80 */ 129, 87, 4, 101, 4, 131, 82, 28, 131, 87, 698855Smckusick /* 90 */ 4, 101, 4, 133, 82, 28, 131, 87, 4, 101, 708855Smckusick /* 100 */ 4, 131, 193, 129, 39, 1, 84, 27, 129, 38, 718855Smckusick /* 110 */ 3, 81, 32, 129, 37, 5, 79, 35, 129, 36, 728855Smckusick /* 120 */ 5, 77, 38, 129, 35, 5, 76, 40, 129, 34, 738855Smckusick /* 130 */ 5, 75, 21, 103, 14, 129, 33, 5, 74, 19, 748855Smckusick /* 140 */ 107, 11, 129, 32, 5, 73, 17, 110, 9, 129, 758855Smckusick /* 150 */ 32, 4, 73, 16, 112, 7, 129, 31, 4, 72, 768855Smckusick /* 160 */ 15, 114, 6, 129, 31, 4, 72, 14, 115, 5, 778855Smckusick /* 170 */ 129, 30, 4, 71, 15, 116, 5, 129, 27, 97, 788855Smckusick /* 180 */ 131, 30, 4, 69, 14, 117, 4, 129, 30, 4, 798855Smckusick /* 190 */ 68, 15, 117, 4, 132, 30, 4, 68, 14, 117, 808855Smckusick /* 200 */ 4, 129, 27, 97, 131, 30, 5, 65, 15, 116, 818855Smckusick /* 210 */ 5, 129, 31, 4, 65, 14, 116, 4, 129, 31, 828855Smckusick /* 220 */ 6, 64, 15, 116, 4, 129, 32, 7, 62, 16, 838855Smckusick /* 230 */ 115, 4, 129, 32, 9, 61, 17, 114, 5, 129, 848855Smckusick /* 240 */ 33, 11, 58, 19, 113, 5, 129, 34, 14, 55, 858855Smckusick /* 250 */ 21, 112, 5, 129, 35, 40, 111, 5, 129, 36, 868855Smckusick /* 260 */ 38, 110, 5, 129, 37, 35, 109, 5, 129, 38, 878855Smckusick /* 270 */ 32, 110, 3, 129, 40, 27, 111, 1, 129, 193, 888855Smckusick /* 280 */ 129, 30, 4, 103, 9, 129, 30, 7, 100, 15, 898855Smckusick /* 290 */ 129, 30, 10, 99, 17, 129, 33, 10, 97, 6, 908855Smckusick /* 300 */ 112, 6, 129, 36, 10, 96, 5, 114, 5, 129, 918855Smckusick /* 310 */ 39, 10, 96, 4, 115, 4, 129, 42, 10, 95, 928855Smckusick /* 320 */ 4, 116, 4, 129, 45, 10, 95, 3, 117, 3, 938855Smckusick /* 330 */ 129, 48, 10, 95, 3, 117, 3, 129, 51, 10, 948855Smckusick /* 340 */ 95, 4, 116, 4, 129, 54, 10, 96, 4, 115, 958855Smckusick /* 350 */ 4, 129, 57, 10, 96, 5, 114, 5, 129, 60, 968855Smckusick /* 360 */ 10, 97, 6, 112, 6, 129, 63, 10, 99, 17, 978855Smckusick /* 370 */ 129, 66, 10, 100, 15, 129, 69, 10, 103, 9, 988855Smckusick /* 380 */ 129, 39, 9, 72, 10, 129, 36, 15, 75, 10, 998855Smckusick /* 390 */ 129, 35, 17, 78, 10, 129, 33, 6, 48, 6, 1008855Smckusick /* 400 */ 81, 10, 129, 32, 5, 50, 5, 84, 10, 129, 1018855Smckusick /* 410 */ 32, 4, 51, 4, 87, 10, 129, 31, 4, 52, 1028855Smckusick /* 420 */ 4, 90, 10, 129, 31, 3, 53, 3, 93, 10, 1038855Smckusick /* 430 */ 129, 31, 3, 53, 3, 96, 10, 129, 31, 4, 1048855Smckusick /* 440 */ 52, 4, 99, 10, 129, 32, 4, 51, 4, 102, 1058855Smckusick /* 450 */ 10, 129, 32, 5, 50, 5, 105, 10, 129, 33, 1068855Smckusick /* 460 */ 6, 48, 6, 108, 10, 129, 35, 17, 111, 10, 1078855Smckusick /* 470 */ 129, 36, 15, 114, 7, 129, 40, 9, 118, 4, 1088855Smckusick /* 480 */ 129, 193, 129, 48, 18, 129, 43, 28, 129, 41, 1098855Smckusick /* 490 */ 32, 129, 39, 36, 129, 37, 40, 129, 35, 44, 1108855Smckusick /* 500 */ 129, 34, 46, 129, 33, 13, 68, 13, 129, 32, 1118855Smckusick /* 510 */ 9, 73, 9, 129, 32, 7, 75, 7, 129, 31, 1128855Smckusick /* 520 */ 6, 77, 6, 129, 31, 5, 78, 5, 129, 30, 1138855Smckusick /* 530 */ 5, 79, 5, 129, 20, 74, 132, 30, 4, 80, 1148855Smckusick /* 540 */ 4, 129, 31, 3, 79, 4, 129, 31, 4, 79, 1158855Smckusick /* 550 */ 4, 129, 32, 3, 78, 4, 129, 32, 4, 76, 1168855Smckusick /* 560 */ 6, 129, 33, 4, 74, 7, 129, 34, 4, 72, 1178855Smckusick /* 570 */ 8, 129, 35, 5, 72, 7, 129, 37, 5, 73, 1188855Smckusick /* 580 */ 4, 129, 39, 4, 74, 1, 129, 129, 193, 130, 1198855Smckusick /* 590 */ 111, 6, 129, 109, 10, 129, 108, 12, 129, 107, 1208855Smckusick /* 600 */ 14, 129, 97, 2, 105, 16, 129, 99, 22, 129, 1218855Smckusick /* 610 */ 102, 18, 129, 105, 14, 129, 108, 9, 129, 194, 1228855Smckusick /* 620 */ 130, 63, 25, 129, 57, 37, 129, 52, 47, 129, 1238855Smckusick /* 630 */ 48, 55, 129, 44, 63, 129, 41, 69, 129, 38, 1248855Smckusick /* 640 */ 75, 129, 36, 79, 129, 34, 83, 129, 33, 28, 1258855Smckusick /* 650 */ 90, 28, 129, 32, 23, 96, 23, 129, 32, 17, 1268855Smckusick /* 660 */ 102, 17, 129, 31, 13, 107, 13, 129, 30, 9, 1278855Smckusick /* 670 */ 112, 9, 129, 30, 5, 116, 5, 129, 30, 1, 1288855Smckusick /* 680 */ 120, 1, 129, 194, 130, 30, 1, 120, 1, 129, 1298855Smckusick /* 690 */ 30, 5, 116, 5, 129, 30, 9, 112, 9, 129, 1308855Smckusick /* 700 */ 31, 13, 107, 13, 129, 32, 17, 102, 17, 129, 1318855Smckusick /* 710 */ 32, 23, 96, 23, 129, 33, 28, 90, 28, 129, 1328855Smckusick /* 720 */ 34, 83, 129, 36, 79, 129, 38, 75, 129, 41, 1338855Smckusick /* 730 */ 69, 129, 44, 63, 129, 48, 55, 129, 52, 47, 1348855Smckusick /* 740 */ 129, 57, 37, 129, 63, 25, 129, 194, 129, 80, 1358855Smckusick /* 750 */ 4, 130, 80, 4, 129, 68, 2, 80, 4, 94, 1368855Smckusick /* 760 */ 2, 129, 66, 6, 80, 4, 92, 6, 129, 67, 1378855Smckusick /* 770 */ 7, 80, 4, 90, 7, 129, 69, 7, 80, 4, 1388855Smckusick /* 780 */ 88, 7, 129, 71, 6, 80, 4, 87, 6, 129, 1398855Smckusick /* 790 */ 72, 20, 129, 74, 16, 129, 76, 12, 129, 62, 1408855Smckusick /* 800 */ 40, 131, 76, 12, 129, 74, 16, 129, 72, 20, 1418855Smckusick /* 810 */ 129, 71, 6, 80, 4, 87, 6, 129, 69, 7, 1428855Smckusick /* 820 */ 80, 4, 88, 7, 129, 67, 7, 80, 4, 90, 1438855Smckusick /* 830 */ 7, 129, 66, 6, 80, 4, 92, 6, 129, 68, 1448855Smckusick /* 840 */ 2, 80, 4, 94, 2, 129, 80, 4, 130, 193, 1458855Smckusick /* 850 */ 129, 60, 4, 139, 41, 42, 131, 60, 4, 139, 1468855Smckusick /* 860 */ 193, 130, 34, 6, 129, 32, 10, 129, 31, 12, 1478855Smckusick /* 870 */ 129, 30, 14, 129, 20, 2, 28, 16, 129, 22, 1488855Smckusick /* 880 */ 22, 129, 24, 19, 129, 27, 15, 129, 31, 9, 1498855Smckusick /* 890 */ 129, 194, 129, 60, 4, 152, 193, 130, 34, 6, 1508855Smckusick /* 900 */ 129, 32, 10, 129, 31, 12, 129, 30, 14, 131, 1518855Smckusick /* 910 */ 31, 12, 129, 32, 10, 129, 34, 6, 129, 194, 1528855Smckusick /* 920 */ 129, 30, 4, 129, 30, 7, 129, 30, 10, 129, 1538855Smckusick /* 930 */ 33, 10, 129, 36, 10, 129, 39, 10, 129, 42, 1548855Smckusick /* 940 */ 10, 129, 45, 10, 129, 48, 10, 129, 51, 10, 1558855Smckusick /* 950 */ 129, 54, 10, 129, 57, 10, 129, 60, 10, 129, 1568855Smckusick /* 960 */ 63, 10, 129, 66, 10, 129, 69, 10, 129, 72, 1578855Smckusick /* 970 */ 10, 129, 75, 10, 129, 78, 10, 129, 81, 10, 1588855Smckusick /* 980 */ 129, 84, 10, 129, 87, 10, 129, 90, 10, 129, 1598855Smckusick /* 990 */ 93, 10, 129, 96, 10, 129, 99, 10, 129, 102, 1608855Smckusick /* 1000 */ 10, 129, 105, 10, 129, 108, 10, 129, 111, 10, 1618855Smckusick /* 1010 */ 129, 114, 7, 129, 117, 4, 129, 193, 129, 60, 1628855Smckusick /* 1020 */ 31, 129, 53, 45, 129, 49, 53, 129, 46, 59, 1638855Smckusick /* 1030 */ 129, 43, 65, 129, 41, 69, 129, 39, 73, 129, 1648855Smckusick /* 1040 */ 37, 77, 129, 36, 79, 129, 35, 15, 101, 15, 1658855Smckusick /* 1050 */ 129, 34, 11, 106, 11, 129, 33, 9, 109, 9, 1668855Smckusick /* 1060 */ 129, 32, 7, 112, 7, 129, 31, 6, 114, 6, 1678855Smckusick /* 1070 */ 129, 31, 5, 115, 5, 129, 30, 5, 116, 5, 1688855Smckusick /* 1080 */ 129, 30, 4, 117, 4, 132, 30, 5, 116, 5, 1698855Smckusick /* 1090 */ 129, 31, 5, 115, 5, 129, 31, 6, 114, 6, 1708855Smckusick /* 1100 */ 129, 32, 7, 112, 7, 129, 33, 9, 109, 9, 1718855Smckusick /* 1110 */ 129, 34, 11, 106, 11, 129, 35, 15, 101, 15, 1728855Smckusick /* 1120 */ 129, 36, 79, 129, 37, 77, 129, 39, 73, 129, 1738855Smckusick /* 1130 */ 41, 69, 129, 43, 65, 129, 46, 59, 129, 49, 1748855Smckusick /* 1140 */ 53, 129, 53, 45, 129, 60, 31, 129, 193, 129, 1758855Smckusick /* 1150 */ 30, 4, 129, 30, 4, 100, 1, 129, 30, 4, 1768855Smckusick /* 1160 */ 100, 3, 129, 30, 4, 100, 5, 129, 30, 76, 1778855Smckusick /* 1170 */ 129, 30, 78, 129, 30, 80, 129, 30, 82, 129, 1788855Smckusick /* 1180 */ 30, 83, 129, 30, 85, 129, 30, 87, 129, 30, 1798855Smckusick /* 1190 */ 89, 129, 30, 91, 129, 30, 4, 132, 193, 129, 1808855Smckusick /* 1200 */ 30, 3, 129, 30, 7, 129, 30, 10, 112, 1, 1818855Smckusick /* 1210 */ 129, 30, 13, 112, 2, 129, 30, 16, 112, 3, 1828855Smckusick /* 1220 */ 129, 30, 18, 111, 5, 129, 30, 21, 111, 6, 1838855Smckusick /* 1230 */ 129, 30, 23, 112, 6, 129, 30, 14, 47, 8, 1848855Smckusick /* 1240 */ 113, 6, 129, 30, 14, 49, 8, 114, 5, 129, 1858855Smckusick /* 1250 */ 30, 14, 51, 8, 115, 5, 129, 30, 14, 53, 1868855Smckusick /* 1260 */ 8, 116, 4, 129, 30, 14, 55, 8, 116, 5, 1878855Smckusick /* 1270 */ 129, 30, 14, 56, 9, 117, 4, 129, 30, 14, 1888855Smckusick /* 1280 */ 57, 9, 117, 4, 129, 30, 14, 58, 10, 117, 1898855Smckusick /* 1290 */ 4, 129, 30, 14, 59, 10, 117, 4, 129, 30, 1908855Smckusick /* 1300 */ 14, 60, 11, 117, 4, 129, 30, 14, 61, 11, 1918855Smckusick /* 1310 */ 116, 5, 129, 30, 14, 62, 11, 116, 5, 129, 1928855Smckusick /* 1320 */ 30, 14, 63, 12, 115, 6, 129, 30, 14, 64, 1938855Smckusick /* 1330 */ 13, 114, 7, 129, 30, 14, 65, 13, 113, 8, 1948855Smckusick /* 1340 */ 129, 30, 14, 65, 15, 111, 9, 129, 30, 14, 1958855Smckusick /* 1350 */ 66, 16, 109, 11, 129, 30, 14, 67, 17, 107, 1968855Smckusick /* 1360 */ 12, 129, 30, 14, 68, 20, 103, 16, 129, 30, 1978855Smckusick /* 1370 */ 14, 69, 49, 129, 30, 14, 70, 47, 129, 30, 1988855Smckusick /* 1380 */ 14, 71, 45, 129, 30, 14, 73, 42, 129, 30, 1998855Smckusick /* 1390 */ 15, 75, 38, 129, 33, 12, 77, 34, 129, 36, 2008855Smckusick /* 1400 */ 10, 79, 30, 129, 40, 6, 82, 23, 129, 44, 2018855Smckusick /* 1410 */ 3, 86, 15, 129, 47, 1, 129, 193, 129, 129, 2028855Smckusick /* 1420 */ 38, 3, 129, 37, 5, 111, 1, 129, 36, 7, 2038855Smckusick /* 1430 */ 111, 2, 129, 35, 9, 110, 5, 129, 34, 8, 2048855Smckusick /* 1440 */ 110, 6, 129, 33, 7, 109, 8, 129, 32, 7, 2058855Smckusick /* 1450 */ 110, 8, 129, 32, 6, 112, 7, 129, 31, 6, 2068855Smckusick /* 1460 */ 113, 6, 129, 31, 5, 114, 6, 129, 30, 5, 2078855Smckusick /* 1470 */ 115, 5, 129, 30, 5, 116, 4, 129, 30, 4, 2088855Smckusick /* 1480 */ 117, 4, 131, 30, 4, 117, 4, 129, 30, 4, 2098855Smckusick /* 1490 */ 79, 2, 117, 4, 129, 30, 5, 78, 4, 117, 2108855Smckusick /* 1500 */ 4, 129, 30, 5, 77, 6, 116, 5, 129, 30, 2118855Smckusick /* 1510 */ 6, 76, 8, 115, 6, 129, 30, 7, 75, 11, 2128855Smckusick /* 1520 */ 114, 6, 129, 30, 8, 73, 15, 112, 8, 129, 2138855Smckusick /* 1530 */ 31, 9, 71, 19, 110, 9, 129, 31, 11, 68, 2148855Smckusick /* 1540 */ 26, 107, 12, 129, 32, 13, 65, 14, 82, 36, 2158855Smckusick /* 1550 */ 129, 32, 16, 61, 17, 83, 34, 129, 33, 44, 2168855Smckusick /* 1560 */ 84, 32, 129, 34, 42, 85, 30, 129, 35, 40, 2178855Smckusick /* 1570 */ 87, 27, 129, 36, 38, 89, 23, 129, 38, 34, 2188855Smckusick /* 1580 */ 92, 17, 129, 40, 30, 95, 11, 129, 42, 26, 2198855Smckusick /* 1590 */ 129, 45, 20, 129, 49, 11, 129, 193, 129, 49, 2208855Smckusick /* 1600 */ 1, 129, 49, 4, 129, 49, 6, 129, 49, 8, 2218855Smckusick /* 1610 */ 129, 49, 10, 129, 49, 12, 129, 49, 14, 129, 2228855Smckusick /* 1620 */ 49, 17, 129, 49, 19, 129, 49, 21, 129, 49, 2238855Smckusick /* 1630 */ 23, 129, 49, 14, 65, 9, 129, 49, 14, 67, 2248855Smckusick /* 1640 */ 9, 129, 49, 14, 69, 9, 129, 49, 14, 71, 2258855Smckusick /* 1650 */ 10, 129, 49, 14, 74, 9, 129, 49, 14, 76, 2268855Smckusick /* 1660 */ 9, 129, 49, 14, 78, 9, 129, 49, 14, 80, 2278855Smckusick /* 1670 */ 9, 129, 49, 14, 82, 9, 129, 49, 14, 84, 2288855Smckusick /* 1680 */ 9, 129, 30, 4, 49, 14, 86, 10, 129, 30, 2298855Smckusick /* 1690 */ 4, 49, 14, 89, 9, 129, 30, 4, 49, 14, 2308855Smckusick /* 1700 */ 91, 9, 129, 30, 4, 49, 14, 93, 9, 129, 2318855Smckusick /* 1710 */ 30, 74, 129, 30, 76, 129, 30, 78, 129, 30, 2328855Smckusick /* 1720 */ 81, 129, 30, 83, 129, 30, 85, 129, 30, 87, 2338855Smckusick /* 1730 */ 129, 30, 89, 129, 30, 91, 129, 30, 4, 49, 2348855Smckusick /* 1740 */ 14, 132, 193, 129, 37, 1, 129, 36, 3, 77, 2358855Smckusick /* 1750 */ 3, 129, 35, 5, 78, 11, 129, 34, 7, 78, 2368855Smckusick /* 1760 */ 21, 129, 33, 7, 79, 29, 129, 32, 7, 79, 2378855Smckusick /* 1770 */ 38, 129, 32, 6, 80, 4, 92, 29, 129, 31, 2388855Smckusick /* 1780 */ 6, 80, 5, 102, 19, 129, 31, 5, 80, 6, 2398855Smckusick /* 1790 */ 107, 14, 129, 31, 4, 81, 5, 107, 14, 129, 2408855Smckusick /* 1800 */ 30, 5, 81, 6, 107, 14, 129, 30, 4, 81, 2418855Smckusick /* 1810 */ 6, 107, 14, 130, 30, 4, 81, 7, 107, 14, 2428855Smckusick /* 1820 */ 129, 30, 4, 80, 8, 107, 14, 130, 30, 5, 2438855Smckusick /* 1830 */ 80, 8, 107, 14, 129, 30, 5, 79, 9, 107, 2448855Smckusick /* 1840 */ 14, 129, 31, 5, 79, 9, 107, 14, 129, 31, 2458855Smckusick /* 1850 */ 6, 78, 10, 107, 14, 129, 32, 6, 76, 11, 2468855Smckusick /* 1860 */ 107, 14, 129, 32, 8, 74, 13, 107, 14, 129, 2478855Smckusick /* 1870 */ 33, 10, 71, 16, 107, 14, 129, 33, 15, 67, 2488855Smckusick /* 1880 */ 19, 107, 14, 129, 34, 51, 107, 14, 129, 35, 2498855Smckusick /* 1890 */ 49, 107, 14, 129, 36, 47, 107, 14, 129, 37, 2508855Smckusick /* 1900 */ 45, 107, 14, 129, 39, 41, 107, 14, 129, 41, 2518855Smckusick /* 1910 */ 37, 107, 14, 129, 44, 32, 107, 14, 129, 47, 2528855Smckusick /* 1920 */ 25, 111, 10, 129, 51, 16, 115, 6, 129, 119, 2538855Smckusick /* 1930 */ 2, 129, 193, 129, 56, 39, 129, 51, 49, 129, 2548855Smckusick /* 1940 */ 47, 57, 129, 44, 63, 129, 42, 67, 129, 40, 2558855Smckusick /* 1950 */ 71, 129, 38, 75, 129, 37, 77, 129, 35, 81, 2568855Smckusick /* 1960 */ 129, 34, 16, 74, 5, 101, 16, 129, 33, 11, 2578855Smckusick /* 1970 */ 76, 5, 107, 11, 129, 32, 9, 77, 5, 110, 2588855Smckusick /* 1980 */ 9, 129, 32, 7, 79, 4, 112, 7, 129, 31, 2598855Smckusick /* 1990 */ 6, 80, 4, 114, 6, 129, 31, 5, 81, 4, 2608855Smckusick /* 2000 */ 115, 5, 129, 30, 5, 82, 4, 116, 5, 129, 2618855Smckusick /* 2010 */ 30, 4, 82, 4, 116, 5, 129, 30, 4, 82, 2628855Smckusick /* 2020 */ 5, 117, 4, 131, 30, 5, 82, 5, 117, 4, 2638855Smckusick /* 2030 */ 129, 31, 5, 81, 6, 117, 4, 129, 31, 6, 2648855Smckusick /* 2040 */ 80, 7, 117, 4, 129, 32, 7, 79, 8, 117, 2658855Smckusick /* 2050 */ 4, 129, 32, 9, 77, 9, 116, 5, 129, 33, 2668855Smckusick /* 2060 */ 11, 75, 11, 116, 4, 129, 34, 16, 69, 16, 2678855Smckusick /* 2070 */ 115, 5, 129, 35, 49, 114, 5, 129, 37, 46, 2688855Smckusick /* 2080 */ 113, 5, 129, 38, 44, 112, 6, 129, 40, 41, 2698855Smckusick /* 2090 */ 112, 5, 129, 42, 37, 113, 3, 129, 44, 33, 2708855Smckusick /* 2100 */ 114, 1, 129, 47, 27, 129, 51, 17, 129, 193, 2718855Smckusick /* 2110 */ 129, 103, 2, 129, 103, 6, 129, 104, 9, 129, 2728855Smckusick /* 2120 */ 105, 12, 129, 106, 15, 129, 107, 14, 135, 30, 2738855Smckusick /* 2130 */ 10, 107, 14, 129, 30, 17, 107, 14, 129, 30, 2748855Smckusick /* 2140 */ 25, 107, 14, 129, 30, 31, 107, 14, 129, 30, 2758855Smckusick /* 2150 */ 37, 107, 14, 129, 30, 42, 107, 14, 129, 30, 2768855Smckusick /* 2160 */ 46, 107, 14, 129, 30, 50, 107, 14, 129, 30, 2778855Smckusick /* 2170 */ 54, 107, 14, 129, 30, 58, 107, 14, 129, 59, 2788855Smckusick /* 2180 */ 32, 107, 14, 129, 64, 30, 107, 14, 129, 74, 2798855Smckusick /* 2190 */ 23, 107, 14, 129, 81, 18, 107, 14, 129, 86, 2808855Smckusick /* 2200 */ 16, 107, 14, 129, 91, 14, 107, 14, 129, 96, 2818855Smckusick /* 2210 */ 25, 129, 100, 21, 129, 104, 17, 129, 107, 14, 2828855Smckusick /* 2220 */ 129, 111, 10, 129, 114, 7, 129, 117, 4, 129, 2838855Smckusick /* 2230 */ 120, 1, 129, 193, 129, 48, 13, 129, 44, 21, 2848855Smckusick /* 2240 */ 129, 42, 26, 129, 40, 30, 92, 12, 129, 38, 2858855Smckusick /* 2250 */ 34, 88, 20, 129, 36, 37, 86, 25, 129, 35, 2868855Smckusick /* 2260 */ 39, 84, 29, 129, 34, 13, 63, 12, 82, 33, 2878855Smckusick /* 2270 */ 129, 33, 11, 67, 9, 80, 36, 129, 32, 9, 2888855Smckusick /* 2280 */ 70, 7, 79, 38, 129, 31, 8, 72, 46, 129, 2898855Smckusick /* 2290 */ 30, 7, 74, 22, 108, 11, 129, 30, 6, 75, 2908855Smckusick /* 2300 */ 19, 111, 9, 129, 30, 5, 75, 17, 113, 7, 2918855Smckusick /* 2310 */ 129, 30, 5, 74, 16, 114, 6, 129, 30, 4, 2928855Smckusick /* 2320 */ 73, 16, 115, 6, 129, 30, 4, 72, 16, 116, 2938855Smckusick /* 2330 */ 5, 129, 30, 4, 72, 15, 117, 4, 129, 30, 2948855Smckusick /* 2340 */ 4, 71, 16, 117, 4, 129, 30, 5, 70, 16, 2958855Smckusick /* 2350 */ 117, 4, 129, 30, 5, 70, 15, 117, 4, 129, 2968855Smckusick /* 2360 */ 30, 6, 69, 15, 116, 5, 129, 30, 7, 68, 2978855Smckusick /* 2370 */ 17, 115, 5, 129, 30, 9, 67, 19, 114, 6, 2988855Smckusick /* 2380 */ 129, 30, 10, 65, 22, 113, 6, 129, 31, 12, 2998855Smckusick /* 2390 */ 63, 27, 110, 9, 129, 32, 14, 60, 21, 84, 3008855Smckusick /* 2400 */ 9, 106, 12, 129, 33, 47, 85, 32, 129, 34, 3018855Smckusick /* 2410 */ 45, 86, 30, 129, 35, 43, 88, 26, 129, 36, 3028855Smckusick /* 2420 */ 40, 90, 22, 129, 38, 36, 93, 17, 129, 40, 3038855Smckusick /* 2430 */ 32, 96, 10, 129, 42, 28, 129, 44, 23, 129, 3048855Smckusick /* 2440 */ 48, 15, 129, 193, 129, 83, 17, 129, 77, 27, 3058855Smckusick /* 2450 */ 129, 36, 1, 74, 33, 129, 35, 3, 72, 37, 3068855Smckusick /* 2460 */ 129, 34, 5, 70, 41, 129, 33, 6, 69, 44, 3078855Smckusick /* 2470 */ 129, 33, 5, 68, 46, 129, 32, 5, 67, 49, 3088855Smckusick /* 2480 */ 129, 31, 5, 66, 17, 101, 16, 129, 31, 5, 3098855Smckusick /* 2490 */ 66, 11, 108, 10, 129, 30, 4, 65, 9, 110, 3108855Smckusick /* 2500 */ 9, 129, 30, 4, 64, 8, 112, 7, 129, 30, 3118855Smckusick /* 2510 */ 4, 64, 7, 114, 6, 129, 30, 4, 64, 6, 3128855Smckusick /* 2520 */ 115, 5, 129, 30, 4, 64, 5, 116, 5, 129, 3138855Smckusick /* 2530 */ 30, 4, 64, 5, 117, 4, 131, 30, 4, 65, 3148855Smckusick /* 2540 */ 4, 117, 4, 129, 30, 5, 65, 4, 116, 5, 3158855Smckusick /* 2550 */ 129, 31, 5, 66, 4, 115, 5, 129, 31, 6, 3168855Smckusick /* 2560 */ 67, 4, 114, 6, 129, 32, 7, 68, 4, 112, 3178855Smckusick /* 2570 */ 7, 129, 32, 9, 69, 5, 110, 9, 129, 33, 3188855Smckusick /* 2580 */ 11, 70, 5, 107, 11, 129, 34, 16, 72, 5, 3198855Smckusick /* 2590 */ 101, 16, 129, 35, 81, 129, 37, 77, 129, 38, 3208855Smckusick /* 2600 */ 75, 129, 40, 71, 129, 42, 67, 129, 44, 63, 3218855Smckusick /* 2610 */ 129, 47, 57, 129, 51, 49, 129, 56, 39, 129, 3228855Smckusick /* 2620 */ 193, 130, 34, 6, 74, 6, 129, 32, 10, 72, 3238855Smckusick /* 2630 */ 10, 129, 31, 12, 71, 12, 129, 30, 14, 70, 3248855Smckusick /* 2640 */ 14, 131, 31, 12, 71, 12, 129, 32, 10, 72, 3258855Smckusick /* 2650 */ 10, 129, 34, 6, 74, 6, 129, 194, 130, 34, 3268855Smckusick /* 2660 */ 6, 74, 6, 129, 32, 10, 72, 10, 129, 31, 3278855Smckusick /* 2670 */ 12, 71, 12, 129, 30, 14, 70, 14, 129, 20, 3288855Smckusick /* 2680 */ 2, 28, 16, 70, 14, 129, 22, 22, 70, 14, 3298855Smckusick /* 2690 */ 129, 24, 19, 71, 12, 129, 27, 15, 72, 10, 3308855Smckusick /* 2700 */ 129, 31, 9, 74, 6, 129, 194, 129, 53, 4, 3318855Smckusick /* 2710 */ 63, 4, 152, 193, 130, 99, 7, 129, 97, 13, 3328855Smckusick /* 2720 */ 129, 96, 16, 129, 96, 18, 129, 96, 19, 129, 3338855Smckusick /* 2730 */ 97, 19, 129, 99, 6, 110, 7, 129, 112, 6, 3348855Smckusick /* 2740 */ 129, 114, 5, 129, 34, 6, 57, 5, 115, 4, 3358855Smckusick /* 2750 */ 129, 32, 10, 54, 12, 116, 4, 129, 31, 12, 3368855Smckusick /* 2760 */ 53, 16, 117, 3, 129, 30, 14, 52, 20, 117, 3378855Smckusick /* 2770 */ 4, 129, 30, 14, 52, 23, 117, 4, 129, 30, 3388855Smckusick /* 2780 */ 14, 52, 25, 117, 4, 129, 31, 12, 52, 27, 3398855Smckusick /* 2790 */ 117, 4, 129, 32, 10, 53, 10, 70, 11, 116, 3408855Smckusick /* 2800 */ 5, 129, 34, 6, 55, 5, 73, 10, 115, 6, 3418855Smckusick /* 2810 */ 129, 74, 11, 114, 7, 129, 75, 12, 112, 9, 3428855Smckusick /* 2820 */ 129, 76, 13, 110, 10, 129, 77, 16, 106, 14, 3438855Smckusick /* 2830 */ 129, 78, 41, 129, 80, 38, 129, 81, 36, 129, 3448855Smckusick /* 2840 */ 82, 34, 129, 84, 30, 129, 86, 26, 129, 88, 3458855Smckusick /* 2850 */ 22, 129, 92, 14, 129, 194, 129, 55, 15, 129, 3468855Smckusick /* 2860 */ 50, 25, 129, 47, 32, 129, 45, 13, 70, 12, 3478855Smckusick /* 2870 */ 129, 43, 9, 76, 10, 129, 42, 6, 79, 8, 3488855Smckusick /* 2880 */ 129, 41, 5, 81, 7, 129, 40, 4, 84, 6, 3498855Smckusick /* 2890 */ 129, 39, 4, 59, 12, 85, 6, 129, 38, 4, 3508855Smckusick /* 2900 */ 55, 19, 87, 5, 129, 37, 4, 53, 23, 88, 3518855Smckusick /* 2910 */ 4, 129, 36, 4, 51, 8, 71, 6, 89, 4, 3528855Smckusick /* 2920 */ 129, 36, 4, 51, 6, 73, 4, 89, 4, 129, 3538855Smckusick /* 2930 */ 36, 4, 50, 6, 74, 4, 90, 3, 129, 35, 3548855Smckusick /* 2940 */ 4, 50, 5, 75, 3, 90, 4, 129, 35, 4, 3558855Smckusick /* 2950 */ 50, 4, 75, 4, 90, 4, 131, 35, 4, 50, 3568855Smckusick /* 2960 */ 5, 75, 4, 90, 4, 129, 36, 4, 51, 5, 3578855Smckusick /* 2970 */ 75, 4, 90, 4, 129, 36, 4, 51, 6, 75, 3588855Smckusick /* 2980 */ 4, 90, 4, 129, 36, 4, 53, 26, 90, 4, 3598855Smckusick /* 2990 */ 129, 37, 4, 54, 25, 90, 4, 129, 37, 4, 3608855Smckusick /* 3000 */ 52, 27, 90, 3, 129, 38, 4, 52, 4, 89, 3618855Smckusick /* 3010 */ 4, 129, 39, 4, 51, 4, 88, 4, 129, 40, 3628855Smckusick /* 3020 */ 4, 50, 4, 87, 5, 129, 41, 4, 50, 4, 3638855Smckusick /* 3030 */ 86, 5, 129, 42, 4, 50, 4, 85, 5, 129, 3648855Smckusick /* 3040 */ 43, 3, 50, 4, 83, 6, 129, 44, 2, 51, 3658855Smckusick /* 3050 */ 5, 80, 7, 129, 46, 1, 52, 6, 76, 9, 3668855Smckusick /* 3060 */ 129, 54, 28, 129, 56, 23, 129, 60, 16, 129, 3678855Smckusick /* 3070 */ 193, 129, 30, 4, 132, 30, 5, 129, 30, 8, 3688855Smckusick /* 3080 */ 129, 30, 12, 129, 30, 16, 129, 30, 4, 37, 3698855Smckusick /* 3090 */ 12, 129, 30, 4, 41, 12, 129, 30, 4, 44, 3708855Smckusick /* 3100 */ 13, 129, 30, 4, 48, 13, 129, 52, 13, 129, 3718855Smckusick /* 3110 */ 56, 12, 129, 58, 14, 129, 58, 4, 64, 12, 3728855Smckusick /* 3120 */ 129, 58, 4, 68, 12, 129, 58, 4, 72, 12, 3738855Smckusick /* 3130 */ 129, 58, 4, 75, 13, 129, 58, 4, 79, 13, 3748855Smckusick /* 3140 */ 129, 58, 4, 83, 13, 129, 58, 4, 87, 13, 3758855Smckusick /* 3150 */ 129, 58, 4, 91, 12, 129, 58, 4, 95, 12, 3768855Smckusick /* 3160 */ 129, 58, 4, 96, 15, 129, 58, 4, 93, 22, 3778855Smckusick /* 3170 */ 129, 58, 4, 89, 30, 129, 58, 4, 85, 36, 3788855Smckusick /* 3180 */ 129, 58, 4, 81, 38, 129, 58, 4, 77, 38, 3798855Smckusick /* 3190 */ 129, 58, 4, 73, 38, 129, 58, 4, 70, 37, 3808855Smckusick /* 3200 */ 129, 58, 4, 66, 37, 129, 58, 41, 129, 58, 3818855Smckusick /* 3210 */ 37, 129, 54, 38, 129, 30, 4, 50, 38, 129, 3828855Smckusick /* 3220 */ 30, 4, 46, 38, 129, 30, 4, 42, 38, 129, 3838855Smckusick /* 3230 */ 30, 4, 38, 39, 129, 30, 43, 129, 30, 39, 3848855Smckusick /* 3240 */ 129, 30, 35, 129, 30, 31, 129, 30, 27, 129, 3858855Smckusick /* 3250 */ 30, 24, 129, 30, 20, 129, 30, 16, 129, 30, 3868855Smckusick /* 3260 */ 12, 129, 30, 8, 129, 30, 5, 129, 30, 4, 3878855Smckusick /* 3270 */ 132, 193, 129, 30, 4, 117, 4, 132, 30, 91, 3888855Smckusick /* 3280 */ 137, 30, 4, 80, 4, 117, 4, 138, 30, 4, 3898855Smckusick /* 3290 */ 80, 5, 116, 5, 129, 30, 5, 79, 6, 116, 3908855Smckusick /* 3300 */ 5, 130, 30, 6, 78, 8, 115, 6, 129, 31, 3918855Smckusick /* 3310 */ 6, 77, 9, 115, 6, 129, 31, 7, 76, 11, 3928855Smckusick /* 3320 */ 114, 6, 129, 31, 8, 75, 14, 112, 8, 129, 3938855Smckusick /* 3330 */ 32, 8, 74, 16, 111, 9, 129, 32, 9, 73, 3948855Smckusick /* 3340 */ 19, 109, 10, 129, 33, 10, 71, 24, 106, 13, 3958855Smckusick /* 3350 */ 129, 33, 13, 68, 12, 83, 35, 129, 34, 16, 3968855Smckusick /* 3360 */ 64, 15, 84, 33, 129, 35, 43, 85, 31, 129, 3978855Smckusick /* 3370 */ 36, 41, 86, 29, 129, 37, 39, 88, 25, 129, 3988855Smckusick /* 3380 */ 38, 37, 90, 21, 129, 40, 33, 93, 15, 129, 3998855Smckusick /* 3390 */ 42, 29, 96, 9, 129, 45, 24, 129, 49, 16, 4008855Smckusick /* 3400 */ 129, 193, 129, 63, 25, 129, 57, 37, 129, 53, 4018855Smckusick /* 3410 */ 45, 129, 50, 51, 129, 47, 57, 129, 45, 61, 4028855Smckusick /* 3420 */ 129, 43, 65, 129, 41, 69, 129, 39, 73, 129, 4038855Smckusick /* 3430 */ 38, 25, 92, 21, 129, 36, 21, 97, 18, 129, 4048855Smckusick /* 3440 */ 35, 18, 102, 14, 129, 34, 16, 106, 11, 129, 4058855Smckusick /* 3450 */ 33, 14, 108, 10, 129, 32, 12, 111, 8, 129, 4068855Smckusick /* 3460 */ 32, 10, 113, 6, 129, 31, 10, 114, 6, 129, 4078855Smckusick /* 3470 */ 31, 8, 115, 5, 129, 30, 8, 116, 5, 129, 4088855Smckusick /* 3480 */ 30, 7, 116, 5, 129, 30, 6, 117, 4, 130, 4098855Smckusick /* 3490 */ 30, 5, 117, 4, 131, 31, 4, 116, 5, 129, 4108855Smckusick /* 3500 */ 32, 4, 116, 4, 129, 32, 5, 115, 5, 129, 4118855Smckusick /* 3510 */ 33, 4, 114, 5, 129, 34, 4, 112, 6, 129, 4128855Smckusick /* 3520 */ 35, 4, 110, 7, 129, 37, 4, 107, 9, 129, 4138855Smckusick /* 3530 */ 39, 4, 103, 12, 129, 41, 4, 103, 18, 129, 4148855Smckusick /* 3540 */ 43, 4, 103, 18, 129, 45, 5, 103, 18, 129, 4158855Smckusick /* 3550 */ 48, 5, 103, 18, 129, 51, 1, 129, 193, 129, 4168855Smckusick /* 3560 */ 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, 4178855Smckusick /* 3570 */ 117, 4, 135, 30, 5, 116, 5, 130, 30, 6, 4188855Smckusick /* 3580 */ 115, 6, 130, 31, 6, 114, 6, 129, 31, 7, 4198855Smckusick /* 3590 */ 113, 7, 129, 32, 7, 112, 7, 129, 32, 8, 4208855Smckusick /* 3600 */ 111, 8, 129, 33, 9, 109, 9, 129, 33, 12, 4218855Smckusick /* 3610 */ 106, 12, 129, 34, 13, 104, 13, 129, 35, 15, 4228855Smckusick /* 3620 */ 101, 15, 129, 36, 19, 96, 19, 129, 37, 24, 4238855Smckusick /* 3630 */ 90, 24, 129, 39, 73, 129, 40, 71, 129, 42, 4248855Smckusick /* 3640 */ 67, 129, 44, 63, 129, 46, 59, 129, 49, 53, 4258855Smckusick /* 3650 */ 129, 52, 47, 129, 56, 39, 129, 61, 29, 129, 4268855Smckusick /* 3660 */ 193, 129, 30, 4, 117, 4, 132, 30, 91, 137, 4278855Smckusick /* 3670 */ 30, 4, 80, 4, 117, 4, 140, 30, 4, 79, 4288855Smckusick /* 3680 */ 6, 117, 4, 129, 30, 4, 77, 10, 117, 4, 4298855Smckusick /* 3690 */ 129, 30, 4, 73, 18, 117, 4, 132, 30, 4, 4308855Smckusick /* 3700 */ 117, 4, 130, 30, 5, 116, 5, 130, 30, 7, 4318855Smckusick /* 3710 */ 114, 7, 129, 30, 8, 113, 8, 129, 30, 11, 4328855Smckusick /* 3720 */ 110, 11, 129, 30, 18, 103, 18, 132, 193, 129, 4338855Smckusick /* 3730 */ 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, 4348855Smckusick /* 3740 */ 80, 4, 117, 4, 132, 80, 4, 117, 4, 136, 4358855Smckusick /* 3750 */ 79, 6, 117, 4, 129, 77, 10, 117, 4, 129, 4368855Smckusick /* 3760 */ 73, 18, 117, 4, 132, 117, 4, 130, 116, 5, 4378855Smckusick /* 3770 */ 130, 114, 7, 129, 113, 8, 129, 110, 11, 129, 4388855Smckusick /* 3780 */ 103, 18, 132, 193, 129, 63, 25, 129, 57, 37, 4398855Smckusick /* 3790 */ 129, 53, 45, 129, 50, 51, 129, 47, 57, 129, 4408855Smckusick /* 3800 */ 45, 61, 129, 43, 65, 129, 41, 69, 129, 39, 4418855Smckusick /* 3810 */ 73, 129, 38, 25, 92, 21, 129, 36, 21, 97, 4428855Smckusick /* 3820 */ 18, 129, 35, 18, 102, 14, 129, 34, 16, 106, 4438855Smckusick /* 3830 */ 11, 129, 33, 14, 108, 10, 129, 32, 12, 111, 4448855Smckusick /* 3840 */ 8, 129, 32, 10, 113, 6, 129, 31, 10, 114, 4458855Smckusick /* 3850 */ 6, 129, 31, 8, 115, 5, 129, 30, 8, 116, 4468855Smckusick /* 3860 */ 5, 129, 30, 7, 116, 5, 129, 30, 6, 117, 4478855Smckusick /* 3870 */ 4, 130, 30, 5, 117, 4, 131, 30, 5, 75, 4488855Smckusick /* 3880 */ 4, 116, 5, 129, 31, 5, 75, 4, 116, 4, 4498855Smckusick /* 3890 */ 129, 31, 6, 75, 4, 115, 5, 129, 32, 7, 4508855Smckusick /* 3900 */ 75, 4, 114, 5, 129, 32, 9, 75, 4, 112, 4518855Smckusick /* 3910 */ 6, 129, 33, 11, 75, 4, 110, 7, 129, 34, 4528855Smckusick /* 3920 */ 15, 75, 4, 107, 9, 129, 35, 44, 103, 12, 4538855Smckusick /* 3930 */ 129, 36, 43, 103, 18, 129, 38, 41, 103, 18, 4548855Smckusick /* 3940 */ 129, 39, 40, 103, 18, 129, 41, 38, 103, 18, 4558855Smckusick /* 3950 */ 129, 44, 35, 129, 48, 31, 129, 52, 27, 129, 4568855Smckusick /* 3960 */ 61, 18, 129, 193, 129, 30, 4, 117, 4, 132, 4578855Smckusick /* 3970 */ 30, 91, 137, 30, 4, 80, 4, 117, 4, 132, 4588855Smckusick /* 3980 */ 80, 4, 140, 30, 4, 80, 4, 117, 4, 132, 4598855Smckusick /* 3990 */ 30, 91, 137, 30, 4, 117, 4, 132, 193, 129, 4608855Smckusick /* 4000 */ 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, 4618855Smckusick /* 4010 */ 117, 4, 132, 193, 129, 44, 7, 129, 40, 13, 4628855Smckusick /* 4020 */ 129, 37, 17, 129, 35, 20, 129, 34, 22, 129, 4638855Smckusick /* 4030 */ 33, 23, 129, 32, 24, 129, 32, 23, 129, 31, 4648855Smckusick /* 4040 */ 6, 41, 13, 129, 31, 5, 42, 11, 129, 30, 4658855Smckusick /* 4050 */ 5, 44, 7, 129, 30, 4, 132, 30, 5, 130, 4668855Smckusick /* 4060 */ 31, 5, 129, 31, 6, 117, 4, 129, 31, 8, 4678855Smckusick /* 4070 */ 117, 4, 129, 32, 9, 117, 4, 129, 33, 11, 4688855Smckusick /* 4080 */ 117, 4, 129, 34, 87, 129, 35, 86, 129, 36, 4698855Smckusick /* 4090 */ 85, 129, 37, 84, 129, 38, 83, 129, 40, 81, 4708855Smckusick /* 4100 */ 129, 42, 79, 129, 45, 76, 129, 50, 71, 129, 4718855Smckusick /* 4110 */ 117, 4, 132, 193, 129, 30, 4, 117, 4, 132, 4728855Smckusick /* 4120 */ 30, 91, 137, 30, 4, 76, 8, 117, 4, 129, 4738855Smckusick /* 4130 */ 30, 4, 73, 13, 117, 4, 129, 30, 4, 70, 4748855Smckusick /* 4140 */ 18, 117, 4, 129, 30, 4, 67, 23, 117, 4, 4758855Smckusick /* 4150 */ 129, 65, 26, 129, 62, 31, 129, 59, 35, 129, 4768855Smckusick /* 4160 */ 56, 29, 89, 7, 129, 53, 29, 91, 7, 129, 4778855Smckusick /* 4170 */ 50, 29, 93, 7, 129, 47, 29, 95, 6, 129, 4788855Smckusick /* 4180 */ 30, 4, 45, 29, 96, 7, 129, 30, 4, 42, 4798855Smckusick /* 4190 */ 29, 98, 7, 129, 30, 4, 39, 30, 100, 6, 4808855Smckusick /* 4200 */ 129, 30, 4, 36, 30, 101, 7, 129, 30, 33, 4818855Smckusick /* 4210 */ 103, 7, 117, 4, 129, 30, 30, 105, 6, 117, 4828855Smckusick /* 4220 */ 4, 129, 30, 27, 106, 7, 117, 4, 129, 30, 4838855Smckusick /* 4230 */ 25, 108, 7, 117, 4, 129, 30, 22, 110, 11, 4848855Smckusick /* 4240 */ 129, 30, 19, 111, 10, 129, 30, 16, 113, 8, 4858855Smckusick /* 4250 */ 129, 30, 13, 115, 6, 129, 30, 11, 116, 5, 4868855Smckusick /* 4260 */ 129, 30, 8, 117, 4, 129, 30, 5, 117, 4, 4878855Smckusick /* 4270 */ 129, 30, 4, 117, 4, 130, 30, 4, 130, 193, 4888855Smckusick /* 4280 */ 129, 30, 4, 117, 4, 132, 30, 91, 137, 30, 4898855Smckusick /* 4290 */ 4, 117, 4, 132, 30, 4, 144, 30, 5, 130, 4908855Smckusick /* 4300 */ 30, 7, 129, 30, 8, 129, 30, 11, 129, 30, 4918855Smckusick /* 4310 */ 18, 132, 193, 129, 30, 4, 117, 4, 132, 30, 4928855Smckusick /* 4320 */ 91, 132, 30, 4, 103, 18, 129, 30, 4, 97, 4938855Smckusick /* 4330 */ 24, 129, 30, 4, 92, 29, 129, 30, 4, 87, 4948855Smckusick /* 4340 */ 34, 129, 81, 40, 129, 76, 45, 129, 70, 49, 4958855Smckusick /* 4350 */ 129, 65, 49, 129, 60, 49, 129, 55, 49, 129, 4968855Smckusick /* 4360 */ 50, 48, 129, 44, 49, 129, 39, 48, 129, 33, 4978855Smckusick /* 4370 */ 49, 129, 30, 47, 129, 34, 37, 129, 40, 26, 4988855Smckusick /* 4380 */ 129, 46, 19, 129, 52, 19, 129, 58, 19, 129, 4998855Smckusick /* 4390 */ 64, 19, 129, 70, 19, 129, 76, 19, 129, 82, 5008855Smckusick /* 4400 */ 19, 129, 30, 4, 88, 18, 129, 30, 4, 94, 5018855Smckusick /* 4410 */ 18, 129, 30, 4, 100, 18, 129, 30, 4, 106, 5028855Smckusick /* 4420 */ 15, 129, 30, 91, 137, 30, 4, 117, 4, 132, 5038855Smckusick /* 4430 */ 193, 129, 30, 4, 117, 4, 132, 30, 91, 132, 5048855Smckusick /* 4440 */ 30, 4, 107, 14, 129, 30, 4, 104, 17, 129, 5058855Smckusick /* 4450 */ 30, 4, 101, 20, 129, 30, 4, 99, 22, 129, 5068855Smckusick /* 4460 */ 96, 25, 129, 93, 28, 129, 91, 28, 129, 88, 5078855Smckusick /* 4470 */ 29, 129, 85, 29, 129, 82, 29, 129, 79, 29, 5088855Smckusick /* 4480 */ 129, 76, 29, 129, 74, 29, 129, 71, 29, 129, 5098855Smckusick /* 4490 */ 68, 29, 129, 65, 29, 129, 62, 29, 129, 60, 5108855Smckusick /* 4500 */ 29, 129, 57, 29, 129, 54, 29, 129, 51, 29, 5118855Smckusick /* 4510 */ 129, 49, 28, 129, 46, 29, 129, 43, 29, 129, 5128855Smckusick /* 4520 */ 40, 29, 117, 4, 129, 37, 29, 117, 4, 129, 5138855Smckusick /* 4530 */ 35, 29, 117, 4, 129, 32, 29, 117, 4, 129, 5148855Smckusick /* 4540 */ 30, 91, 132, 117, 4, 132, 193, 129, 63, 25, 5158855Smckusick /* 4550 */ 129, 57, 37, 129, 53, 45, 129, 50, 51, 129, 5168855Smckusick /* 4560 */ 47, 57, 129, 45, 61, 129, 43, 65, 129, 41, 5178855Smckusick /* 4570 */ 69, 129, 39, 73, 129, 38, 21, 92, 21, 129, 5188855Smckusick /* 4580 */ 36, 18, 97, 18, 129, 35, 14, 102, 14, 129, 5198855Smckusick /* 4590 */ 34, 11, 106, 11, 129, 33, 10, 108, 10, 129, 5208855Smckusick /* 4600 */ 32, 8, 111, 8, 129, 32, 6, 113, 6, 129, 5218855Smckusick /* 4610 */ 31, 6, 114, 6, 129, 31, 5, 115, 5, 129, 5228855Smckusick /* 4620 */ 30, 5, 116, 5, 130, 30, 4, 117, 4, 132, 5238855Smckusick /* 4630 */ 30, 5, 116, 5, 130, 31, 5, 115, 5, 129, 5248855Smckusick /* 4640 */ 31, 6, 114, 6, 129, 32, 6, 113, 6, 129, 5258855Smckusick /* 4650 */ 32, 8, 111, 8, 129, 33, 10, 108, 10, 129, 5268855Smckusick /* 4660 */ 34, 11, 106, 11, 129, 35, 14, 102, 14, 129, 5278855Smckusick /* 4670 */ 36, 18, 97, 18, 129, 38, 21, 92, 21, 129, 5288855Smckusick /* 4680 */ 39, 73, 129, 41, 69, 129, 43, 65, 129, 45, 5298855Smckusick /* 4690 */ 61, 129, 47, 57, 129, 50, 51, 129, 53, 45, 5308855Smckusick /* 4700 */ 129, 57, 37, 129, 63, 25, 129, 193, 129, 30, 5318855Smckusick /* 4710 */ 4, 117, 4, 132, 30, 91, 137, 30, 4, 80, 5328855Smckusick /* 4720 */ 4, 117, 4, 132, 80, 4, 117, 4, 134, 80, 5338855Smckusick /* 4730 */ 5, 116, 5, 131, 80, 6, 115, 6, 130, 81, 5348855Smckusick /* 4740 */ 6, 114, 6, 129, 81, 8, 112, 8, 129, 81, 5358855Smckusick /* 4750 */ 9, 111, 9, 129, 82, 10, 109, 10, 129, 82, 5368855Smckusick /* 4760 */ 13, 106, 13, 129, 83, 35, 129, 84, 33, 129, 5378855Smckusick /* 4770 */ 85, 31, 129, 86, 29, 129, 88, 25, 129, 90, 5388855Smckusick /* 4780 */ 21, 129, 93, 15, 129, 96, 9, 129, 193, 129, 5398855Smckusick /* 4790 */ 63, 25, 129, 57, 37, 129, 53, 45, 129, 50, 5408855Smckusick /* 4800 */ 51, 129, 47, 57, 129, 45, 61, 129, 43, 65, 5418855Smckusick /* 4810 */ 129, 41, 69, 129, 39, 73, 129, 38, 21, 92, 5428855Smckusick /* 4820 */ 21, 129, 36, 18, 97, 18, 129, 35, 14, 102, 5438855Smckusick /* 4830 */ 14, 129, 34, 11, 106, 11, 129, 33, 10, 108, 5448855Smckusick /* 4840 */ 10, 129, 32, 8, 111, 8, 129, 32, 6, 113, 5458855Smckusick /* 4850 */ 6, 129, 31, 6, 114, 6, 129, 31, 5, 115, 5468855Smckusick /* 4860 */ 5, 129, 30, 5, 116, 5, 130, 30, 4, 39, 5478855Smckusick /* 4870 */ 2, 117, 4, 129, 30, 4, 40, 4, 117, 4, 5488855Smckusick /* 4880 */ 129, 30, 4, 41, 5, 117, 4, 129, 30, 4, 5498855Smckusick /* 4890 */ 41, 6, 117, 4, 129, 30, 5, 40, 8, 116, 5508855Smckusick /* 4900 */ 5, 129, 30, 5, 39, 10, 116, 5, 129, 31, 5518855Smckusick /* 4910 */ 5, 38, 11, 115, 5, 129, 31, 18, 114, 6, 5528855Smckusick /* 4920 */ 129, 32, 17, 113, 6, 129, 32, 16, 111, 8, 5538855Smckusick /* 4930 */ 129, 33, 15, 108, 10, 129, 33, 14, 106, 11, 5548855Smckusick /* 4940 */ 129, 32, 17, 102, 14, 129, 31, 23, 97, 18, 5558855Smckusick /* 4950 */ 129, 31, 28, 92, 21, 129, 30, 82, 129, 30, 5568855Smckusick /* 4960 */ 80, 129, 30, 11, 43, 65, 129, 30, 10, 45, 5578855Smckusick /* 4970 */ 61, 129, 31, 8, 47, 57, 129, 32, 6, 50, 5588855Smckusick /* 4980 */ 51, 129, 33, 5, 53, 45, 129, 35, 4, 57, 5598855Smckusick /* 4990 */ 37, 129, 38, 2, 63, 25, 129, 193, 129, 30, 5608855Smckusick /* 5000 */ 4, 117, 4, 132, 30, 91, 137, 30, 4, 76, 5618855Smckusick /* 5010 */ 8, 117, 4, 129, 30, 4, 73, 11, 117, 4, 5628855Smckusick /* 5020 */ 129, 30, 4, 70, 14, 117, 4, 129, 30, 4, 5638855Smckusick /* 5030 */ 67, 17, 117, 4, 129, 65, 19, 117, 4, 129, 5648855Smckusick /* 5040 */ 62, 22, 117, 4, 129, 59, 25, 117, 4, 129, 5658855Smckusick /* 5050 */ 56, 28, 117, 4, 129, 53, 31, 117, 4, 129, 5668855Smckusick /* 5060 */ 50, 34, 117, 4, 129, 47, 29, 80, 5, 116, 5678855Smckusick /* 5070 */ 5, 129, 30, 4, 45, 29, 80, 5, 116, 5, 5688855Smckusick /* 5080 */ 129, 30, 4, 42, 29, 80, 5, 116, 5, 129, 5698855Smckusick /* 5090 */ 30, 4, 39, 30, 80, 6, 115, 6, 129, 30, 5708855Smckusick /* 5100 */ 4, 36, 30, 80, 6, 115, 6, 129, 30, 33, 5718855Smckusick /* 5110 */ 81, 6, 114, 6, 129, 30, 30, 81, 8, 112, 5728855Smckusick /* 5120 */ 8, 129, 30, 27, 81, 9, 111, 9, 129, 30, 5738855Smckusick /* 5130 */ 25, 82, 10, 109, 10, 129, 30, 22, 82, 13, 5748855Smckusick /* 5140 */ 106, 13, 129, 30, 19, 83, 35, 129, 30, 16, 5758855Smckusick /* 5150 */ 84, 33, 129, 30, 13, 85, 31, 129, 30, 11, 5768855Smckusick /* 5160 */ 86, 29, 129, 30, 8, 88, 25, 129, 30, 5, 5778855Smckusick /* 5170 */ 90, 21, 129, 30, 4, 93, 15, 129, 30, 4, 5788855Smckusick /* 5180 */ 96, 9, 129, 30, 4, 130, 193, 129, 30, 18, 5798855Smckusick /* 5190 */ 130, 30, 18, 89, 15, 129, 30, 18, 85, 23, 5808855Smckusick /* 5200 */ 129, 34, 11, 83, 27, 129, 34, 9, 81, 31, 5818855Smckusick /* 5210 */ 129, 33, 8, 79, 35, 129, 33, 6, 78, 16, 5828855Smckusick /* 5220 */ 106, 9, 129, 32, 6, 77, 15, 109, 7, 129, 5838855Smckusick /* 5230 */ 32, 5, 76, 14, 111, 6, 129, 31, 5, 75, 5848855Smckusick /* 5240 */ 14, 113, 5, 129, 31, 4, 74, 15, 114, 5, 5858855Smckusick /* 5250 */ 129, 31, 4, 74, 14, 115, 4, 129, 30, 4, 5868855Smckusick /* 5260 */ 73, 15, 116, 4, 129, 30, 4, 73, 14, 116, 5878855Smckusick /* 5270 */ 4, 129, 30, 4, 73, 14, 117, 4, 129, 30, 5888855Smckusick /* 5280 */ 4, 72, 15, 117, 4, 130, 30, 4, 71, 15, 5898855Smckusick /* 5290 */ 117, 4, 130, 30, 4, 70, 15, 117, 4, 129, 5908855Smckusick /* 5300 */ 30, 5, 70, 15, 117, 4, 129, 30, 5, 69, 5918855Smckusick /* 5310 */ 15, 116, 5, 129, 30, 6, 68, 16, 115, 5, 5928855Smckusick /* 5320 */ 129, 31, 6, 67, 16, 114, 6, 129, 31, 7, 5938855Smckusick /* 5330 */ 66, 17, 113, 6, 129, 32, 7, 64, 18, 111, 5948855Smckusick /* 5340 */ 8, 129, 32, 8, 62, 19, 109, 9, 129, 33, 5958855Smckusick /* 5350 */ 9, 60, 20, 107, 10, 129, 34, 11, 57, 22, 5968855Smckusick /* 5360 */ 103, 13, 129, 35, 43, 103, 18, 129, 36, 41, 5978855Smckusick /* 5370 */ 103, 18, 129, 38, 38, 103, 18, 129, 39, 35, 5988855Smckusick /* 5380 */ 103, 18, 129, 41, 31, 129, 43, 27, 129, 46, 5998855Smckusick /* 5390 */ 22, 129, 49, 14, 129, 193, 129, 103, 18, 132, 6008855Smckusick /* 5400 */ 110, 11, 129, 113, 8, 129, 114, 7, 129, 116, 6018855Smckusick /* 5410 */ 5, 130, 117, 4, 132, 30, 4, 117, 4, 132, 6028855Smckusick /* 5420 */ 30, 91, 137, 30, 4, 117, 4, 132, 117, 4, 6038855Smckusick /* 5430 */ 132, 116, 5, 130, 114, 7, 129, 113, 8, 129, 6048855Smckusick /* 5440 */ 110, 11, 129, 103, 18, 132, 193, 129, 117, 4, 6058855Smckusick /* 5450 */ 132, 56, 65, 129, 50, 71, 129, 46, 75, 129, 6068855Smckusick /* 5460 */ 44, 77, 129, 42, 79, 129, 40, 81, 129, 38, 6078855Smckusick /* 5470 */ 83, 129, 36, 85, 129, 35, 86, 129, 34, 20, 6088855Smckusick /* 5480 */ 117, 4, 129, 33, 17, 117, 4, 129, 32, 15, 6098855Smckusick /* 5490 */ 117, 4, 129, 32, 13, 117, 4, 129, 31, 12, 6108855Smckusick /* 5500 */ 129, 31, 10, 129, 31, 9, 129, 30, 9, 129, 6118855Smckusick /* 5510 */ 30, 8, 130, 30, 7, 132, 31, 6, 130, 31, 6128855Smckusick /* 5520 */ 7, 129, 32, 6, 129, 32, 7, 129, 33, 7, 6138855Smckusick /* 5530 */ 129, 34, 7, 129, 35, 8, 129, 36, 9, 117, 6148855Smckusick /* 5540 */ 4, 129, 38, 9, 117, 4, 129, 40, 10, 117, 6158855Smckusick /* 5550 */ 4, 129, 42, 12, 117, 4, 129, 44, 77, 129, 6168855Smckusick /* 5560 */ 46, 75, 129, 50, 71, 129, 56, 43, 100, 21, 6178855Smckusick /* 5570 */ 129, 117, 4, 132, 193, 129, 117, 4, 132, 115, 6188855Smckusick /* 5580 */ 6, 129, 110, 11, 129, 105, 16, 129, 101, 20, 6198855Smckusick /* 5590 */ 129, 96, 25, 129, 92, 29, 129, 87, 34, 129, 6208855Smckusick /* 5600 */ 83, 38, 129, 78, 43, 129, 74, 47, 129, 70, 6218855Smckusick /* 5610 */ 42, 117, 4, 129, 65, 42, 117, 4, 129, 60, 6228855Smckusick /* 5620 */ 43, 117, 4, 129, 56, 42, 129, 51, 42, 129, 6238855Smckusick /* 5630 */ 46, 43, 129, 42, 43, 129, 37, 44, 129, 33, 6248855Smckusick /* 5640 */ 43, 129, 30, 42, 129, 33, 34, 129, 38, 25, 6258855Smckusick /* 5650 */ 129, 42, 16, 129, 47, 15, 129, 52, 15, 129, 6268855Smckusick /* 5660 */ 57, 15, 129, 61, 16, 129, 66, 16, 129, 71, 6278855Smckusick /* 5670 */ 16, 129, 76, 16, 129, 80, 16, 129, 85, 16, 6288855Smckusick /* 5680 */ 117, 4, 129, 90, 16, 117, 4, 129, 95, 16, 6298855Smckusick /* 5690 */ 117, 4, 129, 100, 21, 129, 105, 16, 129, 110, 6308855Smckusick /* 5700 */ 11, 129, 114, 7, 129, 117, 4, 132, 193, 129, 6318855Smckusick /* 5710 */ 117, 4, 132, 115, 6, 129, 110, 11, 129, 105, 6328855Smckusick /* 5720 */ 16, 129, 101, 20, 129, 96, 25, 129, 92, 29, 6338855Smckusick /* 5730 */ 129, 87, 34, 129, 83, 38, 129, 78, 43, 129, 6348855Smckusick /* 5740 */ 74, 47, 129, 70, 42, 117, 4, 129, 65, 42, 6358855Smckusick /* 5750 */ 117, 4, 129, 60, 43, 117, 4, 129, 56, 42, 6368855Smckusick /* 5760 */ 129, 51, 42, 129, 46, 43, 129, 42, 43, 129, 6378855Smckusick /* 5770 */ 37, 44, 129, 33, 43, 129, 30, 42, 129, 33, 6388855Smckusick /* 5780 */ 34, 129, 38, 25, 129, 42, 16, 129, 47, 15, 6398855Smckusick /* 5790 */ 129, 52, 15, 129, 57, 15, 129, 61, 16, 129, 6408855Smckusick /* 5800 */ 65, 17, 129, 60, 27, 129, 56, 36, 129, 51, 6418855Smckusick /* 5810 */ 42, 129, 46, 43, 129, 42, 43, 129, 37, 44, 6428855Smckusick /* 5820 */ 129, 33, 43, 129, 30, 42, 129, 33, 34, 129, 6438855Smckusick /* 5830 */ 38, 25, 129, 42, 16, 129, 47, 15, 129, 52, 6448855Smckusick /* 5840 */ 15, 129, 57, 15, 129, 61, 16, 129, 66, 16, 6458855Smckusick /* 5850 */ 129, 71, 16, 129, 76, 16, 129, 80, 16, 129, 6468855Smckusick /* 5860 */ 85, 16, 117, 4, 129, 90, 16, 117, 4, 129, 6478855Smckusick /* 5870 */ 95, 16, 117, 4, 129, 100, 21, 129, 105, 16, 6488855Smckusick /* 5880 */ 129, 110, 11, 129, 114, 7, 129, 117, 4, 132, 6498855Smckusick /* 5890 */ 193, 129, 30, 4, 117, 4, 132, 30, 4, 115, 6508855Smckusick /* 5900 */ 6, 129, 30, 4, 112, 9, 129, 30, 6, 109, 6518855Smckusick /* 5910 */ 12, 129, 30, 9, 106, 15, 129, 30, 11, 103, 6528855Smckusick /* 5920 */ 18, 129, 30, 14, 100, 21, 129, 30, 4, 38, 6538855Smckusick /* 5930 */ 9, 98, 23, 129, 30, 4, 40, 10, 95, 26, 6548855Smckusick /* 5940 */ 129, 30, 4, 43, 9, 92, 29, 129, 46, 9, 6558855Smckusick /* 5950 */ 89, 32, 129, 49, 8, 86, 28, 117, 4, 129, 6568855Smckusick /* 5960 */ 51, 9, 83, 28, 117, 4, 129, 54, 9, 80, 6578855Smckusick /* 5970 */ 28, 117, 4, 129, 57, 8, 77, 28, 117, 4, 6588855Smckusick /* 5980 */ 129, 59, 9, 74, 28, 129, 62, 37, 129, 64, 6598855Smckusick /* 5990 */ 33, 129, 66, 28, 129, 63, 28, 129, 60, 28, 6608855Smckusick /* 6000 */ 129, 57, 28, 129, 54, 33, 129, 51, 39, 129, 6618855Smckusick /* 6010 */ 48, 29, 83, 9, 129, 30, 4, 45, 29, 86, 6628855Smckusick /* 6020 */ 9, 129, 30, 4, 42, 29, 89, 9, 129, 30, 6638855Smckusick /* 6030 */ 4, 39, 29, 92, 8, 129, 30, 4, 36, 29, 6648855Smckusick /* 6040 */ 94, 9, 129, 30, 32, 97, 9, 129, 30, 29, 6658855Smckusick /* 6050 */ 100, 8, 117, 4, 129, 30, 26, 103, 8, 117, 6668855Smckusick /* 6060 */ 4, 129, 30, 23, 105, 9, 117, 4, 129, 30, 6678855Smckusick /* 6070 */ 20, 108, 13, 129, 30, 18, 111, 10, 129, 30, 6688855Smckusick /* 6080 */ 15, 113, 8, 129, 30, 12, 116, 5, 129, 30, 6698855Smckusick /* 6090 */ 9, 117, 4, 129, 30, 6, 117, 4, 129, 30, 6708855Smckusick /* 6100 */ 4, 117, 4, 132, 193, 129, 117, 4, 132, 114, 6718855Smckusick /* 6110 */ 7, 129, 111, 10, 129, 108, 13, 129, 105, 16, 6728855Smckusick /* 6120 */ 129, 102, 19, 129, 100, 21, 129, 96, 25, 129, 6738855Smckusick /* 6130 */ 93, 28, 129, 90, 31, 129, 87, 34, 129, 84, 6748855Smckusick /* 6140 */ 30, 117, 4, 129, 30, 4, 81, 30, 117, 4, 6758855Smckusick /* 6150 */ 129, 30, 4, 78, 30, 117, 4, 129, 30, 4, 6768855Smckusick /* 6160 */ 75, 30, 117, 4, 129, 30, 4, 72, 30, 129, 6778855Smckusick /* 6170 */ 30, 69, 129, 30, 66, 129, 30, 63, 129, 30, 6788855Smckusick /* 6180 */ 60, 129, 30, 57, 129, 30, 54, 129, 30, 51, 6798855Smckusick /* 6190 */ 129, 30, 48, 129, 30, 51, 129, 30, 4, 73, 6808855Smckusick /* 6200 */ 12, 129, 30, 4, 76, 12, 129, 30, 4, 80, 6818855Smckusick /* 6210 */ 12, 129, 30, 4, 83, 12, 129, 87, 12, 129, 6828855Smckusick /* 6220 */ 90, 12, 117, 4, 129, 94, 11, 117, 4, 129, 6838855Smckusick /* 6230 */ 97, 12, 117, 4, 129, 101, 12, 117, 4, 129, 6848855Smckusick /* 6240 */ 104, 17, 129, 108, 13, 129, 111, 10, 129, 115, 6858855Smckusick /* 6250 */ 6, 129, 117, 4, 134, 193, 129, 30, 1, 103, 6868855Smckusick /* 6260 */ 18, 129, 30, 4, 103, 18, 129, 30, 7, 103, 6878855Smckusick /* 6270 */ 18, 129, 30, 9, 103, 18, 129, 30, 12, 110, 6888855Smckusick /* 6280 */ 11, 129, 30, 15, 113, 8, 129, 30, 18, 114, 6898855Smckusick /* 6290 */ 7, 129, 30, 21, 116, 5, 129, 30, 24, 116, 6908855Smckusick /* 6300 */ 5, 129, 30, 27, 117, 4, 129, 30, 30, 117, 6918855Smckusick /* 6310 */ 4, 129, 30, 33, 117, 4, 129, 30, 4, 37, 6928855Smckusick /* 6320 */ 28, 117, 4, 129, 30, 4, 40, 28, 117, 4, 6938855Smckusick /* 6330 */ 129, 30, 4, 42, 29, 117, 4, 129, 30, 4, 6948855Smckusick /* 6340 */ 45, 29, 117, 4, 129, 30, 4, 48, 29, 117, 6958855Smckusick /* 6350 */ 4, 129, 30, 4, 51, 29, 117, 4, 129, 30, 6968855Smckusick /* 6360 */ 4, 54, 29, 117, 4, 129, 30, 4, 57, 29, 6978855Smckusick /* 6370 */ 117, 4, 129, 30, 4, 59, 30, 117, 4, 129, 6988855Smckusick /* 6380 */ 30, 4, 62, 30, 117, 4, 129, 30, 4, 65, 6998855Smckusick /* 6390 */ 30, 117, 4, 129, 30, 4, 68, 30, 117, 4, 7008855Smckusick /* 6400 */ 129, 30, 4, 71, 30, 117, 4, 129, 30, 4, 7018855Smckusick /* 6410 */ 74, 30, 117, 4, 129, 30, 4, 77, 30, 117, 7028855Smckusick /* 6420 */ 4, 129, 30, 4, 80, 30, 117, 4, 129, 30, 7038855Smckusick /* 6430 */ 4, 83, 30, 117, 4, 129, 30, 4, 86, 35, 7048855Smckusick /* 6440 */ 129, 30, 4, 89, 32, 129, 30, 4, 91, 30, 7058855Smckusick /* 6450 */ 129, 30, 4, 94, 27, 129, 30, 5, 97, 24, 7068855Smckusick /* 6460 */ 129, 30, 5, 100, 21, 129, 30, 7, 103, 18, 7078855Smckusick /* 6470 */ 129, 30, 8, 106, 15, 129, 30, 11, 109, 12, 7088855Smckusick /* 6480 */ 129, 30, 18, 112, 9, 129, 30, 18, 115, 6, 7098855Smckusick /* 6490 */ 129, 30, 18, 117, 4, 129, 30, 18, 120, 1, 7108855Smckusick /* 6500 */ 129, 193, 129, 42, 8, 129, 38, 16, 129, 36, 7118855Smckusick /* 6510 */ 20, 129, 34, 24, 71, 5, 129, 33, 26, 69, 7128855Smckusick /* 6520 */ 10, 129, 32, 28, 68, 13, 129, 31, 30, 68, 7138855Smckusick /* 6530 */ 14, 129, 31, 9, 52, 9, 68, 15, 129, 30, 7148855Smckusick /* 6540 */ 8, 54, 8, 69, 14, 129, 30, 7, 55, 7, 7158855Smckusick /* 6550 */ 71, 4, 78, 6, 129, 30, 6, 56, 6, 79, 7168855Smckusick /* 6560 */ 5, 129, 30, 6, 56, 6, 80, 4, 130, 31, 7178855Smckusick /* 6570 */ 5, 56, 5, 80, 4, 129, 31, 5, 56, 5, 7188855Smckusick /* 6580 */ 79, 5, 129, 32, 5, 55, 5, 78, 6, 129, 7198855Smckusick /* 6590 */ 33, 5, 54, 5, 77, 7, 129, 34, 6, 52, 7208855Smckusick /* 6600 */ 6, 74, 9, 129, 35, 48, 129, 33, 49, 129, 7218855Smckusick /* 6610 */ 32, 49, 129, 31, 49, 129, 30, 49, 129, 30, 7228855Smckusick /* 6620 */ 47, 129, 30, 45, 129, 30, 41, 129, 30, 6, 7238855Smckusick /* 6630 */ 129, 30, 4, 129, 30, 3, 129, 30, 2, 129, 7248855Smckusick /* 6640 */ 193, 129, 30, 4, 117, 4, 130, 31, 90, 136, 7258855Smckusick /* 6650 */ 37, 5, 72, 5, 129, 35, 5, 74, 5, 129, 7268855Smckusick /* 6660 */ 33, 5, 76, 5, 129, 32, 5, 77, 5, 129, 7278855Smckusick /* 6670 */ 31, 5, 78, 5, 129, 31, 4, 79, 4, 129, 7288855Smckusick /* 6680 */ 30, 5, 79, 5, 131, 30, 6, 78, 6, 129, 7298855Smckusick /* 6690 */ 30, 7, 77, 7, 129, 31, 8, 75, 8, 129, 7308855Smckusick /* 6700 */ 31, 11, 72, 11, 129, 32, 15, 67, 15, 129, 7318855Smckusick /* 6710 */ 33, 48, 129, 34, 46, 129, 35, 44, 129, 37, 7328855Smckusick /* 6720 */ 40, 129, 39, 36, 129, 42, 30, 129, 46, 22, 7338855Smckusick /* 6730 */ 129, 193, 129, 48, 18, 129, 43, 28, 129, 41, 7348855Smckusick /* 6740 */ 32, 129, 39, 36, 129, 37, 40, 129, 35, 44, 7358855Smckusick /* 6750 */ 129, 34, 46, 129, 33, 13, 68, 13, 129, 32, 7368855Smckusick /* 6760 */ 9, 73, 9, 129, 32, 7, 75, 7, 129, 31, 7378855Smckusick /* 6770 */ 6, 77, 6, 129, 31, 5, 78, 5, 129, 30, 7388855Smckusick /* 6780 */ 5, 79, 5, 129, 30, 4, 80, 4, 133, 31, 7398855Smckusick /* 6790 */ 3, 79, 4, 129, 31, 4, 79, 4, 129, 32, 7408855Smckusick /* 6800 */ 3, 78, 4, 129, 32, 4, 76, 6, 129, 33, 7418855Smckusick /* 6810 */ 4, 74, 7, 129, 34, 4, 72, 8, 129, 35, 7428855Smckusick /* 6820 */ 5, 72, 7, 129, 37, 5, 73, 4, 129, 39, 7438855Smckusick /* 6830 */ 4, 74, 1, 129, 129, 193, 129, 46, 22, 129, 7448855Smckusick /* 6840 */ 42, 30, 129, 39, 36, 129, 37, 40, 129, 35, 7458855Smckusick /* 6850 */ 44, 129, 34, 46, 129, 33, 48, 129, 32, 15, 7468855Smckusick /* 6860 */ 67, 15, 129, 31, 11, 72, 11, 129, 31, 8, 7478855Smckusick /* 6870 */ 75, 8, 129, 30, 7, 77, 7, 129, 30, 6, 7488855Smckusick /* 6880 */ 78, 6, 129, 30, 5, 79, 5, 131, 31, 4, 7498855Smckusick /* 6890 */ 79, 4, 129, 31, 5, 78, 5, 129, 32, 5, 7508855Smckusick /* 6900 */ 77, 5, 129, 33, 5, 76, 5, 129, 35, 5, 7518855Smckusick /* 6910 */ 74, 5, 117, 4, 129, 37, 5, 72, 5, 117, 7528855Smckusick /* 6920 */ 4, 129, 30, 91, 136, 30, 4, 130, 193, 129, 7538855Smckusick /* 6930 */ 48, 18, 129, 43, 28, 129, 41, 32, 129, 39, 7548855Smckusick /* 6940 */ 36, 129, 37, 40, 129, 35, 44, 129, 34, 46, 7558855Smckusick /* 6950 */ 129, 33, 13, 55, 4, 68, 13, 129, 32, 9, 7568855Smckusick /* 6960 */ 55, 4, 73, 9, 129, 32, 7, 55, 4, 75, 7578855Smckusick /* 6970 */ 7, 129, 31, 6, 55, 4, 77, 6, 129, 31, 7588855Smckusick /* 6980 */ 5, 55, 4, 78, 5, 129, 30, 5, 55, 4, 7598855Smckusick /* 6990 */ 79, 5, 129, 30, 4, 55, 4, 80, 4, 132, 7608855Smckusick /* 7000 */ 30, 4, 55, 4, 79, 5, 129, 31, 3, 55, 7618855Smckusick /* 7010 */ 4, 78, 5, 129, 31, 4, 55, 4, 77, 6, 7628855Smckusick /* 7020 */ 129, 32, 3, 55, 4, 75, 7, 129, 32, 4, 7638855Smckusick /* 7030 */ 55, 4, 73, 9, 129, 33, 4, 55, 4, 68, 7648855Smckusick /* 7040 */ 13, 129, 34, 4, 55, 25, 129, 35, 5, 55, 7658855Smckusick /* 7050 */ 24, 129, 37, 5, 55, 22, 129, 39, 4, 55, 7668855Smckusick /* 7060 */ 20, 129, 55, 18, 129, 55, 16, 129, 55, 11, 7678855Smckusick /* 7070 */ 129, 193, 129, 80, 4, 129, 30, 4, 80, 4, 7688855Smckusick /* 7080 */ 130, 30, 78, 129, 30, 82, 129, 30, 85, 129, 7698855Smckusick /* 7090 */ 30, 87, 129, 30, 88, 129, 30, 89, 129, 30, 7708855Smckusick /* 7100 */ 90, 130, 30, 4, 80, 4, 115, 6, 129, 30, 7718855Smckusick /* 7110 */ 4, 80, 4, 117, 4, 129, 80, 4, 105, 6, 7728855Smckusick /* 7120 */ 117, 4, 129, 80, 4, 103, 10, 116, 5, 129, 7738855Smckusick /* 7130 */ 80, 4, 102, 19, 129, 80, 4, 101, 19, 129, 7748855Smckusick /* 7140 */ 101, 19, 129, 101, 18, 129, 102, 16, 129, 103, 7758855Smckusick /* 7150 */ 12, 129, 105, 6, 129, 193, 129, 12, 10, 59, 7768855Smckusick /* 7160 */ 11, 129, 9, 16, 55, 19, 129, 7, 20, 53, 7778855Smckusick /* 7170 */ 23, 129, 6, 7, 23, 5, 32, 6, 51, 27, 7788855Smckusick /* 7180 */ 129, 4, 7, 25, 16, 50, 29, 129, 3, 6, 7798855Smckusick /* 7190 */ 27, 16, 49, 31, 129, 2, 6, 28, 16, 48, 7808855Smckusick /* 7200 */ 33, 129, 1, 6, 27, 18, 47, 35, 129, 1, 7818855Smckusick /* 7210 */ 6, 27, 31, 71, 12, 129, 1, 5, 26, 15, 7828855Smckusick /* 7220 */ 44, 10, 75, 8, 129, 1, 5, 25, 14, 45, 7838855Smckusick /* 7230 */ 7, 77, 7, 129, 1, 5, 25, 13, 45, 5, 7848855Smckusick /* 7240 */ 79, 5, 129, 1, 5, 24, 14, 45, 4, 80, 7858855Smckusick /* 7250 */ 4, 129, 1, 5, 24, 13, 45, 4, 80, 4, 7868855Smckusick /* 7260 */ 129, 1, 5, 23, 14, 45, 4, 80, 4, 129, 7878855Smckusick /* 7270 */ 1, 5, 23, 13, 45, 4, 80, 4, 129, 1, 7888855Smckusick /* 7280 */ 6, 22, 13, 45, 5, 79, 5, 129, 1, 6, 7898855Smckusick /* 7290 */ 21, 14, 45, 7, 77, 7, 129, 1, 7, 21, 7908855Smckusick /* 7300 */ 13, 46, 8, 75, 8, 129, 1, 8, 20, 13, 7918855Smckusick /* 7310 */ 46, 12, 71, 12, 129, 1, 10, 18, 15, 47, 7928855Smckusick /* 7320 */ 35, 129, 2, 30, 48, 33, 129, 3, 29, 49, 7938855Smckusick /* 7330 */ 32, 129, 4, 27, 50, 31, 129, 5, 25, 51, 7948855Smckusick /* 7340 */ 27, 80, 2, 86, 4, 129, 7, 21, 53, 23, 7958855Smckusick /* 7350 */ 80, 3, 85, 6, 129, 9, 17, 55, 19, 80, 7968855Smckusick /* 7360 */ 12, 129, 12, 12, 59, 11, 81, 11, 129, 82, 7978855Smckusick /* 7370 */ 10, 129, 84, 7, 129, 86, 4, 129, 193, 129, 7988855Smckusick /* 7380 */ 30, 4, 117, 4, 130, 30, 91, 136, 30, 4, 7998855Smckusick /* 7390 */ 72, 5, 129, 30, 4, 74, 5, 129, 75, 5, 8008855Smckusick /* 7400 */ 129, 76, 5, 129, 76, 6, 129, 77, 6, 130, 8018855Smckusick /* 7410 */ 77, 7, 130, 76, 8, 129, 30, 4, 75, 9, 8028855Smckusick /* 7420 */ 129, 30, 4, 72, 12, 129, 30, 54, 129, 30, 8038855Smckusick /* 7430 */ 53, 130, 30, 52, 129, 30, 51, 129, 30, 49, 8048855Smckusick /* 7440 */ 129, 30, 46, 129, 30, 42, 129, 30, 4, 130, 8058855Smckusick /* 7450 */ 193, 129, 30, 4, 80, 4, 129, 30, 4, 80, 8068855Smckusick /* 7460 */ 4, 100, 6, 129, 30, 54, 98, 10, 129, 30, 8078855Smckusick /* 7470 */ 54, 97, 12, 129, 30, 54, 96, 14, 131, 30, 8088855Smckusick /* 7480 */ 54, 97, 12, 129, 30, 54, 98, 10, 129, 30, 8098855Smckusick /* 7490 */ 54, 100, 6, 129, 30, 4, 130, 193, 129, 7, 8108855Smckusick /* 7500 */ 6, 129, 4, 11, 129, 3, 13, 129, 2, 14, 8118855Smckusick /* 7510 */ 129, 1, 15, 130, 1, 3, 6, 9, 129, 1, 8128855Smckusick /* 7520 */ 3, 7, 6, 129, 1, 3, 130, 1, 4, 129, 8138855Smckusick /* 7530 */ 1, 5, 80, 4, 129, 1, 7, 80, 4, 100, 8148855Smckusick /* 7540 */ 6, 129, 2, 82, 98, 10, 129, 3, 81, 97, 8158855Smckusick /* 7550 */ 12, 129, 4, 80, 96, 14, 129, 5, 79, 96, 8168855Smckusick /* 7560 */ 14, 129, 7, 77, 96, 14, 129, 10, 74, 97, 8178855Smckusick /* 7570 */ 12, 129, 14, 70, 98, 10, 129, 19, 65, 100, 8188855Smckusick /* 7580 */ 6, 129, 193, 129, 30, 4, 117, 4, 130, 30, 8198855Smckusick /* 7590 */ 91, 136, 30, 4, 57, 9, 129, 30, 4, 55, 8208855Smckusick /* 7600 */ 12, 129, 52, 17, 129, 50, 20, 129, 48, 24, 8218855Smckusick /* 7610 */ 129, 46, 27, 129, 44, 21, 69, 6, 129, 41, 8228855Smckusick /* 7620 */ 22, 70, 6, 80, 4, 129, 30, 4, 39, 21, 8238855Smckusick /* 7630 */ 72, 6, 80, 4, 129, 30, 4, 36, 22, 73, 8248855Smckusick /* 7640 */ 11, 129, 30, 26, 75, 9, 129, 30, 23, 76, 8258855Smckusick /* 7650 */ 8, 129, 30, 21, 78, 6, 129, 30, 19, 79, 8268855Smckusick /* 7660 */ 5, 129, 30, 16, 80, 4, 129, 30, 14, 80, 8278855Smckusick /* 7670 */ 4, 129, 30, 12, 129, 30, 10, 129, 30, 7, 8288855Smckusick /* 7680 */ 129, 30, 5, 129, 30, 4, 130, 193, 129, 30, 8298855Smckusick /* 7690 */ 4, 117, 4, 130, 30, 91, 136, 30, 4, 130, 8308855Smckusick /* 7700 */ 193, 129, 30, 4, 80, 4, 130, 30, 54, 136, 8318855Smckusick /* 7710 */ 30, 4, 72, 5, 129, 30, 4, 74, 5, 129, 8328855Smckusick /* 7720 */ 75, 5, 129, 76, 5, 129, 30, 4, 75, 7, 8338855Smckusick /* 7730 */ 129, 30, 4, 74, 9, 129, 30, 54, 132, 30, 8348855Smckusick /* 7740 */ 53, 129, 30, 52, 129, 30, 51, 129, 30, 48, 8358855Smckusick /* 7750 */ 129, 30, 4, 72, 5, 129, 30, 4, 74, 5, 8368855Smckusick /* 7760 */ 129, 75, 5, 129, 76, 5, 129, 30, 4, 75, 8378855Smckusick /* 7770 */ 7, 129, 30, 4, 74, 9, 129, 30, 54, 132, 8388855Smckusick /* 7780 */ 30, 53, 129, 30, 52, 129, 30, 51, 129, 30, 8398855Smckusick /* 7790 */ 48, 129, 30, 4, 130, 193, 129, 30, 4, 80, 8408855Smckusick /* 7800 */ 4, 130, 30, 54, 136, 30, 4, 72, 5, 129, 8418855Smckusick /* 7810 */ 30, 4, 74, 5, 129, 75, 5, 129, 76, 5, 8428855Smckusick /* 7820 */ 129, 76, 6, 129, 77, 6, 130, 77, 7, 130, 8438855Smckusick /* 7830 */ 76, 8, 129, 30, 4, 75, 9, 129, 30, 4, 8448855Smckusick /* 7840 */ 72, 12, 129, 30, 54, 129, 30, 53, 130, 30, 8458855Smckusick /* 7850 */ 52, 129, 30, 51, 129, 30, 49, 129, 30, 46, 8468855Smckusick /* 7860 */ 129, 30, 42, 129, 30, 4, 130, 193, 129, 48, 8478855Smckusick /* 7870 */ 18, 129, 43, 28, 129, 41, 32, 129, 39, 36, 8488855Smckusick /* 7880 */ 129, 37, 40, 129, 35, 44, 129, 34, 46, 129, 8498855Smckusick /* 7890 */ 33, 13, 68, 13, 129, 32, 9, 73, 9, 129, 8508855Smckusick /* 7900 */ 32, 7, 75, 7, 129, 31, 6, 77, 6, 129, 8518855Smckusick /* 7910 */ 31, 5, 78, 5, 129, 30, 5, 79, 5, 129, 8528855Smckusick /* 7920 */ 30, 4, 80, 4, 132, 30, 5, 79, 5, 130, 8538855Smckusick /* 7930 */ 31, 5, 78, 5, 129, 31, 6, 77, 6, 129, 8548855Smckusick /* 7940 */ 32, 7, 75, 7, 129, 32, 9, 73, 9, 129, 8558855Smckusick /* 7950 */ 33, 13, 68, 13, 129, 34, 46, 129, 35, 44, 8568855Smckusick /* 7960 */ 129, 37, 40, 129, 39, 36, 129, 41, 32, 129, 8578855Smckusick /* 7970 */ 43, 28, 129, 48, 18, 129, 193, 129, 1, 3, 8588855Smckusick /* 7980 */ 80, 4, 130, 1, 83, 137, 37, 5, 72, 5, 8598855Smckusick /* 7990 */ 129, 35, 5, 74, 5, 129, 33, 5, 76, 5, 8608855Smckusick /* 8000 */ 129, 32, 5, 77, 5, 129, 31, 5, 78, 5, 8618855Smckusick /* 8010 */ 129, 31, 4, 79, 4, 129, 30, 5, 79, 5, 8628855Smckusick /* 8020 */ 131, 30, 6, 78, 6, 129, 30, 7, 77, 7, 8638855Smckusick /* 8030 */ 129, 31, 8, 75, 8, 129, 31, 11, 72, 11, 8648855Smckusick /* 8040 */ 129, 32, 15, 67, 15, 129, 33, 48, 129, 34, 8658855Smckusick /* 8050 */ 46, 129, 35, 44, 129, 37, 40, 129, 39, 36, 8668855Smckusick /* 8060 */ 129, 42, 30, 129, 46, 22, 129, 193, 129, 46, 8678855Smckusick /* 8070 */ 22, 129, 42, 30, 129, 39, 36, 129, 37, 40, 8688855Smckusick /* 8080 */ 129, 35, 44, 129, 34, 46, 129, 33, 48, 129, 8698855Smckusick /* 8090 */ 32, 15, 67, 15, 129, 31, 11, 72, 11, 129, 8708855Smckusick /* 8100 */ 31, 8, 75, 8, 129, 30, 7, 77, 7, 129, 8718855Smckusick /* 8110 */ 30, 6, 78, 6, 129, 30, 5, 79, 5, 131, 8728855Smckusick /* 8120 */ 31, 4, 79, 4, 129, 31, 5, 78, 5, 129, 8738855Smckusick /* 8130 */ 32, 5, 77, 5, 129, 33, 5, 76, 5, 129, 8748855Smckusick /* 8140 */ 35, 5, 74, 5, 129, 37, 5, 72, 5, 129, 8758855Smckusick /* 8150 */ 1, 83, 136, 1, 3, 80, 4, 130, 193, 129, 8768855Smckusick /* 8160 */ 30, 4, 80, 4, 130, 30, 54, 136, 30, 4, 8778855Smckusick /* 8170 */ 68, 6, 129, 30, 4, 70, 6, 129, 71, 7, 8788855Smckusick /* 8180 */ 129, 72, 7, 129, 73, 7, 129, 74, 7, 129, 8798855Smckusick /* 8190 */ 74, 8, 129, 75, 8, 130, 69, 15, 129, 67, 8808855Smckusick /* 8200 */ 17, 129, 66, 18, 129, 65, 19, 130, 65, 18, 8818855Smckusick /* 8210 */ 130, 66, 16, 129, 67, 13, 129, 69, 8, 129, 8828855Smckusick /* 8220 */ 193, 129, 30, 13, 64, 8, 129, 30, 13, 61, 8838855Smckusick /* 8230 */ 14, 129, 30, 13, 59, 18, 129, 30, 13, 57, 8848855Smckusick /* 8240 */ 22, 129, 33, 8, 56, 24, 129, 32, 7, 55, 8858855Smckusick /* 8250 */ 26, 129, 32, 6, 54, 28, 129, 31, 6, 53, 8868855Smckusick /* 8260 */ 16, 77, 6, 129, 31, 5, 53, 14, 79, 4, 8878855Smckusick /* 8270 */ 129, 30, 5, 52, 14, 80, 4, 129, 30, 5, 8888855Smckusick /* 8280 */ 52, 13, 80, 4, 129, 30, 4, 52, 13, 80, 8898855Smckusick /* 8290 */ 4, 129, 30, 4, 52, 12, 80, 4, 129, 30, 8908855Smckusick /* 8300 */ 4, 51, 13, 80, 4, 130, 30, 4, 50, 13, 8918855Smckusick /* 8310 */ 79, 5, 129, 30, 4, 50, 13, 78, 5, 129, 8928855Smckusick /* 8320 */ 30, 5, 49, 14, 77, 6, 129, 31, 4, 49, 8938855Smckusick /* 8330 */ 13, 76, 6, 129, 31, 5, 48, 14, 75, 7, 8948855Smckusick /* 8340 */ 129, 32, 5, 47, 14, 73, 8, 129, 32, 6, 8958855Smckusick /* 8350 */ 45, 16, 71, 13, 129, 33, 27, 71, 13, 129, 8968855Smckusick /* 8360 */ 34, 26, 71, 13, 129, 35, 24, 71, 13, 129, 8978855Smckusick /* 8370 */ 37, 20, 129, 39, 16, 129, 43, 9, 129, 193, 8988855Smckusick /* 8380 */ 129, 80, 4, 131, 41, 56, 129, 37, 60, 129, 8998855Smckusick /* 8390 */ 35, 62, 129, 33, 64, 129, 32, 65, 129, 31, 9008855Smckusick /* 8400 */ 66, 129, 30, 67, 130, 30, 11, 80, 4, 129, 9018855Smckusick /* 8410 */ 30, 9, 80, 4, 129, 30, 8, 80, 4, 129, 9028855Smckusick /* 8420 */ 31, 7, 80, 4, 129, 31, 6, 129, 32, 5, 9038855Smckusick /* 8430 */ 129, 33, 5, 129, 35, 4, 129, 38, 3, 129, 9048855Smckusick /* 8440 */ 193, 129, 80, 4, 130, 42, 42, 129, 38, 46, 9058855Smckusick /* 8450 */ 129, 35, 49, 129, 33, 51, 129, 32, 52, 129, 9068855Smckusick /* 8460 */ 31, 53, 130, 30, 54, 129, 30, 12, 129, 30, 9078855Smckusick /* 8470 */ 9, 129, 30, 8, 129, 30, 7, 130, 31, 6, 9088855Smckusick /* 8480 */ 130, 32, 6, 129, 33, 5, 129, 34, 5, 129, 9098855Smckusick /* 8490 */ 35, 5, 80, 4, 129, 37, 5, 80, 4, 129, 9108855Smckusick /* 8500 */ 30, 54, 136, 30, 4, 130, 193, 129, 80, 4, 9118855Smckusick /* 8510 */ 130, 77, 7, 129, 74, 10, 129, 70, 14, 129, 9128855Smckusick /* 8520 */ 66, 18, 129, 62, 22, 129, 59, 25, 129, 55, 9138855Smckusick /* 8530 */ 29, 129, 51, 33, 129, 47, 37, 129, 44, 32, 9148855Smckusick /* 8540 */ 80, 4, 129, 40, 32, 80, 4, 129, 36, 32, 9158855Smckusick /* 8550 */ 129, 32, 33, 129, 30, 31, 129, 33, 24, 129, 9168855Smckusick /* 8560 */ 36, 17, 129, 40, 12, 129, 44, 12, 129, 48, 9178855Smckusick /* 8570 */ 12, 129, 51, 13, 129, 55, 13, 129, 59, 13, 9188855Smckusick /* 8580 */ 80, 4, 129, 63, 13, 80, 4, 129, 67, 17, 9198855Smckusick /* 8590 */ 129, 71, 13, 129, 74, 10, 129, 78, 6, 129, 9208855Smckusick /* 8600 */ 80, 4, 131, 193, 129, 80, 4, 130, 77, 7, 9218855Smckusick /* 8610 */ 129, 74, 10, 129, 70, 14, 129, 66, 18, 129, 9228855Smckusick /* 8620 */ 62, 22, 129, 59, 25, 129, 55, 29, 129, 51, 9238855Smckusick /* 8630 */ 33, 129, 47, 37, 129, 44, 32, 80, 4, 129, 9248855Smckusick /* 8640 */ 40, 32, 80, 4, 129, 36, 32, 129, 32, 33, 9258855Smckusick /* 8650 */ 129, 30, 31, 129, 33, 24, 129, 36, 17, 129, 9268855Smckusick /* 8660 */ 40, 12, 129, 44, 12, 129, 47, 13, 129, 44, 9278855Smckusick /* 8670 */ 20, 129, 40, 28, 129, 36, 31, 129, 32, 32, 9288855Smckusick /* 8680 */ 129, 30, 30, 129, 33, 24, 129, 36, 17, 129, 9298855Smckusick /* 8690 */ 40, 12, 129, 44, 12, 129, 48, 12, 129, 51, 9308855Smckusick /* 8700 */ 13, 129, 55, 13, 129, 59, 13, 80, 4, 129, 9318855Smckusick /* 8710 */ 63, 13, 80, 4, 129, 67, 17, 129, 71, 13, 9328855Smckusick /* 8720 */ 129, 74, 10, 129, 78, 6, 129, 80, 4, 131, 9338855Smckusick /* 8730 */ 193, 129, 30, 4, 80, 4, 130, 30, 4, 79, 9348855Smckusick /* 8740 */ 5, 129, 30, 5, 77, 7, 129, 30, 6, 74, 9358855Smckusick /* 8750 */ 10, 129, 30, 8, 72, 12, 129, 30, 11, 69, 9368855Smckusick /* 8760 */ 15, 129, 30, 13, 67, 17, 129, 30, 4, 37, 9378855Smckusick /* 8770 */ 8, 64, 20, 129, 30, 4, 39, 8, 62, 22, 9388855Smckusick /* 8780 */ 129, 41, 8, 59, 25, 129, 43, 8, 57, 27, 9398855Smckusick /* 8790 */ 129, 45, 8, 55, 22, 80, 4, 129, 47, 27, 9408855Smckusick /* 8800 */ 80, 4, 129, 49, 23, 129, 47, 22, 129, 44, 9418855Smckusick /* 8810 */ 23, 129, 42, 22, 129, 30, 4, 39, 27, 129, 9428855Smckusick /* 8820 */ 30, 4, 37, 31, 129, 30, 27, 62, 8, 129, 9438855Smckusick /* 8830 */ 30, 25, 64, 8, 129, 30, 22, 66, 8, 80, 9448855Smckusick /* 8840 */ 4, 129, 30, 20, 68, 8, 80, 4, 129, 30, 9458855Smckusick /* 8850 */ 17, 70, 8, 80, 4, 129, 30, 15, 73, 11, 9468855Smckusick /* 8860 */ 129, 30, 12, 75, 9, 129, 30, 10, 77, 7, 9478855Smckusick /* 8870 */ 129, 30, 7, 79, 5, 129, 30, 5, 80, 4, 9488855Smckusick /* 8880 */ 129, 30, 4, 80, 4, 130, 193, 129, 4, 5, 9498855Smckusick /* 8890 */ 80, 4, 129, 2, 9, 80, 4, 129, 1, 11, 9508855Smckusick /* 8900 */ 77, 7, 129, 1, 12, 74, 10, 129, 1, 12, 9518855Smckusick /* 8910 */ 70, 14, 129, 1, 12, 66, 18, 129, 1, 11, 9528855Smckusick /* 8920 */ 62, 22, 129, 2, 9, 59, 25, 129, 4, 11, 9538855Smckusick /* 8930 */ 55, 29, 129, 7, 12, 51, 33, 129, 10, 12, 9548855Smckusick /* 8940 */ 47, 37, 129, 14, 12, 44, 32, 80, 4, 129, 9558855Smckusick /* 8950 */ 17, 13, 40, 32, 80, 4, 129, 21, 13, 36, 9568855Smckusick /* 8960 */ 32, 129, 25, 40, 129, 29, 32, 129, 33, 24, 9578855Smckusick /* 8970 */ 129, 36, 17, 129, 40, 12, 129, 44, 12, 129, 9588855Smckusick /* 8980 */ 48, 12, 129, 51, 13, 129, 55, 13, 129, 59, 9598855Smckusick /* 8990 */ 13, 80, 4, 129, 63, 13, 80, 4, 129, 67, 9608855Smckusick /* 9000 */ 17, 129, 71, 13, 129, 74, 10, 129, 78, 6, 9618855Smckusick /* 9010 */ 129, 80, 4, 131, 193, 129, 30, 1, 71, 13, 9628855Smckusick /* 9020 */ 129, 30, 3, 71, 13, 129, 30, 6, 71, 13, 9638855Smckusick /* 9030 */ 129, 30, 9, 75, 9, 129, 30, 11, 77, 7, 9648855Smckusick /* 9040 */ 129, 30, 14, 79, 5, 129, 30, 17, 79, 5, 9658855Smckusick /* 9050 */ 129, 30, 19, 80, 4, 129, 30, 22, 80, 4, 9668855Smckusick /* 9060 */ 129, 30, 25, 80, 4, 129, 30, 27, 80, 4, 9678855Smckusick /* 9070 */ 129, 30, 4, 36, 24, 80, 4, 129, 30, 4, 9688855Smckusick /* 9080 */ 38, 25, 80, 4, 129, 30, 4, 41, 24, 80, 9698855Smckusick /* 9090 */ 4, 129, 30, 4, 44, 24, 80, 4, 129, 30, 9708855Smckusick /* 9100 */ 4, 46, 25, 80, 4, 129, 30, 4, 49, 25, 9718855Smckusick /* 9110 */ 80, 4, 129, 30, 4, 52, 24, 80, 4, 129, 9728855Smckusick /* 9120 */ 30, 4, 54, 30, 129, 30, 4, 57, 27, 129, 9738855Smckusick /* 9130 */ 30, 4, 59, 25, 129, 30, 4, 62, 22, 129, 9748855Smckusick /* 9140 */ 30, 4, 65, 19, 129, 30, 5, 67, 17, 129, 9758855Smckusick /* 9150 */ 30, 5, 70, 14, 129, 30, 7, 73, 11, 129, 9768855Smckusick /* 9160 */ 30, 9, 76, 8, 129, 30, 13, 78, 6, 129, 9778855Smckusick /* 9170 */ 30, 13, 81, 3, 129, 30, 13, 129, 193, 2, 9788855Smckusick /* 9180 */ 9, 59, 25, 129, 4, 11, 55, 29, 129, 7, 9798855Smckusick /* 9190 */ 12, 51, 33, 129, 10, 12, 47, 37, 129, 14, 9808855Smckusick /* 9200 */ 12, 44, 32, 80, 4, 129, 17, 13, 40, 32, 9818855Smckusick /* 9210 */ 80, 4, 129, 21, 13, 36, 32, 129, 25, 40, 9828855Smckusick /* 9220 */ 129, 29, 32, 129, 33, 24, 129, 36, 17, 129, 9838855Smckusick /* 9230 */ 40, 12, 129, 44, 12, 129, 48, 12, 129, 51, 9848855Smckusick /* 9240 */ 13, 129, 55, 13, 129, 59, 13, 80, 4, 129, 9858855Smckusick /* 9250 */ 63, 13, 80, 4, 129, 67, 17, 129, 71, 13, 9868855Smckusick /* 9260 */ 129, 74, 10, 129, 78, 6, 129, 80, 4, 131, 9878855Smckusick /* 9270 */ 193 9888855Smckusick }; 9898855Smckusick 99036229Sbostic int i,j; 9918855Smckusick int width = DWIDTH; /* -w option: scrunch letters to 80 columns */ 9928855Smckusick int debug; 9938855Smckusick int trace; 9948855Smckusick char line[DWIDTH]; 9958855Smckusick char print[DWIDTH]; 9968855Smckusick char message[MAXMSG]; 9978855Smckusick int nchars; 9988855Smckusick int linen; 9998855Smckusick int x,y; 100036229Sbostic int term; 10018855Smckusick int pc; 10028855Smckusick int max; 10038855Smckusick 100436229Sbostic main(argc, argv) 100536229Sbostic int argc; 100636229Sbostic char **argv; 10078855Smckusick { 100836229Sbostic extern char *optarg; 100936229Sbostic extern int optind; 101036229Sbostic int ch; 101136229Sbostic char *strcpy(), *strcat(); 101236229Sbostic 101336229Sbostic while ((ch = getopt(argc, argv, "w:td")) != EOF) 101436229Sbostic switch((char)ch) { 10158855Smckusick case 'w': 101636229Sbostic width = atoi(optarg); 101736229Sbostic if (width <= 0) 10188855Smckusick width = 80; 10198855Smckusick break; 10208855Smckusick case 'd': 102136229Sbostic debug = 1; 10228855Smckusick break; 10238855Smckusick case 't': 102436229Sbostic trace = 1; 10258855Smckusick break; 102636229Sbostic case '?': 10278855Smckusick default: 102836229Sbostic fprintf(stderr, "usage: banner [-w width]\n"); 102936229Sbostic exit(1); 10308855Smckusick } 103136229Sbostic argc -= optind; 103236229Sbostic argv += optind; 10338855Smckusick 10348855Smckusick for (i=0; i<width; i++) { 10358855Smckusick j = i * 132 / width; 10368855Smckusick print[j] = 1; 10378855Smckusick } 103836229Sbostic 10398855Smckusick #ifdef notdef 104036229Sbostic { 104136229Sbostic #define dir(f) "/e1/mrh/ucb/lib/f" 104236229Sbostic #define INDTBL dir(ban.dat.indtbl) 104336229Sbostic #define OBJECT dir(ban.dat.object) 104436229Sbostic FILE *fd; 104536229Sbostic 104636229Sbostic fd = fopen(INDTBL, "r"); 104736229Sbostic for (i=0; i<NCHARS; i++) { 104836229Sbostic fscanf(fd, "%d", &asc_ptr[i]); 104936229Sbostic } 105036229Sbostic fclose(fd); 105136229Sbostic 105236229Sbostic fd = fopen(OBJECT, "r"); 105336229Sbostic fread(data_table, 1, NBYTES, fd); 105436229Sbostic fclose(fd); 10558855Smckusick } 10568855Smckusick #endif 10578855Smckusick 10588855Smckusick /* Have now read in the data. Next get the message to be printed. */ 105936229Sbostic if (*argv) { 106036229Sbostic strcpy(message, *argv); 106136229Sbostic while (*++argv) { 10628855Smckusick strcat(message, " "); 106336229Sbostic strcat(message, *argv); 10648855Smckusick } 106536229Sbostic nchars = strlen(message); 10668855Smckusick } else { 10678855Smckusick fprintf(stderr,"Message: "); 106836229Sbostic (void)fgets(message, sizeof(message), stdin); 106936229Sbostic nchars = strlen(message); 107036229Sbostic message[nchars--] = '\0'; /* get rid of newline */ 10718855Smckusick } 10728855Smckusick 10738855Smckusick /* some debugging print statements */ 10748855Smckusick if (debug) { 10758855Smckusick printf("int asc_ptr[128] = {\n"); 10768855Smckusick for (i=0; i<128; i++) { 10778855Smckusick printf("%4d, ",asc_ptr[i]); 10788855Smckusick if ((i+1) % 8 == 0) 10798855Smckusick printf("\n"); 10808855Smckusick } 10818855Smckusick printf("};\nchar data_table[NBYTES] = {\n"); 10828855Smckusick printf(" /* "); 10838855Smckusick for (i=0; i<10; i++) printf(" %3d ",i); 10848855Smckusick printf(" */\n"); 10858855Smckusick for (i=0; i<NBYTES; i += 10) { 10868855Smckusick printf("/* %4d */ ",i); 10878855Smckusick for (j=i; j<i+10; j++) { 10888855Smckusick x = data_table[j] & 0377; 10898855Smckusick printf(" %3d, ",x); 10908855Smckusick } 10918855Smckusick putchar('\n'); 10928855Smckusick } 10938855Smckusick printf("};\n"); 10948855Smckusick } 10958855Smckusick 10968855Smckusick /* check message to make sure it's legal */ 10978855Smckusick j = 0; 10988855Smckusick for (i=0; i<nchars; i++) 10998855Smckusick if (asc_ptr[message[i]] == 0) { 11008855Smckusick printf("The character '%c' is not in my character set.\n",message[i]); 11018855Smckusick j++; 11028855Smckusick } 11038855Smckusick if (j) exit(1); 11048855Smckusick 11058855Smckusick if (trace) 11068855Smckusick printf("Message '%s' is OK\n",message); 11078855Smckusick /* Now have message. Print it one character at a time. */ 11088855Smckusick 11098855Smckusick for (i=0; i<nchars; i++) { 11108855Smckusick if (trace) 11118855Smckusick printf("Char #%d: %c\n", i, message[i]); 11128855Smckusick for (j=0; j<DWIDTH; j++) line[j] = ' '; 11138855Smckusick pc = asc_ptr[message[i]]; 11148855Smckusick term = 0; 11158855Smckusick max = 0; 11168855Smckusick linen = 0; 11178855Smckusick while ( !term ) { 11188855Smckusick if (pc<0 || pc > NBYTES) { 11198855Smckusick printf("bad pc: %d\n",pc); 11208855Smckusick exit(1); 11218855Smckusick } 11228855Smckusick x = data_table[pc] & 0377; 11238855Smckusick if (trace) 11248855Smckusick printf("pc=%d, term=%d, max=%d, linen=%d, x=%d\n",pc,term,max,linen,x); 11258855Smckusick if (x >= 128) { 11268855Smckusick if (x>192) term++; 11278855Smckusick x = x & 63; 11288855Smckusick while (x--) { 11298855Smckusick if (print[linen++]) { 11308855Smckusick for (j=0; j<=max; j++) 11318855Smckusick if (print[j]) 11328855Smckusick putchar(line[j]); 11338855Smckusick putchar('\n'); 11348855Smckusick } 11358855Smckusick } 11368855Smckusick for (j=0; j<DWIDTH; j++) line[j] = ' '; 11378855Smckusick pc++; 11388855Smckusick } 11398855Smckusick else { 11408855Smckusick y = data_table[pc+1]; 11418855Smckusick /* compensate for narrow teminals */ 11428855Smckusick #ifdef notdef 11438855Smckusick x = (x*width + (DWIDTH/2)) / DWIDTH; 11448855Smckusick y = (y*width + (DWIDTH/2)) / DWIDTH; 11458855Smckusick #endif 11468855Smckusick max = x+y; 11478855Smckusick while (x < max) line[x++] = '#'; 11488855Smckusick pc += 2; 11498855Smckusick if (trace) 11508855Smckusick printf("x=%d, y=%d, max=%d\n",x,y,max); 11518855Smckusick } 11528855Smckusick } 11538855Smckusick } 11548855Smckusick 11558855Smckusick exit(0); 11568855Smckusick } 1157