digraph IterationDAG {
  rankdir=TB;
  node [shape=record];
  n0 [label="A=[1, 2, 5, 6]\nM=12 step=0"];
  n1 [label="A=[0, 1, 6, 7]\nM=10 step=1"];
  n2 [style=filled, fillcolor=lightgreen, label="A=[2, 5, 9, 10]\nM=12 step=1 ★SIDON"];
  n3 [style=filled, fillcolor=lightgreen, label="A=[2, 5, 9, 10]\nM=12 step=1 ★SIDON"];
  n4 [label="A=[0, 1, 6, 7]\nM=10 step=1"];
  n5 [label="A=[1, 2, 5, 6]\nM=10 step=2"];
  n6 [style=filled, fillcolor=lightgreen, label="A=[0, 7, 8, 13]\nM=14 step=2 ★SIDON"];
  n7 [label="A=[3, 4, 9, 10]\nM=12 step=2"];
  n8 [label="A=[3, 4, 9, 10]\nM=12 step=2"];
  n9 [label="A=[1, 2, 5, 6]\nM=10 step=2"];
  n10 [style=filled, fillcolor=lightgreen, label="A=[0, 7, 8, 13]\nM=14 step=2 ★SIDON"];
  n21 [style=filled, fillcolor=lightyellow, label="A=[4, 5, 10, 11]\nM=14 step=3"];
  n22 [style=filled, fillcolor=lightyellow, label="A=[6, 7, 12, 13]\nM=18 step=3"];
  n23 [style=filled, fillcolor=lightyellow, label="A=[0, 1, 6, 7]\nM=12 step=3"];
  n24 [style=filled, fillcolor=lightyellow, label="A=[3, 7, 9, 13]\nM=15 step=3"];
  n25 [style=filled, fillcolor=lightyellow, label="A=[0, 1, 6, 7]\nM=12 step=3"];
  n26 [style=filled, fillcolor=lightyellow, label="A=[2, 8, 13, 19]\nM=20 step=3"];
  n27 [style=filled, fillcolor=lightyellow, label="A=[0, 4, 9, 13]\nM=15 step=3"];
  n28 [style=filled, fillcolor=lightgreen, label="A=[5, 8, 14, 19]\nM=20 step=3 ★SIDON"];
  n29 [style=filled, fillcolor=lightyellow, label="A=[2, 3, 10, 11]\nM=14 step=3"];
  n30 [style=filled, fillcolor=lightyellow, label="A=[0, 1, 12, 13]\nM=18 step=3"];
  n0 -> n1 [label="[2, 5]"];
  n0 -> n2 [label="[3, 4]"];
  n0 -> n3 [label="[4, 3]"];
  n0 -> n4 [label="[5, 2]"];
  n1 -> n5 [label="[2, 5]"];
  n1 -> n6 [label="[2, 7]"];
  n1 -> n7 [label="[3, 4]"];
  n1 -> n8 [label="[4, 3]"];
  n1 -> n9 [label="[5, 2]"];
  n1 -> n10 [label="[7, 2]"];
  n7 -> n21 [label="[2, 7]"];
  n7 -> n22 [label="[2, 9]"];
  n7 -> n23 [label="[3, 4]"];
  n7 -> n24 [label="[3, 5]"];
  n7 -> n25 [label="[4, 3]"];
  n7 -> n26 [label="[4, 5]"];
  n7 -> n27 [label="[5, 3]"];
  n7 -> n28 [label="[5, 4]"];
  n7 -> n29 [label="[7, 2]"];
  n7 -> n30 [label="[9, 2]"];
}