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