<?xml version='1.0' encoding='utf-8'?>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc2629 version 1.3.12 -->
<!DOCTYPE rfc SYSTEM "rfc2629-xhtml.ent">
<?rfc toc="yes"?>
<?rfc sortrefs="yes"?>
<?rfc symrefs="yes"?>
<?rfc docmapping="yes"?>
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-quic-recovery-32" category="std" obsoletes="" updates="" submissionType="IETF" xml:lang="en" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.2.1 -->
  <front>
    <title abbrev="QUIC Loss Detection">QUIC Loss Detection and Congestion Control</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-quic-recovery-32"/>
    <author initials="J." surname="Iyengar" fullname="Jana Iyengar" role="editor">
      <organization>Fastly</organization>
      <address>
        <email>jri.ietf@gmail.com</email>
      </address>
    </author>
    <author initials="I." surname="Swett" fullname="Ian Swett" role="editor">
      <organization>Google</organization>
      <address>
        <email>ianswett@google.com</email>
      </address>
    </author>
    <date year="2020" month="October" day="20"/>
    <area>Transport</area>
    <workgroup>QUIC</workgroup>
    <abstract>
      <t>This document describes loss detection and congestion control mechanisms for
QUIC.</t>
    </abstract>
    <note>
      <name>Note to Readers</name>
      <t>Discussion of this draft takes place on the QUIC working group mailing list
(<eref target="mailto:quic@ietf.org">quic@ietf.org</eref>), which is archived at
<eref target="https://mailarchive.ietf.org/arch/search/?email_list=quic"/>.</t>
      <t>Working Group information can be found at <eref target="https://github.com/quicwg"/>; source
code and issues list for this draft can be found at
<eref target="https://github.com/quicwg/base-drafts/labels/-recovery"/>.</t>
    </note>
  </front>
  <middle>
    <section anchor="introduction" numbered="true" toc="default">
      <name>Introduction</name>
      <t>QUIC is a new multiplexed and secure transport protocol atop UDP, specified in
<xref target="QUIC-TRANSPORT" format="default"/>. This document describes congestion control and loss
recovery for QUIC. Mechanisms described in this document follow the spirit
of existing TCP congestion control and loss recovery mechanisms, described in
RFCs, various Internet-drafts, or academic papers, and also those prevalent in
TCP implementations.</t>
    </section>
    <section anchor="conventions-and-definitions" numbered="true" toc="default">
      <name>Conventions and Definitions</name>
      <t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED",
"MAY", and "OPTIONAL" in this document are to be interpreted as
described in BCP&nbsp;14 <xref target="RFC2119" format="default"/> <xref target="RFC8174" format="default"/> when, and only when, they
appear in all capitals, as shown here.</t>
      <t>Definitions of terms that are used in this document:</t>
      <dl newline="false" spacing="normal">
        <dt>Ack-eliciting frames:</dt>
        <dd>
  All frames other than ACK, PADDING, and CONNECTION_CLOSE are considered
ack-eliciting.</dd>
        <dt>Ack-eliciting packets:</dt>
        <dd>
  Packets that contain ack-eliciting frames elicit an ACK from the receiver
within the maximum acknowledgement delay and are called ack-eliciting packets.</dd>
        <dt>In-flight:</dt>
        <dd>
  Packets are considered in-flight when they are ack-eliciting or contain a
PADDING frame, and they have been sent but are not acknowledged, declared
lost, or discarded along with old keys.</dd>
      </dl>
    </section>
    <section anchor="design-of-the-quic-transmission-machinery" numbered="true" toc="default">
      <name>Design of the QUIC Transmission Machinery</name>
      <t>All transmissions in QUIC are sent with a packet-level header, which indicates
the encryption level and includes a packet sequence number (referred to below as
a packet number).  The encryption level indicates the packet number space, as
described in <xref target="QUIC-TRANSPORT" format="default"/>.  Packet numbers never repeat within a packet
number space for the lifetime of a connection.  Packet numbers are sent in
monotonically increasing order within a space, preventing ambiguity.</t>
      <t>This design obviates the need for disambiguating between transmissions and
retransmissions; this eliminates significant complexity from QUIC's
interpretation of TCP loss detection mechanisms.</t>
      <t>QUIC packets can contain multiple frames of different types. The recovery
mechanisms ensure that data and frames that need reliable delivery are
acknowledged or declared lost and sent in new packets as necessary. The types
of frames contained in a packet affect recovery and congestion control logic:</t>
      <ul spacing="normal">
        <li>All packets are acknowledged, though packets that contain no
ack-eliciting frames are only acknowledged along with ack-eliciting
packets.</li>
        <li>Long header packets that contain CRYPTO frames are critical to the
performance of the QUIC handshake and use shorter timers for
acknowledgement.</li>
        <li>Packets containing frames besides ACK or CONNECTION_CLOSE frames count toward
congestion control limits and are considered in-flight.</li>
        <li>PADDING frames cause packets to contribute toward bytes in flight without
directly causing an acknowledgment to be sent.</li>
      </ul>
    </section>
    <section anchor="relevant-differences-between-quic-and-tcp" numbered="true" toc="default">
      <name>Relevant Differences Between QUIC and TCP</name>
      <t>Readers familiar with TCP's loss detection and congestion control will find
algorithms here that parallel well-known TCP ones. However, protocol differences
between QUIC and TCP contribute to algorithmic differences. These protocol
differences are briefly described below.</t>
      <section anchor="separate-packet-number-spaces" numbered="true" toc="default">
        <name>Separate Packet Number Spaces</name>
        <t>QUIC uses separate packet number spaces for each encryption level, except 0-RTT
and all generations of 1-RTT keys use the same packet number space.  Separate
packet number spaces ensures acknowledgement of packets sent with one level of
encryption will not cause spurious retransmission of packets sent with a
different encryption level.  Congestion control and round-trip time (RTT)
measurement are unified across packet number spaces.</t>
      </section>
      <section anchor="monotonically-increasing-packet-numbers" numbered="true" toc="default">
        <name>Monotonically Increasing Packet Numbers</name>
        <t>TCP conflates transmission order at the sender with delivery order at the
receiver, which results in retransmissions of the same data carrying the same
sequence number, and consequently leads to "retransmission ambiguity".  QUIC
separates the two. QUIC uses a packet number to indicate transmission order.
Application data is sent in one or more streams and delivery order is
determined by stream offsets encoded within STREAM frames.</t>
        <t>QUIC's packet number is strictly increasing within a packet number space,
and directly encodes transmission order.  A higher packet number signifies
that the packet was sent later, and a lower packet number signifies that
the packet was sent earlier.  When a packet containing ack-eliciting
frames is detected lost, QUIC includes necessary frames in a new packet
with a new packet number, removing ambiguity about which packet is
acknowledged when an ACK is received.  Consequently, more accurate RTT
measurements can be made, spurious retransmissions are trivially detected, and
mechanisms such as Fast Retransmit can be applied universally, based only on
packet number.</t>
        <t>This design point significantly simplifies loss detection mechanisms for QUIC.
Most TCP mechanisms implicitly attempt to infer transmission ordering based on
TCP sequence numbers - a non-trivial task, especially when TCP timestamps are
not available.</t>
      </section>
      <section anchor="clearer-loss-epoch" numbered="true" toc="default">
        <name>Clearer Loss Epoch</name>
        <t>QUIC starts a loss epoch when a packet is lost and ends one when any packet
sent after the epoch starts is acknowledged.  TCP waits for the gap in the
sequence number space to be filled, and so if a segment is lost multiple times
in a row, the loss epoch may not end for several round trips. Because both
should reduce their congestion windows only once per epoch, QUIC will do it
once for every round trip that experiences loss, while TCP may only do it
once across multiple round trips.</t>
      </section>
      <section anchor="no-reneging" numbered="true" toc="default">
        <name>No Reneging</name>
        <t>QUIC ACKs contain information that is similar to TCP SACK, but QUIC does not
allow any acknowledged packet to be reneged, greatly simplifying implementations
on both sides and reducing memory pressure on the sender.</t>
      </section>
      <section anchor="more-ack-ranges" numbered="true" toc="default">
        <name>More ACK Ranges</name>
        <t>QUIC supports many ACK ranges, opposed to TCP's 3 SACK ranges.  In high loss
environments, this speeds recovery, reduces spurious retransmits, and ensures
forward progress without relying on timeouts.</t>
      </section>
      <section anchor="explicit-correction-for-delayed-acknowledgements" numbered="true" toc="default">
        <name>Explicit Correction For Delayed Acknowledgements</name>
        <t>QUIC endpoints measure the delay incurred between when a packet is received and
when the corresponding acknowledgment is sent, allowing a peer to maintain a
more accurate round-trip time estimate; see Section 13.2 of <xref target="QUIC-TRANSPORT" format="default"/>.</t>
      </section>
      <section anchor="probe-timeout-replaces-rto-and-tlp" numbered="true" toc="default">
        <name>Probe Timeout Replaces RTO and TLP</name>
        <t>QUIC uses a probe timeout (PTO; see <xref target="pto" format="default"/>), with a timer based on TCP's RTO
computation.  QUIC's PTO includes the peer's maximum expected acknowledgement
delay instead of using a fixed minimum timeout. QUIC does not collapse the
congestion window until persistent congestion (<xref target="persistent-congestion" format="default"/>) is
declared, unlike TCP, which collapses the congestion window upon expiry of an
RTO.  Instead of collapsing the congestion window and declaring everything
in-flight lost, QUIC allows probe packets to temporarily exceed the congestion
window whenever the timer expires.</t>
        <t>In doing this, QUIC avoids unnecessary congestion window reductions, obviating
the need for correcting mechanisms such as F-RTO (<xref target="RFC5682" format="default"/>). Since QUIC does
not collapse the congestion window on a PTO expiration, a QUIC sender is not
limited from sending more in-flight packets after a PTO expiration if it still
has available congestion window. This occurs when a sender is
application-limited and the PTO timer expires. This is more aggressive than
TCP's RTO mechanism when application-limited, but identical when not
application-limited.</t>
        <t>A single packet loss at the tail does not indicate persistent congestion, so
QUIC specifies a time-based definition to ensure one or more packets are sent
prior to a dramatic decrease in congestion window; see
<xref target="persistent-congestion" format="default"/>.</t>
      </section>
      <section anchor="the-minimum-congestion-window-is-two-packets" numbered="true" toc="default">
        <name>The Minimum Congestion Window is Two Packets</name>
        <t>TCP uses a minimum congestion window of one packet. However, loss of
that single packet means that the sender needs to waiting for a PTO
(<xref target="pto" format="default"/>) to recover, which can be much longer than a round-trip time.
Sending a single ack-eliciting packet also increases the chances of incurring
additional latency when a receiver delays its acknowledgement.</t>
        <t>QUIC therefore recommends that the minimum congestion window be two
packets. While this increases network load, it is considered safe, since the
sender will still reduce its sending rate exponentially under persistent
congestion (<xref target="pto" format="default"/>).</t>
      </section>
    </section>
    <section anchor="compute-rtt" numbered="true" toc="default">
      <name>Estimating the Round-Trip Time</name>
      <t>At a high level, an endpoint measures the time from when a packet was sent to
when it is acknowledged as a round-trip time (RTT) sample.  The endpoint uses
RTT samples and peer-reported host delays (see Section 13.2 of
<xref target="QUIC-TRANSPORT" format="default"/>) to generate a statistical description of the network
path's RTT. An endpoint computes the following three values for each path:
the minimum value observed over the lifetime of the path (min_rtt), an
exponentially-weighted moving average (smoothed_rtt), and the mean deviation
(referred to as "variation" in the rest of this document) in the observed RTT
samples (rttvar).</t>
      <section anchor="latest-rtt" numbered="true" toc="default">
        <name>Generating RTT samples</name>
        <t>An endpoint generates an RTT sample on receiving an ACK frame that meets the
following two conditions:</t>
        <ul spacing="normal">
          <li>the largest acknowledged packet number is newly acknowledged, and</li>
          <li>at least one of the newly acknowledged packets was ack-eliciting.</li>
        </ul>
        <t>The RTT sample, latest_rtt, is generated as the time elapsed since the largest
acknowledged packet was sent:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
latest_rtt = ack_time - send_time_of_largest_acked
]]></artwork>
        <t>An RTT sample is generated using only the largest acknowledged packet in the
received ACK frame.  This is because a peer reports acknowledgment delays for
only the largest acknowledged packet in an ACK frame.  While the reported
acknowledgment delay is not used by the RTT sample measurement, it is used to
adjust the RTT sample in subsequent computations of smoothed_rtt and rttvar
(<xref target="smoothed-rtt" format="default"/>).</t>
        <t>To avoid generating multiple RTT samples for a single packet, an ACK frame
SHOULD NOT be used to update RTT estimates if it does not newly acknowledge the
largest acknowledged packet.</t>
        <t>An RTT sample MUST NOT be generated on receiving an ACK frame that does not
newly acknowledge at least one ack-eliciting packet. A peer usually does not
send an ACK frame when only non-ack-eliciting packets are received. Therefore
an ACK frame that contains acknowledgements for only non-ack-eliciting packets
could include an arbitrarily large ACK Delay value.  Ignoring
such ACK frames avoids complications in subsequent smoothed_rtt and rttvar
computations.</t>
        <t>A sender might generate multiple RTT samples per RTT when multiple ACK frames
are received within an RTT.  As suggested in <xref target="RFC6298" format="default"/>, doing so might result
in inadequate history in smoothed_rtt and rttvar.  Ensuring that RTT estimates
retain sufficient history is an open research question.</t>
      </section>
      <section anchor="min-rtt" numbered="true" toc="default">
        <name>Estimating min_rtt</name>
        <t>min_rtt is the sender's estimate of the minimum RTT observed for a given network
path. In this document, min_rtt is used by loss detection to reject implausibly
small rtt samples.</t>
        <t>min_rtt MUST be set to the latest_rtt on the first RTT sample. min_rtt MUST be
set to the lesser of min_rtt and latest_rtt (<xref target="latest-rtt" format="default"/>) on all other
samples.</t>
        <t>An endpoint uses only locally observed times in computing the min_rtt and does
not adjust for acknowledgment delays reported by the peer. Doing so allows the
endpoint to set a lower bound for the smoothed_rtt based entirely on what it
observes (see <xref target="smoothed-rtt" format="default"/>), and limits potential underestimation due to
erroneously-reported delays by the peer.</t>
        <t>The RTT for a network path may change over time. If a path's actual RTT
decreases, the min_rtt will adapt immediately on the first low sample.  If the
path's actual RTT increases however, the min_rtt will not adapt to it, allowing
future RTT samples that are smaller than the new RTT to be included in
smoothed_rtt.</t>
        <t>Endpoints SHOULD set the min_rtt to the newest RTT sample after persistent
congestion is established. This is to allow a connection to reset its estimate
of min_rtt and smoothed_rtt (<xref target="smoothed-rtt" format="default"/>) after a disruptive network event,
and because it is possible that an increase in path delay resulted in persistent
congestion being incorrectly declared.</t>
        <t>Endpoints MAY re-establish the min_rtt at other times in the connection, such as
when traffic volume is low and an acknowledgement is received with a low
acknowledgement delay. Implementations SHOULD NOT refresh the min_rtt
value too often, since the actual minimum RTT of the path is not
frequently observable.</t>
      </section>
      <section anchor="smoothed-rtt" numbered="true" toc="default">
        <name>Estimating smoothed_rtt and rttvar</name>
        <t>smoothed_rtt is an exponentially-weighted moving average of an endpoint's RTT
samples, and rttvar is the variation in the RTT samples, estimated using a
mean variation.</t>
        <t>The calculation of smoothed_rtt uses RTT samples after adjusting them for
acknowledgement delays. These delays are decoded from the ACK Delay field of
ACK frames as described in Section 19.3 of <xref target="QUIC-TRANSPORT" format="default"/>.</t>
        <t>The peer might report acknowledgement delays that are larger than the peer's
max_ack_delay during the handshake (Section 13.2.1 of <xref target="QUIC-TRANSPORT" format="default"/>). To
account for this, the endpoint SHOULD ignore max_ack_delay until the handshake
is confirmed (Section 4.1.2 of <xref target="QUIC-TLS" format="default"/>). When they occur, these large
acknowledgement delays are likely to be non-repeating and limited to the
handshake. The endpoint can therefore use them without limiting them to the
max_ack_delay, avoiding unnecessary inflation of the RTT estimate.</t>
        <t>Note however that a large acknowledgement delay can result in a substantially
inflated smoothed_rtt, if there is either an error in the peer's reporting of
the acknowledgement delay or in the endpoint's min_rtt estimate.  Therefore,
prior to handshake confirmation, an endpoint MAY ignore RTT samples if adjusting
the RTT sample for acknowledgement delay causes the sample to be less than the
min_rtt.</t>
        <t>After the handshake is confirmed, any acknowledgement delays reported by the
peer that are greater than the peer's max_ack_delay are attributed to
unintentional but potentially repeating delays, such as scheduler latency at the
peer or loss of previous acknowledgements.  Excess delays could also be due to
a non-compliant receiver.  Therefore, these extra delays are considered
effectively part of path delay and incorporated into the RTT estimate.</t>
        <t>Therefore, when adjusting an RTT sample using peer-reported acknowledgement
delays, an endpoint:</t>
        <ul spacing="normal">
          <li>MAY ignore the acknowledgement delay for Initial packets, since these
acknowledgements are not delayed by the peer (Section 13.2.1 of
<xref target="QUIC-TRANSPORT" format="default"/>);</li>
          <li>SHOULD ignore the peer's max_ack_delay until the handshake is confirmed;</li>
          <li>MUST use the lesser of the acknowledgement delay and the peer's max_ack_delay
after the handshake is confirmed; and</li>
          <li>MUST NOT subtract the acknowledgement delay from the RTT sample if the
resulting value is smaller than the min_rtt.  This limits the underestimation
of the smoothed_rtt due to a misreporting peer.</li>
        </ul>
        <t>Additionally, an endpoint might postpone the processing of acknowledgements when
the corresponding decryption keys are not immediately available. For example, a
client might receive an acknowledgement for a 0-RTT packet that it cannot
decrypt because 1-RTT packet protection keys are not yet available to it. In
such cases, an endpoint SHOULD subtract such local delays from its RTT sample
until the handshake is confirmed.</t>
        <t>Similar to <xref target="RFC6298" format="default"/>, smoothed_rtt and rttvar are computed as follows.</t>
        <t>An endpoint initializes the RTT estimator during connection establishment and
when the estimator is reset during connection migration; see Section 9.4 of
<xref target="QUIC-TRANSPORT" format="default"/>. Before any RTT samples are available for a new path or when
the estimator is reset, the estimator is initialized using the initial RTT; see
<xref target="pto-handshake" format="default"/>.</t>
        <t>smoothed_rtt and rttvar are initialized as follows, where kInitialRtt contains
the initial RTT value:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
smoothed_rtt = kInitialRtt
rttvar = kInitialRtt / 2
]]></artwork>
        <t>RTT samples for the network path are recorded in latest_rtt; see
<xref target="latest-rtt" format="default"/>. On the first RTT sample after initialization, the estimator is
reset using that sample. This ensures that the estimator retains no history of
past samples.</t>
        <t>On the first RTT sample after initialization, smoothed_rtt and rttvar are set as
follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
smoothed_rtt = latest_rtt
rttvar = latest_rtt / 2
]]></artwork>
        <t>On subsequent RTT samples, smoothed_rtt and rttvar evolve as follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
ack_delay = decoded acknowledgement delay from ACK frame
if (handshake confirmed):
  ack_delay = min(ack_delay, max_ack_delay)
adjusted_rtt = latest_rtt
if (min_rtt + ack_delay < latest_rtt):
  adjusted_rtt = latest_rtt - ack_delay
smoothed_rtt = 7/8 * smoothed_rtt + 1/8 * adjusted_rtt
rttvar_sample = abs(smoothed_rtt - adjusted_rtt)
rttvar = 3/4 * rttvar + 1/4 * rttvar_sample
]]></artwork>
      </section>
    </section>
    <section anchor="loss-detection" numbered="true" toc="default">
      <name>Loss Detection</name>
      <t>QUIC senders use acknowledgements to detect lost packets, and a probe
time out (see <xref target="pto" format="default"/>) to ensure acknowledgements are received. This section
provides a description of these algorithms.</t>
      <t>If a packet is lost, the QUIC transport needs to recover from that loss, such
as by retransmitting the data, sending an updated frame, or discarding the
frame.  For more information, see Section 13.3 of <xref target="QUIC-TRANSPORT" format="default"/>.</t>
      <t>Loss detection is separate per packet number space, unlike RTT measurement and
congestion control, because RTT and congestion control are properties of the
path, whereas loss detection also relies upon key availability.</t>
      <section anchor="ack-loss-detection" numbered="true" toc="default">
        <name>Acknowledgement-Based Detection</name>
        <t>Acknowledgement-based loss detection implements the spirit of TCP's Fast
Retransmit (<xref target="RFC5681" format="default"/>), Early Retransmit (<xref target="RFC5827" format="default"/>), FACK (<xref target="FACK" format="default"/>),
SACK loss recovery (<xref target="RFC6675" format="default"/>), and RACK (<xref target="RACK" format="default"/>). This
section provides an overview of how these algorithms are implemented in QUIC.</t>
        <t>A packet is declared lost if it meets all the following conditions:</t>
        <ul spacing="normal">
          <li>The packet is unacknowledged, in-flight, and was sent prior to an
acknowledged packet.</li>
          <li>The packet was sent kPacketThreshold packets before an acknowledged packet
(<xref target="packet-threshold" format="default"/>), or it was sent long enough in the past
(<xref target="time-threshold" format="default"/>).</li>
        </ul>
        <t>The acknowledgement indicates that a packet sent later was delivered, and the
packet and time thresholds provide some tolerance for packet reordering.</t>
        <t>Spuriously declaring packets as lost leads to unnecessary retransmissions and
may result in degraded performance due to the actions of the congestion
controller upon detecting loss.  Implementations can detect spurious
retransmissions and increase the reordering threshold in packets or time to
reduce future spurious retransmissions and loss events. Implementations with
adaptive time thresholds MAY choose to start with smaller initial reordering
thresholds to minimize recovery latency.</t>
        <section anchor="packet-threshold" numbered="true" toc="default">
          <name>Packet Threshold</name>
          <t>The RECOMMENDED initial value for the packet reordering threshold
(kPacketThreshold) is 3, based on best practices for TCP loss detection
(<xref target="RFC5681" format="default"/>, <xref target="RFC6675" format="default"/>).  In order to remain similar to TCP,
implementations SHOULD NOT use a packet threshold less than 3; see <xref target="RFC5681" format="default"/>.</t>
          <t>Some networks may exhibit higher degrees of packet reordering, causing a sender
to detect spurious losses. Additionally, packet reordering could be more common
with QUIC than TCP, because network elements that could observe and reorder
TCP packets cannot do that for QUIC, because QUIC packet numbers are encrypted.
Algorithms that increase the reordering threshold after spuriously detecting
losses, such as RACK <xref target="RACK" format="default"/>, have proven to be useful in TCP and are
expected to be at least as useful in QUIC.</t>
        </section>
        <section anchor="time-threshold" numbered="true" toc="default">
          <name>Time Threshold</name>
          <t>Once a later packet within the same packet number space has been acknowledged,
an endpoint SHOULD declare an earlier packet lost if it was sent a threshold
amount of time in the past. To avoid declaring packets as lost too early, this
time threshold MUST be set to at least the local timer granularity, as
indicated by the kGranularity constant.  The time threshold is:</t>
          <artwork name="" type="" align="left" alt=""><![CDATA[
max(kTimeThreshold * max(smoothed_rtt, latest_rtt), kGranularity)
]]></artwork>
          <t>If packets sent prior to the largest acknowledged packet cannot yet be declared
lost, then a timer SHOULD be set for the remaining time.</t>
          <t>Using max(smoothed_rtt, latest_rtt) protects from the two following cases:</t>
          <ul spacing="normal">
            <li>the latest RTT sample is lower than the smoothed RTT, perhaps due to
reordering where the acknowledgement encountered a shorter path;</li>
            <li>the latest RTT sample is higher than the smoothed RTT, perhaps due to a
sustained increase in the actual RTT, but the smoothed RTT has not yet caught
up.</li>
          </ul>
          <t>The RECOMMENDED time threshold (kTimeThreshold), expressed as a round-trip time
multiplier, is 9/8. The RECOMMENDED value of the timer granularity
(kGranularity) is 1ms.</t>
          <dl newline="false" spacing="normal">
            <dt>Note:</dt>
            <dd>
  TCP's RACK (<xref target="RACK" format="default"/>) specifies a slightly larger
threshold, equivalent to 5/4, for a similar purpose. Experience with QUIC shows
that 9/8 works well.</dd>
          </dl>
          <t>Implementations MAY experiment with absolute thresholds, thresholds from
previous connections, adaptive thresholds, or including RTT variation.  Smaller
thresholds reduce reordering resilience and increase spurious retransmissions,
and larger thresholds increase loss detection delay.</t>
        </section>
      </section>
      <section anchor="pto" numbered="true" toc="default">
        <name>Probe Timeout</name>
        <t>A Probe Timeout (PTO) triggers sending one or two probe datagrams when
ack-eliciting packets are not acknowledged within the expected period of
time or the server may not have validated the client's address.  A PTO enables
a connection to recover from loss of tail packets or acknowledgements.</t>
        <t>As with loss detection, the probe timeout is per packet number space. That is, a
PTO value is computed per packet number space.</t>
        <t>A PTO timer expiration event does not indicate packet loss and MUST NOT cause
prior unacknowledged packets to be marked as lost. When an acknowledgement
is received that newly acknowledges packets, loss detection proceeds as
dictated by packet and time threshold mechanisms; see <xref target="ack-loss-detection" format="default"/>.</t>
        <t>The PTO algorithm used in QUIC implements the reliability functions of
Tail Loss Probe <xref target="RACK" format="default"/>, RTO <xref target="RFC5681" format="default"/>, and F-RTO algorithms for
TCP <xref target="RFC5682" format="default"/>. The timeout computation is based on TCP's retransmission
timeout period <xref target="RFC6298" format="default"/>.</t>
        <section anchor="computing-pto" numbered="true" toc="default">
          <name>Computing PTO</name>
          <t>When an ack-eliciting packet is transmitted, the sender schedules a timer for
the PTO period as follows:</t>
          <artwork name="" type="" align="left" alt=""><![CDATA[
PTO = smoothed_rtt + max(4*rttvar, kGranularity) + max_ack_delay
]]></artwork>
          <t>The PTO period is the amount of time that a sender ought to wait for an
acknowledgement of a sent packet.  This time period includes the estimated
network roundtrip-time (smoothed_rtt), the variation in the estimate (4*rttvar),
and max_ack_delay, to account for the maximum time by which a receiver might
delay sending an acknowledgement.</t>
          <t>When the PTO is armed for Initial or Handshake packet number spaces, the
max_ack_delay in the PTO period computation is set to 0, since the peer is
expected to not delay these packets intentionally; see 13.2.1 of
<xref target="QUIC-TRANSPORT" format="default"/>.</t>
          <t>The PTO period MUST be at least kGranularity, to avoid the timer expiring
immediately.</t>
          <t>When ack-eliciting packets in multiple packet number spaces are in flight, the
timer MUST be set to the earlier value of the Initial and Handshake packet
number spaces.</t>
          <t>An endpoint MUST NOT set its PTO timer for the application data packet number
space until the handshake is confirmed. Doing so prevents the endpoint from
retransmitting information in packets when either the peer does not yet have the
keys to process them or the endpoint does not yet have the keys to process their
acknowledgements. For example, this can happen when a client sends 0-RTT packets
to the server; it does so without knowing whether the server will be able to
decrypt them. Similarly, this can happen when a server sends 1-RTT packets
before confirming that the client has verified the server's certificate and can
therefore read these 1-RTT packets.</t>
          <t>A sender SHOULD restart its PTO timer every time an ack-eliciting packet is sent
or acknowledged, when the handshake is confirmed (Section 4.1.2 of
<xref target="QUIC-TLS" format="default"/>), or when Initial or Handshake keys are discarded (Section 4.9 of
<xref target="QUIC-TLS" format="default"/>). This ensures the PTO is always set based on the latest estimate
of the round-trip time and for the correct packet across packet number spaces.</t>
          <t>When a PTO timer expires, the PTO backoff MUST be increased, resulting in the
PTO period being set to twice its current value. The PTO backoff factor is reset
when an acknowledgement is received, except in the following case. A server
might take longer to respond to packets during the handshake than otherwise.  To
protect such a server from repeated client probes, the PTO backoff is not reset
at a client that is not yet certain that the server has finished validating the
client's address. That is, a client does not reset the PTO backoff factor on
receiving acknowledgements in Initial packets.</t>
          <t>This exponential reduction in the sender's rate is important because
consecutive PTOs might be caused by loss of packets or acknowledgements due to
severe congestion.  Even when there are ack-eliciting packets in-flight in
multiple packet number spaces, the exponential increase in probe timeout
occurs across all spaces to prevent excess load on the network.  For example,
a timeout in the Initial packet number space doubles the length of the timeout
in the Handshake packet number space.</t>
          <t>The total length of time over which consecutive PTOs expire is limited by the
idle timeout.</t>
          <t>The PTO timer MUST NOT be set if a timer is set for time threshold
loss detection; see <xref target="time-threshold" format="default"/>.  A timer that is set for time
threshold loss detection will expire earlier than the PTO timer
in most cases and is less likely to spuriously retransmit data.</t>
        </section>
        <section anchor="pto-handshake" numbered="true" toc="default">
          <name>Handshakes and New Paths</name>
          <t>Resumed connections over the same network MAY use the previous connection's
final smoothed RTT value as the resumed connection's initial RTT.  When no
previous RTT is available, the initial RTT SHOULD be set to 333ms, resulting in
a 1 second initial timeout, as recommended in <xref target="RFC6298" format="default"/>.</t>
          <t>A connection MAY use the delay between sending a PATH_CHALLENGE and receiving a
PATH_RESPONSE to set the initial RTT (see kInitialRtt in
<xref target="constants-of-interest" format="default"/>) for a new path, but the delay SHOULD NOT be
considered an RTT sample.</t>
          <t>Initial packets and Handshake packets could be never acknowledged, but they are
removed from bytes in flight when the Initial and Handshake keys are discarded,
as described below in <xref target="discarding-packets" format="default"/>. When Initial or Handshake keys are
discarded, the PTO and loss detection timers MUST be reset, because discarding
keys indicates forward progress and the loss detection timer might have been set
for a now discarded packet number space.</t>
          <section anchor="before-address-validation" numbered="true" toc="default">
            <name>Before Address Validation</name>
            <t>Until the server has validated the client's address on the path, the amount of
data it can send is limited to three times the amount of data received,
as specified in Section 8.1 of <xref target="QUIC-TRANSPORT" format="default"/>. If no additional data can be
sent, the server's PTO timer MUST NOT be armed until datagrams have been
received from the client, because packets sent on PTO count against the
anti-amplification limit. Note that the server could fail to validate the
client's address even if 0-RTT is accepted.</t>
            <t>Since the server could be blocked until more datagrams are received from the
client, it is the client's responsibility to send packets to unblock the server
until it is certain that the server has finished its address validation
(see Section 8 of <xref target="QUIC-TRANSPORT" format="default"/>).  That is, the client MUST set the
probe timer if the client has not received an acknowledgement for one of its
Handshake packets and the handshake is not confirmed (see Section 4.1.2 of
<xref target="QUIC-TLS" format="default"/>), even if there are no packets in flight.  When the PTO fires,
the client MUST send a Handshake packet if it has Handshake keys, otherwise it
MUST send an Initial packet in a UDP datagram with a payload of at least 1200
bytes.</t>
          </section>
        </section>
        <section anchor="speeding-up-handshake-completion" numbered="true" toc="default">
          <name>Speeding Up Handshake Completion</name>
          <t>When a server receives an Initial packet containing duplicate CRYPTO data,
it can assume the client did not receive all of the server's CRYPTO data sent
in Initial packets, or the client's estimated RTT is too small. When a
client receives Handshake or 1-RTT packets prior to obtaining Handshake keys,
it may assume some or all of the server's Initial packets were lost.</t>
          <t>To speed up handshake completion under these conditions, an endpoint MAY, for a
limited number of occasions per each connection, send a packet containing
unacknowledged CRYPTO data earlier than the PTO expiry, subject to the address
validation limits in Section 8.1 of <xref target="QUIC-TRANSPORT" format="default"/>. Doing so at most once
for each connection is adequate to quickly recover from a single packet loss.
Endpoints that do not cease retransmitting packets in response to
unauthenticated data risk creating an infinite exchange of packets.</t>
          <t>Endpoints can also use coalesced packets (see Section 12.2 of
<xref target="QUIC-TRANSPORT" format="default"/>) to ensure that each datagram elicits at least one
acknowledgement. For example, a client can coalesce an Initial packet
containing PING and PADDING frames with a 0-RTT data packet and a server can
coalesce an Initial packet containing a PING frame with one or more packets in
its first flight.</t>
        </section>
        <section anchor="sending-probe-packets" numbered="true" toc="default">
          <name>Sending Probe Packets</name>
          <t>When a PTO timer expires, a sender MUST send at least one ack-eliciting packet
in the packet number space as a probe.  An endpoint MAY send up to two
full-sized datagrams containing ack-eliciting packets, to avoid an expensive
consecutive PTO expiration due to a single lost datagram or transmit data
from multiple packet number spaces. All probe packets sent on a PTO MUST be
ack-eliciting.</t>
          <t>In addition to sending data in the packet number space for which the timer
expired, the sender SHOULD send ack-eliciting packets from other packet
number spaces with in-flight data, coalescing packets if possible.  This is
particularly valuable when the server has both Initial and Handshake data
in-flight or the client has both Handshake and Application Data in-flight,
because the peer might only have receive keys for one of the two packet number
spaces.</t>
          <t>If the sender wants to elicit a faster acknowledgement on PTO, it can skip a
packet number to eliminate the acknowledgment delay.</t>
          <t>When the PTO timer expires, an ack-eliciting packet MUST be sent.  An endpoint
SHOULD include new data in this packet.  Previously sent data MAY be sent if
no new data can be sent.  Implementations MAY use alternative strategies for
determining the content of probe packets, including sending new or
retransmitted data based on the application's priorities.</t>
          <t>It is possible the sender has no new or previously-sent data to send.
As an example, consider the following sequence of events: new application data
is sent in a STREAM frame, deemed lost, then retransmitted in a new packet,
and then the original transmission is acknowledged.  When there is no data to
send, the sender SHOULD send a PING or other ack-eliciting frame in a single
packet, re-arming the PTO timer.</t>
          <t>Alternatively, instead of sending an ack-eliciting packet, the sender MAY mark
any packets still in flight as lost.  Doing so avoids sending an additional
packet, but increases the risk that loss is declared too aggressively, resulting
in an unnecessary rate reduction by the congestion controller.</t>
          <t>Consecutive PTO periods increase exponentially, and as a result, connection
recovery latency increases exponentially as packets continue to be dropped in
the network.  Sending two packets on PTO expiration increases resilience to
packet drops, thus reducing the probability of consecutive PTO events.</t>
          <t>When the PTO timer expires multiple times and new data cannot be sent,
implementations must choose between sending the same payload every time
or sending different payloads.  Sending the same payload may be simpler
and ensures the highest priority frames arrive first.  Sending different
payloads each time reduces the chances of spurious retransmission.</t>
        </section>
      </section>
      <section anchor="handling-retry-packets" numbered="true" toc="default">
        <name>Handling Retry Packets</name>
        <t>A Retry packet causes a client to send another Initial packet, effectively
restarting the connection process.  A Retry packet indicates that the Initial
was received, but not processed.  A Retry packet cannot be treated as an
acknowledgment, because it does not indicate that a packet was processed or
specify the packet number.</t>
        <t>Clients that receive a Retry packet reset congestion control and loss recovery
state, including resetting any pending timers.  Other connection state, in
particular cryptographic handshake messages, is retained; see Section 17.2.5 of
<xref target="QUIC-TRANSPORT" format="default"/>.</t>
        <t>The client MAY compute an RTT estimate to the server as the time period from
when the first Initial was sent to when a Retry or a Version Negotiation packet
is received.  The client MAY use this value in place of its default for the
initial RTT estimate.</t>
      </section>
      <section anchor="discarding-packets" numbered="true" toc="default">
        <name>Discarding Keys and Packet State</name>
        <t>When packet protection keys are discarded (see Section 4.9 of <xref target="QUIC-TLS" format="default"/>),
all packets that were sent with those keys can no longer be acknowledged because
their acknowledgements cannot be processed anymore. The sender MUST discard
all recovery state associated with those packets and MUST remove them from
the count of bytes in flight.</t>
        <t>Endpoints stop sending and receiving Initial packets once they start exchanging
Handshake packets; see Section 17.2.2.1 of <xref target="QUIC-TRANSPORT" format="default"/>. At this point,
recovery state for all in-flight Initial packets is discarded.</t>
        <t>When 0-RTT is rejected, recovery state for all in-flight 0-RTT packets is
discarded.</t>
        <t>If a server accepts 0-RTT, but does not buffer 0-RTT packets that arrive
before Initial packets, early 0-RTT packets will be declared lost, but that
is expected to be infrequent.</t>
        <t>It is expected that keys are discarded after packets encrypted with them would
be acknowledged or declared lost.  However, Initial secrets are discarded as
soon as handshake keys are proven to be available to both client and server;
see Section 4.9.1 of <xref target="QUIC-TLS" format="default"/>.</t>
      </section>
    </section>
    <section anchor="congestion-control" numbered="true" toc="default">
      <name>Congestion Control</name>
      <t>This document specifies a sender-side congestion controller for QUIC similar to
TCP NewReno (<xref target="RFC6582" format="default"/>).</t>
      <t>The signals QUIC provides for congestion control are generic and are designed to
support different sender-side algorithms. A sender can unilaterally choose a
different algorithm to use, such as Cubic (<xref target="RFC8312" format="default"/>).</t>
      <t>If a sender uses a different controller than that specified in this document,
the chosen controller MUST conform to the congestion control guidelines
specified in Section 3.1 of <xref target="RFC8085" format="default"/>.</t>
      <t>Similar to TCP, packets containing only ACK frames do not count towards bytes
in flight and are not congestion controlled.  Unlike TCP, QUIC can detect the
loss of these packets and MAY use that information to adjust the congestion
controller or the rate of ACK-only packets being sent, but this document does
not describe a mechanism for doing so.</t>
      <t>The algorithm in this document specifies and uses the controller's congestion
window in bytes.</t>
      <t>An endpoint MUST NOT send a packet if it would cause bytes_in_flight (see
<xref target="vars-of-interest" format="default"/>) to be larger than the congestion window, unless the packet
is sent on a PTO timer expiration (see <xref target="pto" format="default"/>) or when entering recovery
(see <xref target="recovery-period" format="default"/>).</t>
      <section anchor="congestion-ecn" numbered="true" toc="default">
        <name>Explicit Congestion Notification</name>
        <t>If a path has been validated to support ECN (<xref target="RFC3168" format="default"/>, <xref target="RFC8311" format="default"/>), QUIC
treats a Congestion Experienced (CE) codepoint in the IP header as a signal of
congestion. This document specifies an endpoint's response when the
peer-reported ECN-CE count increases; see Section 13.4.2 of <xref target="QUIC-TRANSPORT" format="default"/>.</t>
      </section>
      <section anchor="initial-cwnd" numbered="true" toc="default">
        <name>Initial and Minimum Congestion Window</name>
        <t>QUIC begins every connection in slow start with the congestion window set to
an initial value.  Endpoints SHOULD use an initial congestion window of 10 times
the maximum datagram size (max_datagram_size), limited to the larger of 14720
bytes or twice the maximum datagram size. This follows the analysis and
recommendations in <xref target="RFC6928" format="default"/>, increasing the byte limit to account for the
smaller 8 byte overhead of UDP compared to the 20 byte overhead for TCP.</t>
        <t>If the maximum datagram size changes during the connection, the initial
congestion window SHOULD be recalculated with the new size.  If the maximum
datagram size is decreased in order to complete the handshake, the
congestion window SHOULD be set to the new initial congestion window.</t>
        <t>Prior to validating the client's address, the server can be further limited by
the anti-amplification limit as specified in Section 8.1 of <xref target="QUIC-TRANSPORT" format="default"/>.
Though the anti-amplification limit can prevent the congestion window from
being fully utilized and therefore slow down the increase in congestion window,
it does not directly affect the congestion window.</t>
        <t>The minimum congestion window is the smallest value the congestion window can
decrease to as a response to loss, increase in the peer-reported ECN-CE count,
or persistent congestion.  The RECOMMENDED value is 2 * max_datagram_size.</t>
      </section>
      <section anchor="congestion-control-states" numbered="true" toc="default">
        <name>Congestion Control States</name>
        <t>The NewReno congestion controller described in this document has three
distinct states, as shown in <xref target="fig-cc-fsm" format="default"/>.</t>
        <figure anchor="fig-cc-fsm">
          <name>Congestion Control States and Transitions</name>
          <artwork name="" type="" align="left" alt=""><![CDATA[
                 New Path or      +------------+
            persistent congestion |   Slow     |
        (O)---------------------->|   Start    |
                                  +------------+
                                        |
                                Loss or |
                        ECN-CE increase |
                                        v
 +------------+     Loss or       +------------+
 | Congestion |  ECN-CE increase  |  Recovery  |
 | Avoidance  |------------------>|   Period   |
 +------------+                   +------------+
           ^                            |
           |                            |
           +----------------------------+
              Acknowledgment of packet
                sent during recovery
]]></artwork>
        </figure>
        <t>These states and the transitions between them are described in subsequent
sections.</t>
        <section anchor="slow-start" numbered="true" toc="default">
          <name>Slow Start</name>
          <t>A NewReno sender is in slow start any time the congestion window is below the
slow start threshold. A sender begins in slow start because the slow start
threshold is initialized to an infinite value.</t>
          <t>While a sender is in slow start, the congestion window increases by the number
of bytes acknowledged when each acknowledgment is processed. This results in
exponential growth of the congestion window.</t>
          <t>The sender MUST exit slow start and enter a recovery period when a packet is
lost or when the ECN-CE count reported by its peer increases.</t>
          <t>A sender re-enters slow start any time the congestion window is less than the
slow start threshold, which only occurs after persistent congestion is
declared.</t>
        </section>
        <section anchor="recovery-period" numbered="true" toc="default">
          <name>Recovery</name>
          <t>A NewReno sender enters a recovery period when it detects the loss of a packet
or the ECN-CE count reported by its peer increases. A sender that is already in
a recovery period stays in it and does not re-enter it.</t>
          <t>On entering a recovery period, a sender MUST set the slow start threshold to
half the value of the congestion window when loss is detected. The congestion
window MUST be set to the reduced value of the slow start threshold before
exiting the recovery period.</t>
          <t>Implementations MAY reduce the congestion window immediately upon entering a
recovery period or use other mechanisms, such as Proportional Rate Reduction
(<xref target="PRR" format="default"/>), to reduce the congestion window more gradually. If the
congestion window is reduced immediately, a single packet can be sent prior to
reduction. This speeds up loss recovery if the data in the lost packet is
retransmitted and is similar to TCP as described in Section 5 of <xref target="RFC6675" format="default"/>.</t>
          <t>The recovery period aims to limit congestion window reduction to once per round
trip. Therefore during a recovery period, the congestion window does not change
in response to new losses or increases in the ECN-CE count.</t>
          <t>A recovery period ends and the sender enters congestion avoidance when a packet
sent during the recovery period is acknowledged. This is slightly different
from TCP's definition of recovery, which ends when the lost segment that
started recovery is acknowledged (<xref target="RFC5681" format="default"/>).</t>
        </section>
        <section anchor="congestion-avoidance" numbered="true" toc="default">
          <name>Congestion Avoidance</name>
          <t>A NewReno sender is in congestion avoidance any time the congestion window is
at or above the slow start threshold and not in a recovery period.</t>
          <t>A sender in congestion avoidance uses an Additive Increase Multiplicative
Decrease (AIMD) approach that MUST limit the increase to the congestion window
to at most one maximum datagram size for each congestion window that is
acknowledged.</t>
          <t>The sender exits congestion avoidance and enters a recovery period when a
packet is lost or when the ECN-CE count reported by its peer increases.</t>
        </section>
      </section>
      <section anchor="ignoring-loss-of-undecryptable-packets" numbered="true" toc="default">
        <name>Ignoring Loss of Undecryptable Packets</name>
        <t>During the handshake, some packet protection keys might not be available when
a packet arrives and the receiver can choose to drop the packet. In particular,
Handshake and 0-RTT packets cannot be processed until the Initial packets
arrive and 1-RTT packets cannot be processed until the handshake completes.
Endpoints MAY ignore the loss of Handshake, 0-RTT, and 1-RTT packets that might
have arrived before the peer had packet protection keys to process those
packets. Endpoints MUST NOT ignore the loss of packets that were sent after
the earliest acknowledged packet in a given packet number space.</t>
      </section>
      <section anchor="probe-timeout" numbered="true" toc="default">
        <name>Probe Timeout</name>
        <t>Probe packets MUST NOT be blocked by the congestion controller.  A sender MUST
however count these packets as being additionally in flight, since these packets
add network load without establishing packet loss.  Note that sending probe
packets might cause the sender's bytes in flight to exceed the congestion window
until an acknowledgement is received that establishes loss or delivery of
packets.</t>
      </section>
      <section anchor="persistent-congestion" numbered="true" toc="default">
        <name>Persistent Congestion</name>
        <t>When a sender establishes loss of all in-flight packets sent over a long enough
duration, the network is considered to be experiencing persistent congestion.</t>
        <section anchor="pc-duration" numbered="true" toc="default">
          <name>Duration</name>
          <t>The persistent congestion duration is computed as follows:</t>
          <artwork name="" type="" align="left" alt=""><![CDATA[
(smoothed_rtt + max(4*rttvar, kGranularity) + max_ack_delay) *
    kPersistentCongestionThreshold
]]></artwork>
          <t>Unlike the PTO computation in <xref target="pto" format="default"/>, this duration includes the max_ack_delay
irrespective of the packet number spaces in which losses are established.</t>
          <t>This duration allows a sender to send as many packets before establishing
persistent congestion, including some in response to PTO expiration, as TCP does
with Tail Loss Probes (<xref target="RACK" format="default"/>) and a Retransmission Timeout (<xref target="RFC5681" format="default"/>).</t>
          <t>Larger values of kPersistentCongestionThreshold cause the sender to become less
responsive to persistent congestion in the network, which can result in
aggressive sending into a congested network. Too small a value can result in a
sender declaring persistent congestion unnecessarily, resulting in reduced
throughput for the sender.</t>
          <t>The RECOMMENDED value for kPersistentCongestionThreshold is 3, which results in
behavior that is approximately equivalent to a TCP sender declaring an RTO after
two TLPs.</t>
          <t>This design does not use consecutive PTO events to establish persistent
congestion, since application patterns impact PTO expirations. For example, a
sender that sends small amounts of data with silence periods between them
restarts the PTO timer every time it sends, potentially preventing the PTO timer
from expiring for a long period of time, even when no acknowledgments are being
received. The use of a duration enables a sender to establish persistent
congestion without depending on PTO expiration.</t>
        </section>
        <section anchor="establishing-persistent-congestion" numbered="true" toc="default">
          <name>Establishing Persistent Congestion</name>
          <t>A sender establishes persistent congestion on receiving an acknowledgement if at
least two ack-eliciting packets are declared lost, and:</t>
          <ul spacing="normal">
            <li>all packets, across all packet number spaces, sent between these two send
times are declared lost;</li>
            <li>the duration between the send times of these two packets exceeds the
persistent congestion duration (<xref target="pc-duration" format="default"/>); and</li>
            <li>a prior RTT sample existed when both packets were sent.</li>
          </ul>
          <t>The persistent congestion period SHOULD NOT start until there is at least one
RTT sample. Before the first RTT sample, a sender arms its PTO timer based on
the initial RTT (<xref target="pto-handshake" format="default"/>), which could be substantially larger than
the actual RTT. Requiring a prior RTT sample prevents a sender from establishing
persistent congestion with potentially too few probes.</t>
          <t>Since network congestion is not affected by packet number spaces, persistent
congestion SHOULD consider packets sent across packet number spaces. A sender
that does not have state for all packet number spaces or an implementation that
cannot compare send times across packet number spaces MAY use state for just the
packet number space that was acknowledged.</t>
          <t>When persistent congestion is declared, the sender's congestion window MUST be
reduced to the minimum congestion window (kMinimumWindow), similar to a TCP
sender's response on an RTO (<xref target="RFC5681" format="default"/>).</t>
        </section>
        <section anchor="example" numbered="true" toc="default">
          <name>Example</name>
          <t>The following example illustrates how a sender might establish persistent
congestion. Assume:</t>
          <artwork name="" type="" align="left" alt=""><![CDATA[
smoothed_rtt + max(4*rttvar, kGranularity) + max_ack_delay = 2
kPersistentCongestionThreshold = 3
]]></artwork>
          <t>Consider the following sequence of events:</t>
          <table align="center">
            <thead>
              <tr>
                <th align="left">Time</th>
                <th align="left">Action</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">t=0</td>
                <td align="left">Send packet #1 (app data)</td>
              </tr>
              <tr>
                <td align="left">t=1</td>
                <td align="left">Send packet #2 (app data)</td>
              </tr>
              <tr>
                <td align="left">t=1.2</td>
                <td align="left">Recv acknowledgement of #1</td>
              </tr>
              <tr>
                <td align="left">t=2</td>
                <td align="left">Send packet #3 (app data)</td>
              </tr>
              <tr>
                <td align="left">t=3</td>
                <td align="left">Send packet #4 (app data)</td>
              </tr>
              <tr>
                <td align="left">t=4</td>
                <td align="left">Send packet #5 (app data)</td>
              </tr>
              <tr>
                <td align="left">t=5</td>
                <td align="left">Send packet #6 (app data)</td>
              </tr>
              <tr>
                <td align="left">t=6</td>
                <td align="left">Send packet #7 (app data)</td>
              </tr>
              <tr>
                <td align="left">t=8</td>
                <td align="left">Send packet #8 (PTO 1)</td>
              </tr>
              <tr>
                <td align="left">t=12</td>
                <td align="left">Send packet #9 (PTO 2)</td>
              </tr>
              <tr>
                <td align="left">t=12.2</td>
                <td align="left">Recv acknowledgement of #9</td>
              </tr>
            </tbody>
          </table>
          <t>Packets 2 through 8 are declared lost when the acknowledgement for packet 9 is
received at t = 12.2.</t>
          <t>The congestion period is calculated as the time between the oldest and newest
lost packets: 8 - 1 = 7.  The persistent congestion duration is: 2 * 3 = 6.
Because the threshold was reached and because none of the packets between the
oldest and the newest lost packets were acknowledged, the network is considered
to have experienced persistent congestion.</t>
          <t>While this example shows PTO expiration, they are not required for persistent
congestion to be established.</t>
        </section>
      </section>
      <section anchor="pacing" numbered="true" toc="default">
        <name>Pacing</name>
        <t>A sender SHOULD pace sending of all in-flight packets based on input from the
congestion controller.</t>
        <t>Sending multiple packets into the network without any delay between them creates
a packet burst that might cause short-term congestion and losses. Senders MUST
either use pacing or limit such bursts. Senders SHOULD limit bursts to the
initial congestion window; see <xref target="initial-cwnd" format="default"/>. A sender with knowledge that
the network path to the receiver can absorb larger bursts MAY use a higher
limit.</t>
        <t>An implementation should take care to architect its congestion controller to
work well with a pacer.  For instance, a pacer might wrap the congestion
controller and control the availability of the congestion window, or a pacer
might pace out packets handed to it by the congestion controller.</t>
        <t>Timely delivery of ACK frames is important for efficient loss recovery. Packets
containing only ACK frames SHOULD therefore not be paced, to avoid delaying
their delivery to the peer.</t>
        <t>Endpoints can implement pacing as they choose. A perfectly paced sender spreads
packets exactly evenly over time. For a window-based congestion controller, such
as the one in this document, that rate can be computed by averaging the
congestion window over the round-trip time. Expressed as a rate in bytes:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
rate = N * congestion_window / smoothed_rtt
]]></artwork>
        <t>Or, expressed as an inter-packet interval:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
interval = smoothed_rtt * packet_size / congestion_window / N
]]></artwork>
        <t>Using a value for <tt>N</tt> that is small, but at least 1 (for example, 1.25) ensures
that variations in round-trip time do not result in under-utilization of the
congestion window.</t>
        <t>Practical considerations, such as packetization, scheduling delays, and
computational efficiency, can cause a sender to deviate from this rate over time
periods that are much shorter than a round-trip time.</t>
        <t>One possible implementation strategy for pacing uses a leaky bucket algorithm,
where the capacity of the "bucket" is limited to the maximum burst size and the
rate the "bucket" fills is determined by the above function.</t>
      </section>
      <section anchor="under-utilizing-the-congestion-window" numbered="true" toc="default">
        <name>Under-utilizing the Congestion Window</name>
        <t>When bytes in flight is smaller than the congestion window and sending is not
pacing limited, the congestion window is under-utilized.  When this occurs,
the congestion window SHOULD NOT be increased in either slow start or
congestion avoidance. This can happen due to insufficient application data
or flow control limits.</t>
        <t>A sender that paces packets (see <xref target="pacing" format="default"/>) might delay sending packets
and not fully utilize the congestion window due to this delay. A sender
SHOULD NOT consider itself application limited if it would have fully
utilized the congestion window without pacing delay.</t>
        <t>A sender MAY implement alternative mechanisms to update its congestion window
after periods of under-utilization, such as those proposed for TCP in
<xref target="RFC7661" format="default"/>.</t>
      </section>
    </section>
    <section anchor="security-considerations" numbered="true" toc="default">
      <name>Security Considerations</name>
      <section anchor="congestion-signals" numbered="true" toc="default">
        <name>Congestion Signals</name>
        <t>Congestion control fundamentally involves the consumption of signals - both
loss and ECN codepoints - from unauthenticated entities.  On-path attackers can
spoof or alter these signals.  An attacker can cause endpoints to reduce their
sending rate by dropping packets, or alter send rate by changing ECN codepoints.</t>
      </section>
      <section anchor="traffic-analysis" numbered="true" toc="default">
        <name>Traffic Analysis</name>
        <t>Packets that carry only ACK frames can be heuristically identified by observing
packet size.  Acknowledgement patterns may expose information about link
characteristics or application behavior.  To reduce leaked information,
endpoints can bundle acknowledgments with other frames, or they can use PADDING
frames at a potential cost to performance.</t>
      </section>
      <section anchor="misreporting-ecn-markings" numbered="true" toc="default">
        <name>Misreporting ECN Markings</name>
        <t>A receiver can misreport ECN markings to alter the congestion response of a
sender.  Suppressing reports of ECN-CE markings could cause a sender to
increase their send rate.  This increase could result in congestion and loss.</t>
        <t>A sender can detect suppression of reports by marking occasional packets that it
sends with an ECN-CE marking. If a packet sent with an ECN-CE marking is not
reported as having been CE marked when the packet is acknowledged, then the
sender can disable ECN for that path by not setting ECT codepoints in subsequent
packets sent on that path <xref target="RFC3168" format="default"/>.</t>
        <t>Reporting additional ECN-CE markings will cause a sender to reduce their sending
rate, which is similar in effect to advertising reduced connection flow control
limits and so no advantage is gained by doing so.</t>
        <t>Endpoints choose the congestion controller that they use. Congestion controllers
respond to reports of ECN-CE by reducing their rate, but the response may vary.
Markings can be treated as equivalent to loss (<xref target="RFC3168" format="default"/>), but other
responses can be specified, such as (<xref target="RFC8511" format="default"/>) or (<xref target="RFC8311" format="default"/>).</t>
      </section>
    </section>
    <section anchor="iana-considerations" numbered="true" toc="default">
      <name>IANA Considerations</name>
      <t>This document has no IANA actions.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="QUIC-TRANSPORT">
          <front>
            <title>QUIC: A UDP-Based Multiplexed and Secure Transport</title>
            <author initials="J." surname="Iyengar" fullname="Jana Iyengar" role="editor">
              <organization>Fastly</organization>
            </author>
            <author initials="M." surname="Thomson" fullname="Martin Thomson" role="editor">
              <organization>Mozilla</organization>
            </author>
            <date year="2020" month="October" day="20"/>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-quic-transport-32"/>
        </reference>
        <reference anchor="QUIC-TLS">
          <front>
            <title>Using TLS to Secure QUIC</title>
            <author initials="M." surname="Thomson" fullname="Martin Thomson" role="editor">
              <organization>Mozilla</organization>
            </author>
            <author initials="S." surname="Turner" fullname="Sean Turner" role="editor">
              <organization>sn3rd</organization>
            </author>
            <date year="2020" month="October" day="20"/>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-quic-tls-32"/>
        </reference>
        <reference anchor="RFC2119" target="https://www.rfc-editor.org/info/rfc2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author initials="S." surname="Bradner" fullname="S. Bradner">
              <organization/>
            </author>
            <date year="1997" month="March"/>
            <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="RFC8174" target="https://www.rfc-editor.org/info/rfc8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author initials="B." surname="Leiba" fullname="B. Leiba">
              <organization/>
            </author>
            <date year="2017" month="May"/>
            <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="RFC8085" target="https://www.rfc-editor.org/info/rfc8085">
          <front>
            <title>UDP Usage Guidelines</title>
            <author initials="L." surname="Eggert" fullname="L. Eggert">
              <organization/>
            </author>
            <author initials="G." surname="Fairhurst" fullname="G. Fairhurst">
              <organization/>
            </author>
            <author initials="G." surname="Shepherd" fullname="G. Shepherd">
              <organization/>
            </author>
            <date year="2017" month="March"/>
            <abstract>
              <t>The User Datagram Protocol (UDP) provides a minimal message-passing transport that has no inherent congestion control mechanisms.  This document provides guidelines on the use of UDP for the designers of applications, tunnels, and other protocols that use UDP.  Congestion control guidelines are a primary focus, but the document also provides guidance on other topics, including message sizes, reliability, checksums, middlebox traversal, the use of Explicit Congestion Notification (ECN), Differentiated Services Code Points (DSCPs), and ports.</t>
              <t>Because congestion control is critical to the stable operation of the Internet, applications and other protocols that choose to use UDP as an Internet transport must employ mechanisms to prevent congestion collapse and to establish some degree of fairness with concurrent traffic.  They may also need to implement additional mechanisms, depending on how they use UDP.</t>
              <t>Some guidance is also applicable to the design of other protocols (e.g., protocols layered directly on IP or via IP-based tunnels), especially when these protocols do not themselves provide congestion control.</t>
              <t>This document obsoletes RFC 5405 and adds guidelines for multicast UDP usage.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="145"/>
          <seriesInfo name="RFC" value="8085"/>
          <seriesInfo name="DOI" value="10.17487/RFC8085"/>
        </reference>
        <reference anchor="RFC3168" target="https://www.rfc-editor.org/info/rfc3168">
          <front>
            <title>The Addition of Explicit Congestion Notification (ECN) to IP</title>
            <author initials="K." surname="Ramakrishnan" fullname="K. Ramakrishnan">
              <organization/>
            </author>
            <author initials="S." surname="Floyd" fullname="S. Floyd">
              <organization/>
            </author>
            <author initials="D." surname="Black" fullname="D. Black">
              <organization/>
            </author>
            <date year="2001" month="September"/>
            <abstract>
              <t>This memo specifies the incorporation of ECN (Explicit Congestion Notification) to TCP and IP, including ECN's use of two bits in the IP header.  [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="3168"/>
          <seriesInfo name="DOI" value="10.17487/RFC3168"/>
        </reference>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="FACK">
          <front>
            <title>Forward Acknowledgement: Refining TCP Congestion Control</title>
            <author initials="M." surname="Mathis">
              <organization/>
            </author>
            <author initials="J." surname="Mahdavi">
              <organization/>
            </author>
            <date year="1996" month="August"/>
          </front>
          <seriesInfo name="ACM SIGCOMM" value=""/>
        </reference>
        <reference anchor="RFC5682" target="https://www.rfc-editor.org/info/rfc5682">
          <front>
            <title>Forward RTO-Recovery (F-RTO): An Algorithm for Detecting Spurious Retransmission Timeouts with TCP</title>
            <author initials="P." surname="Sarolahti" fullname="P. Sarolahti">
              <organization/>
            </author>
            <author initials="M." surname="Kojo" fullname="M. Kojo">
              <organization/>
            </author>
            <author initials="K." surname="Yamamoto" fullname="K. Yamamoto">
              <organization/>
            </author>
            <author initials="M." surname="Hata" fullname="M. Hata">
              <organization/>
            </author>
            <date year="2009" month="September"/>
            <abstract>
              <t>The purpose of this document is to move the F-RTO (Forward RTO-Recovery) functionality for TCP in RFC 4138 from Experimental to Standards Track status.  The F-RTO support for Stream Control Transmission Protocol (SCTP) in RFC 4138 remains with Experimental status.  See Appendix B for the differences between this document and RFC 4138.</t>
              <t>Spurious retransmission timeouts cause suboptimal TCP performance because they often result in unnecessary retransmission of the last window of data.  This document describes the F-RTO detection algorithm for detecting spurious TCP retransmission timeouts.  F-RTO is a TCP sender-only algorithm that does not require any TCP options to operate.  After retransmitting the first unacknowledged segment triggered by a timeout, the F-RTO algorithm of the TCP sender monitors the incoming acknowledgments to determine whether the timeout was spurious.  It then decides whether to send new segments or retransmit unacknowledged segments.  The algorithm effectively helps to avoid additional unnecessary retransmissions and thereby improves TCP performance in the case of a spurious timeout.  [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5682"/>
          <seriesInfo name="DOI" value="10.17487/RFC5682"/>
        </reference>
        <reference anchor="RFC6298" target="https://www.rfc-editor.org/info/rfc6298">
          <front>
            <title>Computing TCP's Retransmission Timer</title>
            <author initials="V." surname="Paxson" fullname="V. Paxson">
              <organization/>
            </author>
            <author initials="M." surname="Allman" fullname="M. Allman">
              <organization/>
            </author>
            <author initials="J." surname="Chu" fullname="J. Chu">
              <organization/>
            </author>
            <author initials="M." surname="Sargent" fullname="M. Sargent">
              <organization/>
            </author>
            <date year="2011" month="June"/>
            <abstract>
              <t>This document defines the standard algorithm that Transmission Control Protocol (TCP) senders are required to use to compute and manage their retransmission timer.  It expands on the discussion in Section 4.2.3.1 of RFC 1122 and upgrades the requirement of supporting the algorithm from a SHOULD to a MUST.  This document obsoletes RFC 2988.   [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6298"/>
          <seriesInfo name="DOI" value="10.17487/RFC6298"/>
        </reference>
        <reference anchor="RFC5681" target="https://www.rfc-editor.org/info/rfc5681">
          <front>
            <title>TCP Congestion Control</title>
            <author initials="M." surname="Allman" fullname="M. Allman">
              <organization/>
            </author>
            <author initials="V." surname="Paxson" fullname="V. Paxson">
              <organization/>
            </author>
            <author initials="E." surname="Blanton" fullname="E. Blanton">
              <organization/>
            </author>
            <date year="2009" month="September"/>
            <abstract>
              <t>This document defines TCP's four intertwined congestion control algorithms: slow start, congestion avoidance, fast retransmit, and fast recovery.  In addition, the document specifies how TCP should begin transmission after a relatively long idle period, as well as discussing various acknowledgment generation methods.  This document obsoletes RFC 2581.  [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5681"/>
          <seriesInfo name="DOI" value="10.17487/RFC5681"/>
        </reference>
        <reference anchor="RFC5827" target="https://www.rfc-editor.org/info/rfc5827">
          <front>
            <title>Early Retransmit for TCP and Stream Control Transmission Protocol (SCTP)</title>
            <author initials="M." surname="Allman" fullname="M. Allman">
              <organization/>
            </author>
            <author initials="K." surname="Avrachenkov" fullname="K. Avrachenkov">
              <organization/>
            </author>
            <author initials="U." surname="Ayesta" fullname="U. Ayesta">
              <organization/>
            </author>
            <author initials="J." surname="Blanton" fullname="J. Blanton">
              <organization/>
            </author>
            <author initials="P." surname="Hurtig" fullname="P. Hurtig">
              <organization/>
            </author>
            <date year="2010" month="May"/>
            <abstract>
              <t>This document proposes a new mechanism for TCP and Stream Control Transmission Protocol (SCTP) that can be used to recover lost segments when a connection's congestion window is small.  The "Early Retransmit" mechanism allows the transport to reduce, in certain special circumstances, the number of duplicate acknowledgments required to trigger a fast retransmission.  This allows the transport to use fast retransmit to recover segment losses that would otherwise require a lengthy retransmission timeout.  [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5827"/>
          <seriesInfo name="DOI" value="10.17487/RFC5827"/>
        </reference>
        <reference anchor="RFC6675" target="https://www.rfc-editor.org/info/rfc6675">
          <front>
            <title>A Conservative Loss Recovery Algorithm Based on Selective Acknowledgment (SACK) for TCP</title>
            <author initials="E." surname="Blanton" fullname="E. Blanton">
              <organization/>
            </author>
            <author initials="M." surname="Allman" fullname="M. Allman">
              <organization/>
            </author>
            <author initials="L." surname="Wang" fullname="L. Wang">
              <organization/>
            </author>
            <author initials="I." surname="Jarvinen" fullname="I. Jarvinen">
              <organization/>
            </author>
            <author initials="M." surname="Kojo" fullname="M. Kojo">
              <organization/>
            </author>
            <author initials="Y." surname="Nishida" fullname="Y. Nishida">
              <organization/>
            </author>
            <date year="2012" month="August"/>
            <abstract>
              <t>This document presents a conservative loss recovery algorithm for TCP that is based on the use of the selective acknowledgment (SACK) TCP option.  The algorithm presented in this document conforms to the spirit of the current congestion control specification (RFC 5681), but allows TCP senders to recover more effectively when multiple segments are lost from a single flight of data. This document obsoletes RFC 3517 and describes changes from it.   [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6675"/>
          <seriesInfo name="DOI" value="10.17487/RFC6675"/>
        </reference>
        <reference anchor="RACK" target="http://www.ietf.org/internet-drafts/draft-ietf-tcpm-rack-11.txt">
          <front>
            <title>The RACK-TLP loss detection algorithm for TCP</title>
            <author initials="Y" surname="Cheng" fullname="Yuchung Cheng">
              <organization/>
            </author>
            <author initials="N" surname="Cardwell" fullname="Neal Cardwell">
              <organization/>
            </author>
            <author initials="N" surname="Dukkipati" fullname="Nandita Dukkipati">
              <organization/>
            </author>
            <author initials="P" surname="Jha" fullname="Priyaranjan Jha">
              <organization/>
            </author>
            <date month="September" day="30" year="2020"/>
            <abstract>
              <t>This document presents the RACK-TLP loss detection algorithm for TCP. RACK-TLP uses per-segment transmit timestamps and selective acknowledgements (SACK) [RFC2018] and has two parts: RACK ("Recent ACKnowledgment") starts fast recovery quickly using time-based inferences derived from ACK feedback.  TLP ("Tail Loss Probe") leverages RACK and sends a probe packet to trigger ACK feedback to avoid retransmission timeout (RTO) events.  Compared to the widely used DUPACK threshold approach, RACK-TLP detects losses more efficiently when there are application-limited flights of data, lost retransmissions, or data packet reordering events.  It is intended to be an alternative to the DUPACK threshold approach in [RFC5681][RFC6675].</t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tcpm-rack-11"/>
        </reference>
        <reference anchor="RFC6582" target="https://www.rfc-editor.org/info/rfc6582">
          <front>
            <title>The NewReno Modification to TCP's Fast Recovery Algorithm</title>
            <author initials="T." surname="Henderson" fullname="T. Henderson">
              <organization/>
            </author>
            <author initials="S." surname="Floyd" fullname="S. Floyd">
              <organization/>
            </author>
            <author initials="A." surname="Gurtov" fullname="A. Gurtov">
              <organization/>
            </author>
            <author initials="Y." surname="Nishida" fullname="Y. Nishida">
              <organization/>
            </author>
            <date year="2012" month="April"/>
            <abstract>
              <t>RFC 5681 documents the following four intertwined TCP congestion control algorithms: slow start, congestion avoidance, fast retransmit, and fast recovery.  RFC 5681 explicitly allows certain modifications of these algorithms, including modifications that use the TCP Selective Acknowledgment (SACK) option (RFC 2883), and modifications that respond to "partial acknowledgments" (ACKs that cover new data, but not all the data outstanding when loss was detected) in the absence of SACK.  This document describes a specific algorithm for responding to partial acknowledgments, referred to as "NewReno".  This response to partial acknowledgments was first proposed by Janey Hoe.  This document obsoletes RFC 3782.  [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6582"/>
          <seriesInfo name="DOI" value="10.17487/RFC6582"/>
        </reference>
        <reference anchor="RFC8312" target="https://www.rfc-editor.org/info/rfc8312">
          <front>
            <title>CUBIC for Fast Long-Distance Networks</title>
            <author initials="I." surname="Rhee" fullname="I. Rhee">
              <organization/>
            </author>
            <author initials="L." surname="Xu" fullname="L. Xu">
              <organization/>
            </author>
            <author initials="S." surname="Ha" fullname="S. Ha">
              <organization/>
            </author>
            <author initials="A." surname="Zimmermann" fullname="A. Zimmermann">
              <organization/>
            </author>
            <author initials="L." surname="Eggert" fullname="L. Eggert">
              <organization/>
            </author>
            <author initials="R." surname="Scheffenegger" fullname="R. Scheffenegger">
              <organization/>
            </author>
            <date year="2018" month="February"/>
            <abstract>
              <t>CUBIC is an extension to the current TCP standards.  It differs from the current TCP standards only in the congestion control algorithm on the sender side.  In particular, it uses a cubic function instead of a linear window increase function of the current TCP standards to improve scalability and stability under fast and long-distance networks.  CUBIC and its predecessor algorithm have been adopted as defaults by Linux and have been used for many years.  This document provides a specification of CUBIC to enable third-party implementations and to solicit community feedback through experimentation on the performance of CUBIC.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8312"/>
          <seriesInfo name="DOI" value="10.17487/RFC8312"/>
        </reference>
        <reference anchor="RFC8311" target="https://www.rfc-editor.org/info/rfc8311">
          <front>
            <title>Relaxing Restrictions on Explicit Congestion Notification (ECN) Experimentation</title>
            <author initials="D." surname="Black" fullname="D. Black">
              <organization/>
            </author>
            <date year="2018" month="January"/>
            <abstract>
              <t>This memo updates RFC 3168, which specifies Explicit Congestion Notification (ECN) as an alternative to packet drops for indicating network congestion to endpoints.  It relaxes restrictions in RFC 3168 that hinder experimentation towards benefits beyond just removal of loss.  This memo summarizes the anticipated areas of experimentation and updates RFC 3168 to enable experimentation in these areas.  An Experimental RFC in the IETF document stream is required to take advantage of any of these enabling updates.  In addition, this memo makes related updates to the ECN specifications for RTP in RFC 6679 and for the Datagram Congestion Control Protocol (DCCP) in RFCs 4341, 4342, and 5622.  This memo also records the conclusion of the ECN nonce experiment in RFC 3540 and provides the rationale for reclassification of RFC 3540 from Experimental to Historic; this reclassification enables new experimental use of the ECT(1) codepoint.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8311"/>
          <seriesInfo name="DOI" value="10.17487/RFC8311"/>
        </reference>
        <reference anchor="RFC6928" target="https://www.rfc-editor.org/info/rfc6928">
          <front>
            <title>Increasing TCP's Initial Window</title>
            <author initials="J." surname="Chu" fullname="J. Chu">
              <organization/>
            </author>
            <author initials="N." surname="Dukkipati" fullname="N. Dukkipati">
              <organization/>
            </author>
            <author initials="Y." surname="Cheng" fullname="Y. Cheng">
              <organization/>
            </author>
            <author initials="M." surname="Mathis" fullname="M. Mathis">
              <organization/>
            </author>
            <date year="2013" month="April"/>
            <abstract>
              <t>This document proposes an experiment to increase the permitted TCP initial window (IW) from between 2 and 4 segments, as specified in RFC 3390, to 10 segments with a fallback to the existing recommendation when performance issues are detected.  It discusses the motivation behind the increase, the advantages and disadvantages of the higher initial window, and presents results from several large-scale experiments showing that the higher initial window improves the overall performance of many web services without resulting in a congestion collapse.  The document closes with a discussion of usage and deployment for further experimental purposes recommended by the IETF TCP Maintenance and Minor Extensions (TCPM) working group.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6928"/>
          <seriesInfo name="DOI" value="10.17487/RFC6928"/>
        </reference>
        <reference anchor="PRR" target="https://www.rfc-editor.org/info/rfc6937">
          <front>
            <title>Proportional Rate Reduction for TCP</title>
            <author initials="M." surname="Mathis" fullname="M. Mathis">
              <organization/>
            </author>
            <author initials="N." surname="Dukkipati" fullname="N. Dukkipati">
              <organization/>
            </author>
            <author initials="Y." surname="Cheng" fullname="Y. Cheng">
              <organization/>
            </author>
            <date year="2013" month="May"/>
            <abstract>
              <t>This document describes an experimental Proportional Rate Reduction (PRR) algorithm as an alternative to the widely deployed Fast Recovery and Rate-Halving algorithms.  These algorithms determine the amount of data sent by TCP during loss recovery.  PRR minimizes excess window adjustments, and the actual window size at the end of recovery will be as close as possible to the ssthresh, as determined by the congestion control algorithm.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6937"/>
          <seriesInfo name="DOI" value="10.17487/RFC6937"/>
        </reference>
        <reference anchor="RFC7661" target="https://www.rfc-editor.org/info/rfc7661">
          <front>
            <title>Updating TCP to Support Rate-Limited Traffic</title>
            <author initials="G." surname="Fairhurst" fullname="G. Fairhurst">
              <organization/>
            </author>
            <author initials="A." surname="Sathiaseelan" fullname="A. Sathiaseelan">
              <organization/>
            </author>
            <author initials="R." surname="Secchi" fullname="R. Secchi">
              <organization/>
            </author>
            <date year="2015" month="October"/>
            <abstract>
              <t>This document provides a mechanism to address issues that arise when TCP is used for traffic that exhibits periods where the sending rate is limited by the application rather than the congestion window.  It provides an experimental update to TCP that allows a TCP sender to restart quickly following a rate-limited interval.  This method is expected to benefit applications that send rate-limited traffic using TCP while also providing an appropriate response if congestion is experienced.</t>
              <t>This document also evaluates the Experimental specification of TCP Congestion Window Validation (CWV) defined in RFC 2861 and concludes that RFC 2861 sought to address important issues but failed to deliver a widely used solution.  This document therefore reclassifies the status of RFC 2861 from Experimental to Historic.  This document obsoletes RFC 2861.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7661"/>
          <seriesInfo name="DOI" value="10.17487/RFC7661"/>
        </reference>
        <reference anchor="RFC8511" target="https://www.rfc-editor.org/info/rfc8511">
          <front>
            <title>TCP Alternative Backoff with ECN (ABE)</title>
            <author initials="N." surname="Khademi" fullname="N. Khademi">
              <organization/>
            </author>
            <author initials="M." surname="Welzl" fullname="M. Welzl">
              <organization/>
            </author>
            <author initials="G." surname="Armitage" fullname="G. Armitage">
              <organization/>
            </author>
            <author initials="G." surname="Fairhurst" fullname="G. Fairhurst">
              <organization/>
            </author>
            <date year="2018" month="December"/>
            <abstract>
              <t>Active Queue Management (AQM) mechanisms allow for burst tolerance while enforcing short queues to minimise the time that packets spend enqueued at a bottleneck.  This can cause noticeable performance degradation for TCP connections traversing such a bottleneck, especially if there are only a few flows or their bandwidth-delay product (BDP) is large.  The reception of a Congestion Experienced (CE) Explicit Congestion Notification (ECN) mark indicates that an AQM mechanism is used at the bottleneck, and the bottleneck network queue is therefore likely to be short.  Feedback of this signal allows the TCP sender-side ECN reaction in congestion avoidance to reduce the Congestion Window (cwnd) by a smaller amount than the congestion control algorithm's reaction to inferred packet loss. Therefore, this specification defines an experimental change to the TCP reaction specified in RFC 3168, as permitted by RFC 8311.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8511"/>
          <seriesInfo name="DOI" value="10.17487/RFC8511"/>
        </reference>
        <reference anchor="RFC3465" target="https://www.rfc-editor.org/info/rfc3465">
          <front>
            <title>TCP Congestion Control with Appropriate Byte Counting (ABC)</title>
            <author initials="M." surname="Allman" fullname="M. Allman">
              <organization/>
            </author>
            <date year="2003" month="February"/>
            <abstract>
              <t>This document proposes a small modification to the way TCP increases its congestion window.  Rather than the traditional method of increasing the congestion window by a constant amount for each arriving acknowledgment, the document suggests basing the increase on the number of previously unacknowledged bytes each ACK covers.  This change improves the performance of TCP, as well as closes a security hole TCP receivers can use to induce the sender into increasing the sending rate too rapidly. This memo defines an Experimental Protocol for the Internet community.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="3465"/>
          <seriesInfo name="DOI" value="10.17487/RFC3465"/>
        </reference>
      </references>
    </references>
    <section anchor="loss-recovery-pseudocode" numbered="true" toc="default">
      <name>Loss Recovery Pseudocode</name>
      <t>We now describe an example implementation of the loss detection mechanisms
described in <xref target="loss-detection" format="default"/>.</t>
      <t>The pseudocode segments in this section are licensed as Code Components; see the
copyright notice.</t>
      <section anchor="tracking-sent-packets" numbered="true" toc="default">
        <name>Tracking Sent Packets</name>
        <t>To correctly implement congestion control, a QUIC sender tracks every
ack-eliciting packet until the packet is acknowledged or lost.
It is expected that implementations will be able to access this information by
packet number and crypto context and store the per-packet fields
(<xref target="sent-packets-fields" format="default"/>) for loss recovery and congestion control.</t>
        <t>After a packet is declared lost, the endpoint can still maintain state for it
for an amount of time to allow for packet reordering; see Section 13.3 of
<xref target="QUIC-TRANSPORT" format="default"/>. This enables a sender to detect spurious retransmissions.</t>
        <t>Sent packets are tracked for each packet number space, and ACK
processing only applies to a single space.</t>
        <section anchor="sent-packets-fields" numbered="true" toc="default">
          <name>Sent Packet Fields</name>
          <dl newline="false" spacing="normal">
            <dt>packet_number:</dt>
            <dd>
  The packet number of the sent packet.</dd>
            <dt>ack_eliciting:</dt>
            <dd>
  A boolean that indicates whether a packet is ack-eliciting.
If true, it is expected that an acknowledgement will be received,
though the peer could delay sending the ACK frame containing it
by up to the max_ack_delay.</dd>
            <dt>in_flight:</dt>
            <dd>
  A boolean that indicates whether the packet counts towards bytes in
flight.</dd>
            <dt>sent_bytes:</dt>
            <dd>
  The number of bytes sent in the packet, not including UDP or IP
overhead, but including QUIC framing overhead.</dd>
            <dt>time_sent:</dt>
            <dd>
  The time the packet was sent.</dd>
          </dl>
        </section>
      </section>
      <section anchor="constants-of-interest" numbered="true" toc="default">
        <name>Constants of Interest</name>
        <t>Constants used in loss recovery are based on a combination of RFCs, papers, and
common practice.</t>
        <dl newline="false" spacing="normal">
          <dt>kPacketThreshold:</dt>
          <dd>
  Maximum reordering in packets before packet threshold loss detection
considers a packet lost. The value recommended in <xref target="packet-threshold" format="default"/> is 3.</dd>
          <dt>kTimeThreshold:</dt>
          <dd>
  Maximum reordering in time before time threshold loss detection
considers a packet lost. Specified as an RTT multiplier. The value
recommended in <xref target="time-threshold" format="default"/> is 9/8.</dd>
          <dt>kGranularity:</dt>
          <dd>
  Timer granularity. This is a system-dependent value, and <xref target="time-threshold" format="default"/>
recommends a value of 1ms.</dd>
          <dt>kInitialRtt:</dt>
          <dd>
  The RTT used before an RTT sample is taken. The value recommended in
<xref target="pto-handshake" format="default"/> is 333ms.</dd>
          <dt>kPacketNumberSpace:</dt>
          <dd>
  An enum to enumerate the three packet number spaces.</dd>
        </dl>
        <artwork name="" type="" align="left" alt=""><![CDATA[
enum kPacketNumberSpace {
  Initial,
  Handshake,
  ApplicationData,
}
]]></artwork>
      </section>
      <section anchor="ld-vars-of-interest" numbered="true" toc="default">
        <name>Variables of interest</name>
        <t>Variables required to implement the congestion control mechanisms
are described in this section.</t>
        <dl newline="false" spacing="normal">
          <dt>latest_rtt:</dt>
          <dd>
  The most recent RTT measurement made when receiving an ack for
a previously unacked packet.</dd>
          <dt>smoothed_rtt:</dt>
          <dd>
  The smoothed RTT of the connection, computed as described in
<xref target="smoothed-rtt" format="default"/>.</dd>
          <dt>rttvar:</dt>
          <dd>
  The RTT variation, computed as described in <xref target="smoothed-rtt" format="default"/>.</dd>
          <dt>min_rtt:</dt>
          <dd>
  The minimum RTT seen in the connection, ignoring acknowledgment delay, as
described in <xref target="min-rtt" format="default"/>.</dd>
          <dt>first_rtt_sample:</dt>
          <dd>
  The time that the first RTT sample was obtained.</dd>
          <dt>max_ack_delay:</dt>
          <dd>
  The maximum amount of time by which the receiver intends to delay
acknowledgments for packets in the Application Data packet number
space, as defined by the eponymous transport parameter (Section 18.2
of <xref target="QUIC-TRANSPORT" format="default"/>). Note that the actual ack_delay in a received
ACK frame may be larger due to late timers, reordering, or loss.</dd>
          <dt>loss_detection_timer:</dt>
          <dd>
  Multi-modal timer used for loss detection.</dd>
          <dt>pto_count:</dt>
          <dd>
  The number of times a PTO has been sent without receiving an ack.</dd>
          <dt>time_of_last_ack_eliciting_packet[kPacketNumberSpace]:</dt>
          <dd>
  The time the most recent ack-eliciting packet was sent.</dd>
          <dt>largest_acked_packet[kPacketNumberSpace]:</dt>
          <dd>
  The largest packet number acknowledged in the packet number space so far.</dd>
          <dt>loss_time[kPacketNumberSpace]:</dt>
          <dd>
  The time at which the next packet in that packet number space will be
considered lost based on exceeding the reordering window in time.</dd>
          <dt>sent_packets[kPacketNumberSpace]:</dt>
          <dd>
  An association of packet numbers in a packet number space to information
about them.  Described in detail above in <xref target="tracking-sent-packets" format="default"/>.</dd>
        </dl>
      </section>
      <section anchor="initialization" numbered="true" toc="default">
        <name>Initialization</name>
        <t>At the beginning of the connection, initialize the loss detection variables as
follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
loss_detection_timer.reset()
pto_count = 0
latest_rtt = 0
smoothed_rtt = kInitialRtt
rttvar = kInitialRtt / 2
min_rtt = 0
first_rtt_sample = 0
for pn_space in [ Initial, Handshake, ApplicationData ]:
  largest_acked_packet[pn_space] = infinite
  time_of_last_ack_eliciting_packet[pn_space] = 0
  loss_time[pn_space] = 0
]]></artwork>
      </section>
      <section anchor="on-sending-a-packet" numbered="true" toc="default">
        <name>On Sending a Packet</name>
        <t>After a packet is sent, information about the packet is stored.  The parameters
to OnPacketSent are described in detail above in <xref target="sent-packets-fields" format="default"/>.</t>
        <t>Pseudocode for OnPacketSent follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
OnPacketSent(packet_number, pn_space, ack_eliciting,
             in_flight, sent_bytes):
  sent_packets[pn_space][packet_number].packet_number =
                                           packet_number
  sent_packets[pn_space][packet_number].time_sent = now()
  sent_packets[pn_space][packet_number].ack_eliciting =
                                           ack_eliciting
  sent_packets[pn_space][packet_number].in_flight = in_flight
  if (in_flight):
    if (ack_eliciting):
      time_of_last_ack_eliciting_packet[pn_space] = now()
    OnPacketSentCC(sent_bytes)
    sent_packets[pn_space][packet_number].sent_bytes =
      sent_bytes
    SetLossDetectionTimer()
]]></artwork>
      </section>
      <section anchor="on-receiving-a-datagram" numbered="true" toc="default">
        <name>On Receiving a Datagram</name>
        <t>When a server is blocked by anti-amplification limits, receiving
a datagram unblocks it, even if none of the packets in the
datagram are successfully processed. In such a case, the PTO
timer will need to be re-armed.</t>
        <t>Pseudocode for OnDatagramReceived follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
OnDatagramReceived(datagram):
  // If this datagram unblocks the server, arm the
  // PTO timer to avoid deadlock.
  if (server was at anti-amplification limit):
    SetLossDetectionTimer()
]]></artwork>
      </section>
      <section anchor="on-receiving-an-acknowledgment" numbered="true" toc="default">
        <name>On Receiving an Acknowledgment</name>
        <t>When an ACK frame is received, it may newly acknowledge any number of packets.</t>
        <t>Pseudocode for OnAckReceived and UpdateRtt follow:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
IncludesAckEliciting(packets):
  for packet in packets:
    if (packet.ack_eliciting):
      return true
  return false

OnAckReceived(ack, pn_space):
  if (largest_acked_packet[pn_space] == infinite):
    largest_acked_packet[pn_space] = ack.largest_acked
  else:
    largest_acked_packet[pn_space] =
        max(largest_acked_packet[pn_space], ack.largest_acked)

  // DetectAndRemoveAckedPackets finds packets that are newly
  // acknowledged and removes them from sent_packets.
  newly_acked_packets =
      DetectAndRemoveAckedPackets(ack, pn_space)
  // Nothing to do if there are no newly acked packets.
  if (newly_acked_packets.empty()):
    return

  // Update the RTT if the largest acknowledged is newly acked
  // and at least one ack-eliciting was newly acked.
  if (newly_acked_packets.largest().packet_number ==
          ack.largest_acked &&
      IncludesAckEliciting(newly_acked_packets)):
    latest_rtt =
      now() - newly_acked_packets.largest().time_sent
    UpdateRtt(ack.ack_delay)

  // Process ECN information if present.
  if (ACK frame contains ECN information):
      ProcessECN(ack, pn_space)

  lost_packets = DetectAndRemoveLostPackets(pn_space)
  if (!lost_packets.empty()):
    OnPacketsLost(lost_packets)
  OnPacketsAcked(newly_acked_packets)

  // Reset pto_count unless the client is unsure if
  // the server has validated the client's address.
  if (PeerCompletedAddressValidation()):
    pto_count = 0
  SetLossDetectionTimer()


UpdateRtt(ack_delay):
  if (first_rtt_sample == 0):
    min_rtt = latest_rtt
    smoothed_rtt = latest_rtt
    rttvar = latest_rtt / 2
    first_rtt_sample = now()
    return

  // min_rtt ignores acknowledgment delay.
  min_rtt = min(min_rtt, latest_rtt)
  // Limit ack_delay by max_ack_delay after handshake
  // confirmation. Note that ack_delay is 0 for
  // acknowledgements of Initial and Handshake packets.
  if (handshake confirmed):
    ack_delay = min(ack_delay, max_ack_delay)

  // Adjust for acknowledgment delay if plausible.
  adjusted_rtt = latest_rtt
  if (latest_rtt > min_rtt + ack_delay):
    adjusted_rtt = latest_rtt - ack_delay

  rttvar = 3/4 * rttvar + 1/4 * abs(smoothed_rtt - adjusted_rtt)
  smoothed_rtt = 7/8 * smoothed_rtt + 1/8 * adjusted_rtt
]]></artwork>
      </section>
      <section anchor="setting-the-loss-detection-timer" numbered="true" toc="default">
        <name>Setting the Loss Detection Timer</name>
        <t>QUIC loss detection uses a single timer for all timeout loss detection.  The
duration of the timer is based on the timer's mode, which is set in the packet
and timer events further below.  The function SetLossDetectionTimer defined
below shows how the single timer is set.</t>
        <t>This algorithm may result in the timer being set in the past, particularly if
timers wake up late. Timers set in the past fire immediately.</t>
        <t>Pseudocode for SetLossDetectionTimer follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
GetLossTimeAndSpace():
  time = loss_time[Initial]
  space = Initial
  for pn_space in [ Handshake, ApplicationData ]:
    if (time == 0 || loss_time[pn_space] < time):
      time = loss_time[pn_space];
      space = pn_space
  return time, space

GetPtoTimeAndSpace():
  duration = (smoothed_rtt + max(4 * rttvar, kGranularity))
      * (2 ^ pto_count)
  // Arm PTO from now when there are no inflight packets.
  if (no in-flight packets):
    assert(!PeerCompletedAddressValidation())
    if (has handshake keys):
      return (now() + duration), Handshake
    else:
      return (now() + duration), Initial
  pto_timeout = infinite
  pto_space = Initial
  for space in [ Initial, Handshake, ApplicationData ]:
    if (no in-flight packets in space):
        continue;
    if (space == ApplicationData):
      // Skip Application Data until handshake confirmed.
      if (handshake is not confirmed):
        return pto_timeout, pto_space
      // Include max_ack_delay and backoff for Application Data.
      duration += max_ack_delay * (2 ^ pto_count)

    t = time_of_last_ack_eliciting_packet[space] + duration
    if (t < pto_timeout):
      pto_timeout = t
      pto_space = space
  return pto_timeout, pto_space

PeerCompletedAddressValidation():
  // Assume clients validate the server's address implicitly.
  if (endpoint is server):
    return true
  // Servers complete address validation when a
  // protected packet is received.
  return has received Handshake ACK ||
       handshake confirmed

SetLossDetectionTimer():
  earliest_loss_time, _ = GetLossTimeAndSpace()
  if (earliest_loss_time != 0):
    // Time threshold loss detection.
    loss_detection_timer.update(earliest_loss_time)
    return

  if (server is at anti-amplification limit):
    // The server's timer is not set if nothing can be sent.
    loss_detection_timer.cancel()
    return

  if (no ack-eliciting packets in flight &&
      PeerCompletedAddressValidation()):
    // There is nothing to detect lost, so no timer is set.
    // However, the client needs to arm the timer if the
    // server might be blocked by the anti-amplification limit.
    loss_detection_timer.cancel()
    return

  // Determine which PN space to arm PTO for.
  timeout, _ = GetPtoTimeAndSpace()
  loss_detection_timer.update(timeout)
]]></artwork>
      </section>
      <section anchor="on-timeout" numbered="true" toc="default">
        <name>On Timeout</name>
        <t>When the loss detection timer expires, the timer's mode determines the action
to be performed.</t>
        <t>Pseudocode for OnLossDetectionTimeout follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
OnLossDetectionTimeout():
  earliest_loss_time, pn_space = GetLossTimeAndSpace()
  if (earliest_loss_time != 0):
    // Time threshold loss Detection
    lost_packets = DetectAndRemoveLostPackets(pn_space)
    assert(!lost_packets.empty())
    OnPacketsLost(lost_packets)
    SetLossDetectionTimer()
    return

  if (bytes_in_flight > 0):
    // PTO. Send new data if available, else retransmit old data.
    // If neither is available, send a single PING frame.
    _, pn_space = GetPtoTimeAndSpace()
    SendOneOrTwoAckElicitingPackets(pn_space)
  else:
    assert(!PeerCompletedAddressValidation())
    // Client sends an anti-deadlock packet: Initial is padded
    // to earn more anti-amplification credit,
    // a Handshake packet proves address ownership.
    if (has Handshake keys):
      SendOneAckElicitingHandshakePacket()
    else:
      SendOneAckElicitingPaddedInitialPacket()

  pto_count++
  SetLossDetectionTimer()
]]></artwork>
      </section>
      <section anchor="detecting-lost-packets" numbered="true" toc="default">
        <name>Detecting Lost Packets</name>
        <t>DetectAndRemoveLostPackets is called every time an ACK is received or the time
threshold loss detection timer expires. This function operates on the
sent_packets for that packet number space and returns a list of packets newly
detected as lost.</t>
        <t>Pseudocode for DetectAndRemoveLostPackets follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
DetectAndRemoveLostPackets(pn_space):
  assert(largest_acked_packet[pn_space] != infinite)
  loss_time[pn_space] = 0
  lost_packets = {}
  loss_delay = kTimeThreshold * max(latest_rtt, smoothed_rtt)

  // Minimum time of kGranularity before packets are deemed lost.
  loss_delay = max(loss_delay, kGranularity)

  // Packets sent before this time are deemed lost.
  lost_send_time = now() - loss_delay

  foreach unacked in sent_packets[pn_space]:
    if (unacked.packet_number > largest_acked_packet[pn_space]):
      continue

    // Mark packet as lost, or set time when it should be marked.
    // Note: The use of kPacketThreshold here assumes that there
    // were no sender-induced gaps in the packet number space.
    if (unacked.time_sent <= lost_send_time ||
        largest_acked_packet[pn_space] >=
          unacked.packet_number + kPacketThreshold):
      sent_packets[pn_space].remove(unacked.packet_number)
      if (unacked.in_flight):
        lost_packets.insert(unacked)
    else:
      if (loss_time[pn_space] == 0):
        loss_time[pn_space] = unacked.time_sent + loss_delay
      else:
        loss_time[pn_space] = min(loss_time[pn_space],
                                  unacked.time_sent + loss_delay)
  return lost_packets
]]></artwork>
      </section>
      <section anchor="upon-dropping-initial-or-handshake-keys" numbered="true" toc="default">
        <name>Upon Dropping Initial or Handshake Keys</name>
        <t>When Initial or Handshake keys are discarded, packets from the space
are discarded and loss detection state is updated.</t>
        <t>Pseudocode for OnPacketNumberSpaceDiscarded follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
OnPacketNumberSpaceDiscarded(pn_space):
  assert(pn_space != ApplicationData)
  RemoveFromBytesInFlight(sent_packets[pn_space])
  sent_packets[pn_space].clear()
  // Reset the loss detection and PTO timer
  time_of_last_ack_eliciting_packet[pn_space] = 0
  loss_time[pn_space] = 0
  pto_count = 0
  SetLossDetectionTimer()
]]></artwork>
      </section>
    </section>
    <section anchor="congestion-control-pseudocode" numbered="true" toc="default">
      <name>Congestion Control Pseudocode</name>
      <t>We now describe an example implementation of the congestion controller described
in <xref target="congestion-control" format="default"/>.</t>
      <t>The pseudocode segments in this section are licensed as Code Components; see the
copyright notice.</t>
      <section anchor="cc-consts-of-interest" numbered="true" toc="default">
        <name>Constants of interest</name>
        <t>Constants used in congestion control are based on a combination of RFCs, papers,
and common practice.</t>
        <dl newline="false" spacing="normal">
          <dt>kInitialWindow:</dt>
          <dd>
  Default limit on the initial bytes in flight as described in <xref target="initial-cwnd" format="default"/>.</dd>
          <dt>kMinimumWindow:</dt>
          <dd>
  Minimum congestion window in bytes as described in <xref target="initial-cwnd" format="default"/>.</dd>
          <dt>kLossReductionFactor:</dt>
          <dd>
  Reduction in congestion window when a new loss event is detected.
<xref target="congestion-control" format="default"/> recommends a value is 0.5.</dd>
          <dt>kPersistentCongestionThreshold:</dt>
          <dd>
  Period of time for persistent congestion to be established, specified as a PTO
multiplier. <xref target="persistent-congestion" format="default"/> recommends a value of 3.</dd>
        </dl>
      </section>
      <section anchor="vars-of-interest" numbered="true" toc="default">
        <name>Variables of interest</name>
        <t>Variables required to implement the congestion control mechanisms
are described in this section.</t>
        <dl newline="false" spacing="normal">
          <dt>max_datagram_size:</dt>
          <dd>
  The sender's current maximum payload size. Does not include UDP or IP
overhead.  The max datagram size is used for congestion window
computations. An endpoint sets the value of this variable based on its Path
Maximum Transmission Unit (PMTU; see Section 14.2 of <xref target="QUIC-TRANSPORT" format="default"/>), with
a minimum value of 1200 bytes.</dd>
          <dt>ecn_ce_counters[kPacketNumberSpace]:</dt>
          <dd>
  The highest value reported for the ECN-CE counter in the packet number space
by the peer in an ACK frame. This value is used to detect increases in the
reported ECN-CE counter.</dd>
          <dt>bytes_in_flight:</dt>
          <dd>
  The sum of the size in bytes of all sent packets that contain at least one
ack-eliciting or PADDING frame, and have not been acknowledged or declared
lost. The size does not include IP or UDP overhead, but does include the QUIC
header and AEAD overhead.  Packets only containing ACK frames do not count
towards bytes_in_flight to ensure congestion control does not impede
congestion feedback.</dd>
          <dt>congestion_window:</dt>
          <dd>
  Maximum number of bytes-in-flight that may be sent.</dd>
          <dt>congestion_recovery_start_time:</dt>
          <dd>
  The time when QUIC first detects congestion due to loss or ECN, causing
it to enter congestion recovery. When a packet sent after this time is
acknowledged, QUIC exits congestion recovery.</dd>
          <dt>ssthresh:</dt>
          <dd>
  Slow start threshold in bytes.  When the congestion window is below ssthresh,
the mode is slow start and the window grows by the number of bytes
acknowledged.</dd>
        </dl>
        <t>The congestion control pseudocode also accesses some of the variables from the
loss recovery pseudocode.</t>
      </section>
      <section anchor="initialization-1" numbered="true" toc="default">
        <name>Initialization</name>
        <t>At the beginning of the connection, initialize the congestion control
variables as follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
congestion_window = kInitialWindow
bytes_in_flight = 0
congestion_recovery_start_time = 0
ssthresh = infinite
for pn_space in [ Initial, Handshake, ApplicationData ]:
  ecn_ce_counters[pn_space] = 0
]]></artwork>
      </section>
      <section anchor="on-packet-sent" numbered="true" toc="default">
        <name>On Packet Sent</name>
        <t>Whenever a packet is sent, and it contains non-ACK frames, the packet
increases bytes_in_flight.</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
OnPacketSentCC(bytes_sent):
  bytes_in_flight += bytes_sent
]]></artwork>
      </section>
      <section anchor="on-packet-acknowledgement" numbered="true" toc="default">
        <name>On Packet Acknowledgement</name>
        <t>Invoked from loss detection's OnAckReceived and is supplied with the
newly acked_packets from sent_packets.</t>
        <t>In congestion avoidance, implementers that use an integer representation
for congestion_window should be careful with division, and can use
the alternative approach suggested in Section 2.1 of <xref target="RFC3465" format="default"/>.</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
InCongestionRecovery(sent_time):
  return sent_time <= congestion_recovery_start_time

OnPacketsAcked(acked_packets):
  for acked_packet in acked_packets:
    OnPacketAcked(acked_packet)

OnPacketAcked(acked_packet):
  // Remove from bytes_in_flight.
  bytes_in_flight -= acked_packet.sent_bytes
  // Do not increase congestion_window if application
  // limited or flow control limited.
  if (IsAppOrFlowControlLimited())
    return
  // Do not increase congestion window in recovery period.
  if (InCongestionRecovery(acked_packet.time_sent)):
    return
  if (congestion_window < ssthresh):
    // Slow start.
    congestion_window += acked_packet.sent_bytes
  else:
    // Congestion avoidance.
    congestion_window +=
      max_datagram_size * acked_packet.sent_bytes
      / congestion_window
]]></artwork>
      </section>
      <section anchor="on-new-congestion-event" numbered="true" toc="default">
        <name>On New Congestion Event</name>
        <t>Invoked from ProcessECN and OnPacketsLost when a new congestion event is
detected. If not already in recovery, this starts a recovery period and
reduces the slow start threshold and congestion window immediately.</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
OnCongestionEvent(sent_time):
  // No reaction if already in a recovery period.
  if (InCongestionRecovery(sent_time)):
    return

  // Enter recovery period.
  congestion_recovery_start_time = now()
  ssthresh = congestion_window * kLossReductionFactor
  congestion_window = max(ssthresh, kMinimumWindow)
  // A packet can be sent to speed up loss recovery.
  MaybeSendOnePacket()
]]></artwork>
      </section>
      <section anchor="process-ecn-information" numbered="true" toc="default">
        <name>Process ECN Information</name>
        <t>Invoked when an ACK frame with an ECN section is received from the peer.</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
ProcessECN(ack, pn_space):
  // If the ECN-CE counter reported by the peer has increased,
  // this could be a new congestion event.
  if (ack.ce_counter > ecn_ce_counters[pn_space]):
    ecn_ce_counters[pn_space] = ack.ce_counter
    sent_time = sent_packets[ack.largest_acked].time_sent
    OnCongestionEvent(sent_time)
]]></artwork>
      </section>
      <section anchor="on-packets-lost" numbered="true" toc="default">
        <name>On Packets Lost</name>
        <t>Invoked when DetectAndRemoveLostPackets deems packets lost.</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
OnPacketsLost(lost_packets):
  // Remove lost packets from bytes_in_flight.
  for lost_packet in lost_packets:
    bytes_in_flight -= lost_packet.sent_bytes
  OnCongestionEvent(lost_packets.largest().time_sent)

  // Reset the congestion window if the loss of these
  // packets indicates persistent congestion.
  // Only consider packets sent after getting an RTT sample.
  if (first_rtt_sample == 0):
    return
  pc_lost = {}
  for lost in lost_packets:
    if lost.time_sent > first_rtt_sample:
      pc_lost.insert(lost)
  if (InPersistentCongestion(pc_lost)):
    congestion_window = kMinimumWindow
    congestion_recovery_start_time = 0
]]></artwork>
      </section>
      <section anchor="removing-discarded-packets-from-bytes-in-flight" numbered="true" toc="default">
        <name>Removing Discarded Packets From Bytes In Flight</name>
        <t>When Initial or Handshake keys are discarded, packets sent in that space no
longer count toward bytes in flight.</t>
        <t>Pseudocode for RemoveFromBytesInFlight follows:</t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
RemoveFromBytesInFlight(discarded_packets):
  // Remove any unacknowledged packets from flight.
  foreach packet in discarded_packets:
    if packet.in_flight
      bytes_in_flight -= size
]]></artwork>
      </section>
    </section>
    <section anchor="change-log" numbered="true" toc="default">
      <name>Change Log</name>
      <ul empty="true" spacing="normal">
        <li>
          <strong>RFC Editor's Note:</strong>  Please remove this section prior to
publication of a final version of this document.</li>
      </ul>
      <t>Issue and pull request numbers are listed with a leading octothorp.</t>
      <section anchor="since-draft-ietf-quic-recovery-31" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-31</name>
        <ul spacing="normal">
          <li>Limit the number of Initial packets sent in response to unauthenticated
packets (#4183, #4188)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-30" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-30</name>
        <t>Editorial changes only.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-29" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-29</name>
        <ul spacing="normal">
          <li>Allow caching of packets that can't be decrypted, by allowing the reported
acknowledgment delay to exceed max_ack_delay prior to confirming the
handshake (#3821, #3980, #4035, #3874)</li>
          <li>Persistent congestion cannot include packets sent before the first RTT
sample for the path (#3875, #3889)</li>
          <li>Recommend reset of min_rtt in persistent congestion (#3927, #3975)</li>
          <li>Persistent congestion is independent of packet number space (#3939, #3961)</li>
          <li>Only limit bursts to the initial window without information about the path
(#3892, #3936)</li>
          <li>Add normative requirements for increasing and reducing the congestion
window (#3944, #3978, #3997, #3998)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-28" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-28</name>
        <ul spacing="normal">
          <li>Refactored pseudocode to correct PTO calculation (#3564, #3674, #3681)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-27" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-27</name>
        <ul spacing="normal">
          <li>Added recommendations for speeding up handshake under some loss conditions
(#3078, #3080)</li>
          <li>PTO count is reset when handshake progress is made (#3272, #3415)</li>
          <li>PTO count is not reset by a client when the server might be awaiting
address validation (#3546, #3551)</li>
          <li>Recommend repairing losses immediately after entering the recovery period
(#3335, #3443)</li>
          <li>Clarified what loss conditions can be ignored during the handshake (#3456,
#3450)</li>
          <li>Allow, but don't recommend, using RTT from previous connection to seed RTT
(#3464, #3496)</li>
          <li>Recommend use of adaptive loss detection thresholds (#3571, #3572)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-26" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-26</name>
        <t>No changes.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-25" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-25</name>
        <t>No significant changes.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-24" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-24</name>
        <ul spacing="normal">
          <li>Require congestion control of some sort (#3247, #3244, #3248)</li>
          <li>Set a minimum reordering threshold (#3256, #3240)</li>
          <li>PTO is specific to a packet number space (#3067, #3074, #3066)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-23" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-23</name>
        <ul spacing="normal">
          <li>Define under-utilizing the congestion window (#2630, #2686, #2675)</li>
          <li>PTO MUST send data if possible (#3056, #3057)</li>
          <li>Connection Close is not ack-eliciting (#3097, #3098)</li>
          <li>MUST limit bursts to the initial congestion window (#3160)</li>
          <li>Define the current max_datagram_size for congestion control
(#3041, #3167)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-22" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-22</name>
        <ul spacing="normal">
          <li>PTO should always send an ack-eliciting packet (#2895)</li>
          <li>Unify the Handshake Timer with the PTO timer (#2648, #2658, #2886)</li>
          <li>Move ACK generation text to transport draft (#1860, #2916)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-21" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-21</name>
        <ul spacing="normal">
          <li>No changes</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-20" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-20</name>
        <ul spacing="normal">
          <li>Path validation can be used as initial RTT value (#2644, #2687)</li>
          <li>max_ack_delay transport parameter defaults to 0 (#2638, #2646)</li>
          <li>ACK delay only measures intentional delays induced by the implementation
(#2596, #2786)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-19" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-19</name>
        <ul spacing="normal">
          <li>Change kPersistentThreshold from an exponent to a multiplier (#2557)</li>
          <li>Send a PING if the PTO timer fires and there's nothing to send (#2624)</li>
          <li>Set loss delay to at least kGranularity (#2617)</li>
          <li>Merge application limited and sending after idle sections. Always limit
burst size instead of requiring resetting CWND to initial CWND after
idle (#2605)</li>
          <li>Rewrite RTT estimation, allow RTT samples where a newly acked packet is
ack-eliciting but the largest_acked is not (#2592)</li>
          <li>Don't arm the handshake timer if there is no handshake data (#2590)</li>
          <li>Clarify that the time threshold loss alarm takes precedence over the
crypto handshake timer (#2590, #2620)</li>
          <li>Change initial RTT to 500ms to align with RFC6298 (#2184)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-18" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-18</name>
        <ul spacing="normal">
          <li>Change IW byte limit to 14720 from 14600 (#2494)</li>
          <li>Update PTO calculation to match RFC6298 (#2480, #2489, #2490)</li>
          <li>Improve loss detection's description of multiple packet number spaces and
pseudocode (#2485, #2451, #2417)</li>
          <li>Declare persistent congestion even if non-probe packets are sent and don't
make persistent congestion more aggressive than RTO verified was (#2365,
#2244)</li>
          <li>Move pseudocode to the appendices (#2408)</li>
          <li>What to send on multiple PTOs (#2380)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-17" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-17</name>
        <ul spacing="normal">
          <li>After Probe Timeout discard in-flight packets or send another (#2212, #1965)</li>
          <li>Endpoints discard initial keys as soon as handshake keys are available (#1951,
#2045)</li>
          <li>0-RTT state is discarded when 0-RTT is rejected (#2300)</li>
          <li>Loss detection timer is cancelled when ack-eliciting frames are in flight
(#2117, #2093)</li>
          <li>Packets are declared lost if they are in flight (#2104)</li>
          <li>After becoming idle, either pace packets or reset the congestion controller
(#2138, 2187)</li>
          <li>Process ECN counts before marking packets lost (#2142)</li>
          <li>Mark packets lost before resetting crypto_count and pto_count (#2208, #2209)</li>
          <li>Congestion and loss recovery state are discarded when keys are discarded
(#2327)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-16" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-16</name>
        <ul spacing="normal">
          <li>Unify TLP and RTO into a single PTO; eliminate min RTO, min TLP and min crypto
timeouts; eliminate timeout validation (#2114, #2166, #2168, #1017)</li>
          <li>Redefine how congestion avoidance in terms of when the period starts (#1928,
#1930)</li>
          <li>Document what needs to be tracked for packets that are in flight (#765, #1724,
#1939)</li>
          <li>Integrate both time and packet thresholds into loss detection (#1969, #1212,
#934, #1974)</li>
          <li>Reduce congestion window after idle, unless pacing is used (#2007, #2023)</li>
          <li>Disable RTT calculation for packets that don't elicit acknowledgment (#2060,
#2078)</li>
          <li>Limit ack_delay by max_ack_delay (#2060, #2099)</li>
          <li>Initial keys are discarded once Handshake keys are available (#1951, #2045)</li>
          <li>Reorder ECN and loss detection in pseudocode (#2142)</li>
          <li>Only cancel loss detection timer if ack-eliciting packets are in flight
(#2093, #2117)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-14" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-14</name>
        <ul spacing="normal">
          <li>Used max_ack_delay from transport params (#1796, #1782)</li>
          <li>Merge ACK and ACK_ECN (#1783)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-13" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-13</name>
        <ul spacing="normal">
          <li>Corrected the lack of ssthresh reduction in CongestionEvent pseudocode (#1598)</li>
          <li>Considerations for ECN spoofing (#1426, #1626)</li>
          <li>Clarifications for PADDING and congestion control (#837, #838, #1517, #1531,
#1540)</li>
          <li>Reduce early retransmission timer to RTT/8 (#945, #1581)</li>
          <li>Packets are declared lost after an RTO is verified (#935, #1582)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-12" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-12</name>
        <ul spacing="normal">
          <li>Changes to manage separate packet number spaces and encryption levels (#1190,
#1242, #1413, #1450)</li>
          <li>Added ECN feedback mechanisms and handling; new ACK_ECN frame (#804, #805,
#1372)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-11" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-11</name>
        <t>No significant changes.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-10" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-10</name>
        <ul spacing="normal">
          <li>Improved text on ack generation (#1139, #1159)</li>
          <li>Make references to TCP recovery mechanisms informational (#1195)</li>
          <li>Define time_of_last_sent_handshake_packet (#1171)</li>
          <li>Added signal from TLS the data it includes needs to be sent in a Retry packet
(#1061, #1199)</li>
          <li>Minimum RTT (min_rtt) is initialized with an infinite value (#1169)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-09" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-09</name>
        <t>No significant changes.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-08" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-08</name>
        <ul spacing="normal">
          <li>Clarified pacing and RTO (#967, #977)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-07" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-07</name>
        <ul spacing="normal">
          <li>Include ACK delay in RTO(and TLP) computations (#981)</li>
          <li>ACK delay in SRTT computation (#961)</li>
          <li>Default RTT and Slow Start (#590)</li>
          <li>Many editorial fixes.</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-06" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-06</name>
        <t>No significant changes.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-05" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-05</name>
        <ul spacing="normal">
          <li>Add more congestion control text (#776)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-04" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-04</name>
        <t>No significant changes.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-03" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-03</name>
        <t>No significant changes.</t>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-02" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-02</name>
        <ul spacing="normal">
          <li>Integrate F-RTO (#544, #409)</li>
          <li>Add congestion control (#545, #395)</li>
          <li>Require connection abort if a skipped packet was acknowledged (#415)</li>
          <li>Simplify RTO calculations (#142, #417)</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-01" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-01</name>
        <ul spacing="normal">
          <li>Overview added to loss detection</li>
          <li>Changes initial default RTT to 100ms</li>
          <li>Added time-based loss detection and fixes early retransmit</li>
          <li>Clarified loss recovery for handshake packets</li>
          <li>Fixed references and made TCP references informative</li>
        </ul>
      </section>
      <section anchor="since-draft-ietf-quic-recovery-00" numbered="true" toc="default">
        <name>Since draft-ietf-quic-recovery-00</name>
        <ul spacing="normal">
          <li>Improved description of constants and ACK behavior</li>
        </ul>
      </section>
      <section anchor="since-draft-iyengar-quic-loss-recovery-01" numbered="true" toc="default">
        <name>Since draft-iyengar-quic-loss-recovery-01</name>
        <ul spacing="normal">
          <li>Adopted as base for draft-ietf-quic-recovery</li>
          <li>Updated authors/editors list</li>
          <li>Added table of contents</li>
        </ul>
      </section>
    </section>
    <section anchor="contributors" numbered="true" toc="default">
      <name>Contributors</name>
      <t>The IETF QUIC Working Group received an enormous amount of support from many
people. The following people provided substantive contributions to this
document:</t>
      <ul spacing="normal">
        <li>Alessandro Ghedini</li>
        <li>Benjamin Saunders</li>
        <li>Gorry Fairhurst</li>
        <li>
          <t>        <contact asciiFullname="Kazu Yamamoto" fullname="山本和彦"/>
          </t>
        </li>
        <li>
          <t>        <contact asciiFullname="Kazuho Oku" fullname="奥 一穂"/>
          </t>
        </li>
        <li>Lars Eggert</li>
        <li>Magnus Westerlund</li>
        <li>Marten Seemann</li>
        <li>Martin Duke</li>
        <li>Martin Thomson</li>
        <li>
          <t>        <contact fullname="Mirja Kühlewind"/>
          </t>
        </li>
        <li>Nick Banks</li>
        <li>Praveen Balasubramanian</li>
      </ul>
    </section>
    <section numbered="false" anchor="acknowledgments" toc="default">
      <name>Acknowledgments</name>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAC1jj18AA8W9y3IcSZYotveviCbNbgFVmSASLwKsZt1Bk6xqzhQfIlBT
NtbqixvIjASimRmRExEJFIbFMZnWWmmthTZXZjLT5u60kDbSr2ik39B5uh/3
iARR03MlWHUTyIzwx/Hj5/0Yj8euK7tF8Sz7r356/SL7sW7b7GXRFdOurKss
r2bZi7q6Klr6E37tmnrh8svLprgZfMXN6mmVL2G8WZPPu3FZdPPxP67L6bgp
pvVN0dyN9/fcLO/gib3dvd3xZHe8t+um8MFV3dw9y9pu5spV8yzrmnXb7e3u
nuzuubwp8mfZeZNX7apuOndbNx+vmnq94jU413aw1It8UVcw7l3RulX5LPtT
V09HWQsvNMW8hd/ulvwLrHGZr1ZldfVn5/J1d103z1w2dhn8lFX7LPvbnez1
XVFd5Q19xhv627zKo4/r5upZ9n3edos7+rtY5uXiWfaXptzBbf/NFf69M62X
9C0ADgYpZmVXN9Fkr3eys9ui68xUr/PKfEbz/FDXV4vCzlMCNPCZv7mir4Yn
clXdLPOuvCmeOfgWoTU+/3D69uz9uw/nz+h5Of9H+N2z7DT76eX78R/ytphl
b9aLrlwtil/gd0SFs2K6bopwDo/o/d5h4odt0ZRFW1bzmifJstdVVzRV0Y1f
ImL08aPTURFB8AV/MPQzln+HT+ieUxo6qf55DM3xZic7v66XLWB1PMebvOnK
qvclzfKm/qdysciHp/En8ONZDPufAFRXGXycdbWCGZ/8t4Xwon0QbP/t9z04
zRlMs4b1pid4VgD2J9/QFG2138w2ABbhYBH9+9MXfxeD+Pu6uc2bWXY6/VjV
t4tidlUsiwrA9KGYlxWB/8X7AWr3aAhgHlBv8u66bOOP/xY/vp7lN6U5vcnJ
ydF49zg9uuz0xZvs7PUPL969eePceDzO8ssWrsK0c+4cRkZatcZ1ZrOinTbl
ZdFmC6S4s4hIT8Oyp7zsbFlMr/OqbJdtBqBxiE07PENVd8XFW/y/rr74UOSz
ommde1m203Xb4hD1POtobkSgrMs/wqSrRT4tMviyu2bUzJAII9iIEGdIk/Cv
Rdl2butPiHB/g6i3A0f35y38tqufRZ9ub4+y2+tyep3BVHkzvYazAzrTuT/9
eeu661btsydP8D35akffe4IfPGkL+uffEzG8wFmf4+jbsMefZWE/0MI8ZiBs
ALMuC4DHusKZMjPTVdldry+RiD7BcW6vtr8F1rFupoWb1rOCoFy27RrhD5Mh
TC2QkpHdfSM/uQTqOqb32ieL/LJYtE88e9yWQ1qWsxnQe/cYr3VTz9bMXukc
CWBZVdxmy4RCt0w6PC3NVk0NXBDQIe/qFZJ2YIOrYlrOS3ijrNynTzFL+PwZ
L/8w3g0gGc6J6Oh0+QQXwrXsTUBAHQOnFKjp8PN6sahvCavaVdmUnQPsK34B
EOuVvGfazE8bsH0UzeY+fP8CPrrJm7Jet4FEMvRHQFiyfAo3YFlOs1W+gpsw
otHzRVvDouq2ABAWN/kC1wrD4YLKJUAcF09I1e7gIQGxuIFP8G96/yURFfob
L3KRfSzu8MbM2uzRm5/Ozh+N+N/s7Tv6/cMrANqHVy/x97M/nv74o//FyRNn
f3z3048vw2/hTaQdr96+5Jfh0yz6yD16c/oPj3hXj969P3/97u3pj4/6B5Ej
3tSIxCUCCXbdIVK1Ljq8P7x4/3/8j5OD7NOn3wFk9yaTk8+f5Y/jydMD+OP2
uqh4trpa3MmfcLx3DkQuuLQ4Sr5YwI1ZlR2AGZ5ts/a6vq2y66IpAJrOAI9o
UdEADnXXOS9y3Q7gERB9IOzjYlFOS8KceQPMpIWPgcTCbPxnVsNC8N7CbQUG
Mcren758+frtD7zeF+/evn31AgF08eLHd2evaDZAubYEClkg58ntFDvplCv4
uuh4zvf8O68a0TbHbQ+sMOMPMl4RfFgv6TIAZhdA9ZAF3gIBKZnwLvNfyuV6
iSNZJgYov8jvGHFxzQBfPLuh1cGqX1fj+aK8uu6ilcabBQDLQ3SCdID0SDwo
XB+/OVipgJO3xkClF6/zmwIwC8ZpcbWXaz5JYER2JzO8ulOg9wRruN8d3c8Z
MCZg3LghkO+vCBxZvZjhleLL9xKY6ZWwLWFOJKMuS+Znb3LgICBO3MGJAS50
5rsWMYnewAXR6mj8XOA1XhQ3xQIwE7mk51fVrESNpXU4X1FNm7sV0Sd+mFhF
NV2s4eb4gWDsf1zDo7Dr9fISkHALdJGiQVDTrUMiCJfNP85Pbe9k2fnQHH4J
tOXoHaCjwKpHvas7ROrl9OXNFngKoBzgHlzUTvFOl+Ts8ML/CmCG86IrlwVC
P0dkqFgs6Y/tAQxkdFnD2ddViZh6h8ACBa9lhAI4h5llK0iCkbrCA/nysrxa
l93djgpIcviXN6WHR1XAlueMO/xCTi9fFt0tYmGMAXBewL+iz75l6gKIviwr
GhYnAa4JfB7vM3KAX2ARfF8Rrl+1ztNNFjYAIMgtEmktMKodYeZyMUmE0Muk
fN3TrTlsZQ74gvDr7lZFu0N4ofzPGWmvqFqSAZDygOyZEz7KOPQhQaeBveWX
MAOQjpJYKJyPs7eR7p7cR7qNImHQCZL0oSvPEXGmRdvmzR2vi5aInFzmlX0x
Inocz2FH0y4w8Q2S7KK+KqdAq74mSr4y9ComHsCu11fX/oGI9FZ1Sr51aTgO
capo74bURG/BKIGQfp39iE8xcRie98WHf3h//s7OBReyQ7zHaw+4igMWDYmo
SBwsDYMDnbXXIH0TYIDtIZtsOmRgcOEaluuzlBfQupSoyzLMdkGQK5EuIbOB
A+7xPH9ga8S0GlUmmGPoVOBqdG3gOQOsg5dieQJiOW7Ew6rm8UpgCYVMl13e
4YUD4CkDKvFk0RYyKwFXQImnUYgaVGb7xAlZhGkZEI9BuQN6iXf2pVwfQNPs
D0IGmO7DBuCeOieaUDbPl6DK5EyF8KuvHqpy3ZYoaQBpdvniqoZzvobriEIN
48Qqb5Axw3PFYjHGVVdEIeoKr/Mf61skvqMgss/Ckt3lwJJj0GV+ThBlzat0
IUmM5WGd+Y5O7hKU0TnANDAL4kYIvsegjOOqYQIh5m+ZB5whXW6FgMGBAn3U
Bwd4EWFqVgAX7jGyEcj602LVZbvjD+fnjkXvRXZVALvOvQQ4wS+J39M1IGUB
sGloLuA7umY3uBQmj21PhIJpFCuDGABHIwy3njuzdjppFF8YndvVmvWLmI0M
j5m7QMpTcMDqXwyrOw1qlmM47hXd/mwLILINZD/H3XgBfl2xZpdPG8TYIQDw
ub6JGPDrwICjc0bdhfFsvmDmGu2OeDUgNp1HUSnnDizFPuFUolUpCg4BuBxd
9IT7KhWkMyYWBgJgc4fL049dIk6N9E7y50gjFnCficI8Sk7FixCPdtge5xR5
WXrobuudLGB2IpLhiCp9DcBjx52uVgv8Fj+ixZet55qIT3AVljXKQh3AfMkU
NIFYiaIbqj3EMi/v5FmAy7xFZIKN1ygQi5x0dv7h1ekbobAiVnyVnj6uAtCH
yKcRuBIhL5Yh6T56osuzDiEBwPE0uwZi7dmgH4fFJhKVBVPkgdtcwIKYJeeX
A6G93TwGkVE3NAbolYuS1vEzait+N4b/xWxcuFGpVF1EnBGfu5fevVij7ItA
FWQfJ8pC+MTjI9zK+iaSWLP8EtiYYL88DScdyR2kbIkuWLaqBc6YLnjcHjEG
5dPpmmgukk5DClo1Ry2Bo402USem/oASIDgviP4zIOgorEDZrmG9AGk0oAND
lTG8zStHfIelA+0BFG5xrFF2SQ4EkqvqKibEieC+qkFutuI1vNKiiYWPfKP4
HCxN7g0Kp0iozLc0Ahw2CnZdVyxXHV/cOd7gHgKTciBLJpKXkJc2G+Mp19VY
4JV1efsRmBcZ0wh8dHL4KpLntsuXKwKwIyX3Bu2YIG0z8X0BpKmBdZDr7NWq
nl4LJ4XXGpSpeNcFfiMYEfAliOJAcVuiKII0d4qUdCXyOUmKqDzSODJ2GXE+
RCxc822OspzqdFf5ig0sPTIryh8LWfMSzQx8c1uALSqAbcFimK7TKzIEFUfX
p6lvR6w7hl0u8zvip0XFiluLshCAmdgeIukKBJk/FMxuL+vu2oEsvF6gHjNb
T0kkKBsrk90Cja5vW0VBeATEbJ5MLjnx8Bmsu3P0PckoRITDpCy4Fb+s0GJP
EhOumTgY7IlQLr/jOcxIwn393u0mCAHe1nCPquIKKRGfPNx3L61HJmtaANJu
ELdBFUPQ47RnZL5CQwq9PquRWNUdCJ5kSKgSdUawh8+twanx4K6ACZjrRgw2
MW7ChgjcGWsNJIkgxPHRJVA4gBZovC1pnOIcYElAxQz4HGnZhxxPRtF8vULj
NEAIF4pfN/T1KKvhi5ZNIix479NO5fsd9HERn2Gjc1HdlE1dEckbscYO97GY
BbvwSPCjHSCCnZh6RSB0c3EQgaB8hVtSvQNVZQIN7g+wGD6SY3z1C9MYoM1N
IwTqe8Cil2iNK3quJt0+wIeIHuyfaTaBjU14wHnWZBRSgb93/ZUlEJVW2xyg
DrzVrmoQTJjXWZ1IBJBRRthBD8BtYFFmCQgn9ruYp6QCJ94rwMniWxirQB8l
bXeyv7OH4tqAcYlA9L6pAePOGWyA9ORGaoFhvWMt5sf3VonIEfiXhYI52wLd
mef79GnV1Z8/o8uIOS6pwJ5mC7bAsA6NM2vGXhHv4AvUwT1TJwECtv9V6+2p
eMNJCEi0Aqen0nYgTeJGRe8E4oc+FxDQ6H1Z8E58G+FUFot8xRqL6xEn4Jhd
uUC61JYwPhmW/CNbsGP/xTh8ATBg8ZANMyMYZFF+JFqkgrXO2gpm9KYFNMEd
lyhvAtGuHMCN7pbfpQyhEnd/DBZacQ34DJFNlCOvXLAbG3mK8K6VwzW6P/Ll
uoExULoEPbCYJdM5mQ7xnEyTJJ/T0dMGCrZnA8R5qWWrM97UJdCBdRUkuP4m
iDYQmRuJ/RB3EBkQp3Kzidz1JaIxIjIc1b//8P2Lw6PjPTidneysRCbgMcGl
mDCwEtRKCElpV4S8cFt5DNGsSibwZHbBxaHhEb+ipeHNDZD3JjISAdKBkVED
zYL5Fwt3Dbvw0kl/YeIMrJEotEqL/IJcHlSdsS5MjP40aXxSPBb8x4Tmiqgs
kDLyxzh/gwOgZcL+JMz5gCNVbEqj54j99Z9FN02GmLzwagPJHaKNAO1bhAvr
FbvBS4nBRMLBxIfaCiUaMyGaeccVYrcYYq3OZ42XSJLdCpgS0eEcHcnI86d4
r1A7wxPtnwiRQ7eRODDVRRPsGyFNxp7wMyMbnMD5ba02QlbxhfwqPRvA0Dlt
hDdgrFUEy3rO6l0MZuBulZhDjYWgIgYNO0aZkwyTteCo21Iqj18LC/dETTQa
vHlom1U3Xp4yqh13Jrci1/UMOcLYwyuKsJLK65xkPNgr82EkB/lsRicKaIaa
ajW903ugBg1m3YDZXc+qpDZ+dDsWc8QA3NZySaK7h8xmqF+SNcKpyRm0W5Q7
SdIJS69AVKibjwCWHG5GSfzemGPbfI5KIBElFunFUgPiLxEBlaFLNlMR7EgE
gIsLZw53jBScNb0W8M4l3IpODt23IBixrKDs4wOd0DmeEEoC2afHzKSLcdN1
n+F+wmmIWMc2QThXFZJURmo96WfSF8tF3hDQ1SwTMRRik37bRxY2o6FFCaRe
72uTmfFOODQ88tcs/aLgMG4KlF9hzGvUceT4twbkooH4CkJusW8WiKMoq7RM
x9gEu1L3EXMiOlxAge6a6OP5TnZqwCOQZPBwMAWDvYHV3OSLtbW+4iDPnEU5
egKYX1s0KFPWymOtW48NLiB1bcFbF3Bk23hCLsKO8W2BrAdFIrF6oP52BQBu
lzV63Wf+RWYPSBxgv8R0gc9H3lA4qUcYsUFfSagC3py2C6FJ4vff1m/9FtAW
oge2BXPCQNtMFX8QozKszp7qp8dk2+wUGQ1w9Zjw6M07yK758osPgj33aK2k
O70s2A9UOHMgt+TqYFqCMQJjhnPe4B0a1NaC4a4qbhMHFRtpYBCYblGgYYbY
jOJM+rhnPHhR0igGRPqwuVHG4MDzGuHkCgS6Qf4SFiTOzAJd0a24oa3o/YR9
//M//7MLM2TPcTkXNOSYqA/9flHPL2S8CxxhRq/h2ZhTiNbGcjlp4l+Cq5g2
vCLlT48IAIsol2JqEEWJL3ybKlZy89EP99CZLbaQuZIJepEpTXFDc4j0x7Ev
lzyRgYSx/SkDWLMaDezrL+u2S1+AhbTrS7EnZkZlIuZnryyr/HSNkD/rV3RZ
iNyf1yxse58NyqNq+bD3jPl8JCKMInC4ENiEjE92AOrKTGycXgdtRYb1clsP
4+mE7zmKnRSZNBgLZw5Y9YWL7s0u/fmjezkkgAAZZ9xat2u2v+pgeAviyYil
EYahCXIwrodEymAuPleBw/VXLWamnrDCR3T/NMD00eomujT5X5vLshMdjgBO
05EJhLkLapZXVU3CFClOfjmtqmkUUCFye5sg5yZktEjLMj7LNUtSgTyDHURF
NAXi3wRX/0RYl7PA9C6SirlvdooK4BVilgbWoPp3tHdy/PnzSFRRkC15Iezl
cmTVy2ewJ1wUEJkOTWe40+HtwTSvUH1gXg6HFqE/hqvkBKb5HA4IweSHJF5V
rwrEXA6SzQCQJKaJ1SoIZ8LPgQXCb8L/9LOyNVI7SB46uTIZlSBwYZ758h2/
ArBVkeSyg4a7iHGPMjORkrXE2E9awF8wRAStkujyv1zcuXaJHmJ8U45zJyya
bjH5/zuJrzDcTA2U87JpO4MPO1nyurOvg44K2AKb1oco+DQMCkTRyA8g3tUc
30ihhi4s0coVpG3RRVvU7IH1ECQ7OWt+iN8qQtvJvVFBaDsBfZAxeTlVWAbS
m53spWKomGWQVPqlwbZx9+qJuyTTtToGImRllRcFQDSQ4rZvyVbdOdmMiMQ9
psFCoMSPrOqOZUjWLwTLyHe6RkeDA6kQSGi9bkHI9PuR/dltBTmGkVC1IpJc
0UqP2h1QJxZxUVHMXs9JgyDBOp92QIZJelT9ux1FoCeFKZ/lK0THZTHDcDPe
d0AqNL57ZeI1XRTXm8CobteqRvcm4vPNxW1lbLduvu7QrGDpmY+NpbuhqrGI
gvSkRvYS2abAaHuWALxX3igtXJjugFmV3AcYsIhuj1iZhvXCkuhGfrko22tm
SyxedYJ8Ucgg33ecFxFD6Y1Lrl6Eg32JxBu9ZmXbrFeYEOJRgYII2amt8h0L
SyugO+XlQvhjXvkTwotICMRSGBNzpvrDG74syIlSid2Q3KpsqY1g/Ob0H2Cw
sYdNfMc7jVNWWiBGQ4HTSO2PYv5vcuQC2U29AMrKnjc20EbRUYW6AiK+xhfd
pY/RduGCxM6gzAhoIF0ANKKFO1Ymu7oGctlh2HdQDgT7I6ZhNEsxbsKQGr3B
NER8pgnb2sAzgY1FyOAiHBfO+DCtlczinl6z3q20fGSnFC7ptVU9LXM7Rx6V
VUvJHWm//iWhXcAJpuuFDx6NFk8cI7JFMJoTBxAmsSRFZPAofRSYEE6kFYCY
FETiQ86D3DYviwX6AZwV1ZI0Dm/pONnZ3+gBOhfq7IUhSkoZXmKgYiRGGiLG
zhq3zH9BZfCC7+JMhaPCBEpuWfvLzmR4XdsADFCMphzjqIk8TIM9HxRUL1Fy
pbh7MzX7baKZHdvcgAsAZwjLONiZxP6xH89o/p99TD2Z1mnuVja+4QQZMuVH
5DlMzVFI51Bt1k6Ep7LWhJzHr24nNmxNGa5ikZSIuqX3d9IoHqdkrAgCIxbc
8RnrYSkpTMwYr6zQCtiAOWfK8uS0RWUYzmfAdTLJ5bgb1Aq6XO6u49mKmCOM
UDOkvRHvKYmO4lUGKaLRyynOP8ZGMhvMHROpoVWE9ww9UFrtd5cFlWsUrPoB
MwU51LVjhEHkBYJm9oJjOIXebpeo77HEF4NsrdZseZZxBcVYf6FUXEap1EeJ
hKVaVB6lsQT3iJeOfcp6iym6oH+Nk7tEYdydhLGSxWJdYSB9JTZ3dPR4GXFx
lwWE50V4Zpi1U8CBNUo/aqeXwENaFkBMXBWUTUChAKn+i0rXL4jMukFWdslT
ADAUgZTjgFhlxchidQNEKCAXuvgFuLO9wCadqKDod3hzgYE7jUSgellDskjq
Bj2kLHOICJbcKjMpG8U9T4iNlsx7Yvv1oLu7jfCTTJUGRzdfFMTK1+j+yn2U
vhEB2qIfq976NKCZhEwYiX6AmMMIA+T8W1xhTK83otsA6Y7wncYiNVADjYMC
uHnnatQemhJ3/YVL9q0ac70RCigdJQHfB21l29asxxpHJlQTz5tlMowASVUD
JQJi9BR9DL9JNDEYTwNyrUjC14Gchm0gpaKLnXqvGUYDRv4cdlHXbYeCGIOt
qfHWMSXu4whitet6QS6opknsNEWGKypZ5SwE3lFgTvGLmLhzN12Q2UTlErrC
QwIzK5MUne6jqFjNRfaEQqusw6sUE/ssRt0LFkeLvCtMVCCreGgjYQPZlJVP
CzVVyhQvWvaDstOIjdCID3iCAR/cl7AdDuosxJXFdqxNQjZTMXI6kUeAXRyp
haNkOlD+kzAjQ7MwrYhlN6P6eU2IQ9ltaFN4jZQX1A/778M5cnRDHJ50snMw
7IXDYEKSfpC9RXI1fuYPRk0Jt0yZ4S+PjP1ljfrLDWBQ2R8fkU9xXu/O7+qx
PyMSne+Dvx02HAHRf/j2oxDhD12w9bpkXqYL4o6Jpnpu33cyafRh9iTbY39M
at43DksGmNhR64aNDsZuphu3trOd7N2whU4oqN+2SFEpuB1jhwI677wthiic
Zn54v3t4l+2pqIR6QyqgzQrt98GC99sWd9/5kYWtFe9gO3wKAVThEIzZ0Z/B
u8haHumdm5ZQ3NQLpHYec2QFgU0+99rhPcwnOG6A72z1RN1itv2MWb4fFFjO
llEiIj65La6qIQDg+Cpxf2NG/L15iCfbNATGb3uOnED66ZPj7OsYWN9kE/rQ
jifHcCGn/hwrdUTebZzDPL8dzm3/yQEMJn/i2OFPGY7P8nFagOnTYxRax94k
/lkjaMkqz9lQPX4JpJxf4BBsL4pxhgUF4Tn27WOIpY2uNFFLg5Ka9S9RUCkX
pYAhbzg8eCCCAVfos+EwWm/ei2bnm8yBMr5yhY8TkkAgFXjyTmKwkQW6nIzA
IabXG8wx82bkw1mAlbIbcaa56SGxXN5w6pL9XoO1TBj2KA163Wzy+DH2YZQ2
Na6f2sL5zRLDiZc3yugCNthPMxx5SQOf35CKiKcFxwIzdmWhCVVkihYukfeT
GlHNwbRgeJ5CRLFkhbDCcsEZ148fp0HNUirKoiw6Dntom77G3oNkCT74XDRY
KggiidRfcQKKMwkoIfByQm6FV3kDMt/AA8d7T+kBrAqEH+K/+IGj4PK4koi8
c3T09ND7Kj7Ie/8ef3n+evySitGMu+lqOQZx7CPblLAQkFyJLFyJijwON2VB
MXTXXOskuhTM0nXrzCilXM+puSlxLjY7wDnSBN1NXRT+E0WafE3WnzDQuooj
SXzgKG/Wx1KF2MQqVt2MEz0a27/5kWMLz6/RRIylGtRJfalC19BwMAnGkdHv
407fpUNA9m5TxjDtuqgo3VttOogbNADFY9rXxQ7ZM4WbEgpkivKFGjQpjSaU
1DxNdOFrxBGEFbvrMj9Zq+eetTV+XoPClWtuibzVFJpxhNK3ZCV4P0Hk0Zcc
Gp/IaG1tvVwuzNnyLgqEyqwAkRhZuM0vF6VNTPI22dIEXQsRQW2RCIFcUKzu
BFcFPVuJX2Ca60M+zyKtqKD2DHardBTw4lOvPADZ38LbrxuBbu0kQFE8X5vz
2bQsEDl62r7/Ai2cjrxqFHacnB0aOabXNdb8QS8o5kuxj0RVZ5Wfw8qdeR2T
KdC9AVJ5oCZiiiLS+ViTa8O9+PS4h+7ixwwlfPy0rMqrnN1Dp7AVt5VeQMwZ
yPZDWh6WAcALjjig+dn9YhUuIrCjLKKMnIzD+arEpZcUkRClKY1cudmDJOFV
qlMrSIKlcl9TP8Ia8MrgzRIloyXHbvHLdXlZdpqAinhfMM/rwWgUKgeIDOWC
tOTxCqGA8eqxEaMPcDYPYlRyzUrxkjIWAGMk6DevOC9DGbZ3RAYuR/E4OIw4
zSXFiuagyGxTHoQMZTW/pNmPYXBTTCSquSI55qjtnwaew0aML95H1m1aS6aE
FjiGUrC/EpMUHonYQkV/kB4WlRihYZXzNdauIVyTyhHO597wQz5wKm/NC8IP
8RJRCLG9QgnBR5UIk/CEhitvCkWUNpUOyDAZgqoURfzRDdhhhBeTiYZTj01u
gTJnz65yczXzJXmdkOjiPgz3Qq+UhNJt5gXoXMUZ7zjfzcU0LI1/8bAkQyZZ
izglAzhDtcYpujsqFKS80BtgP/4QniCjNfpdJEA6mbNU9RHUua2PeDrhcL5G
HW8rdtAYlW0UzbPNStDrpGiCF0O6L0RXyg1B09plEUpJeQ2j8mljcooCKKWo
TMII/ymPwHFVznt3oAa+NthjMdLXSGJoyyMhrPPBSEkQK0faeLuszoVPjZB5
X+erVp0Pmb2mt1JbpC/bYKr+GssRoQbvy8ag+P/tvUsREvqgtVDFrxbUXS3s
E0ImjMefXkQnTjoc3TY9L6BgIH/CeOvVTp8BJgiXINk21hChJNQNQf5OIvxK
DLSBTZ48OWaHqJ1DAuFZFupdEuCoFlFxlAlps+jSpDJqkr70ZUUhyh1qSe7W
yMkmiBOwp39cl1J3EGB9+ORg5CNomcUCTcZk2R1MQ5X05CwwH6yoJ0UXYL8Z
c0ssPIMqeMKUUfDhHOdlqFJy2dYLqizjJZyRFZYQ3Z33pAVLLNoZvIBlXiUv
KkYfafh9iH7IsjMWsKw0JSKfwXb4qlzwNiNZcpM4yIE+PpbAj+xfTJRPjnlx
A2mrIKV1NeqwyeeYnrqNed1XV8hs1dggCV9IBzjjEW0RgExLcWVsjt9NC+JZ
ruXZJJ5TTdEZbMSR0DwUHhqfR0/MF9CnZKMHCfjk8cBItNkMbwsV7aDUwApt
3Vh7Lo3FMoYXdZ5SvpwR0Xs+VAATC9oJfEfq6jH5vWW7ySaCF5QS39FXg4v0
fizve9j0Jp1TnHzIQQmkFQzl+tmswGoWvHAkV4kzP1aabRIr1dloPjLxQWYj
4R19Z5Kz0VdSii2JG9eqLe0oRU9ykqFJDOv6ldNOufVGZdQkrKogPWCZ0Sgd
hJg3Sfgam1wNJbbKcOU4sgiBRlZ5LdKdI2qQ+YuviZEFMa0z1iVwvZw+awwh
GL+EoqFNqN3xMgdijIn6pjSNOP87pgBOX5IbY/1bIku+8EG2mH/ozLn1EwZL
X/mm67jcnM9p1NCD1ksYuJNOwCrT98zt+N3z1O6M0sbB12wbTsQj/tZ4lklc
Oo9nkYC0RMwUC4csF+0mnaZgMlepelFHNZfzqNSArH5iGk8nsyn1PsrNqZpD
fBjZ8Jhz7ZJUsG4ocM6HmXsobDMhTwKQUP6IIrhCcVSa7PJOEkdNniY5eyWl
31iGk53vCB7o8VF16qUEt2t8A/z6R+/wGCqzNepHTekWzWkl6Cxi+66NnKRQ
CJD0rZrkIybElqjUyATOLO740ofYiY0BemY9qj94xcEiIAOdFJQgJBF9pcT/
4HZXCA4zOlvecrBCG3s4M7VJIhx5roHoftW+IvFNDwnRJj0llxZDs17rEH8h
QciBjyiS5Wl1r2gLjhXJL/rdQwy+lDZtowAzlq4Sr4atCmPMZOQnl0A3jy+e
yaFwTbIAQpEiELpa4y3ws6XKD37qwVezgVfLXqxpm0RZUMIH2gavsfSzr2Ui
oRctJUHbyIrWyamyMPOtT/ECOGlwIk4ouo/fssg+FDePyMshFT4wA7eJVRlI
bFbNeWBdMgyvaxKtS+zWcoDevRzEKtJm4G0uvxcWBUxpij6YOYsa5K3JKYDA
54PnM7nF0ZQ2pUnUVQzJQZtkjJhcsoho3j2ci4oNxOLabORLO29A034cq4vi
WEcaEDFMFn3AS6jgbAY86Q3Xc9MH+ru4xRAXvJWe4xsd1qYKkISSJHnnJoVF
AvO92HRvoUQpJtcrZTHyi7uEF+v53JMmVS5mIxODJQmnhs5ymoDSsdtSsu+p
9g8gk+TNnSeTzEGnNvEm7nZYzLRB/r6+pvCe2DCBOYiMp44DobDXgy+vQNkY
GG1FF1/IzWDYNdkLKGfhtmwpFrZ2YhgR86BeLtIlOIYTjlHuDikFA0CVpFfe
LAkw8oIWxfLmA7hieVmFSymz4aXEihyYfKLakLp7++pQ0Dh0Hk8LObAkXZ+c
B0iaJkk09ZuXVRoUqQXwTCpCKEWjB+Xz7shzXFJBu7pBK5wafB1Vu5yuSdWG
ZbUSzHZZsOISMupMGdIBjU1NS1RyzfqBMBz2RskjUayBCvCBq2v1GSzvfR9/
H6k66zcfZdtYBdFJ4Rm5pejnFBmh85yTELxtqfqF0gURQMWZr/zI5UHxrCJB
YcgYPKvXlwshQ4uiusLwr2AdwsXJIPfKgSJidXWH9UPCMKS5E9OSkk3JUTKh
yTQuM8RYl7OFX4GR34yAJEnMJMLMvUIi0uXce9W8RTrWM1VVTL2oZC3goXxJ
OjOeMw6cWG8lrizbUWnN2xf90hGYSzRwk71Uuq2wLyjkPBg3RJCNSAoTdc4f
BY/wtrjN3ufddcsWHBNgh9We2zWyOGO5CtUvyEOgWgxaxzQYeMDg9VXrgMTA
6UbGTZZHc9WY07m+8qGBklP8M1cwChY1yhM0tZn41tgIvtiIDeDZ39/H9ieW
7wDKTzBMpyaDGb8ryEN9N3w1mn4mMwkgxiBkwcC6h5ao86pU9v70/I8XL7Br
yau3P7wSV5anjI6+/vAKtI+3Z6800zTdFgUk2WhD6lKjLoh2XM/HVGgfaBRa
U+MIzWBq5iVGFQWcKYoThcZTDbGIRA+qDm1w+HExsliYkpm5kD5Vf9Xkql5B
cxW7hhWVvtw0clH2FXeLoPMKMUxjWSRe1Z+/KJO5MLa/iN59bjKwudC8SjcS
5qoexzA5qxYhoqJXS1Ej5IfGF75lm4R0Ts4V9hmkx2H6+hhvvkTznjIvz/5e
eD12TPrJK2NGKrjfNKp8hFEqsqc4LunMSVRUqcHQaFJfsPAOZ27Ghhh60ctl
eKK2E5MPLjvelLZG+cpVnZmCVFIbu+Kc9aobmW1+1W5gDGzMYBU1WKY99ENd
FO/RYvCEc4/cc7BknIdNMfkVhtFy2g0mao1zLuQrCjPBaSejPLBUVuO7NUcb
IoBRz2dQVCNLLjI3Vh6p0BMKuRLQrpaTaGDY+OWixlIysnXy2Yf9RxUfdOdO
d176egh+LSwbt6VYQomaVZFheF3RjGYtEpAvJboeIrRSTTHZ9U1A6qjW1PHG
NMcg0hpNlXBBKK8L4lYj2SNWoWXR19cbHUyOkLpDsFDXJ5h67SP9kusheh3T
bmWTnqkHHqTQqrYGJek3kWWR5W5Ouprr750CYXtyG3vtcd8xvRwF1QarG5gx
UtGe0xR/evneI1boJnTHAuo82NYme7u7jniDiC9nWLwWWeVPK7OEF9RthmnZ
z5GlQo6mHViIKXw+W7PFqtBmJBQa64SE5S3KJvbgZ+XMHjwXs5jHlMWMxKaF
vpYzUsuSvzEhDVpuLQYzUGyVekw0K8dvLEABBovsIyEsoL7UnSbHhltEf5hs
kULykKsM7Cdl/7eIZuTLoQJHVFU4W6+ifE49FSmMxzacEHjZS/IU/62v4Cls
DAsrTkHqJQmUalTnrBCEbH/G197JusQnZQ9lUNLmmq8YsXNJVVU0EJDpiwv0
RZPBHsaWQj2RjmV4LILtfNE5I0MipdYaODA5tkP8SMK8cTTmA8U6d0zpBCm8
xFSEtMbETmrIgtDogtNKsYcnVwylEiLEjsv2Y4bKp+ZLlhVV8ET9VOuFzI3e
HpZBdwcjptd06jmoKlPjF4yLAe7dWwzQNmwiiHniwWp2GxWTSo2uaWabXmNu
J8Xr6hMIZwjEe2zPg5Q6adUjpIuZrLV1cyKBstccA0Y3zRN1YOCZpKSVtldJ
S6OCuE+16CnLxvcRIvIoegZ7F3350s1GOu/wMiT7S2W5nI/I6psEcl+hGrXh
JIWbhgcSQQa92s3Xi8W4pQytIGRsakcRaKb3sHCpCkANoIOppcc6tX0Wptwa
ihLzCFT7Zgf8oaMrdq95Zoe7bEWlmlXQYyhrlaQ8qSP4uvKyqYpDxH9IYN4M
1XmtVhDvVXJ8hLGT1delqTa0NmT6waVThpw9jHPBUMUpIoK7EeWY+4owoSSg
wxztEgt0YJIB6vfkZ/C6nJHeqGD+sG5HhxCWELHI8G54Ht+2DWVeMjA1YN+p
SO49P6xLUW0pEumVi5OCZuS1TiLVBtxXkqVjQH+bS16RNqsEOb3tin4RAlYG
Rl4/+liugOPFp87DcF895j8DtatSJ2x6szd4OoKHkKIVzR3V4oJauQ4tBgEz
S3UBYNtCMcEs7hjv6Sm84Zfav3DuQPr0A0hlYplyKLaKIp0X2HmWGlRjHx7s
d1+youxb/Zhq65144KNrODIRVHq5cBUwhGGBytoiR4nxWn4lolOJiUF40mkF
JH/qrAHIFN70tbgbB7DINd/BmB+iWMKF1NKS+Bx8NxHs8Utuz2c0fOpUdaZl
Uh61N8IWocWymGUmqjPefNKhh4MHOsUl2PcVWeuiHjD9pig/B5s3aSy6XSrO
uJksMYfDW0ZUKO83HJRKJkSsnVbBbIpxrm5Fg+9oggtog55L04ggDmDoXYVo
jYiEGKPkQpOYVmo/B6uUj14yAh2XZ7RTeeODXzyVYo/qaJNU5TP1otwlFPlD
5ffFnTFXOq6xGCW5UCMK7xqR2OR+utuCYPUi4ZLsazMBf1HtJ8mHpHhRWsLI
SKouTeAwO4yrYuc+YosWU1ZrLbkya+rVimutxT4JlWMC+W3VimKr9PsJTeBj
p7XAaXTS69dt6MjSSYSdhmdRJ4dEdLiRKL3N5DVp2kNwstQOJW8heP0EjyVW
JJQsmtRA7E3rqg0H37WrmyAw+PZ48lxrgZaOsSRLNPewAQ5mOrqw5QEjmttO
aZ5v5JU3DYKExEwzvJ/b6dwskpPPRHvJEBKGWvEbAlAllBR5+YKCXuHbuyC2
nsoHPnhdSvCri7NWGwOTklisHmWmeoyTwADDPyobNCihntF0SfKbMUa729y6
j/F244HLSEQce0tXlOiaQgtFRxFly8h8WA4FYcY5eLgGPyMyODaV3vWFSLz3
BDHZibdaxGtkB+5DWsk7LMheWF5L74qCCAMqIpJpHKDxjs7HAN0PYETGjEJR
ahDKVyDqGjvCEkkd9T4irz0H0yc9dp7u7O0c3hvCpeYtzGDj+Fj1cPh4uii0
JirlLTEJFHPkxVnWvxTrTH19jZZh8JKV/u+xFCIs9G1xVXcSzqfaVNTDLlkq
C65lq8G98Ba2BxJzInbTyDGXUUI3nPUSmfpHcMdehkzuvyMHByqzfPBneBjZ
p8cDjhKhgYIhQ5VaTOBKbKU86dV0G2HrrWD9RVQkI1Lo+9ldI02ksVFkBJlC
Ai0u40bG3r9PMVZ9d324buGGAGKiEs0hI1bplR3Q4jxPIwRFs1g9Lem+mvVZ
yy2NwJ4sCqJiFGESI06NxLUVmUjarl4Z2cH6AlN7Wy02+ztJuxTrC0oFPaPy
wOXYWOoPlNlOxHtc08glMJiLPTBoZOnKUHhRLFCu6d0OXJ2Yg32+MG4U50Yd
nMyor+fBnsKuDAmMY/rrqeXlGrlTMpYUXEN2pnFqPVMspYwl72m4XJRXrm7M
nK5ukppXVlqg0+sN4QlcxcDFkeqwMqfPRVSUw7KD6J9x6SVIm48D9fA9Z3R7
LRbq7Xoztq6t0VjRGjLrVxYlJEYVmEjzFurEnc4pCNElNz9GNbz71GjatNl5
IawF25zoh2PhN5+1+aWUwY6zgejijlFzGhZyfdanybOlgPm3xe2HAiiKFi84
5FZUzBywt2a+aCVBVAsTcHerwcIRVDwduJT29uZOnVydT3r3GSHNrtpU+sh8
+OKUpPqS0jFJZhbx0DZCDqkHHZlUQ1rpi/UlLEU2drw/kY3JlaEJRHIKoxmI
iQE872Jva1yLnGka0r8I2kT/0FNVN1oHcwhkV+sSiwRUResGPbr7ijK/wx3s
Hh9yHnOcKR1pEWIjJCuOKcGqVm/Tm71lCuyMGieHJl62HhIhH/7J9IwjrDAJ
/MhpfbJPFF1OLMGzbUofNn0q68y0mhguJqB5llJFHnY2pi3qBBoVWXkyZG+K
L3uugRBYes63CkN01tL7WvDB41R64PbWodXW9MqTtX7VDnShK6tM3XUbosat
o0aSgMn7LH1L8eWLsrqQo9riElg3edMLa5GqnUkh3F6DKCodI/HYRuSK7bW9
RKi45o/G8GLtEUm0E0lYntO/xywo8v2L21/6Zb2tu+DujwhgMcUyML7keki2
NqEYtbYGzV69eIt3Hm/M/uToOFQfAArAxV6ocTcpHHj3zRJCOiSIbS9ebWdY
yEqr0rGm8z67LvIZi8G50EeUr23s40YyHdWF9h4mFZxdXGAT9jF+8UqurFfp
ez00D+7vomltyZv7un16LBLyeHpbzbRU1CW2mW1F1ba+OFBUqFx9qHMxiGIS
XebIOWYKUVCHiqRmPBk6w3ODXeQmu9ILuDMpO95hgR6TbAvTZvSjC/wIzjuu
baxXAwc8eLonfnROuywl/mNwcDlYycRi4yic/l1bcg0VHxEXmpEITz3ZIzQ0
vdPxZZyX1zaQkuS0csgxP4fX6FrsdxglgLqamMVosL3d5DmpyxEM8sMAY1dl
FJxtHcgmxG6gC2mII4S9SwlyI6CR6Ychl8WLcPEi2MzH0e8INl8aRFzlRRwJ
wok99y3HpPngGjZiFUDnvQYDxEHevcAuGyClhvv5uiENPgTacjHoDeFL2W8P
3AJuRKWK7h0WV6MhzcMXkbQv5pHoXbzL1l0pNSDZxC0pJXSt4YVKDv6ebpIU
I+HVi1kpPQtyMi4NL0OY6+aehdo4hlC/lWSGDVtC57Fvd8md33LrtZdSb2lt
gc00doSGxMHmnWJ+6Of8w3r3uFBFTHOkV3tfrieTQstgUMF7WFyPCubHEsg1
WWCagiIxAV8xU4LGpbhczN6vmPbMy6vxdDqet0viBpjzmaU/GuiM9I9+vhmb
n2+iF4bbDf8K35wh3uDPr/6FrXfb48Gf7+gFYh3RC5t/7lnSfT9fHpoyjmHj
m58UBPFY9JDl8s+NS9Ydzcg/6cZ+tTjza392/OyDmgtwLb9mp+hnofpc2a8b
YP2ejXT0wsCS4p/NsP4P9+02gsuvD37ym/E9P+lJn8bOXh9d0zsSdjKuY4kU
sf/Ts+xxuBQgTHSL4vmjjfeUiOM52uU5LusRV9jCwhHhe7KFhme854IMFKIC
h5sc6q1qvT8fwYdXiK4FGviVOIQOzrHQheZkScYYIo7UhnDBBQOdec2nWhgd
W6S8eHwbHBA+drZ0T1RKmEr9hRAoFvPQ5oU9CvNN2xhtWr53YInfTmIMvNUw
svewCoKuliQcoGyt74GEN/bXUaiQTSO6aurbkKWziXFZ62jxCzbCtgcyYzWI
s8b5iop5PG44W7ZUV8grTzhjJOvb3gjU54rSuBUkNrsT+wDhnO1vQ424o8MQ
emjrZNKxNZMqadZkxzZt5QWdPZn69DhVAgfwW3axAXQoaBRcKqnTRIA61IJ1
Yhz4LUAM6K8pSfkC82nvOPMlXQaAh5IUcCnaR00iXfkEsAg7FVT2qnBvkH5Q
WZdcrwB/1Jqu8wWjY5Sg3j9QAlHwlndkVGVzft8OMZAHz67JWTzN4KLYROwQ
9VVKTva4oUKQVOTZgJCm6D7VjAwgdOk51GSxkxCJUKQkmPzeNzW1E6Achw/U
/FNjAKgk4fsPH56TRrbPZV0pU/WexVF8IRbDpEabO9qYbfBaKSDNhka9mFQT
8uPjkJ2PU9DqyCsq17JeJQVmJczehsWZOs1cxtwGtEguXFxZcWM7pkPWQUKh
RiF76SHk5ZIiukT56IEiRF1giDWKJhibTJnVDjOrTYtR5dIDl2X4PPzFY73V
xZG6pOxxcUGpGiVspOyTWaKj6dYof1+5ekybzFpyL3NFlN1ZuWPgcvRjhbSn
na/lFWIIKCCRS9PMCuKqJdfF1kGVRNOSPSMhdGgL5n/ki6FLXMwMEiXsMy6F
7Kvb+N16CXOjXDIImi+yIUzLRl/XpfgIh2kORZDUEs7VpzaejG9aBhv4KynI
eYMOLhGm30hptymFSLmXqktunb5+83IbA8uamuI3kEEQ3RRbjdWM+6Z93p/r
bEz7JuOLDXRP4CNsKWqJHYshSIY3oKUXRjayVB9ZKXXU/wppBI2M0qRX1Jt5
9lMlFTTIQ+YDV14OVAAYcXbFBlc6x6SK0zr43LgYmg8qJw9muLi+ag8Fsvuy
vBj3ZKzd1Fg2hFmMXBw6G3s8hzznoVRL4jR1EiGEw0x+wzC9FJEiSl9IOimp
GPTHAElx/Pbn5d7yVMOIQnt5gcrRvWEEVjDbdBJRBZe61QhEEKXMCtWdMbDM
DfENJFVyVxTKO7mn/bk0B96UyhlX2EPDno1Dt2mMms13b1BgFkREfNdp8zlx
ocXuLXVA5absry1EZFpZBSSZzXyiOIWjaZ0a39DGRCdL9eyQ/qjBEdyTQRfC
18WobloKIs0jxkjqX7Ao3AbyxUj5hS6gnHbim7RKWwByv1Phc+mEohkweERB
ezAc5tPjoFWMw1o+m6Q1pni9qeZJqEScdUAxEbbiuwPmbBrAKPS5cI3md7P/
rFBXEHemGrIKMqd8KUPiLqZjneCzNrAc0pb0oagmYa/G29a/vrzbdvY1GUU+
BngHcPvqp1wEThy6Gs4ZlRWr1NUnhY/Cwm31triyXEmNtjjAMDRqHajVVVYi
wYjARgWnTcdfDXfQOaXltMcGH+aIpbwr6wommmZvkRs8hygovub4aitMxlG1
ZFxF8ZmcyeTiSKoWtihKcdnCbUl0+hCFdYbqn6nI9SO7pEgFI7S+/+R6N5yR
doqbQOXeaYbxDW1kg84eFTxRcTJqnOlCvLUnONRLMNeBilmITj7XnEz4mpXJ
pAunk8WaGtWDKwtx3GUU5s0HREoWWqLwRgOuhhbjNPpAEeBQ/f4LYOVK9wwI
Yym6LIBpkqqmtgKUDX+hKEKg83G53ZyQpLdTiql8p+zuFjSxH9/7cj4cJROU
G04MHIq+JsLtWz8PNpJWbmMzI1Z5h8kAVAoIe8DFqJ0WX/MH5TlNqwdLJQla
X5OAexyUi0K0PAqatxZQDTAONbl6pcdKmWIUNesUf1YvsYEVIy0dKDU8iMT7
4rb0oCR+33JxlMQyyMSGWLZrTGMi7mhLpiVPdqTEbUR3vnACnpPPCg357QXp
C/d4ZXn9IHc0Oo7lf8M3p65s1ZQB7o055E4Ku9/WG5LhpMWzDe0DckaVyE2k
6sjWVhqu1kRs2KBDy4ljuB3gT5IikE7my4z7IzAjMMnnN32Ukc2GYKmG0M1t
8lj5gbFnjOHZn7elnebXlKyJN97UOAd9i+gdoRRF/EUp3y3HNm7m+oKfpq4M
67pe/ueEoShh1xSa0Tol3XW/j5wxLebNsk3K/Gk6V6+R31aveeC2ZwNa+SJq
nGyjiqTtsVZq3wFeB3RQrDk94PlalX6hfI+/yKSZxFjKgHlAc0zSIp7ry3ao
MBdZpbksNrmko5LHCZ4O32I5KZ+QFgmX91X/85qDk4xzIeukesVRvoOSEVXV
zeL0GDbmiP4owR/2MtyzHh95F6bWaDs38LxoaHlirNKQ9w32f3+HR7Hi0bds
aA6wmkvFhLI5KmDrowQucbDS9sgaNIndulDyTuW3ulKWi0JZat56xayOr2tI
MhQOmJWLxZozLVtqu+WRlvWrL5B/OH8qGzHUnPE3ifHZ82zPfUFkeZ7tsxz/
4sF5k879yp1QIk/tKev6kaf212fiivW/DP3Ac1n3fJc9v2ehkk32eJJtgRRC
osI2jQfPTQae2xt6bmcPn/tQTG/6ucJzHJuf2xsYb39gvP2B5w4GnjsYeO5w
4LnDgeeOBp47Gnju6cBzxwPPHVOfgGyyreeBcNnrP3fCz+3FzwEA74HfCTzn
xDKX7WUiT2fHfYYcDIPpOKY32Ql7H7TgD1AXQE1cg6YZ9RghFdL1MWM2q8jy
e8BxsglxIiH86mxnymew3nE2wU6cEqTzRY37GYXs7MMrRzvuD8bNHWzOnMaW
Y2V2mtj3YDIJ8EHb9Gt1Zq0SeYZ/2vWyqJBHxd82WiLQhkwsozBhqZtMEexp
77g4KFMx6uPR02I7qTMn7kvk2VKgfJgLijkkUswdNyRD+kJtyOCXz/2iw8RM
fGeLTaYan2xeVqTM+fpZG1J1Nd0yqUTRZr7JvQJTpXA0DsRlByk2g2q3UO8K
QeHLddN2xlQqWja1wBljnn1kbJfkP2T3Z9JSleyEUk9bip3R1iVAkJ2UNIt5
SYDFT/CXwhLdxrBFrbQZBe1+Nk5tEpo8krHsYEFDYdTe/2us5di7pblUOU+W
4wsRSJMfrkPEoeyJlALAQsGRigFPEcuQRTfT65ISBBKHhc21qB2fWQFI4gtf
TckO+z258lAKnZKkS5/LEd02+SoxYdq0AWlxSjE9RMBMT9KNHvURpybSNFLc
mFCZ+kEIsqHMzLILntr9yeXIa6n9mTeK2syMqD4vOYTmc1DIiqqLnb873o1y
T5qHIFMI6FRvA6x/ZkrE0HUoqQkhJgr6pQlKoC+gV7LIn7TiNZNszclB7MN2
kRwGShMqNrYrDK1ovZUaCBQ9hPIIxpdQ7VTsm0VHncsxSJ/XQaiGFr7EI6qi
n5jDF5kSRsTn7k2tl9ictmjyK1/QuR9trvVck4Lg1DIpahhFNZYlu0MkPvrs
efYW+EwY+UJGfhK17ZBG3E3aiKqihgzN2Ls/4I+bfCET6J9pD5CvBT8pCBVm
Gpr9rZh9pZVhsI39x7f/0Ru4yNrDmTSh5ly2NbdWIhDQDrc1YZ41Hd+Sg0to
JbXUJQcpGASp+tmYQ5Fz9W8PngfFaVPHSSaHxCF5phD7wXsPXdS5swql5iO6
cxtrZwzcMJZetundiL2FORO6YOuZFTclqU3MmEopq+2R1qnZS5IpQZPB9Wjj
NAqz6vUVo1ihIpROSakoV3m5UwEL9yCZanAWH4GRrdnxqWlKIxcauk1zfCPQ
t0f88KNetdHglWbOR0ijjWobLbHjX5+DVuRjjLDkSPCgsQ9fO/qwq+cnc7hq
xeslnohSmXqnFAPvTWCSTEuxSpOG7QRWss2N4YVthHq2agt8xeFukti3KcdA
PIm+Zj8uXji/CWOoG4vK3j8vgR+mjYSU4gIut/bUv1fZBnBhjmMrQ+NKezYI
glCQdX6ltZqwxULa523hm3EnG++SlGCLKEdgUySOtgMmjMC6S8HsYYDkrSew
1GIxj3al2GjT3Ujgpfmdz1HYEPcm4p2cudZ+Cl5bdJd7nmWLKIXAMUoZpe7u
qWwiflAf9EhXHG5Uj2YF+iNZ8BiB1hY+AYeLUKO75+nREfehdViQDpAML+mL
iJileQNnnH9L2n2aOwrXbZYTzWBn8029uAnJiO16uVKSqlm84zHZLZ1vV4ap
cj7Fjb4nKpfWO8TfqORTlr2rxiQ75l2HONMQFrt2VWMtyoahLFZZmZVraenz
hsgWoS6jDcIrG6doSTQISAyVw4lq3fmpyAKmz2nif7IvpkfnTY5XCxbDKVtB
+eVOunmDolkiT4nkcF3AYbXEfRDUMwQI5fDApNx8l+yXzKsl4ek00ZW9C4b7
DiOORFmwQEMBmYFdfXSwD2R2Bc/J9kBzbdQdRc0yFHLIF4gM+RFHrojkt0vA
l0VaMk0q23FAJW9aq6/ecfY1LFOKOzqtf0PVVtQiC4Cm5rK2VzhD/E3ZcvCQ
HsmbvPkIv7cSeRe0jqU+SY8t5TESVxWh7N0MRr6591VhIZ71ikQoDvvH4ejG
SjSTH3Vq0moNo3e2o3FpMMvX8dPveYAgxgxohZYO2Q7nukIN5eNFAhbJ6nw9
1zwpCFJSdOFMK2tWya4oMDVuQz/8oDJKH9VFpQ7IXUQZtfKkujmM8z4JG5QC
ahRAbvZZthSfhcc4rz1DgpVccnNJLYfz6sW5pTxxZkQcxVGZUWxa7w52YlD0
MpXN0/OmYhV9uc5SHGWEJPWoC8QEziJzl7w2zFW/wbZMgmZswzbJsZZFOymG
S5JKzRXYb0DPy6/I1XOVqxBl0s+N0iWRa5tUy0zrL93hLd3J+jwCHtJYgBnv
Ob0Vl3dRCTAABYNAeyH4q4ZUC8R74LBv/EVi4mgqN8WecGIzUSb2Ng9M1EZj
FAKV9amRgaVq7YZDytxGwrQV5XIzM319+va0x0jPezlzAH56Mvd5N26MLBGw
DUehQA6ftvC+LdbwNqAoyKgFdxPwxQOq4CmIBXcRuZNWBUHecFHg9adPGzpq
rvzkGsvbegVX0oZI0wCWAPoXw/4FPo0FvympRfLEWZla3TUaRlkqcT7HnsJ4
6mcIHmWFnx538jlVajT1js4xUbGRJM8gVvUREy00XGdErhoOKEnkg/1rTQDk
MKkhAxoV1B4qHJNWkUtauVFRHIpZJBIe+O3lXeL8IlsRldqirRS/SC2XLkRI
en0csHQxazGjwIJpzB9rb5E4dl9MUQm0kFHMOWsobD7xvVNwpFaMoNqoVH4R
O45TF4Dg1iul+UXVa+JZc/iUtdiH/si9mgL7GyqGaZe1fkSEMrgNDZXZbhvM
Z2QZRMQQOZmCoAd8kRzLCgKZk9hTb/QigYi7OfkUC9PWw6J19j0dCyD30GE5
QYMLnvcZNuTuhaz5ou+hp6lDZL7wyIzvnYJ4XYMgJhwrFMrTjoN5jOG2BDJn
yDfrQjtGxFg+EMuhiB76gmSogmi2OMXzsqgSK3v4pRdxbc2YEjMpL++0EnUa
2Qc79vVHHrRbc6OnHDYUFZ5BxSgLxb8QthdiReMjCLDn57Wsaxh3JKkBGsWH
hRGw0+p7GFgLIfgqo/IM0SbcO6GSPATz4z25wCl0ep+8IHvQQnbi/3ihbYVw
ga+l/grXLRloN8T+WX5eOyQn9AEjktQXgvF1y0uscyxcBVgexink6KPxdqwl
OtPYLIZo/5HR3fuGcSNvxMJjmqGbBqASKikb3NSHC4CpWnwbUJgra537/LRe
Pyh+zjYCo/g6XChaxM0yN65TvIEc9xJ3qH74Es98xQU2rGJUijiPStQb/BZg
kN4m0l5muIWTJ8e4CeO5py2cU7DNVfg05PcAhbpru2I55oCwQvs0Mnnrz2JX
0nojLRYsWSIpNS2uFFlxU9y4j6EVNamiugqgHlabz8v1QoHosLAtWMCst3Qh
z5DKEgHA4Lj1kvsQgJjlTYbcyGgwNIbt1/Raf9DsE5JB3htSs5DZAH+YUuYv
qQvJZzZkw1X8ezQ7E0vC8o/hKi5m416BJOfC0977iaY3L9IMy9tWiOtldVvB
DLbIvUXRIq/HQ3lASKgrDttagiK5bni+ZT6TRLI0dI9KfGcUTuXrilPjDp8X
gXTTOAB0uqifXHBz+aouNujcbgQmA4lGXh7DgCSRcqyKxTRv59881NBAQHIj
oEjEDyEqKp9l1VtpqZlF+UCldwzJhiUn08KwfkYKlMM5L/gmJLRdytem4XRE
6rk3DLm7IzboVy8UK5G0fPPwyLVK3bVnLUtKGCWf9ewwQTLz6Yq96v3RlYIx
VEaSHMFgkAc9D8t6rqXvPJlWVjkyfJQ1fSvdyfHOHrLKDT2g4mZbEuuX257k
oSsZ3lAvVEhhZfEii6V4QeSBSt+ODJ0fiXiPtAH/ufBE/YIeJi6G5Hq8rGfS
g7BhWueFbP8KjAFk7ILEjb4YIZFyFBLha4h5Ywma39IbqHJBPb9Y5IBJkch3
wcfxX/+pT8n+3BMiLAUY1IKMeEFw49ngXj9gFnkhIbmRDnVPF422zuZ5o+DH
FX95Sxgh6NG8Ql3Jeyq9F6I3kUishllrhJEXfDh8NyTQemkg1NET/xnJi3Jh
Nq73tPK1akWQitbVMg4PBkHWVlvE+0r22Y4agmcvLcmZYenlhTjBWGoYVKI/
i+T4WutmSJfBU75fVIejkliZHh30tTaGDAw3nqUBQYyziIau1A6Vpd7aDncl
e57tGrZFf0ae5ee2r6ZwhPjD7Em2pxSe3k9pL3+IVK66YBgDrP7k+b3NY0x4
fQZnmWVDt+JPOtafYXStPiKh5fde2ujFXRxdcT/5hmQMPLV3la/0notiOaS7
cwnKvmE/Nm+QUUHLWnvCTE3s31U8OCmwPUmjj2uDBgj0lwcbEgI9GjZGEfvV
VqQMj/xZjbIIiqO45o7XCznkn9W4bTw0e0sDZP8UzfLnnejP7PmDayzBT/Tq
gyf0yh6cMdBIuAoPfTMCw29bavTqgycMNT+fBzjD2+U82/J/E6z5s2gW+fy3
XggFSRahzYsXW+Z06euHbSG85QEWPqIPzooOza8vlU6RLgVLUAkfLt+HwJpJ
GMIs+rSrIZY9Crm9m+rlkfghg7k8pORL001MnwhtI4diPpmXhhqGFIq/Jjsj
e85N1aHXlbaxx/bUvmOuYzGGOGJV+KxT7uZCQmfv/uqmP/hWo8ktTh/Y0gUS
Fjx5wsVL0L7Y2zEbtxoqkZ03HIBJr4QsEhM7ls/wrR1BQoE9JQx0G4EumPjb
DrpKan7peVdG1ixtywlp21gVt2giDPIPxYAGQVAOcgjKMOGH0LZ0lv1E0QHI
3xjcAu3XkgALj7/SmyS0kwmfMbQGg0u4paK+DV/WpujWTUXWQOf/mueLtsCw
IbNCvOyBRtP7OPiXOGVglTLlF1krisLRQ/BaAet52OueSGLuw/0Pj/pTbTtG
RcaZ02r2gdoKnOJ36reA3cxCzIuPxCI84LcjYZg7CuAoLccCU9iDJWaI3PR2
tM5Av+5ZTHIoPD2oUpTihwpg3WtH6/E1tIHU2zWwiJ1iuerutrbl8Bg/BEiM
rnSfqdGA+KNEP4g1gtbOK1C6v88h3nHzzn1rlCm3tlPmbllm76yzf/fv5OvB
CzYw0bZH4SC8yhDExbLx0Dma5XlRgN7y1x1PccfruoqD76UCBvq3rYyHbf9Q
qEb1jWHSs7D3XvLXXQaFr1PUYbm0C9iX4h3Q0k7RzmIcruB39tUEZ5SttzjA
ln0Q3/bfEloPQl3g8YF64wQ1wpQUl3YIFGtHTUrLOb8TeM0D2qkrON8XRSPd
jIuZtGoPndr9vmKFZjO7cS46aDlkpZ99zQVGkxmChhMwjkWhWF1KvvUak8FT
VJjwuwFFKQhg0e3Wybm8SjtoFEOIhUXCb1vy18jMLVTpR65K7C06FIhiE9A4
/M1bhfmtKTfg5jRmYyQylqE22xXjZUx62dRFDpOhFpcJ7bP1cKTnt5xCblLk
cIv+71FSCEMAd8r9Bcg5OgAzur+LfM19O1HZp+eHD5M5rD/F7zy0v8liVLpn
GKBK/llcokeP/ScH2df65zfZhP7ML9u4GMg4GpmUlxj7nj45hveSzMMJfWjf
9GLXmYTl4BWkOAh/Y9itIQXhE7ODhCSL95XFRE1s7aTURWKfI43Xl2Hx3US5
iXwbd56kT4EULEE6s0E5ReIF5DaNWlaAbKlSl5tqoIqWrdHJwzRBDaiOy6Zy
6tQ1F1CNN8gr0MoNoVEEyp0hJizsSjtTmEWjUz9qCQukkQ2jwGEB27HuHwWe
nfOHycvUnN5WGezLscN7jBWGH/gZ/Ar4CdnMtghvycD33FhE5LL+WS3O8KV2
fBNBN7LofMmQw1eIZwHCmv3666D15fe0kEiDjVbln/xWdUpZm34RZGcuCMEf
4r7fd3V/2x4pn2eDpXf8vUyydrdl+q+zrb3sPwQWJDT2FNQp1KJIxKy0Xmck
/oFQEOXEebmq7ufLKWUB7bLptn73Rb7o4X3da2qU6htbLDB94yGxbYxy9GgQ
+e99KSAHAkMpQWSgwy+GcelfYxrcDC6KLPTKEf9Mpdnmt/5NWcnzdHT/Epzj
GTYk7nlkOHZpgFHtyJsxH5OKBCk7M/A0EBsFKIVliFyc8mnMUoU/6/mcgJiu
U1fjcfyb58kIfeylV/DYvmw7khsbkCDccrjGZkt+vzFidOZTxYrkCm+Ai/vS
BRDTB2fki3gZhE4jjAaZk3zBuMPFnd5EH35F1B8fj5QvVdURTejb1lfw84Pe
+EVpBUZ6XsrsmUp3pu1h2P616axpBCbUMn71FdUH0BDjrgZFYFy+Vty78ER1
lF0A6Ac5g0Ki9072uyAdw4bO74vTYDwc9ElwGsbA+KkcbGxO5UNMTrgme8qe
jUs8Mlv5WD23Dbk3L3WKMe6LnoAuNCgfrKkTkpu8ivtAnYbXr92kgxmBI+44
RJCDi2MBRd71re+MUlZxiZxabX365lwMf/SiwJjzhfpVEzdB/bfDTWw7lFIm
Yt77t8ENlysDrZsdkU6ICAim9ni5ux/BlBJFnh1fNPJnU0jXirpJE/lUPA05
ca36ypEKslFXEiOGrbq9u1mv+/6ZoYc2X2Evjf0XuMl+FXrK/wrjRJBeBi0U
DzBQbFbs+zcy7Zz2nd0i4BVn4ocu1VgiS+vMjkjiMV3isRwFPeav12sgHpL4
h9QovCkd3UR3oObuZA/iNy/SYxpCY+4t/a4q3jXnt7W1hA2BNQhnv004hE1w
G2Sp9IaRD3i31c4vJOyZ19mxrQJwNbIZskWnRjysuFj6AF2YNqCpdCN9PO9p
/NxaMzDg+rYCHnpdrnYi8fWPw+KrAMnCxz/JgBJoWvF14KX3tCnZpX/RGavS
N9/cY1Py9ES+4XLInal+vPF6SC2URWH7mqubw1ZclUqHlHe8icfGtEqblqn2
W68KrmtU++SdcIVNyk4/IoKN5ni1KA+5bE0LFjELO20/gCFJHLKfUrx7gBBT
vYcQEzxMQfYv+CB+Z3webrO3v0fSPn0O7ITNTXHwKnd/MvagUWR1UfuTdt6j
c8XynkaBjKNwtSBesdTutekCaD7/QaKMqp1axpICfFI4rmwFsQZn6NAKPrsQ
PVuN52EmxwoaheprFGJZbXABB61MHk3cAN99wWnkL7cqa06pB6Yf+cLfrcg/
qDdiBDOuXVuGSCmSy0Iy2jzJRovlM1vtMQ2czlg5J5UhdLlvvGRERXx8Efxx
WXES2FW+arPNcVY7PZCEKITfP09PIEj1X3KvfWc9KsPQ/qa3RQ/f4ePbYe/Y
8OGpwcNuJY1ESKUDeICuqTzfp8dkVR26lUEk8XJl7+L2AfqNRVx+1c62aSC0
JQ98k4S7DP7cv4btoMpZsASm8RN2Pnmpic7KagGvA9PD/vQioQ5+32+hHVoD
a1klUauTttdVj4dwThE6b0hqHhRdGaVMyN1LP+JwgNHQo4PE3ItGv+ubZBy2
QEPk/B629AcU7l5X3xPqbQ3j8ubYnp3pAuSWLTHUsS9rQPZH8IT6s/+WwWUP
d1gJngz1FPyrMhWHE0t9yJmjELPwkO9F/v9hpmKUaGOi+6fTMeXafDnRZiCa
/zdk2zjO3Otl28gd5EImGGz6spjnaP7nUl619tDkm5qWOOmHyyfFvGCGqOwl
xUFv7pypRVQeMi5imG+L9D3sqKYoa/9RAjPbZyr3LXbY1xL1nHLZBmQZymZB
H+HOISWX3FfgEhf2PqrsnNSqsyvt1aobmX6ruYR+wypt+s+nT8PNBwYXDUvY
lyjeTUkn/79knPQ6kPpMEF+Hdd00nG3CaQur/I6aTnC1ipdaolYK+w9m0okj
DUZI2tiUbYjH75dQyWxPASyOa/qft4VUBjfNx8rWxzOb4oBY0TjvrmE0TRU7
t5X1fwIkz7bevzn/KUlm3dgeG0sdlzRg7jNRQp7V3u6ub9heTKuLacFkGlDl
3uB4KpDnO9f6Kgtaot521uGmRRuERZepnU367URBb6LU+YtE0A82wbTvFcke
Ax1vqchbYh/xiAPg0KxXOmMlMFLI0aTCagUVjnOJC1hniTkU4CDVRHgnnAFH
RX+4VF1RxVFKtRbRJ3NDSDqkRc1StH1NWEvIG6V/0oP6EO6JWsBnvpc7Jhm/
On1pUV1VKMo2NlmypjqMFDQjWKJcYLNbjcWJ8uMoBGbgkoctLFfFTHIj9KF5
UczQrQPH1CvlZrM7k0zZcXCDcTVLTseR7BIzkiafXlC5KpJQoiwPIvmcMEsp
UtqFMaqs6pstI+gBvUZUbINDnEvZfVdElCHUNPw5ao0ZOgIZbbVsXRbhxIiX
1Ot/5Ud1rm3ZOoK7ORtqK6boHCp/3dtGVcfjHOuCbb5lmzYAxa/kVewomrQv
9eeT7KdfIVeRw0hX+aLVWgaYCl0vfVRySP7wtVPjzOIwys6/Vf5Jf63O5qAk
8n+/DGHIHJE6cOmdQWn4fkTlHBU5F+tc/itSTBJKf08qCFMHqjLAKllxM5gI
Qh0YPW3Em16NAwUZ2SgW2/Q2AsZOP03jxQuxa+MspDmlAPzmeRaeGFr6aRyV
5dzr6qamegyIRbEKBPJDPzIa97imKgzcuoowz0SHXkS6ZxxcC5NFZZO0Mt4o
SEXoRCXqRYV7uB4mZhMCJ+NIS8beWOZQ/Aq2HyxCO19LTdlZeVO2hM8k03N5
K25kYMrD+c5/7fpKetyYLpl7O5PQJ3P/4OjQ91Z/XQX5VevIsE7qA1nEBOA/
RMPP/WjuXBKNGcdhaqi5/ZSkBftUHPPZH2Y7TDLw5TNVj5dU5BEPs4egffwb
P4/WYHJAxONXK+PWolrpGZZRsUB+SysGDpZCDAHJr1u43u+a7+ER0ZJ/5AfU
5yEuoi+sxChXvc6TMtHQkUf79uagJFyb3+/v+vee1wQvVeBgbEPsv/XNfdAO
hi909QzVo9w4qti9euoFxhFunI9m6g8XEaG3oEWapby66ZOgEBZNtzXyCFpl
1JyXqqTeD0F10agHiO/ubBqoshLF7Yn6fTKxyAbX95L8mE3tSQcQJorNY+Id
dkubTQgDmaWp6LzGk5sVDzQ+vQf9wsBDCQKvSBYbGO+L3NbnyQWe20eZr7Mh
64Ibwi72ZHjJKku6fPByT30FGdM3GTu/YYfkXoPkHVIP7y4L8e55J55HPRvA
/9rk93rUu+0lGJlCet6kZX1y3rQqVbNxro0h/TYTq6cO2larXvVDx6cvMzty
EkJfah1DNPINXgPFEVQfgkyTfbdZyBF0uU8Iigdz3oEgKBKZWfM0uePPSa7F
fXdiQGJpyZ2anNQ97kT0cIWcIPFGWkFqILYg5nVR54ZNjE+KEHSG+dohGaYD
3NE8FJPPPlgiR8pA5kqcjbFBlTGV6bRxFr8VIpS0gNOGHhP09DtRh4daIpHi
diWh5FEFGkXG+zIrPGNcTS8I8uJ9VQAPQxZGpaMNbpfvegkVPuiQB1ZfFP6+
7SnpkBVyS95QSjqoyERkK31sk+Li0ZtQDeEVnCeKwOjgyMjDgVmk7OP41/p/
Qu0s7OhHqlFVO+ybF1rakvkiNVT3HT8bvC+JzrfJR+PXtuHOYaImudLSFsBy
A6OLZ8vGlVXWG9ujiNwzmz+94VqidCOng+4W6jIPhOfKue+yr78GkT97NSuB
pYFKRH7kr7/OsvcLEhzZZxr7PrgRWlfD26v1pY/JpRaDoK/CEWK0qHfImJKV
qCS17ZrjLlbrxYKMx2hb1NoV7FfhnnTcMQPWwc1WgOl213WzYoWfG6TNGrig
47Lo5uN/XJfTsaLmeH/i3FhygWJrRdLX2mOR7ZKaFIt2mX966/HB5Hh/lOE/
x9sPWsmucwxeKixMwGcL3IM2sneCGzmlQodTQA2xZcRWyrz6isIZpUE5XhLM
Fdd+WVx2hPmwS6v0SLZQaJ4cx1DrYWv4rbaXsJG5W4/3j/cmAJT9k+NdhM3u
/iH+dfz0YBsW/37QryFt39SAGR3H5UBbQJTSmL6q4Zmq5+LcT3m24xOc7YN6
ODKqCILA8ilmm1q9wSAne09pA08PNy+Zqm2Gcmdp5RWhQTjY/gkNdjTBwYi9
DPTC8X60pPj7pkIbZNjH/Z7s0ej7Rzj6Kbbc5udvCnXGhPJLImYx95pFhXFt
f5nMN6aDgQ8OGBTH9M8JA+bkYei+d+zoEOYkJCOlC5S28/VWuS2zdMqSEzg8
ommPnvI/x5OHzffUMRCKWXBuSdlUTr2Q2jsgVweMXXMPF+otjNIDQIJrLbcM
4l3e++7xLmED9ZBea6dwxCoS1MJ4q6a+4jD7lmufwRh7T+mYDiaHvTGkZUhB
bXZyjWD21anTKOX8Ntf6GgOR9wi6gyOc6vBwkt6AVc7tK7mtk1XiRLQhq1Qg
EpEKxbDY58t8cLCPg7/AoCzyPd4i6UmgpyoNJ3POMHdCx47IxcHhEYr9+AtB
mOibujWQmPmjHGVkdye5i5il1o2z9ampbTaXhuM1HzAuHZwcxQDRVrizfEXX
JY0yVB24Jag+JZp2+HTvYZh45Bzou0LhH0bcD+kV7CpAkaVIbn7L6wd81+jK
D9nasU8C4niLtdIQJQ/oLu/xBd87OEbonGHQmXcXmvJUwSKArx4e8Tv+RqBE
wI7oKVes3UAMd49o0l2+17tHRw+D5j7u7SVlMEYNKvrEK5CuvaN95D97R8dH
9M9Tf/WoQSeFL2tAtO9Tg0vkze0ePiUUD4j1YkEtDaTnauT1w9eYNO6eEBxp
ivvI/NCK9ydHBFDZKG0seLUTA1Xii1YvBVOsA0LWydHTh4F3zwlkxKycL27z
u1YivKvhcm4A4OMTAulPgK+szwdR/Vyqv7DV3FRZwXM5OKYDOaR/jo/pWr5B
yRJtEldFJTXOMypRjXDzJf5oCzDG5PiIzvZk8kAEIgkwXMgHvbNLUEG5whBY
oWlrCfWx3YbZW00bPGDEIwyKRaihcoUzjqshHNllzGUIHTBTB6jwy+SqldKa
LddcxEXB/NwAKtNITbGvxCFRhBt7hyd0HZ4ePwxyExI5RU0wkSwhlpQIMcVh
cbwT3/8QgUKT8mU645QByhUQfT1gBib9tuplbIqvomQgQkWEzN6Bkikh1yKv
eqd8FHmMb0xo6jdFc1UMNuexXZaYDZbYRkQUHIzn4NtAz6MjIPSSwqZ9oJFw
qwttDk28nG7Ki5/fvuQ6e4wk9DdNgUr5bMHIsnvIbOkWVsxFTfBKS4sTqWoe
DA1UfboRm1hSU8V7ks1t1T4HcRUSIWKEDntEcojRarZUYM82b0oztMzXRD9p
lN0gD9yFkppDNY3zBU0Dr7fIvwFduX2vNKRDUyoXqU9XwfPQxdjj6Rgr7R2E
1w53d5fSWgVYKdMgUGuP9k6OcYjJ8cHDEP/YIP7rn0mVFooOY08Onu7tMupP
Do526dYenBBuSoWaVKiFl+BMp9FaDkhDgn9O6B8G4uslJYv0PZQcH+WbHiX9
QZOW2Dl1oDfyNk13SPMcTugfvhgvOfhkgzJkqoSNqR95FMXPVjHko4g+GHdG
8u/gSJw7c0WScUlWBGlfDdAWGRL7YTze2z86JHFwDyQTzxlixYEcmthXbFbi
XnFru8R2fybEE3KBkyqM4DR4cBTiH3L6rEkQOXhP+9bUNbHBDGRi141yTO42
BNPtTVDsn5wc0R0PnU/CIIy6bNnCsAdU89I8doK1z7xC9ncCR0gw2j2gkXfH
RCE0pjlEPpMawd+SuvIXzl5BSOwStv04lFrDvdumBSXssMMgIiraJ6kpgh2N
uctkglLQ3u4J6QfvDa7EHZeZotzFQ9AAu3ToDPlLlNWpVPqMctU4DY1kSQP0
ZsgqHIJ9ZWHIUuHyE85bJ4lU7hcrg3YRslZ1ev2AyKTJzZDv5L1A9Jl4Scwz
mbb8X4gQu8TZAUAiXKaNlYLaxacZB7LTWfTNoLxFUDIfhttHzktt5z++p6nx
IlJ/4ZDQd/7u26xAglfhOuAffGhEv+hb+Dvv1/m81da+pRnwkYYKSELy0eTo
iP9BkEx2mRx9KLhQCdUmGYqgICNv0SzJyh96OLFLU3ydeEP2jumGTE72WabW
Rjmkqfr84Mu4TUdkSUtx8+kRks/J070DHZkOEVsjXHGHthrFXc5s8zzZqJEE
4ETLxKUeIfmfIK3AcU/2D4hmsL3sA3dx6qsLQVQZaVWqFTcK1HhJgPTuLl/H
PbqOL6V5FVIDy5p6O2e1m+97aiHEUUH4ZurzlKjuF6ssyTtEGARmlu5FKF7j
GQ/Y/Hv0L1C/D6ymZupJT0CMlr6ID8plZk8P0bnhDEN0Ug/mug8QPqB4hMyT
B95B0tZ/ansmVna2xkoCIfRTktsnT4/3gjiLmoH0j7nAzeNjx/sPWwCp1C/Y
Aie1yRawDDITqAO8sQHzidMuhunkkPXeuEkVYRa5lbF/IivKAHzayNHekTEh
Tc0LGj873FAIhjjeR6w+JiVpckgcZ3K4zxxxcshGCbk3BZUfipv1hHqfcBGe
oCB2ckA3+/B4cj/X4jsncgvGJ6voAkPsyxAPsw9N9oJ02bJsWGHTtLbAE+82
C3UZCMtIcUmDAelsQcgxOeEbOdk7IIHjYLJP/4hBjQyi1LJO4m1th1COT65m
C2qUhJ52RScODwB47yJFOt5luWyy/0Ab2GTyVxm0JqR/izQ8Y2NAzW0jjI0A
N08G9gmgILPoj8iO56CuVFOGLTYp9WzV7NzY1vMFg/HQ2l9sGhR5sL1YduGN
IHDhJwHG3BKUL/H5j2d0q9jG5J0bbcR81OGUA8J2zZ2GSiJJmeweTWhfTDI1
NQaJt1a822YvhEauznwoh8aKepvEZHJ08qBD2z35qw5tl7UmbxcWlqQiBtwT
MgCePH0YmdwlMVxLAgVDCAsjWzgsyCLbUQIGTsIXOXr+jLheeI7WMpHjprQm
fABHpGi0M4qD2nosmu0bdNsW3nM3L395KECO/jp4HopHg/WnAXJI9wKEk6cP
s+fsHvx169n/617fc5HE9P2YseKQLGYHLBXjbgfp/iGR6f0TYfre0q0G2vwS
WSZy7az9WIJ+6IUwqt1sXe7ouqVhzqgWEkjCH2J9vWVWRc5dxNWHbI6MjO9u
sFsuUFEqtpD1JD5D9lX7mxkERNsCGjA8SUEqNOY0oYG0TULElMt10RWMtQpk
sMZVJVm64+x7GGhm6SbJ9+i9YurpP/dE86Z4GFRiMp4YMXwzMZVjfPPfgcHv
iuoqb3h83FUK+tNZvZLaDAgw2uumdXlDDTy+xlCC9glf75ZCDgL4SeTklaJJ
o9Us1a4pL9f4PCc3vH51/j2nbfxcswr5Q1OvVyGKDi2k6JpFb1VoqYMB5oi0
xDFABrhzq6LGeCIu6Vir154/pTIiJTGa9SXBDS0pU10Moa20LHcaZvGMQwZA
PwAIN3X2wzW6QEv48A9F9RfsEped5eRTQTT4ocYu0d/nZXONZk745Pfdd/gf
BfhPMa1zWpbfrxeLCmSD54/+Lv+ndfYP+RJ21NWPqK85f/Ev//k//9//w//y
L//9f/cv//v/9OjJd79/0tH/HjTgdZ29+7iORvtP/yn7v/7X/+b/+Z//23is
H3M4r1dXV0XTEZG+qgC6P2NIe7OAPbHGDseWnRUFQLeSD2DPL9cfi/DX+XW9
bOluJqsLS3hTNn/Js7/7P/+360WBKli8kLcliCV/yKuPLZkX8hvM8/pDDqLD
+hKkKBA48goR5zRuiuQ+PWMJr5g9f0QF0B99dv8v5bOB63lGAQA=

-->

</rfc>
