static char *curved_line_end_x16[] = {
	"16 16 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"                ",
	"            11  ",
	"           1111 ",
	"            11  ",
	"         00011  ",
	"       0000 11  ",
	"     000   1111 ",
	"    00      11  ",
	"   00           ",
	"  00            ",
	"  0             ",
	"  0             ",
	" 00             ",
	" 00             ",
	" 00             ",
	" 0              "};

static char *curved_line_end_x24[] = {
	"24 24 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#660000",
	"2	c	#CC0000",
	"                        ",
	"                  2     ",
	"                 2222   ",
	"                222222  ",
	"                  22    ",
	"                  22    ",
	"               00012    ",
	"            00000  2    ",
	"          000      2    ",
	"        000      22222  ",
	"       00         222   ",
	"      00                ",
	"     00                 ",
	"    00                  ",
	"    0                   ",
	"   00                   ",
	"   0                    ",
	"   0                    ",
	"  00                    ",
	"  00                    ",
	"  0                     ",
	"  0                     ",
	"  0                     ",
	"  0                     "};

static char *curved_line_end_x32[] = {
	"32 32 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#660000",
	"2	c	#CC0000",
	"                                ",
	"                                ",
	"                        222     ",
	"                       22222    ",
	"                      2222222   ",
	"                     22222 22   ",
	"                        222     ",
	"                        222     ",
	"                    0000122     ",
	"                 0000000 22     ",
	"              000000     22     ",
	"            00000        22 22  ",
	"           0000       22222222  ",
	"          000         2222222   ",
	"        0000            2222    ",
	"        000               2     ",
	"       000                      ",
	"      000                       ",
	"     000                        ",
	"     00                         ",
	"    000                         ",
	"    00                          ",
	"    00                          ",
	"   000                          ",
	"   00                           ",
	"   00                           ",
	"   00                           ",
	"   00                           ",
	"  000                           ",
	"  000                           ",
	"  00                            ",
	"                                "};

static char **curved_line_end_xpm[3] = { curved_line_end_x16, curved_line_end_x24, curved_line_end_x32 };