<?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-11" 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-11"/>
    <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.x 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.x. TIPS also
provides for an ALTO server to concurrently push specific incremental updates
using native HTTP/2 or HTTP/3 server push.</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.x <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. 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., providing resource
identifier) to individual incremental updates. Such a design cannot use
concurrent per-stream server push or non-blocking per-stream client pull,
available in HTTP/2 and HTTP/3 because both cases require the 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.x. TIPS also provides an ALTO server to
concurrently push specific incremental updates using native HTTP/2 or HTTP/3
server push. Specifically, this document specifies:</t>
      <ul spacing="normal">
        <li>Extensions to the ALTO Protocol for dynamic subscription and efficient
uniform updates 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 a WebSocket connection.</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.x as many development tools and current ALTO implementations
are based on HTTP/1.x.</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 in HTTP/1.1 and using long polling or server push in
higher HTTP versions.</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.</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.x
       |   /           \  \  |  /    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.</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 maps base resource IDs to incremental update IDs that are
assigned sequentially (i.e., incremented by 1 each time):</t>
        <ul spacing="normal">
          <li>Each node in the graph is a version of the resource, where a tag identifies
content of the version (tag is valid only within the scope of resource).
Version 0 is reserved as the initial state (empty/null).</li>
          <li>Each edge is an update item. In particular, edge from i to j is the update
item to transit from version i to version j.</li>
          <li>Version is path independent (different paths arrive at the same version/node
has the same content)</li>
        </ul>
        <t>A concrete example is as shown in <xref target="fig-ug"/>. There are 7 nodes in the graph,
representing 7 different versions of the resource. Edges in the figure represent
the updates from the source version to the target version. Thick lines represent
mandatory incremental updates (e.g., ID103-104), dotted lines represent optional
incremental updates (e.g., ID103-105), and thin lines represent snapshots (e.g.,
ID0-103). Note that node content is path independent: the content of node v can
be obtained by applying the updates from any path that ends at v. For example,
assume the latest version is 105 and a client already has version 103. The
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: 109783421097 -> | 101  |          |   |
                                       +======+          |   |
                               ID101-102  ||             |   |
                                          \/             |   |
                                       +======+          |   |
                  tag: 123566431234 -> | 102  |          |   |
                                       +======+          |   |
                               ID102-103  ||             |   |
                                          \/             |   |
                                       +======+          /   |
                  tag: 123400881080 -> | 103  |<--------/    |
   +---------------+                   +======+ ID0-103      |
   | Base Resource |   =====>  ID103-104  ||    ..           |
   +---------------+                      \/     ..          |
                                       +======+  ..          |
                  tag: 123566452654 -> | 104  |  .. ID103    |
                                       +======+  .. -105     |
                               ID104-105  ||     ..          | ID0-105
                                          \/   |._           /
                                       +======+             /
                  tag: 123567838392 -> | 105  |<-----------/
                                       +======+
                               ID105-106  ||
                                          \/
                                       +======+
                  tag: 123566470983 -> | 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
    |_ push         // server push metadata
    |  \_ ...
    \_ 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 (see <xref target="pull"/>);</li>
          <li>Server Push (see <xref target="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>In the simplest use case, 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"/>.</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>Note: 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>
        <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="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, e.g., whether
a connection enables server push, 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 a "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 a "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.x for client pull defined in <xref target="pull"/>, with the
limitation that it cannot cancel any outstanding requests or fetch
resources concurrently over the same connection due to the blocking
nature of HTTP/1.x requests.  Additionally, because HTTP/1.x does not
support server push, the use of TIPS with server push defined in
<xref target="push"/> is not available if a client connects to an ALTO server
with HTTP/1.x. If a client only capable of HTTP/1.x desires to concurrently
monitor multiple resources at the same time, it must 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>
    <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="capabilities">
        <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>
        <artwork><![CDATA[
     object {
       IncrementalUpdateMediaTypes incremental-change-media-types;
       Boolean                     support-server-push;
     } TIPSCapabilities;

     object-map {
        ResourceID -> String;
     } IncrementalUpdateMediaTypes;
]]></artwork>
        <t>with fields:</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 will be "application/
merge-patch+json", "application/json-patch+json", or "application/
merge-patch+json,application/json-patch+json".  Future extensions
may define other types of incremental changes.
</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>
          <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="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="example">
        <name>Example</name>
        <t>Extending the IRD example in Section 8.1 of <xref target="RFC8895"/>, below is the IRD of an
ALTO server supporting ALTO base protocol, ALTO/SSE, and ALTO TIPS.</t>
        <artwork><![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-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"
        },
        "support-server-push": true
      }
    }
]]></artwork>
        <t>Note that it is straightforward for an ALTO sever 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>
        <artwork><![CDATA[
    object {
       ResourceID   resource-id;
       [JSONString  tag;]
       [Object      input;]
       [Boolean     server-push;]
    } TIPSReq;
]]></artwork>
        <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>
          <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-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>
        <artwork><![CDATA[
    object {
      JSONString        tips-view-uri;
      TIPSViewSummary   tips-view-summary;
    } AddTIPSResponse;

    object {
      UpdatesGraphSummary   updates-graph-summary;
      [Boolean              server-push;]
    } TIPSViewSummary;

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

    object {
      JSONNumber       seq-i;
      JSONNumber       seq-j;
    } StartEdgeRec;
]]></artwork>
        <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 both an updates-graph-summary and an optional server-push
boolean value which is set to TRUE if and only if the client
indicates server push.
</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.  If the client indicates server push, the recommended edge
will be the first content pushed.</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:</t>
        <artwork><![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>
        <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 following
request:</t>
        <artwork><![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>
        <t>If the operation is successful, the ALTO server returns the following
message:</t>
        <artwork><![CDATA[
    HTTP/1.1 200 OK
    Content-Type: application/alto-tips+json
    Content-Length: 291

    {
        "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": false
        }
    }
]]></artwork>
      </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 request is:</t>
        <artwork><![CDATA[
    GET /tips/2718281828459/ug/0/101 HTTP/1.1
    Host: alto.example.com
    Accept: application/alto-costmap+json, application/alto-error+json
]]></artwork>
        <t>And the response will be:</t>
        <artwork><![CDATA[
    HTTP/1.1 200 OK
    Content-Type: application/alto-costmap+json
    Content-Length: 50

    { ... full replacement of my-routingcost-map ... }
]]></artwork>
      </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 below as well),
denoted as media type "application/alto-tips+json":</t>
          <artwork><![CDATA[
    object {
      JSONNumber       start-seq;
      JSONNumber       end-seq;
      StartEdgeRec     start-edge-rec;
    } UpdatesGraphSummary;

    object {
      JSONNumber       seq-i;
      JSONNumber       seq-j;
    } StartEdgeRec;
]]></artwork>
          <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="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>
          <t>Example of a client requesting a TIPS view and starting server push:</t>
          <artwork><![CDATA[
    Client -> server request

    HEADERS
      - END_STREAM
      + END_HEADERS
        :method = POST
        :scheme = https
        :path = /tips
        host = alto.example.com
        accept = application/alto-error+json,
                      application/alto-tips+json
        content-type = application/alto-tips+json
        content-length = 67

    DATA
      - END_STREAM
      {
        "resource-id": "my-routingcost-map",
        "server-push": true
      }

    Server -> client response:

    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>
        </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 the status of server push.</t>
          <artwork><![CDATA[
    GET /<tips-view-uri>/push
]]></artwork>
          <t>Example:</t>
          <artwork><![CDATA[
    Client -> server request

    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

    Server -> client response:

    HEADERS
      - END_STREAM
      + END_HEADERS
        :status = 200
        content-type = application/alto-tipsparams+json
        content-length = 519

    DATA
      - END_STREAM
      {
        "server-push": true
      }
]]></artwork>
        </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>
          <t>Example of explicit stop:</t>
          <artwork><![CDATA[
    Client -> server request

    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 = 69

    DATA
      - END_STREAM
      {
        "server-push": false
      }

    Server-> client response

    HEADERS
      - END_STREAM
      + END_HEADERS
        :status = 200
]]></artwork>
        </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>
          <li>Push management: The client <bcp14>MUST NOT</bcp14> cancel (<tt>RST_STREAM</tt>) a
<tt>PUSH_PROMISE</tt> to avoid complex server state management.</li>
        </ul>
      </section>
      <section anchor="examples">
        <name>Examples</name>
        <t>Using the example updates graph in <xref target="data-model"/>, a client can wait on
the server for incremental push, where the server first sends
<tt>PUSH_PROMISE</tt>:</t>
        <artwork><![CDATA[
    Server -> client PUSH_PROMISE in current stream:

    PUSH_PROMISE
      - END_STREAM
        Promised Stream 4
        HEADER BLOCK
        :method = GET
        :scheme = https
        :path = /tips/2718281828459/ug/0/101
        host = alto.example.com
        accept = application/alto-error+json,
                      application/alto-costmap+json

    Server -> client content Stream 4:

    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  }
        }
    }

    Server -> client PUSH_PROMISE in current stream:

    PUSH_PROMISE
      - END_STREAM
        Promised Stream 6
        HEADER BLOCK
        :method = GET
        :scheme = https
        :path = /tips/2718281828459/ug/101/102
        host = alto.example.com
        accept = application/alto-error+json,
                      application/merge-patch+json

    Server -> client content Stream 6

    HEADERS
      + END_STREAM
      + END_HEADERS
        :status = 200
        content-type = application/merge-patch+json
        content-length = 7

    DATA
      + END_STREAM
      {
        "meta": {
            "vtag": {
              "tag": "c0ce023b8678a7b9ec00324673b98e54656d1f6d"
            }
        },
        "cost-map": {
          "PID1": {
            "PID2": 9
          },
          "PID3": {
            "PID1": null,
            "PID3": 1
          }
        }
      }
]]></artwork>
      </section>
      <section anchor="server-push-stream-management">
        <name>Server Push Stream Management</name>
        <t>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_tq</tt> to serialize and allow
the client to know the push order;</li>
          <li>Each <tt>PUSH_PROMISE</tt> frame chooses a new server-selected stream ID, and the
stream is closed after push.</li>
        </ul>
      </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.  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">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <author fullname="R. Penno" initials="R." role="editor" surname="Penno">
              <organization/>
            </author>
            <author fullname="Y. Yang" initials="Y." role="editor" surname="Yang">
              <organization/>
            </author>
            <author fullname="S. Kiesel" initials="S." surname="Kiesel">
              <organization/>
            </author>
            <author fullname="S. Previdi" initials="S." surname="Previdi">
              <organization/>
            </author>
            <author fullname="W. Roome" initials="W." surname="Roome">
              <organization/>
            </author>
            <author fullname="S. Shalunov" initials="S." surname="Shalunov">
              <organization/>
            </author>
            <author fullname="R. Woundy" initials="R." surname="Woundy">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <author fullname="Y. Yang" initials="Y." surname="Yang">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <author fullname="M. Nottingham" initials="M." role="editor" surname="Nottingham">
              <organization/>
            </author>
            <author fullname="J. Reschke" initials="J." role="editor" surname="Reschke">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <author fullname="C. Benfield" initials="C." role="editor" surname="Benfield">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <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">
              <organization/>
            </author>
            <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 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, and Russ White, Donald Eastlake, Martin Thomson, Bernard Adoba,
Spencer Dawkins, and Sheng Jiang for the directorate reviews.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+2963rbyLEo+h9PgU3/GGmZpETJ8kUz9orGshOt+LYlO/Nl
Z/KNQRKUMCYBDgBKVmytV9nnWc55sVPX7moAlGTP5PLtHX3JWCKB7urq6uq6
12AwiKbFJE8W6X48LZNZPcjSejZI5nUxyNOLQV0mebUsynowT+q0qqM6q+fw
bO/tWRofvHj7On6rT8RH+awoF0mdFXn8ZjWeZxP+/SQtz7NJ2ouS8bhMz+Fl
fvHozUkvgmfS06K83I+rehpN4a/9+NPhwdtnV1GULcv9uC5XVb2zvf1oeydK
yjTZNzMewN/RRVF+OC2L1XKfAIqiqk7y6U/JvMhhrMu0ipbZfhTD+GU2qfmT
OJ4Ui0Wa15X+neXzTJ+P43Sa1Vl+uh/nBfxVFxP9An4tFsvEjwMfTNNlfbYf
7+IoyzIv6myWpVN5twI4y3Tm5qkuF/bPxmjVauw+gdejZFWfFSVCP4D/I5Tw
5vEwPpmcFXVNH/HeHRdzWLT9HJabpjDM0TQZHJ8V07QanMBu/n//O4136IFJ
VgPWD5NyAQib8ksTeG4/vn9v59Ge/L3Ka9yc36ews/klfViUgJjDdFVXEyCC
t+k8/VAs6Jt0kWRzBWbIwPyu5geG0zQK1/HnIS7lz0l+ahaCf8bH2eQsKaf+
O13M3ih+UxbVMp3U8Ql9ZpbyKr2I/5Ccp7lZytO34TrenRz4Nfw5mafxuzw7
T8sKRrBLuCwvfzephpfwxDCdrhqQ/3EY/z4pDNR/TDL3icLae1UMd+7FJwXs
IZyBCZ2FUT/+c3a2SnJAUjLtGeifnqX5KcxktmG0DT8h/E/PsjzxKzgBROFg
3Yv4kGSnSfG7arLCNQwneWMZL4awjfMLGCM1a3mRrMo0D7/5avxv39/b2f66
LZgTHEA2DMfv1uwFLOKP6XyelsESJmdAgvaLf84KCIzhBwLDLCBnPnme4sk+
fv50ZzR6JL8+2Hm4J78+3NnTTx+OHtzTXx8+0gcejUY7/tdd/ys8G2XKjd0s
j3a26c2jg1cHg5fA4pLB28slfQt8jPk6fRzjxxV/nJSniLazul5W+1tbFxcX
wyzJkyGsfSupquw0Jza6taDxanzR/j78eFYv5jQU8/ad7Z3dwfb9KBoMBnEy
hm0BZhdF7jqBzUEeO483AOIYsbEZz1NAbnKaVvEf3r59szUafoyR2WVVDFwN
IEinMaw1rmGMKlss52k/qtJfVgBXlszjEn+t6kGZLueX8apK40lSpX2gnvji
DCgLxuKpJ/MMXtHnqziRUSZpXMzizNxuZVoVq3KSVn0ChCaGSy4t8ZtlkU+r
+CKDU49fID+fp3UaTYq8xvFhrBQIww0Swz0VJ3WcwB4s0mEUETBZPilTRC2s
YLVE3FUAO9xJdJ2m5eAEx3p2jsiPN05Onm0yxpA8NgEvM7jNcAmL1bzOAICP
+OpSkQtrqIslgqIY7cNNBfAiHIIOWdEkySMDDKBwuaoM9ApcXQgCYe3AynDL
4kWRZ3VRwv7kaY33dNSJxRi4fX4KWwLDFxcIKCFORoOBZZxYF+NfjQBgQj+c
e8Zf/IfiAifv89J2aIdQeCljOqJFDmiZg+AwvYTrdklyBGzNZFUCt6n7cDbz
wXheTD4QHE7UAFS52ZGXJIsKKcjNjZPhODkzetjGt4DP5ANs7fQ8AcydEhWB
TAWA0MOzNKmBwwEN1WdIysVkhSiGUeuymK4QL7WciujWQla8gWLV5pCkKyT2
CvfT7F90/Ozk7Ww1l6OD2D0FFtE8BDgzwAq7v0zG2RwYGz6ZflzChMApLvuR
xxmQxIbF2qYeoXhjuZrPN2PktiATTdYTdZQTo9ItKxhFW7t9PKKE8Ww+j2er
nJCLOzPTZ4B2ZbXJvCoiIPHzDNZGDzRIGUnUQk2EfB1wEZ+4NcDpsDjMkBna
IptO5yDn3IF94l2kzfl0hzYVRNqD5VK3bPAiuYS3YWtnOP3rJZBv9jfezQ0E
ezN2i1mksP+0JD1IiR+IjkgxrhOgR/kaEAbEVVmmBUJjEc8SOBfwhCfsSHlC
FZ/BzRePU7j7la3CNTIC5CpvHgPf9Dzk0ye5rq6u+sJJ13Nkx3cjurdv4rxu
HV38wjFdHEv2oEqR6Vp+Gxt+i5/L4ACZHXMjm8Fol5s4lGNpdWEYEOzszjD+
Cp6Mr2wRYyZMIWMGTOFE3chqnsAC5pviFjuAlIyRS2d1fAFshW5p+LpMJynS
qIJFA8ILtPz11xUwd/yT5B17NPjBDrZvuD2BIcAqx8dxPNNvMnhA5fcFXIue
5EChC5HgLnjCGQo4V1cIC1zX0xTBQG6ZAuc+K1bzaTQGxjWeE4JAVSpwUycE
7LWc190D1QqJUMSKnUjn3OU59Zjrx/eursztAmAA8LiArKqAsvjGH8P6zJFC
vMRn2elZa2p8Ec4EHrFB/Dwrq7qPO1DBMkvH9+nEueG6TlktR3kGbxU5LNyR
f+dNO4wOdMtw68sV32DhwW4IB5bjEaXROXKCRfdEeMY9QemN2Y/Hq5qkn0iv
iAVo98B0hGCvhX5fcA7rzwt7MxWzSJFQ4mnsOKewcSjI6bbh4mHSOUq3cQGb
cgbyAO8W8hVBkYoJZ4ncom2Y9EDlhh6qBZCgkDyelIjZD7+AFwXoGR/tdiun
ADYzB31/dXrmPuITKouLOhbWR05gRAbAIWC0gJsEqOMG4S/CXYWjDvS7wCdA
Ai1g6EFRIlSLtKrw7OBC8hRu37JYBGwo4JJ4S4TCpggY0yLF/ar1MkMVDb/e
yIbpsC+f4geKoQgeysmGUm4qF4RHVrDmzo09oUOs0wG+cDI4WkZCiZfAnJkG
7aWNhB2Ie+YxIQEUYPpRcg76HDEaIGsjVsqpGKeTBO83PPx0yVV0SjKgBbv1
ZmGw01M0MRU58zS33RnuIMI2oNPcPPowQMZyodLoDLEt5wDP3FlR0I10VlwQ
iETTWa0XROXwRgLqAmA4pRvmLK3oypykZX6dSJqQWOikqgzPFLLclO+VTkE1
+hpBNW4LqkJBUeOmJMabXC+uxteIq9EXi6vrJEIRV6Nbi6tewmuJqtGXiarX
AxZZUTU+kXH0PrVbLXOkFV1M8bOPIENVKmTWLS0d1zW9xCM9QeNlNSmzJW0z
0l6Kgi1uEYoFqzxDgnDwTtM52kyQezd2Hm8xZJ60nrYcaEU14qbxAe29F98u
l6kISSJAsWTIlCbTn5bJ8gxklWnKi0jaw747PoqXSV3jicDVz9J6wjp9lSdL
kEBAyoM3u5hSBLJElU4G48lygKYTECimWQWcuWLZ6QKhSz/WqmoRaELoyRRv
Eofv7/GyfSp87A1aS7KJCHjjVTafWtYuQghJGiy17GyD0Ang3LkTHzNLInNN
/ALwuwLuzpaXDyBRAZpBgu69fHfyttfnf+NXr+n342f/893R8bND/P3kDwcv
XrhfInni5A+v37049L/5N5++fvny2atDfhk+jYOPot7Lgz/3WNrsvX7z9uj1
q4MXPVasLVXitQr4GCMDhv1YlikK8kkVAc6A5MYk1cffP33z//4/o3uw9P8h
RjXAO/+BBjT4A7khz0bslf9EgRL1qTTBzYzp8k6WGewnCswVypoXIMXBpgAi
/+MviJm/7sffwd6O7j2RD3DBwYeKs+BDwln7k9bLjMSOjzqmcdgMPm9gOoT3
4M/B34p38yERzCsQBki/RCKxu0Hc2lk+qksgfbbI5foGos1dGrg3cB7UBP5w
uINn3imPuLHMdS5p0DRgOXC7VeiKYb7j5UucTi4gPG53+Ai9PsePgBl8ulPI
r1e0Fn8vBcfg053S/HnVZYckRQgeNWCp2ShQpEFeQq6VVQtgnSLQJ1bYnsI0
E+Tlet0oyw9kSdHjvSgcKbNhRRb4RvASU6gw7amapNZq6t9GsA0F6lMBbMK6
xykLXJ6hqRQLc6OZ0trgyDDlN4TvH5y8zRA98gJdmBacWIksrUhYDrTM1Nuk
SpKNk/iHdHwCl3dahxY3q5vFKvp1bRDxExQTCza6iPIJcjPqD33WJkA2QsJj
KAGXsMiKBVe/vk0HKiBIbAT+ovJqV+vKZetaB2ysEFUwQCXnYVaIVTSytArX
81H74tmP9uOOj1nZS/EwspCK48I3CS2ZFOS8KYF4G4tgo6L9QxurmlScCpIS
AdLNrTqUUI7c7kQrxsIC3ASUgKJk41JIrU5h0GPWJe0AdAiZ2ecOqvNIzQLC
I4VuDhuv3GojQTuK3tBTuGcA45tAUU+9YTjUFGQGixrE/Q+4eney8jSdVtY6
Q/S+RDeE0Z7XqHQEEUgEpdHyAWKL+FCoRQllhVuwAukTaFoYQT69yKb1GYxG
O1ooHaDGOyhmA3R7x7ouY+y77hTDYME5XiHR1ysQPlMkb7+DjowzpxLRDTIY
xHBSkVDwRMtOWmIFTuSUSdyQy4bmmZwX2bR7DTDaGKRGtGO2/QX9YCY2P5Ec
muJ1oj4jQCIiC10f6JOfoXWF1N/OCdEPiYotWx+VH/WJpaQfE3JI0bngdbIF
A7S8hDjYvKjwAntTpiRfeuKiw9zxsT3MOCWdSLxDU7Htyf3SjxcJg4fy9xKm
ydRUBuMB+pHrD47fvg0PuGdkHbr2UWvrW1sLfwIZzjJSCflS4G0bVPg1bnst
Dis+xPAC60tK7XKHERQBl0T7ISDtAkMDKEyiFs2Xjx45CgrPnkBKPM+KVQAe
73mBO8pkJZpSw/QHYLWNf3Iu/ak8E+dTG1LDepiISIlxwjm7MIEHJvklDHcO
7Ga5YKMvWUWR9oSt8V4gDdFesDwW0yqQbaIg6xVLI7+E4DQEhEDhozOKVgUU
fOliID0kCrGW42lDVyjAAjqrCICq4U1IjUOLe5avEOXAS6sUWDzr/MUsal6O
zGlQ8UDDLqKVJA8RGeF4oL6IANM1xXoaPKHyfuSvGGDfXh9rmK2VcjfNPWRE
JzxcJTPYCG18LESi1IimuAJI17lxPRhNjZn0eKc2gyKpkIuhyzlCbgISXdLT
dAnH2LstIms1RpytmIVVLXYZ3AXO2TEMOAhcKmWazEng4aNJi1yChMF8TElp
RDB2PIJSkjGggWDfZd0eNjUGMjEKzcAS58Ulfczb6u9dACBmxRkeGtC3qr3S
zrxNSxQb5sXpJYjutf/rCqUh0JzZpqZyIz5QiS986mQAdVnV3TqNE7f4dZCz
vtT5SkKYWsrIGKE81VnM2jK7gaVPek9O9kY0S6jlpIu7IHEZEXS9IUUksOv8
aoDoV9d87Za1zFIOiQAtvISLRAyj/o1kXKzqwBUJS14CkRj8I4noYYs36nPF
mtmtcINY/Zc7FnUk9HjMgnPknZpxBzwsdF+zfDhdpF84gwzBtkguabjJfAV3
fIEXuNkJMxBdDyhZoloIvDmb0CUFahOFGapLORbT08bqlG5AFQ5L8tZtlBXK
ne8CKxU+6rDPamSKGtzkEgTNiTx0cVZUqNRMyfoMd1+lxiXxAjrXE9FJA0Wh
bzWdnqqGz++KAJjV6YIjPWBhKzUbw1Du4McHwmQXyVLJPd5Ih6fDfvy0AM3m
ZbLsx0pm8McmIpgkZTbJIMEj25mnoakORnaGxq5dbMz1PJvXeMXDaDotzwTU
giuBgxJaAjeQ05PijafWbf8mS3EYrwPHEJgqaTHEXGGb/sTLxr05VpTjHgHh
oio5QQXae6HXuJCG8XP2/oY2Tr8jNLtgmETHqipA20ILGJu+kVUTcHO6TdnH
QNINYnNRgChe5OIYJdkCdiqdrNBSjG/gCSJRwoU75avFGJ0UP7DfXnkpDNZT
OKoe6xIz7wnSr5rwNYaN8Xo4qRMUSxrfbFT4MQiKvyi9Ew2iPw0NJqiB/S0t
i9Z7Wd7aUJjjWd5aEpBHPm2OT17Aqg1N96gnco27A4lKF564eTJhCRi3OjTq
ZJVjWoyT7qHbmrvnuYAXDmZbN8+NE/Qp3Hi6Rgwk8ee/Tl6/il+m6BR9k6Cx
GwiTPqO/6HDbUKLY8QUSZeHXogR6YulbwFKi2MiY23FAof/4502UZQk0R5TA
Sck3mMV341H8OP5ZTLZLdpjFHNtwBvwXnmeWfJFVcJBeKhDMsdtWA/TQzi+S
y6prczXYSOfZ0inWjIbsBA1iyL+Kmo3TdEtM15DOO89FmWXA4fFGLmUU9Cpy
4IaZxQA5OVOpL83oQiKu6eyEXT4J2jzDxo3YSE5oMqcToWUYxbFRAJtGmXcT
NVdUmZbofCwQDviAb8EzGSpr+e5koiKEjLeRJOmsChc9c6PhOTi8kw3u/Iw4
OpQ5PR54SsSS94cRtkRtDNm6Wk4y4aqkxTteil/rHz/3ZaUZQfkz+xzoCgzY
QqWSeawkjneuC6wR+qbPZFUIXZ8iQ9EygDwX1njcvPVxtU/5DAdXrw+qLDhC
ywcyGcuSFcq9Eyr6b/jBvI6LTALpb/i5O7A/d6PmZ3cbT8AHn+P4UO5l+Pkc
Ph7xZ/ExCGAohcLvn9G0fp5V4hjFD5w8EPMD6HQs8aDHn2WAN87BRc/H8ZsC
JJ9LfcHK5fw3DDADPikD3LCEu9f8fdeg7XOIrMaf7e+jxkxf+3M3+sxCFYeZ
3WIf1/x8jj43V/9V8NBAreVf/6N73NgrGqi5Aet+1j6nAzVJYS0i1j3nBzrW
i/XO6NqB/HM7XQP9Rkvjrz/fbn+25N8fO3ZNB73Nz5b77cfGqr8Moi3zu4XJ
0pFC1K1sN+FpwNRCdjee2183P/HbH9fnI/ygMZqsGr/esXikT3blhbvrIAro
4xYQffYDha+3Bmr/3nyoA6Kv+9XjCFC0tTp1v5aV/LrjP93xn+76T3fp098Y
Ivr7s6evLf+rp1JLiuE3PKg7Ip8dfW0ZUnMoDUmxhXrD/D8rzdPUPzbmbcLT
PlHuAsIZfvRT/xjM24JH70595K5MdVff/LzuvcaL7pEf5c3P8uGB6ukBDvRT
HuPx48+P4Wfr8WP580f6H32KH/o4pa1d97yzZ1s4LKAMyWf50LtcLBz+0ygO
uKuetI6P/M/dBv4/x0/ZpefvAvfRTmvvzZe7jM1fNX9Un2eIG2OUyvAzPE+P
OzUTln2beji8Qq/B2XscWp1QUIU5NmaheXeT5Mfo0358Z5adDjSiAiRjusoH
yTw7zR/3JimKWz1OIXvcczEYavWkRN8rDImyo1xdUWANqQ7iJYuz+XyFGWEk
K8LnhRnKOVpwuEjMPexFUJA1ls4Z8NQohK9fFGsilTfujCKU3u/sqK5zkYrB
Gu/+zMfmGZsWqzJw5ZMrb0bWJrSDBoBJPPCujVaE+ZSU+o6CeDQlmU3Jwyop
hDUna18QfcfrHcbP0DAkvuYF6A2sOyR6LhspSZHzZTTd/M727QmMVAuy7nqN
aqNKSSOKQMVZsVuIbOo8ncS5bTZjHYxTBe28o02yhpAVjqIuyJNjrYV3Rn01
mlRnibjpnCdXsMhGM7LXE+7VzQgDRHd2OMdlmpGbD5ATQMChu3AJkeXBgbJa
Frl5hefR0FATYqSm2d/jGSO3A4dL+/jUziPJ8e3WzBpm2REUVdRpk+CY//Wm
X87EKPz++7TFrpBxjp1y3qgN0KvmqplqLK81+LLzLLrBdXDnTvw9Gb0PUb9/
SZ4deC9AV/zpDmr/4tmJoudqW3VWLDHfYvgTJgegsdgnA8Gfm/01IUYcEuJX
JeYNZwl3Hq/Qx6MobWCUHX0RswMTeQAQVByu4iA+OqyaQVOCPPpGTzLnyjaj
DCQI3r3MxD5ipKBjf1PCcPFvsimIlYPBJKpQA4bLc1ISY+iTuE5OvVm4klQf
a3Zxxjh6sorPgbFrhCTbEgkFk2KZ2nSizSGOJTbweDumQABCFNmSeJ8yMluS
Dwg2d7GsL7dyjLIe+nWx9abyFjO2A4ECwGbPyWqOaWv0GNlvyG7zs9qQ+B3K
K0PLkLf4XGfs4en/5I3qy6Q+C/yvG54X4HdoPCwphscknMpwW7gzCMBZYuIi
BcmbEebcFLjDFEIjN13lI0uJieLVuDrFDCN/cTwQd47d837kSBrp94FhWdbB
E6ScxM/InyPDwEyr0pyMIOLOJ3mE5lv1qAbWW4Q1m3yI55Rr7Ac0tuCOcypH
/OhwtL07GG3f28SAoRpJvzGOM8R2MrHGMHubmtwGy2wOZJgdvRUdHW7DO7tw
Wb0qagkWp+OlJ6ODIvabFkt64ZwCPIDTcOCmuF0wxkuZTYBaDPiggWlKSlqE
f8/5OtNgoUikD3ZOYNkV6/6BtUrgZEeakj4Hi+OUnIa9HV9G1ih2Y4DbhaVS
lICagb3JVlx900YSeHOVXVukYVgADEEMm93nZCn4LeJP9vpkr2aKdRZ+4QOE
MnwbyA8hp2Dg6jqYag55wsF6ar7vMcYbgw2/3Dra+XP3Mf3c/YoBROGLgXca
rev2P1tfCQFT/8jrVJ+/Yv7PWz/99DWvK7RmpDWvw220Dzv16MHD3Xs7+G88
eAIPI+RNA8jfYfbgB7nMCHC2E6PZwv58Kep+DDXuvyvqdnb37t+/twv/3lPU
7fxTULeDzPZfDHVba15X1N3b3n74cLT9cFtRhwv4TrVyAqWp2q9R5s3scu/I
Atiy8D2Kk86KjKuih5/E/opU1A2Hdv23nT12qLPvfwXqbnrdUt3ezv09R3X3
aLfgdVrR18+O9/ztgMeJ7vHjQnUB8LIRe19KfZ+HP5mPtr6e+ta87TEITO/h
7qMdxeCeJT6kvy+d+jYI2wOU3EeEfRFafgNILOE82H70cFeXff8rKCU0Wq1O
bzBXkVLP6uozlr96V5IvJ0fyRaFhfiAfLRJQYiv65Srw6HN0QfpxWVQsRJH5
JUxYQrHk3fELldAreVOV/Is0QvXb65ZznZkn7Ivi6h3fmp4Ish6GdWOKCqfX
m6Rp1am6Ah6CigMcjWk1ZhQFo955VtYwUA9NLZjuVaGatZFMf04mFPk7B6Fs
s98OQCEdpCgkUMXZYCLMqyRb0qdPoFHmA/SMX125OFmKAMxqVWmzZTXA1war
MtvskpNZ3ktsZoSox+G863UuEkqjBrJ5j+AdP8AFRqmTD56NCGgF4Uw3N9hA
SOOqLV5+FywF2PvWFiB7zgm7iBOMzDdoQpr+/FMMBBzTs8HWqWMdHth2v9Of
JB7RCxSYhH+qMN98cNd88CN+sGeGhRebX+/IwDgmHFD8oC32B0PsNIfYDb7e
bUJ0rwWRTOk0Axf2gxcJAbFHQAy7pm8Ppx+Ef8XywX1FOsVR6A9Mb8MrFmmd
oBXLDDUckikEf8Vv7ZsmkDSVd2L3ToNTCfHcwLCa7MhwLZ9Lz8FdpNqhHi4D
Y7GnNE9LSl1K4S38BUiv0no8yF0iU3gL+UNdriZ8uNwJacTdOgvcrKYSaOhZ
EC0sCojeKGLeqMY2fIILOJoDS9mBnRQHbEQBaYANj8omMoScfvu5Oygow6hu
RD1uReNYbq1Ot76Df777+Qk9Eh2uTP0dV1Qup9pdYYQWw3R0WDWSK10APTDT
2Yre0/QxZFsuW+oyrVnDVdvGmmRKUWTvY9bCaPvBJuq9bqNU+0WGoijM0481
I4kmJDaGlXOmU7QlU8wlJSrAuFFHxJOuUlNS5kkl1pINDgmji0IDKwNrVSSY
Iwgs+uht55DomFCGwwjATbNbv3/2Nt7q2jJ5/on7Dd+ULYTLPDRDv6QwSKGr
o/w8KTOqpRQdeEPvpWYwYvJvI1ZYIqCTCcfqAyLZUteP0noy3OQyN5kUt0nz
alUK6tH84253NopqNadF8gHt/77SCBqw4CqnP3CH+VT21XTj7DbnWWIMNtEG
D1j1/eUCIG5vclige2vskkTE15YmJcxQ+nRjsTFhTs8p5fSIp7AzMSysZ4Lb
TrzEFvFblkXivAyOrxD3QUINTkYkchESx9GhK5lIFBvYwRvlHBDfDr7Iw84L
HgGcLwus0NPKxg3HoYx+SV6MQodB5qiFLfNPOeeJyoce8Aaj3b4fzzEKsJKg
yTVxzD44Ft0AVM7MBUCHK1SXLibZp3bQhn3Qj6TnkdhrToA5I2LuTHN5pWMS
7iiXiXgQ2XYryjwTp4GTsdaxpJwZL0ftsqlOCptd4jzfPcbv8L8pAUj0BZzI
ma27FryRfpykyxrpV6NM6/SUgrPhrjmnIOT4/V+wZE2e/vU9m/Wfp0mlmYHx
i/Y+KI67Zgw8yogTnEAde0lsk/EZd1RIlNNCqISGlphCcDnUWB13aJb+IPXa
upfL4PeOs9MzYJdn2azukRsGSIstwknL122xB3gYAR52/vqevBSUF6qYbj73
DT74jX3yG1DPgdF/Ez+JazHTwmPxE9gwTgeD5+EvHDDfGYrzTtNbA0UCSyAJ
v3P+TWaXlfGBftNgq5HIG/gCnNAEXVjeZaeOE1ZSSOI2rsSrocOQLGe7Hxm/
XRAa4FDx/hNIsn0UU/E/u302UJNNGq7Xq/dDPNE02qgfUd48vtF+jrCDX/kP
gADYiwZMszJV4/CpnX507SiNT6VUgR9OnGtaCc1zbOPgQtkc9gdNL2uIfBVQ
alxm1QfaM65WRhRofB123A3nSCrxeuON2dTp9NuK6kxE7mspzNX0lPjiDlYU
ckqWy+EVACLUPWim3VZItTjo/wCww6mHD+MfQIqe4TX06c6F/Mq6vftCg1Uo
c1bcbhg7IAfX1srrrLDok+OwUqaGcLxBzUtUXKwpdXW1+S2VkdQI3jeoSLgH
qjOMmwDpo6bcIQAfKx7PfZCA1voihIfRGho1EZSLBDG5y0u/UW16Lq7Fs5Kw
xq5o2OyUl0DzyPuUzZkqU7iwc5c2Uox/Tid1KxYB7nc1byyLjOeK1lgGXEGQ
1WKRcGUoK3fyI5L+IDPAK0yxiyzPFqtFv8HhKZtNBMJQWPcXaiLVsQawxdQV
AIUMFpeZIyFfIdxTjg7PQCnZvBtSTxoJwlaNa0TU6KIcK4ILCWsf2I1Sgd2X
APUp1VQEDMhKBaEscJX1I5O3CiMouXvbhH4yYIJs2ieEcm/8oeirOC5ufpJ+
UC/+HL9ewmWyxBNcEUNpRCbZZ1vxkJ0/Tz5Htw1iVhjevAaZDjFKkTZbriSH
2SL3rP/BHXEC+6hr3FuBGzO8oeIyetK3nwiBPOFxv7t5VPiJvxwPHRrUyGq9
X7q2wYBhMPlLHNDBQRpdMNxubYPfcm0/49rujp584dq+gs6+5Nkmzn4mnN3t
orO/G84On7149vaZOQWdJH/7s/nkK2jy6Rxzl7u5QuPZ26GB9q0I7WsBA7zB
xuYCTb2kcMLViJDBmlserW4YQrK/ltFa/ZItRHBjvb+eSt+7pEJnE5L6/O72
PSvmXPDaVa9cwU0xt5ON8TpDs5yzKWzYWg4kcQTi17LkjERr7UTRR3OA3aVi
zOhRa9EozVDwFtkg+W40l5qvydiINtZSpZHEQob3J8gl1kDA3hYqGeZiYzUc
BoArKA0ZP72MGA0eC/+++W66+RocgGSk6bQ1Lv1U6XxmEhE5nrwNw5dwjn+F
W/LNu5M/tABZc0veDojfEob2bfb3g+Et7+6ioCxT2Gyy9bjtNs/ST6PkfFNm
+j/tJgG29WtuEqMOiteZHi0oMj8+MXH8T/1qPt2xEffIxLGMUlCDKw8Up7AW
lK/FmGl8sksiQHsXWdaSSR135guwRcblGKxnbb5LwzybASyXk7nzlzjGw2x8
XKxI59KmAs69bao7kjkykhK56Nvybhmv+WAdC9DX9rkOFqvL/JkUmDJl0xZJ
npwyurjU5kcpoY0WpTKX9UamWlGdTs6o3FCGFu8DLGE4KQstQsorwbtGdTBG
O1Zlg2VfpOPIVPrq+2YX6lyiWqqizeNY8yKZxuNknuQTxo2L9IUtwh53VM6O
yuipNdeP42tPTMnEL4VwplM4mFVqLVJ0rfm9IKcElt22eqkWH19SwKp43Zhm
vkGL4nJVk/FQ1xR5Fx9FQjN1VSlXmJPQfBd6b5cWm6Uh7RRL9FYWZZABZKyz
vjSa7iLG6C9xC8wGw/uIzYixSV/6WqBo+8BuEeKlSf3OdER8i8uSCYxNXCGF
kWFAS9myh8cCMvNHR9CBiPPNFDzFS7WKZq2Xxtv9Zm04V2uNIZVicuKFIYwx
OAY+NbP4qYGsyAEplR6ixDJTrkwVSIkuS0VKydhOLB+5QwPXHaUqVB2QccGw
Er2RN/EVLt7HvoAF13dHax1O4RlNFOLc85tG+Qy9pgZs5qEKmC8THBRtjiD3
llTmQ0TSgG9p3wesXsbA9dm/jvkeyNDYPYNVRunI+PpskQUnm5Gc73YxxfI8
pXfShXlCw/hFmqhvPTi6c6JUcsDjV02koSQ+p8gkNDFlC/xlJf4e8jwqQUVt
vtgsa4pmMhoYwOc+LOi/rMtLri1JQUgBeIDpWSGHy6OL9rLkA3PJJjupviSg
/CfOS44VbWQQSb8ab4IksSS8Uv4zPgqvP3fhiUfd1RuMuIoodYExxMo2Q4B4
4uqNVejEdbelMjJxpEdh6xnFc+5fv34XTIE7OuOHjhnSLkqSSsU8x9bZY3bS
o958vcY8eXpa1Mw49HZQ/QjzpOxlTuh7cQJ09uaVRVazSJ0W8N4djnBmUzIz
cu0NOLluzZP3JMqLS2tK3SuG34LPnhtt3hCj32CV+5pH7TZcUic4LBILOADc
olOKHUGavRSUPQLUc91Qwn6zsc5turfBCf+Q2vYKnF23GmuTODIL+04klGXR
F9t90CaiisL6oA17cljHUG0LKqNFvpyxiygQj8sEr9M5eWERIdgcl2UlueXQ
945AmVreQS3J4lx4imY1KZUZEczV3vVxMW4dLoWyESTg2qa4J9X9E+mOBlcM
WTaq1PFzqS3mEe8RFKlXhT1ktTGBYL8v59YRNkZ8K+Cz4VaQbOPe4jZL2Ghk
Hi6U68Jq3JRDYLS+e2EgWnDYgEaNYGRk3CUW9CMsxD4rGpmTQf9Gu89o8hlQ
9JEaiuTuo7ZV06g1km24yB3nLnycx/PwoFPLE0BVZIs1u2ZPHQvW2s6uRxiw
f3gqyVNycXgvnq3+4SJxD11A28bR8eFmfGBZw6c7IEBcUVsbZRlq4+js3CRK
Uud3LnIuoola6bocIGKaFvR8z1NsdOH60ICq0OPuFui262GVWVZXKub6vt8q
s3caxhUNJc586+qjprp61DP9AbeomzfaEe7+DIJqj2d+akDkuS3QoDyl86k7
a1jgDR3tXG+YfbX+tCm7vz/cdeye60NjvbxWrE0wD5fg5qG4zZY4EnH5iBac
38JqgsH00U8aVmkK6HHAF6GXutnaqJUBR3YNTJ/ab3WI74tiniZtkwHZNpgt
DcRdiCxG3ruKm2B+G1kQB5jg7sB0BH10iCGsJzWmr7uRrlnEtxzPRsyJNqii
Rr/XLQzLijH7oo3E86fRLGpJpeG6mj60+uLw/vWun7EntCNd01LsmYyDsHMz
qb3QnU19Q8LzZL5KNaVXEI0dzNx5oBgkrRPXAhYO5jIpE0mgRjdugheOFAnA
V0M9yUkCLhSsFgExq1yAZHCIcIwFlkYcLLEYIh+lfvgMfhZ+DfPfOEr/uiFw
EWz49g1IaJDkUs6N1qQlKm/E58lODokYSYp3DcLqgNtwr5V8UlxXvqBNCpYd
BiFAtruCq5fHE5CSFcTxs+Vf4ggIOzFhwFTV1rAFHIVJhWRfpjS85MnjjqpW
lYIGA7J4JQX85IrVJ3kNqDZMfSCyJMn6Iuf2DWw2iJcoxlwyo8IxJHMfDVf0
2SasCU1Ufey8xpYVUxiSibbm0AJAIVx5/kg0cvZzWoxUdVXWSAEx3kriFtk1
yhAZofS2NP6XYK+QClJCOMW3cbFP/Lq1ByAw0WfyV+UcOJIeAq8HrRidNjYk
vmNmbjX28ONKVBxQ6xRtG2tA55g0bapB/Q64/CpvqquMCuTewaqJE76lxOD2
l8q0PMXZKpfYITlXB5CCH1hA/GKvGx2zSY7fPetzOKXmlhC74XDZxIR+sEbM
bWmWrbl4CEOlzw9enDzjjobkyavIyuhnafZhpJUEDYwxTLpSYYDlFRBQ4XIa
Y6lnopsxVU5OyjK59OZhw8/psCP1X15bLoRIlg0xHkB7NWkVHakjj04FPE00
/SVpV2ndYRL8prq2wndFOec4kJbz9oKp0a4wTBN+A8HP2km594PpqRWF/R9c
I+J5ynGOCKLEYqvWj+c5PKuxlheYXEYcrw0c8yxbor1bwrgzvby/0U3BkWUF
lR/peCTlxKXbJPxtLLYb/O6meX5bojz1wAbjS78xRdTxNoquFylSKmBhFCZi
eRhNQ8NGSIEt6ZLVkYxvmyC2XmEjuqv9wiV6lGwozIwHjGSdGJ6lHKdW1Y9R
j3FiMQh2qFnlaYA00QNk7U7uZWAig8Ik55vWYNBX5yEjXvdIquFFzBU59NLG
FuK76pVdd/nCXIFRPbLRf0NlPqqijokawyrH1HRt5G9EV9ojoR4VEcyAIhuL
DFOviZJxPHHao60MRQwILysTKYpkRViJMjaOcGsi7LZL2YnaExIB0ajK64pI
0JDMnSTTKYqoK+VU34KD6uuqeDPVQ2N80m411NhJpUx8j2vhBwfYe+faTc99
p1aWXJ13b+i1kt7iciBUi2J/b98J/r1VmcGfbLDb3yK9bCiQD0Fm3ZLX8K2+
vmMUy/24rdb5V1hepNe4zThBUnLlXTwqXwoNvgOvbJkhbg2WvCtisJsRD8Z+
/BeDIoTpr+6BQG/eNxpTjxaA0w1yoH4eJV8t7Pp6f5XHr5pIOCuWk2KVfzUG
9P1/veU7yFprd4vnUNXBTDoiDH4NKeggWzzor8QH+gqWdXXdGzzhP5aMQKkL
UdtvvM/ZS1hwDweYwR2WdmOfedgAwMT3KrLBfAnahQfCIi9oC6pbI9xbe26F
bXwc9edF8yVFtcNAm7/1G981OU7z++AwNr9cS6zy3G32+AbzhH22i1tfr9Hf
sNjG622DwXXI+NKXrznZ1w/kxrkypN2lt+zHdblqEDfboHzdLBaM6UCcntUg
SVB/Nk78UtFYuvaVK9s+3Zn5jXtEWwpR7cAO+zGrhhUtP7L7xkbWjh0RJ5cb
S+YXI7V48p1I131k2226SfqiBmxRO+QFlWSrJ4tjyhNhwybUYZ+VdrYge25R
SBOWmiBNRlr7JV7foBpiYelOFS7FJmGKCogWpUUvRRS0TT1VzpPOFlpcjIJQ
ow1XN4xdNyoSi9wpJj9O87SuIlfaIAqEe/J7+H4GKuu73Sj8TN4MEC3Tcpli
RQrso2nKnjb0DbTx1VReQsc3hQvfGoPIwZ/jD2m6xBCpyQeK1eEQAQmaINNL
16owYY08JwHupyn3JUudBUF08qxWbzka0us0wIh2GSbffwVbPbUdH02uio8H
wfQ3lospyPRY9u3THSmq8QuGhoUJRD7mSJWAMD+uQ2lj04dTKoGUKxG9Ez7L
HF46LqbGIuDtimscEfauEVWXRjCJQzapyPoCYJ1S2tJ4ApqOAGNgj619wpn5
/4LDs+Gdys98+1f3zWsei34otMl8Z70D1gvAT7AXAAAUO72vuOtD1JzZ3kDl
LFPms66GhUQBaofJOhR3rMRCxslPn9AXhsV4reeyZYDD9Furcy2AYIuprQKZ
SgIp+9Ncb05nbrG3cBDmrU3RXfC4s5450w5W/RHvRMOMxCmJv3/2ltI7/fol
BMpqrhsFtquJe+fwR2+TghaMKUd1wdG2cU1pA0B1PUhrPMvENO2QWimysjtt
llo1ngwunQBD4FB9bxNSXACHYWsQcH6EU2wDrqjmKRU6xdCtOA5j69bNOIzj
BgtzjboSqmVIhuRJMsfiqZziH9v0Nlf0gWtnNPPOCB2c+QYz+bu+ucFrCIm9
HG1auiUhkTkiFhOpKTFMp7GLZJhekBExwbikSEYZBcZKnGJfvQjBBtFadIfo
ObNHIS9yERcx2s2BjSG/NxzVwZR+xORUlDCaRuiTlMwoaAoO4hFMAEEz2xSL
PMj1h/MGFmfnOltnAk6bDIDONKkDnY2DEEKfmUrUAbdaks3Z9RG4zKrgCsKb
C+jQ3UEVxicLZ+OvCJ+cy6yShrMsd/L8g+mUuSoP0I9NzRHjLb9OBVp/Udhb
gH+CcHu9LhCAP8FnJ5LDaR+ThIRv5QZogCtu4Ma0Uo2EipH4MVXbo9s+HLdx
9bifdXeQAbYbAlz4Ky62IiNpyuy3656QNFr9njr4YWHh43RiRkB+gom0io+O
pd4WovSXQbYWGvz2Z53EwmJ95Guu3mCP6UQeN+pwBRGFbA1uCqcaSSrUi5Bw
E0bqdNpUCii0DFMEqNFiq5259lFU/g+yJpZua9Q+sqXIaG6R5n2ZfJLG/V2G
h3NfHb8o8ndVBzLp11wLz97cbkCQEGFdxJ1ZMpHydqKPqF42KYoP9EwZ3mNH
b4jncPx5P5STAyDI313irIuiTBsgsZ+PFA+3hMS4RYWkMhMJb1IICBdHpK0y
bzY9vEutQE7ZDznJQtpjlwLEl1hIHemGPNBaz6pFKmzp5iBY7L4cuknoOW4o
G3NBeG50DUjs+5k5Kjuju6ehX2h0PJUbc64pDpfElA0PNBrf01kdQChSPoav
t/gXHQPXf46CtX25wJAlsSKSm5psngshXGPhVHwvOQ9J1bj1cikxn1nXBUVq
uAzB0D8Zs8zTDRPf1pOggZ7KOFpeCkdodxrtbLPohEMqdtU1gKt35Xx8LmLS
RRvC2fddxCV8Yn2JgY2Qg2JEAWyx1XzxYItIJzH2rfEaSRph1AuRzdE05Vis
APEt/3AoZ/cbYIgm66ZnGjRNK6Uuka8m5dIvrffazn3jvDqpQ4EbZbVYCf+u
sr+lXVFCLmvUBYKKXJoQyTkxOyfjFTfJXSwxgiRzZ8iOzeHitRf3CCmyWBP5
oMsH+hhnp6d6WsMFOSx6p35pC1n5OkuE4aBgm2exgK1TFtBcef742bwRQtG5
b429okgdmMgvo5W62wrMbdIhqSASRuVXpG5Cztv17lqVBNl+dBmnZVmUlamg
oQI9OSS58IjeQVHv3vZ2/H0yVQtIL+iVw6B/Sx+QicE3RyABTepm8GnSIoT0
JgHhBVcp92kj4iPvatwb7jT0Szy9yDP6tsFRx8CRNo3gCVhWZWFVIotHcWOF
9OVTxuXgRZqf1mf78Wh3FHyOAYP7cUsqpslJLNan5XrcZ085y2bGmo5lK3v7
1mRObpAp+h3i3rOfjl796eDF0eFPz4+evTj8CX5/9ywwVMNDxJvRKG1U/OYz
dFngM6E9fuuOMVZ7+3NggJbx2QLM41Dsl7ufWPAzITr8UMR3hjYVoG9kKP6G
xA6uhkaFuY6MFKYkG5YsSsI18jhyQSPiWa82rWGJFBYgLGCGgSpC75/99PLo
5OTo1e8Zq+/dbSTw4TAMooRRYLCinVjMA8HZcXIdG3/ZrnNpJC+7xo5lsE1b
esOULrI+TFBTDoajmnXfvGh88X0nNb2XxYR74xfughCwuCgOU6xdgrf5KJ10
DMYiiKqobogAPb/G8PCb2xysIUqNDn4jg5E5/nGRVeQToYqQtFArZwt7dRJ0
gw/qlemNcnKj0FsokbeHZwxQwSt81XBJLEIRyPutMKuWrdrVv/KanWS7UYG3
InJ1sNg3oZdJh3W6w2rg+WOPd/zezqN4421RYHPxS+XA1eY+W9hwPF+01OQH
Uv6Gs7djFcN0Wqn9k4LAAIFYxGOoSeAclyag8+CoGA4osc5ckqzdkNHzOB28
hW8PZpRxfpYmINyLQYYtMi5i5rlm2mFKFXZl0w4zHSFsWWUSw6inF2a4nWHp
VsbUMA7MyoRYzJVElzrcDfTpiPnxEibCsohR7yyF3UIU93zNMUmrTBq6tpi9
n2J410vQvJyMRTOZzlvd/mbJfeIA0YBQtFaKvWTJfbGF+pC7b/nyhfHg/my4
5OmrAzKddVyuzuTUv/HiPQCMFmX2t4TvXm6d9uedj8v/9cPe9su3y+J//fCx
Gu88r6a/f/jH21zsDbdKp4xwbxRe7wGL3O/EZnDnHmmbHkzKlkRD0PxR2QUO
3G9RkpaICzdBOH+npLMDks7rW693/Up3Ho1akkxg9sHl0q5v7TwYPdx5iP+/
t/fIiCW9lo7cDB3o1EQbD6FjXVXNHrazGTUEH9Ej6bv7/a43VSHsxc2h8RG0
ksHL2/2ub36mYcM2F1fmr6sgpCD0/Nu4lqbwhflDVGnDex1Jeux2O07IriKc
LauDgHpn8caMxq3OIouRqwfRchCPL+MeeVOBrnoNU4znYUyGoBuFxchVFqDb
Q8pgsddi6DKPxZhurh82zc0vI/biNhtnSs1ck2niGog1YmYbGYfI/tWbLdHD
wAtd/WSqi7EaV5MyG6drTJSuGCXgLCiraSBVIFs5EDChF4+C9aCVJtLn3a3n
O+UhqFprijr8Dcl/wLfvssBzmWETt0ahAu4dSqbLgdsYaYCn2xG4CLQoqCl1
2NaZ5MVmjXCh25tcEaRfAn6RDWUz5W2+lEnonjeiLdtS1IooGqxXcE0ohK3V
4TOyQwMdm8vOMaiH7jxK1W/i5IwLAYxxMO/psVkeGOKCcQcYuh0ae86SKb3T
HtXGW1gq6EcugNqRjAzGtmO4EwaaGE+BMbj631CY+2oxDjsmniYl7ZhfEbEr
n5vMoh6WrwW9Es7pKp+CiJcF5ol0at53eh9X7CeFiKX7gtcuITzUDZVyOKlq
xSAoEfvpDuVxS+OGhA0RjaKvzXhrE2odNsz0RVeaHWQza8zlGnQm5dIMGm10
2JxQchTL0CaHwUuBx44K7CJ7qp2C00q1+gsFKonjACs1OueBb7Mapr8medDt
wXF91ZOdiiKrsEGRLvzetLcMmkZ4Q851q8EFGFhDRhRfx4jWdirwzSX++7oi
2o2WFV0tZkLzXOTEagBVdIZGo1cpIGyQsbHNTVRG2PsaT4QJ3YGj2z5YcRjK
67IEJBvLZwlEXeIVImB7C6Zj7cCpvyxRqwqDa2jPHNmZrxWwe0NxYGergSBX
3NiJ68SqhamH2uuJjXFNi6Trhrvx3u/de7EZbartUy4UdCxRCuU0SpohTIxd
jNlSS+LaEEHCvuOeywJ4Khqsw1JdWHlohYlGrq0CV3EgxXsWdlMArjm+jGzt
R0ddNCjRM2cqpjkFEfkADd9D5jJlCSbyFQWoYCTVszDXAZEDDemX1zjbznsZ
wS6mSTmMb74phDvSLupNhF8rDHjU37s2IEjVQSeQ91Ek5lgzJuAO73cuk3AK
AqYzBO2rtadj2/fV2KGniyVNl9zKnY3nFUkFwfsA64CBRTGBaB59EfsxWkeM
fk+uonEy+QBQ4WlepX5QN7sTMf7VLtmQZ//dLlgcb7Qdb/y+yFMeyt9xZ4n0
QXfeOW6+QRnowv9Jt2KLzC863F688S732ee+OoOH1WMEy6nzJroDbOx7Dn5N
oWvfb+ZmmiB7yM0ortAYmaD22AT1LCnnlx4UXJ9YlkKqlhMBOz0tLr7YirWU
AM8Nd9A32eAXGrM6LFnXmbJ4iDXWrOtNWWLFwgofnqGDlum7JDeL2Z/KxSIn
tGpgW+SAiG7+bW4IPBpqDKZy/tZtfs199uttR7e+3URyOBBVzd0+4m77lWYV
C0anZWVvWwwr2MGMDe8m9ZrC9ltWJHrU2A5ewfl+hS2hMGYHqFF8hwSGVmRy
6fLS1CzhJvHtEvlwP5FwHAQ4RmGAowmW1UL8fed351bc8Jjkw7rmRFFC5Zno
JqU+RWPT0VyNC653FeVxUJshbazB4TnRhCriZT511UHvctmV6Lj+menXVUQ+
DLOdcRuG3ZPJ2TNQLB2N32C8Hx5ivtMThGIelmRGOE1ouLTrohux0Xwdg26w
t5XhNpQzyt1d5KIPJdeqQA3Um3z4DqXDtqragsPNmGDtEsV4CpjX5hA2UNbU
QkB6sxrJl0fEOxiiMiDUIEDeo31dhLzMFN3uam0HyRNzQvwDwiP1F7cN2W2N
w5g+fKj+GhVGdTFevZK49l7BQOUGfgMzhulDj2Yjcb9aGJtx+uvi8DmKEVkE
R/VxRD2G1Mtuqrh+k0Hn+tjSrjjMjaDOmm1QOiYhDVCDNWSnkkssWfGb/ehr
41LXBqb+Hxyf+d//gmJryG/+3oLrP1DSfL+eBN+vMVTFg6BTEdqpqrNb2Kmk
snxoa5Iq/QK3rWZK6rapK3qKqmfZ6gzQN7lTXCtBOh4w7UYYHE8lEpEBUEnP
sKwA2YhsQZD6IqPuYvlcapVGTVTqUvB1FyyqF5s0buJ3Bl6JZHc2MqiXXGPX
4ND0WqCDGET5d3RBIA1x6qpi0+XjCuxjKcWwN1UyVaWmXjlpl8bjaFJMt5Rq
qXBrujLuTMOmcj/VnWmUmxGmS4d4zZIQCGwRIGNr7U4u/dCaBO9N93DU9QQh
wfSnDKzRsPrvuaCskk4kKPXbbjHK97QJc87kXuBKxi6tEJ/N+MqGZ6i8k+c8
PtTrXqP4qS9pylmt+uS94f3rip82Yus81yCgIuJ0rTC7Vg1CHwtnQstcuMia
gBp2WQQGOImtQcOb9QIOsdaG1mGdTvdDsjPbbDZfO3+b/cS0Qe+OY5no3Vtx
tjG413LsqJWfbmzGRohVkQPrCUtxxsSFS7K2t4Esnm7BTT4CEp9cSxwLVizp
SMAJBK13HXIWBT933ZvrUgY1r0OFHPzDwebEIDxnJ3iCf/tLWSfWC/m6jIk1
GUyYHN4MI27nMHWlGEWRWysN+DqI1QtVolCV4wh7uVOyWeMupOS9FSk7bVXE
2zKp0hsqLhpK7EJvqUN1FqwD6wC38+1oOZShxil0aFqn0LFZ0Grm5Iwy3Fdy
fn5oMLZG97uW25zWHpQXJv2idlyRST48tR6J6CTBBP7m4UM9QE5fl7j7C1Xu
VLNLEdzRXaAzL/Hh9g5ae2zE8TV44qNDRCcjU8Wzg8NnxydCuYMYRMKfTt4e
Pzt4KR/dpY/Cx+J4X1bxmNbkPyYfSQofU20N/zlt72M25bhPzzDQ6HG3vQZ/
JFXu8XVWmWb4hXv3+rgV/BEjFVcG6Jhk/RtzssnAO/cfMBYPD94erEehiYW5
OfDHVoZYXxGCfhGZAHbWUQlrZPu/bm9FmnmM5qvfElujR/e/EF3/Dh2S/Ta/
XxM6ZEjEv3RlVfhjlFhJt6DbrSFKagCCcxXzKVdXNh9H8RWy1HqLOgMUcHiW
Tj40JOVQ1L3ef0u3PC9DuOM/kMMBRF/G4Bq2as3Pop9/OM+zsYn/mlyjGT1p
33O8Y2/06At5xzXcUw3id+AUgNLVoVSRMtat1qhsIyVZjDBelJGG+lJJdSfC
42gkbhldtFhWTrBYL6PD2Ql6FsbuOLwnKqCDqf7QW9o0VQMxQoPLIYT5KJsd
aOFo0YT+batV8zB+jvJXPwxcs01rlnhcymS+L8JqQZ0EIt5i246E6gK1k2Pj
7nA/p0VTdZ3YJR9I/R0ilRNqExSYurVqjwRfNdtBPnnvg2PEyIU4ykjA9KZ0
iiDA0k/WYd/MT6YKmwZ4Iyw74Gn/AwUcpFgpIDC0qTaJ1bakiDBmqXraa1oP
JITTQ4VWVK2MLIVwQpRqHwON4gbSmpyBCJws0FoDUxDYdgpk7KZRhnY/c13o
cdUBSCX7bC4p1D0nUZ/TNTXYTmLrmp6ZyCbLGPE4DQ/YP07mffcvdiP89vz2
/q9jt2FxPnPvtK+d3/DWcY7OE9iT6WreaPWnRnd2X7BKj4qy1op1aRgUFl2x
Vi5Jmi43trB2S8+4QXOnHh+4mRsgV5KEk/0tbaY5+/RE4Co3GOLRvbdS3kcA
EU25SU1AbjI/LUo4RIs+V+ul/HXsUVfLKKw5im44QPcyje3uvIY7byPHPOjD
FTmIsjzDSGJJmnAJzL66WeyiFCQChDKIQb+VRH8Z9VuOTb7IgEHkE9iz7QAU
Wjmq7TgOrdRHvDbAE9tluDd9GJQuxXzUJ893jp13g0dgTWFRnXA+5Y9Zfl7M
z11WGmf4usmprkQOvD+Zis2GzdVkjkCItxvwufxkWi5tZOvmwYiGfLKVj94z
3+c4qADx+w3TZWU6fHiHqjG8xXHbdBNGK2OBJDIvixFKHPLc3RC2mW8+STls
4YvX88ZZu/eDsdFM6gLrGRtVzW0pwgbC5mbc8K0Alq68Xb9R2YMn22Qxhg86
VwhAJ5I4QLgj1GRSkI+JpDEF1Tda2yfbUrNwlvRt2nh/fPJWWND7TQ4Ne4+t
YX96c/z65dHJs/fe7aEtEDXZu9F+MKiiDNznneMamp/cEXSKIYuU3Ej9pmzZ
apC8MiynHRlszyjpzwcMaHdANdbqYxSISlJQFC7G3p4tDcE+idDpcWShTfQG
+9B6Ng7PwRHJMJLghEW+e+4bZu7x9y9eP/3j30EP05ihf44uFgT4dKNZ5XhF
TKdCdvfvq5C14pDsS14b222LBx2ANdPZG9aQnstlGWAZuQq//0vLXNI2ma2r
gkuPY503eGya3N9LJ8lOOn6QjLYn6cPx9t6jB/e2x9vjnXR39jAdj6b3Hjzc
6wXvX/01sK64qsVtOw5/h+ezB6imysVYwiCZNxPs+TnMJJhQKr4peLzWqnPO
i2jMGORV32Q8dLjAJ3fTdGcyfpA+nN7fnT6aJeMHo/Gj8e69yXj24P69e7v3
d0d7e/d20gAib0hq1mGm8q6NrXxzdDhCkN1vcAfT7zvw+578vku2rcZi5Rn/
5p55c2Tf3Gu/uRu8ubPd92/uBWuI+L//BP52/x/I34C7wf93/uEcrlnp+HYM
7v4/lr+1gGy+49hb26p/C+bWOq+dp9hzqAlwpe2d3fHD+w8eJg/Gj9LJ9vbu
zr37D3bHjx6me/fu792fjmb3pw0Odf2xXHMqQ8DkhDxay3/0YLVew8Go5VPr
Gzqg3eyjZXaLA6VMiOGlE5ciWyWYBDmu2QC7WEnbP9t63LVfr1izaQhpMyzb
ULmAtIoL6qi96f3J0eFP9S/vubFRScI2u+gp2oak/yDq9UMu4j4BBuJlWn7L
OQKocXXNLfaayjXZJTWY+9W4ro3x0aHPdoxj/dS3sOEWwxoXglUGJBUcX3rj
8ymeSi4TJ3sytsPPSFZ8gU3Ov3dtuT/dwT7dA9enOwg58smw0rHb1A1Hw4+L
e7GVSFWidXmoGJNyBvfV6ZkpHNdol0y9SrG5FbX+5fheLk0BWgOF/1FwjvQy
9b2DpW9U7mI1Iq/Lj1NOM7FN3QcDbGDFnWRB9Zlir5RVxQrJeJXNp1EFNzkF
qSB6Z8lqDhylmAMKMdo9HWvBkaoZHuwzsTDLhsoF+7bSErHk/OeGjNGgitbK
jLeI6sBhbD+TND6LaSkpGW6li7dpGq9hM6FBD4mH640jRbGrmHp/Uvm3IrdN
zXHMb91cnVUp5skl0O09i0r42ExtzADSXzKrpIvV1AcPE4xP38R7g3rFeWDS
mMfua0CvOJQcc67Nx+FDgtdmh3mkbq6Cw2F58Bkj8R2VLySUUfhZUk7OshpG
ACLYj1/ngIZivtLyCjCP1+35ROqL3qACdwnWDtznL2HIcSFB2sZFX6Za+lW1
YZ931txUNNLyxtJGUdy4wSIOgnohItNFcgdV/DWquvABeCb3lprA4iCeEpEM
ynFWlxiD69fYAMwbtanGMKW5YPMuSquz7ZE8eGLayWfZ6UqUUHsIy0pKW84v
97FtHlmN3RmW6QnvnfTeMZzmkOuw4mPg+YlwTlcJHuDU1AniTsyzLmwlc/Rw
0NEpSwqvNE2DJZCyefpzqdFRUAWDxCWWi4ei0c2WjPkOQ3y+HjSXpXV/PBl4
wN2henf8IqaUeKoCKo1m21z/qTahdIZQiotxFQI0VRv52DQ9T+e4Go0AxfYF
xWme/S1xia1RCox8whgUw4saZJRiXL80Yml0l54VWKoJR8gWaKaSlo64+VsX
ZJjDCCeq2me7aHUkCm/6AgFuUK1vJdmeMjhnC7jR+rHtYhjk0ZRcjbTZy3OT
uztivfAMQ5ekoCAPF+mq6YhRjL/DTO5Xjo0e0Xvuyj3MMIMrx/NWzCITKItn
G+7aLAcE/c2/1/ebUjU8QWPqEplELivG7QjvvO/kQaQvnhi8lKSP6/gyMuUc
XROwUnAU5BqxLCIZLQDroYMq6qIVmpEAZIGN7/Hr1s+XFQ9FfrQgQ5tRSwZ2
rH4LtzecU7SHiZQ2TtGNVFAa2/OGXcwl5nI7+pRrwXJgNe2T6bmJQFCnTtuW
s2lo006vcUcHTxTeUkwdxI4rIFwWlGFtZuAK31RbhO3s7V7AVKe0qiMQ7gFq
INplkeXsZ5D6GO4zXyrYd+CV3OeIE6uAzcBLXYBiEbC4WiaT1HeK68e+9WDE
PW9oAahTXQ7VHcyNWpPpOWw1nrvEuSRMnWUQrqLGuuszLgQhdDnUXthV6kvc
Mf7W4RwHNm0KabvZG+3IhbJP9XlfLXlRnIs/pExn2Ue+wrA/ISgyETWlJ0eF
bioDPSFylF697JUla3smDfAqxD3TLteoIZcEnZE2yjnolbOBCj1cTN3Ahss0
4l6fxUxAlGNMJApA4g6/ZobI5V6wgyuVd5abHViBAV2ZnpPtNG+zAYUz1Wf5
NIU5Iw1otzCQawlgABBecKqaNhh3j5HcAo/gpR0h081JUUqnXO2GNlfamX4L
WMR8L9oC6kNr0uS93TvijDrK3GvAypgSiOMGxN7dVhdRTR0VHaUWs+ZZtNTU
t5iqGFVRA1VeZu0b19YK1Rm8hTDZUbrFaCyCo0w6cOJnmrYplHIGEBNnyXym
t63fBkRWIpuwhrbkgstJBEUMYXMHIts3qGsauuyiSHl7Tpk0M6laFLkCZBVx
HhNGIAcJzxCWQ89Zroctn1F1QV9OWytpNyMZ9Fj5u4e0jqi1uqK0UAdqheZ3
K3/I8qjBH9aIRWVRVQPtXQPXmbaGNX7kKDp0hZeC5jDUKQP0Q7Ib0kDtHrMZ
AyPdmZ/ay8yrgMskKxnXMrD6b6QnFtp3oo2nm1zTXmGBpYcW8Xjj1eYwqNgt
XiU9uy4mhNLzz4qLPCiXjV146QTbgknoqxdnuSb/0KDcEBrGMP10xZMUT8vk
QryQXT93B4PB3Zv+hZfbq4MvP8fb8efB4Mnnh4/430fy96OR/LsTf/61M9/w
8xn+/6P87v693Wu3f+8LsOSSvpFGZCrBymh7JP/uyL+78u+9vxOWPv/U/fOZ
jYCf9uM7WFWHDgzwJ97fZA7S2OPeJM2pGEGd1fP0cU/jfcyxfIlu0d5VFB1p
eR4aCB2lpGEoJsRjX2EML3EsQAAmmrqE0af6BfyysxmR0cIerfrMdUK2A8ZA
dnaYVw8fbXL9NHdQ9UlANWwI/Ld9btcNDrS88erR9iaLdyD9Ug8FVD5AECeX
U8MfPE0nmTBPumdNzrvPBrExKDJadSajGQ8xadE84JAd5lxSdir6asLCNxz5
aKalYAwoZD3jcj8VJhVKmTJO/AA2QXzGvxO5TPzxajYLKjBJ5RXZ/NG+zQOh
8AFCez8GTOF/Rn3aTPrvDoeisd5MoAtDFEAlcvM0rUmmaMLaSLWueBQ0Q1LJ
cAcrzEzrgslDYHe6gPXQ0X93+wh+ABfFa9wAWgcYOFh424bBTEGEURHGsKoI
VU04dT7ijVaDCNVuIXpQsqXAnnR4Cir1J7siWMsV3Bg4f/RJlvdo+2rtjSt+
N2+3FosEFbRspncSuVKNeBS0yEiUNMsJEJFXXdpqMxCyKQS70vxeBm+GG7nE
PpSmfJX/H66FJO9QPEkI8wUj1wJDKpaoSK5kVGFhcwymXXjB9SfRmoJeVGFu
gZuJDChsq17FG7yxTt80j1o5arOVMRW0rkk8uRhRo1G+wDWUz2rXOsN0QR+a
YGNfAFGjjrsStqYcvSoHyhe9xWBHEVWy+XyF7VJZZEW5M52cURMYqjBCvYBK
CT/V9aIyp+3u1bSEaskc41VPz9oDyc4VVI2yjYgqCOtlUrbI9ZqAOcRSHUvr
KluhVulKrV58BF0lDCtPS2h15A+zLgyBQvs3wI5Fzc5svZdGqnml9SvaMGh9
Ydb+hDlxRw+0LK5SMQSovkCN/oJxENnMjlxtewciaFV1Nm+B5I6bMcbpNvHJ
B27QtWKmk2B1tBnoLwaWj68ZGnAv+oYmdbFg3ReQdzCnFkIoH6su3OxDKPvU
QF2ULSgBt07JonKUs10KrSBelJH1u6Ax+z7Xf3X13k0V0UuymKP7yV0hLtNU
+ZuMhIf9Ww676wCe4/hgPlLixOTWRCiaiOp0sSzKpMywuZAA5DpnKnfwg3iU
6s5Ga1h6A/k2NN90QlZVMGIcXQSkZVrbDLus3q2M746jZw6SOUSOpW14H5zf
Nblgl7garl3LMsIm6oMJNQDGyPoExCy6UhzvFoZpMdJVJCFqFknoe5MUls05
x4qUEmGSmWo7ZtyI6n3YQH4Tfo/Pal8BkcvaJwfoOzIGGYNr35WoCkoFIXOU
qFovZnFaCrrl5OYzA4l/N0OUZ7NLfxQuzP0YIfToQlbuLFZEZ9HEP7Suo5iA
20gSUyeRbpnOM0kofstDJuspg6puVFKYil3e2ldBJ43CbI4O7iWDoB8R8MTi
2IbNrChmJEDUWDFkkdV+66W6WskFqdEigaYQ7xwkp52YBiJ7uFuit8DAJHip
7q8AJGHVuZNU0kWw8HiDjyMFo/N5EscE17urNuMp3Qh0Wn1he7XJWYuP2uH5
z7VWnHdeTnoundldK4OKKp7YWs+VlauS9hti4SXPQMSVydB7G2PwcyUFy5pS
ELD5RokUGjxqD66PSWPdxvitmwBpPxI+GAgIoYXHF8k1lWBmelAi7gvHYTSZ
EJ1O556S7nHKa/qumzb+h2rT+rFNzzPzlL/bwwlZdvETouSXTXmS9lrkeOG1
Ea5oGH2/qnVZjamm2VS2Zg1ysFyGr24s2O9hRFNPhoANY0dUW/ph3kn5bZWt
rBZidFLC6SkzNPoSvVGJFooS98lNZOdOxdjLYSxaj1Z8V+iPK/BYuurZFLSB
dN4mbgYNJGDidxS31KTY25ya1xgrD6oKWldo8Ir9Z+jVlq+o2Y7ebmSFYO8h
nSEJJqGv2SOFMTASucG7gatZIPOX9vUFl6Q7qLhZV43qknenU5mmKo3qRn6N
8f/gV2fZ6Zl+J56vJHbxuARz5GEmPBLC0Fhtx8P6NqvaNbFvLjmi11O6LHg4
mFdfJm0wo2rBaOYpJiv2lLJnkTYQeB3taGd/vBlFDHQgueLcSl/Fvygr45FP
Ligdk6Sg64clFHAYBfkeLNVRcVZygDisGQcj90BAW0CkmJdrvSiz0yyXp+UA
cVFDtYjPE+Tj3u50IF6AsFWDPyNyvhYuapPdCRivJKchair4Fd7qDYNG2/Kt
yHXK7doTQYGIlDnG7V0J4D9Rc6FPd1p9E+CIsDPG9QNk0gcMuaJHVZpWGnSF
iF+6bng+hYqp7tLr8UYWdFcoZ5dkYrKTXFwXTdfo9CAlStBrTJlCdC3PKEpk
sSjylt4fqJVF6ShQOm1Kz1sTOYDlzjOOZcIzHWnv2zg+QZ3ERf4pIAStVLmm
In4cl3UQBsVwyFpFqAr6bLBgHYCuDctJqZDUXzHLGLtksw1HIODLlxroKd1e
A3zDkQN1ctgFrEZ0Vet31vtMGXiOkhP4JdDUeRkbpbco1Mjvk2h2FBXFPXaX
l8OutGyO1KRSaDQMr8BZAPB9pm0cgcPbOyL//OIYG9c3RhFXQLD2vu82yx5E
0wvFh40JdCTk+EHa3U0snEGUY55yim+zs4rbuMPOsBkfhtp9cES+Ift3Hum9
bly0LMO5rOa+6XLqN63wipxEpTL9JeNsntVkKsJg05RxBdIp8KwFxkX58NbL
4do43tcqI1C9Iyx3dGTLxmqY1/dpRTIvqXMJFlItKNwvXZLHuuvq2CA8Uqvl
7O5osx91BK+Zul98tVUKRWfMDRxW0a30OayQr27GC5Rf8gGF/sJXqHI4/w03
Dcrufog3PsRPohGqMSe4D24gASDxlhhKUWzcCL7JcIR3jg1OBh5J+gqLxaxd
VS7f01Ssp1CljtXN02Qq8h16RhAbl/nkrCxyyd9EUiAyMJFOAXO+aDAuNIjO
M1DyKH42n15k01qApxBUjRXzRgMrJHTEG0qEJAkNpIrC2cf6264KmEcnlxJH
ZiwWO9uF1yIT42wjPbRwf6A8he9w3DW9+cuK2oKKjuHqnTtKI8MJjSEGUU9G
sq94rJWNmhxgXyea3lZywWqQO93LUmnURBsr/ynyJgeEYXbXY4cD2byGPTEb
qEtjmZyAQyvDnCRIMrK3HnWGY8+WllRckRuy4BBB3AEriapCOINhXSBR2s1S
IY2GcHKSJBZ09VjWZfZdyenOITiaOLaGCG9tIGpmeTi128mUYl7Jcqs5mJ7x
d7B+x6pEFtnMaWDnmnzZCBbf0DKQo71GY2CXiY+WiQgOdF1Mijn5iy499rmy
3EfgC+LkCQJ89VL2jRkRBE4Ir9PTGwAajpogRXDXzwMYvvUX/6TN7lnnzc6T
yaXjJtgBMpzmXmvlFETZmkti7uxZkLSGeEM/NKG9VO1UO60mzuzFBTzl8021
r0iIu0Um/8aRr0ldJ5MPQL7lDMT4SIIgmR4swlooazp4UAYZVJI+gkHSk5WU
ljXLKrPqQ6VRtxmJCunUBUqjLLEfH6Y5cOFBMRucyBIPCMYKzfsyl+kzykkI
mtQzmScUxNoxCq8UpmpEDweVblQwaFiUSMOMtFtnTh0g4BI67+59ittZOD0K
/VIyt0u7sFO1jdwsFmH8I106DW4tzW549WwbpZKYuHwXkC5cjQwl0p0iIiNr
goFUw9jWMV4CA80aHXQ0MDoEjEOANVYs6oJOBTVXPpo7pRrggo4dDrp+1J4O
m7/gp1w+A0Fidu/a83KNWM4+7GGHD2zwQSqQTt9z/WEy9InUCXvP8qD2hHcK
qOMtrTRdhCiYBGc2HaOsmLXTjTKnl7l2RZr/omG3FUjQFFXPWv+cZGXuusPh
hwjA0RvUqEWi6MfoIx0QmjHDJ2IH2AKpl4UeI9DQ9XCOnvm5xypyw0Jbv0Tu
Y9EaHK9F9SHlG84ri6pF0tHkfrT0yb5Is/FrvEgLlrVgrUcYUMiytLAzFsJZ
umYTOLof0UroZLWmpKUVzauos+ZXny0URIbkXysEBjUWmUNL8pA96I0zLUF2
LNUZsXKSLBOzzWSkF8u9hKm36o2jvWBGCXoF5sfN40WKBpqsWnhvr60STvKK
kd9KthH5TpSS0/Iux5SVwuM5qKGFZm4fuCnFrfF7I9Z6fzevF010wazkNK2K
PpWBKuN1c3FBFjW0ouhKHbmwsBZmbkVqdra5AxjVyDcdkh2SCMrR4igFWpkH
olNkfK1BCAamMMBhhOsS7ySMXcpqXxo/qGpeRMx0HSHipOp0ompX1Uovm5Nl
Ucxg598dH1FTjALESQzeQooRu2RQWVya3kunBdpUeaQY04ZF8oRwYP7G+eK8
nowtLOjSdtW5OMo3mpXJCnNXYOk9rovWc8MhYlZ0rQLifecVvtmUxNjTa2ic
yDdzEiIhhwUCQEd5uXT2DZ0m4vuEF3mtDEeC4dHBq4OWUEgfZk4t1zBxLm1P
s3mZwRe9rmw9dnwWixQ7LR6w9OkTDjygPgHUu+fqCpSm/7iuwOw+WgcCiSbo
Z/Ht+tdNZa5rBvmFxngilYxYfgcMxc9A3inK/fjNnJQ2DWjCrRgcqkXaxQDg
G3J/cn0gkGCAy2hVHmPFFuvD+gWbLgrAgjEIGzuSY8lA804UnazGdfBlWDY2
OtYcT0JDih0J8LFXWwdR5HSwju+eSQO4hsCM36/5ikMjyJeMtm5aMPIz35vS
m8qCeopcP9F0C5SGh4DMhzt7j6h880m3ZoLgnKTMKddoNnGl9RBn4a5RwCas
mfykwmLao78NXA+6lkoz4fgqxD/4CEiQjIpcVNFwiW582q2YLczFDOZ+s4LD
TwWbXMkpqkcFc4adWjrgPvDYk+ufGVBmu7XgSEbvZqCC9AuJi8TcgSlFqxMv
xG1MgYSpXwNSdiZBbVFArpQZBDo+4UVCCDIuKdVAIdHTgVccDJunCpjfjcsn
ZIY8TFF6I+cJcD/MTaEqA0w2GGhBq4qxNAyNGWNvCpS5+MhtVJuNb5+jsuxU
Jf99uKnu/jFl+4nNzfgYO622sb0rrSBiYkjEEBLPgpmHAusERTis2UhKPM6D
CRoNuN/AXomBLF0A00RVsqTWHhS6CsoHu9Nmq7J5TetxOABFuiirb+IDfjV1
p0CInnqRrbhx/X6MoayvXyGvwGxY0fqK3D/AO0iD3mqKp+zAFAkKxFV8iw5b
ntbAP06zPBUvbFJ9QOkbQ31wsXWxD6fr9HdZWs+GRXmKd9MbVH4rUTr5PqHV
/ieBVhAjvYnz/1puGhT8/dfkqf9mqrdjqr/8X8BTlaXelqP+m6H+m6EahjoY
DKhaBOoFB/EfUM98gd4+pKd5cUmbTOlC6LxPJ4NpupSqigBqkWP5q5XPYGUL
2WWFkXQSOCsevDJNRWGwKXrkwd44Hm3ym6BL5GzidP7XDbbebbGfeTM01+G7
O+Yz3ylFyye4aDUsMUXlNiRInygUA+qwRZmWHYliF/TqkxA5ARWn2t0k2ykQ
ESy5+8m+dtKOpb0kZXgS29BgYe++DjIGOLrGxBBsxt2598Nb5QdietkX/azL
Rfu8LkVt3c/nSCe/G35+PNqPn8sOb73Gpp/x8c5+fKh7tvUS9gg+293npm4w
0GeFoZedpnWPXA/y4d3WFM1P3N92ILdbI12a/W/c+Yn72wwU4I7+evJ1AwVb
fANEOt+TzoFqbYIX/7qleRz9yoG+a+Fo0B7o2l1j02VIgusgWvtzPR195UAO
RzvrIboNQf5T6Oj6gb6Ejq4lyH8oHV03UDc/ov9+GRvp/PkaDtn58xU8O8gG
FsMi3883ZAWfcKolt9BsXPWYGXzINvM3GIy3TyXGQb6FB1yW/4tCNalBLA+P
4o0T8kRv7sfsz0jl5vdtd0kEMJWg+mENtXgDS2pSZa3zLKG7UkrquAt708y4
E288xxCfsZmzYz41pNbivywu8nXzJWOqYrZmvt14A66r+C5dUDDjMbVOhCtL
m0AvyHBcnJJZHWUiSno4HkmwKwq6VEFMQxJ9LSx0vnSrSg67WS7ZA2h6pk4p
M2yqxlE2vly2ThsJmjHFhYzfM3joY7ZYLRo16OIZ4ZBUOFUeG/UMryTzUhzE
pA/mzWFC3WUYP+cW5LokDvvwTmwfQ0C+LGop6zcWhB9F+hCbL1EtNBTWMQkC
+z1+j6nSOO0bGUZ8Jehd7MXfo8vyqTiA3pTofZ1QeiwKsePJcoB1YYHOGeuB
CglKA2qZlbj6YS7uhbmzvQd4SCqnPQBpjosyacRj0pFyak2vTLlTHYmc9G8h
/prkUtwBsCaArpK+LpSoC4qZw046lzhdV36HUm2w2gn7UKmxMIWHwevUvZcq
n3CfKe6F2GtU3Z+Q4oYN+FrTcChnIoX0BDHUSOcvKuL/9b1VZbEcJCqbqAS8
/0tWV/A1boKN1AQANj59Ur/ELoclOKRucnCoD8TMC1qb1ObXVn/ogpkoJ6rC
AXe6BnwlRcCA4k3yFLmf/aazZ4V2TVJqK4ZcmqbD92ame2tBl41nmmVfCavG
yZTcPYTTHgXXSpNPk8+mm+92gywfyUQikK3hQB1sjlNofTRTPzK2DiGve0u3
I9FKXCMymYXnR7aXjCkFkXu+YgwJa8m92yACkUDEhbuFKY3UxMGhdj1eO3eQ
1UKDTCkZKdhMvFcYeP8YFNzcY451I0lSkQJ2hmrlAhi73g8cQKHdOhx+3Xkg
AwKG8waV1kR3TGoTnYKRr3KjMlZNnKSrqimVYuBgaR75PMXSSqamVxwfFuRK
p+hgYOKrUivQIS78LNR1uRI+jo43kzIHb26EgZpJnpO1bTWvs6W7eikvnRGd
nkslTwqqpRKO6Ls/dbl2Fo8UwUDMe5VLQC6gaW6MlXhpcJKg4rTnsvFp+xqE
dSNpOR7HkSRU6rtqjrGenpifVNj4V1qwxz2TW71AbVxWSH2WPZelWtLBPPfX
z+KuACr6m1TVaqGB/K7OKYs38NlZttRQXq7aiUZlW6vS1pslCZ2uSx/y9y1M
6GllXKbJh0pyhTjKxAKgXDCpgpKujvvIrtOp4ogN+ApwsaB44Kxh9u27aMJ+
bD/WsrmOnJoMpLnNzEcl3t0jhhYkYc4OH5qN61t7rciIgqj26beFb3CrVChV
oZIwO8JJjMJJ+FBM+8Gd0JULjmzOEzj5mddT8pB81wEO7gUPUIiTP+JSwQGm
/mWV1WQcpTq052lSCzvnvPYg2AYJeH7pktlh/Dla+GKqoYrlmqslxyKyzCVo
T9gqyemCKsqlEgpHVWuTCQVGcxNibJBMYSJc7GZqQVCBGzOa6AhxNAUOooeY
Qm4pGuFggjXB5+n0lMWPT/tskk6nj3vUBgvVEQsg0bMVlcMO2JiM9SF+iRn3
rwpq0neWLLjD+RLleZArk4sPmUSEsoGQq0c6cDErEsP0sEVaUs7RLu9C6WX2
SGfvxwfTMoP1Pk9A2Jz34/8Ji/1hxekI/4VpU/FxUcW/z8pkXqsPJytNWFU0
S9Mp2mD5nWMMwPwBSyv3gf3nCSztWQIbCpTdx2XBW7BfxQJbC4CYW+ZJOQUY
inHSb66QBzwBkeM0/i+A8dRFTaqhlFmM2FP/f/oqy1NWSQEA

-->

</rfc>
