From 2671e4624ffe039175a4586549382be67f5985ba Mon Sep 17 00:00:00 2001
From: John Guibas <jtguibas@gmail.com>
Date: Mon, 8 Apr 2024 23:42:53 -0700
Subject: [PATCH] for loop optimizations

---
 examples/fibonacci-io/script/src/main.rs      |   2 +-
 examples/fibonacci/program/Cargo.lock         |  14 +----
 .../program/elf/riscv32im-succinct-zkvm-elf   | Bin 86124 -> 102152 bytes
 recursion/compiler/src/asm/compiler.rs        |  34 +++++++++---
 recursion/compiler/src/asm/instruction.rs     |  49 ++++++++++++++++++
 recursion/compiler/src/ir/builder.rs          |   7 +--
 recursion/compiler/src/ir/collections.rs      |  23 ++++++++
 recursion/compiler/tests/for_loops.rs         |  28 ++++++++++
 recursion/core/src/runtime/mod.rs             |   9 ++++
 recursion/core/src/runtime/opcode.rs          |   1 +
 recursion/program/src/fri/mod.rs              |  16 +++---
 recursion/program/src/fri/two_adic_pcs.rs     |  14 ++---
 12 files changed, 161 insertions(+), 36 deletions(-)

diff --git a/examples/fibonacci-io/script/src/main.rs b/examples/fibonacci-io/script/src/main.rs
index ef4b9803a5..72d377ebe8 100644
--- a/examples/fibonacci-io/script/src/main.rs
+++ b/examples/fibonacci-io/script/src/main.rs
@@ -35,7 +35,7 @@ fn main() {
     println!("b: {}", b);
 
     // Verify proof and public values
-    SP1Verifier::verify(ELF, &proof).expect("verification failed");
+    SP1Verifier::verify(ELF, &proof).expect("verification failed"s);
 
     let mut pv_hasher = Sha256::new();
     pv_hasher.update(n.to_le_bytes());
diff --git a/examples/fibonacci/program/Cargo.lock b/examples/fibonacci/program/Cargo.lock
index 5be5074d04..395fc3fde0 100644
--- a/examples/fibonacci/program/Cargo.lock
+++ b/examples/fibonacci/program/Cargo.lock
@@ -347,7 +347,7 @@ dependencies = [
  "ecdsa",
  "elliptic-curve",
  "once_cell",
- "sha2 0.10.8 (registry+https://github.com/rust-lang/crates.io-index)",
+ "sha2",
  "signature",
 ]
 
@@ -535,16 +535,6 @@ dependencies = [
  "digest",
 ]
 
-[[package]]
-name = "sha2"
-version = "0.10.8"
-source = "git+https://github.com/sp1-patches/RustCrypto-hashes.git?branch=patch-v0.10.8#3d692aa90b91513886d757d01f8fc2d51c0ec0d7"
-dependencies = [
- "cfg-if",
- "cpufeatures",
- "digest",
-]
-
 [[package]]
 name = "signature"
 version = "2.2.0"
@@ -588,7 +578,7 @@ dependencies = [
  "once_cell",
  "rand",
  "serde",
- "sha2 0.10.8 (git+https://github.com/sp1-patches/RustCrypto-hashes.git?branch=patch-v0.10.8)",
+ "sha2",
  "sp1-precompiles",
 ]
 
diff --git a/examples/fibonacci/program/elf/riscv32im-succinct-zkvm-elf b/examples/fibonacci/program/elf/riscv32im-succinct-zkvm-elf
index bb9b2b657d9ddae69e25df1498970107b8586ae7..406a930e4e23010afea65cd34761058110dfcd23 100755
GIT binary patch
delta 38669
zcmb51349gR`S;J<<R$^xWCA1*;KC&k5W+GE2~;r%0kjoV_C=P2ghd4uP_*a`h6EH`
z5338fv1qMJN5odEAO^6D3p*A8WpAxkQNh;A`+d&LkV~rV|DDh0GWU0u=RD^*&vwpC
zE}uOSUbrgh!L-`1*b$YZl*+pAq1Hu(Lw>82e8QBd21;4nhHU2ZVZ?mO+9)NT#JKuh
z$CTO?Ze>1M((R#lJBRK({_;NuB`5EWC_7x$Okb1IwsqOe>8dOt+B#89R|VnXyAu=h
z=#@~|XndaE%w3TZwvwMv>O@(=_qtBsOz*q;L4Q!|vida|>x|m}wyT7G_~mHZCqq7w
zrn=)rt&(R5jk5WAZhj<YTUK~dnNp@fQn-m-k))QtWE!N*Y@jyz<!L(H0Ak60-KM0t
zy2jOg3c^xuhYOSrm#O83*|LvK+dVLow6&Q|3PUGJ*_BDENrKX+FUmeIhpal?LIt^c
zOr2IOwNjJRmM4r1G7HD+%5TmUHx4VocDQhweymP=oA1%5s>TcV%aw4vDMKIbnWq0y
zr+FU{N8766^0pPl&hf3PxL#5NJ6utmaAi2z4y!~bDYJL+tam~lJ=%mbEku=ICnfr{
zR9k&b-A2u1yxJATI<a<wQ_;q<Yuy{vM|D}<?2vj{zf?CpnPxhPW*^jLC7<`Hmg;aK
z^E^+nsgy?(mrm7(Q_^&odbL{mE4xwdl@+aZ_@$61`+^-JGd;K76%EUe`fJzDulmsa
zpkA%;Aj?vEp7m4{^p7?CdqOKqeW42E`?+Y_i&eDEJQZ#IkjhJhwZ!?wc10qyYmlf>
zUQb%;`Dk`xk<GeBJ3dpSvr?yp%7*C`sU1QIx9WFNyZ%gMxVEA=`a-xU`h2*kxM7m7
zM&b4z$5ovT$KEPWGAo}LR=T31*zMBjChHO*fC3}%kVYkz|Kr>_ba!ZRhNyt3hzc!#
z&@5aRcYEV+te7W{E*|wl2OSD|I#kfnP`9i@%q_y)BFrrkjkIbN&F<PV+Oc=bXoqWC
zMzbcgjJCbGCG{<-ZyAj|*)p2_a`S}FVU>_wsLG=isywSom1l>ogseiVyj_JAZS$l`
zXjf$wrzWY`^e!Jvvm2Kxr?N^#+iq@<mwWFOsLgjYYLHi$ce5RCbY-+P-@}_X*x_&9
zV1NdB$2Od@!$W@;&3>|8Ue&N3c6dW(v?JdeeL0f$Fvj<a%O6H<J4CbiUXt-E+W#G^
zte3YTc^~wjg+Arwv4(Vbi2>-)wT&G<HktwWUT3Hs&ON{Yb@EEyyahsg8K6$yhJ$6a
zkpb%Dg%3Pxhi6Y^fI4~KJi3`SO&Fj~-t0$@Lh~^OsFPRt<`;IjWDfM}<gM9UpYI2t
z&-XfvRh1FVjy+jBFZWa@X10|9YUfqVy2=i(xrza5=WTdt42>RVfZBOWzq^(4`xu~h
z-q2nv>~Lly2B@7^)pflc-d)N7wevC)USei*82~yX--5aCnLtWjqr+R7%v;b;$y>T^
zH|43&PsuC!Ly{c}H_Byzl)T*bsZ=au06J`Jhq%@=KuTU_vuudk43LsHyW`a`bcg|H
zlRp@uA2L8v-t5{X%s!U^lJXi&h0zVaVt}N)-EYrBS`R}%DKGaHmSgC4=qKfU^VU;H
z=w9e2#qvs;GJ_2h86YWd>CfNBC2VAXq`aXwZexI^43L=j&BGts;idB!02jS-4}%pk
zKw@5Qy{{oUf&miq)=b6Sgp(N{F|X>GbVPkI10?3n&TGL0HbI~71DIIVEa=nbr5yUk
z{>T8Kyha%)QSKiZAe6UZ-#|qD3<F?$kBw$&o?(Dc-t6qjw87H(Uh%*zW|qwWp}dkc
zb7<3@0Vv--ALiyU0Df-UVg`;tA0PVGgU~z&eU&%+nrE2sd(c;TYhvHMiP$e^0F_s9
zGwYQ300ZD2Ue1Vi_%J=%@sspu_U80xo0~JDk&Bx}J6O%5ZNJQjW_^;8P?f35Gv_rg
zugb;o&TF2~udyoUUcMDq->5=4B^#98ILXq>DlKuyZqZs5&Av7@fj$X^C0^gy*4dcd
zhfO^~Lw!R1d;+_bUK+OS#t<ld6{a@(?UpL1Scpw%=n<<h{mT2&rp-eQrH{wZ9-(7-
zOl?)p#0@IiVO~RF%Inw2iV1h#;9<-8>sA$w^tSCr0fAwbUK$YSXE}dg!=O)ITuor9
znVr|a!g5a0ziq1~)&2Lx_1|haf1`iL35}}zH;RSg7znvvK%mW+jj9O@3&k-Ia!(0?
zu68wnrE&c$Lat1p^|k5M{rAN6-x_ia12;FR?jLKE5XV4*`*#Rry&N}#VF_^zBsj-l
zp!Jg()dZHB{_bbe@1b;G5(#k(B>3VtbWHyaPd1hQMlWJ0Ml@@4Q+xL`*7^lY8tC0`
zDtp;j%Po0TIfWa*t1NrjT`ItCRkG!Nv)gj3zEN&?qjD<Nh%z;B!W)#6GE~_^J1gDj
z3y;>&Lnz_p)wG6AN1t9iPb=om{@il5Zn2zOk6Z4y-23fOPIxUJ^dTk9vWHDpy779W
z!Ft$h%5E~ka!dCrX{U#+u<RytRDjFd_HOQO-DA18?jyj+_v6Z0FiE*ddj&UeE5Vgp
z>6ZzeV?rmU?BQs6lU&O=aY9K4dw7YZo2*d*cKXBMZO4>bxKX(kukxu<Zpy97-UDOH
ze8%>`*m94tgm#!$|8*XNdsbL_ISd}(%YX}%Gif<iaFivS*H9+l_KWRf*83QEk0l&C
z$qRgLEyJw~xAq>mU49G`+@|ckFuUAi*69bcdtr9D$E;wdKkd%I>}}lppHWT{Wl2c1
ze5<906~n~SMtb&emq`z{oR~jr!}TxDASU7dgwn&cr5nyv?uoBp?pvSx1(q}Iugcw)
zV!5}S=8hiR{hsA6_=<j;>$?k(;DWt~x2@6*S<d4-l)jE-vb$UEr-Pw03|wkyd#ws^
z%zb-}a&H-?+|%6OzD2o}e6Rdgxp$wi^xh(+^;4F6;<VB`f1~Wx*I90HjDc@6jFu0~
zLuz=uKJ6^~(8HF!<QC;jKWe$#=&Q?>dt|5O+;pdM``DIy8roZIbc!WQnIrw{J1Hk2
zmV8#(``}m~x15s+mfnfiS`Ehx<P4a@z@?VG8jgMJ_IVX%Z&gl=`<5eyn3Hl=x#jDW
zy}Ov@c^b`Mr}SPII)g2D(mAZ?8&9%V-DX8w_ikdC?mr2pV;Zh!8m^tfW2`0Xf1<zT
zO!^K__(@|or3tesQtlZM_awx77DBy!Q8VDsETz*<GT?fpN9<E}%Y4h7+|qIi8(Dh9
zWXo>3UIp0QzE!z%(k$m3_wDovH)8$6*zm%Q*f`p}e7)r!<NIE;c{SP$=VIfA+rAqu
z989Xm`8qhq^p?!=#9b9Ij&@J_7cTgdR3`yux3T7Dkj%E>Ncl8$ET3`47>ZKc$E=uJ
zf|v&HhI6#Kcsc`?fJ@*Ut@g3gXP<IrmLPKOeU4aeMG0p3jdJeUrtD!;(Bx<F58F`M
z-$HaGjGxB*zV$@j_Y5MR=QDo7vInn(_U(qY)2}qftVQGtu=jH!@>Dkjx7)DU+rHy|
z8zMK_UC+~Q2E-io!<g6cx0T)j<2u)Jiv}|w+PwqDHHz$G_lmIPel-;4xxZb6DGuX<
za#!v}%B9eWtwp=PqT{O&8fFNIxQv(w<%ObIU)tvT741Uy&SfYfiYHP*7xcq-V@6-$
zxJHV|8@dTFdqp|}4#ScfVw!`6PCfVTPt7Fsb#0LjW(jll;627Ho!F6L8W&MeYV6YS
zv9ks7&nz`&>GYY2Il}#-uavVe+0w(&m4@hwFn%4nVxub%4H!@8e_JS;{Ym5U)|lqo
zMIn3e3TUG%Li;@9pCa*5Dn`SmM$6xBYq__KfSJ~oyKn@Y_pawIJZUsukGO;Z|7N)-
z8(R9hzcAp>yaBh5fPot<+y0dixeIo$z$|YW4fEWYn9y>|&vM6Fd?okH^ED(mB4%b0
z*k}2mjiG3VFMa!57t%Xcu%2_g^(-9f>&h8Kj+VFiq^VP@o#po5=WF?1wER05w~Veh
z72*S;41&U%CEm#rJLe^(cN9ZA_O!>jn8+1>RPI+O(oF8c`2xxots}&4fb$XtU*kKL
z4G<lA0pkgS&V*pdXZ!?=FNOH*8jPQ?+{6Dy`92`zU);dB@z@#cU;H>O7av~Ngvg4u
zO7B7B%Mtl;(NsjP5&0yX(AICkh+HFbAG_O%E%(g7lyjQ9I4Nkk_pBw5Rl#^Exx`w_
zDOro<yb8@>##EicDw8wD68d*fh<5lS)k_%LCg{CrxxUp9mt`UOR8Hw}(T5CY>NXOL
z+Tuc+Ia?c9&bM1JyT+E2w4M5Sb-ifEK)c&B&?#S9`<1<-2h5)}ZdmV~V%aO6g}%WO
zOn%AweW#qW+>wNXM|8qf%DD)?KkNpa%ddRr^18CqMtg+%`Oc;PZ3&oOTDb(FZIcr0
z5s#vbzf{iT1QMAf-<_X8)4x~vmJH9GqnNk-i?KGc#4+Q~>xy%6D!1XmG8yEU8N?p3
z8{eKwP)b3p$(B8$#L{V)rH`HMw_DB}9Lrhm1JVe?EaQT0%1yWxQ4{M|5Qs{*6Wm;-
zR}40EgefFNh~JoizN96@vH%0tC+K||v18|xZ8&di*=Y-z#YvUW22oE>wA}Dp${p|*
z<(?&!Zb#!Q8bQda>sA~y8IirG9fO=eQrnf@N4BH$2t*z&y>Ak<QDh&x19D-yiRH}9
z#s6=gj7yX?L@bMDTY5JlU-2sf5%#$ck!wUwN4H7_6wc2iAj-6I7%$&`GQr-7$X6or
z;wdI}=oJf<dlJU8tY&TzQmNdboGrzcbNU8i2MStQDvDl56rFSq|4+7J++r#AiCeVO
zyAy~YwzbrFMLT`1M;z>IS!cYW^Bwm-QA5nFgz<ZFExme`rH7Ji9D7UYrjHS5?!x0u
zRpp)MHPowDTjgzfH?;T9QtlU>t%UYu-03T=@~qfqTYrRWoHCNxZN6BKYG>(;zbp5z
zV??|S^_X^KxSvbnXq9L8w)KH*ORqYr+|O582_5G((_=bX`f<GEXOAPHq2zo=VDgaV
z4qR#JahFN>=H83E@QkGo<-qi5?)l1n?+44NH_&op6;+lyKUF!&%Q>%^*VMUxyX7Qo
zu@bU3H!IKD+{obj-?Ma!b4rg(wcO8tuyo5qN)O4g+%HxeLVDbbN~hFkXY|R%?w@|J
z+&b(RRuLP<l59*n2*W$*n{WC$1HlKMQuYHO_JY?oh)IDAXdld=;rGh<oWTxWiZ~B2
z%R`pe;d$lK&aJoCvWMH2-QqM7`CQp!9hlikpZA&hHp?FSw9=sjqTz(5?x1a!Q_k#n
zPa%7LmJP^8vSspvRU^r+K1VXgz$;^LN;2RVIE!wybXgrXnGe|xe!)3&3enw$bpD1y
z&8y=iV`5<;gwCuwZV1^238hQWna|(xm^fH!=_TllkDY<vD(8o-mOG34z*W$KvE+?J
z(>0`TF|@rA4o0?JL(%pYXnV<<-nMHfn%x4Y<YTv-47Tca%boo?_t|7YE=={V<5u7U
z*n-(ZF+m#>Jcbko?}Zj7SbP_>W`id|3lsFQyJf3#XEL$a4}96O1+O<7ueX6v`3<>X
zG4AteKNobF>0lhv528%?e*DBL{DhC)MRySai47(}Wxxgh64R^WIirnUp4Z}-nUp<t
zx6-LNG$i9zRk2(p?Eh2oXnuh+aIbRiLLp~yM^tRJnAtb@g>85=B(>ak#e0#|Dsja>
zm^@GKMN+Gfl#kt74j!}E1SJ9zOc9o|HeV!6885pRFS`n+CjG$v?;u<)@wwWD5*@_N
zF7cTHI|Glge!>)YVQRrP%e@yjTWb#y40qpnnN{9-b3?s{{X*#;j$nGH>SfEUgbr4!
z9)1UVzi(A}JFAgijtRHkoN6Cr8Bc7(!g@EhTg0&AEUU2|f)ALsN|m>nXX{-YdawLK
zxf567e&?myBimTI`CpZ;Q(HNwI$4x8($~{w$*0P`H^heW6(QVMf85%#Gfpb!#y4=`
z%Wz<1RNEH7^!=8->vAMjsq9^sQqFxyPXf>aWygl(O9SO3F0-84f5oHq!xdw<1S7c4
zaFa<Gl7CQoaXlo}0?8n9mP_yI1(OF2lOh$p>jkXl!$!{4tCVx!I&wtMOl3)onWl=F
zvhE^b%vA1@3CHyC=4d8^n1+{GI`!kYhQC(Mdo;X%E4$amY|FnjTWLMKJMH!$#;?7E
zWH<>+N)ireb5luBoJ1U2(k_x1_6B16CW-ki%RG{-$?vll54q%a;=f<uTy&GA>(wPr
zKiMS62~7T<EE+w}D396Q?&$y_Bz2qtc73Gml|3z4DtGHL@KmJooRNxP_Z{{EUq7Op
z@3_Cy2I*2(34@DHaL#~2H;JLqCr%LeU&l1iXqb_GyB_{1Geo0(?3R;+Zo~FX;&2-p
z&2}oQx6c&Ba7bnYd*TQiR?i{1M`ju4B^y|ANC9@Y{LXA(-LJXFwrD&Ojv)EWkM3ag
z5^P_XAQcna*KAe;>|XSvw(m2w&T~kqCvZs55HD~@>G%gE<rFRj<B-zVsaR0pzB3FH
zTaKu>BPu7nlw%gLeVmBo1lYc}IYm-SJV|*D2}v#SBqi9b)&0k8zxH{Dv^$IbC!zHU
z%e4>tUrA(=^{axbU2K_GvSs$M+jlSPw?a9$bC>n2fGKfE_YUVtMsMGydpFg)#HN>v
z`8L)|mRJd$t&8oE=+@CT#QNS%OstR0YpVCpAk_D;%G+;lqF1iOlw+Hl*`r7bPF;x~
z=$&DY%ChXou<QG<>#4usnAB=wkIBUTzfg9#zH&ahk9PB#=<8{>`Y_w?x1?X1VBL_s
z;M3nQ`~FC9zU2%$#inzlvPY5!Y-?xPBXi9p?EPJoGpI8-hxM23)&c^9<N);_V4wGu
zrR!tsBeC^#Z2eSwOOM3Xn_}xzdRoqvJ;2y{+s#endqO5AclT3l#c@7$lh}?mrr)<P
zGE(W0-RZZ-^mE_tM!&V3d~I&*{HdGe)L(5mbsoU~Uzg5){5y6k<CHxP;_3U9^M!E!
zsb!BNPyh3$Bq$S=d*3VU{W56#z2BA`A@u-lkNRz&M?w<1=QVTRq0fT7ma}*{N;{R^
z(sO3Fq<8#|gN;#a!Nwtx;q1B}A^xw%NBafNMN{wrwb<LWYUaL;Qhhawtr%+?8ZADc
zwtII7!ell(2q3EoAj0$^;>SwjN5J$U;>SwjhmW22amnXs`yKZ|m$NO0xx3j(FWO7)
zDe<2ThVfAN0J|lcJ?Wh9)re{>VZz65!fd#{qoxn=H5+1kTH^yCetaiBU<V9#^G?gQ
z-U=>aqEDGaEEnu<X=F~soY*<OaEj$tQix}A%f*=#oA_@WQ~W8GI3|hzt0n%QGmgq#
zbSLp2rcL}Gj&w}?_nGn>lf7CpB^3D39wbGkgk+rlCpbeYW&Kx@D)|M@`@ca{#}O5G
zMCByoJj5|AYGT>G5AgQxNNTkwDbFz>snwpO1iQ7z)bIiSl=xrE^8xFOW3pR9yX3_f
zN{8t1OooZVV<_DulyIHL6xexx7-`Z8nBp!>g(*v7kb5=~o;TZi=q#3SiE&Ou%ruGf
znB>LwI9&FL6ZnF8X?9D=|L0w7e}qe(K8W04bDG`s5psZ-m7z!7g{_aW^eEzd1~x3Y
zf2KulkKL!8M5|NS(X0@nlwtQPjw)T2$o6anM6GmvfLtJ*J;IcgW)I+QYr=l8zU2<+
zz+`fG6rG53lZj#foQ&Fsu>S!k!M(754gw{4bQd&XYrUO;dpC6#u2=T_x~vzWdF8+1
z_>^Vuzs#~9Av90vKpRYqHpYqU|1~!Ka=LtX?>ot%qi>=dLfYdlg)vN&{+y7qZ<Ilw
zSI!?!l4}gG?0wBy{}l|tj#lqufYl$H(@GqY+0p8K#Q#AgBln*mp=ipc^q(l+S!Ivt
ziDW+VcET0AS?gqW$Ir2$=-tfSo@_Y}G%|U=iT%emqO|1wD~SE{^<u_Kq<Fi~ieZO0
zAvV_2KL?15`M$zHU}#&m<tS#!YYe`}+ape{MZYiumoiI~*vHO*y~>%BWJ%0$24o@K
zut{Q_MZ*c}H$Vq-H<NgsL#^0o_T@MgGlNI*;lE^7;DkG1h?$r@{zXV*j^!*&V8htE
zmOK^l4y`lsY$zk`<seeaLFA`{8FYj>h}3cr>0|eb<2bXS<ow)mXimxqK1d^WH`>3a
z2z!6ZPm_KFq3dv$r#&aM_hF9G@qmIQ-jiN=`Tkchm}l(0Jj+5-O~mEm(Fm_LI&~Z;
zG<YA9BDxkMYH>n?CnKr#I3W+aTdIivGs%3vtHL8itDTUfM|<&%lJ84)M82=(8~`Rv
zc0|6fHTEt{)xsokOq`Nmkngj3P4So#S{G(VHcm*GU~3oi&i8RbegO{)Uh~fPZ|4qE
z)!ETDmC(s*Y_rGLO&<3Smxj+|hMM*KPL)SCH?oQEdgX&Wh-}YNZ6@B&QTmY;mU{|?
z9o5Nf?d_zx#>DlQD4W;V5e@`aTlzqR-S1(uuh$2%EL-;UH!?`!P;}!A`}zHr`#xGb
zvO6!wB#}a8^4($9?J&(QY{Rp;=PUR9&g`a3j5)jax3Js?R!hijW)E$F=n3Z~&l1{u
z;ouIM&|V(P+T6^2pd|wd!55T!RVLwfoMjJf33vGTW9;q6T~6mi%ANk5<=)R;q3|0H
z6<#!Vci{_4A53Mt{<YbzbI5?t*yXidu)vao27Txm@4%sAFOPK6XnU5W<2>O|z7?}q
z?lX;@1lP<|AHw<Ep90qxH+SD>=Jik0shD%1rxEjMW$$D|x^l30M8jdDy_0~na;7<=
zaTZOqcu3Jy4k4W_qZJ2|oOoan2{-T(%DfaO!A3f#F~fE&8!mm)cliI2Xs!5v*33(j
zeE;ub=UuVocKCnpWIXNyzAu=B;<+TI94_c*@e44u6DPBh!v+5!%HGLxtwhNLhsNS~
zN?>Xx2T@aCY9={A5lqE;r?_`F1YmZ%;Y!1mA+{G{Fm;~TB#5m$f6C?b!MU7fmf~dO
zAj&)u!M;gQ?0p>P^VCcZA#HhTw(>ed#~CmgCLe|l_AhiVn$7bc3Y{%*dAdlr;z6N^
z%JM}8fqi5;D{(S-H+%nXWj{)$GvyK-5=y$i#Ihe<Lrn0n^X>^uIn#3f#r?`D`1~wB
zlNo3yKIR6P!t<5xgbBj;N*o_d#LO{U{25+(3};aaQzVJz%+BE)rx>O-CwuD$vHve8
zgKIZFhWmLRQ_3mn5nf7~7i((oy$jA(k)a%6KhK_g@U1AvGQ(YYhs}-c{dX|yN6f5I
zqGtAAu<6HE@G=2sMI6W3k8_xWsoK}Kwd~a6Y{#Fm?2ie(tNu!uX3IY91#p(7AHk&m
z`W((`x#jdJXV?9%<@Ck>+xvUriP{<4mbEnb`9RN}oxbdZlD472wsPvVu$;ucmR&o{
z=CKhb$wBp`Qz&q*rJL@?o;yf<XvXfBL4+Rf3bcJP&G|VBTW_Le?`_GM0VX}^DCYo}
z^vXjdHWTl`bM<ZtahO;@1$NEdP2qTLZwqGegLl++uos;VGMjfWp(6~ijgyiWn8h~E
z`?f$l&9e1b+8$wj^J%*eC7Z}Ld>Qn_Ofl;U%sO&$bEoelw&<1SkUD0|<I>V?42B8m
z!Dbn}C)*l=C?o{kdwN;Cq|(eh;ogQ_pE&~2;XK<vC3c<cBsalLLt{@{XdH*$76v3t
zOR|ZQ@thA_%8b_<%@^$8=AF|#|8wy3B6cT<LU~+X_YC5_2_OG!e{24G&WEoz&d1xD
zv)1;VBo73i&`=nW;DbHi_HXXD;Tyh!sou%wgU@h+4^P9L6Q8m>f+=|#UNqQDKwlRt
zg&4udFL2*Z;wc!3=4tM4W0J|tQZnGXH{u`sFl{m#>{`OKFhTO73DdTOX~B!;dI?Q`
zm^>q4`ZnUhzr?J4rl7@Hq0L#L8!JKVa#$!H5K(!LUnikl>*Acv9!|Ykv)j2NDRDN=
z{g~6DWLz_LEywke(fG&p;&@C#v+q%u`lWdq;wH?3kz^7Y9Mjp0@E_|<LKDNTlO&^&
zY(x*whO5ubtn9%DNhEq%!9zoP@H8GGqHsrwAp|phw!zdiY@2(ZnamKEydas(X`j*+
zb#XX%!WgIGr6eIE=0f)|;}J=4)9k^snebAXa7-LaGh5>HN^BaRulEzDANjlDHJo%W
zZga$*`WbuqA;j=Zw&KUI<LfPrP1}#2RL%{rlNF(816IJuV9V`01ryH2iM7Q9FEu%!
zY`s0xCPd3QLS-crUXNMxGBD|MQ+NI|%HE&B#_@Y^%e|l7?IQ;`7w9P|d4|-Rt@r-t
zl`BE$o*YXLNoAS7His4L<?#W#j1O=U`j`_GdnA4S#9%4qmc6(Z7Ld+K$#+O_A_pBk
zu!jBQe-l?qB8W%Q6h5omt2O7qui^L8JbN}lB%hA^Oh>nJ4>OfOvK}#G&mAvr=Jv(M
z&tHbfi_JqPBXS-(8FLn0*qQ`A-<-kDeb4d^XxC;^9&@&1&u1wlYjslU;=$(m`oKE!
zP{~BZ(wz*5k_Hix_+amx#0=JXN(y%ReC|g??xLiX`1r~s%z8WPPkVc<7ZC@)%GwX}
z{KA0A#Q(v|5aX>Lp}VnX6A@?fbV`U~*CtN)PV&OEgx9v7lQELnQ|)AoR7$IzjG?oQ
zAO@Z9xQmZTnQT&Tc_eT1atqIYF$d!^<Knb&mo?%vWlkTMyf92Bc@gml4l9dUorIRe
z10>fpA7$>~$AQV{2Fm7R=iP5HWi}@N<Q}_{j3v1pAIv9=AKzKRjMf<O*!wq-y$<yV
z!M(kIDM~rp5OT}e$;yo0ecOxqSH8>HK~%Eduv>1MkgW%^e3E97YMU&pDLw`!Bn;al
zC&3iwe?ftBB?=~K)*akoN{Bi46k{Tsbar4j%u%|wA2E9XJ(#q;>1xY8LfJh^>5pa*
zq93%}siWm786o;Er5`1v|Lq1#k0umzdT!UNt=t>#BusZ^@5t%;$@PTgNQ_-A$7oZZ
z17u@<#PU<*bK=Lh+i-f7<zD$S%O1s6nPWA3)aAT7Gr+PxBIVxFhdbr(UWw0VmJ8F6
zz)tq`R=Ru7yH+&&$)@(WMx20s!w&eb^!3B^U$2rj8PdiX6dOdv8s+|c5ZmY5*_)@r
z#MkEVLGRCjxn17zS-Gb1<v1s7`f7GO_dU&vO3m3Z6LgAE;zO6w?_=-KY2iYcI|40s
z&wn^#xr+v{EpLwZr0q%D(t|JKT<K%)EGQ;9`gXkE;9oPdIr#M^Y_*Gd@ccBQKFdo*
zE@B_ds~1Rvg9SZ8LkM>Zb}IiYd;exq?rtB-%SE)=jv4bf7c&lfk9EJrt+$8XDWBec
z=;6S8dNDm>3IuUHet|n6*>dNkTkcHmFyw{NZ4li<-d75twQMfY@DZ;<XqZQ6YhxH&
z2Ax|yI-%=1!h15^rQ99h!Wj4Mukj8@L!OlM4x4vE7D8iBI~3_**6#QYw#<9kWad@B
zskQ?Rm8aI94#t-c<MoVFY@vq}aJZj;QLQnD4Jn)fOoy=-%_DX_;w|F+IP<cKJeJoZ
zR<o@qspaJrx8imDOBzh!oaVHIsTi)4N9n}ou-xUaz`TsM;<!g_-yRt3UQKLYsihw#
zUx1h)w7ngV(wW^?+(q<qHjwffnb9#~{3H$=*7=7P8)0g=ch+DIEtbR7ZP-7D2TlTE
zltO2~`<z@PbKedj4jWo;PLzWJH~bp0oqheoI2d!-un*6b?`1K#ZM|bMv0}ZK#DLwm
zzeQ3obDFy(G0<=lVCtSs%#&U5?z@N+s|;f?n<IGr@M=StEp(dR!4_IS$o6`$Vy!at
z&RYo04`b`ME4?2ReT2l6hfyXpf7F=}j4fmL_FsY>^fbP=#&SNztf!I*v0)i7f(`C&
z%(;)H$6m^0ck_(-a+YFWj4vFAQK=7h!)$i41mEDN(@btB$8c`>)4Wj9jP3cq*bU2W
z_h;;2|6+E#<(=nIf7%e&2Y*Gre-U}Z&FMnVS^P8yQk$FU!7X@t{sWI+a7tr)v8z64
z`X*$u^S(RAnJk0qu`hUo^Nd$cxpj;0QM|EqxReeDOa~`r1>)R6TXF#IB38Y_hOyIL
z+k*~_?KExOiVftCv_1H=Y3mZ$^w23vw|JI=$~U3=Tcul$B>&?PyAj9Ol?=qWj68Br
z`jZinI}ppbYd?GV&ne>t)$Dov70*__zY4J^#BeT#*iMK!Jl_v!6+?@GeeAxsPq}v?
z*>l`E4{$433f`jipZ{UgEwJemKfo1)TMqLGZQILCmqF-OkEsV3j52p1=6BZ~VM@96
z4#8CKM3)y7+y(SMnCTtMPdkM7+pY9!*8Ynx%mi#XmS4?g)yK{t9N4*IF+{+ZLFYKx
zAo0APb-H&ij$tZ?PtW-$V*Wz|PQ1OhpB};Oay$oil24j4w|`p>pZ-aVkVtw)o}4C{
zv^|NWWp6gLkf1rpItYWkNO0-f{|sq+3~gP_+WQ6Wwi0r7wp{19b5<)vocepQ=f*q%
zoy4XDdp-_>!#Cn^h8ve^m>P~fr`^V}%31R$#vIda`vWf;oq^6a^I{sIIl*|-O6lL3
z{zxWfeEcEAemPF2rSIdXBlZ_@G9Grfzv+3abKJL|Mbu3=Sc0j0c$J3aRS%mDV@rL;
zI1NwZG+gNJBkk6Ynb&v9J6Rd_PEO8Na;S9#MI4z)WIV?HpNC2|C*O9nquA@uvE7br
zIzMBhDRxXM{^;M8#BoWn&6BO|+exL0d5D~g=(lpukr}cXy%grQbH9wlWQ(NO%3Zvi
zu>2Ys^ya2c!qdz;jc3hgk@gQfl+I_nj`Q($v`<4EB4gJp=bdeAv&&hVhIlo$Pm@lQ
zY<7dG9ps492qI|=IEgY$m%F@@t4E}=jr-cX;badcY`55D+LF3Aa~ET-+b5G}atg-X
zxi5n(s|oa2+Tz$W9;@dOyAkK-?|K^pxVI0kBeZ^*VP>+hl+IIlpW|85GTMvnrjxeO
zUg~Wz-Spc{e<$f3Gka$szWy%i2ad&Dx5}SjBuE66O|HGOGjBh9;n9j6WbIdyPz1yd
zvi2)E1Msmk5P$H)`<8n<_kq2L6<g%P+i{rcQ1*U}+544{QV-)yhnH8J()aKkRp3XF
z!Y_Fv0?gA=DRcUrQqHY^<bIr&-TokNN+iTQu7p?=0!JYBCNspLq&tQw??n+DO8V2D
zgm`hpc@OUI+QN|>cbM|t6RG04&mPOhbnR6fvoNrI@OMhD8U>yAcq0N`Irs?P@($>L
zlhLbwTVoKogc<&Udp3pJ5S5kSB(oeGyV(AVBF?1Gz4t^`;ZUTrIsL$)tiqxA*co^l
zI#qZ~?gI}RT24Joug-Cpx{;TVp7#$r-hinw_yaa7{bI)%<S_`%<t0H1?#Y5v#ItQG
z@9|>=yd>@<bIQ?nbLc!%?2>hh&kX@R_8`v;k-#*Tr~h6&CRWoDf8t~JJ^aXBFeCm%
z+<5X{&Vpd7{<loDcT+pI=T<md=5sa+@3e$X#245#yW(-P%{E!9FjjC%o@6zXr`kGw
zwZBttOPFN>6-g#ZwLfZuxnjnD{kf$j96!#1_TTQbw4~gPzu?u4SD9RQ810X>-DbJ{
z_N$oL8ux?H{v2l8&O808;y&_n?7J=6y9_tm1TT2Z+bLJBHHSw|(r^-s`dADT;2jd(
z@ZU&Kj#w@u4<x%KZId%1eH~e_IV(DjTTdf<!v0OVmrr_!{RjD--ocKxEQLXb@#ZQS
z&WI)uJ!2ln=<6_1d#^`SGM?+!kvxn*N0La_aLo_1l`@%8cZlw(ZnuL}t<MM!8)xz6
z^l8iGEgSy8!E!E|#3P&ONIUkT{}A~tWiJ_LnZI6;C*OxwbA*O-nts$g-FDtbVa}oL
zgJ@I#Z}JXMNFLWa^~aF|WYd@6RWyX-JM>{?FUy&D4{`r)F#53a1r8-W?0k*#Uil_l
zwrotAdrS@!?rzQJQwYP+U_R+Ddi%eTZ?V=4c&feGz1kyJV}>y0W9Qw~oQ!vd;7VqN
z*|hH+lDllZ?VYV*1e(QDIM~>MkLgxTXMYhs<|#ub=4~S3>buq)hu%Y?Sk7msa^{Oq
z;H0AQGb9;&ANC524dFb8Q;RBM`>-W!+h_5&KOT1bo#XF**ez}S76x|l+NA|E@?Gde
z32^w9V@zlqz9rS+<;Ab%lq|-R44g|U*@{;{NF2-=%?@5h;Uwfc?&sh8*v;-}D`9vV
z1YRK8?cyz#H(_dQ_4_|VR>9O=)$jlGW%*{Ug5FWmwH3S{vf12?esQv{m&A^d`6lu@
z)o#R<>%AVsL6Y88!n&<7gydk!?F&<1FXj2p*AO_%XP<KK-vcvqnHeGW_#su^v3E0l
z2)qQ$WC*$GdKaf)gj{zb?~-NCOS4B3s^#R1CDbE{w6Uh2`L^4U)EbAw?o@x&iM0Cf
zURpgm)6&h@OeBY^!|?lqkjfC&os+JioN!gG#k2^&?;qlR8B2g<cICnJO7l)ZdAr^m
za1k9V*UDQn8Sa9wiI`YTD(`=}CsR4e>W<hj8@P10uON6}<6E~AT5-X9Y)h{=t-KeD
z9S)*)l9;68NFcC}n84lpD=Ex%1?GBuJBbJ8sxepDq?&f?czL-oZkRqAQ$4<g$9~<R
z#XEcM5p1*HtrRdQciGG9ozt*Q*0?yv*7{9EI+jF|wKUu6Rdl?IL=r4X24&8m`$^e8
z=l+1{kEis`1j=tC>Bz!GpENn2Jr2K;n(vvpJc=I|W9yVk(jj&(`QG~_vL~~guetlg
z+y%FB{ySLS;ee^9e5N=rT5_F7$S}ouQSjGK!qEFz)H%#=5TU#BIIg?5xr?{dJKI5r
z)LteRJ4A-MBrlH8BnaW%V91&Enm@bOm>tXsL*<xJIp$ejiU}4ov!^l1L%c=dGPA)R
zovp{2nPy@$y@`R{2mZ~cCD~I;m}B!26R92I{qKd_$<a>AkqCFbSMFo|qQr0pn%shz
zy%TO7UL<BFCci5tV`klb?7Wvu*xkZxxexr@qru)@{!~xzDS^%!7{n_c+yI@S9v#UW
z4=#nyY{~y1OhE#FX6sZu&*|qe@BRONgO&4b6*@5tyqotv<S!OBdv)R6C}tLa|Ho1t
z-^xI&>+*aC+DrRAV3u_`J7U4S8Dsv|Z|iC0{i&b)F~huc?~f5<TX8DeW&hul94*7G
z+{wwshZ*HjzAtPdF*;pr-KkF?skdI<`D^Yh44c20B}8X9VK$j<pUfz4w>d*sgcI4Y
zHg_tXViWpgMnXHQIc*vg&tIdaZ+hTu?4QRk$N1}sDvn=g)31>gy&-G273~nVq8-0c
z(d=XL6gxt2iIlhL9Z6_!MR-%KWkQE}Ez3LfZkce2)w2AO%`Fl-&TE0QX_3&$YEj;4
zb8~+Gpq2b0MDQukEL6q!hH*Gy#qS@eChoa&{IW#e!(G$#;q;-&FUfBbly%XOQEfvB
z*?LCrM(*uR>sWsIFuk~0h4+2a)%uM=x%%piF&-}Ht6$1E<$urBPc;9~Z`aP9)8Zkk
znfWb)4f#5}Nd&-O^1ST-+C<g$x=rLtn|d9d-D5gGBO<?dpettg&}ETMQGPU`ym0Aw
zJIUg&IW{NSNiXw<SDO=y%fj{KH#nY7+%R5$5Xl`RKdz7&o?tg>r1(LFR9*2-@EaaI
z?Qriz{}(Yb<u@m!-Nvvg(-q&Gb7pT)#ZAMh(fNty*EG)49MWp2`5}&^ic9rNt={#%
zhkNR>)}5SV!e4kfe+Zr!l|O+8^OxoKNBPtEXlpAe+Qv#UWl7&GGxy~1qxx{`+|j08
z?z<bMe`VF5<!&#i`ap-rGq0}6%dhc%{6T)(!SoA<--+^P_2xGz80S3QaCl2FmbBC1
zifwvE^x8|73Lh0WqIAgU<<Q18hR;fob+qGV{_cyvd^hV*SfD?PK0eMYcEKW96FaGZ
zT(K6vXCexq?oG&immjMLL%WMQlD6S2zs8cXQDnEZV!YvJ{+jW{O_P$mwJPi%ZNnHc
zZbvH^BS)WX^JL2>%#U3B^86V52FP+#rtX;jkJaDlP3<!~*Me?gI&=#dj~~YH`phbB
zfu8<H`KDX+_nGZ4H*LypPFRzuic`ah^1B`hg{d`YY`V##QM0_@M*Ts%++>k|xG+;c
z(e|dF;9>kv@Gw?i+HR=F!=_RHod-4i$9X6lT7!pd-81X*ALpa&${*)L4S<h+`tz*%
z9xtlzf9Iv3;KzB{)T;(B?e&xG`~EmDo4WltF9ls$mljtk%cxTIGI#kOEOq<|mOA_g
zOP_S;Qs1a=xV!h0C{_J+<dPCGO&zWppch{<vWci@VI$OFQ=BSoYN)@zB;B;DD7;E%
zbR2oU&)kk(z3-I2(y>#A^Zm=>`m2QE#BeAYS*m<>|9P}^g<d_hv2N8VCpiTVm6b9<
zkLlEG<oM#ZQxf%je5?GfOhoLt;I`t1;d-7u|CH@p%CmiSkFkBvMsuS47K?AMztA6a
zYHn{3eXW`uZ5@<XT=Q^tCsAV^4lmL<*(2Kt|82uJM6<3Xbo92Ob>^w3>vXk>uiyuN
zk{aWBtETcx95?7!vL_UKCiLllnr6W#!bUYKRYPz$A!GLZkVZ7C+QeZIv$v?T#I5r_
zV*x+u!_VvlJk9BB<cpb&*DrN$CBK0q<CkYv;f5>tL7hTNhv%siD#^It@=SQcEl0C9
zOx53a?&SR>P~nK58eb3Sa_#xwbuvE+VoZ9Be!k1*WY5j~o><l@`DqDr<-dEld76Hu
zYp~=~^k-c&W%==%lXY6R!e(BV7tV{MBJft5p4W4_-6ZN&UbS?5@!jFtcCGWjzjVF+
zzFV#leGq|C!~Ay5A3TxN5|MPZWF=XqIeLUMRDK{yqL6;Yxz8JO(*x(n4C95prMX{^
z$>}Q529YfnZHTt@L~EiA;*NGe>>Vv5ZaY5OY|80$iJ4b;lJv8~<0Td0e*V{&4xp8Z
z5)E}?_(uMeadz=iBZnJlpU85GH|K|2j5y_2ViG+~43~(Px5E)Hif3E=lu_?QFT!}y
zg*lem;mx7t1)}|BQ$&p<a_EY}>-9f!?@WHsM3|e*vS_m`Q}tur|LrYT!BY2$yiEV6
zj|y*#K1F`?k3;_yyW=OJZqy<iL%86kYW)n)5R)+aDMCUh9<x<bWzy)Y!Gy^fqyj<z
z-1GgDDrT9`XXtJ+KirgZe!yS!$n_iqE4Q#mD_>jg&@c5UY-VOsmUDjPL|aT*fukGr
zoRDmO<E!6XJ*Q{;WHZw(?e+Se%?*vp!e6?7>e<8c#8Ea-*SWO9`@X5rWLAH^bdFzl
zu3A(H|JJiEYhTX{vMCzn$F!o)B<gd$BKnV)4fG|Op(DLo`J_7N0lhN)?~V1WUe|ig
zqHv@BQ?K@3c|kq>eXrhrn_9Z><(vKTf9pC0_q8*IT)0tITqm*!N%%Ey_^+aBiKltt
z!h7|mg7)V3swyjDnlmSFk<@2q^}WTT9Qk-!@mC{!XrtNXo@Vm9TcXj~=NIqJD8IrJ
zXg7;jj#dTze{;TnQpEz>R|-A3ceOKotamFfzE|8=y;cS8f3B7K4Qtg=Uvq^or-D6t
z?iD4T4AfeE@`~o?g9`i`1@z|sgqzW)Zb(cSa~!L?6kZ=Q6Z%OfZ!Pa)0z$3x%!jL1
zZInKhg-??NhWz?A)%BRYG4q!LLEle8XoM7v;Dx1cyxG_3cYQN)EhYl00xdsMS4$Nv
zFEdHlR6W1nwe<~;h4*{oRz0qd_RGA)l!ez#SDXBC!oTv|28&{T@yK^EB)K}L|4qr|
zX45cIZ|W8qlb4K7?7wb&H1wsi6X_6MFuwTV<a+v^B=b6~iH5$fjLXnd%G+KQdOEqQ
zWrx4yIQ>bLS0UQKPh?@jW@6!rU+Fdjy0(-F)y&vigw5_D8V--wo2I4d#RD?sH|}J@
zPlq>*pZ<@Q|MF-A0-X1M6X4g3=LzW7|Dlzp9G?1K8MJYKvdxk!uQrxeQRV8BSGM=Q
z(>Lv^uI78V>J@#>Re`p?>dwDvgVoMkr3M$Ms3}wRNtMrfKCPlikN?H)WUp-p_tL8^
ztDe{B5-0H<+`)X^GNX|mKQQz1<Dwl~U(=P6#<Ljm6N6FtA;E-q^Gsd8jsIEKXPaO5
zJN?eUJH2r>9Woxsta_i1^^8G<UU`}AvIq1T-}KIZGG4aj0>;y>ZSFJvSAFTVS9{;p
zQT^bx>6e>1lzl2uRaex8@!IT>aQ0sLVfh8f;&&2LBw~qr8`Tzn;?4aPee&8|pWfef
zo9j0C<9wnIUsvIMFWaYY9Gvc#SLwxr+xz7^^&5kK-`TA0?zcR%2*1s~$2Z5ayTu%X
z-w~AY$-&0z^+Phf$oy00{&JB2HIn{b1gskS@X*4+{uCq_8<#jktaH=cViiu3X+<L&
zFbF<bVI|!X)`pA9*A^B@{$}Sj=BVyCZ(i<E#i8WH=o3{%(WiD7=@mnb!r4g`+x2Hd
zyL!_J@BNRsXr{^bF^G#`T<c!_i(#4G?-Pb)%Tq7f_GN<n<`Dfuc~xSV;g>N?&*Oxv
zKGKg3^A(xAbJwt&nt5{=cU}dU+j3J@HdYsmX%sC}@;VAMdy_xL(UhFc@Kkj`FB#s-
zY^}qEhm5O_7;pJ=;|-H=GHoj-*hZJbs(2asA_<F5s<>949Dc2rP*oM_f)Qq0r^AJZ
z_1qDK$sS+*_4X01Z1cUK&<>{>xklHnDbnAM80vY%%ul?fFFdBlkNmCIub`XJ`<ceu
zb=Ct$T^l>Ub_L|E;#~_YZ=MD1ibLV1BvZ!GupfDyeUQb^O!{(AMUuQlvs#gtx5DXd
zCbZ$`)`)BiA7pFJeI9Ec$focGBYPv8iZqeE%~o8ejlRs|t*nI}Gy1Y7)a#0>OuJF0
zl0OylY&WTkera@bJ4on=AfAlj@9^l~8wXTbn4zB;Gt{ZM_4d}x`j0K1DOakvb~sHx
zF+NonT;FQkd0A{ihuF4zZT=-~#EfOX6m88GevP+9-zZ~M#clJw_Gisl|50A{t=@Ef
zkDuW0%b(!yAB>#>f9d+~MYZ(6vD0O)$Tw4WDbChkjh*xp^#1Y_^ge=KV>90;#<g#9
ze!hye59V98OCKJWZs`8!96tQ<xv3AJTSq@Qv61dQzT<yvvyEH|{_x{GZQ8CM8$aQK
zd3BrcQ}f#R<22N(_!@6shbP3%t1NCE%U;rvqMw@AuYY1*&qG({m98s_GJbqsYTb|X
zRJKNcP&6`bUQ2&`tu`(B@%{x`^zOgwX2Jc^=Krpn1&e-so}2FZY2Dm3|0nn>XY6?0
z?5`)3WSyVygC!N-_lk(o)vHSTT!7!MfqPE6u>LobewIAmY^;Xr8z*P$)|2hzVzarr
zMqfI)y;oOuHFdqc@`NkhS0=Zz{E9L9z?4iGP$w1k)G1SM7RSObXZ94Q$XVrOa<>;$
z6zB)1Hur){Mc*F}E)~5m3@+h9ePC*)&s;~Ha>KL9RnWYs@Hg&jH{{l8CIeLLz7B7x
z_yJ_HlRi~u(29!dbjoa_5xSz$U_E)Ze*hBhUF{hQhw2rxdtb6an60>6yd;Oj)e*}a
zG=IpUWDsS-!*t@U*S8DWQ*S)6L?N%NS9RN};d=3%t=;Ety~K(Nla*B?gEY$j#o#;7
zC+f*nBlOwZx_T!x9wT}5AyXKoFP*d0NH$zJTJM{ad7jze6ue5>5nf?3noY=+A3!yI
zVK(db%e=nfG5W^atImJVzvH3gBlJs1=%+up<K^TN@V6kjpI-ROE9JYL%=dl2H2I~S
zR5(W0nR~PCrF>(eZ8rO1qTd+(;M^;PCN6S}K0LR*pZktA0uF>!9rnlStUC)^2K>Um
zmM~^cmjeM;j7MlAZ9{X-gz61N#RPr!&gT6Cn#@(U;^ss;5IplX^jdSOE<X<I@imcM
zV4{RRPM~Z1GUcr8uB$JkwOQWj4Hoe+k)fe4KP(&2ho+(57W#6YVdz(s>VMpIvyp4X
z(#d*qEXdU->lLxw3+HMPy5%H2m@DTdpT(~HA8l?z9v$4f%G!on%kQFJq?D@5rxu?8
z%lCAH_13#P)P9g=DZup~>VMvSOX$RhdRqB)q5K{C?ee=qukX-T%<nF@JLXS~-8dqm
z>d-WiPul2+dV|ltF%eaEeMBARK4Nx6rOk<`$+VM8exbe2yoj23XGATg%`4Ms&-b*u
zBC2CqM74{|m@sWh@eL&tBNJvtde*K@`zL&M{;@Nn>VbdY9^$TcMQR&@)27cV>8USY
z+*B{9=sLE|u80~)ZC{#YaGy`x7Tn`mT{tSDA|n~{_Q(b0XJK_Btjg?VN_8qPWWD1G
z-MF%QZ6Ph!u3dUqWzSIBZvAj&_wbP25!FdwtJCzc%4pripj^`^LbR6BP79iacTw6|
zTZ?QxenFj3ojrQmg0>Cw<(P)1Kj$tJqj>Ftwykdk)(6V3)Nevgft=sCKccR=C!)sO
zr$1lNBJ}(oU2kFc+WTnTj+VfI3wwpq_Uii=b|@XO*Aqe$p)sqPMn`C*ERLvx`y#4z
z`Ykt2m^G{9mPpAhw@kl9t)NdZ?f?WNf{@P}%OdI*;DC>mUq;ju;EuN&J`U_Pe5CC2
z_y7tY1NI3Y-4{|Siy?fhpkF}a@B<N*wJ4(I{0JZ0_vse*E(>?w&srg}M*6*b+t!)`
z>JE`qJ#T&!{r$srLYwyM){BOP8h)hjSkyDr_apu4qF%M<d=ydnG<)qM{llWBp-ms@
zri;hM4p2IR(gKz>eu?Ap{2L<bv4s)Umo^P(Yt&#WQlNYZTn3z1ufm1p@sf>i&rFm3
zsp=mVmxez0i!QydMX1XGU3p*k(0~K_&HIY#eV`)@>6yujB|7{5)^$HS5K%2D`j$^q
zqd7C~?_0aa#}SoBNyf+e&HKA`S_o_ee4M+ONTlfYStT<gr4y#ySTYeD)W1P}T|=bH
z11X^cAM2hEj1BcX=sxm5w}j>s4@PLJ)a{>mUSd9Xu~$=0r<S4hpXl29iqNi4^gw-8
zsKKZD5&c|jKHZM;`G$`)UBV~%P((H5(~(aPKK=QO;WL@fOg;<wJkIBNKELDhXFjL-
zTyhw}^BK)&5}z4--htj7+#lle9G}<tRPkAXTiAa%5>;OVo}p0)e$)7L;*-y3AfM5E
zN<Y!Zm-MXn+WLr+%i{CKdY!$rMd-65df?JtwR4U})Wwvh9d(y24Oy|vk402Na8EvC
z_%4^+rDt&O8BuDEUnh65+d-nK+<(nSTxx(H;(H4|&-?8!ba6^`d_6*~$640K$mObJ
z&WszU6i=DuIYaym9c5YH@d-qVX3vVunp_f@GHqhXoXC`!5vA(;gMWQY4_n@?*DM4g
z>Ki>CF-F&uyYN&y61lOYbe6EMf;PMSwqyJ@J&)_H%X>9l1Qanm&b>AFSNvv=AJ;8b
zv<{VJx>v0Ds9x*!&j>C4BaOA*eZ?B@9`Wxh*63dAJ_^0@A%AAnBKAD1CVW{)ED?du
zh{K$`s<Jpd0z5tr-wh5zmh^ufyq<b)hF;aBN*%b!b2OolrFMYNf)lA1{K=(CZ(QHI
zD3QIqlv%vGIE;mRtX@Q=N*hXE1it~zOMII9!C5=1c}^fhoEwKbfltuBm*0Lkm`FM5
z*<Q{oc7#H?EcGtMZ^Yr<;Kh*f*a)csm(wk&mHy+i>EZST1TB5)*_Ky)A2-kpn%3Eg
zw>0!Z>QQhGxPgzif?uaSosBSF;LC$M+^e4JX~mi)Q|Mob>dSLKtAWSVz;nP728BBj
zid=%d%TgPumxvx;A4GT={S5UIZZqgW|Cs3~1>WTmTo{M@;*ABbpg}NTe7*FOc<o)5
zdX4siCqpV|A73x+B*uGJ%u;FSz7#x2NzkFXfya>KFWzOTTWK%&nYi}x_0mpq9q+Q#
z-)S#6BaWf-^)X+Bk{AUYrqxy^QIaqeFce?^74?!pJrP$g*t<N2CCLi#P2_cgB|HW6
zf_mg{siQQIj4OUX!2y8`dIouo7?)g2;_CZRzX*Mk0i^zBzAOieQxW_a_=!0E+y=h1
z2z?EynBgd$taE!@0~tUXc$YV$c-)uviR5z9LI#))PQh}erC9C<;91nmgaU>qPL$Si
zdGtJN^v^4JrX*sjg9bHmgGm?G*Ti!tUszugzcJ;)dV@Xvx75Gjcsvpad`nw=`dnrZ
zn6PkGXX=Fn;_<b#UrhTn+R2RPf}g3;U(yus@+K_U8{Zd+<TvpR;_*5NzEXqWKWem(
z$2(~MPF(wcgHy<Gg9&AkM*d=VBzAs{22+r@r+Urq0?(&I{2Jy@zmUOr{4DL?i5p-S
zShf(Nl!4X@_AX21z)9boG0zi;$i`9->>~u<0}l2Rf?pBVnUSYtA$15GY$&9@HhID>
z>bufRa4t9vhPwH9JlO05e7p#}SRPB}`US62U^W3h-q#1$iq;k|qQt0BU)B^Qz0t=V
z!J>o#9tIYr3)+7Iz2Fkp{%^2s7UDf=ObWcqQ;HEYej4B25W8oI0wsF}ybvrRmKn=c
zc5}qsrR06;<^R+2mM~E@w7vRNn)*u;yP$*gTr#toKutUX0y7vei3%C89DEH}Rz~m(
z;PG)-`ad%(A~!B?g7J92js6E)EFr+}Kc3%e3GNII_F953?N9m^IGRvcJqQ+p8IYGH
z${CD^sc$30g_6`9a8|%j2%Q;@8H1ad`j8qGV}Rh2HInbL8S^fGNoM~vzLoy7*pvlJ
z@FaM9Fdz*7N$67_SkW193OJBhtaT%$2E-M}z_Kg%E{}nlShm7J{nhk;o&nP-5DCoz
z2m4LIPlMB--^s6k4;<_~sgJ2YT|>d_h}tAdfe6FbdJG(<gW$f1tPBE1=@4Pxk)DK%
z7E`|$EDXqHQNLysnIG+qM8I#3W?Koy9hmy>U?8{>Rm>B4{EVbhHvisbsYZ=)ECB<|
zNG{p?dY7dNsF%I3(E(q{1PAqUpZrr;;{SaRc!dFiHQ5N3&2xMPBiOsVC6NtwfSWX7
zO~DUR5O})ydTA#cYwxnur&oFm<x>z75qG`Ln{lAUMPQLg4h^LK93l*M`+^%^e<7Y*
z1D~paXTxA{iIP85jrA8B!m(dhV-*-dJj2qr%iM@h!V^GEJikVLO)RHM-sSa=!(I%O
zqo()<HL)B+#n;E<cbUL5`>L(*Yw+2)6>XWu1gH<J@G5XV*jw>fNX@2T&iMjQ$K=c_
ze!!Zz&b$lj<M9*FI{*Xe5D+W;BRDvH5&SK90OJ{}lpL%TEf-QCDj*Ho6`~R_a2PC0
zegjte67}>mR<r~w6%o$z>)!>7#0q?TR;(C_8COsLr-ph<IK;0XJJ!?572vC7fHM@x
znjQ8VTs_X40niNi0C*n^1ZMr*cpM!#FzdgAMQ2v%Kfl%_CcQ??i^z@3Tk(v$BL@8x
zK3k){Cf-$E-M@@bEA$RPQMmszSlatIrkafM7<k8TFge{Ho13WkeDKk@&?vR>0|-7m
zKO#3SZvr*3oIrY)rS9&BxB_~iSfbiHfKa*LS2^5ZQ;hy7@{&v3<QVXD>V>r6)!>)F
zMkT?gSgFszZT<R=EMU$@)%6{Rc?{QqfJor|2_Aiuz~WWZgd%SS9sLGN!3W|7;K#<)
z3<w&VpnbDq7>L8KfIHJZ;xljt9Gvh8!#yVw2dK~R>+b|Nq<>3rOd4#Wpf3d-{00dn
z5CG@<cwdbrq1YVi%3VbMHT81(mk0{ns$lQ3l+zUY;5Kpfg1JQhm^RnsxDG#tw=alD
zF_+gq9zV?hy8?;8!h7JHzf^k>>9ufSL~dMOe-9h|x72rZSWkoXRLcymYsP^FSZpYm
zkznt#)K2OzWdP4Dg-o&Z59)uQ{uk7zQXo#EJ+dDkhozmIKKr{0OAVpHCT4K4-ysGL
z4qAo4v|o4<8V~cLL~ma0%}53iyq-WLTAt(MvFJc;(ko%jBK<ndlD-Cgxn#*7E%k6L
zP^#xdJNzq%EQUi<=7~(sn7!-Av7Cj+*Vn{yP99$mHu9&;Qd?nQF(OJc$P?+9xDNlI
zepZcoIq>!_OEqmyWQnWq3znnf6*LHzP;k&*?j7%ESL0pYjO5%o9?SXkf5UR}9$#M*
zpR7@z^5BK-Q(`p=G9IdKFc!xmGnPx%tmO!fM_{OpuLBw^OSI3&TfrhRSxM1};!(7x
zzfnT^9|y|>AN1=-jYj`ujq-g0_fa5g6c89bhFA!Lseb*AaX2bwl;soXH=djwojB~{
z+rhFVLI1Z{g5U~tDt>~0X^#H?8xEti5-m?^p;Y9+g=RHGM|>KjU(|mV_-^BF*eJ%;
zOT$<G3$CF52aIQeIpZBEME|5i!0~L%s!rUlWhTB`IL=2OMWio5Ah?1V1&<qK3UckL
z!N7_o5mO%2$KyZ6Ah?hjbFO40AT2+L>u`qpG#C=sD(5wkmf)okHA9xfA5gG&S!xXR
z&wpGk!3E$y#o^z8zmCH(>9}xN#Ov=9tclmxsF!D0-esweAs9RuktIx_DtLe**a4dd
zCUg)y7JL8((mWhf$9j1T<WOL=c7P|scYK_7l~Vk6t0HV0D;Nzv5a<Y6y$W0>m=QSj
z=Sme&A2_yQ;4Waf#EMpc=bZ0PMj4%?R0I)w9l~lhSe5`j3`2jL3}#JDbQ9M*g>cM(
z!2s4&2*xqc7c2wT^9QU14*+-e@pf?VJj#;zf6)yn83da94F-aPM^nP_JrOGWD^R-l
zC6KD^aZ9o$f?3AtjMSfus~6mHMMQ2Ae=K!^?_J_Le1wREAjL)k?~P#%!F7E6Ees|e
zte#<y8zC6<C)g|iH>5s`_A-G#fQNuhv;^0^iN``<bbwtQ1#Mf=(!YWk1{?~5a*g*n
z4)BdNaN^2{X(#npKu@rg1XdDX{}}aSK8<iN9h2rERj)NIk4S-sxv4gB1k0&k_{n*#
zRWE>_02>{kzg$_5M$BC(?5Do;6Yqhv(3dN|Uht*Tp7FUX^Y7d^0#Z;DA9y@s+6C=v
z;*2LQtgnd&Jau8cU~hb%f#4yO43LOVPC-QRGmNhnPJ)M10Yf!$@DMAguZels<&W<(
z5Ip?~IxJjU&2eWKnt0H|BGQrIqu?N8DhJEc(}pl6^}hzo6I2em4BiWtr>Q}`)dr<K
z6ys5@-=HG}@|e}wEd+*x<&kS6zy5BpJbo1`Fav<)QS3!N-UpV)vO)WVOmrp=XM^Q&
zZGFG}NbvJ93W5RWQy|ZA1CCz=%QM}!eut01@_aYn$6+ciIb6MU?E;qPzD@l4(O`K7
z957r7o&>Jt*S`#o$;08=e!&3><RNiDAi13~4~$9g&5XN&<>7I_@bzGMkQ_*GA-D=`
z5)LHjf_b>?o#BBGg5^1L(7#p|`WN~nq8j@H<lr&Vz<~(IfjfZ%5#I~Wk88gHJP;f(
za2Px~uKh*rs~^P6l642qr`}TDgeJ6)5o{=M{DRN=;j5pDsPUMr1fw>;@EnhbQ1Dvt
zkWZ_9|4Fboq7{Dq=hu0zH3(*_hj@0+&Gi48d_v4RpnoPdf{n*B5jDqeaB&f_;E9Op
z=rho-M44y8LA?fx83p)XlZb}+g#y3*&nGKmmO=e1xY~C<sdl~Jg4csH7*9NJ)BI@+
zz>NC%1$Tfw2J{Qt8zUZ+cx^;(Tp~BN@BahOSQjzvr2Vn}UjG@C7=aG(`Um{2XGMZb
zJpUiT(%<ZbgNL5+1f}s~>mz<2kD+*6w}W5BO$a(Q@W>iCRs%nF0p`&2w-*$Ad5-^^
zNXc6ei3||Lmf)=jnQ`_d1WW2g!a==Y@3PcG)IW2iTBoIaUtGQ5F3(2fX2PR-oenS3
zfg9vQ>KI=RfK4<7*YAj@K3a{X-}rz4J$g|88SMirE(Qlz5NzYymr*|edMPyGp>Ie%
zN5M651MC6^Z+l4n*y&g;^>T?$t@d%CV?X@Jfa~KJY}UziHU9`h`PDdP*6=U{$1}io
ze}JLY4NSfC+#W|z@X;Fh(&r;m%;o7!JiY~bH@?UlOVkESCRpUp<#q51s&UFo5dmCY
zeNCL^Moeu`UlV85s2@-RKPK3W?+@@njRrOG$r|-%<M5)JaiqsQrIjW6GdK$z7WToT
zZXrdaz37yf=~H0oA4~HKe)}ULZ}18nn#)pqsP78FdSKBBxjM$xt85%6^(k@nWpVYF
zP#?T8B>mUUWXX?_9tZ=%;YkXD*N6mnnB`#+zTjaH2rf~gnc(2nqJW|A;|6@3`nfO^
zSdsLdwISk@u+(<yA3GMSZg84{#Wgzo>DB5EEjoJx%G_nZE5X4Pm|1-LQtIVhra&S$
zGNItzCYjJf(%)Nu&yxu;UTl&Zm#1`N;_wS}cm;xWOl?T*2X6ug3`wuPzm3R^%Tg~e
zpwP<!$(kp2F%{;YfZ<qt2dO#wyNGEJFi;aWc)hy5K1wA0pMX~x;A;j9UcQnUwyH5;
zuNruCm-F-YBrvB&1L34i+<;4|m)F1&DG%&8cr7eoxJz9723_MAqDN03H=w_#Gsu5N
zTn8EOwKzPH4oBnG@P6=Taah_ncq1Y=F5bAIKIM3|PD$yUxcVd1H>EyUvU;&@xYoFW
z9^k%UV-+-;2+jZ}8}cFb0C+Mu;$v>=!0!dg<>^dKJmbxXsSWDmaqM>x+yudDkr1uo
zIvk_^gSh$zWKzM4b|S)_;IENLLo+-KgM+u}r2YYL@K&AR-+_ZS=)fEgP!POBCk+~)
zuED!>g54RO4u~0vk|p1))IBg{M2M1I30?@6xr@^MOw`@KM9W9iz*1H4R>W^X{F7_Q
z=7`+5EH%4Ehlgw67i-{;YT$6LM@jw_2D;S1qvLUm29@yz;FoLQ12u4R_X`K;Rs&yO
z123$B-8jtSkuT33j4KdaEAPSqa%$jlHSoPP@P-=ra1DG>{(1Ud{O?{}U_>^d23}kP
zZ>)hot%2+II6r`)mtO-HpU2q0%=rHE1s?uw4Sci)uHW;*0eaTJB{lGaHSp^JW_-iI
z@u0xR7ys<S0WPh9C)L0Y*TBE8flt=J_N5+u8Q(C_%P$D<6!5NEL@(^DAyzRB{3ko2
zUZa8FTfvL#dC^U9C3t=ueh54QEUBT?KMGzFSHA{)pbqhWE*2;aTngkpuxtDd{{YXg
z6ESb1Oa1uE*x1x3`r-TqPXb$<Nr?epOrEn4ELrXVzyD@w503cwJFo<=R3DG&B`?@W
z{P!7HNP+nB$$o<^;FsX|tdIWyo(n@MKK>l6;uvUrxfe?U2Ks=HQZH8nm89l_UrURq
z=ef%SHgJC?mI_DyjJ}cva5#bv(qL%;@g9-O)d2ih0ZURhAc)$6CE9T_?OXSzUEB;8
zfF<}$w7mK)U`a|Ne*3fFm}IpL61)cOuJC++Ac3i1iT}YG{uwM;>=2(o5_?JsHcNcm
z7c5z@#1fgn?O=I1a=kynUxQylB2s@b5*b!V{BJ-3^=1tpFT@q=h#Kz`_&K|EIoRy$
z&)}1*l#(28j$dDApfaxl21~RIEc=2HA&-IIgXPt}GQa&5gU~7PjXvH!D8`F!6bwl4
zIwYcfl5(B&2Ydl6Z`RHAJNy<bo6!s(=UfW|^Z0`gAHOyjt)CH5S$_X?L?z)ikm&TG
zSkbEyHO6oMRg3~jqXUsv4EN3@6a5)f(o*&TX?};w2`~W8@p0=?c18;#YLkx-f@QP0
z(8upi^0HoeNnDm>1)O~CKVZ2SxyQy#;k;pqcjhDw9=hSeHNWO2r6i9JB=Co67p`%;
z>0UUMw;QB?s~H@8J|9tCe2I<%%hoNB*k`v~poGcl%9&{GEBd2-cQ(k&&n+q~>Nc@U
zeo1k+9^Fdyr2Sb9y61H*$?sB<mse8Sy?d9EZhH0pNd3~{+>(-#-2CDRPDycY_vK$U
zx7siNb91Y4gYMlXl;n2H>DE0zr>IA6k3xO(N9}dLk9Kv)&7FB`kBK?Cw-nFnI&)T!
zVl{I{*Kv2;aO+LkIX#?--HS?!a&mKf<o9rjb>F{SadGKH$0^Rs=`k_CxOhTtX>Oq&
z@Rx4--M^&8^12q6PMnZGaYBzSJ#zAU<QA&zUrd-beOh*I_lZtX_b&Neos!a=+#J4l
z%gLMIl;(6V&Y#dduS<5$|G8!NpKckeK{WrTo7QNV`+shk_tV1Zqz@e!5u1>gQ#!G<
z$AsLxVy8H_n^X8-IuuWuo!#|+)H?xdMfs(<T}n!dCUoo8C8uj%mo5{X+-`aK6S|g6
z>{eQuH!-_w9!+CL-v7JpdD;B$rak`e9CTN1?!hxw#~wLO_mXZsN+;&zbnVuoM{y^A
zrjsXh%dT1HUV3<C?(&4j){_lNC*<c&=-#DxLXXn!rQNzr-1tgkt5K+akBKEkU5j!d
z*tL63my+fD=RvI+lyuGM(xa$*evb(gbBZSR$X{M7-RjgJ4~6ZKpP$>K`^3DW?h}ib
z_e-~QgC05EOLFo`yY_Ip_b8_E@>A(n<g))g^Dfyp-iQ@+?Vj7UtJ5PlFTZ<!xBR^B
zPM7?gjs2Qh4Xovx`dXcr59nmo-B{ern$Ujv<ISvE%kOJyWpC_IXx&?D`ELeVjYC6z
zyZjFWtrki0rzb-;FaLa?)jH`gdHLZz%Nq~kyS)9n>)8L>bUPrM6I5;fc?uk4nm*AV
zc*tjsKO+wta9;;dY<izRqZ$*C-Ugy;pH069q<I%S0~XT;4B%nn6Vn9)7^Rsfh%-*t
X4`5W4_#n>6U{(q&?w|lz(18H}kSfZ@

delta 22214
zcma)E349bq)~}vSCm{w1On`7VOakFFlRL^W9D|660RcIpB$*@}1`<eu$O1DQgP`aF
z1x&c)K33UXFtG3`YEXtlQE?ZPPuXwrTy|w$Tyd9mQNI7H>Pk8T=+^Jo>HgPy_3FJ>
zuU=Jk4=j5=^2%0yWkSpahr!YrV=G3i>Rjllp34|rI%-%PV;XMNi*T(r#N|(9j4r!{
zp0J0pgp-E2l2ISK>h#^VV|xyK|4>xaT7x-sJ%#5+cj;VPRmS`g&dzpL#@xDhk=>pZ
zGFXJCMP-)BR#P3VYf<@({n_u2<EIuS$!B+SezsBHreVyyUCa-T0Lk}+oL#orOd)sk
zo_BSMN+B7w)jV#W;d5x3KH1NhV2Jeea0DV*uv{>-tB7N@W_?et$3a+>Nn>p-wC?q7
z{H>|pp}QH^{VXVyt^G#uu7fg>ktsY<hnz^}SQ^P%MKJ#DUA^o4kQ|$8^JnqA*iIcE
zW^6KxI3#?K<f-IKzq{#esk5x}!lXrfQ*5_ZFxk01R7u(g8EMQqQcwI+UVHxU*!V%@
zk}jbq7Iz6ek@n>Y=4}!g=g<RBMBJ}OIdo=Ei%c5etvqg{KBzuTPtq_P5spZ^DbJnE
za~rp4OZ1q)6WksXkrqhQ9F3k<^d#<Y+}q}^;rko6jshEx1l!rh7|q|9Qs;8r4qNLa
zwxfEdeeDA7pJ)tLLwlHpcxfn;>-%le`Tj43(;_v-Z6$FPFptbUtfw%(XiOYO1gbhd
zuF1gWgFZDy^^wippVjPZ(nx>k7-M{)cCgh##xT$~BRXm9@60Wpon4wSXW~NU?7WI)
z9f$7rB~Lg4c9<V$C;6sJ_c?ppXFD+X&YnAGb9?*@n|m~`jPGuHvx0ApcijtfB6bI!
zaQ;T0?cAr&_BM|+W6jf7TBQ#bR^^MheNu#nU1vNHc%mk@#dNI)2|$!%L~I;!6TEu!
zCPwmMZ##+;iX&zV=8AY6ShKU`cbZR52al8<xDSD5lY!>$N7B9a$XM9=wX=7#IA_m=
zanA0m;+)BynmN0;nmO!|uoHqC!7s}*(7`bTB@_NMJI;e58V@u={V}%q#CJC%PU>v&
z$uDk3oH~D#uUpEd)O`6R<H0D+k+4iln|z(slzhmX#s_FH1OmUi$paqtS-gJ3(WtfP
zKnkvXh&tl|M1rue_Cdb9k^Qr{<<}P*$C^bXE^M|qaX_<(Zd$X&-Hye<faW}ZT>GeR
zZ{D2D7CX8B@pyi=%+CGQW1>WRcRQX^-bvEmY+YlF@1#kBe=r|9At0Y?@8xrz%ixVB
z=9!IBdFjNzn9ok0m-oKO*P<r<(N$Vo;o9$pbG?>1legKN-4B?vL!ZSjJ$AnXbgmzI
zuneh>+|L7t9^`!{^`g*U>{(mM%O|zfD*1{@8F$mDCh1j<7A+V?GM)#Hs|+*3p%1Xj
z;Hpic*+6{!>ZBHT;hD0`4*Q`>9+y8xq=m>(E-%eLEuTFjc%On^X}hRr&x_8U2kg$?
z+w57un7`Yd#<oajXD!m1s6~pp$cz`oJ<9W2zNsK%qTs9g<6&yQRR5Ijj;Hi5xSnr!
zM7pBPC`%C&Pw;v!ID2lhi{M8;b#isjhpI1<&-Kv9yl3Ia9>t_b$WQ6knS8)@7#MnP
zATK(59<xDLb7}-e^Sy<e+g=ip{sej35$R?Q1YJ<n)mHI*ZwukW69LQ&Oui+%D!pwY
zBc;~^6P<~WN&WQHl+2-gr+1qvb8?+bWFJ#zG0!jRcK2zTZLJ~G4ZShjqz?Js4*G5C
z{g3gpQ#uUuOZDnRxgU+#WoO=a-A;KU!V@1R&Ocs?3$JJ6xKW%D1(#vCa(G_x^gF0C
z{0{02<JXJF^cO1ohy1h-wF7UjgL^=j4!!w5OZwkl4|m4x^{7pQ9z*yGlbcFiYVZDO
zU0BcC>*DVorb{>e=#;^?*TvuA_PVh47@}^b9&LX{kAyqu(ef5OHcw4yDw2U`n3=`%
z_{FKkG!40~Kgx$r8!x7=NZhrSQ1buijn!?7lQb=&%Q37khuGpSw8n&(8M=@03)9Be
z$;p1)C7%P2@$$!ebq`TI(PH4Y$gKU^Yu9Z~W37@g$=Nx;%jUJ@e|$XMcM7>DIl783
zk75oxuBVaWW3azygft&WKpxv$>3t*G&X>@7f@RI1wZ#2|x4GU#WC#6D89`$*Be3Nn
zBM5f{hB_0s$xNmP@-YJ$Us>8(ZnX5Lot+geRK$;#_M%Ydx@QZ&S~{L`WJDL;$8)E*
z)fZr&;p64g3w$D&-S6HyU)ej<Ykkl9ROB3+$OWA#ztqorXoOs#fu>Q`#scTY4g-t2
z*}FquhzYFOf^M+{zr5J9kkKH0wqorSo;#z3$gO&yl9$ftM5{6Bwm2z-yd1#N?$J2f
z|CvQH8t}zQ&^z$mO=t3<1^md2ULB=ZO7El_x0j8q+lF?p%YWs3O4+d}nd|n7b?h@*
z=LYTOmzH3in`r0d<ti}d^S$LsQpeCdey-djb6oBEI-k*+Dw9GrPoFux73mpTTj^b-
z$50fI-bgqz`H`6!UGZGEF2(E39r|0+XN|~bF3t4W3LZaej2JOmo62WB+x9HwYX2|l
z`qYuDMV)&tPpELwnuM+PixeHsF4Fg6O~QCMyJK8>YGOPb)-`EfMK5WW=NEi`Mf<4p
zh!(r<=jSS_x)zhXkRS5w7+1>m_AF5s*o`r^X9>T1p5*0~?P&}UWplB=P-8rm;^r`H
z#Wrgu-&Z+5O6XcUPWbu{!q;Q@xT+uI7`PYL<jqdfe8PypGtTY1SlQJ-eSetn(vY8%
zu_Acf(?viEKF<;gcM*_eG>nu=={}kk2v9QsLrbvWtM(an?IT0W#DXW})=sAS=(-N0
z=ZIwjR;}QJ=X8=wM(8>2_j}|>xQ)7zpwSoBv5x$bzbC(rw!5Kt<kFQq{mE`Ugtd!X
z(DoU-s++X!bwo!o{!}E=(gCEXV@&oN_+`zqCv!CEDt{k-YHq-ETbkHKE&s(FiQQk-
zyYbD-JY`-tldl=ipI0THSq#58uajAy!0q#s%x61KnLkn{hQQl=*?hCD`vyNUe}KvJ
zuhk2V$wzc`YQeKz;c%`8-gf8|A!Hl!m>khdPPRrymL7PX&+~N?gSa%rIi2H#bJ-OU
z4RSD14}Xbz|6l6{L-zz}(8OR;#P&9$Ro7QLy91lii=9r8cClvrm+IO_hBi9PAmNGr
z`n)&Juf}d${n)WBw~k%yW{llP)8^wmdtvdt(!N#LJ=&a|6E&QUF<y3z*BYFV{Sn@$
z>rcoyw!lAXM*3IOTv*uHM$;Ela2CI^_|aBm{OuBb{*o3C3z}YI2Ek!$2W>%dLUt$C
z8AwxGOyvX0+1s%-6pnHlNW~<>I<-$Nd6bTg=E26z>G0f$xr4Q0%Qu$010$P?egoTO
zzxqpjYapqIsPnv1#%j%eJg-wq5d%ZBN~IBOclp)8^r$z*@xa69%{20|@RnimeS0dM
zwr{W!V$Y~QRq0(F)r2p{YKRq4tbk@dtjmGz^ytN1hS_#Rxp4OV1|HtVvc{0JLMy3b
zVVE9zonKn&>PQA5A0F13pVol1szVGL3UNYk>Ut$ld8+Rq@Q|@P^h1?pS3CYkwpY$u
z_}@8i|5L7x(mBU&AC;lkS1(g6C-20<bC*3R=2<{L#dj|2CZA!-xn(Z#tm~(F>~a;X
zZ`HV$AJV$Y0lLv3LPcHe_hnbNT$d>>G@G}3=6sZ>cPG?be@4?JV69g_JD|VFK9TR>
zi~(Q3_w=U2Dc)zC&XSqw?OSPsPMWlLx&PVuQk?&7k!ZvqN1R?Aoxle_*UKbnH8|O6
z4+tIn`)}3P{adTPa@XVcP(XWGq^&L!>IRcR>At|P|MEf8jNkL&D_i%Mvd_{Q$^$V7
z@EDw%Fw129yY!CAd)yvP>njDi2y)6Uf?m6Y?_8N-%KMmKT6su5yWiuRRt36B87FG&
z8!(%h?u~_f#0|}2>c`Znh7VocO}6tN<8xNOdbfy+7U$%o@qEDb6mzor7m;nsF1hCG
z6}*TiwGwS^v&-AcTTqhV0q`B=o(ZNM4jtKq?AR~X{3%|hN0Mz$;}GTtu4J9j+8VK2
zpS^guXSO4<C39r8WHn2_WNDK>U|w64-MKY1+qwPxY-eH!`+@UfvpRE43dNlxGIWve
zUE`9bc)q%26(t@zVm4ewzv9trljO@1y%N)|iL=WAZ268MIbvHC5N$%3vN9Lx`rrAu
zwPu`S1G;kU^tRHR2kJrvW=a#?!}!?^2|Q(8;|5zbp@;qr&t2C^9J%$tw<7r)Vgvnv
z$c-nEa=I+7a)?mZnRgwwiAWzjGE~fWt{W-0P?#<^)|m@>;2O^kdZMH*X?#hrlS4c+
zmqU*iZguY7H5+Gvczz~0K<3Ee@8oa?{>|G}|Br0TI?&W;QX}$TTWqYMM}WV#t`+aR
zK25xo62}NPcCVCr-I_F&IlMN#4ZQ-Q%!H%NS)9BzT0cyBE?>F6h1`7wcH+d2p;(BK
zS1t~`A>1uo6Y9y&tT#<@$MA#=eJRoqP4_rjB(a*nE+%L6kiookLwiTD$f|x?MyPKL
zac{n9!>b|{Ee)jb{EcI7Ir<6Lxc_#`(NEOZe#Q51&uJA>%S<io!HHhdzFfVdwGbDw
z9QGyYGa>GldiSS%-lm*8sPM--sPHl0zhgQdxj9)xHl6DIo7bj=zhsbRoV<gKkT*te
z$yaWR=XuYIm%8SviJ?>GxNG^Q=UWT8x9a`s?d_?31#)A#e^U$o!}C3FuM_*-?RD}W
z6qA1Cw${9A%iucOYPa0UwjH;ZQ@agvq-~qFT5R)MhRVH(U)*{p+t%N~wjkt^ZLRr$
zZS8J9X0@wtuakQfU$Jd`olXADy?LAMlW#A>@4rRHR<VQe-8S?jZSL(tPm-Rv#T-%Z
zuexpMNm}_GR47B}t!-e&+?|g|97;zR_U4hh2G!x*T{G*RiS|zm&AoeSl<2G0&G+vf
z5Vb>`kNWWIySvGHcMj@%^RaszlJ;hLP5B<YZ<PuT<JEhUNI2g9kKo7m&ZIQp&@&!7
zOm$23QFM1a6&lTl|Ej&r`k`^R&-$S;4YR&yJg@#$lBrxPe*9OziV8sHU4audl`mv8
zYD*miT1=+5hxnF)FD8RRqSHXAgdeXNpC#yHK)*y^Q|SEj1I|Bq&ra_`@CK3cT9wE}
zW9su-U@9Mda6k`HA9|RU6la%X^-GL+FZ@2<JgTL}GmY0Ce6*|L2c4D)oEuEpp;7g`
zdMS^4y>m^;p&pu(lv}FLP+KJPd&B&?J$IBooge(2%b^6<uWe=g`tQWh<4{z_*Bnkt
zRXpmYbwC&uqK=)tu|^u|HL+(J9cUc*==RXjmRvhxh=J2R<vjUFsP6gNkyTMUAR=PW
z1is>b4n*yNs!!cFfe(K9etLF9;d#x=V(aLL43zUzFVA$yon1MdC(WH)IUoMY{W9vn
zv+0#?=B{>@@U>F8-mD7#`754|N_CjRg&*ndvGR2YZ^mEm&SxFHTOQWGz*j?cR0vf`
z)37A(io#K08}qKwBXRiFEMxI7$)W?fcpEKs7)9<8eRakgb-Zz)xWUnB4%*q_Dmrh)
z$U1!F5$-Ez+<4V<pRz&7Jf>M>?kAa|pU#k{`hjfGPZ#t<Z!ttap}BnDt73NY!1;MR
z@inzopT|ePmeJ538f-EBaYziYU-;wquXX$xzJ)b$ujkr2)0f)27-Nlb;Tw?nYD<`&
zTMNt=9qZos9N3}(ui&onPfqpbue_1NjW?ogJvi_F#wgo7&KJC~z;=`KAK%ENTjrb7
zM(l5GuvoOR<H~DiFxK8+?K&9jIIcuon=%cSmt(Mf;G?49${lF1z5NV!7WC^W;O`F}
zT;&7!*Kf9L^SP-=`dWiE0sBDQZMY9!%R3w&``8q~5rE6qpe620K<j|JRg*Jq4OY|!
z67Mk@)b|123r)yQ(m40NhMJX+=f6Lm8AGC}B&_4jL-*M7*6|UcOuc%Y!FuucLkWCa
z$Qg4MC<8pu>Rk{MaN4+=4|vnT+ntED<pz286J46mL!|>ezr>v^Ky~4XE}dTnYzml+
z%kHZ8AImk^nqdapI)cA&qJ!;fkiT^zGp1d&!McJIFy>@GTV6FEcCvfPCe)Jktw;uZ
ztj3`HA%hKn&|phO7_6jh*7SnP%Hml@@vK>8v)DznQT?ufC&&YIv2g}l39Muc?_;pf
zfy?g^dKl}49>dp5Jpf6M73)cl%rmG}dR#<1B_na9!Agf4?C5Ruh~2<HI<-!(*kCY2
zxNO<!<VHt<GNDU6@B3yee)e>%&AyTU-|4Zou^V~jTld(OZRE4w>KAi#qrtMlc4H%d
z`K>lK`zHRuTaWpSO$Hl>+9eoI>)2ZHsh$SAbicutfhP{UV*Gm;Y$)n4Kue{0{U|i7
zw|dsf4@;v=Q~AqpmvoNbj4*+G4WZr*_gTfoGb(2l%&0V`&X`)sSmkCu@Jyy{#b!SD
zOktDwF$Q?#ytp`q|Mg5~Tgvmi$vcHH^Pe|Z7AX18^SSS&_BsRD0`L>uX;v78PgWLJ
z7$pT$ON)zu6`gG{SYzSUEAK?xj4k}1?>uH(u%%|~yQvZF_ku{})$KARoWh-Eq^K8-
z$njUU^Aqn6)Dy58q=|S>`u*Lu(L4Cq-@o8H1qsPp4VHt8T3x{P0G=PiRgP;uu4iy<
z#kCLDVO(c$eS+&Mt{-tV+Xl;UmEl^3YYVOyaUH}J4f<=ipU3qzt{b=-LCcFs3hlQW
zPL>UD8J!NnJrCDRT=Q_P#<d043)}hjKit#g##Dn*(df@K{?|Wru%+zcG3WZl%-IDE
zP?@)@X4E;GHeoRqvF5<{;M$63Ds-oo>W<04j+!*O(`4opzPSGy7o}2#SK+w>uB*HG
zZ_c;uUOvwNkcyPfF<9}O^3ti^sg*`~!HlV1<d{8jJfrvUug|xMdDxViy@xmdAhq8S
zSW3Y<8C*2g7vN5v#TZ6uaY-fV#S~8hTt~cHO`ZjN_@WQ`wRsPa?E3`w&bVJUMSik}
zfAm3TTc4tuA3yl0N#`rY28fJ}o-FSdOXR)Cyk9Kg-+%FujdA|LmmPdpF&xyF23OeO
zse=}b7pd&H1&;&XX~Bzt)tW@@_W_GV$CUSBAI2`;CDV${rm@d~uLIMBCH!q4#w-3j
zpm6X>S*J0bjm3!6HZfQ{@j$EJiV-qc4^!s<0+;f7og*T^Z^6BQdjR({`5ytsde`!D
zzmfEFC|NXi8r7F9_&o4gG$Yl>lnMPAn*+7x5Vl1!yl$u~cJ|H9d)=68eAnfU1Kn6+
zlmpAbl?zPk0ZG{iJjX&m0elm^ps}FW;^7>xiTukwTC<K(s5A@p;N~O$>hRGTM_rRE
zs1TM#V;j+eR%0t&t<EI>W6)_WrL3;n6ISi%e#U~6k#GrDqu%8AHDI6yv>3~xu}x?|
zcnWk=9a!naM+>+t8oNOq0Ix)a;<wU?Pi#Fz1C32+<dYRUEe)&;g0H<HZe;QMG^2pq
zSrj5Hi}WDvX%rq6!^9p3detdprGMZ918sh`S{Mk+A_dY0N#T*$juECMNLgs5p8}mW
zOV$nvtM=4T?O7;*d_=flVdxHq_YhIk0Wplh!^gm6IAK5V=avY35!mlUL}J>ILO%e<
zuC0$yl23G5q(K(!W66yf8;S<RLLEFz7!!k7X}%r=J_0&fM06^9lMHdE8Y<!Vau-9?
zD|$E{ovi3SDWJYW;@WPC;r5vIXh^r>KSAN0@Q_L<F<66ZVSt*$q*<<N?=vl^s{qbG
zgR^Lm07kMnANX>Z0NRSkA{7kBw1u(Kt@s(pyKc&Z{nDlBy&5*K;@_b`^tyTrJ^>zX
z!LisXt^`&?lm$E#J6DAZflpcJq}aR^(I3U1w7{$o_*pcFh5+TVBfzx%M{Ge|$xm1o
zjU|9lZSu*WfxzlaKzKT^IvWtK1|AF#XcYfc@g^$NX@T(9zzNXUg&qjEZiYMooND61
zz+#hc;xb^h%_sg1z+#_o(q9=QgVYV(X<_;Tn1ZsD;*Tnt4#s+ls4O*c4lo6wY7l}z
zRVaCX0!#-2ODYvu@<<PD0{u?-(dL-;@UTw>*)mj|K?S*(ETD2c)ev{8sR5mSs4K_R
z&i)BZ^mwqUA+hpP!wc#4?Za^&2etx1!^a{)p$;dbVvS|YR|D^~U=naS!=M|Aw9txQ
z1;08)k-W>m>NG{z5zm-9P7&^SA7l5Qe83Q*G@H&UP(cF4YK9?c^)UK5g|jJjhZTAv
zaH&$rW@B$WLdP_NwH0(5>&Fj#<M7c5OBQnwegaQ`N=K^eeI5Xg1xD}*m+S`~46NqS
z$H2oa^vD+Y>9qx;nNJ*{tqRbQ+KTC5tFQ|KuEK=Ys34!@0jonK;irJ}&_OSg{t~b{
zP7?jMxxg^6mVy8-yPP`-4bb5wG@y#E@X>Jy5K#u7bsdkeMT2US{xUErKt%(6*#vCx
zz%QZ@c-us5@PIM@1^th_)3*+v)dXruXLngN_HU>dz258*DpH{ntSlN!Y>8Y2EJoQ3
zBf^SK_kBNsXSRfouR|p@NE;!Lj=<JE3Sn7f5YRDM;s1c2@JdvuiDRV`A03Zn(OBqy
zsZcg5$ffb4W=M-woO(tvMjlBw89tpTEw-EZ-+2x3q(>X#GhujqE7>*urBuULUNd;@
zHM`HM6%i}@8gxUER)*tKVf1iJFLq>+?ZYv>?6J^&;_Z*6Lc9sO6aF=<xQsYZ`RoF4
zA7C|X5eYB=Sk0~8!1FBh@xVtdn5Gt9I~lS+)8cSUud8H{7FqEU2s9wDH5kO)0ah<c
z2!8~;0(3RkbTFO)reP*}jL#z#xP%G{gb|p0*T8^wVs1P!5^D@xT4~bv0h0^eCjJ<h
z-kphzjrM^tatKG8^Z}2_z^gX#N5C{>mlQn(lbbA{LX&kCaJvolll9qrq%UAKS<eDf
z%qW2=T>F>9w<*j=`GX9|qauA4j{6KY1Xa<)ae}9w?!~G}?JuGQxoAHy@hklOc#I+`
zaNJ}VPNQKKiuEbL$(B`)NY)MrCk`>_h9VUX$MmL97L64Tfy<OUo1MKp6j5{#J`!OE
zAO0{D9RgD!pZ3RWuK^~}gcku{0~TQmd<LVHve95&OnOrc;v8T_Z#q^g918*DftL!T
ze6blt`@z0KX#svJBN*lY8x{et03QTa3jPRu&4Tf1ja5J)!&KlSVD&<d6mDOHtO0%z
zw!rzoV}U!G{GE27Vi_vBn-yOIt5<a-;HZcas}nC^Q0VoX9W7MGBrFRS>Nb!FoM@pF
zR&=`W`xzX2zaiO$=Mg2=il@*)!lwFM@e=SH3#OK58VYED{|Npopzj4A8Iai)?*@Ra
z+gZZ0XzXxXM2R0AsANS15+IAlK81jlpvR+vazkTyd#42xAH5!yMPu2Z+d;>sQSf_#
z)r(MSKXSPAP`()y+j1Y27EuQjM$cf4p&>~(@c@kau#*OwQkd%O&0>1bY5>WwT~H!%
zw27bN&Hm%?SyduVdh06-`b7!H^mbYnNe{>L=GscP;um1zS(q%cqtFwBy4BL)92kx?
zWDu{QmB1fCzigo=x5tJS?L{_&7pV}IMPhpKduNP6r8mY_hHy;p!madh+%t?m{AY0f
zsCsz=e8?SSF%_C=wsClXLWxkG26;9x4bcS?{|cBq21f|`kO_F$Y(^d0p9Ut2SDN&`
z6S1OU$g<7$<-jx~s{Md_^1uL%<4uM`laPymlT88L@?{KMGI1U-eHBmwcJP8996qZ}
zuVYXKKqV(yP$2&mxCl7T#JI8Q(FWa6G}fX6(kJ3p#HC0m4e7*n-NGM^r*^=5zq;4<
z=<oy<Won>Q9EXWB938+yF)_v>ACtn_m?`ArHQe>1!>3;5lS)()#u(zR@Wr3N`(eTv
zn0OajkjYfy#~R{JH6MdM4jNFlr1vNGj#&0VFDIwV{%}aJG;o9A>htwJdmK1!OFdo(
zoNd9>)0syMx}it|!ts?bI(;{iMPtW0`XB%uwh+y2><T(i-zvzWR>X@A8=Lfjzy@%F
ziT~A4Dxi|lkfG9p$3Z6_{|9U4hw#u4;zykJ8;17iPXq<<LLVw}EfxO)UV;WHTje}}
zoe?k<67UP)qrgf)<YWx0iXvpcalkYL&_gKj?i64Qp;)k>(6*^qQ_-K2U+_69j#?Dx
zI!$)i#O!b?@CtNzw~1c_P62;M6Mqey4~%FR3c4O=Onn3*g{QCGra638r-PBjS_Wac
zffpW@C?R@J3!QNJc!O>z8hhISw(!3SmykSE3zHAz;Q?4IX)rmu6klG4V$hUH50qkV
zD*^D?df>63C!-yyd=a=BSoyf)bbP`97K09YOmLwFo2)vaCEIDyk?{U7JamFV)hHV4
z(h0AnfDItEkFe7Hpl{t_u$_Y2#{L03cxOFEwU14)2%Ov*fw;XsFjoVA4lKsmoSLP1
z)EyO#y$bpZpgRPziCQb2D*P6H!nF;sFT8>=W0FC9D4O^ij`Ir)QLpIXc!jqiJshjA
zJ=FfP4;BpH(a=IG1NEdn1E~(fvHD!3=;2s>R#J2;hW&8)WP@%f8gn>t=s}oBWMh4S
z>7%3C=}ZQu50K3Tw~eg=rjL+n2wnlE50Z-h1u%V_RJkWE5i<)|gfX-E*uAKrua+u#
zl>pNhObUETUaNrVYvx@hJ_<}<HWmM$f$1x!!p)PA{D7O9{C$Dx>!;Zvn*vN<LZ!k!
zd{sk5vu)-H03E&toCTb13iu0f8E|V8$9KW*7`T;*`vY$QRtir8ei68lNnZ<m5IDxf
zwZN|di}pTr_!TP7qe6AivMUqcUzNrKfNy}VTv!TB-(}-Xfk9w=pOx>;Any%e`c$jh
z{|%Tv*|s$K6Obb4^DTKyysjRE3i_6-Ts#AqzU!(6>w)PTuTtPRFn#Y;{C@{lpS5Yo
z+H}J~7j(_+&;u;KXq))GA;`v<CHeHZgcg{n;WF`%3kfd=u2!=Gx$13TN<`Hr{eA47
zDRHR<Ytd-rLd<L2MEeiN%4v-b1pa6ow)@5M+aSrmR)BP0V6dKuKf%zgSblw-V+xoJ
zOw&l=|C`K2UT~WNdry(mQqfOLXDk{Dt7IEJ10BKx?I4em@i5@gpbs+f3Sgl?v?;JW
z*bM)|+h?7LU}b%#7<5A+U*3ujTIi?llQX#-e8Q<iCBM>f1x7&?I-36$nA(ejtCa5(
z6_QDIcxkF(wz(C56DF`#cO@Q&BXrO=412?{KMZf~F0zpnLIPd}1O1r5jw-djs2>-Q
zN1FElVVb#DG(ALE7L8SbetBnooKk%|3!QMK1#ihkgKyCQH;BWA91q4Wb6A1D1s-m}
zBw*(>gKj7qYu^*w3eeR|zAyMqwB~r!%2EWD6<~=L4Q%W=;58PJM}XDOBuItwGE7#`
zsZb;xFtLiPPem7fuUNFW2@$H08{73#NRG=tAYvy(o<cQ=%n2T7gxHIH+%Wm%P$!3B
z|MZ4*D;|q3_Lt))XON&qim)tFUN{~;vjN@5!YWu^Wdnv=aA_EQMHs#mhU2Rm%4>)x
zVZRo}(8q!|&qR*gEn|_K_9x&{U>znBE}bRYQwE^fcMzD`CzyD%bn<A6$d}=?Du_^d
z8l0@$LjN4}YS2}v5dFA?-n2Jk>K8N=Dn}|XuHdIGNu}?B)vsy@_o<{4I~Zs@sNx<7
zP=x~J5n%OG8xlyxJ=+j>v|tNCuSI*2<xKh!3w<Bxmn`%TfzMhnqy2W=oO*$_yJd&e
z6?NDvI5Jjq^s=%H1Ity&P)=A-DKRNUHdKiwkJ8V3WRbzP)q+<;#C3>>r6%a*Rbcxb
zLl~gUTsF79eJ#2mdFkM%p}Z`*@L5@?tK@n0O>T!rTj-q-4b*-sv?Gy`Rah^e0u{0X
zKYFbzG!mV|aQ_q$C6b32@`74p%-JcHKAuDy`o)tSTxt%gUqF%JR4Og}*T7$=16p)&
zNgM}0<(7jMerkWif`_^gPRTGr4b3bFNU>mQFnYd0Hx&H%1oYvcTRS*vp`Qf(G0;^s
z`~x`8g4?IUiNGSh!8J4$>qR~)qJ(%Gs{q43V8g_?F~diQiu6D@J{U%~;^!gHzPF*m
z?fiz2M)FSkzz}a?xCX3#R7NiBkcOQY6lyNIhsMB@fz{Tr0$Ba5jQF1iRzD#ld>Z&Y
zOZ#iU>bGP>9}p_XsS{&DLqKuWdM0D<pn-59;%XxB8DO%V;;bXZv{@*O`UJmeiZEJY
zF^Z_wiwu)VW8=e`%nrjm48InJ{}P7dGfdIAkqZ4Y5Jsv{#k4SnwPCn641X1dTV^V0
zvV#F(xHJq0Gwb^o8od$5@V79Wkkzn*L1B1C7+xQSkB8yE`@$;PWH;=<6Nbyf@WwEF
zA`E{MhTG*dl<&JQtYTIe-W-Nch2d|*aEE&uc5r_fu55^XH@7sbxcOEX{w@p~_crX{
zfiOHf3~vj=XBuGNH#h&)paKcFPs0u#1U}aY6Ad$~Ii}Mn;HwUU9RVBR3BdcC$cadJ
z8t`5Vt^%G1Oj|Re`+$!qI{jv8IV#4Xf|4UKYy+MG9B<;oz!zf;HV;#o=pkVGkyNfp
zxAny<H_*qKcoy)Prdaf_91#DLzynUoOwbIwmJPtPFC7YgA2Iv^6|{>qOaXWGL-w9m
zufPmo`u$0qslW!J&&Owalm9&MIVgPH#210*K_N;_B%k$X%xzI18JLzADBu$eV^EQJ
z$^biq7b4j@;EM?cI|EDtP6D5bheD=BcDG!Ql*N01)elDF!2cWIg!c?aB@PoiVt`!#
z+`uF+9atLZlNIYxLF-WwlqH7qz_iCS%my(7aeVOCTl^p}Z35Jo?gyql=xCGwFTk|i
ztTAy{oc?G}tA;oan0_g^*JoO^5*1hBB4TI;59E08S{0a9bQ&{1Fui=wHwE?{f<5Or
zgAFznK0XXCo-I$UWWe7aM0>=D8j>eRKw<3a$JwNTTY>3!Za%*$FzF$<7!{=^ei4{{
zw>C6FHuy6z?W``F9j-$3(a+50nf#l8>BQL1#H~g`fq@1aZsLs(<L50dgW*5x5FWk(
zj0G1j0ZoQcV=z|eAkW0-foV&uTsq|u%!&!{h-tx8Fw!<Y!Q`J>00rRUbQ9|(Oni8(
zHSsZEIsq;-@xIBJhO;q7<4lcy0Zp>u@@OzLgX8;8MG%gWFN4UXm5*Z&GZRB(dSnN%
zH3kZ&%RRdC$i*2A$2_MD)6|b3HVsHCXUy-KZm<+nU@0o-B&J;W<E(~3II#jzTNPZ|
zN}C^-R*;^No|BT3mX=dokXGOdIuf+xxWW`yK|xAkO17&gt0*%oGx$J)X2fNuXL^e>
z(!3?v8Tgx#8k~`*^=;-Y$Sh9JE-5Z?6{e)7rxbaDGh1ujg8xX+&UH`sdZ*7U@=i{x
zm|l_Qef&vQQSO>F_wm`&d%IjYDcL#MS*hs-C0VIi*}<!=wSmow3yV@Si(MtfE-$D>
z1)kuw)>>+?s*RT5%P30m7P(SVi%MK2B`GD@9@cw!!HlvQy<J%;1x49~X*sSEZ<;ry
zq%bF|*qh@mN-s&zNQL^n)BkJE%sX@X!h~kunKg_v<G<$2y0d?J1)piFjq|1FxUy4=
zinFs*3Udll(~3Ml(ZV~qs<-QB=xItfZ<@=So>`QY=`Bq0rk9kIq-PbRW)yl;GYc{c
zateyzWw82$!+)N)&N)BNn)Balkja9x+G}kO-)N^@)Z!3o-b@Ohq8tQ}H|4OsqqaUH
zsbUKB&Ya{en_fPvxT1npJXzr_C@r02))&vIES^ymTr*mGAr29kQB;(gm6?;7nw6HG
zad^ZSt%c2<R+v>>l<7(<&h{2%r+YnY(u5J|)I3wlaJiIlbmYpKQdF3M$S)`?E=o<$
za;2mMcRZr?ic87JNX^ME&PgvQ$SHDV76mUoqVeen-}LOl;*=~`c0o#3aVCUUR2Iyt
zWRoUME-fo8D4kSZHgyL6%~vA(FI}C|yR?+%Q)YH*PDVybip!On?n=+e$x2HLe)5Rs
z2!1<G`{8iM3EGTq!5JPcCivrcty8egc<tW9#}{i)HwxxHtHs-@=LSoj)jC9q{}y&p
z@abo@&XI{Yl_XXNU!rIFm1)AB;79aKE3kV{(Dodj=g8;o&uLw3s2fH1V|#*gac}(j
o9wa~)6R&tr27mpW);8kv3oQ8db6Qfu;Qz(4Q3bkLkUB;Ae-l_0^8f$<

diff --git a/recursion/compiler/src/asm/compiler.rs b/recursion/compiler/src/asm/compiler.rs
index fbf11323e8..8047044aa3 100644
--- a/recursion/compiler/src/asm/compiler.rs
+++ b/recursion/compiler/src/asm/compiler.rs
@@ -744,12 +744,17 @@ impl<'a, F: PrimeField32 + TwoAdicField, EF: ExtensionField<F> + TwoAdicField>
         let loop_label = self.compiler.block_label();
         // The loop body.
         f(self.loop_var, self.compiler);
-        // Increment the loop variable.
-        self.compiler.push(AsmInstruction::ADDI(
-            self.loop_var.fp(),
-            self.loop_var.fp(),
-            self.step_size,
-        ));
+
+        if self.step_size == F::one() {
+            self.jump_to_loop_body_inc(loop_label);
+        } else {
+            // Increment the loop variable.
+            self.compiler.push(AsmInstruction::ADDI(
+                self.loop_var.fp(),
+                self.loop_var.fp(),
+                self.step_size,
+            ));
+        }
 
         // Add a basic block for the loop condition.
         self.compiler.basic_block();
@@ -815,4 +820,21 @@ impl<'a, F: PrimeField32 + TwoAdicField, EF: ExtensionField<F> + TwoAdicField>
             }
         }
     }
+
+    fn jump_to_loop_body_inc(&mut self, loop_label: F) {
+        match self.end {
+            Usize::Const(end) => {
+                let instr = AsmInstruction::BNEIINC(
+                    loop_label,
+                    self.loop_var.fp(),
+                    F::from_canonical_usize(end),
+                );
+                self.compiler.push(instr);
+            }
+            Usize::Var(end) => {
+                let instr = AsmInstruction::BNEINC(loop_label, self.loop_var.fp(), end.fp());
+                self.compiler.push(instr);
+            }
+        }
+    }
 }
diff --git a/recursion/compiler/src/asm/instruction.rs b/recursion/compiler/src/asm/instruction.rs
index 66c1fd36fa..7f618d50e0 100644
--- a/recursion/compiler/src/asm/instruction.rs
+++ b/recursion/compiler/src/asm/instruction.rs
@@ -113,8 +113,11 @@ pub enum AsmInstruction<F, EF> {
     JALR(i32, i32, i32),
     /// Branch not equal
     BNE(F, i32, i32),
+    /// Branch not equal increment c by 1.
+    BNEINC(F, i32, i32),
     /// Branch not equal immediate
     BNEI(F, i32, F),
+    BNEIINC(F, i32, F),
     /// Branch equal
     BEQ(F, i32, i32),
     /// Branch equal immediate
@@ -683,6 +686,20 @@ impl<F: PrimeField32, EF: ExtensionField<F>> AsmInstruction<F, EF> {
                     true,
                 )
             }
+            AsmInstruction::BNEINC(label, lhs, rhs) => {
+                let offset =
+                    F::from_canonical_usize(label_to_pc[&label]) - F::from_canonical_usize(pc);
+                Instruction::new(
+                    Opcode::BNEINC,
+                    i32_f(lhs),
+                    i32_f_arr(rhs),
+                    f_u32(offset),
+                    F::zero(),
+                    F::zero(),
+                    false,
+                    true,
+                )
+            }
             AsmInstruction::BNEI(label, lhs, rhs) => {
                 let offset =
                     F::from_canonical_usize(label_to_pc[&label]) - F::from_canonical_usize(pc);
@@ -697,6 +714,20 @@ impl<F: PrimeField32, EF: ExtensionField<F>> AsmInstruction<F, EF> {
                     true,
                 )
             }
+            AsmInstruction::BNEIINC(label, lhs, rhs) => {
+                let offset =
+                    F::from_canonical_usize(label_to_pc[&label]) - F::from_canonical_usize(pc);
+                Instruction::new(
+                    Opcode::BNEINC,
+                    i32_f(lhs),
+                    f_u32(rhs),
+                    f_u32(offset),
+                    F::zero(),
+                    F::zero(),
+                    true,
+                    true,
+                )
+            }
             AsmInstruction::EBNE(label, lhs, rhs) => {
                 let offset =
                     F::from_canonical_usize(label_to_pc[&label]) - F::from_canonical_usize(pc);
@@ -1100,6 +1131,24 @@ impl<F: PrimeField32, EF: ExtensionField<F>> AsmInstruction<F, EF> {
                     rhs
                 )
             }
+            AsmInstruction::BNEINC(label, lhs, rhs) => {
+                write!(
+                    f,
+                    "bneinc {}, ({})fp, {}",
+                    labels.get(label).unwrap_or(&format!(".L{}", label)),
+                    lhs,
+                    rhs
+                )
+            }
+            AsmInstruction::BNEIINC(label, lhs, rhs) => {
+                write!(
+                    f,
+                    "bneiinc {}, ({})fp, {}",
+                    labels.get(label).unwrap_or(&format!(".L{}", label)),
+                    lhs,
+                    rhs
+                )
+            }
             AsmInstruction::BEQ(label, lhs, rhs) => {
                 write!(
                     f,
diff --git a/recursion/compiler/src/ir/builder.rs b/recursion/compiler/src/ir/builder.rs
index 59aef594c3..61d254e8c1 100644
--- a/recursion/compiler/src/ir/builder.rs
+++ b/recursion/compiler/src/ir/builder.rs
@@ -401,7 +401,7 @@ impl<C: Config> Builder<C> {
                 builder.range(0, HASH_RATE).for_each(|j, builder| {
                     let index: Var<_> = builder.eval(i + j);
                     let element = builder.get(array, index);
-                    builder.set(&mut state, j, element);
+                    builder.set_value(&mut state, j, element);
                     builder.if_eq(index, last_index).then(|builder| {
                         builder.assign(break_flag, C::N::one());
                         builder.break_loop();
@@ -481,11 +481,12 @@ impl<C: Config> Builder<C> {
         self.range(0, bit_len).for_each(|i, builder| {
             let index: Var<C::N> = builder.eval(bit_len - i - C::N::one());
             let entry = builder.get(index_bits, index);
-            builder.set(&mut result_bits, i, entry);
+            builder.set_value(&mut result_bits, i, entry);
         });
 
+        let zero = self.eval(C::N::zero());
         self.range(bit_len, NUM_BITS).for_each(|i, builder| {
-            builder.set(&mut result_bits, i, C::N::zero());
+            builder.set_value(&mut result_bits, i, zero);
         });
 
         result_bits
diff --git a/recursion/compiler/src/ir/collections.rs b/recursion/compiler/src/ir/collections.rs
index 74934b71e8..d434a563aa 100644
--- a/recursion/compiler/src/ir/collections.rs
+++ b/recursion/compiler/src/ir/collections.rs
@@ -186,6 +186,29 @@ impl<C: Config> Builder<C> {
             }
         }
     }
+
+    pub fn set_value<V: MemVariable<C>, I: Into<Usize<C::N>>>(
+        &mut self,
+        slice: &mut Array<C, V>,
+        index: I,
+        value: V,
+    ) {
+        let index = index.into();
+
+        match slice {
+            Array::Fixed(_) => {
+                todo!()
+            }
+            Array::Dyn(ptr, _) => {
+                let index = MemIndex {
+                    index,
+                    offset: 0,
+                    size: V::size_of(),
+                };
+                self.store(*ptr, index, value);
+            }
+        }
+    }
 }
 
 impl<C: Config, T: MemVariable<C>> Variable<C> for Array<C, T> {
diff --git a/recursion/compiler/tests/for_loops.rs b/recursion/compiler/tests/for_loops.rs
index 1af176dedf..eab66f0f12 100644
--- a/recursion/compiler/tests/for_loops.rs
+++ b/recursion/compiler/tests/for_loops.rs
@@ -197,3 +197,31 @@ fn test_compiler_step_by() {
     let mut runtime = Runtime::<F, EF, _>::new(&program, config.perm.clone());
     runtime.run();
 }
+
+#[test]
+fn test_compiler_bneinc() {
+    type SC = BabyBearPoseidon2;
+    type F = <SC as StarkGenericConfig>::Val;
+    type EF = <SC as StarkGenericConfig>::Challenge;
+    let mut builder = VmBuilder::<F, EF>::default();
+
+    let n_val = BabyBear::from_canonical_u32(20);
+
+    let zero: Var<_> = builder.eval(F::zero());
+    let n: Var<_> = builder.eval(n_val);
+
+    let i_counter: Var<_> = builder.eval(F::zero());
+    builder.range(zero, n).step_by(1).for_each(|_, builder| {
+        builder.assign(i_counter, i_counter + F::one());
+    });
+
+    let code = builder.clone().compile_to_asm();
+
+    println!("{}", code);
+
+    let program = builder.compile();
+
+    let config = SC::default();
+    let mut runtime = Runtime::<F, EF, _>::new(&program, config.perm.clone());
+    runtime.run();
+}
diff --git a/recursion/core/src/runtime/mod.rs b/recursion/core/src/runtime/mod.rs
index 9994ff4f85..ce07247ecc 100644
--- a/recursion/core/src/runtime/mod.rs
+++ b/recursion/core/src/runtime/mod.rs
@@ -466,6 +466,15 @@ where
                         next_pc = self.pc + c_offset;
                     }
                 }
+                Opcode::BNEINC => {
+                    let (mut a_val, b_val, c_offset) = self.branch_rr(&instruction);
+                    a_val.0[0] += F::one();
+                    if a_val.0[0] != b_val.0[0] {
+                        next_pc = self.pc + c_offset;
+                    }
+                    self.mw(self.fp + instruction.op_a, a_val, MemoryAccessPosition::A);
+                    (a, b, c) = (a_val, b_val, Block::from(c_offset));
+                }
                 Opcode::EBEQ => {
                     let (a_val, b_val, c_offset) = self.branch_rr(&instruction);
                     (a, b, c) = (a_val, b_val, Block::from(c_offset));
diff --git a/recursion/core/src/runtime/opcode.rs b/recursion/core/src/runtime/opcode.rs
index 73d3319e94..23cfe9dddd 100644
--- a/recursion/core/src/runtime/opcode.rs
+++ b/recursion/core/src/runtime/opcode.rs
@@ -56,6 +56,7 @@ pub enum Opcode {
     HintLen = 37,
     Hint = 38,
     Poseidon2Compress = 39,
+    BNEINC = 40,
 }
 
 impl Opcode {
diff --git a/recursion/program/src/fri/mod.rs b/recursion/program/src/fri/mod.rs
index 3a64653020..4b3be08c3c 100644
--- a/recursion/program/src/fri/mod.rs
+++ b/recursion/program/src/fri/mod.rs
@@ -168,19 +168,19 @@ where
             let index_pair = index_bits.shift(builder, i_plus_one);
 
             let mut evals: Array<C, Ext<C::F, C::EF>> = builder.array(2);
-            builder.set(&mut evals, 0, folded_eval);
-            builder.set(&mut evals, 1, folded_eval);
-            builder.set(&mut evals, index_sibling_mod_2, step.sibling_value);
+            builder.set_value(&mut evals, 0, folded_eval);
+            builder.set_value(&mut evals, 1, folded_eval);
+            builder.set_value(&mut evals, index_sibling_mod_2, step.sibling_value);
 
             let two: Var<C::N> = builder.eval(C::N::from_canonical_u32(2));
             let dims = DimensionsVariable::<C> {
                 height: builder.exp(two, log_folded_height),
             };
             let mut dims_slice: Array<C, DimensionsVariable<C>> = builder.array(1);
-            builder.set(&mut dims_slice, 0, dims);
+            builder.set_value(&mut dims_slice, 0, dims);
 
             let mut opened_values = builder.array(1);
-            builder.set(&mut opened_values, 0, evals.clone());
+            builder.set_value(&mut opened_values, 0, evals.clone());
             verify_batch::<C, 4>(
                 builder,
                 &commit,
@@ -192,8 +192,8 @@ where
 
             let mut xs: Array<C, Ext<C::F, C::EF>> = builder.array(2);
             let two_adic_generator_one = config.get_two_adic_generator(builder, Usize::Const(1));
-            builder.set(&mut xs, 0, x);
-            builder.set(&mut xs, 1, x);
+            builder.set_value(&mut xs, 0, x);
+            builder.set_value(&mut xs, 1, x);
             builder.set(&mut xs, index_sibling_mod_2, x * two_adic_generator_one);
 
             let xs_0 = builder.get(&xs, 0);
@@ -306,7 +306,7 @@ pub fn reduce<C: Config, const D: usize>(
                         let opened_value_flat = builder.ext2felt(opened_value);
                         for k in 0..D {
                             let base = builder.get(&opened_value_flat, k);
-                            builder.set(&mut flattened_opened_values, nb_opened_values, base);
+                            builder.set_value(&mut flattened_opened_values, nb_opened_values, base);
                             builder.assign(nb_opened_values, nb_opened_values + C::N::one());
                         }
                     });
diff --git a/recursion/program/src/fri/two_adic_pcs.rs b/recursion/program/src/fri/two_adic_pcs.rs
index 0747f9c0d1..6699376a34 100644
--- a/recursion/program/src/fri/two_adic_pcs.rs
+++ b/recursion/program/src/fri/two_adic_pcs.rs
@@ -55,11 +55,13 @@ pub fn verify_two_adic_pcs<C: Config>(
 
             let mut ro: Array<C, Ext<C::F, C::EF>> = builder.array(32);
             let mut alpha_pow: Array<C, Ext<C::F, C::EF>> = builder.array(32);
+            let zero_ef = builder.eval(C::EF::zero().cons());
             for j in 0..32 {
-                builder.set(&mut ro, j, C::EF::zero().cons());
+                builder.set_value(&mut ro, j, zero_ef);
             }
+            let one_ef = builder.eval(C::EF::one().cons());
             for j in 0..32 {
-                builder.set(&mut alpha_pow, j, C::EF::one().cons());
+                builder.set_value(&mut alpha_pow, j, one_ef);
             }
 
             builder.range(0, rounds.len()).for_each(|j, builder| {
@@ -72,7 +74,7 @@ pub fn verify_two_adic_pcs<C: Config>(
                 builder.range(0, mats.len()).for_each(|k, builder| {
                     let mat = builder.get(&mats, k);
                     let height_log2: Var<_> = builder.eval(mat.domain.log_n + log_blowup);
-                    builder.set(&mut batch_heights_log2, k, height_log2);
+                    builder.set_value(&mut batch_heights_log2, k, height_log2);
                 });
                 let mut batch_dims: Array<C, DimensionsVariable<C>> = builder.array(mats.len());
                 builder.range(0, mats.len()).for_each(|k, builder| {
@@ -80,7 +82,7 @@ pub fn verify_two_adic_pcs<C: Config>(
                     let dim = DimensionsVariable::<C> {
                         height: builder.eval(mat.domain.size() * blowup),
                     };
-                    builder.set(&mut batch_dims, k, dim);
+                    builder.set_value(&mut batch_dims, k, dim);
                 });
 
                 let log_batch_max_height = builder.get(&batch_heights_log2, 0);
@@ -136,7 +138,7 @@ pub fn verify_two_adic_pcs<C: Config>(
                             };
 
                             let mut input_ptr = builder.array::<FriFoldInput<_>>(1);
-                            builder.set(&mut input_ptr, 0, input);
+                            builder.set_value(&mut input_ptr, 0, input);
 
                             builder.range(0, ps_at_z.len()).for_each(|m, builder| {
                                 builder.push(DslIR::FriFold(m, input_ptr.clone()));
@@ -145,7 +147,7 @@ pub fn verify_two_adic_pcs<C: Config>(
                     });
             });
 
-            builder.set(&mut reduced_openings, i, ro);
+            builder.set_value(&mut reduced_openings, i, ro);
         });
 
     verify_challenges(