graph G {
  graph [layout=neato, overlap=false, splines=true, outputorder=edgesfirst, bgcolor="white", pad=0.12, labelloc="t", label="Rule L: pi left, radical right", fontname="Helvetica"];
  node [fontname="Helvetica"];
  edge [fontname="Helvetica"];
  a1 [shape=circle, label="C", width=0.46, height=0.46, fixedsize=true, style="filled", fillcolor="white", color="#111827", penwidth=1.4];
  a2 [shape=circle, label="C", width=0.46, height=0.46, fixedsize=true, style="filled", fillcolor="white", color="#111827", penwidth=1.4];
  a3 [shape=circle, label="C", width=0.46, height=0.46, fixedsize=true, style="filled", fillcolor="white", color="#111827", penwidth=1.4];
  h1 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a1 -- h1 [style=dashed, color="#9ca3af", penwidth=1.0];
  h2 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a2 -- h2 [style=dashed, color="#9ca3af", penwidth=1.0];
  h3 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a1 -- h3 [style=dashed, color="#9ca3af", penwidth=1.0];
  h4 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a2 -- h4 [style=dashed, color="#9ca3af", penwidth=1.0];
  h5 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a2 -- h5 [style=dashed, color="#9ca3af", penwidth=1.0];
  h6 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a3 -- h6 [style=dashed, color="#9ca3af", penwidth=1.0];
  h7 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a3 -- h7 [style=dashed, color="#9ca3af", penwidth=1.0];
  h1 -- h2 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
  h3 -- h4 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
  h5 -- h6 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
}