<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- hand-crafted: Alexander Drichel, Stefan Birkner -->
<svg xmlns="http://www.w3.org/2000/svg"
     xmlns:xlink="http://www.w3.org/1999/xlink"
     width="618"
     height="518">
	<defs>
		<symbol id="candidate_node">
			<circle cx="100" cy="100" r="13.5" style="fill:#375ad6"/>
		</symbol>
		<symbol id="next_node_in_tree">
			<circle cx="100" cy="100" r="13.5" style="fill:#64bfff"/>
		</symbol>
		<symbol id="node_in_tree">
			<circle cx="100" cy="100" r="13.5" style="fill:#00c000"/>
		</symbol>
		<symbol id="unconsidered_node">
			<circle cx="100" cy="100" r="13.5" style="fill:#000000"/>
		</symbol>
	</defs>

	<g id="edges" style="fill-opacity:0.75;fill-rule:evenodd;stroke-width:4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;">
	    <path id="edge_ad" d="M 80,288 L 65,40" style="stroke:#64bfff"/><!-- next edge in tree -->
		<g id="candidate_edges" style="stroke:#375ad6">
			<path id="edge_db" d="M 303,128 L 80,290"/>
			<path id="edge_de" d="M 80,288 L 490,260"/>
			<path id="edge_df" d="M 80,288 L 305,362"/>
		</g>
		<g id="unconsidered_edges" style="stroke:#000000">
			<path id="edge_ab" d="M 65,40 L 303,128"/>
			<path id="edge_bc" d="M 303,128 L 558,60"/>
			<path id="edge_be" d="M 303,128 L 490,260"/>
			<path id="edge_ce" d="M 558,60 L 490,260"/>
			<path id="edge_ef" d="M 305,362 L 490,260"/>
			<path id="edge_eg" d="M 549,426 L 490,260"/>
			<path id="edge_fg" d="M 305,362 L 549,426"/>
		</g>
	</g> 

	<g id="node_names" style="font-size:40px;fill:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;font-family:Bitstream Vera Sans">
	    <text x="15" y="55">A</text>
	    <text x="290" y="101">B</text>
	    <text x="584" y="69">C</text>
	    <text x="25" y="305">D</text>
	    <text x="521" y="274">E</text>
	    <text x="275" y="414">F</text>
	    <text x="559" y="473">G</text>
	</g>
		
	<!-- nodes -->
	<!-- A --><use x="-35" y="-60" xlink:href="#next_node_in_tree"/>
	<!-- B --><use x="203" y="28" xlink:href="#candidate_node"/>
	<!-- C --><use x="458" y="-40" xlink:href="#unconsidered_node"/>
	<!-- D --><use x="-20" y="188" xlink:href="#node_in_tree"/>
	<!-- E --><use x="390" y="160" xlink:href="#candidate_node"/>
	<!-- F --><use x="205" y="262" xlink:href="#candidate_node"/>
	<!-- G --><use x="449" y="326" xlink:href="#unconsidered_node"/>
  
	<g id="edge_weights" style="font-size:27px;fill:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;font-family:Bitstream Vera Sans">
	    <text x="162" y="65">7</text>
	    <text x="41" y="173">5</text>
	    <text x="172" y="191">9</text>
	    <text x="294" y="260">15</text>
	    <text x="417"  y="80">8</text>
	    <text x="400"  y="187">7</text>
	    <text x="404" y="334">8</text>
	    <text x="173" y="356">6</text>
	    <text x="411" y="422">11</text>
	    <text x="531"  y="346">9</text>
	    <text x="538"  y="165">5</text>
	</g>
</svg>
