From 4e18a3f53f1abfc58db7ae3c1da61ccd51cb474f Mon Sep 17 00:00:00 2001 From: mmorge <maxime.morge@univ-lyon1.fr> Date: Tue, 10 Jun 2025 08:43:08 +0200 Subject: [PATCH] PyGAAMAS: Minor corrections --- doc/paper/ICTAI25/conclusion.tex | 3 +++ .../figures/figures/nbos/nbos_min_payoff.pdf | Bin 16839 -> 0 bytes doc/paper/ICTAI25/introduction.tex | 2 +- doc/paper/ICTAI25/morge25ictai.bib | 2 +- doc/paper/ICTAI25/morge25ictai.pdf | Bin 273530 -> 273680 bytes doc/paper/ICTAI25/related.tex | 11 ++++------- src/nbos/nbos_draw_loop_focus.py | 2 +- 7 files changed, 10 insertions(+), 10 deletions(-) delete mode 100644 doc/paper/ICTAI25/figures/figures/nbos/nbos_min_payoff.pdf diff --git a/doc/paper/ICTAI25/conclusion.tex b/doc/paper/ICTAI25/conclusion.tex index fd80027..b1078f4 100644 --- a/doc/paper/ICTAI25/conclusion.tex +++ b/doc/paper/ICTAI25/conclusion.tex @@ -32,3 +32,6 @@ parameter-efficient fine-tuning, merit further exploration. % investigation, including test-time scaling methods to enhance reasoning during % inference, and supervised fine-tuning approaches such as parameter-efficient % fine-tuning. +Future work should also tackle broader challenges, such as the scalability of +reasoning mechanisms, the transparency of agent behaviors, and the +decentralization of simulations. diff --git a/doc/paper/ICTAI25/figures/figures/nbos/nbos_min_payoff.pdf b/doc/paper/ICTAI25/figures/figures/nbos/nbos_min_payoff.pdf deleted file mode 100644 index c1c2f8a1423d607f5d7af5f8deb015de004eb7f8..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 16839 zcmb`v2Rzl^{|9a)xnzbEx{_qy&9$<(j4Rn$*T}vui3T#W_eiqIDv_*8_8z5VMaYQI z5K8&K-?#dF`;_1R)8qg6({axGyw5qWabEB9dY<!szv9zXQW1fRq9A;w<Is{i2pkH7 zx>=utNJ~S-3@*6ip<;?wL@Q@Ed#ISMl|9}QiU1nuLuF+lcvoAnp~Np8RNP#NP$a2= zn30b4IlK)KD*pXa*@vi#BU%yhP}KJdT`M9HPjH2z!Apo3&cVvo(bXP``Ei%vW`n~M zp{4*?B^7`byblp7rtSi;pztGC{E@3e&3|DB{-*#S-yrt{Jiy&|_Qmw^o^D<Q8$ceA ze|@N!Hs03JO2N$spa=tgB`_!`8is<JL&OvTp@5#AQ0(`X@~*CKz!e;9_NyYm+dnm@ zg?F_lIzZt+sHr$Q1F}NJRGa|?DB*3~Z1Et=o<suP$_3(+@%nnV>jZ`|WWyICnxO1J z@HtD2`)Hjd7jPUspggL)B;iUi=Ez(nKlxD6{K^~7iHmyIKaurSv<<0kZ#vnj!THac zZ*R?QPq!{2-@Rsd*6B|CR`Fz7WXBA`_ws!|e|D?Dj+x=LnDUYZkt=7PO`bCTrhRYn z(dlPPZ)OF=zjlb661sVe<JIQb>-|Uz$zg5_uTYHO;?^C<F|KEsFKLO47h^+$_(Y=E zkBGL!Osix_=YO_-65<er3E(`kN5gPw%4KToo4WvUJ^9KOYHYc6F)-!a5SMgaaaHA$ zHbw<ow)hMU_?<MZ_{Wm-4Ff!CHv^|-%}$487<8?v#%ky@)h51hMc-UTU)iI);!u@N z@VlNtlx$1g^X|5~UrKMZNAT1GhTydQ`W)RytWfGsiIpSV8Oe!ZC!37;?v?c~hfW(- z3*7W!z^J=q#JuJ@yoB%K8pcy=ej#fynugQBTbQ%-MpmwR@VQ%0!HW#evbXWy^_%yS zaefWG`zG^rf9s`1(UYnhg;M$^#f{!iBXop>E~&Le`xadoFm|j?rq>uySxilM$M;wv zUCyljL=sM~oe)Iqv9<a5kaMt!VV_*#iKyyZ^vuwMM_Zq4NDe?n5j`V(+|rC0b4$jW zJlZdGgD!q~E&$2(vn)asS$<Rt4%S$M+oT!2?W`NLS=`E$$!BV6+J7xJSAIykx{mYc z6BEhPnp>7WJJbp&jrTT(A8^w!QC(A*#qH<deiX-8Ap?oiqhdEe@$%%z?FjJX=<9|> z#=A)fo@72MxG&gY>sw?5CMq%PtzP)}k>?^e*CzF*{Y%drjg}T<Qe+ckdh2wTU=^yT zAQde*sz>FZ%Ezt8HIGT7`{J1;$&z<3;7+2Tb1<`fc4`XT!`fO!>iAp}eK^NkCuU@b zp~2Bn29-@i6T0%#rwrph6|<gB(yThzIeT)L)mp4O9I52d7V-2PzFWRj_aV_*L_>NH z`8~78`_pp`v$6EF$(NNcQQ=MWVziUoSYC5~esrIiaDuha)#^=hVVzN8>{Y)5f`%Dn z4Mh@G7q5My&iyh%n^Zd6Q+ky<=-hsGnQ)qzplfk7kF!yXL>~39;v&m~D$Wm8Zs8Jc z$RtU^htrtf3^WV~>?>si^F>RQG;3LjgJb>X1+gNZXJa}W)Pxx&;8}sokS^SyjdImv zdDW3Jnxgu?&O$(O1Z_F0F9(_wZb6ri<|u4RADrwrFAj;Q8*ilZ62$U{H{27#?RezB zJTo^bICMpEZnEfURQMH*g3$0Q2gh6xXybxo56h@JaMdP(vH~~G$%H>0%vr8@*6vzc z^*Q_Dxg~>eO`_nb%GaB3@@Kf`KiquRvW#2L+&MiRK3(|$Z;{D=mM)QYZK`F<Ykj#? zax27s#v<cEIs4Uqi_>DQykCvBh5H_sJ(MlUJZZ4%ap~S$iqvZN)D4ujQe}|VUFmE$ z(b}G1?<tC$x4x7GB4%?k+MYZ%`Sa~MwR7>^W<B&~Q#`Bx+<{AW=EX-8)XpN<>nYj8 z!p+?ptAe{53LQlav8U1=554_(NYs@<RFQts51ESbNLxoW^9eY1I<j2X6!m;3<sOhY zw!T-(w5G=|eQr81L6$iM+sl_y8^l#37yhJh=y8>RSif(2=YWO!DOG79kTt%QMk>L& za&gPiCj85%sFX%@`YCw7-x4sMx|F+s#pSaxXD{D=<uTrj3RSZxFP}Pav@uIbzHXsr z>U>}#QJ`1K_nnbZHy@(E<%ZA4m6+>i{G=m1$LL)34k4esy0I45vVvdZ2t#IcyvaO8 zY4xd|X&^DrCC4^~+}YIVK=~nPexajadgLtUTxt1OU-k%Z#r?19;fJ3Ezwo!a<Dzi2 z+yoU|$bsrqyUlg0?s$eD_jv>D%dPPajZe7U<e$_#xYKbL=*5a7MuS6DSBn^pur;!E zh85hZuZrdMebd{leGvKE*Fr<R4b()Jv`-x2zT+Z~t2sB2m{~ArgvV~(_VIC0eTJgh zHr#3;4%}VnyZM;0lvuSkbr7quFw&Z^EKKczEA%{Nj;PHegu~u0){Bd~mG9KBO|pl7 zO?mY4!DW%lk2awzCtrO~JUMzqmurRLM7wojqZPJYbup=PiTO1_Fa@3ca-W`ahC70= z?sLbxXv@ko*PJ7y-qP!w^i18cQ4g-C?g<WeAGtVvD@%N?&$;j6fpYr!C-41Fyel?& zLGU;rz%OK{j})por?WjjM5MltvplX;EwlE{0y2;6BZvjljPJNNdb<Z67N{9N->a`s z8y9%<1R`$V{f}#vGfDL8rXf=Py^}pjtdDq&=VBWQ-*xW<O1P$Ja2g7rFSUx`UU0v9 zb3)`+WYz4L;v|jeq=m>R+uhBy+`*FkuL`P6iYbtm;D^_^^exXa9n_Foc|jp{R0aH} zuaaZ#tlQG8+6!~Zla9XAY+8D5<<hW6jk$qv2iu@q)e*U<3brWtOY5SGVV8s!cCr;$ zy3Su?p@<H-d12T<GmJyoKefVMtquywi(n#q^5XLT#apwV{PP%W)+Tfr`Y(sqoe?Fd zxH43DkkwAKw*^q|Yd@dc%VMR7zUuYP2C{i6IJT_u4CFAys_wR%Z&`hfYfaVWJ(Ldi z!nx~MjlTUUZ%>82_!fGzix8g7PaB!{PDh$yk-m1RW!(#T+C?jFo_+b|z5MF}=Jrz> z{ntJe%k-@3^9K8#baJw)$)sw{Y;+Wjzvwz_asQ<3>T0R@JGqkB)-z|6Z#)z1*AUv? zC|Egux3X<$eD0b1_y*-gaT$@$4Ds9F*b5O6`LsLX_PDJ%Bj>?+<7ZxY<9EEgley}l zD%=Co@x_Nbz01Re>gaOj+B9Ijj<7G4ua{RpeyMCf>LE@H6Lrv3m-cP?p!4o&?)9_z zHQ#&$9x}cuY?qjq%7nP72N+nq+)EKf?mNlxCR6;u<q>m2!A82KsNZnr(u~ZJ`~p*N za}NpibuF&ClLyJk58bz#>QL)VJAX{RU7hn-%-Dy0%iW&?Roo64`8yt_5xsYH{XDgm z2BX(8i4*tl+iJN<NMXb*ucc18NL%-hL`09K@Lpw5`TVH|{rJ^ZVZ>q2616+txf7^x zQBi2HC^Iy`Wssakm@2IK<?ZOb=T~Lh_A2?uk-?o~82zoaV<qw`;77;PXj-VD6z|A< zoTHiLY?QMkg5cL6{Uwjc6<d>aK*0I~as7a<BzOiwHUtVL{u9rVa2;4_3V^?#4M7n5 z8@5BB!~sC}AHYsqPu;ZzMpyrZb-R%)xwQ3y&NX?4w>!7_xDLF1%*d;0HoelK#AZ>g zJFE~o)2w1ab3I`7>hp}vLlx5}M^*BYP8yg(S>Srdh<f6OHq^u$AcL3l0?!n07=2(m zFVt%)>0R+?<8jqooM4H9^y~}H5jB%xrNMVHRWCgiiCxeDS#cg}CC6xs;Jinln!Q|5 z_4hE9{KZ#Q3xeLOR~|}#Dqz>)T-5F&Xo!G_7e`+EVxVHe@E+5L@K2ZtLYU}ymmbgA z9^y}lWoPkd5|xr-vu2?^99nfGNw#A9;!^MCb;q*&SP%K5sMh>R`-b*;pB=I!9kb)R zDEik;!VheWh5fhsWTLzGH^TNQu4+Br_X<bx#o#nU=eOaIi@uK;Ogn05*yxVrjs_=D zx&>D7ds&)WP_inpaoEm|NwG(0*s(oIKYokl$uW<YO4(A{8aEiKo{mig&r_~1axL$| z;cn<%{BKx{)nsml(kX6aD5#R{_<yK+x)?Zq#k4z(c=doyx0uoy;&M`Gds|}EhJ%ex zkcio9;-OPGj+lsgJM*k=E5uW`hV<G-1FN`a%Q>G9He`P&wF|v{8VL^)Ph&o0DR`d1 zu)ba>@pdde*7=Opz>PzBm9U<;Z5c+K=YVHe+&1r7f|J!i+8jH(NC`(7UTbjKs@PeC z?oE{Z`L6XL-|`PIrqvIWlk&2*e~OF%H!!~&H5&cjvx3&sbX9`y8=F61W|=3qd2BxI z+>o;0j*H8a`!sAvY!XKKa7SO~SLY{d)OMysdzm4$FSjF{Y&qhETAbCL6E+6Qm=8Y9 zn4YpUTP!6rPP?PnzsRw!6fE368{ah%Sd}3C*sgT1nyX)*b70jug|_;@FwGHpri|LV zY6{sYPiHIMb5HWJDT&lr=g90tuC2?pztBwTXoz!~-0R^TG_)ASX8WK~*;mC!YP91x zXLF6)2=&%}2EB&6*x+wcWNVUv=Z4<)wR%Sn2Tgijxk`Jm;<IgT(Hr_tlWFOd#+z4< z;TufDB00SFH9z=t(KRBaTmH>vhaU&`;s<K_DVry|=<(Mb=MUpXAQAtqN10en!XBO< zrgP<$^bL*PocV8K9V=<hvBiz=Sv)vd>_3F<%j4WGwX)M?X$TEgd}b+?wbW=YcWUa8 zC{e&YcQnZJ;*I9(ko20+cISI)r8iz{@w|Z@S9e}e@4)mq5N0yQiw$0CIX!5bzD_t_ z-{mx#-1H!{>$Aj+0k%ZYDGtMwrtEb1u?qL{o&MYshi+rRaq&oPbC#s$>#Zxs6P?r7 zR&SflJQIH0v(bG25$BOJ6AOavFS>$8^b_WuVApRa4}Ny9iU{_7rRsNF&E2a6dOH7k z-zd)aD{lPQ=dY9>AD`jcMPcBs_&3ADVE$WQNF>StraOS9V73c64w+L)h6se1$;pN# zbyKl)lUMd=_4o_h;Bd#1$zw4H^wp<~99iV<dzG&2J#&am-|0Z(E}Vd86~A$Ug#E?3 zE)%cmN(l$1PBvJSvGMar=7+o!b*V3}jPdg=UgI2LQ$Ckmr)7-ejzuK|U0GanuekAE z%DLapZptJlCH!^b`~a)<O3uZR9u;$A{?<1^c9QoO^swyI813SlCBpd=qCWJ)$1_bo zF`aA}$l@MCi_(Y_&*b6-P&UP1t~~MEjzmnI(=vC~FY!AfZJ~5}VS!pT{HRR|`}~YN z&7ww=gGpG@d1XrZmG@O$el#m%FVA({rM{KgCnaEaXNjmU>dGF<!`<<|Xzg|G3nzvC z%{xMTAJtxjAPM{{4sCNo9n-PjUPkTFj45~E`7m|c^|`2J15Q%e+V&Ko)G^}psSVu& zPivbW&@rw%D=P|k#yxv;wz-eiDcPCLN8>XUckaY-O?tzTv7%F}Wzr)98%IoriAQ$P zJ$MfEo9+=P)PI|Sa-24Sif3QYMrMxKTJh`|nf^R|W381(`+FOX37G`XQ9h+$QC(wJ zTn<lSIfA$-wt%>JA0f3SIg;kCQ{!sZjBiF-nNCRwc1u|(p0CzFc_X`c^$_-@s6LvA zx4r3`ole^m8&=L_OcYA-l6#uCqW|iUvuWUgb&XQ~8(F9YrmnT~iB1>2Safbz%o_Ca znDmyh9J+SL*++h;^BB{;{So}ho;-S6#fM8IMJ*Hfra$_RXC>KP^wn2qf?d5>+Ud|k zff-1sw`Xrl*W^}?K7&fVBc+aB^WT`Rez<}0i21<28GL?nM~ME?Foo<DGR<%1dv{SD zcxv{$@{sWVRvuah8xO2G-4}voVW$s{$vrA8tj4_9x>6UPb}Dv_r}HTbSDH^6FYg_@ z_AwJ%sNED!tM$>RDh8I~jVbP<i4n9`A#v`{OJ`g&quF=7llqOQS23H{j4c>nG-*9Q z!)7l!MrGre(Sq%CjWlPei1I2c#2Kl=vgv||)y;`ePlLRVozaN71&KKR%!t)bW5V9p z%k)dMm?$3B`AtFJK+M&g<qNA6hY0dJ<`bLT%JmC;(8Dxr&-JWVGF}Irec(;xzITGz zQz2bml!d2vQLun9UAMF{H%nj7{g!OuLg~#bug{u^?4mF5Sn+p#p|Jn0FBx5_XeA!H zC2X+R+OhY%?%XORB6h2j<&^0Hx>}d3k;ev@0#xbXiMMC?%CgD>9z`g;bDdtg+5|08 z)Q9%@GK3MA3ovmkl3W?clUCw3(T&RRy%~$d0vYP#*e^|xAkV}2WkWUo@ZzJ<Z;;Uf znSy>deb|KGc3@2T<7H-{uk`i9JM(WQcAa$TN`y$-4ek+UuAQ=F(U$10SJ#i^NJPBh zF7Q5jsZ_cnS8~BtyRVctZRDxWSlTA1`~9<{wx^QXiQGM#8C88(v8;6)GvOF&?Woa( z<qZ}`K{5S$E|VLVy_l0G4$dEBPO-njF=@NAMg1+*<mfIM+yw$7v44RUWb`#%TjfY- zA?wN7_5KU`rzaY|xH&26-x6#Hhqu8lb;Z`c)--4K2=2UZQEn<-a8cCMB<(_2eMA(W zZ1s4`3Qx5;QM5vWOZ7c1;)bA7QE%~J_NGE|Fm>#ywQSm^OW1ESV*ZbZ@9eL6C4-Q^ zb8JpPq0Lo~Bb`~E$!b21wJ1;brg77x-pbMjg6f=GWInA8=SP|<Dg_s{7K%4=WJ=44 z24%6)_QzNru};`qb6U<1-X$;RFi=YNTW$}#)mIeRpwuF(qy70rvX+Qpn=6jv>~>=0 z&_yDZ;4Req#P<WID+g$e!Y?p?!fvZ=&OdkN36XSt{yzNm5o9ZZxzAD)Ynh!gqdGNa z?8Q{hRa?_X3^<bX++C|`>2k-q&Nt$iNv~G}VPB5iYi;?pdirveik23H?2RY^-yGpP zhteBVkdLhxnVxSncTgVsN@!q26*?WQGCF$wp0!fcHD^zm2Ya4tt+ryHH?uT3uiki` zeHV!o<Ov+D3puwW=Uw^mgM0POlgNb}mtE#`7g#R-7b|cjtXdbQ3q!$hFqF7HOdO*R zgQNA-;IkAo0jafSu*aOR?t?|b)WQ*#^0vrEXI>nxh?|i%r=78!`Eg)}oqIkxnchPV zwp}>d4TdBC0vl+@$kS88_ff812)-!?mGkL0Jk2n+b5`?(_fuN#PJd^;y#aioKB0$S z4UREPDq~pfXEM&}3t01{>bT#8;W(oN&cC;b@%KnPCtT>@W1-on-OMg>o<$_TEG2=% zt!5=<Lp8}IZohKB2(7}fbNm(}fcoOWR8_AT$Nct*PtLbLZIksmqtyQt2)P@`{+opd z*g0OK1a^+|te@q0ED{<D71I>wcZR#@gRy&PZpSAiry9{Rz=Mtm%WTH+c#3~Ld^u;N z-q<(3b7UuV{wPjwQ@=>mTERT*aDO(_noPD6vvI|PcUa-vG|z|BM}lkiAhXGBE~z7G zi{_GeSWeM-anhUQHPtv-H&2@kN=J>meo?W*9}n6eW2-QJ&_4{iL~-|^a3Ti7f-vr* ze7nDMzlr7Wt;2c|fkKJTX^1(7EyX=km2=O%#T7-~PZeEy_u0WP#WHwMbKS`2Y_M$V ztu*hIcm>~A+EPb*xFLB6DG{N2el2fY13sVZ)?fSDxv|N0o1u5xEMpf9?gFo|e_^D` zQIDA#q5Jmi7|7E=Afr0R6GA`jL@^>RTF%q21X0meUr;$hm2}*K)reZdW?VN$?!ha9 zNar{egFF9~(E)>u<frEy<J3<JjOQ_5*rB&S9$R!_(B{Slt<4u+>0P+o1=Au?f8mgo zf#nh0Og+N62dKSDiTzMj3<62h>srrxr)VsleY$Z4wq18>`FM{FC+b`}s#sdEjUpU7 zTCk~3L*<<m)9$2M8nql(bl~RbyP1lQDg`5~ChIGM`Mo)My<HvH4#w<E*1EfXL-ZqS zzGiB5tBJiloZUOR0mAqR0)$WAbm06l(<B2|d7x0B)g33%t8ej$p`Fj6Y-X#MHmuu4 z{n<+AA3mlhD=K8EqUzunUBL)Ake#lJP;bh8@9XNF<D7eXaf_1-Ne?45hVhwlJsf;V zmVC*4K{@K$S0On)W4Y~)XWoxr!aLR6+2-~}KX8|BO>@_jXrqw3_F(#;?;78WIk7Y4 zVd-l$UUjx&4NaM&bMp!b`_7k<(OcLymzCreCBI#i4*X=VOi+m&ija`xi8pzI4V-?G z#ceWUCSEb^!dp>$W^(1os|+!-PfP5Y%Rw!>%+4-2AN?0Lgv20$9S5w!0EWQm!7wNa zYnI>xilSNje(pKsiU~DYU7nUehNyW$Ms<)Lu?zKGkgoV&><^KM`@k}L2Sv^t!UpVj z?DmrOI}dM#*D8pztI@S|kyq0BSMg;8hS~e4LR}bJp=?SOY2h47Tp8qX-BTKrWPD?6 zoxAX}8+b%Z{5Kd<jsrHV(0xi9nSs3i+q2RM8hCi^4rYI!Eyg>g=xdM$ZvnIL{DBLw zOP%j~ZL1g0V-2MaQyow~k=l8Bp@O1B3fGe66n<{W20vT#RBCVQ;XZThEnAP=NG}5~ zL3geGq;<WCEpOw*ORDsE$cs`>PUopEm*#`~D%Z<a=r_WlI{Y}**0<1+HERB-OGza{ z?l+u24Qj&Z_k2}gNu7<5TcQhS>&1PXWnP|{@tzN`bi2T$Hp18u$8(S?(EEnj&h+!G z2Rj}iQvLTh$~jl3&!;~3Za-@s&+17YF)mOv?<8t6%pv(Q0oguV@Fk?L)-t93s@Ce( z$>;r_zfp1v*nQqbmAl|dI0pF_s*IIlrUdr>ey6f|H+d;#`|S_{m<>0Z7tZ>PPmQ2g z>sbPaMgzka0z<3$Ca6}+_SoBOFJfHL%(HvE{0;MF91`^})wVh&5#KprJcVe>Sh(!y zeG_vzvKS><U%t(mB^0dmZ7I61pIv`sJ%PO*9?;pvwXgRLZhQ+Pl~Y&O`7N(~yma`o z(DG?3M`O)yn)^5E?c`|2aoEuknUhB#lAm^wbvFcv_zOEm>(#ro!swRKRO~S5Wxn1S zs9N0pE7zq)Z>c?PIC9zok#8pI)hTFf^*&$G>srCZOuK?@`t{hERPGU;I^6SQzk_Va z;TJTxD$<2F+-Wfn$<moUY2R(^TNCovYgEc|eYe3-XUr^j=)m@Yh4hkSBWsHN5y536 ztkZ@Q0!B3@o8HH2sc8ss;{_bO@->0`jTbqDN8(H}mI%g>9oI_~hpd7nmMbHarY<y6 zY90G#>+jqzYr6dAjWWhNL}GEkKf?cd?=f<DoJ5Iijn$WP^>g!SC-^0>&u{0zAMQUj zr>Xz)Ol^CAmi)_2q_q9{XkGer-F+V?D4?MejVeL1_xc+}DXZ1%&)aBhW!MTl+=GF9 zD#CGftywSk7`naKZeQrK({qkZS|41b?;6iyvF3KO%{IMT{Y9Li^3o3ZSq{Hlj_#1V z05=5uFP>l--P))<aJp{u;6p}@zHe{YvqfkY?0i()`gC-VO<7+Mofa=3=9S22jC(10 zF}a2QLda`ZTMVC|vRJ|$zKsFMyG!A72R0_2C08n<QXH_CX_11(hq<0=V$$6OS?aRJ zn~|UQyAUZ2L%AzVp#yoA!_`niJHtV`$7w7PN9i=Q_wJMvVs2VQ9F}c<r+6SPo_-F! zWAydC=l<Kc82&g{w};af8Mo*unK<Lq8+gr)Dnyx?9MSUH{f#Cf{`L1Qz8$XOt)r9s z6yD;It{<KK$jLpwU+gtM?!_+Fx(kw&_?rhavK~BgR`M&b+;jQ(Ct1D3rk9WQGxE9C z@K4B?anYm+xFVYs_h!-whnRZ=d`yPXnyKnW-&oGIdiL<mo~ZQ#{ST`QiJ8l#(;-Xb z6bgsz{$vfc8zw~l#b#7nx6=ify)X3;G^}xfv!0teLi+C4D~eq-@hJ|P)7kG6O_RIu z8@yPz&brr%p{J4@-@6X<-mdtTOGn|oqieue##f=yWA?<g0;MiC(ku~`;&d;1{+3^m zajwtW%!{W20gEz-$99zuu&@%DKKj^GHEp-wJe5j1Mj2ig`#~Wevcx^amlGp2ma2c_ zl*sFYDK{7VE=H5dw7!fQA8hYtk5suQQZ#rjNrC~!f*VZoD2WS5WZA1|uX+YWo8Qsp ztAK8b!e*yEXm+=x?5+&T%P-S!V8D|vP?(QO&Y&~`qsf{kPeiVN-dntFL3$ta@7FZ| zocd!E4@dva8NCjcz8OY0_7!p&>hEP#{W9U`LhQFIWeZtcdzi9(I_~D$P|?E!)Z013 zQ>u<^qoU-5ucq_*Dzw6c-7)F`q4I|6XJkz?w0Q1OS*UG3KOlWr+cq$>J&da+p>u(9 zRo}G2Yk~YN<LP7Om2@^0Wp(Z{R(sH`zN~ZWFq`mr)tjd^m&mDDHlJ)=S#e$UzC>=> z3M0K*`c1rDAS4|97Z4I1)4d-MPjNLpkao{N|6OUFYgwVh9Vfm*D!NoyC;tfB)woDS zEz9Lpn^$}WI%TrQc<<M#V;OJhito{J(4s?T<Y`VNEk49c-}k|m4N={Q?U*ojK`C+c zN{8eYF0-EcEasU|l*ECj?<mDhoa*QbWKCrsB24zzlo7I7xT}SlbEI0s2-i6rH@~jt ziJPAt_klgz#q4(jVSgbW5>xekw@DqZ5+auz7p`!Phh2@VrRQ}Z&78mSUb#a#64d3# zLxrvi?I(LxwLf(i(z_rqIOZ=bM>!VD3~Vd+cs>Z^S2GLTDDA%Y`18&!>gTFCixeo% zIyUVt-vbV^ixn!_bpuWd!W!{PkJ;k6bPH|5q)w=5soBJ<RdZkEO*g7EPfarrtki#1 z<=EQvXvE}Mhf<V#)OPsdUW09&H)e@z+E;JK!#^K1Xpp)ZslI8UJZ=Ji`%MW}!SRX4 zP5C%gP<X|yk%#@3Aw3(AVTtw+`?Uhamv#|!7ib3@oBuZ+5z*Hqv_k2|JR#;;$W7{5 z=|y6l&x4)n_ylDYddrXS*CF8=7mcC!bDy`|kLr;Nes#N~C%9j2tV1%aJ2s*wUL@F0 zNq83CBHa?WTJnyYd#kjkvy!?^Y~(zH(5ImwJkLxk$EX!+yA|uK(H$?IVm}{TUh}PE zFJ>ZkWLrH&_J~|m8Sp<ld-Hbm)K)y3<3_5>({kTCT2jS%cQ~DOJS~o&HL<Ui<nE{L z{8aveNxz=rKyWRx&-2xZr-mw3Y~C2Pb7szN(O-=;27+D9RIc&H-n?~GIxDZU=Qw0K zCWD(GNNM#Zy_`rmeA=Thvj=@W;yzN{Zt0;~MOxDZbBW4tbU3?v7x?=LIYYPhtyb7; z4h&$+Gan=yI}oq4G~@;Kx1G{C_3#XGi3iI{bIaP~%wxv`Y1TAj%x7_WxO88RZ(rW8 zypy{8ja=CCqUSEtvI|W7o0p47BnAiU0ALi%1qC6yyzvn32@vL`jZNkhRiw3nxmY{r zS=w3ewKayqp>^PXBsHCdau;rP1#*A!G@yaKDiyF-?H8z#%U{#!`%qjQ@enx5V|l=; z1+$zH5Ho(F`EZDDEWdfy^vDKZg~H32x9L6lts88W2l_>BtM)V97lG{2W05gR6JtF( z)c<iovdCTIX26+!_YWLyxT;Qe_1q>kcRmuTJ1^H(Z;jBW3_SM2)6rvJIN^BsmAr<` zN&d3D?2j_WY2A|vn)w4<+NT!CTf17-v&_}EveHsDl;TsCE>$Re3~7v)mQ{s!`Y&U` zU2>?7&vWPV^|Tz2ywgt6V3+>v^nzs*cc?(*8QRJsZs+%=EJ=A>WiuQju$SF1oOSlA zJ5)n+*7(4c*E8tbO~7Y#3Fgi2E6Kg*_YFFHJIvNKWy2cpuUc5ayx&oxF|0AuLZa2; z0}GbEG0f&hx-gxM!|_7j=<vpY%*uSLwsvll^$!dNix)$8nTTCr+~1%$(u(Ncd_b`r zMaDHpslUs}yPzK=fII&4g9Wrc))jylOJ5<Ep#H97t0Mqb-+r|J*2n=$52Ajel!<|N zcWAJ|y=CH7RnjQ4`0ROna0^Xm3G-Y15VfKPL!M`=X^7kR(e`^f^z)l$^JYCd15Y;R z7t*$GRae}8-N6;ZZN$o(t<;EUZCN;!+_!Sa&h&D!V`Gd@P=?TRk#-|0{lgOyZ?A1+ zUl6&wH|#-L@-+yTVL01m`FB~WQI|d)G%$h=zU5SRj||t1^Y;!IRinfD347}u`G`CL zXIU6MtUN9sz!#s2ZLK4IoZK9!$olpoQv8vm;G(ICvCR|N!*3JYgb|CrMjweEp0{76 zMXly+&p)GMM&YC4+o;P%u^~BWdWJst6%+RN!rOU1&}TMt&}e*?KJX}pkA*9-W0HP< z_LZ~Txse%|mlSh3CtX;n>8C53EouW;HQ1fvH^^^kEd(s?+<tfO;qdSguDAYee@+en zS^mH=h`(|4B6{isO8I^D{X!pu><TAsQiMWhcZT<MQSaR!AxAWs&WgMV6+YAOI<CZ_ zc@hZ^oTLi9EHvz5G%IHSRkzVaXM4Z%{mA{oBbBBn;rSgpyHbYjNP+Q%)>m*2`}@QA zA;x9%+cIhLouy_id@Sr*&#ZXu=})F1M5{by#G&&lMk!XYu7-z@%+aV|HJ;$&>v?^9 z<e4MORiZG217GsRVu&H9ql)0mo+2)1`?V#U29}LV-_Is;n|p}zvx}8-eq6^;vg<jP zzL!&L{OZcE?s+$1(noW?kL~G<UvKC8CIidX>%*>cm}k?I4Pi51B5%*nZ*5bawKNUe zMTfg#!M{1X){a%DS0uf3Z(=VBLN?AzKPs+sSbbEcNbMD{JqvZ0mLBjpCQ7tjh>RAx z&N<Uq3ALFXl-TL4k!^v?PvnRgrFgfG^e}riA>b6%DxD+JIgJeMX8V|JQ;s}rgdR1I z*)sfKoba*#zSKlaU6tKgnViP(<$bMp$j|tHt!od^Y}>I-4TMXTuWuKH$w!eT-B# z<2{3ALh-fAiR(h{tRJ@r6<6L;-Q$&>+(qnNFrvg?>>SX*uErlmr{t&eifQ`M2sIDn z#iLercbmzH1PlFXx!00R(FFng^6P09(2+%QL*;2b^`0H=2e*`Q{RMAJwD<5Mqu0GS zi_)L^4w#&9Nnm^Feu*rD>+LQK?gH}Qe{&8h6Z06r=)k8wTaX>OycYu57j+8Hg|6(} z=GCmH^`)?h3?3LbT%6t<VtIY0^$DMW)8>IzIX>}@G)wyYyeC|$alY0P2hF&v4o6Q{ zEPQ6FkGH!t(56tw=iu*GigO$<@L*}-LQ}mFc$1Oaz*u|pmi-G<`~<2p-m_-^Bfoy! z@J?Y#L-!WdgY%-_c9Ciq{D^@6#mg_W9+n<B=2_lg{U&!TQp`su=S1(fN4=4QhTM<M zLaGvZ(%$PQ6!E;q$@->=X4H)j_nbq`Cs&Dh`qxx9h?T`RhTDZ*ee9T8L!K^8t~fkc zq^HQvJusAyJ8@@xkL<Pkt_%}4_X1L?dFI2R)+acG<$G@_v#`1J^XH)-0lVy%DQ_n_ zaQSV?2Ltw!8%l5vFAT3G$><y(B(frgO3>X0X;_qxN^eCMJY!ihK|Mh*54ACso}+A# z`U*QmM#kdNO<{XeBe8O}#jWCF<=!)&zmeZmHAwzbKY%L!x1xQI8X<*(h$&ck;(wI1 z_4Jesg_Q8;tPH(yR<53)FCusn6&<VyKxZ*6s~=?q8VwNx`zYZ(Z3vF;L^lEy4(eYY zDu(m2CX!-OKpMbi{*;vq5ZR&d`_SL}D}0aU5P`!GaHt3hIF*Bo11}EX2qY4S7$K3+ zwjvT7Ng*GiFc`R^0Kfl~z|aqXIb9$U1&H<_#ic;RlwE<~4KPmSfAKLts~}=Zj&^o< zAj$*`D=~$Fp8$EfTiE~+FMxdRVEBnM-j4XANN}`wAVN`q4LMwJcfh*>)p&xVn=KRt z9OL-n32sm^H&;AFjCdX>5giD4Ku|j%WCi%^=na%T0lvjN@!nuhJZUU3S4USo6a(z2 z@E%@P&QNinqzV-WzGl&eO28mux==AasF*%f0@w~1K(Ro*6;#X`h+_e`vjsW<BSXdP zfop&#M<4^16&I)&Fg(D3I}{GgffzvD69R_=UA=$`puu@SodB5&z^9TxJd4;FM_Zx; zpe%3^_%$?!G=D!|zyHrZewks?bo?LF3CxwVmAxmR(7&2kc~2WK&<BeE_yZ|`7a|Do zC8DC0yV`eM0qQXNSp>p}fB+{)8+liIXFR~T7><Z{F$4?RRz4(&0D(}5Ut^4ZE^?+& z44}RL9}?vM>ljD?FQNd`MFG263E)@|gTz3v0KgEJfI$)BXebi+%o0p!fKTu~*d7Vk z2q{O3gYEy{66EK7B+wR2;21v>8u;J@upU4GfJtE_fPt_QfV~0Nfa#+F;^JUJBcKQ@ z8UiFJ291HD(ZC?UvnUSOxwr(t01PODId~rlBp`rG9Ow^@i3MC6M&f%Nn3IG-ibKF0 zWC9clOc=o6z`kfe@b6;)Z2`KZGO+tah)a+XS{zHtu>erO0QDF+0ub;!T@*kU4cIag z3-$wozkpl<P!^bz5&~?8At?dOLHeXg0~HAH04Nj!(nJG&NJ{z19GH{r2c(1oFJPdG zK(;~Az#K@V`2fj%PZ0EvIs0d*?*)Lt??WH}iGgltkSl<5usdi5Kd0+w4on$vR`^{@ zq!CcSssM;hVjr}Ff5rz}fijVd2^a~y{$~`BDHsewy7yxMECvhxnLtDMZUdkl{5z3! z4cG-}6Tc*qJ%BdxGm&iNhfRR?@M{A3B3%PxfVS~7fs$ijXkZQjUO^k!C1E9iIRWhg z@KL{}pEmI`2bBWMJA{;j<zEtMuD{<0+x(M2y8veu%>VbT_^*3?Rlw(v)<R$n29!v0 zV!BXZ<s_B#prmhb0mr5f1!k61X8;9WsgO!mP+*dQ5(HSJ5kDNDEfkn=(p@|hL2^ky zSAWD0I^WlR#1C3_fPTM^LGl`;uMq%pBu4^F8fheZ&{L60KRglOA4!*vP(W5v$pv_v zz!C&-2Y|hk>PX%OSP@7UZct!~zLx+W1e|4)%I<(Q{V4t8{YZznz(6E__`?bQApg?= z{vc0)0$&4?#_<IG<o6QE;h{(@KuA6i_zM5~o$sFZ2N&NRCh(mF=^p4qNt-S}bT8l$ z`(Aq<czVDR1aM#IA2dmh7kD!ab^{#RkI(<Xn?Jpm3h>N)XXbzR!S+Az%fo+#2LA-T ziYdwijl^uMfTJ1EQ_3U$?`EP1QbQP!lbRy`&!&Lu{ojbF|FaoP6u=ZfLok<>{Y5ZP zkROcyPnuus_kWe3mj7r8s_&=V-@W?x5MeP*M_Uj90gorBNC0dpx_JR!m?ZiSodO@4 z|F5$m5C;q5yb}N*b9Z(lIy+iJy^*4Dm?&Hr>OdsAdrFFlx%_ia)Qw;-000_-o2{1( z5Lf$aH+Ne*sI`@i6F}zY5I|EB0Y^7iB`^T_gpwozhCstGFcchcNobf548aeB@eBN- z86N`P4g##37zp6te*6Ib3k^I6cF=$7KvW3+KwW>-!O<x2k^Zd?4n79I*8yJu{9cCy zeB&Q=fbaUF4htAI`1224po{?&`db|meBS?EhmZiD?tj<85U}5Azz`C^diU>ka3tnW z*?@0cejg8xkN|wcZ+%f1@!#74G{DF1-@G8<f3`y+!PV!tcIZF!0s~;d@ACmeAwVPi zcV83|To`_<69*T{f7b!=-+zn;7{DJoMPvS$OBm+QIfr2Y#r#eKg93cuZ*(ydpwsv_ zF95XqLs#NR0L1^+4uD&Kw!>ilY=;GW@^5`55a4?MZ@LngKlLJk{lgAmSQvoye(Q@x z0)G7WIt&<J^=}%0Xn)YfV*h*=U~m8w{kt!)S@}Z;0KNhp(7$NF;c(E&{Z@wnUF~mm zpg;e;4vYR{JOttoTLU(hf9M&GKui2?f4~|6fb)N75D8X}&UgapKU}~$`r?5#2fzbv oZs2lB@?Pq$c7Xc=xccssJc(8WB58SoqcKP<gpW^IM+Nf#04?USt^fc4 diff --git a/doc/paper/ICTAI25/introduction.tex b/doc/paper/ICTAI25/introduction.tex index 53f4df4..6fe3fda 100644 --- a/doc/paper/ICTAI25/introduction.tex +++ b/doc/paper/ICTAI25/introduction.tex @@ -3,7 +3,7 @@ Generative Agents (GAs), powered by Large Language Models (LLMs), have recently demonstrated remarkable capabilities in simulating human -behaviours~\cite{gao24hssc,guo24arxiv,mei24pnas,wang24fcs}.% reasoning, decision-making +behaviours~\cite{gao24hssc,guo24arxiv,mei24pnas,wang24fcs}. % reasoning, decision-making These advancements have sparked growing interest in their application to computational social sciences, where researchers aim to model, analyse, and predict social dynamics using agent-based diff --git a/doc/paper/ICTAI25/morge25ictai.bib b/doc/paper/ICTAI25/morge25ictai.bib index f7ac7ab..0de0c51 100644 --- a/doc/paper/ICTAI25/morge25ictai.bib +++ b/doc/paper/ICTAI25/morge25ictai.bib @@ -294,7 +294,7 @@ doi = {10.1177/1043463195007001004} } @misc{guo23arxiv, - title={GPT in Game Theory Experiments}, + title={{GPT in Game Theory Experiments}}, author={Fulin Guo}, year={2023}, archivePrefix={arXiv}, diff --git a/doc/paper/ICTAI25/morge25ictai.pdf b/doc/paper/ICTAI25/morge25ictai.pdf index 246d446c6eb7a08a89800830e90f8b4bc1f23ce0..bc2c6d15be95dda9cace07664614987cab499fc6 100644 GIT binary patch delta 23927 zcmYhiQ*fZq6R5q}*tTtKY}+<Bwv9KoosDhVw!N|KY|QifpYvUO7f)CBOxH}!^u<(n z^}PK>ieE>HrvPC~s)wZpv}BSt+K_wRHBMWyDu@T4jh!XA+*UG@yEFfyo)EqJ=QE*9 zlI6!QjZM@l09*e0gIXF0?NFaT!o>@7727l!2ZlQ}_Lg5x-Zg+1@`(wtEHE`Rim3Nd zF*Gru9JQ#f@W3j~%~}kZo0xO^4>H(p_m0(|KYu9cUoM)jOO<v3juAKxrL*ck`f_gy z90oVv6ohdDc@q<n0y(8ZcqOm`5rIX~M;Eo;i-g>bxL1k1x~f7cqg?7}LQ03Q0@8s< z_jezoj7C_k@Z&~ri|nOroN)9JLCn>ciOZ3ui=_4qR6)U-yyQvPgsO{ykFpX-R3+eQ zIi)Xcgld*Z<eVY^K``qC1mXc}nU|A<<cvDqC+9=YkmH@wYEccY0IY~Yb&jgRg;HHf z+Fdu!%6h=3S1D9b7e7MUm|^o%f0c{OWK<SEf!W^sGod&RX@N;ft5O@utxGL|b~lR2 zx~3JMg%aT`dt8^y>C+zk%nf%;(t%#7;}mX>x9u}%qq+`YLki^^E76=OYi~y~t9QMO zK&!_=3ccrkuCrJ>9$gWwmY~WNlN2f*K?rr?w-`OJQBh5>`9R6{c0$<tmhp!zgP5_b z>r;Gj9#TlsAu&!>w^0jK4A@~soF*HyI2Uie5@J$bs^}ljiTciynuN#pP4y)E{YPwj zL+I+2%n}3ejte>qzBH>)zimEm5+qB(M&MAp+?u(p8?_ayFU?i$EL?<wxBwb%Ig!^m z;`n{XGzQ6*X4WA3D<~$Pr#NTMELbc&oN$CNOYE&Aq0ms?=(2MDXj^muRuGHsOhJN@ zy;q^w^^knm+R(7&9ClOsd6tDGIv~%PCCjPy+_1o1_m6mQV!`FdSXsqIQ{ElZsLb*` zc`<N4_8@<=PBy;r7u0K0wDniDEtoT<8*oKX-Wn=CSJ!EIsZca*aTCjC>=v_lZzxB1 zv!=Y15F1yQq%CG<r-k0XuT#`R5BW1iWU#9*zY|q4DL^swyb7KQnK(MOV6=dpmPozO z_)ox0UV&}cG<N**T1t2B)1?VwClVQ@_08gTsEPyZ!cR{5lP-BCdNEo*E1_6Q*o^aX z#rg>taBzvPuwCi)e>Yo)GT9A3s3v-o`WK8vus#d3<I3~5IHiXuj?k3s*R+0ZU^`sA zN=G=gDrWM4)9V8M0L=$$;ofyq85B(iMFg<ux&P^PaFXDz&|CkU0071l8@LYN<H;N! zw9eNv#~<93k+}(U$&#N`g=iQ8an<Nzzc6(`a)(!R6qW5|PLdy*6R8oyqN)V3J0~uG zQ3n}PG)SVDmC_BQPh$JeI*(MxlUe>q+={Q3uNmz$VQ_LcIY;#|0^f+bij;@nAp;Qo zN2KyC|GRU}EK!ur2p0COncQ~=8EK)9Xqkq4y)Z!}jr@P1TTC$4*uLG(ic?6_S`-r6 zZ)`}CcvfbFnSMN(3sl;Zdmu47+~70dCex5C@1a?L!QJHLl;vfe2}h~_kvR)N=dIgq z6r!`t8p;~&Zfp&~wQ*}E`ZMs`FaqvXxG@DFCq-mEJDR`1nn^6{{c-Fl;Feu}8mdHJ zc07?rK4o`D4we~VCjU{5lc_;E9)jVz3^W!q^>95^TU{zN?3_1y7*k=oUZW>i8uOBe zK`u|(lsaX8pCB%HNNpDsrFE$Gzvj^Pug*B#p!+$eg74e|dy+yo)!mZdRSDERs{6^} zilWHyX?7s*Yk#Q1rocOG+hp3e1s4)VCkKkRQx5f~tjiA^<N90AHMhQX5@l(wO_8;4 z&uG&z5Jy!S8-Z0d1)x8~I@vXb+<+Jtlgb${7*PB3CRC%9yYrZ9=wg@|St^7tK2W7Z zj0_Y1i|we0T}8N`XFCaYQvw1S<uH`QZ%kQrrWKDry(RRA>_FZchHP0>@$;#80~|gw zVp5epQds);(NLp?#C53g4(J?1NCi#gjqPQqs=#wx8)))=tF6Y2Cwk&8VrQ@=zP`*3 zHl)<@yK!KS8%deU@A2WNmVn`HQPXmXwlG{F-|P_;e#z^vL^&f*2m>qzv)Uz{c;{^} z8YfOuB|-lv3j^sRee9>Fp`o%XIOJx9GV4r}r)ak*9`U^J%VfzsA^VqyaDp!_bEJg? z4~?-AL?;|%YYbuw(4?NunSKUFc80e8$N;5^v1xD%)Y*R+b70Xc#<6~=((#a##~-eD zn5FJ^il*3~Z#vRxuLd@Lfge3(%~2hf2Z<+WiBfsuG7M6eDReFig<BQPF<DK<r_xE+ zHjq>O_L${f5W@=-QbmJ39|}y=-imUH{&dzLr4mKkij#A7GjiMQet+-Ig;?v-+h>`i zN{Pxf`0i25miDvvWbgfuHYdbUMXCNSFHE%ia(0B-nKej+xCC0Y?FB49r@yhfA7X-g zlpGS`OYjr`x($J+4qz`_DwZ^LOiD`M>suHV(tzx~Frb$uV~az8or(yb1%5FGsT^_6 zSzWs`nRd%nN`2ls_fLfs)2fKGnA{7sG03~o2#vGCM4Kz=StJyLUP>aQC)(KobEmwz zU5v#)ue7&)Ip8$(=7)SFtb;sFlX0U!PTH{+a(zo-5lkYh9+?oq8b|q>j(kwt(Bzb* zHW9AFu)m)5qJqdjLy<tjVpa|Y#^M%VJc8!<52i>`(Dlr{Ou-3sgJ{jCLLnXIFQ2`3 zriQ>+mDChG$|iat<iqx@2N^8%)u<Xe2FlX)4QEND1Yl5VpJbQYHz*X<&?S`k84S8$ zzXHcujyYv9r1e50i-!7=uROmW7Gbd*Ufe>W9&S5>Yf4;;!Q$(sbN%)t_%(M)$r0WA z1(CFPQNl7RFPCnAGqw~<i&7&TGiAH_%wPp+%7uO#UFGU4ue`tq4_pb+j05_#i(E<} z4!Kb09&k!MCevFh1wAy!WC?%yD35+oj>WZt`kKX&U(h62KU9)~QuaiuTVBG2R~>S( zDBrZfRsiV(lq#<+Ns6sduv0~}PNj7Ob>F#BDzTw@;iqu2y_w=8=Sp3$G0uuRx9mkd zJ0BrJvosOo+P8>xaBvaAQvNZhq9hIo6~<aM0lLPR5dt%6QlkZwk>#hJauaX2Z%KI{ z3*d%Jpsl&8+(e1~WF>3tPkJewNx!ZxF?0n>q+GY;3IHb~44VxB7^f|Ui3iM|T$yA9 z2I>x95@fX`%@qEv=}~St$@+tI%MM7YE2U@*`gK5kmdYaBZ88<Alo(MC`B0FeO|i`? zFj?6jt(1j>o_MfCJM?k#^8|b9E##mzIdEp|A8W(9m({Hm6vV)J#P);;6jmZ(pVgZR z50XL7b5afH8Pm<R9r#~sYz6!7J{xm&2UktPca^honALS@*kA8cMlDIU71XXAD@gep z`XeO<Yzos>loW|xgBf=w1&wRCB5nI_K%%yf6RDqeDTVgjWC3`ziXF(#Bm2Fu;zylq zKJ%_87+Au)2TnCVbVp|=Y|cFYWLfX*b$}mCCYk)!_^Y+x@8)byTjM_ocg)^@5qFC% zkS@8`Pp%cS*c3@Os``t)?BA~%lR>;{dld%G;C=^B=|M-3W!PrNdeTs9mdyv61B{$4 zW7IHdjwTd5gaH!1v$jO;KPKfwp3`%cWb3&p_sxm3Ok<R=KHPt3Hm&ZBvKbSZE`N@! zXkFJ5{wz<f+}M)dn5eA(R*Ho4=idQmfo6cE`6wRyrdLmn+$RZNG-o?H)8d3)Kv^tX zb^@N7KLiklNzU8js~VP$_U(8a<=-ZlGn=3^%cY=$d!ZgJ)@r<ltR9QX8dC&w#{om$ zQH*k>_yXO-UbL%R!p^YN@3isF&Ycy-Qftm_6kBXHgP^tR`52%bcr-AZBW6#!lSNI+ zfE5AaHpY;9ZfetI>hJ`WUnq`#fOJ{cu0~|TT|z%GU5FsACE}Dwijhg=e7r4bs4WfJ zas3rRD6FaRb6-8E+z;ls$h<wCM$AtY*!sRbF(|0&(qc&U%-Y$kwJV_0M|1Q_N?Rj= zTg-faJ0|w<=9v}#)SF{OC$#&|T@C^>$`n8r$NFHJP1=3D;*AS*|9HP=j|}uCF*fb( z$fgv-_!y}I?r$K!KHn{S7R@a93ha-SS~N>!)+RISJF`nIQEWE77Uy>63UeUr^`90D zlj}Ej#7*aHw`|cKYV=^;PdmhUYC8DTyEBZ3gHt0gCh3w)-)fvn@*9th<}_wnQh;o! z>MMvGxQDuWJI2Gpt#r!Ot5TuRr<EDcFU8Us)AMRu$a9tC{(gAeeD;G>H%q${rMcgo z1FqG{){V^*UQ`0p!CrWtse$J0x{|YV`4R~uE~MR8M=*-ZdO?S@4WBjE-p?jF=iq*# ztz=g`|1NXALIP+dMX^+I7i(;L<AHS@8}8`93hS`$v#^XhMD+>3Mf_kKb~B{NoNI|4 z8W-A<Y>w;3Yr2_<-SNxpD|6-gs7GON%GnvPlK}0g-RZ4QUOf~3aj)II?v2<O>{C0w zsLu5T+^^9UGCG$n8aWb7I}eKS*g)*{$h=?6=EzK*(u)h8ZN;rF_4?FUn*gd=24#_K zn{9GzQB^U-CV8l=6E@=jNup7&t*!`1MwsPo&jEdP^BYoFuApgvFZ1-+=stux9FiVw zadpS5TED%N5zTyDH@5ETgr%0dtd5L~0wd4g$9htkgtN|6J0l8SFZ<cznhvXAvZQb$ z4k}7~k_BFFEjkrs(RQ|6Vt|`^Jfljbb96-BS@Y&7F+Rb9TncBY#fdNbCrT0-^p?7H zy}KnJbb6EgNua-{o4r-zV3#MgLa4GE;zEmpd~i`n<ZSSyd+H(hSx}e8mA00EIruXj z%NhZ4M8K2I9x<;l@}$3k<g%<ag&Y(k7+=(VpYVJc>-0b^yp}2$A~3129yJ{@7Zy`Y zdR;t_2=?2i7FN;r`I9ISg?`Niy1AD=s6Ifk!0ocm@pJAfxA=FjWc$TmJOAK}f165C zkn)o+P5n*5bnW_oYsfEpmLvI5#tM1qOor@RCpm8;E3Du9an?;SP9#zi|L90rO8(jP zYa30|6G`1rv$M!))&X=}-}O$|@@Rr&IAcfF(5DlVz36w{cpAnpsrt6v*d7BzgmA}2 zDSf!o6+mJGeU=luK5Rm1Nl=qYL&t_LM{C02xcNluxK39PjX!-RW!ICD_EFB1C2uo? z^n+wlNu!ltpCjgP{>wY<>e{A)qf<}6W)|wL_UbgUpnd(J@_-;!OIU6jQ<@{KQK$Vy zj@GSuv3z{K#)`uoEZp_SGx=hP(wtru@bR?-dY@Ux+4qPfEd3C=k4Wpw+x`#U=A0m? zr85*1XAffZ_U2%YpL*Kf;MOr$C5~0QKbJy|h}UwVy-jrspK#dlC}T)dy-6J)eNfnH z$uA9|8xtME&wxEhW)umhR|QUj^0cN$<K_g4LcGOzz9ie1l-LgP`Z1*N+$knjX%Qdh zhK13QxF=Wvhy<k2koafCGkFV@RT#%EeuAf;iX_x(Ci_L{ynJg!v~sBNo6xtQ)(bua zYvY`)Y}TvVJMW9S-B8LXNz!UwV!B2#adDc=5ibPZ@4yXmo{Bf$x?1VaYc7ar96kmk zV&PS>TWj|^1+qjj82?1H;&rj6`K4ymR)%QUovTb;h40|%A#iM&0Kb->iXgBI>&<g2 ztc`d9r>!NHRqB8J9~W>bpQ;+!F2S6*r@id0o^T$p+z>?&0+Q7wp>S{tPt6&98dAGs z3A@vR&4IvS$^=7M4dGvTF9u*c$xP;x3b2;SS>V_1aO7U=LMM;76Se5(SWmG&I6>?! zDcy;Rqe>xaxIEOjt*$nYifeLiQrA1AHk4>7<sQF4hC~SlTTB9IY)zxZj<&1ywy2y< zbN)6d+3QVNTd2F$>LB}wKo|{Zsq#<_%xmCO*8$-FV2i8hU%m3xjdgHuwEI+${w9+Q zPeivd$6sDjA0EC4abDd$l-*~tWb*yu(W}Kq@`*pBw9gVQT$>M^?gam}7sl1E9Plxu zie6r$iR~m`o!7q2K8NdexHgZZJL(E?FgEm8NO}wlIe59?G^uXPlWPIoElJh1RSUK{ zO%7PXbsD%O;N2bYe$i#@j5o=E9n&+jBK0^g7mGn>JCB(z3V>6fP0sn_g~Uptqivuv zK^G;@z!^o65YyxIx_c?<JLYTnOI2?%`ZA?9oq^5!=uk3*fE-0$+LeWf-(~saHG2&@ zG94(AxbEymz}VTJXASO<!pRNmC~LSZ)dVD=wL+n|C>UY`)1J-B*c;HTIvT4r9&|=< zrIK&i&4hCXv#IzXqm-NiR1`T%You-^Ex;%7oCQ@pQAhVkXd*M|VldJA%J<t-H*s{q z_kUtkQFZo-!&)vHF1eY<QgV+&CqyFs+J5ZWFp&hDq$*S&HH|VblSmtr2rH}WD1ce^ zmg5N7viupAJzYoEKn3b7^7bb0RyBnjc_##{Z#ua5ViIUlp2=<c6eMo`qf|F<b4Zc- zDDw>Wn{Cpua4B>m%DV>6G}Jm`N<()Z+Uq2b4sfS2m4mi4j4Y2Qd`P)lFt3C#9OuBY zap%V;ou1G=PfZKuyhAw;@LR(K6Cf$i&*>m<xWm7p+Q`OP8a%6a%OtjZKJJxM8;!Vn zn8B{eO>v$NdrT9~M15?|V3anNOG_Fo2??zWr$28|1Z^-Lg*<{9jtG8Ucaumix=U#3 zY20#G96{&i(?sIH{&!d72Q=ggRim+DmH`QpIL9*B7-x&n4ef8ADM0vd8jxg`eE$<a z)8RKLOJPw+i}3}G(Dsy5HJoMwsCwr~*rD~>=&I3>@LwFEe@~P*pgj|iN|3|KypXmB zk=Z=g^l@Nt6o>7EJRy)Dg6~H1I$P3Ps4M<g5V?+L>Y$y4FIa0*fp88RHiTPV$u^r@ zB$NlyCZR4?9d7hd?*qhS-hh#$sB)tTvN*Y`7Q;kgE$3vufyn~UohTI-1UQ;~@O}3j z?f@^~8S(2MR{Z+RclK<P2ye|Zt_1?;wTzIt3r5UR18Et4Na@0KJq*(r0sIukiRo-m zT^x+XF6*VtJkD?-n!LZD_s3sb|0L&*8w#~a1bGzf#Rf~%9_Hxs0RwXR{N>pXe}t_Z zrF&G_NqgZoz*9S;-{&2&0<8bAs9&aKmm<}QnwdK!s65MzholjYde$5t_80XNT|dPR z{Ngvm`8W+pu9Ylo(IGv)e`bQc(Vw>`dqmae;>ajf1=~-dYx5>AHko1$X(QkAx8$)f zCiQ7~72a=F#Gz(Y06eeet=34ZG$m7QLCWG2M}G~RZZTDi1bIVPw!N<v7W6zrLYPCa z!!G)Nm~Fw1k0nl2SpT6`pB^A{cz14$Ci@cR-nP$rt{B!lS#rGh%L@YyYz*&`8D`&f zEQ?JYEJ585@03ReXcT|*gS5YBFVgh48~i%4cDA{`n)$KI29$20J~!{l!Ybh&D7YF9 zQU_rmaO+E6oz!e3v@T|Ga>i5KaHQ;-*FHjv-ZH7G$S3Tx>dPfHqSXuVzr!_V5nzK! z)$A5RLnEBbDkZoGV|O)3azWj^VHo(@M`69aR27qxJ^AROyg#l%Z1Y*}3A09}Kn`gM zhgofL#v|47079yi5?+oVjrGfcvd&rzM?BVJRAvOlQB-jy$>yp)e5bTBxnYyL^fqQ# zu*sB>e0#A54it~npHjaikVAbNv=e^wB<{1tbU{2Jqo<YnHPJ(QzoC=Rmw-wa3+tC+ zXp?60z8E4>LZ#{R&uh%laeaIEY@-Z+C<3q7!_&Szz!xcp215evPoYfH{DsZV0km5- z2Hr^ffpNKRlTUV+`nV6eCdmm=%Iha()PS<812P=W(b!8VdZTCP52PEw&qeP3fd>=M zoVAkh_P$e;B}0gXiJDZ3mWsBUsY@!hY_XYJkl|EY6r4K!Ivi16c`oh`oe5gXacK_W z==r~KVDMK|EMN9q<H+MbagBJ`X0p+LX8AR8Ljff3d&17&J0u$N6JE(&m*sR6a^0s6 z6!fF=3r-xq?*DAZ9&ul1f3_%;cJc}b)1G5Ny6<%J38DN;Po-04)4an@l{`)Uqf!xi zmu#)*fGM93{p+06ikRU*h{jruZh7J4?v-^c4p=cXp|VQ@PN~3?6+O9~zW1eDQiE+5 zqDcnGDNNDiGB%lCE>aN7z!3O#aZ}BAaNV9q!-`G4)Uu4f!a%ucEq^z+$CAfip>(FA z?*-F}9Qt{)Gnd7K@@fW)YV~v}da(+hbvq(Jx=-HzR4e{KR?!{#5iL=Fm&{*Ek>K9% z3CKW$D(ZXgbZjVdLjF1i<^*YAZ%sbw;9fff!FsYxPc(BgtcT&3NWMe&MDS2r|2?CB zsnVX2v0cAGADLHM*XiCrYs;}pZALR9#r2@-nxw=-WeY2qxZlPx3llU#W|7Fn+d=_x z2fT>iWOSv*J+Fjem-_&oWP8A&693RVLTLy``}5mZ*!R!h$J90dOUoL6WAopGu%zX~ zg3tm^xEv_HCmOr-cV;Z0tk={U6?i-?DyH_Y>T8$Wepo7`5y)Z<V+oA!kKQ;~(URjG zLpguTMG*)4<FOuu+(9|F{7r(<ge<5F6qTXHge^Clh%7^#0$J_!Ef}Qp;q9cctiiF3 z0<+`MSN11~Z2IV7%oQ_(|0!9}ckQJGKa&A%#Fi;@@>J-K&qzUkxS>pW<yet8$3}4{ z3UffB{n_D#m_3dBrMNcX1*suG;4r9&R>bLv(s)Jx{9xTyfcqh7*pfIe(O<x}-a53^ z_l%=BXZj%K?Jvmaa;vQw9-sIQ3Wa1vN|eWkVS3xMxCxNs<*iwO*&+Bk3LgHflNkph zh4?Vw#l*u^J+P7J#TaiR#YB?E{=mL$3y~#9=H>}+g6gN#fijfBVLF77pqU`+z(`Xd z+A?D$Eu9B93dtpdA=Lg&wjk5|f=)3$oKW@%X+{5Ycc|4qU_IPRh32o`U!=&p9lFxR zqT8pyUtmPCN19wY7D1HcKpVI}aT^Qd<)QgOfq_M`!py}7LI)Xj4v6=2GvqaxQwF6J z1gfJCiNZJ1{H2DV%Jl_($!7px2I1g=ONNM0td{n5Opu8MDPXUMwG50yf?ZsfX@jsj z&D+brloUtlgoO?LwM%5N)qoC-q391$`Wv0cH0eFBD2X)R6jKx35--?aVFVQ*L(A91 zc_W}`wU2shFC(NgpcC^|@aeWJ-Lh#fTcW@Fd`_wbmbdrrd!?y?{Wx&I<)i*MjvTnW z8-)gB!wk#^Yol~9Ve<b8=iEt55;}ibghFfxEz~YZ_VnV5l2J)uPR^ek@!~NNB04GW z^x&J6GT^~CV2W5K@iSnU&!|UvGxyo>=art_4*GNkT?qYV3D-kVG!r@7{Y~}6o7^eF zQrfYxVO#g=Yvz&$tp$glg-Elb+j<75N*f%LzKd9PTbG`d*Uzwhp)7Ww&5HU0E8Y7e zX}Jg>=s>^8FgoR9qgx}dmcj=7Y|2^Y=+$=BtI?}`S8^aFSB}Z)G8lZ-9mR2_?$yli zdQl!mPiUhAEdR6PfAohsvK*xU<c@HUGG|(&{~oH#+717I!p3g+SpEMAzpdj{+y5)R zy)YiE8VXaFVx&Gl4qel72&VxIiKMr%Bd=OLO7Jm_$HBMKHwFTt7j$cz^@ubwkzwbO zmKx@CFR3+{B%UQhT2!?2Eo5_gfoxY>*EzazJUjM9lMlzb_-bB^X^^OriPvcGs8@1L zdH-Uq-pp=n<miCg^nMEn<KIV{Y<+mGEX<W+jo8RhA(wT<SSK`)0&T#8q<!WvNXF+` zxMuQd%5YsC6kM0OTI!a>I*jU-llwerW_a2yfjFGn!?6`srJ1kjn@P)=cvEa5x~6vM z&o9vl4TyiEDTc?5Nq1YRhVgyIqiP^outVTPB#mnmVUuBVf1f~%Dgv2HHKRd89mrFC zWv{0Tunjn{#20M#?izr|Ul$b0U090FOD@wd=g=J_nR4h6pQGx#LmCBZ_85wCi&G;( zD00JeS!1g6;Kv^+4^tj&h?P<KcsU;+>gUS^!d2nAO0bA`GACQE&f#bB!(xlsRU3D= zSn&OL5!@<gV~!bBoFv1%Q2W5IoTCao*2ei|WAa0i22)PFJ7QqJ3`tu*=EQKzMXymn zr)Ctgcux>wYFxX5^)w*>)G}5syCV7yGw97WRlO`>FZ~B_y@wSVl%e&Tz87Uif1`%o z)*GyItzON<2b~F7ht!BMteICK7NcumNapeh$B^ImT<Oe65y?l>*hb5eCew*Qv%_S9 zT=gjs<l6ygzXXVCu0Us%{0&7l5{!+W^gURzAg4l&E%bQ=Y|6LhT=0C;6~SkrsSUWM z$1$ql#7!44my4Mm!kL(kJZ&Md)Ro2fbzwuXks-PUNL}`@IUSf~jj-pknpNf&im5Kc zsYq5pAni^(ck61`X~xnO#Y`DP_Qdg8k?gt5L1%}Q`vA+X38xtdb|n|+XZ>ygi$4cj zOosnejE)4p(Ul4$q&;BJDZeo&|Gid5RaB@h|BOla;#P|Z%+cK}r$OSJO}jX$G+U3v zb0i_S?r`fy;zFnfd{+59w%PP(oqV{<Z-Qcr8MaS8QfL#}ox&@wZu_*>_Jm+DLm_E( z@d&zZx!^v)^WMh2xO}&T#|6`PQ9!T&Y{@D7I4%5N?u^H=!+2q%n~hlFF<luNU^AA+ zE+JFGY}PaP$rb{PY8v{Fbb&M}i3d2aTo}Q5bx!&N%W-KJL8+H8HT+ib&{$9|)nKdp z4^^XvgL#c8S#y40V?tUEirehF309mb7qp4Hfqx2V-!>D1er_#vG5+izKpJHNHui^D zdQ$J6rzLZtf>-6_6OB#tezf*?U@x#EIGcQH8DmZJ2Q5$Zn<uNJm*vA(5hCz|di!n@ ziR<Wjrnphl(CJdE9C-X{q&9H+l`hAU+Z*TR>$bL=oqJJ(+v)nxYF99zFeYtvS(<oT z#HNrL|Lq_(Hk-}J93LA4iuYC=NL<Qo(xvisYd0i(Eqe@fAHagK4?glfy=kZIf_;*@ z7-aY+#tNb|@e!uZQVk@$^Qrm>bC%Zo=e4cAXx7}!!wQ2ET_XJtfgA}OE5Te~yNoQ* zS`VErdThayDZt!9wu9oT-Vtf=mk1c?;_BRZx~8N?BHYcFx@ea>HZA=R0Ma?8N0{7L z9BwW|!&86nbwm)8Uv5a%v$iH5)z_^+$>lS`tkW)oR}j|_;T=+*U_)hyVR<t{DwONk z_ynQh<QQRrkjq_Bd@6JMRsP_5pUCIQ6W^`tE}C;&Q9rD@i|(q^X4RJVQRv-kC~q69 zjyxLLo=M+x<L9M6XO2r35OXKQ`ra6n^jNMDi#;t2=_6W{_bXkB&$;cQu-<$WN>3ns zqdF7QIIfM~3aIWtpipzTyI5kgSWO~yJ-vcsQYVEsBFJ6J+iQ&)r6SbL=iF{%J$dp` z+s^n5cU-%9tMJ><c;x8@4eY#VIZL&^dps!7nNHjCdD8BhNB5BiK2`ACwygf?=@BCK zszHU>73*JR%WiC~s(ZihyRz_EVR{!w=yd<!T;p5$UVZK%l~U)n6jBl7>`8b?NjBJ8 zSA)ugtl6<yHz|7y8&$~Net*sMzOtX5rJT(ihQP?G=GfXAG^0N(@>_Z^ZD7ZJ*6+-y zF{i!GnCM*8A&m+FPNhC;kJ~;SHY|3-icIdR6S0(c?w>G!vksz?)%xjz@)^vw#a5ZX ztRGoIt6?GH=Ekf--U=|3Om?sB3uZkv`GBY8UfmeiXxFtH{LZiD7%z;eM%<}I*bwWs zT5UYaVaoq9=+s}C6w`6HPjht-hpyQUD_nYS<go3|=&s}du5i2NW)KiMy?*I5X|gdv zxA{9BseKB1Xb4mgMiE_5J}$m#eRlZ~7u4b+8}n5^pQj>bF0+^gJ}U9m#$AYYS84cs zl<Ti%c2p|73@Lx6p1i;LI+eWbG<IJ*B*l_A+RtJ?ERksen3cdbo=slB1=jwI*@Pb< zwQ!KF-%Bdc6!ew3JXi$c7H=RQCEz;k!`|J<ncn*G(q$b791k2E>z#vyhUW)<A#^Mv zmU~k@9o&ONesaG`mig#|z~APV>G}+m7C7BeNA?iT2(Rr&Qa#Dv1qMy%+PpxiG011^ z9qtnlmQINM9e!MJ0+KJt8_w>QU`_1}F*0)-zHb4gst>r%4*eJ8<Tcn_ST(aa<9<{l zntiq%ScTYNF$w|t*DNCg*`4PCjjY+rs5PUMo1>aFr}nnJn8%*6o(anSHwidubgwf{ zsIoayK|q9&-;<BP8wv}mYx@ZD#q5;0>qsTO{UryrvVH78qKxx}x^&_Yv%3jKb5mJg z9}I{Ifmn1M61<;7$yHzaF^NgIf3VZubBy<6=k<f^+~8!t!^aW#sKLiXjTwn*RVac1 zVs8&4)_sp?^PlM}RiIqjfeBj{Hz$8VWXD{K2v+9x2hR##+Kia8RZ<e*a~RqyBVpgh z0!MZ{<52qI6mI&eXKlIzael9*$Y8xag8-a0+>-SC3xN9CE>|9Pf}->o4C6R?;fV6~ zPkhN?Xb2*C$w{7W&=Tq<)+|vYrX9A^<7F|S{vh(T7r0(e#eZ!$I=5wKO@W<SSO7h3 zkufm2LgRReU%PaJoeF8+7{|<751BBaFyHs_I>T)(XsB7V_XW)oWW?kVehT=fu>i0U z)|h76=?zm(r1%s+M>Jv{NSk)G`jYp?+oWwn@;ivhLXR^hZ?#7%B-6eN-=Lb;m|Wby zub3LQRG3mc7IP&u9XmS|SoAPaMm{MFMw}DY8j4}*@lh{4_Af7$`Kk176^nXi9x;kU z6cAD=U23cnDn*CjCnSg9E3M6VO#wid;$LJbz5h`8i~Kz=IvXq5F%T>H_8+0b5t1YS zF>Wg@O8%Kag-pF(AgbC>3`z9|-%WG^<3G^<1Jg~E2JJuov&mZjA}7#XhKI|qA*VD= zM8*+a)sfOjVdar({5P><CLy|)jE_8Q>ox=|%{7uPSY-nE2_-6SU_1Z4-Y$rHa&Mq1 zIaCR5I+x-1ue-QzE`zalf9K(O-Wuyj#d3r2mBw3qsog}yKVz81mri)TNgl$Z8U6#C zGoc=olG$!obObT0tcW`I-mxtJRg24^ATi=6B~1p^|CB!k77$*l%u0qJ<fzMwg^4i} z4`pOP5i=hRSNTAM^lzA~GP07s|GyGx(75s6V6h;Lv^b4pL1OHGYn_$-=PM5r{~vbB zPRe|gG@j){5z^WfC!*wRAz!IOs<RQ&PXF`H_}|XdNco8wUW{cX#mtm2E`t$vob&LM z9ebhxgM1M`Bqa^7_Q*K$--6#a@xKcER`+X#BPM2Gsg!!JexfU@g7QSN))kgPx~VoK zD=f$={Z-19Gj{vm86?P2!T+bk%#ouuhZWEyOQy-HUdJ)4m5D~UNJ)}Q7s<$<{}5{( zjCGNcomPYk!9Pn(|6~00U);|UlLxHHNmF#C)1sFE6fx(C|9m8>7XZXHGl`DFq7_TO z>$L<1uJWl^mvNb2JPYLXDUd-7<<u_SWF^f1nOwt{l4(;*5p(1$kD&_w=mkYG>NNGF zTcySSH&`7;5*(KnQTV>+QmQIaUmI-u0&cS3zatc2lGszacW;Dd@$8*R38G>e8f-G@ ze^R_fesj#;2p&lAzDXb`zwUgWPW<cDUZ|J;_MA``8n(uZg$JMf1~IScFHZV(joRvk z3zBv7lZ7oU0T+ZCsMgWZ*l5G>%QfiV_+?E#a=+!vMGGG?fMf`D(o~x5i4;Mk?|MnM z5wKtYJWa=fB21r8$uu>$(yc9&`X=q;@#1kpmiBTf_w;^Vor;3r3H_$b$0gX@CM27P z#dk#-3Ap0?>c9Hftu(zKZQ@m}S38tRS`8Z%q?S2xCex(_rma=XhHdmPO-&nb-4fJg zryrze7v5fPYd4&+oXe84!9bp)Y=vhVWz~dQ%V*lW43goMgjOxT`j)Y~gEC6pGlXKT z)rPBl&u8G?M>J1In>5pwcO6c_6V$5BVM|<wkE*EDOO{-<580jh>6Nj5yal#HXU}Z< zkl%UaFZyT#oA!v9_YSR5zd!5Bj?StxLQ3&>-WH*=935dp0_X8&D=>ypdtk;InriMA z<K@$6bM7UAocVW0#JZVGcg$-HD?(kN?Zp?5-fNm!9}ChC!i-}C@Tfl==&Xa{ieyOP z&A2bJg|3;PJcd7sn$$a%<~s8+@&0(zeYxPdr=oBJb@b}aELE#7{GiA5M)Vgw$k(gn zzN>R_K9fEMred80V_aIR*7{ymkSi)me#X#KTilr})r}RW7hNlj_N?W0zqjs^&$$pn zqt}GZGsX$w_CT=$5%Zu36$dgSpeQ7FinVS!NC)!KtLFGpdxjaSDg!aW#AHARk1U%H z`@2d2Ya;1v4W`NmS^kSHx~2L+HIF<g@%tI14(v^uLvUdbcetU=sXW*6#s|o0D(C#l z9FPi^_L(yD%iqZo0r>6P{d133L>OugjY4iFl*kq^!fvP9ga~)fV16lc9AWSVT4|zj zh#d5#e^n|Y5JD3gNEt&lBCj}8wLUAp*6l(7Qt%Zl|9m_Ht<nxGsMq#Az0<Bey_T*f zqt6?~0Of`a?S0LQY0#6H-E_sMq&%OEn2#VMxOdI%bJ!+n!8>1&2l#YeE?M2Ezqb_d zNvWU_Zi-cNokVw~7hafM$B3bX(=K0iq2P9@kdQGRbEdyIv_fi6$WpaxA}LAF6+ME1 zsJ-kOZ3I5y(*uZG?rguow8}4pC#6#zQaVBU>Pd-zQ>^wr@c{)@>SpStadk$!pPw<Q zmjxiXuWkB2S1y)R`GS<gCgf18X>fEsV~ypM0;Xii8yxF(1HaOLQFsTK!xvo{C#(t6 zu$^Y~b`iB>YFQBtSuHp0>IkpegVlfn@tAKHY6#92U;AEAi=echWh#o`8J?^EY@<5# z)ox;AkHxGoyE-H$>QhifB~oew$*@trjNr(4C+~!d(@(npqQbwRY&fUbK)1TfY!U>* z1iMFPk8$fA)P!fJvx7U0z$PK4+ti2OE4=*rgT^{x7YvV4b0k+BWu0`riPSa=kj&A3 z^96&~m7)BmRLCHxJCsh(Md(NPL1DFrillg})$u|iLfYLeq(A#0)~FK-(zOdVKT~A$ zbHApM8$Z^;UiBuOZT~mT4+*bAB%bhgGvm9yjVj^Fv&h&-C1_h&$Sbf!7^nElACQ?h zF}Qku3WS~sI4`H2=VOoft8S`T0FSrf(8cf=;VsP%XX`*2DOFgADj)fnI)MoG1B&X% zAsSzPSCV^L>e>FO!1_Y7$W*(bK%H~{t~UHzAqg-FXv+7T$<h$yFhTN_)94IC-iywH znzj<1xF3-tNCT0)ERah$vaV|^v#tTw*V?eEiuRVjY+QV~{#>i_1{8|k0EQ|@6(A}_ zR`HU-#ASU?xT;+co3P>jjc1oD|5aO?CR|NBbM8?vKO7z*7{D<680i=+z_V+Z`^fQN zy$c{^eOj~}eiy}vq{dH#*m)8buYGrHahYiI$QcL|ucxakG{eAV|8X|jvU~d{YGl)V zS;n4hPz2v8#Ilep24k-j4!lIwm1z|odQGL^wtXN6B({J(_1X3#1ddpd;C9o~HO9n@ zQdGxK?j<&3z-U@OMk55M>C;8AiL2IQy>SHKj;=%uSsVJxcp`9MrW&eiSi5YO=l|W* zBLZTSg?LZR(Gk-P`#_OljF(%W_ymy58e#n}PsOXgI^<mYN@&ozfG^lgn280{%!;SE zw0?OG7AT)PX3#p_+>k+j3a1{{tVjO{=S*-^Pm95Jd7TvrPpifwx3UpqTmj0u8R%)I zjA${FW{Xi6t`sV9I{9w*Dbo|H^vpjZ6gEt@pWQj0Is77h-C!5Efe7*!;41i(DV6a4 zg^E+xw}Yu7>xJvwKsvem&%WJ=)_D*S*<()~Sd!XN_NT7T)b@w0F?BzbcW*l2Z|6sq zhwi<<;JEf`#|OKiI%&t->N_*~=K-=lyK>ou>bioc6KSH9QmQ5Sz{QC5Jr%bHECSxH z7_>Xok?O>A$&}HV=7|u#k%N`fgf%bDakG3p=I{zOg)OTmaPP}W6h9>$6ToAQKsR1$ ze&4ORIr0pm{^uqfLXe_oY3kYy%Q-6&juEWxv5#VQ6${_PP*mao8U;oW#;|hXF|iVD zDeyx89sIE`-@bE|WiZgv(LkX2`X~EoT(BLqCQ{*vm^yDB;huBHv4FYC%<99rBn-Br z*C?uVGZ=geaCcXOdivg5bDB(u=P86&@wc&i4!Y1GSCRO9n9cLm4@^-c8~xpJ@+{q^ zDmKJ7$I8-!CTnDy)OYiq31=H*6ZxFF&JmSH?;^bg!YMXn5gT`{>iFlj@7N1twY-v% zSG6aGlKi!4(z90#(F{_723D9McjE)`=-dxlT#@KzfTBknhZsG~5f%4Y`-tN4G%OKh zcv|()mI<kY9>M=||3?L*E8e}wnYZ{lK8lCDVI>pvGc@$RKAp`yMon;xoZ0@vTPkf` zwN_PHX!%A6^@MqefR8~2v!0zNneUJI_CBZ%7R;LGi5Jux^LivdkJ;ZmLU{wZo&8cb zs)k4x08gyzPx+)7<U7?QXyG>;pK@k&kkJ4^-EbF@BPup6Hz>uFP|l3Bv*-fsvh9JD zH8!at10@k-oCD*#;Pr|6V{jI3v-C=MpZa;x-6)iW>4nG?r}yeBj!p)P6e?~gpVcSd z3~cpL;x-z?>_|KVuKQ}hXb3%Y#qm$Zk@9yZ0OD~mpYH&>`z_goyAH#uck9GuyaAtB zt@d4!wGI9$_yctKLv9sq@TE&rQ{Ftv^~tyoekO#A;n>SVIoXpqupDZpxU@3Fg#~%U z8%l*R+M;_V({<YQ=hIivv?&jrIuh1uhF=LBKJ#DEYB)>0ecryD%5*aKOSVIvezABL zz*QS6&oG+;2YR>xR%ykxU+BISGul-NPu!kPGjn+>dj;M|U4fOSvx`|%IzG%~^h!>< zmD6%_KUmkACPvcX&**83p(#)H5@^Xx&3%`f1~DHSxu^1J5bQ<hhlP`3UZ}NHKZd%Z z^=~Qd#?e(G^f&t{XtLyZ<yg+0xg*)Xz}!FQl%DK@zfRS4n34B*TrGKa;)RVl99WpI z-IfS=P>eRu!l%ZnE7Z9sb9*?FbHx*V9zEzZ$|A7{^{9*(7-C_PWp#`>MRYb`nbKmr zQUNp|-l1ojHR6gf5SxZSqeivlt0L}&8iJ0-Wc;=!1JigHv`e1~F-vKhw#Z<X0DhP< z0m_Y%`M$-^HVSmGr4)z1pClDWP{w4@^U4CXawW9;5{Z7{nOAeZPhF@SUE7X_Zuuk! zpCpk;GHcdfBMZcQdK{Yy_;!>+!QN-ih#T&1oU56(mF#B)iuH(LnI@VCsYJXB2z_pt zm`Uz|lKc<CiJ?Ib7(dPfB7ESf0B(MS-==zh!V2V%Hes<j<tq{Lw@t|Q*%=|--Wm5k zd{Il1ul(&?pXS3qu{T&E)6l5?45QK~GxD>h8ar#0(5G#t_0`v0OY<=jEUpQIoh*F# zCJ59$Wg@y+_Bwn2?IV&D_95eVPF@;5Z!?-)J4P&ILC%gkRXI6xgjW2q1L*wGh4Eg( z?1;nMbzFMG1s_JH0{L*Fiz~*%ydVVAuaXV+BtN2fj&7FO+kSv|v2%(>J5|;7x)&P% zuww<A8{oyvJ$_cMrDci77yyGE5Fu`a-}3cTqf>a-U5xr|>Nlpu3m<8!lyU6w<-VsE zcr_mUtmL7RJ&SR*SQy$l2bfAr+&ueo$@pXrg;aMjHGxG;Dhh6UXI`{sjj+CE>oY>q z8Rrh0rV|G_XKS^HmUVwIZT6z_>Fge3zqufa)ad5b_+7-$4c6K!Jh@||Una)D@FNA+ z-;UW3O~#S1V*24d$pu}M1@r#g-mmK&RwOzxJw^7iC)@0PDPx3t0QRy)xW-hRno5%~ zSuQ*YFXnSod$lw0;`n*}(HN6Q*aoanbHM}H9ummc9H;b(Snef|zRlE<o6C4i!aM%` z)g!!S#)zRFJ_u`#C3Eu*%()s;I=m@-eq*UcRk4QZPs)2g(ku=q<jcfj9S3J9)wing z+}tPSVRNp@=LkM30uG>W=6soXY=dEZIfSfUWP~biM166_)RZo-K%>5@4#6HwB4jQ{ z`0-=f?^fuDGoMV}d>0W)K{k|{wvUaJ7JOVUdpZA{YgHS71l{-}KV)-mL&AN&Ru~(r zs~GpdOPHHTzr1T-#|${@X&yA<-E<Viogqe+)$PIS^<iIY15Q>a0}?ThF!oP#<OEfP z&#~m3MCdAU<!1XMNX*x-wC16VLrTU?#2)rVVrw#LhY;UXeLvGTavb}}UhnvSTqr<) z-kC5RppxmS8o4GHyT8dhA0-#YK1K%rq8~pV?^qV)$s^0Z78fuIr=6!RN#Q2olh&U> zV1FIY5M1)60OI|V5cR+K4KHU=V(v+Rkw(r<D~~TBr4Q%syhVN!|I$c1lO#{d9Q~W6 zmdr-Jqt|@AYb7x|2_$c+Rjk8v%yF7Xj7kl|sFv(SLJG!Xu_)Y}XKam=<pdaEN_iik zuQP-A?cccLI}1ZH#vLl}_AXWC0y$i4W2EVp3Urk{F#2a~Et2ib^Y6&N6Ft<iYd^G! zb~D^W(#m!{G*KnzIqEao<ZJFa!8MDovR9gglB3FZ;`DoR=Zn!>;!3rZZ8e-X=&*gV zy+KAZH-@4*7aG|1f17I>50)9P4DGaj{^XelyyI#KuA<QIC57`Q>n5!YQ&WF}dOv5p z?j%D<0Xxyr;iJ=Nd7j&f6&QP$x;9V(;x!|YNEgZeCjIK@YknbqJQSC2>2`0SS^;;_ zQK%Zk9%hPnC0w|4p|e~PfYp>dfr$OY1v#9j705`Crhfgz&&zaXNS0qj+sYU;?j~=e z7ooSrO}(v_>sVet9M5o^g>e~Ipqb0(`)9BSOa+K!kX_@}u(De^Dfu8ba|sDS+x;BG ztn=oxv00=`w-y`7uY!-^+x;@B?}LnUZ1&oPxuKfOAbT%Ic0cK_gq6N=ry;#)iWfz{ zKt&K$VoD4pjH<#&u*oRvMhct4wFIhJa@-b$!G@s{GMnBg_=r^9jv+HM#q%(ECu&3h z?4+4enHHBTI4~JKW66iUW^{<`BAL1?3h4R9^bHoTiC2SY_m{5zf7OUAO<3t9LT=6o zof;p9Ixg6tT1{PJN*i~{=H&CSM<Hbps~r7<-lfD!u4x{=lhy^_1w*)NR6(|@?Yv=l z>+p*ApC&{viqN?!BE_rTc>(s;djJGLV}DXk`4{k@-n@-LQAV&tKx<0Ftaq}Rfo-=s zY>LZ4GX+oGhHIl~t<J`<8na=<1@To;U7k^ey(pdm*Lc!Yq2}_19m+ob1|yPd--?+7 z{rt!_1m_K2?%Z~k&N7mnvQ<Sgbqyem0>wD1CUgF)iB4uGo;I539fl-e@3l_WBS<a6 zAz8hx$cIn*qn?k1F}zScW+-CI+vjobsr4K5J#dlhe`S-jRotKKKbikuk3$+a-cJOe z;Yd0KpFFm5zlzkeaZT+tphTP*HRCWb`Tw>yfZqP5{nc&q+g@6Ypx!)Oh@%6y?~FwR z_a+!)1bdH<ze-Xnod!o?V2G${SRhD+-Ue!*oz7=!AYY3KIhXAB9Oy|9(@H@=oP~|1 zp!pibUIQ{aBw{~|Ijh}-JZB^rhz4M67!cg5c$4=hYuNMz>{Sr-q${t_y`9P-NqkmZ zaepQYBN_i<K#%KALmtd_K3@i@U}Q`Z404bc8@Vg&)kG}M1~Mlr9LL@Bo<!SD7E8_q z<f*90Q3HX*w1-wAfv=N>G9k#67`8CR2>-U=mqS39<%l5>=&T>p5rkXt9Tvb)#S{w1 zEfN+V7zE~yOF)3UgCsKW;uy5t7O-pUfv$&KS*L%Xqi#e!0%Ei@(jc)*D7jWQi8oM+ z%y|xaw&vY7=sCTLq$)vtfOGAd&^?{t3=LX>!Yx-7gW9hRk6+i<35P!yROCPV*De}T zpJIPXGNW1oC<5L1*=<6<o)1*_8|J0G;5>^#wd7mmrD;khKm>OM!ZKNrSiq{|28;>s z9yZVk0;1*tNyJ_lzfm0Gq3ckf$9{T6U<ne5g6#+s350JFD~pg_GxbG{*Tr{9ZaRww zQe1Ntd=K$a2GMRh4=|xVXYD->@tMPgmr9Ot!J~M^;#`Y+iR@nBJOdIzLu`L2<BVuM zh!VQ@xKihxe4x9<!z}Ky39f8kMW6nax(9W-L!N7984(!y<v=|y3Vf3{q(a9A^e+th zCS6okmIg8QcC}Yi+fq|tBR%P@dtDWUz5|WbEaGO-FbMInZq`w2bS&zT**H8T;}Okk znq{>m8jG)IHk{|d7r>1tuP#I9D_AUTsX?zkKc^l-TK4HXUYUJKQgNHNMwxxQar(1w zr+qvulb<WfuWt=XoJwJ?0PV-cot)3jnEzS_dUjt`*aUp~QAb-*b8PFgZ-Zqj83<-e z3m5IEXAH0JIE4Am^cjaIKoz#9xCus0Ir?5GChZz@4PR-F;eaKn)^z<@iLC-UlcR;g zYaiY&0blx=HaS6<A)8#`X@^*EF;?G3@1$`wzU-8gWI4xWCyf}l<?R%5gXzvaCvMDK z0UQQ%jm4womkf`yqWOgnF<t`(^Qc~$$KQ|HSu>0`$@AF;aUEA1W+#~YYYq=G99;H# zo8>Sgi{rl_Pl102z1nnhn$&etoYqsA>wYDV=I$-{gLk-P?}K6*B<0rvZ+l?}guR^C zegt10zT8=KNc(p_^&jW24h#>1z8qBz<mZLJCcXH-yJ(4#OclqOv&Tl$vz(N+fH%LF zg3fk(7l&R>9X#xq;jgiO1(@{)*cY3NJ>cT}gwDA1&4AhWMRPEP4I*WKflcJFe=TL< z*{g>W^$MwN8WZ&hCMJI1xRJz1m3DISb5Txj2Hy>Z)ynkfqVrzTf8VilE6$2kCN)%= zefV#<T?2xZFb~qQwWAFx#hy_(Tn;8rWZ1A3xDQ)8D1`^6qQv?763cs3;+CE@F_(=W zgSeGS&w+?BCHQ3)HszCw12Nf{JB|v2r4+Ax3abjUuB7sI?Xu#I(5z)z&Y?06^2{ZH zk(0@jsD{UX4m%O2+!WoQz}C0Mpv;4@d&E%pa5$x43pT^$TN3HT&!0?LzB;;n*!PRt zK5cmVF%r)dX&U&sISiec0u8qoFCEeTlx?;vJHViW6JfV;m4a&^zrUvWraO{tb|I1; zqaWh@^S-hEiq{=vI2)z{*3adpU`_K^)Nr*8#Wuxez97x!7$SAs6QoLZy6AkX3yCw~ z<uUAl#){-5FmpBgTy@UciBY7=djtQ;ihJ5{wO811H7>g-HP3NI%*rq7p$c#98jWR^ za6rv|+IV|#l1nyHjWIB%Vmonwv$`W;nX`QTJ!4O~`Nx5rnr{XiXElYPACx%J(IL)n zwmtNrick2VitN%9!#b75XE-cnU}+E}#$!7t0Vd)X{hS>I1ZUp?xX^`D{B`fiQx@$J zDlK2@&e3j*j|1Tqk-tXa8WJa_0~8OXAb`0*!ekQ-m*PnDOy5UJ7$6)_ADu<A;typH zy84*=!N(-R)W_78`#yE+E&0jzMHgfw;v|4YfJO+S7;$3?wf-z*I)jeA@kfm0PH2qe zYidlaXC~8R2VxoA1t}GgLHLCS?MGlf0gyVlFoFD`l{MY5Cd7tRl_YzfEsP6U`+o}g z%BZ%&rrQ#N6nCctZ}9-Zoe-cvad&quQlJouOMw;(UR;W6C{~KQ7PsQ=r8r#P@BQxm zd;iUzz4!C1^JmsN=gbV8yp2p^tu}vYP<Anrk?waKRh_nOTZgrra82csPC2hlGP+<` ztbqS%>UXij1ngf<8H40XykG$*%MBCdlY?{PBakJt9R{n+H`J3?J+s2enR8+W@9Oh6 z-;P8f@f*wfn_Mqm`{oLBK`>l|JZb|>C>BKi!;gif6T8wf&%lrFVnaOWv@LQjCvp=; z;XtjyV@BD+LrKb#g7!d3y>&{RwFFJX35Lpkp<e@T3hzT{hXx*dbrSV{SgKCbo1O5C z52a;I1CCQ}iL;GsEF^`vg1$%8F6Ze~E*2X3>nv54T`J0nT1%T=E@lJN%N<0n=+tIW z2YV2`^Iqp5X1MG36{X1fu#D8L?@a?4b8d-(rE4s%9$hLc`{5a_5bCC=o0#Z~Rxih; z%?j710mFq(m6h;kCieNB3<38<q;G6S>r_Tllz!>6tS+NzKor@lvU2k*DPw63rJxEu z=W_YOax%&3(%hqhY}z9eY>UmfRjE+Zr0!pDfuC)Xzd-EWw`P!QC`oFsevjB^&rAhi zze^1kts77@BRzC8;C+vSR2Wsru*QrMY>=7C!n!oOwPLHj_$WceEh?P;uEwHB?CD2K z*XN}fyp|R)ZoZZ!f0CokXU=*I^VsBY-<@6S`Zbs%S1)4r{TyE=xH0i2Xa>lQTkKfJ z0;jU435bNiPAo^g3uqDtYQ$b7v_kkwGmU(CLB`c|G~X>f_s&OYuDurrKSgk8`l&9G z>OQcC-o(bbS`6b4X|F1)ZZMq#wifi+@ZmbR;Ga|9&3$F+MPx1J{&JB%a;=TvkC#j= zv>Js6*g3CW&q69j#@f7d8v+=YbXprv;KJwUB}bZTHE*sZ^Mo$`evRQ%y(6(T7!fMb zUGAwxY>VGYC{NgEU7Z}PX`8ks*H&mdGTiw5I2y6wgcGzJ?Wt;4-@p_kgD7;9br}oP zeIYWp1vz^<E)W^2EuH7YbKnP@sA8*v!5Cjs5gW5t!Q`%LE@GpOv1?$kD|ndRMm{(8 z%mQ0C)tgwE@~@Mxe^4=w;M&z~IwbKsq`(vr31w#!b?4Et+>M{*boOJFAYRnMZG%QF z--oFLV?*tiJS(09W45|pm097*Yx`qSXKkC<e6D2u!jd1nLpIuR){7L*t9F^~yk(h# z&eq<BY0Ek`$mIFrUv{Yc@GwaLKZNXgZn>y8;Bhs$sMozL29Un;N$GyYV9aS1h+td2 zWBsI5pzHcVZKIq{wjP&DeWP3zbc>ECai5Wm%>Bjeka;QG{hNmfGTMy%s?+NAlJvPt z7qHIas$$p*sql65i$NCk8vYETpoZo38X|^sV8*I776%Ym9?S$j23kOZi6H3yjGFdx zR##DPV@JYcWBW~{K4(xw=~xLAQB;&1@-mlvofqfHBTd6KgT{`whwoBZtHkyPqJ5=$ zKE#UrGc<Xqy+;8_u}8+ZY*8RSci<d7)5LVM#eoHb1wJh#9-3PF@Y+9N5cjfJrDf?G z5{C@C{ln0!Q-M>^#qb681nNe6w>Ya#SOk*>!V!((lneLSf$$B;*6N=1x)0^=*R9A{ z=^o%;7drH0D%v_5wbC;Iy5Ss+0L3)6GL>ZY!od;^NTy87@qTgDtfA=lorVC_i<DKu zzu&autNcp-kvqV(?sAK&{;3|_6;<u$7I8cA{WR2EpM_^@q+ZgD>pSe8{~8*;i%i)< zdx)Is9#h^gXG?s$+~SXXt#$>=eB9T1c-W+;`-VK<{V1~Ctl-|0|K@v`VA93c#zzH9 zh=Ba@XqECRe)Y5!<r@A${V>H(q<#^;pqCI_JW&5Lt%Tw0gNEdV(1I(TaZ8k_d$uAg zC+qhK_eAj4At6;8Ra;oGP2!r2fo*jN>T&vm_&_}Fjrb&)_fG9!fg}4;*c|TDtAbG4 zK(B2(d`opkrLG?@1<#3Ti*W(TXL|+Hz9$``w1v{<`&U=RDzA#r%@dOEyD&4_>Q@3a zSS%*(I80K6{sQc|pUCN4&}mwlJd%Q?S6Xspas1)R9@OTn(KI1;tdB>Av5i}O#b+<F znV8h^{NSooKv8q<+HeGYBZZ^QCtSK!sMEi6I3am(ft}7ft5D)$^VX6Y>oC+0gueYh zJ$PGFuOwv?O^Q{2K}~2m-J~LQcq`Ti%*f6et=SVLJHm;p6<#dUb;v}-_7ydRSu=`g zu@%7yt^~hU3+3pYof>cY5!<?}ekAnN=~{E+Fm2`+kY1n}py|*cc{A6nI|}qn9Hj%T zNUc+u*~R<Dw&|lk7IKUo5d1Lc4V1kn!M|8I`r+E5^~V59UXMKvCue9P<6(L4&0t5e z3f`o<mnlorQ@xW)H5m42%=Q!3Q=V_d*5eQ7c(+Y((XW_gv1IvVGwyh^Gl}WD8QmJT zvUU$gL7bGs2p{@3@d(^QV!_sr+Ns^=qg9uk8UGS_z&u~D?rqwXxlR+UoRWrL)(k}O z5Wc5b)LoDqcXIGP5I$xYO<Y`r21lWH@E_6Hk$Ap{w;{D7Pxy>6=Z$BUCok6}IsG2~ ziiP*<LMx`Gmq_>L(Yc^%RN9Uhyf9m<cav}Xl#Auh%qCAP)@y_qqec0&44o;{z-#ZU zuz8<GdXHjdbDC4V9S=}*l^a_c8Zce)L>s(}l6sm94J+fkX{gElhck|UlRcbYgcvWR z10@e<cu&g;PAKQ2Uwp=U?cLXi=Qwf)U#j*~PkM0dii@r3vamUsnbS;2@}c=A&rID} zDNfz#r`iJXP8-Z<X@TISAa7}@MgIhU@pc-%l$iqulPU4>9kf6irO#V5MIiz&1HFIl zl(ic^-E_MWb{|N}l+17SI0fD)XIAi+Z5(fX_?;!z^pw<c%bk5ou7+jpV)fn=;e!Ie z1qccwazs!`kmBqB3ThPae}MxGphf*W5AZ+ClsSNp1_kn8KphAWp+)c-q7Wf%GXS|D zl>f1lB44!vD8T=<lOmOm0GcW&e8^{eKGlDnq)2^jR5nu-!T%gXicG6VZI(f>-k}mB zZLUy%q9V8+pR*!&sQ&;6D-<9xQuYy*9u*;s_8j`406S3;a+p9vL^(E)6j_P}%mg6R zpF_kuG$0I_g9)qwAdK*yaRA{neil^&5O#$B<++gG@PGpV#Cwuw>ofm+fyN;UF~SuO z$b<NZ2Bbz#kN_(Ih+`%o4kCse=*14^;Su8J<>6uH;brCFVSR(et>S70HTSdzy@rbL z^6)}<1pcoC!A=2;e}1MG3Lp)oFcvq=-s8O|2*M+T#jR}ZV(V!K;(OLV?~;0rpr8ce z!o8e`UbwF*7xOh*vbwJ`d9N4Pv*On)4>>WZCzlxA9{7_nz5bGC^=2x<RpixK@X-3< zd<YsS222b^v1BuI{{lr3{G`Pa=?j7kGB4|ctUin4heo@RH|3|rp~ePk3<b&6P$}Rt zvgJ|H@^lf2r3PV#381GCkDk6@R8|n{hJPXeYrjd2P_b7A;l$!oxQ9+yb%qGVT}!dJ z6C41Si9I8QI+*NOE$7r<dMN;Uy>f*1^_c*qec-nVQi_Q{H>f?mni;_Q#XI%1&*-Nz z@8h;b#u=oA#TdAgaOzVCm#{s9CoIG=BB?Au#3+##ug$^2A^r(Kie)!@bUUk1_>1>; zn7d{KK0H0+?>de7H9;y9qEc(0FnZ0*dVtr0T47R{B<z1xnBp;h(@!K&9e@;>f*2e) zEC?aN2ZXvo-Hg#8q4A(}ISma;0%&v>ThQ8@T-KZ@{;3d2=;t|8j5S}AK)=nA)O@Cr zN?rh;0UdqgKekXIqD#K%quaG?c<jDIg#~}u!czxEwwcGD{rgE{Q*ka`)fOZDO~N1k zNZQW}O7K!@SM7C(Nt^7Ve0lpnfh_?`HKoEh&j5&y;WVW4Thh70^z8RAujC8H<H{$w zk$XD36c6G6ib;m;#(<)hJE*pO0U+9p6rpYWL^tiesla8wVi_R4@8Q7<SC|OjZ?Hd9 zdn_U>X**JSa5`TFBm4Jd1(qV5_9;qVZ4kJW^v5YZDwZDd1%xUd_BC2Igc}#CEH!D` zDkXi#nJk{Ecaex=^{J{gfy|cHT_(U-(ZLM4r}N%p-Ctz)@??)nf9`%Tqx>?h7p#rb zbjL<kQF>@n(m7)0xY~XVhgTN952sQyVdU+%Wu%_L3}GxXuV>-RRmfQ)iVloZ+xZrw zmdqzsBuMlY58L@=uC4rM#xBDBY?X(lkK;)C-%LqO_Kd*~VHv>RgXDHTL`{UHBaMoG zx(_jasQ^3{=|Tt|785&ICiJTIkS{5BwEHuG_QCl}VZ#kx^yjiLc!0AgYXm1DW4i^j zUH)wUstWFGZ^OoA6IZR4YCu-G(Z_wXyqXDReAjz6qDO@X&5k!{{_InNXovsV;Bssb zmFh6#c8FW^b2**$$Hd|VlT)+U8-7DYra13}$ow1Afkcvp$O6hLraU`<`2qX)Q-{iZ zeHBW~BYR@%p6M(+IF`}Eaz$dliM__#i2_9$6rGx0>EQnDy!5lbPM@o{>c?~lJJ#zN zh@!f1Jf%SHykF)PsrS2nv#C4=!6^0!;$8}6GT9iW-1A>=A*8R5?>M?#np0C$YkS<X z#|AAVs!ysWUpkCtuNXc2JKmWZN<`A>ho-xW7y#X;H#ZBe;biyjm~?o=B|$I8<2QPX zr9ZS%*h~@ik$DQM*pAhH{Hw-5SSGEop|(t~WVY>_7I(3B=E*;*795PU7VyP4!B}(k z;y%S;#NWGj)<KsHL++hkSY&d&!eb-Y5pI5~vRHTUtLo?R=JfPM9fF+obpQN@rTEVv zy&{1vxolv0CR`(Q(dX^qZqjzPX7J6s*lm3Sn~M~s@S}~%y%X;2S3kp)W;32A>m1_k zw(pzd)rkwN@+Id@hdgOUCw&EIZLh2^`HNGW$$KQY+C^J@ecaK=kqY2XB%}fFJM6Mn zS$d4~$>gcqT8-oS^eN+}YKJ5A^@lqZC5*W`?FHTrwZc;k(!%SUB!-H7Zrp_5i4vyV zH9ejEJwM$1yQ6!v>HVXLqlg<{HTrBhTo1cDoroD~#eX3)VwjtfaL4b~K>u54`i_H1 z0=sxE@l@<1Sv%fpnEeOpl`#F(h>dDY+chzx(5x>90Ura;9{2CpOHVGm1PuP&4cqlH z+_2vogf_rGrZ|6VIC)<#cujN1Ma*Z6_}00HSYxJv6Ptw1t}UhqnS;{`Qo`@<vAKFY zUP*-FuiE0zlMH`E7ff`+3XHZ#kGr*b8O6eV%=XxMZk}zuHhb!yG0>*5ve$DKV_OAp z|M7UrLK{ET(mGc}cN>1B2EBa4NcaeiR(52tH<gAPJ%7w5f0fk?iI3yVwZ+Y?GDvF2 zm(;2co^uCZ?vAkd@c%mg^<L$&$-@6{{>P^VjxXWPQK|tq4VZ{E^3Xqqte68Pinjv? z88L}5mmmU5YCtX{7SP(6Q{>a1BPlfz6EqobfO{(c*PNvps0{Owf|hdC*rHXH*2DRI z&(swh;VfSjquBgQF^m={=xwM(EwCm$U?u7--<}xms+KXoy{^cKbU>HH=k6pIuWhO6 zyyLv5cyv+xk!88@HCadK@;!6XE8_)^&3p0R!XxyfeN1m%1U16+>d-j(k{wQ5`Whqr zOGUhZZT&31VcuT@eqG1h8|qbPv}xc!;XRGQx8)2m{W%S6b$4`6z9GX-OBM<r$S7sZ z+82D4Fr(}WX&V)f7CyWMwK?emO8=<j2gOI;kB{w;4C!1OIruVFc;;EiqU_V|y;^gw z^d}pt+pBIGDrRi@wz_Id;gHH1EZLMiPa)68N<zbXe|ojnwbJ~r^10i^P%&7>6-_Z6 zUJ_*RU;sAU(!<quK;C*yewQPAJrPMVbdIkg?z%w#&|qWoWmm*lyC%0|GwF3(k|gSt zHp`U|UiGeP8b3<n*NnDlq6>TD<MG+^#`-EP%!jOkn9mM=cq$cp=1)gZbKJ3un>;3Q z2G;!fq2KVkFRRJ;*mrQQ#cN}CKC}uSI8zKR`;&n3GNURv(TR-4k}Q-P7qo&_kY@*% z%0g8lS6%8MzQdXL=<^{-zpv|G-;}tqCrT+-4%w@<Gsc;-(}y#srDLB@X$}2*DJe-9 z6=c~%^#7ic9L;(j%><99M9mWI9Q7!#*1vBUcl1i;w2m0AaV<6Iuc>0O1k`(w!|OfZ z_3?+4Es?X^u?f`EIo_Yj|3$P~U(JS<H4-20NY`N-v`H>-8YXcW)R8(niPig&*W1t@ zWq2lWRx7<p@${hm6W}sdt-kyq7Z@?!{wOF^M#SAYSSDIEWSQ{-mENgJ)iC@|MtGzp zyN(E#q)k_o#I%7mJhggd>#~-{5}sIHa)a#<9w~X-793D|xL0Hu7bZz?$svaKA$FYJ z#!JMPZ>)XXmG+~6v#v{erHA3Hi1p9Gc8K1B_j)hhqD2IAc9x0Q*SfC10-}>h#+f6Y z={ds1L!L1_CBH-d-!7IqcRHKR$>Ez#s|wRKa_m`npww^KBwbxdYY}dIH+WFP`pw>a zfO?YVVPD*wv>GQxAiZSuPwf39EH;St9*?~AtuUu1*W?ZIen?s^0AZlJTy*n2FB`Nr z^f3WJ3w0ck^jcd)@5<|FpJ%#|tV6x^7^dFm8nTJuxWgfyjNQ#|RV@~KH^nb6d^Pmd zchWw(xmj~lJ8m-XSCw`#13XZVBmDJ_@z0rDZ_!JCK{mJEeg^QM%dZ+cl(b^&w3VG6 zF;jYH6aznn#CKr_>PLwE=!n9ddebx8?052IY|95G*p8|{1M&NAJkWaMN0~xQ>+GAQ zd=C-i7wWxR94f3O7GF&<0*g!KBmVBYo!$=j@R~{)P6O81+T+b)df}z*ss`_eBj)xd zPo~5IuG8P?^QsJO(bNb?^rFrDIEl(MJeBCEN_qZ8D{O>V-C?8<qAKDO>7lLJ1rgNj zR&{-hwVX2TE9Khrs*GtUK1ol^VgV~AUdC~hMqlZ?(duz`O)mN#h(%<PBOuhpt6={& zs?zr0h4BW&)JeFop&yQP;4?TR{St5Fi?*4D9mc5^`q>vPUBNVi%|&dsi0+GU$E4}l zyqo|N_oGjD&|qOu^LX<rS513;On*j`G4wIj#ED|Tu>pNd`xkt4QQ%ileu=VcUv_w; z%Dk@SEb+3gCF7UB(=T!e)X7^S94i7gpbhF8(++lUTm5CZfO!3bmhuya#oOQ7Nqm(D zqebnk)Xb+8qYhmb@RlEFeK7Vp@%)-~@tsx8^05sI{*uOovgP7M7QaOdYM-8rtkKsk z-H*bp`c`G)TaKH{mP2q*I_{L@ze4|g1Q-)Y4B!<&oG<|y;DW|j+?w`&)*u01K`d@v zkRcev2LeAQHC$aipOgF`9*_nWx1x)U>obD<FM@&$#UMg5g8VWNey9LHuN(vlg$fA> z^6~J=f}s$wAP-bd0`&iv7~}lEw-2y@075$Lxl5dR##f6>o1*W`cROGnDy0SVFr6?W zK+|7FlU7rMN_8|G6&#hN*l<}Nr|CNs*NS+F6!Y`(jlAW&npAdPg^XzMak?W{ul|kg zEdAhnkJyp88vT&HV|*dbPJ_K+)_USgpRK<Mjn|N0y_gbJ=RKv*YK}_+5QO6FR~C~1 za^d5MX1t_MQ0BI5iQ||x@OSR9-+n^V=g{WgTbi?RL$4#lDM~PE)aa<BWFtdh1o$t% zV9rWg+5uE@DfuJF#)%9*Q5!hgp*sJ<?TW3!_T(LlasRc~0Wu77>=?-x<_{?vr!WBL z11NxDYQPY4OcL3bIAP{$SY5d|FezazDLC`z0^e^Mq>KvTm0tkMIidwJR8}&!7YvA& zH-B?JL8(f@srGB>G5ln>cX1y;L#^Fs$IB9b$OgAyD9k>V1UNxP{UI{Dt|l7E{#GD- zRw?49xKa5}pIl95n8#WdO?>d<!`!#q{{Gl+ANKLu@EtAG|LVIu=5Hhd_~YThg9HC$ z@%mHl_7;~eyKh@}$2*260U>s*lxXSq&@~jW-eL#!dGzadWX!ISxsuV76yT4k6knMJ zT}er6sui>vL-D)&`PDB=O4^No8<FH^{DOhQx%yV<d$ps_;4#!iQ5pLkvFqDf?nC73 zGata80$IxmiEUdba6&XLSa7`%UAb@^Sjlm8c1Ej)SiPFqlC-jUf#$oIQq?H=SL9QX zd!9YR8Na&tUJjJc_E@e)&#Uwh+jbkV@Ll<XpXkkavA3hcy3N+GEhfIL4^;JN3Pv*5 z^-MW;Pf}gO#4c*|bkN|Dq*t91XG<6BH#BDe6o2;wJxa8)<)y(~0Gm0JRvH}1rWs#; zD_y?AIP*KKXWcoxB}MV)d!$|;Z{-QTe^0nfjeGP5c=8<dP;!Y&K)%D!0^70Ox^B(@ z7o&%jvs(bx5Rf+ai{ZrT%zI+%*iMLBf*D`Jk?SAPK!7x;@ZTzP`v+Z`oYfHKb+v>H zGsy4Mt06@nVJuh|#YJEtvI{QW^EIwog$6gwcb$Uqp{+qkLj7KvN%izJDr;S<^7<gq z-7iF_PAYSm`_We|ld)>_>s14XCFjt42}2{0AXlvzLfk#fx>bh1(u834c#6D}nzLNz zIzGxwJQXBU3oSYC=uDO%BgDW8oxXub^k%GD6|hf7ppTE2XYnq=j^J*B>m9UM<~Fg# z&CRecFOFM1z9nM1(S21YaZK@pRusIsERSGu-aC+ksb1?_X&?%n&E_5DMqTq}l_w1S zhi+eI&iEjAee`j5IXq5CP)VUf#S_6+<LmP|E2mknIY{LePy|xZqlux4cmyHlH9V$C z5}?7|5@koLtt0dB68N~jMe+hdr?9@k;kII?vN~ONc{m?LWs&o$JAJtlQY)H7=xxiu zli%`4=%Y$@MR4a|(sBiHryG$Re=F7`r_4r_=o1yu)t!U`)}~%8dc%68PKz&)Wu2L8 z?8wLdrzsVJ?O8v!fo9>2f7Y!7-YH2HH6Hdi9abgB_9R-6fm>&B4w9?xgX(&Qoxu~v zd6sk8kBS@*Z^dM{#i+NoMX45~6Xu5kJU0$-eDaC;1q^3;j2k2H{sd|oXgd6F6|gCz z+%y!7f<QNpNG&)^YbyzNck3=i(vQTQy%%#-ET|=kGX6FPbX-d?*-Q9oI=$j*-2K~F zA!2a20S~$^&~vgJK{`&&#}Qkw-qgmJofO@O18v8&&-P9%s^a_><#|80<LDtD76QG^ z%7w1K3qeyp4*dNY{k(SM<*{w2N&{{^L{zyuzM2~DuTEpk5VxmXzrhdB6nZKRaA6(n ze%|o<hU}4l<SC0`lqamt*G=PIiR@bpNyFCqJ^Y2c^tYES{UGi=x4I#Iw=nSl?Ny}~ zGOR(KRet+bUDrS}X1l@%g4hoH>9=?0(FJss$^RJh{zPWzkpH)2fk-Dow7m4#|5Kz~ zcTpd5BsV)LcAWyPA`k39o)NFUptR+1;{=Ievyk~(X}(ye$2{(XkaU7*7;^BSa2ewZ zQ5Vk>SlTzA;pDs#I^FfR;BD1_ndJSnpX*O8HQTNR$8Rr3B!5gLQ|W<3dy=UPat^<+ z_vo7$XR<?Tr7G|$I+&fyI<%R+#z&(F0v>|bqFs2-t0N_tEiR+*dc&G#7o-e#ag0Hf z%`#Y?A;({^?EgICEuXaC{TvJBz{6(QRlsh{I(fiY=~%}>sB-}6ummB3Sj^0FsxYko E12I|x4FCWD delta 23717 zcmY(pQ*fYN6Rth6ZQI6VV%xTzOl(b_*tTuk&cwED+nE3T{=HB3!PV8hx~kW~s#?|6 zcgL+Gzpo<4QG&1~qOel~%~~?fn{6mP9~zUk<+Sm8AN5>C_&gWXW;c{A`}n2=#E9&J ztWvU)G2)2^x!)cBp5fXWi0$z2Ajr|;0xWyR&Cpmx+d)_dx%NAsd#TiPSdOTwN@?_V zL|97b5T5D`_oT25#*Ur3o1QnSz!8<!>7Utd!o@{itNxuD7lCL1w3p4iEkfFU?a_K3 z=;-ME%Jkud4Wy-``}W9zbWCIXB!^94O{wj@lIy*hbZe5icTj>*BRtVm0vC&C`lN;t z9vyig>J2v9<RA|{i`~Fq*=24bM;vczkV%nAk&EpbD}YBezDtrd_feLETZSVL%1gsk z^~~8n@Kr4qO4<eBJ(1_B@pz*a^3KNyNVv2dPe$@z7-Ax4Iw)QB-n6j2tlx^>wPOQ* zc1IB{)y*SbYUqezA3iy@i9%L3E0~w-XzL$7-Z8@o_<pj_W1~=1b~O)R_?LP=&7Kz% zFRUwH2t~eow0Ius3AZBIJ9w>FW#M0QN1JTl4(fCgr8NWVhIm4!&b$>@re4k%p4U!H zZkp#EI8xBPDm$6JV&<x5RS`wwR$1)q(w~BytrzC#+v2v5yCni=a{^y&OEZgAqwt<W zM_0=kG5pZN0f|0E`x#Ri)bE~KyzGg@h2?llE#Cc-N)wP&-ZbBVlnlR2AGMC-!>lkp zZ=jkF5{m$>OFqOBw1&)b?S74l1<-g^^Hl@2dUw9YLBv*!p&Vc3s}y-M?5clb0|%m} zJG}3YBnAkHiaZv0;FTHlJ8TD>rG-y<dt+AMdTBl7BqWNGr;QF?*4FuF-{m;6JN@vW zBwsBA=6?wv+iWT5i?-W1c>GJ6Gio3<t25Pgdd>j)zb~MI*TFy3R&-c}<WldPQW5M* zLU=GR9#`Q(Gp2?g$qy9TQk5)AHC!2rB)ZWA5pLTG9v6px@=)L?n_|ZoFPX2V30;%? z-AbPeP{(Xonv-*z7#)@RXMDm|io6iYotQwcdk`t5oShD@>2emn9zCFY;YMcq)n$dz z2~PraK4s-tM@--+u5Bf@<$au4BJ^O8k=s4??}lsD!YqG96uoOvXXBLObaRr)BnC}7 ztk$Ss{tMbW#a7#>@&a+6YQh}tLmBxk^q6=I!@}E?i_vq@QYS<AM~F~hT+%orTOZOH zhq%-QMWu|9I{4_m7%xce)k=JD%25eL)kO|KEq(a=@iaa|c9Y_3a>MrTdpPMuWA{6e z=H^x7cr$DA%~c*<fJ}=z{#{9&hTa!Phc3dHu?3Vrym}?CXgg$@=Il3(3gNSbmOrao z@|uY<WWTIwJo#jdRuD@n+mGDisNW<~^FPQtNpuMGV%^7d53ffTsa^+ATd+1TvT=I= z8NwgYiNXsUDua%k;pA;-7B(H#0xx?hNdxJAlb+pIoXF(C4<T2~uosLSy_nN_^vH7w zU<}<zf0NDK>cU$a$D;O|@bPBbNZuStiRt(g)_xxLFcvv0CkPv7d~i;uQl-O5{8%zy zAiPZVgfxL&*tVfE?;Gn+Sag0i@~$=kwk(t2Tn5tSU+ip$kQXD0j;?=mrZKB7!1&3r zG%T#gQm?x|qdpggP}0zp6Rzlx^o4&p_Cbt9jNdx#RMwPB^tTjF9mSU#E;s7%mc>71 zp_3}pX`!X2ZaF*T!A(JsYC94^yL2vt+DwY>n4|a+(xolvaTb~yT{lOoY6n*XP4^-L z#0jgX+w;-L8vFU$Wi}BHkQ+WD6!^S`MTczTd?cWZOXjE?J3q1lYPy$Z0vx2x*b<w( z_<q;71<}_aQlQk$hp5i-jJHfd>O(~($ACvm0mZX-qAkir+fP|~jzVd{%WFPaB@*$n z?2K^f?z3vHZEkT$@?2C+kx*HHMMIdACsW~?WeDrdj?O))8{F)T^d^VM5=g`V8FXsy z+9_ki4Hp!B%v_zMO;&OO%QUJ6E2!u+`*TasfcCDIL?tM#y6alPCX2l-H(8@NE73nQ z!It}_(4J#@hD{}Z6^~fRpEMv)?&H#kG1W32f4x^H%5ujhyc`*YwJeW;3#|#4RFQ7= zJzCwEWfzBUQ`I`L_?zlB29SJ}r;al&T{Jf=iU;Y|Gu}{rC|YExZ6SxB^^hdq8Kugw z$Zv{%VDX^%i5Dw{)M5$Q>#=@$`!#zEg2z9k$ug_5cT+g|ST|*{q=s?%E-(obRG1v8 z*PNxR@C(B|m~G$G?daS9S)qJBD)w=Y^K2!3Oq7VN5I6_e^98qdtO8sb_NaB%BAm$i zNM4u-?CnT>7nBhrWQ?Hzue!V<%9ko+lYg7b(6A_CFCskI+35rxMBly_r9vF`sjriI zN#jE^wf|Nt<SBYvc{2@s^BWZqtizW7%`36|`q$1Gd~;GO1@`O>RR1z)`o0EY^gqOf zcc_u2nThTmM;g9NN<TDW(hfO|!?ThOi(i<U>~F<L1#n+^64(Abi2MefCs|<Lf{y3@ z!Dmt2EYm)(k!p(3{al`%0q(rTwlW_?#D-Z%WM0MkQsk%eGodDIcV3OgGfpC&pRsYm z^k_MZgUP*oMnA9yctzYTYWs0gB+S$Fc3`EHgMsp!N4kPoYC#P3F#b<;M)whWm`v9g zeknu)hz9&>GshP@I}!)^tCF<y!M(2aM*kic+!#_JCu?3dP7hp>?%hzBnE)<3`N51u z4jdWXDW{p%n4|CpJi1WMhFov3l4JYnz`m1HMK)h3I0{!5K+XutxbVx86GYqs+esmg zn3l1EWrgs=QO#q+cdR^NU^@{Pw`+?z8`m(%4SixaJ8jS==_uehwzm=ikWc$3MS!7E z|M8Dmnfp&t3-tRK>GYLHM7*n0u!qdqR>rq0LcgrWz8=fcHBtuc_=pnnlVMAu-?UD` z<10K%2Su#~U?o4F{D)o8*Nr7GjEQJ0jOnN?KV<h`)gF2DQMg>rLJ)B>6bPPN_ne@Z zY-q~(RLULpk57%}b3zK`3d(pRuB70aCWybywPf`f{<oEVRdem7pykkiq*IOJb2>M! zw3Ax(s*Og&pKjAO2pWp(_Z&32ZiFdFXz<z3%fu&s0&elI2fE2F)LsQ?5jm|zRSNdK z(Bt;HKg9VQKBS7lNMZi_!);9rRKwYD7N+g`Axtw=Q@6<9sj$rZTfPd3Q?CkS0gAXr zsr@xGm=i$so>uucs7El@?^2<&pOeZ6-a=-7r1$nQKCmXZIHrEYhO@@2g6~TSZ^8|! zkGpku0a%mRL-k4|Tru6klK`DVPJfjFr>_jnX%w#lS!H!8<V~<4aTVcNHLt%P$s0&j zi9ie3-J56cDR&&=!|}1UUv|pf>p0w`n>mC==u^Hxa!!>)b#)VR;|#tz+geG6vbzZa zO2?I%&AZvdB7LhdY5A`#Yz0d0%x;z-Iy<UzV2JA1zJ#lF0R$hDb|2?4=B=JR858&r z(gZp!n7+6ma(is)+<9VNW@hFt#8qX~yQdq{qsl6|<GH-N0T^oK)n6;Tg{Y{LwL#w> zOk#nCsdN19q5D<-xNGJJj7#1d_PIsyv)*64Fr{o^D6H-@<O!xNuH1*^MTYs}a5-JO zz$$4eweE0y`lSyz;UizG|0W3iFN7^NUvZY9^Q<s~V26aC;zqYbAck}LA4Drr{z+=B zzjZ9y1^z%6Dc9Jw%GlD?4uA8|u>N@WLYpLSqc6L)ApKXVsYDwQNi1)$m^1>lM=mKN zTc|$qHMMdtz=<ANb|Ty`uACa#IraC9PHw_xp470Mk^=b~f3eW4^BkpeDY0N$9rO?7 zKi@liog#6e2&edevQ2=u4UzV@1f}zhFP=zt&7Ox$Q)gKRl6j}ZukWMhDFDPDkr+Ht z2?s4P6HWw3+!+2}OMOXUX0w#gpP8qeOuN=#M&Z^#VLu+)jM&&0mxT(=3|_Z*yi(eG z4Jj!NR_rrs#Kp&VlkV%YwR&srjkewOMY(w28EXIiX_AET>*9zz_8~KLN-k+=LM?0i zP^<-h@bNgm!xMgci?KlwNPUzU`q)510uuWxj{q+WaqQ2w(Zt=*4KYFpfrp!m4Qg1z zu&Cs(W4HLKhTUK0Ux~oZ!_CgjL-sF`3zR>NVGT#zdK3EFh*wvna*2i~Eu9(P?}$(A z9v>ZvkcCl$cO0|<ZZ~#?dCpVnZGSeF*BuuK>(8e^=_s3In{+MG=@*)d*?wmKL<+2N zX#r@ivKKR2PR0aZcrIdu`PZ^N-L4$*O)c%G0#1-z&vi?-H%dzRD@i%qeW@1hRu>qj zu1H~VZ8X|y;+=j!t82v$h4SR*K<1bYHR>`ISy;}QBoDigWnUe_DlX{-9?~^z<=b+< z*x;Q*_=>iYUqL<W=XwSD<4KBQC-E%U*aEFd>pV8xQ2`CM?}caYJVv=yNn161FiSVG zOz3=Dtvza|>avYxTM}DZSs49|T-+O5QbUZbG8kFBoyb`d)_M^3H$<3ctPfJlWJoug zzGZR>?iX5{YAM^d0xhIQ`4{R|sO=74a8hpQoB6gFizT1bpp*($xZFssE-8%5bO1!R z_b`2AP!ddQ^n85M&qcq^zi~>82WD*%rmOZm8VhpAM!28z_bDyff1(DF@*4X1Gre|A z9Kq-y!&>6!Q?88FZ}F7VlphZ)y;eA!w3i7MROjdCCZ64RTuo_M^)_Z1Heq77H=N5e zTkwg;$c<MK#+5?D*cIe4Cse_eu7N3uFnMVw$_v%&@|FYqW$$)!Q*v#o1ju9tJ&97k zzvNQFtxKAhdfGFfl+_3A#D+OrndA7(_WGlV`AJ)WO;e3%BvyI*?gK|WGWQr~fn6F$ zxLN`h5HIv>>x3xbInO%#B)q~X6MjTeOR^^7a?rKle3AEk!gFQpPxG}1T0j#l;R;a` zRwi7&0*{OYuXHd4%-`8bI7PEqJ*EWI>NOV_*Di*D{1C+g4%gN88v9r#<@($r-X@!0 zf&-JD*Jb@+rD8tYhT4KDx>PnRajrYR#fV@I$&qAm?l!Kt5xWY`Giq8x+|q~Mij<X| z@n{gF&^D1?UR}z@oI2;9o`6WV-{a37mfeu5W)27=N<5wUS_#6n5S!0}9O(oQs~;@| z`gP2fWa*Z{Oi&LredME!DThxI3o~J|vN^b<XpKafC^#-&QHIX5)fb`XM=9w|G$em1 z=8NNY*#f&DQ|TqJi|=pH3U>yX?R4!O(_wHJ=Dq@pP1FXAYCWhPVE|G;MCD?J)4FJy zWDA0caD|=C?>@|6x5t5s1i;9~a^-|4nXuaHTOEVkLZao7Zv^ayO5WH5qu~~>rhX9W z;b7GZhE%asMso5jS@m!kbsO5n>H?#Rp(S&;J^)TpBPG=IpZqG`fpzmr*&e4Ae*Gq% zKhJJrnJ0r0oJ<-<5FjE8B@h?SnJ@ti-$`~CRpX6kv*R44Wn8A)4A#0VGK7nT2>MvO z_o(CUC&nk|-~!FLuPk9f%=E!Ne$uVNnH9=m2Tyl(SbnHd`J`x6m2(S;2o3Y>pkskQ z1nR`6PU5ShoV^=eqo2A3rk28qDOk!?%QgODEWdgTBuM>z0an)lq#xPq7h`tX7!ETm zhKr|;FmNax`Va!mR3EaW?b0BM32OOnD7NgbM}Mo~4#wR-C|4E)Oz7?+qKX9tbU@4e zAh51*PiZo=Vgy~hRaVsLZ2Gv*qS3sU*YMmxxw6f@*)hBkyx_fqNJ0gr>Bzwmnw1`% z(fPF|<VTRU0hs}|{{2Kr<`TL*Y{gH70DIW9#;4F?cA9C>7rGEsKHJ)dcZ8#ph=msk z3I1pyyp3^rsj`E-fr{wrq~;Bt7OygV@lNuW8<ZBdh;h}fv>(Q#u|{|eg2gSY!v*)J zEj1O%?JP4k>t(Hs$3NNeycesXdq@JA_vtIL(f3a200i~bfVW`f<s6@G#mxNjD0hZk z8fY8ocw;L_T^vcbXLKj0PvR_dZoZ1o<4JRcN%@uEkl;k*Z)<p^vzBg6h7Wc^QLjcq zb*jVyENWuoICLV@<tXecYq(y6F}#`Z{k%17*b<b(&&tBXVZ>FKVnjh=(-ZNGb(ux9 zom0}5K(|f7b^=<+%Pxq<_TY)vS}^&AuHZGd3SPfTEQ57bnUejbJnrZ%yYN|gIg}7t zL-A6UvbmOvTfY{2gw1361k{P(xyUtGWd8ZNmtifhNyp+PMj;u7SDYj#&Ek}w$4&|n z*2^(5wecMtpVJDVYuzhmYzfJt-25x+qFAySATT5>J<2LN%HrsV-t}qx?nI@NU*f&t zA=Ycu6)y^7e;_|9(}q@@YRDp8^IyMzy!jI*2fErYod$|M<(DHqW8u;{rOW{ZghPc# z4M{7chJTwM1l@Q|-JJ3|J9hI`@Im;rlW-BKXq0>Q4F}GAu3iGI+Rr4-<E7Kl%hM5B zfUat;5h2=>63x2oA=|+mKYCXM)<TN$YVK+&v9vG?Y`7PC(3e(fV05~{U4|kkW~RM( zaBgi|@o``4_#_t)ibE-dn2^e<VLSrAOvGprZQE@cRD#C8k=LF%HKC*)s{HGTsd`w# zJz+66MnqWkYHHoyh2114;sNz{who^j5MUg%iA)shKxpC4!1o&P+o5hX4NR6my`<T) z9#hJPE_~5*TX$3T=gS<@oHTAph!H?wyXMrA*-SwGkrk~od&UxB#2=pEf({v{ZwXnG zN;$kiO#5-ku1of-dd9IO=MF1=OKdr4&?;#S9rk3UEs#ZyYk)b%a@JeiqqK?&5cT0Z z7a=LwXxO9Vh+~!3wiIBmLGPNPUm5j7XxD3Y^Cj*{{^LW)OCMbA$Yu{ba_vUa`*G6* z>~mS-u`S!K;|0MYGm`*ci?r0cP~6XO>*xAnmlKANHY*>p(w%2(FheT5R8}m0HjRMO zhLDp(Drc4~t1|X{xm{*8{q+LCTjXKHFRI*ViX#r;s>KvJCZcOPU3-5bFm*U{uxpTo z^e-4Nc(@Vx43K@bVaW_m{rupWst)`XI^kaEJ+EbY$eA}{mFmVy_l3j;qw8UuLh;X0 zW|o@71>fFSQRco<$p}mbCB{^c4WM?qE2cccVr?UBD$M7ZtJ51O)Nlf3YH)Y66p5DP zy`ue_+DLPSOuAByIt3k8=J;_-aN0`Jjm3P{%=R592|Is;XVn?VKz2cMbvR>`!iyt7 zIsz`}L3b<*yE;s9J|eiyJ9r?my`fqj|3ZAp%5#;*i^q7Wh>?p;`@isLC=^m?>KL5T zt})j&;c~A!<2)FW#9@Ic`Ds3F3hy8cxUmKX5afA>p~CRFc3;J4s29*thnGkRv9D7k zC`Nc2%n~76xh0q}kA(4t>I)X(sR43_5t+uQ#V=)U{>!YFiXqLDxwQrVYX#^r(tAdV z4TljBZf*Ha^)MLQY`SmoJW(%D+q>uzr2w`b<LOp&>+8$@AIref$rjoR)ZiONf!lEI zZeNH>2ra&KSHk*>tv9iKX}W_0vD`KjP5+Dj1zOmyQ5j_hshCAqMu{nnJm7VQW6s5Q z51F9cUy6!~Kb=uXDiuWPVG?hNy#0x}<6|3%{r*@`O!4`|$`JnbZUc6c)8s&tF*FXg zPZ}-K>~<;zy$WO#rzDbfcYv;}o=3<!D^(p`SdUVhqZCh2#}12HG`;)GTBPtJt@QJ( zPBLTuP(b${0PEe&UK}Z+3MUxCcwVy>i}(_Z&{(<0U6p9+;D1WA<@~!~j}*lF<flv% zKUE&I>_LgNy|Dm&+O~He&L3z#c0_eBkwSeO`aYq-WC!eR+!3|68%M*VK(EuoC7W+z zl=#)o?UMJvl(Ii1VE7nZk@Z4TCy>sCZxk+y5=&ojx<XDb#`Bd^ND2fH?SIWER7>Uf z9t9jknLmN)`=*}Co6mO1j7!eLj!W0V+b57MyF??#!DU1i5<?si-1SSrb_l5iMHS3{ zZa%E!e*zxQ4wD5Yu~d&$EWoxUWV@maYxXZVS6fnf^qCipjE{eq?Z&FhQpa_r#y_pk z)k5K{(z&H3zFwQBT1i%}4*$Wd@@L;T1wgZ%V?(_dbn^+JMy93c7F*Zt!_mjj()>(R zeIDc*%-dze7eO;tMYAShJP@L#lcQ3bKRG+%9R*^S4Na-FQ-K3&@FYb~ey0~}N(q?( z4(nms0SZbn^ys$@($|Yg3l&hPo0AZwtj}bl7r;kTyQpy=|DhL$*r3k&$c|8kc!a`@ zK_{5320s4oYIQVE81dE=1=Z~BUHWVex;S@=x#;2+R;~E+Oj%bPDN3ULE{(mEGTy!4 z6Zj1Sra0YYzjRHL6^Q-NYewu3;nDC1CB#RC7<6Z%L8fYEvU(rVIv(h`B|!||c&mg3 z@{-9DaNWNg?z@+NYBIjkRhOia+YP&iQtiOhI7vwYG5IIB)Gce)+b-jT4#w<4EhL|O zF%P_-iFH{qZ~Fpx4VC|Fh>su>B;K$k5Q$Q@leUqNc0RG3Qz*e3m2i~qL74x4z2i!E zBVmIB_0NjNF2kL<2xzqTcrxus%$4ezPLCQ#XAF@gf`vFvbWs9l&*jREmEW!;TaJv) zusp?sAPBmUOJV06=a!#o5W0{hO@X2^jF_+$x^`TXFqaT+FjhvTvSpw!j7c>ynQR?e z!+^FAP7nfhfdgc<6em&e@&KN%6yTu{z>}a3a}}hFQVfODv?xS<U{%oX5B8@kpLZRn z4rR8KM3IsS-a{F&7(^u^{Ra}Ju3uHOwjZNs96QLShX9MAV1NZ(`UiDdllZ?B5A0X{ zKn!>slQ}|JLv(Hr26{=!u>%k|Vrw!@K|pqV_fM(kr!;4sc_9il{_uWZJOH<=Cyfce z&SC}48c;MaVK}G!2wJP@!X8fF?sr2VDO~0Oj#2>cp(c#fmc^<o1S3Q}OS+66BuhAN zYA%afi8c-SQwi0_W2i!us{fvhJtiJcW)EXq{d73dVh^?!LqMs_PX{7d_|^kY`C-}t zBGyNAM07v`S|c7!h;m;Y92kl=A`lXy_CbTjr=Bkp6o#dR4|#$mfVgN27|w}?*N%Wy zRwG9Hxmb}`icRd(f^duENE3$W)7UR)nFl>r!H$X5ew-%MM9D!SSBGM3tnCf6AP7gm zPM?G@CTZ+!G@u9x58kb_OezEhTh(8t`B#3;l)voERPuBU0#hsl3Lx1{e1ky^P?SY5 zK}y_c75ma%L`q>wDd?f<*=|~}YtdCbPkH_R7+dMJzHxXnC{7Z%8wn8L{?>dLNf3B` zJqQvg8C+Pqb#c59CUwafW&5^#Gnpounl<84d{@IAJKFFUH9k5u=6>hR4h5ST0n27@ zv4>i>f|dZg8dBUS(us{6OMf`bfw$oxid%5;VBR6z^~zg?H%$ejYs`0ZV4-{FrE?Fp zlQ(N^-7tFiSUhDUYrux&Bogguw_EvFmeeyT{v5jQrJ=B(VwQdJNwL|1J|p@ESnl4R zPR&IG!2tXl_d^ojwK}zOs!Fdy{+PWVJ9hs1?W@^?##C%bH6kCPFE`tdYd>IcWbTd` zN%8JECIg-L7hE=YMr>3}HaNaru{}@sRM#{{?t17@U-ti+V||<Jq5or6Y<;(m|7V_S zEre?+d5on7(-vnG^xe<C=WHAS_Hsb8=4IU#)z3#wpbDtC*@p}=sQ+7%?I9(t9-%>Z zK?}AbGp+$UEzhHqo;Q0P!&&)uR`t6w&|K=+p)sBED0UF;4K{L?hG|`u!(6{E&0t^x z#=~m)#@t@qba+*Icrwb|oL+5SFEIVUP29ZMl7sAizpTMdhM7@a-9QA8vd<g>N&h+v z>!Pj|!mHG9QPZxZjVv!NuKuya_zR1#A;JUZW-Tl~Vq14=xI&94o<H5T1Eo2T20ST6 z3&eMy##EC>gM}?OJIcNVJQzHOrv|o9m$#Ij7b>$6DODlA{t2v46~av3lLe7Ch|Y5@ z)Y%?$>b0T1KEXVah^Z35ZnPmCio~&w$*93G;1$v^ZLA=z|5}AjdzH3(&V&$MU~jzB z3@<T8mp83A1vUAW_7d;PC|w$=!q52x(LNt45UvW-MS)Yelli*t;0o$gah!9Zx^Uz5 zje<0a5zQ`lIc$?v$B!RC0(~`@oN-!W%vd|!uSa!3S!3nFzas(m%aFD8r)K&)&N|G2 z7TwsHq!17sVyZ|nWiUb<?6~9A#qx1%fJLQuY996{D-UH~j<*|pBiIZ*%7ot7wEjj7 zhpjhw_gcM}sSn0(Satkt>Y#Q`cHz%@);rYhZb-J=YcJIf9B^>F<uo02P^023xD>{8 zCz#}J!vTR!14e)+?)OKZGrBl)VdZE&vksF8Um@)XKg;d<n~~gANXfzIU=Xc`yd;Rf zwS0@A8S`Z%S&EA*4W5@M$L@Vs3mBfdvKYT^Bmx^LUL9=gY%rh0u4&o;Yu<koRpMfq z_Bt{rlzK!?L!KG5P}?PSq2a%3s?W+Cn_&-_hYTk+hUtJNEN8Ta*7TYnRRm-IcI69{ zoO2f*q>Wfh@8?M`sdSVij6(kY;m*D(Kj5mQlANLKU{cg8uTn@%h2@?B3qJjD^!`?n z-a;yo6&BiAqsJr~BXU8s<BF8yF1HeapDTa<;b&qM_QC}mNt@Q-7g+ObI;gv~%?$+a z4Z~uE;sH!Ph(N#MmuYtvzdebmgX2w4nL*P{N2C8$x<~HAs0HXZwgBU<dwP5t6k#K$ zF`@n>SR@x>tfwhU6s{**4RqGR@Fgrxuysn7S*oP~ld6XP6LkP>a>4;F92aI#UY(PE zz*21LMPSM$Yze=091I8YsWwd2(3w{3ScsGb1;CvD^%)=7(3jU`+sC%#K)a$r?ho-( zLgTTW3<{#H*wX;qfsZ)GsA(wN!iVAD=0P%d6uLGui+p5U5X3ytm95AYe|Yq}ahN&7 z7P2xqaEiKgw~Pd#iU^Sd?9ZQVVsRZk&tx|mT6$d?l>-l!Mj8Vr7Pd@tet_ue{j#B- z2M}1%`{lNAywnE*DuKsjUzsf26}l>J#`!qHK)~~RV49ni9=UBVn!H@Vs$KE@(y5>0 zUg-kjCWwWu3ngV@Hr1253+`F!VvzBhggTIbm7fG%p0+<`m5A=&UY7DoS5E6vla}oj zV)Ouvxk|BTC@MY#b$mCGy((&dQw=PpI3Rk)o9@TPo>e2|ZG->UVG`MY^zo-DD<xAA zom7ZBKu5aW8I_D_2-PEQK$5^h201!Vd8x6wgFQMxB_W&qa*oS7XF(8MaKV#t)iUJy zgF}$u8OeokgV7kv`r0F*f5fNihS+=BJ?>j_M=0H7`*E5gI)Z|W=J0|0(>f5$MYA zLe%lpT6bTo*-$?Ze0~ZO>Shs?NkiK<>@lWj5rq1CS5&zPv4Qc?7?}7}t`>tcB@F2! zTI67|E5&EhcHwL?GmX;Wi`=@w!8A<h_-FB3+m=AJ!f=1Z>i29dmB9JpM!F%rIPL&1 zf4R_LW8?`nk#0Wcb{G4}vya+#I`9?dxpwnj;k%*n#M2E1<-TIOz_7A^F(TKR!PNP7 z+3ZnBxBc_0l=HG<>A16lpD;%aI@GRM=_*@xV{1j-`(xjgjn5j(yEsyZ4+MLSFXi9L zOAncpI=2;w$`8(-_{ZcVgRON8=t`)P9h>!{viHyth1~6rw@mLV`>7eK86a~A5;v>* z*VfjcIm2O*@8Y9t0|(uUerI}(1s!4fc;|u+TV(jD)K~3s+n2-6>24^w>0Na~n)1&5 zGnO&?AYy`sfSrGQt;MFeIxEE0eNzbKBobY2@(R?g0AtBS_u9T-R!ox*L}KpM&7cN@ z<`z@^>~f~*-0*VfjYjBI0ifS}vF4<ZrueT`kLlv5pt`elqJt+Wu=2%-`sw>pPRHK- z=3MRrlBuaNaIi*y5|cq4ffEFaxwfl<2>Rw+;>iTX^sC5MTc9#`g-P_$mCU%R^htl~ z-l)-QSh9}4;^fJ(yDar7B35AO!b`>d2_{#wVyB_Ec8AKO;ve6}1%UYLj2boeIZIeU zE#b(${`F+49}=}KhV<H|#O5WQlzjC#(_V^av{#Ey7S#~!?WpNpWo6Q0fhRK1bE0*o z^ZC`HhSzSp7{xFGn|5=j-{GCc6=}&=pC5Vr`Qnf)|K1bAr7yI=>A#C3#+ORV-hH{@ z%pz$D*71hm5NVy8fju(Sc5btv#7b|UELx3xtQD1s1EreM(TWj0g`{eKC7Yg!=Rt}3 zd%nkWuYCz*a|Itp)jPtG00N_m{hvE%3L!yalsgP>Sw;qOJ1<2VSu>ZFYlg`;XEj>R z?Hzm3Pd(!;<5d0cI<hnvUgw^$WwXwHcOf}G4PKki^oFFjfLE%$VP?L?9z$-x<kCx) z=9F5FfbdYiJeL|}?`g4G-+s#dJ*g!<yTb|!+L(y6kG4{vR?jOkk-*7whVu{I`!}hk z-svIRw|)L`v$xR-Q*mNlD3T8BpinK&?O-s+nbe~~Xb!!Y#3knQ-PbVMb>VeHBOBT` zu4VkxX))z<ATbeOJiKX>4KxxrCWJ?dU<%bt*=bgP{*%X$3vtwOe03Se2uHV{fFyeR zBA?8WBEs2^$KS;@GDAQ9gTyhNu_2JSO?JS1ojy+=MRuVgF4(x0@fkiHc1LpOA~v+8 zSfa<K-76bG?+CWA$px(KY933AdkCJth@*20%*2QgaBF}lb<;XxN@Q{5?~aQ0R?=EN z)7k-{nw=O5iL>4POg5bg{jF81qfsC3M4@wLyMH<4Q_Q`+(UYJjxh!K3M$|^CE8GBQ z=3Zlrb~N5HyYV-j?yQ4%r^9AayE&?;hn+HE*#}V;eF|$>bne@VS?TKlqYS#S5=yLt zzYP}`Sh7EF?Tn+gZ~QbPR(b>@kN7%&C#$H>BTHz=Bct8WihXm3h9HPv{10{rg1cBs zFBj2yjQ_xL5oJY}6lKMf6qU9UA*DT=0S}j)!z3?AVBiy6y38X}ZuyUz|LFOT{Qvl` zC~13eOqi;Wgs4kIOj(hdx(@(u1x27FHQ>kN1VMoEX6qt~E<cB&v?(s}Sr|e{5U;** z8pfVoK(;C_BvIszxm`q5_9z(Mv>_~!Gy}DhSBU505*TAQJC_SVK=Y1&8YbOxC6iCa zdTyV@Qoz6ShUG6|>hd3xe&JCB%<+z3l&rpeq7-s(NwI?nX`|yH09vx_BHVZNuwS?| zrFBFF&aTp!C<sK7tSVBhGzaZqVM5&aZP{TFEG2C?jbTAT8tDJy_)giG6eJ{pmQmxB z2Zc*>TMr4mtPY7%P(h?f%fp&0J1O%~(t7?crCl*1O7S!JF6FOkY`C-&tx-Wj`hT^6 zbebRe3F%%;Wv0cfl&~&=;dab(2$UWDq5z|85kC|q?b;JlNVv58zneIg0^gPWTF~(E zX*gn~-YZZPWmPcl2==_fGAI|-h9rfAQtH#PnGzOm+H~r?!h~?p|C}=M(}eJK5j70S zA{k2BScy~{)d0~B@*-67c?v35zY1VONTP$h#JnsdAjU;Xc508$?0*Nvx7uTp6p8Z` zWX+;WSp{Tz^GcPEHzXUUlBrpX+;1m@1ZN3}<Nrln=!O3!l|5Nc6EX&7WsGV63lmhL zVqC^#v!V4^RqS8EH9@31Op8&u=l^J*LlSKL-#2TSoh!`|{VAJ#xKo4jZ<Xb12sIa7 z9>{U%zY&_jw|6EZjErt*sLC9WeZ=_pYvyKmIM(Aa7QgI%=ill0g8{>tW-*Y{pr&|- z8)_o5cl3{guRlJq{spZSzyry;0b^z5N_FG`qXD$_R5rx1dTwfWYmA36wg1rlA{YS& z9TH@*oiFOvoDBFGPZ3KlGFl7Fq?+QGt}OKY+HO3lT3+8e@u|rQ905DoeWa3De`ysU z$Sx!1m%Jo*84TPA4HR9gFGL*RtRol^XzLbuwNC$}VL(!|!FU@ueA;7H9G`#VL#;_Z zZU$%?jaw=r8yd7ccogVL%)QDjtiGIHU#_@5PZVi*U_f)QMuKuI(klY2RI(jk@~QC( z0?HRY<2%{Bpqz8J%^<mI)G!*K%X!!?KVsW`r6bj}5D-K4k+qhrIV_|#Hm4(ut)%rz z#q8Kl7I=dN{Mrreg-aWM8A$QwT(A>iA_18I*8R@bbmY=OS4!zGH_RM2p9>}`hv6Xx zcG&N!yDDpa-h)a%dYKE{)DV{r&HEGqoXrOiB*yc0nvazBplaM@iY^@6)SJ%bfyIY? zLaZ1*eNN>z2b<r4u|;rXVCLKxTS7U^(64{Lh?`P67MVNqvG6mXY`&fF-BVDx9RPYa zXSOPhSAMW#hF$uL9>7C0xruRAe}r`>RckH_3NZ$h$EiCoAFi4ytV_$@!ITQ+M+yh0 zOEpsHt2bz`^l9c`NNtr&!AR&uyh>KNT3Db_(dB65-WMv56YqCx?fK1=(yN01PslFn z5sl??Mo3{_I}a>wdyiBGCR<H_5TKn!=)9tcY1S5S*oKa=dT>BXvhR!sn4>`CL7SPF zX+gd|K;!V3J)P3pFzff^a48A!P_J^0L$@Kqdv#YjXI+wFLx`qazT4(wOStGh7sCFz zC~am|4Xik$PSB?eHKJ6b6Y{344D#qT<9h`O{sr50<$f49u5hUzKb_qH0W^hoaE-v$ z>uGZ*;TEC<;{1EmW!Negs8kSkzrLCq+~)jdd~_LHa+b@>y}pwuRqYZqRanT!o$-H1 zaOR{-n;sa~|G=I(y{gdP)dIu$P&I9dlSc4*W@3`O7E8f}uGej$*OWPZkM48T?M3<1 zJ#K_FwX=z2<h@&z>ylx`420ZxEpyafm_1#ep7uyy1t`2oa<w=GoR;0I#gU5)2z)}J z<{WwCD^EV?pNWF?{C!4M>Z`S@mEI&2=O?9iBfW45)<)rBp@DE3c1}b}v#AfeS7^hQ za|1Q|H2^8HabLnZ)GXCX3x2Lu1bPuG!ucbTn?(LT>kLGuCg|-98JI*dEWqRk0fERh zi(tB6k+i2B-5~3>Y%;^{gOf+Tl8rz`c28b9a|r5C>NZ&p%Pjwaf3}~0LR`Csz}t|a zX4$o+=mHWw``^mI7!jTvaXB&67@~v2>vr4R(aU2vQn`O@Pi2hmj-#zaaD5|`c$a?E zCuA)sb1S7sl4!GGA25Bg2>p?$$woMzA$d7}Z-p9fAmv?Su~QKcO2gfO0%vCh3QO72 z2lYi_gKGB-);i-n=sTtn{*&9}*rw*9v!JGJq>XvAoekYK$$^w<5~LAQNAEeWgz<J# z?{^HObt=Z7&`N6Inff3ar}QNvqFN0uvsejaxF~i2EPk)}5TFCz6#&h3RJ}}oACuBv zW3!^7zc0*L_S_e|6B!A|EnNB=;TC>mAm<bWE!P$^3mfMkj;_e9MrT_B=h?!YJJjd5 z#VO*>dHJ%jry=fiuxn?|3|eG8OM}UVqHjFMCFHaufJxIOMzYT|P+%0Dd~v5?w|h?t zN?`(X<-but0Dwnth`Pl)XI5wPB3fnh!eH67DE66OFc|*?fAy@VR>xi&**|k9{S{M< zHip*+mU@qGjn%TNkxB<oYL&;iWlIfo;(&TG&(aby_lH4|q7OF^pm_NbPl_Y>U1CdI zetVam`>CkWI(=%$V^kGW$-5E_LAMO23+>9J;rLy=1N8Watnm-UdsUFKSsV0eqawej zUDq4<$5nnOZxkSna4=HUO~XvprALXGHd~G$iX~Hv)5~|ePad6Gr)9pkQ}^EaS>fG2 z3EIAchVOuG+Cz(TR-eea7N}lx{D=|0>l{SFL$Qjry)aDKhxrjmwI>b*&+>L6#}?K_ zc(VHN4B&mwJCo|XNnPG>ep60Cd&lM?#LAE$YieC+r|v*bT8nB3^fIZ`3lQ#^F$DL> zn|+Fs{~}FCH%nJ1?Xnx7jGYhEbI2QfDF~tpa-+TSRylTXv3bagW#;_Jb+n=o;%SS1 zC|2(pG6W`<??Z$LP2Q+%0y>rgrUQGP?!&~`3c&dKB_Hd|gTzTO|7`3;8^-kTH1{C! ztA^t6>=}6M17qUGRftpkq5MN9xdwAnj4kqhhi=@|U*xy<EZbm!)t#b1>m4YfM>6bK zfjx|-Imb+7mB(Mffs=;*8w-^hyvKFPaU4hQ5j5$yK*)_(k6*BlUx58-5)r<q5PrpK zBhWnyQ|OSZOL9K+Gx*IHTu~$w<HK>{tj*>!CiqW|HI4^u*6<G5pUrz_f^E=Ely#b0 zM>K1_i!@a*u91PW&tDB|lMq#ZMqdNvOUvpe7kDG7OJ5txdmj&5O+i`cqeL9CwcgWA z?EJEu$%ge44auV8A_m)}V!XSZR6rj@%7MT6tQek|2tjs{V8orAe%HV8LV5Y$b0}<P zV0fwO)Y5`J4#6FnFy+@3cM`i$Xc`D7GI*?}uL_4FFqHF}#oh**-g?;0I!-m+568#j zgOZV2^9$Bcqg>p@dOMeI!2MxgG=cd}Us=6BBlYsc%JW<USzZlvk_I9_)JjNqF9D=5 zxOn*@f?~=EM37uoWcORvY$ZgnEuGm^+e|@mj44)3CVtEr%L4q19z*ew7pK;Kdc+K9 zb0uL&E%9Pcq^Q;95R%n>bk?6f&7+OJHEEt%=H~UYz3iv9gFn&j^4vArFt0KvLRvuC zFuV9$SKR_l7k<%|zU=Z7cloTo+5;UW;6pN;@pttx>;`56L7t40j*hjVRAT8^q-ha; zkb?iL`3;9fv2RFV{;(U*A5L``aizZSdSTdX^bR3{?s6|MsRAO9AGyUO&cgVrWf4*l z&D(@pRL;<QZ7Yy;lDL5s(xLE5-1uwJwL<r~kw`X{`^@W{5i3{z7t}mTcYx4tXUk3J z6pUT%en{OERfdQTKdlW#u}A~jA*C&H7Q2vxus?gVIC<NR3A}P$qZZ$Jj?rsJ(4nV( zrM#qqoRlM)_~t-Iep&he%IV&ovUM;)Q~YX9LG)!f{ixx00EJ)Bxx#q7B3?-r44%1f z`TQ0}c(fp_MSd3IYSAY96kzGH?A&)i3dG&wC-VJ(@oq;x#!hw}Z-sU#21A9<V|7UG zL>0juZ6}uB9~vmoMTWt6Hj7nti5C2CGszKc74ueK^UskT_?BfK7^Q=U?&9AZO)_$x z-Iy*@;P)eUNkA&^ymskxB33DF(-t}GB4*^GR=>uQL4a+gIr56HE)XvVdM?e0Z-cVr z6vTo$Y?*JMPPu?_M@GZ(H=5fem+!_D#-0HULd$YZ)4<0~V>P1Y?Kf8Fqsx+mfNNW} z6Y}}|31Q2PO}m<AWwka|sPGU99_?71G4ueL)sL9YwzMuZQU3Wqm<f;Wab2K-e7Di| z{~{O}0yVW#kL$}+rU9F9|9=bX5~shOLfaSy{Rh8wIR9;x(m>QpCUAZbm-PyIi?79l zim(ACf%g=~!)`X$<4s4(o1iH3OM2xuk)<viSpDtrfWcv`&DS;5M%7L`pN%0hISGG4 zCRD|qvHND-TiPR1Asb3|<f+QZnInv%pQKKRF0A)rYFX?FG7zx%j#u1=f(@d})iN?4 z6S;&0%H&2l(3Rk(XFa@K>|p;cU2#G=(&cw;Y(_~GHCZbz(m_Az4CCa>@KnJHhC?EI zOZ=%ZYJ=u#ppUV!&;y~5F7qJ5=y#@2&p^AN3;U0@OXij@{gxlrzT#o6>yOu>!%2ti z*}zNwOx6AdIlx$Uzd4IS&L{%nd1HIM<1{ya=<d~wT^ALIooW;UUt?pw2Aco;3@8Fr zUK|ofIPWeWOjuu*mF`<GUTy1M6jrYsr2#4pD*aFa%$S7j2&QjJLDvJZgFQO@(1NHD z(3(R+y+caGC$1qVUOeX)`aX-Pa__g(`I{Rw?PDtAKxFz;L+ten)?RH2<wzzX67djJ z@m*A%49CMeX6<wce?t*wOmc*a_#O2A4t-<;rgJDfi#y@S&7ke{e(#B4&edO~!<)wE zZ|;k~i@2!Q<fk?Gok=?;rf7i_?R^J}a8rD-5<Z7{$2s2E2u3_-LBl#J44r`*9f$CS zcH5yjfQ<ewg!du4QZ9s(8oKv~jU0gB1nSoCm(0y1*KT0b!z49Mjyv7gAa>BU&yk4v zm%+&qv6VW(N3C6fm)q%%Uw<fg-(5E6w#CrbQn`sqii$}Of`rAPw8tNY7xBHHj9GU$ ze@i^G`HKaphX(wAi3ipb+Bv(kPX~)dKPm4N1313;Vt*<e1mQp=hZa>T(%V>qqM-DT zCT}e?*|GmX`%=yqTsG4<1^%P!16|!9^z)awceiz4v~dSOPFpR&Dis2XB55yU8Xo0$ ztgf@1mg}_>m`ljC1hiUHEGMRAt~*;4(jKHcB60^@NWGG}wh8d>k$(L!x<L>G72+3t z13oV00Z+>$tT(vruKbEUTd3kErl+jy=Qxmf+K_m;>}(IOW{kj#Ox~lneBC1@3H}h` z=YSsVS$v4ZssfvOFR&Jkw-2O5tQWCJyzLhp_nS&Gj3D`}*Kfb(bdvX(%!B7t!!r4O zDv$JjEsiAxY<vrhi4J$<)t$+o@s07nf%%8L;TNV2j<~@u>Li^>4hjkN2Noq{v8m>g z#YV-BD=$#9!Vjt`1Hx*Fo;Q4OxUNIHFKo;PUGu9_DG`A^)hu$KrJ>2`7b^PfaiQm} zhk1s^T1%_+H^w1)Uq6bA2_72#cz02lk&?nW)AgjzhRMl{-#uS;Zg-%;Y<8j}z|hfY z)HTQLL=}Z^U;jR$N6?`k0!;%6#DZ5ld&dX(kb~sxiTd~!oYz+~SqHnrpRnZmrvK#l zK6u)H=x>QMbYtL-oT-t5n{UTSIOR>sQ#+s?-i$HxTj>P~hqtKqAVw34GHW3eVIVd< zYL4c-bs&1TiLf@72Ei$Ah@j)-fTMfRJZDk4SUl20#s_Lr9xC?tW$UkjVU{WXc6D<6 ziuG9l$%CJZKCIt_x0<kRfM?v1a!j6Wp3`S#%WLX9VD2M%eUzJ_NO9;n2u%q+%5-;x zv{H<m7Oi=wm*hcw*x(|nb*l+kh(-92vbtvs9y+=DssDJ8v<{9ic_}{{7&{iJOa9KQ zofNE_{aGR!yQyP5FVzA*QWJ^H7uw!lSgMOW>=Vj_%e(W=EE4Nafol4zwZ{8Mp+_uN zpExoGi_4lV_r8kU>ra=QZay#X4tVW(c8KVL-u{ZVe&QFFncEDjV&`<L(<q6pUrI!x zq@rh1&QXNr&QxPx>(lK&0G!tTf`IB3@SstB9fqa}rH6uDx5ub=wwZ=|s~fc<;-eXd z<?Y6CNX3xlVpxn@^VJ4_lv7gEkzue&<=$y@`kNs=ail|h%?^aeurIl-2qRrSxCda| zBCFqc*;6=%)-$(q2&pbX#NZ=(6zPc_*WJ-dZbmW27C$4>_-;><Eq-*H1}<8Mo}F=m zj9#Jq*OfJ!lgnRje*`173Vb2ufS7LnZ)}mOgAd99%KYnpO9!c)_@F32f>ZH$jPZz? z<8n&Z+GWM3pbA-fxU7@Zc<R?XUo?nEy;&$?@@l5C+VBF~Kpx%}!tUdqY?Qk&+(FbW zAr+l6YDvU!A~Os0@4MXoVoVP3JzY$G^SxR6v@o`C?8m-0;;3fJT{2ue%vr4#sWzLS zseX~V0i5X22DBJbp}s8uTa$Q?VUeed(!z0rONf8AkBf==R)rCkw`i^rC8>?A6vAwz z<5pGvlZq;!<#d(;TFJzeJRs00CklFd(5Hb^u?0*)UNpLt*As=|7iAP>!w+xec@J8s zcvgYr!qFVP<iyebhPdFl;W|W*IqbH+L3R`7IDZR)wEG`C10L`ImO8cwWOlxYWWP{A zCjwGz7*QCB(Wgh>xu5qfM^^+8uBKVbBCl>llL2D1I4o}P2}U!h9{?7$;GawFFKU2( z8}xvye~`y5Odob|M9M2>QziqmzN%QeXJq`ryU$OoYlI%|np8x5N<1AJHj8@K9rWWt z6W+=rDU9OxEZZhvJu3Eyuer~H%xgn!-2_KpjGPCyj{H;9pb?p&00d+kd9L0MMD!84 zO57(50z2$5$WJu@6pfR|*q9`r#r>240oDC<4`GwtKMF0}+uVTa8b@1fKL@NUuI<FH zOM25;G&I~hraTv$L~C;|N2MunlE7Tkl3gHojVGftYWWgSm_qG3;0jQ(c*gaL4k-+6 z9E!8yBJ+O3=W@)W;Le6>wMSaa=iD3C#)o-&=>2ABNP!^<+9>{|F3ZTon1k5!c6{Da z(o~#gDyV!pzx<o(C+J;&%QSZS-cekmOOuYyr1_ZddU-urLRL~{bnv^I7fUwLOh}=8 z+jqLe;86pRsjxfX^tN?z^mTCLuom7k<KOWsn||nOLwHLh#%TNH>YC({+1J%SX|573 zS}k8!u=@S&X2$nS{0|nA{_SUZ22ocXZ~8jKOv@^x$3U?fR_yV@oMS6G74yq&j-o=x zicI}|U*fOEm=VWq1m>QxhD>@a&7KG@FxN$flGF!4sg)W|tNp2thXCnD-XIdq4lNFp zWusJ)E$cuFMQ-PE+LTpHfy#`+OhvbOQ>{?1+1+fc^}((!YkDXZDRg3O$i<Vzmr|eG zs)-#yn@OEm+y7mxU-eB{`tYD*=2DtkX!lXSc9!nJf&aBGC$EFmS`l#P;xr2Ket-Kr z5<(k*ik2JDGU=IrhO6#vYrevc*%90#VC+DZa(&r57zq{l<GT9A`gwNm!Kp?3_u$R= z?doAq_tgL0NYhMaQQ}{nPSo)MPHfb#(*3N135$t&J~~IRr-NHDch~<^EIY>*PG;Q5 zFaHw=M&n-A<@VA)a8W+|#~j+$Q{OAUVdPc;Liqr(HS|c39XauZg}X!DDv5PFBju=> zX>Rbu!I)RAW@?%nDL#PBds}X?Dl@jUbb#t<$BtiZL8>&Rw#53)XWR809;R@5n2Dzu zyH`E(nu73j_+%#4nl;B|)YerZC@38(x+8W-<tvY{f=F!sJl?A+X0hIj)Jaw3Nj4f- zEI;?)QZf0&TdF-5?p8$msm8WFwy4XnsH`VEeU5=|yqK9Fcb<E&aP%Oy_U_qsBkDqs zxb1)Q@^9!C|7%r`)X{=vA12N=1g`UYzpumZ2fW1&7M4TEXBQ?BeJIw!T=v+T*huQg z#PyH@JuiL_BiSyDUFMTJbJnKB4e|w`lAZTLvW)WrCaQBnExHmZApF?<8kX9u?*m_d zypJN1myv>eK@Wh|TjRlERkT<jSGJ)1t++xrUJ40jQMLV|)+@v1B6Cnnc1qZ-IKNte zT~T|(HdgzlbI?-r1*xY6{$s?Xo|ftD$aqO0SkqNu;;X`o5*y~xICq3m9q4AJQSXNK zs_>G5h1;I~keOspt$6k|Z&PLH^H5PUpaf&Agh?Z6E2GpEuA=M;&}{DY*KB@h0>xZn z@K*36d7|ROX9gkr6{{*4W##Y2mcTq9(?V>ihdBTBUkiUC&1F)2^4y8PnSyj(NC19o z&5j3p0?Enp<DHco5q_Rb1TYIRp+@#gd4q<)FF-3Y`-_XbclD!8WBSwG5HgS3k6Y(` z^444Oi;q9GzmBAx=s)Qy_Q&S%3@i54M;_}*M3n6mY5Xg(DM~JzQ~b>X<yxzdD+qyL zaWV8>FUkQgXZXxfU6T`dZe*j@FP<{U09VvNc0GjOP_<aym_54<g#hok$VM0$(P9j4 zqnbu{pP5*DT@9~#6{~qNq(*Qwhxct-1@C17T)$1`_%9h&77iPe1AW<>i~H7fp<(G+ zMEM|osBON8T4!3Wde5dTONp`M3^aQp8;$t8&10o|VP{=yL|sQydKd~O`2Vj^s|t!M zh_WyY?ry;)5C(@q6Wk@Z6Wkqw%fo_e2pK%M1PGqN-6goYg+TD&x~$ah=YDkeIrpAE zA6;G5b#Jv375nR@$vw%jXm|p_->d8RFn1b2+dTJjDDU$x07Yx~m{6+dP>iy)u>Ibt zx|g@2o2ld%K*?7IJD7#)4PU@ON<tN#8qTGp<_4R^S(MIOML)Kft5kYal-;#f!t?7l znX3YOR6c0FjL3-0)&y(;-)su!b76t%op@){Xn`>7>fXx>3W)DEwDYro_KA@6640$O z>aM-AqvF^&lsV&?BG9zS?Bdy@vX+6pvQz2QIAjR#S6RDzaVuh9*>SRM99mv*O@Z4H z3ixKuHx7xkMQ5g^et!Wi(V49t4l6s^E{#Ji_T5TRc@iuypPZb}IaW7{DOWy*Wjeb~ zFE^I0&tUL3gg}DG-UlJOrvC!oxA@XETxedl`Q^6vePXTNh+=Id%*+Dobm5d(@%71k z=AE)8m)ugRocK5(x%%y0I>w=>NkadKYC^GQMH=fku<y*x0B`6yc2@3TnI*&C&1kZ~ zJd)6}C^AD4_9J&{oXV&>yWM?tg=G_WWZ5q35DFVjsH%vTrI4esh@S-R)9R>L2Q1wo zVh9Rr8R;(%y#;~Ye(2*LHL83inD_5a__7X;sAc+;OTDq%><Qgym16+0MNpg3<?IC? z$ISrfXi58x*i!|Cc~FUV&pGDg0Y<dhbc@zaOSr&uux$L??_HilDTn+1jvsbTPpb~3 z2Fn87PJIsdISia)4S@iMC=~hGhR7!8otxWlyKh^{<>aWB`67l_Q>}9A^P2VKvyXf3 zK9jmGMUD=$8S+oY&i-|JBQ$-^{&z~mj_vqU*L3~byR&F^S|8$*-o3GHPBn~Al5Khk ze0c%X5*Ove<;j!sq5abH!{zFefrkMW`S+3)$&-O}b2oqf0ig{)F=}KL3-BBY`4oTj z%X=U#L7FI-;xmfWr;2v$11>6Bw<coQEs|6HwslliWmT(q=6}4Y>sMhgqYyA=djYWF z3b$#`1iqk*dsV|!{q0gED;-w*AEUMUsTPY+*<}HWlB&@+CGMK(t6J6qsf#LBSH4_J z2r8T72rBWwrw7a2GPiHf@Rxbzpdz@~dxM|@KF7PP+f_7t{UozNus=(QFeCU^4$mn} z>1AbzYVTsQ&$`4jw{?xCunENA=8uz(uRC@sBz7^Dl!<S77xr>%r%7B?9M&?{wkpfc z<~V8lBa%zc=9qX()#o)U7X0FqOOxk$qpqCd0O|OywLvWd{Kde04U0N63x--!ylrOL zeB$(YR#~<;Ez0QjmR`7Vwlda8Wa<TVoOI2y`kD;2CK81&miUXv4C=eJE?iUCvdvxc z0%Uf$SALoK{2U5FLb0LA$?F|gjQ6^W*~&}LL*X^(`qnmcbG@{@S&#U0j)eV@Tj3@^ z&3bD7s`IjDeVXZ~_4T4kvk2(3YzK{x$}O&6`i(IPKgNlZg&H?v+j68tk?cSPxt4wF zm>h4ZmWf93u)U_0RvFKCE$ots;}*ZG%OD52%U1_Na~?<Q^G{`0g!Ua;-%5&0uHGN5 zT+HxlzfDB|{C2f`)~g7uv+sqK#(438A_e8v5L>&N9ni*L??%n9VxIJw>}7Z?$kV3R zt}0<xEP?v;%!(~mwZ!5_B$2LgM!tcMln{;WUtB&NGmj1DHk+km=W<*|Uy*9nkyjvI z{m=QgJ{FPx=C@&eE1Pwnwm20Ep>+Fil`r&!={sy`o%HWgcIMaHdOVf=n|Xx+{!A>= zKZ~X(C=>km_fuWo51z8IElQ2Wfk;*OJ~LuVu+E;UU#||$Am1(QZt7SZDe=kH?83y) zP<0z|{0CO|S+L(|0NBUU8@?_ALyAxI-E^m=z3*NVvX7HIg~nIoBjD3+5M3#&9Ig+m zV=xOH{uS=69^ixHN94EGh}yXV&XYfLUQc?4XEFj=g;iZJy%30wy@L;vIbp*`VSt1= zf~7|K{6}JQPch_{ipRn2sA@nw{w>?#iBwp?4sOSRxpPut$QD23HzF@y+ARe{n%>>4 zng>4`?ZQt*U6t-Bh|ssKrd><wa|hd{o;Q82-(ti=P>S%Miin;~z4niQonvUd(C5W< ztuJ_=J0Aa8Ru`te*Su{7I+G75^ehsEwh<?!{&e92kWhM}dmQeT?#{q*mC2&e2o1qb zdoR;qOq?~NFcEIYpum}3+HCgJw)#8XI(`{)^Bt27#^(ivG`&%^B(Kjwi6-mm@~Q_! z+te)u0<N!tPopgifVD9ob>i!<JYP*A^N}WHS?r~stDw2#Qps4&|Lo3Y`~ZPqVQJii zx#*#tZrAMF2GhNFJmc4kLO=FYoX4}07HGZ%U*pW%J!6EL=GQEiIH1*?@f5Y<)HS5> zUU_g$7U*n@uNy@~b5yjIF7EtI`=x(w^T!w9bQcP1>Q2qJIOhUVMwuVzNT_27^BZ~h z>t?@pQFtsYv@>>)pLO+@<1U6_Eu4GXk7R<IvX{(5`kz`ev5of5ePKU;XziQ9e=fML z60Z-K%#tu69<Gj|$htlp@2Wb*r#=vjaX6)O^Kk=>M;ReVf(6EuEoi2D-VVwOCZ1j* z(Eghnk<4rge`Q<GpdveXKb=L}`Xm-E7gg3`O-<KFRgtAbjU?7^D#`+iUv$R{WY%Qx z0&-}c><ahNT-O-KW60s*-1EeyRN>z{8oHUo2S=zFz^tm1F>7}1E_#q~ydF4goL&EX z-_v$>zP|w+iyXpE&k%_~0)p^1HV}jokqdqx3$mq53AH4ETbhHQuMqj*nL!{`D%iO` zA_4q96O>1bC<xDP1+jC#h)0e<wkn7`a6S>F0*V*uf;N(v2_h6u)_^oFnS$>?41c&r zYD0qUULz61f88TpfnY87NQChDCnP!~Sntyd!~}u6kzhB7U_$r?GWZq*8$$*g!gLA1 z#IUz0U>vwEIyeCYTSNmB!|yP`F9y4qFR5cRFbA9$7d!-lo#MRkmy|60Wm7c>_JIH2 zd0DtQF}MbV$Oj`L0|%pVLAm)~4qgbBMFyt)Kh{A8PDF&l-jjo0kqcsQ%G$Yme5B>) z;>O@qwsN-lXiLk>#m)0yZGj4MFg9T2i0AEEJWak_lOpIwAmYYxv=j2xE<K*{J7cO6 z5a^8<3Sw1E<_Wwh-rmH9_2tx|Vs=7{-oz9zCX_}MPT}*O%F_>TmTgDHlI0NPVB|oy z2r}%b_tUyGrTKo}&@;Rt<o;|RGt*0;*hv7>OO=L1dop5^<;8VlCJGLGkOe}8(mP`l z8oSO^2%`162hrof0yo_Zc@5M<;JALGEQQXmJEn5vhX@S3RIJuycLc0mh!{%rpHvYM zidb_IwT4+rRdeImZld^NQ}7YyR!rgYN`1Myh5R!}=GmRLlKsii7F?v1K8RWv@35AT zNU@O7xSGu*5mp9WzsquENdWU@adB!JSoJ9gq#3NVDk0hh2o2pBNLR#GogMvesF@&$ zx*@UB8Wo?_^M!8E)fEX46Ev^|EyChW<I>Pw(ee910cu$Nu}pH3EUkHVeM#h2r|~_M z8#Iqy$lym|`aR!AyQ7h`0!DXl@&WOvcRUD$CwPqvYpoWmKS(hh8-bPvi~`ouM_i*| zFc{T4QR%t{#puVHSCdquuJrMm6KcT~)aYQqFcloHyH2~su(X1j$)k+@vq(d(xrwrz z-8*qpPSLk8qs752kH@R`;jyDM{TXS@oS-{al0Ll2Y5i=!Y9Y11QI=(QtM)tPQ<pG` zezHQ=H42Zg!>%QkH6Z6a(ngipXbN_8xi{~SKFTpHY?+AYm?(~zDK&d_L8)aqAQPbR z=01T`AiB*_WXX0xcL@vo{h?#D#xL3r@x`A0zBv!mR&NF7YwBd83mC$<=>70(kJgjv zPKpw7ehxgfMt1VhuIgn8qda&J$Nti~qS4#5scvu)>!w+s3In=O(&m$}dL1oCDDF0* z?Z}<vmADAhoY6l8<)|f&%MI?v1@Fg))0^sTCgBBK_xkXN<~^<QogDRD#;B#3ZuP%S zOgduh)X5XSPw7mIa{8$P;{45p7DPaM=!$jmXFUfDjmBszUWZ!7H6{6?Z-FD-X?WJ> zB3ZD=uNsb8UjaX*v2F>fZwYFgcTY+pT(*~Mtc_^&D+by>=)8M32AW*5Es^7DkChgj zIwd+)3|aj`o&oaeOZLLFWinr>Fhf7Kh3_e#7%o@(5;)$84)Gf+NcV~;^iDri?I>V5 z#Z3{hMYCjyS0C+hv}Tl9>sX+KUZEVJUH4)OrFc>PWddq-Gs2w$Gnqf(m}C3vGG@97 zY@e-m7E_HBiKCwKAry9+iE~XL3ZvT~qPO^l1(q5V4SkzHlc54};RL7jI*xq)Cfo5O zOz+ac$+MtB`tQz7Cw?SAopg6Fs6*LC&Esn4_d(CHTnX&8%eyHu`{Mn=m~aPoca4D9 zCqXb)Bsx$Uyrn+GwP5gh+dgZ|L9kRDHvRF8Z{#&De~yDJc%Z9U3ZsPUyh63)_QvO3 zy0sbz+2z3T3de^k8CQjKgFH^Oa5u9eA&3sXf8)WgQXYx4*XxU8Tr}n~U$7puj6OSC zS4T?vI{4sxky#C47mo?8gg8u4Czt4sDs)REbP9kV^x2`=YgpT5r&7r?uc1!upNxNd z)qyBKpNS_CP9ZJm5k#%Ng2K8O_4?i+U3G|_z3!H;rE1kMn!N>Y@g3fJ&T4C0BPhzS zFfEwqNa5?2aED4vi>yj7rTQ92$#eztbp4NiZaSoxJR^G}F{5<~277%g!(Sk^?#W{( z=VyR>#uYu}D&+a>;{0&uVsa$FtEGY?_BOUB#oP~0H}}dsK6*<0X_60(|8KZ~BFR+e zOoZCBU{;drFs_~;Q{s@2ui}SfI3p8$C&7~OwWdZAGOL1&AD!;KY0%U0!NZn9)U9wP zB$8V*tLEk&{2+sNWct;3RJa#%fig-T9tVtG(1{^Va1Jsd04hHQ`F*GHxHzoqW~N-f z0U?GpkRc@Bn|7bU-<_j28`iSFJKuAU2N&e&hvpB(iVV<{(F{WvOopyGQv8crr(?JG z-kZE_ZVGx9&Q_gnX<aC$c@v^cEl?5{9!baw&5kaVLgsEzmxx3Cc<@V9_-A-dLpacW zsCJjo>Rk`2nKq}M$Q(O%4P8YV$DY+3xZ1I~eR9wjr})W4cX>G<3K=3r>w<s4``q^V zVp~^$^fl>U3Gsd?SaN_2ZFDK)8r0Ps()qC!Bm59~i_4B7q^UAKT(LRXRk><>*|JLO zaqHnW#T#avJKqOcMbPNN2_<i->;teVam6(jRhHe*rmC^+d6#K(_}o2sZ^)Zy$5Ac4 zEk0d`1Tc0OYB(z`_*ga&tNuF<=gCzv#1R5;J%4%N?IkkCR2!Cs>eXSu$V--5mdlPd z#f(aFa?2gRinx>?V#b;5u16Ubp%ke;F#|SMlf>O0V&@iTZ)aO<jOiZKj({6~K@2;& z3ALjNhVXFjDV)_pFDDRF?uVajh}x&k+MRMy4}zn6WFx9K0rs~N2KzF75unoRLey~Y zCTcy%`0wp4j&JV~f`Wi=U25AEF;AvC)|!GDzImN=3|P-eKsDTXf<Kr7$Y$ia&`Byq z-z%N1BCgX;m`&1bnXQ8901UPAXF7$|kms2h%wnp-j$fm(1gnK?q?B073DG?Ax0oAi zR_DRnXe5v9Da`piS9SC3+~4MQaqbM(=B@}aC4kp<sb*uHd1btB4{0*EDt1IU%PB6= zgvc}6<a?^FZ;c<-7CRgl`(0u)g(mzWYZt1|UH+8;JNr%G``#QSAO@LwQ|>RGu{X=& zdfr+{(FyL!J%eO~Yr8-2<@ml}%Lf4NN@ClkYERS#XsAzn<{tCz@9W%J*1eUhWK_ND z3qjv0Hg8{<Kl3#GhAgiy#@}DG*A2~8YmoG6|1-|o70YWKGu+H+8Ct49dySl$2RA2m z>3dpxG96#I_HkMRSeg{D4UV^JSJrpgTRPfX+(o*~sApPy%CD}yMo5ZID%TDwxkBLf zq%N1u@TzGAoi2_dy{#cn@OshPo_>|<y<4h^tFdogWlA6MbbjYlu#)OD;_rF22QKk| zm-)i+pim#9r)2Ey`^KWKC$?@snC^%lMrQc;O-}nk>8DdbjOZ}3u4Fku2=ajMLU7>L zn{hGeci1s<i239#HCTK!th}u4{C8<I1GWgCgZ-eIT*@;%oM5cx{qz3tNUd!w0qf}0 zQ$(x5>jo;qS1px-D8k;boHm<B+~i!uq>n}EMkP|ewT}S)H?nOWa8s;0a)*FZts~kY z+Qu2<hjS0qF!<p${qxit#Nmp)R1*41p)33=kM=QZj&<Aami^fsujxod(=+pTd5m>v z66r0Z%AdND|9QrH9ZE)ue3+@C@sv)r!8s6`cU<eJZnbE`MfVt$2fN<Sisn=CV6ib1 zvdsCIBWXO%iu2~R-Q-=Bc9o>4)-2huKFxe{`J*b(^M@HZi@P@MeXZd}n)fT#>1NfF zfBB=jIbN>}P;!{tFxGo2|Ecu#@E}m>JfxTW8~Uz@+x_=Oc*2Ejlh5Qw7J32i2*SL1 zj*c2f_j!Jnr839VM-**7oWH^Az7!L5VZwqwfz|=(y1DG|tlO9q!s<`kjZ^~^)f0Um zU}nlzz}+c-_OxZr+z5fWlOzqB-d_9b+WKFSI6)0YtBLronnB;*cXmz+8gH;3NA;uP zlLj>6{4U3{ZcH#U=0W>$@>hJFKdFrwRHT3^_f@YCrJP6$om;P{#y%|+Om2(CVM^Z1 zSL8#p*c{e=MnPhjV8@PAxfI773hEuyQVSjo09YJDB*$&la+5C_%C-jnIYm(MpyEFb z6!7a<SxBFCFkpPRC7K{IxLGBLEiw$Zm4>68rAe%t{>h!q@NdUB<(+Fl$MT6exbUK| zMO*wL#qafYQi>l68dAd+9Q0keetYUr8Hm~K^hK*D(Y-wXaX|5UXH1jteUnq*0oyR8 zuCj{Fs_2+3`oqNgNRt|$Od86{&SP>4HmK{<+fSFi2FkL|Y)wmncTVQjfz@uhakr~| zj4k1hyiH}bvpMI)JF6BWK<_g4wAg29Z!g#+CYTV!!w*Yh0@DLfV+>ABJ3lL0C=V2a zQ<v6|o0gZB`z5I1;_~q&$V<ybtAW9(;B4*k!ubA&Nz)pN%5rf@@(M`Ga`8zC3dl(F z^UBCTC8T8~xCI1xB%sm)?`Z#ji81#7798AA0m1()H~^+O-;X+d<O65E$M@C@baZqT zX36Y$Uh<M8cxXzr=yV}?lJX$1K{>6qk-fTvmxN_q1v2T3hvQq4H|7%JZ-~@LB*2pv z{t1{`g|z0C=<*>??bE<Jo8#8&Y>{!^@zJ(lLf)@kb@-6&&FnXf!g*t}k8M3MjV7un z*~1WO{{Vj#*}!Il#hmdvU};I}Kx11O3BDe=iTU&qGFx#I-8+q@xKDz2vJ>;sBN2GG z=o4rJbm$aPJbWR=6IdBin6~Jw6Bq_kl(v}O5+b&^LCsXT3^(LAWw%1t;m5y?Lf@-W zq&Q**5z)v|+G1DcGSxHWC#xZRQUe#{lF3S;e*wD5$S|$AaE8r9wK~D2mOcgi$>bNI zYZIt<lERka%sb+^9yOGKXpdyMLP%N?{DF^V2rJk~W_Va3Mjq_;j{s_qJjyBT-A}uE z3^OvU$N-kmyx+pQcbSiO&@dv~F2JD^l`w6jZF6)iU~Jt8Q**2>KqGMPJaC=w_@5PY z7%=k7-ku@^nWXe_Q7GmT^`}v`s~7Cx;xRPGB=c^ds#og}aS+Rt$hgVJ1?hjez$>bX z<$lJq!tQI-;BHSTZPZnk4^GXmWj`b)oR*o@%)bj#_b^s=MsDdNqShDDRIbFEZYS+X zV>^zHu-noN>}#Wm-dE|x$`P?>X#}Fjfi683UV)ZglY}sLva0sX=94qhK0>zMl<dA& z*1~(=(^_Oj8}vpQN-(qZ2FGIMhqmT>KaclL5!D=K=&5pzh>@~cBXw06G3z9UX^+Rw z!g@12w!Ag_mYB?q{cGAW-VsycM5&~nRxUi?1+e^d#OK_JAyrsVN{p_oIekrI2p}s5 zE1u4NuyQv1>b!X6UGrG#Q-@eVB9eA&2yXi)aRwb}WW!aB^2X@RdEL7v(EHB4<2lKP z6XRzzQpIh^<JN}sjovGJ1{~gU2Fl)h$T=!xO`X~of^*P|ez4Iqx5bz)N{qndd53s* zrs@{4mqW$=Zhr^qLZqsHMHlwC3oxc(X^sYtP5-(kC7s%E*~;V+W#HhMc3F;An(pfu z+#z;ucb7JzdeaU_8!a<EJyzVDeYqKTk*4z0mRp^#i@Su3U%qk+Te?Z#ZSpl-F(-FP zj$gjq`qkqn)kt9`7Hyi0HqaADPj4vw9S35tYr!2a5nYXf925zyqutGN0hlB#<e^I1 zijGqf&r*c8=<3$2b%7?Dr*f%c><@n#Q67{SNw!9L+9z1jF=aaR=^Y{mttA(~6O80> zUc>S`NET57SW&)jI3~RrKoMg<$BCtjnTqhl@9`8}i0U$D3?upYNi3$@h<2Esy&(Rs zjm0{cV2gb$l-Jzx)gP@I9-wG?*jMeAS$z_*e%nd1rnD9E-7nTY$1qTN#_=*)Alyej zST@P_>MwHhZiv>IDG%NxB(?VKMX67t(8P6A%sREz&45<Q)pDTu71~*&;#$s(EmUr~ z@Ar3l#}CPARiK~9>E@gIHKkY_QGNf!{nvA-nZI7)kE{`o2QYmd#|OrrWGW_xtk^u~ z7T;*MRO;X_Q5<>rCoJSJv^dO1dkU*Lwq1R7YLs(~yE;=1)%xRj6{EQLPU%|gV<b_X zirrH!W?{&)vfcY~;`#{a1j#Ya@-N0`Bepe0N|Cu(I7=#=P{P08s{ya2A^V6b+u^58 z;)1_Y>&U~ECLiz^<^xnoznWmRN3{vPilll&6siA@VJYkCN#+dk(*27ijm6D2<6h&M zz1LQ&VA=G5syY@;CGy-+Jv1%5jKl^W^S<=6NBFbd=frtH?uJD~T<(vhS5BPC1gq8a z3Zz}1iR0knrxF$rEo!1lpnEY~d-6NB9P+>)@th}u*PZB_s|hRy<;VP`mwD843ruQs zGkO?hbm1U<whA_^idhzBIZOz71K~oZ0{a=@ErAU7X(f5l=o_XazVMJsI~0Yb+1_+V z&Jy}bxcos1q(kDN!>px4b<Y#S3J&2yJ2yqc3LBc}3Dw)9`GUJYfqNX$#YGfh*m&zK zM~6H?B#DReya`aCtK(sFPav4H|M`0GOlcz#l<vY`pX>F_rO%K{;Ls4A#PR95Dju>x zx^Eaw5&+vYR3I4+T!T{>mWqzUKeN|+w7c-vs6CR|<Yfw%Nx}VvF*85ZZK7!#3mQ;D zUX^!a4V2?_M=QDs`hI;jME!%dnumH3{$YahPTWL35{rBg{OtKh?E3LKFyT{XSxgUA cRpT?_JonNVY!3pa!QdByVlXkuyqCrJ4-_b@C;$Ke diff --git a/doc/paper/ICTAI25/related.tex b/doc/paper/ICTAI25/related.tex index 7561200..44cc751 100644 --- a/doc/paper/ICTAI25/related.tex +++ b/doc/paper/ICTAI25/related.tex @@ -106,11 +106,10 @@ Matching Pennies game, where opponent strategies are both minimal and credible. % arbitrary strategies in the Rock-Paper-Scissors game to illustrate this % behavioral flaw, we adopt the simpler Matching Pennies games, where the opponent % strategies are both minimal and realistic. -Moreover, their study is not -reproducible: the code is unavailable, and the experiments rely exclusively on -proprietary LLMs. In contrast, we make our code, prompts, -and datasets openly available, and we focus on open-weight -models that can run on standard hardware. %~\cite{pygaamas} +Moreover, their study is not reproducible: the code is unavailable, and the +experiments rely exclusively on proprietary LLMs. In contrast, we openly release +our code, prompts, and datasets, and focus on open-weight models that enable +reproducibility on standard hardware. %~\cite{pygaamas} % , which required significant computational resources and resulted in % substantial carbon costs. Furthermore, we reduce environmental impact by % prompting LLMs to generate algorithmic strategies, as in~\cite{willis25arxiv}, @@ -130,5 +129,3 @@ coordination, it often creates ambiguity and hinders long-term alignment. % introduces ambiguity, leading to misaligned expectations and degraded long-term % coordination. - - diff --git a/src/nbos/nbos_draw_loop_focus.py b/src/nbos/nbos_draw_loop_focus.py index 4e9bae1..e63f0a2 100644 --- a/src/nbos/nbos_draw_loop_focus.py +++ b/src/nbos/nbos_draw_loop_focus.py @@ -66,7 +66,7 @@ def plot_metric_combined(df_input, metric, ylabel, title, filename, ylim): plt.grid(True) plt.legend(title="Model & Messages", loc="best") plt.tight_layout() - plt.savefig(os.path.join(FIGURE_DIR, f"{filename}.svg"), format="svg") + plt.savefig(os.path.join(FIGURE_DIR, f"{filename}.svg"), format="pdf") plt.show() # Plot average payoff (combined) -- GitLab