dot -Tsvg  example1.gv > example1.svg
dot -Tsvg  example2a.gv > example2a.svg
dot -Tsvg  example2b.gv > example2b.svg
dot -Tsvg  example2c.gv > example2c.svg
dot -Tsvg  lattice.gv > lattice.svg