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

Defined functions

main defined in line 995; never used

Defined variables

asc_ptr defined in line 19; used 4 times
c defined in line 980; never used
data_table defined in line 46; used 4 times
debug defined in line 982; used 2 times
dup defined in line 991; never used
i defined in line 979; used 38 times
j defined in line 979; used 22 times
k defined in line 979; never used
line defined in line 984; used 4 times
linen defined in line 989; used 3 times
max defined in line 993; used 6 times
message defined in line 986; used 10 times
messp defined in line 987; never used
nchars defined in line 988; used 3 times
pc defined in line 992; used 9 times
print defined in line 985; used 3 times
sccsid defined in line 2; never used
term defined in line 991; used 4 times
trace defined in line 983; used 5 times
width defined in line 981; used 7 times
x defined in line 990; used 15 times
y defined in line 990; used 5 times

Defined macros

DWIDTH defined in line 14; used 9 times
INDTBL defined in line 11; used 1 times
MAXMSG defined in line 13; used 1 times
NBYTES defined in line 16; used 4 times
NCHARS defined in line 15; used 2 times
OBJECT defined in line 12; used 1 times
dir defined in line 10; used 2 times
Last modified: 1982-10-25
Generated: 2016-12-26
Generated by src2html V0.67
page hit count: 1326
Valid CSS Valid XHTML 1.0 Strict