3 fontname="Inconsolata, Consolas"
9 node [fontname="Inconsolata, Consolas", fontsize=10, penwidth=0.5]
10 edge [fontname="Inconsolata, Consolas", fontsize=10, arrowhead=normal]
19 node [shape=Mrecord, style=filled, colorscheme=spectral7]
23 b1 [label="{b:number|456}", fillcolor=6]
24 a1 [label="{a:number|123}", fillcolor=6]
27 a1 -> b1 [style="dashed", label="Move", dir=back]
37 node [shape=Mrecord, style=filled, colorscheme=spectral7]
41 b2 [label="{b:null|}", fillcolor=1]
42 a2 [label="{a:number|456}", fillcolor=6]
44 a2 -> b2 [style=invis, dir=back]
46 b1 -> b2 [style=invis]