Daniel@0: digraph g {
Daniel@0: graph [
Daniel@0: rankdir = "LR"
Daniel@0: ];
Daniel@0: node [
Daniel@0: fontsize = "16"
Daniel@0: shape = "ellipse"
Daniel@0: ];
Daniel@0: edge [
Daniel@0: ];
Daniel@0: "node0" [
Daniel@0: label = "<f0> 0x10ba8| <f1>"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node1" [
Daniel@0: label = "<f0> 0xf7fc4380| <f1> | <f2> |-1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node2" [
Daniel@0: label = "<f0> 0xf7fc44b8| | |2"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node3" [
Daniel@0: label = "<f0> 3.43322790286038071e-06|44.79998779296875|0"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node4" [
Daniel@0: label = "<f0> 0xf7fc4380| <f1> | <f2> |2"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node5" [
Daniel@0: label = "<f0> (nil)| | |-1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node6" [
Daniel@0: label = "<f0> 0xf7fc4380| <f1> | <f2> |1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node7" [
Daniel@0: label = "<f0> 0xf7fc4380| <f1> | <f2> |2"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node8" [
Daniel@0: label = "<f0> (nil)| | |-1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node9" [
Daniel@0: label = "<f0> (nil)| | |-1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node10" [
Daniel@0: label = "<f0> (nil)| <f1> | <f2> |-1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node11" [
Daniel@0: label = "<f0> (nil)| <f1> | <f2> |-1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node12" [
Daniel@0: label = "<f0> 0xf7fc43e0| | |1"
Daniel@0: shape = "record"
Daniel@0: ];
Daniel@0: "node0":f0 -> "node1":f0 [
Daniel@0: id = 0
Daniel@0: ];
Daniel@0: "node0":f1 -> "node2":f0 [
Daniel@0: id = 1
Daniel@0: ];
Daniel@0: "node1":f0 -> "node3":f0 [
Daniel@0: id = 2
Daniel@0: ];
Daniel@0: "node1":f1 -> "node4":f0 [
Daniel@0: id = 3
Daniel@0: ];
Daniel@0: "node1":f2 -> "node5":f0 [
Daniel@0: id = 4
Daniel@0: ];
Daniel@0: "node4":f0 -> "node3":f0 [
Daniel@0: id = 5
Daniel@0: ];
Daniel@0: "node4":f1 -> "node6":f0 [
Daniel@0: id = 6
Daniel@0: ];
Daniel@0: "node4":f2 -> "node10":f0 [
Daniel@0: id = 7
Daniel@0: ];
Daniel@0: "node6":f0 -> "node3":f0 [
Daniel@0: id = 8
Daniel@0: ];
Daniel@0: "node6":f1 -> "node7":f0 [
Daniel@0: id = 9
Daniel@0: ];
Daniel@0: "node6":f2 -> "node9":f0 [
Daniel@0: id = 10
Daniel@0: ];
Daniel@0: "node7":f0 -> "node3":f0 [
Daniel@0: id = 11
Daniel@0: ];
Daniel@0: "node7":f1 -> "node1":f0 [
Daniel@0: id = 12
Daniel@0: ];
Daniel@0: "node7":f2 -> "node8":f0 [
Daniel@0: id = 13
Daniel@0: ];
Daniel@0: "node10":f1 -> "node11":f0 [
Daniel@0: id = 14
Daniel@0: ];
Daniel@0: "node10":f2 -> "node12":f0 [
Daniel@0: id = 15
Daniel@0: ];
Daniel@0: "node11":f2 -> "node1":f0 [
Daniel@0: id = 16
Daniel@0: ];
Daniel@0: }