<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.5 (Ruby 3.2.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-bctb-6man-rfc6296-bis-02" category="std" consensus="true" submissionType="IETF" obsoletes="6296" version="3">
  <!-- xml2rfc v2v3 conversion 3.19.1 -->
  <front>
    <title abbrev="RFC 6296bis">RFC 6296bis IPv6-to-IPv6 Network Prefix Translation</title>
    <seriesInfo name="Internet-Draft" value="draft-bctb-6man-rfc6296-bis-02"/>
    <author initials="M." surname="Cullen" fullname="Margaret Cullen">
      <organization>Painless Security</organization>
      <address>
        <postal>
          <country>USA</country>
        </postal>
        <email>mrcullen42@gmail.com</email>
      </address>
    </author>
    <author initials="F." surname="Baker" fullname="Fred Baker">
      <organization>Unaffiliated</organization>
      <address>
        <postal>
          <country>USA</country>
        </postal>
        <email>fredbaker.ietf@gmail.com</email>
      </address>
    </author>
    <author initials="O." surname="Troan" fullname="Ole Troan">
      <organization>Cisco Systems</organization>
      <address>
        <postal>
          <country>Norway</country>
        </postal>
        <email>otroan@cisco.com</email>
      </address>
    </author>
    <author initials="N." surname="Buraglio" fullname="Nick Buraglio">
      <organization>Energy Sciences Network</organization>
      <address>
        <postal>
          <country>USA</country>
        </postal>
        <email>buraglio@forwardingplane.net</email>
      </address>
    </author>
    <date year="2024" month="January" day="26"/>
    <area>Int</area>
    <workgroup>6MAN</workgroup>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <?line 53?>

<t>This document describes a stateless, transport-agnostic IPv6-to-IPv6
Network Prefix Translation (NPTv6) function that provides the
address-independence benefit associated with IPv4-to-IPv4 NAT
(NAPT44) and provides a 1:1 relationship between addresses in the
"inside" and "outside" prefixes, preserving end-to-end reachability
at the network layer.</t>
    </abstract>
    <note removeInRFC="true">
      <name>Discussion Venues</name>
      <t>Source for this draft and an issue tracker can be found at
    <eref target="https://github.com/buraglio/rfc6296-bis"/>.</t>
    </note>
  </front>
  <middle>
    <?line 62?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>This document describes a stateless IPv6-to-IPv6 Network Prefix
Translation (NPTv6) function, designed to provide address
independence to the edge network.  It is transport-agnostic with
respect to transports that do not checksum the IP header, such as
SCTP, and to transports that use the TCP/UDP/DCCP (Datagram
Congestion Control Protocol) pseudo-header and checksum <xref target="RFC1071"/>.</t>
      <t>For reasons discussed in <xref target="RFC2993"/> and Section 5, the IETF does not
recommend the use of Network Address Translation technology for IPv6.
Where translation is implemented, however, this specification
provides a mechanism that has fewer architectural problems than
merely implementing a traditional stateful Network Address Translator
in an IPv6 environment.  It also provides a useful alternative to the
complexities and costs imposed by multihoming using provider-
independent addressing and the routing and network management issues
of overlaid ISP address space.  Some problems remain, however.  The
reader should consider the alternatives suggested in <xref target="RFC4864"/> and
the considerations of <xref target="RFC5902"/> for improved approaches.</t>
      <t>The stateless approach described in this document has several
ramifications:</t>
      <ul spacing="normal">
        <li>
          <t>Any security benefit that NAPT44 might offer is not present in
    NPTv6, necessitating the use of a firewall to obtain those
    benefits if desired.  An example of such a firewall is described
    in <xref target="RFC6092"/>.</t>
        </li>
        <li>
          <t>End-to-end reachability is preserved, although the address used
    "inside" the edge network differs from the address used "outside"
    the edge network.  This has implications for application referrals
    and other uses of Internet layer addresses.</t>
        </li>
        <li>
          <t>If there are multiple identically configured prefix translators
    between two networks, there is no need for them to exchange
    dynamic state, as there is no dynamic state -- the algorithmic
    translation will be identical across each of them.  The network
    can therefore asymmetrically route, load share, and fail-over
    among them without issue.</t>
        </li>
        <li>
          <t>Since translation is 1:1 at the network layer, there is no need to
    modify port numbers or other transport parameters.</t>
        </li>
        <li>
          <t>TCP sessions that authenticate peers using the TCP Authentication
    Option <xref target="RFC5925"/> cannot have their addresses translated, as the
    addresses are used in the calculation of the Message
    Authentication Code.  This consideration applies in general to any</t>
        </li>
        <li>
          <t>Unilateral Self-Address Fixing (UNSAF) <xref target="RFC3424"/> Protocol, which
    the IAB recommends against the deployment of in an environment
    that changes Internet addresses.</t>
        </li>
        <li>
          <t>Applications using the Internet Key Exchange Protocol Version 2
    (IKEv2) <xref target="RFC5996"/> should, at least in theory, detect the presence
    of the translator; while no NAT traversal solution is required,
    <xref target="RFC5996"/> would require such sessions to use UDP.</t>
        </li>
      </ul>
      <section anchor="what-is-address-independence">
        <name>What is Address Independence?</name>
        <t>For the purposes of this document, IPv6 address independence consists
of the following set of properties:</t>
        <t>From the perspective of the edge network:</t>
        <ul spacing="normal">
          <li>
            <t>The IPv6 addresses used inside the local network (for
interfaces, access lists, and logs) do not need to be
renumbered if the global prefix(es) assigned for use by the
edge network are changed.</t>
          </li>
          <li>
            <t>The IPv6 addresses used inside the edge network (for
interfaces, access lists, and logs) or within other upstream
networks (such as when multihoming) do not need to be
renumbered when a site adds, drops, or changes upstream
networks.</t>
          </li>
          <li>
            <t>It is not necessary for an administration to convince an
upstream network to route its internal IPv6 prefixes or for it
to advertise prefixes derived from other upstream networks into
it.</t>
          </li>
          <li>
            <t>Unless it wants to optimize routing between multiple upstream
networks in the process of multihoming, there is no need for a
BGP exchange with the upstream network.</t>
          </li>
        </ul>
        <t>From the perspective of the upstream network:</t>
        <ul spacing="normal">
          <li>
            <t>IPv6 addresses used by the edge network are guaranteed to have
a provider-allocated prefix, eliminating the need and concern
for BCP 38 <xref target="RFC2827"/> ingress filtering and the advertisement of
customer-specific prefixes.</t>
          </li>
        </ul>
        <t>Thus, address independence has ramifications for the edge network,
networks it directly connects with (especially its upstream
networks), and the Internet as a whole.  The desire for address
independence has been a primary driver for IPv4 NAT deployment in
medium- to large-sized enterprise networks, including NAT deployments</t>
        <t>in enterprises that have plenty of IPv4 provider-independent address
space (from IPv4 "swamp space").  It has also been a driver for edge
networks to become members of Regional Internet Registry (RIR)
communities, seeking to obtain BGP Autonomous System Numbers and
provider-independent prefixes, and as a result has been one of the
drivers of the explosion of the IPv4 route table.  Service providers
have stated that the lack of address independence from their
customers has been a negative incentive to deployment, due to the
impact of customer routing expected in their networks.</t>
        <t>The Local Network Protection <xref target="RFC4864"/> document discusses a related
concept called "Address Autonomy" as a benefit of NAPT44.  <xref target="RFC4864"/>
indicates that address autonomy can be achieved by the simultaneous
use of global addresses on all nodes within a site that need external
connectivity and Unique Local Addresses (ULAs) <xref target="RFC4193"/> for all
internal communication.  However, this solution fails to meet the
requirement for address independence, because if an ISP renumbering
event occurs, all of the hosts, routers, DHCP servers, Access Control
Lists (ACLs), firewalls, and other internal systems that are
configured with global addresses from the ISP will need to be
renumbered before global connectivity is fully restored.</t>
        <t>The use of IPv6 provider-independent (PI) addresses has also been
suggested as a means to fulfill the address-independence requirement.
However, this solution requires that an enterprise qualify to receive
a PI assignment and persuade its ISP to install specific routes for
the enterprise's PI addresses.  There are a number of practical
issues with this approach, especially if there is a desire to route
to a number of geographically and topologically diverse sites, which
can sometimes involve coordinating with several ISPs to route
portions of a single PI prefix.  These problems have caused numerous
enterprises with plenty of IPv4 swamp space to choose to use IPv4 NAT
for part, or substantially all, of their internal network instead of
using their provider-independent address space.</t>
      </section>
      <section anchor="nptv6-applicability">
        <name>NPTv6 Applicability</name>
        <t>NPTv6 provides a simple and compelling solution to meet the address-
independence requirement in IPv6.  The address-independence benefit
stems directly from the translation function of the network prefix
translator.  To avoid as many of the issues associated with NAPT44 as
possible, NPTv6 is defined to include a two-way, checksum-neutral,
algorithmic translation function, and nothing else.</t>
        <t>The fact that NPTv6 does not map ports and is checksum-neutral avoids
the need for an NPTv6 Translator to rewrite transport layer headers.
This makes it feasible to deploy new or improved transport layer
protocols without upgrading NPTv6 Translators.  Similarly, since
NPTv6 does not rewrite transport layer headers, NPTv6 will not
interfere with encryption of the full IP payload in many cases.</t>
        <t>The default NPTv6 address-mapping mechanism is purely algorithmic, so
NPTv6 translators do not need to maintain per-node or per-connection
state, allowing deployment of more robust and adaptive networks than
can be deployed using NAPT44.  Since the default NPTv6 mapping can be
performed in either direction, it does not interfere with inbound
connection establishment, thus allowing internal nodes to participate
in direct Peer-to-Peer applications without the application layer
overhead one finds in many IPv4 Peer-to-Peer applications.</t>
        <t>Although NPTv6 compares favorably to NAPT44 in several ways, it does
not eliminate all of the architectural problems associated with IPv4
NAT, as described in <xref target="RFC2993"/>.  NPTv6 involves modifying IP headers
in transit, so it is not compatible with security mechanisms, such as
the IPsec Authentication Header, that provide integrity protection
for the IP header.  NPTv6 may interfere with the use of application
protocols that transmit IP addresses in the application-specific
portion of the IP datagram.  These applications currently require
Application Layer Gateways (ALGs) to work correctly through NAPT44
devices, and similar ALGs may be required for these applications to
work through NPTv6 Translators.  The use of separate internal and
external prefixes creates complexity for DNS deployment, due to the
desire for internal nodes to communicate with other internal nodes
using internal addresses, while external nodes need to obtain
external addresses to communicate with the same nodes.  This
frequently results in the deployment of "split DNS", which may add
complexity to network configuration.</t>
        <t>The choice of address within the edge network bears consideration.
One could use a ULA, which maximizes address independence.  That
could also be considered a misuse of the ULA; if the expectation is
that a ULA prevents access to a system from outside the range of the
ULA, NPTv6 overrides that.  On the other hand, the administration is
aware that it has made that choice and could deploy a second ULA for
the purpose of privacy if it desired; the only prefix that will be
translated is one that has an NPTv6 Translator configured to
translate to or from it.  Also, using any other global-scope address
format makes one either obtain a PI prefix or be at the mercy of the
agency from which it was allocated.</t>
        <t>There are significant technical impacts associated with the
deployment of any prefix translation mechanism, including NPTv6, and
we strongly encourage anyone who is considering the implementation or
deployment of NPTv6 to read <xref target="RFC4864"/> and <xref target="RFC5902"/>, and to carefully
consider the alternatives described in that document, some of which
may cause fewer problems than NPTv6.</t>
      </section>
      <section anchor="requirements-terminology">
        <name>Requirements Terminology</name>
        <t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
   "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this
   document are to be interpreted as described in RFC 2119 <xref target="RFC2119"/>.</t>
      </section>
    </section>
    <section anchor="nptv6-overview">
      <name>NPTv6 Overview</name>
      <t>NPTv6 may be implemented in an IPv6 router to map one IPv6 address
   prefix to another IPv6 prefix as each IPv6 datagram transits the
   router.  A router that implements an NPTv6 prefix translation
   function is referred to as an NPTv6 Translator.</t>
      <section anchor="nptv6-the-simplest-case">
        <name>NPTv6: The Simplest Case</name>
        <t>In its simplest form, an NPTv6 Translator interconnects two network
links, one of which is an "internal" network link attached to a leaf
network within a single administrative domain and the other of which
is an "external" network with connectivity to the global Internet.
All of the hosts on the internal network will use addresses from a
single, locally routed prefix, and those addresses will be translated
to/from addresses in a globally routable prefix as IP datagrams
transit the NPTv6 Translator.  The lengths of these two prefixes will
be functionally the same; if they differ, the longer of the two will
limit the ability to use subnets in the shorter.</t>
        <artwork><![CDATA[
               External Network:  Prefix = 2001:0DB8:0001:/48
                   --------------------------------------
                                     |
                                     |
                              +-------------+
                              |     NPTv6   |
                              |  Translator |
                              +-------------+
                                     |
                                     |
                   --------------------------------------
               Internal Network:  Prefix = FD01:0203:0405:/48

                       Figure 1: A Simple Translator
]]></artwork>
        <t>Figure 1 shows an NPTv6 Translator attached to two networks.  In this
example, the internal network uses IPv6 Unique Local Addresses (ULAs)
<xref target="RFC4193"/> to represent the internal IPv6 nodes, and the external
network uses globally routable IPv6 addresses to represent the same
nodes.</t>
        <t>When an NPTv6 Translator forwards datagrams in the "outbound"
direction, from the internal network to the external network, NPTv6
overwrites the IPv6 source prefix (in the IPv6 header) with a
corresponding external prefix.  When datagrams are forwarded in the
"inbound" direction, from the external network to the internal
network, the IPv6 destination prefix is overwritten with a
corresponding internal prefix.  Using the prefixes shown in the
diagram above, as an IP datagram passes through the NPTv6 Translator
in the outbound direction, the source prefix (FD01:0203:0405:/48)
will be overwritten with the external prefix (2001:0DB8:0001:/48).
In an inbound datagram, the destination prefix (2001:0DB8:0001:/48)
will be overwritten with the internal prefix (FD01:0203:0405:/48).
In both cases, it is the local IPv6 prefix that is overwritten; the
remote IPv6 prefix remains unchanged.  Nodes on the internal network
are said to be "behind" the NPTv6 Translator.</t>
        <t>2.2.  NPTv6 between Peer Networks</t>
        <t>NPTv6 can also be used between two private networks.  In these cases,
   both networks may use ULA prefixes, with each subnet in one network
   mapped into a corresponding subnet in the other network, and vice
   versa.  Or, each network may use ULA prefixes for internal addressing
   and global unicast addresses on the other network.</t>
        <artwork><![CDATA[
                  Internal Prefix = FD01:4444:5555:/48
                  --------------------------------------
                       V            |      External Prefix
                       V            |      2001:0DB8:6666:/48
                       V        +---------+      ^
                       V        |  NPTv6  |      ^
                       V        |  Device |      ^
                       V        +---------+      ^
              External Prefix       |            ^
              2001:0DB8:0001:/48    |            ^
                  --------------------------------------
                  Internal Prefix = FD01:0203:0405:/48

               Figure 2: Flow of Information in Translation
]]></artwork>
      </section>
      <section anchor="nptv6-redundancy-and-load-sharing">
        <name>NPTv6 Redundancy and Load Sharing</name>
        <t>In some cases, more than one NPTv6 Translator may be attached to a
   network, as shown in Figure 3.  In such cases, NPTv6 Translators are
   configured with the same internal and external prefixes.  Since there
   is only one translation, even though there are multiple translators,
   they map only one external address (prefix and Interface Identifier
   (IID)) to the internal address.</t>
        <artwork><![CDATA[
               External Network:  Prefix = 2001:0DB8:0001:/48
                   --------------------------------------
                          |                      |
                          |                      |
                   +-------------+        +-------------+
                   |  NPTv6      |        |  NPTv6      |
                   |  Translator |        |  Translator |
                   |   #1        |        |   #2        |
                   +-------------+        +-------------+
                          |                      |
                          |                      |
                   --------------------------------------
               Internal Network:  Prefix = FD01:0203:0405:/48

                      Figure 3: Parallel Translators
]]></artwork>
      </section>
      <section anchor="nptv6-multihoming">
        <name>NPTv6 Multihoming</name>
        <artwork><![CDATA[
            External Network #1:          External Network #2:
         Prefix = 2001:0DB8:0001:/48    Prefix = 2001:0DB8:5555:/48
         ---------------------------    --------------------------
                         |                      |
                         |                      |
                  +-------------+        +-------------+
                  |  NPTv6      |        |  NPTv6      |
                  |  Translator |        |  Translator |
                  |   #1        |        |   #2        |
                  +-------------+        +-------------+
                         |                      |
                         |                      |
                  --------------------------------------
              Internal Network:  Prefix = FD01:0203:0405:/48

      Figure 4: Parallel Translators with Different Upstream Networks
]]></artwork>
        <t>When multihoming, NPTv6 Translators are attached to an internal
   network, as shown in Figure 4, but are connected to different
   external networks.  In such cases, NPTv6 Translators are configured
   with the same internal prefix but different external prefixes.  Since
   there are multiple translations, they map multiple external addresses
   (prefix and IID) to the common internal address.  A system within the
   edge network is unable to determine which external address it is
   using apart from services such as Session Traversal Utilities for NAT
   (STUN) <xref target="RFC5389"/>.</t>
        <t>Multihoming in this sense has one negative feature as compared with
   multihoming with a provider-independent address: when routes change
   between NPTv6 Translators, the translated prefix can change since the
   upstream network changes.  This causes sessions and referrals
   dependent on it to fail as well.  This is not expected to be a major
   issue, however, in networks where routing is generally stable.</t>
      </section>
      <section anchor="mapping-with-no-per-flow-state">
        <name>Mapping with No Per-Flow State</name>
        <t>When NPTv6 is used as described in this document, no per-node or per-
   flow state is maintained in the NPTv6 Translator.  Both inbound and
   outbound datagrams are translated algorithmically, using only
   information found in the IPv6 header.  Due to this property, NPTv6's
   two-way, algorithmic address mapping can support both outbound and
   inbound connection establishment without the need for maintenance of
   mapping state or for state-priming or rendezvous mechanisms.  This is
   a significant improvement over NAPT44 devices, but it also has
   significant security implications, which are described in Section 7.</t>
      </section>
      <section anchor="checksum-neutral-mapping">
        <name>Checksum-Neutral Mapping</name>
        <t>When a change is made to one of the IP header fields in the IPv6
   pseudo-header checksum (such as one of the IP addresses), the
   checksum field in the transport layer header may become invalid.
   Fortunately, an incremental change in the area covered by the
   Internet standard checksum <xref target="RFC1071"/> will result in a well-defined
   change to the checksum value <xref target="RFC1624"/>.  So, a checksum change caused
   by modifying part of the area covered by the checksum can be
   corrected by making a complementary change to a different 16-bit
   field covered by the same checksum.</t>
        <t>The NPTv6 mapping mechanisms described in this document are checksum-
   neutral, which means that they result in IP headers that will
   generate the same IPv6 pseudo-header checksum when the checksum is
   calculated using the standard Internet checksum algorithm <xref target="RFC1071"/>.
   Any changes that are made during translation of the IPv6 prefix are
   offset by changes to other parts of the IPv6 address.  This results
   in transport layers that use the Internet checksum (such as TCP and
   UDP) calculating the same IPv6 pseudo-header checksum for both the
   internal and external forms of the same datagram, which avoids the
   need for the NPTv6 Translator to modify those transport layer headers
   to correct the checksum value.</t>
        <t>The outgoing checksum correction is achieved by making a change to a
   16-bit section of the source address that is not used for routing in
   the external network.  Due to the nature of checksum arithmetic, when
   the corresponding correction is applied to the same bits of
   destination address of the inbound packet, the Destination Address
   (DA) is returned to the correct internal value.</t>
        <t>As noted in Section 4.2, this mapping results in an edge network
   using a /48 external prefix to be unable to use subnet 0xFFFF.</t>
      </section>
    </section>
    <section anchor="nptv6-algorithmic-specification">
      <name>NPTv6 Algorithmic Specification</name>
      <t>The <xref target="RFC4291"/> IPv6 Address is reproduced for clarity in Figure 5.
   ~~~~~~~~~~</t>
      <artwork><![CDATA[
  0    15 16   31 32   47 48   63 64   79 80   95 96  111 112  127
 +-------+-------+-------+-------+-------+-------+-------+-------+
 |     Routing Prefix    | Subnet|   Interface Identifier (IID)  |
 +-------+-------+-------+-------+-------+-------+-------+-------+

        Figure 5: Enumeration of the IPv6 Address {{RFC4291}} ~~~~~~~~~~
]]></artwork>
      <section anchor="nptv6-configuration-calculations">
        <name>NPTv6 Configuration Calculations</name>
        <t>When an NPTv6 Translation function is configured, it is configured
   with</t>
        <ul spacing="normal">
          <li>
            <t>one or more "internal" interfaces with their "internal" routing
    domain prefixes, and</t>
          </li>
          <li>
            <t>one or more "external" interfaces with their "external" routing
    domain prefixes.  </t>
            <t>
In the simple case, there is one of each.  If a single router
 provides NPTv6 translation services between a multiplicity of domains
 (as might be true when multihoming), each internal/external pair must
 be thought of as a separate NPTv6 Translator from the perspective of
 this specification.  </t>
            <t>
When an NPTv6 Translator is configured, the translation function
 first ensures that the internal and external prefixes are the same
 length, extending the shorter of the two with zeroes if necessary.
 These two prefixes will be used in the prefix translation function
 described in Sections 3.2 and 3.3.  </t>
            <t>
They are then zero-extended to /64 for the purposes of a calculation.
 The translation function calculates the one's complement sum of the
 16-bit words of the /64 external prefix and the /64 internal prefix.
 It then calculates the difference between these values: internal
 minus external.  This value, called the "adjustment", is effectively
 constant for the lifetime of the NPTv6 Translator configuration and
 is used in per-datagram processing.</t>
          </li>
        </ul>
      </section>
      <section anchor="nptv6-translation-internal-network-to-external-network">
        <name>NPTv6 Translation, Internal Network to External Network</name>
        <t>When a datagram passes through the NPTv6 Translator from an internal
   to an external network, its IPv6 Source Address is either changed in
   two ways or results in the datagram being discarded:</t>
        <ul spacing="normal">
          <li>
            <t>If the internal subnet number has no mapping, such as being 0xFFFF
    or simply not mapped, discard the datagram.  This SHOULD result in
    an ICMP Destination Unreachable.</t>
          </li>
          <li>
            <t>The internal prefix is overwritten with the external prefix, in
    effect subtracting the difference between the two checksums (the
    adjustment) from the pseudo-header's checksum, and</t>
          </li>
          <li>
            <t>A 16-bit word of the address has the adjustment added to it using
    one's complement arithmetic.  If the result is 0xFFFF, it is
    overwritten as zero.  The choice of word is as specified in
    Sections 3.4 or 3.5 as appropriate.</t>
          </li>
        </ul>
      </section>
      <section anchor="nptv6-translation-external-network-to-internal-network">
        <name>NPTv6 Translation, External Network to Internal Network</name>
        <t>When a datagram passes through the NPTv6 Translator from an external
   to an internal network, its IPv6 Destination Address is changed in
   two ways:</t>
        <ul spacing="normal">
          <li>
            <t>The external prefix is overwritten with the internal prefix, in
    effect adding the difference between the two checksums (the
    adjustment) to the pseudo-header's checksum, and</t>
          </li>
          <li>
            <t>A 16-bit word of the address has the adjustment subtracted from it
    (bitwise inverted and added to it) using one's complement
    arithmetic.  If the result is 0xFFFF, it is overwritten as zero.
    The choice of word is as specified in Section 3.4 or Section 3.5
    as appropriate.</t>
          </li>
        </ul>
      </section>
      <section anchor="nptv6-with-a-48-or-shorter-prefix">
        <name>NPTv6 with a /48 or Shorter Prefix</name>
        <t>When an NPTv6 Translator is configured with internal and external
   prefixes that are 48 bits in length (a /48) or shorter, the
   adjustment MUST be added to or subtracted from bits 48..63 of the
   address.
   This mapping results in no modification of the Interface Identifier
   (IID), which is held in the lower half of the IPv6 address, so it
   will not interfere with future protocols that may use unique IIDs for
   node identification.</t>
        <t>NPTv6 Translator implementations MUST implement the /48 mapping.</t>
      </section>
      <section anchor="nptv6-with-a-49-or-longer-prefix">
        <name>NPTv6 with a /49 or Longer Prefix</name>
        <t>When an NPTv6 Translator is configured with internal and external
   prefixes that are longer than 48 bits in length (such as a /52, /56,
   or /60), the adjustment must be added to or subtracted from one of
   the words in bits 64..79, 80..95, 96..111, or 112..127 of the
   address.  While the choice of word is immaterial as long as it is
   consistent, these words MUST be inspected in that sequence and the
   first that is not initially 0xFFFF chosen, for consistency's sake.</t>
        <t>NPTv6 Translator implementations SHOULD implement the mapping for
   longer prefixes.</t>
      </section>
      <section anchor="prefix-mapping-example">
        <name>/48 Prefix Mapping Example</name>
        <t>For the network shown in Figure 1, the Internal Prefix is FD01:0203:
   0405:/48, and the External Prefix is 2001:0DB8:0001:/48.</t>
        <t>If a node with internal address FD01:0203:0405:0001::1234 sends an
   outbound datagram through the NPTv6 Translator, the resulting
   external address will be 2001:0DB8:0001:D550::1234.  The resulting
   address is obtained by calculating the checksum of both the internal
   and external 48-bit prefixes, subtracting the internal prefix from
   the external prefix using one's complement arithmetic to calculate
   the "adjustment", and adding the adjustment to the 16-bit subnet
   field (in this case, 0x0001).</t>
        <t>To show the work:</t>
        <t>The one's complement checksum of FD01:0203:0405 is 0xFCF5.  The one's
   complement checksum of 2001:0DB8:0001 is 0xD245.  Using one's
   complement arithmetic, 0xD245 - 0xFCF5 = 0xD54F.  The subnet in the
   original datagram is 0x0001.  Using one's complement arithmetic,
   0x0001 + 0xD54F = 0xD550.  Since 0xD550 != 0xFFFF, it is not changed
   to 0x0000.</t>
        <t>So, the value 0xD550 is written in the 16-bit subnet area, resulting
   in a mapped external address of 2001:0DB8:0001:D550::1234.</t>
        <t>When a response datagram is received, it will contain the destination
   address 2001:0DB8:0001:D550::1234, which will be mapped back to FD01:
   0203:0405:0001::1234 using the inverse mapping algorithm.</t>
        <t>In this case, the difference between the two prefixes will be
   calculated as follows:</t>
        <t>Using one's complement arithmetic, 0xFCF5 - 0xD245 = 0x2AB0.  The
   subnet in the original datagram = 0xD550.  Using one's complement
   arithmetic, 0xD550 + 0x2AB0 = 0x0001.  Since 0x0001 != 0xFFFF, it is
   not changed to 0x0000.</t>
        <t>So the value 0x0001 is written into the subnet field, and the
   internal value of the subnet field is properly restored.</t>
      </section>
      <section anchor="address-mapping-for-longer-prefixes">
        <name>Address Mapping for Longer Prefixes</name>
        <t>If the prefix being mapped is longer than 48 bits, the algorithm is
   slightly more complex.  A common case will be that the internal and
   external prefixes are of different lengths.  In such a case, the
   shorter prefix is zero-extended to the length of the longer as
   described in Section 3.1 for the purposes of overwriting the prefix.
   Then, they are both zero-extended to 64 bits to facilitate one's
   complement arithmetic.  The "adjustment" is calculated using those
   64-bit prefixes.</t>
        <t>For example, if the internal prefix is a /48 ULA and the external
   prefix is a /56 provider-allocated prefix, the ULA becomes a /56 with
   zeros in bits 48..55.  For purposes of one's complement arithmetic,
   they are then both zero-extended to 64 bits.  A side effect of this
   is that a subset of the subnets possible in the shorter prefix is
   untranslatable.  While the security value of this is debatable, the
   administration may choose to use them for subnets that it knows need
   no external accessibility.</t>
        <t>We then find the first word in the IID that does not have the value
   0xFFFF, trying bits 64..79, and then 80..95, 96..111, and finally
   112..127.  We perform the same calculation (with the same proof of
   correctness) as in Section 3.6 but apply it to that word.</t>
        <t>Although any 16-bit portion of an IPv6 IID could contain 0xFFFF, an
   IID of all-ones is a reserved anycast identifier that should not be
   used on the network <xref target="RFC2526"/>.  If an NPTv6 Translator discovers a
   datagram with an IID of all-zeros while performing address mapping,
   that datagram MUST be dropped, and an ICMPv6 Parameter Problem error
   SHOULD be generated <xref target="RFC4443"/>.
   Note: This mechanism does involve modification of the IID; it may not
   be compatible with future mechanisms that use unique IIDs for node
   identification.</t>
      </section>
      <section anchor="icmpv6-error-forwarding">
        <name>ICMPv6 error forwarding</name>
        <t>This section describes the processing of ICMPv6 error messages and is similar to
   the ICMP error forwarding specified for IPv4 NATs in <xref target="RFC5508"/>.</t>
        <t>For an ICMPv6 error, both the addresses in the outer IPv6 header and the embedded IPv6 header
   in the ICMPv6 error message must be translated.</t>
        <t>For an ICMPv6 error received from the "outside", the embedded IPv6 header source address
   is translated from the external prefix to the internal prefix. While the outer IPv6 header
   destination address is translated from the external prefix to the internal prefix as normal.
   If the embedded IPv6 source address prefix does not match the external prefix prior to the rewrite,
   the packet MUST be silently dropped.</t>
        <t>For an ICMPv6 error received from the "inside", the embedded IPv6 header destination address
   is translated from the internal prefix to the external prefix. While the outer IPv6 header
   source address is translated from the internal prefix to the external prefix as normal.
   If the embedded IPv6 destination address prefix does not match the internal prefix prior to the rewrite,
   the packet MUST be silently dropped.</t>
        <t>The ICMPv6 forwarding function MUST verify that the length of the embedded pacekt is long enough to contain the whole IPv6 header.</t>
        <t>An ICMPv6 Error message checksum covers the entire ICMPv6 message,
   including the payload.  When an ICMPv6 Error packet is received, if the
   ICMPv6 checksum fails to validate, NPTv6 SHOULD silently drop the
   ICMPv6 Error packet.  This is because NATv6 uses the embedded IPv6 and
   transport headers for forwarding and translating the ICMPv6 Error
   message.  When the ICMPv6 checksum is
   invalid, the embedded IPv6 and transport headers, which are covered by
   the ICMPv6 checksum, are also suspect.</t>
      </section>
    </section>
    <section anchor="implications-of-network-address-translator-behavioral-requirements">
      <name>Implications of Network Address Translator Behavioral Requirements</name>
      <section anchor="prefix-configuration-and-generation">
        <name>Prefix Configuration and Generation</name>
        <t>NPTv6 Translators MUST support manual configuration of internal and
   external prefixes and MUST NOT place any restrictions on those
   prefixes except that they be valid IPv6 unicast prefixes as described
   in <xref target="RFC4291"/>.  They MAY also support random generation of ULA
   addresses on command.  Since the most common place anticipated for
   the implementation of an NPTv6 Translator is a Customer Premises
   Equipment (CPE) router, the reader is urged to consider the
   requirements of <xref target="RFC6204"/>.</t>
      </section>
      <section anchor="subnet-numbering">
        <name>Subnet Numbering</name>
        <t>For reasons detailed in Appendix B, a network using NPTv6 Translation
   and a /48 external prefix MUST NOT use the value 0xFFFF to designate
   a subnet that it expects to be translated.</t>
      </section>
      <section anchor="nat-behavioral-requirements">
        <name>NAT Behavioral Requirements</name>
        <t>NPTv6 Translators MUST support hairpinning behavior, as defined in
   the NAT Behavioral Requirements for UDP document <xref target="RFC4787"/>.  This
   means that when an NPTv6 Translator receives a datagram on the
   internal interface that has a destination address that matches the
   site's external prefix, it will translate the datagram and forward it
   internally.  This allows internal nodes to reach other internal nodes
   using their external, global addresses when necessary.</t>
        <t>Conceptually, the datagram leaves the domain (is translated as
   described in Section 3.2) and returns (is again translated as
   described in Section 3.3).  As a result, the datagram exchange will
   be through the NPTv6 Translator in both directions for the lifetime
   of the session.  The alternative would be to require the NPTv6
   Translator to drop the datagram, forcing the sender to use the
   correct internal prefix for its peer.  Performing only the external-
   to-internal translation results in the datagram being sent from the
   untranslated internal address of the source to the translated and
   therefore internal address of its peer, which would enable the
   session to bypass the NPTv6 Translator for future datagrams.  It
   would also mean that the original sender would be unlikely to
   recognize the response when it arrived.
   Because NPTv6 does not perform port mapping and uses a one-to-one,
   reversible-mapping algorithm, none of the other NAT behavioral
   requirements apply to NPTv6.</t>
      </section>
    </section>
    <section anchor="implications-for-applications">
      <name>Implications for Applications</name>
      <t>NPTv6 Translation does not create several of the problems known to
   exist with other kinds of NATs as discussed in <xref target="RFC2993"/>.  In
   particular, NPTv6 Translation is stateless, so a "reset" or brief
   outage of an NPTv6 Translator does not break connections that
   traverse the translation function, and if multiple NPTv6 Translators
   exist between the same two networks, the load can shift or be
   dynamically load shared among them.  Also, an NPTv6 Translator does
   not aggregate traffic for several hosts/interfaces behind a fewer
   number of external addresses, so there is no inherent expectation for
   an NPTv6 Translator to block new inbound flows from external hosts
   and no issue with a filter or blacklist associated with one prefix
   within the domain affecting another.  A firewall can, of course, be
   used in conjunction with an NPTv6 Translator; this would allow the
   network administrator more flexibility to specify security policy
   than would be possible with a traditional NAT.</t>
      <t>However, NPTv6 Translation does create difficulties for some kinds of
   applications.  Some examples include:</t>
      <ul spacing="normal">
        <li>
          <t>An application instance "behind" an NPTv6 Translator will see a
    different address for its connections than its peers "outside" the
    NPTv6 Translator.</t>
        </li>
        <li>
          <t>An application instance "outside" an NPTv6 Translator will see a
    different address for its connections than any peer "inside" an
    NPTv6 Translator.</t>
        </li>
        <li>
          <t>An application instance wishing to establish communication with a
    peer "behind" an NPTv6 Translator may need to use a different
    address to reach that peer depending on whether the instance is
    behind the same NPTv6 Translator or external to it.  Since an
    NPTv6 Translator implements hairpinning (Section 4.3), it suffices
    for applications to always use their external addresses.  However,
    this creates inefficiencies in the local network and may also
    complicate implementation of the NPTv6 Translator.  <xref target="RFC6724"/> also
    would prefer the private address in such a case in order to reduce
    those inefficiencies.</t>
        </li>
        <li>
          <t>An application instance that moves from a realm "behind" an NPTv6
    Translator to a realm that is "outside" the network, or vice
    versa, may find that it is no longer able to reach its peers at
    the same addresses it was previously able to use.</t>
        </li>
        <li>
          <t>An application instance that is intermittently communicating with
    a peer that moves from behind an NPTv6 Translator to "outside" of
    it, or vice versa, may find that it is no longer able to reach
    that peer at the same address that it had previously used.  </t>
          <t>
Many, but not all, of the applications that are adversely affected by
 NPTv6 Translation are those that do "referrals" -- where an
 application instance passes its own addresses, and/or addresses of
 its peers, to other peers.  (Some believe referrals are inherently
 undesirable; others believe that they are necessary in some
 circumstances.  A discussion of the merits of referrals, or lack
 thereof, is beyond the scope of this document.)  </t>
          <t>
To some extent, the incidence of these difficulties can be reduced by
 DNS hacks that attempt to expose addresses "behind" an NPTv6
 Translator only to hosts that are also behind the same NPTv6
 Translator and perhaps to also expose only the "internal" addresses
 of hosts behind the NPTv6 Translator to other hosts behind the same
 NPTv6 Translator.  However, this cannot be a complete solution.  A
 full discussion of these issues is out of scope for this document,
 but briefly: (a) reliance on DNS to solve this problem depends on
 hosts always making queries from DNS servers in the same realm as
 they are (or on DNS interception proxies, which create their own
 problems) and on mobile hosts/applications not caching those results;
 (b) reliance on DNS to solve this problem depends on network
 administrators on all networks using such applications to reliably
 and accurately maintain current DNS entries for every host using
 those applications; and (c) reliance on DNS to solve this problem
 depends on applications always using DNS names, even though they
 often must run in environments where DNS names are not reliably
 maintained for every host.  Other issues are that there is often no
 single distinguished name for a host and no reliable way for a host
 to determine what DNS names are associated with it and which names
 are appropriate to use in which contexts.</t>
        </li>
      </ul>
      <section anchor="recommendation-for-network-planners-considering-use-of-nptv6-translation">
        <name>Recommendation for Network Planners Considering Use of NPTv6 Translation</name>
        <t>In light of the above, network planners considering the use of NPTv6
   translation should carefully consider the kinds of applications that
   they will need to run in the future and determine whether the
   address-stability and provider-independence benefits are consistent
   with their application requirements.</t>
      </section>
      <section anchor="recommendations-for-application-writers">
        <name>Recommendations for Application Writers</name>
        <t>Several mechanisms (e.g., STUN <xref target="RFC5389"/>, Traversal Using Relays
   around NAT (TURN) <xref target="RFC5766"/>, and Interactive Connectivity
   Establishment (ICE) <xref target="RFC5245"/>) have been used with traditional IPv4
   NAT to circumvent some of the limitations of such devices.  Similar
   mechanisms could also be applied to circumvent some of the issues
   with an NPTv6 Translator.  However, all of these require the
   assistance of an external server or a function co-located with the
   translator that can tell an "internal" host what its "external"
   addresses are.</t>
      </section>
      <section anchor="recommendation-for-future-work">
        <name>Recommendation for Future Work</name>
        <t>It might be desirable to define a general mechanism that would allow
   hosts within a translation domain to determine their external
   addresses and/or request that inbound traffic be permitted.  If such
   a mechanism were to be defined, it would ideally be general enough to
   also accommodate other types of NAT likely to be encountered by IPV6
   applications, in particular IPv4/IPv6 Translation <xref target="RFC6144"/> <xref target="RFC6147"/>
          <xref target="RFC6145"/> <xref target="RFC6146"/> <xref target="RFC6052"/>.  For this and other reasons, such a
   mechanism is beyond the scope of this document.</t>
      </section>
    </section>
    <section anchor="a-note-on-port-mapping">
      <name>A Note on Port Mapping</name>
      <t>In addition to overwriting IP addresses when datagrams are forwarded,
   NAPT44 devices overwrite the source port number in outbound traffic
   and the destination port number in inbound traffic.  This mechanism
   is called "port mapping".</t>
      <t>The major benefit of port mapping is that it allows multiple
   computers to share a single IPv4 address.  A large number of internal
   IPv4 addresses (typically from one of the <xref target="RFC1918"/> private address
   spaces) can be mapped into a single external, globally routable IPv4
   address, with the local port number used to identify which internal
   node should receive each inbound datagram.  This address-
   amplification feature is not generally foreseen as a necessity at
   this time.</t>
      <t>Since port mapping requires rewriting a portion of the transport
   layer header, it requires NAPT44 devices to be aware of all of the
   transport protocols that they forward, thus stifling the development
   of new and improved transport protocols and preventing the use of
   IPsec encryption.  Modifying the transport layer header is
   incompatible with security mechanisms that encrypt the full IP
   payload and restricts the NAPT44 to forwarding transport layers that
   use weak checksum algorithms that are easily recalculated in routers.</t>
      <t>Since there is significant detriment caused by modifying transport
   layer headers and very little, if any, benefit to the use of port
   mapping in IPv6, NPTv6 Translators that comply with this
   specification MUST NOT perform port mapping.</t>
    </section>
    <section anchor="application-layer-gateways">
      <name>Application Layer Gateways</name>
      <t>As explained in <xref target="RFC5382"/> and <xref target="RFC4787"/> Application Layer Gateways
   (ALGs) interfere with UNSAF <xref target="RFC3424"/> methods or protocols that try to be
   NAT-aware. NPTv6 is designed to be transport layer agnostic and an ALG would be incompatible with this design and the checksum-neutral mapping.</t>
      <t>It is RECOMMENDED that an NPTv6 translator does not include ALGs.</t>
    </section>
    <section anchor="implementation-status">
      <name>Implementation Status</name>
      <section anchor="fdio-vpp">
        <name>fd.io VPP</name>
        <t>The fd.io Vector Packet Processing (VPP) project has implemented NPTv6
   as described in this document.  The implementation is available in
   the fd.io VPP project's git repository at
   https://git.fd.io/vpp/tree/src/plugins/npt66</t>
        <t>The implementation is considered to be in the "beta" stage of
   maturity.</t>
        <t>It is licensed under the Apache License, Version 2.0.
   Last updated: 2023-12-19.</t>
      </section>
      <section anchor="cisco">
        <name>Cisco</name>
        <t>Cisco has implemented NPTv6 as described in this document in IOS-XE
   and IOS-XR.  The implementation is considered to be in
   the "production" stage of maturity.</t>
        <t>It is licensed under the Cisco Systems, Inc. Software License
   Agreement.
   Last updated: 2023-12-19.</t>
      </section>
      <section anchor="vyos">
        <name>VyOS</name>
        <t>VyOS has implemented NPTv6 as described in this document since VyOS 1.2 (Crux).  The
   implementation is considered to be in the "production" stage of
   maturity. More info can be found at https://vyos.io.</t>
        <t>It is licensed under the GNU General Public License version 2.
   Last updated: 2023-12-19.</t>
      </section>
      <section anchor="linux">
        <name>Linux</name>
        <t>Linux has implemented NPTv6 as described in this document since
   kernel 3.14.  The implementation is considered to be in the
   "production" stage of maturity.</t>
        <t>It is licensed under the GNU General Public License version 2.
   Last updated: 2023-12-19.</t>
      </section>
      <section anchor="opnsense">
        <name>OPNsense</name>
        <t>OPNsense has implemented NPTv6 as described in this document since
   version 18.1.  The implementation is considered to be in the
   "production" stage of maturity.</t>
        <t>It is licensed under the 2-clause BSD license.
   Last updated: 2023-12-19.</t>
      </section>
      <section anchor="palo-alto-networks">
        <name>Palo Alto Networks</name>
        <t>Palo Alto Networks has implemented NPTv6 as described in this document since PAN-OS 8.0.  The implementation is considered to be in the "production" stage of maturity.</t>
        <t>It is licensed under the Palo Alto Networks End User License Agreement.
   Last updated: 2023-12-19.</t>
      </section>
      <section anchor="juniper">
        <name>Juniper</name>
        <t>Juniper has implemented NPTv6 as described in this document since Junos 15.1.  The implementation is considered to be in the "production" stage of maturity.</t>
        <t>It is licensed under the Juniper End User License Agreement.
   Last updated: 2023-12-19.</t>
      </section>
      <section anchor="mikrotik-routeros">
        <name>Mikrotik RouterOS</name>
        <t>Mikrotik RouterOS has implemented NPTv6 functionality as described in this document since RouterOS 7.1. The implementation is considered to be in the "production" stage of maturity.</t>
        <t>It is licensed under the Mikrotik End User License Agreement.
   Last Updated: 2024-01-04</t>
      </section>
      <section anchor="ipfw">
        <name>IPFW</name>
        <t>FreeBSD and other compatible systems have implemented NPTv6 functionality as described in this document as part of the IPFW toolkit since 2018.</t>
        <t>It is licensed under the 2-clause BSD license.
  Last updated: 2024-01-04.</t>
      </section>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>When NPTv6 is deployed using either of the two-way, algorithmic
   mappings defined in this document, it allows direct inbound
   connections to internal nodes.  While this can be viewed as a benefit
   of NPTv6 versus NAPT44, it does open internal nodes to attacks that
   would be more difficult in a NAPT44 network.  From a security
   standpoint, although this situation is not substantially worse than
   running IPv6 with no NAT, some enterprises may assume that an NPTv6
   Translator will offer similar protection to a NAPT44 device.</t>
      <t>The port mapping mechanism in NAPT44 implementations requires that
   state be created in both directions.  This has lead to an industry-
   wide perception that NAT functionality is the same as a stateful
   firewall.  It is not.  The translation function of the NAT only
   creates dynamic state in one direction and has no policy.  For this
   reason, it is RECOMMENDED that NPTv6 Translators also implement
   firewall functionality such as described in <xref target="RFC6092"/>, with
   appropriate configuration options including turning it on or off.</t>
      <t>When <xref target="RFC4864"/> talks about randomizing the subnet identifier, the
   idea is to make it harder for worms to guess a valid subnet
   identifier at an advertised network prefix.  This should not be
   interpreted as endorsing concealment of the subnet identifier behind
   the obfuscating function of a translator such as NPTv6.  <xref target="RFC4864"/>
   specifically talks about how to obtain the desired properties of
   concealment without using a translator.  Topology hiding when using
   NAT is often ineffective in environments where the topology is
   visible in application layer messaging protocols such as DNS, SIP,
   SMTP, etc.  If the information were not available through the
   application layer, <xref target="RFC2993"/> would not be valid.</t>
      <t>Due to the potential interactions with IKEv2/IPsec NAT traversal, it
   would be valuable to test interactions of NPTv6 with various aspects
   of current-day IKEv2/IPsec NAT traversal.</t>
    </section>
    <section anchor="acknowledgements">
      <name>Acknowledgements</name>
      <t>The checksum-neutral algorithmic address mapping described in this
   document is based on email written by Iljtsch van Beijnum.</t>
      <t>The following people provided advice or review comments that
   substantially improved this document: Allison Mankin, Christian
   Huitema, Dave Thaler, Ed Jankiewicz, Eric Kline, Iljtsch van Beijnum,
   Jari Arkko, Keith Moore, Mark Townsley, Merike Kaeo, Ralph Droms,
   Remi Despres, Steve Blake, and Tony Hain.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references anchor="sec-normative-references">
        <name>Normative References</name>
        <reference anchor="RFC4193" target="https://www.rfc-editor.org/info/rfc4193" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.4193.xml">
          <front>
            <title>Unique Local IPv6 Unicast Addresses</title>
            <author fullname="R. Hinden" initials="R." surname="Hinden"/>
            <author fullname="B. Haberman" initials="B." surname="Haberman"/>
            <date month="October" year="2005"/>
            <abstract>
              <t>This document defines an IPv6 unicast address format that is globally unique and is intended for local communications, usually inside of a site. These addresses are not expected to be routable on the global Internet. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="4193"/>
          <seriesInfo name="DOI" value="10.17487/RFC4193"/>
        </reference>
        <reference anchor="RFC2119" target="https://www.rfc-editor.org/info/rfc2119" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC4291" target="https://www.rfc-editor.org/info/rfc4291" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.4291.xml">
          <front>
            <title>IP Version 6 Addressing Architecture</title>
            <author fullname="R. Hinden" initials="R." surname="Hinden"/>
            <author fullname="S. Deering" initials="S." surname="Deering"/>
            <date month="February" year="2006"/>
            <abstract>
              <t>This specification defines the addressing architecture of the IP Version 6 (IPv6) protocol. The document includes the IPv6 addressing model, text representations of IPv6 addresses, definition of IPv6 unicast addresses, anycast addresses, and multicast addresses, and an IPv6 node's required addresses.</t>
              <t>This document obsoletes RFC 3513, "IP Version 6 Addressing Architecture". [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="4291"/>
          <seriesInfo name="DOI" value="10.17487/RFC4291"/>
        </reference>
        <reference anchor="RFC2526" target="https://www.rfc-editor.org/info/rfc2526" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2526.xml">
          <front>
            <title>Reserved IPv6 Subnet Anycast Addresses</title>
            <author fullname="D. Johnson" initials="D." surname="Johnson"/>
            <author fullname="S. Deering" initials="S." surname="Deering"/>
            <date month="March" year="1999"/>
            <abstract>
              <t>This document defines a set of reserved anycast addresses within each subnet prefix, and lists the initial allocation of these reserved subnet anycast addresses. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="2526"/>
          <seriesInfo name="DOI" value="10.17487/RFC2526"/>
        </reference>
        <reference anchor="RFC4443" target="https://www.rfc-editor.org/info/rfc4443" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.4443.xml">
          <front>
            <title>Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification</title>
            <author fullname="A. Conta" initials="A." surname="Conta"/>
            <author fullname="S. Deering" initials="S." surname="Deering"/>
            <author fullname="M. Gupta" initials="M." role="editor" surname="Gupta"/>
            <date month="March" year="2006"/>
            <abstract>
              <t>This document describes the format of a set of control messages used in ICMPv6 (Internet Control Message Protocol). ICMPv6 is the Internet Control Message Protocol for Internet Protocol version 6 (IPv6). [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="89"/>
          <seriesInfo name="RFC" value="4443"/>
          <seriesInfo name="DOI" value="10.17487/RFC4443"/>
        </reference>
        <reference anchor="RFC4787" target="https://www.rfc-editor.org/info/rfc4787" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.4787.xml">
          <front>
            <title>Network Address Translation (NAT) Behavioral Requirements for Unicast UDP</title>
            <author fullname="F. Audet" initials="F." role="editor" surname="Audet"/>
            <author fullname="C. Jennings" initials="C." surname="Jennings"/>
            <date month="January" year="2007"/>
            <abstract>
              <t>This document defines basic terminology for describing different types of Network Address Translation (NAT) behavior when handling Unicast UDP and also defines a set of requirements that would allow many applications, such as multimedia communications or online gaming, to work consistently. Developing NATs that meet this set of requirements will greatly increase the likelihood that these applications will function properly. 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="127"/>
          <seriesInfo name="RFC" value="4787"/>
          <seriesInfo name="DOI" value="10.17487/RFC4787"/>
        </reference>
      </references>
      <references anchor="sec-informative-references">
        <name>Informative References</name>
        <reference anchor="GSE">
          <front>
            <title>GSE - An Alternate Addressing Architecture for IPv6</title>
            <author initials="M." surname="O'Dell">
              <organization/>
            </author>
            <date year="1997" month="February"/>
          </front>
        </reference>
        <reference anchor="NIST">
          <front>
            <title>Draft NIST Framework and Roadmap for Smart Grid Interoperability Standards, Release 1.0</title>
            <author initials="" surname="NIST">
              <organization/>
            </author>
            <date year="2009" month="September"/>
          </front>
        </reference>
        <reference anchor="RFC1071" target="https://www.rfc-editor.org/info/rfc1071" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.1071.xml">
          <front>
            <title>Computing the Internet checksum</title>
            <author fullname="R.T. Braden" initials="R.T." surname="Braden"/>
            <author fullname="D.A. Borman" initials="D.A." surname="Borman"/>
            <author fullname="C. Partridge" initials="C." surname="Partridge"/>
            <date month="September" year="1988"/>
            <abstract>
              <t>This RFC summarizes techniques and algorithms for efficiently computing the Internet checksum. It is not a standard, but a set of useful implementation techniques.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="1071"/>
          <seriesInfo name="DOI" value="10.17487/RFC1071"/>
        </reference>
        <reference anchor="RFC2993" target="https://www.rfc-editor.org/info/rfc2993" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2993.xml">
          <front>
            <title>Architectural Implications of NAT</title>
            <author fullname="T. Hain" initials="T." surname="Hain"/>
            <date month="November" year="2000"/>
            <abstract>
              <t>This document discusses some of the architectural implications and guidelines for implementations of Network Address Translation (NAT). This memo provides information for the Internet community.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="2993"/>
          <seriesInfo name="DOI" value="10.17487/RFC2993"/>
        </reference>
        <reference anchor="RFC4864" target="https://www.rfc-editor.org/info/rfc4864" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.4864.xml">
          <front>
            <title>Local Network Protection for IPv6</title>
            <author fullname="G. Van de Velde" initials="G." surname="Van de Velde"/>
            <author fullname="T. Hain" initials="T." surname="Hain"/>
            <author fullname="R. Droms" initials="R." surname="Droms"/>
            <author fullname="B. Carpenter" initials="B." surname="Carpenter"/>
            <author fullname="E. Klein" initials="E." surname="Klein"/>
            <date month="May" year="2007"/>
            <abstract>
              <t>Although there are many perceived benefits to Network Address Translation (NAT), its primary benefit of "amplifying" available address space is not needed in IPv6. In addition to NAT's many serious disadvantages, there is a perception that other benefits exist, such as a variety of management and security attributes that could be useful for an Internet Protocol site. IPv6 was designed with the intention of making NAT unnecessary, and this document shows how Local Network Protection (LNP) using IPv6 can provide the same or more benefits without the need for address translation. This memo provides information for the Internet community.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="4864"/>
          <seriesInfo name="DOI" value="10.17487/RFC4864"/>
        </reference>
        <reference anchor="RFC5902" target="https://www.rfc-editor.org/info/rfc5902" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5902.xml">
          <front>
            <title>IAB Thoughts on IPv6 Network Address Translation</title>
            <author fullname="D. Thaler" initials="D." surname="Thaler"/>
            <author fullname="L. Zhang" initials="L." surname="Zhang"/>
            <author fullname="G. Lebovitz" initials="G." surname="Lebovitz"/>
            <date month="July" year="2010"/>
            <abstract>
              <t>There has been much recent discussion on the topic of whether the IETF should develop standards for IPv6 Network Address Translators (NATs). This document articulates the architectural issues raised by IPv6 NATs, the pros and cons of having IPv6 NATs, and provides the IAB's thoughts on the current open issues and the solution space. This document is not an Internet Standards Track specification; it is published for informational purposes.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5902"/>
          <seriesInfo name="DOI" value="10.17487/RFC5902"/>
        </reference>
        <reference anchor="RFC6092" target="https://www.rfc-editor.org/info/rfc6092" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6092.xml">
          <front>
            <title>Recommended Simple Security Capabilities in Customer Premises Equipment (CPE) for Providing Residential IPv6 Internet Service</title>
            <author fullname="J. Woodyatt" initials="J." role="editor" surname="Woodyatt"/>
            <date month="January" year="2011"/>
            <abstract>
              <t>This document identifies a set of recommendations for the makers of devices and describes how to provide for "simple security" capabilities at the perimeter of local-area IPv6 networks in Internet-enabled homes and small offices. This document is not an Internet Standards Track specification; it is published for informational purposes.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6092"/>
          <seriesInfo name="DOI" value="10.17487/RFC6092"/>
        </reference>
        <reference anchor="RFC5925" target="https://www.rfc-editor.org/info/rfc5925" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5925.xml">
          <front>
            <title>The TCP Authentication Option</title>
            <author fullname="J. Touch" initials="J." surname="Touch"/>
            <author fullname="A. Mankin" initials="A." surname="Mankin"/>
            <author fullname="R. Bonica" initials="R." surname="Bonica"/>
            <date month="June" year="2010"/>
            <abstract>
              <t>This document specifies the TCP Authentication Option (TCP-AO), which obsoletes the TCP MD5 Signature option of RFC 2385 (TCP MD5). TCP-AO specifies the use of stronger Message Authentication Codes (MACs), protects against replays even for long-lived TCP connections, and provides more details on the association of security with TCP connections than TCP MD5. TCP-AO is compatible with either a static Master Key Tuple (MKT) configuration or an external, out-of-band MKT management mechanism; in either case, TCP-AO also protects connections when using the same MKT across repeated instances of a connection, using traffic keys derived from the MKT, and coordinates MKT changes between endpoints. The result is intended to support current infrastructure uses of TCP MD5, such as to protect long-lived connections (as used, e.g., in BGP and LDP), and to support a larger set of MACs with minimal other system and operational changes. TCP-AO uses a different option identifier than TCP MD5, even though TCP-AO and TCP MD5 are never permitted to be used simultaneously. TCP-AO supports IPv6, and is fully compatible with the proposed requirements for the replacement of TCP MD5. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5925"/>
          <seriesInfo name="DOI" value="10.17487/RFC5925"/>
        </reference>
        <reference anchor="RFC3424" target="https://www.rfc-editor.org/info/rfc3424" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.3424.xml">
          <front>
            <title>IAB Considerations for UNilateral Self-Address Fixing (UNSAF) Across Network Address Translation</title>
            <author fullname="L. Daigle" initials="L." role="editor" surname="Daigle"/>
            <author>
              <organization abbrev="IAB">Internet Architecture Board</organization>
            </author>
            <date month="November" year="2002"/>
            <abstract>
              <t>As a result of the nature of Network Address Translation (NAT) Middleboxes, communicating endpoints that are separated by one or more NATs do not know how to refer to themselves using addresses that are valid in the addressing realms of their (current and future) peers. Various proposals have been made for "UNilateral Self-Address Fixing (UNSAF)" processes. These are processes whereby some originating endpoint attempts to determine or fix the address (and port) by which it is known to another endpoint - e.g., to be able to use address data in the protocol exchange, or to advertise a public address from which it will receive connections. This document outlines the reasons for which these proposals can be considered at best as short term fixes to specific problems and the specific issues to be carefully evaluated before creating an UNSAF proposal. This memo provides information for the Internet community.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="3424"/>
          <seriesInfo name="DOI" value="10.17487/RFC3424"/>
        </reference>
        <reference anchor="RFC5996" target="https://www.rfc-editor.org/info/rfc5996" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5996.xml">
          <front>
            <title>Internet Key Exchange Protocol Version 2 (IKEv2)</title>
            <author fullname="C. Kaufman" initials="C." surname="Kaufman"/>
            <author fullname="P. Hoffman" initials="P." surname="Hoffman"/>
            <author fullname="Y. Nir" initials="Y." surname="Nir"/>
            <author fullname="P. Eronen" initials="P." surname="Eronen"/>
            <date month="September" year="2010"/>
            <abstract>
              <t>This document describes version 2 of the Internet Key Exchange (IKE) protocol. IKE is a component of IPsec used for performing mutual authentication and establishing and maintaining Security Associations (SAs). This document replaces and updates RFC 4306, and includes all of the clarifications from RFC 4718. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5996"/>
          <seriesInfo name="DOI" value="10.17487/RFC5996"/>
        </reference>
        <reference anchor="RFC2827" target="https://www.rfc-editor.org/info/rfc2827" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2827.xml">
          <front>
            <title>Network Ingress Filtering: Defeating Denial of Service Attacks which employ IP Source Address Spoofing</title>
            <author fullname="P. Ferguson" initials="P." surname="Ferguson"/>
            <author fullname="D. Senie" initials="D." surname="Senie"/>
            <date month="May" year="2000"/>
            <abstract>
              <t>This paper discusses a simple, effective, and straightforward method for using ingress traffic filtering to prohibit DoS (Denial of Service) attacks which use forged IP addresses to be propagated from 'behind' an Internet Service Provider's (ISP) aggregation point. 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="38"/>
          <seriesInfo name="RFC" value="2827"/>
          <seriesInfo name="DOI" value="10.17487/RFC2827"/>
        </reference>
        <reference anchor="RFC1624" target="https://www.rfc-editor.org/info/rfc1624" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.1624.xml">
          <front>
            <title>Computation of the Internet Checksum via Incremental Update</title>
            <author fullname="A. Rijsinghani" initials="A." role="editor" surname="Rijsinghani"/>
            <date month="May" year="1994"/>
            <abstract>
              <t>This memo describes an updated technique for incremental computation of the standard Internet checksum. It updates the method described in RFC 1141. This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="1624"/>
          <seriesInfo name="DOI" value="10.17487/RFC1624"/>
        </reference>
        <reference anchor="RFC5508" target="https://www.rfc-editor.org/info/rfc5508" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5508.xml">
          <front>
            <title>NAT Behavioral Requirements for ICMP</title>
            <author fullname="P. Srisuresh" initials="P." surname="Srisuresh"/>
            <author fullname="B. Ford" initials="B." surname="Ford"/>
            <author fullname="S. Sivakumar" initials="S." surname="Sivakumar"/>
            <author fullname="S. Guha" initials="S." surname="Guha"/>
            <date month="April" year="2009"/>
            <abstract>
              <t>This document specifies the behavioral properties required of the Network Address Translator (NAT) devices in conjunction with the Internet Control Message Protocol (ICMP). The objective of this memo is to make NAT devices more predictable and compatible with diverse application protocols that traverse the devices. Companion documents provide behavioral recommendations specific to TCP, UDP, and other protocols. 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="148"/>
          <seriesInfo name="RFC" value="5508"/>
          <seriesInfo name="DOI" value="10.17487/RFC5508"/>
        </reference>
        <reference anchor="RFC6204" target="https://www.rfc-editor.org/info/rfc6204" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6204.xml">
          <front>
            <title>Basic Requirements for IPv6 Customer Edge Routers</title>
            <author fullname="H. Singh" initials="H." surname="Singh"/>
            <author fullname="W. Beebee" initials="W." surname="Beebee"/>
            <author fullname="C. Donley" initials="C." surname="Donley"/>
            <author fullname="B. Stark" initials="B." surname="Stark"/>
            <author fullname="O. Troan" initials="O." role="editor" surname="Troan"/>
            <date month="April" year="2011"/>
            <abstract>
              <t>This document specifies requirements for an IPv6 Customer Edge (CE) router. Specifically, the current version of this document focuses on the basic provisioning of an IPv6 CE router and the provisioning of IPv6 hosts attached to it. This document is not an Internet Standards Track specification; it is published for informational purposes.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6204"/>
          <seriesInfo name="DOI" value="10.17487/RFC6204"/>
        </reference>
        <reference anchor="RFC6724" target="https://www.rfc-editor.org/info/rfc6724" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6724.xml">
          <front>
            <title>Default Address Selection for Internet Protocol Version 6 (IPv6)</title>
            <author fullname="D. Thaler" initials="D." role="editor" surname="Thaler"/>
            <author fullname="R. Draves" initials="R." surname="Draves"/>
            <author fullname="A. Matsumoto" initials="A." surname="Matsumoto"/>
            <author fullname="T. Chown" initials="T." surname="Chown"/>
            <date month="September" year="2012"/>
            <abstract>
              <t>This document describes two algorithms, one for source address selection and one for destination address selection. The algorithms specify default behavior for all Internet Protocol version 6 (IPv6) implementations. They do not override choices made by applications or upper-layer protocols, nor do they preclude the development of more advanced mechanisms for address selection. The two algorithms share a common context, including an optional mechanism for allowing administrators to provide policy that can override the default behavior. In dual-stack implementations, the destination address selection algorithm can consider both IPv4 and IPv6 addresses -- depending on the available source addresses, the algorithm might prefer IPv6 addresses over IPv4 addresses, or vice versa.</t>
              <t>Default address selection as defined in this specification applies to all IPv6 nodes, including both hosts and routers. This document obsoletes RFC 3484. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6724"/>
          <seriesInfo name="DOI" value="10.17487/RFC6724"/>
        </reference>
        <reference anchor="RFC5389" target="https://www.rfc-editor.org/info/rfc5389" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5389.xml">
          <front>
            <title>Session Traversal Utilities for NAT (STUN)</title>
            <author fullname="J. Rosenberg" initials="J." surname="Rosenberg"/>
            <author fullname="R. Mahy" initials="R." surname="Mahy"/>
            <author fullname="P. Matthews" initials="P." surname="Matthews"/>
            <author fullname="D. Wing" initials="D." surname="Wing"/>
            <date month="October" year="2008"/>
            <abstract>
              <t>Session Traversal Utilities for NAT (STUN) is a protocol that serves as a tool for other protocols in dealing with Network Address Translator (NAT) traversal. It can be used by an endpoint to determine the IP address and port allocated to it by a NAT. It can also be used to check connectivity between two endpoints, and as a keep-alive protocol to maintain NAT bindings. STUN works with many existing NATs, and does not require any special behavior from them.</t>
              <t>STUN is not a NAT traversal solution by itself. Rather, it is a tool to be used in the context of a NAT traversal solution. This is an important change from the previous version of this specification (RFC 3489), which presented STUN as a complete solution.</t>
              <t>This document obsoletes RFC 3489. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5389"/>
          <seriesInfo name="DOI" value="10.17487/RFC5389"/>
        </reference>
        <reference anchor="RFC5766" target="https://www.rfc-editor.org/info/rfc5766" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5766.xml">
          <front>
            <title>Traversal Using Relays around NAT (TURN): Relay Extensions to Session Traversal Utilities for NAT (STUN)</title>
            <author fullname="R. Mahy" initials="R." surname="Mahy"/>
            <author fullname="P. Matthews" initials="P." surname="Matthews"/>
            <author fullname="J. Rosenberg" initials="J." surname="Rosenberg"/>
            <date month="April" year="2010"/>
            <abstract>
              <t>If a host is located behind a NAT, then in certain situations it can be impossible for that host to communicate directly with other hosts (peers). In these situations, it is necessary for the host to use the services of an intermediate node that acts as a communication relay. This specification defines a protocol, called TURN (Traversal Using Relays around NAT), that allows the host to control the operation of the relay and to exchange packets with its peers using the relay. TURN differs from some other relay control protocols in that it allows a client to communicate with multiple peers using a single relay address. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5766"/>
          <seriesInfo name="DOI" value="10.17487/RFC5766"/>
        </reference>
        <reference anchor="RFC5245" target="https://www.rfc-editor.org/info/rfc5245" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5245.xml">
          <front>
            <title>Interactive Connectivity Establishment (ICE): A Protocol for Network Address Translator (NAT) Traversal for Offer/Answer Protocols</title>
            <author fullname="J. Rosenberg" initials="J." surname="Rosenberg"/>
            <date month="April" year="2010"/>
            <abstract>
              <t>This document describes a protocol for Network Address Translator (NAT) traversal for UDP-based multimedia sessions established with the offer/answer model. This protocol is called Interactive Connectivity Establishment (ICE). ICE makes use of the Session Traversal Utilities for NAT (STUN) protocol and its extension, Traversal Using Relay NAT (TURN). ICE can be used by any protocol utilizing the offer/answer model, such as the Session Initiation Protocol (SIP). [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5245"/>
          <seriesInfo name="DOI" value="10.17487/RFC5245"/>
        </reference>
        <reference anchor="RFC6144" target="https://www.rfc-editor.org/info/rfc6144" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6144.xml">
          <front>
            <title>Framework for IPv4/IPv6 Translation</title>
            <author fullname="F. Baker" initials="F." surname="Baker"/>
            <author fullname="X. Li" initials="X." surname="Li"/>
            <author fullname="C. Bao" initials="C." surname="Bao"/>
            <author fullname="K. Yin" initials="K." surname="Yin"/>
            <date month="April" year="2011"/>
            <abstract>
              <t>This note describes a framework for IPv4/IPv6 translation. This is in the context of replacing Network Address Translation - Protocol Translation (NAT-PT), which was deprecated by RFC 4966, and to enable networks to have IPv4 and IPv6 coexist in a somewhat rational manner while transitioning to an IPv6 network. This document is not an Internet Standards Track specification; it is published for informational purposes.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6144"/>
          <seriesInfo name="DOI" value="10.17487/RFC6144"/>
        </reference>
        <reference anchor="RFC6147" target="https://www.rfc-editor.org/info/rfc6147" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6147.xml">
          <front>
            <title>DNS64: DNS Extensions for Network Address Translation from IPv6 Clients to IPv4 Servers</title>
            <author fullname="M. Bagnulo" initials="M." surname="Bagnulo"/>
            <author fullname="A. Sullivan" initials="A." surname="Sullivan"/>
            <author fullname="P. Matthews" initials="P." surname="Matthews"/>
            <author fullname="I. van Beijnum" initials="I." surname="van Beijnum"/>
            <date month="April" year="2011"/>
            <abstract>
              <t>DNS64 is a mechanism for synthesizing AAAA records from A records. DNS64 is used with an IPv6/IPv4 translator to enable client-server communication between an IPv6-only client and an IPv4-only server, without requiring any changes to either the IPv6 or the IPv4 node, for the class of applications that work through NATs. This document specifies DNS64, and provides suggestions on how it should be deployed in conjunction with IPv6/IPv4 translators. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6147"/>
          <seriesInfo name="DOI" value="10.17487/RFC6147"/>
        </reference>
        <reference anchor="RFC6145" target="https://www.rfc-editor.org/info/rfc6145" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6145.xml">
          <front>
            <title>IP/ICMP Translation Algorithm</title>
            <author fullname="X. Li" initials="X." surname="Li"/>
            <author fullname="C. Bao" initials="C." surname="Bao"/>
            <author fullname="F. Baker" initials="F." surname="Baker"/>
            <date month="April" year="2011"/>
            <abstract>
              <t>This document describes the Stateless IP/ICMP Translation Algorithm (SIIT), which translates between IPv4 and IPv6 packet headers (including ICMP headers). This document obsoletes RFC 2765. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6145"/>
          <seriesInfo name="DOI" value="10.17487/RFC6145"/>
        </reference>
        <reference anchor="RFC6146" target="https://www.rfc-editor.org/info/rfc6146" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6146.xml">
          <front>
            <title>Stateful NAT64: Network Address and Protocol Translation from IPv6 Clients to IPv4 Servers</title>
            <author fullname="M. Bagnulo" initials="M." surname="Bagnulo"/>
            <author fullname="P. Matthews" initials="P." surname="Matthews"/>
            <author fullname="I. van Beijnum" initials="I." surname="van Beijnum"/>
            <date month="April" year="2011"/>
          </front>
          <seriesInfo name="RFC" value="6146"/>
          <seriesInfo name="DOI" value="10.17487/RFC6146"/>
        </reference>
        <reference anchor="RFC6052" target="https://www.rfc-editor.org/info/rfc6052" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6052.xml">
          <front>
            <title>IPv6 Addressing of IPv4/IPv6 Translators</title>
            <author fullname="C. Bao" initials="C." surname="Bao"/>
            <author fullname="C. Huitema" initials="C." surname="Huitema"/>
            <author fullname="M. Bagnulo" initials="M." surname="Bagnulo"/>
            <author fullname="M. Boucadair" initials="M." surname="Boucadair"/>
            <author fullname="X. Li" initials="X." surname="Li"/>
            <date month="October" year="2010"/>
            <abstract>
              <t>This document discusses the algorithmic translation of an IPv6 address to a corresponding IPv4 address, and vice versa, using only statically configured information. It defines a well-known prefix for use in algorithmic translations, while allowing organizations to also use network-specific prefixes when appropriate. Algorithmic translation is used in IPv4/IPv6 translators, as well as other types of proxies and gateways (e.g., for DNS) used in IPv4/IPv6 scenarios. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6052"/>
          <seriesInfo name="DOI" value="10.17487/RFC6052"/>
        </reference>
        <reference anchor="RFC1918" target="https://www.rfc-editor.org/info/rfc1918" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.1918.xml">
          <front>
            <title>Address Allocation for Private Internets</title>
            <author fullname="Y. Rekhter" initials="Y." surname="Rekhter"/>
            <author fullname="B. Moskowitz" initials="B." surname="Moskowitz"/>
            <author fullname="D. Karrenberg" initials="D." surname="Karrenberg"/>
            <author fullname="G. J. de Groot" initials="G. J." surname="de Groot"/>
            <author fullname="E. Lear" initials="E." surname="Lear"/>
            <date month="February" year="1996"/>
            <abstract>
              <t>This document describes address allocation for private internets. 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="5"/>
          <seriesInfo name="RFC" value="1918"/>
          <seriesInfo name="DOI" value="10.17487/RFC1918"/>
        </reference>
        <reference anchor="RFC5382" target="https://www.rfc-editor.org/info/rfc5382" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5382.xml">
          <front>
            <title>NAT Behavioral Requirements for TCP</title>
            <author fullname="S. Guha" initials="S." role="editor" surname="Guha"/>
            <author fullname="K. Biswas" initials="K." surname="Biswas"/>
            <author fullname="B. Ford" initials="B." surname="Ford"/>
            <author fullname="S. Sivakumar" initials="S." surname="Sivakumar"/>
            <author fullname="P. Srisuresh" initials="P." surname="Srisuresh"/>
            <date month="October" year="2008"/>
            <abstract>
              <t>This document defines a set of requirements for NATs that handle TCP that would allow many applications, such as peer-to-peer applications and online games to work consistently. Developing NATs that meet this set of requirements will greatly increase the likelihood that these applications will function properly. 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="142"/>
          <seriesInfo name="RFC" value="5382"/>
          <seriesInfo name="DOI" value="10.17487/RFC5382"/>
        </reference>
      </references>
    </references>
    <?line 999?>

<section anchor="why-gse">
      <name>Why GSE?</name>
      <t>For the purpose of this discussion, let us oversimplify the
   Internet's structure by distinguishing between two broad classes of
   networks: transit and edge.  A "transit network", in this context, is
   a network that provides connectivity services to other networks.  Its
   Autonomous System (AS) number may show up in a non-final position in
   BGP AS paths, or in the case of mobile and residential broadband
   networks, it may offer network services to smaller networks that
   cannot justify RIR membership.  An "edge network", in contrast, is
   any network that is not a transit network; it is the ultimate
   customer, and while it provides internal connectivity for its own
   use, it is a consumer of transit services in other respects.  In
   terms of routing, a network in the transit domain generally needs
   some way to make choices about how it routes to other networks; an
   edge network is generally quite satisfied with a simple default
   route.</t>
      <t>The <xref target="GSE"/> proposal, and as a result this proposal (which is similar
   to GSE in most respects and inspired by it), responds directly to
   current concerns in the RIR communities.  Edge networks are used to
   an environment in IPv4 in which their addressing is disjoint from
   that of their upstream transit networks; it is either provider
   independent, or a network prefix translator makes their external
   address distinct from their internal address, and they like the
   distinction.  In IPv6, there is a mantra that edge network addresses
   should be derived from their upstream, and if they have multiple
   upstreams, edge networks are expected to design their networks to use
   all of those prefixes equivalently.  They see this as unnecessary and
   unwanted operational complexity and, as a result, are pushing very
   hard in the RIR communities for provider-independent addressing.</t>
      <t>Widespread use of provider-independent addressing has a natural and
   perhaps unavoidable side effect that is likely to be very expensive
   in the long term.  With widespread PI addressing, the routing table
   will enumerate the networks at the edge of the transit domain, the
   edge networks, rather than enumerate the transit domain.  Per the BGP
   Update Report of 17 December 2010, there are currently over 36,000
   Autonomous Systems being advertised in BGP, of which over 15,000
   advertise only one prefix.  There are in the neighborhood of 5000 ASs
   that show up in a non-final position in AS paths, and perhaps another
   5000 networks whose AS numbers are terminal in more than one AS path.
   In other words, we have prefixes for some 36,000 transit and edge
   networks in the route table now, many of which arguably need an
   Autonomous System number only for multihoming.  The vast majority of
   networks (2/3) having the tools necessary to multihome are not visibly
   doing so and would be well served by any solution that gives
   them address independence without the overhead of RIR membership and
   BGP routing.</t>
      <t>Current growth estimates suggest that we could easily see that be on
   the order of 10,000,000 within fifteen years.  Tens of thousands of
   entries in the route table are very survivable; while our protocols
   and computers will likely do quite well with tens of millions of
   routes, the heat produced and power consumed by those routers, and
   the inevitable impact on the cost of those routers, is not a good
   outcome.  To avoid having a massive and unscalable route table, we
   need to find a way that is politically acceptable and returns us to
   enumerating the transit domain, not the edge.</t>
      <t>There have been a number of proposals.  As described, Shim6 moves the
   complexity to the edge, and the edge is rebelling.  Geographic
   addressing in essence forces ISPs to "own" geographic territory from
   a routing perspective, as otherwise there is no clue in the address
   as to what network a datagram should be delivered to in order to
   reach it.  Metropolitan Addressing can imply regulatory authority
   and, even if it is implemented using internet exchange consortia,
   visits a great deal of complexity on the transit networks that
   directly serve the edge.  The one that is likely to be most
   acceptable is any proposal that enables an edge network to be
   operationally independent of its upstreams, with no obligation to
   renumber when it adds, drops, or changes ISPs, and with no additional
   burden placed either on the ISP or the edge network as a result.
   From an application perspective, an additional operational
   requirement in the words of the Roadmap for the Smart Grid <xref target="NIST"/> is
   that
~~~~~~~~~~
      "...the network should provide the capability to enable an
      application in a particular domain to communicate with an
      application in any other domain over the information network, with
      proper management control as to who and where applications can be
      inter-connected."
~~~~~~~~~~
   In other words, the structure of the network should allow for and
   enable appropriate access control, but the structure of the network
   should not inherently limit access.</t>
      <t>The GSE model, by statelessly translating the prefix between an edge
   network and its upstream transit network, accomplishes that with a
   minimum of fuss and bother.  Stated in the simplest terms, it enables
   the edge network to behave as if it has a provider-independent prefix
   from a multihoming and renumbering perspective without the overhead
   of RIR membership or maintenance of BGP connectivity, and it enables
   the transit networks to aggressively aggregate what are from their
   perspective provider-allocated customer prefixes, to maintain a
   rational-sized routing table.</t>
    </section>
    <section anchor="verification-code">
      <name>Verification Code</name>
      <t>This non-normative appendix is presented as a proof of concept; it is
   in no sense optimized.  For example, one's complement arithmetic is
   implemented in portable subroutines, where operational
   implementations might use one's complement arithmetic instructions
   through a pragma; such implementations probably need to explicitly
   force 0xFFFF to 0x0000, as the instruction will not.  The original
   purpose of the code was to verify whether or not it was necessary to
   suppress 0xFFFF by overwriting with zero and whether predicted issues
   with subnet numbering were real.</t>
      <t>The point is to</t>
      <ul spacing="normal">
        <li>
          <t>demonstrate that if one or the other representation of zero is not
    used in the word in which the checksum is updated, the program
    maps inner and outer addresses in a manner that is,
    mathematically, 1:1 and onto (each inner address maps to a unique
    outer address, and that outer address maps back to exactly the
    same inner address), and</t>
        </li>
        <li>
          <t>give guidance on the suppression of 0xFFFF checksums.  </t>
          <t>
In short, in one's complement arithmetic, x-x=0 but will take the
 negative representation of zero.  If 0xFFFF results are forced to the
 value 0x0000, as is recommended in <xref target="RFC1071"/>, the word the checksum
 is adjusted in cannot be initially 0xFFFF, as on the return it will
 be forced to 0.  If 0xFFFF results are not forced to the value 0x0000
 as is recommended in <xref target="RFC1071"/>, the word the checksum is adjusted in
 cannot be initially 0, as on the return it will be calculated as
 0+(~0) = 0xFFFF.  We chose to follow <xref target="RFC1071"/>'s recommendations,
 which implies a requirement to not use 0xFFFF as a subnet number in
 networks with a /48 external prefix.</t>
        </li>
      </ul>
      <artwork><![CDATA[
  /*
   * Copyright (c) 2011 IETF Trust and the persons identified as
   * authors of the code.  All rights reserved.
   *
   * Redistribution and use in source and binary forms, with or without
   * modification, are permitted provided that the following conditions
   * are met:
   *
   * - Redistributions of source code must retain the above copyright
   *   notice, this list of conditions and the following disclaimer.
   *
   * - Redistributions in binary form must reproduce the above
   *   copyright notice, this list of conditions and the following
   *   disclaimer in the documentation and/or other materials provided
   *   with the distribution.
   *
   * - Neither the name of Internet Society, IETF or IETF Trust, nor
   *   the names of specific contributors, may be used to endorse or
   *   promote products derived from this software without specific
   *   prior written permission.
   *
   * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
   * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
   * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
   * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
   * DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
   * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
   * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
   * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
   * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
   * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
   * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
   * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
   * POSSIBILITY OF SUCH DAMAGE.
   */
  #include "stdio.h"
  #include "assert.h"
  /*
   * program to verify the NPTv6 algorithm
   *
   * argument:
   *    Perform negative zero suppression: boolean
   *
   * method:
   *    We specify an internal and an external prefix.  The prefix
   *    length is presumed to be the common length of both and, for
   *    this, is a /48.  We perform the three algorithms specified.
   *    The "datagram" address is in effect the source address
   *    internal->external and the destination address
   *    external->internal.
   */
  unsigned short  inner_init[] = {
      0xFD01, 0x0203, 0x0405, 1, 2, 3, 4, 5};
  unsigned short  outer_init[] = {
      0x2001, 0x0db8, 0x0001, 1, 2, 3, 4, 5};
  unsigned short  inner[8];
  unsigned short  datagram[8];
  unsigned char   checksum[65536] = {0};

  unsigned short  outer[8];
  unsigned short  adjustment;
  unsigned short  suppress;
  /*
   * One's complement sum.
   * return number1 + number2
   */
  unsigned short
  add1(number1, number2)
      unsigned short  number1;
      unsigned short  number2;
  {
      unsigned int    result;

      result = number1;
      result += number2;
      if (suppress) {
          while (0xFFFF <= result) {
              result = result + 1 - 0x10000;
          }
      } else {
          while (0xFFFF < result) {
              result = result + 1 - 0x10000;
          }
      }
      return result;
  }

  /*
   * One's complement difference
   * return number1 - number2
   */
  unsigned short
  sub1(number1, number2)
      unsigned short  number1;
      unsigned short  number2;
  {
      return add1(number1, ~number2);
  }

  /*
   * return one's complement sum of an array of numbers
   */
  unsigned short
  sum1(numbers, count)
      unsigned short *numbers;
      int             count;
  {
      unsigned int    result;

      result = *numbers++;
      while (--count > 0) {
          result += *numbers++;
      }

      if (suppress) {
          while (0xFFFF <= result) {
              result = result + 1 - 0x10000;
          }
      } else {
          while (0xFFFF < result) {
              result = result + 1 - 0x10000;
          }
      }
      return result;
  }

  /*
   * NPTv6 initialization: Section 3.1 assuming Section 3.4
   *
   * Create the /48, a source address in internal format, and a
   * source address in external format.  Calculate the adjustment
   * if one /48 is overwritten with the other.
   */
  void
  nptv6_initialization(subnet)
      unsigned short  subnet;
  {
      int             i;
      unsigned short  inner48;
      unsigned short  outer48;

      /* Initialize the internal and external prefixes. */
      for (i = 0; i < 8; i++) {
          inner[i] = inner_init[i];
          outer[i] = outer_init[i];
      }
      inner[3] = subnet;
      outer[3] = subnet;
      /* Calculate the checksum adjustment. */
      inner48 = sum1(inner, 3);
      outer48 = sum1(outer, 3);
      adjustment = sub1(inner48, outer48);
  }

  /*
   * NPTv6 datagram from edge to transit: Section 3.2 assuming
   * Section 3.4
   *
   * Overwrite the prefix in the source address with the outer
   * prefix and adjust the checksum.
   */
  void
  nptv6_inner_to_outer()
  {
      int             i;

      /* Let's get the source address into the datagram. */
      for (i = 0; i < 8; i++) {
          datagram[i] = inner[i];
      }

      /* Overwrite the prefix with the outer prefix. */
      for (i = 0; i < 3; i++) {
          datagram[i] = outer[i];
      }

      /* Adjust the checksum. */
      datagram[3] = add1(datagram[3], adjustment);
  }

  /*
   * NPTv6 datagram from transit to edge: Section 3.3 assuming
   * Section 3.4
   *
   * Overwrite the prefix in the destination address with the
   * inner prefix and adjust the checksum.
   */
  void
  nptv6_outer_to_inner()
  {
      int             i;

      /* Overwrite the prefix with the outer prefix. */
      for (i = 0; i < 3; i++) {
          datagram[i] = inner[i];
      }

      /* Adjust the checksum. */
      datagram[3] = sub1(datagram[3], adjustment);
  }

  /*
   * Main program
   */
  main(argc, argv)
      int             argc;
      char          **argv;
  {
      unsigned        subnet;
      int             i;

      if (argc < 2) {
             fprintf(stderr, "usage: nptv6 supression\n");
             assert(0);
         }
         suppress = atoi(argv[1]);
         assert(suppress <= 1);

         for (subnet = 0; subnet < 0x10000; subnet++) {
             /* Section 3.1: initialize the system */
             nptv6_initialization(subnet);

             /* Section 3.2: take a datagram from inside to outside */
             nptv6_inner_to_outer();

             /* The resulting checksum value should be unique. */
             if (checksum[subnet]) {
                  printf("inner->outer duplicated checksum: "
                         "inner: %x:%x:%x:%x:%x:%x:%x:%x(%x) "
                         "calculated: %x:%x:%x:%x:%x:%x:%x:%x(%x)\n",
                         inner[0], inner[1], inner[2], inner[3],
                         inner[4], inner[5], inner[6], inner[7],
                         sum1(inner, 8), datagram[0], datagram[1],
                         datagram[2], datagram[3], datagram[4],
                         datagram[5], datagram[6], datagram[7],
                         sum1(datagram, 8));
          }

          checksum[subnet] = 1;

          /*
           * The resulting checksum should be the same as the inner
           * address's checksum.
           */
          if (sum1(datagram, 8) != sum1(inner, 8)) {
              printf("inner->outer incorrect: "
                     "inner: %x:%x:%x:%x:%x:%x:%x:%x(%x) "
                     "calculated: %x:%x:%x:%x:%x:%x:%x:%x(%x)\n",
                     inner[0], inner[1], inner[2], inner[3],
                     inner[4], inner[5], inner[6], inner[7],
                     sum1(inner, 8),
                     datagram[0], datagram[1], datagram[2], datagram[3],
                     datagram[4], datagram[5], datagram[6], datagram[7],
                     sum1(datagram, 8));
          }

          /* Section 3.3: take a datagram from outside to inside */
          nptv6_outer_to_inner();

          /*
           * The returning datagram should have the same checksum it
           * left with.
           */
          if (sum1(datagram, 8) != sum1(inner, 8)) {
              printf("outer->inner checksum incorrect: "
                     "calculated: %x:%x:%x:%x:%x:%x:%x:%x(%x) "
                     "inner: %x:%x:%x:%x:%x:%x:%x:%x(%x)\n",
                     datagram[0], datagram[1], datagram[2], datagram[3],
                     datagram[4], datagram[5], datagram[6], datagram[7],
                     sum1(datagram, 8), inner[0], inner[1], inner[2],
                     inner[3], inner[4], inner[5], inner[6], inner[7],
                     sum1(inner, 8));
          }

          /*
           * And every octet should calculate back to the same inner
           * value.
           */
          for (i = 0; i < 8; i++) {
              if (inner[i] != datagram[i]) {
                  printf("outer->inner different: "
                         "calculated: %x:%x:%x:%x:%x:%x:%x:%x "
                         "inner: %x:%x:%x:%x:%x:%x:%x:%x\n",
                         datagram[0], datagram[1], datagram[2],
                         datagram[3], datagram[4], datagram[5],
                         datagram[6], datagram[7], inner[0], inner[1],
                         inner[2], inner[3], inner[4], inner[5],
                         inner[6], inner[7]);
                  break;
              }
          }
      }
  }

]]></artwork>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+19a3Pb2JXgd/6KO0pNReomaUmWZFueJEPr4ebEljSi1D1d
2ewUSIIiYhBgAFAy03F++57nfQCgLNudqd2qVSVtiQTu49xzz/vR6/U6VVKl
8bHZuj4/MUf7r47GSWmGV/dHvSrv4b/mIq4e8uKDuSriWfLR3BRRVqZRleTZ
Vicaj4v4/th4L3em+SSLFjDktIhmVW88qca9o0WU9YrZBJ/pwUO93f1OuRov
krKEcar1Eh4fnt2cd5JlcWyqYlVW+7u7r+CpqIgj+C6rOg93x+bo/eCi8+GB
PoiLLK56pzhJZxJVx6aspp18XOZpXMXlMa2n04lW1TwvjjvGmB7+x5gkgy/f
983JKk3jjD/jBb+PijuYrwq+yguY9ypKsjQuSzOKJ6siqdb8XbyIkvTYLIoJ
vXCw/+93+El/ki/4gUm+yqpifWxuR4NOfQ3nffMm+hAX/hLOi3jqf0qz32bR
bJakSVTF02DiGTw9xof7SVzNvmjyyz6cZB4F+79MY/9DmvskKSe5Ga3LKl6U
weR5hY/++wQfaJn0Ii8eonV92gvY86qI7tIk92e+SCYfal/Q7GdZXNytzWiS
xNkkLhUXg3WM5bV/n+GMxTTJ7pZplMV9QI82QCQZPLgABL6PCS3M29EZ/2KM
XAb4xPTMIDODFNEM4G4G02kBCACDm0ExmSdVPKlWRWxgLLouMoCHbgGyXf72
NE5T+XgKA8JRx+NiFRVrs/fq1Qv65mI4uqmthNCbvgDUAFDRTYyyqbnOo+ki
WtL8o0VUVOZtkUz5XuTLuIjGgDAVgK6CpwEqZddcx2kclbHZ6+9uWK2cEcwW
rHQUL+H0x3Fh8FJ2Or1ez0TjsiqiSdXp3MyBYsClXy3irDLTuJwUyRjOKoIL
Ca/jtenClQaqscyLqhfdZXlZJZOAyHQ2ExmzfXF1c3+0Y2arbEIfVPOoMssi
v09gMvgr7kR8OL0km8bLGP4DyGLGcQZjVSYqy3xCd8c8JNUc5z2QeQ/MxeCm
s30xuLo5ONghuNpxI7N3vGeKmFdRzpMljFg9xHFmZDp4KMlo/i2AG7y0RSNs
5auK/1rSZmLYPvxWxsU9Yg8sD2eHf2DwaDKXg+rAnmAokwkg0mgN15phvUim
0zTudH5j8HyLfLoiQDwJ9I/R8s5jYO7ieMldBmCrcgWLbr0TQBq+x6XH0zu7
/j4stTKwupaDx1PowChLuEL0rj5S8tFOc5PllZnM48mHcrWgsYdXZh5H07jo
mnI1mcOhdkYnN1ddgnjLGCvAc3zv5uTq2e3p1bPTk5Mrs30aVdEdXKPOSZ7d
xSXtG34FkKYAkrzKJ3m6Y5ZlvJrmPZ6PJrBL+eWXPwCr29t9sffpExzOOVw+
OMQS8MNMgQ6uACmmiBT83P6rV88/faIRgG/QbIdd3g7wOtgnHBXsFGAB5HOB
GIHf4dLzmT0qITzBlQDiM8/yNAfSqPSn3/lpHgM9qrzHAPzJYpnGiB3xtGvm
+UN8jyCsEG8Q/sksmdCzHQ/vFzB6lCXlgkE5j0ozix8QFI7wRSmixBjGJoBn
nQVMnq7dfIjqEa5mmuD48Dyh5GyVbtxZXgBaAbRoP3BP7pMiz3AsRqYoLXP/
egKccLRISDSQc0HEDkATVvERJsYH8fwA8QgWOZ7PeG0Wq7RK5vkCV7kioi4D
Fz0PtStFd9qMHE8B11v/1ssK0k10R9sGmJeruOzAAeYA6jRCmjy60oEA6NEk
hv2M8kXsIFggK8vsAcH3N7CNghGwnOerFPdANKagRXibhjFXd4jMPuYdvDw6
YMzr4OP6LpMyxC5+7BAkLHgMcQiAAxCAMaIl/AJ0KS77SGBij5ToV5bSTJkA
+kQIsaXETURpB26aRbDyuNP5DljqGr5lEcoSaMIypsFA6u7mFSxwBhtN6HYw
7UTIilhiiFB1AfgTPBpYHR6Hd3MiM0uK+CFKU0SIfFxFtEo4exlAJgaMmBGR
AykKQA7sPv4YIebgIExl3Ei4R911R5mlgPFo99U+0YPvQGBppe74uvAAvIhw
fHCod3M+S0ENWL2ObPlJnawClUHQwIUs8kXjbcd6VIhoUmViGXhIeFP1bAgD
4HT1A1g7zAJHWKqgAPvJYbQC5yEEUgGcGZVjiQSF4QynBmoE0jTfNYRqglcK
ZkiBTgBGzpK7FUq7zCUt4cqL0h4Ts1tYum6g7MrAhBvwKbyPa4cPF3jY8Uck
XXd60NM1iJfAcQiFAexl8HbwrQE+yzfrLgfsnMMXCkSPoj4kgApjbysmmhQ5
gB/PGsGCC+Hrq0uWUSZRxpPDcmGWcg0EvyoEGkhTYH0pyHRw3QFozNdmIN/2
kIzoKSxyxvQF8VB4ickNwXyUECsOyT+KMG2CRQsYK5G7zSIHJFsbZKYmW6HY
BwdeyPFbPmuWEcqjgAR85MBo4WaTOicsGIVLhhJAdxnjMExqhS+bgXsAORDP
frmktSt92j8E+gSwQ0Iwj+6JqSceutkN07ViaVCAZR9BJFyVSqyAGkYp6GsM
Iz4y8x6ejCzahAsDCWEa680JKClfGRYD74CmIFcEJIyyNULkNktwXfjhKE5n
PWV358lHhML27cVocL4jO31+sI8EW4WQrnmYJ5O5d42HgzfGygmwpzsgaiWf
LLCrNF8T9YXtMAv1uKcdJEKZCm9H6W5veG8HS48muMOyT/8xXpszuWJ2reZH
OFqExr7MtD3849n9/o49w1dHsDPmYl3ERtRCKjmMvFijoFmRKDiPhdhP9CTk
eBxteI2AAVoCWAuiO34B16NE6SJPV4r1RfzXFRL1rozyyy9uHQ/ETOUJpvIO
bXNiISAvAjR+A9L2TwgzGFCPbuhJvX9g8Y8WvSpQsih5uR437LIoozQ6EJoJ
k0As6cgeZ3ma5g8I8jKmg1ySHocyDLDOc6X38BEJzijuyJs+hScuS+THnzku
9QIg8tJLaY7US4nCNlClDrE0OOkZiChAaKMJ8leT4iKZHoHAWe6oeC5EA6gh
vljETCpwEl7VXZqPSUpE6r4dw4ugiLE+gRQbAQ2CmNzXgMfhfWUcm/afup1g
gC/ZDSwFaSlgo/C3Jei1cUTWDGU6Zlt0DkA+4Eee8Ph5aNAboI+B3IzLh7mn
cK7wD0yst7FtTt4561A8Aa4fzQXEq1EJhQUkqISzSpAjRt0TE2ADjo5qwQKP
EKMxJPrQnYYDIsCqpoqrImmQqAbSsuk94mAZu0eA+iUoKJIIEgLNQQyGJ36S
VLyRWzafgbT3EGUVXbUcKP0i+ZuTqJXfW4Gh9SyEiMPtoAOFO+CdxwbxIMIR
3ry9svIBWwJIZqwtvf/4Xas/fkyGNTypFvxk/G4i990KeCfAn1EG2ZryLKeG
gFyQT8howYDvmjgFcGVO2qXdsXYDh14oA8X9vgHu+vylaqEv918A4YPXiAjN
EtQdfI3GnrGwEJVYVmUFWkrRU0XRogApBiu8Rm2EDYXLQPJXCS0ARLfjThRU
fiDGk4rlQsB0QBA6oG0yEiQkIyHSWoTQd3e6dheOpaFy+DDP01gEMRbxGRHa
zBe44DHZdWCHyQLv2BRRvFDlmsxEPptNUN+dJqtFDw8wjYq7uFcCKk8NatoF
jFLGnsgKlzJdoV2yNk7ZQWuk906pGjcgHFyADBQHFLVxBRYxWtTTDmmVQPYQ
cenprfIBNBnWNrd2WH/GbZIOLXv19ogH486DyNgEFdRFLOLfzFzHd6zGWzjj
J3Aca7N9PbzeQaV7scpI5+4CC4s/EJ5a/QtvH8hVeZYv8lUpBmVzIfIlKqqt
O3QmNDxnOlrYMVx4d2p5prezw1sqLWP8CJAuPTGPYMM0sIrGhCAjNMtNYgvf
skPQJ51gysdB7DKafCDdsg3jVRlLio5emtLHqiy+Y/sEUudMLRUOD4AnrKzx
AvSyaEICgI5lCSTsB+6GFWRBDva4BWL6O2LqzsiXV2J2IglIjALOXigWKwYq
ydAdoiXLCmXkFBVKlXzk6NZbfAaquqOdihT3vvHnwPtFcr+qAjJKJKOQNgRq
FChNSXzvKGWZIC2PshhQpCPavMgRjrSi3A1aWJajGUh4tzBYmozoYvyR2VtH
CEpyj1o44hCI5X9dKagGdtTt23eDEmXWf8Fd7JHhjihGmnYsrxQcZ7oGW/4h
NKipCIp6G12jRRwT+nRE3iSwe3QoQKMu3roIdw0SFFrBRldWkIDT78BMSJ4n
k1WB1wFAIFg9z0mmIbzGr05/IF2suKe/Biz4iJmz8w4FILM9OHmHxFPNG3K/
mJvb7Zbs9ZEzLNCwZrV2os+Ns7FmCVw8KcueYORJRWNWg+X94IwAkLMVKcUx
oH9BMuCNM+6IuNJCKravhjveUgJy13E2sohNnBHL+zDVDJfpmVJCL4J3cv3O
hvOWZxRQPkU3f11FKarTKHyBCAd3vxOZq6EIw4QQ5HaAs1pFU5bNEHjwPCp4
eMyW/9IJEzslq56b5bclDWl1OeJ7Yn6JRIlnlQJIC9ocOmymVDEocbY9kDM8
njtz8lSkfFTFyA6Kh97gd3F+V0TLudg02DC/RCu1fDIl4hzTVS1Vw0VKUAKV
A1mQFOn7PL1H5ShHRx4LO7RIsSkibEq3BLREqEkTaUB2B2IjgILZBsOh9Ayt
RNvpkk1x5XGBhMbnvzRXjfV6vJTE7Hmel7Eqi9aLhNd6GRUVSfblagxnB6Se
QZGCQs+XNfGul4qEeM5xNEXJy+rc8NxjHF/syKylkj1UdXfxJnX4Q89cXpJp
XgTGxTJOU9I1FYc9amUvQmfTTUAGRE4HFrAec791mIRYAc9SCN9SZV17QtEU
MnyMHaf+44SAdfd5Qhd5EWVrfUcwuu7tE7tyVAKuwJUDNOgKwMiiO0vEwcUy
Gl4XmLr3EK271uvTy+IVLCHtdjzjYOv6mYqCujYndp2WsRCvWTRROzfNra4f
gy5cdlvhm2hgqk3Kmy07VuIX9Y/Hca4TJjAPBbFBa6Rj4yx7skBIIBPWIvoQ
k9A9iyMCiBNGYIYH4zsDaiOhjEY2n9IaIFfLO/TxoGxbWxGSoRGoLCAepwDN
EoWfTm37n1mxHhVzkrxiTjxDikSHC4hWrJc+5iDrQGfhMlqTNRUQlZBkEpXW
oQGnHqEEyWMr8sJJLHEbzvuFNvsVebW8c4eN5LILz2JdNwOgO4fEXqDrPZRU
EKr4u7K6HFiSGKXV7BOa8RbIH4FsgQzIou80WpLk6MR0dLuJIMXvwtxMQKxM
JkbhxqZ1s/x6B1aGMREsWcYJSQF8YwmpUUHTE6udQJKN81U27bh9Af9A2Top
5yzaVqApuk064kfiG3qWgWYmk2QJwEBliKc1VzEAq8p7+K/vmXCIR4TKc1kw
gqK1fE7EFLQCuNzT0qIAUeqN4wJuDNQrwzBCKhkhV5/BFSxgS8TEhZ7AoMqR
gFaUFkYdhJFq6rEvpW1wnrZFJ3SAn5A1O/CzkXzNLuW+En3hl6UY7RHC1lOO
Wi7jaFIh1uISxZhEW6vo7gtzFZecRf7S+dlZcYJH6nbxH8Qh78dj0AHf0VhL
q3501ABg12Y3sIjWdZTyPXnugDzSw0oZbmwBWxpeeUKfGIe896z1QmUFpwti
dAuFA1g5IUA0AAlIrBVJosT5Op553LwjOvUWDg7PHwTqd29BfQAEIcY1yQvh
d9W8YJwivOlMY9Q2RdwumToafJcgMbZc1rq16quq8g4b83TcFqrrictljH6a
KnYXD1Vt1Y6cUW9SxKSuWdc52xlPL0ab9FTPqtK81E5RkkOtaRb0oEg7bmV6
jF0x8ttl8rhKXNmi4DbhOYNaZia9MlrEPIj4cTozhLOeLtoTLO6EZHirBNhX
CIctkVjpoGDKjgeqyjoorWOTVURmOCAxoonBMx+I2tqwDo7jqKg5mfqdywwF
YnRb4KFGBjRVt5aPZEMtWzVK2mxUdfhlUYbs6KgLmUVSCqbgWmDk12q/Z2OD
ehI7rNrgE4g0qIqWalMnPYB1RTEKsxeawyXI3Cr2GVo5YywS6kICuCKM8Lhk
cDCiABGadkUWDczcsJLoAdUaWk/CZqBFNI3Vv0WQZiEXNy1yTYQkLkftH9av
+pO4bVgxSu6jCSk8SaUxAa95QVm6tj5qnEN8wB3neUSyivzGhsu0yWee7gx3
2L5MCF0w3BKEwwCOqSt8nMRbAghryr1yki9dEBbHMYpAhwsQ1i0mt8hpQjgF
2luYbYLeM1G5uRPdAaqIXM5IRUZ65tlkgWYsFnUStVYy7cL9oDAk8oKz0arJ
zZhQ+BcKt1Tz+OO5WsYTWEs50AMp1gOa5Ioc9Ls1Sn05xnziOa9x2w/z3Hi+
WTWQ21gkcfUWtaWIFIdyMwgMvokM8UechhggY6PMJgABMk50Nkfj1GJjKJ5N
vYGo6OLMrPoiIWGDD4dXBQFVvDrR8K6d6lWam7iAK0HRX+R8QArzIV4j4wFp
Z+v97egGaBX9ay4u6ffrs/+8HV6fneLvox8G797ZX/gJHAb+vrx9J4/gb+7l
k8v3788uTvn994OftxggW5dXN8PLi8G7LQ0DwnGseTFiW8FYeA8cuphfAghh
5Pj+3t4rsbzhrxRKY/Xay3u00MYPtFcnNIxjP7bNeIFjbAdjKXxJ18L3zeAo
in/oqufr5TnBcIUUzUGfqYiggpSNMOBZ8L7aCYki6Zo8ItBEdxzA6rzksMZw
G+Zu7eTDV/WP6chHNBVoByeg2nQ6w4xMR6V+irSh20qI6DSsn8ULrumkSYbu
CjGoCzGg5Wwpk95ycSTwMBCUCkPFeOHo2J+pG8G3zJJVxifkoMZM8wXRKPHe
8DHYqyGzKot3sxJVCeyFEnwqpkT1TvRBmg8NpCZnBtMwvxA9J84amjGjDq+8
y75yDdNxDjleex68qQFCjjl0qvwZj+dLqZEsWEZFZ4SHf55sWnYE82jxDbTg
65/G2V01V78HGqcecifb4Zo649hiHM2qYpHy+7WElnUlOgC4dmHDL2A0GgT1
GtG8JK5NrGDlagzgtDJUOQdZm8KX/2F/Oi7KnH/OVH4Tf8Wx0ejv32Gc+d7x
7umbl8e7+Nuzg5f1t/Gn96SftjebP3//dR77Ppj6+888/Xf6Lx/q58eGp71r
/OuuRKf4hse+7jSG2WYsOD9FLNjffX68e7B7SFiwaX3nJFqZvWOgx0wZ/bBi
Hwv1SUTSh3ZRzadqfvAh+lGF0UmkaLedpFCQJPGPR71NHZY52NlEcojGugaj
0kCkvThvt/VvBVM2aUotLKExCZKADmtGHYwgz1oBIpk1paNKetMx4pQsQFsd
z2BkjbwNyGiqwMfwc9EKyHxDFsFS/bVHIDStiomljtsyMX3FxoQd5gpRh7Tu
cglyPntLAyW3j+FcsD+3hYjVV9yZ9aliKgfvx7Ttp75u3Y/us2P3Y9c4xTyD
jEVQ2QOqC7LRKs7aV28hZ1d/a+PxLGVHFM505dOEJZVoDIN3RY7wOIlZRowD
Yjlo4ycdga6eqg8EQpfwLJoXdKejHLCxwwB+OkKT0O/0UZaJMjUt2vV3RT1v
gLNtkMeXUQNu60ZoGeMcxY2IbBJsPnOxc77MWEmgoDfba3H8LvIqDp7lYP/S
ADeWIDdgAWTg2CChdEjvwkwCFqe3xjFIVtOtdomg09nv71v7msZUkb1TSGzp
idJoAFbDAMcseUHXpBVXcYP+oYTBQMGBCEbWKo2yOQVRsqFAgjfYWo9SNUsK
iLMoZnox0miSpmtIomR4GdxLTla0Nw1JIhrVcBAKBkVjAsgxNJ3L0GguK7Rd
uVQPHAgHFZGSrEllFUYgNNbxuKzjM7qQvR3Az/Eh/GwQcr5Nxvkx4Nr8j5W7
JAnsC151F+0IfjaJZcHbTgz5nj/435995e9WJPr7F7xySpbVp7/y2YXV4ORm
cj/1V5qE6LOv4M9Xn/EGnHpcZBIBaP/YnKf5A+dySEZsTszEyzQLcNr5mq/j
KVDmCO1GeFHeoadtNI8oTKVD62JTh1BO8mWRUQPvfEO6EHU+0CW9kE9iZZbT
yeqfMy0iH4XM0rCEU8iKMaYetWItwr5NvM6a4tJ3n/FAZOYD6YpsfQ5IQGru
Y8owErZaT3zxHIVEMUndYuOEjFa3ZZttVQYzyenFMGYzpLSTWcIZIdvD4enO
Tl0E0SH+r1e+/r7h41/plZr+s+Hjtjcd/QnmrH284U1fQ9vw8YY3zW/2Gvuk
j/f/SfusT1b7+Fd65evw5NdRC5VYYAGHAiMaU58+bCBu7104eXCF/IHr1wfO
7vixb/e9HPtH7tmGr5viwSOQfPzrzYf65WjwBW98NZJ+9V386qv41TfxWy/i
P/UAnnQJ69jxdZdQLt1B+6VjFnxKtkY0QtxqQoVVTmpc66days0GRh+KD5nT
yM3jgsRB14xX7KwQszIPMdUVUnpSTe0vnyh9eKIHDrNB+hBWj8uws24WR0SA
2CRjYJBA10kY9vumt5xECF/MAGlChQn0oudZU6ZAd4d4ep0Lu5HAlaByG9nI
soocVrE4FBqiDunVlLDEPk8MCGKLS8mx+aWGopgRZ+ohmCXt77ZCO3QiyhzG
YeKuRje3FzviwXv+kh1K8LlH2W3iehlnJaeAsD4qkfqzOKLyLlGpcUAsPJKm
6g3DtptHYzWPOQdMgnddfrJq2g3M6QbxkS5DGnV1SV8qVTBtTfSSvDKbsxqR
cdCmOUaUnO4leLsl45lTTQ4MYaeEtzhNdRwJHrJZCGyNiADP/iL5dhiC6ZWZ
ABhbu8ADoaxmMsBQkjALAnDJuRjMg99LZBoHb+bmCoBKesoIw+UcRbAxnGS1
qHsVa1mYWd4IxCMXHI7L2d8UF8kxey5RuMXb8iZ3QW/kmIZhnLEsMC16B+jF
D+KO1b2P4j/nKTr9a0YjNY2cMPepBt9QMQFKDl0L4fktnaONXPXjVPWa+SF/
5WpJwZZkurHLl+3o7jaF9AUReDYklaAXZ1FGgS5q0CHjDQFYEgvpjx6mWREA
sHwKYN7f7jEnyAWfOYwjW0wQdCCxqezExwQmicizkVVIRxMpFwL3Gkfw37ex
bn4BBI2nwXMLEEnrtrwQ9DzR8NwLCc8VfHWIGekdTTQwJfdSlFwInAE1Lp2W
/lGTbzooPmMLz9gM1HAoS8x3ukoN7Cs0vg7fHmArqjfleiXZfZQm0z6OcQ4P
rjCAEXGVmOmEow8wWUN2J5F2QHgAU+45q8Pm89oksVLKT/kldGwFHfaWSj4X
OUWR3PQkKps3Q5MpV9IxYKVwF6QYzxFmzlNJlS4BX56RVznYn+jt2ouSJCZj
IzMbe/CG4QhZXAvH9EkBmegDV7jhKDCCTbH21ht5vHwPa96RIMFnUpuLpAGd
sG9jOsJIXXc5Hqu+wqnTgqIs+nDousaLcd6LZLWtPdi7sFEX5YQDMJmuYrdS
tmW3oylxugB+fIW15IKNUKbRFDcstti3LAHz0YVQEyvIaN605iXxPZuuOPLH
iypyaX8uuoNNOflshmn2Y2+wXAy6iBpl8KqTfogqScAg08r6zarVn2puzd5k
LIEhJPf29GrHlaVQ8HwO2EhPiYLLpWs3ZyFrsduhMZ1DRYgeZRjoKH5NldYs
A6kPwpEPGwL3JXtcrkzL5XVoDpzkLifGZK8cvyWxMX6OoLt17p7hOHzBkLT7
xy7OKmWA6qNBGYaEBtykFUgykasbsr7PeIHfsViI2ZkWVwlR4wpzAxD/daDQ
hVHbFBUOmeqodCzjhNCOBTLn5NLla5qLcOdlNPkQVywqnnqPD1yY0/bpYIej
i2DNmZtNT8Xii3ciA4JPyPsO+vuS8abEyAuZxWw3T/b35HiDBo26w49lRqcd
uOARs/vxHH780K+BJ8aMgmplijySrrn/CrkJ3RVNWKV9L6lWnhz1JI2Y71vd
75AoStNKuov/2TsEtIJ/n++Z56j3H7wwZKA5em6ODuDfF6/MS3zw1aF5Bc/t
7e3B/+HBvX0u5mgV/6/+t+Mp+deCp84X8XczIrj9XdltzULM5mFrDfj21QTG
AYUglujEPLomvdWD4BgHOqENBrcTP2TanLjqPKUnVdX1pCBtjIM/RdNWT21T
98ZKFCQ/FeyS8KLaXKkQq6Unhf+AEAoBgkSvBdnpjdFd9NqG0d0Dj47eV59K
xSnSqM6j1cErdiFSIbo80TThJUNycCJJlpoLGGYvIfysom0rXKrhIJkknAnJ
a2K6giHXVKeNAt1WcbMsinhfFXzPHBmIYOOLVVmxBixOE44MpixFzVdoxqC0
V+VgalsvZ9h/BHPyoo4vvrrt4xVLbEUJOm9WrmyCb+htaXMdsf6n4TUwCgfo
delJ5gdemFwYZgfo8be4wHSrZOaqvvSF4rXF9lnfvS2N0giv9nfUpt+U5nl/
n/byvP/c8ua17iOjJfV49cxIngERVCnBr38U+eW1dNXtyZ5WKOSoCsDh35ae
PG2QuUqQuuPxHOUsEMNF1DmMRkjhd/UgGrpHFe+oNrtK65S5KiEQBG5ijuVx
YFAEHAd9VWdWuZCe7GrpBIqOiqZ/AVzH3Wx1EetimIQwlxV/jCLHNGELyTSZ
USa0bnBjFoHIBqKx23pIZNpwAT9cIwfQLcgUvvFdl3UbL55t3X/hK7dfEk0k
cbShMZbNs80AMEp8R8YxYrHNY+SS1iDhMiqr4W3B1CsyIoQpPLrGcUyJlUk5
oRivY1eb0CtywNKH5LGjITDLVdCxSXAyEosoQqXRmoHEeK2JvEukJTJZsA5F
EImrt0qXDIRhWifvrwIx7jaT8pEpV/e7aYlaagsjawmy6rqZGP1wy1S7WelQ
O+4ThFXKLc125ZXWU6ze8ciyr6T81iUyW9448K+w1b3llOdcu88bGr+S1OyK
RUqFe51OOAGceR+OozAu5cy6zsyMQ3hgg4mRuEkktUvVolWiqG5Zi0U9Y3y6
eYCY8Lx/SAwMqygsC8yA2XzlGu5B2GP9Gn7zlbMBovbK1cPKvCvXokBwLnrb
hTtWfKxT3k34WMPbJj7CSf8aqCjqza+OiHpdtOZZoiUVt2GQByzykWRYQUvK
cXl4u2MNvSHK6uKfjritKCvDPAlvrTYnCOv+PNTVbEZf8XKgQoevitgi8WNP
l7Q0ZbxFdGIBVYQaa9eB+cZcrE4kKJA9cRVUtk+kJ2v49E6Mcp/GsTsKLskR
nCINfPCy3weFzkkZNnjGCM1uUXkzsYFoKrBqPY+F6XRdOs3cM8um+QMxnXTW
ZnCSrG1WX7gCQj1ZerYie0QtOVqjHVccfQ4L4KoxMBD5QBJZoC8sN48uSJ8r
Gaj2Q5ax4IAEQO348goh/46TSf756CJZKxRp1oI6ysthYYf7XfjPEUVjwbTP
jnZ3uvVrj1rK55CI9S61+LBsCjPSzEcH/f6LV13zcrfff3XYNa+O+v29vT2q
D7O3tw9/7L9owTyEDiY/V623OlkssKZsEpF3DjeM/1reJkVFpfACiq+8Jr0Q
oMH5JcQitJlhHrTkzMpSWOfx7WUJFnYjZx1TJVxZGWNkPMukPOlkDVSujD7E
T8QokYdCnNILJ/gqZ+rpwohmiHhiClGH4RlnZHTEfyHeKWawdaf/Xtczzrrw
SdisC2vAcTS0weVd1INC4ZVmGI8o7KgM0XWr4bHWAQ4jKOjl47395wfok8YS
v1mrc/FR9t/1eIhITA1/u6qMtXWfHh7u8vwiCgWjRE4q4OxiNsjWbdbWKAoo
q6bpQPoP1OWDl8SGnRWlLpjWJV68cw07rXzXzmk9HssJvKL06SihhibsW6f3
iIHIFmpoJp3BOXS21RHDZpndjwjRHdGjc0I/JRBSMfSmTeH1oRdih8gDJ+eH
fe9dvvGtr4eHy6+f7h8c2jyStgF8SzY/bnoyrfkdfnJ4cC7zBxH5TEWTuwSP
w+IpzYmzh3NumJCuGz1uvpepZM7DXRuJy3+af/ldTTjidiEkrIq8S0Pt8gmg
YxChz15DGQPeUnFKeHFwtuQU7IZ3gDyUkqbQuFUNmPsXypfm2SdQxgGgpDQc
2y7pggJRlb4FQc6Lfxc3zqfCht50WfMYa1gCbAi1CN5txMf550iqLR1Ftk45
zyBpcf4zwnvdYFVzCmKLEap/XfL1+Dy+KF72FFMRJ/YHb3aleQYMUssaaSCo
h17t83UCGb2rqPO9zEQDCIIrfhIC1/GT5S6Lok38DNBTL6xDT/US8X6I5HR9
fh06cqz7y3vc2JCRsLAi8lJV+N47xhuKbHGp/MyzLrJBRJN2yjbZSyQq68pl
QJQpmo7TNRvJpYgKBZZJ0Bnik8ujbjO4BmwtsLmiodq63SUr2ovVixyy0lJE
kXH6a8PMSUI6y48CVtloVG6ypYJKtddqGlUVLkzjUxtpJlF7uA1inY21HB2w
YEnhWROMe6PAmkcJuZBrn82RkN30x0t7lKODgCf3rTxlM16TWStvphKRKJdh
ilUjTdXK6/LcoVfEs1nqGl/FYTg0RV/Q+DsEjBOzUYU7RL6GiwzA/RluUwUG
7kdBznGPWNJGLBZS6F+Mr1IbB4s+xlV4/eDaSdnBWm68Awe5TDO1kEtZYqcD
2Hgl73JzMN40HvPzngocFMuhAiNBtcoKe4fMWJGh1WkZnQ8ZJkOj75+Jlcfg
qMhPwvn+wskEZlhfjdbICgPrKBLONDw1UvxECsdp9w7eB7N7ppFVQSE5gdIk
CJQ1tSdqjJJQEQNyC4gm1adlSSE763sJen1sh/G3gH+IJTO+O+QSz2CnO6RQ
+bf5iCOEl0uqQs5UIeLtitNcC8dhcRsRI7xqY1qYBGEy0V5OxNwVAizq4/f4
eJr2AHdLvinaNAjHpjTExHl4WYHj9lAIYmar5AqQFEVVgKS4yuH+EYVKDWet
2jfarnMqoE1RFZZRsjqf+QvkO8hlugToJCKEwYZyzxANdCzVRLELAhnMSeZm
Czis5kq7ymD1aqyGY+KiYE1QtEV4V2OSpur/Pzh4LuFBFzk2LGTLjS3kSDio
pWVbTTfD09d4tHhhsMykMVwoK6ySJ7YWLxLLhvrUDC2k9hFxqBtagOHKTmlf
mn+uEYQ3HJLMmOf6+TG3UGcOpez5gyy4e42tIap15bgFA20Q/Qv1GT37oF/o
vjS2sRVIOy81ePqc6476E3edjtcowcc1cbwAVscTFsAvkb56X4p4rUut78za
YlxM7cZFWVnauSZsW6zuxgXUgoWUsLsQ3mYJABfR0sIO+x4Fb4BCJIdGiM83
zWjIc1UsorTvSWvhXmsRUfKiV4y2mrTn6S+LhIO/2LxAJRqUiUookr3ZZZJy
YT254l90UtL47JGDagHcI6dVB1K9/sQTT6sGuG+a7CkH1YYdm0+rPu+3n9aN
u4gevbCee3oZGAXHAWqLhEBMtvvBQtUfKlURTJyx8SoPNFxq1xGEuzNjtQhz
FpADL1TwnkMuqRo61qOU5+XJLhMWLSjH+6fKwH1nhQ6mEPCEOrk10sqjLgRT
K/1T7DTV82WuKswqgG5tEH8+L8VCmwAAJYaHVqWQ/xA/RAly0ZcauzsLKTzR
XPU9ajcvb3oKZmBQKUC8R2pBvBIh3nY37Tz+Yvygehfy7LMkb44uJ3Fh0H65
IiM1oAB1vPX7FD7SFxXb3sQgZALqw03wK+axmisG25N6AIV5y9KEhhU2E7kI
2zVlYhFlK25Z4A1Dbdc+q5/CXFqUzyzTiGzurI0XiXiTc69RpX0x/kgtOVzU
9jhmfGPYa30KN1GtVaXWDuYgvL6E9rwf/Kzg5p3BjqdAyO4sOHBboIV5Jieu
fYF6OjwblJde5GWlCrzuTcs6T9WWT7SqVpSxXRIl0fdE+5/A0S0SyVg7g3Nd
kjq3fXJ1tiPxbWr3Jg6B4TCF2Fn8Oo34euFXUrR9UI/2dw+46iAgCodVSmsa
FcyCTr8x0K2Udf7BElOnAK/edKnRixZjahZEV+MdirutobEWNzR2XA1C5HCh
TDrMYxHjdaT2HdXgOC1LuveEghI55gY3m+/H59F+HiUFSPQZ9+niYaRE9UxS
pvSEH5mJyNPt6ZVLWBAB/sXLF4KZTGq8PIWHTb5Coc+lHyGRW3u0vY829tK4
8qyt/FU8pxW2vrUWIuCcvy1bImrESuuVcfXjjkhHZSos/ltdTrpWUk8l0b0+
bLZ2csG9RKuWgsnGGL9DhC6r22zEQlDzogfx1RPu7bPiFLRgwWkc3WsgHAef
bocyzqPmrv0dySnEOPOSXqX+lE8e4Dm2qBq45k611Xld2zgphQyDjwTBJGLP
sdWrykaEHfksxFLDiZHazMLrJ83NIsfc80RaRtoJSU4KMiOUyXsZFjDtxIZ7
olmp8EwxnuWh6eqiLnwlNU6FlV05HZuKhvhyZY99Hj07hB9t+XhoHNWBU/k1
NERxLaaGk4M2wtKwCJj+IYtYYvvcto2gu7JeCgJyLCkBcu8k0ReJ2RrDntrP
maQd1spt7iU1O6OQCVf1GsmJE1StJ0AOxJ7yKkuTDzHV+WdeMcnvMuxQyMxF
/DZ0tTDBsKA+iCTEv1GhLWxvoeYokRzEjZJNWayL0ESJzQjgny5PiNIsGhx6
DZ8LJrG61D+mDkhpx5bSNtgbW6ywZ4GWEq5JUwg+v+VrCyMgO4Ruh4vE28YH
uToEpGwx2hAzgV38MSkrv/T7B+rFQP3CblhEke5jLb0NhsRLuDHEKo2Kena9
hPzbxuQUJxOZLbSVVVtU67pI4pm4zyOuP95q8NKdjWFnH7yMV+YGImKzF8xH
9WbPl2TmUu0brNQBxHeLkRGy0duam0BTku48mVVcuJtIJ3erpiAM1yh66jWF
tsXDN21V/VDR3V2Bie60oRl2liKTsBwrVct95qUscLk5bIaOZappENv0qVlW
gA6j8rpwJtlcSxq4ivIiEW5oZDNO88kHakaj6U4zYpZEqeyUtFCVqXAiTD/X
2CNuc0ngw9592Pe1UZ0cL9TSFkHzavJrcWKO1qY7S1hMfgDbEh4Oido6YTXy
ktq3WfNrglJy9hfVl9WAWt/ra7blK6VKOUyAIKztQp1FX/NKZth0wJXfZSPe
2vkJljlcaFGzYE5L3awjQiBUYd8ergeMl5JlBNvhbAMZEBKATja8m7byApX7
0jtOZ+L3VkEf5yJWF1IpGnlMkaSDLGjjQk3PUKuwVQ7bcISErzKO2VCNt8N6
/ZTTKAOtXerM8p/S2QUV6i1ycP/RNdoBfu1FUpl8rNmoFjHxEXzpCh+Sci6N
OG0Sf9jGUMuP8uA852OgJxu5dOLgfhRBqRSnLDpZlhvExGS8W0r+C048j4k1
sAlLFmxjtIXqWErZWEjuBGCOtrUK6UZQ+eXZfY1m26U6Pt8h6b5cIYLHuhhq
uhW2YYH7SukHIst54njQiE8vlAzEERPSbAUUJ5wlibNJ4iznYWdupG3UcQQo
u4xBLk3ucNLUptvkJGrOSXruC+oy743F1GFJ5UCEm3PNT9dPxHedU93OQqRY
4D4r26md04HDHT2Kmaxu5fe23DoiS7poIp9MEHIIfVqDFIOr7CLc4WEtDWqk
OmiXwCmuS1admU+pY18yUxl1HbGIKrtTwUjP58EdM7AxSpKvSuwY5vJbPw+F
RNTABQV8cBtke0OlForeLb5HdeApi25npw44trlzUlngfAVYLCT0XkdVAyx2
mHk09SGD/FHK8QCR43IdJJS4Jom1q6bhvdSnuqR+bMSYrTmxyavYrU+Ob3ZC
o3AoFW+2TK8n5WiYULQejORaUE72Q+aLN3Ajn7kWrrEyPIspXa+UAP7dx4JE
yP7GcYqZ7K72Di1TxSN2Z4Osg81nENqveZDSvucMgPieawifcLVN0iaTYrJa
8BY4akHEbI86LOKCM83dQggXUEyy2ls+67Ixep0rEabWMxp+oAac/o4NcmQO
b2OPkckn3ArStiUIxAZpXcdURI8SG07NYSF67HAhFkvyuYP0GLZaaCUUPn/I
WPvh7g8Oi7jacQtzqb0vbVnn0VLIfWkXYVVwL0E4qKsFO+ZpvYnabqZ0O6o/
qmmjLYQ8bEELMGTHv61EgvqZ9PTE88dRqCdiAw9K2zITY3pXFLfCZ8ymEr+A
EtlcVhWrVen62GxHO9gyOuFyPxkdG8qi5GHXAkXkvmeOj3ZjHIR3KpxTqjn8
dQUIqYQMB5LWxTZgBg+IqT0bkewV2KZTpne4qUm8lLrg+cfEtphVmZWZNFxm
Nq6z0sqWK4yVycfoAWTlJ6A/pPliFQoNk1KbymscaHv85ZDwiyUEAr5rbq1l
s9jcxxy4Jn/QrGMmG2RVxs7QVLPHtZ+UHna0Kvi3UHEdUWhNm3WpddLKxJvl
NY27PXniDtnAZzcZrNcKS7gdHAGUWTyhWuXcNV+eitLJYXHFisJz4+w+KfKM
BTcm3XYMJobUS9TBw6vlFW4Xa4OzZVXaxRaOrkoqPc2e5Wz+pRx6uDvIh1cg
O2PfYMRHEggZgKJ9yvQx5sh5X7NtLqiCF1W11df10oQHZeylx+iMi9hP0FL5
O8kUzXO4Ax8rTZG4xtg5gNjUKtyuMXwKZANv2InXMeuWO6E1nRbksswMhW1a
Bs09BmyfXh2w3oJr5Q1qHZZadIADl2xPrcBX4+xFDVnAkoCgv7hgCr4qFkEE
oQ92q2x4Dq0e6kSsShO5b5bxc52MbUVHybBRm4EQFl+K8M1wrcfRsL2Zn9BJ
X7AJbiSWGC/SaDvu3/W7BgsbamwOFTbs+rUQ6XJdxyncNEYYMp2glXD75vaa
KiLSmy+OjrSpGaXARFxM4cRrq0SutqDq2/bw5MyOsH9w+OnTDsf0YX91tnow
NDyzAjUzNex8QmccSSfUxl47obFJfpFoShAyISR2Us3NtRBmr5CFR9jS0Cun
s2EOvu72yNo6bHm81bVtLWPf8E9QLfH8pc5dkMrOfMvQ1XdFDvKeRrfajnje
RchFlkdhCEh3Wmu2RQTmgQXp0isYEvpkAS83X/pzvg0/aVLxsHLFO6ysySQK
PXnYmYorM3oBdBLvaK1UjpXbLl9VYCki81lA9kIVubZ+lqipJadNPBPDn1oo
xxRnSBrSlCMYEU/YE+oW+hDbpnPimGRfHS0dbjZZT20EYeqiUWggxCbgoujF
nlJoNVOM9TJWy7WxDgIchRoR4llxMtTw6sejuumLimA6SzbdiGfktvfVFdHO
9w5QO7d/vPj0CYezfx/6Xx65P3YP98lsfq5yG4k0tHZxWWsdg+ASPU2+J6/B
gOIqkalfoSfDr3k4JN2ILjwJtF6Me9CZ9+GR3jtdphF+GUc7UOx7nMiPIsZn
tERobpwgiUpC1bzWJyZ8rYZa6pC1gCFtrtQ6Hlu+82bLhUdR1VPlDdRD1Hfy
JE7/FUevugc6YsHBsAWS48iO7wr2UBimX28X0Abra1mTu59O5z+MbaUAV8VF
4KWnEjykWOKrvZeAODUjD4k6GKdV7qhWFnZjkaXV/c21RlMH3q3uuvR/tmf5
Z0DMAk12HB271txov2Qz5k2KhCCOfi0pFKZDWne6MHRaA9rHbIyvlvKVPDFX
dxY9lGXM+fSR6NMkCYiIgWeYLCSZlS2LwRkLYyglxI6LntW6TNugKBzDL5FH
dMmOUEN+qaz7ICktjh1Z1kELqbfERqFILpX0XYc7MEttbQVgbmm+1MymfEYe
FvJecU3VaevYLBhRy99QrGMExMbgQAiL9VJ0zve2yGYAgLDwqEaUPaETOW9O
phABL0XZgp2EFM0n8QccSSXOYgYpJsu4eLjWYo3itQHmgT7ARglKz3YA1DSh
BCovfyaR0s5F6SOKVSf80rPADYuEUzUjbrbklyTdiCp8BKTCgKRaSQ4OG8+E
/IgrXsRtHcQSI05AaCtSzsJHTmVs5MZKmpZfTsuLW2vxaBOP2NwbXesKxh9B
TdDyylaG3bftdv9gA4EeGwxVbu61XquEcHsxGpzLMM8PyM69AJE/n1KFoEb3
eOHhIp326K71XVVpjrWyRa7rWBzdZSD+YHVltrrCipyjrYnVzFJpSMugbJlW
KdHqQZOlNHjFa70rSKhyqyc/Wie2eNWonTydyTD0DmAF7RVHQ86m/SQ3P15d
WXYmn4D8D0NecRDslUs52IZndxCKf8FgFQyi8rvvWv3u0TrcEmBT81kg7b6P
QMTnHCnR7twKddLfluaOSOYyByqdF0qn51W1LI+fPYMv+/TSs/vl8llVxPGz
spg8W6aruyQrn2XL6ujI7ra5Bq8rujYtZgvfOK6iLYw1uHOFrSuiUf5JAbpi
IfkpGXBZgx0ssR+BecffdAG2BZnf9vu7FDPyDoM2V0uUNKfHZn93/3lvb7+3
94pF+RPMxeGwLfytHeSPw5vu/eWo919nKhjRX9cbz6EFBnocW1xKE590wHgq
JHgHI+obUGLJMZC5RvmsIv4m8CEicQenxlLnZ+Hz4/pyRLPiL18FHa6hT6/v
9ffN9kmx+rjjsoe/AEXaYBMgCvBEsvTPcpWvuMw7xiMK+t6v8xKQ9zOQfHtx
K/HKqblagXI+UfiRF4fR6/PAe5dkK67EQr99PfhwiA9Y4DjFrNeDL8EsFWe+
CbN+JXhcXl1QHwiaTP/4Nqjo9Hsv+3v/42DZ701Sikd7MzrV758AhqsozTGZ
MQ87RTY//ob7djW46MGNe9nf/VKofBtIWjZxBjfwtoTvFWW+hP78xypLQBii
SeX3b4AKjJCXZu/wy3Hl26CiK/8mULxPPoB0lXygIsVxIXS58ekG8Liu5KR7
PQFYdsAXCK7/QWjZLT0FXLceuA56u3u93QNO/7w6/wmnOYc38Ho6Y40nNXKP
nZINrN8GM4xL8Jod4PQAkjz9kCg893f3uGTRF9OTBl7IRtlqNFJdTt0M9aLO
nrS9TPO1LUYg9T5dWdxGVxNPu/FTEGpuS8/6wpHgaj1gG4wXcpXXIu29DPzE
eqrvk/iBa5VEqniJHs0bQZK/Ul2eJifRPF/GmWmG+VO/qg9OA7XqAwX5WU85
V50RZdaVpD/nkBlVl0ljw3YKyzzBjUep9amRDlqt7M1ATQErFWDdWS7pBUNy
oARJe8WKY6LISEnaS5ajitQVDz9uZFlgOg7HJZWgw8ShdlJzpJOfJscYMZuZ
jOqYhFyRgSmwfzgbW2Bu8QyXmb5QryhmDSoKVW4+g8nc5ASetqQGqAUJyVMK
CrctlzldlaAn9thpMCX7s3qYabtoDw5vYlJ6YTBUzhqnn63IpKVxo329aHAS
/UfKI2swF8yijYI0cExigbV3EfdVtTsikiKFbDkY1DMO0xGTVViLJzWUzJZW
ZmgZt7D2N1MDgJbYC+iRmqlf7aPXSYOZfFdmLZtuyYfp5W2uCsLJhDpUodd/
NvOKKont4OURKv1VlMKtisYY0sApbcnfbAaGVASyJRRs5Qz0DdDxYe3fDzHH
LVGgG/pQHqiHBnx3t8LIpkjS71wZMK8oA98DilWqEiSj1kmqjdw5yb9etiHh
ixVLOaQYVl6U3DkCiHSUcsOjWfs+JHhEtbV8PFuVEjzm41Pk2w30rDg7wEiO
IAExMAAhifCBSsXMcikDp7b2pKDyLdSUKrExUf7StWuUdoeofM/bTQ6Imt+t
zTyhAydvgY1MwCtgPfMUYijl39tDA4hp6ICM8feJrcHi+2nZmMMJsNQVyFqJ
FDinF6OuGQ2vyEUxen9z1TVx5ZVr9Vt3kfOJQtmsPcPLUqp5hnjurp/5ICxA
AnqkGxO+5vUfWeboek40ry0SBkZ0evjHs/v9Z2yRJY+reoa7WkRUWQxmFqrb
r0KXWzCYZWg06n1UYOQeAIPyC4XjSWBJbwosYOO84jyaYGJIil1CXLrhTZsF
7LG2ZQ0Jh6JNrKWjNONI6p7EC+xdp9Wz0C+X/qUqJ7iTzLyJk79kfpclLjtG
hx/nmL0hMQBYCJCiI8kxiazfsGu18phLwEadEd0XQo5B6UiTEm2oUfYhAap7
Mi8wnoS57Q+rBAS9qGtOUdK7mUcpIsXZ1PwHPh0/JJO/wZ8FAOSPKWB+t20z
hJv/AcdkBsWHD3nX/BEFKPM+B0GiC9MC7bnJH+CyxSBEvY+LBOjbH6MYHryO
0uXcnIIswY2pr+NFgsWggQyVgPYVRh2+SYEecrDATZ6tzQ9w6wF8vV6PCsrh
Ef80X5u3o7M/BLU3pRST8yjaALQusFmkA+TjoxLqXEcg6ByGlUSrAiR1dN3A
IXoxOJyDKok0DyDdF5Qyk0ZeNKYGUB0znZGIGsRB8qlt6afy3FbXSo8SRtO1
zeeUfnO0qzbRmHjBEq5/hg3p8xuF8qUZrKo8yxd4ldgSZrYHox11iaEoRWUi
V0uW+LI861GZI0P2To5NxXHevL0ygxHI9NWc4zaFCFN4NuoyHMgmDhFmETAK
AWksCXou40iK3rB0ZsuletspF+gGdRuyyC+hh1hWDI/vengNhBT3Age07FPt
hi2/MxCDGKFbgNZgwZutQwCLhBqZ2gm9FmmF3BxplSwkD3oiSeJdDZlKiXnb
c7KCd3Bgmnch0YArtM/y+BGpjtjShjBXFmEhgrKWeNaZHtp0NQx04Kha7uXi
54P7TfhILaD4COeJxCAm9rqgiI0BZCqHcAVgn/WiDZxbiTaQ7bUENNebsbqJ
/orkBuRTkEyo7o+kAklTGVCkIoAtiYg4haOSv/wC95scx8BXiaOQ48Nl7NpA
QPrabNtq16UL34H1wigIDKoWoBBkD2RWLhOJo0iqna6kW05Vc7NJmRrRSKJF
kdkoUcQ/iZpHAQSO5cyDAgcciN+Z8c6XHMRDduCC6SSmi5mQOPSBBP0F1Suv
DG2kIhk8bNuw1jC3VNQVtVaDzFjos71Xuxw4FEqLvryG+FBujqMRCjlx+byJ
lz9u3fLiflpTJIsSXX2VHbhDdRdaJyaWPcV7K65YH72CsGcRain6pggq+3jw
sQmTtAyycPixEfoYBoc2TtDvPSv+NB7ckSeKiiS4qNccuZArpgFXAMQfCrjX
UhiYo8WBM9i42AXWC7VcZQ8RGV9Quo0ktE0KV0rkYNe/C1zKZLliToV+W/JT
Ra46Xg1ZiRw91kLYugV/Qpq2xDoX1tf7+GtS74Da1rniJBrWvsqo9x+Jgn55
Q6XEQbQTOaDxAAC570VlkQAPVK+A/KHVBAnKg1vl1dBbjFTpkFZmFDfCynWK
kVjcRozFd3fo7PEnTPBDKiwVtRpcgCxAPyIJ96Sb7o8dvs+59fQFcFYciA13
IAuR9QEm3XsBMtGEeBvaynb1YlA4KJMjABL1on1+1N3d3W1l99pDxtMMAX4w
J2W9MNWhMfYOdQz7KCccuHRVRlxZQqKl/pK7+Tgv5nlOTS0OYRAQFEpLqD4v
XnhyhZ/8IMmvOBAN6vV0xqsFL7EQI9HUFPBHCgqbsugIcO0yOle9Uj5K9em7
oDsxJbD31CaVMkgbYpwvxigIiGkxXsEGHzClKVs76EbFHWo9kr7IrLIplWmg
VcYRQn5bM7HW3KPVk8K/uDdasJTt/WfPKTDWBsDkqE86ooKcXYaMbew666dr
1mko4j9neUbpKTbGNVIJcrwmsUnTPPh077AUiuj/Cy97z4tj9vs2I6ZhdAlC
JxTdlEagnClXVcqHCOe9K/IHuOQYX7cga1S5uruzcZsPscTmSqwM09aIVNrc
upM5hxDv1i6eLp2whJLOElDzQbJfxxHlTt3EmRSegEOKXIKxpjO0nD1ClahV
uQKx7Z6TqVg0zFdeLIi6xV04HpEioXrTXMQlgj3HcchaQKRJRVW2wpKk7wNQ
SfrkpCa6RtTjQ6RKafpLWSQcNdT1qmagcQPkUw6FWCyjSaWFPCcoMVluZl+1
0vId3HpSzVcVlswlkwo3dlVcRB5eIuXmAhRZOYnYRuFBDu8hYzOz2Bnn/ZNA
KiwBDYqVWIWwNOxSQO7Vf1mVWgRCW0P6sWAe5calK3W3smYRe2HlkRf3qMJl
ybVirEEAFNV5sjiSdMhqbiMshT1rFT6YxPVxIG5BRd7GcLp8t9/G+V0RLecS
SOrJftgBvaQ7hPVcYJbh6KrkzMqHbAvka30RqV/B0SkqJEaW4XmNC0leIAJI
/YMqr1zCBIs+aXdtF58Z0XwUCm5FL1fNxRe80uRe/V5etq7YfSmlFYP04grB
iTWkbcunRLrDc1OzIr5bkeAJ57wCtFM3A0k7lLaTzESw9R1UK4EYa/GudA/i
P4ZGRl21x6HkD8QE7wsGZnMlBXtqeagyNdRPqxYQUXRoZNsjtAsxC0nJ8VCX
AqbXTneRcEP8rjS19rYuaMyTBdH24wlfUuLGk2PVi5KP0+QuEq8HH4igt60p
M0VmiHWEWLfX5tSIb6LhylgadM06wHgFxyyV16bWfybF/EZXRmwyoeTuJFZu
+i6dw3wjZYiymTerDwDeik15UewNWjVe59F0ES1tHabRAp2Sb4sEQ/8uhqMb
0C4TK6z4nWIN/Wz1+31PMlSMF/FXLCDLyNXFkIJCthZAmOWLkbouKt8lLLjE
a62Tsel9lCwIzPIyyW51k7BNRPdSuNlKjrJJdCeNO9Aokqf2jgvvZwnPT39y
zejVYdATs0Y87W/VgFYXschxYE1qciw1cHINkhlnvzIJZyh6zhouCK6L5gTu
x8b2FEOOUtR8Z078kfGcrQFtBIsc6FgXeaUt8oNXuFbJ0rYikKa1WV0yZE3T
u4x1etLlfI8lZjlpJylXDwMzMxfcT2W2KtlQMdZCMBhNGVuNji0oKAShGYiM
SUJClLU3yQixuagUOsqKWqs652rUSKUETyYVzptptcKgPW6bxCcG/JrQR/YF
xKhMM5tQ/vNtZqK2N/bVpNA5FxgiYQOlBFtt6EHjqJ1VQLRRu+KWpgBq4fP6
BJF1TFJc6aSUEvXK5G/wSqBikhfiRyxWq9f3BKtzM7oRz816Gd/Ye8J0LuhI
5qy4ZK6mZ0MF49n2tKxeu+4e3BWOw8bQfbnAZfRrjRMe600kw3iMNOG8FdbN
V2PeEic1I12okd+6I5xTvMhG8NisGV9aCsug82R3Fe41ultEr9kPVh8c832d
IsW5+dQpmjUYkpG8upXc64REnkpKvciktq2dsm2pzEZY4fsPUH7ARlpMIaXy
sKZ0Ur31Sotw+JoWO2mWS9KFZEHjdZCkZBsuK80VG108TbhPWpg4GHSLpffx
MDA73Y9aSNglBQvofAfCzQLb/Ir9AWWSmfYJp3sp5mRBNlvIhdbE8r0QfL/H
s/ZasNZKv1ivhuR0hUqidLqQQRao0SeYrcuRR1TtOqjeTsa+TIuMJGXXvomq
ZSTCf9fsHe9J8jwcybYk52RuNJ6Kwju4PL6ME0ypEjkaUv3P+WXtWARXiE3A
tkwThVgE0+3Y/p6oCpu7VTLVjHV2mTMaCHRtGzvpKWpbGlF7jq7EVGzuPvSx
9/F3u8T6uA5o5IypGRK7hOp8tJ0p+45lfq3OKOlwk1ibzpCQ7BoC8e3hotSc
4OnVzdvbfbGHkRUWL3x0IOJQSiszqUxmi0bU2/qxWiIKNWlzWumUhEx/jbsb
94FjB3sJNiK6zNdspbYPzwkVbmXzLigQyO86hWPsfr/9j90doz2buJHIZC5d
U9g/7K/ut97SJcmTyAN7PFCWiFmydgIxjIPLRHIsAOPooKD1NO/IGddcz9V6
tfqOJ+n9AxH32Xf46nfA2Jbrgig/Fm3Y393bM8Ozm3NzU6ykUAERBOC3FF+j
4SMKie9E0yt9oktVBVNDw5a2HQlpDDLrdYz+A9DFVzb6SAoTaNl8lJuArhdk
UbMaEYWGkYDC4/idOcSGrhm/zitvq3g6xz2wY9ZKdBPUpKM69pbYqy2SE815
dcRZuNpEbENaqMABfCXw5FGoemIyiaX4CtUUZHFA5rcgdotDt3caJQssaf/Y
eqidkQWRrkcMSW5JuhC7si9fkg7hVqZMRWMWbG10zMpm/qRdR0t7EjqMzfP0
9xPu9UIUUlIKIk7KVz+/GeWTJEbxkjAV+5BYjEULUaHz6Mt8dBKcxFoITpqj
OQxd2WPr55MYKuS0OggsfoGZzBIFXNb9VOiw1MQUFZ51LjcGdlfQ+BJCUa4f
7O355ofhyIwuz29+GlyfgQZurq4vfxxihN2bn+HLM3NyefXz9fDtDzfmh8t3
p2fXIzO4OJVLfHlxcz18c3tzCZ9uDUbw+hZ+C///2Zz919X12WhkLq/N8P3V
uyGMCFNcDy5uhmejLg8wvDh5d3s6vHjbNTAKpe29G74f3sCzN5ddmr75rrk8
57ffn12f/ACfDd4M3w1vfqaZz4c3FzjrOUw7MFeD65vhye27wbW5ur2+ugR9
DXbJb58ORyfvBsP3Z6fIHy5gcnP249nFjRn9MHj3rrb1y58uzq5xK/6WeZw3
Z7DmwZt3Zzwn7Px0eH12cgNocuF+OwGQwkrfdc3o6uxkCL/w22f/dQYbHFz/
3JXRR2f/eQtPwhPmdPB+8Bb2u70ZTHKGACs4tpPb67P3uIPLczO6fTO6Gd7c
3pyZt5eXp3QMo7PrH4cnZ6PX5t0lHsy5uR2dyTpOBzcDWgKMAzCEZ+D3N7ej
IUFzeHFzdn19e3UzvLzYATz4CSAFqx3A+6cOHS4vaPsAucvrn3F4hAsdTdf8
9MMZfH6NgCYQDhAsIwDlyY33mIxzDTu6vvH2bS7O3r4bvj27ODnDby9xqJ+G
o7MdOM7hCB8Y8tw/DX6WMW4JDHiKsEj+1UP0Lp21GZ6bwemPQ9wFP8wvA6KM
hoJUBMuTH+Qw+OY8g//+RnMYt8pqmuT9+VbwIUb4FBV/qjxPxFtPL0BKIakX
GlDmXU30AlFglt5nra3tBDcSvT2B8Ri0/jyN2RQkw3BuqRsEZAatxBp54d6S
H9roN8OKgtXraQhpoCKKJzkLJPuUWDH1VnBNViiKmYyxM0ffiIR1bS++ZlM0
0PDi2M9ttj2g+nYMXNqWmpa3nC+JmJT1EMctLZO+s3Yp1MV/7wpithRlqL9m
q5n/XgdwaLHKJBuXpHPDgv9/o8j3pz+D4PaLKAUgW53u7lH/3f3d5/Tvwe5h
F9s973cNfHDQNYefXrcMSLpH24DYY5UGmo5famPfpwxIK/zTyz+3faegrX89
mUcFsnYRd/90dHj4/IiWswtzbFr1hklcw8e2bxW5X3sX6bKu75QYJ0lfiRTN
gio26OXf9jccUIe8J3vb8nxXH99RRba2Gnnu9aNf7+PXv9QfQU3bGNE/CEju
T4BcbWT5/Pvf+WMSzs6wPTzDZMfOYlisT2OzLWL7v/1OxggfCubUScweNafd
Q63ntffwJ/n9k4lTEE4emexXnMsCgA5SwYVfPIYBrqFvKx70Po8HoOL8M/FA
FhRi2z90msYG5fGGZi9Ns9HBURQUDqkhDY/tbKFzAsWlQkAb9vWdPGWRjXHW
/tC7X4PdOvD33+vQgkC9Ho1pfm92Q+RxF6D57icd//9fBsQVSU5js0LyN2Ja
x0GPX0p9Qh3PfXjgSQgntuwksmIMB613kfPkBHYZSVglv9982vJTfhq4+4ka
M8RdrDSfRxBDI5oQEldRCbUWq7SxN8NiOQYMwD/Zsro/+u9w79tsrdh0d/lb
H4vraJ5sutfEKw9ebvqauBx+Ld8/Aw1HVxaLRdmTMxqNt/q8NfxBx9Z2gqae
1yYBlHoJ/3z/fYhSzLkT5LuemJH82cckZrz0jCc5uGc+dfyxnuNzDj5ugJYv
YHPhmbp6NPZwvQ0J6GgYIEf0JwgmO8E87nvpleW+d4PySmQIRFd5tUlEpceJ
hh5wTwZ0bqG1j51B/j3Zt/eEX2+/LJdBuS/tjZy1yJke7uIKVQngzop4e2hL
Aew24jceb5X/Nw20vfM47roDekfZCXdxmxRsbLd2V6Dqi9DPCocOAwPEcsto
BVkIHKtubFzC888uQXG9bQmDFli7uew4hOfEo72Puh7yPQ3J1NOIlh3ANx/J
nn8zkrV1BPMLNn4n3oavwjQmEoBpNMbTMe1/6Igfw7IvOWIiIE8+4vdoa/Wc
UzQounW3QUWfoAH47n5nA5TwCV2tqE3y8913+F6rNCU/IcHdDH8Ug3AeAOF+
Q+qYLQt4c7ZdVtO4AJK6tcIemsd83qheiengf2VbO6/DV9mIsb3rf/7J/Wr9
lXBlqjzBJdz/ae/P/tMygn0SBLG9HbtuRQHxLhAeyO//ZsUi+aSOF3zmnpBz
7CQgqcTIUbIWA+TnMYnBX1ljhv1jdp5FtcvObU8ox4WbF2ycMiTiLZPdzLVk
N3kLlKGyV8pFzrGTst+YB/HA6uS8pT83pVD8EZzYojX1fs/3c7qSZh1TO/Wx
2Wp5W3747WPzrx+P2/63/a8fdx593fm3Hh0DELO7eRSmCLt/7spve/a3ffsb
3O/PDXBgHz60vx3Z3148NoAvz7zc6TpKg4uyf+w9NoR9at9/5bn/x8GT3j/0
Xzny//j8FlwrwJc7ASX45CNqHb/g1u4FmMxEU3824rTD5sqrQ8AycsbCkhtD
2Byqwj77sg/494B1wtp+zL/8rnZOzXvReiewQh61Pdx4E77hFnz7Dfgm7P8m
zK9hfftDG6/CZoz/zEAH/uNfge1fgOkB8X++gfgryacQ5ibxbxeqnnBftI5E
PW6aIvHsjXHxBlU4SBrPODzwn3hPaFdoA0dh063k8xfmiVj/DRdu84X5fwAj
u4/f6sfu8nP74K9yqx+7GyG+DdCcQYks+aSKK9cxQQ0EGh9lUbeFypOYsxlh
n6KTEigAsa1pBPDZ0yAeF4YChLat4h4XgZ6Ay98gQj0u+jwNl5/wfl3QCPD5
Ce/XEb0NgT8ngAX8qg2JPzeAj911RYZ+qHNq/YtPnebvn1j/8yOX/g9LgiLi
f/wAAA==

-->

</rfc>
