<fontColor xmi:id="_KOivkMQ9Ed2RqoVKSv5lJg"/>
      </nodes>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_RwkMB8Q8Ed2RqoVKSv5lJg" owner="_RwkMAMQ8Ed2RqoVKSv5lJg" name="" target="_sPsLoMQ7Ed2RqoVKSv5lJg" source="_p6-XAMQ7Ed2RqoVKSv5lJg">
        <fillColor xmi:id="_RwkMCMQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_RwkMCcQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TNavigableAssociationConnection" xmi:id="_SYMzx8Q8Ed2RqoVKSv5lJg" owner="_SYMzwMQ8Ed2RqoVKSv5lJg" name="" target="_rXgmcMQ7Ed2RqoVKSv5lJg" source="_p6-XAMQ7Ed2RqoVKSv5lJg">
        <fillColor xmi:id="_SYMzyMQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_SYMzycQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TIncludeConnection" xmi:id="_KOY-kcQ9Ed2RqoVKSv5lJg" owner="_KOY-kMQ9Ed2RqoVKSv5lJg" name="" subLabels="_KOY-lMQ9Ed2RqoVKSv5lJg" target="_8-EYAMQ8Ed2RqoVKSv5lJg" source="_sPsLoMQ7Ed2RqoVKSv5lJg">
        <fillColor xmi:id="_KOY-ksQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_KOY-k8Q9Ed2RqoVKSv5lJg" 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:TSubjectNode" xmi:id="_i_Z2k8Q8Ed2RqoVKSv5lJg" owner="_i_Z2kMQ8Ed2RqoVKSv5lJg" name="Librarian" filled="true" location="223,87" size="557,249">
        <fillColor xmi:id="_i_Z2lMQ8Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
        <lineColor xmi:id="_i_Z2lcQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <fontColor xmi:id="_i_Z2lsQ8Ed2RqoVKSv5lJg"/>
        <stereotypeNodes xmi:id="_i_Z2l8Q8Ed2RqoVKSv5lJg" id="_i_Z2kMQ8Ed2RqoVKSv5lJg"/>
        <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_nlQAUMQ8Ed2RqoVKSv5lJg" owner="_y77vAMJrEd2LAL0tDq6CIw" name="Lend book" filled="true" incomingConnections="_nlZxUMQ8Ed2RqoVKSv5lJg" outgoingConnections="_v-4kxsQ8Ed2RqoVKSv5lJg" location="69,63" size="132,40" keepMaxSize="false">
          <fillColor xmi:id="_nlQAUcQ8Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
          <lineColor xmi:id="_nlQAUsQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
          <fontColor xmi:id="_nlQAU8Q8Ed2RqoVKSv5lJg"/>
          <stereotypeNodes xmi:id="_nlQAVMQ8Ed2RqoVKSv5lJg"/>
          <extensionPointCompartmentNode xmi:id="_nlQAVcQ8Ed2RqoVKSv5lJg"/>
        </nodes>
        <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_v-4kwMQ8Ed2RqoVKSv5lJg" owner="_0g0CIMJrEd2LAL0tDq6CIw" name="Check user account" filled="true" incomingConnections="_v-4kxsQ8Ed2RqoVKSv5lJg" location="364,64" size="132,40" keepMaxSize="false">
          <fillColor xmi:id="_v-4kwcQ8Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
          <lineColor xmi:id="_v-4kwsQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
          <fontColor xmi:id="_v-4kw8Q8Ed2RqoVKSv5lJg"/>
          <stereotypeNodes xmi:id="_v-4kxMQ8Ed2RqoVKSv5lJg"/>
          <extensionPointCompartmentNode xmi:id="_v-4kxcQ8Ed2RqoVKSv5lJg"/>
        </nodes>
      </nodes>
      <nodes xmi:type="trufun:TActorNode" xmi:id="_wO7WMcJrEd2LAL0tDq6CIw" owner="_wO7WMMJrEd2LAL0tDq6CIw" name="Librarian" filled="true" outgoingConnections="_nlZxUMQ8Ed2RqoVKSv5lJg" 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:SubLabel" xmi:id="_v_VQsMQ8Ed2RqoVKSv5lJg" name="&lt;&lt;include>>" location="470,182" size="70,16" parent="_v-4kxsQ8Ed2RqoVKSv5lJg" alias="None" direction="13" offset="0,0">
        <fontColor xmi:id="_v_VQscQ8Ed2RqoVKSv5lJg"/>
      </nodes>
      <connections xmi:type="trufun:TAssociationConnection" xmi:id="_nlZxUMQ8Ed2RqoVKSv5lJg" owner="_8BOfkMJrEd2LAL0tDq6CIw" name="" target="_nlQAUMQ8Ed2RqoVKSv5lJg" source="_wO7WMcJrEd2LAL0tDq6CIw">
        <fillColor xmi:id="_nlZxUcQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_nlZxUsQ8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TIncludeConnection" xmi:id="_v-4kxsQ8Ed2RqoVKSv5lJg" owner="_9DPWMMJrEd2LAL0tDq6CIw" name="" subLabels="_v_VQsMQ8Ed2RqoVKSv5lJg" target="_v-4kwMQ8Ed2RqoVKSv5lJg" source="_nlQAUMQ8Ed2RqoVKSv5lJg">
        <fillColor xmi:id="_v-4kx8Q8Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_v-4kyMQ8Ed2RqoVKSv5lJg" 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="_XHUY0MQ9Ed2RqoVKSv5lJg _Xdh5YMQ9Ed2RqoVKSv5lJg _X2aTdsQ9Ed2RqoVKSv5lJg _YlMsEMQ9Ed2RqoVKSv5lJg" 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:TSubjectNode" xmi:id="_RYTnk8Q9Ed2RqoVKSv5lJg" owner="_RYTnkMQ9Ed2RqoVKSv5lJg" name="Admini" filled="true" location="211,56" size="392,409">
        <fillColor xmi:id="_RYTnlMQ9Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
        <lineColor xmi:id="_RYTnlcQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <fontColor xmi:id="_RYTnlsQ9Ed2RqoVKSv5lJg"/>
        <stereotypeNodes xmi:id="_RYTnl8Q9Ed2RqoVKSv5lJg" id="_RYTnkMQ9Ed2RqoVKSv5lJg"/>
        <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_XHLO4MQ9Ed2RqoVKSv5lJg" owner="_IevJIMJsEd2LAL0tDq6CIw" name="Add borrower" filled="true" incomingConnections="_XHUY0MQ9Ed2RqoVKSv5lJg" location="115,33" size="132,40" keepMaxSize="false">
          <fillColor xmi:id="_XHLO4cQ9Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
          <lineColor xmi:id="_XHLO4sQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
          <fontColor xmi:id="_XHLO48Q9Ed2RqoVKSv5lJg"/>
          <stereotypeNodes xmi:id="_XHLO5MQ9Ed2RqoVKSv5lJg"/>
          <extensionPointCompartmentNode xmi:id="_XHLO5cQ9Ed2RqoVKSv5lJg"/>
        </nodes>
        <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_XdYIYMQ9Ed2RqoVKSv5lJg" owner="_KlvR4MJsEd2LAL0tDq6CIw" name="Add book" filled="true" incomingConnections="_Xdh5YMQ9Ed2RqoVKSv5lJg" location="130,114" size="132,40" keepMaxSize="false">
          <fillColor xmi:id="_XdYIYcQ9Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
          <lineColor xmi:id="_XdYIYsQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
          <fontColor xmi:id="_XdYIY8Q9Ed2RqoVKSv5lJg"/>
          <stereotypeNodes xmi:id="_XdYIZMQ9Ed2RqoVKSv5lJg"/>
          <extensionPointCompartmentNode xmi:id="_XdYIZcQ9Ed2RqoVKSv5lJg"/>
        </nodes>
        <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_X2aTcMQ9Ed2RqoVKSv5lJg" owner="_MPihQMJsEd2LAL0tDq6CIw" name="Add title" filled="true" incomingConnections="_X2aTdsQ9Ed2RqoVKSv5lJg" location="132,190" size="132,40" keepMaxSize="false">
          <fillColor xmi:id="_X2aTccQ9Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
          <lineColor xmi:id="_X2aTcsQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
          <fontColor xmi:id="_X2aTc8Q9Ed2RqoVKSv5lJg"/>
          <stereotypeNodes xmi:id="_X2aTdMQ9Ed2RqoVKSv5lJg"/>
          <extensionPointCompartmentNode xmi:id="_X2aTdcQ9Ed2RqoVKSv5lJg"/>
        </nodes>
        <nodes xmi:type="trufun:TUseCaseNode" xmi:id="_YlDiIMQ9Ed2RqoVKSv5lJg" owner="_OwxH4MJsEd2LAL0tDq6CIw" name="Update title" filled="true" incomingConnections="_YlMsEMQ9Ed2RqoVKSv5lJg" location="131,273" size="132,40" keepMaxSize="false">
          <fillColor xmi:id="_YlDiIcQ9Ed2RqoVKSv5lJg" r="255" g="255" b="255"/>
          <lineColor xmi:id="_YlDiIsQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
          <fontColor xmi:id="_YlDiI8Q9Ed2RqoVKSv5lJg"/>
          <stereotypeNodes xmi:id="_YlDiJMQ9Ed2RqoVKSv5lJg"/>
          <extensionPointCompartmentNode xmi:id="_YlDiJcQ9Ed2RqoVKSv5lJg"/>
        </nodes>
      </nodes>
      <connections xmi:type="trufun:TAssociationConnection" xmi:id="_XHUY0MQ9Ed2RqoVKSv5lJg" owner="_SxXPgMJsEd2LAL0tDq6CIw" name="" target="_XHLO4MQ9Ed2RqoVKSv5lJg" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_XHUY0cQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_XHUY0sQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TAssociationConnection" xmi:id="_Xdh5YMQ9Ed2RqoVKSv5lJg" owner="_TXXfkMJsEd2LAL0tDq6CIw" name="" target="_XdYIYMQ9Ed2RqoVKSv5lJg" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_Xdh5YcQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_Xdh5YsQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TAssociationConnection" xmi:id="_X2aTdsQ9Ed2RqoVKSv5lJg" owner="_WI_SoMJsEd2LAL0tDq6CIw" name="" target="_X2aTcMQ9Ed2RqoVKSv5lJg" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_X2aTd8Q9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_X2aTeMQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TAssociationConnection" xmi:id="_YlMsEMQ9Ed2RqoVKSv5lJg" owner="_W0Wj0MJsEd2LAL0tDq6CIw" name="" target="_YlDiIMQ9Ed2RqoVKSv5lJg" source="_F_lmIcJsEd2LAL0tDq6CIw">
        <fillColor xmi:id="_YlMsEcQ9Ed2RqoVKSv5lJg" r="192" g="192" b="192"/>
        <lineColor xmi:id="_YlMsEsQ9Ed2RqoVKSv5lJg" 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="508,404">
        <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="87,42" 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="59,112" 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="61,202" 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="245,202" size="70,26">
            <fillColor xmi:id="_AxhaQsJ2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>