#!/usr/local/bin/perl -w eval 'exec /usr/local/bin/perl -w -S $0 ${1+"$@"}' if 0; # not running under some shell # * banner - prints large signs # * banner [-w#] [-d] [-t] message ... # This is a translation from C of the BSD banner.c source, which bears the # following copyright notice: # # /* # * Copyright (c) 1980, 1993, 1994 # * The Regents of the University of California. All rights reserved. # * # * Redistribution and use in source and binary forms, with or without # * modification, are permitted provided that the following conditions # * are met: # * 1. Redistributions of source code must retain the above copyright # * notice, this list of conditions and the following disclaimer. # * 2. Redistributions in binary form must reproduce the above copyright # * notice, this list of conditions and the following disclaimer in the # * documentation and/or other materials provided with the distribution. # * 3. All advertising materials mentioning features or use of this software # * must display the following acknowledgement: # * This product includes software developed by the University of # * California, Berkeley and its contributors. # * 4. Neither the name of the University nor the names of its contributors # * may be used to endorse or promote products derived from this software # * without specific prior written permission. # * # * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND # * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE # * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE # * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE # * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL # * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS # * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) # * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT # * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY # * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF # * SUCH DAMAGE. # */ use strict; require 5.004; use constant MAXMSG => 1024; use constant DWIDTH => 132; END { close STDOUT || die "$0: can't close stdout: $!\n"; $? = 1 if $? == 255; # from die } sub usage { die "usage: $0 [-w width]\n" } # Character data my @data_table; # Pointers into @data_table for each ASCII char my %ascii_to_table; # options my $width = DWIDTH; while (@ARGV && $ARGV[0] =~ s/^-//) { local $_ = shift; /^[h?]$/ && usage(); if (s/^w//) { if (length) { $width = $_ } elsif (@ARGV) { $width = shift } else { die "$0: option requires an integer argument -- w\n" } if ($width =~ /\D/ || $width == 0) { # the original source silently defaults to 80 cols. # I think that's rude. warn "Don't understand -w argument `$width'. Using 80 columns.\n"; $width = 80; } next; } warn "$0: illegal option -- $_\n"; usage(); } # scale characters to width my @printmask; for (my $i = 0; $i < $width; $i++) { $printmask[$i * 132 / $width] = 1; } # get message my $message; if (@ARGV) { $message = join ' ', @ARGV } else { print STDERR "Message: "; chomp($message = ); } # check message my $ok = 1; while ($message =~ /(.)/g) { unless ($ascii_to_table{$1}) { $ok = 0; warn "$0: The character `$1' is not in my character set.\n"; } } exit 1 unless $ok; # print banner while ($message =~ /(.)/g) { my @line = (' ') x DWIDTH; my $pc = $ascii_to_table{$1}; my $term = my $max = my $linen = 0; while (!$term) { if ($pc < 0 || $pc > $#data_table) { die "$0: bad pc $pc\n" } my $x = $data_table[$pc] & 0377; if ($x >= 128) { ++$term if $x > 192; $x &= 63; while ($x--) { if ($printmask[$linen++]) { for (my $i = 0; $i <= $max; $i++) { print $line[$i] if $printmask[$i]; } print "\n"; } } @line = (' ') x DWIDTH; $pc++; } else { # $x < 128 my $y = $data_table[$pc+1]; $max = $x + $y; while ($x < $max) { $line[$x++] = '#' } $pc += 2; } } } exit 0; BEGIN { @ascii_to_table{ map {chr} 0..127 } = ( 0, 0, 0, 0, 0, 0, 0, 0, # ^@ 0, 0, 0, 0, 0, 0, 0, 0, # ^H 0, 0, 0, 0, 0, 0, 0, 0, # ^P 0, 0, 0, 0, 0, 0, 0, 0, # ^X 1, 3, 50, 81, 104, 281, 483, 590, # 621, 685, 749, 851, 862, 893, 898, 921, # ( 1019, 1150, 1200, 1419, 1599, 1744, 1934, 2111, # 0 2235, 2445, 2622, 2659, 0, 2708, 0, 2715, # 8 2857, 3072, 3273, 3403, 3560, 3662, 3730, 3785, # @ 3965, 4000, 4015, 4115, 4281, 4314, 4432, 4548, # H 4709, 4790, 4999, 5188, 5397, 5448, 5576, 5710, # P 5892, 6106, 6257, 0, 0, 0, 0, 0, # X 50, 6503, 6642, 6733, 6837, 6930, 7073, 7157, # ` 7380, 7452, 7499, 7584, 7689, 7702, 7797, 7869, # h 7978, 8069, 8160, 8222, 8381, 8442, 8508, 8605, # p 8732, 8888, 9016, 0, 0, 0, 0, 0 # x ); # Table of stuff to print. Format: # 128+n -> print current line n times. # 64+n -> this is last byte of char. # else, put m chars at position n (where m is the next elt in array) # and goto second next element in array. @data_table = ( #0 1 2 3 4 5 6 7 8 9 129, 227, 130, 34, 6, 90, 19, 129, 32, 10, # 0 74, 40, 129, 31, 12, 64, 53, 129, 30, 14, # 10 54, 65, 129, 30, 14, 53, 67, 129, 30, 14, # 20 54, 65, 129, 31, 12, 64, 53, 129, 32, 10, # 30 74, 40, 129, 34, 6, 90, 19, 129, 194, 130, # 40 99, 9, 129, 97, 14, 129, 96, 18, 129, 95, # 50 22, 129, 95, 16, 117, 2, 129, 95, 14, 129, # 60 96, 11, 129, 97, 9, 129, 99, 6, 129, 194, # 70 129, 87, 4, 101, 4, 131, 82, 28, 131, 87, # 80 4, 101, 4, 133, 82, 28, 131, 87, 4, 101, # 90 4, 131, 193, 129, 39, 1, 84, 27, 129, 38, # 100 3, 81, 32, 129, 37, 5, 79, 35, 129, 36, # 110 5, 77, 38, 129, 35, 5, 76, 40, 129, 34, # 120 5, 75, 21, 103, 14, 129, 33, 5, 74, 19, # 130 107, 11, 129, 32, 5, 73, 17, 110, 9, 129, # 140 32, 4, 73, 16, 112, 7, 129, 31, 4, 72, # 150 15, 114, 6, 129, 31, 4, 72, 14, 115, 5, # 160 129, 30, 4, 71, 15, 116, 5, 129, 27, 97, # 170 131, 30, 4, 69, 14, 117, 4, 129, 30, 4, # 180 68, 15, 117, 4, 132, 30, 4, 68, 14, 117, # 190 4, 129, 27, 97, 131, 30, 5, 65, 15, 116, # 200 5, 129, 31, 4, 65, 14, 116, 4, 129, 31, # 210 6, 64, 15, 116, 4, 129, 32, 7, 62, 16, # 220 115, 4, 129, 32, 9, 61, 17, 114, 5, 129, # 230 33, 11, 58, 19, 113, 5, 129, 34, 14, 55, # 240 21, 112, 5, 129, 35, 40, 111, 5, 129, 36, # 250 38, 110, 5, 129, 37, 35, 109, 5, 129, 38, # 260 32, 110, 3, 129, 40, 27, 111, 1, 129, 193, # 270 129, 30, 4, 103, 9, 129, 30, 7, 100, 15, # 280 129, 30, 10, 99, 17, 129, 33, 10, 97, 6, # 290 112, 6, 129, 36, 10, 96, 5, 114, 5, 129, # 300 39, 10, 96, 4, 115, 4, 129, 42, 10, 95, # 310 4, 116, 4, 129, 45, 10, 95, 3, 117, 3, # 320 129, 48, 10, 95, 3, 117, 3, 129, 51, 10, # 330 95, 4, 116, 4, 129, 54, 10, 96, 4, 115, # 340 4, 129, 57, 10, 96, 5, 114, 5, 129, 60, # 350 10, 97, 6, 112, 6, 129, 63, 10, 99, 17, # 360 129, 66, 10, 100, 15, 129, 69, 10, 103, 9, # 370 129, 39, 9, 72, 10, 129, 36, 15, 75, 10, # 380 129, 35, 17, 78, 10, 129, 33, 6, 48, 6, # 390 81, 10, 129, 32, 5, 50, 5, 84, 10, 129, # 400 32, 4, 51, 4, 87, 10, 129, 31, 4, 52, # 410 4, 90, 10, 129, 31, 3, 53, 3, 93, 10, # 420 129, 31, 3, 53, 3, 96, 10, 129, 31, 4, # 430 52, 4, 99, 10, 129, 32, 4, 51, 4, 102, # 440 10, 129, 32, 5, 50, 5, 105, 10, 129, 33, # 450 6, 48, 6, 108, 10, 129, 35, 17, 111, 10, # 460 129, 36, 15, 114, 7, 129, 40, 9, 118, 4, # 470 129, 193, 129, 48, 18, 129, 43, 28, 129, 41, # 480 32, 129, 39, 36, 129, 37, 40, 129, 35, 44, # 490 129, 34, 46, 129, 33, 13, 68, 13, 129, 32, # 500 9, 73, 9, 129, 32, 7, 75, 7, 129, 31, # 510 6, 77, 6, 129, 31, 5, 78, 5, 129, 30, # 520 5, 79, 5, 129, 20, 74, 132, 30, 4, 80, # 530 4, 129, 31, 3, 79, 4, 129, 31, 4, 79, # 540 4, 129, 32, 3, 78, 4, 129, 32, 4, 76, # 550 6, 129, 33, 4, 74, 7, 129, 34, 4, 72, # 560 8, 129, 35, 5, 72, 7, 129, 37, 5, 73, # 570 4, 129, 39, 4, 74, 1, 129, 129, 193, 130, # 580 111, 6, 129, 109, 10, 129, 108, 12, 129, 107, # 590 14, 129, 97, 2, 105, 16, 129, 99, 22, 129, # 600 102, 18, 129, 105, 14, 129, 108, 9, 129, 194, # 610 130, 63, 25, 129, 57, 37, 129, 52, 47, 129, # 620 48, 55, 129, 44, 63, 129, 41, 69, 129, 38, # 630 75, 129, 36, 79, 129, 34, 83, 129, 33, 28, # 640 90, 28, 129, 32, 23, 96, 23, 129, 32, 17, # 650 102, 17, 129, 31, 13, 107, 13, 129, 30, 9, # 660 112, 9, 129, 30, 5, 116, 5, 129, 30, 1, # 670 120, 1, 129, 194, 130, 30, 1, 120, 1, 129, # 680 30, 5, 116, 5, 129, 30, 9, 112, 9, 129, # 690 31, 13, 107, 13, 129, 32, 17, 102, 17, 129, # 700 32, 23, 96, 23, 129, 33, 28, 90, 28, 129, # 710 34, 83, 129, 36, 79, 129, 38, 75, 129, 41, # 720 69, 129, 44, 63, 129, 48, 55, 129, 52, 47, # 730 129, 57, 37, 129, 63, 25, 129, 194, 129, 80, # 740 4, 130, 80, 4, 129, 68, 2, 80, 4, 94, # 750 2, 129, 66, 6, 80, 4, 92, 6, 129, 67, # 760 7, 80, 4, 90, 7, 129, 69, 7, 80, 4, # 770 88, 7, 129, 71, 6, 80, 4, 87, 6, 129, # 780 72, 20, 129, 74, 16, 129, 76, 12, 129, 62, # 790 40, 131, 76, 12, 129, 74, 16, 129, 72, 20, # 800 129, 71, 6, 80, 4, 87, 6, 129, 69, 7, # 810 80, 4, 88, 7, 129, 67, 7, 80, 4, 90, # 820 7, 129, 66, 6, 80, 4, 92, 6, 129, 68, # 830 2, 80, 4, 94, 2, 129, 80, 4, 130, 193, # 840 129, 60, 4, 139, 41, 42, 131, 60, 4, 139, # 850 193, 130, 34, 6, 129, 32, 10, 129, 31, 12, # 860 129, 30, 14, 129, 20, 2, 28, 16, 129, 22, # 870 22, 129, 24, 19, 129, 27, 15, 129, 31, 9, # 880 129, 194, 129, 60, 4, 152, 193, 130, 34, 6, # 890 129, 32, 10, 129, 31, 12, 129, 30, 14, 131, # 900 31, 12, 129, 32, 10, 129, 34, 6, 129, 194, # 910 129, 30, 4, 129, 30, 7, 129, 30, 10, 129, # 920 33, 10, 129, 36, 10, 129, 39, 10, 129, 42, # 930 10, 129, 45, 10, 129, 48, 10, 129, 51, 10, # 940 129, 54, 10, 129, 57, 10, 129, 60, 10, 129, # 950 63, 10, 129, 66, 10, 129, 69, 10, 129, 72, # 960 10, 129, 75, 10, 129, 78, 10, 129, 81, 10, # 970 129, 84, 10, 129, 87, 10, 129, 90, 10, 129, # 980 93, 10, 129, 96, 10, 129, 99, 10, 129, 102, # 990 10, 129, 105, 10, 129, 108, 10, 129, 111, 10, # 1000 129, 114, 7, 129, 117, 4, 129, 193, 129, 60, # 1010 31, 129, 53, 45, 129, 49, 53, 129, 46, 59, # 1020 129, 43, 65, 129, 41, 69, 129, 39, 73, 129, # 1030 37, 77, 129, 36, 79, 129, 35, 15, 101, 15, # 1040 129, 34, 11, 106, 11, 129, 33, 9, 109, 9, # 1050 129, 32, 7, 112, 7, 129, 31, 6, 114, 6, # 1060 129, 31, 5, 115, 5, 129, 30, 5, 116, 5, # 1070 129, 30, 4, 117, 4, 132, 30, 5, 116, 5, # 1080 129, 31, 5, 115, 5, 129, 31, 6, 114, 6, # 1090 129, 32, 7, 112, 7, 129, 33, 9, 109, 9, # 1100 129, 34, 11, 106, 11, 129, 35, 15, 101, 15, # 1110 129, 36, 79, 129, 37, 77, 129, 39, 73, 129, # 1120 41, 69, 129, 43, 65, 129, 46, 59, 129, 49, # 1130 53, 129, 53, 45, 129, 60, 31, 129, 193, 129, # 1140 30, 4, 129, 30, 4, 100, 1, 129, 30, 4, # 1150 100, 3, 129, 30, 4, 100, 5, 129, 30, 76, # 1160 129, 30, 78, 129, 30, 80, 129, 30, 82, 129, # 1170 30, 83, 129, 30, 85, 129, 30, 87, 129, 30, # 1180 89, 129, 30, 91, 129, 30, 4, 132, 193, 129, # 1190 30, 3, 129, 30, 7, 129, 30, 10, 112, 1, # 1200 129, 30, 13, 112, 2, 129, 30, 16, 112, 3, # 1210 129, 30, 18, 111, 5, 129, 30, 21, 111, 6, # 1220 129, 30, 23, 112, 6, 129, 30, 14, 47, 8, # 1230 113, 6, 129, 30, 14, 49, 8, 114, 5, 129, # 1240 30, 14, 51, 8, 115, 5, 129, 30, 14, 53, # 1250 8, 116, 4, 129, 30, 14, 55, 8, 116, 5, # 1260 129, 30, 14, 56, 9, 117, 4, 129, 30, 14, # 1270 57, 9, 117, 4, 129, 30, 14, 58, 10, 117, # 1280 4, 129, 30, 14, 59, 10, 117, 4, 129, 30, # 1290 14, 60, 11, 117, 4, 129, 30, 14, 61, 11, # 1300 116, 5, 129, 30, 14, 62, 11, 116, 5, 129, # 1310 30, 14, 63, 12, 115, 6, 129, 30, 14, 64, # 1320 13, 114, 7, 129, 30, 14, 65, 13, 113, 8, # 1330 129, 30, 14, 65, 15, 111, 9, 129, 30, 14, # 1340 66, 16, 109, 11, 129, 30, 14, 67, 17, 107, # 1350 12, 129, 30, 14, 68, 20, 103, 16, 129, 30, # 1360 14, 69, 49, 129, 30, 14, 70, 47, 129, 30, # 1370 14, 71, 45, 129, 30, 14, 73, 42, 129, 30, # 1380 15, 75, 38, 129, 33, 12, 77, 34, 129, 36, # 1390 10, 79, 30, 129, 40, 6, 82, 23, 129, 44, # 1400 3, 86, 15, 129, 47, 1, 129, 193, 129, 129, # 1410 38, 3, 129, 37, 5, 111, 1, 129, 36, 7, # 1420 111, 2, 129, 35, 9, 110, 5, 129, 34, 8, # 1430 110, 6, 129, 33, 7, 109, 8, 129, 32, 7, # 1440 110, 8, 129, 32, 6, 112, 7, 129, 31, 6, # 1450 113, 6, 129, 31, 5, 114, 6, 129, 30, 5, # 1460 115, 5, 129, 30, 5, 116, 4, 129, 30, 4, # 1470 117, 4, 131, 30, 4, 117, 4, 129, 30, 4, # 1480 79, 2, 117, 4, 129, 30, 5, 78, 4, 117, # 1490 4, 129, 30, 5, 77, 6, 116, 5, 129, 30, # 1500 6, 76, 8, 115, 6, 129, 30, 7, 75, 11, # 1510 114, 6, 129, 30, 8, 73, 15, 112, 8, 129, # 1520 31, 9, 71, 19, 110, 9, 129, 31, 11, 68, # 1530 26, 107, 12, 129, 32, 13, 65, 14, 82, 36, # 1540 129, 32, 16, 61, 17, 83, 34, 129, 33, 44, # 1550 84, 32, 129, 34, 42, 85, 30, 129, 35, 40, # 1560 87, 27, 129, 36, 38, 89, 23, 129, 38, 34, # 1570 92, 17, 129, 40, 30, 95, 11, 129, 42, 26, # 1580 129, 45, 20, 129, 49, 11, 129, 193, 129, 49, # 1590 1, 129, 49, 4, 129, 49, 6, 129, 49, 8, # 1600 129, 49, 10, 129, 49, 12, 129, 49, 14, 129, # 1610 49, 17, 129, 49, 19, 129, 49, 21, 129, 49, # 1620 23, 129, 49, 14, 65, 9, 129, 49, 14, 67, # 1630 9, 129, 49, 14, 69, 9, 129, 49, 14, 71, # 1640 10, 129, 49, 14, 74, 9, 129, 49, 14, 76, # 1650 9, 129, 49, 14, 78, 9, 129, 49, 14, 80, # 1660 9, 129, 49, 14, 82, 9, 129, 49, 14, 84, # 1670 9, 129, 30, 4, 49, 14, 86, 10, 129, 30, # 1680 4, 49, 14, 89, 9, 129, 30, 4, 49, 14, # 1690 91, 9, 129, 30, 4, 49, 14, 93, 9, 129, # 1700 30, 74, 129, 30, 76, 129, 30, 78, 129, 30, # 1710 81, 129, 30, 83, 129, 30, 85, 129, 30, 87, # 1720 129, 30, 89, 129, 30, 91, 129, 30, 4, 49, # 1730 14, 132, 193, 129, 37, 1, 129, 36, 3, 77, # 1740 3, 129, 35, 5, 78, 11, 129, 34, 7, 78, # 1750 21, 129, 33, 7, 79, 29, 129, 32, 7, 79, # 1760 38, 129, 32, 6, 80, 4, 92, 29, 129, 31, # 1770 6, 80, 5, 102, 19, 129, 31, 5, 80, 6, # 1780 107, 14, 129, 31, 4, 81, 5, 107, 14, 129, # 1790 30, 5, 81, 6, 107, 14, 129, 30, 4, 81, # 1800 6, 107, 14, 130, 30, 4, 81, 7, 107, 14, # 1810 129, 30, 4, 80, 8, 107, 14, 130, 30, 5, # 1820 80, 8, 107, 14, 129, 30, 5, 79, 9, 107, # 1830 14, 129, 31, 5, 79, 9, 107, 14, 129, 31, # 1840 6, 78, 10, 107, 14, 129, 32, 6, 76, 11, # 1850 107, 14, 129, 32, 8, 74, 13, 107, 14, 129, # 1860 33, 10, 71, 16, 107, 14, 129, 33, 15, 67, # 1870 19, 107, 14, 129, 34, 51, 107, 14, 129, 35, # 1880 49, 107, 14, 129, 36, 47, 107, 14, 129, 37, # 1890 45, 107, 14, 129, 39, 41, 107, 14, 129, 41, # 1900 37, 107, 14, 129, 44, 32, 107, 14, 129, 47, # 1910 25, 111, 10, 129, 51, 16, 115, 6, 129, 119, # 1920 2, 129, 193, 129, 56, 39, 129, 51, 49, 129, # 1930 47, 57, 129, 44, 63, 129, 42, 67, 129, 40, # 1940 71, 129, 38, 75, 129, 37, 77, 129, 35, 81, # 1950 129, 34, 16, 74, 5, 101, 16, 129, 33, 11, # 1960 76, 5, 107, 11, 129, 32, 9, 77, 5, 110, # 1970 9, 129, 32, 7, 79, 4, 112, 7, 129, 31, # 1980 6, 80, 4, 114, 6, 129, 31, 5, 81, 4, # 1990 115, 5, 129, 30, 5, 82, 4, 116, 5, 129, # 2000 30, 4, 82, 4, 116, 5, 129, 30, 4, 82, # 2010 5, 117, 4, 131, 30, 5, 82, 5, 117, 4, # 2020 129, 31, 5, 81, 6, 117, 4, 129, 31, 6, # 2030 80, 7, 117, 4, 129, 32, 7, 79, 8, 117, # 2040 4, 129, 32, 9, 77, 9, 116, 5, 129, 33, # 2050 11, 75, 11, 116, 4, 129, 34, 16, 69, 16, # 2060 115, 5, 129, 35, 49, 114, 5, 129, 37, 46, # 2070 113, 5, 129, 38, 44, 112, 6, 129, 40, 41, # 2080 112, 5, 129, 42, 37, 113, 3, 129, 44, 33, # 2090 114, 1, 129, 47, 27, 129, 51, 17, 129, 193, # 2100 129, 103, 2, 129, 103, 6, 129, 104, 9, 129, # 2110 105, 12, 129, 106, 15, 129, 107, 14, 135, 30, # 2120 10, 107, 14, 129, 30, 17, 107, 14, 129, 30, # 2130 25, 107, 14, 129, 30, 31, 107, 14, 129, 30, # 2140 37, 107, 14, 129, 30, 42, 107, 14, 129, 30, # 2150 46, 107, 14, 129, 30, 50, 107, 14, 129, 30, # 2160 54, 107, 14, 129, 30, 58, 107, 14, 129, 59, # 2170 32, 107, 14, 129, 64, 30, 107, 14, 129, 74, # 2180 23, 107, 14, 129, 81, 18, 107, 14, 129, 86, # 2190 16, 107, 14, 129, 91, 14, 107, 14, 129, 96, # 2200 25, 129, 100, 21, 129, 104, 17, 129, 107, 14, # 2210 129, 111, 10, 129, 114, 7, 129, 117, 4, 129, # 2220 120, 1, 129, 193, 129, 48, 13, 129, 44, 21, # 2230 129, 42, 26, 129, 40, 30, 92, 12, 129, 38, # 2240 34, 88, 20, 129, 36, 37, 86, 25, 129, 35, # 2250 39, 84, 29, 129, 34, 13, 63, 12, 82, 33, # 2260 129, 33, 11, 67, 9, 80, 36, 129, 32, 9, # 2270 70, 7, 79, 38, 129, 31, 8, 72, 46, 129, # 2280 30, 7, 74, 22, 108, 11, 129, 30, 6, 75, # 2290 19, 111, 9, 129, 30, 5, 75, 17, 113, 7, # 2300 129, 30, 5, 74, 16, 114, 6, 129, 30, 4, # 2310 73, 16, 115, 6, 129, 30, 4, 72, 16, 116, # 2320 5, 129, 30, 4, 72, 15, 117, 4, 129, 30, # 2330 4, 71, 16, 117, 4, 129, 30, 5, 70, 16, # 2340 117, 4, 129, 30, 5, 70, 15, 117, 4, 129, # 2350 30, 6, 69, 15, 116, 5, 129, 30, 7, 68, # 2360 17, 115, 5, 129, 30, 9, 67, 19, 114, 6, # 2370 129, 30, 10, 65, 22, 113, 6, 129, 31, 12, # 2380 63, 27, 110, 9, 129, 32, 14, 60, 21, 84, # 2390 9, 106, 12, 129, 33, 47, 85, 32, 129, 34, # 2400 45, 86, 30, 129, 35, 43, 88, 26, 129, 36, # 2410 40, 90, 22, 129, 38, 36, 93, 17, 129, 40, # 2420 32, 96, 10, 129, 42, 28, 129, 44, 23, 129, # 2430 48, 15, 129, 193, 129, 83, 17, 129, 77, 27, # 2440 129, 36, 1, 74, 33, 129, 35, 3, 72, 37, # 2450 129, 34, 5, 70, 41, 129, 33, 6, 69, 44, # 2460 129, 33, 5, 68, 46, 129, 32, 5, 67, 49, # 2470 129, 31, 5, 66, 17, 101, 16, 129, 31, 5, # 2480 66, 11, 108, 10, 129, 30, 4, 65, 9, 110, # 2490 9, 129, 30, 4, 64, 8, 112, 7, 129, 30, # 2500 4, 64, 7, 114, 6, 129, 30, 4, 64, 6, # 2510 115, 5, 129, 30, 4, 64, 5, 116, 5, 129, # 2520 30, 4, 64, 5, 117, 4, 131, 30, 4, 65, # 2530 4, 117, 4, 129, 30, 5, 65, 4, 116, 5, # 2540 129, 31, 5, 66, 4, 115, 5, 129, 31, 6, # 2550 67, 4, 114, 6, 129, 32, 7, 68, 4, 112, # 2560 7, 129, 32, 9, 69, 5, 110, 9, 129, 33, # 2570 11, 70, 5, 107, 11, 129, 34, 16, 72, 5, # 2580 101, 16, 129, 35, 81, 129, 37, 77, 129, 38, # 2590 75, 129, 40, 71, 129, 42, 67, 129, 44, 63, # 2600 129, 47, 57, 129, 51, 49, 129, 56, 39, 129, # 2610 193, 130, 34, 6, 74, 6, 129, 32, 10, 72, # 2620 10, 129, 31, 12, 71, 12, 129, 30, 14, 70, # 2630 14, 131, 31, 12, 71, 12, 129, 32, 10, 72, # 2640 10, 129, 34, 6, 74, 6, 129, 194, 130, 34, # 2650 6, 74, 6, 129, 32, 10, 72, 10, 129, 31, # 2660 12, 71, 12, 129, 30, 14, 70, 14, 129, 20, # 2670 2, 28, 16, 70, 14, 129, 22, 22, 70, 14, # 2680 129, 24, 19, 71, 12, 129, 27, 15, 72, 10, # 2690 129, 31, 9, 74, 6, 129, 194, 129, 53, 4, # 2700 63, 4, 152, 193, 130, 99, 7, 129, 97, 13, # 2710 129, 96, 16, 129, 96, 18, 129, 96, 19, 129, # 2720 97, 19, 129, 99, 6, 110, 7, 129, 112, 6, # 2730 129, 114, 5, 129, 34, 6, 57, 5, 115, 4, # 2740 129, 32, 10, 54, 12, 116, 4, 129, 31, 12, # 2750 53, 16, 117, 3, 129, 30, 14, 52, 20, 117, # 2760 4, 129, 30, 14, 52, 23, 117, 4, 129, 30, # 2770 14, 52, 25, 117, 4, 129, 31, 12, 52, 27, # 2780 117, 4, 129, 32, 10, 53, 10, 70, 11, 116, # 2790 5, 129, 34, 6, 55, 5, 73, 10, 115, 6, # 2800 129, 74, 11, 114, 7, 129, 75, 12, 112, 9, # 2810 129, 76, 13, 110, 10, 129, 77, 16, 106, 14, # 2820 129, 78, 41, 129, 80, 38, 129, 81, 36, 129, # 2830 82, 34, 129, 84, 30, 129, 86, 26, 129, 88, # 2840 22, 129, 92, 14, 129, 194, 129, 55, 15, 129, # 2850 50, 25, 129, 47, 32, 129, 45, 13, 70, 12, # 2860 129, 43, 9, 76, 10, 129, 42, 6, 79, 8, # 2870 129, 41, 5, 81, 7, 129, 40, 4, 84, 6, # 2880 129, 39, 4, 59, 12, 85, 6, 129, 38, 4, # 2890 55, 19, 87, 5, 129, 37, 4, 53, 23, 88, # 2900 4, 129, 36, 4, 51, 8, 71, 6, 89, 4, # 2910 129, 36, 4, 51, 6, 73, 4, 89, 4, 129, # 2920 36, 4, 50, 6, 74, 4, 90, 3, 129, 35, # 2930 4, 50, 5, 75, 3, 90, 4, 129, 35, 4, # 2940 50, 4, 75, 4, 90, 4, 131, 35, 4, 50, # 2950 5, 75, 4, 90, 4, 129, 36, 4, 51, 5, # 2960 75, 4, 90, 4, 129, 36, 4, 51, 6, 75, # 2970 4, 90, 4, 129, 36, 4, 53, 26, 90, 4, # 2980 129, 37, 4, 54, 25, 90, 4, 129, 37, 4, # 2990 52, 27, 90, 3, 129, 38, 4, 52, 4, 89, # 3000 4, 129, 39, 4, 51, 4, 88, 4, 129, 40, # 3010 4, 50, 4, 87, 5, 129, 41, 4, 50, 4, # 3020 86, 5, 129, 42, 4, 50, 4, 85, 5, 129, # 3030 43, 3, 50, 4, 83, 6, 129, 44, 2, 51, # 3040 5, 80, 7, 129, 46, 1, 52, 6, 76, 9, # 3050 129, 54, 28, 129, 56, 23, 129, 60, 16, 129, # 3060 193, 129, 30, 4, 132, 30, 5, 129, 30, 8, # 3070 129, 30, 12, 129, 30, 16, 129, 30, 4, 37, # 3080 12, 129, 30, 4, 41, 12, 129, 30, 4, 44, # 3090 13, 129, 30, 4, 48, 13, 129, 52, 13, 129, # 3100 56, 12, 129, 58, 14, 129, 58, 4, 64, 12, # 3110 129, 58, 4, 68, 12, 129, 58, 4, 72, 12, # 3120 129, 58, 4, 75, 13, 129, 58, 4, 79, 13, # 3130 129, 58, 4, 83, 13, 129, 58, 4, 87, 13, # 3140 129, 58, 4, 91, 12, 129, 58, 4, 95, 12, # 3150 129, 58, 4, 96, 15, 129, 58, 4, 93, 22, # 3160 129, 58, 4, 89, 30, 129, 58, 4, 85, 36, # 3170 129, 58, 4, 81, 38, 129, 58, 4, 77, 38, # 3180 129, 58, 4, 73, 38, 129, 58, 4, 70, 37, # 3190 129, 58, 4, 66, 37, 129, 58, 41, 129, 58, # 3200 37, 129, 54, 38, 129, 30, 4, 50, 38, 129, # 3210 30, 4, 46, 38, 129, 30, 4, 42, 38, 129, # 3220 30, 4, 38, 39, 129, 30, 43, 129, 30, 39, # 3230 129, 30, 35, 129, 30, 31, 129, 30, 27, 129, # 3240 30, 24, 129, 30, 20, 129, 30, 16, 129, 30, # 3250 12, 129, 30, 8, 129, 30, 5, 129, 30, 4, # 3260 132, 193, 129, 30, 4, 117, 4, 132, 30, 91, # 3270 137, 30, 4, 80, 4, 117, 4, 138, 30, 4, # 3280 80, 5, 116, 5, 129, 30, 5, 79, 6, 116, # 3290 5, 130, 30, 6, 78, 8, 115, 6, 129, 31, # 3300 6, 77, 9, 115, 6, 129, 31, 7, 76, 11, # 3310 114, 6, 129, 31, 8, 75, 14, 112, 8, 129, # 3320 32, 8, 74, 16, 111, 9, 129, 32, 9, 73, # 3330 19, 109, 10, 129, 33, 10, 71, 24, 106, 13, # 3340 129, 33, 13, 68, 12, 83, 35, 129, 34, 16, # 3350 64, 15, 84, 33, 129, 35, 43, 85, 31, 129, # 3360 36, 41, 86, 29, 129, 37, 39, 88, 25, 129, # 3370 38, 37, 90, 21, 129, 40, 33, 93, 15, 129, # 3380 42, 29, 96, 9, 129, 45, 24, 129, 49, 16, # 3390 129, 193, 129, 63, 25, 129, 57, 37, 129, 53, # 3400 45, 129, 50, 51, 129, 47, 57, 129, 45, 61, # 3410 129, 43, 65, 129, 41, 69, 129, 39, 73, 129, # 3420 38, 25, 92, 21, 129, 36, 21, 97, 18, 129, # 3430 35, 18, 102, 14, 129, 34, 16, 106, 11, 129, # 3440 33, 14, 108, 10, 129, 32, 12, 111, 8, 129, # 3450 32, 10, 113, 6, 129, 31, 10, 114, 6, 129, # 3460 31, 8, 115, 5, 129, 30, 8, 116, 5, 129, # 3470 30, 7, 116, 5, 129, 30, 6, 117, 4, 130, # 3480 30, 5, 117, 4, 131, 31, 4, 116, 5, 129, # 3490 32, 4, 116, 4, 129, 32, 5, 115, 5, 129, # 3500 33, 4, 114, 5, 129, 34, 4, 112, 6, 129, # 3510 35, 4, 110, 7, 129, 37, 4, 107, 9, 129, # 3520 39, 4, 103, 12, 129, 41, 4, 103, 18, 129, # 3530 43, 4, 103, 18, 129, 45, 5, 103, 18, 129, # 3540 48, 5, 103, 18, 129, 51, 1, 129, 193, 129, # 3550 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, # 3560 117, 4, 135, 30, 5, 116, 5, 130, 30, 6, # 3570 115, 6, 130, 31, 6, 114, 6, 129, 31, 7, # 3580 113, 7, 129, 32, 7, 112, 7, 129, 32, 8, # 3590 111, 8, 129, 33, 9, 109, 9, 129, 33, 12, # 3600 106, 12, 129, 34, 13, 104, 13, 129, 35, 15, # 3610 101, 15, 129, 36, 19, 96, 19, 129, 37, 24, # 3620 90, 24, 129, 39, 73, 129, 40, 71, 129, 42, # 3630 67, 129, 44, 63, 129, 46, 59, 129, 49, 53, # 3640 129, 52, 47, 129, 56, 39, 129, 61, 29, 129, # 3650 193, 129, 30, 4, 117, 4, 132, 30, 91, 137, # 3660 30, 4, 80, 4, 117, 4, 140, 30, 4, 79, # 3670 6, 117, 4, 129, 30, 4, 77, 10, 117, 4, # 3680 129, 30, 4, 73, 18, 117, 4, 132, 30, 4, # 3690 117, 4, 130, 30, 5, 116, 5, 130, 30, 7, # 3700 114, 7, 129, 30, 8, 113, 8, 129, 30, 11, # 3710 110, 11, 129, 30, 18, 103, 18, 132, 193, 129, # 3720 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, # 3730 80, 4, 117, 4, 132, 80, 4, 117, 4, 136, # 3740 79, 6, 117, 4, 129, 77, 10, 117, 4, 129, # 3750 73, 18, 117, 4, 132, 117, 4, 130, 116, 5, # 3760 130, 114, 7, 129, 113, 8, 129, 110, 11, 129, # 3770 103, 18, 132, 193, 129, 63, 25, 129, 57, 37, # 3780 129, 53, 45, 129, 50, 51, 129, 47, 57, 129, # 3790 45, 61, 129, 43, 65, 129, 41, 69, 129, 39, # 3800 73, 129, 38, 25, 92, 21, 129, 36, 21, 97, # 3810 18, 129, 35, 18, 102, 14, 129, 34, 16, 106, # 3820 11, 129, 33, 14, 108, 10, 129, 32, 12, 111, # 3830 8, 129, 32, 10, 113, 6, 129, 31, 10, 114, # 3840 6, 129, 31, 8, 115, 5, 129, 30, 8, 116, # 3850 5, 129, 30, 7, 116, 5, 129, 30, 6, 117, # 3860 4, 130, 30, 5, 117, 4, 131, 30, 5, 75, # 3870 4, 116, 5, 129, 31, 5, 75, 4, 116, 4, # 3880 129, 31, 6, 75, 4, 115, 5, 129, 32, 7, # 3890 75, 4, 114, 5, 129, 32, 9, 75, 4, 112, # 3900 6, 129, 33, 11, 75, 4, 110, 7, 129, 34, # 3910 15, 75, 4, 107, 9, 129, 35, 44, 103, 12, # 3920 129, 36, 43, 103, 18, 129, 38, 41, 103, 18, # 3930 129, 39, 40, 103, 18, 129, 41, 38, 103, 18, # 3940 129, 44, 35, 129, 48, 31, 129, 52, 27, 129, # 3950 61, 18, 129, 193, 129, 30, 4, 117, 4, 132, # 3960 30, 91, 137, 30, 4, 80, 4, 117, 4, 132, # 3970 80, 4, 140, 30, 4, 80, 4, 117, 4, 132, # 3980 30, 91, 137, 30, 4, 117, 4, 132, 193, 129, # 3990 30, 4, 117, 4, 132, 30, 91, 137, 30, 4, # 4000 117, 4, 132, 193, 129, 44, 7, 129, 40, 13, # 4010 129, 37, 17, 129, 35, 20, 129, 34, 22, 129, # 4020 33, 23, 129, 32, 24, 129, 32, 23, 129, 31, # 4030 6, 41, 13, 129, 31, 5, 42, 11, 129, 30, # 4040 5, 44, 7, 129, 30, 4, 132, 30, 5, 130, # 4050 31, 5, 129, 31, 6, 117, 4, 129, 31, 8, # 4060 117, 4, 129, 32, 9, 117, 4, 129, 33, 11, # 4070 117, 4, 129, 34, 87, 129, 35, 86, 129, 36, # 4080 85, 129, 37, 84, 129, 38, 83, 129, 40, 81, # 4090 129, 42, 79, 129, 45, 76, 129, 50, 71, 129, # 4100 117, 4, 132, 193, 129, 30, 4, 117, 4, 132, # 4110 30, 91, 137, 30, 4, 76, 8, 117, 4, 129, # 4120 30, 4, 73, 13, 117, 4, 129, 30, 4, 70, # 4130 18, 117, 4, 129, 30, 4, 67, 23, 117, 4, # 4140 129, 65, 26, 129, 62, 31, 129, 59, 35, 129, # 4150 56, 29, 89, 7, 129, 53, 29, 91, 7, 129, # 4160 50, 29, 93, 7, 129, 47, 29, 95, 6, 129, # 4170 30, 4, 45, 29, 96, 7, 129, 30, 4, 42, # 4180 29, 98, 7, 129, 30, 4, 39, 30, 100, 6, # 4190 129, 30, 4, 36, 30, 101, 7, 129, 30, 33, # 4200 103, 7, 117, 4, 129, 30, 30, 105, 6, 117, # 4210 4, 129, 30, 27, 106, 7, 117, 4, 129, 30, # 4220 25, 108, 7, 117, 4, 129, 30, 22, 110, 11, # 4230 129, 30, 19, 111, 10, 129, 30, 16, 113, 8, # 4240 129, 30, 13, 115, 6, 129, 30, 11, 116, 5, # 4250 129, 30, 8, 117, 4, 129, 30, 5, 117, 4, # 4260 129, 30, 4, 117, 4, 130, 30, 4, 130, 193, # 4270 129, 30, 4, 117, 4, 132, 30, 91, 137, 30, # 4280 4, 117, 4, 132, 30, 4, 144, 30, 5, 130, # 4290 30, 7, 129, 30, 8, 129, 30, 11, 129, 30, # 4300 18, 132, 193, 129, 30, 4, 117, 4, 132, 30, # 4310 91, 132, 30, 4, 103, 18, 129, 30, 4, 97, # 4320 24, 129, 30, 4, 92, 29, 129, 30, 4, 87, # 4330 34, 129, 81, 40, 129, 76, 45, 129, 70, 49, # 4340 129, 65, 49, 129, 60, 49, 129, 55, 49, 129, # 4350 50, 48, 129, 44, 49, 129, 39, 48, 129, 33, # 4360 49, 129, 30, 47, 129, 34, 37, 129, 40, 26, # 4370 129, 46, 19, 129, 52, 19, 129, 58, 19, 129, # 4380 64, 19, 129, 70, 19, 129, 76, 19, 129, 82, # 4390 19, 129, 30, 4, 88, 18, 129, 30, 4, 94, # 4400 18, 129, 30, 4, 100, 18, 129, 30, 4, 106, # 4410 15, 129, 30, 91, 137, 30, 4, 117, 4, 132, # 4420 193, 129, 30, 4, 117, 4, 132, 30, 91, 132, # 4430 30, 4, 107, 14, 129, 30, 4, 104, 17, 129, # 4440 30, 4, 101, 20, 129, 30, 4, 99, 22, 129, # 4450 96, 25, 129, 93, 28, 129, 91, 28, 129, 88, # 4460 29, 129, 85, 29, 129, 82, 29, 129, 79, 29, # 4470 129, 76, 29, 129, 74, 29, 129, 71, 29, 129, # 4480 68, 29, 129, 65, 29, 129, 62, 29, 129, 60, # 4490 29, 129, 57, 29, 129, 54, 29, 129, 51, 29, # 4500 129, 49, 28, 129, 46, 29, 129, 43, 29, 129, # 4510 40, 29, 117, 4, 129, 37, 29, 117, 4, 129, # 4520 35, 29, 117, 4, 129, 32, 29, 117, 4, 129, # 4530 30, 91, 132, 117, 4, 132, 193, 129, 63, 25, # 4540 129, 57, 37, 129, 53, 45, 129, 50, 51, 129, # 4550 47, 57, 129, 45, 61, 129, 43, 65, 129, 41, # 4560 69, 129, 39, 73, 129, 38, 21, 92, 21, 129, # 4570 36, 18, 97, 18, 129, 35, 14, 102, 14, 129, # 4580 34, 11, 106, 11, 129, 33, 10, 108, 10, 129, # 4590 32, 8, 111, 8, 129, 32, 6, 113, 6, 129, # 4600 31, 6, 114, 6, 129, 31, 5, 115, 5, 129, # 4610 30, 5, 116, 5, 130, 30, 4, 117, 4, 132, # 4620 30, 5, 116, 5, 130, 31, 5, 115, 5, 129, # 4630 31, 6, 114, 6, 129, 32, 6, 113, 6, 129, # 4640 32, 8, 111, 8, 129, 33, 10, 108, 10, 129, # 4650 34, 11, 106, 11, 129, 35, 14, 102, 14, 129, # 4660 36, 18, 97, 18, 129, 38, 21, 92, 21, 129, # 4670 39, 73, 129, 41, 69, 129, 43, 65, 129, 45, # 4680 61, 129, 47, 57, 129, 50, 51, 129, 53, 45, # 4690 129, 57, 37, 129, 63, 25, 129, 193, 129, 30, # 4700 4, 117, 4, 132, 30, 91, 137, 30, 4, 80, # 4710 4, 117, 4, 132, 80, 4, 117, 4, 134, 80, # 4720 5, 116, 5, 131, 80, 6, 115, 6, 130, 81, # 4730 6, 114, 6, 129, 81, 8, 112, 8, 129, 81, # 4740 9, 111, 9, 129, 82, 10, 109, 10, 129, 82, # 4750 13, 106, 13, 129, 83, 35, 129, 84, 33, 129, # 4760 85, 31, 129, 86, 29, 129, 88, 25, 129, 90, # 4770 21, 129, 93, 15, 129, 96, 9, 129, 193, 129, # 4780 63, 25, 129, 57, 37, 129, 53, 45, 129, 50, # 4790 51, 129, 47, 57, 129, 45, 61, 129, 43, 65, # 4800 129, 41, 69, 129, 39, 73, 129, 38, 21, 92, # 4810 21, 129, 36, 18, 97, 18, 129, 35, 14, 102, # 4820 14, 129, 34, 11, 106, 11, 129, 33, 10, 108, # 4830 10, 129, 32, 8, 111, 8, 129, 32, 6, 113, # 4840 6, 129, 31, 6, 114, 6, 129, 31, 5, 115, # 4850 5, 129, 30, 5, 116, 5, 130, 30, 4, 39, # 4860 2, 117, 4, 129, 30, 4, 40, 4, 117, 4, # 4870 129, 30, 4, 41, 5, 117, 4, 129, 30, 4, # 4880 41, 6, 117, 4, 129, 30, 5, 40, 8, 116, # 4890 5, 129, 30, 5, 39, 10, 116, 5, 129, 31, # 4900 5, 38, 11, 115, 5, 129, 31, 18, 114, 6, # 4910 129, 32, 17, 113, 6, 129, 32, 16, 111, 8, # 4920 129, 33, 15, 108, 10, 129, 33, 14, 106, 11, # 4930 129, 32, 17, 102, 14, 129, 31, 23, 97, 18, # 4940 129, 31, 28, 92, 21, 129, 30, 82, 129, 30, # 4950 80, 129, 30, 11, 43, 65, 129, 30, 10, 45, # 4960 61, 129, 31, 8, 47, 57, 129, 32, 6, 50, # 4970 51, 129, 33, 5, 53, 45, 129, 35, 4, 57, # 4980 37, 129, 38, 2, 63, 25, 129, 193, 129, 30, # 4990 4, 117, 4, 132, 30, 91, 137, 30, 4, 76, # 5000 8, 117, 4, 129, 30, 4, 73, 11, 117, 4, # 5010 129, 30, 4, 70, 14, 117, 4, 129, 30, 4, # 5020 67, 17, 117, 4, 129, 65, 19, 117, 4, 129, # 5030 62, 22, 117, 4, 129, 59, 25, 117, 4, 129, # 5040 56, 28, 117, 4, 129, 53, 31, 117, 4, 129, # 5050 50, 34, 117, 4, 129, 47, 29, 80, 5, 116, # 5060 5, 129, 30, 4, 45, 29, 80, 5, 116, 5, # 5070 129, 30, 4, 42, 29, 80, 5, 116, 5, 129, # 5080 30, 4, 39, 30, 80, 6, 115, 6, 129, 30, # 5090 4, 36, 30, 80, 6, 115, 6, 129, 30, 33, # 5100 81, 6, 114, 6, 129, 30, 30, 81, 8, 112, # 5110 8, 129, 30, 27, 81, 9, 111, 9, 129, 30, # 5120 25, 82, 10, 109, 10, 129, 30, 22, 82, 13, # 5130 106, 13, 129, 30, 19, 83, 35, 129, 30, 16, # 5140 84, 33, 129, 30, 13, 85, 31, 129, 30, 11, # 5150 86, 29, 129, 30, 8, 88, 25, 129, 30, 5, # 5160 90, 21, 129, 30, 4, 93, 15, 129, 30, 4, # 5170 96, 9, 129, 30, 4, 130, 193, 129, 30, 18, # 5180 130, 30, 18, 89, 15, 129, 30, 18, 85, 23, # 5190 129, 34, 11, 83, 27, 129, 34, 9, 81, 31, # 5200 129, 33, 8, 79, 35, 129, 33, 6, 78, 16, # 5210 106, 9, 129, 32, 6, 77, 15, 109, 7, 129, # 5220 32, 5, 76, 14, 111, 6, 129, 31, 5, 75, # 5230 14, 113, 5, 129, 31, 4, 74, 15, 114, 5, # 5240 129, 31, 4, 74, 14, 115, 4, 129, 30, 4, # 5250 73, 15, 116, 4, 129, 30, 4, 73, 14, 116, # 5260 4, 129, 30, 4, 73, 14, 117, 4, 129, 30, # 5270 4, 72, 15, 117, 4, 130, 30, 4, 71, 15, # 5280 117, 4, 130, 30, 4, 70, 15, 117, 4, 129, # 5290 30, 5, 70, 15, 117, 4, 129, 30, 5, 69, # 5300 15, 116, 5, 129, 30, 6, 68, 16, 115, 5, # 5310 129, 31, 6, 67, 16, 114, 6, 129, 31, 7, # 5320 66, 17, 113, 6, 129, 32, 7, 64, 18, 111, # 5330 8, 129, 32, 8, 62, 19, 109, 9, 129, 33, # 5340 9, 60, 20, 107, 10, 129, 34, 11, 57, 22, # 5350 103, 13, 129, 35, 43, 103, 18, 129, 36, 41, # 5360 103, 18, 129, 38, 38, 103, 18, 129, 39, 35, # 5370 103, 18, 129, 41, 31, 129, 43, 27, 129, 46, # 5380 22, 129, 49, 14, 129, 193, 129, 103, 18, 132, # 5390 110, 11, 129, 113, 8, 129, 114, 7, 129, 116, # 5400 5, 130, 117, 4, 132, 30, 4, 117, 4, 132, # 5410 30, 91, 137, 30, 4, 117, 4, 132, 117, 4, # 5420 132, 116, 5, 130, 114, 7, 129, 113, 8, 129, # 5430 110, 11, 129, 103, 18, 132, 193, 129, 117, 4, # 5440 132, 56, 65, 129, 50, 71, 129, 46, 75, 129, # 5450 44, 77, 129, 42, 79, 129, 40, 81, 129, 38, # 5460 83, 129, 36, 85, 129, 35, 86, 129, 34, 20, # 5470 117, 4, 129, 33, 17, 117, 4, 129, 32, 15, # 5480 117, 4, 129, 32, 13, 117, 4, 129, 31, 12, # 5490 129, 31, 10, 129, 31, 9, 129, 30, 9, 129, # 5500 30, 8, 130, 30, 7, 132, 31, 6, 130, 31, # 5510 7, 129, 32, 6, 129, 32, 7, 129, 33, 7, # 5520 129, 34, 7, 129, 35, 8, 129, 36, 9, 117, # 5530 4, 129, 38, 9, 117, 4, 129, 40, 10, 117, # 5540 4, 129, 42, 12, 117, 4, 129, 44, 77, 129, # 5550 46, 75, 129, 50, 71, 129, 56, 43, 100, 21, # 5560 129, 117, 4, 132, 193, 129, 117, 4, 132, 115, # 5570 6, 129, 110, 11, 129, 105, 16, 129, 101, 20, # 5580 129, 96, 25, 129, 92, 29, 129, 87, 34, 129, # 5590 83, 38, 129, 78, 43, 129, 74, 47, 129, 70, # 5600 42, 117, 4, 129, 65, 42, 117, 4, 129, 60, # 5610 43, 117, 4, 129, 56, 42, 129, 51, 42, 129, # 5620 46, 43, 129, 42, 43, 129, 37, 44, 129, 33, # 5630 43, 129, 30, 42, 129, 33, 34, 129, 38, 25, # 5640 129, 42, 16, 129, 47, 15, 129, 52, 15, 129, # 5650 57, 15, 129, 61, 16, 129, 66, 16, 129, 71, # 5660 16, 129, 76, 16, 129, 80, 16, 129, 85, 16, # 5670 117, 4, 129, 90, 16, 117, 4, 129, 95, 16, # 5680 117, 4, 129, 100, 21, 129, 105, 16, 129, 110, # 5690 11, 129, 114, 7, 129, 117, 4, 132, 193, 129, # 5700 117, 4, 132, 115, 6, 129, 110, 11, 129, 105, # 5710 16, 129, 101, 20, 129, 96, 25, 129, 92, 29, # 5720 129, 87, 34, 129, 83, 38, 129, 78, 43, 129, # 5730 74, 47, 129, 70, 42, 117, 4, 129, 65, 42, # 5740 117, 4, 129, 60, 43, 117, 4, 129, 56, 42, # 5750 129, 51, 42, 129, 46, 43, 129, 42, 43, 129, # 5760 37, 44, 129, 33, 43, 129, 30, 42, 129, 33, # 5770 34, 129, 38, 25, 129, 42, 16, 129, 47, 15, # 5780 129, 52, 15, 129, 57, 15, 129, 61, 16, 129, # 5790 65, 17, 129, 60, 27, 129, 56, 36, 129, 51, # 5800 42, 129, 46, 43, 129, 42, 43, 129, 37, 44, # 5810 129, 33, 43, 129, 30, 42, 129, 33, 34, 129, # 5820 38, 25, 129, 42, 16, 129, 47, 15, 129, 52, # 5830 15, 129, 57, 15, 129, 61, 16, 129, 66, 16, # 5840 129, 71, 16, 129, 76, 16, 129, 80, 16, 129, # 5850 85, 16, 117, 4, 129, 90, 16, 117, 4, 129, # 5860 95, 16, 117, 4, 129, 100, 21, 129, 105, 16, # 5870 129, 110, 11, 129, 114, 7, 129, 117, 4, 132, # 5880 193, 129, 30, 4, 117, 4, 132, 30, 4, 115, # 5890 6, 129, 30, 4, 112, 9, 129, 30, 6, 109, # 5900 12, 129, 30, 9, 106, 15, 129, 30, 11, 103, # 5910 18, 129, 30, 14, 100, 21, 129, 30, 4, 38, # 5920 9, 98, 23, 129, 30, 4, 40, 10, 95, 26, # 5930 129, 30, 4, 43, 9, 92, 29, 129, 46, 9, # 5940 89, 32, 129, 49, 8, 86, 28, 117, 4, 129, # 5950 51, 9, 83, 28, 117, 4, 129, 54, 9, 80, # 5960 28, 117, 4, 129, 57, 8, 77, 28, 117, 4, # 5970 129, 59, 9, 74, 28, 129, 62, 37, 129, 64, # 5980 33, 129, 66, 28, 129, 63, 28, 129, 60, 28, # 5990 129, 57, 28, 129, 54, 33, 129, 51, 39, 129, # 6000 48, 29, 83, 9, 129, 30, 4, 45, 29, 86, # 6010 9, 129, 30, 4, 42, 29, 89, 9, 129, 30, # 6020 4, 39, 29, 92, 8, 129, 30, 4, 36, 29, # 6030 94, 9, 129, 30, 32, 97, 9, 129, 30, 29, # 6040 100, 8, 117, 4, 129, 30, 26, 103, 8, 117, # 6050 4, 129, 30, 23, 105, 9, 117, 4, 129, 30, # 6060 20, 108, 13, 129, 30, 18, 111, 10, 129, 30, # 6070 15, 113, 8, 129, 30, 12, 116, 5, 129, 30, # 6080 9, 117, 4, 129, 30, 6, 117, 4, 129, 30, # 6090 4, 117, 4, 132, 193, 129, 117, 4, 132, 114, # 6100 7, 129, 111, 10, 129, 108, 13, 129, 105, 16, # 6110 129, 102, 19, 129, 100, 21, 129, 96, 25, 129, # 6120 93, 28, 129, 90, 31, 129, 87, 34, 129, 84, # 6130 30, 117, 4, 129, 30, 4, 81, 30, 117, 4, # 6140 129, 30, 4, 78, 30, 117, 4, 129, 30, 4, # 6150 75, 30, 117, 4, 129, 30, 4, 72, 30, 129, # 6160 30, 69, 129, 30, 66, 129, 30, 63, 129, 30, # 6170 60, 129, 30, 57, 129, 30, 54, 129, 30, 51, # 6180 129, 30, 48, 129, 30, 51, 129, 30, 4, 73, # 6190 12, 129, 30, 4, 76, 12, 129, 30, 4, 80, # 6200 12, 129, 30, 4, 83, 12, 129, 87, 12, 129, # 6210 90, 12, 117, 4, 129, 94, 11, 117, 4, 129, # 6220 97, 12, 117, 4, 129, 101, 12, 117, 4, 129, # 6230 104, 17, 129, 108, 13, 129, 111, 10, 129, 115, # 6240 6, 129, 117, 4, 134, 193, 129, 30, 1, 103, # 6250 18, 129, 30, 4, 103, 18, 129, 30, 7, 103, # 6260 18, 129, 30, 9, 103, 18, 129, 30, 12, 110, # 6270 11, 129, 30, 15, 113, 8, 129, 30, 18, 114, # 6280 7, 129, 30, 21, 116, 5, 129, 30, 24, 116, # 6290 5, 129, 30, 27, 117, 4, 129, 30, 30, 117, # 6300 4, 129, 30, 33, 117, 4, 129, 30, 4, 37, # 6310 28, 117, 4, 129, 30, 4, 40, 28, 117, 4, # 6320 129, 30, 4, 42, 29, 117, 4, 129, 30, 4, # 6330 45, 29, 117, 4, 129, 30, 4, 48, 29, 117, # 6340 4, 129, 30, 4, 51, 29, 117, 4, 129, 30, # 6350 4, 54, 29, 117, 4, 129, 30, 4, 57, 29, # 6360 117, 4, 129, 30, 4, 59, 30, 117, 4, 129, # 6370 30, 4, 62, 30, 117, 4, 129, 30, 4, 65, # 6380 30, 117, 4, 129, 30, 4, 68, 30, 117, 4, # 6390 129, 30, 4, 71, 30, 117, 4, 129, 30, 4, # 6400 74, 30, 117, 4, 129, 30, 4, 77, 30, 117, # 6410 4, 129, 30, 4, 80, 30, 117, 4, 129, 30, # 6420 4, 83, 30, 117, 4, 129, 30, 4, 86, 35, # 6430 129, 30, 4, 89, 32, 129, 30, 4, 91, 30, # 6440 129, 30, 4, 94, 27, 129, 30, 5, 97, 24, # 6450 129, 30, 5, 100, 21, 129, 30, 7, 103, 18, # 6460 129, 30, 8, 106, 15, 129, 30, 11, 109, 12, # 6470 129, 30, 18, 112, 9, 129, 30, 18, 115, 6, # 6480 129, 30, 18, 117, 4, 129, 30, 18, 120, 1, # 6490 129, 193, 129, 42, 8, 129, 38, 16, 129, 36, # 6500 20, 129, 34, 24, 71, 5, 129, 33, 26, 69, # 6510 10, 129, 32, 28, 68, 13, 129, 31, 30, 68, # 6520 14, 129, 31, 9, 52, 9, 68, 15, 129, 30, # 6530 8, 54, 8, 69, 14, 129, 30, 7, 55, 7, # 6540 71, 4, 78, 6, 129, 30, 6, 56, 6, 79, # 6550 5, 129, 30, 6, 56, 6, 80, 4, 130, 31, # 6560 5, 56, 5, 80, 4, 129, 31, 5, 56, 5, # 6570 79, 5, 129, 32, 5, 55, 5, 78, 6, 129, # 6580 33, 5, 54, 5, 77, 7, 129, 34, 6, 52, # 6590 6, 74, 9, 129, 35, 48, 129, 33, 49, 129, # 6600 32, 49, 129, 31, 49, 129, 30, 49, 129, 30, # 6610 47, 129, 30, 45, 129, 30, 41, 129, 30, 6, # 6620 129, 30, 4, 129, 30, 3, 129, 30, 2, 129, # 6630 193, 129, 30, 4, 117, 4, 130, 31, 90, 136, # 6640 37, 5, 72, 5, 129, 35, 5, 74, 5, 129, # 6650 33, 5, 76, 5, 129, 32, 5, 77, 5, 129, # 6660 31, 5, 78, 5, 129, 31, 4, 79, 4, 129, # 6670 30, 5, 79, 5, 131, 30, 6, 78, 6, 129, # 6680 30, 7, 77, 7, 129, 31, 8, 75, 8, 129, # 6690 31, 11, 72, 11, 129, 32, 15, 67, 15, 129, # 6700 33, 48, 129, 34, 46, 129, 35, 44, 129, 37, # 6710 40, 129, 39, 36, 129, 42, 30, 129, 46, 22, # 6720 129, 193, 129, 48, 18, 129, 43, 28, 129, 41, # 6730 32, 129, 39, 36, 129, 37, 40, 129, 35, 44, # 6740 129, 34, 46, 129, 33, 13, 68, 13, 129, 32, # 6750 9, 73, 9, 129, 32, 7, 75, 7, 129, 31, # 6760 6, 77, 6, 129, 31, 5, 78, 5, 129, 30, # 6770 5, 79, 5, 129, 30, 4, 80, 4, 133, 31, # 6780 3, 79, 4, 129, 31, 4, 79, 4, 129, 32, # 6790 3, 78, 4, 129, 32, 4, 76, 6, 129, 33, # 6800 4, 74, 7, 129, 34, 4, 72, 8, 129, 35, # 6810 5, 72, 7, 129, 37, 5, 73, 4, 129, 39, # 6820 4, 74, 1, 129, 129, 193, 129, 46, 22, 129, # 6830 42, 30, 129, 39, 36, 129, 37, 40, 129, 35, # 6840 44, 129, 34, 46, 129, 33, 48, 129, 32, 15, # 6850 67, 15, 129, 31, 11, 72, 11, 129, 31, 8, # 6860 75, 8, 129, 30, 7, 77, 7, 129, 30, 6, # 6870 78, 6, 129, 30, 5, 79, 5, 131, 31, 4, # 6880 79, 4, 129, 31, 5, 78, 5, 129, 32, 5, # 6890 77, 5, 129, 33, 5, 76, 5, 129, 35, 5, # 6900 74, 5, 117, 4, 129, 37, 5, 72, 5, 117, # 6910 4, 129, 30, 91, 136, 30, 4, 130, 193, 129, # 6920 48, 18, 129, 43, 28, 129, 41, 32, 129, 39, # 6930 36, 129, 37, 40, 129, 35, 44, 129, 34, 46, # 6940 129, 33, 13, 55, 4, 68, 13, 129, 32, 9, # 6950 55, 4, 73, 9, 129, 32, 7, 55, 4, 75, # 6960 7, 129, 31, 6, 55, 4, 77, 6, 129, 31, # 6970 5, 55, 4, 78, 5, 129, 30, 5, 55, 4, # 6980 79, 5, 129, 30, 4, 55, 4, 80, 4, 132, # 6990 30, 4, 55, 4, 79, 5, 129, 31, 3, 55, # 7000 4, 78, 5, 129, 31, 4, 55, 4, 77, 6, # 7010 129, 32, 3, 55, 4, 75, 7, 129, 32, 4, # 7020 55, 4, 73, 9, 129, 33, 4, 55, 4, 68, # 7030 13, 129, 34, 4, 55, 25, 129, 35, 5, 55, # 7040 24, 129, 37, 5, 55, 22, 129, 39, 4, 55, # 7050 20, 129, 55, 18, 129, 55, 16, 129, 55, 11, # 7060 129, 193, 129, 80, 4, 129, 30, 4, 80, 4, # 7070 130, 30, 78, 129, 30, 82, 129, 30, 85, 129, # 7080 30, 87, 129, 30, 88, 129, 30, 89, 129, 30, # 7090 90, 130, 30, 4, 80, 4, 115, 6, 129, 30, # 7100 4, 80, 4, 117, 4, 129, 80, 4, 105, 6, # 7110 117, 4, 129, 80, 4, 103, 10, 116, 5, 129, # 7120 80, 4, 102, 19, 129, 80, 4, 101, 19, 129, # 7130 101, 19, 129, 101, 18, 129, 102, 16, 129, 103, # 7140 12, 129, 105, 6, 129, 193, 129, 12, 10, 59, # 7150 11, 129, 9, 16, 55, 19, 129, 7, 20, 53, # 7160 23, 129, 6, 7, 23, 5, 32, 6, 51, 27, # 7170 129, 4, 7, 25, 16, 50, 29, 129, 3, 6, # 7180 27, 16, 49, 31, 129, 2, 6, 28, 16, 48, # 7190 33, 129, 1, 6, 27, 18, 47, 35, 129, 1, # 7200 6, 27, 31, 71, 12, 129, 1, 5, 26, 15, # 7210 44, 10, 75, 8, 129, 1, 5, 25, 14, 45, # 7220 7, 77, 7, 129, 1, 5, 25, 13, 45, 5, # 7230 79, 5, 129, 1, 5, 24, 14, 45, 4, 80, # 7240 4, 129, 1, 5, 24, 13, 45, 4, 80, 4, # 7250 129, 1, 5, 23, 14, 45, 4, 80, 4, 129, # 7260 1, 5, 23, 13, 45, 4, 80, 4, 129, 1, # 7270 6, 22, 13, 45, 5, 79, 5, 129, 1, 6, # 7280 21, 14, 45, 7, 77, 7, 129, 1, 7, 21, # 7290 13, 46, 8, 75, 8, 129, 1, 8, 20, 13, # 7300 46, 12, 71, 12, 129, 1, 10, 18, 15, 47, # 7310 35, 129, 2, 30, 48, 33, 129, 3, 29, 49, # 7320 32, 129, 4, 27, 50, 31, 129, 5, 25, 51, # 7330 27, 80, 2, 86, 4, 129, 7, 21, 53, 23, # 7340 80, 3, 85, 6, 129, 9, 17, 55, 19, 80, # 7350 12, 129, 12, 12, 59, 11, 81, 11, 129, 82, # 7360 10, 129, 84, 7, 129, 86, 4, 129, 193, 129, # 7370 30, 4, 117, 4, 130, 30, 91, 136, 30, 4, # 7380 72, 5, 129, 30, 4, 74, 5, 129, 75, 5, # 7390 129, 76, 5, 129, 76, 6, 129, 77, 6, 130, # 7400 77, 7, 130, 76, 8, 129, 30, 4, 75, 9, # 7410 129, 30, 4, 72, 12, 129, 30, 54, 129, 30, # 7420 53, 130, 30, 52, 129, 30, 51, 129, 30, 49, # 7430 129, 30, 46, 129, 30, 42, 129, 30, 4, 130, # 7440 193, 129, 30, 4, 80, 4, 129, 30, 4, 80, # 7450 4, 100, 6, 129, 30, 54, 98, 10, 129, 30, # 7460 54, 97, 12, 129, 30, 54, 96, 14, 131, 30, # 7470 54, 97, 12, 129, 30, 54, 98, 10, 129, 30, # 7480 54, 100, 6, 129, 30, 4, 130, 193, 129, 7, # 7490 6, 129, 4, 11, 129, 3, 13, 129, 2, 14, # 7500 129, 1, 15, 130, 1, 3, 6, 9, 129, 1, # 7510 3, 7, 6, 129, 1, 3, 130, 1, 4, 129, # 7520 1, 5, 80, 4, 129, 1, 7, 80, 4, 100, # 7530 6, 129, 2, 82, 98, 10, 129, 3, 81, 97, # 7540 12, 129, 4, 80, 96, 14, 129, 5, 79, 96, # 7550 14, 129, 7, 77, 96, 14, 129, 10, 74, 97, # 7560 12, 129, 14, 70, 98, 10, 129, 19, 65, 100, # 7570 6, 129, 193, 129, 30, 4, 117, 4, 130, 30, # 7580 91, 136, 30, 4, 57, 9, 129, 30, 4, 55, # 7590 12, 129, 52, 17, 129, 50, 20, 129, 48, 24, # 7600 129, 46, 27, 129, 44, 21, 69, 6, 129, 41, # 7610 22, 70, 6, 80, 4, 129, 30, 4, 39, 21, # 7620 72, 6, 80, 4, 129, 30, 4, 36, 22, 73, # 7630 11, 129, 30, 26, 75, 9, 129, 30, 23, 76, # 7640 8, 129, 30, 21, 78, 6, 129, 30, 19, 79, # 7650 5, 129, 30, 16, 80, 4, 129, 30, 14, 80, # 7660 4, 129, 30, 12, 129, 30, 10, 129, 30, 7, # 7670 129, 30, 5, 129, 30, 4, 130, 193, 129, 30, # 7680 4, 117, 4, 130, 30, 91, 136, 30, 4, 130, # 7690 193, 129, 30, 4, 80, 4, 130, 30, 54, 136, # 7700 30, 4, 72, 5, 129, 30, 4, 74, 5, 129, # 7710 75, 5, 129, 76, 5, 129, 30, 4, 75, 7, # 7720 129, 30, 4, 74, 9, 129, 30, 54, 132, 30, # 7730 53, 129, 30, 52, 129, 30, 51, 129, 30, 48, # 7740 129, 30, 4, 72, 5, 129, 30, 4, 74, 5, # 7750 129, 75, 5, 129, 76, 5, 129, 30, 4, 75, # 7760 7, 129, 30, 4, 74, 9, 129, 30, 54, 132, # 7770 30, 53, 129, 30, 52, 129, 30, 51, 129, 30, # 7780 48, 129, 30, 4, 130, 193, 129, 30, 4, 80, # 7790 4, 130, 30, 54, 136, 30, 4, 72, 5, 129, # 7800 30, 4, 74, 5, 129, 75, 5, 129, 76, 5, # 7810 129, 76, 6, 129, 77, 6, 130, 77, 7, 130, # 7820 76, 8, 129, 30, 4, 75, 9, 129, 30, 4, # 7830 72, 12, 129, 30, 54, 129, 30, 53, 130, 30, # 7840 52, 129, 30, 51, 129, 30, 49, 129, 30, 46, # 7850 129, 30, 42, 129, 30, 4, 130, 193, 129, 48, # 7860 18, 129, 43, 28, 129, 41, 32, 129, 39, 36, # 7870 129, 37, 40, 129, 35, 44, 129, 34, 46, 129, # 7880 33, 13, 68, 13, 129, 32, 9, 73, 9, 129, # 7890 32, 7, 75, 7, 129, 31, 6, 77, 6, 129, # 7900 31, 5, 78, 5, 129, 30, 5, 79, 5, 129, # 7910 30, 4, 80, 4, 132, 30, 5, 79, 5, 130, # 7920 31, 5, 78, 5, 129, 31, 6, 77, 6, 129, # 7930 32, 7, 75, 7, 129, 32, 9, 73, 9, 129, # 7940 33, 13, 68, 13, 129, 34, 46, 129, 35, 44, # 7950 129, 37, 40, 129, 39, 36, 129, 41, 32, 129, # 7960 43, 28, 129, 48, 18, 129, 193, 129, 1, 3, # 7970 80, 4, 130, 1, 83, 137, 37, 5, 72, 5, # 7980 129, 35, 5, 74, 5, 129, 33, 5, 76, 5, # 7990 129, 32, 5, 77, 5, 129, 31, 5, 78, 5, # 8000 129, 31, 4, 79, 4, 129, 30, 5, 79, 5, # 8010 131, 30, 6, 78, 6, 129, 30, 7, 77, 7, # 8020 129, 31, 8, 75, 8, 129, 31, 11, 72, 11, # 8030 129, 32, 15, 67, 15, 129, 33, 48, 129, 34, # 8040 46, 129, 35, 44, 129, 37, 40, 129, 39, 36, # 8050 129, 42, 30, 129, 46, 22, 129, 193, 129, 46, # 8060 22, 129, 42, 30, 129, 39, 36, 129, 37, 40, # 8070 129, 35, 44, 129, 34, 46, 129, 33, 48, 129, # 8080 32, 15, 67, 15, 129, 31, 11, 72, 11, 129, # 8090 31, 8, 75, 8, 129, 30, 7, 77, 7, 129, # 8100 30, 6, 78, 6, 129, 30, 5, 79, 5, 131, # 8110 31, 4, 79, 4, 129, 31, 5, 78, 5, 129, # 8120 32, 5, 77, 5, 129, 33, 5, 76, 5, 129, # 8130 35, 5, 74, 5, 129, 37, 5, 72, 5, 129, # 8140 1, 83, 136, 1, 3, 80, 4, 130, 193, 129, # 8150 30, 4, 80, 4, 130, 30, 54, 136, 30, 4, # 8160 68, 6, 129, 30, 4, 70, 6, 129, 71, 7, # 8170 129, 72, 7, 129, 73, 7, 129, 74, 7, 129, # 8180 74, 8, 129, 75, 8, 130, 69, 15, 129, 67, # 8190 17, 129, 66, 18, 129, 65, 19, 130, 65, 18, # 8200 130, 66, 16, 129, 67, 13, 129, 69, 8, 129, # 8210 193, 129, 30, 13, 64, 8, 129, 30, 13, 61, # 8220 14, 129, 30, 13, 59, 18, 129, 30, 13, 57, # 8230 22, 129, 33, 8, 56, 24, 129, 32, 7, 55, # 8240 26, 129, 32, 6, 54, 28, 129, 31, 6, 53, # 8250 16, 77, 6, 129, 31, 5, 53, 14, 79, 4, # 8260 129, 30, 5, 52, 14, 80, 4, 129, 30, 5, # 8270 52, 13, 80, 4, 129, 30, 4, 52, 13, 80, # 8280 4, 129, 30, 4, 52, 12, 80, 4, 129, 30, # 8290 4, 51, 13, 80, 4, 130, 30, 4, 50, 13, # 8300 79, 5, 129, 30, 4, 50, 13, 78, 5, 129, # 8310 30, 5, 49, 14, 77, 6, 129, 31, 4, 49, # 8320 13, 76, 6, 129, 31, 5, 48, 14, 75, 7, # 8330 129, 32, 5, 47, 14, 73, 8, 129, 32, 6, # 8340 45, 16, 71, 13, 129, 33, 27, 71, 13, 129, # 8350 34, 26, 71, 13, 129, 35, 24, 71, 13, 129, # 8360 37, 20, 129, 39, 16, 129, 43, 9, 129, 193, # 8370 129, 80, 4, 131, 41, 56, 129, 37, 60, 129, # 8380 35, 62, 129, 33, 64, 129, 32, 65, 129, 31, # 8390 66, 129, 30, 67, 130, 30, 11, 80, 4, 129, # 8400 30, 9, 80, 4, 129, 30, 8, 80, 4, 129, # 8410 31, 7, 80, 4, 129, 31, 6, 129, 32, 5, # 8420 129, 33, 5, 129, 35, 4, 129, 38, 3, 129, # 8430 193, 129, 80, 4, 130, 42, 42, 129, 38, 46, # 8440 129, 35, 49, 129, 33, 51, 129, 32, 52, 129, # 8450 31, 53, 130, 30, 54, 129, 30, 12, 129, 30, # 8460 9, 129, 30, 8, 129, 30, 7, 130, 31, 6, # 8470 130, 32, 6, 129, 33, 5, 129, 34, 5, 129, # 8480 35, 5, 80, 4, 129, 37, 5, 80, 4, 129, # 8490 30, 54, 136, 30, 4, 130, 193, 129, 80, 4, # 8500 130, 77, 7, 129, 74, 10, 129, 70, 14, 129, # 8510 66, 18, 129, 62, 22, 129, 59, 25, 129, 55, # 8520 29, 129, 51, 33, 129, 47, 37, 129, 44, 32, # 8530 80, 4, 129, 40, 32, 80, 4, 129, 36, 32, # 8540 129, 32, 33, 129, 30, 31, 129, 33, 24, 129, # 8550 36, 17, 129, 40, 12, 129, 44, 12, 129, 48, # 8560 12, 129, 51, 13, 129, 55, 13, 129, 59, 13, # 8570 80, 4, 129, 63, 13, 80, 4, 129, 67, 17, # 8580 129, 71, 13, 129, 74, 10, 129, 78, 6, 129, # 8590 80, 4, 131, 193, 129, 80, 4, 130, 77, 7, # 8600 129, 74, 10, 129, 70, 14, 129, 66, 18, 129, # 8610 62, 22, 129, 59, 25, 129, 55, 29, 129, 51, # 8620 33, 129, 47, 37, 129, 44, 32, 80, 4, 129, # 8630 40, 32, 80, 4, 129, 36, 32, 129, 32, 33, # 8640 129, 30, 31, 129, 33, 24, 129, 36, 17, 129, # 8650 40, 12, 129, 44, 12, 129, 47, 13, 129, 44, # 8660 20, 129, 40, 28, 129, 36, 31, 129, 32, 32, # 8670 129, 30, 30, 129, 33, 24, 129, 36, 17, 129, # 8680 40, 12, 129, 44, 12, 129, 48, 12, 129, 51, # 8690 13, 129, 55, 13, 129, 59, 13, 80, 4, 129, # 8700 63, 13, 80, 4, 129, 67, 17, 129, 71, 13, # 8710 129, 74, 10, 129, 78, 6, 129, 80, 4, 131, # 8720 193, 129, 30, 4, 80, 4, 130, 30, 4, 79, # 8730 5, 129, 30, 5, 77, 7, 129, 30, 6, 74, # 8740 10, 129, 30, 8, 72, 12, 129, 30, 11, 69, # 8750 15, 129, 30, 13, 67, 17, 129, 30, 4, 37, # 8760 8, 64, 20, 129, 30, 4, 39, 8, 62, 22, # 8770 129, 41, 8, 59, 25, 129, 43, 8, 57, 27, # 8780 129, 45, 8, 55, 22, 80, 4, 129, 47, 27, # 8790 80, 4, 129, 49, 23, 129, 47, 22, 129, 44, # 8800 23, 129, 42, 22, 129, 30, 4, 39, 27, 129, # 8810 30, 4, 37, 31, 129, 30, 27, 62, 8, 129, # 8820 30, 25, 64, 8, 129, 30, 22, 66, 8, 80, # 8830 4, 129, 30, 20, 68, 8, 80, 4, 129, 30, # 8840 17, 70, 8, 80, 4, 129, 30, 15, 73, 11, # 8850 129, 30, 12, 75, 9, 129, 30, 10, 77, 7, # 8860 129, 30, 7, 79, 5, 129, 30, 5, 80, 4, # 8870 129, 30, 4, 80, 4, 130, 193, 129, 4, 5, # 8880 80, 4, 129, 2, 9, 80, 4, 129, 1, 11, # 8890 77, 7, 129, 1, 12, 74, 10, 129, 1, 12, # 8900 70, 14, 129, 1, 12, 66, 18, 129, 1, 11, # 8910 62, 22, 129, 2, 9, 59, 25, 129, 4, 11, # 8920 55, 29, 129, 7, 12, 51, 33, 129, 10, 12, # 8930 47, 37, 129, 14, 12, 44, 32, 80, 4, 129, # 8940 17, 13, 40, 32, 80, 4, 129, 21, 13, 36, # 8950 32, 129, 25, 40, 129, 29, 32, 129, 33, 24, # 8960 129, 36, 17, 129, 40, 12, 129, 44, 12, 129, # 8970 48, 12, 129, 51, 13, 129, 55, 13, 129, 59, # 8980 13, 80, 4, 129, 63, 13, 80, 4, 129, 67, # 8990 17, 129, 71, 13, 129, 74, 10, 129, 78, 6, # 9000 129, 80, 4, 131, 193, 129, 30, 1, 71, 13, # 9010 129, 30, 3, 71, 13, 129, 30, 6, 71, 13, # 9020 129, 30, 9, 75, 9, 129, 30, 11, 77, 7, # 9030 129, 30, 14, 79, 5, 129, 30, 17, 79, 5, # 9040 129, 30, 19, 80, 4, 129, 30, 22, 80, 4, # 9050 129, 30, 25, 80, 4, 129, 30, 27, 80, 4, # 9060 129, 30, 4, 36, 24, 80, 4, 129, 30, 4, # 9070 38, 25, 80, 4, 129, 30, 4, 41, 24, 80, # 9080 4, 129, 30, 4, 44, 24, 80, 4, 129, 30, # 9090 4, 46, 25, 80, 4, 129, 30, 4, 49, 25, # 9100 80, 4, 129, 30, 4, 52, 24, 80, 4, 129, # 9110 30, 4, 54, 30, 129, 30, 4, 57, 27, 129, # 9120 30, 4, 59, 25, 129, 30, 4, 62, 22, 129, # 9130 30, 4, 65, 19, 129, 30, 5, 67, 17, 129, # 9140 30, 5, 70, 14, 129, 30, 7, 73, 11, 129, # 9150 30, 9, 76, 8, 129, 30, 13, 78, 6, 129, # 9160 30, 13, 81, 3, 129, 30, 13, 129, 193, 2, # 9170 9, 59, 25, 129, 4, 11, 55, 29, 129, 7, # 9180 12, 51, 33, 129, 10, 12, 47, 37, 129, 14, # 9190 12, 44, 32, 80, 4, 129, 17, 13, 40, 32, # 9200 80, 4, 129, 21, 13, 36, 32, 129, 25, 40, # 9210 129, 29, 32, 129, 33, 24, 129, 36, 17, 129, # 9220 40, 12, 129, 44, 12, 129, 48, 12, 129, 51, # 9230 13, 129, 55, 13, 129, 59, 13, 80, 4, 129, # 9240 63, 13, 80, 4, 129, 67, 17, 129, 71, 13, # 9250 129, 74, 10, 129, 78, 6, 129, 80, 4, 131, # 9260 193 # 9270 ); } # BEGIN block __END__ =head1 NAME banner - print large banner on printer =head1 SYNOPSIS banner [B<-w>I] message ... =head1 DESCRIPTION Banner prints a large, high quality banner on the standard output. If the message is omitted, it prompts for and reads one line of its standard input. If B<-w> is given, the output is scrunched down from a width of 132 to I , suit- able for a narrow terminal. The output should be printed on a hard-copy device, up to 132 columns wide, with no breaks between the pages. The volume is great enough that you may want a printer or a fast hardcopy terminal, but if you are patient, a decwriter or other 300 baud terminal will do. =head1 BUGS The following bugs are preserved from the implementation on which this one is based: =over =item * Several ASCII characters are not defined, notably <, >, [, ], \, ^, _, {, }, |, and ~. Also, the characters ", ', and & are funny looking (but in a useful way.) =item * The B<-w> option is implemented by skipping some rows and columns. The smaller it gets, the grainier the output. Sometimes it runs letters together. =back Any new bugs are as yet unknown. =head1 AUTHOR The Perl implementation of I was written by Jonathan Feinberg, I. The C source on which this implementation is based was written by Mark Horton. =head1 COPYRIGHT and LICENSE Because I consider this program to be, in essence, a B of the BSD version of /usr/games/banner, I am bound to preserve the following copyright notice intact: Copyright (c) 1980, 1993, 1994 The Regents of the University of California. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. All advertising materials mentioning features or use of this software must display the following acknowledgement: This product includes software developed by the University of California, Berkeley and its contributors. 4. Neither the name of the University nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.