/* XPM */ static char * coq_xpm[] = { "32 32 17 1", " c None", ". c #5A261F", "+ c #342A2C", "@ c #BF381C", "# c #EAB48F", "$ c #B9ADA8", "% c #F2D3B6", "& c #D35E3A", "* c #FCFDF9", "= c #A59082", "- c #CA7852", "; c #220C08", "> c #837671", ", c #923827", "' c #6A4D4B", ") c #E19667", "! c #996252", " ", " ", " .+ ", " @@#$$ ", " @%%@&*= ", " %#@@-**; ", " =@@@>*** ", " $;@,**** ", " ;*****' ", " $%*****$ = ", " %*********; **$ ", " $************ ;***+ ", " =*************+**+****%. ", " %**************'***%*#=+ ", " =%%%******%%*%#**##*%))). ", " >%%%%#%%**%%%%%#%%##--#- ", " ##%%!%%%%%#%#%##-',-)-; ", " +##%#!-)##))-&&,,.,--! ", " ')##);,@.,));...;,'; ", " !--)-&;;..&.;.;,'!; ", " $,&,,@..;,;.;,,!; ", " @.;,-,,,,,,,' ", " ',,...;.;; ", " ..;;.;. ", " ;;;;+ ", " ;' + ", " ;> + ", " #'.-'')= ", " '+> $! ", " ", " ", " "};