<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.39 (Ruby 3.2.1) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-bormann-cbor-dcbor-03" category="exp" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.18.0 -->
  <front>
    <title abbrev="CBOR Profiles">Common CBOR Deterministic Encoding and Application Profiles</title>
    <seriesInfo name="Internet-Draft" value="draft-bormann-cbor-dcbor-03"/>
    <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>
    <date year="2023" month="August" day="23"/>
    <area>Applications and Real-Time</area>
    <workgroup>CBOR</workgroup>
    <abstract>
      <?line 101?>

<t>CBOR (STD 94, RFC 8949) defines "Deterministically Encoded CBOR" in
its Section 4.2, providing some flexibility for application specific
decisions.
To facilitate Deterministic Encoding to be offered as a selectable
feature of generic encoders, the present document discusses a
Common CBOR Deterministic Encoding Profile that can be shared by a
large set of applications with potentially diverging detailed
requirements.
The concept of Application Profiles is layered on top of the
Common CBOR Deterministic Encoding Profile and can address those
more application specific requirements.
The document defines the application profile "Gordian dCBOR" as an
example of an application profile built on the Common CBOR
Deterministic Encoding Profile.</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-bormann-cbor-dcbor/"/>.
      </t>
      <t>
        Discussion of this document takes place on the
        Concise Binary Object Representation Maintenance and Extensions (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/cabo/det"/>.</t>
    </note>
  </front>
  <middle>
    <?line 121?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>CBOR (STD 94, RFC 8949) defines "Deterministically Encoded CBOR" in
its Section 4.2, providing some flexibility for application specific
decisions.
To facilitate Deterministic Encoding to be offered as a selectable
feature of generic encoders, the present document discusses a
Common CBOR Deterministic Encoding Profile that can be shared by a
large set of applications with potentially diverging detailed
requirements.
The concept of Application Profiles is layered on top of the
Common CBOR Deterministic Encoding Profile and can address those
more application specific requirements.
The document defines the application profile "Gordian dCBOR" as an
example of an application profile built on the Common CBOR
Deterministic Encoding Profile.</t>
      <section anchor="conventions-and-definitions">
        <name>Conventions and Definitions</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?>

</section>
    </section>
    <section anchor="dep">
      <name>Common CBOR Deterministic Encoding Profile (CDE)</name>
      <t>This specification defines the <em>Common CBOR Deterministic Encoding
Profile</em> (CDE) based on the <em>Core Deterministic Encoding
Requirements</em> defined for CBOR in 
<xref section="4.2.1" sectionFormat="of" target="STD94"/>.</t>
      <t>In many cases, CBOR provides more than one way to encode a data item,
but also provides a recommendation for a <em>Preferred Encoding</em>.
The <em>CoRE Deterministic Encoding Requirements</em> generally pick the
preferred encodings as mandatory; they also pick additional choices
such as definite-length encoding.
Finally, it defines a map ordering based on lexicographic ordering of
the (deterministically) encoded map keys.</t>
      <t>Note that this specific set of requirements is elective — in
principle, other variants of deterministic encoding can be defined
(and have been, now being phased out slowly, as detailed in <xref section="4.2.3" sectionFormat="of" target="STD94"/>).
In many applications of CBOR today, deterministic encoding is not used
at all, as its restriction of choices can create some additional
performance cost and code complexity.</t>
      <t>The core requirements are designed to provide well-understood and
easy-to-implement rules while maximizing coverage, i.e., the subset of
CBOR data items that are fully specified by these rules, and also
placing minimal burden on implementations.</t>
      <t><xref section="4.2.2" sectionFormat="of" target="STD94"/> picks up on the interaction of extensibility
(CBOR tags) and deterministic encoding.
CBOR itself uses some tags to increase the range of its basic
generic data types, e.g., tag 2/3 extend the range of basic major
types 0/1 in a seamless way.
<xref section="4.2.2" sectionFormat="of" target="STD94"/> recommends handling this transition the same
way as with the transition between different integer representation
lengths in the basic generic data model, i.e., by mandating the
Preferred Encoding (<xref section="3.4.3" sectionFormat="of" target="STD94"/>).</t>
      <ol spacing="normal" type="1" group="1"><li>The Common CBOR Deterministic Encoding Profile (CDE) turns this
recommendation into a mandate: Integers that can be represented by
basic major type 0 and 1 are encoded using the deterministic
encoding defined for them, and integers outside this range are
encoded using the preferred serialization (<xref section="3.4.3" sectionFormat="of" target="STD94"/>) of tag 2 and 3 (i.e., no leading zero bytes).</li>
      </ol>
      <t>Most tags capture more specific application semantics and therefore
may be harder to define a deterministic encoding for.
While the deterministic encoding of their tag internals is often
covered by the <em>Core Deterministic Encoding Requirements</em>, the mapping
of diverging platform application data types on the tag contents may
be hard to do in a deterministic way; see <xref section="3.2" sectionFormat="of" target="I-D.bormann-cbor-det"/> for
more explanation as well as examples.
As the CDE would continually
need to address additional issues raised by the registration of new
tags, this specification RECOMMENDS that new tag registrations address
deterministic encoding in the context of this Profile.</t>
      <t>A particularly difficult field to obtain deterministic encoding for is
floating point numbers, partially because they themselves are often
obtained from processes that are not entirely deterministic between platforms.
See <xref section="3.2.2" sectionFormat="of" target="I-D.bormann-cbor-det"/> for more details.
<xref section="4.2.2" sectionFormat="of" target="STD94"/> presents a number of choices, which need to
be made to obtain a Common CBOR Deterministic Encoding Profile (CDE).
Specifically, CDE specifies (in the order of the bullet list at the end of <xref section="4.2.2" sectionFormat="of" target="STD94"/>):</t>
      <ol spacing="normal" type="1" group="1"><li>Besides the mandated use of preferred encoding, there is no further
specific action for the two different zero values, e.g., an encoder
that is asked by an application to represent a negative floating
point zero will generate 0xf98000.</li>
        <li>There is no attempt to mix integers and floating point numbers,
i.e., all floating point values are encoded as the preferred
floating-point representation that accurately represents the value,
independent of whether the floating point value is, mathematically,
an integral value (choice 2 of the second bullet).</li>
        <li>There is no special handling of NaN values, except that the
preferred encoding rules also apply to NaNs with payloads, using
the canonical encoding of NaNs as defined in <xref target="IEEE754"/>.
Typically, most applications that employ NaNs in their storage and
communication interfaces will only use the NaN with payload 0,
which encodes as 0xf97e00.</li>
        <li>There is no special handling of subnormal values.</li>
        <li>The Common CBOR Deterministic Encoding Profile does not presume
equivalence of floating point values with other representation
(e.g., tag 4/5) with basic floating point values.</li>
      </ol>
      <t>The main intent here is to preserve the basic generic data model, so
application profiles can make their own decisions.  For an example of
that, see <xref target="dcbor-num"/>.</t>
      <t>While <xref target="I-D.rundgren-deterministic-cbor"/> is a relatively terse document that is not always easy
to interpret, to this author its intent appears to be aligned with
that of the Common CBOR Deterministic Encoding Profile defined here,
except that it mandates reduction of all NaN values to the one encoded
as 0xf97e00.</t>
    </section>
    <section anchor="application-profiles">
      <name>Application Profiles</name>
      <t>While the Common CBOR Deterministic Encoding Profile (CDE) provides
for commonality between different applications of CBOR, it is useful
to further constrain the set of data items handled in a group of
applications (<em>exclusions</em>) and to define further mappings
(<em>reductions</em>) that help the applications in such a group get by with
the exclusions.</t>
      <t>The dCBOR Application Profile specifies the use of Deterministic
Encoding as defined in <xref section="4.2" sectionFormat="of" target="STD94"/> (see also <xref target="I-D.bormann-cbor-det"/> for more
information) together with some application-level rules.
To provide an example, but also to provide a normative definition, the
rules for Gordian dCBOR <xref target="I-D.mcnally-deterministic-cbor"/> are specified in this section.</t>
      <t>The application-level rules specified by an Application Profile are
based on the same Common CBOR Deterministic Encoding Profile; they do
not "fork" CBOR.</t>
      <t>An Application Profile implementation produces well-formed,
deterministically encoded CBOR according to <xref target="STD94"/>, and existing
generic CBOR decoders will therefore be able to decode it, including
those that check for Deterministic Encoding.
Similarly, generic CBOR encoders will be able to produce valid CBOR
that can be processed by Application Profile implementations, if
handed Application Profile conforming data model level information
from an application.</t>
      <t>Please note that the separation between standard CBOR processing and
the processing required by the Application Profile is a conceptual
one: Both Application Profile processing and standard CBOR processing
can be combined into a special dCBOR/CBOR encoder/decoder.</t>
      <t>An Application Profile is intended to be used in conjunction with an
application, which typically will use a subset of the CBOR generic
data model, which in turn
influences which subset of the application profile is used.
As a result, an Application Profile itself places no direct
requirement on what minimum subset of CBOR is implemented.
For instance, while the dCBOR application profile defines rules for
the processing of floating point values, there is no requirement that
dCBOR implementations support floating point numbers (or any other
kind of number, such as arbitrary precision integers or 64-bit
negative integers) when they are used with applications that do not
use them.</t>
      <section anchor="dcbor">
        <name>Gordian dCBOR</name>
        <t>Gordian dCBOR <xref target="I-D.mcnally-deterministic-cbor"/> provides an application profile that
requires encoders to produce valid CBOR in deterministic encoding as
defined in the Common CBOR Deterministic Encoding Profile.
Gordian dCBOR also requires dCBOR decoders to reject CBOR data items
that were not deterministically encoded.</t>
        <t>Beyond the Common CBOR Deterministic Encoding Profile, dCBOR imposes
certain limitations on the CBOR basic generic data model.
Some items that can be represented in the CBOR basic generic data
model are entirely outlawed by this application profile.
Other items are represented by what are considered equivalent data
items by the dCBOR equivalence model, so a recipient application might
receive data that may not be the same data in the CBOR equivalence
model as the ones the generating application produced.</t>
        <t>These restrictions mainly are about numeric values, which are therefore
the subject of the main subsection of this section.</t>
        <section anchor="removing-simple-values">
          <name>Removing Simple Values</name>
          <t>Only the three simple values <tt>false</tt> (0xf4), <tt>true</tt> (0xf5), and <tt>null</tt>
(0xf6) are allowed at the application level; the remaining 253 values
must be rejected.</t>
        </section>
        <section anchor="removing-integer-values">
          <name>Removing Integer Values</name>
          <t>Only the integer values in range [<tt>-2</tt><sup><tt>63</tt></sup>,
<tt>2</tt><sup><tt>64</tt></sup><tt>-1</tt>] can be expressed in dCBOR ("basic dCBOR integers").
Note that the range is asymmetric, with only 2<sup>63</sup> negative
values, but 2<sup>64</sup> unsigned (non-negative) values, creating an
(approximately) 64.6 bit integer.</t>
          <t>This maps to a choice between a platform 64-bit two's complement
signed integer (often called int64) and a 64-bit unsigned integer (uint64).
(Specific applications will, of course, further restrict ranges of
integers that are considered valid for the application, based on their
position and semantics in the CBOR data item.)</t>
        </section>
        <section anchor="dcbor-num">
          <name>Numeric Reduction of Floating-Point Values</name>
          <t>dCBOR implementations that do support floating point numbers <bcp14>MUST</bcp14>
perform the following two reductions of numeric values when
constructing CBOR data items:</t>
          <ol spacing="normal" type="1"><li>
              <t>When representing integral floating point values (floating point
values with a zero fractional part), check whether the
mathematically identical value can be represented as a dCBOR
integer value, i.e., is in the range [<tt>-2</tt><sup><tt>63</tt></sup>,
<tt>2</tt><sup><tt>64</tt></sup><tt>-1</tt>] given above.
If that is the case, convert the integral floating point
to that mathematically identical integer value before encoding it.
(Deterministic Encoding will then ensure the shortest length encoding
is used.)
This means that if a floating point value has a non-zero fractional part, or an
exponent that takes it out of the given range of basic dCBOR integers, the
original floating point value is used for encoding.
(Specifically, conversion to a bignum is never considered.)  </t>
              <t>
This also means that the three representations of a zero number in CBOR
(0, 0.0, -0.0 in diagnostic notation) are all reduced to the basic
integer 0 (with preferred encoding 0x00).  </t>
              <t>
Note that this reduction can turn valid maps into invalid ones, as it
can create duplicate keys, e.g., for:  </t>
              <sourcecode type="cbor-diag"><![CDATA[
{
   10: "integer ten",
   10.0: "floating ten"
}
]]></sourcecode>
              <t>
This means that, at the application level, the application <bcp14>MUST</bcp14>
prevent the creation of maps that would turn invalid in dCBOR
processing.</t>
            </li>
            <li>In addition, before encoding, represent all <tt>NaN</tt> values by using
the quiet <tt>NaN</tt> value having the half-width CBOR representation
<tt>0xf97e00</tt>.</li>
          </ol>
          <t>dCBOR-based applications <bcp14>MUST</bcp14> accept these "reduced" numbers in place
of the original value, e.g., a dCBOR-based application that expects a
floating point value needs to accept a basic dCBOR integer in its
place (and, if needed, convert it to a floating point value for its
own further processing).</t>
          <t>dCBOR-based applications <bcp14>MUST NOT</bcp14> accept numbers that have not been
reduced as specified in this section, except maybe by making the
unreduced numbers available for their diagnostic value when there has
been an explicit request to do so.
This is similar to a checking flag mentioned in Section 5.1 (API
Considerations) of <xref target="I-D.bormann-cbor-det"/> being set by default.</t>
        </section>
      </section>
      <section anchor="extensibility">
        <name>Extensibility</name>
        <t><xref target="I-D.mcnally-deterministic-cbor"/> does not discuss extensibility.
A meaningful way to handle extensibility in this application profile
would be to lift value range restrictions, keeping the
profile-specific equivalence rules shown here intact and possibly
adding equivalences as needed for newly allowed values.</t>
        <t>This subsection presents two speculative extensions of dCBOR, called
dCBOR-wide1 and dCBOR-wide2, to point out different objectives that
can lead the development of an extension.</t>
        <section anchor="wide1">
          <name>dCBOR-wide1</name>
          <t>This speculative extension of dCBOR attempts to meet two objectives:</t>
          <ol spacing="normal" type="1" group="w1"><li>All instances that meet dCBOR are also instances of dCBOR-wide1;
due to the nature of deterministic serialization this also means
that dCBOR-wide1 instances that only use application data model
values that are allowed by dCBOR are also dCBOR instances.</li>
            <li>The range of integers that can be provided by an application and
can be interchanged as exact numbers is
expanded to [<tt>-2</tt><sup><tt>127</tt></sup>, <tt>2</tt><sup><tt>128</tt></sup><tt>-1</tt>],
now also covering the types i128 and u128 in Rust <xref target="i128"/><xref target="u128"/>.</li>
          </ol>
          <t>This extension is achieved by simply removing the integers in the
extended range from the exclusion range of dCBOR.
The numeric reduction rule is not changed, so it still applies only to
integral-valued floating-point numbers in the range
[<tt>-2</tt><sup><tt>63</tt></sup>, <tt>2</tt><sup><tt>64</tt></sup><tt>-1</tt>].</t>
          <t>Examples for the application-to-CDE mapping of dCBOR-wide1 are shown
in <xref target="tab-wide1"/>.
In the dCBOR column, items that are not excluded in dCBOR are marked
✓, items that are excluded in dCBOR and therefore are new in
dCBOR-wide1 are marked 👎.</t>
          <table anchor="tab-wide1">
            <name>Speculative "dCBOR-wide1" application profile</name>
            <thead>
              <tr>
                <th align="left">Application data   Numeric reduction (if any)   Encoding via CDE</th>
                <th align="left">dCBOR?</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">
                  <tt>0</tt> <br/>  <tt>—</tt> <br/> <tt>00</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>0.0</tt> <br/>  <tt>0</tt> <br/> <tt>00</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-0.0</tt> <br/>  <tt>0</tt> <br/> <tt>00</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>4.0</tt> <br/>  <tt>4</tt> <br/> <tt>04</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-4.0</tt> <br/>  <tt>-4</tt> <br/> <tt>23</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>1.0e+19</tt> <br/>  <tt>10000000000000000000</tt> <br/> <tt>1B8AC7230489E80000</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-1.0e+19</tt> <br/>  <tt>—</tt> <br/> <tt>FBC3E158E460913D00</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>10000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>1B8AC7230489E80000</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-10000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>3B8AC7230489E7FFFF</tt></td>
                <td align="left">👎 <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>1.0e+38</tt> <br/>  <tt>—</tt> <br/> <tt>FB47D2CED32A16A1B1</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-1.0e+38</tt> <br/>  <tt>—</tt> <br/> <tt>FBC7D2CED32A16A1B1</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>100000000000000000000000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>C2504B3B4CA85A86C47A098A224000000000</tt></td>
                <td align="left">👎 <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-100000000000000000000000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>C3504B3B4CA85A86C47A098A223FFFFFFFFF</tt></td>
                <td align="left">👎 <br/></td>
              </tr>
            </tbody>
          </table>
          <t>This speculative extended profile does not meet a potential objective
number 3 that unextended dCBOR does meet:</t>
          <ol spacing="normal" type="1" group="w1"><li>All integral-valued floating point numbers coming from an
application that fit into an integer representation allowed
by the application profile are represented as such.</li>
          </ol>
          <t>Objective 1 prevents numeric reduction from being applied to values
that are not excluded in dCBOR but do to receive numeric reduction
there.</t>
        </section>
        <section anchor="wide2">
          <name>dCBOR-wide2</name>
          <t>The speculative dCBOR-wide2 extension of dCBOR attempts to meet
objectives 2 and 3 mentioned in <xref target="wide1"/>.  It cannot meet objective 1:
items in <xref target="tab-wide2"/> marked with a 💣 character are allows in dCBOR
but have different serializations.</t>
          <table anchor="tab-wide2">
            <name>Speculative "dCBOR-wide2" application profile</name>
            <thead>
              <tr>
                <th align="left">Application data   Numeric reduction (if any)   Encoding via CDE</th>
                <th align="left">dCBOR?</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">
                  <tt>0</tt> <br/>  <tt>—</tt> <br/> <tt>00</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>0.0</tt> <br/>  <tt>0</tt> <br/> <tt>00</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-0.0</tt> <br/>  <tt>0</tt> <br/> <tt>00</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>4.0</tt> <br/>  <tt>4</tt> <br/> <tt>04</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-4.0</tt> <br/>  <tt>-4</tt> <br/> <tt>23</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>1.0e+19</tt> <br/>  <tt>10000000000000000000</tt> <br/> <tt>1B8AC7230489E80000</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-1.0e+19</tt> <br/>  <tt>-10000000000000000000</tt> <br/> <tt>3B8AC7230489E7FFFF</tt></td>
                <td align="left">✓ <br/> 💣</td>
              </tr>
              <tr>
                <td align="left">
                  <tt>10000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>1B8AC7230489E80000</tt></td>
                <td align="left">✓ <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-10000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>3B8AC7230489E7FFFF</tt></td>
                <td align="left">👎 <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>1.0e+38</tt> <br/>  <tt>99999999999999997748809823456034029568</tt> <br/> <tt>C2504B3B4CA85A86C4000000000000000000</tt></td>
                <td align="left">✓ <br/> 💣</td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-1.0e+38</tt> <br/>  <tt>-99999999999999997748809823456034029568</tt> <br/> <tt>C3504B3B4CA85A86C3FFFFFFFFFFFFFFFFFF</tt></td>
                <td align="left">✓ <br/> 💣</td>
              </tr>
              <tr>
                <td align="left">
                  <tt>100000000000000000000000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>C2504B3B4CA85A86C47A098A224000000000</tt></td>
                <td align="left">👎 <br/></td>
              </tr>
              <tr>
                <td align="left">
                  <tt>-100000000000000000000000000000000000000</tt> <br/>  <tt>—</tt> <br/> <tt>C3504B3B4CA85A86C47A098A223FFFFFFFFF</tt></td>
                <td align="left">👎 <br/></td>
              </tr>
            </tbody>
          </table>
          <t>This extension is achieved by removing the integers in the
extended range from the exclusion range of dCBOR, and by adding the
extended range to the target range of numeric reduction.</t>
        </section>
      </section>
    </section>
    <section anchor="cddl-support">
      <name>CDDL support</name>
      <t><xref target="RFC8610"/> defines control operators to indicate that the contents of a
byte string carries a CBOR-encoded data item (<tt>.cbor</tt>) or a sequence of
CBOR-encoded data items (<tt>.cborseq</tt>).</t>
      <t>CDDL specifications may want to specify that the data items should be
encoded in Common CBOR Deterministic Encoding, or with the dCBOR
application profile applied as well.
This specification adds four CDDL control operators that can be used
for this.</t>
      <t>The control operators <tt>.cde</tt> and <tt>.cdeseq</tt> are exactly like <tt>.cbor</tt> and
<tt>.cborseq</tt> except that they also require the encoded data item(s) to be
in Common CBOR Deterministic Encoding.</t>
      <t>The control operators <tt>.dcbor</tt> and <tt>.dcborseq</tt> are exactly like <tt>.cde</tt> and
<tt>.cdeseq</tt> except that they also require the encoded data item(s) to
conform to the dCBOR application profile.</t>
      <t>For example, the normative comment in <xref section="3" sectionFormat="of" target="I-D.draft-mcnally-envelope-03"/>:</t>
      <artwork><![CDATA[
leaf = #6.24(bytes)  ; MUST be dCBOR
]]></artwork>
      <t>...can now be formalized as:</t>
      <artwork><![CDATA[
leaf = #6.24(bytes .dcbor any)
]]></artwork>
      <t>More importantly, if the encoded data item also needs to have a
specific structure, this can be expressed by the right hand side
(instead of using the most general CDDL type <tt>any</tt> here).</t>
      <t>(Note that the ...<tt>seq</tt> control operators do not enable specifying
different deterministic encoding requirements for the elements of the
sequence.  If a use case for such a feature becomes known, it could be
added.)</t>
    </section>
    <section removeInRFC="true" anchor="implementation-status">
      <name>Implementation Status</name>
      <t>(Boilerplate as per <xref section="2.1" sectionFormat="of" target="RFC7942"/>:)</t>
      <t>This section records the status of known implementations of the
protocol defined by this specification at the time of posting of
this Internet-Draft, and is based on a proposal described in
<xref target="RFC7942"/>.  The description of implementations in this section is
intended to assist the IETF in its decision processes in
progressing drafts to RFCs.  Please note that the listing of any
individual implementation here does not imply endorsement by the
IETF.  Furthermore, no effort has been spent to verify the
information presented here that was supplied by IETF contributors.
This is not intended as, and must not be construed to be, a
catalog of available implementations or their features.  Readers
are advised to note that other implementations may exist.</t>
      <t>According to <xref target="RFC7942"/>, "this will allow reviewers and working
groups to assign due consideration to documents that have the
benefit of running code, which may serve as evidence of valuable
experimentation and feedback that have made the implemented
protocols more mature.  It is up to the individual working groups
to use this information as they see fit".
<?line -22?>
      </t>
      <section anchor="gordian-dcbor-application-profile">
        <name>Gordian dCBOR Application Profile</name>
        <section anchor="typescript">
          <name>TypeScript</name>
          <ul spacing="normal">
            <li>Implementation Location: <xref target="bc-dcbor-ts"/></li>
            <li>Primary Maintainer:</li>
            <li>Languages: TypeScript (transpiles to JavaScript)</li>
            <li>Coverage:</li>
            <li>Testing:</li>
            <li>Licensing:</li>
          </ul>
        </section>
        <section anchor="swift">
          <name>Swift</name>
          <ul spacing="normal">
            <li>Implementation Location: <xref target="BCSwiftDCBOR"/></li>
            <li>Primary Maintainer:</li>
            <li>Languages: Swift</li>
            <li>Coverage:</li>
            <li>Testing:</li>
            <li>Licensing: BSD-2-Clause-Patent</li>
          </ul>
        </section>
        <section anchor="rust">
          <name>Rust</name>
          <ul spacing="normal">
            <li>Implementation Location: <xref target="bc-dcbor-rust"/></li>
            <li>Primary Maintainer:</li>
            <li>Languages: Rust</li>
            <li>Coverage:</li>
            <li>Testing:</li>
            <li>Licensing: Custom</li>
          </ul>
        </section>
        <section anchor="ruby">
          <name>Ruby</name>
          <ul spacing="normal">
            <li>Implementation Location: <xref target="cbor-dcbor"/></li>
            <li>Primary Maintainer: Carsten Bormann</li>
            <li>Languages: Ruby</li>
            <li>Coverage: Complete specification; complemented by CBOR
encoder/decoder and command line interface from <xref target="cbor-diag"/> and
deterministic encoding from <xref target="cbor-deterministic"/>.
Checking of dCBOR exclusions not yet implemented.</li>
            <li>Testing:
Also available at <eref target="https://cbor.me">https://cbor.me</eref></li>
            <li>Licensing: Apache-2.0</li>
          </ul>
        </section>
      </section>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>TODO Security</t>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t><cref anchor="to-be-removed">RFC Editor: please replace RFCXXXX with the RFC
number of this RFC and remove this note.</cref></t>
      <t>This document requests IANA to register the contents of
<xref target="tbl-iana-reqs"/> into the registry
"<xref section="CDDL Control Operators" relative="#cddl-control-operators" sectionFormat="bare" target="IANA.cddl"/>" of <xref target="IANA.cddl"/>:</t>
      <table anchor="tbl-iana-reqs">
        <name>New control operators to be registered</name>
        <thead>
          <tr>
            <th align="left">Name</th>
            <th align="left">Reference</th>
          </tr>
        </thead>
        <tbody>
          <tr>
            <td align="left">.cde</td>
            <td align="left">[RFCXXXX]</td>
          </tr>
          <tr>
            <td align="left">.cdeseq</td>
            <td align="left">[RFCXXXX]</td>
          </tr>
          <tr>
            <td align="left">.dcbor</td>
            <td align="left">[RFCXXXX]</td>
          </tr>
          <tr>
            <td align="left">.dcborseq</td>
            <td align="left">[RFCXXXX]</td>
          </tr>
        </tbody>
      </table>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="STD94">
          <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>
        <reference anchor="IEEE754" target="https://ieeexplore.ieee.org/document/8766229">
          <front>
            <title>IEEE Standard for Floating-Point Arithmetic</title>
            <author>
              <organization>IEEE</organization>
            </author>
            <date/>
          </front>
          <seriesInfo name="IEEE Std" value="754-2019"/>
          <seriesInfo name="DOI" value="10.1109/IEEESTD.2019.8766229"/>
        </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="IANA.cddl" target="https://www.iana.org/assignments/cddl">
          <front>
            <title>Concise Data Definition Language (CDDL)</title>
            <author>
              <organization>IANA</organization>
            </author>
          </front>
        </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>
        <name>Informative References</name>
        <reference anchor="I-D.bormann-cbor-det">
          <front>
            <title>CBOR: On Deterministic Encoding</title>
            <author fullname="Carsten Bormann" initials="C." surname="Bormann">
              <organization>Universität Bremen TZI</organization>
            </author>
            <date day="9" month="August" year="2023"/>
            <abstract>
              <t>   CBOR (STD 94, RFC 8949) defines "Deterministically Encoded CBOR" in
   its Section 4.2.  The present document provides additional
   information about use cases, deployment considerations, and
   implementation choices for Deterministic Encoding.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-bormann-cbor-det-01"/>
        </reference>
        <reference anchor="I-D.mcnally-deterministic-cbor">
          <front>
            <title>Gordian dCBOR: A Deterministic CBOR Application Profile</title>
            <author fullname="Wolf McNally" initials="W." surname="McNally">
              <organization>Blockchain Commons</organization>
            </author>
            <author fullname="Christopher Allen" initials="C." surname="Allen">
              <organization>Blockchain Commons</organization>
            </author>
            <date day="8" month="August" year="2023"/>
            <abstract>
              <t>   CBOR (RFC 8949) defines "Deterministically Encoded CBOR" in its
   Section 4.2.  The present document provides the application profile
   "dCBOR" that can be used to help achieve interoperable deterministic
   encoding.

Discussion Venues

   This note is to be removed before publishing as an RFC.

   Source for this draft and an issue tracker can be found at
   https://github.com/BlockchainCommons/WIPs-IETF-draft-deterministic-
   cbor.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-mcnally-deterministic-cbor-05"/>
        </reference>
        <reference anchor="bc-dcbor-ts" target="https://github.com/BlockchainCommons/bc-dcbor-ts">
          <front>
            <title>Blockchain Commons Deterministic CBOR ("dCBOR") for TypeScript</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="BCSwiftDCBOR" target="https://github.com/BlockchainCommons/BCSwiftDCBOR">
          <front>
            <title>Blockchain Commons Deterministic CBOR ("dCBOR") for Swift</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="bc-dcbor-rust" target="https://github.com/BlockchainCommons/bc-dcbor-rust">
          <front>
            <title>Blockchain Commons Deterministic CBOR ("dCBOR") for Rust</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="cbor-dcbor" target="https://github.com/cabo/cbor-dcbor">
          <front>
            <title>PoC of the McNally/Allen "dCBOR" application-level CBOR representation rules</title>
            <author initials="C." surname="Bormann" fullname="Carsten Bormann">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="cbor-diag" target="https://github.com/cabo/cbor-diag">
          <front>
            <title>CBOR diagnostic utilities</title>
            <author initials="C." surname="Bormann" fullname="Carsten Bormann">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="cbor-deterministic" target="https://github.com/cabo/cbor-deterministic">
          <front>
            <title>cbor-deterministic gem</title>
            <author initials="C." surname="Bormann" fullname="Carsten Bormann">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="I-D.rundgren-deterministic-cbor">
          <front>
            <title>CBOR Deterministic Encoding Profile (CDEP)</title>
            <author fullname="Anders Rundgren" initials="A." surname="Rundgren">
              <organization>Independent</organization>
            </author>
            <date day="21" month="August" year="2023"/>
            <abstract>
              <t>   This document describes CDEP, a deterministic encoding profile for
   CBOR, intended for usage in high-end computing platforms like mobile
   phones, Web browsers, and Web servers.  In addition to enhancing
   interoperability, deterministic encoding also enables performing
   cryptographic operations like signing "raw" CBOR data items,
   something which otherwise would require wrapping such data in byte
   strings, or introduce dependencies on non-standard canonicalization
   procedures.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-rundgren-deterministic-cbor-22"/>
        </reference>
        <reference anchor="I-D.draft-mcnally-envelope-03">
          <front>
            <title>The Gordian Envelope Structured Data Format</title>
            <author fullname="Wolf McNally" initials="W." surname="McNally">
              <organization>Blockchain Commons</organization>
            </author>
            <author fullname="Christopher Allen" initials="C." surname="Allen">
              <organization>Blockchain Commons</organization>
            </author>
            <date day="17" month="August" year="2023"/>
            <abstract>
              <t>   Gordian Envelope specifies a structured format for hierarchical
   binary data focused on the ability to transmit it in a privacy-
   focused way, offering support for privacy as described in RFC-6973
   and human rights as described in RFC-8280.  Envelopes are designed to
   facilitate "smart documents" and have a number of unique features
   including: easy representation of a variety of semantic structures, a
   built-in Merkle-like digest tree, deterministic representation using
   CBOR, and the ability for the holder of a document to selectively
   elide specific parts of a document without invalidating the digest
   tree structure.  This document specifies the base Envelope format,
   which is designed to be extensible.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-mcnally-envelope-03"/>
        </reference>
        <reference anchor="i128" target="https://doc.rust-lang.org/std/primitive.i128.html">
          <front>
            <title>Primitive Type i128</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="u128" target="https://doc.rust-lang.org/std/primitive.u128.html">
          <front>
            <title>Primitive Type u128</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="RFC7942">
          <front>
            <title>Improving Awareness of Running Code: The Implementation Status Section</title>
            <author fullname="Y. Sheffer" initials="Y." surname="Sheffer"/>
            <author fullname="A. Farrel" initials="A." surname="Farrel"/>
            <date month="July" year="2016"/>
            <abstract>
              <t>This document describes a simple process that allows authors of Internet-Drafts to record the status of known implementations by including an Implementation Status section. This will allow reviewers and working groups to assign due consideration to documents that have the benefit of running code, which may serve as evidence of valuable experimentation and feedback that have made the implemented protocols more mature.</t>
              <t>This process is not mandatory. Authors of Internet-Drafts are encouraged to consider using the process for their documents, and working groups are invited to think about applying the process to all of their protocol specifications. This document obsoletes RFC 6982, advancing it to a Best Current Practice.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="205"/>
          <seriesInfo name="RFC" value="7942"/>
          <seriesInfo name="DOI" value="10.17487/RFC7942"/>
        </reference>
      </references>
    </references>
    <?line 642?>

<section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t><xref target="dcbor"/> of this document is based on the work of Wolf McNally and Christopher
Allen as documented in <xref target="I-D.mcnally-deterministic-cbor"/> and discussed in 2023 in the CBOR
working group.</t>
    </section>
    <section anchor="contributors" numbered="false" toc="include" removeInRFC="false">
      <name>Contributors</name>
      <contact initials="W." surname="McNally" fullname="Wolf McNally">
        <organization>Blockchain Commons</organization>
        <address>
          <email>wolf@wolfmcnally.com</email>
        </address>
      </contact>
      <contact initials="C." surname="Allen" fullname="Christopher Allen">
        <organization>Blockchain Commons</organization>
        <address>
          <email>christophera@lifewithalacrity.com</email>
        </address>
      </contact>
      <contact initials="A." surname="Rundgren" fullname="Anders Rundgren">
        <organization>Independent</organization>
        <address>
          <postal>
            <city>Montpellier</city>
            <country>France</country>
          </postal>
          <email>anders.rundgren.net@gmail.com</email>
          <uri>https://www.linkedin.com/in/andersrundgren/</uri>
        </address>
      </contact>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+082XIjyXHv9RVlzIPBEdDENRySe/IaiY65PJy1LO+uloXu
AtBioxvqgyCWS4W+wBG29egIOcJ+8HfYf7JfoE9wHlXd1UCDx1oPVoQRMUOg
u46srLwzq7rdrrg+lEMh8jCP9KE8SebzJJYnx+8+yFOd63QexmGWh748i/0k
COOpVHEgjxaLKPRVHkLb92kyCSOdCTUepxpGo87l0yDxYzWHoYNUTfLuOEnn
Ko67PnzpBvR/pHKd5QKG09MkXR1KfbMQWZ5qNT+U52cfXwkRwLtD4SdxpuOs
yA5lnhZaKGhyKFsOMBlB90GrqPsxnOuWWCbp1TRNigWDJa70Ch4Fh0Jc67iA
MaU0r1snSeyHmZbHYazSlXw3/o32cxhrkWqYNefFvlFhnOtYxb6mqc5u4FdG
M7dxgp0WjDhXYQQD4uK+DHU+8ZJ0is+nYT4rxvhGjZPdQOctIVSRz5IU4ejC
PynDGFZ34sljxhM9Y/ydqDSDyWpvYOBD+VUcXus0C/P//o9cHqd6Do0+/sM5
NUA06vxQvk+yfKL8mRwOe6NRj975YQ7I5g78IAlgntPuYH/44sA8KeIct+Tn
Gidd0cPFLImh3c9GB93RoN8d9Pe7e8ODQZ9eal48rvDL/PsQly5w4/I0HBc5
rbRrV/TLJJrIN/5bFUUruxwVh98TqgGyKPGv/Blg3JBl5s6whM5f4n9zoC8Y
wPOTuTP2ySwFuk0WM53KoyjS8ZMn8KsR1JdRONFL2D4VKT8FvK3NdhQHsAPy
QxEH07RxrnNosdDwX5w7yH8DiFnoKAp1Wsf3qxRJzAVH0RReaqbwYp1/OcVX
DAp8ijQ8lLM8X2SHu7vL5dKLwvhKA89ii90w3uUh7Ai7QsRISjlQD9LfxcfT
g9EhjdSF1QPx0vfPDuWHVyf7ByOkiPOzs7OXL0yrXKVTpC07Zag1cG6UpNrD
r7j1u8D9BZBXvrv/cm9vMGCqMrIGB5MXOUCl0kBOklS+ihIAJ5523yfAZvII
MD2ba5A+1K1iFYCQSR+HoN8kIORERRkjLdNpqLMwniTcXtrZgkMJC+gOev0D
8+L03fmh7Pe8fr93sIutABEevvcqmBEDe/0eoCUIIsTD0dsjD7+DIBE4i4PH
8+6pV5dygCSLVvhumhiyxbeVlKUO0Ir6JWk4hcZj38jJPDt00dfaJN81kU2C
uP1NK8Av37R2CMcfVwt9ATS8yFuNu8hCikimmsCMv+vAAp2PTy6W4SQ/xeH/
HKDRaD8BKhcOF2FpkeV/Drg+wDj/G2QhHNC9UnmHG/R8n5A3wL9PTmQykflM
W5m5S4JNMrAtqSo92I30tY54NWldg6UFauUHFkMKqoK3BD5U058EOwGCveOE
0FzkYRTm4ZMAgd4lHO6e/SSANoeRUz1/AjRuV8PRVrA2sjTLXtOSTSErAXQM
e5UsdLc3BNvH/kiiAFqH/cF+jYTfp+E8RFFDjEzvG6EGwesh3YF1FU9JFGd5
sLuwvT3s6M3yOUqz4oFJip86SVFOIrrdrlRjMEeUnwvx9a/he7/7bfWN52f2
AwEsD0YdlLoSFc8OiM1JGOtMtmrcithju1QHknkg5F0O80xegPmGBD/yBh25
SJPrkMzXLJlrOYn0TThGGlwRhzusI7OF9sOJ0TkBfCfzzqOfHxPQMT72A32z
zUDOEznWwKoTnQJcCmxSUEcRQKPGEWuniVZ5kWIboLoYVJUP+47LSLMOMbjh
WGnVJ/BO5hdZBihQjKiH7XRjgcN4Kgd7LEagsplCmMYrM0yEGwrQ5QiKcu1o
NHbkIgH2yUPCc4BG5hQHBvIGs0MHNEKqf1uEZELmFkcAPxh8vl7QqE2uggwz
mHpF+IHHYGQZyfbUtaEJjktTQQAYy2CIxBgAczBDGrd1C8QVpg2p4Ta4/Rdm
ytbPwX8IYU4rddHnYEPtRs0XEe0qgtTQd1yEUU4rhsGdZVL3+5fqMQvNQzA6
tBDPwKDM0yQoiMZdhhLPnsHQIEXiyiE6xTWF9FsIXC24QRL9IOCoN19dfGx1
+K98+46+fzj726/OP5yd4veLXxy9fl1+EabFxS/effX6tPpW9Tx59+bN2dtT
7gxPZe2RaL05+hW8Qaha795/PH/39ug1si2gBIii3AUgU8NH6G+lwA858ZII
dAbGyxh+QJ/jk/f/9W/9kby9/SuQFYN+/+DuzvzY778cwY/lTMc8WxIDEfNP
wP5KwP5oleIoQN5ARAvg6QjYD/YzmyXLWILdj1h//jVi5ttD+enYX/RHn5sH
uODaQ4uz2kPC2eaTjc6MxIZHDdOU2Kw9X8N0Hd6jX9V+W7w7Dz/9ApwFLbv9
/S8+Rxp6ChO2T07PduTtM3Bw7pC8YB8tszH5uyz1/OGBhRn4uRl5rDIjJ6D/
dyfI2Fs6fnBY+zszLXsWNB3stbi9dfSC10dmJQ19dwd7fR5L9HKBGkDSdrgT
aw6AniQKCNMYQNFyqVZIoCy2QcKDA6JA7eh5R4CfCzSVJVVXBUIH7AeAK2CM
kM6Rz9+nGpQESkG7hOce8Sdg6cPZNry7q3zOCoQk9CL0r0iILsphtemTIVnP
0dMCF3z1CXGAgRE7gfgk6aCAEWZJ6INdlhX+DDsFLDo0WJTxFFSCHdETr0Iy
Xzqw6nKHFUwCsjwFTYaQljuH6tZPpqlazGAl5ftkInBP28G6Vt8xiA1oPJBW
IKnFW9BGrM1yl8as+nLlOioYUrlow/z4+z+gXQBmSeyHIKA7MskxLHCtUpDj
0Bg6101Bu0irNg0liTYKkpmCMccaBUmcLOEbNlzMeKmw9VmULBEthDzWlEh5
dcIbiorwdryS8GoqGFoQBeZJoGC8LSDCSuMklwVMLxQSXkRTowUEKjEH24Im
hcHM1tKi/FSjBUPGULX7YqFT8mUxvOWDqc4KFikcyHeBu5ivPFYhPrJDDeco
s4HawykyXV6Sv1zqKOoWZP/mSRLgmEKrbNXNk26Io5LEJ78EBDRKlLm6ARPy
e9qBBMwONYVNCz3tsXWUFWPec8F+hWW9jKkD4ZgUyBGGRNjigZ6Z5mlYIyD9
i0UE9hzMg4idA/2PCyBOZHFZgsbbActeEx4DR3gQH2WyWFg5RWpLlbjXHCdk
k1O0eV/VNNshSJq31uPlwU7qaIIbnPF+YT/EL5Az7GKmab4ULHAyPXDjge/A
frWmJeEnB0Me1q29KSJRTeVgd8hQBfX+1Bd24Dfg9lEn2dvtk5oERlPzCM0s
EH7efcgopV0G3BIHEVnFyLNg/gMWqBNtJLhpAiWpMgYnPnTajHW+BEYD25OM
aaASROsUeLfu1AoWThnbEdqsobb+ORBxZIkIqIGFIQOmxaYglu1qfUNv5A1l
jWHF7SEHjj9r9Vt3ou+REflkpQleQJwRagTZ0jUlAWtNSKLGHN0657VnNYu+
RAQROY7ibCDtuuwRjfWJL6xYLTKzdLnuyVaSxdWf0HLOXBNaKEDWZcjetLFM
PjBDOUJtkkojYWBORSYs2oRkHMDimbwCpFWaeSjbvH1xAgpFEYzf6xSsxFWu
M9yUNyiyiD3AniMPi5R2qSlq/oAGxMKS2UJGhaBhoVrMgRwBr+AogcBCNmM0
oIpvFsDQyxO/nLGrpbe1Yv8mTGk9JBxA3pKeSibAhILkXCmo7jVzagbAdywS
QU0u0AJCVVY6aiDbchTntXVX0sCKKoQII/QkxGH5wiyfFp8w69dXBSz7CSBQ
S3f7WAJAQxAAMKsg1GNAWMU8MzI5qAL8a1wlEKpHbBYCN4BDUkQBQRLGBeUE
Ys2axLp3jp0SZlmhke7CrMJaqqchhhis1I31UiA5dOoWA78vreULZihoTKhw
B8ns1GKb9mUUEvpuct5lmKly2o7kQqXQpQBXm7zoyQR/5BLUUkSLS8Y5xiO3
UxesVUxMZBxccoyMx8V8TMECGpysv7H2VcHKgJAxB61xrVkrM4nxRMjQaTJH
7QzGQKYdpYl2BLqNqUZIa/BYSWxJCnbuYn3/1ymAmY9toOxefWFEGNqPvDLH
XOmgTQC2qKEFJM65CrSDOfVkuQvAW1IgCxapz9oKGUgZ3lQyU23IdQwGBdgc
UYhGUU6PUHXC23JdYn1dO4fremLgyWOdkU/AXEuiHSUl6d5Nw73DkomtPLBq
UvyJIrKSaX7pURAzLxNHXZJ4vFZRUel+UBsm1oTD0N6H6B5cmbhQPXIBWC41
DO6OnlKeQ1p6xDGYJGmqZQj8zR4JWJe9m8nBfq/X88SQ9GO5DpWDtbbIcfR5
eFOpFJTEWygdJ2Lpj+76WiNeYU3BqayueLC/7dXlXmuBcWYD3y8QdmCA8jWP
RHMwGFUqDzdtOdPkTmCjJrhgzR3YaWRJZdwbGkbFvHBw3kzDNpO8HFiiy8Ag
AJQw7QHVjupoJBqA3qWNBd3eqrfVht9QEM64TKSaNynMGN7kDOLOk1sLo9gQ
oFrBmgIYjbQ504xG6yOJcTE1DUfdrNNo3R6TM0QHG2Ntq4Xlujk5GK7HQ5AC
ZUTJisdiTgStCZ4DegHkO1CedD4vYkukpE4nCn0bIkAK9RhZSAhxVyJ7hH0W
KkwtBDMS60uNxPriYSyDB0K5U7NzIN32nmwBBolm1w3JrJiz5QSKHUbU6H/B
NM1kTqthF3bNDIYR2pWFP9p9scON2SRsHM14c3MUpFTakEu7dnLhYPT0Wj9g
VYMf1RDuZE9zrq602USMqlUBdSlfYRQkduKmAgmgYywLzp0B/1Nohg2s29su
J1JAaYQcV4lIICHZwmMnjmslG2JYRWCxgNUBTqcgx8mEFDu4RlLYnD4i58lg
geODmYlCgslKbi2ik6C0LPqUDTdcgfjtCJc5w9yqAnTaTVCX4shAzRVHM7Sa
4k9Gzoka5YpnzZU5jnn6ZBfFBrEEahifeivKm2w6Z03RCwoPAYKBHcEnR+wb
JYY2E5pZRtmaII7jyxO/sRBRrEORQmpztL8DLEYF0dN37EpXBrudx5jGmWh/
V+IWWxPmZzparIf6Sexw/MvMOwXgQDeazUer1s5q2IdyAU24d8wK7Gj0fA3x
oqqsWpOcjr2EvahAAwi/jfxB8hrYoW5tVbUISQwrTKasmkgIcKxnI0dM4t8T
H6t4TcWS4CnbWKYTzwEzwNY72PAgDEeWimBlguDU0iQEaVnUAACryi3j1bKB
zgs2SN0Caz2qAzM0oR090VrcGEMNTyB+EyINEoHyowULumpRPzTpm6esx4sQ
W0Bsmn2eLu6KDjpiI9JZGiwEFJgfiDZOIgIB8I6z461vsBOoYCuBOfilOW/I
mq90Y0lmjSPN/EARvBDEXRgD4VKonDJlJpIw0/4V7VkzTsBaDuch+S8dWZvc
Ji15cmdKs3iUWyEvTbhBC+t70A4+jEswPsKJQHmgG0sPUZQggiloUaolyTTj
cIQgx6du4cJ+vo8oihY74WWUR+BaqVoUKrOlSjYvgGswFZGCjc3ykQmMlp5p
4yJRgZlMKfi7gqrqjkGxN7auz7cVGGFQDJJ6bCQJRZGsFUPsuOvu3q4hoXso
2yjFgL3xMckx4lqA/jdFzFKKhIyKXQltfbfcGn1MKCgFVRXFZb2EEBniEq5t
wSOghCjSGOUbaMLY51AxvKiP0pR0ZeUTUKgBDYYMvO/ONrlhgq0YFSbrDLRb
CkJJOIFulChLJBMKGRdzBwSO12YV+eK0aOWEMe6XrzsmwJ2XOqMJYptNKYXp
OnVtMw3r3qILM9K14BnXeAvAXyySNN/ieMk2GWkrNjjFVchOL7/tSJsmUuk4
BGWertBkZAvPiRSmcm/UhQai9B/tux1KyZp8VGoIiylpwzEIEuRRYQz7uUep
7jU184y0zJ0Q96ufKjPXnKgndBn8ZZWYa5RscnvwhvLVpUJ/mvnlrS2BtHAJ
UlAX/uSmU73yWkaExe5Sm+jOVvUDyDzWq8QkAx4PZUeWRAX6JBO+TikmE2EJ
kLUE44rDt/kQoGPQPHGyOA3x7fDegQRLfQ4CmCBWUuSRWloxjAJ3c7M98Y6M
JJ5bpesxdWZ2fI4WK1ANec/WUct5bu5shD2jxPXlSj+JU8HhIlyzl0GYTGdI
cr4ms4qCtCRk1Ip2bqwrM4a310GGM5XFQmY9Bf5iYjJElHUUIDUHbHFheqxK
GWbkFEbMl2qMqU3gekK3lTYsgqlWo4yfmwQdEaORyuRckpQsHZs1c+8ZcPIH
PQemBAAvSELJv6NJhHiHMFBoa5aC4ZvxW+MRXVLJ76VsgxM02unISzwYwD9f
7LDddBkXUXQp8NHeDi8mihIkCqPqXYSQzfCJCSYj3AjQ4MXQzCfmRZYzWeIC
CXE12E2OZhN4m7gycANCOGXyzdeX3cHlpyCEP7/cG15+uovfOuKyfDYyzy67
/ctvLVfoG6RQo4SZ3NotZgnDj0a+tna8Wt7cJvoo5LeazzXudseEFBDWAU27
N+RJy4CfsFuODoFpMzJtitjkfNsxWOq2x05JJZRrZrtFtAHZaXITzinGtgN6
wduT47BM7HmmgAScNpJqyoSBSyNMVVkN1ikY8fzrzOSnUa0JA43FeJui3xLF
HT/dG7GrqOwI5QLKLgU380T7oiF3xPZuh4LUSZFmIAWts2n5h9GMXrAIa2m7
NTnCasQGb2umk+u+hKkA+cpJUbL+yuSVKwZKse/tMFm+Nfz6wY0prBXZM6Va
zUnxFrHFUrBa+AGLAcujbCUBR0UTZDjyapZJFeDIjCHhiBSyBgRHBrARdFlT
aIcCk62/RKOhFNOciDGh1OaYWbv+GCNlbjRNcfh6YjL2MAwmVkCAsG/khHix
Zz2YK0OMBFMslMO4DZqLikADW+pXkwU2Jx2We3mvYIDu22TDFLguRkl9rSnU
ej4pg2AcskVC9bE0MM0rmbSJM4rxJlb9bFlqbQ2wXHI6q7RYThC0txgP1lfF
VERWpEa1zYCmgH3kWqURYczY8DsUQiYBoZWlyHACyG2MvM8I7yiVmra3I8m0
pbjrzQJUpY0a5uoKRXRO5TxGhzFy16ok6rK2Y+kDjUwsjtqWDmArF5m+KvVA
bNWTUrxTmcnCKJCSU2AWsu1BSaWOFEF2t3ghM9FBTqU467FiYj5D9ibnFlbF
qO1eR/Y8+K8L/5OOqWr3wRox8SWjS5mj2Tcs48QunfdkmyPwm8mH3k2vh5l7
aL1W3lXFQZGf0PkzwpJUA3m1YcxP0MoxRU+UHKjqm4KCBSpVvJYpsAkeFMCW
v/vd76R7uEDemvMDeNSnZcEH7dHqlC88fFVuLL7DV3dmONFAoJ2thkZn4zHJ
Ts7TXDM9aqM/WXizXiSbnrLlhBeLB2sL8ADWWwTsDjwwTMrseWedXTtujg/2
8/Ktentp5eN4Vc/8gKkJzq7TBAvibJ3HTEWT7jIMYLMbzp6Q8LLR6kvPqJku
K7qafqUKW+WbCDkapi1DZK1SzYQxu+nCcGjJdUasmnSn3DKJSTbdAM9h4nk9
w85Lw6Qz2yEMi2pifIQkzDMqJdMSawQxXkV9dVBJ3DBnPm6caMLJB4EpEmtL
VFu48yCusPzXwGjxw/FtLFZk/wEUq2VUlW0PvpZpQ/A8QItRqdSVrZMqYjuE
nUVdqzCisJ8xYsLUFRa8OuvjpySSxZgMuZiKQ0I/zMmtRcnPBSdZ4rERiEBx
5NGagqCMqSgiUlM55wp3XoENlb/w+rJ99P5cnBjpyEja4US9iZZzyWbGQX1w
0FUR5RxNOKuV6Yn1sEGZsjPHMeplfZ44Iq6HwSdFZCuEOY1Rb1nivMEdFczY
Y4qjRuHEUgirHtc/64BQ0wu7NaZ7tywMcP1PEzgv69qRdEEXki0JhiXAFa0E
ygcYzOlHiVGmY9reWC/RHzTuk5NAxJ2q/Lsqb77k9GnBSTqLBKN9As4PsWFu
6Btkh+5zTWT5e0BpOuYW1MhVwikhNzO8NkUsFPvEyjBTiEUnqeYmTU/0ZqY3
Xps75e0z+usWsG9AXQJtCxhINMy1JifEgYbqPkzZx9LUBx5FURkGNMxJPc2A
qUnpVE3sZAzgJyg8g0JbJRuXJ4jqsad6fV1eNwnKig935WtAlcnzjaIxiiw4
lnPpz1iCQG6qr8bKSTODh5roY61atamm0UTnmupRbP6fG1Ii15/hYIEpK/Mr
AchFlSBklI1cuzZ1f/DSGtWVRd0f7LsmNWl9LPKmxVCJntV0XEGHp+iIWvGk
G3I1HhUFQYPP7+5ubwv6a1mkIiTcFX8WAoXSIimmgRUnJorgBAysVyC4Vhfa
M+4olVHLRVZIDThRhYi27lVlTaEosHlxgzoKTIEYBgLC8jxEN1UHUi2IsF5C
l7Y9WK+icdRx6byIZudlm+cC+DkzBYFNrjDWiWOFlknkrjEGpxJRsglKmuZq
zC8Q7+exE5Dzk6iYx531UnGqekMkBm44Bd/MVXoFkunHf/2XjU4NHdwqUh5Y
L/HcwTqsPKr80x//6R9h4T/U0hDEZz/+/j9Lz73atza6OfFqh16XntR1qKh6
7QeG4gsY77J3KT8dp7ufg7H14+//YH9cgskFzWAx9i219ZzWvfvbdp/SeOS2
HVVtR00D1xp3q9aDYUPrvtfTP+sfVB36vc1POUT/eP/o5OVg2BvtH5zt86tN
ADbGdBH36vhkeNZ/sX822usd9IenjUPcB0R9uEdC9Ojxhu54L1/BB8dD8trA
2nB/2wpHL08HJ2enw8FRf++of9zfiqTtQ5w8PETToh69zpPBi97oeHg8Ojna
f3G0v3cyennUO9g/GgxGTs/NlTei8vGzDrfNOnxlPxuz3h7KZ6Uc4kPVn7Uu
HJPCXDDADb5pNdmBYDVss0VQ7izWq8jImFDVkd3KHBHGvx+y+CrichCTRcIh
sPuG2TK0ZkuzBliL+/kJZeBNkp1KHNfdrQlHepOy+HGjhs0aE3SSYbU1qbue
pkGPpvBnIFDf2WXLvvWiswY1SFCyI8AKjwwEE+V/QDdgDDxIOOnG+ZqN8UVu
jo/W7cyBsTMHd1zi4m6t2+oRJqdwjF97PqLmEt3eWjUo5TnZViWZJBWODk3q
qqY7B+DrGDVlwqN/+uM//zuaCxhBgz0rrb6sCjogVsjdrOzzmjGa/b+2+7+q
7e7VNlsUTDUo0cZfpA48WPu8fDna3wfpPhiOXuz1hqPe4ODF3v49GqgJvkbU
bCrP7lMnX1dElf6pKaJH7svjFeBfptodPKR2Bw+p3a3e2p/VTeMcNTq6HH1p
GMN4/Hz5StV9Q+dQ/e/J6elrm6CjABbeUoWhK1NTRFexJWAdLDA2lqTmJGnA
UfIyZVCeB8PIicADdniVHB+JTvFqLTx1g6i05Ytlhk62Lz2MmV3uUHoFdMBv
C1PPLpp7ZLYLNL3EUCevwT2sRefS5FLFFCPkV6sKWmco8AQ5fCbsPOVdT/fV
s1AuqDyCygqt0e4wtoI5y+Y1XXcAO4l+bJHyZjRg3Il10LltdnpDW0282QPw
E+hLLmfAr4gp44eCQgY/PQqvtDSIpyBJhdH1YyCrWikRE+f6lrSzHa70E4/C
3j1wByVI9sdW2M0KRbXCnwy5MBWhlne21toB5FifV9Y7U2itrG7m47h5vRqb
TwK79zTd3YHljMmfSKuJ/Ew+2/MGozafSpXyE47Qjy1ZUZbI8zwkAL5AQFKF
KthJRFhbx5KMP7KLeJQ3GGrA0qs0B9aguxgmzWhhzJXpDLLTlKiuUKB0e5Fq
c1Jyo8zEHrDEKiUKaUuMros2hvYw4JpMnNO+dLDH3EvBPEDnkC8B8EsKPyOT
t+tlKYCQS9rzTSLiuj9YE6UZDPNjRqoyNLfU39WuJ7CRJR2ZB+bKISugPMqY
K4p9Yq6cOphjAPbCpjGe0IaduIKNo0gSFoCwuAGu50ws3s1TLwW/gL9FBuqJ
NAf4HOnEBzXTPk6AAlOsZ9EoUGDBDpmZy0k+vDp5eTACg/xwx7qDpgGeFscb
fCh3TjNge4Jso3LDLBWIPk98QK6tSrRlcWsCzKSNwzmfSkyo7pzP50Djczq9
rPPuKV5jZk6FZ1W9ikLmgk5Ybezc1gPK6ItyNZ65dYneL2x2cx3stdQURnTd
QmSVZXgcE2HFa2JNHq48YuQccaXrP5Jpaupn6f41YgQACE8iNZaAR6FdN7Kc
QCV5HQYFFj/U95cyKqUjzrFcABJFHYkPZh6BMOKpJ07v4XENOsquJxMspsFa
BUqMwV6wmsNo84S7OkXssnJ6aV5OBiuu443MqQhCh3PralZl1AhEi0RlrsKg
sjZTZmiqb2ytNzTAq3lVlDAmynzfBo3Z9J9hFsTrB5ANeO0d+YvBNZ3VzhMH
z3yMbX0oVPZ03AFr0utHIioS6sgWEQcVk5AzCixxHeqlPUmKd//SeQmMaGSW
YKYxpVF8Nz/IiUc+OOYmThH1Y5BjGLbAG2aKOOY7SQJtix8RVD4ih/kHTFuY
s3sYSqAL3zDFnIYVtdAhVxDEY0XX9di5+FDzTLvF4yXDmtuH5oRY9udDum3E
6DeHNs2q+eRShgeuuGCa6osqKuIC0RWdtYPltbzyCqjBgK+AWq+tbiiX5/BG
daOoEM/XZd/rhLscwt45t4fe3WFbvGcQa8bpVmU8m451Gc/lazBxCzXV2aEz
tmzTxSALOlgIq/oboER+s4N9Tsw9MTTAR02cy4OFPprx9AuhpatCxQOQujeK
PhZUM/CjQJHHF6fdQfckwiP73fcKbW1TSYp3hT4SjXj14mOhs+M+BrgTaJvM
LTzj1QPwVPeEbgVm4yrOdeB4khI4tDlhvlzXNdMnTpknCzpT7rJ2lMVcWzTH
Q5WSqLo8IswemQU6VHQYjZKK2y5gcNu7TfhA84mtSSgDddXhQJKoK53Xz4O4
eJfyiM5dl0IVpMGn9nZNnNKb68/XdudoAc6o7g68HtkaYC8UeCO1rFc8gLHw
7vRd+ZbNkqO3RxvNvv51nnTHusu2SfDt5hO6AFqeBSFe3y0XrCpTzeUu8Orv
4VP5TvCAaqWqixxI9uAQuBs8KD9DNWBzo+W5XVMLkjG0FGPF+zjMAXvHLwV7
Ih9HXRBQCkD9LR0Jjo08NHd4rEQLdg4c4K6xKruVVdkmw/TEWJvv7POdT8u7
ne/uWlw24jw5xBjmWyzCp88PoOHIBAVM/ABv0HOxb7752uDm2/IVmJqNr9iu
3/4K+629oliHu3wb73irl81O/liXqNQBhTnwQknUQnRu2EfLMdLBlJQgjM8b
qIPPWlRjjz3MoWzAtN3WcttcAxB3ANUQtnLveCcCcC5mF3x/saqGsZHrtcOi
WA5iLkClBoPeYOhWPoua0vPE/wBN250I12AAAA==

-->

</rfc>
