Graph G111111 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count111111==     138 / 240

Graph G011111 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count011111==      17 / 55
Graph G101111 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count101111==      22 / 72
Graph G110111 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count110111==      26 / 86
Graph G111011 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count111011==      16 / 44
Graph G111101 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count111101==      22 / 72
Graph G111110 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=red,len=1];
}
// Count111110==      17 / 55

Graph G110101 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count110101==      26 / 62
Graph G001111 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count001111==      19 / 49
Graph G010111 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count010111==       2 / 26
Graph G100111 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count100111==      26 / 62
Graph G011011 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count011011==       2 / 10
Graph G101011 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count101011==      23 / 43
Graph G011101 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count011101==      12 / 26
Graph G111001 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count111001==      23 / 43
Graph G101110 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=red,len=1];
}
// Count101110==      12 / 26
Graph G110110 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=red,len=1];
}
// Count110110==       2 / 26
Graph G111010 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=red,len=1];
}
// Count111010==       2 / 10

Graph G110011 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count110011==      16 / 28
Graph G101101 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count101101==      26 / 44
Graph G011110 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=red,len=1];
}
// Count011110==      10 / 16
Graph G111100 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=red,len=1];
}
// Count111100==      19 / 49

Graph G000111 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count000111==      12 / 36
Graph G101010 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=red,len=1];
}
// Count101010==       4 / 12
Graph G110100 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=red,len=1];
}
// Count110100==      12 / 36
Graph G011001 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count011001==       4 / 12

Graph G100011 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count100011==      12 / 24
Graph G001101 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count001101==       6 / 12
Graph G100101 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count100101==      12 / 24
Graph G101001 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count101001==      12 / 24
Graph G110001 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count110001==      12 / 24
Graph G001110 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=blue,len=1];
 2 -- 3 [color=red,len=1];
}
// Count001110==       6 / 12
Graph G011100 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=blue,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=red,len=1];
}
// Count011100==       6 / 12
Graph G101100 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=red,len=1];
}
// Count101100==       6 / 12

Graph G100001 {
 0 -- 1 [color=blue,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=red,len=1];
 1 -- 2 [color=red,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=blue,len=1];
}
// Count100001==      24 / 36
Graph G001100 {
 0 -- 1 [color=red,len=1];
 0 -- 2 [color=red,len=1];
 0 -- 3 [color=blue,len=1];
 1 -- 2 [color=blue,len=1];
 1 -- 3 [color=red,len=1];
 2 -- 3 [color=red,len=1];
}
// Count001100==      12 / 18