From 5c56561acc56157b757b7c3c814554294e2dc202 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Wed, 22 Jul 2026 12:26:21 +0200 Subject: [PATCH] [FMFP] Notes on tasks --- ...methods-functional-programming-summary.pdf | Bin 743191 -> 743589 bytes .../parts/06_exercises/01_fp/01_haskell.tex | 2 ++ 2 files changed, 2 insertions(+) diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf index 283fc64da38777e8f242b87c73c787ab5fbd26ee..e52461142624d73635547e519e6d4fb13191ce14 100644 GIT binary patch delta 29717 zcmX7uQ+Op>)2)*gvt!$~&5muG9os9mI<{@ww(WFmTWA00yM3QgRd-c$)~M7P`r>-} zx;$jinZ|r%0Z{O+X*rz60~C=nf_Hn?X*87w47gP8z~?O1f|4ybmB_}-woi!cKF+bk zc`(#Q_0Qjkp!ccSu%Osr{$Z)90pp;kty8d|tk9tSDX5^hU|aWt|AWk^pmteg%uiPcDgdajrE1miOX>IvI zffA|9;Q+Z6&>Ua%`he9l};Lgu4>5eIr$qG`djNt0rG zS6>JbFpB}Im5M|Tzy(|M2>$;WT7}60?TDajsUNHWJaBG7rsDr$1~$MUG?DVh6-K00 z)esCe&}^-DVpY zT@At%!KI?g04RV$A}CJ~Q%oKL{H*YhfxIC77FUCcooyqCw{pAncuZM<%S=QU{|l2v zcNi@BKFMAVIt7Jc;wURqcpKacAf!zS4%p-}Wqa@^g?x*cKA8zdNrYI-6Qh<_>O2=> zBJX$j0g6IzzEs*|Cy;IpIC6FS`-5%C&pMnH60`zKm;!k3!xY;*PY;gjcLOQ3_{{HM zU^s%e$eeHT;0WGh1+;QdTZZ||I|2g($SHy772>D&q~A|G|8xW7pE%3A3S)c%aLM!uDoUuU5gnC71e4iJ~v9lB47CVc9;Nqg@_) zzI}}*|03m_(r%jpJ0C<$a%euX?#xWsZEZTj*UMKL*$aRasP z*it*JOzs+%i{J(6w4VBHWS@nv2*AFBEk{TJ z{;8-aB9locv~&R_K@@1p0@>?##v-&IggPcfGD#|-tQ%H+g-8PkvK$}4#Y>>T^q;s* z-CJEb)fqepHVd^dmGUT;+WL!=(Y_#I3O4e&X3|vzu{_(2Jj&vK#UboWcW9N`espDG0+E zB4sGgq6vHo^AJxM23nU=eH4;zqZfJxk~u^2WW<+slK|rQk-o4 zX(HP!S<>g%G)96~YlZwhYBNRIZ)w4^Q6UvVf4|6{X6LC&yS?C^=O)utq0@sv!F!N! zlwM^`Q4(Et<0=N1#Dwgbmi}spLXm2c6YSfllJ@&om=oMu;{oz75){x@82`Xa7t4 zpdPH3zCsIV1H#>UK@YieMa+H+^KnEXGC{M!2;IZrdIuyhR-UF+~Ow=DqLDGCDxdSnA^50v4zCt(E zkYHGV&&!{jCZI;K+9(N6TAR5LeI1{M+%E5uCyl_~!TCx-BzB2)=8uDhvoR0Q_Rr$X zEdIu8b47%2Yg(=KFd6o5#i>irjBvXCOG}tyzse(%=*mGuD}^ds zy3e!`=^JG}S)N6$PaV6Vy1E0ONzbx58KoyZ&AwBwf8*hf9sA0_D>;k+!eE%gz4K6$ z9jY*tBj?FbH%ri|w8}Xqtuz<w zW%O~J7(po$7JaPDtgu!>hB01MNi#elzFn@l1c8;_iB&KmsXb@rDNE{WHyd1+UMB#& z=5y|<<(OfRB-az&HqD24znAF*OaHSw#!GJV1ngVj6pXqP7-C~In>oGu2TR6S!97u5 zl(rQAyDRF4mN$AmJWhD+|@_f#S z1V{nG|CpU`MG;l_i|&As)Z(;PClB(*W4fcoo{xh{&`*jlao^-Nt4kiViBHevt9DOU z0%Q7{Wcdp%YDE;%``mo1soGJwOPeN0<{;kN%kb zpfxB!Lx9S=*J}81IG&P^7N134+Ijm^6==gI`GD|7Kk%kvy;5Tt1us)7nM3Y6MJX53-={8oE+?HKh z6-~nXRcqc)CA)zYX;tF%jXJ39V>FQPh9K@(eOiwL6?O7gWev7pUd?R+J^|WKkZF*n zfYF|xvPKDV`e6O^cU07z34P_Q&J%2jIF=IPN!s`MMWliYdtemH58QGNxMFLn0pJ#q z@O+XHO~pzsT?XW5s0ix13&{`hxMg2vGrCb=`Ui^f#X_oeCJ&&E04kkIT?4=cw-Uz*X_c%2#32(b z8N{f_7L!AzZmpyk-uS_+-odTLGzv`pfMGS|W~M&%0@Q#P?wc*>Ki9p1n_>8GSF(z6xN|cJt;5_|lWT;r=F1C5r zTi4?(bxr_Ir&L?L1-<8$JhbS$RF-gLpIwfZv~QqYJXQ1rYKV;-T{EVpj1#; zFm&`Zb<`z_b#CN}h5j@tb&g(iar4Va)M^KnhHD0bNUWq$!RG3sKG6ic^+-JyQD!h8 z2A3aeyz4VP(G+C$-6V}4iaR;|94#N^VnF=9RnE*Z9CG;W2v9YIEvyNnh(;#ARYqqU zk1k~kP!KMcWC{@AO8)xr9VFo%M|&xo3LTN=G*8;krzf4G9rnT6vY$sQtJlrUEW6*p zWB&rKrECR&Y=VG21#eJv^K@dhPJFZ4xYrI)t&WeIIo+$WdJQRAI`aPBhj@VFkl|Oj ziUW3QW?nS}vVOamOmmA3F_xQ1zNcFMx#zH__TDesbV}WuoTqnV83q{UUzJ1mT;45q!G-jOq~PO zEC?AUr_WuP>ze2dY$v^xo^9qhS{Kb#y1&eq^>8~Jq}{Nb@lDpNz5uegl36A?hk61! zS7w$OQ_K?Fys^odw%a&Hy-f{29a}@~6JxgR)({qIK$?+A-)Qud`c49|G1ZGldxFEC z#UN-HQk44Dpf-U;0y4pcAdkkKogkn`0q>RYNYl*|(THo-zxAdULr$-_FT0>OYaSML z)x)s0FSkxjDxA${C!GM>1Q)kiZPF8%(H0rO3^rQNrK;ECU=|7bpI>m40#}zh+HVu zA_sM$T@lwG!z?U=K>n=8XyU$4=Rjl&w-v%Fi*nopF3lUwj*EheZh0LZLd5-8XJN)> zI4gYsBbgZdc7=_1d2A%M%$d!+rG#tqw&e*Mxy?cZO6D?=lbl5jaJ^+4+NOC7@o(HG zd$4`<8!}=mGUAYNZOm?vtsk&lE>auZ=Q#?bv_uV+$LEMwxlOP!mhE?Y21b(~r)984 zI>-pRtx9J3eoNcjyh-ELRQE|A_Ah)cK3BvpHJZ`G%a{$=P51e#RrP~+t0`3eFuY?b z*#|Ej*GkXLWJb9M!<2#%upN+puSq<0!pO=BRM-$`(oLG$tgru4w26SMCC&a^^jMa6 z&Hjb(CcvIF9B461yQ!cn*Zh{#?O?M*!)Km&p*0aC(KVh^$ciECQ>37)5vminUX3TG zP6yl)p2}I(^0@Z0)(bdV^Ah1GtVh+4Ie7;GS6SRl-vV1k$U}2sVyshriajqaYtIY^ zsJZuPk0ZYs1KKm0e?bPKmjI}5isTvOWk?d3|`t;P%#DTm2Wc* zHqBsJJMj+NSJC5_pWY|j$5~=zlQgw+{!*K1z5c!9qOu}>Wr}0BkGs5$Bf`6IamICd z%@xj%c>U_mf%|G=!=!6a)e+O~#d&s1NhaYC^qlRO8}AcC3ki&XTy+1EPlsEBK0;Qv z^%+E0jQ?06IH#L8Ox-zL;{F#1F8>ub0?|8%^R)M@!|b$!bkwgFjKds=MUrPe`>aIj zG2);IKN9Qz)sHP}+WkH_S+fPdX`}*SXfMsgxBYy?f00hlHYBv?5eXSub^u zH{oRU^%%l}i2*F3hdnt+t;84@2!T?z4PTFv?&%zIak^U>w{(D>)Iu~#?^l!c-gvS3 z<$658^U&y|x3q0-MD}>0q2rK|jNsBAg^QNI-3HoL>Bf&7ALvg!g$N@lUf}1@(EeWL zNF|0Za;!x#l#fC>pgh;#gRC8lX2lVG-P$J9Wd8t|&j;p`TVQRW@WtQKMvAqATnxNO z6x76}^wmnkEqhItnK~t*bZ}!l9e4ZEolDu0VH5+H*LwWlflD&gj_E-Z*hKN{9(rL= z%iYT~2pr@ts*r~<{f#9-A-fYoazdEPw1F>@8MLZgP}pNyAn$+$@&S=E@!fH+%fS;+ zL;%Xm36L1|A>NR{mbNsjU^G)Cq>o3HI(zwyBEh>HCVu~@KXEWdglB}dPXL)(gswnq zYbOnShrOe&o}=NkhVWAEPvCT)migk4DN8GNhEOqwsF<=ELrlG1SDjlo5OGBRjX7Jd z?yHMP5oQhv>USds;$_?_wezpqfK+-sRbG-HY#=HgpklZH1*dBo3ALS(o0AeTSPIYd zZU}Uo2(iHL^Ikt9h>n0oysb^}!3Tg=Dy9#uPQ>_iaPM95^MRwBDzN&cQ; zz+_9CL-hBRDnRuNdRBMl(6bt})itv_}Ta>mJD z5J)Hs_b)Hys9gRTU(t+MSwo8{ATCbF5ShEpT2>OoCZBm0y#bqsj@p>*0gg^o)WD!# z&d+oBsi6oSOvgCv3@H9zFj`*l7M!&nA-&md%7yEGzLpPJ#uG&sf5y`gySkPURU#Kz zXKfWY(#o$q`h;d}JA}U79`A+9AF+2)VBoR~b0I8~$?@-h*Z}x3t~pQ@^z6xe2^mB_ zQ50G*B2c^aMu_`k5^yOfR1g7+8BYhoJ8yU~0<_S6h6P+Wa{XGUMeZ(Orpshf`(W6| zd5;Z>rbLajbvkpbPcAOS?`5Z+OgIV?!B55@gy%(q{Ub}Fp43}Bt9e-wLRbX`JZ$P6N|G=$4fazkrz4;9Ul^i6IMeL! zJ>@s2(m!9PHP5??w=mhLtNTNGKrc#iDo#8?XWu5Qui>QcOlhsBiaE|3K6~-lCv`B; z&YcQ_>zHe6q<@E%U`;A@an1z)ivIf$YCQ zYK}_D43nL81I$`_1ZIhZ9nPxDC3Gn_x@SW!Rs`KjeNR!=%lfI4i+gLsTI&{* z>Bth`V3NT%F$voggSI5`BYYQ=E`!+IJe4*TJJ|$&wr-pBs!-k(GG;2me6BFqjpaV7 zfHA{x1R|&b3wuHztqfXmV9&eFw8R;T4e`kQH>oV?lP4+Rm?7FTv*Y<-i=N(cqEwYr z!y&|Hy4Ts2zTPf2LJ?F^wAlEEb}AMnjgOctemn6-Wl71{S|18yQ*<932*;C}`SZrx zj+Aw>V91X-oAgc`kyA|XqIyD7M{SZN&s|xIna87Xr0oGKu`eVNP?cnQN`D?@O05-a$A6{-s zWI2R;0h~%7|0({ zQ$+_2g~U?jZW1a6&?@UiZL<4>FQ6W2USH*GK>DYAyHAMK#$ zdalp^7UDdS`G$-1N4p$RYgTAkg=h}Raf`DqbWcHUbQa9^K+e)W6k<>-3##H36W!5Q z!ZnRQ3NJeAe-HQtma!>Pp(S7=B?jUhh|t4K{qRr>y zP}rwlTHq+T0LV7U<-))yInuTE-od#z`8lEF9gFf8yS?K=&lCc-MoOXmxSlX8M{f=4CTh zR~OYcVU!W#p%LO;&L2v(yU^XEPf^Be5 z^2=tTys=xC=QBz%U}+A`*lTZuSQ*SC;_8K|T`a-Wq@38DiXHwA4d_u$oGWkrY%J^@ zyGK-x+?t5P1G!QUmbGuwIT>B@mrBLp6`%?V^iPR(5?;dJ)4~XiFK6tsq{yh}Q zz3&4kz3tn^a#7ih{c{`y-6h5a1s!(E!7tjSHZ*kb`*7l{1LQ=O`6YHP+D}CDe#-UQ z%LDMsb}yY(c=n)0(**?k!WxNh%$f!Md;k4-d_2ANL-xHPU8L8_X9kHRnukamrgK4a z__yb^Lr=kWi>`rWCZL$8pN_K8Y8~Rnsu)=srlk|be{@h{3 zfC?0c@bg%cOTNK8>f;r>{BvIU5JiCzIBbzV zA$(qc!?i}Tp{aEo%2mw#>~t8CK@{BSXe16^L!o{J&$k5u;~WxxRq~bDp3^2tQl2V9N-B$1R7o>t7F6T- zsjw#&v>*R~srA>zw2mDC>YxdvwVMx>y;VwiLNpTsgk;C*S$c$8RI@KW4c-7MO|2={ z0AVChyVSMs|BTlHVRgLL*Kfck3UQLaojmNQ(bklaO zPbW|7BQn?{BIr!&84(yB*b`DoY9A#SS}Gnfm?CC5ZzO+{_$Iw(kloXBf*Az;d@Pcd z3sq_mF&GuFiCy8v#`I5Ph`Cn>g3a`u?6xzVErzAVfd=Yftd*Y;EuLISs8Q^0{9~Ye z$rv_NgykD`FLr@5#)p-p$^1H2ubIpEtu^|H%y-0<=JhN1s1eD|cS3P4#Yto0{N(zn zH8{7CP>_yD9-^MYgGOPaa~{O!b_Ar$pmXyt@mX}>jnzdT$E$NuH}01Jz{!zww83UO zz%H>K7V_>T3zvb-2@<;`)~1Y`qL;VC5Q%OKiihRRp@fzpT1CnB?SP#SUV8+wbG8Ht zlu1A!N0#0+rgX8~!$bIhY}hd)=}PV!oI3%*`w=Wgp?otdGSFoS^K6!^oN>r@dMraJ zmkb7IR$vz5`#Z5y>H!3;2s?po##SC|mk=LBSiAUWvgivdUK|UR`K!E5>xCEu1~Aoi z<5#$hIk;o1?u--C^E#V~yW=m|QUrb&UFY_uVuhTPwjw93er7I5g9_N*Z!pl0?5Cmk zsk7ZRhFU5<)v=OjmicObN^W_}sW<$Iuaq*D%d?g^06h(;Rh(&Qf- z(yrABx~PIjW9!QQGX6kAsVUH7YoVCC>sYVm&Z1ujsGk%Aecstsdby#cCAY)M5GjCp zN}JZtH_5ttTog*YrKTHwP5nDnHp!+{eIzoHL^;Yd*N26(oeW1G=VYC+h_vIoq}m9}V{w2^}9(Wm{`b!FQfI>_t)bC@zAnpxYc9 z=?W!Di=)b=D0UY~<~5aG5fs+_rcyvn(qd`#dCa4VZJjKBot87N&J(hySA4;$rm^HwRpb-t47Xcx8L4p50zxgF#+V zA1@sFy24mtR^f%Wi+=D3Ls#~O0Zi?CoK!e9j!Ep1sY>>DKecel_)~EJvTin+L?%UC z6_|^-iI~mHYA@`0?%2Z*hkT&s-(N0ErdDnSGL`wvcV}Ke6%;(kWO9zb9qNj_VJWX zmB(LAL%mtE4HoNU{CFM)$1?RCh8o8&1bpyAF3zcE2w33+_+ZQ?F#~!JzuS1B3)XmX z^O!Q3>9Ub&^a>%SH6OOB193zNLYHksTMOqeh&5Bl#m^ESH%zNi$f@<@+!VaU!!qy= zY>jOZbs&{#*D6il$`XOHYrS|P@ZVL)K}D|E@hBjb49c9B9g^D)UU5qXqDFE)D-GPUhA7au(ML5OUcj;eXBi7BHN7wnx7iUQ#LB%U;|)_N$yR}3)7zq{;3VG zUyVOrajjETyAgVXI51hn@q4Ye z371;ud{^xdkVmg0nJn!sB*^Md@Lc4y$}9Ga_SO+N*K)-oA>Kij)qgL*wp0Bd*5vgxXhSTFkgfsr1Md;zQ;NJ2o_0 zE0pYD1KwzWD6LE#_$ThF2T1xQ^m(S%s8#-h_4TtiFbpa@*u-4)tT&9m>nx%E#V6a{ zER$WLqZ5wjehH@czAjfIy(ASM>F7=_v+-itrt`l)iC~HIN$(PAz=y2Jmd4~o?OzmU>!v*&u^RsQ;U;-OOAw(*=0!Q6I5(2#` z5|T3yn^;2pTtQTELj3Q(C}l2xv$anYEFB(nDOFn$3-7z3D1jwPtkt zw?ePj*HavN=)lFAg^f7sUW32;cK@%jGD;yQb4;q6ZQ-wTv%BoMxZmMW`P~ASOO4x1 z-1UP@b{qS*6{41BI}G5!FVUUz>FD?9b&c7W!7b%pzi;zZWC!qHf53;HiUH^PzM|?X z6M5v|kndkL@yTw3r)~RGLA~y_*MH~#rb7S&J`yp(R0`zfjr_WwuZcI8c{d>k-ohDN zFKqW9q@=TP0L#>wUzm)HKI>V6+eNT};|!!n!%}-gMu#CZM|wRA6O=5MT@V(2Tfsdy z*Xh4xJ#%dBJsyCYRnyojZd#Pn*S~RUea!r(-T59FNa4kwJEn9t3Ey8hAxPnL3F04a ztI#N}Gj->x4XJ1dwzoBFNW}d$=v&xMf^KY7Pm7QBxcX!eI$5tTWR51DOQT=KUX}1- zkLF-R0|bta=R5|4j1d_=#vjUYwMP~GR-{om|UE$wGTA*4Gpgd@E~>ruXzVc&Z(TgwmLvB zJw3Nx$bmq2?6i3LR;^M{^#l7rZT)Q)DsKebfaQ1jP$UAoM7m!>H9jk0y6U?ki2-fp zq?|WV*CQn3rNM(pdHkYLBYRLAhW1dT%wzCNzmJOZ)8vXa_M}YJ+1@b3ZA6L$YuoHK z66M%jT%1F@OGr%*;hihv?*{Wo_p3Y~yhF`C80>*ivAW7Smt358`{@DwR*E5{K9 z;MbWwYdZti7$ip&1&<3076|tPutL@`YSEn&B~J+QuImu{R00LrRY>24YZ1K0u9*6_iCBzmw z-!Yj$I+;NNxu28h~0ZnGG!5e3jjMNM??W$hWtr^ znm7g5FB;0N&0is^nOm3rJ^uT_ZZZez4ClafEnYV}Z`tkbZ>UM|h;Z>;a_Py47mCw3 zzla^5OK<#KU!*BYmkA#Nt?7YLKT%k8Shps^i@&X&s|)677kaZU91T%b9V|C8F_r0J zY8-WuR4H>n0O@Eiwc@Ih4HhL3#R>E>^vNi-a7Fo-^##};JG&Dp%pnXz$iyM{TucN7 z$*XGfK=ib?_nI0AJtBqMH@5KsMhV#wfNKoPG)QY;tboIi6sD8* zciXz-qhdbENT{3*Jz?R_z#a^#;jmv+re5iR?%OCdFJjemMI{XH{zZAemf@^^oO=il*qnqm1D z*-LI64g`J!6CY&Jxe{`q0yA@KsqW87=f_baOZ09le9%uk{K4+ueLk(S=(_?U7umA@ zw$L~;xMV_43h6K#VhgB~))1!qPw@JF)s(f-O0PzvKMv9-6!ZFMkTVnnjb-+fkBuE& z6q|9oQY|zrIf2=OPoPzcVI<{Z9Ki&4}(d?WT@Yyw*TkOO!$2icBZn+e0#ee!LgOVvfQaV2&My zE;L?Sw9n;7wpqyr61Arfv1+Zaz-M@1ZE3V-@X_9N*bQ##fwBhTF$NwDX4EP<9+s22 zag?V9pYOU2?5at*N?N~BJh%hiS?#&^_>E`%{|?z07EqiCHNF=)yQW)D z#DISyLiarV>6+H?cFEe@ny^>0$WuA8k{j?o09jzfAMg>rhZFXP9wC5cLjE4V^ZI$Q zE#bpjCc$#>tiKth4o?>d&^<8eC`+;jW41yW%|men773;7#rqp8Lh(9+*kr@ScSD6D zvKjfOK!?PPg3fUZHB0S@rBPvHruow$1ka0Hc^#o~DYDb`i|Mf3!qu&{ze?dAXuXdA zjN0>}nQwDpdY}9wcShn-a`aCm^4~;PKL@AEXiOA#PJxAIU@xa|Qb~RV1@zs5;X<}( z_hnTBF=%YmXd(xYBlEaay@muu%w^H{qDuj|)D5Q+1rjYRrX$*r^Ay-Y5HY>Zuh{C0 zTyXLI=Agn6pAg9!L9dE7Cf?pif2V1!=~57MTTSNrW8{Tj03AJ!QuB}ClX)Q5_8Tb~ ze8W(xj~7<5zmjrmdV`8!c3`>e!w#6Y1Tb`f;WO0d&qq9aov!32WKxJkA>rQnM;loS&AF4GW<4yPcis)CsfdE^l5);=*8hKsrNr$8+hmlmyPw1ut-s-^JP_I_jN;4ZBl)&gu1#?+f)2-U8fq* zhh`rsnN6x#+Df5tyC&}PlnSs{kbZ;QociaC=OZbg8@3_Yg~JTyTU2fB$=)o8W$sB0fZr zsPov10k=>3W60m|tEvT|LYp04N0oJJ6By@TLc3x}V!DPhT#hlzP)+qH=X0B^g5IVC zQP#KP!U<^_9uSsz;#7mqE#&n)>!IdS`d z`NUvhnlq*}=ANCBAh3Tq`W5#Ljc8XT;vih$;(cbtb-IG8(wevmI@$J$@LFEq?M^PH zf`>YpEzr8qu-%I~a0*M$`R)VXud<*UtII{lHb>PS_j`P`6|#5KP99Oiv+cgZwk)uk zLe?K{{W zQjWmceB*l)i{YvD$6x@$gl08I%%^KhXrD{?>8I|Pgxz{!zl1WpA^=G{!#YID7LK+onI%A#RU z#k@U^)Z1}2){%B=)?uaA5bykzW%tNNum4-lsc3xlWD6t^@6lS193cQ~4}^=$J+E;4 zfMMh7>A3SF)Bd~QUJqT}GvVf1fmbcWGwCK$Iz;X7)pcCwuYLo&L>8>u+2YF0P2Y@) zJ#YT(uuWf}GWh6U;-ApmB;MICBkRx{-qQZK)creUcfCcyf%vYmi9Nk-PSVzI+nn#4 z=hP2(&L2 zt{us`ZqtTobJRiIM8nXwSxT6e?j1vv;yle%-F6tz7f%A&hAPJJ#mdGl7t{P@4y4l^ zYF-SEy>MF~lzL%79(iO(YRB(~)C5u)d1s#uC&Pvs<;W-_S@N#}uh8QvzELM}fvFHW zxQR@fDfG|r+1+EQD1O-7A2Fsq*eEI*nml~9L^@eDL^PY?oG__$HSW3gF%!eMB4|>z zvLQrZlmFl~g;HG(8~r5221yfiB8l8Th>S9pXu|@h^ghsZcBJ26><`Thb2St4!ci@g zeK>~9CiT*|2TGbpKQh}cAxbCP(^l>es47S}2UG#Qx4@Tq(TSp9^y=~PJa#FFlrTqS zY9Wnbvn1p0u|;cad(b}>IAx0Lu@8JYdC)Y#2Cn*3%)ZDXfUc6Np_?#9r(T1oYG@Vo zB+&+m2~*xtXQ%=3V`vQsGhgmN;DjE=Z>?B(!p*@!QJsk}c|;rfH^@l=nE?`|PG3+S zpBlPb<-o6kqU z7TF+9qER&zSqp>^mV$j<9{4X+&abg%$J3(GTkwr~_{U<5BN*quu*Ac|a5%0SFDlMR z+uX|sqjw0jdopq~+Jlcv&tl5~4h1~KdkzgT5NrZ}VOLYj=L<&Upq3=-q8y5ArdH>r zL#^S=fZDP4vnQ>sP_K*f-%p)tg7daOZ;5ujW;xH~VB|Xb`GcG>9dz^7&|p+`19dq> zVi1oqZw9_w=$fUlM!TG+zkfOc7CRk03C6vYD8KPCqXcB#V2Ms_@zS)gYpU%2MWms3 zv~kvSgEcStg7ysZ3IFP%8@tr)TpIhig|BD&jI7Ym!w?E_kbG+X!2;`G=6n7!5kJAe z(-WJ)+(xA&#Mc&ocvdt#af2ZcRLnC=h^YNpx3w{a!6{zzlWo=El&D#fv@c*ZC*J(D zJqYitG5(kBOr-Q&@uL#Q=@-}n4IIj%s$ItY9u#BE?j*9>1!<&k>ldEceC>2Eeju3f zZU9u1t6>+a{ZM-LMv!3Gb$#Nmq8cfP2#Hy_^-d^^LJe@T5T z5VE=dp~Z8@x&Ug}NMCD!o=MD!zjZyYqe~!7_Xy!ptLu9AzXiASjI?qzVg3ZTe@~qk zkBvLv+JdPSw&#!GL4|~kJRT*ZuTS`k4w~6Dqfu@X$~ng0J-_BTRb;|3V<)jwC3z*m zN~8K2-1>y2pQL|~LXQo>;^EAaq2{(5L%`BX*v77r%JS(`ucM*?H;xPEd!*}`>e_t4 zb&4WIWE)71JmwToHO5x@FkRVFM@s%^AB*upsDb~aNu1GVK^F_lGNDDNvy5*dY`nj2 zMN=_1Yy|ZBZo`PJLiKaa{PIRwkbi-c>9tu94X&~Cl4x_xl0=*i>cL!asJ2%I@yqzn zq>PMr9h7~@&(jkE!aT)Az0(ZP$ayyKnpT!H7W}x;2YjjxEx483=?b$}d;E&OD@6VeA}XXZAS*dFEGK)#r5l_g{loE)uh80xjq(g>8EP~v!);H%J|eLXUGm7J zpd%WRBNEBtXM_QBNE59=UWJ#}|jdDBdS5 z(cj~*N^0)?F@^+}yYCiQX7elsNKL4=A5#y3v&OzpuLKK&v4l`u59@;gJ2x^2%VHkH zYd2#)l6f<6G7FRX$nax+QX5S+gEQ3CvD*KUI~omg9*%y{4W&d$LX#KdFf=Mns(S{y zN404KPf-$?Ihnf%$jPAC->bC9y3GI4k04?Z;d_dfWi^bIVcMjx9U6qb-9`I>Jsk^$ zsv@pbYY2fses37c&q)SQMa|14B;sqa<811Zt-lA?&(GtujU;ZWd#{H(1R+22?wd0k zhkNcm9rC7u;pp8XHw=e3ia0-4-z)ne($TZ-Si%t072f1D4a{TFF;PS3_ z&Yt>t)i8Y83(hM@sJ@4JDFPf8aKRyab=5dwpJ22hfBce#+tj>;U=FUI;pjmCh3C$3T42|R-+O(OGsqJx^s&1cSFYeAo0 zB6=GvI8Byvb#4_-%XuqTOX);-)UTh4D>^fo@r**q0}qQL{OY}J>LehD(UkW0(sbE@ zSwu5kWr{umPloxt#24*1q#F~9CYQ8OITzi*f*N3jeQdCd4u6d!7pI~N@RSFHb$l_! zzcd-7VJ7$^&q${wy)RX#F~_QSr-K+C)eGS%^{5+ zo?ya2&R4Q?Zc%s}Hd>=a_D2)()dkF7?0toq(oVaAcxe`l(N;>`dHEBy%ax9)i7@=N z+b=Q#(VX-^UO2KNaZhp=hqOiq1aZ86TsbL-;3$#kNojyC-A(6*_Hc(xMO-Pi9vEVZ z>wDTT2-FnmvxyIcjVl6`3-%kOv^JW;iz1lJm@~V|y^_~uv-Ol)3Rra>vp~ojR5Sd~ zEz6TK#_$I2gPQJysqS8o2dWCwT)Dat=AuG9y?ecsQ~ns?`lV_}DF*6AT=b6N$x}p8 z5Zd9pu(XauMR+mO*On+q!g<$nBu=Gkn#*~pJ9S4Hnp5U6H6jD6`6bRuyCfGZj80?v z{z|8cq0QT8Q|&{n^NrZMohv(@@4&4ddQ^up^2PI-JiPwXQ0cb^(lZM%oR?@em?0hW zv_ewk6Q{o&^@s$6-x!~i+j=GTGHV~IMar=}FW6=g{=Y)5F*Xxmi`KUL)i$@bZQHip ze#KT>+qP}nHn-Y(Yx8Yh-v9UGOm1$@Oft!2awd1qmH4z?rCgJ82e5pV`uTUF&^{ht z^nETO5VY$O0a zjcIb7qJ3yPy7x9PAJ0NSDl9rh6F3HZ@_>J$`V6YpSK(yXfnji1ph~0i76%eOl9gpP zygZ0?BS&bA!e&;7fv?B_7-_}H;<9j&PeWs&yy15rZ^eOcO%f27b-4s6ZhC5DQtpHw z-lu=WT5KC}(RD43}7CUbtfU|1nP;RQV5H?QDkr)<_IohUd=8Bb0) z$7g0R6*=TRvhxa6^3S%Ft0RzDfAj50UG+y#arUuvyu!3(DDw{M-6m|t%2x-)oD}fG zu`cXS*;4`wimNQGY82gC;+UTXxjAcSZj20sVa#nzI+6xwJy@((tJXJmeDr(As4S)J z)T{$3C3ne-{qASQpPv#*?#s>P$aY5lNO?1aR#PYswDlOV9B)U>>xbP^>$M?khNH>C zZ_n|hMkr&biWS}u;N>;_feUAqF2$|D#Das>@v?xDXvu2+(g z(M!wEzWpF>kux_3gMLqB?(Pd2!lQNqv zh|K|KnBfKX$jE^huv_$>N_4`8wn2@*e&RoJ^6HrbYJgjM!>wxB_f<29yaS zDp2Sc7P$}98!{xJTSI?fQn>J)WfgZ+T2i^A`y@N0hZl@QMm5uU8DTpzd3sM%ZGs~keD%A4lStn4B<80up+8R4J3)H>4|{X zRMaBZX<`l>*1m{nojzk&t2H(WE?E{dtvJnPIR%?!BxA~Zm%m7m_{+~!qrSvL6m+%< zUurxL-!6Yh&o%{IJ2FPr1Hh)NO392T(38dmq+~{z>a5Qb-O=OO53F;JvFt5uuVjF; z91hr#w>n3U?yc_0l2n25oUq3-z8$-}2FU1AN6YPmPB2l=G+)1Wdw2)ov*j6u(O|dM zAS=2Vr7+8eG&F0|)!=t?TVodv(CAJ=K?MNwP)Tz}Wp{vlxl~sq z(KDcsm}ifYa>zcpw>8WYh|!0J48!T$M@IP~6PIqfQy{HB|0&lp^K^D_yl2wU?UM*c z&z?;<2~tJfhL9_Qo^}ckEO<=y?sPhx30|g=)tMA+WnUOPB7t6QO8~N^e|#JMjCE3G zeE5$j%7$yOnHlC|wwsgdUjyjRrem9?eF`|iUXJFsH%gc=IvMD$y= z+ClnR5E6IwyZBSQtJ1~4ncqZBih9{;Evewt;OxxIX`l%ZG(a8gq{CL!fILHz_kn%2 z7%Rd(cFe9x=hyX`n8RfSTI4Q;U!uZfUNkC{6&X3nK)=of#Q5a?jU4wo(gZF*jKuRA zG*0!E#=v=aRNuCq-)oPQW~gDYa%bm8t=N8sT? zkN@p+lu>7g5=86{MMd6E$iG)*9`WrTk;J>zhlMv``ao`wG}60Pau7e*o>Kc&JnnI% z*5bEM%+}G}A&Lmm#R$_m_LJ0#yoTSw#rhC0E9GC{dpJ^0>kIC4X}DD=zXelv?kbV)%X+}mgol5svq{br?ZBF zKxXC25vZ~&=ONh+ zsrUJol^d`4DEMx~#QdaBp`V)!w>yFyqOk8?iom)zuY&irB3vyO`17#+pcj*+Le3GF z^)`!xwhNtw(rxINtV|rTTqS)D&#^m&r+!ZI*)(_-Qe3);h)oFCWh^5y|XcTocid{{^1>mU$07YiQPRa@oOUKuYC5?C< zX)doCb`#BT*fr~|jGu)C0MD1yV0Guy)69m7^msr$S>+T_g)Lqgj^` z9Cs=DohaVlpHW$%e#l{cNytKWh{@S}Fa%?9?PCM>qFyh{7WtNtsbule$5d7O$GB44 z>{u6@Xcu#7Q@T{9p5|{QwAL&r$meY<(Xtc%yrP&m5*?YKazX;6sp^W2u>*Mv8L(UR z{wv?c0e{(`FeLasU_nV08Cr(yy;T4(F(y2ycYsq9%w@JjIIvR9Y2H@^bG@_#jR>Cr7t0x0JrX-(w@istbW!b1c$4!GePi{j16bCw|MF>zD5p( z?t4|U|71lpVxOcM&WCYcR~Ntv-mh_n)wGADdIQbwH{bvt!@fL6Y2G~6 zWHY!*@63ofub6_RWr}x8j1{2Ez=87EuJHZ4mZfV~oR8cTxl_ zyYiQIsxuso$DnHE3vPn!0p{6}^6M4jMuyay#M`xT7F5NceOoh|pvbTz%eRC1W3){s zoXv0D)0b6n5_@$x+bkjSFwMAwLengq?30}{eUa^+$rG0aNx;}KR^=ozUc;Ei=`@2lq5{?l)y5%MH};>HcyqM9j`1^ z6$;j?a(N|-OwoPbGr{h z)yavlRk%ib$_}4}AA>w8I8z1D(opI)W{;4Q%ksocN@Re2BXHq|y^|iEgIQ-f{6ap3@OH6o z#8(JEp-ra4WiEC!i=TK>+yL7h2&p*zXL5B7U`PBeJnys8ERd8xLBHMmjpB z!hAF)5Vv6Q4#2I>(pk(W||b zWPA#h4LBvM(h?Y96rQZ~c%KyI69M`(lX-Hu_hOV#Yr4U#!lT%Mn5}iGjlv|#$@vxA z{q^qDITyWaoqViYqgfd&cRX-?P1ZVN7g~aO6Q7GF8BY~=Y3x`}UI;={y?MOA?&A+V zzPx{=G4Ok8am=JJink1+*I14LQR5mj9{T9IRxU_!b1-P+m-6yp6IZFY{4E}~|Gd53 z5y({&XG8$h7uY}7*1~eF;5B2`E1OJ+$nBz61PkBbk?5GRP<(Cp)$`hkUs7V#6 znCN7(09WMn4)3?|pQVu_9<O8&-jrwVC|99zDv z^Kz)tf;L#=9$)!^2>aa=Y(B-_z~bVCgarAW2E6||rk5r+hTrX7R2fG*<=wW#)dwwnKgDYri9`MO!B|a%xXs+(f9mz zcH=|ds#+Y*L@uRei)^JVbQ;x4%K9NPn_)fu5ld`B4G>jS5{|Y-v}uK6Ua0U5#jM}N zz(yd>5nrAmzX7SqFpy6Pb4S5=1yc4(tA5fn#k~cbSzWJw5C8R(jwU@%me!yBXI>na zI3}K)Eg09RFf_}Dng>KK$EkpJ-G>fHYKoEhC16!ezvjsNkU`Oq~kx7YIzFOZCHL_wzp zzfLfH=}XHQ#&%K<(ST!pa!u0ck|=nHb2Ta_P3Z9U>k;>AD9cZYID9fA;0v)8M#}Ba zi%ao=o2&1UW2{^}QC6LpkWYMe<<}2`&t?FRwxp)$XFoENJmT`|*&`zCJK&+#6bt^>c-Xo2^>q-6 zCC@}L+PMxai|h{^CcRhtDH&vxAeK76R%4s}WGjZne&2=ps|rh>6QEdd=;-Yv4P$l8 znXQdMkPTw!Q@BP%KNwv`59B!Rh3ja-VA1)eusTHuKLV4l_^1}M*AY1kQvGF_$-0AM znBH0*dI+hl<$d02#Nj=l;V&s(j)hWE=8uQjYv}!c-kctRSnG>ZQ>fYGGTw}*EJgq1 zE+3Df5|VD?6TC$^D&TMNtM<|(zEWyCf{C2C{-e)?Ce%;L-xYBG4p#OeK zC=^HD39YDmiu-gBTGz||yrg%EE)9Q>taCkp+^}f z6^l-Xp6l@()wWnes?%Jy!^g7D36bN5+4^H>EzAe8V%~kw)q&>N0(qv7cQr0-QA8XW zT%j6KmDE5+I4sJts5slZi286D-#2y^r&(^=k796|v;|mr+P1J_a4%4zh-cv>A!7^f z{OG&e`P>^Abyg5ZFu4iY86XIb=`ck&eku4rK>P#bKS2EhbQ^vtOzJQwM;ht@C@oM= z+YxW9F<`AOeazKq@5~=OcyBY2VyYEi`_ADdsBjd`kvfrtMpB^fYju&_vRzdJZEvuC z092W4ZjMVrWFj*MZO_vPk1e!xbwja9?+KBa|REg09 z>KH?9`v;*+@LK4tQt(a|NKHBLRCOO@qF7`BMni;>w)_x|!MK-_eBA4D9!rM?XJ?S% z@Y0~Ma-PFDlChaHorO3Mgs!DvUOH@0j9R+>3nFQWW}uM4jn-I*o;_1W2m**@W|b1s zvRQ8_q*ZU#9!G>c#jb>m6<9+)4GRI!Ss0?c2X8xsJv%IXGSR5mZ<5p&x&o`?ZKy?5??P|K>_vwes}r=HGq?lJ!h>nNm7n{A z%c{P9ZeAO%_XZFO)p!GXlmQfC$j7tGHLBxxD5eMV2s?;f^xE7!b($q^#wp&CMSX^% z!ZPN=F#gr6v^bzasnwza=h*K-_eV*Z^s?yJJRilnls)~iQJZ`7Iw&>lw6KY0J|pWO z;oz@i3d~@0x{Dhf87n)o2#*_(OU^Lwt>B9VcHC_p&?b#Ay}{k!@U>|~t~JI{DbHbba(G)-gh zK%JHh2mVsiIyuZIF3K=~X4sn~_RaAvl#BX{y|V{L_)wuwa}%iY*%cVcH?5aQ+cVUo zL}Bmriy{~xBx)UFD3Hd7`suXfG@5D@xS0&KH>7Ro6F0AMj*&WR459;qUOl&$|B?;U zKL>Zae^@p+C?iBBj4j)oy=&k0Zf?FK=I#$;4q>%kSqtqBRVQwr=OTF8I>EG}o<85JM{%s|y5&QfCIcqk!bg~0B9kWWmy~rwkwYOz zNbRvsMj*|PEe8K+4isZ7cuz7ivq2|4Tja;bI4z#SNiZl^8T?n8FVTEKgsWcs&65@$ zOp(v0JET&?xP{0Zy(rP5uMe#t=D1ep*}BYXuZiupJoWb&q`L?LZ?lwEt_6a%NnTwI z0andAs}p!SJD5F8h-M9dSp>=S=8AMGNex0#3YahF>i9!Fss%yP9{N~X6R6aQQ1d)O z)fJ)mBzZew;WvpsGQUrPo5WHQhBAHzvI;pp5r#$vlD}3Gi-()UG$VSDL{G7o0I9AT zp*Wr#c%fS-Q}Q|4!B%=7kM2Vq-^d%7tk1@M;s?a_+perds$kpwau)*uGc0>#-O9ZG zL`vR}XF%i2ZIDImus%f0Rpy-F#;eP?@{d_z2;+1pyP@Q6GO9)f%8iFw;LDH9M!&%V&+e+?D-u6_oJR zfWLYEo?o6$VB;UU_UE5W?OIX^M-~s`_cN3`LpYVtsb?M#$s1#VKFDIC!qAqBgN%o= zLh2Gag#jqSD6d_7^5U{>>DE57V#rUf2m-&CP_M2QMiCj<TxFHS+p5TfXFr1F6&Qm# zXo#q3JK0DjXCKe5mGYgM@ci%*FwLR7C=sWTo4|?78A?Vl39$Zg;GFv?8=^X93bfDf z{Ufxlz>gOmu?dHsqzR1Zy#uxh zZ9r55IbI&f_XtH}P#CVbpNC&@goN=?9Kg5Et>(}jSRUaDIh?v!5N|e0nOV&nR2+=8 z6{Pi0To6VpQSJUSs@1%SuRY(Sl?+a;)PbSXj-i-}0X zya`vHY6RgpEU!GEP1nZAfTIkxx-x?&=87*Z5UpTU7OhdT-zWjh7UEWf9-PkAMrSDz zz!OGbWFk-qM-@h1Iq>Q7&Igq)#Gy|ZbfH{%bF;<%t6NcNFbR55K!5fCxY#{7pfA=a z8&QTTlubs){u3cJVSfIY3`MK*@T|7z&Is0SZ$EK`g|g}=#y84u?7wZUe_b_iD9HnY@mR-h*uB;2J5qtVl>U%xhy8V z?uqK?ITA;!CRPcpr$$r_Are>#VaPuu`UMZ}z@_5bi5Y@=^EJVzzDaJp1*Y7zLfVPx z)t1RmXkYz&2Jx6i8!S2`CU46`&{KwUeM(3N;gJ{n5UPbMK0+N5=5;0kO@*H6CSggK zK#AZHtqo~i4h}c~l9AnQ2f3y2m9%BJXmuZ85P=MQqP+B@>jhJ&vMl)uCLRme(!?HF zU2u)qx@j5pMUqmBQ(rn?EZ9=rP1NrskPz7Fgbq4Gys&5`!t$?BRN8iM9UZfQXbb%7 zO}pbtF!ghJLi>k||Kif?0ln*&bX)wuiW6#Z}JoV}#5QRw#*=D~?$DX*M}_9SNouCCe= zqcLwB&XV7cI_{&_l<>LRRq~D-!y5h%gY<)DjJVpR2f_;t_ebWa)kh#nQb>#XSS*F{ zq=l^7R1PvKz$Jz~R+}u}vK_OalP`j(A6e%|i8LE>Mm*O({Nojnic$M&KM1Q}Jt$Rb z$AWeYQ772R`SCnbw{N@Oi*MO+^eu;m=-|bBn811 zSuf-a6NH*$iBW(0DBNQWX9Y!br$pIhEjnzvbSABDmI@X>;zs((gTf}CyLJCsMn!tU zH--QzjsHxMfTI&)TMsL4w(-q#06UK$AHv#~$GO0boba3~W& z?o(3%v{dxW&=dm;6*4wII%&N>7nUZ7^#E=17Sgpa8uwR`Kvzr2cXBMWcoM>x&cuIU z3Fj0GP)3auP;r`_PXS9%K-%+`$MVM>$Sm^l+eBq(@P>2eemFu=Jw(tGC=%6P^GsdJ zP@_M~UBU>oJ$6_ov#u!dpEc&Xqui7nDl?P;{_*j`LXXrQ(4&wbNEO8379zA_!ri60au%~=$g$oV$1(JQ%O!xE%9gl0$hJ8-eF-u)VDuy29__`6>>-Pl zyqhH^zWtP6#D;6`NatmbM&wb}68C<>!$82%WB0X_CGMw*k~>3j22Q1;WAb(p^#bg4N+XFtYscNcpx%WWMuui~BH^(gDk(oKNc+tcRy zb(54>;vRo&A4C);@W^pQ`gc!C+Ij0%G&gKCgX*Dqm$m(o4E7d{v-X zIa)w^<^wVoS-bn3(_x+Bh7jUGHpOuRe_>fqs~z%hmlfD+P0s6OqYm|@7u?cg;clXN z4!%#5Q=lp(?U+@PTDs2ilRt&g5=~o{j^XoOApEJxTCAQJ3T6JAW^BJub2g4zJKOQ< zerv$hxFeTm`wG}8U3_C~VswGU16j*hIbNQhL**mw0nF z^Ha{W4Aev2p~%fFGVq#BNLs=0t1m)$E#5uIs*dSaI4ZAzOtTG%Rp1pV6gqiTLo+(I zSZvi06a;7Haz#Joo6b1XkGe(yF6eeMp3sQTsHfW5gu5+0&OPKw-J-<0AqU4*ep&b#qpZ9UR%3S`}J+# z^-v$~H^*PWcHikuYfls})5Wf~xl-P|l_Aq5LG**x-nBDUW(!kobG5t~s4radm%QfD z14zqHwg?aZjtclo7$`BPfJ!eG;ifQC>a8d&L)NvFFZr6~?*I67Czy(|(vvpy2lwaoZeL z6%Gg|eXj0luXJ=09*R8yA&^3z2`eCW@Z)rM6yBY$D|LloF|y;TvOJ9#eGfz(%wvKT zYIQ~Z9B&N|OxA5Qcg`=;T}7+!9dqZ5p?#zy4HfOXe|7r!EAIB~{04sJrBPXaW@#WF z^Qhb{XuG>_*(0Vgtx+2GXBzj!eyt)6?M(#R%RE9t(^$f%&a6xVCv;48I#$O_4DlmG zo#_pJX&$I$N4nlhbYn9tV5Pj!_C7g=ALzIZUl-E(6f(W_$RG?8nNUlZ(2uSSRiYgV zzRSP1>mS|k-#m74mJ#PAt-idS?X;iA@OOrIoR}d*@&t*LYD0L@4HS)LiWW7WeDFsc>i8 zk=J(W4n*|SOqVM?zK=^O7)Q)kLT#5D=$uyu8>@_00GgserPgl>_ls5sMn>I2-5803 zuw+MKD5KaUlJ8!MR zYhb zvgLG_ZMXRzNQMdrp6#*nH;qS&SlN#@z|+akE<76`myf>_GwPL(lh+ZSmj~G`G)v%g z#mAVYAh|Bgr3PFYTpH}JQ0DXP8th>OrPuwx`(28X=)!g&Xz=^o)VN=*AymTaL|9^4 z*Mn)mN=&+CIiZUbtB&Mlh4lBgk;5TmOX8Ay4aXm-%V;YU`%GrUsBY{uHKg2CI0_MT zpkbeHpx#epZy^;YAl*zO(onxU(|}9@jd^{bntV2ojN-Ns3SB?m2=qVf+jL_lCW*spLRV^W54zeO*C^JZde}++ICc=J^7V6X@Eb~E_jHfRA5HkQ!U^~+zt1!uD>jW~fX00MX z9p2aa&!*3!=e)+|11Mu{G3}2H?C?IAd*VTzzqxS}GF*0VFr-~pF!q&y5nCLn-GL!k zYs1pNv{VPVBd?Cyb9;RQeBP|X#Kt`Xx=ua%%``$wKv}W^hG7@Rw{@%Il5;zmbknM% z+$RJk2F{xB9Y0c?Pj}QNBUr05VJLHe>gx?ybfpb;JH00mT}fnq?oUrkXIrI4no`SC z^b31HxxybjMjtZXj0YdI(RGLKBQkv7o#-Bp(ChLLyM(@v3I;D9kGJoh;Y|!Wbxt-?8T`uIze%QaQQp zKQ0L6iUVS#l%1#<1tij|zdd#r9~BhN4wsTF->+TwyuLn<3xDs7pMC8%$*q=b1j&cZ z?W*UX%`s~8o<1BG3icl3zdVkPn19dhJ_PfQW49c0XLal&j!WwGqsUb->I{{XRTu8y zwsxs^3BCwq>uqm)jO7SF`}UFpNs<0K2+@IMz6<*cOfbjlM~P;pu0; zPe4OgV^=4bYxXYcyab3I^>e3oz|(&O*YtqaSS>B8*>RlnqiqVfhRLwr}OAPUY~u zCs|%2<@PyL{wWP1fYv#?34iNn6`}!KF zQPdsx#@e2hegCVrJ2kX9)8FEd2GZu>hyu}y5LH%&+MZS8sLoAT5%b=OIU<6q5I2u1 z^_?!^kevbP+A{C8ENr|)pPs`Wx2PdL+14YAV%{ZKy^6;9!yNY;5}NKXHzdv31_C2o zF%Y&*F%S-6jFy#!ne_)N3mr2n6*Dsx4IGoaqnVhon>jJH7!NBmD+e;EWip_1^h z5Go>~oZ>9Z+#<|u;%w~P+~ORp!eYW)KiD}q*w~qce{cv8^Zj3nJ{*&rxr3#f6)`I( zH_LyWR}|^ib_AA~VJFl2m%db{ysf5V+S%)|&s@$2m%Roqe}_E|))nli3=W4;KguWb zzXEk%Kr7?5eyUaER}u%QAlU7kyjm}_lr8-9i>}Uoc*bA&yGC?%V zF_gdySj&D2w%4kM4g`yZ^Z9d_xKo1ng zkPEB#1+YOpBgh)W8mV@;)%hdyASVL5{KrCdbcf(9tGl9KPVn0z7m`!xyHHzJAy(Xj z&4u0MpM2eImks+kc#T$2e$6z^2nF%tSrYfK+_H(1T|uQo?IFbgd&n3Q#rF5&h*SX$ zj%9c6J2U7_`DS~OT^*GWiH7iPpz9!>BDIHPP-q*BGhM+t0VLL4H>?5`Mi+0iM^Ze! zG_{8(Y>a10yfN&^Rc(PiN@C8xfMeck4mKl4>Cyq+J|@0WYSCpP*^iA+ro8-!SO;+v zj$|dhxrn`J-%*5uDtun5_=bmMB-gDVfsLdiLFrN&86b_$h^lfaO#}c=pd@O-j^y4f zFe$I^vy1%V=MI)I4nHyzX`l+RA{T8Jl4_tDTX?7)Kly2*sE|(}oJCf=o}_ApVJF2v zj^XP9^_O&${@?1^qGX05=hOx3NoasqGy~FqB;{sYHXG)D8E3XTifqb%8P;!Bfn$=# zETzi{asVWr0eLZSJt@j+5?RX}OR&Kl#(ApPTKqU~7I# zTPTU>@TX71+Wh9i0}QJ(MXOuED7mS-e1$f>K%ABeB5{X%2@x(I1}q=w z0`ovs3+Zk|RSu1qk9r9vpO1S9#bAWI4*wMNnU9GN0xgVZ1x>JratfiJkM|I0Fc1AU zV9X2>8(3t7f)746@b3g?L!R_AQwO0k!;SWHaUo9{fyo8K?~$g1Eg3=Sfu#-5w}Tz` z^J#%-4zL63VN&~9+mRdsG3()0`+0D{Xov0ZzdCd|a+z&$maV|IA?Pr)Z+w*%-<}{?tBRyR33e#iEB2q3Z;XF#Dl(+| zROmE)DN1imFuuJtgRSHX1Xt#Acqk)2{ZN@Jk*EM}T(%jm!n(1uvveK>&0dpZ;R6S5O^Z~y7P?%aUKzN`6i5AoY^Z=re zCJL|`%qPf*;M8$0k854-;uUvi3M>Ak4OH-L59uBEW+pD66xbcG`aw~Y{Tjn0Qw8?M z3oX>A9T27r^PsskQJ#t#AO`pPErA$_5y3OSc+WfLzGx8`f_f|t4Wb~Kj(t`XN~Fx$ zUsFEyfey}-s=+zf27_G)dM`=Y0*XgQ5C(Kat+94P+cWwZf{G+z3CbanjvW(}_?k4t zGewQPHkJkvSPCD9IG2$sG-$ysw$mmO4s;G5^_CdOvoG5p{Z_8a?l@F{+0C4NYIIVae|E8;tngZcrNCUpT zv-I#t>a^qcTZgwG+2(YX1i$8eH9QSjOKx=O1*0mkgc5};#WqlXOFY`>m0+`%R{ zjFXp)ivx?E2>#kg!EpugIjtXtO@jj|>(ahd;OR|OkNa+FYlT_4?)v}DqO^lOI-127J9 zJiN~+!5t5+p1;Y8{2|5*oezq^kaV3EqY94=T!na;(TFNasub0b?f%Vb&#-w7q9nVG zxJkeCS;#?6=GJ16kJLQI8UkF?VDG86Nsa}3Y#0mdTqDWcbtx@OEQ&T~6jLx96pz-#Qw3?=$fNnAJPUv<)x|gn86!?BP#nOaQFIkcQ#x16 zQ-hdfa}ZL$8s!yqPU`C_QASF*7OE-GV0!q+GGc|B`|~=Esp<5hu+;g;k&fT5`0QxK zAGFMa^Dp%MD>#~mXu8r{UOy8EQ*b4smsnOuPl7Da(S=-Lx}(`$)4?*Cra@-VZa7!B zL4b$cQ+&6w{O8@~0qkW9!RB28IQlJ@^W_q2^uE9(iKx`i7eO|i#>+G;cAZw><>5aI zSleaK8e6Av$B3d$vq^_zci}?iANV+%W{cMfBCBSH*YLiYg)sHM+ly99mAyBy5}Y;X zHHucv<}0Sp)^1ak*S1Tit?GiOw$1h{j_kH>V{phlw7z`sZ@=%WZ@TK}ZS&G)lZ3muNY?X}%$ee7Itp`j`-Wq;ye=+6)PkK`i z){yZmY^!ua+fAL$a5 zx&4|ti+R5;D?gV)l`AX%tFRESxbPtHi+`@vO8$b3OG{=UA(!G*M|MFIaaleWG;=K% zd<;sakQm~3GBbh7&mI(myely;>7 RPXx#QgAg? delta 29355 zcmX7vQ*b3r*S3=#+qP}n#>BRhiR~TRwv&k_#>BR5+qVAa``@Fkx@y(xv#YDu-CbJG zkY2-3SAYVl*jR`n2nyaDt$^8hfGT=M`02nlg|7O5375_j^qj+1RJIAH8r7Kn?-L?d zm}@wB4h*eP<5Ln5^f5gb78C~zBs?`ea10c!brKeo4H|Si4Gk0zOz*z$e~<+Y6dxP( zPr4!79%JHC7+S`yahp1YLs%pm(H??t$WiN#aBN55Mn$YQhsMiecob*63%d z*hp)z!dvRCOul?fz9j7@9R7gF(H&E_I$eX}qmm@GeH6$@PP#F{pusy$7K&cjkJ}E{ z+Hy*ISbqbrcy49W>tz9G&3ynl1QL2UL+$#QwqH(YAQs%-oy(66aDC^dzbIc5PJRGD z*(RR4xEHfq*u|zu+pQV z$Ps785nx37b-nrPpG-(1dD{Q0aL#3n10Vsh9A;?b6< zpf&LdI}}FTpk!A%t^5oa;q+yR_N$!B-|(ySO9&H7lx-oOl!`6l2IQugWs%}7%}m2utO$$Z}t2dKX~3S}}TI)L=6!1t?Li(6~%S03RU7HFj*XjWk2Nw5=j;mYS$StJ=`P=H)KXh5K3X>NO+o! zwXjGd*l{!ZcL?wTA1&JIW@iQ4N_z1`m>Rqxg0vl$Mx4Ifw@{nVj8E0O>^BRQKv7yu zRkzLANOqb*RcUi65~$&P84^SDIYH@I5Sf2@lWMT^UcaCGjTU4vPfJCZG%rdQ3bc;@Jc{1p*JF(|SEZ?&bV#|`QCnW!RL8SgwQ592H) zg*t~i`j|34Wg$!PTTf7KL5ND^jTK5PaMbQ=5qrU^GXgW}QxBF{#WpaL67^g86B4-V zbj=NxPk1~ekx*~W6D6NtP6QKzrcCMag{2bp1F3}#g-VW2JpF=GOEpvrK>Z~c*z6;c zf80D`$LLu@NoyGg$ZD({sMs_qUTY)so;IkqZ!2@C^4_&T5s=lOf9*J&3evdS0~kSN zgQEx<2S({ddXmi5bxl9~Fl6bOz@|6+r`guQUjQU%VpyDf>KImC7D{c@5>kjzSG-p8 z*Qmjy*UjS}K#M)YaQcJhe=6hrPi1uJGFkvcfJ9WfmKFdX=;4`I{QG=04{O7_o*|1r z{RTfNJRF_D)Jkhu`Qo5#`fEZ*0G?clP%K+pt}O)sBx$1SEY(8*rVVIvPGI)02B zyO}RU=^=zF-KoR0-}K)4Qc|r7dR3Y8gYZO(r}Dz!)nF?=#i3a zeX^XGAJ^ug@B>p7r*3T2;RSzdscmvCfwv|*=nSqm&#Voy;)V;u7dNk2J31hi?f+)i z)KnfB^}v_eV&!cKt^2#@f?PxXb$=LJ#CxJl>iruFSP+Th9KrQRTkPplWrDXWGHExu zT$Q<=7{XgsL6!rA54<>${oW0)dK{{<4u~T?0QD8}t4wHRJ<==S`s*;D?R*D_m)?nWZrU`w%E87EkN936}Fk}jiK-KHFmrd?WfW{Mkp6`CFTT{{ z-SqABbt;C1*43iTU?-)b>HEjBF!z9y!@j67?q$V)v(#2eh4h2Z(xjT_8T{brTFI;0 zk2Z`N*ci3*#wsmL!j<2;;;i}#;YpDM(1_&w51l8I>uNn<7f$z-Y(af2`1eIhWXog{ zZds(OJVHP2s$-|-gaw|=+`4vv+`Bgn^2O}S&>W#yeQFQ{WL-=6r+)j<+z85L&3zH3 z9iyNQT5`-m1R<&(^1&$9cq1wrNt6?*iya5V(m@LU#zBAXtt~&lk#kJIYz=_xkQ25M zGnfj7bclD+fOQ4R{loEYad5oM*`g36xT?UR{zWJuke=<_y%!_qRis+r&9wJN;pv!d zlQ{hM?#JdHBZNRL)dt8~*sHDb4l2*mu;T{y!=MbjpG863Gj4|={R~8lU%G`RXJ_50@hENHPe#U&^CCyYI6zTI{JBQlbfSTO{(Y1}D z+exk6-;K96F}xlP4wf6t2lc-h>;upPlX-uv7br3a7z!61nthv`mgdXCc9sC}bSW<9 znf*kpn@)+pT)%6xH?&AiOsz{i;?6x%t+r}V=Q?DYnyQ-Qg;S$|m1KX zFQ)&Ptb@+j@g;TZ9p-F#QrU*+hLp3<*RzcqB`kcr>g6ihhWVB+2yPe$PX+(u?K(#$|SubFb)ze6h1z^mcwooAVdhWTN5^OqO^#-&<|IpX+y4838B2$r} zi6?N5dM`gmcsRI9wa`RLuw7Kj);lYE(54-bnp|{X7mZ8fo;L88CGxiZ z5nGkl$`|s;cp_lti>kmQ8m-uVXky;0X_^leIQGdqVB+$Mq`WslQc zgeMqDba(*Lnle+U{<>JJnpGvQ(>J7%y%CS25wJ#Vr%js0V8|-gg2=rhqmpBW%Fz){ zn`YH8@{qFR(}Ur&o2k%n)j1iROpcqxbT&%^bI`f+V76lT9XCY1?8(|}{a2(tRJEkJ z;3BdH^C9bQgLIURD5Yzssp!F^1u8EU5r?X@&E6kK%ZXd^7Umlty3@s+S#HQx8RyLB zWvMbG{jQa&Z+H*$s}b9yb(Hnsfu}=g52p5SE~R1+Dp-o#%xO+|4$lEQ1lo`cFS=N{ z<|OP`cI3NF1nR-w5cafEnGRnt5&?S6u z#nv=Kz%3%ttB2Z_neQmS>T0HA|F95vtoLQ}@5W~S#% zzUff6sW$#KIP=Lq9mf6xWi@~s+$vQAh({q@HH=l2FQtG=-&{^Jy77luxr1AYZ4{jR z0mEj^&rE;p0jL9YJvN3>{8ws)KW4>pO>17_LKkvWTO$|R+g1~^1Xs^!#6?j}k?UY) z)4$)Rw*w&l6-aA$vn$|7_L|i5@$scQSfurjsRt!HD1Q6;JO7}h%Y?DYm^=Gt-one! zC$k?=%SkwQ%jZoI=BjX1J=IR}GW|M- zfmgu30(T2Ei;Xn7rGZzjMa{U$9+dYsIYkxDu=h8=rdX*ZrKJ8G)}vrbO8#J~W&CLx zg$YW}It(FJRFOn22x7)|+u}kA!VXOz7fF_duz>NE9X1oCek9RyyYWDXJ|th-G^M@5 zlUvAOReWzr5oMAW7xG*+p`JB;;}lZHY4WmZuO|Su34qpsLY_mrDOkAKv-qcOoz!jh zz!vLKQKgTKsScc?NEHscWDiY!q2^Ow|Ip$*Iw$cV ziF*Jw-(Vny3Vg%etNsjanACIV7~5aSRlT%z*{ydnEK4k%t8W2QLg~FMd{(J~ajufp zoB0+GnP*r`!KSx>;@EKQQxsAa$1p?G#e+5bJkam23~^AwaI-(lXZ|QuX$Q6~?M-UO zOYcm2NVZ9M8&fnc23y`QMYnWb|lNvraQOP_g)CVK=&W(R@=`Pb1pAE6HxixvZ z7&LQtt1EvEX|=`I&$GC%1WSj;D*hacdRw;)pUUE3@^BiqE zCW~bnlO(2OtrWFLK||R}^O+SB!54ZH$Pv>IMnTX^GiS5cp1hGucfUFzcKta%^i$*^ zFk`~i1V>g8QcFdo9BDx|QX6umL$ZMAEcUi4L3(K^@va z$Gp8MVxWxHXSU} z*0QT9SQLU)!iVR}20smU>nN)>33#M4_ek+0h75Fjpf*0|Gthxu(65)6 zpo&xFl&-I|t|gAZV|?ovX8{JQFZ)^OT4$J;iR|_U)d4$yfXy{ z;=sC4;;=fmSp+p1$5|4@4Fx62P5;`;BlkTnd5`6Mt*ZF0@|FuYDvOrB2<*qjk6C#~ zLZ7nODM5~wbP#8k0%UksDm2F~`WSwNe_*G#g912la$1m|7~D2^hT=d&P?cQ-)O18U z%6wDV{b&%@JhWjZJ_ZucwDeMa5vr6}KciKMD|2OiP%VxXCU`V(=+|M+nAoH(-G^^C zea7sa4g2->)7-%U2H)ZiKCx3tZvlevEdnT+-adk#X-ffMHA2`$w0cLq<_#smcgUf% z@mx38HCmE`qXg5O(L1na$JzxHuTY@BGScB6B&^NOdN{8f!m2qJk6U0!3D}=+sf!>( z>{xHdkH6SF4iWdew4$;2BJex~7BkN*be_wO%z)vzpf3^{`NPilfr*yY$BjJ|2qOnr zX8x<^BY~4l0(NrYUC$`ou=0KITSb}}Mfxa{v(Lv+PAtSS24~>SL3$Nrf4>BXihjge zq-;xvIDebxi5Wb1$PxWV{pBuinZT7dXE?9RStozr-0@L~1)!0M z-i19-(GC$sM*E$8*!`}5?dh5a+vjRT-o5V$E=ZU`*bg6jO2@NK$l%X7pcB%7^F`?@ z0^UO2ks4Tz883UfYZv!#Qgp11$BEc(pE#BZ(F)cH8SWtcMHav0E`g?h=qvMt&&YZ_ zVcb(5O9&u!mg}TOFsMx8r!kpXea4Ca1_h_*J``&D=&7ePziqev#8 zY%dn6R3>?CRu^4`+cj$!a$^9&ADl}%3-t5NNC$`v)yzLYx#l698cM5bPJ%8dXdftH zv0DjK3T6Zst6i3;U})SI(a26;_lThHH^dQogt0S`IFEE0arNg1BTy%gB>>fisr<<= zCdE&;dc`ZiVl2^$GvoHziW7N7%RIDLEs~0#LZh<|csM2OO$Sscx3FHe( z&xpvOh%xsiX-B;h>Z3Pv?!ZT@LaTfxpYy-k>v2l33u;#xhUQ`AOP7JgN*zjfmp<3a z@E`N~KL2&HPJ9INXVg3r+My2=K}C~=)ny<;F=kn^v`8&eannX9464KmG76-ccoMIn zq+uh@7EE6-H>D}x;s`!kE6a%S8m75_++-{BDs~dW7b=Ky-D9BPegrIp+y#8M!|b#; zDPWH2;=dE0Iu&5K#!*J&da!qD99=3Be~c%#v*`9%`eW~E_;F+P8Zs@D;keJ(l?=p8 z!HbK36O@ekHj(>rtN81knVszs*!rJrtMUT$9hMkgBt4ekoao;G^1qfG2~IkwJfm9Q zik?84#R^-6FFE7+s%!lN8dU@y5e*?Uq08l^rs{N1ENoQME56?Cbk$<%PI}Q>dTC?n zo=Y>jJ|~MPl0^erfk56+K02tX&mwx?G>^Ry(}s5baY~`blk#zeM5dj$ zc_gROYj^Vnev9IO3#_BcHpa9+!KPT266p*l8u%#i1;}k&vhEx3t+B#3AJudVPnL(P z)vguZK=0S)ExR5iw97U6R5=KkOEgw@)uD3mgnnc^VMMjbZNb-uI?XKKFW}m0d_UD{ z81~3(yfJRY1YW3cSb;GS-XB5RtR;1h%t2a8IfLH(iuCR4rKj9EVQ=AatCY@Kg-EBO zeyO9yL_C{L+7^jn+%!*PGjIctI_nyhj+N~fMU|>AnollM<$Hhd#HxW@_oR{~zfy^X zXsI@aFe#?8RZc;)d2oEqRDJ1%PSph7 zhi~aZe@}qQ>c(%bUP`^#tCc1^L!%}HcPksLN~X(1O5wZraw+`yQv>C(u0QeXFH{ul zW1*a)6aH}-?WdNOSG?^{?`r_+_DcP$rG~K-)hBg9o+9n9vWz@o@@V4#6pBvsNe6gaeA)uO} z++UM}Dni&J&X^DGE3~8}DX>3+} z=@AlZ?C`<#1z(ng6=lcWBf9paRz5kLa7^c!iF&RWxGY#x3%>9Kk3T+`@xV{pdQYye zT!c5mc1Gmvuw=owB$YwFpRX{}xDN0i{P^Q{cEf^SIMD9n!a!}|+RMU48b4A|tJj`i z`NW*UdSx)`MsO+~n_nYExwF(YeV@v><_!ghAffL&sXYg%L;?0Fch-9csL&n^w|7=V zbq5G0ydmgnve3M$F4HM8Ec}-3<*nIej(LCiYAlFSwg*xbuHt?2cvJQi{c0GP4KU3g zxjFt#4@DmvoB*k(h%eUjaTp%XZL$sDOe-h6&ri#rgI%%1m9WBn4K*K*Zt2IqL5k&+ zaKle!QyHQ0_g*{4C*CW!<3vNgtL2ZN{%tN^B=&S^=|imj;#;e!N3KH^L4*B=Wa*k; zuY^xi^SlN-Zs(<-`N($Nd+=hInDMuOmsdW%83QC*MHpDRt_97@jydN&F?$jHC?89-ovW zApO-JDVe6kiZ>0{J6vTTvG;I54&lpHr4b9R-31&p76c4vV}9Bt%K=VO-!5xCns-NnF`~T;#o<^=jw02; z-;2E^$1|0gSefGxjGxWPgTs-qdQ%-gU89qZmGB&ikei$jY~Xt-Z6*vKgn@O7aRLBY zN2CJMJuF5>j{YCcTy=mzbG4qctuwBJWrFXr9WJUs#6^eiHW~uQkmAK0BIK{NgqH># zA|T!lu=DHv(+F(WH{$71^Usw?p-f{xdYwEWI9{(_ojl?sY=_t?NOn*K2i>JU}+?xq$&gYHi;)^5_T+my$6b|X*@)LmrnzMO@d;eFt!nZy*E_pbS z!`B*elzt?-ZxB0YKrkLE@#kvpV_M6B-$raB%hV4<$J)(q>*)+&2O2aseRLIo59V+m z(0Z~8=!Pf#WLnasPE?#Ng-<96Q`1g0;FQqi_$;%blyI5)fl?Q$i*6k`0@OhhI_oqa zs`#k>;SJSF3KW(fV_@wTZc)p<_%wVCP;F>Uy#|ONlh^=1f>djOUc?EBmB3A)goBJ7Cq*|wF-tQ2xK4FMfl-d%;|fi1M#4=A)> z2Y2fO3fLp!e=+qbF&I9W3vx+16bYCamK#=-K$FAq58vW__K0aeBCxGK`DzEwo07KQpV0!#{Wdjx`han%k`C z=+CD`)bxM32#SojrORhp5`{#SdJ6p;Rori%1GE%z`OYs2IU$8M?!NmY*4+@^ zr&W7O1|MR-N7&vI?3+6YHG!>v`{-Axgp$b`7maplHb;#-v}^i=zZVT;Rnu)>i(fQ> zQhJd?X=%o4?Q}NN)5)^xIOumO9MIvD1eP&=-CyobedCvq&{R*S{_-ZT_5*FK^TyY9 zpT+P{K$R?Ac^iRk8Ku<9c^2`hLZC_(gtcU8P&ju4ibUI%F+vJ{e~nFw>~nMKxei6! zu*i5~W9cBr3Nm74w@!nxT*j7Ng+5SFvk6KkH~stWY(@U-n3$TxjR@C`83;PHu2BW7 zJp@p|#BK0UEI^haJX@Gok&{7S;tUje%0~V>hzGrCPr1?DbP|!H7s@_(1RIXLw}owm zeXtMq_%rw@%$mjOWXoU$YfEn@*q%pV%!W(09wser-a!Zdh3gW~xks z$mE)AF4IiuX+F(oltUa)0Lx-iru|Z6Eqzzo3!7_Vh0!(kBzv2B#tw?1zyrNfo`1>f zZa>!21q;t-N9{3vh2q36v)Ctf1#BOPurjZcp=JH zG>0*v*P-P0%|{Xh7qY}k9HcAV71c63Nb85J<`mYy9t&_wEHi#21X_QGT7?|52&#Si z$aSn?UHu_X9VYD(uJG<34@xN`Pn_?GfKhq#O9`>5JtmhE#mJ$p)pRiOjM?7*?oy!E zM5a*2E#!W0A`%00`oLQyHo^LYlo;TMYLvWdnA83IxezsndME~wVH#7x47D+(HU3g= zbIR^gXEJ4#s`n*g0HV{~2gYU5Po4d?=3s9KsD9xJEu^lduaBg!K(37Kqm9^lQSOjZ zQhv{ySU~2cD{ULT>bC3Ynx-cwzs?Nz9W2avy{C|lzjHi3tz~J#`SZEgW z$60V9&pi3jan~=CX=pt}KXb?DmKk~BuYMVqQNi6Qb_BH@`n3*M|CR{y(ApYE=voTt zSq$96_U$@MzJDh*kedCyUZ96ZAtgX_30 z@Ff~`nznD{$v}DPfB2&C-_wFPA~ge zXR>w`KO^!d_-7r*nU!CqLdJ#6moY@%-$aEd2BV6;ngjWs->$ups#>-OD*wLJz1O~Y z>ZbAH%eF4@`b@k?C-J3*Xy;aO+{;gZR-aQE>eu*Q39NnRu09ne_7VVK{G%D~@=B){ z@^p=q;v5=il7G|Tlc~=HsC4$5e?2FaldKm;aDl_MjKC_R4r*&12QDSmn)_?Le>EM$ z7ga#g@&j)-^7J0ys%@%lD(IvbmpjVzs4zbYm*TQ88b!R;Pz!a$ZJ!UP%970eRM?0+ zrAX>Bn%jny@&|YwW;xqQarfQt+AaC{_ymBxfKV~x`^F%)9a7efW8}KW&JIlrU5`^O z9>uL+N%YLB(X8yoY zVp0HFk4?aG5J?<)NU>^WN6s~nArwzT0}=%H|193JaKL^3H_(T&K?VtLEp`HXhXk;4 zq#N5n)1;4jf*}D*C8E5Ug`;_$atEz~xZ50@lE!tea*h5rX8pA zqf;B@{}XfOW+L7oOo#(a=|Xy4ov$NHLo-;Y(9r-M6w=U11toi??jI7^<=Ge32yxr{-8e~m zV>8+!_AqxeUyr+U(uPS1!DQAr0Y+7t27bf_a*Rm!$)n#CWTXRAd`XipRpe3q2or%c zwNdwBnM~2ZZWApb^k6$gu9iFAq<8)1Dv8b83?%YIO~i z7Y}9R5C|@QH9x)=-}1dudU#m&ueh}3gZZ9@qD(jubFbGGxp#3n@>tF@HjOV|5SFD@ z3DxF-AY*IbQ>vP%1&%M9vB}W-SP1H!Ehaq$h1KDO3HRlgc8T_Drw-Am&#uzEBRuZ3 z0KO>D;J(v=(UiGsf;(tyK8V+c`CHW=JG5o`GRi$7s?m}9y>(SKa>aW{F2#hw62-i%I(17ZHshXPR?KVBUlWv#yrqaeoVvI6XnN=UqCFD$`?Ikjk+rixyU9)4@3 zz~6j2$dp+VOZN9Zl--kpTW-qAknU?~Bs0#1ZhI!@^m_91^JAOb8X;Zd-W_4{LC*mq zc>Zl%@b@0w*xU-R#`=0&Bg)lZBw$u(#=-Qe89b8xZRdfjxTYbo;iLGZhM;0e3N|Wx z+)wR8D#TYi9zR`qzre;H*p`?7xJKH_D=RwEkBG$6;`PXWjb8=qD-+<$;m5+i^Qm(_ zFP>vyFy@~*@ai**8!2{U#o)E{-yZb{T0s%AEb`fJCQy|Xc3qvn`n1+UZK$u-lo5sv*Ywq~n_+D| z`5}m)*#mOLc0~~r-d75SVZ{>DJ}H9Y2IzakaLcMp&2xm(^(Mp`6)qty#f4=f zyR+p%8U3h~w>5VEsp{>6JF(rBG2ZTSW7ME9fDbiBs8*8CF5S>N+1uY>!KdqRFG#RO zhO>xl0rx=r>lYj&75u0M4cP`1Vn@O$;q;d;FrK(u0dWH(e1s-#M|K~0uB(}~setTpnPNW)n)vcy>T5CwAP&xDOz+l*03NS zaNN&#*qH9bEHJ{TUT>DsJ(g$C8s5erM;A z1z&=nPVESVrdaDW8g3RKk$!ou%w3@m<#P_hZ&VZ-ww{F7>u0s|AMejLUybm!o4*6E zJtYH|ny%b4YtnxuaH#@0b;|jH)YfFhYNv}aGI)yflMZk)v_<&!edhCTAMscWmP6mW zDf8+z;#q@zu#0)6@yZ|CzYXTEN8;yesLGuRTa= zxf+Q|FeY*#lMhhp;g-uu$K;-B&^VfH(wm{XKX}i>n;;4k~n;x1-T$uBk*=DbT70&bJ#mO&vPLCquwonA?sInXELju;(l{$2$Cxq=) z{g93tV@bU|{kk?oUVF2&pgqgJ@d$q9pL&LGEi!eO%rl4LgVt~m7tLZd09GpZtPTwJ zeLC;-*$Zcku3Z zSrFd%Mw{6*HuKbt*>e8~x`BsoZC6SwP_rOs(U_iUvJ(Gb$aehobt`3DXA?|Dv=mQ1 z<>>sE^K=C@s$`#+WsFk2|L806r*x`6v#1OPz9J6s1hEPW()za0cbl1SMG5W7&n^j8 zZ>X*~@?{{f^mr|wGD<|Ed`GIoDJvR1DE(#rx)qq>4pi-a&6Ai9mAM+7-L0X6O>{-P)l1~)|t z$$$p7cWi%l(U$}$3j~3tj}}q06x;Uaq z3FGKdBRF~E2UEn%LKgOVVg}RU6w02|k-295g7YMn0yB11YBe|jld2r1$gq-v{07k5 zGk%i~dt!bc{wz3fp<8T$V`cB|W5^-%&N&Jv6$G@x6{+zkv13sMACopS|69hEIK<7A zVgUeq?}D)<>v?y=Sp3tqtE+lc|m30Gq?(4RVco|H{B^(F*X#ALpTMvE*BrAu8`Re*^DbP8Z`!(_btBH{_u|x( zglWNyNOMNkOr|tN9_2ICZ9Vcm5Ib6!{;iXC$I_pt?p=Orq+(r+0G_pV1hH20USpso zS#O1zeBh?5YCjjihszh;+5_7g54Om6Xw#=-y{lh(Y+JvC`}y`YX}{5LsFnhiKCVwH z*BM?PtVb_!xzLi-m>4ZtI$Z*4+uZ77^GXR1P4Ksumipt%rre(W9;0tWW#fOR$WvDK zMmtedYeeQC2r}z0pyR<_yZ8c7)TvHu#K?lhz_2HIm58h1sk=+xQG9C zCzfl&8cw!XgFk;}9jBA>^DwYYyQO*^S9AHvS+%j6bFSM?s>au9q1@eER#z{xa#ueQ z0UZm=$!&oA{eN7H0W0fw6oxzSiNE&neW3 z1`iy;IUwM^9k)6FRN4z4WckWYq;-wsr)3*bGNx6nC`{OVr8~|{B|R4w1Whk`K~eYY0DIq=!!R(K zbmVdq*WQc9JNo02Z ze(wNiXO;$43hRL3tv9GEcZFQ8b zOV3Ux+_!gjib(uV&M!Bg4h2;V-{KKdV247K5m1Qvi0d`k`J`eaR$<5Kg#Gn;Qz-9Z zq2i3tSlYnM{I={mD^T}GF!rbG>+E}K%JAAjaC5M(-U@97FLK~tHD|}dR7ZZ%6yf@| zZ4vX|@hPcuub@0H>?4|#jj64v7p_EnMjiZy^+6{sbM5^+)`^Td(6JuNq_ekbv#{2i|8&3-(jHwMG$bn=I zDbiJTmcs$a7V_xyW0_cg7Dej!mRQbn96Euy}Xr_+8LGj z*sHPvNXe{K&PFbYBg6zUD3X;*kpxyS9l$AtqTK*%oiw&)2^$njiL6034rO!fKGCDj z05Mjd0vv>;>Xml!4!RC-yLEf8-^|fC(dxX|@%^+vxff-0F}(Knh}qdUnZdKzQZS!z zK&~5sYI)h!xujfqodz{4FKnvRptH(7EK{4D*gmYG&_Two`Fq9)0R--bE`1>t1A=4QD446+8{OUC>0ml5uS zaQ^T5oI1=kqz0YNLXrG)ds}xC?h$WKp-z(vpPDhj-&%R=dFAU1IaYEJt35pAGP8=Ce6@1*&kOL0q4(N3;^HQNf1vWO%miU*a{39$B~U*?)NI z`!FyQw_6CMc!e<^40c}*>VaznZPMFZazSW(?o*5UK;AhMrJ9ben05?G^K!&GL%K8Z z^$Vh6Ew`-Z;!4c*K!Wav^VmvKZo*$I@)o+y`lwzEFA*1n7fxN-e9X_PDjtX6wZ`F zMz1HCt};y%J=pq#WxQzSZx3M*n8{8kl&dRpCm7M@CRtkilY}hC5B_u(bj1s&(pdPc zhlkNJm8~vyCoNzTNT`9q^r_g-2fc)bb$_IL0*D+;~=(`TF z$P5<1p|75<4$_9sI@CFUnZNOa%Hd&aY;#~`{ic#xWN^Qj>HGb3lduMysUsUL^BL9|IYs-awW4}fO>Qk5+66d1dXW81Ot}N$F63z zSf1a2h6fEDxPIJK-z{6uTG!qMWmpm=s@Fhz@NeN4ndaz9FVngeBf?aLwKnPPW zgOquqfq*7#hxN-V>SA+tvL9ITDsid8|D@Sl5D-`7pO{73t0Hsju^Of=^=!K=Cg0k; zh9U{pBzhBUX2r4{EzbPs!&;AzRveb*{54Yo-KxWzxs`%DVzYlS%9Ft!VU-dq&cxb> z*j9I}9OHD>LsfAZ3KW^!-dT*#3?js(k(*osh~7kM@+-J0&Uc3U+H|316Yi+R{+ECa zZ_6b}Rk1fHt-pnrM5O=%BF>s~Vj&6OP89Qu&#q-SHpn4yFcAYabm7xMZn^P5@EvU; znh-Kcw`7m-Wwqi$YBvwd)VQa%l!h@ajth3%^Q-Ck8R>iP>eDo(%)cj3*S8t7W_ULk zXv+gon%HwhNGJ`3QMyl>WEdw{k=EW_8HAU{J$iXpIXKmaWv5X+QYmw!)N-1wU1o&G zRib8>VR}A)dr{MU0c$qqy)f?xG;DJzFIs$ zifBepM3og5$fGh%`+EoO8tu|NOF?M~v={XhkQPU@cr4PU=&XFhHHCstc=jb`SJXC} zglmbpyr21c^c3F|?&3)xNe*_4hP4u&>EX;swk{FQ89JpL8;hsMjdfs5vh^BRJ=H?k zJm|Bl>M{{`2}XMic5K9P8uY#PezYD$%w;qVu?=HZgeDv4X}UuV)3@E^ypojK|A-)2nEMO?5S(9=g%|n^E)e|FIWGT? z)2A0E`1$hhKd#7DBw4t0q)Tlp;2#lz>8G%U;faV+)(Q$lR#X_)Yelz>?;z#_#6`ao zaaT}A%PAWRASW1A@R5## zI~*YASOxDNj1)jv&K+H`H-pyHGXOpL^bpsiD}iC;D-pqsFb5k8o;5sB`z^;l2TH~XJc z8(gg}d~M3_VJCxW2mg!$1+h&B7+DB^BhFN7%kCvB)ZhEys|N;T7fW$QBj3>!H#7JD z)o|6EkJOA-f_hz)yJ}=+(l_r?k!kcnkh4zOPV5_+yEKG! zLC;nW8t)Zl!aE^mb|&#;KY8S>;WF4H7A7kl0qqw?u{6DRjWeYNMvWy4!zU2Ky;2~J zp+_VOuQF!&TvHXY(aN5PV@P@QrSdLBHwOWFPPYpylAb z%o%6|k&r1`&(OVOM=9nRa@gUKf8#L8^7bek#@*G7iZF;8)jdACjMTK}2@0ExTNF_G_o2*e}(2U1TSiMxANE|&A7o-TC^=<^dWp1W-+GaKuwvu-QFyP}Oukd-o) zB3AOM9$gH8>}SQ$kFtBCC32)uudVVaw_&z~2Ux-FYQkH(iCOshOScz@DbuUIo_Ai@ z&+jgocg8JTLphAW+$&z3%s2=#Q!_}IMHH`?e6e;5nc#6OWK7PsNe$`t1CPw7NXeXI zl9dY)dsq~g3z@1FT*g03f69bFuh+d;pA7QWI=jq(b1G6?ueehvu?SQPRPOqu7k}#u zeFhv&o|xA&{BLpIB#Z<*GlB{Gn7r*CW20H(Da)Ob!VlK|i=Xk*RV`AxcWAKbBq?)2 zLQ@UJH3kvs3Z%Y9+brk>1rl!u#Nlqh6_y7B?I_T&QcaS=m!kMW3WGB{Aw0W)Y2UV} z#?M&5d;(;*3_G%NH^R?~o6CVjdXxASB!d9^1~~3FiTokT8Ls^C;vHX%Q{)ypuV=mg zSJ*WM_Z@WW#$pruSYZ}FVCuUu$ zIFz9)TjcfOCftS{uJq2X&^nPdqn%@?8~dp4BQuv1l}DT)CcB}4<|NwdGbdH`_y>sN zl9`zmup3IB7_HUvY=nMCr9HkaJCOZ%MN_g(XP9S@`LMK6%au$B=nF z|FQQ~9!6hWzGgpH>Ft*4^X=7o5(bZz@n?Cm)24F%C3TAj)caf-j{zaIn|Kg1MoA!o ziOTIV7Cf=t`HapB(J^}_PxcaOn3L6u3^fE9Ku)0z?SLY`65mUTpuhcEo~mbN%w~NW z&Ypsc?DvT8Obj7xGGqHQ$s97$G=)7g>F?Q7BCGonGJ|Qp*HvvD8j5?GZi7apj4Fv; z52fTH!mrfJaBL7F^3TMfAGawy-3(P*`{9(u8)-h%t1G9GTN`aM-v6Hafjqyq7pL0F z0D;ruh+EXi=C9-Ckku$QVH{#;`vT{?HkDlL&lUOg)_po6cP3;OBdUoHSS+Pf7*dEO z7qxsCFbN?AJx$NgU_Arub39I3Ke(#AITGQJ3KJ0OWeQG4cSvQrLVvo0^BggjN!+HV z=Xg#T-Yb(=yUe;j?F2=oqE05Z2M&Hd0d)hcJwwdGCdx=bxl}MS&7aJH_rTP9v`@$ZfetYEtMH&%>m@J=nD>n%xZ|tTGtN^Y2kvH#>nw`RlV7FPhk+2_r0w zQ5=MNs#+4$bQ)en>T9v7&Vk6<2+gGn?GA_6YuVK}A##xaH>wyF)hF9^yT=SccXs9P zO1w@?cR#WN0`&=$0-tFM95{9UUAA{P0CLdo3LgeN4B#1yS18$5m+5a0&gZ`;z)J-k z{td>jGJ@5Lqw%KZ51i!GJ061|M^q0_sPHrxfv^M~oT+R~7o)*{k+rvo{F1hOQO&CQ8 zuPSvo6@nIwJ@slIoE~V@)p1_`$GAGI)_(m4R^Ead)B7jFV87*TnV!l?R(}86PgPR4 z6n^X&PGnX2=b;ksHkhFcfAsx5Gn}+?Z?Cp)A?VEm`@eP{KG!9gk*Qme9*M0wgaetG z?~gb}O@jITZYLne@#$&CYaUkSCf(z;Oy^RE%sBtlKHE-`!R zjH zEEFO*BZzhHovXY~(#6Fwj&@3mq(^mzs}d_fzWoqp2!*#fVJJj5PQ`#xR*TcF13K9{ zWWy;O6rzE!ywv@ibu&*X%k}#F*qy2hqcp0kO(YM>Yl}w;c0T|WRpb&*CIcWg&EB(Z9XDHIu{ak0meW{Mz;CA+ zmrmP_p%s$<@z7OJtf&F+_KR9YNEKrg@w2?cl7P7QM8mwR@p?!9S{G)d9Nl&_{se7U z=L?9yzWw{X7<0fOsayct4TdS44ht7nH1>g_s`qB*!AYsC{h0=p0V(w1yNQAV5g~2# zSqAWvB>|-~ymf$87s_e43eR4ybz^@c06+XwQ|>aafNMZ8Q$Oqc!KPdtwTD9sj2C;F zRksWV5<1JsPko9|PREst?jB~{N56u8kUs}mRL1e9@b4ZHXdMiwz+K7pT!76=)cyMTN%Tz!QcODQRBOv z+1$iKtFTfRtMaT38```|t=~wKb>!s;o?PLLEWW%zX32TaY}v8S>dwx;ppuHE?l(|W z;BlifGtN@;S8>Cp8~e{{Zl58u@EwOEO?$qElv~yG!n|eOlM86$MB~yd(l`PF6$2<$ zA3~7(USxf67Xbmyc29IlEI-=rjBSJ2jIAqvkWUrCBe}T{9J2U!z`OeFs1<-rOag1*B-75{8$#y~`U04uSem;# zw@9l^>G+pHNmdYb3mipjC)q{dP#nf>-C~?AxI?EI)=UPo>e%4orEgPEQN;`G#9hmI zE5T9*J4@Wk+v2B#*faXbbEIH#cd<2O>aPg3StGN=$U>Elvd#C3^5DIen6y}12nH!i z5YeyHL1mX7E1es;-rxc(zknWM(%C<`J-5sa+%s6eq5QcYNQUBg!a^52XZ2> zMS33vr#z9M6AVQiLqPa6lhLA6(MrNr`f!5L3?8QVdd3Nxr*h%__TLG(6kDWD$dr{P zgQl@79huk6#-AiJ#G$_%a~FmQwla7HY?~_c9F2;1o7Bx*uWq;elfM`~HU27YL2fP$ z$^6%vu--4uE{{~Wwk@G3_l^a#BzOdY$Pr8~E7(3daaxNUHZh`qP449ErjsyWoWQw| z!pVYk9Yc-Fg*dCgLil&G{31IqL`83WV~p#vS1ll}9zJ#7l(x4=Vx+uv;Hq`N$2XwJ zq{d8G;F@n5o&KPp^Ak{ZwA1nnXWaadAHE%`KK?{_@xBiH0A8a%n%Cb^_<4$Y)4Ww* zwk0eeHa))&cXnw*suZsvU{5T8E&>kU5I+28fWI?^lZB@`Zs2jp@a{se20<=gRL`Hn zzs+5mjjW*Z1P14uZ?kWmM}_`PLR-p1C}2SXJ@wHN^4u(uF#`&2MS7EpDOwj#xgWz0 zVtj!W0xAS7@c|jBaoXz($_K;U;pPuS=;PI9Nke9{ks?hQ-@hu}i|;lpuF7lVCXr1p zY*-&``Nly}ij}Y1BvNFLuULs9?-7^(WMZ0o?SYldgrEsYU_D8RnUGZwfz-kj-%DG% z@WPHM?i#FlWdqzZdovi;Fs>bN)trMCk^}d_p7l1zVViak8K_kdECyJatRuEsj)Lq> zXuKVBv%lT3U*W)h*oPOp`R;D|{P?-*PtxL-VA~XMXda-n-i_dMIZu;=3EQ*tp6q|T z`dhnnVrW4%YEo6QIq|VTe$aX;edbDWf>PZBJ(L7~Fb7~UAe5hY4k1!9J{+Uj4}`%F zIP^`C_Ol!%a^{(jW5r(?u&4u5I$VLYxMJoX5>DF%+QjY3<8E;KQZ$e;K1)s2Zo)^@ z`y+nEQ$@GJjIRs&nu=C?{*qW|r}Gkt3wkrIGu3g%wx?|F1D=vF!?C~3N=@DCWFQ}( zH7@k_>Hya9l3aed35`$l7znxF&D@NeMp;*+klp}ZqVh7Vc_a&6K1T+HEABQeq8OR4 z85gcAVHy+akWv%%;xpZbXItN9k$zH<(782DVWd!^l@$w5S z%^q1beHMQgY?Y<@9*72WKh9)=#c#@cnNI+$lEpvz%EPySGX$HLXYOTk z(wXFu*k(1Iylod};VUg>>S2@#Epk#pX+@1kC^g~A(8;4C>(bNKkD{`G7}qu)qvddu z!|1B{kesUdUVa>LU$vt8B|!^~rCi|2x^TtaCAXgiTIq=hUZ7BazhEsVh@)BQMKr!4 zD)d|(LFXrLN|#Ca9OlMEBggJPH3TCth|<5ayzf{@rgY}ug9#)*JFW`ciRz<3;kKnQ z_aDUAyYe&{8lrYdsP!B{JEO^4Ld zydf)=CNCKobjp=vb03bF$IlqTR4Kb&wRu(j`je4Ii{tgtRd4CZK=9L3YJ!U9)cN%8!?r@iS=rq1T?5y z^e<5*r{Wp3vFZkmT7^re@zCwTQAbmr61yuve5R%N&NV;$Vp$7Y(mMbLjo z>RrV7BU6;M3fv*f3aH7VoY6fBl&=$8p|EP5`S0erdP_;)(Ot@rY5alI!+DSc<6y7I zXwju<4O{ei!OY;x>}$NPVFB6k1e{YHZ?DR@IL3}F0a8Nwb3q{9u@nEhNB5>>!U!bK z7?I@z(~b3mGfY0WN&CD?<03szZX!XEPt>S-CxKip?nNy|?gLTIg*SHiSNm#8it`d4 zdv7mi^n(3UPKytpK4J+QxYzOLL8VI9=j+8Z#I-Ioten%LYiA)egLe*&Gzqop(1duF zt0x|C=J5O42;8hzlHNeCQdrAvIeh9qwVY1`#K$+>)IUWKbYMJ*XyA0sxWy12V8q-1 z6beBs^@Pfj&mNXa9>Mf@{@h^2dqoGrI6DIrVbvuN{|xe_gj@ZU!n z1E9b5b8WEBcS&p8>2lQ!+<8d7NOdTMQKw5H#mD_QApgfN8qBh|B$LZ(;qrDEN|AU> zItG~qI<5SjFKKd0N{=TC5E&}v6~p=P>1uE1w>ib0V)J zhm}aDr3%GnbVc;n38uhe@Gmlw!?fDt9p!tkqcy^q6BOTW8AoMQsacz%b4(gwIks*3CRLjePHNoP=R%N zT?R}e5aVB&`Eafr`~-Y~UnlUx;y1=;{=L_wJpy-NV1&@Iiv_!-u@WJY*KRbTzo=&~ zp1|4Zq9gL{^5G|yfE2^Iz78hxvw6i5q2*o? zLm+cK4UDr;Yv$0#h6Z{)PKaxlJOJV`a)jE#h`uU*0ea4+Y}3%$QBa-{eqY=VDow>% z6&MX3Ht-|Z8%$KlpT;J`pqguVet0-?F4g)S5%nUu3QkGfU$q?W4JLQh3c*KWJ5nt{NEtt9pUT9#rF?QYO^PRer zM0c6x9)(6$735XT{#L{jz65?0vW5=J+JbWfJcKbUyEKwt){P+JriOEK-TmGh$>5r| zMwF_QN_^fsgx`E=01o_I4U?SOr!3(Sl-muZ2xjTQO^(-KqD##9x0W-@r&!fmwLTqn zJibxS2Jf`@8@ZHR)92o!d)l$bIzXXHiRNgX1c|??;3NB6+-p45Zy+X2t=F0_<%%YS z2%K}DF$pVmECF)nkp`Nu3Ib-n*yIbz*o+u22i1-dtLI|F5+bMC}m$ONPM zMm#eh*%Ct3d_aJ_>8@Q>afD&Xx;|8P~pmizuxJ z>hCKge;6{a=zl4+4*06ln(z(letF0<0U?-)g{gw~F=N>W!Qu}3_G!%I$q$n^VI?Kg zA{j2Qhz>=_{7dZ@I1?P znXM&7@{VO%%|u-i{Hq@;Kc7NLwidKDCR~Q>k}t$9?4M3Li@6`o0DFY5m-7d#&N_Mn z@&kDjtE>59L$rXLz7_tS9d_cr)}i4?$r9ArRZXY84Qd$8Y@0GxGo0K_(s&^`S=U89-#s+ON z^mAJg*ew~$IaMP>3ay-}~134i+^G^EaBo+#1;NMy@avL9%3+IFY&_? ztk_@ZE`@TMxIluI>AW?H@}8|ngb=p5w~24_R$6boKy(2*R?nE!oWM9$rc%GXmazn0 z7u5-o%VF*}0TQ2DdGMu;)a}viGy(*E2v99&BTcrRzoIMq*EI~>`{+t9NwM^hmZB^K zhvHt{i|X65Ra48kEJUjwvNF z5;zfBn!=>a_+EH){7oNl@G(09VOJkvZOQLdC9eX3^PP7ItX9~fpVFCDhUnRX(R zW~s~iYrtezw1dZquqY6+P_gq6A^=4yoj5IHTSUlzSW5M|WeKa$kNiCz?B#KaQMqTuJsj_VsDR-hm@8}S#W+%8HzX%aG7-lc;sBN)Srj938mq6fPm47` ztrC-l-V5q&LS3t{uqxM(zF7;gC2V8s@Lh(e{KzDB{32R5EuP!RFX;)cV_*y`X9H$6 zzh1aBl|>P27Sc-3v?>OM?<%-3V-|-H1M^(7hVX}61Xk(X*zgZepV>;3`EX*r9~3)3 z>uqf&M@j2omRZMOl>&m|*R9+*vDhytpKrKz-?=oT7F64HRNtBw&46~`Blqm+5Fh&|tQKiZM48MqofD6II zNcPHZpi`M>61i~N;sE$Ai)jU-FU7M*G*0F6Or1lH8%`%EOX3AK&adGZ<@ z5p?a~)46ES&2C~6RVR{u1!Z7Rs1nNOD@1M0tkEO?eZzbU_W)3?#BrcFXE6Q6OhLb* zpk!5HM~^x{{zauIx8`WWNXB$(>6pbx7_n=LN*VO^S^n#cHs{;{p!1tq!%1O54BkU3 z3s~`8(~7|GJkADa0vQR--D;B@)Hg&Zx=0aK96RgtCmRd0YsfLYx`H4xp(YEOl4KT{ zJKfvioLu;7S^y6dyd;^bdvGE0pjQGTrU|TGLPYQ2$AGV~C9cW+N0!~jj5ozOFu!T9HEDCf}mUPD2{_yO-i^1Pa=yaIZQi=_Cjp1|J8rDHq^A=}m~CH)es)!M>lGlV~wCQkO&}90$$ZEbuPVzI$geM9KxYe_0daIgUYpb@KUs}~h6=kM$Z0Mp{kQGM%rEmyR zJ!Y%?ep!f#>hSnl;OXjx&0s&x4kqXXZ$yHCSqbd%ngl%#r-e2f(TO?lXW@SQK~yMg z8JSKA##pf+qx*-By;G|s8-I1iCzIt+KmH-aD!8*eV%}oE5oNx>jMHbUAJCX-q>!4h zbE2-NpL!NzvZZj>s^Tzh*R{58Rx8m;flO+5P+7#$!PdX6SFd(4<;shavQ$ANExPk01q?~tEWAP>P z&QA2pNblldLPymqbd)JMFva<9O=!wVLxN5###h!nIFlCL7DHIt8n(U^3ZCs2B_1$! z`>g1{SA4N%nY#&wo3IWkgyL-eFh8pmP71V}=oj#%nzoMCDcPxPy1m!G(a7=zo2-f5 z#4`q2-$lptU|SxYR+Y&+m=9=%Jij*&f)3p2-H`rK)`I% zSAv3#Y}u(_chMp5u+eUhA_a#fu-JIyxoVL%oAIiVr|*UH!gTkcNnRfs3NQ3K-#L$? zU$y3Dw7Ybl>b!r^z|c&6C%*W!c>FU0qp{r!@)jDYXz&==!tw=~JotZL6{%t(1QlFb zDtg^%%xq7aHGAI|p5z+J%fw}86$5z|DCz?&VRILtEpHwH67`lK0-Cv#8>V$L8X(t8 zr+{Tx!d-q#?@h~(@8aS2w|g`CM%KpX=HdFSAzIeaB{e-m34_iqsmsl?i>{ZcTb!YS zu?y5XMfL0L7QSv`m!Yv#n}Vqt^NJ;`y9El_pi`(d+)M;y306bLneTQg)j(qu!_o`O z*2Lq@`x^_8(>)%0^Y@Js$nG9%_hhcVVSY}Xx##H~eto`tCM7v2@ZqSqDSwOg$x^zp z66(a&(hz!go?nbzlN7#uH0<>Cg?#TgQe-9uGBx{U0FDj?snvvtVd@G9FPIHwl`%^E z7tifT4f>mFH)oG|Vc{ueplwe0)ndBW!^LeQGv}U0E9m0!&1<>jQW(%r3vxM_ZVeWMsJ=5J{e z;U$j!Fda&daTI(?$UP`oNUHeF-PUn-VDYTO*~7WA?CG~zlzre}li^;Tx;|`a<8G-z_7I_qPy;VWkeb*b79g_s%vvG`w|qethdb z7yPw$Hqx7E(XK?&{4h|tkw9(->s$Ng$5q(CzzvyUU4;T}8LLkSaDTeFj^qR1!1tAp&yUr3WBw2` z@inupX0FoPqCWEKsRCSPree28gB!cG=5($kvQ;2US#gno+mqPS3)1SY`!7h(sUJ(S zyK^hMa?&3op1GYN{d#5y=7_Azf%l;3G@ zJ^2|519=62vLiPki)dX1x|eLwm$POV_q{*c`FJ(4JTBz#$c8-$9H*LfAVEcQL1L;T z=Pk!oq}2kC8n_pXIfHpaDb4}+$US66f8r{5YkvzGc$N#^m2vk-ai@V@eIL2R+^vQQ zvL5}GqhE=9ufaCZ^m<@;^yxSGIR}ksiqcbi6L|?};jm0+z@hHepCeZ@E3w*r`Y1}I zI;2hq3*QJ=mBYOwNUBTDot(M!Fr6Y;jccizk+a@LU9Ghp02w2Uq4#?#z_; z|HWyfI?`hV(}b1-8OrBvkz48X8BgbpA-xsdF(B>2A#U?Fb&M>9m#L7mNbB21i-yGb zQcM7~lbV(`<+x4W9o|i#}7zc$vN2EHBTXm zEOy4YI8R55%}I*(?qo)}{p5J=+=|Ua@mK)`@Wc=LGwn#Mdi|#3Erf^-deklfzuW60 z1-)7Zj+4m3nQcJ6z?tvIo2>8Vz_SMK*1+Rjvd4!R!`UWc%^GY6@54!D{?$l%zq`ZZ zpywz{Y|ZOp`gonAe#r{6`E#u8_%S#&v+nzbogbRwo#xKjeQ%iiR1PrS zzv7k5XAs7IdZAF{7cDE}RQQ!wvUCaPJUaF&2i@&lN7A%ks_uH+yx+KRv?R~HcUq(y z%iTg`Lgx10Qd8v^Mz~%bPaIo%k#P>(FaB9Mn%X%Ng_g#Nz9`FR*`c~i%r%D3Q!m-L zo>g1ySR#3Z)^KpS_tiJl|Bh1p{*M*>=rSTs`2IC7xudNk!!K8ToblDLJ;-{wAbc%% zni=h`mvb&Y0ab}lTDEb#3QexTj%E$UXvd?(`aU&xKTX8v_uh??%5s z#vcD!KKyYsvesEry=v~c)*BO~!S}Kw!I^U>v%(lsQ~#i{`dj|l%L7{DLGrIPlM@^}d&)JydXX2D z`YizxGi);eu6Z*69&reUg_WC?g@Y^gS{i}ye=E)ZegT1lRN)cl7U$s+|HdLF_Kj0i zf|relmxrB4Op;AZRDy?vg-wW5;Qt+B0M9IMW^dtQNy^5}`#%Z{09BfeEujTg=;3(P zQaeB1+BH>7;_@$yt=)kbqQeW_r`=^m+aY(F2NLy}vX=tJd~_Tv@o&~4v>j+2T~oImS6!E8 zy9FSWyUfD{udc&=K;RZWk*;G2E5q}_EZXPx%`BQN=WtO}9o9X7DPt$tOmz21@$(^N@cE8xQ-T=XP zJg(IAKc2laZH=YCz=|mcHATBc)nLy*=a87ryui5!dNt4k4MKg;)8Q#%{IbiCZh0C7 zL}a$m?K3x)oxw~$P;|l0S$4kHpj3u0iY>#hPP>6zF)m*C*CxNH-m~lMoDS1H2=ZzQ^O=&nH zRU%i$IO6L|twk5lXM)vRGFfs4J8wg02&k@ZLf%>eHccc@#U-5{ByJYa0|kU$z}#aR1P$A>%J2*d=?D{&I+ z+XV)qW2o>t4P%xThUAA;MJA}o(h%)|^*X_VYRb|5>no5cit zjtD_uF9&1OL$sD3p0PtATo3Ng1#L~-p@Jh{-tvY@1CnSR<-Yo zB|k>QMrGc04h9?lzdpWIcruOn!u*=hxI=oG?A6#hN?qex|YW5!^~$~?1cMY8{9t+S(Ly(?=l?w z0ix$Vc+n`9Jl{$Y6!JLpj@8>nY%JTSM}xh3PAzZ5n)6cGBdLW4VegF{Kt$qm6vIiL z96~8Oo}zed;gY?fUOrU)==e|sDX_`Xqbx<68J_o-za5imW%v0H7C2?s_E^j|>?Ff_ zz(A+;cu&D$9>ffpP0zkwJ%B$78!5u?e;SoR0<`|*u>Kz-WYf7V*z*C|AYu-G$!SQp z0P`Ax27kdH%*!yk-w2jbkp2HHeL`>|5Qa;D{WJt}(04~jLMUGl2_Xc;4^%>!l3qMV z>@0|W5Ts;}Cky;w50o{=(IVf<-U(K=YWTWT!MCKfS@gb5BH6Te*ZaOylf|` zd6??ToGFsC1@?9nWcR?nok{X8^6Bwj@hm5)alrkdtIIjP#rx%D;)Xp+6x6+{DA^cw zMWH(U$!-0mP-Gr1WBihEP9_r!Suzdh9EOL;=zC!-wx9UMm*)Jhw@P=%+PWLCTjcuT zFXJTX)6lk2E&y(qL__h6jDHXsvLp{~HqEP%Y9$a?d zq+~TjlD%)?h&qi0IG|YtO`_XS+{b7Wl$i{yO8b&8N}eFsa;YkXm&doYdfuki{iDpf zgAPfnv!Zl4fm{C7He^RmRf@23v?{)-w^s=_Cp?i7+Q?x=Bb7`Y0Ym#a%gr9#y1;Rv%+ngoI{g8hQ#S34WvVg#GrHM@F^7M2)2JiyTKhEZ zktbo0b)z9LB6W-ng&4byM;M z8oOh*Q=kxfZeL8(dV)k+>^}IXXgT7*#((uwOKOn9{QkDdh5{J!!+^jrnG#Qvn;?Qg z|J_X@!hwlVF0;O%8Mb>~q9%l+%t`=Tibf->BBf=4?fhR_haV`Vg`h#N_|?@;S@Os_ zEP!vCcnooUPLs2}hKO&Nw^N*?JfH=aCbN0WeaRD%eky2SLS*Z&;7Blh%hbjzALHvk=Y({{csn!1%QXpp7E{YV8ART5 z;Sq*K?4ka8U1w4eeF_#j*qHJ>jWu{)*RSVuT^~q2PKnoqT0IM2o z!B1V5T^*!|x+@)LG0uvq41L>W)N&U_-wFkT`Uz$ zY9Az%SaH~_#Gptzrx5vQ77(QPZnH+)>psLIMISJ|hNN=p)|@SM{|09A&9-u9k5V)y z-W3X{$|Gnvb(;uD?p+#;TSvH}HJKj8gCuP<4PFtV7b{<`nWDKWUe3F%8?2t=xjEYG zo>2tLW{AdsJ+kN~#?OZm&ef(qni8{Ei*J`fIan8qwDR764pKR8DshSCXiff1*@RGy z>s}u#ME|aMnh=WqsR{Tz)Z=UDUAMO5?^izcVdP*Lt}0%eT*-Rn?M~$=U7vWtYe_pj z?qGI%QT%aeSL=B0$L!8kyk7hnAq+77+3HT&-HfFBxDLa-EH<#c?u^0wY){y15lqTI zk)wlWE`-fhtgTPTw_=qTQ;t{+#kAW}n90eZI`UwWm?~%+VTTvFU3LDk99XYpmD;9- zKmi1@_LLM=EHE)yDELSE!@1}%FzTurDe9Z&<@@}fm|f$cvZ%WJFKD}9npF;19)~oh z+`wx?G1?{RjM3I_tD58Mm_zHB>nblsFqD7o=pL)=2#)~MI