#define CHANGE8_format 1
#define CHANGE8_width 10
#define CHANGE8_height 12
#define CHANGE8_ncolors 2
#define CHANGE8_chars_per_pixel 1
static char *CHANGE8_colors[] = {
"a", "#000000",
"b", "#ffffff"
};
static char *CHANGE8_pixels[] = {
"  aaaaaa  ",
"  aaaaaa  ",
"aa  aa  aa",
"aa  aa  aa",
"aaaaaaaaaa",
"aaaaaaaaaa",
"aaaaaaaaaa",
"aaaaaaaaaa",
"  aaaaaa  ",
"  aaaaaa  ",
"  aa  aa  ",
"  aa  aa  "};
