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

tvi   = TIPS view i
tvi/ug = incremental updates graph associated with tvi
tvi/rs = receiver set of tvi (for server push)
]]></artwork>
        </figure>
        <t><xref target="fig-overview"/> shows an example illustrating an overview of the ALTO TIPS
service. The server provides the TIPS service of two information resources (#1
and #2) where we assume #1 is an ALTO map service, and #2 is a filterable
service. There are 3 ALTO clients (Client 1, Client 2, and Client 3) that are
connected to the ALTO server. Each client maintains a single HTTP connection
with the ALTO server and uses the TIPS view to retrieve updates (see the
arguments in <xref target="single-http"/>). Specifically, a TIPS view (tv1) is created for
the map service #1, and is shared by multiple clients. For the filtering service
#2, two different TIPS view (tv2 and tv3) are created upon different client
requests with different filter sets.</t>
      </section>
    </section>
    <section anchor="tips-updates-graph">
      <name>TIPS Updates Graph</name>
      <t>In order to provide incremental updates for a resource, an ALTO server creates
an updates graph, which is a directed, acyclic graph that contains a sequence of
incremental updates and snapshots (collectively called update items) of a
network information resource.</t>
      <section anchor="data-model">
        <name>Basic Data Model of Updates Graph</name>
        <t>For each resource (e.g., a cost map, a network map), the incremental updates and
snapshots can be represented using the following directed acyclic graph model,
where the server tracks the change of the resource maps with version IDs that are
assigned sequentially (i.e., incremented by 1 each time):</t>
        <ul spacing="normal">
          <li>Each node in the graph is a version of the resource, where a tag identifies
content of the version (tag is valid only within the scope of resource).
Version 0 is reserved as the initial state (empty/null).</li>
          <li>Each edge is an update item. In particular, edge from i to j is the update
item to transit from version i to version j.</li>
          <li>Version is path independent (different paths arrive at the same version/node
has the same content)</li>
        </ul>
        <t>A concrete example is as shown in <xref target="fig-ug"/>. There are 7 nodes in the graph,
representing 7 different versions of the resource. Edges in the figure represent
the updates from the source version to the target version. Thick lines represent
mandatory incremental updates (e.g., ID103-104), dotted lines represent optional
incremental updates (e.g., ID103-105), and thin lines represent snapshots (e.g.,
ID0-103). Note that node content is path independent: the content of node v can
be obtained by applying the updates from any path that ends at v. For example,
assume the latest version is 105 and a client already has version 103. We say
the base version of the client is 103 as it serves as a base upon which
incremental updates can be applied. The target version 105 can either be
directly fetched as a snapshot, computed incrementally by applying the
incremental updates between 103 and 104, then 104 and 105, or if the optional
update from 103 to 105 exists, computed incrementally by taking the "shortcut"
path from 103 to 105.</t>
        <figure anchor="fig-ug">
          <name>TIPS Model Example</name>
          <artwork type="drawing" align="center"><![CDATA[
                                                        +======+
                                                  ------|  0   |
                                                 /      +======+
                                        ID0-101 /        |   |
                                              |/__       |   |
                                       +======+          |   |
                       tag: 3421097 -> | 101  |          |   |
                                       +======+          |   |
                               ID101-102  ||             |   |
                                          \/             |   |
                                       +======+          |   |
                       tag: 6431234 -> | 102  |          |   |
                                       +======+          |   |
                               ID102-103  ||             |   |
                                          \/             |   |
                                       +======+          /   |
    +--------------+   tag: 0881080 -> | 103  |<--------/    |
    | Base Version |   =======>        +======+ ID0-103      |
    +--------------+             103-104  ||    ..           |
                                          \/     ..          |
                                       +======+  ..          |
                       tag: 6452654 -> | 104  |  .. ID103    |
                                       +======+  .. -105     |
                               ID104-105  ||     ..          | ID0-105
                                          \/   |._           /
                                       +======+             /
                       tag: 7838392 -> | 105  |<-----------/
                                       +======+
                               ID105-106  ||
                                          \/
                                       +======+
                       tag: 6470983 -> | 106  |
                                       +======+
]]></artwork>
        </figure>
      </section>
      <section anchor="schema">
        <name>Resource Location Schema</name>
        <t>Update items are exposed as HTTP resources and the URLs of these items, which we
call resource location schema, follow specific patterns. To access each
individual update in an updates graph, consider the model represented as a
"virtual" file system (adjacency list), contained within the root of a TIPS view
URI (see <xref target="open-resp"/> for the definition of tips-view-uri). For example,
assuming that the update graph of a TIPS view is as shown in <xref target="fig-ug"/>, the
location schema of this TIPS view will have the format as in <xref target="fig-ug-schema"/>.</t>
        <figure anchor="fig-ug-schema">
          <name>Location Schema Example</name>
          <artwork type="drawing" align="center"><![CDATA[
  <tips-view-uri>  // relative URI to a TIPS view
    |_ ug    // updates graph
    |  |_ 0
    |  |  |_ 101    // full 101 snapshot
    |  |  |_ 103
    |  |  \_ 105
    |  |_ 101
    |  |  \_ 102    // 101 -> 102 incremental update
    |  |_ 102
    |  |  \_ 103
    |  |_ 103
    |  |  |_ 104
    |  |  \_ 105    // optional shortcut 103 -> 105 incr. update
    |  |_ 104
    |  |  \_ 105
    |  \_ 105
    |     \_ 106
    \_ meta         // TIPS view meta
       \_ ...
]]></artwork>
        </figure>
        <t>TIPS uses this directory schema to generate template URIs which allow
clients to construct the location of incremental updates after receiving the
tips-view-uri path from the server. The generic template for the location of the
update item on the edge from node 'i' to node 'j' in the updates graph is:</t>
        <artwork><![CDATA[
    <tips-view-uri>/ug/<i>/<j>
]]></artwork>
        <t>Due to the sequential nature of the update item IDs, a client can long poll a
future update that does not yet exist (e.g., the incremental update from 106 to
107) by constructing the URI for the next edge that will be added, starting from
the sequence number of the current last node (denoted as end-seq) in the graph
to the next sequential node (with the sequence number of end-seq + 1):</t>
        <artwork><![CDATA[
    GET /<tips-view-uri>/ug/<end-seq>/<end-seq + 1>
]]></artwork>
      </section>
      <section anchor="updates-graph-modification-invariants">
        <name>Updates Graph Modification Invariants</name>
        <t>A server may change its updates graph (to compact, to add nodes,
etc.), but it must ensure that any resource state that it makes
available is reachable by clients, either directly via a snapshot
(that is, relative to 0) or indirectly by requesting an earlier
snapshot and a contiguous set of incremental updates.  Additionally,
to allow clients to proactively construct URIs for future update
items, the ID of each added node in the updates graph must increment
contiguously by 1.  More specifically, the updates graph <bcp14>MUST</bcp14> satisfy
the following invariants:</t>
        <ul spacing="normal">
          <li>Continuity: At any time, let ns denote the smallest non-zero version (i.e.,
start-seq) in the update graph and ne denote the latest version (i.e.,
end-seq). Then any version in between ns and ne must also exist. This implies
that the incremental update from ni to ni + 1 exists for any ns &lt;= ni &lt;= ne,
and all versions in the update graph (except 0) is an integer interval
<tt>[ns, ne]</tt>.</li>
          <li>Feasibility: Let ns denote the start-seq in the update graph. The server must
provide a snapshot of ns and, in other words, there is always a direct link
to ns in the update graph.</li>
          <li>"Right shift" only: Assume a server provides versions in <tt>[n1, n2]</tt> at time t
and versions in <tt>[n1', n2']</tt> at time t'. If t' &gt; t, then n1' &gt;= n1 and n2' &gt;=
n2.</li>
        </ul>
        <t>For example, consider the case that a server compacts a resource's updates graph
to conserve space, using the example model in <xref target="data-model"/>. Assume at time 0,
the server provides the versions <tt>{101, 102, 103, 104, 105, 106}</tt>. At time 1,
both <tt>{103, 104, 105, 106}</tt> and <tt>{105, 106}</tt> are valid sets. However, <tt>{102,
103, 104, 105, 106}</tt> and <tt>{104, 105, 106}</tt> are not valid sets as there is no
snapshot to version 102 or 104 in the update graph. Thus, there is a risk that
the right content of version 102 (in the first example) or 104 (in the second
example) cannot be obtained by a client that does not have the previous version
101 or 103, respectively.</t>
      </section>
    </section>
    <section anchor="workflow">
      <name>TIPS High Level Workflow</name>
      <section anchor="workflow-overview">
        <name>Workflow Overview</name>
        <t>There are two ways a client can receive updates for a resource:</t>
        <ol spacing="normal" type="1"><li>Client Pull;</li>
          <li>Server Push.</li>
        </ol>
        <t>At a high level, an ALTO client first uses the TIPS service to indicate the
information resource(s) that the client wants to monitor. For each requested
resource, the server returns a JSON object that contains a URI, which points to
the root of a TIPS view, and a summary of the current view, which contains, at
the minimum, the start-seq and end-seq of the update graph and a
server-recommended edge to consume first.</t>
        <t>For client pull, the TIPS view summary provides enough information for the
client to continuously pull each additional update, following the workflow in
<xref target="fig-workflow-pull"/>. Detailed specification of this mode is given in <xref target="pull"/>.
Note that in <xref target="fig-workflow-pull"/>, the update item at
<tt>/&lt;tips-view-uri1&gt;/ug/&lt;j&gt;/&lt;j+1&gt;</tt> may not yet exist, so the server holds the
request until the update becomes available (long polling).</t>
        <figure anchor="fig-workflow-pull">
          <name>ALTO TIPS Workflow Supporting Client Pull</name>
          <artwork type="drawing" align="center"><![CDATA[
Client                                  TIPS
  o                                       .
  | Open persistent HTTP connection       .
  |-------------------------------------->|
  |                                       .
  | POST to create/receive a TIPS view    .
  |           for resource 1              .
  | ------------------------------------> |
  | <tips-view-uri1>, <tips-view-summary> .
  |<------------------------------------- |
  |                                       .
  | GET /<tips-view-uri1>/ug/<i>/<j>      .
  | --------------------------------------|
  | content on edge i to j                .
  |<--------------------------------------|
  |                                       .
  | GET /<tips-view-uri1>/ug/<j>/<j+1>    .
  | ------------------------------------->|
  |                                       .
  |                                       .
  | content on edge j to j+1              .
  |<--------------------------------------|
  |                                       .
  | DELETE TIPS view for resource 1       .
  |-------------------------------------> |
  |                                       .
  | Close HTTP connection                 .
  |-------------------------------------->|
  o
]]></artwork>
        </figure>
        <t>For server push, the TIPS requires support of HTTP server push, a new feature in
HTTP/2 and HTTP/3 that is not widely supported yet. A non-normative, unreviewed
specification for this mode is given in <xref target="push"/>.</t>
      </section>
      <section anchor="single-http">
        <name>TIPS 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, and the
life cycle of the TIPS views 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 can be resource-consuming. Malicious users may
create TIPS views and then disconnect, to get around the limits on concurrent
TIPS views, if not implemented correctly by an ALTO server. Leaving the TIPS
views alive after the HTTP connection is closed or timed out also makes session
management complex: When a client reconnects, should it try to access the TIPS
view before the disconnection or simply start a new session? Whether and when
can the server remove the TIPS views? In the current extension, the idea is to
avoid such complexity and enforce the consensus that a session will be
automatically closed once the connection is closed or timed out.</t>
      </section>
      <section anchor="tips-with-different-http-versions">
        <name>TIPS with Different HTTP Versions</name>
        <t>The HTTP version of an "https" connection is negotiated between client and
server using the TLS ALPN extension, as specified in Section 3.1 of <xref target="RFC9113"/>
for HTTP/2 and Section 3.1 of <xref target="RFC9114"/> for HTTP/3. For an "http" connection,
the explicit announcement of HTTP/2 or HTTP/3 support by the server is outside
the scope of this document.</t>
        <t>While TIPS is designed to take advantage of newer HTTP features like server push
and substreams for concurrent fetch, TIPS still functions with HTTP/1.1 for
client poll defined in <xref target="pull"/>, with the limitation that it cannot cancel any
outstanding requests or fetch resources concurrently over the same connection
due to the blocking nature of HTTP/1.1 requests. If a client only capable of
HTTP/1.1 desires to concurrently monitor multiple resources at the same time, it
should open multiple connections, one for each resource, so that an outstanding
long-poll request can be issued for each resource to monitor for new updates.
For HTTP/2 and /3, with multiplexed streams, multiple resources can be monitored
simultaneously.</t>
      </section>
      <section anchor="tips-sequence-number-management">
        <name>TIPS Sequence Number Management</name>
        <t>Conceptually, the sequence number space of TIPS views satisfy the following
requirements: First, a specific client may expect to see the same
sequence number for the same version to avoid occasional disconnections.
Second, the coupling of sequence numbers should be minimized for ALTO resources
monitored by multiple clients.</t>
        <t>Thus, the sequence number space is constant for each TIPS view per-client but is
independent across TIPS views. Note that</t>
        <ol spacing="normal" type="1"><li>For the same TIPS resource queried by different clients, multiple TIPS views
will be created, one for each client, whose sequence number spaces are
independent.</li>
          <li>Independence implies that ALTO clients must not assume there is a consensus of
how different versions map to sequence numbers but does not force the
sequence numbers to be different. See <xref target="shared-tips-view"/> for cases where an
ALTO server may desire to use the same sequence number space across TIPS
views.</li>
        </ol>
      </section>
    </section>
    <section anchor="ird">
      <name>TIPS Information Resource Directory (IRD) Announcement</name>
      <t>To announce a TIPS information resource in the information resource directory
(IRD), an ALTO server <bcp14>MUST</bcp14> specify the "media-type", "capabilities" and "uses"
as follows.</t>
      <section anchor="media-type">
        <name>Media Type</name>
        <t>The media type of the Transport Information Publication Service resource is
"application/alto-tips+json".</t>
      </section>
      <section anchor="caps">
        <name>Capabilities</name>
        <t>The capabilities field of TIPS is modeled on that defined in
Section 6.3 of <xref target="RFC8895"/>.</t>
        <t>Specifically, the capabilities are defined as an object of type
TIPSCapabilities:</t>
        <figure anchor="tips-cap">
          <name>TIPSCapabilities</name>
          <artwork align="left"><![CDATA[
     object {
       IncrementalUpdateMediaTypes incremental-change-media-types;
     } TIPSCapabilities;

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

    object {
      UpdatesGraphSummary   updates-graph-summary;
    } TIPSViewSummary;

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

    object {
      JSONNumber       seq-i;
      JSONNumber       seq-j;
    } StartEdgeRec;
]]></artwork>
        </figure>
        <t>with the following fields:</t>
        <dl>
          <dt>tips-view-uri:</dt>
          <dd>
            <t>Relative URI to the TIPS view of a network resource, which <bcp14>MUST</bcp14> be
unique per connection, and is de-aliased by the server to refer to
the actual location of the TIPS view which may be shared by other
clients.</t>
          </dd>
          <dt/>
          <dd>
            <t>When creating the URI for the TIPS view, TIPS <bcp14>MUST NOT</bcp14> use other
properties of an HTTP request, such as cookies or the client's IP
address, to determine the TIPS view.  Furthermore, TIPS <bcp14>MUST NOT</bcp14>
reuse a URI for a different object in the same connection.</t>
          </dd>
          <dt/>
          <dd>
            <t>It is expected that there is an internal mechanism to map a tips-
view-uri to the TIPS view to be accessed.  For example, TIPS may
assign a unique, internal state id to each TIPS view instance.
However, the exact mechanism is left to the TIPS provider.</t>
          </dd>
          <dt>tips-view-summary:</dt>
          <dd>
            <t>Contains an updates-graph-summary.
</t>
            <t>The updates-graph-summary field contains the starting sequence
number (start-seq) of the updates graph and the last sequence
number (end-seq) that is currently available, along with a
recommended edge to consume (start-edge-rec).  How the server
calculates the recommended edge depends on the implementation.
Ideally, if the client does not provide a version tag, the server
should recommend the edge of the latest snapshot available.  If
the client does provide a version tag, the server should calculate
the cumulative size of the incremental updates available from that
version onward and compare it to the size of the complete resource
snapshot.  If the snapshot is bigger, the server should recommend
the first incremental update edge starting from client's tagged
version.  Else, the server should recommend the latest snapshot
edge.</t>
          </dd>
        </dl>
        <t>If the request has any errors, the TIPS service must return an HTTP
"400 Bad Request" to the ALTO client; the body of the response
follows the generic ALTO error response format specified in
Section 8.5.2 of <xref target="RFC7285"/>.  Hence, an example ALTO error response
has the format shown in <xref target="ex-bad-request"/>.</t>
        <figure anchor="ex-bad-request">
          <name>ALTO Error Example</name>
          <artwork align="left"><![CDATA[
    HTTP/1.1 400 Bad Request
    Content-Length: 131
    Content-Type: application/alto-error+json
    Connection: close

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

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

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

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

    object {
      JSONNumber       seq-i;
      JSONNumber       seq-j;
    } StartEdgeRec;
]]></artwork>
          </figure>
          <t>It is <bcp14>RECOMMENDED</bcp14> that the server uses the following HTTP codes to
indicate errors, with the media type "application/alto-error+json",
regarding new next edge requests.</t>
          <ul spacing="normal">
            <li>404 (Not Found): if the requested TIPS view does not exist or is
closed.</li>
            <li>415 (Unsupported Media Type): if the media type(s) accepted by the
client does not include the media type <tt>application/alto-tips+json</tt>.</li>
          </ul>
        </section>
      </section>
    </section>
    <section anchor="operation-and-processing-considerations">
      <name>Operation and Processing Considerations</name>
      <section anchor="load-balancing">
        <name>Considerations for Load Balancing</name>
        <t>TIPS allow clients to make concurrent pulls of the incremental
updates potentially through different HTTP connections.  As a
consequence, it introduces additional complexities when the ALTO
server is being load balanced -- a feature widely used to build
scalable and fault-tolerant web services.  For example, a request may
be incorrectly processed if the following two conditions both hold:</t>
        <ul spacing="normal">
          <li>the backend servers are stateful, i.e., the TIPS view is created
and stored only on a single server;</li>
          <li>the ALTO server is using layer-4 load balancing, i.e., the
requests are distributed based on the TCP 5-tuple.</li>
        </ul>
        <t>Thus, additional considerations are required to enable correct load
balancing for TIPS, including:</t>
        <ul spacing="normal">
          <li>Use a stateless architecture: One solution is to follow the
stateless computing pattern: states about the TIPS view are not
maintained by the backend servers but are stored in a distributed
database.  Thus, concurrent requests to the same TIPS view can be
processed on arbitrary stateless backend servers, which all
fetches data from the same database.</li>
          <li>Configure the load balancers properly: In case when the backend
servers are stateful, the load balancers must be properly
configured to guarantee that requests of the same TIPS view always
arrive at the same server.  For example, an operator or a provider
of an ALTO server may configure layer-7 load balancers that
distribute requests based on URL or cookies.</li>
        </ul>
      </section>
      <section anchor="considerations-for-choosing-updates">
        <name>Considerations for Choosing Updates</name>
        <t>When implementing TIPS, a developer should be cognizant of the
effects of update schedule, which includes both the choice of timing
(i.e., when/what to trigger an update on the updates graph) and the
choice of message format (i.e., given an update, send a full
replacement or an incremental change).  In particular, the update
schedule can have effects on both the overhead and the freshness of
information.  To minimize overhead, developers may choose to batch a
sequence of updates for resources that frequently change by
cumulative updates or a full replacement after a while.  Developers
should be cognizant that batching reduces the freshness of
information and should also consider the effect of such delays on
client behaviors.</t>
        <t>For incremental updates, this design allows both JSON patch and JSON
merge patch for incremental changes.  JSON merge patch is clearly
superior to JSON patch for describing incremental changes to cost
maps, endpoint costs, and endpoint properties.  For these data
structures, JSON merge patch is more space efficient, as well as
simpler to apply.  There is no advantage allowing a server to use
JSON patch for those resources.</t>
        <t>The case is not as clear for incremental changes to network maps.</t>
        <t>First, consider small changes, such as moving a prefix from one PID
to another.  JSON patch could encode that as a simple insertion and
deletion, while JSON merge patch would have to replace the entire
array of prefixes for both PIDs.  On the other hand, to process a
JSON patch update, the ALTO client would have to retain the indexes
of the prefixes for each PID.  Logically, the prefixes in a PID are
an unordered set, not an array; aside from handling updates, a client
has no need to retain the array indexes of the prefixes.  Hence, to
take advantage of JSON patch for network maps, ALTO clients would
have to retain additional, otherwise unnecessary, data.</t>
        <t>Second, consider more involved changes, such as removing half of the
prefixes from a PID.  JSON merge patch would send a new array for
that PID, while JSON patch would have to send a list of remove
operations and delete the prefix one by one.</t>
        <t>Therefore, each TIPS instance may choose to encode the updates using
JSON merge patch or JSON patch based on the type of changes in
network maps.</t>
      </section>
      <section anchor="considerations-for-cross-resource-dependency-scheduling">
        <name>Considerations for Cross-Resource Dependency Scheduling</name>
        <t>Dependent ALTO resources result in cross-resource dependencies in
TIPS.  Consider the following pair of resources, where my-cost-map
(C) is dependent on my-network-map (N).  The updates graph for each
resource is shown, along with links in between the respective updates
graphs to show dependency:</t>
        <figure anchor="fig-cross">
          <name>Example Dependency Model</name>
          <artwork type="drawing" align="center"><![CDATA[
                       +---+   +---+   +---+   +---+   +---+
  my-network-map (N)   | 0 |-->|89 |-->|90 |-->|91 |-->|92 |
                       +---+   +---+   +---+   +---+   +---+
                                 |   \       \       \
                                 |    \       \       \
                       +---+   +---+   +---+   +---+   +---+
  my-cost-map (C)      | 0 |-->|101|-->|102|-->|103|-->|104|
                       +---+   +---+   +---+   +---+   +---+
                        |_______________________|
]]></artwork>
        </figure>
        <t>In <xref target="fig-cross"/>, the cost-map versions 101 and 102 (denoted as C101 and C102)
are dependent on the network-map version 89 (denoted as N89). The cost-map
version 103 (C103) is dependent on the network-map version 90 (N90), and so on.</t>
        <t>In pull-mode, a client can decide the order in which to receive the updates.</t>
        <t>In push-mode, the server must decide.  Pushing order may affect how
fast the client can build a consistent view and how long the client
needs to buffer the update.</t>
        <ul spacing="normal">
          <li>Example 1: The server pushes N89, N90, N91, C101, C102 in that
order.  The client either gets no consistent view of the resources
or it has to buffer N90 and N91.</li>
          <li>Example 2: The server pushes C101, C102, C103, N89.  The client
either gets no consistent view or it has to buffer C103.</li>
        </ul>
        <t>Therefore, the server is <bcp14>RECOMMENDED</bcp14> to push updates in the ascending
order of the smallest dependent tag, e.g., {C101, C102, N89} before
{C103, N90}</t>
      </section>
      <section anchor="client-processing">
        <name>Considerations for Client Processing Updates</name>
        <t>In general, when an ALTO client receives a full replacement for a
resource, the ALTO client should replace the current version with the
new version.  When an ALTO client receives an incremental update for
a resource, the ALTO client should apply those updates to the current
version of the resource.</t>
        <t>However, because resources can depend on other resources (e.g., cost
maps depend on network maps), an ALTO client <bcp14>MUST NOT</bcp14> use a dependent
resource if the resource on which it depends has changed.  There are
at least two ways an ALTO client can do that.  The following
paragraphs illustrate these techniques by referring to network and
cost map messages, although these techniques apply to any dependent
resources.</t>
        <t>Note that when a network map changes, the server <bcp14>SHOULD</bcp14> send the
network map update message before sending the updates for the
dependent cost maps.</t>
        <t>One approach is for the ALTO client to save the network map update
message in a buffer and continue to use the previous network map and
the associated cost maps until the ALTO client receives the update
messages for all dependent cost maps.  The ALTO client then applies
all network and cost map updates atomically.</t>
        <t>Alternatively, the ALTO client <bcp14>MAY</bcp14> update the network map
immediately.  In this case, the cost maps using the network map
become invalid because they are inconsistent with the current network
map; hence, the ALTO client <bcp14>MUST</bcp14> mark each such dependent cost map as
temporarily invalid and <bcp14>MUST NOT</bcp14> use each such cost map until the
ALTO client receives a cost map update indicating that it is based on
the new network map version tag.</t>
        <t>When implementing server push, the server <bcp14>SHOULD</bcp14> send updates for
dependent resource (i.e., the cost maps in the preceding example) in
a timely fashion.  However, if the ALTO client does not receive the
expected updates, a simple recovery method is that the ALTO client
uses client pull to request the missing update.  The ALTO client <bcp14>MAY</bcp14>
retain the version tag of the last version of any tagged resources
and search those version tags when identifying the new updates to
pull.  Although not as efficient as possible, this recovery method is
simple and reliable.</t>
        <t>Though a server <bcp14>SHOULD</bcp14> send update items sequentially, it is possible
that a client receives the update items out of order (in the case of
a retransmitted update item or a result of concurrent fetch).  The
client <bcp14>MUST</bcp14> buffer the update items if they arrive out of order and
then apply them sequentially (based upon the sequence numbers) due to
the operation of JSON merge patch and JSON patch.</t>
      </section>
      <section anchor="considerations-for-updates-to-filtered-cost-maps">
        <name>Considerations for Updates to Filtered Cost Maps</name>
        <t>If TIPS provides updates to a Filtered Cost Map that allows
constraint tests, then an ALTO client <bcp14>MAY</bcp14> request updates to a
Filtered Cost Map request with a constraint test.  In this case, when
a cost changes, the updates graph <bcp14>MUST</bcp14> have an update if the new
value satisfies the test.  If the new value does not, whether there
is an update depends on whether the previous value satisfied the
test.  If it did not, the updates graph <bcp14>SHOULD NOT</bcp14> have an update.
But if the previous value did, then the updates graph <bcp14>MUST</bcp14> add an
update with a "null" value to inform the ALTO client that this cost
no longer satisfies the criteria.</t>
        <t>TIPS can avoid having to handle such a complicated behavior by
offering TIPS only for Filtered Cost Maps that do not allow
constraint tests.</t>
      </section>
      <section anchor="considerations-for-updates-to-ordinal-mode-costs">
        <name>Considerations for Updates to Ordinal Mode Costs</name>
        <t>For an ordinal mode cost map, a change to a single cost point may
require updating many other costs.  As an extreme example, suppose
the lowest cost changes to the highest cost.  For a numerical mode
cost map, only that one cost changes.  But for an ordinal mode cost
map, every cost might change.  While this document allows TIPS to
offer incremental updates for ordinal mode cost maps, TIPS
implementors should be aware that incremental updates for ordinal
costs are more complicated than for numerical costs, and that small
changes of the original cost value may result in large updates.</t>
        <t>A TIPS implementation can avoid this complication by only offering
full replacements as updates in the updates graph for ordinal cost
maps.</t>
      </section>
      <section anchor="shared-tips-view">
        <name>Considerations for Managing Shared TIPS Views</name>
        <t>From a client's point of view, it sees only one copy of the TIPS view
for any resource.  However, on the server side, there are different
implementation options, especially for common resources (e.g.,
network map or cost map) that may be frequently queried by many
clients.  Some potential options are listed below:</t>
        <ul spacing="normal">
          <li>An ALTO server creates one TIPS view of the common resource for
each client.  When the client deletes the view, the server deletes
the view in the server storage.</li>
          <li>
            <t>An ALTO server maintains one copy of the TIPS view for each common
resource and all clients requesting the same resources use the
same copy.  There are two ways to manage the storage for the
shared copy:  </t>
            <ul spacing="normal">
              <li>the ALTO server maintains the set of clients that subscribe to
the TIPS view, and only removes the view from the storage when
the set becomes empty.</li>
              <li>the TIPS view is never removed from the storage.</li>
            </ul>
          </li>
        </ul>
        <t>Developers may choose different implementation options depending on
criteria such as request frequency, available resources of the ALTO
server, the ability to scale, and programming complexity.</t>
      </section>
      <section anchor="considerations-for-offering-shortcut-incremental-updates">
        <name>Considerations for Offering Shortcut Incremental Updates</name>
        <t>Besides the mandatory stepwise incremental updates (from i to i+1),
an ALTO server may optionally offer shortcut incremental updates, or
simple shortcuts, between two non-consecutive versions i and i+k (k &gt;
1).  Such shortcuts offer alternative paths in the update graph and
can potentially speed up the transmission and processing of
incremental updates, leading to faster synchronization of ALTO
information, especially when the client has limited bandwidth and
computation.  However, implementors of an ALTO server must be aware
that:</t>
        <ol spacing="normal" type="1"><li>Optional shortcuts may increase the size of the update graph, in
the worst case being the square of the number of updates (i.e.,
when a shortcut is offered for each version to all future
versions).</li>
          <li>Optional shortcuts require additional storage on the ALTO server.</li>
          <li>Optional shortcuts may reduce concurrency when the updates do not
overlap, e.g., when the updates apply to different parts of an
ALTO resource.  In such a case, the total size of the original
updates is close to the size of the shortcut, but the original
updates can be transmitted concurrently while the shortcut is
transmitted in a single connection.</li>
        </ol>
      </section>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>The security considerations (Section 15 of <xref target="RFC7285"/>) of the base
protocol fully apply to this extension.  For example, the same
authenticity and integrity considerations (Section 15.1 of <xref target="RFC7285"/>)
still fully apply; the same considerations for the privacy of ALTO
users (Section 15.4 of <xref target="RFC7285"/>) also still fully apply.</t>
      <t>The additional services (addition of update read service and update
push service) provided by this extension extend the attack surface
described in Section 15.1.1 of <xref target="RFC7285"/>.  The following sub-sections discuss the
additional risks and their remedies.</t>
      <section anchor="tips-denial-of-service-attacks">
        <name>TIPS: Denial-of-Service Attacks</name>
        <t>Allowing TIPS views enables a new class of Denial-of-Service attacks.
In particular, for the TIPS server, an ALTO client might
create an excessive number of TIPS views.</t>
        <t>To avoid these attacks on the TIPS server, the server <bcp14>SHOULD</bcp14> choose
to limit the number of active views and reject new requests when that threshold
is reached. TIPS allows predictive fetching and the server <bcp14>SHOULD</bcp14> also choose to
limit the number of pending requests. If a new request exceeds the threshold,
the server <bcp14>SHOULD</bcp14> log the event and may return the HTTP status "429 Too many
requests".</t>
        <t>It is important to note that the preceding approaches are not the
only possibilities.  For example, it may be possible for TIPS to use
somewhat more clever logic involving IP reputation, rate-limiting,
and compartmentalization of the overall threshold into smaller
thresholds that apply to subsets of potential clients.</t>
      </section>
      <section anchor="alto-client-update-overloading-or-instability">
        <name>ALTO Client: Update Overloading or Instability</name>
        <t>The availability of continuous updates, when the client indicates receiving
server push, can also cause overload for an ALTO client, in particular, an ALTO
client with limited processing capabilities. The current design does not include
any flow control mechanisms for the client to reduce the update rates from the
server. For example, TCP, HTTP/2, and QUIC provide stream and connection flow
control data limits, and PUSH stream limits, which might help prevent the client
from being overloaded. Under overloading, the client <bcp14>MAY</bcp14> choose to remove the
information resources with high update rates.</t>
        <t>Also, under overloading, the client may no longer be able to detect
whether information is still fresh or has become stale.  In such a
case, the client should be careful in how it uses the information to
avoid stability or efficiency issues.</t>
      </section>
      <section anchor="spoofed-uri">
        <name>Spoofed URI</name>
        <t>An outside party that can read the TIPS response or that can observe
TIPS requests can obtain the TIPS view URI and use that to send
fraudulent "DELETE" requests, thus disabling the service for the
valid ALTO client.  This can be avoided by encrypting the requests
and responses (Section 15 of <xref target="RFC7285"/>).</t>
      </section>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t>IANA is requested to register the following media types from the registry available at <xref target="IANA-Media-Type"/>:</t>
      <ul spacing="normal">
        <li>application/alto-tips+json: as described in <xref target="open-resp"/>;</li>
        <li>application/alto-tipsparams+json: as described in <xref target="open-req"/>;</li>
      </ul>
      <ul empty="true">
        <li>
          <t>Note to the RFC Editor: Please replace This-Document with the RFC number to be assigned to this document.</t>
        </li>
      </ul>
      <section anchor="applicationalto-tipsjson-media-type">
        <name>application/alto-tips+json Media Type</name>
        <dl>
          <dt>Type name:</dt>
          <dd>
            <t>application</t>
          </dd>
          <dt>Subtype name:</dt>
          <dd>
            <t>alto-tips+json</t>
          </dd>
          <dt>Required parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Optional parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Encoding considerations:</dt>
          <dd>
            <t>Encoding considerations are identical to those specified for the
"application/json" media type. See <xref target="RFC8259"/>.</t>
          </dd>
          <dt>Security considerations:</dt>
          <dd>
            <t>See the Security Considerations section of This-Document.</t>
          </dd>
          <dt>Interoperability considerations:</dt>
          <dd>
            <t>This document specifies format of conforming messages and the interpretation
thereof.</t>
          </dd>
          <dt>Published specification:</dt>
          <dd>
            <t><xref target="open-resp"/> of This-Document.</t>
          </dd>
          <dt>Applications that use this media type:</dt>
          <dd>
            <t>ALTO servers and ALTO clients either stand alone or are embedded within other
applications.</t>
          </dd>
          <dt>Fragment identifier considerations:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Additional information:</dt>
          <dd>
            <t><br/>
            </t>
            <dl>
              <dt>Deprecated alias names for this type:</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>Magic number(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>File extension(s):</dt>
              <dd>
                <t>This document uses the media type to refer to protocol messages and thus
 does not require a file extension.</t>
              </dd>
              <dt>Macintosh file type code(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
            </dl>
          </dd>
          <dt>Person and email address to contact for further information:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Intended usage:</dt>
          <dd>
            <t>COMMON</t>
          </dd>
          <dt>Restrictions on usage:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Author:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Change controller:</dt>
          <dd>
            <t>Internet Engineering Task Force (mailto:iesg@ietf.org).</t>
          </dd>
          <dt>Provisional registration?:</dt>
          <dd>
            <t>No</t>
          </dd>
        </dl>
      </section>
      <section anchor="applicationalto-tipsparamsjson-media-type">
        <name>application/alto-tipsparams+json Media Type</name>
        <dl>
          <dt>Type name:</dt>
          <dd>
            <t>application</t>
          </dd>
          <dt>Subtype name:</dt>
          <dd>
            <t>alto-tipsparams+json</t>
          </dd>
          <dt>Required parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Optional parameters:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Encoding considerations:</dt>
          <dd>
            <t>Encoding considerations are identical to those specified for the
 "application/json" media type. See <xref target="RFC8259"/>.</t>
          </dd>
          <dt>Security considerations:</dt>
          <dd>
            <t>See the Security Considerations section of This-Document.</t>
          </dd>
          <dt>Interoperability considerations:</dt>
          <dd>
            <t>This document specifies format of conforming messages and the interpretation
thereof.</t>
          </dd>
          <dt>Published specification:</dt>
          <dd>
            <t><xref target="open-req"/> of This-Document.</t>
          </dd>
          <dt>Applications that use this media type:</dt>
          <dd>
            <t>ALTO servers and ALTO clients either stand alone or are embedded within other
applications.</t>
          </dd>
          <dt>Fragment identifier considerations:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Additional information:</dt>
          <dd>
            <t><br/>
            </t>
            <dl>
              <dt>Deprecated alias names for this type:</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>Magic number(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
              <dt>File extension(s):</dt>
              <dd>
                <t>This document uses the media type to refer to protocol messages and thus
 does not require a file extension.</t>
              </dd>
              <dt>Macintosh file type code(s):</dt>
              <dd>
                <t>N/A</t>
              </dd>
            </dl>
          </dd>
          <dt>Person and email address to contact for further information:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Intended usage:</dt>
          <dd>
            <t>COMMON</t>
          </dd>
          <dt>Restrictions on usage:</dt>
          <dd>
            <t>N/A</t>
          </dd>
          <dt>Author:</dt>
          <dd>
            <t>See Authors' Addresses section.</t>
          </dd>
          <dt>Change controller:</dt>
          <dd>
            <t>Internet Engineering Task Force (mailto:iesg@ietf.org).</t>
          </dd>
          <dt>Provisional registration?:</dt>
          <dd>
            <t>No</t>
          </dd>
        </dl>
      </section>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="RFC2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC7285">
          <front>
            <title>Application-Layer Traffic Optimization (ALTO) Protocol</title>
            <author fullname="R. Alimi" initials="R." role="editor" surname="Alimi"/>
            <author fullname="R. Penno" initials="R." role="editor" surname="Penno"/>
            <author fullname="Y. Yang" initials="Y." role="editor" surname="Yang"/>
            <author fullname="S. Kiesel" initials="S." surname="Kiesel"/>
            <author fullname="S. Previdi" initials="S." surname="Previdi"/>
            <author fullname="W. Roome" initials="W." surname="Roome"/>
            <author fullname="S. Shalunov" initials="S." surname="Shalunov"/>
            <author fullname="R. Woundy" initials="R." surname="Woundy"/>
            <date month="September" year="2014"/>
            <abstract>
              <t>Applications using the Internet already have access to some topology information of Internet Service Provider (ISP) networks. For example, views to Internet routing tables at Looking Glass servers are available and can be practically downloaded to many network application clients. What is missing is knowledge of the underlying network topologies from the point of view of ISPs. In other words, what an ISP prefers in terms of traffic optimization -- and a way to distribute it.</t>
              <t>The Application-Layer Traffic Optimization (ALTO) services defined in this document provide network information (e.g., basic network location structure and preferences of network paths) with the goal of modifying network resource consumption patterns while maintaining or improving application performance. The basic information of ALTO is based on abstract maps of a network. These maps provide a simplified view, yet enough information about a network for applications to effectively utilize them. Additional services are built on top of the maps.</t>
              <t>This document describes a protocol implementing the ALTO services. Although the ALTO services would primarily be provided by ISPs, other entities, such as content service providers, could also provide ALTO services. Applications that could use the ALTO services are those that have a choice to which end points to connect. Examples of such applications are peer-to-peer (P2P) and content delivery networks.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7285"/>
          <seriesInfo name="DOI" value="10.17487/RFC7285"/>
        </reference>
        <reference anchor="RFC8259">
          <front>
            <title>The JavaScript Object Notation (JSON) Data Interchange Format</title>
            <author fullname="T. Bray" initials="T." role="editor" surname="Bray"/>
            <date month="December" year="2017"/>
            <abstract>
              <t>JavaScript Object Notation (JSON) is a lightweight, text-based, language-independent data interchange format. It was derived from the ECMAScript Programming Language Standard. JSON defines a small set of formatting rules for the portable representation of structured data.</t>
              <t>This document removes inconsistencies with other specifications of JSON, repairs specification errors, and offers experience-based interoperability guidance.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="90"/>
          <seriesInfo name="RFC" value="8259"/>
          <seriesInfo name="DOI" value="10.17487/RFC8259"/>
        </reference>
        <reference anchor="RFC8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="8174"/>
          <seriesInfo name="DOI" value="10.17487/RFC8174"/>
        </reference>
        <reference anchor="RFC8895">
          <front>
            <title>Application-Layer Traffic Optimization (ALTO) Incremental Updates Using Server-Sent Events (SSE)</title>
            <author fullname="W. Roome" initials="W." surname="Roome"/>
            <author fullname="Y. Yang" initials="Y." surname="Yang"/>
            <date month="November" year="2020"/>
            <abstract>
              <t>The Application-Layer Traffic Optimization (ALTO) protocol (RFC 7285) provides network-related information, called network information resources, to client applications so that clients can make informed decisions in utilizing network resources. This document presents a mechanism to allow an ALTO server to push updates to ALTO clients to achieve two benefits: (1) updates can be incremental, in that if only a small section of an information resource changes, the ALTO server can send just the changes and (2) updates can be immediate, in that the ALTO server can send updates as soon as they are available.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8895"/>
          <seriesInfo name="DOI" value="10.17487/RFC8895"/>
        </reference>
        <reference anchor="RFC9112">
          <front>
            <title>HTTP/1.1</title>
            <author fullname="R. Fielding" initials="R." role="editor" surname="Fielding"/>
            <author fullname="M. Nottingham" initials="M." role="editor" surname="Nottingham"/>
            <author fullname="J. Reschke" initials="J." role="editor" surname="Reschke"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>The Hypertext Transfer Protocol (HTTP) is a stateless application-level protocol for distributed, collaborative, hypertext information systems. This document specifies the HTTP/1.1 message syntax, message parsing, connection management, and related security concerns.</t>
              <t>This document obsoletes portions of RFC 7230.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="99"/>
          <seriesInfo name="RFC" value="9112"/>
          <seriesInfo name="DOI" value="10.17487/RFC9112"/>
        </reference>
        <reference anchor="RFC9113">
          <front>
            <title>HTTP/2</title>
            <author fullname="M. Thomson" initials="M." role="editor" surname="Thomson"/>
            <author fullname="C. Benfield" initials="C." role="editor" surname="Benfield"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>This specification describes an optimized expression of the semantics of the Hypertext Transfer Protocol (HTTP), referred to as HTTP version 2 (HTTP/2). HTTP/2 enables a more efficient use of network resources and a reduced latency by introducing field compression and allowing multiple concurrent exchanges on the same connection.</t>
              <t>This document obsoletes RFCs 7540 and 8740.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9113"/>
          <seriesInfo name="DOI" value="10.17487/RFC9113"/>
        </reference>
        <reference anchor="RFC9114">
          <front>
            <title>HTTP/3</title>
            <author fullname="M. Bishop" initials="M." role="editor" surname="Bishop"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>The QUIC transport protocol has several features that are desirable in a transport for HTTP, such as stream multiplexing, per-stream flow control, and low-latency connection establishment. This document describes a mapping of HTTP semantics over QUIC. This document also identifies HTTP/2 features that are subsumed by QUIC and describes how HTTP/2 extensions can be ported to HTTP/3.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9114"/>
          <seriesInfo name="DOI" value="10.17487/RFC9114"/>
        </reference>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="RFC9205">
          <front>
            <title>Building Protocols with HTTP</title>
            <author fullname="M. Nottingham" initials="M." surname="Nottingham"/>
            <date month="June" year="2022"/>
            <abstract>
              <t>Applications often use HTTP as a substrate to create HTTP-based APIs. This document specifies best practices for writing specifications that use HTTP to define new application protocols. It is written primarily to guide IETF efforts to define application protocols using HTTP for deployment on the Internet but might be applicable in other situations.</t>
              <t>This document obsoletes RFC 3205.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="56"/>
          <seriesInfo name="RFC" value="9205"/>
          <seriesInfo name="DOI" value="10.17487/RFC9205"/>
        </reference>
        <reference anchor="IANA-Media-Type" target="https://www.iana.org/assignments/media-types/media-types.xhtml">
          <front>
            <title>Media Types</title>
            <author>
              <organization/>
            </author>
            <date year="2023" month="June"/>
          </front>
        </reference>
      </references>
    </references>
    <section anchor="sec-dep-model">
      <name>A High Level Deployment Model</name>
      <t>Conceptually, the TIPS system consists of three types of resources:</t>
      <ul spacing="normal">
        <li>(R1) TIPS frontend to manage (create/delete) TIPS views.</li>
        <li>(R2) TIPS view directory, which provides metadata (e.g., references) about the
network resource data.</li>
        <li>(R3) The actual network resource data, encoded as complete ALTO network
resources (e.g., cost map, network map) or incremental updates.</li>
      </ul>
      <figure anchor="fig-service-model">
        <name>Sample TIPS Deployment Model</name>
        <artwork type="drawing" align="center"><![CDATA[
                      +------------------------------------------------+
                      |                                                |
 +------+             |R1: Frontend/Open  R2: Directory/Meta  R3: Data |
 |      | "iget" base |     +-----+           +-----+         +-----+  |
 |      | resource 1  |     |     |           |     |         |     |  |
 |      |-------------|---->|     |           |     |         |     |  |
 |      | incremental |     |     |           |     |-------->|     |  |
 |      | transfer    |     |     |           |     |         |     |  |
 |      | resource    |     |     |           |     |         |     |  |
 |      |<------------|-----|     |           +-----+         +-----+  |
 |Client|             |     |     |                                    |
 |      | "iget" base |     |     |                                    |
 |      | resource 2  |     |     |           +-----+         +-----+  |
 |      |-------------|---->|     |           |     |         |     |  |
 |      | incremental |     |     |           |     |         |     |  |
 |      | transfer    |     |     |           |     | ------->|     |  |
 |      | resource    |     |     |           |     |         |     |  |
 |      |<------------|-----|     |           |     |         |     |  |
 +------+             |     +-----+           +-----+         +-----+  |
                      |                                                |
                      +------------------------------------------------+
]]></artwork>
      </figure>
      <t>Design Point: Component Resource Location</t>
      <ul spacing="normal">
        <li>Design 1 (Single): all the three resource types at the same, single server (accessed via
relative reference)</li>
        <li>Design 2 (Flexible): all three resource types can be at their own server (accessed via
absolute reference)</li>
        <li>Design 3 (Dir + Data): R2 and R3 must remain together, though R1 might not be
on the same server</li>
      </ul>
      <t>This document specifies Design 1 in order to simplify session management, though
at the expense of maximum load balancing flexibility. See <xref target="load-balancing"/> for
a discussion on load balancing considerations. Future documents may extend the
protocol to support Design 2 or Design 3.</t>
    </section>
    <section anchor="sec-bcp-http">
      <name>Conformance to "Building Protocols with HTTP" Best Current Practices</name>
      <t>This specification adheres fully to <xref target="RFC9205"/> as further elaborated below:</t>
      <ul spacing="normal">
        <li>TIPS does not "redefine, refine, or overlay the semantics of
generic protocol elements such as methods, status codes, or
existing header fields" and instead focuses on "protocol elements
that are specific to <tt>[the TIPS]</tt> application -- namely, <tt>[its]</tt> HTTP
resources" (<xref section="3.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>There are no statically defined URI components (<xref section="3.2" sectionFormat="of" target="RFC9205"/>).</li>
        <li>No minimum version of HTTP is specified by TIPS which is
recommended (<xref section="4.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>The TIPS design follows the advice that "When specifying examples of
protocol interactions, applications should document both the
request and response messages with complete header sections,
preferably in HTTP/1.1 format" (<xref section="4.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS uses URI templates which is recommended (<xref section="4.2" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS follows the pattern that "a client will begin interacting
with a given application server by requesting an initial document
that contains information about that particular deployment,
potentially including links to other relevant resources.  Doing so
ensures that the deployment is as flexible as possible
(potentially spanning multiple servers), allows evolution, and
also gives the application the opportunity to tailor the
"discovery document" to the client" (<xref section="4.4.1" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS uses existing HTTP schemes (<xref section="4.4.2" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS defines its errors "to use the most applicable status code"
(<xref section="4.6" sectionFormat="of" target="RFC9205"/>).</li>
        <li>TIPS does not "make assumptions about the relationship between
separate requests on a single transport connection; doing so
breaks many of the assumptions of HTTP as a stateless protocol and
will cause problems in interoperability, security, operability,
and evolution" (<xref section="4.11" sectionFormat="of" target="RFC9205"/>).  The only relationship
between requests is that a client must make a request to first
discover where a TIPS view of resource will be served, which is
consistent with the URI discovery in <xref section="4.4.1" sectionFormat="of" target="RFC9205"/>.</li>
        <li>
          <xref section="4.14" sectionFormat="of" target="RFC9205"/> notes that there are
quite a few caveats with using server push, mostly because of lack
of widespread support.  The authors have considered these
factors and have still decided server push can be valuable in the
TIPS use case.</li>
      </ul>
    </section>
    <section anchor="push-mode-tips-using-http-server-push">
      <name>Push-mode TIPS using HTTP Server Push</name>
      <t>In this section, we give a non-normative specification of the push-mode TIPS. It
is intended to not be part of the standard protocol extension, because of the
lack of server push support and increased protocol complexity. However,
push-mode TIPS can potentially improve performance (e.g., latency) in more
dynamic environments and use cases, with wait-free message delivery. Using
native server push also results in minimal changes to the current protocol.
Thus, a preliminary push-mode TIPS extension using native server push is
specified here as a reference for future push-mode TIPS protocol designs.</t>
      <section anchor="basic-workflow">
        <name>Basic Workflow</name>
        <t>A client that prefers server push can use the workflow as shown in
<xref target="fig-workflow-push"/>. In this case, the client indicates for server push when it
creates the TIPS view. Future updates are pushed to the client as soon as they
become available.</t>
        <figure anchor="fig-workflow-push">
          <name>ALTO TIPS Workflow Supporting Server Push</name>
          <artwork type="drawing" align="center"><![CDATA[
Client                                  TIPS
  o                                       .
  | Open persistent HTTP connection       .
  |-------------------------------------->|
  |                                       .
  | POST to create/receive a TIPS view    .
  |      for resource 1 and add           .
  |      self to receiver set             .
  | ------------------------------------> |
  | <tips-view-uri1>, <tips-view-summary> .
  |<------------------------------------- |
  |                                       .
  | PUSH <tips-view-uri1>/ug/<i>/<j>      .
  | <-------------------------------------|
  |                                       .
  | PUSH <tips-view-uri1>/ug/<j>/<j+1>    .
  | <-------------------------------------|
  |                                       .
  | PUT to remove self from receiver      .
  |      set of resource 1                .
  |-------------------------------------> |
  |                                       .
  | Close HTTP connection                 .
  |-------------------------------------->|
  o
]]></artwork>
        </figure>
      </section>
      <section anchor="ird-push">
        <name>TIPS Information Resource Directory (IRD) Announcement</name>
        <t>The specifications for media type, uses, requests and responses of the push-mode
TIPS is the same as specified in <xref target="caps"/>.</t>
        <section anchor="capabilities">
          <name>Capabilities</name>
          <t>The capabilities field of push-mode TIPS is modeled on that defined in <xref target="caps"/>.</t>
          <t>Specifically, the capabilities are defined as an object of type
PushTIPSCapabilities:</t>
          <artwork><![CDATA[
     object {
       [Boolean                     support-server-push;]
     } PushTIPSCapabilities: TIPSCapabilities;
]]></artwork>
          <t>with field:</t>
          <dl>
            <dt>support-server-push:</dt>
            <dd>
              <t>The "support-server-push" field specifies whether the given TIPS
supports server push.  If the "support-server-push" field is TRUE,
this TIPS will allow a client to start or stop server push.  If
the field is FALSE or not present, this TIPS does not provide
server push.</t>
            </dd>
          </dl>
        </section>
        <section anchor="example">
          <name>Example</name>
          <figure anchor="fig-sp-ird">
            <name>Sample IRD Entry for TIPS with Server Push</name>
            <artwork align="left"><![CDATA[
    "update-my-costs-tips-with-server-push": {
      "uri": "https://alto.example.com/updates-new/costs",
      "media-type": "application/alto-tips+json",
      "accepts": "application/alto-tipsparams+json",
      "uses": [
          "my-network-map",
          "my-routingcost-map",
          "my-hopcount-map",
          "my-simple-filtered-cost-map"
      ],
      "capabilities": {
        "incremental-change-media-types": {
          "my-network-map": "application/json-patch+json",
          "my-routingcost-map": "application/merge-patch+json",
          "my-hopcount-map": "application/merge-patch+json",
          "my-simple-filtered-cost-map": "application/merge-patch+json"
        },
        "support-server-push": true
      }
    }
]]></artwork>
          </figure>
        </section>
      </section>
      <section anchor="push-mode-tips-openclose">
        <name>Push-mode TIPS Open/Close</name>
        <section anchor="push-open-req">
          <name>Open Request</name>
          <t>An ALTO client requests that the server provide a TIPS view for a given resource
by sending an HTTP POST body with the media type
"application/alto-tipsparams+json". That body contains a JSON object of type
PushTIPSReq, where:</t>
          <artwork><![CDATA[
    object {
       [Boolean     server-push;]
    } PushTIPSReq: TIPSReq;
]]></artwork>
          <t>with the following field:</t>
          <dl>
            <dt>server-push:</dt>
            <dd>
              <t>Set to TRUE if a client desires to receive updates via server
push.  If the value is FALSE or not present, the client does not
accept server push updates.  See <xref target="push"/> for detailed
specifications.</t>
            </dd>
          </dl>
        </section>
        <section anchor="open-response">
          <name>Open Response</name>
          <t>The push-mode TIPS requires extending the contents of <tt>tips-view-summary</tt> field
of AddTIPSResponse:</t>
          <artwork><![CDATA[
    object {
      [Boolean              server-push;]
    } PushTIPSViewSummary : TIPSViewSummary;
]]></artwork>
          <t>with the following field:</t>
          <dl>
            <dt>server-push:</dt>
            <dd>
              <t>An optional server-push boolean value which is set to TRUE if and only if the
client indicates server push. If the client indicates server push, the
recommended edge in the updates-graph-summary field will be the first content
pushed.</t>
            </dd>
          </dl>
        </section>
      </section>
      <section anchor="push">
        <name>TIPS Data Transfer - Server Push</name>
        <t>TIPS allows an ALTO client to receive an update item pushed by the
ALTO server.</t>
        <t>If a client registers for server push, it should not request updates
via pull to avoid receiving the same information twice, unless the
client does not receive the expected updates (see <xref target="client-processing"/>).</t>
        <section anchor="manage-server-push">
          <name>Manage Server Push</name>
          <t>A client starts to receive server push when it is added to the
receiver set.  A client can read the status of the push state and
remove itself from the receiver set to stop server push.</t>
          <section anchor="start-server-push">
            <name>Start Server Push</name>
            <t>A client can add itself explicitly to the receiver set or add itself
to the receiver set when requesting the TIPS view.  Before a client
starts receiving server push for a TIPS view, it <bcp14>MUST</bcp14> enable server
push in HTTP, i.e., following Section 8.4 of <xref target="RFC9113"/> for HTTP/2 and
Section 4.6 of <xref target="RFC9114"/> for HTTP/3.  If the client does not enable
HTTP server push, the ALTO server <bcp14>MUST</bcp14> return an ALTO error with the
<tt>E_INVALID_FIELD_VALUE</tt> code and set the "field" to "server-push".</t>
            <t>Explicit add: A client can explicitly add itself in the receiver set
by using the HTTP PUT method with media type "application/alto-
tipsparams+json", where the client may optionally specify a starting
edge (next-edge) from which it would like to receive updates:</t>
            <artwork><![CDATA[
    PUT /<tips-view-uri>/push

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

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

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

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

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

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

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

    DATA
      - END_STREAM
      {
        "server-push": false
      }
]]></artwork>
            </figure>
            <t>The server simply returns an empty message with status code 200, to indicate
that the operation succeeds, ashown in <xref target="fig-stop-resp"/>.</t>
            <figure anchor="fig-stop-resp">
              <name>Example Response of the Stop Server Push Request</name>
              <artwork align="left"><![CDATA[
    HEADERS
      - END_STREAM
      + END_HEADERS
        :status = 200
]]></artwork>
            </figure>
          </section>
        </section>
      </section>
    </section>
    <section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>The authors of this document would like to thank Mark Nottingham and Spencer
Dawkins for providing invaluable reviews of earlier versions of this document,
Adrian Farrel, Qin Wu, and Jordi Ros Giralt for their continuous feedback, Russ
White, Donald Eastlake, Martin Thomson, Bernard Adoba, Spencer Dawkins, and
Sheng Jiang for the directorate reviews, and Martin Duke for the Area Director
Review.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+296XrbVrYo+B9PgaZ/RLomqcmjkviUYtmJTnk6kl35civ1
xRAJSogpgAFAySrb91VuP0v3i/Ua9157A5RkJzV099FXFUsksIe1117zMBqN
kmk1KbOzfDed1tmsHRV5Oxtl87YalfnFqK2zsllUdTuaZ23etElbtHN4dvD6
NE/3nr1+mb7WJ9KDclbVZ1lbVGX6ank8Lyb8+1FenxeTfJBkx8d1fg4v84sH
r44GCTyTn1T15W7atNNkCn/tph/2914/+ZQkxaLeTdt62bTbm5sPN7eTrM6z
XTPjHvydXFT1u5O6Wi52aUFJ0rRZOf0lm1cljHWZN8mi2E1SGL8uJi1/kqaT
6uwsL9tG/y7KeaHPp2k+LdqiPNlNywr+aquJfgG/VmeLzI8DH0zzRXu6m+7g
KIu6rNpiVuRTebeBddb5zM3TXJ7ZP6PRmuWx+wReT7Jle1rVuPoR/B9XCW8e
jtOjyWnVtvQRn91hNYdN289hu3kOwxxMs9HhaTXNm9ERnOb//b/zdJsemBQt
QH0/q88AYFN+aQLP7ab37mw/vCt/L8sWD+f7HE62vKQPqxoAs58v22YCSPA6
n+fvqjP6Jj/LirkuZsyL+VPLD4yneRLu46cxbuWnrDwxG8E/08NicprVU/+d
bubuVvqqrppFPmnTI/rMbOVFfpH+kJ3npdnK49fhPt4c7fk9/JTN8/RNWZzn
dQMj2C1c1pd/mjTjS3hinE+X0cr/PE6/zyqz6j9nhftE1zp4UY2376RHFZwh
3IEJ3YWtYfpTcbrMSgBSNh2Y1T8+zcsTmMkcw9Ym/ITrf3xalJnfwREACgfr
38S7rDjJqj81kyXuYTwpo208G8Mxzi9gjNzs5Vm2rPMy/OaL4b957+725pcd
wZzWAWjD6/jTirOATfw5n8/zOtjC5BRQ0H7xr9kBLWP8jpZhNlAynTzP8WYf
Pn28vbX1UH69v/3grvz6YPuufvpg6/4d/fXBQ33g4dbWtv91x/8KzyaFUmM3
y8PtTXrzYO/F3ug5kLhs9PpyQd8CHWO6Th+n+HHDH2f1CYLttG0Xze7GxsXF
xbjIymwMe9/ImqY4KYmMbpzReC2+aH8fvz9tz+Y0FNP27c3tndHmvSQZjUZp
dgzHAsQuSRw7gcNBGjtP12DFKUJjPZ3nANzsJG/SH16/frWxNd5KkdgVTQpU
DVaQT1PYa9rCGE1xtpjnw6TJf1vCuopsntb4a9OO6nwxv0yXTZ5OsiYfAvak
F6eAWTAWTz2ZF/CKPt+kmYwyydNqlhaGu9V5Uy3rSd4MaSE0MTC5vMZvFlU5
bdKLAm49foH0fJ63eTKpyhbHh7FyQAw3SAp8Ks3aNIMzOMvHSUKLKcpJnSNo
YQfLBcKugbUDTyJ2mtejIxzryTkCP107OnqyzhBD9FgHuMyAm+EWzpbztoAF
vMdXFwpc2ENbLXApAtH3Q+BUsF5ch4BDdjTJysQsBkC4WDZm9bq4thIAwt6B
lOGRpWdVWbRVDedT5i3y6aQXiilQ+/IEjgSGry5woQQ4GQ0GlnFS3Yx/NYEF
E/jh3jP80h+qC5x8yFvbphNC4aVO6YpWJYBlDoLD9BLY7YLkCDiaybIGatMO
4W6Wo+N5NXlH63CiBoDKzY60JDtrEIPc3DgZjlMyoYdjfA3wzN7B0U7PM4Dc
CWERyFSwEHp4lmctUDjAofYUUbmaLBHEMGpbV9MlwqWVW5HcWMhK11CsWh+T
dIXI3uB5mvNLDp8cvZ4t53J1ELonQCLiS4Azw1rh9BfZcTEHwoZP5u8XMCFQ
isth4mEGKLFmobauVyhdWyzn8/UUqS3IRJPVSJ2URKj0yCoG0cbOEK8oQbyY
z9PZsiTg4snM9BmgBmOmJmfFdDoHIeMWAIlBSJD5cIsgCvLk3mKh8Bo9yy7h
IACuM1zYywXgTvF3BuUaAmIdL8t5AVBKz3IAPk2oWJz5gQg/q+M2A2SQr2G1
cLKNpRggsVXpLAOkhCc8ViV6IZv0FNhOepwD41WaBjR8C85RCeMxEC1/gT98
EF7x6dNQyNhqcuiIXkJM8zqy5/bRd1kdxcOxhEQ0OVI8S+xSQ+zwcxkcVmbH
XCtmMNrlOg7l6ElbmdsPJ7s9Tr+AIOIrG0QVCVJIFQFSOFE/sGL0r2C+KR6x
W5DslUhk0aYXcKeJRcLXdT7JEXt1WTQgvEDbX80rgLLinyRs2NvED/bQXENq
aRmyWCW3OI6nuDF1BVB+VwFP8igH2lQIBMddCWYoXXz6hGsBXjnNcRlIqnIg
m6fVcj5NjoFqHM8JQKCnVHioE1rslWTPEeFmiUgoPH070Tl3eE4hAG4pdz59
MqQdlgGLxw0UTQOYxez2GPZnrhTCJT0tTk47U+OLcCfwio3Sp0XdtEM8gQa2
WTuiG964vlvWylWewVtVOb8UfY4uQC+jA1TWQ8PDr5fMQMKr7XgzDBfTQ8Y2
Jq6OHfXzVLjnHqlY/UWmNUyPl60KIDoQ/AcOk9H2yh3sCuQLRP2ysuwBb7oA
o8Zb2XNf4QBRmtLjQxDAtHMUMWG4Co7nFNgyn5unAY5bn2bCzLrr0qtVeszA
LZ8BOgr6N3qP9RVkGiDwv7dHr1TDEg04szko4cuTU/813VzZLNkOOlsdIo0w
nBzgClCugMcA3lwlkyEgWCoDMgC4fYbPgGhYweCjqsZVnuVNg/cKN1bmwBbr
6iwgUSEFTYmHBHMK759WsLKyapXVofaEX68V43wM03vwwpclmTXqdbJ5EHWE
V5aw496DPqLLrRMBvHAaYkMOJ1EhyDxiptk5KE1EUAB1jeymksBxPslwBLzl
xM0awuACj9utFE/DrRWOboqGnKpk4uXOr8ADQZI6wmvbueMwQMHSF95oRsIZ
gk5QHa/WaVUR8zmtLmiVhLRFq7ygcaAgQfAMVnFCzOQ0FyDkdXmV6JeR+OUE
8QKvDVLXfJrg4f5DBUJFh4gpEo3N/l8lFu6DOlYw2AF/StCKWgD6qbKRvvuu
SNBU83M6B5ChAC9rZCyAnGdDokMwTlpdlAgqwHZhIQ61zkiyT9t8cloWsGcB
XXKRz+cjgABgedGcAiXIJ1VzCXLRmTB0gDiJbMXsktY8hXXOqwXCZow2pAqZ
MUyDgFnWxGxFh2H5i8SEswrODl4seVoBx6bhYGcgIaQ5Sr54sIkjuAp85I+z
mlXosUL/egadOPxVUoTr0XnPsss0L4FmwdeEjE5Fdqsepz/SueKtSEQ/wvV6
jEIycgG4Cb+SaIuQyQEmF7nH2hSxzplYEkUzvhZAXOniE5BoGcxVsjloiIJu
ehPwSPCwF1XLtoTkBMT8hjhowZRTTjoviUFc5iixHumEIjHZGy6LyRsSPdIn
72HkRtWItmMEQXSeXiJZnqBtuJnUxYK2gQfgDxAEv2VZIB2QI4QtzNEiRWw5
vO8AOeKIeFt6BH0rixOLBJEFb7yXzy8XuUjBIiEz6jF9EQQ6qbMFHynvIesO
++bwIF1kLUKdNj/L2wmjQ1NmCxAx8YbVvdwlAWGxySej48lihIYpQMhp0QCD
bZjNX+Dq8vetKrK0NDnUbIoCggP3d+jTeCwM6RXaooqJSPDHy2I+tRy68fdJ
sH57EwUE0DhvpYfMisgYlj4D+C6BRbNd6x2IzABmUJEGz98cvR4M+d/0xUv6
/fDJf705OHyyj78f/bD37Jn7JZEnjn54+ebZvv/Nv/n45fPnT17s88vwaRp8
lAye7/00YHVi8PLV64OXL/aeDdhsYZESrzvA4xg5L5zHos5RU8uaBGAGGHdM
alv63eNX/9f/uXUHtv5/iMkS4M5/oHkS/kA6wrMRW+U/UWNAhTnP8DBTksgy
IMrZHDWiBpUJoKN4KADI//FXhMzfdtNv4Gy37jySD3DDwYcKs+BDgln3k87L
DMSej3qmcdAMPo8gHa5376fgb4W7+ZAQ5gVIdGRAQCSxp0E82tmVmktA/fcE
1FLfQLA5UotnA/dBHQwPxtt45511AA+WiQ5zlDygOCDTNOjoYrLjlQecTsQO
vG63+Aq9PMePgBh8uFXJr59oL14aCa7Bh1u1+fNTn5WXNF141CxLjXKBpQSE
XqRaRXMGlFPYbWZ1qSlMM0EOoUKGCi+BiiCGGq/lJEps2FIBdCN4iTFUaPZU
DX4rTTFfJ8qjg7UJ5T7OWXL2BE1VE5gbjcDWwklmP38gbOnAybsE0QMvlGNw
w5nlxHmTWC4f6Anwa008jK0pace8DGhg1W/lyb1HRBQF2WPFdjWxL4AChKrh
MKF3QCZG1ON1AjRhmw1rH36H626xACIxA3lWZfTqmOey9bJnbaztNjBAIzdi
VonVObHYCvz5oMt6dpPdtOdj1uZzknxIPSHZDdQb2jLZQMrYru7NaAKNhk4Q
bdhqNXO6ZE4oSLzbK8eEO8LfCVuMEQ1lvAJEILYfhvjqtD69aH3iN6wOV2bO
uQfvPFCLAPVIaJrDwSu9WsvQXqA8egqcBiCOGPXYG97TwPAuM1jQIOx/xN27
u1Xm+bSxBjjC+AW6eYxxZIVuTisCmaA2hhxYcSAHB8oMyihLPIIlaB2A00IK
yinIo+0pjEYnWikeoCljVM1GGFaQ6r6MPfeqewyDBTd5iUjfLkE8zRG9/Qk6
NC6cMkw8ZDRiBYANF3KSFlmPjUUAD+QyMiBk51Ux7d8DjHYMciOaqrv+mGFH
jxBJNEeGoj45ACICC11LGPMwQwMaWTF6J0Q/Lwr2bGBWD8uQSEr+PiOHH90L
3ierDKDfZ5N3eZvOqwZZ2Ks6JwnTIxdd5p6P7WXGKelGIhfNxXwrHGYIwj8v
DwXwBUxTqDUUxgPwI90fHb5+HV5wT8h6zCYHnaPvHC38CWg4K9AUIGyBj23U
4Nd47K04BPkSwwusJyu2CxejVQRUEk3EALQLDL2gMJRWLB589Ujjrjx5Ajnx
vKiWwfL4zCs8UUarfuVRTZuB+ij30t/KU3HudVdqSA8jEakxVt3dQs6NIStW
h4bDIcM34p6QNT4LVSVFIktpF0g2UZS1BoXX/cuJRIRA46M7ivYkFH1ZqUdN
JAmhVuJtQ9UY1gKKrIiAquJNSJFDp0pRLhHkQEubHEi8KrVJzByZ0qDqgbZ7
BCvJHqqfZ6Qw4oKJTbGmBk+oxJ94FgPk22tkkWdCMXfd8CEjPOHlqpnAJqhm
sxiJciNaVStAXWcD8MuIVWZQFCqvN4MqqSsXa6XzdV23SHT5T/MFXGPvmUqs
YwBhtmQS1nTIZcALnD9rHFAQYCp1ns1J4OGrSZtcgISBxD+W9Mm+KycNC5tX
l/QxH4bnloBSKSu88BAZLuaqdRI8X+c1Mvt5dXIJInfr//qEMgxovGwDVXkP
H2gkQmDqOLf6Ett+XcQJSfw6SEefa4Ek0UntmmREUEro7JtdWdusZUj6SkkG
YjQnqMGjjyYgShjBcbUBROSmqxyeAOgXV3zttrUocg4UAe25BvIvlmz/RnZc
LdvARwxbXgDnM/BHFNErkq615wo1c1rhAbHaLpwRdRt0Rc0C7Pfe5rRnPSwq
X7F9uBOkFzhDCq3tLLtkx8d8CZy5QrZrTsIMREQd5UFU54CiFhNiLaDuUPCl
nBKMxSajteUJ8S0V6Wpyo67VDUqLbwLrEj7qoM/qH1oCs8kliIcTeejitGpQ
FZmStwA4VqNGIXHPOp8g4UkEotDpnU9PVDPnd0VsK9r8jONfYGNLNfLDUDo2
EDshjWfZQtE9XcvHJ+Nh+rgCfeR5thimimbwxzpZS1G+ZVMK+UkAYed5aGJD
h6LaB/tOMZrraYFWzhzZr07LMwG24E7gooQWvDWkz6Qw4611x7/Oshc6EZdk
4Cbdg0giHNNfeNt4NocKcjwjQFxUACeo+PrwgBUevXH6lN3yoW3SnwjNLhAm
ga9pKtCR0HLF1nY4MV7c/NL7hEgmQWieVSBAV6V4rEkigJPKJ0u0AOMbeINI
AHBBYOXy7BidSj9yQIXSUhhsoOtoBqwBzLwbTr+K1xcNm6KQetRmKExE36w1
+DGId78pvhMOonMTDR2oN/09r6vOe0XZOVCY40nZ2RKgRzmNxye3bNNdTf+o
R8J83YVEVQlv3DybsNyKRx0aY4rGES2GSf/QXX3b01yAC4f4rZrn2gmG5LSf
rhDeSGj5z6OXL9LnOYAjfZWhkRoQkz6jv+hyW39a6ugCCaDwa1UDPrHMLMtS
pFgrmNpxmKX/+Nd1cWEbpARKSm7ZIr2dbqXfpr+KqXXBDs6Ug05Ogf7C80yS
L4oGLtJzXUS/q5pk3Wx+kV02fYervjadZ0OnWDEakhM0ZGXsrCGjMnGJ6QrU
eeOpKJMMuDzeOKWEgl5FChwZR8wiJ6cqq+UFMSSims6+1+dLoMMzZNwIexQR
QGZwQrQCHf1rFZBplFTXUd9ERWeBzuIK1wEfMBc8laGK2NOqE1XhyvgYSf4t
mnDTMzca3oP9W8Xo1q8Io32Z08OBp0QoebcqQasou9By9o5CqCrp3o6W4tf6
x69D2WlBq/yVfQXEAgOy0Kg8nSqKI891EU+C3/SZ7ApXN6R4WdTnkebCHg9j
ro+7fcx3OGC9PtS04tA5H2Fm7EHG9umdRxgPgYAG0q1evGXj1WLnOEwDxyEs
Lvlf8INZMheFpCVc83N7ZH9uJ/Fnt6Mn4IOPabov/Bx+PoaPJ/xZegiCG0qv
8PtHNKWfF424v/EDJ0ek/AD6GGskEOlHGeCVc2jR82n6qgKJ6VJfsPI8/w0D
zIC+ygDXbOH2FX/fNmD7GAIr+rP7fRLN9KU/t5OPLIyJpfuLfz4mH+Pdf9F6
aKDO9q/+0TOOzooGig9g1c/K53SgGBVWAmLVc36gQ2XIt7auHMg/t9030B+0
Nf76483OZ0P+/bnn1HTQm/xsuN9+jnb9eSvaML/bNVk80hX1K+nxeqI1dYDd
D+fu1/En/vjT9nwLP4hGk13j19sWjvTJjrxwe9WKAvy4wYo++oHC1zsDdX+P
H+pZ0Zf96mEEINpYnrhf60Z+3fafbvtPd/ynO/TpH7wi+vujx68N/6vHUouK
4Tc8qLsiHx1+bRhUcyANUbEDekP8PyrO09Q/R/PG6+neKMeAcIaf/dQ/B/N2
1qO8Ux+5LVPd1jc/rnovetE98rO8+VE+3FP9PoCBfspjfPvtx2/hZ+Pbb+XP
n+l/9Cl+6MPkNnbc8856bddhF8or+SgfegeLXYf/NEkD6qo3recj/3M7gv/H
9DE78DwvcB9td87efLnD0Pxd8yfteYGwMcasAj/D+/Rtr0bDMnOsv8Mr9Brc
vW9DaxUKuDDHGrm8vQS6TvJj8mE3vTUrTkYaQQESNbHyUTYvTspvBxOMaKsH
nJD37cDFXKi1lNKmP2EIlB3l0ycKpCGVQ3xiaTGfLzG/jmRF+LwyQzm3Cg6X
iJmIfQa6ZE1/cYY/NSbh6xfVirDztVtbCUr9t7ZVR7rIxdCNvJ+VotgWxioQ
sHxy3M3ISoX202BhEvC/Y2NSYT5FpaHDIB5NUWZdstpqysAryUoYBNvxfsfp
EzQoiWf5DPQN1jkyvZdRglfiPBexU9/ZzD2CkUpCVmGvia01OWlSCahGS3YC
kS2ep5O4tvU4ssG4UNA+vLVOVhSy3lGMBfltrJXx1tZQjS3NaSZOOee3FSiy
sY3s/AR7dSrCAMmtbU5amhbk1APgBCvgGG1gQmSxcEtZLqrSvMLzJC7HiIDn
v+ZZ8fKYaCO19n6P1488GRz+bgKU+24rZzFYy22YzkgLbJJeMwdHx662JnOQ
buVRw+eHJiuiKIxbag1UrrkquxLMHdiQ2YuWXOONuHUr/Y7s6PtoMnhOziJ4
LwBX+uEWGhTEWZQkT9Vc6wxjYhHGSChMAUH7s0/8gj/XhyuijTg2xO9KLCbO
uO5cX6HbSEEaQZQ9fglTChuCUGeTd00U6GLTN3CNgkdqqzjYb/xd59zkOOpA
Mhvcrvg6bDFs0NG/LnG5+DdZK8QqwKsl5NDpogWpoSRL2+zEG5wbye6yBh1n
5qMnm/QcSL/GTLKVkiAxqRa5zSBbR9tFKtb1dDOlwACCF1mp+LgKMoiSdwnO
+GzRXm6UGG0/9vtiu1DjbXFsYQIVgQ2qk+UcMxXpMbIMkUXoV7VO8TuUSkiB
686WdJUZiaf/izfXLzI4OeuPXfPkAL9Ds2RNMT0mwVeG28CTwQWcZiZSUoC8
niR75KzFKFbPCxsfa0pkFpnn8gTTezxruS+OInvmw8RhNqLxfUO1rOsoyCxK
n5CnSIaBmTBE3A0TxOD53J3QMKy+2sAujGstJu/SOeV2+wGNlbnnuspNP9jf
2twZbW3eWccAohZRPxrHmXh7aVk0zN11zWeEbcYDGZpHbyUH+5vwzg6wsxdV
K+HjdL30ZvRgxG5sC6UXzingAwgOh3KKQwdjvpTmBKDFABAamKakPFX495wZ
ngYPJSKfsNsDy9xYxxLsVUIpe/LR9DnYHDmGmuwycSGiEaWQ12nIHYrhbZnc
NWxkpneIcRIr6j0FobaUgIzRB687SELrxcfECH6cJy42lgIV1Kbt7c/it4xz
TiPA9q5HI8FoRwAkwC9iHPjJHfnk7pCM7wwEh2NCeuiU8G3AeFw5RSQ3V62p
5agrHGygvohBQoccDTb+fJNt78/tb+nn9hcMIFpoCuTaqII3/9n4whXwhdvy
it7HL5j/48Yvv3zJ67paM9JVrwMX3E137mxvbT68n44ewcO48tgq84+aXX+Q
sG0BzLZTtKXYn88F3c+hGeAfDrp7d3a2tnfuKOi2/yWg20b6/m8Gug33esdJ
IaDbfPBga/PBpoION/CNPkRLUZfJd0ibVXzBZfFk3z7qzC6sTjawanb/I1xZ
QTce2/1/Pujs+18Auhu9Llh3d/veXYd1d+i04HUSEL58dhQtbrZ4nOgOPy5Y
FyxeDuLu54Lw4/gX89HGl2PfVW8TBO8/2Hmw83BbIXjXIh/i3+dOfROA3QWQ
3EOAfRZY/qiVCOLc33z4YEe3fe8LMCW0pC1PrrGhkTmBFeUnLPINPknSnojd
zyqNWQT56CwD9bmhXz4F4QkcKpG/X1QNC1FkEwqzplAseXP4TJWCRt5U88JF
nqDi79XYuc7MEw5FZfZefM2RBFkPI8sxS4bU1cSk4Ksa1xe9EdS14NBSq6uj
KJgMzou6hYEGaInBnDNKSV7Lpr9mEwo+noNQtj7sRtOQ2lNVEnXjDEMJJneS
gevDB1BiyxG6+T99cqG6FM5YaD5uWyyaEb42WtbFep9ozvJeZpMzRCMP512t
5pFQmkTA5jOCd/wAFxgoTwEFbL5A+wun27nBRoIan7ri5TfBVoA3bGwAsOcc
ToAwweQAAybE6Y+/pIDAKT0bHJ16++GBTfc7/UniEb1AUVb4pwrz8YM75oOf
8YO7Zlh4Mf56WwbGMeGC4gddsT8YYjseYif4eide0Z3OimRKF8jkYpiQkdAi
7tIixn3Td4fTD8K/UvngXiK/nuVt5ggLTG9iW/M2U4oED47H45jeCApcQ3Zi
omJojy/GwPFmpKChAi8DY1WuvMxryoHK4S38BRCo0dpNSCMSUyENb3lbLyd8
RRyeR6HAzoI3a6lWHTotVLsLUDf16pQ3yrG2SesCuuSWpZfaTooDRoFJGvPD
o5Iu/1XxFa6df//1q/5YpQKDzRH8eBzRBdtYnmx8A/988+sjeiTZX5p6Ta4C
YMlJ+kHgGK/rYL+JcjVdwD6QxdmS3tNcNCRALvXqMm9ZV1XDyIrcTFFJ72EK
xNbm/XXUYN1hqR6LpEHBWObvWwYUTUgECTX+6RTt0RQKSlkPMG7SE4jljA2S
3zLPGjG1rHGkGpF8jfcMTF2JQI5WYMFHbzt/R8+EMhwGJq6b0/r+yet0o+/I
5PlH7jd8U44Q2HJoyn5O0ZmCWwfleVYXVHsr2VNjMUUws5UYc4mjEGYJzM4m
nEIAgGQz3zDJ28l4nQsiFVIGKS8bqtzBhRAvPZ9mi6pW/zrL3qEPwVesQesX
MGX6A0+Yb+ZQjTDOAnNeZMb0kqzxgM3QswlY4uY6Ryu6t45dxom48vKshhlq
n70sBipMEDqhBCFxRPZmmYVlcfDYiZ7YiouLusqcp8LRFqJAiKjBzUhEwkHk
ONh39S0JYwMjelQdAuHt1pf4tfOGt2Cdz7FOSdNJ7Q3HoQIBkgmZhE6HwmEL
m/UfcwIV1Xrd4wNGo/8wnWNwYiOxnCvCq33MLvoQEMF9XHa4Q/UYY85+bgeN
jIt+JL2PRGJLWpizQJbOyFY2OibBjhKjiAaNOaSRKsewx8FJS6tIUkn2+ZKD
idnoJoXwLnGeb77F7/C/OS2Q8AsokbN59214LX8/yRct4q8Gv7b5CcWMA785
p9jo9O1fse5Rmf/tLfsEnuZZo2mG6bPuOSiM+2YMHNYIE5zA14Gxuf0MO6r6
ytkqVJFDS5HhcjkCWp1/aNN+R5Cs0v7t8vIHh8XJKZDL02LWDsiHA6jF5uSs
40q30AM4bAEctv/2llwclGSqkI6f+wof/Mo++RUo2kDov0ofpa0YXOGx9BEc
GBfHhefhLxyw3B6LA1BzZQOVACtpCb1zPlIml43xo34VkdVEZA58AW5ohv4v
7/ZTrwurGyQ7G3ckllQTCMl2NoeJ8f0FkQcOFG8/gEw6RIET/7MzZFMzWZeB
vX56O8YbTaNtDRNKwsc3us8RdPAr/wEgALvgyAHtqwziU9vD5MpRok+l7oEf
TjxzjGNl5Sm28Y6hlA3ng0aUFUi+DDA1rYvmHZ0Zga0mDDSOEjvumvNC1cje
+GDWdTr9tqGyFYn7Wgq2xW4WXyvCikJOXXIJwbKABLUImmmnE+ktTv4fYO1w
6+HD9EeQpGfIhj7cupBfWUt3X2gsDKXhis8OQxPk4trKir0VOX3OHlZW1QiR
V6BDfU11RjUi+NWywduNHILqR1IB6rkPJdCScATSMNxDwy6CAqLkO+n68tea
dU+ntcZaFpY8Fm3YlGvMp4l3OZtbU+fAkkuXr1Id/5pP2k7EAnBwNUUsqoLn
SlZo8a6CyPLsLONSUlay5Eck70JmgFcYJ0FlL86WZ8OIhlManYh8oTjuWWaW
SD47HCI1aUAxggVipjlIOQj2QtcEdFhUbhgF3ujSHUmRQl32OETwTnzpV59n
TZVXge2pQCNSkyx6aNNiYV5FW67Ig6qifjLCUZDw7YNuWWDcR6cqGSmCVJUM
/sWSzGLBkDcT7zh1tohodCscsXoDh/E2EsC3WAL/FZWm21uP3rpEHafQSCVw
h1in1Zyr+2r4TroE8MztZMd4Urkt4bhmE5/XY0uJ3Lxrfyg4LU2r65+kH4yP
+Ji+XADoFkiBGiKIUeCWfbYTLtr78+hjctMYb13Dq5cgkyImUbTRhqtPYlDT
Pet/EBOdwrHVN+6NlpvyeuNzH9pP5GI84nG/uX5U+Ek/Hw49GuCW1do/d2+j
Ea/BpIVxNAtHqPSt4WZ7G/2Re9PL9Zl7+wI8+5xnY5j9SjC73Ydn/zCY7T95
9uT1E3MLelH+5nfz0Rfg5OM5poT3U4Xo2ZuBgc6tCm2EAWm+xk7o4nC9pHPE
pZmQsRgpZSCRfEFxTcfwpJ6IL6AmdYTDxzmT29XWLJNOpV1hMo2ttSlDAt/C
EpdYEtKW2MQCRSj65RcgnISMjZnrKs7WnAaFLCoKoU2PTMDtY39CH27Z0Fg0
/2B1k6A0ThkIKGGJFl8krdAwQRfti5oj6aig9aS9gb2s27hg4NXsxdfHnxcz
WMvlZO4sjw7t2ZF0XC1JttFy7s7lY9pIkGKfSO1KtBR7A6eXPTBRHeSiXS5P
w2IpfyZ1X0w1o7OszE4YXFwD771UNMYDqkvZb2LKkVAVW6wnUlABc6wsNqkr
rQ7IO0H+r1IQgx2LJcG2L/LjxBTgGfo2A2qmpSKHIjXjWPMqA2Ujm2OdWIKN
C7iDI8LWXlRliqpbqV3Ej+OTy6dkLJNKF9Mp3Ismt7odiRb+LMi8h1WQrWSo
1aAXFDdW2aLkX6Fuvli2pIbrnhJvMKeARMauJufCTxK65QJh7dZSszXEnWqB
tv/KWXMtKrLdTCsW6SliPOwCj8AcMLyP0EwYmvSlL9GHOgbW6Rd7Z+5Ppifw
UhwAjGCsLIYYFlQtZlupXcjMXx0BBwIu8XHoDuMlHT0u5hC9PYxLNrkSSLxS
qfEk9kyCGC/HrE/VGT/10AbeZarXmWsCr5BlYdVMXOGnRjv9dXSCa2SxleyM
y2ejHotTeMKRhDD09CPKd1cOOmL1iArNPc9wUNTGQUOtKS8/kTIflg5p3Xws
N8SLG7L3CcOokUCx4RKL+dEVMD0F7HKKGbELU5MZnqy9+TqMwh+Dyp+p5ym4
inPCPHJP4Vcx0DDZYU7ed+QrxRn+shRLKNnkFUGSLp2LqweiekkDw/K5owVa
9tv6kku4kaM9WB5AelbJZfHgorOs+QJcsqorTFaW8h84L5kctU58Ip0/vOp+
VokJxcP0PzAe27Izx8DE1+TKeiVcrI/6aRhkZV0bVjxxBYIadG847qeESVxM
SdjEQ+Fc+tevPgXDyOnO7jviRqcowVMN0xBbdkuqwAyox9ggmqjMT6qWKYGS
ew3DxTQEy50Jfs+OANFevbDQistKaancnfEWTm1K0yWufDwLRCuevCOhDCwv
uUo1tAG7frZqanX8FG1qy9KXKek091DBLazGCEAA6KLBlo2kmhYQVCoB4HOB
PoJ/3KTkJm2o4I6/CyomUBoXlq6V/gy4Y9O9gWKJh2L1CurwN1EhPkxLUhtN
RXUITekxNV04qcvXDXXeNrFGTpBBYsngywQBgl0+WfoRvoV+KSoiblrf2KJt
1blQFU0X0FQuI1S5mpPeZ+z2oRMRz3dkhNI2qB8CCXqJe5zLGKp33i9jdTOz
gOWyY6poE6FNGEeT9jHMIdUOnlVRhk/Q0M3AK0HLzIgOQu05wkWolc60O5Lt
wMZdsC58NY2n4Y2h3gx4lLa6qGs907NlLUaqfYsSIKTwVFbmZH4zROVI/c4v
2O/83FF4riObLzCESX2EnfJK6KMImehNqgCnrta0l841RfASrzYZWbH2Uu6O
LonndhUKTQ6LL7JaTSZZw2bFgKsAcLWaNNPf5QKNabiHTvEVwZFjMby6isth
We/Ed4fqSwJEyiyOhhXg44pNiEmtRxOvzIO0MxLocIuExCb4ZKg1mFirxiSD
kEH+qQWTqLSCgbCYWop3xUmFFq382Oj40tAJyUmM7gm/PZQKcb37baQIk81K
4Y5kB+4Drtg5534xWj48EDyRdPkEE3XheG5MjZ6oj0xPahGmcrad0l7cgsI5
YByPJ6d0/CiXCHRjYx8RjMvjbNCRs18JT+PGOpLKRtnege6RXQpdw2G1Cpqo
CH0YYw4dx+Jzd94fW5TCxWLuu2CotYPD/fV0z7LND7dAvP5EPXWUnapVtbcv
lJgEer9zUVcJTdRJFeXAAlM7f+Abm2K/BdcEBw5/wE0W0Bk0wFKnTE4aJl++
qSoLPzSMq4FJYsuNi2maEt/JwPQh3KCW3Xiat38FtWzAMz82SwTYwYq1DL9d
fAqS0XzqiKNYa+Zc/JZ9fY5lJyoT3RvvOJlIOmV1W59E83A9aB6K266ImwrB
gODB+e2aTTCRPvpBQ/NMXTgOGCIwU+taG/Uw4sigkWlK+zUP8SmNp/s6sVON
8PK56RyCHuxjUOJRi1nSbqQrFvN1ooZBumsAkNgeOM8xdsAEK9s1odGPOCod
EjX2vWpvWDCL5RM6S2SvGhChzlAara8NQadTCx/h4OoZB4I+0p4txx7JOAhz
vaz12mkx9T0Qz7P5MteUUm9e9FeDSLhWQOssFu7oIqszSeBFP2GGgU3CQohm
BwYCJzAH5kkpd0sXHWhkcJ9wjDMs+jdaYJk/vlXD8Bn8LPwa5r92lOHVQyzL
Oaqeek/I787xVhQppHrNmHCVVFrXjKwNiAt3+Cgn1VWZ8t3jttQviBSxFf1d
tTeegCwOQeA2NyoQZzRBIKVdmkrO6vsmxkDoQHYixiZU/cihi3aHJgd1HhTT
RsrPiZysT/IeUIee+phVyYr0hbXtG9i7EOVgDM1jOOMYkh2OVln6bH3MteJM
xzBT1pARs2X/NIAQhBCP9lFeeEmbkZqkerIUN+F5vttk3yhjpHfSMlP6V3fO
CrEgJ4BTGBSXqsSvO2dQzPgz+atxsQqSDwCvR50dxTQxJtpiZu40k/DjSvAU
XNcpGu5WLJ1Dl7SRA9XY5+KhfKiurifzszfAX5l/MasFjQno8DEW3dVLjL28
6jq79BqloT+EuHiSl1dWWSDws4XN5wdYUqp1SaSiNwZbImbQ9JekNOdtj+32
q+bKWssNqdw4kBZW9nqSUZoxMg1+A5nFGrS5dr7pSpSE9fNdr14sQdFIf1p1
9Yg5B3EzxLvUybmXCYeowu0/LRbomJDI1UKZzVd6KDiy7KDxIx1uSWFn6dR4
uGVN62v87rp5flMC2xT5gvGlY5MC6nATpS7sr4cYfLgVZpH4NfpIkCzyQtpK
GKB1y/hkWfQRheEr7O1wJTNM7rbG3fCAiewTi3jq7XEeNgY9Bs6k8xyDtVFL
sUATEVb27kQ1XkxiQJiVHNloIOiLmpB1tn8kp7fyDWcl0IZT4bsawrCKkcBc
gfcjseFQY6UaajM5lrx3m7FEbau2PHV3inJGNf4TmAFFDOb/06EL2SYvRuaM
GbbWDpF8JLwmOO5w05n52ebFrV2wES2lVmlTPVyIBpKt7r3U8JBMnfZKzfFI
EursN9UX4a76UhTeAvnA2BW14ceHD/n7ESo5n1Q6wpe5Onlwkb2LuK9bsba2
ZInLuZjHXqAenF2OBHtR0h3sOll3sKwL+JMNsrsbpFqMZfljkLU25DV8a6jv
GN1oN+1qJv4VlnPoNe7ITSupuaYpXpnPXQ2+A69smCFuvCx5V2QvNyNekN30
rwZEuKa/uQcC1W/XKAkD2gBONyrhFvAooBHb/Q3+Jo9/ioFwWi0moNN+MQT0
/X+/7buVrdw7t6ofzaRE/ej3YIIOssGD/k5woC9o0TZXvcET/nOxCHSRELLD
6H3O28BKZjjADFhZ3gt8pmQjWCW+1nwOwIUIbvCLK8Dcgs6yQX2JRmwJvhlo
ZWx6A3W9s2YFfE32cEzThtF3MZWJvw8uYPzlSgyV525ysNeo0vbZPgp9tfZ5
zWaj17vK7VXAuO5l9+4ng4bCo+TYESHbuprDWG29vBEukkHrCxASwHZxNVJe
YTq7EXbi4/+Nlf/uWHljYH0+egveOuMeS21XmvZEOLS9srTbZiTMUbmRV9cJ
c2gaNGHhLbd6A4p/ctqCxEx93DinK1ABUUJelsZrl6jybty72sWIagv2+O1Y
n28IqolFBzaE9xy0eOndWDK/OAcltsjpLv2UwKhvpYcDd2pLukF4aNmwxg1x
rHvcjox1PTZ06XwLStYGBY5iQQhS2aUHYOYVayouFlb9VC1KDEkm9V/MBVov
U3Qe2/1TFRpppqFVxyhGP1lz1b0mGbphVPcTBUtssZzCaSMqXAGCJNBiyYPj
WyioUutOo/IzedtNssjrRc5O16BiaqRYo/G1pSIQOr6paPjaWLH2fkrf5fmC
iz9S9CAHOYk3jexlfbvCZLTIFUmt7LgVWu5ac6DvuqKLIv5SdHK0eQARbUhM
0UsNHPXUtoY0WSo+Qg1T21gBpNSDQzm3D7ek9MVvGKwapg75KEjVdsPctx7r
BAfOOusJoHIjCmbGd5mTDo6rqTF9eWPwCmeRZWFi06ERTMqQTSeyfhrYp9S8
NF6a2EljnCapNcR9rQ/8FYdnZwrVh/n6b+6blzwW/VCwpXzHfhuY3ntWqBSy
QPta7wq8iZTTV/D1kbRkE0Gvk1kqeVReh3bEvnaHhBZqhSx6zFZYRIXMzB8+
kH6/HgaSdEypmG9rLQ5ngMXV1NaMzCVjlB2hroWJMzZajj+0Bhhtqu5cuOqg
9YZNrNUjvqTIiMoO7O+fvKZ8Tr9/idS0dpu1CtvmpINz+GOwTqFYxpCpZpCt
TeNL1EaE6iiSFn2WsmmeITViZFPPNC7MavxOXCshZU/20FtEFRZAdtgWCuwA
1ymWMVeC84TKooqfPggBXjXjOE0juuYahmVUhpBcApNsjqVWOac/tdlursoD
F8wQIu0S1AgcnAgHM3kJID7gFYjEPqkuLt0QkcgYR5AovHV3jH5JuKJ9KMP4
gtSJEcblSDLIJGuBXh+qPyg4INqLnhA9Z84oJFB6p9kDArQNmYAhs25NHLrT
BHQbyT2ckyPczeKTk0r4K5qPk3uVPTu/Qy+h3JtOmeTwAMPUFOEwYQBXqSOr
qaslnfwTZCMpjcUF/AU+O5JkSPuY5IF9LYQ1Wq74w6NppTwHVefwY6rmRSwy
HjdaQv+4uB2J7eIflzf69aonJJdUv6f+eVh89zCfmBHwFmE2qa6mZwM3XVH+
26hYuRr89ledxK6ll1E1V8cBREfhwgBWMKzg5OkWHkaFp4LwYvYgxHKehpUL
TuNOuIUi9SmN5WuKMsW1U5vETgtx7YKoVBPENqxVFpUJsrW3aG4RjH2xehJs
PQfAK7urjm+UnvuK6JgcZi7+ZvmdGxCELdgX0TTm51LPTUR7VXEmVfWOnqlD
6n/wirgvJ5cMQ5EzWAS6xpc1znpW1Xm0JPZzkgzvtpAZt7CgZGHSXEx+EMHi
gDQ/pmimb3atVb4ptakkCUI75FL2xwKLlSPekAdeSz91UIW9IxwRjzWHQ9ca
PcftYFMuus7NpQGIQz8zp1wURLEjUV1TX6i6uXNncuQ05mP5RaPDBq5IsEIR
mDE3pUPV6Bq47nG+NF5IoziQAsl879fCaSZBEzrlzxr0hiN0u3X2tip0gg1V
ZuobwBVnct5ZFzvsEqzhBvr+2RLEsTpbfi2kgxjXAIC2qhxeLxFHJO2lM16U
BxXG19DhHUxzDvwqAm+fE2y9cmNkxGG0DFHN3PSMCabxoxTR8aWPFCYUnBDK
aDz3tfPqpA4EbpTl2VKoaFP8Pe+LR3I11Vzuu8hUGQnnTkQsyRzDjWbRnp1T
tokkwZmxOYOj9aIKAUU2a+IvdPuAH8fFyYnemXBDDoq6IU4O7CkKRBAOqot5
QgfQOuEIGVeIPn0yjwI5es8tOiscAifyjnCVothgcZnmdV3VjclqVWGRXL1c
40IpdTK4s7mZfpdNVeUeBH1dePlf0wek0/oy/cRRE4nRpA+1qh29SYvwQp9U
gbQ5JIn34N4db0e6C94uvNND24ynZ+BE2xfoBL5sZf5+dJxN1WLiSk2SaOES
DKLd05eP2dE9epaXJ+3pbrq1sxV8jhGJu2lH2qSFkbipTwuD2eX4BJaOjMUY
ayQOdq1ZmLxOU7Stp4Mnvxy8+Mves4P9X54ePHm2/wv8/uZJYIyFh4iuouHV
qJbxMxQWhs+ENueNW8Yg6+2wzhBrYHe1jIWH8oQOxRRn9AqVrJFNmrwWikBz
pSpZ/PK3Uh5KmGdoLXv6Robib4j5c+kuqiJ1YGQhXXhYXycL4cTjCJvEDbBO
aNqr0q7OgGVjyo8qKW+f/PL84Ojo4MX3fDJvHTeS9eEwvEQJgMGwSDuxqLbB
3XTSFVsz2SZxaeQfu8eebbCRVrqg1BqtEuWAKgXDUc2+r980vvi2FyPfymbC
s/Ebd+EjWA0Th6lWbsHbKxRPegbDIXSfZogAPL9Haf7D9WVrRFGF2R9kMDJH
YZ4VDRn5qXwhbdRKu0K+nRwb0Vllmd6gJByF3kK5uDs8Q4BqDeOrhgpj0ZlA
6u4EyHWMr66Uk9evJAGVqpFViSvpxMZ2ZVY95tYejd7T2AGf+J3th+na66rC
TKZLpeLN+i5bhyi4zFXYNFlLlAjmDMhYci+fNmq7o/A9ACAW7Rmrd4kjCmXp
PDiqZyPKdTVMmHUMMtgd5qPX8O3ejApVnOYZiNhiLGFriQt0eqrJr5jjiB3K
NNWlJ/iwaEyqJjWxwqTTU6wzKl2W08AkSoDF9GWMggD+Qp9uMT1ewERYwy8Z
nOZwWgjigS+fJZnOWaTxisn2MQbmPQf9x8lYNJNDvIP9fr+sJCNymGprKiKB
bFxMNKURGFC1CHk2meY3UEEJ2zH+AEMDO4682PTVHjmfe3i1swwNr+XjewDc
qi7+njEr57ZhP22/X/zPH+9uPn+9qP7nj++b4+2nzfT7B3++iZwQuQx6RY47
W6G0EFDL3V7A9rDw6mrriMVB5NkH2l0G6yZI6jDo76iyAgUfdjBRq6XhISq/
COWvagEixGKF6LUNotfLG0NsNay2HzzoiFaBJQcBRnizsX1/68H2A/z/nbsP
jZw06Ki9sb++V62NHsJgDdVb4SsstRh+K0opfXdv2PemapeDNB4aH0HDGby8
Oez75lcaNmzV8Cnp+71P2uOTuhJdnG03rP/PpYC8w45k3X6P3YTsKEJDizZI
IHB5vpjMvNFbe9CVxen6Vo8v0wE5IuFGDCLTi6eWjLCghYV1ulXqID4l1ZXY
tj92ZQfE7WkYHZvi5pcJO0DjdpVSStZkz/j0x9D4E0YWkFNbHcESYQ5U15UV
piI3y+NmUhfH+QqTpKvRCDALqk2aleoiOzkfMKEXxIL9YJZ2os87/uqTU3Gp
WsWOuuZxmiTz+UWFl7bAxmhR1RHu2NnJpOS6tHIcgaNAa2UmxoRL2t+uITPy
Ylw6mx+41iFBmjLAF2lUMVMq6OsShZ5tI0Sz1UathqKLe1XdRBHYwju+GkNo
kCMKjLY8wFnkrlSnI4bJKVcBOcbBGkrHNVhKAMPoEHTZY3h/aFY6zab0TndU
G6pgsWCYuCB7hzIyGNuKMYFZq2JQTAnu/g8UG79YYMQuhCdZTSfmd0Tkypcl
YKESq7qCBgv3dFlOQZgsAkNLPjXvOw2TC9mT6sV6RMV7l+gXajRKKapUsmZk
a5IB1aQSDtLTIGOTSlQpNY7JN+H4YRNKX0Epbs5Kds7gWZtJagZN1nqsWyij
ig1qnVMlpG5gT2FykXLVqsLZslrKiWJ8xFGABQCds8B3MA2ze7MyaITgqL5q
5E4Zkl3YMEWXomFaRgb9FLxJ6qrd4AbMWkNClF5FiFYW8Pc9F/7XVbWlo04O
fT1UwsyQxAnwmPF/GSOLt2BaYKxtcpeQrXVJ5jdRL3B1uxcrDeO8XSaJZJ/5
TJKkT/ZCAGxuwHSshzhFmwV2VZZwD92ZEzvzlfL7QPP0i+VIgCsZ+pnrbqr1
msfazIjNirFt1XWYXXvrz+6tWKekz69jKOhIopTRaZLF0T8MXQx3UpPlyug6
gr6jnosKaCqaxsO6e1jcYonJaK7bABdwkSoXQZMBoJrHl4mtKuuwiwYlfObM
zLykUBsfxuDbq1D1QsBXUwRlgX5KKmVj2AGhAw3ptxfdbeetTOAU86wep9dz
CqGOdIrKifBrXQNe9beuOwZiddAg422SiGHZjAmwQ/6OAMEafRNvctpVu1LP
se+qWUVvF0uaLpmXuwXPG5IKgvdhrSNeLIoJhPPo9dhN0Q5jLAnklDrOJu9g
VXibl7kf1M3uRIx/NyYb0ux/GIPF8bY207XvqzLnoTyPO82kxbjzA3JPCsqq
F/pPihfbfn7T4e6ma29Kn1Hvi0/4tXqIYA1yPkR3gY0l0a1f0yy7/M1wpgmS
h9KM4qoGkrHrLhu7nmT1/NIvBfcnNqwQq+VGwElPq4vPtpctJDZyzV30dTYt
hmazHpvZVUYzHmKF3exqo5nGfn+4ZQg6aJm+83BcAf5EGIvc0CaCtsgBCXH+
Te54uyUGbaHOVYcPhCYOmCG0bxC/v4Lj/X7jVcj/fo6MAVfZs6zGz9UJV6v7
uA/bbSticB0oYDTO77b02K31GnvuboqtB1uKsWPBJLhTnH3HNEaPfoo3j+u9
mb2D9EMEh7pI2fDxAojTC2zzhAFK8J34bGk3WknO1TaQZmUZd43vRCOiy5ck
+yCGMQljGE08rBblH7rwBO7NDY9JwrdrOJRkVFaOxADqPXRsWpyrZcQVHqK0
EGodpM0yOJYo4ZpGhc/Ndqt3hQect5Cqm5keXFXiIy27KeVhuD1Z5j31x4r6
+A0Q0AQpEAskGa5inofiRnbpSRMRMlwAsfOoGztGCGHtJ0MqKSmaO7aIlBKK
3U2F6rO3V7EAQJRi2XSlnushwaox6iAUKK/tIMJm5yYw9FagTn1+JLxbQ1IH
iBoExnuwr4qMl5mSm8kF3eB4oqwIfwB4om773Y6Rv6suGbuND9FfoX+pIsm7
VxTXfioYixzBN7DBmMb0aPMSL7VdYxyfvyr+nkM2kURwCCPH2sMu9DRV17jO
GnV1eGxfKOlaUB/Stg89JgkTQIPVrKden5Sv4ViwAMT6lwfZroyy/f9wWKqP
S702JLVngZRI8W8nvYeU6x8tv/8TBe63q1H4LdnrXjoHGNomXnnd8LHYZdhw
zTJp+BmR02dYff07Vy/8wy0sID5yBcQDM5/tF0hFOEz6INoEm55wuUR5k7Op
Y/mN05q68kzDisG2FGaKhecz4kDC7tmhjwnFSA0a253HFUEuuJRh6dx/iXdE
H+esMttq86MRFh+S3gjS+mDZcBHd42UxB6kGGDIF+SF4Z9ly3o7aCnQyrIh5
kR9rmEYTSwveqoQWA0oQ8vWxRYVHkjaLbgm2t0IzScFHRNXHUU9h3R6fRRU7
JzuUlCM31ewBRlTRquMOkbRDjtTBfBMqCkqlbKvSVlvHMb92c/X68ufZZV6P
7lhQwsdm6kDxohKAcJm4atPUyxK0xsev0rujdsk2LSlEY881wFccSiJhOK64
pJMRuMal7xG7OXaI7xZ8xkB8Q6HXBDKqAJPVk1NQriaIBLvpyxLbCsyX6lSG
eaRDtyq57kVEOxLetWf3Ln8JQx5XIrP5U5BWcRQ1Iy4zb0OLDxU5Hx8sHRSJ
kQaKOAia5RCYTrALknl7mi4YPwLV4JWIeMFERIP6uGhrZMl+j9HCNGEg43pd
pLJjsSoyEQbNENzytBEncBztPGAvYd1IWD42UjwouT2hu8MyvTcuxPjeM5z6
w3RYjpST+QlxTpYZXuDcRFdxQelZH7S4USRdnZWNEuLbX6a+owPKrOokk6Cy
KEGb+tk6CPH9uh9vS6OlPBr4hbtL9ebwWUruPcpgkJqgXar/WAsICodHFTAv
vRNY3U5Ix6Sbh4/4xSzm6qQs/p45I32SAyGfMATFXIEG/+ly7lJMXH0wImkk
xJ5WBZdobgtsYZBIOT48/I0LEigAe2uKdbZVo3qcHuve2ekG1SgPsY3I4Kw8
uNGGQQW6QDuvOZMiLkS5zpX5MEOwwNjx2nZhS3TXdMVI5HeQKf3OsUgfWouc
63qG1qgS71s1s60D8W5XrsSze2/oD6WRZshUChC5FlX4y3xJanciTdB7SfSv
Wc1tn+euofLxZWKC4F3Rq1pgFFgwuG+DKLiw1n23qqQPV2hGWiCXcWc+ftX+
mVnxUFSZLfA2MWipPvaS+rbMsS8kqE1akzpHd3NFJrmnFELYieKXgqDSb0fM
9XROpl4iLoKqLNqSirNoQKmpOk57qi9ivT3s4HyJhRfyuqjIW2RmwMFgDRgn
wW2Mu7VaKbsDtNmzbIHtcMoptXOkz8TX7z7zaU6+Qqr4cRK2s2D9/2HvQs+4
AzOWcnaV0SiNV0rtJVxRgzaAsukl68na7tR0HchUpHEVE7iCdBLtuz1lp7bg
5VjLFTe5Dwxm+K2CObXs9WX56Li5irtDF7Kk6/M+0+usOucVovm5eM8sDOvx
vTrYpzbZXGVBD5UXPSF0lDqr7OAiw30h1d4ahD3jLsfbUAId3ZEuyDnklY0D
lV4uxm4gw3WecG1LtHDTEuUaE4rCIvGEXzJB5NCVU2p6zA29qaNJZuGtRM/J
dmqDjlZB8TwsyU9zmDMRzhisgdK6YA2whGdsudIa0O4xklvgEaqrjkS3rOop
Rohw5A4drpTv/BqgiOYfOgKqIWpcfr48YcIGNjLkRWtlSMmK02jFPkcD+592
+mNEOGmxaRiWeCdQJRGovMw65HO4KAB9l6jOIBdC26cUjdAK/w4z6cIV5Xk1
x0ilDoZSCBNC4jSbz5Tb+mNAYGVyCCtwSxhcSSIoQgjTuQlt4bUAL/swUt6e
kzo8kwisxIVdNtJ7ixKYPLzpDmEqZ8lyPRz5jGKyfSqgZgFG/MtdK897SOtI
OrurarvqQK1QX5XSh6JMIvqwQizC2vUjX5jelUJNj5iv40KSfRdEFnZbSLkm
MCI9FcEfdWuqFrwYqaz72DIzrwIusqJmWMvAaiOU0jjoJkjWHq9zPq6uBbYe
5sykay/Wx0Geo9iH9e66mhfORRIkGWLV2cZ2o9ewAW7qrIMmNCgX86WeBg5o
u1ET2LT/5/ZoNLp93b/wcnd3KXZ33MSujY8+PnjI/z6Uvx9uyb/b1DHyd818
zQ92o/xZfnf/3uy1m7/3GVByriTEEZlKoLK1uSX/bsu/O/LvnX8QlD7+0v/z
MTRFcteIq9tmqkfVXMvn2LaAwsHVNEwDaWtkBwnXXgN9mkixqFO6sRo/1i/g
l+31hPsWmKvFPhqPfer8ALSzw7x48HCdY0HdRfW92XfgQOC/3Xu7anDA5bUX
DzfXWbwD6Zfyv1H5AEGcsoTCsr0w6qQQ4kl81rjAKlfQ15BWHa05ldGMBZe0
aB4QqAh2SOdEnKnoqxkL33Dlk5mGtZilkPVM2p5IQzxXbgnJBNEZEwfmHHPH
y9ksiCaTKBI5/K1dW2kFl54T2IcpQAr/szWkw6T/brMbkvVmWroQRFmo1NQ6
yVuSKeK1Rp4XblBQoxmSEjndWmFm2hdMHi52u2+xfnX0350hLj9YF2XNXrO0
nmXgYCG3NccZ2+srWo7jDCpCNRP2pCV80GoQoTgUTnsRtKWE6nx8Air1B7sj
2Msn6ZuXfJDtPdz8tJLjSmCpt1uLRYKC8/G7kY934ntOmbsoaHHDgdi7SEje
9GmrHJcf9j6w77qEZi+Dx75Olz2H0pTPjf7xypWUPYonCWE++H3lYkjFEhXJ
hb9Vdm3Jaj+sq62g8dFhFy4+TCRAYRnxJl3jg3X6pnnUylGmg05fmanMo4sR
NSJvpiugXrSu4ICp+u20S1IgXAjdRYW9Mzthx7QrboLmAmO0yxf6dkVUKebz
JZZNZJEV5U7seIsFLCjggOqYkH/U6JWozGl5dzUtoVoyx0D3k9PuQHJyFUXW
dwGBtNfnHUvvDFtb3mkC5hJLpJ/LRgtr0RNeqdVLWleqY9zK0xLQkfjLrBvD
RaH9G9aOAZqnNvwjCu9u1J3dXYPLryLtT4gT10FAy+IyaCWlpb2CcRDYTI5c
RrBbImhVbTHvLMldN2OM02Pim0+NCLs7ZjwJdkeHsaAeXxSQYnDAvejLQLTV
Geu+ALy9OZU/QflYdeG48picUwS6pDgjr1+bk0WFOoGi2ch1zzD7dylC9n3O
ZXFZsiYj4pIs5uh+cizE+Vp952waCS/719w9pWfxeLfPMpiPlDgxucUARRNR
m58tqjqri/mlW5CrlafUwQ/iQaonm6wg6RHwNVyP4eEqoqoqmDCMLgLUMgVB
xn1W706r9Z6rZy6SuUSOpK15H5w/NWGwC9wN5+GwjLCO+mBGdUABWiBJnTJL
8W0+Zp2TcE5jI9IlrhqQMZmISQqjaLAFiiSKuX7o0bgJOe21cSdyTxMnRX5p
ycYWuax7cwC/E2OQsYUBXS2Xpg3bwF5KtREjZnGUPbrlhPOZgcS/WyDIi9ml
7UHu+WOCq0cXslJnsSL6Xg+Zj1EXE3AXSGLqlCYm84JKzqB8RUNmqzGDQjUb
iVNjl7dmo+ukSRgY30O9ZBD0IwKcWBxb04b3aBytZiRAUMP7s6L1Ry+RojUn
16FFAk0hUSNXMQ0k9nJ3RG9ZA6Pgpbq/giUJqS6dpAJT242na3wdqVVKa6P3
pF3hurS4p9vq03nVJmctPmqH5z9XWnHeeDnpqdR9dgngDSVLhI1hjFyVdd8Q
Cy95BhJfYT/FOjeNxC/GUhCQeb03dvCkO7g+JqU0o/E7nICaSQsdDASE0MLj
E35MBtVML0rCvbe4GWohSKfTuaekQ5fSmqErqov/oTwbP7apFGWe8rw9nJBl
Fz8hSn7AIWiS7l7keiHbCHc0Tr7DnqOzvqmmxdT0EuoBTjadmkwtgf4Ae3YN
ZAg4MHZEdaUfpp3UG7WxgZYhRCc13J66QKOvayfFDWAlCbLbK6s642Af6n3N
viv0x1HneJcJSEEbiOdd5OalgQRM9A5RtoOxN7k1LzGoClQVtK7Q4A37z9Cr
LV9RiRLfPylT7yHdIQkmoa/ZI4UxMBK5wadBhcGR+EsV64ojVPe4o+D7FtUl
706nWKuG22HDpqiFsbkCqhGdFien+p14vjIkM1joSdac+DUTHAlgaKy248G7
iFqzFVtO6HVqKiYgwPrr8jJpgwVlPplu3epZpAMEWkcnurK1Ui+QGy6s4jOS
q6ANcHbhOuVdMyyBgMMoyPdgsY4STcgB4qBmHIycz422gEQhL2y9qouTopSn
5QJxjLNaxOfYnc/YnfbECxCmnfs7IvfrzEW/sTsB45XkNiSxgt8gV48MGl3L
twLXKbcrbwT1m0ZEPeLSlLTgv1BJlg+3OjngcEXYGeOqqDHqA4Q41xirkOd5
o0FXCPhF0GuP68Qz1l16Pd7Igo6FcgG2Qkx2rB77aLokboW5kL7hZLxntszN
3c/ObDc60fsDtbKqHQZKfUKp12kiB0yzZrzTidbtTNMj1Elc5J8uhFYrGXvH
OVwMjsvaC4NiOGStIVAFNQNYsA6WriWKTaNnNcsYu2RcUiAQ8OVLrTollSoD
eMOVy07EHrkXR/BoNfyVJ2s6UdPig8pHVGEePdTiZRS5wKU8cLl+PSfR7Cgq
iuuDLi6tpcQbSChSE9um8zC8A2cBwPcZt3GEXYo97on885tjaFxd5EFcAcHe
mX4Q5rMH0dR18GFjsjoScvwg3UoNdp1BlGOZc6mXuEqEO7j93rAZH4baf3FE
viH7d5koXzcuWpbh5EZMsCaSqw3pD810h5SoVMY/7bqJRhUguDnDCqRToFln
GBflw1svxyvjeF+qjHB0WtXtZNnaDsU+zOu7vCGZl9S5DPMqKgr3yxfkse5j
HWsERyoTW9zeWh8mPcFrmnmg5BkZE6+iN+YGLqvoVvocZvuqm/EC5ZeSulnl
8BWqHM5/wwVQitvv0rV36aNkC9WYIzwHN5AsIPOWGKrmFnEEX5o1oTafJjgZ
aCTpKywWs3bFFSLkXNRSTaFKPbub59lU5Dv0jCA0LsvJaV2VUpgJUYHQwEQ6
BcT5IiJcaBClZrwUP1tOL4ppK4unEFSNFfNGAysk9MQbSoQkCQ2kisLdx1zC
l1rn0INTupMCMdZeIKZ2qQUmxtkmemmBf6A8he9w3DW9+duSiimKjuFyNx2m
keGExhCDqEcjOdd86smoswpUqU8bo7cVXbAk3Hb/tlQaNdHGSn+qMqaAMMzO
auhwIJvXsCfmAHVrLJNzbgcMOCcJkozsnUed4diTJQw2lHPkbEsbd7CiU3Bb
IVLaw1IhjYZwcpL0gu2rTKvbHLoMtN4hOJo4tYYIb20gbGZ5OLfHyZhiXilK
qzmYete3sG3EskYSGec0sHNNvoyCxddcs4m7UblWV6YZLROJdtAkf9Glhz4J
oL75dhTgq0zZl7PDJRBtKtv85JoFmS6gsqQEeP08WMPXnvFPuuSedd7iPJtc
OmqCdfPCae50dk5BlJ25JObO3gVJa0jX9EMT2otJZ64+ZebMXgl5FOXzdbWv
SIi7BSb/xpGvWdti759mWc9AjE8kCDJqFwIA64AsdvCgDDJqJH0Eg6Qny4bL
vZlt1UXzrtGo24JEhXzqAqVRlthN9/MSqPComo2OZIt7tMYGzfsyl6nOyEkI
jURYTeYZBbH2jMI7hami6OGghL0KBpFFiTTMRGsclpTNDkzovL9iJB5n5fQo
9EvJ3C7twk7VNXKzWITxj8R0ImothTt492wbpWQ13L4LSBeqRoYSybRPyMia
YSDVOLW1gxZAQIuoGogGRocL4xBgjRVL+langprLAeP6kmZxQfUBt7ph0p0O
C1ngp9TKMtVW3aaoKWUtYS7CskkHWK0AixWQCqTTD1ytiwJ9Im3G3rMyaOHi
nQLqeMsbTRchDCbBmU3H0pOlk5zs9DJXekXzXzTstgEJmqLqWeufk6zMFUQ4
/BAXcIDtEFSiGKboIx0RmDHDJ/HFzFsWeoxAQ+zhHD3zcw9VpIaVlrFI3Mei
NThay/3T6d54ZdF3f8BOy1TFkz7ZFWk2fYmMtGJZC/Z6gAGFLEsLOWMh3PW0
F/cjWgmdrBZLWpqW2KSuEXQSuITIQkFoSP61StYQtN3jsVAeCi66fK0mdwmy
Y6nOiJW29Y7EEonhXqLU45zBBM0FM8rP436bvoNCf/Y+iStGfKvZRCTqUqIp
LWHXh8evhtLBjxWU/3pz8NjlbHNPP3XyatW4mRggaU2UIkTbFWvSqzdHP+iL
+rnU2CF72mk+X5BdV3yy6qWidbJQqdBHivKGWtlXHifC/ld7P5kgU9YQabM2
2cDranQ2aE4MQEQO3qYapssr58KL6I3CKGZTJSTuFjJpEzWR26mpkSNxZbwi
iM4o84tTF/B6Hoh5ifELB+EimG4BhANYOyIfxlkVrc/FtRMC+WQG4S4NTqoO
MpAqQOdZKmM8WlTVDLD0zeEB5fNXIPrisSN2iw11Qr3TM1OJ0SWJEwbKI9II
PrGFzxv5xvkNvU6P2fckYDRKLjkiGZAgW2KeDWx9wMUAB244BMySRAAAvC8a
wVxYTR/slTbXVTs2ijRLwGHhBcBRXy6cLUanSZj38SavlDdJiD3Ye7HXEWDp
w8KZEDSk/aQgtbEN5BufFWy6ePGztWkUgtlpHz7gwCNKTKbqJZ8+gYL3P3rq
rbhs4l1u1WakryAV/+vVr5uiCVcM8huN8Uial7GuARBKn4BsVtW76as5KZga
fIVHMdpX67mLV8A3hNdLkxpqQJNPncSuFnexlKzesEnbBnaBAeNYcxo7yJh3
kuRoedwGX4Y1fpNDzUf1xdTxsRcbe0ni9MWe755I4a1IuMfvV3zFYRzk90a7
PG0Y6ZmvCejNep0GvQNbpU0KzQEwH2zffUh1cI76tShczlHOzGKFFpaKzE0i
qD01Ci6FPZNPV0hMd/TXgZtE99KYikaYGFnVZ3wFJKBHxUNqN7TAkAM6rZSt
4dUM5n61hMvfnGKqiVTi5aLYMGdYZKJn3XseeiKqMAEqbHkJHMnYCBrfqldN
oxLDiXkOU4qsJ1qIx5gDCk+n0uigKF2HKnNslMVUZycEFwl3KLgpVwRCwqc9
r+QYMk8Nkb45rh+RyXQ/R0mTHD3UxIuQWkUEDAqhXcGDMib89jxD+ZCv3Fqz
Hn37FBV7p9b578NDdfzH1DUw7cJSp4FHx7tsxAps4l3EaJPOgpnHstYJipvA
PulbmgeTSaJ1v4KzEmNefgZEUxt6Sf+kFltQIUhm3EsgBideBy6z3nyF7fPw
1dzdAkF6KqNEFZTwFQy7ffkCaQVm7oqGCktwD/AJ0qA3muIxO1tFtALRGt+i
y1bmLdCPk6LMxWOcNe9QkMOwJNxsW+3C7Tr5U5G3s3FVnyBveoVCXCMKMvMT
2u1/0NIqIqTXUf7fS01tjfl/U5r630T1ZkT1t/8f0FQlqTelqP9NUP+boBqC
OhqNqLIF6gV76Q+oZz5DzyTi07y6pEOm1CYMNMgno2m+oAQdrLoNhAKLCS19
ti1b8y4bjPqTIF/xNtZ5LgqDTSckb/va4dY6vwm6RMnmWOcrXmNL4wb7xNdD
0yK+u71uiyZptV3V311kHTYNI71fEgoIQzH4D2siaYkUwKROiwRJlsWpdtbJ
BiLNRHufHGoF41Qq41E2KpENDWxO0zjKwUQvmXiH9bS/TsD4RrmMmAr3WT+r
8uY+rkqnW/XzMdHJb4efH27tpk/lhDeoiUp6uL2b7uuZbTyHM4LPdna56jsM
9FHXMChO8nZAbhL58HZnivgT97cdyJ3Wlm7N/jft/cT9bQYKYEd/PfqygYIj
vmZFOt+j3oFaqZIfD/HZK3Iw+p0DfdOB0ag70JWnxmbWEAVXrWjlz9V49IUD
ORhtr17RTRDyX4JHVw/0OXh0JUL+U/HoqoH66RH99/PISO/Pl1DI3p8voNlB
5rIYFpk/X5PBfMRpodxjI2L1mMW8zwb+Vxg4CFIOcDKQb+EBV5HgWaWa1CiV
h7fStSPymq/vpux7yYXz+4qhJAKYqlXDsN5buqa9noGhZ8QrpfyPY9jrZsbt
dO0phiMdmzl75lNDaiu+VizBvGK+7Jgqrq2YbyddA3aV3iYGBTMebpOsebij
9WvPyHBcnZBZHWUiStA43BJHAjcJgGk0fNLX7UJHUb+q5KBblJLpgKZnans3
w3qzHBHE8tJZzo1scNpEwIzpOGT8nsFD74uz5VlULy+dEQxJhVPlMaq9+Emy
RMWZTfpgGQ8T6i7j9ClXT9YtcYiKd7j7eAfyu1ENS3+wIPwo0Mlo/ZjVRKrT
gf0tvsOsbpz1lYwirhJ0DA3S79C7+licVa9qdBRPKJMXZdjjyWJ02rYLrB9K
QA80SNAZUMlsJCoB5iJV+uH25l0q9OqUB8DM46rOotBRulFOqxnUOZeUJYmT
/q3EXZNp03rYE6yO6k0BEdBuwA44+VxCil2lIMoKwsIs7O6lQqYUyQavU7VQ
KtLCrUC4S+xA4kFAMCcH4YT0NtjroDMNR51mUvNPO4cBFN7+VSX8v721mixW
rkRdE3WAt38t2ga+phbJqZF0B+nahw/qltjhCAoH1HWOY/Uxo2VFe+NcRtdr
Bz0wEyVETTjgdt+AL6ReGSC8yfMiT7k/dHas0KlJ9m/DK/ctyM1Md1YuXQ6e
Uda2d86mvnnqgOKAeeZLk3qnh+9Ogwwf2USCpa3dQP1rjlBoKTdT6jK1/iCv
etP9cEqJIIjGqQx5fqR62TFlS/pC9KwkD24CCK7XDpPhaWH2JXd1V9Cuhmvv
CbJWaIAp1S0FmqZZJ5D+Y9BvSw85Vo0kn0Zq7RmsFfp/7KqfS9FuQBjy+St8
3X0g+0FBjddMUThRHbPW+NcxSFcYKkPVhHS6AqBS1AYulqa8z3OsAmXKj6Xp
fkXhRBTIDDR8WWuxPISFn4XaoTRCxue5TSnEN9fCmNKsLMnYtpy3xcJxXkqh
Z0Dn51J0lLzjVG0SwwxOXFqghSMFWxDtXpYSOwxgmhtbJfIMzmdUmLpm6Xx8
EWJdi1qOxnHQC7Zzypt4jNX4xPSkoQryXPI5HZg08DNUxmWHCExDZalZaDDP
vdWzOBZA9YmpNa3mHLiSrCzdwGenxUKjjrnAKNqUbVlNWxqXBHTilj7C4WuY
0OPKcZ1n7xpJa+KAGLsApYJcLM4VWHXUR06dbhUHl8BXAIszCl0uIqvv0AU+
DlP7sVb4degUE5D4mJmOSmi+BwxtSCKyHTw0cdiRABLAGNQ+U7jill1Sq5Sw
UApYRd15fd9npiR8KabDgCf0pa0jmfMITm7m1Zg8Jtd1AIM7wQMUjeWvuBSb
gKl/WxbUUnhGJXPP86xttENxJ1UcEXh+6fLuYfw5GvhSKveKlaWbBYdNssgl
YM/YKMmZjSrJ5RK1RwV2swnFcFPZHHyIo0S4Ls/ULkHlbUy+oivkmzvrJabo
YJLrXmnJH/3OXWxphoMPULUVMmMLu4KDyYkgYUBdVY5KpsjneSTLaem9YBJs
l5VQ+zCx5nIYHIWsARF3Mcdo2M/qqRHF1Cg9tNDFrSGEqfqngYKKtCx6cdi6
GcykUrho+SRcaBonBIDQX2O4ENwyJwyLDRH5bDm5xCR+CqtLppcglYHolpfn
RV2VkpYmESzUlkQq3V9kRTuaodqk1TJABywQn8fpGyp4J8kLdnPEETinjogC
CVphHczWxIvprsdaWRtFDQy1KrHGc7RrH53L2NAzPabEO/mNL0pDF1+UNrHy
k/4Rje4OgGU1iSvi/tQ/gsJMoWLJXpBiy3JR00Fy5RkX8h6uQjv8JFwFTL8a
4UvUdLBbUCMO+MPF26m4zoBG3UYtc52e5aL2Zc8aiuJ7dMDiKmQkNMKlFupw
8TqxZVkqIl37Q8mgQF1uaP4YJ2gzIQMwpj8JRY3K7ttnb2YMefQxubkthtdA
LVFcx3bXPdnyBvcs/diyxSlXacP07Xhc+mny+cwUO6spe6y7hhttLeW9hf1d
th4N7SfS2ugRj/vN9aPCT/oFMMNYyXghpjGnffZmi/gj1/ArruH21qN/xhpe
m/hNOmwKhXPHbZ6lH0lWtA6InnFvtNpHX3Bu3G+8/5Z9yRr4vlWhBTIgdtdY
IMkpRhdNqW56xByTcgc985e+YfTogdG9fHFU12Nz7eBwfz3dK8tqWUqptQ+3
inrKxFeydKyAwLTWO6+HpGEMTc+IILIyFic4eLRovDEvs4YFEgcn2YIbvGH3
oscmolqrS/tPXNPdmGdRNWx0gUpdWWpKbjoVuTmOdHPOJRuMz8UkXetiinUN
miIhvHFGu04unso267iH01+/q6p5nnURiTCej3PErIzOQFo8pZ/S3pnS+BNq
E5Rw3ywCDiymZ1gKLkNoDnq+1F7G3qJqK4P4Fl6JX3LA6X0tkqtGhyN6ffjm
yZDtBYUUWCB1gjvWZCbwnZowUWfotlp05tLEbzfw071nR0/wcZRSQRbRduU6
i9M1xd3te1TwoIx7UgrSdJsasMgwkkqtDdcQQGAHO9x15z0ASgt/DtB62uxu
bMQNGDdEBhmV+cUGDTkY6qumufTulf2w3Bvcq6hZ+bjtkeZewvsLb/zV+FgG
Yb1e96x+F/U97Hx/Wi2ov1/vl5w9PJpJBRRX8nYgz/3NrczeRANT+Ma47kYs
QI88tMJnu7vZ7UaDjagqUQiYVZuNXqciR1e9HwDjc19eCazrBnLjfPJD9t7G
3bStl7k88ynh/4ZessUIOMKVzcbEOQbMJH1SYki7S2AiQtTlTZESi7LtBjFc
vnkk60oXQmpaD0+7ELUvaUsYVnJQ86aKFsmqNoTU/a+nu1lykx6Er6llBo7g
LKH9jfWUssOGpVy44SBXMpAuo/B8AkZj9qANARPfTdH0MVQeEfGGo5zoLlLo
oHsm6oB13tiixKpGnRdaV41suAEj4LIyV1BmX+hDSDMZw4ieBZqdxvSk4nZj
JVGacKAdlRsshTLLOMAq2w0xEhskpk7yXV31TdvV921HgXjLQMQ+C3vTKUOc
51h9jP1iwFXHicVrtOsin6v55PPPd690hR/stICvvC4+MOeFaCJ00IogXMKL
bH2xTh4waUGDqx4y7ce8x8P2o1VWSRULFPjC89UKyVIA1S/gM1NUpA6AKhRT
tNRrjdoYWfok1CbondepVWuQ3xRpwxg+MSNIr8CwDMGBuUaaJ9QxXXCtIfZY
aZSnqUWX4CXT+o6cBOaSHb1MHSSLXRRYEXRZksW69WUD+ypRpnElynStoWvW
refMqVGYp/OcAw8D66OzBpHgFpCLHjsNuWOmU2d/SawJAEuL2SLBLlNN/AxG
xWDTPFnjRc0sWq9osv/A2BZIrozESdrTLWkDumJPlEc6nergALM51hDQ2gPR
LMhv3MNJ3xMEhahqkLFWpd9xPWDXRkVg6g/egpT5m6neU0iFSOm4JxSajYLM
67T9n6caam9/YMoQPNza2hFKy7mkBOfIs6NP3rFP7ng+EOMeLyphv1RcvtWW
PaEtSPq23kbyRfm63m+f/HLw4i97zw72f3l68OTZ/i/w+5snb8kRxVX4pUn7
gGgG+dQGVhSCw38iZ4lHthvinTlmc/hF2TlPlCZ8oV8WJt681tqktNwr+6Qm
HVFdXDBRnqop3CMOcnZOkT2AW82vYWNV6l27znfA1evmTjHz4l3ew8qDRslv
evokL+hC9PC1VcKJsj1tUox/uLUFvO4Ir/Af30pXJ9bWyKtYZbNaFkI5WWtW
rpaG+oSVJHF7pQFdIgwzr6ClediKnTMlhat0mC3mGSMz6G0l7kK7xQGFBvQ5
utulB6VEB0j1drcP7K8kHi69ens/8Xa4EgguyzkJURYw1nAqYJVilRi6Pz9G
hC2gSz3132nvNmef+4O3jioyyoe31gORCtmALhNfPpTk5fb1tav+TY1Nt0A4
BN5CYgChYUTz1XlBo37/RAcVr5AIqy5KBHHmBnoCmdNP88k7Z2QJ3Tapaz2b
MLGccmEBn3aMfSPFolZXKFXjocYV7CgmhmUqXG0yINgNvf+FIrLG5uLjBvsv
vm+RLktlukxiktVvJHyG5LDPUZtMk3Ii+9pf2VVfZHk7pN3KYSLoCcyGRgup
1DZlXk8YibQBOn6PO0FyJm8NELUG6RpuSqMRfltiRjTWVW+k0YtrIJbEr8+y
eXPV+4qCRyiR9AgcJKn0s3y995JfZRhVVVM9Sf7LsjccjfUAL6hVi8ZdutX8
CwPbLFqkDi/eDl38kD30G9iilDubKu50LESmKtYZgS4fnMWrf92pmjhOpX1g
2ELZG/DzBUa/1Nl8Vwh5xfW409Q+RZZGKm8RlPjhnBlTitLYFVTEpEqgaeqq
XXKFAmJo2kDOcJCGii9nKRdCCEGLkH2rF31oK+YXRHx9oQrxzddMEJxMog1K
tO9vU9nFG0biFk/nHwinxUzV9KDrRWYlEdMCzuNeLFp3erhgYTKut6HlPSOQ
NtwOBBkU3QBArckpsIfsDHUZLISKy7ZTIC01NfBtyXW1DQXsxZV9pA7ZJbHB
jOrK6zX19Z49i8Y63F4+Zy3IN5kLtElXvJECdYgsUhn2gFZxp2phsTkFJphK
+6ISyb78xbTFlNdAG6ZoiuLvuSuR5k0lP2gP9iRuJRQZzLgkoeA2LYiYiZs0
8dJSNj+pagDS2ZDrw1NZPy744ntrZykLUdxGmsZ2NC1qz7NWTtbH6f6y5iaq
FFMoJYpcIwVfaTf1oZunFMhAPY2At0ulYxn1a9PRsZyk36abwVJo5yiy4Di0
U3cR4uWJ3haezRAGJaJXbg3T8XgMmJGuhY/Anl4EBaPC+RT/pYmkXktpq6CT
h7HI2tBcRDFc8Wa0vqbMFjBRy+F1hIkdyoLu33KyUW69lYtNzx4EkN+N9LbG
eMuMy89rHbD2jtwalClDYZKdOSKBA1joDUQdPGcmbdI9tgMwsyHS9XeDsbnL
CRe8FXBgzTCySAcBHob0rZF0TCEw2Cdb6z8tOLVY+QFNxp2qtU10IiqM2n/Y
gzuZUJHqk/mlmkcsOThinvLcpR4kyTOgsW+PQGdtz9+m3I5OrBv0KEfS9oex
GAmMJsf9J1zI/jLSbcSwSTFNfB3fYkzAL68OXz4/OAIleVZT9rMKQA2b6XQV
boFUw6cmBHGFj6sLVSe8eexdKThKC6MkjK9d4Hfv3MJEtBifSAGgY7M9ShaC
XU+1XTiqePypFsKcSldrseTgTceIr7nY9c1BORudS2vxQYYPbDCsM3rgdGL3
AD7WG9Iamz3WKbyyccaq3OScsLxBAW14kEvTJtf32pnQ6vF+aWty11bP+CeF
u7jIeJLkSSgKbTVhn1V5PKypS0FYmJYrKcufvFSadcIMEgnYyt+PGqrGUkgH
gEw612hpZVNanZtqBZYdEk4SLcXYsQ4S7kfKo1VTfniyt//k8EiMAKMUGNsv
R68Pn+w9l49u00fhY2m6K+Lst6Qe+o85OBo+Jo+t/5yo9bfpBtJQ9+kp8t5v
09ip674XlfDbK0oZWYefvhU/THYurq+hz4iATf7OVePbuhzxe/O8PKEN3bvP
ppb9vdd7q2FoXK8qv42KKTohr/QGBypW5GgMXIyMQle6GLUv46EPVe7YaAfk
G5ymFi+1VJBqyKpZmruv6msQ/Md8O3F828MkPWaLNTIotE//Acgopuxv0+3N
zc8642tOd+vhvc883kBGwAMmjN/Yvr/1YPsB/v/O3Yf2hDvesNj53uu1iR5C
TMGzBHL/G3yFLSnDb0FJct/dG/a9iTIEHPVkkMZDExr+NsLNbMa3jb75lYa9
G3z1yfz1KXDKr0Rp/1IvchMe3hDDFUWxIUsHyfUGsCcdaPN/LfPaNdOyxqsX
FF8LIA9Mx9zxobEXYIXlqVlSqiel9XnjE1+uRSPlYty9okXt/pGU+fsnn0mY
QzTdUBMC/Xw5rfbkt4dY87vXkd8AHxh0n0vs6JTN8Ya0jsbso3P/Uup0Iw50
d+vhZ9Kom3IVAcrnXTpRnj2gO/ft0BnhAmHoOxK70JjaBAIWDHgqwrDpuuC0
/bgzrJqLxIwV+8HUXmQlaNfrhJKjjd4AuICbxSSjMgmlqUiV2KM11znzNfEd
xAom0l7vYdcGXEUTPHJ3aGP6FT0xzGKLxEnjWPI7WH3sKaYrnxUouIrydMd9
w4iafvfs5eM//wPIB+jHmxuWMfxTSQiKUyBN9dEPAuaVWL1Xuj7WAaI8JU1L
UjxfsR4kFZmDMxxw6G+pnTDZmms87b5h4Vq3W7N0SaeUGHJN1ZRdL5h5Z8iR
tBxy7KyVwTpZI+xBH/P3NhA7f9uiNUpizr+M+gWnt5r07XRJ3+0rSR9WZYpF
nIHrYzo6xy6b+P1fOzJQV25fFeFJj8NA+Ng0u3c3n2Tb+fH9bGtzkj843rz7
8P6dzePN4+18Z/YgP96a3rn/4O4geP/T3wKRiTQDimPtCGf8HSqbA6xJNnC9
y6IVyXM5lgzDdRmdw04dimrnvIloRguI9DoNxsECn9zJ8+3J8f38wfTezvTh
LDu+v3X88HjnzuR4dv/enTs793a27t69s50HK/LSoZGa3UzxUb462N/CJbvf
tob86Tb8fld+3yGBNdqsPOPfvGve3LJv3u2+uRO8ub059G/eDfbA3vQeerR9
JT16HN7OaygPM6PYDo523qgBqedIPSyy5CKCn80o0ysYJfU6xbixQuwasGLH
GVewvZ0/hu3d+yeyPdgV/N/P+M9ifHEUcw+e7VzD97g2wBMve30W//PH+Vkc
sOwpO8f5lb4PbkLb6meNiov3bsoaA0Z45ypGGLaWX80Pe9jOH8QPO4cav+PY
4fa9rrXiBuywQ+F76b7naRPgY5vbO8cP7t1/kN0/fphPNjd3tu/cu79z/PBB
fvfOvbv3pluze9OIp11NyFfQ8XBhQlMfruRYSoo7r+Fg2OF22PmGSHo/w1mh
FRHO/E5yHV4UF7iwWGEiRl+wtxcYI3E1i13GC1v138UPv+54zBOMSTB1C6IY
0E4HxyAAMIgfogANDMyUGI0/1rr85t/MhvHHK/Dbv09/J6D3o6qizecbhqtF
bBc2zjJKqrm0UUvUm9Jl8xN/MFVMkNINuak0x617q7Bvek7GshyrTGWRFCC7
QOvMH66P9IHrCy0eMdACu0e6N0GX3jyfnnDRqw+7LILl02/l2giMtSwGjWrr
s4URp9it+F36PKvfoZ0dJa1TaUJztEAJr072s4t3heSbciIPRwa4IhnYNhz7
WCENyeo5FoM+116T8ezDZG9aF3DST7O6zufD9L/geH5csjPxP9Flmx5WTfp9
UQPua8xPUdu+QzM4XSz8O0wPl02T/HhatPkw3cc4zmn6JGvaefYOPnhOjjIg
WNUZSj3pd9jKsp6me9PqOBvq7lLZHRcMOgJB4yT9T1jfiYs30vBNLmpDO+XV
ygT7y3euI0q6B+KDy+pNDnN2kv0/nfKPGTFqAQA=

-->

</rfc>
