/* XPM */
static const char *intersection_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34       14            1",
/* colors */
". c #000000",
"# c #00004c",
"a c #0000a5",
"b c #0000ff",
"c c #7f0025",
"d c #7f4092",
"e c #8080ff",
"f c #bbb7be",
"g c #c7c3ca",
"h c #e0dce3",
"i c #ede9f0",
"j c #f0f0f0",
"k c #ff0000",
"l c #ff8080",
/* pixels */
"hiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii",
"hhiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiig",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhjjjjjjjjjllllllljjjjjjjjjjjjjjgg",
"hhjjjjjjjllkkkkkkklljjjjjjjjjjjjgg",
"hhjjjjjllkklllllllkklljjjjjjjjjjgg",
"hhjjjjlkklljjjjjjjllkkljjjjjjjjjgg",
"hhjjjlklljjjjjjjjjjjllkljjjjjjjjgg",
"hhjjlkljjjjjjjjjjjeeeedcljjjjjjjgg",
"hhjjlkljjjjjjjjjeebbbba#dejjjjjjgg",
"hhjlkljjjjjjjjjebbeeeeed#aejjjjjgg",
"hhjlkljjjjjjjjebee.....lcdbejjjjgg",
"hhlkljjjjjjjjebe........lkdbejjjgg",
"hhlkljjjjjjjebe.........lklebejjgg",
"hhlkljjjjjjebe..........lkljebejgg",
"hhlkljjjjjjebe..........lkljebejgg",
"hhlkljjjjjebe...........lkljjebegg",
"hhlkljjjjjebe...........lkljjebegg",
"hhjlkljjjjebe..........lkljjjebegg",
"hhjlkljjjjebe..........lkljjjebegg",
"hhjjlkljjjebe.........lkljjjjebegg",
"hhjjlkljjjebe.........lkljjjjebegg",
"hhjjjlklljebe.......llkljjjjjebegg",
"hhjjjjlkkllebe....llkkljjjjjebejgg",
"hhjjjjjllkkdadllllkklljjjjjjebejgg",
"hhjjjjjjjllkc#ckkklljjjjjjjebejjgg",
"hhjjjjjjjjjlldadlljjjjjjjjebejjjgg",
"hhjjjjjjjjjjjjebeejjjjjjeebejjjjgg",
"hhjjjjjjjjjjjjjebbeeeeeebbejjjjjgg",
"hhjjjjjjjjjjjjjjeebbbbbbeejjjjjjgg",
"hhjjjjjjjjjjjjjjjjeeeeeejjjjjjjjgg",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhfffffffffffffffffffffffffffffffg",
"hfffffffffffffffffffffffffffffffff"
};


/* XPM */
static const char *union_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34       14            1",
/* colors */
". c #000000",
"# c #00004c",
"a c #0000a5",
"b c #0000ff",
"c c #7f0025",
"d c #7f4092",
"e c #8080ff",
"f c #bbb7be",
"g c #c7c3ca",
"h c #e0dce3",
"i c #ede9f0",
"j c #f0f0f0",
"k c #ff0000",
"l c #ff8080",
/* pixels */
"hiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii",
"hhiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiig",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhjjjjjjjjjllllllljjjjjjjjjjjjjjgg",
"hhjjjjjjjllkkkkkkklljjjjjjjjjjjjgg",
"hhjjjjjllkklllllllkklljjjjjjjjjjgg",
"hhjjjjlkkll.......llkkljjjjjjjjjgg",
"hhjjjlkll...........llkljjjjjjjjgg",
"hhjjlkl...........eeeedcljjjjjjjgg",
"hhjjlkl.........eebbbba#dejjjjjjgg",
"hhjlkl.........ebbeeeeed#aejjjjjgg",
"hhjlkl........ebee.....lcdbejjjjgg",
"hhlkl........ebe........lkdbejjjgg",
"hhlkl.......ebe.........lklebejjgg",
"hhlkl......ebe..........lkl.ebejgg",
"hhlkl......ebe..........lkl.ebejgg",
"hhlkl.....ebe...........lkl..ebegg",
"hhlkl.....ebe...........lkl..ebegg",
"hhjlkl....ebe..........lkl...ebegg",
"hhjlkl....ebe..........lkl...ebegg",
"hhjjlkl...ebe.........lkl....ebegg",
"hhjjlkl...ebe.........lkl....ebegg",
"hhjjjlkll.ebe.......llkl.....ebegg",
"hhjjjjlkkllebe....llkkl.....ebejgg",
"hhjjjjjllkkdadllllkkll......ebejgg",
"hhjjjjjjjllkc#ckkkll.......ebejjgg",
"hhjjjjjjjjjlldadll........ebejjjgg",
"hhjjjjjjjjjjjjebee......eebejjjjgg",
"hhjjjjjjjjjjjjjebbeeeeeebbejjjjjgg",
"hhjjjjjjjjjjjjjjeebbbbbbeejjjjjjgg",
"hhjjjjjjjjjjjjjjjjeeeeeejjjjjjjjgg",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhfffffffffffffffffffffffffffffffg",
"hfffffffffffffffffffffffffffffffff"
};

/* XPM */
static const char *difference_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34       14            1",
/* colors */
". c #000000",
"# c #00004c",
"a c #0000a5",
"b c #0000ff",
"c c #7f0025",
"d c #7f4092",
"e c #8080ff",
"f c #bbb7be",
"g c #c7c3ca",
"h c #e0dce3",
"i c #ede9f0",
"j c #f0f0f0",
"k c #ff0000",
"l c #ff8080",
/* pixels */
"hiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii",
"hhiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiig",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhjjjjjjjjjllllllljjjjjjjjjjjjjjgg",
"hhjjjjjjjllkkkkkkklljjjjjjjjjjjjgg",
"hhjjjjjllkklllllllkklljjjjjjjjjjgg",
"hhjjjjlkkll.......llkkljjjjjjjjjgg",
"hhjjjlkll...........llkljjjjjjjjgg",
"hhjjlkl...........eeeedcljjjjjjjgg",
"hhjjlkl.........eebbbba#dejjjjjjgg",
"hhjlkl.........ebbeeeeed#aejjjjjgg",
"hhjlkl........ebeejjjjjlcdbejjjjgg",
"hhlkl........ebejjjjjjjjlkdbejjjgg",
"hhlkl.......ebejjjjjjjjjlklebejjgg",
"hhlkl......ebejjjjjjjjjjlkljebejgg",
"hhlkl......ebejjjjjjjjjjlkljebejgg",
"hhlkl.....ebejjjjjjjjjjjlkljjebegg",
"hhlkl.....ebejjjjjjjjjjjlkljjebegg",
"hhjlkl....ebejjjjjjjjjjlkljjjebegg",
"hhjlkl....ebejjjjjjjjjjlkljjjebegg",
"hhjjlkl...ebejjjjjjjjjlkljjjjebegg",
"hhjjlkl...ebejjjjjjjjjlkljjjjebegg",
"hhjjjlkll.ebejjjjjjjllkljjjjjebegg",
"hhjjjjlkkllebejjjjllkkljjjjjebejgg",
"hhjjjjjllkkdadllllkklljjjjjjebejgg",
"hhjjjjjjjllkc#ckkklljjjjjjjebejjgg",
"hhjjjjjjjjjlldadlljjjjjjjjebejjjgg",
"hhjjjjjjjjjjjjebeejjjjjjeebejjjjgg",
"hhjjjjjjjjjjjjjebbeeeeeebbejjjjjgg",
"hhjjjjjjjjjjjjjjeebbbbbbeejjjjjjgg",
"hhjjjjjjjjjjjjjjjjeeeeeejjjjjjjjgg",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhfffffffffffffffffffffffffffffffg",
"hfffffffffffffffffffffffffffffffff"
};

/* XPM */
static const char *exor_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34       14            1",
/* colors */
". c #000000",
"# c #00004c",
"a c #0000a5",
"b c #0000ff",
"c c #7f0025",
"d c #7f4092",
"e c #8080ff",
"f c #bbb7be",
"g c #c7c3ca",
"h c #e0dce3",
"i c #ede9f0",
"j c #f0f0f0",
"k c #ff0000",
"l c #ff8080",
/* pixels */
"hiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii",
"hhiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiig",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhjjjjjjjjjllllllljjjjjjjjjjjjjjgg",
"hhjjjjjjjllkkkkkkklljjjjjjjjjjjjgg",
"hhjjjjjllkklllllllkklljjjjjjjjjjgg",
"hhjjjjlkkll.......llkkljjjjjjjjjgg",
"hhjjjlkll...........llkljjjjjjjjgg",
"hhjjlkl...........eeeedcljjjjjjjgg",
"hhjjlkl.........eebbbba#dejjjjjjgg",
"hhjlkl.........ebbeeeeed#aejjjjjgg",
"hhjlkl........ebeejjjjjlcdbejjjjgg",
"hhlkl........ebejjjjjjjjlkdbejjjgg",
"hhlkl.......ebejjjjjjjjjlklebejjgg",
"hhlkl......ebejjjjjjjjjjlkl.ebejgg",
"hhlkl......ebejjjjjjjjjjlkl.ebejgg",
"hhlkl.....ebejjjjjjjjjjjlkl..ebegg",
"hhlkl.....ebejjjjjjjjjjjlkl..ebegg",
"hhjlkl....ebejjjjjjjjjjlkl...ebegg",
"hhjlkl....ebejjjjjjjjjjlkl...ebegg",
"hhjjlkl...ebejjjjjjjjjlkl....ebegg",
"hhjjlkl...ebejjjjjjjjjlkl....ebegg",
"hhjjjlkll.ebejjjjjjjllkl.....ebegg",
"hhjjjjlkkllebejjjjllkkl.....ebejgg",
"hhjjjjjllkkdadllllkkll......ebejgg",
"hhjjjjjjjllkc#ckkkll.......ebejjgg",
"hhjjjjjjjjjlldadll........ebejjjgg",
"hhjjjjjjjjjjjjebee......eebejjjjgg",
"hhjjjjjjjjjjjjjebbeeeeeebbejjjjjgg",
"hhjjjjjjjjjjjjjjeebbbbbbeejjjjjjgg",
"hhjjjjjjjjjjjjjjjjeeeeeejjjjjjjjgg",
"hhjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjgg",
"hhfffffffffffffffffffffffffffffffg",
"hfffffffffffffffffffffffffffffffff"
};


/* XPM */
static const char *interior_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34        9            1",
/* colors */
". c #000000",
"# c #b4b4b4",
"a c #c0c0c0",
"b c #d9d9d9",
"c c #e6e6e6",
"d c #fe0000",
"e c #fe5555",
"f c #feaaaa",
"g c #ffffff",
/* pixels */
"bccccccccccccccccccccccccccccccccc",
"bbccccccccccccccccccccccccccccccca",
"bbggggggggggggggggggggggggggggggaa",
"bbggggggggggggggggggggggggggggggaa",
"bbggggggggggggggggggggggggggggggaa",
"bbggggggggggggggggggggggggggggggaa",
"bbggggggggggggggggggggggggggggggaa",
"bbgggggggfffffffffffffffffffffffaa",
"bbggggggfeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbgggggfedddddddddddddddddddddddaa",
"bbgggggfedeeeeeeeeeeeeeeeeeeeeedaa",
"bbgggggfedefffffffffffffffffffedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedef.................fedaa",
"bbgggggfedefffffffffffffffffffedaa",
"bbgggggfedeeeeeeeeeeeeeeeeeeeeedaa",
"bbgggggfeddddddddddddddddddddddgaa",
"bb###############################a",
"b#################################"
};

/* XPM */
static const char *closure_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34        7            1",
/* colors */
". c #000000",
"# c #b4b4b4",
"a c #c0c0c0",
"b c #d9d9d9",
"c c #e6e6e6",
"d c #feaaaa",
"e c #ffffff",
/* pixels */
"bccccccccccccccccccccccccccccccccc",
"bbccccccccccccccccccccccccccccccca",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeedddddddddddddddddddddddaa",
"bbeeeeeed.......................aa",
"bbeeeeed........................aa",
"bbeeeeed........................aa",
"bbeeeeed...ddddddddddddddddddd..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...d.................d..aa",
"bbeeeeed...ddddddddddddddddddd..aa",
"bbeeeeed........................aa",
"bbeeeeed.......................eaa",
"bb###############################a",
"b#################################"
};

/* XPM */
static const char *complement_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34        9            1",
/* colors */
". c #000000",
"# c #b4b4b4",
"a c #c0c0c0",
"b c #d9d9d9",
"c c #e6e6e6",
"d c #fe0000",
"e c #fe5555",
"f c #feaaaa",
"g c #ffffff",
/* pixels */
"bccccccccccccccccccccccccccccccccc",
"bbccccccccccccccccccccccccccccccca",
"bb..............................aa",
"bb..............................aa",
"bb..............................aa",
"bb..............................aa",
"bb..............................aa",
"bb.......fffffffffffffffffffffffaa",
"bb......feeeeeeeeeeeeeeeeeeeeeeeaa",
"bb.....fedddddddddddddddddddddddaa",
"bb.....fedeeeeeeeeeeeeeeeeeeeeedaa",
"bb.....fedefffffffffffffffffffedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefgggggggggggggggggfedaa",
"bb.....fedefffffffffffffffffffedaa",
"bb.....fedeeeeeeeeeeeeeeeeeeeeedaa",
"bb.....feddddddddddddddddddddddgaa",
"bb###############################a",
"b#################################"
};

/* XPM */
static const char *boundary_xpm[] = {
/* width height num_colors chars_per_pixel */
"    34    34        7            1",
/* colors */
". c #000000",
"# c #b4b4b4",
"a c #c0c0c0",
"b c #d9d9d9",
"c c #e6e6e6",
"d c #feaaaa",
"e c #ffffff",
/* pixels */
"bccccccccccccccccccccccccccccccccc",
"bbccccccccccccccccccccccccccccccca",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaa",
"bbeeeeeeedddddddddddddddddddddddaa",
"bbeeeeeed.......................aa",
"bbeeeeed........................aa",
"bbeeeeed........................aa",
"bbeeeeed...ddddddddddddddddddd..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...deeeeeeeeeeeeeeeeed..aa",
"bbeeeeed...ddddddddddddddddddd..aa",
"bbeeeeed........................aa",
"bbeeeeed.......................eaa",
"bb###############################a",
"b#################################"
};
