<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.6 (Ruby 3.2.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-cbor-packed-11" category="std" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.20.0 -->
  <front>
    <title abbrev="Packed CBOR">Packed CBOR</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-cbor-packed-11"/>
    <author initials="C." surname="Bormann" fullname="Carsten Bormann">
      <organization>Universität Bremen TZI</organization>
      <address>
        <postal>
          <street>Postfach 330440</street>
          <city>Bremen</city>
          <code>D-28359</code>
          <country>Germany</country>
        </postal>
        <phone>+49-421-218-63921</phone>
        <email>cabo@tzi.org</email>
      </address>
    </author>
    <author initials="M." surname="Gütschow" fullname="Mikolai Gütschow">
      <organization abbrev="TU Dresden">TUD Dresden University of Technology</organization>
      <address>
        <postal>
          <street>Helmholtzstr. 10</street>
          <city>Dresden</city>
          <code>D-01069</code>
          <country>Germany</country>
        </postal>
        <email>mikolai.guetschow@tu-dresden.de</email>
      </address>
    </author>
    <date year="2024" month="February" day="26"/>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <?line 67?>

<t>The Concise Binary Object Representation (CBOR, RFC 8949 == STD 94) is a data
format whose design goals include the possibility of extremely small
code size, fairly small message size, and extensibility without the
need for version negotiation.</t>
      <t>CBOR does not provide any forms of data compression.
CBOR data items, in particular when generated from legacy data models,
often allow considerable gains in compactness when applying data
compression.
While traditional data compression techniques such as DEFLATE (RFC 1951) can work well for CBOR encoded data items, their disadvantage is
that the receiver needs to decompress the compressed form to make
use of the data.</t>
      <t>This specification describes Packed CBOR, a simple transformation of a
CBOR data item into another CBOR data item that is almost as easy to
consume as the original CBOR data item.  A separate decompression
step is therefore often not required at the receiver.</t>
      <t><cref anchor="status">The present version (-11) adds an author, the "record" function
tag (TBD114), a special role for the simple value <tt>undefined</tt>, and
a number of editorial cleanups.</cref></t>
    </abstract>
    <note removeInRFC="true">
      <name>About This Document</name>
      <t>
        Status information for this document may be found at <eref target="https://datatracker.ietf.org/doc/draft-ietf-cbor-packed/"/>.
      </t>
      <t>
        Discussion of this document takes place on the
        CBOR Working Group mailing list (<eref target="mailto:cbor@ietf.org"/>),
        which is archived at <eref target="https://mailarchive.ietf.org/arch/browse/cbor/"/>.
        Subscribe at <eref target="https://www.ietf.org/mailman/listinfo/cbor/"/>.
      </t>
      <t>Source for this draft and an issue tracker can be found at
        <eref target="https://github.com/cbor-wg/cbor-packed"/>.</t>
    </note>
  </front>
  <middle>
    <?line 106?>

<section anchor="intro">
      <name>Introduction</name>
      <t>The Concise Binary Object Representation (CBOR, <xref target="STD94"/>) is a data
format whose design goals include the possibility of extremely small
code size, fairly small message size, and extensibility without the
need for version negotiation.</t>
      <t>CBOR does not provide any forms of data compression.
CBOR data items, in particular when generated from legacy data models,
often allow considerable gains in compactness when applying data
compression.
While traditional data compression techniques such as DEFLATE <xref target="RFC1951"/> can work well for CBOR encoded data items, their disadvantage is
that the receiver needs to decompress the compressed form to make
use of the data.</t>
      <t>This specification describes Packed CBOR, a simple transformation of a
CBOR data item into another CBOR data item that is almost as easy to
consume as the original CBOR data item.  A separate decompression
step is therefore often not required at the receiver.</t>
      <t>This document defines the Packed CBOR format by specifying the
transformation from a Packed CBOR data item to the original CBOR data
item; it does not define an algorithm for a packer.
Different packers can differ in the amount of effort they invest in
arriving at a minimal packed form; often, they simply employ the
sharing that is natural for a specific application.</t>
      <t>Packed CBOR can make use of two kinds of optimization:</t>
      <ul spacing="normal">
        <li>
          <t>item sharing: substructures (data items) that occur repeatedly
in the original CBOR data item can be collapsed to a simple
reference to a common representation of that data item.
The processing required during consumption is limited to following
that reference.</t>
        </li>
        <li>
          <t>argument sharing: application of a function with two arguments, one of which is shared.
Data items (strings, containers) that share a prefix
or suffix, or more generally data items that can be
constructed from a function taking a shared argument and a rump data item,
can be replaced by a reference to the shared argument plus a rump data
item.
For strings and the default "concatenation" function, the processing
required during consumption is similar to
following the argument reference plus that for an indefinite-length
string.</t>
        </li>
      </ul>
      <t>A specific application protocol that employs Packed CBOR might allow
both kinds of optimization or limit the representation to item
sharing only.</t>
      <t>Packed CBOR is defined in two parts: Referencing packing tables
(<xref target="sec-packed-cbor"/>) and setting up packing tables
(<xref target="sec-table-setup"/>).</t>
      <section anchor="terms">
        <name>Terminology and Conventions</name>
        <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
        <?line -18?>

<dl>
          <dt>Original data item:</dt>
          <dd>
            <t>A CBOR data item that is intended to be expressed by a packed data
item; the result of all reconstructions.</t>
          </dd>
          <dt>Packed data item:</dt>
          <dd>
            <t>A CBOR data item that involves packed references (<em>packed CBOR</em>).</t>
          </dd>
          <dt>Packed reference:</dt>
          <dd>
            <t>A shared item reference or an argument reference.</t>
          </dd>
          <dt>Shared item reference:</dt>
          <dd>
            <t>A reference to a shared item as defined in <xref target="sec-referencing-shared-items"/>.</t>
          </dd>
          <dt>Argument reference:</dt>
          <dd>
            <t>A reference that combines a shared argument with a rump item as
defined in <xref target="sec-referencing-argument-items"/>.</t>
          </dd>
          <dt>Rump:</dt>
          <dd>
            <t>The data item contained in an argument reference that is combined
with the argument to yield the reconstruction.</t>
          </dd>
          <dt>Straight reference:</dt>
          <dd>
            <t>An argument reference that uses the argument as the left-hand side
and the rump as the right-hand side.</t>
          </dd>
          <dt>Inverted reference:</dt>
          <dd>
            <t>An argument reference that uses the rump as the left-hand side
and the argument as the right-hand side.</t>
          </dd>
          <dt>Function tag:</dt>
          <dd>
            <t>A tag used in an argument reference for the argument (straight
references) or the rump (inverted references), causing the
application of a function indicated by the function tag in order to
reconstruct the data item.</t>
          </dd>
          <dt>Packing tables:</dt>
          <dd>
            <t>The pair of a shared item table and an argument table.</t>
          </dd>
          <dt>Active set (of packing tables):</dt>
          <dd>
            <t>The packing tables in effect at the data item under consideration.</t>
          </dd>
          <dt>Reconstruction:</dt>
          <dd>
            <t>The result of applying a packed reference in the context of given
packing tables; we speak of the <em>reconstruction of a packed reference</em>
as that result.</t>
          </dd>
        </dl>
        <t>The definitions of <xref target="STD94"/> apply.
Specifically: The term "byte" is used in its now customary sense as a synonym for
"octet"; "byte strings" are CBOR data items carrying a sequence of
zero or more (binary) bytes, while "text strings" are CBOR data items carrying a
sequence of zero or more Unicode code points (more precisely: Unicode
scalar values), encoded in UTF-8 <xref target="STD63"/>.</t>
        <t>Where arithmetic is explained, this document uses the notation
familiar from the programming language C<!-- (including C++14's 0bnnn
binary literals) -->, except that ".." denotes a range that includes
both ends given, in the HTML and PDF versions, subtraction and
negation are rendered as a hyphen ("-", as are various dashes), and
superscript notation denotes exponentiation.
For example, 2 to the power of 64 is notated: 2<sup>64</sup>.
In the plain-text version of this specification, superscript notation
is not available and therefore is rendered by a surrogate notation.
That notation is not optimized for this RFC; it is unfortunately
ambiguous with C's exclusive-or and requires circumspection
from the reader of the plain-text version.</t>
        <t>Examples of CBOR data items are shown
in CBOR Extended Diagnostic Notation (Section <xref target="RFC8949" section="8" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/> in
conjunction with <xref section="G" sectionFormat="of" target="RFC8610"/>).
<!-- mention edn-literal here if that completes faster -->
        </t>
      </section>
    </section>
    <section anchor="sec-packed-cbor">
      <name>Packed CBOR</name>
      <t>This section describes the packing tables, their structure, and how
they are referenced.</t>
      <section anchor="sec-packing-tables">
        <name>Packing Tables</name>
        <t>At any point within a data item making use of Packed CBOR, there is an
<em>active set</em> of packing tables that applies.</t>
        <t>There are two packing tables in an active set:</t>
        <ul spacing="normal">
          <li>
            <t>Shared item table</t>
          </li>
          <li>
            <t>Argument table</t>
          </li>
        </ul>
        <t>Without any table setup, these two tables are empty arrays.
Table setup can cause these arrays to be non-empty, where the elements are
(potentially themselves packed) data items.
Each of the tables is indexed by an unsigned integer (starting
from 0).
Such an index may be derived from information in tags and their
content as well as from CBOR simple values.</t>
        <t>Table setup mechanisms (see <xref target="sec-table-setup"/>) may include all
information needed for table setup within the packed CBOR data item, or
they may refer to external information.  This information may be
immutable, or it may be intended to potentially grow over time.
This raises the question of how a reference to a new item should be
handled when the unpacker uses an older version of the external
information.</t>
        <t>If, during unpacking, an index is used that references an item that is
unpopulated in (e.g., outside the size of) the table in use, this <bcp14>MAY</bcp14> be treated as an
error by the unpacker and abort the unpacking.
Alternatively, the unpacker <bcp14>MAY</bcp14> provide the special value
<tt>1112(undefined)</tt> (the simple value &gt;undefined&lt; as per Section <xref target="RFC8949" section="5.7" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>, enclosed in the tag 1112) to the application and leave the
error handling to the application.
An unpacker <bcp14>SHOULD</bcp14> document which of these two alternatives has been
chosen.
CBOR based protocols that include the use of packed CBOR
<bcp14>MAY</bcp14> require that unpacking errors are tolerated in some positions.</t>
      </section>
      <section anchor="sec-referencing-shared-items">
        <name>Referencing Shared Items</name>
        <t>Shared items are stored in the shared item table of the active set.</t>
        <t>The shared data items are referenced by using the reference data items
in <xref target="tab-shared"/>.  When reconstructing the original data item, such a
reference is replaced by the referenced data item, which is then
recursively unpacked.</t>
        <table anchor="tab-shared">
          <name>Referencing Shared Values</name>
          <thead>
            <tr>
              <th align="left">reference</th>
              <th align="left">table index</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">Simple value 0..15</td>
              <td align="left">0..15</td>
            </tr>
            <tr>
              <td align="left">Tag 6(unsigned integer N)</td>
              <td align="left">16 + 2*N</td>
            </tr>
            <tr>
              <td align="left">Tag 6(negative integer N)</td>
              <td align="left">16 - 2*N - 1</td>
            </tr>
          </tbody>
        </table>
        <t>As examples,
the first 22 elements of the shared item table are referenced by
<tt>simple(0)</tt>, <tt>simple(1)</tt>, ... <tt>simple(15)</tt>, <tt>6(0)</tt>, <tt>6(-1)</tt>, <tt>6(1)</tt>,
<tt>6(-2)</tt>, <tt>6(2)</tt>, <tt>6(-3)</tt>.
(The alternation between unsigned and negative integers for even/odd
table index values — "zigzag encoding" — makes systematic use of
shorter integer encodings first.)</t>
        <t>Taking into account the encoding of these referring data items, there
are 16 one-byte references, 48 two-byte references, 512 three-byte
references, 131072 four-byte references, etc.
As CBOR integers can grow to very large (or very negative) values,
there is no practical limit to how many shared items might be used in
a Packed CBOR item.</t>
        <t>Note that the semantics of Tag 6 depend on its tag content: An integer
turns the tag into a shared item reference, whereas a string or
container (map or array) turns it into a straight (prefix) reference (see
<xref target="tab-straight"/>).
Note also that the tag content of Tag 6 may itself be packed, so it
may need to be unpacked to make this determination.</t>
      </section>
      <section anchor="sec-referencing-argument-items">
        <name>Referencing Argument Items</name>
        <t>The argument table serves as a common table that can be used for argument
references, i.e., for concatenation as well as references involving a
function tag.</t>
        <t>When referencing an argument, a distinction is made between straight
and inverted references; if no function tag is involved, a straight
reference combines a prefix out of the argument table with the rump
data item, and an inverted reference combines a rump data item with a
suffix out of the argument table.</t>
        <table anchor="tab-straight">
          <name>Straight Referencing (e.g., Prefix) Arguments</name>
          <thead>
            <tr>
              <th align="left">straight reference</th>
              <th align="right">table index</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">Tag 6(rump)</td>
              <td align="right">0</td>
            </tr>
            <tr>
              <td align="left">Tag 224..255(rump)</td>
              <td align="right">0..31</td>
            </tr>
            <tr>
              <td align="left">Tag 28704..32767(rump)</td>
              <td align="right">32..4095</td>
            </tr>
            <tr>
              <td align="left">Tag 1879052288..2147483647(rump)</td>
              <td align="right">4096..268435455</td>
            </tr>
          </tbody>
        </table>
        <table anchor="tab-inverted">
          <name>Inverted Referencing (e.g., Suffix) Arguments</name>
          <thead>
            <tr>
              <th align="left">inverted reference</th>
              <th align="right">table index</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">Tag 216..223(rump)</td>
              <td align="right">0..7</td>
            </tr>
            <tr>
              <td align="left">Tag 27647..28671(rump)</td>
              <td align="right">8..1023</td>
            </tr>
            <tr>
              <td align="left">Tag 1811940352..1879048191(rump)</td>
              <td align="right">1024..67108863</td>
            </tr>
          </tbody>
        </table>
        <t>Argument data items are referenced by using the reference data items
in <xref target="tab-straight"/> and <xref target="tab-inverted"/>.</t>
        <t>The tag number of the reference is used to derive a table index (an
unsigned integer) leading
to the "argument"; the tag content of the reference is the "rump item".</t>
        <t>When reconstructing the original data item, such a reference is
replaced by a data item constructed from the argument data item found
in the table (argument, which might need to be recursively unpacked
first) and the rump data item (rump, again possibly needing to be
recursively unpacked).</t>
        <t>Separate from the tag used as a reference, a tag ("function tag") may
be involved to supply a function to be used in resolving the
reference.  It is crucial not to confuse reference tag and, if
present, function tag.</t>
        <t>A straight reference uses the argument as the provisional left-hand
side and the rump data item as the right-hand side.
An inverted reference uses the rump data item as the provisional
left-hand side and the argument as the right-hand side.</t>
        <t>In both cases, the provisional left-hand side is examined.  If it is a
tag ("function tag"), it is "unwrapped": The function tag's tag number
is used to indicate the function to be applied, and the tag content is
kept as the unwrapped left-hand side.
If the provisional left-hand side is not a tag, it is kept as the
unwrapped left-hand side, and the function to be applied is
concatenation, as defined below.
The right-hand side is taken as is as the unwrapped right-hand side.</t>
        <t>If a function tag was given, the reference is replaced by the result
of applying the indicated unpacking function with the left-hand side
as its first argument and the right-hand side as its second.
The unpacking function is defined by the definition of the tag number
supplied.
If that definition does not define an unpacking function, the result
of the unpacking is not valid.</t>
        <t>If no function tag was given, the reference is replaced by the
left-hand side "concatenated" with the right-hand side, where
concatenation is defined as in <xref target="sec-concatenation"/>.</t>
        <t>As a contrived (but short) example, if the argument table is
<tt>["foobar", h'666f6f62', "fo"]</tt>, each of the following straight (prefix)
references will unpack to <tt>"foobart"</tt>: <tt>6("t")</tt>, <tt>225("art")</tt>,
<tt>226("obart")</tt> (the byte string h'666f6f62' == 'foob' is concatenated
into a text string, and the last example is not an optimization).</t>
        <t>Note that table index 0 of the argument table can be referenced both
with tag 6 and tag 224,
however tag 6 with an integer content is used for shared item
references (see <xref target="tab-shared"/>), so to combine index 0 with an integer
rump, tag 224 needs to be used.
The preferred encoding uses tag 6 if that is not necessary.</t>
        <!-- 2<sup>28</sup>2<sup>12</sup>+2<sup>5</sup>+2<sup>0</sup> -->

<t>Taking into account the encoding and ignoring the less optimal tag
224, there is one single-byte straight (prefix)
reference, 31 (2<sup>5</sup><tt>-</tt>2<sup>0</sup>) two-byte references, 4064
(2<sup>12</sup><tt>-</tt>2<sup>5</sup>) three-byte references, and 26843160
(2<sup>28</sup><tt>-</tt>2<sup>12</sup>) five-byte references for straight references.
268435455 (2<sup>28</sup>) is an artificial limit, but should be high
enough that there, again, is no practical limit to how many prefix
items might be used in a Packed CBOR item.
The numbers for inverted (suffix) references are one quarter of those, except
that there is no single-byte reference and 8 two-byte references.</t>
        <aside>
          <t>Rationale:
Experience suggests that straight (prefix) packing might be more
likely than inverted (suffix) packing.  Also for this reason, there is no intent
to spend a 1+0 tag value for inverted packing.</t>
        </aside>
      </section>
      <section anchor="sec-concatenation">
        <name>Concatenation</name>
        <t>The concatenation function is defined as follows:</t>
        <ul spacing="normal">
          <li>
            <t>If both left-hand side and right-hand side are arrays, the result of
the concatenation is an array with all elements of the
left-hand-side array followed by the elements of the right-hand side
array.</t>
          </li>
          <li>
            <t>If both left-hand side and right-hand side are maps, the result of
the concatenation is a map that is initialized with a copy of the
left-hand-side map, and then filled in with the members of the
right-hand side map, replacing any existing members that have the
same key.
In order to be able to remove a map entry from the left-hand-side
map, as a special case, any members to be replaced with a value of
<tt>undefined</tt> (0xf7) from the right-hand-side map are instead removed,
and right-hand-side members with the value <tt>undefined</tt> are never
filled in into the concatenated map.</t>
          </li>
        </ul>
        <aside>
          <t>NOTES:</t>
          <ul spacing="normal">
            <li>
              <t>One application of the rule for straight references is to supply
default values out of a dictionary, which can then be overridden by
the entries in the map supplied as the rump data item.</t>
            </li>
            <li>
              <t>Special casing the member value <tt>undefined</tt> makes it impossible to
use this construct for updating maps by insertion of or
replacement with actual <tt>undefined</tt> member values; <tt>undefined</tt> as a
member value on the left-hand-side map stays untouched though.
This exception is similar to the one JSON Merge Patch <xref target="RFC7396"/> makes
for <tt>null</tt> values, which are however much more commonly used and
therefore more problematic.</t>
            </li>
          </ul>
        </aside>
        <ul spacing="normal">
          <li>
            <t>If both left-hand side and right-hand side are one of the string
types (not necessarily the same), the bytes of the left-hand side
are concatenated with the bytes of the right-hand side.
Byte strings concatenated with text strings need to contain valid
UTF-8 data.
The result of the concatenation gets the type of the unwrapped rump
data item; this way a single argument table entry can be used to
build both byte and text strings, depending on what type of rump is
being used.</t>
          </li>
        </ul>
        <ul spacing="normal" anchor="implicit-join">
          <li>
            <t>If one side is one of the string types, and the other side is an
array, the result of the concatenation is equivalent to the
application of the "join" function (<xref target="join"/>) to the string as the
left-hand side and the array as the right-hand side.
The original right-hand side of the concatenation determines the
string type of the result.</t>
          </li>
          <li>
            <t>Other type combinations of left-hand side and right-hand side are
not valid.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-discussion">
        <name>Discussion</name>
        <t>This specification uses up a large number of Simple Values and Tags,
in particular one of the rare one-byte tags and two thirds of the one-byte
simple values.  Since the objective is compression, this is warranted
only based on a consensus that this specific format could be
useful for a wide area of applications, while maintaining reasonable
simplicity in particular at the side of the consumer.</t>
        <t>A maliciously crafted Packed CBOR data item might contain a reference
loop.  A consumer/decompressor <bcp14>MUST</bcp14> protect against that.</t>
        <aside>
          <t>Different strategies for decoding/consuming Packed CBOR are available.<br/>
For example:</t>
          <ul spacing="normal">
            <li>
              <t>the decoder can decode and unpack the packed item, presenting an
unpacked data item to the application.  In this case, the onus of
dealing with loops is on the decoder.  (This strategy generally has
the highest memory consumption, but also the simplest interface to
the application.)  Besides avoiding getting stuck in a reference
loop, the decoder will need to control its resource allocation, as
data items can "blow up" during unpacking.</t>
            </li>
            <li>
              <t>the decoder can be oblivious of Packed CBOR.  In this case, the onus
of dealing with loops is on the application, as is the entire onus
of dealing with Packed CBOR.</t>
            </li>
            <li>
              <t>hybrid models are possible, for instance: The decoder builds a data
item tree directly from the Packed CBOR as if it were oblivious, but
also provides accessors that hide (resolve) the packing.  In this
specific case, the onus of dealing with loops is on the accessors.</t>
            </li>
          </ul>
          <t>In general, loop detection can be handled in a similar way in which
loops of symbolic links are handled in a file system: A system-wide
limit (often set to a value permitting some 20 to 40 indirections for
symbolic links) is applied to
any reference chase.</t>
        </aside>
        <aside>
          <t>NOTE:
The present specification does nothing to help with the packing of CBOR
sequences <xref target="RFC8742"/>; maybe such a specification should be added.</t>
        </aside>
      </section>
    </section>
    <section anchor="sec-table-setup">
      <name>Table Setup</name>
      <t>The packing references described in <xref target="sec-packed-cbor"/> assume that
packing tables have been set up.</t>
      <t>By default, both tables are empty (zero-length arrays).</t>
      <t>Table setup can happen in one of two ways:</t>
      <ul spacing="normal">
        <li>
          <t>By the application environment, e.g., a media type.  These can
define tables that amount to a static dictionary that can be used in
a CBOR data item for this application environment.
Note that, without this information, a data item that uses such a
static dictionary can be decoded at the CBOR level, but not fully
unpacked.
The table setup mechanisms provided by this document are defined in
such a way that an unpacker can at least recognize if this is the
case.</t>
        </li>
        <li>
          <t>By one or more <em>table-building</em> tags enclosing the packed content.
Each tag is usually defined to build an augmented table by adding to
the packing tables that already apply to the tag, and to apply the
resulting augmented table when unpacking the tag content.
Usually, the semantics of the tag will be to prepend items to one or
more of the tables.
(The specific behavior of any such tag, in the presence of a table
applying to it, needs to be carefully specified.)  </t>
          <t>
Note that it may be useful to leave a particular efficiency tier
alone and only prepend to a higher tier; e.g., a tag could insert
shared items at table index 16 and shift anything that was already
there further along in the array while leaving index 0 to 15 alone.
Explicit additions by tag can combine with application-environment
supplied tables that apply to the entire CBOR data item.  </t>
          <t>
Packed item references in the newly constructed (low-numbered) parts
of the table are usually interpreted in the number space of that table
(which includes the, now higher-numbered, inherited parts), while
references in any existing, inherited (higher-numbered) part continue
to use the (more limited) number space of the inherited table.</t>
        </li>
      </ul>
      <t>Where external information is used in a table setup mechanism that is
not immutable, care needs to be taken so that, over time, references
to existing table entries stay valid (i.e., the information is only
extended), and that a maximum size of this
information is given.  This allows an unpacker to recognize references
to items that are not yet defined in the version of the external
reference that it uses, providing backward and possibly limited
(degraded) forward compatibility.</t>
      <t>For table setup, the present specification only defines two simple
table-building tags,
which operate by prepending to the (by default empty) tables.</t>
      <aside>
        <t>Additional tags can be defined for dictionary referencing (possible combining that
with Basic Packed CBOR mechanisms).
The desirable details are likely to vary
considerably between applications.
A URI-based reference would be
easy to define, but might be too inefficient when used in the likely
combination with an <tt>ni:</tt> URI <xref target="RFC6920"/>.</t>
      </aside>
      <section anchor="sec-basic-packed-cbor">
        <name>Basic Packed CBOR</name>
        <t>Two tags are predefined by this specification for packing table setup.
They are defined in CDDL <xref target="RFC8610"/> as in <xref target="fig-cddl"/>:</t>
        <figure anchor="fig-cddl">
          <name>Packed CBOR in CDDL</name>
          <sourcecode type="cddl"><![CDATA[
Basic-Packed-CBOR = #6.113([[*shared-and-argument-item], rump])
Split-Basic-Packed-CBOR =
                    #6.1113([[*shared-item], [*argument-item], rump])
rump = any
shared-and-argument-item = any
argument-item = any
shared-item = any
]]></sourcecode>
        </figure>
        <t>(This assumes the allocation of tag numbers 113 ('q') and 1113 for
these tags.)</t>
        <t>The array given as the first element of the content of tag 113
("Basic-Packed-CBOR") is prepended to both the tables for shared items
and arguments that apply to the entire tag (by default empty tables).
The arrays given as the first and second element of the content of the
tag 1113 ("Split-Basic-Packed-CBOR") are prepended to the tables for
shared items and arguments, respectively,
that apply to the entire tag (by default
empty tables).
As discussed in the introduction to this section, references
in the supplied new arrays use the new number space (where inherited
items are shifted by the new items given), while the inherited items
themselves use the inherited number space (so their semantics do not
change by the mere action of inheritance).</t>
        <t>The original CBOR data item can be reconstructed by recursively
replacing shared and argument references encountered in the rump by
their reconstructions.</t>
      </section>
    </section>
    <section anchor="sec-function-tags">
      <name>Function Tags</name>
      <t>Function tags that occur in an argument or a rump supply the semantics
for reconstructing a data item from their tag content and the
non-dominating rump or argument, respectively.
The present specification defines three function tags.</t>
      <section anchor="join">
        <name>Join Function Tags</name>
        <t>Tag 106 ('j') defines the "join" unpacking function, based on the
concatenation function (<xref target="sec-concatenation"/>).</t>
        <t>The join function expects an item that can be concatenated as its
left-hand side, and an array of such items as its right-hand side.
Joining works by sequentially applying the concatenation function to
the elements of the right-hand-side array, interspersing the left-hand
side as the "joiner".</t>
        <t>An example in functional notation: <tt>join(", ", ["a", "b", "c"])</tt>
returns <tt>"a, b, c"</tt>.</t>
        <t>For a right-hand side of one or more elements, the first element
determines the type of the result when text strings and byte
strings are mixed in the argument.
For a right-hand side of one element, the joiner is not used, and that
element returned.
For a right-hand side of zero elements, a neutral element is generated
based on the type of the joiner
(empty text/byte string for a text/byte string, empty array for an array, empty map for a map).</t>
        <t>For an example, we assume this unpacked data item:</t>
        <sourcecode type="cbor-diag"><![CDATA[
["https://packed.example/foo.html",
 "coap:://packed.example/bar.cbor",
 "mailto:support@packed.example"]
]]></sourcecode>
        <t>A packed form of this using straight references could be:</t>
        <sourcecode type="cbor-diag"><![CDATA[
113([[106("packed.example")],
  [6(["https://", "/foo.html"]),
   6(["coap://", "/bar.cbor"]),
   6(["mailto:support@", ""])]
])
]]></sourcecode>
        <t>Tag 105 ('i') defines the "ijoin" unpacking function, which is exactly
like that of tag 106, except that the left-hand side and right-hand
side are interchanged ('i').</t>
        <t>A packed form of the first example using inverted references and the ijoin tag could be:</t>
        <sourcecode type="cbor-diag"><![CDATA[
113([["packed.example"],
  [216(105(["https://", "/foo.html"])),
   216(105(["coap://", "/bar.cbor"])),
   216("mailto:support@")]
])
]]></sourcecode>
        <t>A packed form of an array with many URIs that reference SenML items
from the same place could be:</t>
        <sourcecode type="cbor-diag"><![CDATA[
113([[105(["coaps://[2001::db8::1]/s/", ".senml"])],
  [6("temp-freezer"),
   6("temp-fridge"),
   6("temp-ambient")]
])
]]></sourcecode>
        <t>Note that for these examples, the implicit join semantics for mixed
string-array concatenation as defined in <xref target="implicit-join"/> actually
obviate the need for an explicit join/ijoin tag; the examples do serve
to demonstrate the explicit usage of the tag.</t>
      </section>
      <section anchor="record">
        <name>Record Function Tag</name>
        <t>Tag 114 ('r') defines the "record" function, which combines
an array of keys with an array of values into a map.</t>
        <t>The record function expects an array as its left-hand side,
whose items are treated as key items for the resulting map,
and an array of equal or shorter length as its right-hand side,
whose items are treated as value items for the resulting map.</t>
        <t>The map is constructed by grouping key and value items
with equal position in the provided arrays into pairs that constitute the resulting map.</t>
        <t>The value item array <bcp14>MUST NOT</bcp14> be longer than the key item array.</t>
        <t>The value item array <bcp14>MAY</bcp14> be shorter than the key item array, in which
case the one or more unmatched value items towards the end are treated as <em>absent</em>.
Additionally, value items that are the CBOR simple value <tt>undefined</tt>
(simple(23), encoding 0xf7) are also treated as absent.
Key items whose matching value items are absent are not included in the resulting map.</t>
        <t>For an example, we assume this unpacked data item:</t>
        <sourcecode type="cbor-diag"><![CDATA[
[{"key0": false, "key1": "value 1", "key2": 2},
 {"key0": true, "key1": "value -1", "key2": -2},
 {"key1": "", "key2": 0}]
]]></sourcecode>
        <t>A straightforward packed form of this using the record function tag could be:</t>
        <sourcecode type="cbor-diag"><![CDATA[
113([[114(["key0", "key1", "key2"])],
  [6([false, "value 1", 2]),
   6([true, "value -1", -2]),
   6([undefined, "", 0])]
])
]]></sourcecode>
        <t>A slightly more concise packed form can be achieved by manipulating the key item order
(recall that the order of key/value pairs in maps carries no semantics):</t>
        <sourcecode type="cbor-diag"><![CDATA[
113([[114(["key1", "key2", "key0"])],
  [6(["value 1", 2, false]),
   6(["value -1", -2, true]),
   6(["", 0])]
])
]]></sourcecode>
      </section>
    </section>
    <section anchor="sec-tag-validity-tag-equivalence-principle">
      <name>Tag Validity: Tag Equivalence Principle</name>
      <t>In Section <xref target="RFC8949" section="5.3.2" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>, the validity of tags is defined in terms
of type and value of their tag content.
The CBOR Tag registry (<xref target="IANA.cbor-tags"/> as defined in Section <xref target="RFC8949" section="9.2" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>) allows
recording the "data item" for a registered tag, which is usually an
abbreviated description of the top-level data type allowed for the tag
content.</t>
      <t>In other words, in the registry, the validity of a tag of a given tag
number is described in terms of the top-level structure of the data
carried in the tag content.
The description of a tag might add further constraints for the data
item.
But in any case, a tag definition can only specify validity based on
the structure of its tag content.</t>
      <t>In Packed CBOR, a reference tag might be "standing in" for the actual
tag content of an outer tag, or for a structural component of that.
In this case, the formal structure of the outer tag's content before
unpacking usually no longer fulfills the validity conditions of the
outer tag.</t>
      <t>The underlying problem is not unique to Packed CBOR.
For instance, <xref target="RFC8746"/> describes tags 64..87 that "stand in" for CBOR
arrays (the native form of which has major type 4).
For the other tags defined in this specification, which require some
array structure of the tag content, a footnote was added:</t>
      <blockquote>
        <t>[...] The second element of the outer array in the data item is a
   native CBOR array (major type 4) or Typed Array (one of tag 64..87)</t>
      </blockquote>
      <t>The top-down approach to handle the "rendezvous" between the outer and
inner tags does not support extensibility: any further Typed Array
tags being defined do not inherit the exception granted to tag number
64..87; they would need to formally update all existing tag
definitions that can accept typed arrays or be of limited use with
these existing tags.</t>
      <t>Instead, the tag validity mechanism needs to be extended by a
bottom-up component: A tag definition needs to be able to declare that
the tag can "stand in" for, (is, in terms of tag validity, equivalent
to) some structure.</t>
      <t>E.g., tag 64..87 could have declared their equivalence to the CBOR major
type 4 arrays they stand in for.</t>
      <aside>
        <t>Note that not all domain extensions to tags can be addressed using
the equivalence principle: E.g., on a data model level, numbers with
arbitrary exponents (<xref target="ARB-EXP"/>, tags 264 and 265) are strictly a
superset of CBOR's predefined fractional types, tags 4 and 5.
They could not simply declare that they are equivalent to tags 4 and 5
as a tag requiring a fractional value may have no way to handle the
extended range of tag 264 and 265.</t>
      </aside>
      <section anchor="sec-tag-equivalence">
        <name>Tag Equivalence</name>
        <t>A tag definition <bcp14>MAY</bcp14> declare Tag Equivalence to some existing
structure for the tag, under some conditions defined by the new tag
definition.
This, in effect, extends all existing tag definitions that accept the
named structure to accept the newly defined tag under the conditions
given for the Tag Equivalence.</t>
        <t>A number of limitations apply to Tag Equivalence, which therefore
should be applied deliberately and sparingly:</t>
        <ul spacing="normal">
          <li>
            <t>Tag Equivalence is a new concept, which may not be implemented by an
existing generic decoder.  A generic decoder not implementing tag
equivalence might raise tag validity errors where Tag Equivalence
says there should be none.</t>
          </li>
          <li>
            <t>A CBOR protocol <bcp14>MAY</bcp14> specify the use of Tag Equivalence, effectively
limiting its full use to those generic encoders that implement it.
Existing CBOR protocols that do not address Tag Equivalence
implicitly have a new variant that allows Tag Equivalence
(e.g., to support Packed CBOR with an existing protocol).
A CBOR protocol that does address Tag Equivalence <bcp14>MAY</bcp14> be explicit
about what kinds of Tag Equivalence it supports (e.g., only the
reference tags employed by Packed CBOR and certain table setup tags).</t>
          </li>
          <li>
            <t>There is currently no way to express Tag Equivalence in CDDL.
For Packed CBOR, CDDL would typically be used to describe the
unpacked CBOR represented by it; further restricting the Packed CBOR
is likely to lead to interoperability problems.
(Note that, by definition, there is no need to describe Tag
Equivalence on the receptacle side; only for the tag that declares
Tag Equivalence.)</t>
          </li>
          <li>
            <t>The registry "<xref section="CBOR Tags" relative="#cbor-tags" sectionFormat="bare" target="IANA.cbor-tags"/>" <xref target="IANA.cbor-tags"/>
currently does not have a way to record any equivalence claimed
for a tag.  A convention would be to alert to Tag Equivalence in the
"Semantics (short form)" field of the registry.<cref anchor="todo">Needs to be done for the tag registrations here.</cref></t>
          </li>
        </ul>
      </section>
      <section anchor="sec-tag-equivalence-of-packed-cbor-tags">
        <name>Tag Equivalence of Packed CBOR Tags</name>
        <t>The reference tags in this specification declare their equivalence to
the unpacked shared items or function results they represent.</t>
        <t>The table setup tags 113 and 1113 declare its equivalence to the unpacked CBOR
data item represented by it.</t>
      </section>
    </section>
    <section anchor="sec-iana-considerations">
      <name>IANA Considerations</name>
      <section anchor="sec-cbor-tags-registry">
        <name>CBOR Tags Registry</name>
        <t>In the registry "<xref section="CBOR Tags" relative="#cbor-tags" sectionFormat="bare" target="IANA.cbor-tags"/>" <xref target="IANA.cbor-tags"/>,
IANA is requested to allocate the tags defined in <xref target="tab-tag-values"/>.</t>
        <table anchor="tab-tag-values">
          <name>Values for Tag Numbers</name>
          <thead>
            <tr>
              <th align="right">Tag</th>
              <th align="left">Data Item</th>
              <th align="left">Semantics</th>
              <th align="left">Reference</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="right">6</td>
              <td align="left">integer (for shared); text string, byte string, array, map, tag (for straight)</td>
              <td align="left">Packed CBOR: shared/straight</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">105</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: ijoin function</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">106</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: join function</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">113</td>
              <td align="left">array (shared-and-argument-items, rump)</td>
              <td align="left">Packed CBOR: table setup</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">114</td>
              <td align="left">array</td>
              <td align="left">Packed CBOR: record function</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">224..255</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: straight</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">1112</td>
              <td align="left">undefined (0xf7)</td>
              <td align="left">Packed CBOR: reference error</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">1113</td>
              <td align="left">array (shared-items, argument-items, rump)</td>
              <td align="left">Packed CBOR: table setup</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">28704..32767</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: straight</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">1879052288..2147483647</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: straight</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">216..223</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: inverted</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">27647..28671</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: inverted</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
            <tr>
              <td align="right">1811940352..1879048191</td>
              <td align="left">text string, byte string, array, map, tag</td>
              <td align="left">Packed CBOR: inverted</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
          </tbody>
        </table>
      </section>
      <section anchor="sec-cbor-simple-values-registry">
        <name>CBOR Simple Values Registry</name>
        <t>In the registry "<xref section="CBOR Simple Values" relative="#simple" sectionFormat="bare" target="IANA.cbor-simple-values"/>" <xref target="IANA.cbor-simple-values"/>,
IANA is requested to allocate the simple values defined in <xref target="tab-simple-values"/>.</t>
        <table anchor="tab-simple-values">
          <name>Simple Values</name>
          <thead>
            <tr>
              <th align="right">Value</th>
              <th align="left">Semantics</th>
              <th align="left">Reference</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="right">0..15</td>
              <td align="left">Packed CBOR: shared</td>
              <td align="left">draft-ietf-cbor-packed</td>
            </tr>
          </tbody>
        </table>
      </section>
    </section>
    <section anchor="sec-security-considerations">
      <name>Security Considerations</name>
      <t>The security considerations of <xref target="STD94"/> apply.</t>
      <t>Loops in the Packed CBOR can be used as a denial of service attack,
see <xref target="sec-discussion"/>.</t>
      <t>As the unpacking is deterministic, packed forms can be used as signing
inputs.  (Note that if external dictionaries are added to cbor-packed,
this requires additional consideration.)</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references anchor="sec-normative-references">
        <name>Normative References</name>
        <referencegroup anchor="STD94" target="https://www.rfc-editor.org/info/std94">
          <reference anchor="RFC8949" target="https://www.rfc-editor.org/info/rfc8949">
            <front>
              <title>Concise Binary Object Representation (CBOR)</title>
              <author fullname="C. Bormann" initials="C." surname="Bormann"/>
              <author fullname="P. Hoffman" initials="P." surname="Hoffman"/>
              <date month="December" year="2020"/>
              <abstract>
                <t>The Concise Binary Object Representation (CBOR) is a data format whose design goals include the possibility of extremely small code size, fairly small message size, and extensibility without the need for version negotiation. These design goals make it different from earlier binary serializations such as ASN.1 and MessagePack.</t>
                <t>This document obsoletes RFC 7049, providing editorial improvements, new details, and errata fixes while keeping full compatibility with the interchange format of RFC 7049. It does not create a new version of the format.</t>
              </abstract>
            </front>
            <seriesInfo name="STD" value="94"/>
            <seriesInfo name="RFC" value="8949"/>
            <seriesInfo name="DOI" value="10.17487/RFC8949"/>
          </reference>
        </referencegroup>
        <reference anchor="IANA.cbor-tags" target="https://www.iana.org/assignments/cbor-tags">
          <front>
            <title>Concise Binary Object Representation (CBOR) Tags</title>
            <author>
              <organization>IANA</organization>
            </author>
          </front>
        </reference>
        <reference anchor="IANA.cbor-simple-values" target="https://www.iana.org/assignments/cbor-simple-values">
          <front>
            <title>Concise Binary Object Representation (CBOR) Simple Values</title>
            <author>
              <organization>IANA</organization>
            </author>
          </front>
        </reference>
        <reference anchor="RFC8610">
          <front>
            <title>Concise Data Definition Language (CDDL): A Notational Convention to Express Concise Binary Object Representation (CBOR) and JSON Data Structures</title>
            <author fullname="H. Birkholz" initials="H." surname="Birkholz"/>
            <author fullname="C. Vigano" initials="C." surname="Vigano"/>
            <author fullname="C. Bormann" initials="C." surname="Bormann"/>
            <date month="June" year="2019"/>
            <abstract>
              <t>This document proposes a notational convention to express Concise Binary Object Representation (CBOR) data structures (RFC 7049). Its main goal is to provide an easy and unambiguous way to express structures for protocol messages and data formats that use CBOR or JSON.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8610"/>
          <seriesInfo name="DOI" value="10.17487/RFC8610"/>
        </reference>
        <reference anchor="RFC2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="8174"/>
          <seriesInfo name="DOI" value="10.17487/RFC8174"/>
        </reference>
      </references>
      <references anchor="sec-informative-references">
        <name>Informative References</name>
        <referencegroup anchor="STD63" target="https://www.rfc-editor.org/info/std63">
          <reference anchor="RFC3629" target="https://www.rfc-editor.org/info/rfc3629">
            <front>
              <title>UTF-8, a transformation format of ISO 10646</title>
              <author fullname="F. Yergeau" initials="F." surname="Yergeau"/>
              <date month="November" year="2003"/>
              <abstract>
                <t>ISO/IEC 10646-1 defines a large character set called the Universal Character Set (UCS) which encompasses most of the world's writing systems. The originally proposed encodings of the UCS, however, were not compatible with many current applications and protocols, and this has led to the development of UTF-8, the object of this memo. UTF-8 has the characteristic of preserving the full US-ASCII range, providing compatibility with file systems, parsers and other software that rely on US-ASCII values but are transparent to other values. This memo obsoletes and replaces RFC 2279.</t>
              </abstract>
            </front>
            <seriesInfo name="STD" value="63"/>
            <seriesInfo name="RFC" value="3629"/>
            <seriesInfo name="DOI" value="10.17487/RFC3629"/>
          </reference>
        </referencegroup>
        <reference anchor="RFC7049">
          <front>
            <title>Concise Binary Object Representation (CBOR)</title>
            <author fullname="C. Bormann" initials="C." surname="Bormann"/>
            <author fullname="P. Hoffman" initials="P." surname="Hoffman"/>
            <date month="October" year="2013"/>
            <abstract>
              <t>The Concise Binary Object Representation (CBOR) is a data format whose design goals include the possibility of extremely small code size, fairly small message size, and extensibility without the need for version negotiation. These design goals make it different from earlier binary serializations such as ASN.1 and MessagePack.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7049"/>
          <seriesInfo name="DOI" value="10.17487/RFC7049"/>
        </reference>
        <reference anchor="RFC7396">
          <front>
            <title>JSON Merge Patch</title>
            <author fullname="P. Hoffman" initials="P." surname="Hoffman"/>
            <author fullname="J. Snell" initials="J." surname="Snell"/>
            <date month="October" year="2014"/>
            <abstract>
              <t>This specification defines the JSON merge patch format and processing rules. The merge patch format is primarily intended for use with the HTTP PATCH method as a means of describing a set of modifications to a target resource's content.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7396"/>
          <seriesInfo name="DOI" value="10.17487/RFC7396"/>
        </reference>
        <reference anchor="RFC8742">
          <front>
            <title>Concise Binary Object Representation (CBOR) Sequences</title>
            <author fullname="C. Bormann" initials="C." surname="Bormann"/>
            <date month="February" year="2020"/>
            <abstract>
              <t>This document describes the Concise Binary Object Representation (CBOR) Sequence format and associated media type "application/cbor-seq". A CBOR Sequence consists of any number of encoded CBOR data items, simply concatenated in sequence.</t>
              <t>Structured syntax suffixes for media types allow other media types to build on them and make it explicit that they are built on an existing media type as their foundation. This specification defines and registers "+cbor-seq" as a structured syntax suffix for CBOR Sequences.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8742"/>
          <seriesInfo name="DOI" value="10.17487/RFC8742"/>
        </reference>
        <reference anchor="RFC6920">
          <front>
            <title>Naming Things with Hashes</title>
            <author fullname="S. Farrell" initials="S." surname="Farrell"/>
            <author fullname="D. Kutscher" initials="D." surname="Kutscher"/>
            <author fullname="C. Dannewitz" initials="C." surname="Dannewitz"/>
            <author fullname="B. Ohlman" initials="B." surname="Ohlman"/>
            <author fullname="A. Keranen" initials="A." surname="Keranen"/>
            <author fullname="P. Hallam-Baker" initials="P." surname="Hallam-Baker"/>
            <date month="April" year="2013"/>
            <abstract>
              <t>This document defines a set of ways to identify a thing (a digital object in this case) using the output from a hash function. It specifies a new URI scheme for this purpose, a way to map these to HTTP URLs, and binary and human-speakable formats for these names. The various formats are designed to support, but not require, a strong link to the referenced object, such that the referenced object may be authenticated to the same degree as the reference to it. The reason for this work is to standardise current uses of hash outputs in URLs and to support new information-centric applications and other uses of hash outputs in protocols.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6920"/>
          <seriesInfo name="DOI" value="10.17487/RFC6920"/>
        </reference>
        <reference anchor="RFC1951">
          <front>
            <title>DEFLATE Compressed Data Format Specification version 1.3</title>
            <author fullname="P. Deutsch" initials="P." surname="Deutsch"/>
            <date month="May" year="1996"/>
            <abstract>
              <t>This specification defines a lossless compressed data format that compresses data using a combination of the LZ77 algorithm and Huffman coding, with efficiency comparable to the best currently available general-purpose compression methods. This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="1951"/>
          <seriesInfo name="DOI" value="10.17487/RFC1951"/>
        </reference>
        <reference anchor="RFC8746">
          <front>
            <title>Concise Binary Object Representation (CBOR) Tags for Typed Arrays</title>
            <author fullname="C. Bormann" initials="C." role="editor" surname="Bormann"/>
            <date month="February" year="2020"/>
            <abstract>
              <t>The Concise Binary Object Representation (CBOR), as defined in RFC 7049, is a data format whose design goals include the possibility of extremely small code size, fairly small message size, and extensibility without the need for version negotiation.</t>
              <t>This document makes use of this extensibility to define a number of CBOR tags for typed arrays of numeric data, as well as additional tags for multi-dimensional and homogeneous arrays. It is intended as the reference document for the IANA registration of the CBOR tags defined.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8746"/>
          <seriesInfo name="DOI" value="10.17487/RFC8746"/>
        </reference>
        <reference anchor="ARB-EXP" target="http://peteroupc.github.io/CBOR/bigfrac.html">
          <front>
            <title>Arbitrary-Exponent Numbers</title>
            <author initials="P." surname="Occil" fullname="Peter Occil">
              <organization/>
            </author>
            <date/>
          </front>
          <refcontent>Specification for Registration of CBOR Tags 264 and 265</refcontent>
        </reference>
      </references>
    </references>
    <?line 921?>

<section anchor="sec-examples">
      <name>Examples</name>
      <t>The (JSON-compatible) CBOR data structure depicted in <xref target="fig-example-in"/>,
400 bytes of binary CBOR, could be packed into the CBOR data item depicted
in <xref target="fig-example-out"/>, 308 bytes, only employing item sharing.
With support for argument sharing and the record function tag 114,
the data item can be packed into 298 bytes as depicted in <xref target="fig-example-out-record"/>.
Note that this particular example does not lend itself to prefix compression,
so it uses the simple common-table setup form (tag 113).</t>
      <figure anchor="fig-example-in">
        <name>Example original CBOR data item, 400 bytes</name>
        <sourcecode type="cbor-diag"><![CDATA[
{ "store": {
    "book": [
      { "category": "reference",
        "author": "Nigel Rees",
        "title": "Sayings of the Century",
        "price": 8.95
      },
      { "category": "fiction",
        "author": "Evelyn Waugh",
        "title": "Sword of Honour",
        "price": 12.99
      },
      { "category": "fiction",
        "author": "Herman Melville",
        "title": "Moby Dick",
        "isbn": "0-553-21311-3",
        "price": 8.95
      },
      { "category": "fiction",
        "author": "J. R. R. Tolkien",
        "title": "The Lord of the Rings",
        "isbn": "0-395-19395-8",
        "price": 22.99
      }
    ],
    "bicycle": {
      "color": "red",
      "price": 19.95
    }
  }
}
]]></sourcecode>
      </figure>
      <figure anchor="fig-example-out">
        <name>Example packed CBOR data item with item sharing only, 308 bytes</name>
        <sourcecode type="cbor-diag"><![CDATA[
113([["price", "category", "author", "title", "fiction", 8.95,
                                                             "isbn"],
    /  0          1         2         3         4         5    6   /
     {"store": {
       "book": [
         {simple(1): "reference", simple(2): "Nigel Rees",
          simple(3): "Sayings of the Century", simple(0): simple(5)},
         {simple(1): simple(4), simple(2): "Evelyn Waugh",
          simple(3): "Sword of Honour", simple(0): 12.99},
         {simple(1): simple(4), simple(2): "Herman Melville",
          simple(3): "Moby Dick", simple(6): "0-553-21311-3",
          simple(0): simple(5)},
         {simple(1): simple(4), simple(2): "J. R. R. Tolkien",
          simple(3): "The Lord of the Rings",
          simple(6): "0-395-19395-8", simple(0): 22.99}],
       "bicycle": {"color": "red", simple(0): 19.95}}}])
]]></sourcecode>
      </figure>
      <figure anchor="fig-example-out-record">
        <name>Example packed CBOR data item using item sharing and the record function tag, 298 bytes</name>
        <sourcecode type="cbor-diag"><![CDATA[
113([[114(["category", "author",
           "title", simple(1), "isbn"]),
    /  0                       /
      "price", "fiction", 8.95],
    /  1        2         3    /
     {"store": {
       "book": [
           6(["reference", "Nigel Rees",
              "Sayings of the Century", simple(3)]),
           6([simple(2), "Evelyn Waugh",
              "Sword of Honour", 12.99]),
           6([simple(2), "Herman Melville",
              "Moby Dick", simple(3), "0-553-21311-3"]),
           6([simple(2), "J. R. R. Tolkien",
               "The Lord of the Rings", 22.99, "0-395-19395-8"])],
       "bicycle": {"color": "red", simple(1): 19.95}}}])
]]></sourcecode>
      </figure>
      <t>The (JSON-compatible) CBOR data structure below has been packed with shared
item and (partial) prefix compression only and employs the split-table
setup form (tag 1113).</t>
      <figure anchor="fig-example-in2">
        <name>Example original CBOR data item, 1210 bytes</name>
        <sourcecode type="cbor-diag"><![CDATA[
{
  "name": "MyLED",
  "interactions": [
    {
      "links": [
        {
          "href":
           "http://192.168.1.103:8445/wot/thing/MyLED/rgbValueRed",
          "mediaType": "application/json"
        }
      ],
      "outputData": {
        "valueType": {
          "type": "number"
        }
      },
      "name": "rgbValueRed",
      "writable": true,
      "@type": [
        "Property"
      ]
    },
    {
      "links": [
        {
          "href":
           "http://192.168.1.103:8445/wot/thing/MyLED/rgbValueGreen",
          "mediaType": "application/json"
        }
      ],
      "outputData": {
        "valueType": {
          "type": "number"
        }
      },
      "name": "rgbValueGreen",
      "writable": true,
      "@type": [
        "Property"
      ]
    },
    {
      "links": [
        {
          "href":
           "http://192.168.1.103:8445/wot/thing/MyLED/rgbValueBlue",
          "mediaType": "application/json"
        }
      ],
      "outputData": {
        "valueType": {
          "type": "number"
        }
      },
      "name": "rgbValueBlue",
      "writable": true,
      "@type": [
        "Property"
      ]
    },
    {
      "links": [
        {
          "href":
           "http://192.168.1.103:8445/wot/thing/MyLED/rgbValueWhite",
          "mediaType": "application/json"
        }
      ],
      "outputData": {
        "valueType": {
          "type": "number"
        }
      },
      "name": "rgbValueWhite",
      "writable": true,
      "@type": [
        "Property"
      ]
    },
    {
      "links": [
        {
          "href":
           "http://192.168.1.103:8445/wot/thing/MyLED/ledOnOff",
          "mediaType": "application/json"
        }
      ],
      "outputData": {
        "valueType": {
          "type": "boolean"
        }
      },
      "name": "ledOnOff",
      "writable": true,
      "@type": [
        "Property"
      ]
    },
    {
      "links": [
        {
          "href":
"http://192.168.1.103:8445/wot/thing/MyLED/colorTemperatureChanged",
          "mediaType": "application/json"
        }
      ],
      "outputData": {
        "valueType": {
          "type": "number"
        }
      },
      "name": "colorTemperatureChanged",
      "@type": [
        "Event"
      ]
    }
  ],
  "@type": "Lamp",
  "id": "0",
  "base": "http://192.168.1.103:8445/wot/thing",
  "@context":
   "http://192.168.1.102:8444/wot/w3c-wot-td-context.jsonld"
}
]]></sourcecode>
      </figure>
      <figure anchor="fig-example-out2">
        <name>Example packed CBOR data item, 505 bytes</name>
        <sourcecode type="cbor-diag"><![CDATA[
1113([/shared/["name", "@type", "links", "href", "mediaType",
            /  0       1       2        3         4 /
    "application/json", "outputData", {"valueType": {"type":
         /  5               6               7 /
    "number"}}, ["Property"], "writable", "valueType", "type"],
               /   8            9           10           11 /
   /argument/ ["http://192.168.1.10", 6("3:8445/wot/thing"),
              / 6                        225 /
   225("/MyLED/"), 226("rgbValue"), "rgbValue",
     / 226             227           228     /
   {simple(6): simple(7), simple(9): true, simple(1): simple(8)}],
     / 229 /
   /rump/ {simple(0): "MyLED",
           "interactions": [
   229({simple(2): [{simple(3): 227("Red"), simple(4): simple(5)}],
    simple(0): 228("Red")}),
   229({simple(2): [{simple(3): 227("Green"), simple(4): simple(5)}],
    simple(0): 228("Green")}),
   229({simple(2): [{simple(3): 227("Blue"), simple(4): simple(5)}],
    simple(0): 228("Blue")}),
   229({simple(2): [{simple(3): 227("White"), simple(4): simple(5)}],
    simple(0): "rgbValueWhite"}),
   {simple(2): [{simple(3): 226("ledOnOff"), simple(4): simple(5)}],
    simple(6): {simple(10): {simple(11): "boolean"}}, simple(0):
    "ledOnOff", simple(9): true, simple(1): simple(8)},
   {simple(2): [{simple(3): 226("colorTemperatureChanged"),
    simple(4): simple(5)}], simple(6): simple(7), simple(0):
    "colorTemperatureChanged", simple(1): ["Event"]}],
     simple(1): "Lamp", "id": "0", "base": 225(""),
     "@context": 6("2:8444/wot/w3c-wot-td-context.jsonld")}])
]]></sourcecode>
      </figure>
    </section>
    <section numbered="false" anchor="sec-acknowledgements">
      <name>Acknowledgements</name>
      <t>CBOR packing was part of the original proposal that turned into CBOR, but did
not make it into <xref target="RFC7049"/>, the predecessor of RFC 8949 <xref target="STD94"/>.
Various attempts to come up with a specification over the years did not
proceed.
In 2017, <contact fullname="Sebastian Käbisch"/> proposed
investigating compact representations of W3C Thing Descriptions, which
prompted the author to come up with what turned into the present design.</t>
      <t>This work was supported in part by the German Federal Ministry of
Education and Research (BMBF) within the project Concrete Contracts.</t>
      <!--  LocalWords:  CBOR extensibility IANA uint sint IEEE endian
 -->
<!--  LocalWords:  signedness endianness prepended decompressor
 -->
<!--  LocalWords:  prepend
 -->

</section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA9V963rbRpbgfzxFDfPDZEJSInWxJMeZyJd03OPb2kpne92e
GCSLFGIQYAOgZEZRf/MQ8wDzYx5jf22/yT7JnlvdAFCW0+ntjmY6lkig6tSp
cz+nTg0Gg+jiRO1FUZVUqT5RX0VKvYyn7/VMPXzw4lUUTyaFhif8z2b5NIuX
8PCsiOfVINHVfDCd5MVgRQ8N0rjSZRVF74t4Ocsvsx/yVZXkWXkCY8frKv8h
mf2wKvQ8+XCiSj0dwJN6c5kXsxP1JKt0kelq8AiHjqZxBY9Us2gKr+usXJcn
qirWOiqrQsdLeP7x2TdRdKGztcbRF0W+Xp0wlEot4yQ9UQjZ1wjjMC8W+ExS
na8n/PngcrHjQR5FAN55XuBQA8VrfBgXZaUz9SAvlnGWwTdKwUAn6rssudBF
mVR//e9KPSj0Eh46+19P6AEETwPoL/OymsfTc7W3t7u/v0vfTZNqcyIv8Af5
DOZ5NBgf7R0cyyfrrCrgqd9pnHRDH67O8wye+2L/eLA/Hg3Go6PB4d7xeERf
allrPMm/rn5KZKlmDc+S93kaJ+p3f/3fVTk9zy/dKs6+e6QeFbqcAfR2RRuV
z9WZnp5neZoveHpDCGffmeeDlX6r0+V5nlY/wQdDNfKX6j9u1ro72j28Ya2y
nCXDPVysNcP9dbUezHi44UxHUZThrlQANm7Z67NHx/snNMDgRE2SMvoMf79/
ol598/DoeB8nfHL6/HRIW17FC6Qm+G/wcZksV6keXMTpWsP3/Cc8gUMcjnYB
x7NZGkVJNq9Nfbh3otbV/MifdO9wfMzv3t3dPz4BlCcL+Xvv+BAWqIuFGfzu
/hjZ4c/85+HxGObKEv5rdHwwAnbTc2Qt+zwMEBdFjCg7ffVg8Ph/vrSLj4sJ
/VrFMAFsz3lVrU52dlYa2AtYZDpkLhgm+Q4yy84kWcyLeDo8r5YpvTiDiU7U
PE5LzQOxeDgtJklVxMVm8PjDCugxq9Tz9XICVMNEYtkHf5j4XuKc6sV0mvDI
xfREvV7paTJPgL1BLijApHqlFwmQDn8A1IdQqTPYHDU+3FdxNoN/D6JoMBgA
JeKDUxAwb/4dfh/Fg7dAludaPcyzaVJq9SDJAEL1YvKjnlYwMsgaEB4Vj93F
kfveu4hMhdSh7t/HfVTH+z3F304Gb82DE5wkKVWMmIlpIUwA6vI8hzlnukwW
mVrkgDGVZNN0PdOqAqBWeVkmkyQVrtIfKuT8dKPKZZymlimA0H7SfUB4Upjv
gDrKMl6YrxAH8DZIQTPcJexhvq5wGhon0yChEZnExbDWTC/yKqF1D2UhY8IW
YXeW61JleaVWRX6RAAjAfbSoEgHFZQJkS0ReSQPgFPwifpVUeln2YalqFRdV
Ml2ncQG4ADGy0JmGjURYinypUr2Ipxt+aQkrTcs+i585ilVYZ36pULwDBEU8
SbVaxEmGOKTZYZ8zAIBHjlerdJNkC7cHDQC/P09gCKCPWYLLjtPGQlSFgi35
M7C3Ktcgm+NSPXr8zdPTs8cejlQXyQL5Tohh7IhhTMQwjTMFSuu9utSwV4h2
Qo7OcDtnAZJgg5JCzZIynl3EQIiwpwkzTHUe0/6pQk81Sl/axFJVOVCUAZoe
MH/wFi/xiWX8njd+DQQIW4aP4bRmr/csxHvMIkC/ZcB5QLXTIpkAJjz9DqQm
Yg/xmJUi6Jgv4xYygL0CaGIgpXNd1L+jFSLjpEtQhohsHZcbAF/2D5T6UuPH
CD3KxwQ3LRxkCAIORCMQGpCVhxiASZSQXuEcOL8GcLUQFxJ3of+8TgpYWg3R
gCRETgliYV2+9X5l6YXyROSGZafuYATUEM9gf2DvWdbR5qoOjAr2S0fN19m0
MmDBRqvu2YNHo9F+j5CKuIfFFTmgFgkGXxVMk75R79YZCPkk07N3xPAsVFVG
IpbEB5A1IAkGmaY6ztarcshCcZmAWgKNCAZUkc/WBISSn6vPEvz0Orrv/fgS
8OqKVOf1dVPwjfl70UHX1w1mICIj0gKzELYS8MVL4B316MoIzMlGqJBYGYVX
jcxIbMTBqx495VsoJcKv78FDTrAxILRZ6QLeqM6XhPdYkb0HNPAomc+BZgBo
/qQktp7RpyiCcKp4iSYKYX8ObxMZbeDLCzBy4Z8IdHBygUuBtYGIS7IEpDeP
x7x6j8mxzy/Shm/AxFml+YaWX57HBaOCWSUDOiziVEA1HEvSTxgXNt3HDsKM
wsAKgstcvU+yGQlyNL6XyU/03gkQC6NR5gSLY43qFAhmDdSuuk5s9RiefDpd
F8A1K40iPUVjQ/CyhVkJmgkKrDSNVyivUDg4Qwo4FDE+1fw58PIS9rwItTRJ
M5jdiYDI8GQ+Rc4HdFnOnq0JfSxLyNVALKaw6opnn+eoZeCZSCSuhWEI+AAT
ienW4sTDNMk8y9akcgm95iWQ7mAG4VOX5wkoExSxMIyeIcCPLDJVF5AMY8Pj
AGYFGg5oTTBMzyNNkksUoWEOuzKH3/v46xLlGevUNN14eoXfZmxHLEppI43i
9cCu4vdEoAKbWzIaFbEqAG1uYFTPsoewK2k8hReAZ+Nw50h21UZbpevSHw5p
RfbuG1wUo4AmJV2l5/E6rVQHQAds64ww7oQoy1a340Q8N+45EFmCdghpF7vr
zMUGSLcKApeQSJwGI7D0BZgHqc4W1XmkBGhguNNWTkTwqhxonQdirg7UKUiE
xXnFhk40AR3Zzpq41USyoqUCdgB8IyKtpMizdFOTASiAWXUQfwKJol0GHswr
WS++h0KJEIKGVhl1r67Q/xa3Hd0fVAG4PaWuKnxwvdryDv01gMfWK3gHlekZ
+G8JO4w0BFjj4JeT4+8UEbgCy/IaNZb9Qe2h1XuQjBgCKFXn2Xevzzp9/lc9
f0G/v3r8P7578urxI/z99benT5/aXyJ54vW3L757+sj95t58+OLZs8fPH/HL
8KkKPoo6z07/2GHzuvPi5dmTF89Pn3ZYxvlKDXkUtgGYIsEYBWwPMlpcRsaG
Irw/ePjy//zXaB805r+AyhyPRsegMvmPo9Fd0LBkyPJsuInyJyqGCKhKx6R1
0PifxqukAmeij7ZRCb5vptC6AUx//gYxAwbdl5PparT/lXyACw4+NDgLPiSc
NT9pvMxIbPmoZRqLzeDzGqZDeE//GPxt8O59+OW/pqi7B6Ojf/0KqOuFUTZW
TJ1E4I5uszZxj7IZS3/YMv3B2M4kyEQ3eyLqnnBdifIIRT7sANp0IlKRiB2/
3QaE7CJPwUAwU1mhA5rgh5Vj2x96blj7DA8rwpXGdDKLBVVTmMEwr9te4LFq
OtcfOg7kBjN34UTGgJ8dkMa5vkY52Ji7MQfppXw5ISuwqXRIiYqaEBhgG26E
wrzrwfEKXseZz8TrEeNDtCuN04opSyMCIRrZrNZ9LQF42iQ6nRmfwaMERDVY
rCTVQxxsnw4MszKcQDyeVM+rwTmJXHCAMUAqypGwIw8VOJd7aohmPjglVYNo
bgGAP+7WyetQNgH4xpkWC95/9HbW5U2INy6P/QqNIsKjbxaCWSTPEajdpLHU
ErypabwujfugbjDYQNXiF8z5OKhnEy0QVNA5WgwGb5utLy0GDPGo04KG7lZx
UvCEPkvRM2xaeXigT5F/phg0RA2ruvBqqF57bmT/YwQUnA8MZ8U12BS6jIWL
oAiFvgpI1ozqCTgTSokbIsrY98hK+gM9vQCI0acNobqnLjUaRfF7E334IeQU
Rk19/B9ww0pjiCNAQ7YBxPgiiwHevLoaTBLgdYZ1GNmgIZjBvBy0JlRnsql0
BxnaUF9Soft3qabrssqXGArE3AEFGWCjNlmebcgPjDo5WMtV5x6PYezTDun6
WqQLCK4oBGElGKEsjOfRT7rIrZXenVDksadwONDclxSM6hAWbzl45A2ugsG/
yxIKFNJ/VjloONAl9A3oNox7IlbkoagELIEtwVFsYBcTlQLsfHf2zeAIkYvB
apKk36NhAXChf6wrsG8Bl6AxU5Kj/ZodZAUJONhEbNE8BqM7gdnI6xCTfVHE
yyWuKI2zxRojXg+//JfBANkZY6P4zcMvvhjt3ynV7iTLsohRByZwhY4OCIHB
4CuA+8NUryqmlc5w2AEagXlJqxQwsBHmHG8t2bzWaF0TxfYNKX979uwpMeTL
R9+YcA7sD/i+FElGUsVoS6YXLENwjwo0IEhv4WznmxVGILudQYcsMnziAlCW
gwsxi8tzwjKOUa5XMD5YhAC2QZGFWkvQ3MRk0SvSH2L0jPtqbNyqVX7J0Z7D
fQoH4Ch6dqLGX8LgXx3uf7mD/w5BCfDjuFEDIjITqSJ2rEf7cL1N2CKeQcUX
MbhORnC5SBp8bTFBxlO5LmB7MRBnhhgC98beamVE8W4kJk3wgBlMERpkVkyg
VGvw+YBwoxhU8WKNyCRV/PAO4go2tYRtHJDNMzO+H3BLUgAx4tqY/gzZFTqe
MeLa0QKk/piRXdoUg8eEuKVkaEdANfTl4w9iRT5K4kWWl8gbz80qwRF6zRCo
IxxOckxfi9BKMkxa/hgEDq6uTsHGB430Qf0OXxlgLoncJ+KNJbtLSs+ygfAB
2fwqmVubCoBHQprHJWZVgEei6LMgOcuxuFIgcwHeqqFUTFzahn/YLcH0IAWq
mAlEaM8AeZ/xTDjCGTuD0WlFWQMSR7RGVP6eclpy4EHiUkGQueKlYTgg+iG2
SvEH1VCKvHjS8bpkXUHySoubW9eUqHXteCfgMKnXde0Mn50GihmkoGRTcD2s
wcm7JUBLnkqmwJnB0a82nH4DkM7c8xQ6QetEy4v8jDgioHsG9CoqB1wFbotO
NYWScOCouwJJgRICgz3w7RIEu3Mkeh7BDqPHmFoWcjfLLymK8UG4NQM+w8QU
if5KL4BmwOjChE22YMbZBep7TWkQjn98gD3bIKjASoBCiSXZdCeZVJQ1NXIi
KSKyFNhapGQI/EtvERP5AW7aPQ9XSz0FozIpKUCmtWqLLRA8JqOGKTMfFsyW
GAHjjSuUaGi+EUXGwBoTOQ5ORI4bhOm1Ap1Mb4qh4sSJPytjKEqWyzXNSnE6
EGuCOd/59HdzUYBRkmOSBwSjHjKnggFsNCqmpIzZBFxYj7jFsNpLE73N1+Cb
AAxok6cwFeXHcJB1xpFsVtSwqXmKQjHQDNqu1EcmuhXzvoms8TjwW99RhrGx
whgqzeJ73xG8m6/WKZndsA1dPVwMAUfrCk1UyXr8hBKh50gXH4TBxdx4dvpH
xCRWeVSigrNIg+IpjB1v10l29kTi8g7sYXSa0hpREKSbfvgSjm/SngSPpGaI
SqN3o9Fo3LW5mN471W2kar6yX3+J4IFiVU4hHAzvonEYqgSywtJcjFRe+ELh
VD2j+X0/BteV6viCAJS1026TsGs8D+vN3PokVmOtNg5O8+aLMIsdekoYuAR8
g40/xWw2DEb8MokRWBPhLANji/HJct3jsQgxK5paPE+zI4rWUEokLZUcMaCi
zJeUJ09MnAU1jR+2FPH9BKVeEOcQpV3lhUNq0xMTmnc6QfwNebJmAjiVh6Rm
vUyPF90LEQUrYBYJk4A5jSlonQUhAxkgb4Sw+pKAjjzfqwyC7sHEM/9Nm26A
RzIYYLouSqJ0QwSosX/2oK7//Gz5Dlkb/oanX/sUvjscjg7c08Gf9PQZkO9h
t6Fgnvfg6dGh+kKN//T589rTbGJf6MbTA356oEbw9NWJ+sxhlYtP7ndaSOIP
pFU612CJlMaSLvsROfpJUVZqPHbqVeigxVWvb3v0jnm9u9t711fmjxH+MRwO
3QcH9PWhPHbYHYzkF/w3wg/G8oH5d7DXezeMukh+lgFzzLVUl8B+Tlsj99dx
VZKe0+DY7OSzWeRvH2tX9X//4z9V56dk8RPgmlw+QFWHPsX0IJiFGzAbUdpP
hXUj0CRFRblO3g7zVsn4G/ZQYRP3cpJ/SvVarEPkUSdWCIeFKdDwqh/ArkEc
wzaD+zMgZ9upj77aP0KJ1Pz8YAQ+0Xmh+ZXI/2q0N9q9OwaErIvme7qaDpEg
ODFikIeGGalgWAeoQ/A1sThKdblgZmPR3RNsEhmxiZqBIidHEdxqk6XJSUdj
yZpPUaWkeybahCOiMJMt8SRwI7Sr/ihhU8BKmBKNEqOA+YWegso5nIGaQqws
CvPJoiIw27PS6hLeovbIsRicHAOpOIvElhslI1V3Ga8ouozmKigkGhhdNRnT
RDy7nKbseZIFTbdIxKA8Rk4NrRF8+dwt1FuHWyoZeBXYuXNEGwsvEI2Y84rw
O6prYvvZyDZT/iLBCSwxWyaZMWNq6sNa+qJAzoJAr5iNBapBwo5kpPkLL8fK
G0qpQnk5oMhkqMHIwa+DdKZvFHsmEycIOOTjhyQ5HJPZR+kJF0XEMpJZAlai
CW8CvYHTa+WHDaii/GiJnN5DXxKoOYyCGnAQ7W6rPa3kBfN5+9GYs3o1RKWN
pWP4NvI0lgREm1D5w4epaEkVRJwO3z4pqbqyEZRvaDyuynFiE/TS4KM/zUec
OkNwew3V6s3mfnatFhyP94fD8cFB69v+a6By90butaO7u/Di3vju4d3Gq/a1
vfFwuL97fGBfGx3dPd49GI+PjmDS0f7d/aO9w30zwM8Knj2ELw6P9vcO9g8O
fOVr8Im23/07qSruGE1s8x8+m4mZ/1Lkg+E60s4/t217y8L/9s2x2BrhssZ7
t0HyXYfju4AbeO/o8O5oO44Bk6Pd8Z6H4tHoeH937wBwT+jePxodjyyK4VnY
Nxhx9+jocM/DsMVJE8M2wdOC4dfEDTUMWyH365izVo4T2/KHBlwKGp+JNHe1
aeGo1lfMJZIAzO3vbhccurrp2EOHB02KSPybjmHzzr029dGYkWvxTF6x44Tp
JxjjwYhRWAET5BnDaptAKLnnwEDJZpH193D9XSfM2Yhni8HTcm3WfET2WC/M
D7p5iNhAxmLxrNQcp6w5xV2c6FYnAfPPr01lpV2IzeWRQvRsiJiLGju+/uhQ
iCaiwAdrEZyvXGPWJihCyj2rCDM/ogDRvXV5bAVamrKzgFz0yDGSDG8Cvufr
0t9uBASQAYp3HkmxTF/VVOlpm1LYmoulgEDJVcM2NRqVXBrdivVt6dHTVjUX
5mAbo3jTR2Fm9hPysk/AUsEkyBRc97K/fVk8bsJOE0YxEPFzic3HUdsu9+Xb
zjq7LLBYZdbhNJz/2J3SkwqRJwRMIraWhCWa4NDurG/X6fM5MOF7zAHJku3k
tbUMoyfzWyyXUh04vlmNN3a0bWwHWDvgCGNg9PX9soqJTvPLIQnM2n6RyAIr
lozEpGwusWV/g+w24ukyttmuhjxshhIw3Rr5+V/82CXJXbCmVvLYrBZAkCtx
E8OCwhbKVPJ0iZJ4xshomcsrYhOIXU7YBboteZGMSTDS8cTUi7rHW6qAmzP2
a2gJQoiGXsAdTGaM+7rp/AnIr/O0V/UInOSZzSHmxG8L6ctHVFy6kpngIa7W
YY8mqziY352sseAUfP6eSzwmrXY80PS7N515nk/iotNX53cODw/n8H/jO30F
H3fevgNH20tAuHLLhq/o+UmwTvCFGMXIRO9khqrz7gTjI52qQ5GS8fig28GP
KZAyHsM3/JgJxnoZex82PMRzB4e8wyU+DsWReLJeNt7xdRoDEQtCrJjIggLN
Xui1e6bM7hZPyBbROgsMRHPEO02eL03PHkE/Os8vNSUH6Cv2fKyn74lD54d6
jr6PYkml+GHJHvnTpEfJ1bKQ16aJ2IwQmNxhFFHczLgrjvPAzDYExKqNADfJ
SsFiprF6Ny6wXpWynJzFHh9xFpv/Go35ry/4z4Pgr13+i5OdHw1GkeO7yPLC
CLcUT9DQRoJCABAjRLbLPmL1NhrFqcSlbiDevgJvrBuA+G7wLgCy1x7I2t89
3I+64Vrtqwf2VRvqCl7mw2/gn40Od80gBn12EDNqDwTyRWMQppaGKVQOI+f4
1UbucWpWYa5wnpApRoGvvhIRwgkodQ5DRjrL14tzG+ahVDJaov1bBM+k7L09
eKbagmdIg6wBeGHW1OqW4hn5uSk8DZRhci2mQCexao6JJq4tiRzQAqxPDU6g
4y60himBrq9OYhTV19FX6lXMx870SfT4wwocH3q5XC8Wuqwkg9KMpRmFY5eP
dT1RmrzXlAT2oyZ2jSbPpdQphthsjQXG+ESx2SVRRrJCr6qkqGKsRl/sEr9y
qD/Aok2gYRztoa9R2OsLNVGb7sb8L2mDkrLvoDfJJm0xahtmQmES5r5mxkC1
UlVjbkOh8LwIMtAttXA/vGjnHcgc+DwD6AyNepagBhnWrOF7w1+woGW8uvVy
8GHlqpgTTB1TDY0UzU7z1WbryuBdq9JgZ0DTMhNZ22KpmWvsAHVwaQQ2XFiY
boBNKN64sC8TdOcmMalUGS+pfh+PeTxxBZVkH1MINYcRlzlFAHB1Gs97O18z
XAMd21/1pVZPsrLozPQJGAtDHhxPEeQwMRN2vZN0qrv7YX6352Z0i7Zoo31K
wKXX8UygnfWlILbxuMBgsdo4u0ejZajM8RiK3QZSWuG2wxcweyhCnr84e/z6
JPoKfv1cvch0vbqVPUg5Qtgi1MmrMA44F1bTMRvJEUkQFePIxLigmk0gAg0W
Ih3ALdYpFMkM+wJMNkKuuHMJ19gQNQHejAluPdLAtR3SGl67bTRKmXHYgjnO
U6FrtpQohubiXC6oYZtOanRx/esVTEbUCUyGvAybCGJMUJUXVNZLVOKVnk+r
NYATTOvBU94L97KkQ68BxHnWQrqMjwqLfcAqydfTcyqVQM3Ip9fI20ad0zit
xCEp2Orfv37xXD3DrgCg96oplowNqEnA9TWjhs41Fepdtk7TdyZRJduHVGeM
yCXGsqg6lNMZGPIpOa/ImynlfVJAmgOeKS/4S+SbHICjRBbZ1TjDZoWWqG8B
JlzQRPKix/KQ6mTNu81q9KLGKpbjgvcaTrJSD7xy3rYhvIJcG3eTVBh7ezAG
18nyeWpVq55uyu6FriQPBwtX1pO0jjzmQpRjjHtMy5cxVVSSwVH3HlhM+qkn
4oPJOknZkWAXiMS9t56+ZA75mBhQBlo3AhNHRpGGJlqs9hnJHvUZJrTByqsG
P+ZJds00wKbxzJrJwR7zDjsPig9/m8fjzCjMmuJrV3tYLwJ4l4MXVVtNP4V2
ETh3PhBLMAnca1tAI7BJPEe1UTA7amgCbAui8W7bCHGd5FsXYVKQ2szsYcmF
qqXYHcQ6YYu+ZI8stmXvt2M6mMEPTaCp9igpp2s+FB+1nPUnF20Nmk7y3i5w
L1UfXEtBE2LjjX4U9nbwKKAQrmdT2BUDYonkeVLMLGuaZ6KwCFDBlHwyBR6h
Lh1U5VD6bRqkEIyYBHYrQw+exBgXJWFiVdmuQMbz8BZtTptPTaUcrH++Noeq
LwWNsTkLIViyRftLEAUoDvigMVrUVCVaGj7Z1DpfmER+SCDY26CgODQ4n/Ba
vi5hBVPsbQRraD/gvpScG0sjL/oepXm+olYIZuQd1woBVkWHALFYi46JUBcN
rpxHzzsWDVW8x45M9zujzlfe4XfqvKIXiXiKOCwKkB2eCHHgw0pGuikXH/7p
T34ZOxn8HLjDEwcFn6en34lGTOTHVWZy7kUi+Gx0oro3if7GyX+/5o0MTrYK
Yq4dRJpbl2wDznRMxXIk8xF5JUsyHz4YosvMwijYeEetz+lcGj6MTi6e9gcj
IEeh7E4dszssRQ6mRJD6AoA8mMdTsV7qgPdAR2ncEuCcizwhab2QM7dltQYM
1fZe0QL6AWoplOarryJPKcqKuZV1MaVy2XxqI9K+AuJymM4Eu6+sV51G1eew
bR/RLJykyQWdegjrubduBZ5nn9+8FR5i+hIJF2szKbYO4s+NsJ5vJmCuSocZ
IlFjP/bFvQXTDM/J8YFBWRVpU6+rDxNaoeEJmHtapZ6jErBAiXEuMFMv0cm2
SCFqQN2F9CD1pSXGqYhDjeuEnNjl/JfuWVZgX16QiArECLIGaX8Em2Y2zgYJ
OffpOVJTrDtlP039MJGbMUgvqeKarcqIx4dZy81yksNGKZj7PaM4eHuOcpMr
zOj8Kv02QEkbcdSny11Z8OQbRWLZll6h3hTKx0LQ8S5+u79LWYmCoSWxFIUA
cIBKvA9gMnQPvZISYF7Ml3y5Q5Lvq4aHdWJCmdTipdYWR1IH55I7Pdfpyhmf
JlgjR0jsia0SjXX44/r6HiZEJ9oklMPBXegsBu+KzlXwcQr1GmvXOcZi5vC8
uuCcecvBfaBJaqWDNBbVDkWQtz7Rgvw1OpwPNsYx7LM12Tjc0MXjZ9IIQYIy
vVr9PhLROVq4dCrAWAhgBgAFceznwabO4sDXF0mRZ5wB54qGGCTrLInJIKKC
e6wmnJIikOxNcBKEG7JIXRpVMzpfVjUqthKyRetq1sbLtoCGZqAN9/e9Xlvh
WYB+UBXgjtpKYa9qAVBgYxFk+xIReCn4bimrFLTuwF4hD95V9LJpWrUfoRCB
IyGtevMCd74aoWLKREZnlHq14wgffJRqzIlg6cQiw2r9ZG4tMrZwp8xhtMe0
9XJQ8XM+v0GiFWjwczYQufbd+P+i3CWpgeuisyxSjbYu19zrREDGaA+5PdR2
aYFLwk8JC1iXMZMiB1G0raeHUjwdtuG8pzElKA1MlmtuvuCoGBnqZIvUZqNj
Fi5BWMtV4zq+Y9hZYAd1neZhUtsTioutCq7ylH4uueARww3cxUpewnXg4FQ3
bBXDRANfJzmfQMYy1DWj0B57ZOnGZ0ml+kYcq41INozn+0meKVAKUZ2ZBYiu
F/ms4J1zEYsa3uRzCrFvEOs5Zg1gdkBqQoGwOM0z7TpfmLUTG5OBVdCT96xM
YMyisOSgDtJtUPsfpuFGnE8rz5M5neIS8Y0wY5pWKMBEP4C5CnLCEKyF7fXE
sWRyAXBRnGviVBkAOjrgVRDBfmBPgMiPlRTyHcIcZzbPxgEnJ2IGnoghPjQK
rHbSzdKoWEG1hmi4JS+d/RxWltJ7mb5MN0GZUhdsvQF7fXiQjNrDsGFliYwE
heE+v8+JGZR9xnIVT7Xt0WToqitHEuQwLr7Qp3PYvLl2aiRP+DvhXAMA0ROn
K+gCwAf5XPjZf6tbG5EXQ1yYZGscB5AnJ/DkjLR0g+q1LEF7I5tqUj4S3XYe
zD9oHrdLYhO/j1CGe4fEphwWdtzGtR9SH913R8P6Hh4iOpcmIXgXGUJXDWON
HAFQXa4+5sUEsCKvRVoOsvZMvIZblcUfkuV6aQ5jseFZe52KG8wZOOphVAbK
goL7RkWEUHtNqmjhgIyNrpTfpQiD51sOptX7dbBe7YuSQ2RMAILLuOCzErbk
TTY66s70oohxzajq6TnqJ1lJ90zsYRGeGux7MrNuEZLEsn3tLnPTzixUdaTp
+pEctlrRCScUCiLqvINb3Yk1v9ja6lkp7xmq0enMtrEkJWpNB0Yh+erOsPBr
xrs2es6SyIhCrj54ADNMwyZV1ozoDaUZQ5lwP07wGcDXZ8vQpCRzPPy+iby+
nRtbg+6HU4bRqfru1ZMBB23cnl6aqIw0g5Qlseljs6BVjqlLo0kq0b7eAToG
J/JCaLag4V2WnLzDudEqzxIqhsEoWWPpYNHS0d6FeI0gT/wSpEYcDZEeWBhM
PYS1Tc3SUg8fPXqKAPBBb1urM08W8hEYyX/5y1+4qTCBNmDQBrQr99Vnh8PR
aK/75s3n0ogHsw1BN5y3fYrrvu1FrwHv1aBllKitPp1GDoaW0d58vmV8Ch/f
R6kcbQNGvm77zJtEPoGFU+zZYMPUPgcZf8YhVjhznIa9HCngtOENEh+2MKxU
sDDVvfPnO1wvi+skD7Li04+w13SwySp8knImHswVbZIP9oJ5tuqYTm3uRd1O
A9UdckqF3cVwzcVtFA1fq9sp6aSG7Sa43QCgisy61DBdY4ZuLWXbYrilG5be
3bQu7MTJJ1IBeZ0t1ARLFDZxawyXF4VGmr88VGzct4HO5Ea3XW1UW+1piadg
MNrtZEHidz6l0VwfhEChmnOixvTCU9WCOmMz4EeBodDl0/rWUIj8lhHJ3Osv
ZM5oyz4Y26ZmZ/DWV+54v5nZPRLOz/FF7NZgXYpZjjo1Qrm90Gb6JbVGsN13
ZDgMfPWkaP8jbTu9WnlelFc1HrnKANPTy9td33jDcqw12o9uf0h6TDYRL6PZ
XO0zZXtKYfohbDEljMHNSGsNpiigT6NLzXngeUXIcLUDAL7LbsJ7SRFUHUum
KMKGDbOcz5ZhPAan8U6AhQQ9vCmmZJviYnTRLyItudLm9zmsK0CBuvqMs3ER
HTLZPQSR9iOINL+/rqTE2ipbbaIE17GlaKfbWjdqSAXHds/qD7jQ2ml/2+zV
y7FyrW/UVkNty3UwnojuqvARVwc3MnGIEwp05sV7cq841ib9FIIa5i0LrHI6
DLy9userCeqzy1NikxxXPRieA/Cwrgs8YHKaubpRNy8fXOCeu+odPt3F7pOg
XDsx/jLB/0w7b3vvgKf4rOW7Tgx7Bl5C553YpnFb6tGPtJhV9Zt6KwoTki15
SGkZ4afCcR5O15kPsEIg+eCY2ND98GYABQiGi3Fl6kHRfHNeSGTUEWMBQ1xb
B6ZuWG7J2A5jXWGPHDMGuium93zkU3+wegYn6opKgfXv+LXEnB+sf9z3G76Y
drFCNPwNFn/wu/Bbz+xg5qqsL7WL0FL/o3qCy5iCeAvFLIkX0ZsOXttQ4r0N
HP6TsXbmeU43NXT6EZaRx6uT5jOTuKALLegZvE6jyk9QPuZF9XX4aOetscSm
53r6/n7nxzLP6EiZ38Ta9pTiI2RtdUcm1dpYCJuZIMC6ndrUvbdYZfXmsOvW
ipzhVvi2R7cF4AO0UPners77vrZIfA6+fhuB5YrrEyF6AEI0qQvRZLsUtX0W
AGTMB1FVpmgjsQV3D8NGZc1illoWP7KlMyRwWIPPGLBhK94td4uo4U1oOeBr
SxxoSV4Ibeu21LeEd2Q8OuwCsm7YF0a8e27L9rjHGhvk7U1jyWFdJxUKgy9n
uwYaP/K1zp49FWvKJuqoIJFqvj5OkgZyXOGb8e7u6ORkNjk6ORm93SlpLUPQ
5bReQ6kdmGw1mIMWB4HUMeRnPk1mC137EHub4RFGb7kumio9MUvtulfw9kmd
AetgZ/Th8ySRRUYPGEuNI+dBN9WwuOdaCuCAlvPJRWLOZNnbQ0hoebPvWFK6
JyEa6aEGBiidm4/If1+ShWVGsyOs6QoTF/42x/PxvoTA3AFrh29RMPbOaB84
oqizav2mBVu7KGfII9/EeK83pY0I2E+lEFLOg3D95dk5m74AVJvBYwuG0Eyp
GTYR3wDjPAKvaxG2teYvTPNTl1vAOteobhSBfQMajXxEbsxh8m+tFtKNc3N6
9YbZZdmoufy6Sjb76SotfBCXgPN5w3EQiUE1fXtczkGSUOJSEZaxT6rpV4/T
JNVa6KQNIDeT4MW0t0ZLE6P1GHc851pVi2Fbnt0+AveTMkjd8nbfZb0xuSU5
d2dvrbMlFmXqABlgYmJ00dQszOrb8EM8QXfgh6EXzcP8UDCECZLaTOC2a0Gi
rvSeGe+Ztp6IPK5wpsIcKkXx+mbR7MPo3ywlMsnQSvBVHw4agF6wIVsJ5zs3
rrZhv4KZc9WBbdjtyHVTIHPhzxH82WHQRh3+aAwfja9BtNrn8Sq4xuMD//mB
e4Ee8b7avX5rdI8xZkygeLvZU7WIiVvoWJBloGcIagOvAcQpljdm+W7ZY2fe
yFq9NQ68by2B9GmNu28D3VqmuDrwmKQgmK/J8lcpblwMJKEvWACAxkmoiZtZ
t+UVqvCPuoAHPG9hTR4u/GepuyO1HcT3ScbV2djlNtF8xsYotN7HMOYwxf/u
+hjzUdVn8vEMwgBXfaIW79s6mkjp/AGzKXRrHf712JSlgiXxErTtNMGY//2P
/1Dljd8Obm84bvYIZU1/IVOKOVnWb3LAGxPoaCr6ME4Qs0YNoxYcfzBXpwGh
0p1qG/Tyw3vvOBQd2AgG1mOCtNa6riepn4hp31BExzJ1R3wfnpLCPpSIttaz
SSrGmVwpmZCA4qKWVXC+N18NqA6CRQYvW87qGDWGx/jsmhHXXH1MF0j0naTi
5TfRzKll+oWDpTiexNuSWqUN4b8Jm22a6l+8FTGFB/39gq2pLZfhkPtBZjOb
kmZVHFOLZ7Nke8XRMHqwrkx2VE7G0Dje2WdkZ0pZyUVLbvXGLaaoSLCIWpsp
xmvtWrCw+4LN03SwtG7GHknHtXknKzOq9exAyNYVH3Olvplyy5GAgsdE8qVc
LSgZZul0HJQWUpKyZRvs2HdKO+uEjjpEzrszxAiCSMyJ+TrFczplSCoYMHf9
yDGMZocXQ4Oar3MQSg5R2DgHXTGHgeigUvEbrxSxj5khMjyAH71OvSgEDveH
w6O7LFwZvRa3fC8rW1d0FJqbOFp1xTyHHR2X8Y+5VJnv93huwhERGU0TJGOb
DaN5KNPOEcvzeOIm3r1dRkIBP7HCltdceYF1bieY2PzzGj7DCjz1pzfD4fAt
VTO1JyYY0zybsJN34RyfyTErl6pkfLQbrBnp62yDBzBO+VtTooYnlQnDkgZC
xsbCaIwpFjmVIuVS3WjcDtjpny7yddmxiU4PTOrxklmsmtYD4uqG9zae8EWL
wuseeBG9zEczzMZwkN/E8cW1MmeIFlwXT9kO1xWBF0a+2kYSraZImLkGzwLh
sSnN5yVdccEi8lvw2/guVpSu+BSJNeuxESuh0lyzhQkMdAsi4826UbkSlc7W
9S2xWCZzZRN+aYSpWKD6LuzrXuXLAVYcGuFgrpzwpJ7/vjl5ONPTNJZWpJEl
VCx9Dpiqr7qJaA4r7z0g+94JFfB2e1ypapkAG4tTzZKjK7EIqfBSYJBuyW4o
d5EWp+CRciOmXNs1mm6ME0gR0LA+wMURqGEB7OYsx5MLhuBoG/OgdgCYUa7C
IYuWo+MeRCtj55woXlNuO3pTbbWpUTSZVtrz2FwLazvcl2h0gHCbkJlTu8e1
J21bi4QqrGNpmq8rU1N7p/Tz8HPp0Y9VEHzoiAbk4Q4k8c74JqbjC/b8nWc8
UmlreNLIGyeiI6dVbC6W40SRNzfbXVj7Rrua5Vw+6csJW2gjtxMIGXlLH7Kd
6VmWUa2BGRrsNcJG79Usp26X4klPJEbDcJETzZ611JdrQuhRT63Vuq1g8jIU
A9ylmjiDLyDpC2uWDeGhGsLDCA7Mo8VLmMbBxu0b5FspVrPlnth9isCVxI5A
G7GxZpZVwwQFTt2hJpJLcqrKZphrrxgFV5njkJFXnC3ZYSB50MoFXVPAefQV
3cGWbqi+ub4ddIYb0YheFizP9vjCPpY5WUvkv0tVKfVoB01m8UgJDKwXtsdT
TuufsUIwgxjJrQIuZtOMeouH0lZ6MHM6u06JeJZ7I9eoenXqGVU8Yst8FlT2
yjukS2Nh4o5IO+gGlplyOIWseGfIWETzdo3tYEqRhBiYMKvlK0tM2MiuF97i
6ktBWACRPCxKU0RdyzJNQDQVXuYtw/s84kyC+FLr1nxXmvDJCWvU7n69igk2
2g01oPUQ6joCBVpdboPVBK5MOBXLaCdYh07nOu1Fgg0qtKZHabuvZ155s2fF
l3JnIRNjcMYFiH2qCzqG5tc54ks9oocz02Jiui7wHBmb1CIV5c61Jmxc0WMu
hQw8DCqXYpMFJD1f9eMdf7VGsizEBpcIXntnIi8lqe5ZIws+J2VjHFe//Evx
ZaGmrg07EHK/MrwqHWv45LZtse+5Dts7GTDZeIIvbLthzC4L9hkxqo+N3Piq
KCziacpHCO/xdnkCXEiFlQCW7dalX082xHn9nasr6/DztedUVdD7sh4L6Khm
fADr++2mWntWmEV2WAJhVKXrLQlATJZ0rZrkUuOFObUoF0La8j9SA6kuqhbh
LFY/DNN5bdMfXYrgkh3bA8ONbmizWW1e9/DNv1f5LKf7iemXE/XcMwxn6AL4
iC28m+dLc8diHZbwsBsXqHykM6nJKQS81upneaZK0z4kA80SelBahc6zCUJy
WFYMRssJtk9nyL1UHmcL48zsKI5bbNOAyVw/3ya7oZUPVIQtY9xVZGXt0mls
KWMwqF7JlkXmKqNfh3b7DAf1wqE7NZgLpVpQm52vBcCwXRZ8OuDsENWL1lv4
0g+Sxs98tS/2k2575NN/flaOxlu/fmXpKPyiHUalDtXPtnVY19Uc9u6F/c+C
EgfJgVD/FSrA8xuMYCNbjwVOZMAdWwjws5rhueZBoqs5HUmT42nbYMRU/M+f
AM0t8RjAmIQVTL8AxsO/O4w1ED8dRmDhn030Y1tdbslFvFtaVX8URl+AqF8E
476F8Vf7qcFYT8t8AoymIffffa8ts9ivPwmPeFcMvGOTPaaz0d/208CjkTR8
58ynw9ikRyHBX06Svw49+h3U/7n2ur1J+z8XjOGP6a/+95fhpsjp02D0O7n/
c8HY3i3+nwlG05/emUPSob5QqUptj3ppGINWAhpFzzkiiJWD1swLW8vcaO9J
xUO3+Z5v9fFT1kgLzb/al7exA4PGNE2DsDYi2YQE1BaL7UZDjW9QajWjbrMb
ASytGxJgDffhNdbuo/N6o00uSRh+MrhIuPUe3ugpd5zI6q50cOqeoqkznWHj
Nyz21sVFgh1JKvBy3/cjd9vfzLYtMg2LndchTZhNLTOGVKZ9v3ChrM+JFwpg
FDTJVusKOw11vZPLc3ei0x6bS6TnASWpqJGKQz4eUBHqoYtHY3ccL7xvGZxv
dAfpSKK7ZDQKUdzF5m4Dcwgx1T3vBIYLjM70KplWhgbxaJSU1gywdK8f7e/u
uvZncmkuB09MDYptrJP52QXnuJkZosYM+brCcP3e7pG5wZjCEBwg4ogdXT5I
AdAh3Zhpg2D+vTjmEdcNvKVkBmxCvqircQTFh398LLBwwcI23ADkA6kevB4G
lyvheSzvVLrUz9qIRsrH7+nyIT6QjxfN+H2oIrqIyDXvF4nBbfUGviVCCdiu
HA/DCFlY2HKFOae80J0TdUUn8jqTPH8Pf72R83nwAMqlRV5ssFbJGmKdvj3A
14nX1Xle4NfPk4VOQdwAp3vfkyTAr1/HGyrhl+jIQ9iWNYzrPboqgCHh0aPh
8YF8et1vB2XO3NIOyGOM62bq+3i9OG8HBesyEJBv8yxfF20wjMbD4+O/BYhv
QUAA9TzT6QX222yF41k+2ahHyfS9/21STjL8cndwcLA3GI/2RqPB3t8DTb8f
qlf0/2d5+j7RWSuIKCeeCrZw217hHraDu3d8MBgd43+P2sAd+xilf9/2heqS
6WaaOjJUeIYgZSBBFdnB3OYcm6XjQNfRdXBy04mn4PxAJDpJhOG2Y2fYG1sE
Giqs9gJ1gqPv4bpvEds3yOt76Ke9cjj5RT+MacHZDl7fZH9G9rex/W3P/rZv
f6PbEg/xdQblqsb/qikC8Cl722AoA5Qp/OxtY35lHtnr3SAAlL3a8MT8etC7
7rcDIL/u98Lpt7B8DYA62/szE8N/4qzbeTyc2ONz8/lh7wYWV78GSm5g7xC6
j7G4qsEc8LkPKXH49du+oyXH2DWODjCP3Hx9fS11j3U2piZHIeu2XqHMmS66
esBoezQWPOthGz9zaWcbL/sca9naor5veLLXxpTBz04owhqywbG15eUaK38S
y3JBqc+r2xiUBvgYZ+71zBLd6JbU+jdwH4/eYDvitZuHvIm1aNQWnsIC9BpP
3TzJjSzC02xhDqb1fp0dpBJYtuWj1D+6FfWLHXk7JuAaGt8svsnm7Ttzlrzk
23sFdIeQvaXZAEMsyA4kw4Bzd8ncjdNeizHL9jw+xTa9WLR00p/b+DQt2VZT
FrNyWNJBZtXm6eNHtJcdSppywUxpWcRaGdS2L+CcK48AOucAbuckkAF49uxk
Z2d0PB6ODo+Go+Fod+/kaH//YOcyr3aowdMOTb9TLCbk9r7yDBgaghrLYZEd
guq1JtlhK8U8dy2/WYLqACmAC4l5Hp/7pQJfBgzgr2QSrkFpDm0VisVcG9Cd
SzyvPyFCppp/8/nXMr7DXuclJairjZnrbeTN8/8V7b8rdI2ffxOID8H+baL+
Afzvt4f5AOrfJuK/PweZ+9vDfAj2bwv1qZ69yF7M5/9orIMJmOq4Zewm2hsg
/6Mw/gloJvPpDEwEjG+C+fGQD6j/o7F+e1r/2ALacP0Yi5NqiI4Ebvt85ylY
g2LrzCgOw3/gsRr88xY45he+psMSHypmhbb3xvjePr13uTcdwL+DajaQ14aI
5HTW2RqLGQfBmLox2wzGRByMGY1HN0Rj0H3bkbqPN4zsvsFN39BhXyiu75NI
aOl7npvxv6z75QdS2AlrElc/IKI+GPwB7QjBRP58Byr8Oaz9fddMJkSGcfA3
jv/e9j2+7fu02hf6fBsukWdVR/4Hx97vI991HY149h0TQN9Rb9pIAiY77HYa
BNWrT73TWJ79GY8PeC66YFH4He92pSsWjY7AD9wfMvwOPlMb7G7wF6+Whr/y
ghjy610XMTnumcO7zcDKUc/GNHDGY0EN1grs2GF3e4HjYX9aPRAYpHvlxWre
XHnxGFhDt4MGuINuPwgDCTBB4OVIXrmW7hYfnYANzU+cQl669SQPZOc+ZQ5+
59ZTsPFw+zlqVofMc8McQIRWY95uGqQwG5/b9f+gCKpR1cjQDjDmdaebb0mY
t4B+m+rpBUDXF+QvpskuFuCtes0H942osreWj/yIMiswT31Z5UUSwQoTT0Oh
0LmVNurdEFYZ3yqg0lcHuwdehOR0+j7LL2GfFtz2qXH4GqcybYDvd7Ic3+Ia
e0kf4wFE6g5szhUa1bcC2Z6XsTnATt2nOOfI6VTsRDpLZtTEF6/eokvJ8Our
qwEOYs5v00ElvnJBjngrPDlt0+bD6A9xQTdmxBX2g6lKuYdV4208cnNdrdvs
hZx92ei4wFaHdLApAoinmm47ztR4d3QXz49evdawfVUSZ+rf/vrfMOH0/Pr6
WhZHOd4LDV8v+Bg/hZmmlavddVn+7/ceYpNfeOiRO6RsrhbDqQFyLbcnUbi2
sYrLOh4rrxketpNdZEO5mQj7udHOSPaYU7q0TXIS6XcckPxGY449Vc8o+V/g
6e3o8WwteMJA1isYPy6m56r74NmDb3oEimtFgncL0R2W2MYaf6lQOeCBRLmN
Vj3Np3H6PR4cP1FMjMFhTUUlJOsEk9r4nyePHz/GLh8JHtvBG2lbRsGV6lmG
hx/4SfrVdcz0b+3ZOog8zt//P8id8runsQAA

-->

</rfc>
