summaryrefslogtreecommitdiff
path: root/debian/coq.xpm
blob: fe188d0284b36433df502d2926f72a5d71fd9f21 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
/* XPM */
static char * coq_xpm[] = {
"32 32 17 1",
" 	c None",
".	c #5A261F",
"+	c #342A2C",
"@	c #BF381C",
"#	c #EAB48F",
"$	c #B9ADA8",
"%	c #F2D3B6",
"&	c #D35E3A",
"*	c #FCFDF9",
"=	c #A59082",
"-	c #CA7852",
";	c #220C08",
">	c #837671",
",	c #923827",
"'	c #6A4D4B",
")	c #E19667",
"!	c #996252",
"                                ",
"                                ",
"     .+                         ",
"    @@#$$                       ",
"   @%%@&*=                      ",
"   %#@@-**;                     ",
"   =@@@>***                     ",
"    $;@,****                    ",
"      ;*****'                   ",
"      $%*****$              =   ",
"      %*********;         **$   ",
"     $************      ;***+   ",
"     =*************+**+****%.   ",
"     %**************'***%*#=+   ",
"    =%%%******%%*%#**##*%))).   ",
"    >%%%%#%%**%%%%%#%%##--#-    ",
"     ##%%!%%%%%#%#%##-',-)-;    ",
"     +##%#!-)##))-&&,,.,--!     ",
"      ')##);,@.,));...;,';      ",
"       !--)-&;;..&.;.;,'!;      ",
"        $,&,,@..;,;.;,,!;       ",
"           @.;,-,,,,,,,'        ",
"            ',,...;.;;          ",
"             ..;;.;.            ",
"              ;;;;+             ",
"              ;' +              ",
"              ;> +              ",
"           #'.-'')=             ",
"            '+>   $!            ",
"                                ",
"                                ",
"                                "};