Digraph.gv

digraph {
	node [fontsize=9 height=0.2 shape=circle width=0.2]
	-1 [fillcolor=lightgray shape=box style=filled]
	-2 [fillcolor=lightgray shape=box style=filled]
	-3 [fillcolor=lightgray shape=box style=filled]
	-4 [fillcolor=lightgray shape=box style=filled]
	-5 [fillcolor=lightgray shape=box style=filled]
	-6 [fillcolor=lightgray shape=box style=filled]
	-7 [fillcolor=lightgray shape=box style=filled]
	-8 [fillcolor=lightgray shape=box style=filled]
	-9 [fillcolor=lightgray shape=box style=filled]
	-10 [fillcolor=lightgray shape=box style=filled]
	0 [fillcolor=lightblue style=filled]
	67 [fillcolor=white style=filled]
	68 [fillcolor=white style=filled]
	292 [fillcolor=white style=filled]
	70 [fillcolor=white style=filled]
	149 [fillcolor=white style=filled]
	251 [fillcolor=white style=filled]
	-2 -> 0 [color=red penwidth=0.9518184612251194 style=solid]
	-9 -> 149 [color=red penwidth=0.41140235289722416 style=dotted]
	-1 -> 70 [color=green penwidth=0.13705296336836503 style=solid]
	251 -> 67 [color=green penwidth=0.2743311871972588 style=solid]
	-10 -> 149 [color=green penwidth=0.18687462550398215 style=solid]
	-5 -> 292 [color=green penwidth=0.30000000000000004 style=solid]
	292 -> 251 [color=red penwidth=0.10905769243096002 style=solid]
	-8 -> 149 [color=red penwidth=0.10713801528248093 style=solid]
}