global color=blue ellipse(312.8295557086d, -8.5780744149d, 32.62", 32.62", 0.00) # text={1} ellipse(312.8694305109d, -8.5239190173d, 32.62", 32.62", 0.00) # text={3} ellipse(312.6919791248d, -8.4479204303d, 32.62", 32.62", 0.00) # text={5} ellipse(312.7263126113d, -8.3845790353d, 32.62", 32.62", 0.00) # text={11} ellipse(312.7054984740d, -8.5847793400d, 32.62", 32.62", 0.00) # text={2} ellipse(312.7670792419d, -8.5603664170d, 32.62", 32.62", 0.00) # text={9} ellipse(312.8166591228d, -8.5912603494d, 32.62", 32.62", 0.00) # text={10} ellipse(312.8795125883d, -8.3451210464d, 32.62", 32.62", 0.00) # text={15} ellipse(312.6839967661d, -8.5375396284d, 32.62", 32.62", 0.00) # text={14} ellipse(312.8614975791d, -8.4398262526d, 32.62", 32.62", 0.00) # text={13} ellipse(312.6318245898d, -8.4468885726d, 32.62", 32.62", 0.00) # text={7} ellipse(312.8441359945d, -8.4380947254d, 32.62", 32.62", 0.00) # text={12} ellipse(312.7138175241d, -8.6095893076d, 32.62", 32.62", 0.00) # text={8} ellipse(312.5366327869d, -8.4647600396d, 32.62", 32.62", 0.00) # text={4} ellipse(312.7054414604d, -8.6480425872d, 32.62", 32.62", 0.00) # text={6}