home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 October / usenetsourcesnewsgroupsinfomagicoctober1994disk2.iso / unix / volume17 / mgr / part54 < prev    next >
Text File  |  1989-01-19  |  36KB  |  622 lines
  1. Subject:  v17i055:  MGR, Bellcore window manager, Part54/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 55
  7. Archive-name: mgr/part54
  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 54 (of 61)."
  19. # Contents:  src/copyright.h.6
  20. # Wrapped by rsalz@papaya.bbn.com on Thu Nov 17 21:06:01 1988
  21. PATH=/bin:/usr/bin:/usr/ucb ; export PATH
  22. if test -f 'src/copyright.h.6' -a "${1}" != "-c" ; then 
  23.   echo shar: Will not clobber existing file \"'src/copyright.h.6'\"
  24. else
  25. echo shar: Extracting \"'src/copyright.h.6'\" \(34277 characters\)
  26. sed "s/^X//" >'src/copyright.h.6' <<'END_OF_FILE'
  27. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  28. X    0377, 0377, 0377, 0352, 0253, 0273, 0377, 0377, 0377, 0377,
  29. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  30. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0365, 0125, 0125,
  31. X    0137, 0335, 0375, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  32. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  33. X    0377, 0372, 0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  34. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  35. X    0377, 0377, 0377, 0377, 0377, 0375, 0125, 0125, 0127, 0167,
  36. X    0177, 0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  37. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376,
  38. X    0253, 0273, 0277, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  39. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  40. X    0377, 0377, 0377, 0375, 0125, 0125, 0127, 0375, 0337, 0377,
  41. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  42. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376, 0356, 0357,
  43. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  44. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  45. X    0377, 0377, 0125, 0125, 0125, 0167, 0167, 0377, 0377, 0377,
  46. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  47. X    0377, 0377, 0377, 0377, 0377, 0377, 0273, 0273, 0377, 0377,
  48. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  49. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  50. X    0325, 0125, 0125, 0337, 0377, 0377, 0377, 0377, 0377, 0377,
  51. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  52. X    0377, 0377, 0377, 0377, 0356, 0377, 0377, 0377, 0377, 0377,
  53. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  54. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0325, 0125,
  55. X    0125, 0127, 0167, 0177, 0377, 0377, 0377, 0377, 0377, 0377,
  56. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  57. X    0377, 0377, 0373, 0277, 0377, 0377, 0377, 0377, 0377, 0377,
  58. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  59. X    0377, 0377, 0377, 0377, 0377, 0377, 0365, 0125, 0135, 0335,
  60. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  61. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  62. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  63. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  64. X    0377, 0377, 0377, 0377, 0375, 0125, 0125, 0167, 0167, 0377,
  65. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  66. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  67. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  68. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  69. X    0377, 0377, 0377, 0125, 0335, 0337, 0377, 0377, 0377, 0377,
  70. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  71. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  72. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  73. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  74. X    0377, 0325, 0127, 0167, 0177, 0377, 0377, 0377, 0377, 0377,
  75. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  76. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  77. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  78. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0365,
  79. X    0335, 0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  80. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  81. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  82. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  83. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375, 0167, 0167,
  84. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  85. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  86. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  87. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  88. X    0377, 0377, 0377, 0377, 0377, 0377, 0335, 0377, 0377, 0377,
  89. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  90. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  91. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  92. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  93. X    0377, 0377, 0377, 0377, 0327, 0167, 0377, 0377, 0377, 0377,
  94. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  95. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  96. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  97. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  98. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  99. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  100. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  101. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  102. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  103. X    0377, 0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  104. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  105. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  106. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  107. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  108. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  109. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  110. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  111. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  112. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  113. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  114. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  115. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  116. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  117. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  118. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  119. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  120. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  121. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  122. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  123. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  124. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  125. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  126. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  127. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  128. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  129. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  130. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  131. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  132. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  133. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  134. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  135. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  136. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  137. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  138. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  139. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  140. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  141. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  142. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  143. X    0377, 0377, 0377, 0377, 0000, 0000, 0000, 0000, 0000, 0000,
  144. X    0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000,
  145. X    0000, 0000, 0000, 0000, 0000, 0000, 0007, 0377, 
  146. X    };
  147. X/* bitmap for lb_7 */
  148. X
  149. X/* bitmap data */
  150. X
  151. Xstatic char lb_7_bits[] = {
  152. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  153. X    0377, 0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  154. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  155. X    0377, 0377, 0377, 0372, 0252, 0252, 0252, 0377, 0377, 0377,
  156. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  157. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0104, 0104, 0105,
  158. X    0125, 0127, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  159. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  160. X    0352, 0252, 0252, 0252, 0252, 0256, 0377, 0377, 0377, 0377,
  161. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  162. X    0377, 0377, 0377, 0377, 0000, 0000, 0000, 0021, 0021, 0125,
  163. X    0127, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  164. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0372, 0252, 0252,
  165. X    0252, 0252, 0252, 0252, 0273, 0377, 0377, 0377, 0377, 0377,
  166. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  167. X    0377, 0300, 0000, 0000, 0000, 0104, 0104, 0125, 0125, 0137,
  168. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  169. X    0377, 0377, 0377, 0377, 0377, 0252, 0252, 0252, 0252, 0252,
  170. X    0252, 0252, 0256, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  171. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0370, 0000,
  172. X    0000, 0000, 0000, 0000, 0001, 0021, 0025, 0125, 0377, 0377,
  173. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  174. X    0377, 0377, 0352, 0042, 0042, 0042, 0052, 0252, 0252, 0252,
  175. X    0252, 0253, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  176. X    0377, 0377, 0377, 0377, 0377, 0377, 0200, 0000, 0000, 0000,
  177. X    0000, 0004, 0104, 0105, 0125, 0125, 0137, 0377, 0377, 0377,
  178. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376,
  179. X    0210, 0210, 0212, 0212, 0252, 0252, 0252, 0252, 0252, 0256,
  180. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  181. X    0377, 0377, 0377, 0374, 0000, 0000, 0000, 0000, 0000, 0000,
  182. X    0000, 0021, 0125, 0125, 0125, 0377, 0377, 0377, 0377, 0377,
  183. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0362, 0042, 0042,
  184. X    0042, 0042, 0042, 0252, 0252, 0252, 0252, 0253, 0273, 0377,
  185. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  186. X    0377, 0300, 0000, 0000, 0000, 0000, 0000, 0000, 0104, 0104,
  187. X    0125, 0125, 0125, 0337, 0377, 0377, 0377, 0377, 0377, 0377,
  188. X    0377, 0377, 0377, 0377, 0377, 0250, 0210, 0210, 0210, 0252,
  189. X    0252, 0252, 0252, 0252, 0252, 0356, 0377, 0377, 0377, 0377,
  190. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0376, 0000,
  191. X    0000, 0000, 0000, 0000, 0000, 0000, 0000, 0001, 0025, 0125,
  192. X    0125, 0127, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  193. X    0377, 0377, 0376, 0002, 0000, 0002, 0002, 0042, 0042, 0052,
  194. X    0252, 0252, 0252, 0252, 0273, 0277, 0377, 0377, 0377, 0377,
  195. X    0377, 0377, 0377, 0377, 0377, 0377, 0360, 0000, 0000, 0000,
  196. X    0000, 0000, 0000, 0000, 0004, 0104, 0125, 0125, 0125, 0135,
  197. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  198. X    0350, 0210, 0210, 0210, 0210, 0212, 0212, 0252, 0252, 0252,
  199. X    0252, 0256, 0357, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  200. X    0377, 0377, 0377, 0377, 0300, 0000, 0000, 0000, 0000, 0000,
  201. X    0000, 0000, 0000, 0021, 0021, 0125, 0125, 0125, 0177, 0377,
  202. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0240, 0000,
  203. X    0000, 0000, 0042, 0042, 0042, 0252, 0252, 0252, 0252, 0252,
  204. X    0273, 0277, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  205. X    0377, 0377, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000,
  206. X    0104, 0104, 0125, 0125, 0125, 0125, 0337, 0377, 0377, 0377,
  207. X    0377, 0377, 0377, 0377, 0377, 0376, 0210, 0210, 0210, 0210,
  208. X    0210, 0210, 0252, 0252, 0252, 0252, 0252, 0252, 0356, 0377,
  209. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0370,
  210. X    0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0001,
  211. X    0021, 0025, 0125, 0125, 0127, 0377, 0377, 0377, 0377, 0377,
  212. X    0377, 0377, 0377, 0362, 0000, 0000, 0000, 0000, 0002, 0002,
  213. X    0042, 0053, 0252, 0252, 0252, 0252, 0253, 0277, 0377, 0377,
  214. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0340, 0000, 0000,
  215. X    0000, 0000, 0000, 0000, 0000, 0001, 0004, 0104, 0105, 0125,
  216. X    0125, 0125, 0137, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  217. X    0377, 0310, 0210, 0010, 0010, 0010, 0210, 0210, 0212, 0253,
  218. X    0252, 0352, 0252, 0252, 0356, 0377, 0377, 0377, 0377, 0377,
  219. X    0377, 0377, 0377, 0377, 0377, 0200, 0000, 0000, 0000, 0000,
  220. X    0000, 0024, 0000, 0025, 0120, 0121, 0021, 0125, 0125, 0125,
  221. X    0127, 0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0040,
  222. X    0000, 0000, 0000, 0000, 0053, 0372, 0042, 0077, 0372, 0352,
  223. X    0252, 0252, 0273, 0273, 0377, 0377, 0377, 0377, 0377, 0377,
  224. X    0377, 0377, 0376, 0000, 0000, 0000, 0000, 0000, 0025, 0124,
  225. X    0000, 0125, 0120, 0104, 0135, 0125, 0125, 0125, 0135, 0377,
  226. X    0377, 0377, 0377, 0377, 0377, 0377, 0376, 0210, 0200, 0200,
  227. X    0200, 0210, 0237, 0370, 0252, 0376, 0276, 0352, 0377, 0352,
  228. X    0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  229. X    0374, 0000, 0000, 0000, 0000, 0000, 0025, 0120, 0000, 0124,
  230. X    0024, 0101, 0025, 0125, 0125, 0125, 0127, 0177, 0377, 0377,
  231. X    0377, 0377, 0377, 0377, 0372, 0000, 0000, 0000, 0000, 0000,
  232. X    0073, 0242, 0042, 0276, 0276, 0352, 0277, 0377, 0253, 0273,
  233. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0360, 0000,
  234. X    0000, 0000, 0100, 0000, 0025, 0100, 0001, 0120, 0005, 0124,
  235. X    0135, 0335, 0325, 0125, 0135, 0337, 0377, 0377, 0377, 0377,
  236. X    0377, 0377, 0350, 0210, 0000, 0001, 0310, 0010, 0377, 0310,
  237. X    0213, 0372, 0257, 0372, 0257, 0377, 0356, 0357, 0377, 0377,
  238. X    0377, 0377, 0377, 0377, 0377, 0377, 0300, 0000, 0000, 0005,
  239. X    0100, 0000, 0125, 0100, 0001, 0120, 0005, 0121, 0021, 0165,
  240. X    0165, 0125, 0125, 0167, 0377, 0377, 0377, 0377, 0377, 0377,
  241. X    0340, 0000, 0000, 0073, 0200, 0000, 0073, 0342, 0043, 0342,
  242. X    0253, 0372, 0253, 0377, 0373, 0273, 0377, 0377, 0377, 0377,
  243. X    0377, 0377, 0377, 0377, 0200, 0000, 0000, 0125, 0000, 0000,
  244. X    0125, 0000, 0005, 0100, 0001, 0324, 0125, 0335, 0335, 0125,
  245. X    0125, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0210, 0200,
  246. X    0001, 0377, 0200, 0211, 0377, 0210, 0257, 0352, 0253, 0372,
  247. X    0253, 0376, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  248. X    0377, 0377, 0000, 0000, 0001, 0125, 0000, 0001, 0125, 0000,
  249. X    0005, 0100, 0001, 0121, 0021, 0125, 0127, 0125, 0125, 0167,
  250. X    0377, 0377, 0377, 0377, 0377, 0376, 0000, 0000, 0003, 0273,
  251. X    0000, 0001, 0273, 0002, 0057, 0252, 0253, 0372, 0253, 0376,
  252. X    0257, 0273, 0277, 0377, 0377, 0377, 0377, 0377, 0377, 0374,
  253. X    0000, 0000, 0001, 0125, 0000, 0001, 0125, 0000, 0005, 0100,
  254. X    0005, 0134, 0105, 0335, 0135, 0325, 0135, 0337, 0377, 0377,
  255. X    0377, 0377, 0377, 0374, 0210, 0000, 0003, 0357, 0010, 0011,
  256. X    0377, 0210, 0237, 0352, 0253, 0372, 0253, 0376, 0257, 0357,
  257. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0370, 0000, 0000,
  258. X    0001, 0124, 0000, 0001, 0125, 0000, 0025, 0100, 0000, 0121,
  259. X    0021, 0165, 0127, 0165, 0125, 0167, 0377, 0377, 0377, 0377,
  260. X    0377, 0372, 0000, 0000, 0001, 0272, 0000, 0002, 0273, 0042,
  261. X    0073, 0352, 0252, 0372, 0252, 0377, 0253, 0373, 0377, 0377,
  262. X    0377, 0377, 0377, 0377, 0377, 0360, 0000, 0000, 0001, 0125,
  263. X    0000, 0004, 0124, 0000, 0025, 0000, 0104, 0124, 0125, 0335,
  264. X    0125, 0335, 0125, 0337, 0377, 0377, 0377, 0377, 0377, 0350,
  265. X    0200, 0200, 0003, 0376, 0200, 0216, 0376, 0210, 0377, 0252,
  266. X    0252, 0276, 0252, 0377, 0357, 0377, 0377, 0377, 0377, 0377,
  267. X    0377, 0377, 0377, 0340, 0000, 0000, 0001, 0124, 0000, 0005,
  268. X    0124, 0000, 0125, 0000, 0000, 0025, 0021, 0127, 0125, 0165,
  269. X    0125, 0167, 0177, 0377, 0377, 0377, 0377, 0340, 0000, 0000,
  270. X    0003, 0272, 0000, 0011, 0272, 0042, 0077, 0252, 0252, 0276,
  271. X    0252, 0377, 0253, 0377, 0277, 0377, 0377, 0377, 0377, 0377,
  272. X    0377, 0300, 0000, 0000, 0001, 0124, 0000, 0005, 0124, 0000,
  273. X    0125, 0000, 0004, 0134, 0105, 0135, 0325, 0337, 0135, 0337,
  274. X    0377, 0377, 0377, 0377, 0377, 0210, 0010, 0000, 0003, 0354,
  275. X    0010, 0015, 0376, 0212, 0377, 0252, 0252, 0276, 0252, 0377,
  276. X    0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0200,
  277. X    0000, 0000, 0005, 0124, 0000, 0005, 0124, 0000, 0125, 0000,
  278. X    0000, 0025, 0021, 0165, 0125, 0167, 0125, 0167, 0377, 0377,
  279. X    0377, 0377, 0377, 0240, 0000, 0000, 0003, 0270, 0000, 0031,
  280. X    0272, 0042, 0177, 0252, 0252, 0276, 0252, 0377, 0373, 0377,
  281. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0000, 0000, 0000,
  282. X    0005, 0124, 0000, 0021, 0124, 0000, 0125, 0000, 0104, 0104,
  283. X    0125, 0135, 0325, 0175, 0125, 0337, 0377, 0377, 0377, 0377,
  284. X    0377, 0210, 0200, 0200, 0205, 0374, 0210, 0273, 0374, 0252,
  285. X    0377, 0252, 0252, 0256, 0252, 0277, 0356, 0377, 0377, 0377,
  286. X    0377, 0377, 0377, 0377, 0376, 0000, 0000, 0000, 0005, 0124,
  287. X    0000, 0021, 0124, 0000, 0125, 0000, 0001, 0025, 0021, 0027,
  288. X    0125, 0127, 0125, 0167, 0177, 0377, 0377, 0377, 0376, 0000,
  289. X    0000, 0000, 0011, 0270, 0000, 0063, 0272, 0042, 0277, 0052,
  290. X    0252, 0256, 0252, 0277, 0353, 0277, 0377, 0377, 0377, 0377,
  291. X    0377, 0377, 0374, 0000, 0000, 0000, 0001, 0120, 0000, 0021,
  292. X    0124, 0000, 0125, 0000, 0004, 0105, 0125, 0135, 0325, 0137,
  293. X    0335, 0337, 0377, 0377, 0377, 0377, 0376, 0210, 0010, 0000,
  294. X    0013, 0350, 0010, 0273, 0374, 0212, 0377, 0252, 0252, 0256,
  295. X    0252, 0277, 0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  296. X    0374, 0000, 0000, 0000, 0021, 0120, 0000, 0021, 0124, 0000,
  297. X    0125, 0000, 0000, 0025, 0021, 0165, 0165, 0127, 0165, 0167,
  298. X    0377, 0377, 0377, 0377, 0372, 0040, 0000, 0000, 0033, 0270,
  299. X    0000, 0043, 0372, 0043, 0376, 0252, 0252, 0256, 0252, 0277,
  300. X    0373, 0277, 0377, 0377, 0377, 0377, 0377, 0377, 0370, 0000,
  301. X    0000, 0000, 0025, 0124, 0000, 0105, 0124, 0001, 0124, 0000,
  302. X    0104, 0125, 0125, 0135, 0325, 0135, 0375, 0377, 0377, 0377,
  303. X    0377, 0377, 0370, 0210, 0200, 0200, 0227, 0370, 0210, 0317,
  304. X    0374, 0253, 0376, 0252, 0252, 0252, 0252, 0377, 0376, 0377,
  305. X    0377, 0377, 0377, 0377, 0377, 0377, 0360, 0000, 0000, 0000,
  306. X    0021, 0120, 0000, 0105, 0124, 0001, 0124, 0000, 0001, 0021,
  307. X    0025, 0127, 0125, 0127, 0165, 0167, 0177, 0377, 0377, 0377,
  308. X    0372, 0000, 0000, 0000, 0063, 0270, 0000, 0203, 0276, 0043,
  309. X    0276, 0252, 0252, 0252, 0252, 0277, 0373, 0277, 0377, 0377,
  310. X    0377, 0377, 0377, 0377, 0360, 0000, 0000, 0000, 0021, 0120,
  311. X    0000, 0105, 0120, 0001, 0124, 0004, 0104, 0105, 0125, 0135,
  312. X    0325, 0127, 0335, 0337, 0377, 0377, 0377, 0377, 0352, 0210,
  313. X    0210, 0010, 0057, 0370, 0210, 0317, 0372, 0253, 0376, 0252,
  314. X    0252, 0252, 0252, 0277, 0377, 0377, 0377, 0377, 0377, 0377,
  315. X    0377, 0377, 0340, 0000, 0000, 0000, 0005, 0124, 0000, 0105,
  316. X    0120, 0001, 0124, 0000, 0021, 0021, 0125, 0127, 0165, 0127,
  317. X    0165, 0167, 0377, 0377, 0377, 0377, 0342, 0040, 0000, 0000,
  318. X    0043, 0270, 0041, 0343, 0372, 0043, 0376, 0252, 0252, 0252,
  319. X    0252, 0277, 0373, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  320. X    0340, 0000, 0000, 0000, 0101, 0120, 0001, 0005, 0120, 0001,
  321. X    0124, 0104, 0104, 0125, 0125, 0135, 0335, 0137, 0375, 0377,
  322. X    0377, 0377, 0377, 0377, 0350, 0210, 0210, 0210, 0353, 0370,
  323. X    0213, 0217, 0372, 0253, 0376, 0252, 0252, 0252, 0252, 0357,
  324. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0300, 0000,
  325. X    0000, 0000, 0101, 0120, 0001, 0005, 0120, 0001, 0124, 0001,
  326. X    0001, 0021, 0025, 0127, 0165, 0127, 0167, 0167, 0377, 0377,
  327. X    0377, 0377, 0342, 0002, 0000, 0000, 0043, 0272, 0003, 0057,
  328. X    0272, 0057, 0376, 0252, 0252, 0252, 0252, 0257, 0373, 0277,
  329. X    0377, 0377, 0377, 0377, 0377, 0377, 0300, 0000, 0000, 0000,
  330. X    0105, 0120, 0001, 0005, 0120, 0005, 0124, 0004, 0105, 0125,
  331. X    0125, 0135, 0335, 0127, 0375, 0337, 0377, 0377, 0377, 0377,
  332. X    0352, 0210, 0210, 0210, 0357, 0374, 0213, 0217, 0372, 0257,
  333. X    0376, 0252, 0252, 0252, 0256, 0357, 0377, 0377, 0377, 0377,
  334. X    0377, 0377, 0377, 0377, 0300, 0000, 0000, 0000, 0105, 0124,
  335. X    0001, 0005, 0120, 0005, 0124, 0021, 0021, 0021, 0125, 0127,
  336. X    0165, 0127, 0167, 0167, 0377, 0377, 0377, 0377, 0242, 0040,
  337. X    0040, 0040, 0043, 0372, 0043, 0053, 0372, 0257, 0376, 0252,
  338. X    0252, 0252, 0252, 0277, 0373, 0377, 0377, 0377, 0377, 0377,
  339. X    0377, 0377, 0300, 0000, 0000, 0000, 0105, 0124, 0005, 0005,
  340. X    0120, 0005, 0124, 0104, 0125, 0125, 0125, 0135, 0375, 0127,
  341. X    0375, 0377, 0377, 0377, 0377, 0377, 0252, 0210, 0210, 0210,
  342. X    0313, 0374, 0217, 0257, 0372, 0257, 0376, 0252, 0252, 0252,
  343. X    0356, 0357, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  344. X    0200, 0000, 0000, 0000, 0101, 0120, 0005, 0005, 0120, 0005,
  345. X    0124, 0001, 0021, 0025, 0125, 0127, 0165, 0127, 0167, 0177,
  346. X    0377, 0377, 0377, 0377, 0242, 0042, 0002, 0002, 0203, 0272,
  347. X    0046, 0057, 0272, 0057, 0376, 0252, 0252, 0252, 0252, 0257,
  348. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0200, 0000,
  349. X    0000, 0000, 0101, 0120, 0004, 0005, 0120, 0005, 0124, 0104,
  350. X    0105, 0125, 0125, 0135, 0335, 0137, 0377, 0377, 0377, 0377,
  351. X    0377, 0377, 0252, 0210, 0210, 0210, 0313, 0370, 0216, 0217,
  352. X    0372, 0257, 0376, 0252, 0252, 0252, 0256, 0357, 0377, 0377,
  353. X    0377, 0377, 0377, 0377, 0377, 0377, 0200, 0000, 0000, 0000,
  354. X    0101, 0120, 0004, 0005, 0120, 0005, 0124, 0021, 0021, 0125,
  355. X    0125, 0127, 0165, 0127, 0167, 0177, 0377, 0377, 0377, 0377,
  356. X    0242, 0042, 0042, 0042, 0343, 0372, 0052, 0057, 0372, 0257,
  357. X    0376, 0252, 0252, 0252, 0252, 0277, 0377, 0377, 0377, 0377,
  358. X    0377, 0377, 0377, 0377, 0300, 0000, 0000, 0000, 0101, 0124,
  359. X    0004, 0005, 0120, 0105, 0324, 0104, 0125, 0125, 0125, 0135,
  360. X    0375, 0377, 0337, 0377, 0377, 0377, 0377, 0377, 0252, 0250,
  361. X    0250, 0210, 0313, 0374, 0256, 0257, 0372, 0257, 0376, 0252,
  362. X    0252, 0252, 0356, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  363. X    0377, 0377, 0200, 0000, 0000, 0000, 0101, 0124, 0004, 0005,
  364. X    0120, 0005, 0125, 0021, 0021, 0025, 0125, 0127, 0165, 0167,
  365. X    0167, 0177, 0377, 0377, 0377, 0377, 0252, 0042, 0042, 0042,
  366. X    0243, 0276, 0072, 0057, 0372, 0257, 0376, 0252, 0252, 0252,
  367. X    0253, 0277, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  368. X    0100, 0000, 0000, 0000, 0101, 0124, 0020, 0005, 0120, 0005,
  369. X    0134, 0105, 0125, 0125, 0125, 0135, 0337, 0377, 0337, 0377,
  370. X    0377, 0377, 0377, 0377, 0252, 0252, 0212, 0212, 0313, 0376,
  371. X    0272, 0257, 0372, 0257, 0376, 0252, 0252, 0256, 0356, 0357,
  372. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0200, 0000,
  373. X    0000, 0000, 0101, 0124, 0020, 0005, 0120, 0005, 0125, 0021,
  374. X    0125, 0125, 0125, 0127, 0165, 0167, 0167, 0377, 0377, 0377,
  375. X    0377, 0377, 0252, 0242, 0042, 0042, 0343, 0376, 0272, 0257,
  376. X    0372, 0257, 0376, 0252, 0252, 0252, 0273, 0277, 0377, 0377,
  377. X    0377, 0377, 0377, 0377, 0377, 0377, 0300, 0000, 0000, 0000,
  378. X    0101, 0124, 0020, 0005, 0124, 0105, 0334, 0125, 0125, 0125,
  379. X    0125, 0135, 0375, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  380. X    0252, 0252, 0252, 0252, 0353, 0376, 0272, 0257, 0372, 0257,
  381. X    0376, 0252, 0252, 0356, 0356, 0377, 0377, 0377, 0377, 0377,
  382. X    0377, 0377, 0377, 0377, 0200, 0000, 0000, 0000, 0101, 0124,
  383. X    0020, 0005, 0120, 0005, 0125, 0021, 0025, 0127, 0165, 0127,
  384. X    0165, 0167, 0167, 0377, 0377, 0377, 0377, 0377, 0252, 0052,
  385. X    0042, 0042, 0243, 0276, 0072, 0257, 0372, 0257, 0376, 0252,
  386. X    0277, 0377, 0377, 0277, 0377, 0377, 0377, 0377, 0377, 0377,
  387. X    0377, 0377, 0304, 0000, 0000, 0000, 0100, 0124, 0020, 0005,
  388. X    0124, 0105, 0135, 0125, 0135, 0335, 0335, 0137, 0335, 0377,
  389. X    0377, 0377, 0377, 0377, 0377, 0377, 0252, 0252, 0252, 0252,
  390. X    0352, 0376, 0272, 0257, 0372, 0257, 0376, 0252, 0277, 0377,
  391. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  392. X    0220, 0000, 0000, 0000, 0100, 0124, 0020, 0005, 0120, 0025,
  393. X    0125, 0121, 0125, 0167, 0165, 0127, 0165, 0167, 0377, 0377,
  394. X    0377, 0377, 0377, 0377, 0252, 0252, 0242, 0242, 0342, 0377,
  395. X    0272, 0257, 0372, 0257, 0376, 0252, 0277, 0377, 0377, 0377,
  396. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0304, 0100,
  397. X    0000, 0000, 0100, 0125, 0020, 0105, 0324, 0105, 0335, 0125,
  398. X    0135, 0335, 0335, 0137, 0375, 0377, 0377, 0377, 0377, 0377,
  399. X    0377, 0377, 0252, 0252, 0252, 0252, 0352, 0377, 0272, 0257,
  400. X    0372, 0257, 0376, 0252, 0377, 0377, 0377, 0377, 0377, 0377,
  401. X    0377, 0377, 0377, 0377, 0377, 0377, 0320, 0000, 0000, 0000,
  402. X    0100, 0125, 0020, 0005, 0121, 0021, 0125, 0025, 0125, 0127,
  403. X    0125, 0127, 0167, 0177, 0177, 0377, 0377, 0377, 0377, 0377,
  404. X    0352, 0252, 0252, 0052, 0152, 0377, 0272, 0257, 0372, 0253,
  405. X    0376, 0252, 0253, 0377, 0373, 0277, 0377, 0377, 0377, 0377,
  406. X    0377, 0377, 0377, 0377, 0304, 0004, 0000, 0000, 0100, 0125,
  407. X    0024, 0105, 0134, 0105, 0335, 0125, 0125, 0335, 0325, 0137,
  408. X    0375, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0352, 0252,
  409. X    0252, 0252, 0352, 0377, 0272, 0257, 0372, 0253, 0376, 0252,
  410. X    0257, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  411. X    0377, 0377, 0320, 0000, 0000, 0000, 0100, 0125, 0020, 0025,
  412. X    0121, 0021, 0125, 0125, 0125, 0167, 0125, 0127, 0167, 0177,
  413. X    0377, 0377, 0377, 0377, 0377, 0377, 0352, 0252, 0252, 0252,
  414. X    0352, 0277, 0272, 0257, 0372, 0253, 0376, 0252, 0273, 0377,
  415. X    0273, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  416. X    0364, 0104, 0100, 0100, 0100, 0125, 0324, 0105, 0334, 0125,
  417. X    0335, 0125, 0125, 0335, 0325, 0337, 0375, 0377, 0377, 0377,
  418. X    0377, 0377, 0377, 0377, 0352, 0252, 0252, 0252, 0252, 0277,
  419. X    0372, 0257, 0372, 0253, 0376, 0356, 0356, 0377, 0377, 0377,
  420. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0361, 0000,
  421. X    0000, 0000, 0000, 0025, 0121, 0005, 0121, 0021, 0125, 0125,
  422. X    0125, 0167, 0125, 0127, 0167, 0177, 0377, 0377, 0377, 0377,
  423. X    0377, 0377, 0352, 0252, 0252, 0252, 0272, 0277, 0372, 0257,
  424. X    0372, 0253, 0377, 0252, 0253, 0377, 0277, 0377, 0377, 0377,
  425. X    0377, 0377, 0377, 0377, 0377, 0377, 0365, 0104, 0104, 0104,
  426. X    0124, 0135, 0124, 0105, 0135, 0125, 0335, 0125, 0125, 0335,
  427. X    0325, 0137, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  428. X    0372, 0252, 0252, 0252, 0272, 0277, 0372, 0257, 0376, 0253,
  429. X    0377, 0256, 0357, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  430. X    0377, 0377, 0377, 0377, 0365, 0021, 0020, 0020, 0020, 0025,
  431. X    0121, 0025, 0125, 0125, 0165, 0125, 0125, 0167, 0125, 0167,
  432. X    0367, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0372, 0252,
  433. X    0252, 0252, 0272, 0257, 0372, 0257, 0376, 0253, 0377, 0273,
  434. X    0273, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  435. X    0377, 0377, 0375, 0124, 0104, 0104, 0124, 0105, 0324, 0125,
  436. X    0335, 0125, 0335, 0125, 0125, 0375, 0125, 0337, 0377, 0377,
  437. X    0377, 0377, 0377, 0377, 0377, 0377, 0376, 0252, 0252, 0252,
  438. X    0272, 0257, 0372, 0257, 0376, 0252, 0377, 0356, 0377, 0377,
  439. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  440. X    0375, 0021, 0021, 0001, 0021, 0025, 0121, 0021, 0125, 0125,
  441. X    0127, 0125, 0125, 0167, 0125, 0167, 0167, 0377, 0377, 0377,
  442. X    0377, 0377, 0377, 0377, 0376, 0252, 0252, 0252, 0252, 0257,
  443. X    0372, 0253, 0376, 0252, 0377, 0253, 0273, 0377, 0377, 0377,
  444. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375, 0125,
  445. X    0104, 0104, 0114, 0105, 0135, 0125, 0335, 0125, 0335, 0125,
  446. X    0125, 0337, 0135, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  447. X    0377, 0377, 0376, 0252, 0252, 0252, 0256, 0253, 0372, 0253,
  448. X    0376, 0256, 0377, 0357, 0377, 0377, 0377, 0377, 0377, 0377,
  449. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0121, 0021, 0021,
  450. X    0025, 0021, 0121, 0121, 0165, 0125, 0167, 0125, 0125, 0167,
  451. X    0125, 0167, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  452. X    0377, 0252, 0252, 0252, 0256, 0253, 0372, 0253, 0376, 0252,
  453. X    0377, 0273, 0273, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  454. X    0377, 0377, 0377, 0377, 0377, 0125, 0125, 0125, 0135, 0125,
  455. X    0335, 0125, 0335, 0125, 0135, 0125, 0125, 0377, 0335, 0377,
  456. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0352,
  457. X    0252, 0252, 0256, 0253, 0372, 0253, 0376, 0356, 0377, 0377,
  458. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  459. X    0377, 0377, 0377, 0325, 0021, 0021, 0025, 0021, 0125, 0025,
  460. X    0127, 0125, 0167, 0125, 0125, 0167, 0127, 0177, 0177, 0377,
  461. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0252, 0252, 0252,
  462. X    0256, 0252, 0372, 0253, 0376, 0253, 0377, 0273, 0277, 0377,
  463. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  464. X    0377, 0325, 0125, 0125, 0125, 0125, 0335, 0125, 0335, 0125,
  465. X    0135, 0325, 0125, 0377, 0337, 0377, 0377, 0377, 0377, 0377,
  466. X    0377, 0377, 0377, 0377, 0377, 0356, 0252, 0252, 0257, 0252,
  467. X    0372, 0257, 0376, 0356, 0377, 0377, 0377, 0377, 0377, 0377,
  468. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0365,
  469. X    0125, 0125, 0125, 0125, 0165, 0125, 0167, 0125, 0167, 0125,
  470. X    0125, 0167, 0167, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  471. X    0377, 0377, 0377, 0372, 0252, 0252, 0253, 0252, 0272, 0252,
  472. X    0376, 0273, 0277, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  473. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0365, 0125, 0125,
  474. X    0135, 0325, 0135, 0125, 0335, 0125, 0135, 0365, 0335, 0377,
  475. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  476. X    0377, 0376, 0356, 0352, 0357, 0352, 0376, 0356, 0377, 0376,
  477. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  478. X    0377, 0377, 0377, 0377, 0377, 0375, 0125, 0125, 0127, 0125,
  479. X    0125, 0125, 0127, 0125, 0127, 0165, 0127, 0167, 0167, 0177,
  480. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  481. X    0252, 0252, 0257, 0372, 0276, 0253, 0377, 0273, 0277, 0377,
  482. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  483. X    0377, 0377, 0377, 0375, 0125, 0125, 0125, 0335, 0135, 0125,
  484. X    0135, 0125, 0127, 0325, 0137, 0377, 0377, 0377, 0377, 0377,
  485. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0356, 0356,
  486. X    0357, 0376, 0356, 0356, 0377, 0357, 0377, 0377, 0377, 0377,
  487. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  488. X    0377, 0377, 0125, 0125, 0125, 0167, 0125, 0125, 0167, 0125,
  489. X    0127, 0165, 0167, 0367, 0377, 0377, 0377, 0377, 0377, 0377,
  490. X    0377, 0377, 0377, 0377, 0377, 0377, 0373, 0272, 0272, 0277,
  491. X    0277, 0273, 0377, 0273, 0377, 0377, 0377, 0377, 0377, 0377,
  492. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  493. X    0325, 0125, 0125, 0125, 0125, 0125, 0375, 0325, 0127, 0375,
  494. X    0337, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  495. X    0377, 0377, 0377, 0377, 0376, 0356, 0356, 0356, 0356, 0377,
  496. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  497. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0325, 0125,
  498. X    0125, 0125, 0127, 0125, 0167, 0165, 0125, 0167, 0177, 0167,
  499. X    0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  500. X    0377, 0377, 0377, 0273, 0273, 0273, 0273, 0273, 0377, 0377,
  501. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  502. X    0377, 0377, 0377, 0377, 0377, 0377, 0375, 0125, 0125, 0125,
  503. X    0125, 0125, 0337, 0325, 0135, 0375, 0337, 0377, 0377, 0377,
  504. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  505. X    0377, 0377, 0357, 0357, 0357, 0377, 0377, 0377, 0377, 0377,
  506. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  507. X    0377, 0377, 0377, 0377, 0375, 0125, 0125, 0125, 0125, 0125,
  508. X    0127, 0165, 0125, 0167, 0367, 0377, 0377, 0377, 0377, 0377,
  509. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0373,
  510. X    0373, 0273, 0273, 0373, 0377, 0377, 0377, 0377, 0377, 0377,
  511. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  512. X    0377, 0377, 0377, 0325, 0125, 0125, 0125, 0125, 0125, 0335,
  513. X    0335, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  514. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  515. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  516. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  517. X    0377, 0325, 0125, 0125, 0125, 0125, 0125, 0127, 0127, 0167,
  518. X    0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  519. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  520. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  521. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0375,
  522. X    0135, 0125, 0125, 0135, 0135, 0335, 0337, 0377, 0377, 0377,
  523. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  524. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  525. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  526. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0165, 0125,
  527. X    0125, 0125, 0165, 0167, 0167, 0367, 0377, 0377, 0377, 0377,
  528. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  529. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  530. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  531. X    0377, 0377, 0377, 0377, 0377, 0377, 0375, 0335, 0335, 0335,
  532. X    0335, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  533. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  534. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  535. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  536. X    0377, 0377, 0377, 0377, 0367, 0167, 0127, 0127, 0167, 0167,
  537. X    0177, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  538. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  539. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  540. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  541. X    0377, 0377, 0377, 0337, 0335, 0337, 0337, 0377, 0377, 0377,
  542. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  543. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  544. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  545. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  546. X    0377, 0367, 0167, 0167, 0367, 0377, 0377, 0377, 0377, 0377,
  547. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  548. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  549. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  550. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  551. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  552. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  553. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  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, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  557. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  558. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 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, 0377,
  561. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  562. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  563. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  564. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  565. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  566. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  567. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  568. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  569. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  570. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  571. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  572. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  573. X    0377, 0377, 0377, 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, 0377, 0377, 0377, 0377, 0377, 0377,
  576. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  577. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  578. X    0377, 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, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  581. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  582. X    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 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    0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
  586. X    0377, 0377, 0377, 0377, 0000, 0000, 0000, 0000, 0000, 0000,
  587. X    0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000, 0000,
  588. X    0000, 0000, 0000, 0000, 0000, 0000, 0007, 0377, 
  589. X    };
  590. X
  591. Xbit_static(lb_0,181,181,lb_0_bits,1);
  592. Xbit_static(lb_1,181,181,lb_1_bits,1);
  593. Xbit_static(lb_2,181,181,lb_2_bits,1);
  594. Xbit_static(lb_3,181,181,lb_3_bits,1);
  595. Xbit_static(lb_4,181,181,lb_4_bits,1);
  596. Xbit_static(lb_5,181,181,lb_5_bits,1);
  597. Xbit_static(lb_6,181,181,lb_6_bits,1);
  598. Xbit_static(lb_7,181,181,lb_7_bits,1);
  599. END_OF_FILE
  600. # end of 'src/copyright.h.6'
  601. fi
  602. echo shar: End of archive 54 \(of 61\).
  603. cp /dev/null ark54isdone
  604. MISSING=""
  605. for I in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 \
  606.     21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 \
  607.     38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 \
  608.     55 56 57 58 59 60 61 ; do
  609.     if test ! -f ark${I}isdone ; then
  610.     MISSING="${MISSING} ${I}"
  611.     fi
  612. done
  613. if test "${MISSING}" = "" ; then
  614.     echo You have unpacked all 61 archives.
  615.     rm -f ark[1-9]isdone ark[1-9][0-9]isdone
  616. else
  617.     echo You still need to unpack the following archives:
  618.     echo "        " ${MISSING}
  619. fi
  620. ##  End of shell archive.
  621. exit 0
  622.