<lineColor xmi:id="_g_y5mcJrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_hnlSV8JrEd2LAL0tDq6CIw" owner="_hnlSUMJrEd2LAL0tDq6CIw" name="" target="_UT1kUcJrEd2LAL0tDq6CIw" source="_MBWwwcJrEd2LAL0tDq6CIw">
        <fillColor xmi:id="_hnlSWMJrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_hnlSWcJrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TIncludeConnection" xmi:id="_jY--gcJrEd2LAL0tDq6CIw" owner="_jY--gMJrEd2LAL0tDq6CIw" name="" subLabels="_jZIIcMJrEd2LAL0tDq6CIw" target="_bh67ocJrEd2LAL0tDq6CIw" source="_UT1kUcJrEd2LAL0tDq6CIw">
        <fillColor xmi:id="_jY--gsJrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_jY--g8JrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <leftRuler xmi:id="_KUbU4sJrEd2LAL0tDq6CIw" unit="2"/>
      <topRuler xmi:id="_KUbU48JrEd2LAL0tDq6CIw" horizontal="true" unit="2"/>
    </contents>
    <contents xmi:type="trufun:TUsecaseDiagram" xmi:id="_r3YuMcJrEd2LAL0tDq6CIw" id="_r3YuMMJrEd2LAL0tDq6CIw" owner="_9JhhMcJnEd2LAL0tDq6CIw" name="Lend" zoom="1.0" gridSpacing="22,22">
      <nodes xmi:type="trufun:TActorNode" xmi:id="_wO7WMcJrEd2LAL0tDq6CIw" owner="_wO7WMMJrEd2LAL0tDq6CIw" name="Librarian" filled="true" outgoingConnections="_8BOfl8JrEd2LAL0tDq6CIw" location="100,194" size="63,60">
        <fillColor xmi:id="_wO7WMsJrEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_wO7WM8JrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_wO7WNMJrEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_wO7WNcJrEd2LAL0tDq6CIw" id="_wO7WMMJrEd2LAL0tDq6CIw"/>
      </nodes>
      <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_y77vAcJrEd2LAL0tDq6CIw" owner="_y77vAMJrEd2LAL0tDq6CIw" name="Lend book" filled="true" incomingConnections="_8BOfl8JrEd2LAL0tDq6CIw" outgoingConnections="_9DPWMcJrEd2LAL0tDq6CIw" location="267,204" size="132,40" keepMaxSize="false">
        <fillColor xmi:id="_y77vAsJrEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_y77vA8JrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_y77vBMJrEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_y77vBcJrEd2LAL0tDq6CIw" id="_y77vAMJrEd2LAL0tDq6CIw"/>
        <extensionPointCompartmentNode xmi:id="_y77vBsJrEd2LAL0tDq6CIw"/>
      </nodes>
      <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_0g0CIcJrEd2LAL0tDq6CIw" owner="_0g0CIMJrEd2LAL0tDq6CIw" name="Check user account" filled="true" incomingConnections="_9DPWMcJrEd2LAL0tDq6CIw" location="540,201" size="213,40" keepMaxSize="false">
        <fillColor xmi:id="_0g0CIsJrEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_0g0CI8JrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_0g0CJMJrEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_0g0CJcJrEd2LAL0tDq6CIw" id="_0g0CIMJrEd2LAL0tDq6CIw"/>
        <extensionPointCompartmentNode xmi:id="_0g0CJsJrEd2LAL0tDq6CIw"/>
      </nodes>
      <nodes xmi:type="trufun:SubLabel" xmi:id="_9DYgIMJrEd2LAL0tDq6CIw" name="&lt;&lt;include>>" location="432,203" size="70,16" parent="_9DPWMcJrEd2LAL0tDq6CIw" alias="None" direction="13" offset="35,-1">
        <fontColor xmi:id="_9DYgIcJrEd2LAL0tDq6CIw"/>
      </nodes>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_8BOfl8JrEd2LAL0tDq6CIw" owner="_8BOfkMJrEd2LAL0tDq6CIw" name="" target="_y77vAcJrEd2LAL0tDq6CIw" source="_wO7WMcJrEd2LAL0tDq6CIw">
        <fillColor xmi:id="_8BOfmMJrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_8BOfmcJrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TIncludeConnection" xmi:id="_9DPWMcJrEd2LAL0tDq6CIw" owner="_9DPWMMJrEd2LAL0tDq6CIw" name="" subLabels="_9DYgIMJrEd2LAL0tDq6CIw" target="_0g0CIcJrEd2LAL0tDq6CIw" source="_y77vAcJrEd2LAL0tDq6CIw">
        <fillColor xmi:id="_9DPWMsJrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_9DPWM8JrEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <leftRuler xmi:id="_r3YuMsJrEd2LAL0tDq6CIw" unit="2"/>
      <topRuler xmi:id="_r3YuM8JrEd2LAL0tDq6CIw" horizontal="true" unit="2"/>
    </contents>
    <contents xmi:type="trufun:TUsecaseDiagram" xmi:id="_AZqfcMJsEd2LAL0tDq6CIw" id="_AZhVgMJsEd2LAL0tDq6CIw" owner="_9JhhMcJnEd2LAL0tDq6CIw" name="Admini" zoom="1.0" gridSpacing="22,22">
      <nodes xmi:type="trufun:TActorNode" xmi:id="_F_lmIcJsEd2LAL0tDq6CIw" owner="_F_lmIMJsEd2LAL0tDq6CIw" name="Administrator" filled="true" outgoingConnections="_SxXPh8JsEd2LAL0tDq6CIw _TXXfl8JsEd2LAL0tDq6CIw _WI_Sp8JsEd2LAL0tDq6CIw _W0Wj18JsEd2LAL0tDq6CIw" location="86,205" size="91,60">
        <fillColor xmi:id="_F_lmIsJsEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_F_lmI8JsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_F_lmJMJsEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_F_lmJcJsEd2LAL0tDq6CIw" id="_F_lmIMJsEd2LAL0tDq6CIw"/>
      </nodes>
      <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_IevJIcJsEd2LAL0tDq6CIw" owner="_IevJIMJsEd2LAL0tDq6CIw" name="Add borrower" filled="true" incomingConnections="_SxXPh8JsEd2LAL0tDq6CIw" location="338,82" size="151,40" keepMaxSize="false">
        <fillColor xmi:id="_IevJIsJsEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_IevJI8JsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_IevJJMJsEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_IevJJcJsEd2LAL0tDq6CIw" id="_IevJIMJsEd2LAL0tDq6CIw"/>
        <extensionPointCompartmentNode xmi:id="_IevJJsJsEd2LAL0tDq6CIw"/>
      </nodes>
      <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_KlvR4cJsEd2LAL0tDq6CIw" owner="_KlvR4MJsEd2LAL0tDq6CIw" name="Add book" filled="true" incomingConnections="_TXXfl8JsEd2LAL0tDq6CIw" location="347,169" size="132,40" keepMaxSize="false">
        <fillColor xmi:id="_KlvR4sJsEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_KlvR48JsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_KlvR5MJsEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_KlvR5cJsEd2LAL0tDq6CIw" id="_KlvR4MJsEd2LAL0tDq6CIw"/>
        <extensionPointCompartmentNode xmi:id="_KlvR5sJsEd2LAL0tDq6CIw"/>
      </nodes>
      <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_MPihQcJsEd2LAL0tDq6CIw" owner="_MPihQMJsEd2LAL0tDq6CIw" name="Add title" filled="true" incomingConnections="_WI_Sp8JsEd2LAL0tDq6CIw" location="350,257" size="132,40" keepMaxSize="false">
        <fillColor xmi:id="_MPihQsJsEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_MPihQ8JsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_MPihRMJsEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_MPihRcJsEd2LAL0tDq6CIw" id="_MPihQMJsEd2LAL0tDq6CIw"/>
        <extensionPointCompartmentNode xmi:id="_MPihRsJsEd2LAL0tDq6CIw"/>
      </nodes>
      <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_OwxH4cJsEd2LAL0tDq6CIw" owner="_OwxH4MJsEd2LAL0tDq6CIw" name="Update title" filled="true" incomingConnections="_W0Wj18JsEd2LAL0tDq6CIw" location="349,339" size="147,40" keepMaxSize="false">
        <fillColor xmi:id="_OwxH4sJsEd2LAL0tDq6CIw" r="255" g="255" b="255"/>
        <lineColor xmi:id="_OwxH48JsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <fontColor xmi:id="_OwxH5MJsEd2LAL0tDq6CIw"/>
        <stereotypeNodes xmi:id="_OwxH5cJsEd2LAL0tDq6CIw" id="_OwxH4MJsEd2LAL0tDq6CIw"/>
        <extensionPointCompartmentNode xmi:id="_OwxH5sJsEd2LAL0tDq6CIw"/>
      </nodes>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_SxXPh8JsEd2LAL0tDq6CIw" owner="_SxXPgMJsEd2LAL0tDq6CIw" name="" target="_IevJIcJsEd2LAL0tDq6CIw" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_SxXPiMJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_SxXPicJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_TXXfl8JsEd2LAL0tDq6CIw" owner="_TXXfkMJsEd2LAL0tDq6CIw" name="" target="_KlvR4cJsEd2LAL0tDq6CIw" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_TXXfmMJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_TXXfmcJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_WI_Sp8JsEd2LAL0tDq6CIw" owner="_WI_SoMJsEd2LAL0tDq6CIw" name="" target="_MPihQcJsEd2LAL0tDq6CIw" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_WI_SqMJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_WI_SqcJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_W0Wj18JsEd2LAL0tDq6CIw" owner="_W0Wj0MJsEd2LAL0tDq6CIw" name="" target="_OwxH4cJsEd2LAL0tDq6CIw" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_W0Wj2MJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
        <lineColor xmi:id="_W0Wj2cJsEd2LAL0tDq6CIw" r="192" g="192" b="192"/>
      </connections>
      <leftRuler xmi:id="_AZqfccJsEd2LAL0tDq6CIw" unit="2"/>
      <topRuler xmi:id="_AZqfcsJsEd2LAL0tDq6CIw" horizontal="true" unit="2"/>
    </contents>
    <contents xmi:type="trufun:TStateMachineDiagram" xmi:id="_1deTIMJ1Ed2WEOxMF-q3iQ" id="_1dUiIMJ1Ed2WEOxMF-q3iQ" owner="_9JhhMcJnEd2LAL0tDq6CIw" name="Book" zoom="1.0" gridSpacing="22,22">
      <nodes xmi:type="trufun:TStateMachineNode" xmi:id="_1doEIsJ1Ed2WEOxMF-q3iQ" owner="_1doEIMJ1Ed2WEOxMF-q3iQ" name="Book" location="10,10" size="670,448">
        <fillColor xmi:id="_1doEI8J1Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
        <lineColor xmi:id="_1doEJMJ1Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <fontColor xmi:id="_1doEJcJ1Ed2WEOxMF-q3iQ"/>
        <nodes xmi:type="trufun:TRegionNode" xmi:id="_1doEJsJ1Ed2WEOxMF-q3iQ" owner="_1doEIcJ1Ed2WEOxMF-q3iQ" name="Region1" size="484,360">
          <fillColor xmi:id="_1doEJ8J1Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
          <lineColor xmi:id="_1doEKMJ1Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <fontColor xmi:id="_1doEKcJ1Ed2WEOxMF-q3iQ"/>
          <nodes xmi:type="trufun:TInitialStateNode" xmi:id="_4GmRgcJ1Ed2WEOxMF-q3iQ" owner="_4GmRgMJ1Ed2WEOxMF-q3iQ" name="Pseudostate1" filled="true" outgoingConnections="_TPCeccJ2Ed2WEOxMF-q3iQ" location="156,21" size="20,20">
            <fillColor xmi:id="_4GmRgsJ1Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_4GmRg8J1Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_4GmRhMJ1Ed2WEOxMF-q3iQ"/>
          </nodes>
          <nodes xmi:type="trufun:TCompositeStateNode" xmi:id="_561PQcJ1Ed2WEOxMF-q3iQ" owner="_561PQMJ1Ed2WEOxMF-q3iQ" name="New book" filled="true" incomingConnections="_TPCeccJ2Ed2WEOxMF-q3iQ" outgoingConnections="_UcODQcJ2Ed2WEOxMF-q3iQ" location="127,113" size="70,26">
            <fillColor xmi:id="_561PQsJ1Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_561PQ8J1Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_561PRMJ1Ed2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_561PRcJ1Ed2WEOxMF-q3iQ" id="_561PQMJ1Ed2WEOxMF-q3iQ"/>
            <internetPartCompartment xmi:id="_561PRsJ1Ed2WEOxMF-q3iQ"/>
          </nodes>
          <nodes xmi:type="trufun:TCompositeStateNode" xmi:id="_8ZiGUcJ1Ed2WEOxMF-q3iQ" owner="_8ZiGUMJ1Ed2WEOxMF-q3iQ" name="Available" filled="true" incomingConnections="_UcODQcJ2Ed2WEOxMF-q3iQ" outgoingConnections="_WtEEgcJ2Ed2WEOxMF-q3iQ" location="127,215" size="74,26">
            <fillColor xmi:id="_8ZiGUsJ1Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_8ZiGU8J1Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_8ZiGVMJ1Ed2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_8ZiGVcJ1Ed2WEOxMF-q3iQ" id="_8ZiGUMJ1Ed2WEOxMF-q3iQ"/>
            <internetPartCompartment xmi:id="_8ZiGVsJ1Ed2WEOxMF-q3iQ"/>
          </nodes>
          <nodes xmi:type="trufun:TCompositeStateNode" xmi:id="_AxhaQcJ2Ed2WEOxMF-q3iQ" owner="_AxhaQMJ2Ed2WEOxMF-q3iQ" name="Borrowed" filled="true" incomingConnections="_WtEEgcJ2Ed2WEOxMF-q3iQ" outgoingConnections="_eKpQYcJ2Ed2WEOxMF-q3iQ" location="404,216" size="70,26">
            <fillColor xmi:id="_AxhaQsJ2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_AxhaQ8J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_AxhaRMJ2Ed2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_AxhaRcJ2Ed2WEOxMF-q3iQ" id="_AxhaQMJ2Ed2WEOxMF-q3iQ"/>
            <internetPartCompartment xmi:id="_AxhaRsJ2Ed2WEOxMF-q3iQ"/>
          </nodes>
          <nodes xmi:type="trufun:TFinalStateNode" xmi:id="_dX1TYcJ2Ed2WEOxMF-q3iQ" owner="_dX1TYMJ2Ed2WEOxMF-q3iQ" name="FinalState1" filled="true" incomingConnections="_eKpQYcJ2Ed2WEOxMF-q3iQ" location="427,336" size="24,24">
            <fillColor xmi:id="_dX1TYsJ2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_dX1TY8J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_dX1TZMJ2Ed2WEOxMF-q3iQ"/>
          </nodes>
        </nodes>
      </nodes>
      <nodes xmi:type="trufun:SubLabel" xmi:id="_ZTqTUMJ2Ed2WEOxMF-q3iQ" name="Borrow" location="290,248" size="40,16" parent="_WtEEgcJ2Ed2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
        <fontColor xmi:id="_ZTqTUcJ2Ed2WEOxMF-q3iQ"/>