1: /*      $NetBSD: banner.c,v 1.12 2004/01/27 20:30:28 jsm Exp $       */
    2: 
    3: /*
    4:  * Copyright (c) 1980, 1993, 1994
    5:  *      The Regents of the University of California.  All rights reserved.
    6:  *
    7:  * Redistribution and use in source and binary forms, with or without
    8:  * modification, are permitted provided that the following conditions
    9:  * are met:
   10:  * 1. Redistributions of source code must retain the above copyright
   11:  *    notice, this list of conditions and the following disclaimer.
   12:  * 2. Redistributions in binary form must reproduce the above copyright
   13:  *    notice, this list of conditions and the following disclaimer in the
   14:  *    documentation and/or other materials provided with the distribution.
   15:  * 3. Neither the name of the University nor the names of its contributors
   16:  *    may be used to endorse or promote products derived from this software
   17:  *    without specific prior written permission.
   18:  *
   19:  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
   20:  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
   21:  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
   22:  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
   23:  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
   24:  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
   25:  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
   26:  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
   27:  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
   28:  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
   29:  * SUCH DAMAGE.
   30:  */
   31: 
   32: #include <sys/cdefs.h>
   33: #ifndef lint
   34: __COPYRIGHT("@(#) Copyright (c) 1980, 1993, 1994\n\
   35:         The Regents of the University of California.  All rights reserved.\n");
   36: #endif /* not lint */
   37: 
   38: #ifndef lint
   39: #if 0
   40: static char sccsid[] = "@(#)banner.c    8.4 (Berkeley) 4/29/95";
   41: #else
   42: __RCSID("$NetBSD: banner.c,v 1.12 2004/01/27 20:30:28 jsm Exp $");
   43: #endif
   44: #endif /* not lint */
   45: 
   46: /*
   47:  * banner - prints large signs
   48:  * banner [-w width] [-d] [-t] message ...
   49:  */
   50: 
   51: #include <err.h>
   52: #include <stdio.h>
   53: #include <stdlib.h>
   54: #include <string.h>
   55: #include <unistd.h>
   56: 
   57: #define MAXMSG 1024
   58: #define DWIDTH 132
   59: #define NCHARS 128
   60: #define NBYTES 9271
   61: 
   62: /* Pointers into data_table for each ASCII char */
   63: const int asc_ptr[NCHARS] = {
   64: /* ^@ */   0,      0,      0,      0,      0,      0,      0,      0,
   65: /* ^H */   0,      0,      0,      0,      0,      0,      0,      0,
   66: /* ^P */   0,      0,      0,      0,      0,      0,      0,      0,
   67: /* ^X */   0,      0,      0,      0,      0,      0,      0,      0,
   68: /*    */   1,      3,     50,     81,    104,    281,    483,    590,
   69: /*  ( */ 621,    685,    749,    851,    862,    893,    898,    921,
   70: /*  0 */1019,   1150,   1200,   1419,   1599,   1744,   1934,   2111,
   71: /*  8 */2235,   2445,   2622,   2659,      0,   2708,      0,   2715,
   72: /*  @ */2857,   3072,   3273,   3403,   3560,   3662,   3730,   3785,
   73: /*  H */3965,   4000,   4015,   4115,   4281,   4314,   4432,   4548,
   74: /*  P */4709,   4790,   4999,   5188,   5397,   5448,   5576,   5710,
   75: /*  X */5892,   6106,   6257,      0,      0,      0,      0,      0,
   76: /*  ` */  50,   6503,   6642,   6733,   6837,   6930,   7073,   7157,
   77: /*  h */7380,   7452,   7499,   7584,   7689,   7702,   7797,   7869,
   78: /*  p */7978,   8069,   8160,   8222,   8381,   8442,   8508,   8605,
   79: /*  x */8732,   8888,   9016,      0,      0,      0,      0,      0
   80: };
   81: 
   82: /*
   83:  * Table of stuff to print. Format:
   84:  * 128+n -> print current line n times.
   85:  * 64+n  -> this is last byte of char.
   86:  * else, put m chars at position n (where m
   87:  * is the next elt in array) and goto second
   88:  * next element in array.
   89:  */
   90: const char data_table[NBYTES] = {
   91: /*             0     1     2     3     4     5     6     7     8     9 */
   92: /*    0 */   129,  227,  130,   34,    6,   90,   19,  129,   32,   10, 
   93: /*   10 */    74,   40,  129,   31,   12,   64,   53,  129,   30,   14, 
   94: /*   20 */    54,   65,  129,   30,   14,   53,   67,  129,   30,   14, 
   95: /*   30 */    54,   65,  129,   31,   12,   64,   53,  129,   32,   10, 
   96: /*   40 */    74,   40,  129,   34,    6,   90,   19,  129,  194,  130, 
   97: /*   50 */    99,    9,  129,   97,   14,  129,   96,   18,  129,   95, 
   98: /*   60 */    22,  129,   95,   16,  117,    2,  129,   95,   14,  129, 
   99: /*   70 */    96,   11,  129,   97,    9,  129,   99,    6,  129,  194, 
  100: /*   80 */   129,   87,    4,  101,    4,  131,   82,   28,  131,   87, 
  101: /*   90 */     4,  101,    4,  133,   82,   28,  131,   87,    4,  101, 
  102: /*  100 */     4,  131,  193,  129,   39,    1,   84,   27,  129,   38, 
  103: /*  110 */     3,   81,   32,  129,   37,    5,   79,   35,  129,   36, 
  104: /*  120 */     5,   77,   38,  129,   35,    5,   76,   40,  129,   34, 
  105: /*  130 */     5,   75,   21,  103,   14,  129,   33,    5,   74,   19, 
  106: /*  140 */   107,   11,  129,   32,    5,   73,   17,  110,    9,  129, 
  107: /*  150 */    32,    4,   73,   16,  112,    7,  129,   31,    4,   72, 
  108: /*  160 */    15,  114,    6,  129,   31,    4,   72,   14,  115,    5, 
  109: /*  170 */   129,   30,    4,   71,   15,  116,    5,  129,   27,   97, 
  110: /*  180 */   131,   30,    4,   69,   14,  117,    4,  129,   30,    4, 
  111: /*  190 */    68,   15,  117,    4,  132,   30,    4,   68,   14,  117, 
  112: /*  200 */     4,  129,   27,   97,  131,   30,    5,   65,   15,  116, 
  113: /*  210 */     5,  129,   31,    4,   65,   14,  116,    4,  129,   31, 
  114: /*  220 */     6,   64,   15,  116,    4,  129,   32,    7,   62,   16, 
  115: /*  230 */   115,    4,  129,   32,    9,   61,   17,  114,    5,  129, 
  116: /*  240 */    33,   11,   58,   19,  113,    5,  129,   34,   14,   55, 
  117: /*  250 */    21,  112,    5,  129,   35,   40,  111,    5,  129,   36, 
  118: /*  260 */    38,  110,    5,  129,   37,   35,  109,    5,  129,   38, 
  119: /*  270 */    32,  110,    3,  129,   40,   27,  111,    1,  129,  193, 
  120: /*  280 */   129,   30,    4,  103,    9,  129,   30,    7,  100,   15, 
  121: /*  290 */   129,   30,   10,   99,   17,  129,   33,   10,   97,    6, 
  122: /*  300 */   112,    6,  129,   36,   10,   96,    5,  114,    5,  129, 
  123: /*  310 */    39,   10,   96,    4,  115,    4,  129,   42,   10,   95, 
  124: /*  320 */     4,  116,    4,  129,   45,   10,   95,    3,  117,    3, 
  125: /*  330 */   129,   48,   10,   95,    3,  117,    3,  129,   51,   10, 
  126: /*  340 */    95,    4,  116,    4,  129,   54,   10,   96,    4,  115, 
  127: /*  350 */     4,  129,   57,   10,   96,    5,  114,    5,  129,   60, 
  128: /*  360 */    10,   97,    6,  112,    6,  129,   63,   10,   99,   17, 
  129: /*  370 */   129,   66,   10,  100,   15,  129,   69,   10,  103,    9, 
  130: /*  380 */   129,   39,    9,   72,   10,  129,   36,   15,   75,   10, 
  131: /*  390 */   129,   35,   17,   78,   10,  129,   33,    6,   48,    6, 
  132: /*  400 */    81,   10,  129,   32,    5,   50,    5,   84,   10,  129, 
  133: /*  410 */    32,    4,   51,    4,   87,   10,  129,   31,    4,   52, 
  134: /*  420 */     4,   90,   10,  129,   31,    3,   53,    3,   93,   10, 
  135: /*  430 */   129,   31,    3,   53,    3,   96,   10,  129,   31,    4, 
  136: /*  440 */    52,    4,   99,   10,  129,   32,    4,   51,    4,  102, 
  137: /*  450 */    10,  129,   32,    5,   50,    5,  105,   10,  129,   33, 
  138: /*  460 */     6,   48,    6,  108,   10,  129,   35,   17,  111,   10, 
  139: /*  470 */   129,   36,   15,  114,    7,  129,   40,    9,  118,    4, 
  140: /*  480 */   129,  193,  129,   48,   18,  129,   43,   28,  129,   41, 
  141: /*  490 */    32,  129,   39,   36,  129,   37,   40,  129,   35,   44, 
  142: /*  500 */   129,   34,   46,  129,   33,   13,   68,   13,  129,   32, 
  143: /*  510 */     9,   73,    9,  129,   32,    7,   75,    7,  129,   31, 
  144: /*  520 */     6,   77,    6,  129,   31,    5,   78,    5,  129,   30, 
  145: /*  530 */     5,   79,    5,  129,   20,   74,  132,   30,    4,   80, 
  146: /*  540 */     4,  129,   31,    3,   79,    4,  129,   31,    4,   79, 
  147: /*  550 */     4,  129,   32,    3,   78,    4,  129,   32,    4,   76, 
  148: /*  560 */     6,  129,   33,    4,   74,    7,  129,   34,    4,   72, 
  149: /*  570 */     8,  129,   35,    5,   72,    7,  129,   37,    5,   73, 
  150: /*  580 */     4,  129,   39,    4,   74,    1,  129,  129,  193,  130, 
  151: /*  590 */   111,    6,  129,  109,   10,  129,  108,   12,  129,  107, 
  152: /*  600 */    14,  129,   97,    2,  105,   16,  129,   99,   22,  129, 
  153: /*  610 */   102,   18,  129,  105,   14,  129,  108,    9,  129,  194, 
  154: /*  620 */   130,   63,   25,  129,   57,   37,  129,   52,   47,  129, 
  155: /*  630 */    48,   55,  129,   44,   63,  129,   41,   69,  129,   38, 
  156: /*  640 */    75,  129,   36,   79,  129,   34,   83,  129,   33,   28, 
  157: /*  650 */    90,   28,  129,   32,   23,   96,   23,  129,   32,   17, 
  158: /*  660 */   102,   17,  129,   31,   13,  107,   13,  129,   30,    9, 
  159: /*  670 */   112,    9,  129,   30,    5,  116,    5,  129,   30,    1, 
  160: /*  680 */   120,    1,  129,  194,  130,   30,    1,  120,    1,  129, 
  161: /*  690 */    30,    5,  116,    5,  129,   30,    9,  112,    9,  129, 
  162: /*  700 */    31,   13,  107,   13,  129,   32,   17,  102,   17,  129, 
  163: /*  710 */    32,   23,   96,   23,  129,   33,   28,   90,   28,  129, 
  164: /*  720 */    34,   83,  129,   36,   79,  129,   38,   75,  129,   41, 
  165: /*  730 */    69,  129,   44,   63,  129,   48,   55,  129,   52,   47, 
  166: /*  740 */   129,   57,   37,  129,   63,   25,  129,  194,  129,   80, 
  167: /*  750 */     4,  130,   80,    4,  129,   68,    2,   80,    4,   94, 
  168: /*  760 */     2,  129,   66,    6,   80,    4,   92,    6,  129,   67, 
  169: /*  770 */     7,   80,    4,   90,    7,  129,   69,    7,   80,    4, 
  170: /*  780 */    88,    7,  129,   71,    6,   80,    4,   87,    6,  129, 
  171: /*  790 */    72,   20,  129,   74,   16,  129,   76,   12,  129,   62, 
  172: /*  800 */    40,  131,   76,   12,  129,   74,   16,  129,   72,   20, 
  173: /*  810 */   129,   71,    6,   80,    4,   87,    6,  129,   69,    7, 
  174: /*  820 */    80,    4,   88,    7,  129,   67,    7,   80,    4,   90, 
  175: /*  830 */     7,  129,   66,    6,   80,    4,   92,    6,  129,   68, 
  176: /*  840 */     2,   80,    4,   94,    2,  129,   80,    4,  130,  193, 
  177: /*  850 */   129,   60,    4,  139,   41,   42,  131,   60,    4,  139, 
  178: /*  860 */   193,  130,   34,    6,  129,   32,   10,  129,   31,   12, 
  179: /*  870 */   129,   30,   14,  129,   20,    2,   28,   16,  129,   22, 
  180: /*  880 */    22,  129,   24,   19,  129,   27,   15,  129,   31,    9, 
  181: /*  890 */   129,  194,  129,   60,    4,  152,  193,  130,   34,    6, 
  182: /*  900 */   129,   32,   10,  129,   31,   12,  129,   30,   14,  131, 
  183: /*  910 */    31,   12,  129,   32,   10,  129,   34,    6,  129,  194, 
  184: /*  920 */   129,   30,    4,  129,   30,    7,  129,   30,   10,  129, 
  185: /*  930 */    33,   10,  129,   36,   10,  129,   39,   10,  129,   42, 
  186: /*  940 */    10,  129,   45,   10,  129,   48,   10,  129,   51,   10, 
  187: /*  950 */   129,   54,   10,  129,   57,   10,  129,   60,   10,  129, 
  188: /*  960 */    63,   10,  129,   66,   10,  129,   69,   10,  129,   72, 
  189: /*  970 */    10,  129,   75,   10,  129,   78,   10,  129,   81,   10, 
  190: /*  980 */   129,   84,   10,  129,   87,   10,  129,   90,   10,  129, 
  191: /*  990 */    93,   10,  129,   96,   10,  129,   99,   10,  129,  102, 
  192: /* 1000 */    10,  129,  105,   10,  129,  108,   10,  129,  111,   10, 
  193: /* 1010 */   129,  114,    7,  129,  117,    4,  129,  193,  129,   60, 
  194: /* 1020 */    31,  129,   53,   45,  129,   49,   53,  129,   46,   59, 
  195: /* 1030 */   129,   43,   65,  129,   41,   69,  129,   39,   73,  129, 
  196: /* 1040 */    37,   77,  129,   36,   79,  129,   35,   15,  101,   15, 
  197: /* 1050 */   129,   34,   11,  106,   11,  129,   33,    9,  109,    9, 
  198: /* 1060 */   129,   32,    7,  112,    7,  129,   31,    6,  114,    6, 
  199: /* 1070 */   129,   31,    5,  115,    5,  129,   30,    5,  116,    5, 
  200: /* 1080 */   129,   30,    4,  117,    4,  132,   30,    5,  116,    5, 
  201: /* 1090 */   129,   31,    5,  115,    5,  129,   31,    6,  114,    6, 
  202: /* 1100 */   129,   32,    7,  112,    7,  129,   33,    9,  109,    9, 
  203: /* 1110 */   129,   34,   11,  106,   11,  129,   35,   15,  101,   15, 
  204: /* 1120 */   129,   36,   79,  129,   37,   77,  129,   39,   73,  129, 
  205: /* 1130 */    41,   69,  129,   43,   65,  129,   46,   59,  129,   49, 
  206: /* 1140 */    53,  129,   53,   45,  129,   60,   31,  129,  193,  129, 
  207: /* 1150 */    30,    4,  129,   30,    4,  100,    1,  129,   30,    4, 
  208: /* 1160 */   100,    3,  129,   30,    4,  100,    5,  129,   30,   76, 
  209: /* 1170 */   129,   30,   78,  129,   30,   80,  129,   30,   82,  129, 
  210: /* 1180 */    30,   83,  129,   30,   85,  129,   30,   87,  129,   30, 
  211: /* 1190 */    89,  129,   30,   91,  129,   30,    4,  132,  193,  129, 
  212: /* 1200 */    30,    3,  129,   30,    7,  129,   30,   10,  112,    1, 
  213: /* 1210 */   129,   30,   13,  112,    2,  129,   30,   16,  112,    3, 
  214: /* 1220 */   129,   30,   18,  111,    5,  129,   30,   21,  111,    6, 
  215: /* 1230 */   129,   30,   23,  112,    6,  129,   30,   14,   47,    8, 
  216: /* 1240 */   113,    6,  129,   30,   14,   49,    8,  114,    5,  129, 
  217: /* 1250 */    30,   14,   51,    8,  115,    5,  129,   30,   14,   53, 
  218: /* 1260 */     8,  116,    4,  129,   30,   14,   55,    8,  116,    5, 
  219: /* 1270 */   129,   30,   14,   56,    9,  117,    4,  129,   30,   14, 
  220: /* 1280 */    57,    9,  117,    4,  129,   30,   14,   58,   10,  117, 
  221: /* 1290 */     4,  129,   30,   14,   59,   10,  117,    4,  129,   30, 
  222: /* 1300 */    14,   60,   11,  117,    4,  129,   30,   14,   61,   11, 
  223: /* 1310 */   116,    5,  129,   30,   14,   62,   11,  116,    5,  129, 
  224: /* 1320 */    30,   14,   63,   12,  115,    6,  129,   30,   14,   64, 
  225: /* 1330 */    13,  114,    7,  129,   30,   14,   65,   13,  113,    8, 
  226: /* 1340 */   129,   30,   14,   65,   15,  111,    9,  129,   30,   14, 
  227: /* 1350 */    66,   16,  109,   11,  129,   30,   14,   67,   17,  107, 
  228: /* 1360 */    12,  129,   30,   14,   68,   20,  103,   16,  129,   30, 
  229: /* 1370 */    14,   69,   49,  129,   30,   14,   70,   47,  129,   30, 
  230: /* 1380 */    14,   71,   45,  129,   30,   14,   73,   42,  129,   30, 
  231: /* 1390 */    15,   75,   38,  129,   33,   12,   77,   34,  129,   36, 
  232: /* 1400 */    10,   79,   30,  129,   40,    6,   82,   23,  129,   44, 
  233: /* 1410 */     3,   86,   15,  129,   47,    1,  129,  193,  129,  129, 
  234: /* 1420 */    38,    3,  129,   37,    5,  111,    1,  129,   36,    7, 
  235: /* 1430 */   111,    2,  129,   35,    9,  110,    5,  129,   34,    8, 
  236: /* 1440 */   110,    6,  129,   33,    7,  109,    8,  129,   32,    7, 
  237: /* 1450 */   110,    8,  129,   32,    6,  112,    7,  129,   31,    6, 
  238: /* 1460 */   113,    6,  129,   31,    5,  114,    6,  129,   30,    5, 
  239: /* 1470 */   115,    5,  129,   30,    5,  116,    4,  129,   30,    4, 
  240: /* 1480 */   117,    4,  131,   30,    4,  117,    4,  129,   30,    4, 
  241: /* 1490 */    79,    2,  117,    4,  129,   30,    5,   78,    4,  117, 
  242: /* 1500 */     4,  129,   30,    5,   77,    6,  116,    5,  129,   30, 
  243: /* 1510 */     6,   76,    8,  115,    6,  129,   30,    7,   75,   11, 
  244: /* 1520 */   114,    6,  129,   30,    8,   73,   15,  112,    8,  129, 
  245: /* 1530 */    31,    9,   71,   19,  110,    9,  129,   31,   11,   68, 
  246: /* 1540 */    26,  107,   12,  129,   32,   13,   65,   14,   82,   36, 
  247: /* 1550 */   129,   32,   16,   61,   17,   83,   34,  129,   33,   44, 
  248: /* 1560 */    84,   32,  129,   34,   42,   85,   30,  129,   35,   40, 
  249: /* 1570 */    87,   27,  129,   36,   38,   89,   23,  129,   38,   34, 
  250: /* 1580 */    92,   17,  129,   40,   30,   95,   11,  129,   42,   26, 
  251: /* 1590 */   129,   45,   20,  129,   49,   11,  129,  193,  129,   49, 
  252: /* 1600 */     1,  129,   49,    4,  129,   49,    6,  129,   49,    8, 
  253: /* 1610 */   129,   49,   10,  129,   49,   12,  129,   49,   14,  129, 
  254: /* 1620 */    49,   17,  129,   49,   19,  129,   49,   21,  129,   49, 
  255: /* 1630 */    23,  129,   49,   14,   65,    9,  129,   49,   14,   67, 
  256: /* 1640 */     9,  129,   49,   14,   69,    9,  129,   49,   14,   71, 
  257: /* 1650 */    10,  129,   49,   14,   74,    9,  129,   49,   14,   76, 
  258: /* 1660 */     9,  129,   49,   14,   78,    9,  129,   49,   14,   80, 
  259: /* 1670 */     9,  129,   49,   14,   82,    9,  129,   49,   14,   84, 
  260: /* 1680 */     9,  129,   30,    4,   49,   14,   86,   10,  129,   30, 
  261: /* 1690 */     4,   49,   14,   89,    9,  129,   30,    4,   49,   14, 
  262: /* 1700 */    91,    9,  129,   30,    4,   49,   14,   93,    9,  129, 
  263: /* 1710 */    30,   74,  129,   30,   76,  129,   30,   78,  129,   30, 
  264: /* 1720 */    81,  129,   30,   83,  129,   30,   85,  129,   30,   87, 
  265: /* 1730 */   129,   30,   89,  129,   30,   91,  129,   30,    4,   49, 
  266: /* 1740 */    14,  132,  193,  129,   37,    1,  129,   36,    3,   77, 
  267: /* 1750 */     3,  129,   35,    5,   78,   11,  129,   34,    7,   78, 
  268: /* 1760 */    21,  129,   33,    7,   79,   29,  129,   32,    7,   79, 
  269: /* 1770 */    38,  129,   32,    6,   80,    4,   92,   29,  129,   31, 
  270: /* 1780 */     6,   80,    5,  102,   19,  129,   31,    5,   80,    6, 
  271: /* 1790 */   107,   14,  129,   31,    4,   81,    5,  107,   14,  129, 
  272: /* 1800 */    30,    5,   81,    6,  107,   14,  129,   30,    4,   81, 
  273: /* 1810 */     6,  107,   14,  130,   30,    4,   81,    7,  107,   14, 
  274: /* 1820 */   129,   30,    4,   80,    8,  107,   14,  130,   30,    5, 
  275: /* 1830 */    80,    8,  107,   14,  129,   30,    5,   79,    9,  107, 
  276: /* 1840 */    14,  129,   31,    5,   79,    9,  107,   14,  129,   31, 
  277: /* 1850 */     6,   78,   10,  107,   14,  129,   32,    6,   76,   11, 
  278: /* 1860 */   107,   14,  129,   32,    8,   74,   13,  107,   14,  129, 
  279: /* 1870 */    33,   10,   71,   16,  107,   14,  129,   33,   15,   67, 
  280: /* 1880 */    19,  107,   14,  129,   34,   51,  107,   14,  129,   35, 
  281: /* 1890 */    49,  107,   14,  129,   36,   47,  107,   14,  129,   37, 
  282: /* 1900 */    45,  107,   14,  129,   39,   41,  107,   14,  129,   41, 
  283: /* 1910 */    37,  107,   14,  129,   44,   32,  107,   14,  129,   47, 
  284: /* 1920 */    25,  111,   10,  129,   51,   16,  115,    6,  129,  119, 
  285: /* 1930 */     2,  129,  193,  129,   56,   39,  129,   51,   49,  129, 
  286: /* 1940 */    47,   57,  129,   44,   63,  129,   42,   67,  129,   40, 
  287: /* 1950 */    71,  129,   38,   75,  129,   37,   77,  129,   35,   81, 
  288: /* 1960 */   129,   34,   16,   74,    5,  101,   16,  129,   33,   11, 
  289: /* 1970 */    76,    5,