graph G {
  graph [layout=neato, overlap=false, splines=true, outputorder=edgesfirst, bgcolor="white", pad=0.12, labelloc="t", label="allyl_anion / anion_right (w=0.5)", 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];
  a4 [shape=circle, label="H", width=0.46, height=0.46, fixedsize=true, style="filled", fillcolor="white", color="#111827", penwidth=1.4];
  a5 [shape=circle, label="H", width=0.46, height=0.46, fixedsize=true, style="filled", fillcolor="white", color="#111827", penwidth=1.4];
  a6 [shape=circle, label="H", width=0.46, height=0.46, fixedsize=true, style="filled", fillcolor="white", color="#111827", penwidth=1.4];
  a7 [shape=circle, label="H", width=0.46, height=0.46, fixedsize=true, style="filled", fillcolor="white", color="#111827", penwidth=1.4];
  a8 [shape=circle, label="H", 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];
  a1 -- h7 [style=dashed, color="#9ca3af", penwidth=1.0];
  h8 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a4 -- h8 [style=dashed, color="#9ca3af", penwidth=1.0];
  h9 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a1 -- h9 [style=dashed, color="#9ca3af", penwidth=1.0];
  h10 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a5 -- h10 [style=dashed, color="#9ca3af", penwidth=1.0];
  h11 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a2 -- h11 [style=dashed, color="#9ca3af", penwidth=1.0];
  h12 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a6 -- h12 [style=dashed, color="#9ca3af", penwidth=1.0];
  h13 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a3 -- h13 [style=dashed, color="#9ca3af", penwidth=1.0];
  h14 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a7 -- h14 [style=dashed, color="#9ca3af", penwidth=1.0];
  h15 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a3 -- h15 [style=dashed, color="#9ca3af", penwidth=1.0];
  h16 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a8 -- h16 [style=dashed, color="#9ca3af", penwidth=1.0];
  h17 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a3 -- h17 [style=dashed, color="#9ca3af", penwidth=1.0];
  h18 [shape=circle, label="", xlabel="", width=0.10, height=0.10, fixedsize=true, style="filled", fillcolor="#111827", color="#111827", fontcolor="#6b7280", fontsize=9];
  a3 -- h18 [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"];
  h7 -- h8 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
  h9 -- h10 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
  h11 -- h12 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
  h13 -- h14 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
  h15 -- h16 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
  h17 -- h18 [color="#111827", penwidth=1.8, label="", fontsize=8, fontcolor="#6b7280"];
}