From cfb3c70d6f74673c77f99c9f6cdde674d299e2af Mon Sep 17 00:00:00 2001 From: daneel95 Date: Mon, 4 Feb 2019 23:11:24 +0200 Subject: [PATCH] [EXAMPLE] Added Ising Model example --- .../3. ISING MODEL/AgapiaProgram.exe | Bin 0 -> 162816 bytes .../Part6_HardProblems/3. ISING MODEL/Def.txt | 10 ++ .../3. ISING MODEL/IsingModelAux.cpp | 51 ++++++++++ .../3. ISING MODEL/IsingModelAux.h | 21 +++++ .../3. ISING MODEL/MainInput.txt | 0 .../3. ISING MODEL/agapia.txt | 64 +++++++++++++ .../3. ISING MODEL/execution.bat | 4 + .../3. ISING MODEL/temp/AgapiaToCCode.cpp | 88 ++++++++++++++++++ .../3. ISING MODEL/temp/Includes.h | 8 ++ .../3. ISING MODEL/temp/agapia.dat | Bin 0 -> 746 bytes .../3. ISING MODEL/temp/agapia_transf.txt | 34 +++++++ .../1.Installation, Usage and Debugging.docx | Bin 5569 -> 16999 bytes 12 files changed, 280 insertions(+) create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/AgapiaProgram.exe create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/Def.txt create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.cpp create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.h create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/MainInput.txt create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/agapia.txt create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/execution.bat create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/temp/AgapiaToCCode.cpp create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/temp/Includes.h create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/temp/agapia.dat create mode 100644 Examples/Part6_HardProblems/3. ISING MODEL/temp/agapia_transf.txt diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/AgapiaProgram.exe b/Examples/Part6_HardProblems/3. ISING MODEL/AgapiaProgram.exe new file mode 100644 index 0000000000000000000000000000000000000000..598427026803300e5c545266ff90f65b3821f8d6 GIT binary patch literal 162816 zcmeFaeRxzwmOtK|z9cO)bR!)I5VX~HjFZSj!)UOh(|PIc07>W&Nl@>{=xTF-+YJb)|>CV^9K>vE#Gymj^63I?M_$K z{07$@KUn_Vnd8TgbsI%DE&pcMq%l?ZCw|jf-@QKv&)Pr4?mrjT@;kf_oG-3{2PTVa z`2#j_^*t~J*8^Yt`2LBw-t;}+0}fm#jq%<87Oq=vuYI6ITz@0V*>b!80V;37ZMTM~ zu0+d%K9i}&JjV3*|Ga2%BJG$d%RJ6J!C`s{4LpV){ii6-})EK?B``Ise9l}Jzi+io#A^YP7jS*DfA#MF)J z{47%*9yjB?H=+-x$vbRSZw z?S#2bT+{x%K*&s)&GZ;GW+f^fiwp}g0YJXanX8*u--=fPt!T4}vMe5!&pUJVcW?gz zGE&=3z=7#JT$c{ZSAo?3_xC@*K*;@Cxrxtw#B92L*M9u%cx-)zN!-!X{{0JCU+nmR z9<_x{3+nm%I{sEFda<5c@K(7gwmXmg=aRJCB7eQ+vjywJWVG&V7>650mxVJ7A+rhj>=uaEEhiP^*sQ5m1Tx*RPPS@?5EMVgvj zvX^DY6*Ey}tV`K)h6>ow7wcAHpO~X>mz*wnEB58Btq!IZA|JeDded(C$85O1#_8ag#(RYgK$zfFwD9pCK{jH63J7}?OCzx`W z@_?mgyV8Cd$>Mep7uDC#oZHz>`>(pxg#(sO)i=0q>}Phzm{JtmJBjW2{4kFL8s-~h z3kN<$J@#+;POTZsYWqKbuW&$h{#)!0t64U{-tGm`nXj)&FAg~lqNA65Nu6LzbPg~W z)N_l`3fwJQdgIXE+`m7gb0s}6pMyH9TB&DdwoakGYN}!LtI=bN^7y<)z!s>cz6sQn zoQ_*K25)11BYT%`#+@IvdrCHZjLHNdNcsZ$x(I#zu_w{l=_G~sjqD`<%U?{U(>|*? zGA^9g$iMev>U=BfUbKK z==?^$+DOlAbi7=R}6 zM3&_-M;)=93it&Qnm>u@gOOQVv#vHrFNx{@6}fb4h571ob97ov|1y%lwIb{4@~r6i zn65|cTPrMAms=t^(>r5(%)MD9o$Z~`E1B=O$2ZVi%zUR<8ymk=7 ztmO48I+2$Tu(UBn{d0UE)@Q>I)~ei&IDQhn@wZ~nP(r)SR^g?0B@HD#=) z+g{PF+1d$CwYFb;y=DwLpx0`2-z8f4MX}d(PnX@lGss`wDi}h0r@d`AKG9ZQ6#L^b z)j!xfseNx`d_8|uzGwX)j?>I%(`=7Y(QL_pT002-pj-}EncZ_JdTwDCcoYBS-=n!p zsJnXIY?n-Xh|-&i@5zxt4We0acSbDp{LLjdTu@_RIpT5 zu4GIBz(4rwrWAi|Y#PpA&wwS0>TF?0JZJekU`PSUZ3B`?1)PMHctB8FJRs<7MLgi5 zG&j9c0|mTZ1sX6c6cxlM`Ln&L(>^gfE`)9HXv)don}F=uEFSk;#g`jxYKt|EO)n!p zjdscz0`OxlT4jx!39R%r1grmw7jUyeY*RXoe6|BHJB3XJ+o8~F*5 zFiQO>AM-Vf5$lPXR?#{>@8vy?fZ8zS%C*N&1i-PFg1ZD>RVqUA>1E%#T zt1G5Qvq%t`Bq@mhfEV<9AVtq$jU$otNw%>FV-iiWw;u(a=`EsJOYQ`X4u}`y?DyOc zinKr9;c$6Px?3AK-)lnMRB^H1!{+C8n1_+2lE^XZD|5I+4)rW$6d*?+@9+{U#6=(e zO#~xNN-J_0D5lUM18=Kcq60?A5*twL_jH3H=v?aX}jt<{AHjyoG>2I-3kk9*P z2MSuM*nBsp_V&He$!eg;(ix=TI|QKDzS28htL>`~YV-5>LuVj2X9D!Y zRrnYHGiA%x+Hnx~I)-zZ%tW|XT_I=@YNylg_+aDe;51P@b%q+{~5jnaXW%ER>ZA4$j^oJI|6YU#7MM0 z-vL@TJ^{%?teu}95y zMZ{W59-C0u#agXI$?=vu(Ir2;+iXHL=n3j&+)Ts@@g1)t?v?cGm9wK)&W@%<)DvEX zNY}{0>Xg}aRuHN==2w(no943y>#;=m=rr)|SExc!+nW3JXg{0vf}XolF6wB}GMovl z*tTrC*R%z{C-D0%ekbw!0~nUcoMjm!{}gw=*A$%Lg>K1f`ZxSe;3xT|p3X06={{Tr zI1DL2T*~j=0t5}Ht$pFru&K!y!F=NVVoqUi=*&L6Mr^WPiDKq}IbD_ZBOGv1Qt9`krXOhkDx?Pm((Ri>508xWPdCy~w}ApYK8L+MkMPmjuja7$FcO1^ znCJ}PKh_5s+{$_yv_)2|0vcHf6gvVn=dqQFpphbv-x|Gyb%QmqH6khU5pXhL^E%+o z1{QY`$P_ri(hlM<%W7gCN{HqP5>VJc?>LB*o=@%VThV4p1cIU#wMoI((Sg}3mFO6C zt+7>+st;=GlOS&FgJudwU486*GI*D)zSPal2yM z=1n#;d(YlpO)tiJ&e+?3Lo_hgx_O<=6!mwPsL=&}Js zw;wfLj(SbZ5B80JMvc`97I%=6(KKf9R4exOXYnnX54_PZn`=F>7YPFHfPj0f0K43( zW*Im}|Bei|o!|~ysS(!REY+&kTM6>9qIYLt`9o0K+j|IDV1Vv-<6c0Cb?RS1JHYB9 z!1Od0|LB_T09r9eSq9#l0~E~xa+Wf=f`rUdu6U|3tkG3T*n1snaq7W>rf#jUb(GuC z1T&!T_KJQOr4KCB0S?q55nelZVjYb((HC~KMsx#GZ$)adTkzaKxkP)S3kBX+Sw)kw z)p9G#9tH1F8{vEcp?qxb1=JR6bR2*;QtZ?!<9;D$xylp#C6Dy6;N5S6v9#-v zHCRvHU}eRg{>V*2E9Q5s&SJFcg7S^Ox6Ew9vdC{xV&nqI4+1q#!Jk*6^u`Qh!d9I2+wruGYokEcSGN`brKF%r}(AtxN5i(YV6AHSLPUr#c=M&=q zxmC6Ek|R(aV>KpZ7N|3PtnA^~raUvIik4ze%dE%@tjXtEgZfG*FOtyy6uNFq@^~5j z0|tL3tI~K{A)Z64e*?1gq9QC_HvDYa((Psgs?=1Nn4g9It4c~NyVWYUm$Vg7c7eG! z;OZ{vY;00%+z#C5ZDSkS3QCTs8{BSnG4x*Gbxove8pt9Q(B;Hrl%FA^E4DTdqu)vi zD~mlVXW82Z(OTf^S~kbZmN^^v6*tie*xp8?+!MFAb>h0Y)d3bxy0nJSQ;>c1l?8n4 zBwCl*C=trED&#WZS}lZ)D)%gyMI^Mlw4iy#wyjog+urDz!kt=;dseW4mn{YaHST<< z+hzsnAHEgxRFHSwj0vpDUCgd?SF39aVqZ8`e+OA-Rj{rtUkFvDgUuO??YyY4%g`fj zfXU~tEn-gWbrL{LdW(})Tlr6x2pYNtX)bgNN^ww|+b7TfBs>9Mz*S`eS%f>!A^Y8L z5d8zKUcxPw`1X4rL5fsq*0{YT`}sUnM_P@<42q&_gc=j?zLk8J>QpJ;%umTTuqKTl zj;giCX@Ha~VTd=JbW<3#zJC7E8dN8BOnn*4%S;{98mt_lWAedjkWexit4SC=Xq?@` zTKmNMYsh$eBgn&xQHA9CAZ%l-0bRq!nG@qoGO4kNy9jiM{hs3JFIg*R(c`e>koK<5 zM#@HvM6aUvr~#Y0)&ZS&Mw&yUIWy9nA}uc?Ee~m1{jQFHi}|q#FUSyOhHICE{tCmT z+k1hT)w|o@ij2eTUTbBqEzxg++}-#})w`hLV9{3V)f1xA+V)1y-CAwFx(+&-SZ7wO zI}5aWyri>tj8LF2g+fRn$@PUGzT!7y^|OETx(iH^u`e7#!igXfhU&A3-x>BuD0M<6 zbVof8K)7aB7$#$Tv+DKSAT53NVxgap@mAf1W~6jtiSHd@6TSz1k0Zfcnlx`3;XCB7 zhyF_QIoU$!ul1;dzkm-gK&2rwZtgjfuJ9`vqVGHWajI^jT9ikcG%P#f+4Ln0T2M3o zBq9dc2nH?WC-zisBMXlL_F{^gZAZz%1LWYL+$k?|9horuxMZSRUJB%;h%Q6*g(#nv zKz?UDn~DWDJ}1a;UMFT80yGI_aU<_<9uDOQ?I~#F-6Q0bV;1_;422~tcVr;waJe(% znU&{fJZ~+}8}d9g<2liu{CM`g$@bj0c6fVW!E%iNCBBC~aBYg8)Q`YTV0dWlN4LZS z3gHw((BK_f3-sN#|9~L|IwmN1>1|x9pbXBDX?EmytcGGB8%hCb7{sEVK4IBvF%;SX z(PQy|?7x8M&954uC7rX&3+xYddJU{-L-3oxj|)9L8S;9pQ&;`2XinUpPc>siegxfg z9;Ar#1wR92%xB6D;6vly8l3kyuluxW5=re^Y-EeuwnelYc{hy}WYt{u;4s{)hN( zMSWOt{*Cw!$gf7icTwWiaC~EgPmpiF65o%djgL|E3C%@`F)^=5=nq_=>&l{V0j>5b zi$LJ`w-QQ(Vxl{}xrpBf69H?6F3lRZ3^UI32l?fn=(;e@gpiTA=1sUl^JZ8kY8v=_ zkzi%JGP)u|5R~J)GX?*M!<$`Y08fzLc0M4_k$~p_?i>PJj(q(pegqZ(fSgfd+KeOX z`z%%8sQd)eQP|8MIj-vo#I+R1bM_FgmyBR2N8#Jy6QyQ{j@5ciq2fBPDV#;BZ!J(A zwg$TcrTDIla2pSJ<)w-)JO^Aa9#};8#A6m?Hq+yQo5b^QO`(L}@xoW>j|3Fqtguz9 ztTx~e@}Fb)vgTp|)x2WD7E~Z)RK2;FvpddC1%)3ORB#J25*6Hl zYl;e%H}E+kVH7Hm?OC4Io)HNE{GIwEi`yU`B>ST%o>L8GF{~plnISr&xD*|+4ZQ(8 zIJJP6+8snE5Qh0S;6iH&Aq_|xTEfVaL-6*|m<>v?X#f6G^jSQxL3H3fo2diw7r&=X z-r%kyd3SH}ZkutpB7V<<;&v!3{Cdm;WKbPS(qiI{tt&IxA4~~3cs37t&PsmMpNkV?GjxImU6!Jrh z{3UA zBeD4r=(WBPtb&~k!%tz5AAKMEB6~9=d)6KI3$7OT3pU*C_d*t|LTRQIaep-kz+XcT zaeq)=#6%eP7ts@Pl)~S2_zG-mc|x+24P@oPq4F>M8_wci(EBIR?N{*&(IWCMm?m15 zm_@H^MQ75LLI41KoxQ&GiTZy1Jz3vB;hN&t5IP_QYnmZtu2QJSUcABFnDLA;?LoXxNK4|GqCiMnSPe-n7b`Xu2hl4#%8tp67) zMymf3(pmTwH2CvF?2YN203+5pHprhnN`O>jb{_>0gMPmfztjI{^ydQ9PyIO;*A#vs zM9&rpqu@7oW?akVa8@WQ^O|-PAHq_0$1L%`O#H7B|7*nm>%{-XGUa#3nTKz_iJuL> zbMZS5zbi-h6(h}!A2kW>(R_{3A8#~pxws;mT zIpYXr^I65lw*iLw2R5;@mRx)4;hHCU}qQ1taZ~;5RZ%$R%PZdT7o8atZ zpXhgx?cRlTB>8Bmb+&kR6$m(GhotI~vc9N1Wi+IB31hHT^}AWOa0E&648m`pHS8j1 zro;-p}kson*CMIAEVR);@7=qTRz9TrrihqMZb$Xmfj~THye; z1Qui`pgxSJ57Nf-i1Yh<>`b_r&j&c<`OzOP4x1VcF^nG+%XSAlpnscsho3nKLa4Q> z)kW%Bx4I}(hcyzuNn8E}I~?0&&5GoQ9s@ZTB`pKj2a_)$w@CsQAnd<|Mw3EN3<@at zLQ%afS^W(kqx${^b)zGJXP9)Hgy*4k8~u&;+h6<&d79cki_b^pvi-Bt+Yg-q26z&H zIan8o_7|7zZ9gJ$V1KBq90(acmrMMA=WEn2y`3VL!=oxv6gmhjg_OfdRLz1=1tnNX z=kO|E_5TT}nx$G5P5^1J=Ly)8$b;?wpWmeklMMgK2~*uzq%JKUUT_M3n^N${`f8Hi z#{KBol$*D@ut%*u2v5=Qb$m<;p#9iN8eduD%|!WsqKiRJ1;uI^UtLa~Nr)wpHinQNny1)YgUNiZDM! z;dSLmf1dRMDPLLlR>##7p?iG`y4Rrj>Uu->+LhJzR+{b=K%zM=GygucOYlqgapDy0 zP~6uiEDgRxCas?A3+D2+PS_V-t8dh55Apw~gfIk84XkXCoqvgsQIfAQ)cJdmMoR(D z|3c6Oyp~~Ku;2Z2Dzx@c(!^lD`)*3fFf*)KEd@-?cPOaUKF#-D2`shl)_hOXVhKLq zHa;1WQZUx(fCI5_k4U)=DQsaU88IGUwNEE2SUq`2;n}iqh~JmPl!VcJ;wE$|9xs%S zEZ%Dm*+AI5{B;6d8Aj5z{qVJZW-0m!EMaZA*Hnk!P56yLkJBGeVXd2SJpWP(D?)zQ1A}xSk3cKs~W*c3`WGSzBgRU*>qDwkTNc6JxJ*P^s}s>0n}k zsksAF2YZgb2Q^)K4mQCQ0pg(6ehNw0!ExPN=y>sfF$o#`%EnM}YOHpErjf2cN4fRf z5HgE)5{D9w!6sa*}kj9KI~G_Nku%FSw}gYBZO%wq6F(`H#i zuJ_9!bl)qvMYrE<>YWibi`4G+C2M3bh!?-R=EUOHhA~u54c;x1bh@3yGx!lG=`t zO-uA(s(I9~>(A1#XC&7V4Xe{d#|q{eT9oRwx8T|ZHZLb5(M{hXOA<{>2}}qW2@`Y! zOe}Mzh6F<5b~@p9TxbL8XynCdAP{aT)o68EiQ`e?5V`@$u=uj2C9mJee}1C` zNKn4~C+C+}Q~bGp)cO57{sa16%!D`tVJOuad{A>r!PJ)m!`qO|Y}HUVpM*w@|Ncx~x6nY}PmYPKBD+*up`02)kJ zbY)D_68_Iq@XM_d!~EOSh5hVsxQ0J{1DYWG+iKEQ9hVzTctZ*n;PbnCbe;4;aAk|< z91}_;o?##0AHva1*cdTAK&^uXB6vVRtQXZlDH(wRWh|~Pn>9M{=mH7q z7_LavoFNRy8xFvkGM*hFG)ZNGA;S2Jz}7Q%uw^a<67v`2(@)aj8Akh9 zY(LkOpd2i=lal$>Lx9QVuVYRHnI9>KT#|-?)P4%Ie@mY;W4<&dM(~Zul-M=-5b;fs zX?z!H;rH-I+!)X{{+xU|a49BQnnqPI`SG7q@<2$)L2vMzTzKk-u5L=`D8!Sn&NpJI z01*I7NwMmqtsllVfoM)>0C{@f)8;Gu-!H?5;+;)wA$Wrle_q1J$D<;$KSU0U~`+8NHC=`jhJ-d`05QBaawEJk143|<`C*61~X`Fv`hSmjpugI4ki!9H3&_jVLZ*HC)#2GW?Q?g>$eK*r4R}L4&EzfxI0hA^xiCP&5cB@+{|T{xyRH?U zDaOR9zfJIb9mj?#Ne80wnf^m9wrE=@g0e+fNpU2w&@ARTu9J{A{#o>IY@O8`pHRKD7SxL@GV~vlEISKT&{P7~Rk-RV+kGI`hX~OF7q~~ssoN42g zAxhxCZxoBX*fsQ|M_r*E=m0(UCSVF}d}1?FWyU*YMwUxS@P3%ZUenekWt}%7?#2Zn z69!(0+-X7`RQ7K^Ad++Lpa(hLLc38qe|smTD+y9Gz)kEAA``)2#{7^}e%b(dV)4%} zyKXcS0W_5)D`1lxd}y=ObJ-Mifnu1gumPOUe0Yr0uwRt`n$++-7AH^xQ{4 z*TyWsu$2d1F095{iursD^>n(WEyYF>=riWO;#7UZxEF)-_*u#%q$Nue^C>7NO_-;h zhb(HN&4#&_$dZ!9M-3WOVPoUkxcUe7e+S?xlc*1{o75VSBz-x7Ob<(SN z0-R*8g_GRj~m;E7Fy(^374MV{WJu6a->q|PTfMf93ZQ7PquK_y>viNE`vC!B5q`!!0!+BCzJr$7 z+h3tK6Fg_4t680NGR_swy8FWQrZiUA){AS6G7+$O>7CHFED7M!xe1kKp`xp8KeRfKC`sOA|E;H(! zC5pB{`?UuC!Eo;_fxrwz3-{hitob5ymTA?Hvj&%{^Ar+{Ve~V;rNYv|`-P|~4LYbs zBya_I)B8&>yDp=IwDA-!;OpiKZmW*w&-(w%{)sA4iFM@Rb%}iWb@opPTgqgN0701- z!g*Kt%AQN!)#JhJdJ>+p9~0+WwsaS>3)D}tpHF=aMFC;aZU+4I5(oVuUra zD=?E{B*^JB>DLX{a5MQr!?jvb8?EYUMMOL>T!@9kbt)A;%c+M%CEyRD{MB%Prg4z) zg2rHgzk8zm@l^ig^x_?Gi!M$j!Frl{NR&-i;y-%mrWC)8^|?n{@u}bKr(GXM!E~1N zu|09>@AXwQjc3)vj-tvS|Vgu@iAOev{%kxhALZWb6Y| z?*u5wSJ)>(an^c}MbQbR*p1M7TwT%w8n&}q4!_Jfr6d&xgVGL`%+o5~P0!1H#*#$MBNT_i18z)?|D)imf<><>~%0-^pwRbyWu zIpV~J_(#erWN}{H3G$B(cq1N~Ujg{#n-nym5T#TrTdSseS}nB)WA~}lE^VVdX&}VmFl@RWc2usMT^?siWZ>I5>e=7Lkc~L z{Ha271aQ4$jbisAREh=U8n4Q80bY0&=RugpP<26D7dD5nQ3DWK(CFno<)$6yL;lLz<0b9=qbP6a`z?J{Xm*B3V2gE;RA6n2t#dlmM@hPeF6$g9UqWtZvKrL( zV@TqgP+DWCfKqs~DA^g>ES_isXQ)lw-XLDU9{=XKU>|$<&)^RpZ|}kPPvL#M{UGkP zi@QU(+krb)jrx^%`%yf1;#t)?amT71NL97n;@*iR3&p$WM9Lndl)R<3@5fbrh_s3; zV9akLS}?J;T>7|VuPW9ntWL9?H5JMCL+8mAz)9dgBHW?3I@5MriRvJNll`~}f01L5( zw1hHBs7On=of0ljOL&A5TxkhClweOwP>w;Q7aCBW2aO#WP(%yKeO=(75}OO`?bibP zOf;E^ZZz-_i!0?46A~|kkM@2lXQv`jNb2r;UqOoOasB{oNuh11w1IcvR)3BtAoQe2 zXc2a%{Ls_l={CwK$b>J&Ev92q`@Jr_;<=|fA@U7Ds~6uIXk8?1nNFjzO!SYwa#3id zD1I!JDVvHmi>99V1^`;IOw}E~AvhpD_S1OV z#JU<;gQIXK1^}$2O^B&+_oYM_>z$f%1@wEqf!G1N+IkA?8^Lg}pCtY!FWlofvnJ;i z`n)&C5=Ri1ihl5??pUYUet*~JhsW(PJW9Wr5r5;FfRG)?nDTc-Z3_prwHL+ybW9Bl z_D;qU!BNkrAq&!JaXNq~91vy(NcHP;s?APq))WN5hz`VBPdOm`E?9jdD`{-v=Pfpa z**dXxR*w#F2c94S5t-JWDu)6w>D$^UqHKJs`N^@TWh(m=0X&XCIZbl9hwYLUznuE*VzBhin=me2kB;S`RKP2?R84FNa>Hkyfxupz7v{^3UapJY%Vm(1aomjd*G9xpE< z7n->FD5{T_7t2?(YYgRnX z*2smgiU*275wwA6fV)@*@FI#?Wl(J$V6CUv^^P6sUqBZ#TK0a*j%`%e=UG6+KI~BW zo9lAEm{AuLVi@md$*zkmbhhStou?{UuNltn&Yy$u`jY(&SP_m__hoUfiV&&^`Yw0KFw(EDHKhC?!YpTL;8Gd)+_bdEf!|y}<2tP!r@4uZRT1t66-Bcvae4FJJxeF%)9F z{gFUt4OJk(xPr3&h_DHmE;hcKI<&|lK23mB48w9iNeZL1(f&i)@J{gRYl^V5e)$>s z1b9(=_bsRep>Ezrh7&K~VO#CZUen$9J&NBB{QB{`;uf!IBd+xG;-2s;=aYk}`D9C< zO-YlkGhI3$b37`n;6U$bW+iF1(iS@dUyMJ4tl`FXaJd(zVg8d_0nY$jH7aeaSmxsQ z1AeugzK(sF6+H*JHY0_CxJjW1A(;4=@b)Ibq5s6sXlRwPea6Q=DsUg`=Y-!Ndk6Zy z`{AiC^TIzjJ@3>+URN^jPyREJw}SEtz%>%1**-LYe@?_D+ymGl{vP2{J`C{JQxE;T zM`RP9y&Z(uvQ0o>1GIhA%PDC8kunmrKgUgza6wuAVFH3qQKOyfssE&QyLl9BfSI`Z4xBT)5&RhD1i~8RI+Em)*bXsvl9J~#tBh(g1+r9C-vW>*ptCz z&JeW<(m?2vO6>8p|L7sYc_Ni4-5k9lyqI5AMrcMvr10W21iw^62!q`m=H`WP9>DS( z1gQ7A!ex96z6h7Geq@I`9luXxh1U~*=`YlI4bZqEZp>tT0k$|RvjY@q1|g9|q?y|O z`XIr*KfcEDY79{_@4?05|F7DlVD3u9h> zkB{ZI_@YdFp%}Z=YzX;SD!X^+RsvB!YGz%iv0TB*?pa#ym=zd3lUgzjFU$m$QL>EM zEIt+gHeol#f{+G`cOY0J_<~zNQ{^rYZk1JTr%9V@-kMcG zYskVk5w*d&pppM@8u)xbgjPiXHnvFFyq?TOPvGO&26ur&yUy*@njQAacVp|_6yvrT za;S@)nO%dx6o|fHuRz2F8Qpe*XDp)IA|Mt5+@_-2PPlq(BD!sz`RcjJ=(crPSI~WJ(r@}?v3rG=(c-7)a{P~1O#DlqbB%siV0~Kn@-?SAXt0b63hl3z-(`OfPh_# zAiO~WFzAqgM-UBSk;`8BImLwVd|*!!sY)yiB)z&mHzqvIH%o$rHn7I;6hg}sD z(v8*=-vcNFbad?O#cucN>=tYLUc{#ca0FmfDLLJ1VJi!eP!Jn%tiBw9Fq|4ZdUqNM zp3yn-Y51AZsIPGsiDfQ=QTzf)AZx7+X^kMOMs@{h4n zK-F>a%84mJ(>CL^p8Hc6XNXm4?JoLA3NJxTOBDgS!Swnh^5HE#Fi{AZe%i)RHW!LB z(yA4$e4E-fo~o85vOQ|MRn*jh5{NNsny5+C_Y%Byy4yo|kINFez}pG=9`AUh5?)w0 zA?5LVaT{;HonGQkZC{SNc>5ybxjuYBy(|%BTX-RaIe08j3rc`wJHlB2)&d_VvP7W~ zB;6$&5qoJ&K9v<2AL;;IaP{wveh4d?Sl`9Pf2!L+i=Mk54UQ1Dvx#Y_@kchRP_zOk|L6NyU4W1dfT~wH8?D5GNDDfW0fS!xI#X*+>zD14XYYLsPzS*xP&WiqC{A622-V!LeWqtp}9hfMCb+&Tez zV1GxoF7sl^_K~Jh@%-*n$SH2Ih>WHl26!m-(9dtggDT8POn6eOFYm|K>T_gPDmkq_ zx(8QQO3PmH8XGykqXmT0=@O%&IoPsgRMgMQ@E}*1SqDWo^iFS*3aC#XrDrRGs!I6I zMNZbQiK>H*+Cx;4vD&-@E{ntu5%iwcAVo~0W~=Qc$|C*;)#nsE@M|tWr;3dLG7mT- zHXH=G5BlTSzYr0d5t2q=_rz}@%u7P!jd0#RJCP-+>+C}Wv{ujQfT3LG;?&w-WSI6d;L%5nE;|vg=!D2<;>bW~Wt(sPV z_j>LgalcvIKTG%jz|rCiLBv@8I%Y~Xmz;~}M)D)qE6MdI_|GtDiEeXqe`Vw?J~zIu$tKUTlXp4I|KXIr99)^v)^??(g2vA|1cU0^?&wuze} zR&D-c{C(IiaWz^r|0&rVY{tx`rVMF>aJ-W6{wM|SmcD~P_~`s|JKk#T1wd82-Hrcv z6#VmFp$riGlU~_~f7WhGXP!m$MUr`@zL(7NDS(H!l6lfg$vo+95Ex*hLV=^7f_YNC zT050U%#+kUdTxq&ikie*$vh)?4d!_pT{4*G?MN}0=URG+Kec@&?&9ssjpzFCgnB#eGLbldmQB zjY?s>uH{g*Lhs?@ijWT$Yy)W8!lV2-K$n2cm5>AAb7LAIuGZ-B>j2-cnD3ZG+rta6 zAr&qe2Z=IMQ-uRw7$Gk~eSw5pqMutPeiiBsA`!FhSqLY|QbeD}lY|nvjJ21FP7UEd zSjr5xa5K|3;6d_}YTOY&SwvUx6G2zRPl!DDt}o}jzyC;|B(d$03#vrznXt^rufIm`%lgw)@c_Gd|=n(SRq=>M87HLSA7kl zneyjtkT4>4=M0hFHWn#p8U)m zyRr37tl=E6Yr$1yIs()-=i42YS818Zy0P(Bt#hawouu59UU+AApsO~;-mrTH?12Go zzS&r{T$*7Z&lm8LC*L@&`l8tHp|~3Cohp?aSoY(HiZ3pq7QvI8R(LQ-d({cS2AIuB zc`Bq`RE$WpX;r6BC}l)`n9Eu$zDw0yaKDeMs&s{9MfDo_3-hMCT-B`m8bo;B# z9sX-1XpnFG8shpT51D~M_Y`u9^Je0{esPO}oV3P*BLkKnAOOEj^~0s$l)cR1w^A5Lr$FW^{v7Pw=z$O&=@Jy^w2GD^zDcx!`SRIP zKQIqdHilm#wM7GS{Kn@!zS=hs(IssY>I$+Jr#o z&fbfld5Px`KY`{|Uea?3bqv1Gr;TDaVzC^(Shm_l@xz6_B)xsqCK12XpRd)GfzwTk zwK~mFw5`;Hj$Hy@Tt{q|9_!J25rffz1Zp)YO6+ahs8g>l*}490_WOE>0n8P-^smr~uT&5&$PlAP0E)zm1$lZiyTx8N`zK5r&D_ z`chLQ4?zbJ`T#)<^xWNIGzpdf3aWI$6P>j>)QFo7pW5KgCz8O}&p}uvCWgVogeLe# zqD$d5xJGylu591C!H2uf$ag$vHaRxH&e1#;gd1_&PzLA+HAUR{JO>I?ATtkQ6nTMH z7F*sdJUJaXF2#e(jF`wsMyW1Q>NHkagCZvd8^h)WdhRTV>%xAxYf{KhC|mLiyQjZv zFto%WDyjC8mL#@mNP9ao+KU4j(B379_AX9qFV2q`*4`ubdo|F*CM&5~Vz@)Q=ZJP! zdJYe1_hM={(1^BkI~25O?Z$}~Xg3YI>Bxn)2lCN&gh8eOXlp;Rp-{B{;@BqewevB1 z48SI#x6}X+qQqQV5*0_%P_b<3^tX+UOk=RX2mEPyYW|A#%}R2=p~g^Fna`l(id@7R zir5vJGQqQ_d5Y%O;Yd6$pH0*%%&OV`eAbCSLXM5CuQ5ff;H)PO;fXcdw92yC*%06x zu4D6v4Itn893`;WT_4&NuUeS1(-bbaE4u-5%lYvBOCLQr0u5QdY(sK`Q`7Mugq_x-q7>zjXvE9gO52m)FuNblw9hw623!^F!%$4e8wfhTC z!kyyu#`D=V3Q)Zb)!1LDnxNMO^>-n6;LR9h>gD$5qo4FXOegBxC$S)~Wq+l(w+(ic zMwgUQMl_2KoG$(Orm%nH!s8`mp6l8Ar#}R+&D^8A}K?8VHA9XG*LFj6sA^hEWk_BV4 z1CERX(L^p`jm7L-OOIz~bH1MY7$|9JM;=8y7y17onV)8&CVQK3ecfoIsWk^zMe=f zK2J2NXGRhUkOTL?*@O0YznDxFT#A)b_aQcS?n;m{e1DS9w~J@VzZ|b7^$jDb8-xfL z&oizA5?sn4B@pMW51DKj+T%ppJ8_c zyvV-|`QJhu7bD~siIt7qJW77>=dXw#c`~u)0df3|&3rm5)l9==xTuk@$scKak6?Zf z;}bI}VqG7W+gqaN(~`zGe*{aKCVr_=m^hv!@_S6kN$K2>w~hT_C*iq^qHL_rsn(wI zoN4(6d!G){$YSR;1u5VS?=2>{Y~2bBvxXlaOuJi1BHU!Zhgd)RAhyrGg|t_j*5v$# zF4z(FrdY}tNAVe{;xxWP_KHJTl;EhuAzr{2XDo8Anhr|cgGCJHz7~3O?3h|T*gFxA zw53u3t1A_8QWC5~u!{%5E@IHR<;S==GCjt#BJ-BvU^U6B z&P)}GCl8Z6<3XrYwoy%+GysO#6% zpbx)SrVv5VCcxel#r0tukmHeeN#b085 z`AO{cW!P2(mw|JFz5UNXW!M`GMPM$_b2kH9WJ|Wu3i1u2QL!XU0j2q%i{f}ei@@WC zw1Zn5Kz2-|Cf9=;>p?6A;XOmk!Q*l{2#t~oj_)s)HW9y9==5me1zwNUp|K#;bMGZU zuoX(UpYRV+bjEV}93vx6c1bOzksA^i7LUh3>?0WQyNT>G`D1M#Y+#>F5mbP6XIkeO z__Xmq(%agvvwswuOA6QmUy|?ET3fRXM-$-eD<~Ql0}H1&uXUOt6ZPD+ z$V0EkVyi!!wF9rOf%t{XmFV3D%w%oIASI8;T)cr=vJu)jXuYgOqyr zI3b%mwY$tv^uRY7nYMlu6c7BWCCM!kiPIe#8u>3!;MQ6P=%d5Vc6A4^ zpS>ixM&uvCGL%8EG+%!W|D1R>dCg=_^`aa}e~+c;&tM)H-igzp&%wwVZ_pdVNrG_s zO@)ielr|Fls54bw20zL$_F@a9T6+izjAw8n6HcGtTYb(%HM7~f9bg-+$2*oBWpfp= zh4ez&jQAZ7;(onpzke5AG%M^Jthwi4n=!VN{t>$r+0M2jkrvOC=!MWyvsy5BY%Amo zAn@@&ki3MGYr6f4`9v!^UL2z}hE-U5{qi87NI{~eTsY$&_RPl4@h+VGGe=Y(`ABSZ zoyNLwz*ZMVmVjwo@;34p+BsS6@Qj0ioT$8E0X858`S+-9aCybttKh$hw#KI6kh)he zrKOWVJ)CEr(T(d6GqDc`k97DB(dJ=etN0QJe0RWNjQzo}O>mfj zQmyqkd}f-k@`h4)A0(`CY?;fmgxf1Vi+xOIR+~Lp@an+^K6v$fOlMYqNoQ7@ug-#3 z&zE#&b-DTK3i9gtlFqCy&$_yTyn4Q*GpoxjS68H;S7Y6NECMx zydH*=UFx{*N+t7{QXw-raF!M5b_|Z6>TRG+<#@OZI{_t~CH71A;P|ES@YHw>_5_jT zBXL67h43&w56Q*`X_$K2s2AY|n=k``9v$p$LLksLDg88XcB6xBbfx(or6V)tA|;V2 z4ggOeQyc)EK&ChVd?+%3Nvu6xo~p!jZ_ z=FvNWFP14PP6)%|bNFe6w3{s2!@rGeVvM|rm45mV0lmV$aJW%jGPq^EvTy%>+v;(l zCtX2#COL>CNBVYBNP_IM>et>`%n8 zYvXagADv2O#a472z=nO|?;utIX!!3iK{bJIz)Kg~aWt4uvORn3?JrVSP~RYr^cY%Y z#Q}l=s1M#8vh5sazNJoC8%L)B{1scvOL}LZK1Xyc0Fuw+sbYDX#ZHR&2XInS5dHw0 zP+?xek#uK2Pz@~3`uQ;IW#IJEjU`Nlx%77v_h(o>7Y6>bR z?xWV3Jw4HD*_&WAh$WGE0-I%ogX3`eSH}5kXv#P$o;ixE zc^+8>#s{JMPI6j~I+rop+%2GoX0lkWQ-n@=2)$4|md@n*9MMfiatXj>#UG<)FR`+O z$0d9%5to`wW3;K>@4{>NS&DNh=~zl=^KgD)BJf|WwSIwC=ivWL(OKyLzk*?NfUs-f zEMPtb1qtf@Y(^$^i}@9dJzNyztH%o|B5kco?P?4cVRz0q@QzI;q13@9Q=pFtm?RSV zDsdcV-B%s~DMO9hWGy2f0r`ndfFP_{hTkxaKMEdFJ9y3F$eUwULv5MI?*Y$D8-&m~ z;lwLCTM)s>6gJVb69FA=pr9pr_${*bo^Oo5JiN=o_?w3Dx5$bI9Cc|?Z-7!(VQ$1bVZ=wz;WMx&stMs>b9TIk zHJ7o|R_-I=_t6fjHARVlxFVVy9d8beu^Pa6MHv!aLQV#Ju=fcU@md`CQ^X5TlHWum zANL_QWOM{X=YM)aED%X$A$h`@V&I2zU-k(d0cIrAct?5qs$zXr5i)Q)-a;UGs57-E zLE_`46h21dZ?%2eIybY!2OuH7b)}pEE=$Hkkp2Lt5pos&0C^3(54H(XA`bHh2xH%9 zx<>$xhUr9J1kgZsZJxq!F`MNP7~{f44g5)?oZ$g6c4nN9CEIf#y*(*?N9KAtb`3>J z!yMg|1$JuV6RCQ!87m4UhEOuVYzrAUI}uAP!&Cl#4Q?daB&HxUdRh;GOsmvyQ=tf# z2dy(SAVHA`=TcHaxAvLBMfP@5T<|AzP}w2kz)OzPwl9j~2v%j{-^jy@Rwznram#h+ z@A=iDl0rQIx zH%*^^Xx}EH1=RB=1aroQK!;{~ncmft8|^;|Wd(WvTd-czTHJBVlYoM1&e?{W%ql*H z<<4lmj4-EWtLv;McA+%BGkbUosTy8I%9B=fv(ZA)z@u6-&Vx9HHdty<&Cs^AL)olm z1FA7vvyJk7ox{SsfMArv!bnXeI!%JzUFkBZ>)mlv8#U4L2(`G}8rtl@0X0%}ULLL>hauM)%E;75+G zH2K1t)Xxps|3yY+1m_W&w)D8uX%Y1xLqLu4J-DJn>xm{(%|Wg9CH~}5uw6v?^uf^a z5@~CKP~ra=1f2*I{VY3x{Z14*c3}^h=4P_mmr|y=(W69<6Ai^V*c8B;zDfnJK1*!r z-zkzUq@xFpBEZgFctc#xD#dom4-q6uB4syB$p4M~B8?pF%ApMy!o0ue|7{ofU$tE% zo+YUvZM#S_lH}w@vsmg6P7hxdpV1cNYv^k`%{xYXMq53@M06I!IszN)*M+k7eq<5k)e!%cwWX!_en-lQ}CyQ`|=Lz_XaD)_# z=31=&5s1w_G%faD zDl#F%yWSBZ6HcOU5Seg5ApUQSOh_k1Re#;cgjP{i8g$9Xgg@F2;C`7Nm@u5jPkaf_ zlC#(|usj~!o|@Oh4~y@uY&3f+*4y6n`EbJu4gv3J_yIwM1&pqqZOWsbz3c; zH}c2nPom#EUcXKPGe?zRmYz+wAJQqou zHzB$zV8MacF4XCaxI^2mbRG>HTLC7?NB0WMzyUG>$wjh%L_Jtb4?-{}k30Mt;@Jg| zg0W|n+jHTo*IzRCsF2gLu3_C5I5MEihiDOmD}pX)k??YH#iJiXbeH#_uZgwuw_ z6w^u+{;I&vEYJZ6RMkLkL8Jb6N7lBi%Q`1jF_Pd1L^%euHac(auC@ z>K}X|k(97qB;hYhO2{}YgdJ{DmjEFU=i!lu#RMz$3`CY1{2i`CabFKn1T0oPLCi*= zao8{)6brH*b95$~PcDJkhUE$;onIBUH9@OtN6-Q&q4atA{1N~{!o-)oSuilI&x`&N z#iG1DMsMrkFJToGCGIh?YkrEm$axrxAr9?xh8>|LK8Dult!l&*HaP{4UxZ zN73aH_JYbhfuEa`_<@!Fe~O=+GehwM2+o2cd)p7uAqIjjB?PTYwQMMYatWP;q=jck z(%b(frlrx5BnvtlqJI27lvA(LGQ8VwHP7CN2!+q%0W9b*IIM*ti0lp{W?IkJU_U-U z1Ky)8?19FYN+e+rJBQ&e7u~<0+Y}*BH@Ie2EA>IOb~mp&4)Seu31)++7iVDGejHz6 zo3mQyVzqln9a_5^yL)PTQd}mhX&9FYcmVZ}=7KH8Hj@3}Lez~}Q1p2S@}ls{I9q?u z{u<+93a}x^!}xS|D2B$*lU=`i_~_UT_51&Yu0I53NQ>=J$H&NBFEG?beU2EcAhIOm zIZcy;+>-(mA}@dnPQRFP2>!XHkJxaE1woi^XpD`| zk5H?fq{YU2$h$YC%e&aKGJMOaaE3Sr`#GE;S`!v@+6suEH)e#d_wkM;$5E_UEnGso zK8i(r1kWmRhj;|;5XW1GxI-Xn^rvu#SPLtn3sxm?2H0MY31&d3?U-W`B5#E;Qy zhBL%!YwsMECFb}7Rv`s|T$r8@8Aj-R(C3S{(g-~RM(C+Yi*s}Wtyk0R&u~ugJ3Qvr z^U`X^mck$xem5pHhpO+L6viflKK{g~gkUVFkvQ}WP{Uk~NsyD&EF}6v5P%^tG=}qF zAGi`9k81BCdl}@z3RywQv_Rqp$xF1JIRjzfnqU6YKaG_JD~S2&1}kB&g5)6WRX8jH z_9|FDGi?kOjG)%C(&^_jF+VUWWxtWfyuu_!0P=87QskyW%& zb1bm;28J8d|HvZ@C&+4;M{x%u??gDPV3w#5YitybBv@z=sy{~>n1TwH-6Bp|(!dn7 zQqmS0n-1Ld-X+51Pov_60XCzGl}hgtPjLd0JK?D|8YJ~roLzu*t{|6Tkc`1vzLyRa z0Ode(7KaL`W7T?`kYbo=Pm`f22S%cF6VZ~LLkvVD&mM;hyo17jTf=%i4==@cRz$T% zP!_n!2QmC(d%=wI!R@NM47M)%*63eYMiTyaBHkc|aYlS=I{%>@Ax$9xmmFc`c}=9M z@eN4*4BPPNDb_+^H6zo7egk2+g*+MLzh3}~l@T{jRL1_Awc%|{F!jVhOKB}2=NG`w z%&|TPh)fS+=WT2w{BPPoiU^~0eihMz4L)m=tJzWqqGDOux%i*O#%g7VCke6D%EPCX3_at8_K3DG z%vU^J8|*PZc1>+F&ZX|XhvgV6YF5?ZhDHaA0pCE7Kaz`&1Ih{7V4eE9bth#P`v4Q! zF&Fm-`5i{~Z&UVir#4T=Zb|s{PsUC^n?wRDclZ7Y4!^x0CeINCpE&SqugL=loA6tJ zpAA2wzhI%FT^ZTH7g|02aR=IiW3`{4YxHD%3=Hn#ulGN3+z51P^(mjx_hBf>JOl;! zr^3j3=H##bPT1O3#nvk0qTgqA4jiMC6`2ys`xDvSZ2SiuG^<%*cOxzVs}L4jkn)N! z@M33_mN^Khxbj&qQu1Mgqb!gBlXvdqU0(98z_<(bVev*ajL)b6c&I>mHTad{=f-a) zeo5lR4dBQ8(UCrXxJH;hSiKW$I*N&-k8p#Hns!{ev4cGQJRY(h9Oak3ncV3Q4_vt7 z&?%A!$vp4@dXp{eHx&Ixzm9pJ5A~6#n4#zwMoZZWzz+*-xEM_OK4its0IaQWpyV?k zK_iYW#18D41Xnbv^KFP|e3b00)YZ5MvsXMo_F+5;%|<-nl22}VDUg>Ux`4H);L`Ad z!4WCgv1e~O>O>qhG*EaIH5Hb#a&|kpg0H@ZlIeAQZf!Gta65=pM zOLP)MdU{fJh*TWzYubgKw&!9gmX>UPo^qQhxgb6H71OR|atm*I_fr1~W3U8QfUpOZ zMHT{%ND#%lP`m&F!`z#P(&4{<#5Z_&$>3qQ6@bZ5Wyn;Jmg$vYnGSy}+Kd*YvK>yy z!0701%_URd;9(jcw!r^3Shz>SidV(rm-_RgWeDdj9>6) zkOZ9^P5mAnG|rAjm`doCU=cQnlcU86)qX)*qz}Mc7{Ia6*wY9z|;=^R2FdJ z1Yw%(PDf+l_bYhTB9-JDL9=EAv?W!gbss0 z7l1#X{3Cj60OJMR88HOy69eQR4D}~YSPv*z|40rk&RYN496FsR>ucPJQ3Dq3&Sb;} zksACE=iv^T%}pix?2SbmFK^J6x)b`XaS#KEJz4dhj;d=0wHp;qK>BdNO zbL)SZB0pgMVhqx&5WYKd1=Q}5%Mg`1f*^M}*c$A2f4|x~4$Q{_1;3&l2 z_gQ<-Er9lR{-1N+&)<)m+1Y#Tb$Qn9S2wriNit$B9HDNA==t@;X2oAW~NsgpQ4Cp3b7y{!EEO9XTU0jk47@X%}zp-G)E)jRrj}!zQ-YmXcPSzxNr44n=(TEGTp0l z>!qw*0V>zLwNA={yHo$Q?OO8xG}jGWU*OunwS}w6zHZ@Ht^~QKMfXGQU-t^>x&L+V zL6g0Q{)6B8z~I?BxoNWlT6 zx04}Zk9(p5oJ>#;7u7s#xeQ~?=p4)Nwtb9mX#j76e^|bZy6HueTng=W zN-l-W9?4~_ck{b&mJC1lP9W`P_Uf4+U+DX@Dak*WC`s;PCCPoPB)N~3B=@nBP!4o~lhWSrd*>T$+8 zE03ztS&c%%wvGhZ6-J5u4ZSvOo^~R34 zz1hj}o(_UD?R+D)eibCGUw2?bDxzS$e*NeRAH059E7#wfkUu5(2kqY(lA z&#&!lnnBh9U>3apF#(M{d?b*Z?pJoY+QtqUK$p+ea)IO&KaJ;m-#(HIW8%auSli=-%dwc)vv6a~N|< z2K`(3NKRw=uSiQ{EsZw6g*J?HSmcX#ZyEY;cVt<#8NrshXFE173!=@L+&{}bgjcVa zxzH?9%wj5qzhY&`j%j*$E^F8;W}2ipOH~y_K%_{f@xKwt9O@#ugVK3KxiZoP7~;Oy zEds3A=A+KNKZp0=+ROD9t{>Xh*ZIBQzCRUxHUHS4L!1!nz!&Cph<(Ppi1vP@SN!d3 zdmxH4T<0lw`kIKm8OXWLZF9!nq56)iv+qP$i|0nrlo`Nsqwql ztm-4wZ4=}?Qn3^0TShN|Md|RCa%_!Yc7NwrdronJno|*-z-)v0z#^&co ze~K+czl@Uob{^L@r_{1IR?8V^Nv&WZPf2nK!0{+I7WC>5D3}qE)H+w}yNmfwf=Rs7 zG&6KOV?##h__z%P6xw9vGHl++O+9fuUNk>N(W$vSd(fuQ3uc9+AD-S}CB5u~r2k?k zU0@HLd-e4EB8Iy%bnuTrSRkY3Mmyab-6f9CaQz!&=OTW8z}3mUT)*XV^0z%+EO@Yb zA0s#Hn*5M6I3-+`cEFqwa5qmNDx~>2nIw$r01y(D^h5OgPVvd#zz3KWsd|^{zUqL9 z__%nhBb+UWP=pd+=`)Y?%6BdiX}Bgxvdq&(!d$~~%W%CbYKDq;UD1G#Arm{j==DLz z15-!Z8G}gnf|THHd&yh5(~@uZ=Dikr&$$}lG54C&#mU=CsJkBT?F&hs-Vu2NJe#nm zO)7EVO~CADk>W~x2X{v!ZX1K*!W68FInx2K4&Mx%U!L_| z?dKHo5~ojfv%B+;X`O#ali*tTdV7k}-xZ9ZdK|Hf|18_X71ASwA`1?pZ&M8}|J%)% zhCPo#t0f>kLYIck0k^?c`V(@p`uakhrv zSc`q5sLGmM&gE{I!20NEIbfM0vX+5j|JT?nlIJPefYInD7Ju+avOL)~z5Y3^XY0l6 z#diGGD#@2|%0{k?FKJ9&F!@nTBn}x%1++@ticfFfmKxikcNb-AZ{EXfcCA7SN8F#c zZ?r!z>PcLBmjKnTU3$;3^&!c=sDGzpZw#(qPz?zGtsQ$APp-3fA3fOFe;(C^A5C@a zHNCA17A$q^^V>M@PEU>^AkMpMlbv_R z`zPTEjT^L_5ycZaDxT2eXHJU6H<<05IWHdHV0PNfdGYuLv(snJOO0=U^KNyH|DZJi zV+4a*7eD|-kKwzES&!wv+god1Av6;IUG2RK7U&^y+hr#o?YOJm+i!cB)QnZzy?yF` zGEy0jn%~=Wo9nYHR*X5pS@-kM7JU>k>TuSbBWlhbeCC#LBg)sfr|y}&5KrAKG_UAe zQHF}<6`w&o1#QhM?l2C{*Q^Ndr+Yor#whq7p?iI+_0%=_@6)}~A7-QORokASyCjD{ zfd|NyAFt2pom?X50i_}wEXnCEwRAP57J7iwk=Pny>y7B&r`4J}U(&1AsQ2|NMf7+x z?@p<|M;>$0&pzNhb8O}H=EahUmd9M5be?(QcT%jJXPT#(8$J_1&u~hepDzb^1o)g< zi3l$ix*5TX)bir!ntby!06}AWlmBh`VHr7#hmA#Nx~)%9GzH)$ zuQdYKs;=%ph0yAxk{alXd?aC9r194p7NV{wYoH{mBwF0GrkmmGnh*th+d9b#sqF-B z>ywhHGurId(oaDi*d|Zr=ZBjMv~`_A0FGMNoM+m##^K5a znpRrG?pHHxe)M(<=A-6<-~n0#yaZ?jh=+Cfi;FEWf@UF~+fQlCUpH!RUuc5{7Pzdw zv0xlTfw&hFcZ99flFH~0z8wFcvC&TCArb5k+t>78=#UiV=i-TEz-U{H`4Zc4k@Sda zE|yN2CBBab?vk!B{}tG2-6Lm+%cSlRTqYmWM#dfyDTo{bMPIS#twb`bG5bVi=Z^M? zAU8=GPCP?(i2ev27W3o9>PDCG`COM40Ul3mkqbiuMJLm_9s{KUg01j=v3rGgRfog- zQFcTMMIS6%YqXrEIn687VZpS^|{)Rpp}9sCZ_7a@j#s@Bm$TV+bTBJlzkWi{Maw zm)}q{ji@i&5aMl-l+NVd8w>HqYVI%(idcXgtqERWei8M$cF(6J(Z;#Ig7pcS7&ip_ z%!LcAq?kZ~HiEAS#+$2<#ty_vmoR1l7hH6ck19dgfXgLV1euZSaE(bgGyLhwWbh7H zPa)KomN*<$p{UDy=OK;*{TEUvO{yRKVic+N{!>UbkV>i_X%abOv`UZDYMK-et=eO> zBB8_lp~wM}XjO(+{%BeaShTvZE{RqH30j$_pp}_Is{u``&y)(S%s8#e8)CG2U5-x7 zoGMRONtTldpvU@pX$@n2vHbIq#^>$z;?N3NR4~a%Sxs4m)b9xu+K|O*UU;8Qmjb<` z)RpJVyM&R{c|46+g?sSR^eiV^=12pRGV@d^n?4fx&im)(ZM&5bMSf2&)A>EZxhTo= z)2*L_>o!TA+bmarpL zC9Hs#h&`R&nc!IFmtdOgdQ?@F$OhnfMDj!#U7}o%1dO%0eCa>3`aq1D_aK6iMMDQo z(yPZE3{KT7r^38|J=Fb;KFS31Yh%lM4p7hH8D_;Y^rdEaq0SIF z@(1Kceap7Cyj@L|{rkPQ&tnu>CpMx4i?mCRS!?C>2}xpPT$E2+E&7zX^3tpnQ*62= zDE4tlMp)#eUR;j2j1k1KvIN3o)Hb8J;^x`)?3{holDI^O;!~bS3A~Ly%3teh%JI)} zH)W|bA@{{pN!8T`GRP%DQ5-yJex#mJ<0ABpOpJyb=*JS^*$xjB^bHPub|E&{?648k++OD zsD$pn)}2@D>U=j%4*G4cH=U#VH?%Gb+nYSBqdUDn-f5IqsB7G9ue0E%40Ug7vn)a> zg!8t3MxG^)uLb%+^4Nl4j4j=UAsJb26v{0_rx*n8*r1X@V2yy)kHmVP=ys`8TrE^Q zyUtiTpcc+mbE?hB7#XYbYWlK#t}J2mE9e3!Ft;A+W>(pKIb`=Gep~O`mqYQsoL>P(Km3tj$&M0i)j z(uY$WLIIr5(c}%)hH=q)-rolZ8(cKyYE3fBhr)E?xVJNF{_8{KbbiO4&utu_v9r24Gw~lS`?Eb5LDF<(!zPS|Zigq)ah-qw$aZ<6F4UrW8M zQ{`FmV9MYD=g*XtMGq&btTgZ+8BRNT*)PqDu8Wza>$8{qqxU1*`T0n9RlcxI8^Kde z*faniRSCzxB-;YO4wp-POqtVXEW0*X8M=+Wx>9ktsr5vrAju0}BF{fQV|i8( zZxM%G(=vCW* z=d-!l#o*e%L(sZZ#c$@GXsKUf@R(e#F&bRU4IfOsm9gDE5CimnI~d#kj?332=zk#0g_iFYu9 zRk@v4VD8{X_O3ud(?ofvA69%R8kKP`Q8WrAipD;(?j2_6KJ%&n!;b}554uGXT>Ysr zF^+c1Kp$oFs?ja(=8X)^IA)F5n~YH<#riOPdNgpI3S8$8R3K3WTpnM(qGgG+@%idw zs3REQ=!n+8o+&b-*2)rL!6ts2_G#JRFEy~A04C0t2%{`Y7;6pA0G|}|-?BBne>zg4 zh$HS2>X!RvP{i$DllyLUB^A_FYyB+jjlXip+xno?F*){W0>^P}4kAqdd)WSz9X)jo zD-&3bGq=Xz2f=ducrun_j*aD*rL71er+bYrQUTB!;Trl82t=`=?+Cj6Z>&C}8I8f( z$$~N<-lv9J3(fIY=E2e-9$4s9Zt>T#@il*f?i-;aqAodB1C@If_BtR_C3~yt^@s8O z=?|1oH9ibQ%r8F&!9+x*|4fon`C$IzQmRHo(e>)Z?lD;cI(5grd`VmIgVsiP-FFCa z<-hJb9=UG71y?6Y#p1by=jEejB^0WQY+sg5s|b9K^cO z{PF`FNII}TWO66ubWO`+l`9CX#o=IVW66XvM`WJW8V$3MMLof!`JYE918;#65H0Vo%0_mN-76AP2H>3w75ohmr46cD`k z8jEuPBgoo6wx#qxyS=@Iq$sP*N6@Z{nOh9OjNVSbMTGu^A$#H=gD~QKwwO<~TiK?) zDe5!3{6~_@PoUGEpf4kangpp&0>PD@G?w-nNS$i-2dC84MGGXn_(F3{29(;>|B8zr zlz^=DFZ&C;ZE~bd!D?;ssaHd{X<6$TaKZppECXHD4jX;iHkF3QnJofIQvamQbjH*_ zWzLzUarIAG+RW0p`ll>?W@!o#ZViFK&;XVCQs7%PcB{8_0yPE66(7Pw42Ry8&U*95 zJnBDy$Q9G z43}%y`g~SPK`2sPKm-TekyI6=*L3H6mRChen>0QAQ@NxG^M zDRlosP$V|=3gy8!WkX5suau5lmZRRAv6NP{9F`F4Q!RUhzE2Iu@rI)#KtolXI8-tq(qv<6sU zFJz{|TzUZ>v%VvW~yhK*vgy~CQ>8FMwvG8d>Pmb((E2kykVZ`&TUI2K_`PR!( z__X@4$k}t2Ryb>b+B?`dk^pM|Klb-+ynzw&KSJlc0crcGYVzNwbJmQ8{g1WZ_a*PQ za=Jg+elMGCuUee6*|L%L2-bX`vG}mD_+>$yufa^^kacc?_Xd8{f}2Me+{&MfofzJ{ z$%H%sZ+_sv2XB5r?^Gw?%^!jROf^f1+= z=gCp_uSA^3s#tsS=OGc3n_!l;KK?&|H?KF)rd*%~Sa(^Oda+jllZOTBIN%K^09l}L zeFuBsY8G6)SgfU{{FF;gwKltQ!kbx3O?i$Co$hiC^}VpGoTcXQqYSQ^KHk4CbiEFE z7Y)8_W>OQq_W5?k*FKxy=Dc&pt|WO0uIVR^f1;iS2UgBCi=|wRVmvnq#kjLms%oPc zJIsa)b$o1RczJ&J*uG!m@U-->Wu)5;&@BI%!B2tKkxt;BDqOO=tEzSTsw(u4b=)!U zp8@S|6KD!nd14N$%cD2D%GEQDEEV7$H6!7P3Ls9qohmp5^PdJAYv4(evzbXE}a(E?1 zLXl;A(422Bw#qy=QD(Dkdw}6XQM^ps_8?Hi1V7EPJs1n6?8Dt()I2e4n5HwIrwtn> zn`dvALu8V%Li{ZF+zG}C@$;Ctm^I*EwXR4(wib!$74wgq`?$DbdF4n6x|kS=h~yy< zI-a&3`L}2KODHifETPPD?vWYsXO{lcCx2#wl{ZfRnJIsQNo>A*r6ktyFhm{~QT4Dy zBkv%{1>C-$FT_w*C+i%jxxnth`wu%ot02#wQ6s z<}(l@mTMibIh88L{Z-;_J&F0ykUSrf_N07a8ehi^Nt zdBZ}Cgb%rq6Tj2;`i4tv`$ZfSc4Hd>=Qjft!UQng0S~Bhxg#FSir_`_TjS^t|J&|qd8 zK5yB>Xxo^*s*LA{R2k3vR2g2a4Nttx>9luFVRTJG*b*Gym^G1V{YJRfIfdbM`3)lZ z@&F`Uz~YKj{NfeclI*8&*sC?y6YK>uU36kSrsH&B@&`=wTJq+D%h6Sp7s<33kgCgq z_K?)R>6yc*y;kV8h-GYibFue{jlN?g;{V{_C&ilTE~+FZX1~XD8*8fmIn+*qK6=02 z85#4aDCmI;ncjhrvURuG=dG-KxE4}bGyOc$>M3{U#+ILAKlGkH9}TFMhggDGyQN|+ z52JVxh2{9h{nGkANrTQYolUVE%SnE!B$6@dPFHK({LMB);J;+rT-e1nyWA?@BKIZaeuq0k1HQ+ESN->u9{~0D&%kCG~(UjTmA9m zdQ45N$IW9bYi??ytjxsdijPW?%buEAcKo9Tv!0J4lOJ(LPHU`X=E->am-3T|2JJQF zKN0%Lxyfv-9+jh)+S65$>vrG* z-2j&7G_*GYP8th?@*)@{gwQr0yc0TB5M-Kv@@vC$^3AkALY+mqxq?1&ks?0#Ujsk# z1u70b6%eQX@_d4A$Fp0wI2wJHaf+&>z@g3U$TQztF{nL=LD)R<1FOw(RZYBo*aNnp z8tBAkW5cqAc{@P{8g7W~uh~8|UaX3*a{0^M#A_;0Gql4))1>Y)YqKb0OJK{~An0k> z=(A#xGWZI{C8}~*mas3lon#$+%vR3na%2ApeMiN=+_<5{;cYu2q@7o|kTnW{uof0) zz@acxHx!HZ57?b(a2m^Jn6OjIBBh^Qd`0+aSx$d{;mx!x-V9s_ZQn zqE+?^oYG^;{n;#U*Y>!u5^)5-aLMbJMA2_M>Vplcxxn9C*ff6|i}ar8s!TJJqm-bO zxVH92#tGPi>!;4G?@3TVL3}Cm%mnuL#f?aG{AUNhShmYra*``&)erkv z(MMXAxvo4feTp6+?D@HTZPX0UVud`z8AsA6!22;LjaOWLJZt>N+#V>?Q^-4TVy+9=J zxjJuA2pX4%U0s3?R5_f^?`X#vyWM*Jfz~B5s4i_(Fs#nV+u1psF3fI~OW*1ids`c2 z>zwZnFLCDWF_sQNmv$kAI$%fgb*Wtu9maQ;w`^COUfRX!ed*QsK%8Dtq1Tf0L%;7c z%Hu9h)z*MrK?$@Ib(=y}Si6zYl;UJ1~fSl->3S?`1!c5 z{sh^OoQ(%l)p<65veMZ-#ym|UOUvLjkKd;$-NiUYkC&_+(nvnm_-F777?i-VY&iiT zrhcW9x%-5b59en_#MIj80#D4!T;{hr0wa2JmQ}R*luqkrmKU&5*fFiM3H)h4PYK6u z^Y{Nqd$(BabxM0DS@nFM_FC=v!@Zg=iS}fkv^|ow`6r!L+H)OerbK&QvY-D`+k-|n z>vY|JF#Hbl3ag&o+@GQg>sPwypQ%tOt+DEiIl?%X2)#>PvbNfm_{lm}%40k+B%-UbVqiG0VB3n!VD88mrHBV5|e>-xDd0nFC^=scDGfSneHyNwQK#t@GQT-Wlq88MfKP0j6 zZ&ou-vICvio_0-NOJ#qG_DE5uXwQlHWqLo5J~DUy>ii!2V0z2g{j2k9`r!ImW9_8< z*X^v}`@{&;chkyrw(=5nczHI9*%^$gt$!C#PP<1!1BV;v!H~9i4OO*>YR;?-*N7>6T2*rN% zA_Nv~yElwg<{v{s6{ zi#t$;U@Qp8>e8G@Ne(Kyws*X(uhL&YDp|qNwLniZ;NDh@N&rk8QDym9XyC8IpD>M0 zp9*yxm+;k_izL%IZVh%kjh!w!uVQ2S*Ga|UJezkL+mZgsA6`i)++=Motwi*8xrhyO zifXgGU*EZ4A+E#G`ka`A44Z|}h6;!G%LgG*Jo`|fBI<4Hl1JpQnPI=ndNP zJy@aJs#W2|s(6OK$>{<{Nm!l*D6SbgV~KLN2R>d7dd#SrL4?kdD)^dOQyuEW&3s5# ziR`L$ft<*W_LEKuqfAXX|FCKqS^bTqI>scTbUZV$0ZWSR^g)7=an!1&OWg)z$0%{d zAK~w-sf}JA&{sT{kUyRrZ|0b4W+nx%TCxWk?S8yI5iTPVdlUj6b1# z>+o@~0jsrT--K2I$p`U`7B{GTP^k*QRBQViD=Y$JMNX}`kT`Iv=01$(ED=;(DmayL z?kNX!&mAT5$Sa_r3MBk13?h*i+j^*v-G@jTyq>@6P26anT zxB>W_3S520RtbI%$ECb?8<0a7MFP|ky(vr3ZeRHi8Co9ahD5uQ+9y(rB028!TQ2;C z9(v#YhJ54J2>E^A7DS11$*a~hbY?y>BXyT+EDD2ot>fgg`Q@WYZf4S@7Mb7IDlp~rU~I^W%(o8~eEYs1YIDL-hmTDZPD}04ZS&-qj3>d6GPEov z5#O&sra52hicrPib)2Nrtc}<{|)q=L~Z{z`X-$={~r1#eQtggM~%Ok zzSr{6-$GyL1)jYK>yE5Mi#1}NO$I9qR4*ZDk%*cH0)fZfz;$ z)^V*oN53k!PKZ_{+U|1egi&st5XhAee?==q%KulrYJHx&^CuOv5pSFK<%;H84}cWB0ZcN2JEs7+m{ zO)H0L>(DEm#tzEY@Kxn}7wmz@I*9=N#P%a{Om6?ZC$?Xo0N=m;u(FWtA8r4GAJl#v zZBN~P*I(Iw!CTKk=<%ViP+TgWFC5}{X-O)(Ft!6;GLEmV$ANS!EQ5wpk9RAB_XPZO zkc3ls1evd;+1639!DFO_sz8CeDZ5@cf@Y8T`~xxvJkI7AM?iWj@evp_CU_uQzKGtO zZT{X`jMdG2+${UQ{?wQFRB!rxuZ*UX4~@Kqtc9a0&yD0IMNGa)R^K_(fM2RZB+uJgGt(-RkI91YW5mhH>lAHxcXNy8 ze_$eZ;4w*Y;Y{2EILiUcQ0XRj?_^@SH6346x`@3cq=a#-_hU<5qhFw;EIV7(MLy55yyWXXe?| zj`2T;6)gu0^9T3P{VARf-D9+bDCPu_EUxJeSo1$%Nr(d0_zzg~KVZ%Oa<&1@TLv_5 zsZr6{7*rtND9={`=70G#0e)V?{AcaK1|+fUc7)0Svyp(yUP5h`qq@1rbrGOPo+ks>C6>PmXIop+owjZy*|*du(P*1Ysyp5ia_yw6w#ZYwzorvJRy z824@#Sp`GL{JlFdf7xwMR6xBOIyT_L|ge|ER?SLWJ9?ZKRPrXOKcXUbU12T%^=}*ZkxkNLR8l$DAB5o1{9O zK$)3)XhS52l8&^cG@vD3QX?fb5Dzc5x3R{ac3p(Ky{)PX*}4`K;d=#qlGVX?=<>h1XI zqKz#cN0ZBcoFJ#5IRpxu&fez#Wz$q_Qf7iY>2G!gr?53)azdmrD$Le=%8y2Y3C03)BW`7vn zgLv4VWy@pnvRR{}ETYbk;L-))V~}|_b_v>GNM{&qUv>=u{3$z`X74P0j3;j4NqpRf zmBpaP6^0nR#c?*TLvy$urb(oj-4bkyUSkg7kF}M{3^*>>9hlidYk8CWg$>WS8C(7XO&20e zy+qxd8D2IDfBWrFcLoz9{kZ=?@Yk3cbT7B+DE+Mku-f)xM2*#OZiRXC3lNEcPJ)1A znTP$>SO!XUfxoH{4U`V|I6>r|>efsJD(`L1tqsvFlSx@ly4II~f}o2#T>jF+;DOX3 zN_m?Gd~AP-E){0e2unyzVJ@{j_4XnD5{~nw4Yw?;4_{pnpFboCKQ1vTH5W>ft-kQh z&XO(llAMwU!`pSl%8FwoA^L<4{5b=V6FFa(bH1Ju){i)1zhM6Ozvy)RXXuAgqEqQ= z7}cKOH=&VW`YktiY}8$Ev$fP;;yti}r~~!J;$fRXRMSPfSlqBpX_MxLTy%p(($>lk zHG6K}?CK<~j9NTwRG}UlF{-jlSmi|h*u7kp%?+=vUMPTUr( zXRD+3dTFo!^3vXF(2H3*#W~4iq_(kLa`~Z7h`1gZ5?RFdgKs2#-`Fb&TY18wM5eMX zvBqfI?kpiPtI{ADoT1O}R{8bz_p<*q4$1cw))OXc>?9ape;Hq6f1Y%H%Z^XoQR54H z`(B_6ztsZS1bQF^j_=$r+uR&37EfLd<%KPz2biT9Q6sJuExN02lx@edbEa!>vKD&aU8# z6d49F*!(5yNvws7`xwj>IA^5{=FHT=?A1sS3}|D$J)m{1QpdGg+8gTjNK@K$2uj+w zt~h*kG5SytV7jr-oi5-6tZkvwF;C~7y`Px$U>B#cc!>4>$38B@p2WdlDskRVI!W5& zzI&Y>_a`-wwAP!Vg>hBtJJSSZ|0KfrQ;N`#m2Ers6JE%KmpZ>R%D12e{dj1?!2o!yns%h%nNJz|pG zRrwfJmsY$BTeH`Nc|No~XE}|pF|puhU5sI4)Y_|s>7676nBv<|fUN{MB|BJaBmc#Z z5sS}T&d<{4{n$D7itF;^6jXwQ!?I>X*oiIjZJ)e`k`T zHABqu^UI@#G^P%x8@dxuNW4-4%;D&LD}9}K^;UlyG)uZ+?Wn;<`TTOVQZtuwxmS^2a2sj z%5v@>T>bsHopiFwlKR$h_z}#bpTQM5)Y@wQ+PO`a#`){ZMcBbo6yv95J@S=PdU~%M zc-|C=2rI(cxxts0Emzv4D8YSN=PRLxt{|3e1S}YV2gs|hKKdsFgzW!&fQV1uL+J8y z__+<${ta_6KIyX7zf9IYEh^MTCloiBC@xh_66*j>f3YV%(olz0Dn+Sz)#hba$h33A zHwUVva|3h5qN>#9_V`^^n76C|H#B4M5KE=M0dC;KN5M0C2ZkN7SGPwSgWs|Q8-Q&w{r^n`dGG4DJUAHmZz?2?!7HRBe)4gQnF=sRCL$7 zVSn4?tsSjXcDl9!{uau?%(WfnUhk?)y7j$0PlU2hq*br5V93jGSUxc?gF4aXC1L%M zcwYaPu-Dt=9o==Q3QHksCwy7lSaPcDZk^|gNrjlF$DMT+nEw{E*OjE52T?7qe)D)U z>I`VnKfc4@QbK2_gJ3ukK)h*ALyY^}4=-+fG6zGhyg7oZXw1&W0AxnF2gV=Sw_DT; zHN%Km=eW#vBCcR5B5M(fI}V_PB7br@?7lwg?QTl01m&MfUNHIh2_~*_+hmxiC_W>Q z_e6QYAFLOaJx!H6ugaz61&_%`dw560Z7nZwpF&>nef#?psvH4vg#WJi@lGH5VJo1D%lD))8U!p(GzxNW&q zcgK{bDZ18jm=5-1(u;tG9=q!A>9Db8N{0>U4#OH#j^|s-v!?%I84I83lls~)TJcFt z|LMhuVd_z{eX?}ttKmq-bHh-DB?%)okGjf!-W$pInLNjPalDQSOyWpJyF6OhPzyFk zqXPpZac#SFqD-VrVV9FvTbrK6thjYWW6o90Nhg^}dBYb+$y z_`=j5{W8b_a~6REAm|psp|WVra3EYxgqb1#0dM6lYy=L7Y`5|?_^tjBEE0aCwBt4E z7HS!!9s9ZCLn5AYh$u`LvE^=FArD`wcxY$f%KP@)OPIb#PCR45SulzRVFsB;Kzl@V<=i@r zH`yX(%*JZ`h`INR`oL%e56co*Im~2byidkS2}Twh*@VKo+o4xO5%Qzj5nhfT5z7%v z#Ap3jiy`{)6$yFP`o|9o{{Qz$!3u#LbA$G|N;7JPWOj3EcE~yqlOKm&=(kDg!3}Z1 z;=AF=hT-Y}_-9kgOBY5OrDnNn2L76Eqd-f&aK<00lVjo2>;oIc+Y^K1bin>uBLv~! zXfc~~5;)J-9Ah5cYdOUc9>riLHqz|zRs&y_4VCO;Uh)VQ{ z%!-;3Ykmomn%WOgsZS&AR0-}CD0a(p)Y~(bj(E$0BbFDq+dm$JF|DlN0SIHq1!2rR zb36!R+6%neIdirkjA<|M>a>}&1z}8kftRGuEK7#5Lp^?>f9c5TT=fRfq)UgTa#YLP zN-$nJXlU8;INIkehXgEi>2T!r*ak`a;6Lw8@SnIkGx}|YAR#;?I2LLdJj3>@%ky5r z1J9^Dtj`oj|HK}H*7m@=dHZZrct)o6N(|9o>x`V2{@SMZ7B5~r#oM}7md*LrX(Vr7 z`O*G%d5+vDeh`U!6OL88*i9l6!mjah(B8%2GVCeAScScGmVA}!g89*usA*Gf6dn`H zfu;!w_seWcjK`|st25tTsZ$7E0V@a78qD-cuuu=hIA2!@;m?f9{aELR1;1gy?34a( zV6i(~r@Zz4oyckTo8OieH3$TQsyQssin@tj*g48s#G5*^2+QbLqt$t&%zGh87HKug zb}^c&7HY2fwQ#xRpMRC~;cNKCuc5vo{lQe&b&dFT-XXHF%9piory84H38#_7Q0v80 z@LmUMYt736tpUG`*dXRyZZ!_i7Ebr(BtmY+MuPRrc!1x<<{p`R%SZ}nj=h?(V&siw zIgr(96BL<6-dB1zZ{)Tj^z0zr^%De zFLN+Mx)?mqg$Pe$!*HH&g|=TZe{v-wp*#zD4yI8?Ab*rf)>aG12;4$Gx{n`Rn}W3@ zJ#5YQzU2D+bMQTXDwY3Vj_>&H%hwn;{{JK?X5#PhGk2c2t`va;Z0 z_@EbAFGt~n)+s{W){M+rw0LpGY7Gy%nJqmD9ux*WtHc0hp^_t>OHKCg3{EmW>B5XI zi))EHa-KHK@$lzle;QFK&mt-%u_z}C3{krANt|e1>X#eWdN{~_3+ls-&vu1x#ZKB4 zzS;$rT93EwDQKsGv`N(ZQ~Bd2xBr!36$i!xMi~eR8nZE7Xp^qJ+(w8WLbRRs}0x9R6x6b7P*nf3MUBbR~jpQl48L?cfnuXWWSsth6n7c2}v#N$x4d)Vlg{NC1M~ zzdv||IsgiJsoO~7pXBxkY3=r8P>aYUT2ku{a_^2{fnfke`kpaCvLDrgn;?u)nxM`J zEy#d8WJlfIL6=bwNtfzRGHw!3G2J1pH)#RF2we;YIfo*lkCP#5pBXY^1359C;b(kZ zN&4VZofkyrMKIl^;_(Fu9BMMQmX&?5)Ph-hNYF|V!PFeyQfY_N)!xN6U};Rh7so3- zd@{UJ^S=kL)Z|EIh0*PiFuEN_dr=Ni%~Ru*f|qqjEgneVm2$khSVIPjhOXviaWeg? zILiK&Xr(A!WPqU0Ew#`}&x+|k{vW_Ag)WvV^F#V5MU35Ouvhfy<`+ecz;QB$S31cY zc~?JqUyxCj-d~YSFTIa`A-?qL5zG2(-lg;KtkB*FYTVx%;kCPDnhf9W672^tDjrDaiUE-;F#?6yN{;8)GuF5%_mbU_v`3v==8h@C9IFH) z#`T9;kK;i$EdKn;?e4jrOI_NhyCcP zeDlg&I-|#QBQw=Vq#vdKcy0wHMJj&YJEH#pjMNyjWh^Vxl3dQ8ksR_ANtMeO(=`?e zul;zOb@b{Qi+}PUGMFmj7Eudt+bvX61x@c0f$A;g)hbYEAlw8YwHz41K*^T!5*4W6 zV9)umLIrBM^VsUH*vYZHR_*EvT!oBl)PWd@4)o=G+d2Jp9cCuHDql^ay(@HkuaM@> zivoXIf4*+$dAhwCay1G5bOu&q(#mKAkuS|6M1kZnR!s)>WvY;DPxsi!1 z*l|46(?o46NM9-@8n+}($w~|A7aGV)*2kbp)p&@lUleX+L#?^v!&DB*@_u$v4UC^T z;}+kV4C1wb|9U`;)2R6a{{2lE{#$)(($sze@wM%fj{~(xFwI-|9uzN8ht-8^2J6Dr zF7r|Z_89zi5uj4w*BAh}HX|AdXfdO}s||vQBI?*7HTQ9oRf*#KokWB4g>J=8G&6K7 z8~5hDoIpai`ncmX?hp&W&fu@XVs)+GZ8cek$-Uuf>Vl$XdUVEy!VTwym*p$KYvcH> zO?+A;FK<6B*dMc{vY(kDOLhN;3dl0&WvQ_9~C5Fn1Qz*DFY%-+=HcZ+zxW z_M6<;8^B)WO{UpkzZoBU1MaK5$uehIZ`!__CIGFL384Ap605!{P@oH@SW1$@C)pWw zYU)z0c;Q3;X;te7`VHSvI7RF4GR;@)w?^!3yaG?#Z@v_JlW#W%NG9{U*2^|$a_!EH z*DjeXO?EyP#`2+N5Ji{oGwbcQ<6>{)q$#%Fyh#zdz0?fC=i&1j-m5OrrXo@n=i#mh}Z0X`;7$Xjn&NRv@P}% z&2F?`o;&KLuJSzlrA1J&7uN%{tKO>gDF)~-Y2c^<+Pr|lStNsVUcNvMtE)Wbqxb=! zl}F<=j|!n=G{38#2=FjZ9740Oej?bz){`uA9Z$qR34AV%a;WOF)P_uBmCv}zXRP)K zD1*JCDwmAS&8<6Gt;>$T*pX6{3}5Whs;lx@H7TSl66urk}R|j zL@+dbOr&*%8?J)m5c|F%*=+?EI2&Bx;dunD&TTXKA@#TFAMFo}C2hFK!XB z*z6Znv48s46|R3uP>rIsB}r4@^o6>|FbiV}$GY+Og4n}t+sXe78Vp*ChJW zg`7I=5O$w{_%j0e!EsyX&FBggIU|#21PX%ZNNBxBon3($&L+%mfNVmqsiWJ;@qS0U zjGC`u61;cs##>4pk2sssqgQ2XCQls*-J0#VZQ^~8tt)c~ijL4CNgo!gN9Otx@s3(VAPxUyO(r5Ad%Aa6hj7fa6FgqlsAuN*zySo=y3mcF{kJatnchEik9t z;BdUi-B4%R3P#I+snhfJ9XN))Ey4hBC}H=AtGz0xExP`U+a_THGnu=I zx4HaBZXTO=B=m+OG6`d#72eZPHMIcdzF(CTaiRxocj=%)xTI+omA?Eo7uCO*974JwL3GLp z*{)DM?P3tO0@ie_&L{HOP**hcYBch5*w9iJJDsS?0ASB5icT5i6Mto2umIHfeC$8T zy-?@=iIe8O!^*lRmi2f$>mC&QQk(9ItQ>0X;5S!(BLs#TU_WxHG}iERnr>2H`?nXC zI(CVjOO2e{q}3{YC8L%kFIY)%c}VnQE64Kzxs$^HIe4G!sgvA>xR+nuA7B=0d_E*5YCFBaW6$^}D%#bAoNM%L0Sog(j z0n0VR(_Nk;bm%VEqZ7DNK{4w${{ZJpc8|4L7ibCtBNPa9wJ#XvPR3~O2I7#g{ zwjYw3-r}0zZT-3=>#@yS8`rZKM;{mJB1R-Uw|N+&BT)%keq_70`esfJp4IwN(`j34 zoipp4LE^BdvF_m^c9>Wx89IO}E6ELZh6@`vk|TeRquz+{mw4rP)Ot`$*H`?f^h&nU zHBy>_N>d8UtMHrxV|yQ8&M0+zTh}mMF*yYhRkca=`-8GFMP1FiqPfpJbTvDgWulwZ z2J<6!?e&`-tEkFf)c~tD;C@&&v1(P86?Atwoc*7H@?ETw*YF!FvXCKWkTsK>)31$p zm^mXkJwEt4g(}m)2L1QxZ=@S)lL?f;H+E-OE&{OveMVVU|L5f+-2-5LzxE8$tv2Zn zxJCRq@xt}C{Qv@s=+b-+TL3X|A5LCDzmh^xS)Ah2*CP zFkFXTEwCR+5m#x8=whiLqLOWE8cH31;3`;B>bQ>U>s+!-vc9Q_xst&^W@uKfa6_zU zmZQ^si(osR(z}P|Y1%rvGjs~3lDA^#1M*syxBBP-D-R2%P^S&e>VOM!1W!Y3a6nm) zo_9SU57jxfe25<)LDT1|S*>h9E2l+Y#p4!N1hIbhw$_hjJxeQ*g}~$BC;F;zf92TY zcw1-k4*T-*OkJ@T%#{CEb{Kog^YmP|J|_iLv40aa*(79vNU;dv0^>Fh5Vco!;er z&QezHl%MpIqr3-sc|a7!r>2^U{cY z#*}NRHyic@?{gb>^1|P<{xmD?{CMKXtKR1_gO3bS;u{$8Z5?ZWeKhZgG4bxZ%gOC7 z{?$Z7+zL*+p=lO+_tK_Ih#C40m?sl+7$+KF)UmNRYkbgITH^0oKSX3`!+KSNyM;yH za2X)|mwGqfig^dew5LBsxtIeV)pXB0GH=V+(5<#g?djz92jXy;}0 zd%w^xTzs)HO9p~@j|`^$KXrx+PxC(aW!<@uJx%&`Pt)b_Yu@L+q5Jb)-Jj#>BF2L5 zQoeX%m;F(C55u8G4~LzYQa|Teth-eA2dU(>)tQ@)-AR?3GIXa-@38*#R`iGoCY~z0 zy{$Q{MOFQ`%YrT~3~-|xK;3a8N}navuq)pOJ?@h(Q@S8B=>MH0*S$!PiDKMrhwQYE zk=9D4dSdzYOZ>aWK3Rz`l^$)}e->T{_~W|HgiQWu?4sFxvM|G)5(KNm5tALtSc-VHgjc^_I{211U$Ass zI#v5e6G^W8Il9Lx}*K<#Cz*0e>>W#~ zhJ>R%XY^CIJpItL zpPY0*CFy=@()}4p_cGyQd1fWupP6)jangN3()~qA_n%0*|9Ij)T<46%+u0L3cKvF9 z#dROolU%>x`aRb%F7NVE z#|2z|t~#!zT%Y3#a&6)YbA5~Jdt8rlJ;Sw|>sMUA<@z(%F|Lg3N*$BA&f)qf*QH#g zTs2%*bA6WUCaxAPgKIn2eOy1}+QId6u8Y}BIzCzI=v-Rrc$aJXwWW@Gc$Reh+pDI? zwtt`I3G_x$f;-P@S30pu^bX)3_HMorisc=fAG$Ti5uAARjkBXi-vCaR@wN-M_tVrH zTb(%kZ3#rfS2;s?L=CcIr3HN`vo6((@oHbc_~NKfdh*_w1NZV}na%Bv9Q-DFz4Lp~ zZ#jU(mY8=ptk@RStWb1H1tY_%8w+4)INEd?0!;$`%;pRo*y5TY@$PsMWdEkJ0jsDk zSJC*$7f2mECzj9kdV~pM)YdMQ(9N|{N6M{4ch&P3U*)d9V|FI4Bqj+FOHLS{W6 zoSOe&cZP62!oAso0&mqTIP|r>MC>)H*RXX0LROFWiQQW>!@|f#(thF$7sJTC1-~X+ zb^1Qpq4fsd)8tR#=Qhj!Kg(w4GHrJ56rTq7lTD>$Snhpdr?uZ&yn*KA(%|GQCQTfU za3b!BEyka!XO94 zV7*rTvO8cg$Ji4~=jd#RYO~M0f+2xHrRe8&e zsTiKgmpI&IBXY}T#MYWG&PA@dTO_a@-tTsT^{{N09WrCI{-dr=b1Ey-lDL@aLE&0F z^6Vifl`_IM&it_GMvet5aO2*yV%yfMou%Gq32*nC(D2OWGf*&8-=Gx?Mf}LijqhC> z%tAw-z9svLKx996t}fRV4jm;OcoKjm3>@sNI%wgrL_l_xZL^7V@p+jYE&lxFo zG(f9h9zNK6yw8?8OCgcb@|aL56Dk$2)Ktpnr*z|tYlG=kk%QBt8)tHidaP-D)yCp8 zpa%Eteejq@%OghRT}OX2y`#JGVHqDQW>h}3<0@{tE1#Cm_kz5*xV3#2r5nMA@+#ZW zInC`cY95@vd+VlQatJT(NIy_&EWUe78e+nTKlq?Gd;wpo%63)rV0u^BRk_MRL6z;^ z=Nvc?w0)0UQAl`O@8(8TK8>k{xApgOU--B*&S+|D1&!e8jaPg)coD+ZS8RJJ@3Upj zGJ7;gJGWTvT+2_{#+kIUG;(PA?xIOe6D|Lp(v8Iz)6(>sNBlL9sFu6V?l5W|Iodl8 z^oq*6^M1{tR!i?~AEY&^AlMS`a{FLbIv7|A_ZaKg)w!{4{6` zTWdPPEgjQ4L}662aeYRIBS>g2f0t2tuh^JTMpNGMWucy^t%kl5*_ce=r-YY=J*x6vS;4gOd-vs5sq$Bc)`mW5KPhM|b!2m$&UGf&KQQLE zo$Is1C9JNC?O0U5nL?F5~mLF0Dejc6VHay|6uJ8O|^_ zA!~_GJWzTQV&QOGBb|t&{Qam!p`Fn-#9jFDtOxkFt(Q}n@%UbO629xl+_yP+jzl&* zz%#^4+kO1Kqenj6epr${qmzY)<-ScaF{V7vhS8lN^BU$fYCPkSr)_Tj?anCTsdQO) zMnU|pIDS`X-x-gONO8LG^xZ^cSz$~~?_}<5ew2@`=Xrw%j&FKK%Jp4{bN>dX@r)GV z4gKOwSv=&S(Kg8Ir{vaKwdcmpn+;vh>AN%7A{^eYbsjx9p@%bI(sqWIBA>I8PW$NN z(scEzdPe{5Td{40a(Tm7rL8bZkB9yQ@1=BsYP-~-{k*nFouNModlr9&?2rDo^G_K! z?z}!7nVgH9$g>D=0clqk?q#o9Bn=lj)$k6A#KP$Mx4&m4klg>E^jB6HH|ly{Zx#Il`1S)Yb)b9jeL(?N1PV_Poqw(-!>#a>&ZP!f= z3mtFlzP|IfuJG#P;ld5-8C_)e-B!P(534q5QK)0k>fH1mkjE&u+R&edU1fCD9jln4 zN{^S&y9C(zR2C#h8X-FX5NXneV=sGK2c+q<^k4~2HIGH8z5Yh&BoD|7>$T&yann2W z-;uNKlgG1S`@=?Sf6z+;GAmuTO~;BU-n&_NC6R~73hdW!f-T-BHf{SqqGa~AhNSfF z>qn1P-67A)xruG6O~$!&jUHY;J#dvCprKBm(xbbr!)m!TJ-m~h;p!-olu%ci5tgr& z?!W#Em|fl{Ztoon1$146RbC-v(q+hB=P19eZS{7WxiOJ%GrII>vSx}NQ*VFI>zgRcpVFkT29`CVywf_Z z5yjB*P7e3Ta@@9`Dl?Q++td8H!n>x|%|8dxroGII72XYPz1DB|5WnakB)v5r8Hx7L z`*-YyVHt9m2H|I}BZ1m3%Q8A|y(Zk)aeZD-xYVjD%Y54sNupo9{XP2r;ve<3Rot81`z)2>*(6Y_?^aJq3PKaTc@Z<2VO?OXb@dMm zWYn#9tDo2}U$S4Wav4SauglA{{+Ib#nQuPHD@#}KxSMLN#F#B^dVE=lMah{tUXR!8?a8$7DNVrfMmUpBG;YaB;CGaQg6^JC)b zEUbq}|C4+h*53d&Gv8&-c>r}(a)NJ=02JRfpP&rA5Tez*$z_DEg(lcn&>xIIfCWl@ zu_%U44J;s{O3q^<3FSw`nZ(r7N4V}%^ssPY5!qLp~jsbmqku;k5w}T@ZZKiD6uM7 zVpT8||G&hlCjbcjTP4qH%`cFrJ(BvQzpk}Lk}Njnz%0A-(ZRK`w%OE*;Rc4kB4fKw zedQr$I6F`!}>KC zao<7*X{~?OTaxwv)=PDZ&1duVgb|gY&|zgU)io=qr&Tw~u{($v5bL9q-~;&bLIeBk zYa0nBJhh}3L0Mn%8yfxg-V^KnQR;2gZPQLY zp1tPB9%SxKNO~@0R9}&|<|KLdCMbBoL%)<4@0vr>HCS27B$qmvb;YUkGQ&J9MAO5$ zp?gfzYv}pyunCspG=b|zoCK?bzDzM{=E_3zbBTg_rJzEqAQ8fwra!fyvF17o>K@as zODND}u}g@Bj*oR~wzkD;TYGC;uEmNLHGo2}RAZ$T zmDbeKdQ!MGDphQ`&i}XeIcMg~5X9T}-uHd}?{iPGX7982T5GSp_V+&fW8te(BgXX( z5YL#Sf2WDr2P=aZAF+@#bk$ox7puKT1DBUH+z!rWz1HM{Y__M;omr8AI2`{(?OySRR z2;T!$r0`e%SA`F3(gT_~GcEDIl7RR*v_z8ms<%qKvO6^a1308ZV`9VIk z7>BNo$PdQEouRfRpex;dS*DiOPHQj7=uJLdFn>=81yd9m3}2%e3PuI9_m`&zBW+5% z8O(DK^&6Wnhl44I3pE)HSOTi<6)b@gzy?;l?p?HJ>*w0YVN|G!`0F)eM6hs9uw4VUX80Y{V=r@4s zZ~!wM0Z>IL<2~jcoH2M}$Eh(eQ$hzY)e7Lr9!fyF&UAshB#+r8LrO{Y6B1=Jza6`r z$eATOLsCe*%)(8Rpp0rOc&mIE&xPZ+?@L?3kXp(tz5BlOICgpVnKyv!8$6O)s{QH5 za0(Y>jb#^y468WY#kWOK{1+B`dRXjfkz&)JE92jE^p$L?B zGiNSv1WSj@3{5J=eu9%#R3g|%uGCY4B^*g@9S-3O3NqVL^bRKE+7#o+WuZtiMx6)z8KT|Q+$H^ zvUDe;eQk1ho2XQHy+5L6Fta(#?+!Chb}(nit&D+D%x{fgj(FM>%+&FFdQGc*^%{E9OkH>!Ai8=^osL8YI@) z=%L-4(q53-`y&ebDM4)r2Q|_Wl;jxWKPN|u-*oz*Vk3jnTmPbCb#6GQBu7v(YiQgb z71ZF<2PHY(5v$jEKP6U=yF&_0bOd#w1T`)ysE2=YS_Mk&=m@I1zo2G?gGz7&b&&+M zlbq;mDkq;lC~37ELH#ER4aF+m$`-%5G!(02j{d(CYh!*?P^-fVw7X%cl1P#r3Q~H% z-5>v^F#kA-iZ#BtSonW1DKaYO^}`=Lo4td2&*b2zvO32 z{@-Iih5wUqvMP*|4*d|SGA2jyFYAZDUEpHOpu-;|A%PWlK;4a|7hWVOBDaF^}}DXt0n()SWn@9f0%!tgZ~)ee@+ztEBoOu zdDP^8wEPt2)5FZW9n3Ei=G!MmD(B4~pQ;?GRxRcO=mNFt&PCwCJ~B#&9-am|PGV>O z+;cLk_sJn^itv-S%sI(j@5Xf`WLq4rU9_TG}M5;mF8jr{{)SW~u|089by z01f~bG-s>TK#Je=TaWpBvA3{h3HT=rQ%i|mj%>6D~!yh->j^%|uYDR8$;XFs#GqlgsLpI>c z{Sg^(?e%mk=W@FFWgT<7jlcXSa)5c##5`siU8Zrsq}w5MTSDvbgm8!P69_x_rvEA* zQ#s$`8fnuO9*{c-(gJgLgzq3YFY*oo`?PRwA-Ihen|>e%NpPle=3syN)r(U)8Wa5~ zZ5udg^Ns`#`?^vNS&&m@%c@H+;`<0^UOf17ox`WReRO4qr`yYY2}V;N6D~I%;OYmt ztr3* z?up)%rC0q+7n*{^W>#6>FCVXuCEJ@n^OD`HfFt34$Ep{$T{21_@$!;WbSmT}C#jBW zWA2H~;j{jy6JF~mN={l(W?ar*$PWA@lJ`hsximQ`b1*k*K-;!9IkCel=ahOA+tw$i zBzE{gEN}2V-7OM^!RNQ8Gs&vWkJd zlY?*){c+KPUQc5wkL_M3_4%}NdBxcQ4wL2zqYqj}a1hk1ZF>{TjCp?}n-`C4pEvU8 zS{yp&_LLc!;&xqpVD(7r&?f(A`%Iomd=HZ|p~lJilwIs=(?|CF$IKl6gFkX@@W@fZbJ*Q4XPO5%BUg5z&!$^%MI%(g zb$k+JN4Oj@Uc!~Boapg1>`0hhu8ntNlLTGVu~t%aZDQMPl#-7qBvS)7BnG_h%-7kt z;mUc7ix$kAOU}zY-%QVaaX65k|CIDRZ^ro?M5}KuDT|r0NDiXaHBu!|@dE%{;b-&n|y62hulmB}U)=id!bw@`WtjiWJ*@NIXc68l4)~ULGu+P`L z|Cgb~C32gtRRM<=lmtH26PrdoS%86TOP^z&lc+1Bk7BL&A4z3a@I$ho{n?|8ifiz< zahNwv?!aKKds={LRgNB-m!XfNY0u9vt!%L$*fJ@wEF;*QYHU0VNtZGA_hL}+F2vDn zP?}SWm2|HeIj}J<-od4V!xHACdV}f4du7y%`g)@FyEjVGd`T*f_Pe);J+ddDw+PsY ziz#dKEO7#BGDMC2hwt`b!jjKU#4Hb2oddT#cQ|HJ+W$ zgq;v5&Typ+EobjMcb2fMOTOiLcFKobPiG)|Bs+IJFY1*PGVK!>ROR}R17<%P+6VzA zhnr{Rxz3r}ZJxBBPG@{-knd@?FlolMoJ{S^Jth+xdCzqRN}t=&|JT2WZ$JC8W%^ig zB8cPDUweEuY0-zcE&XR$^J4WMMX0m{SB(0&L-c z7~@4SLEFaRWR6{#G+r{gsa`MLOnTyJKaz@5E=lbNOV@(zuev2McuRuO_TXnhIwWTM z9qN(OACbFgOXRAM1NJaXxT+5MVCQ>SiL`@%D!#N>VwddM6*mP`L7tbo6e~4~k zI==f5W{K2Q0|Mz>e2?Cy%Dn;l0<(NM5?9V$_Zm<9U8b!4Qy0+~q_;5IoqNI<$qah{ zlBq4PQAbn14l<8t;k>oh;}7U{!ACIY5lNq0I^1Q|?onn(JN0qhbo90nygsJvfjvhD z{haQ=l((t&r*^VOf8*PMb6g(JaW8v(b&6jv4FZ=w>2q=9P@J#pMkPBjbTm%;ebT^m z#GS)26@#m*3G3*Ej>BFq=i`>ykEnjg>hM2C8!5fO@Zm2pA*6)}Uj!_%0M?g`Y5*;(v1sai!*}x>&@opZt zi90Kk`xo4DQE_pce}ul*G;lTE?YG8rCJvq~S0qf6Z?O;x)#9YUSuhaV(a>)BeB%7X zWjAna136>DF0;H{99+FVaF+4s02y6JCon&eQ`dLL86Vc;#HmtFbk|1Nb!Cz~87ArG zY$oI}UVucO$zYZK#-=C31JeXOcE(Ch?G)SZ~moD#Rj|yB4OXEu!Q0eDA4q8hMk@9 z*&TLv#^=X4JI<+){3GMD)bRK$MR&~^qDj|haFC!RcoMk(d; zt&-j_N1||?5vK>GwB4~j=-T8VN#xQV*QURTruFrgu8r?vm+{0P#(K=Y>MKcuO0wq$F%1$W|Q-J?D055toaKV4URG{WI!WhLGu8fj(MrZ+5+@a%Girx`FMm& z3J+j8&C7W=;F?v8$b0!%DMbxApw5i(pDnC7;kf%3l)*dFRm()PvzYlMDc3ER2EHU6 z#Z294Y&pjqtjqXYdP2cD>lsXP{fukVXxfW5F3xEg7Sw&sqY36vFR01?D~#VDI2aR^ zY5Im2l>Je>t!zi%gxlh1W!SFEisizNIo8E>of|ITa7Ye6PS`e|^Ae5k-W&|(XMVDt8*q27BL4AH{|S#=NoXzbTm}G@hNWyVTR9K}gs2DZ_eW8YidD z$1FmLa*y_&z#_@wC4ps0Wq~1VRgy~O+BpBkQnPSQvy|I(4rpv|if=EAlR?|H+km`sb$7}%vnp$;-ncn9ZY&-ECE<}?lNQLsd#ppiEid3?i)PH3~YEUyPz{n zbZgulm@_gE-_B(_BilKTXO4W&keAFZ|Al3oe>%A~VZJd43fx4NSLhJ@^`=@*n)!f9 zV_d9@v#kJ;Pik0CVld&ZU}2KuBv%tb=bv~`c97Y*Z)-_{Y+qdTLM(6WaO=1(nE8(D zUg?XqeH!n&>ryPPlvy&=xbu$)(YkJ6VcY%_*{+m{UfcqEChU^o3Hc(x5TlU`p%N3G z?U)niO8H%ttLimZ%3H3K-Bqr)!FuNpRj#9lz}^R94_tr6!uDqq+xD>%_OtiEhQZtK zx>7y>^|x62SVxO>4^;00Oi0vo*i)k+LzwsR@5S=~9=(~LZfM8jB^D`efMUbPyzG@1 z4|m{fFfvk~mD9v>VXd^P7e6bp6Z zOI$D~OdI!#g{!eoWtRERJ1z<&JsWs6^LMVfU2`&j7ue;R`@6u0+^U`V&kcXJiV9O_ z`f=pHbTdnk|L&ybJthC8lo>9*Ih>mR+Ky#8`fChm-we!p=r>H`Oa02sA;bC?IlWA& zyxL&xXY7o?ukH31IXsU8?KlL$e*-@)R|}?z#dW8B9iG>#V`5a1Z0mf(a;{aD6P|l> z-Lm2HUg34yDCN4ll$;T0P6(8Y-1M<)Qxb2z=kTLX>2p>0#k2jgwMqIwaYtY2@NnQ) z7ZNG2<|si2M{I@{i+BGabFd6qI?WQv*LyxQI!z$hvZw>glor7d?_f`mL^K8FZ0K^Cu8S4kb5k$J+us6);fJD^q9;W^-Cp)Zvr%6mX3>VcS+G`i7r z5eEgNie{MK%=yYBxw24K7+lwSB2X63H+Ii%bAId4gtyxM8Phbd?L>U@xg0kZ zbWP}@kliKuV?gK8cLE!@7iW`1VAuOJNPV+FnH_mm(zuALlKu)Iij~=dAy_-Sm$kjy z)1Gtk=($95=zQa4(?8HHQ+%S&)$zODi{14XY3*nxIubGl{A0og1N!7*p0}B??1;NY zzCv?TU<-}pF>XN0{AkT|>q^4;9MJO%nbzDhfs1{PbHkFCnf(EKYuO}vl5spU+b3DZ zWAtG^n%Ob)+Y*sQ5Zx(6=wfwTN8D8t`UbQdFXPnklSYlW(-fO5o{^~lDjou7P0@?V zG&fg}UR)Yw%_a{Ic%8SBuDK|%d%o8=Uq>;%eN9}#XeAs&)r3e;BhjN9k@dPs$!a?rSHNIiJ{N=_yZMVlW&+!p8WbbSI zfG-G&rH4yy6al0aCU@=|6!&_z@(-y^C^HTrFoK$`wlN#&SdBa;9twu{!>Ttv$_9l4 zR3l5KcJ8SiY&-*7QK+s|+j=gobuVFigeU&>uBih>S{)49KI`R>w)>kyt=`JKMYWsQ zb07&(t&T^a;D{`&`qZ`&)kP5wu8sF1S#>pzWt<5q6dT1JIApzT)o&-vH(0#w&mi%p zv0Xa7ZR||KQGs7oXXx-Gd4sPnGOi@%WshdzW=zmZcr*|D(etKudcAtXejdR*DzrMS zoQZzJe$mBGP|E=;5~biiV&M*^%1Pv1G+y?+L=u^ka0m=ls0eLkw`*Hjdwk_1sYEO= z^j($`na53G${^6T-B7OX>=L-XW!M3($s zJX3zBXUOlYY5Z2*JEB}0Lrb-Bak@4JrfOqsiZ&)DV?2D{z{MB=k9xF7n{khNF*`i* zk1mz>O^2B>+c)qbq8`KFBjWjJDR27*7Vs-_?;BX8eHr!*Tx{8D;}+lCsrI!lbUaH4-D z`BO3!)#?7-+=hC4qVR5szsK_)Q}<^FTap%)lo?dKYESLR>K+lI93kW)KI-pyrkFEZ z68+aqxILkruXUjSUnRi&qkp8)kjv)zrzSkiP4stWtY}`<;~!@obQ1Hn{RxN&tsW4Ci*W52RS#MFuB+v#uG31+aB$Sh%TRM zPl;|4dh9VHO7%Ljgh?=|M7cOAC|UBx-qq|Z>wSXWW*JkB(-6hjK-|5?60vUNC(vg+ zx#_cDZA|+hw*L!5w>RlF=ydta5hMAvhc3s}pejdj#hWyV{i z1_#v|ZqN_ts{?!els~eU`QdaX=axL3ozyXZKCCZbIg@2~9(o zr5})!z@@It6Qpp}(qCCm!nDEeqo0-;bIk1Hu6#tY_w&`#vUuZ;#&M}cB6pd*+~@lD zVI*9ie1DVAZ&HtQscg&Oy#wpOjWHS|k2E$&u4>^j-y8QBE6kT6bPX0`U2?Q{Ta2!F zxqiHL)+(r!pXqk`LR1p8xdS=vq2+etIg*Bqd^sJUG1ZM=88;)FL*nJDR!BviGJNfIqrB@V3(r;lMf6LHL7Ub zctjUbzf11(ZDFJLGm=hUGPT+|OA%!CtF0nlwy_HQx-#kM7Q^~5wxDNTaQG@K&OG(%czD*cwp)p5a+Vc+a ze8Bd+K|Fg`@e8@xQz)UU@EHyy=0G~%zaC#Z!1yu=zb`KNKrEvm-I&X;W-LhZEql|w zvO%k3v;01|QGUPOD!)&ym*3~s@>_N9gO6#W;~{N)+pmpHjoSEroi=__jq&h(n;ymp zc-YnW0G1B1Y{jxqhb!HOK-S4xZ~LY#+V^phZVgV6B$K=pM$V^k5GE+I05oyd70i5iI0OWt;$!5uk_ zEUh9c3i0$+J}Pt{vS=$@8qM+I{0~J~dNsk8M6z?N>9Sp!kWA@!TLChXfK{cL|QuRXt$5vWzc>1#xZh z+zcOQc-cLw-(q=#=hXufiM{KA&OJLG;J~jvJGRJgN!jz;rst?%%1`D;%@-^R$c0Hm z7%l5jGmB379`I39FM1W+9fB)AXTlZTj(tc{TduI4`gZPF7bg)s8_*X~9%Xu?j?CWX z>!TCXHdMS=g2pXS7Yj|t?T1TT-wS+nL;GN60ovzr5qtY0mRTJR+}=YIapxy zk1@Tb-d9Lo2zZW6ulM`vNHTP1l6Ks9xSitzPoC{LarVCU=D7Cj;@e9ST5{nswr_UO zHLH_j9Q~KgDjyW9{G(I zA^&!KiQ**w0~IJtFac30f8I2N&QEPo0H0TS|H?^U!LhOyIXG6%nhB2G ztbaT8?~D4kOaE@wzX$YhxBfk-e-G*3!}_;J|EAJw430gb?S}q6rhohN?{WRRMgO+y zU#0PPYWoiTyIuco)4y)*n@&lwC+{%l^No%BrQ81K8nEl4{b%o5(kt6QLau{tR~eoQ znfP!zgl<>60xynLeH7!a51Y;o>{{{woyEB15BE%z+q5^Sqwj(Lj8xbkx)LYuU^e^c zsAnYcl#`I*}JEWfRMW?00BgGsNrHvWKj_*}dN zKA2-4(){Wt_Gz<$V`g`MAYs48M~K(?0C7-)pN7L9t6cy5Gv-@Wu8$65V*e*@4gaWe zz0Svks$W;RmhXq?O}<>b3gNG+T<`w}IDE-?`xV^&jvHS;HuSWeP#Z3T2}JL|fkQVT zycLJ#H)rqmTgq`GB`$mxY5s$FeYodYdY;OVA3IKM$J`Qc*VA#yZU2b($8Wsr9pccE z^5#T!30=*kWWL=>!V}GN@{;8a5NUz(l1CapMZLd2)b^r#PjmtcK3cI8SPGZCO7as` zNsl*0oGv@1`$*~Kq&mst+IS8<$jb+Gq*GyFq@(=uGBO|d7v)r8DT zNwau1V!n@-|cK-LAXt65hX*{*UZZ{Lpp9u3f#C ze&|{p_v==0IG^WI*P{J6zr5?O;+*hXasJS?WawsXF5b1L+z@YmZOuGVcB>=L>bwX7vu?v#b>J&{NB| zLYCot9}K<_?1>~-b`Op@ABv^rj+#m1j&^!9q0A2ywDayb76=MXysDU`5t zUkSU7A$A99GpNz&l-h*0*h27XF9elBP!b{taXbdXPX%F%AWX3lBtG!_Ej|(P=>h!? zLEkCp18j7yuPz3vA-;VemIMsOy;fMDLxLq3Ayb{XCEY*Pg`Y5l-F0X+JkJ zSXsf;2mA=%XYmWsOZYCKO1K)TuZE~a9`@NtEvI4}YfMzbN>f zCcc%vavxrVJdz(=g4`#_Up0}#`Dc1Gz7&^t{tW)88Q`x7;fEA@0)*!UL6^528zJN` z$@CrZFAxS}Y=3qO^{%~N61clpVTSMzfL|~8b%OsPLvpQRsXq$}NO!Y*PGqlMh(zL) zDI`aP4Tw?OIrJaiOqyOj!K-IC5`FAQEjoH0I}$Q`){Sub*{vv|EeY`#I$_}_KprW_TJjPq((=gSl@pt9M(O@sgnurtv}hy>BhFBM*=P-V5|ZQqyI&pPIA2?>{uLvU=j7EU@5!Lg=rsaSh|{gMcmBG&sk zqrwjDo>90E;H;2vQzhtWGZF6Tk3zyBqfK$GsBV}b>HK)VjnpysVDHG~Vb0g?1n)2J z+HpRNZO3L|TW(T>_(=hIUVJsboG`z`y$?Cl{}6az)BL2w+$$8@gWjSu^cpCF|PlG*;*NFjNJ-7w8g?2;|L5rU>cf8(hv!C13wrgbX8-GA=bB{>L8TA&O9}}q}gmhSZo)jdz zAc-~<{$_LXaS!1x7Qt?{!?m(E<@r$W3EK0HxjTFNq+Pc;Y?t^$XL8ss9G(yk8Ic@9 z_!7S_3s#R{4Y#pE{*q7X#Xn;<{vR^T(;{@tJ>0w28Lmj4FL+x7?`0d$mN&#t((e-R z0@q4HNsNPS0t@Fm>M`tDfo)%jrCYL#NTQi%LQbo6~^UY9tA5JjKY2;$>{ zxZ6ey`FG)e3I1061yf~%`H+oiYAl4`4gTN$0M=r`YO=AUe?a{_0(z@{?tOEiBf3(( zKP_b2ge=o0vygCNW5Vf!znL-D?WMCrvK4~- z5W!3#aOXhKX%f`36IS{^xa;todUXkMksyE7;!gjO^kBR(-Nv6A-}|FHhkR14zwvwM z)(YJXAv!yPR{QmLP;C9wIO!#szAp4n2>nH;qkqbxx7ht4@>LiJcguIP^%_b$5poKS zJ9;FLU;Kw7(@1-KLQXBT6(RX^5V)qoPacLUITxx{lS;}1`E#rl1Y10NpNS^l2a!qs zoRE8kJlhJCoy5IeH#owRj_cP#1osNTMj=Qv2|7BY6VkiT5r*9@DGyPV3Dq{CdW)fh zt$J;S;w9xhP4Es2-jg<7$X^m-nD|f2!~gzM{H477?QMye)E7sv?YLJkt8Gj(*bqMn z?|H#GB3L;#RxSN+D(FAs6OsR9ymz0V&-8$Pu8mIp+TB~d+3XK?b~rMg@V`k2s)gX) zqgK30pG|Tbo7cE2Du{b_;0)1t+|AUvRLFaT{85`+#!H*zOj56rW6|sW;UnUb?r@RQ zLA}N$whN)k`IFqQY`dhh97DVOgBC|;PLAS}^9j9%VY?IsHpy{-UgLL`OQ1vEd%r%P zFClo!aeH3lnUJTv_uh)9+3VjVC)|0BZ&?18W07{;80jdd$9atg%aK9JCOPZPYuxB? z$Tr?cfV{?+9WF`QWxc~i4%hJ-wGNjA?XuW* zAaFN4hyv8(#iyQ~zHO4qxVW$7MqCg(QbZWccuwjGK2M~#J^_O? z%|LpB$--bUi)MNsk7QuA_a6Lprlq>;@)}oKuOV*I-uJu#k9&njB|Ji2QrW&FUb^F3 zh}SbC*MhVdH!{%wKL5YcK-}C|H44Z89w?7hKV259b^-^1x{6q}0GJ6}4h#oA2IpPi z72qzQ9=Hj}2Qq+EAPG1I{WeT_V!g2{2e=>j4R8z?G(T3&0P2AIfy2Pa1+l6UcnmlO z+%+#&jp3f5O5hbBqcm1+1iFDi3*iae4IBW5m&K|g;C|o$ki20^A4i-wHel{0`^?hT}dB$O4LiN}vg71?~YJ0OaXJ76bc1%s+@7=mSmy$?#bU z6cbJ>;XVeGfqOsZFYw<2YyegR1>jvTCXfas1EYYK0R>!x|1s#~`54p7yF3qDZhs)} zy#gEq%7I@1{|0;$_%g5os0Vff^0-cs*?g`v?c#9953|)3xXu3_?qBf9xHLzl zfnT8-RgIdcR;gxw*I=*5T%j6Nlk#C}R_kzC!RPRas!mPjcM6cM(o`kybvm@0!E6G{ z$NNgpO+R7h}qZ;bY9YN}Z0uJ^5R*ZJyK z`uWnYl&8MZSLv?t`+h6T-ulB9*H#8|_nlnqUfwaM0*HFKbGUCoriAhopn!=KcaAjR@@WM%2sX*?ghUU-dX+d_YUJ8Ufj!F@CLR3@?Q}n`>l%H{?uL2?ZiF1ggjchwvCb!A5#&0b-+}6GsB%~6oFIuJ zmeGWBlDNA^W~p>{mg>I1gwAp3I)!C!7h>X;4oF$d!t?^=Ko5|fnx(b?>Y^-_I@;tT zy0yXPBkzrZ4@C13zYrhfDJ3s7HZ`nls#xV-(NOQNsHtz(8Kjvk<6dnQC3kW5TuQ2Uyi8k$nwYkcm?hWc@ScXh>TpB8x4 zvPQ3th?n$7CbZt{tEWgfVpvsEU(;MoQmvwhRIDU*E5N8B*%}*t6-~sv!M)t4Gm?<4 zLK`8OMr)ZO<(TMR(?pSR&#TWZsHv+o!(WwehtlL*;j39qa1~WZPo2@^tEgP(Ue!?9 zf`-;qP#!H*Ra5U*Rdo#&e&V{kp+Q%C&Hg5os+7(=xUZdl(-Xgj;>j=@D zXTgGb3)~fccO5Hfs7xfSL}1TiPwqmgJWLGRIU*lt>s)Hp8=?@&_;!J+sHZCN`&JTI zQK;NWaypBJdsR!bUo=+{N?pPhQAFOkW_&eQDWiVWKzSLhAB2=hNj}WAHB(iCddO>) z4ZdbcW8d1EX1|V(Dw62gRh5*@Xd?JYyhCYVXKr*`i8j;RCH{&gzZ7rZTHlHmslm^WzWg>7G`_1OAFAQ=yZnLTja?u@woFmxkc2v?$QFZU0hbUU|#WDPjRWcEPFv= zb`D7pCPjd;%}a9|Ry7ilrlnFxFCE*gwp?bF{dXzTU(QzDfL&%Aze*i>HD&(m)RR$V zUwtE7X1Dx_x`6MZeSiYL=LqJXvs7cU$y?T?OMTG|*u2wcz!&JRK9D-bt`8QEF?n=; z{nWZ?+e2AuYv!4Gl!I4i@!3k4B8O9!M0hkxm_T$qowBS)S6OMq^I77vgLneoCuxU& zj!7H^wmySDkO)o>&?>m_-C^l@izi$4<wT=af5c=MZ)TJiDG1Gg=mrM|hQ6vWXl5>7cYPoO0+zM<1I)TGh_*-5@x38gVz|K?U-K5_% zWIAl7qxT*7!dv9@_Js4)VZ!g5M4X<7$1e$gXE^*G+`9qybEaH9n4-rlEJ5P7e zC+MfVlwS$m8OlpJM81p)eZE~#x|!E);G5JbLdmv ze1*HQxS`2ko$8KoTjXn|>l5Kr($I1Wnx~@KKOVlf0cTB`KtEg-7E$~&PjL#gR&XR`i3L8I{mowngK!w=T zKz}|q^5}*(M3FDe?ip#cOd+94bklqWqO)>zBOSuBV-)4A)oJTMD*&Bck&;rTyXap? z@xC-8Xo7qKBw}W8zH9{>b2W*qaC(`#$qpq8lty+O? zz*gMTFQq&JTYyeLxv5KmzESvJLj8I%_}CM%j{?7Se75QVyjRe+O~8)XikW^H@5$g% zzeyX_oszBQ+5K~~Gf)4B?o$>0b!6A$JbU<*=3dZJPcO5%rB3?ZW@9eHKC^E+u4}p(GbkDwrg_oS67qT839Q#yl$6|Iw>=-x_yER5$~Q(d#7+8q5@gC8T@lc7NqIgTW33XKW$5MHucV+8{!pLFtN1ku7+Kqn|YUEdI8<_YQhYsdPQ zRm(vn&CP)TLrfv_SJag-je!=NGD|VA<{GRtZU#v@=h6vYUbE6H9Db6AzP&kzAbNE2 zAl_C1(2*A1j2`VSqd--yGvm`#v$ERH=*?5t>`SG8{$Gi$S@IBxP#T&T^7!l44N)Zw z%WS>>D{(M&wx)^s5I6Exh+b*#Xe3EPDFLD@E5bTG$2ObkzfxvYWO!kYI-1k`Yo#5l zV+0X7%c0b&ipELJzDVbt6$$WW?G?)6^^#+mJ|JVV@AO*`&#IfRq&HjFKs<$gA_pYG0GEl&ZsO z8k$=gr6Hh|YVJ31M#y#K3?veL=zdSLusf|xmA;8~oX#j#418jN0YK34@EY+5UNr7! z;71@?FT&3ToA2px#oq}c!s&1w;%RFfw6>cSbjYyXohIA4HGT-mvN&;^b~6`6WB=dz zZl|A}hIaZy$430+vGHv@F{2+FN8G;%Uz@k!e;!})bMkZIi{1G+`Pg>x7kl($`$wD6 zc>g!PS0BvQVvF8B4D@yKO(GAOGRFoeL!O<7d;2z)!+F&oa-q%#oNE02cxm0i%G6flGi( z0XHxj7z11eBm-lC%Yku#_@w~jfh&LsfVibvrq~5U2hwPY8S}sJzd9ffC^emLtJC

BT>qYy`&>aS9|KHw_+N;9kba-QZ<51D=q6Jii8&Y;rENC1^Bix&ZwPRya`St( z_PLnf^R?{)en$c+a2uu)u??j}rmGRaCBRug0x*^`?V?PNp`0hHgF*S57-O2h4W5JT zV_e?T?h6RzeTs1$<#`a&#lvL?ZVB)n2A4#2j{X~NndcI-I6^!RnMNSZ1^kYn&XM1X zh}p%MmuUILWwe&zGUT|7`Xo*NiN2kG;wSI6zv(wc%~W}~UP-#AlV38hPbc12sTnF$ zU9D!TSt=j5YXFa$qpnj~eBCZkMZBAT*J^Wa6kji{#cCnH^MQF9=SFpdDp93sky@gb z;<7-Msq3}Ra(*YM#o8`htALwWl~9hkOs(X%M%~Q1f)&`(7^PKebCn}ZA8QrT)N1Ws ztNiK~b*r`qSlQ5`*7Nl$O>JZwaWm!y)v7kDJJgrdTGgg*SMBN^br6kaNx_zlN)J|Qi z!C15(hgMq9f?2{YCw}9g{4H7;uUlVJfBzG|19eFsq=xGt41YW7jYbrT@9A$V6HRCzdtS(B$P-@!2|D&bxUMY_HIiWtK_DEAlG0ngKz;3Ab z)L(!U?e-U)|0d|vpG-QMl20X#c9T{@bwvHiqJCHXk@W3R?~tn3kXD(bVUGF(X+M(` zDAi?GO0JaKPu1_$VMp1$MVH<>wE8w0UXP}wjJ8>2bhCPk6lp=LzovYCof3OUm&=FL zcPW{_qHMlQ>3j;V-vhp{ey9$r*D0SrQNK~I;nEH427XEjd{J#zU&Fpb{X0BNicjHe zYT#8U4r=Yt2vTR6<2TzLZ4R(-Z1*_cPX{)Rn9^7N?*`$^3P@z`uO{!XTqS>s|9z+Z z3sc)P_d+97r>6<~2(?+4hTZzJNo{NY3FlL}n<1Kh{bAVt&e)jta13ml=tch2uxqa? z8n23G&yAZsASKs3e?iHBgv4`(pPMw|yz@tnOBsK~RoS`oN)|3&a{Zj#tepJZ(36*v zyX2yUORmp~KWoSZ7fwo_JZ0*%=~rHradp9{i!Zs&?r8Vj+I~W_hxB z@ZfiLPHGwGgVO}pD>&kpwTQ9X`8g^TmUGf%U)xz!SiBU$?LkIYdc0XL8WOan52nSd8q3RDArpcU8xYz4LhUBF?W4~V;fwU59kAQhMf zWB^$}DXQ4p>Uh>$brwDmN^>@g_k*?^^Nm=FRhZz4PZUSWr?@ z8h)f~^OP-IWLos^VyQU75A}=r2*22v*qFib@%+XNh>3|gYe39^ftZeG01uXMtcnknP^uTTi{Q`63C!@b{^aTdc3r*(NbTxlvW+=gOk#XU0=BkqD%g9)8 zBph<-TTFu1#LlHx=b^8Y0w3Wh{n}xc-)ve=-ti4FBe5# z#BUaVGM+JejD@<-SVUj1m_DDE{-E> zPot-LrPcGlioQo4eUdDs%Avn|p@v*7*GtyuAq(kDDO0eC#HPRfYmNb4)|3*%TxQw_9hy=L&H$+T#}nVQ(6^LekYnybkIlh$I6Vg& zLrj~4aCW)}gQwH$>D*7{VDdZF{d62o=YA@O|5?ucg?BpH`q#4LyJSj=n8Dx`5t>cc zX>G>fDl66HZ6;W`7G|!V8!~5x%vqsiJx?W-nan}|HJHTj!QiKQR%$wKgBT$ngv&I> zNC$&c^gLE6BMBM*%jmzBal<;w;KAUv+HWCc=BMyH7#s-f0nUpZ#Axla;BAZ(`}=zk zSD6*Ng|Yu?%KuOG->H~?jrm)Q>1xiQMgM-CTJBZN>5Z6e$`dm`rYXjpL3m32f^o+y zYJ)ZV_9w7T275H_!QgQf{u=?tdesBm%HJC?KVaN4Nd1g4%dZ#%nW1+xwqdjq90dG` z5tk|NPu2TW?a49bo0l1igTa3USE(m zj0_{E$@ik6uHo`2$$GBLa9^c{OjBdxM^j%$JxrwVHH+@_v}ut(BQ7{^& zF6Glv!Z|i6;|U7Zj3PB~Z1QE-UgyaxD4dg@JM)@Zv$L|Le1)H@X~l)FFxJ2F2`%)D zOPiF=%Y=#YAxJ(DsYDBx?`-3zOr6ZfB9CmVnBiut(cHpfz1zrLSX@|Im|g10b7vRl zxfgldi?Uhnp1Z(*WG>{;Y4%`Uml&Cq6uTGY^VvricKnq;knUU(-vb}H&v8X-GI zWa(S8zoxFvy^<{vY`}2)E1GX^*2G98>;FT$O;`xS5;$2Am(QjK7FC!VyY!9;St6m= zqDVYAAs4oK^8xGpSDU*@a_1G7lp<{uCa=Q7jR>s;IrsH0rMKRZhh2)SGCJs4F95#@c8{kX{ z!ploo$AtpJd!>-gvFEAZ4I5_s{+s!xt>>}U*s(;ZqOQ3?uXAZ>CTCd5Y^$?*1*>{Q z&8D6~KV`|w4AwxqzmSM}QJc9>EEL=D+9H+{wfH1o*o%!qxldNggjQ#20g*#XmiEQu zYHVOL4C{bcmnM0Htx7t4y;I4@ray8<1;Mf=Py3Uq1ZThK^{=wXCuPC}Swl5(BB7e) zgVmlQn~z0$_6o#i2Wv@gy=zNn!K#WC6fs$v>6S6hqH6M;?$iIKB1Hj*E5CrtW^8FiiS)lsz6M$P@1L7nIe%YBF8uiekf_eYd@RU zty$>>IN;cbUsVW!32VH1>QB$kuBH``g3WeSWs;9KqUdfsw5JJ_CMdQW!t+ zJno5|^!fZd&tZM|L`Gq(Srpg~f9Jb%?~T(g>&E3h;SBP)FNow{Vx~^Lj|#@Ul8u{` zN+}qXp;dV-c{Df6R?8!0uvoT4l4sVtWl4W2Wow4p+&f1Gw${@3ha+ASCr)(dc;*xq z&v2I%&SguP+q+<1E-jIp?Y(nL*j<*ha1MoiqM1iU7GNymtYY~u$;isrW>ZKoSib>3 zPcd6E&&bWhwZbm*R;m#&$V}#j zf{;vS422`K*ECoQKPkP!&)(~|s=`l2W4Dy7tClL%Dief*`X!OZvRK(#z$}?wb6CNC zyM|`H1w2HLXR~fl9QrRTW>>X4r)Xa8brEWhio2Kw(2@V8R|@oEJH<7M&WJq?<7p;Uh#DN zZ2pQcM@?iNmoT%=%?io0js4v=O*ekg`@Zv~&m-%kPw5EAvUoPUvNU%^NL{*}wRYXI zw402gTL51THJ`=Yg&W5^Jk#3-c_8AK~dwZ)--P@by&ePkE z39Mmdy{tu-d>GyaKm%FfCe7=pT+OWp%UGvf-&|#_N4NUhdIN=C(e6G4E22T9UnDzW zRH^I}aBN-m*Q}xzqC7RV=zKo5O7@;g{?kk4(VmsBWH0j!H_a~#^kHOnf26&3wuaJC zmw42(-6ZUR63lF@_vMlnQDnLu3ZaKuJ{lzH>I*R)nMxnKwsnoFI|#ZI6I4Cjqh`PC z%0ccGKqay}w{}-J_u8JN?hONzuErOzf? z?pskI-9%e3?9J{4o@;44l*xw_jS#)6f;|~JAX&kW0F~=FazYBGZ&d@kNx)yXZkgHJ zSY`^5GF~Mktq7;pjhW021E1dUMO#}~q>2hlNvJ%{FyWrUN5?-(u&s#7zy9lhXz0_eBEGsNFn?e^A{^mQHdliI`A%7wy3bQVBW&gWtK4G#*b6ut^sC_Q_{+M z=CjWUa}Gdysc{qVn+RM1Od6*aGL^BAMDy}hPI!6?i?u1QVjXuIc((&tKqim^+yLAN zqyjU5S>sf)j3^rYRy{5oDA_w?Zq-{R`-+6O`EHxbbTJ9LFEh6;h47XwZ>U_S=+(%c zT8(S-;caD|&-4kq$sr?lJ#D($ZxV*=kCGmc*sY$DO3s=LOi>l~u_^e;+<@R%a~{j= z_vUq+`?1#AJcz$lXnkv|sRn2)ghrpc5I$ByrOFl;niA>MNP8ngRWY5sQr#^yBvyli z=lm95(>gCzPeaox*}jzDB%6uqSI`*i`hzJKd*9^>8h2VLIzx{6o)SG|632)=nNqu0 z(bgh_=1X+hnnY>T{X>ZbdFC|Z&oJ))E5lIfYld3P@P;d5BJEE|n0^PP_S}SyPoYeP zgz&A#-Wr^mLqA(J;W-Ef#LRgyMDj?8A7WYrC{yU^TfDx;DX z$)p4;nw1@pQs-Ct=%8>K&x#sfGwCjq4B{{KW_T(Di4W5!-TF=XfZwA3nVzG{vDabt zJj}a(T4!4prLykJ5_@Oxovav4Cy2Ye#{vU@gec(E@$_Yz-!^0gzC5zBUq7v;VZZn6 zG2eS~O|wr-4&Z%X>QGEqhUs4Ji8o0^1fD+k)HtPP1ALZLK^FASK3980{CxMviaOjC!SX~lhKl$-DuUgFoE zjDl~+$(BP*1N;X@vu@{>{^cvj&-u8)%W}Ahe4V^E0*?WS4nLt2S?s-m4w&LbH@`k{#h_eZ&6%I^P1WGra`g zejXwo1&*-9UDDH;cH-v7Z7KYmkLbV|UkUSxD7jjZt1gNzp7bb(&tB9Bww&h!zU z$`LPl-3i?^+&Yol886}6Uw+kL38D3LB9nn$%1;-*BhN_q$9Nb0_QyL~=Q|zom$)4x z?w_as$Kbma{&s$r{L-IJBoB!$`;$TR+X>h_?05=pqC@w>cP2V>_rqr{ep0TBkl*Gr z^ECRAG9`JmKUpN-J^(n=r4)R-jv0wO&V1iry;q1V<;Ws=&VHQvL-OG^ht4Dq_a}?w z>jRGXNV@l@TgeNO4*mH_+Qb3Q_-y3e83)Oa{e>@i)P98bcFua)cpAMK$mz#F`VoBb ztH!h+r!I;dG$KP?)O!-|>6Y7Lr{S^GK_hY=cDzfN1<-B5?Sw-{aqBP6g4YT37Z-_x zQ(mb{lQ`?a`Rr&REXz$kDhQ6>PkFccA%Z&)=;1vcTwOo#?$pUi!aoL0fASr7geQFB zq0Y^CE z|2VjQ+)^F#2#w&+jKW zek7b1;bH4k@}QH4=+wa98J~j=Jvec9M8&sgHS5Dy?_%mvFnR@NAhSzR__LStQ&S0g-Q` zgNMy$CvFm+Ji^N4kK0V+r23O>KxF4Fj zHIy&DBNbr^zC6yb8cBm~%o*5Yi&oxkd%DAJQkrAyO5D4Uy+3|Q@JcvMSdSsc2_VGZ z5w4T}4*1)T=x056haGfIzhwNJPYPl8M9~-V{@7{cJ?X#|K2Jd3joZV3EvL<2Wa*2- z-weJR*_@B)M)Y7mLRTJzBWrc0mjv`-wej>B|NO+5RPj~3dI8FQy zIOG(1!4o&pV}Id@Zp-nH){W2>LDT4vL);Q@lXMq7^~cYtJCXavD0(UT&T=k1($m9n zl`y*C-G@wK+K)4ji(gU{jqoYJ&1<3kj8V&h`+*mL_kqNnF)AG>2fhj% z1YFO>s0?5e@B!d{K1O{R=mZQP@df;WTY#-VC(s8Zb`mB~4!i;+?ut=aKsm4(*amzC zr0kASD}gP*HlPPMe@~2B1Z)Og06qb(dND>l40Hj5Um{H4W?(DO3G@JodkGV01il9> z-H$);H{h(7W7L9@yprTcKYRG{XZwnue6#n##gA_IbRlVzJ7eiW4oYfXn#al4zPhD( zzUG_#4UM5gf3xc=OIcdjJaH8ht(*aD9R`eZj+_ps{g&qO@t~=OkFLJT1wNUQ^(_k> z8f;tA8Y`DunMS^S3CMXM6M#9nrA0E8$-heT^T{^3vIeV4#3B8MF_xQbX`#I){f`W{ z@z$zj;wB#=O}cfJf}^@))OIp?T8(^BNY+bCxBn(aw;yTg=_{&MDz(FY&s|WOyf`;o z$aY4#iDPG^8(*g=JCSbJi(6NOTcPH6Aj(Y~yQAE4aXT34CQj;5q?-=oaD-ct4x=a1 zP2(MjaPw+BBhpRd9gA=))p&il>2%O~Db;xD^%&(Q=4nl$Po>n3-{JrZ>?NTlBg%9$C_!>jrSvit@q?6HF7QY zeI%3bmp5y<)z$&3T=1Kkn^q*JPsXasackAO)oxlQaqs786}K@1zj^`a>e%#f-7W6+ zBYsksXFZ)A!X0_#=i@e7xY94nI|J@kaOL?KriAk}CPh^3wRlMQo6o?b&w;!B47km# zrL*JQa|Yb39bw#rtIiN-2X4k`aAmwIakOQScvhYU*VcOveC07L{zCK6X=t4Mg~kp? z(&4~qXzXy(pE1M9z!bM!ObKfVrszxTi5WTkp87b$b;eKle+DGb)5k>-NL2nQOD1KTMn+ou>n(LUgHQS{p$YpW5;!yg)6#TdIsDcaOHX5 z!GFscXxzUH$9d-&aJ>#(;|#d14&0;}XNaQ%H|q?zJr=Hx=xKf=Z%O`>4If+JC%Wv6 z;%n>IyVFdY#hBtIk8RrdQp$pq3rPb3NprzD2+u4``x#i470UPVnV%o$R>G5KGp1cu zW}bm&nE~dtE|2&L)IpPlX+K~3ayVaZ zwfJuP7x=yy#rM&#g!!JZ_{Luo8Rst|?hz0*u1$s_B} zfZGbL=XCQjwxk*52l^&-Dlvbc4cdk;xTQSxY=gfC1E-rTV`>y)6n)8 zKY$#o1p5+ee(}q4| zoURdl19Kwn$6IS3`nX5~=kxW)!)uL>^TXv)27itQZW8*qf;#1YHVn7Ifm{6x;O-a! zH@D9Zm&mb>5%2=T56$<*IJ@dZlms8aax85A;cFb(*X8tGf|BeX0yANPK9xajODAaC z;Iy3#xV00s?RMt!MNpsi3Hn5}_}4xUC7C~wA0hEaUUL@O5; znw_>}UA_t0_BrtX9R$CAf!a4SZ@ZC8fjHaKvbe*xT%5pa{NVYs1*emq2=4E`Jq9%9kQ z71Zg)gkf4_jer+u7Jy5?>~Bl-VYM@drV)JtZL`pp&>|ltsUx32N$SZy9?$k|A2G)b zX~T02S#bE8{gC~z3EZt1k9^2}iAE_Op*?9w`m{T9{m?1;v#PD!=;$2-|6&v#1QDHl6smQ$8F?^+$m=}rRtIxk07{T7}}7yU*K~o;(a9k z+>tU|H-Ng0h^y`iYS(-j-hD;8@{5Pt6)&Gm#k@U?N4w^rc1@@&MZ1QecK<+K7TPri)rGhxQ~6|!pt|!>SAn{^pt^;qOGjN#P+cMF zYEai5R9B6C69j-6wtGWL(`8?>{}9P(W@5!dWn!|G6k++>;>G zf>FEgr`j=eCqu#iHIqD866?)kV?2ABUL`!e~4pUjHfIApmRxxj|L zlk1Ww?rE(czx{3E|Y< z1pVU@-3zfa_d)=nvO_EY85(_}RrzNSmlzk9!LV2>ApFBWkDMVGM?a4w0w4kSU*gRx zAL@U!b3h_c=)oygUf~*V{?G31Ujab8g!y}Xb{dc&AQKZIE-^F7y_l?j+9b;o1Jpa( zxnp#iaixlJ{y+TxyOtApA-^1+J)Z|C%VONPPjYpE!?c&gCAtW%itvOU^&|;{?we$} zv1|MnKjQ>FvH`iA!lrmUZraTtJ&{Mp1;P_(uTHTFa)B{&&Ms%I&y|p{)V*k>jYpr$ zgLc5M*bWb4lm!LkgmhpFq{c0E7nBf|b%7(3$W*A^{<-926RtcG@U*z()VS37 z8RW3IFECvefHHX2MIg;1>kUxmD7iA(!Bz7V3)v zPXJ=LA-ZrO7Ev(&Pk>zu3@`z_O-SRV4!8dODMxfK71EWGlOHUG{pfySN0ome#r)CU?W~@%TkI zSlc#VC@NT<97>;ZcEKq$Io#nKbO@LOo^Wj0smjBTM!48zY>!0B@8H{)4JM+*hy z?Dnr`tUW$4l#A?XP%&fKHWT;un@3|>ON-Jn;!_!(_In#)l-nI&UcP`_@|uMFLxr9) zyt#A^YQY+AcqewwLl16GaF-%=8tj}xYL@eK$Ub-H!mlVRSx=ok>Iu@`;cm=H6d5Ev zzpP|kV!)_Jbex>Whb2jFXmX5wcfNlPJlv6@qLN}NBmUB*NU^XeacIW)b;q5ZQ|2RP zkUI~~0&Y~vvn^V3w-}tHT=Lt#J^z9d2aJ1dUTGQfwhC?KRPcTFj7#uy3P>xb?3B0FjxWU?2TUGs?1 zhMMEYYmFNu@;oJZHn>wnkGi$)Pj>?0a&cWRtHe_TxMp`{&JHeShd(0eU zz;&-FhEQ4UCdq8b9c=EPZ#PnTwxpwwmzK;C`J|{C3dmmzTM~E5tSLri4&G#-@=!^h z{+7xkvKcm^8&#gw1tO0O(QY&&n1Dgzq&sn!0()Q-FY+XXC2A6JItx`K`Bo@frC1*m4`|oH9j{I-ni{#61X3URNyE-vNa$pK^bO)xkGU0 z6|4f2yNls`m#lLma}1~g-W3qX{PQ^_9+zATj_Thbd^bmd_SOPxX_9U=p$*A@|By$oE!vhj5 z5TL$n`{?{|27=Ly-FB*hOh{USXMuy4--H}ViXLs%5%l@f}BS_R&0pKm>d+q~x% zdFQSxD4vV>;6Of2%oRZ?fwbrBRmro&Hn0-6_$cK2}JFT>!*p6XQCrnDfTi(8r zZKxBbrg?mc$drX$@?6NJ$XFNn);@I^f zAsl@of*}F(N?fkP>Q_Q&*`nQV(T;vbuGzN5lRxz6G&`&va@-~0h4f_XL_j}$++^}3 z9fLbhgXc8g&K-JK*Tdj~@~dDW#RXCh5#Yi7lbr@5>z(TP#0wZXALm(oJS0Au*2uoY z`F!G?ySHr+hmAYjCW9pXT?|m;jbmrh899bChf6(B%E)jtY7WkGC*95H@tx<%2*>&$ zj7N=~JUqcs&z!yqo*blTvr{~e4}Sq31><{oUW-Y_r9#p(`1$a#8QEn8L`RK=J>165 zbQ*_DSYGegS&Kz6E)HlkmuK^uzli)Dq+# zAO6gWb|;s3SGtnMkOhJHmi&S-1AYCoop`mucp~yC2S=X9k~;yoM-{&q4~G-|j4@8X zqY7D!=sV=Oje+09a!(G7tCHe0{66FJtXdE8gZzd*kDL6`w8%d6HIj!$^+AJR-1&3p zyV7#h5olx^ zSa53!eWRKI6aV@A-^9Qq``jPS{#72n{z>y*#()0y$tit(xsEx^OKs2idEO3-S=VLc(n?B%XgXfQpLJ zk#^YYONN>1K$|rIG;WsN4?Vq*pK!3&JKs@bXM-g9CR57_)&Vm+{x} zYlN4C*M!Yth&)3+RTkw0IY<6pzC^iJ`BAw_-KPFQeOjHSovNj4mup{XQTluOapvvT z0c*e-w5TZDYd|JJhtQ$)bUKobqNC{;I+hmcB>HChBIXU|5c4gwocmtBQK?m5R^L@q z^-cO6dWVj48%Bk($2iWMWu}<#nO~WwSm#=47OrB#jmQ+WjeeAVnchcF!JKEZBD;XS zgZ-8b;qtgO+z#$Vu9ch3i+nPF5C1JcRiK3w;SyoH_@H>FbV!;lx62vI-<3t`gX$CN zH|lIn(Edw%L<`lA*MF^_rk|yst6!iqx}@v6OHa^~^b|c+PuDZ`6?&GQtLN+M^c(ao z`V;!A`rG;e{cC-S5oIhkZZY;6hm12!%Uo-2GM_akTcMU=Ew z>B=VMcI9>DfO1GVMU7T7RgZe3db@g``l7l|{Y3pvJxA3PPgb8J)Ghs|P6Tu`ind}NSi_K;8*+RCI^|9sb zCbousi}mvN^N;f#d?(+7N9=@0FkPa_vB1i(@~sE0$F09v-&iDZP#xwQiK}-K=wv#bzL$QM{)8T&Ph%39rQq%eE}pxc zyN`Q>JH&m%&ERQ%6<^Ai^V|7){t*8Kf2zO=mkC9}24RzMi_j(fAe4$HNwcM8(rRhD z^s)4%^gXy=kS~!-<(+ba+$ist56L}BqM8kE*r~p+4yrL)inbioKcHQ$f38n99y2a8 z?=^F+?bZVpCRd5;C{aYwm(pGIg-i)^6LTZ`2|JtH&OOe3%BlQ9K7-HYEBM{KC?p6u zLXDtFo28eeNpd!@wn452RbP@nm%o<76j`}K@hBC_Hf0y^c7s}{HmG~m=hTnX5N)0& zYdM(1b9y`W*teL;0%NIhiWOtwYBoYzY9I3+^DP(3Yr=9NOL$q@Cq>A-d@a`0BR>dw zyrIkjS4e7+dcFEJR(6KA1Q6fR-q$|XJ_k?#s7=;?rJtmqsz>S>x<^0Oa2Zz{i!Ex0 zAATNJ&Q0M@;|+eXP$f(jLq!q$>@M*YakJDaoi0bqMHtCYyvnVh{jbzowNsq|Stx78 z+7|6etyBA6J63PeZ#5n_J~Voalgtb=pIp@irrd_&ILP4L%xi2uSICueK8*Ga7X_(X z%KJdm3ceC_-N~OPR0^GfCG|-c$iJ1FziZuk2B0Y1!JB+E3cq`fUA9 zy;twk`}F~R5W6(Q2sNe~VMeCWXfzqk;K5d-&1g3|j83D=m}Z`0{$O5it+w7JbZthC z0u*udpXrUvTTCa@#dI?VnI5K>>0|nt0cH?aYKE|(>~uDa4QC_RNH&U%W@Fe`mS%ZY zW_8xZCa_6t3Y*HNv!i!d1zX8(WM77cxte=|dzB00pBiJAQNrnvZCiy$g=d8`#RM@) zOc7HdD>B6uVwRXI=8IR04~Wl*FNm3Pxm+Pv${Xb>@YGhwiyFB}eH%LD5M=uGMwPK0 zI|~=f}_@jdMaZIZsps4>u|kHUTN;2U}qT|<9JH!`v8cJ2Xg zFaHw1O!%izAeM?7#9lF7zEOToejC?yhA5%Rbme@dUfHbvLHkkv#@L4W?y)|^3?|_g zLW;VA-cHxi@6dCZJjTcTk@=CC&la;cvG1_gaew5#;^y7iY!8l>`63n`v zjsuk5G-07$s{8bEeVP$rFvcR|DoDFO z8#_%ZYLcz{uclvS_AxQsd@h~4io1*34c+`DcGYZXvaS3~?5ITX7Wo-@lU4(XQ>gFM zMI*_`Hm(Jnw~ddCUzw))ojJpbw&p?iBgYEnTh8uf--Mq0f=%J3i4o!#;zl`7DObK# zrm8;>`nmjLpALIN1V<8jC5o-$1=1bTV{!`Qa*Ppc&<1bFhK@a-VBBG(VsCCRtIQs= z*X%R<&860Q>k;c^tKHgXeL-xQRODiTy*rscfj*UCiV zd!B3OPU2?*FCrfg8IZ%@$G1VI5AY`nvjtUHB4h|R2}RTdOU^;Pvv zb-((l+Nb`g{#u&_d8=rN+LhXBty0^h-K^aSi|9$MMSD~00A)VbzSU;v^K=Ea&?S0~ zzEQtP->ToE*Xd8|Z|M8l_^aH0t_#xq2kvBkF77lm`6ND{FX7ihrdRRRurXfb z-{3#uzvO@7Lxpf*rVt}=!ZP7X;Wxq!!UMt{;d!A|XczVi?+FKm5Rrk!D$0^BxugVebsg-c1JWl_sC=T#$X@v_Xo)`Phd3oxrBz;))pE5$tyDL{ z&I{A3K;1g+QLRyXK~r?qc+mI@bi&_2o6n5zj7akWQ#Vu1Rc5{Uni-Crw*mI+&DI~R z$E+u;r>z&P9_u^UDmd$at#%^K!%|6uoO*;lhk1cn0ek9C>@%>%kA?J0;qMdT#HC_^ z_z*bvO>q${y<_E>^3(F!u;o5g7J?Vg*RFttxlF$mcK<#4htOQ-8Ck{-<6YwfSkfit z&E_`q9mp)&+G6duNRpI(jC($PJFL3Z%zj9$``AfbHg?e2{09CXe5r5^EaMvCY2kqI zKCss-{5nW`6haRB#B#AhtQ0qjRbsWcRoo`lh_&Jlu}-WPcZm(+9Z-zDovNdq;M%hij<Yxo_oX&&Pn`RDl8_;&tX{$u{1{CBvFItp?w7WS(wm_j1_ zwKQ0D*+RZhBCLbwuvxfGs1@!Lb_%L~T;vQr}ZQgB5s^Hb>L7cr6(ot4Di7`x|ulG5Re13Vn@! z4P;t9e1}H;E!aly1`7S%9`iUv+8 z*m9@RSHj9DqSwH)+d|(*KS)0XjqrEa?^BpNm>o<#?5P3f-^@H%OL6QH*hn6>gk1w$ zWCQ%ZE$nUVo$S5r1MI`>ZuUv+p%>X#;gjrR-(x?3h5b4EHTxa=Z+0puF@rmmJCi$y zJCB>k37p2oLF%+}?{b6OOlXgr_}loqdAG1ixJ&qx&*t;7x)iGL}=7Y?58@QUK&)3WJ z2jKOdZKOkUJ`2z0T_en7&C6lk`pieLTSKf_Ryu5{E%0o*EUI}D-pL`la~6FGT?T0$ z%UsHoF?T^)hrwoC4~g2we#M^0dAU07ZSENO?T>=5&k@q$5@03U78sU2J=*9)HP=bErrTKHCI z)%I~bJW2==LWSu<7$kCp5DAWqhFp$C^neFf>VgaYOp*{GMv75lv=}4CinPc>GV74d zV_B+4k~P78Yd}Wps!L5!lhhP7RZWM7zCz7XbJcvcP%Tw`LlV47tyZ@p@=^nTV+XW( zy}Aot(;l@EJl?FfsI6+7+OBp$5_GBE>Or+f?S+o-R|mlRloq0eYSXnaEnJJxBDE+j zT8q(QHCp50wdk5lOVERz&6-xwb~Bw zM7_34YtZ&Un>1<7uoqgjHmw~tL#NiIb!!K;9<5jF)B3dmZBV215It0%u7~O2dIY?# zC_P$_(PMR5=XH79XiLDxtk5fAcU0-s*rnU_8ogHE0sEs~-=#O`d$4Dl^k#Tlt$G_g z#tywx@6x;VgL==HK2bOS!55#^{d zs*SC%Yif*IXsJ4*-q>X{AW}7!kJSyG+5?}z&*(P>VE0gFh#6{5H^aHObipt&63!j=sK(KNIxfQ_?jZHQlRB66Xh%u#&74D-|*=6FND|%0<+s&?>cjR=HJSRazUZDy!PsYHhP>tXlY0lc^SrKfV|2 zwVC&d=b{E^g?qM5kN!G%)I?}8Y8n_#tP7mA5_OboY#Dlhk3+1MBVbI4B zTqGC8MME#g4#f;z+~J%}*57Id)a2RJ!D_WSA*p+L_IlBg|Dr_d|tLb{Z$f{$BE@1mRF^Y}TI@Tot-7Q@Jl&ZID@OgjASLZ+0d zVydD2>Kq%r4O%b|PYAao2>#eXx*d-zhYdn(>}|jZk?NiH+5@X5tED*??2mNVANfw) zq>8KNY7zBqfFDKVeka!hnLo%;d8e zU-C!T(mq8Vi)0mj++LvDm)tEMLCQnjUD1}O?;!~=X zT4e|P!&aqDX;(VoA5u>Ilz0d!&^h^zj@jmDm1by@Hd})P>kXnW0$L&ynt|v9zc$!o zOaFFT;)mE0J_b@f2_EALCvIM7OK>8$8}%m0Y9gWg5v>Zf<5b~}EcQ!aB7ceWB~rHr zveqwQTi{1_ITAJ0mZ7mGZ6=wS<_a^*%r(p5!&jTN<_^R;$iDaQ_Cog+(A!DS*gnu= z2efe;v~L%v5DGmT0Ua9y{i=foxq2aDH5JgITcI(Vfc=Ar7KT9+Mj;-;1J~uyZ`Ftt zwgblpjR-TwbBHWczM0=qw!OW`sRDXqkw--TaBI=O?`>rse=>)7Mv@UFLEZ?_|Q--{Sl z4D7Z9Ar}$Fa>NvCga%l{ZP1QALMY-!I;^%7#1>az-;!Nh0gtd6-e4^}!CmkIn?TJr zcz<1>X)ku~pcn#wFC4UuhM&iS!U^#2(&5=vN>zx+?2(#4W3qEe99jl_GqGp$5o`A$ zQn?lJ$sO3ayX?4oo7{n&+b8$SgK`MsfKdu~4tYa~Pfg@(KD`z4wG}o%D0IEftY9i3 zL7Ram3UOB*zh0C>do)2ighKu&K^AU=?c4&Hr{lL4A7ooEA`1zSUyZN`Lcysi@ObOs c(e{YbA%RjLd8#0FTBTkIL;mOUe*^>n1Dss{g#Z8m literal 0 HcmV?d00001 diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/Def.txt b/Examples/Part6_HardProblems/3. ISING MODEL/Def.txt new file mode 100644 index 0000000..7829bbd --- /dev/null +++ b/Examples/Part6_HardProblems/3. ISING MODEL/Def.txt @@ -0,0 +1,10 @@ +% // Include files +#include +#include +#include +#include "IsingModelAux.h" +% // Additional include directories +% // Additional library directories +% // Additional linker libs/dll etc +% // Additional source files +IsingModelAux.cpp diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.cpp b/Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.cpp new file mode 100644 index 0000000..acf8efa --- /dev/null +++ b/Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.cpp @@ -0,0 +1,51 @@ +#include +#include "IsingModelAux.h" +#include +#include + +int** IsingModelAux::initialization(int n) { + int** latice; + latice = new int*[n]; + for (int i = 0; i < n; i++) { + latice[i] = new int[n]; + for (int j = 0; j < n; j++) { + latice[i][j] = 1; + } + } + return latice; +} + +int IsingModelAux::calculateEnergy(int** latice, int n) { + int energy = 0; + for (int i = 0; i < n; i++) { + for (int j = 0; j < n; j++) { + if (i < n - 1) { + energy += latice[i][j] * latice[i + 1][j]; + } + if (j < n - 1) { + energy += latice[i][j] * latice[i][j + 1]; + } + } + } + + return energy; +} + +int IsingModelAux::calculateEnergyDifference(int** latice, int lineIndex, int columnIndex, int n) { + int energyDifference = 0; + + if (lineIndex < n - 1) { + energyDifference += latice[lineIndex + 1][columnIndex]; + } + if (lineIndex > 0) { + energyDifference += latice[lineIndex - 1][columnIndex]; + } + if (columnIndex < n - 1) { + energyDifference += latice[lineIndex][columnIndex + 1]; + } + if (columnIndex > 0) { + energyDifference += latice[lineIndex][columnIndex - 1]; + } + + return 2 * latice[lineIndex][columnIndex] * energyDifference; +} diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.h b/Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.h new file mode 100644 index 0000000..8299544 --- /dev/null +++ b/Examples/Part6_HardProblems/3. ISING MODEL/IsingModelAux.h @@ -0,0 +1,21 @@ +#ifndef ISINGMODELAUX_H +#define ISINGMODELAUX_H + +#include + +#define LATICE_DIMENSION 100 +#define J 1 +#define B 0 +#define kT 1 +#define STEPS 1000000 +#define ITERATIONS 1000 + +class IsingModelAux +{ +public: + static int** initialization(int n); + static int calculateEnergy(int** latice, int n); + static int calculateEnergyDifference(int** latice, int lineIndex, int columnIndex, int n); +}; + +#endif \ No newline at end of file diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/MainInput.txt b/Examples/Part6_HardProblems/3. ISING MODEL/MainInput.txt new file mode 100644 index 0000000..e69de29 diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/agapia.txt b/Examples/Part6_HardProblems/3. ISING MODEL/agapia.txt new file mode 100644 index 0000000..edb1f50 --- /dev/null +++ b/Examples/Part6_HardProblems/3. ISING MODEL/agapia.txt @@ -0,0 +1,64 @@ +module MAIN { listen nil } { read nil } +{ + + PREPAREDATA + % + COMPUTEALLJOBS + +}{ speak nil } { write nil } + +module PREPAREDATA {listen nil} {read nil} @Master +{ + ClearVectorOfProcessItems(&tasks); + iterations = ITERATIONS; + + for (int i = 0; i < iterations; i++){ + tasks@[i].iteration = i; + } + +} {speak nil} {write iterations : int ; ((iteration : int) tasks [];)} + +module COMPUTEALLJOBS {listen nil} {read iterations : int ; ((iteration : int) tasks [];)} +{ + + I # foreach_s (iterations) + { + COMPUTEITERATION + } + +} { speak nil } { write nil } + +module I {listen nil } { read n:int} +{ + +}{speak nil} { write nil } + +module COMPUTEITERATION { listen nil } { read iteration : int } +{ + int** latice = IsingModelAux::initialization(LATICE_DIMENSION); + int energy = IsingModelAux::calculateEnergy(latice, LATICE_DIMENSION); + + for (int i = 0; i < STEPS; i++) { + int lineIndex = rand() % LATICE_DIMENSION; + int columnIndex = rand() % LATICE_DIMENSION; + float randomProbability = ((double)rand() / (RAND_MAX)); + float probability = 0.0f; + + int energyDifference = IsingModelAux::calculateEnergyDifference(latice, lineIndex, columnIndex, LATICE_DIMENSION); + if (energyDifference < 0) { + probability = 1.0; + } + else { + probability = exp(-energyDifference); + } + + if (randomProbability < probability) { + latice[lineIndex][columnIndex] *= -1; + energy -= energyDifference; + } + } + + printf("Ended iteration %d with energy = %d\n", iteration, energy); + fflush(stdout); + +}{ speak nil } { write nil } diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/execution.bat b/Examples/Part6_HardProblems/3. ISING MODEL/execution.bat new file mode 100644 index 0000000..eb4b374 --- /dev/null +++ b/Examples/Part6_HardProblems/3. ISING MODEL/execution.bat @@ -0,0 +1,4 @@ +echo off +set GENPATH=%AGAPIAPATH%\GenerateApp\Release\GenerateApp.exe +%GENPATH% exectype=distributed Def.txt agapia.txt MainInput.txt IsingModelAux.h IsingModelAux.cpp + diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/temp/AgapiaToCCode.cpp b/Examples/Part6_HardProblems/3. ISING MODEL/temp/AgapiaToCCode.cpp new file mode 100644 index 0000000..1a859b6 --- /dev/null +++ b/Examples/Part6_HardProblems/3. ISING MODEL/temp/AgapiaToCCode.cpp @@ -0,0 +1,88 @@ +#include "AgapiaToCCode.h" +#include "ExecutionBlackbox.h" +#include "InputTypes.h" + +#include "Includes.h" + + +void COMPUTEITERATION(InputBlock* pNorth, InputBlock* pWest, InputBlock* pSouth, InputBlock* pEast) +{ + // Local variables declaration: + int& iteration = ((IntDataItem*)((SimpleProcessItem*)pNorth->m_InputsInBlock[0])->m_InputItems[0])->GetValueRef(); + + + // User code: + int** latice = IsingModelAux::initialization(LATICE_DIMENSION); + int energy = IsingModelAux::calculateEnergy(latice, LATICE_DIMENSION); + + for (int i = 0; i < STEPS; i++) { + int lineIndex = rand() % LATICE_DIMENSION; + int columnIndex = rand() % LATICE_DIMENSION; + float randomProbability = ((double)rand() / (RAND_MAX)); + float probability = 0.0f; + + int energyDifference = IsingModelAux::calculateEnergyDifference(latice, lineIndex, columnIndex, LATICE_DIMENSION); + if (energyDifference < 0) { + probability = 1.0; + } + else { + probability = exp(-energyDifference); + } + + if (randomProbability < probability) { + latice[lineIndex][columnIndex] *= -1; + energy -= energyDifference; + } + } + + printf("Ended iteration %d with energy = %d\n", iteration, energy); + fflush(stdout); + + + +} + + + + +void I(InputBlock* pNorth, InputBlock* pWest, InputBlock* pSouth, InputBlock* pEast) +{ + // Local variables declaration: + int& n = ((IntDataItem*)((SimpleProcessItem*)pNorth->m_InputsInBlock[0])->m_InputItems[0])->GetValueRef(); + + + // User code: + + + +} + + + + +void PREPAREDATA(InputBlock* pNorth, InputBlock* pWest, InputBlock* pSouth, InputBlock* pEast) +{ + // Local variables declaration: + int& iterations = ((IntDataItem*)((SimpleProcessItem*)pSouth->m_InputsInBlock[0])->m_InputItems[0])->GetValueRef(); + VectorProcessItem& tasks = *((VectorProcessItem*)pSouth->m_InputsInBlock[1]); + + + // User code: + ClearVectorOfProcessItems(&tasks); + iterations = ITERATIONS; + + for (int i = 0; i < iterations; i++){ + SetInputItemToVector(16, &tasks, i, "iteration", i); + } + + + +} + + +void InitializeAgapiaToCFunctions() +{ +ExecutionBlackbox::Get()->AddAgapiaToCFunction("COMPUTEITERATION", &COMPUTEITERATION); +ExecutionBlackbox::Get()->AddAgapiaToCFunction("I", &I); +ExecutionBlackbox::Get()->AddAgapiaToCFunction("PREPAREDATA", &PREPAREDATA); +} diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/temp/Includes.h b/Examples/Part6_HardProblems/3. ISING MODEL/temp/Includes.h new file mode 100644 index 0000000..af9ef8e --- /dev/null +++ b/Examples/Part6_HardProblems/3. ISING MODEL/temp/Includes.h @@ -0,0 +1,8 @@ +#include + +#include + +#include + +#include "IsingModelAux.h" + diff --git a/Examples/Part6_HardProblems/3. ISING MODEL/temp/agapia.dat b/Examples/Part6_HardProblems/3. ISING MODEL/temp/agapia.dat new file mode 100644 index 0000000000000000000000000000000000000000..04a970ad1f10c463c4bacd47302ed2b2a5d9a221 GIT binary patch literal 746 zcmaFG#K6GHz`)?_?;8*r;_B$*08s0Lp*?Bb1$4l3J8ll9``Z%m5N9Ni5EW zut2IX6oCY>0+6vF8$H2#KuUyxm>GzXEI@LSXNYT%V~D4}AIyyi0gz^p#UMbu13;=d zf!Gtoz|fxu7R5z?^!Yk^`r(p?i-Vj4@m#B*6C|1G~eXVvpW_2D{je<#(VoNZLdDAOl$4K7EE1pg0@jyD|ob{a~FSaTXvx z;B%0n04N7zgYA2IRxoAA%2n z%>kJO0w8r?fO{{CR>!t&+qT)U(Xow=ZQHiK?0v9t&i($ty>mUQp0%p# z9kXW5F$(XfAtMd~`WXNYfCK;l_yGDCD06+#n0;};`S=t*|+H1+XSR2@B zP&-?gwj?%)W#2+_Rt~--Uqz-P1Y}nHIwG|4*iHSz%+gW3T2cM zxaG@jeQV!lrOPLxV;t(o8((o7hotkHTuL>ELacN8di;em(I-yRgoR>peuv6SADwtJ zo_39Qh}qkmv9%3df*FXGu&yU|^gFb4dTzQOit+;>k~|?wk%+w?9iGoK4E^F+^V~=L z9H}wBaLEr2f<`7JKy>jq)suw?5w_-}$)xP37%?BMYN&uiyZw>0Si3l>NYiOo(i|{$iduF&GW!A0<*B)(7)po?5mB=5{pHzoq|Ymj8=w@lTIl z7Tfh|uhnSu${)ow(npw*-BMzh)6#rRkI^lI#<*ymJaWzLDC`RfpoGeS3ZZ#+ zH&jPbecKP+L+55b$5*M<+O)z<*WkVWn56#GJ}#fdi)4@ifV3I_0P&+!oUCm1Y4ol1 z94tQOu-_)H6V7GJWwF?Em=kVBj)k9}biWgQJ!00&%C`)m4Ix|@JNv{O#v5iX%2BWY znihY;hKBb}D-DwFk^w)QB%#1koR*P%DOi9Fw!eTX$Xt57rZ79}_3&tW6o($>Kj4?k z$v=G$34?X!+Vx<3zU^{e)h;X`0h08@p)KsDBysZU{&N0)7vwU%D@AX>E1@0C!?>Sg zSIZKzU8O<}Wz=0DZ~T2cq;Vrx+3umXSD0{IC!Z~9CAJu|`Gq39vB%&0zRrX;SC
79su}LxX4& z9~NtB0n@epi&j^%D-&j*YgZpOo^K&4p~Uc+QRes?Vo?yFL zLKOTAWXGI?U*umreG&zNGnoUA00fVy4MITX&Fw=D8en;jrXGOrRC(b9xh|iIA7PAJ zRL%lhYPy(>c1cdUgjP8>LzoR;`oYc6R%r~ zAn%hm)cus~2#*mE(uL?c|4a&#d)A9}D&7ub$fG6{Zurc#Y!pOw=Rm+V(B{(2ePB$G zG#$CFnzQ}sR_~|YCyPjB&v?SHj?P*1+o(Hoc1^N;8VV|JMeh1fovrA&@STH*xuQ=% ztgh{HGel78s4?%Cz)9m^YdEDrpGW3ROyry4O6SU3?Nu#PY$@#dE)yQST>=r2DO0Q4 z^!SGlgx;2sp>Bs%(i?F|j4wqgF5Q#T?ap9oxI@w0@?#v41P|(-S7h_C` zAfd<=_90`aV`*OQAfT~du=SygNHYuhE7~n#KS*P#+}6%!AhAAYT@M znwyaih#mj~{Kty+3H4P!MU*ZJHRK-;ihujGOc1o#zR@f0aQ5hLAQYSK@Rlqn7o20( zY$!h}#6N9!FneS-QA(Xghl`3f8Q3!D+anOa2Mv=i(H0tOP4mfQN1_$I#qX*1SGnqA zUrV5%-r29Ij9{O-q>|dvLLFf8qY%cO(TVz30RVbFPSREbu5@Rb&$~8|1Zs0;lfMQ% ziHeQ+I{ecHbouz6p;VdTiR&o+2sQ~<>g`XBqzUgT?L9$`X#8FD2o94UAnagQZP>Nn zUcV#R4J8y`DXbj_Kl4n05Fi-=uTLe5;6R#i@CpIi_L@fRy`^6}FOicxmNs;im#<`5 z_;%6!41opF=-0W!badhgJk*Mk12dV2z%*E_8(`Cf?w)~cNXyQ@b1?Ayyvp9gF%HKk z{1s#4BXD&ri$sF>z~qy*hAln!B~H4W7ZU8k{oL1Q$-pV~J+dc~0Ro5Qv z%iFQpJj!X^l?VJC8FyjdYLmajQSHe^9)BOIBy_I~Qq0OS#< z$@iElr@j^Mf?-}*z9$+;3+1mCFP|oQ(3qb< zi=BZ0Y|AJ~>C$$nvT`>a35es;h$L>g(ZU62ySqg49Md&i34}iX6laI)V&BpB_^DK$ zU^crZPI8wh+9D=GsG%^uVakh6AIj>g)Zs7<^YN^NYB&Y5>w;TgoOQEba}$Hg6kAj+ zR9g6c3=ozU$5b5mfg%+2B~`1(jT6!&#`Kd$u=qv=iqpv2wgt1%MR8geS7B(f7hVv`Eqn^H3V zDQk-$FU60a!hxSCp^OwI*BiVXxd9tSKK1oMT8V{|>#T4k&!8~2H2A8JCefDD)mmzb(7I-J{!2#E z)Da2yn}<$9R50C<+>G+A^fug#haiLk`EB4NdGM#Fn8p`FGYW--Q{OC75HX@Se+4Im z_Z)pJoLD=`<`fxT;C9Dh3yDX0x_12Q#}_Cl1w6+YGDi7fLw5$_2rs_H;nuUI^eYop|iAaNZ zht-8@QJ@`;Ms38<7SdHigUpIwUH5ifil32{l?7@R9&rTLDBFbQEmeeCs^iwm#m~_p zykwR?2UU_SnilGEyajq=r&ub~l-lfL#sB;@TcU$05{zgtVcE%2~QC8`ocyl8iN} zSSl|o`Jz{A$QudXD%QcGrhnorYeU(aGvXzLtHIIn^1F%I z23~pvFXy)r5)~MN0IY|KC}venhADI^9A}Xp?wqcLp7y!jBY4G;OWDuPgzD7>M~415 zT}R)3RI_|HJKrrdw^{)b!gD0;$i+~zSgl?BMb=}DbFFFN(1P7|H&Ggs!M=<^(HfVD zeI~!KFt}_Y zcw+`FCABLqy@QN}e6wqLbE&=ajPi;JQd!WZ?LvL3?6KqMTqJ!I`oS7PHpv_}felu_ zdf@45URs!iI^oFvw&LN0xSDhg=~fLz{*~wCJ|~`L*;7}fink7;f`O057Igx0*%3G? z_?5x3cY=_Ou@-oVB&Z|Lch-*502B=>xMhFmxJys<`=IkAA4zO z?)1!<*J;b3bf@?G^c(35Z~{z`Tj{mvpLWkL+lv%bQ6xt7OQ+3iOS6X@rmDgPmiqZ3 zBch;UCW!psWDJOuT4j)OkR-+I3|ltb6}}Wu|FXk`95J7@=_Z^XOovvMc(?%A8H^oq zD?tZWA%{{jVBCn#jdMs~HWz4URwE7cI}O*MO9bdBp*#@mcjp<_4&Q}Ygx#>9(bU|LopyZ2+fIBB>(xXNHR~dSbH9xqYhSmh9h*nqMoA8ZLXp< zxmz!{z^P?5$qIb`7$Wz^72tqTtIpg+e=MD?dj?2htT>0jl^Q>dv$M~9I<-8kb#wGw zvdX&WPEX%O@T*xYUu^sJ3i
TZOJgP0q3sKB`){LT{Qe8o6)bLiCM*I8s^ zN(`2zCkit3`Xa(H5h_PX>>F*}-Ik@on>)VDQAy^vH<~?1XLlXcJTzmzXD$snr3pS1 z;a9mqDc3f0cMnEt0?tdJuEj+S#g~>$WZ~%x=Pf%*>&Qi^R&nWtrV6*a*W5!|*8rt> zgwaaGTxy`I`J8r@gW(L@rrBy}T`A4<2`@dT>-)LyFKDJm^H?0EO0I?wX!n{NX@q=o zl$o!glgw&~mbEzS?bUJXR>upt%3?4^+3(F2457LiQC+izU#33AX-y}~O68iX2CiAw zo+mN5<3o>4z%3Uk;;?(Ae)Cq7;`LAgS~x5mlRoBVy9Bd)#&_)xZMPbxLJ@x(`93cZNkpe#W{bSIsSH!yecpgUGVT+W9 z9fUB))=p$(;u>=Lm1Fz5In;m>@~oScq=-SsxrZBa&LzyXqMD}t)>Uv0y|!HU$T7)P?Q<~^;sNjAC_<;ln6>Ub&44tuZG{q*py5oBe(LMAX54*69QR9+Y zQ>N(?PJ3tK27=MbJ1L7O@h@MtpZ3=Ub{rcEFL2pw8`h zF&s$DM=eaEo5C3jaO8FK-?fMq1=HilnFaYq&pO`5pS`G*xnY`X=~D^|M<}Y^V}V65 zd=3f)dS$nILrjOOd4sykesP`b`RB%jWdC7fZ7(aAee3j#<~S-KX%9zr?S-Wu)u%`v5*bVxjf^^>0s0b)&~`2c*R4ime+wOzdGn#`;MV@ZAM`Jz>Kdo zDxTYr!%B~}Dm|7CBO24Xb@JwFx1k1~3t%?3o4f?Mg6|C%(KZfScO%LPrJ?q0T&1dp z1BaY#lnXh?loiFxu^lqSQQ=CB7;##Uha;cc)!_BswFe5ToUOfmzoSaCHj0^$=;XOT zI?_v#af8hxIw2!lyXO)Gw~;L`R4Qf9f?ZJJ3?@Ld{#fYEpGF+K8%O6v{Xx>R5|&}1 z4K+^`1xvuy?U2pks-s1uGe|faUhNiAiRfP(hdx7%g-7dP1470s)+AwEr#X9^G56YC zb+3$|Oyj^?#grox6aaD>R_DNAF`D~y4p3XRI^kW%`Pgu9Q>}D(%))#A5=>V>Ev@J5 zgR|Cl)YGVdM&2I$dagKJtEQkwaz3uOR$ac6G~RLhGh;c=&rzUW7+G7=H-<&(0uyIv z6N2B0@ucKUfAq=m#ahd=bB%z*S{Y*yVoqiRAp&{iZt$AO*RStQJ+pWIEQU>erIBEI zRJjbzmPYdPP}!BzRbS(lQZ>q0Ls_#w@M1ChtoyNt@J+R^(E3aRI!ie~SrL6h;8T7z885h@3`qb`ul`2gm_9yG zzIo`?_y;kvgL@II@4xN!U+Fhy-r}v|j}laH000XB3G_St_79Hw&m`Qx_-ddJH_}J# z|J_$>{JPaNEyBQh%mXfg_%@Zzw*&9$T4M|mw+*mgxEo7J{h_B}?ou^x_baNm1HDCo zpPfVO_pk4{?(4SG`uvAYT# z_P((uI3v&2=Z7l*C;X5qZcB`{htrhxp#s$`rgcqV4L4gPUoB!993I*c>;Dc%=k+6H zHBGM9t>-l<4OR0;gn|LnO3oRF|BVEUijIhQoo(k2@(TQft!Q#($-#a6wMZ!5XryIv z;Xsc)tnOzzL{r7kvB15-jRXg%O1BB9?ftOD^0wqv6#O%a_MFW^Bh?wh~#B z?TwiN3-__S!{k%`eI_ zPehN%SmZs9sl-aM^Yz^7?@8E4C){w1u>6y1NAbBc=wZtya^-w+R#n6IaaFI66_o3< zLtsoAF3T!LiNTR;r0bqr6}vYvFErpDEPL4?Wu7m0g;_-78aYvVzC>$oR~r^R8n(?w z(bAgNk2D|p`JYU4{f$xb)Q6f6;Q;_BA2ohgb$eq23j>TW)<-;Oksp}h%4N{ zreW971D!IaDUmC)dFHh`zo<4jvx4$WlgZVkI@&<(EL$kh^k{zArd=lDFoP=4M8_&8^pDcHv~0?$}5*P9+=c^zembBAtOY z4_eAPbzzbCa6|*Bvql)om9TGFUXDN+Nr;ivAXg!*QS6pPyC?2VltQ%Oy==@qP$QCP zQ8E71@WXnMk-SzC!*yc$vXO|Q>Lk2$MQwB`(TI+p;>Dbd^4)nhwFm+*&}7>y<@Naa z^aiF&o{(S=WzMkhmuz%0=)Q4v-sd075D`h(uY|tY4S)Oc%M70!M&Hhs|Ft1r4LZD# ziE5yyr!IT{Q8Tw?t`bPzavOYLPIgi_}8Z{yy#1b+&W= zX1?JMGVjYv&Ox!t;eE$bUg0#MDS>FN9Hb204pFk8znA*_USI8R%;cHMj zYYS00-i0Bl4sakv-LERSp!cKg!^AsM_9$5?c5IB0a{RslL_#UUnr%(6a?4LwM}1*Q zQJEd?H_yWZQCeJ24o!FUD+clYE=?@l9@pd3G#MRU&zGZdR;SJ}108R>rSo1dk6K6h zyvHp@m08?wx3BYFuP?p8=eG9ALAcRqF#GIWj+WJE%*HAJ+^hRI)?kDoar-!#Y)~?E z7*{+(5DyO@(wYs|h1zZGPlw&$t&AN;2y0Of>PRpbs-H1CIs1*HY>qQ4itDZvlSy(s zY`Dg^E%EL3)xIrUTxoOpHIgtV@cP50vXC`m1+aEa$=aERRtug`;|FTo4+b-I5l=OV zr{fSP#$iSC6Qmo+S8oz5AzhDGCyc&Ty1=C$;q7B@n|Ll&lIarb?N#B(JjG+H&kSh%w zG1N$Lj40%4fkGD=KQui}LRFOZ+P{eF0qASMSv!B#=2=75>2h@73D6J2y%k3yT88m$ zUnzuovh%A2k!lU8vdPJ`AR*&(U5QCL484<;cHN$zDLU8TH?xp6zYNTOjwVutC3(DFIr29=G4VC;_K>p z1*lpH4MI}Pez|kjuMZ%4fs36*+Z>q+x(I%+8c1`I%Fl4Do#M#zUJ&LQQzGK^*%u>Rov$J-R2t4$dLEUCdpA1qZgfT}?fYwyo&H|ozk3+p< zJ#dkl`XrDXU_$mxFQ|xa#-suSm%D%D&wQzw&=Rlg+}**u68?)xeO1aT8BgZ^EdC+cQrdV!i{O zn#{S6Hm1G`!9>V-+=%=z1Ul*r{^b8lJ~&Wx0DCAuhnwiuWU-41S&Bn|MR_I65! zUQH=IGHi#v4QI;%GXm5msOoq}bG7?XQBFhq$_6g$+6e_`qw4dTyUjn;wsyYoMXJ^( z^Gedy%M1%inieV}>?EoM8BSu`EH!i)&XmCDDkvST&4pPwI>Qrmz|S6~i{%t|SE5Gx z&Qc69A|FgDI5yE_u#sTj^Y)#)@{YobB_wi_x;RwInLe(%79T&~9(7hKKD90J(}sp` zm1I?L`r|&^SG!wP4m7N-4wTA0uLSoQ6dZ5Vpw6A2mDX)J-G2fa<}jWKJauiEC#^eP z)fqazSIu{vI7oPk$X>*~1L>H>;j+&lgu83L?KFc`%@<;V6w}Q8anP`oU!YX#&}P`c zbkPi-R3Dg8*{-xV+v@oCaUSSDC&31vZn$U=000E)PwrMb1ABWDOC!7ACcr$!Wy@`5 z1P_`CFN7O)!7t)cipoaSj$4+Yc~m8oPZFZFg8nSg@z@Oq9Zn)4iEU)ig&x&IYz#qm z4cwlt28;_j`5_x&v~6PDfNP;zf2%K>^ZO3=$lyzOYXs!1n*I=FJ<<*9UiUUyrsl9k zhXB$>YL%am-}Lm+2bvFQ`Jco@Mu1iz`=WhHm-=CglQe}Qw2{!|ki|yu$71zyA{liN z??RIZ1$#wu{ZTRXB*m&1qrs!J*7!88&a`bwQZscdSHh~hKf5ESI|-PM_rFnKdS{R< zzN#U76KY%IlB9-oqLFv2ZS3VV!%Hx(nv=m3YV-4#hTpdejB)4*QfmU9je&GR1l@D z^0IH8T;48TK6kgm6zh;;eK-wT#4i!XBEDzQy-q#s-giiT+AHwv3keS>iEx%7K3R66 zs)3q0LZZwKd%4UG)1C!pbfuKz=&JhBxakaf^IPi=y7Th<+1RBZrG=+x@E*(+g8y0I8UbHwvsy&fe)LgLnTR4MiOY{O+ zPjU1J?L?a~&}gQ?T2AUE=G;D5^G0O=Hm533V$Z3MPJLkGQv}WouOb9OR*u1(tfN_c zVOW_dULkU@kpf}Ust5`3z5}6(L+pBl{=6tJi(GlSbz7$iG}O7eTp;h5SB)?>$enzi z5>~n|hYAttkW;#eGc*X&)eJsiMG53Wq#Ck2_B0y7H^tBFGtffaZEq!0VKe;2>)i3a zOer1l5+?H6B3HJ1?0&(OU|$!>MN5$*Tc(`%#dzoTiL3iXB9`+Ed$zAqIVE@HaJ(g_ z)+@P%=&!E@rj4rzfn~{3^Q^JH8~D1Q-~cyiB-SCL73AJ#izeYS@T6QfdtzO4Pw^5~>Q$*W}cgi}y zi;#lA^fGKQF>V;pk~;CYUumER^B1mOwg4;Zvw_IIm3R8(YTdg}KW6w*@Pj`J`h^I& zl%rAE4fezOlF$jrh!7`lV&HiyK$XRuj$%oE;cVn_xk9PHcU{Pri6B#pF;2*}O(&RT zNy8u{xqw~toBKhy36D}bk`GNRe2F=Zr4$hcjGwIZ1kqUD?D_tpQ0EmQPvJXk+o)OJ z0c-Y)3@0F1Ctka1{7o=?4ya5VqKXEaXKo4%q%rB!h6cO0*CC**13nv<%@@scj(UXJ zQ71xTxMtr|sU>-glf?QZyCH0ix&+Xs@xs*kyc{swM|~24xq$4oG)w)W&1H9zwnpvR za&Y=X(EGjtrX@^+^=!nN(_v+Kxo>oVZY5=USUPE9ut+OaD4ys9B;| z@*80zj01C$Q)G{e9V)!(Yx(a-`^L1seo=z~02XWj0Qi3yqn*8rxxw!G~CR12$Vr)2#C>wy8$J{**I#IkuNm(prE#qQRhS=g#jPM02*D z%5M)KtSdLm=i|lUI4+uy2^kTe)=r}cGW*C87he|-_E&e;o@M3ZDaDiJ(YZ0(E_836 z3qQ6j4TVvHj|47=COnGn65Br~e^4gj4r~)>Uc{rE&%_!%^)&tZu6UI6_{wVV$X~Y- zrqHaPpA1FzE9r9c?M;71`-EZ|NeRH#Tg6Er>S zLu=^Bp7b)>KJi~!!m=1%t?lFTV}^2Z_VWVG4l!V9UXnUlHya}IF9G8!Ux&L}N35>* z46c8@IThE`1ZQ&95TI^JDG4Ee&)HPkSHTy0LLLjfYDE}%y)e7Ze00}oU%){Bl7D?? z6caqT@LBam$?IWoXYt^|`gSa!xOdJi*5JPM-nstX?ntrU#jK#oh%oV7a$Itw(M0XF zV|r`%SgC&FYghnP(5QGt&|8=OI!`{W)HjaDD%Z(*p4WGbZ{Qgf*g3Cs zcgyy%h!TiXwtmPI)ij_;29RcJA2j$T0o~6E0YbDu3YAE(kiePPCrM{GV z?<&!QNN?(xh^Qb%Evz^!KiF`7=CI+=e0)o@*>Fg**)n}1_niCbQn%3yAf<|R*GcWc zpJR+_o$Q<{5p`Bp#re>j?x7L-S2;I>Y@Ei=KeDD>KC(`*KeAM|n{E{;n&+5@e|1r( zQ79Oe?8pvf1x+g#s4!dPZl(xE?Gr^1beI)`T|&-C=W3Zk zOtq|n1_LbX21_=vn+0>}=Tn9CE19AOwawP7!&VP0Y8JCKCU+R7O%>}?=VDz`9DnI6 zSQ!VkL?rYGFZ2VF2xtb)CnCS1b*+y&&JBvvU0ay4wd!KdS*x{WCWw^I<3X8{DZKD7 zz-hHnx>QWp1a;+!f6aH@g2J{@-7CQ{tJsAvCu*a7XVRcn#y7914LInSsg#-&W-(`L z}FCX7>v&ihc{ zslZow>uVJ0Cm4bmgi%FRbtMX~YIfu6xqt@kP@dy9i468u(UO0q3>O23$(`!#76C)^ z42T55^i26JDVKsHTmojLEwK@5enHOIwb7Q}9_cRXPYIBXV1UWRFcQ`x;L19dq+LbY z#w+em_sdf=u8A!aPx$!~0QsnJ*YPHl;jI0gOH9|MU_POWiciTy)y;QSnWzIDiv{tm2 z3sv@HuJ^wF2rme`o%H;|u(*!iB(~7d?f7M3Za;4JmC{0og#%HcxrDSeMb~zQdm-|m zd}DjHD=ni}aYuAqM0ro&X~!_B6~$$V0V(mZ-6-$&P*Fb#x4r5m#{n2nihKNF`#EI*H_9d^%eOi%Yie1^Qy{6! z^Fmlh(QzctWLQm$6KKz)CFG3B?oFlmsqu9Vs_>1)LE|{$yW&Mrg5At}@9Z4q_W8it zbOi3C+u9|et2B?NKxN7xW@KvYOZ=K$+(&lo72(8B6m>-FpD5u2ql&a#`t`o?(Tk>? z)SXcWZP*ut6G8!ywXzT=pI;#3WqF;WW%0o*oE-XkyE(02bs}Z0rW7`#r^AVuK8#eQKW*$w=q=GcUc#USM zHoov2n;JjskUzCFnngMS>%cpWj!5C1Y*aihKyieO?7Xl)VLaGEmQ0L6u< zj}|3S)rn$T%5#4-idyYTEMhp3J-^>TJVS1~=4;1Hqj|BUse1hkvBSg82??m^|5W^e zHH~xK@IC4C7ynls&tjWJxwJn-{D0;DF5sgvF8{iDzSIYND&i9&Xq0zq0VNG#^M0R3 zwXST!2)i|^g4|L|ES(@hFf^-Q*}Aqgy$u@%6ol0 z6f;w3s@A3HT0M%@SoPf3B_3t@)(L~YQIJ9oK_>V}jrB);T+HWY?eS>?3qj^w!`ssW zGnQ8cFRRi9_G67y*(F({Z=v6wi*OFwp*@Y$TS^0)xfoR5$5P(5*~J+*iXS5?n+t{* zN@bs}VW@ZEN;}FE-zvqpXpW`f?@sN&H9fdWaZ~mq#!pv{z``3SzIT{=nvG7c-}2w2 z#l5ZJn-E7Qp4BU5!=4^Wt}1$=WW7QBw@tB_dKV7lhgVYlBgE$Ozt-VS2D;z>L~F%Q z@LKlZA%IPI8`1`XZe`#mTKU5diNf-nD<)=a zarLyw`V8TV*m7~)mrh8tBTdj9p&eMUo&)et9BLyRm?KS7_Vd$Iti$*;jNn?M*$5t3 zcNG9h0#~gKoLaS;s2151cRsMRgMrcxtKGR&81fIbw zuR>5(dQUCfapk7NCB(jC1wJRw25cg35`m>2S?rS?^nWGuh!8pL1)@%_(6FcU2}uq=!BKn<rYij8eG z7Lr~ZR#s=EKAoqTW<~~*(ntqAd#^3eIi~4wJXLFa1_F{T2v6k0JoZ!8%8i<;u*_qa zI2Q-YBi8TN6YG#ht~fJNCMZ%WT??sFXz!?@W*A?0zL0zpT8chmpkYGF2#~t9E`YPj zfg3w_JNF0eWWnUTf>pZn9a2)l%k_8KNUiD|kYEubr5smTLVv}S83XyO=J(4 zJ6LrE|7p-A`6}EeE`}x^P1eJr{Mx-R#(xgM9b0sxvEMMwgn3X##gg`zVcv9K0s3Zz zJ({gQQhh!i#e7&yeY-<*AKW%|uOpZEB|uP+NQ!-rP?%`!D}yORpe{x6*Ds4o}A1__?!(0$QT>c+^ei>UUYdab}E8E}S`A1yZ|M~ep#*y$? zUg;h@w7_%Xx1c~b82f(KsTzT#40YYD@P14mE9`0+;6}^$wR+2pX>5+z`^U^ycbO5# z0;&29KTGovV<8z}MP{+(5&@c0LD!&IgaCyfmXz_v@Ia#vw+i^!aS=fz>#P^D{37ge za1zZ(7P|JZ+juP60)y<`j+@PwLcM1P6es>K2q+ur(Q4*+&|iOaw$VD|B4WpjMT*@Y z9`j}s1!BN1pwW(!a#bU?LVbY<+<`E$U-{M;jMEdd2FB@Yv21v%&(reuxq}KfE2y+! z>8>T#+qol4)xYsXv1u;*?B1QaEU>xLD-P$bYW9`z!X2+)&!!PE4o3hq!CrE~>0IxM z-6gpaHF)1&>U(VAj-g;-xSY_Sn~&FMmj9m2#(V$Eiu31-oXbb64XuwJ`%h)#VWbpw z|4_E^4`oC6v$E+}TmLq`{GYCUblb<3E+;Ad5d+vpc!^uGroxW4&98~D0XJLxH?;t z#U!z#>Sw#aXMe>U_Dc|*H3rS|DKF84xQzA(RUD2>8`A1qA)+1W)w~qaBvow?=zQ_+ z_+~+_ug)UcRHorCu*$fdX)xqhVQdb!_>`E4{t`QQSs9~6cA%Z*_d?<^gX(WZ2G)}b zWNvTr=?<qQfI5EF;M{{*Xn6{Xd+X`MZd}dm8@`K~3~e5r6hO{vG~zPsbndQ<8te|Kj)fJO1zF z>>qenihtey-&F12!GB*-{s9JN`6u{q>&w4O`1{K04+$Ks|CI2Tb=KeUf1RZNKm!1D t>;S-jOxb^j|8>~?Gdz>yPw;;Z!ZPAuAL<1Fz1ZVq@fiNjrBN((`IpQHq5+_H2cGgX{A1?Vasei0|xku zd1%jdpFS}d`7xOzjA64=nlD$d7rF5hFhoQRjsg7!SR?@`iEv;8TSIHXM4+LM6F6WT z)vp{w;^8mQ%hJjyq_x&vyrgqoPwe`Om^K3IqC#>!W=ogK-}qj_YN*2%C%5q~HP(iZ zad)xx1a>LZl`$}1L@$dK-78OnjD)2AU(KVr-{Ix#3gP)*8zIh?9*$N{?%dvv4*#;Z zRcl$Tifmsk300se=94L!M9h z1AXZQ$Sd#SwJ7hkX4#)r_l0hNEu60WFAkD3Z0w~&Ot&N@hDQv%s^$kOH* zaETLF$N(o?U2IibX4GCPi*b*BRPRwtE;*_m$NK`Qa4k~j-YTU?YaqL3MXt~_?83Ej z>cnEGlNaegd3<;mR5w3&wNz%aGH?F0}4IyV?Tjqw?DXK>5@ z(U_nO5= zyn{|{(E;*x!Ex>8jDu*pZeLy$&t^iEDf+0Gcw;VUmepVTH7!=*h@0OxYoD7qM!K9Y zkOt}5WQ^q9z=aQK6K4vv*j0=0YFXUmk16YFMS5|ezMHJj1@~HWWemruT$O@Sx&ds! z&_?u!I%w&^rY26vsoSrwwhcEs?)`FR$~c0|ho zwR97iHX`&ej9VXtwJ0()bbq8={-}UZ5e*eYf@crt{q2jiECaF_dy7k35Eh=wu@X)u zvJpArT0xiz{kXui;K*Ppc_5FFh^_j3@p8{qkeG3mLoV2IH%ioSvZ~)>tz}x-9 z)j4MJ8KOjEtoF{5!igD?mZ@#Q)VanPPrDHHA}*4eJqJr*G#*6OfQb@o3(splyt(36 zxdewN7aAu@o4M`n6a3qQ@7?Xjo5rV&=l;W|RZkIfo=6x>+L}WNB_akFE8^e!Vttrv zH7xWW3#o|ER2{{<123WeWHzQ|JHc#6%HT~HCky&8OgHfa(DdF0D=%pzBvnrdkh%9- zk5czb9i;=hk?5k?Ychwnoa^P2lM9le)yNm#!IqzcYuD9v(M}!m$IDAHW^`G?J(T64 z)GA?BsV+R$&REI5ML&6O%wKXphA84BEGFBUe#G1dhCQz}AhHL~q`#ez>bN6}=cVWt zLkSq|wip0Pi0tHhAe)}}#?Ny3neyu*rrD_;G37{NcRg?9&C7LOlf~Y z$ngFw%%l1N*x%N8i5=$4k+*2#Xn}_t$Gjc`C=9Q#>gWvM4nL45aizib$22@f@K?|- z+NwG;<#F(6dj#3)Z&$o#uWLG}vwBhEF}2r?B&RM>V{;(3PxDKZIYBl!xHl*x(gTRY z5i-i@Id9bO&mM2g<@2>K_Gt+80I1yc$a&E-a!pN--playvFwkxdDeMzSZkpfyF>@- zS2-c?S$VF;E;!qiUkQ2b4JK%vsFe}$N`<}q8Oy>X{)~&K)$Y~G{zO{~qBnMSX|TBk zq0=3IFB@8*Qbug-`$-APxie15I)cO^;mYiw+K{^_A+G6KrjLEquPj)W^`@~V;4(d8 z==aWxfdM(;7@Hd{Yfdm1Y|nl7Cbs(PAbpcJ{2exC!@EWTro7?QpH!62JI2~LV&mEdRlA^Jv zv7=!qpwzrS_2~I~m<60~o6l!g1nSvG#;3j(xR#43z{9MC@t3I3 zjAQ%rzNzs+B44TWv4PpbNFt*2#i#7Evy&(UYVAk9FV7~ z1t1jdrGj(7w3*Y-A9g#9%L%lWkDU$dS~|=4Yh$wf|ATAn#KYF@JL5dp)?y{*S>f6!~5_3`bSai^3Ka} zj{_$q9#cfa>x8FqLrt%+qTB6fwtd)-EgC&^zCFG_bQXtyFqmG_ZGopZug*m-MA}D> zU5z21B`64#35L>N&eLmzjm4iv%In;ymiCm`WM$d`f993t3?wJk*A{8{D=s?*^HvnV zQlUQ?UumEXcP)Y2_I&nvS9Gvhm`iUPfzArQU8C-HsZuqrRrw;wg zn&{Hto%9OU;M<;VpT%!PcrCI+KwOrc9y+^Oyadi+G8F@C+EK0NV)ZMr<(pQ=R=&Sn znw_TET@uiETWWQm)!O1I*UHbacS&eUn(3bUZ{0z2e=a{2PO6;QmDZOpU-2q<24=*G z$O@rrQ3?fWxcVHMAt+5jqfD2#H4)_z`&_Sn=nbyXOCdN2R>wwd55Fzd#84UZja9mj z&Zm(D9F@9P`zU(jnBOGO-Co@rKGn)QUQ<#P*!Y-G|PKH`D8TS6_Dvo{!L#xpuf+t9};cGJ5?`y zP^KnC=9{tJaZghGQzKA+kMXrtBX~VIxun$ps%!~^E(acLhhDuX=dXomdA&nm(aNe>QT9^O;K=+{3TbGZ`>Jwt2dJzT3AtbQqX7KDorYVc$dEI zp@%{=Z+M+-W-GY}@tA9cO%AfUBhkJP6D8dRU=JX{Gvz32=b*CUROkNqG-+FEORU>1 z5}rhPUDC$|mZAM{IPism$)2&+%P^{$l#n*sSlCWu_x!@yp(1Jr^PPK_vkUsN!_AG^ z`l@tM1%JWspWX$P`9k(YswNX?Q1pdjCc!X{vR@Wl36>(p&RvYSji33nL8+t`47e|T ziPhNz*dwu$Mt`*Cev2$^s!OkmO${u-SP1+yQq&9#`#OI z7e;nh`MmcVJ<{(QoOJCxBbJ(uy(hN=E>3J%OlwqdOs3{A2a!v&bYAXoU9D95MabNU z&Bk3u#9sQ}z?~GD2z-`>PvQYZxJ%C60$>&{p7m~vJ>p5X4+QW$P&-AFIaX$Ba6R7n zQrAYk^}PHdc_`Mi3|3j=qNN^UYA#`324+~Xdm8Z=Xn{q$34OdtL(W<@sveIiTL{}! zvz@=$N@iv*lWGrTMl7197lzH(k&p25}SONdiLya3u$aOc|qm3>W zK`V_pWc0cVEcy8v;iFZ8uLa7Pf2UZA9Z;b{pQw0$BNeZLcW|?_Mm@%#GzcrP*OjX})ann^f`LR;&26QnEPtt?At zIs%wc9lP*}ad&AXt&xs*XiA`p+*gIr@0$x3#r+OXX6^O(j@;Pt({6~9m3`yxFdmvt zsS9}(A$%mH$@+h4I*I??bUJxBT3ET-Izb-*fsv$Dr!EH42(z#+5HIZBa)GQFQ4(j* zO}fB(m5h#D98~w6 zEV-ufgibL(ZB5Mjd5ToK-{3F?>*f5{(*JtsAoayBpK=-Z$`F|JcA2 z{M(mq?miAyZV!&ci;>3fVjx6nmpONmCg_WwT=5T*2<%u$>~QKPu4@0V0pS;@Y)_n_ z_{md|!KNW`#9yg|Z6YhBe}W5;JQdL}H`#J3%%YTgm)YZq;b$K)W7rkjJJf?Q z=|W%8+Ysb2m1Qr+jzLO!k@#yQwV7Ljh^_S+`9bSSt$t~rd!3^0pZ|^vk=%bZdgkop zeh&tjY5TZXxtTm@UY^*h*27B}YS!x-ZGnLus-DP!00pgkBUw5V?_RT3x-GSeXP^~I zDPV3Z`B|S+m)Fl{wOGpc+gRHCt}6zIe9W(UY4iK)wy|lWxne$tgaKgRkrG!};0Mx( zTO*4~Wr&~rwx^Q|rGsc*engKK_ISoA(oh5VK-X~POmjK+}9IEuo}955q_KBJe}^ZVQ>EAA5&IhLwAsDa8<-X~fG zGM)dDU}l>+Ir%p(DPKH#@Y$V( zebec^M@e1?p|h4dF#_$SWx02cly{Q({Ro$*in=K+TMi&pQK{{+hYUDBUL{eTz! zMS=GU|4Y)J=+WQV|IFiu%KwXg5&j?hf1Cq<=l?UK9