digraph G {
	graph [ratio=.48];
	node [style=filled, color=black, shape=circle, width=.6 
		fontname=Helvetica, fontweight=bold, fontcolor=white, 
		fontsize=24, fixedsize=true];
	"56" [fillcolor=red, fontcolor=white];
	"56_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
	"56" -> "56_NIL_L";
	"56_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"56" -> "56_NIL_R";
}