From 4fe435fa87f424ff2ce7c6c452d03b4b6bc1bdbf Mon Sep 17 00:00:00 2001
From: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
Date: Sat, 1 Apr 2023 14:44:00 -0400
Subject: [PATCH 1/4] Define action parameters declared as data-plane-writable

---
 p4-16/spec/P4-16-spec.mdk | 76 ++++++++++++++++++++++++++++++++-------
 1 file changed, 64 insertions(+), 12 deletions(-)

diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk
index 35e84e3996..9ff7b6f67f 100644
--- a/p4-16/spec/P4-16-spec.mdk
+++ b/p4-16/spec/P4-16-spec.mdk
@@ -6187,10 +6187,11 @@ starting with actions.
 
 Actions are code fragments that can read and write the data being
 processed. Actions may contain data values that can be written by the
-control plane and read by the data plane. Actions are the main
-construct by which the control plane can dynamically influence the
-behavior of the data plane. Figure [#fig-actions] shows the abstract
-model of an `action`.
+control plane and read by the data plane. Actions may also contain
+data values that are initialized by the control plane, and read and
+written by the data plane. Actions are the main construct by which the
+control plane can dynamically influence the behavior of the data
+plane. Figure [#fig-actions] shows the abstract model of an `action`.
 
 ~ Begin P4Grammar
 [INCLUDE=grammar.mdk:actionDeclaration]
@@ -6199,23 +6200,71 @@ model of an `action`.
 Syntactically actions resemble functions with no return
 value. Actions may be declared within a control block; in this case
 they can only be used within instances of that control block.
+Actions may also be declared at the top level of a P4 program.
 
-The following example shows an action declaration:
+The following examples show action declarations:
 ~ Begin P4Example
 action Forward_a(out bit<9> outputPort, bit<9> port) {
     outputPort = port;
 }
+
+action Forward_with_count(out bit<9> outputPort, bit<9> port, rmw bit<32> count) {
+    outputPort = port;
+    count = count + 1;
+}
 ~ End P4Example
 
-Action parameters may not have `extern` types. Action parameters that
-have no direction (e.g., `port` in the previous example) indicate
-"action data." All such parameters must appear at the end of the
-parameter list. When used in a match-action table (see Section
-[#sec-table-action-list]), these parameters will be provided by the
-table entries (e.g., as specified by the control plane, the
-`default_action` table property, or the `entries` table
+Action parameters may not have `extern` types.
+
+Action parameters that have no direction (e.g., `port` in the previous
+examples) indicate "action data" that is read-only in the data plane.
+When used in a match-action table (see Section
+[#sec-table-action-list]), the values of these parameters will be
+provided by the table entries (e.g., as specified by the control
+plane, the `default_action` table property, or the `entries` table
 property).
 
+Consider action `a1` with parameter `p1` that is declared
+directionless. Then:
+
++ There is an independent value of `p1` for each table entry that has
+  `a1` as its action.
++ `p1` may not be assigned a value in the body of `a1`.
++ If `p1` is passed as an argument to another action `a2`
+  corresponding to parameter `p2` of action `a2`, then `p2` must have
+  direction `in`, or be directionless.
++ Similarly if `p1` is passed as an argument to an extern function or
+  extern method `f1` as parameter `p2`: `p2` must have direction `in`,
+  or be directionless.
+
+Action parameters declared with `rmw` before them (e.g., `count` in
+the action `Forward_with_count`) indicate action data that can be
+modified in the P4 code.  The initial value of these parameters will
+be provided by the table entries (e.g. as specified by the control
+plane, the `default_action` table property, or the `entries` table
+property), but after that its value may be modified by the action when
+the action is invoked.
+
+Consider action `a1` with parameter `p1` that is declared `rmw`.
+Then:
+
++ There is separate storage for holding a value of `p1` for each table
+  entry that has `a1` as its action.
++ `p1` may be assigned a value in the body of `a1`, perhaps multiple
+  times.
++ If `p1` is passed as an argument to another action `a2`
+  corresponding to parameter `p2` of action `a2`, then `p2` may be
+  directionless, or have any direction, but it is an error if `p2` is
+  declared `rmw`.
++ If `p1` is passed as an argument to an extern function or extern
+  method `f1` as parameter `p2`, then `p2` may be directionless, or
+  have any direction.
+
+All parameters that are either directionless or declared `rmw` must
+appear after any parameters with a direction.  Directionless
+parameters and those declared `rmw` can appear in any order relative
+to each other.
+
 The body of an action consists of a sequence of statements and
 declarations.  No `table`, `control`, or `parser` applications can
 appear within actions.
@@ -6235,6 +6284,9 @@ Actions can be executed in two ways:
   parameters. In this case, the directionless parameters behave like `in`
   parameters.
 
+Actions with parameters declared as `rmw` may not be executed
+explicitly, only implicitly.
+
 ## Tables { #sec-tables }
 
 ~ Figure { #fig-maudataflow; caption: "Match-Action Unit Dataflow." }

From 01ae9510bd5022e9b5b72a41779d2fdc783b5808 Mon Sep 17 00:00:00 2001
From: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
Date: Sat, 1 Apr 2023 16:24:54 -0400
Subject: [PATCH 2/4] Update figure describing P4 actions

---
 p4-16/spec/P4-16-spec.mdk             |   2 +-
 p4-16/spec/figs/P4-actions.drawio     |  75 ++++++++++++++++++++++++++
 p4-16/spec/figs/P4-actions.drawio.png | Bin 0 -> 37109 bytes
 3 files changed, 76 insertions(+), 1 deletion(-)
 create mode 100644 p4-16/spec/figs/P4-actions.drawio
 create mode 100644 p4-16/spec/figs/P4-actions.drawio.png

diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk
index 9ff7b6f67f..ccdac5faf0 100644
--- a/p4-16/spec/P4-16-spec.mdk
+++ b/p4-16/spec/P4-16-spec.mdk
@@ -6183,7 +6183,7 @@ starting with actions.
 ~ Figure { #fig-actions; caption: "Actions contain code and data. The code is in the P4 program, while the data is provided in the table entries, typically populated by the control plane. Other parameters are bound by the data plane." }
 ![actions]
 ~
-[actions]: figs/actions.png { width: 8cm; page-align: here }
+[actions]: figs/P4-actions.drawio.png { width: 10cm; page-align: here }
 
 Actions are code fragments that can read and write the data being
 processed. Actions may contain data values that can be written by the
diff --git a/p4-16/spec/figs/P4-actions.drawio b/p4-16/spec/figs/P4-actions.drawio
new file mode 100644
index 0000000000..a41cc7d736
--- /dev/null
+++ b/p4-16/spec/figs/P4-actions.drawio
@@ -0,0 +1,75 @@
+<mxfile host="app.diagrams.net" modified="2023-04-01T20:11:09.833Z" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/111.0.0.0 Safari/537.36" etag="exPne3oivc5jOSmiOkaR" version="21.1.2" type="google">
+  <diagram name="Page-1" id="BCE2OU4Sl7W31KCo3rTn">
+    <mxGraphModel grid="1" page="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
+      <root>
+        <mxCell id="0" />
+        <mxCell id="1" parent="0" />
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-22" value="" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
+          <mxGeometry x="310" y="280" width="380" height="150" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-20" value="&lt;font style=&quot;font-size: 12px;&quot;&gt;in/inout/out parameters&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;strokeColor=none;" vertex="1" parent="1">
+          <mxGeometry x="300" y="230" width="80" height="40" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-9" value="&lt;font style=&quot;font-size: 12px;&quot;&gt;directionless parameters&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;strokeColor=none;" vertex="1" parent="1">
+          <mxGeometry x="450" y="230" width="80" height="40" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-2" value="&lt;font style=&quot;font-size: 18px;&quot;&gt;action code&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
+          <mxGeometry x="320" y="290" width="160" height="130" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-3" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;fillColor=#66B2FF;strokeWidth=2;endWidth=14.285714285714286;endSize=4.714285714285714;width=20;" edge="1" parent="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="490" y="320" as="sourcePoint" />
+            <mxPoint x="450" y="320" as="targetPoint" />
+            <Array as="points" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-4" value="&lt;font style=&quot;font-size: 14px;&quot;&gt;action data (read-only from data plane)&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
+          <mxGeometry x="490" y="290" width="100" height="60" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-5" value="&lt;font style=&quot;font-size: 14px;&quot;&gt;action data (writable from data plane)&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
+          <mxGeometry x="580" y="360" width="100" height="60" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-7" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;fillColor=#66B2FF;strokeWidth=2;endWidth=18.285714285714285;endSize=5.902857142857143;width=20;entryX=0.5;entryY=0;entryDx=0;entryDy=0;exitX=0.306;exitY=1.086;exitDx=0;exitDy=0;exitPerimeter=0;" edge="1" parent="1" source="Qf5rXhnkIaSK_ay8ISDB-8" target="Qf5rXhnkIaSK_ay8ISDB-4">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="540" y="240" as="sourcePoint" />
+            <mxPoint x="460" y="330" as="targetPoint" />
+            <Array as="points" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-8" value="&lt;font style=&quot;font-size: 18px;&quot;&gt;control plane&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;strokeColor=none;" vertex="1" parent="1">
+          <mxGeometry x="480" y="190" width="200" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-14" value="" style="shape=flexArrow;endArrow=classic;startArrow=classic;html=1;rounded=0;fillColor=#66B2FF;strokeWidth=2;endWidth=14.285714285714286;endSize=4.714285714285714;startWidth=14.285714285714286;startSize=4.714285714285714;width=20;exitX=0;exitY=0.5;exitDx=0;exitDy=0;" edge="1" parent="1" source="Qf5rXhnkIaSK_ay8ISDB-5">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="490" y="380" as="sourcePoint" />
+            <mxPoint x="450" y="390" as="targetPoint" />
+            <Array as="points" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-16" value="&lt;font style=&quot;font-size: 12px;&quot;&gt;parameters declared &#39;rmw&#39;&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;strokeColor=none;" vertex="1" parent="1">
+          <mxGeometry x="640" y="220" width="70" height="60" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-17" value="" style="shape=flexArrow;endArrow=classic;html=1;rounded=0;fillColor=#66B2FF;strokeWidth=2;endWidth=18.285714285714285;endSize=5.902857142857143;width=20;entryX=0.5;entryY=0;entryDx=0;entryDy=0;exitX=0.75;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Qf5rXhnkIaSK_ay8ISDB-8" target="Qf5rXhnkIaSK_ay8ISDB-5">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="621" y="226.5" as="sourcePoint" />
+            <mxPoint x="620" y="293.5" as="targetPoint" />
+            <Array as="points" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-18" value="" style="shape=flexArrow;endArrow=classic;startArrow=classic;html=1;rounded=0;fillColor=#66B2FF;strokeWidth=2;endWidth=14.285714285714286;endSize=4.714285714285714;startWidth=14.285714285714286;startSize=4.714285714285714;width=20;" edge="1" parent="1" target="Qf5rXhnkIaSK_ay8ISDB-2">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="400" y="220" as="sourcePoint" />
+            <mxPoint x="460" y="400" as="targetPoint" />
+            <Array as="points" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-19" value="&lt;font style=&quot;font-size: 18px;&quot;&gt;data plane&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;strokeColor=none;" vertex="1" parent="1">
+          <mxGeometry x="340" y="190" width="120" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="Qf5rXhnkIaSK_ay8ISDB-23" value="&lt;font style=&quot;font-size: 18px;&quot;&gt;action&lt;/font&gt;" style="rounded=0;whiteSpace=wrap;html=1;strokeWidth=2;strokeColor=none;" vertex="1" parent="1">
+          <mxGeometry x="240" y="340" width="60" height="30" as="geometry" />
+        </mxCell>
+      </root>
+    </mxGraphModel>
+  </diagram>
+</mxfile>
diff --git a/p4-16/spec/figs/P4-actions.drawio.png b/p4-16/spec/figs/P4-actions.drawio.png
new file mode 100644
index 0000000000000000000000000000000000000000..40f8edaffb0a0483863293bc393e1871bae4b9ce
GIT binary patch
literal 37109
zcmeEt1zc6zy6;+qNJvU3T>{eGB`Vz@Al<d-?xhk^N-3>~sFb(>DXB$+5(dZuloU`p
zr0b1^u+QG-?R)Nd@1A?^dH3Dl*=Na|bIcLn_{R7De=(!AG!)O_UBrVxAm@~ouIfM_
zP!#xk?d%!wyOiD^0{($|=_p=-l=Ra4fIzsoyssI0yZGBV!fYX|f(pO>Vin+XaP#tJ
z6}-wSAYke4&ST?fY42(2;>F`?>kV#!=PqtGj&_c=How{k@CgWV^9gbD@#_iju?oub
z3!r~Qcm##TZvJX-X>aR#(xJLrpd$=s$trMNn1>H^#jb8??da<5=H<XDcm-T5yL#Kg
zz`x)&_|?<}KZfA{{Cwv8!senJ;7@sXcbKh#t(B@Hn9X%zK~Ww-5pbJbRY^}>ja5Ja
z{0(z-wgvwv+FCoip<hvO@N{zlcdqmE^Yieb{|9dBTH0B9I{vN;^vZ0#E$x4;%JU|_
zyS$i^yN!yIjbq>qQ4!Yw@n5U)we|FJbaOpfJU<UV4|o&(vUh;H?XSD`Zf^E4Fd&e`
zHC8@(@C^N*pu&kL!G)_On9#9^wSaWE`G57`cp}m(3fBZQ^@Vg{q6UKestRs`o_el-
z-P>uOF8+$1mhKMfZZ^k)v+@7cttg-1uRd)8e%%lh68m+--t%;rlTpz(bR7dv=ED!>
zie8PqkE4yP*ROX^8hX3A!Mq*a|9I2d&DGV``eb`g8d`dKy7~RFnVlQ#WN{~L+`+p4
z&^!8uuC*nQ+p%1J*UZ4t#vAAdS|P;*M1M^W-CD`k(ca;7WPXv8{c*88ZG5s4F9%B-
zH@{!+AK&`@ru-7)sW3g=+(3W7+q2(4K5gXUuV4#9E9t2mPsRbd^nd>DZ_D)j?Tq|K
zy3@83_B3>Gbyl|2RW-K^5L4E@dW9RkpXe?1wS@VcNcYzbFYka;aeKP?xY`^aX`rZA
z{2Uy;ZFSu(t<lZ>fPR5{4&E*>aK#V)^z!y}bGAL*7NF(e=pGMX>*;NKqJV$0u;W{Q
zTe^Rdv7#+Fv)-NoVBRM^3ZAOwiAD>Eok+^>FZv;Pde7nax*>eh(DFnl?SJbVJ?p<`
z-$0v_ZU5WzM_bXq(vCmhl9L(zVM|0{K>4oNxdCG-!1tHE5%KUrYvu6+Zm;8miZ&_y
z0`5RCK=P;0!C&_1c8<VSTz7PJ^FbTP<6k~^OJKomy@BNdjgChFkA4mG>z#kJKK#-U
z1vi+RC(s#JH&>uY{~RUZJCW?Ek_et$|4vE%Oh<%Hn*Hmj$SK_X{?Pt|G{nZy6PRoO
zVlZ1Tpb`HcsfW<1DfoY0J^sw5{~xM{*uP;wERS^q=!G>P75^lI@lOE|w5>;5{L{@B
z|KDu`zsSkGKLE(75&74#4kzsH5BPyz+FxKp0Pvn;LTU%I^_NF8GGKyjU2RVOylM@z
z^zw4F1~-3)?0=*Iz%ziI+Hh6@K@pKF0@ne@`4jvH{hrbRejy$KF=0`Dq0?WHU*n!o
zOd+1%Jwi7FPfu+#*q>9Bu(kQ$=;2=&(*G@yI2{LQ!Koei{WhQ8^R$IodOQ05k%<1;
z*8goT@Qcg*`bF~sEjQrlfGs+qGeW1@ccP7gr`mZsl9!v0r?u_LTYn!>`S*rAUE#kq
zq_?G~y{-3uU`U``mT1a$x(0XjngPW8pG;p6_;7%2{YC))wv<m=ACs<sujSvz&4f;D
z(SHDVh5kLuYGdgQoM1k7Pg_eHZh*sRnb`p^75sDZ$Q@?sY74yAe+peYS@C}=egA8H
z7dX}b-<?YSQ}*`zV|i+kPj%|Qp1lkI6E(!o)6v_~3LQ=O@2()ir@Z{sI-PF(|9c8@
z5~TQ7L}#(TLTBMWptCTKINvF5qrqA5uhAJqDLexVfltTB^XpA;X@tH!?gm_3MZ?=)
zuF!jVeC6-x{p&SBzGFfFuF>y-fSlOr^<Q2E53m0IO)Xnb$7BEXq_<z^@89PLfDavm
zD0mIL@~58oNmT3?^8Jl=$EfhP0p>4I{~LA*@cmACPto`H#_japKZkP&pSrnd;R1;W
zoL-;W*8c>~ae9hRh7|m3F8x281BB>KwD1oG;~(VBfdDNC*P-K;$CToq#3=sD0zg84
zg(CcaLNf&ZjAs0`UjEn94B#96yK&pU+sX3+=gj+G(Dyr@m%&K{_fLJt;}(Cf_h@^H
zGiW?I!I%@MLW9b0;PiWh`3IuOF*E#s9VPynss9#K|4&4TQye@+iPKYiI^_SL1V9OX
zkm*Ew(*F^d__wkKzfTeH+1P^UkS9n7p(za*R8UYHoF`8gzu#T`cLx%YQ*Lz1l}_U`
zzhiWwe-bP_<vXXE`!9ea|KpCJBcEvJ1ihDkbVo#w-Ix=kKqoiRsPUhU6MwJQ@!tYZ
zL<CNf!M~j(5#T%?Te8zb@{jjBL{5+E>7e3*e?92`U<w*j{>=6Gzs)54e?l_<e!}=m
z#r{TE0Z96fRYJdl2><&pI)m`98deZG^`}nH+UeQ*&pX~ir!adm<Zn|r9rAw;H~Mh@
z1BwX#tt|2H^A!KxxuD=*alt<eD)65w{qMtj|9U|Mfj`R}|ARtJr-cLml$_OnS%m4g
zpy`R}`As=~=NOz?r+>CC9A`uSjVi{|yy{=dMSmZtIDUFsp!(~<$qVTE;9rG}BX6f2
zAP@$K@>O{~f3wAGT$KK&t&XY!dG>2}g&0(xG-+MYyQ`v<o|LY}>SeqAr2AZCr<Mv{
z#C017zUQIQcwL%ImpN>d7!UjGH^v47-270pqh3qWTMf?AnwlF8dkf`T!+Q(MX6trG
z`|EwO*OkR{XtW5~aZ)hf-jWkXq+`Hx_WOIm6?7WzDJRZAqXi#`|4S2Mu^b3BhHi!G
z@zdk`$T_-`4xrO=XF>aOw+e=zfp>qsb>6~<=(u}yhYVPR?8r!@-lEQL!{Q;{pa=go
z95DvYc?$&#Cr0m@(1XDBt+BAowdr@1&F(&N$1QTk!T84RsubPuOi?%2nVwAh(8C>j
zbK1l0srxg7=3&CM3uUoGp6|Frq%+m0<_3!1O{u2x^gO2yxgkzG1)=PAYdrX@m#@{N
zS7IVg+#5$D{?Yr#$F{hO!f&&DhaHVJF4&kGox4ikn}&&pxKLh#pzl6!QR_2rM;Gvo
zWW9^+aoQW7`I$Ie$;H>n9J<frFkro6X8XLmGnsA#lvSTJWxq-t{QPuFZM)#bBLVwt
zpNA96f_+kgMKX65IE!w5Z@J(l2NkjYOul&s4-ruxDzUpDo&(90CaQ?)2a@B)mi#tg
zU@qJed5-MC3KWNiL3C4csoI*1eDxh~Bg`!D2kVY*fe!1Z+-vw=-TWPCPw&gzto9xa
zm`ztszLfre(;%aTP_p~A+t{c{$i~20t#{ugtM%o^BiCNpqu@`)MuO#gOSSJ_hPB6C
zcpiGN``o_o(F~B>ed&ivw|xR;FW6^UIt`Y%Ncb)|>~754kA`fSmXEmBrYCDiD7QBZ
z*=4qk-rC*S9B~r`a;)56$bWiIKxtuPZh#ZJmgPv-q}KOk&5!4qHoT=26;1;JlqT-C
zikm2mVT_nIeTeI?>ega*fY$Yx1ufcYh)<s%;&l*PFbm$Eh<f(*TUT;VI4&81#ao%Z
zzOX~<%^`bwL7zFjPgQQ_JGD*&g)`%Kh(zw-5Q)T6a0_7K5DL`?ZV1o^uiOgw{v@i~
zrRwXYy|(GEJUX*L;MSKkvK&fkmn2#mFHC_Q`zASM8XTmR+i;`U(DM3yI+y2a=~gqn
z*_>mHVOolUM1wm)2ASoS-D&)Ghx<ErM+aM?9khN~HQ#e%t)%*ndfC5_up=p!hQ;Hv
zh)~0~38hx#%7b@2#bG&MToJoF74(9#vv(p!1LwJSGBFEHYkfUC>kfD4XHv~W`S%v9
z9`7Fk4Y@~)Rq#k%2qo<Nxs{MCl!(|<sXI$tH-m^?#-!gxOA7fWE_JqY#8ooj5&x&H
z(V%78%)x`LF*lyZea{`~r~wj18WLxNr`OL325rJ7NTL`Ub@A?F!Uq|nXqZxEc;w(k
zU&A1_%cJ$!;e^sZwV*OQ(k89de5H?T2pU$~sqNN#L@CM6<a7smUHEok^I)<qcG`ab
z08A`HCS+I1yqJIQf-t|VeP1c1BM#JoR>IpounHe(7Iv^P17sP)pIq9PE~vO^mM!7a
z9Yr6?-W#<Va<DOIzUHzP!Z&l{<;^ZS+rzjcpp;26rZe}yUYPtS<^5f2M>KfyBSv5K
zYvlcxmBW|ouJK|^b0R5LnV3ly>ehSLCK}dzB|YzqAuR9w`0z9;V5JF16~a|DJ7^Zv
z!)1s-F4QhJl-|L1+-k<>6;g;KNPNs%*7Qb(y3dIh>G_>OUqPvqMuLXv-9v7{5m<T8
zCCL1)2IS$+lz($m`Nn7COvg{pqrKlgyY&u}oO<FM&Y<;uX}eyTJ($P%q`(KD9HdbO
zByOp78ZJmUlquqodo%7#1f>~q&Nl>(I|@hk;AgT@vVn<5L~$RPrWB(KFf~LU@)$lq
z&(CIgX%JZW6FO3jL$cntGn8VesAmX~Sj1E{1@gKoeNuW4Im9HA8vp4k3wgJ_Vw)4z
zK3M5uoUV9uc+m5}z^n!rnHz0IIQuB5ME;7R)vP#Ayvdn{-8s$=SVnMl(XbJEN@`?^
zDt0Or4_RD`S@HTCe!Tr@JOp+FydYB6cfqhG8Y7>^;^7KSiD9V~E}T|2w2sCQevcKO
z&x|eMDv$&0GJLv)$G8$!tUTMB-Q(3KZ4cB+IuSO>YB=b36W+ErR5-dqcWt_}De^Mu
zj|%Ol*FDq1z|muk94fO_6;IKo&Aq3G7lmmu2g!`Ur^K@`d;=8o+MB5>{@~QAQXlpO
z8kJF&X=F>J+dmEwIm0J9>i@I`NZoqz%(;s!W4C?eRIm{y#SjKn-{2pki#Qg`HM5V>
zq9eB4Yh2#v+=8=TUfFJF*k4nvVP|g3wY-(EUz6f4UU@Hy!s1g8{ki^F-UjwLOEva~
z?`e?EJkOY~$DOrrQdNG1hqzYv9z~=55~>GznR-#wm5cPYs2a}3mt;*D4)}WG(E;ys
z6%8E3&-pc&0DKzpZG4UNBbP5<zt@XLfpaH1^6qM|e;-}Yf@Q<eVNkj(4nb6TMO#3}
z>fzpU?Atg6oDRNc<Kh;)Qa|@+ABSBcI8qsy0ea7;U#Le?vD!f&MuTbCY=USqE}J2R
zoTawD46ktU|J+x50O4vNbQyjf9e=-u`2mx1=xQ4!t_xx;WGmajNQ-&>VC}0>3=YbB
zeU_=EE%Dve8qaB~1NR|p#D}#UUxT+<0D98bdDb+|d<OJ$UCS7zX%U05ROB2CZ=qOE
zbfyr)U?1B^n8}g50U{TWo|yEat|rmuPYLT5%HCO3Ilsc1pUsAFImr>4@diLYJC`?i
zF_TOX-#KT@;ZJB7A2Yzt5{T&(`dJ|HA@qIId8@?)U+KhNEx&e5t{K8^x&p{&YP+e~
zub~hTvx|0FVqZNzSZl0?gzWx!!5<|#ypqkdI++snkd+Q>(3q1SL}&i$%(OHl&dG$s
z3!uAQZ*8Y+^v!c@bPG4~JGh`)G)noYVqX$IYPDFEPuw6#lMhDZx9dQQAKNEGVYv!q
zK{QS-u5<85lokhdpRg@TKTU`SOh&WC9Q3K8;M%-T=_<_%6V10VXmX?%R+B3B?mI#R
zOzu^Ge?o!10BjB`X%TB}DBI)UvL>!1LJLzC)VA0S$p-J`O-w}G1AgNxPchsl!{CqQ
zg3bNESO+ysKQwL~84g4;KTAe6lUpqA6G?n$C{-MB>%NCs%k!L6?Q-qX8)xX!^X~*k
zP!S1dl5M3G#J7jBZ=;FY?aY|CAW?Yp*9h`go{&-XDY`@xr6VG*LY%Xo>`P@5SnP<8
zW}TxJNx3BUdc3&F^6g`PHa6L1Z>S+>*UHjZ=$<;w69ygzxNPGr6Gmf7^8_U6lCRIJ
z$~KkfpSz-^@zdHfrQY~0yRMw=Se>1W<=s4o`0VQpmDbKZ%VWWVUQwD$S}d#cM@Bsy
zqS@_+VwF@?zG2q0%MPKvev_0IHNjrEv-P51+!bIn_hokT^WX1mLOq{#qdA87GTx+e
z5TC_-QwwPjQ=vg8M)AhyZ}v2LfM7grow01WrB(0Y)xMsTfSbi8Mx#~Es1Lcq)At<1
zu>Vf}Yh@!ppuW*AxHy!dX98FaWv6_ghP#Sa-T*$)b_*+-o`at4yz4gVwl)c8L<e-<
zp`Dt~dEDK8N@r1C*7-A6v_XWH>97{v6|;o>hg?QX6Wk@FTxOf$MJu%91QC7$j7HIr
z&l^DJ9tMmnh3k^>=XbZv8_|qWPBDAOyIpXkkmMdKI#+9bw5IN<+;o9IJqD$MaIh~9
z$Ll0z?vtu96eOhSEz~cf7|l(+{fOKmHaOAXl^ORvy6UgSOq=I8NO+a!zlEE|j9i8g
zcvwulxlhSR|K^;dylK=HV=svq{VIR04A{R?m)y`cg^#39&i-_MwzO^1TC(hoZAc@T
za1r9i>+z&|bJ$s!jt^%H_fff0vXb?~vj$MH1sS;@=zIT>ah5H>Z89^2o!?q7oMSOs
z*hOt|Pgr(8x^{(m|IDO-?PA=5ix5YbCvI)s2x}N3{*Eny7?;sxX3GR2kr{gf@7g8I
zEE5bapT%K)9xMmQI4<QCSZ&FA$CulYZ`=1j@*Yyg#l9DQwg4z_ChZa4q+=exYwed6
zkC>I=>N+xp>ko;}<5I9Os7l4MEfGpC5bs^6vddF1(%4upUTke|y16m~fmUmW8Of=)
zjjN5OyEY+88P&&s$}`=`NkYB|dUY7ejAN)PbY3YnO$6rfAXPSh$z$8{WoK0UW=m$`
zJ6_(>y|s8PBoi(6sw+O?=wLZ)ItZ&@`8&Mv&S0kKkRcT>{BEmbqb#2L%E8LlUG8Q}
zmlFSB=2C&@u<i7FQO|yC;US(mRxpbU`orT<E8b#nZ)u5*V;eS4r^KWJo7YxbnfMqu
zAm37zaHvikfvdH8@c8e|DUp^>&a^&Ky-R$LT;=Vpk4UJF#H4f_&Z~_xJm=PV;=T0X
z-0?*vUN=rWnfE~BsU>1JuuuF7t&8A>@kImE+2Rv#=LwpKdsEEgpZFd*LY{KaN}-a#
z@ENt+IHUwLK?|iC{BV+sZwRl6Yq`@faNaQV1_UZ<z^7@m2x5#-HQ2^v>k`A=REEn_
z(CO5YNWIDfeTTQ);v-W^C{`$70j`XX;<pG)_<W)w9R~+BcVb1<WhT6`0HdV3#+3R5
zb}!vgoEuj$5s;DX*W=BTGjXG+RE&k^)YqVucV!-3NyoePl|u?LAYNGH7`)4E*PCzL
zom<c{Z4cao<lu6ZXR(+mj+y+{k;}?njH)=@DKh=BBkh6Z?<2@=CyUU#G?r>&8)6%d
z(Z7-*=E6Zhhw?}_Mtnqjc&Mm?nttB0?~r>a;`9mk;g<F?w=Uc#oic-Dmv=D_k~u<~
zLke@<F)bX6?2q}0SMgn@yWg><Amz>Xc($IO^3>0a^9=Kho_%bB;v-!4Gz14OR^OSJ
zYopKDXgqLsTJfB(?+8j8Fb`#Uj)QIZz{2Z*l><4GG4*UE1ohe74v@_^9J)_(9X}i>
z>#ipdDvOue%!mnwydRpmKlZuv$=!8b333Y#8|M$|>ANLjbvxK7y|^?~QG`*0MI^?;
zk)Sdw>Px5y9-?O2uONsT=hAqLF4_1nIH|hNd;>Kt^OB<Ljn8&kNn+Z#)c5IhwCV^<
z@DU!dX^xEUua0Os(d)r`-Wh;pQdXwkOAVBcDC!>`dp#e8W!x38)>v#}WwtmXuNORL
zxzJsC+lA^3vJg|FYcWTvcX9R!B-1!FHKWSXxqj^}Co6${>aJp%b>RJV?2?DtO7yzB
zzQn@x46*8!3Q^zYrgd7znX>Zf4kvgE*TjP9g2uqP1+T|cwM9+5{$Bc_l!JOLkjj}#
zQzR>HsXTBys!`<a)Ji}xXhoM=SQQ{0k@-j#DdaH5jMyQ2FJu3+UC(XKl7`Bd`BNgg
z*NC-kbGoU)Qh+Pz(wit|q4pvy>Wj{*1|9jgp@SY%?Om<O5fe7=9&Gc`k)F+u@~AY4
zZ(m1`L-=+oETHb_a4!=O|1@0<aaN&rPGn^J@W)U5<0``njgOksJ=sTF(x?=%htz5=
zWY7LwAqwO6Y?}h+zHfi+9k1u5I=};;t7nSL0J0=H;!>5p1N<|!#?XUqW4C%+w1?#N
z)n_mr?T>b6OAh{A92ukuUTL!X)|og1JOqKMj{BlNH-_vVr-Q5EF9EaJc7vvV!hqlN
zqaD1lu%r5L3!l0EE+LoU{+~-<jnhz#VPRhTs~zte`HehCj)3FQlWzaW(Y0>%x<Yg2
zh+E^=1>ihQ4t@YQ5WYB0dEh($x#vsJay^qAa3kbq1nhfhR&mhog{@h%5>#Yg+O*$o
z<<dfjZW@(ADqj{X9ix+!Gd8M}0<ZI7<_CWngQzeeyUfSh-(or-ADQn<F^!jlMQ6tH
zyy-OYXd{0fw6(MrHaWsuJ&v*7E!dX^oINAC`NgU+5x^3w3v^%HtC`7g?l!W|wk<Sx
z<?8z8$0g`jv--gFkgcx<$RsYes?orreZqvgm1cbPfkOSB9Qixl&adh(@o$+2uSWa~
z`Qp)m%kcT7vB7ItU6t2t@7j8aX>EooPfct0BWX!X$<dmD8^-Ct1^tY6_c7k*r#uc?
z5-&g49LX#yd84xXeW?5e1}wDFd$r+#x>_73DeRJ^*pTNLB5P7y6dxVza>h$G<C2->
z9TVEaolMKau`EtHOoVyp&a;%<aEMNxMxOfNxoUn2mVO@7H)&u?OyvmS2WSueQP7fO
z==KB-^es9xz@iT!=b&UbV=?AGb#6!W^(PHUT&*=PmUoxbGty)aw_CD;*Saw3?#mul
zzowS(&aas-slCdyS$KD(%Iz`YD`3)G5NBG>#=~7_UEtoXBQc5Y(x0`qSunY%cf054
zkSBx0UpgYuu%K64L_Us_Q9_>NiNxyF7^$qs2@Z@Ke1tJ0HOp*ZyO!)JvPEaWb}f81
zcH^Eib(rZ+&viPOf7OWPp#7o5q~>FPiRlQJS)JG!M7~cL2pt939qex8wqLt^?Q2{f
zUbPYYV6NzuRRO^D{tlDv*}liTy{Zs;hM3Dks!C7mTJRB4kMn6Ec*xMTE;c5pLN~4>
zg;kwWf6!t@DhABEGQjeFYbHYWt6FpZaN<&Sgckca2)~HzqeD`k)L-=Pqm`<_(&2XW
z@hl&Q9bQPLNn|L!-vCY)Q#K)p1S~v<UzD?FHRMI+CSC~yD0{>?^aU~lT(dR^h`cn$
zZxG2brCX70U~n}sD$;m_=O;a(58MAxY*^YX<ocx=3yE<UJ<Klx*#zMzVG!`UZ&V*x
z@$=SPMhyf1`tpm%p*Nu-$waX&8Qx(c${~d^e7AYc8%zimZuBH}NhV9T#NUgM+UVDv
z_H}TJOf?HE$iKF)lY97a14?h=Z~5+C1QZc`_Q%-`^%T`n%g2Em0|ssBPp?Ga-CCq{
z-6*%~A?@n~fw-?(9_<%qfak8-Q4-#$s3X_*@W*<nc}7vo*m8ADK}d-|0n+mZ)E9Ez
zBIb4AkZo$TG`V}R&a;>rU|xFAE_&$RqNsRF9ps((ZY!DQ-Ey)dmU}w3Z&OHKaKL-8
zEj%)s&2~Sk@<!8=8@ueRP4|5N@D$r-M|RVa<}qnS&|JX_6$lsM&9o;g(v~teSfw35
zvS6dsWX>;~g^*OGdbe_azbCoGm+96}gMx6KeIC@iu>}KlIMhWqE1cG-sGq`y$|hZx
zQb{*vtM1z@dTlV`2#=a<SwnpnP^F&CL{5!rSz;f4e*d6ABUSBa?JV&vK|vsc&g{`B
zCht>?V5z*IcARnnSO)q)>Auj2FEFJRcCtZbqT`c}gC*JNQUPV%@cJ0N7)stgi_D74
zleX_3M*Hz^8l08K5avtbvbT^zg819lnQ$_VyUK|9&o9Zk(o~tOZ>`*%$s7R>+8krn
zFIu>KedE*Yn^kT?Ou=J9RbK9CL?vh!hl08I*4XuAa3Jl<*lOgT=pc;=Fr}(!U2kxW
zo)i6Ifer`$py(nO#t!rPWc3Ll|9)_4r=2?<8y!pgh8zK*7%rYnY-_2cGgaLEk@>>z
zIQAYM+_H1|Pi+*+5L5@HybRe3)l>J@G_uZY8xbGaHb1@E_iavr(5cRHtL4q8?}$qo
zFM^rG31QcBu||2_W8I4|X`2r_PkTWcGR@yX!@NnyV}vS0XiD#|wAe+_`X;pC@_ox`
ze%|)P6U3BM#ai)s>k_;hOEtPSeWZ|=@ciW3;xF@Rqpp-aW}6hg=jm^I#nM6gHP!a@
zlG(Xh8(9pQe7m7RNJi>I9#f~w1|?j>)V(@~EO-^xU#q!DIgn;knes8$@O)Tz<;w5m
zgh!Q4L;IL*^ok8Xz)IUFbcmUZYPbD9-1Cx5UmU0$<jWQ+3de(RP(<J9L1IkEx4*<$
znT|vUjXg>N01d>JbBuDib!~j5b>&_Z^_*Rv@i4R+E|P=Fk;jA@>SfS8hY1lXzx5ls
z6E$+NWPzrPCXMF#&#}4yuNsKORA;5Eh^tmg5s`TQYUEd<REB<S)T<pnsO)BhK1sQ`
zp`u$FhUh`I->6Z)1FfX5(3kf$U(3U)(@5Sz<d_R4qoX^R&C)>#G-U;gkf?}BqjId8
z<<iKYzt2rv5u<9%y^L71U=#);MRe#RuB=<J%#^BGlk9jTSQFcu!S^GroE4tENC|>Z
z2Xpr1LFUOUw1wS?#|N&vmkNhY&4et~%&PEtOCdk{X1Y|8r26D(5q8}nlu$yF7M#Ig
z5D$iauz}zw1nIZZ<W<KrYvX({PoTez0aJFpi7YjHAm%0qJh|azBlF?%_7yS?3SI1*
zq?^Vgl`hu3)FzPmfg(21;3B5YVT<HNqFtNDOT&XobQBiJ5&XnnY3wj4Zi}Xv0u`hd
zcIYiwuyvh{a@XK3Ez*;5s&2BF>(_MadsS%yzr^86RhEq9U#x@7`v^46FT7VEBG<<n
zkAu=?La(Y(&PlV};6;|)tWaTrvY`Co*M{XUUyq=<8YUll77xK%)3r-{CyE7cg195}
zE{@@=9<r_natHp+9$1+~7gM%{+{~zpDbZ8RQk~2$UTBzMa_C6rin}G!)l9J;F365N
zv$MgvtlIeQ%gRv0HRxwH<jn!@`$Kom@>=V;`zO6Lt*yjDCW&JOVSd9lboHgFq*`Kx
zIp%LY3fVM*8sdM$x-rE-OoTu&yZhn5wHNJ19{XhAIqm(3GD%9#UxO+L49Vrk8rAAS
zVlhWjICQN(Qd$x@h`INV3q)oQY(@=1Bq=|-FyV>}9gd4bL_RcZV!+Dy&cLjrn<)@o
zySVls3p4jl^{b{{qiQf-?!~f)J*e{*m=HrkGL{$+ZSA{Yf%~XEo_2%=+E0^~e@>i_
z|IO4yBv#8&q8`MsF3AIHBB9MRi;pPJf_>!By%jGhcb5@ITv0Y;A`2_c^H%c^#!JlM
zI6cU_U90O1-*C0+K@hXGz0V9u1h)sE7J%!KZ{FB|I@q~Wa9afaa3F_egdS3lkGzC$
zjU>!shutcc3~jz}-r`{4dH2Zm)!J`TEkvwjib6=<(RZR=ODv(Ji$sKBsI`M6jABgW
zq?(Zb%6K>q3F)Q6n_sFEF<xTDV#U~Gs@-mT64Bx{S{ERIL8!%IAr&v4<z8~z-3)rw
z#ep#Cz2tHo^QP!R;Eii(E@7kZ=^HcIwfERVJLS7MKglF;)m%*^Idf$r=51K(T@rqB
zZs+gkbaQC$IipaFn`boC;etl)D>r6yBLZ&6Qf&rH4N{B1*l!XeQ9#xQx7_5I;H;a(
zxS#Lge7aWV9%W;Rf4m~WuSSQDVkiABU?FdsQ-ytTcYX<(Z-3EQ!31J9wt96on5%E@
zPZeV@_Oz1~ic)_ZKQMiNVB3NK(;Dh#yK7(LLgtCQMxf=*nia3K30H<_ZGIFT3uZ>n
zZ$M_H{i`|}nFkKtFQ^vsMS>wqCJ68lJe&z3nfbw~t+|tyaea7{*UR{ffFTg0YQPCU
zVn}h9pS}_u-JI#jVYES;D<$Sk!lHF;D&jG)#4?mO8n}~o8CJ%fpOV5h_cVjf-o@13
zNx;mw=SwDl&c)fS9Qn~lEGMZ_B9(k-%Q!6U<d`wRHsaKRSV$WuZ4d24T$*aN;iR-1
z^kKJ3SK%_TxrPAU>&TQ2<|PsB2egyE9yeJV$dl=xlM6)xr)}u*E`=iD)d>Y(nnICS
z2pGew{H*piPvRw9`4$4`1jqeGTu3GtP247g>F~^UE<?P`?)RrmZ8zcA?#cRNP>a<E
zO?nDEw{4c2)D%lFUtec&FV%SdH#%PBY*K_MN`D8Ll+*=Z2&~MVkL5-%$=#97Bp=V_
zGpbgPYzF)whWqp|okP&+g~V{4P3bg!Ee=lPj9u8AF^xEJ1ksR3{xBB?NYVB5FkPLf
zWqCrF#Q4L4QSSbgnd2U5mJkD^g=fYmx}$KUMT|I`Fv@@^S}|c|TjP5l%WU7Ff{G=K
zp(3Jtx?_`_x7dR_?<ow}k&MGJV6GI5cw?;7vk+C9q_chEAboi5LK6gKGhvZZrC=K?
zs5e+*+Ez=aC?ha#1b=3wQ8p*J3dvlO{<d=I%Q+mj(E><j=D~%Ussyd<t4CBbPp@ik
zCp>Mve}!7LWa|Ow-dE{-gDRdmadQL~USba+0^342;!a|BRJF@p#PvFOY3i_;VciT6
zEn@*bX-N-t!klz|i3jrbUHuN{^caJz@=)a|ivv$Ct3?mm4oMyvTeF6!3lT)(V^Zwj
zwq^s(pYY^u%O`Xl3RA8=m*i6!V-3JKEBQ1hB2@<rV-FGLv0Wxjd^{&vFp9~rPA8RI
zKam{T=!lIvPs5ygIeJ%{Nb6fFGF0lrS*c4%dSQ$UGS%u6yFH7zBUggEN^MGwTCEZT
zaPC)tEKb);!Vx);-m=xB+KAq|P1**te22`}yu>cGu4I#tPfHyhT56Dhnc5O(`06Ta
z`@U<A&EnIafVjQL+5Hew!NJy5&=XoRR#NNe+k})etp63xm{n3^Hp^G3QQdr1H`)mW
z6O)9>G4<k!de-&kW5>?Hi5?y$<1O9B=SlF6YITF&%qOj5?dYsb;S!03sej*&uE$`}
z4jXsUSRfa{?YCpOq(njexyH-h!?fd){1D&USk{<DrbQ;F^Lp$lEiF$V4?KgTOKqOD
z3hWr3w@CI<-_rMly95vSJYRLJvMHMu39#$^Zrq*q;V7|ReXIMl7NFPxQk{eWE7<}X
za}mxu8YAFEEEm%s{kp3WDhS8IB_H&PTY}R-oRc?nlLd`n6!bFs-Vj@d7umj~Ip1cz
zX1e)7ZYpv3NnSptKmT_HJ=><0dz>`}4^p`*V<nzIxO8~rhf`$Nbyc{M)qzS~wD2*1
z@a_Hs3vvs=o#8K!KP-RDHjsa<2Uo{LU<r?0d?aY!dtRTj)BwVLnOh(s=f#VQ(b$G=
zUHqiAY_UBUN*<VsFYy`4$ADjN70bj;b=_wd>#8<uP}jqbbznbHJaTk!R>ES}uWvra
zKi08IhY1}d=wcQxaRQRwPy_?x2^bUZ2AM%c&LK(tY*`f#+htUS#Mhc9CGLGazk>Ol
z6v{Q4)@4-=G4!+^K7=Z<d?KWkNP!rt#A^#()EBtQW0h2uY}bvC=(4JHnCcm<3EXfp
zf7ZJ1QV{=gLqX#l;?1k`U}+^~A=ew<!Nk8W2VkRwAgaVdA6X#SX-qH8e1~k&DQAjf
zuOx4$IU-BQEZ?`Dl<S@f7}f+z@q%OFS!)1eja3o1c|)Dv4Jg|Cn6N1|t$rQ^rNH5q
zMUTdTjq=`aK2x-(0u}ixgFCeqfrSWW11W~0tIFZmwsS2cT8b&pa3G&UQ6ON@-d}!R
z=CPPZZuQ+N=fPgJM^Z+Qo+CH%wV$@erm9bHi(hX~1V;kmU5BNb!86%h9FvyUuhib9
z5;1|is*eY$_L={TJEC3B+F+M^EY-Rzy9t8n<|2IvMQ?N94U|U-gj6Ops4@wP)w*9k
z7fY-~d{1noh2ePZy=r>p;U5=(E6RG4*Yr(4pu0wMju_$lPeP=2qI*<Cvh?_kQHC7O
zia%cHEl%$Fa<e|{YUj)&5>MW-T_=DXFEUd)<wtqMPt(cT+gSJksy)!iAI;QIjVzgt
zxC_jL**2j}-;yw(+if{b3hYeAWU@~KHK+g!g&>sfsvL@GDbbfTrrVAUV-znHg#{Ft
zwGJ(Frqbd4sBIm@PDX(O0hN>t=F2Utb%`rVF<8XCcOe)^jFLPjsZEr18xeL7{UvEn
z>Tr2H1V^>XK1cd>cLANXj$1$q2R&SSpWnO^nSO!+fbQ+Hs4M$CQ>r~Rk)lcEkWW-H
z0zH|cl$#clm^ocWd{(VzDIeMnT!)HqZvJTL64Sa%Ushswh>pBdk5U3~f1E!iTu1Uk
z>k0?Q_d^gdP@zRdo}<nHB_T?;prlLT>UaoCuj-Ud^Skt(9HxazYG~X4PV4TNEfd@a
z*Nvs{4xZFE#|~(UfM2*eQ(Gu-DfstX)3OZU=aOrmRWD!JPf%U;oDP`-z-DwCOjQuu
zusaBc);qywkohv&In@by0YXWU3%)gA^Gw`p&Nn<Imi?wvt@cDC9cxdI#e;FdYX5^?
zG|!i}b?S_vsps`qA7-eg$TDdAGsEAu#hYNIys%!<TVgcj!VU2R0;?JK<Oo(|4DEd8
zo_-};KtKO%lsmT3887cwl<GYS5?BHyKQQ}5VxJRg4pC0%;Ly0s6`zX`6obb;_*vV%
z`1Ue#=Hb}08JAtg)Qo2u;@Z5O4-2%qgd84AILc)|w9j-Y`b-cWKo(TN_l~mLeF@*a
zBA_Xo{xTwR*L23W39x{7%R1{K2MMY@Ixn*GDQ%$dDZWNM3%Nvj4pwhCs(;g|ea<gE
zHhW`P^0@8oFly1@7@9oh1xFC?K2#p;-`TofIi@z8>#L^NRx+n5dX#@KieENx@innN
zAE`^j_xg@kLhEcWu4dPFVl&QMHNmeiU_3Q1u?M~0EiwgUZftv}Yfu4Tt-om@NgK7c
z9>m*uqaXzC2=e4+a=yDcUIZVV9Wf1Nia>z8{?&1ST*yr!Ng7lE*vQa4jMuCepRkO6
zO?sX?vr+r<=12O*1DhGCb^7wa)u?A{NP?KEnmM*H2InT9+8FYloLiW&!%sLqWB|E2
zy>JV@50HAtRL@P}oZ8~ex~uDqiI5VqAbO5*l@jgtsg1MTm+dG&*sMXz79JSvWjj>o
zJ(#J_1v4R1hKf|}^Sr6@FvKX+n}OOGoA9e05@tdMer!Ev9#^S|1A$<U>d2m-ki9<E
z&bey~V-dRWbM9o4-p?TONEVl*3`{JKDgU1z6zS8;$S<c?hP;TtD}&GFjVhw!`8Jzl
zVPT0TWDjurePTs$JfUS~?gO!D!yu}EjU64;zqTtQ_YiWhI@R%x0Jn{Sh1p>(^2Rua
zS|tPaU`|a|?O`*P5sy`VM3_;{RbH#3#=Of-Gp=q$=R~ky6*T93dyJXyBrf#Cj*>uV
zW8|3z*ZAx?uj@x0-4{Y)rEb3@A9$@Z;bqYlL!LBl2_hZ0hSs143+qY<5ox*_M^#A@
zC?sOy>rtO<Q^Ys&cM=6ynKrCY!`ch6wx#R*_j5?`{S`RZ_=!U7m&6iYwq#M7c!|z6
z2kKHmj0t9^K{?IDdHdxz!*~csNF|j>{Jh=Svaih%_&u>x?dcoypVMKWgL>I_4>|2M
z7Tz~4l=sQV6YB59oW)77NVG|G5X3f8JG(3s`b?>$a2n-p*^**`e^6|*zt4D2hFu5l
z13@udpzCiYzal#{Jc!7)RQSY~b;WSeqW!y1+B$yO>gJABA7>VB$H1A)H0K-E0Cl@c
z-j1gus2(+G;q4}}sy@8?vj0_-N8Jm)%C8y1ca$;A-xF|S-|54$sUI&)uS;?x1qmLM
z5)C6BqKO+5=MsaYbvps>lz8qQB89c<VK<Gv9f5>mvpXUhQZmOu^Cj^770pn&N}(4r
zKWiW2A@C5PTWai!<Q8}AIW46swdBh9==9gI`?jtue!#XNH#vA&f>Df7+(=8N<BW}R
zr<&(JPrPioAkC%ULrHjq|8h`|!Fdb6fT*;}33X$4Kp(CTS8r7He18QhB6TSU9~)8@
zuUR`pJazLXXI6N}kIC=ibT%A5FM8e5U%mt#!|Wv4#$N!p)Xu@g&y2`=ujpe|xU`8Y
zW$3b5!oWe&PT*zaWu#q05JvDvatq-p-5E8u(Nz%g=cjoj#-ANHSCHhR$RS9WhsVYl
z88R22Z2K5t9@DhLooWe3FD^Zs2P!*_V}UP?l(6{h=oc_9_hwtVN9|$MH4lH=H$Gn9
zn+?d&88UO~OU3P>&>Qk1#Sh+xe)2%FV#fQ)zL?hxdrVDOU2OcGSsN_vT%e|HzxgFd
zrmDW?_2iFHG50XvXySV*n+|e+AL0NrJyZWeV6JZi)7>TY1H(_oX}ODp)l0I2zHe8)
zxHFi~KY;+tkx5&EW5BXqe5dmsW(iJ(bM3<Qr<%2%Cy(dfC@Q$j?n0|8@qG}(0R_|W
z`9m)k1E&k=Q_-`|(&qsg^Qs#txAt$4Nm1fc#!2-1HA28+EshIv4WAXDBDL$I%bWe4
zKFVS<=zi8~`G(EJ$D5&p2eZSy)7kQ`cXsDr^#H6=dwH|s_IDmz`l1^z1<XS>9yorf
z_V~W+86uDF=LYn%&;7{ZUi4}x=PWALb>1C!!NYaEH(ju!Zg;L|CX(7U!2liR1%XCk
zyN`Lwmh}Rkmpc=gdstIVtUz7n?Ca$idi!A<0a(JT4J{zT9`|==_R{8Y#)o-O9~|A<
zx}l!Jx&fULCR>l4B~$(EKF*YO&<RqS`9IkK1vlST+hQp*8;=f07C_BVy7%n-1z8BS
ztcE%7+6S>;@|?HMj2!Ggp5&-f#jMpNqzmV{=3|~PlTM$bno8BJUIVj$HUe4+J*T}~
zPwCZGvL0+o6XKwSCsA|)pt`g%uTg5}TXN5{R5K@Z5z?pnAV25;I%g%d^~Fo4(tUBb
zBGN-1owx`XzlD>>eK6|LK|7P6K$tjI0jey$m%a?4>-^SUT#vsvgRYC@zWG{7><c)$
zX&{mFnIWFe`@Q^g-^JmNRSztZd!UXIp;>u0HX6KjE4Pgh7PlM+3Ll7rO57fhB2K@j
z&k;u7AGl2$jy`r{(qt+@gG9&*Q}#Rk8nH2$m2Zi!%{)DefP6!jEZvhm^zXvl2idnw
z9Qxq*!5}gA91wyTV8?|iO}!J*rF8IN<Sk6wkV|T53~;5<AB+l-X&^PzV-mdD#!tSA
zu4c>e0m0Tx;2N8&^r@!{v;~7*W14WS`s#}=T_oX?-5$TAKGqQO%v`UVf^XqE<Tc2E
zxdFB^mIiV-8trF!K~rNWO3y3j70CNlw2GO7BGvSH+f>s_@S}cR&9301t;VBt-~rp!
z9j*DevZIf5o#UP0_s6^T4fXof<P?O#;#qD!2D;GCd8vNOOwg&HT^Gb!*Fhp7{p|xz
zbei&RYc-gAbU3I@H8f(#>j7yod@YSkk(c2yDCaxV;xlnJ_y<559|wWUVSk2ziUBeL
z3SRGg!;PnxHFIjj$VJ!nME6+maxB-a-;=@=b{W=_BLQ`GQU2uosb}(>Se(A!A(A1+
z-K*akja5daFSG||Qy&|Wg+b(Fj{}Iw2)2yeBEmsT?uQJLyyEhCeYh<QJ`GCL94NSN
z+Sv6yazR%lFV(GUKsAvR(G(T#Qf-*2*eDX_>uHzu3-4Z}P-Ic<pbIMAC)2{V2-=uq
zCFK$FTQd2Sug$!U24Il6d(~Q0Qay>62oD44wQ^9c^maKxrH0Co+@nmKVf9j3Q^U?o
zrrlhB!3-FeSn(w&`n|{tw=W}EKM`)3Ic8Y<v2eE`6)m~rkep$JrNW)B2$h!yJ#)OW
zF<eNd1KPmvPo9ISy)%%j*|8GUe#@gXDY_aY8>=9Ta_t#lohau3LTa|l7OLFFl|sfY
z75W4gdmHm?PQ%`ipwCA3xZBXkhloaj>zqxOG8LHMv_cLE-6UOEvkAqZ%2x&3un$9a
zI8<=wv5y63E0JKam&uex^1>N|$l6NIR`nOwgsGTt&LmD!uJPgR*T&sN2O4o;T0Xg(
z(*jxz!2#OSuJs$AnVK-J<i|rFA0F)CPeE*Ga@^@A#a~gDKCpn^fTa(bc*WO%tl6}<
zULTwjjwi;{^ag`V!zwsgDIHzY^waO7GF#UkS~o$27lKL6N6ApM39?F6*f9Ou2U{ar
zaP?3Pv_3}0G7Sgm5Hgg;Q;TYV^VayoZeWtA2QZ-P6c(lBGHad8o{XsA^&ad_tq!X@
z(_`Tj{PcM`a=7~ZxOCg=KR;<w=c)F;-M<$$B4(KNNUI5$l6R9i;r(}8l}A7dbQ=S;
zvpyR;Or_61)og~}Y0UP*+v_epn^|W*qEr%iT6$Tfh?dFyevnU(^Yd%qnJHw_sI#$r
z8HGm4_NZ`~G;y3>@mU(^3jt$;^X@No_8{f3!=Fl+T#w5AiLJvT-gy78szh1gr{loy
ztZR1MqwN8Qk+qR6?#vI0KJz+1BC&DE>X~-Ovyci9S|1X?{gE#2Wf%9v%-FRKD|Ycg
z1L8=;;k`xjH7Y58cU(!nB*8*w7L>OaWW0Xrn`w8lhl0{j_ZBFvOk5SLRAVp3l>Q2W
z7vvV778A4fN72fbnk+xBigz3H^QQ+*kEGm7;GE}u;1%5<nx&}@O2O3tg%iCOG$f!4
zF4A;Kj(9=w{E%f7tx7S@W!uAX0&-23Y`F~r2dHQMqjGdUQ+rqSvq7PF>wWN*!jTX@
zB~MC28s+7M<%T_1G9o)!v`3Fd)Oq{Ik)J;wtNXBA#nkOdIHifPH@)55>wQt{WNZ{4
zTX_5$C~+oSCm*iD#5u7*60p9N%<51`$zn5oX#?XN%}V5ykaQT_@qL40G$SYSdI<I%
zYV(HPb7+1w?(0DzU4w31MinD-6N^U9G}?>kQH#&LIj5UH{RQmHGX!@j1VMd9N;n|5
zaf=-0DX+ZH7%D<)4nIaa(&Ufwpb}`*J<D{Co>4=+2IL}5JVzEycO*p7a{TJ+(D~9t
z7Bc9|NMulZpARR&#HE;X{O0p3&$8};eqJp21{(dEj^T@Q7k!zJaRD_oaQL(f>L%9v
zLzAmZyt?^;9z?bMDM&cW6xF>671KoFlRI_ZJuj4)xeXvJ;R<FbuBK&kY&C&P<H2Sq
z{nl3*^Vvu=)-3m2Y{x92hdbBuwdaRi&%_id(n`l8SFdfLwl-at?}AY9Nvt3-Sq+wP
z*|HLnpXk3bGmR+;S|`NWuu77HlvT3Bof})HlQt6#4TR3^OTym%+8yf6QQx^S^zO|5
z)N#=hLd%)v>-;rz-A_QKu>hRa5rYH5@q@yAle@U-I*G*uv?itg2YE|I<D%%Vxxr9D
zBL!jT^=5xkt<ctXhj5(LXFg9qpK%}e5{6;saw_<Y;ZeYIf+CP+odGFHL6CzMcpS2s
z9xxRz%Hr7YvPdQA2*jC`D=(??V52xn2orJA3PlQ7P~aPe8*3Ln@kVoX=6Zw1Doaz*
zWNa$ZH)39m`3#!cfvmDlTy~N#3miep^}tUld3&XWC=*@0F{*Bb>okyL^!8!t)NGzZ
z9XRi-f@IG&IzzhmCU+8CP3nrA2TOD?DSIFhBgzd;J8(Uh4z(Fh_LDWq^ya9K{y-D7
z*w#F6;wN56>iL_ErhcCmZpUBiSXYjQP(Z$df@+nNV1+kW1f3)J`AJp@DxxesY*oAr
zS3~shUSLxFz(XWgQOP~WQ(vFyImbbu-O`@=yu8k+$~AikkPoZrALy?gN*Z>Z3h?*9
zS03-^GYzOVB*(=9)@-0Uc-6*m+hCNob_nJ};x-J}HQE{b=#M_|rT0%1So;Kao+$5p
zpKj4NFr60Sfshl=ddkt+-o1@&V)uQ-nE$tR^yQ*zP0@Orn3h7wq(|tl+BYrnS$Lq8
z6uJO{HLXi3DorX6L;{5|5ya!Fg;xY*pgMWjSW*lu*PUMK=wH%b^(>qk?+#~ibII-3
zk)BDjPQu`-uuR0L_c1Hz#zgX;X(vDiat<*((UGNG0a?SuGN|V6ZA8)MA_GlN(vDBS
zC*x$@6oH`_t`SV`j7#tshkvE8tr~#CECYG)MZbC{*PSRiEI%s8c^0kYl7m}LwawFz
z0h?lppRYR_g+^|?yb#^Rf`J0K(X!G(!B_=}y+|2NctssAA&@r7t~<?A29*83ZhHrP
zYwA06t-mUz><+p<p}a?A<SbGI)Ov>(26QGcVzerCn&?3!IzQ)N>m}wu4I%FeZ%TT9
zXPBEnSNVgKQ0?We11LF*2VUE!QEZF)U<j3IdxTS(K#+OZK}CV~)5!eSAXm!yiut}r
zt?%O1Yb6ls=)T-mhGvP5iVTgU3SZl5=i2Ws9JJc+X&_Yjtycm>JPEAB;xSk;P>-a8
zRB**v6jYU5QOq1a&S)3L*Z8}X?9;5Y+(<8kNXkXx4HqT{5aN;ya6>ejHUW6@Zo2k=
zNU3?6O9*j|exKe#B>RPdmIqWzK|UL!GH<>zcCDGd1aWSn$z-3p)>iMkc(Zi+4Wu}g
zC_n!o?j6R$YsXJ{xd|As^9{HAt<TQW7yy<Zf4Ib(LjrJ8>)B<s6c+@XruVuM;`5~o
zL<lh|ZOs8rZL4*bMdk`KU2<NWoXg;AtXxPfw_s}bnIKR{7LDfvz9%Y;k%X{lXzG2R
z_*w#a_wdOKmvw~u`{u~ZyQBqo>ml=gCg3xOpG}8HT4<NZu7tqPC3R|Ietxa<)|C~e
zcKLizO~E=TGX<rPQ)mkS95<Hi1E}@jK*mgwn$`V?N!3-#W}16dznS5W_4M*10b3Ov
zYOW+_Pz%&H6LUbRbxl1!n|!ax$I~;>!YEWS^st8t)P+1CLGIFmIv+aO1_E>1&*CMd
z#VUvkuF4@?<T$x>II*I<ZOtIeNu~?MMC9vuXqAO0Cs)<cVh<*6Cun>k=j|vxTg$8=
zOH8Q2;sbGj{<s?cl1$S?m8BWE=L>kW7lxr+`sDI^@aa_>=EVv=OOgB}G7>3<tI-*+
zQO;zmO?}l|NR7ubrZfl!7((m;Nf1GVPtJ?I%L82;{87y}iO^`}J(hPUqd<sK)3D{#
z69DCzu_l+;>Rh2WA%f%+js$5*qwZT@{l@Yf3n!;hrY{XVdoo-#%;Tc%{ppbzj-&)x
zPkg`n7?g67QD$;u3j>1*Gho`D1u=qI$G3E*7nX*3I$8z?uZ3fNE>FWcdLesgo99Vl
ztQ_n9P<rc&AQKI~9hDd>2}StN_@6g{i)kT2n4b!G^yQ{PEb8|Zy(QGg(B=E|!wdX$
zOfhMa(JMTYz9BEBX>4>^_t>Bqq?ZXb+phX^plQ+ESkf7Or{BPI?Dp@$)PDk_%>Tm;
z=l56o+iF<24N_HIYwI~r0BwZuT+M^y*54+awn%0n6HKk0qz%dQR7TjS?=JUFn0?~*
z#beYxwqCDjR@ys7j#)scbtJRuyBST<<Uslhb5z>tf%Uf)LehO7rC^>QHuI{{8#E<g
z;^&~fIx0SXZY=uMYh4Ej_)_h1*Uzh-`@y7bA6ISKwPR`CT9PoziG>fn&xDO8pAdu0
z5NcHUG2kN4Jf|g>!l`2jT0_>9uF&EmXvSN$-Xx$s|JgN-5p=<1(hF2(pV-hk$l{Q^
z8s*C>xcd@aVUVXQ1*(qr)tU@Ofc4P#yqNsj3IO~11}u1r?{kZ-9NKx|*<<-Bay-&|
zoMK*fc0&IazZI_bmg+R<Ch)eC*ZfAg)a1DhOCS$dbuJS1Ir9*7ks4HYpGxxGAwhlo
zu_S*&=kf9GVY0Nc4Zb=zW>m4QP}+1||8|>p?9aP!{0K<GMde*LR+LTKAe(vy3wCD#
zeGtkrO4%w@WhgN@jZ2+nl`Wnzn)jZRr!Mu+x`6d>_4|+FRQ#<+-U_7*$Kn|Fx1A>(
zuV*RD(Ol>S$5-9>b+&qVp87M!!Yw{Cr?*KD@Nz96M#Xg%rh-HMC)*%6^y-%E)N#Zl
z7(Q&-1c0;wvr|N7!*1QFk&GD^0m1)q$bMCWe-n87=KZMicn}L+a`Ra&wrQpZKJ2QB
z_pCl%(7E#<qafesao`+BL9RkOJN&(BEAdF7(0Pp)5`;U6%F<$>td0~ilBZ18Wg6#=
zoB#APYZX6I?Frob+6cPj5xV#Eo`lLrHqQ$TZtJ<%V)MRBV9`THZQ3wRMC?vzTk64u
zz+bxm9rH8gc@~^H)+NZ$K&)&W3qXa^DwMdesf!CruWc|<W=g*mLYKsr#AFkj!dCY5
zCj8pXGYO1%#k&4*87)a;YOZlV;0~P4F_z@WxD8T1%JoJd&lOWC>NaZfQE~XnA_$t)
z=E3rEiN++ZMoZ18OLVAloKTPFK_c&GkCpxwp@t;qWwbt|8J^c~Jr9N00G~4|ZIOid
zDZE;rWXe)i+bgersN9}fuQsJkVN%`Z&NB(3j}w&U!HiBr$ByU9(6vek{&%DIS6_Ys
zrB4BmXgbW;*aUPLxu0G(t9E}P#;War#79KORNkkPzB$t_IsDp@Y{VK}!7ePH5s~l+
z>Q6aaVnZ!_GCLMR&13t(a_QNfyIeS0RX6vn&qE&$7sBZ+9B`w{fTM~bR1ouu4Fe^A
z=ZvyGt=`Khx<Cgt6*X)`o=od=ydF?%EacR$^mc-=;wJnh_z0x<90w^!SQNK!(aXxq
zP(-xK=s6G%(i{Cry&SLBsMJkNiNDY>YPAt6dV_fOjEEHvYiQ?EDL&i&)NE;r3n-&c
z-+zR$9-0q6K|RxO{nl;6`&ZZBJ4q<t7<@2MvY3mA_9pl+1J`c>?A67VfzVq8DW9(b
z&Z7_TJlh5V0=YBWRamw}+JVBskAt9qliMN_&m!>#w;W_iX<+s8B-%Hu5(vXAA@*@I
zg;3x=APrS|HHxPI=g<*&w#y)eG$=M?glBVL`?&Ij>5V(!?`u(kZ~H=puu#3u1BKJO
zO5Yc6-@Lzl3mq<vYzWxEUZR0?CfGftz`?ih;KOiA32oWC@PcvvTT03HE+`6hNw}>|
zi&^Z?Xi%Vo{`6TTX>E!zj+SDU?NuN}uMs(ah2;+%MRr&z_?$8xrBZL!%F>8z@t<ss
zK10pltBcZ1Oq$?GrE1SEc92YkI#n|DOnw&%-gaM=yN*{0QEfCi19LIh8aSx3O~Ba&
z-*02v*!N`ER=zUpODQrGUQ8I?SZ8y2KId-rD*n+}ri)#->=7^3x?AUA*w>5)Gab(!
zcfP?a0fmyP!~8R4@(J@3v{h(Fm}jfB;oU7vI7BB2zlM&WWKpO7lLW<(h*AuSJJI43
zxw&GzDvuq_UC32<DfsAnE$l49YBXQEYcP(*u?vIiQS0X9Ej&u%V&ke3#^AG#XK^^{
z?gFmm488?sx{vu5PE-hky<mw^!bWssk6No%_7@rO9)EqzyWvtb78<k;vcYd77<KWi
zr0bU3MebdPnz<NPJQsh{=db(B&bNzCAUkubW<Yf&-M~$@X}`=f8dZwxR%lY=No<NU
ztoVN366Xc*SgF5XAL#W2;nX`#6{c@KOvz#8K+~c>l0LuOa8HpZYyqkoqmY&Gy+|!x
z;7kYeLdJRJtt4#2i*#q9r?micZzjX9c51zuT<m}I?Bz?$T9DetJ(8dEVQfxJAb{HN
zGK|L!lv*n)li<F$Q;~lewRHesAyXVgI;TCg8$N2xq>WCg4b->1gFSFv;*`yFeExIM
zBJ}8oq=!Hd2mrE1ip89759C9CK7wLj@}o^=#xWr}Gw6HoRga?}FLI{VU1HP3smIK#
zN7!hUp?G6FsTmtW{=Z7Q?r^H#zkiN{lPx3U*du#o7TJ66%`r+O9Gjw(5!riW&yYQ%
z<d8kHM?#21Ng0LexewpI&+oaO>w5lq`Zt&Rb3X3-e!t(Zb$*+CXrWH1YF^eij}=Rf
zNFT}KSvlU^?NECu(tPMDVtZ2rUv@04i4j|sf)5LtV`<NS>&2{GVkaQf_Eak};e;8z
zihOSBDY(`e)15;S-p<JWo!Q8_VWdU0Z=cS|*S&sRo|k6-;K7wF?iN3xKc~Oa*(p0?
z$bAUU;qjtZM?UwtC07E4o;Mrb+I$3SH6x>NL(V?3us+Hz5BkVmpzF4G-C=m!&nM{!
zImG$sIXPG588*!y_N&HWD#*g<9y5S9a@ExqskqP<`?PMK5UH&WCT)0TqCR1nH)@}W
z0x515`x+P3*^&n<JSpySeVJ$g=ZD_8e$&%UGGXWdE4-%@LZY>HYBd?fed60Czp4ix
z53+4kb-pXM?J7Jz+GYB2y=zD4d~Fi1<x5)2+p{$i5B~gW;kJEszcVKDVH<Xj6S{oE
zlb*AxffuNV?|MysKhDCxVns)Lv=PsQT)J2IbYHdImQaN1a(EM?6rP#YX}OzxLfruu
z+fwYX&=Qraz8M0GxkYznpT-p=%na==uD(rP&vBKUUr!(LCC-%IZTs``vq(Vv4N7Ua
z8c!D!h534j+TQJDpOws(tVcP4PQMmf#}33AR1Xt_=N!O1WjGVGQ3RXa?cbgAB&_}T
zf!jn&ND8`2F6;r}E1xJ-!nWcxC9SP-C15!poq>haOX!g_-Q)YUh<*-?$Txt(YErn#
zLHOjdxS^F0KF8>5jti!*@`$z(W7jboS#<+TyMrFHzWO;%6(}&&C}c+rWoW`MZC~Zz
zuIIv9laQZ>@ktR}z6KYJg?Su0!Zc{7g~Ec;yGX*d>~hw0AexIbQVM4=3EaV2x8i`i
zqzzZMyc9$7c<}OEy;^J!CedW<`mXfArh2`{H~;2;!V;1)vhJ6H&e*n6Fn3c$N#7}Q
zF>mQO?lfk7)#wd#+2tJBF+Jx{Z@c|FLn1fZKAue+TaqFH)wHv`(@XWzp7Roo9Q0)G
zVP#?J%YMKt8y&=BqpTIT2yT3tQfn3o{`9yqBZ!@V{^Eno9rGa076hh&mdv5-OC3$-
zYk`370Ej!utGWBfgXGTfPlcA13JlGb^)1jG=FKCm1VRe#?FVV6GIm|K>XjrHwT9*K
zpqS<q3XaEWR9Jhl<_8kb_#{yT^ZLdm_fQ5P0pFT(c0f=EO)hOPl~g+bl4spd+?2ax
zlcDU%=jUHK{sepd{E+U{v~l)9rjhrhtzx!Q-Q4SbSD!puxfk-4<=a#eX?&x9g0|II
z2X{m--uRcA%VI8Sg@FqRYPrkG4-1?B6k;eDLh0fCA7WNupM4x@CJRr58s;}F*@J%M
zbx34vg^mj6>E6>=kOsud#-i7l&pq>Q%kTq+5<IhF;OoQb0~4q_fspbsLc}prQXsK`
zax0~h7tk5C>(nLR@Fh5YLuwxz#o3@a(m4&dfB8rA!iK9XTP_h$J8{*QeMLkt5xlP3
zPNJdahI7M^_@@ml*v&q4i!V5rzxlv(-f{<;9`rhwos#^dH%*x>;QA;2q!vqb$%F>L
zh#UnCxw6p#+23|<tcUdfj=@pB`$zfVm23EZq<T3YfuAP@?jm;GTrQ0&dQWLk5pyu)
zmzQoEi;yyCjO<ac3sQB4re&vrp)x?rAiUr(U*7)a!`q5IgqH{j1}TiMdXT~Q%aDnr
z$h)$|%0<PA>1D9T?02@Mf$4sdx=BnaqX(OdAr})UNbiZA>0NtQH|Omw1=HKZafg0u
zwz#YD>0We$O!wk-SxQInnpD!l%q)jr0L=c;zP}AC4Zn{%4ImwW3R6&4lTzbt+2;;D
z&hnf`gV1ldMbqzbEZR}@Q1d7}Ggfoil{W9uA<uE8qA=&`46e#uE`CgxlB;3y;_6BP
zU#fArIWWkxX8Z)Eo{J|=A{y{o+$*-gdrlC$u^*jtY2^bm9#V>G?ID%=@yTw-*tNwj
zZ0F<IN*C?iZgrTp{pu$`mr7je!keHLf?{rqb66Is-o3JoZbgNDjpG#OO)WAGBh0f*
z)$=ReJ@@0uFE2;~oPv8H2aAR>zxb@vG%UCr#J$pXzmvEX&8lbKkpHJe>F9CotD+Q0
zbOkYaj~kwTBP~20jF^*p8FM&%ojsBqEbSIPimWE3Ff)2$?GX&1v+9&+-o5aXm@}z*
zM}w}iX>WV~X5YXWf6m?tyw(qG?r+eL-bIYM!WWJj8evZOArIsQFu`4srY<9kB9U08
zn(0i~4cI#I8iQv4k?gpr=exKq2Q|kWoQyeXa&fr4_wSooj2Fq4cm%dEu9@35mH5U+
z*XQ7;IpP&09>^}nJJ3tl`NU0Jt3&ZgqEJW>p@0)bC9hJFfZYXZb$~kC<)r8Z`<uLB
zga_l+HXelnFYr>+jrj*#ha*^gV$^-_Bqf@l+1w?SwR1Hb>i`?zh#$&LpPS6!&?9rQ
z)aQsSVyz5iiL7&G0!C{M*y<$umdDAvBQe?FUv(EmF6io`c8Efsf&Ix1O?w@V^J=fz
zIHZU!0nZFgMolly%dU}CLco3W<;Cu$E5*Rd#)V&N6Tw}RoQ!wj7}{O;Q~}{aWv5b@
zpCA&ROpTOycdO^QjljKVJ$iu<@Qm3~UP?rvid4<UFLbZy=DIF4-=%Npw8wd`_t4{I
zLwFAqxzxD}wHL_!Sz1f_=>FI<z2&h$s%v!}Qkq!17`M1?H$0d>T&H|B_Vsa`0S=!5
zFPt!pJ?aVi^#x;Sm;^`lf?6407dG|bIH1dQ2@F?tZv#tg?Frq1&9Cmk`-fWn+V?X^
z;S9U^OfMyXG?rI53i3sfOol4@odNot_Y0csz}6l9*`QFzsIY}nZF)s1!JYDSYu`+v
zN%~R;!HBR@mOa)Fs}6Eyq&&_>-TL|9Ik|?b$or79MdW=p!wx#>!o1*!R3%gLT>GZ!
zNiMIJNZY0wL(Ad<qo)W(odWwC4V*#~{r&6v*UD|^1UD(ZJxpV`{~9#SlCsX&KR%Ga
ziDsu({9zc5>*`nm?d;G^_tr1;Qv;G-przyJm9vLFINrLVE@$U;vBt7xbbo8|sS*wq
z<4ThM=cd^w*oYL0O?@-CB0HxkI`nI`DwMRNJE7;&i?z7$8zciq2y=A!i*7<suZVfc
zi{`AH)VfOyzCf{lb;q!58Dbyuz3R#A3ym^nJsGoU%R=g65`#ObJjU#lMitF=JCNDX
zp(blu2dx>Wy6W`pC5;yM1eN(0nrVE(B$q`ae_mo=-30bYcF~w1tB&BH`4;^`t}h*2
zdsk*1#t-_%`V2e9d}OTN{>-tqAeeEF=$Tl;UIkI%g4g12qvVeAs#O~$$*abn2QyWF
zJ{{G8iWBr%0nBK0x9j%34`?E|_n%e|Zoj+UGM;^R(j{7}Be1-G;9D#Ucl_?^!VLw)
zg>7Wy8!93ft~SPT3xU}KKppt`p0$ieG0pMh@UCmLtfD<3m!rT^X+!4^lXK3O7ky^y
zehB`Y7qsj0A5k<NFuOx^;sM`8m=iCF8w`wUNt7%+>urqKN7KYg9CmZZ4==9Dfp;BN
zYNn?+a1@xJ74C7>AVwjqxXQdi#RV0iy{?+yTS?-hdGP87>XDfE`2%JDeIT+-7`sUw
z+_B9x+()SRp1bhx-20yZYaL`_ICK=KXOqZ&Bdkz9nno~<$6-C5EbA2FdMf$)a@KYr
z&}LlM!KzO>?y0<u=!a4?BtT;qdIi8GwDRo>@aU*(4Z0-Zh#L~R$k+sYpjMRk_JkFA
zatMk$G$@%|uis8&4)<=x`tu5;xd!|p#v%!c`w_pC#HD-jWB^#b@et0K(7Zo%bCeUu
zW%*V6)?#Zz3fl*=0AjVu34l?A?J&n>7xStWVMT?-%q8wvCKop0eJVMCH=3<BuEt|s
zf13C_Qf%On)$Hr0oaMTI|48hlFG1Ncs0xE=L&e!SpMIQ~$;R@k98Nx*RNe9<a!GGC
zK}AT9@ms(B0N8CgC>f`R8H4uq2R`dqJILK#!8{Z(;)#Vu8p*O1(Tmw|hu9f+7dPQG
zCQOu5^eD&0+$uIx?rIWihI$Q(E_mllyI=iio(ow3R^FEN51dt84#gI!+7eG(NcVlV
zt6I`%H#G&@*}XXKa-((A<Tf+|j6BDjG^)4XgMBB7rPqFap}Wh31DDj|vXC1GQYLcR
zoj0HdsbI&3n&8+3b4P|A157m4#lA=-R^-EAYO;(xzOaEGtFXZ|F+r-r7Wu?2(DmbS
zwPpkuciYhOjp<+PD{Uz8$CG6<<|@ApodXgWI(FSi?<SC%L{45Z7nKfi@(kzzR-13c
zQ;p7sP-QHg8fkjb%UP~MrSOq!Vmzn@f}D0I)<g?0u*aao0jrQXc;VC-gh4Rlu>)yk
zKTvj}>2~IF@XVgDjidTcsxqji<Vnm7q{Cl+E-ufJaL=7u#FvIzvRh1b?NO0gT|y2p
z=q{MMcT(j7L%2f;ksLL;Bq6*>aqJuw;WA;JIuRg5Lh9EcEym^lQ&(W1;|Wv+Nxf96
z{NI-EK^IYUnxbCTWV61(efe0T)o<+f30g`{jAzGen!ZI?bMs{-gkI=@^@|3`o!R#w
z2`s4s8O#+KdU=bCTCB$aA~)4q778rV{HgtVOjz{CsG=GY-JZ5tiz>uvo&xbg+*Wqb
zX4{V7x=#k>ki*J`QHrlHVt%^^H)Bjfw8bNoAes!QjY!8)FSQvU<0-+Z%o{OPyK5~=
zHR~HL>c?>BizM1%p!+dp$@7B(8kyUi2R96$;(j}Vdz|OF1iLo^!+*Yi_R~PbYp&LA
zl#OszTJDq5=V(fO!0eG!SViS9|F^<m==nbigH|OTdo;D>hS;nXn^+qQR$Sn#i@8WJ
zLyf$v?NO{{iHgv0e#wN^7K`vl_pH&y$^$gZ!Nq-N1zn|4J8D@|d$}!`3rucz4zDd(
zc>sq?w*H_|nd3Ft)6Ac!tt&uji@cxY=MPOI8uNO0D8BvR*SKC8y&S55c@(x&887`U
z@+aUKM*wLp;HxxMH;4QwkuU4ED7nXqpQ1;dyz)>sg+jSascLxlM+<PUY!OiN9VDRi
z6kL>6i}@|6WFea2+{2g4qUdN2E##K2NtI+No=Wa1sD#J93)q?{S&a#gV%)sqBJuAL
zF;dPBbHL64n|^kUK`1ZCJ!-gwxBZ{_TYWNF88^Q_1x^^$d^^OlN}j0UQ#9Eyk*V9T
zM%YM#qAUX*ig86M8V-D`WdL(A5V)9t=W(HCYp$*+036Nrqq&_#x4qMzdo)f`E?jG(
zxM&Nsb+c<`*gi-;yDCmn!!N;zls*2)wncOzc#~nx`Rht2#|}nqw5%FHIwMf@QCza0
zux>92%gw8{8oDCEy=eqzRpUR7OB#at(s-|E^Q-p(hR?RtCyH=f(_%)x?fIiiUew&u
z7BX~`l@C;Lk$xW*`$tDbo^i@w#Ppeowu{@)Z?k5tPp+0vS%1g(HMB5FeAeUsentPY
zeUeUoAbumH)pgr-EnoG)z_Er{#19l`YV&Tr?+Txw`K}QD3)~lXS37r{GOe+<W1ion
z$=`}%?g1gd-NJPV{0*7R4~jQ)zl3b~Xv0K;hRq=pk^Dj5CXn9`+300_CwuxI`RKug
zsto4C&kDkj(%*vM)DN9PcJl`R`E^v<Ng$&=`TYy;cruRbqZpDOb>M@Yn6tSFF~zk{
zo<$y*$3(cZ5^m>{`bU+NUOy{Q>8QUYY77lS^RQf$jMy1}nd}_!xq)uKFn&E5HhJs^
zrZXn)$JAfv-eJj1Ivq2(&y7v%{$1a*V;^v)ufQIAVoCJ6#)a3T2T!sN{oK5D^m(L7
zwRU`pK_W+6cmC=dN?kjKsqnt?+c9(J1v&L^K@Rd<!A??NAK&$>xTzC>d^KNhg_kFD
z`+J$kO3lHYkvZPOtFnTB6cmgu`0N>g^^G=cZ?Acrt-o3G&$V-p3Go~V4o3j<?$kV2
zQ7IL$Vr5t!Xw9U1XOhbkInol1>nL&BYLher!1&lYyJM-cfsn8*j7h_QV>K34!Kwk+
zUA}H#JO$wl8WpdVSR`Y@r*a;g?y0IsWd<<TAQc`*_GuUEj5)pv&O@E8zWnd%s-$3a
zl}XBGxb{W1Cga^@#<d^C;?dXOX(L%KoCnU_ug?MuT}ajg^<Y+TM*n<>ciWphqnFH;
zB|vsyF!IQe1V~t3LM#hKqxOC+0&8@V6v5^TC8b3{<~zxMPRuFoJ=FKqtau5o{_wle
zfBptT|Gq&6Njc905c{Ap#8&O!we#+iRm9Uqbr#ghcW2#9XV_>G3k-<;J!Hz%i!oOr
z4gma;l{Nzs0Ha!{V<J*r|3aC5n*c*NLG5tt%Yh}MsI6Yg-rci3yDW?ajL+IG5_lP|
z=OA~^@R)3ku=eQl5z$YJssSd&h#ww147X+?ZAv{;c{X}zY!W<C#m4LLBU99}K3TAg
zCr{@#$GsD(-=rn7^$Dr-mz63W%gJRRx=xAJfBvJzpqLh#k5jV<;m_FIA}Uma{JAm?
z<EGvV<m`@gyc`q#vKzwJ<iK68Q_7Qc-GjThkaU0#q|+HKG#~QXX#mZ4a*V;A(zRX?
zfN51P^nOt_*J0}85{mLuSk#m3LA8GNN#<nA&;1=*!EU0kn25j@wNonRE93acNXL=q
zyKUP71D>fdRu3mZ2XnXbZylpT$i15>H@u?mWm+@RQyS0`k!q_v`p}QDb?W}<1hN6B
zj5HP$G`dP~%+M&Xdmg7ggxwyXduiW8Sk4-HEp<N(&8n`h$A(RA<e4=BY8Xs-b_bfl
zpuzYeTPu*nRB*@&QLsDU@IjvfDqz|QOw$In40`xTcWej<KgDlDAqEfJ#*ckOwR2JB
zy^8h^vR^=SkLw_xt?dV=65CK8-xMSnW`2?>_S=ukLhUro+SE}53^P2ybD2!q8oqVi
z!Idf<9@ZKr7n7<<7}RG9k6L!A#%zI($He4sA3;HyFhk-|QhhTvbRo;(IL6c_m4Z}j
z>uu-#gWvv!4Y#z_88Qfw`pfoy93#jQjZ~#1#kTcLql8YD3lNUSvUvSuvZo&Ez44Aj
z7zMN_&wGFRN>gR6KUB)_eDz^6eK`gQek~tHWC_4R-R!o5Q+4U>kmxB**;B-u&@$Zc
zWUBe9)h&?lLVf)!5F8gH<xihi5rh+!GthsB`3JyXu23L}s^8-5G=GcdS0Ll^Qr9DB
z#@rB{rH{Sy0w?PgsRWD^Qti+iBYb^lelC0JPY2z8ems>3+~(tacjfUiB2$3}jVJok
zfhc*BQN00#Za%u)SY{0+Wj8AxB&6o)t{8+Ep}8nnQwWhiWtgK=9#>>EV<~?rATzOt
z4DHsww*daDPq)9}!fwqB5F7}|1rBhecQ1@)2rK3ujK2OYauE~QH*%VQ#tv*yWdBTO
zi4p^a2qfAiBPkFo*s#LUV`#bi)?^{Mfi_q87Tz4ri6?fiSwGaajmUz+L3#<=S@~Ne
z6G1bGTBV>F39j=7Vgz~!(N~xiq=hX`QehCo^0{yc?>5wICu`=q3^fMlzFIH&r&S;V
zAiDh)XL|;J8+5AMZ)6PwC>rt1q*J&fXxzQ<5OsCEhOFp=IC^6t<Di$joW*cwhH{_I
z5ImgPsi<&1jQyGlNe#qug(;5Lqpg|O!}sG?2B~~;GgTF8{i_|~X2oOlZqMb}WsN$?
zbz}iiFA{rMOav=ZIhDs7{)6)FLXm!h)k+HJE5z+*qj{CubU+}94S2~_l9%MCVw4S<
z#LW3It7zQ0dmN(!$ycJUA(#(|YE5K7EbAw;X{PK<kHA6=@*t4(Ij%|}OKrO1eb=<R
za-zHkCD$IQIhNMn9ZjpsiXNqBiqe?jjKVCbdEzg;@dY8ArK<6<#_1DKz9bgNV;)*n
zZlkg?<1F#JE*_;g7;LhszD!XmJ`(Ensn_5&H9;F_Aw8jA7m!eCqXxAFe~~pONbRb6
zjA4o`TG<nCzpmAO8P7;xv52Sdw@Xg8Q3(Hp`vA41^;>H0EN=^S$$V68PluRDY-rEh
zbez?>?RFkh2=Pi6>cW^Unsnv+C22TvZ?#8<5D;T_*V(I?8#jxSb-=AQ!1&Q?Fok;}
zZFy~7DG$QIvk6$f%)8C=DofA;4bFXdEgT8Gp~0shDHWg?|J6f<T1$4Xd-1D!{%=0i
ztG%^S8F4e|Fn-}1FGJ|=fs9If^e03Ye)Ms6#;W6b;EfkRy#H)ETJpaq=##EZ^es=G
zQ!y>^P}i$cP#Xw8gj#f5Fo}to)UE@!mV1e`AdQ3c60!-G7FH2PP{NvBn&9o+0#H^b
z8SmaGRncG2%6ay8YNE8W-{--FNWl9~0a${=MQQ5DZc(dEG6OZoQwDpL0k%piQuz7B
zssFc7EM0*&K8e$Pr2IS}VcJ_Q1+5g>Zpe)weU9@KOfW@8e{UXq#GAlcIwAg$_}emb
z7X&n-SX$41q5-Q9I-7Cu5zNyFn}RT{^RDFX*X9=DM<ww;Rxpjft%o-!RiA*7N?qEy
zkir%87B?Q1Ys(<c+k(tze{XSODY+QFBtGQZm9X5>t$?G{kIwU_Tel2$*{<$bGZ96>
z&cn%EwQeDuXCmo`BOG?AR1x+j>b`lAUDwJ&pIAC?_nnp74|#vfZNmzLg)B@$PJ4_A
zdAV_!cKHHuO?J*fm}22`x;B?xmx3J~MDXmj9<yny*de9>uAaoF!9F~8Mc*kcB|4MJ
z@93(VLa4{@`uCE-xv}osXJ|v5^1r>IC#Ltuxb`-Eu0+$5Tq7K$I-aVABn{y<(j&mH
zuBjk}9+hT;{^c@*d-cO1rDH`(w5BOSCgy-v%CmSKqLcDnBA5hFWo+hoT^`x2DNlj3
zpbq!cu1eOKrF>Dbp4jpN^Q7N-gS__dJPAR3#s8c)_n>(mHO47S0Q95~e5W_c(wOSw
zRoM5gRQeK?2~vs|PvW{H%YH#Bwc~GJWiFww$y?qeMAA_<A@}Mxy5xx6OV6Q`xHESM
z7CM2V&?#Qnz^<D-Mj|;(zlTqs?^D)w0w+v2GVh%~)E5g&j`_TOTlwceb-+f+2SG!)
zn$OuGIB*K3N!no(OVV4`s7-lNG{e&a)uT6bPkq@gX`_GS1CE=)VO+>I$Zu$vddi_l
zL9jpIH>~`ywU=@}+m*qrp6~rt<g;l#6G29x=J2{A!&XjrSAYM*P`YNo^@$q>a|{X-
zoYrhTB(#D(Gv(n#iA<Tq`dgpcOD!p}&2jpdpuLWNcOn|G^5(tJs+{b8A)FcsTd!KK
zehE4GQe>LJ^y-N_HYiyA%14cP#wiF9H$=T&SN`BkN-{%*2SGx0r=HI3mA4G;mZKHj
zZ0nf|=n8NdXe20(9KJtgm<}M7S|^9fEF{G~cGa=Lsl8irc|z2HJ0c~jtVcio9yIN^
zu{^5P^6G`P4NnD~o8RczGCk`Wdq}v(R5g?ZV2$RDw-c%CBUWG-P20?*bIgeJ?}z{&
zhLZ9Yr+$ikn^EFrV?rQ~{N3j31f8jdMaasnMAXZa4ZyS#y<G|^NO2R(mS?O>Zt)!G
zs>WWv2^<wpuJ8A-riy*K8denwJlaGm7R%?0mqc`NYt@DzA|P%9ss2fqsVt|8<kDA7
z<KcHWm41v6kvPr$d5~eFPW?EASbqoY{g{dk9YHRYnki9Eb(P~B8$<jZJjgO&j^8^o
zVdZ!R)F=$G@6IR=-^gAHUW}`hRG$DYB4N&e+Ddnt=J6@iJnL&-vswwd;!Jg7@Zd~!
zqFETMvBHA2JQ&D9w!UKR4oy4Y*)<{08GtbzDzj}BX3+{{Am8o-1CpksR0+?98<?sw
zSYo9n{|)5R`|%>xXzNrzpi<=QB^AYk2u<*X?Gw|!ko4nNE62W1uXpg~f6+t56^O(E
zj8syNo#J1NNDgwsI`PDI@G$?zc4Y(ZDFmo1Q;aas+X+YlN><XNIfr=aERK?$A3^6P
zh*L&m-Z69Tab9x}r`v?QTX5LwwW*=KfX#+8YBmYMDpCgRzwAwW_yYz66ZI=2n&?+y
z^C88rh2wfFzFMYxM3WIsjPuo&^(d^V?D$>7!VPv(@-z?N&;%KM-OJwZ2v{!9LLj(?
z*zX9iKx@-%KdH!bC39i7J(e2;gaN|`W5^_kJQIN2>!ow*??8nWs<l<IWvPWImqfGc
z+?}s;=+m$rCaKlNt5th8LqO=ES`lY@F*%XXSojDe&V*@{Fcq7+i?Lv+xaWHxJN&V!
zvk&hq=QZ>^M}z(y3(2K~fa*j4q6@+`QcGt-EI&lz%huDp+`XX&nKGz=(Npwg-)XEd
zG@~+^($}QRlxrrAl494P<4xKF5UV|j&rLfmjESNFvxRZ@t!T$6xNwDgcHYZR=A5p^
z-BUM9m=FcEJq9zRO?9&akJo9yS-HyD`<aBMo`Me&-KfoAT5Rt6Zs*?1roFH@4twVX
zBLP@B_LOt|?^E87z_9d)>0`0pe#02YBejQfzv>H^XI=vZ35uE9zC|enZy&<EQ=^wI
zVBOtIkPm%Qh7uNAk;7%iiD`WQha9PFso*eEX-@f!4m4z1RQ>{rWggH@kRKj3W%bO2
zUtRQ}gH46~7yoNdam+SC!lL-+4Qg!KwSal*LkCEXNw6C8SM###PdP_ZQU9W;{{eZ+
zSHVe@AeYhVEc^alDq7HkC~Drp8Z|+)CKuy6RH68WF2E)~_!Uc90cq8Kco5xnS>F+B
zzjsYaEhZtrJLF!%r0_^@zLYiH{!4joUtK({Ib=RA{ZP`uXJ<~|K#7y5Vx^7y>;bm#
z-M#+zCQ*%q*)b4bd}1$8Qj#zWGVaiRHy#ffN}{Z>0uPecXC;y$=5LAo50KrUe_PmV
zLrb0Kp+zRK-cQz5n}PP2&H9n!lr6LW<8%H$q5Z<`i&Y=aH=`3)QF8`OUO+JeT1>%^
zudLu>pwgYz^W}jt6aPYOaAwWtRG7R6bJk*u{7c)DAL+2AP>Y`wB&5&pGZEHG+3=b^
zdh092nEOgcN-qSK$(e2{jz0vIAq)B7q}N_@a>HuuUdNg~fjER<MsTvJ-IJM^G{HrO
zy92S3ZxY1`HwZfWEe*iAyXO3H`=3ZzW)eVF>>7uR7=%pcJo_hiHhcsmj38=k&4|bL
zME8CE$)^Q*tBr>s*`skrQMKsoC%XVGvDsb`X{?Nx$(;^P#ePGEoV*7Jt?e74y7byh
znj|RapYPZxi;}ds2mZriyP!z_ECAOIyo>KP#@(bmtF@PmPmKRb#l7u;;aE#vPUHb;
r6J{O6(}#c4aWfEV>3ajamA}be!=>$8Ic7gVz&~|m9i?goWXOL34j|xG

literal 0
HcmV?d00001


From a494a8a83ef35da70add744f96ea85d24bff27c4 Mon Sep 17 00:00:00 2001
From: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
Date: Sat, 1 Apr 2023 21:14:54 -0400
Subject: [PATCH 3/4] Rename P4-actions.drawio.png to P4-actions.png, and
 remove embedded drawio file I think that the embedded drawio format file
 inside the .png file may cause problems for Madoko or TeX when processing it.

---
 p4-16/spec/P4-16-spec.mdk                     |   2 +-
 .../{P4-actions.drawio.png => P4-actions.png} | Bin 37109 -> 25789 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename p4-16/spec/figs/{P4-actions.drawio.png => P4-actions.png} (69%)

diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk
index ccdac5faf0..7fce8808de 100644
--- a/p4-16/spec/P4-16-spec.mdk
+++ b/p4-16/spec/P4-16-spec.mdk
@@ -6183,7 +6183,7 @@ starting with actions.
 ~ Figure { #fig-actions; caption: "Actions contain code and data. The code is in the P4 program, while the data is provided in the table entries, typically populated by the control plane. Other parameters are bound by the data plane." }
 ![actions]
 ~
-[actions]: figs/P4-actions.drawio.png { width: 10cm; page-align: here }
+[actions]: figs/P4-actions.png { width: 10cm; page-align: here }
 
 Actions are code fragments that can read and write the data being
 processed. Actions may contain data values that can be written by the
diff --git a/p4-16/spec/figs/P4-actions.drawio.png b/p4-16/spec/figs/P4-actions.png
similarity index 69%
rename from p4-16/spec/figs/P4-actions.drawio.png
rename to p4-16/spec/figs/P4-actions.png
index 40f8edaffb0a0483863293bc393e1871bae4b9ce..2ada130b544ea5343ed60dd578b2cd58deefb590 100644
GIT binary patch
delta 13
UcmeymkZJEp#t8<SGjw`W04~f17ytkO

delta 11420
zcmc&)OLE&r5KVG{oPt$OmBqq`KP@H7vK_@`r|86vH!heMk%&Nm0U=BBW{!|tAxFpo
za)9ItS?37Z=k?4qIDkPCq)59=L%?9ZJ+Hf8_u$XJzWnd^uYPmn!-x5!*ZJ)BGK$3)
zEq|!*TAnja7kSG+Yk6KUpSQy(m}J3h(N08;BD|laVRRXZP}lJs&p&cHM~?f_b6Wn1
z>(Qmx_Pc{Ox_&SbiRtiJ`XP$rpyi!+W!pht51s|%D9O{swB?`T`Dv1i7=KZW>+=yV
zukqh?-n!kl{cmu4GM~rdm3Vg%VLInszu)$ID1LD9<mI#PTHX-%adai{=dl=HrPO3N
z&C(f4&Ry4SJM<5Qaui$!S!DG=YZG}e(d)|Ixbu_2lX>{<&tdf8$9^xlJJ#!YFS13H
zCT96=+ijyIHO}wmLYGd`bP{7k$l_7UIl(*n`9mX2JR~x}l$4ZTKtM;X?jkZ$Jsm#s
zp8wDp#r;>ldofJ?>}68zjys**KF)&q^jR7z(S^6V+rH!LKEpd*;CBYPV3J`Nsm3<L
zQpqU#U?${ZwzQtfbrgz)Zfq*%X&UFzyj(a=lSGWo7MqGemZdl4YL{tjR!4Ot2AE^z
zrS7R<G!7s-dv;X%DhhL8gitx~`g(p;{zOERDG%-T%ofc8u56aFm<C~bquZ+@Us@ZZ
zCCT#4(i9!8c+Hh&w?h#VQhCSBK)_S8w$g5Fgf<VdLRGfy&+hK~%Wn31np`~%Mi*~`
zyTQ}Z+368&Deda}AijotC5cj(Eb=>+c$Qu#p;B$Y_4H;M<zh4s#<U+d02#`r`7Fkh
zi`zw>rB}ty0PE0THG;@;VNh7JGF7xv{^h*@wgq%I&+agD)1}Y&G`RK#MpidVjQCtO
zweit46$1cMt$$K<PV;WEcc^2wertr3cSZ8Hm^qnk(Yw-%fxy$t6n4{dmfO?&<(i<W
zUK}lyzLITmy*We!;q!akO{iW3n{gf`={1>3b%n~on2TIwa)DZE7`)RX=|=m;ght6Q
zjnfRcNzw#h!dzuzq^#A%r9RdG#WAvFp!nvQfFjwNm@*qE9aBa)p$$0%OyqLr6-!da
ziGd0G9<984K#5d<Q7{Rk4CWgyEfx!)Vu_JMLPWAfC%dr%BZq{D)LYwOn^1?5LqbG?
zsqD#=uq83pw;4oattA<(uq1)P2e2^)%h-$IkbCte+uI1q-h}j!fW`ngwv2=UfZMAv
z5-wYl-K>NpKDciP7{*ufCA7As3-Q2&6ibztvA8`UmInP3Noa1*#&NJ%L}L_Mp1w>A
z5HZAT&s(0~>z#V%U_CW_0R6I>yPdW-==R-?xynIL4{Ug6r@efq>ftRrbZilG3lV-q
z8JC<%GmB<ekT$d6fq(?I2ev=pvP{H59=$KK)4J_n&kdC2C;m%63cOyVh=K56AlYFE
z8c6z7leUqETBO(6SeRDy0yx^hI`v@ss)m%6F?o%v#>|6kBJz8T34jH};>;qXH>VlE
z#cZ<xqcVlBUoYr&3I_eF%A|=O?&$fJG;B+@)=@SV`(LGNg^>+|95J%<AQM4&1h-6L
zyF?6&Kjzgu4ibUbc6SCR4@2vlDIauCR%v||^&V@1rJOD^I$Jy0IJ0&%V{5E`0Kqz#
z?1qx=W|T;dxflh+!EI8nVbTC4H(8Vi?<n1{4M?#5if1Sr`9sEj1QJXBwjLJuWTXl;
zFHB>X<2p7|y!l&$M1H=|Pw_Q*dSucVC0kP26ZY2och>Ub=-u|#gR-|CbW6^<+dg(|
zZ|+x}HPRT_-D^;6r>$G!@h5sz-QeL&@vr40?WcOWjdI=2cN9UuGc`owP7?+^pOK&B
z%4c@V7b1&PbZaVTjMs7o$vH`rq0l}R?a-z+0yD`o?FZM?QyyZyUm}nz{#Syy1z~o^
zwwdFyJ&_O-e`<ZJAt7B3f=RxRiO0`uX75QtWX+fz)@C!NU!~Z4Bq1jL`)nkn&i;`|
znvf6!#ggIJl7tN8ibxO1T%`3Vo2WR(eJI9Sh9S$D!%v<8kOkYWxD>aBcX)NYqYBPu
zyaR$&zk|eoZXG?XcPa90qfc2t-SR`lg+>0S8W=W+3)RG4nQU)udsSm?WGVG|0(Jx8
zFFPG`PY%a8u9fa)jcaM-S)`SkS9Ec+%fM92r06~#L$V#WVcTR5D?LV)z!y1q9;xIp
zRQ`8|xOGF=%F4@QuJjm^Pvwk0mWh5*=npG#>%PKPSsV)%V-+|14@g{`k&+!)x(t&4
zmOf+EF+*{tK*{4!AcK_Q2#HpMQGNdyT9wUitS1^-(g6kb|1%stC_%_3hg6ND*=jJ`
zW46TXiKIc}7Ah+}uW!n1md6Z;@oQ@*^|2|>(-=D7KMmQ2dyqH<=MUw8bGNMG&T)!7
zgE%SkxhYU7f(@!!iZ*nd(pLcvhbhK`)Q2dx&rs)&t4>Feu~jL)HDN~6aAcKlspP*%
z82fWBb?B}5mQwsd$hLko6O(CVme%u(tO|wdA+l5|#e<dH3+dWgZK+@XN28(>>WW7_
z_N$|=bTAwI3-kYjIhYOpMeg_T$*qe?NOCnt4~lrobw>{eWuBTi;`^6c=7=Q78s4}M
z=BbG%;lKHz20kuQ`S&#j0m3eSZe(keeXsR=nSU)@(x*H804@~%YZSf1p%$wgO`U+W
zo0?lzMazJP1pg?qiq*VBF$W%VS0%>~^sCcx`8f|iFe}^skxZK89o#*9g}^7wlJnjm
zgZe83edux6tiv+t0RGD-mVB03e49dW!&iQrKVsUMANn1VKaFExUYB)n8TvLsykFLV
zun4z^?UwZUTE!=8v=-N<u<+`Roj1i6vU1$PxTwN{55;yr>8ejdf&bPVSbw@Sl&pN!
zR^(R=AbgG>Ec494!9MU%=syEu9UfGj72idg_SQG3HmcNH{_Iu1&<(y;A0BH2{`2?0
K(?8n3hW`UgIKBY@


From cafacf8621a5bc3db69b7d3fe9c9ccbe8ccd3311 Mon Sep 17 00:00:00 2001
From: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
Date: Sun, 2 Apr 2023 02:37:33 -0400
Subject: [PATCH 4/4] Add README to p4-16/spec/figs directory with notes on
 figures

---
 p4-16/spec/figs/README.md | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 p4-16/spec/figs/README.md

diff --git a/p4-16/spec/figs/README.md b/p4-16/spec/figs/README.md
new file mode 100644
index 0000000000..dab35c8959
--- /dev/null
+++ b/p4-16/spec/figs/README.md
@@ -0,0 +1,28 @@
+# Notes on drawing files
+
+The web site:
+
++ https://draw.io
+
+which may redirect to:
+
++ https://app.diagrams.net
+
+has a free web application for editing figures, similar in style to
+Visio, Omnigraffle, and the drawing capabilities of Powerpoint.
+
+If you use it to create a drawing, it is good to save the source file
+of the drawing.  I believe the default format used is called an
+"mxfile", which looks a lot like an XML file with a particular schema.
+
+To include an image in a Madoko document, PNG format is a reasonable
+choice.  To create a PNG file of a drawing, select the menu item
+
++ File -> Export As -> PNG...
+
+Another window appears when you choose that item.  It includes several
+options, one of which is "Include a copy of my diagram" with a check
+box before it.  I have found that at least on an Ubuntu 20.04 Linux
+system with Madoko and TeX software installed using the
+`setup-for-ubuntu-linux.sh` script, if you create a PNG file with that
+box checked, running TeX will fail with an error message.