digraph G {
	node [style=filled, color=black, shape=circle, width=.6,
		fontname=Helvetica, fontweight=bold, fontcolor=white,
		fontsize=24, fixedsize=true];
	"75" [fillcolor=black, fontcolor=white];
	"75" -> "73";
	"73" [fillcolor=red, fontcolor=white];
	"73" -> "51";
	"51" [fillcolor=black, fontcolor=white];
	"51" -> "39";
	"39" [fillcolor=black, fontcolor=white];
	"39" -> "38";
	"38" [fillcolor=red, fontcolor=white];
	"38" -> "34";
	"34" [fillcolor=black, fontcolor=white];
	"34" -> "28";
	"28" [fillcolor=black, fontcolor=white];
	"28" -> "13";
	"13" [fillcolor=red, fontcolor=white];
	"13_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
	"13" -> "13_NIL_L";
	"13_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"13" -> "13_NIL_R";
	"28_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"28" -> "28_NIL_R";
	"34" -> "37";
	"37" [fillcolor=black, fontcolor=white];
	"37_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
	"37" -> "37_NIL_L";
	"37_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"37" -> "37_NIL_R";
	"38_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"38" -> "38_NIL_R";
	"39_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"39" -> "39_NIL_R";
	"51_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"51" -> "51_NIL_R";
	"73_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"73" -> "73_NIL_R";
	"75" -> "77";
	"77" [fillcolor=black, fontcolor=white];
	"77_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
	"77" -> "77_NIL_L";
	"77" -> "80";
	"80" [fillcolor=black, fontcolor=white];
	"80_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
	"80" -> "80_NIL_L";
	"80" -> "98";
	"98" [fillcolor=black, fontcolor=white];
	"98" -> "81";
	"81" [fillcolor=black, fontcolor=white];
	"81_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
	"81" -> "81_NIL_L";
	"81_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"81" -> "81_NIL_R";
	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
	"98" -> "98_NIL_R";
}