static char *exit_x16[] = {
	"16 16 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#FF0000",
	"                ",
	"       1        ",
	"      111       ",
	"     11111      ",
	"       1        ",
	"       1        ",
	"       1        ",
	"       1        ",
	"                ",
	"                ",
	" 000 0 0 0 000  ",
	" 0   0 0 0  0   ",
	" 00   0  0  0   ",
	" 0   0 0 0  0   ",
	" 000 0 0 0  0   ",
	"                "};

static char *exit_x24[] = {
	"24 24 5 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#333333",
	"2	c	#CC0000",
	"3	c	#808080",
	"                        ",
	"                        ",
	"           22           ",
	"          2222          ",
	"         222222         ",
	"        22222222        ",
	"           22           ",
	"           22           ",
	"           22           ",
	"           22           ",
	"           22           ",
	"           22           ",
	"                        ",
	"                        ",
	"  00000 0   0 00 000000 ",
	"  00    01 10 00   00   ",
	"  00     030  00   00   ",
	"  0000   303  00   00   ",
	"  00     030  00   00   ",
	"  00    01 10 00   00   ",
	"  00000 0   0 00   00   ",
	"                        ",
	"                        ",
	"                        "};

static char *exit_x32[] = {
	"32 32 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"                                ",
	"               11               ",
	"              1111              ",
	"             111111             ",
	"           111111111            ",
	"          11111111111           ",
	"         11111111111111         ",
	"         1111 1111 1111         ",
	"         111  1111  111         ",
	"              1111   1          ",
	"              1111              ",
	"              1111              ",
	"              1111              ",
	"              1111              ",
	"              1111              ",
	"              1111              ",
	"              1111              ",
	"              111               ",
	"                                ",
	"                                ",
	"                                ",
	" 00000000 000   00  00 000000000",
	" 00000000  000 000  00 00000000 ",
	" 00        000000   00    000   ",
	" 000        00000   00    000   ",
	" 0000000     000    00    000   ",
	" 0000000    0000    00    000   ",
	" 00         00000   00    000   ",
	" 00        000 000  00    000   ",
	" 00000000 000  000  00    000   ",
	" 00000000 00    000 00    000   ",
	"                                "};

static char **exit_xpm[3] = { exit_x16, exit_x24, exit_x32 };