digraph g {
"context" -> "binary tree"
"x" -> "start node" [label="text",arrowhead=normal]
"x" -> "0" [label="left",arrowhead=normal]
"x" -> "1" [label="right",arrowhead=normal]
"0" -> "first child node" [label="text",arrowhead=normal]
"0" -> "00" [label="left",arrowhead=normal]
"0" -> "10" [label="right",arrowhead=normal]
"1" -> "second child node" [label="text",arrowhead=normal]
"1" -> "01" [label="left",arrowhead=normal]
"1" -> "11" [label="right",arrowhead=normal]
"00" -> "third child node" [label="text",arrowhead=normal]
"00" -> "000" [label="left",arrowhead=normal]
"00" -> "100" [label="right",arrowhead=normal]
"10" -> "fourth child node" [label="text",arrowhead=normal]
"10" -> "010" [label="left",arrowhead=normal]
"10" -> "110" [label="right",arrowhead=normal]
"01" -> "fifth child node" [label="text",arrowhead=normal]
"01" -> "001" [label="left",arrowhead=normal]
"01" -> "101" [label="right",arrowhead=normal]
"11" -> "sixth child node" [label="text",arrowhead=normal]
"11" -> "011" [label="left",arrowhead=normal]
"11" -> "111" [label="right",arrowhead=normal]
"*" -> "left |_self> + right |_self>" [label="child",arrowhead=box]
}