// fromList [(Pos 1,[1,2,3]),(Pos 2,[4,5,6]),(Pos 3,[7,8]),(Pos 4,[9,10,11,12]),(Pos 5,[13,14,15,16]),(Pos 6,[17,18,19,20,21,22])]
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 & b & c
T001",style=filled,colorscheme=ylorrd9,shape=box]
      r1t2c1[label="a & d & e
T002",style=filled,colorscheme=ylorrd9,shape=box]
      r1t3c1[label="e & f & g
T003",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r1 -> r1t1c1[style=invis]
      r1t1c1 -> r1t2c1[weight=10,style=invis]
      r1t2c1 -> r1t3c1[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
      r2t4c1[label="a & b
T004",style=filled,colorscheme=ylorrd9,shape=box]
      r2t5c1[label="a & d
T005",style=filled,colorscheme=ylorrd9,shape=box]
      r2t6c1[label="d & f
T006",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r2 -> r2t4c1[style=invis]
      r2t4c1 -> r2t5c1[weight=10,style=invis]
      r2t5c1 -> r2t6c1[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
      r3t7c1[label="a & f & g
T007",style=filled,colorscheme=ylorrd9,shape=box]
      r3t8c1[label="d & f
T008",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r3 -> r3t7c1[style=invis]
      r3t7c1 -> r3t8c1[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
      r4t9c1[label="a & b & c
T009",style=filled,colorscheme=ylorrd9,shape=box]
      r4t10c1[label="a & d & e
T010",style=filled,colorscheme=ylorrd9,shape=box]
      r4t11c1[label="b & c
T011",style=filled,colorscheme=ylorrd9,shape=box]
      r4t12c1[label="b & c & e
T012",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r4 -> r4t9c1[style=invis]
      r4t9c1 -> r4t10c1[weight=10,style=invis]
      r4t10c1 -> r4t11c1[weight=10,style=invis]
      r4t11c1 -> r4t12c1[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
      r5t13c1[label="a & c & d
T013",style=filled,colorscheme=ylorrd9,shape=box]
      r5t14c1[label="a & f
T014",style=filled,colorscheme=ylorrd9,shape=box]
      r5t15c1[label="b & f
T015",style=filled,colorscheme=ylorrd9,shape=box]
      r5t16c1[label="d & f & g
T016",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r5 -> r5t13c1[style=invis]
      r5t13c1 -> r5t14c1[weight=10,style=invis]
      r5t14c1 -> r5t15c1[weight=10,style=invis]
      r5t15c1 -> r5t16c1[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
      r6t17c1[label="a & b & c
T017",style=filled,colorscheme=ylorrd9,shape=box]
      r6t18c1[label="b & c
T018",style=filled,colorscheme=ylorrd9,shape=box]
      r6t19c1[label="b & c & g
T019",style=filled,colorscheme=ylorrd9,shape=box]
      r6t20c1[label="c & d & g
T020",style=filled,colorscheme=ylorrd9,shape=box]
      r6t21c1[label="c & g
T021",style=filled,colorscheme=ylorrd9,shape=box]
      r6t22c1[label="e & g
T022",style=filled,colorscheme=ylorrd9,shape=box]
      // Horizontally align the cluster nodes within the same range
      r6 -> r6t17c1[style=invis]
      r6t17c1 -> r6t18c1[weight=10,style=invis]
      r6t18c1 -> r6t19c1[weight=10,style=invis]
      r6t19c1 -> r6t20c1[weight=10,style=invis]
      r6t20c1 -> r6t21c1[weight=10,style=invis]
      r6t21c1 -> r6t22c1[weight=10,style=invis]
    }
  }
  // Create the edges of the MST 1
  // Create the edges of the MST 2
  // Create the edges of the MST 3
  // Create the edges of the MST 4
  // Create the edges of the MST 5
  // Create the edges of the MST 6
  // Create the edges of the MST 7
  // Create the edges of the MST 8
  // Create the edges of the MST 9
  // Create the edges of the MST 10
  // Create the edges of the MST 11
  // Create the edges of the MST 12
  // Create the edges of the MST 13
  // Create the edges of the MST 14
  // Create the edges of the MST 15
  // Create the edges of the MST 16
  // Create the edges of the MST 17
  // Create the edges of the MST 18
  // Create the edges of the MST 19
  // Create the edges of the MST 20
  // Create the edges of the MST 21
  // Create the edges of the MST 22
  // Vertically align range nodes
  r1 -> r2 -> r3 -> r4 -> r5 -> r6[weight=10,style=invis]
}