From c2addc7b9ba6e2e94ac3cca3b727745a3715d718 Mon Sep 17 00:00:00 2001 From: Jan Meis Date: Thu, 28 Mar 2024 09:01:09 +0000 Subject: [PATCH] fix p calculation --- R/evaluate_estimator.R | 4 ++-- data/p_results_vortrag.rds | Bin 6188 -> 38141 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/R/evaluate_estimator.R b/R/evaluate_estimator.R index 9b01a84..b14a957 100644 --- a/R/evaluate_estimator.R +++ b/R/evaluate_estimator.R @@ -949,7 +949,7 @@ setMethod("evaluate_estimator", signature("TestAgreement", "PValue"), early_efficacy_part, conditional_integral) { if (missing(true_parameter)) - true_parameter <- 0.05 + true_parameter <- 0.025 design <- TwoStageDesignWithCache(design) stagewise_estimators <- get_stagewise_estimators(estimator = estimator, data_distribution = data_distribution, @@ -967,7 +967,7 @@ setMethod("evaluate_estimator", signature("TestAgreement", "PValue"), t1 <- smean_to_t(smean1, svar1, n1, two_armed) t2 <- smean_to_t(smean2, svar2, n2, two_armed) c2 <- c2_extrapol(design, t1) - !xor(c2 < t2, g2(design = design, smean1 = smean1, svar1 = svar1, smean2 = smean2, svar2 = svar2, n1 = n1, n2 = n2, two_armed = two_armed, ...) < true_parameter ) + !xor(c2 < t2, g2(design = design, smean1 = smean1, svar1 = svar1, smean2 = smean2, svar2 = svar2, n1 = n1, n2 = n2, two_armed = two_armed, ...) < true_parameter) } } else if (is(data_distribution, "Normal")) { generate_g1 = \(tp) \(design, smean1, n1, sigma, two_armed, ...) { diff --git a/data/p_results_vortrag.rds b/data/p_results_vortrag.rds index e96279130a2f043673a47184e75108fb9ed9be78..a8af1d22b7b63386cbb641aaaeeea9c211c70fcb 100644 GIT binary patch literal 38141 zcmbTe2UJsA*EM{-DvAgQ2na}#Dj*{d=AGx5ps6UUUSX4)?RBz+OXSyT>ZJeHH)kN+U`PPSM6n0 z;-)DqMhvZ*ks>hp^3#(^yh%2C*yd!2NDNaqWlU~WU{{NDRU*e!K7A1aP%dL|I_f|p`KP+6l&?c#t3W(Vw+?s4tEx9qY`vj8 z;mm3wMtmJlb*n(UuSvnT!t9Uq3xtJ~-BNhUGxd5Ya+no8R%u4-5q3veG$nJ><(WYT zd{GyNo*ZcIaN~hCWB>2ugnI(L$A+|KAI1 zT^k-E;|oSI|<>Y)N1v!d%_a>^BaRoRRlv93uhg4!vbzrv$W+9d>77A7u&P8 zBMp(u_a^NpZxX`4MOVi`FB}!)^Z0^m&ZF%ULZyYefW9lUINg)b>m!k^~@Jo0)bje<+;`*#w?a7Gy`Q@gWQi z4WpVh=s?)ywNJ=uCcmM5;Y#yh%rgZ+qe4pV5KEh6;;em+{+Mj2vhoyO#k!vH501?(`Jdd5eVV;L zAz8{k?H?HU?smW&eJ3|o?@ykUVLuRE$3v>;ANroIZE4dtIvNP^t7Kjb?-FR4+RTyr zM|}Tw)}n%L-(Q02b7H_`%eAc*8rp;SM-%jV60Rd0IUsF^2Lj{Le)<{b<)79$FHKa?O`fe}tQPow>g1|Vo_$_t=>)`PH}hqFPi427*D;n<`Uz} zrvLm?4b?LqCOxg&J&x%dV8PsRDHnu$ia$R;ookk0)>F)Mqj1)(<7C|}e}aT@Y1oAO z4$EuWFiE+G#?8Y^>JCiT_UsEZ1{E}uAP+tL0%c=I9P{N;H=E|2ZwVcha9sHGZprj) zJOZ_D&vS{i^dhOu{pjUVqiS0rFxh>6A%}*Km~#tv8%G^Y5q;ig=g$*uI;YGu?86ub zBR17Kdt0`hv76%(#URfa*zVyc`tCKayg~oCqiOQApG$n&xm&=?(^(n5?^#spWtWNIF(aZfLg*Vt}+(CDY zUwpq7vmEad@{_x&^`ifDI>JKZzS)HJXz_{ac)>yExzNEb|D@9?{%q-inSZ(cR6}jQ zWNchNOsi<}dA#4=TdL~)1j*PJ)rtgnAN?oZpkPf66LjII{UA|o~cOtvRv@}p608CxI?o{eR)u-_T%ukD#doD zusR0jP##V`8m(@}AWQ?1uNkP`fUtu6m8m~OXKCs@=9y&t{+F2%_BNS#CvMmNQSlPI zEC_%3+yna96;Ug1zinq~)h@D8K=-m|yP*eHYSaO4~}?h!$EBzvpfyEgBbTp1}V zSyr8aMk+ES-^3$%t7*IVHYJcsM@e_3o9ZfQCh81lHCT4>#9|~Fk|h;Onscn37#phE z(~-W1u99bD&9FmNEI_{(T%pDLeC(MqvWemwF(_8PKGjR{c0 ztlus;k)jwC%-~)J2r)5J$gLn%MYzB^mwb^UW-ifn^5CrE)_bsWca|Wh*YU_bxnt>+ z3{(+wZ2I`b%-M>Miagj3q$Q%0xdKa!Y+~`xXs{C~gvt{0j|v_(ZF(&Q9%_C$X3LK6 zma*=4ixmUmfEtoj%XX1!-rL(mI+0Y@IOh8jeW}HZAbK3g>c=alx=7Sy)!JtT+Hzko zoquMtf2pfN%(4zLg1%QaX4y>xwz5|sS)>7@MWS?$kMJY#BV$43vAYu>x?2V=3Qa&2 zug{wx)l$dahwXl*KY|}jLQ983lfl`p5g}`MWH3^3htg3wL-vca2*jM>u@BL%d;NUk zx3QCZB@FUe{*L(>+Q-mCj;b*)5s%ZgX_(wN%gtK+&bd-nG&Vi;)%Fodp8v^-k2>Kb z((CII#K5+H1)_ExJ7VTmd=$QsV~U&=vh#2yGrQZH3afRC+}!I%TbOo(SR^(pIhwdg ztPyJ`z2nyml5B*7d6WibZIg)DN|Y51c*SaW8(if~jX<=%^TW-%ZftZyvj)e|QtBDH ze7l7s+2ZUKEva*i{+{gu65OOX>rn+^Kq#ga>ekWAp~UPPBk({$JO@&L)o|S268)1i)Jl{*)vaz2m)jFlQ2nrSf4F!*s}HuJdZ}jf z{1%izOnUl{?bg%GK4TM$Q7!4vgS)p9oy{h zNqQWe0&d(zEk#bB_C`^G5ULAM0rsa=j?~6_04SN6Ml~(Xn7!p~hZPh@!L;cq`kl=* zjP%?$&!|!}NHR9cB8#F-n7I{V*K-t2i#l>~IYkHSwJk%kqTtl=V_y9@isgE*{AQKh zwwWciCxedn#cL*grOsQ7-UeSO+g;> z1T&2$W-R_bn~OyIW6l8>>}cm|!b%qERl3>&a&dtWxn`FjVPEw;Q^F!S3j_5D7h_JK zO&ZJI^_8wC=lHNZST97dR7_gl*w3(x;;P>l);c{n>g@Xle{XldbVk0?I`0^W@e*`6 zNO3)dme*l~m+f5He41M-%}YNPEjpDXeL^NZLRoadUu@a*z^}R8*+HjOU@Ju$I#(bc zL5ATVdQcYHO|4V|Zyw^ap5|L5?v>soVcw4-3=AETEQ&*;Nar?>Y)pe^WNPLOc zQJhlqYaNB9$(zc(?q(d|(KI7X1htJybNX`FG|zZ;sMBC2laCHw*{uXuP0EVZ9V)A5 zjb~jnT=NXG-gH#WE2H-_$eYcOZaGtEX7cg!EvlXPvH|``mW;n@>s4mL2yLV*=Qw(j za5u3Zj_eC|{P|38A!nbBE4r9_oHc-O%L@DKKbL~61g|HZ@94C~Dsbel;Z*pgM(Ey1 zb1=u&`!j*;S38=Tr*RXG z$eVWZg7fWx9_U;&<6sDW{h70)ZaO!W{YZlk>_cr8bUwY8A+nN1bUKoD_EEeTw~NBg z46}LFnbY#eT58iH%&ZzC%IxTEbFm)r#8N@aoU;KcQOs|(Ch;OpuZsW4soW>g;}aJY zZ;JS%D({(wzME8&KN`10W^3?GU#*qxHdOgTY_|%>hU{>t&MZzhGL$(J#;DJlC#Dkd z=jfESG*o(U(6;RU@P;JYS^jqvaqT!VuNA4+D^xV6xxDH-67fTEC*AW&+i(obMK&ku zWb3S>5VRYEIAZKa(5YFaDrkOh52wXsoK0^XD+LL=9w;IWp%Wt3s5ICkTM}OC2Z!3g zJFECh5{;z%j|xLFFlUB*_>y;186uifc0B(UZiMRxEV>#Fvmj|g?El2G4u^^XirjR3UM7}65SKfw@2 zTi}_0R!Ml4X*IEQsv}SpUsgYsw!JBrg~8n+y!(~`DWmRTnfzsYquisr2I+UK*l(!N zsZ7Pn2F6V1kWAB56nt3oOhSysDel`%S$1Z?ZJ*mtLp9hzZ%s%NCy-zekyU$yZrzC0 zb-ifrK8Z>0*n}!I=VJ%!zU^wybm9x?C)Uq6TKj#X^pDTW1@@wPQEzFzC&B!d&=6n8 zit#jMrqanaEH&88Ii z)lwP9w1aoE3}dm+{I?_D%SmSkRywsHV=)sX;OU8gm8APeMTKtlU#;k;Kq4~Iy2cYJmBnFh{7f`|MnruP=>IzbNN;Jwe0fjLZ3gn8S)KwnJwhS?q;C|jA7VltdPOcS<+pF-d zbNyPTxg>|GBt4Gv`z^2ZmdAVYT|9yU>Cvwu6(G}zB>d|-lY4$Uxb(<%8gaYU$%-UA z{dz5YcQSr&FW&mp!9Rzh**r+l8ra9y_s68pS{iE$k>w&sp!qHf$QYLkbH2^Ht|`t1 zjW;fpmR;!)3*KcsQU+Sn4z%_e48>-xi|yLeb(;|ZuLhE8{*+v;$I?+gJNVxB zg0)vNqlB6=4PO0xv~Tl8b!`$sb&`2)v9bGKt%XA!;Z~`%;hXpJCl1ViBnbx2m>M%b4>mg+_%Z87nGyb@76 z{+75+RWG(n>gGMQ^z7yEpRn5npmWh-$f4J+`*bXT=rb0A!qzF)i`rOaZZ>U1;F zImDzTq=rC@YI|mx7`%viaX}!wBAKryDqoJMmK^2Bd{O`CLOqeLsEkH3k6KixWM-I@ zF;^M+;-zZ1+I;id7TzN~xS2JP9>_#kyB^nXzT)r2E0mK|Xq1V_3D`~A9J+?ho{F;V zF;}(|+fuf;rPANc>fnZ>SKUo{Yu0%j@-{9!G5)r7>qoI?NZI!9?1Pi_llk0=4ozY#n(JZc%kao=DaerCFQ=$1zW1H%qSbY>ZB-M3eBrrNec<$Ypk?q?lXfMyII zy0os53LrMgkp<*C6(ZofA*pBSMi6f;3chlLrGR;Gj-_s1lx=!U+v(RGyor&cPH%y& z;rC*1Rz25oGURPNWh(8Z*YGy;N>9C2XDaH66CfR*3pDDJ!{L zw`|CdN4ucN`93`^J-xg3KOCv3%!V*;dbwE4YTcfHsbsT#(<%O5NQSNQg@JUrUWIj* z?beXQ+Tq>ffjy1sAW;Zw$+TOc_x_($@Y&6t&&#n@V-}l7qg7RI1|L0pk8IPE+OE%Q z@|qpxGgY1vn!$IzJgDZbLTc1ytZWZ4n3foQa8M%@I9A>=2dn*QR$Hf*f$Hyg&dh?;i2xw||{9 z27BqyWY?W(`NLedI??!8vh5CnineD?g0G>^o)hxbu&8;k5_#fK<(*=>9wRYf(o72% zeTpu#HE?gXf+=ruQ<+df==_fZ{l7e&k4UNVF1Lpi4{dH^ZThckQ5$>ERv{WzH||V& zqX(<2Q!A2Yjf-J|&7Irg4U0>Y>%6u*5Ymk~2k-bTv2CA1a0cIahpAlIr&plL`uyOI zga`#QFjd+9OoDHUn1IC_s(G#Vo0XGU9v1jIOnTF!+-02ROUI{4%B~JvB}_tf*Jmfe zb1We0*G{3c}tM`PG$5H1@xQ{R=db1|Kg=GoK-29<9iI0g+VJdU)NIWgJb z-RO(?ZVCN0=Hfcex9WQ2IE8hb(3~l#ZN4?KnEk@n04rO0R-;wga;opETWR0)wJdRF z$tu)MFWh*R^7~j?i@%S8P&*WrXN<3%tBrcHWUX0gzf-22v%xn0gC>;UHq}^6Sh*6X zU#rx^AZG=6Gb9Pf$2ju-R!rYx)&J_p^Sa8KR@rU|0=3?r4zclN$S>oKOwS(#0MW+>Y5qkx@vB>F_HfjqI1Ulhi zL18z1WIn2T2RrNZo?ip)1KuujpJ~Bmqd`g4qAUGltUI^(-)uE7EH|{SGGO~wM5<5{ z4`sw@J@kVi*8cM*F6yEVUH)fap9{D9XFnw#qLLuJKkzRWo{4nsM2eVWvc%_6gSR@# zFhNTVYvj)Q6Q*PPpH>Rp^*sqmqtJgXI(cZI(bC!%sHGmaLNnyLKnxsO4H6ozCt3+GU^i13pv}XQXxEv&axt(N-G(sznDGbT_ zWoR`=$@6BWr%oq-n_0_7GDqUH1JG)x;<|B zwo#;mkj3Zi@JGI&>J%_-%_lJE)!ZP!acykkW6i8rp>8JV9j*Dsd5M;mc@#1*W@hiG z4;feVecxcuN zyHMF~mLSIA)@w@ssm5KMGS!&*Qab_r;%cBy%Sv-3Y9QLde(om8vc}ChqOV_oIU)&9 z;j>QN^vyCKQhw9Yx~cp_c|S=)Wy)?eIV7h;=wc-|Pgsyz3dN}CM1KooL_;cwTpQ;{mN^aIFYXcVn=~b7(|*co z4mjkx#x6AInzkWYwoCaM$=%-VwJPy_^dUTPo-x&5>{tTRn{r6v?=hb`3GT8FFX-j7 zz=L<^803fVM`vVDAF`UyH{#yHSX9we0#{3K0da;~M>I}9;zxVLWvAb|G z6x7w!-+q?axCB=SyQENlubLo)pp$%ztR6I4CbiU-I+MjkYUd+dG0?_apRHJ5y8HA8 zhM2>TcWtA&Z91Dn^hnT;%8vm${qYBRCMlsb${y?7m!U-3l|>>bm$nXB@MDKs^A>O* zjr+1oL}rvE^6f|sYFB&j;0M}orB37|IPU0d`u}zfhJnarrAr@<(n$sE? z*S<}{PU%XjZtSxp8q2MjPVNK!j%Fz@MYi?KUh9U+y{CKAF0^RS)2Dnx;;6ixcAR>1 zyHL&{Tf6aO!>Q%L5POdP)cT)|@J5ZO=5J}XwLS)mU|#H#R4jQ!6^+h5WYE5P?V1x-pz+YmCx+?UYuEpbDV)((vICt*6v-gDYoJH3q$LK_)h;$UW0w~g-is3Rbuc07nFcl zJ8k7w$nwj)NGmCpy;hXtwwz zuUnmDkoFn|ig_RGrz-g=LsByLg!Q`WE6ICAlDSi-7w+uEs5&)$KT-|#g8E*`H95{D z1A~msJ9-o^KSW#NKYAg1k2v7QBW^Z4s}q`9@>r{~a<_uv)QCOmhu)uYuRp@(M&A($ zxg&Re0M8AKrenM|fz71m`+n;J@vR z`$87ynl)E$2RKO9ePrr8BDZa&aP@A$Vcbi$O-6dg_EtM(>)W^hHtHf0=1-pjroBP) zUIw^)-|fp`TlhJY9o_TF(rz)A-AS&nPBvSedcl4p>z1tQddFqmvcw>AvFTZQ^v>AGRi5kCPMy*(8H!LWx4B&+myP; zr9$4R$Ly+M1QD5yPcZd&v0A(gv9Q}ms|i-m}WVvy5Qw~qa{HVWN?t^4SY z(!3xsE>H2xtMytOxMt)nb!+I_3pQW!3_@Qc^M7jhMeph8Zr}c8=l>Y8bynWtF1?*v z(m0lseI@fDHHJ%@)pu-od{EZzY;Qv|3J(qA`BpL9+f6++7oVA3+X!~uI)BBH5W-h} zkW?-^h&Ll2sPPb@ z7U2OL*~bn`NfX0UKJp#mE)-ab;B^)$b&b=(2RiE9+d_2#Tt$!Q0U!SL!2h`73)w&K zspgs()RL>h$jl*PR(9eu)8D(7SOLf!0Aj-Z@%^<+ivMDI zAc*D@%v~K!LlJ`GwUt-fc$$-F5p-zsB`0esrYWwA-)CO7t$QqJ^vZ{e-2M9A{_)`* z9bNFX%dxPFsQuJMO4vH;F9JKg#70FM7t}h%xZM#2-MWQ;xonW(tFVm~aIPL9<3C)d z<$ds9RIk@V)EW(Za*I^-Zi}lN*v-CU6kqms*o@0DO0Lfr$xV1$Iymm-hj{ z-z(y0w_>!GuhX9y(BJVJlH8J725&07y?P$oTX@{k{Tt#x zm(^l3FK&+hP)?{knqPZ*66otJt?=MBf&~?RM?|jCVtJ}%PwDrz&gee?Y<)AB%GE)} z#$`6GK5D@I?ccV39F=bKP+9oJKjI1~#~+tc`u%EDU%tIbWE3U4e)}5@5ulq!IM=U; zf5m^?L3zkjw}fB2JnhJ#%f(IhjCJqlYm7ycX7l0m54n%t-Y{Z{S+jl`WPIb z8_z{DfxcPv=#lJg;!DSE{Db0!bTpCa4dC);vowI{vHo7H7~_lRc=o{p8QEFZ960*wah}ILpLRYcVt(b8GgosJ2UM zm)I78hxv`K+4N!;a9z45s;>8pRF<>_`%`A+@X6jwy^R6nCj92lTPN529$bx~58r1| zeH+B@wz;;AyRa7cj`ruRYSOoi4{)VF!~hpLPib$fjXDv-AS@}v3UFxZ9P~66Y)aUz zrdpjAM3^}y^plR^E(4+?U39m?R4a90e{fGjA`@2pT0NW7A2H!HW!4m_Ua;}hQ2VV| zH`-fB`l&SVR7vBI08MrC`Zua!S_Y3eZZmuZENjmG{L-XXmW}?4@z80r>|$xU{(_M4 ze#4RH2xIC%@r#+c;$9{0=xA%0)II?{G252;&*2NP|5&%|e_1z%_CSBjtVTk(+Kd)> zwEic^kMjh)(J|IMu^#tgRJ!xXMqIAT;$H%CX&Kv_IR9Ap&#(uEI)}C)pqi;_%lUUx z)$Sv%iPh$>5f0w(h;D?19%4W??<-`7UIa+}>OV5`Yu^AYe2Eh2r4dhzu0~d8$-OOH zrt!NfU`#*Rkgs2*u7_x!ny0Qf}2)x8U>5-0fE5+=sw1wM9YIubq@zsE17aR4VpgmEd93VWMJn zrYGPm5ZA_vE?Vf7l`y*pOjV03L7jQHYK4nh3KlyT-qf}(cut^aZKJO97|IQnB;-=}FP!!0IPBT0o;EMJD%>;i#FOSu*^TVryo z>$jxn%USHMnyxHG?JcLdH?MsDo9)f6+dLn_A6$(APjb@5j}=D^r6Iac4*!xk`KD{l zMabtj@jOM=hSDDqz{MbSONFA0P{@Af!>DoA2rvr+a3?U!e_WrKGc22pb1wJz2~^DX z!<;(c7>X0iQ*(L=AvN?T3Z3peo4Qy@WLr&L1%B&+ZPmMTgr?N37!i?QEnw9!!8tmP z+n0PGGH3ro;tS#Kb56$P+W3g~=m1&%9dW z)(=>M#yKM}jczR24Zr`POwq&+NBE6PS5_rrV4BM3h#I=9&r2@*63~0pO|#6hcq!$QIfMc9ySf{o-=!{nzZw}$DSUq* z3-gY7gwrc5V{jEMgnay}{a_YsBncb6AmN2x!1tF2bbW=MaSSAnE|$Ic4Nx7x8OcJi zu*C87M)8RJYM;{T)68}=vuxFEOr8n#M{rG%$#CNM*p9$tja`vkj3lS1p~w_4^AsQF zeED0BqV{Ql7_u8zlJ_^Uu3cI@$N{rFDvp5{C>*s7azN6fq;}QJH+|=cmJ&jCU0z)r ztpzSqOQHhK`Wr)X+A&q6NZ;Z9jD#@>+dg3{W<)G~s~6t-Zw2jv?i8a}*4m z`VT-B(|b800kOJGc@M2#TnQ<_Wa1A2beAFEL%g%{NYpxt$ zmzg@6Y{V1Dvq5Vo&rBW_gy|*D(xC*|V96*3+S0A()=ppOfmtr24lv7=QoSVtF1U$O zHy6Bp6~{8An)Pb79x9FKj6HNlOcsaqND7PQn~1s7hTD(j-6)EH!+iygqo&xy7_GaP zYICS11;bZ&GU*$Yt@kp`a&LaU3`qb=~%R%r~4)4!PE`FT614LQ%O%&O$5L6T#lR5Vo({KvFlv}&& z3&6xRJ?|B}FESG8FzWh1q>u-I$<1M7d;D9A0N|*oQR0i_@*c^&eLxGOO||N4ecVz< zJ5b-KWY=aD&2E@5UWx&D1IYn*Q+Hk5YW|JhU7pv~n`JV6K<&3b{%7hy&)&lLL5z2g zJ6?0m>xWX3z8<0CX2Ar$$QSZ80Nt)WIfwUsk=z~SR z#QbVX*F5B#wA*Ic^2Gn(#B)c%PxVpM=;9BWf927Wu$EfTQ{%s&)m^*BZTZXzmck_n z7#WR&_v;kd!IW0lO?hmlM$W~AoK0opwp3D}awsFT>k6ms&0j}Qa>;@e8U9W622W!0 zdGdBjMEp{9@#{}i1M{n`k#-thHbY{c1OE%B2B#FfuCR!}lXcPI4_BJ`w(d_re@M~I zpDt4cTxmAr+|JAWS2gH7G{#vtQI^w>VP#W^Yso!m)V6STmFT@oEBCjjsuyqD^eU-! zhg=iunKhieFtRCyeN=$vX*nRXx@}*97Q;v8%ZJkIH%J*CFkF%0*RdJK+Gm#HzoAru z8c9|OEP!Cj12o}Crf9*hU|~YqNq<3KLYg(t#^U*lR9@_&<(u;g)_VqU%ktmECxtc< zeHAc;LD}>Zty2R(P2Vl=WgSBmX6u^x%P<#{{jo4y*xJoC=Ylff?W>r$`I?pY=MQ-pv)mxO%hHUpF;juDTO8mz*0qgc7z_l{azxKu5tK0wACY% zi~s&NTv;n69^#Ghql>_?zJ`C3J`0TO4pl9v^!UWfcgRuxCJ_FVw|g9fWUxv1+$Lgz&q`YhG`NiL zD=S9we0w_lxHrFqohD}<+3sE)O6%Qs`k6=NrVX$X<>E3cu@9f&1G)S0xO3BnT*iMB z4E7>@O5ybTV{uz0-FsJ5?$dntj|kE|dL&m!2f>Q5yCp?S^{((AFps#-)@@07R;B3%yfVN3$%45+7xEE!|am2n4*#oQ>%ERp$22j4^|1qf%0CAM$W&H%V!iXHht~#}fXB`D?PGc0xmG7mnLkx0|!S15$urY8dlY z=kRlyJ%z8EMT}Q=L1rc~{j5NOw&i)dR7#f}H6Zvu5?cy%-D#zfbuOq3eQ^(k7)ezc z2=x}7vjszbK7lJ8mjLBr0q=KxybqVN229@hpTuIfjn^-iDlno}#RH?QFYGM&(U7!m zy2p#$O}YFHGo|HMAfWDCdgwOpBYxN-LkKc$pHj5`2WQ2`%{Vodo_tsFX7 zbf0`BDe$ zt!KXOX{Pi@2IT|3w@VDzdImTU7DPQw7Nd(XSD=UgTlD%fQRVB%ZWt4wi~WN$UWua# z`PFIaF6z~&qxg{YkEaSOo)k{hl4iML`Tm6xMeVqF?fQ5xFY^t6bFJ1>08X3^sVaTb%PYZ5i7d`G1&JtqLib z-IBE4L-zeq{_i2|Ca%M5#u&9kzp_=S04-okMT)6qxidbqY^lpwjS+hU6jsDOr*g8x z(wS-+X_W{(rT-d8vrUV7#lnO}P4ZS;D`IDmNMATqY|1S`-{^CNDZtYNq1{ zS9RjF5}B zTc2r1sCZv;6T^XYshndv-}Lp9qV})-zr)U};M6J$s?dcs4{Mamv4R@qSm#kTcCwO? zmj2|*_{sF$?Owu<5+`0U_88qKUiZKJhHHm*jqRH_8=N^-wGQdCP7(Q30*LdUJu+4C zA!KuFz(i)iM2*$R!_x4Yo@m{4%fzl)x~q%@VC_}TeMPtrW0r=XjLC+x!)0RXek-(a?qoW_E|Q(Fz-_?+^hUYhdp+VyZ>p_yXyMjO5uX(X{| zJ_!^M$!ub8K7AJ(pzc#G5ls_trLondbeH=keotC-%u13aKdg@ zKz6L?Bdo@Olpf@8n7ldc&R^DF%P)%j-m1Yoyt}+NHAF!FWM8?<{+U|R=;EMnr1QUL zBHdfxJ%tNJ{LCZH$Y9ow6a|luYP~Wc)4)@nm3h5pITU+T{&79?%|@dF`#Md`vyy3* z-}B9*?A4(Ki`xajH;H)=mdo~@9TZm8fwK}{rEsnK71Op=_|x#3;X%yID6SV@2JB?B zN*9ldodofEmD?cV6+!QmdL%<_k+@6qaGV1J#peehNV@GQ1N+rliMQztMeX3t-@wKs zagec8vQ50t&27!pA~(_qdr;>m=0c*FOK}j|>H0G19{h#m%YLp^(}zW`t*cc78v$cq zmOcP&yUNkIuSQ&L=}88u>^6XFipsQ6>tw)8Q5WW(P09Omp_fE{z? zyxy;xQ!c$Ul+-E>I!d=s9?pn;Ho{wc62a%38+NS9u38O$DCj*4Bl&W>O_s`}4|3=Q z56(~HUyq$dbTB1^^zbim8^n3SPAZr!-Ue31f|A0ATbRDi{-O_pGyX6EEhcg zmPQ6Je%1?Gi@;a$z|APz`u|NQUz(|W{h^Z9sR(fHlc3>V?UZ|}z2?k%Eu?96NRp{|bCo+I5!{aVN|crF zbso#ZB;Y$GMXz&-I!uJ8fZ`O#l!t?cP{gSDR6z-l_WYkUkJgizIble>fZXh!OWpAg zd_jCGs1Db|#J(bx_snbyXYT=johJbny^UM81uOTpP)$oPcot{#yAsuKZSJ>gt|6^& z8Lc8`r(*%Jw5DRIZ+a_deLVcSD0i@*{(7z#|8QM!DxtXFjMNB+@HiyKV%Dxl(u{LI zxxDRI<7>!Z0+l3*`DUG`r~ET%;G<#gNgpZkkD%NUql>dQb8i}5ZZ?3;=GAuVYFAAh z8&G%iM*g;j2QIZJThAn|)W{a@ZDl25{yd=7W3~G?aGTeeYnwn9bj>5?-dJ%!gZ`!P z@s`4XZ)#kA%gog@rt5jyIs5a?Y$`PZTT90%W;X6t)+j^(CqwziE}EfC?J&GJOFPZu zkB@*H=l|SWCrF(}WhkHUzwsc$PS&o>EeTpe+oK-#o6iRu1ymZT3#})}6v16Ah4+H5 zb8mT6^hi>Ac)gYp39eY*Pc!O&`Ix)^@Zo;rzik0P7+H9ljVSG3+b2T1o!`+n^(>)M zl^z@UJ0KYnD}>()cg7FYWn=)qJP4$8r*mNB>jTbs_0-Z`F&3aN5ZK!N9Ih-0)EFPI zYIcs=dH6H}LGEw~hUyHRm8DoP^GSWe#{y(02Llym3WAqgw;$^)Vd)>%hFsYfbFA%0 zowS&T&-+Y-!*Fh~^vjyc*+H3GmixK=1piUXjFdXJSL$DcRl}}##*zhG?Gu5}^s5pA zTx4a5dA!EWx~$xieth|u$C4@V7vh^jv)5|1{Y}O1JM}%d1~2t*Il(#IE&4JsrWUFu zb$?ev~+cDx(}DV<&D zy!}xMpBYlJ`d0N^5~85ts29F|hn`+U*E89!?7{ZaH^w`>4jwXyUf z?L{Jfn`uYXO&wYJ(~DJg=xQyk2Sz_-*1^Cci7g7>L9dxO{3zd^JpEBfnOKJ0= z?*4|Z^n(+klT2WpRV?Zf+0a*QH&jiOZv*M#Wq12Be*H=npAI_+4o}KXkLKaTNH{PS z9WFVeW7_R=4>izHx4yF%kUyz(TW@IA8$uoXP_mZVz3&cww#>O9sFV`-KNio?8BYXUUUu@!(Fnk^Yw;AY0vHJ5`WH<&{Ip6XE=;V zi)=SB^B)HQ^+=g3y8o)qUt)!IXOLP?hHgbd4iBVb<#}QJ4f>nX@?oK)w`-c8Ti11( zXS|}x6X69UZ?rVs@I|VICG=ekwN@QMOckhB{Yf(t!EQ1Joj)bY6==?yvpa$1EK$6F z5aN2T(Y?|Rsaf`Vr^XX?clg7VX8<+Ve;S52aB*c{f~dB!iYoOktNK@B@IP|b73@HNw+YWNY|Md43(8Fs}U4Zm2Ps=WH@ z)NAWa+-nkFqOLk{zmmYq0Drb6eJ5rxE9~5hK`w9S+Xy)sEJl?f&O-~5qG0VVy)rJq z#iH>RD0Hl^?5q-k&x7;v_JwO3#_$Bq=(h$%^V6W^&LN4M0=WVa4!-6tDI-b00P@&6 z))7?-@n>MJedhS&-}1m4jGqS&$8t zUA1Y6^X4tLnnxx$E^GT^15tlx?^o^J@Acs=6E|r69o1&dmJK~t-f~f=Zu_CqSRo_h z+|e<2crJZ(_SaX${;R`F`oB87rYfZi2LotoAR?`>)x(na67spjdDN2ODfOa0x&W`MKtpT3xpbBOEBi^1a1%Zzk{I{eXv&e!BHnE8)*oe#$ z2ZPh7bVghWZ5j5HlWZ;{(ogW!5=FF;{RPB_y2if~yGT%0S+twLaNa~je3fk&%q_1x z*W7~8>)u3;$z@}>-N%?hkB7W`aWNnDMa8g($raOzk% z4u2kgB~C$Tk>ibJp14tCf0Ey@=hy$Zpy`2YFxA}SFvg#{t#N&6oQuHDETB@4(GmC3 z_wC<~4Y$^I@Ft;fBXO`W|vW+3f!9Y;t>@5RVU{GC>WRVL8>V(SXNr16oP0;Od@ z9OYFR{|eo^ze>(Doc;P!i7bTje+d^dMJf1em)`=ha#)Dd^#QoMba{NL24e+ zK;JCo$j<|v%-SP~8PKG=)FtI!L6No2SjuWrAhP{RL#~ptyH}%BFFqb>J9Nh6?TDmX zAq2m}r|Zal|5X|*5P{eWGNqmkHYkjk!TP8u_;YRn5lC^*QS{ALC6yw)I^Ez+To4Ix zdI`Ln9O(`qkC)rl3%QWB=579}{G0UqyTh|LQ_NERdoFIy8E58p@;_XQAZ|%~(>jSn zIDR);SO8~MNYd0q?M2JGo(ueY46B z4n_9L-uzzYP~G3($GQK}U!BJ}@9TZ7=k>gv7r{s?PiH$7aq%e=L1#JflJ^%}!RXW@ z)o^#zWm(rS6YEq9QyGb(ecODZS}FPYN2hN>V$KpBoPT!=@qmf!0gY0y4@I%Mlx`mw zY;|niJ(`t6ZHY{nqAjy7ap)4N*stasX3EtU9%_7H6LRq<6zRm|NyPAob=f>m5*$y> zIQ2swZ`R>h`D5b{w-w&XMBORdpZ}MAW~Ae3q{>(`h~s+#@df$MZ?ye<6^s9#x{016 z6~5mF&5Y4jiJ2V^FDq7Dnf?s2&kgbLvP%Q6%B%AZr`<~z({v9I2pPResJDT0@ANYq z4hvASNfk+!?tVsugF%WV`VSFv|KXpo*vOhdflC+lvSqN(>?%*8MA8{E_V7=~P_dlZ zI^m%~bn(5VSfxP8DTDaHIa_Mu(Lg4QP?w zc6M=*q$drq&_EfFq)JhaLi-Ev6HN_L=d%a{V#LJO5I4NPqKr;WB)hV}?&WcD{y+IC zCNA^h{mN{tD;FkKoBX!HX#0Sc=oST9bYbBS|M^MY_w_+HB(RB=_%xXx#}Hrt_*HK^ z%y2>RHXm@$I!I-oJ$0COvjPyC$j4~3B(jdKw89==Nd3z~oo3L46RV_>&zh;G!t_g_ zmdI6ti5Q$R6o%DSt?;7=>D;po9yP#3{;)?)6ec(Q8sl=V?Cy~hbb zL@Rl&g>--i3hK85NHP2~CyyH22V(RHE|lxGnAKiB-i{vF24oOwIf2T55dW+as~~C- zk$Ttnq9meRF&(E2p>Hi+X`xew+@JCux|K&apW!Jtehm;l z`KlaUiRI(SO*5ky&+U0fLQgbF51@UVnFu+WHbx#wY;}pn`t{!fkm?_GiDwK0As0>9 zGDZDo*~!QA#lJ*%LF!f$Bpg_2FoSFf*1Yt4P2cU>BnHB}pyp7_H` zZ)LJDt7Hvu88Y%EQpNuo)~p-P@)E@3a;ad#@f0`qUFm3+qy>F^>s&0QU5460L&ihO z93P14Mjb{nacp)_J#T3wLymEf(&TRVua4**24?Zxh#gCdkp~zofgid*!6!cPwaB*m zQG8a1HE<=`;^b~DZwF(dOToZc@w&td04@ZdpSbL>zw&;LRJ3FA$MP{+o9dN^#uSV{ zXj$8?)n~9o#-cwl@7%RgxO8o!AVM~Kt}Y7HPNNc5y$`qUm@yk$aJLew_`N0iuvduc7C(h0-3)zFjNDMYDYpQ?&nzcEz4sbjUPq z!4IV1g`bLagosD;yyxRX5v@emCO%0j4iV9YD8uW#*^QC}UlMSbD)~n1Xo+4ljboGU zll&`MsV}0=Ns&E{d@J&z614s3%G9FEaufAu0#PIfzZRrm>po!~`y}ctiE>*vw^^}T zPtWnBWW1=GH3MD(5^L4DhI{{w_gBPon}OojJisLET(9~N}?@Wd+ga&n;1Lx)BGex*|^%2fx9AIAihLshHfeMcfN#ul{r<$?n+}w>L`A zFM59fwi2;kB<7;)#J?9r6W^@(K)RSJ%oC$xhS|S;FZjSMJKj?MYSNeq<+c?Q^{Xvf z!j%v;5J)={fPu~?C5VLTY`6l+Er2gjYYYcKA2G5C8D`i;^D0utT(5kRu>0K@u^oRg z!tnYSJV?|WW|pR^vq6EFkl`skUZ*E14{d*8LZv4VeSsqwMr`Vgv@0i(F6^kAe_uTq z2P*XVr`RXwaK}9v1f^poUBZmYl==!NQ-75FbHcP(=_>{3X>#!mrG_>eAtaq?PZvzb zkw(&LYo%zpnjW%>-+Zu94~gG5QX4F4*jZrY+JE>G-JD;1{`(-{OKsQzgweBsR)QseDiUKoL1~a@9HSz9Fea9 z>_w#T5t~=zc^0dV%i6ng&tith>}Q+}ixkf!qi%mzidFN{`?rN==DTAxNcOF-JNcda z7;?7>(83}wojRWji)6{-H`&2ZN~NaBxCBWF=6~Lvuie}lV{zeqrRJvIZdB_1$hXWr zSRlmZ5@Lc`6=5aOgL&PNN>`NjWq0zr&gE`mWqQ_GkbYZ2nTI@E`QUJ8=`cQ-k;n(- zeQ!}4<36c-C)K&-gAKf*w+KMad(BZ|x2=VLi0m=aCVEM)KSxhM7KS1yZAQc2Ez>(@ zxwsz>x__DF;v+dRCD)lz3&m?!e)E$5PuB_x2b=(;PQ{DVt>1|t&Z?0|s)^F}6yK&&WB6qERZQ;|v z!vP1Ox|a4sjX2}GNM+dY%jbR36`HA4@vYwK;AJ+(5H&y8NrFE{DnKnXA#SZ*Ayg@) zUg{+c@S-(pINggvd$8(d{{R8LyW82MiUCo%|oIy^) zOucdLT@+WcncV#Jj}E=#?R^s&8rf8irG!CB#~2R|c2_W^!WUzNv>Z>Cr8{ojf82Mp zF#d^{T)3I#=bv7bTS9i7T^6TXZ-TV^r6F|v9`!YeB4 zS7paT)Ji#%0dgd8A7VK|WYAU-|7w4KHS|eiUz`u5qj-@nV~=4|Zb)B37OiHtco1lg ze9GA62o{2>l=2O-lC%*1b)lLO^xQhpLU!UuL_r%nG`YI=qcHV+hMJ=ZnRlVfuBXDK zxkbv;cLo|<3&J|4MuvoIHE!C;k)OokP%uNv^d$f51SZ z+)Qv!iV%3w^ptX)>HrqE6KuL&FFUu7{s0>jG-X&wd(obV;m*d@6x(ZV!li*`(W6XO z_*?xw4){kSl%f^a#L9VjC;J-jY8BAUc}r!Mv8YAA8tgqqz^0}MLN#_9h^2=_x+f7y zC&oEnB7HUuY^^*`2sj;Brz_C^essn;N_ z*#Q*VS*oA}mC2oU1+K07wey|{pii2m?@8A$t2?C?%VvY2eoNo_h7jzMPqLp5Wf={N zDJ!jmFS_3lKgN&O4O}wtwJT|J3hUFc5-c3fXZGV-*b4_obNaH5i34YvJAJS- zz0Wz`<9}rtq$EH0xAboMqKZ=rey$=8%MCYvSK+G*=C(o!M*&%NIHg_SK|ckR)a!3jb5++%;MB7sEgu2(|b=3)_>ut>AYCL0#^nN?HcES4ejfM z0RQ)})D;8d=$f*%kX1_*C66Uu=&Mc1p%Gp}zw}|%#}c5%#Z&6r-69LhBwO0mzKdRk zyH+gqjNKpIlGZBhX5DJuB27lcf@AQwJiVb=3vL=h*ozru9J3J-Hb0ov}XYiANG?j^)>#so_kuA?^0nya12E~B38G9L)sDaue#;?LU| zC<;aW^{|?L#*f{$9S8Qiefi>%L}bWNhJaias64sYaSvd^RA9j-n1~7Q5Bb19Lxu`_ znw-hA0-nmm#4Lk=}y*Fd8*D=Zt#E*AYa7pVRE(o7sV| zuhibJaKSi1?uoT@+zo2L;-r`XGd8@^&F>z{+yEjfJ9Z#M6y(Dy$#qBej#+w%4~0cn ze4)9KJS0{zRu{eIa10D(Z9_g>1rhunrYCX&RpE7+BuKO;i~4?6;M4%GtM?Cjy@g{5b$Ir4vWbdxU4OB9%O7oBV{RLXMNRVfE8-^E~XB z+!J`gbFAUzc`ZY&*qsTR@S&1s1R(-eM@Z)2Z<^kLu7r-kG@Cy)HOO5Q|M6z_+YmMc z5gFU+1kvX4)%Wa_->)SKAiDhGtqC1NEC*XE*oS`Cns#xyAVy`prm4V%c2=y=ws78a z&U3L=;Ai{;^)x@v?hg(^)l0H-g78BTDO(JFVvQVm4v$-(`NJ%E-0(MdrmN@y5^-B0 z85GYju{N_i!vA5beOX&zE9=>4TTCN73H9`*OPX@cHkej8RZX~TMT>hXH!(6`%vN8W zDg$L-6=ard+zv09u3k(TeAq!wcnRn7*}45@Z)M8;>Vk&nSRrlYU82SD_#f?=$lic z*zaWg`2T3EJJsbvCuYdYQVOrPYj(jV{T%U zNF{didtz|};FVOKVp7K7Qcd;AbR4%N`a0&P{qDFGnh&#|u^!cZ_6r#|#&8~b>5@v? zqxRMaD7|q?`E}g0%8_97SE*W{cotF|(UIDyp%5r_b6bEVV0B%CZ}Yp)3at!u<(XY= zDJ=_}n^N~Pu##icm!$0g^>!yW{NZ#GIZU+FR@-P#s=MQ>EzK^s-ZN`v{ucykS52 zp~62QA{RxwV$XeV0L6s80fWAnvEd!4i}(81yc-&fn!l5j=*NCZxaWB=K!3S3Mxx85 zS-Jdpj?)74P+{_^>%+8{u;}vcVt;%sllf0)0#EC~#OR?LRG}nGzxaV*@2%31WUNa3 zwjiJk`QqrM<_bikJ5t+uF&fTsUI~P#SNG+OdtkMRa+8Ae>kYK+5W5+3*@i@_ioi)z zHy&=~TqCc}S@E*N`9~Z8w-*e)zYb!SeEX8Am||rQve6-BOS|x1*90hNa*xFNb|>-* zy?5@^*Pe26n`-#kK>-{hn=Os}WiUw`!YZ%{Y0|6@7_sys_-;|(t|pZ}TPZ0F%|1T9 zgdu_F`>>^DwyPW&p70{g71Oy{v)49PC(gJvn0) zAvX~RwBsm$gx_RoTt^S(p8&)lf=)lFC=>xpeSu37;21{6Z36PjRR-j~-SX%-(^)8; zN0u413XG%C<$C%qRIYB>p8@GyI(`BlXC)GtD!y2v@?n%!-z@RAjF(^AVH;S+rD7~?hVB%Pa-Qq$F?#}GeXl$BvToe>-7kV(s%rq>93L$+<+6g<-b8%1*h3^h zEpq7SitnHxE9q{k;X4azRLn*fSgVI0&&*dH*+rXZZXTy_mlDlUs ze`K*3=a?j^CigxkfJPr7jtUv@Zo85&oT}Xi%7d$OCgmS5{5d-zpyg#0>xY@rp~Jei zS%sjzrabxw9M)ic({u;XeL_B%TXLE^U8_c3y1%*dvB z1sT|#S~^6chayV5$0yHHKoX@tMj0DG=p+X76cC=DetA<4UIh;ky&**!GYZ>4cjilF zVFFxqk?uN4Qb-{rQ+dEtT+^?4x~KXL!H1vx_w>=gBjxfkU84Cnh9F9sDf|xm?SHi2W^dQu8S5LB{I-<75`1! zkLM|MS=$`;XSVI_JLr?kpvAQq18)AmEb`JJ#f7~S0h2*YgA0z^2&z^m1JSf&v>j`e zKYge=rP18YB?uLxL=t=5lPjqEJ{HItQ43BDl=lP{<|ig2%rG&@=2PPFR!rD=!d@@_ zeq;`;A10v&&)zh(!q+QC_{{n%ypFOI>jny*FEy4P9(l-$y?qb;q5NnQ z7h32FYV8d_2}fGhH!(T6Hr1YjRvzCduZrU8SxT9Z5@~9}ef%m+DDj@E5a-TD>^l$2 zzfzLqcBKTmY6qVD3r@q3<D%HJjCg$#(2lcW%8;?k_Q$UsH>{>es zkLXJm_isRCY&!hI7{iOVvhL*NNg^~(sNsLG>};MX6FI$XbHYaY-xF**ueA`G+HMU00Zs?%#0HS01K?QbD zAYPn{a>C%p8{U-C`KkKn+Lq|(tg%AzQpGR(3<$;JOa4&le9nxTIw}%*sR7HVH!Nod zD95FR3x*ZsSA=3EpG=isGXZ(~7Xu=-D1Ifa;4n!WdEOW9Ncfr#=Id_51|81QkZyW7 zXLfmk0K=mt6M&L~oU|t&{2w+_la-w^X18;;&_tza|EZQ6661N}CUpE{hzP(T%4RN! z&Y;M*zp<};-NNcc^W}0;S}73;cq&oZ_N_b?+W=sj5dBU9ClA>>lA#0Nx_0V;a7Xu5 zp;!(Ef%-Q1pvv$19ye2rN3^wKAGzB#zWF~dG){+i?JHfcsuzVXE;RH~N zTQ~3dl6&W-9$k;$&JFqhYHc0%?v&u?!!{n?PP4~bA@dybb$bh*{u()b$1w;vZlJNR zNM@!b;^DK5PlU|W)YYp6;+~*=2k+Q}Ea4EGV0nr5)6EGSfgp}vI^(FJ*hUfV9oFjbv~4)J(>e zLf#O^4EeD2GoT)4CM;Z_Hkl^A0Ndzoh*oz?f~tBqX3E0<9dorPD0 z(ikHFPN(&xomzG=$AwiN{u~Q3cQ<1i z-r1`uhLLEQqC)1c=qZ9F>%_K|uU=XO)Rd6%7vXWWpunpKVj%a>Z>|I-T180x$8_Cu z=To%H5F0=qh7-`aY6Vcxw}1cKi9k+bo@ueevO*ga((k3G_3kr0Bm+tfTdGQk)rjoHP6Sqhf z5O=zW!`nr|@U~#p*5R59OE2}bltfV|m^&f51253M+9ojbKIgEbuULFhZn71deVj2Q z%59d&bsn^}yBk^#5_SHmeNtNaFHP;bbl@j> z2Kd+So;|Ep@F`7twZhIQ@cd^Y>Iz7O)B~E?v2E*rl1@yG8KU2fr9q8X8JSg3%mdbo zKS5&^ZJo>jk~gwB4p!l?Mh!6)yW#35NH@1wX%7#n%sO6>o4Q4ZGR~&~-0tz+ha1^8 z?u3xH{bAr>XN0y+6E%2F0guV@% z5ZydrUc@?Y`p9y-ZAM@)JiB1h6rZu(34Tm9BA&Vpl0{&=OX6`SJOmFsM%3=_lR z^uB^dz}?3VNUUZSnDDU)Va&&}kCKnpMfhcI)tjONB4RV0ic4kM8JI*xIh@VS_I4~% z{5zQ91f6-}M%c+K4g`n}0o8&|H-%+Qz|DgP9#yw#Fo|xo+=*q zy4XaH06;L30wA!2OH~p2@U2HHjB}kKy!z0M#iP-?G(v3N2s%rI|^-)53GY=l{YO0b`{In!LoVO?EVD@W|Toma~$9_6Dco5p|}5|T2-b2 zM($RzE5KT*D$MW;m=H(~Y}G=>A8b*e%JQYf*M`B)m%;)W?K$dmLN7X|C89*5?o8*t zSJgq0BPLiS3*Dy3&$T=0$3>2evza{fdB~arSjpWR1Dj5smxaRCs_!3|pp<142aBDU z(q}1fV)*KB%{R3Q7Rh<1y{&wxe{TVvKiMl~)l+4~moZN%cK}oGNtEU-2ef-CFqa*= zyei8x*?cT^@JsPBZynfM`V1D#n3JCNl|>l?StJrO+z@%(C$fjQcpW%ZlU3{BZ4sZ2 z=~9}Px{TAO-}&9Krl~STpTU&k=Ad?fkX>VKFB#ziU_IH&y<%^8XFV=Z+wyo!gnJ@b z=KbFucWX#7Mn}Fe_ceN${l1G&y_Y-qoh$Usi)yjAD6LkSzx`a>9OQxb_X+uzUTMAF z?lcdmN+gsC!b6F8#5~xPZpwI4WSU2pVZ5%nj++Tow!x(vcy+a3dOW?o*Z~MrV(d5MVpjc^{?iC!# z$37MIcHc*`jkAWW?Dhqri)17y|4KK&H9b8bUx zBOa{vJ84+L?068CU`zUQ)qT;!kZjP3t|KgULCwCC1hG)G$DPa+H2tFPc zmWjye4_?aykzXj z>y!!goQK(qTJHQZ1R;=nXl<627df74ChuxA$qpPtv7St+jdqF#@&vRullpsU{0X1D z%?r=8RgO_A;9^}$ASi)^wC>$x(SY7y%M>Fa;nEiSs;vDO!2C8WSXb2tHJ~n)@$#w} z?o!~9a7lT;QW_^J@1)m!Jw{d>f>VXDK1$w*q5z8ooQRr#3;Jz{7zkRZ-ZdWCoNQ)Z zEG#>F_Dx7k+=nhbyOln{7$uhX=Rs^yv#awhs!(W`SNDTnN9~xIF$ZEiQdtKSM2O@BttB_*x*C%bTASuPCTt zIjdEWw8YzI_qbS(Et9a7Uyrggxk{PZ?u4Ney1u+Fk#PPsL7f15)Oninjbk!JMvW!~ zi5Qs>L*p5f1Pr(Iy(fP%O1UX0|A{unxtjyXLAZ(&>$V7paX&nX0jj^}!x1saJxa8vp z$S`vG|7qmQ$UBuZdo4fPY5D0PSN_nvbhXj>cQNaNAuoLo1FMA{=8a)>ZF7Qq#Js&j zcM-@`&$A~?fCWdVI(-|ag;KVR8gNQu78nMkO18 zjrywLCdTeZJ`Y%ngM)ZB)bFXalizJKD6W{gX_iO};!v1`NwDO?-wtlK@AZ9N-U*A} zioW8ghf^1g!R`~30#mD#>gOMnf!2zhQuCjE zW4p486K&+;dmc4vkq5fXneXDkvik#qv&msyMJ0aN2!(YFscMKE2o6$9W1oRjpaj(< z-y}UD=wGp^3_re``kzev(=2hF1t?$atGKihFET0fc;$)2kkpgVQb@L$)O!AzV6{3p zE)Q_hu?@5~xk59yp_E2Qm>F%S=og>{qTa_8ZkyNfJauMb@Ns?S-z-3;k8l2sdMK_1 z{&L4M#&%ad>^Rbpo+C7!n(+SFPmqU;Uaz%QJpmlfnM9=Ybcez~rn~yxdvZ&$ctOyn z#crpiVI`7_GA<;ywNvL{rUxQr(LjRxgKD9eqA~qI zT8pKIb~)OBqx+H)=>cabJz}xj!uICT;s?s_=up+v9P1j?Ho_YezF)$q;211%@dl^k z*QYV5s!nFtfxoo{a&=1f2d4VR87+V9JOtQ4g0l;k z=J&(SYb(Afe1C3-cQ2%y=l1dl&0P9)NxAJdtC7D^&Xp=d;A#dT2f5m_(7z_G#N~jM zoX}MBfvykltdRYiUXF|aJ^frpi4KuaO;_^*HiD2Du?ekONBb{cOS>!fMpBT}^4OTNllky)3wc z!B5>1H#<^@1P?jx5B>vZ#Qsbff+d@VaFEPoyS>h)#-~^zH$0(z)!rWkG?TJG0l7tx z7Y5>1&k^Nubioi0&2FGANnFSRyY>H930eqCwqBQei4$BxZU+;{_jl)Ny}RO-p~H=i z#^k%EQjH)Y4(YGbUELCWnTpEq_~`b1)CtV<89?-1cgrY?th*4yD}ljIX@1+>^R0Vm zO4N3!W9CQjoU8vn*tuF!Gx*WWGM_Wl`LW^RjC!>XV@L7ST$G*N;7$H|HF^9p*ZUFm z^^v#AJV8>^H3ts!gUv2b!JL%<7{6eyZHf^QM0Uz~lHu+6!u?{VLI3mBjPNl@-yKXT zW(m(=5`4`6s>jKgwbd201n4nn!>J@Io-79!34?bh%i_mM;8cX)&Z{BdS&kF0RK&Bb z&;{$9XlmgOpj5LK*5X81k{yeY!0Qj!0^i~*S^&F5|GNi5@GbLV&Td)!{Nm(7+@UCI zD@fL?Y1KAlNs}#8BCgKq8BsqDPl>zeHf*D!a6QP1B2TF@Tb{iR?a zY4)fpT6;k_40m(d3rVSqxOg3azI|I4H5Mv#LC|`0N>jna1xPI;2?b+uoMAIrnN0hO zu_Bst_GOfNqNtZLZpT_RL0&8K3~Yvyu-BAf6@7=XOaLtFiu{gq7iag4JL+?w1e>Zi z75k(DKwCK(GVWwMkDjMMc@_hdX9>DImH)qBcij|u<~Czncd$Whvizvs>e6GfCtBLk z=@5gTzU3|#)!Q^;6MjfgVAv(blTQYzq=DeSaIprdVjF`u?(r8C=Q0g`g z^T&N}7n=KIGv3bZp0ZSJHPEXP;kOotye0N3Icx9wVKSAX4g0}rAR%|8<0t#o!1Scz z>w|jtZ-iVz2QR=U!eJ$Xb8Zfelomk@M>o6_os7}r}+VvI3e{{lA!CB1LH@7J_&RixzZv)3m?rcs9&rPm_@_Hdjtnax0uBO z<(6*#?W-&X;p=y&6&y~xPKk9@0+DBKXN-RO6BIA#oOMy&GlLI<9G-v9|CV^#k?N*V!%(Nth*#%!bi)0+g)+he^3YDzo-I=G{vg4>sR z$K0@mk!DEYw*z8^(djzGh(!>oX4DuGmhgdoi_(ezE18)eAXP2er0q_# zT;irZC!hw4zPm9Ms5lGGHViHTpA;aRv1s1El^OyeioFvT6@XX%7J~L^NPJes)Ya0L zIeU$^kYipL6PAkdaKjik859NF5)L@E!GocaN=U^BJy{y<2$OG3eeeY)mh)T*&6#L# zHmn7r`#?hB!B8Ss6TiXz%-J=X{N3jMs0V^b`FrxdPTf1;8=8W5V2z+n8!{Jp12R&= z9Xp%rw;f5!Q0G}ZE!lV1uCkCV`UBpX(A|8DiqN)wvaoQ-tA@hdH`OO9m8QoOsZ3>! zTT)RY&yOvOH}-9%6?qb=Rg{hAYXO5ild#ON95@FrIs0>qxkt!*8zCO{G4|3!xxKL1Q(!^kV z3wF9?%NelTANo`#LXmyOKAHod1}XF#=Ob+fZ#TAGKUr`R4xdkT`T#Evy(oa-4+3cjt%F-?{^oOBSAdOJSWMDzi! z&|2ZTo|Y4Z@|fpBXB%09GLP{fB1-(s{xPtCqyKvhj4Rji#j8s%UWqB{-5FGbH5N;W zE>lnNp9_I9gTqx9+ZK+|Kpy-)3)J=J?|WeLe90|LH*#+)1;{7~!Bn~Clwge^BTzEF zeu2b66aDz7!8=L87vkhzJeq&_K$ZnKZ@~8va&V9dyIUH3-SN=x16Vt{j5e`+Z51aN z`5hRIdLCg#`~147qFFNaK2zL~>AeMUaQmDTA&8IGXOCZDV&w@{Y5)!s_R-0r(RN@` zX!vSI4c*kdgD*HCHtrp-_@->{f*80LPlI(RLrcS61?QA) zY*m|aXIvrtC*p0bfBq(1YTG;5R>h96&8C^Ue~Ms_PPdthx*251CPVVb9EX_Z6E76o zv=Etoz#O)waHO4mz7jJh@#jsjy=D5){E$DRX3ApWw>9?fx&5?8Q37|q+sPyR4o5nr zrXQsv>6gtJE%>|`4A&eLDsKh1t`hE1t-NC8Cr7Zo388hD1IM6<2fPk}$F+Y%%c~*+ zXraGBAKiW(QGTXG`mi3C1h+fqV*S=I%N!OrJsT_1{r2#s4b~i*njaY+cE!h9gZyh1{1*?uX{HyZyZB5$sC?xBjed(sr~5ag&j@*bm!z;{UKHd`fDgwn+_7L%EKmAX+-_eFFCI zi|f))+5PJrUFSD2RvFZkr%-lPt8=DM7Fjb3!)}x(Q|0=Nj*vfB{MxoFfdHrLPW(x@ zV|L=i#_Zt}8=lhokIo+9KeOs6uO@vj8P$s~rp$4v{%MQ*DTB5t^u*P*V-=55sE4Eex%0xp3~^Se40_#D2-#HCd(`F_b$s;Q z46>>;h4PZlsDR{&OnKgUq~`x?|MHU8OHF7QwdKoQcC2)b#r?A+NGKrh&*S$z^0rBwO5krD&oJo+_XcgJi@&u4A|%~ zIKSsS&$&7`=izga;Lou-3fnI)WR8ua2n;^$S_DtP(% zN_kZs^j@X!s>gnNl}KpyMUMnLnj`u>A%kp4W;Zx!ehm|F5*RUoUcsK-opl!?F15Ui zE>`#QPpq9!S}tpVSAqIBF5>iZDbb#fQwpfCueRV`rCny!Df()k37l0Dm};lrKkuOr!o?|2=BY$PxsIR9Yyh<4o&!?mUxlcYi-wtT)3sw7%tjvxhRUI)~GZof*TI%GBN#=-3F zx*4>?Qi>>*s)B13|HACT6v0*3n8)e#aV$mpZr3L|m@$@N*+SDz^p+0ScwC(6{2eHl zL3B&3D4nco;HoiWcA<8HCp~Z#G}1|-<7l-|-iV}noq#cjowb<10qN9|_LR>zjpymv zt@3kaworTk5g*3FbZJA@Ke4JbC|o7&mD=FD8&E7x&6&MR-cw0&)kk?k0`S9SwP zuD&}cZ*71OiLRWHHpH6B9(J-d;k!2pXPXip-m<6D#TiOh71SPrOy3qceArm1VeY6! zvo$gFGR}V+mGu@4jo%aSGe@gA2_Gu5Q6EmrB+e?%W7Rk7_v{z{c2e^4{SOb(SoBSf zjEG2n_a=i^_uPh#Oz_Z-&eFA~0HiQ`vHXrQj{n2W=J)KHjd0>-%n4&a=gK)E7n*u< z(s5#n2!yS{{3#y_G2b%NdFH~Hnfs6EZIv#r;28d`9fW^nhe9D88w>yG)|;tuu2h=hWkHV*#!UW`*woK7o{iW+lWN! zzk&saEZdW7C}o@$yKkQOamtV>4xxgt9iLuyCL10tcBh1$odGl{>NZ=!(MO?g8=mD| zm6Xrm%Yn*-_DtN<`hVB>BRIhBp$CgsS4|mEUA!e%{yYCiOTFg*EMyun*X*u*4xR>I z5(H8DjVVCp#_;b2=qHUg9-9l`;rgW65E@n%7c^u4+ExCDN5%VX`{hkx`Qh4;TNuyq zfEKObTUOc~KJZ_a-RobMZp+LWKq#>0P}AaqhNM7^Ui15K*#r|%=1H(9f#{H1CTD52 zk#&*L5q~_HOS|i0^tn*BsqPn;F}XXn74L|y#|8Q7oR1Y$;HI2qEc|Tds`Ti1vp5SP}{w_W7#^BVr@zg^E}ylJ$%OoafW7)isoIpXt&3x zIFVkxZJV+J-AJ}Zjx8~ZjxrOUoW_5FJuWduS_BkzqjSP6n5~@Wo*jQpLMS`sPyS&) z;2cigkceO0jzK+b$T)lpx)IQ5f75{@YGP+#save_y-hycdfj;F?sG_ zI{rY{UQQ)ijh!1?l4jcq`%|-oy9PRg$h)AYS%>#eZ!=&SU&xxI7ML@hE647Ht$`*d zKn;gm)xb&_*8bVH+W}_MVdjqA7(2GuFv;Lj(D2{M$vB~nJOZi z{)XdxAX{KLUj0e?;Rj8x_53!zTtI*C-i<&UQw`LWGha$;OEk^7-|c;z{nGc#f;cvX z8His%FL!x%;1~qS5_O(!NBZ`VQ#s^AS6=QEw>HZ+>z3jP_BiUUJKVf|%Gf&=}Jdl4J1(dPuW)=c9>tXA03z>Rnl5M+IjCo_y_8rT!o zj*XWrmxF;7+?#1zf$B7jKYzv?Bm8I_E4hDNwpFI?@zVESIz7zHc(Rr!S$%gNyTw^4 zDz9&UIzg~9gA^iJ`T2CGD>Mc9rSEdHjHUbfo2^_w8<&+LNo%E-2|?M{p9&w1eBxBe zWY@U1ozc7=4{2b9Kylhu$~TKGFA$oF;F0(xq62Yk&F8F@_n04vsumE&a^a?DC>y85 zTlfp!UJthN6=@3?)|U8ys1p-XW6!o~Fu8zc`lp1d94L9~txYKgV7!jnO(+bigby%H zzXPLzt9H@n<5$6$M_IopcK#%SI9%4aUTbbWx_%!wk%~V*z4WtRH<`nq?G`#NWDxIG z(f?I1^%WcVHG zqE*hp68o=pn3Y0woX;PQuqUL${n~gSCc}6OC=d>95&`7MaWnW>h}{=dZhi7&?ojeAjezyUD?_qLk0qXjFEc<_;jG{%mNY z_v0zAniX?%3J_}%Bvudh458Z})xOuKH=#TNSS%@WFE_b64cR~V>Qt3t#%#9xpmz4d zdWpoRmfkpE5^l#r}4(_*bPSuH9*@Pkht zaKP9TIEu1Fk*GU;+@~ba-Ym?~z=Uf=#?XMUPW5oDwQuu;NgEm2Gv%_%EaP+kBTCLf zs#5Y1cj<-0cH&fNVi~Uu7|Adb1OJFJmRcVAqpGJdGj%T+uCnv{RWl?-;pt<5I$EZX z%bkkmYch?cI2Q%DGB4bix^DDV3OQ7AKcwrO(VA4&eU)LxpSwqr4vD96^uRJ#-JLzA z^BfV=dJ+6Je2(JPqt)25h3Rg1Tiaur?4c7lS<$i&zw%#xT-}Rx^)n%tDg&oG}-Uo{a)C8`7CG}mi%d=o(Ne#)?n zdcqrFj~4k&){FddBU4MAmrW89hJO!NxvCi``na!jd$yNZ*mALOx<@tIR(g##44?Of zn<;eHL+~i?I%i(g5!>~Qf>`vQ zShWbJv6>+}1d%lUSZMM}r5eZm$b%2omg0UG9`+t9@>}N35dN=_Fgi-XjjRY?D;%wN zq0JM${A|UDlD4gh{4n>9vdHl_Af_yTyNiOgUPs8dO!m<|jCPM^Dct%8g^(9a!E%N5 z0{GV3KKJ>g3O^X4E$@DW+#@oCx2@vVvB@L9v9c6o2ufrdMuz^Svusba^f7t=y%vuIYnrn7C= zRUYkKsVSMOG%MY)d=Ahm-KA6^yFVsVZA_&vfr{{HbiOtVOKYFTu$bMQfuMGM02Gop z++SCtbE%deR2{@qwRhBq~L4v8$HGi^(^TuSdKEc6Ir`^ zRM3R^66#))Rnb98s|$x=BoQ-S9>CF-GT6MP0b!b7?RoM%WbK|~$cc!zJJ5GI>W1Gvm9;KhZvp4Bk6%oOS)leq6zDh|%iG%kwF>izy0&S~I z-aS6Q-|b`Y*ufwZ#dHkBk7-=KUFlqiwAk7jwd`h4euF4eYDR=a=Yr-A_lpRB<=Nhp zoBQgjq+}=~kZ}F=cUUqFh8W&SR?Uy^By8wDb>(rLUkCC3fY;j%eTWcok)P{%Iqmmk zl4;pmR$!R0?jRI4?*_qVvSB0;dy7BW*kS65tsRZLpPZSN6d*o_x&R=hmC=QhfpY1X z@kpp7W_EFS z--#W63i9C2xOly<_*VgMXIWK!nNfbj@^%#0I?RywBeqNX5aJ@u^HSPUX-mv`2<(T%@ z+6c*^P&ROhpFxhKZZ_hLLt#UgJSfP2-H7#2zN3Iep@d$o_p4K8$Z-jY1XjpqWDd{C zx(5@CG`U(EHYz;YBPg%EbE}}-fi7M_gM6Ni97EZKGbNcu@_qa|>;hOudh@8M2hvG0 zTPecjXIlwIvb3oWR=WwDdmG_YoLx`H;Sc99y3ar(*$CUO6;md>#^%9NaFQ__xcq9Y z!llvcU|rL`E;nB5m(Q)`_Q|+5-sLq@iESMH`4-DZD^}u=D9C`AuJH-cm}*)1mbWfG zbSgO1uTdOi#vZ!=Ezf7!Scn2yfbxlLfOlMyla}~wb=T~w~L9pZl4_p z>#}~F-R-=KGcelT?P#emM6ni`jc_mLJ{mr5(D(BU65j?0DIP+q30)Zhi&W1G`>H-M zNmOEE*g`#UPN*(Khj;zN%c|}H4iQW5|G;SRd)(|jjzkvN;tI9UV{RNTVL!3$+Rch#~Rf~7hv4Fq- z>WVA8HoAT_sTCiqn;mVDn4C^kwk5`406#{PQfL;4@mPxdK8#Cj;iWk1zn!7=B4Ft? zkU=+ZQ~wb8u-tgF<7|{!&b}j8PdLjvBF$yK8}-`!_(E*uH~tG|Laa29LZ;-e66vkTSKG$tDu5)u~Ku)*Kd=$Xhcd=zOWSeV@+f6RKH zu;(68ugf~t>!RwqE~q`T=bJ&tkKAWEF>#-MXPFz%TXg6=w?Y??yJ$Zk2j#LM-Ut zij$gpwxe7tAmS+1ok|#ocElQBBxd+*n~whzwYDl9_K!lSCQ;e z^XK=g|1$DPsl4QGCR}jX>e3ZSJ)FYzPY$h|IJ-5`MoG=yggA0-Q$yOj2#~5;8`gcg z$D_MK#*U)F2y1D`s&Soy>NIT5I)9a|NVpHUUaJFJ|J*%_`T=+U};Eq1O0Wf)g+3 zKL=*&?1jk*reSH;<}V|5?gvZDV6QWZ0LNeE->(kU&QYa~bM(?j$nj%R+)@@}F;&xwce~*U@c!acZLm1r!=c0LRH?f{9@pNzgLnj5 zZ}24eo_Aw#^6yO%;h&%Rx(y6t7mJgYA;ls=Ol<(pghU6JjqASJxI)U zKC^0$mRt;`G=6w0o5aME7+@#vTZ3&(sMX!>z8E;1IEr`>Jbo zcVD6H--pruF=w!+db2TB)jk?2AqfHj`9Bt3tv_CK0h>Nl;^lcfcov|PX6q;(l*)Hc z9_G7^HWOdi6lC0ln)==(&iD}6#b4wBD=2_I8D>Kfbr_F{!gW7u=~u~!#mLb>9E7m= z(6dcnEvIJ&0!IUf;yRmHSN`j>+%O1kyTT|jCNnwy%)=IrJ6F-J7pQA_OHT(kVA{ME z`smEQ@N`IGCVmS_`k$84d=jjSkDPdK*Ig1XjZEs{_A2A?g*y|y_2T%K`E;rMq>XCp zjjBLs!Wlh9pOjFg59uFbgghtAkVk-?9rmJh<2!)L3CRT`&h_|2wISx(_eiNPXD8i1 zgVNSvbDJ?!_u7ZUc7U!gv?tyFQBJ=18CC49!T7`Z#2(-oescIkO>XZV*9KyyZL_U> zN_ugU#l-Akm3hw=pv3?@C%qJsuT`;T07}Ve0i<|n=Og1=GV|uF-Q|E%v|V9HuMY-s z<^)3S48X4F-e-AbnEE!2vafGzSt|l32mkz;+WncATv?DOc=n**+`8nwce}vwcd5Ny zy5k6&!jaAFqtwmfu0n*d0a)1fcHCnY^cC%`X?Z5NddDqr4sV~|+S}RPA(bkfdZRNB e>#J@ghU3NtzTpe)U+|_p(Bh9ft4ihK;QSX(--nj~