<?xml version="1.0" encoding="ISO-8859-1"?>
<uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="a1" name="root model">
  <packagedElement xmi:type="uml:Model" xmi:id="a2" name="GPL-AHEAD">
    <packagedElement xmi:type="uml:Package" xmi:id="a3" name="(default package)">
      <packagedElement xmi:type="uml:Interface" xmi:id="a4" name="NeighborIfc" clientDependency="a855"/>
      <packagedElement xmi:type="uml:Class" xmi:id="a5" name="EdgeIter">
        <ownedOperation xmi:type="uml:Operation" xmi:id="a6" name="hasNext" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a7" visibility="public" type="a905" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a8" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a9"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a10" name="next" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a11" visibility="public" type="a41" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a12" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a13"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="a14" name="EdgeIfc$$Base">
        <ownedOperation xmi:type="uml:Operation" xmi:id="a15" name="getStart" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a16" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a17" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a18"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a19" name="getEnd" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a20" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a21" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a22"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a23" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a24" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a25" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a26"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a27" name="getOtherVertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a28" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a29" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a30"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a31" name="vertex" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a32" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a33"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a34" name="adjustAdorns" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a35" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a36" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a37"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a38" name="the_edge" visibility="public" type="a41">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a39" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a40"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="a41" name="EdgeIfc">
        <generalization xmi:type="uml:Generalization" xmi:id="a42" general="a14"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a43" name="setWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a44" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a45" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a46"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a47" name="weight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a48" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a49"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a50" name="getWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a51" visibility="public" type="a901" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a52" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a53"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a54" name="VertexIter" clientDependency="a856">
        <ownedAttribute xmi:type="uml:Property" xmi:id="a55" name="iter" visibility="public" type="a991" association="a880">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a56" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a57"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a58" name="VertexIter" visibility="private"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a59" name="VertexIter" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a60" name="g" visibility="public" type="a494">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a61" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a62"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a63" name="next" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a64" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a65" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a66"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a67" name="hasNext" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a68" visibility="public" type="a905" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a69" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a70"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a71" name="Vertex$$Base" clientDependency="a857 a858 a859 a860 a861">
        <ownedAttribute xmi:type="uml:Property" xmi:id="a72" name="name" visibility="public" type="a1111">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a73" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a74"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a75" name="assignName" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a76" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a77" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a78"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a79" name="name" visibility="public" type="a1111">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a80" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a81"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a82" name="getName" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a83" visibility="public" type="a1111" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a84" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a85"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a86" name="Vertex$$UndirectedGnR">
        <generalization xmi:type="uml:Generalization" xmi:id="a87" general="a71"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a88" name="adjacentNeighbors" visibility="public" type="a914" association="a882">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a89" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a90"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a91" name="getNeighborsObj" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a92" visibility="public" type="a914" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a93" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a94"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a95" name="getNeighbors" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a96" visibility="public" type="a54" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a97" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a98"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a99" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a100" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a101" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a102"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a103" name="addEdge" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a104" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a105" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a106"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a107" name="n" visibility="public" type="a660">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a108" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a109"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a110" name="adjustAdorns" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a111" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a112" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a113"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a114" name="sourceNeighbor" visibility="public" type="a660">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a115" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a116"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a117" name="getEdges" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a118" visibility="public" type="a5" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a119" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a120"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a121" name="Vertex$$WeightedGnR">
        <generalization xmi:type="uml:Generalization" xmi:id="a122" general="a86"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a123" name="addWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a124" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a125" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a126"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a127" name="end" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a128" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a129"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a130" name="theWeight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a131" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a132"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a133" name="adjustAdorns" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a134" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a135" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a136"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a137" name="sourceNeighbor" visibility="public" type="a660">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a138" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a139"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a140" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a141" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a142" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a143"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a144" name="Vertex$$SearchCommon">
        <generalization xmi:type="uml:Generalization" xmi:id="a145" general="a121"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a146" name="visited" visibility="public" type="a905">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a147" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a148"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a149" name="init_vertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a150" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a151" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a152"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a153" name="w" visibility="public" type="a566">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a154" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a155"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a156" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a157" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a158" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a159"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a160" name="Vertex$$DFS">
        <generalization xmi:type="uml:Generalization" xmi:id="a161" general="a144"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a162" name="nodeSearch" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a163" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a164" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a165"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a166" name="w" visibility="public" type="a566">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a167" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a168"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a169" name="Vertex$$Number">
        <generalization xmi:type="uml:Generalization" xmi:id="a170" general="a160"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a171" name="VertexNumber" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a172" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a173"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a174" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a175" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a176" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a177"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a178" name="Vertex$$Connected">
        <generalization xmi:type="uml:Generalization" xmi:id="a179" general="a169"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a180" name="componentNumber" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a181" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a182"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a183" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a184" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a185" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a186"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a187" name="Vertex$$Cycle">
        <generalization xmi:type="uml:Generalization" xmi:id="a188" general="a178"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a189" name="VertexCycle" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a190" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a191"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a192" name="VertexColor" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a193" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a194"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a195" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a196" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a197" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a198"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a199" name="Vertex$$MSTPrimPrepGnR">
        <generalization xmi:type="uml:Generalization" xmi:id="a200" general="a187"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a201" name="edges" visibility="public" type="a914" association="a884">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a202" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a203"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a204" name="getEdges" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a205" visibility="public" type="a5" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a206" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a207"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a208" name="Vertex">
        <generalization xmi:type="uml:Generalization" xmi:id="a209" general="a199"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a210" name="pred" visibility="public" type="a1111">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a211" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a212"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a213" name="key" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a214" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a215"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a216" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a217" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a218" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a219"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a220" name="Vertex" visibility="public"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a221" name="Graph$$Base" clientDependency="a862 a863 a864 a865 a866 a867 a868 a869 a870 a871">
        <ownedAttribute xmi:type="uml:Property" xmi:id="a222" name="vertices" visibility="public" type="a914" association="a886">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a223" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a224"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a225" name="Graph$$Base" visibility="private"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a226" name="getVertices" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a227" visibility="public" type="a54" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a228" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a229"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a230" name="sortVertices" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a231" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a232" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a233"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a234" name="c" visibility="public" type="a1015">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a235" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a236"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a237" name="addEdge" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a238" visibility="public" type="a41" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a239" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a240"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a241" name="v1" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a242" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a243"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a244" name="v2" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a245" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a246"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a247" name="findsVertex" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a248" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a249" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a250"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a251" name="name" visibility="public" type="a1111">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a252" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a253"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a254" name="display" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a255" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a256" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a257"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a258" name="addVertex" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a259" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a260" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a261"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a262" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a263" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a264"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a265" name="Graph$$Benchmark">
        <generalization xmi:type="uml:Generalization" xmi:id="a266" general="a221"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a267" name="inFile" visibility="public" type="a1170" association="a888">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a268" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a269"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a270" name="ch" visibility="public" isStatic="true" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a271" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a272"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a273" name="last" visibility="public" isStatic="true" type="a902">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a274" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a275"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a276" name="current" visibility="public" isStatic="true" type="a902">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a277" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a278"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a279" name="accum" visibility="public" isStatic="true" type="a902">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a280" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a281"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a282" name="runBenchmark" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a283" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a284" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a285"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a286" name="FileName" visibility="public" type="a1111">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a287" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a288"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a289" visibility="public" type="a1175">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a290" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a291"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a292" name="stopBenchmark" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a293" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a294" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a295"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a296" visibility="public" type="a1175">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a297" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a298"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a299" name="readNumber" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a300" visibility="public" type="a901" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a301" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a302"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a303" visibility="public" type="a1175">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a304" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a305"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a306" name="startProfile" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a307" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a308" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a309"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a310" name="stopProfile" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a311" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a312" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a313"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a314" name="resumeProfile" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a315" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a316" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a317"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a318" name="endProfile" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a319" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a320" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a321"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a322" name="Graph$$Benchmark" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a323" name="Graph$$Prog">
        <generalization xmi:type="uml:Generalization" xmi:id="a324" general="a265"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a325" name="run" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a326" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a327" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a328"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a329" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a330" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a331"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a332" name="Graph$$Prog" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a333" name="Graph$$UndirectedCommon">
        <generalization xmi:type="uml:Generalization" xmi:id="a334" general="a323"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a335" name="isDirected" visibility="public" isStatic="true" type="a905">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a336" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a337"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a338" name="verticesMap" visibility="public" type="a1037" association="a890">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a339" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a340"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a341" name="addVertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a342" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a343" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a344"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a345" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a346" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a347"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a348" name="findsVertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a349" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a350" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a351"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a352" name="theName" visibility="public" type="a1111">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a353" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a354"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a355" name="Graph$$UndirectedCommon" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a356" name="Graph$$UndirectedGnR">
        <generalization xmi:type="uml:Generalization" xmi:id="a357" general="a333"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a358" name="addEdge" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a359" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a360" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a361"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a362" name="start" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a363" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a364"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a365" name="theNeighbor" visibility="public" type="a660">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a366" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a367"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a368" name="findsEdge" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a369" visibility="public" type="a41" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a370" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a371"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a372" name="theSource" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a373" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a374"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a375" name="theTarget" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a376" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a377"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a378" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a379" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a380" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a381"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a382" name="addEdge" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a383" visibility="public" type="a41" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a384" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a385"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a386" name="start" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a387" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a388"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a389" name="end" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a390" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a391"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a392" name="Graph$$UndirectedGnR" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a393" name="Graph$$WeightedGnR">
        <generalization xmi:type="uml:Generalization" xmi:id="a394" general="a356"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a395" name="addAnEdge" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a396" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a397" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a398"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a399" name="start" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a400" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a401"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a402" name="end" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a403" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a404"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a405" name="weight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a406" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a407"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a408" name="addEdge" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a409" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a410" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a411"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a412" name="start" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a413" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a414"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a415" name="theNeighbor" visibility="public" type="a660">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a416" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a417"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a418" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a419" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a420" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a421"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a422" name="Graph$$WeightedGnR" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a423" name="Graph$$SearchCommon">
        <generalization xmi:type="uml:Generalization" xmi:id="a424" general="a393"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a425" name="GraphSearch" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a426" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a427" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a428"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a429" name="w" visibility="public" type="a566">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a430" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a431"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a432" name="Graph$$SearchCommon" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a433" name="Graph$$Number">
        <generalization xmi:type="uml:Generalization" xmi:id="a434" general="a423"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a435" name="NumberVertices" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a436" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a437" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a438"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a439" name="Graph$$Number" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a440" name="Graph$$dProgdNumber">
        <generalization xmi:type="uml:Generalization" xmi:id="a441" general="a433"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a442" name="run" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a443" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a444" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a445"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a446" name="s" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a447" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a448"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a449" name="Graph$$dProgdNumber" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a450" name="Graph$$Connected">
        <generalization xmi:type="uml:Generalization" xmi:id="a451" general="a440"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a452" name="ConnectedComponents" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a453" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a454" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a455"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a456" name="Graph$$Connected" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a457" name="Graph$$dProgdConnected">
        <generalization xmi:type="uml:Generalization" xmi:id="a458" general="a450"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a459" name="run" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a460" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a461" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a462"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a463" name="s" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a464" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a465"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a466" name="Graph$$dProgdConnected" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a467" name="Graph$$Cycle">
        <generalization xmi:type="uml:Generalization" xmi:id="a468" general="a457"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a469" name="CycleCheck" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a470" visibility="public" type="a905" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a471" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a472"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a473" name="Graph$$Cycle" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a474" name="Graph$$dProgdCycle">
        <generalization xmi:type="uml:Generalization" xmi:id="a475" general="a467"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a476" name="run" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a477" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a478" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a479"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a480" name="s" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a481" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a482"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a483" name="Graph$$dProgdCycle" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a484" name="Graph$$MSTPrim">
        <generalization xmi:type="uml:Generalization" xmi:id="a485" general="a474"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a486" name="Prim" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a487" visibility="public" type="a494" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a488" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a489"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a490" name="r" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a491" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a492"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a493" name="Graph$$MSTPrim" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a494" name="Graph">
        <generalization xmi:type="uml:Generalization" xmi:id="a495" general="a484"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a496" name="run" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a497" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a498" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a499"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a500" name="s" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a501" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a502"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a503" name="Graph" visibility="private"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a504" name="Main$$Prog" clientDependency="a872">
        <ownedAttribute xmi:type="uml:Property" xmi:id="a505" name="V" visibility="public" isStatic="true" type="a208" association="a892">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a506" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a507"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a508" name="startVertices" visibility="public" isStatic="true" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a509" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a510"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a511" name="endVertices" visibility="public" isStatic="true" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a512" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a513"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a514" name="main" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a515" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a516" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a517"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a518" name="args" visibility="public" type="a1111">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a519" value="*"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a520"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a521" name="addEdge" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a522" visibility="public" type="a41" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a523" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a524"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a525" name="g" visibility="public" type="a494">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a526" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a527"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a528" name="n" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a529" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a530"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a531" name="readWeights" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a532" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a533" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a534"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a535" name="g" visibility="public" type="a494">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a536" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a537"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a538" name="num_edges" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a539" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a540"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a541" name="Main">
        <generalization xmi:type="uml:Generalization" xmi:id="a542" general="a504"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a543" name="weights" visibility="public" isStatic="true" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a544" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a545"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a546" name="readWeights" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a547" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a548" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a549"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a550" name="g" visibility="public" type="a494">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a551" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a552"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a553" name="num_edges" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a554" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a555"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a556" name="addEdge" visibility="private">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a557" visibility="public" type="a41" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a558" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a559"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a560" name="g" visibility="public" type="a494">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a561" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a562"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a563" name="n" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a564" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a565"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a566" name="WorkSpace" clientDependency="a873">
        <ownedOperation xmi:type="uml:Operation" xmi:id="a567" name="init_vertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a568" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a569" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a570"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a571" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a572" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a573"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a574" name="preVisitAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a575" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a576" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a577"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a578" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a579" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a580"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a581" name="postVisitAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a582" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a583" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a584"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a585" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a586" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a587"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a588" name="nextRegionAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a589" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a590" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a591"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a592" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a593" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a594"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a595" name="checkNeighborAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a596" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a597" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a598"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a599" name="vsource" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a600" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a601"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a602" name="vtarget" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a603" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a604"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a605" name="Neighbor$$UndirectedGnR" clientDependency="a609 a610 a874">
        <ownedAttribute xmi:type="uml:Property" xmi:id="a606" name="neighbor" visibility="public" type="a208" association="a894">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a607" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a608"/>
        </ownedAttribute>
        <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a609" supplier="a41" client="a605" contract="a41"/>
        <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a610" supplier="a4" client="a605" contract="a4"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a611" name="Neighbor$$UndirectedGnR" visibility="public"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a612" name="Neighbor$$UndirectedGnR" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a613" name="theNeighbor" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a614" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a615"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a616" name="setWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a617" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a618" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a619"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a620" name="weight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a621" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a622"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a623" name="getWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a624" visibility="public" type="a901" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a625" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a626"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a627" name="NeighborConstructor" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a628" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a629" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a630"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a631" name="theNeighbor" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a632" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a633"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a634" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a635" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a636" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a637"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a638" name="getStart" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a639" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a640" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a641"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a642" name="getEnd" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a643" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a644" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a645"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a646" name="getOtherVertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a647" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a648" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a649"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a650" name="vertex" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a651" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a652"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a653" name="adjustAdorns" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a654" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a655" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a656"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a657" name="the_edge" visibility="public" type="a41">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a658" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a659"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a660" name="Neighbor">
        <generalization xmi:type="uml:Generalization" xmi:id="a661" general="a605"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a662" name="weight" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a663" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a664"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a665" name="Neighbor" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a666" name="theNeighbor" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a667" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a668"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a669" name="theWeight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a670" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a671"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a672" name="NeighborConstructor" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a673" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a674" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a675"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a676" name="theNeighbor" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a677" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a678"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a679" name="theWeight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a680" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a681"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a682" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a683" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a684" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a685"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a686" name="setWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a687" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a688" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a689"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a690" name="weight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a691" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a692"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a693" name="getWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a694" visibility="public" type="a901" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a695" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a696"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a697" name="Neighbor" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a698" name="theNeighbor" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a699" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a700"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a701" name="Neighbor" visibility="public"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a702" name="CycleWorkSpace" clientDependency="a875">
        <generalization xmi:type="uml:Generalization" xmi:id="a703" general="a566"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a704" name="AnyCycles" visibility="public" type="a905">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a705" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a706"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a707" name="counter" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a708" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a709"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a710" name="isDirected" visibility="public" type="a905">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a711" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a712"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a713" name="WHITE" visibility="public" isStatic="true" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a714" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a715"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a716" name="GRAY" visibility="public" isStatic="true" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a717" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a718"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a719" name="BLACK" visibility="public" isStatic="true" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a720" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a721"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a722" name="CycleWorkSpace" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a723" name="UnDir" visibility="public" type="a905">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a724" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a725"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a726" name="init_vertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a727" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a728" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a729"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a730" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a731" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a732"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a733" name="preVisitAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a734" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a735" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a736"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a737" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a738" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a739"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a740" name="postVisitAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a741" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a742" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a743"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a744" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a745" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a746"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a747" name="checkNeighborAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a748" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a749" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a750"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a751" name="vsource" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a752" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a753"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a754" name="vtarget" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a755" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a756"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a757" name="Edge" clientDependency="a767 a876 a877 a878 a879">
        <ownedAttribute xmi:type="uml:Property" xmi:id="a758" name="start" visibility="public" type="a208" association="a896">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a759" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a760"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a761" name="end" visibility="public" type="a208" association="a898">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a762" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a763"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a764" name="weight" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a765" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a766"/>
        </ownedAttribute>
        <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a767" supplier="a41" client="a757" contract="a41"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a768" name="Edge" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a769" name="the_start" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a770" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a771"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a772" name="the_end" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a773" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a774"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a775" name="the_weight" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a776" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a777"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a778" name="getWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a779" visibility="public" type="a901" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a780" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a781"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a782" name="getStart" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a783" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a784" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a785"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a786" name="getEnd" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a787" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a788" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a789"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a790" name="getOtherVertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a791" visibility="public" type="a208" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a792" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a793"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a794" name="vertex" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a795" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a796"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a797" name="display" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a798" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a799" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a800"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a801" name="adjustAdorns" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a802" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a803" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a804"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a805" name="the_edge" visibility="public" type="a41">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a806" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a807"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a808" name="setWeight" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a809" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a810" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a811"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a812" name="i" visibility="public" type="a901">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a813" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a814"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a815" name="RegionWorkSpace">
        <generalization xmi:type="uml:Generalization" xmi:id="a816" general="a566"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a817" name="counter" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a818" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a819"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a820" name="RegionWorkSpace" visibility="public"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a821" name="init_vertex" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a822" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a823" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a824"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a825" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a826" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a827"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a828" name="postVisitAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a829" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a830" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a831"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a832" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a833" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a834"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a835" name="nextRegionAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a836" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a837" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a838"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a839" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a840" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a841"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="a842" name="NumberWorkSpace">
        <generalization xmi:type="uml:Generalization" xmi:id="a843" general="a566"/>
        <ownedAttribute xmi:type="uml:Property" xmi:id="a844" name="vertexCounter" visibility="public" type="a901">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a845" value="1"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a846"/>
        </ownedAttribute>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a847" name="NumberWorkSpace" visibility="public"/>
        <ownedOperation xmi:type="uml:Operation" xmi:id="a848" name="preVisitAction" visibility="public">
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a849" visibility="public" type="a906" direction="return">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a850" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a851"/>
          </ownedParameter>
          <ownedParameter xmi:type="uml:Parameter" xmi:id="a852" name="v" visibility="public" type="a208">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a853" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a854"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a855" supplier="a914" client="a4"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a856" supplier="a991" client="a54"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a857" supplier="a914" client="a71"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a858" supplier="a991" client="a71"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a859" supplier="a1092" client="a71"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a860" supplier="a997" client="a71"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a861" supplier="a1015" client="a71"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a862" supplier="a1015" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a863" supplier="a997" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a864" supplier="a914" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a865" supplier="a1148" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a866" supplier="a991" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a867" supplier="a1019" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a868" supplier="a1037" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a869" supplier="a1092" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a870" supplier="a1054" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a871" supplier="a1071" client="a221"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a872" supplier="a1148" client="a504"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a873" supplier="a914" client="a566"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a874" supplier="a914" client="a605"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a875" supplier="a1092" client="a702"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a876" supplier="a1092" client="a757"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a877" supplier="a914" client="a757"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a878" supplier="a997" client="a757"/>
      <packagedElement xmi:type="uml:Dependency" xmi:id="a879" supplier="a1015" client="a757"/>
      <packagedElement xmi:type="uml:Association" xmi:id="a880" memberEnd="a55 a881">
        <ownedEnd xmi:type="uml:Property" xmi:id="a881" type="a54" association="a880"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a882" memberEnd="a88 a883">
        <ownedEnd xmi:type="uml:Property" xmi:id="a883" type="a86" association="a882"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a884" memberEnd="a201 a885">
        <ownedEnd xmi:type="uml:Property" xmi:id="a885" type="a199" association="a884"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a886" memberEnd="a222 a887">
        <ownedEnd xmi:type="uml:Property" xmi:id="a887" type="a221" association="a886"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a888" memberEnd="a267 a889">
        <ownedEnd xmi:type="uml:Property" xmi:id="a889" type="a265" association="a888"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a890" memberEnd="a338 a891">
        <ownedEnd xmi:type="uml:Property" xmi:id="a891" type="a333" association="a890"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a892" memberEnd="a505 a893">
        <ownedEnd xmi:type="uml:Property" xmi:id="a893" type="a504" association="a892"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a894" memberEnd="a606 a895">
        <ownedEnd xmi:type="uml:Property" xmi:id="a895" type="a605" association="a894"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a896" memberEnd="a758 a897">
        <ownedEnd xmi:type="uml:Property" xmi:id="a897" type="a757" association="a896"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Association" xmi:id="a898" memberEnd="a761 a899">
        <ownedEnd xmi:type="uml:Property" xmi:id="a899" type="a757" association="a898"/>
      </packagedElement>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="a900" name="Common Java datatypes">
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a901" name="int"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a902" name="long"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a903" name="float"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a904" name="double"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a905" name="boolean"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a906" name="void"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a907" name="char"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a908" name="short"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a909" name="byte"/>
      <packagedElement xmi:type="uml:PrimitiveType" xmi:id="a910" name="string"/>
    </packagedElement>
  </packagedElement>
  <packagedElement xmi:type="uml:Model" xmi:id="a911" name="externals">
    <packagedElement xmi:type="uml:Package" xmi:id="a912" name="java">
      <packagedElement xmi:type="uml:Package" xmi:id="a913" name="util">
        <packagedElement xmi:type="uml:Class" xmi:id="a914" name="LinkedList" clientDependency="a919 a920 a921 a922">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a915" name="LinkedList&lt;E>" parameter="a916">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a916" parameteredElement="a917">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a917" name="E" templateParameter="a916"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a918" general="a954"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a919" supplier="a976" client="a914" contract="a976"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a920" supplier="a981" client="a914" contract="a981"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a921" supplier="a1091" client="a914" contract="a1091"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a922" supplier="a1149" client="a914" contract="a1149"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a923" name="LinkedList" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a924" name="add" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a925" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a926" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a927"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a928" name="removeLast" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a929" name="getLast" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a930" name="size" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a931" name="removeFirst" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a932" name="get" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a933" name="arg0" visibility="public" type="a901">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a934" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a935"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a936" name="set" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a937" name="arg0" visibility="public" type="a901">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a938" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a939"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a940" name="arg1" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a941" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a942"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a943" name="remove" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a944" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a945" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a946"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a947" name="add" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a948" name="arg0" visibility="public" type="a901">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a949" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a950"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a951" name="arg1" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a952" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a953"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a954" name="AbstractSequentialList">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a955" name="AbstractSequentialList&lt;E>" parameter="a956">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a956" parameteredElement="a957">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a957" name="E" templateParameter="a956"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a958" general="a960"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a959" name="iterator" visibility="public"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a960" name="AbstractList" clientDependency="a965">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a961" name="AbstractList&lt;E>" parameter="a962">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a962" parameteredElement="a963">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a963" name="E" templateParameter="a962"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a964" general="a966"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a965" supplier="a976" client="a960" contract="a976"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a966" name="AbstractCollection" clientDependency="a970">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a967" name="AbstractCollection&lt;E>" parameter="a968">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a968" parameteredElement="a969">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a969" name="E" templateParameter="a968"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a970" supplier="a971" client="a966" contract="a971"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a971" name="Collection">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a972" name="Collection&lt;E>" parameter="a973">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a973" parameteredElement="a974">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a974" name="E" templateParameter="a973"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a975" general="a1087"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a976" name="List">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a977" name="List&lt;E>" parameter="a978">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a978" parameteredElement="a979">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a979" name="E" templateParameter="a978"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a980" general="a971"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a981" name="Deque">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a982" name="Deque&lt;E>" parameter="a983">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a983" parameteredElement="a984">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a984" name="E" templateParameter="a983"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a985" general="a986"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a986" name="Queue">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a987" name="Queue&lt;E>" parameter="a988">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a988" parameteredElement="a989">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a989" name="E" templateParameter="a988"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a990" general="a971"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a991" name="Iterator">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a992" name="Iterator&lt;E>" parameter="a993">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a993" parameteredElement="a994">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a994" name="E" templateParameter="a993"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a995" name="next" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a996" name="hasNext" visibility="public"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a997" name="Collections">
          <ownedOperation xmi:type="uml:Operation" xmi:id="a998" name="sort" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a999" name="arg0" visibility="public" type="a976">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1000" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1001"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1002" name="arg1" visibility="public" type="a1015">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1003" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1004"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1005" name="binarySearch" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1006" name="arg0" visibility="public" type="a976">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1007" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1008"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1009" name="arg1" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1010" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1011"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1012" name="arg2" visibility="public" type="a1015">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1013" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1014"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1015" name="Comparator">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1016" name="Comparator&lt;T>" parameter="a1017">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1017" parameteredElement="a1018">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1018" name="T" templateParameter="a1017"/>
            </ownedParameter>
          </ownedTemplateSignature>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1019" name="HashMap" clientDependency="a1026 a1027 a1028">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1020" name="HashMap&lt;K, V>" parameter="a1021 a1023">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1021" parameteredElement="a1022">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1022" name="K" templateParameter="a1021"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1023" parameteredElement="a1024">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1024" name="V" templateParameter="a1023"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a1025" general="a1030"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1026" supplier="a1037" client="a1019" contract="a1037"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1027" supplier="a1091" client="a1019" contract="a1091"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1028" supplier="a1149" client="a1019" contract="a1149"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1029" name="HashMap" visibility="public"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1030" name="AbstractMap" clientDependency="a1036">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1031" name="AbstractMap&lt;K, V>" parameter="a1032 a1034">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1032" parameteredElement="a1033">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1033" name="K" templateParameter="a1032"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1034" parameteredElement="a1035">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1035" name="V" templateParameter="a1034"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1036" supplier="a1037" client="a1030" contract="a1037"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1037" name="Map">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1038" name="Map&lt;K, V>" parameter="a1039 a1041">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1039" parameteredElement="a1040">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1040" name="K" templateParameter="a1039"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1041" parameteredElement="a1042">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1042" name="V" templateParameter="a1041"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1043" name="put" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1044" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1045" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1046"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1047" name="arg1" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1048" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1049"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1050" name="get" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1051" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1052" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1053"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1054" name="Set">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1055" name="Set&lt;E>" parameter="a1056">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1056" parameteredElement="a1057">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1057" name="E" templateParameter="a1056"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a1058" general="a971"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1059" name="add" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1060" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1061" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1062"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1063" name="remove" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1064" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1065" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1066"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1067" name="contains" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1068" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1069" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1070"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1071" name="HashSet" clientDependency="a1076 a1077 a1078">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1072" name="HashSet&lt;E>" parameter="a1073">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1073" parameteredElement="a1074">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1074" name="E" templateParameter="a1073"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a1075" general="a1080"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1076" supplier="a1054" client="a1071" contract="a1054"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1077" supplier="a1091" client="a1071" contract="a1091"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1078" supplier="a1149" client="a1071" contract="a1149"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1079" name="HashSet" visibility="public"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1080" name="AbstractSet" clientDependency="a1085">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1081" name="AbstractSet&lt;E>" parameter="a1082">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1082" parameteredElement="a1083">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1083" name="E" templateParameter="a1082"/>
            </ownedParameter>
          </ownedTemplateSignature>
          <generalization xmi:type="uml:Generalization" xmi:id="a1084" general="a966"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1085" supplier="a1054" client="a1080" contract="a1054"/>
        </packagedElement>
      </packagedElement>
      <packagedElement xmi:type="uml:Package" xmi:id="a1086" name="lang">
        <packagedElement xmi:type="uml:Interface" xmi:id="a1087" name="Iterable">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1088" name="Iterable&lt;T>" parameter="a1089">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1089" parameteredElement="a1090">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1090" name="T" templateParameter="a1089"/>
            </ownedParameter>
          </ownedTemplateSignature>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1091" name="Cloneable"/>
        <packagedElement xmi:type="uml:Class" xmi:id="a1092" name="Integer" clientDependency="a1097">
          <generalization xmi:type="uml:Generalization" xmi:id="a1093" general="a1105"/>
          <ownedAttribute xmi:type="uml:Property" xmi:id="a1094" name="MAX_VALUE" visibility="public">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1095" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1096"/>
          </ownedAttribute>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1097" supplier="a1107" client="a1092" contract="a1107"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1098" name="parseInt" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1099" name="arg0" visibility="public" type="a1111">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1100" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1101"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1102" name="arg1" visibility="public" type="a901">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1103" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1104"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1105" name="Number" clientDependency="a1106">
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1106" supplier="a1149" client="a1105" contract="a1149"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1107" name="Comparable">
          <ownedTemplateSignature xmi:type="uml:RedefinableTemplateSignature" xmi:id="a1108" name="Comparable&lt;T>" parameter="a1109">
            <ownedParameter xmi:type="uml:ClassifierTemplateParameter" xmi:id="a1109" parameteredElement="a1110">
              <ownedParameteredElement xmi:type="uml:Class" xmi:id="a1110" name="T" templateParameter="a1109"/>
            </ownedParameter>
          </ownedTemplateSignature>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1111" name="String" clientDependency="a1112 a1113 a1114">
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1112" supplier="a1149" client="a1111" contract="a1149"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1113" supplier="a1107" client="a1111" contract="a1107"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1114" supplier="a1135" client="a1111" contract="a1135"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1115" name="String" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1116" name="arg0" visibility="public" type="a907">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1117" value="*"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1118"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1119" name="substring" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1120" name="arg0" visibility="public" type="a901">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1121" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1122"/>
            </ownedParameter>
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1123" name="arg1" visibility="public" type="a901">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1124" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1125"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1126" name="String" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1127" name="arg0" visibility="public" type="a1111">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1128" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1129"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1130" name="trim" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1131" name="equals" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1132" name="arg0" visibility="public" type="a1142">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1133" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1134"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1135" name="CharSequence"/>
        <packagedElement xmi:type="uml:Class" xmi:id="a1136" name="System">
          <ownedAttribute xmi:type="uml:Property" xmi:id="a1137" name="out" visibility="public">
            <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1138" value="1"/>
            <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1139"/>
          </ownedAttribute>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1140" name="currentTimeMillis" visibility="public"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1141" name="Appendable"/>
        <packagedElement xmi:type="uml:Class" xmi:id="a1142" name="Object"/>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1143" name="Readable"/>
        <packagedElement xmi:type="uml:Class" xmi:id="a1144" name="Exception">
          <generalization xmi:type="uml:Generalization" xmi:id="a1145" general="a1146"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1146" name="Throwable" clientDependency="a1147">
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1147" supplier="a1149" client="a1146" contract="a1149"/>
        </packagedElement>
      </packagedElement>
      <packagedElement xmi:type="uml:Package" xmi:id="a1148" name="io">
        <packagedElement xmi:type="uml:Interface" xmi:id="a1149" name="Serializable"/>
        <packagedElement xmi:type="uml:Class" xmi:id="a1150" name="PrintStream" clientDependency="a1152 a1153">
          <generalization xmi:type="uml:Generalization" xmi:id="a1151" general="a1163"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1152" supplier="a1141" client="a1150" contract="a1141"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1153" supplier="a1168" client="a1150" contract="a1168"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1154" name="print" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1155" name="arg0" visibility="public" type="a1111">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1156" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1157"/>
            </ownedParameter>
          </ownedOperation>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1158" name="println" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1159" name="println" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1160" name="arg0" visibility="public" type="a1111">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1161" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1162"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1163" name="FilterOutputStream">
          <generalization xmi:type="uml:Generalization" xmi:id="a1164" general="a1165"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1165" name="OutputStream" clientDependency="a1166 a1167">
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1166" supplier="a1168" client="a1165" contract="a1168"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1167" supplier="a1169" client="a1165" contract="a1169"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1168" name="Closeable"/>
        <packagedElement xmi:type="uml:Interface" xmi:id="a1169" name="Flushable"/>
        <packagedElement xmi:type="uml:Class" xmi:id="a1170" name="Reader" clientDependency="a1171 a1172">
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1171" supplier="a1143" client="a1170" contract="a1143"/>
          <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="a1172" supplier="a1168" client="a1170" contract="a1168"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1173" name="close" visibility="public"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1174" name="read" visibility="public"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1175" name="IOException">
          <generalization xmi:type="uml:Generalization" xmi:id="a1176" general="a1144"/>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1177" name="FileReader">
          <generalization xmi:type="uml:Generalization" xmi:id="a1178" general="a1183"/>
          <ownedOperation xmi:type="uml:Operation" xmi:id="a1179" name="FileReader" visibility="public">
            <ownedParameter xmi:type="uml:Parameter" xmi:id="a1180" name="arg0" visibility="public" type="a1111">
              <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="a1181" value="1"/>
              <lowerValue xmi:type="uml:LiteralInteger" xmi:id="a1182"/>
            </ownedParameter>
          </ownedOperation>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="a1183" name="InputStreamReader">
          <generalization xmi:type="uml:Generalization" xmi:id="a1184" general="a1170"/>
        </packagedElement>
      </packagedElement>
    </packagedElement>
  </packagedElement>
  <packagedElement xmi:type="uml:Model" xmi:id="a1185" name="source references">
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1186" name="NeighborIfc.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/NeighborIfc.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1187" name="EdgeIter.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/EdgeIter.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1188" name="EdgeIfc.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/EdgeIfc.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1189" name="VertexIter.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/VertexIter.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1190" name="Vertex.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/Vertex.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1191" name="Graph.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/Graph.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1192" name="Main.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/Main.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1193" name="WorkSpace.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/WorkSpace.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1194" name="Neighbor.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/Neighbor.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1195" name="CycleWorkSpace.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/CycleWorkSpace.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1196" name="Edge.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/Edge.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1197" name="RegionWorkSpace.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/RegionWorkSpace.java"/>
    <packagedElement xmi:type="uml:Artifact" xmi:id="a1198" name="NumberWorkSpace.java" fileName="/Users/ziadi/DONNEES/ACTIVITIES-DEVELOPEMENT/Eclipse-WorkSpaces/FeatureIdentificationValidation/GPL-AHEAD/src/NumberWorkSpace.java"/>
  </packagedElement>
</uml:Model>
