digraph RBTree {
"140399805910672" [label="9"]
"140399805910672" -> "140399804142928"
"140399804142928" [label="5"]
"140399804142928" -> "140399805700304" [color="red"]
"140399805700304" [color=red,label="2"]
L140399805700304 [label="",color=none]
140399805700304 -> L140399805700304
R140399805700304 [label="",color=none]
140399805700304 -> R140399805700304
R140399804142928 [label="",color=none]
140399804142928 -> R140399804142928
"140399805910672" -> "140399805605392"
"140399805605392" [label="15"]
"140399805605392" -> "140399805603280" [color="red"]
"140399805603280" [color=red,label="12"]
L140399805603280 [label="",color=none]
140399805603280 -> L140399805603280
R140399805603280 [label="",color=none]
140399805603280 -> R140399805603280
"140399805605392" -> "140399805700368" [color="red"]
"140399805700368" [color=red,label="18"]
L140399805700368 [label="",color=none]
140399805700368 -> L140399805700368
R140399805700368 [label="",color=none]
140399805700368 -> R140399805700368
}