// fromList [(Pos 1,[1,2,5]),(Pos 2,[1,3,5]),(Pos 3,[3,4]),(Pos 4,[1,5]),(Pos 5,[1,3,4,6]),(Pos 6,[2,5,7,8])]
digraph g
{
  splines="ortho"
  subgraph cluster_r1
  {
    // Create a node for the range r1
    r1[shape=box,label="1",color=gray,style=filled,fillcolor=gray]
    color=gray
    {
      rank=same
      // Create the cluster nodes within the range r1
      r1t1c1[label="a & d & e
T001
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r1t2c1[label="e & f & g
T002
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r1t5c1[label="a & b & c
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r1 -> r1t1c1[style=invis]
      r1t1c1 -> r1t2c1[weight=10,style=invis]
      r1t2c1 -> r1t5c1[weight=10,style=invis]
    }
  }
  subgraph cluster_r2
  {
    // Create a node for the range r2
    r2[shape=box,label="2",color=gray,style=filled,fillcolor=gray]
    color=gray
    {
      rank=same
      // Create the cluster nodes within the range r2
      r2t1c1[label="a & d
T001
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r2t3c1[label="d & f
T003
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r2t5c1[label="a & b
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r2 -> r2t1c1[style=invis]
      r2t1c1 -> r2t3c1[weight=10,style=invis]
      r2t3c1 -> r2t5c1[weight=10,style=invis]
    }
  }
  subgraph cluster_r3
  {
    // Create a node for the range r3
    r3[shape=box,label="3",color=gray,style=filled,fillcolor=gray]
    color=gray
    {
      rank=same
      // Create the cluster nodes within the range r3
      r3t3c1[label="d & f
T003
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r3t4c1[label="a & f & g
T004
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r3 -> r3t3c1[style=invis]
      r3t3c1 -> r3t4c1[weight=10,style=invis]
    }
  }
  subgraph cluster_r4
  {
    // Create a node for the range r4
    r4[shape=box,label="4",color=gray,style=filled,fillcolor=gray]
    color=gray
    {
      rank=same
      // Create the cluster nodes within the range r4
      r4t1c1[label="a & d & e
T001
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r4t5c1[label="a & b & c
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r4t5c2[label="b & c
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r4t5c3[label="b & c & e
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r4 -> r4t1c1[style=invis]
      r4t1c1 -> r4t5c1[weight=10,style=invis]
      r4t5c1 -> r4t5c2[weight=10,style=invis]
      r4t5c2 -> r4t5c3[weight=10,style=invis]
    }
  }
  subgraph cluster_r5
  {
    // Create a node for the range r5
    r5[shape=box,label="5",color=gray,style=filled,fillcolor=gray]
    color=gray
    {
      rank=same
      // Create the cluster nodes within the range r5
      r5t1c1[label="a & c & d
T001
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r5t3c1[label="d & f & g
T003
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r5t4c1[label="a & f
T004
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r5t6c1[label="b & f
T006",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r5 -> r5t1c1[style=invis]
      r5t1c1 -> r5t3c1[weight=10,style=invis]
      r5t3c1 -> r5t4c1[weight=10,style=invis]
      r5t4c1 -> r5t6c1[weight=10,style=invis]
    }
  }
  subgraph cluster_r6
  {
    // Create a node for the range r6
    r6[shape=box,label="6",color=gray,style=filled,fillcolor=gray]
    color=gray
    {
      rank=same
      // Create the cluster nodes within the range r6
      r6t2c1[label="e & g
T002
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r6t5c1[label="a & b & c
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r6t5c2[label="b & c
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r6t5c3[label="b & c & g
T005
0.67",style=filled,fillcolor=7,colorscheme=ylorrd9,shape=box]
      r6t7c1[label="c & d & g
T007",style=filled,colorscheme=ylorrd9,shape=box]
      r6t8c1[label="c & g
T008",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r6 -> r6t2c1[style=invis]
      r6t2c1 -> r6t5c1[weight=10,style=invis]
      r6t5c1 -> r6t5c2[weight=10,style=invis]
      r6t5c2 -> r6t5c3[weight=10,style=invis]
      r6t5c3 -> r6t7c1[weight=10,style=invis]
      r6t7c1 -> r6t8c1[weight=10,style=invis]
    }
  }
  // Create the edges of the MST 1
  r1t1c1 -> r5t1c1[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t1c1 -> r2t1c1[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t1c1 -> r4t1c1[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  // Create the edges of the MST 2
  r1t2c1 -> r6t2c1[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  // Create the edges of the MST 3
  r2t3c1 -> r5t3c1[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r2t3c1 -> r3t3c1[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  // Create the edges of the MST 4
  r3t4c1 -> r5t4c1[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  // Create the edges of the MST 5
  r4t5c3 -> r1t5c1[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c1 -> r6t5c3[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c1 -> r4t5c2[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r4t5c2 -> r6t5c2[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c1 -> r2t5c1[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c1 -> r6t5c1[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c1 -> r4t5c1[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  // Create the edges of the MST 6
  // Create the edges of the MST 7
  // Create the edges of the MST 8
  // Vertically align range nodes
  r1 -> r2 -> r3 -> r4 -> r5 -> r6[weight=10,style=invis]
}