<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="10000" height="10000" id="Complete graph K1">
  <circle r="250" cx="5000" cy="5000" style="fill:blue;stroke:black;stroke-width:70"/>
</svg>