<?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.29 (Ruby 2.7.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-lundblade-cbor-serialization-03" category="std" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.25.0 -->
  <front>
    <title abbrev="CBOR Serialization">CBOR Serialization and Determinism</title>
    <seriesInfo name="Internet-Draft" value="draft-lundblade-cbor-serialization-03"/>
    <author initials="L." surname="Lundblade" fullname="Laurence Lundblade">
      <organization>Security Theory LLC</organization>
      <address>
        <email>lgl@securitytheory.com</email>
      </address>
    </author>
    <date year="2025" month="October" day="13"/>
    <area>Applications and Real-Time</area>
    <workgroup>CBOR</workgroup>
    <keyword>cbor</keyword>
    <abstract>
      <?line 75?>

<t>This document defines two CBOR serializations: "ordinary serialization" and "deterministic serialization."
It also introduces the term "general serialization" to name the full, variable set of serialization options defined in <xref target="STD94"/>.
Together, these three form a complete set of serializations that cover the majority of CBOR serialization use cases.</t>
      <t>These serializations are largely compatible with those widely implemented by the CBOR community.</t>
    </abstract>
  </front>
  <middle>
    <?line 84?>

<section anchor="Introduction">
      <name>Introduction</name>
      <t>Background material on serialization and determinism concepts is provided in <xref target="models"/>.
Readers may wish to review this background information first.</t>
      <t>This document defines new serializations rather than attempting to clarify those in <xref target="STD94"/> (that need clarification).
This approach enables the serialization requirements to be expressed directly in normative <xref target="RFC2119"/> language, and to be consolidated in this single comprehensive specification.
This approach provides clarity and simplicity for implementers and the CBOR community over the long term.</t>
      <t>The serializations defined herein are formally new, but largely interchangeable with the way the serializations desecribed in <xref target="STD94"/> are implemented.</t>
      <t>For example, preferred serialization described in <xref target="STD94"/> is commonly implemented without support for indefinite-lengths.
Ordinary serialization is defined here is largely the same preferred serialization without indefinite-lengths, so it is largely interchangeable with what is commonly implemented.</t>
    </section>
    <section anchor="general-serialization">
      <name>General Serialization</name>
      <t>This section assigns the name "general serialization" to the full set of serialization options standardized in <xref section="3" sectionFormat="of" target="STD94"/>.
This full set was not explicitly named in <xref target="STD94"/>.</t>
      <t>General serialization consists of all of these:</t>
      <ul spacing="normal">
        <li>
          <t>Any length CBOR argument (e.g., the integer 0 may be encoded as 0x00, 0x1800 or or 0x190000 and so on).</t>
        </li>
        <li>
          <t>Any length floating point regardless of value (e.g. 0.00 can be 0xf900, 0xfa000000000 and so on).</t>
        </li>
        <li>
          <t>Both definite or indefinite-length strings, arrays and maps are allowed.</t>
        </li>
        <li>
          <t>Big numbers can represent values that are also representable by major types 0 and 1 (e.g., 0 can be encoded as a big number, as 0xc34100).</t>
        </li>
      </ul>
      <t>A decoder that supports general serialization is able to decode all of these.</t>
      <t>If a CBOR-based protocol specification does not explicitly specify serialization, general serialization is implied.
This means that a compliant decoder for such a protocol is required to accept all forms allowed by general serialization including both definite and indefinite lengths.
For example, CBOR Web Token, <xref target="RFC8392"/> does not specify serialization; therefore, a full and proper CWT decoder must be able to handle variable-length CBOR argments plus indefinite-length strings, arrays and maps.</t>
      <t>In practice, however, it is widely recognized that some CWT decoders cannot process the full range of general serialization, particularly indefinite lengths.
As a result, CWT encoders typically limit themselves to the subset of serializations that decoders can reliably handle, most notably by never encoding indefinite lengths.
It is similar for other CBOR-based protocols like <xref target="RFC9052"/>.
See also <xref target="OrdinarySerialization"/>.</t>
      <t>Note also that there is no shortest-length requirement for floating-point encoding in general serialization.
Thus, IEEE 754 NaNs (See <xref target="NaN"/>) may be encoded with a desired size, regardless of their payload — a principle sometimes stated as “touch not the NaNs.”</t>
      <t>Finally, note also that general serialization is inherently non-deterministic because some CBOR data items can be serialized in multiple ways.</t>
    </section>
    <section anchor="OrdinarySerialization">
      <name>Ordinary Serialization</name>
      <t>This section defines a serialization named "ordinary serialization."</t>
      <section anchor="OrdinaryEncoding">
        <name>Encoder Requirements</name>
        <ol spacing="normal" type="1"><li>
            <t>The shortest-form of the CBOR argument must be used for all major types.
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 MUST be encoded in the same byte as the major type.</t>
              </li>
              <li>
                <t>24 to 255 and -25 to -256 MUST be encoded only with an additional byte (ai = 0x18).</t>
              </li>
              <li>
                <t>256 to 65535 and -257 to -65536 MUST be encoded only with an additional two bytes (ai = 0x19).</t>
              </li>
              <li>
                <t>65536 to 4294967295 and -65537 to -4294967296 MUST be encoded only with an additional four bytes (ai = 0x1a).</t>
              </li>
            </ul>
          </li>
          <li>
            <t>If maps or arrays are encoded, they MUST use definite-length encoding (never indefinite-length).</t>
          </li>
          <li>
            <t>If text or byte strings are encoded, they MUST use definite-length encoding (never indefinite-length).</t>
          </li>
          <li>
            <t>If floating-point numbers are encoded, the following apply:  </t>
            <ul spacing="normal">
              <li>
                <t>Half-precision MUST be supported</t>
              </li>
              <li>
                <t>Values MUST be encoded in the shortest of double, single or half-precision that preserves precision.
For example, 0.0 can always be reduced to half-precision so it MUST be encoded as 0xf90000
For another example, 0.1 would loose precision if not encoded as double-precision so it MUST be encoded as 0xfb3fb999999999999a.
Subnormal numbers MUST be supported in this shortest-length encoding.</t>
              </li>
              <li>
                <t>The only NaN that may be encoded is a half-precision quiet NaN (the sign bit and all but the highest payload bit is clear), specifically 0xf97e00.</t>
              </li>
              <li>
                <t>Aside from the the requirement allowing only the half-precision quiet NaN, these are the same floating-point requirements as <xref section="4.1" sectionFormat="of" target="STD94"/> and also as <xref section="4.2.1" sectionFormat="of" target="STD94"/>.</t>
              </li>
            </ul>
          </li>
          <li>
            <t>If big numbers (tags 2 and 3) are encoded, the following apply:  </t>
            <ul spacing="normal">
              <li>
                <t>Leadings zeros MUST NOT be encoded.</t>
              </li>
              <li>
                <t>If a value can be encoded using major type 0 or 1, then it MUST be encoded with major type 0 or 1, never as a big number.</t>
              </li>
            </ul>
          </li>
        </ol>
      </section>
      <section anchor="OrdinaryDecoding">
        <name>Decoder Requirements</name>
        <ol spacing="normal" type="1"><li>
            <t>Decoders MUST accept shortest-form encoded arguments.</t>
          </li>
          <li>
            <t>If arrays or maps are supported, definite-length arrays or maps MUST be accepted.</t>
          </li>
          <li>
            <t>If text or byte strings are supported, definite-length text or byte strings MUST be accepted.</t>
          </li>
          <li>
            <t>If floating-point numbers are supported, the following apply:  </t>
            <ul spacing="normal">
              <li>
                <t>Half-precision values MUST be accepted.</t>
              </li>
              <li>
                <t>Double- and single-precision values SHOULD 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 MUST be accepted.</t>
              </li>
            </ul>
          </li>
          <li>
            <t>If big numbers (tags 2 and 3) are accepted, the following apply:  </t>
            <ul spacing="normal">
              <li>
                <t>Big numbers described in <xref section="3.4.3" sectionFormat="of" target="STD94"/> MUST be accepted.</t>
              </li>
              <li>
                <t>Leading zeros SHOULD be ignored.</t>
              </li>
              <li>
                <t>An empty string SHOULD be accepted and treated as the value zero.</t>
              </li>
            </ul>
          </li>
        </ol>
      </section>
      <section anchor="when-to-use-ordinary-serialization">
        <name>When to use ordinary serialization</name>
        <t>The purpose of ordinary serialization is to provide interoperability without requiring support for indefinite-length decoding.
If an encoder never produces indefinite-length items, the decoder can safely treat them as errors.
Supporting indefinite-length decoding, especially for strings, introduces additional complexity and often necessitates dynamic memory allocation, so omitting it significantly reduces the implementation burden.</t>
        <t>Ordinary serialization also provides a size efficiency gain by encoding the CBOR argument in the shortest form.
Implementations typically find encoding and decoding in this form to be straightforward.</t>
        <t>The easy implementation and broad usefulness makes ordinary serialization the best choice for most CBOR protocols.
To some degree it is a de facto standard for common CBOR protocols.</t>
        <t>However, it is not suitable if determinism is needed because the order of items in a map is allowed to vary.
See <xref target="WhenDeterministic"/>.</t>
        <t>It may also not be suitable in some cases where special functionality is needed like the following:</t>
        <ul spacing="normal">
          <li>
            <t>Streaming of of strings, arrays and maps in constrained environments where the length is not known</t>
          </li>
          <li>
            <t>Non-trival NaNs need to be supported</t>
          </li>
          <li>
            <t>Hardware environments where integers are encoded/decoded directly from/to hardware registers and shortest-length CBOR arguments would be burdensome</t>
          </li>
        </ul>
        <t>In those cases, a special/custom serialization can be defined.</t>
        <t>But, for the vast majority of use cases, ordinary serialization provides interoperaibility, small encoded size and low implementation costs.</t>
      </section>
      <section anchor="RelationToPreferred">
        <name>Relation To Preferred Serialization</name>
        <t>Ordinary serialization is defined to be the long-term replacement for preferred serialization.</t>
        <t>The differences are:</t>
        <ul spacing="normal">
          <li>
            <t>Definite lengths are a requirement, not a preference.</t>
          </li>
          <li>
            <t>The only NaN allowed is the half-precision quiet NaN.</t>
          </li>
        </ul>
        <t>These differences are not of significance in real-world implementations, so ordinary serialization is already largely supported.</t>
        <t>In <xref section="3" sectionFormat="of" target="STD94"/> it states that in preferred serialization the use of definite-length encoding is a "preference", not a requirement.
Technically that means preferred seriaization decoders must support indefinite legnths, but in reality many do not.
Indefinite lengths, particularly for strings, are often not supported because they are more complex to implement than other parts of CBOR.
Because of this, the implementation of most CBOR protocols use only definite lengths.</t>
        <t>Further, much of the CBOR community didn't notice the use of the word "preference" and realize its implications for decoder implementations.
It was somewhat assumed that preferred serialization didn't allow indefinite lengths.
That preferred serialization decoders are technically required to support indefinite lengths wasn't noticed until many years after the publication of <xref target="STD94"/>.</t>
        <t>Briefly stated, the reason that the divergence on NaNs is not of consequence in the real world, is that their non-trivial forms are used extremely rarely and support for them in programming environments and CBOR libraries is unreliable.
See <xref target="NaNCompatibility"/> for a detailed discussion.</t>
        <t>Thus ordinary serialization is largely interchangable with preferred serialization in the real world.</t>
      </section>
    </section>
    <section anchor="DeterministicSerialization">
      <name>Deterministic Serialization</name>
      <t>This section defines a serialization named "deterministic serialization"</t>
      <t>Deterministic serialization is the same as described in <xref section="4.2.1" sectionFormat="of" target="STD94"/> except for the encoding of floating-point NaNs.
See <xref target="OrdinarySerialization"/> and <xref target="NaN"/> for details on and rationale for NaN encoding.</t>
      <t>Note that in deterministic serialization, any big number that can be represented as an integer must be encoded as an integer.
This rule is inherited from ordinary serialization (<xref target="OrdinarySerialization"/>), just as <xref section="4.2.1" sectionFormat="of" target="STD94"/> inherits this requirement from preferred serialization.</t>
      <section anchor="DeterministicEncoding">
        <name>Encoder Requirements</name>
        <ol spacing="normal" type="1"><li>
            <t>All of ordinary serialization defined in <xref target="OrdinaryEncoding"/> MUST be used.</t>
          </li>
          <li>
            <t>If a map is encoded, the items in it MUST be sorted in the bytewise lexicographic order of their deterministic encodings of the map keys.
(Note that this is the same as the sorting in <xref section="4.2.1" sectionFormat="of" target="STD94"/> and not the same as <xref section="3.9" sectionFormat="of" target="RFC7049"/>.</t>
          </li>
        </ol>
      </section>
      <section anchor="DeterministicDecoding">
        <name>Decoder Requirements</name>
        <ol spacing="normal" type="1"><li>
            <t>Decoders MUST meet the decoder requirements for <xref target="OrdinaryDecoding"/>.
That is, deterministic encoding imposes no requirements over and above the requirements for decoding ordinary serialization.</t>
          </li>
        </ol>
      </section>
      <section anchor="WhenDeterministic">
        <name>When to use Deterministic Serialization</name>
        <t>Most applications do not require deterministic encoding — even those that employ signing or hashing to authenticate or protect the integrity of data.
For example, the payload of a COSE_Sign message (See <xref target="RFC9052"/>) does not need to be encoded deterministically because it is transmitted along with the message.
The recipient receives the exact same bytes that were signed.</t>
        <t>Deterministic encoding is required when the data being protected is NOT transmitted in the form needed for authenticity or integrity checks.
That is, the actual bytes that are checked have to be constructed independently by both the sender and the receiver.
The two independent constructions must produce exactly the same actual bytes, so there can be no variability or ambiguity in the encoding.
This is used in a protocol design for reasons such as reducing data size, addressing privacy concerns, or other constraints.</t>
        <t>The only difference between ordinary and deterministic serialization is map key sorting.
Sorting can be expensive in very constrained environments.
This is the only reason these two are not combined into one.</t>
        <t>Deterministically encoded data is always decodable, even by receivers that do not specifically support deterministic encoding.
Deterministic encoding can be helpful for debugging and such.
In environments where map sorting is not costly, it is acceptable and beneficial to always use it.
In such an environment, a CBOR encoder may produce deterministic encoding by default and may even omit support for ordinary encoding entirely.
But note that determinstic is never a substitue for general serialization where uses cases may require indefinite lengths, separate big numbers from integers in the data model, need non-trivial NaNs or other.</t>
      </section>
    </section>
    <section anchor="cddl-support">
      <name>CDDL Support</name>
      <t>TODO -- complete work and remove this comment</t>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>The security considerations in <xref section="10" sectionFormat="of" target="STD94"/> apply.</t>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t>TODO -- complete work and remove this comment before publication</t>
    </section>
  </middle>
  <back>
    <references anchor="sec-combined-references">
      <name>References</name>
      <references anchor="sec-normative-references">
        <name>Normative References</name>
        <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="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="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="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>
      </references>
      <references anchor="sec-informative-references">
        <name>Informative References</name>
        <reference anchor="RFC8392">
          <front>
            <title>CBOR Web Token (CWT)</title>
            <author fullname="M. Jones" initials="M." surname="Jones"/>
            <author fullname="E. Wahlstroem" initials="E." surname="Wahlstroem"/>
            <author fullname="S. Erdtman" initials="S." surname="Erdtman"/>
            <author fullname="H. Tschofenig" initials="H." surname="Tschofenig"/>
            <date month="May" year="2018"/>
            <abstract>
              <t>CBOR Web Token (CWT) is a compact means of representing claims to be transferred between two parties. The claims in a CWT are encoded in the Concise Binary Object Representation (CBOR), and CBOR Object Signing and Encryption (COSE) is used for added application-layer security protection. A claim is a piece of information asserted about a subject and is represented as a name/value pair consisting of a claim name and a claim value. CWT is derived from JSON Web Token (JWT) but uses CBOR rather than JSON.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8392"/>
          <seriesInfo name="DOI" value="10.17487/RFC8392"/>
        </reference>
        <reference anchor="RFC9052">
          <front>
            <title>CBOR Object Signing and Encryption (COSE): Structures and Process</title>
            <author fullname="J. Schaad" initials="J." surname="Schaad"/>
            <date month="August" year="2022"/>
            <abstract>
              <t>Concise Binary Object Representation (CBOR) is a data format designed for small code size and small message size. There is a need to be able to define basic security services for this data format. This document defines the CBOR Object Signing and Encryption (COSE) protocol. This specification describes how to create and process signatures, message authentication codes, and encryption using CBOR for serialization. This specification additionally describes how to represent cryptographic keys using CBOR.</t>
              <t>This document, along with RFC 9053, obsoletes RFC 8152.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="96"/>
          <seriesInfo name="RFC" value="9052"/>
          <seriesInfo name="DOI" value="10.17487/RFC9052"/>
        </reference>
        <reference anchor="RFC7049">
          <front>
            <title>Concise Binary Object Representation (CBOR)</title>
            <author fullname="C. Bormann" initials="C." surname="Bormann"/>
            <author fullname="P. Hoffman" initials="P." surname="Hoffman"/>
            <date month="October" year="2013"/>
            <abstract>
              <t>The Concise Binary Object Representation (CBOR) is a data format whose design goals include the possibility of extremely small code size, fairly small message size, and extensibility without the need for version negotiation. These design goals make it different from earlier binary serializations such as ASN.1 and MessagePack.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7049"/>
          <seriesInfo name="DOI" value="10.17487/RFC7049"/>
        </reference>
        <reference anchor="NaNBoxing" target="https://craftinginterpreters.com/optimization.html#nan-boxing">
          <front>
            <title>Crafting Interpreters</title>
            <author fullname="Robert Nystrom">
              <organization/>
            </author>
            <date year="2021" month="July"/>
          </front>
        </reference>
      </references>
    </references>
    <?line 296?>

<section anchor="models">
      <name>Information Model, Data Model and Serialization</name>
      <t>To understand CBOR serialization and determinism, it's helpful to distinguish between the general concepts of an information model, a data model, and serialization.
These are broad concepts that can be applied to other serialization schemes like JSON and ASN.1</t>
      <table>
        <thead>
          <tr>
            <th align="left"> </th>
            <th align="left">Information Model</th>
            <th align="left">Data Model</th>
            <th align="left">Serialization</th>
          </tr>
        </thead>
        <tbody>
          <tr>
            <td align="left">Abstraction Level</td>
            <td align="left">Top level; conceptual</td>
            <td align="left">Realization of information in data structures and data types</td>
            <td align="left">Actual bytes encoded for transmission</td>
          </tr>
          <tr>
            <td align="left">Example</td>
            <td align="left">The temperature of something</td>
            <td align="left">A floating-point number representing the temperature</td>
            <td align="left">Encoded CBOR of a floating-point number</td>
          </tr>
          <tr>
            <td align="left">Standards</td>
            <td align="left"> </td>
            <td align="left">CDDL</td>
            <td align="left">CBOR</td>
          </tr>
          <tr>
            <td align="left">Implementation Representation</td>
            <td align="left"> </td>
            <td align="left">API Input to CBOR encoder library, output from CBOR decoder library</td>
            <td align="left">Encoded CBOR in memory or for transmission</td>
          </tr>
        </tbody>
      </table>
      <t>CBOR doesn't provide facilities for information models.
They are mentioned here for completeness and to provide some context.</t>
      <t>CBOR defines a palette of basic types that are the usual integers, floating-point numbers, strings, arrays, maps and other.
Extended types may be constructed from these basic types.
These basic and extended types are used to construct the data model of a CBOR protocol.
While not required, <xref target="RFC8610"/> may be used to describe the data model of a protocol.
The types in the data model are serialized per <xref target="STD94"/> to create encoded CBOR.</t>
      <t>CBOR allows certain data types to be serialized in multiple ways to facilitate easier implementation in constrained environments.
For example, indefinite-length encoding enables strings, arrays, and maps to be streamed without knowing their length upfront.</t>
      <t>Crucially, CBOR allows — and even expects — that some implementations will not support all serialization variants.
In contrast, JSON permits variations (e.g., representing 1 as 1, 1.0, or 0.1e1), but expects all parsers to handle them.
That is, the variation in JSON is for human readability, not to facilitate easier implementation in constrained environments.</t>
    </section>
    <section anchor="general-protocol-considerations-for-determinism">
      <name>General Protocol Considerations for Determinism</name>
      <t>This is the section that covers what is know as ALDR in some discussions.</t>
      <t><cref anchor="rfced">RFC Editor:</cref> Please remove above sentence before publication</t>
      <t>In addition to <xref target="DeterministicSerialization"/> and <xref target="Tags"/>, there are considerations in the design of any deterministic protocol.</t>
      <t>For a protocol to be deterministic, both the encoding (serialization) and data model (application) layer must be deterministic.
While deterministic serialization, <xref target="DeterministicSerialization"/>, ensures determinism at the encoding layer, requirements at the application layer may also be necessary.</t>
      <t>Here’s an example application layer specification:</t>
      <ul empty="true">
        <li>
          <ul empty="true">
            <li>
              <t>At the sender’s convenience, the birth date MAY be sent either as an integer epoch date or string date. The receiver MUST decode both formats.</t>
            </li>
          </ul>
        </li>
      </ul>
      <t>While this specification is interoperable, it lacks determinism.
There is variability in the data model layer akin to variability in the CBOR encoding layer when deterministic serialization is not required.</t>
      <t>To make this example application layer specification deterministic, specify one date format and prohibit the other.</t>
      <t>A more interesting source of application layer variability comes from CBOR’s variety of number types. For instance, the number 2 can be represented as an integer, float, big number, decimal fraction and other.
Most protocols designs will just specify one number type to use, and that will give determinism, but here’s an example specification that doesn’t:</t>
      <ul empty="true">
        <li>
          <ul empty="true">
            <li>
              <t>At the sender’s convenience, the fluid level measurement MAY be encoded as an integer or a floating-point number. This allows for minimal encoding size while supporting a large range. The receiver MUST be able to accept both integers and floating-point numbers for the measurement.</t>
            </li>
          </ul>
        </li>
      </ul>
      <t>Again, this ensures interoperability but not determinism — identical fluid level measurements can be represented in more than one way.
Determinism can be achieved by allowing only floating-point, though that doesn’t minimize encoding size.</t>
      <t>A better solution requires the fluid level always be encoded using the smallest representation for every particular value.
For example, a fluid level of 2 is always encoding as an integer, never as a floating-point number.
2.000001 is always be encoded as a floating-point number so as to not lose precision.
See the numeric reduction defined by dCBOR.</t>
      <t>Although this is not strictly a CBOR issue, deterministic CBOR protocol designers should be mindful of variability in Unicode text, as some characters can be encoded in multiple ways.</t>
      <t>While this is not an exhaustive list of application-layer considerations for deterministic CBOR protocols, it highlights the nature of variability in the data model layer and some sources of variability in the CBOR data model (i.e., in the application layer).</t>
    </section>
    <section anchor="Tags">
      <name>Deterministic Encoding for Popular Tags</name>
      <t>The definitions of the following tags in <xref target="RFC8610"/> allow variation in the data mode, thus it is useful to define a deterministic encoding for them should a particular deterministic protocol need one.
The tags defined in <xref target="RFC8610"/> but not mentioned here have no variability in their data model.</t>
      <section anchor="date-strings-tag-0">
        <name>Date Strings, Tag 0</name>
        <t>TODO -- complete this work and remove this comment before publication</t>
      </section>
      <section anchor="epoch-date-tag-1">
        <name>Epoch Date, Tag 1</name>
        <section anchor="encoder-requirements">
          <name>Encoder Requirements</name>
          <t>The integer form MUST be used unless one of the following applies: (1) the date is too far in the past or future to fit in a 64-bit integer of type 0 or 1, or (2) the date requires sub-second precision.
In these cases, the floating-point form MUST be used instead.</t>
        </section>
        <section anchor="decoder-requirements">
          <name>Decoder Requirements</name>
          <t>The decoder MUST decode both the integer and floating-point form.</t>
        </section>
      </section>
      <section anchor="big-numbers-tags-2-and-3">
        <name>Big Numbers, Tags 2 and 3</name>
        <t>See <xref target="OrdinarySerialization"/>.</t>
      </section>
      <section anchor="big-floats-and-decimal-fractions-tags-4-and-5">
        <name>Big Floats and Decimal Fractions, Tags 4 and 5</name>
        <section anchor="encoder-requirements-1">
          <name>Encoder Requirements</name>
          <t>The mantissa MUST be encoded in the preferred serialization form specified in Section 3.4.3 of RFC 8949.</t>
          <t>The mantissa MUST NOT contain trailing zeros.
For example, the decimal fraction with value 10 must be encoded with a mantissa of 1 and an exponent of 1.
For big floats, the mantissa must not include any trailing zero bits if encoded as a type 0 or 1 integer, and no trailing zero bytes if encoded as a big number</t>
        </section>
        <section anchor="decoder-requirements-1">
          <name>Decoder Requirements</name>
          <t>Both the integer and big number forms of the mantissa MUST be decoded.</t>
        </section>
      </section>
    </section>
    <section anchor="NaN">
      <name>IEEE 754 NaN</name>
      <t>This section provides background information on <xref target="IEEE754"/> NaN (Not a Number) and its use in CBOR.</t>
      <section anchor="basics">
        <name>Basics</name>
        <t><xref target="IEEE754"/> defines the most widely used representation for floating-point numbers, including special values for infinity and NaN.
NaN was originally designed to represent the result of invalid computations, such as division by zero.
Although IEEE 754 intended NaN primarily for local computation, NaN values are sometimes transmitted in network protocols, and CBOR supports their representation.</t>
        <t>An IEEE 754 NaN includes a payload of up to 52 bits (depending on precision), whose use is not formally defined.
The original intent was for vendor-specific diagnostic information explaining why a computation failed.
NaN values also include an unused sign bit.</t>
        <t>IEEE 754 distinguishes between quiet NaNs (qNaNs) and signaling NaNs (sNaNs):</t>
        <ul spacing="normal">
          <li>
            <t>A signaling NaN typically raises a floating-point exception when encountered.</t>
          </li>
          <li>
            <t>A quiet NaN does not raise an exception.</t>
          </li>
          <li>
            <t>The distinction is implementation-specific, but typically:
            </t>
            <ul spacing="normal">
              <li>
                <t>The highest bit of the payload is set --&gt; quiet NaN.</t>
              </li>
              <li>
                <t>Any other payload bit is set --&gt; signaling NaN.</t>
              </li>
            </ul>
          </li>
          <li>
            <t>At least one payload bit must be set for a signaling NaN to distinguish it from infinity.</t>
          </li>
        </ul>
        <t>In this document:</t>
        <ul spacing="normal">
          <li>
            <t>A non-trivial NaN refers to any NaN that is not a quiet NaN.</t>
          </li>
          <li>
            <t>Non-trivial NaNs are often used to embed additional protocol information in the NaN payload.</t>
          </li>
        </ul>
      </section>
      <section anchor="implementation-support-for-non-trivial-nans">
        <name>Implementation Support for Non-Trivial NaNs</name>
        <t>This section discusses the extent of programming language and CPU support for NaN payloads.</t>
        <t>Although <xref target="IEEE754"/> has existed for decades, support for manipulating non-trivial NaNs has historically been limited and inconsistent.
Some key points:</t>
        <ul spacing="normal">
          <li>
            <t>Programming languages:  </t>
            <ul spacing="normal">
              <li>
                <t>The programming languages C, C++, Java, Pyhton and Rust do no provide APIs to set or extract NaN payloads.</t>
              </li>
              <li>
                <t>IEEE 754 is over thirty years old, enough time for support to be added if there was need.</t>
              </li>
            </ul>
          </li>
          <li>
            <t>CPU hardware:  </t>
            <ul spacing="normal">
              <li>
                <t>CPUs use the distinction between signaling and quiet NaNs to determine whether to raise exceptions.</t>
              </li>
              <li>
                <t>A non-trivial NaN matching the CPU’s signaling NaN pattern may either trigger an exception or be converted into a quiet NaN.</t>
              </li>
              <li>
                <t>Instructions converting between single and double precision often discard or alter NaN payloads.</t>
              </li>
            </ul>
          </li>
        </ul>
        <t>As a result, applications that rely on non-trivial NaNs generally cannot depend on CPU instructions, floating-point libraries, or programming environments.
Instead, they usually need their own software implementation of IEEE 754 to encode and decode the full bit patterns to reliably process non-trivial NaNs.</t>
      </section>
      <section anchor="protocol-use-and-non-use-for-non-trivial-nans">
        <name>Protocol Use and Non-use for Non-Trivial NaNs</name>
        <t>One motivation for transmitting NaNs in CBOR is the technique known as NaN boxing (See <xref target="NaNBoxing"/>), used in some language runtimes (e.g., JavaScript engines) to represent multiple data types efficiently within a single 64-bit word.
Another motivation arises when applications that internally rely on NaNs are split across a protocol boundary.
For example, the R programming language uses non-trivial NaNs internally.</t>
        <t>By contrast, JSON can encode IEEE 754 floating-point numbers but explicitly disallows NaN in all forms.
As a result, CBOR protocols that allow NaN cannot be directly mapped to JSON.</t>
        <t>Protocols often require an out-of-band indicator to signal the absence of a value.
JSON uses <tt>null</tt> for this purpose, and CBOR protocols can also use <tt>null</tt> instead of NaN.</t>
      </section>
      <section anchor="NaNCompatibility">
        <name>Incompatibility with <xref target="STD94"/></name>
        <t>Although <xref target="STD94"/> is not entirely explicit about non-trivial NaNs, it is generally interpreted as supporting non-trivial NaNs in the CBOR generic data model.
It is also interpreted as requiring that non-trivial NaNs be reduce to their shortest form for preferred serialization — the opposite of "touch not the NaNs"</t>
        <t>This document diverges from that interpretation:</t>
        <ul spacing="normal">
          <li>
            <t>Ordinary serialization: Non-trivial NaNs are not allowed.
While ordinary serialization typically aligns with preferred serialization, it does not in the case of non-trivial NaNs.</t>
          </li>
          <li>
            <t>Deterministic serialization: Because deterministic serialization inherits from ordinary serialization, it also does not allow non-trivial NaNs.
This diverges from <xref section="4.2.1" sectionFormat="of" target="STD94"/> in this one specific way.</t>
          </li>
        </ul>
        <t>The divergence is justified by the following:</t>
        <ul spacing="normal">
          <li>
            <t>Non-trivial NaNs were not clearly specified in <xref target="STD94"/>.</t>
          </li>
          <li>
            <t>They are not well-supported across CPUs and programming environments.</t>
          </li>
          <li>
            <t>Implementing preferred serialization for non-trivial NaNs is complex and error-prone; many CBOR implementations don't support it or don't support it correctly.</t>
          </li>
          <li>
            <t>Practical use cases for non-trivial NaNs are extremely rare.</t>
          </li>
          <li>
            <t>Reducing non-trivial NaNs to a half-precision quiet NaN is simple and widely supported (e.g., <tt>isnan()</tt> can be used to detect all NaNs).</t>
          </li>
          <li>
            <t>Non-trivial NaNs remain supported by general serialization; the divergence is only for ordinary and deterministic serialization.</t>
          </li>
          <li>
            <t>A new CBOR tag could be defined in the future to explicitly support them if needed.</t>
          </li>
        </ul>
      </section>
      <section anchor="recommendations-for-use-of-non-trival-nans-in-cbor">
        <name>Recommendations for Use of Non-Trival NaNs in CBOR</name>
        <t>In summary, non-trival NaNs can be used in CBOR, but should primarily be used in systems that already use them and with full awareness that support in programming environments and CBOR libraries will be limited and inconsistent.</t>
        <t>For new protocols, non-trival NaNs, even all NaNs, can be avoided by using other CBOR protocol elements like null.
CBOR is powerful and flexible so as to allow data structures that can express an error detail or out-of-band value without using non-trival NaNs.
The advantage of avoiding NaN in CBOR protocols is that they can more easily be JSON protocols and one does not need to worry about programming environment and CPU hardware support.</t>
      </section>
    </section>
    <section anchor="examples-and-test-vectors">
      <name>Examples and Test Vectors</name>
      <t>TODO -- complete work and remove this comment before publication</t>
    </section>
    <section anchor="contributors" numbered="false" toc="include" removeInRFC="false">
      <name>Contributors</name>
      <contact initials="R." surname="Mahy" fullname="Rohan Mahy">
        <organization>Rohan Mahy Consulting Services</organization>
        <address>
          <email>rohan.ietf@gmail.com</email>
        </address>
      </contact>
      <contact initials="J." surname="Hildebrand" fullname="Joe Hildebrand">
        <organization/>
        <address>
          <email>hildjj@cursive.net</email>
        </address>
      </contact>
      <contact initials="W." surname="McNally" fullname="Wolf McNally">
        <organization>Blockchain Commons</organization>
        <address>
          <email>wolf@wolfmcnally.com</email>
        </address>
      </contact>
      <contact initials="C." surname="Borman" fullname="Carsten Borman">
        <organization>Universität Bremen TZI</organization>
        <address>
          <email>cabo@tzi.org</email>
        </address>
      </contact>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA7Vd747bxnb/rqcgbKDXe68k767tJLvBvcjaa984cGzDu75B
W7TNiBpJjClS4ZC7VhwDeYh+KdB+65v0TfIkPb9zzgyHFKU4uG0Q2LsSOXPm
/P87nkwmo5vz5MFoVGd1bs+TJ49fvUmubJWZPPvJ1FlZJKaYJ5e2ttU6KzK3
HpnZrLI3Q4+O5mVamDUtM6/Mop7kTTGf5WZuJ+msrCYufnaSm9q6epSa+jxx
9Xw0mtMH56O0LJwtXOPOk7pq7MjVlTXr8+T50+tno2xT8ceuPj0+Pjs+HRn6
8jxJ7lxsNnmW8sKOAX5jTT65ztb2zui2rN4tq7LZCMijd3ZLH83PEwA1Go1M
U6/K6nw0SbKCdn0xTV54uEdJIud5YZrKFqntfFVWy3NCQNpUWb1Nrle2rLbJ
ixdP6Cu7Nll+nuTL/CunD9T8/TQt17QnnbKusllTy8ayyZtyZYrkW7PayuKm
UFzFXyVP6IhNXmfFEsi/yVLr2g0rPDfNbL34aolPeDu//jelTb7O8rmdVYSi
9qUVffbDD18RmC67sdPC1uGV78p8kXybvjR5vgvU47xM36UrkxUE1HpNcLVr
3tKLX+GPNXEEvdwB5ImpXG2L5HFZrU2xs+7bgsAgWOr/+e86eVzZNT16/U/P
28VTMyu/qn/KpvQeIbPAMjW9c06PvHn25PTk5Ox8RD9fXV+ePcSHyUSpTT/+
+RzPfHH28Gwkj3/x2ckxfT2f5/jg+dOnTz9/JG8ltamWlvhzVdcbd37/fmat
fb/Jy8pO8SP2v0883xCE9f0vPv/ss9PTM3lRpAmLJVc1YdtU82RRVsmzvDSg
3eR1mRV1ckGcsVrbOkv5Nc+K+Hki/IUl+HcWj2Rhcmf5d0iTdVmxKOX5xO9G
nE0HmJwen5zpF5evnp8nJ8fTk5Pjs/t4ihAzxfdTD/MI60RYZLw8ODslWn13
PdIPzo4f4YNXV0/9J58fPxRMJy/Ny8flezqYAuPVCfQAWPV5QQpkU0GNOHki
PiudVv9OkkWT514eZraqk5db0gHEPUmLhW+afDtOTo9PT3S3Hp1S3TaLdgUH
3i83dbZWRpuu6nV+tzDFZMaQEyeNJpNJYma0n0nr0eh6lbnE0zeZ20VWWJfU
t6Xovo4+I81xh7RKVhhSAp1v7rBCujMPKpSo3X1iemf0vE6IsiWpIDrrvEmx
z8omeCW5s7SFrUzeX7YuWZ74QWBtnNwYemCWW3qyTspF94UEh4d+lIPMaa/k
wwdWzR8/TkfXJaFwZasx1nNYtbIWPLtOTEK42+R0gMGFAaqp6RmSWgZmbX4o
WSfSk7uYShpaPTXOuilQjL16y5FWT3KQNN/yzvQxDnVLskLrlw4/zvFlBqhA
HDrNbMt783700ropCIKp0nSdkXjb0eguGJERzJB8uBv/+nE0emxSthVEMBIG
hiqh59yOQWypuabdyDJsapcQt2yq8oZgU+SuSwLTAbtkj+bEhLTqloB3KxCP
rGhmbwlqem/WbhxEkbZaZKQpp/s4saC3e6irDGgIghCcdW3XGxY/2i0ljGaL
rSIwpn1yj+lXWAJbnlJTejSVjc2GjmXSVWILcJewZhcnlf2xyVhVEx5ot5lN
SFNW1jladE7fpDXoVSRBWdP+qqsJgtwUy8Ys7ZiRK+/DEyjzDBLP6GQ8kcJb
5pa5orIrchSwktvYNADdh1kp4uRoxJTYwYFzshS/Qiu3fFSJ+7DLSUng7rwE
Qon6wr59CnjpIjJYghq8zPQkIwiCjROy+oG7WUGRCS2W1kQsTj+Y7S6WsTi5
E+Q49KSXd4mEgSB7Rsey7w0+GxMO7MJWFb3VpRotN7QaoS9lg94TMUBXEvSu
2WxK0syMuoIPnNV2kttiWa9Iql8N6kEsGyMHv3s88FGhy/ZB6rfe3W6cQG3W
8WqDWL0Fj+85GdTE3eSvqma7Pq2wE6FdZN+5bFmIBLDyPaCcvV4+rI2dugfZ
T54MV7rXA7zU6meAEZa7NST+ZQ0hYz4GcxE4faU++usQdCxaZIccNiDGxF+s
9MmW/zG5KLaJ4FZEgJAqaueenS6nbB4Yw0uSh2NWaBD2Ii2h9gis4/fHx2P6
8+SL42PyYfA//XJ2TP+J7JUJq5bOTgv1i5IN+0WVXRJKSNUwiDcmb6xsnxxP
aZmUtBttevx+cSZ7Lcyx/6+3x+OSVvc8kwwxLFGgop2JkUxVma0ogLXZiB0i
9JS34BBaKlsmRbOeQUkAgspCwQEzDKCaQXnJle3XzINkntgsJvV2Q48KmCce
p+FIER5NMgsbjgWx6YOHJ8fHdK7RBZ0JT1ayqUqkSwa5EWzPQBBTymsdqtNy
z4kPmNqTmYHGJqVZl2mZd1UrWSC7w3byRE/Wx/sBYc0LhDJDr63x/oN6GZlh
CyeHg4ZxDWlx04JEb6m1YUthUhhfPhD0rPMUA8b3AFGkeTMHs806zGHY+IZf
gzrrqFIWie/sLLku31k6JwkbucikNANuBhHyJVBNuo1CB6KlyDH2o1Nt6Jy0
RDjzmsJbsIKnGOkxkoTg2016sikmd5M37newNkhe0Obk5lIAOU5WhLEbsJko
UnWvyGqXy4IVk3BZSQovApXFAEemU6SQ1aDxKuheMNggBcggmYo2bkhhs7re
xfkF+J/EhyLdMW8pgkFbkvwQO8Ka5uTK19hz7Wx+Y53Xua6ZHXBTY9hphxxI
3SqSx8m6JOTTkfjDGSw2zD5vDoYZAvU5o4w8ioyOwxxbsg82IE5korJ3lnmG
oigo6Cur2uLDB281O+aHlfjLstan+AS1t55FmTiKoZBH8QSP/DAGxevViejV
6CDDpIFYNsQvHEtSGInAziX3AOaHD/Tzx49HfZXP1tXAl2CRdMQv454CJ4iz
ioi+JWjmyT+s58atvmSZJlnMNghYSkTBa8v2sBYF+Osv/1mXEH6wGAgLWKa/
/vJf5N1knFUY46sYNfu1TgGkFWwny2LSDcZmNjUISoS/IVfkdBqSBeIsr5j9
imJi18jAAG7y05x4D8Hp6WbPPtwdpmvPr/AuvemBLkZ9T2RJcePo7t3kqYhG
8ib2wdt9nyrNacuTacIeq2caju6EPj1b75VQA/YFI0G/RgZsisB7d63AX/wK
mfewYK3uF2hpWnOv9l4sfOYkmfBHsocky6cPWF9NTvDL5PRh8u3bq+uY8zgo
UMdxtgUjuDb+ZDinshy9i/UePZIFTx/Jio8+21mSPUPhaHL25vMMeCaG4uXv
mSz5M3s2R35hWoKW+uzRowdh7c95cXz06csjp4AtXLvHmd9DVqI1H56ePTz7
7PPTM90KX8hm4ZtP33FRNlV/SwPPgniEvAH2f0BDtRtVWJEdwK3sA6Hpm5zA
AvdEd+4YpXaT2r6vsQkjV03V/9NWPT3o3bj+ZoQWeA9YkwLIfCv8SET42uSL
CflzaeYglh7L6nfZuT72N3EE9zGqygpEbl42MxgcDWgJC6vuFiww7EFWsG3h
i6lmyjpeCXnFrKhMDoWErUkVN6l4SL2FJVzqg8j+5YK99GgDU4gtizY6SW7L
Jp9TGIw8QrtsthDPsF1PjviJO88eLGZn0X/Gn/OqmXHOIA9E20F+mx3oWUPP
ICpJ0FcsD2RIBL89UwY/uY8u0qnkTOCNe0xDCv/IMa9ZBKEUEc7ji1W2XIG2
3srNxJVKc2uqo3HrSMNzAaY/t8fHCteFI38rWVTlWpJ+K9ux48azJMPOe+0B
0efuwNZBM/ZYv5OpIdy38eZDom0bceoBiWa9h047jwUJm0XR0b3akCSf8hIP
jj5Ryv6YvLBmzjrgJ1uVSueXr2JmmeqTHK+I0egFTg0EKrIACcegJ7xvMcR+
rBsHnheV0ovD2NTfTS7tQYvLXweLe+kdTt5Zw5UBswlRUGvpAlZV/xJIISIN
bD/eUYi9p/1RZU/G3m8o3gNrD76zd4cD+jba4wAv9BTuTVextvvxw5eiaTS1
B4W6++rV16/evriMX/6SfHhzw+lRlhrOLzmRMgRqzhLHwJEJIUObJyW1iroi
NI99j+XYqnK+ukD5gLNctrjJqrJQinrG3VGLCiAnDhS08d5j7MX4b8hfu/IB
pMcZjl5uMCSlpg+ncWJqH0lUllWUW+ST+iTU+qcuCH3rTb1VhhogkqRjK+uD
AkAvgo+VVR6/g2wTSeAkDLvKkqrdNNUGVovAH34M9Kd1NGcsiUQE6GaW5UgC
+zSkKFFAfDAXKpzDBgiyXPgoVpXLxpd6dl/k2ENo5fMCUHTOLDhdCnxw5AuU
2KoqK2KwKwGlG6f2IRknlk0RMyunV3yKICo9RX6iVH7e+8R5uUDhtrAI9zNE
asQoWwpSKIpa2zUK4LBWqYb5SMNRjC4g1Ww72QZyHCYeilA05GKFCrOmmlvy
dPZlktkshcS+4ZgzsQtaOiMMb5MlatIUvQcHcTfA6btk0MNEpQ4ccbKBsDlv
15MSUBtLs/fBqlxqF6wClquaPrqlOFgrBda4bf+oWGlWwWEg5l00eYGQeW3e
WbePRQH2DCCnqzJLubogaQs+YEg1oKInEe3cLlHKE38EgXqyMCnB6eLCtKTF
d9YYfd3NDHGCq8kkp0kuX1wHw9ekG5F604AaoNIpiHlJ4iScRkkE1olh0Uwd
wXJD55RsyIcPkObLOEBnL+O5eGtMekDBDqAHpJCTclUxueX8iHJ5smiKVHgZ
PNzCyJmYji7k7PcV95uwt7XgFNK+5HBW7NX1CgEXi1ScBXPvivK2oE1elsWE
1iU9JvkVb1I6EQVsYDW/FedpZ3HNwHdCmPuiKqKCG3zK+xwC6EqVXRJKfZmr
7y93RMSpo09AiTwCxZw3lBIiIxvJTMX0/bRxNbmwvVKDuGda+CE6Pm7qMXOc
aHJXd8rFTbvwHvYPYt8q50y0M+kblNmCN8VaAcck8vbFLiWBcWo93thcPiSB
eR3qT/00jn/qugzPfNyroKJSl5DVFw4nXNGv7CY3aZul21P1UrUxzxYLy+1H
TG1m08teGlJsfOzcjzXVImvjbdQwOiGQl7/MHYwqQpm+BwhvABEJaj1lUazQ
e0XeEfFOF+tSq9tveU1Or863oY4XZEHS1cOVMTYsYokkx1TsLSLikI2Y/72p
BFaRd1qk3fF4jFBLqtWmq0ItgwSSXMfobdyWWdV/5Kya9xg6ueRlwaXMGZc4
GYMQiDVSaHPWd2SbdnLPvTx6x5qDPmqsyzoKlSPVvOWHyGhbb+XBrIFk0kQg
8T/2cb6dYzp6rItw6jBTP6UnYfTdgFUS/IMBdxPpo2dNJR0oa2R947xkW4af
Z/PiD5yih+2LKMpVc+KtDvFY/BmbP8EAavXJNwpGvn2fUzmtjyIrlB6Xjo1z
zdpXQvYW1AU6FqzBYsH1wbc9n3D8HrFYXO8aZB/RAQRvixtyKIo6y4WHttZg
WeIH0bsbCkF8UY9wF1eMH1eZXUD4OA8/1myEcT4lxS4pGvSW3BBJH7MJUwtH
i3EH54+NVW2g7+cJa4SxKBtZJ6s4GQ9LyJZayneVZp0p3oS44fj0Wa6NG5G7
zf4vi3u5rMyajXbHUuIFZp88m9EamWUwm0KrPtY7HHSAJ9pmxIaElArnr+Hd
mCxng+rIujmvk5u9ztlgF0LbhLCP8jt4kppCxwvasUidb/+e6sKB1rQ7o9Hl
/m+95eA8k9kbM/ZzRhoyBy8gKN9yJ3HAJR8l054CGZNZi1Mq0qAaAnkRfyPu
n3jKsHttWlBKa95uHMDDmKsZbYytLW/i3IRKvxbui9Af4csocVk/fKsl8KrJ
bShRZViDM4F7GOzeXjwcjZMfsN3BdJ3fxUnI0ikXYtf9nsiBSlOHQ7rlpgvp
M9hzmE4n4k69qs0tQB+0KTEfPnRSiiG6iFJ8LsoOS4XoNnNQl++zFCpjsyIy
h/hEFFKXBzyn+Comb/3ObiWdc6/lHsZmTxr45xCQHyIK2NQXOf3bccrlDA9r
vy0r6f05yA4tDiUi19bWnfxCJzEMUWlJEtb5qBYMNn8YUzCkpeNWiO6K3D/H
OeUZ/dhPckfGmBXBcL1zJ9lzWEHuBpKj0bfwSUw8LiD+lQdm37F80ZqCYR8A
MeEt+Q3lVnxgBpzcaLfSnkv0ONPhsBWXeOAGEVHbFiof9qDe3Gs0YTOttYSS
23NeXT39tyuUH9bWObO0viyvzQRHbQtKFE96zdM5FjsV3hOUwJ7i2MIhVwMt
xS2OoRdRt5tyMILwYJNZLiSkNrvRBA6BTecKlVi18bcciBPILL6Xexgm6ue5
ZdqCKVGAn1nuCBOkSZyCckAMqso2p140sGfT7RHP+K0iZKcrm75zERvjdYK9
0SJv1MXFj6JZ0dzYqCe1rhqBhhywjaU/OJs120o3kTRtFnNldmFzRlQlCESp
N3q1XZKZkQ2G5gUFqXF3ZAwnx1LSCqJmqCi1SUhylUDDmixWw3mPomNp1fRk
TlwtTsqEBit0ciwl8y2On9MeLCc5OxCF6SOtHmY+R5+vkCq7MelWOqKrgoN4
jSBCrqTWtm+NAkJISSeob5FxD7Lf7bMedD5UHXs1S56C6ltfFXq/0R5hOiKR
4FB+/jpS4Qxb8Hq5HZ7I5mNeikZmardqNBraPnOzfAXJ414S52uzrOMM135Z
l8y2gUF8h1IZ9ZHpYt7vHdZO032ypWhY2XyzaHLVsbNmufRJTBAWoeVQignI
DfbL6cldjbYbzSVyjp69W05j2sIiBYt+htIfVzQMbyFM1NlqrG2HITGOFJ9n
/z2aeMaxo2nyWpNxW0EkMs2d+CAwUngVKgGhxBRZKOkd0p4w2Yk34hQhGyvu
JKuzuhHXcbi5SHDVwORJ+hEAeWOyG6SR2FqKpmEQ4ooNO18hp5dFSpBnCMai
0uNoiaMuL14SLjy5vHyRaBWAZOzV5atkMmlnN7hgJQHxWkywtkMTWvB6GGXD
iFlG1BAD6bvc9cu082XXsTk57ng1KC1Neeji4uXF7qq/Bz5iLpTk4sBVRzsw
OSGDHe3YxLeCs0vgj3/mZfvugU5njJAob6CxOSE+NLHSm/gA///BBalCVy14
tCBV61ZBj4GCnmXCiEi5kACghVXpazrUZtHs9+X5yr6UC8KScSTCjo3YflG7
3XM4MmnosePc9zdXr17yRhdXL6cno1Hyc0L/76CRPovw+HMPiz/jtQudmMIH
L0h08Nh1uSGWp5+/9JDCcv3Mg5mhBX7RwQQiMDYrbA6bykoEz59J1zRtFVtq
r2E5jhSngGN0geqpeFKAhSep1kgVY1nOWaLfkN00WnO4Wt2Gdb6CFK/xswZD
yi/soQ0vw8D4IUAnWGZJ/Vle5e+7hSfCku8dFywDytfPiTgbdJuUXZ0p2Q3S
ymVT43vWJdLGaDtP9IFGI6MU7cpqCIkjWYS8SqSVfFF0YVI4GMimSNGzx8ts
Sn1yEdgrw8SHFppY3LnQpdM+fmkp4pQFeg2mfvuQu9hQDF/XTL6ZcaSphSmC
vybJQLCHV6TjPX0I435ZZ6ztFahwij59+r6GgzbXTbRRKPb/fL8OSWUEjhdU
+QgL2u5KIb+FmSy/XE/dq8MfZ06no+9WWW7jUGXO3ecYXCVlqwD6lX0mZnDh
dk2WDAZrx+RIr0bb9Yo29XZECMBzUT4IoWSGhWac/yTdbavaeKlWYpW/0UyL
J5TDeHVC40529lDtrRdF7RbCI2dAhtl2WCGU+EIt13KezBf/UcVTlZBVvsLX
bIgfCuZaImgm3ckxMn795d+FHeCrwC9Na/mwba3v5aBpwzyP0/fcb9bV6Ozw
87GfM04IJY68KtbtG9gr2oSfkRV13KSj2U7g2J+Mk5PpMfvrx9MTe3IktQgP
JzYmr8WxjxpGEpCA7UVSYS/QiKGQwniyatbcb2/mxlfrOOPx91I7Htx67SOY
rqvB+8c3GHRcfZ8jbWdYXZgVA6WBnYsXl29CkbnNBWP7f/7XapHa+b8kr3OC
3nrfRZIcnBOU2GbXe3ne9uMCDR8+HMjn+iTntVm6jx/HGvdxkLrjjklOh0M4
9ja2PUe6lX4WlSjwE37vPD1uo9q227bDgketkRa9cS/KrhwludlGedDO2l6l
HUy7HkYLxVCFY08hbkTQKkUAmGEY9zof5ZkIVg+qbzJARM19LtyaMPqaMP7r
L//BCVxVLwNvd+alzkejv/wluaijpACvQDQjJYBWFc3zzLIKLToQgW8v/lE0
JKY1MvbhuilluylTfTbU+/hX6e33saQk+XTai2koZho8K2iXjtnOfFcWV9U5
RM0wq5q+6+CXzYZMoMT5hl0LIigx77JCWzz6z7ZuTCCTpIB+I+yPjeCU/Xd0
zMiJPpE2fTb3U1vkrAhyBV1+SGuVzWTWKMRbF1I5ZXxZ9v5JPTRVyv7J7ubx
6ckFsq5105gn8L2VZKCvMLA7wW3YiExN4Bb9/vQ3yw/q/ow7g4TEEhm6qRfe
Y4+cHk6OtrVa0SJqh7i2EGMpAlPTsTq9zZk/vLJE4qUTN8GmrAYEqUsazYKQ
20nP1Z8sRYu8yeYSdKAeD73AoaOK1GANhrNkw14i5Mk3KYkNwSmAusCx3GFy
y9Lk2uY7IyVAGYIbkspouE/bgVlA25YewuKeBlpfMovOB15Ew9tY+V8V4k7v
4kxSHh1N6bPa2VzS1Pk+JLohZoPvVrLjjUaBgh24OBW1DmFpuspoRZ7J7Haz
d4+JI5TNctXjAEE89/jFmGchnCEkINku84Z5R9WC2+GIdjSi2yrOXIW+IbTU
Vd24C9i2nDZsGy2k+7TnZprOViTDp1HGr+0a7Apn1GE+zICj0ymPNJ9Ei/Vn
hIdjTunaryWRmHcGNaSaqnqEFGsqSd1OPQ4pNvXnL/JAkixU+WF1ODOtQQpF
jI3tV4Q64YvqErCwW/m2Mnp0jgQKj3h3jMPbImPDhUCQZ58lMlwZKC0/vNkd
sOmP5EVGzo+dQd+sDOkx6KU8k0GcSFVPRFWnu97jgZM5NpKY/sjR8emvBvCJ
hk+ykDyxvrZqQNye99rJRHW0sqmdjv23OybnaKiHwBdX+VSvyw1zNLzK5MNd
di615UyCJj6/Vj7blnFuLtd7BiT4lH6Xju/fOSjkGvPJtVYcfNaM2U36LIYy
vaHJQ1nGxGI47NRKnpRT8hzbAtTefTcCsteGvQwF13qKIWcFteGAey3Bwk+4
8uEjoS85HkhrMgv+7twmqu3s6WETWfwEnw4X4YVq3qZxNSyunSdNIaO4hd0l
p+QM3Xly7+TIk81KIzyCs8pTc4NeTSSKGuZtRG5ZLaWjzx5OeNzJ29RFd5SG
/rx3Gq0ddLRrZhOKv0r2sYJ+eu5rLtoIKpq8o+Z2TwgXiYLLqeBoqDiujC1f
7HjHdYS/Afsr7eGgCmYkXvo00nU0ZzE63KbSvs13gDm9V0+csWfqjPklH/K3
jw4Q/JqbEYh3KT7ZN2+4r9uIsaculzy9M93x5tmTBHekaa2uuxOKsMg1ILeD
qDwPgx4DNewdf5PryjLCcXK80yGj0+RhQ4LlRNoGOGtCHFyw2j6RreDZMqmU
T8J7vC4EXG57sBwId4DFhJ5DD3vHnkaM21pq6c/ov8456P77rat9gBMfD3Fc
1FwknXCh5aRHZe3yFvUeD+qTDkcXVK/5KzRM77ljCrWQD3rtHSlGnnR8yS2v
wuYS4ANXjVwcpZ4BszOynKR94gXCPWmAHQGF3ibBYjrgYO1L0bbXdPhWfh2B
0qxzVvihFO5RBtxo2CyrbCm3A3ifYy6XbfnLWqQkj5slpABBq2ZzVtdN26as
9e55diPN0OQRybxR8IcC4kFDzu8Cgk1FzF5l2o2LSZg8XnrMD0UDX+29B72u
hsLWbDMiN6MtTvnbXsQsdXEKn63osoWKgOTQQ0dJswFeHp2KHNyTjgRxzFtt
fDSm+Ab+I9Ne/KhwnVVo6udyvuJd8CHNs8ABxWhzXP6pER6h1CyLUiqtERfi
RhnSJ9j/drXVy2AazybchSk09siT2/K8bJOFY/7y47noGPcoiIpzkAItz4X2
djr7j/jrSMcHlxgVITDkK8dfUQw6SS66X0bDQaQXnB3wxsNooGQ1oCgazhfQ
WbBeO1scWnd4KVF2+i4elTEAHCMNiZpOkjTgV2LsABruV5TX/XwyDLVqFs8M
rCxqclr+Ejf940Xc0OQ7wDtjzf75Dkb4UDWmKuEpFLbzklf0eFO6a3vY7FZR
s9rXxEXQpzp5Et2Dp0TpFcUTNnoc/EDlh1HvcPdEdMRJmMQJFfW2b96XUuwa
Da3RSFx7E1G3eFnLFSX+1Koie5W9q6hBAZtfR5v3u3Yl0Rw6rGo1fXG/s784
T5TD67edBogIGBeHcrG2XmGA8D1mgua+Bc/MubsoWohMUIZQgdMbO00IWILg
rkkD+M4yQh/fzqPzm8S2cuMYpyuuEOqga4eFxDEZXw+cSW4DEe4dOrNLnoyT
J3/60zj5xtyYcfJ6u6o1n/UGzMZ9NKG2ePH6OTMFXw1UcXc5Wta6OMJ2rWJ3
/tK/rKp9D32JHnZbSEicra1eUSW4kgQ6sQp0+EKz9HxVm2V7PWES+WEsPR59
JKa17gm511StnOBokd7iEEqiIKSh+PpOtnWsQ4IC0XPtSgqxbroK45Gv33Ja
rSuVG1wiWRXSZSPpaFphKT5LpN/gillJyWnPLeSvr06ex61u+jC39IST8mUY
XFDgKenofgkRSsgERhb5Rhokfvo8Ht8b1WnzZCXAcwRofO/zsDZqYIBbrrQS
c4hnQbIsAnynqBymC8ba4zk4jYC4hkMUvdWEK9V8JyQPlcCQl7coMS3q2851
jqFXIjAmlFIh17j5OdT2FlhWtko2J56P3nHlb+nqH14VVaievXWyMNQT+HJY
Vb0q4N7V2U3ryQUXJphP9RZ9rU1mWn4kz58nIeFhgX5y/250y5RcJcwt7b4/
kfMjQdtVmG2B16QFTSiAq7TKNriAZAn386jr9IXsUFSL9gPDtd6Qw6GssqBG
tBgoIp9Pb0GJjkv01lHTYoDNOPda6OiOcFwwLo4eJjOUUrTk4uLbDI45l5p2
Qqg3wyq/kTbrHie3e2OYZ9svCqdhCr3lpz25Zi0A+4v+SPQ0Fy4+ZXvlXv+6
tu7El/RncIYIL6p8IY7xU6prwqDYWoBIYL8OL4vU+3Y6pJmbelIuJjO9rA94
L1npid6SVNjMyWxSuCVkOuLDM8a+L0hKvtfkEq7slUsBIv+6hV3u1HHSbK4v
aqYBq8twJFv5Io0niCSMbdslODDrzhh17HF086pcoiN9igH9qCdzwqpLbN+I
2Wqv9sZrjkejqsQAo7RZRV4AznmU4ZJ77fyt1PGq7e0HciFGf+Vw/ZDeyEeq
rTNnf2jmNZQkuNZG0LtMWn7u7N4Fd2fnYmSZS3O+N8eLIkD3FdlJMjyzez7s
C7LP6O8ATRLJKu+bzA8BAX0mhbP9M19Mu+D2KzGQ8eIS4I6KnvQSuT3Y/UTm
wcKpH/05MF/EUDHNA2giursQJVIf6+L84OSRyBsCgxANcsVIp5zDTCE9hGqj
ZKf0Xu94Sn/AbedJA+5Qxn1L4VrSrE376nwju5PbQNpbm+eTdjpW1TK7ZFr5
3WPMJ61jL53ve1NtA5LnwsAtdwTh/o4JbVXYL2VcU2xmrxtoXqILL4x/she7
81laVqJUp+xU8/2etG0Yqx8GiO8Q6Ixb4vU3vtl/53n27fbekyW3YW7UkdPs
T4tjNdnfZ64wxb2j730tp21d4xkZWBeOvQfDtAr/FEQRzzXvue31S3WrY+by
N/x88qiBROu4bp0pU5slIVqLWFF1QVwwnx2P78j18QFPrC50UmWqtw9IGWAe
lZveihbwTleksflfMJFm+vWamz6L3l0SMTb1BckJaBGlzVBFT7mt4/k5tdUy
hq8xyVrJiBYSvrYW7mkh172aeJz9dw3icoPAzB4IE9kPAs6jFFjvsDpC4Vll
HOrNNyVfwj/bapG3vZG1dbhsrpVt7oaGbZ+OvLO6IX1foUolpQAKkPlfVfBV
VVGJ/Wbl0IitN99zhATZ1olU7taP3BfJgfuuQgG0d0BJrZn5jSE1IDfq8tl8
eJb1b2yJx6s5lpEKPRrrhOLSGRge5+YPtLz0R8fI84VcsNuxh64h5xBuF1Fe
kMy09l/LHtew/X8juS6r/5vW/7bzjv89l+TpPON/TOd/ARfQx0rSaAAA

-->

</rfc>
