graph.dot

digraph {
    0 [ label = "Set(0, false)" ]
    1 [ label = "Set(1, false)" ]
    2 [ label = "Nand(11, 12, 2)" ]
    3 [ label = "Nand(5, 5, 3)" ]
    4 [ label = "Nand(8, 8, 4)" ]
    5 [ label = "Nand(6, 7, 5)" ]
    6 [ label = "Nand(0, 0, 6)" ]
    7 [ label = "Nand(4, 4, 7)" ]
    8 [ label = "Nand(9, 10, 8)" ]
    9 [ label = "Nand(1, 1, 9)" ]
    10 [ label = "Nand(3, 3, 10)" ]
    11 [ label = "Nand(4, 4, 11)" ]
    12 [ label = "Nand(4, 4, 12)" ]
    0 -> 6 [ label = "()" ]
    0 -> 6 [ label = "()" ]
    4 -> 7 [ label = "()" ]
    4 -> 7 [ label = "()" ]
    6 -> 5 [ label = "()" ]
    7 -> 5 [ label = "()" ]
    5 -> 3 [ label = "()" ]
    5 -> 3 [ label = "()" ]
    1 -> 9 [ label = "()" ]
    1 -> 9 [ label = "()" ]
    3 -> 10 [ label = "()" ]
    3 -> 10 [ label = "()" ]
    9 -> 8 [ label = "()" ]
    10 -> 8 [ label = "()" ]
    8 -> 4 [ label = "()" ]
    8 -> 4 [ label = "()" ]
    4 -> 11 [ label = "()" ]
    4 -> 11 [ label = "()" ]
    4 -> 12 [ label = "()" ]
    4 -> 12 [ label = "()" ]
    11 -> 2 [ label = "()" ]
    12 -> 2 [ label = "()" ]
}