static char *profile_x16[] = { "16 16 12 1", " c None", "0 c #000000", "1 c #003333", "2 c #333333", "3 c #336666", "4 c #336699", "5 c #339999", "6 c #669999", "7 c #6699CC", "8 c #66CCCC", "9 c #66CCFF", "A c #99CCFF", " ", " 0 ", " 262 ", " 05A71 ", " 05A92 20120 ", "004AA82238A98300", " 05AAA58AAAAA50 ", "005AAAAAAAAAA500", "004AAAAAAAAAA400", " 05AAAAAAAAAA50 ", "004AAAAAAAAAA400", " 05AAAAAAAAAA50 ", " 00000000000000 ", " 0 00 0 0 0 ", " 0 0 0 ", " "}; static char *profile_x24[] = { "24 24 13 1", " c None", "0 c #000000", "1 c #003333", "2 c #333333", "3 c #333366", "4 c #336666", "5 c #336699", "6 c #339999", "7 c #669999", "8 c #6699CC", "9 c #66CCCC", "A c #66CCFF", "B c #99CCFF", " ", " ", " 0 ", " 1481 ", " 04AB81 ", " 06BBA4 ", " 06BBB92 11210 ", " 006BBBB50 128AA8630000", "0006BBBBA3128ABBBBBB5000", " 06BBBBB87ABBBBBBBB60 ", " 06BBBBBBBBBBBBBBBB60 ", " 006BBBBBBBBBBBBBBBB5000", " 006BBBBBBBBBBBBBBBB5000", " 06BBBBBBBBBBBBBBBB60 ", " 06BBBBBBBBBBBBBBBB60 ", "0006BBBBBBBBBBBBBBBB5000", " 06BBBBBBBBBBBBBBBB60 ", " 06BBBBBBBBBBBBBBBB60 ", " 01444444444444444410 ", " 000000000000000000 ", " 0 00 0 0 00 ", " 0 0 00 ", " ", " "}; static char *profile_x32[] = { "32 32 13 1", " c None", "0 c #000000", "1 c #003333", "2 c #333333", "3 c #333366", "4 c #336666", "5 c #336699", "6 c #339999", "7 c #669999", "8 c #6699CC", "9 c #66CCCC", "A c #66CCFF", "B c #99CCFF", " ", " ", " ", " 00 ", " 2683 ", " 029BB82 ", " 06BBBB4 ", " 06BBBBA2 ", " 06BBBBB50 11200 ", " 06BBBBBA1 017AA8511200 ", " 0006BBBBBB83 016ABBBBBBA93000 ", " 0006BBBBBBA2025ABBBBBBBBBB4000 ", " 06BBBBBBB94ABBBBBBBBBBBB40 ", " 06BBBBBBBBBBBBBBBBBBBBBB40 ", " 06BBBBBBBBBBBBBBBBBBBBBB40 ", " 0006BBBBBBBBBBBBBBBBBBBBBB4000 ", " 0006BBBBBBBBBBBBBBBBBBBBBB4000 ", " 06BBBBBBBBBBBBBBBBBBBBBB40 ", " 06BBBBBBBBBBBBBBBBBBBBBB40 ", " 06BBBBBBBBBBBBBBBBBBBBBB40 ", " 0006BBBBBBBBBBBBBBBBBBBBBB4000 ", " 0006BBBBBBBBBBBBBBBBBBBBBB4000 ", " 06BBBBBBBBBBBBBBBBBBBBBB40 ", " 06BBBBBBBBBBBBBBBBBBBBBB40 ", " 04888888888888888888888830 ", " 00000000000000000000000000 ", " 00 00 00 00 00 ", " 00 0 00 0 00 ", " 00 00 00 ", " ", " ", " "}; static char **profile_xpm[3] = { profile_x16, profile_x24, profile_x32 };