static char *undo_x16[] = {
	"16 16 6 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#996600",
	"2	c	#CC6600",
	"3	c	#CC9900",
	"4	c	#FFCC00",
	"                ",
	"      1         ",
	"     11         ",
	"   13411        ",
	"  134443311     ",
	"  1344444432    ",
	"   1342114431   ",
	"     11  1443   ",
	"      1   1441  ",
	"           141  ",
	"           1331 ",
	"            131 ",
	"            131 ",
	"            131 ",
	"             11 ",
	"                "};

static char *undo_x24[] = {
	"24 24 7 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#996600",
	"2	c	#CC6600",
	"3	c	#CC9900",
	"4	c	#FF9900",
	"5	c	#FFCC00",
	"                        ",
	"                        ",
	"         1              ",
	"        11              ",
	"      12531             ",
	"     1355311            ",
	"   135555533311         ",
	"   15555555555411       ",
	"    13555555555531      ",
	"     13553113555531     ",
	"       2531  135552     ",
	"        111   135551    ",
	"         1      3553    ",
	"                13551   ",
	"                 1551   ",
	"                 1353   ",
	"                  1531  ",
	"                  1551  ",
	"                  1351  ",
	"                   151  ",
	"                   151  ",
	"                   131  ",
	"                    11  ",
	"                        "};

static char *undo_x32[] = {
	"32 32 7 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#996600",
	"2	c	#CC6600",
	"3	c	#CC9900",
	"4	c	#FF9900",
	"5	c	#FFCC00",
	"                                ",
	"                                ",
	"                                ",
	"            1                   ",
	"           121                  ",
	"         12531                  ",
	"        135531                  ",
	"      13555551111               ",
	"     135555555433211            ",
	"    15555555555555531           ",
	"    1355555555555555531         ",
	"      255555555555555531        ",
	"       135555112355555531       ",
	"        125551  113555552       ",
	"          1351    12555551      ",
	"           121      2555531     ",
	"            11       255551     ",
	"                      35552     ",
	"                      135531    ",
	"                       15551    ",
	"                       13551    ",
	"                        15531   ",
	"                        14531   ",
	"                         3551   ",
	"                         1551   ",
	"                         1551   ",
	"                         1351   ",
	"                         1351   ",
	"                          151   ",
	"                          111   ",
	"                                ",
	"                                "};

static char **undo_xpm[3] = { undo_x16, undo_x24, undo_x32 };