<?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-13" 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-13"/>
    <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"/> and, ideally, they should
be able to automatically take advantage of newer HTTP versions such as HTTP/2
<xref target="RFC9113"/> and HTTP/3 <xref target="RFC9114"/>. However, there are issues with both
protocols when higher HTTP versions are used:</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 of transferring incremental updates. Hence, there can be 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 (non-blocking) request (pull) 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 own pros. First, SSE is a mature technique with a
well-established ecosystem that can simplify the development. Second, SSE
naturally supports the push mode even with HTTP/1.0, which is more efficient
when the updates are frequent. HTTP/2 <xref target="RFC9113"/> and HTTP/3 <xref target="RFC9114"/>
introduce server push, which may enhance TIPS with the push mode. While this
feature is currently not widely implemented, we provide a non-normative
specification of push-mode TIPS as an alternative design that has potential
gains but is not mature enough yet.</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. Though the TIPS view may
include other transport information, it has two basic components: updates
graph (ug) and receiver set (rs).</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. We use 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 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>
          <dt>Receiver set (rs):</dt>
          <dd>
            <t>Contains the set of clients who have requested to receive server push updates.
This term is not used in the normative specification.</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/rs | | tv2/ug | | tv2/rs | | tv3/ug | | tv3/rs || |
| | +--------+ +--------+ +--------+ +--------+ +--------+ +--------+| |
| +----|\---------/\---------|---------/---------------|-------------+ |
|      | \       /  \        |        /                |               |
+------|--\-----/----\-------|-------/-----------------|---------------+
       |   \   /      \      |      /                  |
       |    +-/-----+  \     |     /                   |
       |     /       \  \    |    /  A single          |   A single
     ==|====/==     ==\==\===|===/== HTTP/2 or /3    ==|== HTTP/1.1
       |   /           \  \  |  /    connection        |   connection
   +----------+       +----------+                 +----------+
   | Client 1 |       | Client 2 |                 | Client 3 |
   +----------+       +----------+                 +----------+

tvi   = TIPS view i
tvi/ug = incremental updates graph associated with tvi
tvi/rs = receiver set of tvi (for server push)
]]></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 we assume #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. Each client maintains a single HTTP connection
with the ALTO server and uses the TIPS view to retrieve updates (see the
arguments in <xref target="single-http"/>). 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 view (tv2 and tv3) are created upon different client
requests with different filter sets.</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
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, 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 as 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. We say
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="schema">
        <name>Resource Location Schema</name>
        <t>Update items are exposed as HTTP resources and the URLs of these items, which we
call resource location schema, follow specific patterns. To access each
individual 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-uri>  // relative URI 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
    \_ meta         // TIPS view meta
       \_ ...
]]></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 path 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[
    GET /<tips-view-uri>/ug/<end-seq>/<end-seq + 1>
]]></artwork>
      </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 High Level Workflow</name>
      <section anchor="workflow-overview">
        <name>Workflow Overview</name>
        <t>There are two ways a client can receive updates for a resource:</t>
        <ol spacing="normal" type="1"><li>Client Pull;</li>
          <li>Server Push.</li>
        </ol>
        <t>At a high level, an ALTO client first uses the TIPS service 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, and a summary of the current view, which contains, at
the minimum, the start-seq and end-seq of the update graph and a
server-recommended edge to consume first.</t>
        <t>For client pull, the TIPS view summary provides enough information for the
client to continuously pull each additional update, following the workflow in
<xref target="fig-workflow-pull"/>. Detailed specification of this mode is given in <xref target="pull"/>.
Note that in <xref target="fig-workflow-pull"/>, the update item at
<tt>/&lt;tips-view-uri1&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>
        <figure anchor="fig-workflow-pull">
          <name>ALTO TIPS Workflow Supporting Client Pull</name>
          <artwork type="drawing" align="center"><![CDATA[
Client                                  TIPS
  o                                       .
  | Open persistent HTTP connection       .
  |-------------------------------------->|
  |                                       .
  | POST to create/receive a TIPS view    .
  |           for resource 1              .
  | ------------------------------------> |
  | <tips-view-uri1>, <tips-view-summary> .
  |<------------------------------------- |
  |                                       .
  | GET /<tips-view-uri1>/ug/<i>/<j>      .
  | --------------------------------------|
  | content on edge i to j                .
  |<--------------------------------------|
  |                                       .
  | GET /<tips-view-uri1>/ug/<j>/<j+1>    .
  | ------------------------------------->|
  |                                       .
  |                                       .
  | content on edge j to j+1              .
  |<--------------------------------------|
  |                                       .
  | DELETE TIPS view for resource 1       .
  |-------------------------------------> |
  |                                       .
  | Close HTTP connection                 .
  |-------------------------------------->|
  o
]]></artwork>
        </figure>
        <t>For server push, the TIPS requires support of HTTP server push, a new feature in
HTTP/2 and HTTP/3 that is not widely supported yet. A non-normative, unreviewed
specification for this mode is given in <xref target="push"/>.</t>
      </section>
      <section anchor="single-http">
        <name>TIPS Management over a Single HTTP Connection</name>
        <t>A key requirement in the current new transport extension is that a client must
interact with the ALTO server using a single persistent HTTP connection to
manage a TIPS view, and the life cycle of the TIPS view are bounded to that
specific connection. This design is due to the following reasons:</t>
        <t>The first reason is to reduce the management complexity in modern server
deployment technologies. As microservices are becoming the new trend of web
development, requests to the same service are load balanced to different
instances, even between the same source and destination addresses. However, TIPS
views are stateful information which depends on the client's input. If requests
from the same client session can be directed to different instances, the
operator of the ALTO server must implement complex mapping management or load
balancing mechanisms to make sure the requests arrive at the same server.</t>
        <t>The second reason is to simplify the state management of a single session. If
multiple connections are associated with a single session, implementations of
ALTO servers and clients must manage the state of the connections, which
increases the complexity of both ALTO servers and clients.</t>
        <t>Third, single persistent HTTP connection offers an implicit way of life cycle
management of TIPS views, which otherwise can be resource-consuming. Malicious
users may create TIPS views and then disconnect, to get around the limits on
concurrent TIPS views, if not implemented correctly by an ALTO server. Leaving
the TIPS views alive after the HTTP connection is closed or timed out also makes
session management complex: When a client reconnects, should it try to access
the TIPS view before the disconnection or simply start a new session? Whether
and when can the server remove the TIPS views? In the current extension, the
idea is to avoid such complexity and enforce the consensus that a session will
be automatically closed once the connection is closed or timed out.</t>
      </section>
      <section anchor="tips-with-different-http-versions">
        <name>TIPS with Different HTTP Versions</name>
        <t>The HTTP version of an "https" connection is negotiated between client and
server using the TLS ALPN extension, as specified in Section 3.1 of <xref target="RFC9113"/>
for HTTP/2 and Section 3.1 of <xref target="RFC9114"/> for HTTP/3. For an "http" connection,
the explicit announcement of HTTP/2 or HTTP/3 support by the server is outside
the scope of this document.</t>
        <t>While TIPS is designed to take advantage of newer HTTP features like server push
and substreams for concurrent fetch, TIPS still functions with HTTP/1.1 for
client poll defined in <xref target="pull"/>, with the limitation that it cannot cancel any
outstanding requests or fetch resources concurrently over the same connection
due to the blocking nature of HTTP/1.1 requests. If a client only capable of
HTTP/1.1 desires to concurrently monitor multiple resources at the same time, it
should open multiple connections, one for each resource, so that an outstanding
long-poll request can be issued for each resource to monitor for new updates.
For HTTP/2 and /3, with multiplexed streams, multiple resources can be monitored
simultaneously.</t>
      </section>
      <section anchor="failure">
        <name>Handling Connection Failures</name>
        <t>While only one HTTP connection is used to manage a TIPS view, fetching
incremental updates may use multiple connections, e.g., to allow concurrent,
out-of-order downloading for HTTP/1.1 and HTTP/2. In case of connection
failures, there are two cases:</t>
        <ol spacing="normal" type="1"><li>The connection used to open the TIPS view (referred to as Type 1 connection)
is disconnected.</li>
          <li>A connection fetching updates for a TIPS view (referred to as Type 2
connection) is disconnected.</li>
        </ol>
        <t>For case 2, the client only needs to resend the request in the current design.
For case 1, however, the client needs to resend an open request to the server,
and all unfinished data transfer requests will fail, even if they are on a
different connection, because the old TIPS view is removed and the new TIPS view
may have a different base URL and sequence number.</t>
        <t>The alternative design is to keep the base URL and sequence number for a TIPS
view, e.g., identified by the client and content of the open request, for a
graceful period. While this design may increase the efficiency of transferring
TIPS updates, it has the following drawbacks:</t>
        <ol spacing="normal" type="1"><li>The server needs to store the state of the previous TIPS view, leading to
additional resource consumption and potential DoS attacks.</li>
          <li>The client and server need to properly handle transfers in the transient
period, i.e., after the disconnection and before the new TIPS view is
created, which can be complex.</li>
        </ol>
        <t>As we expect HTTP disconnection to be an occasional event, the efficiency gain
of keeping the state is unlikely to be significant but the drawbacks are
permanent. Thus, this document chooses the stateless design for security and
simplicity.</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 the incremental change 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 make a request to retrieve 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 based
connection, and this is indicated by the media-type "application/
alto-tips+json".</t>
      </section>
    </section>
    <section anchor="tips-openclose">
      <name>TIPS Open/Close</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 an active connection to 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 have an active connection
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 {
      JSONString        tips-view-uri;
      TIPSViewSummary   tips-view-summary;
    } AddTIPSResponse;

    object {
      UpdatesGraphSummary   updates-graph-summary;
    } 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>Relative URI to the TIPS view of a network resource, which <bcp14>MUST</bcp14> be
unique per connection, and is 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 connection.</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.
</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 client's tagged
version.  Else, the server should recommend the latest snapshot
edge.</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
    Connection: close

    {
        "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
server threshold. 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 depiced 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: 288

    {
        "tips-view-uri": "/tips/2718281828459",
        "tips-view-summary": {
          "updates-graph-summary": {
            "start-seq": 101,
            "end-seq": 106,
            "start-edge-rec" : {
              "seq-i": 0,
              "seq-j": 105
            }
          }
        }
    }
]]></artwork>
        </figure>
      </section>
      <section anchor="close-req">
        <name>Close Request</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. Whether or not the server actually
deletes 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"/>. The DELETE request <bcp14>MUST</bcp14> have the
following format:</t>
        <artwork><![CDATA[
    DELETE /<tips-view-uri>
]]></artwork>
        <t>The response to a valid request must be 200 if success, and the
corresponding error code if there is any error.</t>
        <t>If the connection between the client and TIPS provider is severed
without a DELETE request having been sent, the server <bcp14>MUST</bcp14> treat it
as if the client had sent a DELETE request because the TIPS view is,
at least from the client view, per-session based.</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>
      </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-uri>/ug/<i>/<j>
]]></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>It is possible that a client conducts 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 which 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 server threshold.  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 recieve 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 requests 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 URI has
the form:</t>
          <artwork><![CDATA[
    POST /<tips-view-uri>/ug
]]></artwork>
          <t>The POST body have 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="load-balancing">
        <name>Considerations for Load Balancing</name>
        <t>TIPS allow clients to make concurrent pulls of the 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 URL or cookies.</li>
        </ul>
      </section>
      <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 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
has no 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="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>In pull-mode, a client can decide the order in which to receive the updates.</t>
        <t>In push-mode, the server must decide.  Pushing 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 server pushes N89, N90, N91, C101, C102 in that
order.  The client either gets no consistent view of the resources
or it has to buffer N90 and N91.</li>
          <li>Example 2: The server pushes C101, C102, C103, N89.  The client
either gets no consistent view or it has to buffer C103.</li>
        </ul>
        <t>Therefore, the server is <bcp14>RECOMMENDED</bcp14> to push 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 <bcp14>MUST NOT</bcp14> 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 <bcp14>SHOULD</bcp14> 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 <bcp14>MAY</bcp14> 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 <bcp14>MUST</bcp14> mark each such dependent cost map as
temporarily invalid and <bcp14>MUST NOT</bcp14> 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>When implementing server push, the server <bcp14>SHOULD</bcp14> send updates for
dependent resource (i.e., the cost maps in the preceding example) in
a timely fashion.  However, if the ALTO client does not receive the
expected updates, a simple recovery method is that the ALTO client
uses client pull to request the missing update.  The ALTO client <bcp14>MAY</bcp14>
retain the version tag of the last version of any tagged resources
and search those version tags when identifying the new updates to
pull.  Although not as efficient as possible, this recovery method is
simple and reliable.</t>
        <t>Though a server <bcp14>SHOULD</bcp14> 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 <bcp14>MUST</bcp14> buffer the update items if they arrive out of order and
then apply them sequentially (based upon 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 <bcp14>MAY</bcp14> 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 satisfied 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 a 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 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 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>
      </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 specifies Design 1 in order to simplify session management, though
at the expense of maximum load balancing flexibility. See <xref target="load-balancing"/> for
a discussion on load balancing considerations. Future documents may extend the
protocol to support Design 2 or Design 3.</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 gives the application the opportunity 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 make a request to first
discover where a TIPS view of resource will be served, which is
consistent with the URI discovery in <xref section="4.4.1" sectionFormat="of" target="RFC9205"/>.</li>
        <li>
          <xref section="4.14" sectionFormat="of" target="RFC9205"/> notes that there are
quite a few caveats with using server push, mostly because of lack
of widespread support.  The authors have considered these
factors and have still decided server push can be valuable in the
TIPS use case.</li>
      </ul>
    </section>
    <section anchor="push-mode-tips-using-http-server-push">
      <name>Push-mode TIPS using HTTP Server Push</name>
      <t>In this section, we give a non-normative specification of the push-mode TIPS. It
is intended to not be part of the standard protocol extension, because of the
lack of server push support and increased protocol complexity. However,
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.
Thus, a preliminary push-mode TIPS extension using native server push is
specified here as a reference for future push-mode TIPS protocol designs.</t>
      <section anchor="basic-workflow">
        <name>Basic Workflow</name>
        <t>A client that prefers server push can use the workflow as shown in
<xref target="fig-workflow-push"/>. In this case, the client indicates for server push when it
creates the TIPS view. Future updates are pushed to the client as soon as they
become available.</t>
        <figure anchor="fig-workflow-push">
          <name>ALTO TIPS Workflow Supporting Server Push</name>
          <artwork type="drawing" align="center"><![CDATA[
Client                                  TIPS
  o                                       .
  | Open persistent HTTP connection       .
  |-------------------------------------->|
  |                                       .
  | POST to create/receive a TIPS view    .
  |      for resource 1 and add           .
  |      self to receiver set             .
  | ------------------------------------> |
  | <tips-view-uri1>, <tips-view-summary> .
  |<------------------------------------- |
  |                                       .
  | PUSH <tips-view-uri1>/ug/<i>/<j>      .
  | <-------------------------------------|
  |                                       .
  | PUSH <tips-view-uri1>/ug/<j>/<j+1>    .
  | <-------------------------------------|
  |                                       .
  | PUT to remove self from receiver      .
  |      set of resource 1                .
  |-------------------------------------> |
  |                                       .
  | Close HTTP connection                 .
  |-------------------------------------->|
  o
]]></artwork>
        </figure>
      </section>
      <section anchor="ird-push">
        <name>TIPS Information Resource Directory (IRD) Announcement</name>
        <t>The specifications for media type, uses, requests and responses of the push-mode
TIPS is the same as specified in <xref target="caps"/>.</t>
        <section anchor="capabilities">
          <name>Capabilities</name>
          <t>The capabilities field of push-mode TIPS is modeled on that defined in <xref target="caps"/>.</t>
          <t>Specifically, the capabilities are defined as an object of type
PushTIPSCapabilities:</t>
          <artwork><![CDATA[
     object {
       [Boolean                     support-server-push;]
     } PushTIPSCapabilities: TIPSCapabilities;
]]></artwork>
          <t>with field:</t>
          <dl>
            <dt>support-server-push:</dt>
            <dd>
              <t>The "support-server-push" field specifies whether the given TIPS
supports server push.  If the "support-server-push" field is TRUE,
this TIPS will allow a client to start or stop server push.  If
the field is FALSE or not present, this TIPS does not provide
server push.</t>
            </dd>
          </dl>
        </section>
        <section anchor="example">
          <name>Example</name>
          <figure anchor="fig-sp-ird">
            <name>Sample IRD Entry for TIPS with Server Push</name>
            <artwork align="left"><![CDATA[
    "update-my-costs-tips-with-server-push": {
      "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"
        },
        "support-server-push": true
      }
    }
]]></artwork>
          </figure>
        </section>
      </section>
      <section anchor="push-mode-tips-openclose">
        <name>Push-mode TIPS Open/Close</name>
        <section anchor="push-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
PushTIPSReq, where:</t>
          <artwork><![CDATA[
    object {
       [Boolean     server-push;]
    } PushTIPSReq: TIPSReq;
]]></artwork>
          <t>with the following field:</t>
          <dl>
            <dt>server-push:</dt>
            <dd>
              <t>Set to TRUE if a client desires to receive updates via server
push.  If the value is FALSE or not present, the client does not
accept server push updates.  See <xref target="push"/> for detailed
specifications.</t>
            </dd>
          </dl>
        </section>
        <section anchor="open-response">
          <name>Open Response</name>
          <t>The push-mode TIPS requires extending the contents of <tt>tips-view-summary</tt> field
of AddTIPSResponse:</t>
          <artwork><![CDATA[
    object {
      [Boolean              server-push;]
    } PushTIPSViewSummary : TIPSViewSummary;
]]></artwork>
          <t>with the following field:</t>
          <dl>
            <dt>server-push:</dt>
            <dd>
              <t>An optional server-push boolean value which is set to TRUE if and only if the
client indicates server push. If the client indicates server push, the
recommended edge in the updates-graph-summary field will be the first content
pushed.</t>
            </dd>
          </dl>
        </section>
      </section>
      <section anchor="push">
        <name>TIPS Data Transfer - Server Push</name>
        <t>TIPS allows an ALTO client to receive an update item pushed by the
ALTO server.</t>
        <t>If a client registers for server push, it should not request updates
via pull to avoid receiving the same information twice, unless the
client does not receive the expected updates (see <xref target="client-processing"/>).</t>
        <section anchor="manage-server-push">
          <name>Manage Server Push</name>
          <t>A client starts to receive server push when it is added to the
receiver set.  A client can read the status of the push state and
remove itself from the receiver set to stop server push.</t>
          <section anchor="start-server-push">
            <name>Start Server Push</name>
            <t>A client can add itself explicitly to the receiver set or add itself
to the receiver set when requesting the TIPS view.  Before a client
starts receiving server push for a TIPS view, it <bcp14>MUST</bcp14> enable server
push in HTTP, i.e., following Section 8.4 of <xref target="RFC9113"/> for HTTP/2 and
Section 4.6 of <xref target="RFC9114"/> for HTTP/3.  If the client does not enable
HTTP server push, the ALTO server <bcp14>MUST</bcp14> return an ALTO error with the
<tt>E_INVALID_FIELD_VALUE</tt> code and set the "field" to "server-push".</t>
            <t>Explicit add: A client can explicitly add itself in the receiver set
by using the HTTP PUT method with media type "application/alto-
tipsparams+json", where the client may optionally specify a starting
edge (next-edge) from which it would like to receive updates:</t>
            <artwork><![CDATA[
    PUT /<tips-view-uri>/push

    object {
      Boolean     server-push;
      [NextEdge    next-edge;]
    } PushState;

    object {
      JSONNumber       seq-i;
      JSONNumber       seq-j;
    } NextEdge;
]]></artwork>
            <t>with the following fields:</t>
            <dl>
              <dt>server-push:</dt>
              <dd>
                <t>Set to true if the client desires to receive server push updates.</t>
              </dd>
              <dt>next-edge:</dt>
              <dd>
                <t>Optional field to request a starting edge to be pushed if the
client has pulled the updates graph directory and has calculated
the path it desires to take.  The server <bcp14>MAY</bcp14> push this edge first
if available.</t>
              </dd>
            </dl>
            <t>Short cut add: When requesting a TIPS view, an ALTO client can start
server push by setting the option "server-push" field to be true
using the HTTP POST method defined in <xref target="open-req"/>.</t>
          </section>
          <section anchor="read-push-state">
            <name>Read Push State</name>
            <t>A client can use the HTTP GET method, with accept header set to
"application/alto-tipsparams+json" to check whether server push is correctly
enabled. The requested URL is the root path of the TIPS view, appended with
"push", as shown below.</t>
            <artwork><![CDATA[
    GET /<tips-view-uri>/push
]]></artwork>
            <t>The server returns an JSON object with content type
"application/alto-tipsparams+json". The response <bcp14>MUST</bcp14> include only one field
"server-push". If the server push is enabled, the value of the "server-push"
field <bcp14>MUST</bcp14> be the JSONBool value "true" (without the quote marks), and otherwise
JSONBool value "false" (without the quote marks).</t>
          </section>
          <section anchor="stop-push">
            <name>Stop Push</name>
            <t>A client can stop receiving server push updates either explicitly or
implicitly.</t>
            <dl>
              <dt>Explicit stop:</dt>
              <dd>
                <t>A client stops push by using the HTTP PUT method to <tt>/&lt;tips-view- uri&gt;/push</tt>,
with content type "application/alto-tipsparams+json" and setting server-push
to FALSE:</t>
              </dd>
              <dt>Implicit stop:</dt>
              <dd>
                <t>There are two ways. First, TIPS view is connection ephemeral: the close of
connection or stream for the TIPS view deletes the TIPS view from the view
of the client.
</t>
                <t>Second, the client sends a DELETE <tt>/&lt;tips-view-uri&gt;</tt> request, indicating it
no longer is interested in the resource, which also deletes the
client from the push receiver set if present.</t>
              </dd>
            </dl>
            <t>Note that a client may choose to explicitly stop server push for a
resource, but may not delete the TIPS view so that it can switch
seamlessly from server push to client pull in the case that the
server push frequency is undesirable, without having to request a new
TIPS view.</t>
          </section>
        </section>
        <section anchor="scheduling-server-push-updates">
          <name>Scheduling Server Push Updates</name>
          <t>The objective of the server is to push the latest version to the
client using the lowest cost (sum of size) of the updates.  Hence, it
is <bcp14>RECOMMENDED</bcp14> that the server computes the push path using the
following algorithm, upon each event computing a push:</t>
          <ul spacing="normal">
            <li>Compute client current version (nc). During initialization, if the TIPS view
request has a tag, find that version; otherwise nc = 0</li>
            <li>Compute the shortest path from the current version to the latest version, nc,
n1, ... ne (latest version). Note that the shortest path may not involve the
tagged version and instead follow the edge from 0 to the latest snapshot.</li>
            <li>Push <tt>/&lt;tips-view-uri&gt;/ug/nc/n1</tt>.</li>
          </ul>
          <t>Note</t>
          <ul spacing="normal">
            <li>Initialization: If the client specifically requests a starting
edge to be pushed, the server <bcp14>MAY</bcp14> start with that edge even if it
is not the shortest path.</li>
            <li>Push state: the server <bcp14>MUST</bcp14> maintain the last entry pushed to the
client (and hence per client, per connection state) and schedule
next update push accordingly.</li>
          </ul>
        </section>
        <section anchor="server-push-stream-management">
          <name>Server Push Stream Management</name>
          <t>Let <tt>SID_tv</tt> denote the stream that creates the TIPS view. The server push <bcp14>MUST</bcp14>
satisfy the following requirements:</t>
          <ul spacing="normal">
            <li>
              <tt>PUSH_PROMISE</tt> frames <bcp14>MUST</bcp14> be sent in stream <tt>SID_tv</tt> to serialize and allow
the client to know the push order;</li>
            <li>The  <tt>PUSH_PROMISE</tt> frame chooses a new server-selected stream ID, and the
stream is closed after push.</li>
            <li>Canceling an update pushed by the server (<xref section="8.4.2" sectionFormat="of" target="RFC9113"/> for
HTTP/2 or <xref section="4.6" sectionFormat="of" target="RFC9114"/> for HTTP/3) makes the state management
complex. Thus, a client <bcp14>MUST NOT</bcp14> cancel a schedule update.</li>
          </ul>
        </section>
        <section anchor="examples">
          <name>Examples</name>
          <t>The examples below are for HTTP/2 and based on the example update graph in
<xref target="data-model"/>.</t>
          <section anchor="starting-server-push">
            <name>Starting Server Push</name>
            <t><xref target="fig-ex-ssp"/> is an example request from a client to an ALTO server which
enables server push when creating a TIPS view.</t>
            <figure anchor="fig-ex-ssp">
              <name>Example Request to Start Server Push</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :method = POST
        :scheme = https
        :path = /tips
        host = alto.example.com
        accept = application/alto-tips+json,
                 application/alto-error+json
        content-type = application/alto-tipsparams+json
        content-length = 67

    DATA
      - END_STREAM
      {
        "resource-id": "my-routingcost-map",
        "server-push": true
      }
]]></artwork>
            </figure>
            <t>And <xref target="fig-ex-ssp-resp"/> is the response the server returns to the client. Note
that the END_STREAM bit is not set.</t>
            <figure anchor="fig-ex-ssp-resp">
              <name>Example Response to a Start Server Push Request</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :status = 200
        content-type = application/alto-tips+json
        content-length = 196

    DATA
      - END_STREAM
      {
        "tips-view-uri": "/tips/2718281828459",
        "tips-view-summary": {
          "updates-graph-summary": {
            "start-seq": 101,
            "end-seq": 106,
            "start-edge-rec" : {
              "seq-i": 0,
              "seq-j": 105
            }
          },
          "server-push": true
        }
      }
]]></artwork>
            </figure>
          </section>
          <section anchor="querying-the-push-state">
            <name>Querying the Push State</name>
            <t>Now assume the client queries the server whether server push is successfully
enabled. <xref target="fig-ps-req"/> is the request:</t>
            <figure anchor="fig-ps-req">
              <name>Example Request to Query Push State</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :method = GET
        :scheme = https
        :path = /tips/2718281828459/push
        host = alto.example.com
        accept = application/alto-error+json,
                      application/alto-tipsparams+json
]]></artwork>
            </figure>
            <t>And <xref target="fig-ps-resp"/> is the response.</t>
            <figure anchor="fig-ps-resp">
              <name>Example Response of the Push State Request</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :status = 200
        content-type = application/alto-tipsparams+json
        content-length = 519

    DATA
      - END_STREAM
      {
        "server-push": true
      }
]]></artwork>
            </figure>
          </section>
          <section anchor="receiving-server-push">
            <name>Receiving Server Push</name>
            <t>Below shows the example of how the server may push the updates to the client.</t>
            <t>First, the ALTO server sends a PUSH_PROMISE in the same stream that is left open
when creating the TIPS view. As there is no direct edge from 0 to 106, the first
update is from 0 to 105, as shown in <xref target="fig-push-1"/>.</t>
            <figure anchor="fig-push-1">
              <name>An Example PUSH_PROMISE Frame with a Pushed Update from 0 to 105</name>
              <artwork align="left"><![CDATA[
    PUSH_PROMISE
      - END_STREAM
        Promised Stream 4
        HEADER BLOCK
        :method = GET
        :scheme = https
        :path = /tips/2718281828459/ug/0/105
        host = alto.example.com
        accept = application/alto-error+json,
                      application/alto-costmap+json
]]></artwork>
            </figure>
            <t>Then, the content of the pushed update (a full replacement) is delivered through
stream 4, as announced in the PUSH_PROMISE frame in <xref target="fig-push-1"/>.
<xref target="fig-push-2"/> shows the content of the message.</t>
            <figure anchor="fig-push-2">
              <name>Content of the Pushed Update from 0 to 105</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :status = 200
        content-type = application/alto-costmap+json
        content-length = 539

    DATA
      + END_STREAM
      {
        "meta" : {
          "dependent-vtags" : [{
              "resource-id": "my-network-map",
              "tag": "da65eca2eb7a10ce8b059740b0b2e3f8eb1d4785"
            }],
          "cost-type" : {
            "cost-mode"  : "numerical",
            "cost-metric": "routingcost"
          },
          "vtag": {
            "resource-id" : "my-routingcost-map",
            "tag" : "3ee2cb7e8d63d9fab71b9b34cbf764436315542e"
          }
        },
        "cost-map" : {
          "PID1": { "PID1": 1,  "PID2": 5,  "PID3": 10 },
          "PID2": { "PID1": 5,  "PID2": 1,  "PID3": 15 },
          "PID3": { "PID1": 20, "PID2": 15  }
        }
    }
]]></artwork>
            </figure>
            <t>As the latest version has sequence number 106, the ALTO server sends another
PUSH_PROMISE in the same stream that is left open when creating the TIPS view to
transit from 105 to 106, as shown in <xref target="fig-push-3"/>.</t>
            <figure anchor="fig-push-3">
              <name>Another Example of PUSH_PROMISE Frame with a Pushed Update from 105 to 106</name>
              <artwork align="left"><![CDATA[
    PUSH_PROMISE
      - END_STREAM
        Promised Stream 6
        HEADER BLOCK
        :method = GET
        :scheme = https
        :path = /tips/2718281828459/ug/105/106
        host = alto.example.com
        accept = application/alto-error+json,
                      application/merge-patch+json
]]></artwork>
            </figure>
            <t>Then, the content of the pushed update (an incremental update as a JSON merge
patch) is delivered through stream 6, as announced in the PUSH_PROMISE frame.
<xref target="fig-push-4"/> shows the content of the update message.</t>
            <figure anchor="fig-push-4">
              <name>Content of the Pushed Update from 105 to 106</name>
              <artwork align="left"><![CDATA[
    HEADERS
      + END_STREAM
      + END_HEADERS
        :status = 200
        content-type = application/merge-patch+json
        content-length = 266

    DATA
      + END_STREAM
      {
        "meta": {
            "vtag": {
              "tag": "c0ce023b8678a7b9ec00324673b98e54656d1f6d"
            }
        },
        "cost-map": {
          "PID1": {
            "PID2": 9
          },
          "PID3": {
            "PID1": null,
            "PID3": 1
          }
        }
      }
]]></artwork>
            </figure>
          </section>
          <section anchor="stopping-server-push">
            <name>Stopping Server Push</name>
            <t><xref target="fig-stop-req"/> is an example of explicitly stopping the server push. The client sends a
PUT request to the push state of the TIPS view and set the "server-push" value
to "false".</t>
            <figure anchor="fig-stop-req">
              <name>Example Request to Stop Server Push</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :method = PUT
        :scheme = https
        :path = /tips/2718281828459/push
        host = alto.example.com
        accept = application/alto-error+json
        content-type = application/alto-tipsparams+json
        content-length = 29

    DATA
      - END_STREAM
      {
        "server-push": false
      }
]]></artwork>
            </figure>
            <t>The server simply returns an empty message with status code 200, to indicate
that the operation succeeds, ashown in <xref target="fig-stop-resp"/>.</t>
            <figure anchor="fig-stop-resp">
              <name>Example Response of the Stop Server Push Request</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :status = 200
]]></artwork>
            </figure>
          </section>
        </section>
      </section>
    </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, and Martin Duke for the Area Director
Review.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+296XrbVrYo+B9PgaZ/RLomqcl2bKXiU4plJzrl6Uh25atb
qS+GSFBCTAIMAFpW2b6vcvtZul+s17j32hugJDupobuPvqpYIoE9rL32mofR
aJRMq0mZLfL9dFpns3ZU5O1slM3balTmF6O2zspmWdXtaJ61edMmbdHO4dnB
q/M8PXj66kX6Sp9Ij8pZVS+ytqjK9OXqdF5M+PeTvH5XTPJBkp2e1vk7eJlf
PHp5Mkjgmfysqi/306adJlP4az/9cHjw6vGnJCmW9X7a1qum3d3efrC9m2R1
nu2bGQ/g7+Siqt+e1dVquU8LSpKmzcrpz9m8KmGsy7xJlsV+ksL4dTFp+ZM0
nVSLRV62jf5dlPNCn0/TfFq0RXm2n5YV/NVWE/0Cfq0Wy8yPAx9M82V7vp/u
4SjLuqzaYlbkU3m3gXXW+czN01wu7J/RaM3q1H0CryfZqj2valz9CP6Pq4Q3
/zROv88q+psP7k9Z4T6BXeY5vD14Xo1376QnFYwAJzChk9gZpn8pzldZmR5X
2XRAL0yKFoD/6Dwvz6Yr/qSawqD3drbhRz5YlW1NTxVlRh9VNQDnpJjQYK/L
4l1eNzAQfZcvsmK+n77NirOs+mMzWY3z6Wo8KZNwG8fj9GRyXrWt2clxNYez
s5/rfo6m2ej4HFbWjE4AKf/v/52nu2b9h1m9gHOftnYHd3Yf3A038H0OCFpe
+i0c5qu2mQAuv8rn+dtqYTfAixnzYv7Y8gPjaR7t4y9j3MpfsvLMbAT/TI8B
Plk99d/pZu7upC/rqlnCsaQn9JnZyvP8Iv0he5eXZiuPXoX7eH1y4Pfwl2ye
rzmDy/ryj5NmfAlP4CFEK386hv3PL2CVuVn602xV52X4zRcvfPve3d3tL1v7
nNYB8OZ1/HH9Jv6Uz+d5HWxhcg5nZ7/41+yAljF+S8swGyiZTr7L8WYfP3m0
u7PzQH79evf+Xfn1/u5d/fT+ztd39Nf7D/SBBzs7u/7XPf8rPJsUSo3dLA92
t+nNo4PnB6NnQOKy0avLJX0LdIzpOn2c4scNf5zVZwi287ZdNvtbWxcXF+Mi
K7Mx7H0ra5rirCQyurWg8Vp80f4+fn/eLuY0FNP23e3dvdH2vSQZjUZpdgrH
AsQuSRw7gcNBGjtPN2DFKUJjM53nANzsLG/SH169erm1M95JkUoUTQrkAFaQ
T1PYa9rCGE2xWM7zYdLkv65gXUU2T2v8tWlHdb6cX6arJk8nWZMPAXvSi3PA
LBiLp57MC3hFn2/STEaZ5Gk1SwvD3eq8qVb1JG+GtBCaGJhcXuM3y6qcNulF
AXQXv0B6Ps/bPJlUZYvjw1g5IIYbJAU+lWZtmsEZLPJxktBiinJS5wha2MFq
ibBrYO3Ak4id5vXoBMd6/A6Bn26cnDzeZIghemwCXGbAzXALi9W8LWAB7/HV
pQIX9tBWS1yKQPT9EDgVrBfXIeCQHU2yMjGLARAuV41ZvS6urQSAsHdgJnhk
6aIqi7aq4XzKvEU+nfRCMQUyWZ7BkcDw1QUulAAno8HAMk6qm/GvJrBgAj/c
e4Zf+kN1gZMPeWu7dEIovNQpXdGqBLDMQXCYXgK7XZIcAUczWdVAbdoh3M1y
dDqvJm9pHU7UAFC52ZGWZIsGMcjNjZPhOCWzWjjGVwDP7C0c7fRdBpA7IywC
mQoWQg/P8qwFCgc41J4jKleTFYIYRm3rarpCuLRyK5IbC1npBopVm2OSrhDZ
GzxPc37J8eOTV7PVXK4OQvcMSER8CXBmWCuc/jI7LeZA2PDJ/P0SJgRKcTlM
PMwAJTYs1Db1CqUby9V8vpkitQWZaLIeqZOSCJUeWcUg2tob4hUliBfzeTpb
lQRcPJmZPgPUYMzUZFFMp3PgzrcASAxCgsyHWwRRkCcPlkuF1+hpdgkHAXCd
4cJeLAF3ir8zKDcQEJt4Wd4VAKV0kQPwaULF4swPRPhZnbYZIIN8DauFk20s
xQBRp0pnGSAlPOGxKtEL2aTnwHbS0xwYr9I0oOE7cI5KGE+BaPkL/OGD8IpP
n4ZCxtaTQ0f0EmKa15E9t4++y+ooHo4lJKLJkeJZYpcaYoefy+CwMjvmRjGD
0S43cShHT9rK3H442d1x+gUEEV/ZIqpIkEKqCJDCifqBFaN/BfNN8YjdgmSv
RCKLNr2AO00sEr6u80mO2KvLogHhBdr+el4BlBX/JGHD3iZ+sIfmGlJLy5DF
KrnFcTzFjakrgPK7CniSRznQpkIgOO5KMEPp4tMnXAvwymmOy0BSlQPZPK9W
82lyClTjdE4AAj2lwkOd0GKvJHuOCDcrRELh6buJzrnHcwoBcEu58+mTIe2w
DFg8bqBoGsAsZrensD9zpRAu6Xlxdt6ZGl+EO4FXbJQ+KeqmHeIJNLDN2hHd
8Mb13bJWrvIM3qrK+aXoc3QBehkdoLIeGh5+vWIGEl5tx5thuJgeMrYxcXXs
qJ+nwj33SMXqLzKtYXq6alUA0YHgP3CYjLZX7mBfIF8g6peVZQ940wUYNd7K
nvsKB4jSlB4fggCmnaOICcNVcDznwJb53DwNcNz6PBNm1l2XXq3SYwZueQHo
KOjf6D3WV5BpgMD/3h69Ug1LNODM5qCEr87O/dd0c2WzZDvobHWINMJwcoAr
QLkCHgN4c5VMhoBgqQzIAOD2Ap8B0bCCwUdVjatc5E2D9wo3VubAFutqEZCo
kIKmxEOCOYX3TytYWVm1yupQe8KvN4pxPobpPXjhy5LMGvUm2TyIOsIrK9hx
70Gf0OXWiQBeOA2xIYeTqBBkHjHT7B0oTURQAHWN7KaSwGk+yXAEvOXEzRrC
4AKP260UT8OtFY5uioacqmTi5c6vwANBkjrCa9u54zBAwdIX3mhGwhmCTlAd
r9Z5VRHzOa8uaJWEtEWrvKBxoCBBcAGrOCNmcp4LEPK6vEr0y0j8coJ4gdcG
qWs+TfBw/6ECoaJDxBSJxmb/rxILD0EdKxjsgD8laEUtAP1c2UjffVckaKr5
OzoHkKEAL2tkLICciyHRIRgnrS5KBBVgu7AQh1oLkuzTNp+clwXsWUCXXOTz
+QggAFheNOdACfJJ1VyCXLQQhg4QJ5GtmF3Smqewznm1RNiM0YpXITOGaRAw
q5qYregwLH+RmLCo4OzgxZKnFXBsGw62AAkhzVHyxYNNHMFV4CN/nNWsQo8V
+tcz6MThr5IiXI/Ou8gu07wEmgVfEzI6Fdmtepz+SOeKtyIR/QjX6zEKycgF
4Cb8SqItQiYHmFzkHmtTxDpnYkkUzfhaAHGli09AomUwV8nmoCEKuulNwCPB
w15WLdsSkjMQ8xvioAVTTjnpvCQGcZmjxHqiE4rEZG+4LCZvSPRIH7+HkRtV
I9qOEQTReXqJZHmCtuFmUhdL2gYegD9AEPxWZYF0QI4QtjBHixSx5fC+A+SI
I+Jt6RH0rSxOLBJEFrzxXj6/XOYiBYuEzKjH9EUQ6KzOlnykvIesO+zr46N0
mbUIddr8LG8njA5NmS1BxMQbVvdylwSExSafjE4nyxEapgAhp0UDDLZhNn+B
q8vft6rI0tLkULMpCggO3N+hT+ORMKSXaIsqJiLBn66K+dRy6MbfJ8H63W0U
EEDjvJUeMysiY1j6FOC7AhbNdq23IDIDmEFFGjx7ffJqMOR/0+cv6Pfjx//1
+uj48SH+fvLDwdOn7pdEnjj54cXrp4f+N//moxfPnj1+fsgvw6dp8FEyeHbw
lwGrE4MXL18dvXh+8HTAZguLlHjdAR6nyHnhPJZ1jppa1iQAM8C4U1Lb0u8e
vfy//s+dO7D1/0NMlgB3/gPNk/AH0hGejdgq/4kaAyrMeYaHmZJElgFRzuao
ETWoTAAdxUMBQP6PvyJk/raf/gHOdufOQ/kANxx8qDALPiSYdT/pvMxA7Pmo
ZxoHzeDzCNLheg/+EvytcDcfEsI8B4mODAiIJPY0iEc7u1JzCaj/noBa6hsI
Nkdq8WzgPqiL5/54F++8sw7gwTLRYY6SBxQHZJoGHV1MdrzygNOJ2IHX7RZf
oRfv8CMgBh9uVfLrJ9qLl0aCa/DhVm3+/NRn5SVNFx41y1KjXGApAaEXqVbR
LIByCrvNrC41hWkmyCFUyFDhJVARxFDjtZxEiQ1bKoBuBC8xhgrNnqrBb60p
5ptEeXSwNqHcpzlLzp6gqWoCc6MR2Fo4yeznD4QtHTh5lyB64IVyDG44s5w4
bxLL5QM9AX6tiYexNSXtmJcBDaz6rTy594iIoiB7rNiuJvYFUIBQNRwm9A7I
xIh6vE6AJmyzYe3D73DTLRZAJGYgz6qMXh3zXLZe9qyNtd0GBmjkRswqsTon
FluBPx91Wc9+sp/2fMzafE6SD6knJLuBekNbJhtIGdvVvRlNoNHQCaINW61m
TpfMCQWJd3vlmHBH+DthizGioYxXgAjE9sMQX53WpxetT/yG1eHKzDn34J0H
ahGgHglNczh4pVcbGdoLlEdPgdMAxBGjHnnDexoY3mUGCxqE/Y+4e3e3yjyf
NtYARxi/RDePMY6s0c1pRSAT1MaQAysO5OBAmUEZZYVHsAKtA3BaSEE5BXm0
PYfR6EQrxQM0ZYyq2QjDClLdl7HnXnWPYbDgJq8Q6dsViKc5orc/QYfGhVOG
iYeMRqwAsOFCTtIi66mxCOCBXEYGhOxdVUz79wCjnYLciKbqrj9m2NEjRBLN
kaGoTw6AiMBC1xLGPMzQgEZWjN4J0c+Lgj0bmNXDMiSSkr/PyOFH94L3ySoD
6PfZ5G3epvOqQRb2ss5JwvTIRZe552N7mXFKupHIRXMx3wqHGYLwz8tDAXwJ
0xRqDYXxAPxI90fHr16FF9wTsh6zyVHn6DtHC38CGs4KNAUIW+BjGzX4NR57
Kw5BvsTwAuvJiu3CxWgVAZVEEzEA7QJjFigMpRWLB1890rgrT55ATnxXVKtg
eXzmFZ4oo1W/8qimzUB9lHvpb+W5OPe6KzWkh5GI1Bir7u4g58ZYD6tDw+GQ
4RtxT8gan4WqkiKRpbQLJJsoylqDwqv+5UQiQqDx0R1FexKKvqzUoyaShFAr
8bahagxrAUVWREBV8SakyKFTpShXCHKgpU0OJF6V2iRmjkxpUPVA2z2ClWQP
1c8zUhhxwcSmWFODJ1TiTzyLAfLtNbLIM6GYu2n4kBGe8HLVTGATVLNZjES5
Ea2qFaCuswH4ZcQqMygKldebQZXUlYu10vm6rlskuvyn+RKusfdMJdYxgDBb
MQlrOuQy4AXOnzUOKAgwlTrP5iTw8NWkTS5BwkDiH0v6ZN+Vk4aFzatL+pgP
w3NLQKmUFV54iAwXc9U6CZ6v8hqZ/bw6uwSRu/V/fUIZBjRetoGqvIcPNBIh
MHWcW32Jbb8u4oQkfh2ko8+1QJLopHZNMiIoJXT2za6sbdYyJH2lJAMxmhPU
4NFHExAljOC43gAictNVDk8A9PMrvnbbWhY5B4qA9lwD+RdLtn8jO61WbeAj
hi0vgfMZ+COK6BVJN9p3CjVzWuEBsdounBF1G3RFzQLs997mtGc9LCpfsX24
E6QXOEMKrW2RXbLjY74Czlwh2zUnYQYioo7yIKpzQFGLCbEWUHco+FJOCcZi
k9HG6oz4lop0NblRN+oGpcXXgXUJH3XQZ/UPLYHZ5BLEw4k8dHFeNaiKTMlb
AByrUaOQuGedT5DwJAJR6PTOp2eqmfO7IrYVbb7g+BfY2EqN/DCUjg3ETkjj
Ilsquqcb+fhsPEwfVaCPPMuWw1TRDP7YJGspyrdsSiE/CSDsPA9NbOhQVPtg
3ylGcz0p0MqZI/vVaXkmwBbcCVyU0IK3gfSZFGa8te74N1n2QifiigzcpHsQ
SYRj+jNvG8/mWEGOZwSIiwrgBBVfHx6wxqM3Tp+wWz60TfoTodkFwiTwNU0F
OhJartjaDifGi5tfep8QySQIzUUFAnRViseaJAI4qXyyQgswvoE3iAQAFwRW
rhan6FT6kQMqlJbCYANdRzNgDWDm3XD6Vby+aNgUhdSTNkNhIvpmo8GPQbz7
VfGdcBCdm2joQL3p73lddd4rys6BwhyPy86WAD3KaTw+uWWb7mr6Rz0R5usu
JKpKeOPm2YTlVjzq0BhTNI5oMUz6h+7q257mAlw4xG/dPNdOMCSn/XSN8EZC
y3+evHiePssBHOnLDI3UgJj0Gf1Fl9v601JHF0gAhV+rGvCJZWZZliLFRsHU
jsMs/ce/bIoL2yAlUFJyyxbp7XQn/Tb9RUytS3Zwphx0cg70F55nknxRNHCR
nuki+l3VJOtm84vssuk7XPW16TxbOsWa0ZCcoCErY2cNGZWJS0zXoM5rT0WZ
ZMDl8cYpJRT0KlLgyDhiFjk5V1ktL4ghEdV09r0+XwIdniHjRtijiAAygxOi
Fejo36iATKOkuon6Jio6S3QWV7gO+IC54LkMVcSeVp2oClfGx0jyb9GEm565
0fAeHN4qRrd+QRgdypweDjwlQsm7VQlaRdmFlrN3FEJVSfd2tBS/1j9+GcpO
C1rlL+wrIBYYkIVG5elUURx5rot4Evymz2RXuLohxcuiPo80F/Z4HHN93O0j
vsMB6/WhphWHzvkIM2MPMrZP7zzCeAgENJBu9eKtGq8WO8dhGjgOYXHJ/4If
zJK5KCSe/5qf2yP7czuJP7sdPQEffEzTQ+Hn8PMxfDzhz9JjENxQeoXfP6Ip
/V3RiPsbP3ByRMoPoI+xRgKRfpQBXjqHFj2fpi8rkJgu9QUrz/PfMMAM6KsM
cM0Wbl/x920Dto8hsKI/u98n0Uxf+nM7+cjCmFi6v/jnY/Ix3v0XrYcG6mz/
6h894+isaKD4ANb9rH1OB4pRYS0g1j3nBzpWhnxr58qB/HO7fQP9Tlvjrz/e
7Hy25N+fek5NB73Jz5b77ado15+3oi3zu12TxSNdUb+SHq8nWlMH2P1w7n4d
f+KPP23f7eAH0Wiya/x618KRPtmTF26vW1GAHzdY0Uc/UPh6Z6Du7/FDPSv6
sl89jABEW6sz92vdyK+7/tNd/+me/3SPPv2dV0R/f/T4teV/9VhqUTH8hgd1
V+Sjw68tg2oOpCEqdkBviP9HxXma+qdo3ng93RvlGBDO8JOf+qdg3s56lHfq
I7dlqtv65sd170Uvukd+kjc/yocHqt8HMNBPeYxvv/34Lfxsffut/PkT/Y8+
xQ99mNzWnnveWa/tOuxCeSUf5UPvYLHr8J8maUBd9ab1fOR/bkfw/5g+Ygee
5wXuo93O2Zsv9xiav2n+pH1XIGyMMavAz/A+fdur0bDMHOvv8Aq9Bnfv29Ba
hQIuzLFBLm8vgW6S/Jh82E9vzYqzkUZQgERNrHyUzYuz8tvBBCPa6gEn5H07
cDEXai2ltOlPGAJlR/n0iQJpSOUQn1hazOcrzK8jWRE+r8xQzq2CwyViJmKf
gS5Z01+c4U+NSfj6RbUm7Hzj1k6CUv+tXdWRLnIxdCPvZ6UotoWxCgQsnxx3
M7JSof00WJgE/O/ZmFSYT1Fp6DCIR1OU2ZSstpoy8EqyEgbBdrzfcfoYDUri
WV6AvsE6R6b3MkrwSpznInbqO5u5RzBSScgq7DWxjSYnTSoB1WjFTiCyxfN0
Ete2GUc2GBcK2od3NsmKQtY7irEgv421Mt7aGaqxpTnPxCnn/LYCRTa2kZ2f
YK9ORRggubXLSUvTgpx6AJxgBRyjDUyILBZuKatlVZpXeJ7E5RgR8PzXPCte
HhNtpNbe7/H6kSeDw99NgHLfbeUsBmu5DdMZaYFN0mvm4OjY9dZkDtKtPGr4
/NBkTRSFcUttgMo1V2VXgrkDGzJ70ZJrvBG3bqXfkR39EE0Gz8hZBO8F4Eo/
3EKDgjiLkuSJmmudYUwswhgJhSkgaH/2iV/w5+ZwTbQRx4b4XYnFxBnXnesr
dBspSCOIsscvYUphQxDqbPK2iQJdbPoGrlHwSG0VR4eNv+ucmxxHHUhmg9sV
X4cdhg06+jclLhf/JmuFWAV4tYQcOl20IDWUZGmbnXmDcyPZXdag48x89GST
vgPSrzGTbKUkSEyqZW4zyDbRdpGKdT3dTikwgOBFVio+roIMouRdgjNeLNvL
rRKj7cd+X2wXarwtji1MoCKwQXWymmOmIj1GliGyCP2i1il+h1IJKXDd2ZKu
MiPx9H/25vplBidn/bEbnhzgd2iWrCmmxyT4ynBbeDK4gPPMREoKkDeT5ICc
tRjF6nlh42NNicwi81ydYXqPZy1fi6PInvkwcZiNaPy1oVrWdRRkFqWPyVMk
w8BMGCLuhgli8HzuTmgYVl9tYBfGtRaTt+mccrv9gMbK3HNd5aYfHe5s7412
tu9sYgBRi6gfjeNMvL20LBrm7qbmM8I244EMzaO3kqPDbXhnD9jZ86qV8HG6
XnozejBiP7aF0gvvKOADCA6HcopDB2O+lOYEoMUAEBqYpqQ8Vfj3HTM8DR5K
RD5htweWubGOJdirhFL25KPpc7A5cgw12WXiQkQjSiGv05B7FMPbMrlr2MhM
7xDjJFbUewpCbSkBGaMPXnWQhNaLj4kR/DRPXGwsBSqoTdvbn8VvGeecRoDt
XY9GgtGOAEiAX8Q48JM78sndIRnfGQgOx4T00Cnh24DxuHKKSG6uWlPLUVc4
2EB9EYOEDjkabPz5Jtven9vf0s/tLxhAtNAUyLVRBW/+s/WFK+ALt+MVvY9f
MP/HrZ9//pLXdbVmpKteBy64n+7d2d3ZfvB1OnoID+PKY6vMP2p2/UHCtgMw
203RlmJ/Phd0P4VmgH846O7d2dvZ3bujoNv9l4BuF+n7vxnottzrHSeFgG77
/v2d7fvbCjrcwB/0IVqKuky+Q9qs4gsuiyf79mFndmF1soF1s/sf4coKuvHY
7v/zQWff/wLQ3eh1wbq7u/fuOqy7Q6cFr5OA8OWzo2hxs8XjRHf4ccG6YPFy
EHc/F4Qfxz+bj7a+HPuuepsg+PX9vft7D3YVgnct8iH+fe7UNwHYXQDJPQTY
Z4Hl91qJIM7X2w/u7+m2730BpoSWtNXZNTY0MiewovyYRb7BJ0naE7H7aaUx
iyAfLTJQnxv65VMQnsChEvn7ZdWwEEU2oTBrCsWS18dPVSlo5E01L1zkCSr+
Xo2d68w84VBUZu/F1xxJkPUwshyzZEhdTUwKvqpxfdEbQV0LDi21ujqKgsng
XVG3MNAALTGYc0YpyRvZ9JdsQsHHcxDKNofdaBpSe6pKom6cYSjB5E4ycH34
AEpsOUI3/6dPLlSXwhkLzcdti2UzwtdGq7rY7BPNWd7LbHKGaOThvOvVPBJK
kwjYfEbwjh/gAgPlKaCAzRdof+F0OzfYSFDjU1e8/EOwFeANW1sA7DmHEyBM
MDnAgAlx+uPPKSBwSs8GR6fefnhg2/1Of5J4RC9QlBX+qcJ8/OCe+eAn/OCu
GRZejL/elYFxTLig+EFX7A+G2I2H2Au+3otXdKezIpnSBTK5GCZkJLSIu7SI
cd/03eH0g/CvVD64l8ivi7zNHGGB6U1sa95mSpHgwfF4HNMbQYFryE5MVAzt
8cUYON6MFDRU4GVgrMqVl3lNOVA5vIW/AAI1WrsJaURiKqThLW/r1YSviMPz
KBTYWfBmLdWqQ6eFancB6qZenfJGOdY2aV1Al9yy9FLbSXHAKDBJY354VNLl
vyq+wrXz77981R+rVGCwOYIfjyO6YFurs60/wD9/+OUhPZIcrky9JlcBsOQk
/SBwjNd1dNhEuZouYB/I4mxF72kuGhIgl3p1mbesq6phZE1upqik9zAFYmf7
603UYN1hqR6LpEHBWObvWwYUTUgECTX+6RTt0RQKSlkPMG7SE4jljA2S3zLP
GjG1bHCkGpF8jfcMTF2JQI5WYMFHbzt/R8+EMhwGJm6a0/r+8at0q+/I5PmH
7jd8U44Q2HJoyn5G0ZmCW0flu6wuqPZWcqDGYopgZisx5hJHIcwSmJ1NOIUA
AMlmvmGSt5PxJhdEKqQMUl42VLmDCyFeej7NFlWt/rXI3qIPwVesQesXMGX6
A0+Yb+ZQjTDOAvOuyIzpJdngAZuhZxOwxO1NjlZ0b526jBNx5eVZDTPUPntZ
DFSYIHRGCULiiOzNMgvL4uCxEz2xFReXdZU5T4WjLUSBEFGDm5GIhIPIcXTo
6lsSxgZG9Kg6BMLbrS/xa+cN78A6n2GdkqaT2huOQwUCJBMyCZ0OhcMWNus/
4gQqqvV6wAeMRv9hOsfgxEZiOdeEV/uYXfQhIIL7uOxwh+oxxpz93A4aGRf9
SHoficSWtDBngSydka1sdEyCHSVGEQ0ac0gjVY5hj4OTltaRpJLs8yUHE7PR
TQrhXeI8f/gWv8P/5rRAwi+gRM7m3bfhjfz9JF+2iL8a/NrmZxQzDvzmHcVG
p2/+inWPyvxvb9gn8CTPGk0zTJ92z0Fh3Ddj4LBGmOAEvg6Mze1n2FHVV85W
oYocWooMl8sR0Or8Q5v2W4JklfZvl5c/OC7OzoFcnhezdkA+HEAtNidnHVe6
hR7AYQfgsPu3N+TioCRThXT83Ff44Ff2ya9A0QZC/1X6MG3F4AqPpQ/hwLg4
LjwPf+GA5e5YHICaKxuoBFhJS+id85EyuWyMH/WriKwmInPgC3BDM/R/ebef
el1Y3SDZ2bgjsaSaQEi2sz1MjO8viDxwoHjzAWTSIQqc+J+9IZuayboM7PXT
mzHeaBptZ5hQEj6+0X2OoINf+Q8AAdgFRw5oX2UQn9odJleOEn0qdQ/8cOKZ
YxwrK0+xjXcMpWw4HzSirEHyVYCpaV00b+nMCGw1YaBxlNhxN5wXqkb2xgez
qdPptw2VrUjc11KwLXaz+FoRVhRy6pJLCJYFJKhF0Ex7nUhvcfL/AGuHWw8f
pj+CJD1DNvTh1oX8ylq6+0JjYSgNV3x2GJogF9dWVuytyOlz9rCyqkaIvAQd
6huqM6oRwS9XDd5u5BBUP5IKUM99KIGWhCOQhuEeGnYRFBAl30nXl7/RbHo6
rTXWsrDksWjDplxjPk28y9ncmjoHlly6fJXq9Jd80nYiFoCDqyliWRU8V7JG
i3cVRFaLRcalpKxkyY9I3oXMAK8wToLKXixWi2FEwymNTkS+UBz3LDNLJJ8d
DpGaNKAYwQIx0xykHAR7oWsCOiwqN4wCb3TpjqRIoS57HCJ4J770q8+zpsqr
wPZUoBGpSRY9tGmxMK+iLVfkQVVRPxnhKEj4DkG3LDDuo1OVjBRBqkoG/2JJ
ZrFgyJuJd5w6W0Q0uhWOWL2Bw3gTCeA7LIH/gkrT7Z2Hb1yijlNopBK4Q6zz
as7VfTV8J10BeOZ2slM8qdyWcNywic+bsaVEbt61PxSclqbV9U/SD8ZHfExf
LAF0S6RADRHEKHDLPtsJF+39efgxuWmMt67h5QuQSRGTKNpoy9UnMajpnvU/
iIlO4djpG/dGy015vfG5D+0ncjEe8rh/uH5U+Ek/Hw49GuCO1do/d2+jEa/B
pIVxNAtHqPSt4WZ7G/2ee9PL9Zl7+wI8+5xnY5j9QjC73Ydn/zCYHT5++vjV
Y3MLelH+5nfz4Rfg5KM5poT3U4Xo2ZuBgc6tCm2EAWm+xk7o4nC9pHPCpZmQ
sRgpZSCRfEFxTcfwpJ6IL6AmdYTDxzmT29XWLJNOpV1hMo2ttSlDAt/CEpdY
EtKW2MQCRSj65RcgnISMjZnrOs7WnAeFLJ5lZXYmWbwUTZuemNjbR/6wPtyy
UbJoCcJCJ0GVnDKQVcJqLb5eWqERgy7wF5VIUldBAUp7Y3xZzXFxwVdwGhCt
FrSlrlRF1oBiBiu8nMydadLfC6o/U61I9pFy7w6yts0EK/5S2xJ/8wZQL5tg
IjvITftcvobFVv5M6sKYakcLfwZcI++9VDzGA6xLAUJiypVQlVusN1JQgXOs
PDapK60eyDtB+UClJD4LLKYEu77ITxNToGfo2xCoGZeKIIpUjWPNqwyUkWyO
dWQJNi4gD84NW39RFSqqfqV2Ez+OTz6fkjFNKmFMp3BvmtzqfiR64FHwDsj8
h1WSreSo1aKXFFdW2aLlX6Huvly1pKbrnhJvUKeARUa5JufCUBLa5QJl7dZS
szWUxKol+gYqZ+21+Ml2Na1opKeI8bJLPAJzwPA+QjNhaNKXvoQf6iBYx1/s
obk/mZ7ATHEQMIKxMhliWFDVmG2pdiEzf58EHAi4xMepO4yXdPW42EP09jAu
6eRKJPFKpQaU2DsJYnJT/fpU3fFTD21gXqZ6n7km8ApZHtbNxBWAarTjX0s8
qIYWW9EWXF4b9VycwtONJIShIx/O3eyqAPgwbb4DI1akqCTdswyHB20nAV22
bmxBED+ir7CPhYl4mUP2U2HANZIqIWoLqo1dmkrgwcKKGTEWU70Zdl17Q3cY
rz9On+YZ+qiSgD6iuY5wkBxZ+FUMPkyLmJOfHjlQscBfVmIzZeu93rsuxYvr
DKIiSgPD8rn3BfoA2vqSi72hSz5cHkB6Vsm18eCiU635KlyyUizsWJbyHzgv
nljiKspLjxCv5C8qMbZ4WPwHRm5bbuf4GxMLUwCMy/pR5w2DtqyVw4onrpRQ
g44QxxwVVOiMorYfQbsPhXPpX7/6FAzLp9t76MgcnaKEWTVMTWyBLqkXM6Bu
ZINoojI/q1qmCUr4NWAXExYs8yb4PT0BRHv53EIrLkClRXX3xjs4tSlil7hC
8yw6rXnyjgQ9sGTlatrQBuz62f6pdfRTtL6tSl/QpNMGREW8sG4jAAGgi6Zd
NqdqAkFQ0wSAz6X8CP5xO5ObNKyCO/42qK1A6IpFbqWTA+7Y3H6KOh6KfSyo
2N9EJfswgUmtORVVLDRFytTI4YQyX2HU+eXEbjlBVonFhS8TBAj2A2U5SDgY
erCo3LhpkmPLu1XvhKpoYoEmfRnxylWn9N5ltw+diLi/IyOU4EGdE0jiS9zj
XPBQ/fh+GevbngXMl11YBQiITJsw4ibtY51DqjI8q6JcoKD1m4FXgjacER2E
Wn6Ei1DTnWl3JNurjftlXfi6G0/CG0NdHPAobR1S16SmZ8tatlQ7HCVASOGp
rMzJUMdE5QcYek5qk6cNT7JiTnj74daMf/2kd4COBIHSwz6oKAhJQV0RXiv+
9cbEI//EAlH9RyDRAs7nalrPAeyx+CmnuU2rixKls7irhdfUdillh/w3XBxS
sVR26XwGaienpim+rZjZru6VUCdkZRumiCMSSOwNCZq6f5nad1EQizK6fCp9
u+wUnTKrbJO/ZqJdSZ/SuXomIhMwAmF3aC3pdLSmQnBcvjVWEZkMjv1wO6ZR
iBk3HhLvDEJNhw3ahQ0TdZyuSgx5o6YfVOrHNY4yOZFIGeHoRHvhhIlLLqgK
0khi0ilNFVxti0PJFXD7g2A4lhemTuUMqrgliKjkvMmMpkFZKK+Pn0oN+LD2
GbPknl4ZLF68zfMlE8crBjEHn/Bt4isR1mgzEJfibDaDzkJ8KB0mzkBlJxUN
hOqimtpeIrpK3LAK7+yoDOqr2v5Vie1n4YsYBno1mrNPMU/R3ynhig5JsOJd
j1LhPGWGpsxzvuwtNXI2zgZbzAxkdt8AxPUlSQ+rE2AJLa6Fr96rEHxmWRLd
AUCa4+kDuczdxp2fmzP6cm4twvDU8mNe5A4lW5zGiL0BpnG1bU0Ojop1iSCK
DrcGk8VBCkLPFVHkcAoudokXbgI3lIFD9Y6H8WFin5YEYI0IqQIfHwAS9hIF
GK7ofYo9Es9KMlgh8ktFTHeylEu6pK7RKDs5V6wtEke9oLQyJE4yxxhdQTku
AgBERgTtpFF1znhBbXEWF5N86IICN46ODzfTAysUfrgFauQn6i2lwqIS097+
aHKuvd+56MOEJuqkTHOAjekhMfANfrHviGsGVeQglFOzEXSKDrDkL1+Whpmz
by7MdISGcbVgie3cuKisKXWfDEw/zi1qXY9W+du/NFU54JkfmSUC7GDF2o7C
Lj4F4jOfOk1arJZzLgLNPm8nkCYq8d8b7zmJXzrGdVsARfNwXXQeitsPibsW
wYDgwfntmk1QnT76QUNUTX1EDpwjMFMLZxv9M+IIuZFpzvwND/Epjaf7JrFT
jbCegJvOIejRIQbnnrRILd1IVyzmm0QN5OQzAYDEdvF5jjE0JmjfrgmN3yQv
0iFRg+ur9oaF41j6prNEWqOBQSqA0Gh97Tg6HYv4CAdXzzgQ9JE2hTn2CsdB
2ASetd72Uky9EfhdNl/lmlrtzez+ahDl1EqAncXCHV1mdSaJ7OgvzzDAT8o5
kGQWGMKcOhiY6YWi0UUHihjcJxxjgcUvR0ssd8m3ahg+g5+FX8P8144yvHoI
INNMR2c+/oTjDiliTrX2MeEqGWxcU742IC7c6aacVFdVjOget6V+QcSU7Wzh
qh7yBGRPCxIY2IwjQRkEgZR2aSqaawwIjsLoQPZQxiY0bFBgA1rVmhz4UFtM
GinDKFqgPsl7YInPmZolO9gXmLdvYA9P1PJQ32A44xhSJQG9D/TZ5phrJhqB
2JT3ZMRsOU4DQAhaj0f7qD5CSZuR2rx6siSCegHUbbJvlDHSO2kdK33cO2dF
7JgATtILl2zFrztnACI2fSZ/NS5mR/JiUGYJO5yKajQm2mJm7jRV8eNKEKGI
WuuWziF8TmwkzYLSO/hQXX1b5mevgb8y/2JWi8JfXZxi8Wm9xNjTrq6zS28v
MfSHEBdP8vLKaiMEfhbWfJ6MJaVan0cq22PQMWIGTX9JJqG87fFRfNVcWXO8
Ia1JhHUqMO6tAMYkhBGa8BvILNZxwz0kTHeuJOwj4XpWYymWRvo0q8tTjJWI
myHepVqWYHKZcKg23P7zYokSoURwF8psvtJDwZFlB40f6XhHCpxLx9LjHetC
2uB3N83z2xLgqcgXjC+dyxRQx9sodWGfScTg450wm8qv0UdEWRVcOwBrRZii
TWR8spv7yNrwFZb3XekYU8NA4894wET2icVs9fY4TzODHgPIUBNqWjLLWKCJ
CCt7d6KaaJIGhFnJEb4Ggr64D/ke+kdSg1rCN5xFfRtWiO9qKM86RgJzBV6+
xIYFjpVqqI3iVOo/2Mw9at+246m7KwmSkSEogRlQxGD+Px261AXy1mXWDuFq
ThHJR8Jr1OjjbefOYouuU4iI7brmkrgQDahc34Os4SGZOh2UmuuUJNThcqov
wl31JVm8ff2+sZpr45sPH/L3I1RyPql0hC9zlf7gIvtQib6u3drilSUuF2ox
9gL1YHE5EuxFSXew72TdAWht8Ce7G/a3SLUYy/LHIGttyWv41lDfMbrRftrV
TPwrLOfQa9yZnlZSc21fvDKfuxp8B17ZMkPceFnyrshebka8IPvpXw2IcE1/
cw8Eqt++URIGtAGcblTCLeBRytXC7m/wN3n8UwyE82o5AZ32iyGg7//7bd+t
bO3eyT6Qj2bSqmH0WzBBB9niQX8jONDTuWybq97gCf+5WAS6SAjZYfQ+5y9h
RT8cYAasLO8FPlOyEawSX2s+B+BCBLf4xTVgbkFn2SJ71Yj9HDcDrYxNb6Cu
t2jWwNdk0cc0bRh9F1OZ+PvgAsZfrsVQee4mB3uNKm2f7aPQV2uf12w2er2r
3F4FjOtedu9+MmgoPEqOHRGyras5jNXWqxvhIhm0vgAhAWwXVyPlFaazG2En
Pv7fWPnvjpU3Btbno7fgrTPusdR2pWlPhEPbM067zkbCHJXdeXmdMIemQZMe
0XLLQ6D4Z+ctSMzUz5BzGwMVECXkVWl80okq7yZ4Qbt5UY3NHq806/MNQTWx
6MCG8J6DlhgUN5bML65vcbE53aWfEhj1rfRw4I6FifUOSom+JjRuiH/N43Zk
rOuxoUsHaFCytiiAGgujVMYHl3nFmorshdVvVYsSQ1Lkgzz1dWNF57FdcFWh
kaYyWn2PclWSDVfljr2gqvuJgiW2WE5lDkNzrQvS9xDEeArfSkSVWncaVR34
WyUYdpnXyxzrp2DMhqkcHCnWaHxtqRiKjm8qexrn4bODv4gnFYugUpQs+8sk
XJFdtj27wqRMiscIYD/NuSVg7lrUYGRGRRdFIkbQydHmAUS0MTfF5jVw1FPr
uzfZWj4SE/3arABSCs6xnNuHW1IC5leM1A5T6Hy0r2q7YQ5oj3WCA8id9QRQ
uREFM+O7zMk3p9XUmL68MXiNs8iyMLHp0Agmdc6m1Vk/DexTar8aL03spDFO
k9Qa4r7RB/6Kw7MzheokffM3980LHot+KKhYvmO/DUzvPStUElygfa13Bd5E
yukrWXvPNtlE0OtklkoelVehHbGv7SehhVohix6zFRYTIjPzhw+k32+GYVId
UyqGT1iLwwKwuJra2qm5ZE6zI9S18nHGRsvxg2AOWubzF69cQzfJODOGTaxZ
Jb6kyIjKubjfP35Fec1+/xKRbO02GxW2j0oH7+CPwSYFGhpDpppBdraNL1Eb
cqqjSFpVWsqmUQTUkJRNPdO4QLHxO3HNEBgChxp6i6jCAsgO20KBHeA6xTLm
StGeUXlgjFxLUwPEr5q1M47TNKJrrnFeRuU4JcZ1jiWHubZFarM+XbUTLhwj
RNolakpsECaEwkxeAogPeA0isU+qi0s3RCQyxhEkCm/dHaNfEq5oH8owviB1
YoRxucIMMsneodeH6g8KDoj2oidEz5kzCgmU3mn2gABtQyZgyKxbE0dbNAHd
RnIP5+QId7P85KQS/orm4yR3Zc/O79BLKA+mUyY5PMAwNcVoTBjAVerIeupq
SSf/BFl5SmNxAX+Gz04kKdg+JvmQ3whhjZYr/vBoWilTQ1Vq/JiqeRGLjMeN
ltA/Lm7nOYdK8Y/Ln/5m3ROSU63fUx9JLEJ9nE/MCHiLMKtaV9OzgZuuKP91
VKxdDX77i05i19LLqJqr4wCio3BhAGsYVnDydAuPowJsYXgjeRBiOU8jlASn
cSfcSpT69cbyNcWX4dqpXWgYkm26gSrVBLENa/ZF5bJsDTqaWwRj37SBBFvP
AfDK7qvjG6XnvmJSJryMM+wsv3MDcjgY0TTm51LXUER7VXEmVfWWnqlD6n/0
krgvJ1ENQ5EzWAS6xlc1zrqo6jxaEvs5SYZ3W7BxiYKShUnnMnlwBIsj0vyY
opn+8bVWu6e8vpIkCO0UTfG9Syzaj3hDHngtgdZBFQk/o3wPrL0dutboOW6L
nHLzAW6yDkAc+pklCI0odiSqa4oXVfn/wUaewhwT294aHTZwRYIVisCMIZod
qkbXwHVR9CUiQxrFgRRI5nu/Fk4zCZoxKn/WEE8codu1trdlp0+DzEyXWTuA
K1LmvLMuMt4VGoAb6PvISxDH+qoRGyEdxLgGALRV5fB6iTgiEX2d8aJ8vzC+
hg7vaJpz4FcRePucYOuVGyMjDqNliGrmpmdMMA1QpZiULwGmMKHghFBG47mv
nVcndSBwo6wWK6GiTfH3vC8eydUWdDUgRKbKSDh3ImJJ5hiO6UV7dk65VBI0
bcbmsNDWiyoEFNmsib/Q7QN+nBZnZ3pnwg05KOqGOAm2pzgWQTiosucJHUDr
jCNkXEOG9PE8CuToPbforHAInMg7wlWKYoPFZZrXdVU3JrtbhUVy9XKtF6XU
yeDO9nb6XTZVlXsQ9Dfi5X9DH5BO69tVEEdNJEaTPtTqjvQmLcILfVIN1WZI
Jd6De3e8G+kueLvwTg9tU6qegRMfWc0T+PKt+fvRaTZVi4kruUqihUuIiHZP
Xz5iR/foaV6etef76c7eTvA5RiTupx1pkxZG4qY+LQxmn+MTWDoyFmOsFTrY
t2Zh8jpN0baeDh7/fPT8zwdPjw5/fnL0+Onhz/D768eBMRYeIrqKhlejWsbP
UFgYPhPanLduGYOst8M6Q6yB3dUyFh7KYzoUU6TUK1SyRjZp8lo4LUFLtrL4
5W+lPJQwz9CeDvSNDMXfEPPnEnZUTe3IyEK68LDOVBbCiccRNokbYJ3QtBmm
XS2AZWMSjyopbx7//Ozo5OTo+fd8Mm8cN5L14TC8RAmAwbBIO7GotsHddNIV
WzPZJnFp5B+7x55tsJFWugHVGq0S5TorBcNRzb6v3zS++KYXI9/IZsKz8Rt3
4SNYFRaHqdZuwdsrFE96BsMhdJ9miAA8v0Vp/t31ZWtEUYXZH2QwMkdhLoqG
jPxUxpM2aqVdId9Ojo3orLJMb1ASjkJvoVzcHZ4hQDW38VVDhbH4UiB1dwLk
OsZXV9LM61eSH0dV+arElTZjY7syqx5za49G72nsgE/8zu6DdONVVWH9j0ul
4s3mPluHKLjMVZo1GeA2Bwil/gkGT6rtjsL3AIBYvGqs3iWOKJSl8+Cono0o
k/s8zgwjg91xPnoF3x7MqGDLeZ6BiC3GEraWuECnJ5raTbkdw9T1FOoJPqTs
QtXXqJlbkq3gdwx7ZTEyDUyiBFhMzscoCOAv9OkO0+MlTIS1LJPBeQ6nhSAe
+DJyksefRRqvmGwfYWDeM9B/nIxFMznEOzrs98tKqm2qOXWuMhjIxsVEE3aB
AVXLkGeTaX4LFZSwLekPMPR+Gnux6asDcj738GpnGRpey8cPALhVXfw9Y1bO
7fP+svt++T9/vLv97NWy+p8/vm9Od5800+/v/+kmckLkMugVOe7shNJCQC33
ewHbw8Krq60jFgeRZx+5/Lg600RW0N9RZQUKPuxgolYNxENUfhHKX9USRIjl
GtFrF0SvFzeG2HpY7d6/3xGtAksOAozwZmv36537u/fx/3fuPjBy0qCj9sb+
+l61NnoIgzVUb4WvsORo+K0opfTdvWHfm6pdDtJ4aHwEDWfw8vaw75tfaNiw
ZcmnpO/3PmmPT+pKdHG23bAPBpfE8g47knX7PXYTsqMIDS3aIIHAZbFjqv5W
bw1OX8So41s9vUwH5IiEGzGITC+eWjLCghYW1qtXqYP4lFQZY9v+WItqqNvT
MDo2xc0vE3aAxm1bpaSyyZ5xzemiuOowsoCc2uoIlghzzNDW8trIEjA2flIX
p/kak6SrVQowC6qumpXGWb7WieEFsWA/mBWd6POOv/oujLhUreZI3SOReSqf
d/mmSVxdhzvXkqly5A5GmivqcQSOAq0ZmxgTLml/+4bMyItxCXl+4FqHBGnK
AF+kUcVMqaCDSxJ6to0QzVYbtRqKLu5VdRNFYAtMmWzbwCBHFBhteYCzyF2p
Ck0Mk3OqcQPj5cRU225WC0aHoMsew/tDs9J5NqV3uqPaUAWLBcPEBdk7lJHB
2FYM3GOkNV8opgR3/zuKjV8sMGI3zrOsphPzOyJy5YtusFCJ1Y1Bg4V7uiqn
IEwWgaElt4nyTsPkhg6kerEeUfHeJfqFGu6+crnSI1ubD6gmFSiR3h4Zm1Si
isFxTL4Jxw+bsfpKYXGTYrJzBs/aTFIzaLLRY91CGVVsUJucKiH1M3sK9IuU
q1YVzpbVkmUU4yOOAiyE6ZwFvpNvmN2blUFDEEf1VSN3ypDswoYpuhQN0zo1
6CviTVJX7QY3YNYaEqL0KkK0tpGF7z3yv66qsR51NOnrJRRmhiROgIelinYS
lUCQ6tMGGBvb3C1nBzuv440wUS9wdbsXKw3jvF0miWSf+UySpE/2QgBsb8F0
AykxIIo2C+yqLOEeujMnduYr5fcBM6APH4rVSIArNZUy1+VX65aPtakXmxVj
26rrtLzxxp/dG7FOSb9rx1DQkUQpo9Mki6N/GLpUxkNMlmuj6wj6jnouK6Cp
p3NXb19lKuBBK0xGc103fLUUOO2g2QZQzdPLxFZXdthFgxI+c2ZmXlKojQ9j
8G2GqIon4Ksp8bNEPyUVajLsgNCBhvTbi+6281YmcIp5Vo/T6zmFUEc6ReVE
+LWuAa/6G9clBrE6aBTzJknEsGzGBNghf0eAYC3KiTc57atdqefY99WsoreL
JU2XzMtds+cNSQXB+7DWES8WxQTCefR67KdohzGWBHJKYS0JWBXe5lXuB3Wz
OxHj343JhjT7H8Zgcbyd7XTj+6rMeSjP4865WzGcvfoBuTcLZdUL/SfFi20/
v+pwd9ON16XPqPfFJ/xaPUSwFj8forvAxpLo1q9pll3+ZjjTBMlDaUZx1THJ
2HWXjV2Ps3p+6ZeC+xMbVojVciPgpKfVxWfby5YSG7nhLvommxZDs1mPzewq
oxkPscZudrXRTGO/P9wyBB1Lv7gO3HEnhDNhLHJDmwjaIgckxPm3ufPzjhi0
hTpXHT4QmjhghtC+Qfz+Co73241XIf/7KTIGXGXPsho/195cr+7jPmzXuYjB
daCA0Ti/2dJjt9Zr7Lm7LbYebK3HjgWT4E5x9h3TGD36Kd48rvdm9g7SDxEc
6iJlw8dzIE7Psd0ZBijBd+Kzpd1ojThX20Ca9qGJrGi60Yjo8iXJPohhTMIY
RhMPq80phi48gXvUw2OS8O0abyUZFU0kMYB6cJ1eet+1q2+kZbYoLYRaaGkB
OI4lSqj+Gy5Bc7P7ipqJt5AKOJledFXiIy27KeVhuD1Z5j31x84S+A0Q0AQp
EAskGa5inofiRnbpSRMRMlwAsXM0Ohh9BiOEtFiT9qmgECXqXCRSSih2NxWq
z95exQIAUYpV05V6rocEq8aog1CgvLZFsbGwpnAF4ptVpz4/Et6tIakDRA0C
400N2jWR8TJTcjO5oBscT5QV4Q8AT9Rtv98x8nfVJWO38SH6a/QvVSR594ri
2lcIY5Ej+AY2GEkRQYxAm5d4qe0a4/j8dfH3HLKJJIJDGDnWHnahp6m6xnXW
qKvDY/tCSTeC6qe2je4pSZgAGqzaPvX6pHwNx4IFIDa/PMh2bZTt/4fDUn1c
6rUhqT0LpESKfzvpPaRc/2j5/Z8ocL9Zj8JvyF73wjnA0Dbx0uuGj8Quw4Zr
lknDz4icPsUuA9+5uvgfbmEp1pErlB+Y+WzfTCrCYdIH0SbY9ITLJcqbnE0d
y2+c19SdahrWwzblY7F3JxYmogrdzO7ZoY8JxUgNGls40pX4xqhdpxxQIol3
RJ/mrDLbrgqjERYfkh4h0gJES8Seroo5SDXAkCnID8E7y1bzdtRWoJNhEcWL
/FTDNJpYWvBWJbQYUIKQr/4uKjyStFl0S6h8LZrq+Yioyj7qKazb47OoYueu
1GXYtUFrV3bcIZJ2yJE6U67WOdWqwLarAI75jZur15c/zy7zenTHghI+NlMH
iheVAITLxFWbpl6WoDU+epneHbUrtmlJIRp7rgG+4lASCcNxxSWdjMA1bvGA
2M2xQ3y34DMG4msKvfYFLLN6cg7K1QSRYD99UWL7jPlKncowj3SqVyXXvYho
R8K79q7f5y9hyNNKZLaw00nJIZHqMvM2tPhQkfPxwdJBkRhpoIiDoFkOgekE
uyCZt6e5iPEjUEFSiYgXTEQ0qE+LtkaW7PcYLUwTBjKu10UqOxarIhNh0PTD
LU8b0gLH0Q4b9hLWjavSuu/KPLs7LNN740KM7z3DqT9Mh+VIOZmfEOdsleEF
zk10FZdLn/VBixum0tVZ2xAkvv1l6juXoMyqTjIJKosStKkRhYMQ36+v421p
tJRHA79wd6mwFDG59yiDQWqCdqn+Iy0gKBweVcC89E5gdTshHZOuNT7il0rZ
npXF3zNnpE9yIOQThqCYK9DgP13NXYqJqw9GJI2E2PMKA9xwhAIbdCRSjg8P
f+uCBArA3ppinW3VqB6nx6Z3drpBNcpDbCMyOCsPbrRhUIEu0M5rzqSIC1Fu
cmU+zBAsMHa8tt0IE901XTES+R1kSr9zLNKH1iLnup6hNarE+1bNbAtNvNsV
95ikiHF5b+gPRbqYcClA5FpU4Q9bS4qS7E6kCXqQif41q7n9+dw1Fj+9TEwQ
vCt6VQuMAgsGl0gWBRfWeuhWlfThCs1IC+QmBczHr9o/MyseiiqzBd4mBi3u
kDJ3gHtjf1TsyMLC1WmO7uaKTHJPKISwE8WvJY65hrGY6+mcTL1EXARVWbQl
FWfRgFJTdZz2VF/EenvYyfwSCy9gkWnyFpkZcDBYA8ZJcDvvbq1Wyu4AbXaR
LbG4fjmltqb0mfj63Wc+zclXSBU/TsJ2Fi6a37fQBXcizya+zHRLabxSao/L
OrO7C2XTS9aTte2v6amRqUjjKibAKyBcJdG+23N2agtejrVccZP7wGCG3zqY
U+tqX5aPjhudhsY5SZZ0fd5nei2qd7xCND8X75mFYT2+l0eH1C6eqyzoofKi
J4SOUmeVHVxkuC+k2luDsGfc5XgbSqCjO9IFOYe8snGg0svF2A1kuM4Trm2J
Fm5aolxjQlFYJJ7wCyaIHLpyTs2/ufT5hKQbC28lek62Uxt0tAqK52FJfprD
nIkv5+7XQGldsAZYwlO2XGkNaPcYyS3wCFUXR6JbUs+HfMqRO3S4Ur7zG4Ai
mn/oCM61u4W7pmp6S9jA5iq8m7UypGTFabRin6OBfYA73V8inLTYNLSQahhU
SQQqL7MOTSuqFaozyIXQ9ilFI06oZ5jBTLpwRfmummOkUgdDKYQJIXGezWfK
bf0xILAyOYQ1uCUMriQRFCGE6dyEtvBagJd9GClvz0kdnkkEVuLCLhvpMUcJ
TB7edIdOqePIWJpYzygm26cCahZgxL/ctfK8h7SOpLO7qrarDtQK9VUpfSjK
JKIPa8SiumqakS9M70qhpifM13EhyaELIgvKQVBuPOiHiPQTGqhbU7XgxUhl
3UeWmXkVcJkVNcNaBlYboZTGQTdBsvGIW4S4tWCDryBnJt14vjkO8hzFPqx3
19W8cC6SIMkQq87SDbbBX765uQ6a0KBczBfGMPVj96NmyGn/z+3RaHT7un/h
5e7uUuxyuo3dSx9+vP+A/30gfz/YkX93qXPqb5r5mh/syvqT/O7+vdlrN3/v
M6DkXEmIIzKVQGVne0f+3ZV/9+TfO/8gKH38uf/nY2iKpAtzTftY9aiaa/kM
2xZQOLiahmkgbRHuICH29AZdpkSxAABod3ZW40f6Bfyyu5lw3wJztdhH47FP
nR+AdnaY5/cfbGrPIbmo+iSAGg4E/tu9t+sGB1zeeP5ge5PFO5B+Kf8blQ8Q
xClLKCzbC6NOCiGe3FvJu8AqV9DXkFYdrTmX0YwFl7RoHhCoyEt4hhNxpqKv
Zix8w5VPZhrWYpZC1jMOXdLGj67cEpIJojMmDsw55k5Xs1kQTSZRJHL4O/u2
0gouPSewD1OAFP5nZ0iHSf/dZTck6820dCGIslCpqXWWtyRTxGuNPC/coKB2
LXLcWmFm2hdMHi52t2+xfnX0370hLj9YF2XNXrO0nmXgYCG3NccZ2+srWo7j
DCpCNRP2pCV80GoQoTgUTnsRtKWEau5n9MHuCPbySdrjJB9kew+2P63luBJY
6u3WYpGg4Hz8buTjnfieU+YuClrccCD2LhKSN33aKsflh70P7LsuodnL4LGv
02XPoTTlc6N/vHIlZY/iSUKYD35fuxhSsURFcuFvlV1bst4P62oraHx02GOO
DxMJUFhGvEk3+GCdvmketXKU6aDTV2Yq8+hiRI3Im+kKqBetKzhgqn477ZIU
CBdCd1Fhj9hO2DHtilv8ucAYkaoS9O2KqFLM5yssm8giK8qd2NkZC1hQwAG3
Z+MOVW6/qMxpeXc1LaFaMsdA97Pz7kBychVF1ncBgbTX5x1L7wxbW95pAuYS
S6Sfy0YLa9ETXqnVSzpUqWPcytMS0JH4y6wbw0Wh/RvWjgGa5zb8IwrvbtSd
3V2Dy68i7U+Ik/Y2K0ruLKnh+q5BmB0Hgc3kyGUEuyWCVtUW886S3HUzxjg9
Jr751Gazu2PGk2B3dBjod8MGDfCawQH3oi8D0VYL1n2xsZdvGKe6cFx5TM4p
Al1SLMjr1+ZkUaE+t2g2ct0zzP5dipB9n3NZXJasyYjgxnrofnIsxPlafdt4
Ggkv+zfcPaVn8Xi3FxnMR0qcmNxigKKJqM0Xy6rO6mJ+6RbkauUpdfCDeJDq
ySZrSHoEfA3XY3i4iqiqCiYMo4sAtUxBkHGf1dvw6rVXz1wkc4kcSdvwPjh/
asJgl7gbzsNhGWET9cGM6oACtECSOmeW4tt8zDon4ZzGRqRLXDUgYzIRkxRG
0WALFEkU4zYDNltXxA5y2mtbWuSeJk6K/NKSjS1yWffmAH4nxiBjCwO6Wi5N
GzY5vpRqI0bM4ih7dMsJ5zMDiX9Xeihe+qtwYfhjgqtHF7JSZ7Ei+l4PmY9R
FxNwF0hi6pQmJvOCSs6gfEVDZusxg0I1G4lTY5e3ZqPrpEkYGN9DvWQQ9CMC
nFgc29BWntwKlQQI6mC4KFp/9BIpWnNyHVokuGtq0KZYTAOJvdwd0VvW4Bt0
kvsrWJKQ6tJJKjC13Xi6wdeRWqW0NnqPY3ebzZR7DdNt9em8apOzFh+1w/Of
a604r72c9ETqPrsE8IaSJcLGMEauyrpviIWXPAOJr7CfYp2bRuIXYykIyLze
Gzt40h1cH5NSmtH4HU6AuJ8IHQwEhNDC4xN+TAbVTC9Kwr23GgBZI325cjed
e0o6dCmtGbqiuvgfyrPxY5tKUeYpz9vDCVl28ROi5Accgibp7kWuF7KNcEfj
5DtAxGLWN9W0mJpeQj3AyaZTk6kl0B9gz66BDAEHxo6orvTDtBMPBQVkH2gZ
QnRSw+2pCzT6unZS3JZekiC7vbKqBQf7UGd39l2hP67Ca+kyASloA/G8i9y8
NJCAid4hynYw9ia35gUGVYGqgtYVGrxh/xl6teUrKlHi+ydl6j2kOyTBJPQ1
e6QwBkYiN/g0qDA4En+pYl1xhOoBdxR836K65N3pFGvVcLN32BQ16DZXQDWi
8+LsXL8Tz1eGZAYLPcmaE79mgiMBDI3Vdjx4F1FrtmbLCb1OTcUEBFh/XV4m
bdC349XWqeJZpAMEWkcnura1Ui+QGy6s4jOSq7oxHvnswnXKu2ZYAgGHUZDv
wWIdJZqQA8RBzTgYOZ8bbQGJQl7bFNfFWVHK03KBOMZZLeJz7M5n7E4H4gUI
0879HZH7tXDRb+xOwHgluQ1JrOA3yNUjg0bX8q3Adcrt2hvxDPuhI6KecGlK
WvCfqSTLh1udHHC4IuyMcVXUGPUBQpxrjFXI87zxrdgn1TLotcd14hnrLr0e
b2RBx0K5AFshJjvpfO6i6ZK4FeZSW7JT/iix5RlFiSwWthud6P2BWlnVDgOl
PqHU6zSRA5i6Kd2s8U4nWrczTU9QJ/Hdm2UhtFrJ2DvN4WJwXNZBGBTDIWsN
gSqoGcCCdbB0LVFMSoWrwP/jeZiyHpcUCAR8+VKrTkmlygDecOWyM7FHHsQR
PFoNf+3Jep8pLz6ofKTd09XLKHKBS3ngcv16TqLZUVQU1wddXlpLiTeQUKRm
ico4DcM7cBYAfJ9xG0fYp9jjnsg/vzmGxtVFHsQVEOyd6QdhPnsQTV0HHzYm
qyMhxw/SrdRg1xlEOZY5l3qJq0S4gzvsDZvxYaj9F0fkG7J/l4nydeOiZRlO
bsQEayK52pD+0Ex3SIlKZfzTrptoVAGCmzOsQDoFmrXAuCgf3no5XhvH+0Jl
hJPzqm4nq9Z2KPZhXt/lDcm8pM5lmFdRUbhfviSPdR/r2CA4UpnY4vbO5jDp
CV7TzAMlz8iYeBW9MTdwWUW30ucw21fdjBcov5TUzSqHr1DlcP4bLoBS3H6b
brxNHyY7qMac4Dm4gWQBmbfEUDW3iCP40qwJtfk0wclAI0lfYbGYtSuuECHn
opZqClXq2Z3vb4/6PEZINZfl5LyuSinMhKhAaGAinQLifBERLjSIUjNeip8t
pxfFtJXFUwiqxop5o4EVEnriDSVCkoQGUkXh7mMu4Qutc+jBKd1JgRhrLxBT
u9QCE+NsE720wD9QnsJ3OO6a3vx1RcUURcdwuZsO08hwQmOIQdSjkZxrPvVk
1FkFqtSnjdHbii5YEm63f1sqjZpoY6U/VRlTQBhmbz10OJDNa9gTc4C6NZbJ
ObcDBpyTBElG9s6jznDsyRIGG8o5craljTtY0ym4rRAp7WGpkEZDODlJesH2
VabVbQ5dBlrvEBxNnFpDhLc2EDazPJzb42RMMa8UpdUcTL3rW9g2YlUjiYxz
Gti5Jl9GweIbrtnE3ahcqyvTjJaJRDtokr/o0kOfBFDffDsK8FWm7MvZ4RKI
NpVtfnbNgkwXUFlSArx+HqzhG8/4J11yzzpv8S6bXDpqgnXzwmnudHZOQZSd
uSTmzt4FSWtIN/RDE9qLSWeuPmXmzF4JeRTl8021r0iIuwUm/8aRr1nbYu+f
ZlXPQIxPJAgyahcCAOuALHbwoAwyaiR9BIOkJ6uGy72ZbdVF87bRqNuCRIV8
6gKlUZbYTw/zEqjwqJqNTmSLB7TGBs37MpepzshJCI1EWE3mGQWx9ozCO4Wp
oujhoIS9CgaRRYk0zERrHJaUzQ5M6F1/xUg8zsrpUeiXkrld2oWdqmvkZrEI
4x+J6UTUWgp38O7ZNkrJarh9F5AuVI0MJZJpn5CRNcNAqnFqawctgYAWUTUQ
DYwOF8YhwBorlvStTgU1lwPG9SXN4oLqA251w6Q7HRaywE+plWWqrbpNUVPK
WsJchFWTDrBaARYrIBVIpx+4WhcF+kTajL1nZdDCxTsF1PGWN5ouQhhMgjOb
jqUnSyc52ellrvSK5r9o2G0DEjRF1bPWPydZmSuIcPghLuAI2yGoRDFM0Uc6
IjBjhk/ii5m3LPQYgYbYwzv0zM89VJEaVlrGInEfi9bgaC33T6d745VF3/0B
Oy1TFU/6ZF+k2fQFMtKKZS3Y6xEGFLIsLeSMhXDX017cj2gldLJaLGlpWmKT
ukbQSeASIgsFoSH51ypZQ9B2j8dCeSi46PK1mtwlyI6lOiNW2tY7EkskhnuJ
Uo9zBhM0F8woP4/7bfoOCv3Z+ySuGPGtZhORqEuJprSEXR8evRxKBz9WUP7r
9dEjl7PNPf3UyatV42ZigKQ1UYoQbVesSS9fn/ygL+rnUmOH7Gnn+XxJdl3x
yaqXitbJQqVCHynKa2plX3mcCPtfHfzFBJmyhkibtckGXlejs0FzYgAicvA2
1TBdXTkXXkRvFEYxmyohcbeQSZuoidxOTY0ciSvjFUF0RplfnLqA1/NAzEuM
XzgIF8F0CyAcwNoR+TDOqmh9Lq6dEMgnMwh3aXBSdZCBVAE6z0oZ48myqmaA
pa+PjyifvwLRF48dsVtsqBPqnZ6ZSowuSZwwUB6RRvCJLXzeyDfOb+h1esy+
JwGjUXLJEcmABNkK82xg6wMuBjhwwyFgViQCAOB90Qjmwmr6YK+0ua7asVGk
WQIOCy8Ajvpy6WwxOk3CvI83eaW8SULs0cHzg44ASx8WzoSgIe1nBamNbSDf
+Kxg08WLn61NoxDMTvvwAQceUWIyVS/59AkUvP/RU2/FZRPvc6s2I30Fqfjf
rH/dFE24YpBfaYyH0ryMdQ2AUPoYZLOq3k9fzknB1OArPIrRoVrPXbwCviG8
XprUUAOafOokdrW4i6Vk/YZN2jawCwwYx5rT2EHGvJMkJ6vTNvgyrPGbHGs+
qi+mjo893zpIEqcv9nz3WApvRcI9fr/mKw7jIL832uVpw0jPfE1Ab9brNOgd
2CptUmgOgHl/9+4DqoNz0q9F4XJOcmYWa7SwVGRuEkHtqVFwKeyZfLpCYrqj
vwrcJLqXxlQ0wsTIql7wFZCAHhUPqd3QEkMO6LRStoZXM5j75Qouf3OOqSZS
iZeLYsOcYZGJnnUfeOiJqMIEqLDlJXAkYyNofKteNY1KDCfmOUwpsp5oIR5j
Dig8nUqjg6J0HarMsVEWU52dEVwk3KHgplwRCAmfDrySY8g8NUT6w2n9kEym
hzlKmuTooSZehNQqImBQCO0KHpQx4bdnGcqHfOU2ms3o2yeo2Du1zn8fHqrj
P6augWkXljoNPDreVSNWYBPvIkabdBbMPJa1TlDcBPZJ39I8mEwSrfslnJUY
8/IFEE1t6CX9k1psQYUgmXEvgRiceB24zHrzFbbPw1dzdwsE6amMElVQwlcw
7PbFc6QVmLkrGioswT3AJ0iD3miKR+xsFdEKRGt8iy5bmbdAP86KMhePcda8
RUEOw5Jws221D7fr7I9F3s7GVX2GvOklCnGNKMjMT2i3/0FLq4iQXkf5fys1
tTXm/01p6n8T1ZsR1V//f0BTlaTelKL+N0H9b4JqCOpoNKLKFqgXHKQ/oJ75
FD2TiE/z6pIOmVKbMNAgn4ym+ZISdLDqNhAKLCa08tm2bM27bDDqT4J8xdtY
57koDDadkLztG8c7m/wm6BIlm2Odr3iDLY1b7BPfDE2L+O7upi2apNV2VX93
kXXYNIz0fkkoIAzF4D+siaQlUgCTOi0SJFkWp9rbJBuINBPtfXKoFYxTqYxH
2ahENjSwOU3jKAcTvWTiHTbT/joB4xvlMmIq3Gf9rMub+7gunW7dz8dEJ78d
fn68s58+kRPeoiYq6fHufnqoZ7b1DM4IPtvb56rvMNBHXcOgOMvbAblJ5MPb
nSniT9zfdiB3Wju6NfvftPcT97cZKIAd/fXwywYKjviaFel8D3sHaqVKfjzE
Z6/Iweg3DvSHDoxG3YGuPDU2s4YouG5Fa3+uxqMvHMjBaHf9im6CkP8SPLp6
oM/BoysR8p+KR1cN1E+P6L+fR0Z6f76EQvb+fAHNDjKXxbDI/PmaDOYTTgvl
HhsRq8cs5kM28L/EwEGQcoCTgXwLD7iKBE8r1aRGqTy8k26ckNd8cz9l30su
nN9XDCURwFStGob13tIN7fUMDD0jXinlfxzD3jQz7qYbTzAc6dTM2TOfGlJb
8bViCeY182WnVHFtzXx76Qawq/Q2MSiY8XiXZM3jPa1fuyDDcXVGZnWUiShB
43hHHAncJACm0fBJX7cLHUX9qpKDblFKpgOanqnt3QzrzXJEEMtLi5wb2eC0
iYAZ03HI+D2Dh94Xi9UiqpeXzgiGpMKp8hjVXvwkWaLizCZ9sIyHCXWXcfqE
qyfrljhExTvcfbwD+d2ohqU/WBB+FOhktH7EaiLV6cD+Ft9hVjfO+lJGEVcJ
OoYG6XfoXX0kzqqXNTqKJ5TJizLs6WQ5Om/bJdYPJaAHGiToDKhkNhKVAHOR
Kv1gd/suFXp1ygNg5mlVZ1HoKN0op9UM6pxLypLESf9W4q7JtGk97AlWR/Wm
gAhoN2AHnHwuIcWuUhBlBWFhFnb3UiFTimSD16laKBVp4VYg3CV2IPEgIJiT
g3BCehvsddCZhqNOM6n5p53DAApv/qoS/t/eWE0WK1eirok6wJu/Fm0DX1OL
5NRIuoN048MHdUvscQSFA+omx7H6mNGyor1xLqPrtYMemIkSoiYccLdvwOdS
rwwQ3uR5kafcHzo7VujUJPu34ZX7FuRmpjtrly4Hzyhr2ztnU988dUBxwDzz
pUm908N3p0GGj2wiwdLWbqD+NUcotJSbKXWZWn+QV73pfjilRBBE41SGPD9S
veyUsiV9IXpWkgc3AQTXa4fJ8LQw+5K7uito18O19wRZKzTAlOqWAk3TrBNI
/ynot6WHHKtGkk8jtfYM1gr9P3XVz6VoNyAM+fwVvu4+kP2goMZrpiicqI5Z
a/zrGKQrDJWhakI6XQFQKWoDF0tT3uc5VoEy5cfS9LCicCIKZAYavqq1WB7C
ws9C7VAaIePz3KYU4psbYUxpVpZkbFvN22LpOC+l0DOg83dSdJS841RtEsMM
zlxaoIUjBVsQ7V6VEjsMYJobWyXyDM5nVJi6Zul8fBFiXYtajsZx0Au2c8qb
eIz1+MT0pKEK8lzyOR2YNPAFKuOyQwSmobLULDSY5976WRwLoPrE1JpWcw5c
SVaWbuCz82KpUcdcYBRtyraspi2NSwI6cUsf4fANTOhx5bTOs7eNpDVxQIxd
gFJBLhbnCqw66iOnTreKg0vgK4DFgkKXi8jqO3SBj8PUfqwVfh06xQQkPmam
oxKa7wFDG5KIbAcPTRx2JIAEMAa1zxSuuGWX1ColLJQCVlF3Xt/3mSkJX4rp
MOAJfWnrSOY8gpObeT0mj8l1HcDgTvAARWP5Ky7FJmDqX1cFtRSeUcncd3nW
NtqhuJMqjgg8v3R59zD+HA18KZV7xcrSzZLDJlnkErBnbJTkzEaV5HKJ2qMC
u9mEYripbA4+xFEiXJdnapeg8jYmX9EV8s2d9RJTdDDJdS+15I9+5y62NMPB
B6jaCpmxhV3BweREkDCgripHJVPkd3kky2npvWASbJeVUPswseZyGByFrAER
dzHHaNjP6qkRxdQoPbTQxa0hhKn6p4GCirQsenHYuhnMpFK4aPkkXGgaJwSA
0F9juBDcMicMiw0R+Ww5ucQkfgqrS6aXIJWB6JaX74q6KiUtTSJYqC2JVLq/
yIp2NEO1SatlgA5YID6P09dU8E6SF+zmiCNwTh0RBRK0wjqYrYkX012PtbI2
ihoYalVijedo1z46l7GhZ3pMiXfyG1+Uhi6+KG1i5Sf9IxrdHQDLahJXxP2p
fwSFmULFkoMgxZbloqaD5MozLuQ9XIV2+Em4Cph+NcKXqOlgt6BGHPCHi7dT
cZ0BjbqNWuY6PctF7cueNRTF9+iAxVXISGiESy3U4eJ1YsuyVES69oeSQYG6
3ND8MU7QZkIGYEx/Eooald23z97MGPLwY3JzWwyvgVqiuI7trnuy5Q3uWfqx
ZYtTrtKG6dvxuPTT5POZKXZWU/ZYdw032lrKewv7u+w8HNpPpLXRQx73D9eP
Cj/pF8AMYyXjhZjGnPbZmy3i91zDL7iG2zsP/xlreGXiN+mwKRTOHbd5ln4k
WdE6IHrGvdFqH37BuXG/8f5b9iVr4PtWhRbIgNhdY4EkpxhdNKW66QlzTMod
9Mxf+obRo0dG9/LFUV2PzY2j48PN9KAsq1UppdY+3CrqKRNfydKxAgLTWu+8
HpKGMTQ9I4LIylic4ODRovHGvMwaFkgcnGRLbvCG3YsemYhqrS7tP3FNd2Oe
RdWw0QUqdWWpKbnpVOTmONHNOZdsMD4Xk3StiynWNWiKhPDGGe06uXgq26zj
Hk5//a6q5nnWRSTCeD7OEbMyOgNp8ZR+SntnSuNPqE1Qwn2zCDiwmJ5hKbgM
oTno+VJ7GXuLqq0M4lt4JX7JAaf3tUiuGh2O6NXx68dDthcUUmCB1AnuWJOZ
wHdqwkSdodtq2ZlLE7/dwE8Onp48xsdRSgVZRNuV6yxO1xR3t+9RwYMy7kkp
SNNtasAiw0gqtTZcQwCBHexw3533ACgt/DlA62mzv7UVN2DcEhlkVOYXWzTk
YKivmubS+1f2w3JvcK+iZu3jtkeaewnvL7zxV+NjGYT1et2z+l3U97Dz/Xm1
pP5+vV9y9vBoJhVQXMnbgTz3N7cyexMNTOEb47obsQA98tAKn+3uZr8bDTai
qkQhYNZtNnqdihxd9X4AjM99eS2wrhvIjfPJD9l7G/fTtl7l8synhP8besmW
I+AIVzYbE+cYMJP0cYkh7S6BiQhRlzdFSizKtlvEcPnmkawrXQipaT087ULU
vqQtYVjJQc2bKlok69oQUve/nu5myU16EL6ilhk4grOE9jfWU8oOG5Zy4YaD
XMlAuozC8wkYjdmDNgRMfDdF08dQeUTEG05yortIoYPumagD1nljixKrGvWu
0LpqZMMNGAGXlbmCMvtCH0KayRhG9CzQ7DSmJxW3GyuJ0oQD7ajcYCmUWcYB
VtluiJHYIDF1ku/qqm/arr5vOgrEGwYi9lk4mE4Z4jzH+mPsFwOuOk4sXqNd
F/lczSeff74HpSv8YKcFfOV18YE5L0QToYNWBOESXmTri3XygEkLGlz1kGk/
5j0eth+tskqqWKDAF56vVkiWAqh+AZ+ZoiJ1AFShmKKlXmnUxsjSJ6E2Qe+8
Tq1ag/ymSBvG8IkZQXoFhmUIjsw10jyhjumCaw2xx0qjPE0tugQvmdZ35CQw
l+zoZeogWeyiwIqgq5Is1q0vG9hXiTKNK1GmGw1ds249Z06NwjydZxx4GFgf
nTWIBLeAXPTYacgdM506+0tiTQBYWswWCXaZauJnMCoGm+bJGi9qZtF6RZP9
B8a2QHJlJE7Snm5JG9A1e6I80ulUBweYzbGGgNYeiGZBfuMeTvqeIChEVYOM
tSr9jusBuzYqAlN/8BakzN9M9Z5CKkRKxz2h0GwUZF6n7f881VB7+31ThuDB
zs6eUFrOJSU4R54dffKOfXLP84EY93hRCful4vKttuwJbUHSt/U2ki/K1/V+
8/jno+d/Pnh6dPjzk6PHTw9/ht9fP35Djiiuwi9N2gdEM8inNrCiEBz+YzlL
PLL9EO/MMZvDL8rOeaI04Qv9sjDx+pXWJqXlXtknNemI6uKCifJUTeEecZCz
c4rsAdxqfgMbq1Lv2k2+A65eN3eKmRdv8x5WHjRKft3TJ3lJF6KHr60TTpTt
aZNi/MOtLeB1J3iFf/9WujqxtkZexyqb9bIQyslas3K9NNQnrCSJ2ysN6BJh
mHkFLc3DVuycKSlcpcNsMc8YmUFvK3EX2i0OKDSgz9HdLj0oJTpAqre7fWB/
JfFw6dU7+AtvhyuB4LKckxBlAWMNpwJWKVaJofvzY0TYArrUU/+d9m5z9rk/
eOuoIqN8eGs9EKmQDegy8eVDSV5uX1+76l/V2HQLhEPgLSQGEBpGNF+dFzTq
9491UPEKibDqokQQZ26gJ5A5/TyfvHVGltBtk7rWswkTyykXFvBpx9g3Uixq
dYVSNR5qXMGOYmJYpsLVJgOC3dD7Xygia2wuPm6w/+L7FumyVKbLJCZZ/UbC
Z0gO+xy1yTQpJ7Kv/ZVd9UWWt0ParRwmgp7AbGi0kEptU+b1hJFIG6Dj97gT
JGfy1gBRa5Bu4KY0GuHXFWZEY131Rhq9uAZiSfz6LJs3V72vKHiCEkmPwEGS
Sj/L13sv+VWGUVU11ZPkvyx7w9FYD/CCWrVs3KVbz78wsM2iRerw4s3QxQ/Z
Q7+BLUq5s6niTsdCZKpinRHo8tEiXv2rTtXEcSrtA8MWyt6Any8x+qXO5vtC
yCuux52m9imyNFJ5i6DED+fMmFKUxq6gIiZVAk1TV+2SKxQQQ9MGcoaDNFR8
OUu5EEIIWoTsG73oQ1sxvyDi6wtViG++ZoLgZBJtUKJ9f5vKLt4wErd4Ov9A
OC1mqqYHXS8yK4mYFnAe92LRutPDBQuTcb0NLe8ZgbThdiDIoOgGAGpNzoE9
ZAvUZbAQKi7bToG01NTAtyXX1TYUsBdX9pE6ZJfEBjOqK6/X1Nd79iwa63B7
+Zy1IN9kLtAmXfFGCtQhskhl2ANaxZ2qhcXmFJhgKu2LSiT78hfTFlPeAG2Y
oimKv+euRJo3lfygPdiTuJVQZDDjkoSC27QgYiZu0sRLS9n8rKoBSIsh14en
sn5c8MX31s5SFqK4jTSN7Wha1J5no5xsjtPDVc1NVCmmUEoUuUYKvtJu6kM3
zymQgXoaAW+XSscy6jemo2M5Sb9Nt4Ol0M5RZMFxaKfuIsTLE70tPJshDEpE
r9wZpuPxGDAj3QgfgT09DwpGhfMp/ksTSb2W0lZBJw9jkbWhuYhiuOLtaH1N
mS1hopbD6wgTO5QF3b/lZKvceSMXm549CiC/H+ltjfGWGZef1zpg7R25NShT
hsIkO3NEAgew0BuIOnjOTNqke2wHYGZDpOvvB2NzlxMueCvgwJphZJEOAjwM
6dsg6ZhCYLBPttZ/WnJqsfIDmow7VWub6ERUGLX/sAd3MqEi1WfzSzWPWHJw
wjzlmUs9SJKnQGPfnIDO2r57k3I7OrFu0KMcSdsfxmIkMJoc959wIfvLSLcR
wybFNPF1fIMxAT+/PH7x7OgElORZTdnPKgA1bKbTVbgFUg2fmhDEFT6uLlSd
8Oaxt6XgKC2MkjC+cYHfvXMLE9FifCIFgI7N9ihZCHY91XbhqOLxp1oIcypd
rcWSgzcdI77mYtc3B+VsdC6txQcZ3rfBsM7ogdOJ3QP4WG9Ia2z22KTwysYZ
q3KTc8LyBgW04UGuTJtc32tnQqvH+6WtyV1bPeOfFO7iIuNJkiehKLTVhH1W
5fGwpi4FYWFarqQsf/JSadYJM0gkYCt/P2qoGkshHQAy6VyjpZVNaXVuqhVY
dkg4SbQUY8c6SLgfKY9WTfnh8cHh4+MTMQKMUmBsP5+8On588Ew+uk0fhY+l
6b6Is9+Seug/5uBo+Jg8tv5zotbfpltIQ92n58h7v01jp677XlTCb68oZWQd
fvpW/DDZubi+hj4jAjb5O9eNb+tyxO/N8/KMNnTvaza1HB68OlgPQ+N6Vflt
VEzRCXmlNzhQsSJHY+BiZBS60sWofRmPfahyx0Y7IN/gNLV4qaWCVENWzdLc
fVVfg+A/5tuJ49seJukpW6yRQaF9+ndARjFlf5vubm9/1hlfc7o7D+595vEG
MgIeMGH81u7XO/d37+P/79x9YE+44w2Lne+9XpvoIcQUPEsg97/CV9iSMvwW
lCT33b1h35soQ8BRTwZpPDSh4a8j3Mx2fNvom19o2LvBV5/MX58Cp/xalPYv
9SI34eENMVxRFBuydJBcbwB70oE2/9cqr10zLWu8ek7xtQDywHTMHR8aewHW
WJ6aFaV6UlqfNz7x5Vo2Ui7G3Sta1P7vSZm/f/yZhDlE0y01IdDPl9NqT357
iDW/ex35DfCBQfe5xI5O2RxvSOtozD469y+lTjfiQHd3HnwmjbopVxGgfN6l
E+XZA7pz346dES4Qhr4jsQuNqU0gYMGA5yIMm64LTtuPO8OquUjMWLEfTO1F
VoJ2vU4oOdroDYALuFlMMiqTUJqKVIkDWnOdM18T30GsYCLt9R52bcBVNMEj
d4c2pl/RE8MsdkicNI4lv4P1x55iuvKiQMFVlKc77htG1PS7py8e/ekfQD5A
P97esozhn0pCUJwCaaqPfhAwr8Tqg9L1sQ4Q5QlpWpLi+ZL1IKnIHJzhgEN/
S+2EydZc42n3DQs3ut2apUs6pcSQa6qm7HrBzDtDjqTlkGNnrQzWyRphD/qY
v3eB2PnbFq1REnP+ZdQvOL31pG+vS/puX0n6sCpTLOIMXB/T0Tvssonf/7Uj
A3Xl9nURnvQ4DISPTbN7d/NJtpuffp3tbE/y+6fbdx98fWf7dPt0N9+b3c9P
d6Z3vr5/dxC8/+lvgchEmgHFsXaEM/4Olc0B1iQbuN5l0YrkuRxLhuG6jM5h
pw5FtXe8iWhGC4j0Og3GwQKf3Mvz3cnp1/n96b296YNZdvr1zumD0707k9PZ
1/fu3Nm7t7dz9+6d3TxYkZcOjdTsZoqP8uXR4Q4u2f22M+RPd+H3u/L7Hgms
0WblGf/mXfPmjn3zbvfNveDN3e2hf/NusAf2pvfQo90r6dGj8HZeQ3mYGcV2
cLTzRg1IPUfqYZElFxH8bEaZXsEoqdcpxo0VYteAFTvOuIbt7f0+bO/eP5Ht
wa7g/37Gfxbji6OYe/Bs7xq+x7UBHnvZ67P4nz/Oz+KAZU/ZOc6v9H1wE9pW
P2tUXLx3U9YYMMI7VzHCsLX8en7Yw3Z+J37YOdT4HccOd+91rRU3YIcdCt9L
9z1PmwAf297dO71/7+v72denD/LJ9vbe7p17X++dPrif371z7+696c7s3jTi
aVcT8jV0PFyY0NQHazmWkuLOazgYdrgddr4hkt7PcNZoRYQzv5FchxfFBS4s
15iI0Rfs7QXGSFzNYpfx0lb9d/HDrzoe8wRjEkzdgigGtNPBMQgADOKHKEAD
AzMlRuP3tS6//jezYfz+Cvzub9PfCej9qKpo8/mG4WoZ24WNs4ySai5t1BL1
pnTZ/MQfTBUTpHRDbirNceveKuybnpOxLMcqU1kkBcgu0Drzu+sjfeD6QotH
DLTA7pEeTNClN8+nZ1z06sM+i2D59Fu5NgJjLYtBo9r6bGHEKXYrfps+y+q3
aGdHSetcmtCcLFHCq5PD7OJtIfmmnMjDkQGuSAa2Dcc+VkhDsnqOxaDfaa/J
ePZhcjCtCzjpJ1ld5/Nh+l9wPD+u2Jn4n+iyTY+rJv2+qAH3NeanqG3foRmc
Lhb+HabHq6ZJfjwv2nyYHmIc5zR9nDXtPHsLHzwjRxkQrGqBUk/6HbayrKfp
wbQ6zYa6u1R2xwWDTkDQOEv/E9Z35uKNNHyTi9rQTnm1MsHh6q3riJIegPjg
snqT45ydZP8P/ZmvnzltAQA=

-->

</rfc>
