From 85824d65c5b75b9292fce126a010bbed251c8852 Mon Sep 17 00:00:00 2001 From: Pat Alt <55311242+pat-alt@users.noreply.github.com> Date: Thu, 6 Apr 2023 10:31:34 +0200 Subject: [PATCH] bloody jupyter seriously --- notebooks/mnist.qmd | 11 +++++------ www/cce_mnist.png | Bin 14753 -> 14872 bytes 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/notebooks/mnist.qmd b/notebooks/mnist.qmd index 2e26b220..9b29c996 100644 --- a/notebooks/mnist.qmd +++ b/notebooks/mnist.qmd @@ -21,7 +21,7 @@ clf = NeuralNetworkClassifier( epochs=epochs, batch_size=Int(round(n_obs/10)) ) -conf_model = conformal_model(clf; method=:simple_inductive, coverage=.99) +conf_model = conformal_model(clf; method=:adaptive_inductive, coverage=.99) mach = machine(conf_model, X, labels) fit!(mach) ``` @@ -44,9 +44,9 @@ dt_reduced = counterfactual_data ```{julia} # Set up search: -factual_label = 9 +factual_label = 8 x = reshape(counterfactual_data.X[:,rand(findall(predict_label(M, counterfactual_data).==factual_label))],input_dim,1) -target = 4 +target = 3 factual = predict_label(M, counterfactual_data, x)[1] γ = 0.9 T = 100 @@ -61,7 +61,7 @@ ce_wachter = generate_counterfactual( # Generate counterfactual using CCE generator: generator = CCEGenerator( - λ=[0.0,10.0], + λ=[0.0,100.0], temp=0.01, # opt=CounterfactualExplanations.Generators.JSMADescent(η=5.0), ) @@ -71,9 +71,8 @@ ce_conformal = generate_counterfactual( initialization=:identity, converge_when=:generator_conditions, ) -``` -```{julia} +# Plot: p1 = Plots.plot( convert2image(MNIST, reshape(x,28,28)), axis=nothing, diff --git a/www/cce_mnist.png b/www/cce_mnist.png index 100266f6f837ace4fedc8fc475fa6c04909501bf..1fdc26992789f5fc8ee7cd93a4039db059e22b2a 100644 GIT binary patch literal 14872 zcmbt*c{tSj+kfSxETvF`ED14TQ1-QyJ=+k%V6vBe-=&NegtBJe6H!@btP!$j%T8tA z_buD+p7VVF_<gVI`CZTNIp1@x>o}pA&*%NQ@7MiW?s=i1rf`Owf&AF9V`r2U@1Tzz zBMCfq>^RTq6Yw3{{kaDCLi#{O;m)xm;=d`C*>8>=yL?RP&Mj?^gvAkeAKKo-qt(LM zn~!hKR3akM9@j*@FS^WyuGB?dQ`M|_{QSW$@-#GiiZT8r!(SO>C&-@%8d0(bXxxr? zC3`uQos~U&YtNL~-QU~YS(@z4_2b4J)h1)!?P_lB!pW`e31Pf!Y`2fYHRw1LdXd1_ zm2EkJmw6{iNnbIFb<KUKd1|^ej1LG1u(r0|U3XYrU2S~DL~-Vfl=qg6va)j4w&(nZ zQm@UqsJc`7We&d{6;wtiBqY>%ChYG{C#R;SHiogNtE*RM2Pi2iMMOlvcLW3kYDc=d zy5RMx85q0{_jeO)k<5b0{)f9|j^j(4p_clFhKAbOk)Lw2va&3^l0TU?Zq4`cJ)@#! zWZeHVUoeJu=6tq35gif|Lc^&R7!+hw=I~|C_LCy%n*0lD4#^wc#gF<7eIl2ukEBIK zMG>5>+Hu#-U(zC9_k}&Feqq}9%G1m16^o2C3-hBdPfk)vZG^`U9UbKkH8xJyBaA~{ zyl^B~#tYl}`1mZj9+I3o+iz2no#b_mmlw{8?aGx}i$c{zaUu5-X}0m5)p6UQl45(G z;)lID1xAU90j2h1%t8;fQ)O`>0d{tFBjxTg{)ZLaBVFCymhB0%%ggru&$CqHgK#*p z5!>28vbe)PJ3pUNIZZa+`QoxMqe(>-_JW3Us?OARd>nzOQt^=2iJzIP2{PrlyHY z18H)>59(iz%<p5dSmhjMDX)y|Y)dn<{lmRw<(%2>?CIu)XF)+~Ns_y9mPt9<Ij=uW zZVT@B8T)^@Uzl}p%6{PU<gdDC&gOMXY$cTK^lg`_s;XYRco8OZSeBigJ-(<KFPtb~ zDsLyHoP*9pqtU;A|8{y*dpC;LKv+Ov^~VPT&p%u{@iU{9ds~Y`9Z6CK@3nI({PG;f z8%~}&RchUxrC<DzLpid{WA%4)6u13o#X!ofryoClti@3bEf18~4y~-LWMpJ`zdgcF zCk+)^c2xQ9Eo>TwF-y5E^gGV=<aA}KOgoGp?XP!CwZ$taC~VL775MIL!P)JuweY=p z^QJHFes`s}JJv*BU;pOKn~I8xz3=axqGC3z@K_DKBx2Y9F%{|&j^~y79u$;Cd&2!Z zy-(P>pnD(mg|1wA@T(Swqd<(}oh{#7Rb6oR-dik{*`0V3bmmetufdPi08&aieutkm zjEAvY9|<nApDjC*oTuBPxHPX6usrH{rx}dk6Lz~NBU4R*K*0-Nk(RE~OqciGUfNt; z{WMl+-VzNRQr<V_Rq3@U?z7`?=gytg-}Rve@LJRtFS^b3ARA>GT0N)YEd365Ei)s- z!qlCdKEr>vWR!&MM~90a>AJgb>l%4x+Kmv(-ItAutRkwb{q^+pLK%dd%COrsxw*ei z=|o(Si$r&JcEa;GJUqO5C|{w=NH1q6=C%;qW^qZ>!Q@bKxHnf<OG_)!E=T9XTlCy~ zLA6`O$k&L@8<y>~NHjZC@@j+7qaR$ES$E?ec*QS<h%bkVjD8&ZjIAS$Z_|O2o|rJh z{(N$hA`%T}T<*5`_MoB9$XgY;IhR{7XfNio^RdlheQQhFY2x`ogMIaZ4ibKkyOAuE zEnOv=r)if8w^#q=>8U96?I6mg<Y(nxo9|aQpI}^ETqc{NqR{Kp9qxZ$(RgDR0*N*| zIy`tKa=0@drktZLbI`LPJVb1QFJHbqJInMkH1yuKlbIj~N2Xe$xN^<~Zk>L6pXJK! zNOYz5cKdG7hys`Vx^i^=Or}Z<w4xML%>6<ODEq6dthd}d04n}EbxIxj8W0DnqoI^i z#C}xp@Y@YPCWco`5*CyL)&56tv58Z7$8q^PcfQsKBbe;(s;P~Z*cv!EtYjzq{W;hk zOBQ!+b|vAGXO(bYGK6OfD50-E2&H4uk#sN_W1J-FSi6~&t`Mf9Y&%@m>DRKmJ`JE@ zSS?bjkU!Qv`CVeUB0ZAfhDFGDs9OCDK-HBiR~T~zpMDynm*`s<C`|NIwJ<XquJkU| z&OzUMukCp4$?`oPpNi7b(y*`&Km;ax`@Z}{^xSl^|HTIBgN<(G95Lr9(NT|sKdvGo zrB~!$4p;dOm6>;CC@JUMdP*ub$}1&Rsq;Z!Ip^Cq#l2A4bgB?&Jh(-6cJ_?SOxwXC zBo~(zz&xjVl1t@uZb8-i$iWiZ_=Ah4A{{RNf>#=4{G95cmm<+>*&Cu4(m#FrbpHH# zg)nAUhDZBV5-u|u^70L>aW@dW`V%hCGBVhqI~ar>ieC64=D0r9=6y{bjyf;WYok+v z$-csMUgy(;`r(n00;9^e2A6bJG()B?;OQ2-GK0sP1eB5f{{DT1U-Av{zyJ6ewnX#Z zxPJXdK4#u4p<FKb;+6uRZhk_y4YzK-wsPg}RQ#5~R7dji{QSJ=)A;zI7QSkq>2{{Z z0NV8M%Kfz#<s7Jnl83#`tCfO&`yS)=oaJkiEeMq1&eBNvmO(V1@sd6@J%gZ?N#Vft z1JyX1g6czplNhEohfY;d@tr|wew&3sp+)FHLs3ytd!ht)CSdo~)}sRd0~I7ZyZi*3 z34-f<BzkeE)SYnfMqOG{8QN5tZf~WIiaWE!X5hDrcht3ek!V&{)&~Djwu1cZw#|is z?%C((>t{$zYaSnOa4c(N_HK35^_@<1XIzd>N-_ed0Gt;;R4umZOuHKvm6e^{m!s9# z*0u=sfiEwvdq$<J+?FIYv?`zdV51@Q5;VHIvoj#s*n&t_W~S>xzb5hmEiHTNShhM# zX3uD)xAUW?%f)oQ@GDVhHFZCE`Jh#A|AEiu_+sqI<Y$j=J@pBXjTN=-%4lTquRv!i zlaY}DmhM9@?rkso|EviBOr_t(!?S~4OiN1>cVA+pqtgRSfF}`%!`TjemP7W!RfmU% z!`o$NWigCVUdvpttTWScaoM=hA=#a)TL4Aj;q9#;C#M>BeR9aYnpZb}I1;Jlw5`xU z!pG15Q5Hu&RAQT}ncfgUa!MYC0@UVb^A=K4QU-TX$KPKkTVjTatj9gBY!-G%8^DZ( zZ}@KwSaPUD7mZZ`Ohezn9Qow7IM~4Z>(?(4yWww6H}s3FSQk!T61Le{Dqr5;-wzpU z7KgFd62nIvhrxVRboBJrk&ar~Y9nQirZ;ascC3-_e+=z!KUQ_H+Q=eer=+Yr2m>S9 zz$ioU{9ZUv2xR7a-GU_-mT|%BY`v>1D;mmpBc#pn1IgS0e0=vJTuLH9D^vxyPF_FM zAnWZQT3&s@78df8-`{DbU(?O6fLD3g`+jk(+8?G0yg9FNRfQw!8G3G}GaX2hy7X>F zd3m|7_E?oK2?<FI&;17pmNwPC^FKa7pDz6P5bt;*1pRP%v~oZ!yYODFPOX8};$Shw zMV^)IZIMGl_v-q(L5a<M`2ACqbm!>l@2AS1%<Or_;#US^8VJopc-z|ki@f?U#U8*o z-|E_jnGR31*{Q|X*Y{{O%-_tjl!sp8^E^JaVe{^q-C@cn0)w9ky@EW{#_)!}nD4BG zi2tF_X0<UBgK?S^U{P(%X@awSp{H3-FSJK<H1GWMbj<7552_>B(!=2|9_;Tkj*Swb z!`YeJsKVpHgEYrrM^yT_buj5TBQkrOg|A}e33?97uxRXcoB9zDP0_Y$I4Ed5=|3~+ zFkj)X&I4G?$9Tmh-S`7MlRI;;$okFe*Pl%r&jNpXd4b!)OFkg|gF)%FOs|a@Z1p67 z)4;&mVDY1&XBC@243u+#u!yPJ?eh+1DA8a^lDwD1CY^HjfIx*Rd@^Q)x)aP^Yz4Sf zR)$BFfNpjip&I}8E<WC1cWtt=vNF{3z0L=Q3l}(KE^t|eRDan&H~_9=UEQfiTRS!; zgG4r!)r-3J&uT}9998i`G0c0I!gPy5zZzo|v>%m}u=mJ*BMQhyM4+-<(!c&<l<^y$ zl_uWMfMqf=6D~F8?OTHFkT8$|U{aQzK^-t)vktcxT47pRTDGuw&7|JttmtD)Z(vEz z)%oB=IH;qN(N+#+6uTb3E_qD!`rA^JQN_%LYlWR{y=9W8Jkp#;2CG-$@d^E~ITHDb zqI;tFHHS)xb+<+R%L`CbJ~OG$))pOCk9n-tBbW*ZzVPQ0Cr$wAEA?ET0<OuGi88Lr zi*%}N_38hJW%1u%^*>x^*~5m!i`XA-bgRR&5!#}-ZDNw5Y0<Rs%yQxP_;^Qx*qfvz zW(2~raKH{q8A^0v|4u>W7EG8SoqR(vi&naE_r>4!!G(r@)$ANkPfuSg-Pzmgh`Yhr z^32(1D<s#EDNKew<SCJ-)=GBB9PI-~1XgyiP}m`CH{4%VeUK94Yg6raa8)g#3|b!s zb(5Z{kd&0~@2@W!q9vs7Kv5_8tTn;UfcgWPK6~~Iz{LxCr$chRHG)l{qN3vSey2tX zCH?iUt3yu#Qr#E&1=!impf4~47tKGI%_v=?I04g!VZ5_K2px8q`qCw!GjlLa+~<F^ z`ISOJVen2IEp7by>P{1cT%&3~DG8a*SOHVG&#m<inNy^sL}~+?KqUs%wszgK4^wP2 z@Ofb1p0nTaDpt<&-KPz64|f7Ml5a53(5z3z+Y4KFeYLhPfFa~~Y8*2&Imuy68d1lV zK07-L+!OAHGgmw3chO(HKwlQz$G>rzHAHCk<$8|#ZeucgIFo%I?DvV*06Zq++f8T_ zflCS>N<8|(li35%n^-;+7aqO>-GjKM{jH^?<xr1wq<5o%-nv0ez;kV4L9!VnSx)48 zAh&A5n{6UvFmIuC)JpA#N>q`(?=;ywcYxbRqNSy!j~_pNv_CBaqhMia$&RtW3uxP- zI|VuU=K&kx_zxhFKt|boPYFQ3hZ(M%^Z4;G?4d!a9lhKU9H8n^$T$Cnh)zIUi4kcS z)0sWcuc1e9TRO;1kYr`;=gyr=iTunb|A^7p|L9=b*<E6MeEjK?Cl%0(m6eGXt9mi2 z{=k3sSkeY6<VSa!(~K&;@P(b*er7$QO{1G$cg6+rz^OS(h4X$wBcB8{1x4!zq(_0p z*M&HS*LIY1$Y`$id#eF0;>v^$8TV*b%cr2Eq$DT521T&FG{SxFy&3IyxJ^nbsy^51 zV=jha>2#%Z_7<6uj(&Ps6hErgnz<kS$lC>(8oK<udUxtleA`x+3ZK~MG%$<i_Br1u zZru|9sD-b6ecQ!-Mk?y+EK*(@L{J8W!ehC<zWxYi(m<i5l$4aQ&uTr-a>3yqi8%A3 zqN=JCFwSU_%8H7RH(I^^VXq0yUxd!mn&X#D9UL400YEU7nzvkpckDL}<JJ3U0(S>P zutCW+s54yw7=-1Yjam2xh;X2hM<5ybVB~<pXe`HHLuV+$4OZ{`4hFRbqRe79J@uyJ z$i0?GWIE%Ps;BP3W}oqNTYO)I=Q=2F`>NfBwzf8F-2*7?!tQ5z%2C${b#w4^nWVg2 z9zL7{x_DJR$tLeNl3O$FPN78`u&3$8#l*HrdyIQ;WMt&R1}jJhH>tcwvS;1bPm$HX zJ6Q$q4wEyKN#cj&=HASVRiiK`KvUs>jc&f7l8VX=%`gHUj~8}u7N7D59S5{m8<;*( z$kawGBvhR#BY15-%qs0K(B$_!Y2kGq4af^5t<q<A4YUAU*#^v3c$5M^=stt4Ozsqs zE3xcg9`8?5>&wSPp@G{pJ6+4{0Ui_0b07WLtO<ULicypwN}{FPBE*>eRrNBTQH51C zrHTfC${S8~h9hAemVMAx2}{nazvVKuM+mNyIX1#WE5GVOgCiD0vZ~tN3OQE@T)tc* z`or8Z;Y0kSwSU8j9sdG*Y8Kl3^7pGByxiP+VIaQ;?F_OBP=+W!n%-~{)nD<$dyRV= zbG_V>l9DZL{h(3U!X&Q@rviwKH-xrK<ufocRy?RDH`Qg5^jP_`Ij_3#9;DAF<J&wQ zfZv7%D>qU>NWy)%kF<r_>wX??V_~OFzsP@)#!Y<BmMFQ7c(vbYfLeuqbK6<LHtKMx zNlHoGkkZix5)NW91IQerl_3GuMx^>)US4pjOx&GCMS`a5kG(I@(~Ehmm^2yydB~2u zuET&<7P9HrK$;hnG7i|3q~3l8UW;F6np{JHK(?$hvKJ`nu5QeivO{^3{ZZG2*)(U6 z{eZ!L{`^@2>Ij|)v4dvP!$Mj<{Kcu3prK69`G|oy)M=kwAD@X#b)EkKC<;|9e;cv4 z*l_YLu*4=OVNPJGVJ}}20joPp6<1zgU;hD9{sW**@28T9j|SZVm81WQkPsKb9jU$Y z_n;QOr{0Fw2e0D6c*c2vW8-SSS1Jm#W&@c#d*yTR0Dz}pDm)y=1E+w@sKpDb_BH%y z@4t6R=%HD4=A9SR0N%hNlP7&Yr-N|<MLq~(;Oh&TMG>&BVA^5g2HTcRb&@$(YN*@k znXa2XM?VDRyJdjZ(h4;d1BO^MCh9t;ov971a~!v*7Ba@2-$%)i%bE{Y?x%A1Zir)h z@j*f-upq9O8+B7q&J_ZT2;@Y9=C=@M`QQuOQy!VSaK<*m22HOy7IX8mGctf^_Kb~< zS+8o|h8F;5fk+E4T+^=d@oX$sY*PY1&Smy>cW6#dPD8!;(^FJn3v4EIg4j>r!jw5+ zLCgU@0HDlGO_g}ATkJZ9K9ca;os40$t9C>-f$p@co`gn9N=owc^LrH|3v<+aYhhqb z2acTn)Ey%1{j!5smk<42_WRa@2M<8Lc1xAojm*u?S{DwSWfXO=m$|@Wo^V4y?G9NZ zjt@!)=z($!%654nDj~sUAt+9bnu%#~a`IlO9cFxJj&aNV8?Z4Im2#im&wpRJ{9X_s zrr79`SGyG&{d%=D*%7q>I*42Q-OpdYA|~~#8wO4S=l}L=Yp7{DWU2p?DO}<!-@mA7 zXrOl%r>3U*zwwHS>LGjKnGFxV-#bxnWpw^!CyU?CE#y5=s30nUlu3d{2BzMiZ2GEx z2KaoaX&Q_(473ZBY>C~7I8en#4&4wLrJ>?SBF<B-1yz5Vt7N~rkNIXtUNb0Jfd454 z3<3rP22}6P?+&Aot5>fwOwNLL82U<;#b+fTCML!aPg>9Qxr0j{MtT<r1gN(pNl&NQ zuFM9pdun|*H<m^Wkmf~lj^@UD-K$qFb%TQnh~TxgusfTbi~>vplZnN5BVyGRUtN6^ zcf*o#c|kvffypZ9EYrhkj`&;&IGm2YzP{qe<+{)*+hFCct-Td@eQ0Gh1MXaCc8@ia z{dgBmBa!#+G|C*VHe9lAO_uQoO9#}6P?a3qeL;8f@u#F`yr39D!(IUw8{Qc&QF?RL z(a~{hk5SAC#+v*0lw0r*49Nsg{WSq3p?o)iF-6oRpWkimuLr+y4SGA@xcYFS=?&3L zYo~I182*U%Nj^6>{leJ7!QR+W`>qZLC#ScU*VbI`BjEP%zz%*rV<8TdgiI}v$H0F? zM+b`OgkCL+9-cJMTLQ0y1M8Z-v9a-1=#hB7l;t3x8F+faHvRnLxvW5<u}70TeS^Tq zB3quQf-9k=45JtY2C<-^OG5~KgVE96a`m)B?h+qux~CkMe0O&@T=uWBi8rgE6<Pvs zBO)B3kEDJ7i1MD@oOq)?xa_bw*9*`(z!zBRZlVn1X^y1)I0-2ahM;}0+`9pa|5di4 zx3{-H(CLO(ssb+;Zj9Q<9PXrd=5_sCT9UTzV$b%r8!po{cZ(?dBFZ6Hs*eXdSH!0O zyY=>`0UM$MoIeo<E)jrVB>D`4pu-<IA<s3l@x8#iR7>Czf&avn8AQdBw7%E@4-F<X zQ+4_F#)eB}noReDo-)*^V;>k&Y4h$pYTQTVczoqbErpsYlX|lB;^3VW(0xaT+toNe zTMd5tf}QvGa`j8?Z2g6#BqhNT{OzKieyZPlxiV%}vSIrhGc&W=L1r7?dprMt@^~Yr z7$$W-2ABA<6KFp&li6<vyC=dQv_0l;jNI(eQlE9ZH{Lx39H(V>%YU<1SGn%frw3W} zR)8)Wv)xPuc%J*8GagAaoJt}_5ZmlmIMtG+6T$sRmp?NysQ|$IJS2o@7Qv|lRa{(J z@|$X<hcKb<(FSk{1Oo#D3(NBI@)(d%7<&>UtU#H>#l^+M28M>p!6e@rqGFL|ym%2h zok)o2t91&%Q<|Qh_IPat2?LZpSaSyl2QburE-$mt(7Xu`*QoN@1rvgPTg-baZ&kqz zCCTS;?hO6)31G}4Mb_Ok>XM&8dc1qbrLNuqs5Mk@rnKeTH;<iP&&GfM4w>&x?1C<V z3_$wwWs`$HoA_c|@Mxjks+}gA6D8b%Rdxe`y36+zK*ZL=qwIik0VW712gmN-o<uJe zsC|R$Dio&Mh+k$8u!=*l6y@dR#gm>#(=;_T!9i3y{E~%UPxkmt);QSX0H*`99l>Wb zETF8eJ_c_M@d02Qyeg<I@4jNnGmyc^c&z+vix*Le<mv>pyUUlRuA(C0H1RD*D;wY$ zrahQ5qiJ#!<IA?g#-wK%A<C%*Hc$lkCMYO)?OHP&DY)?Y5^^y90s9~s05L<=_=t)U z995X#-QDUkw#!E`&M|z(!fwFtXiat7HbN%A7-g1lYaRUsNTvcekYD~#U;nKm#s^F> z!%}0Ukk8Hv=-Mq9#bU;q5}+l7g@wD{8RDJ5q!&J9x^&5Vyy1+Dj7;Af^8!pcjH4;= z9)Pc;0w`}8SNXH)=++%u@&@?;6WDyZy?TEw*lAboyGcSD9-4D_v?g!%2Yn?cTo=l) zYz2zN$u#)!uq7kCtD(HU36ClhBjW-CeOos;8nG=yF=q&_^2<%e{s;HqJ;1e@Xuiri zy;e|6b&M;M;J!Qx2MmLuUza5~G*rs>&qj=~A0FHZP>d2E1YKC}e>Az3sT>t@GB;ok z0|qA%ph1?K?QdV|iH(iz&Q=FuYY7|?Na1`>&YNNbD}7+^a2g@`@m#0%2FY&v8C3b; z$Nk4Z#f@ih8yk=P{ArS1D7nlAx?iOI=U>c}M76)aY+zq$Za9z0(-RoKKCssVw1Y`k z>&fJ2lsvqzK5*B&>iA>fROE-!{XitaP>}ebne5vky=Mcs)e^<s2T6k|(lzBKa%ay( z7$$xJn8jOXOSj(xJOIZ6KgtIJmgwBT69X}uC-1`ZXA-mucYN~v%gmKCHA<+YmgR4* zERhKI825*%+%J3-yNa`Q-Iz6#ZnSi;(6ln?3HcFt3`)$JH)v3jnb*5dg{fAfr=}t& z>)ED;q-O|S<>|ojSuaH2Ej3<vjZBa6$_kwRs#mMtSd1_io_)L2e2I;!sPwFxc{QzQ zH%5q;SJmUrNUyhY&d!bp*2JhaZWb3tiXTc_c`lo5_6vCrJUA*_&TR&uRFNof{UZ1^ zIOnU^fovrXMp|a8@H`&=O`u}vJ2v}`<JF2MC*o9X;{l0ANHfXgVx-nDvKarT<ZEdm zZzvqGDYJ-9!`T8Sjj!=j1S-4Hiu+|p;11!mcg}usy}+xW7W#*gtl-HwHFv(Dx2DA# z4UramGHi+leao}VL?b3nsDUmyLhjE(GcUE&i-<Yx-SfDYT8E~$6(=XJheTuW&naRd zZ8f2PsR>{7f*#Pqm*`ZwlgExdHs_LuME1Y`(bC?OMa@`v#Z2jJ@w_UZchY>ildRtz zXYQftiERFZK#H{oz3!gv6*H>lUZxZBLc6z(ei$v4B3%k1Vx&a2ecl@NRl+ovWuT@` z3%;iP?lL8<xGY)00)PWf%seakxU+LJ-)}&wyLXgrUV!GsU{h}P_du{lP6ATUbm_dS z=yhV4-J%f!33knO+I0BCN6LCG_`-8r;D7qj_W&}F?-QCs@u!{w>p>|iDRs&@wXonN zBJfjOSqA6gm}h>m9*8Tdsr`_XHKoHwQkP?!)N{V~ynieTkc<zgjsGr)F9=&9P)J3a z#h@_MUGP}u(`ssNV%V1zFy(F+x?t*`&JhDgv{!DrBN;&oBtiv2B=B^iUK>^zL2#Tf zv_y9tYz`$1h&>AIPhhaPp1)rGqkH-|BlS4p8ir7WdKnx{LrR_-Ly_Cf?WpMj!wQ@7 z(ZvnKkE^EI;PKNc<rLk`i4=j!vdmn0IVe62zH_9b%a8h|BLF|<(}0STlYnQN6D)iC zwrl6tveVCw9i#t3+ywxPyxIzZn**k&+}$3V@_ix2|LCx`28hs18gvoH1%gFvJ19sp zYok~h|0)#GLFCuyzl}3rG_P&mg8RQndI)YdL2=12eEvUuh-F7*<>eGP!&~w*U$nr* za~@(7qz4n>IX}OEfF`0TG!o2*^xz3QrP?>ndt0_NRN0YhE8)_LIE0GTE%qbYS~l{6 zg8k>$e{ozCZ;m}gPDrCqrn+iDc8UY>Vyqa$YmgN@!7`ix-1hV=F*FMXI(L<F7=kI( zV6}fW|3|Z?*Mu415`=dk+-eip<U`JNflEA>27%yQ8lWYGGmL0mM53f8ny$>OiJG;| zRW^(xQybWyYs7cXyGWv~6+4#I>R|T&*?#}tnR3e%<k%PXo@bo-`1k<FG?u=nK1IEi z^!$t$gYnKyNqg}E-|1YvF@=e26(bP?y{8zxenTWEoV;KFCD(|G1^miVls~zre!xl( znZ(<Q7*B6+iky`Rm!;wR2-O5p%~-AeB#7?FNN~Oy(TLzr6diZJK+JxX6-?Ru@aFl_ zX`-~Jn04-u$_|FO=?Y~6KlTagy+-O2ehm*kGVUTUieVF?DxADc=&I`5jNplFOAx9q z5&PaBZ<0|_iJYH2`A^H<7qz~<jp#bhCO?w~-s)@`xVRL~!nT9jia2xc^t3dWPMCc> ztw=C~g2GGe$BYm_S6YVIYNIOLD#N`z6j@HYFAaCf)jF+a>1M~ABDaP}3Ksx<0NsD- zG>m<0JNR?jidty2OD6~}7ZCTMfnvD!lMqnV-u&ep<jao`vK!V@EO(ucwl_$N1m~?f zkZAJ|xUOGE({U}(uDw5mw348xS8jBu%1OiE2CB{wK{T0$>zbIZK=_vu9BAB3CHc>e z;a@oDVsbrQBUP4Q1+1^OCSfC-zp=Yp3(>@D)GFq=mJv>DJ^bNwhkMX0tQQ79v2$?1 zLoGdk=jal#a<+Bt{7Ep+dgZ|0F67s+3T4}f07=m@6@;fw3Q%D7{5qT<OLEPV4`Sy8 zyuw$h`z1DU;pCX_q-Pi+=P$9j_w04}AEpz50~Y`i^gZffcUCC>N3gvJ?;tQISb^_Q zn*g105zWHFg6SdV9w|Tfch?Duhk7)^SC68QTJi|cwL&tbfo%UfQ2*Bv@Oaq=eYCJY z<a?BS6nMcG$PzDQh0~-mvrYS01VmZk@(K#^@xl<tD}rh38u9VDJH$WymJmjwh}e)A zSUeAcjf>KUAL4Ia#Nsesi_Qaxqhx<VbvkHN3Tv>d+Eg#m(<3uvWBy7V_!4hlg>1!J zv@u|M3N6*KCN?&CsB8D$N5TmvvwjOk@rr4Jfrcrv>b!#e3I1}M)B~VeE}cLwTiZOr zFm@(!W>WZnkK2Fm_y2B4i}PQgm36<8S{#I)1MP$80;^^wjjw7)76A<MR_r?PGJ@62 z_te^(6VYIqvGVE{y$c^DxT+u^iy$W%87}fKCqEMq$gJ|Yr$-w~<M9YY40K#JVc#{U z;Q7=hfYT-Gwes^8W&^~)+?Bt(f=%JoOd4$RP>_I5#clYpR@bdJg7m<-fX6F)t>`|r z7f%!L)%@UzXc-7Q306S*YHzYe#V?Y1-+}PMC1UvOLvRpfiNPkT5GOnP9R&DjN_2D( z)hwM?Exk{Dx@~_#{bx;0&F~2IKkJQ;GnMqftNG6(GnFH`QiGHH4?QtOAbl2Wb+1ZF z7V)iu)9eyaF>?Tp>s@=QwOg{XPr}K8NgX%K>;X>V8Ubq$sMj$mB8#AfuEXm<(&nlO zZW&74Z@-K`d%wcd({na0#>h(v;X2o&6zdED9braV|Hr6B;p`Q>?vwqqe5WC-yOu$7 z^)A22hm{cEGHQsnSb@6Xy10w9v}SfcA>jfnZvF%5I?e?W9|9N@(#`Eb`1gkR&!|6O zl;Z-x1?iRp<MT$TKvvwL&mrK9YbV4Ms&~Id{O>5-zt_~+yB6S^+(F36$&ryjq~?eb z1d|n01hzD`9V|IkCNZZB)Ldu!Gk%TBE=f1POplMlTrClKBKfe8{oEiA$h5n3{i(N4 zVK%_9`LCjIZdMHoqNGm?7I$0VqNI)FGd4nysd{OjHTqqlks^Fmrl~EkwdqJ$B@19s z2SHX@92hO5oCB(j^#kxGH{pe()8525k%y9Y?%9b<kovL&NVtZ5MgM6b_@ef}p1>9P z9sD7@1L{JUf!;ko1@<HY-JSc80)WfeS8d`F)^%pzxLlfV0h(VCwB`F?Bd=KwOc9v0 z*mj6)$gQ*05?wSOK75Z_+t{F;A|^3%{zFj{%WSg2Z@^KVn2w%^&^7kGrwCqpPH<r6 z9&r@6;$3FZtWn#>&Vh2v%Q3)-@Kt%0A^#NUl3S#ACumqd7*!HbL^I5_bFMd6)jq7C zpa4aEvGFV=CGC`9x!Z@?#ehlXkf_CzFmkE8fSt{z!Dho;8bp*zvE3~#DvDstW&{WN zI)Lq6o3OSed2Dz%gM_2jYkV7b%GBKZmYG>b_>Xs*bzc)eY@Y7|^L6xV!u3>{=jiv~ zf5JrZ2PykMsfK?qxqpMPnVQG~`B#iN!AW2!VAwZon_oZ$%%<U;r^!hst7tzae0NiM z!4x~8`(tDTgUHOxG`FlX1Y_Tjg{yShb23WTMH5yGTs2{`<HV#SGpM=%#xO;I`<M-g z9?6`^Kg3UDYtPuQ%h=blO`Y8RHNjbNIlR;#{AvOh7ndTP9%ML}B9kvq7Hnd3VSQ;P z?d#V&KyjaN2?}b{ab*B*_sJ2N{Zt+-G=^X0<eX1~5vPpsUHNhfW}4S#mt5ARjC(m~ zIYmChG84POy%YZlrpG-QZTx+F9pdG=G}u^~sAnTTqZ=qpx1mQU0JI^?S&0rec28|X zA8v07NPPr9h@fa?&qniBADKxGOM$_)b#<;0`}(KV%g!M)!CZkqD38EIQ&g2qp!S!C z`HM9H&-z6uQuJ`Q!+$Q#|6ty@_9nIurTs1(^*R}aZ+ra{@}ntIa^E26;|F%_KoiKV zA)a#4gw5E$b;cC!AkQYa!gSzlD`0>yieZ1kjCAdUZ4(#G;ETM0Vi4%%27@1Zl``b{ z^K)pLe@6Q2(zfxfLqi6NuzHgoe3$PxFU`fzP~kmt$-Z0njch2Lf-Bg|K8jaTBO2Az z)Gm?|%FE}|P86TUSIl`s@4=uaEw8v-@$A{gEibSY{)JO1DVMQo@oibbfkInRJIYP= z*KQG;nz}@5L}vNj-B3D#D|}f|5`2`*l6pki$h}>9)&6w#LZI+D@CMIKEkJ%3UbWsX zL9l}OmM{an@8VP*u_52WwlBW}tN{_MT4M!jYrvkFO#?$?_R233;}^lB(|<m1UH|7e z<~<Ri5V!&I3Yrg&nYs&>DCW}6GKtTm!62b<9#zQYmU%ZJ)DKB*ptjz?D99N)Iu@3K z;J-`Z<7*%099YH;hqdKf2(pflio63D^Ehn}9ipd)VdrTth$N?==$5Oc-ca_L{zihs zHRHq}W8rQ^R@hE(8rsc=%Rqj;{$LP1u((SeTMPFwuv*6wH<BRf2pJ@XJr6@%{KB>a zTPCvxv&mHxOnaF4eJOw$gc%}FAtj%0ZK-a<b)Zv~zQWDm#7;t=A<(<ywf|5C|6fFy z2=Z3oaMj+#*M+u2CF3^0Tt{?)0GUYxS8g_qC{&%h0-Bt%E)8*If?w$x(PlwI>gDYn zKa^CV@#%pahG;&5e5N8#44g3Hfu!JK7bv0GE2%jl-*3nRB;BpP2y!l}*PE@6MWAo5 ze1ZT=p|Q;6eg|F{b|0SjtEFZw!HInUTZ%Z}6<FLLSb@=>RXW|PYuqab;Y9`NnoeFU z|1_lIt`Wl<iXLLj-U|ZQl$F$NXnt~%wim&{Et_H|{~5qyJH2l(drq9knAzR;&eT>^ zeEu&_%7}>o()Frv7RXjvaoC@talV3R;tp^8`t`K6vhqvR-#Yqxo9bR^E?!Y>QpD|V z!TM3Kh&pCx6gHhu;O@QP&(4GGz^n3S==g6c;&c#egPSLQg<`$*@kdX-o8OF%j<&Ef zsq%!S!oZF3Fqt26S;keMpx(x>!}B1_fNv>KDgd15TvwR%pKrrOCsH|{QD4HIme2=w z7$~NmAetHs>pnb`dFafSD0p5`cm<zh|4=FaYvho;p(h?YJ^*~|UOA9*U2>rR&QB!> zTE7mj+8*@=AZ>x7J%d%Fbzo-h^5Yd8jPPDL-A%rzJ|V9xI|n;3ls+(TaoXq3pHB@Q z_1m+>Oe`&-T6ZBHBG2Lfkm54iCHs(YGGaDMLAHP=l_hp|F*14ONeZO3vVUL`gDmHJ zKvNNHoy@0+yUv{^kvZ7V!U$S@zl=2@_DCnBzPJDgy?f-q11?5Ef|tiX4co}<8B^kH zqZOW7ibu;whw9*PG(wJP^1xJECv<!5J`5ozciDdoDpj!F+$&c*Hzwh>aBd3Lg3Mo) zAa8&f0_7JG92j)+S}v{)mhyn6>Q~`8VkUcAaAK3mn*BYHR*;d{50|9|2VNK~1p}aU z7q*Nja`3KG>WShU8N1c{#k0L@Z4qO_S$$m{a<!L~UQ}L)M8iiqrkJ&Ngg}=1&!idq z?aIX#f`d-rx_VWft{>DPrU&+(p%;1*MIB`kO&>TW%olNTJGfWJh<jKG;N=tEK>^m@ zOw9%wY#A7^rtm;o0=9RS)c#{e>;rib;T@!YwKcFRgz3r0NMN)flCrVumx5i)F1Z^P zt>1zb?i`ju8Wm2!TOa)uCE;`WKrv9vT-KPy(-c-=vj0VXyFhNtUh!m!Om-j&Ul&*p z#t1@ai&aad37hRpy9u96IgiHQ)4RnF(HiR_j1?5MbaWK@gMM+B94x_i$$@mDnKCT3 zOGHs`o!&hUdq;r*utH9-nre-Mie<`<94vE84|fC8M$t7(JsFh&q0iN{Q}R&ZPVTj* zewk8$JGzbhUwXadf4aV$>?VR!C+xZ60^mP=a%(TEvdAc+;8PG<i2AQzC+Zt6`+sYx z-`m}tz2fffj!nVie%K1f^JiZMyIhgz!Dt#9Ch&iUA%uV(07XPoN63Dlak-l+;$DFf z1~F3QYY?lYw~6tHbCUI7!m(5nA8LYZ%TtKZ$Veu`2A<sX@V}NRz4MdAxqE4-R2^{u z+J`U$M_ijwTTs~FuZR5!=>e2xU#V56ECTjWG!RW~Jb{&Wk;Sl)iD55_KVPDSgoRLD zOc8vx0Ba%*S$Rx&d)y5L1g}BKT{^2jPchH_DHpeI00-C=Jl5dA0Q;(4i+uaL$<n@o zf<#42HvcRA@f!qVbf1a3qT+WsxK0G=MU<f)f+(^PL{b)e1Bp~ZGzE`R>=F4BF2J-Q zq*HEmbd;dzR|_BO;LQNl@k6fmQN$6<Z=AN?ma)eRT%T^z4RLXOI<CB3<C~G!?p@={ zx{&k<mdfMf*Kr6VevuW}1s4#};D`L#nWWTq=xPRpFz_<@m9W&~d`T+>#+$w(B!dOP z6I7Kj6XX855BXo{ik$J~S&{&wxMY_0+bKJ{L77{1b#=G^;DbNp<X+Nt%E@-n5kGGd z7EbO1P|}&9^d>NX=ncLIjo4Fc%2^4dP*?NvBJgK_%vqyBx!i+w?`VFFSRJc2j{OB? zn-iR+Pr<N1-?jg1d6_Q*J_Rt9)u!ZJ>?4e={mYpIx1|pr(+v?zqK8*x(e{?`4gw{@ z%(n=(+60gY-EvOuX|b_%f44LCC*V$AaA26-uXOYaAy^?$4GbU#ng0PxtvTT2d}Q3% z*cg9_E3cO)F9ucc1;z6+DIo!5Y*tjCiaHTGU@xWiW&qd<;jk$`n+9bwcV*Y}21F+< z_1>PIahJFtr26*gu!XyBIt&&!$a410$cOk!$<C3Y^giB12tDjk1XtEL$!iXYHGwG3 zr4!snTmZylfZ*?!;pae3!3YL-P7EL+2OJp2zcmUtPt>GAfq^q=AQmY|U}XlGfmd6a zWUY8U^&iev8i%6@iSOT}JnnAOUo$NGh$8szm7rcrG@lN2n@HB2IqL+lhfU%C@LfsK z&eNQL(Ey|6Z__OSw-{k;oXQkwU8`dACoUq{VV5aM<|Tp;mEqLQmO3A{Uo!UDJQ(Hm z`vs?qCfq`x7-+1NU|5Uhp)>>@g3`x3W%6sx?7IA{IgZ(YPhgyOhQylO8aDS_JArGs zc0NDP2A-{s8+?+dwgz}Vt57x^EWxTS=uB<Rb@S$#GziqODZ|N4|6A($W>Y*JoZ#xC zLvQ#rqO{E!2je}MXo+^#!)1<%;;v4jynC0!RTrK<E^b|XD(q>C&Fp!6oCMf2F!#6V zA4m?Pfdzo$@|{twR{C^ogY;=VZizjUAAjdr;R>Rb|0o#vH-&x3Qt?<+xyC{v4u-%n NB{{V_`LZTY{tqfFw~zn; literal 14753 zcmbum1ys~)*Ea4Er3L|Mr9?nVLgCP%BcX$Ii7<o(f`oKqFp3I-gn*QwL#K2r3P^WI zO2;sC4)yKvdDgf7&sy*I{=fHp=d5)+u$-Cux9`2LeO=ey^GaJ&?G)u%%45flow{*d zS@+m6l7M5!{<=th9Dc*Fzfcc<kls;OQ$BV?{P$y3YWT5Z=Z@V_zN+sLhaYjb&^I8g ztcEAhl2dT?bX@&F{)}9g;e<*P<ui++EKK0Di~POM7!8?}Res!O<o&37f<gNP1B3E8 ziK|y-yO0{kpSpzIT-%$hmRpu?^rW-DAoFCb-CVXkPTcCkc8mOQ*}A-$r>7_JbYkCz zHi&0h=~ub@x;B{Q(nO3^!lf!oQ$9B8hM(`am3DqV*Y*D4JllpJEV5mnX|-yL6Ih`x zD=Sm*-txg0^}pV|GFcxSEAQ!aiSKcERFwPguTKXC21-jyh1g@Gqf0&4XX54DQ&LhW z-PP6A_ok!FB^^e6#%nRiS$V&Gk4KLd6BN9sWFGr^935<{1)q(KjWv;_ai8zPR(WsN z*Vl6>cuDZ_rGDKDVv}+D`sA-VpO4Ye(f)_)iBY2FA~W&{6T>rnnsH)POxM=5FW1)A z?o&FoD{OnL=*+al(9_dTexpF>r|V*W|Nb53$FQ&Bvorn@mCh(+7*TsyVSCuQH`B=7 zx8Y4-Ad8ZpkDFUDZX_$DYH6gxe12aq<)#iwBSHQb!CZ*`V0SiAp@2|XIo%x9pKa1# zwzGvFTK-j#%1;u)F4y--jmBa5$h|!2X3XVw#l1&fUgbk0Vd3G4K5LCno*cv3D=I1; z5H{tUXKp@q7BMZ&)A^*@R=2aaw~g!1Ep4YY%7=LF5D3*9UFz7CTLlkVZH7zpqoShL zk0Ge2g5JK>ym`~5!YWqM4v9qOxEyAiln7!Ew@PZJXJ%%mr|kv{ZwPGmnK*dfTg}hU zpKJ(O9;tA@ckgr2n$X#5r|BlI%>|i6kD+2a_vKOiI}G|-<yz^3!g~?ICX&L!*}i*Q zetv#AB_%e!O@w3Xfv*{b9#~nKm%B9T(KDsN%O5^`7)O3}6`PXMmup_587~VTf?aXU zzFk!AIF77v!=LBoJ~%koUi`J*Dm6AWH6_3LgC3s!)w(_P%kTaDCEnXhLWWuVgsES@ zer@9V9XgZiy0GfmG@Tn88?vqoJ())BgfyX)<?6j0tM&vq%(WL(4?8}7YgamwcNnb< z3=FgzD(=lNP-pQVY|Qs%n<Ogwmcy|jN!r@l5~LhPA&tDYm#XeH(#_5uz$MAKFR`(* z4t>1(JS{B^ZXbS?i>@fX5q<&A&c(%*<6OO3&zf6Ju(7bPfOk9lw@pMuL?ImXlUfLe zjML|xb_SzV`;l_H(aPO{{JWNxmb?eIzP~sXE9GF;@Rr@SKZpJ7S+9v7uj<|~^YQVG zxpZro6hES%qH-B6fWz)>;VZhds;YhWmPV_*;U_pii9H;B2u@GKsmR8`Vb)T&y)?3i z%dIg)og^iF@ZbR{{P*5HhR2IEO8btG#ydMZR2=f9mfv5nO4;x4ueX2y{=LM0WPw1_ ziA$V+v{TN=#+DT!>%H~pl_JW+qcqr`+f1M>s8%n_Vb-ekgMlnfls}36K;E~pF>?Xe zmETuqgSXm(>VN!@u<rOhQTHZCN)c)Rl^)D0HE34AD<srR;3p7px$#npNBirjbTUpK zZH~R2$q*szQpIw0TpSzjJ=~ayeVK|tk#*<!*^yEIBVVjOKtOnSc(#d?v-8nvh(A9z z!T->+pTa2nHZ~$d=TrSt5;9YV8c3DL3EVjkY7Vwybp>T*%Uw7`6ctCu9ZN@@wibWE z4e(<hv?t)bDuTs7?QJj9P*acQ-+hS-e#0cJi_-WY(YW;?{z2;pMtb@J2>*{C%C5Xt zss#lF4yEIy*dBPEc&Y0BwPsX$&0s$@&nI4N$Gwe>`EK<nk$6eFL3n_QN58&AL@<mf z(6C9<($kB3u1)<auyPnF?<Kq+hu8Nhtv!4GyyU1It}Tm8&TVlAUotj4a|4AMtoHRb zHI2gs$Hc_o`m*1=dKDw_uq#f+nVM5E&i^l-Poc)CY-?+4U0q#FqGs~<n<BK74kRGY zjuafKcW1tSz0!YTX?x6n4BiJW`cTd!sX0p2+pVZ%#4T3W=GT||Z6<4cpCGY@;ImgJ z8%FBu>+0;rst*8#0jxt533EB<is7Y|X3-jcY;tn)>$2-YN4DK5!MNbY#>Q{ozCqO> zndTg&k=L$8>e}0ye7W~ZHv^u%&19)`^6h@&Mnedv(a~O0o#!MJX;#GTGN=2O5*dQz zyf)?l%=C110rNlnZJPr1eYc*f-#=RB)S1i50!8*Cva`Z{DL;>@%EVm`_dVNl+<MY< zQ0bTM)|ZaXy$`x@;e!2GwZhS~P~U8P5n|MD4-a)ajHf<x=1fvjk}IyyRsGqUNr<me zM9|^NcN$dsdtsCE(dZ8!&eG9MOit2saxSN1&<EF5)nCU2x#9X+Hz!!I`W_xT01_ih zZcD>uW>sEg@h$d%U}k2cYtzl^iL-8gE+@&zjM8=M?21Ke_H_mR_S&$X6)v!97cnW$ z!cmQmj*^g3yX@`oox!xozAS-OWYe1=6M_Xm6E-dF*tCbL)I*K<Zja<hQFF-O5{NwN zn(a>2+9MG9vW&Yuz1sEcD_2#q5s?bSy8)P^q@>KyPO8nn+Yl#}Am^TQyU3=xx|&t; z5$#Ma{J*24qoJYUW2T3`R5gT!O#2ddT%U%(X0MU?Jn01<9)7HkukQ$x<IajDZYwB= z3de*i49DRt@~az$zubSbS>wI6sDlEOYbIEU<vi5U(dqLnHF2ow-LyNZV>WlGGO@R} zS5{UobDB1FADd0|H~U@IH9S1bYG3+oXlQS)^HTyEucxJejqqBo+BS7?QCAHQ3tQ+( zpTy%2M%>3_99*Q?&=qb5D2;eogXp8fy=8ZWo;S;=@J?nkkE;UHTNAU>)5eK==02;K zR3^90_146Wj|`u&*s85TTl`Q-NKnwt8#i|0b<lEmzLL=F16H&pl7CJ~fjjbC9<6d8 z^W6?S&3#tF+7T`dy3`?n2Pz$^FUzc|+`Pt5Mn<Ojy>P(`>D(6r$#7L$&}$vWsv$>C zk&_QpxGx7#&@1jvg$o*F+>93cR-kpJpNOGu^Ii9+e!hcj8uM9i1vuvP+ZhK&0$?~; z{=M847oiK7>&pJO%Us79@drK|ooXQpThTbYxK&$AW25Inda93)PlPU1Ql?R^h|4MH z$LMmGPL+Z$Uq(G=<H!7us-T?+n-nw5JnYN*1yLuy6|@dc|NYMXeku4zP;ddjB>aMg z%~*AnSg}T|Box<3wQq$hrJ;Z;v?b!3bky~y>3n)TS>NYx^2+=0O??)p?BY-fG`1xn zM>^cJlQbKIAcr~2M2W4fu~EkH_Z47Ok-CsZZA0+@AYZ<GiO_{ERJ0b^8Y?A)y<KR1 znweP&kP3d3V|&Z$P`R3(ny}E3bS+7X(kKafLvNbST_6`lw*3H?4SAN|M<GTT2AS0C zvOVSBp)u0Y(UrT*-(lB$e|WGL!gA@(;r^~e%|S7aw+?Vr!DGcDghRomKgVw5%l+o} z$)??&Lv|&RLPna*=xU$c)I`6t92~^DMT7^uc;UBN$ILG468QS{V3~93=JL4IsK?#b z4}SxJVUv6m{U<PQm_-lgQxoITJ-xgLFHW&iqCElOhKg*B=0+$D<|IWAubGP9wEEsJ zjBBxm=QlZsS=uWCC>Fvd_-+}`3L7THcrRBO?a*CyZ?!(%9yH?)M{bG~diml-x!;Y3 z7@eP4Qr&=4WeM_o?f!?K4t+Q_UhySp`&U2eyfZBU&EI8o!ciLPeHw@JUg#0PF$rB0 z)YsP5KAf%sjzwfH^C_`SKq6Ca#>~xGmmm~e`-2oWI<BDvaQ#2}l-ifdW)qM#J>Jui zMiIKpmFsWUnff`^DM(M9onpJ=D=T7NJ#6QM^SazGMJWY**dRk+2bGPk=-b>1Q92y( zide2W8ZF1dO`_6E#{7mh?V+9IEp09P9}R8JyWskSB_w))837UOo2>$-m+BW3q<c61 z%qbcg_mSf@hlI?iC?n|U>se*4KW3C#>ff?wMtrz*_XRGPMt<c9Vck`<&ELOiSY)E5 zx!I)D(K6F8`*!goV?cEWhh-?M<*}MEyy8hSaYCEiGC!8s1mfc2pwf1Cb^yOWeHEfK z1?+QQXg9K28mp<{7jo$OeB&v-*?f!+F0n}c{l&)>2f<RK+9-wf7IBrhS=p~Koneg3 z%(GjrmEXttR}z4I8KR7*`7Xj0>Y+5CUX2s64Ekx>Np~CGLJlZGW<kB6@Q)v}L)Hc0 zI*D))0$c|21)5f$Cqrh7m9lcc(ARIz$s7jqEQz?AqETQEPcaQmaBmYgyFWVC(9m#( zv6L}4??*!er;HPikdTnDu&|hz7?ct(FP7h&yCwS4UBDH3KFy8oZBC%_n+v^42OHhU z?N6I0+7lFTmD9yT_Cie)**LO`eYuZE{JL@uxAAJXZ-20-6BW&U33w9kK6*yMYXb@= z%bb!^!K;Vhp@+hzrkWhB{^SnHGA(mjn`(r=kXIdA<}%+^(5{GcE18<QhwTB>>(4SS zfZFLz*HaTHavZM(<bYZvw!$3qorw>$?Cf~2eW0n8P;h`i#OlbxT?xpR1*QOiB@buq z6MpsT6+jB)rVZ3%oIC5^Ha%s|vy|u;u1SHJz^b{`-cHTTm;o<uZWdBdsNyejh|~qS zu?PTIeMrEa=2pFUyYT1GkoUJ|CozXN6^{(F;n+IGHmm+m9P+DLbFZZojN{(>v|1yP zwa_n23a!VBhoFC1k9?D*1O`8in0f8_Ktf7toA`Lpec_@;6zlqP&6g`#tyH-R+Ja_| z%0f1m4*`u#j%<CeCLX!`1Zpb;`43o8SSSHqZR|mtvqu7i>juv1%)58*a;#nin0Gr2 z6}J*Lt4d0?fn>a1<4^S6iqTzws^xFf&E~9`J!<X9%&pFdI7>v4E%<ChGZRp509nA2 z<#>2LL*F*!nD=1<NkPa_l9nzt$~A*hxB?v$j-HKRiL2Ag4!6wlS9`M=x%BlZ$(wZv zou(}DPmrF@6~2%oP16#)z^5X0q06@`J$FU=0+;JMx?SXI?m5lao+B<J;|cxpuRs5^ zHGG-#)9@d!Jvr-oTxCDF(jYnusx`rQBQo(!QO?xk>}bpU>X&EaJ@Sana<V1uFStPH zd5Ug}w;&lmB`0UC?V!@3QIGy|KF`amB4CiN%iFK+CU5^E@U&j4W^iEO90*X*X^~g_ zcc-I(-E_Ow9CKMqR7=-S4<n3y%Zm7tL(_cJ?(6S=)WGTQ0|km;7V%lkZ)l5?DY#Sj z8g9NEeem$$gxU-qFU&BTX;wu5*6s-EmskD${&vlgYl`u+3mPAw;wJ%^tOpAprfSAh zR@LY>W&Ff>%?J<+i0?HZ;j+)E?54M~?TPLcA+E{SbM{#1=)OQFdqvMDVph2WcOwV_ z2Qu^UVA<cqJV91V(%aix6dDxtzDt)b5!+u#h!)VK3pb-J(C4NqO)!*<Sw%$;yX!Y~ z;GmMegbj25gQAXEOlGisrtF&=CMHE+2fLn=(U?KKx5S8>l-S2dMQyJ(aKbyA82y%x zm-oCZE?&@azXyPU5M|~!-4w~H=;NWO*#-z!AHwNiuo{8EU`Cvpg@HRG$jS2rBN&^! zp5^de0AY~*jPA>mCr|cMUG4bWBx~A2gU*V<Apo6%*<`wk2nWz|vd=$z9~w#vAOJ3h z3>!7;Zdyr+`yr{l{f)2i=qVbph7d4dKPHJ%&>O2yO)&#qH4GYQ`Wm;q2~L7OikFvn zn$y<zK+1WhrGdkH5dsaWltaQg6vsRPiucr634WJTSFc`eTaI#tKos9=3<Dm<C=1Mg zXJy=fe^m`4<+ePkU|D+t_v3R5;oRecO7lYNPDo+|yR>!3xlDyf-3;jUfE|ji3lT%U znhEmh5npWRDZvo9pcyCqctUwrc(yHG{rYus3W|pVc}eT4oScc{-(P~*9QIT<GfUVs z5yJIk={6Bam5yeUH&a&o2^UtqPQ%l<y(uz?SK|BfcJz3O4ZtOl75E?S3+Sah0tNE> z+w&@~O{bw9U`QjycA#8<fW0*M`(`TK*C*9r!3o3QSFemKJs!hTfVr_Ua5p6TR(^7a zkj<JyFMw8Q@tN+2U7ueW+)s{%>Mp%gM>!(tK9bR|5T-+tb*Gj_apxm0xNYpzt!K}k zfeb7JMhN~ziFGGZDl#$A{AoN#hJLye5I~{=B`aVmNt^*cN(f*IWT{)LGCTFlBKhAa z{BT+Krnmq%_g#=#!0_741Ep;H9szYAqv2>#DuxC*QtoP!f2Zy(yBx4gdL<>L5@%NU zo9*)JH<N5T;;kRw_ob8bwxDDZG2MYQB)%Nr1wPDsGFVF1W$xVm?J=j{U;o1PXh@Ar zRbs(UP%*B=g>*xAmxj~=5_Wqm@%ER30{_EZD@ZE%BqrHd)=Uwt8oz@ntvTqw@v^QN zAV%6~YC(2^*tk7gZpu2&ChKxtV7kwau|EJDv+@Jwk&F;rrA?V}!2?wK@sbR{&2TNn z-7a-efZq0u5KBf2r@t+}K1nvc5qESVn^j1~O<}<Wbd0pm&I%|bfLl9AE>M|?@}6IC zyYa`T$1=dhQ27NN&QN$mQKb_)6tpgPcskLljj;84pa+S5gvQriQ#v`PQgZ1_?J4?$ zRMpgkupq0|XN95N_8D0~YjqyonTd4}#Fo1+FZHPn!TV)L=<fQ9djOrtR61gi;^O*N zJ~Qaqnr4t+hnFpb4tI;J9^hxL@|`Vok?J$c9ZAn|qOI9ue{IZle)nvy4`z+j1*8`R zk{m0Idw$hDQ79}TVycq7R{-8jF!r)l8{2F!uo<tpj-=4gP++RJt9ZanT%4UX0?vcR zxupWrB<$?)@bWTRtqKSTFbe9gtgh~E_M68``GF!prMJb)RgA8`5v}$Bfi&#JUAB9$ zJ$CKdwd^&!+7UW>`s_sEas&Cf?$i*1v+omPvZ?!*a86DNTA{_yGBM5E?gs<YZ*^_$ zbzq?5R>IGg7AjDL(666{$0>OCjg8eniT0KB*5#g9bd+9m$b^UzdF(-1ld{>>{va@S zZuK^0*;-CcPQKBlkzV%SRDh&3XxWr&><`K@uQ{yR9(BfZhrWN$bo%r-9*@7hBz56J zy_ei(Peu*}SQ;wVRiVf;BQgNz_jlK~f#iX=2hPB4&e@zsYw#UiH8-|~9KgJr2L@X0 zh97JU=NofwS7_V2b;MIO`BsidO2A+0Fy^`gbPJUZw7MNSGFV$6ma+^o-*5INh@a6= zS1;)528n-*J=V;3)4<=~A7=!n3coCFF59?Z1_H;)%31+#9lSr;i4)*uRxmwkYHG^R z#i9VE5&IjUb=t-_8CFw~U;ei3ix4$GY~)Myfyh^bI0obeB~nY^_y|HO=cv9pF$jE- z+clHB8{Jy*QinM6BVCMvJD7tJz=HvSU)T6$N*Wf~^b(C-R#rIxl;i&Gmb{o8r5iGk z^5AKJqr9`bKI;z(1<W&3N5?#P>EYNX39y`@`vW=~f4SEPew%&#a^q3#XUMmg0RdpU zLXkqCh?KW%y-hAs_Y|w-O$`m<LvfY#{IE_4PVu8(PIa#t0Y>7a91>i8SJXItr@XX; zPPdpFH%{z7ScW7MJ<Nb!b+Err*uu+!UOS0kYJp1L-&qC6(+H)atPCh!yV<rIu7lfe z3+1{NS8}U29-LFmf+h$EVp$!Ge6|Bam=o+dFfOz1Gy*g|KWy0K3^z=tEP18@7o?9O zk_fO|BqiONA_Sg3eR_C!2)?l3Oh%6IzY@gR*%`|CVgGsQKB+bPMr&|PAS#dzekBvy zIj0W5aq-@m8{g-uEFcO0KJHkdDl8~y1C(*0y(Y!H%Bu*6wEzYL9H~T7vXTFF8%h<} z33LA&!uQ(RwIkF9m=O$`Dz|=_JtsXS-?eB38M#}dOifN6`1Y-voL!94nWE|pXZ2<_ z>X)1G&)1`7cB{agMx{eU82k@FgBuzM%uawIyaSh3I>P6F*=v92afySZkWr32^qu{6 zHC5H}(QGi&=`Y;m7wa9(vwXguNcn!qp=Lx_{cCSKN;T@D@r0K~U~VqaF&JLj1*1+7 zYv#8*eS9{*T5W4{(-kLbr)6mP-WDzXCMv2Q{Ezsfh#Hg21UNlE7L1+xjSZLn3ggYk zV7sJyi~lNo7_Msr;8JH^v#z_mZ^|mf6deTSI`Ql|MyCwYw7LA{>TwB1&`Ot7lppUy ze}H=fK<_=+pMy>fsuQxt4zBJcH9Oc1Z`oufW@n?0q`ZKdya^80(A1=+p>Y^2Okbyz zPX*%!{12k(d*Vc?AA#r+0~rO=s$|p)Y(0(ct}cKp=CfxPyxz@W)uZm*y&J-*#KFNa z3YuVLWhEdW01Ruua?+D0jkjgIHqtgjuG3VClyU&2Tn3g){gPWwZVy<aJa7X@ULa;4 zYTnNRry<%iVAL2NNjR+!+U8b)bO`6uf>BFhYF{z*ULa)P8uSefRRB1_aWZ?$M<TzE zuWWAON2~T=I*?_O^+A+4I;kk^8B{h*?Ai~BgxOEGh7?dCb}-NRjdGb(?%bIm`q--z zbw7Xplv}RsE)$BMn3#Yffqt<tI4A{;8XolV<Hyu5KY^HsBD|P)JoEeb0B|HAF5TVT z+}zyDrIXYphhKA?oSb0zKxDx?ySrdMBTL`28)f_NPjZ5g_(j;n$+^tY0wTeL11KN7 z-Sp9LV{5A&5MMX9t)y!&P5r$spqaL!-A7yjgk<-Q7{_A7t=tv|9)nl4xVVUl6a=qx z5YMUpzSwSPX{e<A*Z4eGK4AHdkB{3gOA>_#+6N@jdak*^W{;kh?^+`tgjLW_1rPG< z$B!S!uYnE%+7z@o23p|8jT_)t?TWr9k|_v9XheiQs5?OGnX#FErS4y1Pizxh9~5@< zDZhWmtp>eos>Y+UDGfYmdOA9kMKE1b+Z^NWLS}A+E)eX5TMWNF`(kwZFLxc!lyH68 zP|zzsG8y^g4bsSJ<8_>@s~|r=zpU&aw>ok)(#)3gm^KQG{T!euhDRpqrl!MS!zXyo zz%#cgtErhVe#}vU&>8pVpx@k@q%CdQ1d^+js0cK;b#F{6je>##m}x`d!|v*Xts(II zr*kTnE>|Fj?%cU!)0Z{>NS$<&AAjPbJ_bw~M(V}EqD%wj6!^6MjfUs04;V`AFB*UO zvFQ)VZ+p-O0`3PPX7TR@Y?PT(cFKuKN-b6Bf<oXH{N`mohWgf9L)H*<#(8x@rNn%Y zaRlhS2)bM!qFZx-cTf>HqKNpC=}*Jd`Q$H>50Z8^kvH?l!H6W920+l@*3GOVwLi{L z9{r_vba=q&yP<<Se)>(X<k=^zG-l1qO$FZC)^m|Hwo#eLF`-AaYeqxq+4~n=0HUBr zBng{P@`xG)Qi`VIjZEwZ9_$$~MkwQcANRMP=8=D+@`lON=h8xMIhmc%D_2=#(RV|J zk%^c*j&X-^N9i0NR}`b$2IZUl1I@6=NP`Fr`t&Yebgc>2VC*-F@o>2khy;k<WS3Vb ze+wjxJg@!5zWcnxER2tS)C@n3$zb8+DsEI~O!%}CHh3r<)js;m&)_8Q>Q(;4bE2=T zxb|$9zUdy4Sw0@nRK?U_@c#E3)f{f{e1f!8F&<!i=ilk@NxdwHQ|zx}$G)<J>A*Ob z<=SQ9bocIcRrs9+RU<$A5X5!n<gsH<F7bSVAH-hVV}L*EP1jpnkCnb_K8-l}UA@qu zDN^wcMQ@Jis~18}uN;!}i#pPI<>XAF^*lyU$(*|L;pSbyC!+>Yi|<Tm21E+Y=<24_ zlTY26FR1DX^GGZsgtRAzn#X{*-LA-H_5b(bp+PWu{;yBW9{t2NWOz))e&YN_FYO0$ zf&6go8!k2!<m9x;(DKT)A3R7A)3$zlUOpKgrO(($tIo&Ie?2fIHFYRjkMYxX$dx&6 zUUw?G<TZ6c`8(<F`p-#q(3#nI(olAWS-0_s)^BkzyuVG?kgD4RqcLW>(Tb^fA$c{= zk1MJ+doqK5BLQ_ky|w-Pi=T@Bf5Y|PocKRt%uq#^qu|7Tw~Q@cdlQ`#D;%LljX-o` zrU>oE#>U7Vj-;<eY>Z9O2+<E;O!~}Tsnkus?yfBeHSd}@BgSHU?ARF;aTh?Jy8j)b za)_Jl5${Hz5z6ejHm%vK&8}$$ezs&l-x4V+8=DM~dwaR(lzfwr6=GuC+}EPJ-M&+g z^G0reyppqPPWNcpHfg42xJlVhz3`ts%fIu5`sUY7)ulMDLIk(~Sz>wMD@o4WR9B~; zVYnUnbHqF#ZCFahy7c@-)damINA8W-)1;I*{kpkb7lU^u7>Y+F^#XsdbqW<C=*|iV zU_rFHaE*svzj>1ZUO)e{wdK+B)vGAfYZ0E3$}kgJii#T^C50o+*&A|Vzb;f>UNZ@8 zh@E}>;7`*2-`>K%PoBJO^afP?0uq`3*x(js9Zdd#TQ^~H5HL4f=IojTjxIR~3`!nd zBsD@Q@&xGiI-OnvZh*edA967&gNd@X*&qvp8o6w#05ix=j35lMTVg(Z5L9+w9MFlt zl$8Og4w$ROAY7Axu9B1FW++(ig?Ma+XI3LNyD;oYKh`$E=Ig{vDX=gwd`8^AcaNL| zqm;PM#6$H6#{43%pulU{28JnRC-@@<feS86!^VMNy4+%h{{CJ}+ssCQ{_UyVyjAJ8 z|8vd!M+W{!m1}Q|Qad=<(TVo78lr%VYB8UMUN6F<FD}vp4sa?0LeerC2YRUk19td% zDmH1yk5y_v7*|(UPbUM;l!uybm_-|=5k#0JnTx|rrA+u)MgF`Qe#nUVEHr!(1~#^f zEdn@@P9hsXhH=O>&U~NUwek)arSMX*fk`H!-}HA*u0!o=dIU;cy&H3!gaq>x*+7{T zQI4NEz6J$3m}hy-^5aUngiQ}WI!!w9`Sz%Hu1KNJt`qvY{S{g|x@1IS;&WIH=)}O7 zB;aYk)ISQxzw<{{j1f%R2gnT!vsnj*!)N6i-L1FE_F-IwL#JI9dKyRXz&gp|sUM7| z&*t-E&!0aZU=0&s5gzvgu&xDMER9goim(hILd7O!55L~HrF*A6mF|3{eJujGoVz!T z5f;VBwcsedsDY4L<H$11{y+<}mX9JloQc32w@4`i+_Z@kCsN|jx;(UF_4);Q#CTaV zN#u@zK%wyhY?p|oegt`kj8M3B?jJqsKK9LMlz^Tp^X)u~r(${F=52B4q`6hN;tbK& zu)9zj2LlSmWVN?!ofw!KyK)WH`Qdv98Y08w*uiWcij}-{Nhgq!aS%f?<c66gy3w6b zOM~9ZNiJJ3<jq1<0XL|P1Hwy}3{F!YMo>TPBVq*fW^LRv=oJW^A%kwvM2iX&o2b#} zd|C;GQuuVe)PS@+GMK$R3b>c(e^^G#s7N+VdInkZ1pJc)ByrjzmYUZ*mDX|ohub8@ z?n&m+k5D|cv>%DZ!*JiyNc<m#<6k!)UE@M_A?Y*{g+kqsp8%sf6XCn^jf{6S@EJ^k z&~x>y4h*D}r;J9SHtu9oB%E{qar%SLJu9mrR{lc$cY9pB1e>vEZHY>vR1EJ0UD9<> zr`V*mnLj9a7mI11Q%YW8gK%UZ{<iM860JAqDE_dE$MWM9>$cCYJL^(;^m9yqZO~D^ zOGvPH__%LG`&Pp8V`VO8Qk;wHD$A{0GX?bZC7zABPaz9Pr?J1E;zw0#Upj$pg^|H9 zn~pxOt-$X0M;*PzW~m0BO^6TuNBzlvK6x8yw{q<zH3f-7)uy3$i1dRN7PK{3Mv_QW zdS#_N7x=__Xlr0swO6kGNqbSo1W+@4%F}~CVXa|{^a39r4vExw7^7Y33wB%WSFmuP z>I-OXOdW<xb(q7(Xs4bH)pGa{=2J0GpMmE(j|9K4NGkQFUt+#m+M%!#!0)Vlb+iyK z=epD6tH3~V^mRoqj3zB~_}VK^^T>e83sW)J)FPY(u`g&ia}ag|c~_Zb{q{@6Qfq2z zXzlv4VnjeIpM&t;YKOdBY!wJM@6~mKfnU4k&zS!a75a~^vL3bcm4`U8q6Pi%PNXNp zK*-V}`0U><NnpO=kT8RNAvU|WTqCLs8*(IQ{>ztjS@=C*`3Zk2AoXXqw2v>=*B7WP zIt?&ztB-p-Hs1=QC9)87NqJ}`8K(FWayhx*%v&Q`{K5s*KuT}zxgXrIm+!x>dTJCI zHn*T}Lqxc=VOoAj3+4>K4l(V4N`T_pE8bHI{Ex7(K|x6ZUO_GbTu(jbvr2xIVyTs6 zM|)#O3rJ8MwO79Nr0cnImGQ#XKu(ofWroMTvEx5!p!Jy@U%rE}H})w+aWGXY@kpt@ zIWxe>wI~xjUXcwD-jpP8vG~<G*c71X{QcX4)!7f09*{1uuUFo&sngb9OeZ*jw((v$ zo6&obZD5U~5??&zlC-$^2>r9YT`O8|^f}DViZ0>7ToY*7g&83Z3I1K}SKMe(HQDrA zM(UT>m<120kN>-i4kTS8LtnR^<=Q@dT|<L0xpoK>5)vX(2+LoVZGTD_nlZdOq3YVZ ze^ej3zUVog3l|oUFw|xs1u<yId{)jaOQZ+3cPur%@8ctNLG1Tn62NA${B2;czn^;} z=bH$FLln3?<ei|Pe#I8^kh{)+&NQ>M01@Mo)cHvb%7cRnfuK(Y5?CIZM|QN^?oa95 z#9N(90wXl$<R}reU{T~;L<dJuP!K~hELn75P&ISD;OdF=RJc1>e$?LZ13gR3ple8E zKw8H|3s7(69V_GCF*2}$g_(0bN94iaGkR=|ON;;CiGcse{C_Klxvx`}NaqXK9&nOf zK^_&)A>rzoW;Rw=1)6Ht=w-EjwjZx=JU~ySm?D?YCuzN+3z6`&xUm8&P?)JUeo**b z7|BNi9})3N{$|m7egvd#90>e5Byft_xa#V`68oVlf7G**5|`?0bJK=|gMgffec9&L z7T8u;)W9t-=OXSuctA;_{%oZoa{D*94lYT+U2sTH)wOXz7m|tNGE7^7f>4XV;y2J( zmKFl^qk@s8ohVNlr+<>^{}x3ZPt)~brZkU)U6Wvudld~~7X<}T%*1sEF-O2f-aIys zppF!kw@to!Q<@yu7B}}$m`%<j!M^IjOhriu38@DXc6aBI;CPpc@JL+OLsh}HjU<QW zD~Ah6B_4wT=N_U-K&zplQ6!ZYFiNMuFD9lP*q4JgVSfGQ4Lxa7gQY+?4a?Jx^Gkp- z{g{BaY8iPcYPC2?SQtTHAAJtyTt8;2rh54O&CrB|90Y|!8=!J+9HdYeCcs67!<yzF z=`VgS^Nc@GJK}}Q-kKr0owV7&LI0#adhVSX$LX1USOsw<uCF0T#s!=Xtjbu5w8c#M z$#Z`w<!D#!+lW6J5JRVdty><t9|reh0tBK>&UN84f<i%n(pUMZwv>rTnn+I<Gc{G2 z&ND|A1PBHGlBKIo&VTK`l4GMrry((vwO5ihuc)fN5L?MOzxa)~a>yKZGzZ=VLvk%g zCD^pCNi|0Y%e8S}>jJgjwn{3we&xy&u{_xED-W$oV7MF-RTTA4B?CtvP&h7G`(bHT z=LC6A-9WI24Fk89K`fU40Wa9%L^y+KY`{zayB+g%B?2;#ORz`P@Q%PF%o8mwz$O&o zVeot(b(?PLlRKb)xi+jDh`10o9$IR8(kQNcB`FWpb~H&l%>JQJ>NJgl^0r5d2qwhD z2q?Si>gonq$6UVe!c}Iy->bc$2s%8l>3}=nyMTm*J_~=3B=cD<a{moFCm2job`nwV zx`%t%_HWpP2$*|LqnL&maqUN!hvM76fmTG2U`mwBZdX@TlNRH~y}i}>gz!~d*J);d z&4Ul{B$@laFbDoCT=)-1A&DfM9j2P)9rRlATvQCV&ywSLVeW9g1%~JXT%d*Y(P=QF z2WrcrDzI6L5S>H1SO~H^IZ&02zwWqxW2yHv3riXTb}Vp6?AX&AbIZvQYwPRX7zlO> zqET)FRtAw0&>xxUK8U-5CIUJ&ePQ|Pc&;d?el708_IWz;5Po-yu&CRzQ;ba}H+F=` zxv&vH4Mcbf3&Qp+A_J~IC#BFyYKLv9mo8jMlke!po<-;qDW}K=WHAwteV|pjCczw+ zoCII=MGtlI#ECg1>;*9aKUa$gakRX&6+PAkLE33P|33?o$}*ls(Wg|TC)ZpF?lySe z{D=@G!qfAY$Xl40%_E&&EfdEZU!5FJ!s0B(`p%tXT1Ltj2-kwhTSmrdaTlW=GyTNw zVH9>cuF?F8HJqb;49f_Xnn?_0bVs+qEbhj@>v>v0#Au*@y6xJQxmDqtwvH!pAz|AJ z^E5p@ox{8(GAy&Zp{|ZXXS|Nsdq`8T*m)$<==kmq!y)C`UW<6U{3irO<W%I&Myf_E zg#A8#dX`^)0_dD8mnV&?s_Fs~7CC{Ct!x`$4rCTj&oF%0ORGI(ll(_?;(vo|BXyZh z@Rd2N1T33YH0P&-*Noi{<Y#yK^cGg;(L_XKvCbt6krxC!Wu}vD`Xj<zk^pKcNVf4q zsfgAXaWxkHP;*DF+ckc^=%3Ba&0E}qdUOi!?;+{A%NoM)B6`^REzaxKp(#Ju1toOp z++x@mM};DEA^yFXDMekd{yQ;D7jK=TVj$Nt@B4U_1f3SJ^-;|3#-i;I?C)dJhM%^O z{v)lSy-}^dySIl!5-UWT2xO_I(c3V5=)sWEa9pHf`26|v04urHAC2uKbEk}>=nB73 zd`wI_B2wGe>E(Az2Md^B1#3h1$JbS^)FR5Y_4Omfw82IGjA#^=nc|yxyjGzHSMAC* z9;j=iX6I;bKHm*w3R&h6(-D16SXhHOOpcs<s^9olkZHO3P6a|OcVF|osKLN<5>hH! zQcBP;xd^m@w>HxsZH*R_Kdf*2f1u6R$S%k+3E%#VP*GDukU)lJ{)@7E0e!^C>}||* zE5pvMkg_YWYb!Sdvs&HNj5u3%@T$Y;+ENs^%W?YKv`~NK&Xmwu>tKsfs=NaRWdToN ze%OQYgFOkfH7sG(#?dHjgwo=BGohR$ie86=FwYRbi~?9G{<=fz`mG>4C+_n}tzpAh z)r74Dt351J`4|Nlz{{zx^T~{|ZY3d3vCHbSSUb>Yevr5ky-sXv&{Y^lY2Yg(7#T2O zT!~E<HmW6=^pFAd=rx^%RfT^hC|-{a<$G`2qe0Or(veoLH3^k>5cjVUz95WLOa~Zc zd<o#iL|ufvu7?yC$vC)~g+zcHfIXvZg!+>~P{`%lFv=23y^@xn8zJlX`-zBzZQn)9 z->}2wngkJ_LjvbyoQc3GA%JIsbi7+11a)e2h^T8fusn5IUQ>D?LYKIph6y-4hf0UZ z=a6~$%bzF5rx&JS)3Xl~fKG{^q@wD<K-NRu3sGn(+ba-PmC<vckm*T@Ulb_UhP5Ww zBpBn7J2!c2^Dp|tiWhp0I1ZdKEq)Xu!n1r;X5leRf9aEvCl85>pCl!ALl68lPL8+y zA3f;*rp>4<D=fmGnK>DVUq6P!Z^zO*q|{+dkxLdvT4-xndM)pOdDfyZDfXI3?8W{Z zX3Fdm+kQ<J4**J5+&gs<L|qz&Fp5eCb8P_$q=}idFHPqf^I0*ACn7xkucK`9YIbL0 z%R9hlb4gmCZAUm$=EmM+v91{Q0*hH>YI5?f!=<&M55s*)E<f+%F}EjB>0^F-8qDQD z=<pgsl|9foz{6~+gNgeM7XC`E{aK}>)1-f36QayaN(n0&{K|Y9AAtTGaHFhgD5nnS zh)xCto+1FB{sRqTbRnvZf9CA{J9e^Sp3%bv<FH#=5ls7A)t;QEgp}gcsa_1st<O_s z!7dpz#MMw%f&2IGL*L;{Us-WP^8-Gx?7*}ghtyKojQHcceuBmaxiBMTW@c6!hfHPi zymZ|1Qqz(-$}DIlDlD;@O_+UcRY2*nrI0X8XIO5*CJFlbfHep+NVm6Io*(mYdU|@8 zr?nhxm+u7<-;?gG7Oxvu7>)PS;ryHD*jU%%YIES59mT7T8F@7kR}QJZh$mU4l0buf z{q|o&iT@@c{=?(^m&^WboJhR9Kx}){c)_)UZOg_^OM9+GK>i&JBB1d)nTq%e_oy>7 zakmTfw=$XiHGX<p1~W0>)aqXrRCZ;@nY<x3F)>jrwIlwjVyzvs;P$z)mFi)S^YG=A z(dWSay6U}PF)08H7y#E=Zc5BXWT_{n?x%z8Wy>1!$SF)HT_UEEtT|FB718*zN-TTj zSu+M~MN`E`Q+L1rv-a`7Z}zW#j+ftc=(?LU?gvowBWuo-xxcgHy_DT?s61DkOo{8c zQ}I1mVJ)9aK6(G*;%3b|6JCl26Zk4y@Jk^L-a=#<S;$HQBg{Suezqo~o~?9IXqhW2 z+HDiQRFPpwRp5mZx?vT(zr4G{kE)Bke|!E92RC{i@trV;2D*<vFc>>F31~FsrVcBY z@U5H|cQl(hPP`6OAdkN9K;zY@@+wjnzSaPvQNReHzJ(_>pDUKiaj+J0afWB{>Q~9F ua~6g=TNdMg?pYgI`v0Kf{uRLJBa-dr&AdtNoR^Sc$8M--D(4_Ap8YT5ENJTh -- GitLab