Commit | Line | Data |
---|---|---|
55bcbe92 MH |
1 | /* |
2 | * banner - prints large signs | |
3 | * banner [-w#] [-d] [-t] message ... | |
4 | */ | |
5 | ||
6 | #include <stdio.h> | |
7 | #define dir(f) "/e1/mrh/ucb/lib/f" | |
8 | #define INDTBL dir(ban.dat.indtbl) | |
9 | #define OBJECT dir(ban.dat.object) | |
10 | #define MAXMSG 100 | |
11 | #define DWIDTH 132 | |
12 | #define NCHARS 128 | |
13 | #define NBYTES 9271 | |
14 | ||
15 | /* Pointers into data_table for each ASCII char */ | |
16 | int asc_ptr[NCHARS] = { | |
17 | /* ^@ */ 0, 0, 0, 0, 0, 0, 0, 0, | |
18 | /* ^H */ 0, 0, 0, 0, 0, 0, 0, 0, | |
19 | /* ^P */ 0, 0, 0, 0, 0, 0, 0, 0, | |
20 | /* ^X */ 0, 0, 0, 0, 0, 0, 0, 0, | |
21 | /* */ 1, 3, 50, 81, 104, 281, 483, 590, | |
22 | /* ( */ 621, 685, 749, 851, 862, 893, 898, 921, | |
23 | /* 0 */1019, 1150, 1200, 1419, 1599, 1744, 1934, 2111, | |
24 | /* 8 */2235, 2445, 2622, 2659, 0, 2708, 0, 2715, | |
25 | /* @ */2857, 3072, 3273, 3403, 3560, 3662, 3730, 3785, | |
26 | /* H */3965, 4000, 4015, 4115, 4281, 4314, 4432, 4548, | |
27 | /* P */4709, 4790, 4999, 5188, 5397, 5448, 5576, 5710, | |
28 | /* X */5892, 6106, 6257, 0, 0, 0, 0, 0, | |
29 | /* ` */ 50, 6503, 6642, 6733, 6837, 6930, 7073, 7157, | |
30 | /* h */7380, 7452, 7499, 7584, 7689, 7702, 7797, 7869, | |
31 | /* p */7978, 8069, 8160, 8222, 8381, 8442, 8508, 8605, | |
32 | /* x */8732, 8888, 9016, 0, 0, 0, 0, 0 | |
33 | }; | |
34 | ||
35 | /* | |
36 | * Table of stuff to print. Format: | |
37 | * 128+n -> print current line n times. | |
38 | * 64+n -> this is last byte of char. | |
39 | * else, put m chars at position n (where m | |
40 | * is the next elt in array) and goto second | |
41 | * next element in array. | |
42 | */ | |
43 | char data_table[NBYTES] = { | |
44 | /* 0 1 2 3 4 5 6 7 8 9 */ | |
45 | /* 0 */ 129, 227, 130, 34, 6, 90, 19, 129, 32, 10, | |
46 | /* 10 */ 74, 40, 129, 31, 12, 64, 53, 129, 30, 14, | |
47 | /* 20 */ 54, 65, 129, 30, 14, 53, 67, 129, 30, 14, | |
48 | /* 30 */ 54, 65, 129, 31, 12, 64, 53, 129, 32, 10, | |
49 | /* 40 */ 74, 40, 129, 34, 6, 90, 19, 129, 194, 130, | |
50 | /* 50 */ 99, 9, 129, 97, 14, 129, 96, 18, 129, 95, | |
51 | /* 60 */ 22, 129, 95, 16, 117, 2, 129, 95, 14, 129, | |
52 | /* 70 */ 96, 11, 129, 97, 9, 129, 99, 6, 129, 194, | |
53 | /* 80 */ 129, 87, 4, 101, 4, 131, 82, 28, 131, 87, | |
54 | /* 90 */ 4, 101, 4, 133, 82, 28, 131, 87, 4, 101, | |
55 | /* 100 */ 4, 131, 193, 129, 39, 1, 84, 27, 129, 38, | |
56 | /* 110 */ 3, 81, 32, 129, 37, 5, 79, 35, 129, 36, | |
57 | /* 120 */ 5, 77, 38, 129, 35, 5, 76, 40, 129, 34, | |
58 | /* 130 */ 5, 75, 21, 103, 14, 129, 33, 5, 74, 19, | |
59 | /* 140 */ 107, 11, 129, 32, 5, 73, 17, 110, 9, 129, | |
60 | /* 150 */ 32, 4, 73, 16, 112, 7, 129, 31, 4, 72, | |
61 | /* 160 */ 15, 114, 6, 129, 31, 4, 72, 14, 115, 5, | |
62 | /* 170 */ 129, 30, 4, 71, 15, 116, 5, 129, 27, 97, | |
63 | /* 180 */ 131, 30, 4, 69, 14, 117, 4, 129, 30, 4, | |
64 | /* 190 */ 68, 15, 117, 4, 132, 30, 4, 68, 14, 117, | |
65 | /* 200 */ 4, 129, 27, 97, 131, 30, 5, 65, 15, 116, | |
66 | /* 210 */ 5, 129, 31, 4, 65, 14, 116, 4, 129, 31, | |
67 | /* 220 */ 6, 64, 15, 116, 4, 129, 32, 7, 62, 16, | |
68 | /* 230 */ 115, 4, 129, 32, 9, 61, 17, 114, 5, 129, | |
69 | /* 240 */ 33, 11, 58, 19, 113, 5, 129, 34, 14, 55, | |
70 | /* 250 */ 21, 112, 5, 129, 35, 40, 111, 5, 129, 36, | |
71 | /* 260 */ 38, 110, 5, 129, 37, 35, 109, 5, 129, 38, | |
72 | /* 270 */ 32, 110, 3, 129, 40, 27, 111, 1, 129, 193, | |
73 | /* 280 */ 129, 30, 4, 103, 9, 129, 30, 7, 100, 15, | |
74 | /* 290 */ 129, 30, 10, 99, 17, 129, 33, 10, 97, 6, | |
75 | /* 300 */ 112, 6, 129, 36, 10, 96, 5, 114, 5, 129, | |
76 | /* 310 */ 39, 10, 96, 4, 115, 4, 129, 42, 10, 95, | |
77 | /* 320 */ 4, 116, 4, 129, 45, 10, 95, 3, 117, 3, | |
78 | /* 330 */ 129, 48, 10, 95, 3, 117, 3, 129, 51, 10, | |
79 | /* 340 */ 95, 4, 116, 4, 129, 54, 10, 96, 4, 115, | |
80 | /* 350 */ 4, 129, 57, 10, 96, 5, 114, 5, 129, 60, | |
81 | /* 360 */ 10, 97, 6, 112, 6, 129, 63, 10, 99, 17, | |
82 | /* 370 */ 129, 66, 10, 100, 15, 129, 69, 10, 103, 9, | |
83 | /* 380 */ 129, 39, 9, 72, 10, 129, 36, 15, 75, 10, | |
84 | /* 390 */ 129, 35, 17, 78, 10, 129, 33, 6, 48, 6, | |
85 | /* 400 */ 81, 10, 129, 32, 5, 50, 5, 84, 10, 129, | |
86 | /* 410 */ 32, 4, 51, 4, 87, 10, 129, 31, 4, 52, | |
87 | /* 420 */ 4, 90, 10, 129, 31, 3, 53, 3, 93, 10, | |
88 | /* 430 */ 129, 31, 3, 53, 3, 96, 10, 129, 31, 4, | |
89 | /* 440 */ 52, 4, 99, 10, 129, 32, 4, 51, 4, 102, | |
90 | /* 450 */ 10, 129, 32, 5, 50, 5, 105, 10, 129, 33, | |
91 | /* 460 */ 6, 48, 6, 108, 10, 129, 35, 17, 111, 10, | |
92 | /* 470 */ 129, 36, 15, 114, 7, 129, 40, 9, 118, 4, | |
93 | /* 480 */ 129, 193, 129, 48, 18, 129, 43, 28, 129, 41, | |
94 | /* 490 */ 32, 129, 39, 36, 129, 37, 40, 129, 35, 44, | |
95 | /* 500 */ 129, 34, 46, 129, 33, 13, 68, 13, 129, 32, | |
96 | /* 510 */ 9, 73, 9, 129, 32, 7, 75, 7, 129, 31, | |
97 | /* 520 */ 6, 77, 6, 129, 31, 5, 78, 5, 129, 30, | |
98 | /* 530 */ 5, 79, 5, 129, 20, 74, 132, 30, 4, 80, | |
99 | /* 540 */ 4, 129, 31, 3, 79, 4, 129, 31, 4, 79, | |
100 | /* 550 */ 4, 129, 32, 3, 78, 4, 129, 32, 4, 76, | |
101 | /* 560 */ 6, 129, 33, 4, 74, 7, 129, 34, 4, 72, | |
102 | /* 570 */ 8, 129, 35, 5, 72, 7, 129, 37, 5, 73, | |
103 | /* 580 */ 4, 129, 39, 4, 74, 1, 129, 129, 193, 130, | |
104 | /* 590 */ 111, 6, 129, 109, 10, 129, 108, 12, 129, 107, | |
105 | /* 600 */ 14, 129, 97, 2, 105, 16, 129, 99, 22, 129, | |
106 | /* 610 */ 102, 18, 129, 105, 14, 129, 108, 9, 129, 194, | |
107 | /* 620 */ 130, 63, 25, 129, 57, 37, 129, 52, 47, 129, | |
108 | /* 630 */ 48, 55, 129, 44, 63, 129, 41, 69, 129, 38, | |
109 | /* 640 */ 75, 129, 36, 79, 129, 34, 83, 129, 33, 28, | |
110 | /* 650 */ 90, 28, 129, 32, 23, 96, 23, 129, 32, 17, | |
111 | /* 660 */ 102, 17, 129, 31, 13, 107, 13, 129, 30, 9, | |
112 | /* 670 */ 112, 9, 129, 30, 5, 116, 5, 129, 30, 1, | |
113 | /* 680 */ 120, 1, 129, 194, 130, 30, 1, 120, 1, 129, | |
114 | /* 690 */ 30, 5, 116, 5, 129, 30, 9, 112, 9, 129, | |
115 | /* 700 */ 31, 13, 107, 13, 129, 32, 17, 102, 17, 129, | |
116 | /* 710 */ 32, 23, 96, 23, 129, 33, 28, 90, 28, 129, | |
117 | /* 720 */ 34, 83, 129, 36, 79, 129, 38, 75, 129, 41, | |
118 | /* 730 */ 69, 129, 44, 63, 129, 48, 55, 129, 52, 47, | |
119 | /* 740 */ 129, 57, 37, 129, 63, 25, 129, 194, 129, 80, | |
120 | /* 750 */ 4, 130, 80, 4, 129, 68, 2, 80, 4, 94, | |
121 | /* 760 */ 2, 129, 66, 6, 80, 4, 92, 6, 129, 67, | |
122 | /* 770 */ 7, 80, 4, 90, 7, 129, 69, 7, 80, 4, | |
123 | /* 780 */ 88, 7, 129, 71, 6, 80, 4, 87, 6, 129, | |
124 | /* 790 */ 72, 20, 129, 74, 16, 129, 76, 12, 129, 62, | |
125 | /* 800 */ 40, 131, 76, 12, 129, 74, 16, 129, 72, 20, | |
126 | /* 810 */ 129, 71, 6, 80, 4, 87, 6, 129, 69, 7, | |
127 | /* 820 */ 80, 4, 88, 7, 129, 67, 7, 80, 4, 90, | |
128 | /* 830 */ 7, 129, 66, 6, 80, 4, 92, 6, 129, 68, | |
129 | /* 840 */ 2, 80, 4, 94, 2, 129, 80, 4, 130, 193, | |
130 | /* 850 */ 129, 60, 4, 139, 41, 42, 131, 60, 4, 139, | |
131 | /* 860 */ 193, 130, 34, 6, 129, 32, 10, 129, 31, 12, | |
132 | /* 870 */ 129, 30, 14, 129, 20, 2, 28, 16, 129, 22, | |
133 | /* 880 */ 22, 129, 24, 19, 129, 27, 15, 129, 31, 9, | |
134 | /* 890 */ 129, 194, 129, 60, 4, 152, 193, 130, 34, 6, | |
135 | /* 900 */ 129, 32, 10, 129, 31, 12, 129, 30, 14, 131, | |
136 | /* 910 */ 31, 12, 129, 32, 10, 129, 34, 6, 129, 194, | |
137 | /* 920 */ 129, 30, 4, 129, 30, 7, 129, 30, 10, 129, | |
138 | /* 930 */ 33, 10, 129, 36, 10, 129, 39, 10, 129, 42, | |
139 | /* 940 */ 10, 129, 45, 10, 129, 48, 10, 129, 51, 10, | |
140 | /* 950 */ 129, 54, 10, 129, 57, 10, 129, 60, 10, 129, | |
141 | /* 960 */ 63, 10, 129, 66, 10, 129, 69, 10, 129, 72, | |
142 | /* 970 */ 10, 129, 75, 10, 129, 78, 10, 129, 81, 10, | |
143 | /* 980 */ 129, 84, 10, 129, 87, 10, 129, 90, 10, 129, | |
144 | /* 990 */ 93, 10, 129, 96, 10, 129, 99, 10, 129, 102, | |
145 | /* 1000 */ 10, 129, 105, 10, 129, 108, 10, 129, 111, 10, | |
146 | /* 1010 */ 129, 114, 7, 129, 117, 4, 129, 193, 129, 60, | |
147 | /* 1020 */ 31, 129, 53, 45, 129, 49, 53, 129, 46, 59, | |
148 | /* 1030 */ 129, 43, 65, 129, 41, 69, 129, 39, 73, 129, | |
149 | /* 1040 */ 37, 77, 129, 36, 79, 129, 35, 15, 101, 15, | |
150 | /* 1050 */ 129, 34, 11, 106, 11, 129, 33, 9, 109, 9, | |
151 | /* 1060 */ 129, 32, 7, 112, 7, 129, 31, 6, 114, 6, | |
152 | /* 1070 */ 129, 31, 5, 115, 5, 129, 30, 5, 116, 5, | |
153 | /* 1080 */ 129, 30, 4, 117, 4, 132, 30, 5, 116, 5, | |
154 | /* 1090 */ 129, 31, 5, 115, 5, 129, 31, 6, 114, 6, | |
155 | /* 1100 */ 129, 32, 7, 112, 7, 129, 33, 9, 109, 9, | |
156 | /* 1110 */ 129, 34, 11, 106, 11, 129, 35, 15, 101, 15, | |
157 | /* 1120 */ 129, 36, 79, 129, 37, 77, 129, 39, 73, 129, | |
158 | /* 1130 */ 41, 69, 129, 43, 65, 129, 46, 59, 129, 49, | |
159 | /* 1140 */ 53, 129, 53, 45, 129, 60, 31, 129, 193, 129, | |
160 | /* 1150 */ 30, 4, 129, 30, 4, 100, 1, 129, 30, 4, | |
161 | /* 1160 */ 100, 3, 129, 30, 4, 100, 5, 129, 30, 76, | |
162 | /* 1170 */ 129, 30, 78, 129, 30, 80, 129, 30, 82, 129, | |
163 | /* 1180 */ 30, 83, 129, 30, 85, 129, 30, 87, 129, 30, | |
164 | /* 1190 */ 89, 129, 30, 91, 129, 30, 4, 132, 193, 129, | |
165 | /* 1200 */ 30, 3, 129, 30, 7, 129, 30, 10, 112, 1, | |
166 | /* 1210 */ 129, 30, 13, 112, 2, 129, 30, 16, 112, 3, | |
167 | /* 1220 */ 129, 30, 18, 111, 5, 129, 30, 21, 111, 6, | |
168 | /* 1230 */ 129, 30, 23, 112, 6, 129, 30, 14, 47, 8, | |
169 | /* 1240 */ 113, 6, 129, 30, 14, 49, 8, 114, 5, 129, | |
170 | /* 1250 */ 30, 14, 51, 8, 115, 5, 129, 30, 14, 53, | |
171 | /* 1260 */ 8, 116, 4, 129, 30, 14, 55, 8, 116, 5, | |
172 | /* 1270 */ 129, 30, 14, 56, 9, 117, 4, 129, 30, 14, | |
173 | /* 1280 */ 57, 9, 117, 4, 129, 30, 14, 58, 10, 117, | |
174 | /* 1290 */ 4, 129, 30, 14, 59, 10, 117, 4, 129, 30, | |
175 | /* 1300 */ 14, 60, 11, 117, 4, 129, 30, 14, 61, 11, | |
176 | /* 1310 */ 116, 5, 129, 30, 14, 62, 11, 116, 5, 129, | |
177 | /* 1320 */ 30, 14, 63, 12, 115, 6, 129, 30, 14, 64, | |
178 | /* 1330 */ 13, 114, 7, 129, 30, 14, 65, 13, 113, 8, | |
179 | /* 1340 */ 129, 30, 14, 65, 15, 111, 9, 129, 30, 14, | |
180 | /* 1350 */ 66, 16, 109, 11, 129, 30, 14, 67, 17, 107, | |
181 | /* 1360 */ 12, 129, 30, 14, 68, 20, 103, 16, 129, 30, | |
182 | /* 1370 */ 14, 69, 49, 129, 30, 14, 70, 47, 129, 30, | |
183 | /* 1380 */ 14, 71, 45, 129, 30, 14, 73, 42, 129, 30, | |
184 | /* 1390 */ 15, 75, 38, 129, 33, 12, 77, 34, 129, 36, | |
185 | /* 1400 */ 10, 79, 30, 129, 40, 6, 82, 23, 129, 44, | |
186 | /* 1410 */ 3, 86, 15, 129, 47, 1, 129, 193, 129, 129, | |
187 | /* 1420 */ 38, 3, 129, 37, 5, 111, 1, 129, 36, 7, | |
188 | /* 1430 */ 111, 2, 129, 35, 9, 110, 5, 129, 34, 8, | |
189 | /* 1440 */ 110, 6, 129, 33, 7, 109, 8, 129, 32, 7, | |
190 | /* 1450 */ 110, 8, 129, 32, 6, 112, 7, 129, 31, 6, | |
191 | /* 1460 */ 113, 6, 129, 31, 5, 114, 6, 129, 30, 5, | |
192 | /* 1470 */ 115, 5, 129, 30, 5, 116, 4, 129, 30, 4, | |
193 | /* 1480 */ 117, 4, 131, 30, 4, 117, 4, 129, 30, 4, | |
194 | /* 1490 */ 79, 2, 117, 4, 129, 30, 5, 78, 4, 117, | |
195 | /* 1500 */ 4, 129, 30, 5, 77, 6, 116, 5, 129, 30, | |
196 | /* 1510 */ 6, 76, 8, 115, 6, 129, 30, 7, 75, 11, | |
197 | /* 1520 */ 114, 6, 129, 30, 8, 73, 15, 112, 8, 129, | |
198 | /* 1530 */ 31, 9, 71, 19, 110, 9, 129, 31, 11, 68, | |
199 | /* 1540 */ 26, 107, 12, 129, 32, 13, 65, 14, 82, 36, | |
200 | /* 1550 */ 129, 32, 16, 61, 17, 83, 34, 129, 33, 44, | |
201 | /* 1560 */ 84, 32, 129, 34, 42, 85, 30, 129, 35, 40, | |
202 | /* 1570 */ 87, 27, 129, 36, 38, 89, 23, 129, 38, 34, | |
203 | /* 1580 */ 92, 17, 129, 40, 30, 95, 11, 129, 42, 26, | |
204 | /* 1590 */ 129, 45, 20, 129, 49, 11, 129, 193, 129, 49, | |
205 | /* 1600 */ 1, 129, 49, 4, 129, 49, 6, 129, 49, 8, | |
206 | /* 1610 */ 129, 49, 10, 129, 49, 12, 129, 49, 14, 129, | |
207 | /* 1620 */ 49, 17, 129, 49, 19, 129, 49, 21, 129, 49, | |
208 | /* 1630 */ 23, 129, 49, 14, 65, 9, 129, 49, 14, 67, | |
209 | /* 1640 */ 9, 129, 49, 14, 69, 9, 129, 49, 14, 71, | |
210 | /* 1650 */ 10, 129, 49, 14, 74, 9, 129, 49, 14, 76, | |
211 | /* 1660 */ 9, 129, 49, 14, 78, 9, 129, 49, 14, 80, | |
212 | /* 1670 */ 9, 129, 49, 14, 82, 9, 129, 49, 14, 84, | |
213 | /* 1680 */ 9, 129, 30, 4, 49, 14, 86, 10, 129, 30, | |
214 | /* 1690 */ 4, 49, 14, 89, 9, 129, 30, 4, 49, 14, | |
215 | /* 1700 */ 91, 9, 129, 30, 4, 49, 14, 93, 9, 129, | |
216 | /* 1710 */ 30, 74, 129, 30, 76, 129, 30, 78, 129, 30, | |
217 | /* 1720 */ 81, 129, 30, 83, 129, 30, 85, 129, 30, 87, | |
218 | /* 1730 */ 129, 30, 89, 129, 30, 91, 129, 30, 4, 49, | |
219 | /* 1740 */ 14, 132, 193, 129, 37, 1, 129, 36, 3, 77, | |
220 | /* 1750 */ 3, 129, 35, 5, 78, 11, 129, 34, 7, 78, | |
221 | /* 1760 */ 21, 129, 33, 7, 79, 29, 129, 32, 7, 79, | |
222 | /* 1770 */ 38, 129, 32, 6, 80, 4, 92, 29, 129, 31, | |
223 | /* 1780 */ 6, 80, 5, 102, 19, 129, 31, 5, 80, 6, | |
224 | /* 1790 */ 107, 14, 129, 31, 4, 81, 5, 107, 14, 129, | |
225 | /* 1800 */ 30, 5, 81, 6, 107, 14, 129, 30, 4, 81, | |
226 | /* 1810 */ 6, 107, 14, 130, 30, 4, 81, 7, 107, 14, | |
227 | /* 1820 */ 129, 30, 4, 80, 8, 107, 14, 130, 30, 5, | |
228 | /* 1830 */ 80, 8, 107, 14, 129, 30, 5, 79, 9, 107, | |
229 | /* 1840 */ 14, 129, 31, 5, 79, 9, 107, 14, 129, 31, | |
230 | /* 1850 */ 6, 78, 10, 107, 14, 129, 32, 6, 76, 11, | |
231 | /* 1860 */ 107, 14, 129, 32, 8, 74, 13, 107, 14, 129, | |
232 | /* 1870 */ 33, 10, 71, 16, 107, 14, 129, 33, 15, 67, | |
233 | /* 1880 */ 19, 107, 14, 129, 34, 51, 107, 14, 129, 35, | |
234 | /* 1890 */ 49, 107, 14, 129, 36, 47, 107, 14, 129, 37, | |
235 | /* 1900 */ 45, 107, 14, 129, 39, 41, 107, 14, 129, 41, | |
236 | /* 1910 */ 37, 107, 14, 129, 44, 32, 107, 14, 129, 47, | |
237 | /* 1920 */ 25, 111, 10, 129, 51, 16, 115, 6, 129, 119, | |
238 | /* 1930 */ 2, 129, 193, 129, 56, 39, 129, 51, 49, 129, | |
239 | /* 1940 */ 47, 57, 129, 44, 63, 129, 42, 67, 129, 40, | |
240 | /* 1950 */ 71, 129, 38, 75, 129, 37, 77, 129, 35, 81, | |
241 | /* 1960 */ 129, 34, 16, 74, 5, 101, 16, 129, 33, 11, | |
242 | /* 1970 */ 76, 5, 107, 11, 129, 32, 9, 77, 5, 110, | |
243 | /* 1980 */ 9, 129, 32, 7, 79, 4, 112, 7, 129, 31, | |
244 | /* 1990 */ 6, 80, 4, 114, 6, 129, 31, 5, 81, 4, | |
245 | /* 2000 */ 115, 5, 129, 30, 5, 82, 4, 116, 5, 129, | |
246 | /* 2010 */ 30, 4, 82, 4, 116, 5, 129, 30, 4, 82, | |
247 | /* 2020 */ 5, 117, 4, 131, 30, 5, 82, 5, 117, 4, | |
248 | /* 2030 */ 129, 31, 5, 81, 6, 117, 4, 129, 31, 6, | |
249 | /* 2040 */ 80, 7, 117, 4, 129, 32, 7, 79, 8, 117, | |
250 | /* 2050 */ 4, 129, 32, 9, 77, 9, 116, 5, 129, 33, | |
251 | /* 2060 */ 11, 75, 11, 116, 4, 129, 34, 16, 69, 16, | |
252 | /* 2070 */ 115, 5, 129, 35, 49, 114, 5, 129, 37, 46, | |
253 | /* 2080 */ 113, 5, 129, 38, 44, 112, 6, 129, 40, 41, | |
254 | /* 2090 */ 112, 5, 129, 42, 37, 113, 3, 129, 44, 33, | |
255 | /* 2100 */ 114, 1, 129, 47, 27, 129, 51, 17, 129, 193, | |
256 | /* 2110 */ 129, 103, 2, 129, 103, 6, 129, 104, 9, 129, | |
257 | /* 2120 */ 105, 12, 129, 106, 15, 129, 107, 14, 135, 30, | |
258 | /* 2130 */ 10, 107, 14, 129, 30, 17, 107, 14, 129, 30, | |
259 | /* 2140 */ 25, 107, 14, 129, 30, 31, 107, 14, 129, 30, | |
260 | /* 2150 */ 37, 107, 14, 129, 30, 42, 107, 14, 129, 30, | |
261 | /* 2160 */ 46, 107, 14, 129, 30, 50, 107, 14, 129, 30, | |
262 | /* 2170 */ 54, 107, 14, 129, 30, 58, 107, 14, 129, 59, | |
263 | /* 2180 */ 32, 107, 14, 129, 64, 30, 107, 14, 129, 74, | |
264 | /* 2190 */ 23, 107, 14, 129, 81, 18, 107, 14, 129, 86, | |
265 | /* 2200 */ 16, 107, 14, 129, 91, 14, 107, 14, 129, 96, | |
266 | /* 2210 */ 25, 129, 100, 21, 129, 104, 17, 129, 107, 14, | |
267 | /* 2220 */ 129, 111, 10, 129, 114, 7, 129, 117, 4, 129, | |
268 | /* 2230 */ 120, 1, 129, 193, 129, 48, 13, 129, 44, 21, | |
269 | /* 2240 */ 129, 42, 26, 129, 40, 30, 92, 12, 129, 38, | |
270 | /* 2250 */ 34, 88, 20, 129, 36, 37, 86, 25, 129, 35, | |
271 | /* 2260 */ 39, 84, 29, 129, 34, 13, 63, 12, 82, 33, | |
272 | /* 2270 */ 129, 33, 11, 67, 9, 80, 36, 129, 32, 9, | |
273 | /* 2280 */ 70, 7, 79, 38, 129, 31, 8, 72, 46, 129, | |
274 | /* 2290 */ 30, 7, 74, 22, 108, 11, 129, 30, 6, 75, | |
275 | /* 2300 */ 19, 111, 9, 129, 30, 5, 75, 17, 113, 7, | |
276 | /* 2310 */ 129, 30, 5, 74, 16, 114, 6, 129, 30, 4, | |
277 | /* 2320 */ 73, 16, 115, 6, 129, 30, 4, 72, 16, 116, | |
278 | /* 2330 */ 5, 129, 30, 4, 72, 15, 117, 4, 129, 30, | |
279 | /* 2340 */ 4, 71, 16, 117, 4, 129, 30, 5, 70, 16, | |
280 | /* 2350 */ 117, 4, 129, 30, 5, 70, 15, 117, 4, 129, | |
281 | /* 2360 */ 30, 6, 69, 15, 116, 5, 129, 30, 7, 68, | |
282 | /* 2370 */ 17, 115, 5, 129, 30, 9, 67, 19, 114, 6, | |
283 | /* 2380 */ 129, 30, 10, 65, 22, 113, 6, 129, 31, 12, | |
284 | /* 2390 */ 63, 27, 110, 9, 129, 32, 14, 60, 21, 84, | |
285 | /* 2400 */ 9, 106, 12, 129, 33, 47, 85, 32, 129, 34, | |
286 | /* 2410 */ 45, 86, 30, 129, 35, 43, 88, 26, 129, 36, | |
287 | /* 2420 */ 40, 90, 22, 129, 38, 36, 93, 17, 129, 40, | |
288 | /* 2430 */ 32, 96, 10, 129, 42, 28, 129, 44, 23, 129, | |
289 | /* 2440 */ 48, 15, 129, 193, 129, 83, 17, 129, 77, 27, | |
290 | /* 2450 */ 129, 36, 1, 74, 33, 129, 35, 3, 72, 37, | |
291 | /* 2460 */ 129, 34, 5, 70, 41, 129, 33, 6, 69, 44, | |
292 | /* 2470 */ 129, 33, 5, 68, 46, 129, 32, 5, 67, 49, | |
293 | /* 2480 */ 129, 31, 5, 66, 17, 101, 16, 129, 31, 5, | |
294 | /* 2490 */ 66, 11, 108, 10, 129, 30, 4, 65, 9, 110, | |
295 | /* 2500 */ 9, 129, 30, 4, 64, 8, 112, 7, 129, 30, | |
296 | /* 2510 */ 4, 64, 7, 114, 6, 129, 30, 4, 64, 6, | |
297 | /* 2520 */ 115, 5, 129, 30, 4, 64, 5, 116, 5, 129, | |
298 | /* 2530 */ 30, 4, 64, 5, 117, 4, 131, 30, 4, 65, | |
299 | /* 2540 */ 4, 117, 4, 129, 30, 5, 65, 4, 116, 5, | |
300 | /* 2550 */ 129, 31, 5, 66, 4, 115, 5, 129, 31, 6, | |
301 | /* 2560 */ 67, 4, 114, 6, 129, 32, 7, 68, 4, 112, | |
302 | /* 2570 */ 7, 129, 32, 9, 69, 5, 110, 9, 129, 33, | |
303 | /* 2580 */ 11, 70, 5, 107, 11, 129, 34, 16, 72, 5, | |
304 | /* 2590 */ 101, 16, 129, 35, 81, 129, 37, 77, 129, 38, | |
305 | /* 2600 */ 75, 129, 40, 71, 129, 42, 67, 129, 44, 63, | |
306 | /* 2610 */ 129, 47, 57, 129, 51, 49, 129, 56, 39, 129, | |
307 | /* 2620 */ 193, 130, 34, 6, 74, 6, 129, 32, 10, 72, | |
308 | /* 2630 */ 10, 129, 31, 12, 71, 12, 129, 30, 14, 70, | |
309 | /* 2640 */ 14, 131, 31, 12, 71, 12, 129, 32, 10, 72, | |
310 | /* 2650 */ 10, 129, 34, 6, 74, 6, 129, 194, 130, 34, | |
311 | /* 2660 */ 6, 74, 6, 129, 32, 10, 72, 10, 129, 31, | |
312 | /* 2670 */ 12, 71, 12, 129, 30, 14, 70, 14, 129, 20, | |
313 | /* 2680 */ 2, 28, 16, 70, 14, 129, 22, 22, 70, 14, | |
314 | /* 2690 */ 129, 24, 19, 71, 12, 129, 27, 15, 72, 10, | |
315 | /* 2700 */ 129, 31, 9, 74, 6, 129, 194, 129, 53, 4, | |
316 | /* 2710 */ 63, 4, 152, 193, 130, 99, 7, 129, 97, 13, | |
317 | /* 2720 */ 129, 96, 16, 129, 96, 18, 129, 96, 19, 129, | |
318 | /* 2730 */ 97, 19, 129, 99, 6, 110, 7, 129, 112, 6, | |
319 | /* 2740 */ 129, 114, 5, 129, 34, 6, 57, 5, 115, 4, | |
320 | /* 2750 */ 129, 32, 10, 54, 12, 116, 4, 129, 31, 12, | |
321 | /* 2760 */ 53, 16, 117, 3, 129, 30, 14, 52, 20, 117, | |
322 | /* 2770 */ 4, 129, 30, 14, 52, 23, 117, 4, 129, 30, | |
323 | /* 2780 */ 14, 52, 25, 117, 4, 129, 31, 12, 52, 27, | |
324 | /* 2790 */ 117, 4, 129, 32, 10, 53, 10, 70, 11, 116, | |
325 | /* 2800 */ 5, 129, 34, 6, 55, 5, 73, 10, 115, 6, | |
326 | /* 2810 */ 129, 74, 11, 114, 7, 129, 75, 12, 112, 9, | |
327 | /* 2820 */ 129, 76, 13, 110, 10, 129, 77, 16, 106, 14, | |
328 | /* 2830 */ 129, 78, 41, 129, 80, 38, 129, 81, 36, 129, | |
329 | /* 2840 */ 82, 34, 129, 84, 30, 129, 86, 26, 129, 88, | |
330 | /* 2850 */ 22, 129, 92, 14, 129, 194, 129, 55, 15, 129, | |
331 | /* 2860 */ 50, 25, 129, 47, 32, 129, 45, 13, 70, 12, | |
332 | /* 2870 */ 129, 43, 9, 76, 10, 129, 42, 6, 79, 8, | |
333 | /* 2880 */ 129, 41, 5, 81, 7, 129, 40, 4, 84, 6, | |
334 | /* 2890 */ 129, 39, 4, 59, 12, 85, 6, 129, 38, 4, | |
335 | /* 2900 */ 55, 19, 87, 5, 129, 37, 4, 53, 23, 88, | |
336 | /* 2910 */ 4, 129, 36, 4, 51, 8, 71, 6, 89, 4, | |
337 | /* 2920 */ 129, 36, 4, 51, 6, 73, 4, 89, 4, 129, | |
338 | /* 2930 */ 36, 4, 50, 6, 74, 4, 90, 3, 129, 35, | |
339 | /* 2940 */ 4, 50, 5, 75, 3, 90, 4, 129, 35, 4, | |
340 | /* 2950 */ 50, 4, 75, 4, 90, 4, 131, 35, 4, 50, | |
341 | /* 2960 */ 5, 75, 4, 90, 4, 129, 36, 4, 51, 5, | |
342 | /* 2970 */ 75, 4, 90, 4, 129, 36, 4, 51, 6, 75, | |
343 | /* 2980 */ 4, 90, 4, 129, 36, 4, 53, 26, 90, 4, | |
344 | /* 2990 */ 129, 37, 4, 54, 25, 90, 4, 129, 37, 4, | |
345 | /* 3000 */ 52, 27, 90, 3, 129, 38, 4, 52, 4, 89, | |
346 | /* 3010 */ 4, 129, 39, 4, 51, 4, 88, 4, 129, 40, | |
347 | /* 3020 */ 4, 50, 4, 87, 5, 129, 41, 4, 50, 4, | |
348 | /* 3030 */ 86, 5, 129, 42, 4, 50, 4, 85, 5, 129, | |
349 | /* 3040 */ 43, 3, 50, 4, 83, 6, 129, 44, 2, 51, | |
350 | /* 3050 */ 5, 80, 7, 129, 46, 1, 52, 6, 76, 9, | |
351 | /* 3060 */ 129, 54, 28, 129, 56, 23, 129, 60, 16, 129, | |
352 | /* 3070 */ 193, 129, 30, 4, 132, 30, 5, 129, 30, 8, | |
353 | /* 3080 */ 129, 30, 12, 129, 30, 16, 129, 30, 4, 37, | |
354 | /* 3090 */ 12, 129, 30, 4, 41, 12, 129, 30, 4, 44, | |
355 | /* 3100 */ 13, 129, 30, 4, 48, 13, 129, 52, 13, 129, | |
356 | /* 3110 */ 56, 12, 129, 58, 14, 129, 58, 4, 64, 12, | |
357 | /* 3120 */ 129, 58, 4, 68, 12, 129, 58, 4, 72, 12, | |
358 | /* 3130 */ 129, 58, 4, 75, 13, 129, 58, 4, 79, 13, | |
359 | /* 3140 */ 129, 58, 4, 83, 13, 129, 58, 4, 87, 13, | |
360 | /* 3150 */ 129, 58, 4, 91, 12, 129, 58, 4, 95, 12, | |
361 | /* 3160 */ 129, 58, 4, 96, 15, 129, 58, 4, 93, 22, | |
362 | /* 3170 */ 129, 58, 4, 89, 30, 129, 58, 4, 85, 36, | |
363 | /* 3180 */ 129, 58, 4, 81, 38, 129, 58, 4, 77, 38, | |
364 | /* 3190 */ 129, 58, 4, 73, 38, 129, 58, 4, 70, 37, | |
365 | /* 3200 */ 129, 58, 4, 66, 37, 129, 58, 41, 129, 58, | |
366 | /* 3210 */ 37, 129, 54, 38, 129, 30, 4, 50, 38, 129, | |
367 | /* 3220 */ 30, 4, 46, 38, 129, 30, 4, 42, 38, 129, | |
368 | /* 3230 */ 30, 4, 38, 39, 129, 30, 43, 129, 30, 39, | |
369 | /* 3240 */ 129, 30, 35, 129, 30, 31, 129, 30, 27, 129, | |
370 | /* 3250 */ 30, 24, 129, 30, 20, 129, 30, 16, 129, 30, | |
371 | /* 3260 */ 12, 129, 30, 8, 129, 30, 5, 129, 30, 4, | |
372 | /* 3270 */ 132, 193, 129, 30, 4, 117, 4, 132, 30, 91, | |
373 | /* 3280 */ 137, 30, 4, 80, 4, 117, 4, 138, 30, 4, | |
374 | /* 3290 */ 80, 5, 116, 5, 129, 30, 5, 79, 6, 116, | |
375 | /* 3300 */ 5, 130, 30, 6, 78, 8, 115, 6, 129, 31, | |
376 | /* 3310 */ 6, 77, 9, 115, 6, 129, 31, 7, 76, 11, | |
377 | /* 3320 */ 114, 6, 129, 31, 8, 75, 14, 112, 8, 129, | |
378 | /* 3330 */ 32, 8, 74, 16, 111, 9, 129, 32, 9, 73, | |
379 | /* 3340 */ 19, 109, 10, 129, 33, 10, 71, 24, 106, 13, | |
380 | /* 3350 */ 129, 33, 13, 68, 12, 83, 35, 129, 34, 16, | |
381 | /* 3360 */ 64, 15, 84, 33, 129, 35, 43, 85, 31, 129, | |
382 | /* 3370 */ 36, 41, 86, 29, 129, 37, 39, 88, 25, 129, | |
383 | /* 3380 */ 38, 37, 90, 21, 129, 40, 33, 93, 15, 129, | |
384 | /* 3390 */ 42, 29, 96, 9, 129, 45, 24, 129, 49, 16, | |
385 | /* 3400 */ 129, 193, 129, 63, 25, 129, 57, 37, 129, 53, | |
386 | /* 3410 */ 45, 129, 50, 51, 129, 47, 57, 129, 45, 61, | |
387 | /* 3420 */ 129, 43, 65, 129, 41, 69, 129, 39, 73, 129, | |
388 | /* 3430 */ 38, 25, 92, 21, 129, 36, 21, 97, 18, 129, | |
389 | /* 3440 */ 35, 18, 102, 14, 129, 34, 16, 106, 11, 129, | |
390 | /* 3450 */ 33, 14, 108, 10, 129, 32, 12, 111, 8, 129, | |
391 | /* 3460 */ 32, 10, 113, 6, 129, 31, 10, 114, 6, 129, | |
392 | /* 3470 */ 31, 8, 115, 5, 129, 30, 8, 116, 5, 129, | |
393 | /* 3480 */ 30, 7, 116, 5, 129, 30, 6, 117, 4, 130, | |
394 | /* 3490 */ 30, 5, 117, 4, 131, 31, 4, 116, 5, 129, | |
395 | /* 3500 */ 32, 4, 116, 4, 129, 32, 5, 115, 5, 129, | |
396 | /* 3510 */ 33, 4, 114, 5, 129, 34, 4, 112, 6, 129, | |
397 | /* 3520 */ 35, 4, 110, 7, 129, 37, 4, 107, 9, 129, | |
398 | /* 3530 */ 39, 4, 103, 12, 129, 41, 4, 103, 18, 129, | |
399 | /* 3540 */ 43, 4, 103, 18, 129, 45, 5, 103, 18, 129, | |
400 | /* 3550 */ 48, 5, 103, 18, 129, 51, 1, 129, 193, 129, | |
401 | /* 3560 */ 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, | |
402 | /* 3570 */ 117, 4, 135, 30, 5, 116, 5, 130, 30, 6, | |
403 | /* 3580 */ 115, 6, 130, 31, 6, 114, 6, 129, 31, 7, | |
404 | /* 3590 */ 113, 7, 129, 32, 7, 112, 7, 129, 32, 8, | |
405 | /* 3600 */ 111, 8, 129, 33, 9, 109, 9, 129, 33, 12, | |
406 | /* 3610 */ 106, 12, 129, 34, 13, 104, 13, 129, 35, 15, | |
407 | /* 3620 */ 101, 15, 129, 36, 19, 96, 19, 129, 37, 24, | |
408 | /* 3630 */ 90, 24, 129, 39, 73, 129, 40, 71, 129, 42, | |
409 | /* 3640 */ 67, 129, 44, 63, 129, 46, 59, 129, 49, 53, | |
410 | /* 3650 */ 129, 52, 47, 129, 56, 39, 129, 61, 29, 129, | |
411 | /* 3660 */ 193, 129, 30, 4, 117, 4, 132, 30, 91, 137, | |
412 | /* 3670 */ 30, 4, 80, 4, 117, 4, 140, 30, 4, 79, | |
413 | /* 3680 */ 6, 117, 4, 129, 30, 4, 77, 10, 117, 4, | |
414 | /* 3690 */ 129, 30, 4, 73, 18, 117, 4, 132, 30, 4, | |
415 | /* 3700 */ 117, 4, 130, 30, 5, 116, 5, 130, 30, 7, | |
416 | /* 3710 */ 114, 7, 129, 30, 8, 113, 8, 129, 30, 11, | |
417 | /* 3720 */ 110, 11, 129, 30, 18, 103, 18, 132, 193, 129, | |
418 | /* 3730 */ 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, | |
419 | /* 3740 */ 80, 4, 117, 4, 132, 80, 4, 117, 4, 136, | |
420 | /* 3750 */ 79, 6, 117, 4, 129, 77, 10, 117, 4, 129, | |
421 | /* 3760 */ 73, 18, 117, 4, 132, 117, 4, 130, 116, 5, | |
422 | /* 3770 */ 130, 114, 7, 129, 113, 8, 129, 110, 11, 129, | |
423 | /* 3780 */ 103, 18, 132, 193, 129, 63, 25, 129, 57, 37, | |
424 | /* 3790 */ 129, 53, 45, 129, 50, 51, 129, 47, 57, 129, | |
425 | /* 3800 */ 45, 61, 129, 43, 65, 129, 41, 69, 129, 39, | |
426 | /* 3810 */ 73, 129, 38, 25, 92, 21, 129, 36, 21, 97, | |
427 | /* 3820 */ 18, 129, 35, 18, 102, 14, 129, 34, 16, 106, | |
428 | /* 3830 */ 11, 129, 33, 14, 108, 10, 129, 32, 12, 111, | |
429 | /* 3840 */ 8, 129, 32, 10, 113, 6, 129, 31, 10, 114, | |
430 | /* 3850 */ 6, 129, 31, 8, 115, 5, 129, 30, 8, 116, | |
431 | /* 3860 */ 5, 129, 30, 7, 116, 5, 129, 30, 6, 117, | |
432 | /* 3870 */ 4, 130, 30, 5, 117, 4, 131, 30, 5, 75, | |
433 | /* 3880 */ 4, 116, 5, 129, 31, 5, 75, 4, 116, 4, | |
434 | /* 3890 */ 129, 31, 6, 75, 4, 115, 5, 129, 32, 7, | |
435 | /* 3900 */ 75, 4, 114, 5, 129, 32, 9, 75, 4, 112, | |
436 | /* 3910 */ 6, 129, 33, 11, 75, 4, 110, 7, 129, 34, | |
437 | /* 3920 */ 15, 75, 4, 107, 9, 129, 35, 44, 103, 12, | |
438 | /* 3930 */ 129, 36, 43, 103, 18, 129, 38, 41, 103, 18, | |
439 | /* 3940 */ 129, 39, 40, 103, 18, 129, 41, 38, 103, 18, | |
440 | /* 3950 */ 129, 44, 35, 129, 48, 31, 129, 52, 27, 129, | |
441 | /* 3960 */ 61, 18, 129, 193, 129, 30, 4, 117, 4, 132, | |
442 | /* 3970 */ 30, 91, 137, 30, 4, 80, 4, 117, 4, 132, | |
443 | /* 3980 */ 80, 4, 140, 30, 4, 80, 4, 117, 4, 132, | |
444 | /* 3990 */ 30, 91, 137, 30, 4, 117, 4, 132, 193, 129, | |
445 | /* 4000 */ 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, | |
446 | /* 4010 */ 117, 4, 132, 193, 129, 44, 7, 129, 40, 13, | |
447 | /* 4020 */ 129, 37, 17, 129, 35, 20, 129, 34, 22, 129, | |
448 | /* 4030 */ 33, 23, 129, 32, 24, 129, 32, 23, 129, 31, | |
449 | /* 4040 */ 6, 41, 13, 129, 31, 5, 42, 11, 129, 30, | |
450 | /* 4050 */ 5, 44, 7, 129, 30, 4, 132, 30, 5, 130, | |
451 | /* 4060 */ 31, 5, 129, 31, 6, 117, 4, 129, 31, 8, | |
452 | /* 4070 */ 117, 4, 129, 32, 9, 117, 4, 129, 33, 11, | |
453 | /* 4080 */ 117, 4, 129, 34, 87, 129, 35, 86, 129, 36, | |
454 | /* 4090 */ 85, 129, 37, 84, 129, 38, 83, 129, 40, 81, | |
455 | /* 4100 */ 129, 42, 79, 129, 45, 76, 129, 50, 71, 129, | |
456 | /* 4110 */ 117, 4, 132, 193, 129, 30, 4, 117, 4, 132, | |
457 | /* 4120 */ 30, 91, 137, 30, 4, 76, 8, 117, 4, 129, | |
458 | /* 4130 */ 30, 4, 73, 13, 117, 4, 129, 30, 4, 70, | |
459 | /* 4140 */ 18, 117, 4, 129, 30, 4, 67, 23, 117, 4, | |
460 | /* 4150 */ 129, 65, 26, 129, 62, 31, 129, 59, 35, 129, | |
461 | /* 4160 */ 56, 29, 89, 7, 129, 53, 29, 91, 7, 129, | |
462 | /* 4170 */ 50, 29, 93, 7, 129, 47, 29, 95, 6, 129, | |
463 | /* 4180 */ 30, 4, 45, 29, 96, 7, 129, 30, 4, 42, | |
464 | /* 4190 */ 29, 98, 7, 129, 30, 4, 39, 30, 100, 6, | |
465 | /* 4200 */ 129, 30, 4, 36, 30, 101, 7, 129, 30, 33, | |
466 | /* 4210 */ 103, 7, 117, 4, 129, 30, 30, 105, 6, 117, | |
467 | /* 4220 */ 4, 129, 30, 27, 106, 7, 117, 4, 129, 30, | |
468 | /* 4230 */ 25, 108, 7, 117, 4, 129, 30, 22, 110, 11, | |
469 | /* 4240 */ 129, 30, 19, 111, 10, 129, 30, 16, 113, 8, | |
470 | /* 4250 */ 129, 30, 13, 115, 6, 129, 30, 11, 116, 5, | |
471 | /* 4260 */ 129, 30, 8, 117, 4, 129, 30, 5, 117, 4, | |
472 | /* 4270 */ 129, 30, 4, 117, 4, 130, 30, 4, 130, 193, | |
473 | /* 4280 */ 129, 30, 4, 117, 4, 132, 30, 91, 137, 30, | |
474 | /* 4290 */ 4, 117, 4, 132, 30, 4, 144, 30, 5, 130, | |
475 | /* 4300 */ 30, 7, 129, 30, 8, 129, 30, 11, 129, 30, | |
476 | /* 4310 */ 18, 132, 193, 129, 30, 4, 117, 4, 132, 30, | |
477 | /* 4320 */ 91, 132, 30, 4, 103, 18, 129, 30, 4, 97, | |
478 | /* 4330 */ 24, 129, 30, 4, 92, 29, 129, 30, 4, 87, | |
479 | /* 4340 */ 34, 129, 81, 40, 129, 76, 45, 129, 70, 49, | |
480 | /* 4350 */ 129, 65, 49, 129, 60, 49, 129, 55, 49, 129, | |
481 | /* 4360 */ 50, 48, 129, 44, 49, 129, 39, 48, 129, 33, | |
482 | /* 4370 */ 49, 129, 30, 47, 129, 34, 37, 129, 40, 26, | |
483 | /* 4380 */ 129, 46, 19, 129, 52, 19, 129, 58, 19, 129, | |
484 | /* 4390 */ 64, 19, 129, 70, 19, 129, 76, 19, 129, 82, | |
485 | /* 4400 */ 19, 129, 30, 4, 88, 18, 129, 30, 4, 94, | |
486 | /* 4410 */ 18, 129, 30, 4, 100, 18, 129, 30, 4, 106, | |
487 | /* 4420 */ 15, 129, 30, 91, 137, 30, 4, 117, 4, 132, | |
488 | /* 4430 */ 193, 129, 30, 4, 117, 4, 132, 30, 91, 132, | |
489 | /* 4440 */ 30, 4, 107, 14, 129, 30, 4, 104, 17, 129, | |
490 | /* 4450 */ 30, 4, 101, 20, 129, 30, 4, 99, 22, 129, | |
491 | /* 4460 */ 96, 25, 129, 93, 28, 129, 91, 28, 129, 88, | |
492 | /* 4470 */ 29, 129, 85, 29, 129, 82, 29, 129, 79, 29, | |
493 | /* 4480 */ 129, 76, 29, 129, 74, 29, 129, 71, 29, 129, | |
494 | /* 4490 */ 68, 29, 129, 65, 29, 129, 62, 29, 129, 60, | |
495 | /* 4500 */ 29, 129, 57, 29, 129, 54, 29, 129, 51, 29, | |
496 | /* 4510 */ 129, 49, 28, 129, 46, 29, 129, 43, 29, 129, | |
497 | /* 4520 */ 40, 29, 117, 4, 129, 37, 29, 117, 4, 129, | |
498 | /* 4530 */ 35, 29, 117, 4, 129, 32, 29, 117, 4, 129, | |
499 | /* 4540 */ 30, 91, 132, 117, 4, 132, 193, 129, 63, 25, | |
500 | /* 4550 */ 129, 57, 37, 129, 53, 45, 129, 50, 51, 129, | |
501 | /* 4560 */ 47, 57, 129, 45, 61, 129, 43, 65, 129, 41, | |
502 | /* 4570 */ 69, 129, 39, 73, 129, 38, 21, 92, 21, 129, | |
503 | /* 4580 */ 36, 18, 97, 18, 129, 35, 14, 102, 14, 129, | |
504 | /* 4590 */ 34, 11, 106, 11, 129, 33, 10, 108, 10, 129, | |
505 | /* 4600 */ 32, 8, 111, 8, 129, 32, 6, 113, 6, 129, | |
506 | /* 4610 */ 31, 6, 114, 6, 129, 31, 5, 115, 5, 129, | |
507 | /* 4620 */ 30, 5, 116, 5, 130, 30, 4, 117, 4, 132, | |
508 | /* 4630 */ 30, 5, 116, 5, 130, 31, 5, 115, 5, 129, | |
509 | /* 4640 */ 31, 6, 114, 6, 129, 32, 6, 113, 6, 129, | |
510 | /* 4650 */ 32, 8, 111, 8, 129, 33, 10, 108, 10, 129, | |
511 | /* 4660 */ 34, 11, 106, 11, 129, 35, 14, 102, 14, 129, | |
512 | /* 4670 */ 36, 18, 97, 18, 129, 38, 21, 92, 21, 129, | |
513 | /* 4680 */ 39, 73, 129, 41, 69, 129, 43, 65, 129, 45, | |
514 | /* 4690 */ 61, 129, 47, 57, 129, 50, 51, 129, 53, 45, | |
515 | /* 4700 */ 129, 57, 37, 129, 63, 25, 129, 193, 129, 30, | |
516 | /* 4710 */ 4, 117, 4, 132, 30, 91, 137, 30, 4, 80, | |
517 | /* 4720 */ 4, 117, 4, 132, 80, 4, 117, 4, 134, 80, | |
518 | /* 4730 */ 5, 116, 5, 131, 80, 6, 115, 6, 130, 81, | |
519 | /* 4740 */ 6, 114, 6, 129, 81, 8, 112, 8, 129, 81, | |
520 | /* 4750 */ 9, 111, 9, 129, 82, 10, 109, 10, 129, 82, | |
521 | /* 4760 */ 13, 106, 13, 129, 83, 35, 129, 84, 33, 129, | |
522 | /* 4770 */ 85, 31, 129, 86, 29, 129, 88, 25, 129, 90, | |
523 | /* 4780 */ 21, 129, 93, 15, 129, 96, 9, 129, 193, 129, | |
524 | /* 4790 */ 63, 25, 129, 57, 37, 129, 53, 45, 129, 50, | |
525 | /* 4800 */ 51, 129, 47, 57, 129, 45, 61, 129, 43, 65, | |
526 | /* 4810 */ 129, 41, 69, 129, 39, 73, 129, 38, 21, 92, | |
527 | /* 4820 */ 21, 129, 36, 18, 97, 18, 129, 35, 14, 102, | |
528 | /* 4830 */ 14, 129, 34, 11, 106, 11, 129, 33, 10, 108, | |
529 | /* 4840 */ 10, 129, 32, 8, 111, 8, 129, 32, 6, 113, | |
530 | /* 4850 */ 6, 129, 31, 6, 114, 6, 129, 31, 5, 115, | |
531 | /* 4860 */ 5, 129, 30, 5, 116, 5, 130, 30, 4, 39, | |
532 | /* 4870 */ 2, 117, 4, 129, 30, 4, 40, 4, 117, 4, | |
533 | /* 4880 */ 129, 30, 4, 41, 5, 117, 4, 129, 30, 4, | |
534 | /* 4890 */ 41, 6, 117, 4, 129, 30, 5, 40, 8, 116, | |
535 | /* 4900 */ 5, 129, 30, 5, 39, 10, 116, 5, 129, 31, | |
536 | /* 4910 */ 5, 38, 11, 115, 5, 129, 31, 18, 114, 6, | |
537 | /* 4920 */ 129, 32, 17, 113, 6, 129, 32, 16, 111, 8, | |
538 | /* 4930 */ 129, 33, 15, 108, 10, 129, 33, 14, 106, 11, | |
539 | /* 4940 */ 129, 32, 17, 102, 14, 129, 31, 23, 97, 18, | |
540 | /* 4950 */ 129, 31, 28, 92, 21, 129, 30, 82, 129, 30, | |
541 | /* 4960 */ 80, 129, 30, 11, 43, 65, 129, 30, 10, 45, | |
542 | /* 4970 */ 61, 129, 31, 8, 47, 57, 129, 32, 6, 50, | |
543 | /* 4980 */ 51, 129, 33, 5, 53, 45, 129, 35, 4, 57, | |
544 | /* 4990 */ 37, 129, 38, 2, 63, 25, 129, 193, 129, 30, | |
545 | /* 5000 */ 4, 117, 4, 132, 30, 91, 137, 30, 4, 76, | |
546 | /* 5010 */ 8, 117, 4, 129, 30, 4, 73, 11, 117, 4, | |
547 | /* 5020 */ 129, 30, 4, 70, 14, 117, 4, 129, 30, 4, | |
548 | /* 5030 */ 67, 17, 117, 4, 129, 65, 19, 117, 4, 129, | |
549 | /* 5040 */ 62, 22, 117, 4, 129, 59, 25, 117, 4, 129, | |
550 | /* 5050 */ 56, 28, 117, 4, 129, 53, 31, 117, 4, 129, | |
551 | /* 5060 */ 50, 34, 117, 4, 129, 47, 29, 80, 5, 116, | |
552 | /* 5070 */ 5, 129, 30, 4, 45, 29, 80, 5, 116, 5, | |
553 | /* 5080 */ 129, 30, 4, 42, 29, 80, 5, 116, 5, 129, | |
554 | /* 5090 */ 30, 4, 39, 30, 80, 6, 115, 6, 129, 30, | |
555 | /* 5100 */ 4, 36, 30, 80, 6, 115, 6, 129, 30, 33, | |
556 | /* 5110 */ 81, 6, 114, 6, 129, 30, 30, 81, 8, 112, | |
557 | /* 5120 */ 8, 129, 30, 27, 81, 9, 111, 9, 129, 30, | |
558 | /* 5130 */ 25, 82, 10, 109, 10, 129, 30, 22, 82, 13, | |
559 | /* 5140 */ 106, 13, 129, 30, 19, 83, 35, 129, 30, 16, | |
560 | /* 5150 */ 84, 33, 129, 30, 13, 85, 31, 129, 30, 11, | |
561 | /* 5160 */ 86, 29, 129, 30, 8, 88, 25, 129, 30, 5, | |
562 | /* 5170 */ 90, 21, 129, 30, 4, 93, 15, 129, 30, 4, | |
563 | /* 5180 */ 96, 9, 129, 30, 4, 130, 193, 129, 30, 18, | |
564 | /* 5190 */ 130, 30, 18, 89, 15, 129, 30, 18, 85, 23, | |
565 | /* 5200 */ 129, 34, 11, 83, 27, 129, 34, 9, 81, 31, | |
566 | /* 5210 */ 129, 33, 8, 79, 35, 129, 33, 6, 78, 16, | |
567 | /* 5220 */ 106, 9, 129, 32, 6, 77, 15, 109, 7, 129, | |
568 | /* 5230 */ 32, 5, 76, 14, 111, 6, 129, 31, 5, 75, | |
569 | /* 5240 */ 14, 113, 5, 129, 31, 4, 74, 15, 114, 5, | |
570 | /* 5250 */ 129, 31, 4, 74, 14, 115, 4, 129, 30, 4, | |
571 | /* 5260 */ 73, 15, 116, 4, 129, 30, 4, 73, 14, 116, | |
572 | /* 5270 */ 4, 129, 30, 4, 73, 14, 117, 4, 129, 30, | |
573 | /* 5280 */ 4, 72, 15, 117, 4, 130, 30, 4, 71, 15, | |
574 | /* 5290 */ 117, 4, 130, 30, 4, 70, 15, 117, 4, 129, | |
575 | /* 5300 */ 30, 5, 70, 15, 117, 4, 129, 30, 5, 69, | |
576 | /* 5310 */ 15, 116, 5, 129, 30, 6, 68, 16, 115, 5, | |
577 | /* 5320 */ 129, 31, 6, 67, 16, 114, 6, 129, 31, 7, | |
578 | /* 5330 */ 66, 17, 113, 6, 129, 32, 7, 64, 18, 111, | |
579 | /* 5340 */ 8, 129, 32, 8, 62, 19, 109, 9, 129, 33, | |
580 | /* 5350 */ 9, 60, 20, 107, 10, 129, 34, 11, 57, 22, | |
581 | /* 5360 */ 103, 13, 129, 35, 43, 103, 18, 129, 36, 41, | |
582 | /* 5370 */ 103, 18, 129, 38, 38, 103, 18, 129, 39, 35, | |
583 | /* 5380 */ 103, 18, 129, 41, 31, 129, 43, 27, 129, 46, | |
584 | /* 5390 */ 22, 129, 49, 14, 129, 193, 129, 103, 18, 132, | |
585 | /* 5400 */ 110, 11, 129, 113, 8, 129, 114, 7, 129, 116, | |
586 | /* 5410 */ 5, 130, 117, 4, 132, 30, 4, 117, 4, 132, | |
587 | /* 5420 */ 30, 91, 137, 30, 4, 117, 4, 132, 117, 4, | |
588 | /* 5430 */ 132, 116, 5, 130, 114, 7, 129, 113, 8, 129, | |
589 | /* 5440 */ 110, 11, 129, 103, 18, 132, 193, 129, 117, 4, | |
590 | /* 5450 */ 132, 56, 65, 129, 50, 71, 129, 46, 75, 129, | |
591 | /* 5460 */ 44, 77, 129, 42, 79, 129, 40, 81, 129, 38, | |
592 | /* 5470 */ 83, 129, 36, 85, 129, 35, 86, 129, 34, 20, | |
593 | /* 5480 */ 117, 4, 129, 33, 17, 117, 4, 129, 32, 15, | |
594 | /* 5490 */ 117, 4, 129, 32, 13, 117, 4, 129, 31, 12, | |
595 | /* 5500 */ 129, 31, 10, 129, 31, 9, 129, 30, 9, 129, | |
596 | /* 5510 */ 30, 8, 130, 30, 7, 132, 31, 6, 130, 31, | |
597 | /* 5520 */ 7, 129, 32, 6, 129, 32, 7, 129, 33, 7, | |
598 | /* 5530 */ 129, 34, 7, 129, 35, 8, 129, 36, 9, 117, | |
599 | /* 5540 */ 4, 129, 38, 9, 117, 4, 129, 40, 10, 117, | |
600 | /* 5550 */ 4, 129, 42, 12, 117, 4, 129, 44, 77, 129, | |
601 | /* 5560 */ 46, 75, 129, 50, 71, 129, 56, 43, 100, 21, | |
602 | /* 5570 */ 129, 117, 4, 132, 193, 129, 117, 4, 132, 115, | |
603 | /* 5580 */ 6, 129, 110, 11, 129, 105, 16, 129, 101, 20, | |
604 | /* 5590 */ 129, 96, 25, 129, 92, 29, 129, 87, 34, 129, | |
605 | /* 5600 */ 83, 38, 129, 78, 43, 129, 74, 47, 129, 70, | |
606 | /* 5610 */ 42, 117, 4, 129, 65, 42, 117, 4, 129, 60, | |
607 | /* 5620 */ 43, 117, 4, 129, 56, 42, 129, 51, 42, 129, | |
608 | /* 5630 */ 46, 43, 129, 42, 43, 129, 37, 44, 129, 33, | |
609 | /* 5640 */ 43, 129, 30, 42, 129, 33, 34, 129, 38, 25, | |
610 | /* 5650 */ 129, 42, 16, 129, 47, 15, 129, 52, 15, 129, | |
611 | /* 5660 */ 57, 15, 129, 61, 16, 129, 66, 16, 129, 71, | |
612 | /* 5670 */ 16, 129, 76, 16, 129, 80, 16, 129, 85, 16, | |
613 | /* 5680 */ 117, 4, 129, 90, 16, 117, 4, 129, 95, 16, | |
614 | /* 5690 */ 117, 4, 129, 100, 21, 129, 105, 16, 129, 110, | |
615 | /* 5700 */ 11, 129, 114, 7, 129, 117, 4, 132, 193, 129, | |
616 | /* 5710 */ 117, 4, 132, 115, 6, 129, 110, 11, 129, 105, | |
617 | /* 5720 */ 16, 129, 101, 20, 129, 96, 25, 129, 92, 29, | |
618 | /* 5730 */ 129, 87, 34, 129, 83, 38, 129, 78, 43, 129, | |
619 | /* 5740 */ 74, 47, 129, 70, 42, 117, 4, 129, 65, 42, | |
620 | /* 5750 */ 117, 4, 129, 60, 43, 117, 4, 129, 56, 42, | |
621 | /* 5760 */ 129, 51, 42, 129, 46, 43, 129, 42, 43, 129, | |
622 | /* 5770 */ 37, 44, 129, 33, 43, 129, 30, 42, 129, 33, | |
623 | /* 5780 */ 34, 129, 38, 25, 129, 42, 16, 129, 47, 15, | |
624 | /* 5790 */ 129, 52, 15, 129, 57, 15, 129, 61, 16, 129, | |
625 | /* 5800 */ 65, 17, 129, 60, 27, 129, 56, 36, 129, 51, | |
626 | /* 5810 */ 42, 129, 46, 43, 129, 42, 43, 129, 37, 44, | |
627 | /* 5820 */ 129, 33, 43, 129, 30, 42, 129, 33, 34, 129, | |
628 | /* 5830 */ 38, 25, 129, 42, 16, 129, 47, 15, 129, 52, | |
629 | /* 5840 */ 15, 129, 57, 15, 129, 61, 16, 129, 66, 16, | |
630 | /* 5850 */ 129, 71, 16, 129, 76, 16, 129, 80, 16, 129, | |
631 | /* 5860 */ 85, 16, 117, 4, 129, 90, 16, 117, 4, 129, | |
632 | /* 5870 */ 95, 16, 117, 4, 129, 100, 21, 129, 105, 16, | |
633 | /* 5880 */ 129, 110, 11, 129, 114, 7, 129, 117, 4, 132, | |
634 | /* 5890 */ 193, 129, 30, 4, 117, 4, 132, 30, 4, 115, | |
635 | /* 5900 */ 6, 129, 30, 4, 112, 9, 129, 30, 6, 109, | |
636 | /* 5910 */ 12, 129, 30, 9, 106, 15, 129, 30, 11, 103, | |
637 | /* 5920 */ 18, 129, 30, 14, 100, 21, 129, 30, 4, 38, | |
638 | /* 5930 */ 9, 98, 23, 129, 30, 4, 40, 10, 95, 26, | |
639 | /* 5940 */ 129, 30, 4, 43, 9, 92, 29, 129, 46, 9, | |
640 | /* 5950 */ 89, 32, 129, 49, 8, 86, 28, 117, 4, 129, | |
641 | /* 5960 */ 51, 9, 83, 28, 117, 4, 129, 54, 9, 80, | |
642 | /* 5970 */ 28, 117, 4, 129, 57, 8, 77, 28, 117, 4, | |
643 | /* 5980 */ 129, 59, 9, 74, 28, 129, 62, 37, 129, 64, | |
644 | /* 5990 */ 33, 129, 66, 28, 129, 63, 28, 129, 60, 28, | |
645 | /* 6000 */ 129, 57, 28, 129, 54, 33, 129, 51, 39, 129, | |
646 | /* 6010 */ 48, 29, 83, 9, 129, 30, 4, 45, 29, 86, | |
647 | /* 6020 */ 9, 129, 30, 4, 42, 29, 89, 9, 129, 30, | |
648 | /* 6030 */ 4, 39, 29, 92, 8, 129, 30, 4, 36, 29, | |
649 | /* 6040 */ 94, 9, 129, 30, 32, 97, 9, 129, 30, 29, | |
650 | /* 6050 */ 100, 8, 117, 4, 129, 30, 26, 103, 8, 117, | |
651 | /* 6060 */ 4, 129, 30, 23, 105, 9, 117, 4, 129, 30, | |
652 | /* 6070 */ 20, 108, 13, 129, 30, 18, 111, 10, 129, 30, | |
653 | /* 6080 */ 15, 113, 8, 129, 30, 12, 116, 5, 129, 30, | |
654 | /* 6090 */ 9, 117, 4, 129, 30, 6, 117, 4, 129, 30, | |
655 | /* 6100 */ 4, 117, 4, 132, 193, 129, 117, 4, 132, 114, | |
656 | /* 6110 */ 7, 129, 111, 10, 129, 108, 13, 129, 105, 16, | |
657 | /* 6120 */ 129, 102, 19, 129, 100, 21, 129, 96, 25, 129, | |
658 | /* 6130 */ 93, 28, 129, 90, 31, 129, 87, 34, 129, 84, | |
659 | /* 6140 */ 30, 117, 4, 129, 30, 4, 81, 30, 117, 4, | |
660 | /* 6150 */ 129, 30, 4, 78, 30, 117, 4, 129, 30, 4, | |
661 | /* 6160 */ 75, 30, 117, 4, 129, 30, 4, 72, 30, 129, | |
662 | /* 6170 */ 30, 69, 129, 30, 66, 129, 30, 63, 129, 30, | |
663 | /* 6180 */ 60, 129, 30, 57, 129, 30, 54, 129, 30, 51, | |
664 | /* 6190 */ 129, 30, 48, 129, 30, 51, 129, 30, 4, 73, | |
665 | /* 6200 */ 12, 129, 30, 4, 76, 12, 129, 30, 4, 80, | |
666 | /* 6210 */ 12, 129, 30, 4, 83, 12, 129, 87, 12, 129, | |
667 | /* 6220 */ 90, 12, 117, 4, 129, 94, 11, 117, 4, 129, | |
668 | /* 6230 */ 97, 12, 117, 4, 129, 101, 12, 117, 4, 129, | |
669 | /* 6240 */ 104, 17, 129, 108, 13, 129, 111, 10, 129, 115, | |
670 | /* 6250 */ 6, 129, 117, 4, 134, 193, 129, 30, 1, 103, | |
671 | /* 6260 */ 18, 129, 30, 4, 103, 18, 129, 30, 7, 103, | |
672 | /* 6270 */ 18, 129, 30, 9, 103, 18, 129, 30, 12, 110, | |
673 | /* 6280 */ 11, 129, 30, 15, 113, 8, 129, 30, 18, 114, | |
674 | /* 6290 */ 7, 129, 30, 21, 116, 5, 129, 30, 24, 116, | |
675 | /* 6300 */ 5, 129, 30, 27, 117, 4, 129, 30, 30, 117, | |
676 | /* 6310 */ 4, 129, 30, 33, 117, 4, 129, 30, 4, 37, | |
677 | /* 6320 */ 28, 117, 4, 129, 30, 4, 40, 28, 117, 4, | |
678 | /* 6330 */ 129, 30, 4, 42, 29, 117, 4, 129, 30, 4, | |
679 | /* 6340 */ 45, 29, 117, 4, 129, 30, 4, 48, 29, 117, | |
680 | /* 6350 */ 4, 129, 30, 4, 51, 29, 117, 4, 129, 30, | |
681 | /* 6360 */ 4, 54, 29, 117, 4, 129, 30, 4, 57, 29, | |
682 | /* 6370 */ 117, 4, 129, 30, 4, 59, 30, 117, 4, 129, | |
683 | /* 6380 */ 30, 4, 62, 30, 117, 4, 129, 30, 4, 65, | |
684 | /* 6390 */ 30, 117, 4, 129, 30, 4, 68, 30, 117, 4, | |
685 | /* 6400 */ 129, 30, 4, 71, 30, 117, 4, 129, 30, 4, | |
686 | /* 6410 */ 74, 30, 117, 4, 129, 30, 4, 77, 30, 117, | |
687 | /* 6420 */ 4, 129, 30, 4, 80, 30, 117, 4, 129, 30, | |
688 | /* 6430 */ 4, 83, 30, 117, 4, 129, 30, 4, 86, 35, | |
689 | /* 6440 */ 129, 30, 4, 89, 32, 129, 30, 4, 91, 30, | |
690 | /* 6450 */ 129, 30, 4, 94, 27, 129, 30, 5, 97, 24, | |
691 | /* 6460 */ 129, 30, 5, 100, 21, 129, 30, 7, 103, 18, | |
692 | /* 6470 */ 129, 30, 8, 106, 15, 129, 30, 11, 109, 12, | |
693 | /* 6480 */ 129, 30, 18, 112, 9, 129, 30, 18, 115, 6, | |
694 | /* 6490 */ 129, 30, 18, 117, 4, 129, 30, 18, 120, 1, | |
695 | /* 6500 */ 129, 193, 129, 42, 8, 129, 38, 16, 129, 36, | |
696 | /* 6510 */ 20, 129, 34, 24, 71, 5, 129, 33, 26, 69, | |
697 | /* 6520 */ 10, 129, 32, 28, 68, 13, 129, 31, 30, 68, | |
698 | /* 6530 */ 14, 129, 31, 9, 52, 9, 68, 15, 129, 30, | |
699 | /* 6540 */ 8, 54, 8, 69, 14, 129, 30, 7, 55, 7, | |
700 | /* 6550 */ 71, 4, 78, 6, 129, 30, 6, 56, 6, 79, | |
701 | /* 6560 */ 5, 129, 30, 6, 56, 6, 80, 4, 130, 31, | |
702 | /* 6570 */ 5, 56, 5, 80, 4, 129, 31, 5, 56, 5, | |
703 | /* 6580 */ 79, 5, 129, 32, 5, 55, 5, 78, 6, 129, | |
704 | /* 6590 */ 33, 5, 54, 5, 77, 7, 129, 34, 6, 52, | |
705 | /* 6600 */ 6, 74, 9, 129, 35, 48, 129, 33, 49, 129, | |
706 | /* 6610 */ 32, 49, 129, 31, 49, 129, 30, 49, 129, 30, | |
707 | /* 6620 */ 47, 129, 30, 45, 129, 30, 41, 129, 30, 6, | |
708 | /* 6630 */ 129, 30, 4, 129, 30, 3, 129, 30, 2, 129, | |
709 | /* 6640 */ 193, 129, 30, 4, 117, 4, 130, 31, 90, 136, | |
710 | /* 6650 */ 37, 5, 72, 5, 129, 35, 5, 74, 5, 129, | |
711 | /* 6660 */ 33, 5, 76, 5, 129, 32, 5, 77, 5, 129, | |
712 | /* 6670 */ 31, 5, 78, 5, 129, 31, 4, 79, 4, 129, | |
713 | /* 6680 */ 30, 5, 79, 5, 131, 30, 6, 78, 6, 129, | |
714 | /* 6690 */ 30, 7, 77, 7, 129, 31, 8, 75, 8, 129, | |
715 | /* 6700 */ 31, 11, 72, 11, 129, 32, 15, 67, 15, 129, | |
716 | /* 6710 */ 33, 48, 129, 34, 46, 129, 35, 44, 129, 37, | |
717 | /* 6720 */ 40, 129, 39, 36, 129, 42, 30, 129, 46, 22, | |
718 | /* 6730 */ 129, 193, 129, 48, 18, 129, 43, 28, 129, 41, | |
719 | /* 6740 */ 32, 129, 39, 36, 129, 37, 40, 129, 35, 44, | |
720 | /* 6750 */ 129, 34, 46, 129, 33, 13, 68, 13, 129, 32, | |
721 | /* 6760 */ 9, 73, 9, 129, 32, 7, 75, 7, 129, 31, | |
722 | /* 6770 */ 6, 77, 6, 129, 31, 5, 78, 5, 129, 30, | |
723 | /* 6780 */ 5, 79, 5, 129, 30, 4, 80, 4, 133, 31, | |
724 | /* 6790 */ 3, 79, 4, 129, 31, 4, 79, 4, 129, 32, | |
725 | /* 6800 */ 3, 78, 4, 129, 32, 4, 76, 6, 129, 33, | |
726 | /* 6810 */ 4, 74, 7, 129, 34, 4, 72, 8, 129, 35, | |
727 | /* 6820 */ 5, 72, 7, 129, 37, 5, 73, 4, 129, 39, | |
728 | /* 6830 */ 4, 74, 1, 129, 129, 193, 129, 46, 22, 129, | |
729 | /* 6840 */ 42, 30, 129, 39, 36, 129, 37, 40, 129, 35, | |
730 | /* 6850 */ 44, 129, 34, 46, 129, 33, 48, 129, 32, 15, | |
731 | /* 6860 */ 67, 15, 129, 31, 11, 72, 11, 129, 31, 8, | |
732 | /* 6870 */ 75, 8, 129, 30, 7, 77, 7, 129, 30, 6, | |
733 | /* 6880 */ 78, 6, 129, 30, 5, 79, 5, 131, 31, 4, | |
734 | /* 6890 */ 79, 4, 129, 31, 5, 78, 5, 129, 32, 5, | |
735 | /* 6900 */ 77, 5, 129, 33, 5, 76, 5, 129, 35, 5, | |
736 | /* 6910 */ 74, 5, 117, 4, 129, 37, 5, 72, 5, 117, | |
737 | /* 6920 */ 4, 129, 30, 91, 136, 30, 4, 130, 193, 129, | |
738 | /* 6930 */ 48, 18, 129, 43, 28, 129, 41, 32, 129, 39, | |
739 | /* 6940 */ 36, 129, 37, 40, 129, 35, 44, 129, 34, 46, | |
740 | /* 6950 */ 129, 33, 13, 55, 4, 68, 13, 129, 32, 9, | |
741 | /* 6960 */ 55, 4, 73, 9, 129, 32, 7, 55, 4, 75, | |
742 | /* 6970 */ 7, 129, 31, 6, 55, 4, 77, 6, 129, 31, | |
743 | /* 6980 */ 5, 55, 4, 78, 5, 129, 30, 5, 55, 4, | |
744 | /* 6990 */ 79, 5, 129, 30, 4, 55, 4, 80, 4, 132, | |
745 | /* 7000 */ 30, 4, 55, 4, 79, 5, 129, 31, 3, 55, | |
746 | /* 7010 */ 4, 78, 5, 129, 31, 4, 55, 4, 77, 6, | |
747 | /* 7020 */ 129, 32, 3, 55, 4, 75, 7, 129, 32, 4, | |
748 | /* 7030 */ 55, 4, 73, 9, 129, 33, 4, 55, 4, 68, | |
749 | /* 7040 */ 13, 129, 34, 4, 55, 25, 129, 35, 5, 55, | |
750 | /* 7050 */ 24, 129, 37, 5, 55, 22, 129, 39, 4, 55, | |
751 | /* 7060 */ 20, 129, 55, 18, 129, 55, 16, 129, 55, 11, | |
752 | /* 7070 */ 129, 193, 129, 80, 4, 129, 30, 4, 80, 4, | |
753 | /* 7080 */ 130, 30, 78, 129, 30, 82, 129, 30, 85, 129, | |
754 | /* 7090 */ 30, 87, 129, 30, 88, 129, 30, 89, 129, 30, | |
755 | /* 7100 */ 90, 130, 30, 4, 80, 4, 115, 6, 129, 30, | |
756 | /* 7110 */ 4, 80, 4, 117, 4, 129, 80, 4, 105, 6, | |
757 | /* 7120 */ 117, 4, 129, 80, 4, 103, 10, 116, 5, 129, | |
758 | /* 7130 */ 80, 4, 102, 19, 129, 80, 4, 101, 19, 129, | |
759 | /* 7140 */ 101, 19, 129, 101, 18, 129, 102, 16, 129, 103, | |
760 | /* 7150 */ 12, 129, 105, 6, 129, 193, 129, 12, 10, 59, | |
761 | /* 7160 */ 11, 129, 9, 16, 55, 19, 129, 7, 20, 53, | |
762 | /* 7170 */ 23, 129, 6, 7, 23, 5, 32, 6, 51, 27, | |
763 | /* 7180 */ 129, 4, 7, 25, 16, 50, 29, 129, 3, 6, | |
764 | /* 7190 */ 27, 16, 49, 31, 129, 2, 6, 28, 16, 48, | |
765 | /* 7200 */ 33, 129, 1, 6, 27, 18, 47, 35, 129, 1, | |
766 | /* 7210 */ 6, 27, 31, 71, 12, 129, 1, 5, 26, 15, | |
767 | /* 7220 */ 44, 10, 75, 8, 129, 1, 5, 25, 14, 45, | |
768 | /* 7230 */ 7, 77, 7, 129, 1, 5, 25, 13, 45, 5, | |
769 | /* 7240 */ 79, 5, 129, 1, 5, 24, 14, 45, 4, 80, | |
770 | /* 7250 */ 4, 129, 1, 5, 24, 13, 45, 4, 80, 4, | |
771 | /* 7260 */ 129, 1, 5, 23, 14, 45, 4, 80, 4, 129, | |
772 | /* 7270 */ 1, 5, 23, 13, 45, 4, 80, 4, 129, 1, | |
773 | /* 7280 */ 6, 22, 13, 45, 5, 79, 5, 129, 1, 6, | |
774 | /* 7290 */ 21, 14, 45, 7, 77, 7, 129, 1, 7, 21, | |
775 | /* 7300 */ 13, 46, 8, 75, 8, 129, 1, 8, 20, 13, | |
776 | /* 7310 */ 46, 12, 71, 12, 129, 1, 10, 18, 15, 47, | |
777 | /* 7320 */ 35, 129, 2, 30, 48, 33, 129, 3, 29, 49, | |
778 | /* 7330 */ 32, 129, 4, 27, 50, 31, 129, 5, 25, 51, | |
779 | /* 7340 */ 27, 80, 2, 86, 4, 129, 7, 21, 53, 23, | |
780 | /* 7350 */ 80, 3, 85, 6, 129, 9, 17, 55, 19, 80, | |
781 | /* 7360 */ 12, 129, 12, 12, 59, 11, 81, 11, 129, 82, | |
782 | /* 7370 */ 10, 129, 84, 7, 129, 86, 4, 129, 193, 129, | |
783 | /* 7380 */ 30, 4, 117, 4, 130, 30, 91, 136, 30, 4, | |
784 | /* 7390 */ 72, 5, 129, 30, 4, 74, 5, 129, 75, 5, | |
785 | /* 7400 */ 129, 76, 5, 129, 76, 6, 129, 77, 6, 130, | |
786 | /* 7410 */ 77, 7, 130, 76, 8, 129, 30, 4, 75, 9, | |
787 | /* 7420 */ 129, 30, 4, 72, 12, 129, 30, 54, 129, 30, | |
788 | /* 7430 */ 53, 130, 30, 52, 129, 30, 51, 129, 30, 49, | |
789 | /* 7440 */ 129, 30, 46, 129, 30, 42, 129, 30, 4, 130, | |
790 | /* 7450 */ 193, 129, 30, 4, 80, 4, 129, 30, 4, 80, | |
791 | /* 7460 */ 4, 100, 6, 129, 30, 54, 98, 10, 129, 30, | |
792 | /* 7470 */ 54, 97, 12, 129, 30, 54, 96, 14, 131, 30, | |
793 | /* 7480 */ 54, 97, 12, 129, 30, 54, 98, 10, 129, 30, | |
794 | /* 7490 */ 54, 100, 6, 129, 30, 4, 130, 193, 129, 7, | |
795 | /* 7500 */ 6, 129, 4, 11, 129, 3, 13, 129, 2, 14, | |
796 | /* 7510 */ 129, 1, 15, 130, 1, 3, 6, 9, 129, 1, | |
797 | /* 7520 */ 3, 7, 6, 129, 1, 3, 130, 1, 4, 129, | |
798 | /* 7530 */ 1, 5, 80, 4, 129, 1, 7, 80, 4, 100, | |
799 | /* 7540 */ 6, 129, 2, 82, 98, 10, 129, 3, 81, 97, | |
800 | /* 7550 */ 12, 129, 4, 80, 96, 14, 129, 5, 79, 96, | |
801 | /* 7560 */ 14, 129, 7, 77, 96, 14, 129, 10, 74, 97, | |
802 | /* 7570 */ 12, 129, 14, 70, 98, 10, 129, 19, 65, 100, | |
803 | /* 7580 */ 6, 129, 193, 129, 30, 4, 117, 4, 130, 30, | |
804 | /* 7590 */ 91, 136, 30, 4, 57, 9, 129, 30, 4, 55, | |
805 | /* 7600 */ 12, 129, 52, 17, 129, 50, 20, 129, 48, 24, | |
806 | /* 7610 */ 129, 46, 27, 129, 44, 21, 69, 6, 129, 41, | |
807 | /* 7620 */ 22, 70, 6, 80, 4, 129, 30, 4, 39, 21, | |
808 | /* 7630 */ 72, 6, 80, 4, 129, 30, 4, 36, 22, 73, | |
809 | /* 7640 */ 11, 129, 30, 26, 75, 9, 129, 30, 23, 76, | |
810 | /* 7650 */ 8, 129, 30, 21, 78, 6, 129, 30, 19, 79, | |
811 | /* 7660 */ 5, 129, 30, 16, 80, 4, 129, 30, 14, 80, | |
812 | /* 7670 */ 4, 129, 30, 12, 129, 30, 10, 129, 30, 7, | |
813 | /* 7680 */ 129, 30, 5, 129, 30, 4, 130, 193, 129, 30, | |
814 | /* 7690 */ 4, 117, 4, 130, 30, 91, 136, 30, 4, 130, | |
815 | /* 7700 */ 193, 129, 30, 4, 80, 4, 130, 30, 54, 136, | |
816 | /* 7710 */ 30, 4, 72, 5, 129, 30, 4, 74, 5, 129, | |
817 | /* 7720 */ 75, 5, 129, 76, 5, 129, 30, 4, 75, 7, | |
818 | /* 7730 */ 129, 30, 4, 74, 9, 129, 30, 54, 132, 30, | |
819 | /* 7740 */ 53, 129, 30, 52, 129, 30, 51, 129, 30, 48, | |
820 | /* 7750 */ 129, 30, 4, 72, 5, 129, 30, 4, 74, 5, | |
821 | /* 7760 */ 129, 75, 5, 129, 76, 5, 129, 30, 4, 75, | |
822 | /* 7770 */ 7, 129, 30, 4, 74, 9, 129, 30, 54, 132, | |
823 | /* 7780 */ 30, 53, 129, 30, 52, 129, 30, 51, 129, 30, | |
824 | /* 7790 */ 48, 129, 30, 4, 130, 193, 129, 30, 4, 80, | |
825 | /* 7800 */ 4, 130, 30, 54, 136, 30, 4, 72, 5, 129, | |
826 | /* 7810 */ 30, 4, 74, 5, 129, 75, 5, 129, 76, 5, | |
827 | /* 7820 */ 129, 76, 6, 129, 77, 6, 130, 77, 7, 130, | |
828 | /* 7830 */ 76, 8, 129, 30, 4, 75, 9, 129, 30, 4, | |
829 | /* 7840 */ 72, 12, 129, 30, 54, 129, 30, 53, 130, 30, | |
830 | /* 7850 */ 52, 129, 30, 51, 129, 30, 49, 129, 30, 46, | |
831 | /* 7860 */ 129, 30, 42, 129, 30, 4, 130, 193, 129, 48, | |
832 | /* 7870 */ 18, 129, 43, 28, 129, 41, 32, 129, 39, 36, | |
833 | /* 7880 */ 129, 37, 40, 129, 35, 44, 129, 34, 46, 129, | |
834 | /* 7890 */ 33, 13, 68, 13, 129, 32, 9, 73, 9, 129, | |
835 | /* 7900 */ 32, 7, 75, 7, 129, 31, 6, 77, 6, 129, | |
836 | /* 7910 */ 31, 5, 78, 5, 129, 30, 5, 79, 5, 129, | |
837 | /* 7920 */ 30, 4, 80, 4, 132, 30, 5, 79, 5, 130, | |
838 | /* 7930 */ 31, 5, 78, 5, 129, 31, 6, 77, 6, 129, | |
839 | /* 7940 */ 32, 7, 75, 7, 129, 32, 9, 73, 9, 129, | |
840 | /* 7950 */ 33, 13, 68, 13, 129, 34, 46, 129, 35, 44, | |
841 | /* 7960 */ 129, 37, 40, 129, 39, 36, 129, 41, 32, 129, | |
842 | /* 7970 */ 43, 28, 129, 48, 18, 129, 193, 129, 1, 3, | |
843 | /* 7980 */ 80, 4, 130, 1, 83, 137, 37, 5, 72, 5, | |
844 | /* 7990 */ 129, 35, 5, 74, 5, 129, 33, 5, 76, 5, | |
845 | /* 8000 */ 129, 32, 5, 77, 5, 129, 31, 5, 78, 5, | |
846 | /* 8010 */ 129, 31, 4, 79, 4, 129, 30, 5, 79, 5, | |
847 | /* 8020 */ 131, 30, 6, 78, 6, 129, 30, 7, 77, 7, | |
848 | /* 8030 */ 129, 31, 8, 75, 8, 129, 31, 11, 72, 11, | |
849 | /* 8040 */ 129, 32, 15, 67, 15, 129, 33, 48, 129, 34, | |
850 | /* 8050 */ 46, 129, 35, 44, 129, 37, 40, 129, 39, 36, | |
851 | /* 8060 */ 129, 42, 30, 129, 46, 22, 129, 193, 129, 46, | |
852 | /* 8070 */ 22, 129, 42, 30, 129, 39, 36, 129, 37, 40, | |
853 | /* 8080 */ 129, 35, 44, 129, 34, 46, 129, 33, 48, 129, | |
854 | /* 8090 */ 32, 15, 67, 15, 129, 31, 11, 72, 11, 129, | |
855 | /* 8100 */ 31, 8, 75, 8, 129, 30, 7, 77, 7, 129, | |
856 | /* 8110 */ 30, 6, 78, 6, 129, 30, 5, 79, 5, 131, | |
857 | /* 8120 */ 31, 4, 79, 4, 129, 31, 5, 78, 5, 129, | |
858 | /* 8130 */ 32, 5, 77, 5, 129, 33, 5, 76, 5, 129, | |
859 | /* 8140 */ 35, 5, 74, 5, 129, 37, 5, 72, 5, 129, | |
860 | /* 8150 */ 1, 83, 136, 1, 3, 80, 4, 130, 193, 129, | |
861 | /* 8160 */ 30, 4, 80, 4, 130, 30, 54, 136, 30, 4, | |
862 | /* 8170 */ 68, 6, 129, 30, 4, 70, 6, 129, 71, 7, | |
863 | /* 8180 */ 129, 72, 7, 129, 73, 7, 129, 74, 7, 129, | |
864 | /* 8190 */ 74, 8, 129, 75, 8, 130, 69, 15, 129, 67, | |
865 | /* 8200 */ 17, 129, 66, 18, 129, 65, 19, 130, 65, 18, | |
866 | /* 8210 */ 130, 66, 16, 129, 67, 13, 129, 69, 8, 129, | |
867 | /* 8220 */ 193, 129, 30, 13, 64, 8, 129, 30, 13, 61, | |
868 | /* 8230 */ 14, 129, 30, 13, 59, 18, 129, 30, 13, 57, | |
869 | /* 8240 */ 22, 129, 33, 8, 56, 24, 129, 32, 7, 55, | |
870 | /* 8250 */ 26, 129, 32, 6, 54, 28, 129, 31, 6, 53, | |
871 | /* 8260 */ 16, 77, 6, 129, 31, 5, 53, 14, 79, 4, | |
872 | /* 8270 */ 129, 30, 5, 52, 14, 80, 4, 129, 30, 5, | |
873 | /* 8280 */ 52, 13, 80, 4, 129, 30, 4, 52, 13, 80, | |
874 | /* 8290 */ 4, 129, 30, 4, 52, 12, 80, 4, 129, 30, | |
875 | /* 8300 */ 4, 51, 13, 80, 4, 130, 30, 4, 50, 13, | |
876 | /* 8310 */ 79, 5, 129, 30, 4, 50, 13, 78, 5, 129, | |
877 | /* 8320 */ 30, 5, 49, 14, 77, 6, 129, 31, 4, 49, | |
878 | /* 8330 */ 13, 76, 6, 129, 31, 5, 48, 14, 75, 7, | |
879 | /* 8340 */ 129, 32, 5, 47, 14, 73, 8, 129, 32, 6, | |
880 | /* 8350 */ 45, 16, 71, 13, 129, 33, 27, 71, 13, 129, | |
881 | /* 8360 */ 34, 26, 71, 13, 129, 35, 24, 71, 13, 129, | |
882 | /* 8370 */ 37, 20, 129, 39, 16, 129, 43, 9, 129, 193, | |
883 | /* 8380 */ 129, 80, 4, 131, 41, 56, 129, 37, 60, 129, | |
884 | /* 8390 */ 35, 62, 129, 33, 64, 129, 32, 65, 129, 31, | |
885 | /* 8400 */ 66, 129, 30, 67, 130, 30, 11, 80, 4, 129, | |
886 | /* 8410 */ 30, 9, 80, 4, 129, 30, 8, 80, 4, 129, | |
887 | /* 8420 */ 31, 7, 80, 4, 129, 31, 6, 129, 32, 5, | |
888 | /* 8430 */ 129, 33, 5, 129, 35, 4, 129, 38, 3, 129, | |
889 | /* 8440 */ 193, 129, 80, 4, 130, 42, 42, 129, 38, 46, | |
890 | /* 8450 */ 129, 35, 49, 129, 33, 51, 129, 32, 52, 129, | |
891 | /* 8460 */ 31, 53, 130, 30, 54, 129, 30, 12, 129, 30, | |
892 | /* 8470 */ 9, 129, 30, 8, 129, 30, 7, 130, 31, 6, | |
893 | /* 8480 */ 130, 32, 6, 129, 33, 5, 129, 34, 5, 129, | |
894 | /* 8490 */ 35, 5, 80, 4, 129, 37, 5, 80, 4, 129, | |
895 | /* 8500 */ 30, 54, 136, 30, 4, 130, 193, 129, 80, 4, | |
896 | /* 8510 */ 130, 77, 7, 129, 74, 10, 129, 70, 14, 129, | |
897 | /* 8520 */ 66, 18, 129, 62, 22, 129, 59, 25, 129, 55, | |
898 | /* 8530 */ 29, 129, 51, 33, 129, 47, 37, 129, 44, 32, | |
899 | /* 8540 */ 80, 4, 129, 40, 32, 80, 4, 129, 36, 32, | |
900 | /* 8550 */ 129, 32, 33, 129, 30, 31, 129, 33, 24, 129, | |
901 | /* 8560 */ 36, 17, 129, 40, 12, 129, 44, 12, 129, 48, | |
902 | /* 8570 */ 12, 129, 51, 13, 129, 55, 13, 129, 59, 13, | |
903 | /* 8580 */ 80, 4, 129, 63, 13, 80, 4, 129, 67, 17, | |
904 | /* 8590 */ 129, 71, 13, 129, 74, 10, 129, 78, 6, 129, | |
905 | /* 8600 */ 80, 4, 131, 193, 129, 80, 4, 130, 77, 7, | |
906 | /* 8610 */ 129, 74, 10, 129, 70, 14, 129, 66, 18, 129, | |
907 | /* 8620 */ 62, 22, 129, 59, 25, 129, 55, 29, 129, 51, | |
908 | /* 8630 */ 33, 129, 47, 37, 129, 44, 32, 80, 4, 129, | |
909 | /* 8640 */ 40, 32, 80, 4, 129, 36, 32, 129, 32, 33, | |
910 | /* 8650 */ 129, 30, 31, 129, 33, 24, 129, 36, 17, 129, | |
911 | /* 8660 */ 40, 12, 129, 44, 12, 129, 47, 13, 129, 44, | |
912 | /* 8670 */ 20, 129, 40, 28, 129, 36, 31, 129, 32, 32, | |
913 | /* 8680 */ 129, 30, 30, 129, 33, 24, 129, 36, 17, 129, | |
914 | /* 8690 */ 40, 12, 129, 44, 12, 129, 48, 12, 129, 51, | |
915 | /* 8700 */ 13, 129, 55, 13, 129, 59, 13, 80, 4, 129, | |
916 | /* 8710 */ 63, 13, 80, 4, 129, 67, 17, 129, 71, 13, | |
917 | /* 8720 */ 129, 74, 10, 129, 78, 6, 129, 80, 4, 131, | |
918 | /* 8730 */ 193, 129, 30, 4, 80, 4, 130, 30, 4, 79, | |
919 | /* 8740 */ 5, 129, 30, 5, 77, 7, 129, 30, 6, 74, | |
920 | /* 8750 */ 10, 129, 30, 8, 72, 12, 129, 30, 11, 69, | |
921 | /* 8760 */ 15, 129, 30, 13, 67, 17, 129, 30, 4, 37, | |
922 | /* 8770 */ 8, 64, 20, 129, 30, 4, 39, 8, 62, 22, | |
923 | /* 8780 */ 129, 41, 8, 59, 25, 129, 43, 8, 57, 27, | |
924 | /* 8790 */ 129, 45, 8, 55, 22, 80, 4, 129, 47, 27, | |
925 | /* 8800 */ 80, 4, 129, 49, 23, 129, 47, 22, 129, 44, | |
926 | /* 8810 */ 23, 129, 42, 22, 129, 30, 4, 39, 27, 129, | |
927 | /* 8820 */ 30, 4, 37, 31, 129, 30, 27, 62, 8, 129, | |
928 | /* 8830 */ 30, 25, 64, 8, 129, 30, 22, 66, 8, 80, | |
929 | /* 8840 */ 4, 129, 30, 20, 68, 8, 80, 4, 129, 30, | |
930 | /* 8850 */ 17, 70, 8, 80, 4, 129, 30, 15, 73, 11, | |
931 | /* 8860 */ 129, 30, 12, 75, 9, 129, 30, 10, 77, 7, | |
932 | /* 8870 */ 129, 30, 7, 79, 5, 129, 30, 5, 80, 4, | |
933 | /* 8880 */ 129, 30, 4, 80, 4, 130, 193, 129, 4, 5, | |
934 | /* 8890 */ 80, 4, 129, 2, 9, 80, 4, 129, 1, 11, | |
935 | /* 8900 */ 77, 7, 129, 1, 12, 74, 10, 129, 1, 12, | |
936 | /* 8910 */ 70, 14, 129, 1, 12, 66, 18, 129, 1, 11, | |
937 | /* 8920 */ 62, 22, 129, 2, 9, 59, 25, 129, 4, 11, | |
938 | /* 8930 */ 55, 29, 129, 7, 12, 51, 33, 129, 10, 12, | |
939 | /* 8940 */ 47, 37, 129, 14, 12, 44, 32, 80, 4, 129, | |
940 | /* 8950 */ 17, 13, 40, 32, 80, 4, 129, 21, 13, 36, | |
941 | /* 8960 */ 32, 129, 25, 40, 129, 29, 32, 129, 33, 24, | |
942 | /* 8970 */ 129, 36, 17, 129, 40, 12, 129, 44, 12, 129, | |
943 | /* 8980 */ 48, 12, 129, 51, 13, 129, 55, 13, 129, 59, | |
944 | /* 8990 */ 13, 80, 4, 129, 63, 13, 80, 4, 129, 67, | |
945 | /* 9000 */ 17, 129, 71, 13, 129, 74, 10, 129, 78, 6, | |
946 | /* 9010 */ 129, 80, 4, 131, 193, 129, 30, 1, 71, 13, | |
947 | /* 9020 */ 129, 30, 3, 71, 13, 129, 30, 6, 71, 13, | |
948 | /* 9030 */ 129, 30, 9, 75, 9, 129, 30, 11, 77, 7, | |
949 | /* 9040 */ 129, 30, 14, 79, 5, 129, 30, 17, 79, 5, | |
950 | /* 9050 */ 129, 30, 19, 80, 4, 129, 30, 22, 80, 4, | |
951 | /* 9060 */ 129, 30, 25, 80, 4, 129, 30, 27, 80, 4, | |
952 | /* 9070 */ 129, 30, 4, 36, 24, 80, 4, 129, 30, 4, | |
953 | /* 9080 */ 38, 25, 80, 4, 129, 30, 4, 41, 24, 80, | |
954 | /* 9090 */ 4, 129, 30, 4, 44, 24, 80, 4, 129, 30, | |
955 | /* 9100 */ 4, 46, 25, 80, 4, 129, 30, 4, 49, 25, | |
956 | /* 9110 */ 80, 4, 129, 30, 4, 52, 24, 80, 4, 129, | |
957 | /* 9120 */ 30, 4, 54, 30, 129, 30, 4, 57, 27, 129, | |
958 | /* 9130 */ 30, 4, 59, 25, 129, 30, 4, 62, 22, 129, | |
959 | /* 9140 */ 30, 4, 65, 19, 129, 30, 5, 67, 17, 129, | |
960 | /* 9150 */ 30, 5, 70, 14, 129, 30, 7, 73, 11, 129, | |
961 | /* 9160 */ 30, 9, 76, 8, 129, 30, 13, 78, 6, 129, | |
962 | /* 9170 */ 30, 13, 81, 3, 129, 30, 13, 129, 193, 2, | |
963 | /* 9180 */ 9, 59, 25, 129, 4, 11, 55, 29, 129, 7, | |
964 | /* 9190 */ 12, 51, 33, 129, 10, 12, 47, 37, 129, 14, | |
965 | /* 9200 */ 12, 44, 32, 80, 4, 129, 17, 13, 40, 32, | |
966 | /* 9210 */ 80, 4, 129, 21, 13, 36, 32, 129, 25, 40, | |
967 | /* 9220 */ 129, 29, 32, 129, 33, 24, 129, 36, 17, 129, | |
968 | /* 9230 */ 40, 12, 129, 44, 12, 129, 48, 12, 129, 51, | |
969 | /* 9240 */ 13, 129, 55, 13, 129, 59, 13, 80, 4, 129, | |
970 | /* 9250 */ 63, 13, 80, 4, 129, 67, 17, 129, 71, 13, | |
971 | /* 9260 */ 129, 74, 10, 129, 78, 6, 129, 80, 4, 131, | |
972 | /* 9270 */ 193 | |
973 | }; | |
974 | ||
975 | FILE *fd; | |
976 | int i,j,k; | |
977 | char c; | |
978 | int width = DWIDTH; /* -w option: scrunch letters to 80 columns */ | |
979 | int debug; | |
980 | int trace; | |
981 | char line[DWIDTH]; | |
982 | char print[DWIDTH]; | |
983 | char message[MAXMSG]; | |
984 | char *messp; | |
985 | int nchars; | |
986 | int linen; | |
987 | int x,y; | |
988 | int term,dup; | |
989 | int pc; | |
990 | int max; | |
991 | ||
992 | main(argc,argv) | |
993 | int argc; | |
994 | char **argv; | |
995 | { | |
996 | if (argc > 1 && argv[1][0] == '-') { | |
997 | switch(argv[1][1]) { | |
998 | case 'w': | |
999 | width = atoi(&argv[1][2]); | |
1000 | if (width==0) | |
1001 | width = 80; | |
1002 | break; | |
1003 | case 'd': | |
1004 | debug++; | |
1005 | break; | |
1006 | case 't': | |
1007 | trace++; | |
1008 | break; | |
1009 | default: | |
1010 | printf("bad switch %s\n",argv[1]); | |
1011 | break; | |
1012 | } | |
1013 | argc--; | |
1014 | argv++; | |
1015 | } | |
1016 | ||
1017 | for (i=0; i<width; i++) { | |
1018 | j = i * 132 / width; | |
1019 | print[j] = 1; | |
1020 | } | |
1021 | #ifdef notdef | |
1022 | fd = fopen(INDTBL, "r"); | |
1023 | for (i=0; i<NCHARS; i++) { | |
1024 | fscanf(fd, "%d", &asc_ptr[i]); | |
1025 | } | |
1026 | fclose(fd); | |
1027 | ||
1028 | fd = fopen(OBJECT, "r"); | |
1029 | fread(data_table, 1, NBYTES, fd); | |
1030 | fclose(fd); | |
1031 | #endif | |
1032 | ||
1033 | /* Have now read in the data. Next get the message to be printed. */ | |
1034 | if (argc > 1) { | |
1035 | strcpy(message, argv[1]); | |
1036 | for (i=2; i<argc; i++) { | |
1037 | strcat(message, " "); | |
1038 | strcat(message, argv[i]); | |
1039 | } | |
1040 | } else { | |
1041 | fprintf(stderr,"Message: "); | |
1042 | gets(message); | |
1043 | } | |
1044 | nchars = strlen(message); | |
1045 | ||
1046 | /* some debugging print statements */ | |
1047 | if (debug) { | |
1048 | printf("int asc_ptr[128] = {\n"); | |
1049 | for (i=0; i<128; i++) { | |
1050 | printf("%4d, ",asc_ptr[i]); | |
1051 | if ((i+1) % 8 == 0) | |
1052 | printf("\n"); | |
1053 | } | |
1054 | printf("};\nchar data_table[NBYTES] = {\n"); | |
1055 | printf(" /* "); | |
1056 | for (i=0; i<10; i++) printf(" %3d ",i); | |
1057 | printf(" */\n"); | |
1058 | for (i=0; i<NBYTES; i += 10) { | |
1059 | printf("/* %4d */ ",i); | |
1060 | for (j=i; j<i+10; j++) { | |
1061 | x = data_table[j] & 0377; | |
1062 | printf(" %3d, ",x); | |
1063 | } | |
1064 | putchar('\n'); | |
1065 | } | |
1066 | printf("};\n"); | |
1067 | } | |
1068 | ||
1069 | /* check message to make sure it's legal */ | |
1070 | j = 0; | |
1071 | for (i=0; i<nchars; i++) | |
1072 | if (asc_ptr[message[i]] == 0) { | |
1073 | printf("The character '%c' is not in my character set.\n",message[i]); | |
1074 | j++; | |
1075 | } | |
1076 | if (j) exit(1); | |
1077 | ||
1078 | if (trace) | |
1079 | printf("Message '%s' is OK\n",message); | |
1080 | /* Now have message. Print it one character at a time. */ | |
1081 | ||
1082 | for (i=0; i<nchars; i++) { | |
1083 | if (trace) | |
1084 | printf("Char #%d: %c\n", i, message[i]); | |
1085 | for (j=0; j<DWIDTH; j++) line[j] = ' '; | |
1086 | pc = asc_ptr[message[i]]; | |
1087 | term = 0; | |
1088 | max = 0; | |
1089 | linen = 0; | |
1090 | while ( !term ) { | |
1091 | if (pc<0 || pc > NBYTES) { | |
1092 | printf("bad pc: %d\n",pc); | |
1093 | exit(1); | |
1094 | } | |
1095 | x = data_table[pc] & 0377; | |
1096 | if (trace) | |
1097 | printf("pc=%d, term=%d, max=%d, linen=%d, x=%d\n",pc,term,max,linen,x); | |
1098 | if (x >= 128) { | |
1099 | if (x>192) term++; | |
1100 | x = x & 63; | |
1101 | while (x--) { | |
1102 | if (print[linen++]) { | |
1103 | for (j=0; j<=max; j++) | |
1104 | if (print[j]) | |
1105 | putchar(line[j]); | |
1106 | putchar('\n'); | |
1107 | } | |
1108 | } | |
1109 | for (j=0; j<DWIDTH; j++) line[j] = ' '; | |
1110 | pc++; | |
1111 | } | |
1112 | else { | |
1113 | y = data_table[pc+1]; | |
1114 | /* compensate for narrow teminals */ | |
1115 | #ifdef notdef | |
1116 | x = (x*width + (DWIDTH/2)) / DWIDTH; | |
1117 | y = (y*width + (DWIDTH/2)) / DWIDTH; | |
1118 | #endif | |
1119 | max = x+y; | |
1120 | while (x < max) line[x++] = '#'; | |
1121 | pc += 2; | |
1122 | if (trace) | |
1123 | printf("x=%d, y=%d, max=%d\n",x,y,max); | |
1124 | } | |
1125 | } | |
1126 | } | |
1127 | ||
1128 | exit(0); | |
1129 | } |