static char *curved_line_middle_x16[] = {
	"16 16 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"2	c	#800000",
	"                ",
	"           00000",
	"         0000   ",
	"       000      ",
	"      00        ",
	"     00         ",
	"    02111       ",
	"   00111        ",
	"   0 1111       ",
	"  00    11      ",
	"  0      11     ",
	" 00       11    ",
	" 00        11   ",
	" 0           1  ",
	" 0              ",
	" 0              "};

static char *curved_line_middle_x24[] = {
	"24 24 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#330000",
	"2	c	#CC0000",
	"                        ",
	"                      0 ",
	"                 000000 ",
	"              0000      ",
	"             00         ",
	"           00           ",
	"          00            ",
	"         00             ",
	"        0               ",
	"       0                ",
	"      0022222           ",
	"     00 222             ",
	"     0  22 2            ",
	"    00  22  2           ",
	"   00        22         ",
	"   00         22        ",
	"   0           22       ",
	"  00            22      ",
	"  00             22     ",
	"  0               22    ",
	"  0                 2   ",
	"  0                     ",
	"  0                     ",
	"                        "};

static char *curved_line_middle_x32[] = {
	"32 32 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"2	c	#800000",
	"                                ",
	"                                ",
	"                        000000  ",
	"                     000000000  ",
	"                   000000       ",
	"                 00000          ",
	"               00000            ",
	"              0000              ",
	"             000                ",
	"            000                 ",
	"           000                  ",
	"          000                   ",
	"         002                    ",
	"        000111111               ",
	"       000 111111               ",
	"       00  11111                ",
	"      00   11 111               ",
	"     000   11  111              ",
	"     00    11   111             ",
	"    000          111            ",
	"    00            111           ",
	"    00             111          ",
	"   000              111         ",
	"   00                111        ",
	"   00                 1111      ",
	"  000                   111     ",
	"  00                     111    ",
	"  00                      111   ",
	"  00                       1    ",
	"  00                            ",
	"  00                            ",
	"                                "};

static char **curved_line_middle_xpm[3] = { curved_line_middle_x16, curved_line_middle_x24, curved_line_middle_x32 };