summaryrefslogtreecommitdiff
path: root/debian/coq.xpm
blob: e58ebad7ec4bc78e8ee6d99ef89e827575c13584 (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
53
54
/* XPM */
static char *coq[] = {
/* columns rows colors chars-per-pixel */
"32 32 16 1",
"  c #220C08",
". c #342A2C",
"X c #5A261F",
"o c #6A4D4B",
"O c #923827",
"+ c #BF381C",
"@ c #996252",
"# c #837671",
"$ c #D35E3A",
"% c #CA7852",
"& c #E19667",
"* c #A59082",
"= c #B9ADA8",
"- c #EAB48F",
"; c #F2D3B6",
": c #FCFDF9",
/* pixels */
"::::::::::::::::::::::::::::::::",
"::::::::::::::::::::::::::::::::",
":::::X.:::::::::::::::::::::::::",
"::::++-==:::::::::::::::::::::::",
":::+;;+$:*::::::::::::::::::::::",
":::;-++%:: :::::::::::::::::::::",
":::*+++#:::;::::::::::::::::::::",
"::::= +O::::::::::::::::::::::::",
":::::: :::::o:::::::::::::::::::",
"::::::=;:::::=::::::::::::::*:::",
"::::::;::::::::: :::::::::::=:::",
":::::=:::::::::::::::::: :::.:::",
":::::*:::::::::::::.::.::::;X:::",
":::::;::::::::::::::o:::;:-*.:::",
"::::*;;;::::::;;:;-::--:;&&&X:::",
"::::#;;;;-;;::;;;;;-;;--%%-%::::",
":::::--;;@;;;;;-;-;--%oO%&% ::::",
":::::.--;-@%&--&&%$$OOXO%%@:::::",
"::::::o&--& O+XO&& XXX Oo ::::::",
"::::::;@%%&%$  XX$X X Oo@ ::::::",
"::::::::=O$OO+XX O X OO@ :::::::",
"::::::::::;+X O%OOOOOOOo::::::::",
"::::::::::::oOOXXX X  ::::::::::",
":::::::::::::XX  X X::::::::::::",
"::::::::::::::    .:::::::::::::",
":::::::::::::: o:.::::::::::::::",
":::::::::::::: #:.::::::::::::::",
":::::::::::-oX%oo&*:::::::::::::",
"::::::::::::o.#:::=@::::::::::::",
"::::::::::::::::::::::::::::::::",
"::::::::::::::::::::::::::::::::",
"::::::::::::::::::::::::::::::::"
};