<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:uml="http://www.omg.org/spec/UML/20161101" xmlns:StandardProfile="http://www.omg.org/spec/UML/20161101/StandardProfile">
  <uml:Model xmi:id="_tQFlMKTMEeaFtarRya-74w" name="UTP Types Library" URI="https://www.omg.org/spec/UTP/20241101/utp2_typeslibrary.xmi">
    <packageImport xmi:type="uml:PackageImport" xmi:id="_ta_NoKTMEeaFtarRya-74w">
      <importedPackage href="https://www.omg.org/spec/UML/20161101/PrimitiveTypes.xmi#_0"/>
    </packageImport>
    <packagedElement xmi:type="uml:Class" xmi:id="_x6yZwKTMEeaFtarRya-74w" name="AnyType"/>
    <packagedElement xmi:type="uml:DataType" xmi:id="_zKu-sKTMEeaFtarRya-74w" name="verdict"/>
    <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_BcJOAFePEeihnpddrZbjug" name="pass" classifier="_zKu-sKTMEeaFtarRya-74w">
      <specification xmi:type="uml:LiteralInteger" xmi:id="_AoUHgNFYEeik6quUrbu3Uw" name="1" value="1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_ICGOUFePEeihnpddrZbjug" name="none" classifier="_zKu-sKTMEeaFtarRya-74w">
      <specification xmi:type="uml:LiteralInteger" xmi:id="_9VUFsNFXEeik6quUrbu3Uw" name="0"/>
    </packagedElement>
    <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_KSducFePEeihnpddrZbjug" name="inconclusive" classifier="_zKu-sKTMEeaFtarRya-74w">
      <specification xmi:type="uml:LiteralInteger" xmi:id="_C0frMNFYEeik6quUrbu3Uw" name="2" value="2"/>
    </packagedElement>
    <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_NO5qYFePEeihnpddrZbjug" name="error" classifier="_zKu-sKTMEeaFtarRya-74w">
      <specification xmi:type="uml:LiteralInteger" xmi:id="_GLsQgNFYEeik6quUrbu3Uw" name="4" value="4"/>
    </packagedElement>
    <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_PWoy8FePEeihnpddrZbjug" name="fail" classifier="_zKu-sKTMEeaFtarRya-74w">
      <specification xmi:type="uml:LiteralInteger" xmi:id="_D01G0NFYEeik6quUrbu3Uw" name="3" value="3"/>
    </packagedElement>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_tTWUkKTMEeaFtarRya-74w">
      <appliedProfile href="https://www.omg.org/spec/UML/20161101/StandardProfile.xmi#_0"/>
    </profileApplication>
  </uml:Model>
  <StandardProfile:ModelLibrary xmi:id="_vZQRIKTMEeaFtarRya-74w" base_Package="_tQFlMKTMEeaFtarRya-74w"/>
</xmi:XMI>
