<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.35 (Ruby 2.6.10) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-hoffman-random-candidate-selection-01" category="info" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.16.0 -->
  <front>
    <title abbrev="Candidate Selection">Simple Random Candidate Selection</title>
    <seriesInfo name="Internet-Draft" value="draft-hoffman-random-candidate-selection-01"/>
    <author initials="P." surname="Hoffman" fullname="Paul Hoffman">
      <organization>ICANN</organization>
      <address>
        <email>paul.hoffman@icann.org</email>
      </address>
    </author>
    <date year="2023" month="July" day="10"/>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <?line 33?>

<t>This document describes a process to randomly select a subset of named candidates from a larger set of candidates.
The process uses an unpredictable value that can be trusted by all candidates.</t>
      <t>This draft has a <eref target="https://github.com/paulehoffman/draft-hoffman-random-candidate-selection">GitHub repository</eref>.
Issues and pull requests can be made there.</t>
      <!-- TO DO

-->



    </abstract>
  </front>
  <middle>
    <?line 45?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>It is common to need to pick a subset of people from a larger group using a random selection method.
This is often done on an ad hoc basis, but for some selections, a more formal process is needed,
particularly if the people in the larger group don't all trust the administrator of the selection process to be unbiased.</t>
      <t>This document gives a simple, understandable process that can be done for groups and subsets of arbitrary size.
The process is purposely transparent and reproducible.
It works with any group of entities that have names: people, companies, locations, and so on.</t>
      <t>As a simple example, a future leadership committee will have a fixed size.
The members of the committee will be selected from a large pool of volunteers. 
Someone is in charge of collecting the names of the volunteers and making a randomized selection among them for the leadership committee.
They can use the process in this document to make that selection in a way that is both provably random and understandable.</t>
      <t>Due to the formatting used in this document, the reader is encouraged to read the HTML version, although the text version is still usable.</t>
      <t>See <xref target="I-D.thomson-elegy-vrs"/> for a similar method as described here.</t>
    </section>
    <section anchor="overview-of-the-process">
      <name>Overview of the Process</name>
      <t>A few terms are used throughout this document:</t>
      <dl>
        <dt>ceremony:</dt>
        <dd>
          <t>The act of collecting names into a pool, making a random selection from the pool, and publishing the entire process in a clear and transparent method.</t>
        </dd>
        <dt>ceremony administrator (CA):</dt>
        <dd>
          <t>The person who performs the steps of the ceremony.</t>
        </dd>
        <dt>candidate:</dt>
        <dd>
          <t>A person, organization, or other namable entity that is possibly being selected during the ceremony.</t>
        </dd>
        <dt>candidate name:</dt>
        <dd>
          <t>The name used by each candidate in the pool.
The candidate name is expressed as a string of Unicode characters in UTF-8 format <xref target="Unicode"/> <xref target="UTF-8"/>.</t>
        </dd>
        <dt>difficult-to-predict string (<em>D</em>):</dt>
        <dd>
          <t>A publicly-visible string that is only known after the pool of candidates has been closed. 
(Note that this is different from what is normally called a "random number" or a "random string".
True random numbers or strings are designed to be nearly impossible to predict, whereas <em>D</em> in this process has weak but sufficient randomness.)</t>
        </dd>
        <dt>selection size (<em>S</em>):</dt>
        <dd>
          <t>The number of candidates that will be selected from the pool.</t>
        </dd>
      </dl>
      <section anchor="basic-steps">
        <name>Basic Steps</name>
        <t>The steps in a ceremony that follows this process is given here.
See <xref target="specifics"/> for more detail on the steps.</t>
        <ol spacing="normal" type="1"><li>
            <t>The CA starts the ceremony by performing the following steps at the same time:  </t>
            <ul spacing="normal">
              <li>Announces an end date for when the pool will be complete.</li>
              <li>Announces a later date on which <em>D</em>, the difficult-to-predict string, will be selected.</li>
              <li>Announces the source where <em>D</em> will be found on that later date.</li>
              <li>Announces <em>S</em>, the number of candidates that will be selected.</li>
              <li>Opens up the pool of candidates for submission.</li>
            </ul>
          </li>
          <li>Candidates submit their names to the pool until the closing date, and the CA puts the allowed names in the pool.</li>
          <li>On the closing date, the CA publishes the candidate names from the pool with the hexadecimal value of the UTF-8 encoding for each candidate name.</li>
          <li>On the date for selecting <em>D</em>, the CA gets <em>D</em> from the announced source.</li>
          <li>The CA calculates the hashes used to make the selection.
The CA concatenates each candidate name with <em>D</em> (name first, then <em>D</em>), uses the SHA-256 hash function <xref target="SHA-2"/> on the resulting string, and records the value of the hash as a UTF-8 string.</li>
          <li>The CA arranges the set of hash values in alphabetic order from highest to lowest.
They then select the <em>S</em> candidates from the top of the list (that is, the names whose hash values are largest).</li>
        </ol>
      </section>
    </section>
    <section anchor="specifics">
      <name>Specifics for the Process</name>
      <section anchor="start-of-ceremony">
        <name>Start of Ceremony</name>
        <t>Much of the trust in the selection process is based on the CA not being able to influence the selection.
If the CA can choose, or even influence, the value of <em>D</em>, they can help establish the outcome of the selection.
Similarly, if one or more of the candidates can influence the value of <em>D</em>, they can increase their chance of being selected.</t>
        <t>To make the process trustworthy, the value of <em>D</em> must be unrelated to the CA or the candidates, and it must be selected only after the list of candidates is completed.
The most important things for a ceremony is that the source is announced before the ceremony starts, that all participants and viewers of a ceremony can find the source on the date specified by the CA, that all candidates believe that no candidate can influence <em>D</em> on that date, and that everyone gets the same value when they go to the source for that date.</t>
        <section anchor="use-of-the-ftse-100-index">
          <name>Use of the FTSE 100 Index</name>
          <t>The process described in this document uses the closing value for the FTSE 100 Index on the particular day selected by the CA.
The FTSE 100 Index is a long-established index based on 100 stocks; it is sometimes known by its stock ticker as "UKX".
A common open source of those values is the Wall Street Journal.
The daily closing for the FTSE 100 Index at the Wall Street Journal can currently be found <eref target="https://www.wsj.com/market-data/quotes/index/UK/UKX/historical-prices">here</eref>.</t>
          <t>Note that the location for sources of daily closing values can change over time.
The CA must check that the intended source is still active, and still available when the ceremony starts.</t>
          <t>Values from the FTSE 100 Index in this procedure are always encoded as four digits, followed by a period character (U+002E), followed by two more digits, such as:</t>
          <artwork><![CDATA[
7623.10
]]></artwork>
          <t>If the FTSE 100 Index ever goes above 10,000, the encoded values would be five digits, followed by a period character (U+002E), followed by two more digits.</t>
        </section>
        <section anchor="other-public-sources-of-randomness">
          <name>Other Public Sources of Randomness</name>
          <t>Although the procedure in this document uses the FTSE 100 Index as a public source of randomness, there are many other sources that can be used by a CA, as long as the source chosen is trusted by the candidates.
There are many other stock indexes with enough stocks in them to make prediction of the exact value have less than a 0.1% chance.
Having said that, using a future price of a single stock is probably not a good public source of randomness because candidates are likely to trust the variability of that less than the variability of a basket of stocks.</t>
          <t>Some systems that use public sources of randomness use the results of an unrelated lottery, such as the type of lotteries that many countries hold.
These are probably trusted by candidates not be able to be manipulated.
However, lotteries normally are a set of numbers between 1 and 100, often five or more such numbers.
If the CA uses such a lottery for this procedure, they need to specify how the numbers from the lottery of the chosen date will be combined, including whether or not the numbers from 1 to 9 need to be preceded by a "0" character.</t>
          <t>There are other public sources of randomness, such as cameras pointed at lava lamps and so on.
These are probably not good choices for the type of ceremony described in this document because the operators of such sources are not publicly trusted entities.</t>
          <t>Note that some sources of randomness may have less randomness than it appears at first glance.
There can be hidden biases towards certain values that are not obvious when looking at a small set of recent values.
If a CA chooses a source for <em>D</em> other than the FTSE 100 Index, the data from source should be measured over a long period of time for unexpected biases toward values that a candidate can use to improve their chance of being selected.</t>
        </section>
      </section>
      <section anchor="name-submission-and-pool-creation">
        <name>Name Submission and Pool Creation</name>
        <t>The CA is the sole arbitrator for whether a candidate is allowed to enter the pool.
The CA is also the sole arbitrator of what name string (in UTF-8) the candidate can use in the pool.</t>
        <t>The order that the candidates join the pool does not affect the outcome of the selection process.
Said another way, the pool is kept as an unordered set of candidates, not an ordered list of candidates.</t>
        <t>It is a good practice for the CA to have consistent rules for the names, such as only using ASCII space characters (U+0020), only one space between each name part, no trailing spaces, and so on.
These rules can be more difficult when the candidates are company names (such as whether the legal standing of the company such as "Inc." is included), but making consistent rules is not that difficult.</t>
      </section>
      <section anchor="closing-submissions-to-the-pool">
        <name>Closing Submissions to the Pool</name>
        <t>At the closing of submissions, the CA verifies that the number of candidates in the pool is larger than <em>S</em>. 
If the length is the same as <em>S</em>, the rest of the steps are unneeded (and could be confusing), because all candidates will automatically be selected.
If the length is shorter than <em>S</em>, the ceremony stops because there are too few candidates.</t>
        <t>The method for publishing the set of candidates is determined by the CA.
<xref target="namedisplay"/> gives an example of how a CA might publish this information.</t>
      </section>
      <section anchor="selecting-d">
        <name>Selecting <em>D</em></name>
        <t>On the day that the CA announced for the selection of <em>D</em>, the CA goes the the source they announced and gets <em>D</em>.
After the CA retrieves <em>D</em> from the announced source, they encode <em>D</em> as a UTF-8 string.
In the example of the FTSE 100 Index, a closing value for the day announced at the beginning of the ceremony might be "7623.10".
This would be encoded in UTF-8 as the string of characters whose hex value is 0x373632332e3130.</t>
      </section>
      <section anchor="calculating-hashes">
        <name>Calculating Hashes</name>
        <t>Different programming libraries have different requirements for the input to hash functions.
<xref target="sample-code"/> uses the built-in <tt>hashlib</tt> library in Python, which requires that text strings have a specified encoding.</t>
      </section>
      <section anchor="selecting-s-candidates">
        <name>Selecting <em>S</em> Candidates</name>
        <t>The process of selecting is simply taking the <em>S</em> candidates whose hash value is highest.
This can easily be determined by sorting the text representation of the hash values in descending order because in UTF-8 and ASCII, digits have lower codepoints than letters.</t>
        <t>To complete the process in a transparent manner, the CA should publish all known data for the ceremony.
This includes <em>S</em>, <em>D</em>, the hexadecimal value of <em>D</em>, all of the information for each candidate, and the full list of selected candidates.
<xref target="namelist-out"/> shows an example of what this publication might look like.</t>
      </section>
    </section>
    <section anchor="handling-ceremony-process-issues">
      <name>Handling Ceremony Process Issues</name>
      <t>Ceremonies don't always go as planned.
For example, after a ceremony completes, one or more of the selected candidates might be removed from the selected set due to voluntary withdrawal or established rules (such as no two candidates being from the same geographic region).
In such cases, no new ceremony is needed: the CA simply selects the next candidate(s) on the list that is ordered by hash values.</t>
      <t>Similarly, if after the selection process is completed, the size <em>S</em> of the selected set needs to increase, the CA simply selects the next candidate(s) on the list that is ordered by hash values.</t>
    </section>
    <section anchor="performing-a-weighted-selection">
      <name>Performing a Weighted Selection</name>
      <t>In some selections, the CA wants to give candidates a weighted chance of being selected.
For example, a legislature might select its leadership randomly, but weights the chance of being selected by the size of the membership of the political party in the legislature.
The CA can create the pool with multiple names for each party, giving each name a number.</t>
      <t>For example, assume a legislature has 27 members of the Orange party, 20 members of the Yellow party, and 7 members of the Green party.
The CA could create a pool consisting of the names "Orange1", "Orange2", ... "Orange27", "Yellow1", "Yellow2", ... "Yellow20", "Green1", "Green2", ... "Green7".
The selected party would be the one whose name appears in the first name of the list of hashes.</t>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t>This document has no IANA considerations.</t>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>The value <em>D</em> used in this process is explicitly not cryptographically strong; in fact, it might provide only a few bits of randomness.
The FTSE 100 Index might be predictable after the third digit from the right, but not the last three digits, meaning that they only have randomness of about 10 bits.
The value of <em>D</em> is concatenated into each candidate string before the whole string is hashed, so incorrectly predicting even one character of <em>D</em> completely changes the value of the hash for comparison.</t>
      <t>A cryptographic hash function like SHA-256 has the property that changing any individual bit of the input will change every bit in the output with a 50% chance, regardless of the position of the bit in the input.
Appending a small amount of randomness at the end of the input is just as effective as prepending the randomness at the beginning of the input nd just as effective as mixing the randomness throughout the input.
The procedure in this document appends the string from the FTSE 100 Index at the end of the candidate name because it makes viewing the pre-hashed result easier while still causing the maximum change to the resulting hash value.</t>
      <t>A candidate who has a lot of leeway in choosing their name can possibly increase their chance of being selected by as much as 0.1% with such source of randomness.
The procedure in this document assumes that candidates have very little leeway in choosing their names; the CA must accept each name before it is put into the pool.
The combination of the limited leeway for choosing the names in the pool and the necessity to predict <em>D</em> exactly in order to gain any benefit means that <em>D</em> needs much less randomness that a random number that would be used during encryption or authentication.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="SHA-2">
          <front>
            <title>US Secure Hash Algorithms (SHA and SHA-based HMAC and HKDF)</title>
            <author fullname="D. Eastlake 3rd" initials="D." surname="Eastlake 3rd"/>
            <author fullname="T. Hansen" initials="T." surname="Hansen"/>
            <date month="May" year="2011"/>
            <abstract>
              <t>Federal Information Processing Standard, FIPS</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6234"/>
          <seriesInfo name="DOI" value="10.17487/RFC6234"/>
        </reference>
        <reference anchor="Unicode" target="https://www.unicode.org/versions/latest/">
          <front>
            <title>The Unicode Standard (latest version)</title>
            <author>
              <organization>The Unicode Consortium</organization>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="UTF-8">
          <front>
            <title>UTF-8, a transformation format of ISO 10646</title>
            <author fullname="F. Yergeau" initials="F." surname="Yergeau"/>
            <date month="November" year="2003"/>
            <abstract>
              <t>ISO/IEC 10646-1 defines a large character set called the Universal Character Set (UCS) which encompasses most of the world's writing systems. The originally proposed encodings of the UCS, however, were not compatible with many current applications and protocols, and this has led to the development of UTF-8, the object of this memo. UTF-8 has the characteristic of preserving the full US-ASCII range, providing compatibility with file systems, parsers and other software that rely on US-ASCII values but are transparent to other values. This memo obsoletes and replaces RFC 2279.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="63"/>
          <seriesInfo name="RFC" value="3629"/>
          <seriesInfo name="DOI" value="10.17487/RFC3629"/>
        </reference>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="I-D.thomson-elegy-vrs">
          <front>
            <title>A Verifiable Random Selection Process</title>
            <author fullname="Martin Thomson" initials="M." surname="Thomson">
              <organization>Mozilla</organization>
            </author>
            <date day="22" month="June" year="2023"/>
            <abstract>
              <t>   A process for performing random selection without bias is described.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-thomson-elegy-vrs-00"/>
        </reference>
      </references>
    </references>
    <?line 244?>

<section anchor="sample-code">
      <name>Sample Code</name>
      <t>The following is a list of figures for an implementation of the procedure shown in this document.</t>
      <ul spacing="normal">
        <li>The Python script in <xref target="the-program"/> implements the algorithm from this document.</li>
        <li>The file that contains the list of names is shown in <xref target="namelist"/>. (The names are the winners of the Nobel laureates in Literature for 2016 through 2021.)</li>
        <li>A file showing the UTF-8 representation of the names from <xref target="namelist"/> is shown in <xref target="namedisplay"/>. This file is suitable for showing to the candidates.</li>
        <li>The file that contains the <em>S</em> and <em>D</em> on separate lines is shown in <xref target="selectioninfo"/>.</li>
        <li>
          <xref target="namelist-out"/> shows the result of running the program with that file as input.</li>
      </ul>
      <figure anchor="the-program">
        <name>Example Python code for this procedure</name>
        <artwork><![CDATA[
#!/usr/bin/env python3

# Program to randomly select some candidates from a group
#  See draft-hoffman-random-candidate-selection

import hashlib, sys
from pathlib import Path

# Helper function to turn a UTF-8 string into its hex representation
def hexify(in_str):
  return "".join([hex(c)[2:] for c in in_str.encode("utf8")])

# Sanity check the input files given on the command line
if len(sys.argv) == 1:
  exit("Must give the name of the candidate file, and possibly " + \
    "the selection file, on the command line. Exiting.")
candidate_path = Path(sys.argv[1])
if not candidate_path.exists():
  exit(f"The file {str(candidate_path)} doesn't exist. Exiting.")
try:
  candidate_f = candidate_path.open(mode="rt", encoding="utf8")
except:
  exit("The candidates file doesn't appear to be in UTF-8. Exiting.")
candidate_lines = candidate_f.read().splitlines()
# See if there is a second file for selecting
if len(sys.argv) == 3:
  run_including_selection = True
  selection_path = Path(sys.argv[2])
  if not selection_path.exists():
    exit(f"The file {str(selection_path)} doesn't exist. Exiting.")
  try:
    selection_f = selection_path.open(mode="rt", encoding="utf8")
  except:
    exit("The selection file doesn't appear to be UTF-8. Exiting.")
  selection_lines = selection_f.read().splitlines()
  # Extract D and S from the selection file
  S_str = selection_lines[0]
  try:
    S = int(S_str)
  except:
    print(f"The first line of the selection file, '{S_str}', " + \
      "is not an integer. Exiting.")
  # D_str is the string for D, D_hex is the hex version for display
  D_str = selection_lines[1]
  D_hex = hexify(D_str)
else:
  run_including_selection = False

# Get the candidates information
C_info = []
for C_str in candidate_lines:
  C_hex = hexify(C_str)
  if run_including_selection:
    C_with_D_str = C_str + D_str
    C_with_D_hex = hexify(C_with_D_str)
    C_with_D_hash = hashlib.sha256(C_with_D_hex.encode("utf-8"))
    C_info.append([C_str, C_hex, C_with_D_str, C_with_D_hex, \
      C_with_D_hash.hexdigest()])
  else:
    C_info.append([C_str, C_hex])

# Print the results
if run_including_selection:
  print(f"S is {S}")
  print(f"D is \"{D_str}\"")
  print(f" {D_hex}\n")
  print("Candidate information, sorted by hash of name including D")
  selected = []
  # Sort by the hex of C_with_D_hash
  for this_info in sorted(C_info, key=lambda a: a[4], reverse=True):
    # Decrement S for each name that is selected
    if S > 0:
      selected.append(this_info[0])
      S -= 1
    print(f"{this_info[2]}")
    print(f" {this_info[3]}")
    print(f" {this_info[4]}")
  print("\nSelected:\n    " + "\n    ".join(selected))
else:
  for this_info in C_info:
    print(f"{this_info[0]}")
    print(f" {this_info[1]}")
]]></artwork>
      </figure>
      <figure anchor="namelist">
        <name>Sample name list file</name>
        <artwork><![CDATA[
Bob Dylan
石黒 一雄
Olga Tokarczuk
Peter Handke
Louise Glück
Abdulrazak Gurnah
]]></artwork>
      </figure>
      <figure anchor="namedisplay">
        <name>Full information for the names</name>
        <artwork><![CDATA[
Bob Dylan
 426f622044796c616e
石黒 一雄
 e79fb3e9bb9220e4b880e99b84
Olga Tokarczuk
 4f6c676120546f6b6172637a756b
Peter Handke
 50657465722048616e646b65
Louise Glück
 4c6f7569736520476cc3bc636b
Abdulrazak Gurnah
 416264756c72617a616b204775726e6168
]]></artwork>
      </figure>
      <figure anchor="selectioninfo">
        <name>Sample selection information file</name>
        <artwork><![CDATA[
3
7623.10
]]></artwork>
      </figure>
      <figure anchor="namelist-out">
        <name>Output of running the program on the list of names and selection information</name>
        <artwork><![CDATA[
S is 3
D is "7623.10"
 373632332e3130

Candidate information, sorted by hash of name including D
石黒 一雄7623.10
 e79fb3e9bb9220e4b880e99b84373632332e3130
 f2e0d3bbd8eac635d799702bead0fbdf07ff79ef94a261789de50e81adb38a13
Louise Glück7623.10
 4c6f7569736520476cc3bc636b373632332e3130
 a54e282cbaa1f29543cd13d9a29e07e3a38413360172b722f8259c2baa3c38dd
Peter Handke7623.10
 50657465722048616e646b65373632332e3130
 8bb3bc197c6462b033e4d8e8cf703b13b1c55172572a85d56c639db5c57d3866
Olga Tokarczuk7623.10
 4f6c676120546f6b6172637a756b373632332e3130
 56166c4e0e6ca027f4150bac5ce83fbf5652e440214fd255308472fed9f8fb1b
Abdulrazak Gurnah7623.10
 416264756c72617a616b204775726e6168373632332e3130
 340413dc6b2574f5ddc5e88e1c986a229d9defccbae249789b07a5d2337981ff
Bob Dylan7623.10
 426f622044796c616e373632332e3130
 05eb403f4f59f5a7b21f5e5a4e8dbfbac59344fd5e8708ab618b5e2ed27a52de

Selected:
    石黒 一雄
    Louise Glück
    Peter Handke
]]></artwork>
      </figure>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA7U8224jyXXv/RVlDgJLMEnxTkrOGJGlnZ2J7Z2BNRs7mB3I
1d3VZK2a3XRfpOEKMvKQL8hrHvIReQmQvOVXAgT+i5xLVXV1k5IXQbKYxZDd
dTn3O2cwGASVrlJ1IW70dpcq8VuZxflWXMFfOpaVEjcqVVGl80wEMgwLdX9x
7GUQ51Emt3BOXMikGmzyJNnKbFDQcYPI7hiUdsdgNA6CsoIXtzLNM9hZFbUK
4PhpEOhdQd/LajIanY8mwd3DhXiXVarIVDW4xiuCSFYXQmdJHpR1uNVlCYd+
3O/goHdffXwTBLKuNnlxEYhBIAQsLC/Eh6F4y4DhI4b3g6xT/2lerOGEq8tv
vsFvait1eiF2sGhocPobDdhkQ1gXBFlebGWl7xVcI27eXg4mF+K3b64Wk+kM
Hnyb6SiP6Z0QhswfN8o+FzeIvSxicZICacpK3KsCsTilDQ5++o/A8jdf5VmZ
F5Wut3y8LNYKCLKpql15cXb28PAwrHkpgnpmji7P+KozBO/jm8GK4J0uJudA
dKClh867wfUQINiWwCtg2no/uC/KiyAYDAZChmVVyKgKgo8bXQpgfr1VWSVi
VUaFDlUppNgVeaTKUlS5YClI94K5Dy+BZaWqRJ4QF2LhBKQUSQHyJ0WKCBXC
rGreDwOkgj28LvGuTNTZrlCxjioZghDfy7RWotrICjeKULEswT3hXsg0bR1n
UECZEhuJkH/6Wldv61AUapeXusqL/ecTS9e1rjZ1OIzy7RkKhTJCcfZjxf50
GLwry5qgjsWuBmAK9Uf4XpUW1q2MEXhVKADur38C5P74Xly/R8r/gsm/1XGc
qiB4hTpR5HHNOhi8qwSgArBtQV2B7pkClOHvnY7uWkTfqRyVvU3qdZHXO6Co
ztbwkFEQDnCxVSAN8ZDJBX/ypFIZsD5TAt4C6DIWmzwSoSx12RdhXQmQJ1Hm
W9WcAi+k2OaFEiRrqWMkHIjQqrgf7CSIdVQDVCAxOkFSWIB1Rt9aAAMEP62I
q8RkWiDjrc40yihwDxHGhw0qnmgCvess1LJU8bArzWvQBJSHkkxjHxbGoEWk
tChl7hRPzogciDbBxkxmsiPBhCxCDUAVoAn6B9UWZbh5VxcgcQrQhkVZCYRA
MPAMEEXis4aLh8jnh7y4K8UDSCO83xtSwA2wQVdaGag28l6RhoHxYxL2UTx2
MoMlfZHmYEQNVxDQHDgJVLhskBbqi2TkpUjqqgbGpUoiGTZ6R5Kmq0opAATo
T7fBOv0FxK5BcKu2IWywbOhsCi1jYI8vj2KX5ynuuc/TGiw/nDAUwQ1IE5IY
RTAT0YZWon3IU2IuiC7eQSjbC5sDCMutvPMlHMCMPdGQoDp0xpbYSNJ2BGHC
bE9cBxPEImr5iDLqixFIGdxp7FFzE6yT4kHu+TlsCHNgJpxyD9K1t/qHELfl
Dhh0jdYtp1vZZBPiAEh8cHufVhWEAl6isiivC7lmw4DPacHbj7/5tXU/wOsU
VL1eb+hVpb44z4QnlBWyrS4NLDfAyMfHo87i6YloSLKkganGhAgwstZRgMlg
O/dKvIc77rV6sGz7wPQEcRQJPAXfvwUGggASntWmQAjzumrjCw4qghOBi/uL
gD0m+KmOiLB46AwoIEnO+l2p8PhEQkkMpoVstsNUg0AYaUOdK1oCIEUEUlPQ
Yl+VrQ11MHYs1cnV5akFewckh+sfNjl+RD6XbMYqtWuUyZyDR1pngwdcmu19
DBxA238gPcdvIkfXgiQgI0b2opFBMD+lRvELFWLnNDOuC4vtsSs5ljKA42dm
EnhbJaNN426tAUdSsnFoH0ES+gVceYnbyRkDafBmwNdGPqj1wFPUZziOohij
BiCIZhGIHnzGV09PAGiskwRdSjWo8oGJFOzJJ7fXt6eGZsjXKAXh1UgFZZdY
6uQZUOYuyx+Aw+D9CodLO0ShMCJU4B2jNEfHIoKTb/LKWIDK+E+ESZFUkIQ9
mDsopExTtC0gr0AE0TMimdVoR3uCVMo+ZAh7QEyInkVrZYkr+T0rDiidXmes
+WB2M8UedmuYTjbFEKcP8ABwgAdQxxkVK+GI34OSd+TkyxppqxERvj6DJcNT
CO6dCqEvADrf3DrhZgg7ZCPyHHcKjdAEr16JX0KIEUH4DIoQkBSxTrDiWc2i
0xJQ+vyhbIMPH9G1Z8b2sAUrdyrSgIi1WhSkxKqC+B/jG6d5AMF4SDhcXcIT
iFXKllqg0Bt9tRrDQJA+EZySg5QSBb7SqDgYwg/EZZbldRZxRKvAdJBeIDDA
jEZxHInQk6eqAhS62wVG+QXvJxuiQQuBk+wNXtCG/gH9Dw4n0MGHRIplhCTE
7kpgUcz0AiwbKA5OAWFgYH68JJgz3u9UBoH/7jnlo6DTZYTMrqvmNb0iBujC
OALjSuksiBSA4cRQ0F3kGW5js18x03e1YblEtoKEWnfiSylc+j47co47gzyI
IWfbCJZtkecgD79tIBiLQUoxbuYUx3gBtoHo2mO8CSnQsbt4bgsqJ1pGS2Gb
kw+Ab40BKzLWgSIN62LD/JYegK3CgL0y+IB9QNTYUbvox4vA2fbjxjyDEFRl
tPUIzIw8AnJCXxMNgRBBmeHT0z5ngHg4pd/zBV0OsWrGpufxkZ6DUhslBt8C
ks/KyBLP8XWUFzEf1CItnUaOiInMm1rIywLs3tpqBidYtI0OYrOU7jYyVJDW
gE3GSIzIutHrDab9QCIUpLIyUSVhZ1JlPBN05SBBpsgs31kwQZgqcWL8VN+L
gSF8KFULHPQEFGGX1SkFXjfW8rmI14ReQjy+aswiWd4bNHh46ZUxd0Hwmxq4
ZsDgDMxowmG+hUEuZlqWF0C8LK9MrCGNB9JZAnCCpHVF5l1iN2HYHW1ywIwi
GoW23G3rt5lopZqD9Y1KdwIwl6R+tBJCyAhz1G6WCI6Bw9Z038c0lBJd4xds
9NUwBQ9vQ/4MBDqL0K8qY4EgmMENsKwdcWEy6mmOyzWRwJD7VZv9IZ5ii9Sn
jLZQqI2xNW1AM8PaBmQWfDCFdpfzuBTmNAEOyVbbxnKVgZxPbJK8HBkPoUQB
eQoFORh1cPjvXKMubQjkXIguPcsSqgSp23Kn7GL7vBGzfC4PaMhhK07oMGkw
+aV3F9I60cZqm8tyz/YZweYolWnkXeLhGqpUg4Txuyz3DFSb58gA6/h8nwFf
YXuxR/khs+p8P/PO+nZI4nPLLwMv66M5j0KfV+Lb0onfm483X4nxaCTeQYL4
JWhVE5oE6yAfdRbTeiaGwyp/+1RLs6YoA8DsG1lxxGMx6GzWFItARj1wOkcQ
4TtnCXB5WeXRXflzFEdMMUEfMTAqTbANl+iq5EUQMUV3IJlgk3vf/ur3EPle
2opXvkO7aViNJELTZ40wo/w7ZO5NVSgw038LKzNp8pAY4ry9o8gztDCie+QQ
Nkl1gfE8ZU8mEvqEEVJTPcSq7EP5PZUPt7K4U9UAWCvP/lhDelCeEWHOvv0V
/Pn9GfAMUkINrhViNA1MRWvtpxHK1W9MoQ0RJzVoI2MowEYTPZXI71G19VY5
P0w2INoopK89HfJjCEKdw29yf0i+IHw2NSN+cg83kgF3kWpHgQH2v2M4nPvq
yoqfZMRYaUJPJdMHueeyRcwpIRAWZFCvNVoFDq1NYRfjbp3HTYIoTr792Wg0
+eq0vRAMqAnvzSklujCJxe0//elPwXIxmQ7HI/psnU4HVlRoUFf0piEQE970
R6NR31QDGFRD9oe8TmMSCKDZ/yncxiC8p3z+A6Wu4qYRgt+6ZCwILv2CTkPg
501DV/CpoM9XNArWpHuEueHYFuuRXGSwIulXSG1hQJLBhYPRPODfnt2LUHOp
2OTV7dveiyT3yI1kIkiPlCmPqowwZwtjYpOtC0tN+oNKZKwqBNkQd7FNpIpm
aoq8mF2OhuO/Mj57GLyV9+SypWY733fFc1MqJb1lv4QvqKBA8JGUh1TnwwBI
gizl8UsEBspFEiuNnmOiQE7fUbk494rf97LQMtQp1nUIJ8zEHA5HVki0xXcc
uDKZsK5Hdfs9UH9rGIjXt0AsOzDaSiiH2OyQMy8YSfMKhHvv9I1Dxv2OcOWX
rnJNPI3Ahlb0bJOnHGiUzHJHPk9APNJwVOlCSmqqZHpHKQqc8xY0CjS4713q
yi5kdGwYbwspELo/YD1nTDZvjKrO7Q9SahsVElpmix+uklYxzpYGxsP45s7E
iLZnw/HJHjB/8PJkz3zak2wsyjpDgYlXIAh1puI+Rp1pTckhGGjSFLgfqXRw
9BgvP3dghKQiEXZmWGt7o15jqKhlYtWQNfAlCWk4H0H8U0isN6KXiQUVC+6x
brG1XRNuRhxhOYJN+gIoo1903tqKknM9LwRBVp8oAwD7i+VXgpYgtNDjvXid
LQw6cbNtlpZL5lbXUdXYQszUGBPvBekkRD1yt1OyoNoQ5bhinbKRYfoa47nR
cQxMpn4V1i0eJCatgG8lAUPjcTiINZDn4b3O65L9cprnXOWmFizKuxV0ZHFm
rB7LrqREi5IsKsM2ESkFusRrZ1Da7qJvo2zJImX2lhvrCreQAIHExxyIcIRo
nSCKs97yTXWmvuxMnOmj3Ma0E5ETV3PMRYr8/kekWeBCv8Fo/MbVjEj+PmDp
5QpSNW6tmjhJWz+VKtvMw7q9qdERUXx4MP41/htAUplfMx56Z8q0zI8eDABT
YZiKH7Zgbavep53ikcW+XYnCW7jo4CI7z1J+n3urQT2M8ZRJYqsPz+XHNtWA
PBkdoMxYJiBc6zcHAm53aldRAIGugAChhlsnpezztZmwKw6zzqFtcFt3iTZI
R03mArQEKpOaRXlWwgFUlK5Tz0ZQVaSxQ5Tqste+vLl69w7MroxaLQYOxUYQ
itFazOJ4jfUJVLUi/mCOhHhgywecK4oZrmx3V9mgMVC24c8xnSnKeiF029dz
43ZvCjsnFgUrd+QT1BpyEWoVmqYJnWM22h29d1k07HEPFd2Cik+5X2+aYAfE
06XxFZiKWjhZda5MktFoj6unogZB6Fm1ck2ysG6pqzeCHcBk3KsPHK0L+7IK
QJk5ADJDtze3Q2GdbqqyNYR+2ku2pVdzLhTLVuVaB9RXzHgCQZwguyJrrIAa
CUkIEsl4jU6JgPytrKscp2ciCiNadesDqMAUFpUHeb+bMuW70ndRxsNWeU69
0M74irKNVRTyTm/yQNGo9aSwm4qRgZ+/Pz7SLI4ud6ncPz3Z8YfMzgBQXROi
EfIMW73eVPYy9q1ufoiq7lgs9EvLQeAqz/uGy1g+deUfq6ONifGqZ1SVzk16
4uUKFDQ1ZyDrbPF6GFy6IhbsLhTGkojTi4VtE4dxGkdLj5R/32U2V7CUOeYG
5TMlFiSBBzKTIlRrnWW+2lpxYFqDRPVMatozUzgut7Q5p+uH2nzKNU89i2ZK
wpDWMVRw0OjLdDldTCfT6URNx9OR0W1T1ccj3lJJPwiuXdcSzP+6kFvqcqU6
LCQH6vJeea1NnG3SgIbCYp1FX2e7umJT7ZXqS5TAkug5MC1cl46GtU6rAWD3
B9wCt/3BXLlHlD/sQfqzvmlzmSutKcHpBdsENQMqTenPtkwO5PXm1usZtStr
aMHcQtRlHJQBkWbbWR3W67sleNxkSv+Gj+gHICTSbDfa2klDfuZgQgZHgcCF
ZJX0s9ZOwwEjX2WcAPl+a0waCQFFIZfXN+UEE59CsALhEtCfQnMToKYKc42S
i9K28tsUE+zQQ2vUAQQcUyyjfCb4swYDDSjX9jhMtNVpN1vAU2bsnozldpbg
aB+M3uKxhiCeNTrSEGsaegmO4Nlgw5U1fQvLdhGXDCAWArEEXB66hvHBtfY5
V+CLWXMx7KZMHegXvAJVymKKDmwPxfVbeDIwCMwL1Cc73UZVsHWOig3mGUgL
buUNouXms8jU+QVww6ayf6x1cQTTxs7gCfd+692tRncS8/QRj1WhCmKZJS7k
A7ADIfIqvRw+uFAFQ6OHvF1cp3Kruwc99VqhYdmBMgMgazMzmXH0EmEWQDFW
hn7Qayyw775w8sZayYCzEclQe9zdJ+WprW0T992Mh4k/w72vU1gQaXWDmvbI
0TaX646wxNIABJqFLvWRngh5yZ0vbg31//+QAPH70AwnSPE7hTyHlc0kN9G6
O7RpAHqgpguAirFBKz4VD/ak51OttrxisKpLcC9YKWPRMz1PNEbe0J2dHuYY
le8xDYxnrrJRDZHdkNxMIeKB5skuTzWFaxS4791waQNW06bG2jnmgqqJP6m4
uMVeMpoA07i3hoZO7COZEK4mRZAmrgVWtKkBmk+vfaLgmM1k2Z2ffE/dZnvD
ZNR9//cKM077Hs3cwRFfF5i40AqvE4/22SDJU3E2EfBiEkazxzCMe337cQIf
h8Oh+7rEVwzJuPnoVpmvI3xFwIzdJ7eGvi17DKDjLLPKBT6UoGbK+Fgmsamk
GHZyNYXe+L1y06O3SvHu8ptLGqnXMdaCUOi708AbNmC0Mmqt5CNuVFQXWFE9
PMa2+jCYbE1pehZDfdmB29CVKXBFxX5XWTtIGQUEMXm2/jnuTSROaGHrlqPw
Ir+HC03fljKEUFedEtTR/pyz+P70fGPaAMYi5vCgsdEF7mFdtAXEVJLtAYa5
BsdWycyNzlFATdBRjOGVv7BEHOIQ53hEMA89apmmNllTNyUS89hmZ1TExLle
/xgEopnf0yUzG6xxSWY2LwoQJ4DHlv9RSXGKAGWpacMYCKwxx57aphn1OJwT
QfWnZLvQJU9St/nYmU3BkMAfW7EB1U4VdiST7iNTjV4O0AVG12CxgFZNoIPR
NKWgpr1H7WZaYnQACMxrcFpczEe2hdFHByuLODWsYNtWaj+w9I6hmyCpAgXj
0NIWEeUWC/WdkqdJa3COrQUpMON7bFUAvoqqTOhKMKyBwNacS2J2cNJBgsTn
wflHz9vqL0fOas0NO5RcfH+8LSYJ41ZK9VwX8xDrzkCTC8Sp3AKihOMLFlCg
wYAl1TRRKC3AqtpGkzgTlyUXrMiryS96W28t503lpZlxarw/S6ODBceK+dcu
aU6cS5XCYXRtJmvMBWZGjhygmw3+kSMs1C8APpjgj1pnJIJeif2YjXqJEeQm
m4ZiM3ALPCepB5depeplbMqf23iG2t4yirBE2ThpY0Z4FoFENvNGBM3cMrVW
WilYCgEitbn4bjIG3uWHY4IuB8kUegGaw3YTuGR5qBdJFLclXAi9sNSP5iBU
mUpQjMDUGpLgHg4niepHmg1VM+JuKmw8a2kdKrknM+0N2TFaL0KxoN+jYdsj
shUe/CVSKKM7cn6cCF1hyeTxlZ/Fs/9rRmB5JMS44ESv68LETdgHwW3bbmrb
yAMmXtmBVCAoNIvHdQCBPZ8dGa3HR9g/MIUKSNzc+XZ+c52Dx95srTa3DuUz
E9Q7Frc8wy5L2YohDE/LBrQmW3x6GoqTj47x0nomjYmxs7ff5KGCBFTWFHmR
fPwaxKjgEBAJMxmNF9ZuwZfJeHgKwF0yaHivFTBO7I/XB7zBUh/CI6C7AiAO
OMJrugaX1ZrjAxo2sdfmbRtX/gW6YQ6EUm+GpUoFvhLNEeTDB3R0+Qem8jjG
PxDPpOKNzSN7UmdZY1CJ93aGlrprKbkHY/lpyuPVT87qsjgDhT5T2b3YkRxN
KVky+4/8iJFypMPfLdIvsWCnwLHyH/urwCDg0Tlhylt97LwHdOJOVvjEzNaJ
D/CViggq3eEcqY0lkBF1kXUKlWy5qLgDvqktGUGsEnysk/2Jzm5hwyn+7LNQ
dE6vN8TW0MknWHESnX6aXHxmi4a84eVDrjqe9OoqWfVOP5+yIcjQjtlRIuuk
kep26t4krDi0haKArA80OqDsBLAeymJ9fypevxZjBAfgq056v0E7TTmnleVD
74pXmJ/nWEfVEz8T39HPY3vtTJ3XHgFkKL6CC7Ei2Dttft5yi0wQr4n4DsZP
Y8AY4KZovbVyCECXVXly6hBIek4nHoFyJ+31p0/UeMNCD+1sAVEVezym2ZEA
IJ37cPDtZAu8eN0rKsifbFnztWFNoL6gi2vo+XHTFl0EzILA+ZPp/dty4TN0
YbX14UmG+Juyk9MhGBFIZvD9ySllR8r8lrPgtihwAyxDzHe3BtGPCsOUZLPO
bt0kw23DztcCf/0CC9yj4xybfMafVhuetde2ePYM19o7XuSaEIZvPkzIuc6t
f5FzCIrlnc+9tiwfZ94h53xoLO88+I7yTohXcAT93Ftck37ddAuDFgz8ETxa
htapdM6n0WefJjewAkzTCa3uIrkr8JUlPmbveMRh/5mV+KePdMjTT/ueuoPC
m54ljehWaq2KDiFeiWsCVbfDehDE6z682vD0qik3u98/4nvjIOGM62eQHX+m
l7jxtTWx14yqSkv1sii/kbAETenX6qBb7xW1g6tb/AYbPn0OEKwrRicTHfXE
267asFxZsuvkOUCYFVe36DhvLZ58xc8Y7/aCzvnNttPOOkxIXls/Nyw3EpLf
E/8Y360MQAXsAYjtkDOxk08ESZ/x6rfA7Ldg6juBaEEwhFexxp9AnJySTbBs
efEi9nAfUDy9kKMMXqaiFecblKfHmyeSPvvwGh9+13sk0J++67VeikfC4em7
zHvca/71DU8a+tQn8iq+Jjb1Br+uPf2HhSQ3qAY3GFaYgilyEX/c4dMKFtlh
NZY4nZnLTphWfXGn9q9TuQ1jKeSFkJ9mn7GygDqjXqNlNkYVVE5F3AxEG2Jr
pQSnrVxb+GgDEPZG/EKM7D+C4UrJhjsOJjAvp2bNjRhA6NAyJI/Nuslnpr9P
5Obt9MW3s88+73rfZTcGnIvvMjI5oBk985GDJwvvaaP3B6RkGl48B/DoRZDG
9BZD2McL8cpLdvifG3nd+8p0qExqRC3tw9HDnnjiQPiXeSiu96nMgv/+l3/9
87//k/ivf/uHP//zPwbv07UUH/M7WUQ/1HfBB+xQUh/rTgW/zmtdKvF1+p//
AbngZRjXaSF/kHfia5yM3zjobORuQTMpI3GfnqM9PwKJmE0WyWIyGc1my/NF
tBgvVAc6oZbnSThV52F4DuvULFytRur8PFzNupCLWQJHLBfjyWg+g2PDxXg5
WUyXcjlfhG28xHy0mC9n8D/evcJ7FzPYMO9gLGbRIoHt58vpYg4rl4somobR
YgoHHlJDzMaLyWIG6yO4eLyUcG6Iu5ZwD9wwXqxaFDPOxhLtDXYru61Nl985
6k1bQ+x4ViuZ6rDA/zcJvJN9dpDxmgZkrtwUQiDaUwNB8L+2TW2OWuBfYGzn
ZpFM1CiehmG8ApuymM7j5fn5cjQJIaAZJWGcjJZJsjxXyflMItlX57Gaj9Rq
LONwupLjaZupDoDnedsFQM5narKaRKGU42RyPp9No3g8jc/l5FyNlmoqp6vZ
eDpdjEDgQhCpZDWZn0cTWD6Npqs4bgmfu/85GezevgpDgGt8vozg/SQcTadq
BqRYRclyNA3H8Ceaz+FmOEiu5jFI32J6HofzaL6Mp6vFoqMnDf4vqEsXhjmA
t4hmaqQWkRxNlslsPB+FMppHajVNwmQOJFSz2WgyniXxZD6fjlaz5SRR8Xmy
SsLxEW1pwPiLStMFZjobAbnjCNYBAZN5HEdztVqpcXS+WsjJ5DwGCUgiYJea
zM5BHsLRUs5jOGF5vhonSWOAGiAO7FD30tFchbPRNIH7zpO5XIaTcTJXczlT
qzhMkBTn0xkgD5AsRysJ1FyFczVR8QTunsQK/zUN41LI5HfMHPzXMT3wX8tm
dW3tgOrcrOzvuQnwTIHE7yK7uhaNLR4zDmQXgv8BKLu/bz5MAAA=

-->

</rfc>
