<?xml version="1.0" encoding="us-ascii"?>
  <?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
  <!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.29 (Ruby 3.1.2) -->


<!DOCTYPE rfc  [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">

<!ENTITY RFC1242 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.1242.xml">
<!ENTITY RFC2119 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml">
<!ENTITY RFC2285 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2285.xml">
<!ENTITY RFC2544 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2544.xml">
<!ENTITY RFC8174 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8174.xml">
<!ENTITY RFC5180 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5180.xml">
<!ENTITY RFC6349 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6349.xml">
<!ENTITY RFC6985 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6985.xml">
<!ENTITY RFC8219 SYSTEM "https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8219.xml">
]>


<rfc ipr="trust200902" docName="draft-ietf-bmwg-mlrsearch-13" category="info" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true">
  <front>
    <title abbrev="MLRsearch">Multiple Loss Ratio Search</title>

    <author initials="M." surname="Konstantynowicz" fullname="Maciek Konstantynowicz">
      <organization>Cisco Systems</organization>
      <address>
        <email>mkonstan@cisco.com</email>
      </address>
    </author>
    <author initials="V." surname="Polak" fullname="Vratko Polak">
      <organization>Cisco Systems</organization>
      <address>
        <email>vrpolak@cisco.com</email>
      </address>
    </author>

    <date year="2025" month="September" day="16"/>

    <area>ops</area>
    <workgroup>Benchmarking Working Group</workgroup>
    <keyword>Internet-Draft</keyword>

    <abstract>


<?line 72?>

<t>This document specifies extensions to &quot;Benchmarking Methodology for
Network Interconnect Devices&quot; (RFC 2544) throughput search by
defining a new methodology called Multiple Loss Ratio search
(MLRsearch). MLRsearch aims to minimize search duration,
support multiple loss ratio searches, and improve result repeatability
and comparability.</t>

<t>MLRsearch is motivated by the pressing need to address the challenges of
evaluating and testing the various data plane solutions, especially in
software-based networking systems based on Commercial Off-the-Shelf
(COTS) CPU hardware vs purpose-built ASIC / NPU / FPGA hardware.</t>



    </abstract>



  </front>

  <middle>


<?line 86?>


<section anchor="introduction"><name>Introduction</name>

<t>This document describes the Multiple Loss Ratio search
(MLRsearch) methodology, optimized for determining data plane
throughput in software-based networking functions running on commodity systems with
x86/ARM CPUs (vs purpose-built ASIC / NPU / FPGA). Such network
functions can be deployed on dedicated physical appliance (e.g., a
standalone hardware device) or as virtual appliance (e.g., Virtual
Network Function running on shared servers in the compute cloud).</t>

<t>This document tightly couples terminology and methodology aspects.
Instead of a separate terminology section, Table of Contents
subsections of <xref target="mlrsearch-specification">MLRsearch Specification</xref>
act as list of newly defined terms.
If a phrase appears with first letters capitalized, it likely refers
to a specific term defined in eponymous subsection
of <xref target="mlrsearch-specification">MLRsearch Specification</xref>.</t>

<section anchor="purpose"><name>Purpose</name>

<t>The purpose of this document is to describe the Multiple Loss Ratio search
(MLRsearch) methodology, optimized for determining
data plane throughput in software-based networking devices and functions.</t>

<t>Applying the vanilla throughput binary search,
as specified for example in Section 12.3.2 of <xref target="TST009"></xref>
to software devices under test (DUTs) results in several problems:</t>

<t><list style="symbols">
  <t>Binary search takes long as most trials are done far from the
eventually found throughput.</t>
  <t>The required final trial duration and pauses between trials
prolong the overall search duration.</t>
  <t>Software DUTs show noisy trial results,
leading to a big spread of possible discovered throughput values.</t>
  <t>Throughput requires a loss of exactly zero frames, but the industry best practices
frequently allow for low but non-zero losses tolerance (<xref target="Y.1564"></xref>, test-equipment manuals).</t>
  <t>The definition of throughput is not clear when trial results are inconsistent.
(e.g., when successive trials at the same - or even a higher - offered
load yield different loss ratios, the classical <xref target="RFC1242"></xref> / <xref target="RFC2544"></xref>
throughput metric can no longer be pinned to a single, unambiguous
value.)</t>
</list></t>

<t>To address these problems,
early MLRsearch implementations employed the following enhancements:</t>

<t><list style="numbers" type="1">
  <t>Allow multiple short trials instead of one big trial per load.
  <list style="symbols">
      <t>Optionally, tolerate a percentage of trial results with higher loss.</t>
    </list></t>
  <t>Allow searching for multiple <xref target="search-goal">Search Goal</xref>s, with differing loss ratios.
  <list style="symbols">
      <t>Any trial result can affect each Search Goal in principle.</t>
    </list></t>
  <t>Insert multiple coarse targets for each Search Goal, earlier ones need
to spend less time on trials.
  <list style="symbols">
      <t>Earlier targets also aim for lesser precision.</t>
      <t>Use Forwarding Rate (FR) at Maximum Offered Load (FRMOL), as defined
in Section 3.6.2 of <xref target="RFC2285"></xref>, to initialize bounds.</t>
    </list></t>
  <t>Process of inconsistent trial results carefully.
  <list style="symbols">
      <t>Reported throughput should be smaller than the smallest load with high loss.</t>
      <t>Measure smaller load candidates first.</t>
    </list></t>
  <t>Apply several time-saving load selection heuristics that deliberately
prevent the bounds from narrowing unnecessarily.</t>
</list></t>

<t>Enhancements 1, 2 and partly 4 are formalized as MLRsearch Specification
within this document, other implementation details are out the scope.</t>

<t>The remaining enhancements are treated as implementation details,
thus achieving high comparability without limiting future improvements.</t>

<t>MLRsearch configuration supports both conservative settings
and aggressive settings. Results unconditionally compliant with <xref target="RFC2544"></xref>
are possible with conservative enough settings,
but without much improvement on search duration and repeatability - see
<xref target="mlrsearch-compliant-with-rfc-2544">MLRsearch Compliant with RFC 2544</xref>.
Conversely, aggressive settings lead to shorter search durations
and better repeatability, but the results are not compliant with <xref target="RFC2544"></xref>.
Exact settings are not specified, but see the discussion in
<xref target="overview-of-rfc-2544-problems">Overview of RFC 2544 Problems</xref>
for the impact of different settings on result quality.</t>

<t>This document does not change or obsolete any part of <xref target="RFC2544"></xref>.</t>

</section>
<section anchor="positioning-within-bmwg-methodologies"><name>Positioning within BMWG Methodologies</name>

<t>The Benchmarking Methodology Working Group (BMWG) produces recommendations (RFCs)
that describe various benchmarking methodologies for use in a controlled laboratory environment.
A large number of these benchmarks are based on the terminology from <xref target="RFC1242"></xref>
and the foundational methodology from <xref target="RFC2544"></xref>.
A common pattern has emerged where BMWG documents reference the methodology of <xref target="RFC2544"></xref>
and augment it with specific requirements for testing particular network systems or protocols,
without modifying the core benchmark definitions.</t>

<t>While BMWG documents are formally recommendations,
they are widely treated as industry norms to ensure the comparability of results between different labs.
The set of benchmarks defined in <xref target="RFC2544"></xref>, in particular,
became a de facto standard for performance testing.
In this context, the MLRsearch Specification formally defines a new
class of benchmarks that fits within the wider <xref target="RFC2544"></xref> framework
(see <xref target="scope">Scope </xref>).</t>

<t>A primary consideration in the design of MLRsearch is the trade-off
between configurability and comparability. The methodology&#39;s flexibility,
especially the ability to define various sets of Search Goals,
supporting both single-goal and multiple-goal benchmarks in an unified way
is powerful for detailed characterization and internal testing.
However, this same flexibility is detrimental to inter-lab comparability
unless a specific, common set of Search Goals is agreed upon.</t>

<t>Therefore, MLRsearch should not be seen as a direct extension
nor a replacement for the <xref target="RFC2544"></xref> Throughput benchmark.
Instead, this document provides a foundational methodology
that future BMWG documents can use to define new, specific, and comparable benchmarks
by mandating particular Search Goal configurations.
For operators of existing test procedures, it is worth noting
that many test setups measuring <xref target="RFC2544"></xref> Throughput
can be adapted to produce results compliant with the MLRsearch Specification,
often without affecting Trials,
merely by augmenting the content of the final test report.</t>

</section>
</section>
<section anchor="overview-of-rfc-2544-problems"><name>Overview of RFC 2544 Problems</name>

<t>This section describes the problems affecting usability
of various performance testing methodologies,
mainly a binary search for <xref target="RFC2544"></xref> unconditionally compliant throughput.</t>

<section anchor="long-search-duration"><name>Long Search Duration</name>

<t>The proliferation of software DUTs, with frequent software updates
and a number of different frame processing modes and configurations,
has increased both the number of performance tests
required to verify the DUT update and the frequency of running those tests.
This makes the overall test execution time even more important than before.</t>

<t>The throughput definition per <xref target="RFC2544"></xref> restricts the potential
for time-efficiency improvements.
The bisection method, when used in a manner unconditionally compliant
with <xref target="RFC2544"></xref>, is excessively slow due to two main factors.</t>

<t>Firstly, a significant amount of time is spent on trials
with loads that, in retrospect, are far from the final determined throughput.</t>

<t>Secondly, <xref target="RFC2544"></xref> does not specify any stopping condition for
throughput search, so users of testing equipment implementing the
procedure already have access to a limited trade-off
between search duration and achieved precision.
However, each of the full 60-second trials doubles the precision.</t>

<t>As such, not many trials can be removed without a substantial loss of precision.</t>

<t>For reference, here is a brief <xref target="RFC2544"></xref> throughput binary
(bisection) reminder, based on Sections 24 and 26 of [RFC2544:</t>

<t><list style="symbols">
  <t>Set Max = line-rate and Min = a proven loss-free load.</t>
  <t>Run a single 60-s trial at the midpoint.</t>
  <t>Zero-loss -&gt; midpoint becomes new Min; any loss-&gt; new Max.</t>
  <t>Repeat until the Max-Min gap meets the desired precision, then report
the highest zero-loss rate for every mandatory frame size.</t>
</list></t>

</section>
<section anchor="dut-in-sut"><name>DUT in SUT</name>

<t>Section 19 of <xref target="RFC2544"></xref> specifies a test setup with an external tester
stimulating the networking system, treating it either as a single
Device Under Test (DUT), or as a system of devices, a System Under
Test (SUT).</t>

<t><xref target="RFC2285"></xref> defines:</t>

<t>DUT as:</t>

<t><list style="symbols">
  <t>The network frame forwarding device to which stimulus is offered and
response measured Section 3.1.1 of <xref target="RFC2285"></xref>.</t>
</list></t>

<t>SUT as:</t>

<t><list style="symbols">
  <t>The collective set of network devices as a single entity to which
stimulus is offered and response measured Section 3.1.2 of <xref target="RFC2285"></xref>.</t>
</list></t>

<t>For software-based data-plane forwarding running on commodity x86/ARM
CPUs, the SUT comprises not only the forwarding application itself, the
DUT, but the entire execution environment: host hardware, firmware and
kernel/hypervisor services, as well as any other software workloads
that share the same CPUs, memory and I/O resources.</t>

<t>Given that a SUT is a shared multi-tenant environment,
the DUT might inadvertently
experience interference from the operating system
or from other software operating on the same server.</t>

<t>Some of this interference can be mitigated.
For instance, in multi-core CPU systems, pinning DUT program threads to
specific CPU cores
and isolating those cores can prevent context switching.</t>

<t>Despite taking all feasible precautions, some adverse effects may still impact
the DUT&#39;s network performance.
In this document, these effects are collectively
referred to as SUT noise, even if the effects are not as unpredictable
as what other engineering disciplines call noise.</t>

<t>A DUT can also exhibit fluctuating performance itself,
for reasons not related to the rest of SUT. For example, this can be
due to pauses in execution as needed for internal stateful processing.
In many cases this may be an expected per-design behavior,
as it would be observable even in a hypothetical scenario
where all sources of SUT noise are eliminated.
Such behavior affects trial results in a way similar to SUT noise.
As the two phenomena are hard to distinguish,
in this document the term &#39;noise&#39; is used to encompass
both the internal performance fluctuations of the DUT
and the genuine noise of the SUT.</t>

<t>A simple model of SUT performance consists of an idealized noiseless performance,
and additional noise effects.
For a specific SUT, the noiseless performance is assumed to be constant,
with all observed performance variations being attributed to noise.
The impact of the noise can vary in time, sometimes wildly,
even within a single trial.
The noise can sometimes be negligible, but frequently
it lowers the observed SUT performance as observed in trial results.</t>

<t>In this simple model, a SUT does not have a single performance value, it has a spectrum.
One end of the spectrum is the idealized noiseless performance value,
the other end can be called a noiseful performance.
In practice, trial results close to the noiseful end of the spectrum
happen only rarely.
The worse a possible performance value is, the more rarely it is seen in a trial.
Therefore, the extreme noiseful end of the SUT spectrum is not observable
among trial results.</t>

<t>Furthermore, the extreme noiseless end of the SUT spectrum is unlikely
to be observable, this time because minor noise events almost always
occur during each trial, nudging the measured performance slightly
below the theoretical maximum.</t>

<t>Unless specified otherwise, this document&#39;s focus is
on the potentially observable ends of the SUT performance spectrum,
as opposed to the extreme ones.</t>

<t>When focusing on the DUT, the benchmarking effort should ideally aim
to eliminate only the SUT noise from SUT measurements.
However, this is currently not feasible in practice,
as there are no realistic enough models that would be capable
to distinguish SUT noise from DUT fluctuations
(based on the available literature at the time of writing).</t>

<t>Provided SUT execution environment and any co-resident workloads place
only negligible demands on SUT shared resources, so that
the DUT remains the principal performance limiter,
the DUT&#39;s ideal noiseless performance is defined
as the noiseless end of the SUT performance spectrum.</t>

<t>Note that by this definition, DUT noiseless performance
also minimizes the impact of DUT fluctuations, as much as realistically possible
for a given trial duration.</t>

<t>The MLRsearch methodology aims to solve the DUT in SUT problem
by estimating the noiseless end of the SUT performance spectrum
using a limited number of trial results.</t>

<t>Improvements to the throughput search algorithm, aimed at better dealing
with software networking SUT and DUT setups, should adopt methods that
explicitly model SUT-generated noise, enabling to derive surrogate
metrics that approximate the (proxies for) DUT noiseless performance
across a range of SUT noise-tolerance levels.</t>

</section>
<section anchor="repeatability-and-comparability"><name>Repeatability and Comparability</name>

<t><xref target="RFC2544"></xref> does not suggest repeating throughput search. Also, note that
from simply one discovered throughput value,
it cannot be determined how repeatable that value is.
Unsatisfactory repeatability then leads to unacceptable comparability,
as different benchmarking teams may obtain varying throughput values
for the same SUT, exceeding the expected differences from search precision.
Repeatability is important also when the test procedure is kept the same,
but SUT is varied in small ways. For example, during development
of software-based DUTs, repeatability is needed to detect small regressions.</t>

<t><xref target="RFC2544"></xref> throughput requirements (60 seconds trial and
no tolerance of a single frame loss) affect the throughput result as follows:</t>

<t>The SUT behavior close to the noiseful end of its performance spectrum
consists of rare occasions of significantly low performance,
but the long trial duration makes those occasions not so rare on the trial level.
Therefore, the binary search results tend to spread away from the noiseless end
of SUT performance spectrum, more frequently and more widely than shorter
trials would, thus causing unacceptable throughput repeatability.</t>

<t>The repeatability problem can be better addressed by defining a search procedure
that identifies a consistent level of performance,
even if it does not meet the strict definition of throughput in <xref target="RFC2544"></xref>.</t>

<t>According to the SUT performance spectrum model, better repeatability
will be at the noiseless end of the spectrum.
Therefore, solutions to the DUT in SUT problem
will help also with the repeatability problem.</t>

<t>Conversely, any alteration to <xref target="RFC2544"></xref> throughput search
that improves repeatability should be considered
as less dependent on the SUT noise.</t>

<t>An alternative option is to simply run a search multiple times, and
report some statistics (e.g., average and standard deviation, and/or
percentiles like p95).</t>

<t>This can be used for a subset of tests deemed more important,
but it makes the search duration problem even more pronounced.</t>

</section>
<section anchor="throughput-with-non-zero-loss"><name>Throughput with Non-Zero Loss</name>

<dl>
  <dt>Section 3.17 of <xref target="RFC1242"></xref> defines throughput as:</dt>
  <dd>
    <t>The maximum rate at which none of the offered frames
are dropped by the device.</t>
  </dd>
  <dt>Then, it says:</dt>
  <dd>
    <t>Since even the loss of one frame in a
data stream can cause significant delays while
waiting for the higher-level protocols to time out,
it is useful to know the actual maximum data
rate that the device can support.</t>
  </dd>
</dl>

<t>However, many benchmarking teams accept a low,
non-zero loss ratio as the goal for their load search.</t>

<t>Motivations are many:</t>

<t><list style="symbols">
  <t>Networking protocols tolerate frame loss better,
compared to the time when <xref target="RFC1242"></xref> and <xref target="RFC2544"></xref> were specified.</t>
  <t>Increased link speeds require trials sending more frames within the same duration,
increasing the chance of a small SUT performance fluctuation
being enough to cause frame loss.</t>
  <t>Because noise-related drops usually arrive in small bursts, their
impact on the trial&#39;s overall frame loss ratio is diluted by the
longer intervals in which the SUT operates close to its noiseless
performance; consequently, the averaged Trial Loss Ratio can still
end up below the specified Goal Loss Ratio value.</t>
  <t>If an approximation of the SUT noise impact on the Trial Loss Ratio is known,
it can be set as the Goal Loss Ratio (see definitions of
Trial and Goal terms in <xref target="trial-terms">Trial Terms</xref> and <xref target="goal-terms">Goal Terms</xref>).</t>
</list></t>

<t>For more information, see Section 5 of an earlier draft <xref target="Lencze-Shima"></xref>
and references there.</t>

<t>Regardless of the validity of all similar motivations,
support for non-zero loss goals makes a
search algorithm more user-friendly.
<xref target="RFC2544"></xref> throughput is not user-friendly in this regard.</t>

<t>Furthermore, allowing users to specify multiple loss ratio values,
and enabling a single search to find all relevant bounds,
significantly enhances the usefulness of the search algorithm.</t>

<t>Searching for multiple Search Goals also helps to describe the SUT performance
spectrum better than the result of a single Search Goal.
For example, the repeated wide gap between zero and non-zero loss loads
indicates the noise has a large impact on the observed performance,
which is not evident from a single goal load search procedure result.</t>

<t>It is easy to modify the vanilla bisection to find a lower bound
for the load that satisfies a non-zero Goal Loss Ratio.
But it is not that obvious how to search for multiple goals at once,
hence the support for multiple Search Goals remains a problem.</t>

<t>At the time of writing there does not seem to be a consensus in the industry
on which loss ratio value is the best.
For users, performance of higher protocol layers is important, for
example, goodput of TCP connection (TCP throughput, <xref target="RFC6349"></xref>), but relationship
between goodput and loss ratio is not simple. Refer to
<xref target="Lencze-Kovacs-Shima"></xref> for examples of various corner cases,
Section 3 of <xref target="RFC6349"></xref> for loss ratios acceptable for an accurate
measurement of TCP throughput, and <xref target="Ott-Mathis-Semke-Mahdavi"></xref> for
models and calculations of TCP performance in presence of packet loss.</t>

</section>
<section anchor="inconsistent-trial-results"><name>Inconsistent Trial Results</name>

<t>While performing throughput search by executing a sequence of
measurement trials, there is a risk of encountering inconsistencies
between trial results.</t>

<t>Examples include, but are not limited to:</t>

<t><list style="symbols">
  <t>A trial at the same load (same or different trial duration) results
in a different Trial Loss Ratio.</t>
  <t>A trial at a larger load (same or different trial duration) results
in a lower Trial Loss Ratio.</t>
</list></t>

<t>The plain bisection never encounters inconsistent trials.
But <xref target="RFC2544"></xref> hints about the possibility of inconsistent trial results,
in two places in its text.
The first place is Section 24 of <xref target="RFC2544"></xref>,
where full trial durations are required,
presumably because they can be inconsistent with the results
from short trial durations.
The second place is Section 26.3 of <xref target="RFC2544"></xref>,
where two successive zero-loss trials
are recommended, presumably because after one zero-loss trial
there can be a subsequent inconsistent non-zero-loss trial.</t>

<t>A robust throughput search algorithm needs to decide how to continue
the search in the presence of such inconsistencies.
Definitions of throughput in <xref target="RFC1242"></xref> and <xref target="RFC2544"></xref> are not specific enough
to imply a unique way of handling such inconsistencies.</t>

<t>Ideally, there will be a definition of a new quantity which both generalizes
throughput for non-zero Goal Loss Ratio values
(and other possible repeatability enhancements), while being precise enough
to force a specific way to resolve trial result inconsistencies.
But until such a definition is agreed upon, the correct way to handle
inconsistent trial results remains an open problem.</t>

<t>Relevant Lower Bound is the MLRsearch term that addresses this problem.</t>

</section>
</section>
<section anchor="requirements-language"><name>Requirements Language</name>

<t>The key words &quot;MUST&quot;, &quot;MUST NOT&quot;, &quot;REQUIRED&quot;, &quot;SHALL&quot;, &quot;SHALL NOT&quot;, &quot;SHOULD&quot;,
&quot;SHOULD NOT&quot;, &quot;RECOMMENDED&quot;, &quot;NOT RECOMMENDED&quot;, &quot;MAY&quot;, and &quot;OPTIONAL&quot;
in this document are to be interpreted as described in BCP 14, <xref target="RFC2119"></xref>
and <xref target="RFC8174"></xref> when, and only when, they appear in all capitals, as shown here.</t>

<t>This document is categorized as an Informational RFC.
While it does not mandate the adoption of the MLRsearch methodology,
it uses the normative language of BCP 14 to provide an unambiguous specification.
This ensures that if a test procedure or test report claims compliance with the MLRsearch Specification,
it MUST adhere to all the absolute requirements defined herein.
The use of normative language is intended to promote repeatable and comparable results
among those who choose to implement this methodology.</t>

</section>
<section anchor="mlrsearch-specification"><name>MLRsearch Specification</name>

<t>This chapter provides all technical definitions
needed for evaluating whether a particular test procedure
complies with MLRsearch Specification.</t>

<t>Some terms used in the specification are capitalized.
It is just a stylistic choice for this document,
reminding the reader this term is introduced, defined or explained
elsewhere in the document. Lower case variants are equally valid.</t>

<t>This document does not separate terminology from methodology. Terms are
fully specified and discussed in their own subsections, under sections
titled &quot;Terms&quot;. This way, the list of terms is visible in table of
contents.</t>

<t>Each per term subsection contains a short <em>Definition</em> paragraph
containing a minimal definition and all strict requirements, followed
by <em>Discussion</em> paragraphs focusing on important consequences and
recommendations. Requirements about how other components can use the
defined quantity are also included in the discussion.</t>

<section anchor="scope"><name>Scope</name>

<t>This document specifies the Multiple Loss Ratio search (MLRsearch) methodology.
The MLRsearch Specification details a new class of benchmarks
by listing all terminology definitions and methodology requirements.
The definitions support &quot;multi-goal&quot; benchmarks, with &quot;single-goal&quot; as a subset.</t>

<t>The normative scope of this specification includes:</t>

<t><list style="symbols">
  <t>The terminology for all required quantities and their attributes.</t>
  <t>An abstract architecture consisting of functional components
(Manager, Controller, Measurer) and the requirements for their inputs and outputs.</t>
  <t>The required structure and attributes of the Controller Input,
including one or more Search Goal instances.</t>
  <t>The required logic for Load Classification, which determines whether a given Trial Load
qualifies as a Lower Bound or an Upper Bound for a Search Goal.</t>
  <t>The required structure and attributes of the Controller Output,
including a Goal Result for each Search Goal.</t>
</list></t>

<section anchor="relationship-to-rfc-2544"><name>Relationship to RFC 2544</name>

<t>MLRsearch Specification is an independent methodology
and does not change or obsolete any part of <xref target="RFC2544"></xref>.</t>

<t>This specification permits deviations from the Trial procedure
as described in <xref target="RFC2544"></xref>. Any deviation from the <xref target="RFC2544"></xref> procedure
must be documented explicitly in the Test Report,
and such variations remain outside the scope of the original <xref target="RFC2544"></xref> benchmarks.</t>

<t>A specific single-goal MLRsearch benchmark can be configured
to be compliant with <xref target="RFC2544"></xref> Throughput,
and most procedures reporting <xref target="RFC2544"></xref> Throughput
can be adapted to satisfy also MLRsearch requirements for specific search goal.</t>

</section>
<section anchor="applicability-of-other-specifications"><name>Applicability of Other Specifications</name>

<t>Methodology extensions from other BMWG documents that specify details
for testing particular DUTs, configurations, or protocols
(e.g., by defining a particular Traffic Profile) are considered orthogonal
to MLRsearch and are applicable to a benchmark conducted using MLRsearch methodology.</t>

</section>
<section anchor="out-of-scope"><name>Out of Scope</name>

<t>The following aspects are explicitly out of the normative scope of this document:</t>

<t><list style="symbols">
  <t>This specification does not mandate or recommend any single,
universal Search Goal configuration for all use cases.
The selection of Search Goal parameters is left
to the operator of the test procedure or may be defined by future specifications.</t>
  <t>The internal heuristics or algorithms used by the Controller to select Trial Input values
(e.g., the load selection strategy) are considered implementation details.</t>
  <t>The potential for, and the effects of, interference between different Search Goal instances
within a multiple-goal search are considered outside the normative scope of this specification.</t>
</list></t>

</section>
</section>
<section anchor="architecture-overview"><name>Architecture Overview</name>

<t>Although the normative text references only terminology that has already
been introduced, explanatory passages beside it sometimes profit from
terms that are defined later in the document. To keep the initial
read-through clear, this informative section offers a concise, top-down
sketch of the complete MLRsearch architecture.</t>

<t>The architecture is modelled as a set of abstract, interacting
components. Information exchange between components is expressed in an
imperative-programming style: one component &quot;calls&quot; another, supplying
inputs (arguments) and receiving outputs (return values). This notation
is purely conceptual; actual implementations need not exchange explicit
messages. When the text contrasts alternative behaviours, it refers to
the different implementations of the same component.</t>

<t>A test procedure is considered compliant with the MLRsearch
Specification if it can be conceptually decomposed into the abstract
components defined herein, and each component satisfies the
requirements defined for its corresponding MLRsearch element.</t>

<t>The Measurer component is tasked to perform Trials,
the Controller component is tasked to select Trial Durations and Loads,
the Manager component is tasked to pre-configure involved entities
and to produce the Test Report.
The Test Report explicitly states Search Goals (as Controller Input)
and corresponding Goal Results (Controller Output).</t>

<t>This constitutes one benchmark (single-goal or multi-goal).
Repeated or slightly differing benchmarks are realized
by calling Controller once for each benchmark.</t>

<t>The Manager calls a Controller once,
and the Controller then invokes the Measurer repeatedly
until Controller decides it has enough information to return outputs.</t>

<t>The part during which the Controller invokes the Measurer is termed the
Search. Any work the Manager performs either before invoking the
Controller or after Controller returns, falls outside the scope of the
Search.</t>

<t>MLRsearch Specification prescribes Regular Search Results and recommends
corresponding search completion conditions.</t>

<t>Irregular Search Results are also allowed,
they have different requirements and their corresponding stopping conditions are out of scope.</t>

<t>Search Results are based on Load Classification. When measured enough,
a chosen Load can either achieve or fail each Search Goal
(separately), thus becoming a Lower Bound or an Upper Bound for that
Search Goal.</t>

<t>When the Relevant Lower Bound is close enough to Relevant Upper Bound
according to Goal Width, the Regular Goal Result is found.
Search stops when all Regular Goal Results are found,
or when some Search Goals are proven to have only Irregular Goal Results.</t>

<section anchor="test-report"><name>Test Report</name>

<t>A primary responsibility of the Manager is to produce a Test Report,
which serves as the final and formal output of the test procedure.</t>

<t>This document does not provide a single, complete, normative definition
for the structure of the Test Report. For example, Test Report may contain
results for a single benchmark, or it could aggregate results of many benchmarks.</t>

<t>Instead, normative requirements for the content of the Test Report
are specified throughout this document in conjunction
with the definitions of the quantities and procedures to which they apply.
Readers should note that any clause requiring a value to be &quot;reported&quot;
or &quot;stated in the test report&quot; constitutes a normative requirement
on the content of this final artifact.</t>

<t>Even where not stated explicitly, the &quot;Reporting format&quot;
paragraphs in <xref target="RFC2544"></xref> sections are still requirements on Test Report
if they apply to a MLRsearch benchmark.</t>

</section>
<section anchor="behavior-correctness"><name>Behavior Correctness</name>

<t>MLRsearch Specification by itself does not guarantee that
the Search ends in finite time, as the freedom the Controller has
for Load selection also allows for clearly deficient choices.</t>

<t>For deeper insights on these matters, refer to <xref target="FDio-CSIT-MLRsearch"></xref>.</t>

<t>The primary MLRsearch implementation, used as the prototype
for this specification, is <xref target="PyPI-MLRsearch"></xref>.</t>

</section>
</section>
<section anchor="quantities"><name>Quantities</name>

<t>MLRsearch Specification
uses a number of specific quantities,
some of them can be expressed in several different units.</t>

<t>In general, MLRsearch Specification does not require particular units to be used,
but it is REQUIRED for the test report to state all the units.
For example, ratio quantities can be dimensionless numbers between zero and one,
but may be expressed as percentages instead.</t>

<t>For convenience, a group of quantities can be treated as a composite quantity.
One constituent of a composite quantity is called an attribute.
A group of attribute values is called an instance of that composite quantity.</t>

<t>Some attributes may depend on others and can be calculated from other
attributes. Such quantities are called derived quantities.</t>

<section anchor="current-and-final-values"><name>Current and Final Values</name>

<t>Some quantities are defined in a way that makes it possible to compute their
values in the middle of a Search. Other quantities are specified so
that their values can be computed only after a Search ends. Some
quantities are important only after a Search ended, but their values
are computable also before a Search ends.</t>

<t>For a quantity that is computable before a Search ends,
the adjective <strong>current</strong> is used to mark a value of that quantity
available before the Search ends.
When such value is relevant for the search result, the adjective <strong>final</strong>
is used to denote the value of that quantity at the end of the Search.</t>

<t>If a time evolution of such a dynamic quantity is guided by
configuration quantities, those adjectives can be used to distinguish
quantities. For example, if the current value of &quot;duration&quot;
(dynamic quantity) increases from &quot;initial duration&quot; to &quot;final
duration&quot; (configuration quantities), all the quoted names denote
separate but related quantities. As the naming suggests, the final
value of &quot;duration&quot; is expected to be equal to &quot;final duration&quot; value.</t>

</section>
</section>
<section anchor="existing-terms"><name>Existing Terms</name>

<t>This specification relies on the following three documents that should
be consulted before attempting to make use of this document:</t>

<t><list style="symbols">
  <t>&quot;Benchmarking Terminology for Network Interconnect Devices&quot; <xref target="RFC1242"></xref>
contains basic term definitions.</t>
  <t>&quot;Benchmarking Terminology for LAN Switching Devices&quot; <xref target="RFC2285"></xref> adds
more terms and discussions, describing some known network
benchmarking situations in a more precise way.</t>
  <t>&quot;Benchmarking Methodology for Network Interconnect Devices&quot;
 <xref target="RFC2544"></xref> contains discussions about terms and additional
 methodology requirements.</t>
</list></t>

<t>Definitions of some central terms from above documents are copied and
discussed in the following subsections.</t>

<section anchor="sut"><name>SUT</name>

<t>Defined in Section 3.1.2 of <xref target="RFC2285"></xref> as follows.</t>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The collective set of network devices to which stimulus is offered
as a single entity and response measured.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>An SUT consisting of a single network device is allowed by this definition.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In software-based networking SUT may comprise multitude of
networking applications and the entire host hardware and software
execution environment.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>SUT is the only entity that can be benchmarked directly,
even though only the performance of some sub-components are of interest.</t>
  </dd>
</dl>

</section>
<section anchor="dut"><name>DUT</name>

<t>Defined in Section 3.1.1 of <xref target="RFC2285"></xref> as follows.</t>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The network forwarding device
to which stimulus is offered and response measured.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Contrary to SUT, the DUT stimulus and response are frequently
initiated and observed only indirectly, on different parts of SUT.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>DUT, as a sub-component of SUT, is only indirectly mentioned in
MLRsearch Specification, but is of key relevance for its motivation.
The device can represent a software-based networking functions running
on commodity x86/ARM CPUs (vs purpose-built ASIC / NPU / FPGA).</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>A well-designed SUTs should have the primary DUT as their performance bottleneck.
The ways to achieve that are outside of MLRsearch Specification scope.</t>
  </dd>
</dl>

</section>
<section anchor="trial"><name>Trial</name>

<t>A trial is the part of the test described in Section 23 of <xref target="RFC2544"></xref>.</t>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A particular test consists of multiple trials.  Each trial returns
one piece of information, for example the loss rate at a particular
input frame rate.  Each trial consists of a number of phases:</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>a) If the DUT is a router, send the routing update to the &quot;input&quot;
port and pause two seconds to be sure that the routing has settled.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>b)  Send the &quot;learning frames&quot; to the &quot;output&quot; port and wait 2
seconds to be sure that the learning has settled.  Bridge learning
frames are frames with source addresses that are the same as the
destination addresses used by the test frames.  Learning frames for
other protocols are used to prime the address resolution tables in
the DUT.  The formats of the learning frame that should be used are
shown in the Test Frame Formats document.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>c) Run the test trial.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>d) Wait for two seconds for any residual frames to be received.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>e) Wait for at least five seconds for the DUT to restabilize.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The traffic is sent only in phase c) and received in phases c) and d).</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Trials are the only stimuli the SUT is expected to experience during the Search.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In some discussion paragraphs, it is useful to consider the traffic
as sent and received by a tester, as implicitly defined
in Section 6 of <xref target="RFC2544"></xref>.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The definition describes some traits, not using capitalized verbs
to signify strength of the requirements.
For the purposes of the MLRsearch Specification,
the test procedure MAY deviate from the <xref target="RFC2544"></xref> description,
but any such deviation MUST be described explicitly in the Test Report.
It is still RECOMMENDED to not deviate from the description,
as any deviation weakens comparability.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>An example of deviation from <xref target="RFC2544"></xref> is using shorter wait times,
compared to those described in phases a), b), d) and e).</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The <xref target="RFC2544"></xref> document itself seems to be treating phase b)
as any type of configuration that cannot be configured only once (by Manager,
before Search starts), as some crucial SUT state could time-out during the Search.
It is RECOMMENDED to interpret the &quot;learning frames&quot; to be
any such time-sensitive per-trial configuration method,
with bridge MAC learning being only one possible examples.
Appendix C.2.4.1 of <xref target="RFC2544"></xref> lists another example: ARP with wait time of 5 seconds.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Some methodologies describe recurring tests.
If those are based on Trials, they are treated as multiple independent Trials.</t>
  </dd>
</dl>

</section>
</section>
<section anchor="trial-terms"><name>Trial Terms</name>

<t>This section defines new and redefine existing terms for quantities
relevant as inputs or outputs of a Trial, as used by the Measurer component.
This includes also any derived quantities related to results of one Trial.</t>

<section anchor="trial-duration"><name>Trial Duration</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Duration is the intended duration of the phase c) of a Trial.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The value MUST be positive.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>While any positive real value may be provided, some Measurer
implementations MAY limit possible values, e.g., by rounding down to
nearest integer in seconds. In that case, it is RECOMMENDED to give
such inputs to the Controller so that the Controller
only uses the accepted values.</t>
  </dd>
</dl>

</section>
<section anchor="trial-load"><name>Trial Load</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Load is the per-interface Intended Load for a Trial.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Load is equivalent to the quantities defined
as constant load (Section 3.4 of <xref target="RFC1242"></xref>),
data rate (Section 14 of <xref target="RFC2544"></xref>),
and Intended Load (Section 3.5.1 of <xref target="RFC2285"></xref>),
in the sense that all three definitions specify that this value
applies to one (input or output) interface.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For specification purposes, it is assumed that this is a constant load by default,
as specified in Section 3.4 of <xref target="RFC1242"></xref>).
Informally, Traffic Load is a single number that can &quot;scale&quot; any traffic pattern
as long as the intuition of load intended against a single interface can be applied.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>It MAY be possible to use a Trial Load value to describe a non-constant traffic
(using average load when the traffic consists of repeated bursts of frames
e.g., as suggested in Section 21 of <xref target="RFC2544"></xref>).
In the case of a non-constant load, the Test Report
MUST explicitly mention how exactly non-constant the traffic is
and how it reacts to Traffic Load value.
But the rest of the MLRsearch Specification assumes that is not the case,
to avoid discussing corner cases (e.g., which values are possible within medium limitations).</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Similarly, traffic patterns where different interfaces are subject to different loads
MAY be described by a single Trial Load value (e.g. using largest load among interfaces),
but again the Test Report MUST explicitly describe how the traffic pattern
reacts to Traffic Load value,
and this specification does not discuss all the implications of that approach.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In the common case of bidirectional traffic, as described in
Section 14. Bidirectional Traffic of <xref target="RFC2544"></xref>,
Trial Load is the data rate per direction, half of aggregate data rate.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Traffic patterns where a single Trial Load does not describe their scaling
cannot be used for MLRsearch benchmarks.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Similarly to Trial Duration, some Measurers MAY limit the possible values
of Trial Load. Contrary to Trial Duration,
documenting such behavior in the test report is OPTIONAL.
This is because the load differences are negligible (and frequently
undocumented) in practice.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The Controller MAY select Trial Load and Trial Duration values in a way
that would not be possible to achieve using any integer number of data frames.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>If a particular Trial Load value is not tied to a single Trial,
e.g., if there are no Trials yet or if there are multiple Trials,
this document uses a shorthand <strong>Load</strong>.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The test report MAY present the aggregate load across multiple
interfaces, treating it as the same quantity expressed using different
units. Each reported Trial Load value MUST state unambiguously whether
it refers to (i) a single interface, (ii) a specified subset of
interfaces (such as all logical interfaces mapped to one physical
port), or (iii) the total across every interface. For any aggregate
load value, the report MUST also give the fixed conversion factor that
links the per-interface and multi-interface load values.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The per-interface value remains the primary unit, consistent
with prevailing practice in <xref target="RFC1242"></xref>, <xref target="RFC2544"></xref>, and <xref target="RFC2285"></xref>.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The last paragraph also applies to other terms related to Load.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For example, tests with symmetric bidirectional traffic
can report load-related values as &quot;bidirectional load&quot;
(double of &quot;unidirectional load&quot;).</t>
  </dd>
</dl>

</section>
<section anchor="trial-input"><name>Trial Input</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Input is a composite quantity, consisting of two attributes:
Trial Duration and Trial Load.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>When talking about multiple Trials, it is common to say &quot;Trial Inputs&quot;
to denote all corresponding Trial Input instances.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>A Trial Input instance acts as the input for one call of the Measurer component.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Contrary to other composite quantities, MLRsearch implementations
MUST NOT add optional attributes into Trial Input.
This improves interoperability between various implementations of
a Controller and a Measurer.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Note that both attributes are <strong>intended</strong> quantities,
as only those can be fully controlled by the Controller.
The actual offered quantities, as realized by the Measurer, can be different
(and must be different if not multiplying into integer number of frames),
but questions around those offered quantities are generally
outside of the scope of this document.</t>
  </dd>
</dl>

</section>
<section anchor="traffic-profile"><name>Traffic Profile</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Traffic Profile is a composite quantity containing
all attributes other than Trial Load and Trial Duration,
that are needed for unique determination of the Trial to be performed.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>All the attributes are assumed to be constant during the Search,
and the composite is configured on the Measurer by the Manager
before the Search starts.
This is why the traffic profile is not part of the Trial Input.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Specification of traffic properties included in the Traffic Profile is
the responsibility of the Manager, but the specific configuration mechanisms
are outside of the scope of this document.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, implementations of the Manager and the Measurer
must be aware of their common set of capabilities,
so that Traffic Profile instance uniquely defines the traffic during the Search.
Typically, Manager and Measurer implementations are tightly integrated.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Integration efforts between independent Manager and Measurer implementations
are outside of the scope of this document.
An example standardization effort is <xref target="Vassilev"></xref>.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Examples of traffic properties include:
- Data link frame size
- Fixed sizes as listed in Section 3.5 of <xref target="RFC1242"></xref> and in Section
  9 of <xref target="RFC2544"></xref>
- IMIX mixed sizes as defined in <xref target="RFC6985"></xref>
- Frame formats and protocol addresses
- Section 8, 12 and Appendix C of <xref target="RFC2544"></xref>
- Symmetric bidirectional traffic
- Section 14 of <xref target="RFC2544"></xref>.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Other traffic properties that need to be somehow specified
in Traffic Profile, and MUST be mentioned in Test Report
if they apply to the benchmark, include:</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t><list style="symbols">
      <t>bidirectional traffic from Section 14 of <xref target="RFC2544"></xref>,</t>
      <t>fully meshed traffic from Section 3.3.3 of <xref target="RFC2285"></xref>,</t>
      <t>modifiers from Section 11 of <xref target="RFC2544"></xref>.</t>
      <t>IP version mixing from Section 5.3 of <xref target="RFC8219"></xref>.</t>
    </list></t>
  </dd>
</dl>

</section>
<section anchor="trial-forwarding-ratio"><name>Trial Forwarding Ratio</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Trial Forwarding Ratio is a dimensionless floating point value.
It MUST range between 0.0 and 1.0, both inclusive.
It is calculated by dividing the number of frames
successfully forwarded by the SUT
by the total number of frames expected to be forwarded during the trial.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>For most Traffic Profiles, &quot;expected to be forwarded&quot; means
&quot;intended to get received by SUT from tester&quot;.
This SHOULD be the default interpretation.
Only if this is not the case, the test report MUST describe the Traffic Profile
in a detail sufficient to imply how Trial Forwarding Ratio should be calculated.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Forwarding Ratio MAY be expressed in other units
(e.g., as a percentage) in the test report.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Note that, contrary to Load terms, frame counts used to compute
Trial Forwarding Ratio are generally aggregates over all SUT output interfaces,
as most test procedures verify all outgoing frames.
The procedure for <xref target="RFC2544"></xref> Throughput counts received frames,
so implicitly it implies bidirectional counts for bidirectional traffic,
even though the final value is &quot;rate&quot; that is still per-interface.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For example, in a test with symmetric bidirectional traffic,
if one direction is forwarded without losses, but the opposite direction
does not forward at all, the Trial Forwarding Ratio would be 0.5 (50%).</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In future extensions, more general ways to compute Trial Forwarding Ratio
may be allowed, but the current MLRsearch Specification relies on this specific
averaged counters approach.</t>
  </dd>
</dl>

</section>
<section anchor="trial-loss-ratio"><name>Trial Loss Ratio</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Trial Loss Ratio is equal to one minus the Trial Forwarding Ratio.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>100% minus the Trial Forwarding Ratio, when expressed as a percentage.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>This is almost identical to Frame Loss Rate of Section 3.6 of <xref target="RFC1242"></xref>.
The only minor differences are that Trial Loss Ratio does not need to
be expressed as a percentage, and Trial Loss Ratio is explicitly
based on averaged frame counts when more than one data stream is present.</t>
  </dd>
</dl>

</section>
<section anchor="trial-forwarding-rate"><name>Trial Forwarding Rate</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Trial Forwarding Rate is a derived quantity, calculated by
multiplying the Trial Load by the Trial Forwarding Ratio.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>This quantity differs from the Forwarding Rate described in Section
3.6.1 of <xref target="RFC2285"></xref>. Under the RFC 2285 method, each output interface is
measured separately, so every interface may report a distinct rate. The
Trial Forwarding Rate, by contrast, uses a single set of frame counts
and therefore yields one value that represents the whole system,
while still preserving the direct link to the per-interface load.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>When the Traffic Profile is symmetric and bidirectional, as defined in
Section 14 of <xref target="RFC2544"></xref>, the Trial Forwarding Rate is numerically equal
to the arithmetic average of the individual per-interface forwarding rates
that would be produced by the RFC 2285 procedure.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For more complex traffic patterns, such as many-to-one as mentioned
in Section 3.3.2 Partially Meshed Traffic of <xref target="RFC2285"></xref>,
the meaning of Trial Forwarding Rate is less straightforward.
For example, if two input interfaces receive one million frames per second each,
and a single interface outputs 1.4 million frames per second (fps),
Trial Load is 1 million fps, Trial Loss Ratio is 30%,
and Trial Forwarding Rate is 0.7 million fps.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Because this rate is anchored to the Load defined for one interface,
a test report MAY show it either as the single averaged figure just described,
or as the sum of the separate per-interface forwarding rates.
For the example above, the aggregate trial forwarding rate is 1.4 million fps.</t>
  </dd>
</dl>

</section>
<section anchor="trial-effective-duration"><name>Trial Effective Duration</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Effective Duration is a time quantity related to a Trial,
by default equal to the Trial Duration.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>This is an optional feature.
If the Measurer does not return any Trial Effective Duration value,
the Controller MUST use the Trial Duration value instead.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Effective Duration may be any positive time quantity
chosen by the Measurer to be used for time-based decisions in the Controller.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The test report MUST explain how the Measurer computes the returned
Trial Effective Duration values, if they are not always
equal to the Trial Duration.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>This feature can be beneficial for time-critical benchmarks
designed to manage the overall search duration,
rather than solely the traffic portion of it.
An approach is to measure the duration of the whole trial (including all wait times)
and use that as the Trial Effective Duration.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>This is also a way for the Measurer to inform the Controller about
its surprising behavior, for example, when rounding the Trial Duration value.</t>
  </dd>
</dl>

</section>
<section anchor="trial-output"><name>Trial Output</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Output is a composite quantity consisting of several attributes.
Required attributes are: Trial Loss Ratio, Trial Effective Duration and
Trial Forwarding Rate.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>When referring to more than one trial, plural term &quot;Trial Outputs&quot; is
used to collectively describe multiple Trial Output instances.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Measurer implementations may provide additional optional attributes.
The Controller implementations SHOULD
ignore values of any optional attribute
they are not familiar with,
except when passing Trial Output instances to the Manager.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Example of an optional attribute:
The aggregate number of frames expected to be forwarded during the trial,
especially if it is not (a rounded-down value)
implied by Trial Load and Trial Duration.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>While Section 3.5.2 of <xref target="RFC2285"></xref> requires the Offered Load value
to be reported for forwarding rate measurements,
it is not required in MLRsearch Specification,
as search results do not depend on it.</t>
  </dd>
</dl>

</section>
<section anchor="trial-result"><name>Trial Result</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Trial Result is a composite quantity,
consisting of the Trial Input and the Trial Output.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>When referring to more than one trial, plural term &quot;Trial Results&quot; is
used to collectively describe multiple Trial Result instances.</t>
  </dd>
</dl>

</section>
</section>
<section anchor="goal-terms"><name>Goal Terms</name>

<t>This section defines new terms for quantities relevant (directly or indirectly)
for inputs and outputs of the Controller component.</t>

<t>Several goal attributes are defined before introducing
the main composite quantity: the Search Goal.</t>

<t>Contrary to other sections, definitions in subsections of this section
are necessarily vague, as their fundamental meaning is to act as
coefficients in formulas for Controller Output, which are not defined yet.</t>

<t>The discussions in this section relate the attributes to concepts mentioned in Section
<xref target="overview-of-rfc-2544-problems">Overview of RFC 2544 Problems</xref>, but even these discussion
paragraphs are short, informal, and mostly referencing later sections,
where the impact on search results is discussed after introducing
the complete set of auxiliary terms.</t>

<section anchor="goal-final-trial-duration"><name>Goal Final Trial Duration</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Minimal value for Trial Duration that must be reached.
The value MUST be positive.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Certain trials must reach this minimum duration before a load can be
classified as a lower bound.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The Controller may choose shorter durations,
results of those may be enough for classification as an Upper Bound.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>It is RECOMMENDED for all search goals to share the same
Goal Final Trial Duration value. Otherwise, Trial Duration values larger than
the Goal Final Trial Duration may occur, weakening the assumptions
the <xref target="load-classification-logic">Load Classification Logic</xref> is based on.</t>
  </dd>
</dl>

</section>
<section anchor="goal-duration-sum"><name>Goal Duration Sum</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A threshold value for a particular sum of Trial Effective Duration values.
The value MUST be positive.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, this prescribes the sufficient number of trials performed
at a specific Trial Load and Goal Final Trial Duration during the search.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>If the Goal Duration Sum is larger than the Goal Final Trial Duration,
multiple trials may be needed to be performed at the same load.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Refer to Section <xref target="mlrsearch-compliant-with-tst009">MLRsearch Compliant with TST009</xref>
for an example where the possibility of multiple trials
at the same load is intended.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>A Goal Duration Sum value shorter than the Goal Final Trial Duration
(of the same goal) could save some search time, but is NOT RECOMMENDED,
as the time savings come at the cost of decreased repeatability.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In practice, the Search can spend less than Goal Duration Sum measuring
a Load value when the results are particularly one-sided,
but also, the Search can spend more than Goal Duration Sum measuring a Load
when the results are balanced and include
trials shorter than Goal Final Trial Duration.</t>
  </dd>
</dl>

</section>
<section anchor="goal-loss-ratio"><name>Goal Loss Ratio</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A threshold value for Trial Loss Ratio values.
The value MUST be non-negative and smaller than one.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A trial with Trial Loss Ratio larger than this value
signals the SUT may be unable to process this Trial Load well enough.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>See <xref target="throughput-with-non-zero-loss">Throughput with Non-Zero Loss</xref>
for reasons why users may want to set this value above zero.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Since multiple trials may be needed for one Load value,
the Load Classification may be more complicated than mere comparison
of Trial Loss Ratio to Goal Loss Ratio.</t>
  </dd>
</dl>

</section>
<section anchor="goal-exceed-ratio"><name>Goal Exceed Ratio</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A threshold value for a particular ratio of sums
of Trial Effective Duration values.
The value MUST be non-negative and smaller than one.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, up to this proportion of Trial Results
with Trial Loss Ratio above Goal Loss Ratio is tolerated at a Lower Bound.
This is the full impact if every Trial was measured at Goal Final Trial Duration.
The actual full logic is more complicated, as shorter Trials are allowed.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For explainability reasons, the RECOMMENDED value for exceed ratio is 0.5 (50%),
as in practice that value leads to
the smallest variation in overall Search Duration.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Refer to Section <xref target="exceed-ratio-and-multiple-trials">Exceed Ratio and Multiple Trials</xref>
for more details.</t>
  </dd>
</dl>

</section>
<section anchor="goal-width"><name>Goal Width</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A threshold value for deciding whether two Trial Load values are close enough.
This is an OPTIONAL attribute. If present, the value MUST be positive.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, this acts as a stopping condition,
controlling the precision of the search result.
The search stops if every goal has reached its precision.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Implementations without this attribute
MUST provide the Controller with other means to control the search stopping conditions.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Absolute load difference and relative load difference are two popular choices,
but implementations may choose a different way to specify width.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The test report MUST make it clear what specific quantity is used as Goal Width.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>It is RECOMMENDED to express Goal Width as a relative difference and
setting it to a value not lower than the Goal Loss Ratio.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Refer to Section 
<xref target="generalized-throughput">Generalized Throughput</xref> for more elaboration on the reasoning.</t>
  </dd>
</dl>

</section>
<section anchor="goal-initial-trial-duration"><name>Goal Initial Trial Duration</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Minimal value for Trial Duration suggested to use for this goal.
If present, this value MUST be positive.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>This is an example of an optional Search Goal.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>A typical default value is equal to the Goal Final Trial Duration value.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, this is the shortest Trial Duration the Controller should select
when focusing on the goal.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Note that shorter Trial Duration values can still be used,
for example, selected while focusing on a different Search Goal.
Such results MUST be still accepted by the Load Classification logic.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Goal Initial Trial Duration is a mechanism for a user to discourage
trials with Trial Duration values deemed as too unreliable
for a particular SUT and a given Search Goal.</t>
  </dd>
</dl>

</section>
<section anchor="search-goal"><name>Search Goal</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Search Goal is a composite quantity consisting of several attributes,
some of them are required.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Required attributes: Goal Final Trial Duration, Goal Duration Sum, Goal
Loss Ratio and Goal Exceed Ratio.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Optional attributes: Goal Initial Trial Duration and Goal Width.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Implementations MAY add their own attributes.
Those additional attributes may be required by an implementation
even if they are not required by MLRsearch Specification.
However, it is RECOMMENDED for those implementations
to support missing attributes by providing typical default values.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For example, implementations with Goal Initial Trial Durations
may also require users to specify &quot;how quickly&quot; should Trial Durations increase.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Refer to Section <xref target="compliance"></xref> for important Search Goal settings.</t>
  </dd>
</dl>

</section>
<section anchor="controller-input"><name>Controller Input</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Controller Input is a composite quantity
required as an input for the Controller.
The only REQUIRED attribute is a list of Search Goal instances.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>MLRsearch implementations MAY use additional attributes.
Those additional attributes may be required by an implementation
even if they are not required by MLRsearch Specification.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Formally, the Manager does not apply any Controller configuration
apart from one Controller Input instance.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For example, Traffic Profile is configured on the Measurer by the Manager,
without explicit assistance of the Controller.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The order of Search Goal instances in a list SHOULD NOT
have a big impact on Controller Output,
but MLRsearch implementations MAY base their behavior on the order
of Search Goal instances in a list.</t>
  </dd>
</dl>

<section anchor="max-load"><name>Max Load</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Max Load is an optional attribute of Controller Input.
It is the maximal value the Controller is allowed to use for Trial Load values.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Max Load is an example of an optional attribute (outside the list of Search Goals)
required by some implementations of MLRsearch.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>If the Max Load value is provided, Controller MUST NOT select
Trial Load values larger than that value.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In theory, each search goal could have its own Max Load value,
but as all Trial Results are possibly affecting all Search Goals,
it makes more sense for a single Max Load value to apply
to all Search Goal instances.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>While Max Load is a frequently used configuration parameter, already governed
(as maximum frame rate) by <xref target="RFC2544"></xref> (Section 20)
and (as maximum offered load) by <xref target="RFC2285"></xref> (Section 3.5.3),
some implementations may detect or discover it
(instead of requiring a user-supplied value).</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In MLRsearch Specification, one reason for listing
the <xref target="relevant-upper-bound">Relevant Upper Bound</xref> as a required attribute
is that it makes the search result independent of Max Load value.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Given that Max Load is a quantity based on Load,
Test Report MAY express this quantity using multi-interface values,
as sum of per-interface maximal loads.</t>
  </dd>
</dl>

</section>
<section anchor="min-load"><name>Min Load</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Min Load is an optional attribute of Controller Input.
It is the minimal value the Controller is allowed to use for Trial Load values.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Min Load is another example of an optional attribute
required by some implementations of MLRsearch.
Similarly to Max Load, it makes more sense to prescribe one common value,
as opposed to using a different value for each Search Goal.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>If the Min Load value is provided, Controller MUST NOT select
Trial Load values smaller than that value.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Min Load is mainly useful for saving time by failing early,
arriving at an Irregular Goal Result when Min Load gets classified
as an Upper Bound.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For implementations, it is RECOMMENDED to require Min Load to be non-zero
and large enough to result in at least one frame being forwarded
even at shortest allowed Trial Duration,
so that Trial Loss Ratio is always well-defined,
and the implementation can apply relative Goal Width safely.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Given that Min Load is a quantity based on Load,
Test Report MAY express this quantity using multi-interface values,
as sum of per-interface minimal loads.</t>
  </dd>
</dl>

</section>
</section>
</section>
<section anchor="auxiliary-terms"><name>Auxiliary Terms</name>

<t>While the terms defined in this section are not strictly needed
when formulating MLRsearch requirements, they simplify the language used
in discussion paragraphs and explanation sections.</t>

<section anchor="trial-classification"><name>Trial Classification</name>

<t>When one Trial Result instance is compared to one Search Goal instance,
several relations can be named using short adjectives.</t>

<t>As trial results do not affect each other, this <strong>Trial Classification</strong>
does not change during a Search.</t>

<section anchor="high-loss-trial"><name>High-Loss Trial</name>

<t>A trial with Trial Loss Ratio larger than a Goal Loss Ratio value
is called a <strong>high-loss trial</strong>, with respect to given Search Goal
(or lossy trial, if Goal Loss Ratio is zero).</t>

</section>
<section anchor="low-loss-trial"><name>Low-Loss Trial</name>

<t>If a trial is not high-loss, it is called a <strong>low-loss trial</strong>
(or zero-loss trial, if Goal Loss Ratio is zero).</t>

</section>
<section anchor="short-trial"><name>Short Trial</name>

<t>A trial with Trial Duration shorter than the Goal Final Trial Duration
is called a <strong>short trial</strong> (with respect to the given Search Goal).</t>

</section>
<section anchor="full-length-trial"><name>Full-Length Trial</name>

<t>A trial that is not short is called a <strong>full-length</strong> trial.</t>

<t>Note that this includes Trial Durations larger than Goal Final Trial Duration.</t>

</section>
<section anchor="long-trial"><name>Long Trial</name>

<t>A trial with Trial Duration longer than the Goal Final Trial Duration
is called a <strong>long trial</strong>.</t>

</section>
</section>
<section anchor="load-classification"><name>Load Classification</name>

<t>When a set of all Trial Result instances, performed so far
at one Trial Load, is compared to one Search Goal instance,
their relation can be named using the concept of a bound.</t>

<t>In general, such bounds are a current quantity,
even though cases of a Load changing its classification more than once
during the Search is rare in practice.</t>

<section anchor="upper-bound"><name>Upper Bound</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A Load value is called an Upper Bound if and only if it is classified
as such by <xref target="load-classification-code">Appendix A</xref>
algorithm for the given Search Goal at the current moment of the Search.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>In more detail, the set of all Trial Result instances
performed so far at the Trial Load (and any Trial Duration)
is certain to fail to uphold all the requirements of the given Search Goal,
mainly the Goal Loss Ratio in combination with the Goal Exceed Ratio.
In this context, &quot;certain to fail&quot; relates to any possible results within the time
remaining till Goal Duration Sum.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>One search goal can have multiple different Trial Load values
classified as its Upper Bounds.
While search progresses and more trials are measured,
any load value can become an Upper Bound in principle.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Moreover, a Load can stop being an Upper Bound, but that
can only happen when more than Goal Duration Sum of trials are measured
(e.g., because another Search Goal needs more trials at this load).
Informally, the previous Upper Bound got invalidated.
In practice, the Load frequently becomes a <xref target="lower-bound">Lower Bound</xref> instead.</t>
  </dd>
</dl>

</section>
<section anchor="lower-bound"><name>Lower Bound</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A Load value is called a Lower Bound if and only if it is classified
as such by <xref target="load-classification-code">Appendix A</xref>
algorithm for the given Search Goal at the current moment of the search.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>In more detail, the set of all Trial Result instances
performed so far at the Trial Load (and any Trial Duration)
is certain to uphold all the requirements of the given Search Goal,
mainly the Goal Loss Ratio in combination with the Goal Exceed Ratio.
Here &quot;certain to uphold&quot; relates to any possible results within the time
remaining till Goal Duration Sum.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>One search goal can have multiple different Trial Load values
classified as its Lower Bounds.
As search progresses and more trials are measured,
any load value can become a Lower Bound in principle.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>No load can be both an Upper Bound and a Lower Bound for the same Search goal
at the same time, but it is possible for a larger load to be a Lower Bound
while a smaller load is an Upper Bound.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Moreover, a Load can stop being a Lower Bound, but that
can only happen when more than Goal Duration Sum of trials are measured
(e.g., because another Search Goal needs more trials at this load).
Informally, the previous Lower Bound got invalidated.
In practice, the Load frequently becomes an <xref target="upper-bound">Upper Bound</xref> instead.</t>
  </dd>
</dl>

</section>
<section anchor="undecided"><name>Undecided</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A Load value is called Undecided if it is currently
neither an Upper Bound nor a Lower Bound.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>A Load value that has not been measured so far is Undecided.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>It is possible for a Load to transition from an Upper Bound to Undecided
by adding Short Trials with Low-Loss results.
That is yet another reason for users to avoid using Search Goal instances
with different Goal Final Trial Duration values.</t>
  </dd>
</dl>

</section>
</section>
</section>
<section anchor="result-terms"><name>Result Terms</name>

<t>Before defining the full structure of a Controller Output,
it is useful to define the composite quantity, called Goal Result.
The following subsections define its attribute first,
before describing the Goal Result quantity.</t>

<t>There is a correspondence between Search Goals and Goal Results.
Most of the following subsections refer to a given Search Goal,
when defining their terms.
Conversely, at the end of the search, each Search Goal instance
has its corresponding Goal Result instance.</t>

<section anchor="relevant-upper-bound"><name>Relevant Upper Bound</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Relevant Upper Bound is the smallest Trial Load value
classified as an Upper Bound for a given Search Goal at the end of the Search.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>If no measured load had enough High-Loss Trials,
the Relevant Upper Bound MAY be non-existent.
For example, when Max Load is classified as a Lower Bound.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Conversely, when Relevant Upper Bound does exist,
it is not affected by Max Load value.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Given that Relevant Upper Bound is a quantity based on Load,
Test Report MAY express this quantity using multi-interface values,
as sum of per-interface loads.</t>
  </dd>
</dl>

</section>
<section anchor="relevant-lower-bound"><name>Relevant Lower Bound</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Relevant Lower Bound is the largest Trial Load value
among those smaller than the Relevant Upper Bound, that got classified
as a Lower Bound for a given Search Goal at the end of the search.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>If no load had enough Low-Loss Trials, the Relevant Lower Bound
MAY be non-existent.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Strictly speaking, if the Relevant Upper Bound does not exist,
the Relevant Lower Bound also does not exist.
In a typical case, Max Load is classified as a Lower Bound,
making it impossible to increase the Load to continue the search
for an Upper Bound.
Thus, it is not clear whether a larger value would be found
for a Relevant Lower Bound if larger Loads were possible.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Given that Relevant Lower Bound is a quantity based on Load,
Test Report MAY express this quantity using multi-interface values,
as sum of per-interface loads.</t>
  </dd>
</dl>

</section>
<section anchor="conditional-throughput"><name>Conditional Throughput</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Conditional Throughput is a value computed at the Relevant Lower Bound
according to algorithm defined in
<xref target="conditional-throughput-code">Appendix B</xref>.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Relevant Lower Bound is defined only at the end of the Search,
and so is the Conditional Throughput.
But the algorithm can be applied at any time on any Lower Bound load,
so the final Conditional Throughput value may appear sooner
than at the end of a Search.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, the Conditional Throughput should be
a typical Trial Forwarding Rate, expected to be seen
at the Relevant Lower Bound of a given Search Goal.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>But frequently it is only a conservative estimate thereof,
as MLRsearch implementations tend to stop measuring more Trials
as soon as they confirm the value cannot get worse than this estimate
within the Goal Duration Sum.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>This value is RECOMMENDED to be used when evaluating repeatability
and comparability of different MLRsearch implementations.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Refer to Section <xref target="generalized-throughput">Generalized Throughput</xref> for more details.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Given that Conditional Throughput is a quantity based on Load,
Test Report MAY express this quantity using multi-interface values,
as sum of per-interface forwarding rates.</t>
  </dd>
</dl>

</section>
<section anchor="goal-results"><name>Goal Results</name>

<t>MLRsearch Specification is based on a set of requirements
for a &quot;regular&quot; result. But in practice, it is not always possible
for such result instance to exist, so also &quot;irregular&quot; results
need to be supported.</t>

<section anchor="regular-goal-result"><name>Regular Goal Result</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Regular Goal Result is a composite quantity consisting of several attributes.
Relevant Upper Bound and Relevant Lower Bound are REQUIRED attributes.
Conditional Throughput is a RECOMMENDED attribute.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Implementations MAY add their own attributes.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Test report MUST display Relevant Lower Bound.
Displaying Relevant Upper Bound is RECOMMENDED,
especially if the implementation does not use Goal Width.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>In general, stopping conditions for the corresponding Search Goal MUST
be satisfied to produce a Regular Goal Result.
Specifically, if an implementation offers Goal Width as a Search Goal attribute,
the distance between the Relevant Lower Bound
and the Relevant Upper Bound MUST NOT be larger than the Goal Width.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For stopping conditions refer to Sections <xref target="goal-width">Goal Width</xref> and
<xref target="stopping-conditions-and-precision">Stopping Conditions and Precision</xref>.</t>
  </dd>
</dl>

</section>
<section anchor="irregular-goal-result"><name>Irregular Goal Result</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Irregular Goal Result is a composite quantity. No attributes are required.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>It is RECOMMENDED to report any useful quantity even if it does not
satisfy all the requirements. For example, if Max Load is classified
as a Lower Bound, it is fine to report it as an &quot;effective&quot; Relevant Lower Bound
(although not a real one, as that requires
Relevant Upper Bound which does not exist in this case),
and compute Conditional Throughput for it. In this case,
only the missing Relevant Upper Bound signals this result instance is irregular.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Similarly, if both relevant bounds exist, it is RECOMMENDED
to include them as Irregular Goal Result attributes,
and let the Manager decide if their distance is too far for Test Report purposes.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>If Test Report displays some Irregular Goal Result attribute values,
they MUST be clearly marked as coming from irregular results.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The implementation MAY define additional attributes,
for example explicit flags for expected situations, so the Manager logic can be simpler.</t>
  </dd>
</dl>

</section>
<section anchor="goal-result"><name>Goal Result</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Goal Result is a composite quantity.
Each instance is either a Regular Goal Result or an Irregular Goal Result.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Manager MUST be able of distinguishing whether the instance is regular or not.</t>
  </dd>
</dl>

</section>
</section>
<section anchor="search-result"><name>Search Result</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Search Result is a single composite object
that maps each Search Goal instance to a corresponding Goal Result instance.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>As an alternative to mapping, the Search Result may be represented
as an ordered list of Goal Result instances that appears in the exact
sequence of their corresponding Search Goal instances.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>When the Search Result is expressed as a mapping, it MUST contain an
entry for every Search Goal instance supplied in the Controller Input.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Identical Goal Result instances MAY be listed for different Search Goals,
but their status as regular or irregular may be different.
For example, if two goals differ only in Goal Width value,
and the relevant bound values are close enough according to only one of them.</t>
  </dd>
</dl>

</section>
<section anchor="controller-output"><name>Controller Output</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Controller Output is a composite quantity returned from the Controller
to the Manager at the end of the search.
The Search Result instance is its only required attribute.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>MLRsearch implementation MAY return additional data in the Controller Output,
e.g., number of trials performed and the total Search Duration.</t>
  </dd>
</dl>

</section>
</section>
<section anchor="architecture-terms"><name>Architecture Terms</name>

<t>MLRsearch architecture consists of three main system components: 
the Manager, the Controller, and the Measurer.
The components were introduced in <xref target="architecture-overview">Architecture Overview</xref>,
and the following subsections finalize their definitions
using terms from previous sections.</t>

<t>Note that the architecture also implies the presence of other components,
such as the SUT and the tester (as a sub-component of the Measurer).</t>

<t>Communication protocols and interfaces between components are left
unspecified. For example, when MLRsearch Specification mentions
&quot;Controller calls Measurer&quot;,
it is possible that the Controller notifies the Manager
to call the Measurer indirectly instead. In doing so, the Measurer implementations
can be fully independent from the Controller implementations,
e.g., developed in different programming languages.</t>

<section anchor="measurer"><name>Measurer</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Measurer is a functional element that when called
with a <xref target="trial-input">Trial Input</xref> instance, performs one <xref target="trial">Trial </xref>
and returns a <xref target="trial-output">Trial Output</xref> instance.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>This definition assumes the Measurer is already initialized.
In practice, there may be additional steps before the Search,
e.g., when the Manager configures the traffic profile
(either on the Measurer or on its tester sub-component directly)
and performs a warm-up (if the tester or the test procedure requires one).</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>It is the responsibility of the Measurer implementation to uphold
any requirements and assumptions present in MLRsearch Specification,
e.g., Trial Forwarding Ratio not being larger than one.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Implementers have some freedom.
For example, Section 10 of <xref target="RFC2544"></xref>
gives some suggestions (but not requirements) related to
duplicated or reordered frames.
Implementations are RECOMMENDED to document their behavior
related to such freedoms in as detailed a way as possible.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>It is RECOMMENDED to benchmark the test equipment first,
e.g., connect sender and receiver directly (without any SUT in the path),
find a load value that guarantees the Offered Load is not too far
from the Intended Load and use that value as the Max Load value.
When testing the real SUT, it is RECOMMENDED to turn any severe deviation
between the Intended Load and the Offered Load into increased Trial Loss Ratio.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Neither of the two recommendations are made into mandatory requirements,
because it is not easy to provide guidance about when the difference is severe enough,
in a way that would be disentangled from other Measurer freedoms.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For a sample situation where the Offered Load cannot keep up
with the Intended Load, and the consequences on MLRsearch result,
refer to Section <xref target="hard-performance-limit">Hard Performance Limit</xref>.</t>
  </dd>
</dl>

</section>
<section anchor="controller"><name>Controller</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Controller is a functional element that, upon receiving a Controller
Input instance, repeatedly generates Trial Input instances for the
Measurer and collects the corresponding Trial Output instances. This
cycle continues until the stopping conditions are met, at which point
the Controller produces a final Controller Output instance and
terminates.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, the Controller has big freedom in selection of Trial Inputs,
and the implementations want to achieve all the Search Goals
in the shortest average time.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The Controller&#39;s role in optimizing the overall Search Duration
distinguishes MLRsearch algorithms from simpler search procedures.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Informally, each implementation can have different stopping conditions.
Goal Width is only one example.
In practice, implementation details do not matter,
as long as Goal Result instances are regular.</t>
  </dd>
</dl>

</section>
<section anchor="manager"><name>Manager</name>

<t>Definition:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Manager is a functional element that is responsible for
provisioning other components, calling a Controller component once,
and for creating the test report following the reporting format as
defined in Section 26 of <xref target="RFC2544"></xref>.</t>
  </dd>
</dl>

<t>Discussion:</t>

<dl>
  <dt>&#160;</dt>
  <dd>
    <t>The Manager initializes the SUT, the Measurer
(and the tester if independent from Measurer)
with their intended configurations before calling the Controller.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>Note that Section 7 of <xref target="RFC2544"></xref> already puts requirements on SUT setups:</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>&quot;It is expected that all of the tests will be run without changing the
configuration or setup of the DUT in any way other than that required
to do the specific test. For example, it is not acceptable to change
the size of frame handling buffers between tests of frame handling
rates or to disable all but one transport protocol when testing the
throughput of that protocol.&quot;</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>It is REQUIRED for the test report to encompass all the SUT configuration
details, including description of a &quot;default&quot; configuration common for most tests
and configuration changes if required by a specific test.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>For example, Section 5.1.1 of <xref target="RFC5180"></xref> recommends testing jumbo frames
if SUT can forward them, even though they are outside the scope
of the 802.3 IEEE standard. In this case, it is acceptable
for the SUT default configuration to not support jumbo frames,
and only enable this support when testing jumbo traffic profiles,
as the handling of jumbo frames typically has different packet buffer
requirements and potentially higher processing overhead.
Non-jumbo frame sizes should also be tested on the jumbo-enabled setup.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>The Manager does not need to be able to tweak any Search Goal attributes,
but it MUST report all applied attribute values even if not tweaked.</t>
  </dd>
  <dt>&#160;</dt>
  <dd>
    <t>A &quot;user&quot; - human or automated - invokes the Manager once to launch a
single Search and receive its report. Every new invocation is treated
as a fresh, independent Search; how the system behaves across multiple
calls (for example, combining or comparing their results) is explicitly
out of scope for this document.</t>
  </dd>
</dl>

</section>
</section>
<section anchor="compliance"><name>Compliance</name>

<t>This section discusses compliance relations between MLRsearch
and other test procedures.</t>

<section anchor="test-procedure-compliant-with-mlrsearch"><name>Test Procedure Compliant with MLRsearch</name>

<t>Any networking measurement setup that could be understood as consisting of
functional elements satisfying requirements
for the Measurer, the Controller and the Manager,
is compliant with MLRsearch Specification.</t>

<t>These components can be seen as abstractions present in any testing procedure.
For example, there can be a single component acting both
as the Manager and the Controller, but if values of required attributes
of Search Goals and Goal Results are visible in the test report,
the Controller Input instance and Controller Output instance are implied.</t>

<t>For example, any setup for conditionally (or unconditionally)
compliant <xref target="RFC2544"></xref> throughput testing
can be understood as a MLRsearch architecture,
if there is enough data to reconstruct the Relevant Upper Bound.</t>

<t>Refer to section 
<xref target="mlrsearch-compliant-with-rfc-2544">MLRsearch Compliant with RFC 2544</xref>
for an equivalent Search Goal.</t>

<t>Any test procedure that can be understood as one call to the Manager of
MLRsearch architecture is said to be compliant with MLRsearch Specification.</t>

</section>
<section anchor="mlrsearch-compliant-with-rfc-2544"><name>MLRsearch Compliant with RFC 2544</name>

<t>The following Search Goal instance makes the corresponding Search Result
unconditionally compliant with Section 24 of <xref target="RFC2544"></xref>.</t>

<t><list style="symbols">
  <t>Goal Final Trial Duration = 60 seconds</t>
  <t>Goal Duration Sum = 60 seconds</t>
  <t>Goal Loss Ratio = 0%</t>
  <t>Goal Exceed Ratio = 0%</t>
</list></t>

<t>Goal Loss Ratio and Goal Exceed Ratio attributes,
are enough to make the Search Goal conditionally compliant.
Adding Goal Final Trial Duration
makes the Search Goal unconditionally compliant.</t>

<t>Goal Duration Sum prevents MLRsearch
from repeating zero-loss Full-Length Trials.</t>

<t>The presence of other Search Goals does not affect the compliance
of this Goal Result.
The Relevant Lower Bound and the Conditional Throughput are in this case
equal to each other, and the value is the <xref target="RFC2544"></xref> throughput.</t>

<t>Non-zero exceed ratio is not strictly disallowed, but it could
needlessly prolong the search when Low-Loss short trials are present.</t>

</section>
<section anchor="mlrsearch-compliant-with-tst009"><name>MLRsearch Compliant with TST009</name>

<t>One of the alternatives to <xref target="RFC2544"></xref> is Binary search with loss verification
as described in Section 12.3.3 of <xref target="TST009"></xref>.</t>

<t>The rationale of such search is to repeat high-loss trials, hoping for zero loss on second try,
so the results are closer to the noiseless end of performance spectrum,
thus more repeatable and comparable.</t>

<t>Only the variant with &quot;z = infinity&quot; is achievable with MLRsearch.</t>

<t>For example, for &quot;max(r) = 2&quot; variant, the following Search Goal instance
should be used to get compatible Search Result:</t>

<t><list style="symbols">
  <t>Goal Final Trial Duration = 60 seconds</t>
  <t>Goal Duration Sum = 120 seconds</t>
  <t>Goal Loss Ratio = 0%</t>
  <t>Goal Exceed Ratio = 50%</t>
</list></t>

<t>If the first 60 seconds trial has zero loss, it is enough for MLRsearch to stop
measuring at that load, as even a second high-loss trial
would still fit within the exceed ratio.</t>

<t>But if the first trial is high-loss, MLRsearch needs to perform also
the second trial to classify that load.
Goal Duration Sum is twice as long as Goal Final Trial Duration,
so third full-length trial is never needed.</t>

</section>
</section>
</section>
<section anchor="methodology-rationale-and-design-considerations"><name>Methodology Rationale and Design Considerations</name>

<t>This section explains the Why behind MLRsearch. Building on the
normative specification in Section
<xref target="mlrsearch-specification">MLRsearch Specification</xref>,
it contrasts MLRsearch with the classic
<xref target="RFC2544"></xref> single-ratio binary-search procedure and walks through the
key design choices: binary-search mechanics, stopping-rule precision,
loss-inversion for multiple goals, exceed-ratio handling, short-trial
strategies, and the generalised throughput concept. Together, these
considerations show how the methodology reduces test time, supports
multiple loss ratios, and improves repeatability.</t>

<section anchor="binary-search"><name>Binary Search</name>

<t>A typical binary search implementation for <xref target="RFC2544"></xref>
tracks only the two tightest bounds.
To start, the search needs both Max Load and Min Load values.
Then, one trial is used to confirm Max Load is an Upper Bound,
and one trial to confirm Min Load is a Lower Bound.</t>

<t>Then, next Trial Load is chosen as the mean of the current tightest upper bound
and the current tightest lower bound, and becomes a new tightest bound
depending on the Trial Loss Ratio.</t>

<t>After some number of trials, the tightest lower bound becomes the throughput,
but <xref target="RFC2544"></xref> does not specify when, if ever, the search should stop.
In practice, the search stops either at some distance
between the tightest upper bound and the tightest lower bound,
or after some number of Trials.</t>

<t>For a given pair of Max Load and Min Load values,
there is one-to-one correspondence between number of Trials
and final distance between the tightest bounds.
Thus, the search always takes the same time,
assuming initial bounds are confirmed.</t>

</section>
<section anchor="stopping-conditions-and-precision"><name>Stopping Conditions and Precision</name>

<t>MLRsearch Specification requires listing both Relevant Bounds for each
Search Goal, and the difference between the bounds implies
whether the result precision is achieved.
Therefore, it is not necessary to report the specific stopping condition used.</t>

<t>MLRsearch implementations may use Goal Width
to allow direct control of result precision
and indirect control of the Search Duration.</t>

<t>Other MLRsearch implementations may use different stopping conditions:
for example based on the Search Duration, trading off precision control
for duration control.</t>

<t>Due to various possible time optimizations, there is no strict
correspondence between the Search Duration and Goal Width values.
In practice, noisy SUT performance increases both average search time
and its variance.</t>

</section>
<section anchor="loss-ratios-and-loss-inversion"><name>Loss Ratios and Loss Inversion</name>

<t>The biggest difference between MLRsearch and <xref target="RFC2544"></xref> binary search
is in the goals of the search.
<xref target="RFC2544"></xref> has a single goal, based on classifying a single full-length trial
as either zero-loss or non-zero-loss.
MLRsearch supports searching for multiple Search Goals at once,
usually differing in their Goal Loss Ratio values.</t>

<section anchor="single-goal-and-hard-bounds"><name>Single Goal and Hard Bounds</name>

<t>Each bound in <xref target="RFC2544"></xref> simple binary search is &quot;hard&quot;,
in the sense that all further Trial Load values
are smaller than any current upper bound and larger than any current lower bound.</t>

<t>This is also possible for MLRsearch implementations,
when the search is started with only one Search Goal instance.</t>

</section>
<section anchor="multiple-goals-and-loss-inversion"><name>Multiple Goals and Loss Inversion</name>

<t>MLRsearch Specification supports multiple Search Goals, making the search procedure
more complicated compared to binary search with single goal,
but most of the complications do not affect the final results much.
Except for one phenomenon: Loss Inversion.</t>

<t>Depending on Search Goal attributes, Load Classification results may be resistant
to small amounts of <xref target="inconsistent-trial-results">Inconsistent Trial Results</xref>.
However, for larger amounts, a Load that is classified
as an Upper Bound for one Search Goal
may still be a Lower Bound for another Search Goal.
Due to this other goal, MLRsearch will probably perform subsequent Trials
at Trial Loads even larger than the original value.</t>

<t>This introduces questions any many-goals search algorithm has to address.
For example: What to do when all such larger load trials happen to have zero loss?
Does it mean the earlier upper bound was not real?
Does it mean the later Low-Loss trials are not considered a lower bound?</t>

<t>The situation where a smaller Load is classified as an Upper Bound,
while a larger Load is classified as a Lower Bound (for the same search goal),
is called Loss Inversion.</t>

<t>Conversely, only single-goal search algorithms can have hard bounds
that shield them from Loss Inversion.</t>

</section>
<section anchor="conservativeness-and-relevant-bounds"><name>Conservativeness and Relevant Bounds</name>

<t>MLRsearch is conservative when dealing with Loss Inversion:
the Upper Bound is considered real, and the Lower Bound
is considered to be a fluke, at least when computing the final result.</t>

<t>This is formalized using definitions of
<xref target="relevant-upper-bound">Relevant Upper Bound</xref> and
<xref target="relevant-lower-bound">Relevant Lower Bound</xref>.</t>

<t>The Relevant Upper Bound (for specific goal) is the smallest Load classified
as an Upper Bound. But the Relevant Lower Bound is not simply
the largest among Lower Bounds. It is the largest Load among Loads
that are Lower Bounds while also being smaller than the Relevant Upper Bound.</t>

<t>With these definitions, the Relevant Lower Bound is always smaller
than the Relevant Upper Bound (if both exist), and the two relevant bounds
are used analogously as the two tightest bounds in the binary search.
When they meet the stopping conditions, the Relevant Bounds are used in the output.</t>

</section>
<section anchor="consequences"><name>Consequences</name>

<t>The consequence of the way the Relevant Bounds are defined is that
every Trial Result can have an impact
on any current Relevant Bound larger than that Trial Load,
namely by becoming a new Upper Bound.</t>

<t>This also applies when that Load is measured
before another Load gets enough measurements to become a current Relevant Bound.</t>

<t>This also implies that if the SUT tested (or the Traffic Generator used)
needs a warm-up, it should be warmed up before starting the Search,
otherwise the first few measurements could become unjustly limiting.</t>

<t>For MLRsearch implementations, it means it is better to measure
at smaller Loads first, so bounds found earlier are less likely
to get invalidated later.</t>

</section>
</section>
<section anchor="exceed-ratio-and-multiple-trials"><name>Exceed Ratio and Multiple Trials</name>

<t>The idea of performing multiple Trials at the same Trial Load comes from
a model where some Trial Results (those with high Trial Loss Ratio) are affected
by infrequent effects, causing unsatisfactory repeatability</t>

<t>of <xref target="RFC2544"></xref> Throughput results. Refer to Section <xref target="dut-in-sut">DUT in SUT</xref>
for a discussion about noiseful and noiseless ends
of the SUT performance spectrum.
Stable results are closer to the noiseless end of the SUT performance spectrum,
so MLRsearch may need to allow some frequency of high-loss trials
to ignore the rare but big effects near the noiseful end.</t>

<t>For MLRsearch to perform such Trial Result filtering, it needs
a configuration option to tell how frequent the &quot;infrequent&quot; big loss can be.
This option is called the <xref target="goal-exceed-ratio">Goal Exceed Ratio</xref>.
It tells MLRsearch what ratio of trials (more specifically,
what ratio of Trial Effective Duration seconds)
can have a <xref target="trial-loss-ratio">Trial Loss Ratio</xref>
larger than the <xref target="goal-loss-ratio">Goal Loss Ratio</xref>
and still be classified as a <xref target="lower-bound">Lower Bound</xref>.</t>

<t>Zero exceed ratio means all Trials must have a Trial Loss Ratio
equal to or lower than the Goal Loss Ratio.</t>

<t>When more than one Trial is intended to classify a Load,
MLRsearch also needs something that controls the number of trials needed.
Therefore, each goal also has an attribute called Goal Duration Sum.</t>

<t>The meaning of a <xref target="goal-duration-sum">Goal Duration Sum</xref> is that
when a Load has (Full-Length) Trials
whose Trial Effective Durations when summed up give a value at least as big
as the Goal Duration Sum value,
the Load is guaranteed to be classified either as an Upper Bound
or a Lower Bound for that Search Goal instance.</t>

</section>
<section anchor="short-trials-and-duration-selection"><name>Short Trials and Duration Selection</name>

<t>MLRsearch requires each Search Goal to specify its Goal Final Trial Duration.</t>

<t>Section 24 of <xref target="RFC2544"></xref> already anticipates possible time savings
when Short Trials are used.</t>

<t>An MLRsearch implementation MAY expose configuration parameters that
decide whether, when, and how short trial durations are used. The exact
heuristics and controls are left to the discretion of the implementer.</t>

<t>While MLRsearch implementations are free to use any logic to select
Trial Input values, comparability between MLRsearch implementations
is only assured when the Load Classification logic
handles any possible set of Trial Results in the same way.</t>

<t>The presence of Short Trial Results complicates
the Load Classification logic, see more details in Section
<xref target="load-classification-logic">Load Classification Logic</xref>.</t>

<t>While the Load Classification algorithm is designed to avoid any unneeded Trials,
for explainability reasons it is recommended for users to use
such Controller Input instances that lead to all Trial Duration values
selected by Controller to be the same,
e.g., by setting any Goal Initial Trial Duration to be a single value
also used in all Goal Final Trial Duration attributes.</t>

</section>
<section anchor="generalized-throughput"><name>Generalized Throughput</name>

<t>Because testing equipment takes the Intended Load
as an input parameter for a Trial measurement,
any load search algorithm needs to deal with Intended Load values internally.</t>

<t>But in the presence of Search Goals with a non-zero
<xref target="goal-loss-ratio">Goal Loss Ratio</xref>, the Load usually does not match
the user&#39;s intuition of what a throughput is.
The forwarding rate as defined in Section Section 3.6.1 of <xref target="RFC2285"></xref> is better,
but it is not obvious how to generalize it
for Loads with multiple Trials and a non-zero Goal Loss Ratio.</t>

<t>The clearest illustration - and the chief reason for adopting a
generalized throughput definition - is the presence of a hard
performance limit.</t>

<section anchor="hard-performance-limit"><name>Hard Performance Limit</name>

<t>Even if bandwidth of a medium allows higher traffic forwarding performance,
the SUT interfaces may have their additional own limitations,
e.g., a specific frames-per-second limit on the NIC (a common occurrence).</t>

<t>Those limitations should be known and provided as Max Load, Section
<xref target="max-load">Max Load</xref>.</t>

<t>But if Max Load is set larger than what the interface can receive or transmit,
there will be a &quot;hard limit&quot; behavior observed in Trial Results.</t>

<t>Consider that the hard limit is at hundred million frames per second (100 Mfps),
Max Load is larger, and the Goal Loss Ratio is 0.5%.
If DUT has no additional losses, 0.5% Trial Loss Ratio will be achieved
at Relevant Lower Bound of 100.5025 Mfps.</t>

<t>Reporting a throughput that exceeds the SUT&#39;s verified hard limit is
counter-intuitive. Accordingly, the <xref target="RFC2544"></xref> Throughput metric should
be generalized - rather than relying solely on the Relevant Lower
Bound - to reflect realistic, limit-aware performance.</t>

<t>MLRsearch defines one such generalization,
the <xref target="conditional-throughput">Conditional Throughput</xref>.
It is the Trial Forwarding Rate from one of the Full-Length Trials
performed at the Relevant Lower Bound.
The algorithm to determine which trial exactly is in
<xref target="conditional-throughput-code">Appendix B</xref>.</t>

<t>In the hard limit example, 100.5025 Mfps Load will still have
only 100.0 Mfps forwarding rate, nicely confirming the known limitation.</t>

</section>
<section anchor="performance-variability"><name>Performance Variability</name>

<t>With non-zero Goal Loss Ratio, and without hard performance limits,
Low-Loss trials at the same Load may achieve different Trial Forwarding Rate
values just due to DUT performance variability.</t>

<t>By comparing the best case (all Relevant Lower Bound trials have zero loss)
and the worst case (all Trial Loss Ratios at Relevant Lower Bound
are equal to the Goal Loss Ratio),
one can prove that Conditional Throughput
values may have up to the Goal Loss Ratio relative difference.</t>

<t>Setting the Goal Width below the Goal Loss Ratio
may cause the Conditional Throughput for a larger Goal Loss Ratio to become smaller
than a Conditional Throughput for a goal with a lower Goal Loss Ratio,
which is counter-intuitive, considering they come from the same Search.
Therefore, it is RECOMMENDED to set the Goal Width to a value no lower
than the Goal Loss Ratio of the higher-loss Search Goal.</t>

<t>Although Conditional Throughput can fluctuate from one run to the next,
it still offers a more discriminating basis for comparison than the
Relevant Lower Bound - particularly when deterministic load selection
yields the same Lower Bound value across multiple runs.</t>

</section>
</section>
</section>
<section anchor="mlrsearch-logic-and-example"><name>MLRsearch Logic and Example</name>

<t>This section uses informal language to describe two aspects of MLRsearch logic:
Load Classification and Conditional Throughput,
reflecting formal pseudocode representation provided in
<xref target="load-classification-code">Appendix A</xref>
and <xref target="conditional-throughput-code">Appendix B</xref>.
This is followed by example search.</t>

<t>The logic is equivalent but not identical to the pseudocode
on appendices. The pseudocode is designed to be short and frequently
combines multiple operations into one expression.
The logic as described in this section lists each operation separately
and uses more intuitive names for the intermediate values.</t>

<section anchor="load-classification-logic"><name>Load Classification Logic</name>

<t>Note: For clarity of explanation, variables are tagged as (I)nput,
(T)emporary, (O)utput.</t>

<t><list style="symbols">
  <t>Collect Trial Results:  <list style="symbols">
      <t>Take all Trial Result instances (I) measured at a given load.</t>
    </list></t>
  <t>Aggregate Trial Durations:  <list style="symbols">
      <t>Full-length high-loss sum (T) is the sum of Trial Effective Duration
values of all full-length high-loss trials (I).</t>
      <t>Full-length low-loss sum (T) is the sum of Trial Effective Duration
values of all full-length low-loss trials (I).</t>
      <t>Short high-loss sum is the sum (T)  of Trial Effective Duration values
of all short high-loss trials (I).</t>
      <t>Short low-loss sum is the sum (T) of Trial Effective Duration values
of all short low-loss trials (I).</t>
    </list></t>
  <t>Derive goal-based ratios:  <list style="symbols">
      <t>Subceed ratio (T) is One minus the Goal Exceed Ratio (I).</t>
      <t>Exceed coefficient (T) is the Goal Exceed Ratio divided by the subceed
ratio.</t>
    </list></t>
  <t>Balance short-trial effects:  <list style="symbols">
      <t>Balancing sum (T) is the short low-loss sum
multiplied by the exceed coefficient.</t>
      <t>Excess sum (T) is the short high-loss sum minus the balancing sum.</t>
      <t>Positive excess sum (T) is the maximum of zero and excess sum.</t>
    </list></t>
  <t>Compute effective duration totals  <list style="symbols">
      <t>Effective high-loss sum (T) is the full-length high-loss sum
plus the positive excess sum.</t>
      <t>Effective full sum (T) is the effective high-loss sum
plus the full-length low-loss sum.</t>
      <t>Effective whole sum (T) is the larger of the effective full sum
and the Goal Duration Sum.</t>
      <t>Missing sum (T) is the effective whole sum minus the effective full sum.</t>
    </list></t>
  <t>Estimate exceed ratios:  <list style="symbols">
      <t>Pessimistic high-loss sum (T) is the effective high-loss sum
plus the missing sum.</t>
      <t>Optimistic exceed ratio (T) is the effective high-loss sum
divided by the effective whole sum.</t>
      <t>Pessimistic exceed ratio (T) is the pessimistic high-loss sum
divided by the effective whole sum.</t>
    </list></t>
  <t>Classify the Load:  <list style="symbols">
      <t>The load is classified as an Upper Bound (O) if the optimistic exceed
ratio is larger than the Goal Exceed Ratio.</t>
      <t>The load is classified as a Lower Bound (O) if the pessimistic exceed
ratio is not larger than the Goal Exceed Ratio.</t>
      <t>The load is classified as undecided (O) otherwise.</t>
    </list></t>
</list></t>

</section>
<section anchor="conditional-throughput-logic"><name>Conditional Throughput Logic</name>

<t><list style="symbols">
  <t>Collect Trial Results  <list style="symbols">
      <t>Take all Trial Result instances (I) measured at a given Load.</t>
    </list></t>
  <t>Sum Full-Length Durations:  <list style="symbols">
      <t>Full-length high-loss sum (T) is the sum of Trial Effective Duration
values of all full-length high-loss trials (I).</t>
      <t>Full-length low-loss sum (T) is the sum of Trial Effective Duration
values of all full-length low-loss trials (I).</t>
      <t>Full-length sum (T) is the full-length high-loss sum (I) plus the
full-length low-loss sum (I).</t>
    </list></t>
  <t>Derive initial thresholds:  <list style="symbols">
      <t>Subceed ratio (T) is One minus the Goal Exceed Ratio (I) is called.</t>
      <t>Remaining sum (T) initially is full-lengths sum multiplied by subceed
ratio.</t>
      <t>Current loss ratio (T) initially is 100%.</t>
    </list></t>
  <t>Iterate through ordered trials  <list style="symbols">
      <t>For each full-length trial result, sorted in increasing order by Trial
Loss Ratio:      <list style="symbols">
          <t>If remaining sum is not larger than zero, exit the loop.</t>
          <t>Set current loss ratio to this trial&#39;s Trial Loss Ratio (I).</t>
          <t>Decrease the remaining sum by this trial&#39;s Trial Effective Duration (I).</t>
        </list></t>
    </list></t>
  <t>Compute Conditional Throughput  <list style="symbols">
      <t>Current forwarding ratio (T) is One minus the current loss ratio.</t>
      <t>Conditional Throughput (T) is the current forwarding ratio multiplied
by the Load value.</t>
    </list></t>
</list></t>

<section anchor="conditional-throughput-and-load-classification"><name>Conditional Throughput and Load Classification</name>

<t>Conditional Throughput and results of Load Classification overlap but
are not identical.</t>

<t><list style="symbols">
  <t>When a load is marked as a Relevant Lower Bound, its Conditional
Throughput is taken from a trial whose loss ratio never exceeds the
Goal Loss Ratio.</t>
  <t>The reverse is not guaranteed: if the Goal Width is narrower than the
Goal Loss Ratio, Conditional Throughput can still end up higher than
the Relevant Upper Bound.</t>
</list></t>

</section>
</section>
<section anchor="sut-behaviors"><name>SUT Behaviors</name>

<t>In Section <xref target="dut-in-sut">DUT in SUT</xref>, the notion of noise has been introduced.
This section uses new terms
to describe possible SUT behaviors more precisely.</t>

<t>From measurement point of view, noise is visible as inconsistent trial results.
See <xref target="inconsistent-trial-results">Inconsistent Trial Results</xref> for general points
and <xref target="loss-ratios-and-loss-inversion">Loss Ratios and Loss Inversion</xref>
for specifics when comparing different Load values.</t>

<t>Load Classification and Conditional Throughput apply to a single Load value,
but even the set of Trial Results measured at that Trial Load value
may appear inconsistent.</t>

<t>As MLRsearch aims to save time, it executes only a small number of Trials,
getting only a limited amount of information about SUT behavior.
It is useful to introduce an &quot;SUT expert&quot; point of view to contrast
with that limited information.</t>

<section anchor="expert-predictions"><name>Expert Predictions</name>

<t>Imagine that before the Search starts, a human expert had unlimited time
to measure SUT and obtain all reliable information about it.
The information is not perfect, as there is still random noise influencing SUT.
But the expert is familiar with possible noise events, even the rare ones,
and thus the expert can do probabilistic predictions about future Trial Outputs.</t>

<t>When several outcomes are possible,
the expert can assess probability of each outcome.</t>

</section>
<section anchor="exceed-probability"><name>Exceed Probability</name>

<t>When the Controller selects new Trial Duration and Trial Load,
and just before the Measurer starts performing the Trial,
the SUT expert can envision possible Trial Results.</t>

<t>With respect to a particular Search Goal instance, the possibilities
can be summarized into a single number: Exceed Probability.
It is the probability (according to the expert) that the measured
Trial Loss Ratio will be higher than the Goal Loss Ratio.</t>

</section>
<section anchor="trial-duration-dependence"><name>Trial Duration Dependence</name>

<t>When comparing Exceed Probability values for the same Trial Load value
but different Trial Duration values,
there are several patterns that commonly occur in practice.</t>

<section anchor="strong-increase"><name>Strong Increase</name>

<t>Exceed Probability is very low at short durations but very high at full-length.
This SUT behavior is undesirable, and may hint at faulty SUT,
e.g., SUT leaks resources and is unable to sustain the desired performance.</t>

<t>But this behavior is also seen when SUT uses large amount of buffers.
This is the main reasons users may want to set large Goal Final Trial Duration.</t>

</section>
<section anchor="mild-increase"><name>Mild Increase</name>

<t>Short trials are slightly less likely to exceed the loss-ratio limit,
but the improvement is modest. This mild benefit is typical when noise
is dominated by rare, large loss spikes: during a full-length trial,
the good-performing periods cannot fully offset the heavy frame loss
that occurs in the brief low-performing bursts.</t>

</section>
<section anchor="independence"><name>Independence</name>

<t>Short trials have basically the same Exceed Probability as full-length trials.
This is possible only if loss spikes are small (so other parts can compensate)
and if Goal Loss Ratio is more than zero (otherwise, other parts
cannot compensate at all).</t>

</section>
<section anchor="decrease"><name>Decrease</name>

<t>Short trials have larger Exceed Probability than full-length trials.
This can be possible only for non-zero Goal Loss Ratio,
for example if SUT needs to &quot;warm up&quot; to best performance within each trial.
Not commonly seen in practice.</t>

</section>
</section>
</section>
</section>
<section anchor="iana-considerations"><name>IANA Considerations</name>

<t>This document does not make any request to IANA.</t>

</section>
<section anchor="security-considerations"><name>Security Considerations</name>

<t>Benchmarking activities as described in this memo are limited to
technology characterization of a DUT/SUT using controlled stimuli in a
laboratory environment, with dedicated address space and the constraints
specified in the sections above.</t>

<t>The benchmarking network topology will be an independent test setup and
MUST NOT be connected to devices that may forward the test traffic into
a production network or misroute traffic to the test management network.</t>

<t>Further, benchmarking is performed on an &quot;opaque&quot; basis, relying
solely on measurements observable external to the DUT/SUT.</t>

<t>The DUT/SUT SHOULD NOT include features that serve only to boost
benchmark scores - such as a dedicated &quot;fast-track&quot; test mode that is
never used in normal operation.</t>

<t>Any implications for network security arising from the DUT/SUT SHOULD be
identical in the lab and in production networks.</t>

</section>
<section anchor="acknowledgements"><name>Acknowledgements</name>

<t>Special wholehearted gratitude and thanks to the late Al Morton for his
thorough reviews filled with very specific feedback and constructive
guidelines. Thank You Al for the close collaboration over the years, Your Mentorship,
Your continuous unwavering encouragement full of empathy and energizing
positive attitude. Al, You are dearly missed.</t>

<t>Thanks to Gabor Lencse, Giuseppe Fioccola, Carsten Rossenhoevel and BMWG
contributors for good discussions and thorough reviews, guiding and
helping us to improve the clarity and formality of this document.</t>

<t>Many thanks to Alec Hothan of the OPNFV NFVbench project for a thorough
review and numerous useful comments and suggestions in the earlier
versions of this document.</t>

<t>We are equally indebted to Mohamed Boucadair for a very thorough and
detailed AD review and providing many good comments and suggestions,
helping us make this document complete.</t>

<t>Our appreciation is also extended to Shawn Emery, Yoshifumi Nishida,
David Dong, Nabeel Cocker and Lars Eggert for their reviews and valueable comments.</t>

</section>


  </middle>

  <back>


<references title='References' anchor="sec-combined-references">

    <references title='Normative References' anchor="sec-normative-references">

&RFC1242;
&RFC2119;
&RFC2285;
&RFC2544;
&RFC8174;


    </references>

    <references title='Informative References' anchor="sec-informative-references">

&RFC5180;
&RFC6349;
&RFC6985;
&RFC8219;
<reference anchor="TST009" target="https://www.etsi.org/deliver/etsi_gs/NFV-TST/001_099/009/03.04.01_60/gs_NFV-TST009v030401p.pdf">
  <front>
    <title>TST 009</title>
    <author >
      <organization></organization>
    </author>
    <date year="n.d."/>
  </front>
</reference>
<reference anchor="Y.1564" target="https://www.itu.int/rec/dologin_pub.asp?lang=e&amp;id=T-REC-Y.1564-201602-I!!PDF-E&amp;type=items">
  <front>
    <title>Y.1564</title>
    <author >
      <organization></organization>
    </author>
    <date year="n.d."/>
  </front>
</reference>
<reference anchor="FDio-CSIT-MLRsearch" target="https://csit.fd.io/cdocs/methodology/measurements/data_plane_throughput/mlr_search/">
  <front>
    <title>FD.io CSIT Test Methodology - MLRsearch</title>
    <author >
      <organization></organization>
    </author>
    <date year="2023" month="October"/>
  </front>
</reference>
<reference anchor="PyPI-MLRsearch" target="https://pypi.org/project/MLRsearch/1.2.1/">
  <front>
    <title>MLRsearch 1.2.1, Python Package Index</title>
    <author >
      <organization></organization>
    </author>
    <date year="2023" month="October"/>
  </front>
</reference>
<reference anchor="Lencze-Shima" target="https://datatracker.ietf.org/doc/html/draft-lencse-bmwg-rfc2544-bis-00">
  <front>
    <title>An Upgrade to Benchmarking Methodology for Network Interconnect Devices - expired</title>
    <author >
      <organization></organization>
    </author>
    <date year="n.d."/>
  </front>
</reference>
<reference anchor="Lencze-Kovacs-Shima" target="http://dx.doi.org/10.11601/ijates.v9i2.288">
  <front>
    <title>Gaming with the Throughput and the Latency Benchmarking Measurement Procedures of RFC 2544</title>
    <author >
      <organization></organization>
    </author>
    <date year="n.d."/>
  </front>
</reference>
<reference anchor="Ott-Mathis-Semke-Mahdavi" target="https://www.cs.cornell.edu/people/egs/cornellonly/syslunch/fall02/ott.pdf">
  <front>
    <title>The Macroscopic Behavior of the TCP Congestion Avoidance Algorithm</title>
    <author >
      <organization></organization>
    </author>
    <date year="n.d."/>
  </front>
</reference>
<reference anchor="Vassilev" target="https://datatracker.ietf.org/doc/draft-ietf-bmwg-network-tester-cfg/06">
  <front>
    <title>A YANG Data Model for Network Tester Management</title>
    <author >
      <organization></organization>
    </author>
    <date year="n.d."/>
  </front>
</reference>


    </references>

</references>


<?line 2716?>

<section anchor="load-classification-code"><name>Load Classification Code</name>

<t>This appendix specifies how to perform the Load Classification.</t>

<t>Any Trial Load value can be classified,
according to a given <xref target="search-goal">Search Goal</xref> instance.</t>

<t>The algorithm uses (some subsets of) the set of all available Trial Results
from Trials measured at a given Load at the end of the Search.</t>

<t>The block at the end of this appendix holds pseudocode
which computes two values, stored in variables named
<spanx style="verb">optimistic_is_lower</spanx> and <spanx style="verb">pessimistic_is_lower</spanx>.</t>

<t>Although presented as pseudocode, the listing is syntactically valid
Python and can be executed without modification.</t>

<t>If values of both variables are computed to be true, the Load in question
is classified as a Lower Bound according to the given Search Goal instance.
If values of both variables are false, the Load is classified as an Upper Bound.
Otherwise, the load is classified as Undecided.</t>

<t>Some variable names are shortened to fit expressions in one line.
Namely, variables holding sum quantities end in <spanx style="verb">_s</spanx> instead of <spanx style="verb">_sum</spanx>,
and variables holding effective quantities start in <spanx style="verb">effect_</spanx>
instead of <spanx style="verb">effective_</spanx>.</t>

<t>The pseudocode expects the following variables to hold the following values:</t>

<t><list style="symbols">
  <t><spanx style="verb">goal_duration_s</spanx>: The Goal Duration Sum value of the given Search Goal.</t>
  <t><spanx style="verb">goal_exceed_ratio</spanx>: The Goal Exceed Ratio value of the given Search Goal.</t>
  <t><spanx style="verb">full_length_low_loss_s</spanx>: Sum of Trial Effective Durations across Trials
with Trial Duration at least equal to the Goal Final Trial Duration
and with Trial Loss Ratio not higher than the Goal Loss Ratio
(across Full-Length Low-Loss Trials).</t>
  <t><spanx style="verb">full_length_high_loss_s</spanx>: Sum of Trial Effective Durations across Trials
with Trial Duration at least equal to the Goal Final Trial Duration
and with Trial Loss Ratio higher than the Goal Loss Ratio
(across Full-Length High-Loss Trials).</t>
  <t><spanx style="verb">short_low_loss_s</spanx>: Sum of Trial Effective Durations across Trials
with Trial Duration shorter than the Goal Final Trial Duration
and with Trial Loss Ratio not higher than the Goal Loss Ratio
(across Short Low-Loss Trials).</t>
  <t><spanx style="verb">short_high_loss_s</spanx>: Sum of Trial Effective Durations across Trials
with Trial Duration shorter than the Goal Final Trial Duration
and with Trial Loss Ratio higher than the Goal Loss Ratio
(across Short High-Loss Trials).</t>
</list></t>

<t>The code works correctly also when there are no Trial Results at a given Load.</t>

<figure><sourcecode type="python"><![CDATA[
<CODE BEGINS>
exceed_coefficient = goal_exceed_ratio / (1.0 - goal_exceed_ratio)
balancing_s = short_low_loss_s * exceed_coefficient
positive_excess_s = max(0.0, short_high_loss_s - balancing_s)
effect_high_loss_s = full_length_high_loss_s + positive_excess_s
effect_full_length_s = full_length_low_loss_s + effect_high_loss_s
effect_whole_s = max(effect_full_length_s, goal_duration_s)
quantile_duration_s = effect_whole_s * goal_exceed_ratio
pessimistic_high_loss_s = effect_whole_s - full_length_low_loss_s
pessimistic_is_lower = pessimistic_high_loss_s <= quantile_duration_s
optimistic_is_lower = effect_high_loss_s <= quantile_duration_s
<CODE ENDS>
]]></sourcecode></figure>

</section>
<section anchor="conditional-throughput-code"><name>Conditional Throughput Code</name>

<t>This section specifies an example of how to compute Conditional Throughput,
as referred to in Section <xref target="conditional-throughput">Conditional Throughput</xref>.</t>

<t>Any Load value can be used as the basis for the following computation,
but only the Relevant Lower Bound (at the end of the Search)
leads to the value called the Conditional Throughput for a given Search Goal.</t>

<t>The algorithm uses (some subsets of) the set of all available Trial Results
from Trials measured at a given Load at the end of the Search.</t>

<t>The block at the end of this appendix holds pseudocode
which computes a value stored as variable <spanx style="verb">conditional_throughput</spanx>.</t>

<t>Although presented as pseudocode, the listing is syntactically valid
Python and can be executed without modification.</t>

<t>Some variable names are shortened in order to fit expressions in one line.
Namely, variables holding sum quantities end in <spanx style="verb">_s</spanx> instead of <spanx style="verb">_sum</spanx>,
and variables holding effective quantities start in <spanx style="verb">effect_</spanx>
instead of <spanx style="verb">effective_</spanx>.</t>

<t>The pseudocode expects the following variables to hold the following values:</t>

<t><list style="symbols">
  <t><spanx style="verb">goal_duration_s</spanx>: The Goal Duration Sum value of the given Search Goal.</t>
  <t><spanx style="verb">goal_exceed_ratio</spanx>: The Goal Exceed Ratio value of the given Search Goal.</t>
  <t><spanx style="verb">full_length_low_loss_s</spanx>: Sum of Trial Effective Durations across Trials
with Trial Duration at least equal to the Goal Final Trial Duration
and with Trial Loss Ratio not higher than the Goal Loss Ratio
(across Full-Length Low-Loss Trials).</t>
  <t><spanx style="verb">full_length_high_loss_s</spanx>: Sum of Trial Effective Durations across Trials
with Trial Duration at least equal to the Goal Final Trial Duration
and with Trial Loss Ratio higher than the Goal Loss Ratio
(across Full-Length High-Loss Trials).</t>
  <t><spanx style="verb">full_length_trials</spanx>: An iterable of all Trial Results from Trials
with Trial Duration at least equal to the Goal Final Trial Duration
(all Full-Length Trials), sorted by increasing Trial Loss Ratio.
One item <spanx style="verb">trial</spanx> is a composite with the following two attributes available:  <list style="symbols">
      <t><spanx style="verb">trial.loss_ratio</spanx>: The Trial Loss Ratio as measured for this Trial.</t>
      <t><spanx style="verb">trial.effect_duration</spanx>: The Trial Effective Duration of this Trial.</t>
    </list></t>
</list></t>

<t>The code works correctly only when there is at least one
Trial Result measured at a given Load.</t>

<figure><sourcecode type="python"><![CDATA[
<CODE BEGINS>
full_length_s = full_length_low_loss_s + full_length_high_loss_s
whole_s = max(goal_duration_s, full_length_s)
remaining = whole_s * (1.0 - goal_exceed_ratio)
quantile_loss_ratio = None
for trial in full_length_trials:
    if quantile_loss_ratio is None or remaining > 0.0:
        quantile_loss_ratio = trial.loss_ratio
        remaining -= trial.effect_duration
    else:
        break
else:
    if remaining > 0.0:
        quantile_loss_ratio = 1.0
conditional_throughput = intended_load * (1.0 - quantile_loss_ratio)
<CODE ENDS>
]]></sourcecode></figure>

</section>
<section anchor="example-search"><name>Example Search</name>

<t>The following example Search is related to
one hypothetical run of a Search test procedure
that has been started with multiple Search Goals.
Several points in time are chosen, to show how the logic works,
with specific sets of Trial Result available.
The trial results themselves are not very realistic, as
the intention is to show several corner cases of the logic.</t>

<t>In all Trials, the Effective Trial Duration is equal to Trial Duration.</t>

<t>Only one Trial Load is in focus, its value is one million frames per second.
Trial Results at other Trial Loads are not mentioned,
as the parts of logic present here do not depend on those.
In practice, Trial Results at other Load values would be present,
e.g., MLRsearch will look for a Lower Bound smaller than any Upper Bound found.</t>

<t>At any given moment, exactly one Search Goal is designated as in focus.
This designation affects only the Trial Duration chosen for new trials;
it does not alter the rest of the decision logic.</t>

<t>An MLRsearch implementation is free to evaluate several goals
simultaneously - the &quot;focus&quot; mechanism is optional and appears here only
to show that a load can still be classified against goals that are not
currently in focus.</t>

<section anchor="example-goals"><name>Example Goals</name>

<t>The following four Search Goal instances are selected for the example Search.
Each goal has a readable name and dense code,
the code is useful to show Search Goal attribute values.</t>

<t>As the variable &quot;exceed coefficient&quot; does not depend on trial results,
it is also precomputed here.</t>

<t>Goal 1:</t>

<figure><artwork><![CDATA[
name: RFC2544
Goal Final Trial Duration: 60s
Goal Duration Sum: 60s
Goal Loss Ratio: 0%
Goal Exceed Ratio: 0%
exceed coefficient: 0% / (100% / 0%) = 0.0
code: 60f60d0l0e
]]></artwork></figure>

<t>Goal 2:</t>

<figure><artwork><![CDATA[
name: TST009
Goal Final Trial Duration: 60s
Goal Duration Sum: 120s
Goal Loss Ratio: 0%
Goal Exceed Ratio: 50%
exceed coefficient: 50% / (100% - 50%) = 1.0
code: 60f120d0l50e
]]></artwork></figure>

<t>Goal 3:</t>

<figure><artwork><![CDATA[
name: 1s final
Goal Final Trial Duration: 1s
Goal Duration Sum: 120s
Goal Loss Ratio: 0.5%
Goal Exceed Ratio: 50%
exceed coefficient: 50% / (100% - 50%) = 1.0
code: 1f120d.5l50e
]]></artwork></figure>

<t>Goal 4:</t>

<figure><artwork><![CDATA[
name: 20% exceed
Goal Final Trial Duration: 60s
Goal Duration Sum: 60s
Goal Loss Ratio: 0.5%
Goal Exceed Ratio: 20%
exceed coefficient: 20% / (100% - 20%) = 0.25
code: 60f60d0.5l20e
]]></artwork></figure>

<t>The first two goals are important for compliance reasons,
the other two cover less frequent cases.</t>

</section>
<section anchor="example-trial-results"><name>Example Trial Results</name>

<t>The following six sets of trial results are selected for the example Search.
The sets are defined as points in time, describing which Trial Results
were added since the previous point.</t>

<t>Each point has a readable name and dense code,
the code is useful to show Trial Output attribute values
and number of times identical results were added.</t>

<t>Point 1:</t>

<figure><artwork><![CDATA[
name: first short good
goal in focus: 1s final (1f120d.5l50e)
added Trial Results: 59 trials, each 1 second and 0% loss
code: 59x1s0l
]]></artwork></figure>

<t>Point 2:</t>

<figure><artwork><![CDATA[
name: first short bad
goal in focus: 1s final (1f120d.5l50e)
added Trial Result: one trial, 1 second, 1% loss
code: 59x1s0l+1x1s1l
]]></artwork></figure>

<t>Point 3:</t>

<figure><artwork><![CDATA[
name: last short bad
goal in focus: 1s final (1f120d.5l50e)
added Trial Results: 59 trials, 1 second each, 1% loss each
code: 59x1s0l+60x1s1l
]]></artwork></figure>

<t>Point 4:</t>

<figure><artwork><![CDATA[
name: last short good
goal in focus: 1s final (1f120d.5l50e)
added Trial Results: one trial 1 second, 0% loss
code: 60x1s0l+60x1s1l
]]></artwork></figure>

<t>Point 5:</t>

<figure><artwork><![CDATA[
name: first long bad
goal in focus: TST009 (60f120d0l50e)
added Trial Results: one trial, 60 seconds, 0.1% loss
code: 60x1s0l+60x1s1l+1x60s.1l
]]></artwork></figure>

<t>Point 6:</t>

<figure><artwork><![CDATA[
name: first long good
goal in focus: TST009 (60f120d0l50e)
added Trial Results: one trial, 60 seconds, 0% loss
code: 60x1s0l+60x1s1l+1x60s.1l+1x60s0l
]]></artwork></figure>

<t>Comments on point in time naming:</t>

<t><list style="symbols">
  <t>When a name contains &quot;short&quot;, it means the added trial
had Trial Duration of 1 second, which is Short Trial for 3 of the Search Goals,
but it is a Full-Length Trial for the &quot;1s final&quot; goal.</t>
  <t>Similarly, &quot;long&quot; in name means the added trial
had Trial Duration of 60 seconds, which is Full-Length Trial for 3 goals
but Long Trial for the &quot;1s final&quot; goal.</t>
  <t>When a name contains &quot;good&quot; it means the added trial is Low-Loss Trial
for all the goals.</t>
  <t>When a name contains &quot;short bad&quot; it means the added trial is High-Loss Trial
for all the goals.</t>
  <t>When a name contains &quot;long bad&quot;, it means the added trial
is a High-Loss Trial for goals &quot;RFC2544&quot; and &quot;TST009&quot;,
but it is a Low-Loss Trial for the two other goals.</t>
</list></t>

</section>
<section anchor="load-classification-computations"><name>Load Classification Computations</name>

<t>This section shows how Load Classification logic is applied
by listing all temporary values at the specific time point.</t>

<section anchor="point-1"><name>Point 1</name>

<t>This is the &quot;first short good&quot; point.
Code for available results is: 59x1s0l</t>

<texttable>
      <ttcol align='left'>Goal name</ttcol>
      <ttcol align='left'>RFC2544</ttcol>
      <ttcol align='left'>TST009</ttcol>
      <ttcol align='left'>1s final</ttcol>
      <ttcol align='left'>20% exceed</ttcol>
      <c>Goal code</c>
      <c>60f60d0l0e</c>
      <c>60f120d0l50e</c>
      <c>1f120d.5l50e</c>
      <c>60f60d0.5l20e</c>
      <c>Full-length high-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>Full-length low-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>59s</c>
      <c>0s</c>
      <c>Short high-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>Short low-loss sum</c>
      <c>59s</c>
      <c>59s</c>
      <c>0s</c>
      <c>59s</c>
      <c>Balancing sum</c>
      <c>0s</c>
      <c>59s</c>
      <c>0s</c>
      <c>14.75s</c>
      <c>Excess sum</c>
      <c>0s</c>
      <c>-59s</c>
      <c>0s</c>
      <c>-14.75s</c>
      <c>Positive excess sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>Effective high-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>Effective full sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>59s</c>
      <c>0s</c>
      <c>Effective whole sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>120s</c>
      <c>60s</c>
      <c>Missing sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>61s</c>
      <c>60s</c>
      <c>Pessimistic high-loss sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>61s</c>
      <c>60s</c>
      <c>Optimistic exceed ratio</c>
      <c>0%</c>
      <c>0%</c>
      <c>0%</c>
      <c>0%</c>
      <c>Pessimistic exceed ratio</c>
      <c>100%</c>
      <c>100%</c>
      <c>50.833%</c>
      <c>100%</c>
      <c>Classification Result</c>
      <c>Undecided</c>
      <c>Undecided</c>
      <c>Undecided</c>
      <c>Undecided</c>
</texttable>

<t>This is the last point in time where all goals have this load as Undecided.</t>

</section>
<section anchor="point-2"><name>Point 2</name>

<t>This is the &quot;first short bad&quot; point.
Code for available results is: 59x1s0l+1x1s1l</t>

<texttable>
      <ttcol align='left'>Goal name</ttcol>
      <ttcol align='left'>RFC2544</ttcol>
      <ttcol align='left'>TST009</ttcol>
      <ttcol align='left'>1s final</ttcol>
      <ttcol align='left'>20% exceed</ttcol>
      <c>Goal code</c>
      <c>60f60d0l0e</c>
      <c>60f120d0l50e</c>
      <c>1f120d.5l50e</c>
      <c>60f60d0.5l20e</c>
      <c>Full-length high-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>1s</c>
      <c>0s</c>
      <c>Full-length low-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>59s</c>
      <c>0s</c>
      <c>Short high-loss sum</c>
      <c>1s</c>
      <c>1s</c>
      <c>0s</c>
      <c>1s</c>
      <c>Short low-loss sum</c>
      <c>59s</c>
      <c>59s</c>
      <c>0s</c>
      <c>59s</c>
      <c>Balancing sum</c>
      <c>0s</c>
      <c>59s</c>
      <c>0s</c>
      <c>14.75s</c>
      <c>Excess sum</c>
      <c>1s</c>
      <c>-58s</c>
      <c>0s</c>
      <c>-13.75s</c>
      <c>Positive excess sum</c>
      <c>1s</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>Effective high-loss sum</c>
      <c>1s</c>
      <c>0s</c>
      <c>1s</c>
      <c>0s</c>
      <c>Effective full sum</c>
      <c>1s</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>Effective whole sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>120s</c>
      <c>60s</c>
      <c>Missing sum</c>
      <c>59s</c>
      <c>120s</c>
      <c>60s</c>
      <c>60s</c>
      <c>Pessimistic high-loss sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>61s</c>
      <c>60s</c>
      <c>Optimistic exceed ratio</c>
      <c>1.667%</c>
      <c>0%</c>
      <c>0.833%</c>
      <c>0%</c>
      <c>Pessimistic exceed ratio</c>
      <c>100%</c>
      <c>100%</c>
      <c>50.833%</c>
      <c>100%</c>
      <c>Classification Result</c>
      <c>Upper Bound</c>
      <c>Undecided</c>
      <c>Undecided</c>
      <c>Undecided</c>
</texttable>

<t>Due to zero Goal Loss Ratio, RFC2544 goal must have mild or strong increase
of exceed probability, so the one lossy trial would be lossy even if measured
at 60 second duration.
Due to zero exceed ratio, one High-Loss Trial is enough to preclude this Load
from becoming a Lower Bound for RFC2544. That is why this Load
is classified as an Upper Bound for RFC2544 this early.</t>

<t>This is an example how significant time can be saved, compared to 60-second trials.</t>

</section>
<section anchor="point-3"><name>Point 3</name>

<t>This is the &quot;last short bad&quot; point.
Code for available trial results is: 59x1s0l+60x1s1l</t>

<texttable>
      <ttcol align='left'>Goal name</ttcol>
      <ttcol align='left'>RFC2544</ttcol>
      <ttcol align='left'>TST009</ttcol>
      <ttcol align='left'>1s final</ttcol>
      <ttcol align='left'>20% exceed</ttcol>
      <c>Goal code</c>
      <c>60f60d0l0e</c>
      <c>60f120d0l50e</c>
      <c>1f120d.5l50e</c>
      <c>60f60d0.5l20e</c>
      <c>Full-length high-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>Full-length low-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>59s</c>
      <c>0s</c>
      <c>Short high-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>Short low-loss sum</c>
      <c>59s</c>
      <c>59s</c>
      <c>0s</c>
      <c>59s</c>
      <c>Balancing sum</c>
      <c>0s</c>
      <c>59s</c>
      <c>0s</c>
      <c>14.75s</c>
      <c>Excess sum</c>
      <c>60s</c>
      <c>1s</c>
      <c>0s</c>
      <c>45.25s</c>
      <c>Positive excess sum</c>
      <c>60s</c>
      <c>1s</c>
      <c>0s</c>
      <c>45.25s</c>
      <c>Effective high-loss sum</c>
      <c>60s</c>
      <c>1s</c>
      <c>60s</c>
      <c>45.25s</c>
      <c>Effective full sum</c>
      <c>60s</c>
      <c>1s</c>
      <c>119s</c>
      <c>45.25s</c>
      <c>Effective whole sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>120s</c>
      <c>60s</c>
      <c>Missing sum</c>
      <c>0s</c>
      <c>119s</c>
      <c>1s</c>
      <c>14.75s</c>
      <c>Pessimistic high-loss sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>61s</c>
      <c>60s</c>
      <c>Optimistic exceed ratio</c>
      <c>100%</c>
      <c>0.833%</c>
      <c>50%</c>
      <c>75.417%</c>
      <c>Pessimistic exceed ratio</c>
      <c>100%</c>
      <c>100%</c>
      <c>50.833%</c>
      <c>100%</c>
      <c>Classification Result</c>
      <c>Upper Bound</c>
      <c>Undecided</c>
      <c>Undecided</c>
      <c>Upper Bound</c>
</texttable>

<t>This is the last point for &quot;1s final&quot; goal to have this Load still Undecided.
Only one 1-second trial is missing within the 120-second Goal Duration Sum,
but its result will decide the classification result.</t>

<t>The &quot;20% exceed&quot; started to classify this load as an Upper Bound
somewhere between points 2 and 3.</t>

</section>
<section anchor="point-4"><name>Point 4</name>

<t>This is the &quot;last short good&quot; point.
Code for available trial results is: 60x1s0l+60x1s1l</t>

<texttable>
      <ttcol align='left'>Goal name</ttcol>
      <ttcol align='left'>RFC2544</ttcol>
      <ttcol align='left'>TST009</ttcol>
      <ttcol align='left'>1s final</ttcol>
      <ttcol align='left'>20% exceed</ttcol>
      <c>Goal code</c>
      <c>60f60d0l0e</c>
      <c>60f120d0l50e</c>
      <c>1f120d.5l50e</c>
      <c>60f60d0.5l20e</c>
      <c>Full-length high-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>Full-length low-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>Short high-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>Short low-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>Balancing sum</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>15s</c>
      <c>Excess sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>0s</c>
      <c>45s</c>
      <c>Positive excess sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>0s</c>
      <c>45s</c>
      <c>Effective high-loss sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>45s</c>
      <c>Effective full sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>120s</c>
      <c>45s</c>
      <c>Effective whole sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>120s</c>
      <c>60s</c>
      <c>Missing sum</c>
      <c>0s</c>
      <c>120s</c>
      <c>0s</c>
      <c>15s</c>
      <c>Pessimistic high-loss sum</c>
      <c>60s</c>
      <c>120s</c>
      <c>60s</c>
      <c>60s</c>
      <c>Optimistic exceed ratio</c>
      <c>100%</c>
      <c>0%</c>
      <c>50%</c>
      <c>75%</c>
      <c>Pessimistic exceed ratio</c>
      <c>100%</c>
      <c>100%</c>
      <c>50%</c>
      <c>100%</c>
      <c>Classification Result</c>
      <c>Upper Bound</c>
      <c>Undecided</c>
      <c>Lower Bound</c>
      <c>Upper Bound</c>
</texttable>

<t>The one missing trial for &quot;1s final&quot; was Low-Loss,
half of trial results are Low-Loss which exactly matches 50% exceed ratio.
This shows time savings are not guaranteed.</t>

</section>
<section anchor="point-5"><name>Point 5</name>

<t>This is the &quot;first long bad&quot; point.
Code for available trial results is: 60x1s0l+60x1s1l+1x60s.1l</t>

<texttable>
      <ttcol align='left'>Goal name</ttcol>
      <ttcol align='left'>RFC2544</ttcol>
      <ttcol align='left'>TST009</ttcol>
      <ttcol align='left'>1s final</ttcol>
      <ttcol align='left'>20% exceed</ttcol>
      <c>Goal code</c>
      <c>60f60d0l0e</c>
      <c>60f120d0l50e</c>
      <c>1f120d.5l50e</c>
      <c>60f60d0.5l20e</c>
      <c>Full-length high-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>Full-length low-loss sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>120s</c>
      <c>60s</c>
      <c>Short high-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>Short low-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>Balancing sum</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>15s</c>
      <c>Excess sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>0s</c>
      <c>45s</c>
      <c>Positive excess sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>0s</c>
      <c>45s</c>
      <c>Effective high-loss sum</c>
      <c>120s</c>
      <c>60s</c>
      <c>60s</c>
      <c>45s</c>
      <c>Effective full sum</c>
      <c>120s</c>
      <c>60s</c>
      <c>180s</c>
      <c>105s</c>
      <c>Effective whole sum</c>
      <c>120s</c>
      <c>120s</c>
      <c>180s</c>
      <c>105s</c>
      <c>Missing sum</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>0s</c>
      <c>Pessimistic high-loss sum</c>
      <c>120s</c>
      <c>120s</c>
      <c>60s</c>
      <c>45s</c>
      <c>Optimistic exceed ratio</c>
      <c>100%</c>
      <c>50%</c>
      <c>33.333%</c>
      <c>42.857%</c>
      <c>Pessimistic exceed ratio</c>
      <c>100%</c>
      <c>100%</c>
      <c>33.333%</c>
      <c>42.857%</c>
      <c>Classification Result</c>
      <c>Upper Bound</c>
      <c>Undecided</c>
      <c>Lower Bound</c>
      <c>Lower Bound</c>
</texttable>

<t>As designed for TST009 goal, one Full-Length High-Loss Trial can be tolerated.
120s worth of 1-second trials is not useful, as this is allowed when
Exceed Probability does not depend on Trial Duration.
As Goal Loss Ratio is zero, it is not possible for 60-second trials
to compensate for losses seen in 1-second results.
But Load Classification logic does not have that knowledge hardcoded,
so optimistic exceed ratio is still only 50%.</t>

<t>But the 0.1% Trial Loss Ratio is lower than &quot;20% exceed&quot; Goal Loss Ratio,
so this unexpected Full-Length Low-Loss trial changed the classification result
of this Load to Lower Bound.</t>

</section>
<section anchor="point-6"><name>Point 6</name>

<t>This is the &quot;first long good&quot; point.
Code for available trial results is: 60x1s0l+60x1s1l+1x60s.1l+1x60s0l</t>

<texttable>
      <ttcol align='left'>Goal name</ttcol>
      <ttcol align='left'>RFC2544</ttcol>
      <ttcol align='left'>TST009</ttcol>
      <ttcol align='left'>1s final</ttcol>
      <ttcol align='left'>20% exceed</ttcol>
      <c>Goal code</c>
      <c>60f60d0l0e</c>
      <c>60f120d0l50e</c>
      <c>1f120d.5l50e</c>
      <c>60f60d0.5l20e</c>
      <c>Full-length high-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>Full-length low-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>180s</c>
      <c>120s</c>
      <c>Short high-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>Short low-loss sum</c>
      <c>60s</c>
      <c>60s</c>
      <c>0s</c>
      <c>60s</c>
      <c>Balancing sum</c>
      <c>0s</c>
      <c>60s</c>
      <c>0s</c>
      <c>15s</c>
      <c>Excess sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>0s</c>
      <c>45s</c>
      <c>Positive excess sum</c>
      <c>60s</c>
      <c>0s</c>
      <c>0s</c>
      <c>45s</c>
      <c>Effective high-loss sum</c>
      <c>120s</c>
      <c>60s</c>
      <c>60s</c>
      <c>45s</c>
      <c>Effective full sum</c>
      <c>180s</c>
      <c>120s</c>
      <c>240s</c>
      <c>165s</c>
      <c>Effective whole sum</c>
      <c>180s</c>
      <c>120s</c>
      <c>240s</c>
      <c>165s</c>
      <c>Missing sum</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>0s</c>
      <c>Pessimistic high-loss sum</c>
      <c>120s</c>
      <c>60s</c>
      <c>60s</c>
      <c>45s</c>
      <c>Optimistic exceed ratio</c>
      <c>66.667%</c>
      <c>50%</c>
      <c>25%</c>
      <c>27.273%</c>
      <c>Pessimistic exceed ratio</c>
      <c>66.667%</c>
      <c>50%</c>
      <c>25%</c>
      <c>27.273%</c>
      <c>Classification Result</c>
      <c>Upper Bound</c>
      <c>Lower Bound</c>
      <c>Lower Bound</c>
      <c>Lower Bound</c>
</texttable>

<t>This is the Low-Loss Trial the &quot;TST009&quot; goal was waiting for.
This Load is now classified for all goals; the search may end.
Or, more realistically, it can focus on larger load only,
as the three goals will want an Upper Bound (unless this Load is Max Load).</t>

</section>
</section>
<section anchor="conditional-throughput-computations"><name>Conditional Throughput Computations</name>

<t>At the end of this hypothetical search, the &quot;RFC2544&quot; goal labels the
load as an Upper Bound, making it ineligible for Conditional-Throughput
calculations. By contrast, the other three goals treat the same load as
a Lower Bound; if it is also accepted as their Relevant Lower Bound, we
can compute Conditional-Throughput values for each of them.</t>

<t>(The load under discussion is 1 000 000 frames per second.)</t>

<section anchor="goal-2"><name>Goal 2</name>

<t>The Conditional Throughput is computed from sorted list
of Full-Length Trial results. As TST009 Goal Final Trial Duration is 60 seconds,
only two of 122 Trials are considered Full-Length Trials.
One has Trial Loss Ratio of 0%, the other of 0.1%.</t>

<t><list style="symbols">
  <t>Full-length high-loss sum is 60 seconds.</t>
  <t>Full-length low-loss sum is 60 seconds.</t>
  <t>Full-length is 120 seconds.</t>
  <t>Subceed ratio is 50%.</t>
  <t>Remaining sum initially is 0.5x12s = 60 seconds.</t>
  <t>Current loss ratio initially is 100%.</t>
  <t>For first result (duration 60s, loss 0%):
  <list style="symbols">
      <t>Remaining sum is larger than zero, not exiting the loop.</t>
      <t>Set current loss ratio to this trial&#39;s Trial Loss Ratio which is 0%.</t>
      <t>Decrease the remaining sum by this trial&#39;s Trial Effective Duration.</t>
      <t>New remaining sum is 60s - 60s = 0s.</t>
    </list></t>
  <t>For second result (duration 60s, loss 0.1%):</t>
  <t>Remaining sum is not larger than zero, exiting the loop.</t>
  <t>Current loss ratio was most recently set to 0%.</t>
  <t>Current forwarding ratio is one minus the current loss ratio, so 100%.</t>
  <t>Conditional Throughput is the current forwarding ratio multiplied by the Load value.</t>
  <t>Conditional Throughput is one million frames per second.</t>
</list></t>

</section>
<section anchor="goal-3"><name>Goal 3</name>

<t>The &quot;1s final&quot; has Goal Final Trial Duration of 1 second,
so all 122 Trial Results are considered Full-Length Trials.
They are ordered like this:</t>

<figure><artwork><![CDATA[
60 1-second 0% loss trials,
1 60-second 0% loss trial,
1 60-second 0.1% loss trial,
60 1-second 1% loss trials.
]]></artwork></figure>

<t>The result does not depend on the order of 0% loss trials.</t>

<t><list style="symbols">
  <t>Full-length high-loss sum is 60 seconds.</t>
  <t>Full-length low-loss sum is 180 seconds.</t>
  <t>Full-length is 240 seconds.</t>
  <t>Subceed ratio is 50%.</t>
  <t>Remaining sum initially is 0.5x240s = 120 seconds.</t>
  <t>Current loss ratio initially is 100%.</t>
  <t>For first 61 results (duration varies, loss 0%):
  <list style="symbols">
      <t>Remaining sum is larger than zero, not exiting the loop.</t>
      <t>Set current loss ratio to this trial&#39;s Trial Loss Ratio which is 0%.</t>
      <t>Decrease the remaining sum by this trial&#39;s Trial Effective Duration.</t>
      <t>New remaining sum varies.</t>
    </list></t>
  <t>After 61 trials, duration of 60x1s + 1x60s has been subtracted from 120s, leaving 0s.</t>
  <t>For 62-th result (duration 60s, loss 0.1%):
  <list style="symbols">
      <t>Remaining sum is not larger than zero, exiting the loop.</t>
    </list></t>
  <t>Current loss ratio was most recently set to 0%.</t>
  <t>Current forwarding ratio is one minus the current loss ratio, so 100%.</t>
  <t>Conditional Throughput is the current forwarding ratio multiplied by the Load value.</t>
  <t>Conditional Throughput is one million frames per second.</t>
</list></t>

</section>
<section anchor="goal-4"><name>Goal 4</name>

<t>The Conditional Throughput is computed from sorted list
of Full-Length Trial results. As &quot;20% exceed&quot; Goal Final Trial Duration
is 60 seconds, only two of 122 Trials are considered Full-Length Trials.
One has Trial Loss Ratio of 0%, the other of 0.1%.</t>

<t><list style="symbols">
  <t>Full-length high-loss sum is 60 seconds.</t>
  <t>Full-length low-loss sum is 60 seconds.</t>
  <t>Full-length is 120 seconds.</t>
  <t>Subceed ratio is 80%.</t>
  <t>Remaining sum initially is 0.8x120s = 96 seconds.</t>
  <t>Current loss ratio initially is 100%.</t>
  <t>For first result (duration 60s, loss 0%):
  <list style="symbols">
      <t>Remaining sum is larger than zero, not exiting the loop.</t>
      <t>Set current loss ratio to this trial&#39;s Trial Loss Ratio which is 0%.</t>
      <t>Decrease the remaining sum by this trial&#39;s Trial Effective Duration.</t>
      <t>New remaining sum is 96s - 60s = 36s.</t>
    </list></t>
  <t>For second result (duration 60s, loss 0.1%):
  <list style="symbols">
      <t>Remaining sum is larger than zero, not exiting the loop.</t>
      <t>Set current loss ratio to this trial&#39;s Trial Loss Ratio which is 0.1%.</t>
      <t>Decrease the remaining sum by this trial&#39;s Trial Effective Duration.</t>
      <t>New remaining sum is 36s - 60s = -24s.</t>
    </list></t>
  <t>No more trials (and remaining sum is not larger than zero), exiting loop.</t>
  <t>Current loss ratio was most recently set to 0.1%.</t>
  <t>Current forwarding ratio is one minus the current loss ratio, so 99.9%.</t>
  <t>Conditional Throughput is the current forwarding ratio multiplied by the Load value.</t>
  <t>Conditional Throughput is 999 thousand frames per second.</t>
</list></t>

<t>Due to stricter Goal Exceed Ratio, this Conditional Throughput
is smaller than Conditional Throughput of the other two goals.</t>

</section>
</section>
</section>


  </back>

<!-- ##markdown-source:
H4sIAAAAAAAAA+y9644cV5Im+N+fwicL1ZVJRAST1KUlNmp6KV6qiBZFjZiq
2m5CKHhGeGR4MSI8yt0jk6nFAvMguy83T7Jmn5mdY8cvQUrVg5oBtoFGURnu
x8/Fjt3ts/l8nmVd1W3LJ/nr47arDtsy/7Zu2/yHoqvq/G1ZNMtNVlxfN+Ut
PfLtD638ZVUv98WO3lo1xbqbV2W3nl/v7m7mu20jj8wffZatio4eeXz5+Iv5
5dfzR19mWXu83lVtW9X7q/sD/fbqxdXLrDo0T/KuObbd48vLry8fZ0VTFk/y
+tBmdzdP8m/K/XKzK5r31f4m/3Mt//uHpj4esvd3NMS+K5t92c2f81SyZdE9
yav9us6yZb2iR5/kx3ZetMuqyg7Vk5z+7zf5stjTX8u8aJriPj+v1nmx3eb3
ZXuR102+KdpNvimbMsvzrl4+4R/on23ddE25bp9giFW5LmjHWnrCfr/fyc/8
n1lx7DZ18yTL8X9z/d+cpkZPvF7k/1bv267Yd/f7+q5a/hx+l219XSyr8v3k
Q3VDy3pWtUs6ovu2K3dt+KncFdX2Sb57L6/+H0t+arGsd+Mz+dMi/77eFu97
3/9TU3Tv695PH//qbXPgN9xHs33d7IiWbkveih9ePnv0+PPH+s/Hjx59bf98
/NUX9s8vPv9c//nVo3+mf2Z8mukgXzz66lL/+eVnn9sgX34dBvnqsQx99faK
SEpOoSuam5KIY9N1h/bJw4d3d3eLsmurBa3r4arc0vDNQ/7DX27ah9+9/NOc
Xn54efnoL5dff03/S///2eLy8wX94cvLhzftX/QR+uX28rPLzy8fHRaH1Vo+
JVfqjH7O6fcz+uO/Lx598eXn0zOpuuOi2ncPm3L5cFVv65tq/5fD8XpRtId/
3Rb7m9+X/1Stfn81/+HFs7mMNX98+ejLy8fzV//lv3z//OX8xT91dKV+X4Vz
sUnI0zyHl8+rev7s7aurebjJ4xNatlW3WK8WVf1wSVe9fbgriZoxrXv6d9Ee
m3JX7rv2IV3x4i8HmmD5l25Dd/Jmczh2D4kL/EXGf5hM5eVzGjLnGeRXZdvl
r+Ow+TyylzO8FLjHZ/NHl/SX7++/f/WxiR/uD3Keh6b+a7nsHobnHz5aPF48
SqcTfszx44w+QfPZ598Xy/fFTUmsZVV+GJ/Mt8SUfi7nbzfVrhifCu9M19BI
ZbNg/ihkVi8fbrrd9qHwzS2N0pbCOZv1kkl/fl2188vLZJ5P9/mPh5umWJXM
bRJ+6HeQbkn+XdndEYsUrris93vahPx5eVsty5a2uPxwqJpydRZX8G/1bbFs
pxbC6/iwWNWyqY8uF4+I5B49rP5K29Eubr+uHi8ef/VVMtk/FDue2F3VbfJu
U+ZXgSzyYr/Cn76lt/fL+/5KAlnl3zf1slzRf7V5veb7nPPW8KzfdN38ddFt
aJPelrv3Jf3HZlXcVtMXa9kSIyIBsd0uaMiHh7ImIfewpDuuf6732/uH7X27
PdJsHq5JElw+flh33fA209SJMTc1MbdDtaTpb+jLtOk0R6z02ff5s3p/Q5RN
Ai5/eltXq2K/LPOn25u6of3Y8Qr+VJD825I4/WVU0xe0eznoOZ0DnfR8ub55
ePllSjX5vz/97g/5cxoxf10Tg0sI5Arv0Xr2ROm86WdZNp/P8+K65e93WXZF
m5zTp484kvZQLqt1RSdSfqDTYxEO2Xd2ihyzU+R4lp/byV7kkXnkeiWv7zOS
sdWehy3yfXmXOyZEEny7LVejSouqKOfhdl8sImvJi2qHeRORVrvq59I+R9TG
b+9npKMcDiTq852NveWxGzd22c5Ay9WO2MxtmROd0rP0P4eSNvu62lbdfcYP
kAQ8FI3+ZZFlcRq0tbuaJBrdhBUtFfRzoHFaXu6+pD/SHIvViv+EH5cbXjET
F5FbVt4W2yPNiPeGLxWTHP2bH7wtmqo+tsyxihycmTSX7ZHXRtMucY401D3J
/6yt190daVvz66KlTypN8UitCPhcfiBqflbvdnSE9Gr+Zr2e05eIZ5TbdXb+
7M3V24v82fc/kuLUrHi4/LbND0fSBZi3HSvamqdvXz3LH+bf0UMP85ff/+Fp
eHYhZLerVqttmWX/15MnS/7Svvu/M1Dz0za/K6Gs/VtT7Fb13Z53hkiJpHWX
r5t6RzTcvOcfZnhBn2YWkd+RdkeX06hTR27zfd3xKNc006qtrumMqz02rymJ
5RODFL12gQHtapI6tXxPx92st/UdKzcPi4efP/7s8WeffS3s+hWpkTQyaY45
HVRFG09ToLmsZmG+9FGb2JOPDv748quvvvj6q8sse0dq6E+8OQ/j5vyGL1VT
r45LPtr+dV2V7bKprkshnk+7Jv6CzUj97nBBVmAbq5Iu8E5uY6SszF1b2sFp
cloTbwUF5s1xj0GIpHgtpKJ394HaWGhkH7768uHTH14zRbX5+cdJia732yNd
Kf1cFr/Faj6d8ao8bOt7IeNVuaqWuHSHzX1L/9zmxeGwrcCnz8vFzYKudsaa
86ogyVBGml6Ba8FAKFqim6Y7jr38J/khcL6XOhu/8JYGpRm0ZUMH3hrtMbM4
dvS/2/q4ulj0T7SrbjYdXdslGT5bPlech3BD5gGeOxZ8y7t2kb0iI6AsVnwJ
CvoeMyP6gn+1LTG9WX5V8D2gB0mEdXxL2FjTXyGG30Xu9VaEwRIc86fz30Sr
r/W/XGQkSHi3thUpezQEcXFaAdg6cziaBs+R53bYNAUbZAdioY0QQr6uGnpt
W3Yd79KyOFRdsWWKnOUV/b16X9JgZHLRrxlzS5NRS4wcPkPbWx7q/f2OuWJc
U/brlkTn8pvf5N8LSfIZlUafogb4I6sgaewq/uffxMzx+E+9iSvVBZlkwk2h
RT0lQr6PMmRfbbeFH/S62hfNvc51ltGhmkYg0yo/FLuDMNK3ssH5o8eLzxaP
QTpiJ/3Ex2RTCzM5MsuFCMvPn/94RTa4yFNcjLakK0L3jAQtkeeuJXNwnn/j
50Iq1HsahS7rDZParqZxuobkFK2Rv8KXeF00IipoccR2acw9X9ItKylHKKW2
zgUNfwVB8Lcja8pEhHv6PAYMOgI271AQaycBSVtblnv9JA1OM8VceB9rTH7b
1zH4I29tG3jJxBHqO5JKVXuvn9ItYJG2pQuMg2ESv65INpOiIHeayE7E14oN
7ltILndmrCSQmo4lhT/qymh3RLGhYejslsxafi6bmvap2LGCc03P8hqq/epI
KuE9rZR29sC6IR8bTWzNQ9FO0pu0SFoA0wH/L7+6r/dzjMcfYXZVb2kvwCjf
iUX60wyHPuf5HHBfdsWeTqW9sEMQ/Q87jrsVKVxE+JK2psnvNrb9gXB4X6s9
Cd2WGA+NzIJc+TOebo/LJetapLsZqchiW1o7mUlMz0QjtEUb4rpEnfSn9Zq3
l8+jps2/r8otaQkV/kpTjzoibR24+Zb1fJYv79Tr8RPJq3fq4PiJXUtxPXTd
G2JbLK/2NUiZvkkc41Dt96oK5qwZbssZXZdiR1RwJG5Gg+CIFxfEiBJ1sS3D
jZlltEl0RE735IvKG14Iby93Kh953uuaj5Lprdxv+LygMdG1e7QgO4ZPN+jF
RLRNuGtVlDR845hO5UwOZYMtgzI1z98c+KN892ZKEySQCn5qyTO6ETaanCaE
gR4E7/Mie2xzkRVBw6AzCzN7J47L/A91sSVeroz8hv7rgo4H48nR8Zvu6HSO
T/fpNcTBFPQ8SbOyYGERh2cmdaBxlvzhRfbZgtSytvTmw7ImiVaqpdcKs+wN
Qno5nVFF66O9a6H/80yYWx5IIyUWwMdaEW3Wxml0qi/0PRudfqnZxpG7SK/R
b8QullULvoN3fqTZvKwb4j7gKz/wCZy//OGCL8Hr4kO1O+5Yxwc3+ZaJnX58
/ebbixnzV5WqmboQA7P/bPGl8np15/H1rnPcX0jt/JpZLc3784XY98J7/DXt
nfuSrvH6SJSi8/6hZLssZXFEg0e6iHRX2h0bSLQTRLVyl/EH1iB4DYGIlIQw
ovocwrt4kg57VbG/pxUNZJF9QeTG4jFIIz6KeUvGP8inYFVuq/uwKY8NraZa
8j0sWBHfkuxnKt/e80fpMG6x1I3tiEgmkmiN3LsjW8m0O2TH8dKzF+4e5o9m
+WMVPw0z3s/B6+AfhWrERzSh1GS8BdA1nY5C2gUMlpQnsJJRVCpBaxUE7PUo
F6LyNOzw3fe5BB7vSDh1MpHxQWdkNZAmRlegKrGDOJXEVMZp8Xe3pPh0YkB0
fFBqceNriT1NRLQmpqjyWU14ks60Ov6NVW04kOmkOh6whX1e3Nw0Kgfs7wsi
MyG/I1PmqjJ2hRmyrt8JLUVWzqsOkhi/JV8s90ys4QOzjMWjLXB3FIZsq4J5
kGoLOO7Et0CU25Zl5rTXZ+nczK+S6LFh/nN+hv2Nc/heFtkzWKdEw8STR7YE
GgiYETN8IpbeBGUvr6GnpxONWoSXzBDdE5u5yF6wMhK/bS8EbVPGpPVjXFZ8
jggosT/j3Rtax21V3nm3IXMbSELajVp/n9frsAFzk5QXGTNN6DxEi0tYLFHC
hxmxLSdi4W+krYhjp2d816UqKHQ3WKIRX79uSdixqCPZwnc3sEpZNYyKugW1
mfuU7uo3r//8B+dUqziyxPdv0umWxMfyc37/glWB1ZFVbRIE8B+sVPKzA46W
rYxKzRRzIF37b+z8HCBc2MlSsYpExN6RzsvuuG1xXRNN1KQtlnsykev9DtrX
U/qF5FO+P+6uS/OX0vvhE3LOwdnEZ+CNVHDIoEdl5keG8l7IBU3s3/C87u5T
8TWQpC6YSPcc4iO1p6Q5rVgjpG9jp+0EWzErS1ZX+UN+bH9uwkSON2LtKS0H
K1Q1bRkQpKVuOj7/anmkPTHLLHhAahbXdVcva2aUgUvURIfBOlvWjds6pyUz
S/zzptoOVhNlBCzmhAiYHZf3eOSuWrFJ7Tm4Kf8cxoM1W+4hMc1hEVk27Ytd
crOJnHpcXNPkmHLpGvGj7uSdnR42dga1KmwT8cxyyap5QU+TNbdkZgQfTSPW
J6mPWB8OTHaZnR8i65hAyw+d6OUTwjFuj0ynFZ9zBjW+N2Fcl3Wlmql6b3jv
mrgAMaPgjzpnXvXuLUvPnJVR/scF+xGesuK4Y0sWKtCqVH6vI9KFrG5g+SRu
Y9wNjgURD1tnttVB/ulpDL3PsKgcIf+OaHJbfqiUU2fOM8yfsIHgwOAdCXyh
ZT2TZuX01zZ4zZlGIXTFXIHOLe4pVYflL243mYfsSdiKK+GuuM9okYf6jk70
uDWPB+kN9COxUzY/SW3/OUrGCvF/Vsrs3P9ILxOfn8npw6RzK+U9XLG9BcVk
K0oqh1CIRtMty457KN7RsTQzPqJU7LeAxy1IdtI8jwfWtZnciY3QZZ25E1SF
laUDK618dgV/YkWcgs0LC65w4Jz+TOJ0W4h6lZt0ikTmzPqwo8HpN+t5o1jH
ICLjj00xTpEEqmv1eIjlTESCoPsxc1vjSW7reXt2fc+m/aroMz9vRiUKHPGK
lyw0DyWkiTopKg1yiB/CIoRwBrJLnahvw/vKjjGsY8eyFk/TcR0PbS6Rax5j
bAszdRcXq+LQidWtgjNaJKnWcoKfzLJ6TScZ9DyxHvnTVzDfZhlJH2a2tDcq
QCJ7h//VoorqgOJlNDCAWFnITyo6qo+oo7MXCzBtx03p2BrF02h2zUdYaqoF
0BLIBmDnT+ocBJ3GDZ5Wo73XjfWfb9ltpjTxXClBPaykX1Rr4480ydZ7z9Si
N3dU/PF4gBknUtopH1EugUsLMUnojSStOkdTgpxlG4jDJclGVlLA43g746j9
DWuz4EQkUqLzIhGOV2jOOrUQEde5L0WMaqSA9rrVoRZyoju4Or1nEXRRfiiX
CPCJjwCuq10t5hIRjOw1iJu5kZpwzoh2frZDIsSI7tkx1Snl1EyXRL2iJ7MN
XK6J4CtMPDXN+AvXlVGg0I063zgiJpoj7dWevjdJIVlqG8z4mpcf1HPH5ji7
gFZH8CRSo3KmR9EOGlaFXrL1DpsmZ0mKu0lbUeyI+8n14t2q4MkWy0uduPgs
2/Ui66GMNCQyaoRVZqJOOZey3lHzzJepQzl7W/L6eCJxZ4OJIPzzHnZB29WH
gwQqdT8QRB/Exonr1ryNwhjtckY/arC7laVkgVvmxZZ9x/ekAJOBV8ALKu5F
WNo884FqMWaOivHOUbToWwpiF94t415HItIvL+ct9sCchav6eL0N/CiMkD3l
AA2vj3dG2Le8oKyZlOmavxq4KuI5TODsNzJ3th+RxUjQ5WfI6oOgzq+bqnSa
/DDUkZ0H+uWIBJ3rihcXbJS3Fhp7/Dm25PGX3jR4kmUP6BE41PLf0+7uy3lj
N/410dPv2enJF2aPec+JA5TqJ32Q/3DcB48vdk89Y+ql3lWrQ12xYfUg/4+y
qedY+fy/hh9or+gSwZN4x1/7F5AXvvNf5W/FB3wHxjpdwK7aijQrPsx5djfF
gS5tqRefNdHGHzZU6b3KI7iyS3HQEjP6OUwI612LL70xFYBtQ+G6bfVzKYyf
GSK7En+8wmWR4NHXiaXl8k8KJ9OF8xNxsN4UtMCyyehKkMZZBKE6SG2YiZnD
fyD9oazgBYMmJtueSZZK/iOiU1cWnbqYaQC40HEgTySSxYxGEiPlrUzeomWx
th/8omZhEInwwguJaV3FSer+rKOLVj7AF/VuU7ESidUdoXNqYIIJi06COPaB
nU+q69Dfo4P20eJR4qBl1pROYMlm/NL8ZBKxlSmFsGHcoZwZjFgImBWnwI7P
6yOzetyfFV/aXgSTI51ziXS6fRlNJtD8gYzzB8Tm41WyUGmqVrku53ypCyEM
hlC+WoNk3JXbNd7mQ4p+LF4zsZAocZ2f40m+4eCjZQzM2H28gyLCZ/Oes5S3
Dzf3B9bcWl4i/0PohpNciFHy7tJFFZdsUGP4ACCNRK1F9kCMVskyd8QZGzH7
Xj18wxteH5slB/+yP1TMZPBqga0A/9McBJhlc5LrLBndWuAVwMXccd4BXc9i
xRksCPdl5QdaRAX3CGwn85UEgSiae7xtWa3Ssre0+Jx6fbAkSYxg8qx3Maye
fEkFAnuHb9hZIQZDhZxnZvTETmRpcJZwcpJ6WGYIqvEXeXHEgW/osjH3LyHu
6yy4b/glflv0RzqxwE5YLcMvmIZ59NXNkLfEkxCTogU8J8KvOOOiAOthjW1N
VwCeYuamheVltbxSbDGNXUIzZ3WPdYKKXhKHpJ3J79pwL53SGR0e0bkvbjYb
j3c8XnE6R0hGVVCJ9pg4OAhN+wcdshIZ7l/ny1Owb5xmvyLNkE09Tga4Y/Ly
uU8SW2P3LFn9cKhwyp4MD98Hbz/iahyxKj9syDwnfXx7XHaa2Ob1ab2PUDxZ
A2e5y1MhE6pQW029zGKX/3i14BCXZSWoKSxEk6nGqAF8Tg8Jt7mQ4JvmNATX
AlFVx6EoZylgt6GiLAvEt0U/v4cFyUOyqsgys2zm6sm51nxRZE+wt9BCV/U1
ogVMFLLviDzfH3g/O8SQ2yXdULLLMnFWIqdALrguVzYWR1SyKreXS4HEKPuu
WnxtL8yGr3GmXEvvsVlOexNGXLBOBpcT6dcHEvpEp/sC32E+B2+A2OXHqt3M
sn58Kbhy899hvN9ZTpz4EuEvaNssmFNhy/3pB6rQTCS9BsEPfFPuj3BIYA/0
AaYBprMW2jAMu61tlh9cw48YmA6uWpUaScNocAC5x2diTK7MXNFv6hURLuQS
kd6y7ID+MTYYOHHb0katNB1xqQUf4vrFOQtxCCWFF9lI1/24LsFZOjpUElIy
kh7dVRLKCNPAPbhlg70Si1HYD/+LXZpbNlUyEKL6N4PEB+HIuHGk+O41qzA3
2+qG+ZvIzJgjknHOFrv11IC1ZfXPg+5G+K3qJXbQgRqP88c6U8EWjCqxbmzW
6cZtjyVcRpvCPHtdc9wtsjd7lu4r2yn7wVyuH6ELHRgc2tjgyqSUJisX8ir4
SI9tW1rNrB8C39bicguHx2+PTDPbcOrcXhSbpmDXkpwTSYkWCRYWoBxMmlYo
NAqXgbyrPjW4J0EA8eTNpQnJ8KHj+MbozPhA/CZC7QqMLiMrfH8zON2Xx4Y3
bzf+BWz6iU8c95IUmMllil9T/g97nyMJ7Mfk4FJj1/dWwiRbZI8VW+KGbVYv
l8eGzV4Y12zTYrZknB5XN2ZXBIXWb2u7lVxNMqHZQwEWuClpTcLMd5JjQcv9
URzMMZMOpHMHCZywUXbW0z9Zsc5UUwreGDotL0A4o8DtTzIv3SsIoPrASYtB
dNpGcwIKwkjlXj7plLPnxs2S0CDxPs4DUsc27gk7BasdH0MQRlHljtIKGiH/
py8p6vvvWW4fm0byzJiIggJVuXvDK+pENkJLYS1hizwMi7+DU2jwJkjeZXEA
NaZirD9FVlW8DMrOk0hlcVuQ3OQZbUnXI30WjhYVfZVosHcN8hjYEPxe/PDC
+UYNCXGxsGpRz+lu0MPscTYrIEdEIMN+RnZLFhob2AhP416Ifh8MAfiMePFB
sZccDnPCIIOpJ3fFJ9TMnN6J452WZpYdJKcxfWvHqJK25ruadWU+IZRE2ICV
ZCg/t1PpfzmDDmkVHW0vhN8/PZhbyLso2kgmIFpjktAzi/xGLKck91O9p9Ht
n+Rda3EJ2Qq3ZfD1imvDHO8cDWGP3c45J37JNmVyJaPHzgXV+7LSuWTtng8L
bQqrTprx/FlOdZbMAZm3vxFlJBhtzpcC/wHNmZcpQZaZMYJiVR863R25dmw2
koVd8UUWdYxen5PyhvSoVTA99nSXNOF1RWYEOyOIAdRs52WSKanXmEReU3/g
nZTNPsd/Sn7CxSly4Roulv6NpGc4DXoe81S3xIQ4z449VD8k6Te84mdJpDAb
8+web240alPaWff2ntMY2xruTqH7DPwGus098ihPJPbOWKMiDUNDic77zMnE
loez1Qtlon5BQqel6bTiJ7/vZRbBr7dVW5hzTZfL8iDDJLFRMNwYR0kEQlcW
O7GF6uuOXfKsa/bWL6nJIeEGZj+UZfbvlyu7GcGMsk+xxSN7JMTrfL3pGVWt
i36AP0ie8KbsBRD5yfe0xjAPSdBSRwkr2qKIIkeQ7aS2Z1qqhrBicqnhgM9c
hEr9VxKnavpTVGMTlN5x/Fe+0pSShCUpHaNO6iS55PzLy1w87MFTvF9lJAUj
NUsFiCjE4l9kH+2FpbX2WIMmOBWt5gOzi/BKmVIwJ08qp5weMcq+vL3VwAe0
JAvaTDsXqNneI5k8Mb7MDbeNymOIS1hwDKUYYUzcxFq/pOeP93C9BxptGsk0
NbzjRSEbF5n3BVvLwdeVcO9sxMIMapdo2D5tnhMjapd5w1E6zbLLNPQBXYUn
d2QHhjD/5F4mx+boK6RqeppTIWSWifJ5zRyXUkRXdRkumd4VcUBCHzFfvMve
xY72IqFqSFZMEJE1cmhB7hvCiycS/fdJktzT5bJurBjilJA0u3AsKZGk2XYL
N003LX2jUuIIJNRR2udHpDsG35TbgzIdyxMYPQZaUpJ7uedKis7i3PSR0auv
9UJyFiLi2974MS3aUotEKcMyVyUnlVvI02vkvMV7mcJeklfrg/jDRa0RudRI
dErVH0tzhwsAWSCZxIXEp8muM82HtvI6Dl3fSCQsJHFxfEESJ/jvD+sm04qA
iuOEbNblh6+/CFVxSr5wJImuhsKuzuKhvMiSdZk0DC4MpOpcIL0f3bQLEoPo
9BeyIIi6VqILuKQbnO539X7OUTiUdMUA1meLR/9sgQ0p/7DMMneUHHt5IplZ
mngvQcJOAz171gGUJC2gIgU6yDpeNWTFxQJiCdLIvd/DydGSuOIvvK34dpS3
KgEtUoraKAgDNvKlnKzluJgwCDGUfeycLhWNyJMjJfmu0NxsFeJSojEXNhCy
GHFXYAUdO6gs4gBkUUG/vN+rgVwsUU9p28BTyaRYcaP3VINgcDlJshmtNNiK
cMWOqCHCKFHsdDfLkqokrelWWwV5abqUqrG0fmhpWfZaarVx93nj+WuImn0X
dWG/Yq1riYJWORHXc4keFS1vbA6Uk0gqfDfi3b9juzY4CbhiOn8VMlFIVX7P
P5ar1pQCi5q3dM0lqaXRuSQpi1C6Yt17buktIRFp4zQH6CV9duvMKnpdPJFq
bnORNsgn7gEm/o26X0TbNv89EzKThRTlFQ20/qB0XR8butIzORmep9p2TpyT
aWopMW7T5YDZjKy2x1hpjyIu1FjB3Xwr9Ut65YwhSmiqdD64CpXjKiy40i/u
xL9Iyr/K9Zm6BcDnVpLx5Qs+QcIc1+FaxD3nC+bRUxSdQciLc69JrRdOH67q
aP4Ewem9K+kuDSbBau9eq+bFkJCExM4uRP/zyGN1ycaMQ5DruEyveB41vRDb
8sMV//dP57/BIc3x64VQNx63n/ny6a8XGgAWzm3QPywY+PvGXb9Qd73VTaFe
P3/nYVkkOzskf6h/iEb/obwhkbPVAiReKu1stdIkZsRWNBKyi9c+4kKs4Tb0
fOQG+Z8iU4qsb1bLSjhdZ77moOmKXbOjgl29pMmjuUVUGsy67yMtrFpP0oGk
YgwJRWPwFWJ1SQwjmNnBLLB62przmVa5GCLEzZnxS6kSbUKin2vxj9CLMPW9
29b+TiAXarRgL0mkheLEKtSwfLrHgLKg76miF4q/1IDxVo/7hsRpXHDQ9DPk
Fq1K5L9Y/hPOmXcsPXSJyNNGAU/A+bs0siAVD+klHIvlzDLhO3r45a24+2Be
hLlDODmR5MxXWSl7e0BAxL+RkiElA0rdUs0d8/HCEUtERk43GOP4jqQawFEg
in5YfY8vLLJvRKfSBeDF+voWSaTsiehqnxgajlwuDT+LTdiEYgt/z8YJxDyX
hdOjn476W9UnHH0ypBVqqE1MFy5nCAgMVu3ALnY5lP7dsWgQ10ILEeHezRKp
SJ/XalVTCYgY7oH04JwSM+T2BRq8qesV8wB6mXGEFCuHD+uc/ztyCckiZNiz
ny4kxgYhyjxqUx1C1p6Nx4SbykLsA6JnXOu25ltTZ+9G4KB+8oX9uNSWGwzk
pEYi37Oo8Zq6i8lpNXiorc2dyQqVfc9/Ye2DvXoR+0k3wC8Y8mIK+QkfytS7
j8TdYrs8bmO0mEdL3NRI2WhLPaoDgy11pqD8hmFVnE0rUkxLAq26Rkcbdemx
iqFOfTWhkdjLn0qWKSraTAkUKTlN1b5HpjtN4MiKCZLT4myWXP6V4A04X+8L
OyZ6YXtcafjVUjZCdmcNrfVpmk/YisLElb74J9dcBNde6mUJ4AxQF1G3YA/2
NYxF+iHliM2v/ZBwquFHJEF8y37GyOD2bBTEjWxHyoxbYVxREJNU4hjgtdW7
SjAgFDdNFypL1gPnR3BgBtykgtPoQycxWAEywa980nZfHn+epDjONLkDKbPp
ZojRYenks4zp97ijq3QfwpkdF3GpEpdM1XkgZD/FfRpr9+NXrEILqbrD6X65
+Gx0wrx0h6gQE0A1nVrmrkVnXMA5Mn3S3qT6vf96JhfEajPEzpc8/2SZJp7c
q0j/IAFxbLuRexr1sz1sJ6gaSxb+KrQ4n6vaH8vMqTIqKDz/aFHBm97SRfY8
0ZNHXFpjdl6v1tVClxydFM9LwXVStHgDtiJtZwUdbnwS2SsJxhqXCY6vnsNN
4NX+diwkoVNEH1JyJDjDeQ+tT0NPVOBRM6XNznltkgoRcg9SJ5UvHb+YiVNB
jUhx65duA+iTy9Kn1vAWdDUCnFvD8TC1b7ATfNMlyxk7lWxAWrel6B11g3Is
/Qj2ucxOYBUElWTPhuPeKSY/mAr9LRjYNwCcUTUiRhGRIiVBLfXFakpZHIij
UM7n/22xvzmSfSkM8D3d/ru6ITo+e/3j26uzmfxv/t0b/PuHF//tx1c/vHjO
/377x6fffhv+YU+8/eObH7+l3zP9V3zz2ZvXr19891xepr/mvT+9fvrvZyKj
z958f/XqzXdPvz0b5oEhZ7UW7kSLpQPWElPT7xFk+YZk9aPPtVDi0aOvxYZ7
p1iwP8FNIt9C+Fv+E6xPkKMgKojIFSxKYr0MrrPP1fi76iM0sfbOnEDBE+gA
X0Wjk2X/y2cLlfuJCxvZ7KKxItTpbPDR4DB8X8c2WAqKaJtv9Rz5ZVm+Vp6x
ISClkQHwJVC/hqKxGKnI1ZAoQxn3A1xaeazp+oxMw2Fqq7JZlp9QzEZTBzkV
K+H4NXYZa7+GV7xMA1JW08tPV3uRK0fJzRtZuSb37leh6m5Xd5FbbMt+baGJ
Mk0iQsjnbkMse1Obr8ZKYIQM3TngJk1BZKh3ecMVgI2rmESl1XKzR/6O84Fk
LlvUYTISXYLxFb7aMT2VTPZfPXJTE7IcaHGrWOWUcxNpvjoyeyNA2kKNwb+y
6GOX7r3mwtAGsQ9VLD2fKZxJhYu5/jjMVeozYE1yRFIOSRLczhf2AZSvcpWR
Al6KRmAVzDr6Qnkf2wuSumhF6eXfxOMHB8w0jsIoch30GH+w4k3icTPAxjhX
GtOPQkWELaxI37jbO0S4dqZYZPbfAo1OfA0Dn3EJtWA3ipAwVDv1ebUJmKSi
6WVazQkVnXPIDsA6ox2N34WmoQat6GUPovrwgEmI5FNx2GT6nBgWSHdJqFHS
hth9JVE1fyNnGsilYyID5cHzAJvhxm+ThK8YPQ+uTcWNy3oIAotUMIkGzUqU
SH8mdFLskhriTZkZCQW1A4US7PpRCyaQesT4EAMNpfTT+LRgZJMwe/kEzN6i
l9aTogMEPBxoSiOgALyrWy1QFm4RCdX7TPtIjf6MZAr+aXOFnEktA7tMztxH
tfD1zNXan2mFDqJhahxFjgvsgVBQkbIQ3fUWlWtXm95dY4Md/kCtaNVTq7RY
Vq5TSEJman+QcyhR0YRzeP04w+HYhJRrENo6oBCiCNxIhQHbBJu4mQGREggj
9G+FbGouQu3sEGYDk6n2pKnK7Ige+d8LW1lYBU3uKFPC1QnTN0EeP0xKAbsi
JEhC+ySXBLIV7t0UEUyqUEY+yJXTS0wSwFrPABIXxKxq3iGTp3WCRHLRzPwt
uNYL8DPineMz9/ql+Fd+PBzCXyRKmvhA/47deIMdTbejkNWLr2QU5gzXl9XY
6K9iWW316x7PKb1+FfQyrsC0yLUHLQBz/xWQO1fDS3DgjYf+cmv59SHPQ/Y+
CvC+7hqHBoBcGCKOEC29OMqORfR1lJU0lkuTUw6IQkKBPxPnPawYVwQg5gcT
Ogf7RUGId523o7pBjXKcQmQjUiZhdpUH7ojnEeFmLKddy+NJoFjpwjiik4uX
y9yRYx3xG1Qt/QWoDOKVvhdhEac44ANxSfLATSTBp1LrF707b3DNEqpriR4d
p3aw566SrQeSIV5zjcCo0MgmoH8kJawHM5AAAGWaMZEm5bghrpqCC/AZ+GFN
BsqFVnhZxkfOkBj1DbNWPiQHgs73uymt5BFZREAXjadc7xlZmo1iKASjJo1u
5htxWwex7EEkFYlYlL1I1/XRlaSMSyfbVJVHg6s6sMRQGqaKiZTTC2ImManj
npt7tETRk5AjQcQdUdbSlsAIFH+YYfuliC9QnHZlp479bblGKbQE9Q26xFY5
NMm0VszUIDpjxV1JlhllSKiMcgiDmLK6sdQ80FQQx6sRf+ElKAeDJDMvTcBF
DYGfuFwW3WQb3w/IahzXL8w0VCbwns6CnLYywno9S2s5h3BRo9KU5hrqkVI0
IaPqHvE7ZvhJKpBol0+9pmIwK8Qhtww5cLPpDYeKTxdjlioHpzmBIyAiKMgL
2bXU1ERbCgbUXirjuRiuuEEpFeZeda686sC3XCKDmdgc4jBqIhVxNkUzNL+u
6vx9WR40yAVEzoxnM1efniDpWsFFbLcTIGSQe6TpfkspT6kPcwbdz9r3ZRfx
HiAFWOg6ZuM2VDXSRBtEK4RVKSVSUF4lj8t0R6WWAlg1WVQRF95Rw3nDIvkj
IlYwOwAbctAMR+BNZUTCSLO7LedaA4xwDlvK5RNoduH9/H/89/+HywPa//Hf
/18D+J9BNQdgdqaK5nnR3IgUuNCa92VZAd9S1c/8vClpwXu9ehdqTtKA4nuo
gHRfAgBlz6EyUu/+xfKi+pi9aBGBeLGt27hrtiuFhhb5n2PG8wepT26KFnVO
McFPs3mPjQApCZw6RwTF8rIb2f++Rfg5ihN2CorEMLva3clTAEpZT+dbu7SU
uCNAaMMX5TCV34a2Je7YUyeUMCKopPFoY4CbTdJRFxYKgYH91AiMwSqVh6Xs
i9WFqHnivsEulIJuifi2JHQYUKB6vHrirYR/P49Bob0A9Oo4ai9Nfrop50Fr
o527Zb/5SlAcKq1yd5hXPb1TjFP3By/OUR/dpkH6c7rLffvpQrui+J10RgO9
NLAxYsonl8ZWnRgkew+AeO5VVksaELRnqwoQV5XV5Tnw5x4CZaNFnmzO853n
R9yU6r06z0BGDnJNzt72n5kF8bHei7NQr+yF8wbS4La2fNRAQJaQsmUcOo5c
uLckUNVaGaum3LlkKYmMgNtE4xeyme0grViI+W5u6NG5qBdQIMI1h0esHIAQ
eOJTAm8NUkUwp2RYgyPyG9No6M/9TSbOLits5JRRY/OYNhuZ5Svy2Q/ljYec
M3pTRi1KY5ullBmghSHS1FG3Ckibr+jZ8UHNkVWIx00RNlGUHDlqwmyiD6U3
hQEiVMRk5tijQjKPTCBUKI44GlQyhNpVoR+iT/YPt6W+w6zXcHEE7olPa02q
3sCwZ4xL8dBu7y+0VgEQRGKxfNwzgdqn1FMQhNdUAE3yMmO6aXjODZ4VvmIA
rObP1arbzHRkOT/vt6haQUdc2HT4CFrJz2XzYOQdw1elt2YMdCItBthtn6a1
SS45crBroQZoi5GO/JhqWzmG6wFDFVDHpSf4OyjZ+sbIi9R9oAhCnIfWWqqn
4JcVchjsVBamMW68TLvpQ9AqNCswdXDmVObo4IzlX8HzZK3UnOBJq628BGIT
Sn3imQVitRpA0uYCh4ZdzeqElCYyxjWXE4bwLZpE+QRygRpQHM049zFfYx+w
0R9Z4RO3LQtAEkySMCRYy1/VEZoF3WjVzyIo+45X50cJ6FAWD+U80x8QyGkd
7Khm1KO8eIvcC1mUXFXJchOPzlmjgPtnTNVnEPLBKe8iimeJbC7Gt8vK1pPN
4ssmpNd0FRckcpQEwBMIIyH0I1+NyoZc3bMfgtdIhN5Z5uIY3hsXojm4gAKn
kxwjTcwfmYDe6AaKW2TEDabXM7QAfCYJA5z9Oi2Pru8VyCZemZsjzZp2RMs/
keOqeiUX8zGeIVNAqTgddl85XUGdik5wki6QBd9ytOOjLBKahbGnSMcM3thp
WLDVzOsVmYrQBFpWl1pNXmXIBKBno45R0gbzdyMtRX8yVUN51VTjkZk4LIoA
S9rV3ME0C8HJxDgH+OO7tAeo4qb/t3AlJrc+Q+DdY4AG52C8ULOsDXhTsUQu
sRytAUQU40c6HcUl0WSZ2XQUyU7d6jScKw/j6MVDzzgrVaJlW/ZG4Dg+nC9Q
2F0ZIvI6o4RrSvKn4x3WGo1RkNmpiWx42Z2I3x0yn0nflvmo0yruSdG61i2h
C4wSErre7SuBXizyG2DS0/YO5+EgxwuxX1omeosNCjqLcRllH2MPSkKHuBL2
MYTBCPDh6+Gvaoin75i7Scig6EZnI0F5FyHhfZHgBN8WuAgsGdUQYJCTivIt
cx5nLl4mLew8c28CbowUwfuYm3KfZ4KLgQ+9BB/9k3j1ZH690RzOuuA9KUjy
ezEkQpIWUt+kFR1U0sy2SRi4dGqUAzBLQLznve9FudfWmVVxkYarwwXLHp/S
hB6xBQrPA2lraDFZb/AYnZ54zxpF+G9m4iHkD0pWCTNGNVDSb2YK5BToSpJr
Wv/22ItiiBervyqK4oMHil3y4IEHvoLZasLWCM2+lUU8Ef1ETyosRDfWGJBm
pYdKjaBT+RJmrUhy84LcffAgc7NalaoelBMzs3xhj1JhNhi6+Cn8sJbJhuzI
Il/d74tdZLa4pzdHoKBc32epI94xZE3tCfNOCz9T0BZHIT2VUWHs9CTi2s4s
8fUsO+9P8CJgPWu450z9piFb9gzdb7GNWfzb+dRaLmaBQf/tWAPuAvV4sulZ
yHAJCf3phc8Vhm0v3ZUVW0KBm2QSI+tSz6dAKIhsQcZNnLpbjpWXEWN5YVjr
SHwZjZTSHKvSdAMX8GEkxXIQEYP2mWk5MtEjn7teH1IpdodOLTTmRpYo1o8C
zXu9hq96+Qmnew3H7iF5zLchIznpFhls+49969un3+VvDecx/YhgvBarFQcs
kBsgvnqXgiSRPg0e4ziZXaMaL3QxzdNiVhJABoAnARCpTJYsWWLmI3P+Ja3B
0eQ8qsxhg9yELTM+LCaC4PHL00kt/VxoLJY1hibUC0qx0zX3Uk6blnCjbcW2
7advOZpzKVwqGQEl/DwKvGm4WYdxkUyVCO6f9tft4V+0Pvvj0Lin0HmzEdzc
UWBcnkPYcz+Hp3uFsfWpM2HIdC7IlxDf0wiQ0sKN+upUq1AgcxX3ATpXHKvd
cYXENvegQ85tY7hPkHITSFyp+dcPZqPYV352isGCeOoe5YZRFgcAC6V4YMSw
CRbACzVeF3DHeiVagk5wvJ67iEEhHgjEm1DhBWJ6foKYHv0qYgpAz32I5+xj
EM+/gGJgGLIBJnieIioA1GRDJ+MVCTRJJuKu06+GwkXsJieK6lajp3Iwhtie
MURSf5AAjrPEtLjh+iRMu97AOeDra9nxKatONDxsEBLgVQdSHz3bU7GA15Lr
AoYAmU+o4kCC7Kc3rs7GsKZ/Qa9qf6UB+qzosIIHFxw1cA92zooWqHBVZz0p
X9ddtyXLc/leAR8ZoIHdFuqzDTFi86PX60kD1fzJ8Dyi+iazCi69h5ZHFazQ
JAUqlAqlhUKTd+HpID/aowNFaBGp18rzFwGF0YIEGYeCSEYs9eK6cnFXvKjZ
DYZJj2q0+GWJ4CpuAD+QfikBiPX9PjasHfrlFBdcmW/XTGr6aNcRLi4tW7GW
ykBtAKLhyzNM4SyDRR+6C0tlleE6QX3T5luqiNtgHATi/nRbsIMwn+uLnI5E
P3zGXh+kEAkSxFn4tjh7z/LwcQb2yB9np74cBvOfzvNvmmp1E3/NFHSiSPEn
FLs4KXVRIg1BZaH1bIW8KU1yD4/7TBeQjQxOE/g2XSRqQ7UIKcBzFE00IPh6
WRGHdM9FQZF2UymupaLSABAXkhEkRBZcsunGeo03mCos7qQMxWf0vcTzL3W0
kK7hTnB5gV4QYZ1W1xYeWF3kf+bTgtXnqEUqbBEoqFas8et+yFlKbkJKLKUb
qWAwp4L3VZNAwphG3FJ5JaVcaOMwLoN4tzpNUgOerBnsXITL94dXGLMlhIvI
xbJfVgnPvIqdvYNaIPKsEntULp43ehxYvQY+E8M11YV2SUvJ6FK2LlMRucay
GuRwZI1oi24embAkbvGkfSlm1hZVA+eGl+l455d91plspsv2j22dMG2aQsUG
oSBIIGYYC0K4/dB1i/brAHC4B8zP/qYLiTupzv5Sj1rFWSD1yQKhkRy310//
XZNgy7EUWJn+QV5HrTKn7B2R/2yZs6g5QpKcCZmTubFW9iJOflemJpjY3XA6
ySS0+0L8/F1J5ui+7TXSS5VykzDaBsRl/Malgm5gqGgDVTBYAczKUjggdnck
IlUvQ8G1/vT/K7kU5UWfMDwApUWVJNbAmAd28UPPE7l81xe2aPa88xpS94Vp
2goxGXN+5eIhHeKcyNsy9TM16kPolPVB6RstVl9z5BaDAlALp7UE5NBLiq3L
kQv6Sl3gyWGGGsJp0XZdZoGipF8ze7phwDEmf5Dtbrnapkrib9ciyl4/fRYZ
vBSn6tpd01/DSFhkTxmFe1V9yJ8tHi8+d+YBjmYLPUJzyOwtIqMfvhe5GOiC
X/vCGG9iEvE2ps1YA0AKMZxjI/snPcOgjNSq24eEgKuIPHDf79gcVC6fa3+l
5fKZaYWpWyh0mRN0My6QEfanbQJd4z7Y+rX3FGfBb4n2asiT46xZTZmDynUl
sNtFKveHmVZaD2mFLBr3wo3uO9B94wgXA+ZDvVIRG3Rg14tuwqJLngqA8VbR
GKDllIcGuRcXd1J+il/PWCFiEbQaTxRSnYoyB/0ViUz6psZsNDi/0l4jtn1Z
P7OP2TbgIiJ5K2xQHrLRG851gNXKKk1XZ3u6IcyHedGCqxWIN38V+EhbzkJE
K7nOXNySaQ07zl1VUxfbVPTq3p8FBTtU1QrECIs7zDg5RRTNnDxBhE3NziEW
IUnKjILwys4Sj0iKwUcOLhmRZStNCeWodT+M7zCzrf2DYmRER0NAioAL82Im
UH0wZsJTj1I4iQvJN0un7ob8oue7uNDmHazv7VuzG+GybnrAX1bgoAcCmFza
7wx+IFEy+Sadi10VrvNFHnbUU+9LV6qheVuqdRi1hB4Z4XuVQY/G3ZIiiYKD
HVDDQvQp8dj0NpKbL6y18+8slFPYsUX3mhh9wfF01i7pNM9EcupL2loaKJs1
Kh+MDRwD0AImGhhDccM+1i5+JhKcFb1gQxM1ncQh39DrMgnYAULDE13I4wjS
QRCcwp6ZxnqucOIKyokZRqRkXVuC2WsJlYLKhwo+QaRUeM/WohM9n0AqCy+0
XZEUW6ht7SfIM5kNEmrABj2OuLiJUG5acud4NAnw60wsEFwJfhapzsVSWE1y
7hoG+SY2ru8+ov0qfVoFvsFgycpmrHQXt3UVvf9I54sASlaBIX4/jY4iWcwO
WMse6ApUx50wZ2HWiRb4VkDrkCGT0mSr+TQundsoTUO1x+u/AgW69j27AXCm
xBZ1UlgzSrADgsNSVNkF3E+rt1Mq9eNnL1Tn5yvQP+S8f8iBhjfWTaN3504d
paXdThcQ6bmE+JzYZz7R3bDmi4HFKClN6AltdHxdiRNTSlp1qrM+1EVsdPj5
Iv8mecXWkGLtDGVUlAGcrhNGmOWbgtR+vlEhzy08mtrSo1QydrpxrxwaX0V8
eykNAqKNECB5R5Km2lFylWPzKlRPRfE6CWRzqpcw5Hac6iLxe/fGzcw2Cpg5
Acx8mNbG22yAJqZath5vSSjbI9NLd4TQkgMQOM6nTkpTqPK88O1L+sac03t4
6Un6P86DB+6pnTFLA9kdmWt0okfjBYZ5h5X77++D6ubaJDPRqGfNU/26X4TY
YwLGASvRr1N6mqmYkKB87Neijp37EgpD8mswSmLRhE+e1NQu2NYM1JM/eMCT
efCgv6v+bHlbzf8PzTFcFWFX0iHCvpxFxpX2DVUhD49lyG2I2VGyu4GlZpKa
Jc5lS64c7h/Yn5jHDvtF4G6QN+TrdEjLuhjRIGb0d/khZuEYQrZbTX7eaiMU
Zn6oTkfJXfh9VwBgWjW6w+a+5Sfgp5ZWqPQZ+g6uTt1xJqfsnLR8jfoetDzg
m9tGZ9vIolXSRuYP0+2m0hjIuvqA2iEgpcO/gt4VkjLJ+MdjOjtKjVEJEv8W
P9n2iSN9WQ6i1yEHcRg+wplDvRdnAfeALKqtQFfJnU6Avlzr51kE/dJ2p8k8
tux2DX5HtWGdXg3PgVjSzoYF5+vp1BHeFIDo4ni/30kHlXEplWlgjM+B9yrg
M5tW0uZn6Yv8FKfPoKEzkk9ogwYPXCSWGEqBTptiUqNajWcDznpRcPZ7x1S6
J1mPMUZeqbs0brFJvUGxlYg2ch36jEfNEZX3qES/z8/cjNuzLOZRAYcqqeZI
1uZAIlw8bOyRHMpNsCcMgA1FiugQuJ50iIxHgx0ui99YZFxNZeu2meGJcaRE
+wIA2TEkQaIYzy3AhKa1KMD1QmG0li1YnqnBig6LDLOkigpZJ2GdfnWucRTD
1rlJsQB58MBsrgcPknzfwgp2paWrGF2CHbS0z46UVEugVSszLTjvN9EaS/08
dFfNYuqtSYVzYVWKAxF19LWUtwsR3gsYqPo+U0EtMlpValI2Wst3R6mMdkQZ
TBNboznLpJy48HC3mSrGD/c4wR2YvsvJY1P32dKNWJFkevbII8LuGNX5pPYz
y0IE0SFyKVii4akkXjh5X7ziGk4/lX1jaGcpYY037xx6sWPpX1y9lDRGf3p6
h41qxLGeDRNBxbce9dK7zX1qGsU9R2mOi9snV9Qp5Il1xM/GoWiHQDJ9aKbh
CWdqNE+XJ8Vm2iEHv++G55Lmqt1Jwu6nEqYzy6JLZ6Ju2Sql7FiCN9SuYXFX
hGokVOWB5WvmF7oG8tK0aEA4z2AvjH0LGYZoX5uc00jE4+r+IP3oZsk8YzVm
b03w4WtlK5hDI81//Y7IX5FrhXaNMcnfe/o/5XO/5ExcfMw6vVQ/+2mgqONP
XJu4LW8TXeiFg52eJsQn2Tx/zmYKumBI/L0ltpvl+Tx/CbWxRUtA9spVfZfU
Z4svEncg1h1/57TG/OvEDMe4r16/+j/zXTq4S64HAvbXpNrR3CTCb/kCWrAl
kOAhmwFj2pS+muWPHuPBGElKZ0DPfkSJ8+P1nMJ+hyVpf2RvQc0AGNDMDzLG
2fMSTAl2FPeoXbRaC1L45K3TxVVMPa5KLxxrnOZ8fJXaPHR8mTPaJRHjJBc3
vJCxlz5bfOYQjVkZ5/cAnF+xcZV+4VFvI4kOvs/NICFqkPCje+OLOPhXjx99
/VOiA7+MmX9ApzuVLTj+hkjTtIBnTdq2hHfryjLdEUHFwTQJPsbl4hJn9mhx
OROtCZvfIrb0SqFRQ9UKe9er2yoARPaVj0wBoGXXNa8xaj+cj2v5OjAT++/3
09TjCI5BdidDLtI0pB0wYtLHzqZGP+M0SuJpZx5/9KbskuQNjlZLxgByOM5U
6CpOrnam0NhDjExr1uEbZLusQ9gi8Q0PXE44p6TjRV/VEtB1IO6QRb+2Cr4A
Ec0XdYJgXFOwcLCD3Jrha+oBTurgRC+DO8NAqpDeGWvBLkY8aqMa+0yBScQ0
gX4H83am7BwQ7rFIReuFsonJJjptdDZId6DcehhpebPz6rApAOJJk1havuEV
sMZQFH1TxyyDhVY5Wr4La5xjCGa2gkBS8joUB5cKVAnICjPglOHp6zz8uGs5
SXfurB4kOuPOWB84C9EJyY5J/B2TrgPp/c1b8inugxnzd+laqr9JOb1dZR6D
7WrOxORraXogWlGzThzey4LDWd/OJRg5cwrs4OxDV+dLkuvnX1z+9qLnrFeA
rYjkph0ZlWBC6qyVv02wag2oG7pDWIYVGE2FiXzJjItGZKFRVOhW4IINPoBt
UKYfFxZpn6dQ88NnQ4bQsT2xjZP89dHl5W8/+vZMgodJgahnC6m7SyO50nZd
2kouZaaiONkypEdvENtfJlqb3EPY8dLTve+RV+28ty+BwlTTyfp1rX7as8SL
lOxtCFNlIcMmHGjCwbAxUhDE9izuiWu4B6x3OKRPKArTpvbEiajR3cuAYRea
l+2ZdzJ0myT0o2L7FxILzjYY+HIiDkuzP8mxLPKMDrqXo7DIf9xbyiVQQ+mP
lrUloCR9zs4WacA5iSAl6Ibe81EjUUblcKGVhYyijIRw2t9RkVMiH8agtWYh
GGEdtbqg4igZmCdAeorm91W5XQmgkYbsmVhDbYJctbtNzYPdk/axA4DH1oAM
8Fhza8cm/FOMIVWuU7/2tucnDiArI66ayOx5ygnDn6UmTzalhk9SjvglyEps
tPM6WFRmYF4ANCwZsNzyEtTQ5AKRW0loThfmKmnQtc+HvyT5CWh7Rs2BeDyq
SU+TbAzN7sMgnj7LLWzCqCHzrp7zAfJ/muGTJWbmZ4vH+fccMcNaX4tN0g/z
igHCs2OdVH3bk5sHfZ8xz9jw19X3iv4rcY1X+1TXMUVEpcF2Kxmr0MIPgn5e
K1Ka+K1G8lMsP+/R4vMTQ5yvD+yVTCPXj+IL3C1+jKd+dvlb+fLk6i8X/+yH
8Yf3TQjQVlruAfTg5aZ2PTclqO0Q3ngvYvAsKwbBwlazRgwRSQN/sjGR4Qu4
GnD3A08DKJC9cNwFp4mV/J6m5JiMba4UFErOemFLyWftvYz99kd0SHPiXgCS
k2nh03Ich8+LeEHKauD2Li5lyZtZzM6K2khkDjbaaXFSaXsVVTrXZSGQkq96
8Q8HswEENA47Ts5fc0R62YawwyzMPxZod0gXH98jUxh9gmayZZnibvVTWyMc
iBRfcBqzaBkrbXsfYBl8dOJE2NsyazjtxrJpksDR0XoZyuYRJzu9da2F8u9D
+6Jiy4p0dvqc06PVs3RVncCmKbZx3Uvu6MfaoQPdD6VzKB1n36XYE9oJttfb
ecYNhUM8gcHBtz2fOSMKie+7Eu+lKeIKqaWahMjaXlqvCGm5hucOFX27den+
AoB4DOmVXpUe7vC4sswBYeB3WD2OJxepgOtRhIQzMy6IpAe5lleS2SX1JamU
U/09JPhO0X/CRgSp8TTreKOK2XQIyEV0DWbHNxT4wWDq0xjMk4EEmU1fRK4j
H5Upp6PCSLZoDKIg0eA7yU0/bI9WzW4BYVlwyxgMWXReWBG5z2pLw8xhp8YC
xJMxAGYxAX4tFOaPhWnFXPKIj72hxK+V0cXilWrkn7PJiH0Nx8uSq78uSNRU
RQNTf5aVH9B8GyTF0MYxCN5fpPEJjUCMRAJkCiMzeCLR2CAJf71rkSYMoxxa
muDPqsfuvJArUa4Aeiy7cpGJwwZa5cnw5DBZ3+dh9wAJtBJLWMMbDdvG9KDM
Svg0fYgvb1/su0aTrfVcd7hTsLImS7lQw+awYzigo7l/BnBUpTaqQBaevv8R
XnE0pSPrpXSkYcoQp/PE8z/hzir24i+/s7Y6d2dpd2KL6xO1MmNVMRHN5zwU
xCNH0f7rAihpwxYntndjkMLACRW+CqTcXiw7ANEbYKsglHNQHjZJUe1HDu6J
j0krcucw1SQ2WPJlBFXSfClisqv5L8F8DiqQPYgeUTfHAIFXNVyavyrAt7bB
Yqq09J1FK5FUaf5xQdIjyXjcFrLZw2YmmoBtrMz24z700fFgKNbfzk5UdN5+
joCUiTIPbNOYmLk43hnAPK/e+qCwEc49/7gxeq2/z+v1vFkv5/z7XHsCttr/
V92/jNAXp+jhEJHizemRM6uQ34pDi/1u2/uAXy9Z250/MGvxufGtrHvsoQo4
MSyd14JAn1JPgIU3bPfjB8gJwco3owT3RYDMPq3y6rX2wBKVnI+1p6sIxJnG
9DlLfMMhDz7MyaqqCTCNsumQqi5pqhgS4wkZoBkXmXZBKQzgYFuD0r0us6Wi
8Jp/0TXfPpEBDAgWaWxn9aOhY+ssc9VrkuhjEH2Ciyt4jx78V5scOpDcXnlJ
rzzL+mK4JirSZ37j6/WzybNTfVHCzXfoHTCeuaztgZlNg2amR+Ql1tw7eqYl
uibFkY9zkDQF/u93I+DHJEpvqiVdLSQ4pnszRwbsBfK81ZnrSTNM4O1xNw1p
wfVSdFDblSPLJGFafQAfsat+FZn61BdtHxqqxMX9ECKGUU1Smg5ZUBnwMUJy
Tk+zmT4Wp061w+p6EUyDfYQvK558fvLkZ1kPE8SoXZO+eulcg/7WfkLW+jyo
Yu+iRvQsbVNw9fbq8vJrIpndtpEn5qGRwZyfmHdtR0+IVC5i0ktknr1m0r1l
ZING3FVsiZkmiA43UEjEWMPHNzE7980bAJOvZdgtg84ILpJ2pQXorILs9Fq/
QlGE6syeDHqVzh65saVt+7KW0qlVKUh6q7T/by84Z3nTM69RMONsoXXC34nF
DXdA1F2kD/o8+lDG1jiY7ngPpYh73qIoVqqRyLae+HzUIE98PpfPZ6Mfvi62
rBquNMkIeS6ZUnFyeJMH51nRx4OB44xo4G6dZjZcRrdnk4qZE4C7mLHYLGnr
prMl1Q0il6f/xfS2h+JR9uRAtEi6iN3s497aU8FV32pbZMeUGERJxV2SzlgS
/3dReEzmO1rTfzCqLc+HLnTsaS33OOkiLteZSbfeS4Il2QSN8Jy7QpIu2tJX
wCqGHY+QljpxGuBp1mVOaF+4FjzVPQmmb8YQBf8g9bGcPal/Ja2ZJu6ro8IR
dIOu3Z62XpDVTqP9CupKxJxgDgMDdOeKtH6RwPv1NOgl4fEg7gXIw9p5+RKr
LxsnVznSfpNzGBrbshHghC5tchCzcpGNcdxuTXmu1hp1lM/cIWSk0Uka5cTV
v4oZ5xhQOkmy6tmjAmt5DYZyFeFyNF1hmOoBZ7Cl5Cu1a38EpwbGQy6FPBrb
h5BtAYngqtpE+5YXt2WxCm2F5BDbLnYwRE6Rem2V9475ToYy29OqpCCmNRt0
x2W+c4w2p0fmoXmYXES55tjG2MksXAa0i/hltwDdWSrXBpqjcP0qL8W3dD0s
ItUQaVvhocOwZhVKw8JyPH+vbmhlJcVImxE4ZGCBmEonYKPO4Z1YgUKgrW+Z
EWgd3oaN1ESwAQZkvjBcogb0XJGWMCTTDS5HLNm8nT13By6xeB2Q2qc2OP/s
Zz3SWCXRs6yrea/EU5FNtsKQBj82Atl2qA/ggAqrr1DuIx5bNesKV/UBYO46
QCzcMfl9NKID2Fxub8FINUR2oQllD3LZAPcjZZ+2/QQ9C7Bo8RUhmbAJ6eZk
jAWnxZGI/wmRskNFrN1UP00E0PQ1z979QVK0UFEThTrd7pv4wzxK84s83Gma
53VtoRpTy5jJ0Sz9RX+l+M7/SZ6HiIGg8AyhrYG0IU0vc1AgPvk2O15RjjvI
U6ec51lSXxACsiFRMInYfcygP8VZVPKJFGr7jcv6V1bzUqXKWZRn34icn77p
LSLWeyWSbuBTgAKPTJnQViEJdsk3OTURXnn/WX8pk60EUr9p9nZe8pGAP6OB
3DHlDYLbr+UE9Ym7PNTDqI7FWqiCn5PdxokHZkc4Daa/E6uy3Mnl72oiyD0n
I7JmnQ30Nla+Je1Dek4PGzj7zk8n8tGSLp6/Mu7X68khPdokiJFyjEFw8MkJ
N8LQiJM/ZV7vM1+HVzGS+olhbO30YYYRjfNOyOkRQCYuuRSvN0ef0mCeIOSH
kF+vK8W1a/DN0B37niCS5OF+CN+/MhEoWmR/JIZ+y/VcQ0wnYXY8s371EMs2
7Wq/qyQi6GZ8bVFMaB1jfKodKrCW7jSiPJw6jxaJvIinWz8Wse+c+D3jHAn6
bfl+e39mjKo3TOgUcFpTNZ/SsiSptQz/IZIqtrPwl0ZlaWj30eumOHX3+s9N
Xb4snHKh/dWttLifUBISbEMnmthEBYNzbZXk6I407p2k9MlaY9D8cYqu/6FE
nxBfkHmxojAkH0mJEwfNk2CcK3TMClRlSkOYfTlybrqDkyQ/krX5yTWlAnPI
2rWlMLP7vPLdb05lFdXNSrzHo0cuhQOgCi2T+e7NVQZQ6yK/rm5cMGkYiIO6
fJo22DuvDDEguOhyMbHs4xOTS/Ub2o4PJ7Hh7Pd++lm8AfSt/tFZBZVETj84
VbGn+zikfqcnDozF6SuUzm5CFYxzPffdNEduLVnD/hpA+I7U0IbTGXHxhykF
vTJCD/ZT7NinrHrf0EBOHYVFN6Z48hfr5l6zv12MSl3aIDm2N1lupjNTn69A
nySeII++xb2F4LDSXC6/V0itkAZKMDUEOG/tOxD2NqMTMI97gIKlo40n/Ei2
SHLKDlFIDLq0ejp0pZ9Zy3HaDxLTnMp3jozlDwhVRrjzCz7pWLkUMAIfX0q6
mn/LYATY9I3vIW8lwRb87EI1tzGzlwvyl8D5gQrLlVlVl51rSqWAzMWWhCyU
52i3XRkSSb+wZ7I/ALNVsfZwLFtRNSU2ONYvlESzpV7Mj/znOaKzF2bz9rXM
rDLUNyOEgWckKbDmq5NQRGIIVBLIL7regQdtOWnqOssSzDTiimard0nxhVg0
fSgcTd5Eto/EI9M0ZONaQIELvLLan+aV+vuv55WJWf2fzSuT2SUYvJMM85dy
wwTVzE5xlo/xCWnJrflE2nF+FzOSGZvkIF3OsVq5DNEmdQ7ZXjfeMZ5sS/97
eXLifx9nyn6bOWtI2BSjpvNkJVAoQUPa0rWiJqEjJS26aapbsQn4PEZb40pc
L3zlpuTm7CGzIjuZ3vCyHuQ7TkDSmkkQviOxZQsQgTFCQLkOxOHCRwB9Plfh
tIIdHZIPRQUNDoy2C7TdD3lHfIlhpYSkWlsfESQsRayRdKHwhYhSGnx3zqnX
Futyez/FjvzN+cewI2UMkR3lT0MOkabYiaxESBo5dQ6TIcnVMn2/5eImAIYi
BGeeJySJQd5HseLR8RU5u0Xy51p06m2xvzly+jkLZK79GW0iINDtHHBRLJpe
1yo54dRfpI2wAzJ1P9XQmhIahDw/OKZVEB2pc0VOn1mXZttzI7qVR6h3Dfdo
Ztx5Dl/upYOKXqRld8xM1fn34MHYOh48iDW97M66Cd0YQhtJFTJ/rG42c5A5
xoktaD4eTi4GcTqJLVexwydNb8MfQDcYjPvgwUyGbpD92xkgdeL5ys5ZfaB3
7i19lKzHkaAg84YLW8m39V2yEOmRiAVoQm6YSsAWi9MkbpDMElMIwelfMI23
ONPpzYw+60/PIUmnKlSj88zP+7sJD25/R8P0Xh6JeX0rzSh6k/SAuvKN9Lsc
CZ1v8Sp9t1N4iOgc7hI8+L7fxlPOR5Iu+Cwtd/30HjL286/ZQmBG6w4qOxjx
His3KEIeZc90iUbEzKVBkQRZF9xu1rER1Us+lXmIrW2sY4xzSMYPkl0Fzdny
Gn1nZMFc5R80KB2K5mMmuEczEIBkDIfdAOeQ8FLbz2v0Sd7LMhsAK6FLKnrH
JsCrOF2nLkzHelMFKrYMdi/zdZSGyb6CINVOZA/IcgoIP08nshGX9aokE2x7
U6MgNrjmBncpZFzpZu7qnWtIH9jrVFzYB79nasF8hLyyPnXZFJzKCFy7WHxn
hH8Byrd82hoqIFTcA+LohsKc9mhfjy98lqmGORJRzCVh/dqA33Bbw3OpV/+V
qgjoTv+hm+VnvQmeaYa35JdLIZ+A6ZpUVJBuy4jLBDxUdF1a0iDikIQS9mXq
uyCqguci5AxFvX+gk/fSivlmOIpEt2AUjMv4pPffaBetIuS1xSwRy0aZoXlK
xEvVGy/pfT2S5+tETJbnmdgBNHSN+IBdXgTj6oOqwukwBqNRdAAhxQXaMPjs
vg+cMEzAizmsfgkGTGOIzWby+XvDml+bboJKDTg40vYAmgVxC6xKvwM3Nd8M
2qdqJZg6g3RG6RsR/Tayk6xMv3N5Q2ADd9HpEGtMTZ34tUzKv/u/JI9q/9fm
Uf9I3vRHTug7G0zmfy+O5OiPuyS1/5nsKCXuCW70Xe1LMRQmNmVkEvT2gxkx
I1P6bdyOJF/bJUnjJoVzEEewapnb6ENIvqFwHkXwrGyj/2zCifFRxurH/9+N
r/rt/zv46j5/l7p1E29uj7EyqMySnWG/kK2G9xwbFe62vc/2hhSREtkeRJEk
i05mUfvAAZsznEMnWP58cAHVRngbfTzMZ5jV1SNK82h1TYGmaNazrjdZeiLu
DQdSVwjMO4NSw+zB0lXewyFaMd0Y0N8oxHniQ6RdWqOICTEaDZG03MhtPpKX
pM4hlQXqGfpGqrGk+FCNAmTRtl1zXAJ5ADbGSCyy3/ZRm5pZUdsAmVwow7kr
JXo+2qzcBmMGGV3k66ppu9BKz3WJD/JBF2dflfLEJuArG+Q4cvIM7tHHrWIm
yg92XK/r2OZmfK6NZTSM5AXNxHfm97dqrLTvmeD2A3VJ+SbKiL3gnw2c2IEA
so2KkBRL3W+Ei5P/Bmc/DOycylMaez6ksFmqcl/I9Yv50osjt2xSB3Lr/5hx
xiDg8a5DOGzo/9Xp3POVtVIzMLoghXFkBzY68qEiOMkmEL+6izz16xVTruXz
TcIBY4zR78P7hy/7inRxImrOxadExqYO6x/jlnbRsTizT9DTE7JL1JdW/cnS
O2lAddJHSVKrerGY8XOfybaxKO0FSQaazqcR7Mc0dRBsn05TT6iVF4xt2CiZ
ulIa89m3h7LgVg0GP3OC6JjOlPCmPitpYOnTUDeKkIUmgK2feD1Y93+vadCc
2xUb71iyWFRfNEG92mvEUzbYSgkTHfBqcwyeYjjSNd9bygyCrqnlbwZ+tsbG
ygmPE93a3uQJcTjJdR/72D3sUe8//h4+s4x+1hBCRviJZLmRp2UlamoIKlKo
Jh0l22JJ4mmlcBPRGnYYedGU/gYJgOGzLm1drOkTOd/TXMO+BAV/SsxIbLCt
jc2MLz42v4sLSRsSSnj2XlvVCsKWnw9690ng0tBoJ/Y5tihlm4SLo+t6XzaZ
hHOSZbg40UTm+dSCIvJxFu/z1RgO0KwPFtOS7pSdOHiZ2FiidASk46TKaKLI
7ZVjQvpz2dxKNJb7duwURYIsvDXIfToPjquDkavKll+sQYXRdaVlxS32UzEz
7iVTSOGhgh3NjIQhr+/qpi3zWJZp08mcH+Gkz+AqljEM4+mGYybwsPyUxFiT
kmCQZ9JtG/XDQfef3IzTqbe/vngkFoSN8cBTvOMfwQWH0IGxvMWKHLMpdGKH
eRDjS97RpRLkTFMyzqzyCwReecvcqXeSn2CyBEO0sX4iRrFRacQimrkThPFZ
1fS+1Ga+KYEkkZfBiP9hmCkyxfNHHv27gMlGFA8m5HFFoylHsqjFTJokJn+X
YkHgf04Bgbu/AyD6qj1siTWPLWTBH+dfwTonlPIELiDF1hpJUAnqF3uVJkrU
fCxxWMIXHHapregVWl4YQz239M12rS0KFR4W+tGANBZZuCjSUmY9TCiXvMhh
lVyqSuumixq6slRrs9CndQvN5xk36yxl67ocx9EY7CHbfGN71/T4ZkuMMwzA
zJL+Y456xAtU+r17a4M8i4PwXL+30k56yT40jx9CDW4o/wxpAKO5XlM3eDwx
bOIOL9j520O7ckVEE5doPClM0KH3IaUtNn3UigLifUbHmdDY/WjYYNErXllP
mBYDU83Yq7ihwpykGSX3pi6twP5snJzOi61G18GhpVU8KV0KrVWEQoh2nLUJ
TFZqK4UcK7aStPO4oehPMDaUvXTaHl7fnGW1BUysOGh0ChEromoHooRTPow8
UhSG0B+ZdhsBgACzpikJKoIGCYGZGG6cRpJLHVo7QYK+cg0pgmWXJ+UhcKYq
A6yayAUqKcxjTy6yWp2aYO3Qe3md/hHl1K2kqH5kakGPgE5oFYywJRlDv2je
i0VLBxia2oQdjR7e1C7p8UOWOerdHC3TSeowYwXKelvctIoyoHo4XeWjZWq2
CUikYiCoaYJ8PNSp/Kan9EwxkU9hHRl6tXraMrf+qBYhNvvo/p+06mxFdhiF
dtMUFPqbY9VuEkCBTZnMyT5Hn6crmVZpfgScMabH+J3Q6oW4ITUahAuq+q44
tNP+WnERf5KzdiLuATZGTKps9mIYAd0XYiRB59EBQ8GX1lOHHGBUArHTVMtc
xmahHE+MzwCmjE7yWQubbZm0gZtSKyaKN1SsD3a412girK5SzUs7ItIqMlpR
I1i/gqYwuuehPGKABj3s8/cq9NkY3xD1wGm7tLVrqJFUJyqsgWwMdys+ttL3
MpBi5Bl6RGGccaB6gZaThzQ7Ye81qqSde9lj3lOoGnnimcGonOWmBcXDysqP
YBmne/sRUGOD0I59L+K71usgtNybdLSOXFEv6jp1JgyLU35x3SWO3kDTI9dG
l5IhYVmETKLB03ByAbxVOn8N4V04l5v+VHFREIfiNGgXZ1n4X9Ug07yLplRo
UumOEdFO2yd55vZ31pv9bND6UTY6vi9eUAOylKv1LpmnYXeSmutnODfMzotI
q+MhNXjGqp+tktFho2aaUynYsEw9IUDucsZ9omuZ7hJMaOsnpQH21piZ6/+7
F4hga2cBZqX1/5JIzx3PUAFW8NTn4aV+1+ELAL/udse9ORSs02GriGeh/4QZ
PG6v+dZuyzV3SA9dBnsaskSnJpwXCq7aZme+2Jb07jZM8MzCTtEbbzvn3iHx
yR9v/d3kq7o0HT4icAcw3pBOwLrsCh3CDEdusolm0mvYV4iNsIpBxYpeuRUJ
hG19ENKMPBopNcVuJ2iuUpdgrqDQ5/QEf4tzRrHhcW9dvkqZhOwbjkOi3RKh
L/J3VxGxmbHV+L/mKCq/iJnExhek542+Yk9LvaFwoDaOKJwmDClYxxcf1yTg
kIy3Stv1tr2TaUOdZCU4AewOHOaaNAFa1bFGOvdDmw+689oJBSBA4/KhOjtt
AqvNerNzVS77ldtS3cysXi9kehUjKjQ6jNoGc5eAZjc/HvJzdbjo2+okSVvd
RdxxGjQtsAzleRN9fceJPKaqIXkryZlDqlUEazUonJO45LKlY277qta0GCH5
6AQRgLihY4xdNZsAdrkmIbKqdz2lJPQ0ukz7r7KvX+0sxfjBCs5ZGXIoAljn
heuFkq2OAagPsIKmnlo3wb7bTjyFif/BOuuqwLDS98x1XAEn1xVJtXurXmzk
gTK8VNGOBvdGPR6h2UakGF7fAbPQTBU5GCLtPdd7tCVadMlFRqOhJhColIbU
R3GhsKBRteJQdBsSl3RTV4aZ7PKeiIU1pFKVY5j46mhW2zkL7POVNfQMwLWh
64ZCNRqPT5MORGcvxeMrNF+gaeREnWDoMAPXMEcMbgXSLvN+veFshgvZu+jw
sNdckstobEJv9R17gbh6lL7hiGdXrEoZdse9l7u6SW8h5xhJCl902NPH79Uj
CnQ1Mj1XUDXRQiQyNIf6hco6rF007pn0KAWQWdKEi4xZpm62LFUlFkUk8A8j
2763suBESzSRNl+AQ9ZNNlHDWe/L8kC8Jwtptcn+R90P4Tcx8tCX0Rf8sabN
8Nr9YNIfuRvl98JjsTPfVruKhdOGfpgf4g/zLf9wMTAxPtG2OCV9GdISoPN8
vyTl042fgofMNMRWruj+ifO8C8VQ6aPBf56FIxFHHjogtCOedS+fnQ0MyZst
75fwIUhuQ5sf6R8KwjfifpYU0w45YuJiRBPjfmcmddVjcyyw3DfHzDxiLzWr
0JxlfaIufCSIbCNy7hnDlShlomUBSqMrDyCKXWynCm/bABZbkIJe3pbBH+yt
6Uw5YSwH1s53HGOfRof/HVncNVqzoXh9V/1sfGsCTjNzLqXSh5dDrF8NDvWn
uURtbYk7FX+HR2ik5hiCNqqno8iLzsq34DirhyqMe8pYP2wkMVorS92hRx+C
pKipM7jDgZ9DwgDmJhYoGNH3TynHqsid1I3FKS2akqTcZuCnTHgIJPbtLyjS
/XucO1sLNXiF5mmxiAjiyWNBRitTBBeQbqXofIduU5kriQ4oH18m+s0nuSmj
ohxMxtTeyc57FiRHRvpWTjAdA5+umoB6nqKaBB3bNiq9p+PQgLbCf04WGLR9
9EtJKzn20Elasj8OrV/72Svz2mluyEbaEQcJXLaotxCcwea4D8iloWCRuWoK
1MJhOP6SDfJc1CHWJVh21l1oVeaDMqsMeqDwCsP45O/3A0oxBg9QQkPRltpr
geFl10NoT0p/X2Frr48Sywz6S6nelvS5TORIbVCE+ADvCSvC0manIGMeAQz1
BKj6EJWrLCZdyC4U8eHF2YhuqnHztbdglPg5g2CP3JG2jRz2x6se5pZyi1ke
W7RJivXBeHqRnyni3FkPWkcBOtbWaB47o7Gu5DnsMRBwExiy3oFNoXoZ3X6x
eBT7337x6KvLn6Ka14Zt/Otxd12rEcH9t7HkYh8aZ7Obc5b3WoQL6JnHgmqX
9aHMlBS/uny8+Cx/9eLFC/bsku7YrHqBOqWvSFuZnQl/3xD70m3phEEb/J+f
uDA38P1SAd+B2KCPJnQj7/VM5za0Iwh0TGvxn7DEL9S/tN5fUizfl52SfTYw
Uw8156BK3gKX64sOwkj0+AhJ2Q1KSRha3n0Pt6u1zDO4466VGwZkNjw+lwWv
hBn0Jf0AVs6lwNiV7rgJilhUY+kGhj+soQWLYTNcacjmSyODIZgNywotVnpd
KM64fuMsn+eb4w6Rlrw4dvUORuica3bq96kPDSKMJ7stSGiStpFpiEmn7MxF
+Dlklov8BWIe3CeLB42pStwz2yI9rJ21m1kiYGTYfwk9LtU9DIuZZf+yYcvK
itkycRWeJ9iwUp+HQ24MUD/UNmgU9ELFgrUAr4WR4TJFxF8z28XXHYEg+13B
tIlSm0d4SIfWYfw4qGxyZ0RMJK6cgCfCf/0+OHh6XU3iONnTPe8x2ZENkpZd
+zgVUeDMSzPkuBEeWf51rWFilyGVDXWiVnNt7iXdr5dQ5rWGgfodfPQGWVjF
vemvYgDUeIWOWM7JbIFi3kSmm2tun7wcOKCQ2Kq8xrWHTli0+AMtKTYJl0Jh
KwQwjpMMsiK9CLYmH4vA/Vy7XovDYE7bgzQcFvGApbOSeS32QE9ADnrcprYf
hjtlSzWlxhOYFSSbId4PJhNopzHdgx0+XOu1T/52kcUjjFqZ0wR0881HnlJb
kY/HhWaZ+DilDEpjf4hcdeId2Uut12QmFa0qZI7ajcymewJZs7ZTXYGsYVvs
C0SnSoc8gJTGBey5Y+XKjW0BsMKg4aQhRLp9EzEzZjJFZXLjk28QbKKPbUDW
q28bjU9HbLzRELrmKPQIpT/RYLF83rdY5ieqAn+ff3mpDclbezCpch17wFVq
/z6//K39Oek2gR+y/uOjsNFpWlDjMcMA3d9zBuQT27DInq5iPsUoqEzcaD/e
5MYudAHJhnCoEQwzSgjYa+JH4u9HFKIBeE8rnHck3pgwrwiTKyhS3aZ0Ui+z
XpCDOsrxnNrIUscyzRTzJSivsTO1x66yQUICO//HGH9C4FVQ4Aa9UBJYMTaK
BNMtlIdDhCKNmftZbYF2Lcg/IeAvym4omHLQSopLKpLqY9dTepZl2ZuQ7OBT
alB6GxdHM/+GqKm5D3PgIXDApH9F9CHEErSrvfchPCJzgQwGvpXaK02pQKiq
kGQmhCYs8aDV3MWycChYus4ZqW0HdVyA1mQqAphW8zk196G8xPfYQuJHY3xx
X1fsrGtby6pwzlmYYiQQdiwWj1qqbrUI2zL3hQgIk7yxxET0rLFdPvuZ2EC1
h7fo/kwsIvbxYYyUu/alJq/tbFd8OG8uaIzHZzbwrJcwMFoTGwpacmtTyxUc
mHAH+Z8w1id/N4d89PhXssgvmEcqCCXCRe5biqLF1lg4ZDMsXfvKSOJa7JK5
hmvqcduKW18tl8LopEdYmYQipFfDuuo8Qoa/yXRU34hGFqcdYNscZFucmeAd
cNxESAwGnzhZjGIrYTma2Xsf570YYcF8Pe64hVLfizneFRFXoSJj3wGiOaA5
js4oyCGzDdK3u029IsZzcy8HhRvKJP+85NRaZqTsGDCc/NRM0Y5RwiD/vOGQ
+IbjdpHS82+O1XYV23dkezgg2bZr05oT1wl3Qg1J9Kvk7QskdKC3T9F6aRXR
VGSzl1nkdKKpSzOo/Bo8b973cGMn7ort+9a4PhbxvkT/Z94fbezzpDeCNupY
trE4Yd4ct6530ixjyplXKJiuzJdkkCpIgJvlvmFVcGfMRBJIz6qMLZeuvKkY
580ElxUzgSFE6aeYbIv8qr4pO4VpJBEiHbfDIfPwd8Fc3jkKITMEARfopwJ2
on6ZNrbjxCXDUDojshWa+hatrH3PxxwmsAqbt2Z+hqK860QK9Rz9vFcxDs+2
23uNFVgUtKO7iWleK9DMFXOMoulmXsDKZUUCeIj+onVYApIr/egUQzrcpdgV
XCrpevjrvvBaXVqlu/v2UgKnmlbVyzf35Yek+Js1F675tlI+9LYyuW6ISmH1
wDqRPQgxqcFDrvmwnFjEpEJb8mQrM/GsuI48I/Hpp2j9jMyIfjag7P/Yt8Nn
8UAgW/FZxXsb9MXQGAv7pD3GkuO1dkJ0A0cQY5IWZZbL3cmsLRk/Cd2P7WrM
jxvbzYyNvbG9CAryS1dtfyiqJsEFHyFF2O5ix3HL0q6eC170KNJH/3sSN4Lc
GK05Gl4aVJm7zdIqvi4CnAfcowxZPKh01yYrDt1R6V1r9PKP1gtNFyeG3CRF
cJfbG4wBwZUKYNiZhyYJZ+VSFvzydb6aK5n5FHutLImd74J+p13EGwSlfLDF
Gtbfu9KcJFQzDH+Cpyz82scw89OaOO0fQNxaUmtCizv4jtJZZ5J+OXzQWYku
G/eN5GR8dDInI7pPkvKOUFc68sUZe/KFsazXbqt1nhhnFQMw+CPHKKWZAuvM
nBQbczpRkS6RcKsaCXdnX6txlk1cnZH59bo2BdmQMBa2NCSfyZsYlsyjssYC
+qbMMiQbjqZrVfdXBBvHVeWC4L9fmc4gltV1hdyzMap2TiB6OfLQRLhmVah2
kLz7XtZ5fG1TuIqQG1ypcKCmzUrsWp8ZKKFsNyqrjZ4D1Kq4brsLdwFMv9DZ
mCkYtI3UD2rx8WN7hHdDtkR4krrrR2GhzU3+VqYtURPaMWT4CEvJpP7n2qDl
vCIppJ0qLG1+xmlAZ7OQziFQ/xYvXh8bbMMQMo/5ZQLowl5VE9p90ZNgXrvn
nBRaZLGdKAefEgCwyds9i72r45KgQXHpPlprWm7GmF1qTgk7p+io7pPwFKMP
Jz961rNcYVXcBIPang36IXto4+uhf8OTNNSNnQPBCuOA6aWQ52IVskA158Pu
yHeGbd9DF1o5H2grGeSy3j/prZ8ZmFeoJuJ2o/0Dwyet7El6NnXorLZDWG9H
BCAh+3ev9hqeiUCNGi4gw6pyP4phMbe4luvuhsYpQnA6cgAetGyXU+0XwnZ4
NHWefOjLOIJENIQUXBjLhxtPfhZm5O0+GpDo4brgvj1miqPiAugbQSHyurX6
DPq103VT3eCIDYxKbpOVgzBWg6X+8g0kjn8/F0baz6cCA2V5vVpxzVcSSeIa
saKT1F5x/PEBwlGW4EaK+09xG7tacqqC0+Rfs+esHnOTkVKnz7WcFb3uOced
wgdyRuvIK5xC3ETHo3M5AmpIrcVSEnQDn/lXEUf9zMyIZzmBltSzlQwF0+EQ
fQRiSaK1QRt1YKUXM4etPrh4Hq0MzExdAjfSca+fCxcy2Jivq7KYaefRqtxK
foXkMw0+pXmfAeFlz77IBBnCpIxjyG0KCqPAegVSGhRr0X/mCbxMPdwFd1h8
2FEH9nXg6XMGTbreHt+Xs9jAROo8UModkBMd63NiRjIBAbIi1UuunoljU7+w
4RIjDIx5+/0bHi1ZPc6j9eIglaCCg0YGAH+SP3yqj0xusEhTGEywT1mi3mdy
oQTETTDbEgRcV1NhT4ntp48WRmR8/fyb2qhW80lQavQpKHC0OX9Wp1hb+oOZ
RmJz7WX0E9nJT6DIBIouqugvItFJfnpSaQ91R7pREy3VN6TDb+/NtzHiyTFV
NZHilqzP6Uy7UgvtR4yR3hq/iQYqZqBDS1WRv7WaGJ5pYeC+Vw+sGe7jI4dE
SykwzqR2N8GpDpxF0ES44rhO1bl04GE/PNfJIeNWDAyAqxi4opCzIyelAlxW
UI8k/7SW0l90sWmTAf1qzqVJ49huSb3zLk+kFQaigMzjC0g+H2sTi+BpZwNK
M6TOlbdbh0uBcOoEOXZ1kYkPL1Q4wQSPQRH+K7Ohg6WNQoVN20HMMqzqrlIs
PnHzr2nHkmVZ0gtWdtz/9dhyaA+p/RUaiL88qU+bhG3VR0A2WicRKv0KKyNe
VLZaVcNYB9fm1uDTN4kupZItu0Lel9JJkGM/DidZJLmYkmkUmj1LplerLgTi
JhlQuABZwJ6Kz1l9MmSts17Ed8fiLytIf16VW1UA4PpKuyqeC2wlhBhHUQY+
xAvpCaKQoAw4XO0NOS0XWBPkSot4Oe4lr4gujlS2eCCxLEn5dcFgg68YgQnT
BFyiQpIxq2M3r/bz9thp9oZv6STFMIgvMghMAVxnF2xsLZGy7xKwqOMieytx
xl8QvTw1HkJAkQpZvbZEQXETWaEbOBgq9/pBV2Cc3OytkBGdUtgo4vIH3Xsa
s2ji5Hjp5X41uAMuDAZNNuF664qj0AZ2gGucFb1EUWnDh40oSR3moEQgA/76
WSSLM8wPy5BcmYXwGB0i6oGI5g8ilAZr5EMuF2hIyF9OYkrIwcY1ijXu59LO
z8NDZemDsvYXBsnjei1JDPQii2LAyl3jhQglr4gayeyyvqXyrufcsDX5dwD7
aPZWX6k+0YKCzvY/BnkOws9C3wW2ftvO1tBfQky2QAOtuwE+VRJC+HMKSR/b
FYntJZUBPopaqPjzdSx0FUQ8MNF3G2H7RXB9ipIxwCuw+Khz6yI9BHYBBt2I
ShizZT3Ydw8U8UpjNJqIXOgp+afsnMy7SbxmdxEUBjEGhcnyh89dps2FMe87
MNQpGlPZTsOqMOSAQ4A1DRq+lDhZmuIwFq2wG2I+iIYQCjJDSlkkKYup9NXn
rA98r/mxRTftSkqR5hGgDjOzMixvPIUwwQCdxvV0Z3/rqXZfE2lmoW6EwT2W
1QHVD6nfWXpbtnJ26dRV2USq32n8jfIDgz1NNfVV6lAYKQ1WzDQaxhvEzNLl
DAXfuZsDEssF4mZTHhuOqCxbzXjRG2J4DCaMWPY1pVVI8F/CzKFpaJviyaAB
j8c1dNa4Vbp5MHoTsi1ds1HJStWwVw8LdOjg7sMqBGTVVvDSgzdzzJOGCWQI
sJdt2kJF4S9T/cVcuqwCke4/kujmzjy8FR2SbXZyJjPOTE5gR5P8iLH3vuX3
JhrzYMyLhW+LOTZEdFMBK4HTG1RvQGMGQN3thTcGjHnF5+IsEDsaae1gWm4o
U1EAodDtgf4hWCOTechqEWzLwrSX8TYPmVCNVNa40YQf2TlZcfo1MpSliTet
CNf/lQYse8ObI0S9wwq7zvzfrMXCmueMZlMl2JoMRDYKPss9KaT22lLNY1l9
jLMmZcvqkQCgRmQIitwuk3CWi+uYM3BIhmwl9iuJPp4WqGsiOjBbkDFqGVFa
re9J3odiFAgkNMn9BNXE9XEJ8RuL9e+KbrnBpWEC+h0mdKyMC0HRKnyqS9Va
s40EB1cgEAaFj7Fd+ZexzEpamQdDLZTOqHenvhYQHuTJ1HnED+YG5nwSCqDO
+zCwoIBtYHszovzAzcAofOz3IF3tiCwfnuI8VqxvqnLtG6kUK1Z1ma4zh2bs
d8UBoMzN6eRPsIBrM/NmBcxbdYWM17tn2QutEbqmqQEVVMYiVaM67sTqaK1g
yoq13MG4z4luIWgQASSITRiolBLAc5grDGCLCaZoOK66Tgq+uBZ/rul3eN4i
0N+9epafF1bNVy/FW7EsxYXIwtcN77wK7/fAzuWaMG2ezZQVm3zHVDb9E+eu
FR/m2vLIcgp9yhDLGa/P3xkkUQR1ZvvAKqPqRqoqaXaWEnIXgiiIPMrUzwI0
CFEs+5KF8hPBJK5wuH/zgIQUh4D7j7R6UtRYkO7oM8jBklq6AwrDsbXnjy4v
89frQ3tBWrhbmiwregEHHdDa/HLxxW8XnB3Klrc0N/IHzVyClQB+bNj3Nyxc
EzKyqaYERJY0xcUXl4+/wDxR6GGl0Qn/wDaIqRPqmn9nKdDlKt2dbMmxMMHf
ZqZ0Wy7yp4Y1Z1ACoy4I4tsNZ4KAsBiL2F/cObOsUPnblNt7wZPaloi7jrhr
M1nmXDJO1iwV4fWHXjeT+c6LO+SOx0uXJJwId5TKEojnMCNNMMVaxtPrJ5sZ
iB2tDGcUbV9BQGKG+rCawPXwO4HCL2w/CjiINkF+KBVMQrRhaL2MuNX+4pYM
r/b9GxJSuRPykgsA6hSLm7mY4Nryc3JX+iJqlu+rZbkNCP3mqhSWE9mR8mTP
jv/EqSPm9YKTf0rEyF20ynQsZMD0iZ0OIoDO84e1oVuDQln0uwD2TjhTTYLd
pmSKQP9/3vNh3cYFMJO8T2st6Yq3Hco2iGdvt+NXPMRHfVT0IuQ+cmcDP0af
l2CN49DbXKtjDowRLnbBiMXCo5Hump/oC2B7ESQb11WOjqpFn7c+Zw2GaRd8
2C4j6brcatZubxhE2VXJ3JzEYQ5x1/5EolM/iQEVpweDy0R1QXH59Ckxk0uJ
EGSPi85CVFLXCoIoIzCea8Y4koTXg2dqNSzk9gv4tOIDQaeiOx/Z6m+AMibR
Y8Rd2qvcMzDtiR1BKf6Wm8wlDI8xIszRyw2HOZVd2IUiyRdqCbLhXQHBBmmP
RSuRVrskLUSCTD4bvRtzthVIEhyBfW3xZGGOEBFmJJg/5Z7D2q2/83EwdR2l
1dO8mFYKC4JEgWUKfvNCuGSviODYwr6QmHGAKRTGLQVGCAMWcHAjlSWODcv2
STZqzUoR68hBAMoJSzRAlG1+aMvjqmYGH9GD1d9iCl4iJT7SA5eT7X6BRIlx
cykSYyPVMiZDyRDLNXGUcFFMLB81tLkqgPkqNcU1IZoo01FMJv9r39y/Vugh
bGFsV5NJFXzpTrs+hJoBgIsJUA/wjCGh4pT75WKdp4AtQFylAs9GpB/ZsO04
rqWQbVqaFdgDes7HRg/Qk9nmKAJ6geVQTrhLBDZVIDfoHBsFMoQ/Y68pqSKS
tgoS1BU3N6Lrn7+62IOWzq8uyh3pkEVDit75mwuLHc+J+gCWleraT7Isp4t4
xbWe0/2KefjY6g/GraSIS5UQDf705qYpb3ipqdPBPvDSZV7G+A73iqEJh4wH
aR0z5TWmgXJXiS5Zi2PDWgzkFdFy/+NE0P8Tvh1G7X9a/G7pit0XeQIngzHq
UuKv62fb3ojjX0yW2fvgr/ne6ALp3J+TMLyVTMW55N5KqY0e+9vjtQvP6HZz
4Sex+KNz6yfB4LAU/euyLtlGr5i7uBMbvriqhDVe3+t68XEsxqrn5vk3xVYC
lLFoyaKIOml5QiCRUxoZbC3GVv5TxS+Xg4nHBY2Q3giNxP259rORYb5nNG/0
5Rodjyz7aifkDJWT+VV8UnmBdMAIHTliJjuwsFvZiUggk3d2/Aba1hy2uorD
cMqL3iek7W06ejk+gXTs0Ys48oG7DePR9b6g6qVqU+VgNvhU4ilI42n8idfa
EWRy8vHL8VyHn8LJvLBWaz6waZT5PUuynehGkyfySXu2i1OWNbxBZQJGTkKq
nzhw7+qNLH0xWMHUdw5Tq/zkLzGFx2pWMQ5N0m3K0Mj8ZKNckp2W/VP39yay
lOhP6gWPPWNafOzLafZo/PBhsFvpl1nP+ru/fgy9wvnLIfXIIIFGbQfVVyaU
ir9Pp/jWdAoO8Xq/y/+vUww//ancGLtttx8fnuKafdFu1XPc0aBlzOy/V7bH
1BdZzg8lt0lI+Kd8Urxhbp4qGhNxOyLkedBnoe7Eqn+HIz+6vPwtVvqqA/Ss
OVxDexZNP5JN1wq+kUJ2ReTNW3T9Y3NC66sEoYvd2NeaYYlpRiMeO8mjv+LI
id+GkcvNspxLsCvxG2xrriKV198yxMJwxVaTgGn+rh16qpWkeIjnpev+m84F
nHYwzIjyaJRj2sVUv1t/QKm7cYqQhovTYx5nT+5GLKe+E8kIO3AdJUUorJju
2auVQwNDLptqligochJ3p7s+ZgMyYN+2OLABnVltQzCisa9/lswbY+OxH9Z4
9+QZEkrchGihaf9GjufuxfVTKDFL4o4jIsFocLEHGmUYIRQBw/A83KpVqTcm
4zwxiZbC6e6LpkkSr4Zjz065r8QvxVmIx0OI6NFQNEzikE8zjTl758er/BsN
RLXwoH8013Km6YUW5EWiocAwc+ZHbMeyGPEnoW4dzWO8HykkdfB0LC6mbgWp
Ny0R4H7JB+Sh74A/zZPgZi4znQp90zDWCnaAuPIqz6faRfa2LH99/RUcHBqF
kYlIHfe707WhcFBZbF06LaaAE5LMapHSNpZ3iMM9uvMTIIRf6GtDbvm9OFo1
jSIOJyF1xSOdyLTxCksv010TMlzHaL+L7JBNQK2rHRIdWkSSgV2BwE25RCdI
7cIsZXP9uvlZdqMOd30MAZJypVVw/KA6MLuYE+xpzOJf2ioS8P6ddRrd52f8
LEMKN91ZSmvWEp5xTQwbmXNi9Pvuq8o+X2AULqRfVQJoSLdtV9ygRSS/OuhQ
IhnxqOQTCE+ZCN00uuV7+xJqlGOuemgNVF9Ld7Itk/sWrrKRvagUs8v/ojyL
4z90c7XlpJZnC58hXsZI63rb9ustZywDCOnHq9iZXKfLmkuxq2gKjQQcwmWX
9wXIbBbJDWnN9b4MaO1mJ8p4zO5WtdYQVhJCZSZh26orWx+lUZVDv28te9Va
BNNziqfRRB4kkVT3sYJD3G38oDoj4RWVAcIRQ7/7Pj6YhfIXn/8kfnzhhf3M
pP3KXSTZAATmHHUE4H+hD18REMK4MV/DLaTcC755PIF+tgFikw26AAsavgtM
jKaAzsynoQ1nGJ7BMDyPO5LLCJjDBx34jFziJyPb5aPRfrvPkwZx8XguYlZE
KIiZTEJwUnEsjGR4rOl5PFe0WgaC/XPKh4fTNxMmKXocsEVmrf2QbM/raIkj
KDhXWj0AM3+vuXeSGMPpBpwa41t7W3PNt0RtNMtXCnCQZSPzrf6/9q50t40k
Sf+vpyhwYECaJjkkJdKWezyAfGx3A225sfbsYLFYSCWxKBVMkYKKsqxFox9r
XmBfbDO+iMirDlKH7Z5tGZhp02RlRV5xZEZ8HxInKAXtGgArOH5z2agkKb5H
JUi28j1+se2+LoUeXdCFBQDZ+CobN6mkN+lxApwGBoMmBNHj8zz7CDD+5dUl
MP+5ru1qodjJpVn/maS1ofV8GmVJsMZBRpgTBfmAAJLlXF/zKnggiCQ8AyFY
6u6yh08Oi4VNmOTUSOqJskTYnKDWLGXMw9tiPvVm4X2MFVjOqYyO6pVcwRBT
rWO6OMBRd4Hti2V1VAQnuELkBy+nQJlHT84LpEQt8hnfuip+E0YDqpdScadL
pt5ACEmatysd4yj4wshTPqc1wZk4lZiPFc3pcml5VSRzrFhOS+V6YQq15Wym
V71nefbpRkC46UVcSIm17OoILymNjgJyr+Fj84NVqWP7k0WTPomHFrf3dBXL
cOJ2O9bsgqysdstbDlZZMt3lzB+Z1EJCpFtmtXEN3gW0MmlBUhY5lUDJ1WMx
q0uxcrUUOKTesgdPXb/BRMbStZkyYIVl59bAtW4kJHyu6T1e3Nh/0eXhGMw8
XJBq2oCPKiNY9zaZtUNVfyZE6fB1ZrkKskwE6g+WFVIQYrun60oOLwJVl/60
f7BfD4Znmbi8ZNWPnNeOu9MSW5meR0Mm7rnCTWPc2Evl18IWoEgfdq7+6vQ8
P19yar76Z8tklZ+cLRio7eQsI+HN9vifTOOnjNJt/sL6Sapi2VNAPZCJzgtk
NCdz49hcMkUUWXKj3pFEzE7VlPwf7GPBMDArNBPIaET/AFfOEKRY+kabLp87
1+lTLlfax363BXnc9OaCO2JT+xYBpjvqgRlomqrDgWZ/8I7Jq5l8jK+yiYLL
JpKTZvWoEATFTvJRyXdIMuEUwpCpLIQ2U5QmoFk5lj5xD9DCOTCXsQLkEYog
Gd2lG3av8LlQ4YalneVFZhZJh/M5uprml7g0v6AGlXM4YbLyz5ySrcLI7Mqw
6ly///Hd339+jcFR2vJZnq2Ed5CsMeWECnYe1ZkuTaDhqN5K4xCZX/ZSpQXN
vCXQmZmopAf0vY6MxXIqYUZRJnyQoanyC060sBf8AnVd+Ngq2PEy7KXuE0pt
KZR8fFXt2rExMDb1oVAAi2OhGq2ZUU5Q2T+hjDqz+k8Fgj4B/AyfyMxzYzpw
uHhK0q5o2HiJZ4uPpY44Fdem+/P0rVGDkoNNZFcroxZxrEk8rfk1lfFil2ED
wdFx6clGYx2b4dOSGwYmLz7lCbGtmXhqweka5q3pfy6v6GXq9TGzMRFy8X7V
Ey18eUMU1l16hDjVzNK+LM+Ki26CfxAaLkpev1pcExYVig5M7Hx1qSsZV2QU
fhCM7NkNX2ku8stTsEol9nbReIsYnb4RDe+Tknfmjy9KLnT6YIftBxI2/dm8
jOzOD4VZHSZ0N56NMcrLedZNXxnBTfie/jtl/C7O/vefn3Kuqn359h8/JNBZ
VFJBxzY4FyEgdFeOW8oshRPQBXcdV3xMk7N8DlSAKwgkro0MKeeACLsSQVgo
tWURUDe8BTGA7dS+ibPSH5dcp8jHbu9+Ofi3/0jN/7CVaBESabokxal8CcvH
RcOm7UtMCR8RcNWMEI/47JIKUss14Ikc5pR1Yv6DXXtkLQq37LEoxrfLs4yU
0Mvl1Uk2JdxBFg3L045fBrhHYYzcf5168nJaFMrDaTAwD00yd/0xF5Rz33Ci
LioHS/U7sz6zC5zF2VMCeNik7bTk8/1Zdr1I35gBu6E1Z5b27Oq8SA8K87dp
1k1eG+d8mr5eUmXxQXac50QNd/JRGBd+Jnb3N0a4y5VuJrB48F7NNLUNOlZ7
RAeuvV5KW5V0R90Z2CvKsxJUA838Ugtoq0S0GNqefIeNiE6MYzl1j9w1oonY
/VBVb/L+y4ud/3vrTwKVKyAnrpoyzJBGtLIlLKbGvODAfNs/kQOS1CezCrJK
MM9w8Fr823C5WMNo/t7PajueL0kFRj/yBxLXYH5CGyeNMhgNWbLrpS0ULI1y
YJPjcrcoU2yaHLl75cOiPES+5xFm/Mi7+HVf+TmdkhPIx/9OED6YUChKOrm6
WazgNmLLAYgh+eXGNMKHLjKTcuzoUrCN4fRXwU8+AwiQVMI8NOm4pusZq5F7
1VOm6wpJlay5+66cePCs1ZfhrpNqZhZBIEf7jX+fASY5BFk1Xpf/Xa/LKe+Z
Vqm+VPL/EBuBKlHyF2c419UsRGhMSkwkY2o8fYCj+Hl9tLb05s1oSmMb4Xbn
7D4cHZZHyupN3Tafr86P+MSs2oZLjvBawvkZ2uKvD48Sv0H7zOGR1pG61Ezm
mZO7ZgsE715MAGDLecwsz7MErPcj2v2HethiOsNkUg213bo9K6ug79riE4ND
POq3Flw7b9Ia+RiHHA3ShjukgBcCvm+/xrecTVIXkgrNQVx8KUXt1aT9WrqM
1JZEVK9tKahbc65nnt8SsfwUCltBwbJuV3tO7f6Ou363bv9IqRDVfmObfoG5
5u0fS/mFp5lPP+onmDv6Bab2gXp6217WzecHhPtT1NR8LBmCGhVV8Ne03F6O
lxfL6F6vmn/022+/pRewlMlfX717/SZ9+eaHnw7e/y0RheNnpb5IK6oo/Uu6
NewPTKha+Wo7sTmdh6V5Nl6G6Z/T6jtsjHPIGZR4kkg6Bv2BIPD7E5z2Uu8l
24moev8XL9KGfZ9+l1Zepg34j8RNeD34Lq2+UJtAPGvFr2u3m0ZWYjth+2We
c/9oGoha/HN1rBPfkwp7Hz3ca+hLUueLmcebGv7ri7RG2KTG13MybPA8r8E3
B6/NCjRLk9z+hituz/PXHATn+OM+lU8pCWlpKTe6bfk64K8E27igMXqV6neo
vERIUQ0mGHJPU561lij0I1hOKfxkMtd5BHQXJFI2+fnbCYE42HMTlcOiMbWX
kNV4D///IhitQ5PoJSudm3vkTe2hm9pvGJ6sd8PJ50Yi3qM//uiPP/rjv1N/
3O8338eZLu8v0oLyc4/ZZMUJ5Qzx+NAdRjF2teZ/2yb5AgHSJvnGw0LJqZTA
WhCz7xG6csSUOiBiNb5V7qig3L5EXakF6XEWQhKuuaE+FoO/vSqTknmWw1L9
fuCrRb8l0Te6+4PmatJ71YhoS40eN8yy53EzYAdPgVG1SVAQ0FIC0OiCb+yF
NuykJPRBIx3YDR4zzqdLh36ROl+z2b23/pubKvPkAXUd04HuF4u0ut6fIxe5
mKV1TZhhPAAkxaWXoP231AQA/Bj9qX91vHDsz107Pf1VtCjw03xe5u4dx2bZ
f0zcvxWz28pjRi6p9yJAWshH64c4f7PjXNPSdp1XLFXdlsLrQ7DF8uBbRgSb
Z3JjTYN7dnNB6Qd8fUe18Liqlp+HRLicvmEzgAMyilqSCMq8/eTlzeLyhOD5
cIYKFq0u8mx8wjMuWMYW63LKpWPsYdcyLLCxWoNTHIPUX2rwvMznn3IHn48r
Fg+VJWMwOMyCXnmoTJqVZbb6wmj9E1DIiBWHnIxG4gA42eFzuiRSzFw5ziq5
kkf0Tvk8vPsHoKOY6Ty5KrtCTyOcqEvUCzRAAfWT0GRQ1s0qZDtxA3LO/cat
hiTlIbVlOZO5UEZu6Dbh3+BcAIbBWVLxVMDC0/B2H9HsWrGcpHXNFYs4JObL
5UcJRPxQp8LPEtJccN77/gpfsYo9X3IaheLOVIhTtAg/Ey9ex11SZPRL2FcB
4bXhWDTNQhDH1+nXkmrzPQFLOLLd+cpRW1mqk6lyLuniaoOopJBRgBxzGlS6
DdcFC/6LpKS0klW2yBnUvYd3dNCrjlIklqi9YZDejK96OZu75PmmPia6HxgI
ny8KXD1CBGR7SpSUK+EystD5ptOJ1KbgLlQHl6GxWUlBacQabEZ35nUXIhLz
KPighs+hxuszbRBwUJg+iaBDbdyE/k7BDIR4LVmpjQ+yxdH5WmoYl5i/X0pw
LWFZp1oU3XHz7+0fX2EBfUTvXC8A3sgXTTQXfaGIHkoZFXXgeSq4VviXRhfv
eToZlO4nfqQTfeUVaxGXrP13P5yx31S7SF/hKHCA/w6eEKWusZD4OQ0svW42
GUwH80Eu/RkF/RG65Lt3Zzi6fX/GLR0aez3q0adtsehBl8xbTZ/GtlM7QaeG
JXN1rOvW8C696o+/VL+G6FZ/7PVrN+jXyDzrFeo+9Ppr6dmopWejoGcjXYSj
cXUVmr6NBrnoHKYXNkEJ6y6wlRO2CJE6Wagf5kXXrGHWGGze6MkT5AAhydcC
pcNtCDVdVD4carySUhfE1QndmY0U3gc+dwvZL+hYKvDBuprVCDYbHIaFQl3j
7mBKOR8m5jvJJV0//yQ0fwVyXKBduWTmnurVL+Go6NdEcnQUKLwgf8elnen4
OJmNaL9AqlBZ8hRzBjzlzOCr06WEJ2SR3F41C8hb/tsMjDC16LsWUSYd71lu
VSS1DhWQkYQ2SxCpz27ljfc+D8vBXAUcNQp4nD2AfM8d8W3XSmb+1iTWd0Pz
n6GVLlRj8+xhhQsHz44bjaIVkXlEq3JOBoGgu02CPtg0OwJhN4zV2YVYVfHG
NbMMOvGGcWQrmG75lmUT2boeqzvhdVbnORLQzLfRv30n6aRJ0qaBfCBRNxaU
/0Ib6JUmvKHYiYTXANMIb/Tac6+IGOqI8hdBmN7B2uh4pDCkmVheCGfkoAK8
yLEnAFM79xY4z8caJ6W8E1G6MmGiadEhGGfVwzarzzu6MjsYaYaGKEysR0md
3bRDk9FBSi916XbS+yNu5a8XZUeCCBb756U99muTs36waeV0GoeaRAjPhc07
EfLN53xezmcJ7XNJG6n9HdEh7C1fopu1fc1gaqMXSaIseRQdcdY7MA0d3jmd
eGmEg2HHm9wLx7bYAq72yl0blvHF6BmwoI25bQS/T/naDEABxzf28grjpEhr
GsQrIKke0GDvqWsAeFS2wUlQddWJrXBHn6GrXJ4Ve1mopr0oPcsJfxATFP/5
VeMh+STKSb+0Sp8/eu5rr/HPry2f1nxkQeHwVAV1cZB8stqTBPVskvuteKvN
QDC/poPSf4f/qe5j0FSAirKuqfFe9G1SB/1W9/AGUtVgutW+uEaMWMgkRDcL
pyAUq72t4W7/6bhMPEiz6E/cXC+UNGquJ+3VYZvVt7d21JrQy+7VlEUp20yq
6rKowyPTrycDf4QoxG3+SFGiDzwW/lnT1mRYRr9NmrHFbt9WE5gYhuBJMCDe
p7qPSSNgGAkycL8PP9HID/rPdnae+N8mkX6XE3P+gc3rrXxq+RgqcnjZoeMl
nLNzOYJU4gBCDUMeR5hP7EzEqMVEwLLfykLYIObRUNzNUAwrGuErGYpwb1XE
iIT8VzUUYS9742ethmJnraEYtslzO0PR2lR1WbQZitamJvGi+WqGIlwX1Ycj
Kb+aoRj2J5OnVn/HlsFT7l/bUHhXa7cwFEISX09/oLoXRwmOtBBgBoSKxKgW
heIpABUaXfTwQkDMitPXBcML3Cikl14t8j/mQo9jsUNM1GLjYIuD0Q8E9ge0
ixfEQV1huXdXfFOD2l5YOlBEIUvHIwCO6fZkBFBdirjv+uzGe3wdWqfXBD+F
kk+PA9xLfMVNdnG6wPxS9TYZaoVvMcM+VXY3TnedDJSrRzECPDu9E9np8ESw
zUyHJ9m+sbZHZY/W+m7WuqpLv5K1nrTpzqqQ/6rmOtLyreZ1d9wfrbHWd2iu
zWK3NhfNSaW5qtVubW44DGap0tyXtdxhXyJZYkklvP5axjuwuJG1Hocx4NNx
f3f49PdqwT2e2KZgjxR7dPqLzGsb6+FwkZNDvHDPJjgNAwMDcByZdcGGofeZ
+dCfVe6MlQywFHvCuUJCxSpQAv5o8K8khbPjzEPHJrH5TMZBuBpR51KVA8e4
SoEq16ojHOnuBMZyt9lYrjv2rFrLysXSo7X85tay2tTXspa3bWtza9ne1vBW
prI9Et29lZ1c39bmRrJ9GndvZSHjAQrNyO63M4+jVjHvZRurQfItbGMY2FZs
473sYtDW/eyiH7BV7WIuCbg8Gyt7UeeZxevM3Wt2k7NsPqtP6LHXfXwhqwmq
oNzNS3TKHwWFW8ZNnk92bhN6HQx1YI3GtUes9l7zPsbISyJ4tEqNVqlVZz+g
VapRG49m6fdplvypWrck1pml1raGz0KFPlhjl8LGYrtU09jmhql9JtccuLbK
VTNgm9ulyHjs7PR3vBhrd9R/Nr5PzNbQ3kOZJ58qlVLRLaEgaXLRtBSn8WFm
S22iHgyuzIogkhBjQzDK12bTg1g8DN5KxRHnbE6BEZcjSGFTpMq4OlzimmT4
uCjG9KQGSpWZQRwXvMUtpc7Gx5eJFPwLmir9hNYTFSIL0KjtkSUMeHm1akmQ
sXJLwJutUotlCDJfsirTbkJQsQ3Lz2Kso4RkDF4WBVRH0l6lxhEhqaWOCGLY
CjZrKTwoVwuulzavrS3CZbtOZSCnggRQGzcnWgiJITHDGfA9ex7GpNnDuHe8
W5P+9+hqfA1Xo7Wp2BKMHn2NP4av8azFDI92w0UxWedr3LaxzX2N9hG7la+x
fsDafI3JxN3uVnyN0Tj8+LQ/errT7mvcpb3NfY1m56Lia/gKP0pchQ2QHFdh
IjfewXVWKPOzhLJa6WpsqH/pqdm5SCT6XuBkkFBNSNI5AAwvu4yrbut5CVcF
rgHYvilBndwKwUXHmS5ZXFvpSiRvkvvLZ8iA/o+ZEa8WKOhZ+cK+zT7j79ut
vIFhKu5+FaAmKL/m7nENsUsVxsgZK5nPmY6q/mS6S8iuQJmhZKx8Xpxaj8iT
refRkpk3EuMHZOunL28s0Q0LIDVN3gCtzChLwi8j+kOOJLjb/p5u2r0axuzk
JL9YWaij4rKBues6TxRKP0Jm8kT2mTeYmAV59kSAufVBASyJm+LSwyQG8106
GAzwv2qp9DZ7MFyJyEc7DZNJd/Jaj4nrfcHGoJVHPlI1j14dytT4seKDNJbI
UfNeen7CxcXXIL4fjkYKkcTwowxdH/l1H+S6npA4qBir4kOalgZP/NmlfzDe
JtLem92JQLB+0sIF2fpLmodR8G3IqFiU7AjHDIkBh6Fxfj4PRwRkEb6ohv+w
nvuQeA3ZL5Wroy3LBGxUepcbGDzZfl7D1ViUNQSFFAgQSaES8yhP4d1ZCm1h
Bon8QFyF3NBBfl3lXSRL1sP/vzAWsS9jFIRE9YNkVg4NU80oNVM5hqNUO29k
JM6XmKATrhYHn8gylRlsZFK0qAjNLIrIGeK10EimWGxMpFhHotjW7BrMBqeH
duSm0h0m035uVh1+XRJFf2Q2rc5wOAzrVYd56w1+p5SgxFSDFSZVYWbX2XBZ
Sra0fg/fD734O/i+5mstTvN/4LcffF3K7a0syLpC+jMRm/Vc9OyDKTjjrbZo
OOOuPoCGg9P7IlaXd9Bxk6GNqd0WJoiC/I+n6rjbNJD7MwLfMGOjlafToETu
85CglHDM4KHdXB2vwOkitp+Cgy5hPNHdi6c3J6Mek6utU5uPevPh9ebuF/Tf
qkdutVhqoReX/hG9uGcb6LhnnxFdv0j3Jo9u3IO4cXsT58btTO7gx337ccIi
/vIjteONVG+0i6E6WApBG+/PLeav3kA9bzv9fCfdrBv33tp5b6+/923U897e
HqGAXZUg7qnRz5JZX5rBJVK0KpxLl+e0gT+dLkt8vK8GSaTo3mGxSJn0/wHX
an8iW/sBAA==

-->

</rfc>

