</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 state" 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"/>
            <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="398,202" 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="178,235" size="40,16" parent="_WtEEgcJ2Ed2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
        <fontColor xmi:id="_ZTqTUcJ2Ed2WEOxMF-q3iQ"/>
      </nodes>
      <connections xmi:type="trufun:TTransitionConnection" xmi:id="_TPCeccJ2Ed2WEOxMF-q3iQ" owner="_TPCecMJ2Ed2WEOxMF-q3iQ" name="" target="_561PQcJ1Ed2WEOxMF-q3iQ" source="_4GmRgcJ1Ed2WEOxMF-q3iQ">
        <fillColor xmi:id="_TPCecsJ2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <lineColor xmi:id="_TPCec8J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TTransitionConnection" xmi:id="_UcODQcJ2Ed2WEOxMF-q3iQ" owner="_UcODQMJ2Ed2WEOxMF-q3iQ" name="" target="_8ZiGUcJ1Ed2WEOxMF-q3iQ" source="_561PQcJ1Ed2WEOxMF-q3iQ">
        <fillColor xmi:id="_UcODQsJ2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <lineColor xmi:id="_UcODQ8J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TTransitionConnection" xmi:id="_WtEEgcJ2Ed2WEOxMF-q3iQ" owner="_WtEEgMJ2Ed2WEOxMF-q3iQ" name="Borrow" subLabels="_ZTqTUMJ2Ed2WEOxMF-q3iQ" target="_AxhaQcJ2Ed2WEOxMF-q3iQ" source="_8ZiGUcJ1Ed2WEOxMF-q3iQ">
        <fillColor xmi:id="_WtEEgsJ2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <lineColor xmi:id="_WtEEg8J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TTransitionConnection" xmi:id="_eKpQYcJ2Ed2WEOxMF-q3iQ" owner="_eKpQYMJ2Ed2WEOxMF-q3iQ" name="" target="_dX1TYcJ2Ed2WEOxMF-q3iQ" source="_AxhaQcJ2Ed2WEOxMF-q3iQ">
        <fillColor xmi:id="_eKpQYsJ2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <lineColor xmi:id="_eKpQY8J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
      </connections>
      <leftRuler xmi:id="_1deTIcJ1Ed2WEOxMF-q3iQ" unit="2"/>
      <topRuler xmi:id="_1deTIsJ1Ed2WEOxMF-q3iQ" horizontal="true" unit="2"/>
    </contents>
    <contents xmi:type="trufun:TStateMachineDiagram" xmi:id="_wrvNAcJ2Ed2WEOxMF-q3iQ" id="_wrvNAMJ2Ed2WEOxMF-q3iQ" owner="_9JhhMcJnEd2LAL0tDq6CIw" name="Borrower" zoom="1.0" gridSpacing="22,22">
      <nodes xmi:type="trufun:TStateMachineNode" xmi:id="_wrvNBsJ2Ed2WEOxMF-q3iQ" owner="_wrvNBMJ2Ed2WEOxMF-q3iQ" name="Borrower state" location="10,10" size="446,317">
        <fillColor xmi:id="_wrvNB8J2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
        <lineColor xmi:id="_wrvNCMJ2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <fontColor xmi:id="_wrvNCcJ2Ed2WEOxMF-q3iQ"/>
        <nodes xmi:type="trufun:TRegionNode" xmi:id="_wrvNCsJ2Ed2WEOxMF-q3iQ" owner="_wrvNBcJ2Ed2WEOxMF-q3iQ" name="Region2" size="422,268">
          <fillColor xmi:id="_wrvNC8J2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
          <lineColor xmi:id="_wrvNDMJ2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <fontColor xmi:id="_wrvNDcJ2Ed2WEOxMF-q3iQ"/>
          <nodes xmi:type="trufun:TInitialStateNode" xmi:id="_1iHtIcJ2Ed2WEOxMF-q3iQ" owner="_1iHtIMJ2Ed2WEOxMF-q3iQ" name="Pseudostate2" filled="true" outgoingConnections="_CuRlYcJ3Ed2WEOxMF-q3iQ" location="123,29" size="20,20">
            <fillColor xmi:id="_1iHtIsJ2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_1iHtI8J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_1iHtJMJ2Ed2WEOxMF-q3iQ"/>
          </nodes>
          <nodes xmi:type="trufun:TCompositeStateNode" xmi:id="_29Ku0cJ2Ed2WEOxMF-q3iQ" owner="_29Ku0MJ2Ed2WEOxMF-q3iQ" name="New Borrower" filled="true" incomingConnections="_CuRlYcJ3Ed2WEOxMF-q3iQ" outgoingConnections="_DPzlIcJ3Ed2WEOxMF-q3iQ" location="87,113" size="92,26">
            <fillColor xmi:id="_29Ku0sJ2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_29Ku08J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_29Ku1MJ2Ed2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_29Ku1cJ2Ed2WEOxMF-q3iQ" id="_29Ku0MJ2Ed2WEOxMF-q3iQ"/>
            <internetPartCompartment xmi:id="_29Ku1sJ2Ed2WEOxMF-q3iQ"/>
          </nodes>
          <nodes xmi:type="trufun:TCompositeStateNode" xmi:id="_6CKw4cJ2Ed2WEOxMF-q3iQ" owner="_6CKw4MJ2Ed2WEOxMF-q3iQ" name="Accout Available" filled="true" incomingConnections="_DPzlIcJ3Ed2WEOxMF-q3iQ" outgoingConnections="_EycckcJ3Ed2WEOxMF-q3iQ" location="306,114" size="116,26">
            <fillColor xmi:id="_6CKw4sJ2Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_6CKw48J2Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_6CKw5MJ2Ed2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_6CKw5cJ2Ed2WEOxMF-q3iQ" id="_6CKw4MJ2Ed2WEOxMF-q3iQ"/>
            <internetPartCompartment xmi:id="_6CKw5sJ2Ed2WEOxMF-q3iQ"/>
          </nodes>
          <nodes xmi:type="trufun:TFinalStateNode" xmi:id="_EOPjUcJ3Ed2WEOxMF-q3iQ" owner="_EOPjUMJ3Ed2WEOxMF-q3iQ" name="FinalState2" filled="true" incomingConnections="_EycckcJ3Ed2WEOxMF-q3iQ" location="360,244" size="24,24">
            <fillColor xmi:id="_EOPjUsJ3Ed2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_EOPjU8J3Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_EOPjVMJ3Ed2WEOxMF-q3iQ"/>
          </nodes>
        </nodes>
      </nodes>
      <connections xmi:type="trufun:TTransitionConnection" xmi:id="_CuRlYcJ3Ed2WEOxMF-q3iQ" owner="_CuRlYMJ3Ed2WEOxMF-q3iQ" name="" target="_29Ku0cJ2Ed2WEOxMF-q3iQ" source="_1iHtIcJ2Ed2WEOxMF-q3iQ">
        <fillColor xmi:id="_CuRlYsJ3Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <lineColor xmi:id="_CuRlY8J3Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TTransitionConnection" xmi:id="_DPzlIcJ3Ed2WEOxMF-q3iQ" owner="_DPzlIMJ3Ed2WEOxMF-q3iQ" name="" target="_6CKw4cJ2Ed2WEOxMF-q3iQ" source="_29Ku0cJ2Ed2WEOxMF-q3iQ">
        <fillColor xmi:id="_DPzlIsJ3Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <lineColor xmi:id="_DPzlI8J3Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
      </connections>
      <connections xmi:type="trufun:TTransitionConnection" xmi:id="_EycckcJ3Ed2WEOxMF-q3iQ" owner="_EycckMJ3Ed2WEOxMF-q3iQ" name="" target="_EOPjUcJ3Ed2WEOxMF-q3iQ" source="_6CKw4cJ2Ed2WEOxMF-q3iQ">
        <fillColor xmi:id="_EyccksJ3Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        <lineColor xmi:id="_Eycck8J3Ed2WEOxMF-q3iQ" r="192" g="192" b="192"/>
      </connections>
      <leftRuler xmi:id="_wrvNAsJ2Ed2WEOxMF-q3iQ" unit="2"/>
      <topRuler xmi:id="_wrvNA8J2Ed2WEOxMF-q3iQ" horizontal="true" unit="2"/>
    </contents>
    <contents xmi:type="trufun:TComponentDiagram" xmi:id="_GCRqcMZhEd2L8MVA0NCnSQ" id="_GB-vgMZhEd2L8MVA0NCnSQ" owner="_9JhhMcJnEd2LAL0tDq6CIw" name="涓氬姟瀵硅薄緇勪歡鍥