digraph RBTree {
"139660435791312" [color=red,label="12"]
L139660435791312 [label="",color=none]
139660435791312 -> L139660435791312
R139660435791312 [label="",color=none]
139660435791312 -> R139660435791312
}