/*
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
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r1t2c1[label="e & f & g

T002
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r1t5c2[label="a & b & c

T005
S4",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 -> r1t5c2[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
      */
      r2t1c4[label="a & d

T001
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r2t3c1[label="d & f

T003
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r2t5c8[label="a & b

T005
S4",style=filled,colorscheme=ylorrd9,shape=box]
      /*
      Horizontally align the cluster nodes within the same range
      */
      r2 -> r2t1c4[style=invis]
      r2t1c4 -> r2t3c1[weight=10,style=invis]
      r2t3c1 -> r2t5c8[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
      */
      r3t3c2[label="d & f

T003
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r3t4c1[label="a & f & g

T004
S4",style=filled,colorscheme=ylorrd9,shape=box]
      /*
      Horizontally align the cluster nodes within the same range
      */
      r3 -> r3t3c2[style=invis]
      r3t3c2 -> 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
      */
      r4t1c2[label="a & d & e

T001
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r4t5c1[label="b & c & e

T005
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r4t5c4[label="a & b & c

T005
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r4t5c6[label="b & c

T005
S4",style=filled,colorscheme=ylorrd9,shape=box]
      /*
      Horizontally align the cluster nodes within the same range
      */
      r4 -> r4t1c2[style=invis]
      r4t1c2 -> r4t5c1[weight=10,style=invis]
      r4t5c1 -> r4t5c4[weight=10,style=invis]
      r4t5c4 -> r4t5c6[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
      */
      r5t1c3[label="a & c & d

T001
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r5t3c3[label="d & f & g

T003
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r5t4c2[label="a & f

T004
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r5t6c1[label="b & f

T006
S4",style=filled,colorscheme=ylorrd9,shape=box]
      /*
      Horizontally align the cluster nodes within the same range
      */
      r5 -> r5t1c3[style=invis]
      r5t1c3 -> r5t3c3[weight=10,style=invis]
      r5t3c3 -> r5t4c2[weight=10,style=invis]
      r5t4c2 -> 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
      */
      r6t2c2[label="e & g

T002
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r6t5c3[label="a & b & c

T005
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r6t5c5[label="b & c & g

T005
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r6t5c7[label="b & c

T005
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r6t7c1[label="c & d & g

T007
S4",style=filled,colorscheme=ylorrd9,shape=box]
      r6t8c1[label="c & g

T008
S4",style=filled,colorscheme=ylorrd9,shape=box]
      /*
      Horizontally align the cluster nodes within the same range
      */
      r6 -> r6t2c2[style=invis]
      r6t2c2 -> r6t5c3[weight=10,style=invis]
      r6t5c3 -> r6t5c5[weight=10,style=invis]
      r6t5c5 -> r6t5c7[weight=10,style=invis]
      r6t5c7 -> r6t7c1[weight=10,style=invis]
      r6t7c1 -> r6t8c1[weight=10,style=invis]
    }
  }
  /*
  Create the edges of the MST 1
  */
  r1t1c1 -> r5t1c3[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t1c1 -> r2t1c4[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t1c1 -> r4t1c2[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  /*
  Create the edges of the MST 2
  */
  r1t2c1 -> r6t2c2[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  /*
  Create the edges of the MST 3
  */
  r2t3c1 -> r5t3c3[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r2t3c1 -> r3t3c2[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  /*
  Create the edges of the MST 4
  */
  r3t4c1 -> r5t4c2[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  /*
  Create the edges of the MST 5
  */
  r4t5c1 -> r1t5c2[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c2 -> r6t5c5[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c2 -> r4t5c6[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r4t5c6 -> r6t5c7[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c2 -> r2t5c8[constraint=false,color=6,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c2 -> r6t5c3[constraint=false,color=0,colorscheme=ylorrd9,fontcolor=blue,dir=both,arrowhead=dot,arrowtail=dot]
  r1t5c2 -> r4t5c4[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]
}