rfc9389.xml   rfc9389-svg-ids-cleaned.xml 
<?xml version="1.0" encoding="UTF-8"?> <?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE rfc [ <!DOCTYPE rfc [
<!ENTITY nbsp "&#160;"> <!ENTITY nbsp "&#160;">
<!ENTITY zwsp "&#8203;"> <!ENTITY zwsp "&#8203;">
<!ENTITY nbhy "&#8209;"> <!ENTITY nbhy "&#8209;">
<!ENTITY wj "&#8288;"> <!ENTITY wj "&#8288;">
]> ]>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.22 (Ruby 3.1.3) --> <!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.22 (Ruby 3.1.3) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-elegy-rfc8989b <rfc category="bcp" consensus="true" docName="draft-ietf-elegy-rfc8989bis-05" ipr="trust200902" xml:
is-05" number="9389" submissionType="IETF" category="bcp" consensus="true" obsoletes="8788, 8989" up lang="en" number="9389" obsoletes="8788, 8989" sortRefs="true" submissionType="IETF" symRefs="true"
dates="8713" tocInclude="true" tocInclude="true" updates="8713" version="3" xmlns:xi="http://www.w3.org/2001/XInclude">
sortRefs="true" symRefs="true" xml:lang="en" version="3">
<!-- xml2rfc v2v3 conversion 3.16.0 --> <!-- xml2rfc v2v3 conversion 3.16.0 -->
<front> <front>
<title abbrev="Nominating Committee Eligibility">Nominating Committee Eligibility</title> <title abbrev="Nominating Committee Eligibility">Nominating Committee Eligibility</title>
<seriesInfo name="RFC" value="9389"/> <seriesInfo name="RFC" value="9389"/>
<!-- [rfced] We have marked this document as being part of BCP 10. Please let us know if this is in ccorect. Note that RFCs 8713 and 8788 are BCP 10. <!-- [rfced] We have marked this document as being part of BCP 10. Please let us know if this is in ccorect. Note that RFCs 8713 and 8788 are BCP 10.
--> -->
<seriesInfo name="BCP" value="10"/> <seriesInfo name="BCP" value="10"/>
<author initials="M." surname="Duke" fullname="Martin Duke"> <author fullname="Martin Duke" initials="M." surname="Duke">
<organization>Google LLC</organization> <organization>Google LLC</organization>
<address> <address>
<email>martin.h.duke@gmail.com</email> <email>martin.h.duke@gmail.com</email>
</address> </address>
</author> </author>
<date year="2023" month="April"/> <date month="April" year="2023"/>
<area>gen</area> <area>gen</area>
<workgroup>elegy</workgroup> <workgroup>elegy</workgroup>
<!-- [rfced] Please insert any keywords (beyond those that appear in the title) for use on https://w ww.rfc-editor.org/search. --> <!-- [rfced] Please insert any keywords (beyond those that appear in the title) for use on https://w ww.rfc-editor.org/search. -->
<keyword>example</keyword> <keyword>example</keyword>
<!-- [rfced] Per the ID Checklist, should the Abstract explicitly state that it obsoletes RFCs 8788 and 8989? If yes, please provide the text you would like to include if it is more than "This docume nt obsoletes RFCs 8788 and 8989." <!-- [rfced] Per the ID Checklist, should the Abstract explicitly state that it obsoletes RFCs 8788 and 8989? If yes, please provide the text you would like to include if it is more than "This docume nt obsoletes RFCs 8788 and 8989."
skipping to change at line 88 skipping to change at line 87
session of a fully online IETF meeting.</t> session of a fully online IETF meeting.</t>
<t><xref target="RFC8989"/> also created two other tracks to obtain eligibility: (1) serving a s a <t><xref target="RFC8989"/> also created two other tracks to obtain eligibility: (1) serving a s a
working group chair or secretary in the past three years, and (2) being an author or working group chair or secretary in the past three years, and (2) being an author or
editor of an IETF Stream RFC in the past five years, which includes Internet-Drafts editor of an IETF Stream RFC in the past five years, which includes Internet-Drafts
in the RFC Editor queue.</t> in the RFC Editor queue.</t>
<t>This document discusses some of the first principles that inform the design of <t>This document discusses some of the first principles that inform the design of
NomCom eligibility, and makes recommendations on how the process of NomCom eligibility, and makes recommendations on how the process of
attendance-based qualification should work.</t> attendance-based qualification should work.</t>
<t>This document replaces the attendance criteria in the first two paragraphs of <t>This document replaces the attendance criteria in the first two paragraphs of
<xref section="4.14" sectionFormat="of" target="RFC8713"/> with the criteria described in <xref targ et="RFC8989"/>, and it obsoletes RFC 8989 to clarify that the document has been superseded. All <xref section="4.14" sectionFormat="of" target="RFC8713"/> with the criteria described in <xref targ et="RFC8989"/>, and it obsoletes RFC 8989 to clarify that the document has been superseded. All
other text in <xref target="RFC8713"/>, including the other paragraphs of Section <xref target="RFC8 713" sectionFormat="bare" section="4.14"/>, other text in <xref target="RFC8713"/>, including the other paragraphs of Section <xref section="4.1 4" sectionFormat="bare" target="RFC8713"/>,
remains unchanged.</t> remains unchanged.</t>
</section> </section>
<section anchor="nomcom-principles"> <section anchor="nomcom-principles">
<name>NomCom Principles</name> <name>NomCom Principles</name>
<t>The NomCom is intended to be composed of randomly selected members of "the <t>The NomCom is intended to be composed of randomly selected members of "the
community." For many years, in-person attendance was a reasonable proxy for the community." For many years, in-person attendance was a reasonable proxy for the
commitment associated with being a member. Two days of travel and an attendance commitment associated with being a member. Two days of travel and an attendance
fee is a relatively large expenditure of time and money. Additionally, in-person fee is a relatively large expenditure of time and money. Additionally, in-person
attendance is thought to increase personal familiarity with candidates for attendance is thought to increase personal familiarity with candidates for
leadership positions and with the spirit of the IETF, although there is no leadership positions and with the spirit of the IETF, although there is no
skipping to change at line 234 skipping to change at line 233
Perhaps: Perhaps:
Anyone with concerns about the integrity of the Anyone with concerns about the integrity of the
process should bring those concerns to the IESG to process should bring those concerns to the IESG to
investigate. Where needed, the confirming bodies can take action to investigate. Where needed, the confirming bodies can take action to
invalidate such candidates as defined in Section 3.7.3 of RFC 8713. invalidate such candidates as defined in Section 3.7.3 of RFC 8713.
--> -->
<t>A sudden surge in the number of volunteers, particularly of people that no one <t>A sudden surge in the number of volunteers, particularly of people that no one
recognizes as a part of the community, is an early-warning sign of an attempt at capture. Anyone wit h recognizes as a part of the community, is an early-warning sign of an attempt at capture. Anyone wit h
concerns about the integrity of the process should bring those concerns to the concerns about the integrity of the process should bring those concerns to the
IESG to investigate and take action where needed to invalidate such candidates as defined in <xref t arget="RFC8713" sectionFormat="of" section="3.7.3"/>.</t> IESG to investigate and take action where needed to invalidate such candidates as defined in <xref s ection="3.7.3" sectionFormat="of" target="RFC8713"/>.</t>
<t>While loosening eligibility criteria lowers the cost to an attacker of producing eligib le volunteers, it also increases the number of legitimate volunteers which <t>While loosening eligibility criteria lowers the cost to an attacker of producing eligib le volunteers, it also increases the number of legitimate volunteers which
increases the difficulty of an attack.</t> increases the difficulty of an attack.</t>
</section> </section>
<section anchor="the-two-per-organization-limit"> <section anchor="the-two-per-organization-limit">
<name>The Two-per-Organization Limit</name> <name>The Two-per-Organization Limit</name>
<!-- [rfced] We suggest updating "must" to "would have to". Also, would it be appropriate to indica te that an organization can take one or more of the three actions? Note that we have removed "eithe r" because it implies two options. <!-- [rfced] We suggest updating "must" to "would have to". Also, would it be appropriate to indica te that an organization can take one or more of the three actions? Note that we have removed "eithe r" because it implies two options.
Original: Original:
To circumvent it, an organization must either (1) coordinate To circumvent it, an organization must either (1) coordinate
with at least two like-minded organizations to produce a NomCom with at least two like-minded organizations to produce a NomCom
skipping to change at line 260 skipping to change at line 259
To circumvent it, an organization would have to do one or more of the following: To circumvent it, an organization would have to do one or more of the following:
1. coordinate with at least two like-minded organizations to produce 1. coordinate with at least two like-minded organizations to produce
a NomCom majority, a NomCom majority,
2. incentivize members of other organizations (possibly through a 2. incentivize members of other organizations (possibly through a
funding agreement) to support its agenda, and/or funding agreement) to support its agenda, and/or
3. propose candidates with false affiliations. 3. propose candidates with false affiliations.
--> -->
<t>The two-per-organization limit described in <xref target="RFC8713" sectionFormat="of" s ection="4.17"/> complicates such a capture attack. To <t>The two-per-organization limit described in <xref section="4.17" sectionFormat="of" tar get="RFC8713"/> complicates such a capture attack. To
circumvent it, an organization must (1) coordinate with at least two circumvent it, an organization must (1) coordinate with at least two
like-minded organizations to produce a NomCom majority, (2) incentivize members like-minded organizations to produce a NomCom majority, (2) incentivize members
of other organizations (possibly through a funding agreement) to support its of other organizations (possibly through a funding agreement) to support its
agenda, or (3) propose candidates with false affiliations.</t> agenda, or (3) propose candidates with false affiliations.</t>
<t>While the IETF does not routinely confirm the affiliation of volunteers, as part <t>While the IETF does not routinely confirm the affiliation of volunteers, as part
of an investigation it could eliminate volunteers who have misrepresented said of an investigation it could eliminate volunteers who have misrepresented said
affiliation. Publishing the list of volunteers and affiliations also gives the affiliation. Publishing the list of volunteers and affiliations also gives the
community an opportunity to review the truth of such claims.</t> community an opportunity to review the truth of such claims.</t>
<t>Assuming that 300 legitimate volunteers are all from different organizations, <t>Assuming that 300 legitimate volunteers are all from different organizations,
three conspiring organizations would need 771 volunteers (257 per organization) three conspiring organizations would need 771 volunteers (257 per organization)
skipping to change at line 360 skipping to change at line 359
Warning: Duplicate attribute id="E1-STIXWEBMAIN-29" found after including svg from inline:b'<svg xml ns:xlink="http://www.w3' .... This can cause problems with some browsers. Warning: Duplicate attribute id="E1-STIXWEBMAIN-29" found after including svg from inline:b'<svg xml ns:xlink="http://www.w3' .... This can cause problems with some browsers.
Warning: Duplicate attribute id="E1-STIXWEBSIZE3-29" found after including svg from inline:b'<svg xm lns:xlink="http://www.w3' .... This can cause problems with some browsers. Warning: Duplicate attribute id="E1-STIXWEBSIZE3-29" found after including svg from inline:b'<svg xm lns:xlink="http://www.w3' .... This can cause problems with some browsers.
Warning: Duplicate attribute id="E1-STIXWEBSIZE3-28" found after including svg from inline:b'<svg xm lns:xlink="http://www.w3' .... This can cause problems with some browsers. Warning: Duplicate attribute id="E1-STIXWEBSIZE3-28" found after including svg from inline:b'<svg xm lns:xlink="http://www.w3' .... This can cause problems with some browsers.
... ...
It is unclear to us whether corrective action is needed. Please see the discussion in GitHub <https ://github.com/ietf-tools/xml2rfc/issues/973>. We will track the GitHub issue, but please consider u sing unique IDs. It is unclear to us whether corrective action is needed. Please see the discussion in GitHub <https ://github.com/ietf-tools/xml2rfc/issues/973>. We will track the GitHub issue, but please consider u sing unique IDs.
--> -->
<figure anchor="peq1"> <figure anchor="peq1">
<artset> <artset>
<artwork type="svg" align="center"><svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns=" http://www.w3.org/2000/svg" height="6.176ex" role="img" viewBox="0 -1580.7 7512 2659.1" width="17.44 7ex"> <artwork align="center" type="svg"><svg height="6.176ex" role="img" viewBox="0 -1580.7 751 2 2659.1" width="17.447ex" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/ svg">
<defs> <defs>
<path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-139 <path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-139
-119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28" stroke-width="1"/> -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28-gensym001" stroke-width="1
<path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-178 "/>
-184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28" stroke-width="1"/> <path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-178
<path d="M472 428l-91 -345s-1 -2 -1 -11c0 -11 6 -17 14 -17c10 0 25 2 64 54l12 -12c-3 -184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28-gensym001" stroke-width
1 -47 -85 -107 -133 -107c-33 0 -42 23 -42 55c0 13 6 34 11 50h-4c-72 -92 -134 -105 -173 -105c-63 0 -8 ="1"/>
9 55 -89 119c0 132 132 332 276 332c43 0 64 -24 66 -46h1l9 33h80zM367 341 c0 41 -12 71 -50 71c-68 0 - <path d="M472 428l-91 -345s-1 -2 -1 -11c0 -11 6 -17 14 -17c10 0 25 2 64 54l12 -12c-3
128 -87 -162 -171c-18 -45 -28 -89 -28 -124c0 -53 31 -66 58 -66c69 0 139 95 167 190c8 26 15 66 15 100 1 -47 -85 -107 -133 -107c-33 0 -42 23 -42 55c0 13 6 34 11 50h-4c-72 -92 -134 -105 -173 -105c-63 0 -8
Z" id="E1-STIXWEBNORMALI-1D44E" stroke-width="1"/> 9 55 -89 119c0 132 132 332 276 332c43 0 64 -24 66 -46h1l9 33h80zM367 341 c0 41 -12 71 -50 71c-68 0 -
<path d="M214 382l4 -4c33 32 72 63 121 63c70 0 111 -69 111 -151c0 -121 -109 -301 -26 128 -87 -162 -171c-18 -45 -28 -89 -28 -124c0 -53 31 -66 58 -66c69 0 139 95 167 190c8 26 15 66 15 100
6 -301c-53 0 -94 18 -139 48l144 563c1 4 2 8 2 11c-1 13 -16 21 -29 21c-10 0 -22 -1 -30 -4l-3 16l158 2 Z" id="E1-STIXWEBNORMALI-1D44E-gensym001" stroke-width="1"/>
4zM179 252l-55 -215c0 -7 32 -19 55 -19c122 0 188 174 188 276 c0 70 -38 92 -71 92c-72 0 -106 -89 -117 <path d="M214 382l4 -4c33 32 72 63 121 63c70 0 111 -69 111 -151c0 -121 -109 -301 -26
-134Z" id="E1-STIXWEBNORMALI-1D44F" stroke-width="1"/> 6 -301c-53 0 -94 18 -139 48l144 563c1 4 2 8 2 11c-1 13 -16 21 -29 21c-10 0 -22 -1 -30 -4l-3 16l158 2
<path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c142 4zM179 252l-55 -215c0 -7 32 -19 55 -19c122 0 188 174 188 276 c0 70 -38 92 -71 92c-72 0 -106 -89 -117
117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29" stroke-width="1"/> -134Z" id="E1-STIXWEBNORMALI-1D44F-gensym001" stroke-width="1"/>
<path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c178 <path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c142
184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29" stroke-width="1"/> 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29-gensym001" stroke-width="1"/>
<path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D" <path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c178
stroke-width="1"/> 184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29-gensym001" stroke-width="1"/
<path d="M175 176l-42 381c-2 20 -3 32 -3 43c0 43 15 76 53 76c34 0 53 -32 53 -81c0 -1 >
2 -1 -27 -2 -38l-45 -381h-14zM236 42c0 -29 -23 -51 -54 -51c-30 0 -52 22 -52 52s23 54 53 54c29 0 53 - <path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D-g
25 53 -55Z" id="E1-STIXWEBMAIN-21" stroke-width="1"/> ensym001" stroke-width="1"/>
<path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212" stroke-width="1"/> <path d="M175 176l-42 381c-2 20 -3 32 -3 43c0 43 15 76 53 76c34 0 53 -32 53 -81c0 -1
2 -1 -27 -2 -38l-45 -381h-14zM236 42c0 -29 -23 -51 -54 -51c-30 0 -52 22 -52 52s23 54 53 54c29 0 53 -
25 53 -55Z" id="E1-STIXWEBMAIN-21-gensym001" stroke-width="1"/>
<path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212-gensym001" stroke-width=
"1"/>
</defs> </defs>
<g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0) "> <g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0) ">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym001" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D44E" x="0" y="676"/> <use xlink:href="#E1-STIXWEBNORMALI-1D44E-gensym001" x="0" y="676"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D44F" x="16" y="-686"/> <use xlink:href="#E1-STIXWEBNORMALI-1D44F-gensym001" x="16" y="-686"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="1253" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym001" x="1253" y="-586"/>
<use xlink:href="#E1-STIXWEBMAIN-3D" x="2281" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-3D-gensym001" x="2281" y="0"/>
<g transform="translate(3244,0)"> <g transform="translate(3244,0)">
<g transform="translate(120,0)"> <g transform="translate(120,0)">
<rect height="60" width="4027" x="0" y="220"/> <rect height="60" width="4027" x="0" y="220"/>
<g transform="translate(1595,676)"> <g transform="translate(1595,676)">
<use xlink:href="#E1-STIXWEBNORMALI-1D44E" x="0" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D44E-gensym001" x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-21" x="502" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-21-gensym001" x="502" y="0"/>
</g> </g>
<g transform="translate(60,-697)"> <g transform="translate(60,-697)">
<use xlink:href="#E1-STIXWEBMAIN-28" x="0" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-28-gensym001" x="0" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D44E" x="333" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D44E-gensym001" x="333" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2212" x="1058" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2212-gensym001" x="1058" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D44F" x="1965" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D44F-gensym001" x="1965" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-29" x="2436" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-29-gensym001" x="2436" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-21" x="2769" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-21-gensym001" x="2769" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D44F" x="3103" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D44F-gensym001" x="3103" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-21" x="3573" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-21-gensym001" x="3573" y="0"/>
</g> </g>
</g> </g>
</g> </g>
</g> </g>
</svg> </svg>
</artwork> </artwork>
<artwork type="ascii-art" align="center"><![CDATA[⎛a⎞ a! <artwork align="center" type="ascii-art"><![CDATA[⎛a⎞ a!
⎜ ⎟ = ──────── ⎜ ⎟ = ────────
⎝b⎠ (a-b)!b! ⎝b⎠ (a-b)!b!
]]></artwork> ]]></artwork>
</artset> </artset>
</figure> </figure>
<section anchor="no-per-organization-limit"> <section anchor="no-per-organization-limit">
<name>No per-Organization Limit</name> <name>No per-Organization Limit</name>
<!-- [rfced] I read this sentence as having opposing ideas. Please consider whether "or equivalentl y" should be updated. <!-- [rfced] I read this sentence as having opposing ideas. Please consider whether "or equivalentl y" should be updated.
Original: Original:
skipping to change at line 428 skipping to change at line 427
This appendix assumes there is no limitation on the number of volunteers This appendix assumes there is no limitation on the number of volunteers
from a given organization. Appendix A.2 assumes that no single organization from a given organization. Appendix A.2 assumes that no single organization
produces more than two volunteers. produces more than two volunteers.
--> -->
<t>The first computation assumes there is no limit of two per organization, <t>The first computation assumes there is no limit of two per organization,
or equivalently, no organization produces more than two volunteers.</t> or equivalently, no organization produces more than two volunteers.</t>
<t>Let L be the number of "legitimate" volunteers (i.e., those not allied with an <t>Let L be the number of "legitimate" volunteers (i.e., those not allied with an
attacker) and A be the number of attacking volunteers. Then there are the following ways to select a NomCom:</t> attacker) and A be the number of attacking volunteers. Then there are the following ways to select a NomCom:</t>
<artset> <artset>
<artwork type="svg"><svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.o rg/2000/svg" height="6.176ex" role="img" viewBox="0 -1580.7 4056.9 2659.1" width="9.423ex"> <artwork type="svg"><svg height="6.176ex" role="img" viewBox="0 -1580.7 4056.9 2659.1" wid th="9.423ex" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg">
<defs> <defs>
<path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-139 <path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-139
-119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28" stroke-width="1"/> -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28-gensym002" stroke-width="1
<path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-178 "/>
-184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28" stroke-width="1"/> <path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-178
<path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0 1 -184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28-gensym002" stroke-width
9 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -22 ="1"/>
28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F" stroke-wid <path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0 1
th="1"/> 9 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -22
<path d="M636 220h-261v-261h-66v261h-261v66h261v261h66v-261h261v-66Z" id="E1-STIXWEB 28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F-gensym002"
MAIN-2B" stroke-width="1"/> stroke-width="1"/>
<path d="M685 0h-285v16h16c56 0 72 21 72 61c0 6 -1 14 -2 21l-13 113h-198l-84 -140c-7 <path d="M636 220h-261v-261h-66v261h-261v66h261v261h66v-261h261v-66Z" id="E1-STIXWEB
-8 -10 -19 -10 -26c1 -18 17 -29 43 -29h29v-16h-218v16c35 4 72 16 108 74l356 577h18l78 -581c7 -49 32 MAIN-2B-gensym002" stroke-width="1"/>
-70 74 -70h16v-16zM466 248l-25 227h-6l-139 -227h170Z" id="E1-STIXWEBNORMALI-1D434" stroke-width="1" <path d="M685 0h-285v16h16c56 0 72 21 72 61c0 6 -1 14 -2 21l-13 113h-198l-84 -140c-7
/> -8 -10 -19 -10 -26c1 -18 17 -29 43 -29h29v-16h-218v16c35 4 72 16 108 74l356 577h18l78 -581c7 -49 32
<path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -12l -70 74 -70h16v-16zM466 248l-25 227h-6l-139 -227h170Z" id="E1-STIXWEBNORMALI-1D434-gensym002" stroke
-27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31" stroke-width="1"/> -width="1"/>
<path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340 23 <path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -12l
0 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 130 -27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31-gensym002" stroke-width=
-317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30" stroke-width="1"/> "1"/>
<path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c142 <path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340 23
117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29" stroke-width="1"/> 0 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 130
<path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c178 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30-gensym002" stroke-width="1"/>
184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29" stroke-width="1"/> <path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c142
117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29-gensym002" stroke-width="1"/>
<path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c178
184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29-gensym002" stroke-width="1"/
>
</defs> </defs>
<g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0) "> <g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0) ">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym002" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<g transform="translate(0,676)"> <g transform="translate(0,676)">
<use xlink:href="#E1-STIXWEBNORMALI-1D43F" x="0" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D43F-gensym002" x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2B" x="930" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2B-gensym002" x="930" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D434" x="1838" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D434-gensym002" x="1838" y="0"/>
</g> </g>
<g transform="translate(777,-686)"> <g transform="translate(777,-686)">
<use xlink:href="#E1-STIXWEBMAIN-31"/> <use xlink:href="#E1-STIXWEBMAIN-31-gensym002"/>
<use xlink:href="#E1-STIXWEBMAIN-30" x="500" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-30-gensym002" x="500" y="0"/>
</g> </g>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="3306" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym002" x="3306" y="-586"/>
</g> </g>
</svg> </svg>
</artwork> </artwork>
<artwork type="ascii-art"><![CDATA[⎛L+A⎞ <artwork type="ascii-art"><![CDATA[⎛L+A⎞
⎜ ⎟ ⎜ ⎟
⎝ 10⎠ ⎝ 10⎠
]]></artwork> ]]></artwork>
</artset> </artset>
<t>The number of outcomes where attackers capture the <t>The number of outcomes where attackers capture the
NomCom is:</t> NomCom is:</t>
<figure anchor="peq2"> <figure anchor="peq2">
<artset> <artset>
<artwork type="svg" align="center"><svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns ="http://www.w3.org/2000/svg" height="7.509ex" role="img" viewBox="0 -1867.7 8638.1 3233.2" width="2 0.063ex"> <artwork align="center" type="svg"><svg height="7.509ex" role="img" viewBox="0 -1867.7 8 638.1 3233.2" width="20.063ex" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2 000/svg">
<defs> <defs>
<path d="M1202 465l-74 -416h-1038l557 735l-521 715h976v-351h-36c0 19 -7 45 -11 65c <path d="M1202 465l-74 -416h-1038l557 735l-521 715h976v-351h-36c0 19 -7 45 -11 65c
-28 131 -95 183 -162 191c-28 4 -71 5 -106 5h-377l411 -564l-470 -613h568c139 0 208 69 244 233h39Z" id -28 131 -95 183 -162 191c-28 4 -71 5 -106 5h-377l411 -564l-470 -613h568c139 0 208 69 244 233h39Z" id
="E1-STIXWEBSIZE1-2211" stroke-width="1"/> ="E1-STIXWEBSIZE1-2211-gensym003" stroke-width="1"/>
<path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0 <path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0
48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4 48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4
5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 - 5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 -
2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456" stroke-width="1"/> 2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456-gensym003" stroke-width="1"/>
<path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D <path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D
" stroke-width="1"/> -gensym003" stroke-width="1"/>
<path d="M446 684l2 -16c-157 -26 -269 -134 -296 -285c49 38 83 45 127 45c117 0 189 <path d="M446 684l2 -16c-157 -26 -269 -134 -296 -285c49 38 83 45 127 45c117 0 189
-80 189 -209c0 -64 -18 -120 -51 -160c-37 -46 -93 -73 -159 -73c-79 0 -142 37 -177 101c-28 51 -47 122 -80 189 -209c0 -64 -18 -120 -51 -160c-37 -46 -93 -73 -159 -73c-79 0 -142 37 -177 101c-28 51 -47 122
-47 192c0 108 38 203 109 276c86 90 165 114 303 129zM378 188 c0 128 -42 194 -135 194c-57 0 -116 -24 - -47 192c0 108 38 203 109 276c86 90 165 114 303 129zM378 188 c0 128 -42 194 -135 194c-57 0 -116 -24 -
116 -116c0 -152 48 -252 142 -252c72 0 109 72 109 174Z" id="E1-STIXWEBMAIN-36" stroke-width="1"/> 116 -116c0 -152 48 -252 142 -252c72 0 109 72 109 174Z" id="E1-STIXWEBMAIN-36-gensym003" stroke-width
<path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -1 ="1"/>
2l-27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31" stroke-width="1"/> <path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -1
<path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340 2l-27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31-gensym003" stroke-widt
230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13 h="1"/>
0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30" stroke-width="1"/> <path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340
<path d="M299 -156h-211v818h211v-25h-83c-34 0 -52 -12 -52 -48v-666c0 -40 19 -54 52 230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13
-54h83v-25Z" id="E1-STIXWEBMAIN-5B" stroke-width="1"/> 0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30-gensym003" stroke-width="1"/>
<path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1 <path d="M299 -156h-211v818h211v-25h-83c-34 0 -52 -12 -52 -48v-666c0 -40 19 -54 52
39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28" stroke-width="1"/> -54h83v-25Z" id="E1-STIXWEBMAIN-5B-gensym003" stroke-width="1"/>
<path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-17 <path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1
8 -184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28" stroke-width="1"/> 39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28-gensym003" stroke-width=
<path d="M685 0h-285v16h16c56 0 72 21 72 61c0 6 -1 14 -2 21l-13 113h-198l-84 -140c "1"/>
-7 -8 -10 -19 -10 -26c1 -18 17 -29 43 -29h29v-16h-218v16c35 4 72 16 108 74l356 577h18l78 -581c7 -49 <path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-17
32 -70 74 -70h16v-16zM466 248l-25 227h-6l-139 -227h170Z" id="E1-STIXWEBNORMALI-1D434" stroke-width=" 8 -184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28-gensym003" stroke-wid
1"/> th="1"/>
<path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1 <path d="M685 0h-285v16h16c56 0 72 21 72 61c0 6 -1 14 -2 21l-13 113h-198l-84 -140c
42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29" stroke-width="1"/> -7 -8 -10 -19 -10 -26c1 -18 17 -29 43 -29h29v-16h-218v16c35 4 72 16 108 74l356 577h18l78 -581c7 -49
<path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c1 32 -70 74 -70h16v-16zM466 248l-25 227h-6l-139 -227h170Z" id="E1-STIXWEBNORMALI-1D434-gensym003" stro
78 184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29" stroke-width="1"/> ke-width="1"/>
<path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0 <path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1
19 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -2 42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29-gensym003" stroke-width="1"/>
2 28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F" stroke-w <path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c1
idth="1"/> 78 184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29-gensym003" stroke-width="1
<path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212" stroke-width="1"/> "/>
<path d="M245 -156h-211v25h88c35 0 47 15 47 46v668c0 35 -13 54 -51 54h-84v25h211v- <path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0
818Z" id="E1-STIXWEBMAIN-5D" stroke-width="1"/> 19 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -2
<path d="M491 2022h-171v-2372h170v-44h-265v2460h266v-44Z" id="E1-STIXWEBSIZE3-5B" 2 28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F-gensym003
stroke-width="1"/> " stroke-width="1"/>
<path d="M283 -394h-266v44h171v2372h-171v44h266v-2460Z" id="E1-STIXWEBSIZE3-5D" st <path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212-gensym003" stroke-widt
roke-width="1"/> h="1"/>
<path d="M245 -156h-211v25h88c35 0 47 15 47 46v668c0 35 -13 54 -51 54h-84v25h211v-
818Z" id="E1-STIXWEBMAIN-5D-gensym003" stroke-width="1"/>
<path d="M491 2022h-171v-2372h170v-44h-265v2460h266v-44Z" id="E1-STIXWEBSIZE3-5B-g
ensym003" stroke-width="1"/>
<path d="M283 -394h-266v44h171v2372h-171v44h266v-2460Z" id="E1-STIXWEBSIZE3-5D-gen
sym003" stroke-width="1"/>
</defs> </defs>
<g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)">
<use xlink:href="#E1-STIXWEBSIZE1-2211" x="0" y="-524"/> <use xlink:href="#E1-STIXWEBSIZE1-2211-gensym003" x="0" y="-524"/>
<g transform="translate(116,-1128)"> <g transform="translate(116,-1128)">
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="0" y="0"/ <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym003" transform="scale(0.707)" x=
> "0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-3D" transform="scale(0.707)" x="311" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-3D-gensym003" transform="scale(0.707)" x="311"
<use xlink:href="#E1-STIXWEBMAIN-36" transform="scale(0.707)" x="997" y="0"/> y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-36-gensym003" transform="scale(0.707)" x="997"
y="0"/>
</g> </g>
<g transform="translate(292,1176)"> <g transform="translate(292,1176)">
<use xlink:href="#E1-STIXWEBMAIN-31" transform="scale(0.707)"/> <use xlink:href="#E1-STIXWEBMAIN-31-gensym003" transform="scale(0.707)"/>
<use xlink:href="#E1-STIXWEBMAIN-30" transform="scale(0.707)" x="500" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-30-gensym003" transform="scale(0.707)" x="500"
y="0"/>
</g> </g>
<g transform="translate(1459,0)"> <g transform="translate(1459,0)">
<use xlink:href="#E1-STIXWEBSIZE3-5B" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-5B-gensym003" x="0" y="-586"/>
<g transform="translate(508,0)"> <g transform="translate(508,0)">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym003" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D434" x="0" y="676"/> <use xlink:href="#E1-STIXWEBNORMALI-1D434-gensym003" x="0" y="676"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" x="203" y="-686"/> <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym003" x="203" y="-686"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="1468" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym003" x="1468" y="-586"/>
</g> </g>
<g transform="translate(2727,0)"> <g transform="translate(2727,0)">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym003" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D43F" x="866" y="676"/> <use xlink:href="#E1-STIXWEBNORMALI-1D43F-gensym003" x="866" y="676"/>
<g transform="translate(0,-686)"> <g transform="translate(0,-686)">
<use xlink:href="#E1-STIXWEBMAIN-31"/> <use xlink:href="#E1-STIXWEBMAIN-31-gensym003"/>
<use xlink:href="#E1-STIXWEBMAIN-30" x="500" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-30-gensym003" x="500" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2212" x="1223" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2212-gensym003" x="1223" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" x="2130" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym003" x="2130" y="0"/>
</g> </g>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="3192" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym003" x="3192" y="-586"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-5D" x="6670" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-5D-gensym003" x="6670" y="-586"/>
</g> </g>
</g> </g>
</svg> </svg>
</artwork> </artwork>
<artwork type="ascii-art" align="center"><![CDATA[10 <artwork align="center" type="ascii-art"><![CDATA[10
—— ——
╲ ⎡⎛A⎞ ⎛ L ⎞⎤ ╲ ⎡⎛A⎞ ⎛ L ⎞⎤
╱ ⎢⎜ ⎟ ⎜ ⎟⎥ ╱ ⎢⎜ ⎟ ⎜ ⎟⎥
—— ⎣⎝i⎠ ⎝10-i⎠⎦ —— ⎣⎝i⎠ ⎝10-i⎠⎦
i=6 i=6
]]></artwork> ]]></artwork>
</artset> </artset>
</figure> </figure>
<t>Therefore, the probability of capture is</t> <t>Therefore, the probability of capture is</t>
<figure anchor="peq3"> <figure anchor="peq3">
<artset> <artset>
<artwork type="svg" align="center"><svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns ="http://www.w3.org/2000/svg" height="7.843ex" role="img" viewBox="0 -1939.5 5613.3 3376.7" width="1 3.037ex"> <artwork align="center" type="svg"><svg height="7.843ex" role="img" viewBox="0 -1939.5 5 613.3 3376.7" width="13.037ex" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2 000/svg">
<defs> <defs>
<path d="M1202 465l-74 -416h-1038l557 735l-521 715h976v-351h-36c0 19 -7 45 -11 65c <path d="M1202 465l-74 -416h-1038l557 735l-521 715h976v-351h-36c0 19 -7 45 -11 65c
-28 131 -95 183 -162 191c-28 4 -71 5 -106 5h-377l411 -564l-470 -613h568c139 0 208 69 244 233h39Z" id -28 131 -95 183 -162 191c-28 4 -71 5 -106 5h-377l411 -564l-470 -613h568c139 0 208 69 244 233h39Z" id
="E1-STIXWEBSIZE1-2211" stroke-width="1"/> ="E1-STIXWEBSIZE1-2211-gensym004" stroke-width="1"/>
<path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0 <path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0
48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4 48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4
5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 - 5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 -
2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456" stroke-width="1"/> 2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456-gensym004" stroke-width="1"/>
<path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D <path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D
" stroke-width="1"/> -gensym004" stroke-width="1"/>
<path d="M446 684l2 -16c-157 -26 -269 -134 -296 -285c49 38 83 45 127 45c117 0 189 <path d="M446 684l2 -16c-157 -26 -269 -134 -296 -285c49 38 83 45 127 45c117 0 189
-80 189 -209c0 -64 -18 -120 -51 -160c-37 -46 -93 -73 -159 -73c-79 0 -142 37 -177 101c-28 51 -47 122 -80 189 -209c0 -64 -18 -120 -51 -160c-37 -46 -93 -73 -159 -73c-79 0 -142 37 -177 101c-28 51 -47 122
-47 192c0 108 38 203 109 276c86 90 165 114 303 129zM378 188 c0 128 -42 194 -135 194c-57 0 -116 -24 - -47 192c0 108 38 203 109 276c86 90 165 114 303 129zM378 188 c0 128 -42 194 -135 194c-57 0 -116 -24 -
116 -116c0 -152 48 -252 142 -252c72 0 109 72 109 174Z" id="E1-STIXWEBMAIN-36" stroke-width="1"/> 116 -116c0 -152 48 -252 142 -252c72 0 109 72 109 174Z" id="E1-STIXWEBMAIN-36-gensym004" stroke-width
<path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -1 ="1"/>
2l-27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31" stroke-width="1"/> <path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -1
<path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340 2l-27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31-gensym004" stroke-widt
230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13 h="1"/>
0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30" stroke-width="1"/> <path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340
<path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1 230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13
39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28" stroke-width="1"/> 0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30-gensym004" stroke-width="1"/>
<path d="M382 -134v-30c-142 134 -243 343 -243 615c0 267 101 481 243 615v-30c-90 -1 <path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1
10 -162 -282 -162 -585c0 -306 72 -475 162 -585Z" id="E1-STIXWEBSIZE1-28" stroke-width="1"/> 39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28-gensym004" stroke-width=
<path d="M685 0h-285v16h16c56 0 72 21 72 61c0 6 -1 14 -2 21l-13 113h-198l-84 -140c "1"/>
-7 -8 -10 -19 -10 -26c1 -18 17 -29 43 -29h29v-16h-218v16c35 4 72 16 108 74l356 577h18l78 -581c7 -49 <path d="M382 -134v-30c-142 134 -243 343 -243 615c0 267 101 481 243 615v-30c-90 -1
32 -70 74 -70h16v-16zM466 248l-25 227h-6l-139 -227h170Z" id="E1-STIXWEBNORMALI-1D434" stroke-width=" 10 -162 -282 -162 -585c0 -306 72 -475 162 -585Z" id="E1-STIXWEBSIZE1-28-gensym004" stroke-width="1"/
1"/> >
<path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1 <path d="M685 0h-285v16h16c56 0 72 21 72 61c0 6 -1 14 -2 21l-13 113h-198l-84 -140c
42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29" stroke-width="1"/> -7 -8 -10 -19 -10 -26c1 -18 17 -29 43 -29h29v-16h-218v16c35 4 72 16 108 74l356 577h18l78 -581c7 -49
<path d="M86 1036v30c142 -134 243 -343 243 -615c0 -267 -101 -481 -243 -615v30c90 1 32 -70 74 -70h16v-16zM466 248l-25 227h-6l-139 -227h170Z" id="E1-STIXWEBNORMALI-1D434-gensym004" stro
10 162 282 162 585c0 306 -72 475 -162 585Z" id="E1-STIXWEBSIZE1-29" stroke-width="1"/> ke-width="1"/>
<path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0 <path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1
19 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -2 42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29-gensym004" stroke-width="1"/>
2 28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F" stroke-w <path d="M86 1036v30c142 -134 243 -343 243 -615c0 -267 -101 -481 -243 -615v30c90 1
idth="1"/> 10 162 282 162 585c0 306 -72 475 -162 585Z" id="E1-STIXWEBSIZE1-29-gensym004" stroke-width="1"/>
<path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212" stroke-width="1"/> <path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0
<path d="M636 220h-261v-261h-66v261h-261v66h261v261h66v-261h261v-66Z" id="E1-STIXW 19 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -2
EBMAIN-2B" stroke-width="1"/> 2 28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F-gensym004
" stroke-width="1"/>
<path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212-gensym004" stroke-widt
h="1"/>
<path d="M636 220h-261v-261h-66v261h-261v66h261v261h66v-261h261v-66Z" id="E1-STIXW
EBMAIN-2B-gensym004" stroke-width="1"/>
</defs> </defs>
<g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)">
<use xlink:href="#E1-STIXWEBSIZE1-2211" x="0" y="-524"/> <use xlink:href="#E1-STIXWEBSIZE1-2211-gensym004" x="0" y="-524"/>
<g transform="translate(116,-1128)"> <g transform="translate(116,-1128)">
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="0" y="0"/ <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym004" transform="scale(0.707)" x=
> "0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-3D" transform="scale(0.707)" x="311" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-3D-gensym004" transform="scale(0.707)" x="311"
<use xlink:href="#E1-STIXWEBMAIN-36" transform="scale(0.707)" x="997" y="0"/> y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-36-gensym004" transform="scale(0.707)" x="997"
y="0"/>
</g> </g>
<g transform="translate(292,1176)"> <g transform="translate(292,1176)">
<use xlink:href="#E1-STIXWEBMAIN-31" transform="scale(0.707)"/> <use xlink:href="#E1-STIXWEBMAIN-31-gensym004" transform="scale(0.707)"/>
<use xlink:href="#E1-STIXWEBMAIN-30" transform="scale(0.707)" x="500" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-30-gensym004" transform="scale(0.707)" x="500"
y="0"/>
</g> </g>
<g transform="translate(1459,0)"> <g transform="translate(1459,0)">
<g transform="translate(120,0)"> <g transform="translate(120,0)">
<rect height="60" width="3914" x="0" y="220"/> <rect height="60" width="3914" x="0" y="220"/>
<g transform="translate(60,893)"> <g transform="translate(60,893)">
<use xlink:href="#E1-STIXWEBSIZE1-28" x="0" y="-201"/> <use xlink:href="#E1-STIXWEBSIZE1-28-gensym004" x="0" y="-201"/>
<g transform="translate(468,0)"> <g transform="translate(468,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D434" transform="scale(0.707)" x="0" <use xlink:href="#E1-STIXWEBNORMALI-1D434-gensym004" transform="scale(0.70
y="627"/> 7)" x="0" y="627"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="203 <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym004" transform="scale(0.70
" y="-488"/> 7)" x="203" y="-488"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE1-29" x="975" y="-201"/> <use xlink:href="#E1-STIXWEBSIZE1-29-gensym004" x="975" y="-201"/>
<g transform="translate(1444,0)"> <g transform="translate(1444,0)">
<use xlink:href="#E1-STIXWEBSIZE1-28" x="0" y="-201"/> <use xlink:href="#E1-STIXWEBSIZE1-28-gensym004" x="0" y="-201"/>
<g transform="translate(468,0)"> <g transform="translate(468,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D43F" transform="scale(0.707)" x="6 44" y="627"/> <use xlink:href="#E1-STIXWEBNORMALI-1D43F-gensym004" transform="scale(0. 707)" x="644" y="627"/>
<g transform="translate(0,-345)"> <g transform="translate(0,-345)">
<use xlink:href="#E1-STIXWEBMAIN-31" transform="scale(0.707)"/> <use xlink:href="#E1-STIXWEBMAIN-31-gensym004" transform="scale(0.707)
<use xlink:href="#E1-STIXWEBMAIN-30" transform="scale(0.707)" x="500" "/>
y="0"/> <use xlink:href="#E1-STIXWEBMAIN-30-gensym004" transform="scale(0.707)
<use xlink:href="#E1-STIXWEBMAIN-2212" transform="scale(0.707)" x="100 " x="500" y="0"/>
1" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2212-gensym004" transform="scale(0.70
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x= 7)" x="1001" y="0"/>
"1686" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym004" transform="scale(
0.707)" x="1686" y="0"/>
</g> </g>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE1-29" x="1881" y="-201"/> <use xlink:href="#E1-STIXWEBSIZE1-29-gensym004" x="1881" y="-201"/>
</g> </g>
</g> </g>
<g transform="translate(742,-936)"> <g transform="translate(742,-936)">
<use xlink:href="#E1-STIXWEBSIZE1-28" x="0" y="-201"/> <use xlink:href="#E1-STIXWEBSIZE1-28-gensym004" x="0" y="-201"/>
<g transform="translate(468,0)"> <g transform="translate(468,0)">
<g transform="translate(0,443)"> <g transform="translate(0,443)">
<use xlink:href="#E1-STIXWEBNORMALI-1D43F" transform="scale(0.707)" x="0 <use xlink:href="#E1-STIXWEBNORMALI-1D43F-gensym004" transform="scale(0.
" y="0"/> 707)" x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2B" transform="scale(0.707)" x="708" y= <use xlink:href="#E1-STIXWEBMAIN-2B-gensym004" transform="scale(0.707)"
"0"/> x="708" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D434" transform="scale(0.707)" x="1 <use xlink:href="#E1-STIXWEBNORMALI-1D434-gensym004" transform="scale(0.
394" y="0"/> 707)" x="1394" y="0"/>
</g> </g>
<g transform="translate(392,-345)"> <g transform="translate(392,-345)">
<use xlink:href="#E1-STIXWEBMAIN-31" transform="scale(0.707)"/> <use xlink:href="#E1-STIXWEBMAIN-31-gensym004" transform="scale(0.707)"/
<use xlink:href="#E1-STIXWEBMAIN-30" transform="scale(0.707)" x="500" y= >
"0"/> <use xlink:href="#E1-STIXWEBMAIN-30-gensym004" transform="scale(0.707)"
x="500" y="0"/>
</g> </g>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE1-29" x="1961" y="-201"/> <use xlink:href="#E1-STIXWEBSIZE1-29-gensym004" x="1961" y="-201"/>
</g> </g>
</g> </g>
</g> </g>
</g> </g>
</svg> </svg>
</artwork> </artwork>
<artwork type="ascii-art" align="center"><![CDATA[10 ⎛A⎞ ⎛ L ⎞ <artwork align="center" type="ascii-art"><![CDATA[10 ⎛A⎞ ⎛ L ⎞
—— ⎜ ⎟ ⎜ ⎟ —— ⎜ ⎟ ⎜ ⎟
╲ ⎝i⎠ ⎝10-i⎠ ╲ ⎝i⎠ ⎝10-i⎠
╱ ────────── ╱ ──────────
—— ⎛L + A⎞ —— ⎛L + A⎞
i=6 ⎜ ⎟ i=6 ⎜ ⎟
⎝ 10 ⎠ ⎝ 10 ⎠
]]></artwork> ]]></artwork>
</artset> </artset>
</figure> </figure>
<t>For L = 300, this probability crosses 50% at A = 365.</t> <t>For L = 300, this probability crosses 50% at A = 365.</t>
</section> </section>
<section anchor="two-per-organization"> <section anchor="two-per-organization">
<name>Two per Organization</name> <name>Two per Organization</name>
<t>Assume that the population of L is drawn from L different organizations (this <t>Assume that the population of L is drawn from L different organizations (this
assumption is unfavorable to the attacker). Assume also that there are three assumption is unfavorable to the attacker). Assume also that there are three
conspiring organizations. Then no more than 6 members can be drawn from A.</t> conspiring organizations. Then no more than 6 members can be drawn from A.</t>
<t>Let B be the number of nominees per attacking organization, so that A = 3B.</t> <t>Let B be the number of nominees per attacking organization, so that A = 3B.</t>
<t>The number of combinations to pick exactly N attackers, N &lt;= 6, is</t> <t>The number of combinations to pick exactly N attackers, N &lt;= 6, is</t>
<figure anchor="peq4"> <figure anchor="peq4">
<artset> <artset>
<artwork type="svg" align="center"><svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns ="http://www.w3.org/2000/svg" height="7.676ex" role="img" viewBox="0 -1867.7 30541.9 3304.9" width=" 70.936ex"> <artwork align="center" type="svg"><svg height="7.676ex" role="img" viewBox="0 -1867.7 3 0541.9 3304.9" width="70.936ex" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/ 2000/svg">
<defs> <defs>
<path d="M711 659l-53 -223h-16c1 8 1 17 1 42c0 65 -31 144 -152 144c-201 0 -319 -20 <path d="M711 659l-53 -223h-16c1 8 1 17 1 42c0 65 -31 144 -152 144c-201 0 -319 -20
1 -319 -372c0 -112 60 -214 195 -214c98 0 171 49 216 98c7 7 12 13 17 20l20 -13c-27 -41 -60 -71 -89 -9 1 -319 -372c0 -112 60 -214 195 -214c98 0 171 49 216 98c7 7 12 13 17 20l20 -13c-27 -41 -60 -71 -89 -9
2c-78 -55 -154 -61 -193 -61c-193 0 -288 131 -288 278c0 230 201 393 443 393 c54 0 106 -27 158 -27c11 2c-78 -55 -154 -61 -193 -61c-193 0 -288 131 -288 278c0 230 201 393 443 393 c54 0 106 -27 158 -27c11
0 27 2 42 27h18Z" id="E1-STIXWEBNORMALI-1D436" stroke-width="1"/> 0 27 2 42 27h18Z" id="E1-STIXWEBNORMALI-1D436-gensym005" stroke-width="1"/>
<path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1 <path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1
39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28" stroke-width="1"/> 39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28-gensym005" stroke-width=
<path d="M901 653l-4 -16h-18c-75 0 -98 -26 -107 -63l-144 -574h-24l-274 526h-6l-108 "1"/>
-448c-2 -8 -3 -16 -3 -27c0 -20 17 -35 76 -35h19l-4 -16h-266l4 16h18c75 0 98 28 106 62l126 509c-19 4 <path d="M901 653l-4 -16h-18c-75 0 -98 -26 -107 -63l-144 -574h-24l-274 526h-6l-108
3 -62 50 -92 50h-19l4 16h200l236 -465h5l97 386c2 9 4 16 4 26 c0 20 -17 37 -76 37h-20l4 16h266Z" id=" -448c-2 -8 -3 -16 -3 -27c0 -20 17 -35 76 -35h19l-4 -16h-266l4 16h18c75 0 98 28 106 62l126 509c-19 4
E1-STIXWEBNORMALI-1D441" stroke-width="1"/> 3 -62 50 -92 50h-19l4 16h200l236 -465h5l97 386c2 9 4 16 4 26 c0 20 -17 37 -76 37h-20l4 16h266Z" id="
<path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1 E1-STIXWEBNORMALI-1D441-gensym005" stroke-width="1"/>
42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29" stroke-width="1"/> <path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1
<path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D 42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29-gensym005" stroke-width="1"/>
" stroke-width="1"/> <path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D
<path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-17 -gensym005" stroke-width="1"/>
8 -184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28" stroke-width="1"/> <path d="M667 -346v-48c-284 267 -485 689 -485 1230c0 538 201 1002 485 1230v-44c-17
<path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0 8 -184 -375 -580 -375 -1186c0 -613 197 -962 375 -1182Z" id="E1-STIXWEBSIZE3-28-gensym005" stroke-wid
19 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -2 th="1"/>
2 28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F" stroke-w <path d="M668 190l-61 -190h-569l4 16h17c75 0 99 28 107 62l118 477c4 16 7 36 7 45c0
idth="1"/> 19 -14 37 -76 37h-18l4 16h327l-4 -16h-18c-75 0 -96 -26 -105 -63l-122 -481c-4 -15 -5 -29 -5 -31c0 -2
<path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -1 2 28 -24 40 -24h122c102 0 153 22 199 115c7 11 12 23 17 37h16Z" id="E1-STIXWEBNORMALI-1D43F-gensym005
2l-27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31" stroke-width="1"/> " stroke-width="1"/>
<path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340 <path d="M394 0h-276v15c74 4 95 25 95 80v449c0 34 -9 49 -30 49c-10 0 -27 -5 -45 -1
230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13 2l-27 -10v14l179 91l9 -3v-597c0 -43 20 -61 95 -61v-15Z" id="E1-STIXWEBMAIN-31-gensym005" stroke-widt
0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30" stroke-width="1"/> h="1"/>
<path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212" stroke-width="1"/> <path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340
<path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c1 230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13
78 184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29" stroke-width="1"/> 0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30-gensym005" stroke-width="1"/>
<path d="M1202 465l-74 -416h-1038l557 735l-521 715h976v-351h-36c0 19 -7 45 -11 65c <path d="M621 220h-557v66h557v-66Z" id="E1-STIXWEBMAIN-2212-gensym005" stroke-widt
-28 131 -95 183 -162 191c-28 4 -71 5 -106 5h-377l411 -564l-470 -613h568c139 0 208 69 244 233h39Z" id h="1"/>
="E1-STIXWEBSIZE1-2211" stroke-width="1"/> <path d="M83 2018v48c284 -267 485 -685 485 -1230c0 -534 -201 -1002 -485 -1230v44c1
<path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0 78 184 375 580 375 1186c0 614 -197 965 -375 1182Z" id="E1-STIXWEBSIZE3-29-gensym005" stroke-width="1
48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4 "/>
5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 - <path d="M1202 465l-74 -416h-1038l557 735l-521 715h976v-351h-36c0 19 -7 45 -11 65c
2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456" stroke-width="1"/> -28 131 -95 183 -162 191c-28 4 -71 5 -106 5h-377l411 -564l-470 -613h568c139 0 208 69 244 233h39Z" id
<path d="M667 107l13 -11c-32 -54 -84 -104 -131 -104c-22 0 -39 10 -39 49c0 7 1 17 6 ="E1-STIXWEBSIZE1-2211-gensym005" stroke-width="1"/>
37l56 221c4 14 6 23 6 40c0 20 -6 38 -24 38c-54 0 -164 -181 -179 -242l-34 -135h-79l77 299c2 9 5 25 5 <path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0
40c0 20 -5 38 -23 38c-52 0 -162 -181 -178 -242l-35 -135h-78l95 374 c0 18 -6 31 -33 31c-8 0 -19 -1 - 48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4
27 -2l-2 14l157 24l-44 -169h6c94 143 154 169 192 169c37 0 55 -37 55 -81c0 -17 -3 -32 -9 -52l-10 -36h 5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 -
5c29 52 81 114 130 147c22 15 41 22 61 22c36 0 54 -26 54 -71c0 -18 -1 -37 -7 -61l-61 -231c-1 -3 -2 -9 2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456-gensym005" stroke-width="1"/>
-2 -12 c0 -8 6 -12 15 -12c17 0 43 16 62 53Z" id="E1-STIXWEBNORMALI-1D45A" stroke-width="1"/> <path d="M667 107l13 -11c-32 -54 -84 -104 -131 -104c-22 0 -39 10 -39 49c0 7 1 17 6
<path d="M467 96l-5 -6c-28 -34 -76 -98 -128 -98c-32 0 -41 23 -41 46c0 13 4 29 7 40 37l56 221c4 14 6 23 6 40c0 20 -6 38 -24 38c-54 0 -164 -181 -179 -242l-34 -135h-79l77 299c2 9 5 25 5
l57 221c2 8 7 28 7 42c0 19 -6 38 -24 38c-38 0 -101 -86 -132 -133c-36 -54 -62 -101 -68 -122l-33 -124h 40c0 20 -5 38 -23 38c-52 0 -162 -181 -178 -242l-35 -135h-78l95 374 c0 18 -6 31 -33 31c-8 0 -19 -1 -
-77l95 374c0 18 -3 32 -30 32c-10 0 -21 -2 -28 -3l-2 15l159 23l-51 -189h3 c5 0 54 70 56 73c40 50 100 27 -2l-2 14l157 24l-44 -169h6c94 143 154 169 192 169c37 0 55 -37 55 -81c0 -17 -3 -32 -9 -52l-10 -36h
116 160 116c44 0 56 -29 56 -62c0 -25 -6 -50 -11 -70l-59 -231c-1 -2 -1 -5 -1 -10c1 -6 4 -14 15 -14c24 5c29 52 81 114 130 147c22 15 41 22 61 22c36 0 54 -26 54 -71c0 -18 -1 -37 -7 -61l-61 -231c-1 -3 -2 -9
0 48 36 62 53Z" id="E1-STIXWEBNORMALI-1D45B" stroke-width="1"/> -2 -12 c0 -8 6 -12 15 -12c17 0 43 16 62 53Z" id="E1-STIXWEBNORMALI-1D45A-gensym005" stroke-width="1
<path d="M83 -141l-10 19c55 37 83 74 83 107c0 7 -6 13 -14 13s-18 -4 -29 -4c-37 0 - "/>
58 17 -58 51s24 57 60 57c45 0 80 -35 80 -87c0 -60 -43 -123 -112 -156Z" id="E1-STIXWEBMAIN-2C" stroke <path d="M467 96l-5 -6c-28 -34 -76 -98 -128 -98c-32 0 -41 23 -41 46c0 13 4 29 7 40
-width="1"/> l57 221c2 8 7 28 7 42c0 19 -6 38 -24 38c-38 0 -101 -86 -132 -133c-36 -54 -62 -101 -68 -122l-33 -124h
<path d="M474 137l-54 -137h-391v12l178 189c94 99 130 175 130 260c0 91 -54 141 -139 -77l95 374c0 18 -3 32 -30 32c-10 0 -21 -2 -28 -3l-2 15l159 23l-51 -189h3 c5 0 54 70 56 73c40 50 100
141c-72 0 -107 -32 -147 -130l-21 5c21 117 85 199 208 199c113 0 185 -77 185 -176c0 -79 -39 -154 -128 116 160 116c44 0 56 -29 56 -62c0 -25 -6 -50 -11 -70l-59 -231c-1 -2 -1 -5 -1 -10c1 -6 4 -14 15 -14c24
-248l-165 -176h234c42 0 63 11 96 67Z" id="E1-STIXWEBMAIN-32" stroke-width="1"/> 0 48 36 62 53Z" id="E1-STIXWEBNORMALI-1D45B-gensym005" stroke-width="1"/>
<path d="M299 -156h-211v818h211v-25h-83c-34 0 -52 -12 -52 -48v-666c0 -40 19 -54 52 <path d="M83 -141l-10 19c55 37 83 74 83 107c0 7 -6 13 -14 13s-18 -4 -29 -4c-37 0 -
-54h83v-25Z" id="E1-STIXWEBMAIN-5B" stroke-width="1"/> 58 17 -58 51s24 57 60 57c45 0 80 -35 80 -87c0 -60 -43 -123 -112 -156Z" id="E1-STIXWEBMAIN-2C-gensym0
<path d="M198 653h252c84 0 236 -9 236 -145c0 -78 -43 -123 -91 -147c-25 -13 -54 -21 05" stroke-width="1"/>
-74 -26l3 -4c60 -11 127 -53 127 -138c0 -99 -82 -193 -289 -193h-324l4 16h20c76 0 95 29 103 63l123 49 <path d="M474 137l-54 -137h-391v12l178 189c94 99 130 175 130 260c0 91 -54 141 -139
5c1 5 2 15 2 21c0 26 -19 42 -78 42h-19zM406 611l-59 -252c20 -4 38 -6 53 -6 c112 0 168 66 168 163c0 7 141c-72 0 -107 -32 -147 -130l-21 5c21 117 85 199 208 199c113 0 185 -77 185 -176c0 -79 -39 -154 -128
7 -65 98 -119 98c-15 0 -30 -1 -43 -3zM338 314l-68 -267c25 -7 45 -9 71 -9c94 0 190 42 190 172c0 73 -6 -248l-165 -176h234c42 0 63 11 96 67Z" id="E1-STIXWEBMAIN-32-gensym005" stroke-width="1"/>
4 108 -142 108c-16 0 -36 0 -51 -4Z" id="E1-STIXWEBNORMALI-1D435" stroke-width="1"/> <path d="M299 -156h-211v818h211v-25h-83c-34 0 -52 -12 -52 -48v-666c0 -40 19 -54 52
<path d="M372 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0 -54h83v-25Z" id="E1-STIXWEBMAIN-5B-gensym005" stroke-width="1"/>
48 -25 48 -50zM351 441l-108 -425c-22 -88 -78 -203 -186 -203c-53 0 -73 33 -73 61c0 22 12 52 47 52c19 <path d="M198 653h252c84 0 236 -9 236 -145c0 -78 -43 -123 -91 -147c-25 -13 -54 -21
0 35 -15 35 -38c0 -15 -16 -18 -16 -34c0 -4 5 -10 10 -10c46 0 79 76 103 172 l92 363c0 12 -10 22 -32 2 -74 -26l3 -4c60 -11 127 -53 127 -138c0 -99 -82 -193 -289 -193h-324l4 16h20c76 0 95 29 103 63l123 49
2c-8 0 -20 -2 -27 -5l-3 17Z" id="E1-STIXWEBNORMALI-1D457" stroke-width="1"/> 5c1 5 2 15 2 21c0 26 -19 42 -78 42h-19zM406 611l-59 -252c20 -4 38 -6 53 -6 c112 0 168 66 168 163c0 7
<path d="M245 -156h-211v25h88c35 0 47 15 47 46v668c0 35 -13 54 -51 54h-84v25h211v- 7 -65 98 -119 98c-15 0 -30 -1 -43 -3zM338 314l-68 -267c25 -7 45 -9 71 -9c94 0 190 42 190 172c0 73 -6
818Z" id="E1-STIXWEBMAIN-5D" stroke-width="1"/> 4 108 -142 108c-16 0 -36 0 -51 -4Z" id="E1-STIXWEBNORMALI-1D435-gensym005" stroke-width="1"/>
<path d="M634 -509h-339v3075h339v-56h-244v-2963h244v-56Z" id="E1-STIXWEBSIZE4-5B" <path d="M372 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0
stroke-width="1"/> 48 -25 48 -50zM351 441l-108 -425c-22 -88 -78 -203 -186 -203c-53 0 -73 33 -73 61c0 22 12 52 47 52c19
<path d="M366 -509h-339v56h244v2963h-244v56h339v-3075Z" id="E1-STIXWEBSIZE4-5D" st 0 35 -15 35 -38c0 -15 -16 -18 -16 -34c0 -4 5 -10 10 -10c46 0 79 76 103 172 l92 363c0 12 -10 22 -32 2
roke-width="1"/> 2c-8 0 -20 -2 -27 -5l-3 17Z" id="E1-STIXWEBNORMALI-1D457-gensym005" stroke-width="1"/>
<path d="M245 -156h-211v25h88c35 0 47 15 47 46v668c0 35 -13 54 -51 54h-84v25h211v-
818Z" id="E1-STIXWEBMAIN-5D-gensym005" stroke-width="1"/>
<path d="M634 -509h-339v3075h339v-56h-244v-2963h244v-56Z" id="E1-STIXWEBSIZE4-5B-g
ensym005" stroke-width="1"/>
<path d="M366 -509h-339v56h244v2963h-244v56h339v-3075Z" id="E1-STIXWEBSIZE4-5D-gen
sym005" stroke-width="1"/>
</defs> </defs>
<g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D436" x="0" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D436-gensym005" x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-28" x="711" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-28-gensym005" x="711" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D441" x="1045" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D441-gensym005" x="1045" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-29" x="1946" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-29-gensym005" x="1946" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-3D" x="2557" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-3D-gensym005" x="2557" y="0"/>
<g transform="translate(3521,0)"> <g transform="translate(3521,0)">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym005" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D43F" x="1161" y="676"/> <use xlink:href="#E1-STIXWEBNORMALI-1D43F-gensym005" x="1161" y="676"/>
<g transform="translate(0,-686)"> <g transform="translate(0,-686)">
<use xlink:href="#E1-STIXWEBMAIN-31"/> <use xlink:href="#E1-STIXWEBMAIN-31-gensym005"/>
<use xlink:href="#E1-STIXWEBMAIN-30" x="500" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-30-gensym005" x="500" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2212" x="1223" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2212-gensym005" x="1223" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D441" x="2130" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D441-gensym005" x="2130" y="0"/>
</g> </g>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="3782" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym005" x="3782" y="-586"/>
</g> </g>
<g transform="translate(8221,0)"> <g transform="translate(8221,0)">
<use xlink:href="#E1-STIXWEBSIZE1-2211" x="711" y="-524"/> <use xlink:href="#E1-STIXWEBSIZE1-2211-gensym005" x="711" y="-524"/>
<g transform="translate(827,-1122)"> <g transform="translate(827,-1122)">
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="0" y="0 <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym005" transform="scale(0.707)"
"/> x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-3D" transform="scale(0.707)" x="311" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-3D-gensym005" transform="scale(0.707)" x="311
<use xlink:href="#E1-STIXWEBMAIN-30" transform="scale(0.707)" x="997" y="0"/> " y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-30-gensym005" transform="scale(0.707)" x="997
" y="0"/>
</g> </g>
<g transform="translate(0,1212)"> <g transform="translate(0,1212)">
<use xlink:href="#E1-STIXWEBNORMALI-1D45A" transform="scale(0.707)" x="0" y="0 <use xlink:href="#E1-STIXWEBNORMALI-1D45A-gensym005" transform="scale(0.707)"
"/> x="0" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="710" y= <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym005" transform="scale(0.707)"
"0"/> x="710" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D45B" transform="scale(0.707)" x="1022" y <use xlink:href="#E1-STIXWEBNORMALI-1D45B-gensym005" transform="scale(0.707)"
="0"/> x="1022" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-28" transform="scale(0.707)" x="1519" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-28-gensym005" transform="scale(0.707)" x="151
<use xlink:href="#E1-STIXWEBNORMALI-1D441" transform="scale(0.707)" x="1852" y 9" y="0"/>
="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D441-gensym005" transform="scale(0.707)"
<use xlink:href="#E1-STIXWEBMAIN-2C" transform="scale(0.707)" x="2754" y="0"/> x="1852" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-32" transform="scale(0.707)" x="3005" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2C-gensym005" transform="scale(0.707)" x="275
<use xlink:href="#E1-STIXWEBMAIN-29" transform="scale(0.707)" x="3505" y="0"/> 4" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-32-gensym005" transform="scale(0.707)" x="300
5" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-29-gensym005" transform="scale(0.707)" x="350
5" y="0"/>
</g> </g>
</g> </g>
<g transform="translate(11102,0)"> <g transform="translate(11102,0)">
<use xlink:href="#E1-STIXWEBSIZE4-5B" x="0" y="-779"/> <use xlink:href="#E1-STIXWEBSIZE4-5B-gensym005" x="0" y="-779"/>
<g transform="translate(661,0)"> <g transform="translate(661,0)">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym005" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D435" x="0" y="676"/> <use xlink:href="#E1-STIXWEBNORMALI-1D435-gensym005" x="0" y="676"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" x="192" y="-686"/> <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym005" x="192" y="-686"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="1447" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym005" x="1447" y="-586"/>
</g> </g>
<g transform="translate(3025,0)"> <g transform="translate(3025,0)">
<use xlink:href="#E1-STIXWEBSIZE1-2211" x="1063" y="-524"/> <use xlink:href="#E1-STIXWEBSIZE1-2211-gensym005" x="1063" y="-524"/>
<g transform="translate(1152,-1122)"> <g transform="translate(1152,-1122)">
<use xlink:href="#E1-STIXWEBNORMALI-1D457" transform="scale(0.707)" x="0" y= <use xlink:href="#E1-STIXWEBNORMALI-1D457-gensym005" transform="scale(0.707)
"0"/> " x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-3D" transform="scale(0.707)" x="389" y="0"/ <use xlink:href="#E1-STIXWEBMAIN-3D-gensym005" transform="scale(0.707)" x="3
> 89" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-30" transform="scale(0.707)" x="1075" y="0" <use xlink:href="#E1-STIXWEBMAIN-30-gensym005" transform="scale(0.707)" x="1
/> 075" y="0"/>
</g> </g>
<g transform="translate(0,1212)"> <g transform="translate(0,1212)">
<use xlink:href="#E1-STIXWEBNORMALI-1D45A" transform="scale(0.707)" x="0" y= <use xlink:href="#E1-STIXWEBNORMALI-1D45A-gensym005" transform="scale(0.707)
"0"/> " x="0" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="710" <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym005" transform="scale(0.707)
y="0"/> " x="710" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D45B" transform="scale(0.707)" x="1022" <use xlink:href="#E1-STIXWEBNORMALI-1D45B-gensym005" transform="scale(0.707)
y="0"/> " x="1022" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-28" transform="scale(0.707)" x="1519" y="0" <use xlink:href="#E1-STIXWEBMAIN-28-gensym005" transform="scale(0.707)" x="1
/> 519" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-32" transform="scale(0.707)" x="1852" y="0" <use xlink:href="#E1-STIXWEBMAIN-32-gensym005" transform="scale(0.707)" x="1
/> 852" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2C" transform="scale(0.707)" x="2353" y="0" <use xlink:href="#E1-STIXWEBMAIN-2C-gensym005" transform="scale(0.707)" x="2
/> 353" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D441" transform="scale(0.707)" x="2603" <use xlink:href="#E1-STIXWEBNORMALI-1D441-gensym005" transform="scale(0.707)
y="0"/> " x="2603" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2212" transform="scale(0.707)" x="3505" y=" <use xlink:href="#E1-STIXWEBMAIN-2212-gensym005" transform="scale(0.707)" x=
0"/> "3505" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="4191" <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym005" transform="scale(0.707)
y="0"/> " x="4191" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-29" transform="scale(0.707)" x="4502" y="0" <use xlink:href="#E1-STIXWEBMAIN-29-gensym005" transform="scale(0.707)" x="4
/> 502" y="0"/>
</g> </g>
</g> </g>
<g transform="translate(6611,0)"> <g transform="translate(6611,0)">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym005" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym005" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D435" x="0" y="676"/> <use xlink:href="#E1-STIXWEBNORMALI-1D435-gensym005" x="0" y="676"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D457" x="153" y="-686"/> <use xlink:href="#E1-STIXWEBNORMALI-1D457-gensym005" x="153" y="-686"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="1447" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym005" x="1447" y="-586"/>
</g> </g>
<g transform="translate(2948,0)"> <g transform="translate(2948,0)">
<use xlink:href="#E1-STIXWEBSIZE3-28" x="0" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-28-gensym005" x="0" y="-586"/>
<g transform="translate(750,0)"> <g transform="translate(750,0)">
<use xlink:href="#E1-STIXWEBNORMALI-1D435" x="3135" y="676"/> <use xlink:href="#E1-STIXWEBNORMALI-1D435-gensym005" x="3135" y="676"/>
<g transform="translate(0,-686)"> <g transform="translate(0,-686)">
<use xlink:href="#E1-STIXWEBNORMALI-1D45A" x="0" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D45A-gensym005" x="0" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" x="710" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym005" x="710" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D45B" x="1022" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D45B-gensym005" x="1022" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-28" x="1519" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-28-gensym005" x="1519" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-32" x="1853" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-32-gensym005" x="1853" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2C" x="2353" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2C-gensym005" x="2353" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D441" x="2770" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D441-gensym005" x="2770" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2212" x="3894" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2212-gensym005" x="3894" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" x="4802" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym005" x="4802" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-2212" x="5335" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-2212-gensym005" x="5335" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D457" x="6243" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D457-gensym005" x="6243" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-29" x="6633" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-29-gensym005" x="6633" y="0"/>
</g> </g>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="7717" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym005" x="7717" y="-586"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE3-29" x="11415" y="-586"/> <use xlink:href="#E1-STIXWEBSIZE3-29-gensym005" x="11415" y="-586"/>
</g> </g>
<use xlink:href="#E1-STIXWEBSIZE4-5D" x="18777" y="-779"/> <use xlink:href="#E1-STIXWEBSIZE4-5D-gensym005" x="18777" y="-779"/>
</g> </g>
</g> </g>
</svg> </svg>
</artwork> </artwork>
<artwork type="ascii-art" align="center"><![CDATA[ min(N,2)⎡ min(2,N-i ) ⎤ <artwork align="center" type="ascii-art"><![CDATA[ min(N,2)⎡ min(2,N-i ) ⎤
—— ⎢ —— ⎥ —— ⎢ —— ⎥
⎛ L ⎞ ╲ ⎢⎛B⎞ ╲ ⎛⎛B⎞ ⎛ B ⎞⎞⎥ ⎛ L ⎞ ╲ ⎢⎛B⎞ ╲ ⎛⎛B⎞ ⎛ B ⎞⎞⎥
C(N) = ⎜ ⎟ ╱ ⎢⎜ ⎟ ╱ ⎜⎜ ⎟ ⎜ ⎟⎟⎥ C(N) = ⎜ ⎟ ╱ ⎢⎜ ⎟ ╱ ⎜⎜ ⎟ ⎜ ⎟⎟⎥
⎝10 - N⎠ —— ⎢⎝i⎠ —— ⎝⎝j⎠ ⎝min(2, N-i-j)⎠⎠⎥ ⎝10 - N⎠ —— ⎢⎝i⎠ —— ⎝⎝j⎠ ⎝min(2, N-i-j)⎠⎠⎥
i=0 ⎣ j=0 ⎦ i=0 ⎣ j=0 ⎦
]]></artwork> ]]></artwork>
</artset> </artset>
</figure> </figure>
<t>And the probability of capture is</t> <t>And the probability of capture is</t>
<figure anchor="peq5"> <figure anchor="peq5">
<artset> <artset>
<artwork type="svg" align="center"><svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns ="http://www.w3.org/2000/svg" height="6.843ex" role="img" viewBox="0 -1508.9 4290.1 2946.1" width="9 .964ex"> <artwork align="center" type="svg"><svg height="6.843ex" role="img" viewBox="0 -1508.9 4 290.1 2946.1" width="9.964ex" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/20 00/svg">
<defs> <defs>
<path d="M711 659l-53 -223h-16c1 8 1 17 1 42c0 65 -31 144 -152 144c-201 0 -319 -20 <path d="M711 659l-53 -223h-16c1 8 1 17 1 42c0 65 -31 144 -152 144c-201 0 -319 -20
1 -319 -372c0 -112 60 -214 195 -214c98 0 171 49 216 98c7 7 12 13 17 20l20 -13c-27 -41 -60 -71 -89 -9 1 -319 -372c0 -112 60 -214 195 -214c98 0 171 49 216 98c7 7 12 13 17 20l20 -13c-27 -41 -60 -71 -89 -9
2c-78 -55 -154 -61 -193 -61c-193 0 -288 131 -288 278c0 230 201 393 443 393 c54 0 106 -27 158 -27c11 2c-78 -55 -154 -61 -193 -61c-193 0 -288 131 -288 278c0 230 201 393 443 393 c54 0 106 -27 158 -27c11
0 27 2 42 27h18Z" id="E1-STIXWEBNORMALI-1D436" stroke-width="1"/> 0 27 2 42 27h18Z" id="E1-STIXWEBNORMALI-1D436-gensym006" stroke-width="1"/>
<path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1 <path d="M304 -161l-12 -16c-158 90 -244 259 -244 429c0 185 87 329 247 424l9 -16c-1
39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28" stroke-width="1"/> 39 -119 -170 -212 -170 -405c0 -186 30 -299 170 -416Z" id="E1-STIXWEBMAIN-28-gensym006" stroke-width=
<path d="M446 684l2 -16c-157 -26 -269 -134 -296 -285c49 38 83 45 127 45c117 0 189 "1"/>
-80 189 -209c0 -64 -18 -120 -51 -160c-37 -46 -93 -73 -159 -73c-79 0 -142 37 -177 101c-28 51 -47 122 <path d="M446 684l2 -16c-157 -26 -269 -134 -296 -285c49 38 83 45 127 45c117 0 189
-47 192c0 108 38 203 109 276c86 90 165 114 303 129zM378 188 c0 128 -42 194 -135 194c-57 0 -116 -24 - -80 189 -209c0 -64 -18 -120 -51 -160c-37 -46 -93 -73 -159 -73c-79 0 -142 37 -177 101c-28 51 -47 122
116 -116c0 -152 48 -252 142 -252c72 0 109 72 109 174Z" id="E1-STIXWEBMAIN-36" stroke-width="1"/> -47 192c0 108 38 203 109 276c86 90 165 114 303 129zM378 188 c0 128 -42 194 -135 194c-57 0 -116 -24 -
<path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1 116 -116c0 -152 48 -252 142 -252c72 0 109 72 109 174Z" id="E1-STIXWEBMAIN-36-gensym006" stroke-width
42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29" stroke-width="1"/> ="1"/>
<path d="M856 40l-53 -299h-745l392 510l-367 512h747v-251h-30c-21 135 -59 185 -192 <path d="M29 660l12 16c153 -92 244 -259 244 -429c0 -185 -88 -327 -247 -424l-9 16c1
185h-320l290 -391l-336 -434h414c112 0 148 68 170 168h30Z" id="E1-STIXWEBOPERATORS-2211" stroke-width 42 117 170 211 170 405c0 187 -25 302 -170 416Z" id="E1-STIXWEBMAIN-29-gensym006" stroke-width="1"/>
="1"/> <path d="M856 40l-53 -299h-745l392 510l-367 512h747v-251h-30c-21 135 -59 185 -192
<path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0 185h-320l290 -391l-336 -434h414c112 0 148 68 170 168h30Z" id="E1-STIXWEBOPERATORS-2211-gensym006" st
48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4 roke-width="1"/>
5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 - <path d="M257 566c0 -26 -22 -46 -48 -46c-29 0 -48 20 -48 46c0 25 19 50 48 50c26 0
2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456" stroke-width="1"/> 48 -25 48 -50zM227 441l-92 -364c-1 -6 -1 -10 -1 -14c0 -7 6 -10 13 -10c22 0 28 12 64 51l13 -10c-35 -4
<path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D 5 -85 -105 -134 -105c-28 0 -40 19 -40 46c0 12 0 31 79 338c1 2 2 9 2 12 c0 17 -8 22 -31 22c-9 0 -21 -
" stroke-width="1"/> 2 -28 -4l-3 16Z" id="E1-STIXWEBNORMALI-1D456-gensym006" stroke-width="1"/>
<path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340 <path d="M637 320h-589v66h589v-66zM637 120h-589v66h589v-66Z" id="E1-STIXWEBMAIN-3D
230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13 -gensym006" stroke-width="1"/>
0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30" stroke-width="1"/> <path d="M476 330c0 -172 -63 -344 -226 -344c-171 0 -226 186 -226 350c0 177 69 340
230 340c131 0 222 -141 222 -346zM380 325c0 208 -44 325 -132 325c-83 0 -128 -118 -128 -321s44 -317 13
0 -317c85 0 130 115 130 313Z" id="E1-STIXWEBMAIN-30-gensym006" stroke-width="1"/>
</defs> </defs>
<g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)"> <g fill="black" stroke="currentColor" stroke-width="0" transform="matrix(1 0 0 -1 0 0)">
<g transform="translate(120,0)"> <g transform="translate(120,0)">
<rect height="60" width="4050" x="0" y="220"/> <rect height="60" width="4050" x="0" y="220"/>
<g transform="translate(1085,697)"> <g transform="translate(1085,697)">
<use xlink:href="#E1-STIXWEBNORMALI-1D436" x="0" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D436-gensym006" x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-28" x="711" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-28-gensym006" x="711" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-36" x="1045" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-36-gensym006" x="1045" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-29" x="1545" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-29-gensym006" x="1545" y="0"/>
</g> </g>
<g transform="translate(60,-993)"> <g transform="translate(60,-993)">
<use xlink:href="#E1-STIXWEBOPERATORS-2211" x="0" y="-2"/> <use xlink:href="#E1-STIXWEBOPERATORS-2211-gensym006" x="0" y="-2"/>
<use xlink:href="#E1-STIXWEBMAIN-36" transform="scale(0.707)" x="1293" y="691" <use xlink:href="#E1-STIXWEBMAIN-36-gensym006" transform="scale(0.707)" x="129
/> 3" y="691"/>
<g transform="translate(914,-298)"> <g transform="translate(914,-298)">
<use xlink:href="#E1-STIXWEBNORMALI-1D456" transform="scale(0.707)" x="0" y= <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym006" transform="scale(0.707)
"0"/> " x="0" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-3D" transform="scale(0.707)" x="311" y="0"/ <use xlink:href="#E1-STIXWEBMAIN-3D-gensym006" transform="scale(0.707)" x="3
> 11" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-30" transform="scale(0.707)" x="997" y="0"/ <use xlink:href="#E1-STIXWEBMAIN-30-gensym006" transform="scale(0.707)" x="9
> 97" y="0"/>
</g> </g>
<use xlink:href="#E1-STIXWEBNORMALI-1D436" x="2240" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D436-gensym006" x="2240" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-28" x="2951" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-28-gensym006" x="2951" y="0"/>
<use xlink:href="#E1-STIXWEBNORMALI-1D456" x="3285" y="0"/> <use xlink:href="#E1-STIXWEBNORMALI-1D456-gensym006" x="3285" y="0"/>
<use xlink:href="#E1-STIXWEBMAIN-29" x="3596" y="0"/> <use xlink:href="#E1-STIXWEBMAIN-29-gensym006" x="3596" y="0"/>
</g> </g>
</g> </g>
</g> </g>
</svg> </svg>
</artwork> </artwork>
<artwork type="ascii-art" align="center"><![CDATA[ C(6) <artwork align="center" type="ascii-art"><![CDATA[ C(6)
─────── ───────
6 6
—— ——
╱ C(i) ╱ C(i)
—— ——
i=0 i=0
]]></artwork> ]]></artwork>
</artset> </artset>
</figure> </figure>
 End of changes. 89 change blocks. 
420 lines changed or deleted 460 lines changed or added

This html diff was produced by rfcdiff 1.48.