<?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-14" 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-14"/>
    <author initials="K." surname="Gao" fullname="Kai Gao">
      <organization>Sichuan University</organization>
      <address>
        <postal>
          <street>No.24 South Section 1, Yihuan Road</street>
          <city>Chengdu</city>
          <code>610000</code>
          <country>China</country>
        </postal>
        <email>kaigao@scu.edu.cn</email>
      </address>
    </author>
    <author initials="R." surname="Schott" fullname="Roland Schott">
      <organization>Deutsche Telekom</organization>
      <address>
        <postal>
          <street>Ida-Rhodes-Straße 2</street>
          <city>Darmstadt</city>
          <code>64295</code>
          <country>Germany</country>
        </postal>
        <email>Roland.Schott@telekom.de</email>
      </address>
    </author>
    <author initials="Y. R." surname="Yang" fullname="Yang Richard Yang">
      <organization>Yale University</organization>
      <address>
        <postal>
          <street>51 Prospect Street</street>
          <city>New Haven</city>
          <code>CT</code>
          <country>USA</country>
        </postal>
        <email>yry@cs.yale.edu</email>
      </address>
    </author>
    <author initials="L." surname="Delwiche" fullname="Lauren Delwiche">
      <organization>Yale University</organization>
      <address>
        <postal>
          <street>51 Prospect Street</street>
          <city>New Haven</city>
          <code>3408</code>
          <country>USA</country>
        </postal>
        <email>lauren.delwiche@yale.edu</email>
      </address>
    </author>
    <author initials="L." surname="Keller" fullname="Lachlan Keller">
      <organization>Yale University</organization>
      <address>
        <postal>
          <street>51 Prospect Street</street>
          <city>New Haven</city>
          <code>3408</code>
          <country>USA</country>
        </postal>
        <email>lachlan.keller@yale.edu</email>
      </address>
    </author>
    <date/>
    <area>Transport Area</area>
    <workgroup>ALTO</workgroup>
    <abstract>
      <t>The ALTO Protocol (RFC 7285) leverages HTTP/1.1 and is designed for the simple,
sequential request-reply use case, in which an ALTO client requests a
sequence of information resources, and the server responds with the complete
content of each resource one at a time.</t>
      <t>ALTO incremental updates using Server-Sent Events (SSE) (RFC 8895) defines a
multiplexing protocol on top of HTTP/1.x, so that an ALTO server can
incrementally push resource updates to clients whenever monitored network
information resources change, allowing the clients to monitor multiple resources
at the same time. However, HTTP/2 and later versions already support concurrent,
non-blocking transport of multiple streams in the same HTTP connection.</t>
      <t>To take advantage of newer HTTP features, this document introduces the ALTO
Transport Information Publication Service (TIPS). TIPS uses an incremental
RESTful design to give an ALTO client the new capability to explicitly,
concurrently (non-blocking) request (pull) specific incremental updates using
native HTTP/2 or HTTP/3, while still functioning for HTTP/1.1.</t>
    </abstract>
    <note removeInRFC="true">
      <name>Discussion Venues</name>
      <t>Discussion of this document takes place on the
    Application-Layer Traffic Optimization Working Group mailing list (alto@ietf.org),
    which is archived at <eref target="https://mailarchive.ietf.org/arch/browse/alto/"/>.</t>
      <t>Source for this draft and an issue tracker can be found at
    <eref target="https://github.com/ietf-wg-alto/draft-ietf-alto-new-transport"/>.</t>
    </note>
  </front>
  <middle>
    <section anchor="intro">
      <name>Introduction</name>
      <t>Application-Layer Traffic Optimization (ALTO) provides means for network
applications to obtain network status information. So far, two transport
protocols have been designed:</t>
      <ol spacing="normal" type="1"><li>The ALTO base protocol <xref target="RFC7285"/>, which is designed for the simple use case
in which an ALTO client requests a network information resource, and the
server sends the complete content of the requested information (if any)
resource to the client.</li>
        <li>ALTO incremental updates using Server-Sent Events (ALTO/SSE) <xref target="RFC8895"/>,
which is designed for an ALTO client to indicate to the server that it wants
to receive updates for a set of resources, and the server can then
concurrently, and incrementally push updates to that client whenever
monitored resources change.</li>
      </ol>
      <t>Both protocols are designed for HTTP/1.1 <xref target="RFC9112"/>, but HTTP/2 <xref target="RFC9113"/>
and HTTP/3 <xref target="RFC9114"/>
can support HTTP/1.1 workflows. However, HTTP/2 and HTTP/3 provide features that
can improve on certain properties of ALTO and ALTO/SSE.</t>
      <ul spacing="normal">
        <li>First, consider the ALTO base protocol, which is designed to transfer only
complete information resources. A client can run the base protocol on top of
HTTP/2 or HTTP/3 to request multiple information resources in concurrent
streams, but each request must be for a complete information resource: there is
no capability it transmits incremental updates. Hence, there can be large
overhead when the client already has an information resource and then there are
small changes to the resource.</li>
        <li>Next, consider ALTO/SSE <xref target="RFC8895"/>. Although ALTO/SSE can transfer
incremental updates, it introduces a customized multiplexing protocol on top
of HTTP, assuming a total-order message channel from the server to the client.
The multiplexing design does not provide naming (i.e., a resource identifier)
to individual incremental updates. Such a design cannot use concurrent data
streams available in HTTP/2 and HTTP/3, because both cases require a resource
identifier. Additionally, ALTO/SSE is a push-only protocol, which denies the
client flexibility in choosing how and when it receives updates.</li>
      </ul>
      <t>To mitigate these concerns, this document introduces a new ALTO service, called
the Transport Information Publication Service (TIPS). TIPS uses an incremental
RESTful design to provide an ALTO client with a new capability to explicitly,
concurrently issue non-blocking requests for specific incremental updates using
native HTTP/2 or HTTP/3, while still functioning for HTTP/1.1.</t>
      <t>Despite the benefits, however, ALTO/SSE <xref target="RFC8895"/>, which solves a similar
problem, has its own advantagess. First, SSE is a mature technique with a
well-established ecosystem that can simplify development. Second, SSE
does not require multiple connections to receive updates for multiple objects
over HTTP/1.1.</t>
      <t>HTTP/2 <xref target="RFC9113"/> and HTTP/3 <xref target="RFC9114"/>
also specify server push, which might enhance TIPS. While push
is currently not widely implemented, this document provides a non-normative
specification of push-mode TIPS as an alternative design in <xref target="push"/>.</t>
      <t>Specifically, this document specifies:</t>
      <ul spacing="normal">
        <li>Extensions to the ALTO Protocol for dynamic subscription and efficient
uniform update delivery of an incrementally changing network information
resource.</li>
        <li>A new resource type that indicates the TIPS updates graph model for a
resource.</li>
        <li>URI patterns to fetch the snapshots or incremental updates.</li>
      </ul>
      <t><xref target="sec-bcp-http"/> discusses to what extent the TIPS design adheres to the Best
Current Practices for building protocols with HTTP <xref target="RFC9205"/>.</t>
      <section anchor="requirements-language">
        <name>Requirements Language</name>
        <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
      </section>
      <section anchor="notations">
        <name>Notations</name>
        <t>This document uses the same syntax and notations as introduced in
<xref section="8.2" sectionFormat="of" target="RFC7285"/> to specify the extensions to existing ALTO resources and services.</t>
      </section>
    </section>
    <section anchor="overview">
      <name>TIPS Overview</name>
      <section anchor="requirements">
        <name>Transport Requirements</name>
        <t>The ALTO Protocol and its extensions support two transport mechanisms:
First, a client can directly request an ALTO resource and obtain a complete
snapshot of that ALTO resource, as specified in the base protocol <xref target="RFC7285"/>;
Second, a client can subscribe to incremental changes of one or multiple ALTO
resources using the incremental update extension <xref target="RFC8895"/>, and a server pushes
the updates to the client through Server Sent Events (SSE).</t>
        <t>However, the current transport mechanisms are not optimized for storing,
transmitting, and processing (incremental) updates of ALTO information
resources. Specifically, the new transport mechanism must satisfy the following
requirements:</t>
        <dl>
          <dt>Incremental updates:</dt>
          <dd>
            <t>Incremental updates can reduce both the data storage on an ALTO server and the
transmission time of the updates, especially when the change of an ALTO
resource is minor. The base protocol does not support incremental updates and
the current incremental update mechanism in <xref target="RFC8895"/> has limitations (as
discussed below).</t>
          </dd>
          <dt>Concurrent, non-blocking update transmission:</dt>
          <dd>
            <t>When a client needs to receive and apply multiple incremental updates, it is
desired to transmit the updates concurrently to fully utilize the bandwidth
and to reduce head-of-line blocking. The ALTO incremental update extension
<xref target="RFC8895"/>, unfortunately, does not satisfy this requirement -- even though
the updates can be multiplexed by the server to avoid head-of-line blocking
between multiple resources, the updates are delivered sequentially and can
suffer from head-of-line blocking inside the connection, for example, when
there is a packet loss.</t>
          </dd>
          <dt>Prefetching updates:</dt>
          <dd>
            <t>Prefetching updates can reduce the time to send the request, making it
possible to achieve sub-RTT transmission of ALTO incremental updates. In
<xref target="RFC8895"/>, this requirement is fulfilled using server-sent event (SSE) and
is still desired in the ALTO new transport.</t>
          </dd>
          <dt>Backward compatibility:</dt>
          <dd>
            <t>While some of the previous requirements are offered by HTTP/2 <xref target="RFC9113"/> and
HTTP/3 <xref target="RFC9114"/>, it is desired that the ALTO new transport mechanism can
work with HTTP/1.1 as many development tools and current ALTO implementations
are based on HTTP/1.1.</t>
          </dd>
        </dl>
        <t>The ALTO new transport specified in this document satisfies all the design
requirements and hence improves the efficiency of continuous dissemination of
ALTO information. The key idea is to introduce a unified data model to describe
the changes (snapshots and incremental updates) of an ALTO resource, referred to
as a TIPS view. Along with the data model, this document also specifies a
unified naming for the snapshots and incremental updates, independent of the
HTTP version. Thus, these updates can be concurrently requested. Prefetching is
realized using long polling.</t>
        <t>This document assumes the deployment model discussed in  <xref target="sec-dep-model"/>.</t>
      </section>
      <section anchor="terminology">
        <name>TIPS Terminology</name>
        <t>In addition to the terms defined in <xref target="RFC7285"/>, this document uses the following terms:</t>
        <dl>
          <dt>Transport Information Publication Service (TIPS):</dt>
          <dd>
            <t>Is a new type of ALTO service, as specified in this document, to enable a
uniform transport mechanism for updates of an incrementally changing ALTO
network information resource.</t>
          </dd>
          <dt>Network information resource:</dt>
          <dd>
            <t>Is a piece of retrievable information about network state, per <xref target="RFC7285"/>.</t>
          </dd>
          <dt>TIPS view (tv):</dt>
          <dd>
            <t>Is defined in this document to be the container of incremental transport
information about the network information resource. The TIPS view has one
basic component, updates graph (ug), but may include other transport
information.</t>
          </dd>
          <dt>Updates graph (ug):</dt>
          <dd>
            <t>Is a directed, acyclic graph whose nodes represent the set of versions of an
information resource, and edges the set of update items to compute these
versions. An ALTO map service (e.g., Cost Map, Network Map) may need only a
single updates graph. A dynamic network information service (e.g., Filtered
Cost Map) may create an updates graph (within a new TIPS view) for each unique
request.</t>
          </dd>
          <dt>Version:</dt>
          <dd>
            <t>Represents a historical content of an information resource. For an information
resource, each version is associated with and uniquely identified by a
monotonically and consecutively increased sequence number. This document uses the term
"version s" to refer to the version associated with sequence number "s".</t>
          </dd>
          <dt>Start sequence number (start-seq):</dt>
          <dd>
            <t>Is the smallest non-zero sequence number in an updates graph.</t>
          </dd>
          <dt>End sequence number (end-seq):</dt>
          <dd>
            <t>Is the largest sequence number in an updates graph.</t>
          </dd>
          <dt>Snapshot:</dt>
          <dd>
            <t>Is a full replacement of a resource and is contained within an updates graph.</t>
          </dd>
          <dt>Incremental update:</dt>
          <dd>
            <t>Is a partial replacement of a resource contained within an updates graph,
codified in this document as a JSON Merge Patch or JSON Patch. An incremental
update is mandatory if the source version (i) and target version (j) are
consecutive, i.e., i + 1 = j, and optional or a shortcut otherwise. Mandatory
incremental updates are always in an updates graph, while optional/shortcut
incremental updates may or may not be included in an updates graph.</t>
          </dd>
          <dt>Update item:</dt>
          <dd>
            <t>Refers to the content on an edge of the updates graph, which can be either a
snapshot or incremental update. An update item can be considered as a pair
(op, data) where op denotes whether the item is an incremental update or a
snapshot, and data is the content of the item.</t>
          </dd>
          <dt>ID#i-#j:</dt>
          <dd>
            <t>Denotes the update item on a specific edge in the updates graph to transition
from version i to version j, where i and j are the sequence numbers of the
source node and the target node of the edge, respectively.</t>
          </dd>
        </dl>
        <figure anchor="fig-overview">
          <name>Overview of ALTO TIPS</name>
          <artwork type="drawing" align="center"><![CDATA[
                                   +-------------+
    +-----------+ +--------------+ |  Dynamic    | +-----------+
    |  Routing  | | Provisioning | |  Network    | | External  |
    | Protocols | |    Policy    | | Information | | Interface |
    +-----------+ +--------------+ +-------------+ +-----------+
          |              |                |              |
+----------------------------------------------------------------------+
| ALTO Server                                                          |
| +------------------------------------------------------------------+ |
| |                                              Network Information | |
| | +-------------+                         +-------------+          | |
| | | Information |                         | Information |          | |
| | | Resource #1 |                         | Resource #2 |          | |
| | +-------------+                         +-------------+          | |
| +-----|--------------------------------------/-------\-------------+ |
|       |                                     /         \              |
| +-----|------------------------------------/-----------\-----------+ |
| |     |       Transport Information       /             \          | |
| | +--------+                     +--------+        +--------+      | |
| | |  tv1   |----+          +-----|  tv2   |        |  tv3   |---+  | |
| | +--------+    |          |     +--------+        +--------+   |  | |
| |     |         |          |           |             |          |  | |
| | +--------+ +--------+ +--------+ +--------+ +--------+ +--------+| |
| | | tv1/ug | | tv1/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 #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. 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>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>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>An alternate design would use server push, which is an HTTP feature not widely
implemented. A non-normative description of this approach is in the appendix (
<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 pull 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. 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>This section gives 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="push-terminology">
        <name>Terminology</name>
        <t>The push extension uses the same terminologies as defined in <xref target="terminology"/>
with the following additional term:</t>
        <dl>
          <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>
      </section>
      <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+296XrbRrYo+h9PgUv/iHRMavSoJN6tWHai3Z62ZHe+nE5/
MUSCEmISYABQstr2eZV7n+XeFztrrFpVACXZSQ/fuVtfdyyRQA2rVq15GI1G
yaQal9k830sndTZtR0XeTkfZrK1GZX4xauusbBZV3Y5mWZs3bdIW7QyeHbw+
y9P9Z69fpq/1ifSwnFb1PGuLqkxfLU9mxZh/P87r82KcD5Ls5KTOz+FlfvHw
1fEggWfy06q+3EubdpJM4K+99MPB/usnn5KkWNR7aVsvm3Zna+vh1k6S1Xm2
Z2bch7+Ti6p+d1pXy8UeLShJmjYrJ79ks6qEsS7zJlkUe0kK49fFuOVP0nRc
zed52Tb6d1HOCn0+TfNJ0Rbl6V5aVvBXW431C/i1mi8yPw58MMkX7dleuouj
LOqyaotpkU/k3QbWWedTN09zObd/RqM1yxP3CbyeZMv2rKpx9SP4P64S3vzz
Rvp9VtHffHB/zgr3Cewyz+HtwYtqY+dOelzBCHACYzqJ7WH6U3G2zMr0qMom
A3phXLQA/MdneXk6WfIn1QQGvbe9BT/ywbJsa3qqKDP6qKoBOMfFmAZ7Uxbn
ed3AQPRdPs+K2V76LitOs+pPzXi5kU+WG+MyCbdxtJEej8+qtjU7OapmcHb2
c93P4SQbHZ3ByprRMSDl//d/5+mOWf9BVs/h3Cet3cGdnYd3ww18nwOClpd+
Cwf5sm3GgMuv81n+rprbDfBiNngxf2r5gY1JHu3jpw3cyk9ZeWo2gn+mRwCf
rJ7473Qzd7fTV3XVLOBY0mP6zGzlRX6R/pCd56XZyuPX4T7eHO/7PfyUzfIV
Z3BZX/5p3GxcwhN4CNHKn23A/mcXsMrcLP1ZtqzzMvzmixe+de/uztaXrX1G
6wB48zr+tHoTf85ns7wOtjA+g7OzX/xrdkDL2HhHyzAbKJlOnud4s4+ePt7Z
3n4ov97feXBXfn2wc1c/fbB9/47++uChPvBwe3vH/7rrf4Vnk0KpsZvl4c4W
vXm4/2J/9BxIXDZ6fbmgb4GOMV2nj1P8uOGPs/oUwXbWtotmb3Pz4uJio8jK
bAP2vpk1TXFaEhndnNN4Lb5of994f9bOZzQU0/adrZ3d0da9JBmNRml2AscC
xC5JHDuBw0EaO0vXYMUpQmM9neUA3Ow0b9IfXr9+tbm9sZ0ilSiaFMgBrCCf
pLDXtIUxmmK+mOXDpMl/W8K6imyW1vhr047qfDG7TJdNno6zJh8C9qQXZ4BZ
MBZPPZ4V8Io+36SZjDLO02qaFoa71XlTLetx3gxpITQxMLm8xm8WVTlp0osC
6C5+gfR8lrd5Mq7KFseHsXJADDdICnwqzdo0gzOY5xtJQospynGdI2hhB8sF
wq6BtQNPInaa16NjHOvJOQI/XTs+frLOEEP0WAe4TIGb4Rbmy1lbwALe46sL
BS7soa0WuBSB6PshcCpYL65DwCE7GmdlYhYDIFwsG7N6XVxbCQBh78BM8MjS
eVUWbVXD+ZR5i3w66YViCmSyPIUjgeGrC1woAU5Gg4FlnFQ3419NYMEEfrj3
DL/0h+oCJx/y1nbohFB4qVO6olUJYJmB4DC5BHa7IDkCjma8rIHatEO4m+Xo
ZFaN39E6nKgBoHKzIy3J5g1ikJsbJ8NxSma1cIyvAZ7ZOzjayXkGkDslLAKZ
ChZCD0/zrAUKBzjUniEqV+MlghhGbetqskS4tHIrkhsLWekailXrGyRdIbI3
eJ7m/JKjJ8evp8uZXB2E7imQiPgS4MywVjj9RXZSzICw4ZP5+wVMCJTicph4
mAFKrFmoresVStcWy9lsPUVqCzLReDVSJyURKj2yikG0uTvEK0oQL2azdLos
Cbh4MlN9BqjBBlOTeTGZzIA73wIgMQgJMh9uEURBntxfLBReo2fZJRwEwHWK
C3u5ANwp/s6gXENArONlOS8ASuk8B+DThIrFmR+I8LM6aTNABvkaVgsn21iK
AaJOlU4zQEp4wmNVoheySc+A7aQnOTBepWlAw7fhHJUwngDR8hf4wwfhFZ8+
DYWMrSaHjuglxDSvI3tuH32X1VE8HEtIRJMjxbPELjXEDj+XwWFldsy1Ygqj
Xa7jUI6etJW5/XCyOxvpFxBEfGWTqCJBCqkiQAon6gdWjP4VzDfBI3YLkr0S
iSza9ALuNLFI+LrOxzliry6LBoQXaPureQVQVvyThA17m/jBHpprSC0tQxar
5BbH8RQ3pq4Ayu8q4Eke5UCbCoHguCvBDKULxK6TZav3Uj/f/fQpwTXyJXUf
34GPcVNKVt14iE1TIO1NP3WWYeTCOcJIm6QBAYvhO+SU6Tiv6a7BBwv4tYDH
AMh0djiUnjuShPRpUTftEGHbwLi1I6fhXeq7P61c0im8VZWzS9HUCLV7WRgg
qR4HLrheMmsIL63jujBcTOkYj5hsOkbTzy1h9x5dWLFFdsQnJaKFDgT/OckF
Ia/cwR6uFxCiQKQuK0v4AdsJGPOibfquIRwqCklDGQH3D3POUHKEseDc6jPg
toSm5mo7JnyWCY/qLkpvTClDA8bifudwJQSrG72e+god/Iv8vT13RQpLC+DA
ZqBbL0/P/Nd0IeXYySTQ2eoQgWEYNAAVQFwB6wCkuUrUQkCwsAW3u2mWc3wG
JL4KBh9VNa5ynjcNSgm4sTIHbldX84DyhIQxJdYQzCksfVLBysqqdRcKlCL8
eq3YyDdgeg9e+LIka0W9TqYMInrwyhJ23HvQx0tkHDoRwAunIe7iEBLl/Mxj
ZZqdgy6UnRA2dy89IG0+znCEEyROyKQaQt8Cj9utFE/DrRWOboL2mapE0jj0
51fggSClHOGd7VxwGKBgoQqvMyPhFEGneA47Oqsq4iln1QWtkpC2aJXENw4U
JN/BjShOiUec5QKEvC6vkugykqqcfF3gtRnDNvJJgof7D5XzFB0iXkeaSvY5
0l4BCAxYZQVlJz0gqfknyHsHoGcVDHjAoBLUnRbAfqbMpe/GKxo01eycTgKE
I8DMGoUwQM/5kCgR0rjqovRSewNoL4zE4dicGFTa5uOzsoCNCwyTC1D0RwAG
QPeiOQOSkI+r5hLknrkwbGSOKJIV00s4mPN8Vi0QPBtooQO1kaZI3P3Ve+D4
gdcvmlVyh3u2OvkVHm0SpL8Wcl1Wnq5g5dkMVEI+y0slQni7FJDz4vQMGE4J
9AoQEhFxI/2Rjg+fSgBSHmVwOxeAfIg9yIVw1/kkvihO5M4Iu5yZJFGM4jsA
lJRu+bya8Lwps5BsBlqeYJagPdzpDx/wYaD4SXKswxDdCOeWKfJmDzlI+uQ9
yK+NQrrtmCcQ1pNLpKxjtNo247pY0OIQmDkqFQVz53RZFniV5ZRgYTO0FV3i
LsIrC7Ahpobo3iOCWymZuByIHHhpveR8uchFPhXZlYVyJhGCI6d1toCjA8jx
HrLusG+ODtNF1iIsafPTvB2zLaMps0VzVuEVqXsZRJJ8+NDk49HJeDFCkxEg
16RogEc2zKkvcHX5+1ZVTFqaHFU2QR7vwP0dehseC095hVaiYiw4frIsZhPL
ZMXcQmo1Y/DO1l068Vu30iO+RWSmSp8BfJdwq9ni9C6/RNkUlJfB8zfHrwdD
/jd98ZJ+P3ryX28Oj54c4O/HP+w/e+Z+SeSJ4x9evnl24H/zbz5++fz5kxcH
/DJ8mgYfJYPn+z8NWNAfvHz1+vDli/1nAzYoWKREER3gcYLME85jUeeoQ2VN
AjADjDshhSr97vGr//f/2b4DW/+/xJgIcOc/0HAIfyAb49mIM/KfAOVLVGXz
DA8zJaEqA6oK9x6FlBROGgghHgoA8n/8FSHzt730Gzjb7TuP5APccPChwiz4
kGDW/aTzMgOx56OeaRw0g88jSIfr3f8p+Fvhbj4khHkBQhnRWEQSexrEZp3F
p7kE1H9PQC31DQSb4/Z4NnAf1PnyYGMH77zT2/FglbrioHlAcUAsadAFxWTH
C/84nUgOeN1u8RV6eY4fATH4cKuSXz/RXrxAEVyDD7dq8+enPvsr6aDwqFmW
6nWBDQPkVqRaRTMHyimMMrO60ASmGSMPUK1E5Y9AyhcTitdSEiU2bEMAuhG8
xBgqNHuipriVRpKvE+WwwdqEcp/kLPx6gqbaBcyN5lnLWMkg5w+EbRA4eZcg
euCFgghuOLMsNW9I/AsU/Nzb4mrSU9jOkXYMv8jUVfCh14Ro9h0RURRkxhVb
vETzBx2mhm0ME1X0EPV4nQBN2GbDCoTf4bpbrKrfllUZvTjmuWxX7Fkba6sN
DNDIjZhWYg9OLLYCfz7ssp69ZC/t+Zi18RyvI2sYOC5qKLRlMsqWscXbG7gE
Gg2dIFqX1Z7l1MGcUJB4t9dvCXeEvxO2GPMW0BNQxqqaLXshvjrBTy9an/wM
q8OVmXPuwTsP1CJAPRJxZ3DwSq/WMtT3lUdPgNMAxBGjHnuTeCjpywwWNAj7
H3H37m6VeT4JRFTC+AU6YIxxY4V6TSsCmaA2hph50VrAB/YyklGWeARLUBsA
p4UUlBOQONszGI1OtFI8QGvEqJqO0OGf6r6MpfWqewyDBTd5iUjfLkHozBG9
/Qk6NC6cPks8ZDRK4aYiouCdlpO0yHpilHo8kMvIBpCdV8Wkfw8w2gnIjWhE
7npKhsFMbPsjSTRHhqLeMgAiAgudPhiNMEUDGBkieidEDyxqlGz6Vd1kSCQl
f5+RK47uBe+TzEuoomfjd3mbzqoGWdirOicJ0yMXXeaej+1lxinpRiIXzcWw
KhxmCAoaLw8F8AVMU6D9AYEH4wH4ke6Pjl6/Di+4J2Q9lo/DztF3jhb+BDSc
FqjNC1vgYxs1+DUeeyuuOr7E8AIruortwsVoFQGVROMtAO0CowkoQKQVowVf
PVKZK0+eQE48L6plsDw+8wpPlNGqXxFU02SgCsq99LfyTNxu3ZUa0sNIRGqM
E8/ZeQs0MCsDDRgOh0zSiHtC1vgsVFkUiSylXSDZRFHW6rWv+5cTiQiBxkd3
FE1CKPoSYyBNJAmhVuJtQw1XrNAsAqqKNyZFDt0dRblEkAMtbXIg8aqqJjFz
ZEqDqgdcnQzBSrKHCI1wPVBhxAUTm2JNDZ5QiT/xLAbIt9fIIp+BYu664UNG
eMLLVTOBTVB5ZjES5UY0jFaAus6B7ZcRq8zGQEBQTHTlYnB0XqjrFonO+Em+
gGvsfUZkqFCXLcJsySSs6ZDLgBc4T9NGQEGAqdR5NiOBh68mbXIBEgYS/1jS
JxOtnDQsbFZd0sd8GJ5bAkqlrPDCQ2SOmKnWSfB8ndfI7GfV6SWI3K3/6xPK
MKDxshlT5T18oBHf/cRxbvXytf26iBOS+HWQjj7XiEiik5omyYiglNCZKLuy
tlnLkPSVkmy8aE5Qg0cfTUCUMILjagOIyE1XuSIB0C+u+Npta1HkHMIB2nMN
5F+M0f6N7KRatoH3Fra8AM5n4I8oolckXWvPFWrmtMIDYrVdOCPqNuhKmgbY
7/3Aac96WFS+YvtER/yiULQDXQWFgKwpxsQn4G88n9D4s7Y8XWdn0TxDq/d4
tgQeXiGDXrUk2P2bzhgOwKzhoTkvG1+CBDiWhy7Oqga1jQnZ9IEpNWr3Ed+o
C8ggVIigEHqc88mpKt/8rkhmRZvPOfgEtrtUUzwMpWMDPRPqN88WitHpWr5x
ujFMH1egcjzPFsNUMQn+WCe4oAjL1hLyZgBOzvIQkOjzUxNg30FFcz0t0DyZ
I4fVaXkmQAjcCdyF6JyQBJNOjBfTHfQ6i1fo51uS9ZnUC6J6cEx/4W3j2Rwp
yPGMADdRxxujbut98yv8bhvpU/aJh+ZHfyI0u0CYZLqmqUANQuMUm8LhxHhx
s0vvuSGxA6E5r0BGrkpWCpnpw0nl4yWabmeXfEmIx7sIrHI5P8lJa+qlgkj7
YOCBrqkZsMA/9Y4z/SpeazRFOmgGaCpuM5Qeou/WGvwY5LnfFPsJI9EhiZYN
VJT+ntdV572i7BwvzPGk7GwQkKWcxOOTK7XprqZ/1GPhtu56om6E92+WjVlQ
xYMPrS9F46gUQ6V/6K6C7YkswIWj7VbNc+0EQ/KyT1ZIaySl/Ofxyxfp8xzA
kb7K0CoNaEqf0V901a0PLHVUgiRO+LWqAbtYSJZlKVqsFeusJ1LEo//413Vx
OxsUBXmFXKlFejvdTr9NfxXb6oKdkinHf5wBGYXnmbJeFA1cq+e6iH73Mgm3
2ewiu2z6Dle9YzrPpk6xYjQkLmi5ytj/QlZkIvaTFajzxtNUJiBwfbw1SskG
vYr0OLKGmEWOz1Q4ywviK0RDnUGvz3lAh2eIupHuyItPdm9CtAKd82sVEG0U
TddRwUTNZoEO3grXAR8wMzuToYrYO6oTVeHK+BhJ4C2acNNTNxreg4NbxejW
rwijA5nTw4GnRCh5RyhBS7S7kMirgaMQGkvKtqOs+LX+8etQdlrQKn9l5wAx
xIAsNCpAp4riyIFd8JHgN30mu8LVDSl0FRV4pMCwx/8FP5gSclFI8Po1P7dH
9ud2En92O3oCPviYpgfCP+HnY/h4wp+lRyALoUAIv39E6/R50YhLGD9wfDvl
B9BtV+MVTD/KAK+cj4ieT9NXFUgol/qCFZH5bxhgChRMBrhmC7ev+Pu2AdvH
EFjRn93vk2imL/25nXxk4UeMx1/88zH5GO/+i9ZDA3W2f/WPnnF0VjRQfACr
flY+pwPFqLASEKue8wMdKcu7tX3lQP65nb6B/qCt8dcfb3Y+m/Lvzz2npoPe
5GfT/fZztOvPW9Gm+d2uyeKRrqhf743XE62pA+x+OHe/jj/xx5+259v4QTSa
7Bq/3rFwpE925YXbq1YU4McNVvTRDxS+3hmo+3v8UM+KvuxXDyMA0eby1P1a
N/Lrjv90x3+66z/dpU//4BXR3x89fm36Xz2WWlQMv+FB3RX56PBr06CaA2mI
ih3QG+L/UXGepv45mjdeT/dGOQaEM/zsp/45mLezHuWd+shtmeq2vvlx1XvR
i+6Rn+XNj/LhvurTAQz0Ux7j228/fgs/m99+K3/+TP+jT/FDHzq2ueuedwZh
uw67UF7JR/nQ+yzsOvynSRpQV71pPR/5n9sR/D+mj9kn5nmB+2inc/bmy12G
5u+aP2nPC4SNMRMV+Bnep297dQaWSmMdGV6h1+Dufas+vVotMTjHGnmRvUN7
neTH5MNeemtanI40KAFkVmLlo2xWnJbfDsYYBlYPOPvs24ELY1ADJOUIf8Ko
IjvKp08Um0JCvbiZ0mI2W2IyGcmK8HllhnKeChwuEbMMm890yRp45oKS1HiD
r19UKyKx125tUxz8rR3VQoDjs7IRW5xYtQBGTx6wKdmC0BAZLIdDnOHkTXwm
zKIINHR4w6MpoqxL4lZNSWYl2eKCqDXe5Ub6BM024qKdgy6O+jhHQtJtjHKY
EucCiL3jzuzi0YqsLWRe9RrOWpOThpKAyrFkbwoZtXk6CRBbj0MEjC8CDa3b
62SdIBsZBSuQA8Ta8m5tD9WI0Zxl4t3yMZMMRTZpkcGcYK/eORggubXDeTmT
grxjAJxgBRyvDKyHLAFuKctFVZpXeJ7EBcIS8PzXPCteGRO2ozbV7/HSkUuA
Q8FNsG7fHeVwfmsfDTP2aIFN0ms+4ESH1TZbjlOtPGr4FMhkRTiC8e+sgaI1
UyVSApsDSy27o5JrzPq3bqXfkQ37AFXx5+R1gfcCcKUfbqGiLl6XJHmqRlFn
cBK7K4YUYS4EWnl9bhP8uT5cEbbDQRZ+V2KJcCZs50MK/S8K0gii7DpLmD5Y
X36djd81UcSITWXANQoeqQ3g8KDxd53Tb2P3vUT5u13xddhm2KDHfF0CXPFv
sgKIXYJXS8ih00ULUgNElrbZqTfrNpLAZA0lznxGTzbpORB8DT5k6x9BYlwt
cpsktY55DanYsNOtlDzsBC+y/vBxFWRoJDcNnPF80V5ulphnuOH3xfaWxtu4
2HIDigEbKsfLGSbj0WNkcSFLy69q9eF3KFuOYredjeYq8wxP/xdvFF9kcHLW
sbnmyQF+h+a+moJjTA6rDLeJJ4MLOMtMyKEAeT1J9snrieGgngM2PmiTyCyy
zOUpprp41nJf3DH2zIeJw2xE4/uGalkHTZBlkz4hf4wMAzNhPLwbJghm83ks
ocFVnZ6BvZUM/ON36YzSl/2Axnrbc13lph8ebG/tjra37qxjJE6LqB+N40yn
vbQsGubuuqbswTbjgQzNo7eSw4MteGcX2NmLqpU4bLpeejN6MGIvtjHSC+cU
OXGSS0ykuE0weEppTgBajKSggWlKSsWEf8+Z4WkUTsIebXEnYCUX676BvUpM
Yk9ulj4HmzNBaxGJkPdorF2Kgm2ZzjVstaV3iGMSD+oFv5BZSq5F//3rDnbQ
QvExsSqf5ImLLiVXvxqJvUFX3IJxPmUE0d71aCwV7QigA4g15Gw0+E0+uTsk
azYDwSGX0Bw6HnwbUB1XTjG9zVVrajluCQcbqHF/kNDpRoN9gYW29+f2t/Rz
+wsGEKUzBTptNL+b/2x+4Qr4pm17ve7jF8z/cfOXX77kdV2tGemq14H97aW7
d3a2tx7eT0eP4GFceWyE+UfNrj9I0bYBZjspmk7sz+eC7udQ6/+Hg+7end3t
nd07CrqdfwnodpCw/5uBbtO93vFJCOi2HjzY3nqwpaDDDXyjD9FS1EPyHdJm
lVtwWTzZt486swuPkw2smt3/CDtW0G1s2P1/Pujs+18Auhu9Llh3d+feXYd1
d+i04HWSDL58dpQpbrZ4nOgOPy5YFyxeDuLu54Lw48Yv5qPNL8e+q94mCN5/
sPtg9+GOQvCuRT7Ev8+d+iYAuwsguYcA+yyw/FErEcS5v/Xwwa5u+94XYEpo
OFueXmMyIzsCa8hPWNYbfJK0N5G3n1Ua9Qfy0TwDvbmhXz4F/n6OPcjfL6qG
hSgyBoV5RyiWvDl6ptpAI2+qXeEiT1Dj9/rrTGfmCYeiK3u3uGYZgqyHsdmY
Z0J6amLy0FV/6wuHCCo7cHCmVdJRFEwG50XdwkADNMFg1hal465lk1+zMYXv
zkAoWx92w1NI36kqCWNxFqEE0yPJsvXhA2iv5Qj95p8+uWBXCggsNE+1LRbN
CF8bLetivU8mZ3kvs+kNooqH867W70goTSJg8xnBO36ACww1pzozbLdAwwsn
rLnBRoIan7ri5TfBVoA3bG4CsGecbYswwfB6AybE6Y+/pIDAKT0bHJ069+GB
Lfc7/UniEb1AYUv4pwrz8YO75oOf8YO7Zlh4Mf56RwbGMeGC4gddsT8YYice
Yjf4ejde0Z3OimRKFxnkgoKQkdAi7tIiNvqm7w6nH4R/pfLBvUR+nedt5ggL
TO9xAL9RigQPbmxsxPRGUOAashMTFUN7fEUCDuAiBQ01dxkYK07lZV5TFlEO
b+EvgECN1iVCGpGY6l94y9t6OeYr4vA8CqZ1prtpS3XY0Eeh2l2AuqlXp7w1
jrVNWhfQJbcsvdR2UhwwivTRIBoelZT4r4qvcO38+69f9Qf/FBiujeDH44gu
2ObydPMb+OebXx/RI8nB0tQictXtSi5FEERi8boOD5oo29GFvANZnC7pPc3m
QgLkkpcu85Z1VbWIrMhuFJX0HiYRbG/dX0cN1h2W6rFIGhSMZf6+ZUDRhESQ
UOOfTNAQTbGVlDcA4yY9kU3O2CAZIrOsERvLGod+EcnXAMrAxpUI5GgFFnz0
tnN09Ewow2Gk37o5re+fvE43+45Mnn/kfsM35QiBLYc27OcU7ii4dVieZ3VB
daWSfbUSU4Awm4cxGzeKEJa452zMQfgASLbvDZO8HW9IlHchhYDysqGqFVzk
79LzaTalamWrefYOnQe+bAuavYAp0x94wnwzh2qEcRaY8yIzppdkjQdshp5N
wBK31jn8z7114nI2xHOXZzXMUPv8X7FMYYrNKaXYiN+xN08rrA2Dx070xFYT
XNRV5lwUjrYQBUJEDW5GIhIOIsfhgavdSBgbWM+j+goIb7e+xK+dN7wN63xe
wSRNJzk2HIdS7CWXMAm9DYXDFrbnP+YUJKpjus8HjNb+YTrDaL9GgiNXxCv7
IFh0HiCC+0DncIfqIMas99wOGlkV/Uh6H4nElrQwZ3osnZGtbHRMgh2lFhEN
kpBvqprCrgYnLa0iSSUZ5kuOzmWjmxR5u8R5vvkWv8P/5rRAwi+gRM7Y3bfh
tfz9OF+0iL8aTdrmpxSEDfzmnIKN07d/xeI/Zf63t+wMeJpnjSbqpc+656Aw
7psx8E8jTHACV8IntdnxDDuqaMpZHFTTQutx4XI5pFi9fmjMfkeQrNL+7fLy
B0dU4aU5K6btgJw3gFpsR846nnMLPYDDNsBh529vybdBaZoK6fi5r/DBr+yT
X4GiDYT+q/RR2orBFR5LH8GBceFXeB7+wgHLnQ3x/Gm2aaASYDkpoXfOOcrk
sjEO1K8ispqIzIEvwA3N0PHl/X3qbmF1g2Rn44fEumICIdnO1jAxTr8g0MCB
4u0HkEmHKHDif3aHbGom6zKw109vN/BG02jbw4TS2PGN7nMEHfzKfwAIwL43
8jz78nv41M4wuXKU6FOpHOCHE5cc41hZeYpt3GIoZcP5oBFlBZIvA0xN66J5
R2dGYKsJA42HxI675txPNbI3Pph1nU6/bajwQ+K+lqplsX/FV1uwopBTl1xK
rSwgQS2CZtrthE6Ld/8HWDvcevgw/VEKIILyrbUQWUt3X2joC7D+ltJ14F2s
ezzz7n0tWUa7DUMwNBQiqFtJbo2uf32tWfckVGuAZWGlXVFUTS3BfJJ4N7BB
6DoHblm63AyuOtWJIgDmqlaCRVXwXMkKBduVx1jO5xnXSbJCHz8iOQYyA7zC
6ALadDFfzocReaUEMpHGQknZc7MskWRtoJDUGwA5PMuqTA7wUhPsJdnYK1W6
Une5gcRjwQ4LfRWBfYFRnzM8u0ywUK4TLUR+kTUObYonjKAI5PV2/WSEo6Du
fgBaXoGhF526WaSSUd0s+BcL/7oSWfSm8V1S7Zqe0a2YwooGPPw2EoW3WRb+
FdWX29uP3qIYmwSqhdSbdnh0Vs2khqyWiVkCeGZ2shM8mEA0XbNJvOuxzULC
o679oaiwNK2uf5J+METhY/pyAaBbIC1oiDRFsVP22U6cZu/Po4/JTYOrdQ2v
XoJ0iJhEAT+brtaGQU33rP9BTHSi/3bfuDdabsrrjc99aD+Ri/GIx/3m+lHh
J/18OPToYttWf/7cvY1GvAaT8cQBJRwk0reGm+1t9EfuTS/XZ+7tC/Dsc56N
YfYrwex2H579w2B28OTZk9dPzC3oRfmb381HX4CTj2eY+9xPFaJnbwYGOrcq
tNYFpPkai50LgPUyxzGXGULGIrTyFYyDNrx9X0zRlVK8qJYzCv3sqwXJOpGt
a29KPiam5CMmTQe1HaWwxSLgUNmClHQaV8Q4LFQHos37dC3Rio7rptTC86zM
TiXtlMJU02MT1PrYH8GHWzb8FC0tWIojqONSBgJHWE/EV/QqNBTPRdSikkbq
ICgYaW/wLKsRLuD2Cv4B8tGcttQVjUjbLqawwsvxzJn+PLZThZRqSQKMlAp3
BTRtiwLJpZZCmfCbNzB6iQPzsEH42WOZh2VP/kwql5h6PHN/BlzF7b2U1UWB
oy4FCIkpqEEVVLEiRkEltLE21riutL4d7wS5vso+fBZY7gd2fZGfJKaEzNAX
oVUzKZXpE9EYx5pVGQj72QwLlhJsXKQbnBu2jaI6SVSfSe0SfhyfLT0hY5XU
aphMgLI0udWtSKDAo+AdkHkNS/FaeVBLEi8oYKuylbG/QpxfLFtSg3VPiTdY
UyQgo1yTc+kiCZ1yEah2a6nZGuoEWDcdQ+mCyHhjZ/A1d/QUMRB1gUdgDhje
R2gmDE360heZQ0UCW1+IvTH3J9MT8SgGeEYwVtZCDHMVc0WobwNMI+VB7pOA
AwGX9BbNpfzquFZB9PYwLjrkivjwSqVKkdgTCWJyU/36VGfxUw9t4Fumypu5
JvAKafarZuIaNTXaya8lHlTlia1Uc67hDBoeTeHpRhLC0JEP5851aes+/pnv
wIi1ISqa9jzD4UGHSYAx1I2tZ+FH9GXcsXQOL3PIfiCMZEZSJUSNSsyDcm3K
iduFFVPiKoadwK5rb0gOA+E3QPnO0AeUBPQRzWGEg+Qowq9i8GG+wYz84Ki0
FXP8ZSk2SbaO673rUry4Eh5qkzQwLL85IxZK9fQvuRwZurzD5QGkp5VcGw8u
OtWar8Ila7ZSF0SW8h84L55Y4sqWS38Jr6nPKzFmeFj8B4ZEW27n+BsTC1Oi
igvPNUvSux3asmoNKx67YjcNOhocc1RQobMHg1qzZVshDeTaHwrn0r9+9SkY
lk+398CROTpFCWNqmJrYElJS7mRAnawG0URlflq1TBOU8GskLGYCWOZN8Ht2
DIj26oWFVlwiScu+7m5s49S2dYarZc6ZJSuevCNBBVyOzZVkoQ3Y9bN9UYu1
p2jdWpa+Aken0YQWlwwrCwIQALpoOmVzpUbmB0U4APhcbI7gHzfMuEmzI7jj
7wIBktAVy7BKuwDcsbn9FNU7FCNXUBS+iYrKYWaQnBlJw0EZLTVdOKHM18B0
fi+xC46RVWL528sEAYK9JIMC9+ghooLYpsGKLUBWnQtV0Yh9zaYy4pWrn+i9
t24fOhFxf0dGKHOCyvOTxJe4x7kkn/rJ/TJWt8wKmC+7iAoQEJk2YURLb735
IdXBncZJNkHbMAOvBC0zI/I1qz1HuAg1D5h0R7J9vrjX0oUvK/40vDHUKACP
0lbKdG1QerashTW1O04ChBSeysqczG9MVH6AoWekDHna8DQrZoS3H25N+ddP
egfoSBAoPexj2fCd6BPhtSZdb8w58k9UsfqPQLzxzqdp2pYB7LE8J+ePTaqL
EqWzTuMEpPbkFOGahbpi2ZozxGN2ESbEUTsO34fKvKEbJHwJ+deaqS2IVBGb
CYLS7V+mfk8UGaLcDdRCbvQULCqu/slpb9dMtCPJSDpXz0SITASEnaE1ydJ5
msK1cVXRWC9k2rfhh9s2DSjMuPGQeFEQajps0F9qmKg3clliHBl1kaCCNK4f
kckwRHIIRycqC2chXHKdTxBBEpOcaIqzasMVyliAKx9EmLGQMHF6ZlB5LEHs
JI9IZtQLSu14c/RMSpOH9bqYD/c1ZiCQvMvzBVPEKwYxB5/wFeJ7ENYVMxCX
gmI2H81CfCiND05BTye9DCTpoppo84rWaMVSII8kdvb+BWU/9UwwmzSxbRao
YKqmbpkMwTq7OMGsP3+nhBU6JMEqbT2ahHM/GUIyy/mGt9T51/gNbMktENR9
X4pF1Urcy0F1DHygxbXw1Xsdgs8sS0ImAEgzPH2gkbnbuLPOcH5czh0vGJ5a
JMvL2aE4i9MYWTfANC4Cram2UUkpkT6xUyZcAhJ90OdEZDicgmsw4oUbww1l
4FAZ3mF8mKdZUSYAa0RIlfL4AJCalyi1cKHpE2yqd1qSUwWRXwo1upMl2rmg
NsMoMDn/pi1lRl2GtJohTjLDwFdBOU6kByIj0nXSqA5nXIu2wIkL9D1wkXZr
h0cH6+m+lQQ/3ALd8RN1LVIJUYlpb+ctOdfe71xIX0ITdRKQOWrFtDYY+I6w
2A7DtRkqcpDEqQcGujMHWImWL0vDHNl3o2U6QsO4EqXEdm5c69RUYE8GpoHj
JvU6RwP77V+bqhzwzI/NEgF2sGLtkmAXnwLxmU2c+iyutRnXJmZHspNCExXz
723sOjFfepF1O9NE83C5bh6Ke92IoxXBgODB+e2aTaSaPvpB4z5NFT+ORiMw
U89fG1Iz4rCzkenm+zUP8SmNp/s6sVONMDvfTecQ9PAAI16PW6SWbqQrFvN1
orZucn8AQGIT9yzHwBQTCW/XhHZsEhLpkKgj8lV7w2JuLHLTWSKt0WgbFUBo
tL4uEZ1GOnyEg6tnHAj6SAO8HJtL4yDsKs5ab3ApJt7ye57NlrkmKosuh83n
3NUgyqn16jqLhTu6yOpM0sLR051h1JwURyDJLLB+OR0wcCULRaOLDhQxuE84
xhxLNI4WWJSRb9UwfAY/C7+G+a8dZXj1EECmmY5OfVAHB/NRGJqq6huEq2Sl
ce3e2oC4cAOWclxdVX+he9yW+gVhSLbhgqvNxxOQES3ICmDbjYRTEARS2qUp
tK3RGzgKowMZQRmb0JoB2u6QwkWbHPhQW4wbKRYoqp8+yXtgic/ZlyXl1tc9
t29ga0hU7VDJYDjjGFJzAF0O9Nn6RkrOBSMQmyKUjJgtR1gACEHV8WgfVRso
aTNST1ZPlkRQL4C6TfaNsoH0jq1WmTT+7pwVsWMCOEkvXFgUv+6cAYjY9Jn8
1bhoG0k2QZnF99AznpkNoi1m5k6vDz+uROaJqLVq6RwX58RG0iwoZ4IP1VVh
ZX72Bvgr8y9mtSj81cUJFkzWS4wN1Oo6u/RGEkN/CHHxJC+vrN1B4GdhzSef
WFKq1W6k4DpG8iJm0PSXZAfK2x7HxFfNlaWwG9KabDVrr/obOxCGPcJvILNY
bw23NjBNo5KwvYFrcoyFTRpp7CuxzWqhRNwM8S7VJP/xZcLxz3D7z4oFSoQS
Fl0os/lKDwVHlh00fqQjjnp0vTCPtq3faI3fXTfPb0nUpCJfML401FJAHW2h
1IWNCxGDj7bDFCW/RtubL3Ss2/oqRZvI+GQs9+Gq4Sss77tCLKYwgEaO8YCJ
7BNLrurtaZkKtQJ6DP1CTahpyRZjgSYirOzdiWqiSRoQZiWHzRoIerc2ORz6
R1IrWsI3nEV9m3HBTRw5KmcVI4G5AtdeYgP6NpRqqI3iRIoq2HQ46iq27am7
K7CRkfUngRlQxGD+Pxm6fABy0WXWDuEqOBHJR8Jr1GhEK/FhsRnXKUTEdl3P
Q1xIGSbg9G6ehmTqtF9qAlGSUOPFib4Id9UXOPFG9QfGVK79WD58yN+PUMn5
pNIRvsyV5YOL7KMe+ppBa+tQlrhc1MSGF6gH88uRYC9KuoM9J+sOQGuDP9nH
sLdJqsWGLH8DZK1NeQ3fGuo7RjfaS7uaiX+F5Rx6jVuZ00pqro+LV+ZzV4Pv
wCubZogbL0veFdnLzYgXZC/9qwERrulv7oFA9dszSsKANoDTjUq4BTxKuZzb
/Q3+Jo9/ioFwVi3GoNN+MQT0/X+/7buVrdw72Qfy0VTaC4x+DyboIJs86O8E
B7o3F21z1Rs84T8Xi0AXCSE7jN7npCCsj4cDTIGV5b3AZ0o2glXia83nAFyI
4Ca/uALMLegsm2SvGrFz42aglbHpDdT15s0K+JrU9JimDaPvYioTfx9cwPjL
lRgqz93kYK9Rpe2zfRT6au3zms1Gr3eV26uAcd3L7t1PBg2FR8mxI0K2dTWD
sdp6eSNcJIPWFyAkgO3iaqS8wnR2I+zEx/8bK//dsfLGwPp89Ba8dcY9ltqu
NO2JcGhbmWkz1EiYo1o2r64T5tA0aDIdWu7EBxT/9KwFiZna7HHCYKACooS8
LI0jOlHl3UQsaJMpqljZ44pmfb4hqCYWHdgQ3nPQEnjixpL5xd8tLjanu/RT
AqO+lR4O3Egvsd5BKXjXhMYN8a953I6MdT02dGlMDErWJsVCY7WRyvjgMq9Y
U8m6sJasalFiSIp8kCe+CqvoPLY5qyo00vpEa9lR2kmy5krHsRdUdT9RsMQW
y/nBYTyudUH61nYYROFSpJxS606jqgN/q0TALvJ6kWNREgzUMHV4I8Uaja8t
VRjR8U2dTOM8fL7/k3hSsaQohcayv0xiFNll27MrzHSkIIwA9pOcO9XlrpEK
hmNUdFEkTASdHG0eQET7RVNAXgNHPbG+e5Nn5cMv0a/NCiBl0xzJuX24JXVV
fuNIdJv85kN8VdsNEyt7rBOc5eSsJ4DKjSiYGrFOeTQn1cSYvrwxeIWzyLIw
senQCCbpzSbEWT8N7FMqqRovTeykMU6T1BrivtYH/orDszOFig99/Tf3zUse
i34okli+Y78NTO89K1RWW6B9rXcF3kTK6etCe8822UTQ62SWSh6V16Edsa8b
JaGFWiGLHrMVVughM/OHD6Tfr4exUR1TKoZPWIvDHLC4mthKpLmkI7Mj1DVe
dcZGy/GDYA7teZ/qjZbkMWPYxEJQ4kuKjKic4Pr9k9eULOz3L2HI1m6zVmGT
o3RwDn8M1im60Bgy1QyyvWV8idonUh1F0kHRUjaNIqA+mWzqmcTlfo3fiQtx
wBA41NBbRBUWQHbYFgrsANcpljFX2PWUiu1iuFqaGiB+1ayccSNNI7qmcIbR
cBQJbJ1hAV8uGJHafE1XQoSrscQ5lxIbhKmcMJOXAOIDXoFI7JPq4tINEYmM
cQSJwlt3N9AvCVe0D2UYX5A6McK4LF8GGWWsSK7AUP1BwQHRXvSE6DlzRiGB
0jvNHhCgbcgEDJl1a+Joiyag20ju4Zwc4W4Wn5xUwl/RfJw5ruzZ+R16CeX+
ZMIkhwcYpqbCiwkDuEodWU1dLenknyDBTmksLuAv8Nmx5PfaxyS18WshrNFy
xR8eTSu1X6j0ix9TNS9ikfG40RL6x8XtvOBQKf5xmc9fr3pCsqH1e+p2iCWd
j/KxGQFvEeZD62p6NnDTFeW/jYqVq8Fvf9VJ7Fp6GVVzdRxAdBQuDGAFwwpO
nm7hUVTVLAxvJA9CLOdphJLgNO6E219SG9lYvqb4Mlw7tbjsdHjXrpVKNUFs
w0J4UQ0qW9iN5hbB2LdAIMHWcwC8snvq+Ebpua9Ckwkv47Q6y+/cgBwORjSN
+bkUCxTRXlWccVW9o2fqkPofviLuy5lTw1DkDBaBrvFljbPOqzqPlsR+TpLh
3RZsXKKgZGFyuEzyG8HikDQ/pmimrXmtteMpma8kCUIbGFNQ7wJL4CPekAde
64p1UEXCzyjJAzMfQ9caPYd58QgLKuXPvb8BiEM/swShEcWORHXN66Ka+T/Y
yFOYY2y7LqPDBq5IsEIRmDFEs0PV6Bo8dpJs2U+jOJACyXzv18JpnEAs0W7M
nzXEE0fo9lbtbSzpcx8z0wvVDuAqfznvrAuHdzUD4Ab69uYSxLG63sNaSAcx
rgEAbVU5vF4ijuRavyAaL0ryC+Nr6PAOJzkHfhWBt88Jtl65MTLiMFqGqGZu
esYE06ZTKjT5uloKEwpOCGU0nvvaeXVSBwI3ynK+FCraFH/P++KRXME+V85B
ZKqMhHMnIpZkjuGYXrRn55RAJUHTZmwOC229qEJAkc2a+AvdPuDHSXF6qncm
3JCDom6IM197Kk4RhIPSdZ7QAbROOULGtTdIn8yiQI7ec4vOCofAibwjXKUo
NlhcpnldV7XoKkFJGHL1cpUWpdTJ4M7WVvpdNlGVexB0C+Llf00fkE7rmz8Q
R00kRpM+1JKJ9CYtwgt9UmLUpkUl3oN7d2Mn0l3wduGdHtrGTj0DJz6ymifw
NVHz96OTbKIWE1fHlEQLlzMT7Z6+fMyO7tGzvDxtz/bS7d3t4HOMSNxLO9Im
LYzETX1aGMwexyewdGQsxliAc7BnzcLkdZqgbT0dPPnl8MVf9p8dHvzy9PDJ
s4Nf4Pc3TwJjLDxEdBUNr0a1jJ+hsDB8JrQ5b94yBllvh3WGWAO7q2UsPJQn
dCim8qdXqGSNbNLktXBagtZBZfHL30p5KGGeoY0S6BsZir8h5s914ahE2aGR
hXThYfGmLIQTjyNsEjfAOqFphku7mgPLxswdVVLePvnl+eHx8eGL7/lk3jpu
JOvDYXiJEgCDYZF2YlFtg7vppCu2ZrJN4tLIP3aPPdtgI6301qk1WiVKcFYK
hqOafV+/aXzxbS9GvpXNhGfjN+7CR7DUKg5TrdyCt1convQMhkPoPs0QAXh+
j9L8h+vL1oiiCrM/yGBkjsKcFw0Z+ak2Jm3USrtCvp0cG9FZZZneoCQchd5C
ubg7PEOAClnjq4YKY1WNQOruBMh1jK+uGJnXryQpjkrdVYkrSsbGdmVWPebW
Ho3e09gBn/idnYfp2uuqwqIfl0rFm/U9tg5RcJkr32rSvm0OEEr9YwyeVNsd
he8BALEO1YZ6lziiUJbOg6N6NqL07bM4M4wMdkf56DV8uz+l2itneQYithhL
2FriAp2eaj435XagiU869PQEH1JKoepr1BotyZbwO4a9shiZBiZRAixm5GMU
BPAX+nSb6fECJsICkcngLIfTQhAPfAE4Sd7PIo1XTLaPMTDvOeg/TsaimRzi
HR70+2UlvzbVnLrE0ep8UYw1SxcYULUIeTaZ5jdRQQlbe/4AQ++lsRebvton
53MPr3aWoeG1fHwfgFvVxd8zZuXcjO6nnfeL//nj3a3nrxfV//zxfXOy87SZ
fP/gzzeREyKXQa/IcWc7lBYCarnXC9geFl5dbR2xOIg8+9Dlx9WZZq+C/o4q
K1DwYQcTtd4fHqLyi1D+qhYgQixWiF47IHq9vDHEVsNq58GDjmgVWHIQYIQ3
mzv3tx/sPMD/37n70MhJg47aG/vre9Xa6CEM1lC9Fb7COp7ht6KU0nf3hn1v
qnY5SOOh8RE0nMHLW8O+b36lYcM+IJ+Svt/7pD0+qSvRxdl2w+YSXN3KO+xI
1u332I3JjiI0tGiDBAKXuo75+a5+XZhm4SoXdXyrJ5fpgByRcCMGkenFU0tG
WNDCwiLwKnUQn5KCYWzb39BKGur2NIyOTXGzy4QdoHETVKlTbLJnXKu3KK46
jCwgp7Y6giXCHDO0tWY1sgSMjR/XxUm+wiSpYIGrpHUQJAPNrzTO8rVODC+I
BfvBrOhEn3f81fc0xKVKYcaUejEi81Q+7/JNk7ikDveBJVPlyB2MtCrU4wgc
BVqINTEmXNL+9gyZkRfjuuz8wLUOCdKUAb5Io4qpUkEHlyT0bBshmq02ajUU
Xdyr6iaKwFaVMtm2gUGOKDDa8gBnkbtS6ZkYJmdU2AbGy4mptt2sFowOQZc9
hveHZqWzbELvdEe1oQoWC4aJC7J3KCODsa0YuMdIC71QTAnu/g8UG79YYMTe
lqdZTSfmd0TkylfaYKESSwaDBgv3dFlOQJgsAkNLbhPlnYbJXRJI9WI9ouK9
S/QLta997XKlR7bMHlBNqkoiDTMyNqlEtX7jmHwTjh+2NvXlweKWv2TnDJ61
maRm0GStx7qFMqrYoNY5VUJKYfZUvRcpV60qnC2rdcooxkccBVjT0jkLfF/c
MLs3K4MuG47qq0bulCHZhQ1TdCkaphFp0KzDm6Su2g1uwKw1JETpVYRoZXcI
39Djf11VuDxqE9LXoCfMDEmcAA9LFe0kKoEgdaMNMNa2uAXNNnYvxxthol7g
6nYvVhrGebtMEsk+85kkSZ/shQDY2oTpBlJiQBRtFthVWcI9dGdO7MxXyu8D
ZkAfPhTLkQBXCillrmeuFgPf0E5ZbFaMbauub/HaW392b8U6Jd2jHUNBRxKl
jE6SLI7+YehSGQ8xWa6MriPoO+q5qICmnsxcEXuVqYAHLTEZzbWy8NVS4LSD
DhZANU8uE1so2WEXDUr4zJmZeUmhNj6MwffuucxZgjF1fRbop6TqTIYdEDrQ
kH570d123soES3pm9UZ6PacQ6kinqJwIv9Y14FV/61qvIFYH3VfeJokYls2Y
ADvk7wgQLEA59ianPbUr9Rz7nppV9HaxpOmSebkH9awhqSB4H9Y64sWimEA4
j16PvRTtMMaSQE4prCUBq8LbvMz9oG52J2L8uzHZkGb/wxgsjre9la59X5U5
D+V53FkmjeudH5AbnlBWvdB/UrzY9vObDnc3XXtT+ox6X3zCr9VDBKvo8yG6
C2wsiW79mmbZ5W+GM42RPJRmFFcSk4xdd9nY9SSrZ5d+Kbg/sWGFWC03Ak56
Ul18tr1sIbGRa+6ir7NpMTSb9djMrjKa8RAr7GZXG8009vvDLUPQsfSL62cd
9zA4FcYiN7SJoC1yQEKcf4vbKW+LQVuoc9XhA6GJA2YI7RvE76/geL/feBXy
v58jY8BV9iyr8XPBzdXqPu7DtnKLGFwHChiN87stPXZrvcaeu1ti68F+dexY
MAnuFGffMY3Ro5/izeN6b2bvIP0QwaEuUjZ8vADi9AJ7iGGAEnwnPlvajRaG
c7UNpBMemsiKpqcDBDBXkuyDGMYkjGE08bDaZ2LowhO44zs8JgnfrptVklGl
RBIDqLHVyaX3Xbv6Rlpmi9JCqC+VFoDjWKKE6r/hEjQ3u6+omXgLqYCTafBW
JT7SsptSHobbk2XeU39sEoHfAAFNkAKxQJLhKmZ5KG5kl540ESHDBRA7R6OD
0WcwQkiLNWnLCQpRonZAIqWEYndTofrs7VUsABClWDZdqed6SLBqjDoIBcpr
QxMbC2sKVyC+WXXq8yPh3RqSOkDUIDDeFJ5dERkvMyU3kwu6wfFEWRH+APBE
3fZ7HSN/V10ydhsfor9C/1JFknevKK7NejAWOYJvYIORFBHECLR5iZfarjGO
z18Vf88hm0giOISRY+1hF3qaqmtcZ426Ojy2L5R0LSh5anvTnpCECaDBUu0T
r0/K13AsWABi/cuDbFdG2f4fHJbq41KvDUntWSAlUvzbSe8h5fpHy+//RIH7
7WoUfkv2upfOAYa2iVdeN3wsdhk2XLNMGn5G5PQZthb4zhXD/3AL66+OXHX8
wMxnm1FSEQ6TPog2waYnXC5R3uRs6lh+46ymRlOTsAi2qRmLDTGxMBGV5WZ2
zw59TChGatDYwpGurjdG7TrlgBJJvCP6JGeV2bZSGI2w+JA0/uCmH65E7Mmy
mIFUAwyZgvwQvNNsOWtHbQU6GRZRvMhPNEyjiaUFb1VCiwElCPmS76LCI0mb
RreEyteiqZ6PiErro57Cuj0+iyp27kpdhq0atHZlxx0iaYccqTPhap0TLQVs
WwngmF+7uXp9+bPsMq9Hdywo4WMzdaB4UQlAuExctWniZQla4+NX6d1Ru2Sb
lhSiseca4CsOJZEwHFdc0skIXOO+DojdHDvEdws+YyC+odBrX8Ayq8dnoFyN
EQn20pcl9syYLdWpDPNI+3dVct2LiHYkvGtD+D3+EoY8qURmC9ublBwSqS4z
b0OLDxU5Hx8sHRSJkQaKOAia5RCYTrALknl7OooYPwIVJJWIeMFERIP6pGhr
ZMl+j9HCNGEg43pdpLJjsSoyEQadPtzytMsrcBxtq2EvYd24Kq17rsyzu8My
vTcuxPjeM5z6w3RYjpST+QlxTpcZXuDcRFdxjfRpH7S4CyldnZVdQOLbX6a+
XQnKrOokk6CyKEGbuk84CPH9uh9vS6OlPBr4hbtLhaWIyb1HGQxSE7RL9R9r
AUHh8KgC5qV3AqvbCemYtKrxEb9Uyva0LP6eOSN9kgMhHzMExVyBBv/JcuZS
TFx9MCJpJMSeVRjghiMU2JUjkXJ8ePibFyRQAPbWFOtsq0b1OD3WvbPTDapR
HmIbkcFZeXCjDYMKdIF2XnMmRVyIcp0r82GGYIGx47VtLJjorumKkcjvIFP6
nWORPrQWOdf1FK1RJd63amqbX+Ldrrg7JEWMy3tDfyjSuoRLASLXogp/2BRS
lGR3Ik3QTkz0r2nNPcVnrlv3yWViguBd0ataYBRYMLhEsii4sNYDt6qkD1do
RlogdyZgPn7V/plZ8VBUmS3wNjFocYeUuQPcG7sFYxsWFq5OcnQ3V2SSe0oh
hJ0ofi1xzDWMxVxP52TqJeIiqMqiLak4jQaUmqobaU/1Ray3h+3BL7HwAhaZ
Jm+RmQEH435iJ9wju1urlbI7QJudZwusqF9OqCEpfSa+fveZT3PyFVLFj5Ow
nYWL5vctdM7tvbOxLzPdUhqvlNrjss7s7kLZ9JL1ZO2laxppZCrSuIoJ8AoI
V0m07/aMndqClxtarrjJfWAww28VzKkftC/LR8eNTkPjnCRLuj7vM73m1Tmv
EM3PxXtmYViP79XhAfVg5yoLeqi86DGho9RZZQcXGe4LqfbWIOwZdznehhLo
6I50Qc4hr2wcqPRyMXYDGa7zhGtbooWblijXmFAUFokn/JIJIoeunFFHbS59
PibpxsJbiZ6T7dQGHa2C4nlYkp/kMGfiy7n7NVBaF6wBlvCMLVdaA9o9RnIL
PELVxZHoltToIZ9w5A4drpTv/BqgiOYfOoIzbWnhrqma3hI2sLkK72atDClZ
cRqt2OdoYAffTsuXCCctNg0tpBoGVRKBysusQ9N/aonqDHIhtH1K0YhjahRm
MJMuXFGeVzOMVOpgKIUwISTOstlUua0/BgRWJoewAreEwZUkgiKEMJ2b0BZe
C/CyDyPl7Rmpw1OJwEpc2GUjjeUogcnDm+7QCbUZ4ftcU8H8oUkF1CzAiH+5
a+V5D2kdSWd3VW1XHagV6qtS+lCUSUQfVohFddU0I1+Y3pVCTY+Zr+NCkgMX
RBaUg6DceNAPEenHNFC3pmrBi5HKuo8tM/Mq4CIraoa1DKw2QimNg26CZO0x
twhxa8GuXkHOTLr2Yn0jyHMU+7DeXVfzwrlIgiRDrDpLN9gGf/mO4TpoQoNy
MV8Yw9SP3Yv6Gqf9P7dHo9Ht6/6Fl7u7S7Fh6RY2In308cFD/veh/P1wW/7d
oSaov2vma36wwerP8rv792av3fy9z4CScyUhjshUApXtrW35d0f+3ZV/7/yD
oPTxl/6fj6Epki7MNZ1g1aNqruVzbFtA4eBqGqaBtNu3g4TY0xt0mRLFAgCg
3dlZjR/rF/DLznrCfQvM1WIfjcc+dX4A2tlhXjx4uK49h+Si6pMAajgQ+G/3
3q4aHHB57cXDrXUW70D6pfxvVD5AEKcsobBsL4w6LoR4ckMl7wKrXEFfQ1p1
tOZMRjMWXNKieUCgIq/gGU7EmYi+mrHwDVc+mWpYi1kKWc84dEm7PbpyS0gm
iM6YODDnmDtZTqdBNJlEkcjhb+/ZSiu49JzAPkwBUvif7SEdJv13h92QrDfT
0oUgykKlptZp3pJMEa818rxwg4Latchxa4WZaV8webjYnb7F+tXRf3eHuPxg
XZQ1e83SepaBg4Xc1hxnbK+vaDmOM6gI1YzZk5bwQatBhOJQOO1F0JYSqrmf
0Qe7I9jLJ2mPk3yQ7T3c+rSS40pgqbdbi0WCgvPxu5GPd+J7Tpm7KGhxw4HY
u0hI3vRpqxyXH/Y+sO+6hGYvg8e+Tpc9h9KUz43+8cqVlD2KJwlhPvh95WJI
xRIVyYW/VXZtyWo/rKutoPHRYWM5PkwkQGEZ8SZd44N1+qZ51MpRpoNOX5mp
zKOLETUib6YroF60ruCAqfrttEtSIFwI3UWFjWE7Yce0K+7r5wJjRKpK0Lcr
okoxmy2xbCKLrCh3YjtnLGBBAQfcno07VLn9ojKn5d3VtIRqyQwD3U/PugPJ
yVUUWd8FBNJen3csvTNsbXmnCZhLLJF+LhstrEVPeKVWL+lQpY5xK09LQEfi
L7NuDBeF9m/bxlzDP6Lw7kbd2d01uPwq0v6EOGlvs6LkdpIaru8ahNlxENhM
jlxGsFsiaFVtMessyV03Y4zTY+KbT701uztmPAl2R4eBfjds0ACvGRxwL/oy
EG01Z90XG3v5hnGqC8eVx+ScItAlxZy8fm1OFhVqbotmI9c9w+zfpQjZ9zmX
xWXJmowIbqyH7ifHQpyv1feKp5Hwsn/N3VN6Fo93e57BfKTEicktBiiaiNp8
vqjqrC5ml25BrlaeUgc/iAepnmyygqRHwNdwPYaHq4iqqmDCMLoIUMsUBNno
s3obXr3y6pmLZC6RI2lr3gfnT00Y7AJ3w3k4LCOsoz6YUR1QgBZIUmfMUnyb
j2nnJJzT2Ih0iasGZEwmYpLCKBpsgSKJYtxmwGbrithBTnvbi9bESZFfWrKx
RS7r3hzA78QYZGxhQFfLpWnDzsaXUm3EiFkcZY9uOeF8ZiDx70oPxUt/FS4M
f0xw9ehCVuosVkTf6yHzMepiAu4CSUyd0sRkVlDJGZSvaMhsNWZQqGYjcWrs
8tZsdJ00CQPje6iXDIJ+RIATi2Nr2sqTW6GSAEEdDOdF649eIkVrTq5DiwR3
TQ16E4tpILGXuyN6yxp8g05yfwVLElJdOkkFprYbT9f4OlKrlNZG73HsbrOe
coNhuq0+nVdtctbio3Z4/nOlFeeNl5OeSt1nlwDeULJE2BjGyFVZ9w2x8JJn
IPEV9lOsc9NI/GIsBQGZ13tjB0+6g+tjUkozGr/DCRD3E6GDgYAQWnh8wo/J
oJrqRUm491YDIGukL1fupnNPSYcupTVDV1QX/0N5Nn5sUynKPOV5ezghyy5+
QpT8gEPQJN29yPVCthHuaCP5DhCxmPZNNSkmppdQD3CyycRkagn0B9izayBD
wIGxI6or/TDtxENBAdkHWoYQHddwe+oCjb6unRT3opckyG6vrGrOwT7Uzp19
V+iPq/BaukxACtpAPO8iNy8NJGCid4iyHYy9ya15iUFVoKqgdYUGb9h/hl5t
+YpKlPj+SZl6D+kOSTAJfc0eKYyBkcgNPg0qDI7EX6pYVxyhus8dBd+3qC55
dzrFWjXc4R02RV25zRVQjeisOD3T78TzlSGZwUJPsubEr5ngSABDY7UdD95F
1Jqu2HJCr1NTMQEB1l+Xl0kb9O14tXWqeBbpAIHW0YmubK3UC+SGC6v4jOSq
boxHPrtwnfKuGZZAwGEU5HuwWEeJJuQAcVAzDkbO50ZbQKKQ1zbFdXFalPK0
XCCOcVaL+Ay78xm70754AcK0c39H5H7NXfQbuxMwXkluQxIr+A1y9cig0bV8
K3CdcrvyRjzHJuiIqMdcmpIW/BcqyfLhVicHHK4IO2NcFTVGfYAQ5xpjFfI8
b3z/9XG1CHrtcZ14xrpLr8cbWdCxUC7AVojJjtVjH02XxK0wF9qHnfJHiS1P
KUpkPrfd6ETvD9TKqnYYKPUJpV6niRzA1E3pZo13OtG6nWl6jDqJ794sC6HV
SsbeSQ4Xg+Oy9sOgGA5ZawhUQc0AFqyDpWuJYlIqXAX+H8/ClPW4pEAg4MuX
WnVKKlUG8IYrl52KPXI/juDRavgrT9b7THnxQeUj7Z6uXkaRC1zKA5fr13MS
zY6iorg+6OLSWkq8gYQiNUtUxmkY3oGzAOD7jNs4wh7FHvdE/vnNMTSuLvIg
roBg70w/CPPZg2jqOviwMVkdCTl+kG6lBrvOIMqxzLnUS1wlwh3cQW/YjA9D
7b84It+Q/btMlK8bFy3LcHIjxlgTydWG9IdmukNKVCrjn3bdRKMKENycYQXS
KdCsOcZF+fDWy42VcbwvVUY4PqvqdrxsbYdiH+b1Xd6QzEvqXIZ5FRWF++UL
8lj3sY41giOViS1ub68Pk57gNc08UPKMjIlX0RtzA5dVdCt9DrN91c14gfJL
Sd2scvgKVQ7nv+ECKMXtd+nau/RRso1qzDGegxtIFpB5SwxVc4s4gi/NmlCb
TxOcDDSS9BUWi1m74goRci5qqaZQpZ7d+f72qM9jhFRzWY7P6qqUwkyICoQG
JtIpIM4XEeFCgyg146X42XJyUUxaWTyFoGqsmDcaWCGhJ95QIiRJaCBVFO4+
5hK+1DqHHpzSnRSIsfYCMbVLLTAxzjbRSwv8A+UpfIfjrunN35ZUTFF0DJe7
6TCNDCc0hhhEPRrJueYTT0adVaBKfdoYva3ogiXhdvq3pdKoiTZW+lOVMQWE
YXZXQ4cD2byGPTYHqFtjmZxzO2DAGUmQZGTvPOoMx54sYbChnCNnW9q4gxWd
gtsKkdIelgppNISTk6QXbF9lWt3m0GWg9Q7B0cSpNUR4awNhM8vDuT1OxhTz
SlFazcHUu76FbSOWNZLIOKeBnWvyZRQsvuaaTdyNyrW6Ms1omUi0gyb5iy49
9EkA9c23owBfZcq+nB0ugWhT2ean1yzIdAGVJSXA62fBGr72jH/cJfes8xbn
2fjSUROsmxdOc6ezcwqi7MwlMXf2LkhaQ7qmH5rQXkw6c/UpM2f2SsijKJ+v
q31FQtwtMPk3jnzN2hZ7/zTLegpifCJBkFG7EABYB2SxgwdlkFEj6SMYJD1e
NlzuzWyrLpp3jUbdFiQq5BMXKI2yxF56kJdAhUfVdHQsW9ynNTZo3pe5THVG
TkJoJMJqPMsoiLVnFN4pTBVFDwcl7FUwiCxKpGEmWuOwpGx2YELn/RUj8Tgr
p0ehX0rmdmkXdqqukZvFIox/JKYTUWsp3MG7Z9soJavh9l1AulA1MpRIpn1C
RtYMA6k2Uls7aAEEtIiqgWhgdLgwDgHWWLGkb3UqqLkcMK4vaRYXVB9wqxsm
3emwkAV+Sq0sU23VbYqaUtYS5iIsm3SA1QqwWAGpQDr9wNW6KNAn0mbsPSuD
Fi7eKaCOt7zRdBHCYBKc2XQsPVk6yclOL3OlVzT/RcNuG5CgKaqetf4Zycpc
QYTDD3EBh9gOQSWKYYo+0hGBGTN8El/MvGWhxwg0xB7O0TM/81BFalhpGYvE
fSxag6O13D+d7o1XFn33B+y0TFU86ZM9kWbTl8hIK5a1YK+HGFDIsrSQMxbC
XU97cT+ildDJarGkpWmJTeoaQSeBS4gsFISG5F+rZA1B2z0eC+Wh4KLL12py
lyA7luqMWGlb70gskRjuJUo9zhlM0Fwwpfw87rfpOyj0Z++TuGLEt5pNRKIu
JZrSEnZ9ePxqKB38WEH5rzeHj13ONvf0UyevVo2bigGS1kQpQrRdsSa9enP8
g76on0uNHbKnneWzBdl1xSerXipaJwuVCn2kKG+olX3lcSLsf7X/kwkyZQ2R
NmuTDbyuRmeD5sQAROTgbaphurxyLryI3iiMYjZVQuJuIeM2URO5nZoaORJX
xiuC6Iwyvzh1Aa9ngZiXGL9wEC6C6RZAOIC1I/JhnFXR+lxcOyGQT2YQ7tLg
pOogA6kCdJ6lMsbjRVVNAUvfHB1SPn8Foi8eO2K32FDH1Ds9M5UYXZI4YaA8
Io3gE1v4vJFvnN/Q6/SYfU8CRqPkkiOSAQmyJebZwNYHXAxw4IZDwCxJBADA
+6IRzIXV9MFeaXNdtWOjSLMEHBZeABz15cLZYnSahHkfb/JKeZOE2MP9F/sd
AZY+LJwJQUPaTwtSG9tAvvFZwaaLFz9bm0YhmJ324QMOPKLEZKpe8ukTKHj/
o6feissm3uNWbUb6ClLxv179uimacMUgv9EYj6R5GesaAKH0CchmVb2XvpqR
gqnBV3gUowO1nrt4BXxDeL00qaEGNPnESexqcRdLyeoNm7RtYBcYMI41p7GD
jHknSY6XJ23wZVjjNznSfFRfTB0fe7G5nyROX+z57okU3oqEe/x+xVccxkF+
b7TL04aRnvmagN6s12nQO7BV2qTQHADzwc7dh1QH57hfi8LlHOfMLFZoYanI
3CSC2lOj4FLYM/l0hcR0R38duEl0L42paISJkVU95ysgAT0qHlK7oQWGHNBp
pWwNr6Yw96slXP7mDFNNpBIvF8WGOcMiEz3r3vfQE1GFCVBhy0vgSMZG0PhW
vWoalRhOzHOYUGQ90UI8xhxQeDKRRgdF6TpUmWOjLKY6OyW4SLhDwU25IhAS
Pu17JceQeWqI9M1J/YhMpgc5Sprk6KEmXoTUKiJgUAjtCh6UMeG35xnKh3zl
1pr16NunqNg7tc5/Hx6q4z+mroFpF5Y6DTw63mUjVmAT7yJGm3QazLwhax2j
uAnsk76leTCZJFr3KzgrMeblcyCa2tBL+ie12IIKQTLlXgIxOPE6cJn15its
n4ev5u4WCNJTGSWqoISvYNjtyxdIKzBzVzRUWIJ7gE+QBr3RFI/Z2SqiFYjW
+BZdtjJvgX6cFmUuHuOseYeCHIYl4Wbbag9u1+mfirydblT1KfKmVyjENaIg
Mz+h3f4HLa0iQnod5f+91NTWmP83pan/TVRvRlR/+/8BTVWSelOK+t8E9b8J
qiGoo9GIKlugXrCf/oB65jP0TCI+zapLOmRKbcJAg3w8muQLStDBqttAKLCY
0NJn27I177LBqD8J8hVvY53nojDYdELytq8dba/zm6BLlGyOdb7iNbY0brJP
fD00LeK7O+u2aJJW21X93UXWYdMw0vsloYAwFIP/sCaSlkgBTOq0SJBkWZxq
d51sINJMtPfJoVYwTqUyHmWjEtnQwOY0jaMcTPSSiXdYT/vrBGzcKJcRU+E+
62dV3tzHVel0q34+Jjr57fDzo+299Kmc8CY1UUmPdvbSAz2zzedwRvDZ7h5X
fYeBPuoaBsVp3g7ITSIf3u5MEX/i/rYDudPa1q3Z/6a9n7i/zUAB7OivR182
UHDE16xI53vUO1ArVfLjIT57RQ5Gv3OgbzowGnUHuvLU2MwaouCqFa38uRqP
vnAgB6Od1Su6CUL+S/Do6oE+B4+uRMh/Kh5dNVA/PaL/fh4Z6f35EgrZ+/MF
NDvIXBbDIvPnazKYjzktlHtsRKwes5gP2MD/CgMHQcoBTgbyLTzgKhI8q1ST
GqXy8Ha6dkxe8/W9lH0vuXB+XzGURABTtWoY1ntL17TXMzD0jHillP9xDHvd
zLiTrj3FcKQTM2fPfGpIbcXXiiWYV8yXnVDFtRXz7aZrwK7S28SgYMajHZI1
j3a1fu2cDMfVKZnVUSaiBI2jbXEkcJMAmEbDJ33dLnQU9atKDrpFKZkOaHqm
tndTrDfLEUEsL81zbmSD0yYCZkzHIeP3FB56X8yX86heXjolGJIKp8pjVHvx
k2SJijOb9MEyHibUXTbSp1w9WbfEISre4e7jHcjvRjUs/cGC8KNAJ6P1Y1YT
qU4H9rf4DrO6cdZXMoq4StAxNEi/Q+/qY3FWvarRUTymTF6UYU/Gi9FZ2y6w
figBPdAgQWdAJbORqASYi1Tphztbd6nQq1MeADNPqjqLQkfpRjmtZlDnXFKW
JE76txJ3TaZN62FPsDqqNwVEQLsBO+DkMwkpdpWCKCsIC7Owu5cKmVIkG7xO
1UKpSAu3AuEusQOJBwHBnByEY9LbYK+DzjQcdZpJzT/tHAZQePtXlfD/9tZq
sli5EnVN1AHe/rVoG/iaWiSnRtIdpGsfPqhbYpcjKBxQ1zmO1ceMlhXtjXMZ
Xa8d9MCMlRA14YA7fQO+kHplgPAmz4s85f7Q2bFCpybZvw2v3LcgNzPdWbl0
OXhGWdveOZv45qkDigPmmS9N6p0evjsNMnxkYwmWtnYD9a85QqGl3Eypy9T6
g7zqTffDKSWCIBqnMuT5keplJ5Qt6QvRs5I8uAkguF47TIanhdmX3NVdQbsa
rr0nyFqhAaZUtxRommadQPpPQL8tPeRYNZJ8Gqm1Z7BW6P+Jq34uRbsBYcjn
r/B194HsBwU1XjNF4UR1zFrjX8cgXWGoDFUT0ukKgEpRG7hYmvI+y7EKlCk/
lqYHFYUTUSAz0PBlrcXyEBZ+FmqH0ggZn+U2pRDfXAtjSrOyJGPbctYWC8d5
KYWeAZ2fS9FR8o5TtUkMMzh1aYEWjhRsQbR7WUrsMIBpZmyVyDM4n1Fh6pql
8/FFiHUtajkax0Ev2M4pb+IxVuMT05OGKshzyed0YNLA56iMyw4RmIbKUrPQ
YJ57q2dxLIDqE1NrWs05cCVZWbqBz86KhUYdc4FRtCnbspq2NC4J6MQtfYTD
1zChx5WTOs/eNZLWxAExdgFKBblYnCuw6qiPnDrdKg4uga8AFnMKXS4iq+/Q
BT4OU/uxVvh16BQTkPiYmY5KaL4HDG1IIrIdPDRx2JEAEsAY1D5TuOKWXVKr
lLBQClhF3Xl932emJHwpJsOAJ/SlrSOZ8whObubVmLxBrusABneCBygay19x
KTYBU/+2LKil8JRK5p7nWdtoh+JOqjgi8OzS5d3D+DM08KVU7hUrSzcLDptk
kUvAnrFRkjMbVZLLJWqPCuxmY4rhprI5+BBHiXBdnoldgsrbmHxFV8g3d9ZL
TNHBJNe90pI/+p272NIMBx9QOU3gdipJ+BibXzItPs8jKU6L7gXDY6OshBqH
iR2XA+AoWA3It4s2RpN+Vk+MEKbm6KGFK24KYUt1P83+VZhloYsD1s1gJonC
xckn4ULTOBUAxP0aA4XgfjkxWKyHyGHL8SWm71NAXTK5BHkMhLa8PC/qqpSE
NIldoYYkUuP+Iiva0RQVJq2TAdpfgZi8kb6hUneStmA3R7yAs+mIHJCIFVbA
bE2kmO56Q2tqo5CBQVYlVneOdu3jchkPeqbHZHgnufEVaejKi7om9n3SPKLR
3QGwlKahtjk6n6pZdXpJDSXhldZ/JC18aGq7OuGEpMD5x1Fdo7gT00XCDvbJ
dwDx0TQmKBif3UNnAuXg15RwtFajj2OPWvqsyny6OKv4TkbRO1yTwYLPGZEl
xghn1OKmVG5eAp9WXKsN6sIh3bx/rOp3FFiX7AcJySxFNh2SoBz2Qt5DUGk/
pIRrpulXI3yJWjR2y4/E4ZF44HYqrsqgMcpRg2GnlbocB8ETDdzxHU1gcRWy
XRrhUsuauOim2A4v9aOu/aHUWaDFNzQW4Ul95L73mCwm/CdqUmCfvZnp6NHH
5OaWK14DNZBx/e1dr2nLSd2z9GOLPKdc0w6T3eNx6afJZ1ODs4z63TXcaGsp
7y3shrP9aGg/kUZQj3jcb64fFX7SL4AZRpbGCzFtTO2zN1vEH7mGX3ENt7cf
/TPW8NpEu9JhU+CgO27zLP0IgbPump5xb7TaR19wbtydvf+Wfcka+L5Vob02
IHbX2GvJhUgXTaluesxSBmVaelFJuqzRo4dGU/WlZF1H0rXDo4P1dL8sq2Up
hek+3CrqCRNfyWmy1J9prXf1D4kRDk2HjSAONRbBONS2MJwzs2YY4pbjbMHt
8LDX02MTf661uP0nrkVxzOepdjg6jKUKL7VwNxzZzXGsm3MO7GB8Lr3pGj1T
ZHDQQgrhjTPadXKpWbbwxx2v/vpdVc3yrItIhPF8nCNmZXQG0hAr/ZT2zpTG
n1BTpYRlDAIOLKZnWArFQ2gOer7Uzs/e/mzrqPiGZ4lfcsDpfeWWq0aHI3p9
9ObJkK0rhZSjIOWL+/tkJk2AWlZRH+22WnTm0jR5N/DT/WfHT/BxlGlAFtHm
7jqL08wlOMB39OBBGfekcKbpzTVgkWEkdW0brriAwA52uOfOewCUFv4coK25
2dvcjNtVbooMMirzi00acjDUV00r7r0ru4e5N7izU7PycdtRzr2E9xfe+Kvx
SA3C6sbuWf0u6hLZ+f6sWlA3xN4vOdd6NJV6Ma5A8ECe+5tbmb2JBqbwjXF0
jljpGHlohc92d7PXjZ0bUQ2nEDCrNhu9TiWhrno/AMbnvrwSWNcN5Mb55Ifs
vY17aVsvc3nmU8L/DX2KixFwhCtbs4krEZhJ+qTEBACX7kWEqMubIpUfZdtN
Yrh880jWlZ6NqpG5gL4vaeIY1r1QY7CKFsmqpo3UK7GnF1xyk46Nr6nBCI7g
7Mb9bQiVssOGpbi64SBXMpAuo/B8AkZj9qDtE5M+zdPxiIg3HOdEd5FCB71G
UW+u88bqlqpGnRdahY4s3gEj4CI8V1BmXxZFSDOZDome9SqvqTgpWUmUliVo
deZ2VKHMshFgle0dGYkNEoEo2cGuVqntgfy2o0C8ZSBiV4r9yYQhznOsPsZ+
MeCq48RSP9qjks/VfPL557tfujIZdlrAV14XH5jz2TQROmj9FC54RpbRWCcP
mLSgwVUPmWZt3j9ku/cqq6T6Dgp84flqs2UpgKo98JkpKlK/RBWKKbbstca4
jCx9EmoTdBrsVPY1yG9K2mHEo5gRpLNiWLTh0FwjzarqmC64MhP79zQm1lTu
S/CSaTVMTplzqaFepg5S6y4KrJ+6LMm+3/oii311O9O4bme61tA161a/5kQy
zGp6zmGaga3WWYNIcGtWmaLETkPOq8nE2V8SawLAQmy2pLLL6xOvjFEx2JFB
vgtRM4vWK5rsbTG2BZIrI3GS9nRLmqau2BNl3U4mOjjAbIYVF7RSQzQL8hv3
cNL3BEEhqrFkrFXpd1w92TWdEZj6g7cgZf5mah0VUk9T+hMKhWZDKvM6bZbo
qYZ6Jx6Yog0Pt7d3hdJy5i3BOfKD6ZN37JO7ng/EuMeLStiLFxe7tUViaAuS
7K63kTx3vgr62ye/HL74y/6zw4Nfnh4+eXbwC/z+5slbcttxzwJpaT8gmkEe
yIEVheDwn8hZ4pHthXhnjtkcflF2zhOlCV8WmYWJN6+1kist98qusklHVBeH
VZTVa8ocSTgBu/LIHpAQ5VzDNrTU6Xed74Crbs59dWbFu7yHlQdtpd/0dJVe
0IXo4WurhBNle9rSGf9wawt43TFe4T++8bBOrI2kV7HKZrUshHKyVvhcLQ31
WtoTt1ca0KUNMfMKGsCHjes5r1S4SofZYlY2MoPexusuEF7cdWhAn2FwgnTs
lFgKqXXv9oHdqMQfqFdv/yfeDtdNwWU5lyrKAsYaTuW+UqypQ/fnx4iwBXSp
p1o+7d1WOOBu6q2jiozy4a31QKSyP6DLxJcPJXm5fX3NvX9TY9MtEA6Bt5AY
QGgY0Xx1XtCo3z/RQcWTJsKqi6lBnLmBnkDm9LN8/M4ZWUJXV+oa9SZMLCdc
hsG7ebDLpljU6gqlajzUuN4fRRCxTIWrTQYEu6H3v1D82oa5+LjB/ovvG8rL
Upkuk5hk9RsJNiI57HPUJtPSnci+dqN2tSpZ3g5pt3KYCHoCs6HRQiq1TZnX
E0YibReP3+NOkJzJWwNErUG6hpvS2I3flpg/jlXoG2mL49qtJfHr02zWXPW+
ouAxSiQ9AgdJKv0sX++9ZKMZRlXVVH2T/7LsDUdjPcALatWicZduNf/CMECL
FqnDi7dDF21lD/0GtijlzqbmPR0LkamKdUagy4fzePWvOzUmN1Jpthg2nPYG
/HyBsUJ1NtsTQl5x9fI0tU+RpZGKgQQFkTjDyBTuNHYFFTGpbmqautqgXM+B
GJq22zMcpKFS1VnKZSNC0CJk3+pFH9r+AgURX1/WQ+IZaiYITibRdi7aJbmp
7OINI3GLp/MPhNNiqmp60CMks5KIaZjncS8WrTsdb7CMG1cn0WKoEUgbbp6C
DIpuAKDW+AzYQzZHXQbLxuKy7RRIS03HAFugXm1DAXtxRTKpn3hJbDCjKvx6
TX11bM+isWq5l89ZC/It+QJt0pW6pLAmIotUtD6gVdzXW1hsTsEcpi+BqESy
L38xbenpNdCGKQKl+HvuCsp5U8kP2rE+iRsvRQYzLuAouE0LImbiJk1MyMLs
tKoBSPMhV9OnIohcHsd3Is9SFqK46TaN7Wha1MxorRyvb6QHy5pbzlIEphR0
cm0nfF3i1Ae6nlHwB3WAAt4udaFl1K9N/8tynH6bbgVLoZ2jyILj0E7dRYiX
J3pbeDZDGJSIXrk9TDc2NgAz0rXwEdjTi6C8Vjif4r+03NRrKU0odPIwclvb
v4sohiveitbXlNkCJmo5GJEwsUNZ0P1bjjfL7bdysenZwwDye5He1hhvmXH5
ea0D1t6RW4OibihMsjNHJHAAC72BqIPnzKRNwlE6ADMbIl1/Lxibe8JweWAB
B1ZYI4t0EOBhSN8aSccUNoRdxbVa1oITsZUf0GTc11ubaieiwqj9hz244zGV
9D6dXap5xJKDY+Ypz12iRpI8Axr79hh01vb8bcrN+8S6QY9y3HF/GIuRwGhy
3H/CZf8vI91GDJsUB8bX8S3GBPzy6ujl88NjUJKnNeWKqwDUsJlOV+EWSBWP
akIQVya6ulB1wpvH3pWCo7QwSln52oXJ984tTERLF4oUADo226NkIdgjVpur
o4rHn2rZ0In0ABdLDt50jJKbiV3fHJSz0bkkIB+S+cCGDjujB04ndg/gY70B
wLHZY52CURtnrMpNhg7LGxQEiAe5NE2FfWeiMa0e75c2cndNCI1/UriLyyMg
SZ6EotBWE3allcfDCsQUhIVJzJLg/clLpVknzCCRgK38/aih2jWF9EvIpM+P
FqI2hei5BVlg2SHhJNHClR3rIOF+pDxaNeWHJ/sHT46OxQgwSoGx/XL8+ujJ
/nP56DZ9FD6Wpnsizn5L6qH/mEPJ4WPy2PrPiVp/m24iDXWfniHv/TaNnbru
e1EJv72i8JN1+Olb8cNk5+JqJPqMCNjk71w1vq1iEr83y8tT2tC9+2xqOdh/
vb8ahsb1qvLbqJigE/JKb3CgYkWOxsDFyCh0pYtRu1ge+cDujo12QL7BSWrx
UgsrqYasmqW5+6q+BsF/zLcTx7c9TNITtlgjg0L79B+AjGLK/jbd2dr6rDO+
5nS3H977zOMNZAQ8YML4zZ372w92HuD/79x9aE+44w2Lne+9XpvoIcQUPEsg
97/BV9jAM/wWlCT33b1h35soQ8BRjwdpPDSh4W8j3MxWfNvom19p2LvBV5/M
X58Cp/xKlPYv9SI34eENMVxRFNvXdJBcbwB70oE2/9cyr13rMWu8ekHxtQDy
wHTM/TEaewFWWJ6aJSXGUhKkNz7x5Vo0UlzH3Sta1N4fSZm/f/KZhDlE0001
IdDPl9NqT357iDW/ex35DfCBQfe5xI5O2RxvSOtozD469y+lTjfiQHe3H34m
jbopVxGgfN6lE+XZA7pz346cES4Qhr4jsQuNqU0gYMGAZyIMmx4VTtuP++iq
uUjMWLEfTO1FVoJ2nWEoldzoDYALuFlMySqTUJqKVIl9WnOdM18T30GsYCLt
9R52bVdWNMEjd4c2pl/RE8MstkmcNI4lv4PVx55icve8QMFVlKc77htG1PS7
Zy8f//kfQD5AP97atIzhn0pCUJwCaaqPfhAwr8Tq/dJ1/Q4Q5SlpWpIQ+4r1
IKlfHZzhgEN/S+0bytZc42n37R3Xur2tpac8pRGRa6qmWgSCmXeGHEnLIcfO
WhmskzXCHvQxf+8AsfO3LVqjJDP9y6hfcHqrSd9ul/TdvpL0YQ2rWMQZuK6v
o3PsSYrf/7UjA3Xl9lURnvQ4DISPTbJ7d/NxtpOf3M+2t8b5g5Otuw/v39k6
2TrZyXenD/KT7cmd+w/uDoL3P/0tEJlIM6A41o5wxt+hsjnACm4D1+ktWpE8
l2OBNVyX0Tns1KGods6biGa0gEiv02AcLPDJ3TzfGZ/czx9M7u1OHk6zk/vb
Jw9Pdu+MT6b37925s3tvd/vu3Ts7ebAiLx0aqdnNFB/lq8ODbVyy+217yJ/u
wO935fddElijzcoz/s275s1t++bd7pu7wZs7W0P/5t1gD+xN76FHO1fSo8fh
7byG8jAziu3gaOeN2rV6jtTDIksuufjZjDK9glFSZ1iMGyvErgErdpxxBdvb
/WPY3r1/ItuDXcH//Yz/LMYXRzH34NnuNXyPKyk88bLXZ/E/f5yfxQHLniJ9
nJPquwYntK1+1qi4eO+mrDFghHeuYoSymGv5YQ/b+YP4YedQ43ccO9y517VW
3IAddih8L933PG0MfGxrZ/fkwb37D7L7Jw/z8dbW7s6de/d3Tx4+yO/euXf3
3mR7em8S8bSrCfkKOh4uTGjqw5UcS0lx5zUcDPsBDzvfEEnvZzgrtCLCmd9J
rsOL4gIXFitMxOgL9vYCYySuprHLeGF7JLj44dcdj3mCMQmmykMUA9rpdxkE
AAbxQxSggYGZEqPxx1qX3/yb2TD+eAV+5/fp7wT0flRVtPl8w3C1iO3CxllG
STWXNmqJOnm6CgjEH0zNF6R0Q27BzXHr3irsW8STsSzHmlxZJAXILtA684fr
I33g+kKLRwy0wO6R7o/RpTfLJ6dcIuzDHotg+eRbuTYCYy0iQqPaanZhxCn2
dn6XPs/qd2hnR0nrTFr2HC9QwquTg+ziXSH5ppzIw5EBrqQINlnHrl9IQ7J6
hqWzz7UzZzz7MNmf1AWc9NOsrvPZMP0vOJ4fl+xM/E902aZHVZN+X9SA+xrz
U9S2S9MUThfLJA/To2XTJD+eFW0+TA8wjnOSPsmadpa9gw+ek6MMCFY1R6kn
/Q4bf9aTdH9SnWRD3V0qu+PySscgaJym/wnrO3XxRhq+ySWAaKe8WpngYPnO
9Y9J90F8cFm9yVHOTrL/DSrVkSmYbAEA

-->

</rfc>
