From 9a21011ffb9e3012fff4e99b6072d46f6ded1e2e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pelletier?= Date: Fri, 2 Feb 2018 00:24:44 -0500 Subject: [PATCH] structure pour tp --- .gitignore | 2 + exemple/CarreMagique.java | 116 ++++++++++++++++++++++++++++++++++++++ exemple/makefile | 10 ++++ tp/bibliographie.bib | 9 +++ tp/code/instance.txt | 3 + tp/code/probleme1.java | 0 tp/code/probleme2.java | 0 tp/logo.png | Bin 0 -> 106568 bytes tp/pagetitre.tex | 17 ++++++ tp/question1.tex | 4 ++ tp/question2.tex | 5 ++ tp/rapport.tex | 71 +++++++++++++++++++++++ 12 files changed, 237 insertions(+) create mode 100644 .gitignore create mode 100644 exemple/CarreMagique.java create mode 100644 exemple/makefile create mode 100644 tp/bibliographie.bib create mode 100644 tp/code/instance.txt create mode 100644 tp/code/probleme1.java create mode 100644 tp/code/probleme2.java create mode 100755 tp/logo.png create mode 100755 tp/pagetitre.tex create mode 100644 tp/question1.tex create mode 100644 tp/question2.tex create mode 100644 tp/rapport.tex diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..42152ce --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +./choco-4.0.6 + diff --git a/exemple/CarreMagique.java b/exemple/CarreMagique.java new file mode 100644 index 0000000..5989201 --- /dev/null +++ b/exemple/CarreMagique.java @@ -0,0 +1,116 @@ +import org.chocosolver.solver.Model; +import org.chocosolver.solver.Solver; +import org.chocosolver.solver.search.limits.FailCounter; +import org.chocosolver.solver.search.strategy.Search; +import org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg; +import org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased; +import org.chocosolver.solver.variables.IntVar; + +public class CarreMagique { + public static final int HEURISTIQUE_DEFAUT = 0; + public static final int HEURISTIQUE_DOMOVERWDEG = 1; + public static final int HEURISTIQUE_IMPACT_BASED_SEARCH = 2; + public static final int HEURISTIQUE_ACTIVITY = 3; + public static final String COHERENCE_BORNES = "BC"; + public static final String COHERENCE_DOMAINES = "AC"; + + public static final int RESTART_AUCUN = 0; + public static final int RESTART_LUBY = 1; + public static final int RESTART_GEOMETRIQUE = 2; + + public static void main(String[] args) { + final int n = 12; + + final int heuristique = HEURISTIQUE_ACTIVITY; + final boolean bris_symetries = true; + final int restart = RESTART_GEOMETRIQUE; + final String coherence = COHERENCE_BORNES; + + Model model = new Model("Carré magique"); + + // Creation d'une matrice de dimensions n x n de variables dont les domaines sont les entiers de 1 a n^2. + IntVar[][] lignes = model.intVarMatrix("x", n, n, 1, n * n); + + // Vecteur contenant toutes les variables de la matrice dans un seul vecteur + IntVar[] toutesLesVariables = new IntVar[n * n]; + for (int i = 0; i < n * n; i++) { + toutesLesVariables[i] = lignes[i / n][i % n]; + } + + // Ajout d'une contrainte forcant toutes les variables a prendre des variables differentes + model.allDifferent(toutesLesVariables, coherence).post(); + + // Creation de la tranpose de la matrice lignes. + IntVar[][] colonnes = new IntVar[n][n]; + for (int i = 0; i < n; i++) { + for (int j = 0; j < n; j++) { + colonnes[i][j] = lignes[j][i]; + } + } + + final int sommeMagique = n * (n * n + 1) / 2; + + // Creation d'une variable n'ayant qu'une seule valeur dans son domaine + IntVar variableSommeMagique = model.intVar(sommeMagique); + IntVar[] diagonale1 = new IntVar[n]; // Contient les variables sur la diagonale negative de la matrice + IntVar[] diagonale2 = new IntVar[n]; // Contient les variables sur la diagonale positive de la matrice + for (int i = 0; i < n; i++) { + // Ajout de deux contraintes forcant les sommes des lignes et des colonnes a etre egales a la constante magique + model.sum(lignes[i], "=", variableSommeMagique).post(); + model.sum(colonnes[i], "=", variableSommeMagique).post(); + diagonale1[i] = lignes[i][i]; + diagonale2[i] = lignes[n - i - 1][i]; + } + model.sum(diagonale1, "=", variableSommeMagique).post(); + model.sum(diagonale2, "=", variableSommeMagique).post(); + + if (bris_symetries) { + for (int i = 1; i < n / 2; i++) + model.arithm(lignes[i - 1][i - 1], "<", lignes[i][i]).post(); + + model.arithm(lignes[0][0], "<", lignes[n - 1][0]).post(); + model.arithm(lignes[0][0], "<", lignes[0][n - 1]).post(); + model.arithm(lignes[0][0], "<", lignes[n - 1][n - 1]).post(); + // model.arithm(lignes[n - 1][0], "<", lignes[0][n - 1]).post(); + } + + // Creation du solveur + Solver solver = model.getSolver(); + + switch(heuristique) { + case HEURISTIQUE_DOMOVERWDEG: + solver.setSearch(Search.domOverWDegSearch(toutesLesVariables)); + break; + case HEURISTIQUE_IMPACT_BASED_SEARCH: + solver.setSearch(new ImpactBased(toutesLesVariables, true)); + break; + case HEURISTIQUE_ACTIVITY: + solver.setSearch(Search.activityBasedSearch(toutesLesVariables)); + break; + } + + switch(restart) { + case RESTART_LUBY: + solver.setLubyRestart(2, new FailCounter(model, 2), 25000); + break; + case RESTART_GEOMETRIQUE: + solver.setGeometricalRestart(2, 2.1, new FailCounter(model, 2), 25000); + break; + } + + solver.findSolution(); + + for (int i = 0; i < n; i++) { + for (int j = 0; j < n; j++) { + if (lignes[i][j].getValue() < 10) + System.out.print(" "); + if (lignes[i][j].getValue() < 100) + System.out.print(" "); + System.out.print(lignes[i][j].getValue()); + System.out.print(" "); + } + System.out.println(""); + } + solver.printStatistics(); + } +} diff --git a/exemple/makefile b/exemple/makefile new file mode 100644 index 0000000..81f6000 --- /dev/null +++ b/exemple/makefile @@ -0,0 +1,10 @@ +all: CarreMagique.class + +%.class: %.java + javac -cp .:choco-solver-4.0.6-with-dependencies.jar $< + +run: CarreMagique.class + java -cp .:choco-solver-4.0.6-with-dependencies.jar CarreMagique + +clean: + rm *.class diff --git a/tp/bibliographie.bib b/tp/bibliographie.bib new file mode 100644 index 0000000..17e1d74 --- /dev/null +++ b/tp/bibliographie.bib @@ -0,0 +1,9 @@ +@manual{chocoSolver, +author = {Charles Prud'homme and Jean-Guillaume Fages and Xavier Lorca}, +title = {Choco Solver Documentation}, +year = {2016}, +organization = {TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S.}, +timestamp = {Tue, 9 Feb 2016}, +url = {http://www.choco-solver.org}, +} + diff --git a/tp/code/instance.txt b/tp/code/instance.txt new file mode 100644 index 0000000..7e23d45 --- /dev/null +++ b/tp/code/instance.txt @@ -0,0 +1,3 @@ +5 10 14 3 +1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 +1 2 3 4 5 4 2 3 4 3 5 5 4 3 3 3 diff --git a/tp/code/probleme1.java b/tp/code/probleme1.java new file mode 100644 index 0000000..e69de29 diff --git a/tp/code/probleme2.java b/tp/code/probleme2.java new file mode 100644 index 0000000..e69de29 diff --git a/tp/logo.png b/tp/logo.png new file mode 100755 index 0000000000000000000000000000000000000000..df2c3d843697cc60aa1522c4c3132a0c80c2080c GIT binary patch literal 106568 zcmXt91yCDpyA4tZu7%)EaVhQ)+}&MT+}(;>ad&qp?(R_Bi@Uo+fdV(*KXc!SO?D@{ z*+GItk^Xi+9YK8 zJ#;4lxDg7nLB|@?s2wx%9ab3aZ@B?v@~5iAfyUm1wfibE03|>AaJdTK`A<@FgowqY z?XuFn<>CTre_Zd1c42BA4?~Fkh+TmK$XU)oP{YehQZxvNbs|t??7Y0I3o}|wsir9? zK*!;5iF_IL3YFydT`?qIU+Z=aVm#t|D3^iWZf23cz_@=`0xa3kA}LrhwUkCAJ^*M^ z4(!t!QOyG&1}SIxW1>o^zy7v=EfWVaA;yUeNkn2KniHXtgiqEM1pw9`05uHa2BHT$ z3}OrfXL%l`w`|_-S4*(a$y|KOzbG=bVu7Wu(b4-c(4YXorHH6kGi1Ov=sHk3Bj!gqz#0U=qAVf+LSYO0 zQ!6kLVBa_%BE<+9Ld(*!Q__-aNrk4{1GI#@(sq)@jX~eP;>pi*lLn*njv`;ush7)q zB-+%RvjEUl-L-*0vk4%Q0*!v&UfJSa9&VP|@h2}}zrXMoLPvuF-cZ1ZKU_E=iFF$% z&pj9oT-QO%?lEaXtX4AX>H%Fi^*52A=LtO9(oG1lA1dO92#MH&GQo{m# zw$KL9VfusB1j7Ei;tC+IMZ8fRIV573M1Z)4QZp4B$m6`{sTU0A@1jeNq6GzQQFK5q zTCMs;IoJTPADd9N@5^Gh>0gOsWodAKD-?BrR={!=YJj)OO&^gtan+45iNDiSA42N_ z&;lqC?!wMYgE+)Bz``z%73Dmvz!}s5vGm*r={>%yOktp7(GW6YvisDWNhPLhMDGn5 ze|H2&%m@M$@2CV0VpLfYH2e^1R_m`Si$km^X+jy=*v}o9|D-vX!^=IBWOl8Y2K#>A6+^AC4Y1PFDYt=O4cj z4ugk-j8urgp@*;ea9XGMrv9~Xm=uB1+hhPUmC-iIB6yHD0|M{%R{*J}3wfx&f8CF4 zBj~RJp=8Zf-NMi)iRfLAZ`L^tOIHayMK6|o!KMlTe3;4Ntt>VOtNGF=qjYa zEL4k(kR+gfGMKkyW=~@o_?kl&XNf-AMv+DdGFAbKO0?n>#uyocPVtwu%)7ZPb^Fjz z0!6{lI8p&+`(Q-!h{k-vU~X7Cf9DxSD@vDrwoz=HQJN@cCu+>v-okcj+8w9?e<)Ze zL->5-UA$H~9w#l#e>%pkQ2`>oxq3L#psy(C0G2o-%qge{bpGiPBLD~lGsJ`$Zk2U2 z!%P6HuIZNyG1rI4vAFLSyVdTaeP6p3F^UCeQQABM(BQYvy>#`<~X+H zuv8?WEI2~XhOHQ-Vd*@8amDfEdpFX}_Li`YgF(Wil*stO>%ig|kqlD)Z51PQ23Sg; zNB}F1d1w1eCFJtGeJ)t?h@r>AiU^K`f;oo5h#Kh=8-$Az{@ecq`kf@wN3Jl-CC+V$ zk~o*;5a|6;qQO{NG!)vDh5~^}4@MD< zqR41f+ZCW>r(7v81|KjmIYsCIH|=)e817UJ91I12aPeXA;$HAFPK?gUsxLWb{Cs_rQo^PMCLx^RW@cqw>GURxPtwDK3ylXUEC_1TbnW6?&IcyJQMzQp z*OOFaJH=zLb%N)@Sq~wdNgOaPu7(PIEO9CVBm)KQfF6t)kb@udC6_tc_Ey#%`WoaR z&aKGnS5vAGu@rC*R?9dC(0q;SD+YSf0F5#%|C(;wyNscM9S3`T1InHxG!g&xO(ccn zA09aAaBLO)m*Ne}FI;{8&XolV1M_(1yK}MaikS?$9d1t91iel=IBN`B9t}TM&I!`e z?Xsb;$w)KO%rID_B3k1x0cT2$lkk!;>xcn-rDs>~JF1bqd>_kiW42s+PY#A#r!H&A zXh=O#G;jb~D(E;+*Cm+$WE&}y7Zqkg7#fdlGE7qP2dcvI%JT}dA2plp3)ZyI>%!!R zxkkME7>G7@hBCB&KLHg*#CKE_u^rI68Zgt-zB?OFmUQWfx-P*TlTZ79E{;|#O|->kd5>Qe{{rNCxc{!<^PAE2$3OigpQFPNjR6aUYVL~( zqxtGx=1Yl%{@?yKw37_;xClVx0R5@o$ zw3v3Rn~?)yBUrIomK2uIj!?gcIhhI^knM0y`TPVYps?_SnralVP%V7bJ)h8MKwWu2 z7B0#+49e0DE1QCn&GQFf7y-z0j+f@V-&SWA?_o(%;%e31f~p-XfcjT zULFFOMvXLenV>%LFPRygVxNS@UgYwGHHTtCHJ)96l43fl^UVKy@YX`m|97yM}__0yfu$1WH1-_@|vkyE+U`knr=05HD0)2G$d`#g3--g-aN z(W<*0nFizZWSSs0xUvJ-?62q6d5$KbS%@(hQse7kvscf@6gJqvPL%CJWBf==@oTLo zw)EEwrkCv@eugDo6ffEZC@?-!c9w3chgPJ(Hmc1xmT^WsaqHtj2z&3mq9$8c8~lJGNfUt`KVXuC&O`gL%sTN-+R+o4#l?! zHqNYHR6um2!Es_7AUb)PF*>GW#(MAabRA94hsu+HeODV?_wXZf`iuGbAIsMU_a}bD zrV?GIe2T)m?~{(I1a!{xy^dmv%eq*1WWnnr z0kYhZu(D=uviC4Z>kUjaJx3Q@?0Gej6lJ!57QNQ46VFJN-`Ilyi^~ReMhDVbL8BLO*X!ldYk@o}+LX-o26d9p`p8yE*=| z_W2z+h?tSl- z*bUnY&VZH{?zO-v+uY2-EYsHd_}e!fE&Vjq;rCW`p$lE)8f8hHieBH_iy8NwYN;K5 z*n#Es=Xm#vqNe-tiJ1m<+$KDWRMts1OfNto3NOCDeFheF03eGO2**1jahCMwuwjxgx-Jg#OivK+L(&PH}(tX)w`O?i%N;My` zGw}M5)aLLGJ*(w@_Gcpuuv@9vcDhw_RhFJ`Gs>r#dlyNvA)qlKLldO2q4B?n!8}au zXPmy1o2LxMMhwZcYd;BqC;q!f@)6F;i3|hKTe>(oS!uRiOE=H41i=l1$go56&)WA2 zaG{vS`Pqd-;|?wjqTQRP|BT4M55Ih+em@T(u|Y5YaK4!AaJ%BAKk{VN!=)TdV{?|^ zOJ984fA_t5Ud65Xx1EevXg5fb1}?465b)L{&lw|Up`!0VWs#MZ9_4@qEKvM5ZZ-Y0 zUQ)83LeZtFL(ua$+vE3rbL_0=<^pET?QI|_BuRzqI{plgi7#uqy8`~mcYCh#{iNeU zdYk}{z7BlX_#H1yw7wODWCrt~IFS@wTt5>o&5oKc!j2Xta`J=2fZupaLX8>?7sxG)LAN+!Hxf0&6+ zNmR=qY4ikHIe%vWRCitni&m(#sQptnQ7g~g$@IG~z4Yew#TDUw{cj``QCW0o5f)b+ zYp9v;Cx9iFm&ENG2&5yIelDEZVXSF zqVtV4qahczWJb@f-j1$y75|D0_5ZpoW??W83?wVkVyHIkd2e2`>ws7Vs+WC|1)1k4 zLTq%ms6;}?%#GjYrh?~QyL&t&! zr+e-u<~7_HW_EAnBH-%O@PzNWdU|f}RQbQRJLNf~E#c2=VeR9Qv07N2I*-)nnBtWj znj!#rjRTS3{8wsmkYN`5uVoIB;BS-&h!|0B<68{fRvInmPw~&BrY@ZCQ0uFc)jTEA zNQDag=^zw+-u~2_*A$YXQ_~B1&(ewhxRbBOAfdlgP1S_fwl<@ecr&{xxF#osmK^hX zVlPGWp_4jd=wR@o2}QCa4bN|AXtms7Ijw}I6;=?#Z?)S3G=pxdlezDVSU+nA^O?gy^MdX^VmRHk{rc zZ%{8(N zr*T(UFb2!DTD?DlY{Rh4%#J$VE4~%aETVU(`G_FtT3AboJnvKJ6+Q(}!O*wjo3=QC zIivB~cW?c@__tSc7dNGWbF{Z%v%-KutrK8s)It+7H1p>dskEu%8~hDf9piz(YQ{Mu zsl=keI5FsOSUO=+bXWkHZ=e@*KYkDNuw^ z#*L1UF_PdQ-ls$uSN#+W0M1HbVW)pa0%$tQTa7^WFp19Sss_e%kh_*H7B-c zA7UGxEl1ezw4>A#5oI(B&J-7MPn_A+lIayBAO)UjZ#fBhOH?ts5iAru-0gJEWIm#x zTKBKr(j(7gLuuLpmVbVhTTgFgzr=ivqRP$18DHN&9=IiQ3%P14Itn7eK-bqyZw`9D zE))J!iN-jPsWC`~_QPzvLX3J>ccH{5I|dUks;+SL7vXIY_R+C3I&4M!7^>zi9e&0O z=WY-FUeR&caN!iapqiW9YE3EB3MbULhp2>*kY%xnm|B7U#(JMqcUe4 zBnm8VyYu}R5qfuYcW*HUSs8a8Fxt1hJ+9SsT()yq{~0u44URi)xOzn#?Pp;}7FF0b zLV`{`1^|78Ku}!jSoW5deW0)`o@!N9)je(nbhr}R@&Yy)bP=hc`P&0b7(7y*BqB$k ztz}w2c!}kr9yBP*+!(%x~q?2`id3jmTyt&0VQqeIgTdE1{aCu8w1%+Eyqje1+ z9Ek^hv$B4DdBp(J*@jx+8|md%j~?BD^4sNjfq`{Sg2)4_FYP9yqcKr%949f4>Dk%Y z6t6i*!VOR~a5I+3c%vDGjW$v8Y!Yw~R+7-&B{;vbg*JQyuEOR^F&$-uNtcE)|s(9imHA1k9#NJdj4 zt{8=b9Od_2>EOI_tE>lOOO3+5AZ#QAk7{IbQ?oE!!+VhZfqO`6%9G0Ui-Gu0I+8Hf z!z_9pQ*8|@k_A<4n8I(Io7g1dT?p-JZ7w`VbZjiA`R!czPN2{d%l2x5$e}3+vLNDf zbC~LAZ?EotIh~rCiits`+FxWK4R+Btk7}#7UUO^IzW#edfC2-6o0oYEx{}3f*(Lry6>lo(y5`htfn ztX)W{P%8lhYy&KSDq}&$WVNmXKT8wKZ8%>$w%$-N}P^c#GMMjC;Y; zcR(_Zll$Mle?JOz;E6yyo3$ercjP)^j0+Yp<8Ks52_QwsyfPm0u&pqClq-r4l0+5y z+p(3zUs~6+qAvNK&tp}1P((J+An-%9n)TF?51o;&udUYAR&pY%*%2PKM6kQ0%Klcxn7voPI zlO=*yvqaFv#!QPwH7ar|Xg`(7tatLw{%@T0yf+zLdE*H3 zZ*O9^H?3~_MH<);%xn6!@7e-(_ z(ePdl(L946g3&Pf7xF(U?XyRSp4tE-v)p2ro1-tIr)>ao~w z@;4a;k}CZQ*D?czqLa_HT>tHe3?l==VM?K4!%~GB)6_Zry*8d_zkBYydIgd_q?5|A zk^!A*okM&`J%PK|GrgflInxJDlMhYKM~rks4tOrx0BB=jl|ZvR+2C+i8Ha)OHfO#= ziqWUbl`c1yfF)3I zIbKPoR3q1RO=FF~bONMmt$8savow}D<41u&+$O&uS}0$PulXb5_Yj6OREXQGrX)hP zbbNbdeV-JFmbECj-|=Cq5E)1{NWl=nkZ|L(F_sWHQ#rSg`D?Ag$tp=tL!D2iBer*s zMtrCB+6Q~qktSoTkiR7vM{a+!Of1}#)TDS62MgNT1YjsWa21G`++{ONIkK$@jC-v}`-d@qT|W{NPBJ!vyfoTrLOaVrS&T2(QO17PFCGllYxJ#T?;l<^Bkll;3mNDYIBr!6KelCU7h z(fo`#8#u$x2n=-LjTYs$eW2qrM(P6&x2fwMCFezfbZw ztA)3IWx-0<#)uME$oze(qLcITtEfTe^XZ84^|}17L{i|wMZ8w*u5d+Vvd;6Mf7PH1 zwpzGw!B-76%eIPl`kN=}eW!)u-%3gw^RD{y?9+GHLKL}Huz>iYnBJ>N`EM@!*_bO< z@nyq{4r(KTq}y0I;=W0JRdQONeN?i1oV}!r@0Zva1EpQ5zEaZ-$)dwz1WKG4n`G)f zfBuXt=8r2PRcx0}jH`VVZ`h);kxn}3VRP*i*xH0I+lV^AqE?QROrR&P3JNs_(Fs5B z+m9vDs>qBu0?FE|GfT=l?YgfjB^IP0JH~~wq6YfM^sLn-0Wu_l1*Ed%oK<<_nY^FZ ze_M#k+xFLcdwFr%Z)V99r!eZKNK=jvVGe6iz)CN7*-C!o56Gr4@c0f@%;gU#Y{OGo zDtq?^VE`9jzwp2ZqyJ%H`8pgV0CpNMgZacs&z3>N^I?1RhjO3*|jFgPzKKJo6PP-gpJ}; z=&?YjsUo7k1guAEbygF{-Rrw+DxwXikv5uNZCVKTy z$)DWwm}iNnuh;oaub2+G=$f3|CZi3T!Xp)n3!}p`eUc(}LdArRlEKeuaaoyYK54c) zU)@YpDBWxKq)ENHyi}k{D9v$fPpa2qAP=^(w$@+ry=*%wQOM?P;#9?*zJEL?yd){B zvBbrE6Jv;q8p+&{iVlLNw{)ca63z@`b&*&XfF{?=YT`~gg^%2Ta>r~kP0g~ zPCcOoQk8?2L;*B!m_Wc*yYa|CA4jYzs#sy$oVXxGu6ul=1zQ4{RDbGDb3D7w8med2X%H)fOG(!#4 z*4gWYsD*3By2TUAYFV7ByLk`?lmaRo#mQ0fs(O9@&@cs;!r{)YhqK1Y?7++gfNuNE6Ou|IW~ z5FTXOyFBRPZhwWcq!*O6Jr?WpD|~immQ2|t0MalA?Y(^JKtV+%=5`R~fm4essjI7NYEpm5SJBqcm35T{)>+O|1C+w5lx2cQ zEg;L*R=vQyK0(1a;>c4bmEU2z_xjp_E;&I3P9$#fJ0CBvj;?N@$DBu?9I)=&IL@Lp z6*u8XI;*LKuWuJ-;A|J7&Ev(ICR3`qlwO2ol%uBRQf5N{wrs^q1%^rk+l_Yhs(%PY z4Pb_EkqZk8?Ck7f5=CE!=v2|DE3<=*x!KtlmX=x|l||Fg*L80=`t|85c4W_rs!~!h zo7Z(RgX7`h0SSjeiAYH(Ji&07tp|DF_~e8(b^OLdub8c@niH}(IA{TpK6WZ&v$M1B z?>~x<%RUiOUCE)V@!@n0@4@rG>L2Y_=XMd_>_SDFPmt5uN z8L$yiP*B?Rn22MK?w&0SC66oN3Q9O|B3Xxj4((Q`R~kfa#a{93!%-W7h6-}wk1Z_1 zzcBdqUS09k+ikSJUcP-UZmg>|exCcrI{sL9g>dLmtyrdps2t;Vm3HHRr# zW?}C8batYv3~j}8jw))`D(&RB2170c*>+zD=yq^@>{S|$>h$I4cifzgvs=w*$wejM zVXY!y4q&V1HSVXVvMZ!r60lgi!4Ic>5)sVwJ&%_(_;FGU&X1EW#bwq5c@P88_32xw z)|xwTn6;Z*tv4uQH}2+hiQHsFdFf-##-9Um;fgV_z9aJo(6CSg9H)4ojQpK2K~g^* z$THVj-;;d=YpgTqRD13V+$$`KS7kFwCeztUtEw(~17NKEZe%rEB$OPF9*J-}=bNiq ziDTL1L~_!6CVw|z^Z3OO@;E&#YNDZ_h>OrJxw55CJas>HHB9kZ*I&?cuw+hdx^MaR z{2gK*JE+Gb2j-*sY{TUK+y9c8nMv7moAPPS1D)z zHkLH~PYV%2p3h0A8W)sg?GXpWeiq|h>>;rrz2`MF-F$4%fT zBwju~bydHwVb1(cgytLVu01b{H920VqyCJnMt%>u zNQ;-3cHiddtvkN%Ir6`g92jLSYdrE_?M5=ck7;(RXlj`O%fuGa>aa6YE^7Zn;eU?=!2xe3ax<`?6bEim}t|Nu|NtWYCgx zl_1FbD()dHASm}cYCly>pdjGf6l2eT=bBN#*ed1-caK(YpIei60pHFCq1k5Rg(~_( zl(Us^ZJ=rL?r2ITD%?h?UyRbEq{qD0b?nzlY4!5+KE=o7Fk)O6b?)mxi9Si+X6MOd z<)5tPe0xST(MS+7OlsbyW(1Fa5>$NXHlVlYA_#DP1`C8A1i++(PIxnvE1zeg1IwiM z`y!5hQsS5@_#;OE-F$6UQ>G(vaBFrG6yphCDpI&`>XdYxo^7^vHx`AK(&KhGKGpygnG^y zS_^vfj;94ef-QG@fPtdwkgxy)Oek~qcY^+ruZQ)t4QFf*?si_DGbG-)*fmonJvQN~ zDUC}EX{;<6q8Zg^Nk$+70;@DO`-4*sKab0yHRSrLeLd6X9uoYwU7E&ZU#t1IuYz)7 z0+_HeynFsiq(!Iz31H4UE}(Wy?a+h&$MH=5=H@01gQMEEReg?hF~Z^9b2I^$#;^@4 zi6CL*5IJi;ap}71*ux+XWXw*$X~XStZL~jl&0o{f!j-MycOq+e%dZG!@HIV2g)Vkx zF#RpQMlqX~g`K_8_3Y0W2{I%j{K!GblIp&)U#`vX=@Dvo+U^Z#m=^4q`%`*{+a!-nfpbaZq%ArtL4NY=Nu zuACT*5F<9Vfz+DWVB#~%D6xH5&Hzk5NO*Vb{-jqk@c5SD|FQ-l={7dHAa!X>kbX^V zry5`XTl>g=K1`|K>aYWesVSk4fAfk$`m}yyztqlDqjf@zu_@_QCCE|&qxG2F=jFNn z8#)jY5~^iA`3lv0FBDZKAWyZ?#hqSV3Ar54w7Z^h9|^skC<@)@qp5p6(rFh7t~Gag zKV1rVKdPP5B+bpvDkrDm9xzqlJf5#Kc-|e3u~?byh{y0XEf=UgnEDQleP$(IRhHqh zSwEzBrG!TLV~<)iIbqmT4cjUa`DN}OLcsK-0O5D>`0~^JdmzsEA{QQ zbH$C^06RzK&Yf`N=So(AXCw~!Jb!=Zd^u}uTy_VSqmTtx#&FEOZ*-9f3f8Aq7Bc)o zN=g;5zml-B1q)t^K#E)usL)s`AtP}d6;WdlL6tPdL{AAPyqBGyJQ6O-I?t%bUl{;L z4tH}$MQ8kDjX^++x#zDLQXZ13D&ypG`Q7kygHCw)i3&NSnPg(v00iskl$t<$zwL^r z_%ij1_H-U789TV$-E%idgm0IFaE6p{Kzp42Q0Uy%B27H1=5s}Fb9=Fi9q$K?taih` zqij{Gybsg^EH-Oygp#(+kX&xR*(pXIAGU3h#G5;SbVkCb1UgL<5@IVZrpZQ^28>db zMM0xj;u~>`gq~-{r1!K1XWw*3t5hXXst9TUXs{8jm#Y8E$BA;(A?TxKD$)+)^^n%e z?5vkuSfKd})-@TXVzN31R+{yd_ttCDM&WQlpdVz)5)>2^udSWlA|O%`{_QRm%$E<8WIA;(vqGTZ-C8Fi;VWqCh%{CjDP z!IP?qUYu^YRg0nfx*tjCZy%Z<#4-IIDh<`~tgJ}s!dSd4_H{KH2t)G&s~^sm{B9x* z|2?+!2yk;-tTiLT(j_VvpNeTSR(#cglE6-?s;W{?Zo>FMh@>wm?|#5CqB}~bqKg;! zGgNi7m&TE{!nT%yek>-v)k9&&aM105jsG;I5U0(_UD92?)=+IrZeFe7Q76lOU7xHi zfb{!_cW4+$_%+Fr?-l;4>&pCyzyY!T@w?>Hu+iZJs%}GQdg6@B3@!M#BjI@cq5Fim zd=vBMFoys`%IEFK%*&Snd$xHtd*3y0c;v$H2vm?YAe@bsW0D&a_Gap2e43lh&tW^_ zqt({6&rq8s)YF0GHzT*JG+pv;lDD`fm)xj0P5-Qu<7Qxpo3AZeE2F|Y(ZcVp#*@va zry-Tcf{@a4w`YqLA|WWo;Xi+=h+)>UHy1VJP@~+&U@k(t&y2sU71aj zajwC3ir}aqqrq`XD~O4S35_{lH=O2b1=!!gko*w7Ap~lg`ru?htN6CL%`c8qx%W{@4zHUnr+R3Z@2m9_F$*4G@YG)+7x z5F_};MZ=YZSuO)Dp)f=vPCjOls&cu~a8#0M_wpAq0U98AXQ^LP>#X>?SNIhHoNmaq z<#U(qzFGcVBpF0YulJVCX0D+5-&!gVkAxuTq*;=KLkuue>vmu=y{3fr7c3g}kz!yk z-HL(s4(>{MGS&5LZ1P5l7B*2q{%)Tn>+^DuY|`^*DngB%&rWKVru%D38S;Z9i@!bY zh(CkG1_*^N51yfg$t%NB54+zwU&OP8p8Focat%L1xR=B2O#9N}kB_r#sT27)yH6D+bUcemPo|GNJAo0<9fxA`HX{xhfqYJk+i0E;>i zt`0e2M#OFE>egCC=s5i80F$$s$w=rF5&d795u@&z6>#wEL*^7`K<1r7v5L-<+4lN#gRVxE$E#(k-u;AP4S}(S4(uLfBaBoq1}Stn`V8by4vLakM4NG^Alx);Fd*bBN?mTupXP~mHrd*A8UfuQwAAM+tu3Js-qIj@|VX) zbFZ8+6)o6Rr@pIyvy)c>7ypv4x_=#=eAytc`W%Jf08FFG!My|s+st-`ibvXYTzR>9 zJiRK*nQoG-DA_amI6j}6Y?2TYPaO^8OrA}AZx}MEtM0Dr>hgt*oc%z{LX<1zbDe50 zXzL&2NYfv^3op&_!IxfSh4_E`5#nlUsMI&FHKPm?f74b0i@sn+=rKJ_uuZRf>_u~J zdYH<~N8c8e|1$JY{UW7~n9Y@z?z_NG6ih?5W@$b$&*S9(0 zHhI)zFMg~aL`38ZDZ`7E(4RxAbec{fichtA+Oa@B&KOMJM}FqS(O-IPD%y>HUp1BL z)Oav;baV=MS8kB8IV2w1^7D7>-w*9^7_{<&^B_20&VH-=ZN)ryquDkSnt;Q%Lh$4u z)o|+Qt~B?@O9GWFow&1EOF1gN9iTS|P4MrGC|WsjMR5WCf0#iWSD)Sea$URO`;ZB% z{t^P&z`(#7L^A|=Y<77=wzRpPX#~%lE>Wowd!4&=+S3`E}QKVcSSb zrj$jFv8%yox7cN0z0N{wd_k<%ZlF${mb{M#lSS0 z+H0;@!GCMIcDw@c=F-rlOR7=}?495G=1c+}o}SQ99&??CE%_wFxFB81ZIY_*mSL?? zUyo3CGr{k+{Aa?J`_Ze zQ}|`boovHNnvZ?(BoOa-SJ%`pHZ%E}9u>Sz5HbAL^H++(dM_Gg^A!Rm*X(-)zG|z1 zw~?4TSvWcW%*^DS`_quJ5=YUFY!}7~dhP#?KR!vC8;Zo`;@}WZ(f&4f=wZ?ReKNz| zXOH0G;zGIW0(K--OnbZfj1$5calrXuS{EmsDiySJUDzf=@l4<8Ej{>tK*9ndqv?2u zNSWDy(4Qk!YIc^}oR7GAo+owf+KP*dsd#_y(R>!s_JE+?m$MpXY{W4o)$klSYN3a6 zMSZW6;!2IGpVT@bptaT2_V#wYB}QyScvQl_7xsQj9!^`N5Q`daix#Xx@$A z5~pqTa6)r!Eo6BlbDYOAS*_9q8_KJPCy(IK9+-6&sKN2!RR8MwEsPnoRfTFyH&=Pj zk}=$Aajt;!Q2V&PYd1+A^RiD7T;?*&DI156>;*k)pA!su-tuqI#Gbcy?XE7@~(rk zBTAy5m3CRL7h{#9NfQoUVVT?e<)oU~$uSWzb?Y@usFqu8OV;uFD-* zXw#p^H#gz}-8vBo7bSITZqBaFceJ>>9d(M|rR1f&RKX8V2_N5jY>0e$yxS6}y-;VT z4+i+e@tWpfv4~N@8ECq_nR9JEo=a-36;B_xM}*+UX(DT_FQ?D33%MBh+zh4JRva`z z5^V9f20D0(|8C;y?f50=8Ni}HJe$1G{dUxH&f0$>XaoR)q)7KUCK7=Dn85dQpkqPY ziJ~Cyt&N!Wp^Q%Xg0ub-Qb_-QH1$e@xuMf2RfHHA!S}%4b5FTz%$e)`7llrpiMY4- zYYY)z5|ToQaWmwgko!{arueRw<)Uwtij-*n-KO?LDd=$^Q)Dajylz}I+v@5^%?-!M z=vV&x6=P*9qXSy5?;-{gXUvfNlN5ACyK)^(0k>7zOwQ>f6sm;Y| z69iI>$%LETdmd#!9WeW8AM8rzmGD?~n8zG>gMUAd}U2}1IZ1*gpDaDi{ zt&ra}qhxVuNm9X{1F51>882h(Q`PAlb}Jo&a(V!SzHMr1njI6mBvzJF^6a!akfh#F zJ}n}~p zw9r-kt{|DuT(6+d&t}@^lV}xM(lJoD=H=GtI&o%Um%GtqGr-0S1-FmO#F;r?&>0xw z2vdSSfX%uS&5Cals6*Ma%yJr-H~X}uyCnw3jcb^nc|mD~s7liX1>=|nx-17y7xAd` zAq2Me#YM5os8MU7t5=+i4WR>*og5bm+7Fu9xxQa0rmsiKGYYP8d)&6cNeRGEc9;{q zZOHv0=5K!{@6kHAMp-^c&>C31Ef4Lxm3z#n5ZoW$$lew^?7WSZE-hX8X_wbDTC#j~ z#wg#mTbLV#z^k!Pu2O#@ad=P1**QgYMICo+f&bLpY$ zw0S*iwYqW{Q`UE$yK2g?+NZ`Z2L3(XXKQ%IbK@uN-9FDw#a0jZ|1I`Lxoilve81A* zZMdR5m!Jy1nzyx$9)R)YU$HSyDE>u;aY%{|k)NX#<;2aayx_ zN4Jup;ss%btgG8fs;liF?ETovEgZc;EZ+pzTqVN#SFG42_DLkBRwD@8Vx>;={FR;k z9@209(rKdOJ+d@;m!&m?q+}EVPBAa8VUL5c59cPNR%L2TnZM z3Z?Uw9$jM&yQ-lhnc0QdsbgDW$zL$M%K3pFU5|R6|FHKfqY}nUUkhgzZkirh)FeH{ z(}Tw}mD5+WB8*Q{t=#AyI&W4rl`6=`5LdtOT8qy0;^vq4C8&57OBv?|vH>#oaS(iA z=E{eTayW|19S4G9(TL~mH#q-a3ve>RDocSaJ^E8&OW03d^kO1zBD=?7oFwPYHObsK zo2xZr)m%8+s5`e&e|m(5A)iIwlCjoVM6BHlcfFg}9{x-Hiu;9EAApZIYQ%Op%l z-JOc%m;0R$)2qq7^Ng#HnR zoN7DjoaU){c=i(1Z|P{byV(3cnyxWAuJ3D4&=?c6v5m%VY&Ev+q;VRvv2EM78vl~U zwi+9a@!tH`dgtS;OmZ{#+_U$7bk+=ai=zpdtzIBtZS?QMC6I^}ln?pEfAFbVe?E_f z<0U4-@30(*{nML@1_gnZ(emZu+4la2597=66^~SK*h*eWCQ^g;LI<9pM^%Y#vHLDo z_d`gdZSLJh38Bt&KOUYOPq$Fex46gOYGLW23Wv0x##Il&u#`AuY)l2_boqjQr;$IG z6uvdNuuLl|FG0D% z(#>4HFP~883nX&k1O@5atzTsG?00cUvFO-GCU`oLNz>ZRwPgzYz4n#^$F_w9waxpA zii)DdM=wH>#BsBbrn#Pm+bTz4?6y$bjR)?4PYsGDx0FgesAPmj5PoQq2E_iatoTcM ze}a5YQEVm&u9qfgUo`%-6nYr^=)4;G;rqObMkbDg!y@{b=WfRt#`tiVHJ+>b-|KhS zVreI!{pdPtUfm(lH{DaO)KH|x#3W^g3B54XZg(!*g>x7{lSnPrq)k#Pn*;TQ z-g6!pwM)+5Dab+6j_AQ^=SYX&j^Y|qpip$@I-nNEYf9@5aQR2P7A4k~l^suA+mX?ZS*+>xY-&hfVYQRkT4kRATBPoXv z__jM%G~3d}Mg(vT{f#9eEN>6V5Z!ZU?j+UgZEeK65JJYSkku+0937`lZ{$&ospg(62jnPc2(@gahK$=SZV2* zrQ(uYL^(b+_lb+-0!%KEMF4hHmagDJ>%PQ6sLd6UL-mrQ3G$J!oo&b#7!|v((pSuX zTK!Su?3uX$qkF?l!W2-436oN1hY1n)4mSv1o8w|1j#|# z55u1{G6)6VQZzi2LID%}{fqE+5H)%ktUCPt!+WI9li*{t=hAyeoAt`?EN_N?Oc0)) z%ab`Qi|u>EPhGxfZURl!c70=G-##Jsn;;mjqe9634m}V>1M4z#ej+Jgs38F-7EziO zFZl;%hk~{S!V|klAv3VEEY#)mUygU>qsp?Km)?v=y}eoDXt;Lf&Gj@^XBWi#9p$Hl zx;B(XiKE~YS0Uprra|G67W77niO&8HV5zO3MNA&y=Cm+5;;^&MZPlZB0xmC82lEay z`nAs28W|#4TuH=oD~pq>S$W^r`MqDld1Q;KvgWSoD@KgDQmdq3e*-P*US>@qQ8aOQ zDQdVcM;f4CzAw->ej4?Tsg3c3K7MH%5izAfs44*q8$^H9T-#to6R%{8a03hh`DKPI zC9peZk1=$}ZUYca^e)n6M4g3Zq@3C({LdEZJdvY^o|7A;_3vmE$toUA(!@>WXx~$r z3}*_Zn2Xw3a6TTJ(ImRvo+#9BX10FeigqLeHG&Ba(eOz*EKYpUS-VrSJWn+H?VM?USWw# z90Wn0q9aKY2OR`qj4haqE8qhiJG>SLy)n^oujhKy#i^ri;!hP2T6nCb&0%w)_cAl) zt9$#9T!K{_pnmEw$(bw10_KNgKr<3XHz1TW247*>)HCIilO_gyEgA|4@|RW{EmP2{ z=se~gu@0+kF_)oa8DB9I(GH|Bm6NjX=P0F?iTo<;MHm!Do)kDkA&lKl^OgI*nUo)E zkL&LG?OiTE-Slga0w!JcxxG%IOHS>UYp)&;zGOQ8L0h^PHGjj0X{w&&LL`ZW#>1WF zf~YLGH=^0C7^r1y!?z=k-kv|%Si9@sF8Nw&7wvjG4SzKLql$pj?Ok_pYy0ygqsLVo zXHR>1tGju93D;oE5M{Z-mOTs-kk0Wwy&0)(b?BA8;Tf>R&=dYY5@NjV%IxqVws@tW1{W;FQI62X-H~BA<+bK~q z?8I`^X?Rb8ed_L`k;cPQ7Zpy23Ko`~v3t_95;cR7a! zZyKg2KYM2NXk?va>h+a2z}Esi@8ACtRG*Z>ENX7EJPC`Q7B}9qG2TZuDyaJdt%EnP z^Qs1wHlJ*>fItw>&7P}cg2l~7>!S>7EM6DU8qV%cAM)P6k=!%VRs`~DmFg8oe-Dvr0J+>X~(-8I<* zL7RuPrg!^B-Dj^N#n<%tnp6L2+?xu{OF_Q$;HKZf%1SF*3??bM07I@22A%v1Nda7< zARA;XNaOsCkqRuHr$YIK9>3- z&XI{^Nm`mzI)oks*_1OrJm~kdX8|3#fQtqc9rkgC35)w-UPw1!8Tg?8NeYkMgA5<^ z-~Z{8iAQoh{!K9UIEC>0)OnF;VU(V)4Ai$^JUfMXTGRS|CNBWvyLt4owf)-ZMo9g| zFf8UJFNAQV&B@%0A#sLvf{QFo)~8c?;QeJV%mJ3xKN#V^DK3XdDRGrxG;_Q?N6mSG z-Gvo^3HM#isck=$&((xk`k#5foV|o6^KZqkvF`pic+P9fRElnVq!xd?8zTgBwLfKD& z6-3!%K}2h>4PZ&7>(rFe;x6m)XF}S&TlnQ^7r9I$^}=B#Y5PDpiIKnjLI$XsmmI#g zM|aBR><;yakRevM4-BbDCuVi0RK!s*GWyi<*|T$G>7fqzOYv0KEc3`kbSc&Dmz|8< zkvVez5Lx=gzd&M?lNg5QVnxKl6G=&l^pb!!syK@oq69B^m_Tqi3ex0Gr}dt#X81NM z6a)D5lpU&W^tx|EIRXV?zxT4QzItLO3z0aA7Sqx(V?OENXkwGdmc`=kBZ0^b;HP>J z9+Xr5ZCr+Y$c)k#>9c7 zsY_JDM2JuTwD~=Q;|u_ts$PIm*?O@?e{*UI^f|%yc!W+u2XFyCA6L{24N{YcIyv0{ zX0JQH*o}kBOw=|SH565|$gs=#c2#xt;g?rwc-bx?v9ImboE#jqqv-#dO;|J;Qr>S% z1PFd^`41DgWtwVA<6>__xYf+XJ+kdR{p?&csIbKTLhHeM=|? zDmZelvb%(UR00Gg6#z&51&#|Q$e?AXHZdN`0wnqC&Z}i2wSLep08(71eT2>u6s$f< z`s_#hYRK6(NC&UP&XZ8?=Cs8fFPH<%jtwDXpW+(bX*0)MrLUEgB9$LVX!Yq ziYqCOhTcy232nznpYl^q=9NM1>i`{LL8|2r zP#%`Ly*sY0j`@Hew&KWGM;v&6Cwf`%Q!54F09)HI(LM+KQt$z=gfcxu@IzJ3f3uB$ z>=}SvQsuQlqse5s-W2e}-J=NumsP0*3Zr3|?^C1ge9@Qbq}86joOaOmWKz3^(l5$C zfC2{!3X_4*ZZPyV;Yxlq!$sHr@xWltrc>xKLB|4vNI@F*^jzZc#GtSuQ6=I^os`%s zM5$g74$-M!gP#+EczghZP7QYJW1iyTw92=YnGnop=gBT9*_lv7KT0UT;Y0UI} z)z130tyRpPFKC-fDF|H_^tD$6o&R#MKhy}E3X7TgDf+*gtYYkxE*Uiok6noGVOxouUDQ&c#Vi zanJ6(e^+ut#3j;;7mv_MS%az_nBc#!3d8kLRJ9T)_>P0e+|UH3z*;?l#Cd=(Cl4*LJPFtN8|MNrDh%fp4B%ikV> zTTN%TtT6(pvDp%5h~WV6maqU>mFo1gVe*Yhx!<$a=#syE1C=K2;r=K6&z#7TV#~1< zM*Ys84sAMWOAeo6GkD#vgWxe#%!;vzcGQxkJ3(8KtP_AFQ(?+?@V>?5M>Jxl88G>`feY3A>BgH ztuO`8j?E!h01_>ysXz$qpgQSgmtxhBm!#K4$&;0o1iq)(gh8D)&Tua)gII8TtXXqn zFWi18Ix!|SNR)Ifu#G~B-r;06BA#>ev$Gn}?9X$YHkesNwuPDjt+bzpkt8DI0c`Wm zis!fOBSN!H3EgeA#!KG!&nFz_v6|m)py8mPpz-^2U&3)I(a{JYnQ{rqy-JbuczRnW z4vqENR0Kgt1#pt#$1DRRDUl-BQu~N7EFd_F0yIy~=-3N)hcAVpddAqnLBxJ=hD_+W zMWx8R@O*}DE%e{ej2TRvXYbHvTtN8DXztxeWKjkIv2&Lt(Z~HE$I>@9sm9T5r}bmF zxVV`1a!38N6AJ*azXwndD#-B~mPaDdQ1836#t!HlCL^(AF}y4=+7&ebrmtl3m$_R| zsAzZRL#(4#se#s$TN|{Ok|NbcYZu`)K*-iNV`l&kPLx@LNim;lq85`gpvku5V@nbXMCMp zNzo2&rokhS;Rrkr>E}}P{(jZJi0R>RBDQAMI<6mdpljy*Q{LL1zCqr_a5eVEgv$N6G zPivfZ@0!njVtn}J5SHCkAhyMudxJy-n8^a_nNT}&5E}^u_={|=T@594gfa%xcKU&o z1m~z^L#(M4hq$K)a1i0u{Ex!1DU2VeC% zf6kYyCMt;)LW6+by_%G4GotS%8~*M65#E3YW*88gNui!>iSu^4MSLVR;R^o{X=*Ph^+XY4hzC@lpfns-`{4>$UGTG z*~5s5(ZB%|hw)ICAYx&iF6~<#9qW?({VpwYJm|Z%8jXxoJ7R*S5 z#%B?95Vav3DH0lloS=cAU#Tce%#ZYSMi4YMgg81xlu12)5w@Jdc+#3Fl2kY;m^ZwY zs>^>4Gb-~g=(M+`8?6FEv(3ZGjGqYjNMP>i&h~BC$E7zE!&XV{53*-g<)boMC+FoSK+eEEP;e0&KDaA&xiJhrWjag zwU^A;!!8dgqlKTcH8vZSsfn4WzXIJLiP#UIE2vSu-34D&X5ig z4fONrs6@59h&XYynYLBBPD7{F-VjL@YB{2{V+_*U!KSvm7nb?1b3S6#J^F-h8L z3m`Jusw+}8=GBKC0Cn*$7a$#|sgdV~AB2W@eF){N5#(Jek>f6|ROyx=L7G=w2gEFk z`o3M^0)VTlP+vH7()-*=xmeaPk_MFkgKO{zYiOySe&TT?jtuY#>I1B0DXMgllGUxo z+3ZaxAiwnj-u-Ad0RaRiYC;)8;dMlKrWCo8zN3<8#D>pTcQT2G|t)Ec-mx(cbRPd#Iw^LwrNNQ1R6*Xx@pjBzYuse%yf*e7Y1g2HFid6tcfi zF8)7x1xUZd(R3MTVhUkmA!!IWauPu}2$aaW#l;_<=T#%APFnpzB8zP&mXy-A+Or*& zPF4$2repcC&>bsM34<8zgyFS1&BBD_vH_JQEHVrCx$SXX;y6i9;yJt}4X^)s5@~om z7`mESfY#kN-H?%C0`V6Nk^Hwn#5f1MgU*pfa0OtoPy{6Ma4&r3agdebP}`S?Tg>Z)zKYV zi!+ZmfcKAQ^Lfq|e;-|d70NBQwO*)v1c+%)-#4$%ox?l+L>A`n@WtfWJbl;z1N|K^ z8vvXHLR=o`7N{O8z{+}iz98y9P8=i&>I6tSU{r{nt!F}t0XT)9e$I@JjQvb{KevCe zPVy?_6l0HpGuot8vX2GU0e{TbuV1B;v7XGafuU#Tk@r`O0$H6EFJ*S=Aa)NhW`3*= zAVep+yPN+P6||pY8xqJo+kJmtU7ycSfF~LTrdE?QD4PH2aP#%tjVjAoNw%j@d}WvU z5|~d;s#^Gg8U%P)I4Ak;b=dQC!cG(?*kKOeD}w#xd9Mbp_r_Es<7FvT?}!>)R5%<8 z6NmAg{`kHO`$pn(E3HSBpE8%;lLkVwMU@@v2pc z)cB8uEykZ)qwPN|U{r~PsptE%778(ASznm~0T$viEK;nC`6LJ*;fDs_`o04Xf*<89 z@UOsiSn}wjU7o)A{O>j>H_#&6bX-B3WKp`(&NuEdg!htcArxqOvJE(H5AuO z3>S=q;Y^=+RZkKUN{J@ zadIWzn?#&;Yn|>l$0sMdQhy=Fuo)FA+l|uqfq*7&;Lm^X(7L+1b=rHGbYDsx+aj6u zx;*|Rsp~y{s1O1W832nwxno^8mxiK+N4ELuU60K)>Mr2z9H?O)0?6Pg`4d&C*U#T- zfyq~u*4a8;{QhT)w>|dfq)`sgJjj?nRdWHu`^!4H2kV~^gmf4yzr4KcdL&_jqyM1K zZ#KR8DI^;`&2V}cPgc&BoRy#WYh&AHc5+E7sBf#%E5ocZNf|_zB>$PELnNb;5~ADn zcMNbG^4))t@B=F~YFS0&fCKJqReM83aX)Lpv0>OPk2arKWVXz^<+l_Ik&hDLQN~^kVb$gAQvttB%>{C-cbON41}5R zxU7vNLrNKf$&o5DWMY?HL$8%Ma9t|~iZ7HVFeu@A`tI}ARdsHw$&_hM&uMtW_{YcJ zh5#RR9~19I=S=`{>%&fjaX7-DI9l*F-~Ae^%kdmpG?(z_WqyU>lbrn_6+`7R6JQ@| z>hA9D>e9`VQK7v7RE<|ar=-@E*7|#6Vc~9+u7-NJk{BM?)-w3LpEg+o&YpctHE9^G z2H)yu+-UE3NrD{FrzVY>V5i!yL$B(783M7}K*+%dd^w)MNv9@$SmGAm_QiIU;Y$Q8 z;m<8#Fy#fdM&Uez)jI>0-&682g(%vJ)tP{)1lYztq`+?gFi}RK3N?1DrWlrc(heAM z?)!crGPWP)(^a?j)dQBvq8U+DLpAv2p1(Kf#wjXDg_mg#4=lvZ%4}LzW+GArkKH{~ zwtM$5d&Cf2kkO#fVyY^pAYnMX8JC{xzk7THn|JwTs(YHQZ%Bu2-v$fv`V&;-Qwpa~ zKnkF65LBN-0bO%1lrEOvZ!r7!GPEs&R9AJ5*KdD)Rxj|%?+K?B_&2D%lK;I>k_5Di zL*Ym(PWdhIc9Eb7$s&uz}I!jp$FOLJ3;b@<1bMa16nl5 z$h@8;kmQh_C^1l5g(1nJ1rhxp)Cc9EpYbv=MlklPYKIS_ogu&uUo zjJb9mu#AC`^e+yp8TGN9sw^v#G0-vp5+*ULRt~uz!u#>^uf|uEU-0bj-voKNBBfdh zzW?}sB%2Pd9Wc`sgx7oyRdk3Q=H<#hFlE6hx-5()KmUWA>^T^gvLeNj_AzDyg|6hu z_Q)Cc>4?bK)^liyB1Na(;CBFq92W#=PUko5zFrc)l6S!XRZ-&eSqANgI1%JNbR;=}TKq7gTN$f(=Ogm>GC$PBsEVL-*ZgYVKs(TaW(h!j$Zo zeoCjqB-W;wE5>Cviz(#Q zlL!T#*=nOQiG<@1(P1OQe$&o#u(BlxZ$VJ*m6vxsyYkxj`TTuTE9&+7e=Wehj^lh` zvBPB7!zhvOO#)Vn4L9?=g%qykT5oZpjvweZGbDsxkf1{Z!r7ZTF(?uQ@+U{40704i zgHPJtPm~(T3rx)?xZi`6%?bDq=6kxGPd@AG*19Z4IxEL_M4l!SonBa-cmEJ{6eI>g zLw?$Rn9K1V`AP}#^c&SDc5Dxj4Z+X9Dlr4Dv>!kt14yfvf#J$%Ak=%T3T!T;G+JI> z4yd05Zl^?OOB7WVKpKq})BgiZ(}aT<^*UQyTGUlV3#hHEtbkxS*UCrC1974w$v&n= zdh3VFZG=#?2*p9CsXBG#`8I&>c6N0|!Q+tCbe(5g2}F-7?;BJ=ORAtq_z%z&+W!X# zUz6z-`$vvPRI6Eyhav$!?g^;CDuv_-lPsx24lg&U*o05;i?*vM0b4-k;_;s})|#%n z6|smfiqg7^>_{TBY{L#lJrUq`;3)zO%T8xai@<*vhESI;p7E|qkb2;rYzjzGWcRvh z^J-K|B148%|4h%!JU+S^MT_Uuj=(2bb1i)iuxh?gCDbl<{n$HON&U-kBOt<3WBM*jvK_dkqe&HGOj|ce$n+8c}?Vu0|Shl)xG%S7?IIRF;y?v@XgF?if$p zKWO7N!LR;t^s-Li?RYQ+<31>5e^u7cwy}I7qy)wKdyE&CK0|E4l_rJ1MQ9Rd$Pwvi zImGvULqN8-jHkltum5cGv#xf}eHR?HFibeUTr4JB&;Z=_+aB7*nF`G!#pnCvY&dQZ zaTaWFUY&Du|7Al-_ESpEIvzI*&T$p%u|CfeV@9@z4dQR*pb56a5^{BAJ8ZH@aQubo z(o-Yy-8QGHTYjRNs_MGe&G^TCo`2y=uQHfN2S?dlZ>8=mGlmTGM0<(QCv5lQ26*m*q2 z=>fbtKv$-nToezYF{Mr7IcuDa=Dn7j*HOIKWX+|VILq~|)c!;ly$gg#0F2%T*8CyV zj{bJ8(dKB%p96&QtLlGN5z_qoG4%p(Ga-qDo)yPESu)Vdqja zD=p*?Q#Is1IF1WT0nEV2THN?s?OZU?{)VCWqJmISECUF*Q?y+uCXVa-fK54sjihRs z5JLwOgo^J6`I#S`e*}&s8dQ6o2_9zN@oo{7SGksrWERAHMB*Wf74uNgbaOhh-p~-H zW|PHHm&5kK3@9VRASEZGNyS8igHiIsBz70rSNJ3nM4cyQ5GgVtV59Z;raw>LX*s}b zMg&L7N+$h?ei#Z9x4HhyMppw@vJ8zC^ryw<{8YDUm3tkLPk`n&@$CHN+&uX832(Q$ z-9Tsb^yVhd)D$F4DKd+#vY4AP(j>R>J=K7s`Sz9z_mtD|eY!O)QF=^IFF%9Hz#L4psjf5%=v<@{D9hfTx@%+~fsF?&!vIIJP@`XC5o@HF1T=7c z&1bC-H=Msu0;}+foJV3wmTeZA&w!l}Fqi}f2itIH106UJE(X|6^!4=t?+M^6TwALw zl}%Jvo_@+sOUC33Kb9=(2^Wey$nkxv)NIJjd6l900SpoPfF*e>`77&p<=<<@ujzcE zP{(V=YCcJg$oAppnGQogd~PxTP@<)%NK6+lsjplB5ZBdL0!V|7+qw(zLFI=@dA7Z) z5E|T;#zqqsoPMU6BWI2bz@AlA_P^Kp<{a`A@B*$!8uEChtkRpa1@im=3cZ~5mmd|= zw$?}-jizw8q)Cs>$S&8n$W*N!e7_bQuz=KvGNB$g;i4=kME8dXo$+ zhP1M-lcLpeSFXIw931$rhAJq_bb-B#H}hnMIfWhyhibgTntYfO)zjw>m|If}5Vh06 zGsI{Ca6vGBe!oD%;Mn5N#eBkJVv^cjAzo-%4n=D7_ldsm#{JSEDs|IMaya1?4nxwS z-@%lgU&~@_(EEQ|w2Tw<<5d6=1|FAvH&m0cn-9(3o;Nuh>l6|4EYpW>z*e#ai4cQ{ z$}3_J&E*j0ZZ8@8dWd7Ix`p>!@sT@76Aj(T& zke&_rOxb-jA41{|F`-e9mzhZ6{J`W8h5_D@Xq?pZB9yYV>KgO+unXfTd^`c}W~vNU zON`Q#=-U{RYj*;h?bT^V;?@Lyv9rg`3u7XX^sfP*mtwXCJ`H3BMlxDGl{<%*&Ld`BaZJK2_X^Ch8l6AuMm+&WqJt|*bpHZN>jm37c#5&O2pvc#`)0es=ECc6 z#sC)pOXQ{S`3is79e~j1cS?J z&^>0rhhG!b#nwF$Z{A~s4FJy;r_~(wkOpa-f={B-%JQ;1FkM%Kk-E4#a9e{CiMtu3 zi@A#zm8>+9zA}G?MZ)7a1;RWt0H*;URz`a52i1+FrQ`er$}~gw!ww)*U23jcv-&f0 zeYFAq{)eT>V{JzQmG`HU;=X^A}MB)C;MBF&%B^&YL-DN0(t1zZ@SVZ!wz--iMQt`jWwOFq34mxN`-c8s$NHH-5Wxv* z7T3--W6f&K9;!Eid$bhv7YWx~5(sqi1bU;mV87L;RYf1eGAhp}nx=#7t6`Wky0-6P zW9_4Myv`xdD>A+)@#0A#ET*Nn9F1AR62u7qr9Z!9?Rvh&EJY zMXQH!M*zVILJEool*}$Gq2<=xJRB7;q-IImw7H$En`6FR2A&W5z+Tw+pZ%d;C_HoE zu-uAEbFe~WINq@s9h4Ok1C}*RU=qA9R*tC({ zoR(nC_`cRmLq_y_FAF}y*cLWLGD#W@5-bcC2?{#BUh`}ewx6gop5V7NBzQtNrFL`= z)b?Ggzurk2b6P_+`HMBWtS}i&4eFPfUt1QngZFTa!sEW`W2`Kff9Gf^(Agx<_g14; z;gH$xhB<7a69LQj4kU^Z(RhbBSYQ3Lq{pt|&#(X5gB8qGoiX^c@A&xm1K&;2aSTfr zQ5LiL6`GlJxH+-`t@&HhxL&3lsp8t_&Jv!Rh)Wmo5hjkR8 zqJkB0L6L|ArxuqnWU|!fR!`ySshw|(F3g$n^+gIC*1Z|#AK->KZz$;nM!Pi#Aq`<-yP73JIhBW)2v4htkL zuTQ@(ybfSRP_qDQMG8$;;3V2PQ3N{eE?H?|!TgMFR`6_f`@V$R>)Y+c%Or+nYlnFT z#M7M0_t!#?j%touvWO$t@BD>Ue@BpAcjQ?*VGRaSx}B$O-Mn@WdU!5hZaA%KzlIX$ zt2_&86QjW(#D}24fc6(T>fX639y>}>Xr9P@omVy-;;GO32312nnA`Xynac2w(Jn-Hd zB6`0rxp{XRf;X>55?=fqgctQ6Ei_!v+PM86u4FL8@@dC@;VVP;UAwlg^Q4&D+SQs+ zT262W%d%lI9E%G(wW&cwaD0Saim;=u%fFhe?i!bKeAnNai*GOLn-9}5_dQ#P5%868 zy!dAgC1OG_JKf%1kC9gVb4@rjvzJusmk77ip#WdjF1@gZ( zJWi?r4<1c`)-Nso{ZwOTU3Egb{U0yT?u@@ua})J^9`_^&ToR=NxekI2ORp~&eXb&~ z^u4B;kUlxRmzw+zbZ7i`0I-)WYmQ?tk2jyErAXsKOGf7Xwk~|%p8)}j&vDM1_z2e$ zBQ_**&=%UKEn(l;lVwd=FyCtUagD%vd>yaLJF4&H%hSIu%FJ(GY<*kqLS)k?p`Wq$ z34RgOlQ>+i%^rAfpTL@jSg+U9tkwqa#2?Iqzp_x+hYA-$&yN{l6)AMp&9Yxo&2l~Szl6N>=HxVGJUkHDKI#>m_4S$gNw4U+ftM<~dDMvjY zbX-~B!Oy&uK863p{A)qvg7wftd3Z}-3?YU)I5<$sI!-IgF;+*H7G|g$Jd&IiiCP4@ z{^Gj1xBJ(Bp-aDSS|Kwxp>H0uOfepg48D~E^TBCL{`BJ__NOrT$1N-kPPK?<)y;*2 ziUzT*SWdN1_e(6IQ2g5JY&-DOyPRryf9^rVQxjpEE)`x!nJ^h6!7~OR*ygpxwrbie z9M65rckll=CDc{#gGgt`_=rU+VZd32ZL!4dTRNm95K<)0;bWqkaPf(MO|*<*h7Qa# zle_bsH=EucAF53iv|Sc%anjO{qjlq5Mm#3TMo+N+)^ZVjjqyFpRd8dHS zLn|lEipJqLod)5{`|sGl9O#j&y_P_DdBld{J~UtGqX~vW>M|UxY2^l0?67=GSpe#} zF;Q71qwn8wJHPAc(#O!7Ze6|H>F!h+nrHPL2)@23luGD+`&UzO6UBGJulX)Y$_(Ip z5`^x6!AMZxpGcXC$L+Ml!Fa|!FlwjR^oqNT;hmS+N1oQLrz)IdV z=f6qw;+Ln1>hQ?muuTUl@jw`cwY4>@(;rWV*i5HEsT@i2k6n^v0GP~nfscrM%{|^` z9s(NV9$>K>_6Gyw`nxj9(XOH-8Ya_FJZr)+ybacGUi+81ZSnQd^Q<826nxK#q|HYn zHcu^W>@+@~C^LYmB;HtCvzS|8Sjg8*@qVRxzc5#pkXz2S?oZCNKZJ1n>4GI1!1O2W z;DAdAk_-v55ClRO#>^!dFL<|g7I9moJcdoly17t)Kcu=&?dOE@Dt2hk)8^wzv8_(o+vau5V?RkhDH41D)?dE@ZM!p_(pX}$#2&k$3po6Nbjbnj+ zPtmUwZ=hMR;I9JuLZJ+6%-Gvu`%1`<@9#%2t?yR%c_&+^%6o^&)g)wrb;`oE94sZh z-1gGX8R*OxzZCjy7?^@${lN-Tp=zJhQixP7*%Qi79)_}7v31>72KAq}V;25owxVn; zF^A0it6t(qUV-DNPe-d@m)`qssynYj(pFUDtNEz!*iftwrNdS88IdA<&@rK4g?ojF z1vRYrXIdZ+MXXjmc$)8;r#G(mBr;zC1Ee*PfS0oTZ$!v)>+TbAupAES#1y)P>81BY}H_BDzHBmdS5W0K=iO{Xs94O%1Lwg;zxMHLdT$r?9a;~F^f()6McHv zjj5@w2Cyu3tH!@W+0BBOvA@64J_pP&;H9L=LV~3ch~pB4CE*3xM{D;%Etbv2nI|Jt zNrTO1Bbg2lb=&G)u#HcFsHxdb1e^a-_e`xDW)JYwMhh99Ru<1}#;ad&6PZk;iN3k# zPixF)FoG8IofSdc_wW2ex2Wm{-($1_|v)sJ6oIR>hY)j;G8=3x;&N$i8SZt`V80~_dlu`9W z^DJLq!J<93!3G@$4#I`$C5E4YhU_&J{Dvkga0*w@hH%oTG2+IxVjja+b$a!D-nlBh z_!CVgE%*QvBQnSRAv1V#PVXUV3}o+Vsa}{;?m~B)37ODM7+QMxb~VsE%C z>cRq(4FGLpLEXR0@kmRTDcy~luvqRyvg2j%TRh(uMX8;*G zugqfSGK-@{6UHa+LA3%N5v8*^I_a-_j%8_~+$u)!U`YFcZ^WZeY>mXlT5 zK<@Pg4!p|pgy>UB?@jH6RRPVrgeoOVNhJ?SbH>>-yd`d zjL5DycQQ~7Yo_MI6pZ*QkVlF3=KTfow`55VMTA^s8*n^OLQyvPejeWr?JqQm4KLaR zB?REK5BPy+;IOA8mQc>!4H^lVifR}Ln3=pZlccz}lCw5eB8C1i{ind3V$K^mx@WVp zkl@j#QyFd&e4?4oQpDX}?4n_7O>KXO78@A17tjwnp)A4_4ayINT(IbaRHlSLPsRfo zwtoRvVJ<0=gAa>)N0?mDidTciDB@ZWqi!U>*@J5QWvrQ8lUca$E1uqaU7o9*9 zWYQtfgMvWDC^Jz%g@j2Gb$Afiv3Gz8eZ0j0^W z6Cg%QHH0Ni7CU&7|M^q|l}|-;X^mg#ekCb!007L;JVg+vl$g?kyT0ejy&W*0S_z`9b7`U%@9m&JxbyZO?Ghj$e z213!UUVi>zivQ2#t_o$1s@LvWQL{wVF-d6Sv%b z4wm{$@PEdRVIcm(Hew{x?J4BEQm|HC@)<9BZUNSLAmnQyC z;k#qQ=_%|Hbc=36G(`lPD7YhdrD7a<@Nj4>C=|{w$**kV3kWU}f*cLxM+$CF#Eb>Q z3F7+YgBq!m@ROm=AMx1R__r6FUF~6&1`V8^+sC_BN8L+Q@n#Mwo@CRm;qD-5p$OpR z=s6V=O4|F|Wb%VE<5FUAQlw(Ow?yO)L1c!4BEWH?xktTS)Wp?N{plG>Bro4GqMwc zAIBJ1(31>xs0K)tQ}`TYxzR2b4S8c51BBN{Y^#oFK)BQfsVU5gd*^ASrE;GKpXsXN2-$VTdg#;F+OQ2U+Ea~E34quHA?fKsR=tGuLfDUqv+|Y zV)RqhXj>ALS>y*#BNB|Hs7Ib{4CR;e{&G+^P#Qq2=A$|cCQ>y8VLD9?7m_fGj<~FA z@D?dh56G#AsT5nD_q@LWbL>?g%9IRV?N$<|v@fcHQ70aEG`-c+d?uSrtO zi~$y3^}C2bf+nU|VD?umt11X3)o!6yqQ_`NjVD1u-@~hy2|Xjt&LP*YBfl7C?FU2$ za5yB(De>$nq0&Bw>5g%H)$N`e$2vJV$vDpFC>r^EO_Jc}Z#6K*o~6{=`-$!sAv^L| zy}#8NpYE8R*Yq{%SHomJEDaONGZ>;$4BT`%wmN)C+WGzJpk*n#eaA>g9 z-(ZF78M#EX#%9U}kN@h67`t$j*MW0A3={5d;>B^ms815(^O=+|LJrWe6K1%m*dfXb z->f<4eI9G#g-F!5a2JB-5J=`Q@(ZbT7MtiR6sYHltkr8g4j3ot|0XWXvqus#rz5~2 z?s>P`9mA_{chYu5VKW=el`38-SFMSdn;*#gJ}DPXAXIv8yi; zrMc``v`YYH9jP_$t#~o!n=9@5Fm^_9nq0|`_9M!o{xXkP+RhKS*RJQ)b=V;YOzTu{ z`wdBiy+~b(vLc$?u6$6+Ju*)fDMWf&#i0g{1elJSq>p5Z#<>7UPx@D)ZyjyER&44T zOR*W@Y5s6bk4N;JG|F)oxuiewPH&*SvVt@=d>}R<;xo^6n{HcjaI)~mc513>8Sym* zVkeV<5*&1V0Nz99SY*=Pr?>s%meH=qauwH^B`LXuSV4HoIB0{+PiXgPCSU`6McaWT zpdLg|Y8{s?(y6;1H&YPb7WN4>Lt30GH4hL^4$e8!JyxIG6BKPCoA zi3+J4ic2rbocnU$z8m6eec&e3WP0LCfO zfNvzdVJ6Yf>`niKm?g1Q(^Pb2)~Bd<2#PYV^}@f%jwjP*CQ*yguy$F>;9*I!{$bu7 zhJ|kK=kLc?O9z>XqX`#C#P9<-BA-*avKbHpwmxLmKs`$w+uIR$!wv@c&IA2_e-hJ_ zSKO*k`0tjCKVo|w+cMLy6}z5*!=ZpoYw8hwd^4ZOV(yJ9gvqhJdP8jUESH6&lAQDQ z>VP*ofvOD-zx>ZcPlXBg(BX8!0pPy%;2=tY2a0M~Oewu) zRc|&8#%|or&j2eX#wPO%c93O0?MIk&7Pk{6i2A?px{FEg-S2PDL|&J_mjq~JaLs*a z!{}4S!kwBO53H&ZQ{)XiO4gB)z0>{}Vz;KQ6bfn1L)5vcL{z%R?mnDmxpzEiRNuoQDEo7Q=g=xeJ3c zmd@nUBN*7?$oIE^k)81GziGzELO3{L_${anOztlnT6Bn9eUl*Uv~u8}v^_lp4@sa+WPjY?S3((LZxV&(Q5evr!GR?qgO>%tsbJ<~ zVr|POE@ps0o|}j5A^u z@Ni~r8o$r-)#FW&UXr5J(64(b_Uk(g#;}M`6&JfKG-FBo2qh^igZE}h#7dlbdwV+p zm|j39IjFBV3LFyUHPqPQH=*g~b`PxS+qOw>lvP?IScFQv4#0c@sO{9!_NVPTb_p?? zY%`R!7*YU(LN^e;{2>8OKO_*lBhJ4S5^8oce2t5#D=)Wtx;-jYV8?)d`vD{{14|bc zt@@o)44YK4E)F}qVVf+3r!~AA4VOWyK*cJ0+qAklA=XT6Y*>^O7(Lx&Q$foEz;7`IdpfoNT+m{ zgmiZZNb?1xkxr3L0YO4Qy7O*-_g-D{hikE5&73)B@BMk-=RsTph%K<8pleqyqk_+y zEwN)(mi4NG;zIl?`2Gbn6dZJ|kblVr3JQuyMDNc(YsAthB&R&uXMW|6?hP?N#(ckG zzr&93uKm;LAO^#XGbG+P2duioN#d3VF(?7s-SnH#iAiX z4L*ea^`u+SD(IRq)_%^2neE@-;>T16a5-2YRq7tY@3->1=)CXV4X?P|PL@|M?6WsJ$;M+uOx2RA#9KuA}u{2ZJmflNW2x3|8KZH@QYg`#6Shq=aJ`Vvw9 zy0VYwcR}Zb-Vqs!9A@|*usZV{e>1-l@buv4=ePL2NrRdC(vayQW5Rd)s_W?i@CW%o zd~a{>-FX>1aq#Jv=4MYY(*Ji)1sHS6l| zHXK~rIN|e-{s+__;O(sQIx(ZI{n2gXCJ>+A^MTmc_;ud|;1`4O1?-Q=e^!<;Ibh!( zB?&z<9c=1KaaMg$63#OQjr4R5bJ%XAl(s|_1AQ4|NsB>sN5|U~xMou$Iqj>6#k5{^ zGcVlbCN@CO1Uz+fC2{%GE8I-CDq}!tmRr@67`9;LOE#>0lWD^Yh{J!`ymeRcxvh8ntp!goyfbgTT~F zbj8@$ah9wfZdzKu-xB8<)_X5TKiu5g8{bWpPk)}KDplxt`JDIf&jQygHvgp-_q!H# z<+h8ZR~3m-hClCQV&N%gEx8CaHiNqC8)zh?aN!uI1_D`RNoJ}s7qp}1Sao_Od24ks z&vw2aPg5Vi#E3t=0MRU$vw?t{Jzjk~nL57B8TOaVq{~aQ0O))a9+cblVWYm@a@*S{ zh%5h-g~#H_WvB@q9_*SqksA3sTHqh{IZ`CWD2vIfgZJ;1uc~Wxu5WN2y9WKw+GcC2 zx^A}h**Xsr4XW3;`GXZP!dBt~e6{Ozg#PxZe{P;QJXoBa?qHkcaP29pn`Tgs;yHwD z<--1ko#KX}g;%&q^nk0FD{gZIoTs%IC~@^5K-30-X6*}D>x1{w!N$gk9QB5U{dFAx z{(%%!i4F_r0CO7@MU35fqc6*`^8?7^-F}(u=w~x;=LDn?WQhH}BBAFnQ^#v$?VHi;{CtIW_L`e?Y_$`T=4;KtlmS zK0ki2``=#=3`qB~lbHYOlmNkXz2)et@0sFxGbjcLyUa*+SeZUzUWCALIlOgdHMb1(IWrvqg?!?X{`_EcaMDJdScWl%3Slb~o z(W*Zt@~c|LO@ve?mo7%{QXN?(R-g>iGwgTmSC$R4kDW%yom6h!I2D=tOM23d-X~it zj%lIQ&8#U^!mc9`==(N#>53ZenQv!E(0hcOkY`H7gV#LjBE01%e)1|0HuJ-1iwLNG*sxxa) zp*5r<1h=ZWA#yLKvR6Jl0JFej{G#F8QA)!mZK-mFz1Da?a%@#J6tVR?e>=N4`yXsI_ziQB#Sxz4$VJN{)b-$Fr&&VOScXvP}LCj{fvbNUsez6`A z6?>h*Zw)Z*f#;y1!S(6!0nj`8@l0kA^f=8bQQCIj*({cWb~uPU|I`1!DG| zmV>`QBhfUZ#C(%W$d~nNxQu8s@0! zyC^tXU0U)6-1{n>I;i}b%6@*E6DSL10}%zNt9^6qtNFg=^6xR5suX{^G?z0YGmVz4x_Pg|ta_R0x|)G5`E2WOh%VW= z7o6b1htX6axye!xGZ!Y)ixJIlq9?vXD;c@&?{-mV-52Gmk3)dm(b{ub z#zb*}KS)ICl`kp_HOVBRrj5)tgRx_q55zj!l&v-Wij~wp#7pd`_V4M*3?DWhq&JIN zT{VI;nK=P?2y@E6EVMw*V?;$=+VoO+jJ@82Hwlw!)_1yVN;GAYRr$f1^CEF35Zb#C zIs%>Y>wiy2(4c)*Bputs$lt2cN`U#Aj{u|96!kG$4tbjUUmW2U%r0dCyNG;otOwv743ir8`w^*>$+=*XLvD= z#EGD$3JBV`foLS>iw>MnGuozE_C4{LMD&q^Mq&?=yWcW~j?Wiw3cG4P94^k%iqXt} zMp4w>!2zg$PM6!kiLB0#$l=EA&|p^^mxt+z_Jp<3F9)hc16?L0P3AJDvJ&Fum|xYj ztg;MeEyYrbX|YBh|BIqr@T4G3-|t-9|7x#po#ad!G5pB)jAo51G-bHV@6h)1>w~xt z$yoP_VyxjHzpY%e|5inD8D5anY-9W!!pI1b5}OPW!HMt9KOL$mT1rfrG%eAAFw>jA zp=C+)=(DitPQKwP@~yo|S=A7_hhS#!VO4Uc^E(`33Jk=zH1@z{^^n*M(^TI+Bv~m1 zB%$V@tZX~J&1((tGAnOb&M}>vwbpmB8Y!h8V%e1Aa-x|?b8n2dZeMN6M84RZCOGup z*8LOlB-<-bqkX=^Wj^T69mghRqQ}$)bII$c7XD$Jd(qk83U@AXVEyJxpSyDQnWF6~ z+epM?kLmM!rQx?R?8x+*!=f-K0VWEP+38OW^ChBb8p3^3$IhGWh!_6X0FYBwQ6bL7 zA5Eh$kq<5+Xzcm)So;vK7Z}O~0P1L#peJhu>+6dj7h)kwM^=`}c$%a6aq5VOh>RR> zy5EdeeJkT#qF?)))WD1!mzB{g>f{bRm$gg*-OBP74E@nU)H@v`f2 zzl&AxKiQ|(($MhJAcOh-mi3F1dV#*ewekZ!UWElj95P5UoQ_4XJoM2#`EfykQK-Yl zVNZc!&s_*79i7smjzXAyvaF#2wQU#cqN7o8eQ&dY2V_0(g=|2Zj% zw!~Oq9!P37Df4qeOYxbTpp2yYN}HQ8`*?4LpKKwDrE^hav+BQc#ctMpk`&eUXzW zWfsF$xBh5Cw$5uHQkFE~y)|7D=uJ?dX8^l*Kpz2qQPDeplEZm-@X=vyN9CEz{ORMILwX<)G z;QusCIYAO+;?D%9xrtc~_-vXoks=xx-#^#5Vl!O#LN24@T4)}escvsl1#?o_h zDU*9_H1mTO+dLf&4JkT})zw|WT^fu<9RcA81c`J(f%NubA2?@JScqN~?vkbsU5qjx+ySwaGgW%aw=Z)}}y@OuQc+Z{!#j@z9-2s+)RXCqAxwNKg`!YxMER}{evW&krHk|PVf1u~ zaK0{_d$cC0(B|9u84T6vuw%ga5Z$2t(6>q!YM-13v)yNsMZlp}>sugUH^Ff`OpY;O4XH_=Sf6zxQo2R#qO%*?G^WJj$@H>zb$QWjkTt zLz$X~n=hlSKBKxJX_}G{yfK#)YV(sxS0yqo*MZj}cj0ZmH~pbdq?%`rFBr~<$IkA9 z>>cfy&vC{C?Ufc^C!-orHtRFED?FdS-MDqX>E`dpQO5e!{B*VYh4oS8;<_$3gDEW6 znq68grCwQe*+>ia^O;Xkxk3?+)M=Iq1R{4dH*T zPr!?k6;5>oS}c+@1yvfpX6`vpDg`Yg3JU7#(;(GhIa;qU&5{BSH}%Tp^*GRpt$k6B zJ)L8LPW>--2J9R^LL|$7wK_;hNHC{NWi%APO~Fp_Liy=j`MOI$F=f~yPRz$N=9!_+ z_Zw@GyG39to95=P-zF7cG7Kv`#8myrMl?(WCp#@2F{pwmt25lES+0k`E@` ztBNvFZ(V(w|I!Cl+Bx`}&o)`-`ZD|2dc*w;@BUNIlM}kt`aSLxqTIhfU%hzQ!nTr_ zEnGKo+?s;GP%)8bf~$%Wd$jS+TxFI2$A<|-5u@A97yhA>A8j~aoOfUr+E4wyY?a0{ zcXasavKJa9CrEVj?XY?Ebj8KK)%&(`(T?(ihowTcq1zL^d1rge{)P)!=B_p(-PU zkP!S7+%Im4C?#?FdV1h0=i328hkmQ5at$D_C{E5$0D6o9m4V$*Y{lJNquydC<}O^< z*I)_HSkIM#X|>*%&c~BQ@RCQ?cYbP$v#gN>LxtNbLY1)d2(Ty$M#QQRBch9BDmq~4 zfyS}?lrwVz<`F4PgQ*d{E6OZH5)Z278q(f*U$+$%6=kyuU!^r}d@Gg(ZZi~xji<*9 zQ=8p~o@ejM717GUj|5lmD^zqDX7$8d-;G*Ar7Ho1~+e#SVB1 zTd_Rp`1b#fA_!#z@dt@hsT&Du7^0;W>-@5q*)ZXPz!8}d;;{rArX`s(}DYCW&Mr|$7s zW$^H}ULL-_b6AN}&f;%-Wm@?imCJ%%5XPIen0NoHq;aC_>!)7E=ZL?+E!s}Kh!L(? zNcC5i#rStUjhDC&pbDZV)&A%!o>&DKy3MP?E!1{*j zRjA4?9`m87-uxCNaL6#m9;1KJ{x7=HmD^v%d98^o{wz7P*9*(@jkcruXA@p)p{a4D zmvU?!oo5)mRAEz=nvG{DJ+I{Zp!^lOR}iX_|Q z5<0GEtZFOXPm5zanf;e0#)JzQslmS9I4H9XqdD5^V&#|n-TaJNOTJ++P@O&-L*ehR zXO-c_2U$Z6h|>StBgu3yTK&dCocH zs_6YJ$Oc1NfmwK(T(MNC>d)+?V<(6MyLqOCOroB#wUi0ujz~DWP45EeVE=z+4kT4; zU;oVTHuKEA$>nfW>YdS**Q)A_)_gV@plRr%&vcQ!tevG$no*kqp<{&5!7*^l@k#k- zo{KYBxzX#QuKkb^;}1JUw#?pk_+g}Nxl;j0e-k4*zaaH`^!&}6;c*U|XUTrM0aV*C z%><w)h(F zT{KBVit?tEqxm?ky*q_qmhVK2n>AubkYgf(Uu0&`%Q-t|K$P0Uvv`8-u_Z3-o!74+ zPR`s2vG=jI_4Yoy?{o3hA`dLyzh~mb#zQ(NYmNvl@eh0m@8AEjGnSnO*JE=(T&Z=` z7B(i=)TYC?;yAw~Ul{zmaJ@8nl;yL!t%!5}dHN(b_!p)dghGDfp;I9PGZc!POKl#v zrV!(usq;zpau^ZaGyXKBJ5=P9al<{SbR2IsYK5qIH`zDPfOTG!%9f-Cs8v3@_#k=?12WYF*|rhq4R2CSPZ+gy8??kmUYNT8-f^ebdl>{U>Tqm^82}Rt%D{ zL?Ol`XoVh}(((VZ02{^X%JSSZUTvNU-H6jHlKvxby$j7zBYo%L5^ZjtH;S1)17FyL z_4BRN5ZrIALd`N$FawzfU#rSSM3X3pA+2ZsIzva97_j+G_>*x0O}BhSN0VN#KsP1W z@GjcXe$`{Og&6xcyj(-mTw?UnzHLH~!6>EjIhXUmrREo(im_H<&@0&%wZe;k#WYe{ z-%dq{z|JeMGT zh|%yVAPJL@D%aEBE$>i#Mf4rqFE8`=y!_}JUzZr}BpeFv`Mhm3M-;H_>Z+f<{jmg4ydw1_b|j)v z#!erzaUBA4qA#{IzA+%8dSAW&`KYz?-Jy9wz`@tJx~;XOrL@jrJluWRowgBoBm@Hc7QEen;J2jWZ^m`XYaYMS9~7jqA82@X z+O(>Sn_aKs;^dMlzSuqFEdLa@RX08Q-r?gacy;CG;aQ@Fur-AfQo-nUYgfolh&t%H zVUh#0&3a~-Sx^e)`rcy}kMp)Y0q0ys2!hrw%*z;FYi(lU7%<;Dul@P;m+Gqi1`CtK zAM|XMhK-g-)lO6^vuh0;=y$#O-%yKM2A1aud4skgkVp!KEf`X=`6mqI+8>y72`~&i zE;NoQ{cPXHj6aFUpV^wNmDif81nU>~s3P~sq}>(L&$r3Q&irmVzf+RoS(=OnSL0Zf zsi#u^-s?WTXXi}J_ocy>ju(R}nxuVsKg*FPhEn9}#$>HNMI(h&v9`BI=ag;t3#60wcV^j3KJ3(Z6t_jFjNI85K0Y^3?i@$2|C7ofazdD zlG%d7qCAR(ntdh=L1nduV|p!P!Xh(Qr`7ix>cq3NppIq3vpeD%-3~^UZQaiQy1(ac z?x5&6lB01!Fc6CJElieEPw%~yArSaACe;j!Q59e?E82Z1nC&9ywRZpI<6g8g(J$YSmS-| z=lauD7o(TntZ`n<>ox{=DX5M=>O}5?2UDA?h1gTZ2W7m4QD0Afx{{1gi5(lx(O+J` zd_NlmJThw%v0I2ao)2gCh^Nm0Z$$s*{D|Sq=6zj_@X_ngg&v)^SS|#Ca#RokIja)r z8(NxAneQrxYp51I{y1oEh~~QQV7v`_auj)*9BrGkH*9!!=9t&6cQQ@h0B`yGXFFBH z_)R*;4~9ll2s!m=CIByW5J92*nf#f>t*B6>zw6e9w zGzBw<&iuM+VBt3pY+}dDM*(Z{J-M;^MO&j!16=PsQ(ElZXu0r_G7dsH&}b1RAbEj= zw?`?IEk`X@oeYD+&OlvG4MPgD&4}SdaEn3fLcV+h$^DZdVdCJ2%mM#4hB1K)d6*rx z4%v{Wd(u{9FU7A$IIX*l!ZKQ9bL+?B#_%ggQx%;R>yV1uW^0A;K(@$fQ%ndHzNCrf zMRt;3V_(~%xQ;C#e@cJZLgyDLMA$4Qxqg?AWU3LR0)-&b>xv>FQsP0?%O2#7!-Re( z;O1LRV_$G=4<;7|!?6j93Hx47@2uh&-udf)6BAdK62()2Btitfrb5LxIL)ACcE^-^ zgmTCHI2bUsz=pBwl)BsUn?z*GcZu!8m?h~iND}g6pa}(diNQ>9ERFIC{o;Vdqigb9 zSOu+wwEXjzOn;7A%SMD@SoKzvvPSb~j0Z#`wh4`r5n)M71WL#?53*d0D5)e=M_8pF zQ9m+}{*msq%Ry2>M?4zYn$_z%!59=3u-`GA&U1wy5<00Z=a4giAxYV{h!g5KJ~N)s zTv{U$>u$*NXRDSoLa|E?9}C|MSc?~ycD;&r;ekW}1Swiuax^1VC>2Z;I~FmYJQPYp zBOaJYMRudhzWnX$Am!{IEJpgQ&65GDTKI<&ahz`E2mt!rh!~IZ!)Z^Vj~ijWW~Q42MZSC_&KM9R-kR?`WW zqY~nLj2~qAgn&jD%4T4!R?Gj1FI$zwW@N4-bHDtf{%10|HlHM@DHk=l2p%fwe?l0{ zYE3lRYAUC1{qmLJ5lNfB`R~`NJHnsmqJ}m=2og9^x*=+6O3B-_X;5k^I4f3Ba#eEi z7S-@;SV1DZK#l)D5FgZ1w?rMeDx)Fb3&fQspe=BD|25$KN@NceIU{Ly8w?&O$w`!A z04Lp2z=Kc+;W9r(FR-XaAOyaCk1$e{$brI4quNIR!x%?hC9$VVez7g+DTzYNvGJ^y zB{C%xA{VFvPe~T0-`oAWk6zYANAjq#2m$VsBcDX^o_fZ!?c1vAfmgc2g@;4owLfk;81jlv= zk~%Ic-OH(`hCL|6g;9eyG`Nm{w;1|KgGmJ*2%{>;B&UBlsGJ3BP@G4{9B3hphtuUj zccPzD^)eDnS&aQwkYb3o-8A`h?6i|29TQwgm7yVOTZYC#S};N_{-M7ZUDrWgT!Ok% zWdQ+_fE37y5hG3;i6oAuj=4U>r$?VmpcZIB&6SanAFT!tN^Oxqh;#}=O+e>%ND59n z#Zu|S6jPJR;0^>@UKN9iB>GM8G0!GHvj1BW{>f~Ge%%X~gn$o;IiFL7nztk}kjx-` zEJ>B%1JgRkh}3V&89j`^K+#YJ1my0BA4YHi3<8K|A|6DV-wA>uXNfL>LX)Uu0&$|s zhnkYD->EXTpsAR`%Dbt8p(0`k>BX;F;t0EQ&b2Tc*UEf z5RP|pQnV1kA!llcEK;=k010CGZ`hp~M`@@E6(IzF3{Nevr#qh_o=`|T5nTr{SjSHnRjhT22vO#Q>3H-7Vhx9O_(@;Myd+DQZJA1`JTHmMvz2%#bh?+;Mi3c{}=t+UpfuU;AkqC%A2*F9p{r~s&qm5!rLuW6u{;fD* zLS+^4F3?9)g4?o(CLcMWa2P^jAZd9Z zW6!rzN#?C*5DfY-0@0iN_*X&D#-NbCH_nQXX@>Pz5Hd)25YmE5DxoxzdAiES;$Vwz zc&J_~IsQmzZt|LO+(GRd3m*iePrErqvEoGYBPc|&Wdf0B_Scj(I$D)A`F8$KOO!&i zn_^ID3&NgvyQab-GrkE_ll3et&t`pNWO!Uc^OMcqy3iruK}`_3c6%69wly^w~Sl5|@{4KUC!ReMAuy zr1=wqBURAlN~laEhWJ%5f}kZ35?Q*GQ%3xk$xs=8k-VVd7rKQDX~BtD>jKQRul38Q zPo+(e)gVPw;xshCy@zMLk~-OqD?*u>Kn*qF7*zy9SochlXqv`r2aqL}{+R%b)46 zY~T44Nc~TvU=hGqNI)WeYeWAYP&e+D@Gso3*sc<0#gi_u*p9++jX-M(oH^$1*j}ES zT6{X>3n8rk%CeA(tb5J9oV%_5;$5g|B*k0qhGPyVU-Fuuu)U#Cme9z4vy^dl?zh{j z{8}3)zzRFy@q6JdY53OQ)SJmNEAC$pRCW?i0yDQ%T=j>9)jnJ8)BEAC!hxXkj^+-9 zGQ0p2d7Mq1ImLHP=J^JGeh0ZV)%n{IQFh|zA2w0529(+A{6ppl;zo(n6;uYqRMF@V z*Qsdmq>(Ds-XLJakckH2nL*f*r%)N=R1PR^%D1&*RZ$otii&wZofN!ekPM&=#0pw^ zMu`5hKfOR!RuN&0P&kkwLO@uIJd_x3xI>gtg4A7l{6kbL55C@Qd^|V9WPwCHH!3** zN@^5DlVGGnsf($i@kR(retojfpG8w_qDqk^fI_C_BwF4x{5_89>?|SEeavw;<}MoB z5x!~xH8Pj;-N`6PnrNDNchpI1Op$kXcK=5Cz|+{>WUttJGGE&IU!xBQCbQ_)7Z(&D zWW?5v-^(`oGpF1>UUjVj-<_QOo3S1D2ssNbu($)IBHo{F_?O%6bUS^Keyl^^p5mMyG_`kFIgA6C>*J zNX%c{49Qe?J$nE4A~&Kl-%s)temZ)3JOZ9;s;1yC?T`7>f-`gZMDO3dYX#UeC6R}7 z9Tu%cp@SSUFsy9(6;2ik0~}LTf{V*b9v&VdjIe@3^(+}1ELkRyXp4RQO)2oQP%9e} zA{(ee?OJ*He6yXFps-LtY0-y^20o&KhrE&>JR%xI3$vzM!xvW_P&7%P0ylp&_QHg> z5Q!9qEiY?$rnD|exFz$Sew2JZ1EmOn^qkJuf_;$ufQcqMP(pW;P!a{9l3YqA!F_g5 z^`At;&rqJWbRpsW(sY61Rsu%xNMP(@%;FOl5Wf`_D+sWHaES`|O73(0_8>entrb(n=qD>5V|U+X=1U1P(TunN;S za$b`49lMB){M1WaTLyf+V6 zf7&&z?pFT{;baca0|O~|2Ts6Cdeye};GnFGb5Do6Lgnlf3aPa$_$0pS`BQ33QtH3( zj2hU+Kf*X*8i3|+-9J~!$>59m|0)~Rsqv3hC-0Y+@QDNhuKaVe5wa< z>0Uft4}$s5)mi}fBf`3Ve9)ckYLS2C_w)}N47e~HFz>=S{G-n*jK$M`{*f6r!MF6{ zi1>nR;??%`uY<06h z!hAsJh&&0+hA_K)Kh=N52`nvE!l8X_>mN-}%4%xZvc>^>$GGy#mpc$>t9of0u*j~C zWge1Ms(Z75Lj!$!MXE~hXWJ;v*#85NJAzg|3yE=V11j;1S4^qOH^QrlejIbARc^s+iOAG-6umg_|# zEEGD{ul~9b4dTdEAfUS3gvBf%hJ!(iT|}7cdpbP$BH$hrOF~|5O{_+_mL<2Y2R{RE zp<~NdDzT9l!th1Jtx;@548JD;;qlM^fV7ykpRN%*OpztWwyE?+2`3DXG+ z{?jrbh_%F5=3bl(8Wt*ykZusv4w#f8E^r&rXm@yB7RM6`>pY4ujSQ;CPmd=Z(5|)D zN5hRD1dLi+Tkzx&=4{sz-e63DGj2a#4~pD&259U`TJAiHeOHj|;qDGFIsaNVpvu8P z-&>r#FEkTx6t(?H)Ty&lYa(dH_t)kuZQOH*z zgL4b<#We(ye-|g+n?ICpgp_les5W3$XTZu3s#9z7jX~sQSj>v_EqA!y1Un|j`+dIe zAVCgH5Z>-bJ^Xzh3F@Df{?S79^z{J>ew!SF`oE)UpC;4MM6fb}b{Ut;sv@%_q6EqX zajhFbNhjsYUUm@_r^JNRM-{?3wiwzjTStu#9@@HoK6vH{9ETj8*XZY9tniT1iRT5f zhlS#Hgtz8ZsJWNw7;ae{sEv3e3B?5c7hY!`$~;LxJ-l?GKOXQf7x$&w|14Gi_OPYR ze@F-`3ZDywgKJ|w3MMWUWvM%yP`&(VpGizMGBhSMrudU+AZO2R?^89;I3(h2Z#hx~bNwCagOnC9(cLGSLm?dtPIaKph zznOJ0H#cWZ`$tX(JZkXOjbJgw%=5=5wNyBrMtAPc!=84RKplOshqD{LtnUtBQ&(13 z&%JhGXBQm1v2}FJ<1k0@IGtVcOIKwfdOhkw&JbPrp64S%Ghj?$9<`AR!<<7%2SK3L z78v5-<(>?A7P>@B|Il40$xQ0(D1tM78@N^P{cLsTWc3>;dH<%E&O%`5;!;zQRJ4c? zx={uVl$YKKjO>vXoS}^C`DFy0F_9W^i?7FFUlkQ=@q$I~*8&!=f*ij!6p6I>F6BHu zMxYx%j(p#$xmYSvXfWc}L{JQQUbapBOKS{^U?)*3TOv9{Xv41T4q+9iB5$;v`XhwS zgjFR^4;EC+vX7ctgv3EWKugjz2LH^%&GmXek5l9hNAS>Sx$fdWXu=uH&oDz!}65MFnR~?xLkMH>c?V(P@U!T=;Pq~{jn=xC^7SqzgnCXhCXbOK0 zTfjJyB&9hMJ^C7O~-@yD+WSu7A# zD#(j~_+|5flxGQi=lzdrtR)#C%vJ{$qL1K0*#}S3!sNoV5F&IVth6h>Tx*R>l6#97 z!w*|2*OgcozQ1yI1qYpmqP#ofvRe9D1{S&tT5t!_DKG?u|AwXc%yp*7f3DD~Ub;>C zZ0S3)aXvdg$F1q9WTSVQ74Y^r7V(8)())_a7LRW6ga zvlHB33b*L7@-b|U8aiLbiA2Bg|K2nWo2${;e7~mpJK;uar#nC>c{JxP!8Xm{HMk7qpiNQ=P} z+5YJ$+tX}~|HX>ygsC_sTlGA-RM&TUGgx^|jUxbugT>Ay$MA@~KoH@xa8naP_SK5R zgOKJ}0mN|%>OMf=1+<{xLh^>%+cSv)6Kwa7(#a+~S#O0BwOWW5+FDL2+;SS3LJsGr zO5_2FNO^v4?p?>T2&b08w=O!&DYai;6Mg)D`q#BizoV##-LJN6)C8i%1S%K-4#ndw z_Dw>a#dps{7TW4~9cE_3!rrBKI&Em?`EjKj#zJ{Kg}s`qK6v~&l)240^?!L@vy^)` zkoM(W5-nqTxLOaxSgC0CX8&4xk- z+@-7M1e9gurMA_2jeB5i-F3NScY)C*Ax*Z5*F&K=eXzR=L@0Xz%JbxD%eL|oj=n`s zAjX9nigtF`@aoduZGgw%L6ae;4pZcf#~4o*snU0MmrACDx7N7j84kf1?GIsCU($qJ zuKwnsRR9JIo7Xe4giv>;TMdFFq#KMLvZiDW3r-o5;s`Xaq zL7kMl&d|}SFQi*WR|z(0`@@VG>SRw7Pi^lX?55XVC{JnN#eKO{3)o&6WT}AN+G!Ykx?0|Nj+9c&{?dmk!#yKawhbW*oktL>M?U@Sm)^LT&5)_xrP7>G^1 zF;Y}J7b+c72l_*xgj85ng(adQx5Vv>a3Lt*WUqRNvq9EtQ+4@gFoyJBym((_Az$y~ zuP>entLV=0ahm|#&J_`0WT(>Mney5QeAa}GTMRmnI`4#mk7QuenWbWSn!oenqbfnk zv~7oR=qF%dI*Ve+^->Pyjnfy;%0ev~$xnuf!^0@+zMV;9`9KK>DuF#(^)!kgxwyRfue4+ra0}cG z*nJA?qTLsyPLQbbdj+_*&(SZ$2&Am@{5*Vo1eNBR>=knVbpKJc$E9HN1I?X(Y>k(> zY81&mzq7Z~DrVjd`N%Q(UCe5)d2M1TY!`^nQvP)|R$lSDzvOq_2G!jw>GKV~=SgZK zjCf)&sf7Gwa&GkTWPB)l7u(+JXkS{ty=Ur{xA$tfcuck{^}0NBJD2?ZsUk!ZNeCnPkqn%z*T-0@54 zvC|6K@2@C!wN*3dddiR*ixDobC}lW2zV6Y4ijs1cdsQ)|to_UpQ5kU`QPb9fr8qFP zR@Smvhk0ab$MrUv+{f2S}!96ha%`o$!uE_$eK5>Jc zrfTF+ST_fh^eBCW^up(Qpa&77dXkynjR5y^4K9=r}2Sw1lcIy|UcTrNy9y9vkZ*hseIKdilRp`w3Us zVz0_?N^_%$cHZTPGeHCmcq?WKx8gSibmEyJDxBsj^IzYWyS3?2qfjHL*@qwH953NI zV?b1ljYX`#lNYnjo_y(2g5B4RXR5XO-CY_#-Ogt!NY2lK$+fu-SH5*s<8v!X6#+ZV z6CiG_HtNXKh!NAKKZ&;?(u&#!Eq;o@iN4GnuOApuPUfVKijUFyB=Pz zDqAitqMvto9IgIbUe=crsZor8sUilceJ| z|KR}W5;`oUjhj?SP-1m+`hc^nwMyeIO6RvB!LftR>)U($dxH1I#T|^u-)Dz|<>Km`@Qz+01y;GvA{k?trLp8}0`B%`?#piC6$`2dqczhch8X?xE0NZT zj-7(TA(C;HXUR}Cvq2o1Z?px>w&@vatF1eoRh|$3wY}Sz#d2la;|QB5%P1%84$2fC z7TnCID#-F0Dn=r@gf#P|8s&XN1+!Lz9gxA9GOfMyV{R{h5nAm)~|CCaN)m&wq$`?UjFy?l06DOW`}h=LBbw zpt{1UF|qWlZwYhEr{FdN^vE{eti$-w_F+yNG8cbqyX0U28qj4h3mYy1P51kuK>HM7oiZ?hYww_~^Qud&m9D7=q)Rckg$t zx#oH%ChO*l<>{Z^%JS;}HXFm=t<+fzm?n#Zm5Yd|0*VM|#&lR!oY=Y~|MdhV;V>hVYx6iuu&e9bPjFCle_sYWe zoDS!RuKC^DZ9V2&nez$jK<8Vps{P}!_+P6ZjFQGn-SPIk*V_A3thmZ+{eVE|oK%71 zm?c#PzE5g9}Zoa{>k*Db>KA5Lf}X(6X&$`2zY< zDoe5MIpWgi3U{TPfw$}@j1~h4V*#_-?snY_=LJ@>S7DvqEjpYTqdQKo@rjdtg_C`l zQO;zMQta5T8>LS`nZ)fT5e={)U}2tXuRV&FIg=H=pR6`&jS2oD(6UAblQBnQD1c+M zsn#$D_Dx2VeFQAC5A<%8efLZMo@ovhpebn<3wFDzTjwSTP5pJiUf#rzgLGT(!# z;$Jg4dz%>)8Zh}N2o2XN5q!&t_81KS=+Jg|a)xnoO^WUL8 ztgL+(uN3>sy>Z?=^B^)q;mf=&TZzF}42X}2$v@04gNHvakE4`1gxcGf17pemPKcu0 zeV{({vwYtB@qtc^`oaI;H`}8l4yxWSE8TT0@eO`;{S2Y^`a)am797z`^1_rss#pV| z*wpm2k*rxozBTE1xj#3|Ug|9u$@SlA2^-Xl#Lv3$LLp>A5_rLtCs9;QqOJXKq@i@P z;!h#^*4kjnFHyGIMEiDn^l5#KVdzfgiPzo(%<%rHWRw5Mvo=hNWeaQsS(SGfQ9 z_!{OMq)A5+g~~aO)#|H?pb-WZ+(&hdXwK>>HAYf8N~b*$2a}O|UQ>2=vPQ4LH#k_t zP22qecq1$niZ;;55Y0T8j|?LPNESQHojP-eu8W~wkLIF}vm^$_O4L;EYnL}QU$W|LICu%Ze2*akh^#gtW} zDt#MB;!~Ai>$@)be0v1u9%S4$xIN|Dd|{I7lY5tUkKkF5M-e^6_?+Q@pHE-{FcaXn z5FJL-_Hi)MEyQJy@9m9dXlQGPrNn)HGn0%80J4$DD(MHVMg-kRMyw1wU4byKc$MYP ztySQ+M-=M992OOB0Hg~@+i;{x6k|l-)OP?ID%OmrAhqm_cT-jQFyxhB z*6~-Vqi+t24)Jk7=IfY;09%kyh!lrvmaT>D#;6RvFn-#h2SA9=`*l z^8ocm3M^(Z{(VOoY0Sr)?sEwC()_MHe4QCxlHQa4!lK)?>d{P_|3P1@ z8KbJyX!-7pWW?|3!!BKC;lHhAZ^KSiK`kj=ac^hlyst9d=;F)z^k;B%ngMig)^YeJ zr=UmYm44p_bU6HBk-ak)z4dgv#6OTB{UBvS(^vqJvMvzUaJp`OF^FiNs1|;{-CnfA zH)Cip)g9&>a6DOQ2FwB?_77bEYhIgzCyq$^DHx3wSIoBu3@+=No10xkS5d@dV+c9C zukE-FWhiTtjF2e7x|7G>!NeQ>GwuRB-7SfTRnTAM@0}?yzXQDdR`rL zAg<~(t-I}l!D#sTGwfqTCN3WvZXHg%2#9C&d%Dl|K4}KqjlIwRsYmS!e*Q@Kd>-!~ z(o|lMbtV4Nvrog%;8j*&0x2~*xAT}+`N4j^9gOdD9+G6mjBgXF{Us|83#Esu5VPq` zSqjA70E?BO*l=IfeEAaLde6#Cgn73-?AqAn2K~z*hMy4G2IsFoS2v0m_LAU)-wG%tP{V|4&VKt z!7P$#D2Bl{=AxZyqmKsgR7ey(Q@9auA+&_fa&m?{q0OdG@9S;j_jV6S41k#N^!epv zi*(k+n|)m~7xIls29Xk%06O>K$E|A#ZxPQCD5n4c!!%}7&dRP&M!eFHRhHq(*S|Xm z?v@UPfYs#1rlU86UgT4IXbSQ1hFTY%*Oj++njol9W_aW=pb8iU59 z(RO~zj~$okSU^W!OH)%3bfREB$#7K{?^~(qQkV2#sy7EZ{@1P6Wgc2lrO%f~*94Mm zzo&lUU>kHg#yoA_G&d0Pe(K&MuE3Ss?QdN0hfFP+dcr2h*<$_V!ci83AH~pOlnkZ7 zLg7;)7tOy?R?X0Ckw!n|_1Nqb`lVQ&g;cd z@Jo7!qIClH_B2uJjl1cPR2jfpSO$L4Y^47d=XK@XSisA zVg80r*w@C+c=1^zuNp0GCxlYzyM0Mz=^r!4_G{^;Aja_@$Wk$+y_RbY7J@=gipT}% z4)DpU@&{#K8wH|`Exjb)z2*dfXoNziybS%IM-;ATv)^&qoaXWZ+339vOAXeq(~nG{ zQHpj_JVh_|6nPe-7F;vhw}a4M(Q+1d$r!U=i|TcfF?0T8J-L6>b61 z?Pp|4xgx$GGEo1}iYw}NDKaf-=o6Te8vF1(6Pv18PNMLA%o5`|;Np6yX@ee`oR?hp z3*8_@_~7?Yr^9QogV%u*uc0uTYqj3e@5C1Z)zDOC_9a0gFipCWECqsJCO9E!LD=xK z#q(xmGBoe>eotcp&ACE6iC0`9a8BQ>t=(?cktK{y)XONdQNMXNhhwn)f>@V%@rwgB zar~{H$1OX?BWB12@*NDq&}6Ub+3iN)LKrqbhcC1aS^FWT2+#pkDoOx-(Q0Ps`;i-x(RSKlKeeU}|D5HA z&@hkSU%4jO^+6lJn08 zjmPVpg2lv$JgGx=3@!t;><}D=FMH4XXPG=(xKZMjgknZU8Gq>MFz=u9%{C*$#0==N zqsYu?34R!Fj~(wMI2RZjd&c2J!fLOu!Q{#?sBx0uwm$xcBX3_ZRgZICYA&g}E77O? z_d*2Mc`{(WX1(+si`$FyrMARxancGVGJ#=NL{0c(7Ka9O^~D7CL}sRkiBg9Vrj#<= zA3mzmh|OVEc$B&~*nF$%)~ercWOG-?24xUEL2L)$n(7HKPc}dbk4c0)&SuIq60IYB z?g5w{om2q#AdRp%McX7#DkoT79{{O74Pn29Sr^VF9k=WWLDDVf2tRyO(bv}payh^c zaM<2F|F@Si%zxkUGNYlAareoBr^z~|Hy&u$1bF)#_XqG^`BsZSTKnOB^ZBirm3mM~ zs z*j!*kB)%7a?X{siI|%I6UgyKqUn}Cw7|1tQ3{KT&2tD6hM0oyUKCKUqnH0m0XO6j^ z-0nasgWYmH^XqWpbiK24n{VJA;|r^A>cktkzGGwo>+<$$OI(lf-E zyKC!7_83A2KXC$)(8|tE$lfD8uv(6q6C|}VXq0>i#2Nn!@-s3-dwc5HI}Y#z^ud}oIaWi-t%%%Ta{!q7u_*4|P>#HbR%k+_T@&Qa52*2>`~;ujhQ!%-7%av_oC$p0(2!y4xCnQJ)V2ct21P^g7-uM5GgP zSE@TEyfFEln2gdPN6x)*(i_V6z3%rF^`nXBesLR#XRY*q%8<(~UA7gg>tZ=!$HVCybD58KdkS)-k`gY3fI+uwCB@}auZX0V#gr=He08)@aU$kPCl z*Sj(*b61tCJ2s5Attp)wA$H5d_)b)!VVmDsA7Vxf0i)XA?S-;G^I6HSf?KAsLU+qzsOKAOPkAx*{G-aMU=t%9(B5x;3 zs@;6Q?L2n3z&x(x|NZG3Z*gkpOvSExlZ~9TE3+CZ_MZ;9rr$PH^7oh*zorp_q|6ux z4HWzCHeGgCqVXj(oYvzz*Z%uPM35|e(db`EG<#_G^-R&fTbYPc@fKDbGgbzP5-F>opwuh(-SWV;sQj9!9o#x!6Vzi3dKmt0nY%3lFFQC%5Wws!U?}}7T5Zq&QFJilMv+v-K7S#f% z*vJiQy-GsUYy_e1k`1Pp=iNAs&H9-lwk=4$)pMem!{M>WF#VQnIj3s8YigPdKPB^c zaxqrh-OFsf6U*I=l4tOwe&@ClY2r(Fzu!qSHZPdZpfTxfxc}du_w>_~k7F(D|179N zP((9lq?&d}ZeaVnob77sKZe>f*~)DnincM{Ot?SzUTMredGU%J4k3pAB2APgkLqWA z*hLnD$7FH-Rjh&b_Mz!<14T>ascn3o)waxDQ0hlY=C##$g9inZxsXr>EyrL|o9yMN z7DZIPPD3Hm27dC8oSw;ovz_+eE`{|<-y?$*9pzfe<4)K50dV0zt)U){kFvuC1S4R8 z8s-O~SvHRVk+8|Y0)UDL``kJ_O1`ZKEIbr_+{E}Mp-lI?U(O0>{|`5(r`Nh@Ng;2z ztR}$lS-z29fK4Ry<1auPlnh5FlJ4&0@ybBFdSy&DJJAG{4iOQjAp59kYx96Nu>@jR zPjP>3-1Qfk&~646R0yBb-@zz6CWjchweG1!4n!y55hCStpt%0N-G^_OJ3KsmSlx;) z!16wI%uNrJ=407{lkfN*{&r?dGfN?@^odW)pW*rtewYng2EK zlf&!$=Or1AR?lF<(pqNdw4_NbUsjTd+t)=FN+PnfH>amoYBJs8xIJ;ppGfv|dxxo> zbFDB{`wEZ0G+OF0vDe3DN13OETkE9jvRC+^CtpW4-s~9GX*n>01blrgsg_kU8W3nIn%KOD!wOM$1;|^dh4bpG(ghg=hU0Tt0N50>P#wAdOw4=sQ9GrrHCK=4|Q;Sg@A?g;?9Q-5*CvK!|=;Ep~{!Uy@Gc^ z=j8D-)%;_0Pb&`$p?A>7)MTfp`zt~BlaQu3Lyp`gW*}o5gZMTs{!h#{J!Q>20A1s1 zZ*Na`CD#^dv91WzT;){BP-*;YM&Hd8w4Vuy>k9L!KOO1|Li{j?ZD60`et}a8a4{PVq7}1_5fwB^A zFbv(lXslgMe3+c0oOV9@uK>@6>Bpb&D6V?f`)>D=f3I;T?fD__)c4QQ`S8&1G%xS# zJ^iU2H~#1wOlIhF*gEe-rNf>*vMYSi)%(WQ<1iZX7Gk^BZqW>=_z5{F>93(e+rJ zR!gEVkEE^QJyKya0@o)0MQ?78bLZXP**O~LqXrvHXevizW?NRc)6RX})*s8>OA`|x zu#rfbfrkVbkTYBaV(lc&bpOzML0+TCfVLDUfl5e3(Tn*uUpyEdc#m3V@H>5b+wkvi z0Rx{LST$i*iN~Ue6lQM8K?MdB4dl}jY+Gzc^1B+3t4L!HM}{N})>j zqMdQ0@C7n&JoV$JKNfBkgGL@R)?baO8hJN=&Dq?jf)H474hcrjuXsl*6CBS?BI5%h z#xD6(GI9j_w;0^H%#^HUG>}0AA zlItZ=)h-nK3k#`>Os(Eta8$?D+o!6iP*t6@f^8Tjhzh|RHiYAeZ@G>vX@2K@pSV)v z*W&d1%ba=8<1c-`L99P2Y-P=MZd_}0jh5e>_Xja6p8rWqDQSkqI5`g^a$gbVdeb%5Y5){%k@yZA)vT0W%TSj$dd(DzT~vDLP+>z z82fA-$ngfUp&OW(gX5f?uFvd}F`0%#tGFMQ3OhydHW87MIzv$zfY~;~$z_OEl;fgn zLNUQ;a2fc*fO+~_MDB8v@zsEPy4KEzhCYOqp2Mw)0(mXjWa7z=J;`_o3bonV5QJGS z4Ps`0eqOx?RG#*X83umLuX1X^X1k*qb-JTPZ_p&eoyp>VLw#6l^XvrNc>z83B&;i; zS14P&==1HX0_In>7G(T)JP9L;=2x1%8#A3A7FxThE^eH?nha<2JwLg~OD0j{)o*<` zrc)!MrzC`VpM%I&XA-{?J*;T*jCW$|uD>UY8y!9W``}ZGQ}cfJU)(gRnx;H?z#YG6 z>5&Gyv3p;EvatQWr}cz@e3h7d9&nzSm1fWkKqPeH$EXNhTtnml}V-y?*vRm*h0A| z?N2*4t4o)-QsG0@O4Iuy23lbn{^arV@ajAapUJUvpfVRuN`ASy9O<}j_l|Cz-|e-c zd|KKG?&p1OtiO(msy+B5U0|ZrjPYFe$WhFt`X15I1DPUU{*vr_$DXC_htp|`^pFU3 z@MVI$N^$^ilK&2!X^7JS0OlyPDmiu%Oo~J)U$=^q3E_qRn~*&9GW@&xDrkB4w|G4h z=H)e_^*TJ>o&z0f2}mQYVH)YsXh9$DE_Q%Q?dgyGqfGN3*kTy{#2How^@UWXvN7)W zHb6rGn?CnjCM6Ahy3t`IbEgf+4EOPWF2K zXYh93&c^@hmPGS@-e|`1Y=auM74c8@yV1}B0`IaC3tJ@r4Y5hb?OuFVg z+Dn81RB%o8S;q&wG@aZ|oF-}<6sx$5lf4#*Y zVo5nBv@u0Y9*~U+)O$Gb0M0kM4Bg9N<(Kkh;4Fh&H6QS04bmMI*#yb|0~PoymDcO( zUy7Vd)j9c(G?@)EAe8_Zw?Fu~z*jR_Ik6||A|9c~v)*WY7GiL_n+SFlCzA=fp-S&? znCm0k!B;RcF@0Cgj-n63!XD%0c#MmiK*2(vR7P~X_&aoUIA3TIBy2!V++!`2Lo7Vjv7TE|ej=0z-dZ1MC zAsEA5NqNibFllQm)<}@J4T=Eh35`$6!wgoC?(+ALAjwuYd$d2vj>1k0Lx}`h;)FqI zcsb+^3LpL!Z^%KDwh{t{cEMUM>$A+!;<1GKpf8j5tf|{3F7ggn{0!E z%bmtq7(&w?Le29L*+bUV@nXybb<3NlSPV)m2n`hiZUnv}2&$L{A|({0%5wvv#QuR9 zwUd3A6yeiPV4HZvg!JT4C(ctqC}8JM|IMtLS-UM^Pr4)3y`Q6uHgwO@mW~ zV)iYUGYdF-Q8gJPTAAqQ$td0#NwfU1IJK*nB;Ug;8~5feQpE=v!aUL=K$JXqBoJpt zdpDNFe+i-oyn)TEZa-*@hzEvfQ)i^!XC0%LJws9Cybp(W#i7^wu2fxQO|WDT)5UQB zkB8C7ebu$|>G;d5yNRoVuesNSlk$b+STIM%z+f3{d4S8?{#q|n`bY)|!7@F=umTH@ zIz$NkGC-bxmll7ZJxWg8@(8X7#oa%+=;!@{@X53Z^~@uPX&yN@|4pl$E;nJcQeeKw zkC^e%*n&&Fge>fn7k&P}JWDae3{Lam1WHLTod`F3m#7}$s`@v7W0ak5_R~-B^a4A| z?`=mPZ1z!U|9zO*!O`aN$h;UQsK77c9}uKjVbC3~#u`%NkWE7d(J4-p)SS_X5h3(c zk_92|E8oQkDRG(6Lvn~S=*#8<@%D-T(3&Ci+32jqang!MsfKelFdUYu=~(B}OzPWG z{hFgjEYkc)DC2>!Ud^nkqZ@(=J%zmlr38zkNnfFGC==r=!rCn0FhN!(7Vl3 zAa=1{6@X|=q#XF*LMsIo>|&Qz{J^rRbHdlP%r6z>kJP9{fbfAT7=^7(l^!=n-tIuv zbJXN@r4xky2r?x=0KfK9*=R^) z^7JI?@>$`gOKqd=JaS*e>e||Tz_SG&y6!p#i-S>m&JY<5rd2So0@@3BLM(ES+pfsD zSg9;Kjv*TIFlv2)rFikWT-ZMX9*iW}p2p^sY_3wN$u1y`yK2&in<45Hc@3!&3UKOm z>C462ZVmn15GAX1H;F3gxCM%yuCEO+Imqn8)N-mJn>e%~`-Wr&&?u3##H9&u?9#p# zNM6RB9Jr#j3s8-@G>mn?(uku_ge=8iUt3U)oP1anh-eg$U_+!3kDQ2u6LUcnAEiNk zgY>LN{cp@787o1x*7v~;wSR&*hc*E$t5moA1D9oaQw3S_*Um%=g81KH;C*@4ivhqB z-xko1v&;U=<4~f;21_-7B@33EUb~P#ma3fG|BNo3b`4fQXVUDv_v%ILH$88l|JU%6 zNxhuOZ40s~g)Bx1+x|^E)K%0~LJg|#Q-!>8?sn2lSfzbooJ!I@gRu^HnF8@S<(e4g z)qu}yzZ7B_^o1&hsLk<>B{(Z7DJjJ;3j#}?dU}hpA{U9T%S;pbk``s>*bYQ!$C#r2 zXB*w%YEa1*Xv9qy4T!|7wj&9!rpRly!9c0mm4qvz(5+mcsVEnSnw5u@+h@3=tx9%F zfj?_3xmO~ky5D`=Mwjz0vb94r;EM`m45Oe>q<;wFtBWWuz~&^qcOgcE>v}JT%sfV9 z)&heq6bZr9K`BR^#GIm_!hi^ux-1G7>VzxP9_TAd%9Y~g?Xwm`cLvKt9hVlD1gHNh zOl4EAEvvAT&+DQ{P{pUl;E?4*?)jlQ(~g!g4ca##?hQ;D@@1{*(!XT^OP+fmQU*&L zaXkckK$d}$BzE_g<2EY@S_f7@#2<>q_=|(MNR(%drw`ym7xBFKRAbz3I3FuTm2Tyw zlS}FdeQ6{Y+y-K65irQw%zmT)RX4q;)wGzP;L`pEW&zq&`rI}%^may!N(yd;9ij7~ zlPL@+c*vn(b+oamNifc=FH4cx3St4AQNVF`EHi4^MQG0by5v{LRg7dDdl*1W57G!< z4UTzIcSBu@2U=zq2^?;KVESsx2nT}+CFtQc_5;i&DiF&J1Hts`@A}l|PH=^4Qh>-l-6m9Are+5aJksKT$w5wZv1F=`p!P9zRQC8$GDW{Q^vFfs(X@ibG^mZfH?hdU`q zsx`G{TpfGGM)A7hmb;!+eK3-Q6MvQ>=nI8|NOT2N=i?r4JSBuv&WjLm!7jrrZvXOE zm2Q(-15?n|b>@-Rat|n^9Ae_%Y)jv~y4>U#+W(bTc-@@X+u_To!Q(0au$3?S#OVoA zeO_M#3o&-`N;2vgXfzh%kPYAnQ31Qjr0y$$f()cT!8jI&BM%V*1CN>x?6M#%RIz6| z`6Pz6=Djn298MUe_Uir3>6f4$_Y{3!V65M=wSIpQ7(%cEbW~1O$4JLSP)dlob}ACR2z~=&>$7a zfKAxQYlLUvXeyCfm^3?amM$*QH-P1OtJ$KRt>kvg;}ZL3aaINnDhTQ=C>Mg&^AItS z8@BhWZQ+B&sh~Z(`Qg4rTvM3IqI7I0?`Z8ZBf5T(e5eOyF-QiY9oM~9&%On5OCSOnJ607IEe|xf`8Yt6pYbl-IcH?2R$n_a zf|H?p3hzUVk<$bvJjc4Ykp zh$epq1x70BdyewWKilm|i?shKN$^v4@x!eW1oyfyIHTg zAlOBq>)|o>(c^EZ1QI|>w?s3if8D3Bv%8UnuJ*uMa}a(q$W1 zD;~>u2SgLX^OesZ7OZn+UB3d2n$4u+4UT(yFgKq~(AQ6#kp)4kD5{ueA(*d61?(y$ zkjHxwAxc~Pf!e4aVHE^>=$pw2vIj=*hT5mQB01(j77$*ioK}nX1b{8xM9}6f6{lADBh~8 zA&2M%Xv7!K{ry82g6S|Tcp6^D+M>Wr`YQ)b3^pHI49^2G4)(nus!f2kY92KNZU9lW zN-F#l)(K1^G-6>Y=9_>$Nuyfs(|;}Rm%6Xq{=+N$sV*N{KEp7lk3;)Hbx3=p4LNg3 z3^_n#m$CmKe}RiOHum-u-77yj)+{deAx6scuVi83@nqp|Fc^57D0krD?HsMNR>mb8 za{8!SLy$pII|Z|XlK9W5;-AZ7ps zt4A@70h-7h6X%9dW(ZVb?=lpr64~+FND9j_6KeNE1sU+8fw#@~pg8TUDa`S6Ejb1U zm|1|gJ~7pM-neN02LKwFnV;Vti`B0A7_pIV7n7ej68AKN1XWQ`A6}#&*;x>rG%_cwOn#SKYo1t=x~vZ}B@B`n zgF`qc^uIqbA4|0m)#+LA5+U-oNa{97`p_v|cyMLYKU0yS1>0ySIpZKzVkq&^VWoDT zu=2g(q`r$cs3z8hY(a}zvB2W!%jY1_HU~(geA<{v@lGY!RD^j}eVSXsfSZ8ero+WR z(IcsI7RZH*D(XV%dJfj5kBcKPmITxWj07Mv7dZ9+E;I%mf&8&m1K zytN*Cx07igkf1N8RLUxk7Ufmv)MKZ*G`;jaQ&mZfsl2#Q999zvJu0|BUX><2^-XfU z%iw#6SUOsiTv>`)Q*bp?cr9bR&gH<${x=b(Uj|&5+$v`5O(JQKs{POU?xYEjyxP{FQ$fY z)+LxhgRI20m<9T(XhPI?QsVUaT@1w~D!G0jPK!!EkAgBt`(OqmX~Q%ING1OP`un66 zZY2D7M>s)bK~!urXdK9AfD_SWw#b{z`WDGN`HQ5*ALPLRKg0Q7$9#Enx%CGDlJ~bj zclGuFKSVR#L|L)7{@x7`26YD2myy(`gvV;~zU$+kII}Ll_&+SCpGu?h*onP?hCq75 z&|2?yzx{dGry}IyRO4Q=s#MAxo&(ZpNE0?WDvrm;_0Ubb?cM>xhxM1Ib+E^Rc4$xU zGdp|r*cod~`a}g8g!x;F${d@GO5v-H3bE_|CF^3P(es|;dz2nq&)dj6+G-}dXsLzYVU|D} zAy&LorQHglLyDIHv9d0(QIsQs!;A>u!=y%BV%{6r7C^+Zni2J_%L8pG{0ok47+m9O zd5{7R`C?iZsm4ELnRcTG54)+7#SeJ>YRf`O-3Xy8XjW|1hOLY^lrkiPvbUCwgq*l~ z7`chDm`HQa2aXfDQlT^5aw``U7%f!Q2ho-~nHz^e;x5cMdb(pTtYV~@t*xQ*A}gAu z$KZ8WS0;kK6$p0(&z69@oKyhx1t`rkzcvR^i=sg0BwM1KOAT2sf9LrCiCGMP*bu5N5tSAlv^5NuHo=;o_-c^T|wR4CG30>f6pWD_$=B%_fqt300Bwu7Et z#_0p-lRSZzEucrvU>;8eW$cZihH)OpXHcE@w$^VVo^ zyQ4C<`2gxbPl!ymK$dRlGQ9`52*C&hF_63~--J{|7+qINGB0IZYEV)Fm)*h8Dy`=S zqO)DX%1wq7;}7BcBgKVrrl0T6lkgh-DhKA!Vg2%YCe)1y@2Qv>vk|r!RA=fabpAVCC)bi| z5iZ7ofDCWHX~<`rz+wVpW8)61$$}=y`PN-V2aFhy-ews`CcISStU{uGd+jT7_csaP zD@tPSyUV>@j}-N>iX&1N&WIsa&>>hD$utec)C)Usye-nL*H=&rJJGpNW;4(qc^;X8ZUV4>1H-GfqyCPfP7S4eS|e9wPGt~v`j4hMk0e}H8RRvO)BVCY0!kOTqc_LEoMw`Dge?_DC!QDDYL3CdHYe+1;FQy~kdH+$F1UwEVFieZyj`!m4;XAkJOH>k}qqMDr*8yYvea~f2*Rone9K{ zY|rL-Y}|`nrK6gvJ28YH!-foNS&HwEBX#C|lBZlc1Y4R^RVz2Xl>=s5D4S?0fet+y zb-G6b|H-Z7?|Fjd^n=-ow9|*;zj4#p-&A}2z4!CO0h^_@YElfb8$RIG59W5(8b&}E z^Le!e4@Iuy)V;=lsQ7S_WC1j(pjHz^+76=FU+;VYR-wtQLPZ@}?A~m? z=N@e?Yjp=%y#&CF&BZExFx*K1k#t9ZSd3+X%H4ij|v-Ix<(5x7=J8T*yc{J2aE=gg8J z+EMSvMPMqBjJHCI2|(u#_$khrK$cE91{+bLsH^ETe7WLO5SY802}`-Wdza|A_p(LT zNz7lWVjoW?yWDStX5UKoIJ=q0mq|0tOp3w>QI+qaQbaCG9vBgjEK|j;};1{)QvF{d=0J;*;=TGY%GU7+8QZYxb zAQaDluK~0=l*KMaO(aAtql0>>+`yy(KI)f?v`#MOnCXO}ng{puXKih$$)_>v zP2G9gRJ}3@=&+IAHpSx=j;U=P8!)CYR#m5PJ|~JZ7Qf*z?E^Cic~^CLq}*&tlmYdH z8Xh30fHumoBt1}y`VXgm}{jk+Fa*xJ`G@;8Jurnc-tcO>VN@MI?_&e*@UMiCy zDsRrP|`iCC!fYFdh!lLNCtTP7qcp@B!~9m7p|R2w_pOixh^mJz zS)0p9pVvu*jPd&gG<3LO!;!fD)oubMVqu$47=JWs-W-Zo85hEnA;=BAaX&8If{G?J zovTP)+S9$$Z6=NVJzj$LA_RF?%*G`E>X}h+3hS1U4)EmONixNcU4e56j5qQJo~v?O zA0?bXyywo&PB!8|8nG3_4vvb@M~`bGVS0HSs4h@Fzk=x|759kbLWaQg4OG{M4)RE; z7WejaQ!se~w%Ksx3jz~@R-FLA4HyxB}Nti*#h%)2F(80-52A}U+ zP}u(83(#C#UOueY$Xcb-&QzU#EjXY{mG}$Pb>5&Z@I12hh|k#*1_9y=o^JRcS71vT zypAjA-(oHu)zZv)uwYm$cdQ#WNr$Q?Kebu8=Gc2U?R;H-}RS+dAGI_g2UFXy9IcV3-BF|5m%r3#ej*n@i`cWq0G%>ZNL_ck^ zO*wgIYf=(*E@$DKO|-)#1;NcwF5?gEvFd=;*Fzs$sqXF3m&V+C&+1C3W|4W=LH zibw@DP|6`ibI4q(1@u^XFi3C#HDR%xqn7T)7mO3tkUyKM(~~Bm_k@iuYIw_+2UKeI z*hRJsl&fuilb5-J#eTVHU=Q<#0joA*BQeONn4J=tS&v#K$wLzS&q6EX~;3_q>krI1vxY**$GSrf!)r-yUjIoND|^; zxa5Jxt@DYWPQ2w1W_#*uyS}`ilv=88g5Swhln7`GHNa(OUIzTRCd{3uJ-}UzF zBR$dPEeJZctpf0>zOiTuVBxNl%9EV77nx4@I z*Cz~g*b0?gk?aOa5)7oF`&XCJj?=2y(<5mCL97QHgU?pbw?S{}Z)LaGXTdrq-!g@c zaj-=&C`?nx<7t@CPad~VpXstSSSfd;&&wEe1c^C?SdT=O-#&c_{$TXd!Gc2IV=flI zUN&*#T9ltZ2dAxJ}_bN%uTRlk}j^J=Kx($(~1FGiY+% zIsG~ucP>|wK;UcZhG(vMO~Gyzn{w;#_nh_?{^wZB^KTfL6=|0bf|};oTy#isn&w5i z#9ju$^Cp%*a9slw!sTdLuomhrWTw0wSl*C258d>jxK`pMN_gS-Yu|kSF-j$FfTpFqaBn4e0pr*j!mG;q6TU5b5Ju%tlbw zfsyeykR28Eu`4j_^fg-&jHx(GG?9^vhKurfu;KBWR^7fO*Ebw461q=6oBx6U-sZ#o zd}kb8u*7XCg}Hv?+Q~>~A%6}KmN&YC1DJ7TJHy9VGKw*cv%UNo&H-$o4V>#w(PsrWV|X<@kKW8J=@J>rWwfIkND7s4=WC0 z--K^gf|2`+3zBbZpV|wEkEtW_LKqW1avVx+6Gab{Gre3fnLIxkiDq3jt2{>S`6n$I z%~rTUwz=Ey%bmS63YPT}-a;V^>LiOw>34WK5yS}IbeKGD37R|%)aLK;;9ewJsWV|h z#C0{*hbdqoV*%=CZ9c+9u!X$7{}tAVob^@Z-u<1|TE^Iq>%M_;GkK5Y+h_NwMG=^Xbr4;C^K{`~)A`ZQnMWsAAsF5h{>xmh7mqmO;NMGE z0ZDqJ|N2!#FPCLM-|dY*_KdxhdT`-aWkDiUnbJ7NZzKzT=kSU+922ztjNN(c-mRQ% zy{K+|dFniQ$Suj7U=X;qapNh~*+SsQz+Zn-rsY&S5IgLOKsX)=`Wzvxam7$v?MFynvYwoNSy zas7JGgMu2gu|HV|3^lj3B}*H)OixDB@rVPj_`8ye(cJWoBML;rd3#&iZ(P<>V5p7B zso=hbWB^-7F1VmtGciR&qGK8u`*#(En%N9QYwf-x6ww6Hi<*W243Ks#|cb`aSj41qFD?S-0~VR zPf^JH50mvZoB^ME4fmDDyXBn5eqMBYyT(cdI^!*@(yi*>QiW;go}ctO?nIIAaMDm8 zRxteePJ%8Gu1ZPWpW&3Gnmoy%h;=tq=b>#F64E*65Mf4Jx8qgccZxxl0Uh3s>?Zf>jTk^l34xQ3d)eWMb1@BvOI4(nd5qd%X|^K*igi9efwQ# z|MQyr@83I{8I6hi-WhSPok8-)T}$3IA7>$BxXFEEg|8kGFhhFZVVmglA&S9pseeEJ zfUl7i(lg@EKh1mSyfevtndD9DdpzYnss6F@zEI}spVoE-1)KD70Od!en%ta~moIk$ z>2Ce8?rYq>TQNDRBBq140`T6xHM&A5lB+AD8=k27pcMgNJ*;=*1P{&%j;x45l#*eJ znOyJXBhAxK9J8?q(4?~6*F1sJ#zIA--=dz?`;wW#3<;>}u#iGoayKhn=iUibYJ@m| zL0S68lx$d{-7K(~&<-~=4Hxpy7ahwdjRp9_kNlP3%L#Rt#ccY6#%fW%fR}O zc5iOdD-$_mPJlSJ02R;Jx@<|~pt2FfE}DSB3cOj%AF9d&(J@A zlK-ab^llv6n3n7_pyvSNPfzW#P{Nrzi_rR}kqZO+05p;6$Z+^386tcvG12e`gWbM~ zPc`IzC$>#KH{ZesuGbl(t4YgPOAQUmzb?1imaDY}B2Nm1on%4^-9rHy@0}KVMoJzi%Ot zKAhp$^ZxoNlsZH=^lXB}l??{9{n%{1l=&kZ!NJM$Pv3X2m(NeRUsPCod_|v~MvdC})tFt;J9Vt^adk&^8fv9%Jt-so5 z!y=pyW4SLj3!c5^BI^^nX)#)FVC3M$jYGsC>H)B5dCU?lc^~*YYunExZ0tF?`f}dRpY$E>w{m$)DvE75 zrji7WZNZMEX2EScj-<`0x94*@bBwiNBgS%mx6#xH+jP zW0B6-LP22!_+Te=&Fu8c3uchM!NB~n;{oBPPPlEq8}&F= zdq+FXKVpLY7Xes>G}ivlR)y?i%J#P=xIAF}Lf2aP*9acMh(wJ9V&IWR)fE6meuj4^ zV!(MT2mk$3T|%ZD!xNyl#wn-??4yJa`PNQEFT~C1%R{Ln2P9#M0Fv+h?0^4~v=&`T zC{e3l7OLFWTzL<*7PH196zAC7r8SnDcevBWn=O`Pcb|WE`W^mrW@CI)NsvPxnZmFA zUkJLhInuD*Zzze30XQ05$gkZhifdT7W2q&%I$FJx&Pj{AxxJIN!#K9b-j7EQIGC8)VbDMwswEG|_pk<}hZ<>hmKQx_nRMgMk#g|@s2_*z+q`N^H z1f;tgkp}5Tx}`g$8wu&|6uvYFNK1D~$us`WdH9oafIaN&XJ+2_-q(F2A3d8y%4FWB zoYR9ugF#25ZWRX^S4nBZ^g)hKbi(0SN0O5`oL_$4pJ4SXbJwuwI>@OC$@=eWQY74| z)-UH#4QGevgH;LZcYl_ib31Oa>gxqgrPee$TMw^_iLMPl;>yV2M^IABbJm#&*4C0` zZGvm$&~9-y-tOe01#QU z@*61eb+d|Ht*xy917R0vZG)5>`Clnh51@nY1G9<%LOn6lo8QvKR>EK^1AsVl0xbts zFG$LRyFosqx}(E@9v{TD4Gj%|Nzr1s9pOyA zcKdRgt{R_-fYq?_anel2xxuIY^dV^)z`i%5Sj%H4(H6gBUuq@$#T;T=P?(9@F5ps> z%pOHAw$sT$w?p9gTndjg*z|pO4%(i{yrqZmOSz+n(utTqMBKgWdO%^mj!}rn=pDfs z<4FuXen^)6aZH)a&&K9ML#RzoK^Pz^$|n{MC!>nEgyJaX>r9HmLY4mgveNb%T1_vqGC`D@keP>z_vvo!uf|X`D5a&{#U^PIP*o%eP3G7XPrG5e!8i!5Jj-qP zYSJ$+j@rw<1s(a1{O!w1?dE3wWMYPw`Q)M$a^#OidJb()cNvm1=8DbqPUD^icB@^F zeIkWF^%4_x`wAo)h~6+I9p#_u%I1!}Cc-h5MEbHwy8$yJCxMCMekJ!5>2^@klO`F$ zGYNbzjVMdIP~GvjE{gR!iyWh`M)gMiqhitXjnXrUTUKM^2orD8Wf;SUmH)WPI%jcs z^&ZAvD;AT}We4R)Z0X^7_$76(f~!6@nQ$eQe5+H0zyc$o9TQ|`)9;+9la%nSk` z4Hi1BSYq|E*N^8PEv|K)Cj9SbayuU{#v%{1+~i`n^Z``#-(!!E5jzLVE@zd#u(b(& z_i@bV?*&2U8PWi0AKQ03y=$eZr7ya1m8xaN(Yam+Wx$iJJ|c7Q!M3X$Gj-_gmQ44b z*$67ErGVg@K_1R%+y)C*v_X zM#uhp=awbTU2dgJH$DvZA}p9JRGA5m5*{8VqrNdd#O5&3j+ls~iA9oCQ;NAh`+@jP z!+l?f%7)HPz}0V#*f#T>i}BgwyiHNup@KVcH3pkkAGB{wyFGh)T%w=b%im&k(?|rs zdi96H#aJwId7s5OwQigX%52d@lOjDClVx1LYsj-zN^+^1CL0%~W!8hvsrLp-lc<8G zcN-M?spG|U(`?i{UIx(#sAXPW6ih{uxBM&QT)S)bV9QKI)+JaVb@Y#d;o0WJ<5@^he2FoEu% zppR!%S8u*^2MRJFZ zLD$Xglfs-rFBigA7OP%kWkEp@d$A<(izijw$=0D)S#lKY7+avL{+~%2zw%(dpv%pP zRT4AeEAAiY*eB&^I;NI&am^d1L=5e7R84zO3z0)OzKcdDulKuM{e5-Zq+S-y_+L4b z*@OaGbP96$;zJwy{8=|4ct02p7LFx`M5ULN35KdybO^|f3jXl>6UA;=#=m5j(`)rbtCPyETM@1p{Nc_KwV&rA@%^xcJ8 z!mQJH66=~s`Y9N>TR-%kqlJ)Qed3wi4YiR_$5ZLjPFG(@P^5kLl#kux$o`IWQ~Lu$ z=IDqc8?W5-$l&~ZHQNzuG-1*w+9H?}$q;V9B~+UoYZRV=Gc!iUII0~JiRlkM@7B&I zJ|p=h+3=Qds%_N_r%=YbErbrM<&@$b>}2A?Ws_OLf zaz&q>pKejalo^uMT6odoP#dlnbKKuq_573}pwe3NVrx6?0{%eb%&OiWyP9mM=x_ zdV;~CCunqVZppf!EARX9&1eO1Vjl4k!edaTKQNDcpU5J@n_d$9ZZkHaZfmTD=$7VK zh5<`ms?+*fO`6&={va!tMP6#M7h~X!-MOlT&p#w+75x%BgAQ>>V!Vgs9c)Qc+A)yd zIi`s+L1|&5Gn}ofy7)ZeniV!AqqcT~+(IBJZ9pmK7KsMWs#c~B#j-FJu;UfC+1rl4 zelUEOsOy8Slv97EK&x1sDI*`3FgAcII`9<|7hvSKfolm9g-1lj5z}9yhr?(pnvmO- zQNbtkzAMS+(w8_SaaZLJuYDyk=-D>=KICJ?w^zk^aFs2+tHJxZd)L_4JCf|&RGxF= zOK&hrpqMyj15nYAf?oDT3Ct^IYFgF2qpCgJ=~xY>Aev0Zs<(n6=6tpa zJ{G!V6r+uoSIrtSGzhA<*^SLcxlNf-Ig>W^~1r>8B7`vx@MIYTqjSWD@io(j}t};@9&l- z{WMX|UZB3hL!OynzrF;Z`H1P!8TE^x@pqrY?p>TnjJ)=Xz+0>0ukyFsx>nc1`o%ky z=IOPyE>Lfftoe1Xpt#0SZdNYUkY1TSbqtuOBJ0NHJn3|+wB?q5{`9*1!OOU_av)&g z;eN4ewUk$GsGPe8%yE1B`zm?`QE>PN%Z*h$C;w)b6%`eoynllPT3UY^bWn-!F&f>; z6{${r*B%?GkeZ>^*6IgJgu)M_Irwt*aift=BRmf*BnnZwfPVgOl%m8?&YoJ_SqsnEhTM(?eaFX)Xai|`(@py)xJ!_B@%Q)aF#odd|^S20K?*jLy!tJ z20VNAv(5ifD?4lL?<@CH4qq>KJkJpr@{sVRq){hCs22XEt`AlyzH33l1d&N z2Z@Fog!B)GB%9Wjy0|O4yk@<{Xj;^v5apAO{?(F~tR+TjJD0~qAM+Ov;Z^Q3;+>D!h;|E1Y`dR_}PN)DPuba)JRC!)tb+cM<~D1mHj^que=Q%geWU?#VkG`PV|!yn#$p`c3%A z+ezkGO0EScBPg#uL{~k~y8Jb+v4?gI5zV5-;1T#ErIxqpe{jb{OJzT_8LqXA{h+S9 zUivAYjZP~@$TUJ7+&S4NDt9sj=SH%uXl9S;i6nB9t=r;VKQE2lb6(^4l6bm{tw4HCYZ!vZ#~ynTxUmSzmE!uv?e&&ti$_RJmhi;P z`9BaQk&1>&b+FZSTPyOIn4>fHB#dwjI=tqKmTM1fBTX#9G$oW`_s9wP3=2es!$PF! zks_0f%|`3{FYhMeB(b0`M3*OX80}h>QA5G%HiM({pr##&$-pze<%G=N z$NtL|{P!2C^ei)q>juiF-2#2DeEoq&QT{=5YaVg_xr0(V7`EI9^2e)FQz{+8Kgsxt zwdG=f*|wYyGs~KilXkSIPG+`BuT1?lm=zWMD7|FmI$&%b{ZJ3mHWCcUs!|S?tzAi~ zQocO@!(aTe&Mon}E9Ev*2sL`-+IZ`?p9%^;nYb-aqE?#`+ z=N2f;nB4t0g(`w8cD!YBAr-+jTUjAwp@DuzLhL6Q6kDF%zaEk2H)0y3m`vk{@cKe} z>RC}yRo!5s%86(wiMh^aqRld}e0wy))i9p<_W7}bRZ#ulfQ&e8M&Lz_PNNF@*Ff(q z2;>c}Y&7I6{<}AT`;{coMO633E7s_ywjw)4cbebh#x?-}q{S<+ajWT|w`8YC3ci<2T9Q3wL%#CvBI6T&Ip0wG4Y^ zZYEBsIwV>~Ob1t_2#^{+(5J*>LnTNC0)rsr{Y;Px#1`}O>7N<*x`IyYXB2%j`SV1i zdm!H$Nw3>_25%7aO$hZL)dK(reik=yPiFreT{}HJIkYJv8mkFGSdH(3Qgn;l)}Y1V zipoSxZY=PX7;t0s?HwQc0uTE8qJ&1))+>z`FQzfMk{MD`QeR)+14(~fqZNO1;<@u0 zbB?8zm6he?!-vj5)tzhN(@tLyz-qEx`UH^Cj9D|iBxH_QXfYoqb2>nz31sK#UKX8g zeUDW0%6SE*Fdbg5W@ZJ|e>AD(E7p3;kaZ`4de9Su@}hN5NHklt^uNPibk={Euq?Z| z8dHxV)qQY1njxkU$g91-Y^~0eD?&y=0Wb2WJ`HYh%lgvs7NN!(Ih16m3^+`!tq+cm zHNGEpgdsdB|L_DKgXJa%qYkfz-k(Nu#YS8Csc{&DF!;|VBs;CIkJ0mvV4ukyDAmbanVw(s{9a*GCvuxl z|07YEHv6(BI!+X#O&A@jdI3cXPln4_UdAnx)IMtqQ%s2^@?8_0Z`+7z`a;&VeaSm{ zx5|HBi-VVm$cB9<<9C&Na&kU8i8;3)cpPHXVA;-)C(^TED)z4bKQAVH^wxkx{-@YTfi>C z`5wswM7Y4vPzhMg_5jvjKKNYt6y!E;kC&T1?ToT_NO9TIOG6<_Z?Dx^Qq@j=us%x9Ht z#W8n9s%3n!X3IC--2rm(TKN}S21ctM2nY!OBH6%3#qIQ%JT62+&;czHiiMbAZ&3u? z&+{ajeD05Z`z^ZjPjAp+?$VUjYsklwvydgIaPeOHBRF{kF+?eiw1rS03_ zp^qQ&*PBXwIX^{E^l&IhGRdiq?pgi67a*GcSWO(S<8GR#-C}5XFuSA3%p2<{o878< zFumVMWa}N&=Hu-)v+Ud31 z>3I*SGmdwyF1MJTgv2ylr)2NpcuL|Ji{d&_qXvjtTWs??3RLAyNmFC|+upFTuoy;* zBv*$1tdR_z`x-U;cygpI%e1Ha%lr9_LNbHHT4zT|i6!vaF-V!3(p4d|W#b318-mma zNXi%i$%{0}i`825)!OIJpMm;r;56{U?012vN)w}?(`G*i`IT2Wx*li1x7^&^fFluK zY{7?W0lr-NgNM#<-a~X0J=PQDFXeXJKh`ofz?YlCO*H;7Y4?^lSaBk`CR)?O;0^su zU-t*Nn#L1DOL-S61vyjk9O|NclUVGS$74`jkbK%kwwVTcR zt)ZHpL47kiyVmyQKnNS1Y^Ux1G(Vwz!pX6)MF+w=Y%&HU!%Q^^j7vl|X?k1;A;e4^ z+B<7z%4fXDVQOsf#_Jxdy^fkKe@6WT6O1BOqv#9~pl>LQ^rm8nX zLdi1H77lcT$NWy_R&brM8JaYS&Mzmd><-yHDPg@e@;IF0%94LP-xD-aYA2Vsm^O2j z;F7L2y?S@PGBR@@Q2Y`pstjj{GB#wL#EhDTL6(KX?cGC?x!%l#8A{CKaFyqMrj(Zx z!xW$I^i`u(=c!<9LG1ILPiJG}O^Tj9utD5u+8su2-Hjj=5zLDmnx!a~SP6Jb4(ihf z_Dwz!9-zBmRr__4Yxq$-IX?e=0?++#EC=N*PgAZck--YEZvr#yhL$iI`Rch#m&>*D z(EN|!bPH_Ue} zN3(Dg3XQWC8r%E-hBLyxtt={h=+Jo8lf~MtfA{@nZG#eh=2xY7k1j3Aeu1$gPeZr( zWHT`*@t@@+-Q9sPFZrU)mV@#OhDtBt_;d-maX!i{VEh`;V?1K>uJ$9qW-{&z=ay zFO>DbsD+H^j0eMDpENhX8F5cDuLOG+2`V*wC7QP94R##l@_8b zna87MrfPQi>$oqdW1(&TFzSOrOZ(pA9rKUl_Wn{kGt*$dGU%8WmoJUGy#4x?LPC_5BvS7M(Nn zK!l#PWcAJTrTP8)_#Lfv84+xkGZ-iTE{T0EUk+)UFwLUy7nAT@c4?>+PFCukP7>_{ zdq~uPsq4xKg0v0SkNhMS(2laNU;0I;=Yc`wU)~pF_;`wyia%h;iTMK)W{bWefmzvP zsZaeuOx@BE*irPfv`V4|xt^ZZsWAG$*v7@xwTv2{zUcnGo8H&Um;ArCb;-OA@@%J- zy!PWZb9!KHuay6k;y;f~E7oC2CG)+SijT)Retdi($%@D>(>;wyO&tKCgnN%s;0iTi z(ebGnEIt34LLJ+>Ex6X@-V!htS1*#niZHI*8EuYN?PzVTHYoe5Snmv-o5QyH+hHc} z&YP*PR$x0_^!<2x&Wl}W$y+VtaQ$J7)RfKyVoJ`rVobq)tW{=yxvcriBQZJbp~)f5 zGIHcRV*G5RLpIH8} zZ#(0s={F`KN48N4kn-n~iI_bluT2UcDu(he((ZCla@2_`Lt>+bnN*s@4U9Jb`=UZf zg)^jrk;cj7W9>C;4jqW%+nVl%M%ZYzw2?6!l zM0`hzW1LF2)hI;%budL^m2b)shIFyIqz$47|JeZt3au0ZoW~?W>&~VghW>V_23<;G zu~omydtZg|0&_i1JG*tpmJR<{ zGeM=quCDU4LJSzS`hihivYgZl-F5=Ciu1Nsd|iYWyI`)*3ZP&hj~l&Us?AIwzV|QW z;(E!%%>35LFpU>qyCt|^!Ucq&6Bq)O{O6t$hJp1&q|-r?(AuqY%gUqeY$Scod`SoL+V7wO5ipHYRu7CK@lj_QPAt$w#5GH;jw(9MrL@(Up7Ercg8;!?z|6$Zc@O( z6V1dj^ddqDSvb>v38(h|HoFxW;O+VzAm%IZ@UmYh6tD;pIZpOZeSOBf$Rhr`UHf%M z`!aUS-Ed}^tNEPGk8Qi{i>R4jH-|>_Sn%O|rcwUXez?528Gs`?e9SwF zRM4^7s4C)llRjFptQokJP_~S+v&dbY1ZTdF8XQj7b7(P?{UdG_ffR-weHOs$P^TMr_(r zq^QkWzFpv?*Zel}@N=hd2h?k-A%XODP;H!jL{AX8JE`Y5^(f`NRcB?%!fwsNa&f%Y z_WWlm5uLTUT}hlC%hWgkCQY8)2$SJ^*YPV`Bd_y$lm$uwAadXRpZ(TuHP~&rvC6`d zROcKIeHE5R6-cm_8cfsqdTt+c(3;--H@7l$O4s3CLDC#eCfYl1#=!y9!sa&(w^QQEc7EvJ)_%9zi@ zZXJ1=Y1L}u2b4_Y%wg8#_A@f=M)mXk9WNGqKL2JU)Ldl_M;?ayE_m7uR-*b=_NUDz zUZu~%jL6-S|3l{C`@ch_=naR8)t6FHW0?6p6g zPg8NwWq!o%%PkuA^c|9L_itmm7$NRs8`2O;NFzr#MN2V5;2=*49D>A?KSg_=e78bq zDSkdwG7>pG$Ue09K75DmMKNJ+4aK5PLWhvsskIJ=T_D~R%G9RIKcr{$;lIF}H~aGT zKKt}(<_%>2zof}UmTD7W=}UQssNKNG!v^~V;%Huk3Txh^P*i-at87?JmD3kPqcn6DoLwC%w>Vb2|n};#nzLo}`025GGq{ zb}9fza9kZHJ|qQlQeOA1vGCwg%nd=b#mAvYqBs zCItACFgx5>k-xp}!VN4=#?QG8N)FI`VUp9qe9x1>7VcxQ&UWA1iXeoJ7p$c}%!{@$ zBIFg^?khbl5Znp~d(N1PpOCP!-B)UNpI5lKV@V8Umj&8=IC@w*R`@+F1xWE4 za;_37MhE|KsdSWm@H>6mvzH)DdQTaQfrSNb0}@+C4fC^z$F{-@WtqD0Nn zpi-Nso?~P-NhXBK^NWn&ONQhAc*sm*!;?fuU`Q&f9t$GOG|Bfg#@G9s&J(e+&S^Pw)=?neJ|F36L3^C z(n0w5A(AnQsxKsdqsi^mNXV6zeJ`-(vRE;j7)_ccozp>OHtG0;iPrJBy?QI^<8M{R zU&No2VzfM=>sLUXg7sJolgEm`hp#RpBc^y0$?eQ2V@~XM>0s#dXx`!c;9j?DAd-x6 z;J^ION<(EqAW}yMDtYl4}88BB%0n#6_Rvmw{nkPR8PYrH}FF7Mw~UUStzUe@M`_bx8~Mg zF39i2_E55%yGx5}{T^O@o6O?292{?P> zcDER1GCl)r*qP|^?AM@`A8mtZFbPgW!8LuQ1OpNxBH2ICqu9UE?=FuehoONzE_b*;ZjKuxuKbsx4m7{=$ zgRir#?Gb`+L_XnwYe~ej!iT}+m!&0R@C3#XH450IzZPbkDR-!Cmw&Tgn)$CyHF0n+ zNujf(xlc{AOrXGr6aDAt(qQMK^Pg*hQ@w<==Wu+uIYu{L_+;D>UcZjzjAy~nAzgnK z=}jMpRH|WZT`?^l`rn_83!d}m+Hv^Qdt^&ZHV!10_any*QM)29q9_<5tcaCc(?&Cy zZ-uCB8Ht~54=I9G?P=3xUq$r)hk6zB%n$lm9bA2WYxlirdh5p*fOzk_*<@@ea0HHV;jWu7UMvSEZbJW{7qm|JNVT`O%V?R zr{9ARBb3gzIuq15EhR29w)iL&WpU&Bk)Waj>=E#|BQ7g)b8~YwoJ6+|H{c-_du&{H z`>%01ICI2^v-Kk&(;{a|M4mC$oLhbFOsh!=Nzox;CbE6lTX)1rWisk%|3shqg<%88 zTrnx5IN|1YH~nYI6O2D{MBGOsX)?)u#&BQ2Rf+8&+xw-bk$uBIh>K5xI;}$j3i}Bm za3Z_>B(EZsk@M^8|Mi-V(v+&DG~|^AlkQv0J2@h9R%6BtI^V1P#7a0!9kKXjCPK2Y(T!YW+IQ1KxI0a|PajLo zGSXt#_&aT>JUqN;w+os{w0tC`F%+IsyhnebDCLOMq6(QI`1?EY`SQt-2}pmjPLwa#LsWAV*HA*2y z*DsTU2%JSo&B8O>ju*r0BL!htg2kj#Dhd*2Lq|FY15=4DCP&Rntv}(8ZdA=$(Vdv6 zH09#LO><)DWE2(YryS#Osk7cMmr^nc>@#BYfy4>$UmLlrsHP}}83OBoDt+Pz6Buy3 zbE3T&&fa(OXx|ITD4a0m#V|8BHwUTzEuvd%CzzD!Ymhbq_C|&4-+XN$)>c+6fA0^C zypOpp1eD0~pb~bf%wxI$b7N__3o?hZM(RIry^~~w+qdCkPnscNBxN2idiw?qT zb=2A~yF#+_M{P((TmH^fb6}4bY68kc$~7u3?u5+bFZZ!`t2q_a%C0hs zm%!KRY88bhRr&`lYgvUEb+{VK9M9i)xqtdWH-@W}ZUe%N7OX?YSO7JeGS^AbgK$7! zAU%94c#EjOas9eu?a!EqO<;}x6(K3wgW`=r^LFp|jo(orWWqjcd8s#?2}k^Y-QMOQ zsK6Jp>q^v7SfVC<$#+wsuD=+k?oG+3Az#h0E@_#a{EfyLR`Qw|I8aH2@JR8+3Jj zz3Tt`^ziPTc6eW3(5@_mR{>!vn~qmS#)D9&QHz3y6|c`U5TzWI`)lxV9XXSkqXJtk zy+WHe->sg}!*pfZ>xnOmNH0T8D3g=$rK3WIa=q?b6f&ilBB_QZ@LUsphM-}Tu}H2V zG(sZ=tjG*7i19jZGd?6i?$d;8>6AFl0Q;a^(KHyEf!N7`cRo>cF@E`?&1$Qw`-;;$ z+Qg}t2HO8j`D}dK&#Mc@(<2#tk8O<9WX^u2GDa33HOu9!0LM4@Y5V4lP|l1mz1TZZ zY6Bslg%aEYwtQKVziP9jCbt@wse1w9#LwmB20q7qK01xuqw*ajoz|Lx1qC+=MpqUulQOojN9E_9RS z7oFu;W8kiPcU2<7Tr|tfUg4Q0ZM1{mVCM~ve?a|VW@augDtRp+bE6{lEe!(C791Ut z1SNzd48J5-5k7`{7XU}N3k`bp5+c@W&QdVd<>|P+e{I301lb2IM)#?L_RsUA%Q?P} z>k>-(oCivz9%acrE^NyQF{ux}B*t<$)M9+=4FLfVlu+0fJA|A8NmNS1TnBffyRu*t zJ;?~e^m%ai0g91XxVG!>J=BqV7ql!Wczf*qcjOgVAAc zjWF<#&<@>3ubReBdL`njb*sdHQ(kqB$gf}@cVV26lI0)+iShuc^ z24U&pH(Xm_KSCa7YJJgElvazYnZ~HoU`PErSPtXmOB}d($=*a5d~6-bc_bt{z%v1Y zyq#pW));Tp`h)Vl@AG;r0g4^x`}Mt%A6?gP{Lhm`{sz5WHu8FWxUG!Y4pHh9^&nLF z;|n3qxx)CVSw}Y*C_|LOObwx8p+qz`W`jTq!{5r2_r0IyMUWF=S$a%Fcu=}}EoMx) z=rHT|;O!31W^1dBI|C)plW(2hq1R7s6b2tcbTL0}Bd7LL593QsMumK4j||Xb?+uNH z?&7~kO%jt?UuYfBa@DEcq)VCxyt}u6$~9VJJrpaAZm~{R1oCDC8|o<;irWuTq~33u zV*_Cp6EJbmvy#T^@C%&UW?S?W^gIE-*^sw+nz9AtV0IOFR|~IF7?R~E;{hIR?kx7U zQ#VD~_t(Es957kEefu_pl1{nFP7p)Fl@#gG+JbKvd<=$wb+h`{72qOjMyhq5+89=h zSJNtK8Mw{?&{m#RN}$s9LqC5aTFsm@D7*Uus4EQ2>*P>;8baJS1~Z%c8_xa#`$j2hrAP5?FP|wh|%TJ2yy!-u6yog-#_Aq=E)uY3HQTW zi>T^U(v}bOxHS-fSE-Wy)>lom6spl>G>Dz-<>s*Z{RVx^G8#D*`@YLyxp9$0wro?D zc0wPtl`m4(g(SFeG(h5q6%lbiO}CxLx4C!S2N;~QF!dboH@^2Vg`;t+gT=z4p)%AV zFv{N~vZ9c1V;5Zu9jjvI5`FqNoJ5*s4^!wv0_Y=yj4bFi^n9tRj$2#A;zUa)T$bZH z2>BPwBNV*jlB<9I+3FHHYhQTl!rrZ=_d$PMwnV)jnPpTg7={Cpkzo;&gW--j5paD? z5Kn?jf^$Zm(3gt-kIk&l~ z_J@A}L8$?}E!j=QC?UR8!h#vea zA1+g$t`AfT=^%bx-t$eL1wdsTK*=8HVFF^c>QVyQ`zvRc_v0=C{|dZwTzL?S)JII8 z)=@;xgp>w;ePw_%xTPH=WCZ{Z(A{4C5#WA&_%gNaDz8stw<>|;3D!_6yu6KLbSh~* z084T?+&-Auv|ge1vK#vLq$5;#{)&{OQTt zB$YT{Aldby%0GvkiM@+14xHl5&YF}Yk)CCp_Zk>U?j2wGuXm$|rsqtpthj6c`foeL zKWoBJHki>FS32E40p6ItW?hxd!e@vpnZ)L-jB0GhoQ}f!uRqzVcIW!wf!we=t#FyT zfcL1OCb&Vylh zrpewA-Ur-Wn}=;u3=2elY7z^JjEihEKFvjJ8o@o@+Wt^IX&b;3$4Cx@d!>es!vNug zi>9KjiNhmVs6`5g4~Kay;fHWBa!KCJ%bmQ6*f#on`G%@zZD_t}rF9Ig$fYw?+mNbG zjpS81uMiYY6t!`r<|h*VP`?7a{nPD`GClUUmOyRI|sqsRh0I$U<0|U`dc6 zu>vSho|&I7#$`-mf~s3ds6VT_-2pVfzv>Xz*uJ#l_!3exd{Vf7z6F4WnbV;@I5LXy z7jRWR@6uc9A1`j8$P36K;J9_eWPbR^EB61r095KYITypO zZf?SWT2U^fsGw9qZ|%fN(GMP5z;s33u_cFep4t&H$5&pC&NhhF0ruTuPm}AqEH@JV zPusxKsT@`2(Dem&D^L~YOlfm%C=m@2{ZCX5djx7u9+^MA%p^yk?3AhJO_d*o*w>P$ zI zm|8f9!j%K*s|T6qj8%M<#OcUKdaV5SYVp=uOZ2n8S34c=hS?+(Q(MEs%VK3AybA~N z@u$yW#XXE-10Cz8tp~SFufIKIo|3&Rl5MmKgd!$(Lm=`fY52f^vSTZ{nf>7lIn5gw z-$P7MukT2OE# zLB}VD)?%>VD#zg!iRFZCPDzEf|EjU?|E>R0qD2HnjN-+zUpPZ2h8e23aWHgHm7I2B zW99*C?!*B&>g0G;i8!SAT)v7gbxKm6gR415ybRr?ZWZ1+g?7h5eR-V?py9Thv>pzU zr?9-9{#}`Y{T9&3pPrr^%i*?Ak~%fiMf3ip;6S}>sSEzK>lL*tQu6QO@_W6A^ISfs z{MN1_#h58<;MFq#*~ppN&51p>o9 z&7l{X0!$Lz{x^fN<0>4nY^gR4dh=F5+5axxlmW})% z7PQFZkzSV-CLE;tWUh_aZHg-aA3({O;KC+s<|@-)yG|V$KiQ2yXH2JjM#>~Rtk6S& z%mM;c^w%l|A!+z3O!N?B)YC;LEPX8|O(S9mIS0gA7wa|8^Tlh2MeSL?EiDFa+0PG5 z)Xaf6foYs0W<6;zQJj~AlJui|SaBYXAE~`ZuG1$U*WB$Ge0Bw&UUU)BX$P9iFf)cg z10X~WtJ5@8J5)nMw44TCQzU7NtL@Y!DX?F#-t-Pj9NZzLFd=NhN4e{gP=#~_47!uR zZ@t`oiGofMraV-r8TcQycpkkkp`W_}^!G`J`!(3wK?%sHp; zmWY9gOF-ZrK$rH@{9QL{KGD&W%>rba#z3_x=NwWESzu7ny#YRzB-HmeXD)Cos3>w~ zw`lzc=E78M`B%H-58MW>*_CKn^4R`T03EI*&fh1Pa;0gT_NR`Sn-#k@Z$nyl(+wZLh2 z%M*JCtMqS}RKC;-(FRi_jn`Jp&!zV5Gg#s>T3QS9ReBne1al$lT^@svX$f{7?#v=S zaq@fYq0KzK+~YN-^g&Qc$4bZd8U$FVR!I%rs>+QX|zd zmy=C=GFpvBu-rIJBJ4dXxjZA{5$6O=5qShYITCz?SYSW-n~U0(r6avJt0Jw3$4_h} ze|ewt^%w9j+o`0{sX8bx*f!HBYnV-2p%`(r0hWmw#)}0-VuYk5u?3+OBGN3+Rb8E| zf1h)hJ{2If?DH8lcEc#hBZpA@BD>>6Kbug9exintm9Rp~lK!Ad%u|Q4{5uo}l2A-R zO^|>94W<^y6%E)l+^Wd6WNNMo<3>je$_zzdo|r^;nWc{_3+n|;T%=8O8N?wdS~2vy`Z+|_I^G>_$J`Lsa|CiAD zcd{yqg$(l(CVpZ;5T!^!@E5jJ4%$#LOf|H~BD*{^YT`d1qkjo!6;cFCysgxCAG3V- z+vkKVH)O~i`V~D?GctBfPW)Ob}`6Zz&Jr02rVZR9?B>X+e zfPmMnqPrQQZEwB_r34xU5;DxGpU?!TNj=>>xWnNgFW3@M*#g?A<%r>6h%DH27ngQ3-}lnL9jWwGP#cuI*CBd1Tbw~BJ>bPf$qyZoep-3UWUFiUcW6~ z{e?M=in)WRmbapS43uwJ-=p z|FT0DCM3mzKGn=sHG)z!LUI$>0GP7uc&+8iw)hGP3PkQkl)jc{>Dy5jsYf9pbOUZs zb^C?fH3R9NN5`ZT7nY9=Tk3WSzP?ZYp7zAerO(*`@5?5yfg2V;hd8Z6M1sGrvW{Bv zg$6&ZOg@Trp_ZI*S$$^9ufw-cQ&-L3q_maGcdhbJLiOYw*J9{hb&&V-mWJ) z-6XJ@v$S@WXxC&WXu?vBPLZQpQ4_&aA^=4NA8i5-P65}@9?eU17%0J_ z#QDNZ&*U@O@rL+-@9k~zC*t{yidWfQ>q+TM)$EtwJYq~Rq**^>%pWmHa3>s^qV6? z!A9y^+3ba{TZTWe-Nu-kKvyoK!moqj$OP+P22|a#x+DdoF29b8hvc!Hh=_u^8noaf zc8%YEIdkvi8Iq?DbbeCrZxwsl*!hRR%G3d-+U9rpUV*7!(lkf{zjA0-d3(%+QOh9e z2hzO24xOKp-|DYGGE}aDZpM_Y_)Vw2xU5X}t$L4;l!QnyE!7<620pra)YlYy00#qu z1%cZq-)qjdlMi4j@hUWLi|=`$f#=FjGh2yEIuH?0nkF!=Ulf{REQi%?7A?MP{PG-< zCPpQPK&}lkMVYuYj`3Xj3Gig7)bdQSHsZ5Vcr4$wUY;ifCwZH=)mKXW4{M6WEuL09j&_rtukL;(iNucmDTyC+sW= z%e!=6##LtMRS_jA$BCfg%)v;=Y;-V3Boul&M`+(!gVsggN3WgvL!I9qeU2jZdDT=8 zY7=x^tb`5F7Z$t6W)OKEYNj{Qt%g+?x5_K88kc=^qq=TA>z^&gP)EYu9kDnjjGk@| z$+O8X%%IkJYSJ26e*8So+9NyBkah-oAuj2tN`H38Fb4I`nU7+wve7w=!sMhyS zLhbJ&wVL2n7D|%JslBt=%8E;@sM>5!Uz-{I96wfyw?{H1c&=C0!c+|dJjCww}2pT1;T)pCw?4a&u|N_MM?i= z17O+ac^nh&u(>)-+@V;-@D#6&>Nt+hV6CnyAT-XyR0K83)W6So`^4Ol7boxqU}7PQ zL$)@->2Drea*v<6ik#LYDFkM45308 z=--_E{eiL`A zdxGPu#}IKiMdxJ_V&lfxAjnZ^Y0?;Q0f;+qg)BPRVB)P|aM8rP0iC1kXXY}a6t$L3 zODi9BK$|a}3?WewMNl09=FU?5FXOcyFU`rV-}mS&pDBZ~2e@oD^N>uCeNLJov@vi2 z1(G~OgPq3Xi1K36lo*Al2vKF-gcM&gAz4A6;gHtTWEEFoMaa0n4U z8~7B=x{FO@_xqt9 zb@iVf3GBBnK%hP_=Qqf#RDX^CrVVrx0G{LB2J|AQY%Wd}T-|9if2hi7Ag?1H7NE7a zwzd7s&uE-l=*;UlVnv@nX} z&YDs}&W5SJ9Q|x~@5-$#^%V>=16|xlp1Cc*<%&2o zfEzzL7$Z0?STv0qCf2Q)l`(kkW+S-asKFwG&S1*;)7Y$_v?{-J{L&oync6&OH)EIc z)U(RS!24pmENhnE^0eXBaP7+P^woho3c?rYS=nc4XGW=$)ek=y z5>&0Mxae?S>}R0`B5oND<4Zzd*a#412m+;g4dflg1|b66XAiQy5oB$a{9?)r3bGn?m zUk4s-o^EcR0n9?JT4|MAiqJ%^V76N$Q0f4+ER)&zoqx7ko_R}+1QgE_#d{P}`1$<& z{JTP>{$kBEJ>Z9iwQmJHB_)6NY%K7apRT5ayT5)l0}6F0BEDNO-M8cU7l5_a1>~t{ zRco_n9LlYaV_W-N>dUd&>|MTii0vA5;IRzq#fLibbX?Y@AAF;vX1idoio6fz2)>sf2x^2qf6xwT<#E|>< zKa(9LO%AJXe@yEC^qaYaljbXYZ0W!@5U)v6DH^vYQVF6khgqyBuHZvN6hqFIR#JI1 za1{!;JPghxf6xgnWx5^dISrk6J;3L{`Rz@rYB0tN&6&s5SM$pHJsyY7AH(}6a-4@p zov4iE%ztarY3f6CpMupe^TOurSwLiV+z&8R(+q*zih%(I4+85fh1bIbL5#tK6}j_H z)3_8+Fz&tHb?lrugE{(auPtabfBa#J=V#zX8GYdFLVBm#pS+Gw-wxD!V4huQo};Ks z4(VX9+A$D&>NZ3O!i+&7#tJfj6HPb4NVKO%Ann8#CO4t}m=C&k@AMlzZW{3XiSJhL zYI0w?P7!q76>%$^?HX0g(Kv|C!I1sh;(Ofez?JG*;~Y!2OlDjZ4yRfMNC5+npz3lk z`>lYooE+fk07#oo04nOgFvspd;W$zIU*$5Vo_Li#5fKpp!nYuzR{l||O}xgS;}!@{ zSI6DkjZXV~{;iUUJ~Q*Z5gW0wW9E)#hEHwR<3B)z`^i?H{?5=bfpu3;ts<>@^b_Qb zo;O7fQ#nRYjxx(jAON^%1%SlCOR7;414HRHvrz$nM{+n@{$BgL$nQ`2m6i8;U2G4X zV9NGdBfyFR=-tRsDSXD{yl8)s5fMF3dUpLV?uGqD%(2irHYgxVM{i(BtEY)eiysRN z#ySmnLvXy`FCCJQk_rOZ-GIam7}GWZmMdUk(x(2>XVa?S?M}!R*iuzXHy+Z!j?lk{ zfu)F|NPs1iBqZ5YC0|?!Eoi^~`R2aTlKD|dlZ6A<;B`tGv-^7Nso_tQD9-+LZUmhrf>9bJ&e8} z?<~}2*Hd`QkZVn){T%K7Nxoe4P^N3(gGP&+Jp7)@;2b6di~tuC1Wy1$Ek;3XR`wSr zxy@TI8$WZE;q`s+bm%g(w?wf?z)b7U{bwrO?UEZi#zh5#lJb=z$Tfz2kci?moflCh zIMVEw1Wk3QlY)j*vr z4u*Ni-E(PEyH0u-{lkv?z-M-BaOR_BXICY`mgm5^?lQy`Qw+cvrhwi8peN#35SkgH zuSez>HvlqhfD!7aYHdn`<>(k+`sHxOQh+D)05p)O!UxPZ1F1F`7hS7eG%Ywhml`Yp zKSQcsxf>U~Giy2_htB?QPFAwSyPF%q`_0gBF;Oa^607vrFP8?Fk$`@r5rC3#;<}_2 zXcx=@q4V8OYiDGFKG(a4)yF!cDLY>ig&re;KDOYQw{oc`LlbxD9iJ?f=7m!_d+%52 z#Pxuu6M9Cj0tP<6u|?o(0^{42`FYx^4m{?}v1WVup9&Uv&tdDalEH~Q!*O9^()d}? zh7bd)IHbYH5e1ZU9#+_sZ@FFHY}Fj6RHqWLadN)Ub*6__?bu?%fFqiy>$PjM5~~^q zm5R4i*`DEP`)jSRS+~U~id;lUR7)~HGME2`<%V0dxkR%qi6Fhx+|Xim4HkfJU>@c#l)=~6mMW; zP~~3zEt_98ksDFPG6H6^l}IvKgi?YDDh3GxVG=+hj?L(hv!g?{(Ms_NRya5tSfeZz zb9^r5+WeQgwqJYA4f5w#pQ%LNIqNd;MD8#R5< z&p;e95KpcgaG8pdv(t@TqLrf{2Hv=W9S zI}92)BoyaN&{_6HShyhql5UMt-RaZrGx7TLv!I+~pXcKbvseCvsq;J*osI+6pErM{ z5vjoD6n=j(S0%o#nvmj8-+uD&<}b_@LVdlsQlB!A`u!`QylOTUm$u+K`v~3}l%P!` z0*(=j;{m}ueNj5YbbZ^re#0>jq>zdgDZgLV$DqzN^4+8tmgK895N20tgp&k8s;RXY zXm32@UQywVuur+=sE=O2RZT=6u=@!x7>Go!1mKt{S@7y&m_{WO}B) zDz2uca_zQ^l5sj&!*hNN8`Z(;-3!VYU}LCj=w;P!{odL6!gIMaJM6cSx!K7OGs$~E z()KP7p7(@DsWgx*VhbR1U(6Q1YM{9OtZ|5>;U6aW@7BEV(zgr_#I6_Qx=48f@Nly_ zR{8F$#DY`&(Tmk2mE*Pl<=z#(UYED&*Ir6_M`~EBGdb!sTF(FicBLs4r|=uqA=&>> zUG^*V!gDCJ+5{01CO-jlgy)8T%Unur()(_U-rH9FpDtBnqEfO?u^VOi684%4E_+s^ z)0HX=J;WlP2%|>qJWZPwK?peU$nXr?)|jY9(JRuEdIIgczw1httiCwP#Q9OoKvuf$ zYRT8wRl-+Idq<@YCiPRI^vED8I7h|jfwwmfI?hTPns!E6+ILUeBdRbVW~Wj)h*%O} zN~K;T(3gbbQ-C1c)qVF{p4-6n;zV)Rp{2_3!^YR6_|Whhqyn|i{6mZfNsdvNTGa2< zBMIKupU*lh?p*O>_#02Cv$|tGJU9ebq`+5exv*k9-$*M=rgNS&o{w9Ow=(6rwWYgmVr`HN+qNz_ zzq}M}4BHrgq7`RNy%KHG(1fe3i~)g+qofIV7DQSwO}(aLr6vuU-rD86G|1NnABj^A zV;cuHtMuOP|EVV&l|dAd@q+olQ0qguh-Q8l;iJ1ZpUFAWvu@*;ykAEMGmlsWomq(^TLrfi$c*mnBvl%1q+t$lNl?_BrvN*&?Pa_(^nzLE zOunM;UTn6PI|LG5^z`)h9-n1PR-M&_Ku+_TTJv*rBc!v7lnur}3R0rk`#CvhAhb(LTKz|X_>F1N$qLqkLL6}N|Gc=7CnwKcj;l@%3-yQ_p|^aBQq zdwCmxGz5qxNaF$P?2+-~1r&GL?0w3_iXMl3SZT!ZuB-p|r{UPB0%qh8*BhlyUh>Vz zJ%#&LVkj)$ROpinE|p+$)Q$QHBlZ0S>xR$uMxfW$$G|rOloqL8+^^nT)1?P&AF|Ow z;!UL~GX@`Z*Nr~xan<^#BfXqu-8~U^-_CKLPQEXA%R_03!4JWy(7thl{Q{f7F9Mi2 zHF}@qj@y`Cn(c(o|8}q5oK6MoWf1r|{QaB#>%(Nco4%Q)CXU(Xhtq!_GOZath~x&? z(!Nc?TUb5;%;rmKqqmt5`PzUXHL6L`w3t7r6{qSE;^P#=3@D3ZSVc5wlGtdO7HZlP zgGb)`{ck*53wPu{>F#>cw7MHF{~G+DBX=tF)qdzVIiG!OhCA;`ykV7|iaxXPzHR?N z<}-zI)&Q-|yZPbn+ml@KmzKBIeFO4WZ}t75 z24B&apYwYn+1TaC%vHSDvp4@=3-G1Z>+dxQBl^v$b>-Ue@)=^C--U(nYv$Q{;MHQe zk#{e(Qk(gFYx%}^7Yj6*)9(%Q&ibEuGF}w6%bAs`u)n<$re}|SoBoqs6qE7%=iJEh z1IT#g_IIhg1$7Zew_i?Um$@-BAnbQ0FjG`i{I4yv6<^UbYOPv2ZA%bwy{ZOQEz{p~ zd59o(Nb2kv<)Yb>G{3O_TyxgyCTf@iWB|HMmWEtKdp&HTv+s@WQG^ZbT-epNNl^{% z1!_K@{&`)}273`i;HepaT7eN4Ff(V9?a|&^&Mcilp%Mwu0>&nQL0b>TIWJ-={91F* zMF(T#zma#tI?D>^wgdK8$Gn!!Ho!t^HNf8I>LkM^!m${MjZLbzsZ=P9a4*tsjau04W;0 zy}d8_HKEmwbT)C@yja$bd05!#|0I9ciFu75B{jRgl^94PaIng=pE1M{|Iya}1spD> z!KD<&A`Px!DkA~1w_ucT)9b(0RoUgPIlw+XyOZ0weSOz;dt$nnu|}aLp#|X~V%q** zYhnBHoPfl2D)mLd@W-`l;e*kvo-P)w9OF(9i#+ORR}vpMC*7U0Ch!j z@blqLOM)H}?>X~bT}DO*5V3Q*-r2!Hta7L-oA@y!-q7K(;NWDf;|>T*`Y*I4Pl3*V zLkoA1Q!%>lTiRg)zvof~Y!D!{0@yek0N@e0`NejgGBOWahq4a5|8wu!+t-xYqz8ZU z3Pq^r=%B0W;`o{LPK?i>9}39t3mgNka(aM5 zDs$*uSY4-Y;4jOp`{IQqoITNB8^$=`z4#G{e-Y7kOA!6T<=$mU1Q)m=r$8B)^GSf8XW0DB|!p=P>ZyU3L{Re?bB{ z;rhzbiCMtO&Enfyxe(v4>JuD4b8~A`gV3q_ATWF^1P>GhPZ9R&Sl|tjffQqp^K6TG zXQlGOMgumuYk)DHQ9K1@J%SMq0u2aH?Sh ziI;mqShTrBwLkCkFZARw*X~lwxf~whjq|Dh-Iu|9&|QhtbeCuM9NaK?9!&HrwKd&I zo;0hav#pVUM8H5Gf8BQGlPVJ3bg?)2xf)(${ay=Sp3G)(qwPC@P9uPhWtypH8Od`< z@2}U`10DuIWXA^3a@RIZ-tqW_a?(ETHM-Yu;JxvB+wxKIsqbBv@k+CsOPS56>UZw` zRpy4ghJ{Apq6fN}|A|6`e|<}OUYC=i6*d7j0Pr#EG((u6^iLPi;9X_PFFo+a9`^?t z|7#vA_JE|CgNEqnZOBkjC%1vc?thkFzMEMUq^jZwruqcHrx%CtD7CP8kN5PGb{x?Ivt%D)hUaAT$xRo{Sn^a%fTrX%d zo13PX$%)y%Csz)&$EACW;yhnN7cX0R9%%NzZCf&uVy*_iLIg0?$VjN%RIG z6cCmqdQWQkr%OVuz+-at`S||f1Y3}l|9@%3$L7y6iQI7T7oszGK|wea zXd)ov6pL!&FD9nyzZ0BomLgQ}seF{94xC2L*_b>ay^)kKAc-1Z|4 z=`UwwMM-^CI;#{$vzveO-ES{v7OD=P;i1hgdd_AIdGqV*LcX`3mzb(HHj z6F{)GYBF0Yy*suHDo8tHesS?X5#%cHMGBvH=}VvYWq;mOw3qJDX3%TOb}Rku%=@0! z$hmtjAR(ve?%4Gw>f?C55!-SO(LQNts=SurTvDz5x0)C|kLYl?QhiO1i;KHA|MoUy z%58K!&519R3B}(kDwPII4S+gHr7wz_r8|q7w>>P9f(Slqk(0MyWrkI+X zVIp9bB^LxRe7h*ZfdFvV!)9DWv5c`qxP>de7zEG%9n0XIKk2a0b8ljo*&u&T z4pIK`mz)N{sobpU&X+R1S@atmTe@AJ%OFNPv~UxS?14&lbJuXfLVeC6x$QnsxQQmS=`}uDGapENDxUr>HfosFCEhKhdHswdD*yO|S?&a3g zV9J6mv)RV_fnz@2S2_|}1}a}{Z5U9=Dr2;&c|8_dF#5U8-dsohA+)NtU5?Ihn9(xd zflS_~BF5DK&`bkW&VLx{n5u8M1Qy&fuVn&84>8qyusy(Z`iJw*5c%^a5@7r(OIxet zOd4wMi9w?S0gpq576w}T?36od+Fm%)X$mOpLuY_EaAkR!NrGS)>soff0H|`D zM=7BOivS4Yec;2Go?~ZIOAAn5MX!A$+0BjZxr_uh0v8w8DB3=50#hML(-u#{wH`;) zcHUGLyBQ#!24uB4HaRYAa?JxueM$hWg|W1=6A%;mo<*P&cRfrvvgtI?B+KMEc-Fxy zP==YWX_pnyA4{2rxCeu9aBS8Dh~h%r6zwSsxt}T2f@vC)SN}$7Z))v**bzrLN z?~+OT`52_`p>`5viCr*oDR%x%D_73KcKjx|n_gcT8kFP=G8PNdSBVS$+B?E*YHfEE zHE3E3D?0u?m62QTJa$iluk0VsK{~o3H8@nvvRSc?o2AM|N(!=wQ2^;-I&maVjz z$I$bp+zaXK%Ke$_n@)Mjj);H*!iK#JN)usaOl$oLfm5>|_^dbs8M8tyGpt#zmx+oJ zV|Rn~96{z)p~kJp83KbPL*NduVB_%0Y#!3s?QHoi(y;n8Qkw0#^qrohm+2M7YKez9 zYZ(Fvyjb!CI%$*T&@itf2L*;SDCd~*IvdolL*TloITdNa$PyqJMC7*URsxLB>JWtw z1yk?*H(C_X*)xv*#iNSJz3#SKZhiP@I(MT|G?yi-SMg`P*DS(<3BDuv%y&JkJ!1KG zL7W9bKj@HOnI(UFOG}?hLnaW;JCS<<{+&(~QExp%#p|oFRPjd4Gx8R9Lo)VfjKJ>m z=bxJ)sJn=Q`0hHtB55Yf5Q=q@Ba+|$*D(h!KclDRMPPQWjEf_~k{xCvvj}iMJph-7 zW?Ifh9-OR^_RL*nWupz>i7w%ex_Wz0;~bGKzmb%D@|wrFx%_bC;f0Vm4q(;%hbY>v{BwjD4K=p z-R@n{F%bX~|1T?N5h!1P!F@ZxGE;x`>&#aEeI+o~ATX7xkxj6JV@M#{w&O(?6wxU7 z^+iEzKfi5S#a$5p=sG3>j~Wqv^MQJhVe_J07u;`d|C=TJOS#sf;tWlRk)uawWMH~u1U`tm72OqG;won@UWN)RP#E^$OXZl+MKu}n+je{ zFh3a_B+YW>E!`uDrBaNeiPf_@^SLid5|M}jO{$2x5qFB0T{7B>0QN_e!(SeaG>Cdk z4`(AXka3j9+4keCDcQ6_$~c?>q_GJ}5&?^`T|(N+xJqqMETf!85G?pjRLK=${PwR> zrrqJNdMK#ycP~R>V9dl&Bu(Ai<|YTwi`_gEx7|L^g~4u@ucR_Xlj-W}0+T@+5fQc5 zyvx<92F5W#e?YYL-{9ALP8;!bc9d!J73Hd;>_3G~-bcHIk&&pQc5F8-lkrslFDNke z5`G{N2z=MsQ9IiV4EMU%4zN;AyPh0=@!jvw12DYBo6)osn;hV;^;;bB=PrE4+-tuv zssESz$N>=P>dRG}hZ=MlUUV$?E8J_2GBGQyn%vO4EyrIk9LwE z*H_m12zX2^1IJ)805nP`{5t!uEh*c)`HgCUDsfl{;@2Y*%E zVEjh|ny3-vqK%;`rr>`d&!7J+QcY)O?W5?w#)T<2pcMp1<=BQ65>ANFM5>!G)o@#OsiDZKU^S@f2_i0p5p6Z%CEPr^dVu$WpU0q zX-@kMB!%7;_?`l~^5h@cCIq8|E9!qcnTXviOvf9l0s1S7!s&HMbV_iuM6rA_J>ix5p^d)t2{4dx z2EIPWu$}AW>^2dRkpZ@#Npp_cqtRXBp&$ZgO^K;1rhx;{`G2z$KopyCsEaG9#;5ZM zBlTAa4V91UB)zgz$M6XV{GmB;755^GM+OtzFZ7BezPGin$3ZW9yD#dW67JaA z_Uv2%qeOal6%2(Wp{c|3X-HB!7h@Iwv80~JO!at7Y6&>oGSjN5792p5o_&P$n547e z#vyXTL-IaAaG}^eSoabHF<<4}5GXcDTIG8Yf@s7yrBDzy*$#r(w;QA=K|OH$6}UZD zAedy+1nkg6crjQrG;J|%FNy8wk-Ow~62??dvP{??Q8%{;H@W_03A0$zynBkN) z%H?WPr-@+~cbGidVl_uEEmRa!M&pJ~W?nP-rC-w3t+2_`w1EV-qU9)b(@!o@P{K4t zEM_>(6lLa6>M&@*B97eIzS4-V`#jDi_173VLOj}*5*wn69xk;3ilxt7$xsb*3}021 zcY&8nH<^X*$);g7AM`LlX(UymssgINMU2sef>7Ggu?DFAfv%`UlF|H_(>}Zj9`*sV z=+{`!2gYj@yk-$b7smSjaplE zb#;rGgt4}b%l14PY2meMK#Y?T6O79XABRP$O+_3Q6qQXtH5mmGhQ+!^*aS9U0as^} zKGWxo2G=LM71rYN6vDii4yIy@Ksgw{*fcx>bdt3MLXm%N%%M&(o2pZ+ktTf{ME{7) zocm2EL3iw+ppfVT5GIH*BC$0;szs@gZabU$DRJm`^wxKYk4>`5_k+b%(T_oNgeGz9 zG?gb|a^G?qBKu7lEd{SP&B&ZsEhq9K-epQYEFr%RR_6;)&Jx#2m0iG@&=l?|J+vxU_V%2vi*p6}VOJVr<%51-V0K#Wmx zRDpn^)Iz>PAn-l#JhdN)A^?QN$0AC<+vVUj=_~QDBqr(%nNs--hn%u&&V(JA{TtJI z9`DQDIET6%o~r0Wf*lS?oegIg6o^xAQgw?<4+#$#23)-O5zeAORW*h`zez_~w)1u3 z<<0pi^(D@kKm6#K+ur~RVW}9$qCx{v!scb?N#xn3LC}KI$hNrY?0$cYrT~k5`4t_X z)Z9Y0{B(ac<#uyd#v;#{HrmyXKB!d@I}i&vugesP2`=8%Wfgv_A|2gx)j>ifLKz7` z%IY8rii)cI1`iGAz!x8#oXf=Y=#Qe43x6u?GR)%EwRO(>zYH_am)P+{ji`E@ z31e5u>bOT!fAyadx*ZrPQi}5Hhw?y&2*gS}o&ItM-k;n~)Ge54R>+YM9=j9Fe($oL z-0sn6K*1sqDeeZDfr=Tt$5BC~HKaG1=xJNxNVhA5D+<{Lod$`*x4ZI3M(Jzrnws(4 z#}(xT%K#0(P|Lcq=0w2jUPW1X$+hakM=^SF6pY=UL}EQKu2G-|5aflt$nfFL*-U)L zgM`25zDwY=bEtFCsIvwF12V=!kx0hu!3*(&SD=7}a8%kUm3T-`*Z$?D?}KgjBtLa+ zxO@I5OcuDAd_wFIa7;~Z_jK-V5}yH%F4FUce^9&Fc)RL)Ehvzmc@yzVN>m@9c19b17DL`yXy%fOb~^6`FarHs@lQtU7vmA8i_+d+orfc+b@wmBBqyS2e3iX+*(4v%D6jaHtR8gGgxaPn21=x*;*~ z^(si%URbo&@G77BnKNrt6y+%b1Fg!92%cXt9Ru&f4;BITmSW-abBFM2@bpzh z;H$yDz~^Tn2HZM?e&GrY2?Q1zFDF`lcUkWQ{7Wky<6!4ZybA^C|H##z3Z;?%w=+_ZU1+8eCnd- zDbu&DaS2P=r{~Cj#CN2Je9|+V6chySL?B^d?I6y9xJW#PoV@7dA9R5yDE%9wp`2Y< zh08b3@-=VwFSp$0X~7^7F{sEK+&MHzj1s%Ds6C{3j6$W<4aFFwRE+q8>b17-77uQ^zh-pY?h22 z+FEqhW)mac%Lt;NMO9ImE?%%vr{~TD-Jy9p`aTQW3A)jkBFrmraf3-a@a33oAqeed zQ&~KvMO~*ovs0LkyzK`|?np69f=C{0c{33jH4cv@X1~vyVK^?=DVQ8QujK zF_cCngFAATY5#<0`;>fR3#~zF*(=aJdw%vDW}y0|UEQWS-`F?uC0psqq(^L><7=nC z;jp^!+l0LEll!l@2$c2S+R)GIrldz*rFT4(>~6aVJ*~jM1%!WV!YM)NKywM%muhcz z^rxNSU;ZlS^XF#ti(!LPcA1R}osn1ukl(_Tz6@j{z3O#u@0NQIL288fG4ki)_>pu&1zsw)3Z&h+L;AmCVFC;81@RE+0H5cQy9q`cpyJ}3< zZrVN0&S^(16+%DE@vEqNnpW{3kW9Mi4~6^yDP}d z=W4(PXN4aT=DB4fQFOcJ?dMAtILK82>)>bgVJB9Y5=3HaQ)XjxtMeU<)`@L8h)fG!m4b?dZ`t`$^51^AjHrc`JsdcFiycKfibD$U~ugsdIS6W{*f4+m6)7GkkAc%zFUWR1qfS4@eoZ+d?W22CS!b0NF z(AEJOj1?19U4?!lpMJX0lR(w!lgq6}74;t`y(4<_g!@va7M9 z`?7x5KY@Z7xCm{=;xsUPOfd`vrbK_*e!|iZ&`y6Yw^rNqB65F@>ky$qo}?*Lqtjbb3BC|Q5#%c~`8!0tSrYeKkM~~|=S}e- zDw*%=>zZEkD-NPOI(d-w%D}j{qP(ST#jvmE*{TP$V$SU*lg!WEpUp|>+ekQn;Cbf^nKqvd9ud}8uCH@Q0}A88Pa~DQL@9@guFFK_uSbHy%a51+i=Pgw zc`lP2ZY2J$p-!Ek#)N*|J zRvC*661-!eD-gRWyv=u1`HTz06_tnwLQiPPjU?N^Xw`7!EX5yYJHN%3>R zThEy9-Ou|`3j#tFA0i6?!d0Ar8k*7`82C1nc{jH_p)%(pcxr4^5zsexix6vwwrR}4 zrQ93O>wHv4Mu_YbVdwm1t&;GMvvD#kOy4O5r^IHPEB&wNE#=diV!&$lyP5z-_aPMk2 zF*asUSFa-2f1Nz-RgDZ*h6!@c~ol<>tK~OHiy$i1b$1v`x;;@-m+yR&TPFQT@?4>=;7v+-zGR zFT!yqz(VXV^YX7ux?Oue@cUud@cuV>3_SOtdx z53xpmcY_YC+VvvT-MtS(?aLNd2Yl52YkRe)+x00UZCif}{Oj;8{o{PcCUqKkk%#k= z2@-3SOV3f?2X03wcXGLvbO`PH?1eb7gE0F~f4&vNtVU9}5tyOkvm`Y%rxX4Xu88M% z_`mx^iz5cUa9+qvY%EP2sRP@?$JotSum^UcVA%h(qcflzV`j)m@b)I2-_ip!fPKvp z@Afq4_YV}uJfTiT)$|+JmD`i7#c2|g7H2twO19HrROBDdGa;wAI>VdQ+tWG!#uJi% zt9L(Ns4A#Ge6ud=U8E8NqausUFh8lB20Alzyfp1&ot?RLEHUGKSdJz6RNc<-(E`@} zl8o7NPC-u6w#e1%t+|tQ*2=kPlFzI{dO~sU_+gyKC`lRS`SNLF8BbhZDl2-Y+*UL? zdAF1b#D!~siMnS$9Pn~TY{~zsTVm1YM32s`p7q_>q|8LDWNRil7^FzUE(dEd+e>PN z;W?SZUAKSC`_yIh2hPv_Z*{3=q54hv+5Kcsqpac7chOvlxjJJB1z0THe*N7BQe}a5 z_qEu?>vW-_<( zl>Xjjdj-DzV4ZxqqVYqPCQR%3_vqm4T=<`+6$}vV$gu1#pbd=^9cF$@Tt}F&0^B%^ zw}ucg1N)Oft?Gw$`;7y#DeCs{o(M2&6afJf{AAO-d+HNXJltAlc~05h6YsQO8Y$;i zf9k$c$Zqek4DuH5yBabNd6cFX=xU3Zk-v|e;>oV|Rosc*U9jBj;BWMpHX@rTo^UDC z{3<%qa-$gySdb_*n8D85PnTdoYC7iM;e`u*(Rc3iyT|jvirBH2hgF$_=9j08No@um zVYAcc{1uP$pGKz>6SmeivYdDkF|buAjDYNVkq_E9W|oR`3xAMSgseSNBmk?bi(0Zi#P0a4qEVRpr z6?yf}Kt#;YOi#e5);^mASxA4>akXo2JY2qPL9rk?XRbtP`S8xbIwyMMMMKfRpV5eb z^%Je#k-${k<(KWe#M9wP>jGHmb}$ifIg3F%E+q}&^JYBT@_oj~hcaFzWQC_Bh;n+2_mCH^IYZ(6#@n9PiIpk(tji1KmQH;tRMSNL&#L@f}jE_TARtw5T9=HEsllnol+|{=ssH4YMoHwc_C0C&$r2D%N z7gW`t&{b^wfKjD4xR1IK{B{N)*5>ZNuIYx~pZoSB=#Kjm?4Q;eXP8O8DY|7yEuJms zp~kAOl#d%sUtmYO8|6&FA3DjMyet+Xlwjtv) zj>i>Ykd$nx%)y^BoXb*r7b(|;)Z}62&0{W^#cMLOb;EB9TV+tCv%q;3^reHnFDhyM z>pO~*=H(2`CFeE%A%%F#-L&Fq%-^Doql>~3YDP`}GdoL+AZ>Z9e4!%ykZL^ddAYU3Vug?{PWX!qVAA8f-rK36L@r+ zaK96m!(f0>O^2YlsYy1)u|gRPQv2-rj78MqOx&Wr(@B7nmvmS&%ckF!CoWO3?NX0} zR0r#lWb#dl1cdkGSI!NgoDv~G;6*USu|qr>!B}mf_T}NIPnWxM!?5xBY^$fYXnmG^ zO6@C`k2JSxIe65UHh^tx>#aNDCE53bSCzvZ3I+A*!=SZl z9`#EUjdpejEp1@fK%I<=;Vm74ggpt?MdeY_w$wY`%_4Dq$#{&u4dY3mo>!}!og)3y z^L3mw`WfE0uH6$B=W2x7M2bQ&iU7{~hB;~tC~hdZx_0e3`ZsfE4jOPpeo+&KF8}=2{rxGSYTccjYH#Z^Wx=wu`7m$Q zB=b{meStsb>)-N~fV&PC^)koJ9x6O+3o=C7u>N9%=qMZ&!4Ky#3UE;{(^$c~aAXv9p9Z7OQ`;2sZ#OsMa%e_(^^X!R-@Ex+-Ztd}{q`T;T8F1)*a`)Q zk*2AK-6gRI%6JD-kx^0h)SJF2K;oq=Ff7n6BvvQeh3>>idG4|(E!)oJw9eKF?>7ZY zxBM1L?SIG{djD%gmVQe7+3vkYUKp@Ds+lW_6}r?r4@<-t{}Y>CwS<^uY{wFk@$07Iu5{ zKMHWgymAQ_5nM!Kb%BvE7w>}4ASRT>c}Ifu_sr&=WD9LBBo)0!*zTqQ2uoMl*He3| zp!zF>QAPZJE8lci-spj-c%ba3#r8n$R?*@@Hxa!Y%)=9uv$c4l*-T9G0WAY$Jd550z7LQs*kODS_w6jkohBX54mxM7<}}O#FvM8B^0RH#`*r z)gT#lNf|21_)tD3g2A~joaej}en~P+Y0U#H`0IzefeEck^rJ zuU~G*PQ4EMqlcE_8BdX2XY!3UW$%|Ae=mh9WAVidi%B|n7SYVY#lTYs!351yxzI{u zVafcgUwrK@$H<}%h6$!n*h)+OJ0InsnPoza{}0!>C~iN$m8cxe1iy%(q2C%YVKK6d zSKwzFLn?}Deam&Kf37Lv)1Wl@HkA_zO&=a>)PcT`r_a!a9|z!yvFH0&qgBA+ zGGV&?oW%0WC-!?ld_jQ(6h#iBwAm&*xSjl&^PDYn4cu!&8D=@#Q)OGzed4=O@X_0{ zO@G0?lS+>^+Gm)&2sodd`Dt(4d00RYvDf=y;r|+AC&$McnjdBUk%kV|iMgPc0^J)Z zL(KAUC^88OK0I!zOO{h8))Bqbsl(LS*Xhk(TRAr6`DV%FjQ1#~)MC>syT0#LDM&QJ z7&Kv+3q%GPoQgL)bJkAYG4>1+1qj#VoZ*PDsrwzbIzI5i%7kUdK;bAYDIQTL;jkIR zFiYRI&)@ck!g|nLQ3zV`vy%U*pFP#Sni=%yRnehH_9}poDBz(k$s^HU?z>kyt|&VG zF=1|QxCVIo%R3&Hh%3;DVn@MJj#mDHn2NxeO>BaPSU(pHft*RLL=b9nin3;MdQ0hc z(lBU?aa+IO=2CMLO^%9^-AYgx ztx(IeZ{!wz8Dfm2=gh_)O7=Z}XlNx>YJ3|xKF0f&MG0#qxe|jH#cNsy?Fw4XHRaMc zc_-mog(3yl4lZGrG_*#=0*jBp_Q|PIv6#QjquH1JEHNc3=8jUYY~-rS^6;RXk5%5D z$BFsZK~GUYeBJqhs=*d!dl4(|UmPL=!#~#OO*t(OIQYCYT;Z=bf#@4AdVjHC^CVB# zUH)K|=R5lhe^Qitaf}5*qg8$8iTe;mRWdBT&hP;2O>Q6^G~ngY#)L2A+^T}Cs*)jU z9q+buZEJw1C?lPT6T6~EZII8=x(Tx)RK7fH$@cGf3={(C4zX_*qwMJHf>?c2C%{75 z+)+eKkqZz0Sj~)TZx}xt*zvw|AnCgZ2#LN(MZ6+w&gH8pTC_1jCBSm4A~6)z8o0GL zp-k>LtNp%lHZk1CY1H&%tKzXTY(PZ>ArlyjN7G7i6r@nU@@!Ac`e{rCs+4NujW(L$_WMr1~8XxOBA>qc^}|nmBbY{Nsd;fyd1q@ zwdSfTZj-)OIcmTLWsS{}ks$G++AOGC7BVsr0kJcyDjo&puO4X2`?H4k49HQKSBHaL zU?uT0@+^4}gJhJm-|51OC4|9%Ny1Fw7;0B#K&GbJ^cYlqA&tw2#u>u#^}jkIP}E8W zcv{uswBb=qKzanjQFuNEu=%T&H>IipAK_rWrT=5GYx12GetX8O)=9OHOnTJ01Xh~G zp`?UdMKMDPjjEicW|Pwv02=yv-k(@_;bp~AtyU9CpZjQ6Jxs@yzn=Fau&ETQADo^( zgMlIvL;;RN&!>W+HpNFe8R<&-_w6-i3KS(maR7^j-|`WeN;k10RDOA*_^PV7=2^(1{h| zT^vC>HuVOsXE(ZW&I?IGLR|3o)3b$|*G$MoFle$03JM$YNvh z0`P$M4?|i)0gt?x!Z#(TI7F%SJkO%WWJeBuR@U#TZhK|^q}TrQFkWh#lc5;Z{!PV# zQq9B&=K93Kuj9k0MrBF?J7%iWLqW$GOF@YMQqwU5W$V7c$%)WVAfoDENA)0ElP^-( z%W8v{MRD~I2ynLNW%p^!=w?i{RV7T!;XKfJq!h9}?yUVSpaJM@!aQMI_7t_v_PH6? zosJVoLX8f9FUNglM8p*&f$=(51Z)Z;AI8$g1uE`zu?jZQTDy;Fg<&_{$Bv94OQ~0H&qp+1Uo|&K`DVUmRLcI1)OrUlj&7& zX6zUa;sgpH5h6s;PBa4`VQ~&{00o#T<(C3TU||I$EcGcw76e+{_QHtSS#hud8|5Om z<8=O?mkHD4j~BW&Vo^f20>V&~5?7HERXY5Fns>U9>v;Tbf+h601~bN@?zHC6r#|`j zXRbLdYH(SWy?y;vVIm6Qn+-kB+uPDhDK#-M(Q35-WLcJ`skJs3vrAXK>*_bZ@gL7S z{~O=^Hqw|2IN=THoDHsXqu#n4c)yF6S=A52EZr7jwn0f$fEY}qENJJyuZweziI|xn zaIg>yCs461om7NSArWFLB|!&hO_B5>fdB$n65%?a6@lQahCvjBEGV=CLI(34wb4^-shP?{D1N@E^#<~MQn7~_UAc@Ra17_OOW>Pjv_8OQ2^^ zj1HsNRe+x+?|I(d^`ZJQ-{p-lTI(c9@;v|Ym%n_`MHh8ComQ)*Co&C+dYXkTk(C1+ z&5nC!GSGWfS~8~&Aw)yhq_b&DqDpzzDEvB#1W#R(et?7(q7WP|Jes(;qV6Y z{4UA(pni)Zw#;CUL_=${If>6^)#BrCy%2vc?_Ljz$8AYKAu@1H`h_=lc zyW;sxS9M=Af;5ViQe{~hXBBZhoI>rEl~Q%&{c%Y);iqoKHo|ZyPbmA4&VFOFjS2`5 z*~l0JpdPuawO+n_`DZ@!nR*njU)SY%-c(Jmdi_wAWsOF|T6^ua*Is(*rPp42ZGX}p zE4o5J#38sT6jnNdJli5BEK>z}XAOgLM;~U3(y6djbUGy)%d+LejH*YSA zE`XRh6iQUMB~D;8w1pGEK@mtmf-2cFN7h?FhaB~}i7sTk*~TG@@s?v=yL`d(M;z8S zt&wFL$3sIzB80HfM3wFEX>ucJJOkv6-a-y47=$t1&RE!tRM^_)25!1%^s?(m?*0|Z zVeY|<;Z!@VVJ(kHV0LlW1HGuzkY4n&U7@lN03m6Cb|I7k<;VsG2IkJ4yJE$P zGtWG8!GZ-@mN9b_MLxYe&zr*ORhDHO$Mx;;@$op0<2V)(=WyeVH(qniHMigX(?4u{ z)>>VbrE}8bpcJ%&76fqs6_iFhhsf-iCB;?UeL^juNnt9eP>ew7gXX&xf06vn+uCnh z;8LEzL}_iT!Zt9n!{^bePn;&12t%METeeippl!By)(y9ef9E=T)6dK2w}psOPGSdX zjgN}ROWM`}*j?PSr!YAw>QBnA5Q?A#&~OH#;o@dvXy(kB)A~+7{q&PgI%#ll5P-GT zIhQ1fuf06ao7(AB@1L7xnNli_W36?aXB>tM5b)GfPu+9RJ@-Cz-+d1~`0R5VsTeD@ z-Z(rwI+E9)odkp`sP@o2i~*6tphRF1GgM0{*pg6gQ#!EGn-{9HR?CUUtNtV`#w#mX z^JTgca)eO`(Un+0ffJ?8jAx#qOTN4D$G77*PXIF1PTPtmw&k0JEWii?rIa;hdj&=W zYoT`Wf+;IID7=8_z5RoOgG#9=;MuR)XU?42^XJcBbkMaD2f2&c^=0xGZ#hS zYcJ39rgnPO*S#h$?AL#dhzeuH*d&gevqVIUt>a^xw`|EK%1)=dVZ(-Jo_abP&!8d3!pwOU~qR#jCm zp{rlUkaz7yj<()*ivYmAsB5EdUf;q44xBzPt&zraX3lE2TI7U-&`DT-J2A%8?WU9e z*FL>G&zr*Og%@p}TUC`(ikb5~50cbr6GfqQ22R3I0WezYFjfEoB2Waz_DOxThlUXn zQ6<`u8|`d;=#htib=N(&+;rQIfAnLRQY94e%zQ%a)A!6dYlGGAp4J<bej?LTnNHN}(3)|@)uaD( ziGK7CEu@2ro<`>Sf_TNsf^yldHe~qn^-x{BLJR@o;2S2%6HYwx3zvLl$&w|^T^xluXJ>^{T8&%OP){o3uZ zz~y2n?TsiYJ1V*2%5wdGPIP3*CZ*HWf&~lzWBnHoKKM=6+C0ze1yb90h7_s$Ts+V7 zyj|+g`6A7WyALLB2N4G$XIW?FjKNQT>im=6eM(nX#0{kU%Lnjp>o=HWFy|s_>Y@-y z@bHHI^2x|o)M~X_tyZ4r*4iXVe6xe+d7e+NT~dTu zCskE78_m(tEwks${>Vo@wCIh8xX>DY)?nzeZ;jt{Yd0N=GgCN@Hf?Hr^Qz91&w+!e z$e)A4S!bO2*C)NBD9~!Ph^U^V)zi~MMAq7R;;rX-p6Ao+)jnXRW+MgAN*iLT0~fyT z!yj8~gB)Tgjz){=mtQ{79e*9A2pZ9^?@q3`s)Hz=FvA3Q!t%F$^z4reO&{W@EX%T9 z16TLQ1F+Wmt_{!gJfB{>r2G-h={z4ygZ^cSb+FemEV( z$k@oQZqLTXXJn>KQ`g^^{()8Rf9>qKRf#Z|s29UAbKN4Zl&U-C{aecOJkO`ss~KRm z5X4ZR5EME}2yt8Wd~nrSJ#ileV>Z|@VfwDWWh;`|PmZ;}bCZTVpF~NP>t%0W`j%sl zv0|MwglUtZRX=}y!?$dBp6B`W+9m21K>+oTBmm83^O$3fnZMrxvVda&?zd1g``2|IcqGyh*R|TxrAuecnx(ZC5#Lzod7kIfYquXTb6tDY0hT056h+M3 zGtgeLWJwSs*O^Mw90L+h1BSKMLqkJLmMjqwtu_2OD9`gepI*CPy&*`w56GY75Mjk} z%i}Nrke8WaMO@VTj4WET=%9lRs-upG>J0Nd&+~kG?LKw()JwGhIOnw1)>>g4dDKy} z_Su&O)`@nbRWSmEBuSPnTQ)E-Ktz)*8@~MVJkRs#wOa*2P>0auURD6YFf5JCo;~Xg z2QFf1Fam-m1`0Hr%|j18R4L`0GsZaQ{B^sDRsmVN9@1<{y`AbgP=rY z@#4jOeSP(rMq^Ap4$7}e_B_w?>9rTtWWBw;?|ILA%CZcCAdce$4me=t%9YN!`jH?A z!Z57MFaL^pp6B`W+Vh-qd7cAUw{G20M;%pP6E9fo0jwXCYDx?iL2w)Z^G z^Y#?-?Q^wya8%t)fAh^Z-+Jq126Qz9xmwG1ONa407*qoM6N<$f+}P8HUIzs literal 0 HcmV?d00001 diff --git a/tp/pagetitre.tex b/tp/pagetitre.tex new file mode 100755 index 0000000..4dd2aa8 --- /dev/null +++ b/tp/pagetitre.tex @@ -0,0 +1,17 @@ +\thispagestyle{empty} % Pour éviter d'avoir un en-tête et un pied de page sur la page couverture +\includegraphics[width=5cm]{logo.png} % Pour inclure le logo (on précise la largeur de l'image) +\vspace{4cm} % Espacement vertical +\begin{center} % On centre le texte +{\huge \bf \titre}\\ % \huge fait que le texte est gros, \bf fait que le texte est gras +\vspace{4cm} +\large Travail présenté à \destinataire \\ \cours\\ +\vspace{4cm} +Réalisé par \\ \auteurs ;\\ \matricules +\vfill % On va jusqu'au bas de la page avant de mettre le texte ci-dessous +Dernière version produite le~\today~à~\currenttime +\pagebreak +\end{center} +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "IFT7008-908144032" +%%% End: diff --git a/tp/question1.tex b/tp/question1.tex new file mode 100644 index 0000000..851ef6e --- /dev/null +++ b/tp/question1.tex @@ -0,0 +1,4 @@ +\section{Problème 1} + +Modélisation et résolution du problème des quatre cubes avec le solveur Choco \cite{chocoSolver}. + diff --git a/tp/question2.tex b/tp/question2.tex new file mode 100644 index 0000000..a3c2c62 --- /dev/null +++ b/tp/question2.tex @@ -0,0 +1,5 @@ + +\section{Question 2} +\label{sec:q2} + +Conception d'un horaire de travail avec minimisation de la perte de profit en utilisant le solveur \cite{chocoSolver}. \ No newline at end of file diff --git a/tp/rapport.tex b/tp/rapport.tex new file mode 100644 index 0000000..dd862af --- /dev/null +++ b/tp/rapport.tex @@ -0,0 +1,71 @@ +\documentclass[12pt]{article} % Précise le type de document, et la taille de la police de caractère +\usepackage[square,sort,numbers]{natbib}% Pour pouvoir utiliser une bibliographie externe +\usepackage[french]{babel} % Pour préciser la langue du document +\usepackage[utf8]{inputenc} % Précise comment le texte est saisi : cela permet de tapper directement les accents +\usepackage[T1]{fontenc} % Précise la façon dont le document actuel est encodé +\usepackage{setspace} +\usepackage{datetime} +\usepackage[margin=2.5cm]{geometry} % Précise les marges du document +\title{IFT-7020 - Travail pratique}% N'affecte pas la page titre, mais défini le nom de votre projet +\author{François Pelletier} % N'affecte pas la page titre, mais défini le nom de l'auteur(e) du projet + +%Bibliographie +%---------------------------------------------------------------- +\bibliographystyle{plainnat} % Pour changer le style de bibliographie +\addto{\captionsfrench}{\renewcommand{\refname}{Bibliographie}} % Comme le langage défini est le français, "Références" aurait été le titre par défaut pour la bibliographie +\usepackage[nottoc]{tocbibind} % Ajoute la bibliographie dans la table des matières +%---------------------------------------------------------------- + +%Sections +%---------------------------------------------------------------- +%\usepackage{newclude} % Pour pouvoir utiliser l'étoile après \inculde pour éviter les sauts de page. Ce package a des problême de compatibilité avec la package natbib +%\renewcommand\thesection{} % Pour éviter la numérotation des sections +%---------------------------------------------------------------- + +%Informations destinées à la page de présentation +%---------------------------------------------------------------- +\newcommand{\titre}{Travail pratique} +\newcommand{\auteurs}{François Pelletier et François Bérubé} +\newcommand{\matricules}{908144032 et XXX XXX XXX} +\newcommand{\destinataire}{Claude-Guy Quimper} +\newcommand{\cours}{IFT-7020 Optimisation combinatoire} +%---------------------------------------------------------------- + +%Autres packages et commandes utiles +%---------------------------------------------------------------- +\usepackage{amsmath,amsthm,amssymb,amsfonts} % Pour pouvoir inclure certains symboles et environnements mathématiques +\usepackage[ + left = \flqq,% + right = \frqq,% + leftsub = \flqq,% + rightsub = \frqq% +]{dirtytalk} +\newtheorem{definition}{Définition} +\usepackage{lscape} +\usepackage{enumerate} % Pour mieux gérer la commande enumerate dans les sections +\usepackage{graphicx} % Pour inclure des images +\usepackage{color} % Pour inclure du texte en couleur +\usepackage{units} % Pour pouvoir tapper les unités correctement +\usepackage{pgf,tikz} % Utilisation du module tikz, qui permet de tracer des belles images +\usetikzlibrary{shapes.geometric, arrows} % Quand on exporte une image GeoGebra, on a besoin de préciser cela +\usepackage{hyperref} % Pour include des liens dans le document +\newcommand{\N}{\mathbb{N}} % Commande personnelle, plus rapide pour tapper les ensembles +\newcommand{\Z}{\mathbb{Z}} % Commande personnelle, plus rapide pour tapper les ensembles +\newcommand{\R}{\mathbb{R}} % Commande personnelle, plus rapide pour tapper les ensembles +\usepackage{cprotect} % Pour pouvoir personaliser la légende des figures +%---------------------------------------------------------------- + +\begin{document} +\input{pagetitre} % Inclut le code contenu dans un fichier comme s'il était entré ici +\tableofcontents +\listoffigures +% Le package newclude mis en commentaire permet d'introduire une * pour éviter le saut de page entre les section +\include{question1} +\include{question2} +\bibliography{bibliographie} +\end{document} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: