<?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.24 (Ruby 3.0.5) -->
<?rfc strict="yes"?>
<?rfc comments="yes"?>
<?rfc inline="yes"?>
<?rfc editing="no"?>
<?rfc tocompact="yes"?>
<?rfc iprnotified="no"?>
<?rfc compact="yes"?>
<?rfc subcompact="no"?>
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-alto-new-transport-15" category="std" consensus="true" tocDepth="3" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.17.1 -->
  <front>
    <title abbrev="ALTO TIPS">The ALTO Transport Information Publication Service</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-alto-new-transport-15"/>
    <author initials="K." surname="Gao" fullname="Kai Gao">
      <organization>Sichuan University</organization>
      <address>
        <postal>
          <street>No.24 South Section 1, Yihuan Road</street>
          <city>Chengdu</city>
          <code>610000</code>
          <country>China</country>
        </postal>
        <email>kaigao@scu.edu.cn</email>
      </address>
    </author>
    <author initials="R." surname="Schott" fullname="Roland Schott">
      <organization>Deutsche Telekom</organization>
      <address>
        <postal>
          <street>Ida-Rhodes-Straße 2</street>
          <city>Darmstadt</city>
          <code>64295</code>
          <country>Germany</country>
        </postal>
        <email>Roland.Schott@telekom.de</email>
      </address>
    </author>
    <author initials="Y. R." surname="Yang" fullname="Yang Richard Yang">
      <organization>Yale University</organization>
      <address>
        <postal>
          <street>51 Prospect Street</street>
          <city>New Haven</city>
          <code>CT</code>
          <country>USA</country>
        </postal>
        <email>yry@cs.yale.edu</email>
      </address>
    </author>
    <author initials="L." surname="Delwiche" fullname="Lauren Delwiche">
      <organization>Yale University</organization>
      <address>
        <postal>
          <street>51 Prospect Street</street>
          <city>New Haven</city>
          <code>3408</code>
          <country>USA</country>
        </postal>
        <email>lauren.delwiche@yale.edu</email>
      </address>
    </author>
    <author initials="L." surname="Keller" fullname="Lachlan Keller">
      <organization>Yale University</organization>
      <address>
        <postal>
          <street>51 Prospect Street</street>
          <city>New Haven</city>
          <code>3408</code>
          <country>USA</country>
        </postal>
        <email>lachlan.keller@yale.edu</email>
      </address>
    </author>
    <date/>
    <area>Transport Area</area>
    <workgroup>ALTO</workgroup>
    <abstract>
      <t>The ALTO Protocol (RFC 7285) leverages HTTP/1.1 and is designed for the simple,
sequential request-reply use case, in which an ALTO client requests a
sequence of information resources and the server responds with the complete
content of each resource one at a time.</t>
      <t>ALTO incremental updates using Server-Sent Events (SSE) (RFC 8895) defines a
multiplexing protocol on top of HTTP/1.x, so that an ALTO server can
incrementally push resource updates to clients whenever monitored network
information resources change, allowing the clients to monitor multiple resources
at the same time. However, HTTP/2 and later versions already support concurrent,
non-blocking transport of multiple streams in the same HTTP connection.</t>
      <t>To take advantage of newer HTTP features, this document introduces the ALTO
Transport Information Publication Service (TIPS). TIPS uses an incremental
RESTful design to give an ALTO client the new capability to explicitly,
concurrently (non-blocking) request (pull) specific incremental updates using
native HTTP/2 or HTTP/3, while still functioning for HTTP/1.1.</t>
    </abstract>
    <note removeInRFC="true">
      <name>Discussion Venues</name>
      <t>Discussion of this document takes place on the
    Application-Layer Traffic Optimization Working Group mailing list (alto@ietf.org),
    which is archived at <eref target="https://mailarchive.ietf.org/arch/browse/alto/"/>.</t>
      <t>Source for this draft and an issue tracker can be found at
    <eref target="https://github.com/ietf-wg-alto/draft-ietf-alto-new-transport"/>.</t>
    </note>
  </front>
  <middle>
    <section anchor="intro">
      <name>Introduction</name>
      <t>Application-Layer Traffic Optimization (ALTO) provides means for network
applications to obtain network status information. So far, two transport
protocols have been designed:</t>
      <ol spacing="normal" type="1"><li>The ALTO base protocol <xref target="RFC7285"/>, which is designed for the simple use case
in which an ALTO client requests a network information resource, and the
server sends the complete content of the requested information (if any)
resource to the client.</li>
        <li>ALTO incremental updates using Server-Sent Events (ALTO/SSE) <xref target="RFC8895"/>,
which is designed for an ALTO client to indicate to the server that it wants
to receive updates for a set of resources and the server can then
concurrently and incrementally push updates to that client whenever
monitored resources change.</li>
      </ol>
      <t>Both protocols are designed for HTTP/1.1 <xref target="RFC9112"/>, but HTTP/2 <xref target="RFC9113"/> and
HTTP/3 <xref target="RFC9114"/> can support HTTP/1.1 workflows. However, HTTP/2 and HTTP/3
provide features that can improve certain properties of ALTO and ALTO/SSE.</t>
      <ul spacing="normal">
        <li>First, consider the ALTO base protocol, which is designed to transfer only
complete information resources. A client can run the base protocol on top of
HTTP/2 or HTTP/3 to request multiple information resources in concurrent
streams, but each request must be for a complete information resource: there is
no capability it transmits incremental updates. Hence, there can be a large
overhead when the client already has an information resource and then there are
small changes to the resource.</li>
        <li>Next, consider ALTO/SSE <xref target="RFC8895"/>. Although ALTO/SSE can transfer
incremental updates, it introduces a customized multiplexing protocol on top
of HTTP, assuming a total-order message channel from the server to the client.
The multiplexing design does not provide naming (i.e., a resource identifier)
to individual incremental updates. Such a design cannot use concurrent data
streams available in HTTP/2 and HTTP/3, because both cases require a resource
identifier. Additionally, ALTO/SSE is a push-only protocol, which denies the
client flexibility in choosing how and when it receives updates.</li>
      </ul>
      <t>To mitigate these concerns, this document introduces a new ALTO service called
the Transport Information Publication Service (TIPS). TIPS uses an incremental
RESTful design to provide an ALTO client with a new capability to explicitly,
concurrently issue non-blocking requests for specific incremental updates using
native HTTP/2 or HTTP/3, while still functioning for HTTP/1.1.</t>
      <t>Despite the benefits, however, ALTO/SSE <xref target="RFC8895"/>, which solves a similar
problem, has its advantages. First, SSE is a mature technique with a
well-established ecosystem that can simplify development. Second, SSE does not
allow multiple connections to receive updates for multiple objects over
HTTP/1.1.</t>
      <t>HTTP/2 <xref target="RFC9113"/> and HTTP/3 <xref target="RFC9114"/> also specify server push, which might
enhance TIPS. We discuss push-mode TIPS as an alternative design in <xref target="push"/>.</t>
      <t>Specifically, this document specifies:</t>
      <ul spacing="normal">
        <li>Extensions to the ALTO Protocol for dynamic subscription and efficient
uniform update delivery of an incrementally changing network information
resource.</li>
        <li>A new resource type that indicates the TIPS updates graph model for a
resource.</li>
        <li>URI patterns to fetch the snapshots or incremental updates.</li>
      </ul>
      <t><xref target="sec-bcp-http"/> discusses to what extent the TIPS design adheres to the Best
Current Practices for building protocols with HTTP <xref target="RFC9205"/>.</t>
      <section anchor="requirements-language">
        <name>Requirements Language</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>
      </section>
      <section anchor="notations">
        <name>Notations</name>
        <t>This document uses the same syntax and notations as introduced in
<xref section="8.2" sectionFormat="of" target="RFC7285"/> to specify the extensions to existing ALTO resources and services.</t>
      </section>
    </section>
    <section anchor="overview">
      <name>TIPS Overview</name>
      <section anchor="requirements">
        <name>Transport Requirements</name>
        <t>The ALTO Protocol and its extensions support two transport mechanisms:
First, a client can directly request an ALTO resource and obtain a complete
snapshot of that ALTO resource, as specified in the base protocol <xref target="RFC7285"/>;
Second, a client can subscribe to incremental changes of one or multiple ALTO
resources using the incremental update extension <xref target="RFC8895"/>, and a server pushes
the updates to the client through Server Sent Events (SSE).</t>
        <t>However, the current transport mechanisms are not optimized for storing,
transmitting, and processing (incremental) updates of ALTO information
resources. Specifically, the new transport mechanism must satisfy the following
requirements:</t>
        <dl>
          <dt>Incremental updates:</dt>
          <dd>
            <t>Incremental updates can reduce both the data storage on an ALTO server and the
transmission time of the updates, especially when the change of an ALTO
resource is minor. The base protocol does not support incremental updates and
the current incremental update mechanism in <xref target="RFC8895"/> has limitations (as
discussed below).</t>
          </dd>
          <dt>Concurrent, non-blocking update transmission:</dt>
          <dd>
            <t>When a client needs to receive and apply multiple incremental updates, it is
desired to transmit the updates concurrently to fully utilize the bandwidth
and to reduce head-of-line blocking. The ALTO incremental update extension
<xref target="RFC8895"/>, unfortunately, does not satisfy this requirement -- even though
the updates can be multiplexed by the server to avoid head-of-line blocking
between multiple resources, the updates are delivered sequentially and can
suffer from head-of-line blocking inside the connection, for example, when
there is a packet loss.</t>
          </dd>
          <dt>Prefetching updates:</dt>
          <dd>
            <t>Prefetching updates can reduce the time to send the request, making it
possible to achieve sub-RTT transmission of ALTO incremental updates. In
<xref target="RFC8895"/>, this requirement is fulfilled using server-sent event (SSE) and
is still desired in the ALTO new transport.</t>
          </dd>
          <dt>Backward compatibility:</dt>
          <dd>
            <t>While some of the previous requirements are offered by HTTP/2 <xref target="RFC9113"/> and
HTTP/3 <xref target="RFC9114"/>, it is desired that the ALTO new transport mechanism can
work with HTTP/1.1 as many development tools and current ALTO implementations
are based on HTTP/1.1.</t>
          </dd>
        </dl>
        <t>The ALTO new transport specified in this document satisfies all the design
requirements and hence improves the efficiency of continuous dissemination of
ALTO information. The key idea is to introduce a unified data model to describe
the changes (snapshots and incremental updates) of an ALTO resource, referred to
as a TIPS view. Along with the data model, this document also specifies a
unified naming for the snapshots and incremental updates, independent of the
HTTP version. Thus, these updates can be concurrently requested. Prefetching is
realized using long polling.</t>
        <t>This document assumes the deployment model discussed in  <xref target="sec-dep-model"/>.</t>
      </section>
      <section anchor="terminology">
        <name>TIPS Terminology</name>
        <t>In addition to the terms defined in <xref target="RFC7285"/>, this document uses the following terms:</t>
        <dl>
          <dt>Transport Information Publication Service (TIPS):</dt>
          <dd>
            <t>Is a new type of ALTO service, as specified in this document, to enable a
uniform transport mechanism for updates of an incrementally changing ALTO
network information resource.</t>
          </dd>
          <dt>Network information resource:</dt>
          <dd>
            <t>Is a piece of retrievable information about network state, per <xref target="RFC7285"/>.</t>
          </dd>
          <dt>TIPS view (tv):</dt>
          <dd>
            <t>Is defined in this document to be the container of incremental transport
information about the network information resource. The TIPS view has one
basic component, updates graph (ug), but may include other transport
information.</t>
          </dd>
          <dt>Updates graph (ug):</dt>
          <dd>
            <t>Is a directed, acyclic graph whose nodes represent the set of versions of an
information resource, and edges the set of update items to compute these
versions. An ALTO map service (e.g., Cost Map, Network Map) may need only a
single updates graph. A dynamic network information service (e.g., Filtered
Cost Map) may create an updates graph (within a new TIPS view) for each unique
request.</t>
          </dd>
          <dt>Version:</dt>
          <dd>
            <t>Represents a historical content of an information resource. For an information
resource, each version is associated with and uniquely identified by a
monotonically and consecutively increased sequence number. This document uses the term
"version s" to refer to the version associated with sequence number "s".</t>
          </dd>
          <dt>Start sequence number (start-seq):</dt>
          <dd>
            <t>Is the smallest non-zero sequence number in an updates graph.</t>
          </dd>
          <dt>End sequence number (end-seq):</dt>
          <dd>
            <t>Is the largest sequence number in an updates graph.</t>
          </dd>
          <dt>Snapshot:</dt>
          <dd>
            <t>Is a full replacement of a resource and is contained within an updates graph.</t>
          </dd>
          <dt>Incremental update:</dt>
          <dd>
            <t>Is a partial replacement of a resource contained within an updates graph,
codified in this document as a JSON Merge Patch or JSON Patch. An incremental
update is mandatory if the source version (i) and target version (j) are
consecutive, i.e., i + 1 = j, and optional or a shortcut otherwise. Mandatory
incremental updates are always in an updates graph, while optional/shortcut
incremental updates may or may not be included in an updates graph.</t>
          </dd>
          <dt>Update item:</dt>
          <dd>
            <t>Refers to the content on an edge of the updates graph, which can be either a
snapshot or an incremental update. An update item can be considered as a pair
(op, data) where op denotes whether the item is an incremental update or a
snapshot, and data is the content of the item.</t>
          </dd>
          <dt>ID#i-#j:</dt>
          <dd>
            <t>Denotes the update item on a specific edge in the updates graph to transition
from version i to version j, where i and j are the sequence numbers of the
source node and the target node of the edge, respectively.</t>
          </dd>
        </dl>
        <figure anchor="fig-overview">
          <name>Overview of ALTO TIPS</name>
          <artwork type="drawing" align="center"><![CDATA[
                                   +-------------+
    +-----------+ +--------------+ |  Dynamic    | +-----------+
    |  Routing  | | Provisioning | |  Network    | | External  |
    | Protocols | |    Policy    | | Information | | Interface |
    +-----------+ +--------------+ +-------------+ +-----------+
          |              |                |              |
+----------------------------------------------------------------------+
| ALTO Server                                                          |
| +------------------------------------------------------------------+ |
| |                                              Network Information | |
| | +-------------+                         +-------------+          | |
| | | Information |                         | Information |          | |
| | | Resource #1 |                         | Resource #2 |          | |
| | +-------------+                         +-------------+          | |
| +-----|--------------------------------------/-------\-------------+ |
|       |                                     /         \              |
| +-----|------------------------------------/-----------\-----------+ |
| |     |       Transport Information       /             \          | |
| | +--------+                     +--------+        +--------+      | |
| | |  tv1   |----+          +-----|  tv2   |        |  tv3   |---+  | |
| | +--------+    |          |     +--------+        +--------+   |  | |
| |     |         |          |           |             |          |  | |
| | +--------+ +--------+ +--------+ +--------+ +--------+ +--------+| |
| | | tv1/ug | | tv1/hb | | tv2/ug | | tv2/hb | | tv3/ug | | tv3/hb || |
| | +--------+ +--------+ +--------+ +--------+ +--------+ +--------+| |
| +----|\---------/\---------|---------/---------------|------|------+ |
|      | \       /  \        |        /                |      |        |
+------|--\-----/----\-------|-------/-----------------|------|--------+
       |   \   /      \      |      /                  |      +
       |    +-/-----+  \     |     /                   |     /
       |     /       \  \    |    /                    |    /
       |    /         \  \   |   /                     |   /
       |   /           \  \  |  /                      |  |
   +----------+       +----------+                 +----------+
   | Client 1 |       | Client 2 |                 | Client 3 |
   +----------+       +----------+                 +----------+

tvi   = TIPS view i
tvi/ug = incremental updates graph associated with tvi
tvi/hb = client liveness check for tvi
]]></artwork>
        </figure>
        <t><xref target="fig-overview"/> shows an example illustrating an overview of the ALTO TIPS
service. The server provides the TIPS service of two information resources (#1
and #2) where #1 is an ALTO map service, and #2 is a filterable
service. There are 3 ALTO clients (Client 1, Client 2, and Client 3) that are
connected to the ALTO server.</t>
        <t>Each client uses the TIPS view to retrieve updates. Specifically, a TIPS view
(tv1) is created for the map service #1, and is shared by multiple clients. For
the filtering service #2, two different TIPS views (tv2 and tv3) are created upon
different client requests with different filter sets.</t>
        <t>A heartbeat mechanism is used to detect the liveness of clients using TIPS. It
allows the ALTO server to identify unused TIPS views, e.g., because of
accidentally crashed ALTO clients, and release the resources of such views.</t>
      </section>
    </section>
    <section anchor="tips-updates-graph">
      <name>TIPS Updates Graph</name>
      <t>In order to provide incremental updates for a resource, an ALTO server creates
an updates graph, which is a directed, acyclic graph that contains a sequence of
incremental updates and snapshots (collectively called update items) of a
network information resource.</t>
      <section anchor="data-model">
        <name>Basic Data Model of Updates Graph</name>
        <t>For each resource (e.g., a cost map, a network map), the incremental updates and
snapshots can be represented using the following directed acyclic graph model,
where the server tracks the change of the resource maps with version IDs that are
assigned sequentially (i.e., incremented by 1 each time):</t>
        <ul spacing="normal">
          <li>Each node in the graph is a version of the resource, where a tag identifies the
content of the version (tag is valid only within the scope of resource).
Version 0 is reserved as the initial state (empty/null).</li>
          <li>Each edge is an update item. In particular, the edge from i to j is the update
item to transit from version i to version j.</li>
          <li>Version is path-independent (different paths arrive at the same version/node
has the same content)</li>
        </ul>
        <t>A concrete example is shown in <xref target="fig-ug"/>. There are 7 nodes in the graph,
representing 7 different versions of the resource. Edges in the figure represent
the updates from the source version to the target version. Thick lines represent
mandatory incremental updates (e.g., ID103-104), dotted lines represent optional
incremental updates (e.g., ID103-105), and thin lines represent snapshots (e.g.,
ID0-103). Note that node content is path independent: the content of node v can
be obtained by applying the updates from any path that ends at v. For example,
assume the latest version is 105 and a client already has version 103. The base
version of the client is 103 as it serves as a base upon which incremental
updates can be applied. The target version 105 can either be directly fetched as
a snapshot, computed incrementally by applying the incremental updates between
103 and 104, then 104 and 105, or if the optional update from 103 to 105 exists,
computed incrementally by taking the "shortcut" path from 103 to 105.</t>
        <figure anchor="fig-ug">
          <name>TIPS Model Example</name>
          <artwork type="drawing" align="center"><![CDATA[
                                                        +======+
                                                  ------|  0   |
                                                 /      +======+
                                        ID0-101 /        |   |
                                              |/__       |   |
                                       +======+          |   |
                       tag: 3421097 -> | 101  |          |   |
                                       +======+          |   |
                               ID101-102  ||             |   |
                                          \/             |   |
                                       +======+          |   |
                       tag: 6431234 -> | 102  |          |   |
                                       +======+          |   |
                               ID102-103  ||             |   |
                                          \/             |   |
                                       +======+          /   |
    +--------------+   tag: 0881080 -> | 103  |<--------/    |
    | Base Version |   =======>        +======+ ID0-103      |
    +--------------+             103-104  ||    ..           |
                                          \/     ..          |
                                       +======+  ..          |
                       tag: 6452654 -> | 104  |  .. ID103    |
                                       +======+  .. -105     |
                               ID104-105  ||     ..          | ID0-105
                                          \/   |._           /
                                       +======+             /
                       tag: 7838392 -> | 105  |<-----------/
                                       +======+
                               ID105-106  ||
                                          \/
                                       +======+
                       tag: 6470983 -> | 106  |
                                       +======+
]]></artwork>
        </figure>
      </section>
      <section anchor="updates-graph-modification-invariants">
        <name>Updates Graph Modification Invariants</name>
        <t>A server may change its updates graph (to compact, to add nodes,
etc.), but it must ensure that any resource state that it makes
available is reachable by clients, either directly via a snapshot
(that is, relative to 0) or indirectly by requesting an earlier
snapshot and a contiguous set of incremental updates.  Additionally,
to allow clients to proactively construct URIs for future update
items, the ID of each added node in the updates graph must increment
contiguously by 1.  More specifically, the updates graph <bcp14>MUST</bcp14> satisfy
the following invariants:</t>
        <ul spacing="normal">
          <li>Continuity: At any time, let ns denote the smallest non-zero version (i.e.,
start-seq) in the update graph and ne denote the latest version (i.e.,
end-seq). Then any version in between ns and ne must also exist. This implies
that the incremental update from ni to ni + 1 exists for any ns &lt;= ni &lt;= ne,
and all versions in the update graph (except 0) is an integer interval
<tt>[ns, ne]</tt>.</li>
          <li>Feasibility: Let ns denote the start-seq in the update graph. The server must
provide a snapshot of ns and, in other words, there is always a direct link
to ns in the update graph.</li>
          <li>"Right shift" only: Assume a server provides versions in <tt>[n1, n2]</tt> at time t
and versions in <tt>[n1', n2']</tt> at time t'. If t' &gt; t, then n1' &gt;= n1 and n2' &gt;=
n2.</li>
        </ul>
        <t>For example, consider the case that a server compacts a resource's updates graph
to conserve space, using the example model in <xref target="data-model"/>. Assume at time 0,
the server provides the versions <tt>{101, 102, 103, 104, 105, 106}</tt>. At time 1,
both <tt>{103, 104, 105, 106}</tt> and <tt>{105, 106}</tt> are valid sets. However, <tt>{102,
103, 104, 105, 106}</tt> and <tt>{104, 105, 106}</tt> are not valid sets as there is no
snapshot to version 102 or 104 in the update graph. Thus, there is a risk that
the right content of version 102 (in the first example) or 104 (in the second
example) cannot be obtained by a client that does not have the previous version
101 or 103, respectively.</t>
      </section>
    </section>
    <section anchor="workflow">
      <name>TIPS Workflow and Resource Location Schema</name>
      <section anchor="workflow-overview">
        <name>Workflow</name>
        <t>At a high level, an ALTO client first uses the TIPS service (denoted as TIPS-F
and F is for frontend) to indicate the information resource(s) that the client
wants to monitor. For each requested resource, the server returns a JSON object
that contains a URI, which points to the root of a TIPS view (denoted as
TIPS-V), and a summary of the current view, which contains the information to
correctly interact with the current view. With the URI to the root of a TIPS
view, clients can construct URIs (see <xref target="schema"/>) to fetch incremental updates
and to report liveness.</t>
        <t>An example workflow is shown in <xref target="fig-workflow-pull"/>. After the TIPS-F
service receives the request from the client to monitor the updates of an ALTO
resource, it creates a TIPS view service and returns the corresponding
information to the client. The URI points to that specific TIPS-V instance and
the summary contains a heartbeat interval, the start-seq and end-seq of the
update graph, and a server-recommended edge to consume first, e.g., from i to j.</t>
        <t>An ALTO client can then continuously pull each additional update with the
information. For example, the client in <xref target="fig-workflow-pull"/> first fetches the
update from i to j, and then from j to j+1. Note that the update item at
<tt>&lt;tips-view-uri&gt;/ug/&lt;j&gt;/&lt;j+1&gt;</tt> may not yet exist, so the server holds the
request until the update becomes available (long polling).</t>
        <t>In the meantime, the client must periodically send a heartbeat signal by making
a POST request to <tt>/&lt;tips-view-path&gt;/hb</tt> to indicate that the client is still
active. Otherwise, the server may close the TIPS view to release the resources.
See details in <xref target="tips-heartbeat"/>.</t>
        <t>Once the client no longer needs the TIPS view, it can send a DELETE request to
the TIPS-V service.</t>
        <figure anchor="fig-workflow-pull">
          <name>ALTO TIPS Workflow Supporting Client Pull</name>
          <artwork type="drawing" align="center"><![CDATA[
Client                                 TIPS-F           TIPS-V
  o                                       .                .
  | POST to create/receive a TIPS view    .  Create TIPS   .
  |           for resource 1              .      View      .
  |-------------------------------------> |.-.-.-.-.-.-.-> |
  | <tips-view-uri>, <tips-view-summary>  .                |
  | <-------------------------------------| <-.-.-.-.-.-.-.|
  |                                                        .
  | GET /<tips-view-path>/ug/<i>/<j>                       .
  |------------------------------------------------------> |
  | content on edge i to j                                 |
  | <------------------------------------------------------|
  |                                                        .
  | GET /<tips-view-path>/ug/<j>/<j+1>                     .
  |------------------------------------------------------> |
  |                                                        |
  | POST /<tips-view-path>/hb                              |
  |------------------------------------------------------> |
  |                                                        |
  | content on edge j to j+1                               |
  | <------------------------------------------------------|
  |                                                        .
  | DELETE <tips-view-path>                                .
  |------------------------------------------------------> |
  |                                                        o
  o
]]></artwork>
        </figure>
      </section>
      <section anchor="schema">
        <name>Resource Location Schema</name>
        <t>The resource location schema defines how a client constructs URI to fetch
incremental updates and to report liveness through heartbeat requests.</t>
        <t>To access each update in an updates graph, consider the model
represented as a "virtual" file system (adjacency list), contained within the
root of a TIPS view URI (see <xref target="open-resp"/> for the definition of tips-view-uri).
For example, assuming that the update graph of a TIPS view is as shown in
<xref target="fig-ug"/>, the location schema of this TIPS view will have the format as in
<xref target="fig-ug-schema"/>.</t>
        <figure anchor="fig-ug-schema">
          <name>Location Schema Example</name>
          <artwork type="drawing" align="center"><![CDATA[
  <tips-view-path>  // root path to a TIPS view
    |_ ug    // updates graph
    |  |_ 0
    |  |  |_ 101    // full 101 snapshot
    |  |  |_ 103
    |  |  \_ 105
    |  |_ 101
    |  |  \_ 102    // 101 -> 102 incremental update
    |  |_ 102
    |  |  \_ 103
    |  |_ 103
    |  |  |_ 104
    |  |  \_ 105    // optional shortcut 103 -> 105 incr. update
    |  |_ 104
    |  |  \_ 105
    |  \_ 105
    |     \_ 106
    |_ hb           // heartbeat
    \_ ...
]]></artwork>
        </figure>
        <t>TIPS uses this directory schema to generate template URIs which allow
clients to construct the location of incremental updates after receiving the
tips-view-uri from the server. The generic template for the location of the
update item on the edge from node 'i' to node 'j' in the updates graph is:</t>
        <artwork><![CDATA[
    <tips-view-uri>/ug/<i>/<j>
]]></artwork>
        <t>Due to the sequential nature of the update item IDs, a client can long poll a
future update that does not yet exist (e.g., the incremental update from 106 to
107) by constructing the URI for the next edge that will be added, starting from
the sequence number of the current last node (denoted as end-seq) in the graph
to the next sequential node (with the sequence number of end-seq + 1):</t>
        <artwork><![CDATA[
    <tips-view-uri>/ug/<end-seq>/<end-seq + 1>
]]></artwork>
        <t>Incremental updates of a TIPS view are read-only. Thus, they are fetched using
the HTTP GET method.</t>
        <t>In the meantime, the URI of the heartbeat service of a TIPS view has the
following format:</t>
        <artwork><![CDATA[
    <tips-view-uri>/hb
]]></artwork>
        <t>To avoid the message hitting an HTTP cache, the heartbeat request must use the
POST method.</t>
      </section>
    </section>
    <section anchor="ird">
      <name>TIPS Information Resource Directory (IRD) Announcement</name>
      <t>To announce a TIPS information resource in the information resource directory
(IRD), an ALTO server <bcp14>MUST</bcp14> specify the "media-type", "capabilities" and "uses"
as follows.</t>
      <section anchor="media-type">
        <name>Media Type</name>
        <t>The media type of the Transport Information Publication Service resource is
"application/alto-tips+json".</t>
      </section>
      <section anchor="caps">
        <name>Capabilities</name>
        <t>The capabilities field of TIPS is modeled on that defined in
Section 6.3 of <xref target="RFC8895"/>.</t>
        <t>Specifically, the capabilities are defined as an object of type
TIPSCapabilities:</t>
        <figure anchor="tips-cap">
          <name>TIPSCapabilities</name>
          <artwork align="left"><![CDATA[
     object {
       IncrementalUpdateMediaTypes incremental-change-media-types;
     } TIPSCapabilities;

     object-map {
        ResourceID -> String;
     } IncrementalUpdateMediaTypes;
]]></artwork>
        </figure>
        <t>with field:</t>
        <dl>
          <dt>incremental-change-media-types:</dt>
          <dd>
            <t>If a TIPS can provide updates with incremental changes for a
resource, the "incremental-change-media-types" field has an entry
for that resource-id, and the value is the supported media types
of incremental changes, separated by commas.  For the
implementation of this specification, this <bcp14>MUST</bcp14> be "application/
merge-patch+json", "application/json-patch+json", or "application/
merge-patch+json,application/json-patch+json", unless defined by a future
extension.
</t>
            <t>When choosing the media types to encode incremental updates for a
resource, the server <bcp14>MUST</bcp14> consider the limitations of the
encoding.  For example, when a JSON merge patch specifies that the
value of a field is null, its semantics are that the field is
removed from the target and hence the field is no longer defined
(i.e., undefined).  This, however, may not be the intended result
for the resource, when null and undefined have different semantics
for the resource.  In such a case, the server <bcp14>MUST</bcp14> choose JSON
patch over JSON merge patch if JSON patch is indicated as a
capability of the TIPS.  If the server does not support JSON patch
to handle such a case, the server then needs to send a full
replacement.</t>
          </dd>
        </dl>
      </section>
      <section anchor="uses">
        <name>Uses</name>
        <t>The "uses" attribute <bcp14>MUST</bcp14> be an array with the resource-ids of every
network information resource for which this TIPS can provide service.</t>
        <t>This set may be any subset of the ALTO server's network information resources
and may include resources defined in linked IRDs. However, it is <bcp14>RECOMMENDED</bcp14>
that the ALTO server selects a set that is closed under the resource dependency
relationship. That is, if a TIPS' "uses" set includes resource R1 and resource
R1 depends on ("uses") resource R0, then the TIPS' "uses" set <bcp14>SHOULD</bcp14> include R0
as well as R1. For example, if a TIPS provides a TIPS view for a cost map, it
<bcp14>SHOULD</bcp14> also provide a TIPS view for the network map upon which that cost map
depends.</t>
        <t>If the set is not closed, at least one resource R1 in the "uses" field of a TIPS
depends on another resource R0 which is not in the "uses" field of the same
TIPS. Thus, a client cannot receive incremental updates for R0 from the same
TIPS service. If the client observes in an update of R1 that the version tag for
R0 has changed, it must request the full content of R0, which is likely to be
less efficient than receiving the incremental updates of R0.</t>
      </section>
      <section anchor="an-example">
        <name>An Example</name>
        <t>Extending the IRD example in Section 8.1 of <xref target="RFC8895"/>, <xref target="ex-ird"/> is the IRD of an
ALTO server supporting ALTO base protocol, ALTO/SSE, and ALTO TIPS.</t>
        <figure anchor="ex-ird">
          <name>Example of an ALTO Server Supporting ALTO Base Protocol, ALTO/SSE, and ALTO TIPS</name>
          <artwork align="left"><![CDATA[
    "my-network-map": {
      "uri": "https://alto.example.com/networkmap",
      "media-type": "application/alto-networkmap+json"
    },
    "my-routingcost-map": {
      "uri": "https://alto.example.com/costmap/routingcost",
      "media-type": "application/alto-costmap+json",
      "uses": ["my-networkmap"],
      "capabilities": {
        "cost-type-names": ["num-routingcost"]
      }
    },
    "my-hopcount-map": {
      "uri": "https://alto.example.com/costmap/hopcount",
      "media-type": "application/alto-costmap+json",
      "uses": ["my-networkmap"],
      "capabilities": {
        "cost-type-names": ["num-hopcount"]
      }
    },
    "my-simple-filtered-cost-map": {
      "uri": "https://alto.example.com/costmap/filtered/simple",
      "media-type": "application/alto-costmap+json",
      "accepts": "application/alto-costmapfilter+json",
      "uses": ["my-networkmap"],
      "capabilities": {
        "cost-type-names": ["num-routingcost", "num-hopcount"],
        "cost-constraints": false
      }
    },
    "update-my-costs": {
      "uri": "https://alto.example.com/updates/costs",
      "media-type": "text/event-stream",
      "accepts": "application/alto-updatestreamparams+json",
      "uses": [
          "my-network-map",
          "my-routingcost-map",
          "my-hopcount-map",
          "my-simple-filtered-cost-map"
      ],
      "capabilities": {
        "incremental-change-media-types": {
          "my-network-map": "application/json-patch+json",
          "my-routingcost-map": "application/merge-patch+json",
          "my-hopcount-map": "application/merge-patch+json"
        },
        "support-stream-control": true
      }
    },
    "update-my-costs-tips": {
      "uri": "https://alto.example.com/updates-new/costs",
      "media-type": "application/alto-tips+json",
      "accepts": "application/alto-tipsparams+json",
      "uses": [
          "my-network-map",
          "my-routingcost-map",
          "my-hopcount-map",
          "my-simple-filtered-cost-map"
      ],
      "capabilities": {
        "incremental-change-media-types": {
          "my-network-map": "application/json-patch+json",
          "my-routingcost-map": "application/merge-patch+json",
          "my-hopcount-map": "application/merge-patch+json",
          "my-simple-filtered-cost-map": "application/merge-patch+json"
        },
      }
    }
]]></artwork>
        </figure>
        <t>Note that it is straightforward for an ALTO server to run HTTP/2 and
support concurrent retrieval of multiple resources such as "my-
network-map" and "my-routingcost-map" using multiple HTTP/2 streams.</t>
        <t>The resource "update-my-costs-tips" provides an ALTO TIPS service, and this is
indicated by the media-type "application/ alto-tips+json".</t>
      </section>
    </section>
    <section anchor="tips-management">
      <name>TIPS Management</name>
      <t>Upon request, a server sends a TIPS view to a client. This TIPS view may be
created at the time of the request or may already exist (either because another
client has already created a TIPS view for the same requested network resource
or because the server perpetually maintains a TIPS view for an often-requested
resource). The server <bcp14>MAY</bcp14> keep track of which clients are subscribing to each
TIPS view to determine whether or not it should delete a TIPS view and its
corresponding updates graph and associated data.</t>
      <section anchor="open-req">
        <name>Open Request</name>
        <t>An ALTO client requests that the server provide a TIPS view for a given resource
by sending an HTTP POST body with the media type
"application/alto-tipsparams+json". That body contains a JSON object of type
TIPSReq, where:</t>
        <figure anchor="fig-open-req">
          <name>TIPSReq</name>
          <artwork align="left"><![CDATA[
    object {
       ResourceID   resource-id;
       [JSONString  tag;]
       [Object      input;]
    } TIPSReq;
]]></artwork>
        </figure>
        <t>with the following fields:</t>
        <dl>
          <dt>resource-id:</dt>
          <dd>
            <t>The resource-id of an ALTO resource and <bcp14>MUST</bcp14> be in the TIPS' "uses" list
(<xref target="ird"/>). If a client does not support all incremental methods from the set
announced in the server's capabilities, the client <bcp14>MUST NOT</bcp14> use the TIPS
service.</t>
          </dd>
          <dt>tag:</dt>
          <dd>
            <t>If the resource-id is a GET-mode resource with a version tag (or
"vtag"), as defined in Section 10.3 of <xref target="RFC7285"/>, and the ALTO
client has previously retrieved a version of that resource from
ALTO, the ALTO client <bcp14>MAY</bcp14> set the "tag" field to the tag part of
the client's version of that resource.  The server <bcp14>MAY</bcp14> use the tag
when calculating a recommended starting edge for the client to
consume.  Note that the client <bcp14>MUST</bcp14> support all incremental
methods from the set announced in the server's capabilities for
this resource.</t>
          </dd>
          <dt>input:</dt>
          <dd>
            <t>If the resource is a POST-mode service that requires input, the
ALTO client <bcp14>MUST</bcp14> set the "input" field to a JSON object with the
parameters that the resource expects.</t>
          </dd>
        </dl>
      </section>
      <section anchor="open-resp">
        <name>Open Response</name>
        <t>The response to a valid request <bcp14>MUST</bcp14> be a JSON object of type
AddTIPSResponse, denoted as media type "application/alto-tips+json":</t>
        <figure anchor="fig-open-resp">
          <name>AddTIPSResponse</name>
          <artwork align="left"><![CDATA[
    object {
      URI               tips-view-uri;
      TIPSViewSummary   tips-view-summary;
    } AddTIPSResponse;

    object {
      UpdatesGraphSummary   updates-graph-summary;
      JSONNumber            heartbeat-interval;
    } TIPSViewSummary;

    object {
      JSONNumber       start-seq;
      JSONNumber       end-seq;
      StartEdgeRec     start-edge-rec;
    } UpdatesGraphSummary;

    object {
      JSONNumber       seq-i;
      JSONNumber       seq-j;
    } StartEdgeRec;
]]></artwork>
        </figure>
        <t>with the following fields:</t>
        <dl>
          <dt>tips-view-uri:</dt>
          <dd>
            <t>URI to the requested TIPS view. The value of this field must have the
following format:
</t>
            <artwork><![CDATA[
    schema "://" tips-view-host "/" tips-view-path

    tips-view-host = host [ ":" port]
    tips-view-path = path
]]></artwork>
            <t>where schema must be "http" or "https" unless specified by a future
extension, and host, port and path are as specified in Sections 3.2.2, 3.2.3,
and 3.3 in <xref target="RFC3986"/>. The URI <bcp14>MUST</bcp14> be unique per client session and may be
de-aliased by the server to refer to the actual location of the TIPS view
which may be shared by other clients.</t>
          </dd>
          <dt/>
          <dd>
            <t>When creating the URI for the TIPS view, TIPS <bcp14>MUST NOT</bcp14> use other
properties of an HTTP request, such as cookies or the client's IP
address, to determine the TIPS view.  Furthermore, TIPS <bcp14>MUST NOT</bcp14>
reuse a URI for a different object in the same user session.</t>
          </dd>
          <dt/>
          <dd>
            <t>It is expected that there is an internal mechanism to map a tips-
view-uri to the TIPS view to be accessed.  For example, TIPS may
assign a unique, internal state id to each TIPS view instance.
However, the exact mechanism is left to the TIPS provider.</t>
          </dd>
          <dt>tips-view-summary:</dt>
          <dd>
            <t>Contains an updates-graph-summary and a heartbeat-interval.
</t>
            <t>The updates-graph-summary field contains the starting sequence
number (start-seq) of the updates graph and the last sequence
number (end-seq) that is currently available, along with a
recommended edge to consume (start-edge-rec).  How the server
calculates the recommended edge depends on the implementation.
Ideally, if the client does not provide a version tag, the server
should recommend the edge of the latest snapshot available.  If
the client does provide a version tag, the server should calculate
the cumulative size of the incremental updates available from that
version onward and compare it to the size of the complete resource
snapshot.  If the snapshot is bigger, the server should recommend
the first incremental update edge starting from the client's tagged
version.  Otherwise, the server should recommend the latest snapshot
edge.</t>
            <t>The heartbeat-interval field contains the interval length of the heartbeat.
The time unit is second and the value <bcp14>MUST</bcp14> be interpreted as a floating
number.</t>
            <t>The client is expected to send a heartbeat message (see <xref target="tips-heartbeat"/>)
for each TIPS view that it is currently using, at least every
heartbeat-interval seconds. It is <bcp14>RECOMMENDED</bcp14> that the ALTO server picks an
appropriate value for the heartbeat-interval field: if the value is too big,
it may waste additional resources to maintain unused TIPS views; but if the
value is too small, the normal use of the TIPS service might be disrupted.</t>
          </dd>
        </dl>
        <t>If the request has any errors, the TIPS service must return an HTTP
"400 Bad Request" to the ALTO client; the body of the response
follows the generic ALTO error response format specified in
Section 8.5.2 of <xref target="RFC7285"/>.  Hence, an example ALTO error response
has the format shown in <xref target="ex-bad-request"/>.</t>
        <figure anchor="ex-bad-request">
          <name>ALTO Error Example</name>
          <artwork align="left"><![CDATA[
    HTTP/1.1 400 Bad Request
    Content-Length: 131
    Content-Type: application/alto-error+json

    {
        "meta":{
            "code":  "E_INVALID_FIELD_VALUE",
            "field": "resource-id",
            "value": "my-network-map/#"
        }
    }
]]></artwork>
        </figure>
        <t>Note that "field" and "value" are optional fields.  If the "value"
field exists, the "field" field <bcp14>MUST</bcp14> exist.</t>
        <ul spacing="normal">
          <li>If the TIPS request does not have a "resource-id" field, the error
code of the error message <bcp14>MUST</bcp14> be <tt>E_MISSING_FIELD</tt> and the "field"
field <bcp14>SHOULD</bcp14> be "resource-id".  The TIPS service <bcp14>MUST NOT</bcp14> create
any TIPS view.</li>
          <li>If the "resource-id" field is invalid or is not associated with
the TIPS, the error code of the error message <bcp14>MUST</bcp14> be
<tt>E_INVALID_FIELD_VALUE</tt>.  The "field" field <bcp14>SHOULD</bcp14> be the full path
of the "resource-id" field, and the "value" field <bcp14>SHOULD</bcp14> be the
invalid resource-id.</li>
          <li>If the resource is a POST-mode service that requires input, the
client <bcp14>MUST</bcp14> set the "input" field to a JSON object with the
parameters that that resource expects.  If the "input" field is
missing or invalid, TIPS <bcp14>MUST</bcp14> return the same error response that
resource would return for missing or invalid input (see
<xref target="RFC7285"/>).</li>
        </ul>
        <t>Furthermore, it is <bcp14>RECOMMENDED</bcp14> that the server uses the following HTTP codes to
indicate other errors, with the media type "application/alto-error+json".</t>
        <ul spacing="normal">
          <li>429 (Too Many Requests): when the number of TIPS views open requests exceeds
the server threshold. The server may indicate when to re-try the request in the
"Re-Try After" headers.</li>
        </ul>
      </section>
      <section anchor="open-example">
        <name>Open Example</name>
        <t>For simplicity, assume that the ALTO server is using the Basic
authentication.  If a client with username "client1" and password
"helloalto" wants to create a TIPS view of an ALTO Cost Map resource
with resource ID "my-routingcost-map", it can send the
request depicted in <xref target="ex-op"/>.</t>
        <figure anchor="ex-op">
          <name>Open Example</name>
          <artwork align="left"><![CDATA[
    POST /tips HTTP/1.1
    Host: alto.example.com
    Accept: application/alto-tips+json, application/alto-error+json
    Authorization: Basic Y2xpZW50MTpoZWxsb2FsdG8K
    Content-Type: application/alto-tipsparams+json
    Content-Length: 41

    {
      "resource-id": "my-routingcost-map"
    }
]]></artwork>
        </figure>
        <t>If the operation is successful, the ALTO server returns the
message shown in <xref target="ex-op-rep"/>.</t>
        <figure anchor="ex-op-rep">
          <name>Response Example</name>
          <artwork align="left"><![CDATA[
    HTTP/1.1 200 OK
    Content-Type: application/alto-tips+json
    Content-Length: 287

    {
      "tips-view-uri": "https://alto.example.com/tips/2718281828459",
      "tips-view-summary": {
        "updates-graph-summary": {
          "start-seq": 101,
          "end-seq": 106,
          "start-edge-rec" : {
            "seq-i": 0,
            "seq-j": 105
          }
        },
        "heartbeat-interval": 5
      }
    }
]]></artwork>
        </figure>
      </section>
      <section anchor="tips-heartbeat">
        <name>Heartbeat Request and Response</name>
        <t>Upon creating a TIPS view, the ALTO client must indicate its liveness to that
specific TIPS view by sending a heartbeat request every heartbeat-interval
second(s). The heartbeat request <bcp14>MUST</bcp14> have the following format:</t>
        <artwork><![CDATA[
    POST /<tips-view-path>/heartbeat HTTP/1.1
    HOST: <tips-view-host>
]]></artwork>
        <t>The body of the request must be empty.</t>
        <t>The response to a heartbeat request must have status code 200 if the server has
acknowledged the heartbeat message, and the corresponding error code if there is
any error. When the request is successful, the body of the response must be empty.</t>
        <t>It is <bcp14>RECOMMENDED</bcp14> that the server uses the following HTTP codes to
indicate errors, with the media type "application/alto-error+json",
regarding TIPS view heartbeat requests.</t>
        <ul spacing="normal">
          <li>404 (Not Found): if the requested TIPS view does not exist or is
closed.</li>
        </ul>
        <t>An ALTO server should close a TIPS view if multiple consecutive heartbeat
requests are not received for that TIPS view. The maximum number of missing
heartbeat requests is specific to the server implementation, e.g.,
statically configured for the server, specific to the resource and/or client,
or dynamically set based on the server load, etc.</t>
      </section>
      <section anchor="close-req">
        <name>Close Request and Response</name>
        <t>An ALTO client can indicate it no longer desires to pull/receive updates for a
specific network resource by "deleting" the TIPS view using the returned
tips-view-uri and the HTTP DELETE method. The DELETE request <bcp14>MUST</bcp14> have the
following format:</t>
        <artwork><![CDATA[
    DELETE /<tips-view-path> HTTP/1.1
    HOST: <tips-view-host>
]]></artwork>
        <t>The response to a valid request must be 200 if successful, and the
corresponding error code if there is any error.</t>
        <t>It is <bcp14>RECOMMENDED</bcp14> that the server uses the following HTTP codes to
indicate errors, with the media type "application/alto-error+json",
regarding TIPS view close requests.</t>
        <ul spacing="normal">
          <li>404 (Not Found): if the requested TIPS view does not exist or is
closed.</li>
        </ul>
        <t>It must be noted that whether or not the server releases the resources
associated with the TIPS view is implementation-dependent. For example, an ALTO
server may maintain a set of clients that subscribe to the TIPS view of a
resource: a client that deletes the view is removed from the set, and the TIPS
view is only removed when the dependent set becomes empty. See other potential
implementations in <xref target="shared-tips-view"/>.</t>
      </section>
    </section>
    <section anchor="pull">
      <name>TIPS Data Transfers - Client Pull</name>
      <t>TIPS allows an ALTO client to retrieve the content of an update item
from the updates graph, with an update item defined as the content
(incremental update or snapshot) on an edge in the updates graph.</t>
      <section anchor="request">
        <name>Request</name>
        <t>The client sends an HTTP GET request, where the media type of an
update item resource <bcp14>MUST</bcp14> be the same as the "media-type" field of
the update item on the specified edge in the updates graph.</t>
        <t>The GET request <bcp14>MUST</bcp14> have the following format:</t>
        <artwork><![CDATA[
    GET /<tips-view-path>/ug/<i>/<j>
    HOST: <tips-view-host>
]]></artwork>
        <t>For example, consider the updates graph in <xref target="fig-ug-schema"/>. If the client
wants to query the content of the first update item (0 -&gt; 101) whose media type
is "application/alto- costmap+json", it must send a request to
"/tips/2718281828459/ug/0/101" and set the "Accept" header to "application/alto-
costmap+json, application/alto-error+json". See <xref target="iu-example"/> for a concrete
example.</t>
      </section>
      <section anchor="response">
        <name>Response</name>
        <t>If the request is valid (<tt>ug/&lt;i&gt;/&lt;j&gt;</tt> exists), the response is encoded
as a JSON object whose data format is indicated by the media type.</t>
        <t>A client may conduct proactive fetching of future updates, by
long polling updates that have not been listed in the directory yet. For
long-poll prefetch, the client must have indicated the media type that may
appear. It is <bcp14>RECOMMENDED</bcp14> that the server allows for at least the prefetch of
<tt>&lt;end-seq&gt; -&gt; &lt;end-seq + 1&gt;</tt></t>
        <t>Hence, the server processing logic <bcp14>SHOULD</bcp14> be:</t>
        <ul spacing="normal">
          <li>If <tt>ug/&lt;i&gt;/&lt;j&gt;</tt> exists: return content using encoding.</li>
          <li>Else if <tt>ug/&lt;i&gt;/&lt;j&gt;</tt> pre-fetch is acceptable: put request in a
backlog queue.</li>
          <li>Else: return error.</li>
        </ul>
        <t>It is <bcp14>RECOMMENDED</bcp14> that the server uses the following HTTP codes to
indicate errors, with the media type "application/alto-error+json",
regarding update item requests.</t>
        <ul spacing="normal">
          <li>404 (Not Found): if the requested TIPS view does not exist or is
closed.</li>
          <li>410 (Gone): if an update has a seq that is smaller than the start-
seq.</li>
          <li>415 (Unsupported Media Type): if the media type(s) accepted by the
client does not include the media type of the update chosen by the
server.</li>
          <li>425 (Too Early): if the seq exceeds the server prefetch window</li>
          <li>429 (Too Many Requests): when the number of pending (long-poll)
requests exceeds the server threshold. The server may indicate when to re-try
the request in the "Re-Try After" headers.</li>
        </ul>
      </section>
      <section anchor="iu-example">
        <name>Example</name>
        <t>Assume the client wants to get the contents of the update item on
edge 0 to 101.  The format of the request is shown in <xref target="ex-get"/>.</t>
        <figure anchor="ex-get">
          <name>GET Example</name>
          <artwork align="left"><![CDATA[
    GET /tips/2718281828459/ug/0/101 HTTP/1.1
    Host: alto.example.com
    Accept: application/alto-costmap+json, \
              application/alto-error+json
]]></artwork>
        </figure>
        <t>The response is shown in <xref target="ex-get-res"/>.</t>
        <figure anchor="ex-get-res">
          <name>Response to a GET Request</name>
          <artwork align="left"><![CDATA[
    HTTP/1.1 200 OK
    Content-Type: application/alto-costmap+json
    Content-Length: 50

    { ... full replacement of my-routingcost-map ... }
]]></artwork>
        </figure>
      </section>
      <section anchor="new-next-edge-recommendation">
        <name>New Next Edge Recommendation</name>
        <t>While intended TIPS usage is for the client to receive a recommended
starting edge in the TIPS summary, consume that edge, then construct
all future URIs by incrementing the sequence count by 1, there may be
cases in which the client needs to request a new next edge to
consume.  For example, if a client has an open TIPS view yet has not
polled in a while, the client may request the next logical
incremental URI but the server has compacted the updates graph so it
no longer exists.  Thus, the client must request a new next edge to
consume based on its current version of the resource.</t>
        <section anchor="request-1">
          <name>Request</name>
          <t>An ALTO client requests that the server provide a next edge recommendation for a
given TIPS view by sending an HTTP POST request with the media type
"application/alto-tipsparams+json". The request has the form:</t>
          <artwork><![CDATA[
    POST /<tips-view-path>/ug HTTP/1.1
    HOST: <tips-view-host>
]]></artwork>
          <t>The POST body has the following form, where providing the version
tag of the resource the client already has is optional:</t>
          <artwork><![CDATA[
    object {
        [JSONString  tag;]
    } TIPSNextEdgeReq;
]]></artwork>
        </section>
        <section anchor="response-1">
          <name>Response</name>
          <t>The response to a valid request <bcp14>MUST</bcp14> be a JSON object of type
UpdatesGraphSummary (defined in <xref target="open-resp"/> but reproduced in <xref target="fig-resp"/> as
well), denoted as media type "application/alto-tips+json":</t>
          <figure anchor="fig-resp">
            <name>UpdatesGraphSummary</name>
            <artwork align="left"><![CDATA[
    object {
      JSONNumber       start-seq;
      JSONNumber       end-seq;
      StartEdgeRec     start-edge-rec;
    } UpdatesGraphSummary;

    object {
      JSONNumber       seq-i;
      JSONNumber       seq-j;
    } StartEdgeRec;
]]></artwork>
          </figure>
          <t>It is <bcp14>RECOMMENDED</bcp14> that the server uses the following HTTP codes to
indicate errors, with the media type "application/alto-error+json",
regarding new next edge requests.</t>
          <ul spacing="normal">
            <li>404 (Not Found): if the requested TIPS view does not exist or is
closed.</li>
            <li>415 (Unsupported Media Type): if the media type(s) accepted by the
client does not include the media type <tt>application/alto-tips+json</tt>.</li>
          </ul>
        </section>
      </section>
    </section>
    <section anchor="operation-and-processing-considerations">
      <name>Operation and Processing Considerations</name>
      <section anchor="considerations-for-choosing-updates">
        <name>Considerations for Choosing Updates</name>
        <t>When implementing TIPS, a developer should be cognizant of the
effects of update schedule, which includes both the choice of timing
(i.e., when/what to trigger an update on the updates graph) and the
choice of message format (i.e., given an update, send a full
replacement or an incremental change).  In particular, the update
schedule can have effects on both the overhead and the freshness of
information.  To minimize overhead, developers may choose to batch a
sequence of updates for resources that frequently change by
cumulative updates or a full replacement after a while.  Developers
should be cognizant that batching reduces the freshness of
information and should also consider the effect of such delays on
client behaviors.</t>
        <t>For incremental updates, this design allows both JSON patch and JSON
merge patch for incremental changes.  JSON merge patch is clearly
superior to JSON patch for describing incremental changes to cost
maps, endpoint costs, and endpoint properties.  For these data
structures, JSON merge patch is more space efficient, as well as
simpler to apply.  There is no advantage in allowing a server to use
JSON patch for those resources.</t>
        <t>The case is not as clear for incremental changes to network maps.</t>
        <t>First, consider small changes, such as moving a prefix from one PID
to another.  JSON patch could encode that as a simple insertion and
deletion, while JSON merge patch would have to replace the entire
array of prefixes for both PIDs.  On the other hand, to process a
JSON patch update, the ALTO client would have to retain the indexes
of the prefixes for each PID.  Logically, the prefixes in a PID are
an unordered set, not an array; aside from handling updates, a client
does not need to retain the array indexes of the prefixes.  Hence, to
take advantage of JSON patch for network maps, ALTO clients would
have to retain additional, otherwise unnecessary, data.</t>
        <t>Second, consider more involved changes, such as removing half of the
prefixes from a PID.  JSON merge patch would send a new array for
that PID, while JSON patch would have to send a list of remove
operations and delete the prefix one by one.</t>
        <t>Therefore, each TIPS instance may choose to encode the updates using
JSON merge patch or JSON patch based on the type of changes in
network maps.</t>
      </section>
      <section anchor="load-balancing">
        <name>Considerations for Load Balancing</name>
        <t>There are two levels of load balancing in TIPS. The first level is to balance
the load of TIPS views for different clients, and the second is to balance the
load of incremental updates.</t>
        <t>Load balancing of TIPS views can be achieved either at the application layer or
at the infrastructure layer. For example, an ALTO server may set
<tt>&lt;tips-view-host&gt;</tt> to different subdomains to distribute TIPS views, or simply
use the same host of the TIPS service and rely on load balancers to distribute
the load.</t>
        <t>TIPS allows clients to make concurrent pulls of incremental
updates potentially through different HTTP connections.  As a
consequence, it introduces additional complexities when the ALTO
server is being load balanced -- a feature widely used to build
scalable and fault-tolerant web services.  For example, a request may
be incorrectly processed if the following two conditions both hold:</t>
        <ul spacing="normal">
          <li>the backend servers are stateful, i.e., the TIPS view is created
and stored only on a single server;</li>
          <li>the ALTO server is using layer-4 load balancing, i.e., the
requests are distributed based on the TCP 5-tuple.</li>
        </ul>
        <t>Thus, additional considerations are required to enable correct load
balancing for TIPS, including:</t>
        <ul spacing="normal">
          <li>Use a stateless architecture: One solution is to follow the
stateless computing pattern: states about the TIPS view are not
maintained by the backend servers but are stored in a distributed
database.  Thus, concurrent requests to the same TIPS view can be
processed on arbitrary stateless backend servers, which all
fetches data from the same database.</li>
          <li>Configure the load balancers properly: In case when the backend
servers are stateful, the load balancers must be properly
configured to guarantee that requests of the same TIPS view always
arrive at the same server.  For example, an operator or a provider
of an ALTO server may configure layer-7 load balancers that
distribute requests based on the tips-view-path component in the URI.</li>
        </ul>
      </section>
      <section anchor="considerations-for-cross-resource-dependency-scheduling">
        <name>Considerations for Cross-Resource Dependency Scheduling</name>
        <t>Dependent ALTO resources result in cross-resource dependencies in
TIPS.  Consider the following pair of resources, where my-cost-map
(C) is dependent on my-network-map (N).  The updates graph for each
resource is shown, along with links in between the respective updates
graphs to show dependency:</t>
        <figure anchor="fig-cross">
          <name>Example Dependency Model</name>
          <artwork type="drawing" align="center"><![CDATA[
                       +---+   +---+   +---+   +---+   +---+
  my-network-map (N)   | 0 |-->|89 |-->|90 |-->|91 |-->|92 |
                       +---+   +---+   +---+   +---+   +---+
                                 |   \       \       \
                                 |    \       \       \
                       +---+   +---+   +---+   +---+   +---+
  my-cost-map (C)      | 0 |-->|101|-->|102|-->|103|-->|104|
                       +---+   +---+   +---+   +---+   +---+
                        |_______________________|
]]></artwork>
        </figure>
        <t>In <xref target="fig-cross"/>, the cost-map versions 101 and 102 (denoted as C101 and C102)
are dependent on the network-map version 89 (denoted as N89). The cost-map
version 103 (C103) is dependent on the network-map version 90 (N90), and so on.</t>
        <t>Thus, the client must decide the order in which to receive and apply the
updates. The order may affect how fast the client can build a consistent view
and how long the client needs to buffer the update.</t>
        <ul spacing="normal">
          <li>Example 1: The client requests N89, N90, N91, C101, C102 in that
order.  The client either gets no consistent view of the resources
or has to buffer N90 and N91.</li>
          <li>Example 2: The client requests C101, C102, C103, N89.  The client
either gets no consistent view or has to buffer C103.</li>
        </ul>
        <t>Therefore, the client is <bcp14>RECOMMENDED</bcp14> to request and process updates in the
ascending order of the smallest dependent tag, e.g., {C101, C102, N89} before
{C103, N90}</t>
      </section>
      <section anchor="client-processing">
        <name>Considerations for Client Processing Updates</name>
        <t>In general, when an ALTO client receives a full replacement for a
resource, the ALTO client should replace the current version with the
new version.  When an ALTO client receives an incremental update for
a resource, the ALTO client should apply those updates to the current
version of the resource.</t>
        <t>However, because resources can depend on other resources (e.g., cost
maps depend on network maps), an ALTO client must not use a dependent
resource if the resource on which it depends has changed.  There are
at least two ways an ALTO client can do that.  The following
paragraphs illustrate these techniques by referring to network and
cost map messages, although these techniques apply to any dependent
resources.</t>
        <t>Note that when a network map changes, the server should send the
network map update message before sending the updates for the
dependent cost maps.</t>
        <t>One approach is for the ALTO client to save the network map update
message in a buffer and continue to use the previous network map and
the associated cost maps until the ALTO client receives the update
messages for all dependent cost maps.  The ALTO client then applies
all network and cost map updates atomically.</t>
        <t>Alternatively, the ALTO client may update the network map
immediately.  In this case, the cost maps using the network map
become invalid because they are inconsistent with the current network
map; hence, the ALTO client must mark each such dependent cost map as
temporarily invalid and must not use each such cost map until the
ALTO client receives a cost map update indicating that it is based on
the new network map version tag.</t>
        <t>Though a server should send update items sequentially, it is possible that a
client receives the update items out of order (in the case of a retransmitted
update item or a result of concurrent fetch). The client must buffer the update
items if they arrive out of order and then apply them sequentially (based on
the sequence numbers) due to the operation of JSON merge patch and JSON patch.</t>
      </section>
      <section anchor="considerations-for-updates-to-filtered-cost-maps">
        <name>Considerations for Updates to Filtered Cost Maps</name>
        <t>If TIPS provides updates to a Filtered Cost Map that allows
constraint tests, then an ALTO client may request updates to a
Filtered Cost Map request with a constraint test.  In this case, when
a cost changes, the updates graph <bcp14>MUST</bcp14> have an update if the new
value satisfies the test.  If the new value does not, whether there
is an update depends on whether the previous value satisfies the
test.  If it did not, the updates graph <bcp14>SHOULD NOT</bcp14> have an update.
But if the previous value did, then the updates graph <bcp14>MUST</bcp14> add an
update with a "null" value to inform the ALTO client that this cost
no longer satisfies the criteria.</t>
        <t>TIPS can avoid having to handle such complicated behavior by
offering TIPS only for Filtered Cost Maps that do not allow
constraint tests.</t>
      </section>
      <section anchor="considerations-for-updates-to-ordinal-mode-costs">
        <name>Considerations for Updates to Ordinal Mode Costs</name>
        <t>For an ordinal mode cost map, a change to a single cost point may
require updating many other costs.  As an extreme example, suppose
the lowest cost changes to the highest cost.  For a numerical mode
cost map, only that one cost changes.  But for an ordinal mode cost
map, every cost might change.  While this document allows TIPS to
offer incremental updates for ordinal mode cost maps, TIPS
implementors should be aware that incremental updates for ordinal
costs are more complicated than for numerical costs, and that small
changes of the original cost value may result in large updates.</t>
        <t>A TIPS implementation can avoid this complication by only offering
full replacements as updates in the updates graph for ordinal cost
maps.</t>
      </section>
      <section anchor="shared-tips-view">
        <name>Considerations for Managing Shared TIPS Views</name>
        <t>From a client's point of view, it sees only one copy of the TIPS view
for any resource.  However, on the server side, there are different
implementation options, especially for common resources (e.g.,
network map or cost map) that may be frequently queried by many
clients.  Some potential options are listed below:</t>
        <ul spacing="normal">
          <li>An ALTO server creates one TIPS view of the common resource for
each client.  When the client deletes the view, the server deletes
the view in the server storage.</li>
          <li>
            <t>An ALTO server maintains one copy of the TIPS view for each common
resource and all clients requesting the same resources use the
same copy.  There are two ways to manage the storage for the
shared copy:  </t>
            <ul spacing="normal">
              <li>the ALTO server maintains the set of clients that subscribe to
the TIPS view, and only removes the view from the storage when
the set becomes empty.</li>
              <li>the TIPS view is never removed from the storage.</li>
            </ul>
          </li>
        </ul>
        <t>Developers may choose different implementation options depending on
criteria such as request frequency, available resources of the ALTO
server, the ability to scale, and programming complexity.</t>
      </section>
      <section anchor="considerations-for-offering-shortcut-incremental-updates">
        <name>Considerations for Offering Shortcut Incremental Updates</name>
        <t>Besides the mandatory stepwise incremental updates (from i to i+1),
an ALTO server may optionally offer shortcut incremental updates, or
simple shortcuts, between two non-consecutive versions i and i+k (k &gt;
1).  Such shortcuts offer alternative paths in the update graph and
can potentially speed up the transmission and processing of
incremental updates, leading to faster synchronization of ALTO
information, especially when the client has limited bandwidth and
computation.  However, implementors of an ALTO server must be aware
that:</t>
        <ol spacing="normal" type="1"><li>Optional shortcuts may increase the size of the update graph, in
the worst case being the square of the number of updates (i.e.,
when a shortcut is offered for each version to all future
versions).</li>
          <li>Optional shortcuts require additional storage on the ALTO server.</li>
          <li>Optional shortcuts may reduce concurrency when the updates do not
overlap, e.g., when the updates apply to different parts of an
ALTO resource.  In such a case, the total size of the original
updates is close to the size of the shortcut, but the original
updates can be transmitted concurrently while the shortcut is
transmitted in a single connection.</li>
        </ol>
      </section>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>The security considerations (Section 15 of <xref target="RFC7285"/>) of the base
protocol fully apply to this extension.  For example, the same
authenticity and integrity considerations (Section 15.1 of <xref target="RFC7285"/>)
still fully apply; the same considerations for the privacy of ALTO
users (Section 15.4 of <xref target="RFC7285"/>) also still fully apply.</t>
      <t>The additional services (addition of update read service and update
push service) provided by this extension extend the attack surface
described in Section 15.1.1 of <xref target="RFC7285"/>.  The following sub-sections discuss the
additional risks and their remedies.</t>
      <section anchor="tips-denial-of-service-attacks">
        <name>TIPS: Denial-of-Service Attacks</name>
        <t>Allowing TIPS views enables a new class of Denial-of-Service attacks.
In particular, for the TIPS server, an ALTO client might
create an excessive number of TIPS views.</t>
        <t>To avoid these attacks on the TIPS server, the server <bcp14>SHOULD</bcp14> choose
to limit the number of active views and reject new requests when that threshold
is reached. TIPS allows predictive fetching and the server <bcp14>SHOULD</bcp14> also choose to
limit the number of pending requests. If a new request exceeds the threshold,
the server <bcp14>SHOULD</bcp14> log the event and may return the HTTP status "429 Too many
requests".</t>
        <t>It is important to note that the preceding approaches are not the
only possibilities.  For example, it may be possible for TIPS to use
somewhat more clever logic involving IP reputation, rate-limiting,
and compartmentalization of the overall threshold into smaller
thresholds that apply to subsets of potential clients.</t>
      </section>
      <section anchor="alto-client-update-overloading-or-instability">
        <name>ALTO Client: Update Overloading or Instability</name>
        <t>The availability of continuous updates, when the client indicates receiving
server push, can also cause overload for an ALTO client, in particular, an ALTO
client with limited processing capabilities. The current design does not include
any flow control mechanisms for the client to reduce the update rates from the
server. For example, TCP, HTTP/2 and QUIC provide stream and connection flow
control data limits, and PUSH stream limits, which might help prevent the client
from being overloaded. Under overloading, the client <bcp14>MAY</bcp14> choose to remove the
information resources with high update rates.</t>
        <t>Also, under overloading, the client may no longer be able to detect
whether information is still fresh or has become stale.  In such a
case, the client should be careful in how it uses the information to
avoid stability or efficiency issues.</t>
      </section>
      <section anchor="spoofed-uri">
        <name>Spoofed URI</name>
        <t>An outside party that can read the TIPS response or that can observe
TIPS requests can obtain the TIPS view URI and use that to send
fraudulent "DELETE" requests, thus disabling the service for the
valid ALTO client.  This can be avoided by encrypting the requests
and responses (Section 15 of <xref target="RFC7285"/>).</t>
      </section>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t>IANA is requested to register the following media types from the registry available at <xref target="IANA-Media-Type"/>:</t>
      <ul spacing="normal">
        <li>application/alto-tips+json: as described in <xref target="open-resp"/>;</li>
        <li>application/alto-tipsparams+json: as described in <xref target="open-req"/>;</li>
      </ul>
      <ul empty="true">
        <li>
          <t>Note to the RFC Editor: Please replace This-Document with the RFC number to be assigned to this document.</t>
        </li>
      </ul>
      <section anchor="applicationalto-tipsjson-media-type">
        <name>application/alto-tips+json Media Type</name>
        <dl>
          <dt>Type name:</dt>
          <dd>
            <t>application</t>
          </dd>
          <dt>Subtype name:</dt>
          <dd>
            <t>alto-tips+json</t>
          </dd>
          <dt>Required parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Optional parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Encoding considerations:</dt>
          <dd>
            <t>Encoding considerations are identical to those specified for the
"application/json" media type. See <xref target="RFC8259"/>.</t>
          </dd>
          <dt>Security considerations:</dt>
          <dd>
            <t>See the Security Considerations section of This-Document.</t>
          </dd>
          <dt>Interoperability considerations:</dt>
          <dd>
            <t>This document specifies the format of conforming messages and the interpretation
thereof.</t>
          </dd>
          <dt>Published specification:</dt>
          <dd>
            <t><xref target="open-resp"/> of This-Document.</t>
          </dd>
          <dt>Applications that use this media type:</dt>
          <dd>
            <t>ALTO servers and ALTO clients either stand alone or are embedded within other
applications.</t>
          </dd>
          <dt>Fragment identifier considerations:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Additional information:</dt>
          <dd>
            <t><br/>
            </t>
            <dl>
              <dt>Deprecated alias names for this type:</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>Magic number(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>File extension(s):</dt>
              <dd>
                <t>This document uses the media type to refer to protocol messages and thus
 does not require a file extension.</t>
              </dd>
              <dt>Macintosh file type code(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
            </dl>
          </dd>
          <dt>Person and email address to contact for further information:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Intended usage:</dt>
          <dd>
            <t>COMMON</t>
          </dd>
          <dt>Restrictions on usage:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Author:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Change controller:</dt>
          <dd>
            <t>Internet Engineering Task Force (mailto:iesg@ietf.org).</t>
          </dd>
          <dt>Provisional registration?:</dt>
          <dd>
            <t>No</t>
          </dd>
        </dl>
      </section>
      <section anchor="applicationalto-tipsparamsjson-media-type">
        <name>application/alto-tipsparams+json Media Type</name>
        <dl>
          <dt>Type name:</dt>
          <dd>
            <t>application</t>
          </dd>
          <dt>Subtype name:</dt>
          <dd>
            <t>alto-tipsparams+json</t>
          </dd>
          <dt>Required parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Optional parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Encoding considerations:</dt>
          <dd>
            <t>Encoding considerations are identical to those specified for the
 "application/json" media type. See <xref target="RFC8259"/>.</t>
          </dd>
          <dt>Security considerations:</dt>
          <dd>
            <t>See the Security Considerations section of This-Document.</t>
          </dd>
          <dt>Interoperability considerations:</dt>
          <dd>
            <t>This document specifies the format of conforming messages and the interpretation
thereof.</t>
          </dd>
          <dt>Published specification:</dt>
          <dd>
            <t><xref target="open-req"/> of This-Document.</t>
          </dd>
          <dt>Applications that use this media type:</dt>
          <dd>
            <t>ALTO servers and ALTO clients either stand alone or are embedded within other
applications.</t>
          </dd>
          <dt>Fragment identifier considerations:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Additional information:</dt>
          <dd>
            <t><br/>
            </t>
            <dl>
              <dt>Deprecated alias names for this type:</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>Magic number(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>File extension(s):</dt>
              <dd>
                <t>This document uses the media type to refer to protocol messages and thus
 does not require a file extension.</t>
              </dd>
              <dt>Macintosh file type code(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
            </dl>
          </dd>
          <dt>Person and email address to contact for further information:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Intended usage:</dt>
          <dd>
            <t>COMMON</t>
          </dd>
          <dt>Restrictions on usage:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Author:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Change controller:</dt>
          <dd>
            <t>Internet Engineering Task Force (mailto:iesg@ietf.org).</t>
          </dd>
          <dt>Provisional registration?:</dt>
          <dd>
            <t>No</t>
          </dd>
        </dl>
      </section>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <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="RFC7285">
          <front>
            <title>Application-Layer Traffic Optimization (ALTO) Protocol</title>
            <author fullname="R. Alimi" initials="R." role="editor" surname="Alimi"/>
            <author fullname="R. Penno" initials="R." role="editor" surname="Penno"/>
            <author fullname="Y. Yang" initials="Y." role="editor" surname="Yang"/>
            <author fullname="S. Kiesel" initials="S." surname="Kiesel"/>
            <author fullname="S. Previdi" initials="S." surname="Previdi"/>
            <author fullname="W. Roome" initials="W." surname="Roome"/>
            <author fullname="S. Shalunov" initials="S." surname="Shalunov"/>
            <author fullname="R. Woundy" initials="R." surname="Woundy"/>
            <date month="September" year="2014"/>
            <abstract>
              <t>Applications using the Internet already have access to some topology information of Internet Service Provider (ISP) networks. For example, views to Internet routing tables at Looking Glass servers are available and can be practically downloaded to many network application clients. What is missing is knowledge of the underlying network topologies from the point of view of ISPs. In other words, what an ISP prefers in terms of traffic optimization -- and a way to distribute it.</t>
              <t>The Application-Layer Traffic Optimization (ALTO) services defined in this document provide network information (e.g., basic network location structure and preferences of network paths) with the goal of modifying network resource consumption patterns while maintaining or improving application performance. The basic information of ALTO is based on abstract maps of a network. These maps provide a simplified view, yet enough information about a network for applications to effectively utilize them. Additional services are built on top of the maps.</t>
              <t>This document describes a protocol implementing the ALTO services. Although the ALTO services would primarily be provided by ISPs, other entities, such as content service providers, could also provide ALTO services. Applications that could use the ALTO services are those that have a choice to which end points to connect. Examples of such applications are peer-to-peer (P2P) and content delivery networks.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7285"/>
          <seriesInfo name="DOI" value="10.17487/RFC7285"/>
        </reference>
        <reference anchor="RFC8259">
          <front>
            <title>The JavaScript Object Notation (JSON) Data Interchange Format</title>
            <author fullname="T. Bray" initials="T." role="editor" surname="Bray"/>
            <date month="December" year="2017"/>
            <abstract>
              <t>JavaScript Object Notation (JSON) is a lightweight, text-based, language-independent data interchange format. It was derived from the ECMAScript Programming Language Standard. JSON defines a small set of formatting rules for the portable representation of structured data.</t>
              <t>This document removes inconsistencies with other specifications of JSON, repairs specification errors, and offers experience-based interoperability guidance.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="90"/>
          <seriesInfo name="RFC" value="8259"/>
          <seriesInfo name="DOI" value="10.17487/RFC8259"/>
        </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>
        <reference anchor="RFC8895">
          <front>
            <title>Application-Layer Traffic Optimization (ALTO) Incremental Updates Using Server-Sent Events (SSE)</title>
            <author fullname="W. Roome" initials="W." surname="Roome"/>
            <author fullname="Y. Yang" initials="Y." surname="Yang"/>
            <date month="November" year="2020"/>
            <abstract>
              <t>The Application-Layer Traffic Optimization (ALTO) protocol (RFC 7285) provides network-related information, called network information resources, to client applications so that clients can make informed decisions in utilizing network resources. This document presents a mechanism to allow an ALTO server to push updates to ALTO clients to achieve two benefits: (1) updates can be incremental, in that if only a small section of an information resource changes, the ALTO server can send just the changes and (2) updates can be immediate, in that the ALTO server can send updates as soon as they are available.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8895"/>
          <seriesInfo name="DOI" value="10.17487/RFC8895"/>
        </reference>
        <reference anchor="RFC9112">
          <front>
            <title>HTTP/1.1</title>
            <author fullname="R. Fielding" initials="R." role="editor" surname="Fielding"/>
            <author fullname="M. Nottingham" initials="M." role="editor" surname="Nottingham"/>
            <author fullname="J. Reschke" initials="J." role="editor" surname="Reschke"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>The Hypertext Transfer Protocol (HTTP) is a stateless application-level protocol for distributed, collaborative, hypertext information systems. This document specifies the HTTP/1.1 message syntax, message parsing, connection management, and related security concerns.</t>
              <t>This document obsoletes portions of RFC 7230.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="99"/>
          <seriesInfo name="RFC" value="9112"/>
          <seriesInfo name="DOI" value="10.17487/RFC9112"/>
        </reference>
        <reference anchor="RFC9113">
          <front>
            <title>HTTP/2</title>
            <author fullname="M. Thomson" initials="M." role="editor" surname="Thomson"/>
            <author fullname="C. Benfield" initials="C." role="editor" surname="Benfield"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>This specification describes an optimized expression of the semantics of the Hypertext Transfer Protocol (HTTP), referred to as HTTP version 2 (HTTP/2). HTTP/2 enables a more efficient use of network resources and a reduced latency by introducing field compression and allowing multiple concurrent exchanges on the same connection.</t>
              <t>This document obsoletes RFCs 7540 and 8740.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9113"/>
          <seriesInfo name="DOI" value="10.17487/RFC9113"/>
        </reference>
        <reference anchor="RFC9114">
          <front>
            <title>HTTP/3</title>
            <author fullname="M. Bishop" initials="M." role="editor" surname="Bishop"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>The QUIC transport protocol has several features that are desirable in a transport for HTTP, such as stream multiplexing, per-stream flow control, and low-latency connection establishment. This document describes a mapping of HTTP semantics over QUIC. This document also identifies HTTP/2 features that are subsumed by QUIC and describes how HTTP/2 extensions can be ported to HTTP/3.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9114"/>
          <seriesInfo name="DOI" value="10.17487/RFC9114"/>
        </reference>
        <reference anchor="RFC3986">
          <front>
            <title>Uniform Resource Identifier (URI): Generic Syntax</title>
            <author fullname="T. Berners-Lee" initials="T." surname="Berners-Lee"/>
            <author fullname="R. Fielding" initials="R." surname="Fielding"/>
            <author fullname="L. Masinter" initials="L." surname="Masinter"/>
            <date month="January" year="2005"/>
            <abstract>
              <t>A Uniform Resource Identifier (URI) is a compact sequence of characters that identifies an abstract or physical resource. This specification defines the generic URI syntax and a process for resolving URI references that might be in relative form, along with guidelines and security considerations for the use of URIs on the Internet. The URI syntax defines a grammar that is a superset of all valid URIs, allowing an implementation to parse the common components of a URI reference without knowing the scheme-specific requirements of every possible identifier. This specification does not define a generative grammar for URIs; that task is performed by the individual specifications of each URI scheme. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="66"/>
          <seriesInfo name="RFC" value="3986"/>
          <seriesInfo name="DOI" value="10.17487/RFC3986"/>
        </reference>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="RFC9205">
          <front>
            <title>Building Protocols with HTTP</title>
            <author fullname="M. Nottingham" initials="M." surname="Nottingham"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>Applications often use HTTP as a substrate to create HTTP-based APIs. This document specifies best practices for writing specifications that use HTTP to define new application protocols. It is written primarily to guide IETF efforts to define application protocols using HTTP for deployment on the Internet but might be applicable in other situations.</t>
              <t>This document obsoletes RFC 3205.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="56"/>
          <seriesInfo name="RFC" value="9205"/>
          <seriesInfo name="DOI" value="10.17487/RFC9205"/>
        </reference>
        <reference anchor="IANA-Media-Type" target="https://www.iana.org/assignments/media-types/media-types.xhtml">
          <front>
            <title>Media Types</title>
            <author>
              <organization/>
            </author>
            <date year="2023" month="June"/>
          </front>
        </reference>
      </references>
    </references>
    <section anchor="sec-dep-model">
      <name>A High-Level Deployment Model</name>
      <t>Conceptually, the TIPS system consists of three types of resources:</t>
      <ul spacing="normal">
        <li>(R1) TIPS frontend to manage (create/delete) TIPS views.</li>
        <li>(R2) TIPS view directory, which provides metadata (e.g., references) about the
network resource data.</li>
        <li>(R3) The actual network resource data, encoded as complete ALTO network
resources (e.g., cost map, network map) or incremental updates.</li>
      </ul>
      <figure anchor="fig-service-model">
        <name>Sample TIPS Deployment Model</name>
        <artwork type="drawing" align="center"><![CDATA[
                      +------------------------------------------------+
                      |                                                |
 +------+             |R1: Frontend/Open  R2: Directory/Meta  R3: Data |
 |      | "iget" base |     +-----+           +-----+         +-----+  |
 |      | resource 1  |     |     |           |     |         |     |  |
 |      |-------------|---->|     |           |     |         |     |  |
 |      | incremental |     |     |           |     |-------->|     |  |
 |      | transfer    |     |     |           |     |         |     |  |
 |      | resource    |     |     |           |     |         |     |  |
 |      |<------------|-----------------------|     |         |     |  |
 |Client|             |     |     |           +-----+         +-----+  |
 |      | "iget" base |     |     |                                    |
 |      | resource 2  |     |     |           +-----+         +-----+  |
 |      |-------------|---->|     |           |     |         |     |  |
 |      | incremental |     |     |           |     |         |     |  |
 |      | transfer    |     +-----+           |     | ------->|     |  |
 |      | resource    |                       |     |         |     |  |
 |      |<------------|-----------------------|     |         |     |  |
 +------+             |                       +-----+         +-----+  |
                      |                                                |
                      +------------------------------------------------+
]]></artwork>
      </figure>
      <t>Design Point: Component Resource Location</t>
      <ul spacing="normal">
        <li>Design 1 (Single): all the three resource types at the same, single server (accessed via
relative reference)</li>
        <li>Design 2 (Flexible): all three resource types can be at their own server (accessed via
absolute reference)</li>
        <li>Design 3 (Dir + Data): R2 and R3 must remain together, though R1 might not be
on the same server</li>
      </ul>
      <t>This document supports Design 1 and Design 3. For Design 1, the TIPS service
simply needs to always use the same host for the TIPS views. For Design 3, the
TIPS service can set tips-view-host to a different server. Note that the
deployment flexibility is at the logical level, as these services
can be distinguished by different paths and potentially be routed to different
physical servers by layer-7 load balancing. See <xref target="load-balancing"/> for a
discussion on load balancing considerations. Future documents may extend the
protocol to support Design 2.</t>
    </section>
    <section anchor="sec-bcp-http">
      <name>Conformance to "Building Protocols with HTTP" Best Current Practices</name>
      <t>This specification adheres fully to <xref target="RFC9205"/> as further elaborated below:</t>
      <ul spacing="normal">
        <li>TIPS does not "redefine, refine, or overlay the semantics of
generic protocol elements such as methods, status codes, or
existing header fields" and instead focuses on "protocol elements
that are specific to <tt>[the TIPS]</tt> application -- namely, <tt>[its]</tt> HTTP
resources" (<xref section="3.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>There are no statically defined URI components (<xref section="3.2" sectionFormat="of" target="RFC9205"/>).</li>
        <li>No minimum version of HTTP is specified by TIPS which is
recommended (<xref section="4.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>The TIPS design follows the advice that "When specifying examples of
protocol interactions, applications should document both the
request and response messages with complete header sections,
preferably in HTTP/1.1 format" (<xref section="4.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS uses URI templates which is recommended (<xref section="4.2" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS follows the pattern that "a client will begin interacting
with a given application server by requesting an initial document
that contains information about that particular deployment,
potentially including links to other relevant resources.  Doing so
ensures that the deployment is as flexible as possible
(potentially spanning multiple servers), allows evolution, and
also allows the application to tailor the "discovery document" to the client"
(<xref section="4.4.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS uses existing HTTP schemes (<xref section="4.4.2" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS defines its errors "to use the most applicable status code"
(<xref section="4.6" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS does not "make assumptions about the relationship between
separate requests on a single transport connection; doing so
breaks many of the assumptions of HTTP as a stateless protocol and
will cause problems in interoperability, security, operability,
and evolution" (<xref section="4.11" sectionFormat="of" target="RFC9205"/>).  The only relationship
between requests is that a client must first discover where a TIPS view of
a resource will be served, which is consistent with the URI discovery in
<xref section="4.4.1" sectionFormat="of" target="RFC9205"/>.</li>
      </ul>
    </section>
    <section anchor="push">
      <name>Push-mode TIPS using HTTP Server Push</name>
      <t>TIPS allows ALTO clients to subscribe to incremental updates of an ALTO
resource, and the specification in this document is based on the current best
practice of building such a service using native HTTP. Earlier versions of this
document had investigated the possibility of enabling push-mode TIPS, i.e., by
taking advantage of the server push feature in HTTP/2 and HTTP/3.</t>
      <t>In the ideal case, push-mode TIPS can potentially improve performance (e.g.,
latency) in more dynamic environments and use cases, with wait-free message
delivery. Using native server push also results in minimal changes to the
current protocol. While not adopted due to the lack of server push support and
increased protocol complexity, push-mode TIPS remains a potential direction of
protocol improvement.</t>
    </section>
    <section anchor="persistent-http-connections">
      <name>Persistent HTTP Connections</name>
      <t>Previous versions of this document use persistent HTTP connections to detect the
liveness of clients. This design is replaced with the heartbeat mechanism
because it does not conform well with the best current practice of HTTP. For
example, if an ALTO client is accessing a TIPS view over an HTTP proxy, the
connection is not established directly between the ALTO client and the ALTO
server, but between the ALTO client and the proxy and between the proxy and the
ALTO server. Thus, using persistent connections may not correctly detect the
right liveness state.</t>
    </section>
    <section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>The authors of this document would like to thank Mark Nottingham and Spencer
Dawkins for providing invaluable reviews of earlier versions of this document,
Adrian Farrel, Qin Wu, and Jordi Ros Giralt for their continuous feedback, Russ
White, Donald Eastlake, Martin Thomson, Bernard Adoba, Spencer Dawkins, and
Sheng Jiang for the directorate reviews, Martin Duke for the Area Director
review, and Mohamed Boucadair for shepherding the document.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+2963rcxrUg+h9PUdP6YXLU3bxJtkTHmsiinHBv3bYoJZ8n
zmehu9EkrG6gA6BJdSSdVznzLDMvNutatQpAk5Ic7+Q7ZzNfLBJA3VatWrXu
azQaJbNyWqTL7NjNqnTejPKsmY/SRVOOiuxq1FRpUa/Kqhkt0iarm6TJmwV8
O3h1kbmHT149d6/0C3dazMtqmTZ5WbgX68kin/LvZ1l1mU+zQZJOJlV2CY25
4emLs0EC32TnZbU5dnUzS2bw17F7f/Lw1eOPSZKvqmPXVOu6Odzfv79/mKRV
lh6bER/C38lVWb09r8r16pgmlCR1kxazn9NFWUBfm6xOVvlx4qD/Kp82/MS5
ablcZkVT6995scj1e+eyWd7kxfmxK0r4qymn+gJ+LZerNPQDD2bZqrk4dkfY
y6oqyiaf59lM2tYwzyqb+3HqzdL+2eqtXk/8E2iepOvmoqxw9iP4P84SWv77
2P0hLelv3rh/T3P/BFaZZdB68KwcH95xZyX0ADswpZ04GLof84t1WriXZTob
UINp3gDwH11kxflszU/KGXT69cE+/MiDddFU9FVepPSorAA4Z/mUOntd5JdZ
VUNH9C5bpvni2L1N8/O0/H09XY+z2Xo8LZJ4GS/H7mx6UTaNWcnLcgF7Z5/r
ek5n6ejlBcysHp0BUv6f/zdzh2b+J2m1hH2fNXYFdw7v340X8IcMELTYhCWc
ZOumngIuv8oW2dtyaRfAkxnzZH7f8AfjWdZax49jXMqPaXFuFoJ/upcAn7Sa
hXe6mLsH7kVV1ivYFndGz8xSnmVX7o/pZVaYpTx6Fa/j9dnDsIYf00W2ZQ82
1eb303q8gS9wE1ozfzKG9S+uYJaZmfqTdF1lRfzmiye+//Xdw/0vm/uC5gHw
5nn8fvsi/j1bLLIqWsL0AvbOvvjnrICmMX5L0zALKJhOXmZ4sl/+8Ojw4OC+
/PrN4b278uu9w7v69N7BN3f013v39YP7BweH4dej8Kt+e3T/3tfHQEeVMPsB
7x/uUyenD589HD0FapeOXm1W9BZIGpN4euzwcc2P0+ocIXjRNKv6eG/v6upq
nKdFOgYw7KV1nZ8XRFH3ltRfgw3t7+N3F81yQV0xmT/cPzwa7X+dJKPRyKUT
2CGge0nibxbYJyS3C7cDM3YImF23yADO6XlWuz++evVi72B84JBg5LUDygAz
yGYO1uoa6KPOl6tFNkzq7G9rmFeeLlyFv9bNqMpWi41b15mbpnU2BERyVxeA
ZNAXDz1d5NBEv69dKr1MM1fOXW4uuiqry3U1hQnhPGhcuO6yCl+symJWu6sc
KDC+QMq+yJosmZZFg91DVxmgiO/DwY3l0salsAXLbJwkNJe8mFYZQhYWsF4h
6GqYOtxOdLFm1egM+3p8ibB3O2dnj3cZYIgouwCWOdxruILletHkMIF32HSl
sIUlNOUKpyIAfTeEOwvmi/MQaMiKpmmRmMkABFfr2sxeJ9eUAj9YO1wruGNu
WRZ5U1awPUXW4I2d9AMRCGZxDjsC3ZdXOFECnPQGHUs/ThcTmiYwYQI/UACG
n/tjeYWDD3lph7RDyMZUjg5rWQBYFsBCzDZw8a6Io4Ctma4roDvNEE5pMZos
yulbmodnOgBUfnSkKumyRgTyY+Ng2E/Bly5s4yuAZ/oWtnZ2mQLkzgmJgLuC
idDH8yxtgNbVQ+gEMbmcrhHE0GtTlbM1wqWRQ5F8MrvldpDB2h0Tn4W4jhhq
kSl5+fjs1Xy9kJOD0D0HCtE+AzgyzBV2f5VO8gWQOPwye7eCAYFQbIZJgBmg
xI6F2q6eILezWi8Wuw7pLnBH0+1InRREp3TLSgbR3tEQTyhBPF8s3HxdEHBx
Z+b6DRCDMROTZT6bLeCevgVAYhASZN7fIogCZ/lwtVJ4jZ6kG9gIgOscJ/Z8
BbiT/51BuYOA2MXDcpkDlNwyA+DTgIrFaeiI8LOcNCkgg7yG2cLO1pZgANNT
unkKSAlfBKxK9EDW7gIuIDfJ4ApWkgYk/AD2UeniBGhWOMDv38ut8fHjUKjY
dmroaV5C1+dNVM+vo++wDpXiYV9CIuoMKZ4lds4QO3wuncPMbJ87+Rx62+xi
V56eNKU5/bCzh2P3BQQRm+wRVSRIIVUESOFA/cBqo38J481wi/2EZK1EIvPG
XcGZphsSXlfZNEPs1WlRh9CAlr/1qgDCin8S1xEdJrrauhTXEFqahExViS12
E+htm7YCIL8v4UYKCAdSVQwCf7USxJDLQNyarBs9lfr86ONHnGPCR9Q/vgOP
cU1KVH1/iEtzIOx1P23mbhI5bp4syiKRei3xHaBEVtExg79W8GsO3wB8aduw
H91ypAbuh7yqmyHCtYZOK09J42PUd3QaOZ9zaFUWi42Ia4TVvbcX4KfuBc62
WvOtEJ9Xf+FCd20ixyjEFNPfMf0XJaw+oApLt3gT8TYJV6EdwX8mmeDitSs4
xvkCNuSIz0VpaT4gOgFjmTd13wmEHUX2aCg94PphzBTuW+AaoTfYtuoCrlrC
UnOu/Q18kcoF1Z2WnpdCOgeExRUv4UQIUtd6NrUJbf2z7J3deUULSwhgyxYg
Yq/PL8JrOo6y8aQZ6Cx2iOAwtzOAFYBcwr0BaHMdn4WAYE4LqGddr5f4DbB7
JXQ+Kiuc5TKra2QRcGFFBlddVS4jshNTRUf3QjSm3OezEmZWlI1eXygb4eud
fJyNYfgAXnhZkNKi2iWNBlE8aLKGFfdu9dkabw0dCOCFw9DV4lESefw04KVL
L0EkSieEz90zD2ibTVPsYYK0CW+omhA4x+32M8Xd8HOFrZuhmqYskDIOw/7l
uCFIKEd4ajtHHDrImaPCA81IOEfQKabDii7Kki6Ui/KKZklImzdK32sPCmLu
4Ezk53RBXGQChKwqrmPnUmKpPHON7NoUVpHNEtzb35THU2xo3XMkpaSfw+nl
gL+AVJZJ9pwD0pr/BF7vBGSsnOEOCFSAqNMA1C/0auk78IoFdbm4pI0AxggQ
s8JbB7BzOSRChETOc+uA8HKJeOxa0s3kmmx6UeSwZgFfcgWS/gggAIie1xdA
DLJpWW+A3VmGS4w4sXy+gT25zBblCiEzRhUdSIs8hJ7chKSgcBMEoaLexmz4
b8vJL/BpTXQ3MSDrv8Fdzw2eLkAO5E3cKPHBU6UQXObnF02SFUCnABMRA8fu
z8BJ5DUQw5oP4LKc8SvH1D1dgPQluy4oCcft/Xv8GIhxkpwJ0vCRjs+PIFRW
HyNxd4/fAV9ZKzCajtYAwTHbINGbol61nlb5ig4PrjdDZj/nq9OtixyPmQAS
JrZAbc4GSXV8nADr6b5BVOxhjS33ShcQ8AN4oAJHu1llwjcKT8nMMh9f2cbz
Kl0BdAFyvIa02+3rl6dulTYIS1r8PGumrGOoi3RVX5S48VUv7U6S9+/rbDqa
TFcj1OTARsuO8SV6hbPL3jUq+tHUZKvSGV6/Htzfoz3gkZD7F6i8yaeChpN1
vpjZ+0/UICTuMpId7t+lHb91y71kQk/aI/cE4LuGU8eKoLfZBrlGECoGT1+f
vRoM+V/37Dn9/vLxf7w+ffn4BH8/++PDJ0/8L4l8cfbH56+fnITfQstHz58+
ffzshBvDUxc9SgZPH/44YBln8PzFq9Pnzx4+GbCgb5ESmWeAxwTvNdiPVZWh
bJPWCcAMMG5Cgo77/tGL//2/Du7A0v+bqPsA7vwHqvbgD7xheDS6tPhPgPIG
Rcwsxc10xO+kQPHgaCL/4GCnrwqHmwKA/O9/Qcj89dj9Dvb24M4DeYALjh4q
zKKHBLPuk05jBmLPo55hPDSj5y1Ix/N9+GP0t8LdPCSEeQb8EpFBRBK7G3QF
ek1MvQHUf0dALbQFgs1fxLg3cB7UPHJvfIhn3svTuLFKALHTLKI4wDHUaCRi
shMLd3Kp43G7xUfo+SU+AmLw/lYpv36ktYTLPjoG729V5s+PfWpRkg7hUzMt
lbgi3QKwlEi18noJlFNustQKKjMYZopXuooMyhtEDLioNoIIkSixYdke6EbU
iDFUaPZMVWRblRffJnoFRnMTyj3JmC8NBE0Zfxgb1ab27iNFWdgQ1g3g4F2C
GIAXMwm44NTeellNrFkkemdBR1aRCMH6B9dRyOK9q0wJNROi2bdFRFGQny5Z
EyUyOYgXFSxjmKgUhqjH8wRowjJr5u3DCnf9ZFU2tleVEVrbdy7r+3rmxqJk
DR3UciLmpehpE4utcD+fdq+e4+TY9TxmUTnD48jMP/aLwgMtmZSlRVsTHRRP
Ao2adhC1vqpn8pJaRihId3cQPQl35H4nbDFqJ6AnICeVFWvcYnz1MpUetD7e
FjUiLtrnHrwLQM0j1CP2cwEbr/RqJ0VhXO/oGdw0AHHEqEdBVR1z4TKCBQ3C
/s+4en+2iiybRVwkYfwK7SJG87BF8qUZAU9QGS3JMm8s4GNFFvIoa9yCNbD0
gNNCCorZVT5rLqA32tFS8QAVBaNyPkKTvNN1GQ3odecYOotO8hqRvlkD05kh
eocd9Gice1GT7pDRyMFJRUTBMy07aZF1YuRt3JBNSzxPL8t81r8G6G0CfCMq
d7sWjGE0EmvliBPN8EJRI5aoBdEYg/4Cc9ROkY6gd0C0kaK0xypZFR+GRFKy
dylZyOhc8DpJ94PSczp9mzVuUdZ4hb2oMuIwA3LRYe55bA8zDkknEm/RTDSe
csMMQYLi6SEDvoJhclQNIPCgPwA/0v3Ry1ev4gMeCFmPUuK0s/WdrYU/AQ3n
OUraci3wto1qfI3b3ogJjQ8xNGAhVLFdbjGaRUQlUa0KQLtCez+5cDSiT+Cj
R+JsGcgT8ImXebmOpsd7XuKOMlpt0ba6HmlNzmU4lRdiDuvO1JAeRiISYzx7
zjZVoIFpEYmosDmkLEbcE7LGe4E4RHvBHJmjVSDZRFbWSuuv+qfTYhEiiY/O
KGprkPWli4EkkSSGWoGnDYVQ0Q8zC6gi3pQEOTRD5MUaQQ60tM6AxLMqpZwn
7cuRKQ2KHnB0UgQr8R7CNMLxQIERJ0zXFEtq8IVy/Em4YoB8B4mspc1XzN01
95BhnvBwVUxgExSemY1EvhF1liWgrjcsh2m0RWYjwxMUE5256AK9deimSaKN
fJat4BgHWw7pEtSUijBbMwmrO+Qyugu8BWgcURC4VKosXRDDw0eTFrkCDgOJ
f5vTJ+2p7DRMbFFu6DFvRrgtAaUcC7zwEakjFip1EjxfZRVe9ovyfAMsdxP+
+og8DEi8rGFUfg8/qMWmPvM3t1rfmn5ZxDNJ3By4o89V8BHrpFpDUiIoJRRB
o4/XNnMZkrxSkPoV1Qmq8OijCYgShnHcrgARvuk6EyEA+tk1r/2yVnnGnhUg
PVdA/kVPHFqkk3LdRFZVWPIKbj4Df0QRPSJup7lUqJndijeIxXa5GVG2QTvP
PML+YJ91PfNhVvma5RMdCZNC1g5kFWQC0jqf0j0Bf+P+xMqfnfX5Lltylikq
pKeLNdzhJV7Q26YEq3/d6cMDmCW8DIWr6QY4wKl8dHVR1ihtzEjdDpdSrXof
sVl6RwlChRYUYktwNjtX4ZvbCmeWN9mSnUJguWvVkkNX2jfQM6F+y3Tl9eE7
2fh8PHSPShA5nqaroVNMgj92CS7IwrK2hAwNgJOLLAYkGuRUBdi3Ua2xfshR
PZnhDavD8kiAELgSOAutfUISTDIxHky/0bvMXqERbk3qYRIviOrBNv2Jl417
81JBjnsEuIky3hRl22Az32ISG7sf2FYdqx/DjtDoAmHi6eq6BDEIlVOsq4Yd
48ktNsGoQmwHQnNZAo9cFiwU8qUPO5VN16i6XWz4kNAd7x2jivVykpHU1EsF
kfZBxwOdUz1ghn8ebFr6qj3X1hBuUA9QVdykyD203u3U+Bj4ub8p9hNGoq0Q
NRsoKP09q8pOu7zobC+M8bjoLBCQpZi1+ycrZ92dTX+vZ3Lb+uOJshGev0U6
ZUYVNz7WvuS1p1IMlf6uuwJ2ILIAF3aC2zbOjQMMyQQ+28KtEZfyb2fPn7mn
GYDDvUhRKw1oSs/oLzrq1j7lPJUgjhN+LSvALmaSZVqKFjv5LsuJ5IgYHv+y
KxZhg6LAr5CVM3e33YH7zv0iutUV2wsd+2VcABmF75myXuU1HKunOol+yy8x
t+niKt3UfZurlisdZ0+H2NIbEhfUXCE1KxvWIhOxn21BndeBpjIBgeMTtFFK
Nqgp0uOWNsRMcnqhzFmW071CNNQr9KrWxS890P4Zum4YPLKxk+qbcC1H0/lO
CXQbudNdlDFRuFmh+bXEqcADvs8upKu8bbzUgcp4cryTxPPmdbzuue8Nj8LJ
rXx06xcE04mMGUDBQyKggp2SACYCXkznVceRC5kledsTV3ytf/wylJXmNMtf
2D5Ad2JEGWrloZ1iOV7C3jFIUJyeyapwdkPyKkUZHokwrPH/gR+M27jKxcP8
hp/bI/tzO2k/u936Ah58cO5ErlD4+RB/nvAz9xLYIeQJ4fcPqKC+zGux2OID
f3U7/gAtdxWeQvdBOnjhzUT0vXMvSmBSNtrAcsn8N3QwByImHdywhNvX/H3b
gO1DDKzWn933SWukL/25nXxg/kf0x1/88yH50F79F82HOuos//of3ePWXlFH
7Q3Y9rP1O+2ojQpbAbHtu9DRS731bh1c21H47rCvo3/Q0vj1h0/bnz3596ee
XdNOP+Vnz//2U2vVnzejPfO7nZPFI51Rv+jbnk9rTh1g98O5+7r9JGy/ay4P
8EGrN1k1vj60cKQnR9Lg9rYZRfjxCTP6EDqKm3c66v7e/qhnRl/2a4ARgGhv
fe5/vZjIr4fh6WF4ehSeHtHTf/CM6O8PAb/2wq8BSy0qmjcftFN/RD54/Noz
qOZBGqNieBMQQon/B8V5GvqneNzOfNozMhcQdv1TGPqnaMDOfPybqD0AaU9W
Kh182NZc3yTxn86P/pN/2tda3kStI3rykzztbcxvbGP7Gbf+sK0tYTu2NTRV
z1fPo/BjXybUzyM2hoUbwD+KiH375dE/YPykuczh2XdGP5TjMzxF3/UKC8yL
toVjaELN4MR9p8Y9tBoVWY0u39n0LWt54TPkFpP3x+7WPD8fqRcCcKh0cY/S
RX5efDeYZshcDTgK7LuB91tQjSOF7X5ENyLby8eP5IxCLLzYlVy+WKwxqIs4
Q3hemq68aQK7S0QPw/oyNbpr0IX3QlJtDTa/Krf4Re/cOkiQi751qDIH3O8s
WrRVTCxIwLVOJq85KX9Q8xhNh92NYceNsySMoogz9PjCvSmC7EoEVUXRXgUp
3yI3NV4lqhhQUSP75pUlASdIR0JK0SyYumKLvTENJDtAqHdJWUAqqxD/YVVr
tw6GqlOoL1IxNgUvQ14jaZjIlMGQUWMZdXDI4SuznIxVMHM/gxpVr+zaC/cA
SeZ+LusVSE+hTTvchNA5vOZhUZmINsiHaN+smgn0ZG3n6N3BkJ1lDcZ0kjZG
0R/tPrJjbFJgL8VT8ays29tBdh7WhW3cuqCuw8qGjtWE6qpczpN0OqXvWTNe
peTzaTGFAV1lC1SWRR7qNLsaHamp8+AppGrcP+BxJysEO4Yb390+6sDu/VYl
Gwfv0R7USa/GggMftquJ2XeVtUPkMxuCIZMtHhDGpLQDgt1ChVbxc46Uw2wB
S26wJNy65b4ntfkJiv5PydAD7SJwufe3UDEghp4k+UH1sF7HJape9GLC2AhU
LIcwJ/hzd7jFU4j9OsKqRPPhtebebBWbfBSkLYiytS5hCmXdB6p0+rZuOalY
tME5ylFRncPpSR2oDQfitj0GxOffr4qP/AHDBo30u+JTi3+T1kH0IDxbQg4d
rjUhVXikrknPgyZZHezbyhmvtaOva3cJ1476PLLSkaAxLVeZjZnaxUgHJ6pz
t+/IsE8wI40Tb1lO+k2yDsE+L1fNZq/AsMNxWBvreOqgWmNtEQgjrB+drhep
OGnRp6TpIQ3PL6pt4nYUQEd+3V43dJ1aiKfwp6CPX6XNxcjaVHcC5cN3qGms
yC/HhLVKd3u4QziBi9R4Owqgd5FWosEVPVHDXazOomSzxJt7fY7RL+GG+0bM
QHbjh4lHb8Tlbwx1toahKPDGPSY7kHQDI6GjvO8mcqILoS2xoleNrZGelwwL
wMwsKJw5dGi0xj1nVo776cnB/tHoYP/OLnoANYj/rX68yraXoLW6uburwY+w
zHZHhvBRq+T0ZB/aHO2O0W9V/L/pjOnREHSwJvbjtmKTGlySx8YkE19MMdeg
05YSngi06MFBHdOQFJoJ/16y7Ui9fxK2pIsZA3O8WLMRrFV8IXvCtfQ7WFxw
lktadELaUV9H5H3bMLGrWVVMDnbIGehFZKwDLTcCCrZFv4FXHeygieJnos2e
ZMGrlVwM2Ck7NVpkMUe2IyzbEO1DB/HhSmhFAB1ArCEHqMFv8uTukFzwGQje
7iBEh7YHWwOq48zJl7jGAJttc2rYXwo7G6hRYcC72+rsC9TCvT+3v6Of21/Q
gYi4Dgi16ng/62fvC2fAJ+0gyI0fvmD8D3s///wlzXW2pqfrmsP9d+yO7hwe
7N//xo0ewMc487bm57caXX+Qoh0AzA4d6mvsz+eC7qdYWP/NQff1naODw6M7
CrrDfwroDpGw/4uBbs837xhCBHT79+4d7N/bV9DhAn6nH9FU1CzzPdJmZVpw
WjzYdw86o8sdJwvYNnr4ketYQTce2/V/Puhs+y8A3Sc1F6y7e/j1XY91d2i3
oDlxBl8+OvIUnzZ5HOgOfy5YF01eNuLu54Lww/hn82jvy7HvutYEwW/uHd07
un+oELxrkQ/x73OH/hSA3QWQfI0A+yyw/KNmIojzzf79e0e67K+/AFNi/d36
/AbNHSkTWEx+zLzegCOOYon5KflziNvhaXGZVjkltAApQmRS8oBiYRTDjVou
UOLYlU7ZyzCdzViQGCbAdo3FjS2XNARZUVPcLGcX2gSploU2TamxTN+iqiKE
jCN/DeIb/QHMkFeuCLfnWb3LPHWBx0t2uMMa7eYLjjqFKe7vcnCkbzXxTqmi
qczSCkaoQoCTsMDoQ3xOPsTi4tbriB7HpScIFIrjNWmMVlWZeoUISFFNtZ42
GNbJepz5msKLRdIkHQnLpKcnPmkUADqbRbJ6K4AU4e3nl4S584IPYJ5PSxik
7kT/xP1QDKEESySxbiP32MLag0fsY02p1B7yBqNuYegW6MtQi+vHFoes4OWD
qgrKKeM9ueIVqiIcw/oy22lLfAk9qccWSQ4FTczLOIWPyChq7ZNgR77TxJiL
TxvFbXMyNO9e3+OuQux4QeJ/we5HzN1LdpkNjvO77/Ad/jejCRJ+LRZBqu5b
8E72bpqtGsRf9ZVpsnPyMoNzf0neVO7NXzDxQJH99Q2rHH7I0lojEdyT7j4o
jPtGjPTxCBMcwOcPcDb8j2FHmdTYTZWCdjUbCE6XfaZUx4hS81tJmtO/XJ7+
4CVGmbv6Ip+DuINqIkAtFljTjqXAQg/gcABwOPzrG9KgUByKQrr93Vf44Vf2
y6/gRgfJ7Sv3wDUi2cFn7gFsGCecg+/hL+ywOByLnlHDaaJUM1PW+1JWN1XF
Mrmsjbr2qxZZTYiqFtQATmiKaragXVSlDju7k0bHaD0xp4lASJazP0yMijEy
rHhQvHkPgsAQGWn8z9GQZVoSY+G2+vhmjCeaejsYJhSnhy263xF08FV4AAjA
Wj5S5YfMP/jV4TC5tpfWUwmNDN2J8o9xrCgDxTbKNxQOYH+QW9uC5OsIU12V
129pzwhsFWGgUcXYfne8nqvC6403ZleH07c1RbYm/rVkTGkrckI4KeycD1Sj
fGBRzJBMIEGBkUY66jiGiS3hz5JwieDpPVmelBplML3Ilql7f0sTMzGD4FuF
FyMTtIyk3V0AVCgb4yKYGjSZCsEitmV5T2umPaS0xRejH8ha9wOFZpUUyYZw
nu3Gibcu+vMV7dS7gRTz6Aml4zKpAkXbZTIimaRYQ6t7rzK4dQvvxMoZNJK2
7QMuabWZrMpcxiI8KUtxqDVhCGG5FJww+tOujy1eL5cpJ5loTKgoNvMOmjpq
e/1NCfd5JdwLUX+gJybRpOlr7P6sjzFrRO9cEx5U+RNUo7WYkp06yzCOhvDl
48fdkHSihwNKfDAn+fmoNQ6NeME4rIjVo5n2OIc5A4mczRuhpoIyik0+HY8J
LQxa5ZDBTbNGWu7GBP8GbADeUwxl0TbqeGzLYyxh/WwlaT5R0RbvkJkC36OU
tMNgTNoE11PGDQzWbCibCpqaCDMFSQz+BTOoXvvD1k1OwRjM8aiXqSV4cXD7
CGBIqbCRmySTh1w9eIHMOVkAK7+NKYS30p55TWFn4uwoWx3wNMqt5rEKVLE1
iQLvoovUqo+3IIcQG1bx1natZro+U2HBT3+hp7cPrEK+7RoMxP/N75p8VY8Q
A0brKn+wtz7f+90vD+D/tw8evPFO25usYQ5PEqd6enJRLjgZYqKouQbYLOxQ
EwR+ZrNj7diot13y6Gf7fQZ0jZhpAxXiU1dZlZczidSgQFuLJGgNBKCjgZ80
yEnqXjwHjl6nBJB4s2cWihrlB3sXkzctAhwRWR8Xm7AUM3bP1YM+oqgkOS5K
sXy3nBp6TOLj5CxDjh5wfVHzntPM/HIoyut5IdHFGspeUqhgVmlQux2LzzQm
kmDInDx+8vjVY7P8xNOVP+k5b2vQxanjph8mTu0Hf8Kcb58o6Y87DxLyjsYN
w2NJpGnPR+wbiHLjRxynRI+1cfjB+9UL3Ae9I/9J+pLGHee1vp8H7sN4ZP/3
gFQbH1zr+AztAyFsD3rWLI0/aWz8Lhr8Q2vNn/XDAPvD41eueyLw7Od49h9c
1/iTJt0HQRrZxG+wnZrtzjf9fA7AuhD8LQGmxPK3AtgX/nwIp6qP9H1C43/i
tNtIopfZJzX+5yGJ0N02uD+p8T8F2lhOo4xVrhHvcYP21Ts3BmnqjHPGoBQv
N8oL6EeUstcIZ8J1cwIFT8AX+h2/9oneKWWlZ8uUja+V+ydOaavTVpdrd5rb
KLAU6rDHyS/TKSYfkmhXYaD6AuMirQhpKhLrO0W+AIPLvGrW6WKAzn+Yv4sy
J+6ks1/SKSVyWACbtTvsBioSk9Ujf+GiRXYpV1kxQm4dmUaRBQhmeaPeCva6
AtYr4kV9ttY2t8i6uda4FHDr5ZokeNwwe9TeO+LS89p0cIVJR7zkzwwypy7z
nY1UGusa/LunbG+PZT52Bykjn1HE9g8/u/U5/gIfxpooeksf7Pvf6U8yV1MD
Cl/FP73ivfXhkXnwEz64a7qFhu3Xh9Ix9gnnGB90MTbq4rDdxVH0+qg9ozud
GcmQ3lPDB4eiYY8mcZcmMe4bvtudPoj/cvLgawV6dNvA8P6UJfLteDxu231k
428gQG06YmxAIVssB/CSRhY9qKRjrAQAh78izj+DVvgL6QEkXzwaABJjzgja
ggi7+w0kLiVxnrlYUWkm0dlr5zxm+ZmmBLKyn5GeYjueEQA1wjP25SODyVf5
V6R4pt9/+arfgJKjVQMhjzvRJwoyO0ifJCdrkx7e1xspOE1sFITL8zo9qVuJ
7rzc59Iksv+01IFe3FSntOvMEGhoBBHnYP+bXbKb6T6pJhnpo4KxyN41ogHA
AYkCodMV2pmGrF6glDHQbxLWGWLdW4qsRVqLm5vV+aklJnIzTARyNAMLPmrt
1Vo9A6qa47Y72L1ht+TTB/43bCS715eWrkXRU/JixAxbxWJjdMYbeqMuZpzW
GCdLuXGQM15mzUU52ybI4wYI4IzMHgId7BTE2zMJBji+F65Z+MWEF/hKs5Lx
DDjD+AUnEcS7mmuWwBUu0+pc9qxqWLPAnhDr7BcmumYbz+e5mRNPW3ZOX57s
uodFUa4LyT7w/lZezT7y7OS5Lrg3DbzgTO87T8QSGqjj/85mTJPMcxBKE2EC
WJ/0Os/qAWd9RQo5wNxLDPCafdBDWSRmyKgbn5SHlAmfnN3H5BxMBqaUyB7V
38O9vP1LXRYDHvmRmSLADmaseUHt5IF1yhYznAsDsmZmi7NxMSnxCXESzXz6
9fgIW9jE+N1czK1xOEEdd8XZnVljTmBA8OD4ds4GT/XT9+oDYU4guycQmKn4
lCVuI/ZDGJmyUt9yFx9de7hvEzvUCANg/HAeQU9P8G4/azC8xfd0zWS+TfQu
ppMGAGlfw4sMLZXGB8POCW9fome0SVSa67q1Ye4CNETKocBrQs2vSqaot768
qJ3U0byFg+tHHAj6SDWGDAueYSd8SRA94N5G+cyrVdEet87UP15SY2IlBH80
yGjeYgdkonC1ZKu0SiUmAZXRKTpR/MDXEvnZRynmPLfsPRc4pSE9o2MOt1Z0
mrCPJaYkQW54esFnahh/g8/i1zD+jb0Mr+9iXSxQNtJTQjY+vtvJK0FTVo4J
Uyk/p6880ESkhRMOF9PyuuCf7mZb2hfJXzbBqE9EwQNQps1YD3/FmUPJKkYQ
cLRKk1hOhSLshZGB7i7GJbTMgoQwJO+hGhhMuP+mtWTGEGFKv+Q1LEuM6/Bc
oLh6hzx/toVR/wqcsQ8JeFkX8mx37MiJw1QHMElX+FZp2AgCIFwvmoD0rVCX
ghYj+ZN0Z0lSC8ERfpF9vYyR2nHkVyr15zp7hViQEcDJ5YIT6eDrzh7kc34m
f9VeZ89EmSJwQj0HvaEoDI5cHMLIndy2oV9x1IADO0OxfMvU2U1C88qKvh1l
Q95Un3WIb7PXcLvy7cUXrUsboMITTBCmhxgLBlRVugmWTUN9CHFxJzfXBo4R
+FlsCSK2JaRB509OPujYhZhBw28o/XTmg5cMQ/FVfW3qNzaC2uxtIe7PJKRD
Lxj4DTgW6xjBqTxNkvQkTufpi20tMnYjwSmKqxvbWxg3Y7xzGlwy3STsDgen
/yJfITMrXnK5XjVf6aZgz7KCOvT08kBMoVKWBf7mzjG/ndvhtrvm+31xolHk
i/qXBPIKqJf7yHNhJQ3E4JcHLaOgn2NwZLFMslY50uC+vEmkf/LnCt5LcRMW
P3wUoA1IEQcA7jCRdSI/r6enYSrUCOiH6HeDxq2GEpNboAkDK2v3jJpY4Q0I
04K9qAwEQ5wmDrWlJ5pQumTeS6UUK2ZiW7UfbbtIYKwggGtn/pwo1ZA+y4kE
81ilH2XRPwjU3Qd2pSSzJDACMhjMAcyG3j3UW+WQviOVNV43iEMeBIv8bcZp
pSdZQnesL+iBoxaxdqF3pdQlk6KHhWpHkoSqisy0IRzMEEJXuFAo4KDFLg/h
j+zdCOWZj8oIYWNOmxid2qAF7itDpjVrhr6SGVPrwDsPlpuRoCoytYNjz9YO
QOaDPwdaoRWliLFMfwyM1Z40w1ZDbWPEoGPXFUJCE2ZqqBnXz6OZVJz5Cc/H
584G20CTPdPFJ09L2gqj5UfE03Ds/mJAhHP6q/8gkvKOjTwwoAXgcCMsIcy9
FOulXd/gr/L5xzYQLsoVFQf+Ugho+3+95fuZbV07F5YczSV35ujXYIJ2ssed
/kpwoGVi1dTXteAB/3OxCASPGLLDVnvW0qXoKQQdzOHeynqBz5RsBLPEZvXn
AFyI4B433ALmBgSUPcqJPuIqbp8GWumbWqBgt6y3wNfEP7Rp2rD1rk1l2u+j
A9h+uRVD5btP2dgbpGb7bR+Fvl7UvGGxreZdSfY6YNzU2Lf9aNBQ7ijZdkTI
pioX0FdTrT8JF0l39QUICWC7uh4pr9GSfRJ24uf/hZX/6lj5ycD6fPQWvPV6
PObartXiCXNo8/RrpZ8WM0cBky9uYuZQCxg8D3NxpwOKf37RAHtMNSRsKeKQ
nAZLyobimUm3arnPoL6I6pQH4ZOF95qgmlh0YJ13z0ZL4IHvS8aXwp7jlltC
PyUwsloR4BAnYiLxPK+ToMCQyioBpePNdj1acu73aVqk5xz3lLxekVguZUfS
IDxTOoTYKTE1DruROZ41AokmMhKxxtYbUtFFsvlqmgS11GlWAs4cJOKdmFBZ
2SoN/BA9Aiql+QhO7CqvejG8DCMYtcwqq1YZelVgaR/kKsSRuCUzo161IRcJ
6d+7Re9GcUBPH/7o3mbZilPV4PLFWV3MwajW06JdJEaV5BuSRIDGZE1YaiHz
aYCxpnpJh6G+KNcgzaLNookFdSl4lkRu1+30aKh1CinSMC6GhbznIFxTiTXc
pfe3xB3kbx87rsw+H5UXX+PAmR51wzk6y4R9mLAfrrWtkcVsUs6MLitod7fY
fuw1JUoa6sE4g5tAhcjsAuuUvDzG6NK2uRgbiLOatW/1g79g92wboSjWb//q
3zznvugnL1brRt6xGQaGD4YSShMn0L7RWAItkTomHkrG2IlKDjQimamSgeRV
rBjsK6dCaKFqxbxHD4WORaQ3fv+eZPjdMdtdBCc6ulEM1rNaBTaG2pQ2mYSb
sV3TVw7y2kN7q0dO3Vq0Ua2trByCvoKmEiOKxTTU0opyANMfHr/i0qt+/VLe
1ypidkqqFD+4hD8Gu1RBxGgmVdVxsG9Mg1roRO0+UgLEGTqmQUpU6IXz1s3a
yaOMGYndCaAL7GoYVJwKCyA2rNwE2o/zFFWXzxB0TmmbuJq6AeJX9dYRx65N
zRTO0Bv2Qjr+abrAVFBsH3c2RsI7QrBPiZBmH2tC4ODwCRgpji+wG7wFkdjI
1MWlT0Qk0q4RJPKgrh2jmRGOaB/KML4gdWKEUdcDARlVWar5hA/VwBNtEK1F
d4i+M3sUEygf8eHQpAG0DS8BQ2b9nLJ3GMpWR3QbyT3skyfc9So4RPIrGo8j
A/Uy9oaEXkL5cDZjksMdDJ3xUzFW/etEju3UFR074p/INUNpLE4Ane7PJNDH
fiY+8t8KYW1NV8zb7WH5MqTQ/tCnSld0Rcb9OgLNM/aoMT/eA2SkYUbfGgJv
ptw/j06nPjxp67DilqPvqbwH5hJ7mU1ND3jqMGZJZ9Oz4E+dUfa3Ub51Nvj2
Fx3EzqX3YquvdwNobZ33AthywUWYQqfWhu55/s8UBHvljfBqHOczSFp1dSNl
Y2THdwieercMpy6AAxDSBwYXL9D+MYgeoStpos1aX37n6J+/QD/A+wOd+2v3
Q3JF/Y48UnUOQn6Rg+Rp0PzRnI+KgwGZ5EmFMFDTeqh5tc24zrcVTmfomOJi
yVQcm0p5tMpmnWl99aPx4fhwSP8c+RD9I7gLtejX0f17X0sGPdoepTVcVIeK
UwmNrDOuXqgWwQlNcJYhqlAJnU4FyagqTjpF5r3t5Rj770pFdrZbhpyubETS
hK4JYhJ7GaCQ0ecDaMKmWJCyvAjLLI5SAMDy6L5hXotYXC9jqYg5Lcu39E0V
38ynLwiesxmcm3oYiwPRJNAPYV3hqMuyylpTYqMySVN+Camxwcvx19sSRSf4
uNLdYGickuzN942pmlhlJsMCVaoIKWcxnBS9fhiTyeFB3VZlwyJJB28f8pDH
vHWxJZO+gz0jaNRcYV3QZxhG5swo+UwFKetlLuGilBszKjAMY0xbeXKRIEUz
FHEGcxB37hwiOo+8nFH03yASSNq9Ktih5VVwqW21Y+IUhTd7tkq9PLGHbk2n
3oI2nh8ln9O+DrzbqbeS+3KEPvQSCEUoqyjONNtDY3fi6wj9S2AHzDlmzwvm
In2Ecqs/Y/ElM2Xk50S7ejrL2P0uj6yuXh4JMqlh7YetaYhE7YdnFDHlgSRx
Skh3ozAhJ5GYteaxbxxXB/Ug8L2sl2vJxVNjJWAt2tPnKO6jYoUVZrd4z9kX
pCnj4mRoakDfau+FbfrWguVBQnehnJDxg9HlA35M8vNzPUzxgjwUdUEcgdxX
khghHPlNx3QQIHbO3ko+xemWONreDWxtGl16MGI4e91z2Xfw/LtFVpw3Fx1v
5LF2R9ouIE+srqSMFi0HwCBgQ5crzD8rcT3zRUn3TTiSYZYhojiQYe89ZHN+
s9OyRPO0w4J3mbmp2iTSaFjDkSeFpnHTYC+iXqZXForlhdtOOa7XKWeVY/5m
KpWIeUThpqxQEyUQ0nt229Yc6zkPHpVlichILEjOrklXMOfMRtQH7S5dTqzi
6+Yv/5ZTcXl3v2gMSsgk1d+RM1zwlW94DRUNl5QPhRKs1tV6hYVcvTOMCl7s
PrpxWVWVlag34k7Y3QNTKSgDkQzu7O+779OZaukGUcJ8xpNv6QGpwULiYWKq
xS2ekVpjRaglTSLIiRJMZdm+JDh23B0fttQdSNnxPhna2gY9HSeajVkHCFkt
snejSTpT1aqP2CKe2Ndcbq2eXj5i/5fREzqbx+7g6CB6jj7Jx64joNLESEJl
Bt2YjEDoTgfH1i5EZucZGtfc4PHPp8/+9PDJ6cnPP5w+fnLyM/z++nFkjYGP
CFPR8mL0Tu1vCLfwm9jotHfLWGSCIcZbYgyUrheoEPyPCfwmriloW2SObNPg
uXBxbY3uYlkr0H75KGECKel4+Y10xW+IxHFSMMpPdWoOiE48ztyTxnDifoRL
wwWwwsjUeaNVKblTkvrm8c9PT8/OTp/9gXfmjSe9Mj+ifzRFcXdDqckOLHqv
6BR69p6tDizmbAwDbtfYswz2N5UU7pX6prUqlOg9ib2add+8aGz4phcj38hi
4r0JC/f+YypclluXEJSZiic9nRHxLVS35LuIwPNrNGr/cGWa1bCqNi1sZNQz
+1wv85qsfJQYkRZqxS0h1F6QalFUZcyCtlnYFWqFd163e4YAXefY1NBbTHoS
iX0dd9iOZaan1DZHNFFG+6b0NkWRiPVa6rHF9Kj7AjUd8I7fObzvdl7BpfkU
T4vQ63r3mFXHdIX6CDVTGAV1RcG6hMn8slmtp8P7UAMQMXFMnHuP/IhlCTwI
KglGTbWJrl2JhEYC/DIbvYK3lDppgPwGSHqiUWWVqvd4RJmU7Ov5NG82Euls
tNaWu8lrk4aOqnEk6Rp+R2d3yeAT2U0IwCh2ozsU3DP09GAgOpi6xiyByeAi
g11DUA+cz96lJZcNL2fsOlqeOXD0NJJHwNOTfgeNKBlMYzLzgCSWTxut6Q43
UbmKr2nOFoFsp7+x+fqGvo9d25+FXj0kN5Se69nrj4fXXt3UB0C3rPK/0xfH
UgDlx8N3q//557v7T1+tyv/553f15PCHevaHe//+KaxBy7DYy2XcOYjZhohs
HvdCtucuL6/XiVokxMv7VDPlY9yxVB+o16Q6AVI+7KCiycOV6MURs1zlCniJ
1RZu6xC4reefDLHtsDq8900LWJH29lqnJ/xy7/Cbg3uH9/D/d+7eD+5IHZVM
7PnTq1dpO/x4tQm8wOyO9p1oROjN18NuK1VsDFzcKX6AinNouD/sPv+FOrTp
pz92XXDg264ABA21WR9nyJt5LUZ5I1Gc7viPXoZU678kQ1SLUkuWFJcRryNN
rVa0baCULLtCmjHAKSTO4CRvSZTkjSmZdRDoibUlebRHRkxYGN2pxSOj25Ju
a5M2oi9Q2NKzbvYb32VM5eDrYxtdjPr0B9wbWeFiicyEDGOBaazEM+6z1m0J
M6YFoN5zXTOXiIdVa4JLbjUs5jF9W5RXC8TUWSxVKycZmLvYZcQwoNwtKXwT
L7GOWU0eXa1datQnhXYWfY3a4LOZly9mW7COz3lazbQEmsST92V0QfYGM5eC
LOV+KNfFbNfrJHosT0HWYUcnEgKYo8VQGJMnsKUVpKRwUcYU461m6ribhBie
c9IssBLHMgvBqS2L2DJ9ly/XS8ONCR+adJfuTEBpyOTATE+klpV0iAnipyTd
g/lynaNQbo+bDjtdWoeUvVJtM0N03ZpxlW1J49dQYMhMVcMyFWCTgDHHxOoc
EU5g3ELWCMb9Lk5TMm14ohWFUNYkn2COchCgfK65ONDUr6rtgoaUbUCeWwDl
QcsaEjhHvruzWSvthx5WQn9JGCVZBmg/W7n7ImK3JSsCEztp2CF3n0nkrnM1
0HMvpMrSCllW8ik0KGjN/rVpBx/g35BunAaQslMGJyWJvQUNJCSfZB2dsjrp
VEuNMFKSuofDPfIFuFpRh5oq1ghkXtGaajUAnxGHcruKD2TWNQtStUOd43E7
7zP5PUp2bplkJyIaBgx3m0/hi59SJT393sujocwcURbJOsp3lMOcmywXr8qG
U68kMVgkFycblkf+gBBrLS63VJSRMl/MUQ8xsinOgBhRtlbJPCS1N1tZo22h
U76xfehfXKwv8VBoF7Ikw130rU1QYTpNdnrMNSgGiy1ll2MwJQtjT3IgEaRV
VZsYQ4Y4FhchA4w3jIdqj3HSkLSIchZ5YqrKP693kVXYkAgf+2kq60Wpj4Ke
+7rV4ALMXD+DkbwpXebNpHV78vxWQqZQujDkPovDUUP2b1iGKEdaBSglO7kB
1M4+5/c6wIrBSNaMZy6cqC51dHG8mQ9fFaOVyS076JHxEDb7ezAcq0G8vo/V
BaqrwTV0R07syNdqDwZ8rt+/z9cjAa4kvkt9dUhNSD/WDIRsx2gbc3yVzp03
YVvfiJJc6qX6qxHteJSnYpakbQ9lhi66ZKuNJMpXYN39CfpU9lcFrZT4rBkm
GfPVUzjvEikW53HRFLjpJpvE5lL2yERUllCbsz9kBXn/Bs/KkA9tk/E9QB2N
KDnXCn1zYNBuHmbqMqymdcxpVHT2gD0D5vNae6JcMkInac/UVImvdQp46N/4
vFaIw1FqqzdJInYr0yeADvkShMeiPAcOzuu5j1WZ3bPJx6rL1bPErJzPF8L1
VRc1sTJRe5jrSBLF147jstCgf+xQ+WvUluRvMQGJDmaFZ3edhU796P+yfFFM
vX8zngj7O9h3O38oi4y7CrcdWVzR98WpiwuX2CHJSG4CUuywJ/nftLu7bud1
EVL2hOxWYa4BIlhvgTfRH1djvvDz10wO3ZvO3FFTJAaF6cVXRCcN+13WsD9O
q8UmTAXXJ4rzGKvlRMBOz8qrz1bSr0QZs+PP+S7bM2Jd/a9S1KuiP9bVX6+o
18Cz97cMFQeiGCq2qp5dr71zuU3koNYtoAtjkBArsM8FQw/EmCYkuewQ/1ir
CiPEKlViAK655n69vjy+9H6KtI7uWhW61SBSCqFr1Ie4Dpsks3WrdaCAbr+/
Wrlsl9arX767L+plzATKRk2TSod0Gh1tPH36sb14nO+n6U9JvEVwqCMGK1Kf
AY16hika0RMa3okzEq0mSf58kS9MFiXJMZpyue1OmIQLSeyNV1wSB1eYQB2t
hDH0Dnhc03h2nklqGZ/bMsGQCmEGKGnpxJSGVg2EzyVJMalUEE1LAGmsH0mT
ecgCE+oNaIoj76kAj65s/kwsz6IhIN3kNTbqr2CrYLgEML0nvgE6miAhYrYk
xVm0SmLgPG3CFBqfLvVWEWv0jkXPn1h9qmWohFWJWe26xMQ5QS3EbAARinXd
ZX1uBkTQZqGO3Beo6S8pT9TPilefH6EX5lBFeCoKLA7Y61fI24g9XdiXB+3F
PlGN0NlP0MSvzz9TOxVCDMNIVmxT+ZOBpAdBa0lhKFVrG+w227LfqGUQPxq7
jnZ44bbwQY4gQULCERUcKgiL0E1XMeQmldv10T19kTA7JsAtzgg+IXYUQAMC
hr5HUVNep3WCCal2vzxGqBdG/x+PkglhMjdGyPRMkOJA/+VY/ZjA/dbM/n8i
d/5mOwq/ITXfc2+ZR7XFiyBIPhKVDasK2TARPSKi+0gzW8pWI8cANNgrGlW/
jDH6M6wrh54Aai+a4EV9XuR/T70iJ8nmc0p/B38Kd4tKodmaM1bmXJuME9dR
vUKiZhelJFZucszmn0ieSGTV964Is0oHFAudv206sx6l2W7Q6/tO1Q9BWGnp
nC8b39swSo0YMXMVx5y0c6TucspIjHTN0Zm+snVaE101WXVICeEhU4SVY/ZI
FC681niO8gsZqst5XIPLvSodAAcA9PfQbhg2pZaKwJSjEkNcKPVkmnieyu9I
HdUckvt6XnGG74WvKjzZJCYqwCdoqwRGEcPLyeOFH4K5nvhZJX24QiPSBBG/
qgzJe33t+lkpx11RysBII8mgxRVSlNMsW2BVU7g/5ZRNMtiBvCQJ7gfyduuE
NUimWrS0YcQPK3lon0wiT5wEpf+0uT7nrQ4lg+7Y9aQFxUSQWMZ4g0lCsEIY
aRTNCNgZzEHTNPSlEKZwF+C/QKTAWsvFjMrX0bN6qGXm+FkICQupe0XXlzBb
Duw4NOqb6JLLEKfTLGTxo3B0yQGZcPYXWgASqQ0LrFrz06WzS9jqlAWGVC8B
n+kDWsEdkbSW3lywActXHpNE2nUW3FgZhNvAThUEQspI2nGul+cxhlQwJtGx
BMYty0ueIeot8nds1sFckS9OT6hcNKcH0X3lSU8JIyUHMBeUJY1PLskJawQ/
o2/CFlgUlumYdKHODpqs3y/1fDGCAyWusoTzrqJqhKYoJ5mwFCaJm/ycaSIb
ji6o+C8XtqZyMKmFt9K9puU8054FWdPwI7iyMxgzEYY0mgMFeMAcYApPWNjR
7OT+MxKY4BP0FEiQ7hZlNcO8QWw3o82V1LLfAhRRYqAtoPy2RlUcUmcm/vZE
4a81W4aVzNm15hyiB7DUXPo2M+haztsH0uLT0MKqZmAlLWCFIJAh7wSGDsF6
iwx3geRlyYByRq5DBjfp1OXFZblAS2EHR8mEiLC4SBdzvXLDRiC4UtmGLdgl
t1xBxRMQQpibgBAXmkWY2YeT0npBzNFcLJqJ9w7kckWSIybAm04RBr4WnNAX
Nn1OPsQhLMjX2IwvMX+wwgXExRw6qysrO+vIS0PVnEoh8iJpUQiUcHqYoycl
3MzfpwuYGML8/S109BhN9MFHWQvnzL4qufAu4Rp+6PyHiPqa+lVNXfQth/nI
hxnZCqll7KFMd4KPoBXMC4ZmCfqKuiK80K56bjtY85N4ivGQyLRQjOwFpwqR
TEnC4xue1MFNS5b/xJden1epv1v4db/V3mpnMS/Lm7YUTcUuTfru9WRWLjlC
Dp/Xmpg6zJvSwxPt3SQ+3xKaaCnuvS9sihMmLxA37aaR074dxO/NODaXm3I7
SyQjJucXGtfrFvwTxWJv08d8uVLLKyxVRCUkGISNcJwfIvUmFyxm59gBHzMA
MvNkAs84sPIdpx7xenXrKIGhlBlbm8KSZ240Qt4u4/I4V3AYKCqPKetknQOh
q4GwU+gnwm2erhfNqCmBCUCm7iqbKFjrtoYtmF/R2EbBiKFUstxOKODPWzIj
nirE7pwPJd10qN5nsxh+i9apjAy2uDJJdIXB2eTkw6x+x71E0nlpAoG6KSsi
F4wHeH0X5wuVZb/1Y/X63BOGj+60jrwZOrJZUHkOj1WzmFC9evTC3R01azb+
Sppou68RheLaNxS5wmHoBe2MwJXmk4TzjUSEBTmWv+AZA/E1ufwRyCh3Q1rB
oW8yOr7HwE8AGMrFWn2/sVYd7Y63D/mGiHak8EYajGHyx/wSupyUouiMK/cU
HB+rLjvB2NzeVNQD8cbSRhEnYaBIiRvgQkVgem1olH1PNZNlIAnGa4qInaRQ
EExENKgmeVOhgiqssTWxYSi9RZFeUu+Ybek2WXeYHsH8kbomOk/yA91hpn2x
OUbpklhff4Zl+GCXa+N7T3fqr6XdcmSbd41E69Q6xQOcmWgogpbJXG43bnEF
whUdnaoiW0ETPtPKYB2CzyxCWbH8qEkOJAis50LwM5Tz9U2HOkt0k7kH/MTj
2z9ObYJYCnxI4U19r1+ejrdqR6qyrkehbJJP1U/l20C8R1YkOfFuXFF2M0r1
BBQSB5pSR92c/zmzI1L54ZGVaQMRXKV5xdyWdKw6Y8nmiMalZOfRriP5VecC
y4+jPN3Os91xlP9BzArKv3vnN29Yi5IvYFUE4uIn0GfmHbHRk8lqCBLqlItN
YNXLUN/guFMRsffn9mg0un3Tv9C4uzqH1fz2sTLpgw/37vO/9+Xv+wfy7yEV
IP1VI9/wgxUFf5Lf/b+f1uzT230GlLwBEnFEhhKoHOwfyL+H8u+R/HvnN4LS
h5/7fz7Eqmk6MDfUUlQ7vDmWT7GoFsUtqamAOtIKnx4SYl+pqZYlsgBYzNJW
xHukL+CXw92Eq2qZo8WmvYB9ajMDtLPdPLt3X6JC/EHVL7GA5Q70ftQ9t9s6
B1zeeXZ/f5d5/7p0lDCn3/g3y6a5SE4kZhubqTHzojSHuhu6zVU2oPlyI0qa
yso1PMtzdXYyHuvEGLL7Wo0OW2hAxPxHnN/piiso9tlpJ+v5PPIoFN8i2dWD
Y5uIwtN2gOjQARDwPwdD2if67yHTc74UaPLjKJOFSDDnWUPaqdZs20Y2rozF
FtkwVRiWQAYjx3M97J9rmBz992iIs4+mRelBbphZexbYUyxGG+i2zTLGHI7B
naIHUvovkalpPRUzK++6XvzkqsRhmIKclE6GC1y+t6uDdX2EewGnk7yXpd7f
/7j1XhUv5GCtEPMDBUjgu1FwiePTzKVPF1r2qm16Jnyu+1TTbFqOK3DZtj6L
S9C2tQ3hPqobtSYhK8yfr51J0SN3k7IldTdORs8kakG8g2Rp55ZsN9L7lFOa
dTgwJHheeTORzMTFbGqtXOqVy+ZTqy8xVRwtwUE1HOf98uhiGIqWDduX8ckb
n27J1J7xqmRSFXovSxAGkfdsD0+r4rA+7zQlvFOChn9hSPLFYo35vFk1hdqB
bHpBeb3IGYWyu1WSG1nXi2pbLTKkdiQUyhawNyiydzqSnSspYqQLCFS8hHwY
UsHNVjjyGj9jSxWk8NHRcUUkwis1cfER9F4TVm8mzj5JOMy6MJwUynmUGCdl
7b+6BrViAWr1Pe/OwYf7knQmtIqzQKEZkSvxqlJG89FG/SCwSb0UokP8FN0a
Oll0puSPm7G86TbxyQdq0LdixpNodbQZqNnCABVoZnDANwxJsJpSosLQHXpB
WeGQC1atd3Q84BL1RYMj0CX5kmy9IF1u2JpIRqhQw82s34dp2fYcM+KzN5g8
41wBF9Us/jrxFnalb9ITHvZvuYbfllDaZQrjkbJW7GttgKI9CCtAlyAv54uN
nxAlV7TUIXQSQKo7m2wh6S3gqyunL/vOmShU6EsYRlcRapl0aHR10uFN+w6Y
ccmsTdVjSvZG46yAn8xR0cLWnmQ7JkonqPsAKs1X645InSTXU5ExDK9Ji3qZ
N6jJiDxCK3pNMiSqr4NCgxQNyliafeqwVAlPgcnvRiX2aEaiRi4CI7iM1u12
Isi2yj3Xu24WimyHNAFqRLEqerWe8p9bhe7X4cL7QSpL+MwSNYVBxHXmzAWZ
dlvINpG2Ngk1fBxmaavFSbF9nRkXPtt50u088kRLXav/zpFGgp8IQkeUPhbI
Q5iPiZuay+G/SjhDWA0gq6XMZ+aH819JHjG1kA19kB7+hyJoQt8m4aH5KhDp
ngGTMCBe4XDUaZDuWiSSAdMZxSsaJ9/7vGftoWb5zJQm7AFOOpuZ+CyB/gBL
gA6kC9gwdh/oXmPsqoSbgpxOcKeMITqt4OxUeaoKf+QyuFo3+hIwm2BLb5LW
XWNmxN8AfShKPJI+TJN0zIjlXdR2UlGeLaGIsB18/ZQz8xw9ooDjRFGYOq/Z
5wGVcPKKMiCFYoypenzQCRLdN71mLwJU2YuimfeCCo8ggyOZbEv2Qn3IxYnf
Ncj1Bu0fOUrVakG5wuNiD4DSjov8/ELfiQIxRSKDGeNkzkmYM8GRAIa2Rdsf
tEXEmm9ZckLNOZcDd0eJ87gxMfU50XaUycvpmr1b2NZDG9iUvKNb6zT2Arnm
vE0hgLOsauNFlV75srs3dEsgYK0vmYot1lFICdmrPdSMUwiHv6JIlyjkRXYo
q/w8L+RrOT5MA1V9ucBSv8Z2+FCMtnEF6HBC5HQtg5mQrL9oXpHTkLTltBrV
JbFc2qOmVOB6GWXriaBiM4ioZ5x3mSb8JzJuvr/VCZmFI8K2c58GlFEfIMQZ
RrACSpbVaiNCwK+iwr2s9GCs2wRxzGQAjnMG4HzVt52NQmL8S9p1tcmpFz19
KGaUruQ5xagvl7a0rYhvkXRQVh4DJcmuJKM23l4YkimZuvFMJ5qX2rkzZC29
oVInQrOV0LxJBgeDzUitjBJsYasJVFGINXO10dS1PALxhlrqJ+T6UE/JVgR2
JCLJS43mkTzMEbzhyKXnomN62DY4aP2drTsbnFx48lFiNVKjoUuRGIOFK/BR
DVwgSPdJGHQy4uAbHM8KvEHOJaMy1kzibngFXpDD9ozb2AOnjO8xVIbFMTSu
j4kXvW20dqYfJoTdhMEHK5fMjlic0Ek3sN3OMzLKFhlnDGgH1fuNO+l1dQxW
8/6DI9wNabeKRG9141HDHJyciCmmWvMJjsOmmVLTiWYRIVlVSnijbAwEV3Lb
AG8KNGuJvqzBGr/Z7mjyXHmEs4uyaqZwfZ3aSBF1zf0+q4njxYEBMWYphcPC
SVyRg1Hf1bFDcKQk6Pntg91h0mNr07ABJc94MfEsev0k4bCKe5t+h2G9ahO6
Qv6lGNlkMV7ZzrlE8ttv3c5b9yA5QHPUGe6D70gmkAaBmpJFtm6EkF88oZrh
xpcCaCSW2V4xU8yCVcjzb+Jsyb20Z3WLLJ0Jd4faboTGppheVGUh6d4QFQgN
jHdqRJyvWoQL9VqLHOQ7MvcXs6t81sjkyWKu/r2h0LhlEnrMo2LQJaaBXLfg
7GO44HNNoxrAKaXOK0zCwafJJOC2wES3gEQPLdwfyE9hG3YToZZ/W1OuVpEw
fJSmxzRyeKA+RK8V0Ej2VTLxEBn1EnnpQmQYtVZ0wYyTh/3LUm7UOEco/SmL
NgWEbo62Q4edj4NwPTUbqEtjnpwDM6DDBXGQpCvtfOr1f4EsoYO47CMHVFoj
MYuITIyM3qcpESntZimTRl14PkkKy/elV9dlDn2UWW8X4ulldBBG0UDYzPxw
ZreTMcU0yQsrOajfEgUonAEZqJBEtgMSXrHvGr9s+bbs+EJXd1t5n32tAdRK
JFqhm9T+mwB9YkB9sZG2P4JeyiFLJk6BaFPRZOc3TMhUGZcpJXDXL6I5fBsu
/mmX3LPEm1+m042nJpiOMx7mTmfl5PjeGUucpO1ZEC8st6MPTTgGRoxF7m+i
KVqt6wt9vqvaFfHIscDk39j1MG0arDZYr6s5sPGJOK63SpUBwDoga+vpkQcZ
1VrlZZbX03XNegabUD2v39aqr8qJVchmeSYyAPISx+4kK4AKj8r56EyW+JDm
WKOWVsYyfo7sM1WLQ+x0kVLgQU8vvFIYqhXxEZVoUcagrU9CCTPR1KkFxa3D
JXTZn5AWt7P0chSaF2Rs7yVmhzIcrmhamC1Ch3W6dFrUWjJ08OrZ+ZEizXD5
3m4pVI3UJBJPn1C+oxS9XsbOOkCugIDmrbQfwTPVTozDNtS1N+mbnTJqPoCL
09aayUVB/352w6Q7HKaswKdUKttX+TE5k8nJUvIZDjAvAaYlIBFIhx/4rBY5
qrablI0gRVQ+boWaX45RFftJFpLhIQYT48xaY6kH14k/9nKZVy6ru57GSdTA
QVMkFEv9i4zzzmGuEPYWxwmcYrkf5SiGDk1dIwIzOiQmoSJHw0yPYWjoerhE
A+siQBWpYakJKxL/WKQGT2tRfMj4hgvCYqhuBEeTkwPTk2PhZt1zvEjLVKzO
cAnCTjAvLeSMmXDmrln7jVYk1BF6Xq3NaWlMYS3aeNQzaAwyULchaygIDclM
UsocorK+kvsPSZg96JpqzKZQVq7OsJW27J/o50VnL5FF7YA/Sm85R4dKqecd
6gP1B+gTu2LYt4pVRCIuJeqBF9c0evRiaCoUu/94ffrIh2VzyWA11cnVTVNK
dErk0EirFWXSi9dnf9SG+lyqXZE67SJbrEipK5Y1dXegaTJPqcBHgvK6ILeD
gBJx6c2HP5qQABYQaa02PiyIarQ1qE2MIERmurocuvW1Y+E5DBph5LLJ1MPF
sKZNovpxOzTViaZLGU+IOmyIaQ7QehFxeYmx7kVGf4yQA7oBNzviHrrO5E2I
o7UDAvXk+8GfGRxUo7SAqQCRZ6334tmqLOeApK9fnlLIfgmcL247IreoUPFY
EFvgrxcf4K05PPGTckLIldiyCrW88WE3QaTHBAfEX9RKLTl+BJAgXWNoJCx9
wDkgB747BMyaOAAAfEgLwZewaj7YtmhOK7ETeQhbQOAw7wLgqDYrr4rRYRK+
+niR17KbxMOePnz2sMO/0sPcaxA0AOk8J6mxidibENFrCojyt5UpdoW+tO/f
Y8cjCiqm/CQfP4J89997Mqr4SOBjrhJrmK8ojP7b7c1NXoRrOvkb9fFA6qay
qAEQco+BNSurY/eCkjx6FxrcitGJKs+91RlbyFUvFdioulo28wy7KtxFUbJ9
wSbkGm4LDO/BTPZYHs20SZKz9aSJXsaJw5OX6j0fSjXgZ8/2HiaJFxd73j2W
DFst3h7fb3nFxvgZyRrQJy0Y6VlIAxi0elHQO0W62+Rrkj8OgHnv8O59ynRz
1i9E4XTOMr4rtghhTlhu4kDtriHjg76WZNAVEtPt/VVkJdG1ROV2+ObGP/gY
iGuGcoi+JhXvmGOFeDmH8V+sgQDUFxgeKHltOds+jBsnieiZ+8MAQeFWmAjl
Nj0E9mTUBDypKLhPPPMwMm1GntBED3ErM0Dj2UzSl+aFL8Joto4iT6v0nGDD
Ww/AqXrASDj1MMg5htRTxb/fTaoHpDU9yZDZJFsPFakkxFYuAYMzaFXwofQJ
vz1NkUXkY7dT77be/oCyvZfswvt4Y/0dZBPnmXKYXghvbe+6FkWw53m83sbN
o5HHMtcpcpxwhdJbGgfD/1rzfgF7Jfq8bAmEU2tWSh3ABmssIkjmXK2kDU48
Ely/of4Kq/di08yfBEF8SpZEeZKwCfpTPn+G9AJjDURIhSn4D3gHqdNPGuIR
21uFvQLuGlvRgSuyBmjIeV5kYjRO67fIywFZ3cHFNuUxnLDz3+dZMx+X1Tne
Ty+QkatFRuY7hVb7P2hqJRHTm6j/r6WotnjFvyhd/S/C+umE9W//P6CrSlY/
lar+F1H9L6JqiOpoNKJ4PJQPHro/grw5ekIx3YBPi3JDm0zhKOhvkE0xhzmV
HsOE20AsMCHQOmRJYKXepka/P3HZFKNjlWUiONgQMDK677w82OWWIFMUrJX1
JuMdVjjusWl8N9YwYttD8yxk11U53rvXYWlCkv/FPZwwFD0AMa+RBnYCJnWK
DkiKAxzqaJdUIVIzu/fLoSYodpIEj3IIENlQN1Xn2s4OxonJuD3suv4UL+NP
ij/D8KXP+tkW6/RhWwjUtp8PiQ5+O37+8uDY/SA7vEcVmtzLw2N3onu29xT2
CJ4dHXPCd+jog85hkJ9nzYCsJfLwdmeI9hP/t+3I79aBLs3+1/U+8X+bjiLY
0V8PvqyjaItvmJGO96C3o0YS5Le7+OwZeRj9yo5+14FRz8+1HbG2NUbBbTP6
pO3v4lG3o60/vTA6/HUz+qfg0fUddfGoe9a04bUI2cWj7s9/Ch7106MtM7pu
165Zwmf8bOvoC2h2FG0qCka+n2+IOj3jkD8ur9G66jHy9IT1/C/QfxC4HB9u
7qPIn5QqTY2cfHzgds7IeL577NgEk8nNH7J+EgtgYu2HcZYKt5NOJXfBZZ7S
XSmZ2/yFvWtGPHQ7P6BX0sSM2TOeKlQbMblisuUt46UTyhOxZbwjtwPXlbtN
FxSM+JINES+PNFXtkhTI5Tmp15EnohCNlwdiUOCiADCMelGGbANoL4rEJU7M
WAfg4kg6D7aM6KtuDWz2bdqEMFXOd+C66WQi0y8zVrbvI07+EWWb4SKXjYsT
3bDftUl0IyacZ9bOiHFbimtz2jkWHnOPFJJkmDMLDaUqSe2153Uim4kZEwBz
1iwDTjaRqwr6WpGnlPGpgjaYypoVtcFPdXWxqWlAn6Vj05esASsRiGzdSp8k
hS8SMfeTuFy0UyfFYh1AmFNI626zE09wSQgeIWSZJEzwOE+6/EcsNXOWpNIN
vsf4ZRzphbQUCxKaywbue7Q5PxIT3osKzedTClNFln4yXY2wjCSmRCUcjARq
EKFQ5q7FVwPGIu3C/cP9u5S71stScFAnZZW2HGoJcbyQN6gyzpJLDDj9W4oV
K92IkQTWBLOjzIlAE7XYugdIthBHa5/wjop4YXaxUNSP/fugOSVApUxjXPiE
S3MPxEsG5BQym05JjIW1DjrDsC9uKolbTMG1N3/RU/PXN1EqKRCoUPRGkejN
X/KmhtdUgd4Zxn/gdt6/V2vNEfuVeKDusndv8KQtSmcKwmmaYTRM+TQgddzh
YV+HzyTz5nppc2OT/0DYdD5LtGsS2lrzzH0edTvSna1Tl41nlGULEisK0lmo
WD0g72geeUOZ2dnUq5vvd4P0QOlUXMitGkXNjp5ualJSk6/IWTNZ0ETQ+fAy
miCIeu8MeXy8BNIJhQKGDPysMxh8CiA4UT0MhruFoYULsnMraLfDtXcHWUg2
wJQURQJNUxkZbsIJiPtFgBxLihJjJFljDdbKdTjxMWOSrhwQhjwhFL7+PJA6
JafqXSa9qUjSaWO8Dlyg+QxVQ5R9FifJywIHS+O54QJIi1BqHN1NTkpysiL3
7qyo15WmfUVYmJslpzCMuXAG+Lt6pGDLndjTNi0K0j1qgUi5BzA+nAGdXUrm
KHIaoJRB6HyRGpw2gETlbZov5FYd4K1QUpiOQnDgY+Bps6i6cbT1N+KSJ2rs
+4PVqrK63cd2BGICUlOyfE5b7QYmqHmJd7msCKFnyGp3rl9vH8XTfMooR4W/
NfTCJ9Ji7g6eXeQrdb7mtFCoV7fJkGxCMxJQ6EoMnh7fwoABOSZVlr6tJbqL
/YLsBJTscZJTnxbLkxvZZjpG7GMDrwAWS/Lgzlua76H3/xw6+1jzsnn8aVOM
9jYz4ZQIhQAYWpA4ptuKonwtRZGznJRRcU7yK8VlzmlWgUEWUsFYPxsGytQX
cY1ELCA0u1pfh7nEqbxY1xckkigGe8w9Y5qDH1AVv/qiVcUvUreLj5Yve9gX
JxDczE2qDO/HF7E1eRFb623wNR9PYZcmWCViJTwTjjBRVkv8nZUt5pWJvz8u
cEwVhlCr72MHCBnhSvWjXqTIiFwiwT33pb2Cmx2hL7l3UgqtCJSanG+ywdyv
RK9t9lfjS0hOsZoRUW8yFl3o1yNSbbPFZZah3xs598TDuXaQAkgYFfowAcp7
VlSit/CWK6abXRyMXP2k/iws5TKvykJC5cSthqqhSOr8qzRvRnOU4eSexnzD
OeLb2L22ALZLI3rMcX50QonNiZMpI0fgU1rKOR9LmCRFqs5KSm1vwsAX6BSM
ybjNSMqLI4XQiIRZIBwhSqYDPZYNkeAE90JWVzMjFlh+gau6kDg0ashJpGPz
KGTURAW/hhy3UCyy0eAeRX2YrJzBLYyA5EuMh/iqsRh9mJkjroVcZEzZU1sd
W/z+Ek3jkJv6AGLs4+zbvvWEImb97oSjxqcIi+RFVW5ix2Qp/saeixGxu+RE
+7RigOk7tlIkxj9Q0nFn6IIm5kTeFBIYQ4I4O57SkyiKCqMTbmpAU6C/7Jfh
aaPJI1R05pxYTFfMDtrNY0+/xoU8pGYvK1I6+B2lm45Q6qGvbs5CzvtjNgNm
s+8GczhNvkhVyqaqLlJxQuVF/laOS1q8dU8xvwaI+8ibXIgv5tkKdShVcpJe
vc0lcCAUiaEEG2sJUmNvbqR3W6imH32YPJxVOezsDymsejF0/wGH/s9rJvX/
htG17mVZuz/kVbrwGo68st638yybod1r6F6C0I4FpjCJ+AkaymZAtutmAVzL
EJfUYNrji3JJ9cG+x4CuauYezspJOtTVOVkdM4hnINScu3+D+Z177Yoappin
kSy/0vnJ+q13CnQPgaR4k0jCn/K6npYAU8DP78v1NJ1hMkVsAyi7glve58kJ
zmf/F24eRUx/KQEA

-->

</rfc>
