From 2732f9f5b3934526a0de1a95e6080289ecbe1bf4 Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Mon, 17 Oct 2022 14:10:39 +0200 Subject: [PATCH] wip singleton analysis --- report.pdf | Bin 112342 -> 126775 bytes report.tex | 45 +++++++++++++++++++++++++++++++++++++-------- 2 files changed, 37 insertions(+), 8 deletions(-) diff --git a/report.pdf b/report.pdf index b86a6349585438eb3413dd276536a09a65a73a77..4190ca7a6afeb20a61d1ef66c8887a9bf0a1f703 100644 GIT binary patch delta 55677 zcmV((K;XaD?FP5r2N5MuL`E$!E;R}z(A34)3Nkm55k7yFSW9!{wh_MTSMU~2m4-`z z50J@ey@`{^EAP5i<+#fB0Yg$VlsKe9a#pL&pU>Cm=5Q#}73V_Y(Lgso^b_CQUA_4> z3OyYLX{rdn)UWh*JO7?)P=q z*2L1wGVm}SwhO{IW+oqsvD@)BJugw_ni=R&YY~4n@stU)N@5aqtFTd=M&35jL6#-F z5wKAT>_7HkokspcRS;?>@rSBG8&Yuhi3lR)7u7J#NT?uB5{En#HZhs~)=^y71@u6idb?h;q@^&zqD?Fw*|#ep`2MroKXdO>ScX149W#bIBzr|HhJ3 zpEodH8JU4a=f3NuacT=z9`55N_q~5T9&sFUUMlv>dMIpPx}$@@-4p%{0k62cdyLdV z(vV*gV%v(f!QmMtx+#uHhu<-D??1c~WoQNHlJ%_`+CPap9jj_&qVpwOx?*0PlIQ4I!a%e-7&uD*Rv_3vH z)lrmp@^Kh<&M%&X$AEC;QD8apiHoiw{1dgnKNdTQCl%y1vzK-lXGxHn{FVKSd11G) zuXm@BRoRG-CJ;Y6L+za=(7HjmlU$R5D`()C z73VfojG%%e2$fz!I35T@WCpV-QAc8aVNc`~X@q<&{h_LGIHN3b7eb*1j4uGiGf z&x@CuPa}QRIF`zvmP+_(WFy2=_BQS0G}j`5Gkq3wn6{}32znx!L<)b0<$`FL47hWQ z{izsFeZ@lI_(E!BUUC9z--vNbGu`|+PVab~#CWSSXHFllZ|9t0{oWeS7Lbo^)6W81y#&yJmTdF8||S)N@S z&LjjYXXq)DzGi#qq$pv3pUly-uv0R}i8)WLX<}r8RG&5Rfi-bk+R^eYZoeFxRqr0b z%%Zb*zkuud(pG;{fk;xqd3dz_o`Zhk|8z^?_C0s%7D2{J9vf?=|b>b4Tl;5 zd<89GcF%uuN|Z(84k)0h%pGHexq_DqQJ?=G%u#Ut9(#Y6*oeg=;v;P}OURGs;Iq|< zJQvSU|KfDG+*+^uHQ;!r#J z^52+Qx~!<;=)%&tOCr!;qBVCUAssl_U;xoH3Sw@PH@}y~2U&2G7oL+iej58FOhTlc zeKkns?E;#s)-D;J_b3E^>7G!?_cICOv2wP(E3khJz_j}{=NV;as@J}g^5LzVYPH~i zOUurV6Gu_ZWSMi)$i&_SOEZ;cXf$@L2ALd2%V7-d1-LYDQ83oc96Js2x$)JWV||ns zoDoBkBtaHsOSk%r%oad9g}D0L-POOZ2!PO2UXliB9(gX!)~Qz?nVap2~G#k_hd_`*iig)i?C$sB$k2azoEMD1SpJXX=WxIExnVLOS&FAWy-8(jyd} z$n@ZcMZC9Eo4U6PfO4b`R2awR(%ASP$$accDRz9rv|RiedAgdO5l|A&Y*dO|Qk`!) zC>lGx&Mm}2%9%vbe6=ceKFV=%$tBnmo4aQQp>Ac_<)aU} z2dS&v+YZN0sB~z^kvruR3wO^_(Zw4PI&|^M?*Y@^wMrSbE{{Dq|L8{eg<&#jN>hlu zChObt1k~xc>JMQnp@J?MSVnmH(nm`4U!OVPm(jEV6BjfyATS_rVrmLJJPI#NWo~D5 zXdp2*IhSv#0V#i_Sl@5kHV}UAUttt`kb#;LDN#Qj+cX85rCqQX+kkZsj6}z5Wyuh! zH0fWzJ04}ru8OtWOH3Ylp zlrvdmpy(BDlykao)48){%(DEjQ&~Dz;ZGLrNs(l=cDiz=3scuES0azPhAmfcSG3+5 zd$vN;R_of*c~!UDn?~2cT8<4Q%f-L0srVW*xZBhGL1gMTLh~< z`*m6l5vGaTYKnr8DJ#nCGzzvG`U*oQ3d9ivk4Jy^G($x{fa7)`2AgIbPX)`e!&~eg zz(&bsR5eO_^8j_mT-80ys(&J>4H&2lB8j4rMOPv25NAaa&N2#RA|%TIrzfGrv=Jruo8gB%R+K9!aH_x8 z_*{RYETYd_Q{nMjS~Een?Hmp4uqUIs-a)E(*&Ql8(fI21FErpe{dRr0{f^WEW{ODr zfTjn+z)e6H_4zqGSkhXjRsF&{8V3*Mgcw8?8Hc|)!4~E|syNv9`oVOArR8h9aeYfm zgx}smIG8^hC{fDtG=wh^-)SEG349p6yQY6hJ?!>0!dFbvVubWL-*Gsy;N>~teVk>y zgq3A}V7!rc{WZO|L*p#nrFuIB7XrmgdNfeN6jWYxb8@6~5^CF}vNN!Dg z-)QGk2o?R4BC7zXld_C1AJuN(ATx_J#*~9Kwow4#9%9CTh4Fl3Vuno2?9-0DS3Aw; z;JsB-8phj5dnsk4?sX9MU^5C_5LAC1WK2I)4vnYsQPWCb^ZjtwK(dd_?r2PCfCr`p zOgq(9;Y<&7lzMg-afH|!94+>co)DH(c8^byQ&aV=27Fx@xWGe6Ap;zN&ZxS2S+5~= zZP*)RA7UBXE$|NvIB8tn{`#I4!DX@m#*Kk+!|T!>a-Z&@x=C^qj>WprH&1_aR+|}Ny#&^ef<}$hhL|pp@AgX+5g8a4K zD9HV{Z5^^g_hDslreR_Erq|Bl^3x4OA?zb7WPIADK)Ff|N%7O1r5VeQIsC>v>iQOd zr>7>&r5nIsup*YH5cc&Wi3xvuG2rc(KPbf~r4G(V7$lX#=F#ugUb0jKHbj3Q-QY8I<_s{N z>|x5*%QB6+Pq?bvH>UZ z#-|=`8NZ>n;WKVWq+Jibbw zuzj1P&4ho?Sn4aZ6@|yn;G4NPE$rXdjjmt4_CXVn_dW&*myC;Y{O=2_J-b{#`v=vs znU|BDwkH!ZFf};}FHB`_XLM*XATcyBGBT5K;1mThH8M6emvN~9Cx4Ch1yEeu)_{vb za3{FaXmIx+!GpWIG!BisYj6_Wg1ZHGcXxLP?(T5e`$+cr->bT}x~hA9bNHNN%+(Ym z@=ElA#vntW7|6zvo|%D(2OumXq|VF&U}9orU}9o{r=U$z|jn7{T|WC zzzU!QGBO7`y8Vv}Dqb^3M_V37Mi&f0NOhPjRAj^ z43IUj2L8J=26zg9vYENVzXVDk6Gs;Vdm!L_!OGkSXyfp1;$&kCvNM$Ft;)=d{_88bpwEypaQ_)y~2Oj=U`-SZtLj4;9zd`SB;E+ zxq07aQ5$1nkhL|?#?b-(ulz*J?SV$``|ig0@58mU0lC z0F(DJfL`V%!1o_`4+jHhAi&Yy3FzhVPr?5ZJTo)E*xbkwUKSR|sTf{C|IC5{?G%vmj_=YW3f3G!kr{i|L6wXX8lpjnyQ0Odgr=6_u+0D5L7rvD>*pDrWI_v^#qy(j+`0pEw`e?yAe z7=eucnlcu44uFBZy@4A%(|aqiu(Ja^nBT|I80h+U7Xug>Y(S3hCV=bCv2fi0(`44=r%<3QbUYhkEWPUH?AD-WDAV$!i*zdaU z@2G!>-*dP9BYux-`#z|kf9wSFd-DG%jrl!Ohd&1InK@V)IGFuI;oXPhpS^j{#(&WT z^bhg7h0{Oqy%y(xZ0x(b>p$>4dAGmue+I$G$=?3`b@2C9^*$y4;lJNKK%gto2!3%6 zWb`@EqAIZE{+A%W3;oU*-!#RJS`szA$D)0!(<3rWJat8y|GNFHVEkYg>dLk#)y8o}Eo zDKhPxxRB+u(eGV)#9ga$SOo{OjGBUK`_{R(C%vJBH_aY&&Z=?P(J z(9T^^W^Qh$(K5#0h$X+%!h0P@vgUbcZm>i>%(}0ZDzi9r;F9BN;t)dIpnr`_QhEsO zCrDz?dlcqJO9qGMn-J>G)$_Na7}&8@lC&@K77vea4&xl?`3V=JY)=M98!2p22n`-s zDP^?bpk-Eb7EHY`>*c^ZD75XpV7Z5v&7|1}2=rMxp2)L=BzOO?A_}~r5`b>o57|$c z=UBka?(60Dp88bt<5Z;AB*a1&?H>4dk%YQy3YGQuZ&cxTD^5Awx8Qk$+MdaDPx>6=y}E zfkAFUX!a+(h7i;1f;)Lap0S$AqN#5P2gVgb#y>nKC5k6bgTCsze3L;bFBu1tiHMvr zrv-CK+G>$C;K^SX+9^j zqNrK_sR5C(#jK`I`I&It0xz8U24bj=jv4sh^o3*YDm0_ZM1QQMd)~L(U-MkB1Kf8M zcs|Sy!ZZ^j&uxw}#7$xvxi%GJ!!E6k zotBB>+tH6S)6R3ARiKqjKAK_7GhuFoIhSnlBK#!7@>_p|-M(Bp`idt9 z=XZ7Pz~e?)+o<=(t5GJ}yo^3v;YKJri3ztJzx-i^7pz!r(QO$&)WU8OdVF0H%nmGD zYzrZmJMe=FEUhHY3Dg6wRtbro(*OMuQ z-#D7^zsEgr=R5P6iFW9zQ}wyU1k2th!BBDI73^Ufv(NEnuc@;YLp8IblSH2*stcz= z|9=uClDv&7X{$%oUYOBQ&%(fIN+7B!PkmmrqG^~J!ROH+sHNv8upQ*Qjc<@{daCJP z(EQmi>|Nb&b@Omj8iv+voXng%%ERdQ2rwm~!{~=^UGa*{LRJ`~J%{0DRrLV0#VbTw z%^iuC*Vb(zae|S2CjJ2KW=FfZTXKOkC4X5H?<05w1r4|Bd}qOEKQX(M7NAKek4nw< z%VdsL&Q@LTo1-^?JwYp4QInk4EK_*RC8?G8;)zXO5IxSt%&^_(>jSH~s8^tWtrkk2 z^|AY1ydvg3IpOp(gqCO~n+JMOkFC2RquRp(GCf?gU!j4X1k`SAthHHeG0^1lQ-4c? z@1B-jYJCALL;9RBlM{hT_8sAID`oM{GM(TgoC`fEEn7ADS|0yYV{Q^3Svl~F6ph-4 z7SYfOM@YRvddb$fegs3pv7C^cD^26*^CGj5gqW)E=pKGo*^{E|HQViI2Z;RiMsaE1 zMY%jP{;P~>P~`RWQD$K}UI*BcyMXjw#n zzQ|OkR_i%n-;Be>LlDJ?mv61y*(-GfMIKBzZyk1uCd|`8a6a+aM5>SWx{R5`uPm}4 zR>|few|Co{EYe5sBTcXl;m=xa^K%l+2gy>iWsp`u;NEy*$s=b)3cT+0}rq0gxI>9gLd zB;1Rzzk~oU`$ZlUf-<7JLqW}nmy@)9g3N+%aT_V;PpP(P1c=kSz2?i`!K++ua)5A; z%gdNt&rD~1YN9R%kzfJ>)_<(U-FPYTcwCH}eYoTn03EAORZ7CtszZ0W2zK+vwBlQ6 zY+jc#Ql0OJQ6)?X%klRB3cqJJ5p9{8k4oHM7tR$TTV~VkO|HcYbf2}^*+b&Vwilf- zwSqLpYp5~zu%vz~<>?aCc-u54m&xF%Khbef=5QJy^%;}DCa%UK=zlsgs-gKUxQ(~_ zwD;f?z+RQIH7H1VP%rY0f(5CGv>5X@gYbZdOPZ;+i}85of%HI>FY-U6-wdNYOK-_+ zp-4H}r6Q4~iRIOY*WC?~^D{Jqji&Cr-uzCeDX^s%q)g;kP*%(Rwl)A%vNJU*F%|SR zz_(U=pNxo0Cq%`PMt`>mWlJk8{-#eGRbNl05!bjU{psVVAKIUsD&aevXfdp6jBkFk z)gCms7a2)Agv4UqD@#Ia@j#V2kKsKB?M4Wwh05NC%V5$pA^nntGCw<&Hn}npn_(;v zK*#|bi36dIjp!MSl4PzRZ3!JZ>fE^dYqw&jLY1z?DKaM8vw!6t?H^&uJQgNk&4Q)Q zi@Ep=oB`QCMd@7n)M$3dj}qAqfJe>G*X7$+2n@)_7z7TYj7i6SqKClmg&#M<{8${m za>pv}m8T4jyZ0$&DJ$BhgKR*T|3mat=G>=D`qTzU-!Ejj1GbovWh7y)BA=E;ZQO-}2l~i?S&4m4_lb2;i%<>YeF`IV`R+$Pj z;1+{o6c!nU@-^_xr_Jt$EQ95hYQAeSwANDffsK9rCVzCKD~zn(IXxAhpKcR4vl%%% z%lL*t^m~dFzG1r?HVFihLUjaRY<9ulI0Tsvy39H-6veoIWhl=fdc;s=Qzo60uLs5W z@C;v@wd38r-9*d0S#<2d6lNeU;2%@Oh<(6T4SZYrCcZV`T<;Gpps&QUal|7Dv{mdI zsT)MO_kY>qPAvh8$Q)kf)wt8L8Az-vyY6565OoBLF}=~YITyfnNdDMPMhb+T;6t0W zBt#&*Fj+GR%u0xk$QVW_M=SELL6mpF7p>(kxEUvxZ4O-G&3-9-`$lS^4%Mvg0P!MY zkGF6rT2XVHJ}do9x=(UUV}e7QN&>DT82WvD=zjwuod7FZ$F?hH!UYEze*2pN$yFHN zw{5Zk^rshu!T3R^JnV48>;}fzb@BG<6*9nA`8(|*ZGFSd?OF0$d%ia6QGpo7e7rmE zDBe^Mx{wO$;n5;zIYTCU(Ke1y-L|3xAh|k^+kg~Dl>~j8lF;=dv*~WZQK?;$WjtR( z@PBaxJwTJWB{;I8W%aApS$WEDF$0JuCFd_wIpzm-E_+jMWG}`kZy&mb&w^1Y9ER4t zQ?((0525$dI#f|-OYl59mj*0NxdM~uD=QvBnLFF!8FN2jzf|$`Wm%Oz_Bt5sa_uj+ zi8oEDhM6>9OMYz0T4_7V8<7C#)o(nFqJI}Sz0vthe|3ZfE$*d6PGsPTc((~coUgNV z`gG=!iuzKK=;j9|c9;~nX4_rELWI#6+v6ocvsQyGBs|XVCXgbhHwX^Z!j_2k%(E3= zX(+mvsj3smTsNh9{$NNKKpG+i5@Rwpj4{A#I>vn)$yhUC6W1LnwfsTlvDZDyvws2) zn_T<4rb7>utY0w1iyt=fn-##U%y=F#8@zL%MH|cZ3483*t93~I*{4*6oxV>Jwfk+&93nJweBuv|F6njvC2V5T3bonh}}%)fr|`Odsi z5MQtDG!zpaB&Ii+Y-D*On>rJIPk(HqpZ(}Ok2y=tk`lk1{Npz{*$EQI!=%US8SHb( z-d1^?wwUvc%CQp;?662u` z*n#<5?}csq>I0Gr2)5>zjLDdr<_Ht{98mpLJ;r4<53_~Q!Lvce z(8-j;5sSTQC9kR16Uh*Fgh_|su-UrbVViRn*l>kw)!y!@(jIn#+J9h*Q)cAU;XLlL zN|Ms6ZUh#(KYQZ(e-PG!$Mg{pQBNsPcuz=aLI`3$$}>Sl`$J30V|i2YdvkA5cIT}* zcW&vvk-`Q*wNbZ*sI%|k^O-@&PWcV-pxKShTHp6YBMEADw*!Vm*BVA;X|_N!P&QT z5`YQdsX5%<2P^)%=e@E`qwSpF4k%hiE1}FuZwv_cpga2AOoTRBs5CW9bTy-9`{)Vu zgP>6C2mzliRXSr|aBcF>`K68o%8DHn7&2U)BF8=r6Mxbf4jLYzA~j@e2=@UZ9tK6) z7N6_MZSqi!hcZ5mj!KClCVaAu-9a>%Cc0hG6aI(|&OB#~jQl+GY#=I%yuwD>p3kdw zI9Tch#p%mQvCx#f=WEHxB2i}<`l+nI1;UVbL?|BZ*0cY!#@2U)@^-5ZF^`2}I?UU& z-8^o1^nXuu`~g-+1UZ^^c3*z!V};^i2#5bVr9A zt0oA0Z*Hsf7Of7do1_)d((Ry_G|Cz&5(Xy61M1Se7*vz;fWTGwXAuzuYV7}@@6dUFT5oJ!9=6-tgmM-Qk=^| zD-7wnv{GD){rxrvP&IXc@q-#B6x(d>D^8vP=CYYnVO6URp zMGApXVP(C9XI?yfhWG4JYK4hZk-4R79w7SEz0g`nXu_ZGB=1ub4xh=TpCJ z-~6@m$RS}Vbm>{MV5hX00aE9+QwKYnm!uBUjCusn?U`z#^%b+&Y9*L;*>6Z|J%7Z# z54o2S09|kvpz%`BoItm4JQ<>W)y@HmOggEUS?Jhr#1rk}0u!IrLY+cKHmNCa`{K)~ zu9b<18V(L~V2q~riKAIku<%LzMw0Oif!te|Fp8vR%PSLU+ZR$ssv1GCUX$lG6Su7s z>HBw(7sg1rm_pVXPqzYYTD9l8y3(x8**)TGt&c003=Tw?{j_)_m zTe>n`Q*KY<#*H`91O*%5q{Q>8$a+pWC-+!q>3{99P*K0Lk=h`Q2_{HhEu!H=$8Qp2erE6nj~0=d1s`4k z`D^A+e9mz(biHah!U`aH4(w86w2to@YVX5O6y0cHc09wv5XN@afoBbunLVe~<+xiI zzcc&U+eT8OwhMD=yl~*lY4Xw ze$#>6@3h)RYt)vBBi0N%Dq1;07KFm_9RGf6l!ThE58&O zT`eoj2H(*iLEQ$wvDzSsp>uk?7 zt&8^!b|}ivbSfI@>3?-(g9b3>&gx>2)VOU;yLGIkGbvw6YfixOCVda}b96H}RX(K) zhuVgS`+46znE9|W9}aI$pHnJ&B9lUV?tI(zoFu*|a3b!p!w7`YEF%|`^(&Zi$F zj5(sXUVPJ3{h+fFp68!MOs<|uksuRp60FUbg7c${rdlz|Cx3{*$)w2-O9IC%%qLLe zk%`*?fQwqQJKY)F-Uo=|1g7$9vHeSuYdt5BA4TBTm{-RKYGeA$lzO!1;$gP7mPpTYOx5mrga|?MIX9G zR`wtAg>c%hq+b=VeR~7>_WpT-CVU0?GtW;=fS>Ya*ZCj= zOQxQjy=wT$^~#QdczES5eO=Irx(_tX)9H0RGJpE1;dnEugY5Z39b%l(x$1!G*u(>0 zV)do?HA3bMIAi@%IZB0%6g_C`K@-;W;5@tj`8(vcv1~+CReI+yG$8yDUGYAKd3-Q15hh3E~WZ zSMeWA>SC*!CkHEFPq-XbgD#lzORLI(sDDfh*1r`f`qkXev?oDK1C;aD-n9bJ1A|Z1 z5BKrvjHYab8WiVMUD%?LP0v+nTX9ro3lQ5R z@@04PCaoWlJ-FEFbcV{cG+sZ~yYrIeC``K3`=O+oAdH(92ItJQc6V<6EASY(HyHr& z(z|5l`6x_ttrWjDd`57U(>eHYyRz&khIv}(T$c%? zJD26QX{v<1>B+}B+iKazX~(F7XOrFH`*ceytx__5&9a3r1f~VCfq5-F#DA|R+?_GV zk+8juN>#r~k@S{A7D&_Mg8y}bdi{J{@fYyycR!&tg>+rRcd+GGD9Xy8zEIgYAv$Ne z^GdU|_=1yisbF%^>-gZRn!|2CP$wNReYJw%vJf@ZH!2~joD99JxD^buTAmMTa8u9& zP^OP#y7h58@(pnB!-OXn%^~-?@{O zTZJ5^jZ(z!osyxlx~)+thM87~J)&hFUpfp^1r@ zH&D%|XM*tyzF-<7m}#I;#I0x0(OaGIHf|#l`+S|$~GGJkwAnR9RR(3f8(nIk(a;HkWO8ABoWyb&< zXy;%Kieu<+tqPD!t|_V-bEhjP6nOfg=^y9*vsU2X$MEN&oG&nPBQu}hh#-iJ2uM66 zz-QQgribT!`$&_47=MrNW)qdufy`Irg4Y)A`h@#d;? z2OrVu$HVO9vmYWR^l>JS9SA>lNwyxnxqoKkTn!zv*^9~F!mwnzUt-P5w(8mM^vz~qVr%pdk=mB_t&w=sJQoFpu2w6-Obvzw0J<&E8UE!M2XB-0EDRTgI7n}52_tr zXV_o%L$%=rA~O3Hc;{I| zF^OgE#_hWGN+#&xElr8&!XuL+%}OwbWq*Y`%Cqa9iVX+S0sl|$y+|;t%5Op!kFl|q261j>d9k{*CiCO!t#g# zr*~!3kpS@?cIK8HVCq_sB~$aez1_QoNPRS4NOsaK5F2Jee%NaC{e_Y?A|6kXcLllJ z$n47-`a7}t=}??T=d?~^SD$B%w14tWxY>&ShS^)~@Q`-BvA`%~naqTC(WUN3!c4@-x^%?hgT1AMA(=Zi&2 zG>&-=(BGTI^&y?Kd1(()%jA^}?%=mUg&;xNfCgOqtZ$c&0=rOfEUn$(6n3IFeYx{=P(y=oIz_~gMS{55%~$z-MIcUKs1m$|5?At45Q)%(#L`<#*VF8BG6Lp zqWQD6jq52)d~U_Wpi1ctD@}y(z5uLXtGiA~E9_0{{G)@NvLN|Ube@UEbp|;qA51`1 z7o8!*<56>DoTq&2oi~WP!;{88H=%~#W^d%4uo&86D>?4|l{V2W( z77c^}X>3HC$ftYcpMMTUZzs?z=GR2Q^aKe@3O%$nv|*Kt)WFprGM@*r>(%pf$p^TV zJ<7Fe;#+8UEzM-P7n4z_C>s3Ww8#kvmxmQSy3@}seGY=k=>F9NLeXUiH14UM(*!>9 zAr!l3M<FOgLDI3sR`px6zLns&w;tV@NWQ4YQj`p0 zIAgXOpa-v3&u%&VR)5aLBs%H?0cm_=P#iB$WvONjdv*98kSC@PM@l@%1SRV`FMaLKx>-}M zzNzRqcj<;eu*!!Jwi78XOt=8cIl?xgYLUI;(Zi9p7XisQqC&4c=2@yQNI{o|x)rYr zaywsf!)zekXq08+W)>3NE!$gj&PCuRaW0h_kwkx`7Jq-;ush7m>~;4Tg-IBlqOBr? zJWuTsb^c1MuTk7kK8fafQH9neHb1c#`Vq``2CR}92cdyfgl6(r{ZIlT>AAV;0M7!30n7%d+KfppZm$vp;(Qi^suNo_2+ ze1u0s%blT}*Jkp}*W|bRh>nls@xH77#QAyuwV2X)KQbqrbjgr6#;zEu7^0A`G0Ya`1h3i9$X2^2in{s!7VSc?LHaGelxM% z2VRUQ7^X6-^h5g`3|!rbmBpaDpQGrtzPLORN3md%Zw_qbbl^n-=3uZ<%Fgw%*){&Ka!=6y~k*Y&LCX5GOh9vMz-OT!S)O1YYj71%3oDpOJ`4MO6jrW>t6kSw}0f$ZqRw$ zqqKeu$0X7ArB)E(qGca=;RIsX>AMz86QZvujXsrPX*fHkrfbM)D)ecKzfc$ERkkR6 z+aaxCubE#Ys$8OQdkm=$s18c+aH>f^Cc|C=2!`Lk#jNdZ&{N4r)FSWlkb$XIf%}pC zru%l5%1`p>R^r$Z&ZFd0a8|LH1tH#I_DIMK<*gf-qC{A2Ld-*(t!1E*HRg2ons822ztC4 zgxc}3Oqxcbp!_86G$qs2$WSmT)W`r5`>d0+T_fvjjG-`UNA~S|Nq+-GdKW$17AUi( zFzcjD7{W|P(<5rv>B5dAq3iFk*U7#Y)yDMT!J6W-F2Aye<8A5yC9s&MPrRzwrMH*_;s5#1rJOrg>V zihv1F)K7?VIaj_|qE8VZy<19C9@kR}NGc*!$c`9P3_bacKzZWPfXr-woc{dYT~--lT2D zL2|;B*vu@6o@bn-PQAnhoL}<^DIF%}Pop_-Dy$5WO?SNrQLMwU(7+Eb3@nM~y66^%WSI)-NXI#(ETxgLEgVV!!0DapPS_FR9O%#HNtV7j*RM zP)=P0B2R)fp?^6qN8QUbr&^Z0vOI2(=BHvgxgjE_*@r})$N4MNQPau8?U( z;B!sQ*~-YX?!r+b{T1y`8UW)w5F3vGyF2^IjK&pCzgkNZQeeWMs->{^M`VZvwAMkH z6srJ;or?)6{8}Nd+uK&1gmJdA5W_|BVB5L9nRd%y>NBEnk>s|CN*q*tczqUa+Xe9! ze9UWJjeoRTN8kVp^#$dffXDivaPWZ-%jz)r{lp+POHJ`j&!{4Kgx&yGK&Zbrz$89Y zi_bi(1uNM0P?$)|D#Zv$$;%6X(>uEqpvoO_&=BIvk;9(=@4xQ4&_G%rw-57}znGV{ zRR7H$&CV~Rk!+=odNBiScu`cr87K9=sD!a@I1{n&qbx_efZy^@B>uQ@*<^zSXQ z2+PNsCi8~(qVb^d#v1H9L(j3*Fr=8YVfF-?MT>khQpYT6Fe-+xG3Y|`F9mon!EG#4 zjz;EpG62>(-=*(+4z+1V5k?pA+oKw4H^xDW==VcMs(#xHR7P_Cn6V3$siD|!fyD*aFY)Xcuz-ASnP5CTV41-3YP8gl^6{r} zpdh~tL{8v+@ti;WN=tq@-I-)9!Mzk#w3mD59SwgWbj420j7e|w;~YbvN*mH|r>3?B zD>6*2Q~Zq{ENrXg1dt+_DO9y~&2B!cH#mSI+BP~t@{tTo_CVV(k~yRT$Z8Mhixu@+3Cmsb~*b|hpVwp_sltgVZd$Tqa8&9;LDAL&YB zMmZe0Z*4oNk@p~GgYCyQ4f3T9#7f^Q7(4FZ#HPpClC48d!e6#jlZYzG^hi+2g5T zZ)!^0l5OWJG~upH?)5oZWo;Kxf&@;nStfe00Sb)$@Or2&9>?axIn^oTZln~<=sG%a znnOGP^pcA4tpKVFQv;h(R#OtQ=A^YQ(=Xm>dDL)f;9jlC%WA3W(^=?L#!|5R8xDUH zHqD9AM8(s$!C5b`otJwdCOgfYMy0Hmk6h|^1KlRnt?XuqeTj&E(DX=|K1=$?DhA0` zZjNZmojf~CKX}Is-3>K}G(Rp(e~%PbCKoe25Dh$y4%HL;ywO*VwZ)%B%)ayb1-IB) z*Cp5R<|Z*mVHMOMmoln+zjYFr6qkPq8A6vYhOnn~5*Wdp+2238iGLE9ijZRTi^XOL z6VEM4&o z{d0pWsUC~M`bOs#ad6t>+u47q$X9Evk#jAusl_ZDaZJ`Aqleux zj4=j%hG8li1^=-oNs!3h5K>yFm1_nD_^m)4M<4H}_7&0H)5bNjveDLJ54TsNd9xlL@(VhE33tM}KtdwuM8I+M)wiRRgWfYfh4 zzlCpmd4p}M>s*#M>bZZch3m=OdR6VO)Q(-$MA)bMCuc>kveytfE6L zAC7Klx6^z(?Hz+4;OKsPyLB<7oK^CRJFwX>7j(kkP%!c_iEw}LefC-Dx-M+y^h!eg z(8`e4L_`YT5YIu$hyW#KOhye1tt;gXks&v2%`O#tR-AsR3h3rP5s}5MrG>q}?GuXQ zzLKSv^Nd~%-XrBLSKyCUMF8KCctZWHuD-d`O=_voZ~c{Tnm8j< zkoQCYnGs7uX9j;vBb@mSgpi{V@%NwU5?>;3c=-^YdooW**@O38Y!f6xv*Q$vtm zy1^j@i|b-Gb;|xtrKLFWDo?A+VTT;~Xbs0T@p-b&zDIx4G{T?P>+{Wlh;JtX=k3R- zAVG>0p67d-NEee10(ZYGugsSvp_~>J53~L=h#)H>yv2IMz0L)*S~@%8XUm(~5H()u zdJRgsh>058JQiP~^t}DTj7lBNGz~o-%%zWY{f8PTLyuRovF8TjjgK`;u$3P~;sa-C zw}XH%eVBiF!ESuqiuz4Wny6oq75Wp+%QKtC^QTWR?c)=^?i~4rTRi-Lf?8EC$&~Lt z)e*J1opA_i7lErIMcLR@Mgi(3w#kqgE#!CHLpZy6faeL8R>-|Lk$UjRDo4h(891ov z#`@%au7xUe!dVmu{)CIU#*iEDUPnjuN-2GfKNlhnud z+@x0)GV>+EhBvu$3fbA;?^oflP@6xy#YAcxLXIss)mO@h3d5@}58FQ?a3-cAp|U%& zWqW@~Myyt0bG~fsOm5RWd+0-{wt#Xkn|urk5sY@s`Q>gROU?>jdUqW~FW9-3 zJ91+YT}$aRQ2U1m-y}l}~#CR!V7%NzQ-c#cr zR{H%zXW*cd_67A<=&zU^8jR4Yklg+uv|GYgtYzEgd0{%$mhKw<6^ip^i?e?o`k~85 zQua1Ej|H<<{o|y>JvN67A!G_Cg*mW&NvB}w-@=)~+!?X7cjjN4;JNiM zrHtAMr@l24(1&|%aMEG5+C{&%BB$rYLA5+1qXENDBB|x!%fAIBxG%{)Z3(leUfE?p zFa-U;&O2MsPNjM^{RM*SEsTGR!+gd>a;|Q}{aQzV^Ig9wxtQ*w`}$HU{q&sK~2P#x6wh+g{&ziuK9H!j_i|n6!|7rm3Wj~GEyBT^@<8H@$HuL3RHBHIRc9? z=8x$3PsPU*?oM!lPqjQI1l4zhEaC1V;&Ho@?9=drP+|xj(i!s5l`_50T#{+44NV;P zn+cuea1ukywRBnnwSgCc@}8t$2jHrZ7;VDgD{zYp{~v1gsXdc8;3%`aJ3=^%ecinwB~nnL6*RIj0E*dI zJJK@JF>nEdWfd8j01OPwbPNnku%x8QW{#G?e~V#BRe|;nW;WJb|1c1?2kJY1$VBuV zKkQ^}tO0*gPL=>hW&k4_7b80t0|S7Gfr0aX3~lVW03!O%W<~&6I)IdoHP8W;RM^JW z&ECw!)bS(D|9k{c7*YZlIXT&B{^br3v;x|j8R}aDWc3|QfmRgZ_8MNjYI;zFly`i6!!R<`=qZf4dd0An*tAV6MBhR)H|kp`e|ZS$jsR8$1_pLc768x=0CY7prT;6uvYUS`@Lx*Czr-IMczM{`*aD0{ngDv483RB5 zz?Evi@ZQbp8i@tRF!fJ}&j2FdwD;N%C>==p9Y%fq&Zm*kpP~7n^@L zd@$_v5BR~b^FQE69WH8{!jN?MOa`*x=%MCe4y zs&xN#`#ZtJp&sOwZBdF_fhEFMkK^Wg=#ZB9udUCXFS@acle>SdunQBPe~srK3)c1H z!{E^>3+#Em+Igz_S%5c#c1n?E+c|L{D&(R)xb%s;*7cVzj|R`}e%-5LlZJaKouZ9Y ziO}*Znjy_G$e6|Y0_8}H|A`9q!WC)e_HG(AYy6#1DwZ17>m-u7z(Zq$De7_7eYISf z$)O9I1X}|OAN+q7b##)r{n z18542T6L-rMN^E#IzsDS))0KqtU5Bp(7aufftN_kHLZUE!`0zc^oAx*L_Jab=62sL zlk{2_zr$5!qM;SnLCKj*Dfg*R=fiC(OZ1By!!(;;oqJ;rMpoE5poydn4gS0b)h&rx zB5>5W-#^!7;5*%MHseC#L=q>ar)D=ZHz>dj=xW#Q9>Y$pDG&ZA}E zp(`~}5<-HPvrItK$dr$fIiJpnV#U?rtnWpC<0_JFp@Q^06NB{+eD~-L11yF3md=UN ztYc?B+qHpV^0k{Y=p?%yC)IxKeLE<7*e=(Y=YR%1^dkR zUbC=byHCLAr=(g9>J>e}RoJyws()?7VA?nD;p4+&1vSg$aypuo^c0K{WWxH(8{9u> z@Eip8F#r#jQ{3OwH^O`T^m>MphgoS73n9p;vkXkC7i11ohQN;M`)wyFZqPQ53pr!9 zgWrF(j+}^d-p`0k&kS*G z%?gL5;k#3i4wKnedicNoAp4xg0@kO|H$$2HmQRfnX7#m?9F3E0b3u|FDp#Llms}(r zZ1M}CIz!&&a8v3d_0hP|sQaz~XTh7m^taN{e zW{K1R5gk&Hu2t|{-FbT}CMj}7Z^XNQbqYYX!lPJQqhP zYAr`k#a9XI<$Z;8JCDR-y~VIixM+V;%u=~;x3@38qFiwBw8^cR0PM8@KplAE8|w|Rs}g#+3-E#C$cPzlwB;JWHLdMKUk(i4^r-9 zkH>oY=`tSgL&@I^ULgEwJv&L&0G(ZD%OWkaq+_A}fY~P-DYcNs$R!RM{NG1W#OIh%MDV$i{dImuH{?ub#ZZwovs~IP*l)Q; zzHG7r!3naXbxe`cECeoE}XYZ{@!T6Nh$1SQiKONdT z1yz3&khKnPbo#BPN6LSXgY=aH|Heg}*#zJBjk^ubr~s;I#d6pNW(=p9=@mX+W%K&h zsf%svhw$8YQk?#8%D3c-HxUCk=2IY9Hgk;lvZdBuGH=n;AQ$mm@^20Fqk8uO0sGTg z(^0z^AQ(d|O;Pn_Qm}}DLh#>52T97l>CaY6V895*`j{|$mi&L3fPKxg#toJH?Ci;N z$_70nzPKac7-^>-9Kp9a6m2VsSwUJ&L7;x)oH)G4?!{Qo32Ip;SS7tw=?hB8R)F#; zDM>rN8<{%wX`{w6_C}Wt!m8eIqV$rEZuyZ9KBOmf`YN68Yi9^qGj7s= zYvu0oXtTTZ55&&UU<={mYGXS!+Qr1z05-cY8)&K@w$yZYCgzqJ+4cmcj=0gk`I)(x z3LFTIad%<4Tol7$7A-k?(M{e&DR zafPIOx|={N^l@0wXTg%rwEnPIcqw`jS3fM|S3uXBfUFB?;-vR}jq&0?V!C(eMR z`bqV2Ah=Y=F^R>?loc4eCLtGU-zQNaSwJJ-2+e;+zEOa^IgVnPTSpk21{?SuEGK`2 zwM6Wy4+1kRublZwb(gl4qLE0dp;4p5O?@4vy_iV5%6)!CV4m)$Z^plTdZD?wg0fEv27wX5wAT5tA%|6t5OLbX4FzGpEKSIUrh&!D z6-Wn32CPPClT`AeFsv~MH7d%cPuQ!L&YhgCxVn^}k2Bb#B(}n7slSf#k*P;1nq;G3 zX4{q&o>jlc$=l`(4>%eM>$S{gZ!x4r_0@m+R&ubGe-otWCqIk}Wt2*VqlCw)LQ9zD z9k%8dwT+6})VD*)4cDrAJR+wY(Pdf0@9>iTmQzLDU^K_4W4NaJo$VJYgQ&(YN1DM` zbTn+raxOl^0AaW2Gnk0NJ6}sSkOY5S z@^<+|r^$M;OCRoADIdl|POb&B|T_8nRixr9)i8YAu{! z6)`J26S<5sLe*vCsKin`wV(|bUDtnay_Ze+wwRa<7-Il*kl*S-Qm81g((D>CB470L z5^s$6BpHkG_-D)=d&!45xacV&Bs0ZxvX-EsK!zLG!UrI*Lw+Fe1W@PHme}6`9@1Si z7tH-ecth)bs#-Zacinp>JBT0(fBm#a0gB6Ys>|65h9$8;sW@mGaGS(}5=4K}%5d#R z+|y%}FIA4(qUkRreL~{eo?vu+97wnt+|i4LQte8-Boh?{%kty@X^4!4IQM`KFT9*Q zkiyPhORG1qNCHt+A?v&jeT0AX*|RQ)%%LyhH+&_VI#Hhqv9-~7h-SPC%1)r4HASG& zVpOutj1A#^k#5jQf(;YmHqU=*Ybgv^Xbs)~LN^i^L5QntjAW+{Z2L`xCW(=V@{z_I z@+16IuX$hNhJU=7r##)hD5r~o5?G5vzYw&0%;sF`U_DVoDwD|tSpM7#I$JUF#`2f} zw4wbE!se^xST!6*L?6K~>(=VIqnC^gpsg%H*0Fxl_}%itw4db!OE!ObIWbLGc~8}J zT*pQ!AYJ|H``(u_MSTdWyO$g}Fp<6FvTo)iqeO-S6XJe^b(WG`O0{LXs_161sJZvb&p!j1 zN=M8Khme>bUIBM6s>zoY>gC)!3CF6}+x#LSJ?@j3GoI=%0AZN)#R45Nv=;fd+`C^< zHyZxoS!j{?VWD%Ld#Idb(CO{{h-=37>`0qGeZRJOTQ|}IWLSU0zM}4)(rbo;wc}xF z#{2uqD>?y-Fkkp~#rwwL3fw`Ss>~Hes%XsB_Wcq*D=t+!vDe!noU}feTUo*eho>@U z5v^QcbK1uR9^*us!5kv%IrVW6)v}V{)EPn)KdPvtyvPr8dwVSxBQ>Es81V&$58`|p zMjTCgL?AS2>41NR1hrIov2iYV4bP%Rsr&Mk)Sb7Fq*w(6)QP7NLyApNJo#?8eq}Vo z*=lX44wLluv9~p=ZVFwyoL52EEAVASmuY2S#^UuB9gXbx7Z}_jH?T&WeLfDdKr-ne zqMhNZaW{QS>>W(_Ga>f+d0HlrNNLNHDJouUf;)09#u|UamznEU+&m`ap3>VQF?DoN zmR#_A(Xt|+FkZ{Ltd7@{cCe9*kW&+d%a6f+GQh036cy6>Oovh=gD3idueo(B5X zgbe1gT6llYa=o=@h`88(DdRT3tQLfLs(|^er=+O$^BV+W4c(NB+y>^Wa80bmt{YmJ z_nMOg@gW5V;eI+SW^?hT#G;O&c1PbhKft#*U67ey^e&1{5jjf;5p*4L*Drq=(r{eGQ~s)$x>*IEq~3m#cQGU^ zrV`gW=CyvGRc|ygk7i?&e&#~Qo|}~)hjV!00*UWyy4<|Dh8c7~`TBi&tVwdPEw4xL zv@X(M3d4-V7$3z*y^~t|bb-5Pn(}DT4*bz*gGakqJI8M3L#qNL6bxTPJ{OnbSj9%Vz2Ov`Q=+-C%=ABPI zqtx%x5~|4g>dq1w&6LKzNCzrIlUsoWZz~I9=VD=w)!_lOz+eOfPGwsSfoL6+fYD#z zMSus9kS$F4V`Si zm=cos@%OxMb!x=iGj$Fo$xsZ_o|$e+iBN{SGsL+bp0@DefVLs^fv?|WL`#2QJtS4Y z@MA;et}HG?b6fCz&b-#x;2V_9FT&;PsB5bhRoD`m0%gs%YpA@%IsL$M@_zfMrH;kM z-@Me>bcc?*4O2AazJ)ysluOqWMVa5kHG3{e{ACuK`&R z!8mqH*(tfO`g-!Co_5<|Mn8WbbJjM0GaurBPxrQvY#z~HdrrwJJ~h(nMc{5!!IyBe z?a4lQ_Gk5)cwhP6e*-v`YSvg@QP{LCzC+FUnc$>YiXxr3#5Xo|&jnKZM)=s?7%kPQ zTcSscs5=p&=Vpq-H4_*x$$|kZ5O%|;fb;VY>t>3}>aHBkf(OZ>)=Gb#A(Xb_w1>NJ4R}ZkzngrE z(j46$^@cLB-izLs1%MySFN@f83nsxdzFjiB0G-;^18hb2NnT@=u)`$E2NQF_)p&B( z5Cb6vBc7`50-b-UD4J;^q~09o*1bVxbBr#0l{{6%o_w|n*pO|dW{@;nJqFQoVRSf{?z zu~JBHK4DDrQ9}m@P_wkU%?cD_tU+c(O$g1NX?`PYYD<5(g(=6U)q6pSNDNDey&Q`r zDk!4$EV)%wm9=MsF(N@RkGwB)sRZI=wNyl&QjpT=(cN7kICjOu>S0|D`h;d4+|@^0 zGwzxKkgVM&mw}2I8@|NWk5)VAYx31#Z;QcLELO4~P~Zu7=?mDetOzGu@o! z5MuI7Da({6GD==_vYp{NHj1;~)v!(+AjCbhdV4AjiCAcouOG7uCZQ-YRq@mc(C^8k^DYxD(f)=k}IW3=Tp;{5n5jkx3Q6!nvI`tX9T<#W)90;5rp;> z8T1I}KqL?ja@El0Cyg)}26m1V84QF0iqM1**~KrV-SNr(Ei&e+zw0}#$5NhS>Qo`C z9XsM5CGC&ADLNGMliMYTwi|!4VtBIBtml6qd&-V@LGd1_(|wsDLN61yeG6)$0n?Z6 zu^LeZ6Fb8d*ZlT#gt0c(wCy-Yt~452%4Uv6)AJVJQ$Tm{k=I~n-GM`=T){q7DW*aN z5my2QSVv0H$po{6aF2E_{`I*-mKQ|9TCLiGhz2BQwERr*oB|k(`te7oLB? zSe+rf4+>b6EoXA(5;GBUVXWEu`d()m@;m_1;~VhHv4MYlu^vbIavt3ggvz4aWJ&a? ztA;t#Fn9fva@o=<5($zLAY}O*rRKGU0zcWD2vFE(E+14Bi$XARK}2~Lsbp^7!$ko9 zTY(uG6>a9*EvGrN&gu6H^)ls#F*biAi}|?xk!Dco;ozX%5{|~mAu--lG=L>+Yu^Zc zXT8?ix=kE(79+#$5H89Yc^3(zx<#T}HJEZ}7n;%C=5R*wfGy4*w$(zzea$;&h*Z(& zX!_d_6Ay@ia1&>FB@Xn^V*A45O|H^5Pa^8Gu{eo|XvtI(0hV4IbEdWPC z;i)<*7s|N(mU~WGTx{ZxB~7Bw5)O=vA8I^nAVUjNvq864aq8wbw-SG`zufY-cAdEj zpjH%=@=gbQ2Hhe?o!%L{W;TDF+h<=Vf19uM%s>&@M@!v)jL0sc_n}>g|LMHuAZ7A- z>8ZUo=^ONHvZR*T@$7b7Ivu<6A$;9rT?kZJ$;;Q@Rsu(^wHCuQQ!+`9aSD9G4K7LC z1(NuW#G!Pr!DK?bYW^#C>}?SvPzI{O#}9ASFM_4qoH*UneU$Aoy^nuDDqDo|x|uE1 z2U{6~`2MBb7Kc+wK{qrT$qoJ+1RtD}#`hFBkeZFq<+x$^{ZG&!)u;ebkqJ~q%4GibWQFm7db z>W#Z$LTH1U0_&wXE>2VikO21Jl$z-u1C9tpJ_1$V)l#pIuKT@qBv6)iE#CD+BF{OT zt|M(>SlU5F2-(4yrkUf#VoaTyi0V|cI`IZ+{Y1xu(oYZ~%q)Lb;H4{1bI=KfM{;`k zxm@e`!`wajJd`Q4yu-ZRp%*CORu zOc}>0J?7BqaxH(1s1VTEzj}O!JGauLY!{&ei;vCkKAh?SzwNTq`^9lP*)s^MVn=5F zIzH~KK2n;KW65{(Xp6i@JLW7ZrA}cma$9F$IEf;~lMS(H#9!SSDQLBTbjjw_#*s!0Y|Mu9H9nKW%@5Q|xSyATTtVxYsvL#+_(f zbh&z7YgCIleF7YU*R6+foW@7J&2j_b(#HmMa7>(<(3iO$(GT2=jmHtC2r>)^zJ3Ob#8_ctc_1oQbwVH_Y| zS`aEOZ@z!31Lix^Vq$HzOrBw%sG6KDQ}qfHj`RV=37tKLVj`y0U(sxG)K81Xu%lC? z^9NWHLnk=Uh|`><!&{8X%Zz%j3!~JJJ@1T%3^ae4YWW8evxtYefj=;^ z%Ua&hA@;uL__iknyN+<&%P#ks#%%yPAjb+Ubm)I-o~JeU(RDiW(JknDM!+uNufd~V zxa36}2VLLPSjfSF>*kw3?{lKB05i$t`Kcni;QBEi&)=>d49lBy*JEV%L< zU6@~H?|VB@)(VXGeo|ok3_Q#=r{!91U$*)=L7^C}f6?d@J%pvV5^w=3L!?KrL-(nI zdWC-?Qq`_7GVhuvjwO1JnW26i(t0d9u(Py^671}nK5@Ppd0Wx$;I2$x|DIJUN_t7u z0pYVelSYH$vLDgHplPG&y72bulWCJRWcJ`AO68gxmvE0<@5~*ZJNeaD;@=q@6^HgKzAVUdpg)QX@ub!tV?yi3Rqq)2 z>`_5pL{#j~;d&Ld``(4H@ZF(EuFNGdu9oPNQ2FA2x{<3^El-G^PH#n8!Os@ZVlL#q zMm?>K` zauVOV-IMz&*{OoJ*=f$w+wR|MQbLy)gvY_5&UW@zEKThkT8cDwU9NvTjxlUHuhQG> z)<8FvnadKd@%>S2|LTx40e=T>$Hx#_c48D)Q@nsA^_ z0?qJm`q6P(H$4J6?9cb5RQaomrOPZMP0L^j@(%dBK!jymw?*by z-MWc<;xWz^zNNOuOp77^V)%cis0WJ-+M?Z+OE;m;!5XUcTO!{~87kCQIKndDokBaYP3*pb;?g725PXG24E23g?J?==P?O!O4X&v>MVDulCq9tQ5bJKhp~KnT zi=cn|>@@Sp3Wonq^eXioWsLY&R=*m|;CJ>s1SnIF+v^CY_Nog> zxZD6$u9WXZZZVby=HaB#+mg0Zf=N?_&?rs@PD|!DY z9sSCI&Y5>eAF~G=HgP2&rKqFjVcBtsC0OU`@S{c)iRhS$x1=Tge$HYlyBm_S$q+_> zBzDjB3ma$&#_?h@Rk4?Fo5NuaBsAsq*u5VLO7KYn1R9e#?<>yO3-!;Y6?Dit;+UX4 z$#KL@Q`CJz%+__Cb?JpuZzSfurN248@CGk!@!#dB1^@2|v*};q3fxWRdWd$OL ze9fZ?FXs-uuAZOD=zO?1iZql$YJroB3rzZLg~(V=@6gu_$$10~xt;aG`4`6aYp^3A z=D)@}aO_&sd{a!fpWciJM^cRW@m2t<6>smljE#7 z5u;{y8BN)BC@wLoEIbNx zvG-~;(-OmCw#8USnBQ&M-w0(M!2$@DsC);;rc(*hCO%0=_BG1#vRemcz6DxcU!PEY zTRaoHW;TE5G2)<-B}y{P=-Wl160634`ghHjQA0-jk-XHg7G;hqD+aH~D zBwL^CSz&TU$M{(j+MuqclgDWD)D~zP&i}I#)Sm<0sqne}{%L)s%Nx#G6zM7CQ*xh4 z=PzX>+6lYp7VhuL6LDq{^o@v8)DfQf54aX_$RvNA4~z7KZ{<%YWc8w5mw4b4U#hwB zxtr62@(8sP`eR0I2aYP-=sUAfGHx{rp%hT(ZAuKBF&%tl3p?p;2ZW01F3^B5Pc;T8S9Q^)AB6>ONb;~w@|i>GEZBd! zYV5E=HK0gCMM_uLyaNo6QLZ{0a>IFy@e#UsYuHLv+}tYMZHhuQs64>Q zL9XTJevqQ_t)0bIm8L_-wxF;ITq7rZ<@&zO*8+f0S>&Wp^(Sv4RtT9aAf5OuG~sNB zmGmYHssB z<{DL(!*4f6j0>u-hc4%Lfom?TNMz4trmXPxDd%sdIVzr+15R6+O%8QEi1O8Xgci%i zKQnwv;6V)gm25pJ=ttJ?E|0((%h@YdohVLpq3sfLc3J z*H-BSYy_+KsX5B@^bX~xke5z2ey&LopPtd7G@t1B6m%@A--YqIvRZ6fXi3j9OoUBs zQ7$i<=8`cHvdS)WGod4gP3E;GsqlM|J?I{=vqoFKBX>A za=vWAP;W1?JT>f#U~II#W-!AA;m}M?{ProL`3p6Sk6Ri*RR(eqCIWpbD8()bt4O+3 z+Czjo|AGm#GUU_7QC(g3D0MXeEAHG#tHUPjGjbrWy&TeK7&-6?guMLzV&8B#NHMtMVH9-;glw(F7M@Pi}u;mY>+1o$r{RU+I5ctCj-PQo3*wGQHQ_ z6R(X-SvfT;P(X|?8A%!;Gji&B82M85f&+!CN85g#7;CBeBT9GJ#_3)5ofZw8L_89w zy7h~79zXMvSVQ%>228gt;=z(k&=YLjUYZQmLYcKq2fdzWn;@sFXj~9QBy243|$`rcS@XRHJ>}NZm zbs&jCuF0K)8ELEmzR{-|qTr{CWtHzlS6y#p_%h3mc-9W(Aj%eB)4B(p>-XgH* z1gCWkdIY_GhiJoKvG(8Y>nR4$0fPM8J+0`MtLFv3^szc6mZiNYajede85iSf_?AHXV_dvP{!&Y*y19n!fj?*77Wc0`(i%k?g*Ij3qPY$qW~!LU@Pt)pGHjAk3zsWX}z>C};$b3)!;4loz4 zpSb6Zf76r^&8gZ29UDY_mpo@`IV?)0QRRPLCA6o(gTbLi3uKY=gMX>+*fbfp!Uw$>&l6#O52picyh@Rj3{PBDWD_NzDReUW>zaHRf=?5?o@yJ z`?FV!#i+uUenGUdP@SJR-xOq-fZYo?D4P*|<0UrN6QtsNG~ihAb;|?c$1@2h>akD( zQ^2Cw&GCOZQ1GBW$0Tl$kyrgvlO~8qt;-cLVL-2&HvW|o47ivP&jXE)mS)yb?3_6= z+!GnN()UJgj# zUWGqs4?WoIWAEJ*rYCj!a>##+V6i8(ExUbZr5CCA{v)AwybG{aVcG}!e6tb(u1;{a zY8eehcOw@~qH^7X#p<&+p-TJu>Dj1;Ipt8KO^o=BP~PJT@B_HpHQxF9CCRBFg=r6q%QsI~tW}tK0Q;a2I(TU(yU)8}Y zq(IskV8(VC3ctzcOw;iJ*ybxI(pSINe(AsTEVR5wy@qy-p*9XHop1jbXNWj(Q=mpr zlk~tf{7uJ@O%D$8$rjP1sYeSu|j^GiwYy-$*m!eOi^AO0`$dwc_ z_}5rQ<|Cj{GXWR4-!E#v@6>QC3@hiR~Y4`@y~f6X#>9 zD#VW|eRSX!959UQ#apSZYtM|LrVl6sR>tnI*oaE*J;DRY*Ghll!4^RCS~w8nVk*Jf zT;!S1)7Sc{wh)pcWf56^^s}E<<6>Eg1g!X;!Kbl%?{+;gTfdrwVNgZK|EjJ!he(nF_|6xHVQBRNp}yA2(egr|$KwCO!ZE5cG4 zp>K`rm9b7W6%l_Eu{nfZRL5E7=a~d6aGA;Yy?l+yP@|evl6{{FhPIEy@3gz&akUXF zUG@weE5`&IT(z9L3Fri_KhLn%@-6(1a7AxeWvjhjCBjp&&!wf#W(kfjX62IK;cRIX z{|#~RMeVp6;%8Vg%A!dqiY<|jYS^(J*&C?BmC3+=VGGs34>7KQTQh{*Cf87=bwjMD&DK&Zcv=D`IKJIK(rLMnWH z-l!1KDfQUmEas9#whAbS-Id)Qo3W})UfVww{ zT{HN0^fwwiQ9i|gk}biz4TAFbgW)L~=Y$ae`1)t5Ur)U;f@N@e7M((7FEg6gZoGM{UEgk@_Ie*KA&v=CLd$9b|7g@}2H zZ>Rf?%OX=17dA|`GNyc%-{7uXvDWK*_9e4Qrx14$6e_-dl7&iqy27&3K|3Ht*eSSl z0P`%2xV+}m^%Vgd$j9$d*J;Drs-a1z0U4TpMUG=56a1~(t`;}=!iXdmma;qHqGZK5 z!upo|b!06Bht>sD(lPu!bf!QT5VS#)IS!TZxg}*g88@VEU@(uuyLL+N*^fjA9=g5Y zM+r6^oJDqj7h<=O38xOv@xk;fx%@mL)5fW&$neB6J{Cazc36)f?zvZ4gTaG|41Sr2 z-EPjQE5lIXibyJkX;_a0atDT2Si&jhF=1nl5 zpG3BQM&asezLYaxHN7kAyR_FVjZ6SbU2L^J)icVho?64ITD)-Ioz#Kt5ASBATlB9-*C@ znsX<}U$R!l0<;HM*e=!>qzpc8<iY3dyeD3C) zck0RvgbV?QvVqvc6*4sO;yq()J%trd>J7|wPOOS(7z*GdR+bsH@L6#6r`9Br_IW>l zAKk3AT&M@k+IjDhM}MlPRb2TwOO3Wcs8(t%<6u<@^a* z>d_R0DvztCqvVJ7xfd10GnLQ)n<{00D-7-#`EFxp_p|$=7rEHsz?tW+5aMxyN(&cJ z`@Qj?b5M(qwhUduuoH8^rZfSGHaOrRO`0SLrK57w_mc(xA$Ivq)e3MVdff||5?r0m zLMxs|ilhPmn*mRDXIm`I$ZQ9iTMJcTR(qD=)y?Erkl9% zx8DNq@|{^HV8KFQv#A&M;|IfLApO2lC{ctpB=9!08Rt1;`Y!L^_}*8Xlbp0g&PjgG zlXlB++CBWup>2>hl@4`AYK=92k65R8{z^*pwtd)xC18pX7;jAF`TNJ?dXcj>%zSt& z7HanP_7jAI-=thr!pU~Sck1JI>SO*!Ge~%&G(`1e(sCb zZE+cO%td{l`+i1orN5gSVy7A(8>$~t{xjO+dK>p%RZ`}&aTHYNZ@T?|LFw%gK;O`( znkfE9W_|#P(ru~9gUM>E=4G15q%MbjQ{5sN6no8&-gz3rQpw$|y>Yd0719_r;ttrL zAN*e3ROz;JTLi+hx@FsR;7ziZ+M_Kn-?<}O_K76bMjc7DTkY%*Z3|20 zk+PjPyV=7_g0FUic0b{NtB?D^Xm_|lxttVG9Fs~q?X!4x2Mb~*H3%i(;$sRWW@&^E zaGRVFeCbalVu`}q5E9{3d=mAmhd$VOBR1Mu&4c*kS z44eaNR-;>`VKjnL9|Kc!JsQrHfUF*1E}O3Y6*tnEoVX%+2cM~bk$Fbj&i?saln0Oa zw<#+aRAIFU>9d}khVU(kA8RsgSABIHO|p0TTKY0c6Wf+IipJnZYm1!3FAPq-PYti0 zu%1=v4xf|FN2m;^D_`0RaZ5ZWvWw*1S z7g-0rFD|6i0^F)HEmTkxZf60;l%0`L|%KFA~p6Nmja%lD`oO4l&U-V%`5t6EP-OOms6PQ0~$ZwcK<; z-y8jZYn41GP2pFj^ctbHjs2@s9g)>tIRiwPdyy%nNd9M4e(K@);Tj$MK70BqI+97d z;;X6tfo~Nf<9DOV@%61JDwQjtn|S72-Jr(})M0=^!h zlJ=ao3*4mn?G(Lhg2;;6(5-nkOSkb{!hSu^r9#**l_kA_Yk|C1n(4p{aq6J6 zr*@=ey(VhtPGyyD-WUt(qy$*1owZp{O@J;FU*hUMxm|r*9rNT&{~Va4D!7|uq`C@! zim%STMt@ZWefaz6nb*J6n!Qp>d`7}Jc;L3TJ`ZjDZ3!_@^ky6M-1BCiKDd#xTsmu7 z5+iN&li6KDD)4|h=4XO^+Q3y3!FKxmdZ5)f0z~wBz*78-RS=U#&v!3x--B&R)d1|L zET_@(PdOMG?X|#7(-@-Z{`a3Kz02T#y-&=zdh92l?Vw3QErT~n%XB4ygvp*X_E9XA zOT2FFm}7#fdOYW*j$ZJTFq-hFnCl9kPMZc0ap)FCq3$FsUuOFzxd^=HaN_M4d-dkI zD9z&Z(lzneGg+nN)#6!~4{31OWgm(A-H_8>lG$cejuN2Otu z_GUS-frX8a0#MR=SaMu>Et|f4lJS8`Us{l8+sP^d{o&Y`rdZ@Oo>z?GX)9O*kW|)s ztQ>7Y3T2d!aHoziP}K{WnEaGoU4z~MU(8Za4Mc34PZvEUhNWAVBxpPo1H+_Q7xNnK zp=Bdx3Yp3>RhK+&&GC1obA2~|mbe=EyrR~)S{j$sh-)4cuN4Gd*mh>Oa(=GQWJO2> zu)(k!mOlAKW^6&VzPxu(84A9JGi8jUy1n8 zPaFN)&b>xQx5Sdc2W(#KEXbYraHPQ6J#af-9!%CliEE5Ff*gl04nMYkn`~5Dcb&v8 zee_{?Ad+BvYU(sn^Cj{Y+__=r#Q5}ucozevW$_&7?vMRI3USkLyg6!%4VKs1^ZKAU zAh0`*KJz--aek{&-r)$oM;3F}G<|+VUM@AHKUv8(y_uNE{^X&Hq5IwWQ z>*1Lg^b9+d1*atM0&yl|H|fhP9Z@ewm1<^G{~7$32k8#Gax3E&7(1r0;NT_Lw; zv`FrkBZ>93vyO4?u9g8GvlDiPqn4|b_L734w^^4Sh>VFNqrn`1;!^J?K<;-cFVhs9K1yLI9tQTz6 zPKR`$oKRLsI0FCKz7~CkB{?NRrGGrUN!QZr3I$;`7%3x zQr775!t@9B`s&i7;YE|B4n*1!i6)QEsT?T zBUnxO+%a#@9@h*O0%3~`u9|8G6bnpbNjuSpN^ekr80;k)t~xVH(Qg2&a9LOLxqO_# z(onKa)*#S-yn4{&y9ZwEe|a$AEJMwkY=}wV1*Wff9YXh(ESBgSO@LB`6bYCBi+>Zp zIG~q~a{`po^Y@mS>o=f2T6O}|6EZ;E*GEaP9FCXgRi|#PqX#{mYJfd}W+3OBx)l^+ zNEz(&7nV01s*E)xhHg;@e-ZU%z>dYV-aG+23b;Uj7K{Qut@Pg5`hCjJnloUjO#P{N zme6%F47P@Ncy~tK%*StVpvBwdj+1J77kw^@4pUD}x*mnotzH|)MS?7hUJTQ_F2qEV zzd1lgA(p490Zc3(`Wpk`JE-7|wIX_Ia#BUitnrY3(3Mh4$`=n=$iG&BCb20XX;jim z__`~9m`;t}CvS#MqwvWBT~%nltOPxFEHdSF)pog{vV}w2){;d3(02T>T zJR4;;Ltg>O%e$7dStB}<@S-=_|$ zJ3u&24FQ)Lf~kj_PlVpfD%Z*t=!(xZCCY|`1)7d!QV2z7)jZijN9<>qz7~>XaDI4y zFvSC@;s45+F>&bEcfG9Uu+7^l?Zdki5hMyn!sSSuG+-FTT%|-}>YcI>p7?#TTUk5o z%C9R1MUGXwmEq=s#0;7%t~bsglrmEw%O{P#C|+kWFV}<2dif^g3|OxX2N%xAsb7bz zB7$i5VXPXYN|A2j5`gthif2R0r(1`Ar@^=+%-WEfSAKiNE)jdKxGY0373Tu976EKx z4O7Xmak?8kxKirdCgVKO9h9;_UH{R6P%RR_u-th?hD)e+1v{a?mWJUPx?k+Qq`Qgj z`gEJ%@Dt_Os!9u8$l^LcQj=(Dh!y#xamk)}7@dYP4G3t=MrTD*nK%?oiJ!uM1^K=T zFgeRKwV}K6J@#(M{Mtr=n-<#gw)|0%?{>DjYNVUTd=4n82^2slx_tud%gZ8q99tFu zl`m<0{_;<3EHQzG#LwmToiMcOttG@`JfXjxEMKZ#5hcm19KWdDO6u3<*wm6Z>P-=Q z@s}~g(i9J%8jH4Tp2f*Zub3)-de@9sZ-EN1^tbk86OB{uip~Ad_cOiRyVFz{>FG?n z>?Tjd$qR51A0+Y_#S(&C8;-iW_A6DqB%qB*Ih1ITb2NkXo)*!(Qr{nqpTLusIi`To1M;-af|3bR?tzs%!GAh`3+Fgo4}xg5 ztaP_>iy2j7t;5V;y(;mf9Y&|&Evbed$4ms+f_k1JadbNwW~`hQh%aNQ!1#$Ublu#a zHua`trG~~xwvW~I%-j&sbIlqk2pg;vcKjGZKVU&QU&g(02FfpozY0h!%XlcnU;VMo z5osrG%WA zeuv`qhDC;qJ6iB5YEJ2#+mZ65_o@;ds7o5r>D_W zTS*Fbijl`90AhiEY%td=!YCT~MKY;c#wBdIgR!-7IOOG@h+!r{x5J}y!VWYa=Dnm4 zlq0CxbxI3@TQxsIAO%r-OkdB=aeh!eoJXs}!7zrZVcbiFnw^?qO=)jXvLL0E52lq_4YCZL7E?l^H4`1JItXOU)3K zkQI5lPXg6u;9y5}5Da*aUWae$jL189kS}hF#`@E1;eP6;VPK}5X-kaM8b66+>wseb zmvHz?cXCF5*-`>%eb*+1U)8lWrZW?SgzWk;(a|41^q>fgJd9rZK(l}vLYvZmYqSLr zOqGhr;@#9Hc9MPys-}?t(cE`&Crvc>gv`x@N#^WTiV8Q6-beZ8W#pl-U5nEyc-mtI zH%6QG*nPfoEPbq%DCI;3pH*tcl$#kLBW%G&&71dsqU5&5K;L!nc9sz_=2Tic>j#eS z$aqCaSp)bQQpo0yJN=h=)cp^w>JTn>yv-eHR;wtWR1;{j zBe!yk56n=7?McvE^@-N^;uBs{AhQedIS6Wy>X#tH<_=nD8wYrYV!SaPtLG+TZ+SEX z`y9$&|IGS^d#}EC>UsPRa18l2Em;(2rAl)u1F!PP51@;rj4D+KZL0IpTCEhzSOjfK zhVA!=M`hKtaLBh%)z>56;)9(OGfAxf)jclNLjioO>vTaS@5!*<&{!AV?&6D=;}!uZ zv&FWCDVMi60Tr`g;6WRgA6x+ylVIQwv&Q=`8<$RT0Ts6j7XhpxmyC!36Sv7Y0aYWH z^o{`&6fqz%H#Ig2FHB`_XLM*XAT&2NFq3iM6a+OmGdGuTsR1Z|jduw&)O*-J;+Bc5 zB~*Ud31jSQ_91(SNM+0n#xgTz#*8(4MAq!Gr?N|uHM=ZjNhxcnkzJOorFT^K*1iA# zIq!Ss95bJ1f4dCnnl*3?{F1A(zeLNRE9I7C8H3D7dKuz*Mbl9JLAl9Ey&0RamX z!4>(p93)_g#NknY7_`zK7FswYj6jiT!w3{ZBMchQ_izOu(f~wG2_ml~DG5kPN-F+s zh`}iV+Atyt0T@XD`WQ444-(MAV7+iCM<)U$&)+`*VYmnYQB;%{`{52~xFK;UI1CLK z!3a)BH%dl0%oQ-lz)?to*S|stt2hw|SS2u+L?TJR-0%{A7@XsI5ix*-A~*qNNIVip zL?VELmH}g!8}e6c5+DJY8G+6#qt1RPMVNWcVYC_(TfhygG( z;=mB*ipNlY{9!~G$`xi$G5AqB41j7}1Ynd7fAxol<4{-vUILGDJ?Ig95Qg&1I%tFz z#?1|hCg4E_^=YGUNI2!)y}-YQ>w?CR&^~`72NW9NaL@+A0}H-{M!9<+FKGX=p@=}g zWsXP!AS)>;sUR&4Al(6^C)^2qkifzVi~OO49Ed4@J^1-xF<8KX(gxBG<$$Dofqd{V zA`&3rJdl1qe=7csKoAIkK*0%sJ<<_{2K|ms5hERbV#@q+C{N&uB!zwuK=R=8&#$W# zh9NL$SFhjZKSm6;vc7DtZGP@o%l{}fH8Gxmk2nMnmy(tNWTj*PIYn8(@83~OVW?kK zNdESJynuGV0E$10rM%ML1rvWUK={{shyeeNWsITl76}Odrn#-8tR$TB2l9U=`wy4@ zAIA@({I4|sZ$(fKSJxkU;hzToj~?cRa`pOULE)_jfwBWe7|JG~|7&W6{JFSBNCe8m z?Z4U!1Q=x(G|-N&|2!lL4@G$*5vC{t-025@H-3sQ9qgGa3XL?y;86#c1rUcwO8!Sj zSuVH><$B;Ll>DJWQg-Lx8FkQb4B}wPq-5m)7!C*X0!dPsBqb{g_&_Mzh(LP&ATa=z zKw}6L7l6{8AK-w&feuD0F9U$}4@5tZqC5bG{YHua82%4Bs1A(y13~~W@((BlfF1sS zfwBh(i_0HS0RX%H0V%b){e}=qZGS|j zY#12xJ2%Caa)bX+Q>w%MR#Wm~DOAM#(Hw;GEVw@)rBeJKkm5o3-76&-!3l@_oq#ed zFoA^m!+}yf@i&yB=so{{lmK2o;J-$H3-`d`DEIBh_EF~kH~w)i1ZUAk4`v~pOeYEgoLrZ+0`@JR&)X$G2*293K7rJ9d4246qBz>i;3?_Iic z8alU=+TJ52JKZr-C`OH%O68uPXT%z8+?_w4GTS1@WnkA23<`W~(K)#nD;%^@9}*~R zkAGnrn=ixVV6paeA>YG$18DU38oQ4%_F6? z(>STBBeAB!^(xllI^q2{G#yJ{Zsx1;S>x5SFZf(;TopRgJM{Kazp#k3A0&`X)@8}; z4V)(&l^4Idv7B2@7k+zcZTFq;ZVpyGLtpoC)rW4Tb;^BN`?AK@)IF7dy*DBJ%5$2| z-a19nVTC8=@>Xu{SPs}mw0!aY;}9@-x`U(Tn&ZvZi+CfvuZhlV($g}5ILcnc5DHJ?y_oMlq7*%V5zc`$fv z0REnx{?jv~wV5a1HXc~wzKoGQjtp@bW+`3?^zh>@7N!@B#yt%%j0xPRBr1QKx>xN7 zI~Ry11zMPcsB#CEMZlS(dS3Qq8G_rvC(2z$0Hv6S4=GG$Nqj^r=9`gttIAOJ*i zS*%MqC$9UEw@T%Ic;)adDy_W zW?2aro)Lp$W*amflmu4@z5L?UZIz(UTY;Y_8-rDGW~s}6wT$!OwaJN0z`L`n0^{jg zNo!698%b)-k<{9%dNwtofo30eS$WdOX`jwVP*vnN7aAR6Q3k(TU^Cl9R5X4BgAyNy zeMU!9PdN27^V4SL9C{fuoF^0+(|OAK&SF+;-IWnJ&N*5unww?n3D@5_cl)NyeD*{^_e>c+MW=|Mdn!6F)eJ0i_ ze~pWrWdq{>DfuwLq_-ryW= z;&Z|qm(pYQy;E=pC^BJT0Gq}600rjgl{BpE1FUU%--^ydvfQZVy#})j(>)nne6#AmM?0GEm&Y~v1 z?$X@6*Hty{ekq>sm-I&>9sCB!ALnPGZ?&&~IXBQnPk8Lg2u7RE?na|6hL9;wFB9H3 zrhGN=53rLZU2~lt?9k~5vz#iZJ2qsn+MiKcU-#*zL1A!cB#T^Cx`=fn{ld{V3E%4~ zp3?IVbIcVoeN#&0CrieJS}LVDv7KwL8dE~N*tRa1~1zxjoFAY;S zxwD^}$|g5Q&7q1uIal#K&aaa1d_&``HD#KgL01my84l58`^eoXURc*KUvealLuAhH zXj&-l#@QIgWNP2Dv;sOTv1+|grG)Lu?9wzVCl6WiOlig49q(}JV; zTXtmD7xCjHT0X>A%$s5obV*Wwuon>=qgh{EZ%j^cdw1VUZF@ z-TYUha~UN?MQsh|I4Kv~8j7h_brKD^Ps3^;)@3n@@`_u(r zUuW_pjqG1cyjJ2C7skK8S6V%hQthB&bq3ATIU4)C4=n9@FD7-+7pfb5jNF!_;DuH|%2KQ5`*&(Jlv zR(|edq;cYQ;e@Oy|LN0z_flhj!j`L9t}=#W!gMoO)kSjCZBHIdOnxJO^&`FY*x z-D;H&`%jGUDL)|k-f7o$tz-S@-*K9LLmy(OR7oc$4d!Ag@qgHVX;;l8XT9mDB<&+B zrN{JAgId8&a<6uO(v))c$G$eN~@{mG*egy4>8 zTm?Dsx##zBel=7pc2;*dVS8qlt3xhB2m{p?Aul{2(-w=MOJ;rg>9Q+p3UABu-}J)H z&7cc*m3SqOkb0Hh=ZyqfJtecwJ+f11>njmE35q&@ubLW5i#mke*1)PvM?|Y{ zjNXlln;YYxDoRsc(Pj(~d@ck|&yi0MOcgfdL>BLx9+&FjEpSF5KHq|cKx4)TS%eD1 zk_0%l#QL>&%h+R`)oNKh3IQc=PX*OjCuxRN9R|_g+~5mgY2V-+@eV%R88G~KjpdS0 z_OKNAb_BnFZg*<4b--7%>n{Q$Q{-(e#zP%ZHyxxT>?be$c{@?1?vjwx^ z4Sp5-*TbEiV4~OJs;y)$qA>GtvGX&q^R^$3uSH+ZgBO1A!3xwyxO~WAeJmZ{&97wXaiGL$GJer^SQNG!VUh$2|_6qQ=>$_Cptnjdsnp>UPn$F zrsREcJGF4+T=}Z6j@Nhy9o1#3O~cpj_f%=uPPqoCZZMZC)fC?1H@Z=GbyaA?alSSA z5KNAL(SN|bm%&v?1zhL#EkH<$+q1nA>&m2bk!LhTq1dWqdBg4$BI^29*Ta$gDF#ui zSLFWU?>n-mHkk+gs%(x61|)LnzF;Qr*m8HRy|_yCg}V6jM1Wt8-tgKf@|sBT-XUAT z-0O=gNfVu#shuklGUx1RcR?c#KJ z9KqT&Lz7$Zfju4$30Fg-eakrxtNfirhr)Dh?wzyqK1BL^n{|Pq?*Qqq6Z*c-!a<*x z$4YNQnieV-G&haSvp0nv`HNLq&Ba{coUEC~uOt<+a=zpp?wXQYcQ<$(wiN&Goa9x zPBJJis*CKd=i}?Dt$tly4X`OcI?VXsnHv>dKer*%eQrnjnE~HYQqPNwDP=55ygsOlj)n}>z8T2<#UA9qMso-rY=e~e_pP6f z_jXHgXhX*cQ%8J;6?vg!>c^0;h+ z4OO+%&qE3eVr8uaUoLvTNQvTqwHDY(>Yu-uH*!m}?}^g7*L)fWPWSTHRhK`ogXho@V#od zE$<@%+5$1rJMLuz4_dc@_fJ&Abzb|Q+d#?QE!bf;4~&065_*~RU7r+x)ncS#VrNj9 z6|}eGp{`oyEx7w~Zc|}N*q}Xi!DC=OFhy>cZ^n1-8`tOd3aA=?7>f24)fo0V_J|}{ z=KW`}*+}pgDgoQC{a`NP2x{e}YB7m1`ZOlM^zu;sN+42 z%!IvU6*dF;P~XR5H*_&w0bTHJK^AeZ)Ocw{TDch0))ZZHU9Fyfb2K50ESZ0`uSPFb zU&nRt9m|VFoS19ws}*)UAtrnKDt=k+ko^2# ztt*^ww~R*BVxy<<_l%B(bQL_WuQzg>+^%9H>}s$j*O&+jB-B)F-cM^Ls+U|}J;8f? zIc8W+9?A~wH9`IJpVF7HpoaT&s`EC(`np#lr>j@RLN#NX--h+L$ET})m0vl~8gW{}+Lnv}!WXYU`f2;wNFff* z?j;Ge+eyNFTH9{Pfp%}+LZ?B!jr*Brhz`rQB={n|8BF0$$Fr4jrhdC>Js(QR(ZUo#(v zfvX+TK`$RM%&dR0Q2vJDEs2@$fV|l|m(lbh z-fj;#+UiH`N$RcYR->AMAx4Qj+yX}xzbBSo)CK$cY232^OZI;NdS8|P3T19&b98c- zP?Z551Ti2tGLyLbBm*@vHjy=#5z{MqsBwV(Z*{o@=KhF30dq@K4c6vz$a z;S&ewzLGZr^7HWl_;>_xSXdMgP%ska0)GicLd5}wPzXR5>Iwkz10Eqj92S3of{Uv+ z0%m8A1hCn#{~ZJvIDsKBXBYxt;Ns-s3A3>WNP2pD%6htc@E|;-c^->&p-=$Q9tyC9 zIY9vmnp(yxASD2s5=bAQ1cgHpU?+f;PLA1iZfKc=Z$jU^oPzuKZXIN4kqYqMm-oJEHf!n$Og#QUcJY4@xJrZ(% zPNk@-G_f z40H1S|Kk4#p@IZI>LCZWdsL9`pAgLb70e3?(Sji#CAS4TJxcX=+z|TD{ruJFpX$d} zfX91RWj7lHPqw$Zw>xVE5dDDATYQcKo|L_C>R0xFYtF-3k>^b zhyJDV?@j@L|LbdjkqCd77r>N{=dUH<`|JE`ng1_JUf#vamz$qo0KhE(6b1l=#RLIj z{6hZ!hpvqW0s)01|Car6mVf=f*9i*sg4*CL%(~b}ggT^tdRrEtSU6FR&N(q=rO!DF zM4cOLKQ<+T_1Z%$HxH@K^r-S)Sxc=R{7^Y-WCX`U@wR`5M`9Qv%x9_od|)cK z3#eYc*3Q4Gi?BFCGoW;~0ihj7o+8s17lO4oMg%i+_NrCgN~DOCfH793&0Xk(EAQr~ zFW^e-<}ZjdOz!cZ>zq}D6ZT;RN7gcb))tUJc%EqY_VEUbpBw%nQoWT5IX#ic>e2*d>2KnhYhA}8BPRVZJHGi3|N=;N%T{X1RJSHR`rv++lFyJS@x%qR2d-TG0 zTnZzW)JSlIx(uMb`}t$M1BJF$3h$Rl5-DY@@z5T7sk2(_gx2nn>EZ`ksUkPZ%8f1L zlDeAk8r6So0W4OZkmJL&T-#ecxoBCzO(jVd=P?=FyjJIT@Lakyy8HKh5*#_@F&-Mv z*5@ay!=pOXLd@AEyz`GSSzDds?y_c?V09KWjh;4!oL2)}lj)M?X!dzsD^8(bZ^%!~ zj7UlyMAeQpOwnd4l=h*R=zEaT@Z5VnAsOL|%?n#$)u_xCPEsugB${)#zwGFGcMsRs z?p0eTb&oQcw=_k<3MI>aY)~aC%oW6(l<$AYou5IyOQn=ACs$oZG+TP;{ynp)fFzE) zG3;wz-QjY6#L%fY+q?QWex_UUe4=^-PF_OI`Q={M+*6C;%dK%^)cEKS(m-Yg4xpPy z1@Vli;O3uTI8S0lYZ=Lzi8U$CDQ4`i>eDCNE~>kGcH3H6;m=iAKWZM`8x>$Bc>jOs z1*QJ*EGi!1$0_1_)Ae>o^hm-3M;g0;(%HWyymRVyFQ^!YS~BgIn}%G$jQ-6WWGodU zw7xZB9p=5=iNGseM~Q2sFW5rS)_#%sK*>zD z`S1+oxTLW3Jm4hUo#89qvnSsuQJJ5UnAHn;d5Dm?_N=Hk6Ac!NH5TStFKp#6P- zEqvK%dOA}UP+&0Ncom#kJ?@JpJfj!$&~9I(<16u{DjdU%pUX^7ZBX)B%;8I~J)s=w z)Srg%s!(H}!Ow0&3#~rB#*Vzj8v*wx^a?5;jV`Y6-<_U>hH9SHol7BtL@K+U!^O(p zk?ipm;gtROroaRDfp?V(|3-g9w>f*EQ@OIl;0`-36pYVdcb}ab3aKy+t*JW{$@$xJ&S?4u-O&&N7)dlbGUMa<8SA^DanrF`d|FHFEHB9q~C_m;u$BK(B zAM-umMl~n6G#$E|0ZW~kFC0K5k|M3OBO``Zz73vf5;a@b2eW?*pUTd|N#+U5RtQ`C zeda7aQ>k@0K}b`%`(c>|T_sBH#rM22llabraNOTKv?U3!9fcN(c zrk3E`dwSI+vmt+HYXPkm^1#q)Bl8l2IcbfIC^3@@lA*vMwKfk!E1~3Ju0N+Ro>la2 zs)6#@9Nr|hfj2{6bCo?-zxq{W+$Q1Kj}m?_us06ZWA@?O!rCciY1ohNlC?f{mp^N+ zddoR*N}qqkMrlB+1CgwkA5qv2QBk+}sVO@TG9#3OIV^u+g$IgRsM{(qr!{b|h(>53 z8iG{XyFQE@RCSHAk<*(RNWNWNBJ&#v!DBs{pgtmvCkt$Sc5kq9RVQIp`B9*dMwt8a z#SdxCD{n8jqC(X=`{IbqujM9g7)i%3ARzIyII-7oIIRs{e=J$YB@E`q&!rt`R}aba zz6{)mda{2%v@+P)KKrD@t5u0#3qbSz!pxDbPT7PkT=?>8L%C#ZtmzX%f*Vu071yv% zL!nz|s3Gnmn}(O*y48=3Z(`Z`6t*e8mRg{zpZ+u_tJd(tO8tkiKU4TC^UiH%9Mro~ zCH@T|uH{X@%i-sF&=x-W&2YQtHl>-MH0|^EBl>@x+*~Eo#h@x4Yk!3Ve%T9(n$l|a zOKzj|0xyF2d%rFU4I(s#Y?_4VhFEg_5AA#71b~WxsJzWQvEO!#Zx@6s@U4HgFx@UA zJX|oUIJ`qZzZe8$n_M>m?y-)j^KXUYm_BgfM&1P&qKWWw1?`~i4Jqa= zR`Gv{C=YwZ4zfqfs^j-eUgG$#2K$j6_u9`QgNh^AOZ)hyEI;Q?U*5Hs+BUbLGeJL1 zGW$N6J<_y`T)y-~GUT?%{7F$36A%d4sc!$%aGYKczKpWmpG0~{&vEZXW_kn6eZG^U zzF4Ss|I>)#26M-`;!Pg=iCwXYwoMjKh$DYZZ?V(B@4^8-{q0~~Uy142GgjX^eJreM zuDf2>%&=#8f&K;?^ILj&INd(zpH%$UU6@J>u~tHG-W^kpA}xN}@Y;K^iX#un!1UXm z28Nry%9yxg7=+%LoMWRhZIZ!LUetSX)a3a2T)Q-S<=`0{{O1-rrtXC?h}H5nn>~Nc z1WbpSU@_WnC*@Pif>W#ktM=S%3+9ZB%}_9E4+>8__0e(oZ6K*pXHgcL8F}pKFCp{R z@!$4MVR-xPK{i8RMKToV-5!4U!-G7G*ipG{CG+Taq*JrISN=xf1U6xm;!$$eCX)om z7u9>vnnI36pl;*Sl*BiCt?!cW58r=OW%^qQ9`H2o)F*b=vWd|-VZ5ZT21XFqFUo0- zBRbYm%{T3azZ4YX*ZD92Gl037*zBoZZGASP1SAGBN6E3RyqEN*~ zWs1v6Ds?FVTvvB8cZ$~WO8B$=fr4c1h!m92F>;T*no>u}SI5mWa{6B9FjhC$x{g1+ zW4?x{i+b@xPx6*gc`xl@eUpDWRZ66eHYYe|M0qH(_XE zH_3N>w#{ICL(hVDBzkTX`6bftT+MZ82M2k?z5D}%4m?SM=VF=f7~y}kYvovb&V((j zVBuY4JgqACR!|e=sp{z$3!Rt+)$I+gq5P$|cKwPaG2Cb>teUZ}(UB8I99)qMY(OF` zneK*~$`$R@x$srh=$W7>TiPh3S!p19LyRINV=E)(l}bO4agfXCtIVGJ#sG4E{HG!j z;`kzLPW;-(nAhD-L|1>qU&pr>i9~i?-6b~zZ^%jXh-|DW;b0(HJlXVb(k@SRVPFp4 z%O?6VI1_(_?@ZpyBwz-E%rVQDhAR7qYxa+?QDe3Bz*q>U4f;4V95UA{+KzZTG-yU| z)KCDZ^M~_`PCL1iQ~l$T*DRXGTK z!_o#qxt+N#`Xqm`5m>mgRYYjcA**^fo8%jE*i_4-d`N{Q{ynLWm28scAHDSWxJJ@ejtyfziCW&z zN|5uZ-pGH;)rezs`}lI9i12(*FM?{6Sz^A!jGS0yp%L@{`O0wPGWK)L^-IgMz-wO0 zO*+PIFz6N-psB>Px87RIFO7RA$LiS8lQ%crT`OKjHpY6pE|kK_$2wfpOs?^U8Aw^#k<1@ z#v|A$B%P!wJRVH%O!eA8r7|x{ug8khzy=a@5f2ha{v!H4Ei&0=tUt)PLy^oc%`v{E z+G{w)xXt@ioco-GXtmSGWF{*0^!d(Qg$RHC;pT z*5uEJl5%&S{gnrt7WdNfhpQzo=Ky!t_0xrYWmFVkw=P42NH;U22#jV>L#8>*X+}+5x!n6>p?c*mu>$jPwKI82XA#Ny?Y9KV{`&4=X6EPsjK3E#hdg8bF-&i zDHpnmS!E$_f;68Go$lI?QyGix)kp*m@KeBY&%Mv%YP5rYPyait*(!~%P)rQs{Hbp# z)%W~6%YH9P(zFvl@9E#2D2+|(np@?aw*>xi@;xfIL2#-u=)xkW4~KAafk&ddWCm~F z&87!+4*u>_foyjSR#50@Od$DVoXmMuCfmTl4LZ5C<|6I@5`Z?w3DG!@{(Ou-Jt%YOEb#m{ zCQ{LYtkN@JPT14L% ziLGKzI@op7z50Ifj?a1)m3Zy)YB*qc0GU09G&acbrN&32TK3c&sdvd@5VXQJt_qkN z-%Vk)FV(^3`pTaQnpTs8Xhux8FS&-~(JiP>!RVE2avXov^Rh9llsRYC%C&v7QitNY z=CM-FIqcPQaqwRhti&+mV^*FT5gE*$>96aHTJvylDK)CDX zGmLOEj+rgIE+^zG;QWpXC_W@GG5uP ziT}i$IbI#)3KKuUD78_m+JiF`U-64FFpeI*?OST>iL z3=+=pSL6m_o$F;aR6-Vpxx+p%bTh1m6*alc3Nu_whFJ;7KOBk{NxmHXA#Cnwj;&5s zx=Nl5&SoyYqV4d8{rlO(m+;Gl3ikHxukMAi@S^qiBx=DP$li(1~Nh%Q)N~`2KH{C)7@3aV`a!baxG2oHM06m987AK{$Q%a z|K^Z|u~H+H?RQ3PN3las#En7BR%rqG<_MeZS9$8JActW*;_-ARHAD;ZD*i3l@#OyO zt7OZk<%IFOeNeO z9LAW_2B0-sNxj|nYgx?=day@1*WRi_I*^aY{Z%n|)~%%B4o70&ETXU6e+ztg-%A zk6tD*LXf+hEbKh|C}D<(??f;5%*20!DS*Eo zkiwkv_pu2n0w~P7`;t=4G6n7FRMJsvRoZ1MlcB7wW40^}M3lb(Cls6qn&muh&X=+IDw1RI_mc%A{||IyQ50bn$M zPy;FgaEuBNZaB*Y96i5q00KaQ2I1vN*1}r;S%q|C6rZmby;AdSDq)u zS~tYPFs|W?twz)F5JM6~6%P0miEoLlBamKHVKdIL+pl<=+c0i8blbC*cRlm-A9pk< zmf~d!xyL)TbBea|WImifEmxmvi=Dn4wEi<-&t6;;dU;%MJz^+|UkA#(e81pdHpb(* z-46Sq$yCrV8!<;~Y`#4l|L`ZOS2q@>X}a{~4eVLd_(9*J4s_>d9qxDcv8^tJriODc z)^`5(R~?xxFpf_EMId5PMLE2!4hJNtay6mNln{`}iW{PW&X0;yD0F}t+Pxcv7W$%~ z1kT%SPVt+NRVX2`DmsX@nYGOSI9$Iag{VF)icfkaVV}nAce2Q6puOq0%7CW$0(5m@ zIP9A0{M|~Hh*o5`GGCYtS?3Q{me#yR6}K6ba!MbaAxgFKvw`uk3YpkOn{U*a0$=iS z)w=O3$yQ_5QwFQ-4$7NsA{J19AiEigjjZTfsm@P31Z-6${)$b5cw(Ho!1#bwnT`ie zx4s^>MhXlgUVLEOadcZ^f`!1^Vh=)-8?(8!VpKse( zytxMRrQn~xZ<9^9(iwiucy({XB^%f%yP3L|m}lN>xv6Qg;D0vViPqN$dR(7nnvBuc z2*~7F&P~}%$Yzw}`lRf;$DHlgpV3=juCJNpx3L^HD%45EGF1FSW4kSfLG8w96{;?> zk0lY$3c>niWmL8GE9{Z@emY%=E;(O>AeaWs-)N_3Cdyy=knZF+%@j>b9R(kcsqUY+ zdy#t>lmB0>QEPLj{~)NvM_gg}Y3{SK=%N6ChlVOF1V=3a1Yz><^KkP(;87(2(0}8~ z5EQ^BA#OSxLI z$jAfMGLB53QVd&M8ei0*=mB)u+3bkHn&%Yxfff^qLLFO8z>nf8WG+kcCxT%CcP-K^ z%|-rIIOg*v>5w;hqOI)Xs3viCX6OUlZ;68_4io*`Lk5x%BYho9r%msl_q~5-4CS;~;1w~kyVRDC~tjeR5pZ2is z5Zj<9#3X2jb8eE>bbQQWFvDG!RC%EWV_lX`MlWRNw}*DpN(LE)zFJ8|T?&gYU{dEs zm&-zL>p)Y_t;73-3DzdIH772OJl`SUevM{bz?k!Trjw8>m+0U?z>=vq0wPaLApSEz zMiSH?T-qkXB;A7bHo&2E9KB+Y@+{|hL#jn|0D#sz12vKxhp;aQ_$mw3<}I}Y6V9!! z{UpBw_?%XZw8-WlX_sk#^1nEM*uNCLg!Ij@k-uT*W%uuA?6ruJ3+#n*zi2;ihSr2R zm<;OGV=a1ZYV0RU8MO2D+@9oy-BAFxolx$KjXuYEe26#tJ9+TNyN7U;GJ4)XTHug~ zJehjB-{&Ydk~*Y3Fnyi+DEv7Q(SB#@DcJ1ua$?bEOX;wO%lND45kbue-OJmSX2t!C zsDIjA3vP!3JQ%A3`FZN!$|BJm*A&H{J?t07#r;2FlnGEMMjTQM320J1WgI#Ne z+@AX0e3HGY{mX8QadRK_C~1m(P{Akj3=Js4XwsQunUI;P#V_jp>r9OQ&W?*%5z^71 za!dZODl&+h&dD*Xk7}>Kxp-&FP|A!+-bTV}K9{`NZSkot@-O;_efKT~EYZNf*k2{_ zeNc; zc+Q+Uj^B}IB87iLLvfuszKb-LUsX**clJUQLqU241SA$wm!No<*^w(qdWg`uKb9-- zf5kW*N}r%vDm^wYD+HKIUD4*Qo`^)v*E@+CyDh`tBSgAi^+t08V2dvuGP9A0QIqxa zgL>AZbC}j`LUFmM5*#U-VKc}!B!PH^#CbS&edIAzt<74}h+;J6coI{I=H*);_lo|e z&idwbL-XjnIPHLgUaW=rrW0!%Kq5Sof$8xq@2H9*Sa`n+=_2b~vB7KXE@kM? zowO@yhyLQcM6G6NuO_DO3!qM-`0r?Z`+xEnjG#eozP?m8-6c$~-&4VJ_3Hz;BzQ-} ztsIiZj2O1=>}at~lWD##7g9P#VV-eJXou2YHgGQa6VWz8{Xq*x!{jQ% zu?DWOP#)qMS4J;{q|8jDac`u6_T0lNnqg&Yp5*VanNx-j)W~rBZVRVC$2% z5I5ANvcx4Fk z!gWe*%8WEQzvPQl=BfOusV_sSS{jrbgY0HhSyd6RVDy*;S~t+6CxBW+u{PmjW!U?{ zj2gS5jum?5PFF!rN@9B!v5UO76(s547+hcRnX!nZn8Hu7)h^lf0&~>%WM`of{q+-r7l}d=#;5pw}$v7IK5ZtTV{L1 zf1T2JDyo-OgHacP{0P$e5E@JE9F2OJPRYsZqQo(tsT!8Zcra+@MJNA9*#xLRK;F2R zf2cD1o4K1np{UC4SOnLrv?$CX?=5xNp}Zr^$*6pFV^tcYMkhaMR8#GW+7;`Lq*#>~ zNi!E0RdfiqS*Rr)xKbYUOQ1&LKSwnN=wihV&UMW7e&@6MusXKklC@zjlg3=!bH|%C z=gkJ-@AwLGKF|G?LM;#H--%L5T4j96m*N&S(LL0R%v){jP?>ac3d`(GW7X%uTZaj9 z&@(jQYX}S0hbLRv)4b`@=Z$e1#1qxFT!T}4#JaaYK9cU%;{Cu9em>B}ZqkE4;oF?K zOfd^K8Cp_3%Gus5M=a4H{2E}jS8*?P^i-W!UW0@$yO?jA(l(kpmg}1EY{B;e%!oD6 zocGECV&N%a1nQi-hi629oVm)fgl+Fz)TV2A!6DHp+>K}yyNg`k8Sf+7-(Yo)6Im^& zfAB8-BJZ^;E|$Z!%V1O!zr!Pz3*BK83x08y{wTdXj`JW{?4G%}sJ0VRbdhN?y6bWI zJr8n`w&dUROAYR>4lAbH4O$v!9=5Aj-4$!o&^>pQ*X1w1u}E5;2qH)D!fqv>auB=l zZzZRzK$pFf7TGJ?fMLx0&41PX3KD^UQ6WR9MDLit_k^wK4}@>hgX+9*lGm^o`c{-Y zb*8P!{DwGX9`+tA&vXajghtsO3%K+o7`a@=M03QZ|NVs_;AA-#n)l0J_Nk3Gz$Dbv zK5i%8ny?L{rH8)RE_9p`X6PBrM(ud|Goi~giG0_CsFVz~Z0$gTKtFLroZZ5*M2;8T z%m)(hw!KS7FN%QmxwIM=+JjOM-0ZuEi&6Jfk1VEV{oB{>hbxwGVb5SUs~GirtO4+o z)%MQIk@4C?;FQM*pm8lr-m-X*inH6{`&p~y3}psFM0wvS#s4$x=NEBt`9jDJyJHh$ z6XEhJ#=|W#9BL2#nt3~3|MPV%BSYulE7ep(_B+AMbQXu&_nD%8u**xJ0M)Oh^w+9& zqbsHR)%#~zA(3;VN}5Yd${6 zz&cyLTFj{d$}-hy0&P%cujW)A}j>2y*{n4s0YjY3%86P>1}H_up6gEgO` zGTY}i!EVU@x;zd%Z=Dt$jkt`HO#P8OT;@_NMF!ZFTZO@vm3^7sH_vy4hxalbR<#P0 zZf?3}4sQ+8q<{4H`_|7&;?|8oZP>1fuADAzxKvXHaLu6 zEaGtdLfs1{#{V%O3@UAjWw&u@=hL4-ON~^>_r;2J9BTwn*NJ5w3Fl+=iQ!_tAtUGM z$ZP1I5My(%(Yv%__X+5Aj4%8(eKm$Bt>-13{uMJ0*ikdzy?Z<)CKOEhp$JU@;xdC0 zH&3e$(>Uy;!mL?Jah^npTc#ax(bxx2qt`mlD+t1tw3%&FOHXO4XeCD&TEG#D^^|v4g zr#60EX$`28EQAOEH1wwn80_rAE}hme$SY+-O6G- zH38FCX#R-fC8N_$Z8H_?6Z|yo#se(cpPecr?yu8T5caay8P_VT2WNYB=#Jvo?w+4p z)Pg-v-l|*}UZK(3Tds>WQtx-w?O9;`s>b^_1@Wz&M^!cI*UafZZ}~j_wZ7N;ufp`x zTopRdQ4{%-v(FU*H3SKoI4C_@4IK-~4MxL_i&OtN(COokU>1nI~V=i;~BU zA_HJ7G?>a4#0A;KVVApg%NE?V68gH9CDO|B!!%-{W5M@qoG19MW6!@WyHHWz;{7cfW9@FQJf z30sYuz>OO%`a7!1cN7j7_lv>rxW;4P=rDiNw;S{!_KMPw3rVgEDG9s|dc02VnBQxG z%MkF}-*?J?MymZ{|IiM$_gOF7w!bdu`B5!7P~@wotbk}QDnQDZ+V7qX=*l-YousBZ zM;}QX`2(-06i$1zz(TajamA+nDm&gUfl#IXFC(K>Qna3C6qjZ%O>c!fkJ~3M31|Rp YZ-b% zx1g3TA(6=xM8s$r=~!XNW)=olV3?R=k@YXO%0Bl9k+c4hIyEle7 z8XNPzzX8j^miiu2dAZ5M5#nF>?=nln=&Oq@fX= z?Vj=h#3RO6g-Q^u5gqMw@0-BexIR>>5EWv{APqrWJA%P~V`S1d<8<*pTJy!J zdVJRbz}n~naMgo)?b^m|MEzKPbdG=~l03cwXr0%x&?1w4L3#6}H8DCDB%5%MJoeE2 zOxzRZ!w~k=XTt-C=hVG?;R>DefT1i2u-}HFc~=lvrKERHwQzMbreZUZNE~0v!TIqc z-%98OjVw>^WkXm>HxDx4u{Ysm*Ys&fg80K~s6^m0KR9nc6B`8D5@WYj(0{8)0p_ot z)e0p;l@{c6A4aUu0t1L^kuuXPX~nz|it0T0ILyebGAt^a&{D414bL4~KtpkTX=6Jg zhFqnp9_P}cbM}C=KMy>Fj(DJAOi(P8viNF2S)`SjU_E27K04VI*;NV}e#2_?llR(I&&>eJNkIuE=Wp)G(BFxj z>MdPJ=>tI;XU#@BcMm;tcLj`rIH{h0H;OkK(%&GwUwgfb;mZ4ffAvfPyxiVXc9d&zw1YNMpZ(60J`R^b|SZeH>6^`_HY zc4alZ^sLm%eo@FD4mPR0S14ft5^vF)TMgC4tvz1jmvbx-(4#AX; z)XDD#j@y528Q37!V~!P0YUhhl`@$GRD7#s_bKB>FXn$6;-I&Vn(kGGkggKD1_WF}7 zMLK!x$WblP5%;?S6_3vZ+g#}^Q?gQQo{Q{&lNzt;Vvh(7Xj0ONNYgo-U;jzB-6=K* z&Iq_-m`HA41_Vb+uDNV}S4Wn(Ru~2n7t|RYOC`!TM$#}A0;?5H`H^!~dHj7Yv}KJg zql9dqQE%o*`OIMtJKb8^13`G=SE7@8q72*|tHvKZGlv+Upmn~sUw^*?cOz&Dcj%u1 zhl_%wlvl&;oThwE;BAfZ=J)g2hefh5B5%aadhl~~_lcj^v(+}+d!A_2=A1RnkJKXA z$sytlq;sC7w*AD_a-*Vu*}&He^Yx?g{hF84SP|K|n24$xPP?)IAtyuy$3F(RKyAYbkOnByom+8WRS= zCP(sK{z!Te$z{(LwEjG&z>p~OHaI#G_jo*Y+bPT&NcPO&)^DPC!3+v3vY4e2|GnRA z`w=|DQho_Dn^xgF8jYL~#-DC~iCw|2PdIfL2C2@0D$RN))X1i@hv2GL@UlsBKHh&`*1ekt|EX`Z@>o4<_$ll93}bN7(Ke2_uvC|>6CuM$k1 zX>&e6D{)x06=Ow@=8z$lO=HCGt1F4eC0RNM?8G|UuBJT~dmo1%LnIjSQvZ4d)wZK_ z45l?qAyvdvqM{(tBgQwh)rz!xyvmD4FiLiI=6{w`$`|*D33b_B@`6x0wff!;g0V5k z2b8Smal(HPm>2tkJDLiVi4V@StK~4LAY(QGC3Sr*`ud_5){B$($c?(LqD~E2!qjW5 zzp1pq{-Wf=ODv1|Ez}QqCJ-y;G@KL9L!)P2#Xz8I{R zxGqf{6Oz0*aj8Vfn~n2RHWo&494u zDi4;+6Q*rXuG_17ScyY8D1``M-^;rPXIb?_3~wy>ndi578KU_>rNq;w2RaRNtRC2w zsTrEMV3yw4^LRHH?!4-!h7)5#D_|XFUsxi(ykPvb@ZIv~cm9#TPg3d@8T{dw5sd{_ zF~=aIt*r3}O1PhsFxMf;(`gLhftJl;n1H^02GW-rWmaO%gKoe1A9hfU9?Tspi~ zLawWb+C*z&r$$1?3BQW)!8DACt+A7{qltmd|CF7fB@8nsAsPeW{}c}o484qrt(mhq zAqyK@vf@1GZy-^b+i8Ok>FQd&M1&dni0HvQb0v^sA5AS;`XAX;F?cV${VzQq?<6fH zx1%%_n(eMGJI$-&&CPrjbh}b(ZbjK(DVGKulf~z_FpQYOH#zV_m;P3TgZgc@ealhF zu*c}r)2muM>Z#L`1=jRu6&F+N1*YS}H z_M2J%D5S?O%{S%g*01Ulyi9Kf7G1Wt3ikf`A3JM31#3;hQ{wPEq|S@4BbyBEYGEhr z$~_<%%s>nbgD0jk$Mo;`Zqs%MUhM1Q`*Iz#2BSIX%YPTY>@u59G;%}!I+doH{S`%} zjQ5LGpK*~pffJ)=z=#-$ZzD3fT}GZh{%F%bXmSs6RN&C&bT)3{5*zU2gg}+H?tPM} zb$cNC*UPwndbrNaCCKCmvR=ht>!uSS__{)Y5D#iapbv&>Jf zj*LeMC572w){YT&n5Bwf%=o%!S81o5gwo{SWc`v2k#*Ir{R+)CqdQu5xD)ErE#|JMObgp7;~9PIyRnF$&GPZBaRF|jZuBcp** z0u2x<>8BX15yB45LO2`HS2KH8SMWpvF(AF0xdOGsqT%h0gF4~pu9QkS5)PDqF7lb3 z%#OCc_0HebmZa*YSC4t#JFfWUg* z#KiOs4wru67ZGpyDFAtZ&eur{TK*xa5B2eA53-T50W`mtzqyi7UPK!rVO^Z;fcv=% z8Z3cOm+*q;&=vQco}G>%fb`M;0IJ{ErFtZ?Tk(4G?L{6?A>j+Mqs$ z@6#`=AdSyZf^B}>GiZh*j|KvE-}C3=YoI6^q24)Q)$>#MdmkOF5xyWXvS8&4`}MjY zAt9flC)ht5v!}Oz8h+;pI6{Z~dFKTB@zov;`SUFqp$f1>H&BZL+2udv<17A_`1?H$ zHUZH7gx%@(Eal|m!u+BCHGD#@{h_@xOn>!l*8Z({_kDb~t@Bka_N^!CX#4a89Hf4e zegJobP$iwqdJ*EsZLNH^|H}6F>3Y7B%Mf3kTnce7X}{TvPhdQN4G77U#?S3&cdPlTF`# z(MlIz5Cn}Y->`gP4lhuS{9&)^$HSEnTwhL4B+s|H-|E1dV&**m>9A8K{^aFLwMEM- zh`>wtPQFqy0E3^{y5g^G{Uz#lvHLdt5N)Z=i~F7EgLeIec;KFJ{0Q|y@9Dd_b2BV` z7Y*U_Fa_KYurq=0L4z96O>p^%3fu4pHtBlDc%Ajua#HaP)|6(C_3hS!*g3rihG$JE zW&Y}b=>}qC@Gpk+)?!TffYz6fDYNQQ4Bk9W#rngc=OrFNE5mvSC!dT4y9#~zx+CUC zR4RnbWUVgOsV)z}zaz3Ccv5hjQ?^1a*zO|g_?>rItl8sT2*J~~mbR*}lt!CLvW^2M zU5wCFS*9b6BWXm%qE3f7L;7SqPXpc*1+U#@c3>8Bw}91l=!#@2YD)3Q`8&-8|ES9Q6VZ-IA5XMsRk=el;t1+-4xZ%A z*?^t341Un<){D&Wjew9D?mx>I1eO6C;dt7xr?Z{TF9ALDUH?q*z4^HmXi}5)-RN>D zysZ{QUd!v}9wK^-$$_RSJwp=jbf=|NX8<;{nT9z?W}s+2jMAl7p^I``WcJql*qcFa z?LC9cMDWG1MF^d7h4CR?-v#=oN(@Tsu*fQwfw!7hsUR)WA8tjiSM2j(lg5NYt!?PR zy4!vR2kSn8qESxaZ$1=S0rGP~gRybTHZ6{avg}+n(_k5h-v|nj0T(w>^iJWtScnISOG@ zAIW8-7Mhw$9M{@#+@b9ii^=pd*3$ReofFG~tXQ;@3>t?$G%Y+6D<=PHc#&Y8x|3aq zU81eK=GO8deG5*)^Nr^bUzsXna|5V6oP^A6G3y(JjCeL`7vftpFSw2MPT2R{;-e+a zbmt?>W*zA3Uzj*Bf%wKmTj^=U63qT5w9^h|%VHeyJA6?cI$CT8o)b;1kzT8dBaP&F?MU=eX*q5eVDc{tMLqbR}Xc z{d7em6AB>`?rwNXk-d=;N(aP4?-V>R$+_q3PBWuIQ7ncmN|SwHmOEyDgur5Fz9pK{ z4W`#!x(oM>JkCVU2W2VbaV|JC)K}R$`|MK_7wJjN#WU`e$eor+r7!8J$T^gi5AjV{ zRZKrFJG9gAWT|eK?~+TF-9ec!z}%q+Sm$@W*0QYL{>s$pNChsXQ?qb?xrIM7 zUkB5peG2`}uC;!eR79M)(2{5(Gr+nn&v}?^+X;egobt&yMTp(sFx+Q(i?x=Hb)ZZ! zW}AGHdlO4MelIuhaZ8likdO7cyJm#|>+Vu*ihcpwp^lNJO1nIi?r7sehNM=sg^Zfl z5QVF99`claxcE>fQUa}f=-#OQ^tFk9MsWNJ!h4HEe0)7*4a5ch(USL8?dX}P@%ffe zD_+VAwCqj$5z8bIXHN=RLNt%*Ai8U^m>0}8BmiCrCVR^^<)jsU*u7yHI?6=zd}u{|3m z=`YRN4s@_CrUeWi;J}or=FVRi#W8A!b8Z z)U)o;#{xDWdYZ;G2usmwr~byfCe1|Im5BkkJVV@(XN;O>%EPQ5jn%!Cu<`V9>@Oyg zOgJzwnnljBpM*_(goUqS9-?+$dG3-~B5utq&T1271Cl0p?}=c}UGA2Coaue{9JlGXy zQWx%4qGViEiJ_8Hhj1^QD2ra8!qL18Gvph|T}WDpHWB1aBZ&Q;A7Q#`Ss*7S`%-q+ zt_~<(0|YI$!sf*?U>z0J;ya{v{5*0a2c|E652w_Zc4oxUjL8LvlFb^Cv7tgu%pR*q zp|Srs5Z?TYCQ@6EAlTPnZn@&C&J?dRWHaoGhXaa8Ajwmc@*KeaP2TFJ+sSGnTR^Vzc7Xdkhb>0VyC(KbGv3&z@b#XN<7ptO}9Mk7DkV zRiMax9pQV*Xpb8)%b!?@tF}c+RdnThz!rQZn#8VeesAc&ZLdq*m!^(QuqCfmB{{u8 zOscE(3bLa=E-5;M`yzk$Yu%d^Qn=3bhS3ka$ipbsI@fgSgjpeeY^dlKmP|nT=7`v+hwPq?`svie%Ecu7p zHvS;FVw|9KWq#FUyUYH zmQrb27E`@yS1Y0U0THInAwTX=hm>6nfEIR?t@O_IQi!?i51^s^r;w_!7rq_IsEhDt z@pRnR*QO&=QYy7VHiP+=RRu{-esTxaz8QpGeo-CbxZlf9p_DF}@GRXf;?JnMY>n}fn_;Tcd^04#N^ zqb`vPam!J4=8YYse$Bbk){9k~_8=D?Kj!mj0bZ-TWAr>SDwDTVgn7PM9tKKzg}M*5 z7gv&I8IRqTfRTH1CFIhIcDnn1@zeZ)4x+q8gfvd~lrr~Mc#c|2w9;0PO{aSxwu8iH>IK1q6;mm_iAaB!IrtPw!a><1V1nt;-k2p1 zyb7FdRHxCir0je^eY}OT&}Y_bP5Zr^dI0KkR8}EIW643oCxIx@KZZfa^=ar&*#rhE*++J2Dx}oaXpfVjul19 zAhemy=fwZ=; zY&R&^4u0@BeO-ys*(!lN0S5C|H4Jb#SXnas8L{>TDV?hnS61u+y)NX16m#%4Ycnrd zK}PXGq-BP&PLahK&G?w&!%D*^a4?=K3w3zd@1AkyZ*$D%A<6axe9U_Xxp9&*brKr;)9#zH46 zC9A7hVKXtK*E6`TDW*FB7EVbYXf()#8(QFe>-vlVUe4hJyhyW;6rQm+pn+Pj2KEvD zapc9$gBP=u|6zMxxz`DEtkQ0Ln{e~VjtfF^wRDqmwqydapI`QH?MQfFYV({N|2jkP zh`%1M>+G6ziYT$E7u9$BOFKyIlUXK)XgOA0xoDzRJUoRsy_hiT$PW`$L|U59fHNKE zZngfJQP&3rI2~`SetBGlXdr8-pP}34DaABdbSx5?No!x|Qs<}$p?oSkWk}i|+-)tT z9G>P?VsYoUc{3x_yBKE`zi9Q~W-lU%hWltgbJZ36>DXSHOD)IS$TJ<1j^g==rm1c@ zT2L@d+M!!eo{mVI*L2rO(t)li|7A|po|$ikJ*LACl)8G^^x_NQqQ zyJ1b~*6zi#<5bmnj$hPoG85MYgvP45b{md?Dq5yA=g55hKuB{JykmU-yJC7X7Z_>J zLQi<6p6#9~J@n3ZDQ~RFy>LOej6zSjHyj^o@Zyasd|8T1KUm4?WAJxZip40aZ2Mz5 z4s^>J_|*=YuFgolYR@hmx`;X}Z61H1eE-xhfg&T$c^}GBv)TG*$oXN>X{EeF@5+gk znTF?dRBwLEr?{BA2e~Edrj@_1g?3xFx{N*6iGO)>xp?U8X9NF$@r?*;Q&r{=|Id2# z8+y`&p)_*MJn#3Vi7DN;`B+Tddlaz6Pp2dY08*p#D?+=73+bN*I{#!jlYWew$NG11 ztkb&S>7G-Gp{@p!w_?)+W+t54bWGiJ5xdFyZyK}d+|`hfDlf5Lzde4=7a^p_3VJC2 zgbqJr4;B2UdR$4f^mFE&d_ox#fs|~s3)iR|kqgpqUO;Y)!5-Yg87YWv%<4%Rr1VZSdPcB+zK4sf*WkhpZRW(n_?J~oi*uArE2^jBf$dpe+cDNZ zjv~yL5qY~WYu*X|rg3Q@mHm>ah2UZcH=*+~ZP#PvGowOs-?(8SKakzrQ9C!{YR&QU zLLt+T*~n0SkQa>s%4hMpHkIHP4>q`%98hqLux`6-{w}*kKq=~GB-;`oKDhuy|4DBo z^Hi!++P}`s-P@HL-f?VlVxsb-^?AB3NWjlFW4Yb}%6^ zmWN}6%4Wz!(IX6XYz#=NSq_IJU{8*PCw24_H_ZPH$0q(P< zei^nXE}L!6wj@_<>RChGK`;D-{H;wIb2Yp1U7^g~eqJ}JrGA`GXF;NC-mKxXLSr5# z=scOo{m8Xhw#vhAz;pL{nrks(idOi*HrWnnxzD zQyH$LX%(VHyO8Nqh#{sH_Z?Fh0T7VgEi^O>gcV&dr>=zykj0hc+Z1t1PQkXz5imyn zyK<#xJN<{@jsvG(xt4RoszD78V>L2l;ZeoFSgWvbPsYl_?vz=v>3rpJaU2m`Q4;fm zm3hdJU3B~YT%jpgvucj(4-GQSfSWXv&BOlKo$Ws=ooFYQKdY_jAZNGx^8l|yYYTpD z*DQIA0miE9;a2!_+i(@f9zFtONGwNwh;n7;efUXDTMI7GJOKe6cMh&gKmuBz* zE$a))bNS@!(<8UwY+~I5QN&V{z+;^n>K{Wy!7~)=5>F_P&FhI)JCPqZaw=>&ohnlS z{ET(3D`dlJ2x{%vmPLHfu>fBS1U|dm0|`ys#bmgzE$`oP0TEP>**q9^D!fWLNJG_J zy3|kKA%{e3OyO*a)IVH&73E032oy>~E6u@pE0DGwDbp>CMKm$E14n;5pyIGRUKoyQ zr}@IgdM=@0KL0(zAf*m(9}r(xBsJ~e*4PcE!lE2u*v@FeGlx1*tN@zBjmv1B1e%a= zlBCExZZ0udwdH%t&T6g`?o;WFC|XB0sL+N;4Goij)^6vIu{-|tdEG^~Amyxeeh3!+ zs|^|^x~;4emMK5P^I6EJ9@(F+#ba5m+Fe&tqJ7nG=aow$BPjE_jnTd4o-K0ZRpUgE% ze)mmyw*l{CK#vhkkgaKE*ZPfgvy-WA&98HvW3!%y!`udBo8iJl_>7$+5k^y(V!ryg zLr+8(T?$5O_!Xxn)vmC~YIYPzUO0DQjf~T*9k8e_bY~hzZvm#T51PW>7T+iKxL1RB z77*p1$998Ip+vJ6^7xFGnLjdeYK8C`GFn`_5Ojb>AeFD4m8-Oou!P8cw3wjEj+f@f_d3=#m-E;5XrdW=I+=DJ;G^lrfX zOww8-2$Z+$m)Z~vsmYV{Zik+KP=q>3$Gbg07^wN6I8l)6Anor9?j%%Xa(-@bTq7mK zvf^WI*EC9#_CTZqvxr-YQ2R>D@J?Mw7;LO#{e5wgyzd&)1v3E+4bB|@0QczXOrn3Oafay)8;=LR*>pqAah+9In^m&&ZF<$3&2d*bWY=pr2h z2DPmK`h`;-Ng)OIGIDK_Yx*fjY#Xq{AHZZ_GXt<}$fy685K)%5Cve;vdl<5*Wcl8} zCLT^>?8{JEk4JfVvqQkrnIcV}Dc50z)jO=#UD4jv?K4c( zhV;!XGkD~VX%kahY#wjXbQW$2@?XIHx(oB-m1H%J`*@KPdYK_;nmpWef_g?5SxvEB zPX^E?kzM+7K3?9*BdnT4{~@yMNy$+=$=wf1F*q#0lOMPn zAyq{AsZHn=melc-A(Ajpz$ho?4tYBsXH=s&+hX1o9C$pv#5;$SwmxI)og?h{tRTKU z?^?J0r&T9fBD8RHLzdA!U)3yXbpo93co?9w*#c~fOBWFoK8o_@HAFBz!iT9-`XT*) zc3QWk)k7XOmWn2FYd6?L^50$Td(^vXf6N~doNY6or{Ugc4L`fpXQr+$l)BeQO>G4f zO=i|!n53X=i?r<&h};+F5$@HNXskdLmZ$w%k7t35>VQ87^`@{9caKWiK8MzeH;IOj`wNH*r|Ndk5-EpU<_`2DMW{;~LRr%KKS_E%0G{rzYDl`FmsRP5zPgi4~0=_S4j$_A}Va;dl3E{rtSc)0Ss9#a3RIP?3_J;)1O z47*GdKyuhP;x{8D7ka(LniUkF}ANrlG_`G^|PTT?;AHd%3RLQ%AbYywv^fnS7s>U zf$DmpXHuI*N7hPjG2>!1^Gh(Fv^e~JFHmYN`nD}f#=W7NE@k}HbkTrcd(C92bZ2A4 zCiU-W!&Z#6eDB6Q3;x=%G=Qj2+-7+TLabIh zGNde2ox-~tU|1Vp+Ao*wOR!GmTu1Ai7pEDMQ?rFXr?%HLYA}?O&Yd?*1hlG4mi?jZyr2lCXeKL zyFMGbM&7JAtLoZ{@$BRF*5Jqvj7iTU{g}IGa6w?X9@@n6@uMtT}*;om~OA;>8 zQIj(R5tG?Ikhw2z2Bu}YvCIFhs?Y01Kd~Iytxm#O{7Pczt{aj?MR~are092we4Nu_ z37k_OK{alyq3>z`{5KYy^7t6b4BLrn@G6-Xp?4{TY%H?Y;)iV13EWv)**j5tXu0ON{@>s*DU zo?XBe!sS}q(Y-=NL?JT0P$ngHQtVxgJ~d7f)uu+5k1x}kKV-l?W{#6h1FFRBjfeU- zo~7K1aSF*41<34jvAphd@=%b^@I_1)k(JLwEdOoA|Fa}7ZBgZA?!eghQ+EBH<%y*! zTUdE#CYVW~5PDY>Gzy7BIi+=xjO9lIaT&VA9OE7=QgBJM+wYRv!UOPnh1#Nh>sa}%k>spQaB-UCwkX_!$JW7=sl)7g>9>AzT9ZQrLzs#te? zrtBE|s{u~DeOTI$!OmO0rKvqEij0yV5g03w(;aV<<@cPygXS`<*o?sqNC~=!zZSXs z;H>AJf`{AOIeatCMXP7zP4Go#T9+EeqK8>dc3UTgI8wT|adyIUa?npz#zV}k-r>Em zVDs~}C>_f@=GvdwAGsC{Yj$O`R%G38oY~`a2tYUP={)YaRW+4~nS%%MOTHeJBH05x zRD+k#Zn04NlG314)I0laz>-7`s#&Y(nQgxod}oWpUP|_)==D~VmyT$mLwQ&OqKi{y zm=_l>@37F#9Ipud-2R7nWCInh8&W7-L<5q&lZgCqLcnFUMbS|VCZZmd0 z2GyKbk2~w??pp zrF)q~qIdR5g^H+p*H_I8)Et^-vtB;MBr@xh!Dw89^V=G0d2ZGYOI#Z{?D|(*)fO&~ zl;A=RPU_3)g%5hF-Bfh(ln;@zZ&v9kNP*s1W{@^#-K4Z&I$}==65LkpGn#`5l#AYWxcY=M=twWXLh9>FEFzj-% zyLgXO_xHeBP@ZK5UpF3i>EvL!^Cn{I!Ao{)fuCjOb@nYAr>F;MOeX0Z@FHwI16H{* z7Ou|tme7ezJh(KeStm0kQJH2PK$lhr%f`Pq=3uVYOs?0aZoigajAM4YhwwAuzm$A} zsyBlw2J~y1V{u(^G$rrkHr-1hrbcLUix8Kru1b&o{ifT4l$lK(L<7CprQAkj=e+)l zW7gGqrY;p|dTloJ8e@ijpaT=E+ib=N?2B`se3kj}JNE|++SRjqi8t0Y0j%FF^Ed#~ z$lns(wcrFvCk73WG9dYmjnpLt5ARws;S{`EA}Z{6A-hHDA#W!mhX4L^yB2Ff)0y8_ z4=vHtJ|=zQOr#uX%Tj68l>>aCH|Y)Ttzl?7OTCD$M5+Bv^_FY}70W(W7?Ns1`Fsj^ zwyhUwjdBNi5BI)qJ5Fu_puN?nL+-3?gzkKX=H&>0nQ3By?ox7h;_4!k*&~ z7f=?wJLVNY^e$D{XsvBAUraRoKd?&+I=arJ9p+ytST?Sa=;Yil7-b5upKBoZk3z%9 z#YS3pom~1X>~5y_S;~aF>c5p*is5z&eg_)*ita7>5kFW0u{WqRD&|uJC+Z24vUUU@ z2{-wgt`-Rc$+vD=FHFd37+B}TAj9)CC{ zH33v$?0fzYCNq=y0p?EmQG}SP(Z&*=!2(NEd~1aiB~SJaD-Zq(uE^E9Z|`bx>fjt_P&q_Ul!$ zAYGiFdsy8TEOhzlA48Ms<^98ER^MrNlo8K%Q7w(7^em4;D^_UvD|;DDIMr#+7ZSKu zIH(f1mwIcvEjpgmqdj6~#;-!PcR?0~3UFE`x_ngtxd%tK_Y)ykxjrR;Ty|-LjU$5|{1{zDui|8_x z;Yt!vNBAP$*C^oVI7R;?f!59j{op_#|43!WaMoYv0xhqpn5kQ0jV#k-xP8V-^__6? z{KD9lM`cbS7O)=y2C2-%{|UapN^%n)g$a5EiLB!peKW>dV5YEa({RF$ z$It?wa`!eMq@>KVcnknKeVv(S#m zU>BlbL^N<+n#V!GtvT`;r2C`b7zP(FR?{RqXvq4L>ci*wilcl{+MqlpW`D9lB-bH; ztpGXg?TMoXt-eOk8$v3+BMwv@hwz$yp_QNC_K#>F7_zB$i(I-J(*@PY5^{rx=JO>W zTIzwb0;O_&fGO5$-7YD_@5gFNy0v<~h+!#G{k>sHcy$5ac{=?2Te9gAJNnc$1YL-L zd%u86u5{u44We?Sdkr^O@tMl&=XZO8S`@MI|9r~I)f;V5CMW!{WB{b+~A_4OZy`h#h#a` z(2>RdRaYcuIdn_9_eF#!QORE*FOcL|7)|c+54h!fOVqN5;fP^e5d8i--R|; zN)!cYKX^b1HUwY&@L+XWOx639F+#hbq zVmQPiad)8p#iFK6I6&_sCEF0u8BU)eC6@kU`_%_C{z(Z5`cmicB9GSP#%c?Z13HB` zw3?T?R6&}+Rw>5}K5fSoGqf4;JEQghK{P*OVx3$RY!VIfOg!^|rTecp>opRdN}4sY zkZK)_8!ra51q%BSo+9C^pDrli5I*$keEfkf9yqsC+3|Jn<+}Hf_qhLswyll^NfLTb zW@nf*N%!Y4ipg=mNJ+%OV*9s7TFsUxdc{{sNk;Mz86q+p9rtMN8&`&8dztWwdQLI~ zqK06LWxuJ_8}TyI@j<77!YVvRfg_^)K2MM+rAnfzaMVcS4cR206XkD!p57{!wG#QS zH?g=n@oU>WV&mOKO3{chdDmwFhk)&Ima0QQK8vUP$h3Vjc8SYkn#%^eU_$dErIzW3 zdvK3Eslwb((HEo_%ckEMn-qqN2;RGsk6d?9xpj|5HRM($vgmUts{}tbPeL_~KBP37U0+tB7x!-b1YXu|k-WM9+^j zdhLswIUZ@+P__Qi4XWeio|2B<4g6QrZ{A~XAv?zq&YDLZkNkZAK38pEI(lEYweXL& z81r;oC2?mToX)_JAA+z?MUPab%d*vtwO4guDqHSV$*413{$N@Lgr2tKz`#V#r+viFAX$%m(D%STV_0BUfwm(>J~&`d+&dxeAbD@&XAXF z7`oFvPN(quTOlrrh7JuPzM3dDl`li4H4au{HEv^DS7XgyQ^M|~L$>Tf_UOV-lw3Qt z@x$8U-eqYc*Z~4=ffl8vT5N$O(l$3blC}PRAC05$%E}|lWC@d&K)C?p_ZE_}Q(ls^ zR10#QfwvNnOfDdB4Z-RSXDEeF4NXZN{UnGH-Is}r&G9iOQHQeA9FPl&;oU2C+(mF8 za6=PygTGzV^X2RNXwY%}>)I^ovo^)XKXqKBz)!N!!34|6gw^f5;&nlnN{RjC5c-;4;d1V@;GR!Py3FxJZ8F)Rhd$ z;gY!o$A-hFGHsAJzByYJCR`>xHCEfZ*pyVO-Vp8+Ti`8~p0d|<2!mW_3?J)|eEMbW zfKUbCyTN%+VH|_J{|K05LPt*c$!EJQrH%m-I);*=*XYg7vNi7(;JreJQ97F0@#SCZ zeXSx!Vf?SBxS1lGrE~mT(qKGZmdR`EAJLk~Bc}>lRy>8eYV*ZgCQfB3DCASrfu%G2 zBlX15?b4O-swDWU=Yv-N0K0ea58NjT$A8Iyr(a{T-Ztb2zY4+qbnXxobK;-Jadst5 zM_zPgN1EcQfEx5X)>D(LA$=wG`!c;+1*8udt?fTE zS{$tKxyb}Mak432E7#~0dsB{MOzc$i@l(;$E9cbe=`!mrB-!Dl=Ocj51O1*n>M90+ zu+3fu$Dl`UvfNHn5Dk(8^ZzZ7Tj<&7Bu*j-2bURI*O1K}CVomftt&9QWK}|}?pRq1 zOxPe;nUeA@c(js{1VTP2ZHg1z+Y&%&(%*oKW&27%h9&7qivTrc2%fD7uATI!uV({b zNrV5WhM}Pg4NUa8JY2{DN-*gyX?b!yI z$0+9x#&P{>-S6LXS5;sb>f+a8#F9N(yAF!3Z)l(Bi5coEkL&A;l9;z$3< z*dnp##NJ5t>0vz{__CM3$Nt$UgL?_5A;&xnV7ylDbcsB+pkh(wEF;v*za#)QUPS00 zq=Oy};;uuPYEs6KTE8B|4~SIO#?v9U;-5*T&FRg3R%nMv3AEK{udWN$w)|A(Wc6^S zLM|>zz7<4$DfH|#w@JuvJ!UD8A-lX%cCxK08tQe-g)!`mLo}@R&btv^HnSb877Hz; z@j`vuM571vGPRHXEMLrfi)8`Qg0PuI7c8Lz_u46>ylckq$qlZcMoO38)^AqxvA@9g`X=K8R=k$ zX%)QlE4u61)kU5oYN@NIo5h8~zh4mr_qY|-NN`@f2~Mki@>l1_JgEa3v#s)RP8#3i zv+$(9>EfJYJV_VSH%l>dwqaHH2Rl`jl93Npb$NX!FO=YlPNHICM5bCduZfk-F1hMK zKPvlA4#z8e^bd*g7-LSupii1)sAr$6dOIve{qMG!L^T}c>c*Me+Y=!P3C=wah)N#$ z64kUnFJiv?H5$9e50im<@LVb4z^`St<$1F&F>l6dupPQ=UV|>rhq16)SD6d4;euxP zE*^&yW23PfGigUz2}AMYlGrg?X@04|)ZU#Jm^IB_kPC{p$?G?ntG+Gnywk;m$J1X= zW`!vOBz`#f*vhVqr7|jih#Bt|fm#YO=nQ!ml#jL(!P422V|~CG#*ikOC7gaz@0d-+ zG4rV+ySE)txyzp>W`PclEF5RW!k=2Q{jc|$80-Y3psjkOIdI{c@s~grDB-?7qVqp8Oc(nH$ELa(=g*(_{M8^-%9bF^?Ccbq-5a2Ne+A5_ zm5n@oJ8H|xX0Ax`N^5Ba7JC<9PX1#L&{VvVs;Z)RA|mkd@!^L4(!n82Vf*|_8 zQnXfofQF$s!c}EeIfEE^)_222+UVf&0Uwc@k(JhwvV3q~iLHzRLK?sHKNSBP1e_RM znjD>74D4&`KFdXhy3P68Xl(7s&-Bfp8eCoeeNyu?Qk&(Rim!KKee-GJctRn1W&>bO z)Sk@u-C+z)PR1(D&5n*>QsJNL2g2a*;-;X^5H-wC7|Dvg*!Kl4FVvG*}s;J49%E6-59?4<=?uszrG9^aaKhbP)veI~j)`iC)AzU`D{cec5y5n1XT>)*Hk02b=|(Y#1a z%{8C$IF;I@6+Hh;rPQj5k^scyA30{GhHrXp(UVM#uPvO~ zeB^g}R6E0aAFdJ(p2|@5-E0wonPB=C7uFXL;}47yG#3{j1V_=TEMOjARzaWKWRU9HaycPpot^$eiN#0;?X zyb|01`G1nX1)dNoFmo~!OZ_YRvjpaP%nRs=Rtok%|B0mpqWWc@3Z3E zU?ZIPM(z9u#a&0nv@j&^ojzbpi zrE-owPCb8CFQ|NhyvQW)2Q~?mD?Py{8q^CJq zk3YOOs?}Ir`f_DSSkZ(q*uge7=-zIZtN%!0egYu}fvPJ)-hHP*8br zKE5)bAfMr(!og+)N0*L?-RhJ|wks!2hGNURSeJj<@|3>f>@abmQ%tscSG479VpoCV zJ{Wi^X!1USrow2{qKQzk#7Ju*vL9lPAOJ0BqCku+Ij|UeiNo5|8#CSbx`E!(&W&g! zPSDX4xNDKy=n-_hp+-Eh?l~^Ka4F+G7wLYyM`MeAabud}Fxq!Gp$xT(*-2()YInY;fqi&rlR# zH6pNbQJiiIC;!>08w^XJ$C}9?!}Bz~QF-KzQfuh=EZ{gSs@n<&eu5XrOJ_pq*0mjC zuNVwd;Jsma-SHi&%1mPBbyMedKsy zdwd?0%!MvN*9Hn=?j^0U`N+8plEcla_T8R3=f6vnF}>$=o*D8~V^ZXAh^WKY_$Jz7 zf4jdb&07YN@-a)3DjFWRY?O8lk4t~tTe#H^?VVwoY+J9RKb4;|7Gnq8{&nAvU5{FvHuq%mW1EBvsPm^Y zt0HuVVW7II(X$EEqlWljA-&Gyu-R`h98)jaRSMMa+po|l#+bT0zn~=sQ>N2z=TtOu zp{32bO1}$x(oB|+?GUe95UGG;O9iTe;8*dg3}}Fysc#4V5+t_$94CLjQa#IJfu?x0 z#(*BCHq4oV{nY9)lM+BJ*a2Q9`e~~$UBd*O(_q&oC%@uWhPT=j0al?umF5~@B~B8* z|8wc~if>Nx!VqDkdg;6ARP9#r5#q!b+l7Fg6plH|Yz|0W7?zc-mhT0LghV>q?&>$$ zySCj*zU0&zW9^7`7oC4gRe1!csQeV&#;`xDF>hqzhg>p44GBsn8<3a~vMFfs#vSi@CHW{Nwy_A!~zh??@vcU#UD;}3{LZ4C^dCjC}h>7BTRI%l_l@0&0}4P9@a zp$pr5qdnxKol{KFxwn)ssP^;uY`D6h>v+>DIme_JQ%c&{GE`Qju)ElMYvu!?77x^0 zFqY^f@O`If)N7mMR4OG$!b9m_{Q4}XI2K)zHa-~0cHxfgXI-I zMSbV`)~%moH&b*mh8%Z9TkV!olm8 zUMS?}e8GJD0R{-h1Y3K2bCnD%VyFmw%;Y#(mA3JZdMOMT;iLcyCQNDNRGe$ROkd$f z*ZdNeA!c>qfdtYB7oV(`Ou|Fzyj6~iyEH4z#@aQTey_Y_U|4$;fR7lAoWIHyQ0|MM z=)g-K^Q=8Mo$TtLb4 zyJ3GMPtqZhyMJK zGX>J~jNp<~xp}-pV-?TBA>yzXGvXc3pWvic{D%dzlE1J`smKTCFC(x#L`r1P*;jdU5EVjDCE<#rj)&J2oeaT8H^4s7Uq zxPsyd_A05TF$m08MYa4-8VB@URBgmEEp0lzURql)Jzt3R>%5oNg_amv11lae;MsrA zqCjTo6H>(Fn%NDVSELS(Yn&{C%j*~koqv`GBOh5z)hUsu#CQU#%})B#`#lR6gkMch zM>4;5&J-2DXq#xwv}hJG^l^8Sw7)x*t+*|ci|aQgFY_cOp-Z@=46ka5+Kt~ zQnky+!~E!8ReIKlNmg_$`a0%nDr(gEqi~lgCw{mwu$GIxT3eWEgz`8!l36Ajjv5}f z4lQ+_|Es;AxMO_$ju`7PCbG1Jg~77><8YR3>qq zQCGV0S9CNS>T0Vya9{vHk*KL=zJT2xWq7Y348Zf(zEJLzEL-Jd9Ma()p4_1*_0dAYWTJqQ@X`A~Jsw_(Eul8Y`Ud z01vsI`ODTp-}ob&1M0fC`wqN^qL^-ZNrUuhvdFq8Trze?sEf`_An7IF@=fzHgKSrO}^uNg*x{RuClEYKn}FxcGn$ zFS?d7mc_~0NN+T@LI!_PS0nGf1${zrg6Z27M&U9XI}KmUp+!7wL27R{6QP^pfwCVO zWKR`pwi2J=u;4&+Uv3!oE7gGoagT4Ks}cq*vH^b#VE_q?Fv3$lQM%6nw&$ism&{B| z?L=o0`4N6@$a=VKJ2=J4SCQeTIJbw1Dp;q>hzPWI;?83Bcr$--OE!ze1z73g3p&Ra zki@c_d5fmK&7EMz~0f}2I@c(JdcsmYm9eO1|IM190TiP#fh zn~;Gd`hK9T66k+@BmGG$;%aCt<8~@md@!E}omq`BnZ`~>hzZSilgExAyP{QdDKs&B zH1HNdYN6H)-w`Siw};DH7&EdoO<{u&4wzGx*$cdqxSH@7;X4Sq9PZ44^g=(pmTdh5I4=8Igxf+1C_h|?c3-9a_mvcs0U|^y3t@g z_}IEB!GVe@ZoqP^7l8xG;TgCxZ;+=tYo%{>bk>?bgHkb7R%_ijo1GATbv;H?ouAHkm?vc~n==dQtq!>+iSr1*sk7!Au}D zdK~xDSH#KmM+72^&R%FpP+RpE2lukq=mJ`lCK6?GZ~kGjFX|wmZhUPRG8`(B8Fycs z*C!*~?KbzDu*h#8hq?-y=Fs)4`ISWdLSNPmS=N8Y7HnQ`(a|VQN5SBZd4Ua*oJ+}& zWzy*nu{})6<^znKNp~>O&qO#|=Q;U6V%1$=miQEj@4Rt~iS`(QtUR}p)`=1K)c!VU z*^?{sl)^FPYbpYw_?=tw27XWa;bw9oZtYYand2iAfFF`FG)U(Qy{d6czUW7yo}&(Z zWmbO*v4OHe3PPE&r|6mY=5@pS8;>C@oAsrGR*TL>oU@SOYY-OA=XI$Uf z&O!qlBF2l^ZTx@my!GUXc{q|(@mgQj3qw5Bz)Tyds_3<9Lm)OV%y}qmW4($tB-tEz zp;h^Bx=E29Q*j~AC~!6b+>y2zrLhR%EO>v9Qkdk;aebDPpCwocU{c~jR6V5Z9sR@_ zn9iV|PH((!_l?apnNhA|rp? zk>4kL-VkX#i)le>N`UHHvzunme3`dzj@o4No`$siUY$A3R!JzwAO`fL>Cf6#1HO!0 z74|82dXHL~19_z7gviJ1bmm}<;?M9_5rX^0!7?J|VTCw(rvxgW!Jw^t_N7Rh*(~9x z!axi0EJpmhVYzzg7vq;s!g{9Ag&u#X{C?$NzeF8ks^vnd!O3UjhAP!G1RI?@E<_d? zdB^&^QRd`EdcsGYW6)+N!+yi!`_1RNl+3M=y)rPlWh*U3P`KfeH^hJL0z|5x+?|BL zx(g^}mYJ@spov?m@2im0&1xHtbD=S{xD{IVx3e*K|02q@@pTL>G#mkeTg`t_M<~Gn zC1i3Gyganfiqo;JilsFzSXr*BiL>@P@?Kz_=^zQlm-M zz3d$*VUr^@n(LD%D7pp(By=3?VcVK_3)?{N7NH7EEEa_Av=I5V3Ppb!&a^e|y+c-9 zYob&9{6Y;$`Z&E5Sf3rc_)J@bMK+Pha%g3kRUwk+?GABngs(4pJf?3-dlVQn8`~M$ z3`rC6^|7V)Kpu~&qdWY*Xi0Bs{0+)slxXcb{@Sin1Ga*$Oij1@8meSv(Kz&+a>O}) zwRfd$nxD3i;n>x%WsZN2GVt@D67}l!_wsyant7BRHq9`{C9*;|e03iJ`qq+qRpLY)?-}o`Jqm-ofF1u-#K}er#5<{SiJ2z z_zGT*L-{A)k%A!$|Es`zZGc;)ZiDR=l|%Q+JJdpu1#XtDIMRPFkCe9dfyGeTz}NuC z8?)6WEnD;iF)cSD^x}L;xDG-S7I`pW4Z=Yb4RC4cVarNoP0N$3L-;5|++GzmO-}`* z2&&L4LwtS*DJW+UJZmrn&wA!Xjhh+!Tq&j8xvq8PMqkZ$c-D<6%X?c>K3erBe|=&K z__aMA=mu`coK1huW6s-f+$Z2d9Nkge@Q()~;gUs(yk(naMiaf;y`x5V>5cot39vRe z@FHc@P1Nf=P_c%Elj~=j2bc6>OM%vGqp+j`7P1`iN zpjkn%th|W*mW#*FcMuy%6%+%}mTtEo6g`B(py6c5vB7_F3*=An+@^X;@FbE{B%AOf zyOocxw=Lm2zaS_22hh{zkU_k|An;=gGH6Ls_5<#@G<>xUjH-=bdxJlTEU__SOMHn?FJylT zu+POXuv5wIJYmcW&_aiY(6V)T{Sf+su?d+M|6SzAZ(VJo_U_bMm}&xgqZgFew5Zgi z%c&&dvT}Ogidz*8d1nq7GcpwGxce%PS|DygXHDE06*+?u!`&5vYkvx?5%%SHKxF>W zU2}heJ@bJj0Lk8ab`7YKw;f1o|7f?5zNuIb_O=p^?J?+~=tiS3_JC*u;%OS4m-Vhu zvM|71Ej8%GRnIa}I)lP`Sv-ApwG{9p=cYJ>AxJeFigp}Jhytl6I!SMMR=+>bM02Z% zxL9Gc%y9+7c<47%vUx(cZNi3q*F3DaSR8+Rvm^A8s58%H{WSr~!NM{ny*%C8Xq~M}R21vc>}FqWaAh{4@k3EQ3?1Oi z@^37M{evg5Fqi8^F3=gNs;9g)h_CWDQW-}b7ll7rLC&(Q&%0`T!-gEWF2WZ1iQa#m zPz2|?!_eCJ#l;bU-@yfTIr3$L{LEP{J&cp|jRgd(B_`S$!rovr@-r%5UAn_szk{@2 z!9*vIL-)RDB*w6(fb~3oD;?&gv7a&_yHc%nKeK%KMjy!KHT5mAVY~J1HzEIpmCIUx zERi!+9wWjz5DA2fQX{hCNheBZKUyHAT0Dife(92V(xeQybTg$&0Z`Azn>T)2M>s+F9x zRTFE}5%Hu@fKB97eJn7m2={2`lFHA$^86r5_L}uJ#B?ApV5grA z_~Dt%wV0xZp@8Lu3KqXT62C`WnCo`EzBgG$JdZ&P28N8fwg}FwG~>!%E}^@E(AZR4 ztcpMNH?ZcL7H@r0t6JSaB13;t1w^c!qcprWP!VKU69YaETPuc@C!r92yCA0i9j9vT zJjg=`Kdr0m` zgjS69q(3pos&>@5cgO3(a*|=UXz6n5)5!2`_h(hCjHk&WVCZ_|liwQ4)ob@dTZcbhyCy2J`x}+d=B{ zz>X`U;Z_+RkO;~h|M1jj+6n2RFm<>MOv&o>GV0ej#;r9>uDXAGBw&tmEh$z`TLLDn zsuiIIa!{9fDqWtB-&O>!ATubqGf~d3gjBOdF#v+UlJ|S0PsC^Jk(=QVv8T9I89|oP zhF!+<>mrSP@OKgX?ST<8lQ~O5kcicxk?(pMnwjp6**NQHED~wxl!A<^Ki_w+?lmSf8))g*git@K05t6pK)lh$yLC6F>02Gn)-8*=(%|6HmqXvOFrf6fg)RN zfsy$yxwOog<06K4OP8T7_qJhcY4VIU8_1A5yvcuUVkxOcOx}i(qU@XTJJeTvlCOga zZA+!?(FImbD1FtUpH*0K4GtDz9GJOSqC?|sC&u6$VpLFvGz6LLt8V7jV`hXaS0B2^ zm>EH~eMM<#ksmQS{W9Za30WTSn4KDphxb@~`C;ZISj9rQ^Kxk1PP&eP&V$7`PJ1sb z+&zE8FIMcqakOgme#d{g3kJwzb)W=ew$f9JUKA^t+kfHbVM#6FqU=7gm5ofXJ9 z%!N*~Ll8I6cZMOFz#>SN<=yc-$7hc=`Po||%idS)0{l*b^@C)E%=^cTd{TGszXp^_ zjpQw)QZ8t&%DN__+#Ge^`j_Nw5YT@J`6{hgiZYqc`D8J3yl_4}pk+5BFZT@!3n`(l zMIS@2;;Yi%Ae~9aU=U&S%7S$6QeM{4`n@;ljLW*9jtGTTEECuCHIK-NbzgP#h`}fU zXr&mQi#v2`{bBC~g-wcAvPeXCw9=qYE58qB%La@*%p*!ktN3=_qd-s3oonh(T z^O_sjh_r*>k?u6N$8h^T^HgyUSk!Y6^*T`yH9@bZ!hL%=BN)N;An_r^S|*$^{!&~L zjoxo2XXb^=0V70X7p}!UDO^Ar=?)Q!9BPufVeYD(vroP<2JKG`W{55?=fBSNOMYZ* z-!}%_#K!ol`fi;GR(VVa_fUThbi!+p)D+GamG-ondLvyzd#X!@gk_Gk!p~0|)WfCR zy>Royv*Ty*u$``)oF)$Xs@@`*qWbmFkS4+E;x{}Iw zP6Z{V0_-7#uP2e0lM&a3^GCAAR$-1(fv1dSbG;o8p<~sQ9kxXJpTvKndyz*ueH_Ec zTRFa4=fDO>!-A_Y6TI4rc>&n=z*(c{VQP|%`b+|lnhLs4eb1lf)1$zgzk`s+r165x z7os{RR+;NkH}~YJf9f)XI@Lfn3bkVx3^g%fQ*dIIXx!TOG_5|>VopI~LE{=eXZp%) z$*pdpW@d<#aU%x0d|Q9{yQF?*drV4=Na&}zgE3<7%h(B=N7#b~R7;6iATotUdUW43V?dd)q@#Ij1RMtk$cn=6V69Z?`b;Z5XdO#8F90!_!-ArX;xmokR> z;z>2=B;Eqh(?3-lq-rI53&lOV?BDJM?@^|sR@t-Rv<(TJr9?isE( zmpnAr*WnK%KaYP$9cvo&sm!~DUOqV^6@!uc3@lW_o(9aC^J!Dh7V~U4%+R{WV~#k+ z2`N2R?L44r&m24XRlxROW8f-qw(T4f{9f7J8q-5UH|&KB93P`>CCD{c$fBQaF_*N39^%{Br^ zOfyR@%I@zaU&XBz^7#7~P$R{wu^84u;`oqiVj$77zQFoP{ZO}P?XvlNw}zjP&leY? z{jvu(#)L$kLlP{M>M+4k^u{2@mFz7LLvKzcfu?^;@#s1w+Q4xhNqFkalhnnymtS?k zx@+IVBGH&F!a3B^YfZv2<0ozN3PPQ5d2i;LaT?3uJeQ}H;rIG|RcDIhmVdk`e~5s| z6*zZe^jLhEQu$n=B7QgaLy=t7GWD5)tuWM?jN$^fW{OR(TLG`ahPv$u`KvP;|1IZ$ zc&LAd<$G(!)a2%JbA0U8Cdt!$LS+mag=D#DI@fUW;&PgsIPBRgHrvzp(z8huM=b>a_E|im>?4zr z8<*7b2wG3|S_zu+e8?_M+~ggqiP>WDrfz@dj+w+)xq68+XCEd#4g#$hqQU`dhC)8sV@iKO z2f>r@LM94=O^gccYT1W!wupt<2~EM7c6H_{Uhha(Pql;7Cp?{V9yth{*;+Kpg7Y9U z>xw7$F{HdzW#tSTCKpnq4wc;5clgF2UQDEzO%15rubEnk5Xql+w)fg?cZK8jEzHh_ zh>SPEVoC&POxefVDK_<(nC5xxW4(Wt>v?L^Vn2Ul`)VCv^DP0g>`t^b+e;HPSvx`S zVev&_cK(NXyTxvl??t8=$aozUZv9mUIXz5*i{P@euC#11M;cD{{P3X_I9EcI+>gaT zh=)edjH8kH;HVn>mzDi9n3AlvUc0PZ_l0i5x zT?j*3FYhEF^^fa}*%Luh*?g+0$xB8h^xDCmqI@;XlKsWVKb2X{9z{g$ z8I~YZTUEPdZPY`znpaqpPR4%?Dg%}UnIy~20Y_?1^O?E@RkQ#UCu|)#Q8LAI+RqeE zlnor(PYZl0q`)vsVHb1b`9S1ii8wg_cNc>o2AS425-${kb6|Cer&1FF9yqu6!&n(Y zG-8TZa;>v|t(qOBoer$yR`WrxaHY&>0$5pCa;#70sfRJfHPv7rLH2(&XU#rKH6Sw9 zQyF%Y>NQkYA<&d_TpGiE%r0DI!aW^cbWeMQ3;hjA`BTBa!ZL z&NoG{)R-qN5a?e?`^tZsVTgIhIg8G#Ctb~;>*CNNyhoG*OIpXKqb)nQR}4p?YA!Md zA^Co?-!fdHTnITYibB#2QkRP-!uP+-@#&f13q@Ls+3p}T_3aGWMi*DVcD-2(w&s*t zb0Jd*<&1Y`XSbn0Wy`9STfyRMu=5?SUlV@)Hh2pY7DZiYYDj-K8aA4*r?uy9^qZoX z#K2Rn>+?nstJ+jUuAlQH?uPZab>2&cWZvY0BOZ3!HE~K^ypgFYx-|Y7w z>8=lm#i6#wL^FS+o~-g19syxf`Zd`?(TE&k5zWW3JRT@*9(tauasn}9w|xgj|M?_S z-}s80*{$Wfs%^c#LU20Y#h6^Mmf1MTuk?GjmPVzc8-eT&5WC)H{~;mi!y9B<-g=py z8I#hHcBM!6?*<`^Yx6zhf$F`CX>o^yL=rwFDXe29k(qxg6hp?G3|@jUDD_{`RKY42 zC(QbS*qtb=Ge z?Auejrkj7Xzag%e%c%^JbwRWF#|~5O7*Uv5`=H6NF7KA*>r`Q?4X(ov(!SlB&XO#& z&yzy79tMUVCm!M)+?9xxY9{BoVV-W#x6ON$+^4pQks(BbG44I47)bCU;+VRpL=^k| zu;P3`6O5l!Tr(Svu|w?%JLe46QPoulYBYKIa>;**&S{5pW^$^U03FeOitKz7%8(pa zRE@+T-x;+45;X?(fbC(ENNGn5sLuC!ok^-$IqfUj~ zNwa@q(CNr4VJ&hfM0)hH`(Tnul7o1?C#nTrY`_jEIL&N&`m(F{ljD zc--B~A$D_Gnxo(050<|Et^r+44HNgbTU2m_kaV7Lvtwn<1Jw>SQ0Z$TV3lv^e1M=@ ziUtoh-H$}O7n0naw{1PDkwdnk8CZ-AU5wli^;u$y@E3A;LJ6Nt*v7IY7Es~ZMQeYx zt5027>~j&1g!xUBDyZ#5*k2aybS{vy^G}}xOFYVhs+fSUP4hm`{TP{Vp0VSuzTnY{ z#0(w?g9(HAp^!D<6Pj{9m$8|YtOSI@C(=q zNHU`Mgq;wmLkM=$O7|_hjEB0)ik_f%9gZYYLCC-ICvf#utN;{HSYc5-u#QqvvWdhPh{- z9v7~(jHs~)%&%g#?b%AHI3|yjlW!&b(Z7B`t23p;q~SiSmS56{2FLSBZ`@sCPnM0d zY_I8#@c1n33;6@2 zg&CEKM9jMsT%Z&;a%SaFqvm(LKRICCDL7-k#C_8!*2q_$JTB||-bx~+=AzmOMDzIA z#&K+NK7Txwp3NTXJGj)Kv_g%U3FhQT!x)r1tTE^ysJV(1osPbta~6^Zf^I-!s2Q#Z-Svg%tq6R7zO zlk#OJFr?p1n@qt(Eq++$MNRFkSbqrsI=7z{>(~fHnd#(t*u#Iz3Ew2NDSx5-)sncC zHegK%_0ztQo*spMC`|(=v+s@2o^(xNC&27*%T3rD9M-!<#hftfytp|8wN%z z`!&Z?OuSxwD6{eI()T^gwQ9V+`-rEr>lTqUZs2@){-=B-LC)Wc)c~(ZdC#|Y11M~I z`96lx2exA4SgL;$lZ!LT?mKqWPV>s8B_wssscyx`nX+yQDI2&=H{IVJO$H*a-lQT# z*UW@--$LclAh$6{6DzM`bAw5Y?&{#QW}wbZ9~0vO1G zv4Hgwv1Z$L%5{#6i(glLf&9iSMB}lO{ZQ3H*R^7Im!cg(2;VAZ$G=A!h^W^aYx7BKaz9*(tr|<&kqR zaY{IJd?&gFGJ;~$$rXg`2xh$J7p*}#T4LGmEPC3dU1=acy)aCjHSVo~?%*w6 z%}I^-*VTWpZR1Y329pciG?*%)z!uoPDWWNrMuc#WqQ?`rPPum<*sNf~X2b?XrcfQO z{Az%IyjP+VoL7q=?lUDk25=nLQl{QcrN9q|iy-Qi1nfCn>T*C?lM_v(wj+u^rz%e( z$B}#~LX13q9{w$T0j-ry^GWOoU)#UK?6UP6yHS6i8ntto%HjmyLbj)msb?#uSx%kC zJX!*qeiuBRlbLEe=cwUyNt{hdCd}Hn9fKns{;S9l<9o1azGCDT6xrP*;5O%ceL&S) z+k7Y&9Lyc%*f|C;FjLlq)}7WHE3PGY54VG#CK%QG=M+C$Q*I1>Y=yAE36c4xw9XHO z5&M53-2I~5j7s%UmIoYd}wfeYBXgH;I6U)51VzgxK#UlzBv%_8y_dI1-_Z zqT%jp^lj}AQV*{|`F-y3Thw2|`7aGafotPG%DBG170L6i**}-SzQ?M(g1^QK$0o^s>2jR*gDKA$<%<`$& zg-~3tJncRQ5 zTZ4z zZ8dP2>kM{y(50h`zBz?h9wG_WLgRm03Pp?dqlk~-7a(x7ZV~v3k1~iU@Te&*U1yhY zGrAjgoDCN2L7b98d?AMOsOG7WdIgE#yG?Og)i@U6*ZY*t0{`IY{gdTp^h98If6DH& zU8q2N+94Cep4phkO6>mY`k*0CQNNgI{w=xkCwjOa6A6$~IIKy%bhNKZ!;y!`JSuBW)@n$18ttHGOgU_oMYkkE_$#Y7G32y8G?;3 z9`fX~k!Vn4+A3wvf`>%=C_8_hlIEC%826gzFVD#8CORSys*dBxawjWoG-5uzwo@jT z57A`jdwHN`83)qBV14zl*x9bgSB;Uf&~wD<_cqfsI2fxtfG_OYDk>hplYm8_XoBxKU-oYh3dp?>&4uc$jCRApz#7=*jQ9{`x50aTy zg|w`>U_mI$bffhK7YvZfMLM6rIDo1iyK^*b&c~Hh>N2@T1Lj%{D=W@IQ>&i_r>*#$ z|2%=HE!ywdZbDpXobOZb`}7zX^r&=Cb;O(buPhS9Q)42~_!S2A^@|@$jt<(*v+xda z$v>&f6Gbnp(Olnf5L$ovDS#s5fqSGkzJ=G`$Teisv1<9y2S9C$7g8~*b8MVni59JcxDmY*_{gktNlzRA^W%Cr`>N{BYRnj~oeT`Q+G7G(5qpMAo z?;3MriN7#!3;2Jo;KFhLr!efUTHIMH2-w)s2hXE2q=t%A?TfhufVV>(^3lo1^C#f&b(&Zqy&>nsE<|BvV6RFUVP)n(N4Ky|D5Mu5 z@7`){8;so%E*vu1BrAPc@j<22y7yYTGW{fAc=vYS5h9Secv=c*qotl?Ij|$wVCD?^ z-ef#T6C)6~HKiTe4OqB>z)t}5fuY1LIS#ysjm?~@BrJ{4_`nQ>LmsDg;b#FE)QqPw zzYl+(S{IXZKq;Z|2NyP`6!MQ+?R?@wf`OR(^=-uLMHn#F^wU#_LfRqE@h zp$H}sxG`;=sT`tBs(1y%pfM)+m0RmJ;WHo!)h0CLfvovna|yk7Yd|~lJtN0Vprrf1Z^F&_4R^WmYgZf!FPJm0O`=5 zJm+zPx`Gg0Zn7x6JL(gpUM-hj2*GdSt`>D0B&^@}vG)--X+us4$I_g$>B5?}Da z$MZ%IZ|Ayoa9f6el|}LUCJ-&vU-_4cB&=hF%^6e;kopzWCBtKU27J1|R+>moNUcY- zhdO9b&W6~(dkLc=BNjJsXL7BMj(dM|Hk_3MX6-!~yDY4I`EotCP3Ix`%$9LP2n=6j zY#Z@f0i6O&LGy+3G~SnigQw$-I*S~f`;e?uXQ+NrZdS+_z7qUb9Wq)INqx0U2B3nf z$pKWQ z9C9{^VZ6pg3~b6h{tUaGpLC{4p^YY-;jhH5IZ%nNf164bn&#P_d~O)EK~*39t&1zO znCZ~n#nIf5Wh-wgSI`7Vvj>2EnK>*cS1l9$z$femqnqxwP;;$bby&z*q z?Ysgt!s|;|h0}LR@bb$wh`$}d)Vftb>XhVmx6bM;FWadu71!}c+;v1mHoKRAgPE*r ztRC(A@%3{}Gwu8+12T(>61R0cW|VZ&l`_8Pg~JJxT*)HpVkbSTr&;bP|heU z6L;PqLEQrJha*@#=Y)R_RyxXa{X&F((^fyOxml~Eb^$9a&><3kZ-g>HU&)#E~_OQX&jz^@C@KhiQ z%8KbQ%?S)VLljTt7=Wz;fo~@U9mq_pnSxD|FwA4`_nDkJf5d-i#}dkq6!4PXvc}N@ zfHp!D_uG<#g71#JPPA_|Je6$Q>}TA_$%Q zuJYNf+SKvxE$(eU2nVUH=)xzuT5>A-lTW$O){cnwF?W9w8rE!UQAEZmZi;yCN50h7 z(bSpfvuTh1N=zKxYSvt!uM>hT#aG9K&=aGrj8z^U7ojwY_~jZKq*d!kha~_`OqvDR zjF469n01FJWS;Lt>zCrnXMYiiZL+*a=~2da6NP$7!ObV;)Y3LZV8fsSnpRv(VX#u9 zZq&oQ)(d||Q0-+)I8W|7j!57pMC>5We>t?1%sIMJUPFGDaj}dEvRHr(Wn`&AkG6gb z+`NpC-Ot|lvu@?a<97vVF_-tJPRUpL=-z~fcK?pyTCWcqjwxz&Ly=VIu7aT41L;HLzij-n77Ivuj}bX zo7?YX7Z26F`+T&nG6>&H=m4EF^SNx$s(DR{54bXuOV!SB91y1KWsfMYKp`FH|hC#`PG2@Xu+bLjqApk36u!^V$U7(C{>^ zS_C-9G5m+Dc|x#Q#B&z6Yf4ccMj4LgN=yr1TS=?V6~8wi7!HhJ-8Rj@&NjRP!gB?i z1_rZ1CaeW>ZE+dkR=ZBdfY|BY0S6$3R0e-Z-@Avnqvhs}{8LGLZnV6k{3)yWwcc>L z>AP&+VB($@;ZXu(I$G`&e|05RD3}{&Os7moIgzADexVxnV%ho@Hgh#za+KspxfI84 z&nHV`Yp*OEzq8%w^$kQ%pAB4rxiW?$v*M<~ffH;E_95qs$L=coX(33@jzLkM2;egaB zb!QIk3XhXhA(e`bf+0z~8&nXJ(E2>91hm_j>Et&J*u7g0-F9wYKN*b&91vn=3dX+? z;VCW4UlcZT6mbA|jM+J%M!9gi7eT(B#G=Ow( zfW~1d-v3G=gm9!#i1JXVr>Cblf6A3CP9Qm)6BY$LaTG_u2usG2Jg^vGZ)89p<%<0^ znm9xNFmc3@e>#i__7qPP2@8M*7aSUkCxapGcnp>VfYkwGEnUEXh{gXT>;5E&0>2Ii zfQ!R_r~4JXmk5Xd5sX5k39dvG-W!K^0PJxtSik_OD^BsEhyo})W{-$+e<2gVc$5bU z=Yp~W2|rp#0Z5e#01BM&*L-9&2}h)m#mP9Ay&0iaNN@`<_@Kd=;O_1OcOM7@cN^T@?IOWFxCIFA?iLvI@t-H#x2)=_?nQ0t zbjf#eAru=T6?|}x_2S+(>GgwQ{eaRuuHWqReyFDvKflB)D^pPOEc&_!o*+?h zVd}tfxEmJ{8-;_P8>y~eVDmCwbV-bB;gtdTA~)m)o~`#QtQYWi{ouZKEU%9Pu_Nl9 z@-dDj^w@?fMnPffnH1KdrjfFV^bp<)0HT4JzUqpj$0sBqKfh)Ve)#z`k94X8DI!|W zf&2YpMs#gc z+Y0XN+TdQ8(ILau+f|{yGuwJMah}5((si=rk+w|n-i5M~+ ztp6vH=fMWy{FODlrQ--~kp&z-flM@+GyOxp~Id9tw9tjiBbMy@7 z3y;>|S?pp3V6>gO#UBAE-#Q|qAfXJthR))_{mI!>e6){GM9zy{mz24LL_FZbFFQfR zNZ^idKO$Cw-jFN+Wn)Gks?Hx#`b^+%YsWVizM?^FgY_>BUdFIIWS)1BPw>RNaXBEs zA~?n)c2tjVuUwzfvbSaXUU}HGbGE?`EO4g_J2=U3FNP2?j-Y#-huSBx_9WR&nmec!676CcmHSr;P%o!%&PM+wd5R zk?8P%l;!h?@R&FmOInvMC@8bBKdV~C51)E>X+yMn+0l`Y{&>Y%(%Ch%>VyrLucl^Z z!xAyfUkCZZXM3%$a*iiLf85N!p2S@o#BY$({cqsv1kgLH<17uyXf6v!_|(vl7|q=~ z&kUZ2RY)-#tg$yejL41JyVf(rtC69_e8HQ|HN+AkDjtfVcT!TKq&}{qRmhEcpU>Tz ztv`eNg($LE>1ww|fUaMT-bHUN6Y$-OOD=M3-Mrk6erzp}{eiUHujZlA($^tpK)ZA{ zGGgX*$rv|Gu4M=^n2zG6adeXlp#~?0rs#R147REa; zMeyV*B&Q&_&GFbw&95%y=qvSos(@;^;KmuoBzxeshPv16OB zTrJI|weGHeZMmTpN$^5Y8k8lI^a{cy>)6WM|6%naGvE4v@w_+IPpucSS0h0hr{nl% zUFl!)FP_%FJJ5D<+jFw1kZZ(`dY5Su$;be?z(PRuez@yu69P6+1?Z5ljk z-zL+nuvEr{p>bHx4MqNV`HWjBE+V++)f)lx?QFl8B+OCWS_~pnRij8utwmYc!0`|y zo({v7<9nsz8)0>XDZD3*?NLYMJ|Qt%V;G&q5mpdEmZgv2N{OBG+fMyo|u>NW;_`9Z1?XU*v zP7NfWbJ)FoPs*kEYZG>k0kjt_eA3o|jV2)%w#^)fzBiZFhsJw0+staO706 zUG;0&rzwmu?}e*MdV^z-CpSO7HE|lrkNXZ~I91@)pUI}F8hF8lNMo82YZQ^K;IHFt z^EK4fHkU*}Ht3o>GoaLR^X;;kQFXVJ>a|;!@J;Hhtv`MG$STAgRRjaoxAYJQMO)WHIZz+eCJk7xd4t zB2Rwcg@Y4SvEo2NCNlN7WxY!h0OwhVv&7UwFGWU#`xOcBw^brYNBWBNy0DL}JuC6d9e z0TG_v6U}$4pNO$>`mKRRm=0^5JgtYZu{|D?(AQ%McugXi^m)|}C1}?&lz<%iPAvD9 z`WsR6<)AdASSngFbt>0Vd~45&lqRF|6y|EY0eXE9VJ_zhdPigAHC$8MRwUuo30KJHEsx_GU z^8egZ(ly5sP#?QI^3{t-TQWC~@ubfljQHIqF6dbIeUP5DVo`H1Uf13>B9R)!uurY+ z;5;Q78v|)-$UjX{lpqaMdCc<(;>NI9JXko{XbP1Uwd8ZZZXHJrqlxD93}MP*Kb({u zp@DvaSGb`)Qh8=K|XuGMwggL8Xb*BHf9FMRp-NfP%Q?)4c*n+~sgweJUH zi>Vyt4d&(Pzc_S?uTX>8n}@@A3W$;h$dD(}nd0m**Vis;y+7Lf-<7N^fPz(QgUeK^ ziq0q6E9QaW6IG_5CK4)JkKpkTL1Vf524BVNMC9=?=G7o8h$N-(O;?4_O}Itk^qu!X zVEAIQ-1jhbeC#ST1sH|)%tnS+`>AiByW(+uX*7vm>$jp<*D5s)#uK+!h3=#n0_U3EGn0$X_Rn3nwAh#o>uu5J>p?D2T1EON*EAr0$ zT8AMmSa-!fkJj>5GsiaDMt%3*QOfOE#YrtAq00|a!MATow)VsGPmRG$jy4Cem67m~ z)BDdQo;b9*M{}!=(4hZc(kW)iU;I?|kroY2Xc_%C2=b0A`MxNcGt>BckH)|5C7c+} zFzFN=8sYOxYFMPO9)p(f#p1#T)*-qDzmNL-G|QfXuEl9fYHKIzE~^98maCe0o|~UUHxBM2c(s7 zwlGCA$gqQf!iUCFf?&DqYdTKLVgpfiPez^hcFTE%^`EcoEkNLYx`#J)JZ2kV> zGh~Gtqfa3<$&?`u>gJJ{e44$%9obrxyH7AtVxE@N-N=YK0z4uQiePEa|7^a0QnnX4 z;MA(LC~_B-bdXOx>-EdakgTeeX)MT~K z(R2UUncp9igLui81~Uo7N}o2my~Y?H9R1R_?d{M2QU>D23?ui=ZQ)+>{oThR3#No@RAS?=F#8hfF!Q#%G#zU$l|_kwT;?@R{65Qqi$~z|bUykk3Dsf+$knaq z(p)g>xo)`;QOJfKHkPlMFIc)OBw=_h@90&tJ1>BQW{|Ro_-}?5N#y zVDlqmBFHx%R#ZRGQa5hqv9i^X>l>E3LLoQJTboVk!9vR<9yhXRkbJ-82pM{c1Lv7P@3SmCm_P`ALN}D?BYwpad$fhgRTE3Bp)}%<62f4T+3& z$1MAQ7+$5AcK_SUbv~Buy?$J~8ut)(DIrvz@_AUr@vJquQ|9ilFv$udjjka?s4lLS|W-G zO4Mo|+R82YpCiq)h$aph3pvOmt9nbP7*a#Dup$L1lgE&K9GMAA6b;>vji=fV)B9+h z{JYh72rgm*r;KYnAaL$027PU=Tn$OC99MxV{pCq^r8$&)=!yw0&(zLlMD&Kl?$dYk z{3t7{g(xR`+ZSf*q<;o@!qdwPrFSp7>%UHaG)ow5kenIq)3qW5wPBydmT+x-T8(IQ zQ0^}XoO1=j1QTV9>`BJV7yXoO*Kub0`E$@xk3@`KnkC1nA-^c-eaEN2^1VDHLZQAc${}!%I2b2qm_Z&xpGxnE@M+mPYwcVbal=3kPBudu>uf&(q z{{xHGEKJ^L8<1&4B|X;6-C8bO4aVf;6BJcPE=i3I>3Jxs>{GilxMdJjVxLh)pa0=0 z5tcW2^I%i{BjV^foH|cY~JL&AjQ(kC*;erC;MM;I}t`?MSq{$EinmpGo1nz3)N% z%Zj$1m%-ZAJDUTEej`~|=H*O^Odfqjul8;jbb7>HtyD@#_H&R0W?jAMhV{2KG0%i9 zrxyx8K3YPgD@Kyvu0&uIK3@Xo6QeWvI}-nooM4`uDdf6SUlLe`0UY5Iwkds-LCJ4IfsvXdn-$?d1bxA}SF zx8{}2$nNP3X*85m+tBddKIh+@ZLPnTFQJD1llz{_r3e|H^B#qwQEg4$P1`SfS9LxbV<{}W;V@L?vU4mHs4I>_ujSVon=Vr{>wMpFdUxJwASWmXr;{% z)gSVzQM*e$BmB1AfL=%?kci`yo0|IGGjCg=sSstJcy`ipPw5 z%(mYizBy_a$0FlbOe&qEz_vm7mZ*5l60m&4i#|gM+r}eUbp9k5>vaWt1!;z*#3!f# z8}IZRaBB6TnZed9`VD27!@U|B6a~PCGOz;(TC$4)Odp{K$^iV9r49f!0z4l#l%pRo z*wWVnu!Dyxy{{LBV)p==TJHMaWq3YbD0Bp%-O@e;ScZotyA}A~XlMfQJruysJbO0ITrOr)~gYi}ES}0|Cms0KkG;ZvZ@* zI6yr7JU|u>P6iGR1}1cN1xIs96E_PgMo9rq4o*%W2axZ7n?O-F0p%pTJm~DwHZHDi zRNNrm|GVs%ij$u&Nd=7wa;B^2y248ouvpt;CY1eQfc)=>+mOfc{{BErw%m!22SIxC z{Ahtz(Ml1{)5^Ud98*H_o~})+Bi8rNDUq- zk|`$Bk~wc0SWSzcV^f=kI*!VfXkF$?kK{TDEZ1@R0YZf%BAEjR({)XZHLB*njug1D%9@YJ+m|myLQGG;_Chf26)qEI!9(&FhRv{GT_w{2N z8A+M4vL&MWXCPk1bi|DHwlG&}`X_oa^AybSg3&(3r~h^ z4L2G2?G(HGNOibl<*=j{(qKpOpN8Oxwxj5mtpK{s3Jl}!xJq49VWVb!R@VbT zvbLlXWe=$Cu$*Sstzg^6S8r$#OV8q1k@i3Jjp{oBH6ANR64A5;tD@_XBwSILiyB7& zcNeR)Uw76bWU!+qO`Vp1+cB!5!$3YVa^IR2#5!5J(|OG$_)bzsOp>CUqrTa)Llnkf zq>77~ZNKqGb1x02tGALw`IQ~xlPyz@E86vny0Ur(ZHN}{ z!$`I={+z03#xo7z?+E#{gd_0chYQjF9{0g%GvK9#{9BUJSvah**6zgkZ6Hh&71n&P z$r-^!mokEg#B9&0FeB4Gj^x|iM3>R$nJW}Qe!0e9@SN7|`;=89^A3+wdx^SPsnAx} z0p_YN6=f++zqw^83_W+>9M$gG>1#e)>MstOzFyoEI6QAxbmg2?u^wVx3{yf(hs=4Y z3}sUwd-Qd%GdquF@E>WF0~5@Gbp*+3HJFX<$PQ5`W3m=GD3zvp|Gy{px}+(>798`5THgO%(Ap=Lo!<(U81bu?KTld zw71(DsAfzgENuK-^q`L;?8nimPOQkj*JbJhspeOG?WNhk@3h(#bn~z-)X=I@@fF1? zT@D-1ic!Q`=z`Sz7nPPTX2x{)&7uNa>`G#9X=TxMr_!-h zL8ioh@|Y7h8>UCOjGBH7JX;%8#IOynQ}9$P+tT{P%w(E6=ET`EawB0R<*inK#2x|%9Y?>#%Vj5#uC%t#Na=pItSlWHP(8vJH zBnk0$&j4^kxZ{{MsfxY2g<$-2w&Qa6ej=s(k=?Z%K)>p|yrY`0L zrd8+X{%b||q1SotBOBE(OfC|>r{&!_C@h3^D?|OEW;EciHb!zrh~>2N z@{W9%@z3}@%)fYT?x^D69y8lu=@YQVxG$ly9PX4iSi;;rxiI!;&u3l>HQP?Tf|7t= zc5Yud1!D25m5qVxNP`T;gnqOmYBt{?tXPqz8mwreJa{Zi>Pqb%(J`^G6!j`O%wj)z zo71|rg0Z=JE#>EdAu>PHw#$Ti2v&K2fPz`@`Y2rud1|C)pYJilv`s!!+%JQbA3l0} znt05y3g5`qDg_=|&JQ10Y@$MIkXwoYiZ;xjS?a^|9uw!B%lpByrkV^gDk|Sdq$(wA zOyx+lcpnd_npLa2{xr;dvFW8fCtIWaDYx5ZAd4WUV?30*Kg z`*)RI7WXApwY-KL@ki!$$(WaHGNY`Hj|(?MOBX}Do7&uCtNTChhg2V6vVT@r)zdXkE3V9xz8-43G^@AQvPxF@8eV7idm;H^ zfj&yL3v70wGNp4MDK(r_D#fEC?|AHz5X(|KyjTW$ZGF2g?R5Nyb1#A(5xMlxU@8DU z9W0zTEBtF_b7&+>s0Dm1&C8e`8AX;ok8{i+oEu{i@`;jAOE{*$fK>Py##zmcoIks0 z)_p>G`PCYr1os=6h`X`(^c>i|9rhd!*)@BOPEmz+4ww7Sd(wjq<2)dc2E+!$MFt026E|#LGBrsk=h>c*sua^ z{(cL`tLN*_w;7rqJBc1onTy;r3Q2h02V`;G+nCLl4YTgH;aA~@A+=X>FE0||T^>k( z91IOICCch=p=xLpr}g}S=iVFZMS_Ec?KoLaxx1R><)FC=5~YsUS<#xKII07ZIp-^@ zEXgIKdk}-8@-td(UtIj$dJii)Y;q(cfnB_^5mxZ_W&7^^Jeu{783 z?%s`kd~$w(JcrIS+P6BvHq0XY>*(~Px(X>bx$uyyW+5UU5Nuxh zJL9Fovc)F!&=14#9&?qsfjlegQ`dtma*kc}S)J0%7UGHBGxQgaQh1K{Z7a9Zw>E!s zhB-_7zvVvC_JktX-J<*f_iQBpnfyT{`B@!V)pgtW%(;I}#iCBt2?_eLR_&vPKC%dP5`p1|_-st()A z+i42?_;QmE=3sQcG7R+zw8IaT&eihm3ODW6ZYMFQm=W)McPhdm618VXKJqiZs}BdT z-uLmAc|^jML0kxr14T$k4bI%nW5o{(@NJPF-|)64_5)epZ+|D`l`;USprk~+p!F_Z z4DWaA+ke)`z8L`0H)C$;s(j!|AxYJPKR2%tS^2a?p{DgNDd`j8>TT*afY_Uz*vEQ! zq{hT~#q5Z^1cCLjSG$k&eHl&amJ9#a#{E7>$pLp?&E^9Szlkq@|KN8xtBJ7x&U%3? z{646|2P^#~Y=Zv$Y!Ii`83(M`2lQbbj5ma@-(#b{u1FOL?96v8Inr?ZH*tnAE`FZH z7>`^xUWfm{=nWFCO|7+@V;K~ag}CZXmAKjxnABSuqZ0VH;!*0l+xOeV+(~k0oy{IV zq=AbacLe_WVC^qIZ*uA!nPZ6t9jgS}4o}jt@m8d+wQv6m(`-9CS~%e!#~aFKG@Kh# zo*}2-7i4^1qq4q28H>wFO&T7)^HRB(M$s7XdgDSaR^7rvj>suK7aAiknHxJh|0q&n z1poQ-EY-Ev+=-3wVKa>vuO#0y(J)ViGKx_hD%T%TJAS){QzlTRlBTyS`y>`KhaT0* zg|^tg;lF?sXyNYm7`vA4y#ba9_hP$;AA6L9Jke_nvu4igeo0!XqtM|_Yf0rBKw!6c zABwsJpo9vX0SF-=paD9&nvIVI6$psVu0^E>q~fCbADybBqZ<`JKNSa+DmpvZ!P1e6 zAM}3&Nh&=dZXPKhmlUU%l#~=VkV{&cPn@5hUz&rLhf9(V#4jx+LiPVQd4C06-onAk z&6kks}Kxd-8_+1mXX@l)Z6BS*{YndJ;FcYZPU?)NKz+gQ{kFe z(5&6i8hF8BXyUD2)Wde$Tkms{zFYnyOP8V--ixsfgGZ&7{Yr71MxpMd$2s->Jau^064*5(R z${pQP#%g$_HDvx1rPg_ACT=mL>hY9^sWPR5v*ALomWkQ8@n1#)_LyPg z?3K;KLDFK+lGP?PS*sALel|+Y20R~8>l5ng;`1`mX%E|}81BDf8SL(k6-sYcn#})) Yg@Jy&01#jTf&ARu=yY^aO48{63m^N#*#H0l diff --git a/report.tex b/report.tex index 20aef5b..83ef562 100644 --- a/report.tex +++ b/report.tex @@ -24,24 +24,37 @@ already know as library clients. \subsection {Projects Considered} +We considered the following GitHub repositories: + \begin{description} \item[vavr-io/vavr] a Java library for functional programming, discarded as the project is less than 20K LOC and doesn't meet the selection criteria; \item[bitcoin4j/bitcoin4j] a Java implementation of the bitcoin protocol, discarded as the project is distributed in several subprojects; - \item[FasterXML/jackson-core] a popular Java JSON serialization and - deserialization library. This repository contains the \textit{core} - component of the library, i.e. the library abstractions and interface to - support additional modules and the main JSON serialization and - deserialization capabilities. We chose this library because it meets the + \item[FasterXML/jackson-core] a Java JSON serialization and + deserialization library. We chose this library because it meets the selection criteria, it doesn't rely on external components for its execution, and its project structure uses a single Maven module for its sources and thus easy to analyze. \end{description} -Therefore we chose \textbf{FasterXML/jackson-core}, specifically the sources -under the git tag \texttt{jackson-core-2.13.4}, the latest stable version of the -library at this time. + +\subsection {The Jackson Core Library} +As already mentioned, \texttt{Jackson} is a library that offers serialization +and deseralization capabilities in JSON format. The library is highly extensible +and customizable through a robust but flexible API and module suite that allows +to change the serialization and deserialization rules, or in the case of the +\texttt{jackson-dataformat-xml} module, to allow to target XML instead of JSON. + +The chosen repository contains only the \textit{core} module of Jackson. The +\textit{core} module implements the necessary library abstractions and +interfaces to allow other modules to be plugged-in. Additionally, the +\textit{core} module implements the tokenizer and low-level abstractions to work +with the JSON format. + +We chose to analyze version 2.13.4 of the module (corresponding to the code +under the git tag \texttt{jackson-core-2.13.4}) because it is the latest stable +version available at the time of writing. \section{Analysis} @@ -57,6 +70,8 @@ instead, as it is the previous LTS version. An XML dump of the \textit{Pattern4j} analysis results are included in the submission as the file \texttt{analysis.xml}. + + \subsection{Comments} \begin{itemize} \item Lots of false positives for the Singleton pattern. Example, @@ -64,6 +79,20 @@ submission as the file \texttt{analysis.xml}. public static final instance of it, but reading the documentation the class represents (short) JSON string literals and therefore is clearly initialized by client code. + \begin{description} + \item[sym.Name1, JsonLocation, DefaultIndenter, + util.DefaultPrettyPrinter\$FixedSpaceIndenter] not a singleton (detected + cause of "convenient" default instance given as static final field), the + constructor is not used but the class is extensible + \item[JsonPointer, filter.TokenFilter] like above, but constructors are protected + \item[JsonpCharacterEscapes, util.DefaultPrettyPrinter\$NopIndenter, + Version] a singleton but with a public constructor that is never called + in the module code, may be called in tests + \item[io.JsonStringEncoder] like above, but the class is final + \item[util.InternCache, io.CharTypes\$AltEscapes] + actual singleton, thread-unsafe initialization + \item[io.ContentReference] like above, but constructor is protected + \end{description} \item TBD \end{itemize} \end{document}