<?xml version="1.0" encoding="UTF-8"?>
  <?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
  <!-- generated by https://github.com/cabo/kramdown-rfc2629 version 1.2.9 -->

<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
]>

<?rfc symrefs="yes"?>
<?rfc sortrefs="yes"?>
<?rfc strict="yes"?>
<?rfc compact="yes"?>
<?rfc toc="yes"?>

<rfc ipr="trust200902" docName="draft-ietf-lpwan-ipv6-static-context-hc-15" category="std">

  <front>
    <title abbrev="LPWAN SCHC">LPWAN Static Context Header Compression (SCHC) and fragmentation for IPv6 and UDP</title>

    <author initials="A." surname="Minaburo" fullname="Ana Minaburo">
      <organization>Acklio</organization>
      <address>
        <postal>
          <street>1137A avenue des Champs Blancs</street>
          <city>35510 Cesson-Sevigne Cedex</city>
          <country>France</country>
        </postal>
        <email>ana@ackl.io</email>
      </address>
    </author>
    <author initials="L." surname="Toutain" fullname="Laurent Toutain">
      <organization>IMT-Atlantique</organization>
      <address>
        <postal>
          <street>2 rue de la Chataigneraie</street> <street>CS 17607</street>
          <city>35576 Cesson-Sevigne Cedex</city>
          <country>France</country>
        </postal>
        <email>Laurent.Toutain@imt-atlantique.fr</email>
      </address>
    </author>
    <author initials="C." surname="Gomez" fullname="Carles Gomez">
      <organization>Universitat Politècnica de Catalunya</organization>
      <address>
        <postal>
          <street>C/Esteve Terradas, 7</street> <street>08860 Castelldefels</street>
          <country>Spain</country>
        </postal>
        <email>carlesgo@entel.upc.edu</email>
      </address>
    </author>
    <author initials="D." surname="Barthel" fullname="Dominique Barthel">
      <organization>Orange Labs</organization>
      <address>
        <postal>
          <street>28 chemin du Vieux Chêne</street> <street>38243 Meylan</street>
          <country>France</country>
        </postal>
        <email>dominique.barthel@orange.com</email>
      </address>
    </author>

    <date year="2018" month="June" day="29"/>

    
    <workgroup>lpwan Working Group</workgroup>
    

    <abstract>


<t>This document defines the Static Context Header Compression (SCHC) framework, which provides both header compression and fragmentation functionalities. SCHC has been tailored for Low Power Wide Area Networks (LPWAN).</t>

<t>SCHC compression is based on a common static context stored in both the LPWAN devices and the network side. This document defines a header compression mechanism and its application to compress IPv6/UDP headers.</t>

<t>This document also specifies a fragmentation and reassembly mechanism that is used to support the IPv6 MTU requirement over the LPWAN technologies. Fragmentation is needed for IPv6 datagrams that, after SCHC compression or when such compression was not possible, still exceed the layer two maximum payload size.</t>

<t>The SCHC header compression and fragmentation mechanisms are independent of the specific LPWAN technology over which they are used. Note that this document defines generic functionalities and advisedly offers flexibility with regard to parameter settings and mechanism choices. Such settings and choices are expected to be made in other technology-specific documents.</t>



    </abstract>


  </front>

  <middle>


<section anchor="Introduction" title="Introduction">

<t>This document defines the Static Context Header Compression (SCHC) framework, which provides both header compression and fragmentation functionalities. SCHC has been tailored for Low Power Wide Area Networks (LPWAN).</t>

<t>Header compression is needed to efficiently bring Internet connectivity to the node within an LPWAN network. Some LPWAN networks properties can be exploited to get an efficient header compression:</t>

<t><list style="symbols">
  <t>The network topology is star-oriented, which means that all packets follow the same path. For the needs of this document, the architecture can simply be described as Devices (Dev) exchanging information with LPWAN Application Servers (App) through Network Gateways (NGW).</t>
  <t>Because devices embed built-in applications, the traffic flows to be compressed are known in advance. Indeed, new applications cannot be easily installed in LPWAN devices, as they would in computers or smartphones.</t>
</list></t>

<t>The Static Context Header Compression (SCHC) is defined for this environment. SCHC uses a context, in which information about header fieds is stored. This context is static: the values of the header fields do not change over time. This avoids complex resynchronization mechanisms, that would be incompatible with LPWAN characteristics. In most cases, a small context identifier is enough to represent the full IPv6/UDP headers. The SCHC header compression mechanism is independent of the specific LPWAN technology over which it is used.</t>

<t>LPWAN technologies impose some strict limitations on traffic. For instance, devices are sleeping most of the time and MAY receive data during short periods of time after transmission to preserve battery. LPWAN technologies are also characterized,
among others, by a very reduced data unit and/or payload size (see <xref target="RFC8376"/>).  However, some of these technologies do not provide fragmentation functionality, therefore the only option for them to support the IPv6 MTU requirement of 1280 bytes <xref target="RFC8200"/> is to use a fragmentation protocol at the adaptation layer, below IPv6.
In response to this need, this document also defines a fragmentation/reassembly mechanism, which supports the IPv6 MTU requirement over LPWAN technologies. Such functionality has been designed under the assumption that there is no out-of-sequence delivery of data units between the entity performing fragmentation and the entity performing reassembly.</t>

<t>Note that this document defines generic functionality and purposefully offers flexibility with regard to parameter settings
and mechanism choices. Such settings and choices are expected to be made in other, technology-specific documents.</t>

</section>
<section anchor="requirements-notation" title="Requirements Notation">

<t>The key words “MUST”, “MUST NOT”, “REQUIRED”, “SHALL”, “SHALL NOT”,
SHOULD”, “SHOULD NOT”, “RECOMMENDED”, “NOT RECOMMENDED”, “MAY”, and
“OPTIONAL” in this document are to be interpreted as described in BCP 14
<xref target="RFC2119"/><xref target="RFC8174"/> when, and only when, they appear in all capitals, 
as shown here.</t>

</section>
<section anchor="LPWAN-Archi" title="LPWAN Architecture">

<t>LPWAN technologies have similar network architectures but different terminologies.
Using the terminology defined in <xref target="RFC8376"/>,
we can identify different types of entities in a typical LPWAN network, see <xref target="Fig-LPWANarchi"/>:</t>

<t>o  Devices (Dev) are the end-devices or hosts (e.g. sensors, actuators, etc.). There can be a very high density of devices per radio gateway.</t>

<t>o  The Radio Gateway (RGW), which is the end point of the constrained link.</t>

<t>o  The Network Gateway (NGW) is the interconnection node between the Radio Gateway and the Internet.</t>

<t>o  LPWAN-AAA Server, which controls the user authentication and the applications.</t>

<t>o  Application Server (App)</t>

<figure title="LPWAN Architecture" anchor="Fig-LPWANarchi"><artwork><![CDATA[
                                           +------+
 ()   ()   ()       |                      |LPWAN-|
  ()  () () ()     / \       +---------+   | AAA  |
() () () () () () /   \======|    ^    |===|Server|  +-----------+
 ()  ()   ()     |           | <--|--> |   +------+  |APPLICATION|
()  ()  ()  ()  / \==========|    v    |=============|   (App)   |
  ()  ()  ()   /   \         +---------+             +-----------+
 Dev        Radio Gateways         NGW

]]></artwork></figure>

</section>
<section anchor="Term" title="Terminology">
<t>This section defines the terminology and acronyms used in this document.</t>

<t>Note that the SCHC acronym is pronounced like “sheek” in English (or “chic” in French). Therefore, this document writes “a SCHC Packet” instead of “an SCHC Packet”.</t>

<t><list style="symbols">
  <t>Abort. A SCHC Fragment format to signal the other end-point that the on-going fragment transmission is stopped and finished.</t>
  <t>All-0. The SCHC Fragment format for the last fragment of a window that is not the last one of a SCHC Packet (see window in this glossary).</t>
  <t>All-1. The SCHC Fragment format for the last fragment of the SCHC Packet.</t>
  <t>All-0 empty. An All-0 SCHC Fragment without payload. It is used to request the SCHC ACK with the encoded Bitmap when the Retransmission Timer expires, in a window that is not the last one of a packet.</t>
  <t>All-1 empty. An All-1 SCHC Fragment without payload. It is used to request the SCHC ACK with the encoded Bitmap when the Retransmission Timer expires in the last window of a packet.</t>
  <t>App: LPWAN Application. An application sending/receiving IPv6 packets to/from the Device.</t>
  <t>AppIID: Application Interface Identifier. The IID that identifies the application server interface.</t>
  <t>Bi: Bidirectional. Characterises a Rule Entry that applies to headers of packets travelling in either direction (Up and Dw, see this glossary).</t>
  <t>Bitmap: a bit field in the SCHC ACK message that tells the sender which SCHC Fragments in a window of fragments were correctly received.</t>
  <t>C: Checked bit. Used in an acknowledgement (SCHC ACK) header to determine if the MIC locally computed by the receiver matches (1) the received MIC or not (0).</t>
  <t>CDA: Compression/Decompression Action. Describes the reciprocal pair of actions that are performed at the compressor to compress a header field and at the decompressor to recover the original header field value.</t>
  <t>Compression Residue. The bits that need to be sent (beyond the Rule ID itself) after applying the SCHC compression over each header field.</t>
  <t>Context: A set of Rules used to compress/decompress headers.</t>
  <t>Dev: Device. A node connected to an LPWAN. A Dev SHOULD implement SCHC.</t>
  <t>DevIID: Device Interface Identifier. The IID that identifies the Dev interface.</t>
  <t>DI: Direction Indicator. This field tells which direction of packet travel (Up, Dw or Bi) a Rule applies to. This allows for assymmetric processing.</t>
  <t>DTag: Datagram Tag. This SCHC F/R header field is set to the same value for all SCHC Fragments carrying the same SCHC Packet.</t>
  <t>Dw: Downlink direction for compression/decompression in both sides, from SCHC C/D in the network to SCHC C/D in the Dev.</t>
  <t>FCN: Fragment Compressed Number. This SCHC F/R header field carries an efficient representation of a larger-sized fragment number.</t>
  <t>Field Description. A line in the Rule table.</t>
  <t>FID: Field Identifier. This is an index to describe the header fields in a Rule.</t>
  <t>FL: Field Length is the length of the packet header field. It is expressed in bits for header fields of fixed lengths or as a type (e.g. variable, token length, …) for field lengths that are unknown at the time of Rule creation. The length of a header field is defined in the corresponding protocol specification.</t>
  <t>FP: Field Position is a value that is used to identify the position where each instance of a field appears in the header.</t>
  <t>IID: Interface Identifier. See the IPv6 addressing architecture <xref target="RFC7136"/></t>
  <t>Inactivity Timer. A timer used after receiving a SCHC Fragment to detect when, due to a communication error, there is no possibility to continue an on-going fragmented SCHC Packet transmission.</t>
  <t>L2: Layer two. The immediate lower layer SCHC interfaces with. It is provided by an underlying LPWAN technology.</t>
  <t>L2 Word: this is the minimum subdivision of payload data that the L2 will carry. In most L2 technologies, the L2 Word is an octet.
In bit-oriented radio technologies, the L2 Word might be a single bit.
The L2 Word size is assumed to be constant over time for each device.</t>
  <t>MIC: Message Integrity Check.  A SCHC F/R header field computed over the fragmented SCHC Packet and potential fragment padding, used
for error detection after SCHC Packet reassembly.</t>
  <t>MO: Matching Operator. An operator used to match a value contained in a header field with a value contained in a Rule.</t>
  <t>Padding (P). Extra bits that may be appended by SCHC to a data unit that it passes to the underlying Layer 2 for transmission.
SCHC itself operates on bits, not bytes, and does not have any alignment prerequisite. See <xref target="Padding"/>.</t>
  <t>Retransmission Timer. A timer used by the SCHC Fragment sender during an on-going fragmented SCHC Packet transmission to
detect possible link errors when waiting for a possible incoming SCHC ACK.</t>
  <t>Rule: A set of header field values.</t>
  <t>Rule entry: A column in a Rule that describes a parameter of the header field.</t>
  <t>Rule ID: An identifier for a Rule. SCHC C/D on both sides share the same Rule ID for a given packet. A set of Rule IDs are used to support SCHC F/R functionality.</t>
  <t>SCHC ACK: A SCHC acknowledgement for fragmentation. This message is used to report on the success of reception of a set of SCHC Fragments. See <xref target="Frag"/> for more details.</t>
  <t>SCHC C/D: Static Context Header Compression Compressor/Decompressor. A mechanism used on both sides, at the Dev and at the network, to achieve Compression/Decompression of headers. SCHC C/D uses Rules to perform compression and decompression.</t>
  <t>SCHC F/R: Static Context Header Compression Fragmentation/Reassembly. A protocol used on both sides, at the Dev and at the network, to achieve Fragmentation/Reassembly of SCHC Packets. SCHC F/R has three reliability modes.</t>
  <t>SCHC Fragment: A data unit that carries a subset of a SCHC Packet. SCHC F/R is needed when the size of a SCHC packet exceeds the available payload size of the underlying L2 technology data unit. See <xref target="Frag"/>.</t>
  <t>SCHC Packet: A packet (e.g. an IPv6 packet) whose header has been compressed as per the header compression mechanism defined in this document. If the header compression process is unable to actually compress the packet header, the packet with the uncompressed header is still called a SCHC Packet (in this case, a Rule ID is used to indicate that the packet header has not been compressed). See <xref target="SCHComp"/> for more details.</t>
  <t>TV: Target value. A value contained in a Rule that will be matched with the value of a header field.</t>
  <t>Up: Uplink direction for compression/decompression in both sides, from the Dev SCHC C/D to the network SCHC C/D.</t>
  <t>W: Window bit. A SCHC Fragment header field used in ACK-on-Error or ACK-Always mode <xref target="Frag"/>, which carries the same value for all SCHC Fragments of a window.</t>
  <t>Window: A subset of the SCHC Fragments needed to carry a SCHC Packet (see <xref target="Frag"/>).</t>
</list></t>

</section>
<section anchor="schc-overview" title="SCHC overview">

<t>SCHC can be abstracted as an adaptation layer between IPv6 and the underlying LPWAN technology. SCHC comprises two sublayers (i.e. the Compression sublayer and the Fragmentation sublayer), as shown in <xref target="Fig-IntroLayers"/>.</t>

<figure title="Protocol stack comprising IPv6, SCHC and an LPWAN technology" anchor="Fig-IntroLayers"><artwork><![CDATA[
             +----------------+
             |      IPv6      |
          +- +----------------+            
          |  |   Compression  |  
    SCHC <   +----------------+   
          |  |  Fragmentation |
          +- +----------------+         
             |LPWAN technology|
             +----------------+

]]></artwork></figure>

<t>As per this document, when a packet (e.g. an IPv6 packet) needs to be transmitted, header compression is first applied to the packet. The resulting packet after header compression (whose header may or may not actually be smaller than that of the original packet) is called a SCHC Packet. If the SCHC Packet size exceeds the layer 2 (L2) MTU, fragmentation is then applied to the SCHC Packet. The SCHC Packet or the SCHC Fragments are then transmitted over the LPWAN. The reciprocal operations take place at the receiver. This process is illustrated in <xref target="Fig-Operations"/>.</t>

<figure title="SCHC operations taking place at the sender and the receiver" anchor="Fig-Operations"><artwork><![CDATA[
A packet (e.g. an IPv6 packet) 
         |                                           ^
         v                                           |
+------------------+                      +--------------------+
| SCHC Compression |                      | SCHC Decompression |
+------------------+                      +--------------------+
         |                                           ^
         |   If no fragmentation (*)                 |
         +-------------- SCHC Packet  -------------->|
         |                                           |
         v                                           |
+--------------------+                       +-----------------+
| SCHC Fragmentation |                       | SCHC Reassembly |
+--------------------+                       +-----------------+
      |     ^                                     |     ^
      |     |                                     |     |
      |     +-------------- SCHC ACK -------------+     |
      |                                                 |
      +-------------- SCHC Fragments -------------------+

        SENDER                                    RECEIVER


*: the decision to use Fragmentation or not is left to each LPWAN technology
   over which SCHC is applied. See LPWAN technology-specific documents.

]]></artwork></figure>

<t>The SCHC Packet is composed of the Compressed Header followed by the payload from the original packet (see <xref target="Fig-SCHCpckt"/>).
The Compressed Header itself is composed of a Rule ID and a Compression Residue. The Compression Residue may be absent, see <xref target="SCHComp"/>. Both the Rule ID and the Compression Residue potentially have a variable size, and generally are not a mutiple of bytes in size.</t>

<figure title="SCHC Packet" anchor="Fig-SCHCpckt"><artwork><![CDATA[
|  Rule ID +  Compression Residue |
+---------------------------------+--------------------+ 
|      Compressed Header          |      Payload       |
+---------------------------------+--------------------+

]]></artwork></figure>

<t>The Fragment Header size is variable and depends on the Fragmentation parameters.
The Fragment payload contains a part of the SCHC Packet Compressed Header, a part of the SCHC Packet Payload or both.
Its size depends on the L2 data unit, see <xref target="Frag"/>. The SCHC Fragment has the
following format:</t>

<figure title="SCHC Fragment" anchor="Fig-SCHCfragment"><artwork><![CDATA[
| Rule ID + DTAG + W + FCN [+ MIC ] |   Partial  SCHC Packet  |
+-----------------------------------+-------------------------+ 
|        Fragment Header            |   Fragment  Payload     |
+-----------------------------------+-------------------------+

]]></artwork></figure>

<t>The SCHC ACK is only used for Fragmentation.
It has the following format:</t>

<figure title="SCHC ACK" anchor="Fig-SCHCack"><artwork><![CDATA[
|Rule ID + DTag + W|             
+------------------+-------- ... ---------+
|    ACK Header    |    encoded Bitmap    |
+------------------+-------- ... ---------+

]]></artwork></figure>

<t>The SCHC ACK Header and the encoded Bitmap both have variable size.</t>

<t><xref target="Fig-archi"/> below maps the functional elements of <xref target="Fig-Operations"/> onto the LPWAN architecture elements of <xref target="Fig-LPWANarchi"/>.</t>

<figure title="Architecture" anchor="Fig-archi"><artwork><![CDATA[
     Dev                                                 App
+----------------+                                  +--------------+
| APP1 APP2 APP3 |                                  |APP1 APP2 APP3|
|                |                                  |              |
|       UDP      |                                  |     UDP      |
|      IPv6      |                                  |    IPv6      |   
|                |                                  |              |  
|SCHC C/D and F/R|                                  |              |
+--------+-------+                                  +-------+------+
         |   +--+     +----+     +-----------+              .
         +~~ |RG| === |NGW | === |   SCHC    |... Internet ..
             +--+     +----+     |F/R and C/D|
                                 +-----------+
]]></artwork></figure>

<t>SCHC C/D and SCHC F/R are located on both sides of the LPWAN transmission, i.e. on the Dev side and on the Network side.</t>

<t>Let’s describe the operation in the Uplink direction. The Device application packets use IPv6 or IPv6/UDP protocols. Before sending these packets, the Dev compresses their headers using SCHC C/D and, if the SCHC Packet resulting from the compression exceeds the maximum payload size of the underlying LPWAN technology, SCHC F/R is performed (see <xref target="Frag"/>). The resulting SCHC Fragments are sent as one or more L2 frames to an LPWAN Radio Gateway (RG) which forwards them to a Network Gateway (NGW).
The NGW sends the data to a SCHC F/R and then to the SCHC C/D for decompression. The SCHC F/R and C/D on the Network side can be located in the NGW or somewhere else as long as a tunnel is established between them and the NGW. Note that, for some LPWAN technologies, it MAY be suitable to locate the SCHC F/R
functionality nearer the NGW, in order to better deal with time constraints of such technologies.
The SCHC C/D and F/R on both sides MUST share the same set of Rules. After decompression, the packet can be sent over the Internet
to one or several LPWAN Application Servers (App).</t>

<t>The SCHC C/D and F/R process is symmetrical, therefore the description of the Downlink direction trivially derives from the one above.</t>

</section>
<section anchor="rule-id" title="Rule ID">

<t>Rule IDs are identifiers used to select the correct context either for Compression/Decompression or
for Fragmentation/Reassembly.</t>

<t>The size of the Rule IDs is not specified in this document, as it is implementation-specific and can vary according to the LPWAN technology and the number of Rules, among others.</t>

<t>The Rule IDs are used:</t>

<t><list style="symbols">
  <t>In the SCHC C/D context, to identify the Rule (i.e., the set of Field Descriptions) that is used to compress a packet header.</t>
  <t>At least one Rule ID MAY be allocated to tagging packets for which SCHC compression was not possible (no matching Rule was found).</t>
  <t>In SCHC F/R, to identify the specific modes and settings of SCHC Fragments being transmitted, and to identify the SCK ACKs, including their modes and settings. Note that in the case of bidirectional communication, at least two Rule ID values are therefore needed for F/R.</t>
</list></t>

</section>
<section anchor="SCHComp" title="Static Context Header Compression">

<t>In order to perform header compression, this document defines a mechanism called Static Context Header Compression (SCHC),
which is based on using context, i.e. a set of Rules to compress or decompress headers. SCHC avoids context synchronization, which is the most bandwidth-consuming operation in other header compression mechanisms such as RoHC <xref target="RFC5795"/>. Since the nature of packets is highly predictable in LPWAN networks, static contexts MAY be stored beforehand to omit transmitting some information over the air. The contexts MUST be stored at both ends, and they can be learned by a provisioning protocol or by out of band means, or they can be pre-provisioned. The way the contexts are provisioned on both ends is out of the scope of this document.</t>

<section anchor="schc-cd-rules" title="SCHC C/D Rules">

<t>The main idea of the SCHC compression scheme is to transmit the Rule ID to the other end instead of sending known field values. This Rule ID identifies a Rule that provides the closest match to the original packet values. Hence, when a value is known by both ends, it is only necessary to send the corresponding Rule ID over the LPWAN network.
How Rules are generated is out of the scope of this document. The Rules MAY be changed at run-time but the way to do this will be specified in another document.</t>

<t>The context contains a list of Rules (cf. <xref target="Fig-ctxt"/>). Each Rule itself contains a list of Field Descriptions composed of a Field Identifier (FID), a Field Length (FL), a Field Position (FP), a Direction Indicator (DI), a Target Value (TV), a Matching Operator (MO) and a Compression/Decompression Action (CDA).</t>

<figure title="Compression/Decompression Context" anchor="Fig-ctxt"><artwork><![CDATA[
  /-----------------------------------------------------------------\
  |                         Rule N                                  |
 /-----------------------------------------------------------------\|
 |                       Rule i                                    ||
/-----------------------------------------------------------------\||
|  (FID)            Rule 1                                        |||
|+-------+--+--+--+------------+-----------------+---------------+|||
||Field 1|FL|FP|DI|Target Value|Matching Operator|Comp/Decomp Act||||
|+-------+--+--+--+------------+-----------------+---------------+|||
||Field 2|FL|FP|DI|Target Value|Matching Operator|Comp/Decomp Act||||
|+-------+--+--+--+------------+-----------------+---------------+|||
||...    |..|..|..|   ...      | ...             | ...           ||||
|+-------+--+--+--+------------+-----------------+---------------+||/
||Field N|FL|FP|DI|Target Value|Matching Operator|Comp/Decomp Act|||
|+-------+--+--+--+------------+-----------------+---------------+|/
|                                                                 |
\-----------------------------------------------------------------/

]]></artwork></figure>

<t>A Rule does not describe how to parse a packet header to find each field. This MUST be known from the compressor/decompressor. Rules only describe the compression/decompression behavior for each header field. In a Rule, the Field Descriptions are listed in the order in which the fields appear in the packet header.</t>

<t>A Rule also describes what Compression Residue is sent. The Compression Residue is assembled by concatenating the residues for each field, in the order the Field Descriptions appear in the Rule.</t>

<t>The Context describes the header fields and its values with the following entries:</t>

<t><list style="symbols">
  <t>Field ID (FID) is a unique value to define the header field.</t>
  <t>Field Length (FL) represents the length of the field. It can be either a fixed value (in bits) if the length is known when the Rule is created or a type if the length is variable. The length of a header field is defined in the corresponding protocol specification. The type defines the process to compute the length, its unit (bits, bytes,…) and the value to be sent before the Compression Residue.</t>
  <t>Field Position (FP): most often, a field only occurs once in a packet header. Some fields may occur multiple times in a header. FP indicates which occurrence  this Field Description applies to. The default value is 1 (first occurence).</t>
  <t>A Direction Indicator (DI) indicates the packet direction(s) this Field Description applies to. Three values are possible:  <list style="symbols">
      <t>UPLINK (Up): this Field Description is only applicable to packets sent by the Dev to the App,</t>
      <t>DOWNLINK (Dw): this Field Description is only applicable to packets sent from the App to the Dev,</t>
      <t>BIDIRECTIONAL (Bi): this Field Description is applicable to packets travelling both Up and Dw.</t>
    </list></t>
  <t>Target Value (TV) is the value used to make the match with the packet header field. The Target Value can be of any type (integer, strings, etc.). For instance, it can be a single value or a more complex structure (array, list, etc.), such as a JSON or a CBOR structure.</t>
  <t>Matching Operator (MO) is the operator used to match the Field Value and the Target Value. The Matching Operator may require some parameters. MO is only used during the compression phase. The set of MOs defined in this document can be found in <xref target="chap-MO"/>.</t>
  <t>Compression Decompression Action (CDA) describes the compression and decompression processes to be performed after the MO is applied. Some CDAs MAY require parameter values for their operation. CDAs are used in both the compression and the decompression functions. The set of CDAs defined in this document can be found in <xref target="chap-CDA"/>.</t>
</list></t>

</section>
<section anchor="IDComp" title="Rule ID for SCHC C/D">

<t>Rule IDs are sent by the compression function in one side and are received for the decompression function in the other side.
In SCHC C/D, the Rule IDs are specific to a Dev. Hence, multiple Dev instances MAY use the same Rule ID to define different
header compression contexts. To identify the correct Rule ID, the SCHC C/D needs to correlate the Rule ID with the Dev identifier to find the appropriate Rule to be applied.</t>

</section>
<section anchor="packet-processing" title="Packet processing">

<t>The compression/decompression process follows several steps:</t>

<t><list style="symbols">
  <t>Compression Rule selection: The goal is to identify which Rule(s) will be used to compress the packet’s headers. When doing decompression, on the network side the SCHC C/D needs to find the correct Rule based on the L2 address and in this way, it can use the DevIID and the Rule ID. On the Dev side, only the Rule ID is needed to identify the correct Rule since the Dev only holds Rules that apply to itself. The Rule will be selected by matching the Fields Descriptions to the packet header as described below. When the selection of a Rule is done, this Rule is used to compress the header. The detailed steps for compression Rule selection are the following:  <list style="symbols">
      <t>The first step is to choose the Field Descriptions by their direction, using the Direction Indicator (DI). A Field Description that does not correspond to the appropriate DI will be ignored. If all the fields of the packet do not have a Field Description with the correct DI, the Rule is discarded and SCHC C/D proceeds to explore the next Rule.</t>
      <t>When the DI has matched, then the next step is to identify the fields according to Field Position (FP). If FP does not correspond, the Rule is not used and the SCHC C/D proceeds to consider the next Rule.</t>
      <t>Once the DI and the FP correspond to the header information, each packet field’s value is then compared to the corresponding Target Value (TV) stored in the Rule for that specific field using the matching operator (MO).      <vspace blankLines='1'/>
If all the fields in the packet’s header satisfy all the matching operators (MO) of a Rule (i.e. all MO results are True), the fields of the header are then compressed according to the Compression/Decompression Actions (CDAs) and a compressed header (with possibly a Compression Residue) SHOULD be obtained. Otherwise, the next Rule is tested.</t>
      <t>If no eligible Rule is found, then the header MUST be sent without compression. This MAY require the use of the SCHC F/R process.</t>
    </list></t>
  <t>Sending: If an eligible Rule is found, the Rule ID is sent to the other end followed by the Compression Residue (which could be empty) and directly followed by the payload. The Compression Residue is the concatenation of the Compression Residues for each field according to the CDAs for that Rule. The way the Rule ID is sent depends on the specific underlying LPWAN technology. For example, it can be either included in an L2 header or sent in the first byte of the L2 payload. (Cf. <xref target="Fig-FormatPckt"/>). This process will be specified in the LPWAN technology-specific document and is out of the scope of the present document. On LPWAN technologies that are byte-oriented, the compressed header concatenated with the original packet payload is padded to a multiple of 8 bits, if needed. See <xref target="Padding"/> for details.</t>
  <t>Decompression: When doing decompression, on the network side the SCHC C/D needs to find the correct Rule based on the L2 address and in this way, it can use the DevIID and the Rule ID. On the Dev side, only the Rule ID is needed to identify the correct Rule since the Dev only holds Rules that apply to itself.  <vspace blankLines='1'/>
The receiver identifies the sender through its device-id (e.g. MAC address, if exists) and selects the appropriate Rule from the Rule ID. If a source identifier is present in the L2 technology, it is used to select the Rule ID. This Rule describes the compressed header format and associates the values to the header fields.  The receiver applies the CDA action to reconstruct the original header fields. The CDA application order can be different from the order given by the Rule. For instance, Compute-* SHOULD be applied at the end, after all the other CDAs.</t>
</list></t>

<figure title="SCHC C/D Packet Format" anchor="Fig-FormatPckt"><artwork><![CDATA[
+--- ... --+------- ... -------+------------------+
|  Rule ID |Compression Residue|  packet payload  |
+--- ... --+------- ... -------+------------------+

|----- compressed header ------|

]]></artwork></figure>

</section>
<section anchor="chap-MO" title="Matching operators">

<t>Matching Operators (MOs) are functions used by both SCHC C/D endpoints involved in the header compression/decompression. They are not typed and can be indifferently applied to integer, string or any other data type. The result of the operation can either be True or False. MOs are defined as follows:</t>

<t><list style="symbols">
  <t>equal: The match result is True if a field value in a packet and the value in the TV are equal.</t>
  <t>ignore: No check is done between a field value in a packet and a TV in the Rule. The result of the matching is always true.</t>
  <t>MSB(x): A match is obtained if the most significant x bits of the packet header field value are equal to the TV in the Rule. The x parameter of the MSB MO indicates how many bits are involved in the comparison. If the FL is described as variable, the length must be a multiple of the unit. For example, x must be multiple of 8 if the unit of the variable length is in bytes.</t>
  <t>match-mapping: With match-mapping, the Target Value is a list of values. Each value of the list is identified by a short ID (or index). Compression is achieved by sending the index instead of the original header field value. This operator matches if the header field value is equal to one of the values in the target list.</t>
</list></t>

</section>
<section anchor="chap-CDA" title="Compression Decompression Actions (CDA)">

<t>The Compression Decompression Action (CDA) describes the actions taken during the compression of headers fields, and inversely, the action taken by the decompressor to restore the original value.</t>

<figure title="Compression and Decompression Actions" anchor="Fig-function"><artwork><![CDATA[
/--------------------+-------------+----------------------------\
|  Action            | Compression | Decompression              |
|                    |             |                            |
+--------------------+-------------+----------------------------+
|not-sent            |elided       |use value stored in context |
|value-sent          |send         |build from received value   |
|mapping-sent        |send index   |value from index on a table |
|LSB                 |send LSB     |TV, received value          |
|compute-length      |elided       |compute length              |
|compute-checksum    |elided       |compute UDP checksum        |
|DevIID              |elided       |build IID from L2 Dev addr  |
|AppIID              |elided       |build IID from L2 App addr  |
\--------------------+-------------+----------------------------/

]]></artwork></figure>

<t><xref target="Fig-function"/> summarizes the basic functions that can be used to compress and decompress a field. The first column lists the actions name. The second and third columns outline the reciprocal compression/decompression behavior for each action.</t>

<t>Compression is done in order that Fields Descriptions appear in a Rule. The result of each Compression/Decompression Action is appended to the working Compression Residue in that same order. The receiver knows the size of each compressed field which can be given by the Rule or MAY be sent with the compressed header.</t>

<t>If the field is identified as being variable in the Field Description, then the size of the Compression Residue value (using the unit defined in the FL) MUST be sent first using the following coding:</t>

<t><list style="symbols">
  <t>If the size is between 0 and 14, it is sent as a 4-bits integer.</t>
  <t>For values between 15 and 254, the first 4 bits sent are set to 1 and the size is sent using 8 bits integer.</t>
  <t>For higher values of size, the first 12 bits are set to 1 and the next two bytes contain the size value as a 16 bits integer.</t>
</list></t>

<t>If a field is not present in the packet but exists in the Rule and its FL is specified as being variable, size 0 MUST be sent to denote its absence.</t>

<section anchor="not-sent-cda" title="not-sent CDA">

<t>The not-sent function is generally used when the field value is specified in a Rule and therefore known by both the Compressor and the Decompressor. This action is generally used with the “equal” MO. If MO is “ignore”, there is a risk to have a decompressed field value different from the original field that was compressed.</t>

<t>The compressor does not send any Compression Residue for a field on which not-sent compression is applied.</t>

<t>The decompressor restores the field value with the Target Value stored in the matched Rule identified by the received Rule ID.</t>

</section>
<section anchor="value-sent-cda" title="value-sent CDA">

<t>The value-sent action is generally used when the field value is not known by both the Compressor and the Decompressor. The value is sent as a residue in the compressed message header. Both Compressor and Decompressor MUST know the size of the field, either implicitly (the size is known by both sides) or by explicitly indicating the length in the Compression Residue, as defined in <xref target="chap-CDA"/>. This function is generally used with the “ignore” MO.</t>

</section>
<section anchor="mapping-sent-cda" title="mapping-sent CDA">

<t>The mapping-sent is used to send a smaller index (the index into the Target Value list of values) instead of the original value. This function is used together with the “match-mapping” MO.</t>

<t>On the compressor side, the match-mapping Matching Operator searches the TV for a match with the header field value and the mapping-sent CDA appends the corresponding index to the Compression Residue to be sent.
On the decompressor side, the CDA uses the received index to restore the field value by looking up the list in the TV.</t>

<t>The number of bits sent is the minimal size for coding all the possible indices.</t>

</section>
<section anchor="lsb-cda" title="LSB CDA">

<t>The LSB action is used together with the “MSB(x)” MO to avoid sending the most significant part of the packet field if that part is already known by the receiving end.
The number of bits sent is the original header field length minus the length specified in the MSB(x) MO.</t>

<t>The compressor sends the Least Significant Bits (e.g. LSB of the length field). The decompressor concatenates the x most significant bits of Target Value and the received residue.</t>

<t>If this action needs to be done on a variable length field, the size of the Compression Residue in bytes MUST be sent as described in <xref target="chap-CDA"/>.</t>

</section>
<section anchor="deviid-appiid-cda" title="DevIID, AppIID CDA">

<t>These functions are used to process respectively the Dev and the App Interface Identifiers (DevIID and AppIID) of the IPv6 addresses. AppIID CDA is less common since current LPWAN technologies frames contain a single address, which is the Dev’s address.</t>

<t>The IID value MAY be computed from the Device ID present in the L2 header, or from some other stable identifier. The computation is specific to each LPWAN technology and MAY depend on the Device ID size.</t>

<t>In the downlink direction (Dw), at the compressor, this DevIID CDA may be used to generate the L2 addresses on the LPWAN, based on the packet destination address.</t>

</section>
<section anchor="compute-" title="Compute-*">

<t>Some fields are elided during compression and reconstructed during decompression. This is the case for length and checksum, so:</t>

<t><list style="symbols">
  <t>compute-length: computes the length assigned to this field. This CDA MAY be used to compute IPv6 length or UDP length.</t>
  <t>compute-checksum: computes a checksum from the information already received by the SCHC C/D. This field MAY be used to compute UDP checksum.</t>
</list></t>

</section>
</section>
</section>
<section anchor="Frag" title="Fragmentation">

<section anchor="overview" title="Overview">

<t>In LPWAN technologies, the L2 data unit size typically varies from tens to hundreds of bytes. The SCHC F/R (Fragmentation 
/Reassembly) MAY be used either because after applying SCHC C/D or when SCHC C/D is not possible the entire SCHC Packet still 
exceeds the L2 data unit.</t>

<t>The SCHC F/R functionality defined in this document has been designed under the assumption that data unit out-of-sequence delivery will not happen between the entity performing fragmentation and the entity performing reassembly. This assumption allows reducing the complexity and overhead of the SCHC F/R mechanism.</t>

<t>This document also assumes that the L2 data unit size does not vary while a fragmented SCHC Packet is being transmitted.</t>

<t>To adapt the SCHC F/R to the capabilities of LPWAN technologies, it is required to enable optional SCHC Fragment retransmission and to allow for a range of reliability options for sending the SCHC Fragments. This document does not make any decision with regard to which SCHC Fragment delivery reliability mode will be used over a specific LPWAN technology. These details will be defined in other technology-specific documents.</t>

<t>SCHC F/R uses the knowledge of the L2 Word size (see <xref target="Term"/>) to encode some messages. Therefore, SCHC MUST know the L2 Word size.
SCHC F/R generates SCHC Fragments and SCHC ACKs that are, for most of them, multiples of L2 Words.
The padding overhead is kept to the absolute minimum. See <xref target="Padding"/>.</t>

</section>
<section anchor="FragTools" title="Fragmentation Tools">

<t>This subsection describes the different tools that are used to enable the SCHC F/R functionality defined in this document, such as fields in the SCHC F/R header frames (see the related formats in <xref target="Fragfor"/>), windows and timers.</t>

<t><list style="symbols">
  <t>Rule ID. The Rule ID is present in the SCHC Fragment header and in the SCHC ACK header formats.  The Rule ID in a SCHC Fragment header is used to identify that a SCHC Fragment is being carried, which SCHC F/R reliability mode is used and which window size is used. The Rule ID in the SCHC Fragment header also allows interleaving non-fragmented SCHC Packets and SCHC Fragments that carry other SCHC Packets. The Rule ID in a SCHC ACK identifies the message as a SCHC ACK.</t>
  <t>Fragment Compressed Number (FCN).  The FCN is included in all SCHC Fragments. This field can be understood as a truncated, efficient representation of a larger-sized fragment number, and does not carry an absolute SCHC Fragment number. There are two FCN reserved values that are used for controlling the SCHC F/R process, as described next:  <list style="symbols">
      <t>The FCN value with all the bits equal to 1 (All-1) denotes the last SCHC Fragment of a packet. The last window of a packet is called an All-1 window.</t>
      <t>The FCN value with all the bits equal to 0 (All-0) denotes the last SCHC Fragment of a window that is not the last one of
the packet. Such a window is called an All-0 window.</t>
    </list>
The rest of the FCN values are assigned in a sequentially decreasing order, which has the purpose to avoid possible
ambiguity for the receiver that might arise under certain conditions. In the SCHC Fragments, this field is an unsigned
integer, with a size of N bits. In the No-ACK mode, the size is set to 1 bit (N=1), All-0 is used in all SCHC Fragments and
All-1 for the last one.
For the other reliability modes, it is recommended to use a number of bits (N) equal to or greater than 3. Nevertheless,
the appropriate value of N MUST be defined in the corresponding technology-specific profile documents. For windows that are
not the last one of a fragmented SCHC Packet, the FCN for the last SCHC Fragment in such windows is an All-0. This
indicates that the window is finished and communication proceeds according to the reliability mode in use. The FCN for the
last SCHC Fragment in the last window is an All-1, indicating the last SCHC Fragment of the SCHC Packet. It is also
important to note that, in the No-ACK mode or when N=1, the last SCHC Fragment of the packet will carry a FCN equal to 1,
while all previous  SCHC Fragments will carry a FCN to 0. For further details see <xref target="FragModes"/>. The highest FCN in the
window, denoted MAX_WIND_FCN, MUST be a value equal to or smaller than 2^N-2. (Example for N=5, MAX_WIND_FCN MAY be set to
23, then subsequent FCNs are set sequentially and in decreasing order, and the FCN will wrap from 0 back to 23).</t>
  <t>Datagram Tag (DTag). The DTag field, if present, is set to the same value for all SCHC Fragments carrying the same SCHC <vspace />
packet, and to different values for different SCHC Packets. Using this field, the sender can interleave fragments from
different SCHC Packets, while the receiver can still tell them apart.
In the SCHC Fragment formats, the size of the DTag field is T bits, which MAY be set to a value greater than or equal to 0
bits. For each new SCHC Packet processed by the sender, DTag MUST be sequentially increased, from 0 to 2^T – 1 wrapping
back from 2^T - 1 to 0.
In the SCHC ACK format, DTag carries the same value as the DTag field in the SCHC Fragments for which this SCHC ACK is 
intended. 
When there is no Dtag, there can be only one SCHC Packet in transit.
Only after all its fragments have been transmitted can another SCHC Packet be sent.
The length of DTag, denoted T, is not specified in this document because it is technology dependant. It will be defined in the
corresponding technology-specific documents, based on the number of simultaneous packets that are to be supported.</t>
  <t>W (window): W is a 1-bit field. This field carries the same value for all SCHC Fragments of a window, and it is
complemented for the next window. The initial value for this field is 0. In the SCHC ACK format, this field also has a size 
of 1 bit. In all SCHC ACKs, the W bit carries the same value as the W bit carried by the SCHC Fragments whose reception is 
being positively or negatively acknowledged by the SCHC ACK.</t>
  <t>Message Integrity Check (MIC). This field is computed by the sender over the complete SCHC Packet and before SCHC 
fragmentation. The MIC allows the receiver to check errors in the reassembled packet, while it also
enables compressing the UDP checksum by use of SCHC compression. The CRC32 as 0xEDB88320 (i.e. the reverse representation
of the polynomial used e.g. in the Ethernet standard <xref target="RFC3385"/>) is recommended as the default algorithm for computing the
MIC. Nevertheless, other algorithms MAY be required and are defined in the technology-specific documents as well as the 
length in bits of the MIC used.</t>
  <t>C (MIC checked): C is a 1-bit field. This field is used in the SCHC ACK packets to report the outcome of the MIC check, 
i.e. whether the reassembled packet was correctly received or not. A value of 1 represents a positive MIC check at the 
receiver side (i.e. the MIC computed by the receiver matches the received MIC).</t>
  <t>Retransmission Timer. A SCHC Fragment sender uses it after the transmission of a window to detect a transmission error of
the SCHC ACK corresponding to this window. Depending on the reliability mode, it will lead to a request a SCHC ACK
retransmission (in ACK-Always mode) or it will trigger the transmission of the next window (in ACK-on-Error mode). The
duration of this timer is not defined in this document and MUST be defined in the corresponding technology-specific documents.</t>
  <t>Inactivity Timer. A SCHC Fragment receiver uses it to take action when there is a problem in the transmission of SCHC
fragments. Such a problem could be detected by the receiver not getting a single SCHC Fragment during a given period of
time. When this happens, an Abort message will be sent
(see related text later in this section). Initially, and each time a SCHC Fragment is received, the timer is reinitialized.
The duration of this timer is not defined in this document and MUST be defined in the corresponding technology-specific document.</t>
  <t>Attempts. This counter counts the requests for a missing SCHC ACK. When it reaches the value MAX_ACK_REQUESTS,
the sender assumes there are recurrent SCHC Fragment transmission errors and determines that an Abort is needed. The default
value MAX_ACK_REQUESTS is not stated in this document, and it is expected to be defined in the corresponding technology-specific
document. The Attempts counter is defined per window. It is initialized each time a new window is used.</t>
  <t>Bitmap. The Bitmap is a sequence of bits carried in a SCHC ACK. Each bit in the Bitmap corresponds to a SCHC
fragment of the current window, and provides feedback on whether the SCHC Fragment has been received or not. The right-most
position on the Bitmap reports if the All-0 or All-1 fragment has been received or not. Feedback on the SCHC
fragment with the highest FCN value is provided by the bit in the left-most position of the Bitmap. In the Bitmap, a bit
set to 1 indicates that the SCHC Fragment of FCN corresponding to that bit position has been correctly sent and received.
The text above describes the internal representation of the Bitmap. When inserted in the SCHC ACK for transmission from the
receiver to the sender, the Bitmap is shortened for energy/bandwidth optimisation, see more details in <xref target="Bitmapopt"/>.</t>
  <t>Abort. On expiration of the Inactivity timer, or when Attempts reaches MAX_ACK_REQUESTS or upon occurrence of some other
error, the sender or the receiver may use the Abort. When the receiver needs to abort the on-going fragmented SCHC
Packet transmission, it sends the Receiver-Abort format. When the sender needs to abort the transmission, it sends the
Sender-Abort format. None of the Aborts are acknowledged.</t>
</list></t>

</section>
<section anchor="reliability-modes" title="Reliability modes">

<t>This specification defines three reliability modes: No-ACK, ACK-Always, and ACK-on-Error. ACK-Always and ACK-on-Error operate on windows of SCHC Fragments. A window of SCHC Fragments is a subset of the full set of SCHC Fragments needed to carry a SCHC Packet.</t>

<t><list style="symbols">
  <t>No-ACK. No-ACK is the simplest SCHC Fragment reliability mode. The receiver does not generate overhead in the form of acknowledgements (ACKs).  However, this mode does not enhance reliability beyond that offered by the underlying LPWAN technology. In the No-ACK mode, the receiver MUST NOT issue SCHC ACKs. See further details in <xref target="No-ACK-subsection"/>.</t>
  <t>ACK-Always. The ACK-Always mode provides flow control using a windowing scheme. This mode is also able to handle long bursts of lost SCHC Fragments since detection of such events can be done before the end of the SCHC Packet transmission as long as the window size is short enough. However, such benefit comes at the expense of SCHC ACK use. In ACK-Always, the receiver sends a SCHC ACK after a window of SCHC Fragments has been received. The SCHC ACK is used to inform the sender which SCHC Fragments in the current window have been well received. Upon a SCHC ACK reception, the sender retransmits the lost SCHC Fragments. When a SCHC ACK is lost and the sender has not received it by the expiration of the Retransmission Timer, the sender uses a SCHC ACK request by sending the All-0 empty SCHC Fragment when it is not the last window and the All-1 empty Fragment when it is the last window. The maximum number of SCHC ACK requests is MAX_ACK_REQUESTS. If MAX_ACK_REQUESTS is reached, the transmission needs to be aborted. See further details in <xref target="ACK-Always-subsection"/>.</t>
  <t>ACK-on-Error. The ACK-on-Error mode is suitable for links offering relatively low L2 data unit loss probability. In this mode, the SCHC Fragment receiver reduces the number of SCHC ACKs transmitted, which MAY be especially beneficial in asymmetric scenarios. The receiver transmits a SCHC ACK only after the complete window transmission and if at least one SCHC Fragment of this window has been lost. An exception to this behavior is in the last window, where the receiver MUST transmit a SCHC ACK, including the C bit set based on the MIC checked result, even if all the SCHC Fragments of the last window have been correctly received.
The SCHC ACK gives the state of all the SCHC Fragments of the current window (received or lost). Upon a SCHC ACK reception, the sender retransmits any lost SCHC Fragments based on the SCHC ACK. If a SCHC ACK is not transmitted back by the receiver at the end of a window, the sender assumes that all SCHC Fragments have been correctly received. When a SCHC ACK is lost, the sender assumes that all SCHC Fragments covered by the lost SCHC ACK have been successfully delivered, so the sender continues transmitting the next window of SCHC Fragments. If the next SCHC Fragments received belong to the next window and it is still expecting fragments from the previous window, the receiver will abort the on-going fragmented packet transmission. See further details in <xref target="ACK-on-Error-subsection"/>.</t>
</list></t>

<t>The same reliability mode MUST be used for all SCHC Fragments of a SCHC Packet. The decision on which reliability mode will be used and whether the same reliability mode applies to all SCHC Packets is an implementation problem and is out of the scope of this document.</t>

<t>Note that the reliability mode choice is not necessarily tied to a particular characteristic of the underlying L2 LPWAN technology, e.g. the No-ACK mode MAY be used on top of an L2 LPWAN technology with symmetric characteristics for uplink and downlink. This document does not make any decision as to which SCHC Fragment reliability modes are relevant for a specific LPWAN technology.</t>

<t>Examples of the different reliability modes described are provided in Appendix B.</t>

</section>
<section anchor="Fragfor" title="Fragmentation Formats">

<t>This section defines the SCHC Fragment format, including the All-0 and All-1 formats and their “empty” variations, the SCHC ACK format and the Abort formats.</t>

<t>A SCHC Fragment conforms to the general format shown in <xref target="Fig-FragFormat"/>.
It comprises a SCHC Fragment Header and a SCHC Fragment Payload.
In addition, the last SCHC Fragment carries as many padding bits as needed to fill up an L2 Word.
The SCHC Fragment Payload carries a subset of the SCHC Packet.
The SCHC Fragment is the data unit passed on to the L2 for transmission.</t>

<figure title="SCHC Fragment general format. Presence of a padding field is optional" anchor="Fig-FragFormat"><artwork><![CDATA[
+-----------------+-----------------------+~~~~~~~~~~~~~~~~~~~~~
| Fragment Header |   Fragment payload    | padding (as needed)
+-----------------+-----------------------+~~~~~~~~~~~~~~~~~~~~~
]]></artwork></figure>

<section anchor="fragments-that-are-not-the-last-one" title="Fragments that are not the last one">

<t>In ACK-Always or ACK-on-Error, SCHC Fragments except the last one SHALL conform to the detailed format defined in
<xref target="Fig-NotLastWin"/>.</t>

<figure title="Fragment Detailed Format for Fragments except the Last One, ACK-Always and ACK-on-Error" anchor="Fig-NotLastWin"><artwork><![CDATA[
 |----- Fragment Header -----|
           |-- T --|1|-- N --|
 +-- ... --+- ... -+-+- ... -+--------...-------+
 | Rule ID | DTag  |W|  FCN  | Fragment payload |
 +-- ... --+- ... -+-+- ... -+--------...-------+

]]></artwork></figure>

<t>In the No-ACK mode, SCHC Fragments except the last one SHALL conform to the detailed format defined in <xref target="Fig-NotLast"/>.</t>

<figure title="Fragment Detailed Format for Fragments except the Last One, No-ACK mode" anchor="Fig-NotLast"><artwork><![CDATA[
 |---- Fragment Header ----|
           |-- T --|-- N --|
 +-- ... --+- ... -+- ... -+--------...-------+
 | Rule ID |  DTag |  FCN  | Fragment payload |
 +-- ... --+- ... -+- ... -+--------...-------+
            

]]></artwork></figure>

<t>The total size of the fragment header is not necessarily a multiple of the L2 Word size.
To build the fragment payload, SCHC F/R MUST take from the SCHC Packet a number of bits that makes the SCHC Fragment an exact multiple of L2 Words. As a consequence, no padding bit is used for these fragments.</t>

<section anchor="all-0-fragment" title="All-0 fragment">

<t>The All-0 format is used for sending the last SCHC Fragment of a window that is not the last window of the SCHC Packet.</t>

<figure title="All-0 fragment detailed format" anchor="Fig-All0"><artwork><![CDATA[
|----- Fragment Header -----|
          |-- T --|1|-- N --|
+-- ... --+- ... -+-+- ... -+--------...-------+
| Rule ID | DTag  |W|  0..0 | Fragment payload |
+-- ... --+- ... -+-+- ... -+--------...-------+

]]></artwork></figure>
<t>This is simply an instance of the format described in <xref target="Fig-NotLastWin"/>.
An All-0 fragment payload MUST be at least the size of an L2 Word. The rationale is that the All-0 empty fragment (see <xref target="All0Empty"/>)
needs to be distinguishable from the All-0 regular fragment, even in the presence of padding.</t>

</section>
<section anchor="All0Empty" title="All-0 empty fragment">

<t>The All-0 empty fragment is an exception to the All-0 fragment described above.
It is used by a sender to request the retransmission of a SCHC ACK by the receiver. It is only
used in ACK-Always mode.</t>

<figure title="All-0 empty fragment detailed format" anchor="Fig-All0empty"><artwork><![CDATA[
|----- Fragment Header -----|
          |-- T --|1|-- N --|
+-- ... --+- ... -+-+- ... -+~~~~~~~~~~~~~~~~~~~~~
| Rule ID | DTag  |W|  0..0 | padding (as needed)      (no payload)
+-- ... --+- ... -+-+- ... -+~~~~~~~~~~~~~~~~~~~~~

]]></artwork></figure>
<t>The size of the All-0 fragment header is generally not a multiple of the L2 Word size.
Therefore, an All-0 empty fragment generally needs padding bits. The padding bits are always less than an L2 Word.</t>

<t>Since an All-0 payload MUST be at least the size of an L2 Word, a receiver can distinguish an All-0 empty fragment from a regular All-0 fragment, even in the presence of padding.</t>

</section>
</section>
<section anchor="all-1-fragment" title="All-1 fragment">

<t>In the No-ACK mode, the last SCHC Fragment of a SCHC Packet SHALL contain a SCHC Fragment header that conforms to
the detailed format shown in <xref target="Fig-Last"/>.</t>

<figure title="All-1 Fragment Detailed Format for the Last Fragment, No-ACK mode" anchor="Fig-Last"><artwork><![CDATA[
|---------- Fragment Header ----------|
             |-- T --|-N=1-| 
+---- ... ---+- ... -+-----+-- ... --+---...---+~~~~~~~~~~~~~~~~~~~~~
|   Rule ID  | DTag  |  1  |   MIC   | payload | padding (as needed)
+---- ... ---+- ... -+-----+-- ... --+---...---+~~~~~~~~~~~~~~~~~~~~~

]]></artwork></figure>
<t>In ACK-Always or ACK-on-Error mode, the last fragment of a SCHC Packet SHALL contain a SCHC Fragment header that conforms to
the detailed format shown in <xref target="Fig-LastWinMode"/>.</t>

<figure title="All-1 Fragment Detailed Format for the Last Fragment, ACK-Always or ACK-on-Error" anchor="Fig-LastWinMode"><artwork><![CDATA[
|---------- Fragment Header ----------|
          |-- T --|1|-- N --|
+-- ... --+- ... -+-+- ... -+-- ... --+---...---+~~~~~~~~~~~~~~~~~~~~~
| Rule ID | DTag  |W| 11..1 |   MIC   | payload | padding (as needed)
+-- ... --+- ... -+-+- ... -+-- ... --+---...---+~~~~~~~~~~~~~~~~~~~~~
                      (FCN)
]]></artwork></figure>
<t>The total size of the All-1 SCHC Fragment header is generally not a multiple of the L2 Word size.
The All-1 fragment being the last one of the SCHC Packet, SCHC F/R cannot freely choose the payload size to align the fragment to an L2 Word.
Therefore, padding bits are generally appended to the All-1 fragment to make it a multiple of L2 Words in size.</t>

<t>The MIC MUST be computed on the payload and the padding bits. The rationale is that the SCHC Reassembler needs to check the correctness of
the reassembled SCHC packet but has no way of knowing where the payload ends.
Indeed, the latter requires decompressing the SCHC Packet.</t>

<t>An All-1 fragment payload MUST be at least the size of an L2 Word.
The rationale is that the All-1 empty fragment (see <xref target="All1Empty"/>) needs to be distinguishable from the All-1 fragment, even in the presence of padding.
This may entail saving an L2 Word from the previous fragment payload to make the payload of this All-1 fragment big enough.</t>

<t>The values for N, T and the length of MIC are not specified in this document, and SHOULD be determined in other documents (e.g. technology-specific profile documents).</t>

<t>The length of the MIC MUST be at least an L2 Word size. The rationale is to be able to distinguish a Sender-Abort (see <xref target="Aborts"/>) from an All-1 Fragment, even in the presence of padding.</t>

<section anchor="All1Empty" title="All-1 empty fragment">

<t>The All-1 empty fragment format is an All-1 fragment format without a payload (see <xref target="Fig-All1retries"/>).
It is used by a fragment sender, in either ACK-Always or ACK-on-Error, to request a retransmission of the SCHC ACK for the All-1 window.</t>

<t>The size of the All-1 empty fragment header is generally not a multiple of the L2 Word size. Therefore, an All-1 empty fragment generally needs padding bits. The padding bits are always less than an L2 Word.</t>

<t>Since an All-1 payload MUST be at least the size of an L2 Word, a receiver can distinguish an All-1 empty fragment from a regular All-1 fragment, even in the presence of padding.</t>

<figure title="All-1 for Retries format, also called All-1 empty" anchor="Fig-All1retries"><artwork><![CDATA[
|---------- Fragment Header --------|
          |-- T --|1|-- N --|
+-- ... --+- ... -+-+- ... -+- ... -+~~~~~~~~~~~~~~~~~~~
| Rule ID | DTag  |W|  1..1 |  MIC  | padding as needed (no payload)
+-- ... --+- ... -+-+- ... -+- ... -+~~~~~~~~~~~~~~~~~~~

]]></artwork></figure>

</section>
</section>
<section anchor="schc-ack-format" title="SCHC ACK format">

<t>The format of a SCHC ACK that acknowledges a window that is not the last one (denoted as All-0 window) is shown in <xref target="Fig-ACK-Format"/>.</t>

<figure title="ACK format for All-0 windows" anchor="Fig-ACK-Format"><artwork><![CDATA[
            |-- T --|1|
+---- ... --+- ... -+-+---- ... -----+
|  Rule ID  |  DTag |W|encoded Bitmap| (no payload)
+---- ... --+- ... -+-+---- ... -----+

]]></artwork></figure>

<t>To acknowledge the last window of a packet (denoted as All-1 window), a C bit (i.e. MIC checked) following the W bit is set
to 1 to indicate that the MIC check computed by the receiver matches the MIC present in the All-1 fragment. If the MIC check fails, the C bit is set to 0 and the Bitmap for the All-1 window follows.</t>

<figure title="Format of a SCHC ACK for All-1 windows" anchor="Fig-ACK-Format1"><artwork><![CDATA[
            |-- T --|1|1|
+---- ... --+- ... -+-+-+
|  Rule ID  |  DTag |W|1| (MIC correct)
+---- ... --+- ... -+-+-+

+---- ... --+- ... -+-+-+----- ... -----+
|  Rule ID  |  DTag |W|0|encoded Bitmap |(MIC Incorrect)
+---- ... --+- ... -+-+-+----- ... -----+
                       C

]]></artwork></figure>

<t>The Rule ID and Dtag values in the SCHC ACK messages MUST be identical to the ones used in the SCHC Fragments that are being acknowledged. This allows matching the SCHC ACK and the corresponding SCHC Fragments.</t>

<t>The Bitmap carries information on the reception of each fragment of the window as described in <xref target="FragTools"/>.</t>

<t>See <xref target="SCHCParams"/> for a discussion on the size of the Bitmaps.</t>

<t>In order to reduce the SCK ACK size, the Bitmap that is actually transmitted is shortened (“encoded”) as explained in <xref target="Bitmapopt"/>.</t>

<section anchor="Bitmapopt" title="Bitmap Encoding">
<t>The SCHC ACK that is transmitted is truncated by applying the following algorithm: the longest contiguous sequence of bits that starts at an L2 Word boundary of the SCHC ACK,
where the bits of that sequence are all set to 1, are all part of the Bitmap and finish exactly at the end of the Bitmap, if one such sequence exists, MUST NOT be transmitted.
Because the SCHC Fragment sender knows the actual Bitmap size, it can reconstruct the original Bitmap from the shortened bitmap.</t>

<t>When shortening effectively takes place, the SCHC ACK is a multiple of L2 Words, and padding MUST NOT be appended.
When shortening does not happen, padding bits MUST be appended as needed to fill up the last L2 Word.</t>

<t><xref target="Fig-Localbitmap"/> shows an example where L2 Words are actually bytes and where the original Bitmap contains 17 bits, the last 15 of which are all set to 1.</t>

<figure title="A non-encoded Bitmap" anchor="Fig-Localbitmap"><artwork><![CDATA[
|--  SCHC ACK Header --|--------       Bitmap    --------|
|  Rule ID  |  DTag  |W|1|0|1|1|1|1|1|1|1|1|1|1|1|1|1|1|1|
     next L2 Word boundary ->|  next L2 Word |  next L2 Word |

]]></artwork></figure>

<t><xref target="Fig-transmittedbitmap"/> shows that the last 14 bits are not sent.</t>

<figure title="Optimized Bitmap format" anchor="Fig-transmittedbitmap"><artwork><![CDATA[
            |-- T --|1|
+---- ... --+- ... -+-+-+-+-+
|  Rule ID  |  DTag |W|1|0|1|
+---- ... --+- ... -+-+-+-+-+
    next L2 Word boundary ->|

]]></artwork></figure>

<t><xref target="Fig-Bitmap-Win"/> shows an example of a SCHC ACK with FCN ranging from 6 down to 0, where the Bitmap indicates that the second and the fifth SCHC Fragments have not been correctly received.</t>

<figure title="Example of a Bitmap before transmission, and the transmitted one, for a window that is not the last one" anchor="Fig-Bitmap-Win"><artwork><![CDATA[
                       6 5 4 3 2 1 0 (*)
            |-- T --|1|
+-----------+-------+-+-+-+-+-+-+-+-+
|  Rule ID  |  DTag |W|1|0|1|1|0|1|1|            Bitmap before tx
+-----------+-------+-+-+-+-+-+-+-+-+
next L2 Word boundary ->|<-- L2 Word -->|
    (*)=(FCN values)

+-----------+-------+-+-+-+-+-+-+-+-+~~~+
|  Rule ID  |  DTag |W|1|0|1|1|0|1|1|Pad|        Encoded Bitmap
+-----------+-------+-+-+-+-+-+-+-+-+~~~+
next L2 Word boundary ->|<-- L2 Word -->|


]]></artwork></figure>

<t><xref target="Fig-Bitmap-lastWin"/> shows an example of a SCHC ACK with FCN ranging from 6 down to 0, where MIC check has failed but the Bitmap
indicates that there is no missing SCHC Fragment.</t>

<figure title="Example of the Bitmap in ACK-Always or ACK-on-Error for the last window" anchor="Fig-Bitmap-lastWin"><artwork><![CDATA[
|- Fragmentation Header-|6 5 4 3 2 1 7 (*)
            |-- T --|1|
|  Rule ID  |  DTag |W|0|1|1|1|1|1|1|1|          Bitmap before tx
  next L2 Word boundary ->|<-- L2 Word -->|
                       C
+---- ... --+- ... -+-+-+-+
|  Rule ID  |  DTag |W|0|1|                      Encoded Bitmap
+---- ... --+- ... -+-+-+-+
  next L2 Word boundary ->|
   (*) = (FCN values indicating the order)

]]></artwork></figure>

</section>
</section>
<section anchor="Aborts" title="Abort formats">

<t>When a SCHC Fragment sender needs to abort the on-going fragmented SCHC Packet transmission, it sends a Sender-Abort.
The Sender-Abort format (see <xref target="Fig-All1Abort"/>) is a variation of the All-1 fragment, with neither a MIC nor a payload.
All-1 fragments contain at least a MIC. The absence of the MIC indicates a Sender-Abort.</t>

<figure title="Sender-Abort format. All FCN field bits in this format are set to 1" anchor="Fig-All1Abort"><artwork><![CDATA[
|--- Sender-Abort Header ---|
+--- ... ---+- ... -+-+-...-+~~~~~~~~~~~~~~~~~~~~~
|  Rule ID  | DTag  |W| FCN | padding (as needed)
+--- ... ---+- ... -+-+-...-+~~~~~~~~~~~~~~~~~~~~~

]]></artwork></figure>

<t>The size of the Sender-Abort header is generally not a multiple of the L2 Word size.
Therefore, a Sender-Abort generally needs padding bits.</t>

<t>Since an All-1 fragment MIC MUST be at least the size of an L2 Word, a receiver can distinguish a Sender-Abort from an All-1 fragment, even in the presence of padding.</t>

<t>When a SCHC Fragment receiver needs to abort the on-going fragmented SCHC Packet transmission, it transmits a Receiver-Abort.
The Receiver-Abort format is a variation on the SCHC ACK format, creating an exception in the encoded Bitmap algorithm.
As shown in <xref target="Fig-ACKabort"/>, a Receiver-Abort is coded as a SCHC ACK message with a shortened Bitmap set to 1 up to
the first L2 Word boundary, followed by an extra L2 Word full of 1’s.
Such a message never occurs in a regular acknowledgement and is detected as a Receiver-Abort.</t>

<t>The Rule ID and Dtag values in the Receive-Abort message MUST be identical to the ones used in the fragments of the SCHC Packet the transmission of which is being aborted.</t>

<t>A Receiver-Abort is aligned to L2 Words, by design. Therefore, padding MUST not be appended.</t>

<figure title="Receiver-Abort format" anchor="Fig-ACKabort"><artwork><![CDATA[
|- Receiver-Abort Header -|

+---- ... ----+-- ... --+-+-+-+-+-+-+-+-+-+-+-+-+
|   Rule ID   |   DTag  |W| 1..1|      1..1     |
+---- ... ----+-- ... --+-+-+-+-+-+-+-+-+-+-+-+-+
        next L2 Word boundary ->|<-- L2 Word -->|

]]></artwork></figure>

<t>Neither the Sender-Abort nor the Receiver-Abort messages are ever acknowledged or retransmitted.</t>

<t>Use cases for the Sender-Abort and Receiver-Abort messages are explained in <xref target="FragModes"/> or <xref target="FSM"/>.</t>

</section>
</section>
<section anchor="FragModes" title="Baseline mechanism">

<t>If after applying SCHC header compression (or when SCHC header compression is not possible) the SCHC Packet does not fit within the payload of a single L2 data unit, the SCHC Packet SHALL be broken into SCHC Fragments and the fragments SHALL be sent to the fragment receiver. The fragment receiver needs to identify all the SCHC Fragments that belong to a given SCHC Packet. To this end, the receiver SHALL use:</t>

<t><list style="symbols">
  <t>The sender’s L2 source address (if present),</t>
  <t>The destination’s L2 address (if present),</t>
  <t>Rule ID,</t>
  <t>DTag (if present).</t>
</list></t>

<t>Then, the fragment receiver MAY determine the SCHC Fragment reliability mode that is used for this SCHC Fragment based on the Rule ID in that fragment.</t>

<t>After a SCHC Fragment reception, the receiver starts constructing the SCHC Packet. It uses the FCN and the arrival order of each SCHC Fragment to determine the location of the individual fragments within the SCHC Packet. For example, the receiver MAY place the fragment payload within a payload reassembly buffer at the location determined from the FCN, the arrival order of the SCHC Fragments, and the fragment payload sizes. In ACK-on-Error or ACK-Always, the fragment receiver also uses the W bit in the received SCHC Fragments. Note that the size of the original, unfragmented packet cannot be determined from fragmentation headers.</t>

<t>Fragmentation functionality uses the FCN value to transmit the SCHC Fragments. It has a length of N bits where the All-1 and All-0 FCN values are used to control the fragmentation transmission. The rest of the FCN numbers MUST be assigned sequentially in a decreasing order, the first FCN of a window is RECOMMENDED to be MAX_WIND_FCN, i.e. the highest possible FCN value depending on the FCN number of bits.</t>

<t>In all modes, the last SCHC Fragment of a packet MUST contain a MIC which is used to check if there are errors or missing SCHC Fragments and MUST use the corresponding All-1 fragment format.  Note that a SCHC Fragment with an All-0 format is considered the last SCHC Fragment of the current window.</t>

<t>If the receiver receives the last fragment of a SCHC Packet (All-1), it checks for the integrity of the reassembled SCHC Packet, based on the MIC received. In No-ACK, if the integrity check indicates that the reassembled SCHC Packet does not match the original SCHC Packet (prior to fragmentation), the reassembled SCHC Packet MUST be discarded. In ACK-on-Error or ACK-Always, a MIC check is also performed by the fragment receiver after reception of each subsequent SCHC Fragment retransmitted after the first MIC check.</t>

<t>Notice that the SCHC ACK for the All-1 window carries one more bit (the C bit) compared to the SCHC ACKs for the previous windows. See <xref target="SCHCParams"/> for a discussion on various options to deal with this “bump” in the SCHC ACK.</t>

<t>There are three reliability modes: No-ACK, ACK-Always and ACK-on-Error. In ACK-Always and ACK-on-Error, a jumping window protocol uses two windows alternatively, identified as 0 and 1.  A SCHC Fragment with all FCN bits set to 0 (i.e. an All-0 fragment) indicates that the window is over (i.e. the SCHC Fragment is the last one of the window) and allows to switch from one window to the next one.  The All-1 FCN in a SCHC Fragment indicates that it is the last fragment of the packet being transmitted and therefore there will not be another window for this packet.</t>

<section anchor="No-ACK-subsection" title="No-ACK">
<t>In the No-ACK mode, there is no feedback communication from the fragment receiver. The sender will send all the SCHC fragments of a packet without any possibility of knowing if errors or losses have occurred. As, in this mode, there is no need to identify specific SCHC Fragments, a one-bit FCN MAY be used. Consequently, the FCN All-0 value is used in all SCHC fragments except the last one, which carries an All-1 FCN and the MIC. The receiver will wait for SCHC Fragments and will set the Inactivity timer. The receiver will use the MIC contained in the last SCHC Fragment to check for errors.
When the Inactivity Timer expires or if the MIC check indicates that the reassembled packet does not match the original one, the receiver will release all resources allocated to reassembling this packet. The initial value of the Inactivity Timer will be determined based on the characteristics of the underlying LPWAN technology and will be defined in other documents (e.g. technology-specific profile documents).</t>

</section>
<section anchor="ACK-Always-subsection" title="ACK-Always">
<t>In ACK-Always, the sender transmits SCHC Fragments by using the two-jumping-windows procedure. A delay between each SCHC fragment can be added to respect local regulations or other constraints imposed by the applications.  Each time a SCHC fragment is sent, the FCN is decreased by one.  When the FCN reaches value 0, if there are more SCHC Fragments remaining to be sent, the sender transmits the last SCHC Fragment of this window using the All-0 fragment format. It then starts the Retransmission Timer and waits for a SCHC ACK. Otherwise, if FCN reaches 0 and the sender transmits the last SCHC Fragment of the SCHC Packet, the sender uses the All-1 fragment format, which includes a MIC. The sender sets the Retransmission Timer and waits for the SCHC ACK to know if transmission errors have occurred.</t>

<t>The Retransmission Timer is dimensioned based on the LPWAN technology in use. When the Retransmission Timer expires, the sender sends an All-0 empty (resp. All-1 empty) fragment to request again the SCHC ACK for the window that ended with the All-0 (resp. All-1) fragment just sent. The window number is not changed.</t>

<t>After receiving an All-0 or All-1 fragment, the receiver sends a SCHC ACK with an encoded Bitmap reporting whether any SCHC fragments have been lost or not. When the sender receives a SCHC ACK, it checks the W bit carried by the SCHC ACK. Any SCHC ACK carrying an unexpected W bit value is discarded. If the W bit value of the received SCHC ACK is correct, the sender analyzes the rest of the SCHC ACK message, such as the encoded Bitmap and the MIC. If all the SCHC Fragments sent for this window have been well received, and if at least one more SCHC Fragment needs to be sent, the sender advances its sending window to the next window value and sends the next SCHC Fragments. If no more SCHC Fragments have to be sent, then the fragmented SCHC Packet transmission is finished.</t>

<t>However, if one or more SCHC Fragments have not been received as per the SCHC ACK (i.e. the corresponding bits are not set in the encoded Bitmap) then the sender resends the missing SCHC Fragments.  When all missing SCHC Fragments have been retransmitted, the sender starts the Retransmission Timer, even if an All-0 or an All-1 has not been sent as part of this retransmission and waits for a SCHC ACK. Upon receipt of the SCHC ACK, if one or more SCHC Fragments have not yet been received, the counter Attempts is increased and the sender resends the missing SCHC Fragments again. When Attempts reaches MAX_ACK_REQUESTS, the sender aborts the on-going fragmented SCHC Packet transmission by sending a Sender-Abort message and releases any resources for transmission of the packet. The sender also aborts an on-going fragmented SCHC Packet transmission when a failed MIC check is reported by the receiver or when a SCHC Fragment that has not been sent is reported in the encoded Bitmap.</t>

<t>On the other hand, at the beginning, the receiver side expects to receive window 0. Any SCHC Fragment received but not belonging to the current window is discarded.  All SCHC Fragments belonging to the correct window are accepted, and the actual SCHC Fragment number managed by the receiver is computed based on the FCN value.  The receiver prepares the encoded Bitmap to report the correctly received and the missing SCHC Fragments for the current window. After each SCHC Fragment is received, the receiver initializes the Inactivity Timer. When the Inactivity Timer expires, the transmission is aborted by the receiver sending a Receiver-Abort message.</t>

<t>When an All-0 fragment is received, it indicates that all the SCHC Fragments have been sent in the current window.  Since the sender is not obliged to always send a full window, some SCHC Fragment number not set in the receiver memory SHOULD not correspond to losses.  The receiver sends the corresponding SCHC ACK, the Inactivity Timer is set and the transmission of the 
next window by the sender can start.</t>

<t>If an All-0 fragment has been received and all SCHC Fragments of the current window have also been received, the receiver then expects a new Window and waits for the next SCHC Fragment.  Upon receipt of a SCHC Fragment, if the window value has not changed, the received SCHC Fragments are part of a retransmission. A receiver that has already received a SCHC Fragment SHOULD discard it, otherwise, it updates the encoded Bitmap.  If all the bits of the encoded Bitmap are set to one, the receiver MUST send a SCHC ACK without waiting for an All-0 fragment and the Inactivity Timer is initialized.</t>

<t>On the other hand, if the window value of the next received SCHC Fragment is set to the next expected window value, this means that the sender has received a correct encoded Bitmap reporting that all SCHC Fragments have been received.  The receiver then updates the value of the next expected window.</t>

<t>When an All-1 fragment is received, it indicates that the last SCHC Fragment of the packet has been sent.  Since the last
window is not always full, the MIC will be used by the receiver to detect if all SCHC Fragments of the packet have been received.  A correct
MIC indicates the end of the transmission but the receiver MUST stay alive for an Inactivity Timer period to answer to any
empty All-1 fragments the sender MAY send if SCHC ACKs sent by the receiver are lost. If the MIC is incorrect, some SCHC Fragments have been lost.
The receiver sends the SCHC ACK regardless of successful fragmented SCHC Packet reception or not, the Inactitivity Timer is set.
In case of an incorrect MIC, the receiver waits for SCHC Fragments belonging to the same window. After MAX_ACK_REQUESTS, the receiver will abort
the on-going fragmented SCHC Packet transmission by transmitting a the Receiver-Abort format. The receiver also aborts upon Inactivity Timer expiration by sending a Receiver-Abort message.</t>

<t>If the sender receives a SCK ACK with a Bitmap containing a bit set for a SCHC Fragment that it has not sent during the
transmission phase of this window, it MUST abort the whole fragmentation and transmission of this SCHC Packet.</t>

</section>
<section anchor="ACK-on-Error-subsection" title="ACK-on-Error">
<t>The senders behavior for ACK-on-Error and ACK-Always are similar. The main difference is that in ACK-on-Error the SCHC ACK 
with the encoded Bitmap is not sent at the end of each window but only when at least one SCHC Fragment of the current window 
has been lost. Except for the last window where a SCHC ACK MUST be sent to finish the transmission.</t>

<t>In ACK-on-Error, the Retransmission Timer expiration is considered as a positive acknowledgement for all windows but the last one.
This timer is set after sending an All-0 or an All-1 fragment. For an All-0 fragment, on timer expiration, the sender resumes operation and sends the SCHC Fragments of the next window.</t>

<t>If the sender receives a SCHC ACK, it checks the window value. SCHC ACKs with an unexpected window number are discarded. If
the window number on the received encoded Bitmap is correct, the sender verifies if the receiver has received all SCHC 
fragments of the current window.  When at least one SCHC Fragment has been lost, the counter Attempts is increased by one and 
the sender resends the missing SCHC Fragments again.  When Attempts reaches MAX_ACK_REQUESTS, the sender sends a Sender-Abort
message and releases all resources for the on-going fragmented SCHC Packet transmission.  When the retransmission of the
missing SCHC Fragments is finished, the sender starts listening for a SCHC ACK (even if an All-0 or an All-1 has not been
sent during the retransmission) and initializes the Retransmission Timer.</t>

<t>After sending an All-1 fragment, the sender listens
for a SCHC ACK, initializes Attempts, and starts the Retransmission Timer. If the Retransmission Timer expires, Attempts is
increased by one and an empty All-1 fragment is sent to request the SCHC ACK for the last window. If Attempts reaches 
MAX_ACK_REQUESTS, the sender aborts the on-going fragmented SCHC Packet transmission by transmitting the Sender-Abort
fragment.</t>

<t>At the end of any window, if the sender receives a SCK ACK with a Bitmap containing a bit set for a SCHC Fragment that it has not sent during the
transmission phase of that window, it MUST abort the whole fragmentation and transmission of this SCHC Packet.</t>

<t>Unlike the sender, the receiver for ACK-on-Error has a larger amount of differences compared with ACK-Always.  First, a SCHC
ACK is not sent unless there is a lost SCHC Fragment or an unexpected behavior. With the exception of the last window, where 
a SCHC ACK is always sent regardless of SCHC Fragment losses or not.
The receiver starts by expecting SCHC Fragments from window 0 and maintains the information regarding which SCHC Fragments it
receives.  After receiving a SCHC Fragment, the Inactivity Timer is set. If no further SCHC Fragment are received and the
Inactivity Timer expires, the SCHC Fragment receiver aborts the on-going fragmented SCHC Packet transmission by transmitting
the Receiver-Abort data unit.</t>

<t>Any SCHC Fragment not belonging to the current window is discarded. The actual SCHC Fragment number is computed based on the
FCN value.  When an All-0 fragment is received and all SCHC Fragments have been received, the receiver updates the expected
window value and expects a new window and waits for the next SCHC Fragment.<vspace />
If the window value of the next SCHC Fragment has not changed, the received SCHC Fragment is a retransmission. A receiver
that has already received a Fragment discard it. If all SCHC Fragments of a window (that is not the last one) have been
received, the receiver does not send a SCHC ACK. While the receiver waits for the next window and if the window value is set
to the next value, and if an All-1 fragment with the next value window arrived the receiver knows that the last SCHC Fragment 
of the packet has been sent.  Since the last window is not always full, the MIC will be used to detect if all SCHC Fragments 
of the window have been received.  A correct MIC check indicates the end of the fragmented SCHC Packet transmission. An ACK
is sent by the SCHC Fragment receiver. In case of an incorrect MIC, the receiver waits for SCHC Fragments belonging to the 
same window or the expiration of the Inactivity Timer. The latter will lead the receiver to abort the on-going SCHC 
fragmented packet transmission by transmitting the Receiver-Abort message.</t>

<t>If, after receiving an All-0 fragment the receiver missed some SCHC Fragments, the receiver uses a SCHC ACK with the encoded
Bitmap to ask the retransmission of the missing fragments and expect to receive SCHC Fragments with the actual window. While
waiting the retransmission an All-0 empty fragment is received, the receiver sends again the SCHC ACK with the encoded 
Bitmap, if the SCHC Fragments received belongs to another window or an All-1 fragment is received, the transmission is 
aborted by sending a Receiver-Abort fragment. Once it has received all the missing fragments it waits for the next window 
fragments.</t>

</section>
</section>
<section anchor="supporting-multiple-window-sizes" title="Supporting multiple window sizes">

<t>For ACK-Always or ACK-on-Error, implementers MAY opt to support a single window size or multiple window sizes.  The latter, when feasible, may provide performance optimizations.  For example, a large window size SHOULD be used for packets that need to be carried by a large number of SCHC Fragments. However, when the number of SCHC Fragments required to carry a packet is low, a smaller window size, and thus a shorter Bitmap, MAY be sufficient to provide feedback on all SCHC Fragments. If multiple window sizes are supported, the Rule ID MAY be used to signal the window size in use for a specific packet transmission.</t>

<t>Note that the same window size MUST be used for the transmission of all SCHC Fragments that belong to the same SCHC Packet.</t>

</section>
<section anchor="downlink-schc-fragment-transmission" title="Downlink SCHC Fragment transmission">

<t>In some LPWAN technologies, as part of energy-saving techniques, downlink transmission is only possible immediately after an uplink transmission. In order to avoid potentially high delay in the downlink transmission of a fragmented SCHC Packet, the SCHC Fragment receiver MAY perform an uplink transmission as soon as possible after reception of a SCHC Fragment that is not the last one. Such uplink transmission MAY be triggered by the L2 (e.g. an L2 ACK sent in response to a SCHC Fragment encapsulated in a L2 frame that requires an L2 ACK) or it MAY be triggered from an upper layer.</t>

<t>For downlink transmission of a fragmented SCHC Packet in ACK-Always mode, the SCHC Fragment receiver MAY support timer-based SCHC ACK retransmission. In this mechanism, the SCHC Fragment receiver initializes and starts a timer (the Inactivity Timer is used) after the transmission of a SCHC ACK, except when the SCHC ACK is sent in response to the last SCHC Fragment of a packet (All-1 fragment). In the latter case, the SCHC Fragment receiver does not start a timer after transmission of the SCHC ACK.</t>

<t>If, after transmission of a SCHC ACK that is not an All-1 fragment, and before expiration of the corresponding Inactivity timer, the SCHC Fragment receiver receives a SCHC Fragment that belongs to the current window (e.g. a missing SCHC Fragment from the current window) or to the next window, the Inactivity timer for the SCHC ACK is stopped. However, if the Inactivity timer expires, the SCHC ACK is resent and the Inactivity timer is reinitialized and restarted.</t>

<t>The default initial value for the Inactivity timer, as well as the maximum number of retries for a specific SCHC ACK, denoted MAX_ACK_RETRIES, are not defined in this document, and need to be defined in other documents (e.g. technology-specific profiles). The initial value of the Inactivity timer is expected to be greater than that of the Retransmission timer, in order to make sure that a (buffered) SCHC Fragment to be retransmitted can find an opportunity for that transmission.</t>

<t>When the SCHC Fragment sender transmits the All-1 fragment, it starts its Retransmission Timer with a large timeout value (e.g. several times that of the initial Inactivity timer). If a SCHC ACK is received before expiration of this timer, the SCHC Fragment sender retransmits any lost SCHC Fragments reported by the SCHC ACK, or if the SCHC ACK confirms successful reception of all SCHC Fragments of the last window, the transmission of the fragmented SCHC Packet is considered complete. If the timer expires, and no SCHC ACK has been received since the start of the timer, the SCHC Fragment sender assumes that the All-1 fragment has been successfully received (and possibly, the last SCHC ACK has been lost: this mechanism assumes that the retransmission timer for the All-1 fragment is long enough to allow several SCHC ACK retries if the All-1 fragment has not;been received by the SCHC Fragment receiver, and it also assumes that it is unlikely that several ACKs become all lost).</t>

</section>
</section>
<section anchor="Padding" title="Padding management">

<t>SCHC C/D and SCHC F/R operate on bits, not bytes. SCHC itself does not have any alignment prerequisite.
If the Layer 2 below SCHC constrains the L2 Data Unit to align to some boundary, called L2 Words (for example, bytes),
SCHC will meet that constraint and produce messages with the correct alignement.
This may entail adding extra bits (called padding bits).</t>

<t>When padding occurs, the number of appended bits is strictly less than the L2 Word size.</t>

<t>Padding happens at most once for each Packet going through the full SCHC chain, i.e. Compression and (optionally) SCHC Fragmentation (see <xref target="Fig-IntroLayers"/>).
If a SCHC Packet is sent unfragmented (see <xref target="Fig-Operations-Pad"/>), it is padded as needed.
If a SCHC Packet is fragmented, only the last fragment is padded as needed.</t>

<figure title="SCHC operations, including padding as needed" anchor="Fig-Operations-Pad"><artwork><![CDATA[
A packet (e.g. an IPv6 packet)
         |                                           ^ (padding bits
         v                                           |       dropped)
+------------------+                      +--------------------+
| SCHC Compression |                      | SCHC Decompression |
+------------------+                      +--------------------+
         |                                           ^
         |   If no fragmentation                     |
         +---- SCHC Packet + padding as needed ----->|
         |                                           | (MIC checked
         v                                           |  and removed)
+--------------------+                       +-----------------+
| SCHC Fragmentation |                       | SCHC Reassembly |
+--------------------+                       +-----------------+
     |       ^                                   |       ^
     |       |                                   |       |
     |       +------------- SCHC ACK ------------+       |
     |                                                   |
     +--------------- SCHC Fragments --------------------+
     +--- last SCHC Frag with MIC + padding as needed ---+

        SENDER                                    RECEIVER


]]></artwork></figure>

<t>Each technology-specific document MUST specify the size of the L2 Word.
The L2 Word might actually be a single bit, in which case at most zero bits of padding will be appended to any message, i.e. no padding will take place at all.</t>

</section>
<section anchor="schc-compression-for-ipv6-and-udp-headers" title="SCHC Compression for IPv6 and UDP headers">

<t>This section lists the different IPv6 and UDP header fields and how they can be compressed.</t>

<section anchor="ipv6-version-field" title="IPv6 version field">

<t>This field always holds the same value. Therefore, in the Rule, TV is set to 6, MO to “equal”
and CDA to “not-sent”.</t>

</section>
<section anchor="ipv6-traffic-class-field" title="IPv6 Traffic class field">

<t>If the DiffServ field does not vary and is known by both sides, the Field Descriptor in the Rule SHOULD contain a TV with
this well-known value, an “equal” MO and a “not-sent” CDA.</t>

<t>Otherwise, two possibilities can be considered depending on the variability of the value:</t>

<t><list style="symbols">
  <t>One possibility is to not compress the field and send the original value. In the Rule, TV is not set to any particular value, MO is set to “ignore” and CDA is set to “value-sent”.</t>
  <t>If some upper bits in the field are constant and known, a better option is to only send the LSBs. In the Rule, TV is set to a value with the stable known upper part, MO is set to MSB(x) and CDA to LSB(y).</t>
</list></t>

</section>
<section anchor="flow-label-field" title="Flow label field">

<t>If the Flow Label field does not vary and is known by both sides, the Field Descriptor in the Rule SHOULD contain a TV with this well-known value, an “equal” MO and a “not-sent” CDA.</t>

<t>Otherwise, two possibilities can be considered:</t>

<t><list style="symbols">
  <t>One possibility is to not compress the field and send the original value. In the Rule, TV is not set to any particular value, MO is set to “ignore” and CDA is set to “value-sent”.</t>
  <t>If some upper bits in the field are constant and known, a better option is to only send the LSBs. In the Rule, TV is set to a value with the stable known upper part, MO is set to MSB(x) and CDA to LSB(y).</t>
</list></t>

</section>
<section anchor="payload-length-field" title="Payload Length field">

<t>This field can be elided for the transmission on the LPWAN network. The SCHC C/D recomputes the original payload length value. In the Field Descriptor, TV is not set, MO is set to “ignore” and CDA is “compute-IPv6-length”.</t>

<t>If the payload length needs to be sent and does not need to be coded in 16 bits, the TV can be set to 0x0000, the MO set to MSB(16-s) where ‘s’ is the number of bits to code the maximum length, and CDA is set to LSB(s).</t>

</section>
<section anchor="next-header-field" title="Next Header field">

<t>If the Next Header field does not vary and is known by both sides, the Field Descriptor in the Rule SHOULD contain a TV with
this Next Header value, the MO SHOULD be “equal” and the CDA SHOULD be “not-sent”.</t>

<t>Otherwise, TV is not set in the Field Descriptor, MO is set to “ignore” and CDA is set to “value-sent”. Alternatively, a matching-list MAY also be used.</t>

</section>
<section anchor="hop-limit-field" title="Hop Limit field">

<t>The field behavior for this field is different for Uplink and Downlink. In Uplink, since there is no IP forwarding between the Dev and the SCHC C/D, the value is relatively constant. On the other hand, the Downlink value depends of Internet routing and MAY change more frequently. One neat way of processing this field is to use the Direction Indicator (DI) to distinguish both directions:</t>

<t><list style="symbols">
  <t>in the Uplink, elide the field: the TV in the Field Descriptor is set to the known constant value, the MO is set to “equal” and the CDA is set to “not-sent”.</t>
  <t>in the Downlink, send the value: TV is not set, MO is set to “ignore” and CDA is set to “value-sent”.</t>
</list></t>

</section>
<section anchor="ipv6-addresses-fields" title="IPv6 addresses fields">

<t>As in 6LoWPAN <xref target="RFC4944"/>, IPv6 addresses are split into two 64-bit long fields; one for the prefix and one for the Interface Identifier (IID). These fields SHOULD be compressed. To allow for a single Rule being used for both directions, these values are identified by their role (DEV or APP) and not by their position in the frame (source or destination).</t>

<section anchor="ipv6-source-and-destination-prefixes" title="IPv6 source and destination prefixes">

<t>Both ends MUST be synchronized with the appropriate prefixes. For a specific flow, the source and destination prefixes can be unique and stored in the context. It can be either a link-local prefix or a global prefix. In that case, the TV for the
source and destination prefixes contain the values, the MO is set to “equal” and the CDA is set to “not-sent”.</t>

<t>If the Rule is intended to compress packets with different prefix values, match-mapping SHOULD be used. The different prefixes are listed in the TV, the MO is set to “match-mapping” and the CDA is set to “mapping-sent”. See <xref target="Fig-fields"/></t>

<t>Otherwise, the TV contains the prefix, the MO is set to “equal” and the CDA is set to “value-sent”.</t>

</section>
<section anchor="ipv6-source-and-destination-iid" title="IPv6 source and destination IID">

<t>If the DEV or APP IID are based on an LPWAN address, then the IID can be reconstructed with information coming from the LPWAN header. In that case, the TV is not set, the MO is set to “ignore” and the CDA is set to “DevIID” or “AppIID”. Note that the
LPWAN technology generally carries a single identifier corresponding to the DEV. Therefore AppIID cannot be used.</t>

<t>For privacy reasons or if the DEV address is changing over time, a static value that is not equal to the DEV address SHOULD be used. In that case, the TV contains the static value, the MO operator is set to “equal” and the CDF is set to “not-sent”.
<xref target="RFC7217"/> provides some methods that MAY be used to derive this static identifier.</t>

<t>If several IIDs are possible, then the TV contains the list of possible IIDs, the MO is set to “match-mapping” and the CDA is set to “mapping-sent”.</t>

<t>It MAY also happen that the IID variability only expresses itself on a few bytes. In that case, the TV is set to the stable part of the IID, the MO is set to “MSB” and the CDA is set to “LSB”.</t>

<t>Finally, the IID can be sent in extenso on the LPWAN. In that case, the TV is not set, the MO is set to “ignore” and the CDA is set to “value-sent”.</t>

</section>
</section>
<section anchor="ipv6-extensions" title="IPv6 extensions">

<t>No Rule is currently defined that processes IPv6 extensions. If such extensions are needed, their compression/decompression Rules can be based on the MOs and CDAs described above.</t>

</section>
<section anchor="udp-source-and-destination-port" title="UDP source and destination port">

<t>To allow for a single Rule being used for both directions, the UDP port values are identified by their role (DEV or APP) and not by their position in the frame (source or destination). The SCHC C/D MUST be aware of the traffic direction (Uplink, Downlink) to select the appropriate field. The following Rules apply for DEV and APP port numbers.</t>

<t>If both ends know the port number, it can be elided. The TV contains the port number, the MO is set to “equal” and the CDA is set to “not-sent”.</t>

<t>If the port variation is on few bits, the TV contains the stable part of the port number, the MO is set to “MSB” and the CDA is set to “LSB”.</t>

<t>If some well-known values are used,  the TV can contain the list of these values, the MO is set to “match-mapping” and the CDA is set to “mapping-sent”.</t>

<t>Otherwise the port numbers are sent over the LPWAN. The TV is not set, the MO is set to “ignore” and the CDA is set to “value-sent”.</t>

</section>
<section anchor="udp-length-field" title="UDP length field">

<t>The UDP length can be computed from the received data. In that case, the TV is not set, the MO is set to “ignore” and the CDA is set to “compute-length”.</t>

<t>If the payload is small, the TV can be set to 0x0000, the MO set to “MSB” and the CDA to “LSB”.</t>

<t>In other cases, the length SHOULD be sent and the CDA is replaced by “value-sent”.</t>

</section>
<section anchor="udp-checksum-field" title="UDP Checksum field">

<t>The UDP checksum operation is mandatory with IPv6 <xref target="RFC8200"></xref> for most
packets but recognizes that there are exceptions to that default
behavior.</t>

<t>For instance, protocols that use UDP as a tunnel encapsulation may
enable zero-checksum mode for a specific port (or set of ports) for
sending and/or receiving. <xref target="RFC8200"></xref> also stipulates that any node
implementing zero-checksum mode must follow the requirements specified
in “Applicability Statement for the Use of IPv6 UDP Datagrams with
Zero Checksums” <xref target="RFC6936"></xref>.</t>

<t>6LoWPAN Header Compression <xref target="RFC6282"></xref> also authorizes to send UDP
datagram that are deprived of the checksum protection when an upper
layer guarantees the integrity of the UDP payload and pseudo-header
all the way between the compressor that elides the UDP checksum and
the decompressor that computes again it. A specific example of this is
when a Message Integrity Check (MIC) protects the compressed message
all along that path with a strength that is identical or better to
the UDP checksum.</t>

<t>In a similar fashion, this specification allows a SCHC compressor to
elide the UDP checks when another layer guarantees an identical or
better integrity protection for the UDP payload and the pseudo-header.
In this case, the TV is not set, the MO is set to “ignore” and the CDA is set to “compute-checksum”.</t>

<t>In particular, when SCHC fragmentation is used, a fragmentation MIC
of 2 bytes or more provides equal or better protection than the UDP
checksum; in that case, if the compressor is collocated with the
fragmentation point and the decompressor is collocated with the
packet reassembly point, then compressor MAY elide the UDP checksum.
Whether and when the UDP Checksum is elided is to be specified in the
technology-specific documents.</t>

<t>Since the compression happens before the fragmentation, implementors
should understand the risks when dealing with unprotected data below
the transport layer and take special care when manipulating that data.</t>

<t>In other cases, the checksum SHOULD be explicitly sent. The TV is not set, the MO is set to “ignore” and the CDA is set to “value-sent”.</t>

</section>
</section>
<section anchor="iana-considerations" title="IANA Considerations">

<t>This document has no request to IANA.</t>

</section>
<section anchor="security-considerations" title="Security considerations">

<section anchor="security-considerations-for-schc-compressiondecompression" title="Security considerations for SCHC Compression/Decompression">
<t>A malicious header compression could cause the reconstruction of a wrong packet that does not match with the original one. Such a corruption MAY be detected with end-to-end authentication and integrity mechanisms. Header Compression does not add more security problem than what is already needed in a transmission. For instance, to avoid an attack, never re-construct a packet bigger than some configured size (with 1500 bytes as generic default).</t>

</section>
<section anchor="security-considerations-for-schc-fragmentationreassembly" title="Security considerations for SCHC Fragmentation/Reassembly">
<t>This subsection describes potential attacks to LPWAN SCHC F/R and suggests possible countermeasures.</t>

<t>A node can perform a buffer reservation attack by sending a first SCHC Fragment to a target.  Then, the receiver will reserve buffer space for the IPv6 packet.  Other incoming fragmented SCHC Packets will be dropped while the reassembly buffer is occupied during the reassembly timeout.  Once that timeout expires, the attacker can repeat the same procedure, and iterate, thus creating a denial of service attack.
The (low) cost to mount this attack is linear with the number of buffers at the target node.  However, the cost for an attacker can be increased if individual SCHC Fragments of multiple packets can be stored in the reassembly buffer.  To further increase the attack cost, the reassembly buffer can be split into SCHC Fragment-sized buffer slots. Once a packet is complete, it is processed normally.  If buffer overload occurs, a receiver can discard packets based on the sender behavior, which MAY help identify which SCHC Fragments have been sent by an attacker.</t>

<t>In another type of attack, the malicious node is required to have overhearing capabilities.  If an attacker can overhear a SCHC Fragment, it can send a spoofed duplicate (e.g. with random payload) to the destination. If the LPWAN technology does not support suitable protection (e.g. source authentication and frame counters to prevent replay attacks), a receiver cannot distinguish legitimate from spoofed SCHC Fragments.  Therefore, the original IPv6 packet will be considered corrupt and will be dropped. To protect resource-constrained nodes from this attack, it has been proposed to establish a binding among the SCHC Fragments to be transmitted by a node, by applying content-chaining to the different SCHC Fragments, based on cryptographic hash functionality.  The aim of this technique is to allow a receiver to identify illegitimate SCHC Fragments.</t>

<t>Further attacks MAY involve sending overlapped fragments (i.e. comprising some overlapping parts of the original IPv6 datagram). Implementers SHOULD make sure that the correct operation is not affected by such event.</t>

<t>In ACK-on-Error, a malicious node MAY force a SCHC Fragment sender to resend a SCHC Fragment a number of times, with the aim to increase consumption of the SCHC Fragment sender’s resources. To this end, the malicious node MAY repeatedly send a fake ACK to the SCHC Fragment sender, with a Bitmap that reports that one or more SCHC Fragments have been lost. In order to mitigate this possible attack, MAX_ACK_RETRIES MAY be set to a safe value which allows to limit the maximum damage of the attack to an acceptable extent. However, note that a high setting for MAX_ACK_RETRIES benefits SCHC Fragment reliability modes, therefore the trade-off needs to be carefully considered.</t>

</section>
</section>
<section anchor="acknowledgements" title="Acknowledgements">

<t>Thanks to Carsten Bormann, Philippe Clavier, Eduardo Ingles Sanchez, Arunprabhu Kandasamy, Rahul Jadhav,
Sergio Lopez Bernal, Antony Markovski, Alexander Pelov, Pascal Thubert, Juan Carlos Zuniga, Diego Dujovne, Edgar Ramos, and
Shoichi Sakane for useful design consideration and comments.</t>

</section>


  </middle>

  <back>

    <references title='Normative References'>





<reference  anchor="RFC2119" target='https://www.rfc-editor.org/info/rfc2119'>
<front>
<title>Key words for use in RFCs to Indicate Requirement Levels</title>
<author initials='S.' surname='Bradner' fullname='S. Bradner'><organization /></author>
<date year='1997' month='March' />
<abstract><t>In many standards track documents several words are used to signify the requirements in the specification.  These words are often capitalized. This document defines these words as they should be interpreted in IETF documents.  This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t></abstract>
</front>
<seriesInfo name='BCP' value='14'/>
<seriesInfo name='RFC' value='2119'/>
<seriesInfo name='DOI' value='10.17487/RFC2119'/>
</reference>



<reference  anchor="RFC7217" target='https://www.rfc-editor.org/info/rfc7217'>
<front>
<title>A Method for Generating Semantically Opaque Interface Identifiers with IPv6 Stateless Address Autoconfiguration (SLAAC)</title>
<author initials='F.' surname='Gont' fullname='F. Gont'><organization /></author>
<date year='2014' month='April' />
<abstract><t>This document specifies a method for generating IPv6 Interface Identifiers to be used with IPv6 Stateless Address Autoconfiguration (SLAAC), such that an IPv6 address configured using this method is stable within each subnet, but the corresponding Interface Identifier changes when the host moves from one network to another.  This method is meant to be an alternative to generating Interface Identifiers based on hardware addresses (e.g., IEEE LAN Media Access Control (MAC) addresses), such that the benefits of stable addresses can be achieved without sacrificing the security and privacy of users.  The method specified in this document applies to all prefixes a host may be employing, including link-local, global, and unique-local prefixes (and their corresponding addresses).</t></abstract>
</front>
<seriesInfo name='RFC' value='7217'/>
<seriesInfo name='DOI' value='10.17487/RFC7217'/>
</reference>



<reference  anchor="RFC8174" target='https://www.rfc-editor.org/info/rfc8174'>
<front>
<title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
<author initials='B.' surname='Leiba' fullname='B. Leiba'><organization /></author>
<date year='2017' month='May' />
<abstract><t>RFC 2119 specifies common key words that may be used in protocol  specifications.  This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the  defined special meanings.</t></abstract>
</front>
<seriesInfo name='BCP' value='14'/>
<seriesInfo name='RFC' value='8174'/>
<seriesInfo name='DOI' value='10.17487/RFC8174'/>
</reference>




    </references>

    <references title='Informative References'>





<reference  anchor="RFC3385" target='https://www.rfc-editor.org/info/rfc3385'>
<front>
<title>Internet Protocol Small Computer System Interface (iSCSI) Cyclic Redundancy Check (CRC)/Checksum Considerations</title>
<author initials='D.' surname='Sheinwald' fullname='D. Sheinwald'><organization /></author>
<author initials='J.' surname='Satran' fullname='J. Satran'><organization /></author>
<author initials='P.' surname='Thaler' fullname='P. Thaler'><organization /></author>
<author initials='V.' surname='Cavanna' fullname='V. Cavanna'><organization /></author>
<date year='2002' month='September' />
</front>
<seriesInfo name='RFC' value='3385'/>
<seriesInfo name='DOI' value='10.17487/RFC3385'/>
</reference>



<reference  anchor="RFC4944" target='https://www.rfc-editor.org/info/rfc4944'>
<front>
<title>Transmission of IPv6 Packets over IEEE 802.15.4 Networks</title>
<author initials='G.' surname='Montenegro' fullname='G. Montenegro'><organization /></author>
<author initials='N.' surname='Kushalnagar' fullname='N. Kushalnagar'><organization /></author>
<author initials='J.' surname='Hui' fullname='J. Hui'><organization /></author>
<author initials='D.' surname='Culler' fullname='D. Culler'><organization /></author>
<date year='2007' month='September' />
<abstract><t>This document describes the frame format for transmission of IPv6 packets and the method of forming IPv6 link-local addresses and statelessly autoconfigured addresses on IEEE 802.15.4 networks. Additional specifications include a simple header compression scheme using shared context and provisions for packet delivery in IEEE 802.15.4 meshes.  [STANDARDS-TRACK]</t></abstract>
</front>
<seriesInfo name='RFC' value='4944'/>
<seriesInfo name='DOI' value='10.17487/RFC4944'/>
</reference>



<reference  anchor="RFC5795" target='https://www.rfc-editor.org/info/rfc5795'>
<front>
<title>The RObust Header Compression (ROHC) Framework</title>
<author initials='K.' surname='Sandlund' fullname='K. Sandlund'><organization /></author>
<author initials='G.' surname='Pelletier' fullname='G. Pelletier'><organization /></author>
<author initials='L-E.' surname='Jonsson' fullname='L-E. Jonsson'><organization /></author>
<date year='2010' month='March' />
<abstract><t>The Robust Header Compression (ROHC) protocol provides an efficient, flexible, and future-proof header compression concept.  It is designed to operate efficiently and robustly over various link technologies with different characteristics.</t><t>The ROHC framework, along with a set of compression profiles, was initially defined in RFC 3095.  To improve and simplify the ROHC specifications, this document explicitly defines the ROHC framework and the profile for uncompressed separately.  More specifically, the definition of the framework does not modify or update the definition of the framework specified by RFC 3095.</t><t>This specification obsoletes RFC 4995.  It fixes one interoperability issue that was erroneously introduced in RFC 4995, and adds some minor clarifications.  [STANDARDS-TRACK]</t></abstract>
</front>
<seriesInfo name='RFC' value='5795'/>
<seriesInfo name='DOI' value='10.17487/RFC5795'/>
</reference>



<reference  anchor="RFC6282" target='https://www.rfc-editor.org/info/rfc6282'>
<front>
<title>Compression Format for IPv6 Datagrams over IEEE 802.15.4-Based Networks</title>
<author initials='J.' surname='Hui' fullname='J. Hui' role='editor'><organization /></author>
<author initials='P.' surname='Thubert' fullname='P. Thubert'><organization /></author>
<date year='2011' month='September' />
<abstract><t>This document updates RFC 4944, &quot;Transmission of IPv6 Packets over IEEE 802.15.4 Networks&quot;.  This document specifies an IPv6 header compression format for IPv6 packet delivery in Low Power Wireless Personal Area Networks (6LoWPANs).  The compression format relies on shared context to allow compression of arbitrary prefixes.  How the information is maintained in that shared context is out of scope. This document specifies compression of multicast addresses and a framework for compressing next headers.  UDP header compression is specified within this framework.  [STANDARDS-TRACK]</t></abstract>
</front>
<seriesInfo name='RFC' value='6282'/>
<seriesInfo name='DOI' value='10.17487/RFC6282'/>
</reference>



<reference  anchor="RFC6936" target='https://www.rfc-editor.org/info/rfc6936'>
<front>
<title>Applicability Statement for the Use of IPv6 UDP Datagrams with Zero Checksums</title>
<author initials='G.' surname='Fairhurst' fullname='G. Fairhurst'><organization /></author>
<author initials='M.' surname='Westerlund' fullname='M. Westerlund'><organization /></author>
<date year='2013' month='April' />
<abstract><t>This document provides an applicability statement for the use of UDP transport checksums with IPv6.  It defines recommendations and requirements for the use of IPv6 UDP datagrams with a zero UDP checksum.  It describes the issues and design principles that need to be considered when UDP is used with IPv6 to support tunnel encapsulations, and it examines the role of the IPv6 UDP transport checksum.  The document also identifies issues and constraints for deployment on network paths that include middleboxes.  An appendix presents a summary of the trade-offs that were considered in evaluating the safety of the update to RFC 2460 that changes the use of the UDP checksum with IPv6.</t></abstract>
</front>
<seriesInfo name='RFC' value='6936'/>
<seriesInfo name='DOI' value='10.17487/RFC6936'/>
</reference>



<reference  anchor="RFC7136" target='https://www.rfc-editor.org/info/rfc7136'>
<front>
<title>Significance of IPv6 Interface Identifiers</title>
<author initials='B.' surname='Carpenter' fullname='B. Carpenter'><organization /></author>
<author initials='S.' surname='Jiang' fullname='S. Jiang'><organization /></author>
<date year='2014' month='February' />
<abstract><t>The IPv6 addressing architecture includes a unicast interface identifier that is used in the creation of many IPv6 addresses. Interface identifiers are formed by a variety of methods.  This document clarifies that the bits in an interface identifier have no meaning and that the entire identifier should be treated as an opaque value.  In particular, RFC 4291 defines a method by which the Universal and Group bits of an IEEE link-layer address are mapped into an IPv6 unicast interface identifier.  This document clarifies that those two bits are significant only in the process of deriving interface identifiers from an IEEE link-layer address, and it updates RFC 4291 accordingly.</t></abstract>
</front>
<seriesInfo name='RFC' value='7136'/>
<seriesInfo name='DOI' value='10.17487/RFC7136'/>
</reference>



<reference  anchor="RFC8200" target='https://www.rfc-editor.org/info/rfc8200'>
<front>
<title>Internet Protocol, Version 6 (IPv6) Specification</title>
<author initials='S.' surname='Deering' fullname='S. Deering'><organization /></author>
<author initials='R.' surname='Hinden' fullname='R. Hinden'><organization /></author>
<date year='2017' month='July' />
<abstract><t>This document specifies version 6 of the Internet Protocol (IPv6). It obsoletes RFC 2460.</t></abstract>
</front>
<seriesInfo name='STD' value='86'/>
<seriesInfo name='RFC' value='8200'/>
<seriesInfo name='DOI' value='10.17487/RFC8200'/>
</reference>



<reference  anchor="RFC8376" target='https://www.rfc-editor.org/info/rfc8376'>
<front>
<title>Low-Power Wide Area Network (LPWAN) Overview</title>
<author initials='S.' surname='Farrell' fullname='S. Farrell' role='editor'><organization /></author>
<date year='2018' month='May' />
<abstract><t>Low-Power Wide Area Networks (LPWANs) are wireless technologies with characteristics such as large coverage areas, low bandwidth, possibly very small packet and application-layer data sizes, and long battery life operation.  This memo is an informational overview of the set of LPWAN technologies being considered in the IETF and of the gaps that exist between the needs of those technologies and the goal of running IP in LPWANs.</t></abstract>
</front>
<seriesInfo name='RFC' value='8376'/>
<seriesInfo name='DOI' value='10.17487/RFC8376'/>
</reference>




    </references>


<section anchor="compressIPv6" title="SCHC Compression Examples">

<t>This section gives some scenarios of the compression mechanism for IPv6/UDP. The goal is to illustrate the behavior of SCHC.</t>

<t>The most common case using the mechanisms defined in this document will be a LPWAN Dev that embeds some applications running over CoAP. In this example, three flows are considered. The first flow is for the device management based
on CoAP using Link Local IPv6 addresses and UDP ports 123 and 124 for Dev and App, respectively.
The second flow will be a CoAP server for measurements done by the Device (using ports 5683) and Global IPv6 Address prefixes alpha::IID/64 to beta::1/64.
The last flow is for legacy applications using different ports numbers, the destination IPv6 address prefix is gamma::1/64.</t>

<t><xref target="FigStack"/> presents the protocol stack for this Device. IPv6 and UDP are represented with dotted lines since these protocols are compressed on the radio link.</t>

<figure title="Simplified Protocol Stack for LP-WAN" anchor="FigStack"><artwork><![CDATA[
 Management   Data
+----------+---------+---------+
|   CoAP   |  CoAP   | legacy  |
+----||----+---||----+---||----+
.   UDP    .  UDP    |   UDP   |
................................
.   IPv6   .  IPv6   .  IPv6   .
+------------------------------+
|    SCHC Header compression   |
|      and fragmentation       |
+------------------------------+
|      LPWAN L2 technologies   |
+------------------------------+
         DEV or NGW

]]></artwork></figure>

<t>Note that in some LPWAN technologies, only the Devs have a device ID.
Therefore, when such technologies are used, it is necessary to statically define an IID for the Link Local address for the SCHC C/D.</t>

<figure title="Context Rules" anchor="Fig-fields"><artwork><![CDATA[
Rule 0
 +----------------+--+--+--+---------+--------+------------++------+
 | Field          |FL|FP|DI| Value   | Match  | Comp Decomp|| Sent |
 |                |  |  |  |         | Opera. | Action     ||[bits]|
 +----------------+--+--+--+---------+---------------------++------+
 |IPv6 version    |4 |1 |Bi|6        | equal  | not-sent   ||      |
 |IPv6 DiffServ   |8 |1 |Bi|0        | equal  | not-sent   ||      |
 |IPv6 Flow Label |20|1 |Bi|0        | equal  | not-sent   ||      |
 |IPv6 Length     |16|1 |Bi|         | ignore | comp-length||      |
 |IPv6 Next Header|8 |1 |Bi|17       | equal  | not-sent   ||      |
 |IPv6 Hop Limit  |8 |1 |Bi|255      | ignore | not-sent   ||      |
 |IPv6 DEVprefix  |64|1 |Bi|FE80::/64| equal  | not-sent   ||      |
 |IPv6 DevIID     |64|1 |Bi|         | ignore | DevIID     ||      |
 |IPv6 APPprefix  |64|1 |Bi|FE80::/64| equal  | not-sent   ||      |
 |IPv6 AppIID     |64|1 |Bi|::1      | equal  | not-sent   ||      |
 +================+==+==+==+=========+========+============++======+
 |UDP DEVport     |16|1 |Bi|123      | equal  | not-sent   ||      |
 |UDP APPport     |16|1 |Bi|124      | equal  | not-sent   ||      |
 |UDP Length      |16|1 |Bi|         | ignore | comp-length||      |
 |UDP checksum    |16|1 |Bi|         | ignore | comp-chk   ||      |
 +================+==+==+==+=========+========+============++======+

 Rule 1
 +----------------+--+--+--+---------+--------+------------++------+
 | Field          |FL|FP|DI| Value   | Match  | Action     || Sent |
 |                |  |  |  |         | Opera. | Action     ||[bits]|
 +----------------+--+--+--+---------+--------+------------++------+
 |IPv6 version    |4 |1 |Bi|6        | equal  | not-sent   ||      |
 |IPv6 DiffServ   |8 |1 |Bi|0        | equal  | not-sent   ||      |
 |IPv6 Flow Label |20|1 |Bi|0        | equal  | not-sent   ||      |
 |IPv6 Length     |16|1 |Bi|         | ignore | comp-length||      |
 |IPv6 Next Header|8 |1 |Bi|17       | equal  | not-sent   ||      |
 |IPv6 Hop Limit  |8 |1 |Bi|255      | ignore | not-sent   ||      |
 |IPv6 DEVprefix  |64|1 |Bi|[alpha/64, match- |mapping-sent||  [1] |
 |                |  |  |  |fe80::/64] mapping|            ||      |
 |IPv6 DevIID     |64|1 |Bi|         | ignore | DevIID     ||      |
 |IPv6 APPprefix  |64|1 |Bi|[beta/64,| match- |mapping-sent||  [2] |
 |                |  |  |  |alpha/64,| mapping|            ||      |
 |                |  |  |  |fe80::64]|        |            ||      |
 |IPv6 AppIID     |64|1 |Bi|::1000   | equal  | not-sent   ||      |
 +================+==+==+==+=========+========+============++======+
 |UDP DEVport     |16|1 |Bi|5683     | equal  | not-sent   ||      |
 |UDP APPport     |16|1 |Bi|5683     | equal  | not-sent   ||      |
 |UDP Length      |16|1 |Bi|         | ignore | comp-length||      |
 |UDP checksum    |16|1 |Bi|         | ignore | comp-chk   ||      |
 +================+==+==+==+=========+========+============++======+

 Rule 2
 +----------------+--+--+--+---------+--------+------------++------+
 | Field          |FL|FP|DI| Value   | Match  | Action     || Sent |
 |                |  |  |  |         | Opera. | Action     ||[bits]|
 +----------------+--+--+--+---------+--------+------------++------+
 |IPv6 version    |4 |1 |Bi|6        | equal  | not-sent   ||      |
 |IPv6 DiffServ   |8 |1 |Bi|0        | equal  | not-sent   ||      |
 |IPv6 Flow Label |20|1 |Bi|0        | equal  | not-sent   ||      |
 |IPv6 Length     |16|1 |Bi|         | ignore | comp-length||      |
 |IPv6 Next Header|8 |1 |Bi|17       | equal  | not-sent   ||      |
 |IPv6 Hop Limit  |8 |1 |Up|255      | ignore | not-sent   ||      |
 |IPv6 Hop Limit  |8 |1 |Dw|         | ignore | value-sent ||  [8] |
 |IPv6 DEVprefix  |64|1 |Bi|alpha/64 | equal  | not-sent   ||      |
 |IPv6 DevIID     |64|1 |Bi|         | ignore | DevIID     ||      |
 |IPv6 APPprefix  |64|1 |Bi|gamma/64 | equal  | not-sent   ||      |
 |IPv6 AppIID     |64|1 |Bi|::1000   | equal  | not-sent   ||      |
 +================+==+==+==+=========+========+============++======+
 |UDP DEVport     |16|1 |Bi|8720     | MSB(12)| LSB        || [4]  |
 |UDP APPport     |16|1 |Bi|8720     | MSB(12)| LSB        || [4]  |
 |UDP Length      |16|1 |Bi|         | ignore | comp-length||      |
 |UDP checksum    |16|1 |Bi|         | ignore | comp-chk   ||      |
 +================+==+==+==+=========+========+============++======+


]]></artwork></figure>

<t>All the fields described in the three Rules depicted on <xref target="Fig-fields"/> are present in the IPv6 and UDP headers.  The DevIID-DID value is found in the L2 header.</t>

<t>The second and third Rules use global addresses. The way the Dev learns the prefix is not in the scope of the document.</t>

<t>The third Rule compresses port numbers to 4 bits.</t>

</section>
<section anchor="fragmentation-examples" title="Fragmentation Examples">

<t>This section provides examples for the different fragment reliability modes specified in this document.</t>

<t><xref target="Fig-Example-Unreliable"/> illustrates the transmission in No-ACK mode of an IPv6 packet that needs 11 fragments. FCN is 1 bit wide.</t>

<figure title="Transmission in No-ACK mode of an IPv6 packet carried by 11 fragments" anchor="Fig-Example-Unreliable"><artwork><![CDATA[
        Sender               Receiver
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-------FCN=0-------->|
          |-----FCN=1 + MIC --->|MIC checked: success =>
        
]]></artwork></figure>

<t>In the following examples, N (i.e. the size if the FCN field) is 3 bits. Therefore, the All-1 FCN value is 7.</t>

<t><xref target="Fig-Example-Win-NoLoss-NACK"/> illustrates the transmission in ACK-on-Error of an IPv6 packet that needs 11 fragments, with MAX_WIND_FCN=6 and no fragment loss.</t>

<figure title="Transmission in ACK-on-Error mode of an IPv6 packet carried by 11 fragments, with MAX_WIND_FCN=6 and no loss." anchor="Fig-Example-Win-NoLoss-NACK"><artwork><![CDATA[
        Sender               Receiver
          |-----W=0, FCN=6----->|
          |-----W=0, FCN=5----->|
          |-----W=0, FCN=4----->|
          |-----W=0, FCN=3----->|
          |-----W=0, FCN=2----->|
          |-----W=0, FCN=1----->|
          |-----W=0, FCN=0----->|
      (no ACK)
          |-----W=1, FCN=6----->|
          |-----W=1, FCN=5----->|
          |-----W=1, FCN=4----->|
          |--W=1, FCN=7 + MIC-->|MIC checked: success =>
          |<---- ACK, W=1 ------|

]]></artwork></figure>

<t><xref target="Fig-Example-Rel-Window-NACK-Loss"/> illustrates the transmission in ACK-on-Error mode of an IPv6 packet that needs 11 fragments, with MAX_WIND_FCN=6 and three lost fragments.</t>

<figure title="Transmission in ACK-on-Error mode of an IPv6 packet carried by 11 fragments, with MAX_WIND_FCN=6 and three lost fragments." anchor="Fig-Example-Rel-Window-NACK-Loss"><artwork><![CDATA[
         Sender             Receiver
          |-----W=0, FCN=6----->|
          |-----W=0, FCN=5----->|
          |-----W=0, FCN=4--X-->|
          |-----W=0, FCN=3----->|
          |-----W=0, FCN=2--X-->|             7
          |-----W=0, FCN=1----->|             /
          |-----W=0, FCN=0----->|       6543210
          |<-----ACK, W=0-------|Bitmap:1101011
          |-----W=0, FCN=4----->|
          |-----W=0, FCN=2----->|   
      (no ACK)     
          |-----W=1, FCN=6----->|
          |-----W=1, FCN=5----->|
          |-----W=1, FCN=4--X-->|
          |- W=1, FCN=7 + MIC ->|MIC checked: failed
          |<-----ACK, W=1-------|C=0 Bitmap:1100001
          |-----W=1, FCN=4----->|MIC checked: success =>
          |<---- ACK, W=1 ------|C=1, no Bitmap

]]></artwork></figure>

<t><xref target="Fig-Example-Rel-Window-ACK-NoLoss"/> illustrates the transmission in ACK-Always mode of an IPv6 packet that needs 11 fragments, with MAX_WIND_FCN=6 and no loss.</t>

<figure title="Transmission in ACK-Always mode of an IPv6 packet carried by 11 fragments, with MAX_WIND_FCN=6 and no lost fragment." anchor="Fig-Example-Rel-Window-ACK-NoLoss"><artwork><![CDATA[
        Sender               Receiver
          |-----W=0, FCN=6----->|
          |-----W=0, FCN=5----->|
          |-----W=0, FCN=4----->|
          |-----W=0, FCN=3----->|
          |-----W=0, FCN=2----->|
          |-----W=0, FCN=1----->|
          |-----W=0, FCN=0----->|
          |<-----ACK, W=0-------| Bitmap:1111111
          |-----W=1, FCN=6----->|
          |-----W=1, FCN=5----->|   
          |-----W=1, FCN=4----->|
          |--W=1, FCN=7 + MIC-->|MIC checked: success =>
          |<-----ACK, W=1-------| C=1 no Bitmap
        (End)    

]]></artwork></figure>

<t><xref target="Fig-Example-Rel-Window-ACK-Loss"/> illustrates the transmission in ACK-Always mode of an IPv6 packet that needs 11 fragments, with MAX_WIND_FCN=6 and three lost fragments.</t>

<figure title="Transmission in ACK-Always mode of an IPv6 packet carried by 11 fragments, with
MAX_WIND_FCN=6 and three lost fragments." anchor="Fig-Example-Rel-Window-ACK-Loss"><artwork><![CDATA[
        Sender               Receiver
          |-----W=1, FCN=6----->|
          |-----W=1, FCN=5----->|
          |-----W=1, FCN=4--X-->|
          |-----W=1, FCN=3----->|
          |-----W=1, FCN=2--X-->|             7
          |-----W=1, FCN=1----->|             /
          |-----W=1, FCN=0----->|       6543210
          |<-----ACK, W=1-------|Bitmap:1101011
          |-----W=1, FCN=4----->|
          |-----W=1, FCN=2----->|
          |<-----ACK, W=1-------|Bitmap:
          |-----W=0, FCN=6----->|
          |-----W=0, FCN=5----->|   
          |-----W=0, FCN=4--X-->|
          |--W=0, FCN=7 + MIC-->|MIC checked: failed
          |<-----ACK, W=0-------| C= 0 Bitmap:11000001
          |-----W=0, FCN=4----->|MIC checked: success =>
          |<-----ACK, W=0-------| C= 1 no Bitmap
        (End)    

]]></artwork></figure>

<t><xref target="Fig-Example-Rel-Window-ACK-Loss-Last-A"/> illustrates the transmission in ACK-Always mode of an IPv6 packet that needs 6 fragments, with MAX_WIND_FCN=6, three lost fragments and only one retry needed to recover each lost fragment.</t>

<figure title="Transmission in ACK-Always mode of an IPv6 packet carried by 11 fragments,
with MAX_WIND_FCN=6, three lost framents and only one retry needed for each lost fragment." anchor="Fig-Example-Rel-Window-ACK-Loss-Last-A"><artwork><![CDATA[
          Sender                Receiver
             |-----W=0, FCN=6----->|
             |-----W=0, FCN=5----->|
             |-----W=0, FCN=4--X-->|
             |-----W=0, FCN=3--X-->|
             |-----W=0, FCN=2--X-->|
             |--W=0, FCN=7 + MIC-->|MIC checked: failed
             |<-----ACK, W=0-------|C= 0 Bitmap:1100001
             |-----W=0, FCN=4----->|MIC checked: failed
             |-----W=0, FCN=3----->|MIC checked: failed
             |-----W=0, FCN=2----->|MIC checked: success
             |<-----ACK, W=0-------|C=1 no Bitmap
           (End)
]]></artwork></figure>

<t><xref target="Fig-Example-Rel-Window-ACK-Loss-Last-B"/> illustrates the transmission in ACK-Always mode of an IPv6 packet that needs 6 fragments, with MAX_WIND_FCN=6, three lost fragments, and the second ACK lost.</t>

<figure title="Transmission in ACK-Always mode of an IPv6 packet carried by 11 fragments,
with MAX_WIND_FCN=6, three lost fragments, and the second ACK lost." anchor="Fig-Example-Rel-Window-ACK-Loss-Last-B"><artwork><![CDATA[
          Sender                Receiver
             |-----W=0, FCN=6----->|
             |-----W=0, FCN=5----->|
             |-----W=0, FCN=4--X-->|
             |-----W=0, FCN=3--X-->|
             |-----W=0, FCN=2--X-->|
             |--W=0, FCN=7 + MIC-->|MIC checked: failed
             |<-----ACK, W=0-------|C=0  Bitmap:1100001
             |-----W=0, FCN=4----->|MIC checked: failed
             |-----W=0, FCN=3----->|MIC checked: failed
             |-----W=0, FCN=2----->|MIC checked: success
             |  X---ACK, W=0-------|C= 1 no Bitmap
    timeout  |                     |
             |--W=0, FCN=7 + MIC-->|
             |<-----ACK, W=0-------|C= 1 no Bitmap  

           (End)
]]></artwork></figure>

<t><xref target="Fig-Example-Rel-Window-ACK-Loss-Last-C"/> illustrates the transmission in ACK-Always mode of an IPv6 packet that needs 6 fragments, with MAX_WIND_FCN=6, with three lost fragments, and one retransmitted fragment lost again.</t>

<figure title="Transmission in ACK-Always mode of an IPv6 packet carried by 11 fragments,
with MAX_WIND_FCN=6, with three lost fragments, and one retransmitted fragment lost again." anchor="Fig-Example-Rel-Window-ACK-Loss-Last-C"><artwork><![CDATA[
           Sender                Receiver
             |-----W=0, FCN=6----->|
             |-----W=0, FCN=5----->|
             |-----W=0, FCN=4--X-->|
             |-----W=0, FCN=3--X-->|
             |-----W=0, FCN=2--X-->|
             |--W=0, FCN=7 + MIC-->|MIC checked: failed
             |<-----ACK, W=0-------|C=0 Bitmap:1100001
             |-----W=0, FCN=4----->|MIC checked: failed
             |-----W=0, FCN=3----->|MIC checked: failed
             |-----W=0, FCN=2--X-->|
      timeout|                     |
             |--W=0, FCN=7 + MIC-->|All-0 empty
             |<-----ACK, W=0-------|C=0 Bitmap: 1111101
             |-----W=0, FCN=2----->|MIC checked: success
             |<-----ACK, W=0-------|C=1 no Bitmap
           (End)
]]></artwork></figure>

<t><xref target="Fig-Example-MaxWindFCN"/> illustrates the transmission in ACK-Always mode of an IPv6 packet that needs 28 fragments, with N=5, MAX_WIND_FCN=23 and two lost fragments. Note that MAX_WIND_FCN=23 may be useful when the maximum possible Bitmap size, considering the maximum lower layer technology payload size and the value of R, is 3 bytes. Note also that the FCN of the last fragment of the packet is the one with FCN=31 (i.e. FCN=2^N-1 for N=5, or equivalently, all FCN bits set to 1).</t>

<figure title="Transmission in ACK-Always mode of an IPv6 packet carried by 28 fragments, with N=5,
MAX_WIND_FCN=23 and two lost fragments." anchor="Fig-Example-MaxWindFCN"><artwork><![CDATA[
      Sender               Receiver
        |-----W=0, FCN=23----->|
        |-----W=0, FCN=22----->|
        |-----W=0, FCN=21--X-->|
        |-----W=0, FCN=20----->|
        |-----W=0, FCN=19----->|
        |-----W=0, FCN=18----->|
        |-----W=0, FCN=17----->|
        |-----W=0, FCN=16----->|
        |-----W=0, FCN=15----->|
        |-----W=0, FCN=14----->|
        |-----W=0, FCN=13----->|
        |-----W=0, FCN=12----->|
        |-----W=0, FCN=11----->|
        |-----W=0, FCN=10--X-->|
        |-----W=0, FCN=9 ----->|
        |-----W=0, FCN=8 ----->|
        |-----W=0, FCN=7 ----->|
        |-----W=0, FCN=6 ----->|
        |-----W=0, FCN=5 ----->|
        |-----W=0, FCN=4 ----->|
        |-----W=0, FCN=3 ----->|
        |-----W=0, FCN=2 ----->|
        |-----W=0, FCN=1 ----->|
        |-----W=0, FCN=0 ----->|
        |                      |lcl-Bitmap:110111111111101111111111
        |<------ACK, W=0-------|encoded Bitmap:1101111111111011
        |-----W=0, FCN=21----->|
        |-----W=0, FCN=10----->|
        |<------ACK, W=0-------|no Bitmap
        |-----W=1, FCN=23----->|
        |-----W=1, FCN=22----->|
        |-----W=1, FCN=21----->|
        |--W=1, FCN=31 + MIC-->|MIC checked: sucess =>
        |<------ACK, W=1-------|no Bitmap
      (End)
]]></artwork></figure>

</section>
<section anchor="FSM" title="Fragmentation State Machines">

<t>The fragmentation state machines of the sender and the receiver, one for each of the different reliability modes, are described in the following figures:</t>

<figure title="Sender State Machine for the No-ACK Mode" anchor="Fig-NoACKModeSnd"><artwork><![CDATA[
             +===========+
+------------+  Init     |                                      
|  FCN=0     +===========+                                      
|  No Window                                       
|  No Bitmap                                                      
|                   +-------+           
|          +========+==+    | More Fragments                 
|          |           | <--+ ~~~~~~~~~~~~~~~~~~~~                          
+--------> |   Send    |      send Fragment (FCN=0)                            
           +===+=======+                                                                      
               |  last fragment
               |  ~~~~~~~~~~~~                               
               |  FCN = 1                               
               v  send fragment+MIC
           +============+                                             
           |    END     |                                             
           +============+                       
]]></artwork></figure>

<figure title="Receiver State Machine for the No-ACK Mode" anchor="Fig-NoACKModeRcv"><artwork><![CDATA[
                      +------+ Not All-1
           +==========+=+    | ~~~~~~~~~~~~~~~~~~~
           |            + <--+ set Inactivity Timer
           |  RCV Frag  +-------+
           +=+===+======+       |All-1 &
   All-1 &   |   |              |MIC correct
 MIC wrong   |   |Inactivity    |
             |   |Timer Exp.    |
             v   |              |
  +==========++  |              v
  |   Error   |<-+     +========+==+
  +===========+        |    END    |
                       +===========+

]]></artwork></figure>

<figure title="Sender State Machine for the ACK-Always Mode" anchor="Fig-ACKAlwaysSnd"><artwork><![CDATA[
              +=======+  
              | INIT  |       FCN!=0 & more frags
              |       |       ~~~~~~~~~~~~~~~~~~~~~~
              +======++  +--+ send Window + frag(FCN)
                 W=0 |   |  | FCN-
  Clear local Bitmap |   |  v set local Bitmap
       FCN=max value |  ++==+========+
                     +> |            |
+---------------------> |    SEND    |
|                       +==+===+=====+
|      FCN==0 & more frags |   | last frag
|    ~~~~~~~~~~~~~~~~~~~~~ |   | ~~~~~~~~~~~~~~~
|         set local-Bitmap |   | set local-Bitmap
|   send wnd + frag(all-0) |   | send wnd+frag(all-1)+MIC
|       set Retrans_Timer  |   | set Retrans_Timer
|                          |   |
|Recv_wnd == wnd &         |   |  
|Lcl_Bitmap==recv_Bitmap&  |   |  +----------------------+
|more frag                 |   |  |lcl-Bitmap!=rcv-Bitmap|
|~~~~~~~~~~~~~~~~~~~~~~    |   |  | ~~~~~~~~~            |
|Stop Retrans_Timer        |   |  | Attemp++             v
|clear local_Bitmap        v   v  |                +=====+=+
|window=next_window   +====+===+==+===+            |Resend |
+---------------------+               |            |Missing|
                 +----+     Wait      |            |Frag   |
not expected wnd |    |    Bitmap     |            +=======+
~~~~~~~~~~~~~~~~ +--->+               ++Retrans_Timer Exp  |          
    discard frag      +==+=+===+=+==+=+| ~~~~~~~~~~~~~~~~~ |
                         | |   | ^  ^  |reSend(empty)All-* |   
                         | |   | |  |  |Set Retrans_Timer  |
                         | |   | |  +--+Attemp++           |
MIC_bit==1 &             | |   | +-------------------------+
Recv_window==window &    | |   |   all missing frags sent
             no more frag| |   |   ~~~~~~~~~~~~~~~~~~~~~~
 ~~~~~~~~~~~~~~~~~~~~~~~~| |   |   Set Retrans_Timer                
       Stop Retrans_Timer| |   |    
 +=============+         | |   |
 |     END     +<--------+ |   |
 +=============+           |   | Attemp > MAX_ACK_REQUESTS
            All-1 Window & |   | ~~~~~~~~~~~~~~~~~~
             MIC_bit ==0 & |   v Send Abort
   Lcl_Bitmap==recv_Bitmap | +=+===========+
              ~~~~~~~~~~~~ +>|    ERROR    |
                Send Abort   +=============+


]]></artwork></figure>

<figure title="Receiver State Machine for the ACK-Always Mode" anchor="Fig-ACKAlwaysRcv"><artwork><![CDATA[
 Not All- & w=expected +---+   +---+w = Not expected
 ~~~~~~~~~~~~~~~~~~~~~ |   |   |   |~~~~~~~~~~~~~~~~
 Set local_Bitmap(FCN) |   v   v   |discard
                      ++===+===+===+=+      
+---------------------+     Rcv      +--->* ABORT
|  +------------------+   Window     |
|  |                  +=====+==+=====+  
|  |       All-0 & w=expect |  ^ w =next & not-All
|  |     ~~~~~~~~~~~~~~~~~~ |  |~~~~~~~~~~~~~~~~~~~~~
|  |     set lcl_Bitmap(FCN)|  |expected = next window
|  |      send local_Bitmap |  |Clear local_Bitmap
|  |                        |  |    
|  | w=expct & not-All      |  |    
|  | ~~~~~~~~~~~~~~~~~~     |  |
|  | set lcl_Bitmap(FCN)+-+ |  | +--+ w=next & All-0
|  | if lcl_Bitmap full | | |  | |  | ~~~~~~~~~~~~~~~
|  | send lcl_Bitmap    | | |  | |  | expct = nxt wnd
|  |                    v | v  | |  | Clear lcl_Bitmap
|  |  w=expct & All-1 +=+=+=+==+=++ | set lcl_Bitmap(FCN)     
|  |  ~~~~~~~~~~~  +->+    Wait   +<+ send lcl_Bitmap       
|  |    discard    +--|    Next   |   
|  | All-0  +---------+  Window   +--->* ABORT  
|  | ~~~~~  +-------->+========+=++        
|  | snd lcl_bm  All-1 & w=next| |  All-1 & w=nxt
|  |                & MIC wrong| |  & MIC right      
|  |          ~~~~~~~~~~~~~~~~~| | ~~~~~~~~~~~~~~~~~~
|  |      set local_Bitmap(FCN)| |set lcl_Bitmap(FCN)       
|  |          send local_Bitmap| |send local_Bitmap
|  |                           | +----------------------+
|  |All-1 & w=expct            |                        |
|  |& MIC wrong                v   +---+ w=expctd &     |
|  |~~~~~~~~~~~~~~~~~~~~  +====+=====+ | MIC wrong      |
|  |set local_Bitmap(FCN) |          +<+ ~~~~~~~~~~~~~~ |
|  |send local_Bitmap     | Wait End | set lcl_btmp(FCN)|
|  +--------------------->+          +--->* ABORT       |
|                         +===+====+=+-+ All-1&MIC wrong|
|                             |    ^   | ~~~~~~~~~~~~~~~|
|      w=expected & MIC right |    +---+ send lcl_btmp  |                
|      ~~~~~~~~~~~~~~~~~~~~~~ |                         |
|       set local_Bitmap(FCN) | +-+ Not All-1           |
|        send local_Bitmap    | | | ~~~~~~~~~           |
|                             | | |  discard            |
|All-1 & w=expctd & MIC right | | |                     |
|~~~~~~~~~~~~~~~~~~~~~~~~~~~~ v | v +----+All-1         |
|set local_Bitmap(FCN)      +=+=+=+=+==+ |~~~~~~~~~     |
|send local_Bitmap          |          +<+Send lcl_btmp |
+-------------------------->+    END   |                |
                            +==========+<---------------+

       --->* ABORT
            ~~~~~~~
            Inactivity_Timer = expires
        When DWN_Link
          IF Inactivity_Timer expires
             Send DWL Request
             Attemp++
                            
]]></artwork></figure>

<figure title="Sender State Machine for the ACK-on-Error Mode" anchor="Fig-ACKonerrorSnd"><artwork><![CDATA[
                   +=======+  
                   |       |  
                   | INIT  |  
                   |       |        FCN!=0 & more frags
                   +======++  +--+  ~~~~~~~~~~~~~~~~~~~~~~
                      W=0 |   |  |  send Window + frag(FCN)
       ~~~~~~~~~~~~~~~~~~ |   |  |  FCN-
       Clear local Bitmap |   |  v  set local Bitmap
            FCN=max value |  ++=============+
                          +> |              |
                             |     SEND     |
 +-------------------------> |              |
 |                           ++=====+=======+
 |         FCN==0 & more frags|     |last frag
 |     ~~~~~~~~~~~~~~~~~~~~~~~|     |~~~~~~~~~~~~~~~~~
 |            set local-Bitmap|     |set local-Bitmap
 |      send wnd + frag(all-0)|     |send wnd+frag(all-1)+MIC
 |           set Retrans_Timer|     |set Retrans_Timer
 |                            |     |
 |Retrans_Timer expires &     |     |   lcl-Bitmap!=rcv-Bitmap
 |more fragments              |     |   ~~~~~~~~~~~~~~~~~~~~~~
 |~~~~~~~~~~~~~~~~~~~~        |     |   Attemp++        
 |stop Retrans_Timer          |     |  +-----------------+
 |clear local-Bitmap          v     v  |                 v
 |window = next window  +=====+=====+==+==+         +====+====+
 +----------------------+                 +         | Resend  |
 +--------------------->+    Wait Bitmap  |         | Missing |
 |                  +-- +                 |         | Frag    |
 | not expected wnd |   ++=+===+===+===+==+         +======+==+
 | ~~~~~~~~~~~~~~~~ |    ^ |   |   |   ^                   |
 |    discard frag  +----+ |   |   |   +-------------------+
 |                         |   |   |     all missing frag sent
 |Retrans_Timer expires &  |   |   |     ~~~~~~~~~~~~~~~~~~~~~
 |       No more Frag      |   |   |     Set Retrans_Timer
 | ~~~~~~~~~~~~~~~~~~~~~~~ |   |   |   
 |  Stop Retrans_Timer     |   |   |  
 |  Send ALL-1-empty       |   |   |
 +-------------------------+   |   |
                               |   |
      Local_Bitmap==Recv_Bitmap|   |
      ~~~~~~~~~~~~~~~~~~~~~~~~~|   |Attemp > MAX_ACK_REQUESTS
 +=========+Stop Retrans_Timer |   |~~~~~~~~~~~~~~~~~~~~~~~
 |   END   +<------------------+   v  Send Abort
 +=========+                     +=+=========+
                                 |   ERROR   |
                                 +===========+                                      
]]></artwork></figure>

<figure title="Receiver State Machine for the ACK-on-Error Mode" anchor="Fig-ACKonerrorRcv"><artwork><![CDATA[
   Not All- & w=expected +---+   +---+w = Not expected
   ~~~~~~~~~~~~~~~~~~~~~ |   |   |   |~~~~~~~~~~~~~~~~
   Set local_Bitmap(FCN) |   v   v   |discard
                        ++===+===+===+=+
+-----------------------+              +--+ All-0 & full
|            ABORT *<---+  Rcv Window  |  | ~~~~~~~~~~~~
|  +--------------------+              +<-+ w =next
|  |     All-0 empty +->+=+=+===+======+ clear lcl_Bitmap
|  |     ~~~~~~~~~~~ |    | |   ^
|  |     send bitmap +----+ |   |w=expct & not-All & full
|  |                        |   |~~~~~~~~~~~~~~~~~~~~~~~~
|  |                        |   |set lcl_Bitmap; w =nxt
|  |                        |   |     
|  |      All-0 & w=expect  |   |     w=next   
|  |      & no_full Bitmap  |   |    ~~~~~~~~  +========+
|  |      ~~~~~~~~~~~~~~~~~ |   |    Send abort| Error/ |
|  |      send local_Bitmap |   |  +---------->+ Abort  |
|  |                        |   |  | +-------->+========+
|  |                        v   |  | |   all-1       ^
|  |    All-0 empty    +====+===+==+=+=+ ~~~~~~~     |        
|  |  ~~~~~~~~~~~~~ +--+    Wait       | Send abort  |
|  |  send lcl_btmp +->| Missing Fragm.|             |
|  |                   +==============++             |
|  |                                  +--------------+
|  |                                   Uplink Only &
|  |                             Inactivity_Timer = expires
|  |                             ~~~~~~~~~~~~~~~~~~~~~~~~~~
|  |                              Send Abort
|  |All-1 & w=expect & MIC wrong     
|  |~~~~~~~~~~~~~~~~~~~~~~~~~~~~      +-+  All-1       
|  |set local_Bitmap(FCN)             | v  ~~~~~~~~~~  
|  |send local_Bitmap     +===========+==+ snd lcl_btmp
|  +--------------------->+   Wait End   +-+           
|                         +=====+=+====+=+ | w=expct &  
|       w=expected & MIC right  | |    ^   | MIC wrong
|       ~~~~~~~~~~~~~~~~~~~~~~  | |    +---+ ~~~~~~~~~
|  set & send local_Bitmap(FCN) | | set lcl_Bitmap(FCN)
|                               | |                    
|All-1 & w=expected & MIC right | +-->* ABORT          
|~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ v                      
|set & send local_Bitmap(FCN) +=+==========+           
+---------------------------->+     END    |
                              +============+   
            --->* ABORT
                 Only Uplink
                 Inactivity_Timer = expires 
                 ~~~~~~~~~~~~~~~~~~~~~~~~~~
                 Send Abort                                                    
]]></artwork></figure>

</section>
<section anchor="SCHCParams" title="SCHC Parameters - Ticket #15">

<t>This section gives the list of parameters that need to be defined in the technology-specific documents.</t>

<t><list style="symbols">
  <t>Define the most common uses case and how SCHC may be deployed.</t>
  <t>LPWAN Architecture. Explain the SCHC entities (Compression and Fragmentation), how/where they are represented in the corresponding technology architecture. If applicable, explain the various potential channel conditions for the technology and the corresponding recommended use of C/D and F/R.</t>
  <t>L2 fragmentation decision</t>
  <t>Technology developers must evaluate that L2 has strong enough integrity checking to match SCHC’s assumption.</t>
  <t>Rule ID numbering system, number of Rules</t>
  <t>Size of the Rule IDs</t>
  <t>The way the Rule ID is sent (L2 or L3) and how (describe)</t>
  <t>Fragmentation delivery reliability mode used in which cases (e.g. based on link channel condition)</t>
  <t>Define the number of bits for FCN (N) and DTag (T)</t>
  <t>in particular, is interleaved packet transmission supported and to what extent</t>
  <t>The MIC algorithm to be used and the size, if different from the default CRC32</t>
  <t>Retransmission Timer duration</t>
  <t>Inactivity Timer duration</t>
  <t>Define MAX_ACK_REQUEST (number of attempts)</t>
  <t>Padding: size of the L2 Word (for most technologies, a byte; for some technologies, a bit). Value of the padding bits (1 or 0).
The value of the padding bits needs to be specified because the padding bits are included in the MIC calculation.</t>
  <t>Take into account that the length of Rule ID + N + T + W when possible is good to have a multiple of 8 bits to complete a byte and avoid padding</t>
  <t>In the ACK format to have a length for Rule ID + T + W bit into a complete number of byte to do optimization more easily</t>
  <t>The technology documents will describe if Rule ID is constrained by any alignment</t>
  <t>When fragmenting in ACK-on-Error or ACK-Always mode, it is expected that the last window (called All-1 window) will not be
fully utilised, i.e. there won’t be fragments with all FCN values from MAX_WIND_FCN downto 1 and finally All-1.
It is worth noting that this document does not mandate that other windows (called All-0 windows) are fully utilised either.
This document purposely does not specify that All-1 windows use Bitmaps with the same number of bits as All-0 windows do.
By default, Bitmaps for All-0 and All-1 windows are of the same size MAX_WIND_FCN + 1. But a technology-specific document
MAY revert that decision. The rationale for reverting the decision could be the following: Note that the SCHC ACK sent as a
response to an All-1 fragment includes a C bit that SCHC ACK for other windows don’t have. Therefore, the SCHC ACK for the
All-1 window is one bit bigger. An L2 technology with a severely constrained payload size might decide that this “bump” in
the SCHC ACK for the last fragment is a bad resource usage. It could thus mandate that the All-1 window is not allowed to use
the FCN value 1 and that the All-1 SCHC ACK Bitmap size is reduced by 1 bit. This provides room for the C bit without creating
a bump in the SCHC ACK.</t>
</list></t>

<t>And the following parameters need to be addressed in another document but not forcely in the technology-specific one:</t>

<t><list style="symbols">
  <t>The way the contexts are provisioning</t>
  <t>The way the Rules as generated</t>
</list></t>

</section>
<section anchor="note" title="Note">
<t>Carles Gomez has been funded in part by the Spanish Government (Ministerio de Educacion, Cultura y Deporte) through the Jose
Castillejo grant CAS15/00336, and by the ERDF and the Spanish Government through project TEC2016-79988-P.  Part of his contribution to this work has been carried out during his stay as a visiting scholar at the Computer Laboratory of the University of Cambridge.</t>

</section>


  </back>

<!-- ##markdown-source:
H4sIAKYINlsAA+y921IcaZogeB9P4SaZbUIqQICUkorubGsEUiXdEmIkMtUz
dTInwgFvRbhHu3uAqERt8w5ztXdzubaPMfMm8yT7nf+D/xEBpLK6tq2ozEqI
cP+P3/m4sbExaLu8Gv8pn9RVsZt1zbwYlLOGfmu7na2t32ztDMb1qMqn8PW4
yc+6jbLozjYms6u82ihnl882YISuHG2M6qorPncbF6ON7e8Go7zbzdpuPJiV
u4Msa6+nTXHW7mbfXBftN/hB3XTRJ11Tjjr396ieznL/g64e6R9d2U1gPW+O
P+4dZR9o/myf589+KPJx0cCf01lTtG1ZV9nah/0f9tcz2Gh21uTn06LCV+CL
s7rJDo8vn9FXPx4cD/LT06a4tJHhtcHV+W5Gu80+1s2nsjrPftvU89kgn3cX
dbM72MjKCraxt5m9Lav8dN7UsFY+r70q9z+sGxhqb/RpUta836KA7W1vP3m+
l+WXRTUvsnHRZvsX+XTWZi8neTVq8SDK7no3e/Ldd9tb2T7sqK42PhSX5XlV
wJ/j4jOd1bzqGnjqdQMvFfBJMc3LyS7sK//HHGbchClloW82s5N63uVlZet8
k88bOBPvc1rq4duTjb0OltGV/zYv3JLht41sJ2tovdkkxxXDe7CgJi8L+nb/
Q7b9/NnWc3/5z5/defmysE1Z2D+W024jtxVtnjW6qf3N7Lf1tPizbWk/byZw
lvoh7efHqrwsmraEy8+O60nZ/e//Z1SVoxx3sQ87mMyr6zza5v7jV21XXBbZ
SdE0+Thvh9lz+mLrxYtncB85fDuZjIuzYtL6O/kw44OUjYxoOef1P8Juisnm
fDbaLMZzXf3BZvYyb7qLYmLrP6inZYWb9L6hTbyDIzov4GRO2/hGXmSjiwJe
y8bz7KeymH+Gi/nf/2/FN/Lkxc7TJ9nb4hpOb9mRj3XizVOe+B9rmnET8DHL
BlXdTAF3Lguc8/3r/Z3t7d/Ir893tp/Lry+2nz/dHZTVmT0Nr9I3T568+E4e
evqbp0/l1++e/0Y/fbbzYkd//c2TZzr2tv36AqiS/vrkOXw62NjYyOA4ugbI
xWBwclG2sIvRHNEcrvasrAAQYCe3JxRAJKbFFWD7MLu6KEcX2aypL0vEzdO6
u8gu+MWR92KCtMyrEf6SA5yVRbtJxCS7yGGMoqgyAOdJ3RRjIkFv6isAyCsY
8yPMku01RZ4dFR2uoM3WiBatbw4GNII/K2z0NG9hEFwBfjOFX5gcZ0KO4U+a
BqCC1o7nwMRtDEg4gi3h0vHTiifMWlgCkIjkKeapvU+L0UVele2Uhio7eGw2
mwBe0Tl0tT1MpPYxkFkZpd2MbyuftHXWzopReVbSdOGZ4vhwNm1bTE8n197E
HRAgPI05HgbM2M5nM2AwtC+i729PfoQ3/21eNgVNVAMh8M6ig5GqelKf0029
DiaFYasCCNXYcYsxEItzgJGWJh5mwBVhuN71wONXF3DX7RxAyP/iCqCgqrts
VsPfp5NiCLdUTiZZ8XlUFHwbk/waV3hVZ9P8czmdT7NZfj2p8zHcz58LOrhC
QOo20GhHBYfaFAAN42JWwP/hUZzRhHLqo/hErvmsGA/gwWsaAA96Mzuqu4LP
vkuCy3kBLAGGjHCB1pePL0sYBK6xPjsDWMjOJsXn8rSER66zqxJAtSnO84au
c5YjQuIZt0XXAQvmIdz9jy5qhGVAMjzq4CH5ilZdfIZNdgwipwWc7BiPIgO8
wLO2HW/YWeiOEFKRykzL8XhSDAYPs0OgnvV4TtvKfn7o//nlPzMN+qE/r0MQ
ONbiDM6thBXAxZ42KC3B0RQNEBekSBUcf3mJNwyPEtGpYS687RLXL7AnlAiW
C9w7/KzFY5gVDYHRCN44pVud1KVc6zlMBB/bMhIHBRzj2+zEo3hdPWNIh50A
9Ww26gZfLcZ69NMirxjXgUJNABxHnwogc2f1ZAKnRtgDlwWfdxdAPepG6Gkx
bhm7PGAY0nd5M7qAFY86EG9oG205neGJkQQ4aspT2A1c04HQ6DX4ZR3JA8D7
OR6qsVakJogsfEp7HuH9UDQo7WRr8OE6zApC6/mFXmn227wrrvJr+Protx/x
Yr/NXhajHPDaGAMQWVjF6bycgMxf+US95V0Aw8VjBsytr1rBKT1nXD/s7VNV
X1WIY4DuKGdsAjiMCzzZqrgKhsRjQJqIF5q3JRwGiEYgk02YeQU8a4hnQ7To
qp5P6Hucd97hfuH42ymILrMLUGlapZS3RTu8KkJXxgq6u6K6LJu6wusTFIJj
aonj0nBDXABDin8v+SlIrQp/wM8AGgjAEOWEwSqTZsCDFe7SwV6CKFq0Spnd
CJMxAhKxDoKEQvhYOVWOnV/W5bil0wByCiS0va5GcPVV+eeYEQwZoPkET5EQ
ksbVIUPyYQqeR8EKCDkwqVGLN5hN6xaWAKIHXgUeN2CF7QW5CvLvJqOzI7AD
4GgKPGtESdzU2Rxe6ckD2TKu5sg9jHtfDlaanACQ0Wf+GeBhDTjQIuVhjTSb
lNOyEyBFgYahnhGdYBTgeujEKYD6dlIUM0RTOidZHt4S0ei3e/8VDmNUgFhM
kgSI60Qo2wsUWYC4lbUQDnqDZAuYtGqnJR8EckQ8SsBvkP86+P56MyHI0FJI
onJX+GdAvUEOYuI5cz24v1Pg6Bkc0DUsCjgYAD4tal6VSEnHj2GXvuiRrbVF
kf38s4jfX76sb2bZD8A4YIghnxtvGE4xWI0ArrCxJZzqmqhLUwAmFXRydYVS
wsw0dvhsejsp7yzb3nmxBVvsYAG8ZtAevnxBGIABkNrFMiasr6tH9STLeWDQ
+WbyFclkcGAFUn2ccHMAuAA3MQPQKJilCTMcRhIRXYOTooMpH6dEWmU9ssd2
hSibEmNJFgoO1rF+4DKogY/hmsciCcMa5lM+ZBHpCpQUUVLNgJBt1GcbLUxb
ALTD65OSQAZO2KAFh+6uSLCA4ZAIwIwAzkgREb77snz6OXccgKL3ETGvafDZ
vEFURkJzPxlz8NVlzOFKIfNh9t5dbYsCNp0WM7FPxPAaIA4P3v744eTBkP+b
Hb2j39+/+i8/Hr5/dYC/f/hh780b+4WfGHz44d2Pb+Rr/M29uP/u7dtXRwf8
LnyaRR8ByYL/wFYHD94dnxy+O9p78wB3FQF5U8iuS5T5gEZ1LMY4mQbeebl/
nG0/HRA2ovXgyxdGzO3nTwExUWGimRjr+U9WO2azIm9IlkBuk8+AKE+Afg1g
AiCdIGYgwNIZijDkC1k/P6QPN+jDL0nSf5EDPQVBrJzANCob+pIaADgw9HGJ
sER8rECAVXwb/Ngi9BKpty+uTZqAdXtEczi4YsFPuOW1P+z1jJk/oQYxJVTv
4WOQlSahPAwUl6jx6/J8g76g9X75AjJulmV1FkmQuVBUYJwbyrCAoF4Am4JH
is3zTRivamvkC8Aw5nlHvxbdaHOdmLOIq6eF8oyLErg77KFFlEJqIKMCPmdN
Pi5BImdJc1NXhJD8nr4RGTRbew8iqBK8stUVgnpcOu4O4gVaeOgsJ2X1KRgv
kmpZqNWhCBhV+QDKQzqHT6rC1ShhUr0F2JtOJSC0tyfCta4ZRZ+mnvB0wFSa
DI3DeH2jkNj5Aq9toC+0s8w+GPw7/OBDt/15tEE/jwbZ2jr86f4Pf27S79zw
pm4G/Cj8y//gz+Ps9+HIODgNhWeQ3QzsafvnMXz9++/phyb8I82Bf/HWbvyx
bKn+Sv113mR/v7Fxs7HxD/TpI1vBzd7x8ZvD/T0kRbSKzP/3sa7AVnGpqwg/
Z9UINxIOwLuIj1U23ztu3QhgmH4TQFRrLwBUyqX+vJs9DHE2I5/G99/0adc3
X9I3N0BSd+KRmp8f4l9f2PrQCrT7xgefLpENZgSawfVU7GYxPY+4rwjm8g4i
F4hKIN1XI8LIT0X2oL0oik/EGF5V55OyvcjWgLo8gK2M6NPXQN9GF0pJUL6L
5aSrpkRR7UHOkx2Tpv2AxGxQCJAWPADy439HquveKchIm9kef6P2u4x1MRIV
QdoB2knSJFl7kAIyfbHt1dXGee0LKqHUzbobMKExW1pKkAouSI2A+SeTjS1P
e4lXIFIrSJCgD9jwsJscxJBqTEYEtmCiiGxPggLLD3kbZvlb3tIrO5/UbZs3
1+u2mu37rMYumadyW8sKkAxBydir5O9wXBSlUNcVPQFUxMAai9Jq0XowtLf/
zyx+MaUf1Wg8ell203zGFlOiykVw/CegDDUoXYFw1A6ZJd7q7GbhXrajvWz/
R++FL1FWLTvqLXw22+2beGgPvq0dePcYAPgxa5dkfEONQe1VXf34rKmnNBvL
BTr44eHBbsCHiPmd5SDqH5o6zxAFj8qB6xdtzNqylrlYqYOweanchX/HsGUR
1DfRb6imBVKL3s8nBZCODuQKNrbhmAWpamIhwJOx7TQgsE0mbA7LipLw2sbP
1n6cEaIeXLGQlEAUvqZdmPkUlF0ysOht2N1OC3jhXKkgzMfbxaM2o0IAQW0A
m7DeM/viiuSnusElTq7VCMAkZH8XjqOAnY1xMZvZj0KSgdzBfqv6alKMz1nj
W9PFrauZpEPlkqk7yDuMyG8P97NJDRIjzCTWsTEq+/idzNyAetKNLlA83F73
vxjT20AmEKXWtvi09g/2dn2T2eODwjfP7I0YJg9E2G91wBL4BAqus7xsCLJH
bEvhK4YTEd0PCWsnsh4PWzeB+ygPTGHMwfiFcRG+ArOah6duyvMSiX/wMpnY
eFveHt6DWjyeFwzpp2Uni6wK0+fIgLV2WlzXItIRzAJOwMPF5Gxd7DUIudeq
DvQdQ7i2Ih9dBGuS1ZAVDbARVUw8LpzA0R8d5rHbsudN+xbxeleRG8YgWVdk
Xx5Arez4LUosogqi/ZmhC1erQxFd4NHuQRJw+JAGHBzCcIahh0CtRqhiiPGS
b4ZxjBHLYbPhvaA9ovcQcBuB9GW5rsTDUQw1iE7IOI0sL2/b6ymo+GguQJDE
y6jOeV0n+TmsTNx6GfwlrzNmP34fAg+JV536MMj2T/DE04B2GhGEUd40Bg30
eMxlD67Q5X9VoWbj7RrH8wDHu3SSSMSnix5bYIlE22ng/ccHSsecj6P3FVwP
zf16/2jX8b99Z8A/mk9Pi2bpSeDO2KPnuVzM0pvr1eXA3ZrzotlAC6LzUmUV
z0CroPGYeMyEu6GiV+hy6X67/HTCoPQaQZNfCuGxJDM7qtZAoT8zaWSKlLCm
E6nGkXnMNzrkm6I670wZnfBfIiEJHAaoK1ICsHQ5O7ybsmPAC6dEjlB+RpmZ
RiUFPG9ZwS9ECb/MmzInx3BXfwIZgh8dZpubm+s0JJ++jmCUdF6xw0XIIhmQ
hYRko6YQqeEk2FLeg23PZMHUuGEbJ8oWzj6q9iselI7vWI/vuG5LdZ7nghux
j94sH3Sm+sIV2RiINqptnRcpNJ+MQCYz8cpJQ/82I2KVplIfisIZUPPxuGHc
D/1wZJ7BQJMvX2i4KldnJclrCI8dCW60A6bzTtLKIzlSWPKoExvWeE7GMQ7T
mFcqKhVNUzfDwNjKUQFspCSKD9vA2DAA6Z6KAgvxdQNfyqQrebODQVQSSsA3
XwINHJegmoJ0gO5ejjSgUYxYtyTSKlSLyZ6kB1gEmYyZu8WeFpkTI+XGuyxx
CQphUBFGMbTz0zEcWGs0nT0LZEQ2TQxGuCrJyNega0MdTvCxb7Ab6rM4m+B8
DWwOKGqG7wD+mSdXbFGLX5+W5xcd27UQMibE/nGgE+8h8n/gRGgqN5GALFO5
BZUgziGKEgyPnZgNEtVu9lakSQTT8wZvmIQ+gOC9RRRWRTcTaBbcPdm8QV8H
aAFhx0jsDMAdNjQkqB3QwhDkBDjJOOWiV2SowAIPK38HC0dBEa/8HUhrzLNB
+ajlD0NqkicN5RF0cyUlEZ0hnWnBg0aQj3nx2drx+mb26jOAtyeVTXNymCNJ
qAQ6aROEZc6HxXQHD6JtWZcgK50HxIQAO6wWBwiUCVqQaCebLcgJiKsYknRM
viW2WI/rgpVQsiTnFWDLpDyv+Bqagpw2QOYKpkc//yy7+/KF9prSESOaI9J7
SGhEExEn4h2JBBwH7FIIlYYjkX2VwaRlHfYqLzsaEXmVe45cxvi5KiS8kTnG
5pr82he7W3sMTdwYhLgHEDCZTyt3/XxtY9Mlcs9Bk/CLuxFJk618LzQvmmDK
yUC1Lztl7YVaxkk6U5me3zwHhahSbTyUy+Gh1uKhfJek4XLgl0KIgnXqae0q
0scKHnF431smco3qooE9guarmR+28xGKtbg85EwzJ3/JokPBVAERP/jyhaad
otMV4CEvJ3xNemK7t4ih2DclzNMNiVR4frS5BCz6oqvQfVQYPK3OfByI0UB9
MAx3sf5poNZ610yBGqxBoY+PFc1e1FQgVvuXBDd4m30HAYOP3zvqCRs3eemX
7XvRFHapjNy6d2IjFCTTFKiET0CcZIliChphG+xRRkZojKimSffItgWCAmOk
N5uLAjOrF7FL94rIzRzkKEajS4AzFHTDEANBcJ9G7/jxHLbMEIAdvPLqcEcy
KYvVQBw9g9g6rBRjPYSOmG/cD2FiR5ZHbdIBKYHE7JvQs8OzRW+LCkrIXNEZ
0HV3c7PYkHLf0ziG/kdmeZxX3rJlNrJYsxxFYVSRHVkXi3E8QyW7aMnwZHTW
0D0fQKj8XEgga3Ru63ovOB98uoi2nPy0C7p2gzF7bI+BC1soEEi4Eu6H/Opo
uBq7A+D3evoMzfPjbBf+/cW6taKqURcNYhQdWz+nOT/uZh/ZBEjmvNg1EXBF
db8AT9gA7v2KBDT4B//em5ALCdHWAN38joKft7NCeO4GXiH9SpzasLsnXvix
nSSOp7wRuq518r7T1yitXpbFlUati9NYovQZtdC0GUXXmF/WsnJiQhBrHJ51
jazIGDIN+6HRWgDyTYAqHMOn1/q9TRBGfOvX6xRnyLEF5L5Hjx1F+pLI2BLF
IXde6KT1/YLqHAxcrvwf2iJ/MPBfTrwfuP2CgXAsf2v4AT1Bx/L3ydWkBglP
4PYLinYWX8/NypMJ/aHe6apD9NgMDh2AnN60OjeGIkEh96x60PENaPJ7SsOD
KFxiUvly9sARvKzkidDcUVRwgpqT+bJp1WcxVtqgYuMJ2cLb+YTkaJmWNa/E
aGsBZ0JFp+b/ILE1HoHmaAy9pN3lErYlSGxWb90MEfo+GzAO5SM1MWGfT09E
RVp7s7OOAWjDKJiLlfwq3nwwz0k0iTghI2ojcnjlH3iUraGHaY4FVszYp5B/
gjOfoP1HGJa6OkSE9rgucJI5kqNOo3MQAN/ZWA67V0gRDsQXhFgkf/7oXrtc
8lj8czPo4VAclrAY2xjjboRRefC2KDaEnwzl7K+wAm+C2//8MXwNwLaqIzBc
+3a995pHgaLVBNCYhd/9w839FnnzFW914akmjtVuNaLji+bjhz014iusQIfG
nz/ebtv8bPDm7U5bng3eTF4vunATOwrfvMuPvpmczdGx1Fk6MeEDRla+v810
71/tvzr86dX7AUhsu+rrLDUMHAOYwxsXny2Qt0lxRlZoskPGjJFCz1xUPJu5
WqXfLL7H76QjVgP2/c6jxMy9WRgMCDQxQJ9EiwVLhTGl2Mi8BzHXKDm5oSZl
+iyQ7OAT0c05MccZzFS5NCk+4o4mxcIWcLLZ6FNH0uxJcnixB0ZLcQoUCSOL
/cqJL8yWedqSdNKG2tNm9lJzN/05YrFWBzMr8ORaTJHmUCLWztZKipymZ5Dn
kmCRTeddOZuQGsUx82Ul+YYg6bGkCxija3iUJadfQEpCXEgTm4HgY//MI8wH
cOArVaS875QMwJlBsF5/AL8Me998YXA0HU6Wpl4BO2M2KaFVulXDXIikZsps
N8MRFVBF/RWzZyo2q39EwyUP62kBdUCtdnNwCCSK1h2t882OM65YbDEbVxLx
ZGxhKgaMb2IgBs18d2DA4mDl4GTvt/Cfj/Dv6/2j7HePKMbkD3Shx7Bu9FqE
LPk2t7rgXiN4ynqXloUQZV8HgPWLF5CCLhdd6EGYzq8wZryrbDkQnkwEqNgH
kIQXqbeQLb4F/xLyc7yEkO8lJTr9BZ3OmbclehWX5k6SPopi3xYd38JxE0eF
+p5/SjBr74BkFS6dJFgF58oiDQwoIPCtAZN7iZeXpB54Rc7SzPZZMSnMftLX
EeB2RNlhdhl4lPuv+jH6uAgX4e1FD9/6Z2826x/xIpHN+4newTvdOz7exv/b
wf97chu56CZ85WbQe+c2g0R/2iCYFXi3QdwbOohnYLnlIOEbX2VHOIwZDBFK
Xz9+f5+DsTt7dPd7dnkB/vCPdIxHbrggpD0cbNNTpABRb97/9ib7/vvvs5uj
337M5NdMKDjOgOhtud+bmz1DUG/uG3Qj4AnBSUV2o2Wb450FYmgQUB+G0g/E
IKm3Yf4LFIIwXLKLvTTKT0Uc9pynw4ysi7WFU9ELkrxEnx35NTUGgzcgRLRh
OJKJxhrSEtupme9KDJ4fZKthsKgDENxKdQpKqFWvUwuiIydSSmwwztGqWUpi
IHDlZrwn+lc2FnA7b83BK2c21AjTMGRAbVsmZPtGA9+YlCpokXL5ROrHMPA1
uZjRyAIdWdoS5iUK4cxbjhAXrwTIPVRwofVDJPtpSuuiL8HUV3nD+5lywEEy
BYnFO0SQlqQs0t8o1KW2gCEBejZ6eXYzPO0zCtTwnZOeFOawJQVuanJXmBbw
wrVghnw9LSTUaoJJsKAuYk4wx6HNq6qYUDhbi/F2lObgJ0xNjdvCaF4VkCGt
t3VFG8Jwm7Kj1Ge0Ws7LTj1evD7PFPj4/SBM5qwKuLVG56PQ/7qRqGdYFZpQ
xwUwanYFYfiN5Yox66X6K0FurBMhPKocoT2lVkaBAX5I7ma2d8Zze/cTOOfk
Btqg4IySxAGsXiCwxdxpy+xbWMPBL/riL9szaVqAaz6Jk6jHLrJSkS0RcArv
XrLiCAcMSnjr6cwV6qewj01KPBKZcjAI4iBc2IVXjAfEoJEGdlPsu9UKkKB9
BJsljv1m0BN8fSc7H4tPRWxJkhSiFYX6Dlry8HBNAIuApgmcsYMSfOEmQYAE
VXkEW2A66kt9nm/ayilRaKtBC0zkZd3LmnshJLsceBgSAasyEQdN0uvk4RqK
HYWgsxdJ2673gi+9mPrAo8sJIV02KTSHRnUHQV2Mp2aCggeQn587dwYHu3oG
pWUlj7K1SqLFcACaBB85q4EDcLrBYWUEob91ux0KZ6BDt4zsXpgLrJtuzHfh
0DVFg34AdQJUCsouGk3myi7LJjGLX/xI42Tzli0nfpJLGO5JER98tuin1LOV
eh9CagRpvaJTcASMdKtDUX5+qFajARYnMEKpoS99Z1OcgueqFHi57+w5um0V
leHAcnmtPhnLEa5iCkpOeZjj4MNlwPiiwB4rciIVzsISJ1EiMUWOnsLVXZXj
7gKrVLZzilkLJC9OClwW49EyGwEYfV/DGihYGMvWoWXkQ4lhyoT1OSl+XpYS
LANzpIGiwpjjcsSMr4xqHbXDqG5ba7yS67edElBcCNjW07Jz8EzFQ5Dr+tVn
jOHkpaRpuJGRs7mhASSJ7aGEMlT6dW3yA3DfSmJ/ORIYzyWIBEer0jXWiCDo
56oJORYJYhefDQUHsGEjcA0cxPprYQ2yOsoIck8ZVyYBCs0hc1fxZQSX2Cux
hEEIDx35JNhiejsFkQBRPg9sZP51t1hBsZDyIHrAgeFV6L5lkfq5qSpjcxB+
EPHI3kcLsXGJMn5wi5X4ogOZ1C1mGnJIrU4bGa519B8KKkIjXm0OA4H5eCFw
Od4FM7cjo1JVoOCAfI3YtHCuMN5flxxVzNMaXYMf6itBX7w4NiqTvHmbm8qU
Cxq4c10jAspmXm2QOIdVFzoFlRoLydAoGgoUcPe84pvxgMGDfd+wCnKtR3vW
RmebYqMZdZ/J+p+9Qs8J7V8s/om3+8w2cgrEKSrZ2uvDA4wsCTNN1l6/8T60
/Im118f0cSJpKls7OKTvJILqJ7r0tZOf6MNevHa29vbdet81kUziy9b2D/bW
PfvU474d744/vx8ss57QIR+tVPnR+fYVlgKjLFoK3/bqhcBSbgZfYylkrCKQ
6C1j+zbL4KXAKJ6tx/5xPwl/bfw3jXLD8Ld98/rNzevjm4PDGx+6bnpQdYOg
JDCEwHPz9dey81exFrRmZWTVkn/gD/kMAdt+zdKffLW1PLZzOfoF5/I1lvK4
bx6988/N4Pe9me768zjyQSP5VtvfYkInMiwZBPcY3yx9wwx0F1hcgEpDUaGw
MPYVvgBBecz+dckCJCav4pVIAbE5rG4ej4PgeGZAxJAD0+Di4NRTEAQvy7px
eUZRMqLGzLJemOBRZO0EFuYMQ6wpWCFDcoJwwqIrvNQLAN60w5MCZ5qucYXi
TMo5TKmzyvkXPCCaPQudwHNR3wTBWhNoG36ydbunhQ7DnSzaeLAZSTTitbCE
MA7S18PUTa1vLPqaxR47zxvms4BUt+syWkF0YvJOqZBzruktGZFaEq43lZcR
68kHLrE2lZbqElG1LiobV3JJN+U51yQxdV2NuBPLdGV4dTUriBW2nDdakO9Y
clR7b6pv7ddJLaVBaWK/lo1avURpnIsNUTNl8ZookWGNU7U4TYvyZ9VCY5eg
NrpTZy1LBW+4OwnEs12t8thR5TLZK9csHI3mWLMCtcOy6tlauL6twBYFeeLz
2RRN1xiFgcJv66fObWavjy0mX3Pk6aWGyvKxXNyD+igrns4xh0mcnrCdrXH0
Kg2GY0klmYWCp7cMjyqY4WONbE63WAymp3jmDzUPUf2yb7Mfj98cHv0z5vqv
7y4aT5UZ8Y2IWVnVb77Ya/NziB61N5sNeYqDdx+PeJKDq180iRF6GFungRll
mpeHB4fvX+1z7bxs7WW5dK70NF7BE9LnrMAJJ1PEaoBaQPiWXYbmp0LcMKhX
Gg1LZrUjsATjCmlB3K6uJWMds4bPqfhnhymIrl5cWCC17FzpOEmxlZwNJCzk
hdGytTDQnD3oa3nT5NdD4lUy7tAMMXn2Tx/eHfH7+y/fvXfvcdpqWgWSU1mQ
uurYBm9YiYV/Cnwu/eERhaUyJ9tjvDif7O27MJZD8jVjR9nsIm9lArGNvX3X
Lswv0hMlsykHMYMCPdt4+06yoXw6tljTi5je0vQ4JbyFRsZ71Vu4VC2ezbsw
mhAPAyZqpfYtH5FL6BQCIHWpsEqM2uY2+TVLsfTbGMTLZC+H/6n6kdrgQGnE
u54ovERH+tA8H7RcszL9/PDwQMyugVXfpz+ppZHxsSqc5xhfsio8WqkrvS0T
eIjPs49ZreawpmHoC6HVqNmc/I9YAEQtR8Z0uGgLIy3fFzqYzQPmmcFEdrHC
lYOE+VStethzJjS2qytIBhyGPg9LvaDHJuoh1NmNatFqnW1FZXKye86wVHxD
lQ7YxFZLujgDJdXPe6j+a1cQRg1Gi4RvFTxY6GvNewfC9IwFv0B4wJnZAwZ/
7hIcntf5REyMdiTMy/FpZJ1q2uq5axyl/sazin9EmW1MOd+RN7IOq8AQlKUP
2s4tuBgz35Plb0drZ7AkLKhzhQRaqLvCCtcOMrSUe9vM3oWxEkMmiP7VBt0E
FkNMayZ3HItGuahRjhJXgpYPI4shm++ctdGZDuliWNEwZ5SxgDZUHYKMHmWU
QXVbCiKT62CH3MSVL8pNoh4DwovXRT9KXrQKfSyyYdokPERgFicvRmBmdV5N
MRF56oT0BBT0cBiBwdFFXcu1JRQmpl2lV1ltKL4cOvwF4iEmPPYlG87pVzXb
Cf96tD7KHhzaLZXnFdfMPzyjvEZPNw1L8kiJcYl57s9vZENB6eDQI5J4M2U7
ypuxlHg0JCGUFzyhbhNyvBUqjKJD4vHaxcPiMSpTklRpjsq94Z19AOCqZfo+
5oTCQecAikDiIMPd4Hdcq0bQMLkh9IiVqjHHO3pnWHbokiWPE1enKcfOAzVk
3Vyuhvb2TetUDjoS6jjQuISxUB/sS7SumZHtk1lk3jnepjm1CqOG2LUvB3L5
3QRIBXYOo7LA/bqyPbu2p3ujtixeOkzn3FN8HsQhjkhiLnzSzIv1YQKMlaZo
DpyfiR4HHqyy4bck2rVq8u9nh68RNojCdZ1OWFjX8nAo859yRjYQcZQ3rspW
zEsGM3StBRqVBHo4R6uYlOfk8tdnSLbykEIWZG5JvwxnFPtUhiIkvj1vi8Cd
54XEcEEAdsrt0lVXy1bj86BWajg5+QrdY3FiScqAtaY1oaWvBpUb5WtgEgqH
vSBBZalVjPHDjGEujCfxfGwbS4APCsGGO1wc5eTCuWPjo4jyBAzZlqZmowJY
fM5RqfP1PzFMcZCFVbkE6UIAgUKiKourYIaFBhwLxdxxJ7a2b46710R6jiV5
J8z3TDoLu4vbZDmxsLPInVlk2tbEeTXf9TKRS5NJAGpxK16PIV81cOjprtqv
chD7fzWGEncKspmUeHTSPCzxhRQrKs9EsOqVH5IwQ1eXIaAnu38TL28nXg6k
WpgVV43KYUqam3ZiQgsllwfbKMeSWvx2b1/PgC6s+Fy2ndBwlu6s2G6o25jx
yY7ikKr+1PNmVEQteRReSzt2P8i2DBvpudg9G9lFMqTNBg6Gpd40caC2rUel
2QtF4w+FB2aGm9Epmr2QqZaUj9UqrxXbfELkiMY70Te9yEp2EghBcr0XvAxB
/J5LP506EIqNWvtset74/bcep9QseElvLJC9SFnYiV+DHGmwVZBAB5ukxKiv
zc+QSWXS+Ll4NwkuAF9HZELyCO46z+CGn+vfMD9xE7ngHCEO0neQIIi6zU+Q
9w108Ld9Wernh2rIGgx6ljYStVpuZ2E2HiuRRgYimxBOn+q8o2B3WU8uHeXv
myse92OtXXYkGjvHFg1KTU4MbtQyrFVzAoMoGSira7l0Dv+GsfxIdavaYDFp
OIfwyVOWGHGY1/kErYNoEsybwoxYuVkjyP4AwlE+YVMDGzVlEkBbGqh09TRF
HPd8E6F3RI7q5CfubYMDE4dglWw3O0L1sRh9UrXWwsSXT5DjiL4PLnEWJmBT
FV8qgoPtqdm0++Hl2ud1LF3DG0TufKoFg+R1dMpg2X9yJAFqf+bSgYuLuMpa
baNKnVJL/dwvRwdrIrun+UUuKKEMLp7m5babIQSy+lO2CGtShuP1G3aTeU0A
vWKwF+Zdm85bKVfp83qSh6kuViB6fbbHQ8GgdG/o25Ym57x7aHNF7xmdPJ33
xhSgnWTqjyiYBJ/xKgPVrfQDpjRijYKrrGgT7QyfwPmUW0nQIfdFQz8qkd5x
8RmEO5/c4fhcJo3e8DJdpAawF6K3kE9oBSribrUz6XN99LJfctCpsgYt0nPA
Y3By0R0fB+5wk0neKsN8K5Z5oYNofh4E6eh3suhbyfUcqwkvcD24AnrCOYci
h2EKQjG5HnpDyUjCGfvl10lRDw9bK64Tp0iGTj1a8lf083vkfbLhIOwmrGoS
HlAUepIMX7lZ8lcveCWdUn77XQAHB86yQdKYPzDoqCihyl8o9DKsOfOHxjPC
LuiraIwbCua0v7CHp1Q/MNcCj0jnIJgbjMEjMPrAX1JYDEfgz2pqSUWUAkZ4
A7Svdzw0gn5zc/LTsD+5uwvx4W8I2Umdg7r5/UcSIxA/aufTJSNghpz/mIwg
WkU4cDgCnyQ+RWcBsjPVbgSRnUbgVhp3HAH9xTpCMhzqDhAVB0OZq6gfEMW+
4xTpQbGMNWp9HXREOKppjg0kmaKA5laOPOFL6kVWSa9F6ERU2WDTM0dL+Vck
kCHFqvKpuUNHdaW2zLIZyzukl080iMarCnWX8CmeDYhTxFZIpHH5ZrjHlGfA
a02XFGdojpVBt+wx5VrGInqgVo2kOmkSEns6ueVogZuh4oTxPKJ5Sm4UrcMT
4qUSs9QSpLvraTwodmoqghrm0uoeHN+hF4oUsfJc03BMwhDe2DPTe5ZBP6kr
dQYS0+RsvSTKREFGGDkV2BYZ5NxLLnxrVI/ZWfKtymNa3EPl2i0CwO2nqihr
MmmePd0gOU+Ef44Wqs23re9vf0cD7Hz3VA3AuJanLCPyYE2h3SW2TRrXZdAT
vHK26/Tmw2QT51LHpASq+OLm2t5xAmlvHrLlYmoSl3+RgHe3BBGRcb/bz+IF
HDq9QrwPkalBhG6M52fLRmDJ1+g6FoGdoa4HOUNey1Z4q+SRrjApi3aHlXSo
8vpDkLaMy4JsxGKUfeKc6a1XEodImIXCRfJemHDgFt9Z7laYd+FDb+1KVYQl
krlbycKlKNY9IGHzAWgapDJwoMUDVsceeH0E8gz0Cmr7Id4wRwIN8XlDSeOH
yGzSkYUKr+ath/KboZcc7YfqjSK2j2pPCmG5oraGyAnpsbuICiqqq57nCoRM
kTDb3vXYQQUaSOg30tqx7AEItI3uwou+UIsXw5AnZxkUeZ8tvroFUIRndS84
KTxINOrT+FwhIM5aNFy9yVRKKprGn4KxClfWI8ESZ6v2+yma00o0fqz5NCrc
FCVTr0uOGDpP5RXRk5UGq7pZLaL1Q3a1e81Uvbgc6R+0BJUNfwRVEIH4XgPp
1242+DQwiJL5QutusjC85quaajXw4S9UftcXKqS+DurvRmaHAfHg3WYCzVv2
9C6EgLoRU7hBvj6fiGBrCyydIWh18pOgaxQpmLKZCKjGZykCjdqHfeeudedZ
xNtdYO6m7ikgAW5XONG8dQ3HGHttAl8b9RcN8Dipa5Kv5jPPAqEmL6E7LpHb
8Wi/qQmG/iDkc0gG7U3NvF6jhDH1jmaIQ53IAA3/yFdeNBu88IbJwYMJsIGd
o2ft8iuB+S54tmTk8gCZ1hq4z2uHte4QOaB9vLnqGNL2FDVUldU8CFfveeB4
bwy8EVNxVTPeUNL0B2+HL0vrWYxnWAdB6bSEdQ2d8Ub03Go88Of+2amdMEDh
qDrhWCmuSr2Oe/tlg0mBqCu/Ap+/wuGtpFw1wIXyTtxXOwpUJEhjjXYoLR4N
6FrfbO63r1BvKeIpxvVcFhMXOq0ngPpqqs0SN5lWvxxPua778jsvUe0MWxHX
qmxJuphiCi653jimvUv5UaVQi8qmFk1sjrMg/xuW9E2r3wmEHWrOvWWd1tJk
J+qPiVbHvrtM6/BTlw54nmJ9JQhT0rujDnk8vtVK9sMwk+U56QRxbex290oM
yaKkiJmUihj3C3lgNPuw309Rws7knvD0pfKkQoAm8Ope7crMS4tLHYaeWw2/
AkJbSmyCO/CHYu1kN9lg4Cc9kK2dzSNilIyDej0fn3uo56Yprc8UFWFAUixo
Rv4aMfWA3lCTbhcam3b174BM5S2SBFXFyzZI8cKDE9DxjR1oWyJA1xSYhkxN
/NemP7MuyZs7dyYpg0I/oV8JtREgvxsQdh3wmyguWJxv+OKKEmFhyp8fUhkl
slC/swr+h6lwBmuf5XqGEB2TNvVAN5DiWQGZggMoL+YVwAVHPLFTISxotBau
Z+DVeVkPNmW+sVGO9tGo66Zr89Ow/O16H0ZlSHATiKtNVAGd+mYM/LJV/lb9
Ujy9Lj+LY8utxQhgCgPXvNLIO+op5odJ2rHW826jPgOZ6t/mlOUzBoyBu7nm
mBYOeEQxK+hpj3uCpUhwvt8NKuxI33/Oa/4lSqlbmXTThBucj3wXwgTU+Y6p
FtYJuPBkWzsjq6RBh+cfC+UOck81MSSmQctUTCrFA1Qeif6iLldlouwLzlxz
z4lwbRp+mM+4TU7JppMFVazKVgPQCLkK7t5Sz6TiS1gjtQnbekkBDzpIEa8b
rHjALZtcm55aTItnIgUFvWS9Bk7hSdoJUZYPKuFWLZpkyaY4zxtaQKJxsQOs
uF9QGI9OlSByx8T6cV8sYkhEkb3soQUzy1Wlpe16TLi3NlleJJjrzCeV4E6K
ZvrlyzpfDVYDZQYtenAbdJ+nKUKF1x9y061BGWMbFxeySGEsHZRpkNdQOt60
KoVPXY4FwxZPI7XIpEufwx7Uo4uZhSDmp209QQoufRRTLeQextT8pK4nrdB0
+v2LYB71e2E5IfQTOltQR++6xqJtAOvd3YmfS9sK42x7XQ9ZultrC7XoTygE
jhlhK50aYEfwAdzyUDra8D1QrzyvvRyHKwXRX5E4l+zKY+FnXp3ZIKRJg5Rs
3KrX/9P1YEo0PMVTjZ43esVNfcbDAEXhfHpIqUPjavlZ6Tmuhhj8djNe5+JN
ExVmAk+NQCdFTipgVVcbaSLrAb/DB+scphEvYXuy9LFRqeMwXE7tVmTeChoM
Lu5VDPLD/tG6XA5WmabwBS/MtNcVKZCa1H+FTLkFDBhLQcRmTkojmr7u3eQ4
ahEpvZQqh9nhpVTWexkNuhQRflXTlnDWxpyoMY6yFQK76HCiaIBiot4NQ90R
bf67A2rl860dnGdNVWsGqcUW67Cdre1NJhvb62J110YxbRfthE7Gb4NDzwio
el/6HWqqjMbWblXZnVe3xavbut3qZDFaJI+ivfRxjukYZJ6iA8SXSJm+11v4
lmuzpcGMxgfc+ln9MT2DVVkS8jotwYi59y2HkJHGyWiuBb9n82ZGmTtqEVKp
FmbNp6fl+RxpheYQml+Qm6dSv1sMPhJ4z0ZFQ/o0ellLyZo8TNCLdujpQ9J2
d17xJmBiC36TBq9q3DiiG7Ihj+oNxHkkZJ4RpGydS+oUk/ePvt8GEs9nqvQu
iceIXTA7g41uWS8Qiw+/ls+YJvU6IjrBDs0Q5oQl3SK2fa0drXsxP012ThUS
pAnTk83sCDMCYRq0agwFcvyIXYt6OjKLztK6CCk5CUY7K6loicpLtENlhkoU
YPYENC+UmocGocERRpyqYlauczEI0B0xNSUocNUBRJ53yAJb5ZqypJwH7bAt
MamXsNBnfxQOvmk0QVYMk6fX3EWkxy17e9jzRiQJhaGCtc4SC2qLTXTLKXZi
zdkTWbmauGUP4E0rBegerpjP+jxqO2xMbIPdOjqMECa6EDwDTOmyrOdtFuNH
bwSkkgw0Z/OGkEIFdldQ+S2ihvZ+IM8yrJP4aiVnzYc5FDKLhod/+dPHw6OD
P8FTQwNvLUnnY03Qumznj0cbO5vZ2isOWaTLPPr+u2EwnotD6Lhv8c4TiRUg
gZYoJ67O+bYDcipSXZ+qWmIbTEHHdNXkM7ZbbGWn1ISghrm4JMYB6KTnIKNm
2ElhDfspiJmZWitoJZozlTOHHk0jMreyTSPdkQIiPS4l1Qcazm3VS5247mXQ
uw9DwetHiXdQ0q01YysNhDehz7UYZ+sNdohODjoUwAvYCw7F5pOuYN48BeqX
N9qWvS+AikzdN4a7I6XYZUlkYSYYwIIBWECKMbrHBAKYnBnQaw36qYqrwGKg
hQ3MssZnM+RlONu7B1IgWyIsoWQo4IKQ8seT7P/89/8BLAzhCP1hODeCET2D
X2/Al4R/0ZEgheDTkFkXdPgUAcA/nxSn9gry0r37XUWEVVeUEAR/aO5qI87p
7ADgXAMKtOwHFbWpoo5M0quvpAt+R1VSLNmhJBDS5VAoAhnA/O5+OLiWbfQH
Nu9fFpUVwm07inMyXF3m2eyEzOT9VsJkYM8rpuYJUwWTudUM2RhxZBt3skNb
ogEgrwokz1bTRaV3cXdy//CCK0B9xCRNpK/ru/A7RXVsY5RRYItW1eWerWAl
yBfPhfapVbC96hMUFKSi+AmZpUtq1+PmCCXCrc2FUO09SArnBWlYhPQwPaxr
m/vlHnpCHtdkxuE+klS4HCn8Z0IjuccMqb2ma5HO+MD694xyrcnzhc3UivNc
/vK6tIfjql76VjRWdI6dNyio7FNuxNrbw/314LbK1rmcAmLjyqzyTXQhruFV
SZUq+hgW3esTX1BfJVHkQ8FfkzUKbDBsFhgz+MJilMEwXS87FW7Y7uMigJQ/
BZG0p9eajBvX1ZUcrPf7T3bwmrY+vzp4+eLFk50tr0FvU1CceaRYM1CQJFRP
rqt6inDHHgD0/MoWXiHxqMhuD0eEJk6qz/zkyYvv0BIYyfUCKFoFK5+c13Bb
F1OrqjBXQRBmh8OMJHpRIew1q11rRmGt4xJJ9UvJBq7qChmmrA7lWIuJ8TNX
8HbnrVCIfQIuvoJiDGRifzmZ8HSoAD2NHGG4BFIg1pXm3Yh8m25mmmlI3AMv
DsRYNuUm4UiCxhrJejbPFTcpdN2+Ce294na5IaGbU32ZMLMBNOWbOgiiZyO0
smc1k8P7cJwRYpK1MLTSn6Adsd+0W3CUzNFl59U7Cl4OTAoYlIjNZ8iM5D1U
cI9vNSzYRUSMxkodM/E9IG5FoqvibqgVkRpLXGyCVmSSjBAsUW53VjQ6w2A5
a9J93Os2TjFbOlrXlOfnCzYbsQgbyzqZ02hEAlCSnDde9joyYzxrZeELXWfk
EL+vsuw7FbCxAAZqXOKRLbhnAxq9aep18MmSX64CWYnKogPUTw3PowPCwT1K
3Zr9SN+zWgEMKwnoxbM559YDLuAh8t6wbzyXEO5Z0ZT1WCCsxCB6kfDKVvyF
lN+T7Z0itqux1RXGqTp4kazwaoGnhJMJidd6PeJFwJIkLBJgllCuRVGpeHfC
zq3oxzzd7r8pRK5A86lKff+R4CLNMDqs4KCGYrgqVJP4v0pNCL9ajZYrW9cy
CUUDPvgSwSo3EqThJ//yJ3jkT+9f/ZcfX304+aDWIu2Iaj5RNQLD0UlgTHiq
fdqiWRew2KkUzaRUbLlwy4MPKkLC9OmFmYjduWZCgXPHhEiM8WQYlgioO54+
koigPLxegB196eJAZ0VjtJGNMR4IBUCIyp4z/Bj/5DaBPJG0DCSMNme72vxU
ngxcFpLFiKxWtidjuF22rtWTRwKUbOpl+qK4NQE4g/shtZEpjvHZfg9OUql6
3JUMz2jm3UA3JFoPtIpQHSyWGb7lOLKxFQYRW+rqiV57C9UF+pt1kaOeBcli
mGW/RvO808QWxrR4b+ln3tJNzeA/sfoqvA1TmxE5YYfsmdlwNQm2m1MgoJvZ
9u8EmlZJjR6JUi0ildQsKXKwko0FgwT67iN/W0wxqrZouoSwRgqXj/AaL+TL
RmpvEhtGFwA4pdQWleh46Nk+v35sTVIo+ADGljJOyAOoPKfaB8kFy4PBk1Jp
ksgKVeAAAlA2wbY8jkvke2gWUENupY09woMVOmc4lCtzi7q0hdyhcoL0LjBn
xS4PDHLT2iGyUKvV5Xisxm3mpyYAVxvntR88I+byQaYaWdQPsPNCVt/LwBtM
cVkDDqrD0VoT0y4eFCb+QK9Fgx55qcf0jTiXPJVVEo/fx54PjQnway57lZab
oi9ltrtizh56QiNTL1/w2/RFyvhLybGm6Fj1JPQ6N6Fo5jyFkRLPhBotv0ZP
z+Ygvsjf0dOu6osawX1TPkIwb2lTLfWl5s6hHt4zz8dHEuXemZ/X4ildZIdk
g2A3JlQV3BXxQtfQ3IE+7B/qK1Q7xWZCjgMbtqgusABJsIzT4poKsiHlqslc
azR1aZWmRR452wwJUkfvTuBI2rmjQy0HocTeA6IOPNiGCzRRKmEAIcw91Dk8
5ofxUeLIloQ3Vaqo3RH16RGZTKMhOIJBiiZjqySMtsama6fzpmUFelLHN9lK
wDGL3kK0yL8Fh8/2+Moiub0K4RSW2++DGQZ7ubaKnfOAmaeT6hoUFVYD2nS3
TXOfAticlZQRhX5iKSTzGaV2Z2DB6yIX2GEV4GFweUw6vDALMc4uxqseo/di
NAUxLKSF4lN9apaIKzNDUyjteNZgsnu42X6c1UFgiNnpAhpvGqxWw+9frRDb
PFg7PWd5lTzWhXSnc8kjVrS3z81StoJgZaQ1ButnBTyqTcGCFpWHi4jLlSgM
cSyCHJwF4pOAxgOk3o3e25SKMNx91dml43USZY35MGcbJrQCZtyqy/kH4+dB
EG/T0mNJiuEAOE01HFNRuhHYFwihtK0oxX+X1aeW6SBHtU7UjouUJQguBYgg
MfRUKKmQRKEsXmXivoGAImFFtuufaBv2HAwcV5RhwV4kRnb8g9QLa+IJVK6o
clDj24i7OMD3oKx2npfAfqyWqDgKFasA+Y0eE+5nszw5moDYA1yZO/rOtBIX
PWpp9aVhvAd91JysKRKcxdqsuc1EHRizfRLFkbEHvhXP9CnZ9kOi2rQ3iQvq
ez5idHJ0qG+qVIHeTvmcmqISsnc5VyRcPlNE9NZ87QkPc/0+9A4je1OsLDgd
p6VSYrZPA4mqeC440t5im5MrXxb6i5IGCrQt9P1MS492EXG+0wwjlKucoOMO
hWI2bXpgqujbRfnwWuOcESVbX0sieaOsKKjO760YGzgTYuqhZwaNVujyNQoS
BkQx8wd0xhN2nLMJxdc7vD68FuHh34ddGhnwlisws76ksoIuK6WNKTNiBjng
esE5anuzmMRFTsggnoYtURKwbunhy6PROfrVWUfS63FNR9xKNIaVA4HC9r9m
ml1a+7MMmk66hrApyzyW2cbkLcE+bb1YYoKd1I3LKSmzHM0neYONEBvQmoF7
tdgWNNEffSfRIp2cYpE0H+TNEL2ecQOP1BBsrHEsKFwG2zjn3KKe41k58+wO
iQh5uyj/oKdmislzUlzmHCayNO1gMJDoIaO9LmqlP7RXYq0pnBEKfReUs1x+
zl6KyhxG1b+WQHSOq8codNWgLaTedSlKBbrEzI3lQNKPNXqRJhAxr2yyByTj
PeAcUgrNHAYU3i+0aRYAC1WnDmfhQoDQ4bdWgFOy5XUc0EyuKom0x3KO8Brv
GrH+UOo0lJ6UawP/4ALo46+OpWIvppNh1oJjcInoN3XxUxF1gB7Nj+DKJb42
f4bEYD4TcMaUCq+7ezy5GzcyHAS2gP7rIkw7kXGWt4ZN9BXMHZvlpNYZRm6t
7qdnn/976mdw0zvim+x//U/3oRX4xJplelhrdlDrv3wFYYFPg4igwKctJ4Sn
zeyYbJ2jQuO9eX3mktbUqW++cLpolExgFTgvXBQrZSV61gO0V3ucahgzGxZX
gyGyDz/svXmjuKAXaY0WBBec/0JqYgGZfwMjfCyZB0r51kxKpMbXRJ/eDPx6
YPDUCXx+s42/HWX09SOvKCv/8sj7TX7gL70j7GBqpV85Diy7+XiTkTE7u+kD
xn3mCO/c7Vvv3CY50DMTmKCe5amjxwGyd9j9YollkKrCWm5zYJb6+peaBZdK
N+pfaPI+09e5/DJve5V8l3e/yGXjA6EI/0nf7Ne4Vu+2vpGClV3daYkMtdL2
c6Rikahf1jRMyzupMy6kF4wnZ6Rw8vi9KJgog5j8HMRTxaH9nBsBz6fYN5bk
/QzCULA2y+PL9iiHG5iz+A6HGEXpMS4znElcXevF2UrBhociDOjnfILyGV+C
P4hvTbpPbovTZ3o8ULDgtlQtRdTuTG8WkLStzc2tNCb8QooG57qlQB+ee0ww
AJa1yAD5AyhzS6uAG1grbQmKcvRZxl4V3bLtyMLl1S7DDog/F05eJwGHrUE5
M01pDiFqh29UtPElMRb3+wq/+fJlfRBUKUHhvjqfl+0F28+slSGN1hTnpJLo
eGpkqVQfNd4u0L4ZAHO0mJ8funX48B09xlpZZGUq4pPzpHj0tpJ0WrpS4LkV
3a/NCsvKWT9iy4TpyA6ikQVoXxto8Fzkt/j18WWRWLgMYxJyIM++RoSJYG79
PtP20YgvL8Cl6D5TGBVG+0dX65iDq+WF1Gsla3DZ3ZaOF63FG5CwwNcuGLlC
fQM9qXzZE+7NlVeBvjH4QC4km+6O+DykID0vfcLDx4V7IBzNDTfDw7slhkYh
HmmZaxlz8XmpCV5SlSeZZMzJwU77HKSks0j9jASzG6eqpPGsL3L7UtrR99sb
N6KRaeODkGf4CKHsYyH+uQ4MDgWzbJtLR6N9mhUy4ViLVbNfvJQQJ315ji95
qVRnQtxrA6BQkluqbMWAcvYfAyPAXjFf7ReByj3kmNvDSopWb29vbm7fDVi+
xmKy5A9lz/cBSQ72l8HTYvARVtDXE3iiRWUV7swV4oA2KQ9zEabGRpKwp0sA
ZcaZzpoCvYhe10S9Ma5/hBbm8rwKNRP8NDRQKY/qcRq3r7gadLR+beZcxrtX
lYQydblQ2Il4y5QjWZi8VfDiLagFsc8R0+ImHY7VaPKjmThonz2R5PqpkHXW
ZwOWrVyqAA3hVQZmXzw1IoO9YHAMLsQ5D3WpGNeAxsRxod7nSd515CijNIzW
LxPmV0IwFWevio/0roL4YLkgvr1YEN9WQTy7tSC+fRf2zoExcIZoty4Br7iW
h1t7wqHUOwa/Xbh+po6PGJnKcw1l8Urjsr/gaAg0VSHLpfFRmpKY9han7nFY
mWuuZBHNXiEhl0TD9SBvlTC/Lgt1C+oiJLHb906N8CmBEBLlwLFHgfwWBuwp
BFCMHl4/y3EKia/vo2L1wIxUrG1VsTzaF8uQZlLIe6gg32kfxtwAQHYgkv82
qlIlJomv95UvG0yjUEtrarTMdOspa3lCVYs9Hx6CWNmNlG7R2/49eYlfP8rO
7S+qYWz/GhpGHzr6GsadSNAdhLBfJoIt1lUXKcgqdJHM5QQt51i6vYa8bPae
nqzYEopSCMPv5Qt1EVIso1SV8W6HbeOI+JHvj0FekDa0Z7APxYWZtreoeLOm
2dV5G1S0WZfARV/2RuR17kE1n6c9HoGy45+mpwJFne2cUfzjDddzG0sk+03v
mm4zdHQptni7E+dPPaubYPfUGQUrCLrDTBlTraJRfIpKoLAyq8Q0cfain8Pp
taPAsT+q6bgtugHlNFDcJac1OHHD5UneKgMSH48qoYX4bSEtbuAzDAoZevFY
rrLFlrF3yTFIkWXtUbcKRpZAyULA2L6RRFiWNRcDw6PB4q82bgmFWxEcZjc0
92G1evbeFGlFLNtfCKbb5qZJ4fqZ5e34EHvhSq5Rtf8uP48alNkAWiXROAtX
ZRu5dng1xjb0kogTLlvWr4IUBCkoyrnp1uAvWIACUpiRE8Vb8Z402Up8+n6x
XEuPVfOxdr+JM7A0AqtXTBsn46KJSNS42iKu4hj7/rXSNDenjvHztvXm9MUO
XmHLlZqliVAtQaOy7X+mXbsmLbIppcz5qJuTHOGH6wUZPGsPBBofrOM2sMVC
7pybYZoOiYwyw6tKqtX//NA95GIfjHOUbTy31cMjKU9r7rILREmXZcfvMoWs
q/OC+jwBMJ3PUdvopdhxN6Mup+SVQOg+xRbdWPM1kv6GA6cWuhT5vHNjs2A1
sYSwoX3iF8iXE0HQ49pU7OdDFTyIgXTPUokfZJQUrW/TcVebocuYOC3C+rMv
pQ5J37kojgrXtIlvXtfGACJtkBc2vlXqq6qdg5JTziwbDCjoUj6nAv9nZ67S
Ozk+AX5GRRRgRLk2KRuD5CyKAOXvW60Xm70pLTiM85AjG4iJtGr9SIb7GNt1
IrJYArH5F+8Wu5ZdcGlQ7YUpdgSzkHCSlKAYF9mXgMK4faFldpLtss22n0s5
IlvJ9nd4MBzYFsOdiwW64w/Jz5m7CBOcTayWB2V98OOE6hT/Ym65RXx28f+Y
L1GMag8JN/7hJvqq93dsjXZ3YlIWlRUN+ajrO+fhTHSVJvDwkT91+pP0Huq8
sKu7CqErRIyt1e8uPbXoVHqb1LN5R+mXf3byhbnM5Hj44w3yJ/dBPJQIKJ6T
6obm1TlHAgNxeEaRmyS6+YH5miHaz5oNuu9h/f6zrpfmQ+HWeA0Lg+nviwQL
Pn+WfZc9zZ5kOyAVb2Vr364vv3H5eWT/jf63/Ob1//0p5Lw0LezzLedZCCF/
D0vWzzcQYnAS2Nf3a65q6PrgdrPASd9yR8f52Hb1KsDIO8x0+z1FaOCAWeH/
lQ/I0REHmbEKjb58UldSe3ulktvDp4nGaHw1nHLKE1q1z9hPgkZuh2yDPrJZ
CbaglITi2f2x6MYZYFhKZmaycePj0fOleLRQIwrZxxIMWUIfk9Cf+NlfRoSX
LTE9XArkF4y9jLgzpmbfZx6uxnVFSQVYTyPAJAyu9JAgoMzL/LBB0VaGfjIY
kaHYjwlHCzFboEUgjF2xi3PTF6XEr0iID83gEmPdz2SPrcv0nZTwyl38e2jW
dTZJQsxKTMw5oV9FpGCmwefhG14XIbP1c8UvXJ/0kPRdAw5Z4w3xnaJUFu7L
WTqZC/Ud/Y/IVbs4wqAfYPDxhqjP4nCCO07St1Py2jW2O1VxAJ7isrsUxC2d
QNl1o9kIXoNRNUP4ynEw7NeI9glHXGqC7xnUzS6QdADdx6oegXfg5rmLFT2N
oPepWrEQRf180rBqBSNqspJFDyUXVHzECqmd+B5dOF+pbWoCQ5pZDQBRU3bm
nMnBsLdOrqgo2mLeM2dZMXLTh1Wt1kIxqFJypAl3yY1J/FBsG2L0wK3AqTln
KhaewDJ23wBsSXUvnbvCvH6uX9Jy/SB1qUS1HzTZzKqA5akLuY05T97ZCIt7
3d6k5+hjqsTBRb/EmbVcE6PfqRYxHewlbooCJFifd3aE02tpixQ42ALLAusW
nmXBXEzxJEp1b0JzbxhRteB/YVQXxeZ48TqbmypHkBOJBKR7zKHCxx3E5tgg
nPs0OomixPyPhB32SG4l0kL0qlmAqTkbJQL7hU9rPxOZ7/jHlvuutSaABPMg
jC6dI7RYIomTuuM4GXzw4a12NMxewjTU7N26SUkeHr/BPagTvcCEvfjd5daC
3mCJB8qwVdh6DxHMjnVWsqO8DINpSGmQWn1+wYFhbySOiwPQPm3qT8QQADUi
7dpUb/vE3tL+10HIkYtfPkl97BiH9aVZkMjOpbAseVkLDIaZu1IDAO49Skjm
RQJx2R0MpIMHC5fftHgobT1vRta7MVtzldPXh/aC11iQ31r8uOAt/0Fo6z/D
1FPSDvtHwh0XJb4kYaPt5fSqaumldZRRg6gwJz9oxJO7UEmMRpK6LH0+79UC
cGVd2E5uduBUhBMGrlvrLJTVFITQYQIMQzwS6hqJKgrW0VFM6lEge6MofFmO
0UbtQNLDgmAlVHSdNZq4uBCcOVmcwztRHJIBXfiJa08HijSm96qN3tbnRQiZ
IZy6ESS33gf4YQ/Vggi/1urtuFJWfjzLIuAij75dx0e/zp2VCIjLCoQp5b7w
rHbpIVCUfm6/hCqG4VJ0GGeBAYCpHorDoWEgbOkVwBDX7UNio2U7+idIkMeV
vV10FTeA8YyNLApr3vNW3BjH9a7kIlD+qfIqwwoGJxf9Pjuc3eX5FLTZTlTF
Hx15vbYQThjEofxkKsDx96/23719++ro4NWBBH+FnS+sKLHWPLSOk+4Qx3E1
X7dkdYqx5xAJs3SpMfU+EY0vl0+bdTHWqNCYeGaHSkYprvgopUWlaiiGc6fM
Tq2rqaoOrNBFm4wf28w8GI5pGwvllg1lWgUSNWBK1F5x4XZpAUFtFe3E7BEX
+cUrhbQ4Nl3aWbGTjUqamzhTWkH3WieI4lc1WLhXnsZVO4F71KJ55Vk0rFxH
3+y+YCK/vkI3ugg9VcGmZg1W5EHHmY8668Olo1vl3LId5c1YVr+M5OWeqVMr
sUlPUReJkqCJZ53cUuil9/q5xOzQt/W6akeMp7YGrsZRjjziuTRi0GII0KVL
tS4pNqfTUJd1EgzzxsViuxJPOl5Ul6XVFo0rgwZQhcb3tOUncV64RymbCsf5
4HQ+nT2IYzVYmNHucLcv1Jio0ximd8Tf4/X+K6yA4rD5vGZN3dUjKs2H4HpV
uzaME6pwyh7loWvqR9osxwltA1WIK1JYLzekgdJhXkKLOEQqj7Mm15c3maJG
Cq42fLKeQxz3rzFuVL5CGijUWQtro8gRYJ/4sCvtju+QAoc9xrhQlITxcouk
Xu3rcMFRlbY4NEVj4uMutiqeNFaMsClcL2DkctJMxcKuRC6daeA7GYQlwefn
h/1ajYvywMwxYaWJw+5dJm4tUEK0RmBJnnE+ZHc7gdHBuJkFIGMVEOKh0iDX
5QYAOXXMC4u5FeKLlJqxY8zNHpp5sr8dVIUCTciixnuSIV419Vbw+lFxn819
zfzuEO6VnTPMWrHjXgM7t+lEMQMtGWdVSyoPvlRINXN1WAPqKi85gDHBxeUC
eLK4OG9qMOX4HGJHkoUzFiX4s0kYVF6Y7kbCQKIZqXgi11gs6PrKOOpwBVOc
reaHdJBdb09YVwibxef0O+uhHJvGsU0UqCUTWecsv49l2AWnX+qY9+ZaCpkg
HggJcYGlRKGnuESTXWGqqfI9cyHIQciOIscIfn6YrsoYpgMG9dqcKTkuTXct
ZVzJfHhVbwhH2VDGQe23xvOmwKK/42KSX1tDc6eeGmGRqqz5eKxXhbvrSAuc
iIGV2SkKK3QyrCsD6KKrYoqdM00yofJgTMSwte+ruHuBn5XOXd0Uv8lcK03A
cDTmBAbq3LCVS1sznGwNQ7F7as183Fk1xRSWKZXIxb6z4JSXCciufKM7+SjJ
WqX0Q8KsSs0KbBbslzll0MtLa3bgagy+wy1dlW1B+/P37YKD77T6KA3Pe9/0
0aTKoURT+v62vkdPBmiL2+8xkB3hOqhPON5gouNCyHTEUp+aAqEGfqnwo5gg
9NBdG10aUCWHFBoaHJS4XsMM8jVElU0/qWA9yCm01JvzPFl43klZRJA5Rs9K
/PNM/hze6P86byVGi25DhhGNV8ytaNblauV7phyUmru2oDfBqpLHqmhG3iZu
fCDZhUQiUMiI2LKrIUm1JbXnQVzF3TTNoIipaZLO5JNqTEYItKdzUxsgbQJJ
zXWtpQYPYdKEr5+deXMEHCk0LkkwpwRnhaU2gVle/9laJLUhHnreNNfKHb+N
XXi+WHK4sDpqKwibhVVmkxWhh8l6tX3CGaRS9mhmPr7Eai1txsoFGy0Ssrx8
JD3lqrFX0T9R3pP2iKE6CTJO24lWE/rXljhm/Ua5gAxWHlzijinrfsGUFoJn
Vw9XNSsiWuZ0o9COEwVUdmlX7brbjGGAO6i0BUkZI5mz0jYmBwGBph9SteU8
yisB7BEME5211DeXhSWva+sFg1NF616t5DTLo7q9dMazHq7c+qKui+iyhnIn
3OzGGmRQUWUVNCKGuvromZoL2VrZdCPEG24nQSL1HQIL/GrnUSyE+qO5cwpJ
4VzS2InhvRYngU4cMHOp+s89L6q7rfGKQyskMC8wYTFzSKRRqdswVu6JG/ah
yx8qiUmA3O/4cxZTsXHBUJ0apwXoMCgJxiwOO98xW5CmffSFEq8tj53EISMc
gMiLRJ+e12M7qlUdchiK+ImF+t4IzFcsrYbC61GvVSpO0jZnNkS0m6WAKXCh
88Spl37HTF9cMnO6GGDsjRkce94USSYVtjlMdCjUpS7AJhWEIgN0xiJLwpvW
63rmNmYNq9qkAumJGov05kTtfbTBnqbh1yFl2imvOSI9g1u4ibJnzlrA6b0i
3F62YXxyGcdjeXRH5MEatO9zqY/MWilbjjjkRmtgUz+gJEBFXMxlQxZAlq+1
sABJnsYGcTK2I8VA5ehsIj+NyH7yoiRTMopXDijbwBc+wp6w3FGbOmhTfEPv
YvqtucSCGd9FuiY93RCR0QQjck0HECiU5HBDtY+ufHmoMPUFJTjImF1GBNTc
IoEApgRV1IJgTbG/lCs5CyuPKwegVcHbi9DqfAI8cOwjfgRFAh9CBzMM3qg9
TbfL5rOxoECPsGe+/Ou3cI1FZhco2bdVkS9GQD5QaNAoiqdOvM5JOB5YKLil
wDFotZhiQKnLqL0q9+k7iLrd05OmvfhjaVejIq+CLBNrx+LdiDKVherb6vYD
zg0XddJAoPavsL/RaPkRedy+NXlcbusQO6ZhMmvJHlXEVweOMVNsLNNDJIRD
s5oGxfFj2u/a0UqHjDR9sMUkjm9Pr2MQxkMzXFuaZCgKzrsUUHc5xhyh2CLw
2wNUaWJK1ZPaK94ACIoDtmTEsdweBKFlnpCm9LuxEAPqtbloCulq4mW8s7St
SnKfu8R2AakE1GcThrJNcQ4EZMJFkLx+FIvkVM8pSkzM5ywJ3kJl1TEIT0KU
bfW4ndj8bbR6lThHzRRC4SatKyT6TwzuozEEfTdy0fGSbfSC8/Z1AOoWmBaV
2EsVKCYLZSABhpR55589o1KUF8qDarMaT2EM1YTSaQoEk9K7FyYcBCcyu5Ab
9awkRFsIgVzE99VFPYmjY4j69wQNDU+zIlhq8jfPPhv9Uy0/Bk7r8rr9nMVZ
KOo+Vm9yQ030ykneaAeqsrLWDCNXNStuGx2gz8AsjBEXKL1jDLO1SQxXgQr7
d2CDJFbdVvQ96klIg6j/0Sv21SXybSS+yePVGkyhQZqSYR4TyU2raO8VQlpq
7OVrDuNl8qB5ehxfro1Y1OWidFn9jVI2rAtkVsJ6Q5iUScXVDHmdkkOGpKpF
645aG3GTH24JqcAbEdEel/IE5uX4mjbH+tLIpsck1FjsmV1DQzUCdGB5HXjD
afhWFNjXB9qUBRboEIZKWCteo2+hQKR8e9AL0+9pVR9XgHsA17exPLGLi+5n
cC8L1H1MUKkUskHaihQ4cxU/78KFfO9dsvbYYMH+PHttylw5KVspfxCaEbO1
W5srBxGviNbHcSuxPSFFP8y5EqF17FGRHfDS20G48GEwlV4oW3lWmGhN1Fru
yfIgcJCEQHTpJCRB9dLGVb97fqygOSIsqQeVg1/LMtrrLxaAth8VHjZhq66d
FPBXJqDk3a8joPxYTcpPvmUokjh78ocEHufNOd7RFMkZDu0kjtZF89EZ+U1p
s9cYSTjUlu1evzw6h3kl9fkkeChPtOET/PX4h8pKm9lHk2I+ezGPESxq9vgg
7I3nzF9dpE2E00sElHgqI8WEERMg0PWYi22bGMSldmS6JBTYuOgJLtQvs8TL
YA9qqu9rN1C4RM0x9ufG9p8lpjN1s2mLunDH3CYsNN0OlltLk6bxr4bSg4Ti
Yuk/VHk2Ns7f3R5/ssKSvshiPvAt5qstvYtMiX3jQISXgWFMMGHQc66GBsWr
OxkUVeZbaKPqyzq3NCUyai82IA6WGRBtEGc0NE94X5K1pIK1RXUq1t1ZDxac
tYW/RYZCdB5goNcC9T+SotXN3jtTV33Q3hAjnjrme8YwU9fc084p1NBJBYvS
uleLDWWDu1jKsrtaylZZxnT2XqRCyjS2IHwxMJDdShTdI41wUIamqzTtoiju
r24BGngmoExApt8Su++0Ormwetx0ziCfRzeeTlkPFZsi2a00KUAtMeQMvTyD
KJTIBT75S8N5MEmob/aLaVzU6Ts2UgycvzFvPy3WKUxnchqdI46+fze6LptP
GIHKsoT1A/UOJKZd1FVksZ9SdLB+UFjPMDPwSuQltHfnhiZY49oFYcR6yrjQ
X1rs8Bx4Hs+FBj5nq3hHtqeur1un76PslhBOp4mTRS37MJ+pb8LKV8ijlEI4
GLyul9fAtna0lL62918xO4SSEXhkl1jsDUuxJqnpxOvB+DhkG9gZJrudYjom
VomX/qeas8NtrbgMmUXFBjmcImAH07si7ZYPO5Meu0TYNcwe+w+4KDgdKWqf
7kUNWezTlSrmi57NpPY/57hhDJ1LJKDu0le48naKdZUbf+0anDBvrUpEY6Ue
Jcy/nZ9hl3ZRLPXELBWirhJ8gxh/8k7YLsq3qRCt2cF+w1688/Ic49g99kPH
zXGhcVvcVHfnuDexT9NpqF675h5+1UmuGKWG29ihBocYcSCNgmNl05uDDKBE
c6MQ2BKFdi9KCwu7YDg7tzSgx0rU8ofWjrhHG8j2aymY5XRajEvgyljhk9Ou
K+1qHDJgv2xrflmXwI/gJDVxFHM7JVRdqGJ6ASTmpRn+Um2EcqMZIxesEI+l
rfm/tr1EVl1aye/LmpsZFS9JzSRA2TXl+bnfcv3NjmQacGEcqmYrgR4cINFy
U5RoBcAt8lmLUfqSEUMtdBuEHlqcdfGwYdcpP6TrL0Rr6wAyobUqvyYLF5Kr
O19HorfbyhtSkkwm7g1WtTy3Xw+gxPEt9SuWDu9b2Dy7Wi7m9LVFGjPi8bqX
Hrm4291Q846Mtvomh9RFLhDPg7rnIetel22bRIhS6tJ9O30GN2z7lQ0t6QcR
yHtLevz58J8wfuJZS8m6vrAbRv7E6VNL9xW7JUJ89ASihPYvSJY2r7vUu/At
wpl+dHPP1sLn28t3QBDoakCrsceFy57M3y2wr8gQUmc+EY5inqam8AJSxKRP
d295FOPiLAc+GmVd6Yr7twAEkYLIJUp9mn8up/OpJzk0ruOCzz8dYmjxfmcD
Pnl/+OrD0IKjvdyrRMsaT9r5JUlamJt1crE628yO0qyOPPc5lt/ikCepOVIn
be9ybKXH8Kj3TztvLH1/jStuIG2JwJemCpOzMWoNtk1W+pooJBq/ruXK8p6I
8jEgQDZ0MmcoxtfSCofjE0mvgljDWdbEzWL8FB8m30GL0I1iVjnVkB2rdMJH
H5/2Opt1Ilg37SZJPtS9miITZsr36rFV1wkLcz862UGty6F0ySR1dVZiLz0v
6iSUDhZGAgVW6RQnWWLKCD3TaIucFF1hvp+IaBDK1G7R/ZjG1kWIdl7x9lXH
mbfsXI46c/WDJ93p+JHAa1TfnEWr67j+RrBQvKfdiLv3Z28SaBfVJPBVXhKt
ubEWh8BOUGYXUA2kDM9vnNgh0Ku/C49zqTFJLHudRNb4m5BG1uSVwZrxXG+f
F0QO9FNsu8Z5tXgkWHTpIcAE13Hj+G6a6+eH8iFWKaNl7D/mina8psfvJSAA
zUNSbJ3M5FimXTz28GExOfMrymPYQ3XNJeZomllTkCzZlh32B5YikigkZjvE
cq94KEsPbVWsPUCL/Y9V2XlN/WrWUFxZQOnRYxXl1858NZnWuj7k7ZEhbFoU
wu5dPirX0G9qagthtdHMsKJ2PC6bx47BuL+bHC9XJaRY0zVZmV/3cl3prH7I
VQmHkVJtpfe5rCcKAU1JAfKuO5WckVeKc6B3zGX9qYnDlHLmEG/pWDAiR6gD
m/u6i4ZBG8nIXMkQIE9ZSQ2dfa8iGx7TGpfJQP0r4kJMZb0CsodYOIhuWtqT
xSVfVMINSih5A7zTeJR2A/YGYwwF+mecd2xVV9Nju0GHrIAa8fAxvD+WljXc
M3la9avD48tn8qFXo3lBXePkzx+zNR8g3CCXdxhEJxw3JBuuB2XCtUp4+tXE
k9xphwmAd9kLdiVPHhR+qb6bX76C3uZu8/PH8DXxUQbwmNyDe40rR/qA8yjR
jozW6BfEvssitTUS95e6942zUD6tLxdc+MIDT5y4XXiIu4t2JQ+/d6Xfkhd+
txXovujnj7c7A342fPU2V2HPhq+Gy3LsPLWl6NW7/Mir8SHEIt8SvKCa0qHS
z+wJAWsBwD5yDb4+YJ2097dZ6vtX+68Of3r1Pm4SEFJiK0yNi7GgQSrxgjn/
uJTekqgWKhd2SChbqpBJZDp9LDk4XtG9oO2rMr9peX7ReU1kCmebP8V0kbKy
Ki5tYTzxz0VTW06ILlY9kn7jXxRmLO+aOCL1vPNewK49UkKR0yDI5NonqMiB
iYEgJv94cKzV/wYsTEiUL0V7sQikETNd6jUu/M1mqQsqBlBca1UOJc3EzB4+
5NdBQuRl4HsyJxcPF+/sRT2RCEKyIUuIwomrBazFjecoWZ385OWaPBtmb9/h
Lw9A0ssnDwa4qv2DPfoI5MINZPMPvMWcNDka87MRAHWrSxLZ8AC2/aFoLmV1
JlteYmVeKdGM7mryQ56CQk/ZmCJEvaZ3DqiX2KxDZcwr/CkOElebDzaBaDTg
8O4CxHYe2LzruiHcHgVieNvBDWLuTmfpSFiHy9VIQoXALsT0sF7RQarg7Yoq
8Ucw/e5g8G32riqCqkvc6paz5fiOWXTje5SgXfboavkducfD/uVpap5AOZr3
yxEVxpb9w6bdHT8A4RfA4EGmd+t9Rc/bJX+LjJjEdLYIu+L0ttKGz6TLRfim
Y0ff0GlBFsp6psHVlJQ1uXYbe/PhZZvcjm7Foh1EfIdZ0CrPN8srwq1G23v7
4eXa5/XMA1yYaO16nYH2NaopkxzUlQhY6Ys37ou/BLhmfzlw/RsQ/hUB4bFU
wX3DNV37hFyur5iU44V+RL/ITVUACDSf2MBpFoCmkLi1NrxDLcIrJWXDK40B
ObreW1zjA5l1AxnEBk/ywCUWRLPHpUZoJMM939NNMRFw8dvPvIZxsDg5LC1z
+HkLfiQ46Z1/H9vPNtp1iQj9pv1GSwaGdWK5UO64CGzdvNRhAlbxVlu51SN0
C/zg8XTbcu+bvxwv9Ke2fFE6GRdkoLRG/Qq4Re9bn+17RCfE+nIR9NwL67O9
sPhlbj1ON1CqIm+h5Flz0UC6gB/qWfamxErKhlFKIoIkq84hGkWCqnCG3/3I
DltqByE+T0IN/nzobKdW8/DwGF+8kvBdrbRG8k9xaWeqSDl0cgFbuSeySaNg
GFDD+Nq5JGIaTn2wftFjEnsPMbqlwlzHei4dQsZ0RhyhyXVTzhotqrhJjKAq
MNA8J1mFSsa1rVXns8PpaitZeFA2ItgecigenNbaweE6Rfx5/VoIeMf6cEuM
R6BDD5HomiPgu4rJC4AoyoVmNDGCH0K1B1AJqPa+9aHaFqhHPHQMgkW4OxPB
NC9TqVnK7hdy0qA57BFPe/am/ngM9Pznn9+/3n/6m6dPsUVL9AaFu8BBdtzc
AHn/s6dUSZNM3Dzg31Fqh1dR96z8TMvzPyawOUN151CLy8KVHh4esKesLVQ1
ccTAU0iwVQFb0cXxx6oa0SQutWpBMBFI0GW1hV+j3Ktuy+b0sgFghpHWDl79
REFdx8fr4tro3COcoOe64HDYw5r0QsC4BdfwYF1yNOk4tVsC8hr3iBwUhpW9
xCUTflna4XU1umjqihyrLl5wBrgzw9Y9hb0t6XvOFXo2Ua/PinmVl80pDkci
FerGVbxBKg8UneoMqpCgTboQcDe4bKNcOK3ifFKf2kfC5tFobqEDANoCEYOV
yxMmY4jR/jLE0+wlhBnKjutMXTeJVCPf6MgdsZYt6iqIP2xM4TrIpR8E0LFY
FL8qkEc5WXa+Jz+lNhQMvnBj8r2ysA9m/WYs+vIllNlFeKm9jBBe2N2PNCYy
y4EcENyp6IZd+DF3G9cUB4wXIulSaI9Xdg2fFfBrXAtlxQs/sQWu0fo6OnmV
LR8LgNGns/2T8Glt4iiA58LiHuCmHuzNZvh71P1h0KsL6RqcWX1gpWalI4xh
tIrwIjg/z7KS8Yxe1wgRTpAezLBfxggdonkr5VRLdwnaiAV9vRfSDJMqb6Nf
k2It0bQ70q4RXtQNgYa3HhsqRoLkYQfw589hZ89mwYAL98Hx9QIMJ0b2fGf7
+ZcvGujZsjI3LbqLeiyu0ChOE2ADY7RJFJE1uYtgsqGOUjhuKVcjQXselMbb
I9ERpR2N78OXvxa+w6o8uZQ9d85ZjVAR2IdQCS0+z4Sni/e1phpqxZV6Zheh
hycMiTrqN2GHuVKbAhVo4VZAjcEdvC7JHTiMcVyj14DzFFVbB7rnr4HEaaGJ
Z0cBAsNwjWlInNbk2qKDaDUi0sLhRi9T3ATV3XSfcSQSmbeHIlp4XrHH48BH
hhMbpw77VLxrVQbEasYov56iR/IUMJk3gmbfRUwWE1YHv0yoovEphvIvLVuF
lgdrE3OFC3CVbMhUbGvO1lQhULmblAlABUrWiKQr4qLSg4s6COJp8F1QizI6
FKJ/WDbjWM5BGtcw0Tg1oY6KDxPLdQ9xXQPf8sKz9bi0/8pXkH7kvrT9IwVZ
MxUIrBwRoY6xfsWqboH9amaL7ZGui9Aw820uvjCopNUX7L8eZTWxKd6paEMU
NitVqJQqnfwadAjRaxIZ7Qr/U89vQ/miJvdYtBBmr/4aNFONbgvtbfgs5mvc
yW7WhxsfYDQKk3oWSkgXn4OTPYKIVVlzU5CXjehR+pD3qbzIfBof80g/dxVO
KHynGqOIcs3yJxH834Hg8WJna+sPRBfQVThQTQKrtaDYel5JcQfrFs5dFCWg
T+KH805DZgeWfs4SXUkWiBE215QuLjIYmkxwtZQ/382rqph4Yfq46Gl+PSgq
QmJ0YG7YvqgbXpyJggCPXRbxUkh+abp2HZ8auLoT48e1l5i36e2fBBIg1TPK
EdAakxW2BR4XA8uPwmESa5liqXEmuALIlE7Anm5ZYjEeAB1AeRuL/4uI8wEE
N1cth5gTp1TS9eDxYFjYOfbzYXvlf0NPrl58+4B28Ow3T579AY5bDSNiyfS9
sfTYzosd2Wg+B7my4Yut2YwDcw3GMpfsviH7GafPajS6bhsvUxjUlWR1k51/
QAkR2fk8b3JQVAvN4o9aWhELFpyjcLS2mI/rDVZ5BpoXd+V1ZWDFnnekMb3E
gFob0BYHI1JOvBNJ9A2z9XNqIeZK7zkYKvwu6CVVApHiu2+l/MuhbYTugGJd
1vUw2mCRcGjiSaf95Jy2RFJX3l1Yj+CuYWKg2oprl4viC7tmpFewv0dp1aa1
rrKzvL2QQkelgZw0ypHmQrlGHrojqQfOyuhG1xtlutW7UMz29RY5kEW6O/Zg
w6A6um+iuf6dbw40V+XrU3s9MyHHzuk29FqyhnFUktUy9FJ3+Au4b0zO3mHt
w+ptm9rGiqa7Ou8sLJARUU3X9HfWnJP3XZ7FkE6BzdYnRm1qg3BZs7r0OEgA
9wven2nhP4tyojFEM/TeR3UtBSUIgx+tk8HYpfQErAlTBNhBV5oDS+mhCM2D
ZSEyrnm6fyy4ZY37PLXGVOFVeVmtddMO2ot6PhlzpxvkSJIfXrYK79gFjaNc
4ITmlVycCCMcujsQCb1qidswZtBQlLuAa4fLHyHhpCGB5TJDsbKhJNgMBmmx
wOiXEwywW3E5Kjv2xna/isSWHe4d7VFDKfSCc3CTOFotUImDul19o5peorc/
FKBcUlvBaISHC79ztQA8HvU4CLIc7MHp4daxV12iXfKIbnOUq+PFs7BZ/tVV
U1NslvQRz3uNm8xA7XdvkqRELgQ7Z6e4mF6sVTq9CFxzo6s3qAbGHLGmM4JL
lbGUHFp4PiYX91mzrSkfj5mYtHpqAIMg/EyZclwJg9AaIBL7Rt7MMOsvFLss
lzTH2mwdnMZQmsQ3QBr10Fw63SklOvKcpOpQQsf5vCk49Dpbo91vf7e1JUQQ
YIOsg4i2LASKs3fl9QcBmY9dxKXEiFkxSLMTtC4jVjZDVIWtlRbITy6BOWwD
Y8vMkCWl5qYwC2wGCcseSXck41viq/b5xTSy5lLuk2YKM/25B2QvMQnuAnN+
Ok6Cj/soSyswHLnQidpZPvLcTS7mGoYgnY5qa0wX1wZqXXsujpDGCEArwxL3
L0bNeTSaz5D+BsXd7EFJV8LpK+tpKSlMQdYdH0vBJcNBXSn8hG9rsKXJHZRb
gS8CQmN1NSm6CpIEXiZWqYVTKUc6LIc9rk0wq3BUM83h6lokJciVYM5KWRV5
45WAcaEKtONWC3XyxdCVw94swZD5SttpWeBgV6eFV40QeLPXhrqfwmSZ96pD
qfIYeKd6V4Kg4mpN6XTeCdPyhgvuU+dwzs5gYRstueIU1iY1Vgmge/VLFWi6
lGUciF0QrV0N6sPXXF5chkEzAvecl4SO3IE4rkdLEZku6dv/JFFK1URtoIUk
9qKYzFxbxGSRr6i+P1Z0cFcmQrEIrt31jKvTCNHDyR1PIcwvwxoO3FELdgEM
hzADtNFcw8WkwHoEIPp0or4828mkRhJIDPUZoRz3ftM8QAJboN7jeqoC8rqa
rT3boeWx9fwyLnlZEsPbeSmGLyd6Ss6h2FT7zIrNlkIgWy44gYUiO7ZCXCut
XY+vmhJTvbiGSXEOhzUlUyRadXTbcZ0KP9A2YMAe/TOyFuT1EU/OgqaEjeQM
n9S6Z6vKuWFpTwTLKKGLtcloyFDLshBUoSm1Fg9LQRZE3BYmOQnhn9ZaQzEq
TlFzmQCXkkrVRirK6cdf0fxKMIXeaUBMSjvyvGTO9RoXATL0GTXXs64GDX0G
qIFrvgh7p0vllbycuvRPrVch8jfbzb1L7LxGpHCg7v6iKxsMXguFUr6LGFtW
l/XksjC+SJQhJybkitlw7yeS3koKnyGxQh/l+PnGZYGGsKA2CUx/9avUiIwc
ZQ0zMecEtsD6RQIWHPBIS/aQb+OSstv6pZDzmFDgXgFaR0WM55YxXEtV2t4D
uceRKNt36AVGwE3hBSjNR2idT4NKjanZ/s9//79bV3iWAJ8uu9AoqMTqmT8X
Y43rxD5EcHTSZ3DRTMOorqcUy5hJ3cK8W9l1yqtj7Zc3ARwpz/NO/JeumIig
ZJQFb0VxNN60zc80QIzZhGugPKHgNj4Fjkwc51O03ciBCk+lCFxpF0Tkkhxd
nVd5oPJayVPtFZjd+l/ECzwFAfis14g067XIllbAprICwRgXG/XZWRDjiSok
ZwY72kfK1l5YY5v0tLxiIXg/b7BybvaSSiqB6HkMYmAJuJjtT4DV4pZegeTS
jEF5Q4cZrBU0hIviz8Nsr0GFNz+9mGf/jGZikOCuh9n7/GI+yf4pH8NFDgcf
iua8BFEb0OrP2UsMPJzAiyBwVNfZ27z5VF+2n0r4ZFJ8zgkljkFlvoRV5C0a
ik4u5oAEwBf/aQ7nDmsFmMj+27wCKBhmB2VxXmcH83+tL7ElyavxOXDU90Br
OVV78OGihksuYcGfconNAsUPM8vhSDFTNlAwiDtgr2ghXJhOhEWTknkqr9jm
h+1nVb9EuoP5O0GiyjlV0iDK1Y6KCruou0LY3nguGVszYB7/eHDMivt5DQfB
dBhI7RwZU8dgYKGXUmRKylBQ8g7upJZie661qtMqF1aGcBk+IjZgrCUbToEg
jWU3fjfaDOCgsqiK/Xrv2NWQsSxjbv5+xjbFxmfP4ngkzQi/p7RUUWzGBQn3
XkY2sbUB7AznkZ29wdDNNxSeFUf0ST4Qk57tnSf0yfbOU3ZpShTp3mw2zKQ7
L0WMbkobgRE2WqI1uUOheUkX45BX0QyZeI2RsEnW+gGvfY3XyCv47tmLJ+wQ
/i3HjtF69ySsxEVPTWYX+e7u4eHB42dPGbs7+Hsb/uKlcYaud1jAgjECJrgW
ntgLzqIliHtvGAuLwdFpDBiMfp5Ppzb3gOOuPiAxpLgTKpuiIVbsqUEXqrTV
JhDgc9gME7S4HK68r7aRcU0iEOpmrQsHbgvPCcSgY7ZyrWGfj8uaovQ2JSkP
iIuBTEbuED8b81HqtwHmLdLtUgqj/SZHq/mcNzf6Xu+3Abaoxt3Bz6b9dmMf
3gw2V/zQCHRQNEL/t3ROqZ8MSdmXRLB+6BvAcA2SnikSfC8NeEHaam+KTMjD
m52gCtrtRrBkSomTOPrtxzCb8gOzW8mhRJssG3+PFcg+GJC9Od6AdVDupItG
K5eUabM8d4BMkTdypTSHB4RgqmWQQZakvmCPzmvPmm9VoOKL+QboGKOwKgp6
YxpLWfGHB0bUPHKl6BZUNdp/fKBgPKDwlK1BPzv4kfdPDMvBw48e2aHfSPz3
//qf7p/s5vWbm9fHNweHN9lPJBrBhzeAPmjqhF+Q60km+80NloDvMFe3l+J7
4/1jH1FG7Cb8sjcyALu5+R0GX/zh5o57Ch/09hQkbuIET7Ob7ezmZXnzzK2E
HSzwiwaJ0Eos9ZgHsaRK+OyFDrJ1x0G8ZLebna17DiLZS/TZ9jMZxDtYNtXD
L3gtEpfQG8TLT3Hb2X5+t5W4xA/vTHa++663kqUH++on4SfZzbOnMsjrVy+2
dneBq9z2dij8lD+zQVJn4j8YD7J3fPzLVyKhqOFKgEPe8mAffR/9PPL+cR9F
v9Af8heCPXn54VzReBPCCUo5t7xiHASPJDXI07sM4gHs/SA28MTfbpDRxaev
f7ADDgjc/soU120ipraZT2wDOvkfSGwXbudvxPb/n8T2d6RRAInTdI7sxo8E
xEF+t/2HFcB2Vgid/EMmLwcP/wUp9u9QH8Ld3Czezs6q7diR3KzczqozgSO5
8b5bciaLeMfW1tZt4OTX5h2on8ou7s877jjIfzbesfM33vE33nFL0P01eceP
szvzjv4gB1fJ7bhgIBrkdy/+sIIBKbG99RX/aryD7Fl3WMlfOcV+8XxnS86E
KjHsrN9g6QQ7qZvsd8CvV1DsOw7yn4dihxW8JCdbrE77nBDMiTBoXtqTAGN5
zGUhSYwGm7g5b2ZczEryGgKtC1NVOaVO6k3Lm6mSV+KWZfjeOKAsNyltcIaV
PfXdNzua8znwrdYcxVc2Y1kQhrxJvrKZx9nyjvHSYg3DFjhNkDGrXlCZrB3V
M/OJqcdAJnazOQttG6aUdHX2lHJvuPxXWFlPfSqRC8UFyarPxZwDrrzEQs9Z
HDfqOTpgDXwzMvHGjxW/PinglpyrpVWXm9etocqO6g30glIgPzcz8oMQrJdI
m2177b83M2xsBmvYpvaGV7AvM1h7RjlutBiY6ewf7RXjTKjZjTBbGPv7LeW8
fiXGvz1xzyfw++3sEZUQpCe8IpW7Wow5+/4fgtsLaUofuJS+nNwJorxuND5E
IV2S8kIudU8xZZgdSRgF4S41ZJGSXACGRJDWERqfME7G4TVcotla8eGTz3tI
87GsNo7qN3XbbhzB8m+BOUEjzFujjsQUoAf94+HRwZ/wap5pRW7Df+wr+dUw
6uP3W8OM5lkEH/bEdyufeLryiScrn9hZ+cT2yie2wifW4PSwb0nihe2Vm99e
ufntZZu3r58zii1FMPfi3+NYXEgeRpCSoDeDNNpF4LkI9wKYvBsGLgVMgkfE
0RBp3hcTXNm4vqJVbeD67oo5d+M8i1fJUgsV8Pc7hPVQKFuIQ38xBPqXr4BA
NEbm/zxfjU7B849XI5d8++y7p092trd6wLshwKus54bjpHa3t7fgf9u/hIjs
uBVEGE5//Opo3r+iLEbzLEbzs7yc+EWfo1Pa1lPa/34rcycFP6mTiijOvenJ
Po4ER8cTLqAuKTz+i5KYJPIupTe4DCaItyQ4Xpupr8St/8akVz2xlXgiTTkc
QtDP18DvbBmZ+PqcvIfmGaCeh3n69NqrakxEbDUuOhhfhozLAfue3N7r3rkS
Df/jkPC2PP+eGPlrs5TgiSUYuX1Hrr99R66/fS+ub4C+kusvxbloh8vpRTzn
1yCjWZJOLJXW7OtFdGKFKODI3v73WSQMJKWBrftJA8n5vgJR+hVJ0uCrSQek
LL3J225j72tTp2criNMwuWSprjm5prQB7CNleayUQDGiuGNq3BNSYKVo9iP0
LPpJULJb4cVi1Fj6UAI1+g89uc1DO4seujueLQb9PqZtr9peH9eS8/V2fK/3
dlLvCW7fcoMpzM4EuW+N14IyXx+9B7dAlFV4Yp2t7iGi8MZe/nXQAm2CbX4O
NOpQotDfkP2rIPtW9p8E2bPsX9LULMZ2zVJf0Lfodgd+W1LqTY5Cg/fOfajN
y/8YarMKFe9AVvb/8mRF8igXbUhpp0vJ9b0LHdeA6lObv5Gbe5Kbv25q45+B
EIpfQibQpbaVFdNZd33XA8rIwLPihP66hKH9vxR5+iooTRlEIdl6m3/GjcEs
X5tM7bzo0SlA8WG4M0lXxD4EkRLn1d2O35hS+TvNdLX6WprWbEnTwoTQKzy0
bEzLE9X2LPWVFXPzykdoUTZyKSsXsK7f74fiVOZSy7RUKiBoyfboU/a7N9t1
aMVVqzFCqf2VNAkiXN4WlzZt949H2EQYE8jw8FDI/bd5CQspsGrxkPr74lzU
fkbSwLfXQ+KdpNs9sh3jWc/qFD/QM8nED2zHBDZ+oGcEjs3Iv1n1wItVDzxf
9UCPM8UP9LhS/EDPeBU/sOokt1ed5HbPnh4/sLXiqH/Ta14aPfBi1QPPVz3w
bNUD36164OmqB56semBn1QPbqx7Y6j+QJX9uJqPJhmfftB/vVzcGs6IeLyoq
bky1YJxlmLUSHqIHFqygzwljw+tC6N1eRQe2l6zWGbe3FztUIttltIftRXtY
wsgdu/sqjHsBjxvckscRP46DBKn0bfY2x45VVH7h9Ye3X6QdVfBgSw9O9UFh
LFJ3xQo5Wit5bd5DRhKNb7T4wkRBDq5zG0WAuhAsrn2HLZp6ikIWhK4+CpOl
H2XZIXZzX4Jb8Q+mYzNy9sa+/QBHdcYi3O1e0XdUk73PzyC1v0fuHJIP+hG9
9MxN9hajhF39mGXT+DPeZH+P0/x74mfJmu2y/oEGQ+HBG5hq5FgZlzW6lfWl
Z+Bv3YtTvuXNrfoZRH/DMgN5K/H97c5h0ehIOtDIcbcXL+XkdFmPsF6u930Y
vb1i8MVT0SW9Ojpwf9xrmFutJiSwRzUQzrdAOD5UrjE0k6KAoFlos8SC4itE
BhNExK1HMQYEbY7ZXLDaR4oxCZDvnZO9z2iCwvNhlWN9FCSCJ6AKN9E77/d/
4q7bDonDhXgAbh3DOcb0/8IH5VdZQHQ/zP24RteAooi4Tqs87C0t6+vi+C+t
OHv1ebaZeOIyMeEgPLtH/19p17rUxpGF/+spOnEVAY/Bxq5kHcdyFQa85S3H
zgIu/pkaSRNQVtJQumGys36WPEuebM+tu0/fBHGmLMCaPn05fW79zXSfpMS6
x1/xGz3kgKuQ5RVt3sibZC2MXWFmI0dRkKmT4drKlF22/A2pUhYoutOZt+/f
nnk2gK5/A05ny+ZArC8XCUX4O2drSx1AhlcseaAz4psqagbt6k7KMojbrOR0
2LldKHKIGxoMZ24TXyVF1iTS+o6tEa02rH9lPQtFK72npMrPVfUq2vhZOANF
ip26mS/ZIWmzkkY737eI5zIgZ9e5aJbTUjTmv++CY8luwKz4a6KgebmBj0xK
jdDWjqPgm5W7tb9DVr1TLZ0wJHPBqqnaCm4UOWSEpNeB2K8vsCv9PvVoKyyA
McC74eSCO9/vz7E4/2fLFSkcWQOcd6zONx8sdr7pz4dr+Rs6lhd4TWqCb730
dKfL9jrmUNiqOVgum+l1Fbqgda8beqG/CAO0NX8SjlbWP/S6G9K0/qz5vLy4
sRFhJdbM7q4KmgT203SXRD52kaGe/Dym5KgZE1h54vNaQuKImN0NtEzZ2j5f
yznb2BlXWHEgdGxOoZP5wZZfxd2uqnA2wJUENdIA7Bm2XlyIY8w6/jPjfssO
AFvg+f5k8F83bzBu2CYEeQc95kMTvYhToJdNv6cZvbsXMdrijMB1PdDqi8F4
2e/vK73TxOXDoKoeay6LXF/EbUsTG8LwpiwkYvAWSeQ6a71B9JQld5P//ssX
oKQDkfhl95hP2Zfg/vzDdiTVV98RE+9W9ByUQnajto1Oq5dee6RAqQZrEHhy
zCt1yOS/Px6fnp0GrOIg69xyOusQvsQ+WabYsOtBmjWvfA4GmFkN/l8wrzj7
/TCIyTAxXHNU/CLd8cnJhxOWsFgqfdPGxGyJt3QCIxivuG/krRAOFydRjT0X
XwMPbvrO2lRipej3Dax+3itbVBA2Jxn0SZl/ah2u8JEiHmG8RKtiaUprAhs7
VD7u16vXyEDLG50QSMqMkAV8aA5efzg56+W9I1GJIDEVBTNdSVG8l7FBDa/N
FQE/HfPcpXufDDAV3RHcwC3WUKjnji/Iszbvdz0VxTPDgLl4z01p31B7bI88
GUc1gV/Fe4eJu1Uk6WXvcSEa6lCNLVcoM0pbiAtkBlSx5eg4iL6xHCQWM9H4
V0Vj8OBYskad8xZZ/jEPhjqyCKl4PMBC5OBsVOTFGr5eOyph4jBioWcPG66q
XzlHWuUHbjzfTMCxSny6BBPVyyo3GE/svTlrN31FZzXwbS7GMqsUBNpwSJpW
o2AyFcErtVz0rlWYLd0bTP3ymKeS2Ka++rzMMnrLL5WJgv8/H19eLaOxmrw+
dXn3oHUiY6qAqjQzSZOJUhFx9N1GjTIbogxaOXWeUSxOAWWpSqLcCrCG4FrL
BFe2WrvwYMqcCVKRNNq/Lq6cKbMs1R1F0Y2tnlDGBoqHSCJ/TGGxnZfBcipz
VbDvUQwcirLvbeFya1cQauAQTcCWl8VNizo7KZ9Mxgg5SuWBtVB3tq9KuXGo
mYm2NeUmSlx0oXfBKjY3U5VG47KUGV9irCUNrXxCWeAY6beyWIoyEv+YY11h
rMUFrPSOLTgv08KRAmWeNXRZI04Qvm/CU+aEWEbpLtCB02CCN546y5LM0XUy
2A0LIBOCgC+jaiv3Bp+Ol9LYx5pNXa+HLGWB0bd5clyxc3x54+j8/QWeGKuI
375JqWNauohDR+fvYGFCKbjCu3Y5l4vJS6sdGkYSXN8fgsyF10Vwu4xF8rz5
3/nbDq+8g5qvu/FM3SmHT94P1bRXAFLehW0WrBLTCsJJ1yaYs4hz2kGnYGe4
YCteMeZ5lyZJ6VP3CCZzspjX2Ezdm0xg5VYXtt++dAY15ZudR02LCwp2O1w8
M8tBn2KgVMgS/DRYUCQYqqMqYKhBmwleqtoMcdSN7JObyOQQ9hC7YkMb9zOP
eQK54zE/js2sA+2Kj36XtKcQP5moGzEkBYSLInKqCFPBQ4lRyOlu7HvW9mfK
xjWQCngVLB3VktctfH1I5UPBqqgI6eNFDR0J8FpWJLXgscPpFL1grwXVgipN
2r6mF/iV6bMQbFX1QyQiHr99SJauMmwQqKGST2kvXedD6FXAY02cY1G1SSs0
cYpDCgxZVpeQvCTm0tZ7QTDfOOA4JE/wyBzLIifBq1T8WXiY0Dkt7AjJ7Cy2
9u7d7v4uYcwxKzaZ7MoX2nzpQu9UoNfvn3jsUAplIMLg4u5vAD/VaXApG/78
g+kLlfP8sL9Kgj8Z8doEWKhqLjt2jYducq6KVRYKvZOvX/f2Dw1UhXTtrMEn
2n8FMHXnWqQx3VeBppufX8onnSzz94HTFDotLisi/lIwaBFMRNPCFRsvnB++
ZEIMmC1K5FEhO5DSgjxuEV84EHBUI6lqkwGBXv3o1YthFmtj2pDb7K3p9ycN
n4JoDNifaDubYpmeEWWYJTeVmhObKUOY6SdiRwELC+joL1UsgZ5VMQFPg/I4
xgvCTLVjpZuOf+pFEEVZlmq2IzXakY7fKnlsAV7P9xh+joIZ8PjyZKS7DxO6
LA65Gcf3gdyaXYcVkVphAJ9cHYE4uscA7mEyPpxwDGN5kyvFcPnRrAZxeSie
b37YIfpT4XkFNtyhF/T2QtYUuRUdMxo9bd/MZLpwTPCJFLq6m5Cvj9eY1sh8
wG29W3cTbUAV7jep7l9JJ+/QSr6UR8TCAQDVkInwyCcyyBQhU69NeCGwFqBq
GwBTfdGjBl3ZBrg08KFoLxdKku4ASx3QKl111x1QqX1JgNRBPxXyhAXA03Q2
UKaI3nLVkZW4KWTsiIOpRW5upcbGutLsQ5c70EnXXHz1EtFI8NwqwZ2JbpOs
EDaZvRiXLI4ueFgdTN/GjFaCk9/1Np9cyfujQfldDSTGF1kBtgjpzbLqY2z/
FWpepFEP4O9vT74GXZRQ9K/Bi2kw+sAmPseDEigP7K45G9N2hQf735v/PsDb
dHfxv2wCR9qoNl7Q/rRrX4vbzycJOIOUio3aMLcrpxAP3eHDeNzSQ3PE+cGW
UdLGFR6cTJkbcaPCFQSJ1H/Z2TdqriftLaX2fCj5zQ7mwAZMYbyaN3v4ZtKk
lj4QISbqxWTUZlvnsKzVu+q0Z2LnEbb1+AZPgUXi2yRLn1RK7+EurlvO3qv2
BdZBPzDxNecjHGAGyEZ1a42ZMFd4OjSmT8VU7piXctZMcCfiaMz5C+2k6gZk
40bYAzwCBvN24mYhPOcaZunw8REP8PEJ8+lptD9kBBOCbMCbZyoxdrNuJpgD
eGGmK5iRBoHR2u61xLO2axCOJTmuZtauLq8wfXpzOcdXj2l3jiRnprwkxP7v
FqZe2AS91Bk6I/vtkRyLTbmNbxewgH2kkv7Sqd1Y+BT3WMqOFCGk7/XR3bbC
Mb8cZbaho5gZT3JNogRt280qO0j8JuLFBHXqNtnnQknucNY5XS6K5ELSgrv0
0hSeJLO3E4m3HxjtxcSpxb0C2++5h0dn9aXZPiMqaA4zO4+Hq0k9p62kyOE5
LFrWzchtpdUbkySJeSOnnrfQXUxXSql5LavQpdSTyxYm6moq+kqjc4cY0EbY
8a/BseKU9JsUu15Nlubw5PDZU5rBJugA29vRijPJYoH4XfngpvAlwirMtmdS
TXjGckEM+aUeoZi/4O22Igoww+ftfGS2KQcpGo8wyWFN229/Ik5TJsTk9ni5
syeJRNy2W2qIp2h7H0Xoyc5ejw+iXxdL6hzE/rj1QTOsURmT4mhUxrPhZDXy
FoXe7q8nOOVOS84w0zRMfYv5ljHJvN8/zBkFrJqg5FfmPXzO4HPOe57dPmdM
Ydq2JBaS6nEKUzm+ntBgnnOf4CaeWT9pcKsycY7kol6345HtPU+rdTPI2Gm9
VNVKp5DhvlfcI3x5jkfim1Eagc3BzVFrWjAS0/HvrJYECDb1Yjy5tVKsTKHz
JJyb1qo3SrAyBzqTPeaTn8FnMr6cTUU16BGjtYw4RckB3fN4059NeuniNT8t
+DRFoO9tzIAJNzm+4y93uKuIFA8aECtOVr1agsHhZJpyVDkM+6adfYel1JME
zikuO7pJGhesoXo/IbDlBhm9z/lNMSM8NEGdQEF+Sz2/AWNxhd3g7e7Ue50B
edQ2nPVgimmtrfFvKY89j2QRjO+J/XaHhDsclmnGSMhqpFu5Xs1BSBtME2rb
Y+255fY05zh/A4eqC58JfgGRSGxawT8FfYLase3Xt9aKPXL1oKhyWcqCHLSH
A7GbJrEVsj0Bpyuzv2derzDR+aZIB9rmTPLgYUSFre/l/BNsF+sJR3Fczp5D
YEuCHK8maFPCbZYv1DkILtpB5SQvCJyooXUOFBaNJG/nYboTB8QSLTCzM+kp
VeYqwi6FEz8iyUSdTw7MD6jgi54JmIqiR/mhoZXB+PIShMIczIIEurci5TAA
YEMjqdytAgfHLkxpfYQMGjVKiL8dQKTxLQwLGs/1KTpwYYwDH0CdwKV2NR+i
U6wvMXhbCs+XVxCnBYrgcwP4caH01jgrHAyDtEr7TllFJaMaXPfUcRRY37wZ
rYZy/gcybI+VxyUDmbft1A3pULJpLK/wHKfhvKlRgKADMDTghtGxMLSFyUcO
xOv7Hbsqrlchvc2VQp6qnrEoOBUeQHM4cujIECdrQ+APE/8iDtuGnGFmISlh
YGgo6+Jq4viONPuymWG6+mZEqxoU/t5hPceb/wQf/ztFp4MGTfpqJu4VYymb
kvz0GpO/X0FhkK4Zb1L9eQxfwbDH4IAacwxsr4fQi0fmEGwFBC3mFuIVCq92
8IgVCnmxrn+B7YLGF2DmJs1vrbmEgAgipIPT/e8fP3ny7NkPfPaKtHx8cvTG
hVqZbtiagQu/IUB0dnz49Mn+D7v/+PHH5893f9kzuHqj9dcVe7UlOLsVucll
y5IPVv0/ngF2HzpKBMReOMO0rlsCS9EwGGQ22ZnF8KqFSNOIXOISaQX8wNxg
LfC6hbhYDOHH2Zjyly3pm8N6OpiPR6Asvf8DjnUhc6UIAgA=

-->

</rfc>

