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