/* XPM */
static char * 3sat_xpm[] = {
"64 48 15 1",
" 	c None",
".	c #FCFFFB",
"+	c #FEFCFF",
"@	c #FFF2F2",
"#	c #F3F3EF",
"$	c #EAB2BF",
"%	c #CD586E",
"&	c #CC7488",
"*	c #FCE2E6",
"=	c #B92A44",
"-	c #CF0229",
";	c #C2012E",
">	c #E0E2DF",
",	c #F1CDD4",
"'	c #757774",
"................................................................",
"................................................................",
"+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.",
"................................................................",
"..............................................................+.",
"................................................................",
"+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.+.",
"................................................................",
".+++.....++++.+++.++++..+.+.+++.............................+.+.",
"+...........@..+...++.++........................................",
"+++++++++++.+...++..+++++++++++++++++++++++++++++++++++++++.+.+.",
"++@+@@@#.@@+.++.+@@@@@@@..++....................................",
"@$%%%%%%%&$$+.++*&&%%%%&..++.+............................+.+.+.",
"#&=-;;;;=$#+...@#>&=;;;&@..++...................................",
"#&;-----=#+++++++.+&;--%*++++++++++++++++++++++++++++++++.+.+.+.",
"#&;-----=*+*,,++.+.#%;-%@+..+............................#......",
"@&;-----=&&==;%,#+++$;;%@++++++......................+.+>'+++.+.",
".&;------;---;;%*++#*=-%@+........................+...+>''#+....",
"@&;------------=,++@,=-%@+++.++.+++++++++++++++++.++..#'''+.+.+.",
".&;-----------;%@+..$;-%@.....@##..........###++....+@''''@.....",
"@&;--------;==&*#.+*%;-%@++#>'''''>#++++>>'''''>@.++#'''''''''+.",
"#&;--------;&*@..#*&;;-%*+@''''''''>..@''''''''''#.#*'''''''''@.",
"@&;--------;$@.++@&=--;%@+''''*',''>++>''''''''''>+#''''''','*#.",
".&;--------;&#+.+#*&=--%@+'''>++#@>>.+*'**+**''''>++*,''''##++++",
".&;--------;%$*@+.@*%;-%*@''''>+++++++@>+++++''''*#++>''''*++...",
"@&;---------;;=$@...>=;%+*''''''>@+..++++++#,''''>++@*$'''++.+..",
"@&;--;---------=$++@.%;%@+*'''''''>+.+...>''''''''+++>''''++..+.",
".&;------------;$+++.&;%@@@,'''''''>+.+#'''',''''>++#*''''@+.+..",
"@&;------;--;--;$#++@&;%@+++@*''''''++>'''*@+'''',+++>''''+..++.",
"#&;--;--=%=;-;;&@.+.*%;%*+++++**''''#@''''++*''''>.+#,''''#+....",
"#&;----;%#,$&&$>#.+#$;-%@.>>++++''''#@''''+++'''''@++>''''>+#>#.",
".&;-----%@@#+@..+.@#%;-%@#'''>*'''''+*'''''*'''''''>+,''''''''@+",
".&;;---;%#...+++.#*%;-;%++'''''''''*++'''''''''''''>++''''''''@+",
".&==;=;==$,#...+#$%==;=&@+,'''''''>+++*''''',,''''>++@*,'''''>+.",
".*$$*$$$$$$>++..*$$$$$$*@++@***,**+.+++****+++*,*@+++++@*,**@#+.",
"...###....@@.++###@#.@#+@+++++++++.+.++++++++++++++...++++++++.+",
".....++...++.+++#..#...+...+++++...+....+...+++...+....++++..+..",
"..++...+....++..#.......+....+...+.....+.+.....+++.++.......+...",
"+.+++.+++++..++.+...+++.++++.+++.+.+++......+.......+.+...+..++.",
".+.+....+..+.......+++...................++..........+..+.......",
"...++...++....+..++......++.+....+....+...+.+...+.....+.+..+..+.",
".+...++....+.+..+.....++...+...+.....+.+.....+++.++.......+.....",
".+....+....+..+....++..+....++.+.+++......+.......+.+...+..++.+.",
".........+.......++....................++..........+..+.........",
".++...++....+..+.......++.+....+....+...+.+...+.....+.+..+..+.+.",
"...++....+.+..+.....++...+...+.....+.+.....+++.++.......+.......",
"....+....+..+....++..+....++.+.+++......+.......+.+...+..++.+.+.",
".......+.......++....................++..........+..+..........."};