<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.39 (Ruby 3.2.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-dekater-scion-pki-03" category="info" submissionType="independent" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.18.0 -->
  <front>
    <title abbrev="SCION CP-PKI">SCION Control-Plane PKI</title>
    <seriesInfo name="Internet-Draft" value="draft-dekater-scion-pki-03"/>
    <author initials="C." surname="de Kater" fullname="Corine de Kater">
      <organization>SCION Association</organization>
      <address>
        <email>cdk@scion.org</email>
      </address>
    </author>
    <author initials="N." surname="Rustignoli" fullname="Nicola Rustignoli">
      <organization>SCION Association</organization>
      <address>
        <email>nic@scion.org</email>
      </address>
    </author>
    <date year="2023" month="August" day="22"/>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <?line 107?>

<t>This document presents the trust concept and design of the SCION <em>control-plane Public Key Infrastructure (PKI)</em>, SCION's public key infrastructure model. SCION (Scalability, Control, and Isolation On Next-generation networks) is a path-aware, inter-domain network architecture. The control-plane PKI, or short CP-PKI, handles cryptographic material and lays the foundation for the authentication procedures in SCION. It is used by SCION's control plane to authenticate and verify path information, and builds the basis for SCION's special trust model based on so-called Isolation Domains.</t>
      <t>This document first introduces the trust model behind the SCION's control-plane PKI, as well as clarifications to the concepts used in it. This is followed by specifications of the different types of certificates and the Trust Root Configuration. The document then specifies how to deploy the whole infrastructure.</t>
    </abstract>
    <note removeInRFC="true">
      <name>About This Document</name>
      <t>
        The latest revision of this draft can be found at <eref target="https://scionassociation.github.io/scion-cppki_I-D/draft-dekater-scion-pki.html"/>.
        Status information for this document may be found at <eref target="https://datatracker.ietf.org/doc/draft-dekater-scion-pki/"/>.
      </t>
      <t>Source for this draft and an issue tracker can be found at
        <eref target="https://github.com/scionassociation/scion-cppki_I-D"/>.</t>
    </note>
  </front>
  <middle>
    <?line 114?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>The control-plane PKI (CP-PKI) lays the foundation for the authentication procedures in SCION. It handles all cryptographic material used in the public key infrastructure of SCION's control plane. This section first introduces the key concepts of the SCION CP-PKI, including the trust model, its core elements (certificates, keys, and roles), and their relationships. The sections after the Introduction provide detailed specifications of the building blocks of the CP-PKI.</t>
      <t><strong>Note:</strong> For extended information on the SCION next-generation inter-domain architecture, see <xref target="CHUAT22"/>, especially Chapter 2, as well as the IETF Internet Drafts <xref target="I-D.scion-overview"/> and <xref target="I-D.scion-components"/>.</t>
      <section anchor="terminology">
        <name>Terminology</name>
        <t><strong>Control-Plane PKI (CP-PKI)</strong>: The control-plane PKI is the public-key infrastructure upon which SCION's control plane relies for the authentication of messages. It is a set of policies, roles, and procedures that are used to manage trust root configurations (TRCs) and certificates.</t>
        <t><strong>Autonomous System (AS)</strong>: An autonomous system is a network under a common administrative control. For example, the network of an Internet service provider, company, or university can constitute an AS. If an organization operates multiple networks that are not directly connected together, then the different networks are considered different ASes.</t>
        <t><strong>Isolation Domain (ISD)</strong>: In SCION, autonomous systems (ASes) are organized into logical groups called isolation domains or ISDs. Each ISD consists of ASes that span an area with a uniform trust environment (i.e., a common jurisdiction). A possible model is for ISDs to be formed along national boundaries or federations of nations.</t>
        <t><strong>Core AS</strong>: Each isolation domain (ISD) is administered by a set of distinguished autonomous systems (ASes) called core ASes, which are responsible for initiating the path-discovery and -construction process (in SCION called "beaconing").</t>
        <t><strong>Trust Root Configuration (TRC)</strong>: A trust root configuration or TRC is a signed collection of certificates pertaining to an isolation domain (ISD). TRCs also contain ISD-specific policies.</t>
        <t><strong>Authoritative AS</strong>: Authoritative ASes are those ASes in an ISD that always have the latest TRCs of the ISD. As a consequence, authoritative ASes also start the announcement of a TRC update.</t>
        <t><strong>Base TRC</strong>: A base TRC is a trust root configuration (TRC) that other parties trust axiomatically. In other words, trust for a base TRC is assumed, not derived from another cryptographic object. Each ISD must create and sign a base TRC when the ISD is established. A base TRC is either the first TRC of the ISD or the result of a trust reset.</t>
        <t><strong>TRC Signing Ceremony</strong>: The ceremony during which the very first base TRC of an ISD, called the initial TRC, is signed. The initial TRC is a special case of the base TRC where the number of the ISD is assigned.</t>
        <t><strong>TRC Update</strong>: A <em>regular</em> TRC update is a periodic re-issuance of the TRC where the entities and policies listed in the TRC remain unchanged. A <em>sensitive</em> TRC update is an update that modifies critical aspects of the TRC, such as the set of core ASes. In both cases, the base TRC remains unchanged.</t>
        <t><strong>Voting ASes</strong>: Those ASes within an ISD that may sign TRC updates. The process of appending a signature to a new TRC is called "casting a vote".</t>
        <t><strong>Voting Quorum</strong>: The voting quorum is a trust root configuration (TRC) field that indicates the number of votes (signatures) needed on a successor TRC for it to be verifiable. A voting quorum greater than one will thus prevent a single entity from creating a malicious TRC update.</t>
        <t><strong>Grace Period</strong>: The grace period is an interval during which the previous version of a trust root configuration (TRC) is still considered active after a new version has been published.</t>
        <t><strong>Trust Reset</strong>: A trust reset is the action of announcing a new base TRC for an existing ISD. A trust reset should only be triggered after a catastrophic event involving the loss or compromise of several important private keys.</t>
      </section>
      <section anchor="conventions-and-definitions">
        <name>Conventions and Definitions</name>
        <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
        <?line -18?>

</section>
      <section anchor="trust-model">
        <name>Trust Model</name>
        <t>Given the diverse nature of the constituents in the current Internet, an important challenge is how to scale authentication of network elements (such as AS ownership, hop-by-hop routing information, name servers for DNS, and domains for TLS) to the global environment. The roots of trust of currently prevalent public key infrastructure (PKI) models do not scale well to a global environment, because (1) mutually distrustful parties cannot agree on a single trust root (monopoly model), and because (2) the security of a plethora of roots of trust is only as strong as its weakest link (oligopoly model) - see also <xref target="BARRERA17"/>.</t>
        <t>The monopoly model suffers from two main drawbacks: First, all parties must agree on a single root of trust. Secondly, the single root of trust represents a single point of failure, the misuse of which enables the forging of certificates. Also, its revocation can result in a kill-switch for all the entities it certifies. The oligopoly model relies on several roots of trust, all equally and completely trusted. However, this is not automatically better: Whereas the monopoly model has a single point of failure, the oligopoly model has the drawback of exposing more than one point of failure.</t>
        <t>Thus, there is a need for a trust architecture that supports meaningful trust roots in a global environment with inherently distrustful parties. This new trust architecture should provide the following properties:</t>
        <ul spacing="normal">
          <li>Trust agility (see further below);</li>
          <li>Resilience to single root of trust compromise;</li>
          <li>Multilateral governance; and</li>
          <li>Support for policy versioning and updates.</li>
        </ul>
        <t>Ideally, the trust architecture allows parties that mutually trust each other to form their own trust "union" or "domain", and to freely decide whether to trust other trust unions (domains) outside their own trust bubble.</t>
        <t>To fulfill the above requirements, which in fact apply well to inter-domain networking, SCION introduces the concept of <strong>Isolation Domains</strong>. An Isolation Domain (ISD) is a building block for achieving high availability, scalability, and support for heterogeneous trust. It consistnistered by one or multiple ASes, called the <strong>voting ASes</strong>. Furthermore, each ISD has a set of ASes that form the Is of a logical grouping of ASes that share a uniform trust environment (i.e., a common jurisdiction). An ISD is admiSD core; these are the <strong>core ASes</strong>. The set of core and voting ASes can, but not necessarily have to, overlap. It is governed by a policy called the <strong>Trust Root Configuration</strong> (TRC), which is negotiated by the ISD core. The TRC defines the locally scoped roots of trust used to validate bindings between names and public keys.</t>
        <t>Authentication in SCION is based on digital certificates that bind identifiers to public keys and carry digital signatures that are verified by roots of trust. SCION allows each ISD to define its own set of trust roots, along with the policy governing their use. Such scoping of trust roots within an ISD improves security, as compromise of a private key associated with a trust root cannot be used to forge a certificate outside the ISD. An ISD's trust roots and policy are encoded in the TRC, which has a version number, a list of public keys that serves as root of trust for various purposes, and policies governing the number of signatures required for performing different types of actions. The TRC serves as a way to bootstrap all authentication within SCION. Additionally, TRC versioning is used to efficiently revoke compromised roots of trust.</t>
        <t>The TRC also provides <em>trust agility</em>, that is, it enables users to select the trust roots used to initiate certificate validation. This implies that users are free to choose an ISD they believe maintains a non-compromised set of trust roots. ISD members can also decide whether to trust other ISDs and thus transparently define trust relationships between parts of the network. The SCION trust model, therefore, differs from the one provided by other PKI architectures.</t>
      </section>
      <section anchor="trust-relations-within-an-isolation-domain">
        <name>Trust Relations within an Isolation Domain</name>
        <t>As already mentioned previously, the control-plane PKI, SCION's concept of trust, is organized on ISD-level. Each ISD can independently specify its own Trust Root Configuration (TRC) and build its own verification chain. Each TRC consists of a collection of signed root certificates, which are used to sign CA certificates, which are in turn used to sign AS certificates. The TRC also includes ISD-policies that specify, for example, the TRC's usage, validity, and future updates. A TRC is a fundamental component of an ISD's control-plane PKI. The so-called <strong>base TRC</strong> constitutes the ISD's trust anchor. It is signed during a signing ceremony by the voting ASes and then distributed throughout the ISD.</t>
        <section anchor="trust-reset">
          <name>Updates and Trust Resets</name>
          <t>There are two types of TRC updates: regular and sensitive. A <strong>regular TRC update</strong> is a periodic re-issuance of the TRC where the entities and policies listed in the TRC remain unchanged, whereas a <strong>sensitive TRC update</strong> is an update that modifies critical aspects of the TRC, such as the set of core ASes. In both cases, the base TRC remains unchanged. If the ISD's TRC has been compromised, it is necessary for an ISD to re-establish the trust root. This is possible with a process called <strong>trust reset</strong> (if allowed by the ISD's trust policy). In this case, a new base TRC is created.</t>
        </section>
      </section>
      <section anchor="overview-of-certificates-keys-and-roles">
        <name>Overview of Certificates, Keys, and Roles</name>
        <t>The base TRC constitutes the root of trust within an ISD. <xref target="_figure-1"/> provides a first impression of the trust chain within an ISD, based on its TRC. For detailed descriptions, please refer to <xref target="cert-specs"/> and <xref target="trc-specification"/>.</t>
        <figure anchor="_figure-1">
          <name>Chain of trust within an ISD</name>
          <artwork><![CDATA[
                                    TRC 2

               +--------------------------------------+
               |+------------------------------------+|
               ||- Version       - Core ASes         ||
+--------+     ||- ID            - Description       ||    +--------+
| TRC 1  |     ||- Validity      - No Trust Reset    ||    | TRC 3  |
| (Base  |---->||- Grace Period  - Voting Quorum     ||--->|        |
|  TRC)  |     ||- ...                               ||    |        |
+--------+     |+------------------------------------+|    +--------+
               |+----------------+  +----------------+|
               || Regular Voting |  |Sensitive Voting||
               ||  Certificate   |  |  Certificate   ||
               |+----------------+  +----------------+|
               |+----------------+  +----------------+|
               ||     Votes      |  |   Signatures   ||
               |+----------------+  +----------------+|
               |+------------------------------------+|
               ||        CP Root Certificates        ||
               |+----------+-------------+-----------+|
               |           |             |            |
               +-----------+-------------+------------+
                           |             |
                           |             |
                           v             v
                 +-----------+         +-----------+
                 |   CP CA   |         |   CP CA   |
                 |Certificate|         |Certificate|
                 +-+-------+-+         +-----+-----+
                   |       |                 |
                   |       |                 |
                   v       v                 v
          +-----------+ +-----------+      +-----------+
          |   CP AS   | |   CP AS   |      |   CP AS   |
          |Certificate| |Certificate|      |Certificate|
          +-----------+ +-----------+      +-----------+
]]></artwork>
        </figure>
        <t>All certificates used in SCION's control-plane PKI are in X.509 v3 format <xref target="RFC5280"/>. Additionally, the TRC contains self-signed certificates instead of plain public keys. Self-signed certificates have the following advantages over plain public keys: (1) They make the binding between name and public key explicit; and (2) the binding is signed to prove possession of the corresponding private key.</t>
        <t>All ASes in SCION have the task to sign and verify control-plane messages. However, certain ASes have additional roles:</t>
        <ul spacing="normal">
          <li>
            <strong>Core ASes</strong>: Core ASes are a distinct set of ASes in the SCION control plane. For each ISD, the core ASes are listed in the TRC. Each core AS in an ISD has links to other core ASes (in the same or in different ISDs).</li>
          <li>
            <strong>Certification authorities (CAs)</strong>: CAs are responsible for issuing AS certificates to other ASes and/or themselves.</li>
          <li>
            <strong>Voting ASes</strong>: Only certain ASes within an ISD may sign TRC updates. The process of appending a signature to a new TRC is called "casting a vote"; the designated ASes that hold the private keys to sign a TRC update are "voting ASes".</li>
          <li>
            <strong>Authoritative ASes</strong>: Authoritative ASes are those ASes in an ISD that always have the latest TRCs of the ISD. They start the announcement of a TRC update.</li>
        </ul>
        <t>All further details of the SCION control-plane PKI are specified in the following sections.</t>
      </section>
      <section anchor="trust-as-a-function">
        <name>Trust as a Function</name>
        <t>The SCION control-plane PKI can be seen as a function that transforms potential distrust among different parties into a mutually accepted trust contract including a trust update and reset policy as well as certificates used for authentication procedures in SCION's control plane.</t>
        <t>For the function to work, it is not necessary that the ASes of the ISD all trust each other. However, all ASes <bcp14>MUST</bcp14> trust the ISD's core ASes, authoritative ASes, voting ASes, as well as its CA(s). These trusted parties negotiate the ISD trust contract in a "bootstrapping of trust" ceremony, where cryptographic material is exchanged, and the ISD's trust anchor (the initial Trust Root Configuration) is created and signed.</t>
        <section anchor="input">
          <name>Input</name>
          <t>Prior to the ceremony, the trusted parties must decide about the validity period of the TRC as well as the number of votes required to update a TRC. They must also bring the required keys and certificates, the so-called root and voting keys/certificates.</t>
          <t>During the ceremony, the trusted parties decide about the number of the ISD. This must be an integer in the inclusive range between 64 and 4094. The next table shows the current allocation of ISD numbers in SCION:</t>
          <table anchor="_table-1">
            <name>ISD Number Allocations</name>
            <thead>
              <tr>
                <th align="left">ISD</th>
                <th align="left">Description</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">0</td>
                <td align="left">The wildcard ISD.</td>
              </tr>
              <tr>
                <td align="left">1 - 15</td>
                <td align="left">Reserved for documentation and sample code (analogous to <xref target="RFC5398"/>.</td>
              </tr>
              <tr>
                <td align="left">16 - 63</td>
                <td align="left">Private use (analogous to <xref target="RFC6996"/>). Can be used for testing and private deployments.</td>
              </tr>
              <tr>
                <td align="left">64 - 4094</td>
                <td align="left">Public ISDs. Should be allocated in ascending order, without gaps and "vanity" numbers.</td>
              </tr>
              <tr>
                <td align="left">4095 - 65535</td>
                <td align="left">Reserved for future use.</td>
              </tr>
            </tbody>
          </table>
        </section>
        <section anchor="output">
          <name>Output</name>
          <t>The output of the bootstrapping of trust ceremony, or the trust "function", are the ISD's initial Trust Root Configuration as well as mutually trusted and accepted CA and AS certificates--the latter are used to verify SCION's control-plane messages. Together with the ISD's control-plane root certificates, the CA and AS certificates build the ISD's trust and verification chain.</t>
        </section>
      </section>
    </section>
    <section anchor="cert-specs">
      <name>Certificate Specification</name>
      <t>This section provides a detailed specification of all certificates used in SCION's control-plane PKI. It starts with an overview of the main keys and certificates.</t>
      <section anchor="overview">
        <name>SCION Control-Plane PKI Keys and Certificates - Overview</name>
        <t>There are three types of control-plane (CP) certificates: root certificates, CA certificates, and AS certificates. Together, they build a chain of trust that is anchored in the trust root configuration (TRC) file of the respective Isolation Domain (ISD). Additionally, there are regular and sensitive voting certificates, which define the keys to cast votes in a regular and a sensitive TRC update, respectively.</t>
        <t>All certificates in SCION's control-plane PKI are in X.509 v3 format <xref target="RFC5280"/>.</t>
        <t>The next section shows SCION's trust hierarchy. This is followed by sections that describe the main certificates and corresponding key pairs of SCION's control-plane PKI as well as the voting certificates and keys.</t>
        <section anchor="trust-hierarchy">
          <name>Trust Hierarchy</name>
          <t>The trust is anchored in the Trust Root Configuration (TRC) for each ISD. The trust root is axiomatic: All trust derived from this anchor relies on all parties transitively trusting the TRC.</t>
          <t>The trust hierarchy looks like this:</t>
          <artwork><![CDATA[
TRC
── Regular Voting Certificates
     └── TRC (next version, regular update)
── Sensitive Voting Certificates
     └── TRC (next version, sensitive update)
── CP Root Certificates
     └── CP CA Certificates
          └── CP AS Certificates
]]></artwork>
        </section>
        <section anchor="cp-root-cert">
          <name>Control-Plane Root Certificate</name>
          <t>The control-plane root private key is used to sign control-plane CA certificates. Consequently, the control-plane root certificate with the control-plane root public key is used to verify control-plane CA certificates, i.e., root certificates determine which ASes act as CA in an ISD.</t>
          <t>In X.509 terms, CP root certificates are <em>self-signed</em> CA certificates. That is, issuer and subject of the certificate are the same entity, and the public key in the root certificate can be used to verify the root certificate's signature. The CP root public key and proof of ownership of the private key are embedded in the Trust Root Configuration (TRC) of an Isolation Domain (ISD), via the self-signed CP root certificate. This facilitates the bootstrapping of trust within an ISD, and marks the CP root certificates as the starting point of an ISD's certificate verification path.</t>
          <t>The recommended <strong>maximum validity period</strong> of a CP root certificate is: 1 year.</t>
          <t><strong>Note</strong>: The TRC of each ISD contains a trusted set of control-plane root certificates. This set builds the root of each ISD's verification path. For more information on the selection of this trusted set of root certificates, see <xref target="trc-specification"/>.</t>
        </section>
        <section anchor="control-plane-ca-certificate">
          <name>Control-Plane CA Certificate</name>
          <t>The control-plane CA private key is used to sign control-plane AS certificates. Consequently, control-plane CA certificates holding the control-plane CA public key are used to verify control-plane AS certificates.</t>
          <t>The public key needed to verify the CA certificate is in a CP root certificate. CA certificates do not bundle the root certificate needed to verify them. In order to verify a CA certificate, a pool of root certificates must first be extracted from one or more active TRCs (as described in <xref target="signing-verifying-cp-messages"/>).</t>
          <t>The recommended <strong>maximum validity period</strong> of a CP CA certificate is: 11 days.</t>
        </section>
        <section anchor="control-plane-as-certificate">
          <name>Control-Plane AS Certificate</name>
          <t>SCION ASes sign control-plane messages, such as Path Construction Beacons, with their AS private key. Consequently, control-plane AS certificates holding the corresponding AS public key are required to verify control-plane messages.</t>
          <t>In X.509 terms, control-plane AS certificates are end-entity certificates. That is, they cannot be used to verify other certificates.</t>
          <t>The recommended <strong>maximum validity period</strong> of a CP AS certificate is: 3 days.</t>
        </section>
        <section anchor="cp-voting-cert">
          <name>Voting Certificates</name>
          <t>There are two types of voting certificates: the (1) regular voting certificates and the (2) sensitive voting certificates. They contain the public keys associated with the private keys that are allowed to cast votes in the TRC update process. Voting certificates are X.509-style certificates.</t>
          <t>Regular and sensitive voting certificates are used to verify regular and sensitive TRC updates, respectively, and are embedded in the TRC.</t>
          <section anchor="regular-voting-certificate">
            <name>Regular Voting Certificate</name>
            <t>Regular voting certificates state which keys are allowed to cast votes in a regular update. In X.509 terms, regular voting certificates are self-signed end-entity certificates. This means that the issuer and subject of a regular voting certificate are the same entity, and the public key within the certificate can be used to verify the certificate's signature. However, a regular voting certificate cannot be used to verify other certificates.</t>
            <t>The recommended <strong>maximum validity period</strong> of a regular voting certificate is: 1 year.</t>
          </section>
          <section anchor="sensitive-voting-certificate">
            <name>Sensitive Voting Certificate</name>
            <t>Sensitive voting certificates specify which keys are allowed to cast votes in a sensitive update. In X.509 terms, sensitive voting certificates are self-signed end-entity certificates. This means that the issuer and subject of a sensitive voting certificate are the same entity, and the public key within the certificate can be used to verify the certificate's signature. However, a sensitive voting certificate cannot be used to verify other certificates.</t>
            <t>The recommended <strong>maximum validity period</strong> of a sensitive voting certificate is: 5 years.</t>
            <t><strong>Note</strong>:</t>
            <ul empty="true">
              <li>
                <t>Both SCION's control-plane root certificates and control-plane CA certificates are in fact CA certificates. That is, they can both be used to verify other certificates.</t>
                <t>One important difference between both certificate types lies in their validity period: A SCION control-plane root certificate has a recommended maximum validity period of one year, whereas the recommended maximum validity period of a SCION control-plane CA certificate is 11 days. This is because a root certificate is part of the Trust Root Configuration of an ISD, which itself also has a recommended maximum validity period of one year (see Table 2 below). This ensures that the TRC must not be updated all the time and is thus relatively stable.</t>
                <t>The SCION root private key and public key/certificate are used to sign and verify the control-plane CA certificates, respectively. The control-plane CA certificates are explicitly NOT part of the TRC, for reasons of security. The control-plane CA certificates are used to verify the control-plane AS certificates, which in turn are used to verify control-plane messages. Routing is made more secure if both the SCION control-plane CA and AS certificates can be renewed on a very regular basis. Would the control-plane CA and AS certificates be part of the TRC, then the TRC would have to be updated constantly, which is undesirable.</t>
              </li>
            </ul>
          </section>
        </section>
        <section anchor="formal">
          <name>Certificates - Formal Overview</name>
          <t><xref target="_table-2"/> and <xref target="_table-3"/> below provide a formal overview of the different types of key pairs and certificates in the control-plane PKI.</t>
          <table anchor="_table-2">
            <name>Key chain</name>
            <thead>
              <tr>
                <th align="left">Name</th>
                <th align="left">Notation (1)</th>
                <th align="left">Used to verify/sign</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Sensitive voting key</td>
                <td align="left">K<sub>sens</sub></td>
                <td align="left">TRC updates (sensitive)</td>
              </tr>
              <tr>
                <td align="left">Regular voting key</td>
                <td align="left">K<sub>reg</sub></td>
                <td align="left">TRC updates (regular)</td>
              </tr>
              <tr>
                <td align="left">CP root key</td>
                <td align="left">K<sub>root</sub></td>
                <td align="left">CP CA certificates</td>
              </tr>
              <tr>
                <td align="left">CP CA key</td>
                <td align="left">K<sub>CA</sub></td>
                <td align="left">CP AS certificates</td>
              </tr>
              <tr>
                <td align="left">CP AS key</td>
                <td align="left">K<sub>AS</sub></td>
                <td align="left">CP messages, path segments</td>
              </tr>
            </tbody>
          </table>
          <t>(1)  K<sub>x</sub> = PK<sub>x</sub> + SK<sub>x</sub>, where x = certificate type, PK<sub>x</sub> = public key, and SK<sub>x</sub> = private key</t>
          <table anchor="_table-3">
            <name>Certificates</name>
            <thead>
              <tr>
                <th align="left">Name</th>
                <th align="left">Notation</th>
                <th align="left">Signed with</th>
                <th align="left">Contains</th>
                <th align="left">Validity (2)</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">TRC (trust root conf.)</td>
                <td align="left">TRC</td>
                <td align="left">SK<sub>sens</sub>, SK<sub>reg</sub> (1)</td>
                <td align="left">C<sub>root</sub>, C<sub>sens</sub>, C<sub>reg</sub> (1)</td>
                <td align="left">1 year</td>
              </tr>
              <tr>
                <td align="left">Sensitive voting cert.</td>
                <td align="left">C<sub>sens</sub></td>
                <td align="left">SK<sub>sens</sub></td>
                <td align="left">PK<sub>sens</sub></td>
                <td align="left">5 years</td>
              </tr>
              <tr>
                <td align="left">Regular voting cert.</td>
                <td align="left">C<sub>reg</sub></td>
                <td align="left">SK<sub>reg</sub></td>
                <td align="left">PK<sub>reg</sub></td>
                <td align="left">1 year</td>
              </tr>
              <tr>
                <td align="left">CP root certificate</td>
                <td align="left">C<sub>root</sub></td>
                <td align="left">SK<sub>root</sub></td>
                <td align="left">PK<sub>root</sub></td>
                <td align="left">1 year</td>
              </tr>
              <tr>
                <td align="left">CP CA certificate</td>
                <td align="left">C<sub>CA</sub></td>
                <td align="left">SK<sub>root</sub></td>
                <td align="left">PK<sub>CA</sub></td>
                <td align="left">11 days (3)</td>
              </tr>
              <tr>
                <td align="left">CP AS certificate</td>
                <td align="left">C<sub>AS</sub></td>
                <td align="left">SK<sub>CA</sub></td>
                <td align="left">PK<sub>AS</sub></td>
                <td align="left">3 days</td>
              </tr>
            </tbody>
          </table>
          <t>(1) Multiple signatures and certificates of each type may be included in a TRC.<br/>
(2) Recommended maximum validity period.<br/>
(3) A validity of 11 days with 4 days overlap between two CA certificates is recommended to enable best possible operational procedures when performing a CA certificate rollover.</t>
          <t><xref target="_figure-2"/> illustrates, at a high level, the relationship between a TRC and the five types of certificates.</t>
          <figure anchor="_figure-2">
            <name>TRC update chain and the different types of associated certificates. Arrows show how signatures are verified; in other words, they indicate that a public key contained in a certificate or TRC can be used to verify the authenticity of another item.</name>
            <artwork><![CDATA[
   +--------------------+     +--------------------+          +--------------+     +---------------+
   |       TRC 1        +---->|       TRC 2       -+------>╳  |       TRC 3  +---->|       TRC 4   |
   |  (base, initial)   |     |  (regular update)  |          | (base, trust |     | (sensitive    |
+--+--------------------+     +--------------------+------+   |     reset)   |     |     update)   |
|                                                         |   +--------------+     +---------------+
|                                                         |
+--------------------------------------------+        +---+----------------------------------------+
|             TRC 1 (base, initial)          |        |             TRC 2 (regular update)         |
|+------------------------------------------+|        |+------------------------------------------+|
||- Version       - Core ASes               ||        ||- Version       - Core ASes               ||
||- ID            - Description             ||        ||- ID            - Description             ||
||- Validity      - No Trust Reset          ||        ||- Validity      - No Trust Reset          ||
||- Grace Period  - Voting Quorum           ||        ||- Grace Period  - Voting Quorum           ||
||- ...                                     ||        ||- ...                                     ||
|+------------------------------------------+|        |+------------------------------------------+|
|+--------------------++--------------------+|        |+--------------------++--------------------+|
||Votes (cert.indices)||   Regular Voting   ||        ||Votes (cert.indices)||   Regular Voting   ||
||                    ||    Certificates    ||        ||                    ||    Certificates    ||
||    (empty)         ||                    ||        ||    (1),(2)...      ||                    ||
||                    ||+-----+ +-----+     ||        ||                    ||+-----+ +-----+     ||
||                    ||| (1) | | (2) |     ||        ||                    ||| (1) | | (2) |     ||
||                    |||C    | |C    | ... ||        ||                    |||C    | |C    | ... ||
||                    ||| reg | | reg |     ||        ||                    ||| reg | | reg |     ||
|+--------------------+|+--+--+ +--+--+     ||        |+--------------------+|+-----+ +-----+     ||
|+--------------------+|   |       |        ||        |+--------------------+|                    ||
||                    ||   |       +--------++-----+  ||                    ||                    ||
||                    ||   +----------------++-+   |  ||                    ||                    ||
||    Signatures      |+--------------------+| |   |  ||    Signatures      |+--------------------+|
||                    |+--------------------+| |   |  ||                    |+--------------------+|
||+------------------+|| Sensitive Voting   || |   |  ||+------------------+|| Sensitive Voting   ||
|||73 A9 4E AO 0D ...|||    Certificates    || |   +--+>|48 AE E4 80 DB ...|||    Certificates    ||
||+------------------+||+-----+ +-----+     || |      ||+------------------+||+-----+ +-----+     ||
||+------------------+||| (3) | | (4) |     || |      ||+------------------+||| (3) | | (4) |     ||
|||53 B7 7C 98 56 ...||||C    | |C    |     || +------+>|7E BC 75 98 25 ...||||C    | |C    |     ||
||+------------------+||| sens| | sens| ... ||        ||+------------------+||| sens| | sens| ... ||
||        ...         ||+-----+ +-----+     ||        ||        ...         ||+-----+ +-----+     ||
|+--------------------++--------------------+|        |+--------------------++--------------------+|
|+------------------------------------------+|        |+------------------------------------------+|
||          CP Root Certificates            ||        ||          CP Root Certificates            ||
||                                          ||        ||                                          ||
|| +-----+ +-----+ +-----+ +-----+          ||        || +-----+ +-----+ +-----+ +-----+          ||
|| | (5) | | (6) | | (7) | | (8) |          ||        || | (5) | | (6) | | (7) | | (8) |          ||
|| |C    | |C    | |C    | |C    |          ||        || |C    | |C    | |C    | |C    |          ||
|| | root| | root| | root| | root| .....    ||        || | root| | root| | root| | root| .....    ||
|| +-----+ +--+--+ +-----+ +--+--+          ||        || +-----+ +--+--+ +-----+ +--+--+          ||
|+------------+---------------+-------------+|        |+------------+---------------+-------------+|
+-------------+---------------+--------------+        +-------------+---------------+--------------+
              |               |                                     |               |
    +---------v-+           +-v---------+                 +---------v-+           +-v---------+
    |   CP CA   |           |   CP CA   |                 |   CP CA   |           |   CP CA   |
    |Certificate|           |Certificate|                 |Certificate|           |Certificate|
    +-----+-----+           +-----+-----+                 +-+-------+-+           +-----+-----+
          |                       |                         |       |                   |
          |                       |                         |       |                   |
          v                       v                         v       v                   v
    +-----------+           +-----------+          +-----------+ +-----------+        +-----------+
    |   CP AS   |           |   CP AS   |          |   CP AS   | |   CP AS   |        |   CP AS   |
    |Certificate|           |Certificate|          |Certificate| |Certificate|        |Certificate|
    +-----------+           +-----------+          +-----------+ +-----------+        +-----------+
]]></artwork>
          </figure>
        </section>
      </section>
      <section anchor="certificate-specification">
        <name>Certificate Specification</name>
        <t>All certificates used in the SCION control-plane PKI are X.509 v3 certificates. However, the SCION specification is in some places more restrictive. This section defines these additional constraints and conditions compared to <xref target="RFC5280"/> for each type of SCION control-plane PKI certificate.</t>
        <t><strong>Note</strong>: The settings for the SCION-specific constraints and conditions are based on the SCION open-source implementation <eref target="https://github.com/scionproto/scion/">scionproto</eref>. Adjusting these settings to the requirements of a customer implementation may be possible and is allowed.</t>
        <section anchor="basic-fields-scion-specific-constraints-and-conditions">
          <name>Basic Fields: SCION-Specific Constraints and Conditions</name>
          <t>This section briefly describes the fields of the SCION control-plane PKI certificates based on X.509. These fields are relevant for each SCION certificate used in the control plane, regardless of the certificate type. For detailed descriptions of the full generic format of X.509 v3 certificates, see <xref target="RFC5280"/> and <eref target="https://handle.itu.int/11.1002/1000/13031">X509</eref>, clause 7.2. Additionally, the section lists the SCION-specific constraints and conditions compared to <xref target="RFC5280"/>, per certificate field.</t>
          <t><tt>TBSCertificate</tt> sequence: Contains information associated with the subject of the certificate and the CA that issued it. It includes the following fields:</t>
          <ul spacing="normal">
            <li>
              <t><tt>version</tt> field: Describes the version of the encoded certificate.  </t>
              <ul spacing="normal">
                <li>
                  <strong>SCION constraints</strong>: "v1" and "v2" are not allowed.</li>
                <li>
                  <strong>Additional conditions and remarks</strong>: <bcp14>MUST</bcp14> be set to "v3" (as extensions are used and mandatory in SCION).</li>
              </ul>
            </li>
            <li>
              <tt>serialNumber</tt> field: A positive integer assigned by the CA to each certificate. It <bcp14>MUST</bcp14> be unique for each certificate issued by a given CA.</li>
            <li>
              <t><tt>signature</tt> field: Contains the identifier for the algorithm used by the CA to sign the certificate.  </t>
              <ul spacing="normal">
                <li>
                  <strong>SCION constraints</strong>: Currently, SCION only supports the ECDSA signature algorithm. Find all details here: <xref target="certsign"/>.</li>
                <li>
                  <strong>Additional conditions and remarks</strong>: As a consequence, the <tt>parameters</tt> field in the <tt>AlgorithmIdentifier</tt> sequence <bcp14>MUST NOT</bcp14> be used.</li>
              </ul>
            </li>
            <li>
              <t><tt>issuer</tt> field: Contains the distinguished name (DN) of the entity that has issued and signed the certificate (usually a CA).  </t>
              <ul spacing="normal">
                <li>
                  <t><strong>SCION constraints</strong>:      </t>
                  <ul spacing="normal">
                    <li>This field <bcp14>MUST</bcp14> be non-empty.</li>
                    <li>SCION implementations <bcp14>MUST</bcp14> ONLY use the “UTF8String” value type for all attributes (including the  SCION-specific attribute <tt>ISD-AS number</tt>).</li>
                  </ul>
                </li>
                <li>
                  <strong>Additional conditions and remarks</strong>: All SCION implementations <bcp14>MUST</bcp14> support the additional SCION-specific attribute <tt>ISD-AS number</tt>. For details, see <xref target="issuer"/> and <xref target="isd-as-nr"/>.</li>
              </ul>
            </li>
            <li>
              <t><tt>validity</tt> field: Defines the validity period of the certificate.  </t>
              <ul spacing="normal">
                <li>
                  <strong>SCION constraints</strong>: All certificates used in SCION's control-plane PKI <bcp14>MUST</bcp14> have a well-defined expiration date. Certificates with a generalized time value are not valid and <bcp14>MUST</bcp14> be rejected.</li>
                <li>
                  <strong>Additional conditions and remarks</strong>: SCION recommends a specific maximum validity period for each type of control-plane PKI certificate. For details, see <xref target="formal"/>. SCION implementations should adopt these values.</li>
              </ul>
            </li>
            <li>
              <t><tt>subject</tt> field: Defines the entity that owns the certificate.  </t>
              <ul spacing="normal">
                <li>
                  <t><strong>SCION constraints</strong>:      </t>
                  <ul spacing="normal">
                    <li>This field <bcp14>MUST</bcp14> be non-empty.</li>
                    <li>SCION implementations <bcp14>MUST</bcp14> ONLY use the “UTF8String” value type for all attributes (including the  SCION-specific attribute <tt>ISD-AS number</tt>).</li>
                  </ul>
                </li>
                <li>
                  <strong>Additional conditions and remarks</strong>: The <tt>subject</tt> field is specified in the same way as the <tt>issuer</tt> field. For details, see <xref target="issuer"/> and <xref target="isd-as-nr"/>.</li>
              </ul>
            </li>
            <li>
              <t><tt>subjectPublicKeyInfo</tt> field: Carries the public key of the certificate's subject (the entity that owns the certificate, as defined in the <tt>subject</tt> field). The <tt>subjectPublicKeyInfo</tt> field also identifies which algorithm to use with the key.  </t>
              <ul spacing="normal">
                <li>
                  <strong>SCION constraints</strong>: For constraints regarding the algorithm, see the <tt>signature</tt> field.</li>
              </ul>
            </li>
            <li>
              <t><tt>issuerUniqueID</tt> field: If set, it enables reusing the issuer name over time.  </t>
              <ul spacing="normal">
                <li>
                  <strong>SCION constraints</strong>: This field is disallowed in SCION and <bcp14>MUST NOT</bcp14> be used.</li>
              </ul>
            </li>
            <li>
              <t><tt>subjectUniqueID</tt> field: If set, it enables reusing the subject name over time.  </t>
              <ul spacing="normal">
                <li>
                  <strong>SCION constraints</strong>: This field is disallowed in SCION and <bcp14>MUST NOT</bcp14> be used.</li>
              </ul>
            </li>
            <li>
              <tt>extensions</tt> sequence: Defines the extensions of the certificate. For a description of all extensions used in SCION, see <xref target="exts"/>.</li>
          </ul>
          <section anchor="certsign">
            <name><tt>signature</tt> Field - Additional Information</name>
            <t>For security reasons, SCION uses a custom list of acceptable signature algorithms. This list of acceptable signature algorithms is specified in the <tt>signature</tt> field. The list currently only contains the ECDSA signature algorithm (defined in <eref target="https://webstore.ansi.org/standards/ascx9/ansix9621998">X962</eref>). However, the list might be extended in the future. The Object Identifiers (OIDs) for ECDSA are defined as <tt>ecdsa-with-SHA256</tt>, <tt>ecdsa-with-SHA384</tt>, and <tt>ecdsa-with-SHA512</tt> in <xref target="RFC5758"/>.</t>
            <t><strong>Important:</strong> The accepted cryptographic algorithms listed in this document are the only currently accepted cryptographic algorithms. SCION implementations <bcp14>MUST</bcp14> reject cryptographic algorithms not found in the list.</t>
            <t>The only accepted curves for ECDSA are:</t>
            <ul spacing="normal">
              <li>NIST P-256 (NISTFIPS186-4, section D.1.2.3) (named <tt>secp256r1</tt> in <xref target="RFC5480"/>)</li>
              <li>NIST P-384 (NISTFIPS186-4, section D.1.2.4) (named <tt>secp384r1</tt> in <xref target="RFC5480"/>)</li>
              <li>NIST P-521 (NISTFIPS186-4, section D.1.2.5) (named <tt>secp521r1</tt> in <xref target="RFC5480"/>)</li>
            </ul>
            <t>The OIDs for the above curves are specified in section 2.1.1.1 of <xref target="RFC5480"/>.</t>
            <t>The appropriate hash size to use when producing a signature with an ECDSA key is:</t>
            <ul spacing="normal">
              <li>ECDSA with SHA-256, for a P-256 signing key</li>
              <li>ECDSA with SHA-384, for a P-384 signing key</li>
              <li>ECDSA with SHA-512, for a P-521 signing key</li>
            </ul>
            <t><strong>Important:</strong> SCION implementations <bcp14>MUST</bcp14> include support for P-256, P-384, and P-521.</t>
          </section>
          <section anchor="issuer">
            <name><tt>issuer</tt> Field - Additional Information</name>
            <t>The <tt>issuer</tt> field contains the distinguished name (DN) of the CA that created the certificate. <xref target="RFC5280"/>, section 4.1.2.4, describes the field's syntax and attributes. In addition to these attributes, SCION implementations <bcp14>MUST</bcp14> also support the SCION-specific attribute <tt>ISD-AS number</tt>. This attribute is specified below.</t>
            <section anchor="isd-as-nr">
              <name><tt>ISD-AS number</tt> Attribute</name>
              <t>The <tt>ISD-AS number</tt> attribute identifies the SCION ISD and AS. In the SCION open source implementation, the attribute type is <tt>id-at-ia</tt>, defined as:<br/>
                <tt>id-at-ia AttributeType ::= {id-scion id-cppki(1) id-at(2) 1}</tt></t>
              <t>where <tt>id-scion</tt> specifies the root SCION object identifier (OID).</t>
              <t><strong>Note</strong>: The root SCION object identifier (OID) for the SCION open-source implementation is the IANA Private Enterprise Number '55324':<br/>
                <tt>id-scion ::= OBJECT IDENTIFIER {1 3 6 1 4 1 55324}</tt></t>
              <t>The following points apply when setting the attribute value of the <tt>ISD-AS number</tt> attribute:</t>
              <ul spacing="normal">
                <li>The string representation <bcp14>MUST</bcp14> follow the canonical formatting defined in <eref target="https://github.com/scionproto/scion/wiki/ISD-and-AS-numbering">ISD and AS numbering</eref>.</li>
                <li>The canonical string representation uses a dash separator between the ISD and AS numbers.</li>
                <li>The ISD numbers are formatted as decimal.</li>
                <li>The canonical string formatting of AS numbers in the BGP AS range (0, 2<sup>32-1</sup>) is the decimal form. Larger AS numbers, i.e., from 2<sup>32</sup> to 2<sup>48-1</sup>, use a 16-bit, colon-separated, lower-case, hex encoding with leading zeros omitted: <tt>1:0:0</tt> to <tt>ffff:ffff:ffff</tt>.</li>
              </ul>
              <t><strong>Example:</strong> AS <tt>ff00:0:110</tt> in ISD <tt>1</tt> is formatted as <tt>1-ff00:0:110</tt>.</t>
              <t>The <tt>ISD-AS number</tt> attribute <bcp14>MUST</bcp14> be present exactly once in the distinguished name of the certificate issuer or owner, specified in the <tt>issuer</tt> or <tt>subject</tt> field, respectively. Implementations <bcp14>MUST NOT</bcp14> create nor successfully verify certificates whose <tt>issuer</tt> and <tt>subject</tt> fields do not include the ISD-AS number at all, or include it more than once.</t>
              <t><strong>Note</strong>: Voting certificates are not required to include the <tt>ISD-AS number</tt> attribute in their distinguished name.</t>
            </section>
          </section>
        </section>
        <section anchor="exts">
          <name>Extensions</name>
          <t><xref target="RFC5280"/>, section 4.2.1, defines the syntax of the <tt>Extensions</tt> sequence in a X.509 certificate. Descriptions of each standard certificate extension can be found in <xref target="RFC5280"/>, section 4.2.1. The corresponding clauses in <eref target="https://handle.itu.int/11.1002/1000/13031">X509</eref> (10/2016) are clause 7.2 and clause 9, respectively.</t>
          <t>Currently, the following extensions are relevant for SCION:</t>
          <ul spacing="normal">
            <li>
              <tt>authorityKeyIdentifier</tt></li>
            <li>
              <tt>subjectKeyIdentifier</tt></li>
            <li>
              <tt>keyUsage</tt></li>
            <li>
              <tt>extKeyUsage</tt></li>
            <li>
              <tt>basicConstraints</tt></li>
          </ul>
          <t>The following sections describe the SCION-specifics in regard to these extensions.</t>
          <section anchor="authoritykeyidentifier-extension">
            <name><tt>authorityKeyIdentifier</tt> Extension</name>
            <t>The <tt>authorityKeyIdentifier</tt> extension identifies the public key corresponding to the private key used to sign a certificate.</t>
            <t>For the syntax and definition of the <tt>authorityKeyIdentifier</tt> extension, see <xref target="RFC5280"/>, section 4.2.1.1, and <eref target="https://handle.itu.int/11.1002/1000/13031">X509</eref>, clause 9.2.2.1.</t>
            <t>The <tt>authorityKeyIdentifier</tt> extension provides three attributes to specify the public key:</t>
            <ul spacing="normal">
              <li>
                <tt>keyIdentifier</tt></li>
              <li>
                <tt>authorityCertIssuer</tt></li>
              <li>
                <tt>authorityCertSerialNumber</tt></li>
            </ul>
            <t>In SCION, using the <tt>keyIdentifier</tt> attribute is the preferred way to specify the <tt>authorityKeyIdentifier</tt> extension.</t>
            <t><strong>Important:</strong> SCION implementations may also support the use of the <tt>authorityCertIssuer</tt> and <tt>authorityCertSerialNumber</tt> attributes. However, if these attributes are set and support for them is missing, implementations should error out.</t>
            <t>This extension <bcp14>MUST</bcp14> always be non-critical. However, SCION implementations <bcp14>MUST</bcp14> error out if the extension is not present AND the certificate is not self-signed.</t>
          </section>
          <section anchor="subject-key-id-ext">
            <name><tt>subjectKeyIdentifier</tt> Extension</name>
            <t>The <tt>subjectKeyIdentifier</tt> extension identifies certificates that contain a particular public key. It can be used, for example, by control-plane messages to identify which certificate to use for verification. The extension allows for overlapping control-plane CA keys, for example during updates.</t>
            <t>For the syntax and definition of the <tt>subjectKeyIdentifier</tt> extension, see <xref target="RFC5280"/>, section 4.2.1.2, and <eref target="https://handle.itu.int/11.1002/1000/13031">X509</eref>, clause 9.2.2.2.</t>
            <t>This extension <bcp14>MUST</bcp14> always be non-critical. However, SCION implementations <bcp14>MUST</bcp14> error out if the extension is not present.</t>
          </section>
          <section anchor="key-usage-ext">
            <name><tt>keyUsage</tt> Extension</name>
            <t>The <tt>keyUsage</tt> extension identifies the intended usage of the public key in the corresponding certificate. For the syntax and definition of the <tt>keyUsage</tt> extension, see <xref target="RFC5280"/>, section 4.2.1.3, and <eref target="https://handle.itu.int/11.1002/1000/13031">X509</eref>, clause 9.2.2.3.</t>
            <t>The attributes of the <tt>keyUsage</tt> extension define possible ways of using the public key. The attributes have the following meaning in SCION:</t>
            <ul spacing="normal">
              <li>
                <tt>digitalSignature</tt>: The public key can be used to verify the digital signature of a control-plane payload.</li>
              <li>
                <tt>contentCommitment</tt>: Not used.</li>
              <li>
                <tt>keyEncipherment</tt>: Not used.</li>
              <li>
                <tt>dataEncipherment</tt>: Not used.</li>
              <li>
                <tt>keyAgreement</tt>: Not used.</li>
              <li>
                <tt>keyCertSign</tt>: The public key can be used to verify the CA signature on a control-plane certificate.</li>
              <li>
                <tt>cRLSign</tt>: Not used.</li>
              <li>
                <tt>encipherOnly</tt>: Not used.</li>
              <li>
                <tt>decipherOnly</tt>: Not used.</li>
            </ul>
            <t><strong>Important:</strong> If a certificate’s public key is used to verify the signature of a control-plane payload (<tt>digitalSignature</tt> attribute), it must be possible to trace back the private key used to sign the certificate. This is done by referencing the ISD-AS and the subject key identifier (via the <tt>subjectKeyIdentifier</tt> extension). For more information about the <tt>subjectKeyIdentifier</tt> extension, see <xref target="subject-key-id-ext"/>.</t>
            <t>If present, the <tt>keyUsage</tt> extension should be marked as "critical". That is, the <tt>critical</tt> Boolean attribute of this extension must be set to TRUE (the default is FALSE).</t>
            <t><strong>Note</strong>: If a certificate extension is marked "critical", the public key in the certificate should only be used for the purpose set in the critical extension.</t>
            <t>Each control-plane PKI certificate type uses the public key differently, and consequently also specifies the attributes of the <tt>keyUsage</tt> extension differently. The next table shows the specifications per certificate type.</t>
            <table anchor="_table-4">
              <name>keyUsage extension - Specifications per certificate type</name>
              <thead>
                <tr>
                  <th align="left">Certificate Type</th>
                  <th align="left">Root</th>
                  <th align="left">CA</th>
                  <th align="left">AS</th>
                  <th align="left">Voting (regular and sensitive)</th>
                </tr>
              </thead>
              <tbody>
                <tr>
                  <td align="left">
                    <em>Attribute:</em></td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>keyUsage</tt> extension itself</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                  <td align="left">
                    <bcp14>MAY</bcp14> be present (but is not required)</td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>digitalSignature</tt></td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be set (1)</td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be set (2)</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be set</td>
                  <td align="left">If the extension is present, the <tt>digitalSignature</tt> attribute <bcp14>MUST NOT</bcp14> be set</td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>keyCertSign</tt></td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be set</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be set</td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be set</td>
                  <td align="left">If the extension is present, the <tt>keyCertSign</tt> attribute <bcp14>MUST NOT</bcp14> be set</td>
                </tr>
              </tbody>
            </table>
            <t>(1) The root certificate should not be used to verify control-plane messages.<br/>
(2) The CA certificate should not be used to verify control-plane messages.</t>
          </section>
          <section anchor="ext-key-usage-ext">
            <name><tt>extKeyUsage</tt> Extension</name>
            <t>The <tt>extKeyUsage</tt> extension specifies additional usages of the public key in the certificate. For the syntax and definition of the <tt>extKeyUsage</tt> extension, see <eref target="https://handle.itu.int/11.1002/1000/13031">X509</eref>, clause 9.2.2.4.</t>
            <t>SCION uses the following attributes of the Extended Key Usage extension, as defined in Section 4.2.1.12 of <xref target="RFC5280"/>:</t>
            <ul spacing="normal">
              <li>
                <tt>id-kp-serverAuth</tt>: If set, the public key can be used for SCION control-plane server authentication.</li>
              <li>
                <tt>id-kp-clientAuth</tt>: If set, the public key can be used for SCION control-plane client authentication.</li>
              <li>
                <tt>id-kp-timeStamping</tt>: If set, the public key can be used for the verification of timestamps.</li>
            </ul>
            <t>Additionally, the Extended Key Usage extension sequence may include the SCION-specific attributes <tt>id-kp-root</tt>, <tt>id-kp-regular</tt>, and <tt>id-kp-sensitive</tt>. These attributes are used in the Trust Root Configuration setup, to distinguish root certificates, regular voting certificates, and sensitive voting certificates from each other. For more information, see <xref target="cert"/>.</t>
            <t>The specifications of the <tt>extKeyUsage</tt> extension differ per SCION control-plane PKI certificate type. The next table provides an overview of the specifications per certificate type.</t>
            <table anchor="_table-5">
              <name>extKeyUsage extension - Specifications per certificate type</name>
              <thead>
                <tr>
                  <th align="left">Certificate Type</th>
                  <th align="left">Root</th>
                  <th align="left">CA</th>
                  <th align="left">AS</th>
                  <th align="left">Voting (regular and sensitive)</th>
                </tr>
              </thead>
              <tbody>
                <tr>
                  <td align="left">
                    <em>Attribute:</em></td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>extKeyUsage</tt> extension itself</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                  <td align="left">
                    <bcp14>MAY</bcp14> be present (not required)</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>id-kp-serverAuth</tt></td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be included</td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be included</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be included, if the certificate is used on the server-side of a control-plane TLS session.</td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be included</td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>id-kp-clientAuth</tt></td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be included</td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be included</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be included, if the certificate is used on the client-side of a control-plane TLS session.</td>
                  <td align="left">
                    <bcp14>MUST NOT</bcp14> be included</td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>id-kp-timeStamping</tt></td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be included</td>
                  <td align="left"> </td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be included</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be included</td>
                </tr>
                <tr>
                  <td align="left">SCION-specific</td>
                  <td align="left">
                    <tt>id-kp-root</tt> <bcp14>MUST</bcp14> be included. For details, see <xref target="specatt"/></td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                  <td align="left">Regular voting cert: <tt>id-kp-regular</tt> <bcp14>MUST</bcp14> be included. For details, see <xref target="specatt"/><br/> Sensitive voting cert: <tt>id-kp-sensitive</tt> <bcp14>MUST</bcp14> be included. For details, see <xref target="specatt"/></td>
                </tr>
              </tbody>
            </table>
            <section anchor="specatt">
              <name>SCION-Specific Attributes</name>
              <t>The <tt>id-kp-root</tt>, <tt>id-kp-regular</tt>, and <tt>id-kp-sensitive</tt> attributes must be specified as follows:</t>
              <ul spacing="normal">
                <li>Root certificate:<br/> <tt>id-kp-root AttributeType ::= {id-scion id-cppki(1) id-kp(3) 3}</tt></li>
                <li>Regular voting certificate:<br/> <tt>id-kp-regular AttributeType ::= {id-scion id-cppki(1) id-kp(3) 2}</tt></li>
                <li>Sensitive voting certificate:<br/> <tt>id-kp-sensitive AttributeType ::= {id-scion id-cppki(1) id-kp(3) 1}</tt></li>
              </ul>
              <t>where <tt>id-scion</tt> specifies the root SCION object identifier (OID).</t>
              <t><strong>Note</strong>: The root SCION object identifier (OID) for the SCION open-source implementation is the IANA Private Enterprise Number '55324':<br/>
                <tt>id-scion ::= OBJECT IDENTIFIER {1 3 6 1 4 1 55324}</tt></t>
            </section>
          </section>
          <section anchor="basic-constr-ext">
            <name><tt>basicConstraints</tt> Extension</name>
            <t>The <tt>basicConstraints</tt> extension specifies whether the certificate subject may act as a CA. For the syntax and definition of the <tt>basicConstraints</tt> extension, see <eref target="https://handle.itu.int/11.1002/1000/13031">X509</eref>, clause 9.4.2.1.</t>
            <t>The <tt>basicConstraints</tt> extension includes the following attributes relevant for SCION:</t>
            <ul spacing="normal">
              <li>
                <tt>cA</tt> attribute: Specifies whether the certificate subject may act as a CA. If yes, this attribute <bcp14>MUST</bcp14> be set to TRUE.</li>
              <li>
                <tt>pathLenConstraint</tt> attribute: This attribute is only relevant if the <tt>cA</tt> attribute is set to TRUE. It specifies the maximum number of CA certificates that may follow this CA certificate in the certification chain. Value "0" means that this CA may only issue end-entity certificates, but no CA certificates. If the attribute is not set, there is no limit to the allowed length of the certification path.</li>
            </ul>
            <t>The settings of the <tt>basicConstraints</tt> extension differ for each SCION control-plane PKI certificate type. The next table shows the specifications per certificate type.</t>
            <table anchor="_table-6">
              <name>basicConstraints extension - Specifications per certificate type</name>
              <thead>
                <tr>
                  <th align="left">Certificate Type</th>
                  <th align="left">Root</th>
                  <th align="left">CA</th>
                  <th align="left">AS</th>
                  <th align="left">Voting (regular and sensitive)</th>
                </tr>
              </thead>
              <tbody>
                <tr>
                  <td align="left">
                    <em>Attribute:</em></td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                  <td align="left"> </td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>basicConstraints</tt> extension itself</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be present</td>
                  <td align="left">
                    <bcp14>SHOULD NOT</bcp14> be present</td>
                  <td align="left">
                    <bcp14>SHOULD NOT</bcp14> be present</td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>cA</tt></td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be set to TRUE</td>
                  <td align="left">
                    <bcp14>MUST</bcp14> be set to TRUE</td>
                  <td align="left">If the extension is present, this attribute <bcp14>MUST</bcp14> be set to FALSE</td>
                  <td align="left">If the extension is present, this attribute <bcp14>MUST</bcp14> be set to FALSE</td>
                </tr>
                <tr>
                  <td align="left">
                    <tt>pathLenConstraint</tt></td>
                  <td align="left">
                    <bcp14>SHOULD</bcp14> be set to "1", <bcp14>MUST</bcp14> be marked as "critical"</td>
                  <td align="left">
                    <bcp14>SHOULD</bcp14> be set to "0" (1), <bcp14>MUST</bcp14> be marked as "critical"</td>
                  <td align="left">If the extension is present, this attribute <bcp14>MUST</bcp14> be absent.</td>
                  <td align="left">If the extension is present, this attribute <bcp14>MUST</bcp14> be absent.</td>
                </tr>
              </tbody>
            </table>
            <t>(1) Control-plane CAs can only issue end-entity certificates.</t>
          </section>
        </section>
      </section>
    </section>
    <section anchor="trc-specification">
      <name>Trust Root Configuration Specification</name>
      <t>This section provides an in-depth specification of the trust root configuration (TRC) file (see <xref target="trc-spec"/>). The TRC contains policy information about an ISD and acts as a distribution mechanism for the trust anchors of that ISD. It enables securing the control-plane interactions, and is thus an integral part of the SCION infrastructure.</t>
      <t>The initial TRC of an ISD is signed during a signing ceremony and then distributed throughout the ISD. This signing ceremony follows specific rules; <xref target="trc-ceremony"/> describes these rules.</t>
      <section anchor="trc-spec">
        <name>TRC Specification</name>
        <t>The trust root configuration (TRC) is a signed collection of <eref target="https://handle.itu.int/11.1002/1000/13031">X.509</eref> v3 certificates. Additionally, the TRC contains ISD-specific policies encoded in a Cryptographic Message Syntax (CMS) <xref target="RFC5652"/> envelope.</t>
        <t>The TRC's certificates collection consists of a set of control-plane root certificates, which build the root of the certification chain for the AS certificates in an ISD. The other certificates in the TRC are solely used for signing the next TRC, a process called "voting". The verification of a new TRC thus depends on the policies and voting certificates defined in the previous TRC.</t>
        <t><strong>Note:</strong> See <xref target="cert-specs"/> for the general specifications of SCION's control-plane PKI certificates, as well as <xref target="cp-root-cert"/> and <xref target="cp-voting-cert"/>, for the specifications of the control-plane root certificates and voting certificates, respectively.</t>
        <t>This section provides a detailed specification of the TRC. It presents the TRC format definitions and describes the TRC payload fields. The section uses the ITU-T <eref target="https://handle.itu.int/11.1002/1000/14468">X.680</eref> syntax.</t>
        <section anchor="trc-states">
          <name> TRC Types and States</name>
          <t>The following types of TRCs exist:</t>
          <ul spacing="normal">
            <li>Initial: The very first TRC of an ISD is the initial TRC of that ISD. It is a special case of the base TRC, where the number of the ISD is specified.</li>
            <li>Base: A base TRC is either the initial TRC, or the first TRC after a trust reset (see <xref target="trust-reset"/>). Trust for a base TRC cannot be inferred by verifying a TRC update; base TRCs are trusted axiomatically, similarly to how root CA certificates are trusted by clients in the Web PKI.</li>
            <li>Update: All non-base TRCs are updated TRCs. They are the product of either a regular or a sensitive update.</li>
          </ul>
          <t>A TRC can have the following states:</t>
          <ul spacing="normal">
            <li>Valid: The validity period of a TRC is defined in the TRC itself, in the <tt>validity</tt> field (see <xref target="validity"/>). A TRC is considered valid if the current time falls within its validity period.</li>
            <li>Active: An active TRC is a valid TRC that can be used for verifying certificate signatures. This is either the latest TRC or the predecessor TRC, if it is still in its grace period (as defined in the <tt>gracePeriod</tt> field of the new TRC, see <xref target="grace"/>). No more than two TRCs can be active at the same time for any ISD.</li>
          </ul>
          <t><xref target="_figure-3"/> shows the content of both a base/initial TRC and the first regularly-updated TRC based on the base TRC. All elements of the shown TRCs are specified in detail in the following subsections.</t>
          <figure anchor="_figure-3">
            <name>The TRC on the left-hand side is the initial base TRC. The TRC on the right is the product of the first regular update of the base TRC.</name>
            <artwork><![CDATA[
+--------------------------------------------+        +--------------------------------------------+
|             TRC 1 (base, initial)          |        |             TRC 2 (regular update)         |
|+------------------------------------------+|        |+------------------------------------------+|
||- Version       - Core ASes               ||        ||- Version       - Core ASes               ||
||- ID            - Description             ||        ||- ID            - Description             ||
||- Validity      - No Trust Reset          ||        ||- Validity      - No Trust Reset          ||
||- Grace Period  - Voting Quorum           ||        ||- Grace Period  - Voting Quorum           ||
||- ...                                     ||        ||- ...                                     ||
|+------------------------------------------+|        |+------------------------------------------+|
|+--------------------++--------------------+|        |+--------------------++--------------------+|
||Votes (cert.indices)||   Regular Voting   ||        ||Votes (cert.indices)||   Regular Voting   ||
||                    ||    Certificates    ||        ||                    ||    Certificates    ||
||    (empty)         ||                    ||        ||    (1),(2)...      ||                    ||
||                    ||+-----+ +-----+     ||        ||                    ||+-----+ +-----+     ||
||                    ||| (1) | | (2) |     ||        ||                    ||| (1) | | (2) |     ||
||                    |||C    | |C    | ... ||        ||                    |||C    | |C    | ... ||
||                    ||| reg | | reg |     ||        ||                    ||| reg | | reg |     ||
|+--------------------+|+--+--+ +--+--+     ||        |+--------------------+|+-----+ +-----+     ||
|+--------------------+|   |       |        ||        |+--------------------+|                    ||
||                    ||   |       +--------++-----+  ||                    ||                    ||
||                    ||   +----------------++-+   |  ||                    ||                    ||
||    Signatures      |+--------------------+| |   |  ||    Signatures      |+--------------------+|
||                    |+--------------------+| |   |  ||                    |+--------------------+|
||+------------------+|| Sensitive Voting   || |   |  ||+------------------+|| Sensitive Voting   ||
|||73 A9 4E AO 0D ...|||    Certificates    || |   +--+>|48 AE E4 80 DB ...|||    Certificates    ||
||+------------------+||+-----+ +-----+     || |      ||+------------------+||+-----+ +-----+     ||
||+------------------+||| (3) | | (4) |     || |      ||+------------------+||| (3) | | (4) |     ||
|||53 B7 7C 98 56 ...||||C    | |C    |     || +------+>|7E BC 75 98 25 ...||||C    | |C    |     ||
||+------------------+||| sens| | sens| ... ||        ||+------------------+||| sens| | sens| ... ||
||        ...         ||+-----+ +-----+     ||        ||        ...         ||+-----+ +-----+     ||
|+--------------------++--------------------+|        |+--------------------++--------------------+|
|+------------------------------------------+|        |+------------------------------------------+|
||          CP Root Certificates            ||        ||          CP Root Certificates            ||
||                                          ||        ||                                          ||
|| +-----+ +-----+ +-----+ +-----+          ||        || +-----+ +-----+ +-----+ +-----+          ||
|| | (5) | | (6) | | (7) | | (8) |          ||        || | (5) | | (6) | | (7) | | (8) |          ||
|| |C    | |C    | |C    | |C    |          ||        || |C    | |C    | |C    | |C    |          ||
|| | root| | root| | root| | root| .....    ||        || | root| | root| | root| | root| .....    ||
|| +-----+ +-----+ +-----+ +-----+          ||        || +-----+ +-----+ +-----+ +-----+          ||
|+------------------------------------------+|        |+------------------------------------------+|
+--------------------------------------------+        +--------------------------------------------+
]]></artwork>
          </figure>
        </section>
        <section anchor="trc-format">
          <name> TRC Format</name>
          <t>The trust root configuration (TRC) of an ISD defines the roots of trust of the ISD, and builds the base of the ISD's control-plane PKI. It holds the root and voting certificates of the ISD and defines the ISD's trust policy.</t>
          <section anchor="trcpayload">
            <name> TRC Schema</name>
            <t>The following code block shows the format of a TRC specification file (the payload schema):</t>
            <artwork><![CDATA[
   TRCPayload  ::=  SEQUENCE {
       version   TRCFormatVersion,
       iD        TRCID,
       validity  Validity,

       gracePeriod   INTEGER,
       noTrustReset  BOOLEAN DEFAULT FALSE,
       votes         SEQUENCE OF INTEGER (SIZE (1..255)),

       votingQuorum  INTEGER (1..255),

       coreASes           SEQUENCE OF ASN,
       authoritativeASes  SEQUENCE OF ASN,
       description        UTF8String (SIZE (0..1024)),

       certificates       SEQUENCE OF Certificate }

   TRCFormatVersion  ::=  INTEGER { v1(0) }

   TRCID  ::=  SEQUENCE {
       iSD           ISD,
       serialNumber  INTEGER (1..MAX),
       baseNumber    INTEGER (1..MAX) }

   ISD  ::=  INTEGER (1..65535)

   Validity  ::=  SEQUENCE {
       notBefore  Time,
       notAfter   Time }

   ASN  ::=  INTEGER (1..281474976710655)
]]></artwork>
            <t>The <tt>TRCPayload</tt> sequence contains the identifying information of a TRC as well as policy information for TRC updates. Furthermore, it defines the list of certificates that build the trust anchor of the ISD.</t>
            <t>For signature calculation, the data that is to be signed is encoded using ASN.1 distinguished encoding rules (DER) <eref target="https://handle.itu.int/11.1002/1000/14472">X.690</eref>. For more details, see <xref target="signed-format"/>.</t>
          </section>
          <section anchor="trc-fields">
            <name> TRC Fields</name>
            <t>This section describes the syntax and semantics of all TRC payload fields.</t>
            <section anchor="version-field">
              <name> <tt>version</tt> Field</name>
              <t>The <tt>version</tt> field describes the version of the TRC format specification.</t>
              <t>Currently, the version <bcp14>MUST</bcp14> always be "v1".</t>
            </section>
            <section anchor="id">
              <name> <tt>iD</tt> Field</name>
              <t>The <tt>iD</tt> field specifies the unique identifier of the TRC.</t>
              <t>The identifier is a unique sequence of</t>
              <ul spacing="normal">
                <li>ISD number (<tt>iSD</tt> attribute),</li>
                <li>base number (<tt>baseNumber</tt> attribute), and</li>
                <li>TRC serial number (<tt>serialNumber</tt> attribute).</li>
              </ul>
              <t>All numbers <bcp14>MUST</bcp14> be positive integers.</t>
              <ul spacing="normal">
                <li>The <strong>ISD number</strong> <bcp14>MUST</bcp14> be an integer in the inclusive range from 64 to 4094 (i.e., the numbering range for public ISDs, see <xref target="input"/>).</li>
                <li>The <strong>base number</strong> indicates the starting point of the current TRC update chain. This starting point is either the ISD's initial TRC or the currently valid base TRC, if the valid base TRC differs from the initial TRC. The latter <bcp14>MUST</bcp14> be the case after a trust reset.</li>
                <li>The <strong>serial number</strong> represents the current update cycle, counting from the initial TRC of a specific ISD.</li>
              </ul>
              <t>A TRC where the base number is equal to the serial number is a base TRC. The initial TRC is a special case of a base TRC. An ISD's initial TRC <bcp14>MUST</bcp14> have a serial number of 1 and a base number of 1. With every TRC update, the serial number <bcp14>MUST</bcp14> be incremented by one. This facilitates uniquely identifying the predecessor and successor TRC in a TRC update chain.</t>
              <t>If a trust reset is necessary, a new base TRC is announced, in order to start a new and clean TRC update chain. The base number of this new TRC update chain <bcp14>SHOULD</bcp14> be the number following the serial number of the latest TRC that was produced by a non-compromised TRC update for this ISD.</t>
              <t><strong>Example</strong><br/>
The following simple example illustrates how to specify the ID of the TRCs in an TRC update chain for <em>ISD 74</em>. The IDs are given in a human-readable notation, where Bxx is the base number, and Sxx the serial number.</t>
              <table anchor="_table-7">
                <name>ID of TRCs in TRC update chain</name>
                <thead>
                  <tr>
                    <th align="left">Update</th>
                    <th align="left">TRC ID</th>
                    <th align="left">Remarks</th>
                  </tr>
                </thead>
                <tbody>
                  <tr>
                    <td align="left">Initial</td>
                    <td align="left">ISD74-B01-S01</td>
                    <td align="left"> </td>
                  </tr>
                  <tr>
                    <td align="left">Regular</td>
                    <td align="left">ISD74-B01-S02</td>
                    <td align="left">Only the serial number is incremented.</td>
                  </tr>
                  <tr>
                    <td align="left">Regular</td>
                    <td align="left">ISD74-B01-S03</td>
                    <td align="left">Only the serial number is incremented.</td>
                  </tr>
                  <tr>
                    <td align="left">Sensitive</td>
                    <td align="left">ISD74-B01-S04</td>
                    <td align="left">Only the serial number is incremented.</td>
                  </tr>
                  <tr>
                    <td align="left">Trust reset</td>
                    <td align="left">ISD74-<strong>B05</strong>-S05</td>
                    <td align="left">A trust reset includes the creation of a new base TRC. The new base number follows the serial number "04" of the latest TRC resulting from a non-compromised TRC update for this ISD.</td>
                  </tr>
                  <tr>
                    <td align="left">Regular</td>
                    <td align="left">ISD74-B05-S06</td>
                    <td align="left">Only the serial number is incremented.</td>
                  </tr>
                  <tr>
                    <td align="left">Regular</td>
                    <td align="left">ISD74-B05-S07</td>
                    <td align="left">Only the serial number is incremented.</td>
                  </tr>
                  <tr>
                    <td align="left">And so on</td>
                    <td align="left"> </td>
                    <td align="left"> </td>
                  </tr>
                </tbody>
              </table>
            </section>
            <section anchor="validity">
              <name> <tt>validity</tt> Field</name>
              <t>The <tt>validity</tt> field defines the validity period of the TRC. This is the period of time during which the TRC is in the "valid" state. The <tt>notBefore</tt> and <tt>notAfter</tt> attributes of the <tt>validity</tt> field specify the lower and upper bound of the time interval during which a TRC can be active.</t>
              <t><strong>Note:</strong> An active TRC is a valid TRC that can be used for verifying certificate signatures. The time period during which a TRC is active can be shorter than the time period during which the TRC is valid. For more information, see <xref target="trc-states"/>.</t>
              <t>The <tt>validity</tt> field consists of a sequence of two dates, as defined in section 7.2. of <eref target="https://handle.itu.int/11.1002/1000/13031">X.509</eref>.</t>
              <t>In addition to this standard definition, the following constraint applies to the <tt>validity</tt> field of the TRC used in SCION:</t>
              <ul spacing="normal">
                <li>All TRCs <bcp14>MUST</bcp14> have a well-defined expiration date. SCION implementations <bcp14>MUST NOT</bcp14> create TRCs that use the "99991231235959Z" generalized time value, and verifiers <bcp14>MUST</bcp14> error out when encountering such a TRC.</li>
              </ul>
            </section>
            <section anchor="grace">
              <name> <tt>gracePeriod</tt> Field</name>
              <t>The <tt>gracePeriod</tt> field of a TRC specifies the period of time during which the predecessor TRC can still be considered active (the "grace period"). The grace period starts at the beginning of the validity period of the new TRC.</t>
              <t>The validity period of the predecessor TRC ends when</t>
              <ul spacing="normal">
                <li>the grace period has passed,</li>
                <li>the predecessor’s expiration time is reached, or</li>
                <li>the successor TRC of the new TRC has been announced.</li>
              </ul>
              <t><strong>Note:</strong> The event that happens first marks the end of the predecessor's validity period.</t>
              <t>The <tt>gracePeriod</tt> field defines the grace period as a number of seconds (positive integer).</t>
              <t>The value of the <tt>gracePeriod</tt> field in a base TRC <bcp14>MUST</bcp14> be zero. The value of the <tt>gracePeriod</tt> field in a non-base TRC <bcp14>SHOULD</bcp14> be non-zero. It should be long enough to provide sufficient overlap between the TRCs in order to facilitate interruption-free operations in the ISD. If the grace period is too short, some control-plane AS certificates might expire before the corresponding AS can fetch an updated version from its CA.</t>
            </section>
            <section anchor="notrustreset">
              <name> <tt>noTrustReset</tt> Boolean</name>
              <t>The <tt>noTrustReset</tt> Boolean specifies whether a trust reset is forbidden by the ISD. Within a TRC update chain, this value CANNOT be changed by a regular or sensitive update. However, it is possible to change the <tt>noTrustReset</tt> value in the event of a trust reset, where a new base TRC is created.</t>
              <t>The <tt>noTrustReset</tt> field is optional and defaults to FALSE.</t>
              <t><strong>Important:</strong> Note that once the <tt>noTrustReset</tt> Boolean is set to TRUE and a trust reset is disallowed, this cannot be reversed. Therefore, ISDs <bcp14>SHOULD</bcp14> always set this value to FALSE, unless they have sufficiently assessed the risks and implications of making a trust reset impossible.</t>
              <t><strong>Note:</strong> A trust reset represents a special use case where a new base TRC is created. It therefore differs from a TRC update (regular or sensitive), as the signatures in the new base TRC cannot be verified with the certificates contained in the predecessor TRC. Instead, a trust reset base TRC must be axiomatically trusted, similarly to how the initial TRC is trusted.</t>
            </section>
            <section anchor="votes">
              <name><tt>votes</tt> Field</name>
              <t>The <tt>votes</tt> field contains a sequence of indices that refer to the voting certificates in the predecessor TRC. If index i is part of the <tt>votes</tt> field, then the voting certificate at position i in the <tt>certificates</tt> sequence of the predecessor TRC casted a vote on the successor TRC. For more information on the <tt>certificates</tt> sequence, see <xref target="cert"/>.</t>
              <t><strong>Note:</strong> In a base TRC, the <tt>votes</tt> sequence is empty.</t>
              <t>Every entry in the <tt>votes</tt> sequence <bcp14>MUST</bcp14> be unique.<br/>
Further restrictions on votes are discussed in <xref target="update"/>.</t>
              <t><strong>Note:</strong> The <tt>votes</tt> sequence of indices is mandatory in order to prevent stripping voting signatures from the TRC. Absence of the <tt>votes</tt> sequence makes it possible to transform a TRC with more voting signatures than the voting quorum into multiple verifiable TRCs with the same payload, but different voting signature sets. This would violate the requirement of uniqueness of a TRC.</t>
            </section>
            <section anchor="quorum">
              <name> <tt>votingQuorum</tt> Field</name>
              <t>The <tt>votingQuorum</tt> field defines the number of necessary votes on a successor TRC to make it verifiable.</t>
              <t>A voting quorum greater than one will prevent a single entity from creating a malicious TRC update.</t>
            </section>
            <section anchor="core">
              <name> <tt>coreASes</tt> Field</name>
              <t>The <tt>coreASes</tt> field contains the AS numbers of the core ASes in this ISD.</t>
              <t>Each core AS number <bcp14>MUST</bcp14> be unique in the sequence of core AS numbers. That is, each AS number must appear only once in the <tt>coreASes</tt> field.</t>
              <section anchor="revoking-or-assigning-core-status">
                <name> Revoking or Assigning Core Status</name>
                <ul spacing="normal">
                  <li>To revoke the core status of a given AS, remove the respective AS number from the sequence of AS numbers in the <tt>coreASes</tt> field.</li>
                  <li>To assign the core status to a given AS, add the respective AS number to the sequence of AS numbers in the <tt>coreASes</tt> field.</li>
                </ul>
                <t><strong>Important:</strong> Revoking or assigning the core status of/to an AS always requires a (sensitive) TRC update.</t>
              </section>
            </section>
            <section anchor="auth">
              <name> <tt>authoritativeASes</tt> Field</name>
              <t>The <tt>authoritativeASes</tt> field contains the AS numbers of the authoritative ASes in this ISD.</t>
              <t>Authoritative ASes are those ASes in an ISD that always have the latest TRCs of the ISD. As a consequence, authoritative ASes also start the announcement of a TRC update.</t>
              <ul spacing="normal">
                <li>Every authoritative AS <bcp14>MUST</bcp14> be a core AS and be listed in the <tt>coreASes</tt> field.</li>
                <li>Each authoritative AS number <bcp14>MUST</bcp14> be unique in the sequence of authoritative AS numbers. That is, each AS number must appear only once in the <tt>authoritativeASes</tt> field.</li>
              </ul>
              <section anchor="revoking-or-assigning-authoritative-status">
                <name> Revoking or Assigning Authoritative Status</name>
                <ul spacing="normal">
                  <li>To revoke the authoritative status of a given AS, remove the respective AS number from the sequence of AS numbers in the <tt>authoritativeASes</tt> field.</li>
                  <li>To assign the authoritative status to a given AS, add the respective AS number to the sequence of AS numbers in the <tt>authoritativeASes</tt> field.</li>
                </ul>
                <t><strong>Important:</strong> Revoking or assigning the authoritative status of/to an AS always requires a (sensitive) TRC update.</t>
              </section>
            </section>
            <section anchor="description">
              <name> <tt>description</tt> Field</name>
              <t>The <tt>description</tt> field contains a UTF-8 encoded string that describes the ISD.</t>
              <ul spacing="normal">
                <li>The <tt>description</tt> field <bcp14>SHOULD NOT</bcp14> be empty.</li>
                <li>The description of the ISD <bcp14>MUST</bcp14> be in English. Additionally, the <tt>description</tt> field <bcp14>MAY</bcp14> contain information in other languages.</li>
              </ul>
            </section>
            <section anchor="cert">
              <name><tt>certificates</tt> Field</name>
              <t>The voting ASes and the certification authorities (CAs) of an ISD are not specified explicitly in the ISD's TRC. Instead, this information is defined by the list of voting and root certificates in the <tt>certificates</tt> field of the TRC payload.</t>
              <t>The <tt>certificates</tt> field is a sequence of self-signed X.509 certificates. Each certificate in the certificate sequence must be one of the following types:</t>
              <ul spacing="normal">
                <li>a sensitive voting certificate,</li>
                <li>a regular voting certificate, or</li>
                <li>a CP root certificate.</li>
              </ul>
              <t>A certificate that is no control-plane root or voting certificate <bcp14>MUST NOT</bcp14> be included in the sequence of certificates in the <tt>certificates</tt> field.</t>
              <t><strong>Note</strong>: A certificate's type (voting or root) is specified in the <tt>extKeyUsage</tt> extension of the certificate, by means of the SCION-specific attributes <tt>id-kp-regular</tt>, <tt>id-kp-sensitive</tt>, and <tt>id-kp-root</tt>, respectively. For more information, see <xref target="ext-key-usage-ext"/>.</t>
              <t>The following constraints <bcp14>MUST</bcp14> hold for each certificate in the <tt>certificates</tt> field of the TRC payload:</t>
              <ul spacing="normal">
                <li>Each certificate <bcp14>MUST</bcp14> be unique in the sequence of certificates. That is, each certificate must appear only once in the <tt>certificates</tt> field.</li>
                <li>The <tt>issuer</tt> / <tt>serialNumber</tt> pair for each certificate <bcp14>MUST</bcp14> be unique.</li>
                <li>If an ISD-AS number is present in the distinguished name of the certificate, this ISD number <bcp14>MUST</bcp14> be equal to the ISD number of the TRC (which is defined in the <tt>iD</tt> field (see <xref target="id"/>).</li>
                <li>Every certificate <bcp14>MUST</bcp14> have a validity period that fully contains the validity period of this TRC. That is, the <tt>notBefore</tt> date of this TRC's validity period <bcp14>MUST</bcp14> be equal to or later than the certificate's <tt>notBefore</tt> date, and the <tt>notAfter</tt> date of this TRC's validity period <bcp14>MUST</bcp14> be before or equal to the certificate's <tt>notAfter</tt> date.</li>
                <li>Per certificate type, every certificate distinguished name <bcp14>MUST</bcp14> be unique.</li>
              </ul>
              <t>The following must hold for the entire sequence of certificates in the <tt>certificates</tt> field:</t>
              <ul spacing="normal">
                <li>
                  <tt>votingQuorum</tt> &lt;= count (sensitive voting certificates) <br/>
That is, the quorum defined in the TRC's <tt>votingQuorum</tt> field (<xref target="quorum"/>) must be smaller than or equal to the number of <em>sensitive</em> voting certificates specified in the TRC's <tt>certificates</tt> field.</li>
                <li>
                  <tt>votingQuorum</tt> &lt;= count (regular voting certificates) <br/>
That is, the quorum defined in the TRC's <tt>votingQuorum</tt> field (<xref target="quorum"/>) must be smaller than or equal to the number of <em>regular</em> voting certificates specified in the TRC's <tt>certificates</tt> field.</li>
              </ul>
            </section>
          </section>
        </section>
        <section anchor="signed-format">
          <name> TRC Signature Syntax</name>
          <t>A TRC contains policy information about an ISD and acts as a distribution mechanism for the trust anchors of that ISD. Each TRC (payload) is digitally signed. The syntax used to sign and encapsulate the TRC payload is the Cryptographic Message Syntax (CMS), as defined in <xref target="RFC5652"/>. The signed TRC payload is of the CMS signed-data content type, as defined in Section 5 of <xref target="RFC5652"/>, and encapsulated in a CMS <tt>ContentInfo</tt> element, as defined in Section 3 of <xref target="RFC5652"/>. For detailed information on the general syntax definitions of the Cryptographic Message Syntax, see sections 3 and 5 of <xref target="RFC5652"/>.</t>
          <section anchor="scion-specific-rules">
            <name>SCION-specific rules</name>
            <t>SCION implementations have to fulfil the following additional rules, on top of the general syntax rules from <xref target="RFC5652"/>:</t>
            <ul spacing="normal">
              <li>
                <t><tt>EncapsulatedContentInfo</tt> sequence:
                </t>
                <ul spacing="normal">
                  <li>The <tt>eContentType</tt> field must be set to "id-data".</li>
                  <li>The content of the <tt>eContent</tt> field must be the DER-encoded TRC payload. This has the benefit that the format is backwards compatible with PKCS #7, as described in Section 5.2.1 of <xref target="RFC5652"/>.</li>
                </ul>
              </li>
              <li>
                <t><tt>SignedData</tt> sequence:
                </t>
                <ul spacing="normal">
                  <li>The <tt>certificates</tt> field <bcp14>MUST</bcp14> be left empty. The certificate pool used to verify a TRC update is already specified in the <tt>certificates</tt> field of the predecessor TRC's payload (see also <xref target="cert"/>).</li>
                  <li>The <tt>version</tt> field <bcp14>MUST</bcp14> be set to "1". This is because SCION uses the "id-data" content type to encapsulate content info, and does not specify any certificate in the <tt>SignedData</tt> sequence  (see also Section 5.1 of <xref target="RFC5652"/>).</li>
                </ul>
              </li>
              <li>
                <t><tt>SignerIdentifier</tt> choice:
                </t>
                <ul spacing="normal">
                  <li>The type of signer identifier chosen here <bcp14>MUST</bcp14> be <tt>IssuerAndSerialNumber</tt>.</li>
                </ul>
              </li>
              <li>
                <t><tt>SignerInfo</tt> sequence:
                </t>
                <ul spacing="normal">
                  <li>The <tt>version</tt> field <bcp14>MUST</bcp14> be set to "1". This is because SCION uses the <tt>IssuerAndSerialNumber</tt> type of signer identifier (see also Section 5.3 of <xref target="RFC5652"/>).</li>
                  <li>The algorithm specified in the <tt>signatureAlgorithm</tt> field <bcp14>MUST</bcp14> be one of the algorithms supported by SCION (for details, see <xref target="certsign">signature Field - Additional Information</xref>).</li>
                  <li>The <tt>digestAlgorithm</tt> is determined by the algorithm specified in the <tt>signatureAlgorithm</tt> field.</li>
                </ul>
              </li>
            </ul>
          </section>
          <section anchor="trc-equality">
            <name> TRC Equality</name>
            <t>The signer infos in the signed TRC are part of an unordered set, per <xref target="RFC5652"/>. This implies that the signer infos can be reordered without affecting verification. Certain operations, however, require TRCs to be equal, according to the following equality definition:</t>
            <t><strong>Two TRCs are equal, if and only if their payloads are byte equal.</strong></t>
            <t>Two TRCs with byte equal payloads can be considered as equal, because the TRC payload exactly defines which signatures must be attached in the signed TRC:</t>
            <ul spacing="normal">
              <li>The required signatures from voting certificates are explicitly mentioned in the <tt>votes</tt> field of the payload: If index "i" is part of the <tt>votes</tt> field, then the voting certificate at position i in the <tt>certificates</tt> sequence of the predecessor TRC casted a vote on the successor TRC. See also <xref target="votes"/>.</li>
              <li>The required signatures for new certificates are implied by the currently valid TRC payload, and, in case of a TRC update, the predecessor payload.</li>
            </ul>
          </section>
        </section>
        <section anchor="certification-path-trust-anchor-pool">
          <name> Certification Path - Trust Anchor Pool</name>
          <t>The certification path of a control-plane AS certificate starts in a control-plane root certificate. The control-plane root certificates for a given ISD are distributed via the TRC. However, AS certificates and the corresponding signing CA certificates are <strong>not</strong> part of the TRC, but bundled into certificate chains and distributed separately from the corresponding TRC. This separation makes it possible to extend the validity period of the root certificate, and to update the corresponding TRC, without having to modify the certificate chain. To be able to validate a certification path, each AS must build a collection of root certificates from the latest TRC of the relevant ISD. The following section explains how to build a trust anchor pool.</t>
          <t><strong>Note:</strong> Any entity sending information that is secured by the CP-PKI, such as control-plane messages, <bcp14>MUST</bcp14> be able to provide all the necessary trust material, such as certificates, to verify said information. If any cryptographic material is missing in the process, the relying party <bcp14>MUST</bcp14> query the originator of the message for the missing material. If it cannot be resolved, the verification process fails. For more details, see 4.2 "Signing and Verifying Control-Plane Messages".</t>
          <section anchor="trc-selection">
            <name> TRC Selection For Trust Anchor Pool</name>
            <t>The selection of the right set of TRCs to build the trust anchor pool depends on the time of verification. The trust anchor pool is usually used to verify control-plane messages. In this case, the time of verification is the current time. However, if the trust anchor pool will be used for auditing, the time of verification is the point in time for which you want to check whether a given signature was verifiable.</t>
            <t>The selection algorithm for building the trust anchor pool is described in pseudo-python code below.</t>
            <sourcecode type="python"><![CDATA[
    def select_trust_anchors(trcs: Dict[(int,int), TRC], verification_time: int) -> Set[RootCert]:
        """
        Args:
            trcs: The dictionary mapping (serial number, base number) to the TRC for a given ISD.
            verification_time: The time of verification.

        Returns:
            The set of CP Root certificates that act as trust anchors.
        """
        # Find highest base number that has a TRC with a validity period
        # starting before verification time.
        base_nr = 1
        for trc in trcs.values():
            if trc.id.base_nr > base_nr and trc.validity.not_before <= verification_time:
                base_nr = trc.id.base_nr

        # Find TRC with highest serial number with the given base number and a
        # validity period starting before verification time.
        serial_nr = 1
        for trc in trcs[isd].values():
            if trc.id.base_nr != base_nr:
                continue
            if trc.id.serial_nr > serial_nr and trc.validity.not_before <= verification_time:
                serial_nr = trc.id.serial_nr

        candidate = trcs[(serial_nr, base_nr)]

        # If the verification time is not inside the validity period,
        # there is no valid set of trust anchors.
        if not candidate.validity.contains(verification_time):
            return set()

        # If the grace period has passed, only the certificates in that TRCs
        # may be used as trust anchors.
        if candidate.validity.not_before + candidate.grace_period < verification_time:
            return collect_trust_anchors(candidate)

        predecessor = trcs.get((serial_nr-1, base_nr))
        if not predecessor or predecessor.validity.not_after < verification_time:
            return collect_trust_anchors(candidate)

        return collect_trust_anchors(candidate) | collect_trust_anchors(predecessor)


    def collect_trust_anchors(trc: TRC) -> Set[RootCert]:
        """
        Args:
            trc: A TRC from which the CP Root Certificates shall be extracted.

        Returns:
            The set of CP Root certificates that act as trust anchors.
        """
        roots = set()
        for cert in trc.certificates:
            if not cert.basic_constraints.ca:
                continue
            roots.add(cert)
        return roots
]]></sourcecode>
          </section>
        </section>
        <section anchor="update">
          <name> TRC Updates</name>
          <t>All non-base TRCs of an ISD are updates of the ISD's base TRC(s). The TRC update chain consists of regular and sensitive TRC updates. The type of update determines the (payload) information that changes in the updated TRC. This section describes the rules that apply to updating a TRC in regard to the payload information contained in the TRC. Some rules are valid for both update types, some only apply to a regular or a sensitive TRC update, respectively. Based on the type of update, a different set of voters is necessary to create a verifiable TRC update. The section closes with a description of this signing process.</t>
          <section anchor="change-new">
            <name> Changed or New Certificates</name>
            <t>In the context of a TRC update,</t>
            <ul spacing="normal">
              <li>A certificate is <em>changing</em>, if the certificate is part of the <tt>certificates</tt> sequence in the predecessor TRC, but no longer part of the <tt>certificates</tt> sequence in the updated TRC. Instead, the <tt>certificates</tt> sequence of the updated TRC holds another certificate of the <em>same type</em> and with the <em>same distinguished name</em>.</li>
              <li>A certificate is <em>new</em>, if there is <strong>no</strong> certificate of the same type and distinguished name at all in the <tt>certificates</tt> sequence of the predecessor TRC.</li>
            </ul>
            <t><strong>Note:</strong> Every new sensitive or regular voting certificate in a TRC attaches a signature to the TRC. This is done to ensure that the freshly included voting entity agrees with the contents of the TRC it is now part of.</t>
          </section>
          <section anchor="update-rules-overview">
            <name> Update Rules - Overview</name>
            <t>The following table gives an overview of the types of TRC update as well as the rules that must apply in regard to the updated TRC's payload information.<br/>
The sections that follow provide more detailed descriptions of each rule.</t>
            <table anchor="_table-8">
              <name>Overview of the update types and corresponding rules</name>
              <thead>
                <tr>
                  <th align="left">Type of Update</th>
                  <th align="left">Payload Updated TRC - Unchanged Elements</th>
                  <th align="left">Payload Updated TRC - Required Changes</th>
                  <th align="left">Payload Updated TRC: Other Rules to Hold</th>
                </tr>
              </thead>
              <tbody>
                <tr>
                  <td align="left">Both Regular AND Sensitive Updates</td>
                  <td align="left">- <tt>iD</tt> field: <tt>iSD</tt> and <tt>baseNumber</tt> <br/> - <tt>noTrustReset</tt> field</td>
                  <td align="left">
                    <tt>iD</tt> field: <tt>serialNumber</tt> <bcp14>MUST</bcp14> be incremented by 1</td>
                  <td align="left">
                    <tt>votes</tt> field: Number of votes (indices) =&gt; number set in the <tt>votingQuorum</tt> field of the predecessor TRC</td>
                </tr>
                <tr>
                  <td align="left">Regular TRC Update</td>
                  <td align="left">- Quorum in the <tt>votingQuorum</tt> field<br/>- Core ASes in the <tt>coreASes</tt> field<br/>- ASes in the <tt>authoritativeASes</tt> field<br/>- Nr. and distinguished names of root &amp; voting certificates in the <tt>certificates</tt> field<br/>- Set of sensitive voting certificates in the <tt>certificates</tt> field</td>
                  <td align="left"> </td>
                  <td align="left">
                    <tt>votes</tt> field:<br/> - All votes must only refer to <em>regular</em> voting certificates in the predecessor TRC<br/>- Must include votes of each changed regular voting certificate from the predecessor TRC<br/> <tt>signatures</tt> field:<br/> - Must include signatures of each changed root certificate from the predecessor TRC</td>
                </tr>
                <tr>
                  <td align="left">Sensitive TRC Update</td>
                  <td align="left">If the update does not qualify as a regular update, it is a sensitive update</td>
                  <td align="left"> </td>
                  <td align="left">
                    <tt>votes</tt> field: <br/> - All votes must only refer to <em>sensitive</em> voting certificates in the predecessor TRC</td>
                </tr>
              </tbody>
            </table>
          </section>
          <section anchor="general-update-rules">
            <name> General Update Rules</name>
            <t>The following rules <bcp14>MUST</bcp14> hold for each updated TRC, independent of the update type:</t>
            <ul spacing="normal">
              <li>The <tt>iSD</tt> and <tt>baseNumber</tt> in the <tt>iD</tt> field <bcp14>MUST NOT</bcp14> change (see also <xref target="id"/>).</li>
              <li>The <tt>serialNumber</tt> in the <tt>iD</tt> field <bcp14>MUST</bcp14> be incremented by one.</li>
              <li>The <tt>noTrustReset</tt> field <bcp14>MUST NOT</bcp14> change (see also <xref target="notrustreset"/>).</li>
              <li>The <tt>votes</tt> sequence of the updated TRC <bcp14>MUST</bcp14> only contain indices that refer to sensitive or regular voting certificates in the predecessor TRC. This guarantees that the updated TRC only contains valid votes authenticated by sensitive or regular voting certificates in the predecessor TRC. For more information, see <xref target="votes"/> and <xref target="cert"/>.</li>
              <li>The number of votes in the updated TRC <bcp14>MUST</bcp14> be greater than or equal to the number set in the <tt>votingQuorum</tt> field of the predecessor TRC (see <xref target="quorum"/>). The number of votes corresponds to the number of indices in the <tt>votes</tt> field of the updated TRC.</li>
            </ul>
          </section>
          <section anchor="regular-trc-update">
            <name> Regular TRC Update</name>
            <t>A regular TRC update is a periodic re-issuance of the TRC where the entities and policies listed in the TRC remain unchanged.</t>
            <t>A TRC update qualifies as a regular update, if the following rules apply in regard to the TRC's payload information.</t>
            <ul spacing="normal">
              <li>
                <t>The settings of the following fields in the updated TRC <bcp14>MUST</bcp14> remain the same compared to the predecessor TRC:
                </t>
                <ul spacing="normal">
                  <li>The voting quorum set in the <tt>votingQuorum</tt> field.</li>
                  <li>The core ASes specified in the <tt>coreASes</tt> field.</li>
                  <li>The authoritative ASes specified in the <tt>authoritativeASes</tt> field.</li>
                  <li>The number of sensitive and regular voting certificates as well as CP root certificates included in the <tt>certificates</tt> field, and their distinguished names.</li>
                  <li>The set of sensitive voting certificates specified in the <tt>certificates</tt> field.</li>
                </ul>
              </li>
              <li>For every regular voting certificate that changes, the regular voting certificate in the predecessor TRC is part of the voters on the updated TRC. That is, for each changed regular voting certificate, an index in the <tt>votes</tt> field of the updated TRC <bcp14>MUST</bcp14> refer to the changed regular voting certificate in the predecessor TRC.</li>
              <li>For every CP root certificate that changes, the updated TRC <bcp14>MUST</bcp14> include a signature created with the private key belonging to the changed CP root certificate (which is part of the predecessor TRC).</li>
              <li>In order for a regular TRC update to be verifiable, all votes <bcp14>MUST</bcp14> be cast by <em>regular</em> voting certificates. That is, each index in the <tt>votes</tt> field of the regularly updated TRC <bcp14>MUST</bcp14> refer to a <em>regular</em> voting certificate in the <tt>certificates</tt> field of the predecessor TRC.</li>
            </ul>
          </section>
          <section anchor="sensitive-trc-update">
            <name> Sensitive TRC Update</name>
            <t>If a TRC update does not qualify as a regular update, it is considered a sensitive update.</t>
            <ul spacing="normal">
              <li>In order for a sensitive update to be verifiable, all votes <bcp14>MUST</bcp14> be cast by <em>sensitive</em> voting certificates. That is, each index in the <tt>votes</tt> field of the sensitively updated TRC <bcp14>MUST</bcp14> refer to a <em>sensitive</em> voting certificate in the <tt>certificates</tt> field of the predecessor TRC.</li>
            </ul>
          </section>
          <section anchor="signing-a-trc-update">
            <name> Signing a TRC Update</name>
            <t>As described above, a set of voters must cast votes on the updated TRC to make the it verifiable. The <tt>votingQuorum</tt> field of the predecessor TRC (see <xref target="quorum"/>) defines the required number of voters, which will represent regular or sensitive voting certificates, respectively. Furthermore, if one or more <em>new</em> certificates are added to the updated TRC, the corresponding voting representatives must also sign the updated TRC, in order to show that they have access to the private keys listed in these fresh certificates. This is called "showing proof-of-possession", and done by signing the TRC with the respective private key. For the distinction between changed and new certificates in a TRC update, see <xref target="change-new"/>.</t>
            <t>It is up to the ISD members to decide how the "casting a vote" procedure for updated TRCs will take place. Some ISDs will make a distinction between regular and sensitive updates. These ISDs divide the regular and sensitive signing keys in different security classes and act accordingly. For example, they keep the regular key in an online vault while the sensitive key would be stored offline in cold storage. This way, the regular TRC update would lend itself to being automated (since the keys are accessible online) whereas the sensitive one would require manual actions to access the offline key. Other ISDs, however, keep both regular and sensitive keys online and perform both updates automatically.</t>
          </section>
          <section anchor="trc-update-verification">
            <name> TRC Update Verification</name>
            <t>To verify a TRC update, the relying party must perform the following checks:</t>
            <ul spacing="normal">
              <li>Check that the specified update rules as described above are respected.</li>
              <li>
                <t>Check whether the update is regular or sensitive.
                </t>
                <ul spacing="normal">
                  <li>
                    <t>In case of a regular update,
                    </t>
                    <ul spacing="normal">
                      <li>check that the signatures for the changing certificates are present and verifiable, and</li>
                      <li>check that all votes are cast by a regular voting certificate.</li>
                    </ul>
                  </li>
                  <li>In case of a sensitive update, check that all votes are cast by a sensitive voting certificate.</li>
                </ul>
              </li>
              <li>In both cases, check that all signatures are verifiable, and no superfluous signatures are attached.</li>
            </ul>
            <t>If one or more of the above checks gives a negative result, the updated TRC should be rejected.</t>
          </section>
        </section>
      </section>
      <section anchor="trc-ceremony">
        <name>Initial TRC Signing Ceremony</name>
        <t>The very first base TRC of an ISD, called the initial TRC, is a special case of the base TRC where the number of the ISD is chosen. The initial TRC must be signed during a special signing ceremony--all voting representatives of the initial TRC need to take part in this signing ceremony to sign the agreed-upon TRC. As part of the ceremony, the public keys of all voters are exchanged. The TRC is then distributed throughout the ISD. All entities within an ISD can initially obtain an authentic TRC, by means of a secure off- or online mechanism.</t>
        <t><xref target="initial-ceremony"/> describes a possible procedure for the signing ceremony of an ISD's initial TRC. It is in principle up to the initial members of an ISD how to shape the signing ceremony. However, it is recommended having a process in line with the ceremony described in the Appendix.</t>
      </section>
    </section>
    <section anchor="deploy-cp-pki">
      <name>Deploying the CP PKI - Specifications</name>
      <t>This section provides several specifications regarding the deployment of the control-plane PKI.</t>
      <section anchor="deploying-a-trc">
        <name>Deploying a TRC</name>
        <section anchor="base-trc">
          <name> Base TRC</name>
          <t>Base TRCs are trust anchors and thus axiomatically trusted. All ASes within an ISD must be pre-loaded with the currently valid base-version TRC of their own ISD. For all specifications regarding the creation and distribution of initial/base TRCs, see <xref target="trc-ceremony"/>.</t>
        </section>
        <section anchor="trc-update">
          <name> TRC Update</name>
          <t>All non-base TRCs of an ISD are updates of the ISD's base TRC(s). The TRC update chain consists of regular and sensitive TRC updates. The specifications and rules that apply to updating a TRC are described in <xref target="update"/>.</t>
          <section anchor="trc-update-discovery">
            <name> TRC Update Discovery</name>
            <t>Relying parties <bcp14>MUST</bcp14> have at least one valid TRC available. Relying parties <bcp14>MUST</bcp14> discover TRC updates within the grace period defined in the updated TRC. They <bcp14>SHOULD</bcp14> discover TRC updates in a matter of minutes to hours. Additionally, the following requirement must be satisfied:</t>
            <t><strong>Requirement</strong><br/>
Any entity sending information that is secured by the CP-PKI <bcp14>MUST</bcp14> be able to provide all the necessary trust material to verify said information.</t>
            <t>SCION provides the following mechanisms for discovering TRC updates and fulfilling the above requirement:</t>
            <ul spacing="normal">
              <li>
                <em>Beaconing Process</em><br/>
The TRC version is announced in the beaconing process. Each AS must announce what it considers to be the latest TRC. Furthermore, each AS must include the hash value of the TRC contents to facilitate the discovery of discrepancies. Therefore, relying parties that are part of the beaconing process discover TRC updates passively. That is, a core AS notices TRC updates for remote ISDs that are on the beaconing path. A non-core AS only notices TRC updates for the local ISD through the beaconing process. The creation of a new TRC should trigger the generation of new control-plane messages, as the propagation of control-plane messages will help other ASes rapidly discover the new TRC.</li>
              <li>
                <em>Path Lookup</em><br/>
In every path segment, all ASes must reference the latest TRC of their ISD. Therefore, when resolving paths, every relying party will notice TRC updates, even remote ones.<br/>
                <strong>Note:</strong> The above mechanism only works when there is an active communication between the relying party and the ISD in question.</li>
            </ul>
          </section>
        </section>
      </section>
      <section anchor="signing-verifying-cp-messages">
        <name> Signing and Verifying Control-Plane Messages</name>
        <t>SCION requires that control-plane messages are signed. The main purpose of the SCION control-plane PKI is providing a mechanism to distribute and authenticate public keys that are used to verify control-plane messages and information. For example, each hop information in a path segment is signed by the respective AS. Consequently, all relying parties must be able to verify signatures with the help of the CP-PKI.</t>
        <t>The following sections specify the requirements that apply to the signing and verification of control-plane messages.</t>
        <section anchor="signing-a-control-plane-message">
          <name> Signing a Control-Plane Message</name>
          <t>An AS signs control-plane messages with the private key that corresponds to the (valid) AS' certificate.</t>
          <t>The AS <bcp14>MUST</bcp14> attach the following information as signature metadata. It is the minimum information a relying party requires to identify which certificate to use to verify the signed message.</t>
          <ul spacing="normal">
            <li>ISD-AS number: The ISD-AS number of the signing entity. For specification details, see <xref target="isd-as-nr"/>.</li>
            <li>Subject key identifier: The identifier of the public key that must be used to verify the message. For specification details, see <xref target="subject-key-id-ext"/>.</li>
          </ul>
          <t>Additionally, the signer <bcp14>SHOULD</bcp14> include the following information:</t>
          <ul spacing="normal">
            <li>Serial and base number of the latest TRC: Including this information allows relying parties to discover TRC updates and trust resets. For specification details, see <xref target="id"/>.</li>
            <li>Timestamp: For many messages, the time at which it was signed is useful information to ensure freshness.</li>
          </ul>
        </section>
        <section anchor="verifying-a-control-plane-message">
          <name> Verifying a Control-Plane Message</name>
          <t>When the relying party receives a control-plane message they want to verify, the relying party first needs to identify the certificate needed to validate the corresponding signature on the message.</t>
          <t>AS certificates are bundled together with the corresponding signing CA certificate into certificate chains. For efficiency, SCION distributes these certificate chains separately from the signed messages. A certificate chain is verified against the CP root certificate. However, the root certificate is <strong>not</strong> bundled in the chain, but with the TRC. This makes it possible to extend the validity period of the root certificate, and to update the corresponding TRC, without having to modify the certificate chain.</t>
          <t>To verify a control-plane message, the relying party must perform the following steps:</t>
          <ol spacing="normal" type="1"><li>Build a collection of root certificates from the latest TRC of the relevant ISD (that is, the ISD referenced in the signature metadata of the message). If the grace period (see <xref target="grace"/>) introduced by the latest TRC is still on-going, the root certificates in the second-to-latest TRC must also be included. For a description on how to build the correct collection of certificates, see <xref target="trc-selection"/>.</li>
            <li>If the signature metadata of the message contains the serial and base number of the latest TRC, the relying party must check that they have this latest TRC. If not, the relying party must request the latest TRC.</li>
            <li>
              <t>After constructing the pool of root certificates, the relying party must select the certificate chain used to verify the message. The AS certificate included in this certificate chain <bcp14>MUST</bcp14> have the following properties:
              </t>
              <ul spacing="normal">
                <li>The ISD-AS number in the subject of the AS certificate <bcp14>MUST</bcp14> match the ISD-AS number in the signature metadata. See also <xref target="isd-as-nr"/>.</li>
                <li>The subject key identifier of the AS certificate <bcp14>MUST</bcp14> match the subject key identifier in the signature metadata. See also <xref target="subject-key-id-ext"/>.</li>
                <li>The AS certificate <bcp14>MUST</bcp14> be valid at verification time. Normally, this will be the current time. In special cases, e.g., auditing, the time can be set to the past to check if the message was verifiable at the given time.</li>
              </ul>
            </li>
            <li>
              <t>After selecting a certificate chain to verify the control-plane messages, the relying party must verify the certificate chain, by:
              </t>
              <ul spacing="normal">
                <li>Executing the regular X.509 verification procedure. For details, see <eref target="https://handle.itu.int/11.1002/1000/13031">X.509</eref>.</li>
                <li>
                  <t>Checking that
                  </t>
                  <ul spacing="normal">
                    <li>all subjects of the certificates in the chain carry the same ISD number (see also <xref target="isd-as-nr"/>,</li>
                    <li>each certificate is of the correct type (see also <xref target="overview"/>), and</li>
                    <li>the CA certificate validity period covers the AS certificate validity period.</li>
                  </ul>
                </li>
              </ul>
            </li>
            <li>If the verification of the certificate chain was successful, the relying party can now verify the control-plane messages, with the root certificates from the certificate chain.</li>
          </ol>
          <t>If any cryptographic material is missing in the process, the relying party must query the originator of the message for the missing material. If it cannot be resolved, the verification process fails.</t>
          <t><strong>Important:</strong> An implication of the above procedure is that path segments should be verifiable at time of use. It is not enough to rely on path segments being verified on insert, since TRC updates that change the root key can invalidate a certificate chain.</t>
        </section>
      </section>
      <section anchor="creating-a-new-control-plane-as-certificate">
        <name>Creating a New Control-Plane AS Certificate</name>
        <t>The steps required to create a new AS certificate are the following:</t>
        <ol spacing="normal" type="1"><li>The AS creates a new key pair and a certificate signing request (CSR) using that key pair.</li>
          <li>The AS sends the certificate signing request to the relevant CA within the ISD.</li>
          <li>The CA uses its CA key and the CSR to create the new AS certificate.</li>
          <li>The CA sends the AS certificate back to the AS.</li>
        </ol>
      </section>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>The entire document is about security considerations.
More details will follow in future versions of this draft.</t>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t>Future iterations of this draft will comprise more detailed IANA considerations.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="RFC5280">
          <front>
            <title>Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile</title>
            <author fullname="D. Cooper" initials="D." surname="Cooper"/>
            <author fullname="S. Santesson" initials="S." surname="Santesson"/>
            <author fullname="S. Farrell" initials="S." surname="Farrell"/>
            <author fullname="S. Boeyen" initials="S." surname="Boeyen"/>
            <author fullname="R. Housley" initials="R." surname="Housley"/>
            <author fullname="W. Polk" initials="W." surname="Polk"/>
            <date month="May" year="2008"/>
            <abstract>
              <t>This memo profiles the X.509 v3 certificate and X.509 v2 certificate revocation list (CRL) for use in the Internet. An overview of this approach and model is provided as an introduction. The X.509 v3 certificate format is described in detail, with additional information regarding the format and semantics of Internet name forms. Standard certificate extensions are described and two Internet-specific extensions are defined. A set of required certificate extensions is specified. The X.509 v2 CRL format is described in detail along with standard and Internet-specific extensions. An algorithm for X.509 certification path validation is described. An ASN.1 module and examples are provided in the appendices. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5280"/>
          <seriesInfo name="DOI" value="10.17487/RFC5280"/>
        </reference>
        <reference anchor="RFC5398">
          <front>
            <title>Autonomous System (AS) Number Reservation for Documentation Use</title>
            <author fullname="G. Huston" initials="G." surname="Huston"/>
            <date month="December" year="2008"/>
            <abstract>
              <t>To reduce the likelihood of conflict and confusion when relating documented examples to deployed systems, two blocks of Autonomous System numbers (ASNs) are reserved for use in examples in RFCs, books, documentation, and the like. This document describes the reservation of two blocks of ASNs as reserved numbers for use in documentation. This memo provides information for the Internet community.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5398"/>
          <seriesInfo name="DOI" value="10.17487/RFC5398"/>
        </reference>
        <reference anchor="RFC5480">
          <front>
            <title>Elliptic Curve Cryptography Subject Public Key Information</title>
            <author fullname="S. Turner" initials="S." surname="Turner"/>
            <author fullname="D. Brown" initials="D." surname="Brown"/>
            <author fullname="K. Yiu" initials="K." surname="Yiu"/>
            <author fullname="R. Housley" initials="R." surname="Housley"/>
            <author fullname="T. Polk" initials="T." surname="Polk"/>
            <date month="March" year="2009"/>
            <abstract>
              <t>This document specifies the syntax and semantics for the Subject Public Key Information field in certificates that support Elliptic Curve Cryptography. This document updates Sections 2.3.5 and 5, and the ASN.1 module of "Algorithms and Identifiers for the Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile", RFC 3279. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5480"/>
          <seriesInfo name="DOI" value="10.17487/RFC5480"/>
        </reference>
        <reference anchor="RFC5652">
          <front>
            <title>Cryptographic Message Syntax (CMS)</title>
            <author fullname="R. Housley" initials="R." surname="Housley"/>
            <date month="September" year="2009"/>
            <abstract>
              <t>This document describes the Cryptographic Message Syntax (CMS). This syntax is used to digitally sign, digest, authenticate, or encrypt arbitrary message content. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="70"/>
          <seriesInfo name="RFC" value="5652"/>
          <seriesInfo name="DOI" value="10.17487/RFC5652"/>
        </reference>
        <reference anchor="RFC5758">
          <front>
            <title>Internet X.509 Public Key Infrastructure: Additional Algorithms and Identifiers for DSA and ECDSA</title>
            <author fullname="Q. Dang" initials="Q." surname="Dang"/>
            <author fullname="S. Santesson" initials="S." surname="Santesson"/>
            <author fullname="K. Moriarty" initials="K." surname="Moriarty"/>
            <author fullname="D. Brown" initials="D." surname="Brown"/>
            <author fullname="T. Polk" initials="T." surname="Polk"/>
            <date month="January" year="2010"/>
            <abstract>
              <t>This document updates RFC 3279 to specify algorithm identifiers and ASN.1 encoding rules for the Digital Signature Algorithm (DSA) and Elliptic Curve Digital Signature Algorithm (ECDSA) digital signatures when using SHA-224, SHA-256, SHA-384, or SHA-512 as the hashing algorithm. This specification applies to the Internet X.509 Public Key infrastructure (PKI) when digital signatures are used to sign certificates and certificate revocation lists (CRLs). This document also identifies all four SHA2 hash algorithms for use in the Internet X.509 PKI. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5758"/>
          <seriesInfo name="DOI" value="10.17487/RFC5758"/>
        </reference>
        <reference anchor="RFC6996">
          <front>
            <title>Autonomous System (AS) Reservation for Private Use</title>
            <author fullname="J. Mitchell" initials="J." surname="Mitchell"/>
            <date month="July" year="2013"/>
            <abstract>
              <t>This document describes the reservation of Autonomous System Numbers (ASNs) that are for Private Use only, known as Private Use ASNs, and provides operational guidance on their use. This document enlarges the total space available for Private Use ASNs by documenting the reservation of a second, larger range and updates RFC 1930 by replacing Section 10 of that document.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="6"/>
          <seriesInfo name="RFC" value="6996"/>
          <seriesInfo name="DOI" value="10.17487/RFC6996"/>
        </reference>
        <reference anchor="RFC2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="8174"/>
          <seriesInfo name="DOI" value="10.17487/RFC8174"/>
        </reference>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="BARRERA17">
          <front>
            <title>The SCION internet architecture</title>
            <author fullname="David Barrera" initials="D." surname="Barrera">
              <organization>ETH Zürich in Switzerland</organization>
            </author>
            <author fullname="Laurent Chuat" initials="L." surname="Chuat">
              <organization>ETH Zürich in Switzerland</organization>
            </author>
            <author fullname="Adrian Perrig" initials="A." surname="Perrig">
              <organization>ETH Zürich in Switzerland</organization>
            </author>
            <author fullname="Raphael M. Reischuk" initials="R." surname="Reischuk">
              <organization>ETH Zürich in Switzerland</organization>
            </author>
            <author fullname="Pawel Szalachowski" initials="P." surname="Szalachowski">
              <organization>ETH Zürich in Switzerland</organization>
            </author>
            <date month="May" year="2017"/>
          </front>
          <seriesInfo name="Communications of the ACM" value="vol. 60, no. 6, pp. 56-65"/>
          <seriesInfo name="DOI" value="10.1145/3085591"/>
          <refcontent>Association for Computing Machinery (ACM)</refcontent>
        </reference>
        <reference anchor="CHUAT22" target="https://doi.org/10.1007/978-3-031-05288-0">
          <front>
            <title>The Complete Guide to SCION</title>
            <author initials="L." surname="Chuat" fullname="Laurent Chuat">
              <organization>ETH Zuerich</organization>
            </author>
            <author initials="M." surname="Legner" fullname="Markus Legner">
              <organization>ETH Zuerich</organization>
            </author>
            <author initials="D." surname="Basin" fullname="David Basin">
              <organization>ETH Zuerich</organization>
            </author>
            <author initials="D." surname="Hausheer" fullname="David Hausheer">
              <organization>Otto von Guericke University Magdeburg</organization>
            </author>
            <author initials="S." surname="Hitz" fullname="Samuel Hitz">
              <organization>Anapaya Systems</organization>
            </author>
            <author initials="P." surname="Mueller" fullname="Peter Mueller">
              <organization>ETH Zuerich</organization>
            </author>
            <author initials="A." surname="Perrig" fullname="Adrian Perrig">
              <organization>ETH Zuerich</organization>
            </author>
            <date year="2022"/>
          </front>
          <seriesInfo name="ISBN" value="978-3-031-05287-3"/>
        </reference>
        <reference anchor="I-D.scion-overview" target="https://datatracker.ietf.org/doc/draft-dekater-panrg-scion-overview/">
          <front>
            <title>SCION Overview</title>
            <author initials="C." surname="de Kater" fullname="Corine de Kater">
              <organization>ETH Zuerich</organization>
            </author>
            <author initials="N." surname="Rustignoli" fullname="Nicola Rustignoli">
              <organization>ETH Zuerich</organization>
            </author>
            <author initials="A." surname="Perrig" fullname="Adrian Perrig">
              <organization>ETH Zuerich</organization>
            </author>
            <date year="2022"/>
          </front>
        </reference>
        <reference anchor="I-D.scion-components" target="https://datatracker.ietf.org/doc/draft-rustignoli-panrg-scion-components/">
          <front>
            <title>SCION Components Analysis</title>
            <author initials="N." surname="Rustignoli" fullname="Nicola Rustignoli">
              <organization>ETH Zuerich</organization>
            </author>
            <author initials="C." surname="de Kater" fullname="Corine de Kater">
              <organization>ETH Zuerich</organization>
            </author>
            <date year="2022"/>
          </front>
        </reference>
      </references>
    </references>
    <?line 1333?>

<section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>Many thanks go to Samuel Hitz (Anapaya), Fritz Steinmann (SIX Group AG), Juan A. Garcia Prado (ETH Zurich) and Russ Housley (IETF) for reviewing this document. We are also very grateful to Adrian Perrig (ETH Zurich), for providing guidance and feedback about each aspect of SCION. Finally, we are indebted to the SCION development teams of Anapaya and ETH Zurich, for their practical knowledge and for the documentation about the CP PKI, as well as to the authors of <xref target="CHUAT22"/> - the book is an important source of input and inspiration for this draft.</t>
    </section>
    <section numbered="false" anchor="initial-ceremony">
      <name>Appendix A. Signing Ceremony Initial TRC</name>
      <t>The following sections describe a possible signing ceremony for the first (initial) base TRC of an ISD. Although each ISD is free to decide how to shape this signing ceremony, it is recommended establishing a procedure similar to the one below.</t>
      <section numbered="false" anchor="ceremony-participants">
        <name> Ceremony Participants</name>
        <t>A signing ceremony includes participants from member organizations of the respective Isolation Domain.
The participants of the signing ceremony fulfill different roles:</t>
        <ul spacing="normal">
          <li>The <strong>ceremony administrator</strong> is in charge of moderating the signing process. He/she guides all participants through the steps they need to take. The ceremony administrator may also act as an intermediary between participants when they share information with each other.</li>
          <li>A <strong>voting AS representative</strong> is capable of creating voting signatures on the TRC. This means the voting representative is in possession of a device with the private keys of the respective certificates in the TRC.</li>
          <li>A <strong>witness</strong> is any person that participates in the ceremony as a passive entity. The witness has no active role in any of the steps of the ceremony, but can stop the process and inquire for more information if they feel the integrity of the process might have been compromised.</li>
        </ul>
        <t><strong>Note:</strong> It is assumed that the member organizations of the ISD have decided in advance, before the signing ceremony, on the roles of the ceremony participants. That is, they have reached agreement about the Certificate Authority (CA) ASes (that will also issue the root certificates), the voting ASes, the representatives of the voting ASes, the ceremony administrator and the witnesses.</t>
        <t><strong>Note:</strong> For the signing ceremony, it is assumed that all parties are trustworthy. Issues encountered during the ceremony are assumed to be caused by honest mistakes, and not by malicious intent. Hash comparison checks are included to counter mistakes, such that every participant is sure that they operate on the same data. Furthermore, the private keys of each participant never leave their machine. The ceremony administrator does not have to be entrusted with private keys.</t>
      </section>
      <section numbered="false" anchor="ceremony-preparations">
        <name>Ceremony Preparations</name>
        <t>Prior to the ceremony, participants decide on the physical location of the ceremony, the devices that will be used during the ceremony and the policy of the ISD. Specifically, the voting entities agree on the following parameters:</t>
        <ul spacing="normal">
          <li>validity of the TRC,</li>
          <li>voting quorum,</li>
          <li>core ASes/authoritative ASes,</li>
          <li>description, and</li>
          <li>list of CP root certificates.</li>
        </ul>
        <t>When these values are agreed upon, a number of voters, equal to or larger than the specified voting quorum, needs to execute the signing ceremony. For the base TRC, all voting entities need to be present with both their sensitive and regular voting keys. The ceremony process is structured in multiple rounds of data sharing. The ceremony administrator leads the interaction and gives instructions to each participant.</t>
        <section numbered="false" anchor="location">
          <name> Location</name>
          <t>The location must provide electricity and enough power sockets for each participant. Furthermore, it should provide a monitor (or projector) that allows the ceremony administrator to screen cast.</t>
        </section>
        <section numbered="false" anchor="devices">
          <name> Devices</name>
          <t>Each party brings their own device that is provisioned with the required material, as described below.</t>
          <ul spacing="normal">
            <li>Device to exchange data. This device can either be provided by the ceremony administrator, or, if preferable, by any of the voting representatives.</li>
            <li>Ceremony administrator's device: The ceremony administrator should bring a machine that is capable of creating and verifying a TRC. Furthermore, it needs to be able to compute the SHA-512 digest (hash value) of files.</li>
            <li>Voting representative's device: The voting representative should bring a machine that is capable of signing and verifying TRCs. Thus, the machine needs to have access to all the voting private keys. Furthermore, it needs to be able to compute the SHA-512 digest (hash value) of the files. The exact binaries that are required are described in a separate document.</li>
          </ul>
          <t><strong>Important:</strong> It is very important that all devices, especially the data exchange device, are not compromised. Therefore, the ceremony should ideally include a procedure to verify that the devices are secure.</t>
        </section>
        <section numbered="false" anchor="preparation-steps">
          <name>Preparation Steps</name>
          <t>Each party involved in a TRC signing ceremony must go through a few steps in preparation for the ceremony. This section outlines these steps.</t>
          <section numbered="false" anchor="preparatory-tasks-of-the-ceremony-administrator">
            <name> Preparatory Tasks of the Ceremony Administrator</name>
            <t>In the preparation phase of the TRC Signing Ceremony, the ceremony administrator has the following tasks:</t>
            <ol spacing="normal" type="1"><li>Send out the high-level TRC Signing Ceremony description and the document describing the TRC Signing Ceremony Phases to the participants, all in digital form.</li>
              <li>Remind all representatives of the voting ASes that they need to agree on a common TRC policy before scheduling the TRC ceremony.</li>
              <li>Bring all digitally distributed documents as a printout for all parties that take part.</li>
            </ol>
          </section>
          <section numbered="false" anchor="preparatory-tasks-of-the-voting-as-representatives">
            <name> Preparatory Tasks of the Voting AS Representatives</name>
            <t>The preparatory task of the representatives of the voting ASes (short: the voters) is to generate the necessary certificates.</t>
            <t><strong>Important:</strong> Before generating the certificates, all voters need to agree on a preliminary TRC policy, in particular on the <strong>validity period of the TRC</strong>. This is necessary because all the certificates that are generated in advance must <strong>cover the full TRC validity period</strong>. The other policy values could be amended during the ceremony itself.</t>
            <t>Each representative of a voting AS must create the following keys and certificates:</t>
            <ul spacing="normal">
              <li>A sensitive voting private key, and a certificate holding the corresponding public key.</li>
              <li>A regular voting private key, and a certificate holding the corresponding public key.</li>
            </ul>
          </section>
          <section numbered="false" anchor="preparatory-tasks-of-the-certificate-authority-ases">
            <name>Preparatory Tasks of the Certificate Authority ASes</name>
            <t>Each AS that will be a Certificate Authority (a so-called CA AS) must ensure that the following key and certificate is available:</t>
            <ul spacing="normal">
              <li>A control-plane root private key, and a certificate holding the corresponding public key.</li>
            </ul>
            <t>This implies that there will be one control-plane root certificate per CA AS.</t>
            <t><strong>Note</strong>: Representatives of CA ASes must not be present at the signing ceremony themselves, as they do not have to put a signature on the TRC. However, if a CA AS does not attend the signing ceremony in person, it must ensure that the corresponding root certificate is available at the ceremony to be shared.</t>
          </section>
        </section>
      </section>
      <section numbered="false" anchor="ceremony-process">
        <name> Ceremony Process</name>
        <t>The ceremony process for the initial base TRC is structured in multiple rounds of data sharing. The ceremony administrator leads the interaction and instructs each participant with what to do.</t>
        <t>The ceremony process contains the following phases:</t>
        <ul spacing="normal">
          <li>
            <xref target="phase1">Phase 1: Certificate Exchange</xref>. In the first phase of the ceremony, all voting parties share the certificates that must be part of the TRC with the ceremony administrator.</li>
          <li>
            <xref target="phase2">Phase 2: Generation of the TRC Payload</xref>. In the second phase, the ceremony administrator generates the TRC payload based on the bundled certificates and the agreed-upon ISD policy.</li>
          <li>
            <xref target="phase3">Phase 3: TRC Signing</xref>. In the third phase, each voting representative attaches the required signatures to the TRC.</li>
          <li>
            <xref target="phase4">Phase 4: TRC Validation</xref>. In the final phase of the ceremony, all voting representatives share the signed TRC with the ceremony administrator, who aggregates it in a single signed TRC document.</li>
        </ul>
        <t>A detailed description of each phase follows below.</t>
        <section numbered="false" anchor="phase1">
          <name> Phase 1: Certificate Exchange</name>
          <t>In Phase 1 of the signing ceremony, all parties share the certificates that must be part of the TRC with the ceremony administrator. For the representatives of the voting ASes, these are the sensitive and the regular voting certificates. For the representatives of the CA ASes, these are the CP root certificates. If a CA AS does not attend the signing ceremony in person, it must ensure that the corresponding root certificate is available at the ceremony to be shared.</t>
          <t>The actual sharing happens over the data exchange device, which goes from one voting representative to the next. Each representative copies the requested certificates from their own machine onto the data exchange device, before forwarding the device to the next voter. The last representative returns the device to the ceremony administrator.</t>
          <t><strong>Important:</strong> Note that only the <strong>certificates</strong> must be shared during this step, <strong>not</strong> the private keys. Copying a private key by mistake invalidates the security of the ceremony.</t>
          <t>For each provided certificate, the ceremony administrator checks that its validity period covers the previously agreed-upon TRC validity, that the signature algorithms are correct, and that the certificate is of the valid type (root, sensitive voting or regular voting certificate). If the results of these checks are as expected, the ceremony administrator computes the SHA256 sum for each certificate.</t>
          <t>The ceremony administrator then aggregates and bundles the provided certificates, and calculates the hash value (SHA-512 digest) over the entire bundle. Additionally, the ceremony administrator displays all hash values on the monitor.</t>
          <t>The ceremony administrator now shares the bundle with the representatives of the voting and CA ASes. This could happen again via the data exchange device, which goes from one representative to the next. Each representative verifies that the certificates they contributed have the same hash value as the displayed value on the monitor. Furthermore, all representatives must confirm that the hash value of the bundled certificates on their machine is equal to the value on the monitor.</t>
          <t>Phase 1 is concluded when every representative has confirmed that the SHA256 sums are correct.</t>
          <t><strong>Note:</strong> If there is a mismatch in any of the SHA256 sums, Phase 1 needs to be repeated.</t>
        </section>
        <section numbered="false" anchor="phase2">
          <name>Phase 2: Generation of the TRC Payload</name>
          <t>In Phase 2 of the ceremony, the ceremony administrator generates the TRC payload based on the bundled certificates and the agreed-upon ISD policy. The result is displayed on the monitor along with a hash value (SHA-512 digest).</t>
          <t>To be able to generate the payload, the ceremony administrator must ask the voting representatives for</t>
          <ul spacing="normal">
            <li>The ISD number of the ISD. The number (identifier, ID) of an ISD must be chosen and agreed upon by the participants during the signing ceremony of the ISD's initial TRC. The ceremony administrator needs the ISD number to specify the identifier (ID) of the initial TRC. This <tt>iD</tt> is part of the TRC payload. For more information, see <xref target="id"/>.</li>
            <li>The description of the TRC. For more information, see <xref target="description"/>.</li>
            <li>The AS numbers of the core ASes of the ISD. For more information, see <xref target="core"/>.</li>
            <li>The AS numbers of the authoritative ASes of the ISD. For more information, see <xref target="auth"/>.</li>
            <li>The voting quorum for the next TRC update. For more information, see <xref target="quorum"/>.</li>
            <li>The validity period of the new TRC. For more information, see <xref target="validity"/>.</li>
          </ul>
          <t><strong>Note:</strong> It is assumed that the voting ASes have agreed on the answers to the above questions in advance, before the signing ceremony.</t>
          <t>The ceremony administrator can now specify the TRC payload variables in the payload template file, and show the filled-in template on the monitor. When the voters have verified the data, the ceremony administrator can compute the DER encoding of the TRC data as well as the SHA256 sum of the TRC payload file. The ceremony administrator then distributes the TRC payload (via the data exchange device) to all voting representatives, who verify the payload's hash value. The voters do this by computing the hash value of the TRC payload on their machine and checking whether their value matches the one on the monitor.</t>
          <t>Phase 2 successfully concludes once every voting representative confirms that the contents of the TRC payload are correct.</t>
        </section>
        <section numbered="false" anchor="phase3">
          <name>Phase 3: TRC Signing</name>
          <t>In Phase 3, each voting representative attaches a signature created with each one of their private voting keys to the TRC (payload file). They do this on their own machine. The purpose of signing a TRC that contains newly introduced public keys with the corresponding private keys is to prove the possession of the private keys.</t>
          <t>Phase 3 concludes after all voting representatives have cast their votes.</t>
        </section>
        <section numbered="false" anchor="phase4">
          <name> Phase 4: TRC Validation</name>
          <t>In Phase 4, all voting representatives share the signed TRC with the ceremony administrator. This happens again over the data exchange device, which goes from one voter to the next. Each voting representative copies the TRC payload signed with the voter's private keys from their own machine onto the data exchange device. The last voter returns the device to the ceremony administrator, who assembles the final TRC by aggregating the payload data with the votes (signatures) cast by the voting representatives.</t>
          <t>The signed TRC is validated by inspecting its contents on the monitor and verifying the signatures based on the exchanged certificates in Phase 1. The ceremony administrator then shares the signed TRC with all participants. Each of them must then inspect it once more, and verify it based on the certificates exchanged in Phase 1. At this point, the ceremony is completed. All participants have the signed TRC, and can use it to distribute the trust anchors for their ISD.</t>
        </section>
      </section>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+2923IcR5Io+I6vyAOZrVBQVZEASV3QLZ0DgqSE0xLJIaDu
mWlrayaqEkAOqyprMrMAoUmuzUecfVizXbP5h/2D+ZT+kvVrhEdkZKFAUZpZ
W2F6RCAz4+bh4eF3H41GW23ZzoqDbPvk6PjF8+yoWrR1NRu9nOWLInv5h+Pt
rfzsrC6u/BcvR/R4krfFRVXfHGTl4rzaalZn87JpSmh/syzw4bRYFvCfRbu1
Na0mi3wOT6d1ft6OpsUbaFyPmgl8Plq+KUf3H2zBCA+2PsnyushhrONXp8+2
4c/rqn5zUVerJTx7mbeX2eE1fJE9L1p8Uy4uslffbm+9KW7gz+lBdryAfhdF
O3qCA21dFYtVcQDdZLf3AR/xzLdfFU2R15PL7FtsRG/meTmDN8t8UV/8j7Ju
z8dVfUFv8EN4c9m2y+bg3r3r6+txWfD7e9hqhB+UV8W96+LsHrW/t70F8ynb
y9UZNCQY5E1TTcq8hV/vMVAmSwDLX49HT/DjGUCrac0ocaMxdzcuq7j5vR6I
jy/b+Wx7aytftZdVfbCVjbIM9qw5yI7G2bTI/oCfw9Dwwzt3VNUlYET4ChZ5
kDFaHPrZ8LuCYTaZvvkfNCpCZMuM83ycvVo1bXmxqGalHel5OalmeeflBmMt
yokda1HVc/joCjAgy149O3q0/+V9/fXBV1/qrw/9088f7euvXzzSDz7/6qvP
D7a2EMtNf48PX716+upw74uD7MmL4/He/fHe3sNH9x7c//LRo6/24IOj7348
PN2n/gCz5JCdXhYAyflyVrRF9u2qBHC2Fa9qmz6cAnAPsv37+/vcLq8vCth5
3fhpVRJm4XD3739x76svvhw9gNOzN7oPq/tydJ9aNUVdFg1OmEfPsuOTx88P
svDrL0YP6K1DAfoZyb+yS9+Ps6PLVd66p7xH3+erGk529I626Onpd9k/r2AG
k8t0lz+Ms++Li4XikOvzh7x+s2rid5v1+WScPc5hxVGXT/Krchq92bjD7/JV
c1l0psl9dl5Sty9a2M2ragFbi32/KbIfF4AvdVO2N7C+i2lxtgLMTI54AiOW
7d+i0U7y+aqYhW9oqMNFvsxv8uzkpmmLeZPu8+U4+wGazzqLeAn4V3febQaa
wzE0r+vyIurzcFqX+SJ+l+gTyNKYCVEFsLkqi+vgkPAZfyGvNjoVeZu3dQ7w
rj3xhTsnIn5EfUfhyPduPwIdgpitpYkbwzFBALNbaOB/xh5NgFxVCzjsTWKX
jtxLRMjZTVM2H2HDarfsYM/8TDbYtV8Suh8BI7ZGo1GWnzUIBWCQTi/LJgMA
rOZIVZc1cCAI0xauixahkU2qxaRYtlm+mELvDUw7q87pPW/E7kQYtyUzbquz
WTnJ/lDcAEt0XucwzmrSAs3OdoB5G+wOudmnTbbkL4GDQj7OfjmvpsVsLP3v
nEzyWX5WzoCSDZVLHNJ0jhsAJt7F2YsFMFU/taOLAig4P1owk9UMMlhgni2B
/RrlyH4NYTg8lNMK7m73HbFTZVvQDMYZXpfRwv5wPARoZg3sfCu86DC7hHnM
iiab1DfLtrqo8+UlrGmOW1DmM5rlLL9heJ5Xq8WUJwcXOj1CRAJ4lxN+vKyr
STGFCTQwR17/ODtucQWrpphmZzcOejK5jCcHxN90VdC4QGfK8xtaeOZYiGrB
oDtblbMpT+sMLqmGZqR9N8tigrNnBKDdwK9gAjDHphrBhswKC/4nBMpmHKPT
eVlDByXOdLqaFBatpNfiEth1j01+YRbqeZNdw32B/05mOaxK4NXgulveKcRR
gRKArmxxC2EqtLLZrLpm6NHKfHNB5Gl5fl4QV4F8OD2eFHXLH8LfuUzxlGb+
qqpaxMPz8mLFuMbo4laN+6AjQevL6hrnCULJrLqhfq4vq1kRIT3Ajk7mvJwC
Qm0Bg38sYCNmcyuJkNkO4+HgYyCZojJsbh86K3ix1/7jC+BLYqlsSVNMeHop
5MDu3G4GdEZPXLmYzFZTlJ0iZIJXLY4IMyhmxZzI2I7dxyH23jD+w6SKZjDU
rS3rrC4YmZvLctnwjspMASTnyLTgeHZTEJJXyEhPixakAABNGr3orOGEz2bV
5I17zAuCfd/dfV7BpbW7mz2DHQMyhsLr1J5ZPHceEouI0gXkzJKxIaygyN6+
FYHg/fthVsjZnt0AB50vcVn7wQGjRT49feYE2owE2ga66XJP798TAO0rf1W+
f484/ckn2WlRz0u47KqLG1xsR9B3WLy7e5AmvHiMPc6NEji3gkHhXMEF10Mh
YXvxMPacCdiSedE0+UXRKMHNAXgtvljCNT0pEX0IaRhnzCFqL/MWlQd8OuCk
z/MFdCSoWSO1mFhqAVh5+uoI7iXsx+InocLhqq0W1bwCeYQZ7Gzn8IQgc7jA
WevLhl/SRPUKg5MP+5nDcPM5LCqfAthLvOhRdFR4jAXLcpQFhwQMbQ+LBRbN
bXyDmzwpFM3rIXYMbNEN3YMrL19MoBX0DjxNu6LLJzsEmeKYegP+I1+UfxMw
LxFnAWbz1awtYXx3S3soLgBe07IGDJ4RKVjAbwRX4OMucRJEXkOy7XrBDnAm
OF1o5L84PBH4xpdWtnN88oTgeyzEcNgFc4ObUOCWIXnjFdEJhd0GtIbtm7Ge
B7CO78bSDcPnskGQwUiAXk9zQFL4lSfaMJ3D7hkGDUAYAYfqqOy6hMs7R1gj
LRCUKhZXZV0t6K7ZKcfFeOj3/F9WddlMS6JPg3F2CNjbNOXZTJiqTG56nAmi
6hleGPUcJpzPKqBQC5ozrOaMrhEU5nHi58W0qD1R468YnkdIbw9PEIC0sHjh
DF/CU0FH2hm4i90Bm8JDII+rEuTa6RrgC2gnPCKeRD7wuClwEJcITlwpLhBG
alFPI9cEcX8wzgQp1w2dvBFhbO1JOVxBMJReiTra9lmRw5fQ0faAFtzHBNCp
5oPae/QRlvCVkBdgpWk5MM5EqVDAd8BpgYtlQYuoECfSwB1jn3hvNxUdcnwB
z0d6GzkKpgQGONiyZaLAOxc/K/gkwcNG/iwJJxFr+aDOrpHhuMyvCoIv6wl5
HnK9wbeAfw2h5qIp/nVVwK0+FNEpHAon3oCk1jJpXiwA+SZ0gxNJIpCtlijZ
0QoeAyuKzxjWZ/IXA7UX8rQ7PPkK6QigBEAaDx21yH8qK7xrcddvxkgL+CtU
7gKi8UeIWHk4YNMAzzcdMtUCJukKdvS8ruawCu4g5KSqs3+BvTY0YE4iFhx1
YdpJvjJjXCuxw49hQIByDncgnpRxtPiipAGJCSTWCp/7zcjk5oOTAsSXASvQ
ApmvZdyGFicwA8S4IzinQFFu3KUsf2dw6+F7PnvYIx0pHtLNR66SkydDPUj4
JZ/KGX4xxCnzEWBmy7yT8yFSyAT7VFbKwKVm1Fus5mewbLNQ3hfuWlf1I6EP
Y8xuXVysQI7YNYglQiLsYAXUE0AyKmFrc0BD7TkcFXkHQh9iBuR8ZTMkb45D
xhZ1QecU8BnY6wvetF0QseHeBFzpzGChfxCiAslmEWICB4YumRyB4jljgmOz
QhrIDJJQVEciCZPPABMJis0wBCJPrjGzQ3D9sSKyic157x0RwNsoIgTz/IZx
1i9EmGelqIgJS7THYKdM9XJi2ZCkwc19rTuuBBdm2vK3V8AWb9s5/cOqqldz
xcgrfviv9HCj4w/AnE154iB2CpUNkQjHhGvATRPunUVRTFn2zRHYuCqh43TT
tHKRkrxdwukscJPDyV3QCccDiCwRsKPXJbDb7SVccsu6uEJKh6BZXMwEtW6Y
ihBlYGDMc0QyvBYjcvhtnQOWviTUVdBc0DNGZ0EskhKuAIc65xdnQB0TP8f3
0K2gxNPb4iIMu5VPiKiztMR7q11eAoKeFUDLiIUn8mUuUyRAwc2JD5Tpz93l
KDcDwwN7d5hMlHkBXC2zEnL5BL01l9VqhrsIbOUZcuflxQXPWqYL2IACRUWE
mvekXFxVsytlImZVQ9wQcsGwOSWTpQY+rQGsJcg9cF2TEq28wjOM0uaYJCBg
FLA/liWBYDwpzoncwd8s2aNEQ1dNtv3Djyen20P+N3v+gn5/9fQffjx+9fQJ
/n7y3eH337tftuSLk+9e/Pj9E/+bb3n04ocfnj5/wo3haRY82tr+4fCftlmm
2X7x8hQ4n8Pvt5mCWU1Ozgf2rGA8ApRBQpc3W9OiAep0xlTv8dHL//j3vYcg
EP63V8+O9vf2vgIJkf/4cu+Lh/AH3mc8Gm0E/wnAvdlCIpHXxGggVuVL4BFm
DcmmsHXXgEIFaUl2/4yQ+ctB9vuzyXLv4TfyABccPFSYBQ8JZt0nncYMxMSj
xDAOmsHzCNLhfA//Kfhb4W4e/v6/z1CdO9r78r9/syViNCHzD8jGb219CwdN
pSA8Y0UmVFVuBhXHSAsi99FkVZMspALekMiCQ1u4A4AAwzWAB0+UVg0Q5ZSw
rBKjV7ToLXR4ksFmwYwuy+UQulmOzm5G8A9QkhUdzUAVibprkjOhAR3iJ89P
GD1UbMKHp9+fDFTVdzGrzuC0GRmIrxskVHwvEpjwEuTlApYhgYN14NHsVVqR
dpqFJER7Yuh49aQZocuqO/YQTsQkB8E/29mD1qt2RaoVlGhwGuermeMzJ0i9
4CDBVVDIXcL03hDaHWCwKuAmbngiop9yQ+wP5JKHpeEVQXQaLbrAUef4VwQE
2Ec6ZXiEgLAh2WxISXZd5G+QXwcce5PtAPdyYUfNRqQ3Irb87VtnbiZ9DoI6
nCRciShkN3xhAVpkxPFM6/z6LJ+8aQ6yZ8gaDulYKzCI7e2CgoCg0x9nJwWg
8XR2w2xL6hug7c5k4XpZViVLDud5OSM1GDYHer1iis03X7HAq1qVpvUF4mYk
gMEVAjBgvSKgUCX4j+oO4aKRWmVv4BocNcAcQa90EdHVbnhEYBGkW2WOIpCr
dgrV63KdhFvJ0AMhitCLFEdiy4c/6QtkLb+rrrH1kGk3/I8QDuRpJ9kALrVw
+A+yPyE1FaYx2k+8qm+BZTz9S+lJNx0bFD8tK+wEPiGeWRifuEPCqRVzpnWh
+iyUokjYEunMKDVFS7JaIt0CTCpyFFfwpPmDxPJq4ryyQqVcXBZCGhInVdTU
yF8kRhc2QlW/jD1oYMClwlOU2aGTg62tkVDs/IJsV0AiAdvPVzVJaWcFNBn8
Dj4C5gfeo3BMBDeF5J7hwAY/oO4MBW5EkwtUaCxQTvkdogW8PmHIEPxIMLlR
Joz4JkAdZdO3to6nBWLF0KjSg8XmuLDGi8rE8SuRE2UUSrIs6sL0WUtF+nS8
svmT7dUCRt9G1mmbybowHNgASABuA4h6UzSMFNqTkHH+k36nXuCmkZthkMGF
0sgeBOOdrc6QCQfEgv5Xs/NSzmN+BsCCo/avq7Lma0s1SIAt58BmoqCCTIkQ
/JSZEGAoFszYcqF2Uti1rpYRJKkxKnDT2kfG+tBMwPgPe1EQ/3lZXsD1egVn
xplCG2sXJd2B2flLdLOo0EiAjL3Q0+NWdY5WD4enElo4lSyr1ozUvrt7ZUXC
cfaMkRgP9pARAOVBoRssgXp9pqIErJ0vrEBhKlTXqD8vkdX8OSrPhVMCTOcl
qVlrOBwwA6D+uYjvu7tORMYFnUaiM5lP/ZqR4sNNv2qJoC4KlADzugRUYQUY
XBF4DGf5Uo0HfCxVzynHMABpnxpxd5cFLIeaSIkuKlRmcneq5cCJ8sxRAJqi
RCGYCOhDB7SZADWaxkyBWimAIypJ1XBWkmyO8ll7jSIaMmWi2HDsElKLw5AN
dJpSmKKzDk/LC+TbQz0mbSwOk5XolYn3YE3qZ9M/X2p5Xd+4PrwM7q0DLGQz
JMKFqb+A0CyHlmR6ReDQNY5UQnbaXBdDUX/T7UAiMe8Yb6PIf0BjAHYwDHK6
CFvBXXvthBqSEsn2VdE4jo2kmVB8zK24mKlnJSxQVP9WDGcO8sxbmpBvwcNi
oG2poojBNJlPm2CiTm11Q2CF66eaBporxT8+1SrGs54EDx+qusg6ZraQDzBy
86iBiy4xpEpXcGqQHi1XNTAHzpam6rMA3EYnYxBBqDezB3DXIo3ABgkTPusN
Gn9G/Mzy7Dq/IXkWgdHW+ZL4q0jOkc0UC/nhdFqycQQvTOzPXKvqoAFdFufn
uBriLpBpfFOYHY9Po3DU2Bux28JWNNlua3mH3aEorRpkRh3rCkPyOWoKNCGY
W5xH0SmJMaQI8ETOv7gvIL8IDKW75blrRA28obGTyWWFikCn/CuQmYQGQADx
JmtJWgPeTWzAut7uYRuz4rvA3SXSyktfzwKQwYqN9XSf5YsGuBLh4fh4q0Bg
zPiOpCEH47SmcpUzYjDRCNwIiBM9p8uN0UplG+R8F84eypcnzQ5N1JZxasZW
ZH+lU7LkIWIEgLqiIQR48ikw1awrKqZONac8WsI5xpi7lf8QkQHFP2errNgm
NIP9mlkbJGkGncP8TF1kbhy1XG/v8s5ErgGTaJWVLmFxMh5iubV55pHtSwxi
TOsCvw1v51OUJp3z0WHvd0jIVvUi/P7wJBLvgrPHjiVwABBOjiaJTZZgMiSq
E5jOofWneNDyC3hAR8qxY+cr8UwQpfihN22co3EVdxlvSnWY8DaTlBeUMCnO
+Wp398yZwYzxvVG67+g9yAaXVa2MicBYdMCsjsffnHVHOAzL/YiPzIKFpRL4
IOJigH27AGGodTcN4fwnYmrhZka/22RvP6EZjUgf+54oXy0s2XXl6baxJBxk
Yqph/lbNJmREUSuO+R4g8SuZcYbcB10lu96e053Lf7ZBB70wPEbgN04Tb6g0
3SrEaTJre6MKdWGgAI7O8BjdMt7PznkaCOeiBiCHsEYbj1xuec68WsDWOrRl
5mRA6yV1Bq53GOv98TmZVqZCcdV5G4F2FNCGPzjfr1foxsMXr+soPkEh7xKw
dePs7Vsig8Vo7/17f2Xn6tE2R5WUGlI8tIgUhl0NPeOM1BMmwt45zqGMtetL
uj2GqOrD+cLlxBfkn/+y8wkSNLL0i0MRPmvryShwRUPPhf8dfpxX8LofBMf+
VvzpZ6ONfj6L273bqOFn7zrt3o2yPwrXKa7Q2ZGeAvPVluv/M9fu+IntaZQ9
8VB07YI1fbb1jpa9B2/86ELNtZfnlSVnvhdu+gB+gV52yDkhe4e9foO9WOsc
9hJYMnUs/NYtCXrJ6Go1cxmPx7fsms7F9RLDZcN9iOBy625+lkCN1G4C1Jhc
CwBgoHcnjm7yw3epdvYY8wq7z7rtPnSeH74+/PkjGY+zzM2TvClEdPll55n6
6Z0n/By9FJ7OCuruq3XjhUN/tn68nt+jvzrtPusZIfqrg5+9I3SH+MBPr8K/
up8GU08/7TbCCcCOAENrJxM8TTQye/cu/TQ1PZ3KZ53pfdYP1HfRv+bNR/j8
KvrXvDGfh5BNwLkPyAJHYP/x9/Cv7ge2YQDhBLz7gH3HqdLd/PYg+0T5Co51
+nr7iHiGNB+yDSz04SxStamHfm80hUpH/zh+dP+r7OpBxtZY4GkkTvX9+1jX
oUyw+BaiOmt2PlL3RTs6vGxBgiW90AxnbhWI2UlfM+dG6C0p+fQqh9EuUCS4
Qm+9uLsDsrieohpinr/h5qLJDBSZkR4TzVLI5bdkLnEmVW3pJaSWlTEFsbUh
OwfMOLubTtnm49R3Y94QdZhk1YJbXJs3b5woagJ0wi3ybujOmjdhN1Dul7rL
3f6wTzpZm5wvLvtteWaJFersZTtpAw19aeMKomANchMXPYFqH2yXHSlJxHz5
yriMosiBpmbSVYlbpOtqRzpocLPIc9co81DtA8wrLc5hDG6FupGiMLVzdNiQ
4+3RYZN2BgYZkKXZSC+ts1Ex9x77SM4Bwa9QiYPjRu5wL9CgHuxIqPP95R3i
fsem1oIbwgfeeHJZzabi0uVdkDzOWW9DhNO2kfK3ebVdT+Bf1D+Yzu/Grr94
uNSAyiJSFCOUpnYaiuVw1ZMZjfAJ9HUk1T+DefjIq77uUX12hlI6UJtcNDus
zyIwkJ4SCSxKxy0qG9D/TkzOWT6vAs21mlkprCD3htZ8goo9pEkakEmxmyYS
Ss0EurcY4ERCiqr4TQBd57YgUf/WELFOMNfW1jPxKPZrrihrhtMmGGPZjQDk
UvDFuOuSu0RkSzbUL1eKSl5e/KFXFphggK5n+dCqsYIoJ5S2jw53mgGhYFOo
D4XbA2dzc9PsAB+gvu3sB4ExaNup00RP1BdPh17bPzmVkoYZdrV32U5rPaR7
NLIDow5xzuSkGUG13PFiuYJr/pMS/wXW4SVIpLULoHTzdfoKAwzy1hH9fH6m
Kj/VdqqbqVGwRfFksXetM+LA6IqyfIHwfU4LR5XsWa3GINfE2woD7U4bKEdJ
e2OMuNjoXhRq9WTlOl+/+s7COx7nogOjeZ8V6mx7UdRKcOikNoiWNe61Y1A+
f0izfHj/q4d8R2BoX4aKNnI0uW4Cvz3UlnkXPMRJnok/pMAHvKMXMTfe1YB8
pJ93W+9G3Z8NlUUf8oPqkfvdaRD0rsvZdJLXU96Tj7fCbC8bZXuPwgFRC1Rf
Cf1UP1lhTvDskZEgQ7NqtpMDp1ZdkCdGJZz2g6++RE67b8DPYcTPHwQDvpQ7
nVwBuz1ispj374GgHfGd5Gg73rzq+qN8AQcjkw/MmAYETBwRHtoBmWvmqLUT
9ns6KxQN+TrNm4lwMlVNIYLIDeFBuciXfE63gZEHKrGtyDrmFcJYj3CNjx49
eJQEqZpP0OT+8/cQhSs6V162wnPynI/yoTtZDUpVRC9frFoglHz9V/S7C0JJ
En1DReReFO8nvR7R6akuDIW/jZ5bMhp6XQl9d4zB0SH9HfG3o5GwXuTfboxn
InikZUQvgJxKyKV3i0jZphLmOvw0PSUxFXZvuWnKbEiOz4Gu78RqteEy89rv
95J7QKPLjVo+HZ5N/OWdxWeyoxHD2oidY5FVxuZA/pQoGiTvKY4G6Ml3RhYK
ahLo5EbepvH2Exd4HVjPLslE71IXBHPeOXo5COZwkNqxjiU1sXceIYZi/qe9
zMWw4c6BeCoI6+K57ltjc2bOSFdTmDrxcWmPuYSKQoCRNBgqH5CyFqv3wKWX
llDgElaF2DzbZ56lrH1DM+WZ6gEi1cjP08kwISL+QFGcOQTtlcF7WRY1eiLc
9OS/0IwGtEkau+GxtpP2ItR1oAJlmZd1k8jxYJcTsn8J4FPfLj5GBa/vdPK8
WOfEHmPSLS4J50ZxwWyVQT3sTmM9D5Dwy8sgeJMMjsJ6e9ds68BOkl3J2809
KDOJfKydv9uRbFZVb1ARQtqqEpU2pPeDBlt//1//Bv+LbSSWDrBy8e//63/J
p4h7O4QO4oY0dGjKKDnQTmMry1279fgedZwyIcT9sfq6+0X3M6A2wWcEG0KO
kFLGQ+ItsBzh3o4Qw96nUqXQzls/O+OvRaqR8POIGo5xBhzB3KYdcWKK6m/M
1DxMDEoT38lrJwKCNbm+dgg4XnGUZKMQosYqmgnpMqATb7ve2jpWOoMtkPS/
TPSHBGnXqHl3uzA5dQ5pTbMqhOCuKL7ZKUoNRJT1ITUfhzh6iTcIy/H2d9t+
YrhaD67Up582XqfGx1+XaIaRHB4wUfyfBizpxAOXTHSPBC5xOt2YAIkjT/Lm
GmZXZS6uHV4dntgEIeDn+QRdAF2kag/zGbkV4PLmOefVKHq2WBxMkJchPbYG
ZngfJOstaLkzzKYgNK4u0AubE9bs7s6BtM5X81g1sLvLyrzEPAB7DkC8uiny
2mXC0SBWiSMvTL4M9TJULti5x6zlSF3iodbmvVIXD+3/0yaxStKCUwRLIh0P
u106y0DZxPNKcFoYBNLro9GldiHxTNE2+GJzytZh6ULKtpb6kHbZqUw6czBn
qytqrJ8FL8v0IBHX4TkPp4MLJeYseXTiqUtA39kKU1ylCUxqzDlngkDJ1rzI
o+6H5OJfzZI7zlohyY5QYHYnVB8qo6GxFxR0MFGmsgH5vsmCyFpEGfHVG/E0
8De4+FRcGww+8ER2wArncS+b5o43CxEyvKa3tiQvLt43CXzT2XmnNkqDfGRT
rzymBCvN0F2aJRpkArvaWjSNRcwQTS37ir2GaGo1kevNcd2Lc/0s2Kt+OpJo
/p67k+Sorl+/TEVMZd2jctc9DidHe/zAbnGCMWS2ill3w1ilHDYT/P0BQR8t
tMqU9gkB9N3+YL2sJophTW4TsgxNJ2qiawHT8BF1OOwIeaq5FnW02OrGCpnO
1hImjJr2ZlbEG/RqUwk0RSjT4quxJYaSJt/0SRaFxJBPcHf7pQo/2dT0mpZY
WWIoGc7rIJhH8geRzuDArEWFOmSI1hydkoM+G29RSnOg+ZoBN2ZHha+Kudl+
brSXEfUGrXXz+oVpwZqRA0aM8Gad4AiEfy1qaxTB5tgTi5ld/Ln9MH10DFo3
5H8uDq2d2S+MRWvHRjx6RHjUWI5+a+ub7DH6rafVRgn5hLRP6/hR0ZpR5G6/
eKpXLHvNbwaSb2CyLzBi0CXHUCv9xBvv2AvfrJwvxFnpbpSyjiGIKW5SvgQd
bpTD7uyu9OwJya/QAwLcRyW00ZauaZwnJ9RltpUpdHpFTUuRp4Q6UpQ5k3Cf
uGyyhEm0a4tHmI2/HwQCjrI/JQvqvkTZy5QBaX0sqd73xJ3rWSG6M3X5G9pS
3McoEdGqkdgyUvlRNETBmOIdRDp6ptD57F5MPQJJzbiEJSWsUI4M9M2JrKmp
w6K+bzB/TE8TbBEGnpyTujNvJM2jRq1u2n2Kkq3jkU30PcVq3So3etPUK00m
A5Q8nxYsQNF8AfnO+Wj2uQX1WKaEHMMZL6412xdlttM7k/Jkj7M/kR00uUNJ
g1fRhXOrSf0oGIn6k0Byi4YUkpKzxONiwTHFa1PWjHwin4XWomeopZhZoxHp
LWbAv799yybQfZe3l/9+AH/TUXFpLXI2Qcw6tq1EnK03CsTmLpd4qGNF20JH
hed4b3ZMtRlcGKJMA/HBP/4xwIx7dGS8xTztLNDjh7DWPQGN0x3eBtf4LvvD
74E5+AZvv9/fw99kZoY7R/IjTQcysyxisbGrzHUGyGX6ijsT1Bu4ZTptB/fi
gCOdwZtgZh3x3kTObOnroCvf2dGhnRh3FiN31Bm87uns8KTbmdcNUIr6prjg
VFLWWL+vxnqsJ0B2RrTPE2Jwxz9Jv18DWgUPPstOggfqifUTfBpf2sO48deG
aDNLd9L5wFP5XlwOsNk8O2EOlWTVtT/vSPlCOs87/rzz4UsoXfeekPRhuIP/
zoe7+kQt30kM1k5kJx4P5FTECzyJj+NQH/lDRZgCUIyOx1Ce2LZHiabvRCLS
MVOkAZFp7MawxCExxf7ternpp52Wwmz7KSZk+nFmwGBIzrsuyG6d4u2fdlp2
oJiyBGSpnbJTDKnb2ine+ulGU4yY4MxO0ZLHD5liRF43miJz4NnOg4Elub1T
tETXTfH2cd0UI6K9yRRZq6h/GkL+wEW0mPtDafkPmnrIJPro8BJqqUGCTV72
Z4WG7LMnGqm8fn9Wf7OFFO/V7XKDfAzQPPSvYBiFM9Hnh/y75Pdxwh8qQOOr
tWwCaQVzgVCiDmhEAc0SHs1J8Dl6wzhaU6Znk9EktjJgpMcMpzFGRk4ChZCT
K2ezFSX5J78dTCRLyaIo08NQJEGfE8OtgH3rVV1xjhQtWf3EhA4naT0HNK15
lXqfbkQxWxoyJvG4pvk39tW+/K7XyDd//z/+n7Dxg1Szh5lEeMHDnTMKKRc3
vIEbG19FvhRBJNs7bck3lTbyrB8j/2c9l+M6gPkvuFfy4g9mBj9uThwr/IE/
7zbflZ8xyNad+AOHMJ+N7sBZxBNkzOnurll4+ItrtZ/YeLeSzWJuZUp+kDu1
2tos7F269oPcqdXWZjHyqUE2b7W1WQh9ciUbt9raLMI+NcjmrbY2C8BPDbJ5
q18Ju9JUJ/30lkH6WgG4OAyeai+NKc960QwIMJElKgTXXVptvUvSJH56FImo
dpC7tJJBdor5sr0ZZJt04n8DvmYIfIjDgL5WvSuRYGwNzU4Osmmr3kHeiZjz
jqXEDQdJt+ofhGQ3jJ/mfxEmGwySbLVmJUC5aU7876YrSbXqOyfv+Eon6H6W
2JP+Vsk96T92nfD52wdJr2/dOdE3PtuHm+BtKL75IN1cFp8pe/NBgwT5NLI1
4HhnB9m0Vd9KNhpk01Zb71JvPnv3rmtwpa7dIHdpBYO8++JBdvhV9vBpdvgi
u/8ED9C7XgIpe/XZN+8efpkdPs2ePsy+vJ89eby2Ve9KemiXJk24U6veQd6R
IExU6KGhXbcMkm6F4Hr0IHv8RfbFUfbVl9mjz2XhMRWSQZRR/+bdF0+zx0fZ
F4+w1f6jta3WrARFB5wT/xsTyLu0MihsuY/N75NNWv1KjMSvw3D7E7suJ04f
uDZp1UNW0j+3XVp9rbYcWn7W+296kDu02qIDtvNITtDn8u8X8u+Xg+xdzyB3
aEWDRCcodaISg2zeileCCrv+f8djOQzRSjZuFe3JZxF0P9toT25rFZ2Tjvi+
0Tm5rVUkx6//PJTjN28VpQaK0X+z49BptRVO5MpCD55fdWdt3m7QaktH7SZw
6n++/m3wnPs31CX4suf5+rfdtEVBAqgOBLrP9W0qmVR/Oqm+Hezf2Q4nbN/9
Kj13c1Ktf74um5Xms0okhMrWPL81m1Qq9ZXgkE1zla15Hj5OfhQ8/BCsvDWd
Vj9m/nKwinNvOZOzcQfmCFfVladyjXsP5NAN7bCuMUgTQzWpppK1cJh09r9D
C0ZYcfKSgqGmYqUmB2brVCi+0Gr7sIYCKU7X71/osr1oESGpVVm2xXwsAfD9
Yddrso71udxojKsLcA2BZOrWaPswVJtjPZpqXmDyGay4QQ4/AMW2LiecEjiI
/jblEJogXRYXfcV85c7DkN9xXv5cYgFM5K0PJyXLkwa+ppIBmQiUOJapKdqW
iixoAWrqxJdoXTMvBJxLE+shVC2LxaipVvWE/BS5EBeD689UintZV231l53L
tl02B/fuXZTt5epsDKu851/zr/convpffBBrYyYsGWJs2RRJ3g3fw47U8ehi
m3P2LvGgE9dfiTh4nDew6mdYj7E5EGAolkl4iAfGkQNGFOR/VpfFOWWA51AZ
qeZEvd6WGSr00lL4EoZqUiDpiANFZgVmpPPYIP2aU2JPQZAriVzf83o6k/Rf
sScwItaaxL/a5HwF547qvgOMJEQcXiUPlZZ+92hMyYH/ET71KHGZYzjUuGxX
Y4D1vb298d79+/v34D/37+09uP9gbzDMJjNy8vxivJ9KC6gbMaOc7nfD657z
NkQjaAAe2gbAm9enj08MVXqdaVXhA+8mY6P0UmEh6yJUhbwD1yUpDJoVbigX
znHZ4dsggRijCOXfey0R06/54YEYRxQrTXFN/FMrboREAy0Ru7sOZRV0SEW2
r/a2JaHK/rarlO5OFbc8DCidoyCUD4ziQbEnSqR1xrnFAfbbVw+2KeCs+KlF
VZLSHEJnDiRdwC1Y1TcuiQHGmsGCG8pixTlU3Kqp5DjrozQLklbj1TzfCOGK
T1EQtQdg1rmtFiXsrT9toXcxbQyV1rmgOohHh2Oaj16ubjIOL8jJ3xWfcVQ4
n11gyrDLOa82mB95GEZIsn6LjrTioJaIoup7rlQZ9vX06MnJocn55yYA5x8L
5KDvsaa2Q3+1A5fkG9sM7rTP3eLbOIPXcOjyOcaLNwImpVmvD3Uyxw5S/pBl
WmVTmQrGAY6cSAM8LOxO2Th3njwf+CNA0RmcuRCTsvG++sxlnSO6s2okJR7s
0WDtZnAC85EEUdMyFbewRAnZdMbyjZQxCq4xyTf34vn3/0QZl3Aqf/+3/+vH
02dfnrSYOezv//Z/o9fIism3K/yXt1IigTJbaoI+bB2TRvdl9horTgBbzRmS
XvuFbbbNMOqaFWhVMEJ339+mk7H3kglf5m33KefLZjrKm9GiFtKg/jSGGPoC
VT2Z4zY+Zx+Q9ZZAwblTKTfJiDnEKfrElxKNwFFHgRpPShnQpQuTxkIqFBXA
G69EmNZDoFAUqwu8Ze5IlyWGQF2IXA30c0oZmA596DCn69nS9Gayr/dg3ING
UvIwn1bLVrhDWn8jtwBfqcmdtke8uhaysOk+///nCKOEEMGRUhHHiUsp0gxL
V0mIT0h9P/Coyric7e0Pxc0xsFCenud1XcpmGumze2IxUE14q51Ndp7Sceoh
1AsoBAEn51w7Qanco9dVoxWA3LWOGSYbk4+FszSvoS3PqMC3Z1qZc1cEcB0z
eHnSEddh78UfiY05fuLgeYxhNW1QxasuVo32L3GIdFVS3mukNusnbE4HFuwu
G42xdBmoHWHqXN4C2bvOUjf615qmZ0wtzx/QGc+6Ji4T2tTcylSa/M20C+4Q
f3rgC8xALSGxdrNJeIUFmxN+bKSPt45re8+pcl3ZZgmxUiYRBm6cOO3q6nFu
P84E2uUWNQxvw6+TxKSLuHTcqEtfO5tY2Inl6npZ2GzHnOc//+NXn+97UfO6
OIPl1cUY02aNq/riHsY2TeFoNffyZvLTV/fwxU/QZu+rr74cDCKlEE1qXl5c
ahINdrHVfM4rn+vnBaPmsSk0ufPi+EnDacF47nhv61SBCr0uJtMmHyGNGJ18
d7j/6PPXw/jhgy8fvuZIkOjFo7391zgPlmC/ePQl5Wrb3T3W0NGD3V2amEvW
GOYCNptkE6rjGZGcoi7OmLfC7cytHfbd53TImEPpnwzyNefVauGAjLOTYGEu
Ku6GX1FZxQC8JBA/P4ZxXo4AntkO/v7s+OXJ3pefjx4Ond7gyXhvvD9+MMh2
kJZMUaScLKFBvWeA+hDVAgPfIezFLR0+DDuEBms7fLS/d0uHj8IOoUGqQwIO
IpuXL6nksECok4tcx9iHMeD/8CCb/gTY+RKrStelRAVfwsn7W+HuNXIapzLE
cTZ5zU7Je8KpgWhb+AG9BvzF7RlKsW3eKy0Jh5FNna8BlP5r3Ii1X8Ph8F8j
lO3X8SFZg6yifAkqHL/kmb/kKeHJpCE8qVbe6FY6zR9K4riQpQop3y3yrCqO
NAV35xoKtFy6+Q8ZY4cpJSYyVTcwgZ84zYfjSyk3ggpzoqFFPbf7YLgOmsQz
WbFwc1mQLh3/PrhWKIJUckd8EjfNDl2jt54DVZhH35oBPGfndbmUNJ5CbaU6
nFWJZ0mVON8ivl/i92H2r0uYSTsq89dDcyMcUGCIe+fnforNDg6+zt7CO1Kd
wwxHk+XyTYkekdQAXSL33r/e2uJ4w9f65WsHKpN+TObNd5bRT+GVNegYEW5v
EpoX1tkISqkUefj80GWWfooFz4HUACpJYuRPHz16sP/wUw8QXjSC4MXj//n0
6DQ7fvL0+enxs+Onr7K3e9mD7PNsL3sI/08NEQyngb6Ussw1WmgdqZcYGqIN
YrFMDlYvfhA9I/MKyXNwqWHpPbdGwnYemw9jDnJjiWUX+fjTuJZn8ZglY8EH
m1lQrss35T2cJjSHqY5cc6pechoMnp6ssIFTIvEFKumAX/LxRpdF1pldo33b
XPBUs5eXx+wN5q8H8b53HgYWVBbGZpXHYR9/SzZfzly/c3+Y7f8eiMc3D/ZH
exgftvxmoMgkI1GP4+z7vL6g2iraoaavpMxn2gl3gTSMnzz8UrsdZpxdYu/z
0VnZYr6tGUj9Ahqsl4DyQz3iupCXxU+sUi+1jPesyOmPvxV1BVLBvER4HGSv
9w7uH9x/jQO+PoefA/ef13TennJ1V7yQYObwyX34/GBv7z5d9wjo13jzNyGM
X++NzJfj28iaqjEEAbCk7ISZ7UmhYE9cNgmjhQiMgCmUxHKYYPP1QoNvIgE7
ziJxnLotUBrjGw14whrzuGFmLLRF3bgsDYHKjIrCuFGJZQ6Hden49FoX5Paw
ojC22WzI9YD4o7Jloy9csQsCVEAe+/J04TA2yZsdcs21o+lbupugWReeesnx
LQmJlF8heb8Deze0Fmm905W6PU2It2zVZ9NewEM8iQyDpPxTWSpADSfbqieA
Y+f756mpPmzWPLYANizU3dF+mO3s3b+3f3/v8wHthjcmsjGQ//yqkz3bGFJC
c1tkogqssloBY5S91lIwN6gt8rYMo/LovgCW9EfMR/BaNA5/sH9j7o+JMUt3
7jWXWDvIqR0yVgRC1id5ns2vSNNu9c3eo5yQl77v/MZH7FPgPmK3WGz8NnNN
mJom0tlq5R/DnBJ+lz4Z6ibz6xipY2zcG/5Ms/VX0A12tDHEXNkATqpvVMEI
C0lqFsKSUe5NB6HcYGhROGZy2Hl+Yk2olGNS9E9e2xZ1HbLfvG1YEBgJHKqG
o3nevuauuiItO6BfR0d0QCB39tssmOl//5IDocapfMrzjkQj+d1aydHm5UD4
cE55gODGAZAN+8wXACG8JVesxCiNuVulIipZJsYFLdBtJrVGonJ9y8ztEWRV
it70h8+fJO5w+sQkr3OkIEmtPCGAq0e+GAGSjIA/h4FVqEq3TRKH4NpkGVZS
beac8X5CAXge58lWbxzMWMovmHcaoh09nbmJrmAeV3MDBo4wrNXAvmwqZr6V
/MxJdcxKFonLp2TYnXxMb6jkt5mZ1r3XunybUrJbQHkrHdv/OHRs/z8TdR1O
uosywEPEvxU+tijoP+29k9BHhHS51NglYO8khI94kli7f/seJuZy6749+Dj7
9kBVeZ6arZmVViRxDnS0udDAXwn2IEYdJ2qpYq5LSpa2sDzStAR5Np+50LjX
rGOwPEKvA6m0NdpG9ggMDuAyv5lV+ZQ8c/ANbPtRNQc5DFEQRgPWXWw8fH0+
XUzK5WVRp17Dcc3XvYfmhxdwYfe8o2sH5nqXNR5ZGwdlgwuXF3BEuMRX38sQ
weiFzBrrhnZWVfS8iy/k4/OQBfv7v/2fzfo6EnQeNtidbKeLCB6dBmQC1Lp2
DiGRXaTw+bN88mY959jRgWr2yClmbDxDYxjn1VTUFplMnfHU1EirNMouLaJw
G2ke9GTw99X8NiPulH+9c9Wiig72RijksP9IN656Gtr8WWewrYR6O8xWCqgk
L15nj6tqBqfX8HxaacD3rdsj7nynr358yiZ4oCP5akYlb54dfn/yNFQoxjgV
En6Zpp/jsI8umx5klWQeCirQUct6WbFfsWsqfQesqJQQXuPEwspbEkmjKTnH
fE2M7ZzfyF5GvGugg92UIPt+15RpDFzWm44XKzn5Yqo461hPCmX7845jCbPo
IUUCdZ5SJEbwRNQgO8k04i4j4WjNT5Z6nXyYeJr+Lv4GZrDrVOoHu4mFJX7S
gTzpkKrbfnAGad6E089CJ7GGLut5mHgKTw7/yT7YOVu5eriqixrwJLq0167E
ekPgudnZGyQeUgoG69PLjY8T7FxIqNYQ/s4oCjJ3k3bhHk+h72FiYZvMNhi8
d6I259hDjeTRrTbdj8KYlvRx1fxkzvaSIHbpPNs9eWtddrLTy06K5Q/pz9k6
rb4qYMvhxSjJmgctzEXl6KPxFV2x7NbPm9+dG08PL3ftz2S3H461LIm7JDwz
3CX5T9WbBHOMRngSe6mdhOqpfW+yJ/mBOWvgDd4sR1TKtMbK6a+9Q1WshYtK
taZiVbifqEL32I8zmZXw/OePw/30j4MuXictiNEAxc1HwtdBVSUEOvTUYE+I
wN2YknX74fXjqI2yyvw+G3aj88cDjH498hdfkOrTo1smN+VrjQCK9E82wqc3
qTmAZbUc4uE11oNUKag19TCGG1QPITOaLZmeYnQ994pttUZQxKqsP5TC/hCF
3CCYSqKZIjbJl2Pt1kv9KIxTD+vEL1LsU/ermJ3S5z+fqVrDGd3GMvW9/zis
1hp+6TZG6u4R1+Yb5CZ6sE14sDS3Rf3H7FXEV/U07O0wnleHfEfLsxyHS0C6
5kVnfH2neu5YGbwysZ48jVGDSdkTUvzp9yfwSUOyU98MzKLMXfGfuSiexsda
VHAxdRfVnfftmJ1u2NthhEHRVdTt3t5InT57vPixO7iNXMoi+W8i1/NBfMfd
dQjkUtN5rg+6N+Xd52849EfKoRta8CFMuvicRWHEh/7yfqvjOy+/u/MElhlw
OhfnbZFroWV2snwVXffkQWWHvYtT2Zsl5qx68B7Nh/0Fu8Ih5LM7j7JPo6wr
7hSM41mUO4/0m5Ocd5ITMa7jZhDIcvR2xHEVVpTrtkrJcwBpZBO7SjvRsJJ5
lysGY3TlpoLcmsF/vjT30Brv1y2zJzrbnNg+V5HJofUnVILzIfACieimIBVu
4CMbRVujepakKix68X2x8AsK5tF1tCWtqluFXLLh9DMpcqvDoJE2PE8aRihu
VrCJcRJzsv7i2pzfZNl0qkHFYj85GWGOlDEm710V2fb97bDEGneC/dI6yDus
r0TbMEOF2aKTYH2sWqJgwWw6Z0m0lifZrJyXrbq1aKTRrFhctJddL7oyLGns
Ml9sgOIqG8VZIe4uIH1kPbLjNT5QJuqThvz7jyEVrZdkPlQ02vQ9f3O7iGQY
rru8+Ejv6RvkdtfSv9uFprXCDzCt37348fsnymfHX9323k0S6dFt601QxLUv
XMNblMTryC4ZwD5KF7jKBO3uA6jJs7G3PXR9psyAyUZASDGV9G0NP2Rd+Rn5
dfzc1oaf/1z5+RhXP1TzfhS59HCZttuvENSMb33Sr6MLpgCsVaca+/so05DV
X5WL0bRYYsmqoBe5LqLyRX7MndNXR8B7lkDsd+Iq8AOJdaa8XRpytKxm5eQm
YbbmmokcEzTBaAoKHCgb3iKyCRdwHS/KZu54XZ5WvphcVrVcbXAxQzfEJWiU
L8eoJmu8o6MOli4vKXTVlkUkkLTFRY0FTUytO/E6WpzXOVf7xiBNvmOlKgOt
1xWBJPaFE3+In1buAsZgc4t5tbhRx4CFXy9FWtXV6uJSTfq0Kt6+uLnIaD6x
Qr2Cdf/ObYZ+OAjDsYAbpQ/Z4kLT7kMh4cpvQYOykcVRob/ZTNAMYPFncvq+
k5N1J6FaV6keIBb6WDgAEJYhf6gZicjr7yiIC/2BDU7ZCYsCO0c/nAzE7vH5
I6xBUyyuilm11O2F0T6NvArNIlGCoXxRUky27eatSGjL2VvwbFVK9UX6JMnL
cbY+Rfy4Zh0l8lMUKRLlX205cHI6rWZY8dOZNBSnWmXgqKZjrjXDgULNMIPX
NkvO2zxMbAPJoek1DUFHCOgJZfwQBZnbE6oJmtD9R4kTgFZflRX0w1W/WSAm
T16j/Kctb7z0K0lNEsaA/jQqkY2ioVwq+C8NwpoNqhbv002EVeQHQzd+2gix
SVngpMEkCiHood4+w1qSeCP8kB7K5dc4RJB0a14AbkQgtjGb+KH6VXGky1iS
/018iBcRqNMfR6d40j//8v6GJ/3hw8+/HIgsLnbf//h3HPCUclBSjcI2Z10X
kSL6430cp+AyVkJTvJXhHJIcfMwE+UCRFShlWTdtl0C3Xeod3CSlS1uDGU9y
7x6OKfb4qLDOh46PE0OFbAcRpSgmP4ZWmFNMW+MHRekEczMTChYi8d9NPD9v
0XKqtJiqx5irFx6OuMAS3r70Dccqu8F8HW24xdjF/kyjnvh+8klCf+easa2Q
+kdO7aeywtt7wsS4AckUxKUZOepjRlBC8VQ5Xe0AnalJYe4o05+KM66iOsp+
pLE5JRI6/4Zz0FKy+IBQ8cYlE+CgcaKgAk9fHZ6A0KnHvrV16PKKJrxMGeEI
maiAj6BSquC07GNExOgpyTFDF7sWpZHyu6cvcOsOtUO6WKYFbhOnZFJTBIcT
ceqmc9iHRmuyw3idqnCwgEOiIwDVBTJYCAMZIZeOmXDnbcfe7XEj0Bm5rK/e
AdJg8QwhJ2etVoI+LfA24VyuZFQp6XA1bQlbLVO/IC9MAe1OIqEOfcBFjhSE
ctjk+vEKevoUwfm8MoF2WOeO0EkWKuCQCtqUj4ihijgD/BWSAVOfDisLe82G
eAHjFKhCM5+0e5ac+Hp0NR1ZQsjZzchgcpgMVRF+TEegmPkMpTRBGHvhz0MQ
HMk3gcsh4hF5dabRXFr77sOLmG3e6rciZr8VMfutiNkm2PVbEbM7tPqtiNmd
Wv1WxOy3Imadz38rYpYa5LciZpu3+q2I2W9FzG7/+a2I2W9FzP7LFzH7pfbk
1zgnv4ocHxcUeuAKComSSzQXs+K8HV1ytvtpEetWvV4jalZTFlSX+sNp8Tpa
Ey1eFOlftcCPqI+fkWJ7I5uV1wPbZEb4OetbqLXX5bKRkAw2jZ+Bf58yMJAK
+bLSFjSVPhuI0Ro73zTVr1PvPCG2omqoFC/6ZHJZzHPWlIvCvqMpR2NYdjar
Jm+MBstXXWEtZmhEYNsu7YtYARoaaHAgeqSMNDQv5SV5CGYnT//hx6fPj55m
b7Xo2JVTgsDHvD+iFxnqJ6VTYcAnx0/cc6fLdPqH4Za+M7pA+Ov4+enTb5++
ci0XFaknRDvx+MWL758ePs+ePH12+OP3p+z74Eep7O3gFvDimfaa7Zwc//NT
ELDG4/1HjwYDPwneSFVQuM/lQ//dpKqLSO9jxzk8ee5mo8llcmQfuU3fp9Ou
psdng9dJ3x+P9+7vP7SznnRvRTuE9cR6v7WV2DjZa13v2+xqb+f+wH+MKqke
bChPrLoKz5W+seVXQlj+cPiPA/cZHjv9qPuZzAFPUThH/ODzR48ePBrQB16f
1TPPRdU+Ls5RX5edlvPCIFZ7SHYYfi7jwa4kxtv/cu/hFw+/+uLzL/buw9gD
PjXs/ukPjsmSFqRn1cQynOvCO02402rslQnfinOpm6bJYbJnqxpV9KgMpzwI
lsJo4u2u76S3UFuXC0OtJOuMz84wyWeYX8fnKcVsF5nUIEIz0VmhrgKlN9Nz
NhCA43gvSlPn8iCSy0K28+TpqwEZG7/a3Nj4xb7NnND15qfpjBh4g5C4clGv
yAIbGkqNS3ED9BHDDRtNyZ4woqqD/3/8u6+xRKMIaoSFl6KxorpLxpgbEO9u
1jltGKXYwTpMdkblE00x/PaTcuriCzSZfuSAK3WNjEu6sTyLb4x/RxYnaeJw
vjong61L+ZntvAYaEWTtgPd02boPPA0Is3vADmBaULzJiJj4Fk06SxfuNdka
JUeocyuMaj5xbRBczu6un+rurncfW7jyUGKBIR/uBvvgVKMU3/j5QzwAD+9/
9TDb4eyh3m5MKM6fVi45FQymeHq8WK5aLHiB/w5cItbdXQMbmJEWWRTUbDHf
lWaqdV4JYkGMa0Kqm1HYKLTuMTMS2Mxr2ynm0SSjoreQi90yfCy+xhL4GVm/
JXc/JiStHYxpEGydMIR7aAQ7D/BweWmbYOm67JsJZviaVKsFrTg1GXHsUQ8j
pnlspfW2f4ugCLB/XUFj8dgOkZFOQcgP28GSHge2weEisQe2IFA4HLTeY9+6
YI74eJz9CVPLFuQg4XFhmJi0CYviqolsya8WmgPnPJ+Us5JdNviIz26CKyy2
A3Piu4m3CrOnVgclKSVN6PSATvHUTV5jZhQy/lqPCnRzWAFtmZLlvaqniLoV
o7V8zvk6MRdN6gwUMajIaVRdnIIqqt7F1XiAGAeVDiTlCBojOV2N13iLk/ij
teAo+Vk1h4fzshFbsQzNPkdlI7jo0vzu7lLQTsj5NxQF5HLGlTMgS21NG4UO
G1GCRWDdPAlX97LOqnECRAi/eLjLAMMyAWiT5gp2tJWXK7gLR3WRTykkADgn
YQr41Dz+6SeV+wy0Wcw6gXcd0FGYAHuIMC/2jiYW2j8ziiKkUkTZxj8gr4dS
b1oWvovgzD/oXi2+SDI3ANoXD0eP7++NTu7vuRnf+Qc7Vhtct+N91zHm4krT
IHOSxxt3/ODndezV4nHHD39ex6eGOmjHu7uP7z/a3YXOH1HHhyENsSFWlBA6
cGUM6bN7EpzvJjHN7fsPtxNHHMZczfwFs/nhXrMfj2Bln/8SG40df/HzOj5E
4l5lJJdumuro1h/rmv+FaqGYXimtigmVj6ZFZtt5XymDq0+UzY39s6a3V/kT
HGEnKLrj/GuUD8X1m919nV+Y833bpm632d1MCoQ50VPSzarI+TqV4CuesqXl
lFGe+lgtMSzhjDJmq2M/zo684KGLcJq5LbjNLlKBG+4v40cmUxL4JSaEA/Gw
0n0DkmhLbGm+8GtKdWAATzO9LbuIdznVHCMdQMdu306cISezqXMpNj5sKj1S
9eEP8o0fU07lsFQKM+ycMN079Mapxn39MqpWURauFHZnZUa0DKqIkTPkIcu0
zR1KUK5J12qy8VOnhDxa3HD7K/jZ238A/3v01aOv/nm7p3AlswxSe77uJIKl
shyoRFghsrNLnOKUlXwD50KlEPRQyUPa/TBQnRabEYHIIZIQml0hzwrr9yn4
TkrYbeseuS0RNoHLJDG4jXoznhUX5WIhdTDWUDBhawXPez6KJ0zu/QhZxIk2
ngiWv13mDWZSltemPWX7NEjChAhDmvPJJfLsVS2NQvEgnC6NcYa1RBy3H9Ao
XAsINugmywV5gQIuGjEpMHuIvRWL1BI/TbjR9qKAvSQCKFAck+f64fRXCLWd
WLkw8KA3RWISIxFX7QQdFcmwIsg427wD61dtxBd8zF1hmLVL8DmrsE7BAuOR
kGBI6AFszfk5xnSgToFzVge1XfQ+drKXFw/5zqlXpLYenWNa+goAJlShdLVh
XHh0AFPSIFZM+YFcV/M4xCKOj+Eqe4RueCTOK5HXwwTM2AqO4HnRTqjKmPrn
qtKMuDZ0UcbS3J5kWCuDz2769hO4sfE5cZpKPNLfdhMadERdmPJZOQVJWut5
E3D+xB7fXYFZIhwZF44On0uIKwbQXahoaTzjO37xJm09DW/T5HInjF7heng4
2T0+d1Uktqvc15XXpcLYOAkpV2SzWkr+PjGPYTLYxkWydrMMIyXgw091aBKT
1k0I8wyIsiTaBV/iUwDsgylqBBcmOsZDWBOKDUlxp6dLtK00ht8bnfkwWy1m
GGnVYkAD3aj+dGGi1wazB0kBtrps3nB4DN6nNtponr/hGI5g4nPdvpCBCz4y
GjKvecJLmLRPt20akotW1x0q9QLk3Ekh3WCotX89L6hYFAzooS33/NQXwY0C
88iEEgST2ZsLa6w1bZFPhxGo3FCaDCeIdNHwlUTES6wtLBv92JEK4LHQxmgE
j8pHM+m7qEJfyFOK8y3jMyWZVvYtZUvuXTp1VPyUlXSyTXBrMAniHRc9vSN7
wTcYBla70Aw7/uuQHU7yOxxMRLZXlxzMXvc9ia6rtcN10wN6nD+2l+cwWLSv
UgSMCZfh3npKSlE4FLXLC9r5XG9g1ndyOlSxsiFSgawmVXRg1mxkplKtZTNZ
NcJY41wlrKHDvnTGM3hAOa2B528rnp+7aDF2Eqkvjs51JGQLzQFzSm7WJ2Pk
u9+qzqhAWHDANk6YvmhwW+SQ02Gk3eoO58QzefWvbC4HPqCCwzZrS1RL8rEm
RSExD+50U1COWNA4lYrLX90ZC0msxiRdEwdzVVYzisJH2slJ9eZyOfGuLZDy
KhcfmOaMad8fXJ67Obnmmy476Jk/p68WRKAM/CF/i9AAUCOkPTDI0hDC7YII
r0i9mHb+GuUG3XcMw15czFzFctpr1m/R7TDPMRZXgmt9LJxbtnoq+CXjE12w
f5uoJ2pq7bnoV4130SrArLCWrOi1aRMdJlci3uB+2KAxaeYpV43viig4Mvx4
2yyiQnTxGrTEJyz+VXFV0SUKO3LYaGA0Be1gMOqqISNghRd+9abwK2zoJWMR
678PTzCCd15dKeZpMK+ZpTuFdo3deoXd+dIc8sYXJDBzACSyc8in0/4JOOvU
3YaP+SwLtbyx4eQhcO7h3HBayg/JecSrbsek2knjZcctxiMovlIETXy2EaYG
7VIoe9j9gGNPsQqAfi/+ZHRJyyJdaKnXBltfLyC/DWeM9HdYYi6c7J/sVzRb
EXnnjs8OgDbK+PaKO/LWaneWyKetCGp1p1GOjmynw43Pbk/LDz7EffvsUKb3
OIcb2Xeuw/n+sge8fy3xSU/O6uMf+TXA3fjs9wDw5xEB4/Dmj795qFQg+K7D
V/94+mz0pXM8krKxdGZDVxs++OxXkOoyzCEljCN/bj3zjGOnt6JnT+GSLpvL
VHKT1FiYJFiLmFl+GFk/4jdnIJmvbBb9T2Im2d3n8FQAJYwFk5hFXOKbMvTI
NqKGYufosLFus1qQ1IchFz+hTFqi1OoVOZ82kdxFVDVYhNeSi4pD/dFkgji3
bu6MtOjR0WG7wk3CwiS+LmNxyxSv61YtBaLFDMy6HILmkKlAibyaejaHGSxI
s25zFHTFriF90Z9jXdSmOYY+xKAiJjLISSXOeIsqlaCkSvWfzluc4tI23KIg
02kwPfR1xgSAOzILmA/OaxDWZ9eue/Jud4sLUx0/zuJoMzqtTbLvUuh20ucG
WXUl8W5Yfni9halTyUK1wCmTjVpbqtnU52ZMoN+GR4HQrYPCGzDgwRkIL27b
0y38dwoXhMpqmeV7WeSxt8zLOr30SAhHX0KlUKYCs88Ap/PYqCD10LGAMasT
OHiZ9wbaO2zv6aYGMe6ULgNIOWWXPubcOgsUQ1tsnaGDzMWrAwY3acUpG7VW
2+pcxtrs4yv4064ZpLv8qibO1hhhw5Mc9z90F42xa99hYFHhIybYHegOarpG
uL5MpOUbiuubfZ5AixjDomNK2O6OJhuV2rL+MKrIWXxDvcLvv2b/RMMgpbR+
g0ycv8zuisqgm5oGgZTSXuwgLnKrwcDnBZ9jEjBVOUSg94i/6+a3m1RLdoi3
TKSHIvSCYU2lkf8CQJDZfQQQmLgmFy2tSevehk7r7106o1873SLdI0Tu5HYZ
sLmEinEBXZISwJw5jOceFuNekIt/vmxWTlNnnebFreb2DH6xt4VJ6CejMz8X
dS4EG3qQD0YUr6DJfZhOpMsmPfL1kmiYYbwYzT4Ifb8+4g6PYT9ea2Kfvo4f
RB3bIgT0ZUch7rLfMUBsYjdd4BoAMlviir4/oHXEq9OKuRHXRFEZWqEqdvJg
7UeFV9R5OYtYX1OSizoZ0mKqpc44WhOHf5BQbWbFBPOpgXkAaKXBBxilI0xG
IV9gqjk98lHVye2S0WB77NuZdE+t7SbuAl8+efpqpAKmlUFYNX0pNq8zWOB5
KR4KDBuK5IBPsBTpdV5P0aA1XwI0qXIu6sRf/uHoJPvkC0EdlldDrMQs8529
AyCdEHo/gWWl4ZJiHvXuw+hOEXEZGObKXFbVLK7wFpj+ULyaoR/wTYJ/X8Oy
RlajTxtf5hXxlZRiztgzMFsVh9BEqY+397a9z95ZMaH0/FGJNYcBASXA1pZY
6Ts8kXz6p1XRGKn4htKIpVj11G5kZmF+O+PNHPjdrG2NVyDOZbCjNGOUZulT
G4kzQbXlIiPTrgLnNde4P1xMg5L2drDeI/Xz4d0z+po1pEAVE06LFPnsAjUZ
l/MEEjoL0qF+FC/FCO+uI7jOV0vUhrHigle0c96pF+PtU6yDGRmlT3bsibmg
Mn4eojPcpkXTmrmRTAH87dwqTT5ogWGw21PkaYDrltIBAnOYoWNazSWK+h+1
IaPPzIKMkKhSQ2cPdDiNrmBEgLn4HirJC8YQv8660J6Q4hHPcn6Oe4zWTJN5
dkyhqqgS8x5EQ7TJs/+KqBbFs7ByYgsc1MkERiD1SxVdSoVAwFyhB6ipONXM
gbhq6aY8pyPP+bsJN0BIFRLFH57dtPL1eHcXgKqdECX3L30jgYB1AWx0OD05
MYdU/AR83OzGWR5Z7DQGWOfR0LbkYtfdywPVc2rhsY65OMXMEii8yg/vfQCX
wbrAs0GJuuggvDPCdrn9/wF3hBN749D0XAheEmjQDj1YOgDjE+AObRw1ZzaW
LhQKYfJhYHGUll2JV3Sy3ODjuBE2L3NAuZFEShxyFO9LuLn5qHfLh/B465zr
1N+07FaT72ggHQe1Lhkyp6tlU4YqmG1edK2STvvh3NRijz+nyA48/Jw1N5Ga
dncXLuzd3QADyUkEvQ3OVuiUPWV3Bbt68raTvMlmkk0B3cD72Y03AIVT8SED
8i3JXCkvC1JnTvs1Ol0ginqlUtYrOfrQ0VXgz4UKzquphg10FjlGMxTVSOBp
0Vzo7CXwxhvymOxQ/HgeZYVP7L3CymaPlTVqlSCX5dwEt0mfSIZoOySkTYcN
gtaRUY0CGW7UTwLYoWkcaa9qcioj4I/s0cvRyz8cD8WNPE77odWMfY0LBZv6
zmJYOOkMnE8Iz3KOerQSKb3rOUgJ7rnrJi8DKXDMOk9gNAMhTzskb6GyaXh9
Qjcou/tQAUyxGYj/NzxtoJc1rxa4hYtygY5Guh+yQqcc0K51OPYzawMPyaaa
XbHrZJQ8XtPMnyO/1Bej/3C8n22fyAlGBP+jiyfRkhovCfgi1jbbXDHDq08K
RT4coEMDNcm4fvVeSycZlCVAkTOxpPh3bEU6QwJJRVEifHJ1R7NWwMScJptS
kckVqVA2q56NHm7imdrI7ZAaTxUqNou0dfo971nKtUQnuJiefIU87OLi9qEk
jHzhcyszi3JTrbJrPNjkWlxM3hgnaL4FPOeM8bGBW1S4QZ73xe5pS9QSnQRt
IDkvm2I1rUbLGyCKC8mUUwCBkXzJ/JwSgACLJYP+lbr9q6jEdgB9moPsSTlp
/7wDix3C/w+GiCJ/GQYg+SuC4AAvk0E2wrKU7Z8xURle1X850Bwj2fb2tvv9
sL5o/Bv84bFOyYZBq0cSMs/Z228nCNMb2rDFgXK7kjTC3rXjYITEjE/70Ndl
lcleFbBTi2iyvE10YDQpWzfJiBSeC7SM4yQ0PgERCs7/JRxEvCVsUKbEeTTW
I7FjMTEduSwHYlIIMJdOhfsYh/nros6+zvbcM6J+9YTQGjZkTE7dzc4gXD4e
p3oyLqdj7eMb1xvd1PBSpzgGavlXmczvv05sQtBzOK9wkK0YXg4gCrgwmNM5
WzI+WKiSmth0F/Mhd4Aij3kLHP9cNtO/bAzM//a1wqALHCST5WJV9HThZ/ON
mdnP3xO7yngovy9wN06Zh/qal73jPhrqkgZ/sfso0TAd+GrRwJIkxhSvODS9
tKaqIAsccjh7zh7ACzt30/WAUUPDTgcm0a7VRBZwnJ1BYkF9gWMsVkf8qKgh
cvajM51hKUa9nPopCawmsRKzxZ+Z9zSxv8rEfn/b1ssqhc2NbgfXqQGAldwY
B8YXACKPB6M9jwmDeENsa7zW/J/hujhVysef/YYNsnc9n5gJQ6/ubk1/DMA5
yChn38+4Mg+ksAYJGj4SM5kptLnMmdkBAQyLhFEoh/b1a1xznIXwazk0+hRJ
JfYqtHJsR+hQyoVMYUzF6/5qnEnGk3xDaknTGOfTKWWAH8S7T68lqZk3VXKG
DizcwzLoe0mxFJRzCb3IJEdZmE1RP95pTDW5IAuJDcFO1u0ME6BZlbj045So
zKgaE2YsBnLom1ODmgIeTpZPpQZjoxXv/nLJQUPU1tfbgR5h8hi9LeyZM06a
OXTCmlgnhfGPPASCkQk6McBYj0RVAOhhJrGSRFPdRHpL5FgtU+jU9NgWKwmB
OSQzsoZmyGFARVndBBl7iNvnmO88CvtwMYh8nKS+2qxCI4Hwcx3PSlMWT2RJ
r9I+kqBHWN7z4jo8428/4S0dLYrr9xRW36qR76eOU/WQQt9DO06T7VIPMPKu
k5uiLwKdZo9OMh2s5aoGYwBuUd+lpwA3jdflrWpRW5WGs5bmi05BOf14l6vl
AArs0qFzPCS/6PrR7I6TMATwO/Axa4LquN3d1JhuSKd1i1x1yO9+9mFa4EAz
xG5YqMD1pwL9EHs9T3z2KtGya0VEFl+95OUtYVO0KZFBsVnVhbECw5G7JBda
8bKU0URTlV/URWECpMQG2RjNpYTuLqprxRt/JiSB0iuiGqPsBSz0qiyuO5XV
6EyiPEAVMSv5zGUPMYXXlNCYfJQR6VOHQPYLDqmdQTpj4LXKLZfTyjkosNsb
V/RWrZrRGhVTSyZomqSTxBkhIN5xgWl4bLNJRT/vMk1s+6M5FqPsx4WGUj/V
6ky9375Sw8CR3B7JDw+yF3TIeEsALN+hM5mdSpSeqi9X8x0SU2387QckvRpx
3qvHeAdphqHD509M9idlEd4BjLwz5EEmmR/RsdameEQEwC9TgeHvwg5Cr9Ge
rHV72MpamA6y585/i+PzdrTaTfb1NyoKc9ooZ5/quI31GJdsoiXPH9Ha/0Ej
IXs7xaXbulE9ETr8WfBFXxAHf/q8HvfQ0Mbp5/+3dbHFKb8N7vqEb/61vopr
vT/edbZHEADZSN4eIijEzLhY6PV+d+lLlif8A3YmxFbDM4Vi6FFfQ/ed4SLR
t7G7x2sJBjV2w87IkSjRO16UYC3AtGN7v3sXFTJ1o4tKY1hBZeZKLX4ZJYig
uifx8dlog27xDk1vUZD160vN+vUiuo4sq8u5HQObF11FLhfYf/z7t+JZZu/C
+ALk6yvhd28urCFZsFHFbxzDzFycWb2HsHX9wX1WJE61ETo6qZM4dRmSup6u
0ik7tYsUQV0/A5vZxMwlEakeM5TUL2GEj2NK5TTYkN/qT3JA7NXFKq9zWLJ1
NbGzsRMRZ3MN0V+ht0FLgxDAfvaE1geCsCuBry/MiQsYrovoVuoy+G6Xw6jw
tHfyB15gLkZBXaLHycn5I9dE49q8BWs8Q6zc4o5q9+ZET+faPDVOhqJGRK/U
YoSxJLlBxtMgXy8x01qT2hWoDuNgTylz4xxxdaVcn0v9K8MyDaWOklQ0jvcS
aT3NC/fzwEpIYAtx3xyz7zvm5OK9KCLrcFIUuZXWhVc6hJtunPvC7AO34FDg
L6tMS8LpMw4wdq0Swc/d5v0Bqq4fm3dLzy+FEa45wEaASUTRNZ2wtxT34uJb
yjrFXJkZNpvwSRv5yyK5QCLD0SxreBWryVLT/zqBNkUNIq2GKHiqpFpMgjB8
3Nat7NSQM6lTjprNSIWit0mJswHX1kOrA0AmcCABwc5UlKmz4r8kS/JC+7Iu
r7C/N8UN2ZpJjRTPPzUBH1RmdyFaB10gx5oVhk29CZLJPpFeBTck5QlTc71X
0DUOb8G17HUcDHj7BrpSyGu2Ml876Ac4kPtbJcUnS6JxA5+7MMrWY7ObVG2r
ux8dvvpOu7Gel777frj+btuRtQP/vD1R/57wrre+GvlZdUV65lC7TMIGgcYl
14lPpibXwedhgh3HwH4wOxTWj1KVT8ge1c1QjE7kR+NSrqVT8SW2tBNdHFRz
OWf/dOEzSafadXPMp9MipXYbihrRSkwyAzdPumkF0pyMRHNSROKQSbfPydGY
+ZbEdjm51HqewxHBiPVqRAvawWrWnGJKNvh2G4cQxX91PoL/ofMkDAAc07aG
YywKYuJNagrnDMH75dJkmOkw095eqh6bLRGa4VLpMw7Q8fGNkjKalGTO3EBp
fIlqrJY2hHhecB4OeAQYh0pNzS+3jdjNhwOxaZtNHVO8WpCamD1oGMFaRPbl
LJ8UYiWifIT0is5BnlxY2ohmDWiN9DQtr9TbIN1IAU57CzCxlqHJqkZF9mRG
qQ01EtF75Wv0vJQsGDICvSmKZTAg3p2cdAekOTiAIMatZpjvF+uWBUSNPr3W
lKZNW+EBrc7PqRUZEjFzNjzOL7SexXV+E3JI5l7gnmbomlu2mCqCaTftz6rF
pIEFhiiVmnaSYEAnkNCfvHt5ygOWSDQHopc0FzqKBjHM8wUKdLlqwCt3li4L
txTCXFYmc+EYFwtBwCOrYHq7aIoCRpKIipqyuxlDYqOL44yIYeCIaFL+aNwM
trZOk+FgKZ9Tois6ZijXkGMgZ8g4Ih9BHzrieGPZF5GtOjcGwV4OekHc8lHg
bWi0NpSHuEuRhW0/tq74ER8gxvGReDIGAS4mJsDxd8loCr0VfEJr4QQW01T/
nkHIa88crEsTklpIfNKHmwyx7rIS7pNwB4dpOj0aoOR1ES8VzZ7NCtFhtsJM
ddHXGsbCpWHsxacBWrTpjDhqwgJCfcEyJddi6DLvPudxXfyLYArhuKvgoYHY
5HdcYPqnxY24Dk/kT02sg/ID55p2eUWdy8NQ7y9iRnzfw3TtH/zKdeIVGGG+
Cbw+8GKkuL5uUSEX3soRP5KP3I+l1FqXMRrJvqeYABnS9r8ohLOgaycXFxVr
m9eeXdw3bRSaMqejFXAdLDIehmKNNpJYFy6JxaTq3GFmrYFIqqFxziLsfrwI
wjPayxpzWWPwg8BtTGprpw+6lsTK7J0yIXGUFop5TM5IcZkvvJZQbPUms0wu
8QJIlUeImkJWXVQ9oBUpc7lbhzoD4zqS+zCQ8KZXihKA1GFWWBSKUvNyqQlg
bRYTyrPpOQ79UrkO75KjZYEu82WRHLGTJLouJtV8jnrwqcaU5M61H8YnANiE
vTzxwAsb3xxilvZp+ROfvOxJsZxVrnoUiMMv/3AM1OvEVrprKAUYfjeaLEfL
N+X7qFafGIjxwRXHk4fNWQWng3BXc6PP71Z1ZargJ0e3m7pAPZajurX12Hk7
UabAIIUCK4mAtiWzDDNKkvIrREc9x3AgR6gjDNIgJ+qvjTSBuQ+nKQEhr9nn
m5gsIsfrIOKK4wSRTuJ/I0h0z3l2hTU0HG6Pux5i/5XcwiIAkKLwds8tik+z
KBxm8+2yR0/KZoKeFDdbW68M/1MWQTmNFljLnMxnhQkKzK/ycsYSa7LtVPq2
i1PsQegFfrZRLpRIbQfMsuS2S3ZKEs6ca/MBiOflgnJmUTrsFaZ07Ka0M/pv
k4TX3UoA1AYZOYq0feW/kHpmPydM64OjsNaFW2m6C0dawjU6Ss8snwJRou88
Ow1YxokxZi5rInEuBkbE9+4+LnJAavzoJdNUX+cNO9RDbkvf6daeuabqHccZ
WzQ+TxsAZ4FQbJ0iS0OmsRMfkxcpHoJQP1V8YovLHIT3oB7FqSSn4UqMQUUI
kbP5aOD3+AdwHUAsSzmhmla/jlCfz6cJRE+uOY3H6Ggu2hSnLvOZURfA/KDF
yrY4JwvgHIOESQp2o1cdYOct5naUOl/cI9kc+7olMFcTTAhAGWRrrriR3sFT
S5YrrVlmmFig0RcXItlwGhX9lPQVPQGLuavCvswvXIv016xLuCxmS0lASbdV
nS/LKYaiK7z5hF2rcn2XopC/r6o3qyXjMMgJrG2nmOOmuJC8OHr/zTlDP+kO
JjE2+itNQ0MVT6joD4cd6nY0Q2cgsaInrYN3xW4KfbzQ3QZS3LAfWpiinc+r
z5dEW3xdYXWZa4lZZ5/G3JXMQkZptdAIDls0JZyXhjETZ7/AgMxGaA9eLEZd
ukE4pGSLgg9GrhIXcku6me+VoLlsrGznSO88IrzN6kSGxeWqXlZeYOHuOqwT
5+FDosm3qIcc6rwcm84qIWOID3h/d+o2iovkYhk2VjZQLREFu6yWWZRVNQ8Q
MhNJxt8uQXrdMcKdnR+o3nJOKt6QUrkkDBpELXeLl20dJ8en6tzcYp2kc84V
0tZ7M/dGzLlYLt4rFya3HHLHtXndfBLBgJWjnL44Ql88dNr2JXjW8RzYIcZn
AJ1+GmUyRThoKmvWBES3b5DxzCgPYCZtjil9VC7CZsC8lHNywTONopPoD0Xl
KtqKMj8wDVZcucxtrcIckEaAMJZS1z4xJQdWhrkq1SQjMGfOh9E24FO7dczL
ZjrKm9GiJgPgyeoM9RisJ3V5c3jEbsVuf8Iy77N71jlkBDRZzSZTangSlOu0
nGqi0y6HKHlghO+0rERyZ4kv4kxBnMM8rtdrr4mD7Jj6Yy4rSj6ccynPDmNR
pZkGDhB0ZWOazfZlyi49JUCuBcJzwD5BGLHvb1+cMwX05a1gV8llgQWHKCC8
AIYxZH6d/zgZTBY+/uE//t1fC73n9k+XycsH5PlC9GbJ08waeY3dZtRI6XVZ
BYbaofD0iBbAnR38QtBMc0t0bVL+JAu75U9VJwcI5t6RxB1tdcFqXuMxf3tm
kL58H3J9SH2mCayarzp/eTViwErkCknlBgkpBEpP3ZZUt1LrHgFrBn21qhLp
plpxuhnaj9iBQAIsMN+JT22iamksH4ZxJw5U3qPuv3SCktDWkETZO5odmrZY
otVhb5w9/rgpTLCao8lOik8cfxukZgpvrSj7xiBdH88Zp+npAAPZWlNVPJod
lQ5F/heklIvK5XLoTbXOJQxHbTUynXibsMkMLrqlMFxrEWZncVs/aSPYhobv
oCirZnwAgrrvQHArtMLsyM2G90YvyoQmnhst8gHgtJLyMQVh9naCbEUh59g0
23oAJICidjlkc8V5z+iKxuQVKdTrHYPBlT40a2924bJCgmi938om0aNXYoWH
CSXKgu5V41cYJejWpFvMs8heRFOg/uHiE54v3UOC3wtyd1kmyTvjJXmlzabR
03bT+SQ5JDex1NBnqhfM20S+hew5MgfCWJWNS9xidMTy4fEiMDahzDu+GA9T
mV204jIndCRkRBWlS9xShsctzNaiFWk5uwQnhXioWC4nmpiULkaF6NmnuOjB
ftsy7hltNoKMT38qJit3yFRjzGUfurmK0BRj8/EqgfqAWs40OpmiefC8dUZe
0sozYvhqWgmKLBrvvJZsTeTba9LRR/EDDvW9ubpbS8CW7yLizNUYgp40HnAw
CI3TxJSEHEzMGBBP3aTOVafm7qNxMu1FFx4CB+KWOW0f8MkpvEA8xrDIDZDK
uwj13/QpTuQjpuIiLP5PSsXVqfUDIr6pORra2r2RshTNg9WeNMa2HlEFySgE
V5FK5ThPX28Y4ZFpRkLXHfvaOI6YNDZwqWNFYHK6sQKb8dj1u4mkmk27yVx2
fjPR0Hfkq+dRFHkgSQEKm7BySUuFvKP3BLTx7qgLjbA+r6PrkrlOJf7UspGm
OG8qhcE1aoNkjCLGKFuxc3TyagCAVdLi2hLjJL03lJ0sxuS4K6H4jomFA24M
S5Q96gF3CW8ooy+XSqYhVY8J0zGQUL1wCAu6FqQfP7UIXpgaW6d0eEJ7hBmA
2afsSKwXbMjj7ZByDNNqslJdHmfC955oQavx1g8mAx3fnxJsDEs+X9FlLjaX
xiUhmNb5ecuzOT58ftiZyTNuV7au1nXQkofBqIy6bOJoZuownuTW1mg0Imjg
mIeTN0DX4GM+IltvD/gGKKZfb58D2S4w/O0HJEwYIYR+MRUC8SSfr4pZ9l3Z
/i3bOVzky/wmB5L+rMYHJy2cszmQjmzn5Pgfs2/rarXMDr+F9/9zhUW8xtm3
eQ3sQ/ayzqdVtvP09LvsnwGik0uOZ3q1AmryXbVqZoAHO8dPT58NxISCV4fT
xujGjLM/8WmgW4ZU9RcoLaPKA6Z6OAWKtsBCHkAGg8E4wsDrlS9WcKSRDpCF
rSimhDK853Td5aS7xQ0g4X2MSbKYY7rmGaDD9FnrvWVFxgexelYtCYnaIp/T
FgrQaCw/p6GSZMwIjClk0MCf6RbJzNTFVNZvizSIcE95Jm1cPU+H418aTnZ9
9N2Ph6f7++/fy/V7VlVvxORQKv3OmmpVawXZ5aoVpXizLMUyxHMJ0VidMXCj
O25P1ifqbceX5X0a/3p02GpDt24vHScXhRarlHZkxEHCvwq9J1B7ADcI7bb4
RlGp+ci11ju5JFyVUs4tqL87w8JtxsWF7j0pC607RG7HkkNwS5Lx8jpeooJx
Ui7z3lN62F28yF7sHaWtmQ1h9x3gDS7yRfk3S1oCI8Vxg4VwcaufVHO6204v
i7C7SO/sIc82auPCC9efFC3DTnZ33af5FBXqmGgImBTgGdj7CC7T+oKQb14x
ARNeO07ckn1X3GtQUFiRVR2Z4GCG1izKlyyJ39b7zJUnSEyIsoQRcZFMTMQB
YAagYlqiB4Ba44JB1ZB3g7gSlaMmHpGQjIygnOFkd9fV1Yt85xgiEyAY5AJ8
7gvzdqsmVybPDyvgyMGMuLaUX556ejkPeDYMA81Cy2bK+JJCk5SMIbZbXBh0
gxpmXgdeJsCpN+qC4aBm5RO3EeTUxhZ3Z9LArZIuKfXbolIrKWIYO3ffOLyk
De94BqK6Elm5BiuHGH5aSBx7T5+naomzzHqDNwS7giAuXBBD4EI/uKs55X0l
xcYZBQDgNV0Bs134MnZUY5yZi6YBej51+qG1R5T87bBjJktcMWZ6lVMlWMlK
lzqVQ0UQOosxWAIMDit+ibaqLjgVPLlg0o1mLh7DbWm51Bss/zhgmzwrMIlh
odNEVdvSotJgaDEWW6uck/Qp7XzXc5CVqRTkKZpgG571OEq6pAZ2gxyRKYyf
3jVcm5eAoFSUoqFaoSskFN53NpwcMi3aacWBWqRdOwNoo+9Ai5IZkqdGHZzJ
jdoX4y7JMQYIIPrNcGxuiQdLnJiZ7oj+Dblono7plVJG04LUncIhAKl5bYah
G6mX4FPdU8YmUk0F7j0pgkHUzva+wAHRZY3VfiWS2Qncj+tJsYut0xJBZ0QW
2P+RyZUdWUUxd4vWLnV6zy36si4rHxHqMCAg7cIKCBSWlzcNsWnohxMpGowb
MlNUESyDrMhJ1BBMlXJc/tSPvRurM4LaRE+Ej3g4dXpGnQorn2PmOr6DndrE
e1phtdAgbhsfuIDse90ga3xvdPWs1Bm5OqypcOixtx42Bft6iX8+eXVn6NWN
DlXdQLiweGB9YasH+qCOcP7eiFiQuq7PMVnPvrKFLooyAKxyDGc+5IJLclR8
TZY2Gi8RNk4oGaK383ZGmwpq7ckXEaj5fDVryfUaeBfKBX5OR424Cehr7SmB
UyVCMPEp+cQ54nJYQ6kWAokJig+nMwV/Lyjdz5c7pGejmHhJknK2xgIfN1Lc
jBiwZXWNqttq8qZoGx/fbUeOIhRb1QE5/0u4kIGHh6Y7LLyhrrPCJNVCldEq
v+YKQN4d2KeCIln8Qp/w6Uyv86lOElg9hH0je40O0cIoqTMpTbPhciYmWFBU
Oj5VfxBtpBz/KHsivVUuLkHoK7FyMhayLUWJQGJEJMD4yiDJdWOdXwr4XJLR
kGNmzm4so5QO26Cwp2SXn+qEDtahoqrwJHJEaLyDV4qpdY5G3ku+ixbuXBvf
KLwA9YiffHc4erS3n3ENpGzHe5ZSLWqQTHhtf0ytOlpamnHefGUdD6obMVgT
MVgJz6IduJVFoa/qeSyzCa65jw0elphn6udOpYKys3IBpMd6zzrE7ri0585p
wetpOqph5nuJ7/AqB8ddyYUJdF+sTZLXmaigPx701dBVFbc8tvXsDI6GbB0c
G+rVp17wgrm1IAk/rjc4OTKS07iQD8tWoPZreTsdKRdXpE/3cb8d+ZkIKqrb
RHrNQeK4FnGGYnP8mC5C0N1nQSgLMOgzjTRvRCLygQY6+Qq24TRv3vjSjzqT
Q3ui00s7dokx3KSWlyYSLRUDt5ZV12KHNrVk80ZcK07Qe0TFDsxNP5qhji0d
aWd9CZStckpdQVrlv5IdvMSF+OhzwwkONW2o1C2lSoykKH9VzDGBfm6D9ntl
FsNhK4fhWLicPH8lFEe4QZHvGpTEVjM7d4cAqFl/zJSJVDBaVtXGtCkQJAcR
Bnu1CNRzCe8JnOVdiN4GiPNHp8d4Fa69n41Ymr5wo72O4Vbg7cBprtsDfQ6s
IpWSBSCKC7uaDTRgI+JGI6LEVaed+7tnzI3bhIkhTGwYzHhWzkuqr+F3jbIc
MPJwnDCfmN3dHg8oaLm763MX+OlrPTe9DwLdiyPNunarGWCSsrvrfeyxBjjH
goST4JEL8dEXtBNefaI2uVyUmyn5hQPcx0LzopuTNExe2cW+Md7A4488R8Bj
Xr4gZTlplTqRxOZCHCYMXZiNz00z8BzzLqysr4qY9o/SrxTBXUdrE7oTxO81
VwnALpAm8z4VDNzG1Uiih48OoZ2Up+6kELaQjwFPKhCNJpNNSJRm+zjgSlZ9
xHo+slRUlK+vC0eVJGmxTsmzu3sQUySSUg9NzIjYu11EvY/GDy5neDgHDL/y
8S9AW6tAM0H2kq736WlQhQ5rQfIEvGoDQ+Tknkpo9EV3SlxechOjHJYJR063
i7o8G2WN7jqosJ52TRAsqvYT8Y5Qq3yJxgw7o8uvJO2qnNt01U8knFHwGtp2
qnHPCgIHQKNKIZaADsGfiT3I9g6Cw/dU+NO/7HxC3+4NpNCWWqIC7shriozW
Qa9fNh+kKb0L7A1LECZipgOQjf289w+yb4NIL+1CMk7rAvb9Atidk1ewlofT
O6hxnWqOwjNbD0D9iUNXbDkBNtYfld58F5kFPDiwXJtO94GfbntZ1m62hAdp
ec4lYA9EdmNaMcnY/fAPefg/sj8IV+OlsR7aHceKvbfveMzs+J035XNv2VqM
YUNu5AKjsVt2vWZ5DEaYBT0ZwewwmQLd621p6oz+jTVQIhe4Dv2zt4L+PZZd
AJC07zMjDgNW9Jc4C073t6FxofG+N6Gyj/vozRN560ByD8WDJJWoVLnxv+7F
gbQU6DDqa4WCw7WIfgFN5njPtBzPISwXlbrLUTR78rxqstjip1aCk6MPJtWy
NMe5IBNB0iFPdHmqgakW0nd6iiJ+wX+ugwwQqrrTWbGIwFfXLCfX7WB+XA6n
SbTuo9qxrIJMDe+fq3pFVnW3QvjGRcvT3nhmna7gYjl0YR1tZLXB6MTljTos
mLyTN2o/Mn5w6iEvnlERlYOZP3PKXtVXBtEda24RsWWxXq1t1jmGLtFFCB2H
buIcMa7V0OO7Z81MaXZKV8QOrJqTNe96wntnV/aoZldXPDLDrmCyNv+zD8jg
BEPacVNYIx5W8/6J81CthxWr+BrV8e0/+jxrVnOTSrUTFNmnJ0cbjblGKOqB
LmoX7d3ZRrFSgqCBIq5Ow8T074Rqx4EnBuJsxyOkUkH02QPLBtj/G3b68CM5
PwgxFqxfK3r20vFoDD9i1ffr7gVcsVBukdZZQGZ6x2FXrgT15jTvrsROvFqb
JL6KgEICkyh/XLgFGXHNHoneTQCLBjVOxxDCM1Q4p9RcLNVXC2B3535S3QQP
Se6PR/M2YTxwQWry5KS2tpSZ4MyqYvgmTxyN4Q+AdsllmHGK1vHCH5yAHoQ+
G6byUI4EkQM7Qt8T09HQMTpWNQ/zoQy/TpG8EU+uXNX+bVzVftoU/euz61Lv
HgkclTByyBXuICBSBUdKanatIRwcuWdsG4GqT6a9drEcfta8sUc5RmGgmuqs
ZmIjrC0eX2nIhI/hGWbHTwYmKZFewZxmjZUi3tithrvQxcDr1FJ5u2QCceKu
dTSOsS5cChpDTSIAE4W0Iyuw0rv3KaNyEVEuaYMvt9Uu0LjmyyKWNpyCZH0H
ppXryUV02TgUSQVvt2x9z9hmTZeJNPOb942NXd9henxVlBDb6MMQbutRUgm7
PtOaZE2kcltFCWk92MQ3zSrg2U7JCC3nOV8015ILiP6kaA/NRdJs6qy2/tbW
mByLwZZoXYHcgeTBV9iQF20xXyJ7QhZOZlkazZiLHqtAv7CFfhXffC72XSwA
tHwXVKK3/Ho2LV8E1tgnT1+RsxgJE+Y8EbsQ1UczXF335NGS1tKBNsxs2KX1
O+t4lYEaotMUk5UPJkhKOv20McR8rPiPwJtWLIqc3QhAlOqlM0HpJDv8AfGd
GhJnErTCJ9wJXc+yXMr9mWYd9k0gGJd6EQ/qCu0nzESkxVHhIywDlqiwpwsI
2Qpz94fqLL3pH9x20z/YTLXVW1yAnZEXCmwKP2CRz7gu2ULwOxbjBpL+TXfT
bY+RqnnbTb4f5xXBmdY1cxBpW4FkkV3eBaHbRD49CRkCj0M2AKKQIixB4N/c
EXV1+x+YHecayGvUc3TwKbWtIFrVmtw3PepB3dGHt+3ow4+uGpTLWxUxLJl8
mDrGF80wEknfuXBaGHsAZNpuytQpVrGxu/gh+hmjb+GJ3lXNIhpUwJf5mUq7
rMHF+aPPlEjFLr5elkSzCRaExmmnPx64NMj9LKfceGZPy8blNiEXL4y+kcBn
VIZ4GhMx0oGrUaDtaEJ23iXA7Tjxi8By+3ViZOcYG+NYDEEVPoNz5oypD1kX
KieJ1Ipg6ZaBL4J5B7P1i7DzPmyZHC2rctFGFzJJiJjLy+VNDfhvLx67Baly
gzIg4HTC3GP4cZis1YdyUazj/wvdSsdN7b0BAA==

-->

</rfc>
