home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 October / usenetsourcesnewsgroupsinfomagicoctober1994disk2.iso / unix / volume17 / mgr / part59 < prev    next >
Text File  |  1989-01-19  |  45KB  |  750 lines
  1. Subject:  v17i060:  MGR, Bellcore window manager, Part59/61
  2. Newsgroups: comp.sources.unix
  3. Approved: rsalz@uunet.UU.NET
  4.  
  5. Submitted-by: Stephen A. Uhler <sau@bellcore.com>
  6. Posting-number: Volume 17, Issue 60
  7. Archive-name: mgr/part59
  8.  
  9.  
  10.  
  11.  
  12. #! /bin/sh
  13. # This is a shell archive.  Remove anything before this line, then unpack
  14. # it by saving it into a file and typing "sh file".  To overwrite existing
  15. # files, type "sh file -c".  You can also feed this as standard input via
  16. # unshar, or by typing "sh <file", e.g..  If this archive is complete, you
  17. # will see the following message at the end:
  18. #        "End of archive 59 (of 61)."
  19. # Contents:  src/copyright.h.2
  20. # Wrapped by rsalz@papaya.bbn.com on Thu Nov 17 21:06:06 1988
  21. PATH=/bin:/usr/bin:/usr/ucb ; export PATH
  22. if test -f 'src/copyright.h.2' -a "${1}" != "-c" ; then 
  23.   echo shar: Will not clobber existing file \"'src/copyright.h.2'\"
  24. else
  25. echo shar: Extracting \"'src/copyright.h.2'\" \(42397 characters\)
  26. sed "s/^X//" >'src/copyright.h.2' <<'END_OF_FILE'
  27. X    0270, 0003, 0272, 0000, 0000, 0000, 0002, 0053, 0272, 0047,
  28. X    0372, 0252, 0252, 0253, 0377, 0377, 0325, 0125, 0104, 0104,
  29. X    0105, 0120, 0001, 0005, 0120, 0005, 0124, 0000, 0000, 0000,
  30. X    0000, 0005, 0120, 0005, 0124, 0104, 0105, 0125, 0137, 0377,
  31. X    0376, 0352, 0252, 0252, 0357, 0376, 0213, 0217, 0370, 0217,
  32. X    0376, 0210, 0210, 0210, 0210, 0217, 0372, 0257, 0372, 0252,
  33. X    0252, 0257, 0377, 0377, 0325, 0125, 0021, 0020, 0105, 0124,
  34. X    0001, 0005, 0120, 0005, 0124, 0000, 0000, 0000, 0000, 0005,
  35. X    0120, 0005, 0120, 0021, 0021, 0125, 0137, 0377, 0373, 0252,
  36. X    0252, 0252, 0357, 0376, 0043, 0053, 0370, 0043, 0272, 0040,
  37. X    0040, 0040, 0042, 0053, 0372, 0247, 0372, 0252, 0252, 0273,
  38. X    0377, 0377, 0325, 0125, 0124, 0104, 0305, 0124, 0005, 0005,
  39. X    0120, 0005, 0124, 0000, 0000, 0000, 0000, 0005, 0120, 0005,
  40. X    0124, 0104, 0125, 0125, 0137, 0377, 0376, 0352, 0252, 0252,
  41. X    0353, 0376, 0257, 0257, 0370, 0217, 0376, 0210, 0210, 0210,
  42. X    0210, 0257, 0372, 0257, 0372, 0252, 0252, 0357, 0377, 0377,
  43. X    0325, 0125, 0021, 0000, 0101, 0120, 0005, 0005, 0120, 0005,
  44. X    0124, 0000, 0000, 0000, 0000, 0005, 0124, 0005, 0120, 0001,
  45. X    0025, 0125, 0137, 0377, 0373, 0252, 0252, 0252, 0353, 0272,
  46. X    0046, 0057, 0272, 0003, 0272, 0002, 0002, 0002, 0042, 0057,
  47. X    0276, 0057, 0372, 0252, 0252, 0253, 0377, 0377, 0325, 0125,
  48. X    0124, 0104, 0101, 0120, 0004, 0005, 0120, 0005, 0124, 0000,
  49. X    0000, 0000, 0000, 0005, 0124, 0005, 0124, 0105, 0125, 0125,
  50. X    0137, 0377, 0376, 0352, 0252, 0252, 0353, 0372, 0256, 0217,
  51. X    0370, 0217, 0376, 0210, 0210, 0210, 0210, 0217, 0376, 0257,
  52. X    0352, 0252, 0252, 0257, 0377, 0377, 0325, 0125, 0121, 0020,
  53. X    0101, 0120, 0004, 0005, 0120, 0005, 0124, 0000, 0000, 0000,
  54. X    0000, 0005, 0124, 0005, 0100, 0021, 0025, 0125, 0137, 0377,
  55. X    0373, 0252, 0252, 0252, 0353, 0376, 0256, 0053, 0372, 0043,
  56. X    0372, 0042, 0042, 0042, 0042, 0053, 0377, 0357, 0352, 0252,
  57. X    0252, 0273, 0377, 0377, 0325, 0125, 0124, 0104, 0301, 0124,
  58. X    0004, 0005, 0120, 0005, 0124, 0000, 0000, 0000, 0000, 0005,
  59. X    0125, 0125, 0304, 0125, 0125, 0125, 0137, 0377, 0376, 0352,
  60. X    0252, 0252, 0353, 0376, 0256, 0257, 0370, 0257, 0376, 0210,
  61. X    0210, 0250, 0252, 0257, 0377, 0377, 0252, 0252, 0252, 0357,
  62. X    0377, 0377, 0325, 0125, 0021, 0021, 0101, 0124, 0004, 0005,
  63. X    0120, 0005, 0124, 0000, 0000, 0000, 0000, 0005, 0125, 0125,
  64. X    0001, 0021, 0025, 0125, 0137, 0377, 0373, 0252, 0252, 0252,
  65. X    0353, 0376, 0072, 0057, 0272, 0047, 0272, 0042, 0042, 0042,
  66. X    0042, 0057, 0277, 0377, 0252, 0252, 0252, 0273, 0377, 0377,
  67. X    0325, 0125, 0125, 0104, 0105, 0124, 0020, 0005, 0120, 0005,
  68. X    0124, 0000, 0000, 0000, 0000, 0005, 0125, 0125, 0104, 0105,
  69. X    0125, 0125, 0137, 0377, 0377, 0356, 0252, 0252, 0353, 0376,
  70. X    0272, 0257, 0372, 0217, 0376, 0212, 0212, 0212, 0212, 0257,
  71. X    0377, 0377, 0252, 0252, 0256, 0357, 0377, 0377, 0365, 0125,
  72. X    0121, 0021, 0121, 0124, 0020, 0005, 0120, 0005, 0124, 0000,
  73. X    0000, 0000, 0000, 0005, 0125, 0125, 0021, 0021, 0125, 0125,
  74. X    0177, 0377, 0377, 0272, 0252, 0252, 0353, 0376, 0272, 0257,
  75. X    0372, 0043, 0372, 0042, 0042, 0042, 0042, 0257, 0377, 0377,
  76. X    0252, 0252, 0252, 0273, 0377, 0377, 0325, 0125, 0125, 0124,
  77. X    0305, 0324, 0120, 0005, 0120, 0005, 0124, 0000, 0000, 0000,
  78. X    0000, 0005, 0125, 0325, 0104, 0125, 0125, 0125, 0337, 0377,
  79. X    0377, 0356, 0352, 0252, 0353, 0376, 0272, 0257, 0372, 0257,
  80. X    0376, 0252, 0252, 0252, 0252, 0257, 0377, 0377, 0252, 0252,
  81. X    0256, 0377, 0377, 0377, 0325, 0125, 0125, 0021, 0101, 0124,
  82. X    0020, 0005, 0120, 0005, 0124, 0000, 0025, 0125, 0124, 0005,
  83. X    0124, 0125, 0021, 0025, 0125, 0125, 0137, 0377, 0377, 0272,
  84. X    0252, 0252, 0353, 0376, 0272, 0257, 0272, 0047, 0276, 0042,
  85. X    0077, 0277, 0276, 0057, 0376, 0377, 0252, 0252, 0253, 0277,
  86. X    0377, 0377, 0335, 0125, 0125, 0125, 0104, 0124, 0020, 0005,
  87. X    0120, 0005, 0124, 0000, 0025, 0125, 0124, 0005, 0124, 0135,
  88. X    0105, 0125, 0125, 0125, 0137, 0377, 0377, 0356, 0352, 0252,
  89. X    0352, 0376, 0272, 0257, 0372, 0257, 0376, 0252, 0277, 0377,
  90. X    0376, 0257, 0376, 0377, 0252, 0252, 0256, 0377, 0377, 0377,
  91. X    0365, 0125, 0125, 0121, 0121, 0124, 0020, 0005, 0120, 0005,
  92. X    0124, 0000, 0025, 0125, 0124, 0005, 0124, 0125, 0021, 0125,
  93. X    0125, 0125, 0177, 0377, 0377, 0372, 0252, 0252, 0352, 0377,
  94. X    0272, 0257, 0372, 0247, 0376, 0242, 0277, 0377, 0376, 0257,
  95. X    0372, 0377, 0252, 0252, 0253, 0277, 0377, 0377, 0375, 0125,
  96. X    0125, 0125, 0324, 0125, 0124, 0105, 0120, 0005, 0124, 0000,
  97. X    0025, 0125, 0124, 0105, 0324, 0325, 0325, 0125, 0125, 0125,
  98. X    0377, 0377, 0377, 0376, 0352, 0252, 0352, 0377, 0272, 0257,
  99. X    0372, 0257, 0376, 0252, 0277, 0377, 0376, 0257, 0372, 0377,
  100. X    0252, 0252, 0356, 0377, 0377, 0377, 0365, 0125, 0125, 0125,
  101. X    0121, 0125, 0020, 0005, 0120, 0001, 0124, 0000, 0001, 0125,
  102. X    0100, 0005, 0121, 0125, 0021, 0025, 0125, 0125, 0177, 0377,
  103. X    0377, 0273, 0252, 0252, 0352, 0377, 0272, 0257, 0372, 0253,
  104. X    0376, 0052, 0053, 0377, 0352, 0257, 0372, 0377, 0352, 0252,
  105. X    0253, 0277, 0377, 0377, 0375, 0125, 0125, 0125, 0105, 0135,
  106. X    0124, 0105, 0120, 0001, 0124, 0000, 0001, 0125, 0104, 0005,
  107. X    0134, 0135, 0125, 0125, 0125, 0125, 0377, 0377, 0377, 0377,
  108. X    0356, 0252, 0352, 0377, 0272, 0257, 0372, 0253, 0376, 0252,
  109. X    0253, 0377, 0352, 0257, 0372, 0377, 0252, 0256, 0357, 0377,
  110. X    0377, 0377, 0365, 0125, 0125, 0125, 0121, 0125, 0020, 0005,
  111. X    0120, 0001, 0124, 0000, 0000, 0125, 0000, 0025, 0121, 0125,
  112. X    0125, 0125, 0125, 0125, 0177, 0377, 0377, 0373, 0272, 0252,
  113. X    0352, 0277, 0272, 0257, 0372, 0253, 0376, 0252, 0252, 0377,
  114. X    0252, 0257, 0372, 0277, 0352, 0252, 0273, 0377, 0377, 0377,
  115. X    0375, 0325, 0125, 0125, 0125, 0135, 0324, 0105, 0324, 0101,
  116. X    0324, 0100, 0100, 0325, 0304, 0105, 0334, 0135, 0325, 0125,
  117. X    0125, 0135, 0377, 0377, 0377, 0377, 0356, 0352, 0252, 0277,
  118. X    0372, 0257, 0372, 0253, 0376, 0252, 0252, 0377, 0252, 0277,
  119. X    0372, 0377, 0352, 0356, 0377, 0377, 0377, 0377, 0377, 0125,
  120. X    0125, 0125, 0125, 0025, 0121, 0005, 0120, 0001, 0125, 0000,
  121. X    0000, 0125, 0001, 0025, 0121, 0125, 0125, 0125, 0125, 0127,
  122. X    0177, 0377, 0377, 0377, 0273, 0252, 0272, 0277, 0372, 0257,
  123. X    0372, 0253, 0377, 0252, 0252, 0377, 0252, 0277, 0372, 0377,
  124. X    0252, 0253, 0273, 0377, 0377, 0377, 0377, 0325, 0125, 0125,
  125. X    0125, 0135, 0124, 0105, 0134, 0105, 0125, 0104, 0104, 0125,
  126. X    0104, 0135, 0125, 0135, 0325, 0125, 0125, 0137, 0377, 0377,
  127. X    0377, 0377, 0356, 0356, 0272, 0277, 0372, 0257, 0376, 0253,
  128. X    0377, 0252, 0252, 0377, 0252, 0277, 0372, 0377, 0356, 0356,
  129. X    0377, 0377, 0377, 0377, 0377, 0165, 0125, 0125, 0165, 0125,
  130. X    0121, 0025, 0124, 0021, 0125, 0020, 0020, 0125, 0021, 0025,
  131. X    0121, 0125, 0165, 0125, 0125, 0167, 0377, 0377, 0377, 0377,
  132. X    0373, 0272, 0272, 0257, 0372, 0257, 0376, 0253, 0377, 0252,
  133. X    0252, 0377, 0252, 0277, 0372, 0277, 0352, 0273, 0277, 0377,
  134. X    0377, 0377, 0377, 0335, 0125, 0125, 0135, 0125, 0325, 0125,
  135. X    0324, 0104, 0325, 0104, 0104, 0325, 0104, 0135, 0325, 0135,
  136. X    0325, 0125, 0125, 0337, 0377, 0377, 0377, 0377, 0376, 0356,
  137. X    0372, 0257, 0372, 0257, 0376, 0252, 0377, 0252, 0252, 0377,
  138. X    0252, 0277, 0372, 0277, 0356, 0377, 0377, 0377, 0377, 0377,
  139. X    0377, 0165, 0125, 0125, 0125, 0125, 0121, 0021, 0125, 0021,
  140. X    0125, 0001, 0001, 0125, 0021, 0025, 0125, 0127, 0125, 0125,
  141. X    0125, 0167, 0377, 0377, 0377, 0377, 0373, 0273, 0252, 0257,
  142. X    0372, 0253, 0376, 0252, 0377, 0252, 0252, 0377, 0252, 0277,
  143. X    0352, 0277, 0353, 0273, 0277, 0377, 0377, 0377, 0377, 0375,
  144. X    0125, 0125, 0135, 0125, 0335, 0125, 0135, 0104, 0135, 0104,
  145. X    0105, 0135, 0105, 0135, 0325, 0135, 0325, 0125, 0135, 0377,
  146. X    0377, 0377, 0377, 0377, 0377, 0356, 0356, 0253, 0372, 0253,
  147. X    0376, 0252, 0377, 0252, 0253, 0377, 0252, 0277, 0352, 0377,
  148. X    0356, 0377, 0377, 0377, 0377, 0377, 0377, 0367, 0125, 0125,
  149. X    0125, 0125, 0165, 0121, 0125, 0021, 0125, 0021, 0021, 0125,
  150. X    0021, 0125, 0165, 0167, 0125, 0125, 0127, 0177, 0377, 0377,
  151. X    0377, 0377, 0377, 0373, 0276, 0253, 0372, 0253, 0376, 0252,
  152. X    0377, 0252, 0253, 0377, 0252, 0277, 0352, 0277, 0373, 0277,
  153. X    0377, 0377, 0377, 0377, 0377, 0375, 0325, 0125, 0135, 0125,
  154. X    0335, 0125, 0335, 0125, 0135, 0125, 0125, 0335, 0125, 0135,
  155. X    0325, 0135, 0325, 0125, 0335, 0377, 0377, 0377, 0377, 0377,
  156. X    0377, 0377, 0356, 0357, 0372, 0253, 0376, 0252, 0377, 0252,
  157. X    0253, 0376, 0252, 0377, 0356, 0377, 0377, 0377, 0377, 0377,
  158. X    0377, 0377, 0377, 0377, 0125, 0125, 0127, 0125, 0125, 0125,
  159. X    0125, 0021, 0125, 0021, 0021, 0125, 0025, 0127, 0125, 0127,
  160. X    0125, 0125, 0127, 0177, 0377, 0377, 0377, 0377, 0377, 0373,
  161. X    0277, 0252, 0372, 0253, 0376, 0252, 0377, 0252, 0253, 0376,
  162. X    0252, 0377, 0352, 0277, 0373, 0277, 0377, 0377, 0377, 0377,
  163. X    0377, 0377, 0335, 0125, 0125, 0125, 0335, 0125, 0335, 0125,
  164. X    0135, 0325, 0125, 0335, 0125, 0135, 0325, 0135, 0325, 0135,
  165. X    0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0357, 0356,
  166. X    0376, 0253, 0376, 0252, 0277, 0252, 0253, 0376, 0252, 0377,
  167. X    0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  168. X    0365, 0125, 0127, 0125, 0165, 0125, 0165, 0125, 0165, 0125,
  169. X    0125, 0165, 0125, 0165, 0125, 0167, 0125, 0125, 0167, 0377,
  170. X    0377, 0377, 0377, 0377, 0377, 0377, 0373, 0273, 0272, 0252,
  171. X    0376, 0252, 0277, 0252, 0253, 0376, 0252, 0377, 0273, 0377,
  172. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375, 0335,
  173. X    0135, 0325, 0135, 0125, 0335, 0125, 0135, 0325, 0125, 0335,
  174. X    0125, 0335, 0125, 0175, 0325, 0335, 0377, 0377, 0377, 0377,
  175. X    0377, 0377, 0377, 0377, 0377, 0376, 0376, 0356, 0377, 0352,
  176. X    0377, 0352, 0353, 0376, 0356, 0377, 0356, 0377, 0377, 0377,
  177. X    0377, 0377, 0377, 0377, 0377, 0377, 0367, 0125, 0127, 0165,
  178. X    0125, 0125, 0127, 0125, 0127, 0125, 0127, 0125, 0125, 0127,
  179. X    0125, 0167, 0125, 0127, 0177, 0377, 0377, 0377, 0377, 0377,
  180. X    0377, 0377, 0377, 0373, 0277, 0252, 0377, 0252, 0257, 0352,
  181. X    0253, 0376, 0253, 0377, 0273, 0377, 0377, 0377, 0377, 0377,
  182. X    0377, 0377, 0377, 0377, 0377, 0335, 0127, 0335, 0135, 0125,
  183. X    0135, 0125, 0125, 0325, 0125, 0335, 0125, 0335, 0125, 0337,
  184. X    0135, 0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  185. X    0377, 0377, 0356, 0356, 0377, 0356, 0357, 0356, 0357, 0376,
  186. X    0357, 0377, 0357, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  187. X    0377, 0377, 0377, 0367, 0125, 0167, 0125, 0125, 0167, 0125,
  188. X    0127, 0165, 0127, 0165, 0125, 0167, 0125, 0165, 0127, 0167,
  189. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  190. X    0377, 0273, 0377, 0272, 0273, 0372, 0277, 0373, 0273, 0377,
  191. X    0273, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  192. X    0377, 0375, 0335, 0325, 0125, 0125, 0335, 0325, 0125, 0325,
  193. X    0125, 0335, 0135, 0375, 0325, 0125, 0335, 0377, 0377, 0377,
  194. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  195. X    0377, 0356, 0357, 0376, 0357, 0356, 0377, 0377, 0377, 0377,
  196. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0367,
  197. X    0165, 0125, 0127, 0125, 0167, 0165, 0125, 0165, 0127, 0165,
  198. X    0127, 0167, 0125, 0125, 0167, 0177, 0377, 0377, 0377, 0377,
  199. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0273, 0377, 0373,
  200. X    0273, 0377, 0277, 0373, 0277, 0377, 0377, 0377, 0377, 0377,
  201. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0335, 0335,
  202. X    0125, 0125, 0335, 0325, 0125, 0335, 0135, 0325, 0135, 0325,
  203. X    0135, 0335, 0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  204. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0357, 0377,
  205. X    0377, 0357, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  206. X    0377, 0377, 0377, 0377, 0377, 0377, 0367, 0165, 0125, 0125,
  207. X    0127, 0165, 0125, 0167, 0167, 0125, 0125, 0125, 0125, 0167,
  208. X    0167, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  209. X    0377, 0377, 0377, 0377, 0373, 0373, 0273, 0277, 0377, 0373,
  210. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  211. X    0377, 0377, 0377, 0377, 0377, 0375, 0335, 0325, 0125, 0125,
  212. X    0125, 0175, 0365, 0125, 0125, 0325, 0335, 0377, 0377, 0377,
  213. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  214. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  215. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  216. X    0377, 0377, 0377, 0167, 0125, 0125, 0125, 0125, 0125, 0127,
  217. X    0165, 0125, 0125, 0125, 0127, 0167, 0377, 0377, 0377, 0377,
  218. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  219. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  220. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  221. X    0377, 0377, 0335, 0335, 0335, 0135, 0125, 0125, 0125, 0135,
  222. X    0135, 0335, 0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  223. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  224. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  225. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  226. X    0367, 0167, 0165, 0125, 0125, 0125, 0125, 0125, 0167, 0167,
  227. X    0167, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  228. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  229. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  230. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375,
  231. X    0335, 0335, 0335, 0335, 0335, 0335, 0335, 0377, 0377, 0377,
  232. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  233. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  234. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  235. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0167, 0167, 0167,
  236. X    0127, 0127, 0127, 0167, 0167, 0177, 0377, 0377, 0377, 0377,
  237. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  238. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  239. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  240. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0337, 0335, 0335,
  241. X    0337, 0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  242. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  243. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  244. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  245. X    0377, 0377, 0377, 0377, 0377, 0367, 0167, 0167, 0167, 0367,
  246. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  247. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  248. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  249. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  250. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  251. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  252. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  253. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  254. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  255. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  256. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  257. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  258. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  259. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  260. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  261. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  262. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  263. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  264. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  265. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  266. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  267. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  268. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  269. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  270. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  271. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  272. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  273. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  274. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  275. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  276. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  277. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  278. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  279. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  280. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  281. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  282. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  283. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  284. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  285. X    0377, 0377, 0377, 0377, 0000, 0000, 0000, 0000, 0000, 0000,
  286. X    0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000,
  287. X    0000, 0000, 0000, 0000, 0000, 0000, 0007, 0377, 
  288. X    };
  289. X/* bitmap for lb_1 */
  290. X
  291. X/* bitmap data */
  292. X
  293. Xstatic char lb_1_bits[] = {
  294. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  295. X    0377, 0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  296. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  297. X    0377, 0377, 0377, 0372, 0252, 0252, 0252, 0377, 0377, 0377,
  298. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  299. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0125, 0104, 0104,
  300. X    0104, 0107, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  301. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  302. X    0356, 0252, 0252, 0252, 0252, 0252, 0277, 0377, 0377, 0377,
  303. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  304. X    0377, 0377, 0377, 0377, 0125, 0121, 0020, 0020, 0000, 0000,
  305. X    0007, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  306. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373, 0252, 0252,
  307. X    0252, 0252, 0252, 0252, 0252, 0377, 0377, 0377, 0377, 0377,
  308. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  309. X    0377, 0325, 0125, 0124, 0104, 0100, 0100, 0000, 0000, 0037,
  310. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  311. X    0377, 0377, 0377, 0377, 0377, 0356, 0352, 0252, 0252, 0252,
  312. X    0252, 0252, 0252, 0257, 0377, 0377, 0377, 0377, 0377, 0377,
  313. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375, 0125,
  314. X    0125, 0021, 0000, 0000, 0000, 0000, 0000, 0000, 0377, 0377,
  315. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  316. X    0377, 0377, 0373, 0252, 0252, 0252, 0252, 0252, 0052, 0042,
  317. X    0042, 0042, 0077, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  318. X    0377, 0377, 0377, 0377, 0377, 0377, 0325, 0125, 0125, 0104,
  319. X    0104, 0000, 0000, 0000, 0000, 0000, 0017, 0377, 0377, 0377,
  320. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  321. X    0376, 0356, 0252, 0252, 0252, 0252, 0252, 0212, 0210, 0210,
  322. X    0213, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  323. X    0377, 0377, 0377, 0375, 0125, 0125, 0121, 0020, 0000, 0000,
  324. X    0000, 0000, 0000, 0000, 0001, 0377, 0377, 0377, 0377, 0377,
  325. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0272, 0252,
  326. X    0252, 0252, 0252, 0252, 0242, 0042, 0042, 0042, 0042, 0377,
  327. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  328. X    0377, 0325, 0125, 0125, 0124, 0104, 0100, 0000, 0000, 0000,
  329. X    0000, 0000, 0000, 0037, 0377, 0377, 0377, 0377, 0377, 0377,
  330. X    0377, 0377, 0377, 0377, 0377, 0377, 0356, 0352, 0252, 0252,
  331. X    0252, 0252, 0252, 0250, 0210, 0210, 0210, 0257, 0377, 0377,
  332. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0125,
  333. X    0125, 0125, 0021, 0000, 0000, 0000, 0000, 0000, 0000, 0000,
  334. X    0000, 0003, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  335. X    0377, 0377, 0377, 0373, 0252, 0252, 0252, 0252, 0252, 0052,
  336. X    0042, 0042, 0002, 0000, 0002, 0003, 0377, 0377, 0377, 0377,
  337. X    0377, 0377, 0377, 0377, 0377, 0377, 0375, 0125, 0125, 0125,
  338. X    0104, 0104, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000,
  339. X    0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  340. X    0377, 0376, 0356, 0252, 0252, 0252, 0252, 0252, 0212, 0210,
  341. X    0210, 0210, 0210, 0210, 0277, 0377, 0377, 0377, 0377, 0377,
  342. X    0377, 0377, 0377, 0377, 0365, 0125, 0125, 0121, 0021, 0020,
  343. X    0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0037, 0377,
  344. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373,
  345. X    0272, 0252, 0252, 0252, 0252, 0242, 0042, 0042, 0040, 0000,
  346. X    0000, 0000, 0057, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  347. X    0377, 0377, 0335, 0125, 0125, 0125, 0124, 0104, 0100, 0000,
  348. X    0000, 0000, 0000, 0000, 0000, 0000, 0007, 0377, 0377, 0377,
  349. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376, 0356, 0252,
  350. X    0252, 0252, 0252, 0252, 0250, 0210, 0210, 0210, 0210, 0210,
  351. X    0213, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  352. X    0125, 0125, 0125, 0121, 0021, 0000, 0000, 0000, 0000, 0000,
  353. X    0000, 0000, 0000, 0000, 0000, 0377, 0377, 0377, 0377, 0377,
  354. X    0377, 0377, 0377, 0377, 0377, 0273, 0252, 0252, 0252, 0252,
  355. X    0252, 0043, 0042, 0002, 0000, 0000, 0000, 0000, 0002, 0177,
  356. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0325, 0125,
  357. X    0125, 0125, 0104, 0104, 0000, 0001, 0000, 0100, 0000, 0000,
  358. X    0000, 0000, 0000, 0077, 0377, 0377, 0377, 0377, 0377, 0377,
  359. X    0377, 0377, 0377, 0356, 0356, 0252, 0252, 0252, 0252, 0253,
  360. X    0210, 0310, 0210, 0010, 0010, 0010, 0010, 0237, 0377, 0377,
  361. X    0377, 0377, 0377, 0377, 0377, 0367, 0125, 0125, 0125, 0121,
  362. X    0021, 0024, 0000, 0025, 0120, 0100, 0000, 0000, 0000, 0000,
  363. X    0000, 0017, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  364. X    0377, 0272, 0252, 0252, 0257, 0376, 0252, 0273, 0372, 0140,
  365. X    0240, 0000, 0000, 0000, 0000, 0047, 0377, 0377, 0377, 0377,
  366. X    0377, 0377, 0377, 0375, 0325, 0125, 0125, 0125, 0135, 0324,
  367. X    0100, 0125, 0120, 0100, 0124, 0000, 0000, 0000, 0000, 0003,
  368. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376,
  369. X    0352, 0252, 0277, 0372, 0252, 0376, 0276, 0350, 0377, 0300,
  370. X    0200, 0200, 0200, 0213, 0377, 0377, 0377, 0377, 0377, 0377,
  371. X    0377, 0167, 0125, 0125, 0125, 0021, 0025, 0120, 0000, 0124,
  372. X    0024, 0100, 0025, 0120, 0000, 0000, 0000, 0001, 0377, 0377,
  373. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0273, 0252, 0252,
  374. X    0277, 0352, 0252, 0276, 0072, 0042, 0033, 0273, 0200, 0000,
  375. X    0000, 0002, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0335,
  376. X    0125, 0125, 0125, 0125, 0135, 0104, 0001, 0120, 0005, 0120,
  377. X    0025, 0125, 0100, 0000, 0000, 0000, 0177, 0377, 0377, 0377,
  378. X    0377, 0377, 0377, 0377, 0377, 0357, 0352, 0252, 0377, 0352,
  379. X    0253, 0372, 0217, 0370, 0217, 0357, 0340, 0000, 0000, 0010,
  380. X    0277, 0377, 0377, 0377, 0377, 0377, 0377, 0165, 0125, 0127,
  381. X    0125, 0121, 0125, 0100, 0001, 0120, 0005, 0120, 0001, 0125,
  382. X    0100, 0000, 0000, 0000, 0037, 0377, 0377, 0377, 0377, 0377,
  383. X    0377, 0377, 0373, 0277, 0252, 0252, 0377, 0352, 0257, 0342,
  384. X    0043, 0360, 0043, 0273, 0270, 0000, 0000, 0000, 0077, 0377,
  385. X    0377, 0377, 0377, 0377, 0377, 0375, 0325, 0335, 0325, 0125,
  386. X    0135, 0304, 0105, 0100, 0001, 0120, 0001, 0125, 0124, 0000,
  387. X    0000, 0000, 0017, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  388. X    0377, 0377, 0352, 0253, 0377, 0252, 0257, 0352, 0253, 0370,
  389. X    0213, 0374, 0237, 0000, 0000, 0200, 0217, 0377, 0377, 0377,
  390. X    0377, 0377, 0377, 0165, 0127, 0167, 0125, 0021, 0125, 0000,
  391. X    0005, 0100, 0001, 0120, 0001, 0124, 0025, 0000, 0000, 0000,
  392. X    0007, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  393. X    0252, 0253, 0377, 0252, 0257, 0242, 0043, 0272, 0001, 0272,
  394. X    0013, 0200, 0000, 0000, 0003, 0377, 0377, 0377, 0377, 0377,
  395. X    0377, 0335, 0125, 0335, 0125, 0125, 0135, 0104, 0005, 0100,
  396. X    0001, 0120, 0001, 0124, 0005, 0100, 0000, 0000, 0001, 0377,
  397. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0356, 0253,
  398. X    0377, 0252, 0277, 0352, 0211, 0370, 0211, 0356, 0007, 0340,
  399. X    0000, 0000, 0011, 0377, 0377, 0377, 0377, 0377, 0377, 0165,
  400. X    0125, 0167, 0125, 0121, 0125, 0020, 0025, 0100, 0000, 0120,
  401. X    0000, 0125, 0001, 0100, 0000, 0000, 0000, 0377, 0377, 0377,
  402. X    0377, 0377, 0377, 0377, 0373, 0376, 0252, 0252, 0377, 0252,
  403. X    0277, 0342, 0042, 0370, 0040, 0273, 0003, 0260, 0000, 0000,
  404. X    0002, 0377, 0377, 0377, 0377, 0377, 0377, 0335, 0325, 0335,
  405. X    0125, 0125, 0334, 0104, 0125, 0000, 0000, 0124, 0000, 0125,
  406. X    0001, 0120, 0000, 0000, 0000, 0177, 0377, 0377, 0377, 0377,
  407. X    0377, 0377, 0377, 0376, 0352, 0256, 0376, 0252, 0377, 0252,
  408. X    0250, 0274, 0210, 0377, 0201, 0370, 0000, 0000, 0210, 0277,
  409. X    0377, 0377, 0377, 0377, 0377, 0165, 0127, 0167, 0125, 0125,
  410. X    0125, 0000, 0125, 0000, 0000, 0024, 0000, 0125, 0000, 0120,
  411. X    0000, 0000, 0000, 0077, 0377, 0377, 0377, 0377, 0377, 0377,
  412. X    0377, 0377, 0252, 0257, 0376, 0252, 0377, 0252, 0042, 0072,
  413. X    0000, 0073, 0200, 0272, 0000, 0000, 0000, 0077, 0377, 0377,
  414. X    0377, 0377, 0377, 0335, 0127, 0335, 0125, 0135, 0334, 0104,
  415. X    0125, 0000, 0000, 0024, 0000, 0125, 0000, 0124, 0000, 0000,
  416. X    0000, 0037, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376,
  417. X    0356, 0257, 0376, 0252, 0377, 0252, 0212, 0234, 0210, 0377,
  418. X    0310, 0156, 0000, 0000, 0010, 0217, 0377, 0377, 0377, 0377,
  419. X    0367, 0165, 0127, 0167, 0125, 0125, 0125, 0020, 0125, 0000,
  420. X    0000, 0024, 0000, 0125, 0100, 0125, 0000, 0000, 0000, 0017,
  421. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0252, 0277,
  422. X    0376, 0252, 0377, 0242, 0242, 0072, 0040, 0073, 0200, 0073,
  423. X    0000, 0000, 0000, 0047, 0377, 0377, 0377, 0377, 0377, 0335,
  424. X    0325, 0375, 0125, 0135, 0334, 0104, 0325, 0000, 0000, 0004,
  425. X    0000, 0025, 0100, 0125, 0000, 0000, 0000, 0007, 0377, 0377,
  426. X    0377, 0377, 0377, 0377, 0377, 0376, 0356, 0273, 0376, 0252,
  427. X    0377, 0252, 0252, 0256, 0210, 0277, 0300, 0277, 0200, 0200,
  428. X    0210, 0217, 0377, 0377, 0377, 0377, 0377, 0165, 0125, 0165,
  429. X    0125, 0125, 0125, 0000, 0125, 0000, 0000, 0004, 0000, 0025,
  430. X    0100, 0025, 0100, 0000, 0000, 0003, 0377, 0377, 0377, 0377,
  431. X    0377, 0377, 0377, 0377, 0252, 0273, 0376, 0252, 0377, 0252,
  432. X    0042, 0042, 0002, 0073, 0240, 0033, 0200, 0000, 0000, 0003,
  433. X    0377, 0377, 0377, 0377, 0377, 0335, 0137, 0335, 0125, 0125,
  434. X    0334, 0104, 0125, 0000, 0000, 0004, 0000, 0025, 0100, 0025,
  435. X    0100, 0000, 0000, 0001, 0377, 0377, 0377, 0377, 0377, 0377,
  436. X    0377, 0376, 0356, 0273, 0376, 0252, 0377, 0252, 0252, 0216,
  437. X    0210, 0277, 0350, 0017, 0300, 0000, 0010, 0213, 0377, 0377,
  438. X    0377, 0377, 0367, 0165, 0127, 0165, 0125, 0165, 0125, 0020,
  439. X    0125, 0000, 0000, 0004, 0000, 0025, 0100, 0005, 0100, 0000,
  440. X    0000, 0001, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373,
  441. X    0272, 0357, 0376, 0253, 0376, 0252, 0242, 0042, 0042, 0073,
  442. X    0260, 0013, 0240, 0000, 0000, 0042, 0377, 0377, 0377, 0377,
  443. X    0377, 0375, 0335, 0375, 0125, 0125, 0334, 0105, 0324, 0100,
  444. X    0000, 0000, 0000, 0025, 0120, 0005, 0100, 0000, 0000, 0000,
  445. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376, 0356, 0357,
  446. X    0376, 0253, 0376, 0252, 0252, 0252, 0210, 0237, 0370, 0217,
  447. X    0340, 0200, 0210, 0210, 0377, 0377, 0377, 0377, 0377, 0165,
  448. X    0167, 0165, 0125, 0125, 0125, 0021, 0124, 0000, 0000, 0000,
  449. X    0000, 0025, 0120, 0005, 0100, 0000, 0000, 0000, 0177, 0377,
  450. X    0377, 0377, 0377, 0377, 0377, 0373, 0252, 0357, 0376, 0253,
  451. X    0376, 0252, 0042, 0042, 0042, 0033, 0260, 0003, 0260, 0000,
  452. X    0000, 0002, 0177, 0377, 0377, 0377, 0377, 0335, 0327, 0335,
  453. X    0125, 0325, 0335, 0105, 0124, 0000, 0000, 0000, 0000, 0025,
  454. X    0120, 0005, 0120, 0000, 0000, 0000, 0177, 0377, 0377, 0377,
  455. X    0377, 0377, 0377, 0376, 0356, 0357, 0372, 0253, 0376, 0252,
  456. X    0252, 0252, 0210, 0237, 0370, 0217, 0350, 0010, 0010, 0212,
  457. X    0277, 0377, 0377, 0377, 0377, 0165, 0167, 0165, 0125, 0125,
  458. X    0161, 0021, 0124, 0000, 0000, 0000, 0000, 0025, 0120, 0005,
  459. X    0120, 0000, 0000, 0000, 0077, 0377, 0377, 0377, 0377, 0377,
  460. X    0377, 0373, 0273, 0357, 0372, 0253, 0376, 0252, 0242, 0242,
  461. X    0042, 0073, 0270, 0013, 0260, 0000, 0000, 0042, 0077, 0377,
  462. X    0377, 0377, 0377, 0375, 0367, 0375, 0125, 0125, 0335, 0125,
  463. X    0324, 0100, 0000, 0000, 0000, 0005, 0120, 0005, 0120, 0000,
  464. X    0000, 0000, 0077, 0377, 0377, 0377, 0377, 0377, 0377, 0376,
  465. X    0357, 0357, 0372, 0253, 0376, 0252, 0252, 0252, 0250, 0217,
  466. X    0370, 0217, 0370, 0210, 0210, 0210, 0277, 0377, 0377, 0377,
  467. X    0377, 0167, 0167, 0165, 0127, 0127, 0121, 0021, 0124, 0000,
  468. X    0000, 0000, 0000, 0005, 0120, 0005, 0120, 0000, 0000, 0000,
  469. X    0037, 0377, 0377, 0377, 0377, 0377, 0377, 0373, 0273, 0257,
  470. X    0372, 0257, 0376, 0252, 0252, 0042, 0042, 0053, 0272, 0003,
  471. X    0270, 0000, 0002, 0002, 0077, 0377, 0377, 0377, 0377, 0335,
  472. X    0377, 0335, 0125, 0135, 0335, 0105, 0134, 0104, 0000, 0000,
  473. X    0000, 0005, 0120, 0005, 0120, 0000, 0000, 0000, 0037, 0377,
  474. X    0377, 0377, 0377, 0377, 0377, 0377, 0357, 0357, 0372, 0257,
  475. X    0376, 0252, 0252, 0252, 0212, 0217, 0370, 0217, 0370, 0210,
  476. X    0210, 0212, 0277, 0377, 0377, 0377, 0377, 0367, 0167, 0165,
  477. X    0127, 0125, 0165, 0025, 0124, 0000, 0000, 0000, 0000, 0005,
  478. X    0120, 0005, 0120, 0000, 0000, 0000, 0037, 0377, 0377, 0377,
  479. X    0377, 0377, 0377, 0377, 0273, 0257, 0372, 0257, 0376, 0252,
  480. X    0252, 0242, 0242, 0053, 0372, 0043, 0260, 0040, 0040, 0042,
  481. X    0057, 0377, 0377, 0377, 0377, 0375, 0337, 0375, 0125, 0135,
  482. X    0335, 0125, 0324, 0104, 0100, 0000, 0000, 0005, 0120, 0005,
  483. X    0120, 0000, 0000, 0000, 0017, 0377, 0377, 0377, 0377, 0377,
  484. X    0377, 0377, 0377, 0357, 0372, 0257, 0376, 0252, 0252, 0252,
  485. X    0252, 0257, 0370, 0217, 0370, 0210, 0210, 0212, 0257, 0377,
  486. X    0377, 0377, 0377, 0167, 0127, 0165, 0127, 0127, 0125, 0025,
  487. X    0125, 0000, 0000, 0000, 0000, 0005, 0124, 0005, 0120, 0000,
  488. X    0000, 0000, 0017, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  489. X    0277, 0257, 0372, 0257, 0376, 0252, 0252, 0252, 0042, 0057,
  490. X    0272, 0013, 0262, 0002, 0002, 0042, 0057, 0377, 0377, 0377,
  491. X    0377, 0377, 0337, 0335, 0125, 0135, 0335, 0125, 0134, 0104,
  492. X    0004, 0000, 0000, 0005, 0124, 0005, 0120, 0000, 0000, 0000,
  493. X    0017, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0356, 0357,
  494. X    0372, 0257, 0376, 0252, 0252, 0252, 0252, 0217, 0374, 0217,
  495. X    0350, 0210, 0210, 0212, 0257, 0377, 0377, 0377, 0377, 0367,
  496. X    0367, 0165, 0127, 0127, 0165, 0125, 0125, 0020, 0000, 0000,
  497. X    0000, 0005, 0124, 0005, 0100, 0000, 0000, 0000, 0017, 0377,
  498. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0277, 0372, 0257,
  499. X    0376, 0252, 0252, 0252, 0242, 0253, 0373, 0353, 0342, 0042,
  500. X    0042, 0042, 0257, 0377, 0377, 0377, 0377, 0377, 0337, 0375,
  501. X    0135, 0135, 0335, 0125, 0334, 0104, 0104, 0100, 0000, 0005,
  502. X    0125, 0125, 0000, 0000, 0000, 0000, 0017, 0377, 0377, 0377,
  503. X    0377, 0377, 0377, 0377, 0376, 0357, 0372, 0257, 0376, 0252,
  504. X    0252, 0252, 0252, 0257, 0375, 0377, 0210, 0210, 0250, 0252,
  505. X    0257, 0377, 0377, 0377, 0377, 0377, 0167, 0165, 0125, 0127,
  506. X    0125, 0125, 0125, 0021, 0000, 0000, 0000, 0005, 0125, 0125,
  507. X    0000, 0000, 0000, 0000, 0017, 0377, 0377, 0377, 0377, 0377,
  508. X    0377, 0377, 0273, 0277, 0372, 0257, 0376, 0252, 0252, 0252,
  509. X    0252, 0057, 0277, 0277, 0042, 0042, 0042, 0042, 0057, 0377,
  510. X    0377, 0377, 0377, 0377, 0337, 0375, 0135, 0135, 0335, 0125,
  511. X    0335, 0104, 0104, 0004, 0000, 0005, 0125, 0125, 0000, 0000,
  512. X    0000, 0000, 0007, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  513. X    0377, 0357, 0376, 0257, 0376, 0252, 0252, 0252, 0252, 0257,
  514. X    0377, 0377, 0212, 0212, 0212, 0252, 0257, 0377, 0377, 0377,
  515. X    0377, 0377, 0367, 0167, 0125, 0127, 0165, 0125, 0125, 0021,
  516. X    0020, 0000, 0000, 0005, 0125, 0125, 0000, 0000, 0000, 0000,
  517. X    0037, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373, 0277,
  518. X    0372, 0257, 0376, 0252, 0252, 0252, 0252, 0257, 0377, 0373,
  519. X    0042, 0042, 0042, 0042, 0257, 0377, 0377, 0377, 0377, 0377,
  520. X    0375, 0377, 0335, 0135, 0335, 0125, 0335, 0124, 0104, 0104,
  521. X    0100, 0005, 0125, 0125, 0000, 0000, 0000, 0000, 0117, 0377,
  522. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376, 0357,
  523. X    0376, 0252, 0252, 0252, 0252, 0257, 0377, 0377, 0252, 0252,
  524. X    0252, 0252, 0257, 0377, 0377, 0377, 0377, 0377, 0167, 0167,
  525. X    0165, 0127, 0165, 0125, 0125, 0021, 0025, 0125, 0124, 0005,
  526. X    0124, 0125, 0000, 0000, 0000, 0000, 0017, 0377, 0377, 0377,
  527. X    0377, 0377, 0377, 0377, 0377, 0277, 0372, 0257, 0376, 0252,
  528. X    0277, 0377, 0376, 0257, 0276, 0277, 0042, 0042, 0042, 0052,
  529. X    0257, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0135, 0135,
  530. X    0335, 0125, 0335, 0125, 0135, 0135, 0124, 0005, 0124, 0125,
  531. X    0000, 0000, 0000, 0000, 0117, 0377, 0377, 0377, 0377, 0377,
  532. X    0377, 0377, 0377, 0377, 0376, 0357, 0376, 0252, 0277, 0377,
  533. X    0376, 0257, 0376, 0377, 0252, 0252, 0252, 0252, 0257, 0377,
  534. X    0377, 0377, 0377, 0377, 0367, 0367, 0125, 0127, 0165, 0125,
  535. X    0165, 0121, 0025, 0125, 0124, 0005, 0124, 0125, 0000, 0000,
  536. X    0000, 0000, 0037, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  537. X    0377, 0377, 0372, 0257, 0376, 0252, 0277, 0377, 0376, 0257,
  538. X    0372, 0377, 0242, 0242, 0242, 0252, 0257, 0377, 0377, 0377,
  539. X    0377, 0377, 0377, 0377, 0335, 0135, 0335, 0125, 0335, 0125,
  540. X    0135, 0325, 0324, 0105, 0120, 0125, 0000, 0000, 0000, 0000,
  541. X    0137, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  542. X    0376, 0357, 0376, 0252, 0277, 0377, 0376, 0257, 0372, 0377,
  543. X    0252, 0252, 0252, 0252, 0257, 0377, 0377, 0377, 0377, 0377,
  544. X    0377, 0167, 0125, 0127, 0165, 0127, 0125, 0021, 0021, 0125,
  545. X    0100, 0005, 0120, 0125, 0000, 0000, 0000, 0000, 0037, 0377,
  546. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373, 0253,
  547. X    0376, 0252, 0253, 0377, 0352, 0257, 0372, 0377, 0352, 0052,
  548. X    0252, 0252, 0277, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  549. X    0375, 0137, 0335, 0125, 0335, 0125, 0125, 0135, 0104, 0105,
  550. X    0124, 0125, 0000, 0000, 0000, 0004, 0137, 0377, 0377, 0377,
  551. X    0377, 0377, 0377, 0377, 0377, 0377, 0376, 0357, 0376, 0252,
  552. X    0253, 0377, 0352, 0257, 0372, 0377, 0252, 0252, 0252, 0252,
  553. X    0277, 0377, 0377, 0377, 0377, 0377, 0377, 0367, 0365, 0127,
  554. X    0165, 0127, 0165, 0125, 0121, 0125, 0020, 0025, 0120, 0125,
  555. X    0100, 0000, 0000, 0021, 0037, 0377, 0377, 0377, 0377, 0377,
  556. X    0377, 0377, 0377, 0377, 0373, 0273, 0376, 0252, 0252, 0377,
  557. X    0252, 0257, 0372, 0277, 0352, 0252, 0252, 0252, 0277, 0377,
  558. X    0377, 0377, 0377, 0377, 0377, 0377, 0375, 0325, 0375, 0125,
  559. X    0335, 0125, 0125, 0335, 0304, 0105, 0324, 0125, 0300, 0100,
  560. X    0104, 0104, 0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  561. X    0377, 0377, 0377, 0377, 0376, 0352, 0252, 0377, 0252, 0277,
  562. X    0372, 0377, 0352, 0252, 0252, 0252, 0277, 0377, 0377, 0377,
  563. X    0377, 0377, 0377, 0177, 0165, 0127, 0165, 0127, 0127, 0125,
  564. X    0025, 0125, 0021, 0025, 0120, 0125, 0100, 0000, 0000, 0001,
  565. X    0077, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  566. X    0373, 0273, 0377, 0252, 0252, 0377, 0252, 0277, 0372, 0377,
  567. X    0252, 0252, 0252, 0252, 0277, 0377, 0377, 0377, 0377, 0377,
  568. X    0377, 0377, 0375, 0337, 0335, 0125, 0335, 0125, 0125, 0335,
  569. X    0304, 0135, 0124, 0125, 0104, 0104, 0104, 0105, 0177, 0377,
  570. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0357,
  571. X    0377, 0356, 0252, 0377, 0252, 0277, 0372, 0377, 0352, 0252,
  572. X    0252, 0252, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  573. X    0367, 0167, 0165, 0125, 0167, 0125, 0125, 0125, 0021, 0025,
  574. X    0120, 0025, 0120, 0020, 0021, 0021, 0177, 0377, 0377, 0377,
  575. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373, 0377, 0252,
  576. X    0252, 0377, 0252, 0277, 0372, 0277, 0352, 0252, 0252, 0252,
  577. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375, 0337,
  578. X    0375, 0125, 0335, 0125, 0125, 0335, 0125, 0135, 0324, 0125,
  579. X    0304, 0104, 0104, 0125, 0377, 0377, 0377, 0377, 0377, 0377,
  580. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0356, 0352, 0377,
  581. X    0252, 0277, 0372, 0277, 0352, 0252, 0252, 0252, 0377, 0377,
  582. X    0377, 0377, 0377, 0377, 0377, 0377, 0177, 0127, 0165, 0125,
  583. X    0167, 0125, 0125, 0125, 0021, 0025, 0121, 0025, 0101, 0001,
  584. X    0021, 0025, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  585. X    0377, 0377, 0377, 0273, 0377, 0252, 0252, 0377, 0252, 0277,
  586. X    0352, 0277, 0352, 0252, 0252, 0253, 0377, 0377, 0377, 0377,
  587. X    0377, 0377, 0377, 0377, 0377, 0337, 0375, 0125, 0335, 0125,
  588. X    0125, 0335, 0125, 0135, 0105, 0135, 0104, 0104, 0105, 0125,
  589. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  590. X    0377, 0377, 0377, 0356, 0357, 0377, 0252, 0277, 0352, 0377,
  591. X    0352, 0252, 0252, 0257, 0377, 0377, 0377, 0377, 0377, 0377,
  592. X    0377, 0377, 0367, 0167, 0165, 0125, 0167, 0125, 0125, 0165,
  593. X    0125, 0125, 0121, 0125, 0121, 0021, 0021, 0127, 0377, 0377,
  594. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  595. X    0377, 0273, 0273, 0377, 0252, 0277, 0352, 0277, 0352, 0252,
  596. X    0252, 0257, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  597. X    0377, 0377, 0377, 0325, 0175, 0125, 0125, 0335, 0125, 0135,
  598. X    0325, 0135, 0325, 0125, 0125, 0127, 0377, 0377, 0377, 0377,
  599. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376,
  600. X    0357, 0376, 0352, 0377, 0352, 0377, 0252, 0252, 0252, 0357,
  601. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0167,
  602. X    0167, 0125, 0167, 0125, 0125, 0127, 0125, 0125, 0121, 0025,
  603. X    0121, 0021, 0025, 0137, 0377, 0377, 0377, 0377, 0377, 0377,
  604. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0273, 0253, 0376,
  605. X    0252, 0377, 0352, 0277, 0352, 0252, 0252, 0277, 0377, 0377,
  606. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0335,
  607. X    0137, 0325, 0125, 0335, 0125, 0135, 0325, 0135, 0325, 0125,
  608. X    0125, 0137, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  609. X    0377, 0377, 0377, 0377, 0377, 0377, 0357, 0376, 0356, 0377,
  610. X    0252, 0377, 0352, 0252, 0256, 0377, 0377, 0377, 0377, 0377,
  611. X    0377, 0377, 0377, 0377, 0377, 0367, 0367, 0125, 0167, 0125,
  612. X    0125, 0167, 0125, 0165, 0125, 0165, 0125, 0125, 0125, 0177,
  613. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  614. X    0377, 0377, 0377, 0373, 0273, 0376, 0252, 0377, 0252, 0377,
  615. X    0352, 0252, 0253, 0277, 0377, 0377, 0377, 0377, 0377, 0377,
  616. X    0377, 0377, 0377, 0377, 0377, 0335, 0335, 0365, 0125, 0335,
  617. X    0125, 0335, 0125, 0135, 0325, 0125, 0125, 0177, 0377, 0377,
  618. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  619. X    0377, 0377, 0377, 0376, 0356, 0377, 0352, 0377, 0352, 0352,
  620. X    0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  621. X    0377, 0377, 0177, 0125, 0127, 0165, 0127, 0165, 0125, 0127,
  622. X    0125, 0127, 0125, 0125, 0125, 0377, 0377, 0377, 0377, 0377,
  623. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  624. X    0273, 0377, 0253, 0377, 0252, 0377, 0252, 0252, 0253, 0377,
  625. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  626. X    0377, 0335, 0337, 0325, 0125, 0335, 0125, 0335, 0125, 0335,
  627. X    0125, 0125, 0125, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  628. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376,
  629. X    0357, 0377, 0356, 0376, 0356, 0356, 0357, 0377, 0377, 0377,
  630. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0367,
  631. X    0167, 0165, 0127, 0165, 0125, 0167, 0125, 0165, 0125, 0125,
  632. X    0127, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  633. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373, 0273, 0377,
  634. X    0273, 0372, 0272, 0273, 0277, 0377, 0377, 0377, 0377, 0377,
  635. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375, 0337, 0365,
  636. X    0325, 0375, 0135, 0335, 0325, 0125, 0125, 0125, 0137, 0377,
  637. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  638. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0356, 0356,
  639. X    0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  640. X    0377, 0377, 0377, 0377, 0377, 0167, 0167, 0165, 0127, 0165,
  641. X    0127, 0167, 0125, 0125, 0125, 0125, 0137, 0377, 0377, 0377,
  642. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  643. X    0377, 0377, 0377, 0377, 0277, 0377, 0273, 0273, 0273, 0273,
  644. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  645. X    0377, 0377, 0377, 0377, 0335, 0375, 0137, 0325, 0135, 0325,
  646. X    0125, 0125, 0125, 0125, 0177, 0377, 0377, 0377, 0377, 0377,
  647. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  648. X    0377, 0377, 0377, 0377, 0357, 0357, 0357, 0377, 0377, 0377,
  649. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  650. X    0377, 0377, 0167, 0167, 0167, 0125, 0125, 0125, 0125, 0125,
  651. X    0125, 0125, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  652. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  653. X    0377, 0373, 0373, 0273, 0273, 0377, 0377, 0377, 0377, 0377,
  654. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  655. X    0377, 0377, 0375, 0325, 0325, 0125, 0125, 0125, 0125, 0137,
  656. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  657. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  658. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  659. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0167, 0167,
  660. X    0167, 0125, 0125, 0125, 0125, 0125, 0125, 0137, 0377, 0377,
  661. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  662. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  663. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  664. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0335, 0335,
  665. X    0335, 0135, 0125, 0125, 0135, 0377, 0377, 0377, 0377, 0377,
  666. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  667. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  668. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  669. X    0377, 0377, 0377, 0377, 0377, 0367, 0167, 0165, 0165, 0125,
  670. X    0125, 0125, 0167, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  671. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  672. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  673. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  674. X    0377, 0377, 0377, 0377, 0377, 0375, 0335, 0335, 0335, 0335,
  675. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  676. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  677. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  678. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  679. X    0377, 0377, 0167, 0167, 0167, 0127, 0127, 0167, 0177, 0377,
  680. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  681. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  682. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  683. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  684. X    0377, 0377, 0337, 0335, 0337, 0337, 0377, 0377, 0377, 0377,
  685. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  686. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  687. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  688. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0367,
  689. X    0367, 0167, 0167, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  690. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  691. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  692. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  693. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  694. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  695. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  696. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  697. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  698. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  699. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  700. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  701. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  702. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  703. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  704. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  705. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  706. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  707. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  708. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  709. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  710. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  711. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  712. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  713. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  714. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  715. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  716. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  717. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  718. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  719. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  720. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  721. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  722. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  723. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  724. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  725. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  726. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  727. END_OF_FILE
  728. # end of 'src/copyright.h.2'
  729. fi
  730. echo shar: End of archive 59 \(of 61\).
  731. cp /dev/null ark59isdone
  732. MISSING=""
  733. for I in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 \
  734.     21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 \
  735.     38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 \
  736.     55 56 57 58 59 60 61 ; do
  737.     if test ! -f ark${I}isdone ; then
  738.     MISSING="${MISSING} ${I}"
  739.     fi
  740. done
  741. if test "${MISSING}" = "" ; then
  742.     echo You have unpacked all 61 archives.
  743.     rm -f ark[1-9]isdone ark[1-9][0-9]isdone
  744. else
  745.     echo You still need to unpack the following archives:
  746.     echo "        " ${MISSING}
  747. fi
  748. ##  End of shell archive.
  749. exit 0
  750.