From 776aeca333adc271c72b5364ecd0230297aca659 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Sun, 20 Feb 2022 17:58:35 +0100 Subject: [PATCH] added magic square ex2 --- ex2/practical_assignment2.pdf | Bin 0 -> 83917 bytes ex2/square.py | 67 ++++++++++++++++++++++++++++++++++ ex2/test0.txt | 3 ++ ex2/test1.txt | 4 ++ 4 files changed, 74 insertions(+) create mode 100644 ex2/practical_assignment2.pdf create mode 100644 ex2/square.py create mode 100644 ex2/test0.txt create mode 100644 ex2/test1.txt diff --git a/ex2/practical_assignment2.pdf b/ex2/practical_assignment2.pdf new file mode 100644 index 0000000000000000000000000000000000000000..941e5022f1dc06e22c39d746530452b60d5fccc5 GIT binary patch literal 83917 zcmb5VW2`Pr&@H%a+qP|+XWO=I+xFSU*|u%lwr%^F_fF!Kmf+Y)!EF*4#sn{MpM>hivy|mOQW7!i4{2-QaHGW+-_TXtJ&&C zc60_f-7v~TKvlq+x39NLGqI5`b}1Eq4r^-U5VZcwr~xU#9XY|D@5sQ?z#z}hhha&| zR1PLrEQ2#?TzK}8>I8d9St4WWoaVP=13i01+X;KiTXyhG-VMv!M=w>pFWKr_=rRVD zTEA96{}&BqGbx1Nr4oDkw|$2yk^KPEM)KZQt&0enyn7lJPicFKzZ$$?&MmQAPzbwCbB zoq9b*m?nTviYh%MJmn!Re8hsszfYOPK6*uam_6F>Ey+Fcek`QLTqerto>w-0g{1f0 zrv3&7Y;15=K|M>lRE{N{*8m%xlRg&g?d7Y8^g@9lx%KLSGzQVG$;M6%{UzRer^kj< z{H*-To?QOA{H&HrmawTM5ql~WLYO)Cm~Csf=w|N-h}2kCexrI7Xk{D1PQk9vAZo!` zMLY5`TmZok0gK)LL5N&+D`d>c?wvruk7n$lm2SsaEcsp?sOG3twD76y3)}&XVZ3(E&V`yZM2hnh893r9^Eb~ zGh8CxfXjx}geZcGHBua@{4V_p7`He=<}!))&>d}i&~lu^e@FVZEK~gjVrsi5JZJhP z7{{d(?%E7Z5g|dkt+FqnZo=LuuiDSE)9tDIV28Mv-v2U}OpMva9x~HW9Eb7Q=k6qn zr4*V@fZf$Eesr6~d(jg1SelE<@VhtPY!9@ymiZi2l+}&pI!c8@b~)is6gEm97WUTQ zvUOHTH$03Lh9;)(sxQf{t8KilmR&M&gn}1i?v6Py%>BY7Atz13$sV9+ID(r=H&@Ko z3OriE`qfL72F`ixHb$c@8~#O`JU_gCQ!LFTKnf98IxVbs9E$6KQk(1OQ_ghBD(!Qf&uUB`dMhA zF*UcGi`ijnK+#*d4W9cY@*h-u2yK3#1{JONv{~|*eS9!ZG%jW~?LJH)ML&gPfzfmA zFvdhz;j7Kg12aADf$drItOMJ=^rYh2e#7y42%H^bV?eKOqv|rWk(HtM7vpq6z0KMe zJyAipeb1^a+ULHTS(3{i`^)C@bWYZ-&};$^?cw&oGdfX{amMg+L%( zkj~7CREgRG-%aj`0sFMWsFPMu)wg9t2Hvp85jy3WSEi5o5wyH zq|@n`1varl8T zYJlHpao%KjfQpS_1ja%KGsv8{IBsUT4?)NQAUJ%6Wc2&w3X)77Coytvk6F6^f>|N` z<-mATy&Pu~E;w>Q>HtfT1*W ziXb^%N|=1!;G*4N=FH#OLOsg9?Qb7-sHwm68ZgM>>QY}>Na_7JHaD?w&@8`*$N^nF zAGaw?QHomjE_vI#A=M-%5Z6f@w0~vnr;c4FR}K@l^6dq7320lmZM`W=!ls?=6w+|K zDpX;TsMntuv`gwUl}9SnjVzik`Hm!X(Mh5GPqg*0&p_3kwR9o5^w2UFzH$0{^oDH$ zL1Wrpt0;bviYx4jR zF?pgBDi;Rwp*+N=3nzY0&Zs$x4ki(#5abiWD5!ST@Dx*$%7PxCMVGdC!Dz>iptdz{ z>7%e`gqrceXx~*ODp{h_R;$jo3*hdYwIJp=bCYdM^%`}47s6nY?*!Z`u^O_~cz^PI zK4-V$mTPJFS!NnS#>3SHL{8;n4wl|X<&J)_)LQ;iWpla0)kPmsgU@=~p>!NdvY6jf z$27F6rzJ3ble1CiDOWRh=BM}Dd?!Li7?mq6kxADz*A~BfwfoUzznTd0lylvzwOQK< zF0=2_d~}7CcyN_h`Hi_#R|_~D1xsZ~p(Ac#<0Sj?D9sEZ^zVFpQf5u}-}B=1gewy+ zJ3Qlz+S>GPUR?p*ygNIb{X_rxo2=fRmf6S?R0S$^(;^n?ws^h7RJ>QgVlS@_g)A1u zr;MGg1dZ7RrgT@>$fSkv?NspyvZBTC2)#^r>TAYg@=9yYN8Uc$d~#>h3e>)zayopS zi6aUHUo_lR9_llS<5Q_T?FCZ@!Ttf9LZ)cYQe(YlHk{waykPdJy29SldP_`#>9c}V zvHX&DNA;A{;#mFcar8;|laW4THwawIofs>C)W0JOcHa;Lr(eiJN~DBG!^W4)1;@`u zUpk^9y3-GRgb{F;NUgH>!q()(^)AJYRx%O}X#Cew1zdp{5hxqzc!~U^Eh|wg1c7AH zvC2U;94++oe&gq-K#!!;H41O{7F&G}ECEXtR;e{YuaLq#uisH>6|s&Wc9P|mLn>Mm z38#@Dq!dwJ-77KWx~7!gkU|$S z#<#4AtnUND4_SDeiTq_Ye*NIg%fzdnnY2M#b2PpL0S1D=*?@Z=<-=*Gx2Soq-5xeZ z52B40LB-&bwy~YV6Jso3r4$?S_t4{d!4C!@et#5MZ~%oDOg6{e5(3@}=R%w9sUqT> z7GVu8m28V5+D$%HM$s-}#tF{EJvB|IEw0LhqO-A>O%&<+539Yw#cee0GFDcAo)=+jWCIOx<#`17CmW%> z6m$|vp&&cP^7=4-O<^3CfaNCp4^{6)sEGMJSr;EMlBoR>=ja2FSkZk({hM7G`aMwa z;>qUHAaT$iG+j(ew&QPuiGwn*&6rja^~Al;MnM)+_I^%8`@54 zQy5z_a0Nl5uDEO&!FC$ea;nP0yYPOgTp@WwWoXJ+dA84?YCrbv^>Iav_<4>WO~hs5 z-Qdyqz+cU@{en!EXjxy*Kg?fqV|~B(bqO1-IW-epRJ(m__l}OZyMLk)>_-WV3dg$JUGx;37!S8<|6(EGs5Rk2S|7e>_#7LUM>#8~-*$TLbko5Z2o|14 z`Mja`1s(oi3^YTRXF0iU8BQ?5#7(Fim@FTNtNnep=%<&cEVS3#ajT87xk&GH>}U=A zok#$r$u`5*j(?2l*4C4W9ul#->bK;;V!*6{YQv>+0{YKzFd>&3nqHx_5gxEc9eW|+8u_%y zMZ?2SY7t)2hol5T&P>RG)m~NOTFMak(aNU7g9t1A zSKP_n$_1R>DeQgY?uLR(0MGs&-PmL#{)1B;WL6DXffbn1ohf~wc*Zate^^266Zb0? z5N;-F|%HYBF*miy=YE{8)D&sxS@YxiV#3R5EHn<5DkMW zqF%x%J~=|%KZ1IO4SR--1PTEWB2j&EBEg`7QU&r6w*txA2jVQF!;KlIM|6Jl6TKot zM(_m?0#|d`0_iI$8O;iA12-}lVhuwa!_0#bx|)FD-)AV7s? zV<9GFWMFcRgU`Z;ZOAq_fpil=K?X8lA%uGc+X46KKv)Lp_6M|##*M(udj$3a*v^G- zko1YLuS!`B1#4iFg#YFiDl_KA6g6x2ZPr{S+ZDK(E2fGGFtrhxCApMEK~4R-rL zg>?ar5F6`4dfP&^0!SJ@f%wDNaGs^b19A5fjvzv{t$jg67F^E*gvZdqTp`tjKmn-; zAXF2VKthQ4zbk~>5D-qH{T&BLXM6mQ-w02RGtsrJkBXR>^|T=IFI@uQP;j-a#g ztxo$Nxk7tm@ZS+hZ*8B2kO2mq<+%N~h4A%)!wBE^At$hqUctane<9cR-uA))>Ghso zz^zEQVEs6@h)yG)l%F9uwr^$MOaWNKxP~yk1%!-1?_W>(DIcIiwuQB`0)T!17IQ*g zQe$O0-k1SBV2p|q@&)4E85#z-{T(a_NMD~AIPiXG0MK`28A24W^1x`Irol@k^gQQG zczbb|%nvvOx-x(rgm}Nx)Sibt4F;|TAnm|WK{b25AN~ZCei1SN0_XtvCjgmeK#kPI z(8dQM?^S*vAOZgv#Od_|_Mu-Fad-&BQiRZb;3c3?VqZ{01L4y4tB*qs?A!>`RPQDi z;1Y+_jxvmETLmw?&h;&wA@~B(hdG0N2(ubKNZgl?0ffnj^e)&MantDJ?J2O2nDadZ z=C7Ft_)~Fi4chY4W9Ey93Nc_vL|7d`EGQKWWUw3I)(q|g7%&DxY@*qM9llP@3AHj2%iwUdW_Qo zj>9^f-LTxLQiL~DItQA@ya~F+ zy$^pI2VulJsnv__hpra6<=oBN;ZHv4SO22pY}+RydJ6cA-s$+g+^&41`lWyF#{}%B zARdUwd^aSAvUR{_cc%lDB@6W(cDcFU#BSGHl~%QyAy`fOj|$Uas~t^fv6fH_+Hmeg zs1Dx>7H6ztAEFsz zz1TyXsU0F43?1=S?Sm{C5GbB*V`5bqrm?nD53LEcZ~Nl~5j%|3c_Oi#uUGA`I~`;X z5+3$}^Ec=?3hb6LTA=JJ2p6zRMXRih7tB2(0pdGGp0=`4br<_}BDamO3}ce<2mWSI zm`#kvpzFIN$D2o-tDE#)6Jrq`CH&9`L!~wFWERE5DPZY4MabDHP`y6C$7_Ro22Pca zNmB>->Sxiuic^~4v&rrKR&a{36mGS4afn!!r4S_#=C{sWh*iZIuJMrwUsibnf5{HDJE=-+ygo!l3vF1{0*ECss!XP6BMNknHYS8LN%;Yyg@D?7g#m3Wgvvf z<`b>RI4Hn$&k|aN?D{xFNu|uZn*{34Dl5?HZt@9=>p8vWSj&@9c6seZ% zK;FwUUga-W@GGOd3tA_oN#v+?4n>q|$}cEnbG+@Mb!hi>%n}deLU_Z&aUxF8!jI&p zATSPpJIX#qkbiXQGa)5PN2B6>azc%gE3b8_R({i{%3*gNr&QAY$ip~`Cgs9&OEg&W z{wNJaa@dRG^kJ^>Q-~+pKJe8@7=CcwGgxZdNc+UuGsT9)-pq5X^zEteD@@ zufWKa$@W(Jr)U?uY1sJJw}qxGr*iu4cQFvOO%0eftwfOA#w6nI`tXke#MM@`e==xI zniy&~oE}>oE;zY>bd$s3O?S(XBrljn+kqnmuP$pMlAj!!m3+Xqb1Y!u#q85%oN6>nT1S_yO=! zCdyO%)T8hX@Ggx0K(x?9Bc9dKu7z}1I-H~CyC@)M&8G%2JF zDte_?D+902wd*F&MUC90USIg|2rIpJuytN%pb1 zX|1c8EJ6ZVoHiKo^1X>WT;8-+!`mBD*0Sut{aNsV#yy*S8$+$T&_AE3>Td8`E=SfO ze&*t|Lt|c-bqH^?6|mC1AK3U^`j^!9NBVSbUj*m|xL0S8GoQz24*M>*E8Tidacf|5z*6r6<6~GNyZ?h@% z5l-S{3_qk+|6Nn@cK%fbol%4X+uCv9}Bk}sr(Nd0VQeXD!>)*oXVm9yDUTG-Nz zJr#xZI`1QkAA{4pX`2%;@H3)s@E*+|*zwm8X?PyYB1CVG`gw?r5!tIBXsaT4T2wya zBHkp~ZpM|nrsHgG2+Agq^r1!i_ri}>zv6>0yvjhnLJB?0c(x{;cRcA0^PH*8UtK(& zV8Wv^!~_Dwtgb;)9yVhy5`{z=>^7D9-9VlE>~uHUMJ4FLM^V>*m;c1NGNbK~iUOw| zNA9nd2J7Pzek8xIc(y-Oe_{HrbSIkY*iQ3W(mMp1=>Ld40rR}&ct29bwaSA>s?#2H zS#sR)@gheNRJsRetzJ~KS+em&qt|V1mQVD}3DQ~(R;B%r&1TmdYdWi8t_0*#hUi8T zu9=xJK1SI%mYj^5QO_E9kS@N@{nZ-thE4lk6n+{}yz!L;5nlBb?BQJZR4pD%u~io9 zbjHF?i@V!8yo}<sg6>Ab2l4V7lU zb>eLO))}Yqp1aKLb`k9g)t0v?EnH7JPomEm42;2Fm*wKzQW|4v%7cp+>F!cqU$;}Ki)61H(E8vIzX@;E+U$nRc%Iy9>pR%l_zkN9MzA~JAf zdwCqfe=b$z*9K?4rkrWkTw3R@*x|;}i$kdeS~R8v9n*Hfi#YG6eF^`=j6-}EV@71` ztXu?a)&$fctKK4yEA;o`rW`LY@pai5Jflp zFXAdCPGo+c!pnQ$Us$<+I^KA~4EMeC-YSE+3sA%s6#7&;PEpqWI=ZnkYpxP@lFZj9 zM@MBM%I95#=14*m2ivSLoonBJVzPolmhr_r!3?q-0NvpZ+$-#ktOB$pYy|v?1Sgrr zr~=oK`2h-2Vacv~8MI=PITonTkrk#?1?<4Q{Fg^f_^R8IhN&0h!}nzc;QYJQgsA(D z{eSvUS|J&>K?bE7+6XU~4%7NG7jaMmsRNX=(CQ1n1STqDQa)#sm_tntMB_SD=xXDM zyi8{!t)CJa8vnDcS_B2!^Z@`fy}^Srj1`XQ8RG z{6uS`Y|s|#W|d~q7_yBWCkestpO?RA#u&;?>U_iQGO2qBiN(V!1Wn$Gu|w)@Q#IvG z?b6p8YN;sgwhhte%K?r6o z1V{&>`cVIVdTFWjIT9@^*|8DE;7e4K21og<(*+G(-%O*(>BX~qXv;dH5uMc&ca$zG zH&2dRtlH0ZpmQxzfr2)v?{m}onGwc%Gx&BPb-iy?f^{v(D`a)RAHFev!W=}HMmq_c z(>saNS5teXvC_*S5azksm3VVY-+Nb1#whH=4)|Ku(I>nli3C#X{GfOC2ze0$Zg-+t zU{MmX)ujYk{b_E3J?$__ydW{T_29U}2kkrvE%J{m_x5C2V^R|#Cor2_izv#m#_jYn zdoRWf8?h-#k@Xrwz8=4S!{&0HC|eCYV&wx%QdnO^4x?rgchNyH&s|TEM?nmrli_7L z1$7i}PuDOfY>ZP;LgO&UEM)6aYtNZs3w|g=h{4jlbh;*S-UUcMV+IAu&@$pVZ+&)1 z<3NseqHA^YRDM&xVRnyO&3Z>SfMtGYPz}g$qXM2zCssXToKiukXV18|n`JnssL98* zKBmX1C-262rSQ7AwG!jU;WS5ItSbZGzcQDZSFpWXOkQ`)v+aI3l`{9#O9@=KA{`@A znBX$nq$qz;?j=vK@bCrbr@30w2y0DnF>PZhZ;?#H`oM!Hjk%_O~QZIDEwF#!#>1b%Lh zXrrkrG)1D+l}hFr`QlfaGh8Mm-fxyCx+ed@4rq40qf+^IBYEWd2ZKtn+BEEXS#v!sVpwr%TTB^Qmk&;T*LqZaAiF9YS+7cpD|rAUNoqEM5&+;MyC1vCSEAj zVcESjzlqj!AN9SuEs59d9?T+ zJWuv+@6SAQ#yc23R!ep)!r!K;bk{kruW&KDf=-E`0n-W}b-f^O&&|?1<9s)rqVd1R zR6)VK9vS}1W_9=(24Qr@P}I%J^uN`Bq}F>gWtt_)PEWmf4&0CzYi++DH`7%()lltA1HP?tHQJqh{`8!HcNKAsT&|2`ffu5u zV*ioktEQb9l#{q!k|a$PZGj1PMX**NPs%C|u==L3Zl zmZcvRFK$^Bk)DtG=W#We{$>yiV}GXmC)sKamlv@)2V2tu!+9y*%|U>A+WjQcC5+U- z)(X&U;^V#VMT^9)v{P1Yj>Tn9vw5UU6OZBqB-`IEpZ=(@kHRAd=o9!Xm-? zW{rX$7B~5t*_d6HGH*Vwaw?e>5y5i|m!<`}Mx=9Gs#AF)(TKug*Ok4I3@>uF_%iJC zDizAC;P@h$O52Bw4guP-j}vSGD|O@(h4U=PU(|k>7n8mk#|}0Hl zLBy{YZMJwngkH^EUVZ=R`P=|{r*7zX=1qYZ;3F@U9mzbqgx$7l(XJ2ip1&zNB#d!$|_LIS^2BHlv)~t~#LQ$Whx+Ghzxq15!U8O5=Z;h}DZ(NpQroO(e&%Iu; zNCahaSbgntE*m=gZ+U`oq2;W@tAqSSlqt6VvN6ew&>rJP7X@>>M3g1rLE~)w)YHLM z?oqSK+;h|Wfcxb2jIZ2WdCqIf+Z;w3Tat<(7Qkl=G?c_kTY1{F>V_1`ac}*S`l2d6 zTQwVip0{r;1P|DVG0n(U`2ofTzfv;IkH*e$LiKRCO(sytw0V>-+Absi4A90L6u_@1 z#`UXA%%!)+UIbTVToJbv0_Xyl$wc}&km?M0!nrL&mSvljlM1WW1PTRMC|+lz3*IRw z8VMw_0Kr^+Vw;PY zMA1j9pR1OSj|dq7s?Y(2u-XFnS%oXTcAd0&3dDc+67U}U^GO+(ya-dOFE|*Ca0p>@ z5^LK*5u^V7J-^EzbqQ6!%);Q-+eG}6I`&IK44+A&09+XU%B0?Lq{XH^m&@i_$Kcy< zy4MX~+$|WWhezl8R)vb{BWf5~nMU+hJ+}|Od*2xS0xi{{FAQGydmlBA3LGk-K`Y#o z#qLb2o^hF!P80U68}CCKsl%U=_~b_)ubSwajF|316MnzMhuLLnn~re~b+_+bqIr&R z?9bDj?6?)u3cXh10A9_G9Ga6KMKVN-keJfNO~n7mX+-}m_NPXEdM}2~46`H5NX_l? z(Cz5y+(mv#JHe~54+3cjzq6JjfD3G#PmfFgAKJP$b81EkZ0+*9_YwanY+H48p(*iHcdF|Xj)8s-+la1k;R0xTaIk(Xt4@)N4b2D1xqq>0SE8QY zZa@D-1rRm4X^K^_*k_fB4=4viHpS`N5Uv@HUS~KlshY00#Ln3u<%z^w?$nYL>zB(N zZm&3jg*^zj>1ejai$?QvM6tqziA;KYuyC&R%B}$L4M{2?-?nzlwZgnwlg9gOpy@Mg0D1{o z`Fas4Q(&No|I+vEnYuU<{~jCnKU#=J-;q+Y;nL)+@#USat_353y`?-B6 zPm_;yTH=qx!`0n>aPoPIXOz1I{Q6Oi8lTUfSI)0fcdIl!r7dJBX|8+NSp~wh8|$%B z)gTOe5BJg|8UFUN7kv84zS!2yw7;HrwuvDT40E*{a|$9PH{bE;_$Zf+QNK=a(ijuG z20y}a9oyROtl>x?`nt8u8G$&+NL*YI&Qg0fqoda|Dw|SY@=mZSE<9aQNKI z!lu(nX@^IzQzqK?w5#=|e^rh)US9c5}1u{aU+b*yRBI(+mTuIPdLo*?5_tP*@(#NZ;Yi>Ht zs?FqeMr;Y0>wi#~J8HaLj`fuGQQfn?*-Ymt=6yT9MW!Rq1?=8+Iz}b256dTrS;kmm zW<*-c&sPU?MOpP?Xg0wvN=@!M+SfqBx2^2Pm?LDUEemRrE&NnkONA6SFUN1KiS~uq zY3j3paIwDztCNKY#sJcC1y zwGNAD`_HkVlEa+zGkKy^h=`)m(OA1I{cJRJJG@7xVZTI9PxsDTGpL=SDWo38T@+2g ze~=Fq|1jECHFBkcww+!_5?L8N`7bxTckT0E6BH;3JP2qrlUevmu0!nxm^_&L%aF{Q zf+UYf4`B1Ed+r7aS>jU)>Z(VdONpM>KlyuYY9>r8ZtE(?q)cVYDUdfFU?V6GgJev= zrNL;7?<#tBw%UvNON#okj~b6d%)mx`k4|4oPVu_q)7b}2aLUjLh!?!TFbNpS#CY3*kP3+wRsYDyClw6j6{N}8T72}Mg5qyt zTVpS_bEY6d!o`^`?l`=l!;kqqDPOeFHZEc>S6lNmf{47HQ31+y8hQkpG z{P&rMwb2Bs@ZqiQ2)^@!PS{P{)<5;a6HTj$ai_wZy%xYCHeynNAYN3@3+q z3>AL56d-oxGafk#j*Z6t$I-NM?p#+=j~GzRh%`V`tre+Ee)_`id+*Ho&fEi++|6wD}@k$CwU%bq3csp;N zNyn%Ymvga<^l&b!&#D4lZuF$ExrF;aUPBxr_yiq7!3x3NV%AeGb8H9dme;RFPRg~H zX1#);i%gIv?2FnHu-Gu&kyI2qV$7bhh3C)@J@)^lahSV@UsxdTw&-})UZdsl`S+(T zNGFz>9hKF~V3dUA*PvAr{>}4dbo^x3p3Z0x)VA9Q=sO%u7&Q3F)XgnT_)WD!E*exg zJ6;S{bu3Df$+)b|`L+_u4~)GXp{+b&FY$lwUSz1Q=GR4g-i5-eHHmE;ohOX^r~XgP zIIhTo)x~>Odi(T~(DkTjxo<>+vcOw1v&e(hdZdpv1rTiW2$yz@$uw^)1BjI9HL$$U zF>t&rL$IpFyPW)vD(s~xHmY|Uo_;R30Qz8+#INPf;9Gq@VxS)5NQnV5LUFP;8O?NY zSjj)Y3+*@$jqwf9_FKF5SZP%o(aRIaIhdTRWx3MvVU7a*e`NrfJfXuML}4ze$7vU{b9i@sXy|EC-xc=f2WYn#_v||x4|>kxq(IB;IevK#*t!3hH^tvfEddb ztv*nv9q&W3$IrrlPnkA%Samv3zWCRGLL_U{-KrYJ*w}kj)e+EB(jc?uqsk{TeGgA# zKTRBXOCmTY9`ah-5xwb09w<2WdMABpVO{>+v}%hOHbYNK1!B2Bsd!9TDfNq@^UD8( zg5`~?3cAu!Y4-p^py{vzuFp zl>HtN9hEV9^2mxF5xdD16P(4q5pPwX?IDY{{W2X(-X?By`bNPc{EN>d z22b44tN|-*O!CVPTrKm?K4r5&s{&~Us<6Hp_LIIN(ycVm%DC0j5<$-mrlX2Pt*d3l z<0ntLmKTZ`?e5DP^l8a&H%rbBvqwjn4ze&X8Qq+@TJ*_7^u{(lL0i(tE3m??@C(4*mo}eFu^GgiYHSY%>;62IV zuf_U{O|Pumf2 zVi<3-F)bDQdGfG+M9%ro@{iE6IC}N~{YpZ2!W3P|-nGK2aq(yJW{#|zV&7>MK>E?jKIFsllqOlD?OP$CWYDHjkhI?TPv9N}YaAbn9<+&-;pBZFX7$)KN zYhL33EVObFKJJtd>P#%bV50)FRK7B9>k&Rg=5#FGfvR>&=ia!Q#RA{ri0vXnA@lz?LhKAQZHVIvKQ@a0%m zc_GGbb|j3uFx5qLGn=%3_BOft@rK#RR+Ch_zy8C;@o4T7Ja<3Hfg?+}_JD>Tb$KLs|cqQtYw6nNh{Ma1NLVL5LASUeSHE*EOpz!r149}+`z5J z>vB}x(Yr+7w&0s#mh4qvY7=K94c=Zv8|o=?bS=nr=Enho*B((@W~jDBZ+IAdUYe&J za7mf0-+PU&{4&OhkdPr2N-MjG@&1ez{tA=VBlOct6T%G|EL$N9MXG&=ZyXV!j(wd$ z7dws!eH%tLhfp|NW|x1A4UM#3n;P4@gpQxMEIB5lK810%WSw-`DrL>|<^xZyxeNJPx(ovZ8s?$= zPBi}Gq?W!6O}=)5oOxkR@Ay3DB^5)Lowd3bYQ?b2TM{*c%c`*ALsjI}@JR&}vn9T` zm&#E)W64P-#6pnaIpDEIq=EfQ>`lJHmEd z%y)18{1w$*#u1Wmr1Q&G)OI|XI)=9te^+FR8+I)Y&4Tx?!TjM2-ME43HMX>iOdf_u z+|e7}I75i-b%r>6wEwYzZs-2lOXH}1oOj-$6%(%srD-;Ra5#*l|NlW#$Nm4HsbgX0 zWcwfK9Ls;}Y+S6I{}cY-MRm;F%>S3F?*DzyE%psuF-NBf0!B1(A88wVJGiT>OVkm2 zdxzZ8(Zi!n=)Ym>f0^TkPr%ufz!{+Gwx%M>EC1GiQ~k}`Mhf~Q%@Qou7A~-eV>O-) zuK76!h!|TO!W)R6AC;b;pA?R|qA~Ly`MsbqmaOG|Ly{1;ss-0#g%92v^rH0|u&g zd3=03?u&C>U0utU8azw8Yk5!VJ`mk$JbB<~A;^Lr)_JIVjR7DnKiYl4w1vS$kW~2@ zyx%0+4J_Wy^DR(dLJ(P2(SnvC$f1c%C`-h5C%KSl_uF0z#@nzy$!M{eVdqre@A2H`f9;rl#*IvCh72UstW+O{wwGNf^tUbD$>; z|3ULtp`nD&r*g2G8 zVOg2Qks%1s4UmwAsLFqb(spft0MuE&$$!iHr-oKXF$}+zz~-l>vECm*j}8j%;J~;x zd4YTQerw+Mpu&TI4Nc9@p_qWO{%Q?#j%sy~HpM3%Vzr|lH zMp9fG**3w`fPBW>(8$WbWV#nYbbtmWmE{r4eSuLa+j3_9YFBX zM-2c_d^0iv97KNuP*L0(o4JXNur=~9fEhzDygfT>hcE%rj99i6vSsfs8$1`~F@_@|rfMc2fyUdbIcE#P%f$KUO zaG@tBHh|~enAC3#h`;SD0D;=r&eG(0Et4o{FOFyXNqXq4lXDIk}M7B=wDKI4L5B)kyiGh_qkc_@Gg0VsDo z02!A*@Xs@%G1z<*Kv<5j=^fHfEb%i$fMonzm=M_%P>=xS3=qF2L_P)-Am+;iAh8Di z`9S>KxBA9(^1bi<5hi?i{x8WBB48eJ?!GVbMAX949)Ucml= zWdS-51cb>Ea{D)LD(_tyU=Zdq|AGQU%mIu3Ome^Af*@JH(0~Ol6;2(Mf|ouz0aL(f zfU3m<;Kd}C;!#@u1 zeH`=i6TkmJ;{*1R2(LZ_-|sjHkj`P)LbY<5n2%wY>fkNC$}#$#3ODeNGAVY{WJ`-5 zG@BjVyhYw~gtXFr{dRu;5E<3OTAAsD9;OFG?XMiQSKPYX-*JVVTFhbYV2w=dnEwrf ze(rtvHVMk_@tkjGoBa04t8>q*^v5uiFStoA-f;hO4fWVTg~-5fTr21!n;{u|>W=ZqB_{}9c?b<0>@&`97Tk0bze}P$f%2KVSiVe)HJ#WO=ePV)cuF#FAQI= z9g~E>Y-e3MEh~?!VUnTW&@gD1I6)@a6B3_P>hRw;DhAC99Y?!E2BPs`KvuIzh?r0R zUv;xmEc2aty(7NH_0js2Tp%c-u?x|Ss48kJp_LZOWYH??Rd`XSYNJM=L;PlJ*xJ_Z z3U{1r$^!-`xgTH1>3*BP1YaEP-h68tH3$eV3)_(7KmJ&@Sev)c%Cv`9CqwK`Mg=I$ zD{y*Rr*cEG!BlQ|Kg)#>sY2qPoyR%-zaWK#<2MgK%J zX2lxfKVi08qth8)vY4iJ0FMCm4Udr5;+Pm;Iu#1!o@b)y9JZucLT($SV;J3*{!eUx za%W5&jH~tm3Ma_LI(>TBlz%daIdsGA&d20{V$GfXX#$>CvqdF3&CCLw7fdKGr4idd z$QOUm;NKvAJP!#-9S<|JU>?f|j>-f~bOz$!kfiKMTVQU%O*FqI9=v1aVX#2~^j(KJ zcTrrVd>U9DRBd)K;!5f#KDz{WwBB}K`ZOep|5mV4FVc995ngqd^^q9PM=M`XBmqua z`%{`*G;cz{AQ|z^IMP|YZEzCRTRiIp-XG!gk^hRn6J@V^ffxA&**oRA_&VedjkF5Y zhPRiX_Kl$xfSY28NptpI<$Ltc3ZW4FSP|@WRh*E^bp~ssvoAnv^WkCxVNn9?&59&X z@OhCTk24a>>ZCCh|Mkv|m}NP1SlkODi?Khd@>s6a7VbJjraxG^Sq3Io!#;(T;|VKV z_taCE%6CMcP-(tp92AEe-~3fenjNt~nN=8+VhuK2wlpvG@7Q3tFC>HGL{J4Fn0ell z!@-zl`=sN!6>!izC?kvKNs~n|1%@}B!hU4LwLt@eNe|O#M~>ua6HhQBNslQbHQFO` zj9aeaU>OUpMBPTkA8l|yXyvqDF?A*rgDrTWVv;DOzf)z%mLQ?bReA{Gg5Ng$G>~bo zOY`3uY-7K}J(K4tQr~UQM5v#+!6(38*o2f~+H3${p-1#8zPzlgSowx%di$=~Mva}< zcam-(WkK7mUDrNtPs25NuJOemAs!ORM&9dIQ_IKczbgNMi;$bEpb;TLGOsvyJB&wf zNmbq+;;x%dzpuSH_bQW{3|mYI^u$ekzdGHLM+}z66VDwwef*2YAZD< zDkyfIU7%@B3n!4b#R4u;j^?Gv`48`>*;<*rDwGd8>g4G_#fwxPZ#3K-^7H}D(Us}C zkPsI}*4i{LHffn`w_uY0UEdju_M|E$u1${H1hMohOT|{k{T_~1&6-t>*w+EmcjK5> z@=No9$3P)Zm9LYS{Ph0)r*t(;I^6^u+hD@|*mG{CiM{x-LDptlA6B|GsXATJMEiF= zd3$G@DW3(d&klm08bRYH~>@Hnnmf#g{*|;c)GeOQ_TILnBxeOXMj9*hhpTlMdHO&_Ni{p zV@D1dfRM}pChcrEYlQ}3R$tgbHb5kEa%9!R-=H=dRDqdaVYOmFO23#4LG`4Udi=R3 zCvH8C&iJ-F!?KlBUW74+6JJ$;Qb|ynZjZYZ{fq^rR47v*Z~Z>QlB?2VxC54g`1gW3 zgtaJSED=-~NHRzOyNBX}P3)J>9%T%Q9bL7HPX+>SK2n}GGO)TRbJIy`U)JAnV_MFfFcUWloyIi{`}@&%*+`bHtU3SL?M{npt(`w<2>^flJ@ zZ3)}o-p4fVsWHw8{W3ZrT#wq)0~_idsBk|Qt;=tW!ODa!zAmrtJn4?5GK!{Koi&Qu z_pOWppQ?1HKLWWbN`|`Mz}7d2%VV{41lq4cfeHOURh4TYr)4x`8UY@;QjS(GbHnUw z3p;z+9KQcacTk{77LOLs20xML#*>ujgL00+b8<|Zs$Zlfg{4VlXU3AjR7J!pVdFvR zY~t*&*5>P@KC=P?M)im{pp0Y7PPL%1XrurT>!4$Cn(JT`nP!dP9@7c+xgu{rpK}gZ zI@29XJMzm#sXc6HL2jwPv#fAin2Z=32Z@BV*&A7$z=8?RrnM!j8)&d3bd;!E{S~(q z^zO0zXue#efB@!@b5NYm+LUE3*?#?l#_oI_`QjLe+S0_XKUqgEy`L1|4GS%m&J5aY zamoqWAQQVw2!_4C$6Y|YU^a^h6vmDAN;BKFX=~MyLBOe^Gy~37V4PNyIZtVU(ZD61 z+7RGal7A)(#Kttm6&|Twh3zFuA;kCIDdVDMv(?IXam7N`*b;-$S!EHa99=nxLqo>R z(p_mv6sy1Ayg2lwz!!kCY(SYjW6)b+ccQ&^qCVSRBzn5$<+}Ll<33n7NeW}rT(zF< z3N}EW?C|}|+yEA`8iT0o_}R=s(mKH8%_=6M-c{A@wtnf$WCoEovAZ{BQjx9mRVRD~ zUQkTR-9m3Mt-T<}4-z!%Mh&3~A%>?O$5JDH;`?HDkO>Rf;F&O~YS8RyuDp(;nK(;7 z(I*N>*oAP}>(D|_u8qwCqqp*|=Tp$w3Z$2Hs+LghzQUY@?Ov1slu|HY zArZYm)x%uVjn=^)QZ$9QG0_4W`PQDT$uIssB&E@2n5{o&Ge@YGfV$rzbkkV`DxVfRR87}d^EYF$6YE2II9961s3isY+MOl+iCE4s>Jz zcSgE-GJ5{`K}w{`KV^SQu|-uuQ7fj*ooLz@q`eGi-1efJYS;n2T51+>;R?d;7c_$9 zpKf5rL_t+Va!;<`!Y`(!{5xh5#ly*K>v=)HDe#XWN-Sv#Q9?!F{fxA&P@PocBcwN3z&l+Hnig`!C0hpFAq9-c^rsi>F5 z^N#{!bMnBb)uFBJfTGr23$pLNZ^>_(EcHTOdUSIjWm&+V?!;nnk zgJN$b@P6iyfZEk}eP#V^9gHfanWyA_$l>QwgaO6frOB6WIChxR5_Jb$d!Jfol z)W&1|?rz1-{sf!4wSw-IL%~@=H;jDFGc8b%pN_6uZs&u$)j{?12-&e_^Q~YKmxD1) zTowsG!$3W-?TSKc@VhB#dtU}-eM+f#w6qbNJ1mcbCP>V1CZvBnXb2UJ{|>jh{&ZF% zvaYWg^4<7B-j&%`JTM#0^XRkMOC8s;82%h8k_HM9li&@@;`Phk!=|_v(R7(6vg>Y9oSjuFB6KJ5?3^ZuLzF3nw4AZqj6#my^VgH1d1da z+N`K#Ax~Crm6T@nSfS2?hvr>(YQE4`JulRLA!MDl1Y�bLeNOVTPKDk@j>XWq3h@d zE}Njn)_Z57_eF6<=;2pSoEA$72CrSP0(*XSt`JnkG{W%4A6T|4*v155m*x6QQ+5RX z%6P0VxT1^T`mBUS4yV&}%emtSE?HyFe}w8<_S0X4f?jNhYwS1LvVz^G$ddke3uW@A zi%cZ0Ozvnq9P5Q0CqG9^X(5I<^&SArD0UKzUCexs-Bf`e-%i+sJA;rCbq8*qJVUoP zK5+1p65}W=Q<-F<%+gRmf+fY}bUg_a{%_!*!Y-Yatt^Wa8>reVFw~Q>dwF3^KU6%i zV&hxWbQQBxgo;;tZ_j@BO)(^@3Sg3OI8h_v^Uh^9i2v}vgZ&F*(^CHprweHMU>yoOlG>;xA+ z2Y3XoHh9S-h6V_FSRg-(Z|v&&Bn39iLwXD^Y(}?#!=SLZd2lY$wgZ|y+IQELM3_C= zF5abyxvHw1af_tNCCeTzvcxK4?)|0I>MLM0rSasBsC$}TLw^Hb?zV&>2)~jzSt9p4 zL`&=$IMCS|gdN2%L-aeY*0yR*DO2yYeuV&`n_J5^=jAjtYNjD!p6dlf;&+2_nYXzg zn{>urOzVkh$HRsF+eBg|iC-%A$&F^GdcEA$H#BPW)JN#R`p(RgnveDq zinpDI$%(&14UR?<=sx}m<2neg9lP?0*^+E@&Oxa4(_SHlAzA!finvTJWXk8qlENLJ zg!zisd^%j+dC4DFftdlFs$X8`OM{vs;A0pXbZBX#23jXWaTNt=57JOXysS4rVXfg| zzO2XOY5B<+uTt+fxrAl*tItLa;cnea&h4~(*U*Vad@iI&Rq{E{n63VS4y@mT>9L#z zm|jN1S=zSk!xLNuyOY}riTzdL>UDw>jIo!YT{ksLr<*t7>#Fu_#uLs%#|eVU*9y=! z$85?yGfwfV>^8Z;o@I(kU7(!bA)cse+ne14Bsy=o)4@g$jTmRh=4Fq&e`a8s_%|)m zD3w#^g$@vW_zCxI9n6hk!3Z}}Us>g?#$QZ4n3d|s8+gj*tzc`y=Po%!eL5+ z_f*^qs?C2c^QgC=Gu0#}b;re02AS{Df7}edBVliME>O&5Ebx6@4EhDBGJJpG1Po{8pqo_Z* ztu~gHPkef!YWXx^a`(>6r_QL|70p~Mo;sSFHh-0>(>Y-$4Ya9EPgXg-_J+GJh>e|K z<2|A5%fC($w~o&I^t-r1fQ{(TLpVs0n~u@(Ri?N9=Fwrd(D&JbLqh!~);O;ueG+Wz zef;&A8fCFiUF4)F5ov(-Xp^vGqML|Ha#@KDp<_t{zX}TX0OH(y86J;pYEj@o5{|lT zFQmPx847s`nddf9HfNWF)wxy)TUq1F58`FaO6jC`=CPu)eZDl1aq_#9`|d{{Q4Awh zG3mLl)cfcTXysyW`5QWPjU{$<-Qa_Fpr+xyh~QN?VaZv~q~E{Q5xpjhgzQ5HF#41S1O^UZjWJ(8 zCFjM)%X@J_gc41+NZm~nkHsiwHz0`KKWXh_zuxQ2#DU>qgTZp8KzDc^DFTGGdcMPp zJI%1ZEA+ljB$H<-Fbx=Rxe_-<5-?p8D2;HInj3sMT_$aGl#KaI$2*iG_kNa+XRo^E z*M;S(UEKuP!b`bzp4C~e?Q5Cw2*zU5hNQWlGa<@_^i`Ium>k8dBvh+LR-sekN_=MY zW`dxDPnq+Se?jydV_)_i_Op_D=PG>-cR6LV>4w@Iq+ctuag(TUgK5+~s=O2BFnqy+4*-0{9}4yx)te;VYSE##n* zp!Y(buGb>+SU`h1XHr>m@4Fmy+7V4R1{+z-54@FMFCL;4i4I{${Qja+kpARCS$ScC z5;}}#H^aGMWKLYrRJDQ@V*1&xAGRR9#lZ%irinimMhZ-fEoz&n!c$=)_|snL(=OoK zmAivy;CHXQ9_iUSC6v$tPG95FS*w+m2F-TRAS)>dhqZ32^vwFNz^^p zlm64>K>4s`bw|gbM6DMJa+#u*iUbhu0$KiWK#3L_9=9E+gDOjCU(v1MUcg-tM22CX z#3f)PA%vqx7vkpyLt_pAWp&pYw!A_dc@0gMV#cN#^^>B(nqO5bP}-Fb8?6*56(jfW zLGM|4!uUBcH6n7(xG*6u&(?`ig@3BCqc%uWD>{fQA`>&OojM@+V=IdU8ASV%k(67Z zX>ZGW56o0&6My?~&Eeb|dtN&A{d zUU&Nx-S0=eGN464*;b)IR#CGk^j^*;|5Z(nwUpMVZ?giMpKyOZ=|DgSyAoqx3bt}Z zsDX>rab;vKu$c~GPl>uwtrK3e5hVuze+*|aCN4;9Fij6b;4StDE5a37ia(G7E}JwZ z+Je?`vtwlQ@MzjAyx;~Z)F95JV7;{qGvd4Rbp*jw6J3Z59{N{r7KmAv=iA#g@UYH- zheZrqsHfb4tBKkO8jm4(;8r6SLIatLu5b!M99L(?uwlT;G~Vx%-#M2Gm@`5j?l-ZD z&DQMwv2wYN!^a-b4Iar=DEC($_2 zM|qsZ#Ku+RC%kR_AitsF48vD)Kh3^UmeO1i@$&#K!Cxu8#BMgu)$CPHad)~`wN$6| zY7~cdCJImTlQ%1Lbx{1-L##ydao}!1naUem_sBTcDY=38F>5o zz#YG5tj1uE<~vl6WGO5z=DM7gc!VlfDxO8}jCA%omG}zNGm)cJly*>KeX#JWL9TQ7 zVylZ|m4tBz)Igp^tVH_KMQc-`L}`&<#8ItBWWUdhN7^`EgvZz)QoDs@wm6}0 zS_yRz2v%(uxp$;OqTQxwMSgOqEW| zE<->Jai|B|^5m0NrgpfltSV^61kE~(mkbON14fLaJwuP9oLv4(*DP3QR~cgtl|@>2 z6pChJJFlKXmxYi{6UfPy<+o=S?kpN?m|Yggho7_YIN1`x@)XHo?I{G0Cox@0-|5|T ze(*KN|f5`yeJ<&k%rjSGgX%f~1)=EG z&M*$?r7tTmZFg=Etm@9?MT6of0m_D1xIOb{bRd*DTJV~GNkj0gj8VzxEBN{Q=dMwc z`HYI9JHojU~sb+*6=!Nougj;AC-m*ZPI;Q=pcywqKdlj!e(nVGnNAH;izo+eM` z#gL@&mqhvD3LqL0CeHrwYLF>&=2cjAVj|vfU{CFPHEh-57ZS>4&BX-{4yMKu@&-C7 zK1WGE0$@}D1FLd!l@;p_-tDDOu$omxKS)j5@@=5zBaw7#J}It5!e5UTx~9tOC6lN} z%Ili{D9`Oew1i&H5O0eigm$yU^zTjXSL{4WD*U!j@fRz{;se2AK1Z5x+} z>UfE{3630oQ&sW}Y0D!QXm#%U{Su>*_1MgNP~1LfNqe!$j8T<`B=oRKaJo@3=$`Lo zGtfv)qXuJ(s8KVfnyWdwepEU^i}M$8 ziCk!jsvXY~uH@rP8_H}_{yX;6SQ>{c>kid5Hq~Qry%CT&TmE6P`8xBfV#m^#nT=8i zT?dlYV>Pz&C5Col%Lq_$Yn2fAiz*PEk)Icv(>x3jX6tU%Qel~a=FxPHpC3oYDOg(D z4Id$r6Lw;hA)YtWKP{-%&3xK7KJ%fdUMd^$Cd6)n`!g~y#Rx9tro z|Lqq@Nom-ftD%AeDA`X!$aGNB6Iq4KYh*uQdR&Pf$yI0?! zp#N+z9l(8QpJO&z7&XA06;`mrM&XR+St}e{mf&!%fxw!SJ-+L|p5JLr3idt-|F!k* zc^A^uS?xtSM&`YRmEJe!opANp9>^;>37c)T9lZ`IFJVSiqFIs07J0K0aC9)&!Z=)^ z;mP|$4a=~Cs{beeZnIOz-{aTo4` zi;FX9=}m&Tlk-19em#Ogf6C$1@i)N!mI-U&Poxrh&*P*wtxT2AM&uaDpdy^NL7-(T z)t?C1!i@Z7K#VWpm`9>Jjob-sD$oOzdp8lIU%qMRFp zDR^Zx^6ItzL|$MrYG(JWt8e5x9)m)YbIiAOE176}Q36MOQV!Q8(`zxKM_8TEbDU?- z;jC%*&+lXgz8K@@PS%NMj;97?o2OZF#!%$1hHoY+x~^RNG+C7i)y_pU3TW!C~5b-`-UzSFIlj} z0!`?2;macimkqm2;dH1ws%`m-oQnY#dd*Q;3lY4)j&@9ObJ^-GnmLr{?w2Q_N_7%% zMUWr_N1(OBE;H5liIId(ft!0io_&j-{cWg%SX6BFi0q2cmO2YQ;EHhx7fXmk?{?uT z?hX{XwYOMYA$5BEygMxJf@n^3H+)xXW1xmq*!a5p8=+rUM0OCgYZ2!8K-vy!T%VGJ z;%mg+W&@x1LjW%i!b~SC$%L43MPOV@RGwWpc@ps(-PuFYrab3qb1Km4HJM2hS5AZ= z;yYdFScO|di9H)v;8cg_(?@CsT{HI!>E<;Vq#zB$jY)=)>!I&cU8->?0^2YgKeyx9 zK&+AZA&!>y!W>|mUcH5CGt~zhja5YynF6Re3nL7kgX)KsftMx3Rm7q@W-}=73KW8v z?X4R~-R^B29;A!g6A})`aO@Q_Lf=V`TNWcq4>35~je-WL%)v(;@jU6T7^a%?Q;qA? zO=?k#kOY0DG7pAPBxR4&kjQI5gTsMXp0`E*!KE|5_yjpnUlTnef8uvw9EKTz zY0b4H7v)$`J)hF!K5;`a8+x=*fr?ZT`OB0oCeYf>Y1py+#Kw7m>{?rsra+Fb{-V0( z-W?Mjn^qXw>nd3U6>$L5#n1B^KXpWXpQ5fhe;xI@Qy!8OWZRS17LH{Y#S(KUJS-WGmGRmiw1#mt;I&pRG~~rD4Bb* z#br)EY0Nu&q5xmghN{!xVd3oXK~BQxm;3!CNp{oyiZ@&oYQAGkFeB~3-33#Sc(4OK zQ3GR&Y`2QNv|-*4pS#%R7CFGxSroTRmv{i`(P)OXSX~5)bo`Pxu%@DL1*!aSM1|m7 zHv9S5Y>z7J$miFHb_`qL(U?y>Dq*wk7mBvkb0aLew;RHmX(m))Oor++w%5>!1K2Bb zpe@>S&a`#isa^a=)@knN&f#HQk9jFKI~v4@S!FK_`wr!to}U?7uYQ1ZG~a^_^#p}-(VD~#L_VPZFv$%I=MHF_4lR@67xbcA; zz@vUbB#O#9BDehx>$X@LDa|Ga8e*F1dn{cMGI`(VDNIHPGrfAN+d~a;zLSTsPiD7M z(7>Y7f1G2;!Yc-AssqjK&YFaY6y-o501-c9b`KSo?kfv_SIT5TC8&)i(Q3>cG_(?2 zrLJ?r7pNO-cJwmkRgeWQW--GAI%FVjp%nF1HeSDeQ+2RLSC^GN#ANVzelxG^t(4)5 zom^*hkWXh3ED1*}12=~c3?S0M%5!p`&eEMuQ>9x&<9UlJRw=8$MzWI$n^Wgvfq8Ij z2K)<6$f(~PPM4kjd~ftxL}N0NEqw-@E0$vdswT(S^?SeirC`;9Mswo1>LlY`>n$j{ zx^<_^&=q+UN3IS&u!~0QR!Rn^z204U7s=Uj$L<~X;E~;gxS03^Dr>Uqe^KQMfQ^ZOtqNiJ-0_HqJCP$v zvwSUe(A#?q*xXDIW6cI1{kZ<5%&zXni;t)zYy@7Sz2~O7!?ItvTM)HLFdKi4qa{g^ zhnrQKEV~TP`jE2jV;&CV(pm z9aUD?0`hp1c%XsdVCy9nIzr zmqsf0Kl>&(P(Kp#Y3ln6Yk{17YZ~Og=EGfU`N?(lLwxo}W4YW99R8~74s^y0%)%IQ zkiBxY(Zthrx2aHzcIP~b1RIjg+|5z&LVrfhyU-*vG6~6=FK?cxOa-;Lfjvir%<0Y9 z8q{>8hf!To6N)?&7*e;JJI+BRkCzqhfg&5_XNGGUbRH1d>XlEYpiFyMLR-;_Kb}sc zixFVKFYXnNsvxV6f(~lwhZK*X0wwaF za;Iy^?*%_SwMB#|`sRGbgrlc=8QM05Vb}KaU897}t%xKd1gP~xC zvY&TgOKHB?G&b;|Zy?%SK;CxVHX4Q22xZJoalVaa)H&|97*c0QYQ20%SlFapX4VVd z8h%RiocqPb#;jT*G5BO(%&tn3`wL$d#8_nV3E5%t7sNEy1ir2)k_#Xf#}-?Oy8N99 zTp^rgSEay(no{4wVO~j_2!o%Q@2WnSCA^hC;xR7ON=>qWkZ<;(k)ib-oQimHDajDl zaRJ*hf)%9zJB*(G0ZyCL9+Gf-H8|B}ZahEOGXd;d=Ym$1_*H6jUZn6c6Tz6N{BDP; zVUd`7Jrc;)G$e5Dt?Amd`(n7lH$y!)3a+}EzSF4M&b8m8z!#wM-h)$v!p@?wo$4pj-MUXNf3wGm%?}yx}t0WQK-|;b| zO4L9kfZtRRTv<1zPeIEg4l^y+HAXR%wt#@DZbd?nku?hVoqD&o*NuhL8I|jHx>+S5 zXC*kP>cKm#AGgusDOq9ORXSf`WW}c(Agv;{dC5YP@NL`{1dQL!VA^p6E(wC3VEX-!fG&CuW{FF-`! z+8PI3Ghu!wwTQ_sNE=Y=+Kj&$LQAaAR0Rrv!;NorNgPkC8zTzkOn7Y3+ICh->yR_E6(WzzCWJK2jN*wX3^kIa)Du|t5&Xufp>pU#xv8buuFkTu zGBm{1Iqi_6WCj&(HrMo?iJqTmLomhbK)aa}yzI#dYe{+$ZMk?fMW(ZDJ}r+1L|CGW zuWly-zlKD+R?ujp6@#M^KOB@GVf{{=N$L#Y8#p`S)C{$A3WgP_oG~3+`;jAZx?7DW zcjaar9=o5++xV-vFh6*)hv!qHi}H`@7dn0?`@@z=*BgE&R5U%zCTGrrCmp{C$+X~6 zzgGM*ZhFvXO%m^toj}-5e5Chpbn~ZClW}hVU%o1>GB41TZP8dJWnTJ(tM}U)snA)W z3{IT4C1!~Vn$H^(%ugW|SU0<{-R_uex954BzlxRJi@)qdGAhiEyUs~6rCZvIa^Z=S zQ?oT~CuUGZUdowRKog1C(t|bLWeLv-s>-D0W9zel(_!h0YCrDz@NqlB%!FRk{U%Ul z7>ubV{O7!W8V9Sz^L2}eE8e0X;w>oEc%h!j6edkJ!@-=4cG03lln{8NmthSAv}=ztG49Q zLr`o_Ho6En(3RM8K+htDgkn0RFKhEU^?f&4CxB4~(F0SB_Qo~h3+!An=)qVv!IAuH z?7Pic4O2Bi-c-zuI1zFd`jSUzWH#fx0mt|F*v_xiNy4HPlEy+6aq*>PWHpKWT!cdf z4$Zro*9z%7zQvty6Bno~Qa&Ovg*Pw1e_+h_fZcu>d_$XerPuU=UsL!g2|>Joe?SF2mexqgFt zl=46zZ&FK|^riP@&|~@Bup~`$J-`PpZ-_q2S9yQoZ<>j1p1eQXDj7*2XpJxEn-+ z&ZvF?Ui7odYB>W8+A73;Xww5YnpXL7jujB|w_~8ybl2+8Z4P~6;FVnSk_*?6pNe70r;X3f2(4*poEz{algth&?sKIF zz$rjy%Mcj?UulYHa%GEA#qX#1)w%nYTZPNUV<~UapTU3NJI3uQU|U7kgrp#XWVvf) zE=wYxP@{q9ja_y(j9Jt3P^HmUwg{vW3fu5z?oK{}Pc)6AKJ5f@U*Wm8Z`5ZPOcRYg ze{iO4Z-do}|F)`HtRV4; z`L{6=npt)Pi3m2P+Pm^`K{uhurZVPE%S*IJGpDUtv}Z0`l9na+DH7)vCbx2!>k2fA zPH~@*=pj<&q|?#o+j2ts+8Lg2`&TaxgGP^A)bjp#ca`A-zwCu4>aluN>=tHBK*H}X z>vA)YjOl)571CCXHcnk1;zM~rLxK)h>GignA<@aXi)M^3mXqTKc@!;$#1VAq-MpA& zGJGnm7}>8>R^6-=3!1QiG;ScS)bxN9VT!=oB94%ic!RSCUGINuMx|Q4g}~1t-~B22 zm^#20uwdwRU_kDFc;~d=IdDvXmV!sNU#u|are3xd&KQNCy75Hf|8@3Q)Dx$nSDfAq%Y!NxR`3}>R}E`sC< zpX{RoJ|D=w892E zhc7}FM`J*Ew$UQ&$1=E|&XFrFmLcr$=N2X+I>j+Jqkxs^^ucuOZ)R`WPc|vgpQK72 zj+3xA!z4-J1BG ztzY^~zfY-r6Pi}1xtSQO3cmooAZ2JFUu{@;ng8wPrF`D7AHs0r7QNnkgXM9iPKs3i z(`dK$N)AQ;@isos$d9}uhZx^9vcFMY;vOkB3nE7@^Z>Fm7PK<~w6$ie{5fZL1Q&s` zUVCG@YIl^uL#vP3mCH#6#n1sN+jM%JnCSU7*~zJHe~YL&SP9CKa;nvK@zuwR36j}~ z#RM1KrUQP$z5>10H**I%Yozks4yO=Y%DWn&VV;%3OYnX_>Uk4U_8!t36FcxA$z$e^i2ZF$lYX zwXjZRgXVzMN*Oo7p>*cX{r&^~iw-&R6=W1;V-y|QQ)@M4hyiv88Ae-o>5$h$cflSv z6{$$-!H{D%u+iK>KFgx$!EdQ^%iku{!*+xa<%H+9B^K5s(I%u(g#&lE7cNJ%SHKgQ zE2}8e$N$1n;+P4oF+BTdi9^)n)|B~Iuf&j#+nO_zw_><Qu=P4F9j3@YY;Rnup(q zcKWiuN{`&$Tz!*~RE^d8v5FGKzz%qzS_$~df-P}LDXMmqP+t08EjXLv?``MKG0oqx zEd7*{Hj_|_&KYs=rFQ|5oc307P2g_@D}@WgHbhzjeR;S%j#Nj zUrPu*LGp*eyaWwXLf^j1XQZ9szGJg}Wn5=3O-W!%e)C>^1P9q^c3E5Z7o1fIm7(wt z_r}gcXg)#Sv5anQz&@|GW*P)%R7=M+EIG6o=*i7O8#5I+hd9xyMaSn0s{OjwjQm?q zf?7f5k#Le+-~CBx#Xs`V3Y-_=q(QY$hbz$aFx=}3c9TlRBuXxf0;=k~ea7UMT&Naw z7L=9gd1puLaBBg?@E00Ki>g^cN_R#SJlo%nr;OSOrz?;+v_$sYBg8xCKR0`hNP0tBz_+8 zgkZa@(H0e{^P$gWu?aU$KPDPB7DLMND67fDKx7{FCUB4l`z^v@mHGtEJD_O?m>Xsk zkF@LQSRzI!NNHFTLO;7?$nK+LpI7vyuaCc5ux9LCpX!)l7NSxveO+CpPtKgXLY<)UUObPwZ31WG+iN5FD0AqwzlH;elh_Z9`d-{_Hp0rQY5o_ zI7bi1C6h|GGaKl}+|S(wU^bB*8fd2oeH_-f#-UuU?*mbj&;iE7m_UJK-_0A)%Dr#5 zv0Fm6s#F5IY;h01`9)EnxqaVA-NS;Z4F+w;o5o8?62^9qho20<>5i>TuGt$ISTb}G zh@AtjK>fZ?pN`GCz4GEjq{(h=A#$H~j6YuO<9{O^W)NvvI25()*O#w?3|ap6hOuOR z`n$xN39;@W1NP}!*$NPb%GVx(!a%LY&$>ZaUk1bL_Nyd7s}xw(REQ!q%LVS-H&KEj z%xa)c>CIRsmFqV!fn)+AV;jADFW@&uFu`lM=AsQJmP{D>^O+4yEPoy!R3sI%!C**z zEn+5sVPCZF5zoq}dURjpqGZWJh9Vf+TfwHEp1*g0)&(vjGgdswf{mdUOq}TS;77$) z|NJ+M4BKqmcGbfNJ}H6CQnp`{-ypPR3C8>l#R6h>iX-aiZ0#2f<<{Z|>E}I8X7@%p|&*uYfsvLnP-1RZ-EZAX8J1nzs1?1}ET-8~s^Xmze{-UnMNqK-dDro>)VjB5eIF%(_Y_@#CKFQPL#Uy>Ez>@(CSiMnL zg*%kP7g#+Mn-zalgFV;Eozmk0tM^!KD`%n*i>(=U5|yJ%#3GyKMHz5yyxYs>$)5Zs zQ?;LbQwvG_D+BMR8>Vprd~8`!9^Y3U02`~6WYvJ!`LJrplG<&-vUz^}Q##?IBN&f# z8im8mxt^&Rlk)E$29vU@#V)Db%q}TECL*;YdgjO7$vncWzn-u4ZPCO#U|mg2&45;# zc?i0pE6I}e-ZI$}DJl$s#%GYvR$leNawA|e17vPO^}pySq*P*Yp^z~7 zD>KSDZ34L*_uDKa7%Ex960xj{h)l*vjBArMZ;&3AvvUr~F@_5LPgLmac}8~Y3}&9= z{+|Fp3BdO0biH>Y$-QLm^avKC0v%?;Cm~i#hY7`BH1rP$iGVCb{d8tQ>c%~$XL&p) zW7E7c?iXu?|F1G5Rq4FQTi@X;vhn==0zDp9cwBaY|G|Z zcq`8v7TTxZ(&4LpZ0{kqRGk{WIHE8s4UFs)T*K?-(_>9%yMKwqXREgHK8G}THD-?9 zWcFlMY%+F{$-@RCbe4%NHf3lQCv zqG2b#UuG~Ic`2dKupQ2&>6l3C{hq_XkU+zI8PZSgiio~>6HqQzB14lXS1ILr$_C)o z%E2@$o8O1~Kl;I4T68r*O>9&`HIaKpDi;MN>=)2Vs^NNR-*dTL-h&fK)W2%{;wHD0 z+TNX`66>fjoLxHYo|avU(Xfw0W7q95+22PA$ow0j{x!X7K@Eb%23DX3v639CA=sq) zfdOy6r9%$`sD(fXV5`GZV#Qx%pzQu~A0y(0bz8%uqHxWC=S2q65`nZvOl?nr-P`_N z)Y7^oV;n!g!*X`Ibe#jKy&RNrP1&8fkC3SppghI$ZXqi6w6TlHiBK5QcJP`S7DBdz zYH@9sC^zn+e1IR6aej#oBCM+m!1>s;O>1Crb{AU0M!9PPBrkU2(jjbzX3Ikr(i8(5 zr(`*=xnrG@nU#wF*4bQ!e+;EjF6G19w<>N6ZKOu!#JKE|)82WrpvEz0NWv@qw8)CK zROt1mY)x*fVerglf(i+^KGd@Y`EG!eYRc=_U^oGM5VHl6E(}Eo2rtq8iHJL<^&Un1 z4r!)RA8hS=l#sbKd^_+CPat`!rMUBIdAzzJBr>d^|95O~gd}`2$?Z}eKqp1ve)X($ zEP_(}DX(N<4Xv8REAdav<1CeY+~42_+mcjILi(=??M-MgCI~$}jYFrOXUB_Gdu?3p zUG87K12TIXvqqr2K^H$iW`bQpFr-~0EJGdg_49sk5#n{wM=v1T4|v;e><}k~apLX)~~4U%K6sibOR;22=vZY9^AyJjYXo zZskASv5arl_p_8!yjYq-(}^exb&NPb9_R4)^l82QQTLHA`IvW>O(Bj7Stu?|X{7Sa z^A|-?9hZOYY7U|0oc?w6&rv9_m?+|R4W_p^&z`x&#fB<1f9q_ZUJ>mIlu`W|)iNN1 zq*omI0mFekunqaE=MCeQE?{O`^eGVJxosU9HDfkU$z9|W7yr21N@ewd^_u&W7c z?c3f}2wp1FKotJ$l&eLR&LZel>%4k0Sm0_ng#D^9o9d}e=b7DEJJH8z)7XO?{@I{u z&iZGmZ<4Km;e%OmagYRlm>5kCok07uX#@OP0zO~2vQSkR>iL(DZgMZU)_yyygZnF@ z>fSQCzPghkH55Nn(hi&u>{9>Qw#Y>*#38*OHC>+Z7lj0zonFC~Pg*eh{6_nQ91S`b zfeNifX|~KCC^INH0_|1|<>zE!?^A5CyP6`v%xD>`H-#_J>@T)2tDA%(s#=lVl!T{oSx z&f2X(`%=c#5{bTzf6<_*SZIRQXB6}XH;KN=tuYPxYq2Q+dmh}C!A8(f7L+b<_z$^U z)Cv^Mc-XV3#+fObH9-dN3V7)pGI7`?W>JEZH39uhms0=D!2IVB7=AuPS#U5j@iEJy zZGvF8`G)tvM5C;h2FHo+WrZ)g#MS$*@QRWNQu)G6q)Y!XIxCNevyrYjC)SyD(r1n} z&~jaPQ*eaS_y(T_fgeX!2aMKl)gVQYd_^&o1&>NjKkCwJiC<_HR>_0hVe&HS3-JdI zF#|Lg-bCc~mR9{3%M#*z589W-LmyHRY|!GN)R9!l&4n+fbBY-^~53Kb>0Cv%1x; zG{;ha`#-fJ)|>)}AK?Om2dvrJ^H6ZLW=)@5q&;vt0TZ|XEy0CnS05YuN@bqJ30Oim zQX^a{T5yP>X?KV2W8H-)h8s)|6x;ztVW@A{B8;L_n{R>&c&egBoN>==9buOIT5eX3 z@X7IZA?e7crn{I}-H9Ipj{l3RgXjxu)WU;0X(i{cDL(JP0RgW7Iuw&{NM2&MRlBtt z^O+OijC)7IN68j2S9t&{uo2OE=1$LZTaPNscFY7JV&Ds8wpZ8NUkrYK5P~JJ6Ax#L`%t1y;z2=dKn5 zA7153nuxHDL&d#l$=ZqD_pRG%u;E3^w(?(iQ(dAsiukoa>6Tq2V=DV*Uni-(Fq|b& zgcPHkO6IJjQW^6f-*Atz99rfB~h znU1$rUiQi}u7rRH7i0d8)HbO`C7Vex(V8&KW3FARAK$?2Dj1szW635Rec;;ugKaEqEpF z2zET3fW{N)BF2*u5#b{GKJDD@{QBNjKkrOvNt({)a56i+;K;cOBMYK}x8c6=;e?=} zAOcMQEj>kviU11ar6C|tNR5qKKnV)>`}GHBo#>N50fmnL&!>MxDbMKc@F}gWM~}I$7{;( z2gv=(1CWS`NeQTT5Rl4NpJWIR1o$jqZbrX#6Zu+D!5?x94@m6uiyAbxiy13A4i)X? z;QNhna$O|`y zu^qgdu)jVZLK<=(A`mDr%*`cKe)l{O0K(KhIwFW@zulo=4gmy;v77XpE+>S&-Y^6} zhs|B>i^7Wp1W+`RkYHY~7RpcZiR%Ow12}72CN@Th7~)TbJZ>P!zY@>3_}grz%isQP zeP2J!7=*N-!&)*N9)tl?hOka>4ef9G30jdi_!AH@U=n|Uyrd`&fGaovuT5^~Un#qb zAb?-jh_669ZiqYKK16`gO|m{f1o69T_I z&(n7+c6Y$vnPT`}R9cL_$Jmiv08;;#Rz0HMU8!H(2S4PuTAE+_=wCO%SKhq2UE7@9 zpWi`P#~=ZpAEGVG6=0uAKi;=%w7#EAOTZr|v*$iI1o+n97t2DyRt1LpK^{NiB}fWf>!0N=o(qnkB(n?<}J0DwdtViWi8*c#b z7a?G?;SWrk^1a~;<9iHn*Of#uk2*~Y#D{`B{TCcd%!VPra8&pzr#R1p_Od;0D&vw=QB zoQ%`Qr5%Yi!mWGiiY*~oWA4(M%w$sC$q?3aJ^ii_axY(^L z<;e$XGdY3eIj=UVX4BfAohqTYQhfxVjz$2u;F4hRT*rrVeU>BZXF@r5VM6L{B{cJ>8jghORH#7r%Fjk=KJJi zI!y+mHS(TwmOYxOs($jA?KQ~B_S49U-o}dD_AKuYXMGhS2o&@x$HoOxVpZ@yV$U4A z1d^}%Efj)*<60#qaUWVOUxMWLHNUH$!Gs3vzCrW;$76XF9(;CYX8fqMFRUD!L?inZV2flreV8TRDi@uh2o=SJWd!RYx@GE5nSGlCBC zr7y83?#IJ2CFha@xSo~u&R~ou=gykj?}qZ8oaqDXN8N3rP>TKHD<2m*r1S?5<4%8B zLbYV{w|8RUds0f~K4wn75GI(zWtX{452H2W@$Di%FWwjJS2)jdy24&~fiq>7Iu~m4 z>p#up@L+?mKbu_fb=2PG-4RdO%PB>7edAEtFx4JCo%C!;9K)qP)`@UVv&Re0XG&_u z?hgq$__N_OpDIdooX-zeapLhB*r?LY)Tib=W{-G4{F=>#1af*k1-5cUTQUiox$=yY z#zixUV_2Wu&12XPJCbr4H>SLmZj8e5T<>vWl~{AD%NS5#kdbTCkh&2 z5@p8lV+$%PtexNtw_{2!9tuygV=(87d@N#cgQnE?1(j)7KbhrlBDOSTd+T20A;$+3 zVWAwBQ!t;2R4i*8GY!`0m9VDGpp`f{yg=X=p&{b;9M!9q_OI83My}2tchpISm$fEC zVq0IzTUl{O2Are^*)~byE?w51dWCg~;o$q+EQ_5|B zb+TAhGTIWdG^Hur41?Zk-c7QrDjRknbC<=cSQDXb_KJVJ6$=YJL{=3U*l<%sByl11 zA`_vv-uSd)xLC??2j>Lh${=8zf0v^@O8T5*^70*^*&CVOwI3ZSscvOs>y+K4ONqHL;}AQ1(pS ztC;ojO7d*d8>qZ)vFZ;&dQtFwL7oYJtk^X=Dy}PI5)ECNeDT|(U8+3nh zQ*M63&Ah#Lj|@ofTzMk&lLKMGGUjyBo0g=ES`$pSbKBA2urq(;w)D?Z_O-urZ~kRZ z+zw4SzRz)oPRqaBfJLfO=@F;Mv&1iJuiVI(81Hf&i8|qEY8Jlag9u+z?k(ZiObJ$< zK~(-I9js7E?m`%Y9MQR3TLmRiG5aZ$H+JYF%f2F$53-Y6^|>W|VAQyDc^C0Fexo*g zV)xSm04)dGj5n@bP}}y=$iH3|$j#;RUGIIKiK5g>LJil84;-aJU8=6J5v9(V7INq;`fbP*Wh(}F1 zeHB;gT?4{D_P6Be)k0i}9R@DoRI9^+BPiT4A<~b7^I=q0&K>UljUXKF-6_5(juMq> zoicrSuzCrf!kB{}D49jI`9ZN<$fh}?PUQ1p*&}YiOns%{gyq7suRlJ|a_HpGga;<+jd3O5QD%vzeZx`n1 zXy}9x)G~0|wPQyl>pNDp(0GAd4zO}T)s2@Du8TG$ITU0cG0hPqNa9&C(z*1Qx`I4k zCY%}9?+pJ;G0OaN_&GL+zi5oTle=#`BSGxA(qsQH#L6-Xpmbx2ZdR_l_RxMoOi5x` zLRBQDlz9{lFi&-7B9Rs($_`0SX~;iYtL>x8NCL;l)xkNIQp9*D`Q4{yzQSYQlcuBs z!sDSXKelpBQEP4Xvd1Rl}>DH-aKDM4ZYXSg3|u z^;E~#!Q8^v;hD7fM&oN-gs?|s|J8@HyiQD}U%9R;=0lh-q!P_|EHGU4!oTQB`alf2 zq-9Sm58_{)ul8u7q4v3ABl5plCj>W6)LTymc9;kexQKdiqy8C2ALnJXq&DusC1-%* z&(h7iM{n%d0S|SU0@ASyN_9(L!^&ZZSt6_U^;D)QsN7KC74?umRYo?wZ0#w$>>qSR z1Hr|OGer`JzW*?2gCiAv04^WxxNs9BwHS@j-XKDql5(Ou6TES-&@{;5xb~hd2sH8L ziBhjlU@YW-iBBha$o~?RO&(M3^QdwADUiOyhf<^sc-Cd=&g===pkH^$iR}_l@@IYi z_g=&*1&hP?QwnOXj&kE^Rri4%4Vw;T11zkQF31p6bA}(dOzY9?L_6q(vpums4YDK5 zx6<543v+!`5Ne(V@^bQAesZ!^EeVVnq@>Fv=G+}a0m^!nr|luX>Br2~eoh?dmJ~Ov z4%tV-FNCFD458%`lPdHP@&^43ISir2!7y()S=UutWM7laZ4~DrU!65nKviX8CyEKa zOf)MJcHJb`f2;;_4z;A=z+Dz+V^7EF!_2^RLpJz=i-f*lgIidQyRKyFxD*E~-g+c2 zAJ>g&ud3Gzt1rQ_WGaUY%x1DXI3GMZO-(>q!;7C&(LvZt;oxI zp}bNOFt@d{bw^ev@v=ntW1jKY&uUZwP9i^-x(9v6rLjs>3XE(=5Ih1;fh8CbXziWt z(z2KDjV8|EY}KPA=~6+Xb2%4z#Bg^areP&f&qMPc)b^ujpuGn46J+C;M8kn{jn7TV z3=U>Icphh>KOPQ?A7c7%`w2acyjNanF zS$*%A9jX$^J)TytU|`4AtNo;RHThm&Q24T`NJpKrgYD#ie&}XecyYvzKGSZv^#5nQ@Ed@IeLR zpps^w?>W{wevM_uap>(IwovNf?jYkebAPC zwb73V#bM!F9u$KLgOsrYz24Km#`wtb1>i^v2T?hy4kfY3AqPi|L#s$KuG+H)G2364 zPJO}lsNcDz)!R1_l%l2(6((M!=}Yo!w~$(sFGzv#RYA}CG>T0~QZP<*X?=;6m?u^C z=DlMC;%ha!ret0vAqFViMW!_qVow6iSjbX6e9a#i%rk4BT;>{a%{Lg-RJSVLjG zk#PzH@f-B&wp!EX##_-ao>QKwj<%MIx1?dXI3&>_8UFdo!ayp2D(4UpUuNuzBeaVh ze&a;r8@f$g=|*!fBg(O#5+W8l~JP3eFX6y&+m=cDPWx*W+q*j z9D`-9vVp1R6_^r5UH=$)*L6BQ67xV7$Dg}1D@FJbB>z>#>y9HT%Ex+GAo^=wiRKfJW>}=XO|z^LaYk%W=%TQ5!rF4t>!7C9 z;tVZLvHf|Vn*fN?cfX+&_{rusYoXm;_&qPIry3dc32pk=3esWV6iJoA@e-Qgw09M% zD?ShaSmu;F-gV`ZlMH|vfA)>1ze~QPWV(c~lm3r@x5BvX3T)XVk~lx!I%s{7lHtVfz~$r4K1d6II{S%ur5ycC6;b3~qAYRi`7 zSP0n?k_VRmLCIo8&&C>S!6|{2Q_F!2D=!EbnVXIMEI($Os^$$pk^=Q#c57f&dmZQx zh4{KmGpo(ko*JH}f|HH<-N8<$dpE*T94`BBP;Xd_5s#!Zv|*xZdB*8wxRd^*b#V)~ zrO9kBG71mwD&|VyB>KliL9?xLEacieu7g_Bow4H;7ChfTi(``g(Tatf2Bm_j<+@L> zdIJkQ6!#vU7#U5kj-^+1pB_b1WQ#>M;vSqQpZ-{<_frWE{y4jIJ)JFLjK&@Xi6Psg z5n_~=A|q}A*0eJSMOdW1vmV_P6&c7nmdsnHod~z_zc{9zA8pHI7%%tQc>Ry&+nAr& z>|2BE99zt}Ft0;#)=|n%@vnV<-s0k|pjj*co@z?;+%3=DO)+*?yFU2{O&QoadhJrn z%g;N*PhOkAQ2n6eqcDX_!G|zB+r@#mYyq4aw<0f%J?*$D3%LphQ)0SgWEc|Nup z39+>b3qaXL*c`QiiHXRsrH|`_cgmU0BdMAn46|5dm>N7a)F}wKhqkyk&Y4LN%un)= zAvac!n;vq!9}SoL$0An4Z|EC$J${#se|}^;4mc+rL9pNLC3!)a>!r!-eAN^DX2S+0 zxfD#TLs6Dg=$WQ2BR)Q&%N zsqf7Szh3mU6%EPMBmz(SKS-ymi1>X)D0bshvNvLAFz+ z%%%M}&@hsFoi-96kk_5T;`+Ty)%!*~@B?r9>9+V3d)dwVI{rlDy<*)l-R&*n^OCy^ z-?hY!Pj)cUr(dR)&tuuA+9Kf6XBQxF)A)XWe+unwW*r_VYeZ9ve7RO&J&Kb#}=8ru1wlxM6+W}X|f2zr(2&DV)`TBVC!LC=j6^I zdN7g7*ezNOFQ77xWypGQ+JX`?F7r!a-`OZ8ywDW6i$&#{ebhP-u3pL2Z}P}oBiexb zHE|d*B^>({G=pMNhi^P*7?bFVfus!n+?NH+=cX5n8#;@{vwe*9BP6qdwIOSt@|O zMwt8JlTWQoijEB2=5yIHmp}eF`FJ3V$@Fk`^x4g;&A3TbYR`03kt2Q0-05FVDMVZ5wnnU~GZe+1 zUYFrB1ujrA!ssbeTV9`%>Rc0w(Fvp;3eI5uhBI+Yg&PPz+`ggk(5K6XcQQ)lk|jqI zOjGY8FnjC=j;GPxFQ4U#c$v@IxY6|xy-%=c&w#zk_dT##OUJLDRYJX7@iPP*QHU}~ zzF>>}!)$!&K$*=Fr_A_FA`MT;%(`xRf!mAH^pHxlS|*#zZUL#o50&V#5S?S$aVeHD z6B*T37QWL}Ahw=qXT;a%DJIbZ((py(t*a2V9ONTIS9FcLc$`iNr8TouwThIA9etExa{4fkcK9gIc=K~d=*ge^p(J9^aFc~3>H|}~WwZ*N z{)xk}Ct>{LnSCTOd{4c^^Z`fkK-tUO)|%)+peAlHjQlVyfYUJj0Vd`|4%gX(BQ<(s z{O9ll|JTlCgsg-TgBEavQlTC%e1t?`7(+ZA3Nk$0sjmJX>}0yvYx_ z9B^BgQPXz)!PxtYPEI2aiMoLjRv@xnT$qEx&lnkjYRGc{>e;Zn8u;(M7fp=v@uSI# z2rJ-riJ%zO7g{#6A5-<&U*vS_*!#j|tQ>^m&4hZdD@ zeecmOl)n{8)0HzS>zm&rW$1PH0?iKd%v;Wq)gi;PXZ@GqHqvbu1#0NDhtT*J?%8Os zwT^>Rrp$J$4ef6f2`xSBD{GOG-CB^bt$AEt4IZ_rlQt3~fJ&zu?&!2PBMr6};TX)V z&J6;R@%DV<;pcnrWGG=c+$mdV1!reP#+$7CPvhiu zP1O-rX#Td==bc9V(^}t;vao}z0xQ&=XB1kl+boyPgSb*UrDk)&C0sNcKI_1`tI{1@ zOA`BgO_sFs&l;rXUO*?j&dScZrcZ>b89?2Cq8{vLI-JSP_!;EJGs-L8;|##y7Z0sK z>mlT$L>AX^|8`~e;5XA^AF6#DPD@Gt^BQ%Ck;IZgLG--a))uxQ0MW?6EmbNPDAp5S zmvoy|tqkJtRG}hZlZxclz)>rS4oW z-a6zK##FaVV9U^#;XzrjSiW_s^avnW$Q?Z1l%a_FrNUXtHjFchD0jv=yNHweCmY>l zUyeR6v`qLMweopwS5JUA$;03B`KT3qS>TcP#Y|jx z{)jiSTBJ&R??muj2}R}h;a7(M@jqRE{~qYWon28|pX9;u+RK^gf}>6MZgSQ9IY zYaYVglqInyu9-%>5G28^uAD6Rs0(8@C`v@+1j>gJl4{bM40C-FY2p&B2^rm*&|L>q zyfP$P zqOTi0Gn$_$D7UDp7{M~u(f$W5Y;rI(QBynsh@2*9asbTC*u>1t)Igwrsm8{k-cm6G zgmBOHAR3zY-_`xYfam7Ur^zhOp3un6tbpTOTY&2705$mT>g*pFn1MCY)7yWM%`f|a z5m=o8(*ce!02f-=1jIq05Vg78z~j=}7qv5gzd#hQ7XdWd+BwgECBPvxfpG;!Lf8N} zg~^@rp0&k|gsJ@_su>~9j(+q=%lI?6IoIzQ7~4BKn6R|CnKro6?ic5Pbp+*308H|T z=lVg-f!<^>2<*&ZzY;Ntfj|Y8agN?fb%$4$#+T;+A>5fY0-^%gV(c(y*vJIH`?Q_> zBa&zY`r*tU&FZdl0iXPPXTbUf#va_-dmH@Ff!4p`t<9~it!&K958)aZfztx3`~g56 zG{wl-$vyq^qsMOrgsH_hTfK$Rh2xU*=e7Ir6S0AY{w4v0*n#{OoSI(&H2f1`ID=?@ zmyA7iPHj>~uBU~qX=wx7WZ@wC&XPkp0$}yxc5*M~vRhdgU0NQ#qcec6r=|V;tM^!s z7MTJ!xPeK9|DZmY3cZb*f;j{I3$8IcIXVIOzX0TA)^jf2K2+Se_VH)Y^iJEsbn#wW zUjvlbk@)WrDDQ2e2bLD*LnG`R?ZG^~e6=3-A_74}_kkE+fiM7N1Xv^dl>eB5W&DKi z((M8sfz6rvF5*G^zrUW|>UG#XFx5BLJN}Y?#eSM7p(n>9sFi*u-tY1m7-+NmlLKR8 z`v)WkVfIbW0PY!|g1P^?p^6I6=_xb(CQ_LgSwipqIIXoRf6VsL`EBz*>vakOzujs* zwAdAZ0+s#Fx4|)kH{NgJr~H}~|HeQ3lHcvB{@7vt?gk8HS6BVmEC25Q{p%A9WA*X7slk~8Ikx=h)g~qGZ{k6$r)hrsL=lKP#9_~gARZZ8 z|CDO{G*y28VWN(MRhVBveEL)cWT<0c{*Ar0X^f)X{R213F8Z?%)I&St*NW1}*uwhW zZBT`S4-f(e7jgqJWhZ2Kya(Xk&{bUkId=^Y3!H{wW1YRD1Yq~n1z6Go2hnTy1Ptyk zdDeO^{{+}a@&$hY!Vvxy&9Up<;73en3Xpj4&jr?3^uT`LJIVY7?f{q;^&_|iK=yA7 zxIeKyH~0Mt{Bi*k$9oB&{UP7jy$i>lPC>tHJT9%F9N*O;E;IXA*7x;DcZ8;XKzA{M z{yjz-KhV81XFu@A9@wI%`I~pc*1L2kd%x@s*MEdhY1dzRx9kSjzM*^OzgP8X>=HSC zl)u=4Iskr`Z)msfuMywK_oIJ$%X*((ncM(=B0o2qxt#IRt4P8)<% zABmx?nPg?v`bq|?6&_monwoVPFR=Sj6VPW5Tg2ApUPOvx$ZO5M-H*?|;ev}Pv--yi zjPgSOiQI+2RQrKz(Y@$h{G`X&?&ud#JYHsWC?Y`9UTeOQY+-?qD~$-DKc&D~@r@C3 zC(SSlmJ6J}q)#Xwq8m={B@D7K!uHG=eLM1Jwzp;skK}%c;$upM@A$$^sb7{h45K~L zUNve}OkA$|$wyZQhy%O&F)~Y@Q21oxM|7WPzH!1=CO9Uv?ufFhy^vz+NWOEl>~?P} zONWDH=&R1guhl?`u^Ec2p7v&DvB7RiL)}Xyh;@zv#Og|dwdwUbo00Nu7TBG|j38L5 zH|hVpKF*XbERte!5D@bpF`nE+w}fF>hpNzkSmL=c@7I-LD0rTyM(}q<} zT=U3Qpr=kq3Rx#!)5>*PNjj5a>WOr#SAREUd!E{uTFhqCh6i{BMj`thYCaE;9AUc7 z`r#Mgcz^gOFNn8SGWt0W{_8N7zHBk#TWlZ4+Yli+&M*w+Nw{MaPqNxCCClWx$(J6P zbAFCQVLWuYYrJ0aOw;PF$$DEg{WzU2%y*5xDeHswTn_O-DkS6xf*nCrRmKQ}k3Cx= ziw#zq*wPQgx0pcBfz~?@g78u)K)U_HI(M9gAy-S9l|bhIX-c`9EV(Dm+O`$&QC}~m z2LX%Z{Kv-yBU&&(Vdienvf%m5;Y6xAd&@>&*r=*0VYa%n9+s6MW#c{X813}mqLG_x zlHDlUbEIofHYyE2E8uVln>Da`FWL}FR)4?F^ow?J-8mc6qNe>zEcXuiNCEjyDilw#^FQ52?& zGH>0qypdLdVd13>6D~Gg*TNm#(}qdnWJ;4irA2=x%JGp51qpu9L3B6zmA0CHsXE9` z!2Wo$r39m9IlXda?-Ut`8H6syL}qbkCHgjg$fTVnLgC8Zu$yj@T_rwu)6Lbs!w;To zIW)crc_{g6E4BU=$&7y-MD{at?LnhCwD!s0ywpTvhNn)<0ZMXRn#n(`{aHA2%52=Y zob${aNs^36*Lo>{WydZsTF5J-Lr+*llj zVskh+DpV>`&ZA4y^vkTerj_>TzeNjS=UX!Rz zi!H+CFUHmQS?4Z1Gu_Tsz7+5d?#3Nw9e=VALB-E(l;)I38^?qmfBr$P{LPLX3G+0@ z&Er+LozX#Yc3xlm1Wgkyn9#29(HL8h<>{p+S*BHvDj#xG`~+!6)L+W?1?J=eSK8sT z!}5Nn#KGMRiaPia6%z$0R9;X@32F#5XLnG+q@V6rRD?D<0UXCXwId_cL}jBCy2fwh z`D|Lim>P?te|Lb!x5dF{&8ieu@ifw$G%xR0H=Kc04`?`qVIp|j^gr37+eQ1>dn}kk zY~Z%0CbU=8mEZED&8oel2^;#ozsDo1AQ^Owx_|ky(0gKLb)wwi>f9se>$PAzoQ%=C z)Ojw9{ikAfVMbn?OVF zYze)RU+nbRj-qZfsuE=h#8UmM@?eSD*^kmijHpfx+3!5%ZOC%m#1c_Hx$)Q3TP?Z? zn(9(t9bUL5TQdWa15!;2%ju?xUI0sg41@YCoKzWYVRTPO?L)G3az%VdXynUzo4lLX zip+KrYt>f7`_KJ`fG>k>yBb8r0)F;Q@UVOt!ZGN$xcM9@LX?HR5?wQDTuf=@C`cgD zG6Ch6g@bCKer8ci!&AKRj{9v<+4(-QB0BWq=qFw4iO-UJuLzT)_VJ7m|M*S9%Ux=5 z^{FsZc+f~lropie=M!rw@Kt0&hXh`fjRSiRh&DzuwY-}Q)={xqoSggR!Ek&YIf!T* z>T{U_ZDYr2j?uSHQPfqdropz`MU($arwWy#CI_!gS6&)NY7KJwXNNE4G3_QYc1^*y z?z1^vV!cP2#)KU0ro3~CvkGc@MEazLl4Qi>c$QVNWj-I~3ZF83l4pS%_IdK@(|1Qj z&dCd~OE)VeoqNCEnt?7}^US~sk`zT%dpBjaF&M#}&BI|3Q)BB3m)VImU%uURi=1{L zbzKqv`$V#h7OS1MO{OXkvgL}Kv&IE?c;I)mss4lGa)uzo0WbZ8bI5XMmGjI2{703e zH&$B`Q_s;K{W9tNRizpBY|-%{tOx}hyM z+>)tRRm+G%ole>5k6@SDry0_SbHYEL%9bKyvCfp}#Y4_8AwbTmgQ%*Q8(Dn@2gIwLD+BhFifqQ{s7?ESE8K#3ITYk_ zx9bC7^nYMSb?a>%Hk!P-(^XpLM|5ETmRhxy!`Fu0M16K6m^+o+EiOq)uCHjNv(n}eemV)~5(t4Shj0eO0!Fr!A)uvNwR>pk)J zvC*=3*%^IohYDBsCWYE>WWdc}O?SRB9tdrg0ijRmqqPVMf~A63R9jWTJkc~Z@-E@^ z?Id*|iCZvNft_+1#fX4p%AO_Ex=c;yIZckQ>5mykYdBc#=-r~J;mvi<}Ya(irdfyvR#XAb6+uBC(# ztZF+emWzE1Fzo}K!mq1uzE>z~y5AM)-6_;aXvo#SyowTp^K3o9$zEoRweAGiR}#rH zLGDC&I-YDItGCB^5gNZc`VkAd@5MM3D@}wq4A(%>&Ntt60DYlOe1QYZCz~Y=(sX-6 z7&>C&pvi$1{R5D=@NQWYXxI~BX7j0T9DbCps>diV%?STr)}SeKQhSLRpn7dM8=_5v z0fFmm{zaO~B`nZptuM*E5C#EB^XsZ>$WlgDS6o_JS6Qp%b0@I$`=LqIQE!Dsrq0dk z0St9WRW^n#$L~gPOtWFKJLqrxC%Gv5mw?b*OX=-){IQ0Kr*Otd|N>Z^cb} zl&6K3N3X6QK%Ctpbh%$=`=dTI1A^EdB*Vh^{Gqh^3x`P27k|n;iuE3$)ja0&gzLMR4z)Jlm^V|9mw@suiRG zk;r(xu{YY-Q+DB(l_>Jp@X0pbs4%ZPv1_y0F6RP3mdWZ|nu8`q2~&w^f5Vj5xO&E` z#0}b~*B&=Yl^TeEWNfq?`NVyd4~G$D$_(-Q;v_}x@^#%`h#aZ7;4!i;P((8@?$Exo z?%^vsc3?RKR;^8>u`s!*H_{O%ti~FtrVW)ZiP;U)l;V9vA=Ge4MMcJlb+0`oyo4RQ zzxZZD;#icDD@eXr!fY5THo?XbE0h;Pbf@gKKm`my=t}+hCi#nR5&HT82 z7oZ?(6}5j-+c*xvyQA4yWDu_5zg6Tjh#qe9cg3n*@nHY5dPbNAMZ%eiPY z!jr{%=gt3#^lX;Nd+Ex+x|MA|07rYnqgY1V>`+D5opSU zks&Sz3VQTLTrlwM4cz|J`ME-Y3EXx_-mG+lt5C`c&&Blb5lgs&d4_3W&1}+~+_;D4 zU=Ff^9*t;(eB=d!(gY2r(ksaD>Qq3$8qZqg#t?PIJtpC75Q56ZZNLYP zw?`O-;+F@8`a9WU*=-d&K8M|LGcU%n27(A(JG8rzbL%Juf>eo=3P)x=lCTLMNeDaB z$1{IAhjEWJqqMzuD7x(AvKgf%ZYbK)I_LZOZ1fri)9(qK`(`@LgSTNk`4EOuwE&K9{j6xCfNnRUQ>cOQ!yG;6fw)iBX#6-G!2s78^R{mCtC+fjptUoD8#~w)9``nDdkqNmx_d!CKIM=IYx!Cf}Mi>v<~vx8ULK%eDwC z)^)Outn{@~$Izs@HvYtTS#cp~IYD>n$J&1)*}x*v%M*E*^BAJvs0K9XgkNVumK^ z-A-I8L}6=y<@*WX-Qng_$V5M`=%`1|Kr-Pt<^dH*B(Ba#l+i=OF1^?SV@5Ox!pR{Y z{Cct}aAmh|uC~Ui$j=6h31%SLev`*F3d`IkCzwYX^)OAoQfDHYV77S0>e39(&ETiy zfhR|(wtPun1)!IZ$fz@g^xGs#>$QY*_r+@f^%|Ih4JW-(c$X?-;y}3V8a! zlCty<3UzJCLA{En$T$~b<)D4!%PjN2?0)(@fNPIf=^d)*fPzI(@YIc2*nR4(I4)VV zo7%GW$5^_avOj-TP_dukV-ruvRs*q*TesX=wfy}#MN|=;C+fPEm~zVEkZ$tc4ozpD zwk7iAFi@?cLxNQJb>SAq(7_o~kG~lj#4QIN1eu;*8v~j*>t4#mUV6-=DH7K(aVlpz2?GBu7hU&h8vsZX*YAu zL<^vZ7W}H z>bnzbcGWJ{g1A>&V+37We5ACI3ln!@zRPYp&3&dC%lYZRmE1hU0NWaz7Fs1~2n0bj zjzShBw+|7&2Gtz7mG0{mIQ})J(<_p2IgA(`mm_ZJ^puMu=Jg3si63bi?QD`;D3hH; zBFX#{;kOL+qA-L+6&eIJzKy?RV+&&cdfytTas`T`NDwRG=dpsH%V>TyAKx62Kd_}~ zMUNzYNjMc7I<3GH>aDUu%jiQ->3%`M`);CB^!oxW$&TW6e_>VN^b@p}^%%Xxa=$PD z#TG6zMm^v$b}k|WYA69dW3Hfw7zWI_ujM*r;SwSVXjY+!41A?N0$Ax)j>Wyj*t9p>y1MzcZ-UoJ6A>6a@3c?~dIN)?MZZ(d-=x;>m^f9zYM8O8AZm%0db>9kJB zJ%dr33;fad-{Gs*vapvN*;nGGZSs0Ltt@m&pnDY>pBQanlo2pq-f_Ou)sCnev5VKz zYS6GNZ5;+T43kJ;4v}){f&&F=2;^S#D>i5zOF&L1m#wnz6*JLrYQy~I>`0JSB*Zaf z%O(Jaio84{e&3i7dPbRykSUm5f(q$Ci-uh1tbTmp5+V4TZCan%+fX`6CzFX&x-VQ6 zg@UzDBb7ZeZM%@w_ooY#^^t3#~d2J8AyAX1`|=izCNSDH+%fh$n0{yP`y z+5q$7mKRxUn>SuA{?+{lR*ri~(h2P$K$U`bwmPR{qK?^!btFQppc` zJA}C1+N}8lyw&zYhEUwPMy-U`O?6He2#`hYmeDBZZ&EmxSR&Jd@SNHd1qmOdwY*>+zQ^b_t>Mr-aIvIC zeQou99@EQl8`YRVK3q44Ih=b3srZkYQHpTX_~ zkX!^Zq4%N<_`;u|I*p)l)Y{tGJDs--c%xFo@qOuuQ=SaJG4l`03~2$Iu|$?mJ#+X=1^^SgD{$# z{1hDzTqvf_F`7{EeUo+>0k6Q z$~-TMSq6`(9wTf$rn_$^<8o!q;W~z)+>>}(`EgGownR{&>ybTQl~XA{gi08MV(R;X;9Oay|<+d&j^9G)Gr{1#xd($@fA~j zrd~!z)c{*BbEXTg)L3!BBkY8FNFYGx4JgP%)ort2by}VueTLj3GRDb*adHO*n5R%> zYnMyNlysZY6Ld?C3Sz;siQbe{Pbc9_rftyhxUG~%b`C@EkSm~)8C3d43XZ9H-Nz^n`fTCI7Jlabo_U7PuI1WhKd7` zfml>T|JZ_@?`bhO6xq2ezHi7m2U^T+{QmJv`f15HMA2LcKc7i=%IYb^Yu5Or|JwiN zjo)ORehwgoow%L2j9a`1!1#D(jCp{iB1J6vjPCzTkqURcD`9zuZ2cd`&Y?#XU|XYY zyHDG;ZQHhO+qP}nwr$&e+O~1e|h1{ICW(_CXLYvpQegWQMz-f(hjQL`|oEJHL zLcAe;JAq1-W_cJr*U&5jt(Sy-T&UNmiqujNVn99Lh)AIUFWDYE30%Iuiwx@#X;PR2 zt9AurK0PV%D9?6r*dh`eW=kro&4Oi|$wC&=J)Bfhbz_GX7hTMYb*QRU&JMZKs;Os; zfFCTpV~V@UofO3&rGz&hpJ#Ox^b8MEgX;K2XFCX2?YJI`%}Sj&7NLOc^fmx1ON2{Q*|Wnt}&WL%DX9Bx7I@ijrqW6^7own1p6{K z=QVU3gwVMD0*t0OY0GPBymO-NH6u#_6+mZ5nEe7I1|4MZO#|{ush$f)!%XuYPlA#V zS&m?NfYe#rNjjiD{;`niqB>obltR#~C;XC{!l`}+I}Bl@Ln;Tid@hPVX-E8dh57KR z6YEj!Cn3Rw{n3pMMx1P#_AqgwXDLa6-xg&prtU}6Cfi}GX|H@C@`1_GtdvBWb#(M! zSeqfYFO{GzlGEIjuXy;?SJIeG_~@S0?o;;$?D9M++13#H)gDTP9{t{7mz1uF6JLl0 zA|qy{OY9hJfvu~_wFNuR^1@X75?qGGxINXfGMnp%8&{<#LZ(>-_4_QsF5$^q6T2N* z==`TfMb&+oI$}yK0EC4QBDhV%ln)vqQ!*E_2hwt$zCHGoGxnPzS_LqLcUXCPs9BoL z5Db7>B}norW3A-Cy;>m44Uj)3#pg={#JHw>u^T=={hNBzgYhv49;KtJSbTh|4qj(7 z*sHQhEM|u)D7SVcDQ-RLBSog;;<+=oXz)A3!C zOg_Md%a!T=Y@@KQ06-6?nFaGT5Cj2w@e4~o@KG0&K-m1??{Q>`6p|7(=S;(9re*-S zC4`>Ws|b4(>6AtNJI z9HSF=+mIFsjVJBmEc(~ zrO==lrX1QMSa|0|Fjd0$;YrfNiU1id77QQ!Lm$Mv5gg<0qxh-Iz38~esB-HYzv>b> zYFQ9nP^U0gU*)Aqq46*%w@65A@?*#_>?EtM+Q>KKIWFHTbphBYa_}6aR)AYsgWlLu z{-10n91GFkD~lE*0x!>BoIKUM{#OI0RR%{+($2%L$CYcqEo?o=S`9n3C)t z_hG@h61Mk8HoS_<<`^}RK>R1*b&c&=7I;^1Y{!KU$GqnC>mWiSN=p&r#C6F$T}%0I z^bIG2(5*)5e}KW@uLE`Y1f5F$wKc?6q^~;8GW-67@c&Z!+6$7=x!uE*(6x4OCPix{F zdhi!3_L(e{o6lrG3X@G-w9{MINtT)KlgP|qyTcBgbc2OVydtk&TU6EdTyJ&wI_duD zr4(A8X>9fFLpZOUW_z|J9(>t^DsYUExE_z!Z@y%&dnzb=PR1+W5fRDr8G))!-BPA&n#+2V`n^#hjJkE4%Iv|6&S%Q-3k^vR z(s~`e+lOQ{p>XOTGv?y2RtZjVhpc0-h32G8(52z9#S=vaUDO0Rr63ZUK?LBa8~n3( zt5PriB-ieBa!vVd4z6^t!J~|Pw+*Gi(gjw0YNlq^-t!!8a5I~z+`o(aX>KKXD5;#V zH&kIqOOsa2)u%vug4~}-LXtCeHtTi6c_)r1W?oT+k{O6q6?u-a^0NcEx~d=1Ej>%Z zmdd4Y=1N;^PtHlpligQQP+C>&01Na<2F~H75N8o)Njs53D`UO^Tnu|7WgX6)byY!q z$B)ZsYVT}=lQ?@v;~%L8449L=On~(z*tAjWOvam zD!Pc3FMv;C^876%#HI&VPFC12Q;wEwg7~?e(NPlY@woba5$gCNghQl)$)gN_w1^q6 zIV(S6bw{6Cz+o#wsqsORE~>f|>=p2?MaT~PcTN#TriA2q3(7Np4-)Qh@&U>_z%=|6 zn#ToO?Gv+kvYt41xeM>r^o;%WAH~(F!B5SB9c-q4S}`xBX-yVUtMdg5Fs>0Rj0oMa zg%r>>aH)3GGg5Z;-E`DUK>qrFCDp_!7)7%*V%-gfacPvT=*tNE5>~FOCPcEE&UWJ$ zSV#Xen7+3t8r!zmJ);IJlNBD)P`dEUQkcT)E~?_qL0QhO8Aj-ib~zHZ!*hGOu0{B$ ztBk%STKJJ0XQ3!T+D9Drb)sOm3d)IcM;ectM5QP3Rlb?X=NNkNSQgX@R6ZL!?>g)U zH094g6S(ar(NxkH&l+^H-!`n$&&(Qk)6hyJj zN$x+6&q#OUw1to>ve-R=HvH1F zyp6@VOL!&PghThbfmdxGS2-@$VdF;9PeZ^i7ks~9k$95@YpZ~jd_iCw+iV~C!jOIb z38*yJjQpx-C83B6bPW`EUP!^=KE8l?IJDC}FmHxLP^!a7 zMF?kfg%JeuH+|2(0?B);*c;;qf1a6F+uv;5yQA|3M6Tk`*a7B?8n&Rl+Ei@@+z%|c zMo|#INx2dBJsm)QI9995l16&~3u87$t~nm^Y=aa$^mnEi7iPk(&*rx1S&TOL$s~t! zc}+w%``9*NL_m0lL(5fDH{O*1LFjhnF@ulon-8eOyIMTUjGT_lYvx0D6(N{tC3+aB zVh?iCs)b~%ipf&;JlY>5D7|@V;*nosGZBY_Tz0TZOLOU(OxTBXm{=rBBU}WWlHnF5 zvm%N$vD4NMFkY`=O|-j$M&!q&2lhgg)S$0E*)5?J`I+GJ-J#(9c^5+7P)FD zqs1t2Edn`fEDV<%)ZbW?vlm7hF4xQP#y@Fn1dcf`iA1)SZdq9m8Oys{8Gz?efz}!p zGeuMEYniZFn6>ey@W@f3tH@<{y?9rCDR>m6*vOWoyc4>u<-k2R_&vx~bm`cj^^;GZ zU_Mn`PoNey;pUJpDq|-faZE63iZnzsr-PRGn8g4)_1#BWzPS#~Jw!5P(xb{b+9bvQ z3|RPQ`n6HwC19h)q`5*MW2VdFaR^ARU1P2bHm&CLpfp@2 z^3pwj1EpG}oD^HQXkmysH6X2nTxf_G8Z;xTZc@`?v-tZ)1n2k{=$Idi8P>Xqn>PnY zkV&+8uAX%fbi*w8C6q~V9}lsIho?GKlA2UQ!nFD#LCaWaC zQvQS;RIBCS#av=Z_T=1$)#0IihC=85gclA-6*FPXh-$Lc#9?vSQQ-bk|2>S73+w== zKicF%Jg5GN-D1QF!3IwKSPY`gMVfv~cy9tHoZ>0{)9uFQ+IXYOUcJg)<2| zC+oux(#S0nRA_%P)DthgA1c#CVEeNXDTe~;c_3dQ!BelNLQ1`5C+0N^7TVdCsN4kp z-uri*Y1V6MMb(Rb!aJ&n%)N~6#?p^VgJFlmzd&ox1Nx2;BIhD!fU8KVs>i+-`r`IS z7eGaHTym4Ov%p_DJ&E)RX)0 zansL-{*cAhDH3lSLav_b{4RcB!1ONZjW~1*mlDVZC^-i^GO1^$SSQanKt8SXe+7>U z*9^Q0E(b{;FLQDpnFcG2g6kJph3D35#A~bUc%P!FT?kz7e1nEH*vN{UuMQR$30~e7 zyANW*L9XqBa(;{!%6QJ_@OER}XY7tKqUMbaqAjd?ck5*`mY=tRa|g_s*88u1isAsJ zNe{haua8J!mN)9=t(!0P8(#0Hc7N0oJ?X-vYp-@%C4w1k3M$%_re+PF8l}q+&m4kM zR^As?52gEktdH{H-b-Va=vLL+N6;|mIqL-7!uYl~a1MoZq9NSGn8_AoI!f_Xa?_^1C{lj=LX1ck0w{GKUF6huQa80JR;u~o!G*+#YXKyQ8 zsHnB$7#kRrOu>QF5u)4@=s2;4+3AqsWq}NKys6V)A%nw;AnI^Q+Y${u(V$1kTi?CL z*|?jv>Q*o{PacUcuT(IWkIrf3fSQwZJ&^KOB=G?ysQbR*~)`p+J~M&R|KI= zSckj9dfr-oCv4ambgNHI`toww2fTV1Z%j5 z#T-zmr9E(*7IPT6HzJm=XgH*sC>5mElH#ITBp#G#Y1w0%yS&{ua-n_ZD>t7Q*+ALV zvD%v5J-OiikxF9*2bJv(cYzP*l=~tQ2oQRcya;IRdZ9&@ zGg57iEWDhyq|>S9xS1*lSZk;I{b7 zkgu0%&v2c`Hqt!fYnbs-e7N(7_e)8+GZ2YmJ80Nr!9COV4X>oN~8%*;R8DeR!J z@p4E%&cJV?5o0exx^b+&egK5Z*fH8ub| z#5P<$tSe|&dr%FaUown*n?2C44kj8Y5&s(8;YXSvxGC^!y*(gsE=Vi_75(z_#0ab< ztScb53HTX#1rT%gz7zFswzF18FV=sh$VD= z0DB-H=0l~ny&OAuKak~jSV2e;)z!q_;11BCxxu^f9hnQXe|Ix#|6#>o-=$NFV*vY* zPKP!@tlu)k7t!<*!<0aciN36?KKVAvBfM`T0$TmbQim7duWc>xpA*36ceH=G_ZpiY z@}bQcjB@ahZU0qcG_zI5JN)Ej+(?Gf0k(?_`xKO$*dTz{5fD7bo%Ey4Ws--sV# zu&u9ZeVi13-A)P|L9EP|(9GrgRZY(CMv2$$^*UA>Ylt6tq z3w~#*z*_<}ejBXueF6PLqM}03PL%5M5cvATPA#Zv26Fx2m;lB>Lk9A+0pwUd0Il_D z)BTuLa*2CI%RiTkNAL!tLJM`kU$MlFT=pzxk z=`BJbCvx=}&B9}$+hKVmy70`=$5Vb-KhozPyw>kL$wDO&Y?R*%wKVFOIN*}N_iehZ zya4+sSlqBMo`r5{CE>7K#eHB;%QPi9c6Vyz$!e&=A6?dd|4iCJ<66ILZV&JU)hbvZv>Cmhu$C z3#o$73xr&GnhbC$T8qcgxD8JoXl^TTuR*;t_CkCy%9PSZCYLhTR)or8i2(G@2%2*QceHRUReM=Q7W6!6WZDctQ7`v82A;@5^e(A ztH#bz--+7{*yn>t!4&Gi$0?l$QG*3_{if1+7ImDHZ6cdw#Mq;iE5^Y0ZfO;k0?)Cu zcu`{LJWBczf@B(huY_Ceiz0mH$!Cgml1Ogv*+KsM(FM5aLLrS@lNE_)eiPM zJ<}bs6E=-x;QUGcoixPn(kTROXCq_1`Ncy_*G{zwUlde=Cu1duv;F?!{4ozoZB z>X;g*o&Y)Gh2l;j{{Rs&-U+LLKKgbRvt6nFyw5FWcTLzs-CvcriOGE)xrF@aqAeeh z8U1TA?&uL!hi1l0%mJWE$qkt8e6W{Xg3-VEHr4YlQ6|Mnb>&XkWT6%bdjuXXi#wE0 zQh0??n2=`EJ(Sw#;agf~8ah6|x{Z;O<7rtmtZs2CSx(COXYfc%+l6Z$Ax1~sG}@3c zpG{p;*hn`Aw??pG)F_}FEi9&^B;zsyFOj|%x`vvNdz`1PNXd7;k(vHM-pKv2PU1#>XlVPr;%z8?NgM9oIED>1NTidA9Xz-`CHq7mtw~4NY#i&mOJRApup2g~1 zuO={X{G?2y_1woUXrL%9c+_yT9TEB(QaoqarJsq-$FxpuNDEBEh2vbk@cRh#X8CBBSW+eCX178`x4 zAe)KXI_1kc!lR^oeEwoAFIhw`Bdm^_At57LY)m0#(AyxZ(@9h73y zVFs=HPxsz?=VC-ICqyktnyolcF4Qyo=jS5=gHF^BL1B$nG7X zoNv8t2}(h$y}IkUR~No+B({OoAp#UnF3#Q-L>Ulu&YnZ)A|crQJ;V}TqH}A+mb^V> zI8Xh)OuGP+MbYbIlqSy+r;JEML+NW1zS;E6O0HfcjtywlVa;9x3jEH3j7GEl4|^Oj z@+M(U>ig%(O%v$8Df+dpFg6G2)WPJ~&|}w%c^p>baOypR|fqX}P6+oXsSj?A8)yagoS{>$k?kh8hJUf$vvbHW% zEy`uUzdsa&zR>R1gZwR^$XP+E%t4@HSxertSnm#d9{hC#08*K!$<)eL_>gUw5S|D? zX9%~x+qN`2z?r4eT78}oG54E>=zaVfU9}nv30$i*PEqXnrix`2kT1CA=CQNZQbUD%5En$08co^T;AzdlkDc#bu zW;X=hnuNANlohzwr&sbB8ErQ?X-@X&f~q?C;*laaV@`Gam`2WyLW~7Nt}6bQt~Rgt z!@?*NT8ftmw1fGr?YO6e4rgc*%o?f4SM4+o5wyQM6lLK6!=Sg?E zQoa4F zH3zvp+*!|^Dl;UlDYo0L<60~$UXgCJHih*SXZ6hN4i9YBF8O8;y^z?(?wQgu{aW;% zV_Yer!VtqvW*rrI+71*$38~sGa`slzD?%DhF4FUnAd#I8?=$;w8=7073?01huFGn9BAf`{3FZ04V<1}R@_2z>ErMC{o za{cSdRB+TOrV(-gM)qrNhL;)mK)Z1qe+>?;Aj;=#tCfxZei?U{(tfTK;Vrg=4Fwh= zwr#%Pd1*|wWKs}kSQ{R@qT>3mV<@}>7Ky3y5+q&I94*jQ`}6$!M^edM+R2KQ%e7+K zzAB8UElT8bkwEQCYr0;lpiifV1tV_)cIL1x_@Fv@v~xNR@Hsb#kYezhSbs#0WOquK3!_aQKKPPLpxehRoIv$(3Se=cu0&}FvIr$%Se_!GuHO>;BMxu-~rPa8!BUyFT-9!?C#opSQp{j{!` zZ3G^h(}FsaX@_zyd+<3Ei*~>4`XOC7SM6l+22SJ0$4)gfChI^9S)mq*_3yZRN#`df zd~qeTk`jJEhJ?y8Q^QY$x6IS-4c6Ml7EGw_rgbKJHN3wZcBEM(D4XxxGQ{dW)=ZoA z`QA;efEA)s+vyU*a2101Vn;Ffw8~S|pHJRyfgj;2WT|QN-m2=6%gTawt5dhu_pLxj zLH@dA6&21K2>Kya9QpL^8VU;?%m+8KGiOIN%78U-IR~jA_$WZd5Pg_*iLa&rLxn{Kk6LaQh znRneKSKD-M@2DV4P6RjTXPC0`gt6IjTV^?;g^0#f^h3san{qkW=&kN7&eWp(@+P)) z6zb?9zs5w;t$c(=bW=FGCH61AU%43HZXtnwnXA2`z5H0{Az@FlG+0-#28tEtJ(05bjAdR-+acMJZTCvCZ3>W!6ksbZ+HmoYcz~|yD zcrs~v)W^T53=CL)IsTn5!+*@MYj`=eD)v$l=B~~w1|}80VO(_O!vM3_cysCrCJBBi z2?^HsYUd_W17%+^5kf@l;M8LdtuNUjAt_Qsa$40iOJLPH)a7W8l4RTLzfZ7&~P=<`^qbpl>Uiski8nd=Rt$C;xizC?@LaV@ZS zcx6JSwk^7d;sVg;)7J?*5HZP|%+O;^VY#NI>KH?|R=|bA1zq2-YF=sRYCW0sJoVR> z`%sX=#r)Ug-R1Vp#YxyILR?(%Gt1W5-w|R;8Z?%kaWI&&O|pXyN3oNSpb+O+9ky4( zbhHt+VzMh_vovx^jO?|$zp;ltP6cGx6@`{z{GRvo2+Mdp}Ye3**T2M8anOEE)b zC4J`x1D6N@Iy@C64g-aZ-kK0e`fCQF{#=k1;q;BK9(qc~mjvMar67(K{yV;cFLuG) z14olhN}a>!`Rj=)@Vdo4eZ67X6GuG7uD=<%!>AQK(ioGbS#}s}(M3D=HM>p2VjX{c4JJ~g#+{|E6v@bX;B{~st^J7G*Ora9BjXl4Q!f5ls34VOa+pQI>7g_J@l`;W+Uj|zCtjFfp*KO-X<d3AZ0-CAZ#p#{O_UU%l!aS}%?t3IV#WQb0_ zi(rhdMQ1X)<@VO};7Q9Qc$IQ9YW$@TSOVwC`?<`X}?<{757F$T{Lkg&V1uo$xq`X)M2yb z9CR$_iPfRj9D`D}m?~Q0B=HI(Ca*FRkd}+K&sE!Ca-EfDtiu?w)oosp&wmSbGN5Gk3( z^Fk}YO3dR7>XBEG#t_8{Nla2<;GXUziY8>WvQB3BI6ep%L(l*#muZF>CS9ch>4XC# zoCWTscyU49LaCrg=b<4epcp8eL~HOo-aH%Ki<11%6vMSH6!uESX4@65qDOCDYJDat!Hhr0d< zR~+|zIPRm}a?S4Px?PnkT)e{_0e^tCNIsMVuZzF;oQQG=##OnI(H>~u$#^;p@@S@n z!DlYXNs=Qdu}Ij-g36jVRw69WYAO&B>=W8mz~W=MH=VMOg5|74$$#<`X*?J2!p@>D z;_=@TEzhVTMnbQ6CS3J97ccs0sKI;t=pRG?4ni{$+SS;YiIhrRq%BA*m84e0=pNqk zc}fRBjcoiq0h|(~+~6?7XJP$rUTXP{9kBBawmE*4)GNuFI>6iE`gh&2;~;?aOQ5a* z`@C0>l&;d)kzIUCcb2dhv(!ilo|-w+0ux)dL8e;MgsCpATkFF=SEC#QlOl)&c{|g^ zbF`9^imWSqt?BDITu{sm8&DK*tv=da)$|KdM-98(-pdzjpObmTZ(&aa*<}NQE-jg& za;Z6ijHdUC{lPk8>JUHUUw^GHtio#JCs2?jGmcE{a+2Xd?tQ+;skq25Z|*5G zk0*-<8JhVSK-$Il0n*DUU(XA|)m9l>XE_=I|=upbp3YW?D)qM&1!rf5mS!f`sBk{TE9Z} zZqjZ2g_d#}Nh*hKj!@wIRVS%5jvW{qX~IeS3=-^B`XTzo?RSX-jk|QGtBQDqYA~LS^BsV#Y46*kN-fcN=EZkJr z4f&UCvQGBI)5b&YG=T-OQ*2JjAC8w(vYbGT3`O=nyE2W~&aYj5>$+GU1KanVj1NSU zeqP42V6|VdG**hqn&I~#ZMayIaM;;;hN?IZtDss~2E*UT-(xORv1IC}`05A<_j##9 zp^46(fwUaG5l85STWn1`Ti$u(iV~DQbtETH@y^m1zp$X)s7z)uiu-iw4A`C>{DB#= zQ{l=w>?CH~-~RfXDKwsS?E~KK_ejTUN?Cq$Uh->@>fv)zx{?biX^oXs)?7*j{f^}% z53N9=WTZ@|<@%~8TfW_+0J1Ou4ivw-DUCi*z7JXNukse46P$DA8aCPAt<#Tp@A4_Y z5z{ym+|125|GGkp>>t}kT_Yfhqv{*tMLc-NBXzfm_)9)ZqT0W6le#ZN3#LNe_Hxjw zyuL{v9JNG&lZzthdl(fZkN;v6V3#np{kB(2{vqLKhR^EQ)!OU|4LL38>^qaE+J$Ao`= zFL@w&s;UY>;KvNxjACUv6n`!%IV@W}wM_v|`#Hia>t;K*xAOD{%_67nZ-Zf=sv#XB z1tY97&HG7ebYazVF`=I{KBol({tO^8zF4ip1yEbQ*d8qe&ZQP-3DvRL7qrqAn(Huc za2Tw;)cs)x%z~>;v_;P7{0kqNSf?1PFRrm~9`U~PHm=F0cY|;Z*2=3p22jZy0WoZW z*<)HQH&Bu(;tiu6Up_hWL&rnq(mmad_xe|gSDgbyQ0eB-@nIS)Nq36eSMyP4$m)u- zoFcf*lfjoNMO1lUX)RYhMMyvyqhr*r=bKbOu&V?^oO|26_E~pGkX68G+9C}>WqE5A z1TCez;Jh%|4-zR|fCjKMN-kW;IMu%+^6xe^M1+E414E=V11r-&l_H7P8T1S%4ZWpI z4Y;n_bDhFG-8S`it8(P7TDew|KWI|HF`K9Z4MW zmCnx>*P9j?0-LsX>b_AMqYU5e0w{c0K`PflK>C$OyLz>*uk;~DU6L|lY%%aH2ipqF z4ge)KQ=zNofy*wvRCs)*m~Vww?L&>dPE=Vd5M>-Or{pS;|C*uUFb|l5Ern+XdQMoS zPVnANN(g$ufWg{wpc)qcR?R+}9p!svmdDcQd1XZ8Gf!bct2ha^RAmA$)6om!&|>w{SGl7c35h2$k&YNQs?93VYV}V20Ycx&~ z8LbrOuFl5vm^V;_STTQ|4l38lkW31P^XW84nii9+fFr!vY`A@Tk&L_R+crMfmR?xU>@Ayi)?0>5z?*1Pb?W4fRPis+#bGBSk&Ne&D|^9Vmmg|DVmKVaGD%t z(TUpHx6wU_(C@{QQ|MTO;<%SFOO$)@zjz60b17D@s15@4jj%tA2Y*Sh<%L)n9;v9$ zwPx^a0%yKjt2{pFXOpfLawv0Kw_;gHuyj6|g50CLTfk~!iT5ypllP6$nFwKP zxI;umNaeL1c;>@n>mkz;2Fu4lak6{Lvezw~elaWA8|CymYJ*igZ*;!93l4g;KM#*J zXZg@X^f5N1-a;-z`m1c*v3Io@YVs`~KMeNSb%`=?>CvnfX6Xjns+gN#zr7o5h||pV z82qkQ12^?exR%X=)OJs<*lj0)9C!_sirzGEnV2UL-jR)52a(v^$wJ-}pNIfuXrZ3z za!W4y1m=)gp;S2(yw}6S8JFh^W55X`CGVp~hjNR)#xhrzXz_bT5tf*5+Y>bi?}Z*z z?Zhz$ArgU?E+9bGqZ>E;r;ZpKe8nr3rbPo`ljI*DXz;LeAy;YI3wrek&DMmr8}*_( z7BOV zJpOacakeG7LGBH!@N$tY#0|;DKaK1UE|{hU~S~w%D-4$J#x7RKlFhysq{88%-}V5IFHweS~o|{If2HYi&moo$poK5;(Iq zI&nYON)&kwZ(fNdBN>Lx{R>GULA}IjO$kp}%>eo2?Y1u91y6n5jo;W?Occ3={T#Bk30e3o9&p za=xDo>+4Hc55D&y*mUr)O;Ra;E2q=+Vzf3}2FxplzP+H>EH7HEl<`}jJ;j)J;!2ys z1DgcM>nuHr+e#l5^L0avZC>jFl{2mk^?uK^2>bUjZ1{_Cb&X}Y36IogDvAT~ry`efh5L(Dj30x&>DGx7Yp3F?;bmhums`mqAJk6uRg283@LOL{{$4?S zDb~dtW}>z;hHuAG5IL)OMuucoI|uW|7tBPFGzJIAaEV;T$b{JU#!$c9Cs{04$HPV^ zU&uems-zR+UHxgbtMKDq!)nUOZMq{_Z&^w!3T4YY7d`qi&A%CXN3iuy5S{yT$W3*i z+f2WZ=qgten3k>al+WEyMBVV#Annud;qPX2t(-LeH#SBcD+_cn-ecOkkzd>lV4|GN(K?TH<%uAIUz$(+J ziqw&_WQvKU9u90Pw*UbjBWe0x0v5;{=T%qhu)Z{Mz~>x%T5|ZXCXZ9;pbrtKHbBe_ z?1kOGeHZX9Q#piYP=p6y(*(X9XYVk(Et8q&_c|D=PK@%Jg>tgN&ld2P@=~?pilD8s zk5?a>u`u|HMwuc;!&{G*Gg~0t_q@M%i7uhG6`K?w1KY$OWMk4pGiL}MA78M?{C~^n zS-R2a+7*Sum$&X*AMI5|?g3^AAg#6Pk&21Xgm72`wR=+f7a7NPgiIr1(jsq zbcP3?J{es5X&!Bd;Sq&b+pT1k$4t*Fk^$5K@87BT@VXgTcXQcV6yE0OB|6eu5DQYy z63g;L@KVS_Qs42`O^0)x5+`SRwZ}&~qKyL~2wNB1beA0rk1E~&0j;9%E2gCgneJks+` z(LNOv9vR*vU1^85yK?5A8$*EK{$d5*8?C05x~buDnN$}lO(m>FC|f`dj)PVR3Srr| zYnvKF!!y!J)h0|pVd=P*PoEj#qTquOg$S6TkZ|XCZ<|g9->#WL$mIk-n^{=574p;; zP8|%wR#r-iQ`epS!>fc(Zz2vm&Q4fb5AM{{TomoOy>!DNZSL1Np&4B*{L#?JNUyH) zd~qSSj8T)`U_+X9Hcz!{d%R-n(NDRxYQsq!UOS%}uy3HZKEmQg@t+6SaCAzmfh#zs z;GQ~4kR+J?uN@#cV;CZJe+^r`cTj!vU$d>yDm*3bZyOD)m~mQfKKzv*Bq%--dM)a@ z{GSd{N124E6*I25Kd|dg>Sn{>jDYARGwHZZLyiZ@%I6GXK=_-XzpGX(6Ds>KOHYKn|bBd}^k zGRocEu%gO)*iN3eWsDAT$eywaxq$;=hN)SyQJ`jhGRx7EmaSts!-pkyPC0Ti=Agoz zEabb4tAXUWdEQL&^;}7ThweLMQpJL3W%`^@F}+Jds5 zAg9lA1ROv+nI{#=W(Vax~DhGlItLU>hWm^9h0Rp(1Z zZhVK&46FA&wFz{u@{(f~&q~vST2#2NQ6eb`^6v5-WfEs!Fp~9Xe2CMVN9-y(e*h6Y z!h))OHuUY>#1*VG>n5=47RP~njb=Z_il*0@)dC&fkY(OT;?o4s8)uAsKS9M%@8w39 zB5%vN2E0IPTqZS60c-bLI6b42s4`qwYu!jK#HKYh4ru<>+>xFutDEK@qH(qxiJ3*5 z@>764Mu)6_Glrz{DUfo`gDg3szOe#iTRUeFPBgiOtIfMC!7e0G1@$X;b@n50p*DrT zPHig6-vtZ3egpxD?VgQq$ID)H96pfl$tugI-{zUIJsRIWfi6LcrNPd-!9!*dA)%hG zwrb{MI-)SZjZv9>qwO#iOI9rUz`knQSEuo5q949|7*S&u&(!A`5k;wZtNy%dt@o=L zWn5xjG26+;i00IpeUWN7#I{iNa3XcUCQ?~%{N1nOc?o{o2AF2h*1d}+uUj5zkw+1{ z_>CITdgnx#9GJBxfInL0`ls~{w`BOrq5Br+CI-MP7s$2C>^}RevgoOHJZa~CfU~_Q z-?%(bSY0J?4{NNrg3QMx)mwIq6purns%L%Mhp?s&rU_4OW1%3y>z03-hWl4Dyv82w z3**@U1ViV+L(tXbT-XvZvxWl^^t}9WN0H~1>MokKb8eq^EWl92IFB&0o{MPZ<_QG@ z3+y3NyVjRE%sW^*4;g$juAJbL^58MJV?xekmxRdUQ_Ls9n~*|Qc6@S@tb+j(1qMt*wX?A?ueG4*3W9q0!qmNQ!r zGL;zy!f^$U>9Vomo_y6N>&{r_>OIxiK=Zh?EF{lOi-}&YCEJB~B=AH|?d`Bah)(B%( z-x^3-k4~y}N?hgL6Bk-{M!Q!#Ro$}FOvQ#e$&flIdm+ozLLOl&IgD@4bN5x>;+v~O zPSV)Ks(8deZs?`(@wh(qjo@xtHrSa!_4s(Lnp&gKGXeMe@FvRYTIog~TSRDO%}D{Jb?GABxt;UJ#q=l2 z`PWx7HMJSI2t^O`y0l@fziN+`iu2DNEfh*aME-WL#4tP;?epK7pEs6I2=Tok?dmC9 z(~f*|*|bh58zX8(sdQw;RM%|<^;H_}jDphc2qU>x8yMbyw;z&BSG)oPxw5}!vqz4ym)GQ*#H>jtqp>*DZEiQI+WXQ+e5!~s z?3}e$2D{Twxas)&?g1k?LYD9dDdd=6N52i;5jaLnNu+SI%9bd)%-^e(yU_O2PQU&G zHP@RM-1oXRAm6sWO38`_7+72kx5W_w@$Du#rKWCWjLgv2x=qsBeG0**r_EK3=*WYa zuMCZD>9;Hib(5UlJ=EWidM46F8tRg0L6q@s0eAYYxQM^z%U^p&-8vS`&mWTPl$0Zu za}ms=@;n$NzI<3n7Wbl39d>ASMdz zNqU7Dsn12?YNn))342=T4<`zH6|`d~t7@>`R_9{9mKrI+;~ zZILJMj_@b(mM4!?3W(vKKwmwZ5^&gZxt}R6yw&fSXk04k-gU?X=Az~;bXMe|u7K^G z9ddTc_mL}}EX$2O@YP3rnTguQ1vb;aPpv{blLv2V#nue}*zTXP@NJl1oC}4LZ|kHh zlAdl_P0&u>4@}$(^#gL-4DtD^Uc-%0XBHy{3|OiPSOjuY4<>Ht2OE8-647h^vO|>f zEl${04#K(ZJkgjv!cd9bfV9ZZIA49ckR99JQ|ZZX*Cerri(I%KqK^1t=H_*k)3t4j zt}@TmRY8tzi~RAVCy_E0^CPP5GORA^ZKAG5;@Zz$j~rRS_fAGBbmQ~tcC=6K6m}(+ zuqiAKE^2hKR^+JXthaAhfs`nBoG?WiJNsxr7=M#Bz)2ecp}3#R>Jz8=pvu_pM3e1% z+fSo+%ia`K^e))~Wtn1^G72AJm{=#}R-GcFdu^h;_lh{Mp!lt;;Eh=S3 z0Y>LUYAA^InyYePHJ|g2{2R2p&!6At@^glKqpg}as)}px93&*y_ZMVAIMy!mGrVnx z8R&!hW-fc83O~lbe~qm}>(JO{Knj(4N>WvBvXjvjUYh-z@Nr>i*n8hzC)QSvj;eL; z<7wRo^@p(SsFyabYSef%fptA9%`d@oLc%4DE*rH{mnTEh*Fm(T{Owuu=u^&P^qKqo z^3JbtpSL7cbR!1PzA+6KMsLP1o%cNw3^}+3OR|rS1_6fYeukQa891yXEdxMDUN@mR;Q<)+IC=r$N* zmbX$gdm|Z)1%$Z^zPd5TkjMG<#GaWdfZl+uZ#q7M>3oVs^vAJYwUv(0X=BrXwd7t@ zY)EVsC!S{^Hr!CYaupiVKyDM>Z^xnVn6Fd!7gdx> z!3elk=~Rm1Ts$u`J>#;s{F@SeG*7{tGQ0;{?JU-CrqeBE#m!>j%}+?qP_=Y)#kKj^ zD#a;4+7+MH_I$?eeDRZvXR6YGVcq0|F7GMF$NATA=z(5~UunjgCQ$!^s@5{nE&!$> zQo80p5}4Yp+ir?{bQaVj!>z6LZe&fvEZ=c(-Fi1=G-MVdzimtA(ud}uh2!?<4Oq-+J0qbmUS?DJz3!3`{{ zvuktndx?O8dj`;C*9M^G4oHcPPsxf81??Xl9Q?p93}(jP>xtwZ$I0&pNpP(P@9bBO z;^y$;45q2k*`0lx(+7yfqzy<(OUv4icL*rQoyRmWGlExOaBKnE=*h7#GlEudW&j4% z?fIq#jSWbtsv^c`ZVC?vPm0WeP6}=+L7)ZxEx%y}ssP#vkh2|l9I#6Zj3Rp(;NLO| zA`hw12GsF+rr=!f@WkK<2DAgyO2C}|n-3Y0)x$ZDdF#d{AS;HKe+be1lSK1F9te2* z_Xt2EL*qy8Mg8$cgy4feNOpP}=MqQuvPa-K6#zPc79pR6a_;c_Y!ZN>f&E98rNPzF zBbwcj9dJD}y%+JDVjF~jvJ!~F^WwJdTW303Fs_zPhK^u!mzU{B?!j#a>G}8o&dp80 zTOIv%_o)Y*6L@CldOP~9Zmgxj{kHz)4ZaazJxlx3ZfI*JQF93I@DME7^9TK82IMDx z2I&-P&&1Gh-_RTwAO}D|o|*c17rfk?6X?gG@tdvhY47CUFI7&xhc)micq2gXSN}(Q zdOI*+?W~;uf1W@0H}*hNBha*(y6|U@ib}D*IalkcOZC z_qX|NDT6b(w|1TXsXq^6Q&?PKdm+%5KJCvH3bOMp$SZ>r0LJ>-I$-wY766?dUBIrt zxgs0jm+D9#k?AEZ4nVg*+J~F;59QhyJ?Q)=D_(QJ&uq!*ZK*avz%hQtMUz8gdXI0z zH-Ge3e8LZZ?9c4If6CjB8p)ZN^+$N#vHalAn7t8rO1dQ8^LD*Q*iY8 zn;9Sj6H~)C{M}85jP-6?_%wFO|8TL)%=+h17}_5je0z_tadZHX&CZhP-O|`g8T~s1 zd9Cl2E#jPifJX#Q&$z_Z*%bn?-+lw6!O7nD=chy`572!4Ho_?XP}kKk$9X_>A>)AF=tSABQpk`-bJ*nQgmwYWC7*{$bd$$@d>< zW3u@H-94}W0Pm&DdDCyOZyLG0m49Zx-hBQ_`>0VE^WW03Ka~xE`=PqAEn(*Vf_4H( z&-tAq<@|>3Bfa;|?vupcRF%SfoA09HXC6jl{xER7En!S7sZ_fOsWI zg&W^1F9uoJ^nrUj#k?lG6k1jY8!X}w5_3)j-a9APn<>baV7s^7n4Fir<&lsA&EV$= zBjL#glUgSmLVsO_v+OWI$dlr48nf_Pj<3QbpJAWb6d(i_M9iGen zB}J4a0Dt3-Hl%l0)HQ?V-M81HSTTFN7%U!G7A+0p8O+BheMIb*OcmX9sI2wrDD6O* z7McoaV{Mc$?B1RAm@O}_2ZkFyvg#SCZWT0GR}{!8(S?sl=dC}pmRP%UhvEsDwlg>+ ztW+sb(c;m6Yd`{YO}Ch_qcgw@C$=zkVqgw>E_U)LcKz7xr#0s-GiQVj=Z9|HBWm;S z%Q++ozZ8gNe-1boZ&&D|nkkAa&+p=ld5m)oSiXf`7!?WKZv2)ZloFGo93wPiW-GY} zlHC;p=iPy|8@JTJ;k~EXtH`7350$I-HK zzL9Z)M@Jmmt!*OTPq3V*AnPLw;{~LOa`hD1NZMx>E;n7`b#j}EOhWZlgIhx;Jpo%e z&i0lQRMOf;iQ7^ib^D-te#?>k)GdBrA@^E!_jT)O=i*~yUy*Hx1hf_Jo{$dXdK#+7 z(ywPwKPJ7wI0n-`@4niQn(J@Pq%2WuvZ9lUbor`(izKqx&)|$<-eqK0nZ z)TCsEH&3|4;X76Dpf&YyKRb+I0aN6W})iUdgk1471 z``b*TwZ3N{u2^OEJP5T3fe0c(*z>8F;D`b$zzM@lz4xPsNTGe6RmQNjPOBR~e<-Y< zi9_R@en7>%$cEPTDV)qKy-V>ys+pNO%YC21ET%LEPeKI2t5TIp5H6u#gB zQtklP@)hxsJ9&2EA2Yz9=T%*sE`79o^cjZu16~b8<6J*koCfgB;|UBA6Y(dnmeq$5 zIUnIhjcIyq{z$nE{thZXnwEN=qD!}Fe-r@SL<+&?wquuIZ6x@@!)aq0q-t-BYv^LE`M%Zl$te^-$tq>bGgB zQvXx-^@&9+NUu-UnYoTc-EtdpE`FgONoUJxZ{tg6qf|^bNswB`t^zJ5pWH@n9#lWu zE4>>@)1ZNzN-MPvk3^1SL)a5$`ZxK72VAdx!v^K3p(n!)h8n@C$zQ82zx;yemgH%c~D6GXbNZd=3ADNtdX zD~$90mZB^GNgFcqs>g44cP?#!qj7x{gdhLc); ztWN~nvclP?E|?Hl%0HPfYEQl3i!2_=@>7w^1OP0_Hw%d-pI#~&V4x3)UVU>Oo0ABg z@QS*;a;1ZM@4)lV+RlI*X%oX2YhB;+qo>$y(cXe*fo;;*0Ov|ZW8<_YSc2tHxT~$f zn^Ew2ES=`m(iwBfcsmtC%2>)di0>hbdy}yDjFEYPWJey*oxCOBn2cNQq`AkOJh2>+ z#4rE&YMS{)P2m_mr)e2?TaJp^aM`yVj3iQeO@Sy#SMcs&uKOveHg?b8By{_N9i6gB z>@aJ!RV2br-`B0*Jb3J9VIT)U{yALBv)_`U`j+)Tn^t2-oV{9iL*_me?#uy_D!^UF zkUe$9Q+&rn58@>@FaW?Zwpnh$!>^!!abe@a^eo?ASV7MGqq1)E&IM|JUTQ3N<*6WB zjz_?j8%QFoq{;bYM!1U_i@$Z$&sN&Xc5uJTv@p$o$t6+QHk)o}Fd46X(}~YuF}hBa+3P}yA|d@apV|83OCq~nB8~WN z2ufqDX;_&+Uh2TjW+#E}O2mZLji46bJyj;Qu;#s^}HiTKGF8q?BUdUtbs8{JVMjIIHu4=Kl1~^w?{fD#NVeALvmpgz} zj&_=TGbqiZLaAN+BWl7{WO_+xQsp3WLOA+|k!C2c035DNLS|=FtabuC>@U#j;(a9G z*7I6hP-POqEj3-^U!3rasS>oOY>=W5Z(h8L7GLzZ_r`!f0_~QU8Oz>adSF_MHz7d!H+wmsQaf^R9xU$ zx`uLBSWN}Xk%m{qwap1`={8-R2A9s*BDBN|OCp47GxL@XBo^98@s=Pel+Tp`x-ZT| zVYsKe5$y)4T4?n*VEC3YNRTqiXHW7K00SN6Af+Ca7JdZ;ttlO{Qgqzb3W-vVTiRr) zgxV@PsNaC4m<_u91$~tkiVmt8t#9o2bca^$!grpI{qH`rD7rW*G;(-)}cd z5s!}oTnpyb@fs|7q$^5`Y5D5nL7zL$oczS)5iMKmrh=X5`mA-D>Z zCLWhp6ZPlD=^U13d)X~hM+)0WJIiiK{EeDtR5``Hbl*HZAQFlPd5#;fOnV(={f}0* zh|w+y?qX1nh|Q;#wZ-{h65m*lMO}~u-DS~YV*V8V4y^8!{j*5m>W^&J*W)yvFvrRF zc`zE+)-#|$a%+W=$1~Ir3j;;ZFfzK`6oZGD+rjaXk z_?3T(i5vPorCi;#>aVmJ%}RZ9&oP1(xcqthk2`z)o|OH#q}_1)sVEYkY$WzIu`-lN zb$)qZ7G5x!-8MZ|hN4IaEUDfkJ-0@8urXgyMz_oQ_H6KRYAK`_UG9;1eRJ+UB^xJ8 z8}SPEw_VfzxVmqkf1cN@0Kbc2&=PzP#zg#S)+{AOrs^3F+3nh(nbtBpzR$+)TPA?e*mxiFk(b_E zu1L&6gHhV-W8z>9M~|d|VF}vTNpM?-^Xt|e!{RdR-LZ|&tzRJ7a^SB2L`(S0#_#b6 zJQtra%wkIFrgzd`vMnZQS{aQ^W1YD~wud;n8nL+MiM)t35lr|o4LStO(RQ!Dto9F3)#T=4{a=^oKUpL3GoT>tbS>Mb*fWZA% z!^XAO7zpPZvm_rHBGj3R^WzqTck|>HC|gGm3w(!}c*~MAw-4fZ1G_QScDdy=Sk{jB zl^l0RlD;gP<+6ab@yWapvsT0cjYWUUC&-TEP>z>0f@p}oI>(Zub4@@@oWdD0RXSqz zq~vPc@@93mxD}o|Eip9|8-*hxSsyx^b4H;ifAQXe>2o`>T4Bb&SCf>)JRFsd|>n+b0HXj$A{nTZ0f zZ^W0KnRiMWgNlvNfS${XCJ_5FB;pQX;4PuSrS3W9E1$}5idFutN|GWIO0YiUILQS~ zZ8;#7^;8>}_g?C9tXpK*fE?A&GV_8D2;Y;f#0ya%fTvRAkwhsB0)#}&@xbD>3FXR! zZ-k&;li1Z%x`^c_$U)=L4eD}ksOQk3I-W}E9A+-=S95UrHlGcab=y+%3R)_q07}+D z+?^K(6O*lX`(;2P{C6wI;@w^K2oedy6g#0mCzb2fPsxyH@wvjW_##=!r0`y$^h#u_ zrV~DgFPdwRgz+e1?fjd3L_Xqa@J8d$63(68ocdp%`SNsh0qOj21o(7 zyAus5ZN%PomU~Ls6B&NzUk4*Lf$U~;XP^eK9qsbPwsc6UU;;f|s?}y>j|e@c6Z6Z< zLSW{Q~&Z$(xgu- ziIO3dR;xX7NsYPfbAAJ zytj-z_}QSQf6o(Dci}byX~-j(drQC!oGxkC1ekYk#>F?wn{ih$BK~v+DY!5-AdL`0 zf8x3y@1m_M?DcNlR}{IM)ZK-{uEijA1)^kZ(bQeaDcB#Ep1MHq&Wy(Q!Sb)S@Sm7c|9Cu>-$K}rWBjTipNa`Yx-unQm zs0TM1)X4p#JZcuMAoplE!{A){(*Hey!eRP(Z79~9>Kq*{IW171q>i_4*!6WhMhez& zTAYd3{|U6Pp^LE~xg8hhB5Lfu2!>-M7DagSA|$9GEpJ)Uk!?1ep+@uIy=w-)BBO4L z+XNJtD%YTC7S4MSo+=R*^Lj@;Tr-$3 zt$#d)I*#Mt;y$E7#+j~HmqRF-Yi#5RDH@{@{`M>h+m-{LN4S6UU~l{DToC-q1UrrX zL^d;|PGjlva1}fO$VabNEFs_d4F4=PR00!PlhU%&B)L6Re!&C-RF45Y$&^k&gIIc! zdC}Cpo`UK4uwYo?U%*muTI06NnNzOe`TjHMs`^#ZmdlwT)X!2?*DWTQ6hiHwsx4;t znUGi-R2vRgTreCqhCam9W7ZI#mRA(Gv-l=gx)pMkpXMzWF3gF9@b?NP-?>GzWdNZd z@FGzRCSLpXH4>%7^)dncp}OlilwJV20`|1fwt~J z-J{!=A)2M@LnBbmZWd&GW$+G~4B!vVScPykpmsPk~9 zWMGGua8d9KQQ0rRbXMT`!p=`T{?Z>;Xi3EfTKrmLscql0PJ z_E3?tUe`uO{=KCrjBQPT0M(0QiG+HBcAXH*Ae}gf`!L|+p^S1DX4+SL9>QO4J4FFI zM02d(vpkWto@GGA49dt$QR>)JA85*_XMTyHho5-OnB`gd^r}KYm~`ZA*Rhk92t<8Ck)<@sW_+`hq=rSvMvdGtj<((T7qhL%&qF4tfhwg@rm; zrk~#;EUzESQT7-_*FON#R2DNG;mxgzQDM4lO~?FQ8stbIfSvT%C?mG-HQ?nJARCzo zo+nza7Bv1Yh^g^zNxPp*A%BQ>_8LwYsI|D-X~NrmHLvNPj`C2pj%z_&@tB?WbwWx& zcXFXJ<+Q2S*`TYS%sy+`1bx!lJPU)(#p>^COWV zV@YBZeRk>90w7W(ZOlD$+gG%5L>aXUert!cwyVCoYFs2loRZ8ck1ptBT;Jqj1cv~5 z%mzf?rOKz{^BLrBiQi?IcCf@hnqrnwzCAlhk-)MU$R-U*-^dCO#E_^etjvJXX|yrsEs_U{ff?9euKyfH3P z^EY+jeD&DrdX0KXA6^;f_zf40+w6W2Vv!xt;4T!Dhb+$X&NXu|dQ#F#XV@HZ*id=- zTCMVPRK-tW)NN|6&F(-#l%8zPU)N_$AUWS!4;QByi*AD2h0>KLhvHBmd_WTQ+BaW5 zcl|+Gy83f+v@R(e^~J-vV~bos5i(DOiDGakc#u%UMZ&}VM4*oHLrrgNVk8>tv>F`^ z-#8{ulQ4GJv6u3}Z9YmKE`)^tX62Wx43uLQ{*pC#w2Z+efsObSVBPCcqn(P~vGEn{6xLTH@lY?BiUZA8u9nszbrn9X~ACmSY%z z$3evsxVu^n)Ins8~4GZN}G{TnE>yJ1Z zXCEbrR@fUA*@qqg^}=UJ3$^3@U~@4EED>H4#EN5}^I-A`uh>@4P$|p2gz^Pr= zbO*W;a;cqnxd8N~Iri-?$jBP4Ry?#u<=(!d3@Acns-m2D+DOJx`mol@{K9@FI1v@e z!hpidw9vW)Nm4M#_$u;7j=se54g)M=$%V z-*zEPjnE6T>qi>v?^Bs8zKOuYZ4%d)T&8Lf0%#aI0&xbn~t+Dnfo1&FdceZVl{zb;_a!qFc(6^1hH0)j^CErWf z#vr%nVi@d`&enKxJqyBSZMVzJkhDWb86uX%@AapI+)W!+sPl+WqZK5-$|1(!jLuC4 zCy$>pmdW!>Z)drsCp8`6kiVbzeyf1XBYc+%Tx@!7(a2KhpA)qF(&m=ec)agWjJUVl zx|crpYvw;kzw{|I=ReE)?n(qmQvtOoDHHPFZmJtapf*wd*ygh(<&p~x9^6JZ72!Wt z3)YM<h7_CVb-lVnGjKCP1DDX^L7={l~e7Qb-aLmn%x&;y_+%OubS*_D|tXY2?42 zgx8(Dct1}=5MWGBbXA(We%O2TjnK#5%Y2E?JsK15+E#PSGfDS| z*V>|Ot$gA@>3~WqkvZ+6#5XHnCXi;xuxzu_Fvj2`1S?ryr+<{LTpGxXjY-g(_FEw@ zaW9+siNg(N5^COU)1sD!dew7FC;hKg(4<8()qy*RG4xe-a$@nct|zCOp(1WN;?i0O z)@YO%+;M|^SThdabk=c;gt6D9)S8E3mn|*B+3!$|QvG&5?33EN!}+m84?>X@_91t4 z@$qi1@8$~K*=HqjJwZ7i0emI~LfgK4JyTm-!&_c>Fx@>LAaurH<0#B#uY>5p&KYUewqrVu$5{Bi7TN;mnO*{;3TRkn7HI- z1Z-h0n#*XGvoVuQF|XFHhe&gnz>poOs=zyN<=ORE24i(9! zg1{3HFb{7T3Yd^MnM_R}-ion%t4DcixJ=y0jPZDr+*V(ZAE$ZnVM1z3=RYts zRN!1_u|Ii{FEydm@91OXODSuL=CeR(`Q@e(vD0uibq~jsMTTx4xvHszAjUi>&qDHC z(=5XJtSVk1lmdydcvFQJ(=in}ah(qvbM6H3e&VE+&$6?}yxo#4+6_naz9}Gj_tZWp zO>86$df|7DLGRLYMnYGZyrEuYZ}RFP7jPLQG%P#D4|G;Qvlm*y?j$2Xwl{nO?e1vN z+*cSc29s9mhBEEs4Ds@+HtGAc!HWk_Zn@g1_wGS%2`E0J?swCQ=3@%sL zwV}s!zaeVLlAZl4nCkgdpora{vH8*)16y8eeQHI2u|+mBzCpjhgX5g14Ao$udL_2W z;L|^N=A%}k`Vz=MwDom&@@6On8#Xs2G{~sly@FUq>?bz6`$+ecd)&Q8OzqHdQ2%p%tPI8TeGdr$4Dbcm6*Ske6 z!KStDU^7GZ)HpeiD^n!rdXRiQ`HZ*m7|KmC{AenZul}=_U=5yNQY4=9iIaB^R(GFA zqcDZe1{g1F=H_xCU*O3YLCI-gWige+kOk6YDcW^q$Of`yWJ|JjR!>gMtceojcs! zXPv6MgmQGHaN^-b6RI|{ZftxM<`-(&xhzqdr9d}D*5k6t;jiOqARe}^lCb?|<&L(3 z7FS)Q9Wj-(b`r0k3iT3TN~+_R9n$J|w=>D4-Tg2>B=l160@a(=-xyk9h42hxgJW8l zPI-ZAGQ822Va);xq8C-UxdxbNhvHRQ@Pj7Byie8yNg0x(f`lDGqnC7wpP$xb&1Mg? zpmn3Xi?Pgdqo0=7-%!rjru(`VF)F&L#Lczsk;8i&XJq9eJ1r1+ZMbIkU~c+E_8%f^ z$2r*17dC{^h|7oEpH#8B&UFXm7nH;P#8#xcpwXBTskROz`P6rBey|hT^Myyt{VdMl!4cZL zB!gf&>MuLyJtWkU;a7!ne(ix@`Px7I?H7z#jz?dW-VZS&r*hlCM+OYpg=As_$YLtA zR{Im;N$DQMMa&agd{Y~Au`L%^v8sNZwJwFjo{b3lIL0z`2E2UjrE2uj zl=?oJF$uf}kE^AkC}dwJtZrPV6@I-vI{obGsFZ+k9TfSwc&ppO&UP!Lu*9OS>7f@N z58)5fXj%g~X*@}>P&i(rzN|dc*a?LUBAacrJWtvz6~vlN%N!@X0~V#cY8IR zMJsn%HtHgr_*&ucep}S+EkJboB6VJ~&;>&p_KIYdhP%nB-D(~;; za8;_Xz~VQcp&2F-%kQOI1BhLHV?PKVW$s(p4=iS##?hB@!G>bB`xCliMk*0yW69|-JEeo@as`yn-W{W$ zowmt2`?n%jXoBlyp=wuM9|X|@D9S2qz5Ld9^GCTsrTPmvubG>WFHacLD(i0`&R#a- zhl3tYbMi{kJ?v;~P~Y!khx^tyn#Q#n6K>hv zt(m^1{p?0;oI0oNdhibrc$9tVf1+o3pkZg|sR>bxtsu+UIrpPtH>q;(>JgtV73(Z^ zC3tjylP!)&GMY+%8RWxlE1TNQ`vR5}4LBaQJOU88MwD)jgZSOzN#uEb4B5leT5f z+A}ZR*^YJCs)C3PyXh8Y-KDBG!UjX*ncMc8+BbE`rSwoZva;U8vp2VfY59XLSeXW&#euGDF5PDE-cN6~(IIdl?( z&w4KzbmLk5&h!Avf?CJ;fy)VOgcBt`QX5M^3KzfQ3wNnn1%v&q2s(JIF#*H2&!#gB zPO>!DELI-RQsz@eniTY^>NO=eX{!!-CjPp{Aq-y}!P7eT?{bZt*))Tf7Ka2wvjZV> zF&AQjoRryVc~0jALGwv^B>h@c)uCRlUMM(vm6LzBE0IM~6IbCW+FUsGOhLmbfP#Bv zD^_B}5n;DY8TPTbKcYupFD>n;x*rO9NjP{G?AgNg?|fIZ=cG%2&Q49QQ9=H{{o`#3 z&j@-1|0i8=_cF((?O7L>i=7s+3xrCT@uJ7?66-I|`;7V-;sT2+-ciCDv1I(X%k58? z0rEtm%S9bfL_k_gA3Mnd!VBFGwVF9H&%KNzq`C<3+1*PlN;lD zx*ci3dv6^79vXW*IvN1UM!v)bkYbSXNmeVOSF(8|(G5|w%j@-*=VEJVUwI1^_YrnD zc4k;(Lb(C4vg(O)EG|)X4aNiPzlx$=2^xtrnPWX2_s!)#C+BDI&ITul%lv0Ga#5Bz zrZ}Pr5DROb1)zDP0bAKjE9BqW{gC>VL&9HiygdZ?6q#kpoeB zhe4Ri)Z|)4F~m=(G@&zIo~RyK{CumS%pU~Wj{+PmEe#`-e(`wrq|`~qcKJTo+QJe{ zK}LgwR-6U71v{W!qa$beeKJ1}k0}n;A=e5XGk4|r`p@gcDDZJ}8qOT&A0r^bkXM5< zPrC%ptyU6+lorMscEdsSUTK9iQho>oz&AdjO-^e zV^U(^*)#Bh=Qd4+&D3rBZFQ%$86@mfr2H|T=f7sGBUWvv$Euu0EwaW_GRF5PRqew5 zT5r7UlBaUDN;mWc!yBo47J@|y&y8*+5$1L=1|DC_Q>;w%D+?1ZGXL5t@e@%xW$PyT zTH7Fau{tRMF>eiCuHPGdtYLYeczJaJAtB7Q*y0?&;fuSi#POJ;waxmMsPPhVGaf8F5xSR5pe~GiVc2bNtv`TH62E#vorb&gbDB*F$!@jX) zv8kgoukcvAJ&2vv{# zwt)+S*OZ!z3KRV$1T;mg`$kyVGbHG9L?r$&ru9ziWO1&eA=YCP@kaQ!n*UPeXtPB? z9=Be|M8D!M8&;|I=Xb+?_jWKZ-!wes41}NDo+>6=Iw@PE)Hpo~-81sjXW|mdJd3klpz z6Oal@5tL~kTq`KluCeJ{)a6nGHi^}6Dv~SG5g_2SM|JW5@K~FR8V0bg+VQJURmfj| z5)7~DjJ?ylw*?AX)2ehzM@d&awsPI@R&aTdCybi6Fyy1B6W-ZWSviCMeVlY-7CI%)(hF?k@CPr3H z1{P`tMsfxQ@?SYwdz1f{h>DY;gM+CF0lk=^jk75fy@HCU2A!Czjg66^o!x&7P_eLd zCirdt!w?z*HB%?&->nIl=@?mlw_{>srDdXH`!553<$qO|v2-&f_*I92UeL+d;Oo0h?O^C);cRM1;PyY4V54KEW1@uO{?TxIUnEn?Rs{C3`Kre4(rR-u0MK4Fd z@(UdjvvhKHAz)@^{4W#{0TVMT=YK~I5&UP=#^qOIdNG?{w}_Y;+nbpFXKiPfU$@#q zd2C#1N;_|IAoX6T?=_?TRf9N?wJ|lDigz4E-IN@WBg0ICkCNG}9xo(X$T0Ey^4rcQ ziE8C}Hi`2lfMCP=dY#_}ksx(43{f0}I!bmJMCrI4q$Do9WrGMEONZtGHx8i^fzSg{ zEa#Zl5}9WyJ>GzXt=$q2tX10ki|2k48itT_B81+qP3ZPYHsnUGGfub# zrCzT%DEeBReCrvopyz>VsDrSRpbQcaJGjV;1`JNp&5A(fLqQ+|tuK(l-0scoaVIp6 zOsKzF){@|TFb%NLCUmVn)A9Od4g-I9_F_qSn6M zUM*-BpIMnZj{J6g1*kh$n`OrJ6Q8_vckAt@`d9rQ6ZQ(b)6Q~}5?t9*M>j>5A#3hW zTjwhz@p`*ersMi_<-&=lv$x_3rVTB>dC`TH((Kf)MXZ_r9iSjTop?Vga;XgR&d=S{%&eq8mBk1?nPfeU zWz;aFDD&O|=0g?P+Tb+{y40!*Z-&NpDK8ok5<5I|j|vcyHt$}2kgJTs{O z>lukO@C;TG&;l!FWlNpfW;^3~49cE644NgA?whW-C)bzR6Yn{m5??3j-=pqR-w~*H zr_UE8Aq5g`yg!6;Q+G4{*d7}dviz{Do|1WVIBQ+;N!k$K>FU@BsUZ~V8Z~&Py8w2@ zVn6ntbYKTz2bCZbR0*7djSmSr9fQHsbsttuuYt`4!n?(OVyJNnSmf;i7LFmqSR?9M~94T(NXEK^C%Bp9dBvP9O-2kuA7fT$o zjrNs8v1EQ}}Yfu7BN)r)32#%=kwO*8*2|w#cEu|Ce+^Ll4kv z5ht7{JeSzJ!f9ljQPW+^NYYBJhc3+!LV4<-%NY0Jn%QQl8q=`^Sb&yj{T`TBQd0*| zAvkWi$u^5(Kw%bZmbo%(fa$RO566cAwHWIPLz>{>(8kuS%nZcP$9U7UkY48c5PkcwmAdrn2;VpH-rke`$Wp9#fv;` zM%Ft9@hR+mM&JPII(02T$1bOu4Iz+ zL94FSzXOS5xVdh2h0d}T4Um~tKyz1x}`GfP4wtR*E z0B5H-Okv9UQdd@7h4rE8|Ise3Ig18^&p7DBwvuz;Ku7RfPG-Fzge1aWk&y72=)jvd z`}&gYj>|XgpE^ed-9A=}jDA7=kv+vz{+>Jv*59$u!x=hi z%iLtH?`nrYLibGp24yOUO-W zs_Ku^-%r_YC!^<$M)DBrm^$-PORs+_PHDfXeiQah+}zKxHvdze_iOWgz5ik>s<{!z zEb$5`m3Msk+Nnz8zFFU{AJ9z- zqSiv8!^Xd=-Q25X)^&e)TH6qG!F6JxJ+QzOtjac`sYT%VZ__MM6HSOb!hiJ0o^{rd&+j-4=E~)GIXxCjb-yj&+5J2u_tpswGq+>jD)*RFnx0R( zylS@p=_Q_-m(-3+vApx_{P?lr`wT^kyAkaT42O;`-1qZ^HG{@hHU?Wg#tTvZ|7w+} z+&?8Ef4b|^YW3F|Ys9(rM9YOUoJ-%;IIAeVxhZ+h`yW@)^Q~Ljlxk(4uMhuyHRs+0 z;W;erhrcoEuWJ0Wc2~x_=U*27J$b5HzoYc7+56Yac5S=l`$E6u_VU;7rkuwdA(-uD7%9XDz*LA6vd(;mefY?XuT@dhPrtz2JM$#^rzfwnT2v zJo>&e{KEDdmbE>5TeUXqTc!7`TmQt%+Ydf*D~Pi7*xp|4e%^o9!!C_ob@$l`wRA~uWsgE?AN-c!M}R;s+XG41$PZQUe`x~1}8{SH93D}kp88vyrX3vJx@74QDXA3-(FO{pX0crQ!I@R5Ko*yNxI(m{g0X@jP%J1vzeK?l zxb<5h2&6nMUjf`|260>zqHSC)jh!uB4V)dFoDEDY4BVU@O!WnvU?xp?!i?6-!))%nFj6HY8((rBAt#F5F~ z*-_W9|K#QAVY3ocUrKv4p5fyUWMfoO;EbHCw11fbZ}1EUwqpiOl4lfKSVa`t=4cv! zUTGt;kVSCHLZ;9ajaUOXFawe0Tg)!Dm_$Jt)~{Pe1M?YTJS%^x0_wy3U2 u;FZ2H>+Smg?sNKnG4^ianTHwf#U+VFB^AKF0GEZasi7s8s;aBM8y5g&-W$&V literal 0 HcmV?d00001 diff --git a/ex2/square.py b/ex2/square.py new file mode 100644 index 0000000..8930575 --- /dev/null +++ b/ex2/square.py @@ -0,0 +1,67 @@ +# coding: utf-8 +import os, sys +from z3 import * + +# get the playground information +if len(sys.argv) != 2: + print("Usage: python3 square.py ") + sys.exit(0) + +with open(sys.argv[1]) as f: + playground = f.read() +rows = playground.strip().split("\n") +playground = [[None if x == "_" else int(x) for x in r.split()] for r in rows] + +# get the playground size +size_y = len(playground) +assert(size_y != 0) +size_x = len(playground[0]) +assert(size_x != 0) +assert(size_x == size_y) + +#################################### Square #################################### + +# create the solver +solver = Solver() + +# todo: create an integer variable for each playground cell +# hint: use something like the coordinates as part of the variable name +numbers = [[None for _j in range(size_x)] for _j in range(size_y)] +for i in range(size_y): + for j in range(size_x): + pass # ... replace this with your code ... + +# todo: assign each known number the corresponding value from playground +for i in range(size_y): + for j in range(size_x): + pass # ... replace this with your code ... + +# todo: declare a variable for the sum of all columns, rows and diagonals +# ... your code goes here ... + +# todo: enforce that each column sums up to the declared variable +for j in range(size_x): + pass # ... replace this with your code ... + +# todo: enforce that each row sums up to the declared variable +for i in range(size_y): + pass # ... replace this with your code ... + +# todo: enforce that both diagonals sum up to the declared variable + +# call the solver and check satisfiability +res = solver.check() +if res != sat: + print("unsat") + sys.exit(1) + +# print the model +m = solver.model() +for i in range(size_y): + results = [] + for j in range(size_x): + num = numbers[i][j] + results.append("_" if num is None else m[num].as_long()) + print(("%4s" * len(results)) % tuple(results)) + +################################################################################ diff --git a/ex2/test0.txt b/ex2/test0.txt new file mode 100644 index 0000000..515a0e0 --- /dev/null +++ b/ex2/test0.txt @@ -0,0 +1,3 @@ +_ _ 28 +_ 35 21 +_ 7 _ diff --git a/ex2/test1.txt b/ex2/test1.txt new file mode 100644 index 0000000..b046a32 --- /dev/null +++ b/ex2/test1.txt @@ -0,0 +1,4 @@ +_ _ 28 _ +_ 35 21 _ +_ 7 _ _ +_ _ _ _