digraph RBTree {
"140399805603280" [label="12"]
"140399805603280" -> "140399804142928" [color="red"]
"140399804142928" [color=red,label="5"]
L140399804142928 [label="",color=none]
140399804142928 -> L140399804142928
R140399804142928 [label="",color=none]
140399804142928 -> R140399804142928
R140399805603280 [label="",color=none]
140399805603280 -> R140399805603280
}