/* XPM */
static const char * redo_xpm[] = {
/* columns rows colors chars-per-pixel */
"16 15 37 1",
"4 c #9BACC2",
"; c #4C7398",
"3 c #547B99",
"* c #547897",
"# c #5A89A6",
"8 c #3A749C",
"5 c #5A809C",
", c #7F99B4",
"& c #3F6F93",
"9 c #85A7BC",
"+ c #749BB4",
"> c #718BA7",
"e c #A5B3C8",
"w c #BECAD9",
": c #65839D",
"u c #E1E6EE",
"o c #236289",
"r c #ADBED2",
"= c #597B9A",
"2 c #8DA0B9",
"  c None",
"% c #467291",
"1 c #7393AB",
"i c #4C809F",
"- c #A0BACB",
"O c #6591AE",
"X c #407598",
"6 c #6F90A6",
"t c #D2D9E0",
"7 c #ADBACE",
"@ c #326A8F",
"0 c #467A9C",
". c #ACC4D3",
"< c #7F97B0",
"y c #B3BFD1",
"q c #A2B3C5",
"$ c #8FB0C3",
/* pixels */
"   .XoooO       ",
"  +o@@@@@o#    +",
" $@%%&@&%%&@  +o",
" X*=@+-+@*=;@#&@",
" @:=+    @=:=*:@",
" &>:$     @:>>>@",
" &,<X     X>,,,&",
" +123    @<2222&",
"  X44X  #@56<44X",
"  O1748    .9#&o",
"   0qwe8        ",
"    8rty8       ",
"     8wu+       ",
"      i##       ",
"                "
};