Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/logo/isabelle-small.xpm
author wenzelm
Tue, 10 Jun 2008 16:43:21 +0200
changeset 27119 c36c88fcdd22
parent 5130 95faaa02274a
permissions -rw-r--r--
focus: actually declare constraints for local parameters;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5130
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     1
 
/* XPM */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     2
 
static char *isabelle[] = {
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     3
 
/* width height num_colors chars_per_pixel */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     4
 
"   100    86      219            2",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     5
 
/* colors */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     6
 
".. c #ffffff",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     7
 
".# c #181818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     8
 
".a c #212121",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     9
 
".b c #292929",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    10
 
".c c #313131",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    11
 
".d c #393939",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    12
 
".e c #636363",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    13
 
".f c #6b6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    14
 
".g c #737373",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    15
 
".h c #848484",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    16
 
".i c #9c9c9c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    17
 
".j c #a5a5a5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    18
 
".k c #adadad",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    19
 
".l c #bdbdbd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    20
 
".m c #cecece",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    21
 
".n c #d6d6d6",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    22
 
".o c #dedede",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    23
 
".p c #f7f7f7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    24
 
".q c #635a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    25
 
".r c #d6bdbd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    26
 
".s c #d6bdbd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    27
 
".t c #8c735a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    28
 
".u c #ad8c8c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    29
 
".v c #e7a5a5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    30
 
".w c #2d2e2d",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    31
 
".x c #e7a5a5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    32
 
".y c #d69494",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    33
 
".z c #9c6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    34
 
".A c #845a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    35
 
".B c #d66b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    36
 
".C c #63424a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    37
 
".D c #e77b7b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    38
 
".E c #9c5252",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    39
 
".F c #100808",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    40
 
".G c #421818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    41
 
".H c #d66b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    42
 
".I c #de6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    43
 
".J c #bd5a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    44
 
".K c #d66363",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    45
 
".L c #843139",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    46
 
".M c #d65a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    47
 
".N c #a54242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    48
 
".O c #ce5252",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    49
 
".P c #c64a4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    50
 
".Q c #de5252",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    51
 
".R c #421818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    52
 
".S c #b54242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    53
 
".T c #732929",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    54
 
".U c #ce4a4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    55
 
".V c #a53939",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    56
 
".W c #843139",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    57
 
".X c #ce4242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    58
 
".Y c #b54242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    59
 
".Z c #521818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    60
 
".0 c #ad3131",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    61
 
".1 c #210000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    62
 
".2 c #731818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    63
 
".3 c #ce2121",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    64
 
".4 c #ad1818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    65
 
".5 c #941821",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    66
 
".6 c #ce1010",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    67
 
".7 c #9c0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    68
 
".8 c #c60808",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    69
 
".9 c #210000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    70
 
"#. c #520000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    71
 
"## c #520000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    72
 
"#a c #7b0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    73
 
"#b c #9c0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    74
 
"#c c #c60000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    75
 
"#d c #c60000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    76
 
"#e c #ce0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    77
 
"#f c #c60808",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    78
 
"#g c #d6524a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    79
 
"#h c #ce2121",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    80
 
"#i c #520000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    81
 
"#j c #731818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    82
 
"#k c #ce2100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    83
 
"#l c #bd2900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    84
 
"#m c #9c2100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    85
 
"#n c #bd2900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    86
 
"#o c #845242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    87
 
"#p c #d67352",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    88
 
"#q c #ce5a31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    89
 
"#r c #391000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    90
 
"#s c #ad8473",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    91
 
"#t c #ad8c8c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    92
 
"#u c #291810",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    93
 
"#v c #8c4221",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    94
 
"#w c #842900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    95
 
"#x c #d64200",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    96
 
"#y c #a53900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    97
 
"#z c #bd6310",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    98
 
"#A c #ef8442",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    99
 
"#B c #bd6310",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   100
 
"#C c #d66300",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   101
 
"#D c #ef6b10",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   102
 
"#E c #ad6b31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   103
 
"#F c #5a2900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   104
 
"#G c #d66300",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   105
 
"#H c #bd6310",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   106
 
"#I c #8c735a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   107
 
"#J c #e7ad73",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   108
 
"#K c #efe7de",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   109
 
"#L c #de7b08",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   110
 
"#M c #f78400",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   111
 
"#N c #946b39",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   112
 
"#O c #735229",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   113
 
"#P c #ce9c52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   114
 
"#Q c #945200",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   115
 
"#R c #6b5a42",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   116
 
"#S c #bd8c4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   117
 
"#T c #ff9400",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   118
 
"#U c #ce9c52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   119
 
"#V c #ffa518",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   120
 
"#W c #ffa518",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   121
 
"#X c #ff9c00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   122
 
"#Y c #ad9431",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   123
 
"#Z c #f7b539",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   124
 
"#0 c #f7b539",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   125
 
"#1 c #d69418",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   126
 
"#2 c #a58442",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   127
 
"#3 c #f7b539",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   128
 
"#4 c #bd8410",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   129
 
"#5 c #ffad00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   130
 
"#6 c #ce9c52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   131
 
"#7 c #846318",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   132
 
"#8 c #d69418",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   133
 
"#9 c #ffa518",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   134
 
"a. c #a58442",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   135
 
"a# c #423100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   136
 
"aa c #ffbd00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   137
 
"ab c #bdad7b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   138
 
"ac c #deb539",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   139
 
"ad c #ffce39",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   140
 
"ae c #efde9c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   141
 
"af c #ffd642",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   142
 
"ag c #735a00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   143
 
"ah c #9c7b00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   144
 
"ai c #c69c00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   145
 
"aj c #c69c00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   146
 
"ak c #e7b500",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   147
 
"al c #e7b500",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   148
 
"am c #ffe773",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   149
 
"an c #dec65a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   150
 
"ao c #dec65a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   151
 
"ap c #ffd642",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   152
 
"aq c #ad9431",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   153
 
"ar c #ad8c00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   154
 
"as c #ffce00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   155
 
"at c #ffe773",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   156
 
"au c #ffd610",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   157
 
"av c #5a4a00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   158
 
"aw c #ffd600",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   159
 
"ax c #e7ce42",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   160
 
"ay c #fff7bd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   161
 
"az c #c6b531",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   162
 
"aA c #ffd610",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   163
 
"aB c #ffef00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   164
 
"aC c #fff7bd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   165
 
"aD c #ffff9c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   166
 
"aE c #ffff84",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   167
 
"aF c #ffff4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   168
 
"aG c #ffff31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   169
 
"aH c #ffff10",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   170
 
"aI c #ffff00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   171
 
"aJ c #e7e7f7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   172
 
"aK c #dedeef",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   173
 
"aL c #666666",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   174
 
"aM c #52525a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   175
 
"aN c #8c8c9c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   176
 
"aO c #42424a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   177
 
"aP c #cecee7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   178
 
"aQ c #737384",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   179
 
"aR c #a5a5bd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   180
 
"aS c #3b3b3b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   181
 
"aT c #5a5a6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   182
 
"aU c #737394",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   183
 
"aV c #424252",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   184
 
"aW c #63637b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   185
 
"aX c #737394",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   186
 
"aY c #181821",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   187
 
"aZ c #42394a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   188
 
"a0 c #292942",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   189
 
"a1 c #525284",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   190
 
"a2 c #292952",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   191
 
"a3 c #21214a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   192
 
"a4 c #000018",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   193
 
"a5 c #000039",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   194
 
"a6 c #000042",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   195
 
"a7 c #ada5d6",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   196
 
"a8 c #9c94c6",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   197
 
"a9 c #948cb5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   198
 
"b. c #a59cce",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   199
 
"b# c #847ba5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   200
 
"ba c #cec6e7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   201
 
"bb c #9696ae",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   202
 
"bc c #736b8c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   203
 
"bd c #6b6384",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   204
 
"be c #c6bdde",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   205
 
"bf c #524a63",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   206
 
"bg c #42394a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   207
 
"bh c #cec6ce",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   208
 
"bi c #292129",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   209
 
"bj c #080008",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   210
 
"bk c #867986",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   211
 
"bl c #845a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   212
 
"bm c #635a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   213
 
"bn c #63424a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   214
 
"bo c #a6798e",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   215
 
"bp c #b55263",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   216
 
"bq c #9c6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   217
 
"br c #63424a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   218
 
"bs c #9c6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   219
 
"bt c #843942",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   220
 
"bu c #5a2129",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   221
 
"bv c #bd6b73",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   222
 
"bw c #843139",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   223
 
"bx c #941821",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   224
 
"by c #000000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   225
 
/* pixels */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   226
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   227
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   228
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   229
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   230
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   231
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   232
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   233
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   234
 
"...................................................................................ibyaN................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   235
 
".....................................................................p..........aMaObyby.f..............................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   236
 
"....................................................................by.i......bh.q...jbyby..............................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   237
 
"...................................................................jbyby.......c.e...oby................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   238
 
"....................................................................byby.i....by.a..by....#K............................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   239
 
"...............................................................#.p...kbyby....bybyby.o.....c............................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   240
 
"............................................................bkby.#....byby.i..aOby.b......bj............................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   241
 
"..............................................................byby.p...kbyby..#Kbyby.caNby.n.......i.o..................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   242
 
"...............................................................eby.#....byby.i...dbybyby.j......aVbybybg.p..............................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   243
 
"................................................................byby.p...nbyby....aN.#.m......aTbyaz.hbybj.f#K..........................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   244
 
".................................................................eby.#....byby.f............aTbyazaIaIaB#IbybyaS#K......................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   245
 
"..................................................................byby.p...nbyby..........aTby#RaIaIaIaIaIaB#Ibybybg.p..................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   246
 
"............................................................bh.p...eby.#....bybyaN......aObyagaIaIaIaIaIaIaIaIaH#2bybybfaJ..............................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   247
 
"..........................................................bybyby.l..byby.p...naM......aOby.oaIaIaIaIaIaIaIaIaIaIaIaI#Obybya0aK..........................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   248
 
".........................................................#..aObyby..aNbyby..........a0by.oaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#Pbybybh....aTa0aJ..............................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   249
 
"......................................................#Kbj....bj.b....byby.k......a0by#YaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#VbyaR..aVbybyby.c.p..........................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   250
 
"......................................................bkby...jby......aNby......aRbyaxaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#5#5#xbyb#a3byawaH#sbybyaO.p......................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   251
 
"......................................................aObybhby....#K............aWby....aDaIaIaIaIaIaIaIaIaIaIaIaIaB#5#X#5#nby.bbyaAaIaIaIaH#2bybyaV.o..................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   252
 
"......................................by.p.............hbyby.......g............bdbj.p....aEaEaIaIaIaIaIaIaIaIaIaI#5#X#X#0#nbybyawaIaIaIaIaIaIaH#tbybya0.p..............................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   253
 
"....................................aOby.#....aNbyby...nbyby.i...nby............bdbyasafas....aDaIaIaIaIaIaIaIaB#X#X#X#Xad#nby#YaIaIaIaIaIaIaIaIaIaH#Ubybya0b..p........................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   254
 
".....................................pbyby.p.mbybybyby..bjbybybyby.o............bdbyaaauasauasam....aFaIaIaIaB#3#X#X#X#Xad#nby#1aIaIaIaIaIaIaIaIaIaIaIaI#Ybjbybg.o......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   255
 
"......................................aObybjbj...obyby.i..bybyby.o..............aRby#5aBasasasas#K#KaCaEaEaBap#T#X#X#X#Xad#nby#8aIaIaIaIaIaIaIaIaIaIaIaIaIaIacbya0......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   256
 
".......................................pbyby.c.....eby.c.....p............aJaQ...oby#5aBakalasasasasay....#Z#X#X#X#X#X#Xad#lbyaqaIaIaIaIaIaIaIaIaIaIaIaIaHaw#9.c.c......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   257
 
"........................................aObyby......bybj................aJbjbybja0bjauaBak.#asasasasajauau#X#X#X#X#X#X#Xad#lbya.aIaIaIaIaIaIaIaIaIaIaIaB#0#T#A.ca0......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   258
 
"..........................................byby.k.....#by...............oaM.#aRaYbybyaaaBawbyawasasa#agasas#X#X#X#X#X#X#Xad#faYboaIaIaIaIaIaIaIaIaIaIaB#T#X#X#A.c.c......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   259
 
"...........................................eby.b.....f.F.............obybj..ba..aVby#5aBawbybyavarbyawasas#5#X#X#X#X#X#Xad#kby.FaVasaIaIaIaIaIaIaIaH#X#X#X#X#D.c.c......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   260
 
"..................................byby.h....byby.l...F.l..........aJbybjaJbaaP..a1by#5aBasa#akaibyakasasas#3#X#X#X#X#X#Xad#pbybtbjby.GaoaIaIaIaIaB#X#X#X#X#X#Dby.c......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   261
 
"................................bybybyby.....ebyby.a.q..........aJaYbjaJaPaPaP..bd.d#5aBasahahakbyawasasas#5#X#X#X#X#X#X#W#kbybv#g.P.aby.FaoaIaB#X#X#X#X#X#X#Dby.c......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   262
 
"..............................aN.j..bjby.f....by.i#K..........aJbjbj.paPaPaPaP..bdbyaEaBasala#byasasasaaaw#5#X#X#X#X#X#X#XbwaY.y.U.U.U.Qbwbybu#T#X#X#X#X#X#X#Dbya0......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   263
 
"..............................by....bybyby.....q............aJbybjaJbaaPaPaPaP..bdbyauasasawbya#asaw#Eby.9#S#X#X#X#X#X#X.W.a.M.U.U.U.U.U.U#eby#x#X#X#X#X#X#X#Dby.b......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   264
 
"...............................d...m.lbjbyaO.p............aJbjbjaKaPaPaPaPaP.n..a1bj.Rauasasakasas#wby#Sa4by.F#J#X#X#X#mbybr.U.U.U.U.U.3#d#eby#P#X#X#X#X#X#X#V.#bi......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   265
 
".........................e.f......by..#Kbyby.b...........pbybj.p..aPaPaPaPaPaPaK.laQ.nby#Nawasaw#oby#6aIaIan.Fby.c#O#wbybm.U.U.U.O.K.Y#d.8#eby#H#X#X#X#X#X#X#C.daOaN....................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   266
 
".......................a.c.a....bhby.....aby............aJby.c....aJaPaKaPaPaPaPaJ.....i.cbj#S#Qby#6aIaIaIaIaIac.Fbyby.a#g.U.U.H.n.M#d#d#d#eby#H#X#X#X#X#X#X#Mby.wbyaY.o................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   267
 
"............aM.......m.k........aNby.a.j.n..............aJbyaYa7b.aK....aJaPaPaPaPaPba...objbyby#7aIaIaIaIaIaIaIaIac.aby.bbo#g.o.I.6#d#d#d#eby#H#X#X#X#X#X#X#5byaN.P.#byby.j............................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   268
 
"...........aby.......a.p...g.c.j.nbybyby.................pbybja7b.a7aPbeaJ....aPaPaP.paJaW.bby#RaIaIaIaIaIaIaIaIaIaIaIaf.#bybj.A#d#d#d#d#d#eby#H#X#X#X#X#X#X#Mbybf.X#g.Pbl.cbj.l........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   269
 
"..........byby.d....bybybybybyby..aMby.p.................pbybjaPa8b.b.b.aP.p.paKaKaPaKa2bybyaOaIaIaIaIaIaIaIaIaIaIaIaIaIaIac.Fby.##b#d#d#d#eby#H#X#X#X#X#X#XbsaO.x.U.U.U.U.X.Tby.l......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   270
 
"..........bhbyby....aNbybybybyby.p........................bybjaPb.b.b.b.b.b.a7aJ....a5bjby#NaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#0by.N#d#d#d#eby#H#X#X#X#X#X.Aby.S.U.U.U.U.U.Y#e#.aN......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   271
 
"............byby.c.....b.d.n.pby.p..................aJ....bybjaPb.b#b.b.b.b.b.bebea7bjbyabaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIauas.Kbybx#d#d#d#eby#4#X#X#X#X.Lby.S.U.U.U.U.O.8#d#d#.aN......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   272
 
".............mbyby.p..........by...................nbjby.obybjaPb.aXbybjaUa7b.b.b.bbbjbyaFaFaHaIaIaIaIaIaIaIaIaIaIaIaIaBad#T#5bpbybx#d#d#d#eby#C#X#X#X#vbybw.U.U.U.H.r#h#d#d#d#.bf......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   273
 
"..............byby.b.....f#K.e.h................aPbybi.#bybya4aPb..#a9a7aVbyaVb.b.a7bjby....aCaIaIaIaIaIaIaIaIaIaIaIaIaa#T#Xaa.Jby.5#d#d#d#eby#z#X#X#ibybw.U.U.U.H.r.K#d#d#d#d#.bf......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   274
 
"...............mbyby.p...pby.h................aJbyaY.paKaTbya4bab.a8.bbyaTb.a8b.b.a8aYbyafawad....aGaIaIaIaIaIaIaIaIaf#X#X#Xaa.Jby#a#d#d.6#eby#B#X#jbybw.U.O.U.M.r.X#d#d#d#d#d#.bd......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   275
 
"................byby.b......................aJaYaYaKaPaK.p.fa4bab.b.b.a7aX.#a7b.b.a8.cbyaGasasaDae..aE..aHaIaIaIaIau#T#X#X#Xaa.Jbj#a#d#d#d#eby#L#ibybm.M.0#h.X.o.M#d#d#d#d#d#d#.aW......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   276
 
".................mbyby.p..................aKbjaY..aPaPbaaJaObja7b.b.b.b.b.b.b.b.b.b.aVbyadaBasasasaf....aEaIaIaBat#T#X#X#X#Xaa.Jbj#a#d#d#d.0.9#aby.u.v.U.v#K#K.X.3#d#d#d#d#d#d#.aW......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   277
 
"..................byby.q................baby.d.paPaPaPaP#Kby.cb.b.b.b.b.b.b.b.b.b.b.a5byadaBasalasasasas......aa#T#X#X#X#X#Xaa.Ybj#a#d#d#b.cbyby.E.U.U.3.o...p#h#d#d#d#d#d#d#d#.aW......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   278
 
"...................m.d................aPaY.caPaPaPaPaPaK.pby.Fa9b.b.b.b.b.b.a9bgbya2bfbyafaBas.9awasasasasayae#X#X#X#X#X#X#Xaa.Ybj#a#d.Vby.c.0bs.U.U.U.U.X.X.X#d#d#d#d#d#d#d.3#.aW......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   279
 
"....................................aP.c.daKaPaPaPaPaPaJ.paYbybyaNa8b.b.b.a7bgbybfbjbybyaHaBas.#awasasasasasas#X#X#X#X#X#X#Xaa#qbj##.7by.T.7.P.U#g.U.Q.U.U.U.H#d#d#d#d#d#d#d.3#.a9......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   280
 
"..................................aKby.caJaKaPaPaPaP.n.oaPaQaMbyby.bbea8b.a4bjaKaPaP.#byawaBas.Fakawasasasasas#X#X#X#X#X#X#Xau#dbybybj.9#h.4.H#g#u.Tbw.S.T.P.U#d#d#d#d#d#d#d.3#.aR......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   281
 
"...................................lby.l....aPaPaPaPaPaPaP#K.paJ.cbybyaO.ibyaKaPba..a1byawaBaw.9ah.Fahawasasas#X#X#X#X#X#X#Xaa#qby.abyby.R.K.X.Vby#g#gbu.1#g.U#d#d#d#d#d#d#d.6#..g......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   282
 
"...................................lbyaRaPbe......baaPaPaPaPaJaP.maW.FbybyaJaPaPaP.pa1byawaBaw.#awawala#awasas#X#X#X#X#X#X#Xaa#B.F.J.OaOaYby.fbr.T.U.Uby.V.U.U#d#d#d#d#d#d#d#e##aN......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   283
 
"...................................lbya3b.b.aPaJ.paJaJaJaPaPaPaK..bfbyby.oaPaPaPba..a1aYasaBasavasasasasasasas#5#X#X#X#X#X#X#X#a.#.y.U.U.Ubq.wby.R#g.Qby.O.U.U#d#d#d#d#d#d#e.Z.a.o......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   284
 
"..................................aPbya2beb.b.b.b..p....aPaPaKaPa4by.F.naPaPaPaPba..a1bjawasasasasasasasasasas#5#X#X#X#X#X#X#ybi#s.U.U.U.U.U.U#aby.1bu.S.R.Q.U#d#d#d#d#d#d#d.d.o........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   285
 
"...................................obyaZbeb.b.b.b.beb.aK....aPa4.jbybhaKaPaPaPaPaP..aXbjacawasasasasasasasasas#5#X#X#X#X#X#m.bbw.U.U.U.U.U.X#d#d.#.0.U.U.U.U.U#d#d#d#d#d#aby.m..........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   286
 
"...................................obyaVbeb.b.b.aXbjb.b.aPaKaRbybjbhaJaPaPaPaPaP.naJb#.eaM#uauasasasasasasasas#5#X#X#X#X#Gbjbu.U.U.U.O.M.0#d.8#dbjbp.U.U.U.U.U.0#d#d#d.2.qbh............................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   287
 
"..................................aPbyaVbeb.b.b.bfb#a9b.b.a8aNbyaT....aJbabaaPaPaPaPaK#K.paQby#Fasasasasasasas#5#X#X#X#Lbybu#g.U.U.X.n.s#d#d#d#dby.a.v.U.U.U.H.3#d#e#a.#.m..............................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   288
 
"...................................obyaVbeb.b.b.b.a7bfb.b.b.aXbyaNaJbeaJ....aPaPaPaPaPaPaP#KaRbyby#Eawasasasas#5#X#X#Gbj.R#g.U.U.X.o.M.6#d#d#d#dbybybyaO.B#g.K.6#e#.by.m................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   289
 
"...................................obyaVbeb.b.b.b.bcaYb.b.b.aUbyaSb.b.beaJ.paJaJaJaPaPaPaK.p.ibybybybja.awasas#3#X#Gby.##g.0.U.X.y.O#d#d#d#d#d#dby.laNbjbya4.D.8#.aObh..................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   290
 
"..................................aKbya1a7b.b.b.a7byaTb.b.b.aXbya4bab.b.b.a8aK....aPbaaPaJaV.#a5.Fby.Fbyby#Qaa#W#xbybi.o.U.3.K.y.K.0#d#d#d#d#d#dbybh....aWbyby.C.c.o....................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   291
 
"..................................bebya1a7b.b.a7biaTaXb.b.b.aNbya4aPb.b.b.b.a7a7aK....#KaZa3a5a5bjbybyby#rbybyby.a.w.M.0.U....#K#d#d#d#d#d#d#d#dbyaP.......pbhbg.o......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   292
 
"..................................bebyaUb.b.b.aTbjb.b#b.b#b.aXbya4aKa8b.b.a8aWaWb.baaPbebda3a5a6bybybjby.4#d#uby#u.X.U.0.U.r#K.x#d#d#d#d#d#d#d#dby.o....................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   293
 
"..................................beby.hb.b.b.a9b.b.a7byaWb.aX.Fa4aKa8b.b.bib.a8byb.a8b#.da5a5a5.bbybyby.F#e.0#f.I.U.U.U.U#d.O#d#d#d#d#d#d#d#d#cby.o....................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   294
 
"...................................nbyby.#aRb.b.b.b.b.b.b.b.aUbybgaPa8b.a8byb.a9bjb.b.aN.Fa5a5a5a5a3byby.F.3.U.H.U.U.U.U.U.O.U.0#d#d#d#d#d#d#d#dbyaJ....................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   295
 
".....................................la0by.FaQa8b.b.b.b.b.b.aXbyaZaPa8b.aXaYbgaYa7b.b.aN.Fa6a5a5a6a4byby.t.6.z.S#g.U.U.U#g.U.U.3#d#d#d#d#d#d#d#d.9#K....................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   296
 
".........................................o.#by.bb#a7b.b.b.b.a9bjaZbab.b.aTbgb.a8a0b.b.b..#a5a5a5a5a5byby.#.M#g.W.F.T.O#g.R#g.U.3#d#d#d#d#d#d#d#dby.o....................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   297
 
".............................................i.FbyaYb#b.b.b.b#.FaVa7b.b.bjaXb.a8byb.b.a8.ca5a5a5a5a5a5.##j.U.U.U.U.U.Rby.V#u#g.3#d#d#d#d#d#d#d#dby.p....................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   298
 
"...............................................paLbyby.daNa7a8by.gb.b.a7bybda7aSaVb.b.a8bfa5a5a5a5a5a4.qbx.X.U.U.U.U.U.Ubwbyby.3#d#d#d#d#d#d#cbya9......................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   299
 
"..................................................aJaVbyby.dbfby.ea9b.a7bya7aVa9b.b.b.a8a3a5a5a5a5a2.aby.9aM.B#g.U.U.U.P.S.P.X#g#d#d#d#d#d#b.GaR........................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   300
 
".........................................................iaVbjbyby.FaRa8bya7b.b.b.b.b.a8a5a3a5a5a6.#byaO.abybyaMbv.U.U.U.U.U.U.O#d#d#d#d#d.GaR..........................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   301
 
".............................................................p#KaMbyby.ia9b.b.b.b.b.b.b.a5a3a5a6by.abe....bebibybybn.Q.U.U.U.U.M#d#d#d.4.FaN............................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   302
 
"...................................................................p.dby.FaTbbb.b.b.b.a8a6a5a5.caY............#K.i.dby.u#g.U.U.M#d#d.2.aaN..............................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   303
 
"......................................................................aKbiby.Fbfa9b.b.a7a5a6bjbj..................aPaWbybybs.P.3#d#c.aaN................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   304
 
"..........................................................................aN.#by.Fbka9b.aWbybj.p......................bh.bbybj.K.8by.i..................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   305
 
"..............................................................................aNbjbyby.gbibyaP............................aRbyby#uaN....................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   306
 
"...................................................................................naObjbyba...................................pbh......................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   307
 
"........................................................................................aJ..............................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   308
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   309
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   310
 
"........................................................................................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   311
 
"........................................................................................................................................................................................................"
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   312
 
};
isabelle