distrib/sources/avt/avt_banner.h

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de verification                              */
   4 /*                                                                          */
   5 /*    Produit : AVT Version 1                                               */
   6 /*    Fichier : avt_util.h                                                  */
   7 /*                                                                          */
   8 /*    (c) copyright 1998-1999 AVERTEC                                       */
   9 /*    Tous droits reserves                                                  */
  10 /*    Support : e-mail Karim.Dioury@asim.lip6.fr                            */
  11 /*                                                                          */
  12 /*    Auteur(s) : DIOURY Karim                                              */
  13 /*                                                                          */
  14 /****************************************************************************/
  15
  16 #include "avt_headers.h"
  17
  18 #define WINDOW_SIZE 81
  19 #define LINES 15
  20 #define ASCENT 13
  21
  22 extern char *AVERTEC_VERSION ;
  23 extern char *AVT_FULLVERSION ;
  24
  25 static char screen[LINES][WINDOW_SIZE];
  26
  27 /* Font definition for the banner
  28
  29    Rights on font material :
  30
  31    Donated by H. Kagotani <kagotani@cs.titech.ac.jp>; public domain
  32    font from Japan
  33    -Misc-Fixed-Medium-R-Normal--14-130-75-75-C-140-JISX0208.1983-0
  34    "Public domain font.  Share and enjoy."
  35
  36         This font has been extracted from X11r5 bdf file by myself, to
  37    be used for the standard Aliiance CAD system banners. */
  38
  39 static char *Unknown_Bold_Normal_14[][62] = {
  40 {
  41 "         ",
  42 "   @@@   ",
  43 " @@   @@ ",
  44 "@@     @@",
  45 "@@     @@",
  46 "@@     @@",
  47 "@@     @@",
  48 "@@     @@",
  49 "@@     @@",
  50 "@@     @@",
  51 " @@   @@ ",
  52 "   @@@   ",
  53 "         ",
  54 "         ",
  55 "         "},
  56 /* lines 15 */
  57 /* 2331 */
  58 {
  59 "      ",
  60 "   @  ",
  61 "  @@  ",
  62 "@@@@  ",
  63 "  @@  ",
  64 "  @@  ",
  65 "  @@  ",
  66 "  @@  ",
  67 "  @@  ",
  68 "  @@  ",
  69 "  @@  ",
  70 "@@@@@@",
  71 "      ",
  72 "      ",
  73 "      "},
  74 /* lines 15 */
  75 /* 2332 */
  76 {
  77 "        ",
  78 "  @@@@  ",
  79 " @   @@ ",
  80 "@@    @@",
  81 "@@@   @@",
  82 " @   @@ ",
  83 "     @  ",
  84 "    @   ",
  85 "   @    ",
  86 "  @    @",
  87 " @@@@@@ ",
  88 "@@@@@@@ ",
  89 "        ",
  90 "        ",
  91 "        "},
  92 /* lines 15 */
  93 /* 2333 */
  94 {
  95 "        ",
  96 "  @@@@  ",
  97 " @   @@ ",
  98 "@@    @@",
  99 "@@    @@",
 100 "     @@ ",
 101 "   @@@  ",
 102 "      @ ",
 103 "@@    @@",
 104 "@@    @@",
 105 " @   @@ ",
 106 "  @@@@  ",
 107 "        ",
 108 "        ",
 109 "        "},
 110 /* lines 15 */
 111 /* 2334 */
 112 {
 113 "         ",
 114 "     @@  ",
 115 "    @@@  ",
 116 "   @ @@  ",
 117 "   @ @@  ",
 118 "  @  @@  ",
 119 " @   @@  ",
 120 "@@   @@  ",
 121 "@@@@@@@@@",
 122 "     @@  ",
 123 "     @@  ",
 124 "    @@@@ ",
 125 "         ",
 126 "         ",
 127 "         "},
 128 /* lines 15 */
 129 /* 2335 */
 130 {
 131 "        ",
 132 " @@@@@@@",
 133 " @@@@@@ ",
 134 " @      ",
 135 " @      ",
 136 " @@@@@  ",
 137 "     @@ ",
 138 "      @@",
 139 "      @@",
 140 "@@    @@",
 141 "@@   @@ ",
 142 " @@@@   ",
 143 "        ",
 144 "        ",
 145 "        "},
 146 /* lines 15 */
 147 /* 2336 */
 148 {
 149 "         ",
 150 "   @@@@  ",
 151 "  @   @@ ",
 152 " @@   @@ ",
 153 " @       ",
 154 "@@ @@@@  ",
 155 "@@@   @@ ",
 156 "@@     @@",
 157 "@@     @@",
 158 "@@     @@",
 159 " @@   @@ ",
 160 "   @@@   ",
 161 "         ",
 162 "         ",
 163 "         "},
 164 /* lines 15 */
 165 /* 2337 */
 166 {
 167 "         ",
 168 " @@@@@@@@",
 169 " @@@@@@@ ",
 170 "@     @  ",
 171 "     @   ",
 172 "     @   ",
 173 "    @    ",
 174 "    @    ",
 175 "   @@    ",
 176 "   @@    ",
 177 "   @@    ",
 178 "   @@    ",
 179 "         ",
 180 "         ",
 181 "         "},
 182 /* lines 15 */
 183 /* 2338 */
 184 {
 185 "        ",
 186 "  @@@@  ",
 187 " @    @ ",
 188 "@@    @@",
 189 "@@@   @@",
 190 " @@@ @@ ",
 191 "  @@@@  ",
 192 " @@ @@@ ",
 193 "@@   @@@",
 194 "@@    @@",
 195 " @    @ ",
 196 "  @@@@  ",
 197 "        ",
 198 "        ",
 199 "        "},
 200 /* lines 15 */
 201 /* 2339 */
 202 {
 203 "        ",
 204 "   @@   ",
 205 " @@  @@ ",
 206 "@@    @@",
 207 "@@    @@",
 208 "@@    @@",
 209 " @@  @@@",
 210 "  @@@ @@",
 211 "      @@",
 212 "@@    @ ",
 213 "@@   @  ",
 214 " @@@@   ",
 215 "        ",
 216 "        ",
 217 "        "},
 218 /* lines 15 */
 219 /* 2341 */
 220 {
 221 "            ",
 222 "      @     ",
 223 "      @     ",
 224 "     @@@    ",
 225 "     @@@    ",
 226 "    @  @@   ",
 227 "    @  @@   ",
 228 "   @    @@  ",
 229 "   @@@@@@@  ",
 230 "  @      @@ ",
 231 "  @      @@ ",
 232 "@@@@    @@@@",
 233 "            ",
 234 "            ",
 235 "            "},
 236 /* lines 15 */
 237 /* 2342 */
 238 {
 239 "           ",
 240 "@@@@@@@    ",
 241 "  @@   @@  ",
 242 "  @@    @@ ",
 243 "  @@    @@ ",
 244 "  @@   @@  ",
 245 "  @@@@@@   ",
 246 "  @@    @@ ",
 247 "  @@     @@",
 248 "  @@     @@",
 249 "  @@    @@ ",
 250 "@@@@@@@@   ",
 251 "           ",
 252 "           ",
 253 "           "},
 254 /* lines 15 */
 255 /* 2343 */
 256 {
 257 "          ",
 258 "    @@@@ @",
 259 "  @@    @@",
 260 " @@      @",
 261 "@@       @",
 262 "@@        ",
 263 "@@        ",
 264 "@@        ",
 265 "@@        ",
 266 " @@      @",
 267 "  @@    @@",
 268 "    @@@@  ",
 269 "          ",
 270 "          ",
 271 "          "},
 272 /* lines 15 */
 273 /* 2344 */
 274 {
 275 "           ",
 276 "@@@@@@@    ",
 277 "  @@   @@  ",
 278 "  @@    @@ ",
 279 "  @@     @@",
 280 "  @@     @@",
 281 "  @@     @@",
 282 "  @@     @@",
 283 "  @@     @@",
 284 "  @@    @@ ",
 285 "  @@   @@  ",
 286 "@@@@@@@    ",
 287 "           ",
 288 "           ",
 289 "           "},
 290 /* lines 15 */
 291 /* 2345 */
 292 {
 293 "           ",
 294 "@@@@@@@@@  ",
 295 "  @@    @  ",
 296 "  @@     @ ",
 297 "  @@       ",
 298 "  @@   @   ",
 299 "  @@@@@@   ",
 300 "  @@   @   ",
 301 "  @@       ",
 302 "  @@      @",
 303 "  @@     @ ",
 304 "@@@@@@@@@@ ",
 305 "           ",
 306 "           ",
 307 "           "},
 308 /* lines 15 */
 309 /* 2346 */
 310 {
 311 "          ",
 312 "@@@@@@@@@ ",
 313 "  @@    @ ",
 314 "  @@     @",
 315 "  @@      ",
 316 "  @@   @  ",
 317 "  @@@@@@  ",
 318 "  @@   @  ",
 319 "  @@      ",
 320 "  @@      ",
 321 "  @@      ",
 322 "@@@@@@    ",
 323 "          ",
 324 "          ",
 325 "          "},
 326 /* lines 15 */
 327 /* 2347 */
 328 {
 329 "            ",
 330 "    @@@@ @  ",
 331 "  @@    @@  ",
 332 " @@      @  ",
 333 "@@          ",
 334 "@@          ",
 335 "@@     @@@@@",
 336 "@@     @ @@ ",
 337 "@@    @  @@ ",
 338 " @@      @@ ",
 339 "  @@    @@  ",
 340 "    @@@@    ",
 341 "            ",
 342 "            ",
 343 "            "},
 344 /* lines 15 */
 345 /* 2348 */
 346 {
 347 "           ",
 348 "@@@@   @@@@",
 349 " @@     @@ ",
 350 " @@     @@ ",
 351 " @@     @@ ",
 352 " @@     @@ ",
 353 " @@@@@@@@@ ",
 354 " @@     @@ ",
 355 " @@     @@ ",
 356 " @@     @@ ",
 357 " @@     @@ ",
 358 "@@@@   @@@@",
 359 "           ",
 360 "           ",
 361 "           "},
 362 /* lines 15 */
 363 /* 2349 */
 364 {
 365 "      ",
 366 "@@@@@@",
 367 "  @@  ",
 368 "  @@  ",
 369 "  @@  ",
 370 "  @@  ",
 371 "  @@  ",
 372 "  @@  ",
 373 "  @@  ",
 374 "  @@  ",
 375 "  @@  ",
 376 "@@@@@@",
 377 "      ",
 378 "      ",
 379 "      "},
 380 /* lines 15 */
 381 /* 234a */
 382 {
 383 "           ",
 384 "     @@@@@@",
 385 "       @@  ",
 386 "       @@  ",
 387 "       @@  ",
 388 "       @@  ",
 389 "       @@  ",
 390 " @     @@  ",
 391 "@@@    @@  ",
 392 "@@     @@  ",
 393 " @@   @@   ",
 394 "   @@@     ",
 395 "           ",
 396 "           ",
 397 "           "},
 398 /* lines 15 */
 399 /* 234b */
 400 {
 401 "           ",
 402 "@@@@   @@@@",
 403 " @@     @  ",
 404 " @@    @   ",
 405 " @@   @    ",
 406 " @@  @@    ",
 407 " @@ @ @@   ",
 408 " @@@  @@   ",
 409 " @@    @@  ",
 410 " @@    @@  ",
 411 " @@     @@ ",
 412 "@@@@   @@@@",
 413 "           ",
 414 "           ",
 415 "           "},
 416 /* lines 15 */
 417 /* 234c */
 418 {
 419 "           ",
 420 "@@@@@@     ",
 421 "  @@       ",
 422 "  @@       ",
 423 "  @@       ",
 424 "  @@       ",
 425 "  @@       ",
 426 "  @@       ",
 427 "  @@       ",
 428 "  @@      @",
 429 "  @@     @ ",
 430 "@@@@@@@@@@ ",
 431 "           ",
 432 "           ",
 433 "           "},
 434 /* lines 15 */
 435 /* 234d */
 436 {
 437 "           ",
 438 "@@@     @@@",
 439 " @@     @@ ",
 440 " @@@   @@@ ",
 441 " @@@   @@@ ",
 442 " @ @@ @ @@ ",
 443 " @ @@ @ @@ ",
 444 " @ @@@  @@ ",
 445 " @  @@  @@ ",
 446 " @  @   @@ ",
 447 " @      @@ ",
 448 "@@@    @@@@",
 449 "           ",
 450 "           ",
 451 "           "},
 452 /* lines 15 */
 453 /* 234e */
 454 {
 455 "          ",
 456 "@@@    @@@",
 457 " @@     @ ",
 458 " @@@    @ ",
 459 " @ @@   @ ",
 460 " @ @@   @ ",
 461 " @  @@  @ ",
 462 " @   @@ @ ",
 463 " @   @@ @ ",
 464 " @    @@@ ",
 465 " @     @@ ",
 466 "@@@    @@ ",
 467 "          ",
 468 "          ",
 469 "          "},
 470 /* lines 15 */
 471 /* 234f */
 472 {
 473 "           ",
 474 "    @@@    ",
 475 "  @@   @@  ",
 476 " @@     @@ ",
 477 "@@       @@",
 478 "@@       @@",
 479 "@@       @@",
 480 "@@       @@",
 481 "@@       @@",
 482 " @@     @@ ",
 483 "  @@   @@  ",
 484 "    @@@    ",
 485 "           ",
 486 "           ",
 487 "           "},
 488 /* lines 15 */
 489 /* 2350 */
 490 {
 491 "          ",
 492 "@@@@@@@   ",
 493 "  @@   @@ ",
 494 "  @@    @@",
 495 "  @@    @@",
 496 "  @@   @@ ",
 497 "  @@@@@   ",
 498 "  @@      ",
 499 "  @@      ",
 500 "  @@      ",
 501 "  @@      ",
 502 "@@@@@@    ",
 503 "          ",
 504 "          ",
 505 "          "},
 506 /* lines 15 */
 507 /* 2351 */
 508 {
 509 "           ",
 510 "    @@@    ",
 511 "  @@   @@  ",
 512 " @@     @@ ",
 513 "@@       @@",
 514 "@@       @@",
 515 "@@       @@",
 516 "@@       @@",
 517 "@@  @@   @@",
 518 " @@@  @ @@ ",
 519 "  @@   @@  ",
 520 "    @@@@@  ",
 521 "         @@",
 522 "           ",
 523 "           "},
 524 /* lines 15 */
 525 /* 2352 */
 526 {
 527 "           ",
 528 "@@@@@@@    ",
 529 "  @@   @@  ",
 530 "  @@    @@ ",
 531 "  @@    @@ ",
 532 "  @@   @@  ",
 533 "  @@@@@    ",
 534 "  @@  @@   ",
 535 "  @@   @@  ",
 536 "  @@   @@  ",
 537 "  @@    @@ ",
 538 "@@@@@   @@@",
 539 "           ",
 540 "           ",
 541 "           "},
 542 /* lines 15 */
 543 /* 2353 */
 544 {
 545 "         ",
 546 "  @@@@ @ ",
 547 " @    @@ ",
 548 "@@     @ ",
 549 "@@@      ",
 550 " @@@@    ",
 551 "   @@@@  ",
 552 "     @@@ ",
 553 "@      @@",
 554 "@@     @@",
 555 "@@@    @ ",
 556 "@  @@@@  ",
 557 "         ",
 558 "         ",
 559 "         "},
 560 /* lines 15 */
 561 /* 2354 */
 562 {
 563 "            ",
 564 " @@@@@@@@@@ ",
 565 " @   @@   @ ",
 566 "@    @@    @",
 567 "     @@     ",
 568 "     @@     ",
 569 "     @@     ",
 570 "     @@     ",
 571 "     @@     ",
 572 "     @@     ",
 573 "     @@     ",
 574 "   @@@@@@   ",
 575 "            ",
 576 "            ",
 577 "            "},
 578 /* lines 15 */
 579 /* 2355 */
 580 {
 581 "           ",
 582 "@@@@    @@@",
 583 " @@      @ ",
 584 " @@      @ ",
 585 " @@      @ ",
 586 " @@      @ ",
 587 " @@      @ ",
 588 " @@      @ ",
 589 " @@      @ ",
 590 " @@      @ ",
 591 "  @@    @  ",
 592 "    @@@@   ",
 593 "           ",
 594 "           ",
 595 "           "},
 596 /* lines 15 */
 597 /* 2356 */
 598 {
 599 "           ",
 600 "@@@@    @@@",
 601 " @@      @ ",
 602 " @@      @ ",
 603 "  @@    @  ",
 604 "  @@    @  ",
 605 "   @@  @   ",
 606 "   @@  @   ",
 607 "    @@@    ",
 608 "    @@@    ",
 609 "     @     ",
 610 "     @     ",
 611 "           ",
 612 "           ",
 613 "           "},
 614 /* lines 15 */
 615 /* 2357 */
 616 {
 617 "           ",
 618 "@@@ @@@ @@@",
 619 " @@  @@  @ ",
 620 " @@  @@  @ ",
 621 " @@  @@  @ ",
 622 "  @@ @@@ @ ",
 623 "  @@@ @@@  ",
 624 "  @@@ @@@  ",
 625 "   @@  @@  ",
 626 "   @@  @@  ",
 627 "   @@  @@  ",
 628 "   @@  @@  ",
 629 "           ",
 630 "           ",
 631 "           "},
 632 /* lines 15 */
 633 /* 2358 */
 634 {
 635 "           ",
 636 "@@@@   @@@@",
 637 " @@     @  ",
 638 "  @@   @   ",
 639 "   @@ @    ",
 640 "    @@     ",
 641 "    @@     ",
 642 "    @@@    ",
 643 "   @  @@   ",
 644 "  @    @@  ",
 645 " @      @@ ",
 646 "@@@    @@@@",
 647 "           ",
 648 "           ",
 649 "           "},
 650 /* lines 15 */
 651 /* 2359 */
 652 {
 653 "           ",
 654 "@@@@   @@@@",
 655 " @@     @  ",
 656 "  @@   @   ",
 657 "   @@ @    ",
 658 "    @@     ",
 659 "    @@     ",
 660 "    @@     ",
 661 "    @@     ",
 662 "    @@     ",
 663 "    @@     ",
 664 "  @@@@@@   ",
 665 "           ",
 666 "           ",
 667 "           "},
 668 /* lines 15 */
 669 /* 235a */
 670 {
 671 "           ",
 672 " @@@@@@@@@ ",
 673 " @     @@  ",
 674 "@     @@   ",
 675 "     @@    ",
 676 "     @@    ",
 677 "    @@     ",
 678 "   @@      ",
 679 "   @@      ",
 680 "  @@      @",
 681 " @@      @ ",
 682 "@@@@@@@@@@ ",
 683 "           ",
 684 "           ",
 685 "           "},
 686 /* lines 15 */
 687 /* 2361 */
 688 {
 689 "         ",
 690 "         ",
 691 "         ",
 692 "         ",
 693 "  @@@@   ",
 694 " @@   @  ",
 695 " @@   @@ ",
 696 "   @@@@@ ",
 697 " @@   @@ ",
 698 "@@    @@ ",
 699 "@@   @@@ ",
 700 " @@@@  @@",
 701 "         ",
 702 "         ",
 703 "         "},
 704 /* lines 15 */
 705 /* 2362 */
 706 {
 707 "         ",
 708 "@@@      ",
 709 " @@      ",
 710 " @@      ",
 711 " @@ @@   ",
 712 " @@@  @@ ",
 713 " @@    @@",
 714 " @@    @@",
 715 " @@    @@",
 716 " @@    @@",
 717 " @@@  @@ ",
 718 "@@@ @@   ",
 719 "         ",
 720 "         ",
 721 "         "},
 722 /* lines 15 */
 723 /* 2363 */
 724 {
 725 "        ",
 726 "        ",
 727 "        ",
 728 "        ",
 729 "   @@@  ",
 730 " @@   @@",
 731 "@@     @",
 732 "@@      ",
 733 "@@      ",
 734 "@@     @",
 735 " @@   @@",
 736 "   @@@  ",
 737 "        ",
 738 "        ",
 739 "        "},
 740 /* lines 15 */
 741 /* 2364 */
 742 {
 743 "         ",
 744 "     @@@ ",
 745 "      @@ ",
 746 "      @@ ",
 747 "   @@ @@ ",
 748 " @@  @@@ ",
 749 "@@    @@ ",
 750 "@@    @@ ",
 751 "@@    @@ ",
 752 "@@    @@ ",
 753 " @@  @@@ ",
 754 "   @@ @@@",
 755 "         ",
 756 "         ",
 757 "         "},
 758 /* lines 15 */
 759 /* 2365 */
 760 {
 761 "         ",
 762 "         ",
 763 "         ",
 764 "         ",
 765 "  @@@@@  ",
 766 " @     @ ",
 767 "@@     @@",
 768 "@@@@@@@@@",
 769 "@@       ",
 770 "@@      @",
 771 " @@    @@",
 772 "   @@@@  ",
 773 "         ",
 774 "         ",
 775 "         "},
 776 /* lines 15 */
 777 /* 2366 */
 778 {
 779 "        ",
 780 "    @@@ ",
 781 "   @  @@",
 782 "  @@  @@",
 783 "  @@    ",
 784 "@@@@@@@@",
 785 "  @@    ",
 786 "  @@    ",
 787 "  @@    ",
 788 "  @@    ",
 789 "  @@    ",
 790 "@@@@@@  ",
 791 "        ",
 792 "        ",
 793 "        "},
 794 /* lines 15 */
 795 /* 2367 */
 796 {
 797 "        ",
 798 "        ",
 799 "        ",
 800 "        ",
 801 "  @@@@@@",
 802 " @@  @@ ",
 803 " @   @@ ",
 804 " @   @  ",
 805 "  @@@   ",
 806 " @@     ",
 807 " @@@@@@ ",
 808 "@@   @@@",
 809 " @     @",
 810 "  @@@@@ ",
 811 "        "},
 812 /* lines 15 */
 813 /* 2368 */
 814 {
 815 "          ",
 816 "@@@       ",
 817 " @@       ",
 818 " @@       ",
 819 " @@ @@@   ",
 820 " @@@  @@  ",
 821 " @@    @@ ",
 822 " @@    @@ ",
 823 " @@    @@ ",
 824 " @@    @@ ",
 825 " @@    @@ ",
 826 "@@@@  @@@@",
 827 "          ",
 828 "          ",
 829 "          "},
 830 /* lines 15 */
 831 /* 2369 */
 832 {
 833 "      ",
 834 "   @  ",
 835 "  @@@ ",
 836 "   @  ",
 837 "      ",
 838 "@@@@  ",
 839 "  @@  ",
 840 "  @@  ",
 841 "  @@  ",
 842 "  @@  ",
 843 "  @@  ",
 844 "@@@@@@",
 845 "      ",
 846 "      ",
 847 "      "},
 848 /* lines 15 */
 849 /* 236a */
 850 {
 851 "      ",
 852 "    @ ",
 853 "   @@@",
 854 "    @ ",
 855 "      ",
 856 " @@@@@",
 857 "    @@",
 858 "    @@",
 859 "    @@",
 860 "    @@",
 861 "    @@",
 862 "@@  @@",
 863 "@@  @ ",
 864 " @@@  ",
 865 "      "},
 866 /* lines 15 */
 867 /* 236b */
 868 {
 869 "          ",
 870 "@@@       ",
 871 " @@       ",
 872 " @@   @@@ ",
 873 " @@   @   ",
 874 " @@  @    ",
 875 " @@ @@@   ",
 876 " @@@ @@   ",
 877 " @@   @@  ",
 878 " @@   @@  ",
 879 " @@    @@ ",
 880 "@@@@   @@@",
 881 "          ",
 882 "          ",
 883 "          "},
 884 /* lines 15 */
 885 /* 236c */
 886 {
 887 "      ",
 888 "@@@@  ",
 889 "  @@  ",
 890 "  @@  ",
 891 "  @@  ",
 892 "  @@  ",
 893 "  @@  ",
 894 "  @@  ",
 895 "  @@  ",
 896 "  @@  ",
 897 "  @@  ",
 898 "@@@@@@",
 899 "      ",
 900 "      ",
 901 "      "},
 902 /* lines 15 */
 903 /* 236d */
 904 {
 905 "            ",
 906 "            ",
 907 "            ",
 908 "            ",
 909 "@@@ @@ @@@  ",
 910 " @@@ @@  @@ ",
 911 " @@  @@  @@ ",
 912 " @@  @@  @@ ",
 913 " @@  @@  @@ ",
 914 " @@  @@  @@ ",
 915 " @@  @@  @@ ",
 916 "@@@@ @@@ @@@",
 917 "            ",
 918 "            ",
 919 "            "},
 920 /* lines 15 */
 921 /* 236e */
 922 {
 923 "          ",
 924 "          ",
 925 "          ",
 926 "          ",
 927 "@@@ @@@   ",
 928 " @@@   @  ",
 929 " @@    @@ ",
 930 " @@    @@ ",
 931 " @@    @@ ",
 932 " @@    @@ ",
 933 " @@    @@ ",
 934 "@@@@  @@@@",
 935 "          ",
 936 "          ",
 937 "          "},
 938 /* lines 15 */
 939 /* 236f */
 940 {
 941 "         ",
 942 "         ",
 943 "         ",
 944 "         ",
 945 "   @@@   ",
 946 " @@   @@ ",
 947 "@@     @@",
 948 "@@     @@",
 949 "@@     @@",
 950 "@@     @@",
 951 " @@   @@ ",
 952 "   @@@   ",
 953 "         ",
 954 "         ",
 955 "         "},
 956 /* lines 15 */
 957 /* 2370 */
 958 {
 959 "         ",
 960 "         ",
 961 "         ",
 962 "         ",
 963 "@@@ @@@  ",
 964 " @@@  @@ ",
 965 " @@    @@",
 966 " @@    @@",
 967 " @@    @@",
 968 " @@    @@",
 969 " @@@  @@ ",
 970 " @@ @@@  ",
 971 " @@      ",
 972 "@@@@     ",
 973 "         "},
 974 /* lines 15 */
 975 /* 2371 */
 976 {
 977 "         ",
 978 "         ",
 979 "         ",
 980 "         ",
 981 "  @@@ @@@",
 982 " @@  @@@ ",
 983 "@@    @@ ",
 984 "@@    @@ ",
 985 "@@    @@ ",
 986 "@@    @@ ",
 987 " @@  @@@ ",
 988 "  @@@ @@ ",
 989 "      @@ ",
 990 "     @@@@",
 991 "         "},
 992 /* lines 15 */
 993 /* 2372 */
 994 {
 995 "        ",
 996 "        ",
 997 "        ",
 998 "        ",
 999 "@@@ @@@ ",
1000 " @@@  @@",
1001 " @@   @@",
1002 " @@     ",
1003 " @@     ",
1004 " @@     ",
1005 " @@     ",
1006 "@@@@    ",
1007 "        ",
1008 "        ",
1009 "        "},
1010 /* lines 15 */
1011 /* 2373 */
1012 {
1013 "        ",
1014 "        ",
1015 "        ",
1016 "        ",
1017 " @@@@@@ ",
1018 "@@    @ ",
1019 "@@@     ",
1020 " @@@@   ",
1021 "   @@@@ ",
1022 "@    @@@",
1023 "@@    @@",
1024 "@ @@@@@ ",
1025 "        ",
1026 "        ",
1027 "        "},
1028 /* lines 15 */
1029 /* 2374 */
1030 {
1031 "        ",
1032 "        ",
1033 "   @    ",
1034 "  @@    ",
1035 "  @@    ",
1036 "@@@@@@@@",
1037 "  @@    ",
1038 "  @@    ",
1039 "  @@    ",
1040 "  @@    ",
1041 "  @@   @",
1042 "   @@@@ ",
1043 "        ",
1044 "        ",
1045 "        "},
1046 /* lines 15 */
1047 /* 2375 */
1048 {
1049 "          ",
1050 "          ",
1051 "          ",
1052 "          ",
1053 "@@@  @@@@ ",
1054 " @@    @@ ",
1055 " @@    @@ ",
1056 " @@    @@ ",
1057 " @@    @@ ",
1058 " @@    @@ ",
1059 " @@   @@@ ",
1060 "  @@@@  @@",
1061 "          ",
1062 "          ",
1063 "          "},
1064 /* lines 15 */
1065 /* 2376 */
1066 {
1067 "          ",
1068 "          ",
1069 "          ",
1070 "          ",
1071 "@@@@@  @@@",
1072 " @@     @ ",
1073 "  @@   @  ",
1074 "  @@   @  ",
1075 "   @@ @   ",
1076 "   @@ @   ",
1077 "    @@    ",
1078 "    @@    ",
1079 "          ",
1080 "          ",
1081 "          "},
1082 /* lines 15 */
1083 /* 2377 */
1084 {
1085 "           ",
1086 "           ",
1087 "           ",
1088 "           ",
1089 "@@@@ @@ @@@",
1090 " @@  @@  @ ",
1091 " @@  @@  @ ",
1092 "  @@@ @@ @ ",
1093 "  @@@ @@@  ",
1094 "   @@  @@  ",
1095 "   @@  @@  ",
1096 "   @@  @@  ",
1097 "           ",
1098 "           ",
1099 "           "},
1100 /* lines 15 */
1101 /* 2378 */
1102 {
1103 "         ",
1104 "         ",
1105 "         ",
1106 "         ",
1107 "@@@@  @@@",
1108 " @@    @ ",
1109 "  @@  @  ",
1110 "   @@@   ",
1111 "   @@@   ",
1112 "  @  @@  ",
1113 " @    @@ ",
1114 "@@@  @@@@",
1115 "         ",
1116 "         ",
1117 "         "},
1118 /* lines 15 */
1119 /* 2379 */
1120 {
1121 "         ",
1122 "         ",
1123 "         ",
1124 "         ",
1125 "@@@@@ @@@",
1126 " @@    @ ",
1127 "  @@   @ ",
1128 "  @@  @  ",
1129 "   @@ @  ",
1130 "   @@@   ",
1131 "    @@   ",
1132 "@@  @    ",
1133 "@@  @    ",
1134 " @@@     ",
1135 "         "},
1136 /* lines 15 */
1137 /* 237a */
1138 {
1139 "        ",
1140 "        ",
1141 "        ",
1142 "        ",
1143 "@@@@@@@@",
1144 "@    @@ ",
1145 "    @@  ",
1146 "   @@   ",
1147 "  @@    ",
1148 " @@     ",
1149 "@@     @",
1150 "@@@@@@@@",
1151 "        ",
1152 "        ",
1153 "        "}
1154 };
1155
1156 static void avt_bannerhead   __P((char *,
1157                                   char *[][62],
1158                                   int
1159                                 ));
1160 static void avt_cartouche   __P((char *,
1161                                  char *,
1162                                  char *,
1163                                  char *,
1164                                  char *,
1165                                  int
1166                                ));
1167 extern void avt_banner      __P((char *,
1168                                  char *,
1169                                  char *
1170                                ));