dot

digraph "Cyberbrain Output" {
	graph [forcelabels=true];
	node [label="\N"];
	subgraph "cluster_(0, 0, 0)" {
		graph [color=lightgrey,
			label="(0, 0, 0)",
			overlap=scale,
			style=filled
		];
		node [color=white,
			style=filled
		];
		5		 [color=white,
			label="baa.append(None)",
			style=filled,
			tracking="{('baa', (0, 0, 0))}",
			xlabel="modify baa [1] -> [1, None]
"];
		6		 [color=white,
			label="baa.append('?')",
			style=filled,
			tracking="{('baa', (0, 0, 0))}",
			xlabel="modify baa [1, None] -> [1, None, '?']
"];
		5 -> 6;
	}
	subgraph "cluster_(0, 0, 1)" {
		graph [color=lightgrey,
			label="(0, 0, 1)",
			overlap=scale,
			style=filled
		];
		node [color=white,
			style=filled
		];
		8		 [color=white,
			label="x = len(bar)",
			style=filled,
			tracking="{('bar', (0, 0, 1))}",
			xlabel="appear x=3
"];
		9		 [color=white,
			label="return x",
			style=filled,
			tracking="{('x', (0, 0, 1))}"];
		8 -> 9;
	}
	subgraph "cluster_(0, 0)" {
		graph [color=lightgrey,
			label="(0, 0)",
			overlap=scale,
			style=filled
		];
		node [color=white,
			style=filled
		];
		2		 [color=white,
			label="ba = [foo]",
			style=filled,
			tracking="{('foo', (0, 0))}",
			xlabel="appear ba=[1]
"];
		3		 [color=white,
			label="func_c(ba)",
			style=filled,
			tracking="{('ba', (0, 0)), ('foo', (0, 0))}",
			xlabel="modify ba [1] -> [1, None, '?']
"];
		2 -> 3;
		4		 [color=white,
			label="foo = func_f(ba)",
			style=filled,
			tracking="{('ba', (0, 0)), ('foo', (0, 0))}",
			xlabel="modify foo 1 -> 3
"];
		3 -> 4;
		7		 [color=white,
			label="cyberbrain.register(foo)",
			style=filled,
			tracking="{('foo', (0, 0))}"];
		4 -> 7;
	}
	subgraph "cluster_(0,)" {
		graph [color=lightgrey,
			label="(0,)",
			overlap=scale,
			style=filled
		];
		node [color=white,
			style=filled
		];
		0		 [color=white,
			label="fo = 1",
			style=filled,
			tracking="set()",
			xlabel="appear fo=1
"];
		1		 [color=white,
			label="func_a(fo)",
			style=filled,
			tracking="{('fo', (0,))}"];
		0 -> 1;
	}
	6 -> 3;
	9 -> 4;
	3 -> 5;
	4 -> 8;
	1 -> 2;
}