static char *circle_line_x16[] = {
	"16 16 5 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#990000",
	"2	c	#CC0000",
	"3	c	#800000",
	"       00       ",
	"    00000000    ",
	"   00      00   ",
	"  0  22  22  0  ",
	" 00   2 222  00 ",
	" 0    22222   0 ",
	"00 2 222222 2 00",
	"0022        2200",
	"0322222222222210",
	"0022        2 00",
	" 0            00",
	" 00           0 ",
	"  0          0  ",
	"  00        00  ",
	"    000  000    ",
	"     000000     "};

static char *circle_line_x24[] = {
	"24 24 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"                        ",
	"        00000000        ",
	"      000      000      ",
	"     00          00     ",
	"    00             0    ",
	"   00  1111  111    0   ",
	"  00     11 11      00  ",
	"  0      11 1111     0  ",
	" 00       1111 11    00 ",
	" 0     1111 1111      0 ",
	" 0  1   11    1   11  0 ",
	" 0 11              11 00",
	" 0 111111111111111111 00",
	" 0 11              11 0 ",
	" 0  1             1   0 ",
	" 00                   0 ",
	"  0                  00 ",
	"  00                 0  ",
	"   0                0   ",
	"    0              00   ",
	"    000           00    ",
	"      00        00      ",
	"       0000000000       ",
	"           00           "};

static char *circle_line_x32[] = {
	"32 32 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#330000",
	"2	c	#CC0000",
	"                                ",
	"           0000000000           ",
	"         00000000000000         ",
	"       00000        00000       ",
	"      0000            0000      ",
	"     000                000     ",
	"    000    222    222    000    ",
	"   000    22222  22222    000   ",
	"   00     2  22 22         000  ",
	"  000       22  22222       00  ",
	"  00        222 222 22      000 ",
	" 000         22 22  22      000 ",
	" 00   2   22222 222222       00 ",
	" 00  222  2222   2222   222  00 ",
	" 00 222                 2222 00 ",
	" 0022222222222222222222222222000",
	" 0022222222222222222222222222100",
	" 00 222                  222 000",
	" 00  222                222  00 ",
	" 00  222                22   00 ",
	" 000                         00 ",
	"  00                        000 ",
	"  00                        00  ",
	"  000                      000  ",
	"   000                    000   ",
	"    000                   000   ",
	"     000                0000    ",
	"     0000              0000     ",
	"       0000          00000      ",
	"        0000000000000000        ",
	"          000000000000          ",
	"              0000              "};

static char **circle_line_xpm[3] = { circle_line_x16, circle_line_x24, circle_line_x32 };