From fc72bb96d32aa4dd7408f1ca26811c9b53aa827e Mon Sep 17 00:00:00 2001 From: Maximilian Kratz Date: Fri, 22 Sep 2023 10:05:17 +0200 Subject: [PATCH] Updates Gurobi to v10.0.3 --- README.md | 4 ++-- org.emoflon.ilp.dependencies/.classpath | 4 ++-- .../META-INF/MANIFEST.MF | 6 +++--- org.emoflon.ilp.dependencies/build.properties | 4 ++-- .../{gurobi-10.0.2.jar => gurobi-10.0.3.jar} | Bin 89619 -> 89620 bytes ...c-10.0.2.jar => gurobi-javadoc-10.0.3.jar} | Bin 177790 -> 177791 bytes scripts/env.sh | 6 +++--- 7 files changed, 12 insertions(+), 12 deletions(-) rename org.emoflon.ilp.dependencies/{gurobi-10.0.2.jar => gurobi-10.0.3.jar} (93%) rename org.emoflon.ilp.dependencies/{gurobi-javadoc-10.0.2.jar => gurobi-javadoc-10.0.3.jar} (87%) diff --git a/README.md b/README.md index 4a4ee49..01fd4ed 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ Switching between solvers is done by changing one parameter in the solver config ## How to install the plug-in * Install at least one of the supported ILP solvers: - * Install [Gurobi](https://www.gurobi.com/) in version `10.0.2` and activate a license for your computer. + * Install [Gurobi](https://www.gurobi.com/) in version `10.0.3` and activate a license for your computer. * Install [GLPK](https://www.gnu.org/software/glpk/) (free and open-source) in the newest version (`4.65`) and add it to your path. * Install [CPLEX](https://www.ibm.com/analytics/cplex-optimizer) in version `22.1.1` and activate a license for your computer (if necessary). @@ -19,7 +19,7 @@ Switching between solvers is done by changing one parameter in the solver config ## How to build the plugin * Install at least one of the supported ILP solvers: - * Install [Gurobi](https://www.gurobi.com/) in version `10.0.2` and activate a license for your computer. + * Install [Gurobi](https://www.gurobi.com/) in version `10.0.3` and activate a license for your computer. * Install [GLPK](https://www.gnu.org/software/glpk/) (free and open-source) in the newest version (`4.65`) and add it to your path. * Install [CPLEX](https://www.ibm.com/analytics/cplex-optimizer) in version `22.1.1` and activate a license for your computer (if necessary). diff --git a/org.emoflon.ilp.dependencies/.classpath b/org.emoflon.ilp.dependencies/.classpath index 5dab0e2..6a9b4ab 100644 --- a/org.emoflon.ilp.dependencies/.classpath +++ b/org.emoflon.ilp.dependencies/.classpath @@ -1,7 +1,7 @@ - - + + diff --git a/org.emoflon.ilp.dependencies/META-INF/MANIFEST.MF b/org.emoflon.ilp.dependencies/META-INF/MANIFEST.MF index 2c1b267..209d540 100644 --- a/org.emoflon.ilp.dependencies/META-INF/MANIFEST.MF +++ b/org.emoflon.ilp.dependencies/META-INF/MANIFEST.MF @@ -6,9 +6,9 @@ Bundle-Version: 0.0.1.qualifier Bundle-ClassPath: cplex-22.1.1.jar, glpk-java-4.65.jar, glpk-java-javadoc-4.65.jar, - gurobi-10.0.2.jar, - gurobi-javadoc-10.0.2.jar -Export-Package: gurobi;version="10.0.2", + gurobi-10.0.3.jar, + gurobi-javadoc-10.0.3.jar +Export-Package: gurobi;version="10.0.3", ilog.concert;version="22.1.1", ilog.cplex;version="22.1.1", org.gnu.glpk;version="4.65.0" diff --git a/org.emoflon.ilp.dependencies/build.properties b/org.emoflon.ilp.dependencies/build.properties index 99844af..f4efe44 100644 --- a/org.emoflon.ilp.dependencies/build.properties +++ b/org.emoflon.ilp.dependencies/build.properties @@ -2,5 +2,5 @@ bin.includes = META-INF/,\ glpk-java-4.65.jar,\ glpk-java-javadoc-4.65.jar,\ cplex-22.1.1.jar,\ - gurobi-10.0.2.jar,\ - gurobi-javadoc-10.0.2.jar + gurobi-10.0.3.jar,\ + gurobi-javadoc-10.0.3.jar diff --git a/org.emoflon.ilp.dependencies/gurobi-10.0.2.jar b/org.emoflon.ilp.dependencies/gurobi-10.0.3.jar similarity index 93% rename from org.emoflon.ilp.dependencies/gurobi-10.0.2.jar rename to org.emoflon.ilp.dependencies/gurobi-10.0.3.jar index f2a3cf35ac28d28222705d85d591f366bccdf48f..e5b9f8a0317ea1884ffa406705a47a2a20f1b633 100644 GIT binary patch delta 2429 zcmZ8i2{@E%8~)xgV`j*beI5G}B}Mk^OLnphV-ugQ6H~;*2z$Bmp(P+3 z4hPvh&>$8Fo1%GN*KxEtXHC}!On{&{)PK=DM4Lk?(7UmrD1d5aBKFo?&DlNcUQX%xz=;0`uN@fIS_79PAnd z@bun9ItHZD(o#jdAXV@md?90#Gl!unyXZGD(64Vl%mB5XKZ6t zZ0o}H8EUPMtQ$(VZ=}qGOoyf=nue?kgp*p(N=?Nk zJB`(ASkxv92eVFK^5VvuH6wJ-EqA|j*XnSf?H#Twue|L~L%Yf4$NZ3fZ9s_TTUER9 z$#vgkk+Khaf^_t@$K%X;wpVr(c?-#YOYxPpwD)Pyu!_w)(3ejxy;G^ca$LlzTe;BK z_{DPc=bA`To%@!0jj+DS5c%U6{PfB2RQ}TPOzJeNpGqhV*7GvZYH-(#%DozB#d4vDCX_rBa16Fgp4x!Y)IqlF%8T}wYFzb%ZOn6?s9r9ADb|#M# zPcH@C15gV-h>`u3- zn)fyMrmARG8v5W!&bw)G2VXsup({F)5WF8l6k;!oG>+J|sk#0kllF2UZAG2kF)TGZ zuYZu>a3^VllPSUO#cCFlRJ7aL?TU_f*u(?s%SXF~R?2=yg()0wiU~L;e_B2!Mb1R8 zL#F(QBDvBo#ME9=NX>U-GS1mJCsxqgF1y5?_V}rahUso`LSYU7h>7H~cG(4vj}8_NuTX<9i^2z@hNvP?l^ zS==MNUIERpnd@puKb9x?HPTk+vuk6okXvVSn$3WRryj-X+plR>RZbOaPRb^iW7_`9=2t(KO3RaF&lYQa9D7T$ovIugltRqmX2zxG-*{YNn-1n)Q z@_awVhCRQnx}&3D_ENO-S)xPMix{~*a#H+GWw^Cm ze}D7j(0s;}nY|YuBy3T(LNRZS6G; zP7LHL|2qcgqM3sL`N7YTorc7p^ey2gV4p z@CTNE$DcoNL{O(cutSgt@dxrJ0tbXEC;rf}iNG4+wgdoM1RV|dQPCOzY!L2yz>nHp zfxr>R%|dQU!o`8W2vPJ00xRC0VQ~^?KipJ={YV^79=br{^x-t}s@5I_)y4}xT&e?ELLH3(=U)%8I@4vfO>K|l>Le$OS?FpdngmAL++sx3`_ zVj<|b2n0$0(*=rzJ;^{*iF*xm_I3sp=OO5NFMuR}66L~0WT1}R1(OWq_+s<{oU0FH zV3Rh{0(q{*xOU4xs>5-o8GHrPGdZ1V&>27TLm8 p9FYq5j&puLA90T(Iwt`^Qa?G(y8~Fr14zSPDL|Be!H;uL&|g+e%EOme6;H$Qa`APD5Be0RaPfQr@ z^9JIKhv=XIr5r=J*at{6hV^et^C*~R1e6$+*8BdlUA8UcSJ64P zjNA66LVS-|Cs|RjPXEK*N@{I>c=i4Dd)T2j^FzZy3`c^tpb|m+^PK<*2ok_T(BI>6 z$DtSHDZwkgoUPS++6g1-xf3q<5d{zpT;xnyl;j~gTUm+Wd+e$ZPr+TmA|xQe*bUnf`0XK`;qxBAMH+*Ew_)=c$MIhu1UWw#}^ zlbo3K5Opw8X83@FuHhARQ^hL%Y)b>)?UsF5?Ra7E4zt3amesf9y6#4<%>9(EdI9H% z_H*sDKy?;h>{M5?9xPrsvNTA>I7L;b6~N#FD}}9B5z3N{>ozfP_#`7ujT&^Sx5gx? z`xArvEkj4YjAa#H?WHYlm{CD8eVWhDzeR0-YDOg9s8L0r7;5TP39=^#C9X`MH$soE z1zsvhNs~yTFL|(S!rNj`RJU~hvSoUEZ;G;qqv@gL-wDCXD7V(U)ozPyo1KxN!>N(Q z8wb>~R<+%3X!X-%M@pMQtIh7!<>lMZ(@spwtLIDKSWyf~P$;C8?p!|;lF*8KRor4$ z&~92-7+*J`nYR7Wrnu*t{YPYm-EI~&+JSSQY4=`GI${*u?d(0^zHXauig91Qj<1+c zmaNrkAGj_`wfvRIdYO7y@rmm$vCh70+seWP#UiZ6EZfR4gW_QMu5<%H(!Q1W>?b|?T73tTPxqBw=vOL+eqW4JGVR4yEed8eL zXs_TTy#gCVs_S}s?aYRuN#ji{s)X++t;M5+J-|4(#-ZTy`cay=i|NNxQsVg$(>zdbIXWkoSb_<)KU15JkINWB00)Mxtq0cPqR>UZ$)chlH{Qg0Y%~NlKxq` z%4z&k&Vb5P&0Q<>N98dq;oUK|G4FBt`&Lk|UiP+?C#62qEh4s+iQ(S}IWm~e;IeX((iJ&mN*SGwA3mM9vnMC3-aA=}(NV70`l^ls%L zTh?g7NRhF|-FI(x_6PvEH_isGLNb55Y8H&b5 z+aTUEQ*}ej_QdI2aIyJ;T(XjC+1e{$>*UJdU@9>8*&|AJ#N~cUPqAFJ$ zDLLO;_rHXj=U4{*(aWBM=~KfSPdBfyycNes)^OAb{G!g0-+FJYbtmY~R@uFVqM_wrfzn*W3>O z@<40TI><0TH(|hBo{xPVVM+=5Fd}N2e%<~9lpbGk_EY9q6;mrBz^fzl&Ntbrma)XGijA=&i z1yg({SilRI^J{FpfbCyl=mi}4sK*QJ;JH1yEB|^%6oO*pAqev?w^n#F1!!TpKRz`raT*u|1T}No%Kb|;4F^$xDwaF< syzF^;7)M|x`(F_ruHcAxuNZzo;cR2U4Zu=+0UBPT0F*GB$T<|~Pqg9|OaK4? diff --git a/org.emoflon.ilp.dependencies/gurobi-javadoc-10.0.2.jar b/org.emoflon.ilp.dependencies/gurobi-javadoc-10.0.3.jar similarity index 87% rename from org.emoflon.ilp.dependencies/gurobi-javadoc-10.0.2.jar rename to org.emoflon.ilp.dependencies/gurobi-javadoc-10.0.3.jar index b8b8adba4742c789239c37066e8b123d1b88cac8..d9baa2212b7f8973efddcd4f33d8c92fbff48882 100644 GIT binary patch delta 18123 zcmYJZb6{lO?>}5?YumPM+qTUux0>3v&8=F|I8#gXL3)H*Ue4t zTsARIDpVB+Vgs?xEc`za-~_t?(YgcnFV`^R z7KZ$n`l~y2rRqyrV7NWzKN%9|*YywznxX$~9;@*F_LoZhPj5x_mtL2a{r_pw8D#l) zti%~N?1sukx_|OiLh>&iPdh=7|8xLOQ2+mf;5IZow!nh@XLXA`DDVu{Kl01Ub*O*j z*N;~q{*wRB2UQ0G-$F_Udl-S+yeGIiS5aB-%$IwVR)xVZEF7w&fz+a=Ac@$B zrY#8fVbBZvW;(p(|Lo{6bMS*vQx`Z3bg=3gwJUzu6Kj8$bR{(*54 zM;LaR_5!0>wWRXh#mkgWO7!}2m(xH`n|iyO)APpo{Q!_&7b<;`kAM(qUiWKLM`*Sf z4@+qFwop^d!DhnNWc z*2!QGS8mx@rwGotq1Sl+p~S_(Nh2M`sOOh|aNqyNbQGqXz)K5~n+va2y7H`;L|{^Z zsZ$(N^}UI|?v*|&sUn+9v&WjLuYFoPqKPJ2GQ=i!1LT8A5TXh<9SkTPI3 z%QyjeN&$7Tl1KqjVUGvTs*fA7|W zU#1v7HvDH!pCA9&92aS6-p zEMbEGAA&kF1(P^Q2eY9^1Hd3Lq13{P_G{g_R)yi1jbc*bL(*y7-qRn^j-cP4zc0o_ z(!3xfUg+M0_r`pmE_#LOvpNjMD1X$g!G&9V%Rn|L#>O!^dwZKTs~N%xR04&&*SHiv zy%QUDEP-syTJz3aqbsc;72k19!@WR=Wz-QOpf2y&7_DZ*969f!dI5M*pCwL6It~mU zFe|SVBYZ#g*NG@MV->Vd|Gx6`UfCmXy!VGWcL(3lMf;BuDqf3un2#`a8fZz>i=Y7M zr3X4}c`~}P5pKgOFmvA}wpkW}9Oh}5chxoXN*SYm8#A+hDfkq56)#{nJ|}T+D?0~X zU*%RnqBfqF9eAREKN|o++NK&DMC+xTdg=7l=RSCpgLae?k8X5vC^A7jJil*5(l=RK zIA>E4=X=b7KUACWrbs7NWDKC1y6JTlk5#=+S z&Wxz4WEm&3o%E^?hWX4W;No(uT5ZHQ#o75Ds?(6&B)8eRfV!yF z!}hU%mjcX(lb1QKyS;9q>;kPdP4-?nMi7mZhNWG8wu_>Oz3B!u zx5G|3@IFms$Ong!#Pn$>suu4utl`{-%k99<}f=% z&Nr2FZINjCMg(aX@WW#yDrOK)wz@6?vdldjY-TONUu$7 zZiA9_1r`{5hhOpg=k$Br*a>rTZuyiPxB3qf{@0UN0(^9~lRykvrg<|f^G6WBTKaTA`Dm*YB$%{k{Wz65jk`BIP5&iQ z4f<8mRWU>&W;*kJim(d zdC1c`hz{J50fUAUj8fpCPjBC^A+@$`jIFAsR!7S+QApA$5iG1xxSke6&83@>`rJm1 z$DCF`OGE1(5+=Sn_I{*He}Ov^^ra4?NBX7Dkk8vHiCYjaKt%Wkjh9iHD}uORBok|e z0UB;93;8_p(&U7q-NrCQmlh0g`@EBKDZ^HV{!#V|Cbnmy9gQ}3t>|of6>`2Jt5LB= zIP0T`omO^#D)+XDXE=Kx6rlU({4SKKzVa2&=k!gflx!0R8_OSGDp3iIt*MD=2%DaW zf@;5VaRH=0B0xCjB&X9_1-&zfGP#f%FJ&1`+%{$Ac}p=Gja?e`_OEAGJKu;1t zSA_9484FJVt9?90{#o6^Ib%3RvBdWTkTug|#RY=Czc!(kYvxBB^5Y_fDNI>1}grVWZzVl&RRTG z>jaM)vsTpd+O!6Xy&EGB0KcDiM}}o_UMg!eQu3f4s}V=l&p2%X1og|@-C@IUpxRSzC_Zl~KaY{Fh4t$k+nz|0Oo!Zt zG~hHr6sh6j8Ed+ZRF0dM#N`IzR9XEBJR;p*?XR@WP4_OvVtI)%Dv_^}8ZdfwT8X0_ zAWGa9D?{PX4~j0kA>M#vd6bUgyEVqsX05c;bo#Az!wYq+-A-I*5>1H=AXtfiS!wuK zsQ_LbB}k8k>5F@)Ps$F_hwEbhE}_hN$RJF>{Fd_)!_#C`WUa(lxS?Cd<{iScl3ibS zVM!vLqHr0Js$)J8ey)+|oWgo4vUP;FdB7WCnc2JTsxAH=WcPb z#3*VQ5E}GTU`I>?C%t3QGK0Xv@6CuD4w5#Ri<)CFUGdnJTp-p2SXDz}(Au%e0mt|U z5eVq&ecbF$)KCy0oNT`@6HfAlZ-0J&**$n2AoC)0Xr3$(&IA`BPtKQB#z}r8uwF|w zTRPqrXs#PSlkXFO#3^^96!0+cc_@atY*O<{3@~PXj{LbGV72)+Tl)?(o>}ELwRkTQ zo>1*WA$U95o(YT&a3YE%w<#ABjFnch+mFLR;>?~{Vz|9MHZYBcvjZqD?9Pri+nFTW znEcYl2~>ylZ<(Jz55co3f!y)m{Q{qE%|a=)qHAA4`GTDhuD!O(8}T9egiq!aZr%Zx z$hfXw=S$zlkV@^_U|22Z0!bD;_k0*oekW59PJM12pDQV#%zt5IO#FQ=n<`k(dYqJE zILUfFNg79@nJK3603T~s=j6|D6j8bj!c#!gR~hSx$u}D>t_pq_J!cY?!$+9ozYuCK zj^I{Km55n5g2@+~;Duj0cgK}{p$0kss+&R7JbA2_a_~!2AQMTQubbJWm_aW-RBY!C z2l_FlzM35%yFACOqQ^ElF^~9&5zad3Kz=SEXT(s_FPz$k|kI>WUANC9_qS@Ai@x#$BCOrUARxy zGvLf_6vJrz6mN0!(OQ%5GD#>fJ=>yRGlcH)E(gfa8`Lk}KB*$O=5#;h-Am$heH(B7 z3;~9*%hP$Ne6kEYZ?m2b=PgW~jN&cgINJ%S?qT6oyzkyLAX(|(Nz$iG_M>N6&2sx@ z;Zf#-n()I>f?1=bQCPI{NLnTsjixP&Ob)1Pg72|%N1mMeGz`p_M&-rlvJe8J8Do2y ze+}>ue2KTcOkZO|0C(N}*#D-nI56oyw9_SUKl`(4K8kp)h2aEJ+flX-yGo3eWSlj` z@-f|#Q`JUO-%FA!yhjXYes#;D0O@*q0cBuwJf2d1nPhKF4(M5(-EDyVX0|f9*A=OCIn|q>aGd8QL?Tt!-?MZd(`&V{8 zv_H#n{Wih>z$;7Nl{+r4GuY!i&|CWSZMGws*=hL?9?q7hNksNh8ua#Mv4U4WLN3zaT*Xz zDn*mm!Y)qwaqwS{Hn_M&v1NAyRR&_2#(gMOItE%MG8@cFP#AoHm8hfPk(0DFhEX@_ zy$kLka4_Rxauf&$NC2JaGIDJYHMsF%r1ok7z4`u5uCgT4cOtlPUE*wbH#(F-;HYef z>my9yoO0@*=_~WB;9)2>Atm~$4>0x;!z0kzosX^bTE43^8%!d)S6MRmY5}IKS>>%a zL^XF|wsT`D5wX80hFsvv2ER%Y1;H)HVP3tg_6BnF-ds1UjWTr9D!_n13y->w6J^@s zh8dOAyWs}B1;onSSZ=RtqDZ0;9Tvhd)FyDuj8}JZ)(+c}#|*9O?o@4z14yfD;$uh_ zp+rt=Cscs{82VLZgJ#tFJqGp523uV+t z@p{GRC{CKTW*Vn3HQ#O%S}Az}3Cx{>Qj!$0O=xyjt0~tHgTwjEUy~^IvlNO<$tyRG zR)1EV#$78W_MY+7{OJnw05G6Ja?EjLgfuRGPf6qLub$DS3*Ra6Fb4q>`9Utma-VWR zSm=eOWggj4X)S-g9;fO38Ah_zh0Y|jEdU(Z+IKJ$u&mrYUW-Jb=NPI)|K3Jr1vzjI9^b|Cqe^P?rEO#I?0W_tTf5pgjL{=1IKYS@GwuI z+M4W>TF4?`p4$|_3usD~9xV@+c{DVAnlBVKq)Wv@)nc9_NLq|wwDm4++P%ra=UKuc zl18WyDnMoDv_he|LHD)>gG;UYo*-h?0Xp0yQoOUhH~Tr>iK1Z z#+s)SbFJ6UM*zjmEk=R^ej&g-MuM(gi_z|`GW51qb4kbjdxx1Jm72|E%wJW|T&=NJ zWm;j+Cg65AqpNr~A-zXAIAk2Cuw}HqtCvEoh#k4I8M-|B>(vp4GLD&+9m(HMP-UE| z;;i-}_VKz5`l1kI+AQag9qZo>IfHcMNbB~QXdTKEL!sa(1Ms9Ii|(<>&dB$3*|a9} zC5S6dk6}%=B^DSSXAh4;jAiK;eyaCQ(QiA_%{*aETc9l~rE7yAW{(MZMwaalki*Pt^ znQ6($kof{kW9;8MwieNF%llS(rzTZc(AvM@WcaP0#ACkyPHSZ^VELojcZhMR=jH^k z2rVyK=h4C~zT|S+4-D`*Gkl`sfwl9*3ZYbXLTouNPVhj6Wcnz&$a59=M%+aHnm~&q zoqAqlIRz4B$F;J674>S2^?L{nhZ-Ym`oa;zlrh-Nrq=&NpA9c8A=!JDi0C2=i80^S z60?s{cwGmC&sq5O=T!^`bVSYASsV_)Z5aNPt!fu?0Kv{K=zbDmmCX^Zvt)40FOsTZ|LQ7W|9yR6~c2x0-z;0M_tn{R0jrPJ?sg&{lD#C>ef#f?Za%6Y|u zPvrybWgP|77fM}6wW?o4v)Zcd&dOEC8!ScElCA)$ra_Wb72ZYq&iKn~vzLQJdT>B2*Ddp6l=jjOZp6fadXHL5Dzv zqO=64W+;~DT(183hg1jD(fnZQBIw~ombdk*59|x(?dkUK`OIT8j_%avXEVG3%S(TM zdbCzcNFkaby&4(XbSY+{5+5(4*Smp>Nt6Z1j+4t+rhDTPGY$T9{w`(!&*Q|sFzcF^ z1?(zj{c3WkIR`(sT_-Ca((H73S#`~@Vtjsq?+06{KfzEeofD$h=^2s5;o@vR)rV*c ztZ=0UyLbJOtb?*73e2uay07NxAyCXCIiuuj7lW?SPQYm-Z6nX}61CCEjwe%;5oRGl zjkG~l{$*c{Tbl@qgESuC6B7%B39P=Ww1@!&Yq74ZS<3AAKH)JA)063bzT#=0sf2zl zL*$V*REg`f2wnl+-+c);zfwZtC0u7a&~t<`8OeT^(99eg*5L6J*s~HVrk!xgzm%J~ z)5>Gv+T2cH#Y7=!5jyZnLY#D)3H&u~I_tv_~S>yvTiMd4z zvb;euGqTA4cJf=D1=bW(lH^Z{)av3ln#-(Q>$iMZ0W9D75y*SV25viXAvDsWHV(@v zsRJQKg%>B&0lqcB_ZjWjSrYm8MQGsDD;(zkG;sWh8-x3WgaOy9l9YTr7Y8qm!;ei) zpym-N`&y>YWqoX`w(VfLGG3bu(Ot;klfAWcW_p;~4t7sQkoe*b{9(C6^Xg^AlaJT2 zkYUjfIc_7&0XTk!$fduy27bqQnVfiw>7i4aia)iu1 zR_dS27KZ1J)J7ZOY<6;Y)lKEWx48BS@*Ed5VvIP(?-I-Tu*WjdsN)1RScKP|F{&O7 zUgSwyPwlR1Z>Z(zQ?FL8a;^1aS?-G3ow8yLZ^kp6*B$*j3v+|a(Vk$eG14FC^!f3E z?`2+H%?a=jNN{G`-<#7W;?UI{8w&A#it(k{$RTgh$W7Xa%Cebrxn;o|`AKxK7|WCc z=jE_N=^M1#$4+wez@sAK^srZV6|a`-aZffo4|o}{I7`y6BMDcMG_qOj|>s{&FVT@BRQ zAsk@PtBL*Go@YV|hE5L8XCv%=kAr;Ry^x?7OxM1Hn9!&abiJ> z#m;P7lwW*@nV8-v!R3`QUzAbEJaPspreY%x@ynt{7;j-|EHB{3VOLjijP%R>=^qx; zE|0R~Q<&}OdZoS)#zy8V>$S~Bb^~io7k~o^j}&KT;cD#+gn{{~pw^hB+nDKhE$oVQ zEC9Cen!lP=4F0{OQ8@u!WzVZ@i7u9P+9YGTTgnm%pKC3gmfFHELECEAK4KA)id(~Y zY!|gK+y?)G(p@v+UAJCK>{%Tij#zAcmd>SbHDYS!D-P`2*_M&B1?b(u;cVC3Rl3+)K(9&N*bioD+aR`%Q+rJyjP;=r|Eu2{`*^~ zOo;H#uS%-}XD12s+AkYLG;WdyA&k=3#bq!O6gg%iGDOgG={`n50VpX^$k(DdfZ`n;?aJFwLNzTi{VW!q0PyX-~?+n~Xd-~5t5L4kzodC`d6gUd_ z43u-uT$jBezVE_tnRw@IwXg!%zPPLc?021~gGpYe{y6LwOLyB?)2vxsmeaIOJTN1L zZy8Kv^pq_xgBZ!$%Qh@<$<{UTGD zp(?}}T6CGfj9@}tD7GO#%$f@_cX69pbe**nXLr?O9U|tz?mueF#{tNlm}h5}3@Q~u z-<(|hw7ROCiwZbvw}A!6g0bESiuPV=6q6Nqao#KIe9>f21w)u61oR&QP zeOFB_y1MKvhy0PDPSgKMjCqJ;l5`PR%Q8oKv^Ll%@)DOSfdStxARk`S1SmZO)*16? zWtxIGec%A^EINDXu(X5AwFM5B=t=sl?_jqTj_|OyFElM%XQPV zUH8VWm1QJ5gudhE>{K-C?Q#=`J$R|Ra!RqR8r6DohW#TWmKm@;M_#ElQ&GOGE~z(T z`XaR@glKT;v;~a3-TU=-gU)qbiO^Y)ZR1R+>B?~Jlzo?VEDw(|MI}oZtCU>21#8*| z_yF%3=eR)CQYwB@Gh*gB?YqiM#eW*nL@TCw3vZ)J4|rx4OXqfBKTkWeQh5JMEgbvt|`~CK_VI=ljxytPT-`Hs_`~Op?#ePP>g# zwugtpa?ybK{t=D#z=+r2NJxN}Zqm8vuvZT!0XrRs!5WVC7Kt{y`S+*lh!Ia&FBbOd z^Rn4Vu{FTTY8=-E%TGe$Xso9DmHAKRv))zfkAhDpg1f7TCJ3kb4tD40%2#BEvI#{E zg-9c3`A!{VoE0S}5sQ%N`;vx-^WhP%BWD$miXP9!sMd@cg3}j2AEN5p0r-%1*5c}) zVh1JytZR6|a0eS@`Ai}vuM3*L0_L;0FLP!g+^+$PikbP%{>tkNgB-_P3Bw1DstVz> zKSQE7kO2bnuDy|Qh=c80=`r3`dZRSyaW3HCd`r8ckiXS|39!UHH~MUOOiO%VtSXM0 zWCho2%k1O?b$o_tObMd3YPAG)fI+mOENJ}4Obo3WCfeyl9ERsWTL_keI^m+7WjM5- zQk?-$ISWyRHE{atNvjYucIR0>frTyKEezlSXiQNX8tpT8fO3mDfrjIwiq#2VMrpdswl+Q zY7^na&#G(X?PfAp7J3%FH}?vg)#VEMxhnt^O3h$+d*|5c4Q7QPm!)4$spF2g}aMRndPWyM-8(W$qsNEqjRe7#OC31AkS=f;NLYp&)~MM&CpT*<5giD)Y4ndr+ld>6H0{6_$Y_;~ z^-)8ND#9%WQZjt$VIFxZeN0zl_J?hyiaN*UMqiz7>`k*FncOC0hHM3MeK74X#knP$ z(SUb7#=+{Lx%`ymw&D?NB++yD$XWrvrSS!c9p^|x^M-!yyCl#yO&k442F3uQ_EWPn z4df2S0J7X_>thbk0Qr#^jBw&`kEg8M5A6PXn8o9Hgwyw!f$#Uo@%6V#aEH?aI5%(z z&}*jFdiiv~#;^e3ny#xT zfq1I*8+sIw>}-{e8aeHa_9!2KL8`SLF+q^&1XdGF3HF{vi)qhro(j8-hO+i7ZHX5Ix7?sxBpY@g${3atp@830HC&7G(i#8RC zWW0?uLS;Y?5wJJ)`m)Gm!01gMzwx}XFb@D4sU3kW!*nK3=F z-ak7dwR}RS8-u#KL>wv$+jR+Jvl0u_p=mQG#qIi}&xS!@!SiDH=^y|AY>#x;ExiCs zpE~Sc7!_3ve?S`ub5}d$sVc{k`jzqP+@xP9cQCeIeCjYDGI|*feqzni{#nmOb0`3T z*78sYFZ7s2{G=)`7Tj>U)bS=>ol1$Mux$N-Las6*ac@@~qQVO@W>O8-VjlcU#mT`j2DE2qItkoX?nwF1q+qkgpmn1IOp^hk&aMj%4atI zKE|gOg(nS4?D@^KgMw%6TWlyOG`*yMAA+se2&sz|wm(`Vn8^4GAQe2=5mwBZIC(A1 zD+WYbt%as_@*(|hG{5(@O7r-1EU>qXMOu4;?a+T8e^>XEH|*{E4aK+*C4~-|4?+vp zF0NF=GXV$kXF*tM2*!8w@r|2E1NRu3+^|YtawfGIV4}vP0KS(TZqCGYvT;7-3rka%rTAla2$VWsj1<^<<%P#Zm<3k^vu^82 zCT>CeRoMZyk}d9R)N1jBh)3PuN}5Wd%v>{I6}{}=sW%`dV_A``!Z<`*8J2wN&}RMK zLkd8|RT)5_rzD%TTrkhlRGh5z@U!gOj@`HO2p(7XL{7RI07il?SB(bshKF9u11J6E zSGBXp2O!Oh)HSnzKncc0))eO+bTdvK-Z*7;XTM7&gMzTo3}lkYiyJUyPyyRgqsP@f zJUt9R7j|A~ahvVuH|(?Dg6K{CU<@W3p|E*yVj)w@9(#jH*@U$xZP~RSe)N2D68KHG zHIhL#ZIE0Lz(MV<5)$$AhwfzL&j#w5kLY9F!4}E9zS15=8AvF^XYf;TPaq)22MD15 z2H#MDprD}s4!))SH*MC^-UaOSzlpA|IkHsDdJwo4!!h8+f3noCF){2GcojFxX`AR*v?ms69mK?MF$E7%}r zFujNSxcK@Y7zhEW;y57qz$>X{I3Ushi0;_<(h3EOK-;0G*0Fi9wtcbYarRSs9n58f z;hIyQcFma~rH(`Tndzzr>kb(W9+UdX+hC{kBlp$EDMefFM{-L=6_K?F<%EA~eh zsA5O=%a=RvQ;Mc5{sXt3)yt8gBh${)HLvM?pO@?i!vc}0e_GxxJ4cuAl4yL#UvlU* zA}=`p>_-aFw@_S=u7+%eH*6l!zwILouckZQoNEwRN1(?it*%f_vt}!*`F& zX@Q2)3sbMBLz(s;oQDW&JKp4#0mwW*IT!a3<(l~yUisHI7#eCQI^d zrDA=);}JRQygr74fi~(1zVs2C`juuc>~GVc8s}>21j|$}+B5DQ8z;Q$zksc|EWGwV zm8(m$_R(aTseVps0ERgx?%GWcc;Ft@GC69V%k^bS*XlZI=^h!BZBv(nott=%+9;hM zj`yDKdwTZcE3kuGWJZHc#4)EBgD-1 z%BvqS)q7>r;r=);SSBiX=nc`kbRQ{ju)t22o)0DH^_Aoi)RpFd8*=P%{@_qcFwZ^O zuwUbM&DUu=2Pno-4U}z`a5GN1FL4`S%=FpM<*z-Ks#K?O-3E^0Kk+8rJrMKsbahOp zI_JaecUH_3q|%Nfj~zy+Ar4JPtrYmtBW$^c<}Bx#32&f1;M%c`JAW2kX-F%{^cq9f zf>m1H1lHk^9;r6KQ`cvKQr@1eN8s+E!X zn$ftrB}mm$hqvT_cJ)m-HOjVgg?ELC+Lk$Uu)I0<&W<@wA-rG6%AUcYu2Xw>KQ3Fu zp`9mt>p;8s3HRBp{4fDNo(`5Cq$vW~ZK@HfCwAXNvr`$AvdOSUO3pn{n8U5#tKrBO za+N;904lcfEP1*$6NClnH&`9CIKA`U5oS%ICw_Hur)RStVT*nf{!#iGOjGKR`Gx4P$D z(ZJC>98CgMjuK0IOjxwEr4HKa{oihUEETR{1M_AK?Pd#zn3^7}*@3(n z7?f`oqyC8*U2Gx&iq%3X&WuW*kW+!e+r>ZgsV&LAEr1)D2N@3h1V`3D`Z_Hkq;}Qd z57NS&`9%TGRe-RA4&fPL3N1KMyP|^s?=(Z~U2Y^jkHX&n+&`P4#72^#DDhXG&(;S{ za#mX!JJe0bxQkzY8tXz|k0>ebpkoNK8>Oih1fugN2o+psYM@BSrUt|1gjfu`+a$m$ zXla=QQ_LK7Az2d5djxC&stRw$9y6F7+%_A`65!7gE<8&Ji)nV>3|;`g)LET?I0T0B z<+pwpp)}#jTB3-8|CY!RwPE#;3ZV1<#{lUe7R2OwNnWf1slZi*&-{o7pF#GR08)Xh z!ic}iuUJQE@>TG2<+bk=!DOHKLZB>RQ65*P;jYz=2gd8K_`GCV(-iQGeZZjoK^&L> zTWu0BWq@jTlBfrp^et)AO$U3J_=>)W3L?!89jGi`QLn_F$eHMO|H?H(=H2^;N$=%i z%2=BX@(-8awD>2?4ZZT39mAe7grQ(nrbIQ8Cebn9*;5=;PL+jdw9@D~H@O3%dB{(M zQu32&Wif)>0W$3V0I^~jaKK+oOwt|M3a=M>#{7#{IXsN5I+6aFgB3@wa)_G}j5ujn z*J%2gM&YpCeC;q&jC;_u%hB5F_EDKrChKJaa@NQN-zv=>Omjx)NdQ`rBey(f1L#M7 z_dmpeQGw%RjJ-1d#S==ABm382fz=s;vgsE%01M!ykGr;ITj3hDzj$S_vocP`5kB+v zP=K|`4Ih}qM_>#XhnBjNGQe~wa_tK)gsyfPfW{&}3Xgno>nG!3H;Ra2Zbsu)h3t`5 zN_=L~&nGHpR@tzix;tpSeI?!kGTS&Q`;!ve~(<6q~>nSOtt$f)i{b zKwTa|Fy((xfN}~zGH}Fy_i^B9WhKGpP}=1ozf~rcr5uk(ZjwfN8gfQYb-VU&oE9h9Txj38IL%}=T(XlIc; z!KwLEOU|QESX#qMo3Hw|eE_(xmx6$PngMBjmXYQQ8j8k;p15Z@;_VfvsA0sVNYsO^ z7ZP=+o(8(hLLr~8Cxs#fs|HPgz~^%Mbx7DF!r6sIox?Z9HVJe)&W!RV71*ZK3-kUa`k6#H# zFn-pWW6m${+(_~31~j}5U#gqt3cj%wzn&Y?2jLSpERU}B6q2HL)0-#k63ZKbqV2w+ z<{T!U{ZQ)q%9h~hGM4-YGsG5W@5(_|owRA-zD$C0`HQ~v+gtF9$VTuwV+!}qvX|w6 zMGRO33`Me86EFaOtfk0=00!9^Eh*J5*>wuAW_=+X#;5I6f-$}yiVtOvlMy$o*}FdV z_695}^3;s*dIYF=v~U}Q&J^fK(cIbK?8}h(RAo6zvWN@ojXFbgSEipCU;i6HfHtbv zA)_v`Pud);ygS$Zx<7m<`r62r0Pml1nMq2REG1bM!X3I3JE*eZH8obK1G=3glrdH3jzBE7TS{zp+08YYPhlbJ7<7W-&O7Zi96t$)!z?HGJ9cc?N? zgR}oVnt1u47D}<{AHAjm)#<)6i6XcWt3tjp@=xPtQzjuI{E`;Vt+W}dYqsUJE-=ri z#+n=UAYFqyX0`t|JK+b#NCtmfRRNHFr5#bsAVE!{{h&3HF8;5|fEZc0u#>3hqvGIe ztIS(Wji}gD>Zs1Fbjsty?~sUNNEK=|u;vUv`!DqvXY_V$ovLb~2UcNsxdGFoj*K^} zwH0gpyl=uBIg^JG@+mZG$uyF60oU?=gNM?0lTH5tr7VDPa8?oe)H)BKSmiIQ2^XYY zD@vYD4gO_US->1E_0}pZas(Th_KGz6yr$?$m2;<*auh)f>(ei)Uge`x>O+yvptC~> ztfxE-T%@14!vi-lIKtYMtNg3L#!0Og(=XI_x`ix2Au#V>_L`Gl>;gE>lA->W!F^_8D!7V zUO8-J7sC64j_z`w43n=gTa84Q9(nNx>pMry<*8Ho!NgXP{RqR6y`&P8BI;Wjqqs2O zA0@gtsS+U9G*bP_ZU;F^j9BSHJ103-t6$l#u^~m8zEa6<2q2XA;nRTs924F=r96*y zM^&q`j&S~FjQCc;0y5b=SkUvY97E$l) z_)NYstozEbfbfaf3|ZdHcxV;liXUN&P)4j{++b`cz%~ekuly#m zH<>l^iM57|*RFtqJjia7g6#3_*_(I4rvNUz|J(&@H5$~6rRh-KSU$UszIIL8SPK8A zG5Kiv3ZhwBh!`aZiCBKW6^#TwxvyN+j}G)kBM9&tIj9>)B^suw?$aDpre>!0yJ(KxY73 zdc;zqJrni@Ih<7o(f##ZY=+7rDYJcIiH{oNqqy&d6@hfB;W??D1a~Q;Q)giir)_mc z5I~orui+Qs>-_#K{B!*tYOFMl&J;?Iv$qu_5du)@5znSWLE~4k;zX(K?8M8g2KIGN z>VX#)Ag?az%+$Gz5c6H*p;SCuzxrDl+zuO$ zPA~1-^s{@6pepWe?H{DLq}}f_<2I8z?1;{LSLociItGTwuqKj;+>RJ%DZRes10okN z2$LbAO1rdSr-yv1zB;L()|MLq4!mRL=DPNT*eHa*oSN!ZPIg*KJqt;-F zW#~zCUwD63d}rhJ_CT%K2+P=oxHgX0l|@<0IxYD-wSqYR$jF#T)EBP~@I0yV8d_&Q z$J~1_90uj}PyoQRLH{Z_8G?3)GOG7ayfSrul?j>yEG6Phi4u${kBOIFLcAnUf`c+b zDIYAu94nWh^tm+x*Gbfbgr@sUg-_;A;-&V_c;8I-P!Dir$%DvHQPT&RxfW+~`U}kb zPJ^)o*#<2M1i}Lof~kT5x*ckblDUHaI7VrGm274N4mMv?kzZxv3@CAjScsbv$El_| z0gk3C7A8zGxcpUX5hU$L8M1j&B8z=h{Sh4KlS|;Z?!vT+LU~dHVEwQqTog+#_*U;F;u?7of{7u}L91#2RVNrKzJL3PWG|J$GgkF2 zS97p9v3o@33lql+O#;e8xE%Y-(HJz4eyZ&)OQmr`)#%ck1$E2l)Tn`Fu*wn!SuxZL zzVrRyb_MfH&&xiWM<>GqPsQ%(T%wU15*iaW6=v{((O#@86c(Nu7@Xf#Uo=YiOA6c9 z1AcW3%<$k1U_y@%{{B*a`Y!Xd0I1)eZm6X2#isDm=q0E}lDc9t#{u6yxY1yX zU}Z@TwgLiBT~Es66z>@8;@)z=YDS}s&y@cc*(c)KHwg-5V0vFG3al1XqF6z*FD=9< zSF)`M=$oB5>3^-S{V5a+5G=ZBn-m)BPZExqrqNF7`yT^8^-a4ccC<58Iv0(c;5#I! zg#>Pj%-?_>_{vX5aI;DlT@wO_KymMp-}>nu<(V2u=ZEa?f=7CSjx0Pm9i_-3e}yF7 zIp9LN4u>m9NEObY7-&8(MTiVf9~_0>)b0ypqO^PfUr{Y>bJlw-aZXcIo`(Gywj z2UNQiiwkrN-;?&i>P9qNNE3>`uvZ&`S<-Xz*`N4RCK~>aDvCLQ8>g2-C#zq-;J6@I zKb#vU6-Cx6u$ql9`Cqg_@PJc{KarXKy_$LL09W1ccJVM9MhD10m`rj)j|f=eFs_(gd%|{#w23MVXaOiKUXr*pfXgz6TV2* zX9B?h*nmFD5y^Hjuti!_o218AIqU^jCI@X5`HR8#FIouA{nwcI(%Wx*)t}znsM-*Q z{y~gUgfeJr>bRV9kle-C5Z3sbqC}$2#qz)D*6}H7B;Ij`dRF|0U*zl6`DokO^BnTg zl#ExmNN-W<>YbP$T-}Of+AmG!9Uz;(9^C-@{!y|h3@Ko8|79t|mzY@+N@(Yy2*?CZ zA#sO!K|4fG5OA^XC4?FiTnFRKd=XTchq{wBzl?k|)fkTEZ3+*Y%aaggVRET?vetPapZNs zc{#?gGMEkZ2^Yn@fs6PjmTE>P@5;W9d`KjCtZ2pz(fB0SH=;Ppk;XN+ zQ<4P;EEz(3^j{9;Y!5v$t$RY4>A6K_i2$)cU5KK&k2^{81IN+E(?-fn_vdON$$+Ng zBjqN~Gqn5#FyqC^jGxjIsM}JGX8gPJ@RK9}@5(5(1ZVxggxTjm2qivDd%bXEI=pV? z3jUc{p7A0`INSf_bf9oAC$7P-qbD3`FdB7U%3va+AHyN_P8i-5-;Jr1BHEYA9OtT- z)6Hu)ILAknS1iYZvJ-~|1T`Sq#Jtu4q-ur@cqWG{S7FQ!8B!GDU08)HwALvQIJzL|2ZsxsPp;I~K9HVzzgxpCHgLCcGUD z2(Kt$2WLaDCM|rC!;GcWlL&E`N3^=`H|&Oo$bTBW{(2(@*H4<7KwvX)gMf)5#)#~h z4K^B3`|L(0V+rXkPMW{aNLBV@)H#^3t&?>8xE@KGbb!MujI|4o{q2<|)Sc^3hvrr) zh8OuKmXRq${H{V&Jb~Ef;`QW2JXTUBAeitXuf4&!YrU$+bRZQp#&q1w%aS~E}vW559t;5`C+p{--?oaP50rE=Dcog zx%KH2ySaStpSzFC-;NJgWvK!?c5uo^)l+HLG3wu4(iu^{mg2T`AU*xJlo|uGp5l_8K&dOg*h~B{c&qWNBs-S8X za|2y!=wxHy>f7K<&gmd(oe(E{rkx^IDR8A`FjMuv9A5n5q0<3_Av+*dYgM)E^H@Td)n7;@S~ z?W7GhFs{HZYR}k3ZLb{)+1oUSsNLlNE#odb#LNRc;zw=ZLMLb#DtFR71g_0V6#^QK zb8;7KNaMMKG5K9ixYhg1V087YJ;oDuXP1yGs_ zQjEC8GGcC8MmtJ9kSpx4D*I`yVm1}Z2w5;g`~-C#P_U*hdZ_9wc6eZsph~=EnKM)m zam)itnd&nyJ&H{#zym6nhZ?U~LowyK8+h0YIV|u3PaMQ{FZ}_6?gG*kE)Eg+(&PvaP-@GVi;?E(?_gb^YY&bn&uWAB14~qRe&}hu&F8-qAJay zt3YaN498Yhn{}&dPZ$lQ+c?Oin~Ns=<4V24LX+gKCL}!}6Cpud;)gF-1x0?Lvr0cK LPS#rJHzA(@4xc5E delta 18145 zcmYIuW0+sf59q3E+qP}nwr$(Lb=S6S+g;oCc5S1}_U_yM@4a8nN%CYeNhWh9Ig>w^ z(7!LC;T2^-!JvVFAc27DBS+N};K{)LdpB?x6aNL8a)^l`|3Ya(c)-|A+tgWz{~t~B zt_Fc`D(2CH{!2?5ufk~}6kkOBhvg9Cq(RkyAT|-}%)$R70Zy@-5Usml|6)zE?%~LP zp}(@z)@#0m1xMIp{-Ysre$9ta*b4QJdA!OO<}Z}=pWN!&FS)L52mh0#GsN;wt)y9Z z?564^x_|UELULg2G@m*UsKz}Xh<|bbr>Or=8Qi9(=eB>WZT6tRvsiyw+P*B^{AYCA zmw+|!ztn#^LN$QEw~^8TpZ&AA?Mq3J|EZ-jgx$s@0t})Ch~;14X-P*>^!JYF;cfH} zLw~iwom0~D<_-Q}@GVzJDsbPj>`eBsIIqjaI7?g%*xG7WN!zJSq!e*Df^fmuQJr~J z@g{+g561k}%}bdw-f3QsOOjuUk*>!7!+cxUE)u)lllt03*NFyV%lLZrV9G>Yqom++5Vii_oUaK|%SD z!IVN)bYjdq(rL?VUa>ke$sW zG?3cXQ;j7^VE9jf`QFxWmRrf2wojfxB8sJVQ3y`eNe<{9xdZ ziNpAT3CJ5EX`_xlGn9oe;a1Ir?|fsex9MskidHE47=2--jzKtB^t@d8erJU_DEi41 zCN?3!De7Zgpq<%vXYGVSLHRLI>0#WtbzME(SUr8qMyV%bMmcnyf9EQkylV~)P z>Ln)i+Lbbm-Ov>0mL}E<4Z2dT)pcnm@=@-j0|0fB&2~C&-0UG^X)qIB^jZCmD<>Q_ z`TNa|YXJS#m}@|4%vt^2!@Dtew!SXbKkNUpuB5}Swz}&>oG!%5LRhY+!~bVg>EKhu z9ryp7#8@gKwnjne=uw&VN%+>%)vmDdL2oQ@X901S_tNCXYvD!41~B2ilK@=o9}F{C zXslY46$SCmj0`c7hcPilN8FXmMaNGC^CU8nXfq*ePLrAU>;2^3KgXwC$$SF`k+iAJ zbz36y!=rZQz50~HoT|unv?HoR;H<|bPagZo{d6;VM^#ujD1 z{X^1vX$6aXR#Uz98xW-lMrwtvBO~C>XM;xT1sCbwn9EG2{P8=_GVONzPY$0Kq|5A2 z${%J1lDz9Txp=g;e&dR82@^g8&4bmo1(qjMn*qzbm&X{d&i+ zXC4DmRk9pZx{e-Gh9JA)lY&3@kj!aLMabM%an^^y4?Oue$p8QoF+XQ4DEqZ^U2*8H zM2E1qAcvWWW(YIf{zo1HEE{ z6~*74Y$2*s`le>zz`c(LRYtS|^Cotq-KbhPm~A#LXbShJC9jEBcnv>1nn=$;A4CIbNqMGuDJ- zEi#kvaZ>-{fsw0-h*ToB=cbrtVhyHGSc*by-w8r@AoSV6(=-vi!)=ar0t&+RVD7m_zaM)^qMV!;1e9@(~|ZJ)<{y4 zSMUcYJ8v_7EL67AMoCUpO*TRf9KR{+X7np+cn2#BZ~&D#+!?M-b}f4p@i@^TDV2Gh zgNHOje*(E?uNIJ0h@#+Su7+0P)2f;m_LWDF(`c9$HM5|`O}_Sdi1sF3Fr+ed>2fqe z_O7!+iU5%5Kz8?lAz#?>sV<>>eAF8x{7x5^>(pUYV?0>aWg(#5v?{dFJbLG=#hcjY ztCbS0V;a3_E7fb2^t;$=!(6tozh%`q*Hb^I4z;Kk)=;X=YevYcrCAnQ=0(k^rxm>B zoaDM4rjbEuMAM?7XfX^D~FssIGs{205E^e^%K$&BVYbSOyy!Gt4c z!@JrpJfEueac)I^tko`^uucT=n>)IBmD@PIMDiu`7tzSw;zk^b{#Oj^VfW?{K2?)Q)Tm53)fK*_*;+JM%xKg=jIDe2*(7-gks*sYF_|G-yP(A! z!+OUZlPA693<72>z0yS1mJX>=YKI{S0=++jgN5LJw?S0mowRZ_OULTF_8nAOrMpsD z*@aqxBNL1^4VN=AgJ^qUx?letNy|iB9DQM0JlKYTwRo*_GvS3u(LUTYnwH zs{W6QBWigf>-ug4&i2lB>R;~zT`lOC@Ng-o0mWXFBqSYsztCYPxqoXuCp}N>pa6ck zqigVj3=T@01UO0QKGF*p_`!fPH1*WAI|%p;#m1jFNK*C&L5NdHD2aO7vVgvm6%=Hs z82dH)!G4N*z)dAah5l5)C)jHAs{mgvBxupzyYtX$3p!HCQvKw47xYd^LO)jvZ^~N= z3$^NdRq1sf?Q?m#jk^H&{bm$TRRaic+7q2O7yF2ikj#--F;^Crwz8LM4w4;`nq{YW zYYVC?DUP9RCu!JC1f?OCIIETn-ggd!Pv2wh;#4*ah*#|Clct?{wMvPo@x^3}(o^m^ zRWIDSM;M(MYlL5K2ax&%0&I{3GtNA{=!UrCJ663WzN z%enF^|M=etZ2E|N9{GYyiva3|R*nXm%DRzW_%%ny<%=TCu(PQAUpk=t{l6cmCB)&r z6cM$r!u|1g^6~RD?=C5`^c*lpT6&eSedzAsv{kd#N89w7Qmzh zM{QH56Z6xFe_gabK>sba5ZHz8kouc1>JvNB2X=~aTS0CiKMXHgOF{LvDAT&O5l-O} zb_zQ!v;x`Na`=Eu(`le>4w#We3xlzse;XlQ&s>TC((@4)VUkd zZGR-H9*Ipqq|0bTKcYcGzgi?J3=NLvnvW(IVoz5_gVenmNer+L%EL_H(@NmOMu_uD z(xgO$*{Gk|v^ZB)uqu8n8Cm*acPe7O%d+cK#vZLo2W_651=A8X%Lv}3!k&s}Cpvy# zp?BvzY0KsGY3)3dNbWbb*jK37T6R=?NL5i=d?CsnN+O6KYGE4^G_H(07(4t%QrY&03){acTVPAXj(J zaLn6raFC_|Q-AWRDZ)WeO_%v}MJw7&rngX790pt~Z7=}M^wZCvl9*DiKBoBFgYQ*U z0{p(OPlpGy)!H^D zbLWJ&>e}Ah^(NDgK)j5;U%~h8_NMx+l3tV5t&=W#P|n8Mpm@u)!=WhyG?~{zG6N=_ zLm<7&6WTow6A9hIJ7iHv0vm}inIp_m|B9xl+yQc^D?mvK0hu56d3 zY;`ckK9Z2SMFQ##^SPVOMCx+0r(eJFmBu0zL2xgGSLSy!c}LGTK@71tzRgXa_S3VO zA)7p67M&HizIIP0c4J>yunbg=YJ}B3meAbSL;CuY^zSIG zECa&MxV0@RtHNHnYM%)OzH60X-D9!)WrJrHM{>etmP7{Jhw;PuVZNQObXbaL90B++)GO60XbI%KA7JuO<<69MZ2(7Q|G71*J zxmM*q;oCX#X-sn^SUe_XBz%7q$J?5F@(6>7+-ZBa0n@?EUVteu;$Z4js^?%FIxxHsQrSqpQ6Qo0))Vece=C;&g93YxzRxybAz{N6UQvBxa0PCx;l zSoLJ7R(0y>+f`_?PqdFHhEx?v*8v#roiW2kC|Go~yeBlVc?cX;9Oq8x$bTMnZ^>;p z*&D5w<$fP8`K7XM74_m_kNNWG5A2P>w8~6!F*?linB0-j?vJ86k#k|#3$qH5L}=Pp zE28Iw>4_dMN6GAYHzARDJVAH=UKJF)gq3_70#Up495w zIIG$6D(t7!WJz(?boOSuouxI)IF!C$i>13w~;*cdDP zF>Xs<(4rH64Vk*+;egy^H88ww!XkpU3YS}OuRUj5hG{Sw6i|IHM@6KwoJVF=tDc9> zo5&F9QVqG$LXc^ZF97_eAp@B~fj<_kPToaMl307vsv<+$LYiJ*^20%nnk8@=>RKfxKYgb#MB+&Q(7M&0(7iZc z|0;l#%twzQIC&&dEdGM$P$&sBORk#s$n2gy_024EQ9MX^RS8>X^A_j8s#pI7C+}=v zzYrz9wIfk}o}sO+ai#mhKSNtfwb{b5gh*|6N;ywU;($9+tBhTQ)v;)A#IIfdEd;u) z@y6Npc=WPKJswcjstm=|;y8{UeW~xQ3R!)`984@j{uZ35jT9Dh)6CAhvuHBPO(J?` z#3q?M08U}IA5sJEIufxkXq`BGv!1u4|NWqaxMvtKuTsR*a%PqQbxQ6~VJtUm|Gfnu36jzo;h_>zWfsI$Y~Pz4+umI{o9B8O z4p>kg3JAd0OEE+cK}Z_kBMJ>-aEV;yB%O-0=-_rb zDIlStR5MrJ57|Px?hM5Pe+O(2m&89m=^75fLRmlH%Ejbo)u`VC1Sas&ok)s%bm&l1 zQPB5wd{%^#BM&fgo`s!>OjpY)7` zZ%KY9jpc>5DAq7F;@c~RqWtPmWE1fi)L>`d@sK+(gTQvp?BTa~22`f4?O)CWedyL# zyzW)(d_G_5mY&&REiva94JlyDYtuUKYVF5E>F6@=bv3(v7vs?;(bfLTg0R(Xk>W zGx!au(~p-R3Ozggkl+uck3={z&su;BDM{s4S;@!vr0Aki$q7WVP^?Tp$%!zWnkQ3o zsxEQ!$Hd%bkv_>;!eWXa>G_34^YRzy>T8Z|S{~GVbT#tN@|>t7vR!%|SF{a*4&zu> z^NQN2BC-c~*;myKd)~Y?G=9}=BtjQGM&lA!J7Y@McqpsluEzv4?H`3blk|Y=OU4ve zABw1=Wllagr#}Oc+J-qLd7eh28m`OXU?B! zHCh1;bPzt=!Ab_S2R-e^B1b`s8F<%0u%&bMaO{ZNRi&Uxjfn`{q#<}rAmqt#a3q-G zmOe817V?q?%iDM4LU(Lhc+P;qnKh!GQnnAnmx7v@_}o{bF7VoZ)NR@kpTp>!CJApo zhqb|a35s3_-Nn`nJBK_!#BXq8pA?xLUV6ZBFQ9iuhN`=JjFv}WEI|a^*V!+g+XYu> zb4FyFrW7^RR@}p9`ionE_s1$6(a8IXbvQ#@MFj`;$v+}c0}`NEi@gAOE+!7)^*W<6 z3bO4S@acu<)Mxd{2yX6sn8K_f?LR`=M{br-$gXq#RJ6xfJL`(XW%@M0ieX1?8AR$H zcwa;i6NJLlR<>}1X-7$W$X7mP`-G{&Ra`Svq^LO*9dX z2z%H4+~tTwQA}DX1;_>$+VayfCN;C_Qr(YZ*4v_&1~PbK20gyR>TGOn&XT;-RH5*v zi7@zuND`6sE+C>DK9^Ah99WZdIAHPCrpmiDj5<=ZiHnhoL@pKu&m|#sF57f@0 zSep4>mgzk#_vI=8g9IcZgkgfMzmgxt2!pxNm)R>Wv-KD7kwqB7^u3?_c}JGSbX>-A zj~J;ba+dbSiEd{yNs^yVDFvJ^d=zgmOPB}faEqs8gZC!+`2^$G29+?1xo%Y@!Z_d@ zuy?AjAbc((;<=6HKF7jM)0@@E*$%k`?{#lLS*a4eNtVn3OWIMU9`bE&J<(zIF?(;2 z9c^1eZ;&ihcEVLQ99oa=PN{h)_#p2o_~`a&pRk*c2l~Fn zhp*`y76hN$)?tCLpjL;w%v4$4MkP59Ds}?NdlZ8TZ!ZD(R_bNbl;uGotiQl(xFUEV zkEsM=ZQCUPI@ekkNZvycdE7*V+kPVdNjN(uVD2d3-Y*39jBLE;#aBju$qOosNep zRl~)r6V(O1Btw?P#v`G_2}+k;PM1SI*v@lr#<$X~jW>VYr(%P3%r<3{-p0VNYce~v zj0S+Xk#Mdx*X7lwISh-U=~$b)*_n3;-CR6;K2J)_N^qgel=lZe&}0kAd1D%BGP;4o z9gbtQZ=0AV;|fDgZw~VM8^elxB(4 zzVY=v>=@-Hsv_cohcm(&SctA)>AH}uYy|X5+Mc+!2I@@DWfZVXpW4>^IZrTW-%M_( z@2Dk^6G%~ z!+KkY>#gL~BcImZO>T8@-W)nH8=H>L@;^-dDH{#>+#e#S!gYIMF+Tp z!IS|tz;KNYAuM`AhCGz95f&YPDa~Uzy+vGrxV67wX+y=9=UbS}H-7CZAoz?X8x#+V zVQqHBH(^eCrnHz<&Qx_#J=Xlpx3r!f&wsmAD>vET#!_YcO_vQrok9BL{-!@u88f+3 z9ati(g%?Y+g0xexJ~%7v)pnX)seqgh$XRE5`7t$_2P4hS48+xW?Vb4y0T~lFo&$wJ z1)h59>G@!MD%z)_&?k+&@njkixFjs{#hC@~;xhPFqAKf7?C|LpdQDSHQ#E{A<=|TA z1QT|}N7imx(k*yQIZ$t#lVhbpo3K^yy_WI`*!StO67?>mBCpaswqUc{FE?m=9%+*KsS07<|A; zUVz$16HiZBn=!w&7*Y`agsOB( zVuYIDre`UPzTGa~NgmZ0PcLUla)rRuY-DMIgCSaFlo+>zrle_ZM`$W_TGSdFt?F5H zywpfu-N1ivm{Y-%pKsou=zOgWnIJoT%Rgt7@<)t9cnd~gDxa$%6@W47ShzPN zk|f{VE+JoT)MUbkk-8@_7#DmzYM#rHlkUvG=Qwyg<^7vyFe8iwVmgD&USiL4$@IIh zM4Aa)S&_aD@)PcNGYA>+jV7J5g!I6M%|5J>DHjSqk4(qNT>UO?f1V!8lH8l=xyXW) z*ldHycNrAx`PDnMS-?{XR{xT#0ahdv>SDs5^10w*sP)qe9_w?yg=lwc?*P~<%#E{= zZ%Ld+tOeM7+l(!^Ox{j1avHK{cMHIdGOzP%+?RuVTxO4j z>6!LeB1~b%ovzcx*({lJ(KFW>o$%PxW2LoGrJAM^B5S-Hu7Dz_?P{0BWKL^VBK#aZ zw&@(UOeIA>3IXTWJ=X|N2%#Fm7_YJEggZI)~rO)s3s zar@$&8HYY!PPogD9-qO|xs9|IEa>GF;h5L;QiBI2z%kE82-}4h+tUVg#YG0Kz&H=& zJ`LXtkKjHI=X|vj4F3wNWKMj{^J_fpCT8n;jmDLeg~WM?8+ZbF1=T||c+(HVbP1ee zt&4nSsU+^h{6I4WW?R!W%d+bniA)(Qmg|a(!}%y@>n^XAY#@B_qhtb5_Tr+Hs*}4? z>?i0C>F3IAfd(Y5N4&u&xs}T1~d7GR7e6-ZnP{-dhOz`~rYbJOz zVw15)Qg#UIrH*W=x6?&(I}30Zu!MjpBm6;LK$lJ+*_27*57!}~;E6xRYh(2Z>{awR zu@zU_=Qe8;iJ9-T(g!102=CuiG2K#VsSm)uZF0lC=LEKBT)*6*P&$Gj2?>A11yR0(3s^$9xr zH=`Bso=C_+nyWmE2@EwbUSueVwfXs@+}Wo;x2b=U3`)lFq}zR;YE~e!TkcMUvcy4e zse!Vrn)M95EMkIThq0s)6olEcC1do0rL}X{YBM{X=Jfvge2^L6R^ViRCVuhT8F0Ph zlIir=(r=T+y!o@kE~m-C@lpNyvP#G?G}<_I#SR4*=p}4uQ7dfmaQRzJed>lJnO{X{ zS4Y)Pt$tJYNd&P4E=|iZOA@|@20OjHBT=TJry)rk_r`w7 zZM2n&D=!qEx3tVU9p9yuN-0%M3&0cUL~6c>uO5j@tF0=K2{%>1F#HO+<-NSuP4(9W zWyXjv6bL%oU2J*BRFibnyeE0Im8QfL$SCv&($azW{;SXGLmzF~Q&2(=VFAnv*YB1_ z`vF6FoX=4A)ku(=*bs@8A3;aqe4I@;kaS42=t7tbejNH*PCzN6hK3?-!hq)8J&)?m zr-CLIoZaO{ihgGNd5NMmaM0W?J5bEXj`tL_{VNfR;R{?XjSzOosv5)25Habgr~yV> zwmaK3<;7XCe*f<+akQIGTj_KW$sAnRS_1StG1U)*BeClZ>2Rk_2t{y%k`Uvq#DusC z8G`IY5R8@MJoiR$<6qYvV1QqGmS(ilP;&bzqZd1h#$Ny z@wQyY1gmRjetIEq!F`?s&6mY7?~102RMo_GSHu#MjTg```ds5u&W>d(()bLR4nqQ z2aXsE`6qdqT*AYWmg+Wc$qlO}*6STfu_+XsDV ze>Nh9{Wp1~1lPja@f^UFn(CusRUt(A=^uw(ZSSS9z}uc5#Dy5of{JxD!YQ|NwO|Dx zOEkB%hJ_dMxFgy*Rs>w3YG#Xrhot`gYuEC(w(bgfBT z%*=D8+FABDoXr6A>cU%@b?Ofp=2-%CE(K=8O*9z#s9q3R+1$Y)I`mw2lKBTk#KvZi zgM1GrcG3G5^Tj9c;YDpB5{8FE?(Osw8C?iG!2{;7mGzfm#11lF9UhtSKB)Eg%lN^$}IH0C457Ffy`E8{rLDhXDc zyMIgT;CI32Le=a=yWr*XLd0|vm$K<7{Ytw?vT1T4oDArHi*_I!nN}6w?6H$%lUSku zIS?N(K)qYI6`qmJ;PJn^m~lE%dD~aPu>`900V2t#$aYpOSF=xpyJ`7Dr){)R%AizY z1*@JEAQ=rPrr1@1uyF1Y?T`qbx$P(um;_hZrNt zvT7e$(kV+CSe8_t&%NM-riqj!KglpeTN9TL-3)k5ASZ^q3xoVM+{w@if*rrBsM;5P zE=E{@HO?LdFM{VnOmsmHmDhyIqW z+n1_+g!TsbDdHuGL*1DxgVN(qU_pheO<&HeM?+FzlsZ?wEpnLw1(flw78PR%b>q8t3T$DeQSD6|Azniq-XeDvuWtH zN?Dat@yLEcQHd=s%1g;j{ix%|U3Sz9Iuz^6BZi_31SGzN--d)Y5Rms1IM9FHZ>T_! zkdS}7-_rhTIcw|a0rvS{OV?L3SsGR&2wa=NIPlUxTH05i7%2gQZF}0=VIACt=4_SG~)>7fO-0+@hYo;^W{>mSJ#i7UCW<+?Hd2y)+foVE3m<* zeR>AG>#}Xzv3DCjI!o?ZiT|KklJ44x9ny>0q9w;6wTe~Yi|6ASQt6^O6X)2jI+BrlFIF+Y~s}nQ73dX1t-ZRxsA%GnwZO-;@|JMpn8t^u@ z=Y5|fF8QZ$J^3<%w5+RGs(FcP`nvW8n5`ps4U}8!cp;;6xDy4Btfwbu&#W1NCSCW& zp7(pQZQktrXm-xL2vwm7JvCixr*LxZT`RvlyX&;|)ue6m$q5`$+H!rpyxuW;j`i%5 z)ue1CItI+u3V;tijqNMx^us;K_t9V3K1oMy6jR}oD!Yy4uE)3ZCxFm}d!L>zdVQO` zToA+7@oOB;I5VoF)OUK7yaK|fUtSp{^4C#Qr0LjQt`Ah3IdF*s&=ff4V4HliFMJ%g zD}P!#cXoc)xD@&M#vJY2_Oa3@HrWwhGEhB)!0u+dHUhK(hrbwx*&lQRwD%n$)J}iv zk>P?;-R$2BzfG0HkUz(}=idE1?bqsF8+?V(7p41J^NA1x03VNum0Csd&Ra9(nu6B6 zOI8^Itfk|$^unwd(r8o*?XLN**PeCH#Q6m`nE?%;Z8AoFr%zKD^iaYnQn;$(0V2{q zaDQADEt3>H^@j0XdyhM^$Y5v6E`}5N`b+Z(8gyrI>v5cNd^4$~T;yFGIP7*i=W2M} z0F-0N_Dl9Edg;eJHaT@szV$k;<*ip|$u#D%AB2sgd>PKY`lcss9;>g;^r}YL9%?TK ziC$X7?Ya%ng`62kI;e9;!|ywD57^DH;cbOGMK$7Hvw2Go(p1(^={G>B0cdpojIF^# z+14vUVyPxTV)}kM2_n&jM#vJsm!ff_0McpTKeE8*PRRAD-JugEF?8IVkkffGN z8h#-Pwy$E2pq;msDW)q*+Ox%4fD^=ezP-wI0t@&k<-{CTTU8h~YSycDd1 z8*7)tBpflw+rh@hk2q4Wpid!2^XBNuaI$=wHdMp|;?{V_OkyY}N7qqDuf)p&Ppb-_? z{zHf!A(@3$%*T&IYxFX)+n_``85N_=&ZizP`k01q7N61xtYKzo8}`Esp~ysNl)@=B zQ;;k~mYS0bQYd9HvgL7SMjl30J5}eTQA+_Z@+B&bP86n{sQ;lbv6GYQ_0Jb$i@b!Z zLF$E!dXAmu)a*ntJ%70;Nld6m*CwZ)g(sh<`tF`MK)o>^O9qApu$+Gun>$R$_odjx zA7RQS{}F1+pYy1&E{E2R7;qIz$0Ay*w+Fqpdh$h1sHksqNYlkF{rG~EOvRb>B2@eT zo1mcOU>&Att~8(~7yv})NUj8l9Rgnzy(1r39?Vu(MJmeFFBK^4>-nWm~4Jfpk-w7sV zd~+YzU|Z1v;UcvpgVrLBVdI`y*X)%mk@;35YSj7D^#YRpIz1mk>z`pOzf)~N{zOUx z(*CYce}>M~dPu88N*wjq=*4dp@X)sEMEd6rRvdlGA?_;B;-uj{V;ScfMPC!vk08am zh0M4fZ@g)^EVav}yURe$m^|m&Mzjajj1YAia#3Z+qRdA6F!RP< z*uR=^Qf0&0MCxU}<)C6|1HQtezrv3br;_asx)uAoRImz)-fO==vkkG}Bv3W~$f@QY zPU+f4n{txj#m_~#WWF(6-(y0r2Efu*oJcEIVqg~I5F+l zVQ@GJps;I<_P-rbgTXfjwofTL6$P^r35|DU*TL>dvv-F33seq3Ld*VGgjn(w3P42i zj2|#F!F9h{gJoC>nNZMrlSK6+L!iXClnd2~_Io{N_7~v!<5MZ@K=>jQ+C)DQO|Ujm zSlo+-pp!D{y0$lg9mu}!8b^H!5gLf!PhQGLwuyGMBD6jNP(8gb>Vx|bkSATY6RfQ4 z+nO7eIqMnl3-AHdukHTT>lSJOC6M(v_(s!`QsjrzvfEv$tzRsTkf=qZR4>ufW3s#g z(o-^vPSXih9m*TC#=A&A4GD!=I!w`Lbw`cuSf^DKx=yc94V6L|ccmB`cXe9%^M&K(~`ze>JUnfN2^RtgnQubDN;QMx266mi9geo&X$JURRV16*vdVmB(WfWH1>L z&lN!&$bgzCgg5nwUC}s^q!Jj4+EfCdiCm#z#C=IP^nY>g46%!RFL%B)X}Ez@^8ebRK-Dx%IgjXpxuS-5F&h0$?19&D=Pmgu zl=YgzO+)~6E|rtC0l5RSe%jk8U~A}-XP4J!r~Fh%mo;hs!aNgeh0mg1L(ldA>OjDk z2!Bx=?cW`gN)|*?Pz-@>$N^+L8;*OkE3{O{z?}2n?{P3nMN~#^O75oz1&QV_X`5>} z4VNgBZR)=QL>9Y79yZ6oc4aD)TZv0l;=ti)Va*3pbA_b(58_hc8qN2;#M8lObH~of z0s%ZrN6T8j%g@1wy6&Oq!al5FRsg6mAL%nL&`OFWy|$RGIr#BXtR?x{WBi&65G76~ z2m0)Yx#@##yrx4%*ogOkAG>NMq-T1RA$mEE*75JC@0yo9Agr7rUYy4MVfs1LU#H+4 zP(k+o;C|p$<_*du>`1JJXK?1xY1v$sY!_-*!6A2U%{vQ}-lO}(qTH?kU?y3!$QZZ2 zwf9&)OaE(MHS6%{uH{8tWV1~PDRrkux1A8pe3{OvQ+A1FCq-E6m$OOV z31#!F+t+T`5VZeuz93r2Ja1^ERC(lj;xJf;XZp&%rwM;q|EjLdFXU6HV!e?~L}$P0 zP1XOHhddFviP7i*rXA9TRZiiIkg@f`BTy|q-hMCJtl^T7G52Bd&vl7yU#wTy1`(0h z3<-bX`-h5L8btxbIxzb*v4e9RZ>$glTM99^wjMQ!HN*B&r4%rqd)&l1%~8ju2Mu zw?s#?VGj;5R)|1vMGj>}NAkYFbx1@#_)aqI=LTJm>eVUzibzwS{Xuzv-`s~(Fk!@t zd(%!-Je--6ghwb2r5j3UHhL!Wjy7V>8Y{s#&b8a7L;d^@@6oy>x1k20xr7R;AU z0i`+6U8%yHiQT!o55ZqyTzI$YAT>A(@lbXw^*hQ|Dqm@v<#y6sF89ZxdL~a7&Kfn? zoh+hwIA_d(do-sic$qSAE8LI)0I637@y%YAje2QB{Xn5Te~<9ucF@=+K%9tT@=D;Tbl_8(S_)5T1I?Z zIGBTfY28QFDv7BXiCD!o*bo}S>#KN`|0SJ_-i%Do zQtb_jA-+z@i`x6?MJi~_FBcQ^^cl8y=`-L*3Qkml;E$zUI`mfCyX4fJR{|S!uAQI5q9mA8X+*N8FlZ?)UMrcE%;P3#Uv==pqSwO3fWNDd~OIs{} zSrexR&xZNUCz^Y~@DcwrOKn&^^JMkxypN*!M*Q|}}ONdcO zjLb$MsaTB!joh$Mgs`dbE1{7D6+gkk9r=*Ilvgm$dfWu8Ol^6h!#i=ivrnHNzK)PVjKt!B8N$iSjsZZ)lm8% zdBDNe38Ds;$tX)WRa*#%RFSk2`p0i%okl(PzuIR01uqdlM-~68e6UUjrO4K9XpdB^ zLH+?huq34ETvLwnMsL@nj`ZKGh^0MaAa`!}uIG@C%z`}2C3Mov(DZEnUNst-k-^BJ zV<1wUQyBqM0z z>dz}m$xG>R++<2ws;Pwb$kZ7)j5jxGOi844@v)w7->9rtRfq~kjEsqX@j>Y)U=1&o zsQ+8oYca!{IQe1_-H!!%W_v2(>%fUGDWc?C8IELhon9Qwf8Ar0p&2I#DE{3sB@{7` zEc`q}qn$kSKg4|+M*9cCZ1;C*18Q0RLwN9+*fqK|$}y&N*|E>;Y_t}ec*$!a5LYDE z7r8_D{|#~*9fUc40*@`bIhdl$ApP<>^9k5`vN4A4@Ujo7#m(>5tEr(AYI`=SCcRQ;g|B8}JpUl@<84b_XQ?s9E?vh*+;pTxk_29`* zsj?Umf+*lumBHNbQ(RiTax{u!`A~yk1DEE=*;`Cnb#1c$p~7n+l1P-db(Y^MAz6*m z1=C&Hxyt6AEt@p|atqgVfMltaVguT^ZpKswGz!W#^$#frp^W2hP9;fYV)Vfc;h1E7 z=08Iz)Y7o=epirB@n1SV=X%-zg$AMqLWW#iIx5R^Hi1^Ig#4Xvz||dEKKX*o^k1+w z4RSS%?3Rr1VRZf9VB?N*DcnXCG9nZ+#5P(n@U@X7b^_C8{R2}q<0EqfXqv9SoHp-y zjm@c#d>R*s+)_FbF{FniFSjgpAQ-fR+7d=I#S9AK*-0cR{LI&3T0NMJ=efnR0`r+XV%|5qq5lj!UY!D!Jy^+16} z;f7Sq1{LCg`Nx0gcDHLuD!;f=HX{doLmprZqE)lhar!AraGGq5S?*+r6#8>LmAj|S z)+f6g|IPvRk1+)H3D3CpQ~hZvupLZIIP&H*c|u-zPE1loT@#7kf*nE9Z&$-8+-blu zd9?0;X9B7rvL_x`>J21cP$Hv7wI|^nis>Uc>=JkZg`(o2&*v@o$Q^kr7Pn}xDnZm& zj?dB@H1V&fC>qKm4Lq~jN|Icu{w~G=cM2f3Ra3P>Uk@y6s8Up_9HQ~6LmLM9s&C$;*V>KdM5?$pbb>33w`7W z7^mFxY%aXwfk?5S8N>pk3A5Ag6B~#Yxil;9qMWS}mR}^g% z=Zgk@W7R(zUIWAaVN^4wBAff}S~rvVuEFQ7Emjajo@r2I(8 zNlh6vvAm(B+&2L5c)L(k0P?qE{tzyapwq9aq5*Ks@~sHr2!89UtkAqFX*>a{PnM{H z7CA|~Z@P)VJj<^@^s#y*1!dC{iUtW6Z+BSmrLuQc&_;lmdzpQybuh^s)T0rwZ5-d zDoN)Zl6gStQslK$Ow+8XnDr&|t!va_9Am%vRqCmCK!9%(j8@lM0zn{FN;wW zo0lW~CRoUlkJ%RmTr!w(yyS3n!|?-jL=-
~gUkj=r$Ri*>eE$ z0%jCu-)l~J_`a?n`YSJ)_}e%|QEG0Q4SHwUe@$LqjN2!f9l;U*pDwN}rl}x`&bufE zDSRlq2tgEVsenXVv4Bf7E(ldo5s~0h!6ubLK#dYZB5_4U6c`f(O&|((->4*1V~k=% z`7#pRcVd)Hg-R6awA0tLPTt4KnS1Vi@4opvlN+=}qZa2&%nh=pLHz@tA)CX5D38xo z2ldHgrA;_^Ny?r6R}K8TsX5C2&u#LYElaZ&#*7cV$qP;}i^WXhONrI*DxPT1D(Vm<`VRS`72&bj9s{6;8k^*h-QR}?ify}>lC`ZkRw2j*wKw{O2K>Hwhtc3iSf@BIuxIpIN>F;?_{M=`{3tQCNNs4p6hu{QUxK zcfz$bFxQ!(xDK-E{0nn;6MS?IozS-dW~gwIXFISV4DnDpqS%!E(xp)U38r&1#>hA&u_(YglcT22v?kt6?+ux=@%F zQt0juEnDNdmQ}oWaj`mB?q{Dy;&NsQ70Fnyey2qeNT%(7%jv!fS7m@%% zGkp;X^$424&-5_g@k#XtQoa?>G62sZijVBKe9Hi{ z94hzY72u(Ij6WG5nyP$_qy;O5fOiQY5T_d17G&7@W)a|fBAAJfx%l&hXLjLMBg}SG z;jGhW8oUq^`61+4r5b-Sx~iCnN`_-h