graph G {
  graph [overlap=false,splines=true];
  node [shape=circle,fontname="Helvetica",style=filled,fillcolor="white"];
  edge [fontname="Helvetica",penwidth=1.0];
  a1 [label="C"];
  a2 [label="C"];
  a3 [label="C"];
  a4 [label="Cl"];
  a5 [label="H"];
  a6 [label="H"];
  a7 [label="H"];
  a8 [label="H"];
  a9 [label="C"];
  a10 [label="H"];
  a11 [label="H"];
  a12 [label="H"];
  a1 -- a2 [label=""];
  a1 -- a2 [label=""];
  a2 -- a3 [label=""];
  a1 -- a4 [label=""];
  a1 -- a5 [label=""];
  a2 -- a6 [label=""];
  a3 -- a7 [label=""];
  a3 -- a8 [label=""];
  a9 -- a10 [label=""];
  a9 -- a11 [label=""];
  a9 -- a12 [label=""];
  r1 [shape=point,width=0.08,label=""];
  a3 -- r1 [label="·",color="red"];
  r2 [shape=point,width=0.08,label=""];
  a9 -- r2 [label="·",color="red"];
}