<?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.7 (Ruby 3.2.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-cbor-cde-02" category="bcp" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.20.0 -->
  <front>
    <title abbrev="CBOR CDE">CBOR Common Deterministic Encoding (CDE)</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-cbor-cde-02"/>
    <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="2024" month="March" day="03"/>
    <area>Applications and Real-Time</area>
    <workgroup>CBOR</workgroup>
    <abstract>
      <?line 58?>

<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 defines a
CBOR Common Deterministic Encoding (CDE) Profile that can be shared by a
large set of applications with potentially diverging detailed
requirements.</t>
      <t>This document also introduces the concept of Application Profiles,
which are layered on top of the CBOR CDE Profile and can address
more application specific requirements.
Application Profiles are defined in separate documents.</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-cde/"/>.
      </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/cbor-wg/draft-ietf-cbor-cde"/>.</t>
    </note>
  </front>
  <middle>
    <?line 77?>

<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 defines a
CBOR Common Deterministic Encoding (CDE) Profile that can be shared by a
large set of applications with potentially diverging detailed
requirements.</t>
      <t>This document also introduces the concept of Application Profiles,
which are layered on top of the CBOR CDE Profile and can address
more application specific requirements.
Application Profiles are defined in separate documents.
<xref target="I-D.mcnally-deterministic-cbor"/> is an example for such a document.</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>CBOR Common Deterministic Encoding Profile (CDE)</name>
      <t>This specification defines the <em>CBOR Common Deterministic Encoding
Profile</em> (CDE) based on the <em>Core Deterministic Encoding
Requirements</em> defined for CBOR in
Section <xref target="RFC8949" section="4.2.1" sectionFormat="bare"/> of RFC 8949 <xref 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 Serialization</em>.
The <em>CoRE Deterministic Encoding Requirements</em> generally pick the
preferred serializations 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 Section <xref target="RFC8949" section="4.2.3" sectionFormat="bare"/> of RFC 8949 <xref 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><xref target="STD94"/>'s 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>Section <xref target="RFC8949" section="4.2.2" sectionFormat="bare"/> of RFC 8949 <xref 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., tags 2/3 extend the range of basic major
types 0/1 in a seamless way.
Section <xref target="RFC8949" section="4.2.2" sectionFormat="bare"/> of RFC 8949 <xref 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 serialization for all integers (Section <xref target="RFC8949" section="3.4.3" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>).</t>
      <ol spacing="normal" type="1" group="1"><li>
          <t>The CBOR Common 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 (Section <xref target="RFC8949" section="3.4.3" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>) of tag 2 and 3 (i.e., no leading zero bytes).</t>
        </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.
Section <xref target="RFC8949" section="4.2.2" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/> presents a number of choices, which need to
be made to obtain a CBOR Common Deterministic Encoding Profile (CDE).
Specifically, CDE specifies (in the order of the bullet list at the end of Section <xref target="RFC8949" section="4.2.2" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>):</t>
      <ol spacing="normal" type="1" group="1"><li>
          <t>Besides the mandated use of preferred serialization, 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.</t>
        </li>
        <li>
          <t>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).</t>
        </li>
        <li>
          <t>There is no special handling of NaN values, except that the
preferred serialization rules also apply to NaNs with payloads, using
the canonical encoding of NaNs as defined in <xref target="IEEE754"/>.
Specifically, this means that shorter forms of encodings for a NaN
are used when that can be achieved by only removing trailing zeros
in the payload.
Further clarifying <xref target="IEEE754"/>, the CBOR encoding uses a leading bit
of 1 to encode a quiet NaN; encoding of signaling NaN is <bcp14>NOT
RECOMMENDED</bcp14> but is achieved by using a leading bit of 0.  </t>
          <t>
Typically, most applications that employ NaNs in their storage and
communication interfaces will only use the NaN with payload 0,
which therefore deterministically encodes as 0xf97e00.</t>
        </li>
        <li>
          <t>There is no special handling of subnormal values.</t>
        </li>
        <li>
          <t>The CBOR Common Deterministic Encoding Profile does not presume
equivalence of basic floating point values with floating point
values using other representations (e.g., tag 4/5).</t>
        </li>
      </ol>
      <t>The main intent here is to preserve the basic generic data model, so
Application Profiles can make their own decisions within that data model.
E.g., an application profile can decide that it only ever allows a
single NaN value that would encoded as 0xf97e00, so a CDE
implementation focusing on this application profile would not need to
provide processing for other NaN values.
Basing the definition of both CDE and Application Profiles on the
generic data model of CBOR also means that there is no effect on CDDL
<xref target="RFC8610"/>, except where the data description documents encoding decision
for byte strings carrying embedded CBOR.</t>
    </section>
    <section anchor="application-profiles">
      <name>Application Profiles</name>
      <t>While the CBOR Common 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>For example, the dCBOR Application Profile specifies the use of
Deterministic Encoding as defined in Section <xref target="RFC8949" section="4.2" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/> (see also
<xref target="I-D.bormann-cbor-det"/> for more information) together with some application-level rules.
See <xref target="I-D.mcnally-deterministic-cbor"/> for a definition of the dCBOR Application Profile that
makes use of CDE.</t>
      <t>In general, the application-level rules specified by an Application Profile are
based on the shared CBOR Common Deterministic Encoding Profile; they do
not "fork" CBOR in the sense of requiring distinct generic
encoder/decoder implementations.</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: Instead of employing generic encoders/decoders, both Application
Profile processing and standard CBOR processing
can be combined into a encoder/decoder specifically designed for the
Application Profile.</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, an application profile might define rules for the
processing of floating point values, but there is no requirement that
implementations of that Application Profile 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>
    <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.
This specification adds two 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>For example, a byte string of embedded CBOR that is to be encoded
according to CDE can be formalized as:</t>
      <artwork><![CDATA[
leaf = #6.24(bytes .cde 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>.cborseq</tt> control operator does 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>
      <t>Obviously, Application Profiles can define similar control operators
that also embody the processing required by the Application Profile,
and are encouraged to do so.</t>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>The security considerations in Section <xref target="RFC8949" section="10" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/> apply.
The use of deterministic encoding can mitigate issues arising out of
the use of non-preferred serializations specially crafted by an attacker.
However, this effect only accrues if the decoder actually checks that
deterministic encoding was applied correctly.
More generally, additional security properties of deterministic
encoding can rely on this check being performed properly.</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>
        </tbody>
      </table>
    </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="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 anchor="sec-informative-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="3" month="March" year="2024"/>
            <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-02"/>
        </reference>
        <reference anchor="I-D.mcnally-deterministic-cbor">
          <front>
            <title>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>
            <author fullname="Carsten Bormann" initials="C." surname="Bormann">
              <organization>Universität Bremen TZI</organization>
            </author>
            <date day="9" month="January" year="2024"/>
            <abstract>
              <t>   The purpose of determinism is to ensure that semantically equivalent
   data items are encoded into identical byte streams.  CBOR (RFC 8949)
   defines "Deterministically Encoded CBOR" in its Section 4.2, but
   leaves some important choices up to the application developer.  The
   CBOR Common Deterministic Encoding (CDE) Internet Draft builds on
   this by specifying a baseline for application profiles that wish to
   implement deterministic encoding with CBOR.  The present document
   provides an application profile "dCBOR" that can be used to help
   achieve interoperable deterministic encoding based on CDE for a
   variety of applications wishing an even narrower and clearly defined
   set of choices.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-mcnally-deterministic-cbor-07"/>
        </reference>
      </references>
    </references>
    <?line 326?>

<section anchor="impcheck">
      <name>Implementers' Checklists</name>
      <t>This appendix is informative.
It provides brief checklists that implementers can use to check their
implementations.
It uses <xref target="RFC2119"/> language, specifically the keyword <bcp14>MUST</bcp14>, to highlight
the specific items that implementers may want to check.
It does not contain any normative mandates.
This appendix is informative.</t>
      <t>Notes:</t>
      <ul spacing="normal">
        <li>
          <t>This is largely a restatement of parts of Section <xref target="RFC8949" section="4" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>.
The purpose of the restatement is to aid the work of implementers,
not to redefine anything.</t>
        </li>
        <li>
          <t>Duplicate map keys are never valid in CBOR at all (see
list item "Major type 5" in Section <xref target="RFC8949" section="3.1" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>)
no matter what sort of serialization is used.
Of the various strategies listed in Section <xref target="RFC8949" section="5.6" sectionFormat="bare"/> of RFC 8949 <xref target="STD94"/>,
detecting duplicates and handling them as an error instead of
passing invalid data to the application is the most robust one;
achieving this level of robustness is a mark of quality of
implementation.</t>
        </li>
        <li>
          <t>Preferred serialization and CDE only affect serialization.
They do not place any requirements, exclusions, mappings or such on
the data model level.
Application profiles such as dCBOR are different as they can affect
the data model by restricting some values and ranges.</t>
        </li>
        <li>
          <t>CBOR decoders in general are not required to check for preferred
serialization or CDE and reject inputs that do not do not fulfill
their requirements..
However, in an environment that employs deterministic encoding, this
negates many of its benefits.
Decoder implementations that advertise "support" for preferred
serialization or CDE need to check the encoding and reject
input that is not encoded to the encoding specification in use.
Again, application profiles such as dCBOR may pose additional
requirements, such as requiring rejection of non-conforming inputs.  </t>
          <t>
If a generic decoder needs to be used that does not "support" CDE, a
simple (but somewhat clumsy) way to check for proper CDE encoding is
to re-encode the decoded data and check for bit-to-bit equality with
the original input.</t>
        </li>
      </ul>
      <section anchor="preferred-serialization">
        <name>Preferred Serialization</name>
        <t>In the following, the abbreviation "ai" will be used for the 5-bit
additional information field in the first byte of an encoded CBOR data
item, which follows the 3-bit field for the major type.</t>
        <section anchor="pse">
          <name>Preferred Serialization Encoders</name>
          <ol spacing="normal" type="1"><li>
              <t>Shortest-form encoding of the argument <bcp14>MUST</bcp14> be used for all major
types.
Major type 7 is used for floating-point and simple values; floating
point values have its specific rules for how the shortest form is
derived for the argument.
The shortest form encoding for any argument that is not a floating
point value is:  </t>
              <ul spacing="normal">
                <li>
                  <t>0 to 23 and -1 to -24 <bcp14>MUST</bcp14> be encoded in the same byte as the
major type.</t>
                </li>
                <li>
                  <t>24 to 255 and -25 to -256 <bcp14>MUST</bcp14> be encoded only with an additional
byte (ai = 0x18).</t>
                </li>
                <li>
                  <t>256 to 65535 and -257 to -65536 <bcp14>MUST</bcp14> be encoded only with an
additional two bytes (ai = 0x19).</t>
                </li>
                <li>
                  <t>65536 to 4294967295 and -65537 to -4294967296 <bcp14>MUST</bcp14> be encoded
only with an additional four bytes (ai = 0x1a).</t>
                </li>
              </ul>
            </li>
            <li>
              <t>If maps or arrays are emitted, they <bcp14>MUST</bcp14> use definite-length
encoding (never indefinite-length).</t>
            </li>
            <li>
              <t>If text or byte strings are emitted, they <bcp14>MUST</bcp14> use definite-length
encoding (never indefinite-length).</t>
            </li>
            <li>
              <t>If floating-point numbers are emitted, the following apply:  </t>
              <ul spacing="normal">
                <li>
                  <t>The length of the argument indicates half (binary16, ai = 0x19),
single (binary32, ai = 0x1a) and double (binary64, ai = 0x1b)
precision encoding.
If multiple of these encodings preserve the precision of the
value to be encoded, only the shortest form of these <bcp14>MUST</bcp14> be
emitted.
That is, encoders <bcp14>MUST</bcp14> support half-precision and
single-precision floating point.
Positive and negative infinity and zero <bcp14>MUST</bcp14> be represented in
half-precision floating point.</t>
                </li>
                <li>
                  <t>NaNs, and thus NaN payloads <bcp14>MUST</bcp14> be supported.      </t>
                  <t>
As with all floating point numbers, NaNs with payloads <bcp14>MUST</bcp14> be
reduced to the shortest of double, single or half precision that
preserves the NaN payload.
The reduction is performed by removing the rightmost N bits of the
payload, where N is the difference in the number of bits in the
significand (mantissa) between the original format and the
reduced format.
The reduction is performed only (preserves the value only) if all the
rightmost bits removed are zero.
(This will always reduce a double or single quiet NaN with a zero
NaN payload to a half-precision quiet NaN.)</t>
                </li>
              </ul>
            </li>
          </ol>
        </section>
        <section anchor="psd">
          <name>Preferred Serialization Decoders</name>
          <ol spacing="normal" type="1"><li>
              <t>Decoders <bcp14>MUST</bcp14> accept shortest-form encoded arguments.</t>
            </li>
            <li>
              <t>If arrays or maps are supported, definite-length arrays or maps <bcp14>MUST</bcp14> be accepted.</t>
            </li>
            <li>
              <t>If text or byte strings are supported, definite-length text or byte
strings <bcp14>MUST</bcp14> be accepted.</t>
            </li>
            <li>
              <t>If floating-point numbers are supported, the following apply:  </t>
              <ul spacing="normal">
                <li>
                  <t>Half-precision values <bcp14>MUST</bcp14> be accepted.</t>
                </li>
                <li>
                  <t>Double- and single-precision values <bcp14>SHOULD</bcp14> be accepted; leaving these out
is only foreseen for decoders that need to work in exceptionally
constrained environments.</t>
                </li>
                <li>
                  <t>If double-precision values are accepted, single-precision values
<bcp14>MUST</bcp14> be accepted.</t>
                </li>
                <li>
                  <t>NaNs, and thus NaN payloads, <bcp14>MUST</bcp14> be accepted.</t>
                </li>
              </ul>
            </li>
          </ol>
        </section>
      </section>
      <section anchor="cde">
        <name>CDE</name>
        <section anchor="cde-encoders">
          <name>CDE Encoders</name>
          <ol spacing="normal" type="1"><li>
              <t>CDE encoders <bcp14>MUST</bcp14> only emit CBOR fulfilling the preferred
serialization rules (<xref target="pse"/>).</t>
            </li>
            <li>
              <t>CDE encoders <bcp14>MUST</bcp14> sort maps by the CBOR representation of the map
key.
The sorting is byte-wise lexicographic order of the encoded map
key data items.</t>
            </li>
          </ol>
        </section>
        <section anchor="cde-decoders">
          <name>CDE Decoders</name>
          <ol spacing="normal" type="1"><li>
              <t>CDE decoders <bcp14>MUST</bcp14> follow the rules for preferred serialization
decoders (<xref target="psd"/>).</t>
            </li>
          </ol>
        </section>
      </section>
    </section>
    <section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>An earlier version of this document was based on the work of Wolf
McNally and Christopher Allen as documented in <xref target="I-D.mcnally-deterministic-cbor"/>; more
recent revisions of that document now make use of the present document
and the concept of Application Profile.
We would like to explicitly acknowledge that this work has
contributed greatly to shaping the concept of a CBOR Common
Deterministic Encoding and Application Profiles on top of that.</t>
    </section>
    <section anchor="contributors" numbered="false" toc="include" removeInRFC="false">
      <name>Contributors</name>
      <contact initials="L." surname="Lundblade" fullname="Laurence Lundblade">
        <organization>Security Theory LLC</organization>
        <address>
          <email>lgl@securitytheory.com</email>
        </address>
      </contact>
      <t>Laurence provided the text that became <xref target="impcheck"/>.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA7Vca3bcRnb+j1VUqB9DKt0tviVR4xlTJB3zHIlSJPo4E8dj
Vzequ2GhgR4UwGabI58sIgvIj6wk2UlWkvvdW1Uo9EOSf2TOzIjE49Z9v8F+
v5/cnamjJKmzOjdn6uLlm3fqopzNykJdmtpUs6zIbJ2N1FUxKtOsmKjdi8ur
vUQPh5W58y9cXiVpOSr0jECklR7X/czU4/5oWFb9UWr6ua6NrZMR/TMpq+WZ
Go7mia0ro2dn6vrq9pskSeneWTIqC2sK29gzVVeNSTQ9cqZ2zufzPKO3M7qt
dJGqd0bn/dtsZnaSRVl9mFRlMxdkkg9mSZfSsyS5M0VDMJVyt3cuymKUWaNe
ZoWulurN8BczqgnWvDJ0as3w1WudFbUpdDEyfNTVPf1m+eRdHLC3QxBnOssJ
IAj8GqQOymqC65OsnjbDM8WULyZPNjAjSXRTT8sKiPXpf0plBZF7MVAvy2qm
i4KvCS8vdGXp9M4dOulMfVdkd6ayWf0//1Wrl5WZ0UO3/3rND4Cvpj5Tb0tb
j/Voqo6O9o+P9/neKKuJ+/KCXChTOueyf/js6OS5u9IUNWT0TwaHLvnifFoW
9Nw/Hj/vHx8e9A8PnvVPj54fHvBNI9wY6WH5df1rBl5AkHWVDZsahPYdOa90
Uxnw9VVTpMNcEzMcPe/NqKkIN3U7NaQg6tWriyQAzif519Y9UPP9waicJUDV
HULSiaDPq/IuS02q6GFVm/uaftC1GpoRYaEeHrLZfDQ1ow8fPw6SpABra+Im
5PH+9vL5sUgveQTSvjpT7765ePb8GLy5vrq6enpyfMZE17qagMvTup7bsydP
MmPM/TwvKzPAj2DCE7KJhhhdP3n29PT08FD46ywNwNT7mjRMV6kal5X6Ji8J
kWLSf1uSBqpzInc6M2R7/FqrNKQ2wjSA4N/ZdtRY59aIBpgqMzYrxqU8r/xp
6ZkiAvqH+wfP3Y3LN9dn6mB/cHCw//wJniIWDHB/0OIMDpwe7BNf0jQHH85v
zgf4mWwswSkRB6/7l4OhaKtofAom0f+5ezPyEnm+xOXWufCT9BS/UFbZJEn6
/b7SQ1JlPaqT5Ie/0s8H/R/bn4Qw9j67hLJ6ftwDngqi2qPzxllhrNrp+DAc
LH6MdAOv7pDpiQXWFirI9n88OOw5FYK7syXpzDg399kwy6GhEJVu/ZGyczPK
xk5KKf3MvmLAv96WJJUR3iMJbXOodUmqqcrx2FSElyYHRwLMCRs9zEWeY6Nr
0m16Rk1MQcIdKcNkVLbHSu4cmPIKFxigWzZ9gVdXb6tynOVG7GWkCyBmpxp4
DZcOWA7FJwxroKNjx7wghVXzkhxWnTGvUzipCcCTuMmUTcoQKvO3JmMXVBOf
hFHTzLbYkyKXJJq6KtNmRFSARLL1kZnzoVE08BjbHoNZTDPyd4QvYblkdtIj
dTnHWwDio1UgFA4edOo0JRZaBjIjG94o4RXE8ewmVPh8EUBKVBCr5rqC/D19
IBr6PcvIhigePFLXjlbAibT94aHf2sTHjypD8FPmXs/mhDsU0TagN0AmwI8e
kaSLO8jAB8tL4JLx70lCDlZRiFSIkWQgr797f7vTk3/VzRv++d3VP393/e7q
Ej+///b81avwQ+KeeP/tm+9eXbY/tW9evHn9+urmUl6mq6pzKdl5ff4XugOs
dt68vb1+c3P+ClZI0ukoAHFQzAKxuCL1rtk0ktTYEXl8YezLi7f//Z8Hx+TR
/4FM//Dg4DnxSH55dvD0mH5ZTE0hp5UF6aP8SoqwTEi+RleAQppKKjAnE83J
msj87LRcFGpK6kPsfPwDOPPjmfojpSwHx39yF0Bw56LnWeci82z9ytrLwsQN
lzYcE7jZub7C6S6+53/p/O75Hl38459z0lbVP3j25z8lUMgv8BjehMRzPDxK
zfwj1Ivk6A1G7ML7Ihjg488DThzgxw7yUFtnx/T+Txcwzi0vvovM86dggTAT
PpV8/cND5OUHB3ALLrx/zTGIM4LrQiHvIaWw5FfkXZdSWHEO5B4LwsiohV5C
T8UZww51rSmYmFkvoaxE/Fh4VZP/oLyF0EuFMRxJ1OO3lSHXD2f1nly7zrNf
+fbjAdvq44vy3dU2GcQUP5bYwI53no0+gF/JPMC2MWwLPZ8h96D8bPmCTcJh
izfJG7K70GQZ0zIjF5yIo7HCVaKwn5tiQu7eOFQGyTcZR/Ye0d+GHzqEnG9F
kQroBlEinI7KSaXn5LDb++U4gZB309WovedYnDI8cl9woTcUaSRS1bHS+dAU
O2t4Tg6pFJDU//77f0AX5nTkKCNH2lMlnVqpO00cwsP0cgeDQKQPiU61kl14
lqkmmEMDz1KUC/oJD86nQiopgc3LBdjCzJMoCLfTVcWjZF0V9wZBFTthlp5k
nazLVBPcLagSxUVZq4bQSDRUMWcUkOlQpKO0WQ4nYE7ETNyI6i3iKic9rRYk
c1NxlofsekRlhcRN6Dwp9BzSrJckEYpXgvofCBoMpSMDCYs2m8Aq62AYamHy
vE8FAWUzdVmmgJ0YbZf9uuxngM4hoWoQWinAk8uZ6ftslv3KEikpxdATEmI2
MAPJhmwzFB1ImE/BKK1oC/AYNzATpzKS3dCbVBryMRIyYA/JPKf8jc4Bg2dk
D8OGlBXGrwJqIhYmPxbp4QbvwuZlVTP3/ozDmw6iMFJrSqaZ7IqY9cTuMUKb
JT0QKkmwJh9D3lbEh/fAZtJyEqo1fF6liwnnkdADMkdKW31GyWyql3OQbwYT
8BIQDp8cCVppFwC/TJL4hUolfkvtPzngeEoGqGfERQv3OPgSrgS/aMmaijTn
rBg2Tek/sYNfZsFS/ZbA52qXbHKB1z4zNPWCDJHyTk6mSWvA3wnZdtWp8RNx
XlYSD+No6TBiRsqde6Ui7RBnKYhtdavi0SmfcMdatdtSfzQ4HhxtoH4PmnMm
PYqvdg52PiYHA5TBvz8GU41QWGZcwll2J9gQSiX740KqxWuPYpzrBzaxSQBK
JGZWDrXPqnjAVuSdcmMdY7oqiveDP4rDMT05ExsLjCJPaeEMWOyiZHRCgNA5
ZBv3NzAbAFb5zcWAnqhDxuBI7YqQi5LCkmZcfzUVJZ/L2lgI5zUcHtsCpYlc
h3ESEOJNp1QwxGAiXRJvhBVDBJtkRkpL/KVSitwcrFLYgZRhs/umtwbJ91Mp
xsy2p6SsySqmh30JeWuOduWYTDZh7xjc2yezp04u8ZM4Ugq2cyRWCIihlCOP
WCMYdOhunYf3bMAI/Rl2/UR+4shn4ktxFF2qyLBfEAONisXI/gLdAnITdGrC
rEejRRdyMlwBBRD86wojcsXnkm2i0luUTZ4yJlnRIJdICiPxx9V8cbaTWdsY
6F9mW65VZpKhEeGddGEWCdSh18075H7kytiw6GFmRQzEhnJzW+wufMnL3SuW
Mp3krJ1U8lxRSUmvNFSMc509HuOXWlEwy5m4ckipRvEJ7SJak7HrOFHRjo5T
0cyG3FJg4JxIomfWSOxgZswoyNy5EldUTA6CYVflDDGdUglrolCLLATVaGWA
aQcf76+9SpHk3q/Kf1UDxPgkk7JfFF2cS0M2KhRGSU/PtQycTkBJZzo1EQf1
7/bDRIRXCc6HoYU+06CI4ITLSa/vSwwpHaGMJc+QWtV8CQGX7gb6km307Z2t
xo/DgXppLNccYsXs8uFBOXJvcZ89cVeSOFKCVOFX+M/W0Y1CkGMLX5RRpGWf
eafzps0f0KuQNhXAsEKgg2E/uHZS0XEhxPIQfiAqM+GmovJKChiip3zUIiOj
l4qHEtb9+/HzZ/v7+4PkiINnoEPXlPjNa0CfZfdtvIF73qL+OEhCAkL5ykNC
YSf6aduNSnjfv9WXt7rph7ON0agB7mQV4bZA4jMEDcqK56QJYAlJbjE1XKng
oU14Ec09EjfsVLvKicHoQgin4tA9uCv6rw69BlryW8QSUURS4eMuG1kH6O2Q
ntFrN/qmFfg9N+dcNcZxe1uUlkSei02InwtoAuXbh3pJhKUEkuO9KI5BflIW
oKgT+/g1X5T6ssp16VHK08tdU2Q3OjO6cP7JTsuKDFqx8+EE3EG3rjinE5iB
xAhUUtxB6mRMejTNzJ0oNPeYKIJSWYNMhaJI7rMJK9IURRESGb1vxMzUiBx5
Nl7i8YiCXtu0DGRzgq9DqjLM0FkH6gedTgTFcnIohP6LDsdQfWnGCtIjZty8
ueUcqe0dKXQuYKcRZZJ7dU4FtH3p3t4u557BMy4O42qVmUUmmJdLkZdwgXIW
qvZQuXG9x3On2awpvDfgZGasUZeypTNvXSRi3GNtUfus5uLKQ9Kl1toIjj2s
M/AYTw08xsnnVZ0qSp4TOfOhuHP6u3P0tDRSksPWm5nktiQmgshTq1BTbfY4
TG/3FiC4uyIg6WN0nQ1FnFDNqeMnJ8hobzkqZMJlOsJTz0U5vVrdmc/URVQZ
b2x9wypm+oNxIkYjNYxEmITMmU8LbJBc+WgRh4O5YxsgAkTqej3QPOgCqSbX
WuUCUw6Qn5vWJcmzkvtFftoLHQQgsl9eJd0ynsx+5HjpetKbcBK4kKXPG3wv
w+U/PscSgbSOcpC81FGt5NvyLHt6llMFRKaNvJXEOlkXR+gIsVON3Fsc0A0F
6hF4R4dcvuJWTZrm8DHOdy/4YUYMkKXTPpfs3g8u4nJOpJqATJRKGDuz4xzp
qmJHZiicpn7UhsnERrKSqMr53RWv760yFiN+UfOQbr0TsKmFxr3KDNZjxk2e
1CHtQeqNbN15bNdRjBpJ7Bwk4mhJvVBsds7Y/YkYmzes+j9JA6et+/w5rsKy
ye5PFCllAISnWXxTk8/5/A5cTJRk6iPnTgg5ctEwLu6etqcSz78hvriySIJJ
yjzeIIgoRcVzkismW6SwGnOjHHxTBr6Lqo7baZhodTP5MD8uCyK7nEiGw95O
upAtqv2cjD6XBMJXCt0BmQTtrmF9mmowOoHHsj49JsWSIYBrp/dWRRCj0W0h
kqvadAYaGZ0phhupfrm6uw59WiZwOjtE5ocdP9RwGloI9tJxZQsFqIJM3jmM
xOXiT8h08e+GBub5ZvxXXOTcj2W5cQvpmbSXbAu2jkzKdqniceNuUhgsWsD5
wCzMPaM6Ca5N2raCpov/bVRH0jXMjRgTZztZ3UOXM294ClRPS+sn2NjyYKXY
zF5SomyWcQ3dU53D/XhdDo+OdMTDn2dCWhKng77+ZXX4PC8pzc3GCZyJ2ej0
4YfAYJZn6+9FASPLSbj47kZQkufbnBu/RTQoMX4cHfdLrV9D8bMuH8OQmklt
Ey65ln7ojmwkEhmqG9g3Ok94d+iaPCqlj5xlczoIaKvrDF45iTEcECPofi64
gt9W5BMnEgoLQ+epuAO6agY2qhDa+YQrcjdlOZ8wFCsZVSoNpqErGshGiRm/
NIU4SfZtuoijhW9D1D6TFr2DR9LtOKONkd6k45RMIMAfNFWBtRxKOIqRzEzo
RhfKpqxGAmHK3TPMKm2T171tPs2NGzAe4bSW3E1FQSCJJj7wdgtoHc9OmlmE
grgu21oDjkWsygqIc2S2poOzbDL180Xngr2oIr2gIzZm0T0ubuK0KMaXY8GK
gQrDiIiNIbOZz6mAXE3LXSNB7SIaFUuXBX7IpKMjd3vKT1R1RdVUhX1Eyr1d
UtW2xSt1etxHuRX6If7eni9GMboN9SmygPX6Ky39MJCbeAOZ8VMe6ElI2oQw
DG95u66k7HKOHktZuWlSCtCRPwlNXqwDJVEqyJlgxtUq5N338SCkUWr35wGi
9897iuO2JVm4UijZ/Ib1r9CjP6OSERriDiw3m9VCF9zzkVvLFtsIFBX/SOOH
JvHnkPG4cMwKui1obNhx0CkavotSmLqBc1GM4JGsKG1mXTW2/gbRmZqf2cPx
j6BY2k73elSTh8gzKrMcA9lRt5xZbce42b7TdddeXGHtrt0Tn5V8IRe6uaWO
iwDx8VH2H5p/4hXd4UknKUDt4zjEcS3PfuWi7SxJfvvtt4RC2Vh9pR6dDg6P
d3k2o8AWGNgeP5C85nRyBnUm6fMmwngzrcIO1G6MEU/wqYYMCwR1RZl4UxnX
MHJYmXsUx/FggH3RlIMQVSHJbtaGuHZaxS0Rl0uKevAc7WdC/GeuvKHHuzed
GB2JclUz2j6CKTgpcSqOiNdWO1v6/p15vO/jmtxdkNiQeDMcKHVNJs1eA7sw
8cKZ30gcYtxB+HwoqNTncmrkjUpD+oM9cjVvhndZ2VhIZGvTwHl0K/nYuj1I
lsVyI80q06X6/XlJL+GxvmvdNmg++XGULcUnhj3kC/IkJFM3sBEj9TvIXB22
N7sl0MH+pgqIO52y0OPKjE9smMyodpnAx7pxlK4yiWpN7VdkHJCCqpGtKz6u
kUWuYoQt9LbpXtd69MFUg+TbcoE2ilPz0CGgN8gyKxztLMjnSuR5GoGIzFrc
2rYh1kK75onB+K1CdgAWsJWGTaVePH0L/CWxktxrxI5VTiUdTvFMyXdqJNt3
+zeysEJHCyycjD3L85vzNdH+8Ne67A9Nnzu3Jv1x/QovgasrQhRrynPJqivD
yQ9u/Qv9p11IoAuywh+GTYweQED/BKhcQ2Y+cEtzYfkRmmws2SNjy2MRzA5d
3z8KtxSz62Hez3ShCdW/WWyIIseNhpbLZOfhAXG97yyq30aYXXZGF87S3vjr
e38M+90fP+7IDCq6Qu747+oGi/T8n7+rd4Z9DnHi73SHfbK7828/ON78GG6R
b1m/9XCmHnUIkR35r3ZuzGJzFjI0gSkm3fmYyD7tkNSapRyyysr+QV1ALTBZ
s+rhUVj9d0zHGihlNPeSuodN9kFyXbeLe0PKYsaiXgJHoll0CisjZ1elU0Pu
f64mkwyWG/gPD+3Gaq6LScMrTJ1SpJZFXezpKqyc9jhUUcjJEXbYC4SIFW03
ddCKUyHGizEIEQS85RknJanhOwg/L7SDz7CIF/AQnh/L+jb9l3fD4T54x4yA
zNzkChNl25lnqmNZz1jbv1TcWJ831bwUJyfq3IKTNEJnspCEz394oSmiG9MA
0Me24zctiiW6z0hcHqvLRoKDCfuEMqrmprKU9plLf2R3jltYBJUntJxC7Lxu
d2JOdrox4GjjaukeY4X5HGyZKyOL6gHzhc6ELBRiSr0Zu4lghQiqeIOAFJ/k
B0xW228ng9MN54Ib8KEjLlFST7rMQKN9K+RFsmBeVa4Uk2SG3p9ribJZIdyR
fY9yrZbMbJvzVOWwsYgn5gVBkHFS2OySFgYaVvxUgUWMTBZGRZ5/a6STy8d3
7YhF+HbLeBFEIZWUMCYhrfOE07ClL4rEi8ME4uyoF/VRe6FNq3wGVOK7kVBP
RF0ZQD9fr1ttKPekFcm7kG1v2kqWzl8iMMrr0IfLdm/Tf5bih9GIKliZssyZ
bvcsC43MsI0RUqXgrZDZxfPrLkuxQO0GE5XhT+ayYt7U3drS/TNucqI3F/yz
qvvJBJgTcg72O5Qu3GVVWYT62/WG7Jb8SFIVGBLKYWNlPdbvMxKd40w+zbjc
3OR0o/f0DukFuZcdV//ufBkL/OpQ8PFtutNyB/oK/oSiR5J1qUGczYTXumVk
xlGEdWhCjrm3qQWyqkrw8ewqo31dtaLL/o22Oyyo+o0mSiOjTqNIl2e7XACE
iZPjaSicfIPL6YGLKi1PiWU9/mrIshjULrov0Fx2fmReM7vc80v0sSYi2DPD
o3VmqBT8uesKRHmpc0e8kxyADLMaC8RonRjvS7g7otz6TTbJeOULxMp3M1sW
8XkYwCsXJcaNTgvREsYnsJkIZ0dnO6FZzEzx5dUJcEjiJbO2b+v2tVwTf5xV
tpY6Gr2UottBB40Jf1vgOnqCjjjcIyZUoPmD26VNJm8rfe6TuAr50dwaSo0O
Buo9b0bYmvv7qwuH5EkmkqvytzAxxYiVshSMzQ0sBPKeQxQsn/r4xs+vLMpI
Lc3KIs7txYb9H+f2uGyH3bffZ4V+4LRcuEmLkMEtBVEihY8N7iIBeWIY0du1
lzpLc7yM74mP7Vtvw5MeOOMticdqHwp8eMRE9nldo394HFgYNaH8rrPogkQH
+V4zlinDJAAAenIiUA9PBOzJ6Rpc+QJKes9dX4E1Xxy0qzP1ldq/P3i256ET
HIJ3enJyFA54yifg0qfPEMCR3qM9Jo2bcNBzf5CAI8DHh5S5nD49fO7Oww05
MdxZO1ZO2kIfia2pVs/V6LmQlpN7o9DOYV1XlXZpoKECnHIr+VJMDkNuv/Lp
S2e7eVdSR+xrdR5qz5FNzpVZ+f/baStm5TvSq+e1Lk06FF5TYQXuA59Vi/cN
YNhfPiaXzt/SH5ySow9ClY8xlVvKcI8cHbaPaPdBQ9kM2wdOj9sHhnsCIrTE
o88d5INmklyT1/h+x6Fo26hqu2ssLRDX4WIIbk8kbkj2RInWHUc4wWmeQHCc
dBjdijfotbNDftjPCMCtfouJW3ryTIrudIcJDvjbEp843MkHq9EogMW/5Ku8
FektI17kd984r2Kweo5IHitaPbe8TgUHVlf8Sl4A7kgC5QL53K0nbdiXDDvF
6yt+XWby+kObIAX+owHEatLz+gT3DtVrSeE2lNcXlrsNe2Lxtp2497BoAd/d
NoqG8e6e7+5yIXODZMJ2lMdB7bmtmRtf+PicfmS8H2+7QAxErnrRTwrO/Yjb
u/zdgLVkGX4q20lTJGXwXxV0WSb3Pk8hK/dul0ViBbizh2afllG7gx84MJTP
xrgbxk4EyuYO3OXin1MfnS/gQwUv/iyZ7RtFk4gubCU6fWE4AiaSFZf3q+oa
XkVL+VPZzKWJsplUsplwjVVOj3g6YtdTHKZuEj7SFl/qIkNZSawA+cECemsf
RK487W1GzmST+Uw8+ATs+B3ezHavbT3kE2EgOuYTgeDbrhBc5rV+Hj98yeLu
uyRuxa25V913zdHLL7BV6q0OHZ/G2TK+YoHGYuvDwiCQgIW61n1dIR6Dm0BZ
4eZeHPdz+cMl7SaXSeNi0zqcr717WUcVXPJI9rYRJIdsEMDnvGlv00v89f7l
lSg46h+fmrNAQ0EUNFk2ISkMSYngiu+176RYVzYsYe8+PCDh/+jyhnX43J9i
PXZTFT5mZZvdZQj0GM75YJZtIk2vu29RobL9BUruDd/+ehDRR74OVDSvHbRc
8eYcsE479i26LE48VARbxiRSELi3mR+p8OOROh9hqpWbdMIKkzycif2Y9Ksd
/lsraDyfk9LpKs/QN8Qf5PH8iBv6mIR09r98z/L7Mh8nr0c33O/lxtW0ymxd
zrEvcJ6T1XOZ7+D4bl9n5e0Fb9ElpJUyOrhzu7Z+bSEggW+TeTO3abuqq382
JHHh5TN/bGOQfO93YHkIjb3zezyV1Tw68myLv85mkqfatn8YiMiZ4Gtj+QLA
TvXc6210eufrm63biJ/amPV//AMB8v8AB4Br9O9KAAA=

-->

</rfc>
