<?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">
<!-- Generated by graphviz version 2.38.0 (20140413.2041)
-->
<!-- Title: tree Pages: 1 -->
<svg width="644pt" height="332pt"
viewBox="0.00 0.00 644.00 332.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 328)">
<title>tree</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-328 640,-328 640,4 -4,4"/>
<!-- SPEC -->
<g id="node1" class="node"><title>SPEC</title>
<text text-anchor="middle" x="293" y="-302.3" font-family="Times,serif" font-size="14.00">SPEC</text>
</g>
<!-- DEF2 -->
<g id="node2" class="node"><title>DEF2</title>
<text text-anchor="middle" x="197" y="-230.3" font-family="Times,serif" font-size="14.00">DEF</text>
</g>
<!-- SPEC->DEF2 -->
<g id="edge1" class="edge"><title>SPEC->DEF2</title>
<path fill="none" stroke="black" d="M269.27,-287.697C257.063,-278.796 242.015,-267.823 228.816,-258.199"/>
<polygon fill="black" stroke="black" points="230.6,-255.168 220.457,-252.104 226.475,-260.824 230.6,-255.168"/>
</g>
<!-- DEF1 -->
<g id="node3" class="node"><title>DEF1</title>
<text text-anchor="middle" x="354" y="-230.3" font-family="Times,serif" font-size="14.00">DEF</text>
</g>
<!-- SPEC->DEF1 -->
<g id="edge2" class="edge"><title>SPEC->DEF1</title>
<path fill="none" stroke="black" d="M308.079,-287.697C315.392,-279.305 324.31,-269.07 332.335,-259.861"/>
<polygon fill="black" stroke="black" points="335.164,-261.943 339.095,-252.104 329.886,-257.344 335.164,-261.943"/>
</g>
<!-- ID2 -->
<g id="node7" class="node"><title>ID2</title>
<text text-anchor="middle" x="89" y="-158.3" font-family="Times,serif" font-size="14.00">insects</text>
</g>
<!-- DEF2->ID2 -->
<g id="edge6" class="edge"><title>DEF2->ID2</title>
<path fill="none" stroke="black" d="M170.58,-215.876C156.59,-206.808 139.224,-195.552 124.114,-185.759"/>
<polygon fill="black" stroke="black" points="125.817,-182.692 115.521,-180.19 122.009,-188.566 125.817,-182.692"/>
</g>
<!-- SET2 -->
<g id="node8" class="node"><title>SET2</title>
<text text-anchor="middle" x="161" y="-158.3" font-family="Times,serif" font-size="14.00">SET</text>
</g>
<!-- DEF2->SET2 -->
<g id="edge7" class="edge"><title>DEF2->SET2</title>
<path fill="none" stroke="black" d="M188.101,-215.697C184.003,-207.728 179.051,-198.1 174.507,-189.264"/>
<polygon fill="black" stroke="black" points="177.483,-187.396 169.797,-180.104 171.258,-190.598 177.483,-187.396"/>
</g>
<!-- SC2 -->
<g id="node9" class="node"><title>SC2</title>
<text text-anchor="middle" x="233" y="-158.3" font-family="Times,serif" font-size="14.00">;</text>
</g>
<!-- DEF2->SC2 -->
<g id="edge8" class="edge"><title>DEF2->SC2</title>
<path fill="none" stroke="black" d="M205.899,-215.697C209.997,-207.728 214.949,-198.1 219.493,-189.264"/>
<polygon fill="black" stroke="black" points="222.742,-190.598 224.203,-180.104 216.517,-187.396 222.742,-190.598"/>
</g>
<!-- ID1 -->
<g id="node4" class="node"><title>ID1</title>
<text text-anchor="middle" x="318" y="-158.3" font-family="Times,serif" font-size="14.00">cities</text>
</g>
<!-- DEF1->ID1 -->
<g id="edge3" class="edge"><title>DEF1->ID1</title>
<path fill="none" stroke="black" d="M345.101,-215.697C341.003,-207.728 336.051,-198.1 331.507,-189.264"/>
<polygon fill="black" stroke="black" points="334.483,-187.396 326.797,-180.104 328.258,-190.598 334.483,-187.396"/>
</g>
<!-- SET1 -->
<g id="node5" class="node"><title>SET1</title>
<text text-anchor="middle" x="390" y="-158.3" font-family="Times,serif" font-size="14.00">SET</text>
</g>
<!-- DEF1->SET1 -->
<g id="edge4" class="edge"><title>DEF1->SET1</title>
<path fill="none" stroke="black" d="M362.899,-215.697C366.997,-207.728 371.949,-198.1 376.493,-189.264"/>
<polygon fill="black" stroke="black" points="379.742,-190.598 381.203,-180.104 373.517,-187.396 379.742,-190.598"/>
</g>
<!-- SC1 -->
<g id="node6" class="node"><title>SC1</title>
<text text-anchor="middle" x="462" y="-158.3" font-family="Times,serif" font-size="14.00">;</text>
</g>
<!-- DEF1->SC1 -->
<g id="edge5" class="edge"><title>DEF1->SC1</title>
<path fill="none" stroke="black" d="M380.42,-215.876C394.41,-206.808 411.776,-195.552 426.886,-185.759"/>
<polygon fill="black" stroke="black" points="428.991,-188.566 435.479,-180.19 425.183,-182.692 428.991,-188.566"/>
</g>
<!-- OPEN1 -->
<g id="node10" class="node"><title>OPEN1</title>
<text text-anchor="middle" x="269" y="-86.3" font-family="Times,serif" font-size="14.00">{</text>
</g>
<!-- SET1->OPEN1 -->
<g id="edge9" class="edge"><title>SET1->OPEN1</title>
<path fill="none" stroke="black" d="M362.845,-145.291C345.72,-135.383 323.411,-122.477 304.841,-111.734"/>
<polygon fill="black" stroke="black" points="306.473,-108.635 296.064,-106.657 302.967,-114.694 306.473,-108.635"/>
</g>
<!-- ELEM1 -->
<g id="node11" class="node"><title>ELEM1</title>
<text text-anchor="middle" x="354" y="-86.3" font-family="Times,serif" font-size="14.00">ELEMENT</text>
</g>
<!-- SET1->ELEM1 -->
<g id="edge10" class="edge"><title>SET1->ELEM1</title>
<path fill="none" stroke="black" d="M381.101,-143.697C377.003,-135.728 372.051,-126.1 367.507,-117.264"/>
<polygon fill="black" stroke="black" points="370.483,-115.396 362.797,-108.104 364.258,-118.598 370.483,-115.396"/>
</g>
<!-- SC3 -->
<g id="node12" class="node"><title>SC3</title>
<text text-anchor="middle" x="439" y="-86.3" font-family="Times,serif" font-size="14.00">;</text>
</g>
<!-- SET1->SC3 -->
<g id="edge11" class="edge"><title>SET1->SC3</title>
<path fill="none" stroke="black" d="M402.112,-143.697C407.868,-135.474 414.862,-125.483 421.206,-116.421"/>
<polygon fill="black" stroke="black" points="424.16,-118.304 427.027,-108.104 418.425,-114.29 424.16,-118.304"/>
</g>
<!-- ELEM2 -->
<g id="node13" class="node"><title>ELEM2</title>
<text text-anchor="middle" x="524" y="-86.3" font-family="Times,serif" font-size="14.00">ELEMENT</text>
</g>
<!-- SET1->ELEM2 -->
<g id="edge12" class="edge"><title>SET1->ELEM2</title>
<path fill="none" stroke="black" d="M417.117,-146.834C435.77,-137.09 460.907,-123.959 482.117,-112.879"/>
<polygon fill="black" stroke="black" points="483.998,-115.845 491.241,-108.113 480.757,-109.641 483.998,-115.845"/>
</g>
<!-- CLOSE1 -->
<g id="node14" class="node"><title>CLOSE1</title>
<text text-anchor="middle" x="609" y="-86.3" font-family="Times,serif" font-size="14.00">}</text>
</g>
<!-- SET1->CLOSE1 -->
<g id="edge13" class="edge"><title>SET1->CLOSE1</title>
<path fill="none" stroke="black" d="M417.278,-147.425C420.189,-146.185 423.134,-145.016 426,-144 486.426,-122.579 507.613,-129.705 571.913,-107.995"/>
<polygon fill="black" stroke="black" points="573.431,-111.172 581.722,-104.575 571.127,-104.562 573.431,-111.172"/>
</g>
<!-- OPEN2 -->
<g id="node16" class="node"><title>OPEN2</title>
<text text-anchor="middle" x="27" y="-86.3" font-family="Times,serif" font-size="14.00">{</text>
</g>
<!-- SET2->OPEN2 -->
<g id="edge15" class="edge"><title>SET2->OPEN2</title>
<path fill="none" stroke="black" d="M133.883,-146.834C113.541,-136.208 85.4863,-121.553 63.2237,-109.923"/>
<polygon fill="black" stroke="black" points="64.5607,-106.672 54.0766,-105.144 61.3195,-112.877 64.5607,-106.672"/>
</g>
<!-- ELEM3 -->
<g id="node17" class="node"><title>ELEM3</title>
<text text-anchor="middle" x="112" y="-86.3" font-family="Times,serif" font-size="14.00">ELEMENT</text>
</g>
<!-- SET2->ELEM3 -->
<g id="edge16" class="edge"><title>SET2->ELEM3</title>
<path fill="none" stroke="black" d="M148.888,-143.697C143.132,-135.474 136.138,-125.483 129.794,-116.421"/>
<polygon fill="black" stroke="black" points="132.575,-114.29 123.973,-108.104 126.84,-118.304 132.575,-114.29"/>
</g>
<!-- CLOSE2 -->
<g id="node18" class="node"><title>CLOSE2</title>
<text text-anchor="middle" x="197" y="-86.3" font-family="Times,serif" font-size="14.00">}</text>
</g>
<!-- SET2->CLOSE2 -->
<g id="edge17" class="edge"><title>SET2->CLOSE2</title>
<path fill="none" stroke="black" d="M169.899,-143.697C173.997,-135.728 178.949,-126.1 183.493,-117.264"/>
<polygon fill="black" stroke="black" points="186.742,-118.598 188.203,-108.104 180.517,-115.396 186.742,-118.598"/>
</g>
<!-- ID3 -->
<g id="node15" class="node"><title>ID3</title>
<text text-anchor="middle" x="354" y="-14.3" font-family="Times,serif" font-size="14.00">andover</text>
</g>
<!-- ELEM1->ID3 -->
<g id="edge14" class="edge"><title>ELEM1->ID3</title>
<path fill="none" stroke="black" d="M354,-71.6966C354,-63.9827 354,-54.7125 354,-46.1124"/>
<polygon fill="black" stroke="black" points="357.5,-46.1043 354,-36.1043 350.5,-46.1044 357.5,-46.1043"/>
</g>
<!-- ID4 -->
<g id="node19" class="node"><title>ID4</title>
<text text-anchor="middle" x="524" y="-14.3" font-family="Times,serif" font-size="14.00">boston</text>
</g>
<!-- ELEM2->ID4 -->
<g id="edge18" class="edge"><title>ELEM2->ID4</title>
<path fill="none" stroke="black" d="M524,-71.6966C524,-63.9827 524,-54.7125 524,-46.1124"/>
<polygon fill="black" stroke="black" points="527.5,-46.1043 524,-36.1043 520.5,-46.1044 527.5,-46.1043"/>
</g>
<!-- ID5 -->
<g id="node20" class="node"><title>ID5</title>
<text text-anchor="middle" x="112" y="-14.3" font-family="Times,serif" font-size="14.00">fly</text>
</g>
<!-- ELEM3->ID5 -->
<g id="edge19" class="edge"><title>ELEM3->ID5</title>
<path fill="none" stroke="black" d="M112,-71.6966C112,-63.9827 112,-54.7125 112,-46.1124"/>
<polygon fill="black" stroke="black" points="115.5,-46.1043 112,-36.1043 108.5,-46.1044 115.5,-46.1043"/>
</g>
</g>
</svg>