From 94c695267be2eeb0f61181205069aa92b4e4afc8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Kukl=C3=ADnek?= Date: Tue, 24 Jun 2025 17:02:44 +0100 Subject: [PATCH] fix: bump PP program version (#859) --- crates/pessimistic-proof-program/Cargo.lock | 2 +- crates/pessimistic-proof-program/Cargo.toml | 2 +- .../elf/riscv32im-succinct-zkvm-elf | Bin 331348 -> 331348 bytes 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/pessimistic-proof-program/Cargo.lock b/crates/pessimistic-proof-program/Cargo.lock index 47761f58..1de95974 100644 --- a/crates/pessimistic-proof-program/Cargo.lock +++ b/crates/pessimistic-proof-program/Cargo.lock @@ -3103,7 +3103,7 @@ dependencies = [ [[package]] name = "pessimistic-proof-program" -version = "4.0.0" +version = "5.0.0" dependencies = [ "bincode", "pessimistic-proof-core", diff --git a/crates/pessimistic-proof-program/Cargo.toml b/crates/pessimistic-proof-program/Cargo.toml index 4505471e..da700a2a 100644 --- a/crates/pessimistic-proof-program/Cargo.toml +++ b/crates/pessimistic-proof-program/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "pessimistic-proof-program" -version = "4.0.0" +version = "5.0.0" edition = "2021" license = "MIT OR Apache-2.0" diff --git a/crates/pessimistic-proof-program/elf/riscv32im-succinct-zkvm-elf b/crates/pessimistic-proof-program/elf/riscv32im-succinct-zkvm-elf index e2177ad08014b712eb56d2fec628e2f3f7638e85..491f6d759e61011e1ba8db330cf8f9e21f279401 100755 GIT binary patch delta 28580 zcmb8Y3w#ts*7sjsGm{Gh2qZuVAxttM1PCxmCYb~SG>{--gm4iMQF9kDKtOIT=rmW+ zMT|63hzJp*q9R6vOk@!o42X&v1=on^Mqw2dF)Au5m;bN2t250!@AH2@Z+|vUe@~q{ zRdwprrK?-_#MbB&Tchg+c2#fa+DTo|wO8mjP7)Ooa=*H{YZg`dvSYW<9_qlZacViz zPj!v&_SOUbn_Wa*{Y-OINFnL|79n?%m21?AB=JwgoPHOuCWu=Ldds@ zR^rd(Sr&Ho_J#G(2bLQ;vZRJA7dlFj>h8T(t%(~fwO5+0?=qpY*HR6f;0-RWHR%q_SHr>@iq6t13O7kiM*si)}AS@2e?2 zUDA7MLC@pTO4S+HQ(CU(#!ZqM;K%7h9w;#UQ)j6-sS_2yQTQ;)(5XhnO&@A6!G}xL zNeSmeTd!XIR#BF!V-g>4Z`{v29qBlyw$AFUws-YX3th=wLT+>=9i*=0kEqw|^tG-b zS(+D3v7sq;?p#}PKC$(25S!}=+;1Z*lW`AO)M^KMG=y}o=iOp^f<<0WGeh)f7^U9P z=VhvlS0j^?rBU_XV{e%F9_iIN-CW2s}QoTtVNL;)k!?13n5sJeFGFe>M$M+Z)Cr)0R2 zHWF8IlBCx3&sFPQ>!2u}ufN_mR%P;m8s zihBF#va#ys%u(!*t+ZFYeR#O!G92`4X@~|`#HV@l`m3yX3{lr^Dw3W-(S^4CK3$z+gz;o0{Ky0H8Po!BDHz+gP~5nW9;h8>t8bN zl|R+EF|P^vk81OnH-!AF`mHxSCWRU{A6K(){HkXYFH-IswfaJc>X5>tLaHUE%Sf{7 zDM&EV6&KQ}>KI`Uq|1qFRlzffdPk5GdR-B;u+`_~_F7&EjJ1$)6ucvE;x;Iwq z-UusQvacPyf#~Ai&=%X0MKl>&9lsN>R0YFys+y>>=9 ze)dHGhWZOx#gdpko>FII-z5@;s>iaQ42{%B z+R6H=oaZGGCbL!NbqS%mPnGrRnCn)DYI^u2s3)#_#kiNdsq1okgx2W3-LCG+%{21L z6V$W0Ilda*=sU*rmY-mRdPsbfL&kipPh&SmA#&%oZhzu`>J$nc`36Jhj>mP^R_Vdm zwav9g84EF~U9mlvPf9~VLu}7F(8r@mea+AW$z>?K9LOw_Ycnf%sD%?>4>bby88vcJ zxzRXfy1LA~*A}T~Cp{^2K2q0Bepiy!sW-0|ni=Z3n;#Y~xk*)~Y-mTyOCua%7?06v z(al}ew5e4_W@Wp&bLs|(sMk&FiGNO=Ho9%Gshu{2Y8Ta(X|Gc4OLbS}Z!K-+tj$*P5CYAjJErm)vay!6Vy{}_cy6=cbNJ&s59E`^VO|)_N!z_kZD_mitzK-q?^&N+@`)|9 zj)xQpQKKtP=Ddx8C`nNvim}jE>oZ4@5oL}^VxfJfO(z5+Ue_UN-#h=H*jG4b&Popb z(NHL|7*R$WMpkzfMxIdXWaO@Mir1gd_eq%#m_@5KcTG%w zdtzG+_?F73f!k31WVujXuExwdj{U>ASr5Uhi|?LO-_yor?jrS6}X zNVPxI7W^o`)!XNIS#9)TV07J}45C^W)vd%+a+6x9456fhx=z75 z8*T{m)D|wZt8vR=L(+xXO0{x1wg!Kx4a+fi{-K^(o=D~2)UXwad|^(-kJhRdu2@5r zB(-_P5UQL}qgM{1%2#T`ir!LBwQOZNl~1XgR}M;)Kl46D_`!D$eW>_T{)I2AFG~Ku<)U(u^834qCK{Rtxv?Zs~N$nb+z|UUX0qf>K{})sLHGR zQ}U)-xf-o{LtVFe5mjDO?Q5`6cvW@dht#Pv*2Gdwc;i28+qmS^^+gj zjb3o5_D650%2h-|5B0uB!>N235z(Xlnhu01dbR&ncRgA{wF~u;8$wWnGxag*IQ)L7 z&fNG_XtllqtWpaf+d#ER>Y2xeQEhyE(x(2{A0i^y2b8!~=VtW80JU=S7OEtuVUJ^n z*h?*V`~W2j)rc(BO*93@lLb5A5wWpaJ= z)?u)FN}c@V?eW^bqgJ;k{)N0Z99?*CMDaRT=^>e|Ha!W)9#>nRL@95pb=xYaqNy?4 zu}w@=v$tna@-MY&dkIxy)Dzo}P!a*nXtk~e5_^60Q{6D-B1(45rvwi$J8m(C5LvO| zY3vHmsBurHQ*xhL_;dx8Pu4d)orA3pFIVYUf3em%g7l%01OT4Ztk z=AE1D7|nxUTFPT{*GnZ-*6Jg7Z=+Oer`FZQQ!Pwws{5MH<;R|nt8aQ`AG-3R`gMDT zNf_Giy*8XG^VEpFeT8 zP~d+WuBYTPwH2wOUca6yVd}cq*YnQt*Qb!1z9 zq@C&?eIpZb(~nCt)yoGapu*$d9FGoduhwV?jRW<$2Rn;Rq`X#bIv1_ZJT#Wt4zY_D zX=Z4Y{;)VnZ9VicRmQ4~Z=p*cQBxa}skTR*+;~4Fud62-6Nf0r@%-0G#ZDNjKnJGR zg&Y<#!V2{U{iN!Tw6er^&xVe6NOd2cLbWH=wTChOUeupbGmdy;9ot>0PZ2MkccUDu z3tWS6FE;Axsw2N7YSZ;C2GRFCyV|xGZhhrx&-W*+D$F)eJ^c3ac&HD{!yQ}KA6(+uVb~L8#H|ody5JD;WMlJmDE;C8h zemvRDQQ{g@`&X1>)kT-H_LBD#{b^!>T6ca(meLpEKV7M{e~I?!sxD{JWkc=ovxuZi zde$UMR_9Ng?*z^EUnk`r)j4|z4Xh#wpO}-ji-*1`odp_*?8ww|GtfC zs_OpZOD>JPxS|8izsbMRAq~S2deDC&RQd+f-apv>a0zR`On*zbl#F3_GYgA=faLj8 zBc$C>O<|`xa*b|#J4w_I*D`w)SU%xTiITpCiNpSguF|IV-4x!;<2aKDR~-b;4_Eke z&)=-UDXpP0WpaWvg(}n7<^%~(h~xdKiP8~_q)*uemxML!I7>;Au)sC>rzJ`K?Nqtn zzbZxAfPqrZV)`RRF7c1)Fa4u)B4R!~lDLvQZ{qJYl)0y^%qCu@GKQVGPD<=1kB)NW zy>o3E$!Br7(jh93@wenkL(se=7B^hNYLmdm@L$r~zhJmD4DI~fzh{&b3s*kQnnp{n zQf0k=)%DV3TNu+M{v>q|YaYuhoS|07_3$U$D0P4@e&k0gm|*MiHvDStcD*Cx3{aE)Mp#zd*RjcLNenoH(!LJIA5nQixltQ`-!5*Q|jny2YIsSyH z(u8QA{Ju!tYiyF_V}ef!eoyef1ivd7&%At*k>3%l2|gH*of$1#bw!>q23_;C+JsC3wH! zeS+T*{JP*b1vdyjDA+Ifkl?+78^J#A!q^1F zHc=ehReztoccJuqr*v(GYR8%1Cx1#z(<^Xm+f-}t^o;VyNYujLI*IgKSjuYYJS8r* z$>nBa)=1;JX(M@hX*&mv;wzS(PZ_~>t-%_pMf%UJkrq)r7neRLJ<^SI&~@z&nb%R+ zZ0`?yNa|*TPVa{$*Dz&7#+oFlv|R{MDc@fdN-B0$_h9O0GG8;4+x?jAu}y#2mHdhw zPPDs{v5D%V??py3*j0Y?tSf8VSrL=o#d8Kr-7M{;nv0#;ERCjeZ0XY`^$|v~J_#@l;1Qvbm7k1$ZZs$D9-3ooJfK_kh`Zutn zTY35@=6sUt%dGH8E+5L)K8eaIL)e}t`KIAKi`d4?`HmHB!=f!8Wm~sNBPnTQE!(8n zSRAA}9v&9ucz;;brhYt(t}sPkqBR!19rYn6+2rj~303y8hV9bWc zKETfFF}Cqp?1bdm?C7(o0lAx`Y?B}pWldJtj&q?dCb=v4}-6`QD zLtDy<>d;PQ7OSa~x`tNiv9^&ly&&zQ%1vzDi&Fo18SG=5Q zuW-|)+|Y1oBDd31TE?dBlBT!QGHm_FhN-J#DckidkEICKybIb|_@b7yJ1KE)vzP? z;uRak9(YyiPUY_YnpdR_HcFmmp1ts&vY+RQW$~{|VN~A7w9llR&?0>>JiqBA+@m*{ z9A|MSrAhwl{E{CvUCb^t@VwQm=wDJa%Y7XUQbw_|*U8~0R~v>4 zb;AoRhPQFUGF!3_eI~ov=6%u@JTJ1U129EqbNh&{Sxh^?d+e4?Z<-dBmHw80N!<_# z$y~W7d-;IWiI0h-0}_r6dK(tx9B#oSc?|q*QCO0wVcxwH=t4ql#${+qz!zCbQzJoi~nsGB!L9;SQVt+#L{_ueG-?HAImlq9y< zbg+S6Na0k;Wx4;7;{2<=l(yg`?+kN(&7!_d$?vS`Ybh&M{x2T8lZ+Fy)l2l*MlV_E#GI!w%a9#x*=aalKE`TJ^U(XoFi!r< zjl#}pVdvxj#m*&Gc!t|~gzY-R<7*vjI>X205q6O?X3Dt#ayy6ox&M`LsG}_KPyPna zVN_ep&iy6DvykslZRJtD+Of(bft3U=vK?3;^y-rJqB`qX)pxw@55b9Wf2-sOHQKY5 zhetHq|DDv1Dr?x$@A!(gaMSltCN(VPd+AxK-R0N5m-gAZkU>%HmM6IeGNb07b4Pl6ycaO%c+_IzY{mz4y!hnAwu+_(sv)A?&>z5-UFAi` zT8gf<6rIP8U6saB()?N+jfJNu%a$m%O~12NiM~peA6PA=<1m>07bx9_b58bhD7~(W zGRfFwJ35Oql1pmQ-mal7dhkwSF<~?d4H_Rthj*66Q@Nvyp-R~HFggIK?}gExw~$uD z(BW*6`WyBmLz$*e)EnCl)mruW?pIr%gLWfL-r!xWpE+nE-(P|cnxza6r}gRNPFMfp z&aSw5ozZ@~s(){Skkoxc@U};n;cU^AX$os?N7K8=Rd}ZpjdRB?LiY(avmKp6<>^do zM`OFm3$Mvbc=Yheo99(Zugxp3XP)*H2b=|LYkP`0{7%-;o?^sL^EbDr?XYBJvojHJ zww%j0cR(Q|kF|E7S;=w+3W-FeJ2Iny+xb1OEc}4e7~Mx{te_*EFUkHlJJP!`VfFB* z_Mi{p$ft!h#L?R+Mtw{#qc?id`p)E7+ardXKXMQj6;JECXm4IC)(-fa<7tVli?a6G z1myvLK_U&oBZYrb61`LEp%n6G3RnNMs8YKF8&W)1I1R(c`_T8O(v{UDQ+$OGxnYNGO8M*c!cfBMlaDreiO zV(_>Af>b)k(U1IP>oX#1WgjUjL@x1Ix{(8#-!hqcWp0fpEVl@$6JK#SFH3Qw~iCZMn=B@|7$lhbHq8 zlS6xEDRWUYu_a02b4gQZ6h4A5vXW@=s5ce?HXJ$*{gARrH&N-Y$)O)(F-&I*a$#RC z@NdqgJET}LA!3NicG0AQn}3SBE}|RzQd;{ zy4_2>9*_@E^)gMl_80U&^D(A#Ai4*_k|A0`c|v)C&js^63kq zM$HB@_h|aKfIc|jq@&d1u3thGeO!d7$C8Rz7(S^@V!1caE%9V5zO`x< z&-zEv2CSY=y#M3*lvcHJw#(mrEbWUx31e~r?KVWN5wl&W_`C?G!*E26UJ$<1!Gu+% zXP(kFVd=)S*ZlaHV-u|)C;xv8eEvT^qN>&nS6%ZhlP=Td@TWDSFfIAo!pIu`y7Bbc zPaXKAB$qCjp9li!% zoQ?sh;34f+xNX!S|E^o<8i~I3607=|#`p_vqvJ+U`DZ-2!o2bsb8p8lHZYCbX+^Bo zp3h3QWC@$C5O@?(>*Vc_+u_5jX#cbtnvM}y!PY%ROQ`Y^Yki7m{)VmE!88Bof64qM zvp>y8Xg=HeG<_jm877vCC9F{Q_)x*i43@>o?BRO_dvV$_#Q$n7twDE&v&qlVckx=8 zId{@mhbTV_53Ur(T3yaYDhw_V27a>0?lENKyg%Z3dIf9s2P{IvjIJH?r)czDG_Q_b zI0)B~XIbl;G&Y_**VadFy}CFYB1?>!Te;xJ+38sK zRJ+1b{!7n~l*K{u>N{Da9&7!KRfB!N zJ#4%oXxHX!gE4JkJFCyIWT%nlc+D`T;WZTrGty*ngm`$dk)}A<#&7A@Jm!|1rPyQ5 z5_Vq~d4IjO92^a4XSx1VR{I^@mMEu)bnH>NbG0w7)mNHX+4uB*8d~B%^F8f?o!&wJ z#UHQ{h?nv9NyEmPPrS-a*XGi8@z=56Q_{&Fah`5Lt~G4uPxKjM{=@OfWg#- zed{~s`4gFy>si&GbPLr6-~+8_=KPEAgqm^oNWJXMzv!J5A2+u4jrEWGn@*#YY-d|9 zW4|fy@SnTPH>Bhg3%iO{3YGR;yj!rUVBVS24pWM_wzkO+@ZwweAy- zDjyH?w^G|l_^2OqhuFHa({@{L`j(s79kv6M{Kkdd*hz=YNk=8HOAgyCx-wR6xsb|Q z3Z!=aZ6P)fO8%3b2(=CB5>nzyY`o%1I&sDP43|ZR*)VNh@)w5LhDq@XwrS`!jrW?i zs?F!EoXHs`x3jtYABNlTa(wj`=4@}9Lst%B)$MJ=c%z!y!<4MCs`j=RmK0&Dpqfop z4h;-_i#vE_Pp0Xz{%X^~d^Wp-twXGqW$V*;d1W8_74I7Tzm%rLCQ3(D_y{(peQ}+M%+c#j$ z%vkq-FuKmRercSIbxlq>giZ^0wKZuPn9J7P<08i(Z^hrm zgZ=}hwiRKLhmEMT^_B`)aiy&=#HK$3|Vgn#vxX zkNMC&+h(WDqgd8#$k*mwz8b?iLmplTUn#&;1FL}RfF1*@fi=Kf9YgAX`}5ez*|vBZ zIhuXBz!n?Q3R&w7EOw4VT8kXY=5dBGzF(`fDQ_h#y)ri;bI)`X8OejmP6C@?oCpVK2?MxgI}psk#ca$x0q!?JpCxRDaS>4EqMM5;IN~ZMc_%E z-V?vIu*W+=w%K; z<+kBI0y&(dS7ZSKHXPhh@HTMuG$&b$3i68Jt9?>?$w@r0$9WXEJM>LQ%m&BAILS`r z=jpG3t8a4Q-mw1%_z^J7;g6D>5aJ_o-JRr;$gn&Fp$9fDiL3%gp2d14DsUP+wm4w0 zBaf+foy3U{<^^64<`ppWj|G$LfT!1iHKbpJnCqVi^%(*)!>3Sa=z%3c6xbVK#@S3y z1P?%q+e5%xPyo&X^W}u|BJfBHKLy@-cff-k;OcQmZzuG#eGs(9!eydBMX*`mO7Niq z7da|2G=ewB1!64%mN=XGoxpoWCz8p+-gI74FDJ=GSMnC`5NzuEo`E2BPQaz#f{%Gz z`hv$>)DKNv`$r;)5eBz|Pgv5w0@qwjB-3D#7cd2`$lY%Cv7IaiM}kp4QthN3T(hVx zW_;v#2nL}7ysLPD*&Q&0!eFj2_&hih>4+UY{Ri;5-vj9xh}I@cg%*NWz+DX& zjAUFASqy#w9zba5`FDWp!Df)Y4?da{i2BqhLJkOhA9u-A2*xBjNwe9=yTL~JsDK-S%}W9?Fdcm10J=mJ zxDDKpfnB=bKf!$OS}k}ge9PImBr+YGl;R{8L{Q$MSNz^F$gAq6X>&( z;3_DjAP0{TM=UA`Huc@$a|qHgNarrS4cu}tkpD683`QYAcm5BP$mg4@78 z_iQJr5iNpui9ORvmY@XQr{#jp0%wAwF>#nJRKd%je^eB3Ot7i{A^5~$Y;1)64hfh? z!d#?4aBc$PzZy02A_ot$JE4GoX}7I_4d9~|egmBQ6CNp{&nwsp&dYIK`z0D| zRv;A|GaZjZm>PNdQ{e2k@tiC27rK1dKn!=1Gol3#x(qfAtOIYhY}FdTYe!)RBpC*O z7HsNY0PoL3%-D_efk_6N>27cHtl7CFHFEhCOqcbBm}0yB&{9MCKpUL%+ju}-iKn3&j5Ho!Q5%OdG{}lp$ zcw#DC1pgBXh#9>AS6>upNlyVE{S>3dW^}6pTG56NJDjAZ7|2amU;&ja%#C^LN# z_$B-sHC_4o%Y$eK1pExjRCo?N3kG-%^&kWD^C~mF8Qc%)*aqn7_WoG!E$QK4hJ8P_ zetLQ)n4g6imqdnu|A7j`@%5J%P!0h<_%an{fg4aj7YKOzCNMupGt-{{Z-N1=!g~7K zV12sO6(n*Dd=cqbh4u7{V16KHToSnqE<$=N%GVWA24I+36b6F7Mg@#0rQ{Z{W=X#t zoQxJ?&C&Be1YU<{Qf#Jm{tCR=!nxQ?@)JPglE?_~AymL;wqP~{{D{v~m=7L>0zx6+ z9@qxvM}%hj)8I9zpqc+euztL#E8x)z{22d7|6B-o6mNlG z8fLl(p>P=-K;<=80VL5>1p7x**+J+ zs;SrTHV9^-#q9+@2)@U{uYvhtsBuYTA2<@}9fbZj;MBu`r{4*K@#KZ{aFKo=n4g^* zmqb>8@ApB$tl@45tmF0-Fn@S7GwcCBW2sOJm@nUE`f2dSLpXL6bAPNGF|#DF*vtUe z9SH1*c7uKBgEj-NKv0XI;S%2G>1l*S%nhVxf}1RhO%Zqrx-3%Y{}a5`lD-#QY2mNH z8X90u-5t^~{^}qw4dkRFN>Krm%fUrh|HDK9)!W{Lt1L4jBd{0PpqWa#1H<2X=29(W+~yG8!F;3CVW zbqjbI_7CPnb_84p`xu?Nhky1#P-!Wk7izN1!Z(0tSa>0L!G5gYFu+I6vx0%RB=TYq z?*=y_zc~>#gZX*%R%rA5z9CtLK+g}s@E{%ujyUKfCq#xP!TfC7xbSQ!c%}%t5bWiw z>FtBKBe>?eHV^vnuSywFX&M|B#G`_EG`JNlGGn3&%%7CZ{0oD43HaEXP7*CD*eKZ0 z$NKlqH3Dp@g7_mae-1DU_;(P09>iaQxyMZX(?NXJ%6$F%0fOj&OGqj@x5Z*0Er_#% zI0w97Y=Z6)-lvnn7m*(`u-?bZatt;rwA{joe;l(xz~2}k7WE8I4>8!xurr8X1oO8H z=G1-kI)hF9_k*|z%qJ!@{gVKrd{m$rf+Tn#Mkh)rEEnDDB2xqp1kbd1Xezkc!pp(a zEc_xktkH?w{E|qWU^qr^VCYaYotF=Vh&F-2oxm~-oD&&J1@ly{UjaVW*+tHZpn4a) zC(4D7u#5uS!!T2#LS~TO3U0Pka1EIJ1P}7^d7tfvfG-}#C6PD5{L#teL*Ul$0xs_} z9DBsvfXBvz`IC*QKM~B&lue!*#M8l*?>hPZhhGx8LkLV4H3&A--w0w2%#U8p^us}X z6x{f}lk9>5Z(t|cU{gQZV4uNI=nW zY^L9%v(ITTDzFHGf=>bm3=M(}1&O>7#D{|TF!)Av34UOWlAmxRf9eGBOClF!gHu7= zBe^5MK8wN#F0gPOxDq@=WO!IG5SK(Y1o2~F{$OHU*ii-X_8{H?_Raj> zt7}{msR5rWbdj|XaF=!-g_&-Gi~K|lUJT~1mrea;;I$TB4(6|%&Ga>3{z}^9e~$8D z@v#W1p^!DwMGB$83v2?f0VhfZN9G~OM!85o!G++I;V%93o9kDD6>yW8A6zKA$Tw#G zeCYp*lTR@B=nNkOr_e&v<=erYADyHU2DrjW@G(nzuhB^O+KGSgOCpJ2t4sTcbY20T zzcNUFUJ&~hK+t3{c&}jdu=!9>`rASLF8Goq|A*jHr=7fZxbPex*t8dS{Wa-6l5nkn zB!SIW;@m(#!P&xP^McYB1@XP$)bE`{MvQO|G=rVrIQ8mqdtV4P7CWr}eaBp@kQ&5; z!Te;@xFq5UVlTKA>1LPx6I=;4N6j(8X8wD9}@XU2uuV24&u+i3y{HV;oz|boBEz0_JUh11(t9| zepCO>0Au{20<$3C@A*uHxj{T1yz{$2`eMOwoZiPLgVO&K#9xE?>Sd^g z1(@0JPRN|ND!?r;=oG_rhhWp*b3yz9c*#(lzhao8cuGEjU@HpX!-g}t2`&RW1rGr8 zEt7HKjY$w^25~lcrlrEAV19ON=AWsvW&OV!f)-1L$H08`Gc#-n;wQmPNS|giJa}BN zsoxyLpM%>E3%tm5jKiMLcLlFd#7s2{f+bK$fd%e?$G{C>(<2(#33iI~AHYpuvkSV7 zHx?JO0zHG+8N@EIF9xfXX3E~;xD%dwY@Bo;;qRKgX!|Hi3XbnIs|bf_^2iSb>KQn{s#q{`F-ny1doC*SPbmvY^m|V zAZ`TnkJLM`p!7$AcmtS!lww@?7e9h{ z3wQ~F5TjJ@;?KeNwK3MeUYNuW%n!WL7z17k1#@D02;7WeY8LQF5N`}(2F8CWsxAK^ zuv1EC%m23EJ$&Ba>%VmKwF)6Y91ea427AE-4^j_!+ zjQE#G3j`bRT~0?)K)We8!N7l^X&RXKVV+>42@<&>hzr1bkl&2*Mc^{z=igcJ{I3f( z^B)K>%7?;12=>E(IrEXJ7*-a8Bf;mu5xO@1gP7op;Ap`|z!BpD`NL6j4;V`dtm88s za7)*Khb9PK)(z$J8nPgTtwFpUT!wA9Bn*BHF12ua@Jz57bT5D}=Ap|R zMul3zck}#4`zgtoj`s(a42!_cmYMD;aP$ocZLdzh09Qi4kEl@Ct%wOQJg&Dm1N<^P z5GVLH@KKAswctxg_hku%dI(log6d1~0dP-|?!;5*WJ~&u;9793NPif-z>?ko&a?1o z@L5X*I^Kr0Wh~Zzv&PvFlvy&Af;|>q51x@4=tEWTv^b*+PX(oa6~t%2n=KXSbUSuL zV|@XaA{Og!1%8rgW|#@C z!!aAWSkEvIybS4X!Osac^h8VCt!RvO?F8}{$3>poBGZYANsf;fi#O9$z4$3 zY${ZO-QyF;PLY0Cu$g`o+&m$HG>8HQmtx|&B~XD|!51w20N6e~kY4YDfEzFk?ge`+ z8NLGNSvaB$!_dNBaG8ZmzzZz=FnE=P8^9Ya>^luXtwqqO96@E_>%ff`z7u@H!Ya6W zQUa+K9{5zS*`Sl)XiJMjD)8_cU>`|`z!MOV+rfDjeh56-!h6AG7XBK%z``BxM2jsv z1iaD072w)7#`?bj0_V*Mq*AotzkngM#(< z|KlKNye$xw{{Zi?WOx?5z>@wk*ghkme+8UmN$-C*3bdq80iUq&3h*j}jrae%A*i(| zoCJF;98w7vS~wki#!|uC!FiSnJOo}~N#6@zW#O;E8+FF`=QCT!*{Fa;VF;boZ|Mvj|lPwB=fy*qMTm=_ecp`YCh3^N~TKEO<9t-~)e8R$X z9x8mBW&Ixn!OqzU`j^gpad=R$8O7_sW%uAMml&pRf~)2vkR&lR$IUm`)b950Us5c!51uj)(DQiJz%gE+%zq~Js05% z$SDCH4Nii->7gocktP3@MOgpOqCiwgFYquFvMmN%!OrywZO7&1iw!m_JQM7GBrtV1 z2{zM@gSS>EkUgjYkE#2X7;L61OECTl@s**u!BC;V*;LpZ#7}@Lksd7!ej(V@|2l~O z3+5jvnCahxYX-XnQ}UxPNTC(n8kR_8n^EHl_rm346Uj0WGz)o0Le#i2OG%!+}F-;0#FtyCV|Y{uK`2c?gp76WiAB>Gxq2l(_T{40sHz z28Ue^RNz%`S;s`8Wf=v=+z*f4mWZz?4ZZ;!eMcY$?g2ZC1H27<4EDRh2e9uW??4cP z8k(cv0(hN;d!vi&%L3^)fTJyZ514z*bnzlEZ=uQef_a5aUIwm05T-z&fB*L^1e@Cg zc;^G&gJEYVQ1UnUBBI(1(qsiWEyHR8_#9f8ryHbX8Tb_P%YvT++bvOl9DHFb{sjgK zkMZ>{VmX4u67^niH8@@vC;``5(jNwE7H$BSSt@uMyvH&OJFb8|OBdvTYXlebJ}!gc zlttkY@UF5zi(dyXv3&J%2Fzo|xNw{f=Ks=($=`#+#w6;m?WjLtugzaBMfgAKX&){{ zdOdD$aYjj5R(83&G}E2VQhM26j?Bo)EG;Q3$tv@DN=vi6#q6Va`ylpUygfTIJ2Ndi ztGJ@f?I}yoD9$WrqkG#Avt7OH10qY(D>BQx-mKEH;+)L#EIrpi79DT*MwaE|6hphD zG^ebj%!^zwIK_KoaPg1wx*HQ1irIU}by zJ*_mYBFCNW$tlnD=CeWb>?!Pcq8|R-v$IRxCGN7Etnw1QRR7a1dy<4UmU^;_ z%d#@OWto|7)V96bKAJt6WY3B%&dI6pl%{2rcuLZAr6N;5Liii(U9cSdoJ-io9p zZ17QgH}>H~dxuUH+1X{;Xh1Q#t+*_QjYvR!CZ*elMS3&6IUbKE1KpXHRi2Z@o=Ugh z+^M9vA|3yKA)eBl%#5;}3g*bL-xi&fURs`B;x11wD=W>)bbEO*?2lXQll<>w*yE+n z6`qWe^s>zI;*#<*Pq{ZUpY@((zuiA2(@v#G{5O`<(E@K;nmau!Cp(`dw? zG_#^C8xAciN!J@sGu`Ziq4t!>>}*fEr#vkkW4gj!lICXb4z;I7W|z53inB9wN;5ra zITh$-eNe6&Vec22lUD9YtEk8>ac86ch&MhtNIC40;r62ViVUwOt(-@9MOs=$sWIR% zKC--bBo$0%!-pflCXckcBQr8ksSNz*Uea?iinHL8jU(-IS(h8_1N}=z*|$47XJ?eU z({eJ(GCeujhn8ci2CUZ;w%a#~t(UykqX% f+3cfAd$j-9{q~9khh?CCm}Vc~&#tk@&H4WTgOMoF delta 28540 zcmai+33wF6*7vJxW|9B_1`;5I5GI)b0Rl`W%OtD~ghfD%fEW=ZJ3$eGvRwtISw%&S zG+GDC%sZ*z_ ztE#I9kFAeBwm!P1XB%}}n>e*+o0h7E&wgz>hF@}#sIXy6)%-S@&E@V(TzhGhB-y4a zME#~sr?$3d0(ZHIx@`0DsIXkpZa*PY$^Mn9v#nR1k&xVH_}D1NUX-sP>T)|_rwI8; zA=3gGyvPrud|lx?JiLuzQ$f_QMZ!iaRqGQTWkWutt<)p!r`(oj6zLr8o5za`*P09VFZ;t zOLbngt7VCwh7+EB;3Q9x(p>eY@7QK`p`yHS5lYO%f0TT zz0}?1Q|dFvL0(dy=42Equ%QAw9|!;bwGFFZCdIKc!|1{AO1+jotY$dPSL$GbiwQSD*1tlMC!%v85_i>Jzi z>XB|^s8XiJbqAHI{klIHtGIlnZj6BCO;tw?iCWf#FpXC%?^I89kEO(=Uc-lWlqsr| zRh!!*9?2P^mZyxQ$^dnD3jFj_Po%)BPfh7LfGTO~^qv!`)>EzP`3zNlf|CwC&;C~x zHG10?3VActp%JFbakvnsTQr~^*%)9g{sT*SZlK1HwWQ54ptdq zD)ZHysf(%nx7yF!oyuRTW!^rq+C^JuNm|l*kmSqcZ9A08D)ct}q1Jd-QSytLlj^0) z0d;=r0IHpauw(64-d`jsT|JOKxx=4)hz(upPToZMKyi0(9Cqnyzl?%nuc5qfy}J933{k-f^~xRDej{(h7~?||j3$T0 zM>%A|^pPqrjtX;-nGGA){kKi7upx?JGv&o7-WQ4<^k|Xm&0KZXh zdR?79!Yx&+6(c54<%XJ*{e;nxa;kbP`%U9J>7uUa^RAG`syTh%7xEUh5&fPwTX;yV z>i=B_jdv;;6SeGOnCg(4AQFk`GHtY4IUvE%%Ojyjw1ezHJ-JOiF<`U1l6MG^^kkIl zqv+0Clc8*@T`{DUWEg6{1`U+~w;IYDaBIcYY6H;+x+ikKS}(^^`Kj7-@;!8jUX!xT zH%y-uUW{7iAcz?AzCJ9|R0khQ|Nb&qflL}JFrv&id-|ntqlx3y?PE*A8zeq{vsKr) z5~GWi-RjD5rcI3M8UL}Qseg}uMp(91EAD!_rO{n#QJACkOrmsDwFzz1K@;XsC0gA% z;c24+@{>CH?p2ba{`>9@`0w9$4+}S!i4l2ysC-pjn)eQsJ!ob-3nq0ozH2tMdQvy>ov6nr4Ws05)it@jA(H=6<;mIN`z2Lr z{C+{z8o!@kb)RYSiz+vM|4~&Mzn@mM#_uOrO)<^CR^=%}4e!bq>dGncXxST6x(i9Y zdcw3+j;L|@qLfmnPHOyqKwaPXT~kjqe&4Oe6`1xr)k%%tx2x+Lzt_~BDEPuA())zE zv*hdS$5%u-Bq=Hk3l-mjROq8H-C2}pje|m%g|>$ zZpNhMOdH$f@w~>+8pBsShUpiJ%$Jh{1E7$|>rp2lvHmr}bMQSD!J{8gB)?>9VS7Gxmm;^O;+Dw06bJ#S&Gns*$tC zQu(5qKP!=v3u?-9?bVlNHKE#Xwbiqpu~BV@nl)zvmA9!Cb9zzvEmfNXyRGV(Ia^|t zO;L{2NMk;G{$YKVsMKecO0{b47)sWu7w3+o@(Zdw&r7vywX^5FZllUY)%EBgaW8IC z%N`v@wfx$eM=xQ6&|9ruxG21a`;h0Tp2tvOlA8b6V7~BIJ+_aM-fEe@4<$~u%HNBU z=4yiyPjUBLgisDwJ&KnSyCLkTE>$4Bp=t`e{A~#DR-KEmRk)~5TGX9tzpE=2B~s-# zbt^vPU)6eikpHN;OJmf?#WSdOU0txa57kbpI~Vt&+BfQ?#qpHRA(`x|TMj%7<#oQn)_|zgX;dt7n#Cc7IQGE<@x2 z)w66a)!tUCmvyJ)P4yT)6OdX?N6X> z52y|JP^PLWPh!VYs4jRCjha$h{p1a*r}F71j8rNPHS3x8#NBhD_R2GFA=Nk4>WcfQ zb`|~JzS;8TSY-7H=Q0KWqWx3NeXfv_-)gr%7lztT*6v<42A?0Pk*mK8SNH%Te)ZyN zG-!;v;`srTjI6DDzB_h(=<*jnp>lWCxweyfcnx}pVN=#wb*@=UwGQgmHQ4{PQybRo zq4G?%=EboT^SyoT=`ihHcZZxNYW_MTHBXIOhZrWP^13lpzEiDO*M(|hYIm+1fC~Pl zURi&igM1pbteHAxW4lCxHQ;s0*GA&ouZEPi)Af^1EvE#zLyKR_AX#MCCA8qepJk?yPK!$ryuT(?e8VtmeFY zk6XWSUMkO1FTPw#m1DJ&UdcB5Y-8>E zDhCa((C?3FwbffX3XN8*9(i?|(X-m*+J4n9*l~k@zV%T`uBf?h7E)zb?e;e}&_v?! zq1GtJpRLmzo3IM%yNI#+U6-$WwW+gfPV@Po{I$5++1qwu6dbPgY#$(DA)EQ`KuR7` zYu@b~u6MLHM?LZGU`ea(w4+RtGSn4;;rMTT0K;mu8o6^WLRhkMIR1NhXA#w?>Ur-O zK3KH(CPLO>*QmBykxe`B2cK+IzP0n{W8!@6f?Z>gw%gVEfA&JHH~*Q|UP%>uz?Q0m zL`FHVrT6HwlR9d5S4uXjvv+6G{X3ZJS2{F2mp4S~!%m&2E;avJ6ZZVCG`cq9{R|8~ zHkUm4pUO!B%7d0#zt0F&efHRT}g;LUhq+z~r;vpZ!I@!_F3%CT&;yBEHTy}X)y z=mM4RRpUO44bz(OZLFGqZ*TR15B*dgqn`UPwyAc*s7za}R^(xudevE*UNRY)_3O4n%iO)H{)%!e zz2bINUGsgRKVv+ijy~TfQ%->Rsyn6XFW(QkST}XMlCB$OjyK(jRoC>QNtU9!&%edJ zcB#4n)irl=)eX~Yt@2v|9b!JlbmwIc{00Blg#RuG1v2~J2<3*)k-%@{KTrpEbk&^% znTSJ8x^Pe9615|@tg z*VqY{gaI>_r6)+3MQ;n#B}j)bE!VROw}kcOC_CVmFc*FtxagL;+o?Q1;7XQOVW>}G z+q*$SCI!xPlOAbBOmHJ2tT9L1W-wH!F zGJO@(3I$gR4*cs*sh#APbA^1hA(!tE{Jh{Xf?p7PyI>}GwBR*@M+tsW@JPXH1>Yuk zoz8AW9w7wlg~4#aF9{yTD#l4S{7N4of7y^L*@9mYoF%wQuut%2!I^@$2+k1vs^E0N z)q>Lmzov6*Mez#3>%xF_x=Z@TuXGaPtwJ0x_)Wnb1-~UYPVn1;I|!~394mO6;P!&w z5ga49R_7>1X(t5Rg+W_ZxsPTC4o;BnjP`3sg?0zi7enoc;1hxm3;w6zj|Klr@JE6* z!F7T^6a1mzgMtqUKB}`{(GChhoiI2c_+!EQ1@9NUPw@W;-Ya;IU`_Bb!5;_?2;L)j zCucwI#`lHbJz=n0@Gims6uevTF2U~$eoycRf_DnuD>xu{pWq#W4}krAI(SzI4he(p zfI7Y17eeVufZC>h4i&Xiu4G^UnIfj+~# z7-zFiJk;?AIv%_Hu5mQ($TObO!f~*(7aPu8*x;O7w;{EGrL&|RQg@}&hjVl+Xyc9j zH5uod01i8JSCj)z@h9XPm}etx%N}`H$_pb$XA;fE&f$QHU3^%YOXcNa7Z4Yynk`*w z>6Is|b_a?2;;J~dkta3IzM3B6y=f)Slc+g=wlt1)mest(>-nD9 zH(+^I_Az;bG?>bJ*pW&!PIj@%4N_Z5{>gT3K>hMDc4dQ9NVOU^X`?hUo^0jqjB?<) zq%(gmS+-*O_hDuRwQ%IWQAnyed z)wU-h;eO;fEcz9+Qu{nm_KNfgZng@RwS{kXrn2c<5TabdDz+dkR`~`Jp%t@JZyUYF)kZ8-D1!Bbqo zCcS|al6)4qLyBdOZIhZyla12yXkHrWoy)GhAx&&bdfB>PazFv&%e{f6A4&U= zs9|ixVN{~!v+4X(xsO#G=Iut)4)e6mW9JS_uTxECYmVTCB>ma3BRsL!0})51`>;>{ zDNy!_^s=2QUj-sR*K1o8ICe}LW~XEtEB_iz^L!<>jVDX~E7=a57U(ydyomQ@cDP5s zP0M-4&D(G-Py1U`LngoGxtPIo631%3=Kbjk9RFI{g$Lr)#)`t(+b1OCZWPl_AbjmM zo;%D_S$f)-=UXWZ4>i0a#<8cqmF}f-9536x8ICfTN59E4c?#nK$tR_?*!-Vl2fmYf z#mZNLGcLiafJW;}tfoO~+mt`}>!mNUl+%b!zQA^$<G!t zt+nDK|Cfp{@%vL|>1TLXKf!X(Ajjl!Hv0^}xiz+)Gv;3H3~$Qrz^OA5&VsZVfh#}Y zSq;Z1tl}>zp6zLnBAQ|~G#c}i-tw{96J~%>VK`*gPdoI<568#<&%kkfY_4s*90rNu zcPa0}_TdIBW)*)U?Su-Y!lwT$WyX?ny`lQt?|3elVR7pceuN=u&!k_Jztze$>Xrv>L<(}sY*LSSyymXS1)@}Y5Ce_~`CEqI+}UEtaNf=#->SH#cQ z$_sF)o#XdHBKzcm6dg-W1e>$0Qg4p#RSsjF-H&%90xDFrI9$s zVRe6EqEn`^;!BvU3l$9N;*vpjJzU^$8Gx@tGtT6n06;0M#$|0O#6#3?)UQ?w`J%5k|HQ6(|ek= z_?ts1i}@Rtn6>m0Sj+SheAfD#_r@ev^EdB}QI@>Dtmn zbKB1X+D$1I?Y;K=3A%%l-x=orcc}IQ8$sz9s+|g~p>!9{I@!2z+P4)MZ|uk&t&F1* zjcp949Vi*kc8AkUY{>rzrvqDQ;$hv<+OSgCkOy-=K-3wZ|<7Tx&EA1+N?t#4zWkkP~7YG>+ z2~8P!l+`t%-qy0Kc$M)X{w!scng8t%GrsOmn|!N3Wd%Fl zl;R9~7?Yb(%=FmaG^6Okv4I86Xj80gUbZ3zvdKuI)JTiPBXhGJyD4h4QU}7 zk;lLD1|T;$v(a$NwqwHw8o2|Q3-!{(pwX5)I$ zcM{1jX+!5o`U8-Qhem#GtlHqSfrcJ*hNGK|A7>1TTGCmHO8av&<_&JFJ*z)m4gJ$N z&(dW|;PF&C4_l61JJRVTRJe{^$)GRjb3-Ptcq6OHq!VJb$wiS4yf7ztR%wC-504(F z_-VI1iMf2#i=V}?@jf~%RvBMpx7y+9Qnw@H*mfVqoU@Xh^3hc-$dagxXu_O&BRVl9 zi((#9SXCBH2(Q1+lfIB0$)a82wRZX=8s(33(!i)NCq^wMLfuB2#+=!-ZM+gK9{ENZ zHpCIMQAz_j+4M6?{Ne>>GGGrmHr5gl88W(OsOasivow#L)GIj<#=)CSTrcgG3btn_=(w~aX2-f(D>+>K7?lCZ6cdKgeL)~DMRQ46#Z!kItGtO`8j;7Y-KBQXd%S^ z$)P@~J;I-ynLLy}ZTw0FE7`H3)cm28oy{Ibhp78wyy36hxQU-fMe(0AwbUOL=Dk+8=JL&h-fUA!H5rCa_#f?CfneaNOmMU#phE^bcEwwqcCwm7h&j#IHo)} z&(LYj*y^9?X+G}epQT+Am2%Gu@D=^b-0iVSnaUd+j7E z{smLd@Up;}UubLW+&&Ck`45))cm=b(CT4ee+^wZZEq|B#3x28?h&)f%qSQ)O{TtmJ zuD6dYX5$;^`FLedltVE+v~2WXbjD1U|2yIwTE=oNV9^@-NMQa2I?*1h-H4K;oA@Ox zeg%sykzJCQK07J9*||%YB=$R5MN3;7*8ei?Mu*H}WtXuu4#BJD?_*fyWsKbYP1vc+ zm}N*ZtGGg6rnZJvza_A{uG02YyPcI^rE4ki@*iwPGuK~ypK}t2jnv0J_=`^Eb38_G zOhEpdPQ>iEnXSK$jigc?ICq_5qbZ+e5jU|uA?oy-T=6y2TH3m?H*ZqBC3}iH+JGNu zyqj+ui_$5pI!3GcU%1p0pG5>3sO@XysWPvZKaenRU3Y8qh{}m3EzJmi`V`Hrg6FAVad&HV`G(mw$2BxFX?Q*;ajesIqzUK zyegc%tZr^wPM2)f)2Zga-;v$f!iFAb5t!b>hI2OMah|Lf#en&Ut#{fI%onTdfD`%C z=CGJnwil=t2-LK)6-u#MAET0CRjNb5TmEo!>v0=PiL%A|$)*5;P?sNiGiq4`?q$sV z%frm!H%yd$CCU*YWJ3wO$*7VhrP zwQvUxMxlXJiD#$U*xF81B1Mgxab#&m(aew?dRuj1_qGf(lfHS9V}-5WGDAk%3mGEj z$M{6pl5m#W*4B26;%M~GPXG)*cJ&E6X)M=RuSP}mZ;9wT34Tp*d|-Q9+nF%`*0C;< zJl;i?j&qR){KepJHMjQWwc7bCF5li}^MG0 z;BzJZlJPwSpApbsL;0=v+zr{*X)Y3nvfHP^|1_7MB;D^K2e{!06#D=CMf@8VlRKLhSf!fWOt? zIQ*HHgfH_0PrGeyM++HpZpZ&}$Fe=iwjZV0Y;!l;<5EA?v%76z^M0@>78YyRKf2rQ zZW8gni&WvSo_z(3Y{cCz!WNd$G-3C!(jyVRmd z-c`hP4Q>K+`q`d}utkhYU~ju@iGj{TZQn#l4FPG4jkW2b>_aCtaW^(;JDAH>KI|q( zAaB6m_mW z*t$F7#$Uf##X3G}>&oJ0+9JYMPPl&aqQqv*uytX%5I9EX@tBR+Y=qk8|M4{Cpajd=+1r#!%8h?nNGr@3|wd-EZiTUyON zcrr_fm_?kQubGi}kV;~ZN!lV{lMP1eAG%)Wjz*=Ws9U<5Fq z-HDOoI1U`a5@y>vIIiI9bpEvyAD;YUJ1gKH$JwIUwlqiCyz4i&vrRK_<2cK0cE@&v zc#(Yz3mQ3}-I#6bMV*hZUUO`TVd)ECYGe03Xlv^j(S+dD(X2Uebc#KPkLEGT^_vTv zdbp<~_WK+geoHn713SNh{W!UF0y-s-9DH5-p^*tMOs~v>>2(U7a4eKu5Dyf z{|b+rw1F3i;LRn*Z@)IUPr($De8E6m5-9>V>EkBRI#Kd0IL~7LrC{A0_FsXEQ{AMM zu*Zu8G8^_~VD5huCH-`PSzrtda?ZL4eoUtuYy;P4y9sY55Aa*?^g2vY_=E#iyU3Oy z9b-Q)vJLdVp6(_{l5RH#gS8giOmHPQsk4h*5q@uiBd)thy5WcP!)V-NDL)mQn}8(+ z4d8*k4X(J|jqis4-@(sR1MAq^O>7B z>@)CS3ttD@r@P1s;cps7)fniT3j5XIia4xoU>@L!a6hJ=7#Hb>mT^H6h81Vyl1Nu@ z%8XzOrh$*3#W2?ccmurRaw3Tl6(%5+$1M6HaOIUmk_UV4|2VkcMl%C;a@7xk69U7b zon#=?%DKU@G9TOv0U&U_!d>7iaM({c?19u|K#$Do`Uk=1E(P`Pg6k~-T?Q{6Z3aMz zKO4D}XSqqWaPU6(tc7!$6VeA2AhUV}_=yd=Wb! z#>_6T64d+2H3*iX#pa;s+7b@$cN1h*uW&4Q4cHva3&BahVxIy%Pw89S9(`(D64?fx zebz2$>G-%q^ zV6Nr*=3u@J%mQ%-^91W^@FU>)mVk~5Hud#jzQvp*y2#VcV55FGNP}R_{NNy)49@)k zQ>mzM6F55EMUDu*2Il+L3c(YROU}k6k;z~s8M}OH1U$XH!KQvDxH{iW{Jal&7p#R~ z=a0cY{}x;hgJhw{Yap@)Y}%)Rb8#DvfSzY0AKY(Wu>2bEB+G5PA3Wj;9zTSAs}8tL zd$|0hO1}>=^`bK&fSO;Jdciv_6^;eR^hS$B3YQ5s?N@+DTPmytue4MsbtEJ*6-(3mZJ7~F4faH4q??DV=wgmCa5!DayG!F9MT&GPNz5pY^?v6(E` zw9f}e`_ZSSpa_ELj|Lq)4L$|E0t24n{en&VL*R68aHjm7>n#Dqb;4RPA(51e49^8$ zv@~!N*uU~Y7pW92LUu@ghKtM>6_yD$D|`SPjm5-l;S1p7u-_hT1o%IKP5aNlX9l=P zod}>=0vb5RMa~G$Nx=A@J<&yyF!k{kz6XQjXh8%#@IiS7y!t~IsRwhtnn*~^&xvHa z;7V|`B?E`SEBm`ho@kKWZ7|GnNhBQ112Qg&GBT8|8LU`RcobY`;VaPx*>vn9xM1WzP4L0>nz&yn!M}pT_wt`vU+_9L*gn$2wLSPnH&kOWK zGxUp+Ent4!U|bS;1Du30fO!Ss;YB)_A3vD-Z@^Qa$C{+;!@A(E8J^glg zPsTxzjRH}kz++&3rXdXQPkC`)Tl8;%`5A|)uLZA$9y6?7;Ylz*8!`3YgS%MDx9AG{ zMm^U5C(&b`U>zJ7X5B;v7tx(D6$uVH}S7y+USHIQG)q-lyOPq0{DJ7FawP5j@8Se zcZ0h@k8Ob-z#ZTN7X5fI!xqlmQ7K@4F4nmIFN5F_1YlNB1LlWd#wC$=!8=ibIjX+{ z^FuXL|0DPXl*g*92hh3)RzHir9rz0LW(J3V`QcpS`ac4Kd>EL6@L@1NeKRhJ%m<%F z0H(eQ%unP@{cGSZXd%`hJ%BI3EAh-3DL5qsW5mLbgZXJ7&%bW65`uk}7VHG`<38h( z$ot?Ss32Uo#t$07{J7B6p9e2TfMy0_d*YeYqVEL$3jW)R@}s~PGBE#!3Bf!FQf9gu zpKN{r=V2{~6nbYbjADz!Heh~sX}eVV??KanRNHT(KV95&9-VUk6U|-yd{v z6oSWKU`BWqY`t%>2}fOmme!8LFd1`U_+xqe|PGGfsy;CjpQ`v!QvWdrghc)dk0d9gTIIK_+cr=bPr z+?@x58n9DTxD-4Z0hn9^&c|{aA@tvX`&k@@rQs-2O(5lSjF~VG?8HoJmR|zaF1z$i zEuV^aq+$HKEESxFK^-=o8KQ#b>G)!CkOl5%u`dQEmjo+#7Tgo%kvKhLyTJLDP3#Zg z1z3*Fd8U;gHPxU3+^%|oe&Fer3d+C>EW8>#$-)}AemB;0l;6=i_9_cPcVOSGRtcrydRvbxk$7gAlCnu$Q>7$ z1)@W^eF(>a`E!A3pAf=bLbw~4XUw$kWo5qpr&$HyOmMU%BlE!g(aLnNAcPl%@KSJb z9UfFrfOqLe@OYHR46XBr*#>ie`ucywBH)AOf580h0S2pH;Cvs0c>%8fBZM!3x5K_4 zw7kM7eBo?d5{U`n4q!ep;WE~LS5N?%MBLycWFST-N^S?||HDlt2%Zlvvt;OHaD|1B zfb%ST30!=@h0^?z$lrpqc>O%$vHfo~xI2U=g4e^rITYviZwc1@fwzH=v~rWPV$`=8 zfDA;r39%XWkAmwFkU2=VfRFP4jrLRWDFns81ydM4&{#ao3YvoXgNn(`!Q+1k+Lwc4 z`UNw#7R;ZVO#7F>d`y^J39doF{y0c@i(Z3(pAnk|Z-wwSaQ(+Y{SLtxTYCAH@~!&l z5N-$N$8N?YkvN0>je<@PB!A)}TOr{Al?pZtB=SHAmxu7f;A1FnT-Y&%@WK#Qz>%N( zUBtLB^XUS-wWCG=2L+q@k3;w2NMAgKD6 z%P0@YD8c4^tA^;;gz!3WJ<3ml2cE$*f(?ff`8kBof&Ki+#WeUG0xMq%;j7>y-?+#c z?Adq)w-3f$fd-h%>wIurgG;|{x&96CN{jwWFfVV`_swA3e^$Y%5QFc*u3or}^b5}g z;D{40!FVnJ^H;^jg>ypixm>q?ZpbrQHUv*jce=@M)X4BBVE!uFwEuhv#@{)M;5ZEU z`)SkQTQGlrZSrX_f7NXAPvFeKZjuWDudr(lcER98$>6Er>LG5@P4KJWR%uXcmUkN{*VH7A$%B|{=JKP!zGb=!RG09`{B3h<3l(BoF6RjCtV?oR?PwXNio}h3Jpo!dU<7A*jGqDr1oF4D=p>XR{xJ z0i_EzSHs6b^h-i`IhdcM8ka<#3gKtK<9`xerl0>qP>%w9wc`P}Z!_3*kQ~B2z-M7^ z_W44=rv2g&UItF;9~?6^U>*R!F#hp$YY}kX32w05x8H*`6fgr!9%-=d0rovZ*aJRp zwh;Q|f=&CUf{glM@C*c}EET>7<}WnO0((MuFPOjMG4+Q+_#<#6y42KvA{dF*Gn_ig z)bsigKxU)B;A}8oUX4p4144KZn2#A#KP-fA1J|Dm>c}lx0!mqeh7A$0^K7{ zLc#nkmvKpCPYCZ1;X~k@|0FiPhC2@C$Ma_SZ$tPLn9mzV{RrR(AutP^1&^={nyAru z_&o0-G7NYNZWChww#kI`nxqBZJ+?fc=&Ny}7``UU0Jk!FRip!2NFGm5Z3D_JZd_pNtxL zM$UnEg3XMyyMquHn1{smgTeJ+vkM*s`}yKxToQQ*0xQo8;YYwRSgcG3o52wlt_QEb z81(mrV61Vd9w(oR4~BP z;4348-26@iY|&@kiSf@51WbqhVPNIKAv_eE3fCpF(K8y1CVBW%41e^YnYy2UCT5vfkFf(ux%->>}1-=jAAHnM__N~UEk6~}7e2QSRd~pc-r$SI?aj*&; zeKqLdlwi}r4u+lsD~TLbwB%|Da9iasLa!c1U;%pS;z8JR8ER!1X}~ zgbB_P<-ZHj{}{qQgZYnGj0@}k`C9}yLIKamAjEB|_puj~_CgEK2Jd+&I1z0GKMK7$ zF?|Q-x2bVSDYV&cdP(N7NHeDG%Y>j)2g zkUj-oeMj&vI10{k82&N-CGwdNm?`W%A!xw$=^^X`uev>WoL&Gfhr>Kn$h&ZzU^4@i zA^Zw>JIZ5_^Y&A66oNW9;6Kdb4xD!zY&vKY!ZG08aA3}ScZ1Iu4t0Mog3o~?MFzeB zUjau8?ubYu$MEuc`|-a7fFKoV+JGjo`@ZaET&}RyLQ#@rZwG65Z@E&jn zp`QmHZ_&RDt^&sj{TcA=J8=GwF4rq;IT!NnH)UEp*J{{Yrf zf?fEF;Ji4a3)Al7dVkO$OBV#WFL;fm!cy=E3s-=5TKJ#fJaA9ZpdZ02Ec#Yc2yt0% z%dueD4}qBh6@qg}vB`VDM=X36Ty1d}m5*mZi+%t&27PW^5*Z>GANpNYB^ZbcM?U$u z|EvYJLcj-&abcGl!aG9vJ#fBdP<{`-hA!Y9_!w$lfEGh_Z+T#La| zFgP%h7w4BmDg^WUmd^|Ch3I#KkHg+0^cMv4(!Bhi;EUsf0k{hJ`kz3yN`}9(Lcbv} z3p@aW?V}UOaZKjC!tH`heE_`jjs#LI^v)uKO??zNeQW~RDJpmbeCD2D09(KpE&Q1u z0{g_E!42WSbSM?Wp`}0yILE?wgU4HVF}T>mZ-QrA_&9i}h5fb?OavA|FL0HGCxW+I zcsclhh2H@mv+zmqxp4`E|L&V-FtOBNvq7D~(ZL4$$(;}+1qEawINidpfpaYU1$exL zrKxDKg?oZ$TlgOEQVTBwuWn>NCEFmVY82qtvfu@GC6MW&1)eg4%@(AAw_EI|fDc&s zDey512f$}6{5|-h$$liMA2O{s5d~;s1coPDsEnX^k!z zaKFK30|tS|3w!K;D0vWqVvB13C!aZqfe^o^8>0d;krY6tuq$oMh3@0gt!n zH-V2CEY^PrmRbz1f~zdtc{*Bb;XA<>ExZtX#uDIb;2cW;Uw~&@^wNWhXcs9z7@X$Xof2JeAqTlfd? zY74iTi7v5lfA9edPXnK^@bh51B_n&m(cs4Q|5pgoEe7q&(PtJO3NE(rEbvkbzXV=w z;g7&o7XA~w-NFg8kip58_5XGV&R7io0k+Rb(0{ecCz4}=%~AX>u=a355Apf7lIlSCrhjDXgIqemu^ z1!9!H@dyqgM<tL-#BGEF93X2}YIp5?&QZ>-v)!^tU!7;E0 z>?&wvKlvGgBdDM)a=jf14qjv74hm*2+;*mZ82AcCwK+&ALW{gWBUNHa7r+x(z zcGv;S;bk!8AX{Tp0up2^mO)V zCwou!WGB1NS>h}4`ZB#9Pf=E8aZzzLSM_3T;_X?^lA?m5!ot+j0#8~|dUj?hSM_0A zJKB3VOVbL9N_?fh?99~EwBqbcHaXsYFwo3p?oR;$5UEZn3bL7DfF_MMEh>1r!Xs{u)tT8nqE|tm6e*R7Yz*W zY)_I}c}q$P(6*B7RA>t`d_&o%k0E|S|vZ&ZflM+p#B$ z?XB1rw|xWq>@j<$Gb1~r)R*op%tnjTON)xx;3WG(XQsEvSLi9t^c1INc}hwOS$J3b zfL57lS-!&3VqZoET9@i85w&HdX8AG;vkDMqhNrkF(`ehw1p8`M*vX#E$`X;c?2>|X zZ)SFOfv=#Xq^KyJJ=(=Sj3&)z+Y;?v*+GweTy#c}$Lq}~_GP7I7o??oi-r=YD^u-# zqC6St#py-9%#4EKl2TtrP?4TpSWuE(j8a7f1;tsqV%rsaHz|unbhYzM$_z*onDXEQ|v8BOU+927N!?w2WF<(=SZzmivXUqwBo|dbdM)Jb12&|&Mvdt zH`|-DD?9A10^>65REjDn^?Fk=w$e+p(^Ip(dbEo?ZZ{q5bI-h$GCRE)Ijq6~gZ7O``(J*8Dfc3P%4Gqofw zt<;z0OUJlsknPE>ib~T{OS3b4g+-ZZzU)$nlLy+1TV)p&`MjBh7)<=eC@L7r2KBLb zm$KPQ1MS<`2ZQYQMW+{gvr4l)C8b&3j5KdaDQ{JvuD^Y>gmGAymR3~aDJd!}_GDz} z3F*o18f5S0Ebw?dsI0gUIm29G1Q!k4Ec~yp3yRW8JRWbMPw$n2{`M4GDn?Q2V0*5! z)K^sG&B!V$%uFrL!u`RX8*HDc-(IaUQ%j4y*@Zq|w#SoJT97f6r4G0E3iKRe-{^2= zmf*H4DlRTA$nvHYre?7dBkaT5gi43@O3g}V1;g#V15