From d60e640d95bd5ded672dc827993001c3a54ce452 Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Thu, 4 Feb 2021 19:44:55 +0100 Subject: [PATCH] Automi 2020-12-22 --- ...-12-22_1 Linguaggio di diagonalizzazione.pdf | Bin 0 -> 55896 bytes ...Indecidibilità del linguaggio universale.pdf | Bin 0 -> 55390 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 Automi e Linguaggi/2020-12-22_1 Linguaggio di diagonalizzazione.pdf create mode 100644 Automi e Linguaggi/2020-12-22_2 Indecidibilità del linguaggio universale.pdf diff --git a/Automi e Linguaggi/2020-12-22_1 Linguaggio di diagonalizzazione.pdf b/Automi e Linguaggi/2020-12-22_1 Linguaggio di diagonalizzazione.pdf new file mode 100644 index 0000000000000000000000000000000000000000..e5d4f2a2da282b22321936e65f00ec2eecded514 GIT binary patch literal 55896 zcmbTdbF47WvhTh4EZeqi+qP}nwr$(CZQHhOujl^uy>IfKopW-tbN}ehRCjtZQ^|CF zruthX^1`At474neB**tR?~qI^`1JU8hL(`r+;pNA*3Kr5bfVS<&L+YpMs~&~bkZia zX3pmLj7%(Syu6T3&W^PlYFA6Qfybu(p+9O=2p3#`U7`mU@v5{OXn}x=a4UI;_lPYjv`u%zdZhD+zfQ$! zhsMut4hl@XQXxqQoTrhF7i$-CT5H~~z##9UTdJ`0X7+2VGcmLp%MWG}$1MtGxTbU4 z2vj~*cAr62Ww*(UUpSS-aeUw3iO8)<=5hh2CWRvuJ} zaPvi0)O1rM``+s|diOo)-t{_&^v1Jza)-$K14{N~4IzAJzZ;WXGqTvo^kRlVrTbn&qa=-hB z1}7^05eSJz5}5NF5_b-^$C&aIdym`K0Dh2IcE-R2MGJz|6Me~Nb9VzyHIgLU^fL6j zop7_kZCqT%;EC9Wx}CAC3`;jt>@ce*+0;`PIMzjV)2RDSQ`9GKjR;Y)8?ZFlD)T(2 zOTvyr!bMg$(PQHwI}sg=<%YoMu8R9s-^e?dK*^_P_I$R1S&tgYRT>I3jypRIF!i{_ zcGu~CGB=4E9IP}5Jb)j?0b3jMZSU{*mtPf6bh0i5)ROkR>8|V0Waec-rx~vC4r>tr zIrmDie$vk2{2ZPelq(JN4M<%98kjGc!+skAm>-$LJ$C&-Xtdx&U=&CPL3VCzRh zOEqf#vRwi5W(Z8&^qA#&W&cWh-c*7)dM@#uLL1Tq zujxE+3g29_Dw3^fwCFaf7PDl^xQX+Mx;{Ui3`j9er+NKToH?Y^tAhof(R}X9)!)?ynLu^mI(y4J) zEh%D(@jlULS0`M4CbCDp72lv3Xii2I?J3gtjB&jq^OmPZ+zn7s$GmgUc(qGFvqG|N zBn3YXw&BYu6zDu0yCJvH~KvO2OcYy!@jWOD_w7 zQ%XzCA7*x4Q4o4S{^ve-Nwxm~*+ba7$sI;Sdoci$gi^&N;{4JN763c6K?R})X}g#L zXNx(JtJU2)k!4o}4NZwn<4G+$zT!ntiU+h7B-T0ObS%)Xg0}@AvhO??1sPnJYoxBj z1-i2()<%qJMU~EJ_SXW5(!J?N8!*%%xyokUx0ptJ*T%-{W$vbKs|^(YJvcFY2FGTT zk~X$TQB?;hn44%mme7%NrXC0;1RH5iiy0WWD3@N@E;15w=fL?^FN}8KZG+ZlaG&o-93S*c?uem2pvsy(LhV;3%qs}KEf;4oP)Qc4f zT8nH;<|XemiLPawfx3V4^6q5FgmiUoYA&rxSr^Hk;h=8orp?n#)DncfA=wK|%5{R8 zn{QHIb;l*#whPLgPxt5TUxiLeUQ89)KQ~8)A7n+7vb)J80rhb?iE3TM%u+b+b}lzE z#&a-XS}}1d6kXqHJS=##p!xLX6fHq*YEd}7zF%Q~fzSL~^B_%ZjsHJ>`seCj#Kpw^ zAE6fmJNth{uNzINIARv)-Y2Tat?L3I>@$caAATTWSn=?V2JF(-3lv0b_M5#iiEK5O z$}X@!776o~%Q`EuM{0+2ue5%&_2QpkQA$xw0`K+Re}it9Odz=hfXe@pN7WR`nY}Mf_ur7HPz#WNfZH;psSSG6m+rtMKpe2X<_bu*tjm!7~mOB#UAb&h_QRD^ME~=sEA>XtCk;t0kSk%>zrs zx=KwPoBZ2fpcaYf+;7p+I{}?kc1XV^OI^@Qu|z6|eYDec9|Ze|4n|^MRCLW}91i~m z%nhX>ORt{7rSY2I9M`B8_(|g-<;Bkw%L^!xyB7dAR)Z7AO!|rYeG1cZCiUBM=f4OS zENvAzD%dXW)J$npNccuRTw+?t)<{q~Mj06oG%PMQyNbi@+GEKAS<4uL z=NDI#J@znl{j`LiQ~;n?Y3+(xuv)V4o=jZGa&D*BHCeP4RNy;vNoCK#tdWFN&Xl08 zPnf?aU5Jm}uwt#$)JPUq@iDwK-1;I$D6mrG%+nzGRGO=Vqk}A&UGg{@rTcP4rUEU# zu2?@qvZKiFPqUxVQbnhK*_C8S&!`pou6BDhO0E0|sIeEii!cTZSv?W`p+}+yH>rn2 zZJ}*gqQ)@VaG;)hTR3*>*%*zRmceuDhO5gL#mg>11n-sAB8k95sR-W!o(cU?h+<8XdJLDn3ll027L2N{$Vo; z6v9*xP+&ZONR%&XpVTdYw|Y*cCCV5m`5aoiP6L7&MYUmz!=>Mik~%n55j45-sUDSi8h9ztE5w|GGlP3?k0h+>*ad$xL`4wXPfeVgOW3` z?wTdpm1Mtl-f5d=?U|iRGg#s1)hfDN%)LYB+%U{Vpe#KBZjsa+%QQ90HPZPd!)0BE zvSaDV4<~s+yF{t7s5DFe<>8#=!;}|DkuFE3jcAGUBwc!W-e7Vpt_H8PO-4E=y%IDC zNqEvbKt2teIc2;C_O5P=&RK8d8jZN0NwQYCmcCJME$YT@cLJhkqvZ{O;XXO4O-KkZ*Bk*d-XRN;kW zHpAF6_&#Mcv~HZzGl__xA^JAm7;5^72##@W&~&wLe)?dD4&K1{^y}*{8J^1;#X?$L zlUR?^`F6PsWH+O*=Ubzq=ovXVyoUr6r87H-J#wV743p|u;>^}xgPCNpfv-c1QRVaG zET=a{Q2?Jto`UZL3t{FoGfW%$>86CcE9v2DeX5-<%YR=NwswbNbWNcl)gpEcT~Opk z$(quQ&=9Az>nuZ(?IpxjnKWZEHWs2W?k?Bg)E~kF?y6r|u*UQpsvG9ggLBzWwhPb=&vuVpj zf`2ZG4()hG<=*3mpa2NJ9o`CLYw3;hjMEd-T}uk4vbuuoYS~Usb|_we%SDZ%iB?IP zK3OKmVbjNBJ%9tKn^iv9Vmiu&P(BF0Hu=@7oZR+#(6wUTt`c);^+CAmK%-Zz^)*eZ zU&g|c#qg=E`dVx0a_=l zzhBFG)LH$tesDyrXxV!E5nrU#N<|XEoqszsQV-nanC&6q{-An+;I_uN?ZD%#yhI*3 zg9DZ43Gc#4FFfmc0jpG+gsPcQBD>^Dq2k&?^&g|fe-xx+KmzE* zL5q2}^TbJ~01gsnUvmpdsLmqmuxQ(IETx#1ytKQW9k9Ks+Q3#h^Xfg-{U?If6Cl%! z%MxeYR4H$sV>2OyTG|#f-EA=jAjoaan_G4xHE%1EZ-!W@RkUH2$b6mP}~vIkPzi_B?-LKyKpGn{Ev&JBak7qUOOR21`q6g7+egW_6q~rC0pu zZLSd>tR%^2U1dUd^^3nao+4Et+#7QWe?^}}- zjDA}1@Nd08Gk~}U?5RAddY5t~r_A=SArQ@z0SSRaAH}vqnZ4ii&=o5H9cJ27A`>5q zWt`J@dI<$h;i~NIFCBkrJ34pj>mt+x)D+8$p_}AZPRXjqTTO0(r(3kp!OX^ZP309;5AS`1e_1RwL4gZ<^5mo+wy1l#g26uiN8EYvF%Mp+aDg=8*0~(FheYE z3|dcb8B@AhffoL<*Es^X#jj?V#~FXYJn}B_=lcF>-#r4mx_$21*dj@a`#9ACfV-`# zd$3V>d|y!DO&h=eooJXD{v)DcX85;c(v6l>98nuW@0Z%M!z+F!b#Idq4$$zQz;}Ij zTU|U=syRXd?0&MpKgb&1Q8l-?Pz}K7PzJ@et_`~{Dh+NQCJ0bteufS8>PHz*Q)PJ% zgKX~~-JfrDbW>@1TO#(S9cWWiSA@-`f}bZKff!V2X;*M^f4$$1ruG~P&Q${qM*$ND zNanJKsLl}Y??Rk{@Zz(nzH4gDJU3h5sAdP--tU*f%9;hl^cdtBYsRsinTeY=O%U%) ziGvLW&q(-8DCEVawQ$wUM`<9V8YQvR92mAH8SLU6HCkpFtR1eY#>nblFRCbxVl~W` zCiR$(x(&7&$uxT{`ucjP`>3To%hL4F3b>K}s0Enfru}q_!%Bmz)P8$?_n zorXvYnv)Ceuki)L8}l~^fr|^KOA!eh!L(6=_Z?aH$K69vd1F4SqbJ+&x_YCA)ICw) z_LFghaQBxz2l2jLJl86+bcS;d)@L$7_XDUwLw8|?x{;?vg)vsc(OW<7Lv%4yM#*8(PIl;U(nsj4x)b=9pT;1%&hR&9J#gXFT?p83;+%=4mEj#ph};d7lBqr9ks}* z3)h_`DYKH_N8;sIT}qy)MtQSwlktY=-Dcd1QRc2{iIuQxL%k6vpOy0qZ4WH<23U6U zYZYVl?(kD-V&e5hR}(TFuE1lG57#v_YEKQytY>CyV3kI1kRRG=4t*8=NtckJIn;=y zVpKxL_>jt*wo*|$<>pRv!OvO|fE+18CZj+e@{ID92!-Gd5oi=wC`+CL$tXlj4BTIm zMi49*;t~N#*(-u|0$T*JdkeOZcHEsP4Rv@*Rpj0$q$=3B;0c*X#@C!M-%CV}BZB}F zXXVKM^_24~9hU|g`d+nt%iD0}{5&{yg;;U%$0>YZwnZ#%g7yaR@Ncf6qX*-QjSoEK zc6W_#Y&!lbdLXW`jQ5e1cNXJgYrwnz4Kbfu%T^V|tmHP^-k8c>c5nK1%$?W@b4XR= zAZ?il5V3d&@EEh$7K^hGoAU&-QZW?rAy!c6m-sU%SR`WK@Y%22Ciqr-ABoYVqTQ5P zbNDH}rK@BbNcu1zN&AqTv$Kg=Q_nmMgm1pY?|8|M11!3C|*p|8OhL+21m&tFJ=B>78z!savSb)W|v5jm*JaZa_#TtJn*!Xtccc~ryxH~ zp%(ud9FaPBmLbXAw40XOH_38I@+sF%WW)IEGNN)w`I6}z=vrm!xZdv=Vr_M%$T#{i zo%=^EU7(&;Rj&E)I6i*|t=b$exb8e;kZn|rjZn$IxZgkdM{s(eWJTz&{VMp*o7=Y- zJUag)BWgJ>J)-}Rs7{RXQ3~Y|W;K2K8DzAtQ?8Rxu9EB;x7vLdHlX-JamNo&Xhqa% zTO3oLMp8jkF#WG$YbIYbQ0Y&Qk@jR;O!{#S!jhBV@$B`eNR!}dX{#$5(E(`!yA^=;I!!3aIY!6(j7B*njCaZo={x1`9 zZV*jzS&h3*6gV^!bsR-T)XoBrDI7i9edJ?oxrR#jKRgW*ZU>UrVQTf};ijIUj;@n` z*E*#H(U(l+3u~Wy&PA2Hw2q6*XR%HRlO&am=N_A2-vp=0T2-B*PNmh`QnbEJZ6&s= z(|U^sJ=5cnQ&d+`G}X|x@vU-_rj^TCmR9eicTCkTXA4SXt`HF+)6f|0qud)v3>T{q z9$NKvB4B7FP|6-JVy(C8+{=J(E46na3^Zl&uQu6iJu7BJcARn-07{y5Z- zHN0n4fJ65XJcbvR?b1&OK+(Ha#hqHLN^lDP*k&21iJH=s&HUgH&1*=;uM>c#3Eso) za-$+TS!YvruV=RUaOD_-!k2Vfdio`rY%MHi6SsOJnu0075&!dPwgT5Pf=NBKQZz!d zM&;^|*UWBBzq&3Z^a$(|fQllBbwx2Y@j(q#*r#?c#GV2cwv`>fFN9E4N-UKMYxe@9 zMbSwyNs0AwCII&31T-f(Jx2Q&|81-EkXUFBKm0m?km~>ur z4o2?#c>T&MxtMs-nACze- zRzWtEwO;a^hC#+=D)RIvb3j_0nS!u#Nh=dPz54_KdoZIP_Yg2lxVl9K23$69r1Vk! z!e;>p_rCPoA<!CQ}%m`}WEB zyi@=shEPr_jl9N?ZN8i|YNc$Te3X;xD*$-V7v<%Wo;p!_8Otr@c%3dcLVD&f7syMB z1NJ%E9}Inv9cB5O-bY`}k6@gy?4pAeyF?*A@zA9!%gG^Krs>>qkB&9;)pCI2-+5l8 z;d{H=;ImT+h-IgcWy@Rkm0Y!`1;C*(l7?7jLeX1$)q0t@St;dPMO#ro>k`8m5#z(T z)*+Y1B$%o}B!n^r^|!^1d_*l&@pN|rckE9uPU0Cx4&{DNuT=7*u+NiysYKZCfp3!s zNm4D#-C2eL{YThSCqE1q_{Hz@Bwwr=?&3kbDKsso;GcBM_i#-OCbHMi$!ZW&_K8c(mpeOA;WHZ-)QE=-i`kQ zwlV)l*v7&5Z;7ZG?f-*qXa8W^8-C~=Sm87QzhQqkToCns(9O{7c#{SZ*8k?Vy%AeU zLnl+r05$Z88Nw*Ms27wiYT7wjUEA0J3WiKc&ULfoIEnWy+i6Lv+2N zJYk5hg?PRn&pghS_GPI^r8wpwJ3jB946EkLh{NPqRPU+gi(tHqe!2CeoK})cOHj+U zmcfX)F43ALdud>}n(f1^LU_!vQ|s%R=vwi2F~JmK=w=q=eWeBT>3M6mTbz~$i=q==kDfIlbek)gmKNlo2&F|o^E7xOmzjheFJ72NgEiA~ zJyXpqQWYr*biL~KnCo8QZ$?))8%$!fR5QtIFO~Hej|(0p*rlo&^Yif~JJq8YKw+q| z_z&gaB6E-QTy1680M6jKXX=xQ>EE~6{32eeGM@2IlFeUHN2%KVJ~>{iYUmK|tg06W zKy0H`T1FvH5vv7Ef2u-xx?Di+b?W^aduHXd9SZx~cA6rE#yHG6vjIHAbNZVBx zV1X15NeU59pDQ*4*`#VuI1Hk-L&sLv9`}C83@@#$&JRR{iHYfW3UIxDqWu~OanDBm zKA%8pCbu&m_pUo+X>iAD^6WvzBt`&fJX-vAP?Gfon(C7A0>6}85H@s~nH zd&?dOYRsm4$ydj1bQ)=n96*YY#$}VT1Xmh;(wF^@#hEh)_xNlClQ0MDYyCla%q*d< zwm$h!-$<09S z=F=GoCsS*KNr0ZY2J}W{6#qI{ye#y4sn$`(z?xEhM>g<-fD7ew=tiT5i8q|^*yJl| zalS~M#_9GOg_|(!GngL?B=hag7cv!(J?njhS#se+l#woMLE`!24l^Kb@7O-S!+UNK z?C{Ik&xcHMJaZ1-#pUk9a;|(WAQ7FrggQgbzU$0e2?o2A;il&W%)?|RDb^t|hj3o(j^J5?5KQaN!EpVe_J_;J%s4(`;P#N2HTQt?<^t7@N>Y_Y z_uxG;22Ciu@w@R|zDS-}P68VlLCN*5iMy5e0ne$NIE8FIM9F)wmchHF_y2f9+zzGB z0j*cX{U5u2<6kz@x-|-JK^ulO=iu0a7Vu0y)ZQhRpq)O`dOz!0==ok0ixq?v?szDH~7b@_?PwmFN^1Ra4+SP zOc?~haM)x`m!e_0)$G08ZY-|_gB+){kF%TLGi$Js$Oq)dfv}hzU~2Y0wA>MLD)t#c znF3tx8-SW?2&-@fgW79RY`&6My6J7Kk*%8mHurz80sA6a1moYp*n!uP6WB=L1&|yI zM;OpV*YDuuy_Gv1stop@@4P|U@L`lbW25i6pyCV@cL4tV>w#Iz>})`-5UbhYJv0)D zR8gV++eEF4cB+pTG5Nbv^>t%wa0A`8MJLkp)1`%>`RkzZ3w0v}mI`}-c$*9XLrvRq zhD#Z-k8N&V(_tUXVWJJck4%cO`EUpO4X8*Yjpz=&19EJ8OoAapeMHV>>~pR@Y43`g zvpZK-d6Z-yyEpo@-aw2eKU?9qUrWa3e}g!3YsyycwE^>}>l)ORwu5hH!iJACOW{HX4Gn`}2AG_&h5fB3 zCrP{c_^GfaM`m-W=4=XaF>>U~06ia2WNHxu(v zn%O2#k0#X|xuMSIcg_M<^jh{?AZ)&+Zgo{3fZj}g&J5vansZ^^c<^@~>+BWu3dJa2 zniV67+yfp%luxX(EHkoNb_;2-*-KE9&2ZzC2dREwosNDkqS7? zZg+{omeP8<3tNVo3yMcDcUlg$q1b0~#5d_|U3t%y;wk_%)}tzx+{2DeaHpKF zTO(D{!%|5vrw1}vBo5{zU`VSIqjYGr`+nj0QsUONYw!KDS8AuX!+3H5wP+rfpcFxr zlup}+p8PjQhBqsC-(yed_(>6hh5fbB$|6 z7lpxcKN6jOn>5*~&4?RItfOK-)M45F-2!Vhvhn)1=hecdfO;sY4>jx&WqNl==)`^_ z&>1K<#Y*5w$ZgG5y=|v6hq_790FO%Dw9a-gE-9cMxSfNM_K;SNY|((y;N!NT3;l zvhSbS`<7!%HO)E`GKxt4`r(uKA&3a+LpkhBudwO=PV7Q?pG0gV}Uca30p92H; zC)7VB!t{Sa!;bQ^{qsY)_zRlxaAEzfi<|FCm~(mU{mhDs5#I4j{(N3rC@(;N+5-C& zCtoT^o-H}~mcl6#ZvXwbf4V;s>SKYGjKsGXGPNQK0n}+d1vS^=-#)Q1=P3FRD)L>s z5m;h&YU=|N^LtQt^L<)v@!}wvM>h<1?f5uhosoC6CuGks1(%WDrZ~_>9-1MTyL2zr zP=s?)G)<7J#id$ejNwm6!8YUYu$!ixh&GAf_HBV?KnH=ubF68fk?R`Sfl!L@d&@)-^+p@y&B>@RgNt z+l4$yNcIm*9+7-^kyQ~k^j=NjDxrvnQNndf?;5r&t{IM(JAj^#x*$P`T%70(ma zFno+ydo{?;8G@q$60svUP{8!t<~xs1 zo|~hIk#d_t^o8$FvyJMLzt7PdZXYwPHmn6 z%!r(r(;U^Yel@i=Y8N>1>ARv}r*6?EyDaYZxRC=xlc&XhoppNaXs z2A7#yE-?=yxD1b%9nLAxtqS6b%p2sqb+MG5>h3P<>-@=L?AEuu4XhA2`zx_sa>{oR zZhDo>m46tZ_>H3uxJ}~6rQ4&qEca&l*d-UlKf9R+c2&-JP~x2bXz ztQ}MaODtAfR$%_rjD5}XV+DFUtxGUEl8^7XC_?)0579nS}q{L)I=tKZDV#h zpXO!XD0@r|OLc@0XEYjXHLdugVzzBITg*>x)YkHiq~o>s-VYgn%n?BeUQ;jyuLe;T z#n9i~|AD46s$FpH38VdXRf#s2cFKWUM531%FLiTB^+%~`#G)_14xHyWc=S|z5%~>a zHA0!*)m6F$agyLpC`#?TwtIo9ld9~7D)g$#S&gStaHGzq{3A`VG+OOtV#!UfdQmdz zvgN%d8L`2XEBYAA9t%G|H<2KpiGGf_)m?Azu{bH|V)d=$!v=09GbQGYh923k z1~{}k4@ijDSYJGe8OAF>8z>Y2*(0zkkW4+8$~~}<@oVMrQbf$3W<0^J;qbZYIgg}9 zpCzQ;YB%!w%Z(tSb-}@NCLI$|%o4C=*W;9csx~0uN`vti#Orr2jvHgC@VrKxbJ*GY zX5c=dkWw*Dh%6lG2412Z=~!(UZ!7^6Qg?B&Ez}rWb9dyWD?0k5phP#A(-P@@hYn1{ zEo5=qMrjmOIjV;g^a!;u4It`; z*|z{n$wNJ=O5ki3K0=QRjV*=E*&usZT{w5m5b=-fEakUIAyqWRp!3m2DHv1%kLf`a z45^Ej?~r-8$Qb*3N{id6b`5Zy39Apxk5aC=aNT`8Tw1K)M6I(4V!0`oHL)$FzV(W@ zikeLv>m;`+sDp{=Jxn{G{aKs=eS=aV>G|MT1*!as{_@?mko?)K*Nv59azEX*U_KMt zwIBf&@tDXu3FAgHMMWfpgZYZH`TXhCgLnA@O)4)+q;$zJ3)NNec^nQ}Jl4V=-H35x z=sBpWTH7P0`z34sIqMo$7?RpJdC#tEuhR{JyT;Pte^WP-$|HNLz1Eb|vOBF$F=d=; z?tPeZRy?4hS3rIXbZQ>2-}hM7(1SilAvD zpx(xyHHvHF=sFlpuo?FIbyE0j05?i^cG8}$po>~!Ar{W7T}O#sU=icW{;XC8KkIG* zgM{c@HR^$;y0Vfg@=?%g=Mo05qF1+dc*MY`ycfuq6YGT#G-@izu}dA8{br)D6N=Ea z$jnnr0UXZjGh*P(rf%)*HwqTn!xdA@f~KDRNGV)d)zY_KfDzC{4RtcSoOHw)C|4T6k0}~tbe|5Y}vXwlN8uFN%gnDY& zf@>x!o(zy;%IW~ReK2flE2knAXRA6M`6hrA;>46O0Wl>AJOoEpFh4kNKHx(D=v04Y z5wObGsw5ugW!S4wnP&ZwbLGvm(2K2l{Z72>74Phh*WJd)-`}%c9c-j12JA7C5G|-( zou-SJ6)ea$IyF&I$Cx=*xnB%k)Tt7EZOU1i=z~S!Z7Rc!_piggBtzX1dhaW!g!k8L zacxeq@O46h;awjDss0CH3(HQ+mCS=EHfhsIb;XJ`rRGgTh7D@Y7}if^)xx|BdCy6H zj0?%4+Q>%r70*gdvyu?N9L+jqQ&aMk$`#TkA5xWuVrHENZZfkI#SqDgX@zd1eCkfc z7KH`@87qpQOjJ%!k%9_ku?5$WL~Rh1C5|| zgF5a^x1)e&^=l0|>$KJAQjr7p($OUbme*F@@O|(}*h;jL$S>h)k#0`35S&4+d;?>7 z;q#`)DX$t{F``u~=GQH+FE6jJ6U5n9P^d8t?eKQ>gtkfX&&n(blSUeq%gGVa!9Ook z!%7%^A#?GjCwm=!e_wMRyxgADs@0S7Xwsx_#b6IsCO{P4y^iB;RkNfpEnRDD$N|_i zwg7D!W%apxYmfT;T<}J8FYi5g<{@ihc1=y)$oQ_DAWu3uw{^kdVOr#=!cO@IKHdaF zd2d1>9X;_3+Ja_QL3NlooivgM4i9+F#V$N%PI`d9SiT}(Q_UwXHiC;hN$ZqmdGKA4 z?Ph{87d_Cw8(9UW*H(F)KQG9{e03woy{gApN_n+QDzo)!W^Fo4APbLyBJ3L4R$^h`*%28*CNVZcZZDl72 zt-!%5^QF@x;h?pWzhx`epA6=9G4XJ<$R;=S5ZgLfcY@20m`fy$lE&h2tF>^ z$%7&nc{GVuv@dv%Z7l;u%b$e0zD$?GN!5>CAWK%`y%n&_3k-uXS+|{GfibLu^07BV zluP^7mi3%AP~cH*?;bI3i~Rz)@?1nF5dS^+GT&GN^VY_cN8dj@aRGod#*gb z^_7#H{}AANLHETn^2LkiV}|;=?l<)k$iX3<#8%ck-JmEir34xM#KTO47-rv~he=byj^|%Ca5LXBxiyBl}_itr!=`mkX-~GY)kX z4~m&L1?V1M~R&;#)4_o$sq>*BxXZ^2Rv`)g5?LV?S?_DIDkm`T@DVh~(-?#$#w zl(#t& z!y)qpMwN>p_hDj{x0!!u3aT1YwM)`R#(R_q6OQ9icXwS(rJ8> zk&Jv~sITUZ-R-+xakFcV*M~5O=)9Cg_4> zcTYZM(zW9bZlfape-PWVG5tS8N=63ee~XkZ$`A`|X_}H}#Cf*m#);PS*>W#5(BvP%gQ>z9OV5xBQtql4~gYEtlpo)_E z;u)k45>V1hv+=QJYt>9Qj>mFlpJzK8Z(pxod1oKFKK9fM2ty9sEN*kDGkASpp0lwy zTWh8~7shD~vtvI@qa4$Q(FFFP()z*Nr)3et%U=$Cet7tY^4} zr5!$ja6-I&Y<&ntbR&_SYk2(UxUR=OprMp;>P4ZmI!$*qDsJa=;q07JKnpw&5XW5N z6~_0UDu%9iH~yY)eXOVUOT={kHQyW^SIUSJH7oVk<^R6GfQ95^LU%E`(aaJv#DL};%I*mA z-I;=aJk9Z?*wm#)w1z39WH{w7c;HEK;6w9ijGxvEV5wcJRK{pCam1OBH!qt2Enwu@ zLc~k`_W+UGgZxUTmN0#`sUcZ3v!a6$u3<_q6Inc{^LC)kQTkGi%uAt@Qvyx*`8x#3 zUmgm~(sApIde7)Ny4wIpxZxi#a@p}?=)kznmz& zm=|ix;{8B6F~%Iq{rGb@C-1^t@Y;WA%SfM2bJxz$X7xNoyL7%zsPnN;6y# zQ@ikS%z*3&1sm*xuRjzPUfG)aaOKTJvTGSb_7Cw}3R@fHCp-JZl4ufdchy&Tz90i_;Do*-y+sHr7=2{lnnZegfq z&u!ndGv=P59S;2;DHdxmB=zb)S+k|UJewTa_ZSFax2@;;XB2xN?DI}8*Qi!CmQjv& zxcDwPckB=Yqv}RlM)6E_Xtk%W-3M1NFE1mUqjPx}JW#f@57@4KF;a|7j_U)r^*3#p zPy%6IX zH^k@y9heEMRw$7lC4nxtP33yz_9()B1kQ8;-e+0EWKmle+|@qN&-gd2hX53Kl~3A0%LofYL9 z{>6$rKPYVfprW;+N=$G(Av~hcCNr@Vs}bI^B10+zu%DjM5;V@Wm)qOz$9G~OtyK*+ zu^Ct79~@^%si-A(t$=yMI%We3agy!S5H0BK_+oa4rvb3wVh+9Al{F`aPWn&BF4b!o zV%G!*9caPM6PFF@q@jY<9dHd%fW#=Y>}(xoZUjnILPFz`j>-uiq`LVC1e(0Ydr74<3qP}nu&F^rxZ~_MmTMnP^ibG%V+6)* z;x6|$ggO=J`=80O4ih6!8Md$@8Z^D=2Xl)HI3*i(8ybqH48>UKm?f_~B>+?M@|bH- z6%|Y5EO`|(Ric2oSLOqU*;gjI@dgU|g|7tzDc0YoEm@OO#`YssT*^0R*Nl=u4Es2H z6jW3+h^?5@M+2%e^NL$~_7N?t;^+oJRf8+c(NvRq{qSMa2Fr6iEBGDNBh|$M{edre>?d4f$p74!Y7=QD0;-k z9F3ZB8lVGS*YiI01<$uDiR1{xsxgm4%=9DD1aDL^B&l}^|Gj&&MT zW+*BZb({sc1g-f((?sb_oqfIT|LyW6@Vnz_;)vqxb_hHa|JKVA=GVqHaUgg%iOH>&9A_wttd0}ya2A;;E zcDHT@^yYHLrajk&i^bdYucS?0ibq2DHex6nI8 zN9+^kj3W>5?V=mW#p3Lb&EBkg%SgN{W#!}p+^aZ1)0^dUO#rSCbBE-y;_&#*G482_ zIUq!9YZ1;RrNEbMUtG_5aIxMOe&3c_mcN1`!?H=VaR%&WEs}Lk02Qx5qoNaiS)N?5 zhxH2VE3f6|5jtI^x?PE|JCw+R?__rwfRO$o5k}ZBYWrQh+zud+hh`$wOHSjXtjs@E z;@zM<4R=k*r9XLr6+d$pzJ?Q7c6ebUOS@s~IExUM&#r~lzB!_frhN1UG-G4!^@sSy z@jr-P%*-5rH=m)Ap1!`Gki=m(Y~J*P57ZrH{hCXTh}XVCY>q z^&&inG2VW4BMfwOTu8rR_gDPuq%R>#Ul1cC1JTvcF*tr%V8TF0+(AP}WZXbehBMAG zNgy-Fv7kWH(2P4HM?gbUqhLEKhBL+^-5`4)Nir%pB1!sWUeeKZEzh=cn{#)rWSr^?Aj4OI^9U#h##B8k*C^!6U*DZToKUX!ecbF`1LpaZ<)Cw|mrU zbo}XhaPipMavy`e%;aec%X;E<*ZdM?c^g&vK0r2}ca5c`{d>gjgZlkuu-75;#OWdJ zQPS&KzY2ts8dJGr-fL}?>%8I#M*tOPdfWFlOAasO_hrK8p|_#E!K3vK7)6pU$2w2% zXR@@!YL9o>Ay=!e_@X-7{gtr}o3C(i@HfBgYf>f;wqL#YK)$4#mCFC$pkV*o2;jdt z;KcIJ8X<#3Pp9eiDld0ripC9=Z~-GH`7*Ld$nM70R~1tScq&y;$1^Xt1)KuG!D*~ z+9j}ai}28RLT*-T0ryaULTq45yp#;tjSWi4(DWD_Gx*w5G4mKQkBQZ|^90;*3mE-_ z5gGpnp2a}V_|E}WoVOH~GIsaHN)&hQr|Lnw_k1FST&lMf!+30fJrrI23yxyrFGk1= zP!Y{$+`@>YA{y(X&cdmrM!B2>!n0rSK?v|hB_*SXC=A4dB=3R|4E%437fa&xdiT+; zBV-pHygEFavba&=#OP7G!IYAel$#W;Rm~Nrk&5nUrni0%@Apw>U$XtLMD4TSuL@Fl zsRA82%}mX8diC&xJEtYFCYh8lYIBd9 z&349NSKwOqKQz*wvQ!{{4_4O0$h*ZylnOl9s>>6YrrnGm*KO!$f7i^=Jg~=ja2uo# zz()rUZuj336bGw9=+y`UGL!2pS2>{-WUGC0|0)FU*3sGhYab^Bc;(j*elh1d?S?I` z-oaD-9n?pYc7%j+I<NvrbsiiUqBG*z52e$4%s@@kFl?q3o4>RB9fhs!TJz8j=r%q z%emD#a8FuZQ2IbkeLX33=;g;iHH~I*0VQnQux@)Jk|fGO)NYwhXSZE4Amh8W(b`Y#w->m#ZHqv1T{JTjp^>t=b(^tmltetot&rMzD}5 zKBb_xHK*3Tc4--?%>W^e;`h^sXm$&Fvj@OMs?&qoa$$K<9);@%uLh zn&;Uv=pwrKB8?ZaAJMIOwy>>X`G9M*U2kj3CUReb`wpE%e~RQ(ZGpoA$EAr=+-IPS zFNPmxw_bO#-qH=K(!P`2i1;~f3{M?wh04lSQ`1!er$u6vi8tpUGDiHWBDLc~T()em!>mNn;PkMPn2yE|1HHOjQQfHX zmCbFcY?2p42cv@t&TM9=K6YxGc_n=fFq=+$H{3rLei3mL-oo!&sFe72$}K?`^DNPLYpN?9)iPP4gQn~&RNcwS;~zrG-x|*U zU0nV@iknf3K6?1}6RP_ZxiCE67#{|ZZ~o@-jrOlVwe0W$dHumxX`T$%}0`VkZw6QAX=4Bxk@iM4+RZarpi{hs0^JfKZ zo8ZNB9aHx$cA?(4T!iZen~5{SMs^klIXPqy{1%R`<+N{BGFo@dcO7tj)8HJvMdd3~ z=4h4Pb^_)EB*qx0wao~M*rw7Ln3ST#!f8ozbI#&&*WPtpl+V7Nih^OUTPfzpxWUl~ zc>XrVM&7UUZU>bvFWpY;jJspr`+}|}y{Lw3tpqLb0h{V#9zo@a_hoioK=r)tO@FZA z-;NXh`|&p8KM&>z$Ne?lMh|j{R4Esp*trr#`f!>UW4d{B zopjBg zN?EB;twLN-8w-&kQ7XN)CJ5QaUo1z(L4?&THDGTpiAGJ24&4K>g44t4d4285U%@|K zx^(voN5Zp}F&1XA(7{T{Pi4d{3;UEmMJBy5Uh#NYOgm2@TLQj76`ukLv7cQ)>Jj0+ zU$kGykCYSvC}1fZAHtR}iCvnO&?Wxk2S&#;==Tni_9tK-kkztH8@rh57tlkX#%U73 zPf7jk2J$xSNxphaVIYk!B`{BU=G>Vmd&0tUQYdJ+!^VsRCXO4pTqt#%*g$GuQ{2Od zrf#3+K1zpAqdEetn7KxUdc}yNaFW(pz9w2u(8UN4sGXAb?@$a~YIOJbXx7kWb*g7& zS~my)DeH~W8JFd>75~Oh3sWNt`$B9V{Czgl(12|D9(|q%^-|r;CulmuYy9FWI%&ZQ zZw*N>AcqxU63F zW=QXZJC&|hWsPq`+sCxQW1R>py%vwC0#aBdx9Z#Kn3rp?wC^b=^=;`#jbF5JZ}PFI zh0VuQgm0tpbC~nM*x}GHOI!-`i0ddq%AEbO_a%h~CjoZr0b`&-TbRNS6I92YFixd_0lC3mRt|SDRZ0~Y1LR{r~+uF*(4JlDib5-QOE}A zN^HNU^|Y`wWujGg;~dL~ZCU}2T2aKEQ}0A^SR$dBZOfO`=QiAD0q7;qJ?$I{kCZF~ zREp`n>Uoe%6|O47MYXWK1p6I=$Xh$RYlz=$z<-!nVV?QKIgw&jEUZy;UCJ=1`^!)R zu*TFU>@c@utm$s=&H@RV_+{$Xv=*p4J_cD7>*F4BH=nkE^B&ekbaL#-@`6uc9p(b5 z`@Z&Hqa9uMF027^Vm7z(f7NIPjZme$Z*IAxn0^t?(f7Khz{oUap7C?MLs_hY^5{n3<+qc46m0hd;Ac!D0k=7@g zt~d%aXx*YIU^5Z}{?y?bMT$>(%YrItxb-4c`20C~xKhk;3D!IrnVp>OEdJV`!)xB` zy|pr;o8Ica;syN8Da}&ZK1qP(x7^B#wkRxHQo}2v3n_@?l@u37@fOiA?+(W-sOji; zFAHwxb{t#ep8P<}aOURbIaSu9lOfA2WSBiH(hy?MK0MZj+Yg?W z7k+5R)86TV4FQ5wO#wEKm}x9k)u9k@)#s4EV;-kbsA*AJU1%KsLpgg58~WSM4lVyx z!;cTDwDuD}Qd^uhEiy-~s@K{a?ByK;6UC&I0|1&)_!DiiCf9Bfa9~ zq~<8)e$qVRks+y{+VDguN5{TxyQm?&Ul5cu#dWmcz)*p7i)osJOkv z*WSZ2&MK)7lUbA%`or|<3P8qG$&B&+_K?z7y`PuxIcD&t@0NWq41D6?$?^ zH0x{oL|Dk3#=`ZShOL%gvc9kh4<{gzI?b?6(T~m~8*8jQK!fRJNU~TgouOA20k9dr zqULWG8={J(#{fx{8*+s^;IIZB&h{$e8<`me7AbBMReBFc_K1zO^ugG>_$0EU%f6(t zW&>$q9oF9DNe6BW^~QC&eYkTA&sWoqGsE4(_OaW|28{I+`K*|a|L%I9rJtiviW{45 zUxe%&-Cd&UfH@)8URy69{Db-@aua`Q)vG9H6VPcUUg&DyDgYM)oWr z$TYQ%#@k%Iqmk7kke8NG4*?{9nP+q;p%>u9+DTAtNh>1MKX2-`Fg^3H8{@yS5KydV zRhqbuGhXl!2O{6aD$x*F;a>ANv>NrRc~p#j&sKYS1=_>3<@&!Z#__jS#J`Rx%`ytvIov>p%>eFU7@5C9q?o*)e<)wph28}-_rYNd;?+v={!Z}@sT*dbr*B6FiIsii z{|yWTUkXW#?gGK^lb+EbLB$yp9sT69d&O~pri5x-WST&3Mr=umuAz~3LXM7su13ke zUxaE*O14k&NSb6+uuq!wg@XgK=V>Ihlq3-nlNE!61XShud2eseEwp98?Me6ukj4qQ zmr8;G$zM89Dr{Uz0crE(N&@K>+ENOs$9Cc?e(<{HHxoBU2)g;2Fqg-blaCJb`6UpH z0Q3|L40R2ekHf7Oc}>=j;yI5&n#C^J&WTr|-!CZB=kC@nGu344jymY`I7?@7$tJNE zvxlp1>A9MgakFm8()Va#4=%jN8*SbL@=K7NgOah8!{^?m`mx4!;QlFM z^M;Pzd-GaR$w}TtwnfXH-zZIjO%(Sf@4RFEQ&<0*I-0d1Z%dsVKh#+9ApMZWQr(t( zRZ=mm&vu^DsgqT0)dP2+zIjtDqtku=-5&D=vWjW#rugzQBXzuwYG}ZKCp-A&g$Civ zbU=&rA3*c3^iYid++zC6&HCt}J6@=qPSJ^Ez`h4|A0u88SgR{EmK#!~=GH{+VqZUm zuTS;CA|4)bi_2o{lG!-|EsQ$M9ht`^A7vV3{>&)L(I5jC5D~IUZ49vwz(`BG!Da z12kZ4+ZkF5tPHe#mofV)r=V=E_1-M55m<+W*g;Pe7dHd>tF;Oo^RBvy>Y4u?Quf!w z?qET^UT9msJjxsQ*~q|)wXK_g19GyZ|0FNRNgm|@-rT#j`yZ_JH&*$tU5tt4A1bE* z-2#TXgbM|Sn*w}_NST?xhA#bnJ%3?2GetUqGY`UJjNmm&^%`dQfH#eGKODHu4i-=H z_1(_L5Ahg+Bh-cP5p%}xIVA4y?j0VMSDCfe)2lGm)BByFE2o~2nkAo?6I)TLXJ&3* zm9J-{r&qd_lCF`Envqhxm97>So0hKj_4jXbkOMN)q9i3svn8X11Z1_NljP6qTqOIb zCwpjxtLDe#38qO#P2_d}~$Tax-omp(G>~!jV006cxg+ zeI^X*!8l`*eM4ho2M#_rejf(91kpTPe)K)AyYk#TTmq)^QC8z>%b_GCO;IWm)2F#B zy?-TaY-F8h*+gxeudqIySEy9;RR=wvPn^p{H9}Y;k#06WXKF|N2f|Bdi#+MnJ`t`@ z*@lf4{^Wr>AZjQ_JkNX;bVf?d4+i^g( z-&~kr25Ak4sHO!1XOrBjxnw9Mf>k0Oa<#R&D6}jHhhai`!M%Z{u~58n_~mxz6Xbl= zpCDgemJERXW-T_s_c`dGQ09OXHCqOEK_&WXJ#n}9{-(ux_O`nRsJv#ATe1x~*@0i; zSu6&mevN84qCo})%F!*~LVo=koL`H>Gq7I#7s$8ls8;LEO%J^6g^=)xGRRsy>WC|Q zM<7CVQh>x`jj_YZc0eMZABI>(7Dw^6U5E`ib}c_z?=C`{i1Gv?p2a9lFI3@S$0~48e0!1Uu`?^HrrZ>aE+mwTR2>YMO1u7LCJ;k?5dvIx@du(_(&-LvS_LGjAqb`g*PZZ;? zvmfp)ho^z-;i!oK)zOcZVHNEaZH3yO?u}fV(R-F?uQ6$pj~(0OH*kFyhIIhE*O9?St=W;<)8u#lqts6Rvy)4x8;1@h?R(r|B!)frf4;?OH9Hlxa*|mbVi} zT5*ds>dV@iv#O)=lRP&~`?ezo(n#N1S6fNSEl()-+Ng>eCoMRV>zegtpKK@SL-(V? ziuR)h7orBwNuz$HI@j%yx;y~rQeQIP8imGf6&J2Kq?t^{QWUT3|4R&863P93zyW|cl}>|}PfkGHosMjGPX543P`@%P`}~2Vi`%erp`;M8}mL8PKmD&f6~(#Ic~HiP=`J?wIU6OIdf!0!5(w%mxM>O zVl1gPw%26!rVQMoJ^A{gRMqpu9D@iFDy2{j_e!GbX1)RR)m$Dqjxs)+4pwC4JbK%} zJ61LQG$)Cly#UlKYzz%$&2KDFP~T$|(C8_s9*%sd+3xpQqRZKK>pOSk4d^CL&E zH}TdNQpNsc{eM+aGqL_7TWQD1TKehLx&X+NXNHASMrxa>L_&2@pPi2=xz0K_cq&1(fzg zRDk{XpUo+<2C-)E1MA@Ci;eG#MzcC;YM)?p7f+9>|fAMQd^Kkip1(Ah&d$P07g~pa9Xobmvp0@r{ z82!E<=QJh&b1{plKu+*$HW$;u4-thFys*9{I>OhZ;zmF?`<>yz zx^e6CLTLW?2Sa?r>ASODp^vkvG5(Y;=9_2}JHpquvpZF7@3;4BR+w?}{2?}%PA}H? ztKE(`5vTKj!-v&Vp)n8g<5gq(K7B4}gD$uL@WuM~+Q;-C!>vb$omQ6BosOM&lRMi) z)#inr6F0?JYt13#Vv3Yx`qi17E~)7YPbOS#dU%zxl=t(`1-@8q9~~4t6)PchFR9iLK)nVkGwI*qgv_Vr=v@j!xcJ?u`9frhNx*aJ zr{v(~n_?cH5F*UMAkCqe6foqo_=0Etl)_}W5?=Ay(&%%Bc7|C@v+Qj!_G60F*4r9m z>`4u>1U5~AIEHkjZ+D+^_2*C{Euot5Z#4kDl``}KLzx1Kfa!JbUYPz5o>}@DtXuz|NwPWe66CX`b87$=?NVP~;vXdvT+IuF6VfSOl*% z8guLds}$z;Q!Z5Sv_H<2x(#A7(M_Ma4qG64U%SWAE)aU(j@Fb87AO1UAGB)BT4vc= zxL8P5efpCG(u4U!OjU*7&_zzE<}Ji#zu@Dwr?2Bq}3CV=#;yj`QOU?5_dG>rxbIqW+6({Ngt*P6-Q2;a)sEFYV3@88muB- z3^B#)Utc-W_h@>JZ(BS<=E1V4w{LrW_$Ejc^9Pv?1H-?fSWN$i7td&au45vDZMl03 z)Bct9ET}`K%%OT)BUcy!se^`ObLa+c)84%CNNzPgz46g(+r;|nstug!<*#*(1x64Wg0`fSS=(!~dTCRC`_=sDR+Fdhas#87IrUI#?IaI%MGrQ_xiG zpiqi**CX#0>c{J8U!t0%^%f`pruEAJcz)F9b7yQy;<*`|J{UWo|t?>$$J`s zz-)DN@@44c;HgZ6GWvxI_9ipU)4edYKo&^xEKsL1 zTF#FXIk&CK=gL*IDazd-x%?KV@~#esG$D$uCa^ve*}{n?IvIF^h|usCdQKuYlqfP z{mb0vsxis`SJJh&Wh6J3+$Y8%^^2CfMj|;WK!oRK(TK7e(kb^Vz{kmk_ol;DhVJZ4 zrA-3(LdvrrYR%7iVZT)}OD=3KO(ri?r7MmA@PFoS&CcT&gqM4I;*eoe&YKU{g5v|s z9WqW)ROkelgdYqH$Bp^~vDx5QcY1F_5;4CiPe9+fTs$t>LDBGV{Nqu+0Cg zoaI*kYSVZ=s2;Si9`iGdh`XFH0@w+}rR1_4k4VaN|s}RJ1eP~>6?8m#R@?yBIjPF}2-6`|iFroW^ zKkcLEG78c(BR4L|Gb9zce{~zji67-Yo++?H`=9Lgw-NS#4NoSPf7&fh`mdTd=;A$$ zyC`8xbS%vWyi_EH)jD(}SF|olC8WH^X}9p`Km1g|-Wb%sJ{f#}dtuf~1F7^0Gr{wM~ zt~Dc3spskXFw`}uj@TQTs3En26Ez6c@SfT-NS=G?SPsDErheY3BwiNFqN%;BwfS3d zbF-9$gK;Q~5NATzIgiTx5Q@JnhDAM>DLW+a$b&H4=xOrvb%AxtE6tLD^+;2fp>3P` zm?j|C9JVR21hZ=cImq;C^IhLY{Cp_BLC4||7nUdYm}!g^-`Q3-?;0*r2!%BnGLtIWw>&CC6D_l(? zQWE3QB`%WHL)USU1qaV}+Fd2L58wC*YCHb)Fa3=d{%2cFP+UmF*2d|tb$a^$cAcJs z=^uo}TG?F*c@ZZ|AFpnDe1X1V8YeTAxd;X2GBNos00bGu7aPHSj=Xl58eR|VzUOP$ zPruetV^G3t1vCHxfDhT&Q-vaLo>Ie*874?b#=?CDok3dK@qBA91E4Y~?k?l_@i?CG zz3a)V>&0`k18pcl0($7`h#{1LN|h!%Jtl?vH^vhv6j5A@lxEd5_A5Hsc#O$c8k*^p z{w+il!WzgU6q2xc$_cYXBuTkR=)@-qh4Fs+wX1MFWL-bbGrB#t9rv?}Eur*#mI&}3 zJ8EQi48x!5OK?jdxYyqE8>64E2`FP=+m1J)(nVzOdfQjT=vqxojMdgc9Zc#n)1hyg z7!of3*j>Qxu^AaLiSz)&!W$tKsTKFr&Kfr{h2lz|Fvf6{uFx}3Y`&`)?@gt#DpLQs zr`b!ioKRr}Wr;S%QSr*`*pe~bYy6Xy$DgTgfjUaN#>N^Fi|kT`mB5{9NRyqF(9f6# zd&oq+@<}o;ucC2GtS1A*IL?t;zGX6=TE6FlaA!kSB2-KbrH#w{>{`q+HjxFwgw?+e zv(Awwmba2!oc;jAk-=4N3EGMlHLxRmK#!_M$Ojhw@aU`2f@Jq$_w(dPccpnF@M! z`#+Pd5+A#c=vEgHN0P!6V707r^{E-aziK`o5~-JtYnC)2EezabDd@iR_@9w6^#Jx0 zE?#rLIGI@T*U&^;D@tbYUY0R1)2h^{;6kt@+ ze}{*pgY_q%$1Wmr5sPG;rK03%?H1!j453iH>K}TcWMeGxfrpxnB9RxnIk7_y8n*4z zAHGcWl4U{?u+=*C|{ym=P*Nxcr~5x61G8_7d(@A&UhWS(C1ys*z@C$HlPuuz%s`?_}cY{ za_uw;gk?}1Lxm>>bwpZ49{CzFCz`D2$Mb&lF2ZrrG9U$qNSQ7Zawe;`eIMe3o4)~X z=EPV(2&|kZY+r+<3(d9L2S*kGc-=HdR$#O7OfC98JA7N(E6Lm396vaaOULPIQ|n>p zDL>tGB(8RMa~0$_l?V@_ewuKxJPf8nSr+dB^&@n0AvaG%)1E-6N*+A~AoElM&;at5kXeACacjj;dYN&UE zgAZ}4OynpiWz>i=!@-c35(t2HMM!xuCVf9G$WoUi4e|lpA@e3r5b?i$-G~w<%sbVIwzQN8V0@5SzJbkmIizVEvUKd8Z ziNInSo9U+`uYL`Dds&&gB{mMr@dPp>3y-&vxmRklEH6K?C|mbMtz1}LKCLQWKLISx z&70{a00JVrDn8({Vl%n_l}FGdgENKb7lu6qf;+wRL3v^ik!Km0i3 z-e1wqvaArn0VT^@N&4gr~nb{!`z z)5b_wix0>gw^APgn!J|0ww_R|NizstIwO>nzm7e0I>ijyF=9|EqQw|@M2f{NPuzr* zw`ijD*yVWs>|y=F>!I_7I6z87j5sc~F1bpJ!zFNWXKHWIs8TjB$Pq27~J$PQ^O zHV#EiV2k+cF8-y0egO10ioy#@V_=GqlsDH$3^P?8s;Hm|CASsb zdh#K}0wG4Lfb^jzIPZ@BQ?q=TE_@AJv1r-JtB0$bbW|g$5%I|ANXdh@x7Q+>Mqc1Y z4xU$mv(eDOiu(Q^I+h{(XwR3qJgEoSqr16hUl*mk7_w9wKQxERoUD zEG7j7(zn}0J3F(F)P@#>bnivS@wY3?p3K?$Aq$@mSlGMq7zzIX!Lwp6xC!6YUBH^T zZEs?mEIzvP&~kJ81+BYz8=;10Xi;Gs@hF{UJCh$h<8cPq=#fko`a!1y&ulCH$d!G2 z>clgc@=Nq&w&6N*@_bHKObQ%B-rhVRLg!>%%g-wRFvK74xW zKfA+pl3yNjF%y{SJiyE;?H)P<*VUhoYgv{ z7dMWjIKLv;@`BY0$ZiiRy+&dGfvchi*|vTkctu}`gN#yfgJOhqzC^qQQNIOdGZQSj zodn5vWrQA-TmuZ0_6^vDi&@|c1Oh!!5dYWU^ zSFxhaD%x)r6$)?)Nd`z6LcgribkN$q?HMegLh44;%jX7`q$7cZHF6K2>WI#pR@lOr zT-NOt8Q?}g?Q@`e?i+O!riT|CcH5I;*AqPaA_X}KcJI#Qc< z1Ul*jTj@3MXO0Uy4WWFkpdU%IE%f$iMod%EK$IPeNDV!pUxKSR7_N3XGO<@Nn~n1Y z)u01l%=zMpKln5m6R6BPsLXr;z4pBj{&?YLhT9`P+lojJ<0NQD(W!5)4}Xt15q-NI z5(q+%Ux_RsudX+8L};_?^BW@vi>3kHr~YOebNe8@XXdTBz1Kj-QO@e&lG6O@XjlWa z-*p2_cggv#2X_FKul$3`{G8&%=1|FL4$r3k^Te9|o}_Ue$O6E}`(qDw_>3Oc!Mv;S z6==*=&MQ&{-cR{biRHk_jHPufLn;YCkmfwCT#h~_(#}q2o;-m$xo2|FKTyUZ%>d&{ z?a9VlNzUxq;T<(z>^B22Q;R>ib4&2y`}{0@eCK~|wsxMxoetI39|&kyQ5hAm1Ik;r=e)Dq3qNXCIEQ4NvrxT%I5ks;5pNufoV4>5@~8-hhL z)6D!rlp*+CUu4l3{A+f2I`B9}Rs=xl!n}~W%z~Y5lT-brCyN z@A{igoI@d|TLs0nxp9(g7E(V*F0=~aQ2d{vX~&StXFY<@^dlQ%+1H4pdx#manuo+6 zQCUKS>g#4nx@7TuZDLDr;6*W+Oy09z zMSGquZldd_u911#;LE&70&=FByMF-S$9dn;$Adp4Aq|w3HHq)BtAGlX%z*MC(Kl@` zk-0oq(76z!j~{|4=-&p}wt5ZrXy0eYDKZ4FB%wZ0Y&H!b}t6< zMhPqG&||Qxfz%LIUt5%h5%2bBwF)()$z!#du_Wce;wwwZ;Ie5qJrl6Z`ZI$35=~mT z^R_5jV6zm4-}&a_r*LsHV+v-~<67Hj&bW6rZXWp0LfhB6K5)qUJx!DNO5KRyL^|N{ zDjH0K5|H~oUTq;-s9RUv=4ts?nbpLmk*HDVQLvY#p8{JrEHX)4KD8fevl`st^3^9)UK3FEk@_bUK+6R(eXhg4ByvVZyJzK+ zs8z_O-b{L9f=Qwc8%3Ce+%~}3hGS(Yi;zEPP^eN6H)UAs=dK*GX?dBot>Oc^hBLJ` zdI<}9edmKp$cs~VV)eQG1bD{Q*NF25@rhnDH87$AKMceH4aGS1W-CMAJiAq?`q-Y% z0=3|vVg6@z-HSyFyPeIUDm5PS>EDTsk3bM!~Ed zJBH~9R3o8c6sPKsEVuRpIMiQc;@JAKJ44?)Bl2k2A43&Xa~PQKk`sNFk8|Yz>F6 zk=RL8Ezb8}W5$Un^T~-4Clg34)hXqafRu6oWiX^S&ec!#J6qT(f{SV;P0Z; z&-#B09$p4sDkE;{=a!@(Fff=N(3dc9(6B#!;BOt@|5pyc`gw8e?;q}Pg-}ymY`upi zSe8dfl&(0hbRSyK5X~rW)JSYp;ijB$Hi7mJpzr}_3?ML46Hm!!{MM_-#}9O%Q0X|Y zc(*iLmS_<@%i(Nh&AmA|z&*JRWZBVFe6aBuhd%0D5wj{z8x|ibZ9Doj2z%!f;X{S| z7vFkJ&%#g)QE7B=QMU0o?0cK{e#QJq>{?l7kH+hT6SkqAMC2md!9dd?*bi>mL9p3D zWm}}RZTAl8zr>adLJT19$i6(EasLv%ri1prdur2{soUJ#As#~;5ORsHL&R>teuXqm z;_x&+yALJ|N{$9XLA2YugGlBookG9&R&prhtR`lbVK5T_5kJJaX-eMSfeiHq+?S7N z(AS6j9?KsVs1r7z6GkEr(c7dS7Aqec_QklQi&6~%r9!P#D?cP!xy%rS;JD=Ra7kV# zEHPKVCM=^(sesC@t$Lskl(6fr4+Vu*Ra zlL6QjEkk;W;224J=u^MI4qQK>0mHT+HA&JZbwKHtFhHqEQxmKpT0rUyz}uDuftMgm z04HKa+71W{!Osh=6e5fjDuBQ1$M_olo6vjOep)s!Ti6>7DxR=?AJH*$c2|NpL@btH ziHviPalLSA&#^`bn`mEKR;)|T9BbQC`w?9w*n zVzxQgS-fW2>^)Q&qQyREw7c6kSr_X{<0(hk z9~Zg`(<4qtWYZ{#X)&k*^Lju|*39W*j1N}rWQ&b7g!AniC!%c@kE*XQF)CNvY z1JE!N<$}T^#+6Y$S@MM49~8~KETP}47nkC&(N4C4YStM6{N1C)i)Y(GZ}6Kfg+%Yvp5^0u&mZ$v86S0H;7ikj7`V$$2aRa zM7|5Y<$*6}(BBPpG8eiYnyt^0p>Lm#5QbZhNL_#SkU1cgujH+@hvoXQ1uC%(IZz}HD~Jew zQIC>ZK)mnooP;b(^_OP&Wl=@iUCZSI`1Y-_o(pf4&~JmrfV>;kb@cGS5U+77_d|?S z*ZhpAUItYon`}4N7w&@r;Dmp)fq{K-h(SdU-OA3$n7wV96scs_5W@M(B3nPh`!Z?4YTI4-TC(eYVk*Z88b4Z<=5p=MZ ztgR?bF7R#rwv&Q_kD&d%K7)h+M)-%Z2zt$dXyg?@IEg6YP; zdRSTNnHe}qNtrt-UQM(UQdwqUH1xapOO>-=IyuE z6!0LpctN}T{)x>*k1%P{rlmALQ$3yrUsaw4&0w}+XsFyCj%@N3ib$X0VS$f&;~1$n zDpE$R(+Y%1ptUDvbNI@AM8xr3|336~t?&_UrR7Z$s(9jmQT9$jnl??haNFI}wr$(C zG1InfW7@WD+veT2ZQGpIo-g))@Vv2~_mB7@u7m3+>!d1kW!9>-3OZ@z4mkII&je{Y zm96szeI)A@C3!yyLcST8eksL#hZjlfQn6GKXA*x}{$y%L(!f_JqA zmYM=?w<2aXPf)kq`4c90=Q~*vm(g9XEnE3zOtWRpui_WyqIzw^JAG*(vwgT*B{dpH z2`56(aTEt?{9?DA>-rt}F2IdI=ALB^ISvfsjM!SXVtdDbTi<1*;w4Um<4#y)|LKaQ z8sF+H;T`#FRF*rCDmz?CGD>+Zk%sPFPJ)2GEkfs^EwCb*6uopNm(xFIrK?94b1_iM zE6~-frF7h$hl|Ti#Os_ZovE}h4X~J!y0UCTrD6pNe?g9i^8=K*T`orCa3=T{0dMh& z=;%ppt^iARF|TdEFY@N%TcME!FLadSX05neX8^y`>t-}aO2U@oO%_?-3f71Xq%2B_ z{V1NgStyfhq|RnJP^C8AUy))?JKoU#KreC#>g$9b)q8eMu9PY=rIxCNYvFNZS2?tC zG6vdL(v!*dt`?|+G9A-hS?}YiPT$2%rC%h}{Tt*J7r&z-8PEkwxOf10Q>=9W5sCt5 zQ=8qIV@~>gsE$=pk-$Y$q2$D|jM33vTrS5x<*0^;HC7$Nii{WB zd?H$JS>*<48!@AwprD`hI~(z(GgJFzx?uB#)_j@qb@T@OBJGI&I1e-&_UY(&!mQ11 z#@yqZ!+V9s#N(Ukb}ffTb!5xO2Rn?p>m20h_GJCXdCkt0_u)@wfrf!b?9AH}vDxzb zWn4~C=#g{dtSRf2m5G;`D#DHIj;cp_<*DMZgQV|wUU^v#P~c)budiT8xShnu0E3Xt zJM`Y1DnXA8=12M8gJvBAq|}tT`&HrXm*~lh^M9x;jn-p`d@d%6d?b8#mQG`&`$IK`DD4HflF zt>GPHTATz9AaTiB(^OlPkOiEtyn>Alb%X1?%hXFqO$YV?&y(gaZ>om>UX7p%kIhi` zyy553~m`BXBh`rnl*_LD1lfw;89ejSecA1BLd6B=3f<94Li_Bh`1 z;Z=&{A)dGKxdSE>U|%1t7*GO-F_^YLoCo7ro(90~mW&gJJhQ7EB%ktG;uD}V!fErf zDnhz!J%C?4r)1g1)3*6mz>yknxaV*7vcQhCnNGsnDU=6W@Dk~ z6=me>??$@6`Nb_3`{iKNBR)JRF$}0I3OV2v`H}e2Qu3+Kz=O(QNImQ^>R;3b_QWVaG>`nW6Y2>A{>;UHWG-K?Td8uTI?9NnOUx;*Bl0{m)?vq0KPxzAs*T=wOA<%2hc_H{is zCy04JsMZmuT&BqHSb9Vo_yFeX9>-Yi(~G z&0p`qSYzoeaBW>D_4g=bJA3FM__{~sX=Cii-g5GSL+bn84xs4c(*`jyVzJi)+{PWS z@VRY1FlE2NT?bq-@5DyjZigY;W~IQec?9w^_uO1KJ@gxKd3QWR-uHnE>m>>8-xQ4U zFdjem;stRQU=NAR)w&ouskS*B=?+e`JSa0%2n5YCPkm0^pMakgulB~#kNdvdd$DVV zf6%GSZ^;5Uc&1@RQ9g^)a@l8*T#P^~isyL%9`Hwmxz1C8HBrsah`0BZXz7)I1;OtGPeLCt8)CR zw)6{HVq$0aMU<|TW8R?igLG?OKY-R_5o7hX3d7xriQlq zL`^zZ2a3A0X;!YjPXzZrvlCuiy(Bw$*p(p`E9M_)E5F#Ud2Ao_OwpK4{ge<2JMj$0 z$e8q^e@*!1*CyT-IR+Hbv+X{({q@!KVZ{%FRImUV`^J_;oGsmJ3L{e>^nJ7ib?8e3ZhO?`he&sRlqK29(1Yi-D^l?q(p7W5Fl!c*WT?#-8qwvE$2``xVXON;MX zOqqnBb?c3KCo0PHr=6^1WPTxaqK(P(6}-H1xLaQ+LfRGQ#c#KBQHtsBJ6>9DhGUmH z(J$lvDGM~(XJ<)t3`jfyF+G0YXY4L3zyilny(Y@MW;z~aYgSJ&c_8Xz{RFJ!{u^-DWV{R;gtJH_?koXXJ`P~Rl zNte8IG0)=csgcbLM8>kJ!{sMtE~RS2yMm}v`l%8T)nU1?wfW57P0nh++!UAC+S0)D zIGpu}L4vo)H?N&o-j&6c8Q)%|eeAcJSDyfUKTGgE=)!~d^;8k#MdupZ(#iN@yQotU zxdY`3@+$WSKT-fjw~^n!nml;mY-dq-s|3EWe$3xIv4VT;XG5j^4%QCILOq2k7zaTh zjo@=XXv`nDLBDqzxP9`B!;87~BE)41LnBw*M#_EJ`V<-7DBGmDmA}vA>9~T>c~%?r zn@sVpwy|hY7Zd2})`=_|MEdb4>%0)ovLsx!5sqc+o*y))%?DMi5o z-+8wMG3M4+3K&sHU3AU6T6Agy|2(2tq8V#P8sB|8)un<(a0mGB*hj=sS(ZD92N@>G zqbn%KXtn7^yz@y~bttIDhS&kbr z#%_!{Ya%B|Zh$P}$P~a14xNmAe9BbuWp~LkEKCf5d+gkBb8b5yPEq3c0 z9K)cCbCqrks3!8QE~gFx1Ve)5{kz_Qii)d>LC{)e?USuVA#)oT*o$H~^}lK4Z46o= zuC`-92+KcTtM!yD@VQJrCAJrwLj_EzINHRNtNE%|;(U=qB@!EF!7#n{1-IHgU5TZp zkjnDSVFk8{s83V|z3BzC!$uJ?ETW7`IE^gXH4j?m|2F>efSz#JIvQ5VCLTqE0;}hI z=AU7@MX92Y8Iwp^5g)t~mFxZe_HYSFyiU&urV{c7@%o~=fmXq4#qSIm5S zYB5{-S)>Z3_2ew!12olwDrrOg>X+BfY&$}gP;j%<$8P=XZ%@G(rqkMO_Q#X3u(f)< z_Iup#(Tn`FUn;LBH!-#h)Z zL4W*`J1{!=cWnJFpz%Q}l+C_tUwq4;7kFR~U*#|<$L5MLikR-CpzpY{xT+bqGT?8b zaULTrysl&QNS8uLi;Aq8tLjdp zps-wzXW`%c{(Rtec8}njoETe`%nWz?RB&AFsQlCd44nIaKV)Xj^gPLeMgG;=>f1@l z4d*+3nb43Onl9+#T{dRVL}V^KJ-w}Z!Jso;=+H@gP#j*rLwj`PfAjNA+^u`1;tLgw z{EE%JyygwKnPIUd2|)&9TJk9Koh8{G?$v{dU*^qBy1MFM9>97@PcJy?F(0WLcy0r|Hpiht0Z|2rw2^*@wN{)YpF`1*anAK3lP z&i}S>8w3pYS6>6O9}WT-0sZ@G=-<}-2k+{Cdo9Am_MeVr!D{e| zsw-%|6W2WyrW#ZHDH%S8-DVJe%D%3!MK(?05a50wX}bmHKpLBnof@k;ZWzF9i~Yj+ zZW^$njPMy^eYd?xLE{DN`4&~|iE~7W;ZocS(x&Sn7JyabX|~kqM>=x3tm&qksm_;a zz8CKkuM=;#m;mK+%3xun)O0=lZKb%h?8K9bCQd(n>1lg4b&?btPJDp~R^DSOT1rNY zU@@{7wfJW2BerPEJE-)S($=9$>ZMraqyk4VV>n(ori_t8v`-v4VdFxj#*hNE2(=hYorcZU$%{DM~;66t>1;l&XNZYjg=my6U-mpHgTfF_0&8f zCRA)`6KC9`(O!OdL?iVcR_U}KA70{VF*~`LmAqPd8>UZ?Xp-d)>F&wB&D<#8qbOjN zt6GvI3)z(B6g!rklp|LpR46G>3K0geUx>9%ne&!cjwILww3_5ap_#FW0WXVuJ-} zer$v&nqa!Z3pz@=;TQD7uxf?XKAz4j<#Y3|#LDNg{0@9`zUVx><1P5~SofdHcnB2f z5BJZgDM9afdLr_pc^ zWg#(ox^m8`pHOjf{;|p=F{0Tm0Mu-_N#|RxXgMcoi?VZlp-!PeDC1~fD*_3W|A5Q z2EoTA)Ef0h5dfGNejny}=L)kW+G%_{3TrH)1e1EuI_Z8070$~LVAR8>?kx*^<^q#u z#gJ*&umqmjUHaoBAs!in#=eGdYn|KKxQy%_LIQnU$}FQtgLe;2uLXzCUCoT zk;4jYga>EI%tvIl>vgi)9gMyr;eF3~f7~_ui zxLquB+TG68)U6KmWEj=6nW3;BX8OIj*o7p=-DLUBNb)(lKIIHo^pg8%em7=ry z1B_4Bkn_&eKC>J7QSTD&bq|AZ7hgv3byMco<84Ih?!MrbcV`XYG)*;zwLz>LG}>JZ z>~9nF74@~&6u~E=Ia%%(e;vyPSMN_;MeyM!Mm2zr{N3RMt#gIFx5LSU)HNw5i`(o1 zE5yUxt3PXa!V%RA2IK!sX}fQ#oNZPF%pt{ ze*BZcT;N1$3aK>TxvZntkCL;;d1xmn7;A`QOi|qN?rEz8^Zv3mtTUYg_Su+sYw;cZ zFR{Mw9+|{f`6;$X!`UmsFJf-rl{H4q5!*flIaRp6Cr($(k2SSwKPS%s=&RWF#@xbV z4bdBV={{2WPpNSvx9pA$9^BT^muOOdnarCMwDzI zCH3bdB@LQg2o3^6PBpgmXVT9k`Tf^fl(U(lC6V3YKq{+9j$*7RQ9h=pSZ0BK*dkGW z!-41OdUAuqZl~wPXXpL|}2Ff?JYv*Whc zS2`ZDdF6D*UO^$-m{`C2@Ze_)M+w|^3K|Jgr7u{39{ZZra2rRUOIb^1E zI?7S%aS}2Qds|g=SnVEm(jUuCu9ejy%Y7o;*QwyhEAc;r8kD40eG=O?Q zuSJp)LB`3F;!p_&Niq?OEz! zvh9$A4D zy|(~ZZF|q7l#vb%f1w8n0Nlhts@spzr9A;>Qolyr%z8aGn>NbFj@a&KYlYyYM9)k+ z`)#pFX$!FMamIKIUo`j(&SA$vD@IE=RdkXt@+NaNrTWGlFIb(GozjH&`v2(t4*sF1 zt%v=4h8f4+PWa$fU`s#tc`DxErL8d&bMLv^z$%k;`wDU;`&4v$bi4VngOb}|;c$5d zJ#{jO{tNq$g<=>@`)&CggN^OwB~^J`{ykkbnt7*Oc_8ES$`_D~D`byvs2pB;~vYRIQ|OUKj*lUJO{=IVaHt~HV%QyMWvEvtzj9`xT3fFhiqY?ckKA z^9&xI4M;5To^G$h9q&eDe($%VU&OxPH=D2kX~kc#wxVkSt&;T)VEl{tD?V57P<=?IqIS9i?l5fSJY6vPD{QI3ya{mtB6C(P%|o$&BYbI z4k=0vqCkI8U_h(5L94uoy>>75)tAPWmeJgO6OF<4&ChpM0eHTic~;Zdblz%j=?8R1 zzlOD}EAS!Sa<6*Zk2+O#zaNTT_5$O6tS~o|83g5OH0UM;lt#oB5da(?0_^16gj~PL z_RnXHcc9pp66u#L=$=Mp`~8<5g5MT$rC(;%1NHOBIPUauj{OdWtE)^OxYP z;E9XPo2{hc+H245V&Lk-<=G_5Ne36v@_Dd-%e}rb!sYe>^dN*H5E^!;+Zms=S=1(P z0z0|TdF)r`hAs2@Pqws^p_7&o-_N#ijmXNt%UY0DFJ1K;_kLCm?O$s`taNQ2gnD1H zzM%f)WS&=G_2$jJEo23pTW%$$g=m$4pI35!4RDP`NJ2T%mWy8s zlCl=>#ApVt+=>)Q!ghXcucDu@tgOUo($~wbkgNc)-104u?*z(o6mqMqUK%!kWrjjej<*#h3M*R=98xzbw zTI|Jz?jQXXdFn(el+@WFo}k+f^W@3}2`Ek3x}NGhe2g34N-tV%h3(sJdXy0@70U8? zcPoRxcAZdeXLQ^^-!dqGa6ogcs#eM=*^}$?Z)h!nFi@DuWGt6tKdB_G@%!Vr} zvR!J#Bb(=hz_h!wMby12bukFXA$j{klT+2K*s%Xld1@WzFCJ{Tl+^$)deQzY#e4DU z90{%eEkk2PraHy%g82S{ti2@UJ#%+Mxkt1#F18W-y7fKrLP890kF#Uhs2+Wdv9~@7 zVN_iSQmK3{T?y@@;p5^nh4C06*$sfPPHQahH=!87_&OsfV$?-_kci<-PzNdAi%8eAia% zRLcGvEc^!>^#2EQ{)g1f|D~HM8vhUGtlO3R|LCTsNnqsvw!lATIsaSS$;J4esu(H; z)+i>JUop>rz&T;HM2uYRU&f4)v^T)nln$U8;2M}p*0>cneK*&wYIRmB-F{gm5^0Hx zPc#=7_Tlz3g;;^lXpVtQwd9c-3cu!)lNN*vkYf8`!;krFBoA6e`FZ>D?!0&Jy!ZV5 z#zcTB(GbDz9{c(-?FcwOyl3M19g-q@F3%4F@1Q7_cDV0cyF`jHCxIrB)3$%dg9{k3 zu`8#{P+8f`mf2GHY3h-<0SRWUDxYWrj4Vqn)WyrqE?%fCF@EC!0b~D0Va&t&fM15b z{qEI$i3E73=EhPJk+rXEEk7HEV#-M8=jG*f+t@HPEx(~T_eFPb?S%d1TnL9n{!wbh z!E-3oWis#-Ipt!C2=VZb1dGEI)cvAEP4$ox7m|t^Ioz^6L=$F~4x5K!RtS&1&6<2y z;yphhD}v(XW}UqegB&Ug@D%3fr+yec5|%vnAf=SPREw1ehukVaeFU4tTtj)|kbGWz z(1zSOed_S+;O6#v=h+&6hk*%0zJGwhh#0;8hPXy6R-y-ybr<9~1q~R|j)q2#dm_{5 zN8KY02_tZxiXo6oO2FRMocEyf?yUdFoaP(lvv=O(k%!06;B6h>@69`CsrSl)1Khxr z#x#l}`VztEa*5->hnU3HPp#gc(0AW$EGcUkdF2`PZX3&0l#U=r6`rDm9twGmx>XZ5 z)@Q0zPRO~{%EHGN|dOqMwhP zu&fxjtP|7GFm`}8W%lebjU$lF#mg-gn4FnB)ab4=9m^uJdeJB3>xm5ywfQrRYcWFB zn5)qI4lOM3)(HN>!v@?^Vmj&C6Ex&ZKKvRIJ6`RKiQfA&(rs-W98)se+9arsuJy4} zv$!&LaS_={k0#9oKNX-^`1MW@^J#^|TSu2qF-j3dXFxiN!wxyWVTQrKtkZPx-i~A0 z(KnqvEh{P4JfWzlz{=94QC9%^gzhtOs2aTFzFIY%qT!82U&iuah6OpE^DUZP=&}-E z+%(hh+>zE|m|@Ap2CQ3gVN`I}?Xl?~g~5P&Y%@t-`KyS%V$sxQAvRMco%{Yxw&fOH zEZH$NqW#RN-I`xOj_>KmXSPf1za8{{3{d}jCSm%I6K$mr1R_rOQ&C^v90&-i6nhRNDg)fYPMU~nF%a;PKlotz0U#>S)zx&^ zlL?~2=q?;PvS^0s`$j^`iKO94B}!#=Vd}X2m8Od7nt!RE&(Iv*%mj;6QS3_ zSF6w7ZJjUIT;J~kz1>a@lRE?e2XD=J2`gk4=7E)xB764h?y@kKsxb?;+xym~eK-el zMJ3|ka8`QDPf>BA>3g?I`zF<5MAffC0+Kz2>tr5%@{m1~{`)pRm_gP2d96OGC0vhu zU9=FYPe$C#fM9)8b{wzp?t%Jm+t&F}lX@xf<>NZehyoWSCD{G;F5+!NW}dXuva+KSLd)MJX zr)l1IUc5pMtxH*=krT%GM6>Fu{%LHi(y7t=D8M8$fpO7Ay6E(={<0=}BRkK8s3>Dp zwh2}vAikB9d47-ejB^_`o$hFrr20VWS+bp;n2An}pq`zIpNNf5=)|5Y%{s;`stTZA zzwT0tBY*U&9f+1_7&1tV8#!1|&uPt;5};9s8yqARAxNtTaUAR8&o`X9Z}ze1>)}g* z_JGQRT4-;gSgddp=;nPM2||l5nYy}J%rzN^40!JLqNX%g+a7yGnp#7J*mvBB_`&XR z(XqAo%l5^8E2-0gplo6LqOqnxNf-_0i`1K2BgLKNt@ZkAz2*TG%j)Uznmhl=QxGFM zrFW52(7!&6_{E0JBml-ndbvIk1K$}?XQ|l$6za{`7b<|JADxFNlcxq6SeQGt9;ad4 ztjMUbrlw(+zaM6ZukOSnNaEw#6ha9GJ`(E>dX=>2tnh|JH<-&GLYj?-u&)+uR18)HUQoz)vao9ws~)(l%@bnmn}8OS>s#Q|au}qTI>oyIZQupek&$ zA*Cpvxm8^Z*$la%$qi{1D2tjIVme5;RBNCJe`YkJdFo)@YO-Rv3hWXtOuQ%uPuv>r zg52w^C~XqKHu!B_XkOqX^Yek6ZUAsXl0g2FHx|47`FWl$lC2vd%jQ3?vPd|$Nl&uS z|H5{7_c$p=^Rsvh%Y*rLtFIdN%(ETM{$LxPbE%a4LG)m!8dXiT-Bs}-8|x^Go&9+~ z&=6afcwJM7gLIi!gou*y!v_);J6tK9=HcOsnBSBMo>m~K7bn&HT z>sG!F@Sk-Hbp#A5lUzqLR!vsfCXm=6I2f4nA=qKH4KmpuN@z&F8?2mwE9HBc$Gc3=(q0-zeGgx(Xc4&YZ1y%u7bQZ_NU-?3-Gy zq3}rc#uCMs4P_2#o_=BRXotNQnZ3-5*>W4GdZ{ZL&g zQytlG{k77ewe_@vU;XQ^p{mOF><4%lL`wF*rR;yq8vlDK_)mAb{|hQr^%czx^!1^D zfZ#=dd;Tr-Kk(}Rwi>W8{)d2pjuMmgf+FIl08_ZRKrpkaq(wHUGFSko60Bt1+-yNn zxsXj9=Ebr=O!xu8nm~{=)G%C2_@c7E`l&Ke9w-bBs0fd<;AEK$*|9C{TN1*mFm2af z_rexW_B8^DlrZK2i^`E#g=U9#PNo_BR8LNJsrbZvR++0-R0LD(sIWM3v=}uxA^o&; zBI#F-qy&SXAC_DlKyPFiaX>*{d=qP%;-p}gXH4`yDyq;J&VV&aJT7XwF!vO(@LOVQ zehr!KeDRoEFJ1BetrC1$+d;N)*nl`Uw+s0WK215Vh;Bt=qdGHhjXMc7O-0b;iqUF7 z%oKoJZSfOL9gX@CxJmoGO`o%B$(eylu{@o=DP1L05zkU-s+haUI-9%C3iWzZudENQ zkt=D+#Ih5$K?5jNxy)g^D}CZFC7*F*R81r{v+*lqQ+qKryS?&f!;ztZrcT<=S0e#|L{#!h?!%Miwo-Y@~m56}rxRY!1GTW80v_JtN1WUMy+o z_$hW=xv`?p>7k0#~6Z`l8oUAEHy4GazhUI~={Zvp=ShW@wPl$ql{wH1?p!K$K|q30kb z2+0az7T63=PcFZJHnri4b=o9TN6f%bY6^h_ks?Ep3L%0K!;rp#B1d$AgMj)g=}Idi zA|m&j3 z-+hZl()v}U!Dn{WA-7KI;TZQ#9?UF9veKSYZA{U~00P~Q3?&1jz8PH{beX%^E`@B+ zI`}yUaXo0PG@=kI%0L`OII`iwe+}wG#&GAB@ItDh1Dc&+0d*b%g-BpbEKH~pcN3or zHv0W#tc?Bw$^(NHMDj;g@;$@XH zO&#JPJr|g0;hJBADi&jRFnA`4RAq5tb@rCU>}!J6Y9mw$PcY*twx!Rxf)5#@aLvo}=Hl zSymrd+y^7+IOfmr6r})y>n|U4ZIAbm2(%ef-^!lyI5F7$KZ}vGs)+O%x#89ey~0SK z?bPgsFskEf=U9!|TNjr&Uc^&@8rqMHHE8%btJDRrMM)-WF{-2=p?((IgeMvd=XFwH z2wd=Alo8h*-6#AsVUW+Q?U8nzP>^Bre7=z4X}K{Ma4~qjncWe0uTPC){fM|OFbGh& z)kmFQ3A#ioix0*(P`+5m%*3%w@2x)7?R%Tb=OmE#^h19PIy89I#@Yjqb*#M!Kte?7Q`Ceyh$y-# zbsef?R#sL%SLQxF$F4&G>qeJFMgI*#NK<#kK==I!^XMHFHeGIT$!b5q+mS61GRNuT z0r^AM%LuhldbK7T4m;r&w_wAIlJ&%}o&lg-NlWN)R?mJqGh;}KE7z_Ra7U1HYQrg7 zBUGObm37#IllFW`T(_TQE~hGvi;uE$C`+c|HFblZ^0X0>5sMUh#W#s~&D$a~C;ZbG zSY{X{O;zqzO>@>0K7*cbxV)(^rFEsLcUD+d1v2Ah*KVk#31>7LGzF;?&NcFiEN}0< zZX=6;;x2bUZkPO%5!6$t)*mw37%EAsU6=`uvQz1xZzg7xOMqrfB{9;*-)ctB#{XT* zTWjX5_Ao0jv9>7}@PXJ8mrYbXVY;7C7%h!vpb%c0aNrauq8o0lvV2K2Wm-)wT~ede za!FptGdx<=7If9X(X$5jnfLNTqJyBRHa zRkNJ2kBdw*XfLoSjwGe`A<@>OWs`t^Ft!=pg@BgR?Eu^T&OTsvqai5v8d)C*bT83a z_+^4|kJ;2X_F-($Rs0;th{%BR50?3oDKbHL6852x-W+$c#^M zyfeUnh}SrL!NC`qFk0*(bMu2h7&=-m=>}m`oa2%XZ@*gFTncjl1AVr69sY<_Rv)XN z;Y?`#j`YT(oRpNOkFs)NPjz*9c{Jub`%O74{T$^ocqKW1c*5t8i0<#qxW~QEX7mT3 zv!~l@%wrBLyllBxp&DmAU&^1aw+*l_biKR2c$}`TNNH{hHEj`;yzZIajVaz795qfz zJ8b=}oDfCMJ0%jNrx%L?kr&Z?&jEC^+Qqemss^z$aTr?HMc#w`)Jmh6h_!B8*cr6=RUO>C-E557$x zOggF9qEux2FoZ(Zgu*GX0bD2+uLp;2V}xr?LQaH`|ihJLfje6 z(Fe6p!DYz+aAF|H7xvzFnVa+gru?>IJ&ip_yd*6pL)2jpl+U|NH{v#LOot>(H$vD! zCG4#?UAIkAa)*ONuqmQ689a}o@_dy0nJO?59z6@bE!*LKy!XtZQD@;dSbBn@P$V;w zT2HLC&^q@ja&-$H^M$T4^u=W-l5K_j4HEnAF_&P}M`)1%>|mud*6_IVo9LZ)1W-U%nMP#X+S zDfr^I6P6{*Vku=()jWz)Xlrp(@NAv8gCx%kb&%q%z~7SH(I~4)Zt|M*Xj}W>9G##V zxfmFF`v5g_tBag3AJa$i;cDg47RH?=Uf=rLyW5(HdDv2w zV}=t$jr~1aq$i=K0bMYeOPX$Bocc7iv{ZLtF3;)axSlV*_VEfksyS(xperTsU+x+g znC)=5t2XX9@^J`OB(o;i#g1sN`-s3ByR0FZ5G$5S6U0l4Yve!hB7EGlt-IZmh=XlDDWtpYGG9&?CxPZV;rflCAvGNVI4 zJaQu>?XK4R-~{+)Ip?J{F(SKH3nAU=A25Nv!m_DNW=R)Zfs8eynXK z)5+4et_=m1dbRyzMvxq4$>A90(1?8f1ez(EcOylXVES~ma2WF62PI=4bNU81+&RPk z7o^PgkMZ7rhu;4$=>-u{4N*1?d9JRnI3FAc*BC7E{|(Ok4_N;{I=KuAhL$SMHVpEF zTwDy|7LHENgq+MQfB&qVO&l4-tqq(_L`{tBj7=D1O>E7a%?Vk!82`huXG+V$31s{~a#Lcwm|7W?PP|C;Vb%bQfKVTr7@{5yK|`7Po3GXky^j_FnsKNCirm!I zHRgK7uEWdKz<@bLD$yZkz-<1HY`CmdHdVI95c3i9j9Llvbkvmd=@|2rqGqB+yhFdD zV-oTUoAjd!e(^~2WE(0aldff|MdbY3q<)tnI}2uM`XuWgt4EHs8AIQ|uNdhlH`Zwr zVW=FeK;&#Pm;*vva#FD1EMcZpswSEVmS9`W3b=$Y#_H)He`{itB9xgR3}%+J(7pKx zS(sR5Gi4Fx$na?U^aD!&Xq9wlVUy{+N8-SbIJ`Efq}O}W-)^(CDp{Fuu++dvifY*7 z2Pw?6zYDhv@NWDGLWgH%B%4t3kmvK{E@u1uS+T)vuY&xuBWO78fqsvJ7e=dkjLDj-rm8GL;3# z0Tck-hTjot1+E;|hrCWHUjzgb74<_sii~!4Xu)z2SNu6S;4y9xY+e$WONfKb2L(JG zm|0ti<3}Nkf;NgjRhdKIB(z$MJsp=?Scr5ygfL3HBuAQFLYQnm>?&+EVIEO_KYa(e zxV`esJo2Evgg41qH^s0ZZUXvvK2WHnW4V4HVHd=O?-y6^*S+FlD8PVgthR)J!r5h+ z;46n9xzLu$lKGNmd0g+f^zDH>79$kXHThdvH}&leMy!!`vWAQDr(rY72{z7(Wa1#vx8LB?pbgp^f(4y~vP zJUCQ#sg0Is>g(X0pofu5@pk6Z`HMGpNQqXy7jl?88Qq>XNvkg&CjB&JG?P*w@DTb? z?x%KGkL{Iee)|~8;z|WO$-oa3Zz7R`0Zj`GZ!H?*f=iGu=~@EvtBmUSurJGCQ|whG;TZnTih&d-G#=wx z;ybsxy~5Q6As}aaMQDPru{N-b^%u*)pD%#j?IL^|$C((YgAFGhoTi@zb&InW&PE^1 z($$du4fgHZ<_1LWj+&`OU2twgrO|<$kv5<*8dhdg{!kMs^9K*D- zWx~aenetf|uJmQ7?6X-9A+kyf4nmAQC+ZJi8;^S7QUL26r{L4?<)S7v@uJ&2HexS` z`G@8oHd)EF(U+56J2!4OpN>nj6%|b@3)gn;_o1>^QLdTewRf3B#*D)v0c?c|hc^u` z-b6&%T*G@%CcR-Y>98Xc#1zj3*V+{ZsbkyTEt=3Pq3?^8vX%L9YP21?!CGLl)D_O_ zom4^Jt0?kx2b05@)}bpp5%#{cGsd8Ib?grM+feIS%Ou`q0Kryg^`8p&?Bx?5yGpKC zL-~yuzeRNE+{c9_-l2l%8dwY&=|W*Yteb`A%~G6`{Q93{PSfj;1qx}g!;{Bk zSWk`I?%YHH(qVbZ#J4UGGU136WwMwQabsW!+M!ULG}f&XhT8HH*@m(bpy%ib*|2R* z?RYM1-kkkMZB&J@5zupK_m6MuW5&J{W1Ew?OCdD%TlPaMKUQ!;Hj4KwKkZwO>@(qV zU+{lPMv~?0J#`+8f11qo+hUg+?X0S;a}u|ONC*A&)zx<*NX`|xFYmUUB@(|2d1!>< zqFzsQYv!(DEdVTe2MoVVSAX#G(PY7$uWvj5u{}rQ^bV+laynjtG z{5`&^_foiOhaa(L5X$|_;J8S@0^EL@$jz69ep{A8oj^UiIkdZb0XoR~$BU76u?Pix z##6c-GKiaLDA3CTJ48x%9afc%V(Sxu^|p295B3*yInHD3g}Sp3O%B=90^J(GnD620i+f1j^|8HP^=Mb=K@ps9ssp;1S3t%7G|^vhmV%9 zIz*SftljKhrp@4rW1gTzv0WSd zE7q=wlq~aMyGo5TK;(yyrKIR%&Kihie~HKI*L9OBCdG2G zT#7dahGp_r4S+;m#2DKXc+_#Qd(WP>pV_n9+X+&pi8Aud?Gs|`qI*R`m{$N) zWfjxS#mfY?YQ)5D=Dp^=7Vd0WEpb4P4WaQDwdx+iC;et4tfnTk#Jqis45%siPCCW; zd%NxZ%-NBvKd2bL3otL{e?)SB z$$Wc$Nb);}NJeA5uOA0u+k~{B*Fc#u`&cZYJQSG@QdTkui}voz-i+j``pL)=3sC@0&U6VNvpv^XY!l~ zp0aqhGGZ(>awgv@2k%$dSyGe!$7%P5)h-b8YWLO5^80DEFEz7dZ??q1U}1>9S=*He zzT}$Umf>%J2YyX>FNHQ$(h0gQe5*21;`8^^yekJ%!(ju$fn>&>G3QbW#^sKJQG|lN z_Q^Tr=hFVq+COr-Bo5bm+v6>@R{mgA9Ey40x}79j$?L{BVyIIC=pU~TZ%Kzaeyn@V zP!*{#zCDNRtg>Ol9%&<2`N_Uxo%W?F$=7xgEAnE6K|L4Pfsbs)y_8g$X$96>jmZIA&~$S&ylO{@ycuH{drb$C5JDngqZMHEh`Jx9C`OOhAjP-k%&Nh9wJ& zNqK;z_x6&Yw1?}76*?tP`U>*6^6VZfhCI6(iT}PU&PY(TTpa0lb6JtZdt+VP+8nZQ zejPSjv^5BFI9hB1_yO1i_un0!q}ln*3A(%Cp6%xaABK~y`~#J#`5n`;@Y|d7>9R)^ zFD4}KqpX@fU2pUE6&%g&=v(SjHu1%Wcc(=Sddz^1jkj}R=7bNdX$?C?XK9Qjk5_Rf z#RdW2_CmS}zt87eTHlB%me;`m1bFzH{yf~5M^22z_oeux5_^+W>7GeVb+}uce8rqY ziKl)hYuwHaS6cv2@dvZf?2_W1jYT6aEKI{wi6c6qP&c~U)d`MDq7?%Rs$5BqQsz?% z)p3%d51wYHy|I*845jDixe5DEqL;&GSwgVBJ2UgT zrohYQbF4|G4u__3+{~Pcz9*{@nb3(!%qqxY#|>eXdz~a27q?rE7m|WzwpB9QI{_9@ z_?@r;nIA8NYQlwZiwpd-Ob4;LgnkuGZ}nPVRT_L}0Vc<`R7oglR59B3&|D4!-1g3n_Wec9jV>;4Y+v>Y zQW)x|RvB^;CEGpBLuKQvmv!~eaNs(@_K~w@OhB*EafdbTH5c{fxEdWFA&5VX4XUC# z8)@<0MM=;hGx`#=6_*vrF6=A|Y`OxT1OHPl)|sK~fd^w*uyR{kvVa`vMOgPrK9B<@ z8l~6zejSWuema7#%j(By8AK*c8ONw89p#Gtj2cbg|91V(V|M~gP8ZFYz-*sW?1AwX zcQTZS5ldZ2)>tOsM0}uRQUmY)^72B*ATfpOPv(0q7T<~~*|JUzlbNM8RIiESe`d^0 z!x;V3SLPV3u${grNv8-{&Zn>W4~sS6wx2H92>l9>C=S*&C{m=>2Yi4YMI>E$p#Ge#td)MEJ8d8S325LR3mtrNDhj(Cj{0!-S+0Yh{L>sXSdd> z(%06s?0hqxdmh4+ZaLR}ncUdn={iLyJr9!3HM-X~ykV(6nxW~ko3LRWdeqi;(p7Hc zZ4&`^jKq6QvuEXeY%y-3w}4aBGbdD|s=H}OyKLDw2$`D?Rm#)FRyCy002y4; zK}`3=BrL@WmZQ2Nl<~)^We1f{Sf`hQNuK@C zC_Tg!6*>&@0o`fJN}=nHEB!tG!A}GoP4|uVty|#tIee8s_r!X(d96g5bMs#`k>7jz zt#?&TCAbrl_V>MhT`MLsI_V;#O>1Yh?$s2dB`3UBvF**oQt!>Ob!=B#TB#I&%<6h; zgjcj>I(&8g^BNFIuedip8rCvS4s{dEc4AK&3+Cyd+((Mm`6S*y+n-C;%OxAB|Gld` ZJZ;=P@$PmQ78vYemdXMGY3OOP{0nx>rnmqA literal 0 HcmV?d00001 diff --git a/Automi e Linguaggi/2020-12-22_2 Indecidibilità del linguaggio universale.pdf b/Automi e Linguaggi/2020-12-22_2 Indecidibilità del linguaggio universale.pdf new file mode 100644 index 0000000000000000000000000000000000000000..efc0334354c034bb6277fe4f94e686817c8e2379 GIT binary patch literal 55390 zcma%?Q>G9q58x#{G0Rw@(krfmV551VBjf<%hy_k)mi>ZjIvAu~Yy^N`yxr+q> z6B`2~A0L#ni<7CLEtJRBtd?~AaT{XanfiH$vjtuCTNt-9L;@@Vhd|8C?3|%F*|qe` zpX6V^sQ5$SqLQ1@EjX~?G>Rw_Ro~~ehiRbb5`GOFx;e0e;fI${uphBsetW;)hbEsd z5NM0SmeG@wwg6-dgU$k^g71fipCeT%kJP32FM9zg*?z2xU)~=+eH5)MQ#(%-{YU;D zNlQ}Q{X^~fU%&UyA{dB-sFykD?G6Wv{;V?Wnb&)+pRM($%W?UR0+h9)$g>`blTcQ_ zP76|!kfwq#pQ?^>DsxHm!{$n-2cf`HS$^-LflO;}>Gi}sB~26`>_&9?_1x2E6yD531=sZBk7=ToCa-r_LKO(F zL=eeKb6OgGw3E_16W7ZH|8##^eiIlNAO*Qdfwofc!9W57q6lTPDVO8uCOT|Lg&~YK z#89;(XdbW-sU}|~3Kf{j-xN~lahpag#Qdg-LC-WdLEyOttKJ0wU^PYKK`VO>O$O&L zE9w^Z@V8VUE!GBDR-TAKpB9tehK(s9PZ3Q&D;C{%t7DIhcE?`Mou-IN`sRWMVgEU6 z4gOXA%53=eyLd|Ar-_Tyr~-J_xF!4+xg^7yyi{WJ$ji3p=#?`u&MNYFX zd3kwsmz&{ybLl|zxliJlu_KmlTb~nvCmfobVD^fh4%U$jBNx?Nd+3g2nP%j<9BQW< zvnERW&k3?|8!Ko!uQO&P%=4{A>i4raP-p}9#0mku?4XMWmfYEO-DFf?eS&gfW@CqD zSy9c#qitqeWvNyG1EJVrj^Rt;Rwg0o<)HRsRgZ(I1sC?f9~0@L(Ds>refPIBl_ULP zVRtzysm<3ywLh5~-9tVyo0!c*=4)Mtf4efPn7wi6wqD(K&BXg&;J7(2d*s&!JCJlsK0c`JeYU}CqH&*MyQaRM2Ua+Wr>2ILD|rXJ~*RB zGHb<{xaT#bmlVvVHyciEvXLKaG4{v(QH|m9e-B)-fU60?=nl55f(c68ZRco@gf_pd z_rqZ607J#Ki3sO-!9pvlgx?{?U<57utOE8kno=QpBh#(ROV;HoPoh86(f~IhnU>uq z_bO#{!V!o+&S9nh9-#N73iD_lb(ceHXtSE@KtYCg=vg5Uj!v5t4c2}Ow0y^9+RtDk{ZsU!eorO&CwAjd3?( zij5yeQFxuktODoNk(RP!;k7sEcMTt-u&VaAGGXa&9^V`fP$mRO&5flP{$Rl=TDM~h zUu^Lzdra}JCeAKr`fC*GpA8Fad{lTxMLGx-yCS`uSSOvKNP95ILWWdpjwUMi*HmG) zQjmg$;3QV5nwmSpe}Yv(1pkArMO_kLr9`NtH)`SFn|M=C)~xZ46cY$iMk8MxM6!#_}UNr{4&hBL%dbW~o(C$Go+aGJZGR^5>1 z3Q`)y)Q}8@rVw0c7?(ydjD?zKCP^vDtAs`?%GEt}X3`f~wCV-pCnM<{D{lvc!WA-l z9Zl@+#^JhYz2(!P?v*V&IH8_)z#5m?`b`$<4o({|@3w<0;ReqEm3jb_l1Kf;&3bIB zy3y!Q7?%K_fS36E8Ff{IGYKH88vt9#R?(X_U86b6B7)58R~V{qE_AguGw zn|qyZQ=*EqIoB33w#Nzb7lgooCGo;a{@7q|B8RULWmHV_K`>n2C_n9@=3-sE(7jor zSopo3Mm2Iv5}rsi;b==daC6mk@=Lnb`ZKKJ23sEbCj>(ff;_mK>V*A)l$@Fi^`JKv zdlsW6Isaj)5by{+D;Ja^fhN6XaW_j6>#DOK&9J&0>zb*`+-2@xXMcI@#-U0*(_hal za=>B0QOkcas1&2MxX}U4PtN0eJu(xoL{3z;y_oP=htq{lI;oD}sh%gAmUz}U!r~6G zlG#VXc_u-r%(Lc&yf!E&KL~MmSW9Lw=Y{nD=OE{WDhBJv0q@kxvDQz7zNA64iBPXm!1Qz(dr6O(FsD2w~6>Ec9>G0}@r z;IaSbH(EekPVBXiG_9l8UeFrSxmYL9W~jesrb{k`oZmu8wZP!5VdOSEo+G+i!(UF| zV%V`BBlO{;0Rvta`s9=Mz!BQCJV-8VDr=w9EnE4@+BmQ+k|3)XwwD174jZ@R9A^!W zg==MCoAD(K<5r+tJp}r|$nZ&|p2hYi2ou#>pY20}4McuP=_1_aP!BVfRfh8Ll@ZL? zlcMZXONr`WYr^i&nWU+24!Q*2T}1@E3wQU?4=}+h#T4?FtvQ;uBrQ!9-YhcFO zXA6tzo!~mW{-e)sU*tvQCS|2lR=BF|SY#cgqk%R>#o_p=^u7hQ?>E!05K!aJSOMEu zq(8QwCSK-|_&-nlxK<)EP^NY!|Bo5}`TH-*WM=-4aFd;l;a_p{T3b4vgcGsvk@{i7 zm%=!Fzo;Buq5;W>6zvoYr>m?a=V- zVYmn_@^|IX@SZLTA$^^G;||uZuioGP)ARlLcDAS_f~o4{(N$3oz>hl+Z7SsC@uXf} zsVh1KjQ{fay(D)WtwX93P+R!NqJX@Rr|_pU^h1ds{GC4MQCa@zu3gpBOnF>e_{xAj z^S2H4BQ*mI=k;~oe?WG`5gCrX#xXk7Z=yQ0iEB34dy+W(+M2k<8rb&FC=4RjCE0wa z%ZGKId;*1frWHE$$(hje38n>%K3Y*!!9NRJuPpw2IR`kyobb!lC<#A_PH?8FI^jGtPEH+7KWOIXS3o=2-v7 z^V>CtafquKPC9J6lZ|^idj~J$f`N$3Yi9X&Mmc5LeS3JOB?cha<;tm68KwqKD9nTb zY0vu3eW`$YMs2l2$T03*KwI0c=I6oo_$H5Mn9%RhB2K?259Jx2Uyd9o(blXAy9OZo z+UlMhMhjIxxRHZr&Ip%KNY^VTQ6&hfYKi!mwojlLh)PxdEL9*@e+5BKEAg;6FA^U} ziBgdkgB)cJn%;x>@{Q0>#UspJE!K*{{5PalQ9J&}$La?Z`}1n_pWRPYiaM4FO=WU! zg(zf$9^ej+C3+j+U2C_mt&{$nXW`VJTh$8zN;@x&ml-K-5xQ5neV#a+-sX!SS^9kC zo$~E9IO5dycZbl*pqESZf~ko&d^E#|GJJG_OCYb}WFQ%$63srEfEjnTmNI`@f6cyW zAuJRO29szmIHeE$2CytCe^Ua4T!*>eoWOuiW&{ZQzyWZte&k+$pg?%lk4U2_R6=sw z1f^?Vanlyyqq#C8aaS4)l>Z7Gd1<~3_Gqk9=QXpXM;YCWwdbK_JY(umUqhZ-gV;j1m|w<(L^II%!r+sTxCRT5HkAdB z1ZKgUm?cSCd5jS4NxP^`@XjPX9mp%FL|8h!0^yrR!SJOXq41q9QEm0l+GLApmY1 z9+a{k60mA@RqZ-j6^goI=GxCp%piuvouWvGX*F;92W*>O3ixD@t^~BIYjXl;jB#O3 zMT2#AJmdz-#x=I{j)U46k2ZysEM?5z$~R}T?WV(SvfUNLg?Wu2udC3N`!EHStP1ogj}0f1ltbOM6R?>kh9(xcFyjFX z5D9|;e@{M5%FiPPd+3{|f~gAO{pU=0rH=M1xZEC}wTH?=#0w{Qm@Vu*V?64}pDuX4 z{LmbK-M5V}?VF<+N5rtsB0{3_49cqL6fVcRF?}KW0^i}?91Gd`OtIMh?0YSHOnATa zdv8aIRUaJ*tU0@Ks>&cZVP+^}w}Te>-XG>+1rUN5JFRkg?t@fSoHQMCG{exwmmin$ z9@bq(e#5Tf6t5gEwixK0UBy#=b7u}k^EWproC)$xr$QGdPdknb7RDRY0G2UK_6umC zRfN}1%Nd}=0sN?k5m-M*i?Q&lnlw?}THmd_>hN+tlHhXG6n!mwwkAldv_v(xUb-Vf z#^0i3H+M_Sk@I0YtacnP`Pl9CroiUv{H&8m7?R5C}JU9DOrfi^LO7QjWdo=oc&Ja zfUP!Dl=MB)YgMTS*V!w`jo6~*JJ?#+8(olC=PKaXHY?V0_0EFk-9--pstU1{C6+Mq zeJDX#6R-@_>xJVxFI~ga(_L|skBQ%8*kQdxoltTu5`W{C1|~0c{9Ya(n8z5ULfdnD zQia1Pj2x<=-M;BMR9NSCT7`WoxGjO4t(X5ayf5!b=6;Zl&0gtx?H29jDn&5-&^A7* zeYP*Uyo`S$w!(G{x*B?hW~hPu1yb2IKU!11;;{_zbEr@P6J!=TQh5pD3Z zVrOWcdR`Zy=aHDDqW7#rS#o>jP~LscLL`9ap%b8l9?Ebq_i!K9JzQVZcA5}iNWAbB z9<4fpZ#{SJUeIxKyEd;2rC#MIO}};r7w=L80qfYeJXj2#<}O1d`nXU>oUSR*4`Eg1kb_C6#ACSL*-4uthPg-~E<1uC51@P0h;M4S`b*qZPPZ7C=IF8cdLEy#3`3&<9z=$mc=gbwcIhNsVJSM?YkxncbkPeH6ZwqZP9=$QdPc6`i0%HPa(+Y zd*b8l1+e>SL~ado%6CDez$uVj;>j~e*G)Sk(dHo1#M?t`?|P<5#oNT~D8XCRrLkL` zx_Y}6ySF=AfK|DF{S8Pg$p>RYD7PC_CV#Q8*7@uvf_^%s=x|wOEdwu7q}b+-Nct;9 zUu5$L;mSIiS+2+3$jWc4&9xy{SYWJeci?bqkj(R=Q&Y8q?@X=hzOgrU|B zN;Kc0c5QD?Pd6Hjo-U;R!!T7dji15KVzLT|tF5z7fHANReKM9E5lJUh;-i28nKC>T zU=3*Xs#?uTlj$8LA*{L9@bYTabQ-|+4pXKdNPMuSwVzVuyJPAx_hRF=FVFPBYd3_m zrG;~vPAh3ov831u-MbBSbgwOm!Y$gRaaDs>rEAD{EBm}#{{tORsrB=}X_$rKKcQh} zc2>@RrQuy2$#~*+)c+d3a`+<5o;V6``9dUMKp+joouwT!U}=U0&kO=|@&7}ALbs4eT_sxSNON@ zP&ycyqcyh}kRM@a)V35eQz+lSWD<6HzD#=*&S;QXjuE`aQ3?N~NM$dgP42b?E_8n88>9 zc3&U%g)(|kk>V8>j!;2!G$`;G*N=k*vWZ!ty*alVpp1E#92la!nTvSY zO(fPAa0{GJlBdI_5h+vX33BI`Oi{uK&Ok?mAw5`a-==Eir53^QO8~-OK*E0T5Cd?C z3r>W~2rm%;3y=$H>>6h!4W4A@_!cR~()5&PVpHqh{JgT{0A^F9&;V^|S#LGegly$h70;|d3R(mewKL6`j$!7b>ohBO z8HWuK0r9H^@O0V;+RJ8T?Kj-(q`fBXZ1f#msd9;cOd$kVf!_m5Aa2&9wS5@wZzMN4 z27NUV{@IAIn38XamOYPRbjn`L1pmQL$RluApSf~>UYquXgwtQRHef1tVYn7jKKKq? z&D7+RIoav~-FFeTvxSyV@Q(#$EL8OSYs;2FV|Jt1W$ef1beI}p(H_wpdihAN$kU^J!UEwpQ?Ic zf?1e@Nb80qYwth)helO;Wy#@(>GLS*ASxNb9~cfW?XV#dQh8;y%I2X6Dxmet)qd~k zAO}LfJLZOF-~@J~o6lu|Gxw zClF|Ai=I451daj2M@tVmX<~y19fs!U(Jz5r>O{S$&p%z;pbheF2qIB3;aY-QElHkl z#;uD`DfF~aZE}$GQX)#>`s8vfa$ZFd#edSLh$3f;CeiQ9HN7&4M_TPpgM_)bYH8Oz z3$Butoz5A^_UHv##Lj)f$p`%r*rV|#&UC322K#zPTP0O^QgpR%rem41mgelJ!MQ>5 z2LV{B#(hhtY1V3&87WE~5G%)3J}1n&Bl(-Tdm&-UE?MY@PFyH?j(&`F zlNR(4=N_VX^J`R*y_zlFsa;a zL-jg+Oe5KR1@XKh;R$PwrU_0IXYq+!KU>W>F6vJH{5+G@OScGgsu|x!O;59-!Y8x7 zihEA0`fo>;LJCvVR)?S}%{+yK1A(md{_pr4}*=a1msYRTzffuDZT$3n~rAc_I?K>;JU9$W7xr~09rFfKZ z!Ofv7#5(C-J_@Id%@ZsWM2npaPT!WUJFc+b%2b0Qotbg*&IMv}B7FEcR>11Y+)Q>cBX)FAZ6% zCs}**eNqAU`Pg2)T48v2mfoln0|Px{Rc3wk>27sOKvG-9dGW0_pG8)SgJc^rNU5HAdaD=1c8-_wxb~J#{6xrJSCxJ&zZS*F;8gj8dZ7u@RX%m zY#r@Mi?(D-DyWk{UJxTI_!18hC@EQnrL4>DIrt7<9m?g_%T`6AgfW@V>k#cN?DTbk zNnepDe`GD544z*aM54Y!ktow9%SPI!hD3S{B-Cs?6qPmNSiy9P2T8$%=2bJxOj|Ga z8Dw2G2^M-Nyu(v*rC0=72dqo0SUyH3j*eHxxNuoTMdBdE1)8rZS6XBu*SGHVB{PvA zYw)I1yreYE5G{y%Qv!N?J){KTdAJys)qG|5B?&b)LSC#&SYT4vy5>8@HoF*`cA-4f zZ4c9{j5IsjVK(&fvC-!ks@;T-R#os@qXcca;eiQDP=;*vY|k4t>$=h-f_ky7?YDG~ zx3WD?Az4vT;tM$$n4`k*j8q!XioLx5c!(kyO-Jo1F*l)R=}Vq4HkfI^!dwD(Z2tLC z_*&Ew`gKAfb>^$ZbLbcpwbOxV=K347m%E@DlbZF(S@A(SXel5~vV%Y(ZhzT{R&@-( z#Hi7_)Ty4|KE<}>R;gljFY6eUxXIO>9n@)>GtKefn~8NyxuWzEhP3Of=MswI#|_KD zEp-fMnfAazr9d4;7ZHkMc-rdmBa!76OE-GaOlB+LB*Kmk8*WDhP*;ij2`j=nyFIe4 z*k(j4R%dojjYX8MG#b`F1%>s4MU6prQDeZqhl*)*6J$NOfBN>cc7JUa@ttiFkug!-pkp=Qk0Qsdcj!g@e&Ww-C+1`4k*NDg@gq4RIO#FW)$R?pF;DVc02^$p(z zR{d<0U!*ib6R1Fn=?5c~vxDlVQPyL%QX>|w>b;xiN~4z?Mv4|hpp{wf{+!n(eacfw zNT8#=&jHfSvJ5wl7py}cE{py!{P3*kfPIF8;hyvR7(4oYSc<;ThA?j6{k<=u3%XsY z)m{{u;&xphX*Wq5bs4lT5WK$CqFbGr(b@`pt+-tCh=dZ~)yNpaNAkPoJWX-O z>qx_)jA7Q}2y~!_(&PTK#q~QqkVt>8Yr5v=KGgGX&a=MWSXOcg|EljMhS5{SLC2|oCi-o!!#vnLt}?u zafa1B1vryPHsbAWEhMN8eQ}(9N3Om&{qoPM#Shilym_OK?|@c8I>M%RgP0F=Pohgb9Hq-^29bGE5p5p^BjdS>jk2^OpmkRC=VSbYCGOs0U)^!9|yf zwIxL{Hx)W{nM9pK(ypzeHnJ!`8X_)uE7z-!kT~Cmtc*FD7BLBfXwd#tXjD-x5OQQl zx{r#+J8CXwhTobA1=2wdcqdJBrdQB4Gk_Nop+U_eT;R-Njpm*- zmBxf6*`PqQSS8!UV4n_(wyqI-o%;NYdCxV+6bTPzur(@-W~J40L@xK6#IhA8m(SNa zl#8T+YLgZ+r{kW`f*2yWiw*Fj1KQ6hMaI>(pIhnCoE+b!u-G_Aga3u{R{RB(%-T&B z);@6sEbE>`ofWiOVFblQDW%rzudK+f%hXb=+>1lnNEwL}9IO$%^j<*NY3`Dq-Ge$oWhByV>X+{Qm8XG)8m%>PKPou z8k~ICV^_TinjPbEW#5&(DZS~`yNuDMLOkJdY z4LhRXi9R522Q_cE+|3!iwIO~r<$LsA9UN}a4m+_usa{p8wgXx{!-JdQz=ABfWhJ23qNY>UHSvtR;zgGC*rhTS$CaQ+$AS@Gf=LI+wIe0!=E<8q!BHW zPA=RBV@&S>*l52=r%oJC^KNonX6&?Nk%3v?+pzXRd{;%f215goVkzC2~uCaA}2moe4Czc9eS}0>H ztS0nZsoZQT5feonWC)<6kAcr8&q#DJX~ZyK7;0{ouoxzm#!0J5daTJ7=?r$oxgn%)#oB@WCjJ)R=*Qnx+ut&Xy< z0QC1Nk-)w6G;SxiYtz}yN;ET&B~p1c?d}URaxX9O9NU~k_K7FBMrr0U!8tY?fcIR| z^5>PWFAxuE1<_1WobaJBfpx0C9H;V+CNk!jS0*NvFU4}QtU$&ttG7kDMmhGM?}Eh_ zi-C`Om^z|zP$uHyf&g}Kb+qQVzgy+d@-EtJoP>w%ISq3`BEnJ7Z$ZM1s|2q>^UMH& zXi}kQFOl?z(;!3Fj7mZN*y7&CNs-I2D3jlVzxYzK5DE|7s$PHymhICC`D*S~c3E0L ztn5_16>rBr%{l&z<-h1>tY2#l(DBpnCfs}fTy^5^?`nk zF`YnYzu$~&dLHoo&XNDuS!2bt_5*VWo;eE4{M?HaR_zEg))$a!1c^eNXY$4V78;WSXdT{M+k zbLY^ZW*oUsL!&$K;?pHewDDqxg!AGDI=BjR1Hrs5=gmBcSY)ytXqH+o;{?VuVRaRc z0O{}dQRBYT<%qmBg{yR>P3H-x=NWEtI^A4R5RUj9OCs{^NY|YkXQ{iS9;12I#Lo7b zyxKq4?0eWwm(EJr$z^+$&s*NtbWYrjy-Bt|y|0HxFs!4!3D)h`GWB;q5nd~9>7PFU zs7^8P|3-24|0V-vS0fis2UB{Le?E-D|37OoGvoiTCi|v(yC|!ojop&6;z_|4&xHmh zVH+kqP=UJY2t*sD4V zqksrf#5=;$ftxiH$3f#eBgvc3=4g$x9@S*>-*jH>xvp*Q|6Kd_%`y=Z!b~?Mnfo_8 zD-StK8y_9A)x~6eA?J$f?7xCZ-$2e711Yf$$U{$v1a1;8$?HSBi*K}e!VJ^(`a7l0 zlu$pm>&w(dpCff01B%Tw9b&>`Ojj#6t^U(0d$!S$Qe8GqR8*)oQn~iA5$hHviSDk@f+UZpzOidjj;(a?#OCr~T9JP~WBRY=VyTs@c~E<)wX^_q=B_3Ghg z7VV%{E|t}5_sEpZFHo9jpL`x~eLt{lf~m&IwQ-74rpulnaz00?Qm%G#b*iD2OC?)7 zSDa!pV?Z{id4_Ec^h}I3JCOx1GI*sK($=JQ#%m7H7^N{M&PbV|?%o46r*6*uH87Ji z)*uV9G&yU|TqarOL&p?q3;p9QHX0ulzu%2YE8-8KK{^N?+c)5Z?`;ATuZIB2vN3Ux znrL4`{wTqrDS#Kr^SGjWq1mzHb=|vFviBEJ!2Vr+RXwe9%7a;>R?Ycm&ZPlxDh%6} zrzN1d%M2&H%>V@MxJ4balnlVy)9)ubQ~o+ie4c-nx6Lk>5p@CWWP%fK?|eXJ-d?=E zXLkkuyk5X;{H_5VDF;*nDT4hih}wJO;I;qq>#_)f9fZy4*zW|133|fU;-YiIk>{IC zFS1nW&G~XNCh;lpt=a+RJ!|`;baz2#M`^{zf{qWO;@d!*7rswO-D`DvkB9;UCHdzP z4X@3W^n<-POQ+7){go|36#K-)_E@?eRzG=YQxGQ}A4>pfN4Bl?PkF!by;wd3Id{k7 zR$+@wuUe_y+LM%ZL0i$*krNjVoB&*SZ$$WW6m4dv7%{1ls9F2y_4gZB9$hNP^`G%G zUyq4-u)c4Z5d8kZ%q5%B#Q-Ro0(P&0#Bo7Jy-;Dt^K>2^xwl=UTXxy~xIz7ejWK5u z87aHy$1*pzdpV0BFzw=5<8Y&fjaoHeD+0M2-@kWH+`8h1aHk{fT8GK_-bR>-cO;2B zhfx&;OyQG;t^%kX0~dBZ5#B?NL2r*`&-G$8T0%mek`8RE9GBzcpBi6qeS^M)eOjs+ z!@-y^W~H?|c7WJas5C(>SOX_^JfW!vbo3m9p*d{vk!zcJc9c8##nZp61r+z3Iu{r2 zDmcYfL!%yM)~8%}E(VQNwxj$5l^u))QRs*B%v7KFB_Agq>&us8%P zUwG!>>M}zP1yI(eku4!Z4CrPx5@beAcnePV{^$Ubef!L%7oVzu^_67i&#D5ocor{N z1p(v-Mz9-$3G9P%IuP-YIjwD50>I7_JdS%LKwa_mp<>>#y?bODgKx!C;N&3=%2tAF zSW+DudHO^e)o*!z>h}8pq$hQy;n;&S_O2M&g{V}xcIoK+I2ds55&YlWM=TsMtPJDO zLF>Ah5fFRg{>h-o>19oMkI3)B_+4BwL)G{*+bE159ag9-rnp2PNKE{1mIBfR4lS`@Xw#SniwU!D-l*MT=FmR0Cuc z?_3OD5 zHS6bddX9;R2eUW)&$Q%f#VVGozOJCQwYydOV?_i*eOdInzqx8t7hKkY#M)upiBnU< zs0xhy876#Lcc0U*qZ?j971-pyVZUeJh-&pOVa1(lav2BmOR=tR6!KB9M`3vvNR4vx z5kM|ZcKfmzgL?bJ0^Le$pZM~=RMMBnCVcSKop{l}ivW$fA?l10aY-54@o`_STE3_? zu9R64M3ck)MF;hlB8C+<28E(YQg{t%X_b<65iaVow+*=R^}JmKB$R%j6g+&Y+~9>^ z$T+;SHqAP=2ghRQW|-mcM)t5cfUiRP*o^R|w1{adjsmHjREaAjnY^s>jNczl=U1FK zd~{H~VRw%9dM^Z!6^&y~0#*UPN=6f3F6LVodE*9Qrw<#rSl}zX)$qGaE3B?uAQB_Oen4tq{+-$lu zSK!=ebMCpP-Sa``0}!rKK8=D^E2mNgniNl|-Z3}W9w1E4Xx433NvKgdf$o*v+Xsh= zC4EJ4O@E80)x9ywc57dobzGl=IEY`w{KJsAHSY8QSlb1q8me_`Lwu^IQ`ZkKEckv* z{d7WE0MR7Da^C)0F7Sn*+K^>AtFy{?&fL7d+qw2-K8s6w$v=eMf8KjV)G*2=B*U1j z_CKw+cl*#dLb#l(;V4?OYIez=$4kx(|0GFQY;q^Kfi0}x8rAtWiN7H=Xxg00Y&w5h z3@$@?f1H<~`|KG@Bway|c=fhwTp%Z--1aUlB#>thm#K$^at)ci3DeJ8pbrh*mG^&< zn-N_78>;~u$A7cc|8LKW^|bHAeQ#t_xFH|n6?FD z2uDNx_DI*dE{QXlna*U%$SAIw(uM>b7on{d1}I6^I_a{^A%NtBk|@CFGdY?4n=+`7 zQPisWE@BWLr{8P7JZS4=Q28HqQF;MK9t>T&gd^s9>DPT&Io6zX38o+f7Jmm;&vEJO zeK79^SNmARX^%nD`z(A*cT+wFF-rpzjyv(uaj6?akE$qyWlus#poejqs-_^Ne(GO+ zD8dqbm3^6pNo1XpM(g3i*)($SI9fRxyzC&))^=&y zEN%M_XrIA4`ynFT*H?>jrttA!i*e&WCRGmh{~@kuqOFXwI>z|?_4PFB z_CrxD&9b+B6Ky4;G&Lg#`QbTHn5c3Y zY`gve{_UNYn7M%dVri5hAK?N~h&EyoOT;FnldQ`x#;~;lAeE3PMMxvWVnLLpB4LX- zCgtaq_AH`U>9}lE+?fe^{=$FEi}zEWT77kYTaM@2a+iN|B0M^FQU;kZHb>psF3d|w zGrAuT_*naR9`g!e#>_e2dk&0@j{gf$Dl=tQ`sI@bH5{BxWRJqMCgFR9KT-!6D1i7ZxH_DUUp%F7A?r zzP^$LV&WxR}d zB3wnkCW^~jOM}Z*_>nPf$&j=B^#4tG-KS?+}@+ili?p<>0x0m^6Mptvw6Rf>Ftl7)S zWrjhyp@EItiiOT3hOA9MJCm_)@OAwcI-esF=--6zf421cKjT$5LDo8i0U_-69o2b9 zDT)!)RWPJhEum>!NjHtxib<<*4B@%qx9?r!WkGm|IoX}>0nAfX#Yu*p9C?3go>}wcJezLN5KZxRd8>`~zz#-B~#d5#n!eNhc+U zTYPmR)pSWgrBf?6~PF`v&fa&SCQG&lR9&3h<5G$1T%K*-HH!g*pMrv`)9e z{m6MB^i`*oTAYNE6tjdhQ!#}ofBVS#bFZIetE8q83QdiLnY%q^=C3Il<}8djqT!S= z`!wVEP*Zj6e(u@5$GwL^YbW+!zDYYHUT=*t_S#wfoW?oQ&qBq+VQ*Gy?UOnD6I?&d zf1~TaY2O46-@K`0Z95Z$nyVjdoxy4s&J}W`%%}M#LDxMA`5; zL2zM5s#6Q-mJlyxt=7DdrT2VmDG)eRE61?Q@P-8|X7T}&u~D04+TZx^M*K)-&9n}a zPwU%M;r4cx^M^g&+uqy9okyQM`@M7$6{;W-$=#o|G+)|U`&D*U|Bm65?Mi1pTg`WF z?#CbzWF=0@-ogYn>QZ&pv2btIUn|slWRT4UN^|QdC%4b&4J3P`;*SH;q5u;1v=sFl zs|lJt=I&iOd3AGr{N>p?|L$uw?CB>)xUtEs+%>uO&86uEYs7gqYeq6<*U(87)!WP0 zy4s7{G~1`Rt*zYc3##PGw7nyP9k=LBN%l-l>?4L|k416zZW_0+=Oyhc8=CE3H`CJb zqe=$uIJJ(QHQnvDWjt={;(hZtrW?VsXge29O|SmV!G-r5>IdcC=|%q-(;b)O>S#x9 z$M~sQ6V%1nXQ)I&CLtWMxC9xoF4ksbc9-ji`u|q6-)RkKYPLQ_W9Ye5JD_is03h(JAaA~DhP@0h7^S8W^LYk-|^{2p~(ZGJ_4zM zf1PHR4540+9}l6<96@#4hLQyPc7%VtgeiRkeXfT7oL;RcSAbaJ6+0CqNPf={s#l)u zK3G3cJH_e*-^IA47gqhg%UX5fn9Lq2SA;A{8gjCcyXvR>r9^t>RVZqC5`oWrw@36e zlZhB76pS1mz-$kwjNKQW6vjFa(vyy#ofL_?FZQ7T5#-1Xko@sGPgAvtchs<;CT+JK zfaz_|xQhGSaV;3R&lyPOQ1PJO>-(b*CvPCRgmSqyaCm2PJM<^Vd5QIBn*2hvqg&22 zJNd7(XBA(k0DM}YFB4}{y`&?N490H=e_9AWWk_Y+u+Zt$>hyXMdI*nu-&Xg%u%#U( z&1tn^Rd$2JdDh9}m?XCXARYM^);D`$>E1<~27!EhCD)iQbgy%8y1YJCooOwu1A;Op z!>SZBnpEJ9)RXf|gC9-0M+_1$at50Oy zRl1;^#x>3?B%judEQrVv%Lw^VatfSp8(bG*vB>Hs@dpVBFW#M3th_bLn^vh(f((|c zIK7#>zQS~A(U?ZXR^}2~&LSGr7HsCwOxR3}TJ(PG`N8xrpb`sL$-l{1EdLP}voQT@ zhSF8|zm=f(Ont^tn$jwyEu0{Q1`U3j-rdqWX3_$f6_OF}>y=gUWnma*X2v`ImF#G? zk&#Q_<+Rp@QJ_Bdfn#%1Is^{fRzgtF67z-9l@m&w$q(s9GzMbx>=FI!w*70xkAF{h z&eahf>J!#c4+m)X>~w=pd7zQ87jz6l;H42tZjj!=L#b^zyTkh#s+SEIhptC9+s*9; zU7Q8bNl8_*Zi7a$+QCVv2;EFz=%EKlZ5>sx_-FTg?A+^}_$!J=ouqVBSX2X3lZD>$ z@H(Obp;#|@YV&hd_(NO@J=P+4J)QH4hQ-^j-H-?IJ3iJp~(<6l)YHZd?X zG%ztahINm3aD!WMdx4E>0f5{%{dr6`)O>U1yMosY!*`0|KhE@{VE9EaPxL+?eaH`& zObZN5ltmC>dH|LT+Xo_0!j)iPgkWp{ltoFhxynn`&`Hut(ag!s)<{xRNXg8$GBBty zH!wKP(O1w+$;?wMDoCuUG_bJzKb*aTcV}ypHk|I*X2-VKv2EM7opju>ZQD*dwrzK8 z^B25%o^O5go_^=dtTXcu?7dd)yXwABRolEOU(ZNSuXH;FS}8jtrFa{9J{D>oY;TVo zl;i;IbRWHN&HRKs!8FN;9HbDf7%j1|h`eS0Fp>O; zV_l(fg9w4zsCKq~oCdN9emz(^6%b}Y_Xdkf& z)7MSAgy)bQSI8NPO79KiHV%`i38i88>D={#5DU^^R{{KwkQ;5!+Ilbq0u?4m z&9pINOntqk_?68xMaWT9SkY0`&{EXU6FrBnZoipqX?7f zKq{4PiM!F;dFk$<5$7A{qWzWkR-JKAbnkOSd1o_|Z#IBP)~Pq*U3^24V{wmmJX!L> zX4tIyjplVoJ+Gs)J-@xY-Q3`CKB{%1gD)S@M&=@$*4Lx@>#6wdYtxp)+{%7SN^$A? z;Z8<>-$GwsN4zE3<76ur7vDJGEf)fad~?qAZ_eFcSnNMOckIl6;0tRxYqL+@)!8gQ zVP2`82@B_%yxA&}uAaUOD=C?|oYOJ`Z$0Dmy-?gUUFc@v?!d&{dZH}lptHGhHP5AS zPs9#}4Fm_m1sTjI_a}tU>lL&xLW2+f&qEioUYWb0_p>4QNkGPJC*9O-O@z)=4Yj3} zjoI3IlS^v8z4aQD=S5*#h$r&FjqEt?SZNtEK>)dyyV14Ub$CkZ(?6hzS zMiZ#Es%T81WN!=Y)|2LVU&-F+JcP5eYfx^V9vpjT2%lU@CjeL0Bk}KBw-3YCY7dFC zhic062TD7Gx{nOI6@|P8vq%&EBl4B86i25;Vb(|QAmxBUU*+HGiWE; zsat%7>m|AK)lf|bLf7$#MBiYiFC(Xi6g48L&92CPhNKJ9jTKok9Gf*Qcrv)tgL3&A zXQWP9C~V<%X%3m}l}xG&^Cs7~(( zvmbiLngtN}{CDd$3)a@PfVWmLPlBppLr=UWp3>2nlUQ<`m7q;|yhc-ToJ}K+@AOhc z{FuVIu`(kP4lQr!byqSNOJvdV$04x{Nm+fdZmaa#?A(vhz{0|J<4ou$ySaH^UrY9M zL)d+_{w75^{_oZB-v~`COn&=4pdx6h{NndG!)DnEyio$RNO?qSPN{B)`(NBK+C zyaBSp?H#DF-HGr&N09w5?DQWOIS%GO0~+Hk_01XM$EBI7Z<0oFEnIPX`+)EgXtbpd)4Be)}YE=-L8Ky2x%~$nxj2s!J-KG{{=D}!^ zw3eefBU*-+5Z8?fvv3B6_gmsiz)&e?=Y!F9yLji12k#N~u zwbMH<1Y`aEP|-b!=)Sh`<@adj6r!BtJS&p=QNZw%7q5=4I%@3!MjS4RfU-* z<4V^&EPYPDYAlmSj3|}OVG6%{uZ7xovs@6!H!CEPP2{sh4!r~47(4p^fFI+jq@5{&7gN9UZo_4t!prVxu&iv)HL7$EaSsB#gJK%oozd|-Yu?Pv@Nb%P8y{J8tIWE2-0zD z=*lnM!{y|Uw?>PpNxm`I`#g+-AF6!Omc*?&>^<7AlF=l3!j={reSeN_J41V)Lrir&f*=AH@tVn6_E?Ci57jPbe%AP`H(^E;4I*0_VQq1 z0Vl_GvKYI4)cl=UZ1nn@1UuEcL^o<(%lO7d2^U03PhEpRZ{a{Xa<))0Frrva_|QQV z8r$vK`9~}J?d|h8VNUGN00KXIM%G4)_Ik+GnAg)u$$qvP4|jU@)fNLCf0h(4IwH8w?2VXV92T3T|@M`oTa1x}4K_XvZ*WQZYzbOHX|EP#Ev;J8`$Ns+}O7)PU z5O$V8j1rj3-U4w_G(S?vrmoTMuYpwOb+xthuOe!un}%bOl=M0t3CG9Vkq8TR)F6*5 z%IO|DZBPw6@|e>AqnVtC9Z1wr5d=U0{#r?AyAOCYR9|}CKX$3SAtFCh>34R408}0x zn&1M%tvjJ%5CPp;5?}{p>pzxRg~QvsTz|3>?lT+Xc+!czbvih+uSNyrNZOqeaVk4U zfkJdr(SgS5UnAXC*N;+3opa;P z`MLfqu2iS*aViRZBS-XRXFCpUrU!4j!LtslF9iuYaOF|%(>h*S&ih`zrf>M< zc^%5ll)=6~&NaP;rA5wrC#1y}r8%GIbUa^+zd0IezzG~}vAMh+-s60%cNp4)HIUg7 zatrJ4D0ExU&@^aBTG>SRbEIp!kybNgQ_#}U)zg!xSaLYd4>(MUh*BB4UeQ#H^%N(C zk7K&#$M2JnR_6sBa(@mk3&~SEwRi>DR6UDz1|ep8K|7}1*J^$9%;Gq(*-ur3Lm&Gk zMdwvIaef2AHOAob=$>RL{Bw2zA1$=B-@pmRJL1m#r+|l3yhr$|0ytyyR|pcqfoSJz{z+xv$$HR6Xxsx{}^L z43gHdW2n9~1Nd*?!BIT0<8rU3rO06%OCkHD>BklNn1|5>gLi@bGIq0Dd;9`x{r-3|326{;im!M6gFx~AC4NsJE`g-vByXe#dk!_ zKnR&(BL7zCf~>3uzAcW*rm3~VZ$}U>gj&VZ6rcV6&9HWkeTUzeE3`Uz0iw*g5xwl4 z3k`C*((7#6oWe(y_A_u8Izn&CH(vS{3MN z$gCAEGl*taL|?f2`gIspIH(Z!((!66$U{c1L>)m?eJkBCuODF?A{9wSN5a>1QV zye_Xdr^_le^MR-FY)OWII#@?{jZEnfzhgHLxPOrtt8qO}%C`$tA={ZW5XyPIRrAfv zE}z?f+jp_PVUt_7{c-vmA*{pJvQz5I(Bj>{%T(Qo^rv|8B-hke%no??w|HWMDvQj+ z={kfc{Uaj5IBtwhbe1wBBjzXwGp2@`%8x}_e7eNfci>;*2^E)qHDapqY5n4}%3)|T zQJ#R*3k0R`Mw-_?iShcNfSV-DigN%8Kb`2MUPW~8U*LI#P2f9BuQ{(?{nMU2r5 z#ZW`f=#Ze)@C^gw6cYo3;}Bg5&A7-kf&8-xff7SQBkhzN0~14ylKr3v&6t$zfZ~ZX z$*ACfGzo}<1FGkFB(;h66f8Qgtb-?3U_}C@wJJfzE2__VO=|HKl zaVZ6q&9gfRluu}DDHJ~0sUO7Q>$?AJ+&m%Z)@#Ci9#>902JGjXKrjO_QZO;q(`4R{ zwgI)jte$17_9Ha2ymapZpGD6f$MQC|uqKT%qkOFz=?ehOa;_CN);?{D#Uie5&8FF_ zHm8|Us#I`JmlrkF=arvxBMyChJWRLWQU2?wIM|N|onmX7?+%;gxp6YvkONRgw@op9Vn-lXF(c`~i zR7`)k%byyhZ4f@fuUo2zr?etOs~efYf|)cow>P&Fcs?~6aZrD^t1a~DUxM)67mQ4) zD-{-}Dpc?*$xL~I@bR;=I~J^D2qGDYq}1T0fxPWb;X#^l%4{~gPyT+~^KXDhN9T53 z-QZ4r)fjf1A3n_x&nwN&&DFTcDzac<{y;{LIn5r;ef!dBpIsDZbK*`CQ+AkTw9;)8 ztGZfpo;d~7@z|W$kVN*4S~ysq@W2&V0X!0f`S7vVXK^Y*J7eWp+rwEwW^EB;Lu&`%{$qzK1A z3^fc)4hhOtSeS@=7?_BRTWHE~#yKVl6y`VP?$sZZmLEEo;Z|DMmQ zn@0g{e*J|6+SR|V1R9fm&ll+EW5aJQZV~Hm>my+yk2@_M0rvSOe;5In@rVd&%u`>d ztG6eerWdj~i^1LMPCU1PSHq>x6jN>MqI=tTZm$PCDv%vsY(aOr`dps9cW&2V%UuPU z88ic4e|s*7wr{y)pYbet8y@tK$W~9OEp^lbtd0c$>iXO=8!j808y3nv*w3Vs&i_gy z&NjBUlrHmsrI92aqwmLCysne6r)yP4akGW12b(AqVD_SZV<_42_1Jjoq)IVXQcRz7 z-nSlbwUfRP;-l|f8AA|rf-k$}Vo807Ad;a8HvGcSCbZ1gl&;!fsDj^~fl$$8ezg?dJHe z5euJP5%6K2Ux_$iDW8~HwcS0G{&xlJNcAVCHciUY3M5kBfO;fF3#@p->MVb6wb9i1 z1>+r$o@3X>^s+&qHI=c|<_+6o$E2A6H=FFhS|sQ_9CnN!j+PUrgM;GF3al( z;cRvH9hYVki~4P6ePvH-s;yM`2=0VwP5U>|`rlZ&%*=nR?fZ`;a*lwBbby(0dAPr4 z28LXg0c?=B3 zctjpzQg%{`rc`OVW`vxAqGoo9j*f0ga-3#yj839?ZeE^zih4v2LV`wyhEh^m-fnD) zO8!c6Tv{2ZT^nBN`{5y4LQ(-5#nVA?0owi-oPiWbrz~_}WFn%mbvzs|-ml+OKM-`^ zw2gXto+GwMY^d8OKewsKqRk8>)=NU&K;4ENEK+NA80{l*d~D$f1BzwT*Le$VB|hda zIIu&ARE5h#-jc|zPi@mE*y`JD4Ym^YZQ-ajHYXT-6|_UWT-`0DO(maf5kp^oT}-x( zx2-p|T~J2-%sdX^IeVk6t!cLODAclcRn@cyvlYdj#P**yu4Z#m{>;(b;1!Nw_2%OJPj-`&@l~L1VCJ#Kke$~ z=!j0$EwK>0Kx6wV#e{kL19x654}a{{1tof@@kb9mTv92VKXaO>$gBgdI*`O`_#95r zhUWWNg{BPe;l6xBVXEpyVva!s$v36YRS#>T>K48M49*-LIgTp>>E8W;q7yN&Ov6)!^*b$^1w_y>$hY)n>9o8X5!N0TxB1He5kWfIw;0}~;NZGHf;uzap zeWC6!0~%yIHEBP{ZBi%un3tLIOav&)31z7)A&GnwROzpBvJC36R%u=+5br3j!iHhu zNa|BvL1co*Gf(pE#EUBKqylYTYJbR=ZQwE!-;_nLv4jK1D93=n*iOP=8J;8;nNh3 zT5OO6nx*|FObc$!zbZTjmhhuN@^j5VDj__r51fB^z%!Ssyq@2-dH!T`j=l@t=NRBU zgWwNLuUB+Y%cFrA=OdEtGrxyB{wEy-sxbc4lORX<2Kl9;OVieF5|`?EWq681j1sG| zA2jM_pdG(C@A?!9vv}EwJK6v4v;D;){cm!H@eglGJMP~(Gqm-F;=Ya{Y*^`nFHoKc zdAhjp09U!x-vgfGSG!1kHvo>gI?P|ib+OF`IV=rU5E$X^!%1%tjZxcK-S7t*%K%Mp8Uin1Tj-m}^!XNa-NPETf2q zy97DqR_wvDlx6``slckchVW5&EWPCSx!F15>jbya7==4y2Bgkpn%KpozVF3^URI=D z+T^Tyzpd)2%2~nME`FwooZOwW9yN~e~()C|| z3}*H}FraqAMpQceXAZeT>Dn}E_c)6c-~{`H<)tk(h9fSdGaf0zj*pOdsIDZl1B z^2r=3#0kas+#FoE(44B&oUGh-s0~;+A&yvmg`c5e319@4L0pO@R7NK3q*Gr!uv#(3 zWr@&(xL6z*q<)r8TSiWPBXuG)lsq!VM)rWZojVHuf~hjZ42uG@iO`2LAFY07rA-(1BOZc8uxd{nCr@-BFxD$9F ze0rz9pqSlglXDCQOvvSo$nt-c_yUy+0!ljiIo!t308E0f2yFmHaU_j=nDz??;+acm zrz9<(cgGA0mO%ICJIIawT{B9qb#TlEn~xiRlntl_WGim4`@J*u>38m?(u_on;Br@) z>WS|=Dzk<(AwFsycaPwxB~5dG_o@Dw&B*$PZlWEt_AfLae0huF*jh-9TULioXw~R1 zw^nz-!zU&3P3;rT2ifW(CwCn2ecc-81%J=6DieW%?unMK5QGkhS>LWe>qGFs4kDI^ z(V_?7f7FLsASKW&=sF2Nw4LNruPseIok9mKK5*bE>Yp%OZwV8Q|LY9Cgpn&3~U9C0@+pVAw z6x{zw4Bt$SU)@X&@!8m(b)o&%?Ne%h(y}?PpF$FpzjsDa%2ilf+&rx4a+7c|dgfg{ z;4@~JwRY&`vD%Mj*i_z;x(V;v7V~tcNp;@#3IN7Y@-F$Ch%)?zHviW(l9BmOobfp! z@NeVxU!H?MULg8g(N#hCP)xCa1!;zprwIp@@@meG~uI6&0AhVKdTm|W4c(V&lZF^pdIGyo0_7@8~q?&rUA# z*a@BEn+PK=lB9F$6U!t)6IX#7x&Ko6;@+szBRA&zaa?rbaXmItzcrVLGh{2iBmdBv z%WUSFwDo(Aw=X=^>>f!5MZrT*V)r&|QLP&44V(wpIsWg$_mAi$)1O9z_Uu-;KOX}4 zmFq{C_Zho@s&zAd;Amh=8|TZHM~m;y0#$V@pBVYrD;ZaY{HcPep7Y|VT)K@xne5ee z4F&w9zmT!8(DSwiG?Yo3YIj5~L3xJb+E@Ot^03;)9gw<2{JLTAd|mIob@3pbnZDvC zyEH`8ygSDbFOlHHe|5bQ2a(BkyyJdZvY8@Dbl@lp(Is1ck?9>alV>$~$6DdN5@%&x zW#FWN*0itO;NiT` z&4Mjj4?Fw_V}XqZ6yy;(2m%FR_(CGk?3R8YB)1q7h2X;=>KiYjL}CetXr zaJ6HS1ZP!?6`_HQL^<5+18_NCPnIGn! zBvvyOJK8k1-_m5s_CbEX8?$=7*|i|4z!b*#w@4hlOqqD?U)Y3<;RQdi)DQHn`UJYw zxwD6Gl)-cacUi9zg!}r&XpU9?-RJyA4jdExAB0zXM)%*8=gO6LfZHX)z~BQ;$gI(S z+9tmV<{^pHlx&_@2rzBSJ0XsT_46v+b%+GLNLb~lE#PVmQ{4buxiYbDaXnM0WxH|l zOElj?-M9U&Iz(28xqzDNJbnmY*7hy$=T2U1X(DFRxyshkrVaUn0o<>F=y|Hc>Sxc=nb`E+I| zO)BE=xz!l`6}pi9?p<*}jULZarU@>kd)an^?6Ls6!6YtBlnJreC2B$%G0oYqg!o0B zTZWr}2GYU;209|+g3KlVc!$|_%Yk1>5kehzg&ha)8ipTzpdqzf#e|oW_fvbOhv4+T zlq;_}bS%$e_8)omfZ}TZF5-V7ng73WCnzo?Vr%2{uOV>y|85AJf#c6@G1khSN+?S> zS^9YOGZTyS6*D-Qsmw*Fs8@-}_kkcNL|<_cJ?F{mhN%(sz#e+OhSm7DjTwUy-YB5E zAiD6O7<;Qwyp`*Z=kw>r>= z5+q=Tu8+&(lPaZjIN1mo)Q6dFpwUE#9aEdM@;ROuWYP#GKr}S+7(#nUD1{7AXQ?Dm z%9S%_D9Ms?vM?!c6${cr^;>q)d&oOMoL6;6ZTlZr)q6r&&n+TB?7 zAi4HF$~uw>3LL4J*f-OxX>>3+eBXbo5p*qQWTqM$qfcgcnd#7XP7DgwT@O}r_;19; zPhdU6u=2!7M;OI}v~#6TOrp85W{xo)q^b4v7ulVvrw1`1VYYLbpWldC#wM~rny?1cW7Rv-#PU|Mi_;%s zIx@J+EyGyRq6Kw?59nPQhAv}KW3KrZ>T{?es#L^K#1ElZNyKoGs6<)X5&7WxBE@0+ zR*{mw3i~lz&)S{6KaLBt^l-BqjC2>^Ij#m zNgCODC*pSTtE=DG5I&IRomo4U#kQ_e+s5xGftDr5r+4&+>3mncmkE8k70PShIo+m8 zk~kXFLhP1hfj%_@1dyh?8PPh0^kz9*vWoCS?!wN80Pr0)C|@JC_NogXg)W^lKfG=oFkas%@W`SY^Bic z(jvn9Gi?#E4f5;HIFUWz7!2sQQ?)w;cZ>_D(az$g=-331XK-es<;lnwZ3oVf(0K<0 zyac&L%>t|{pe6a>j3$*Aoh{>QwLk$)AHSu=nSFEH;%xrta-$=;pYX9m`i(H{WiT1W zgAD$^-gwJ1%m8#}pwq(6_rS@z2NJ9X(d>6HK<$vto5Z|{a3dJs#&gQU{2=?;x^1}y z9Pk7*H6NggPD0bLJvXl$-&cJFE-(_f$>4ZgkLy|WkgluOlB;!Xb+U!>>#`;1 zIesZ*;9Oz_YxhB!L%+(w-|xuAfSDh5ASpfIIp$)?V0pp_9v^vlqlr;33;E(((fHU+I&F6`Ed zs)HoBGmc0earSy(|4p64#w({9_6j9cJgfq zQw^R4WM#|sm)4O{ltT{vWDN>RhIoE+b4Hy`5s$6M^k5FPd9BZNk+K@0H44pm(pCcxYMQmXwDmzNTOGqv^k*LTp{ZqcsN&C&4x$Tv_aQhKuiCjD( z<7-C4yJVgD_e-wRNPMbu3r3#7h3T1jQHHg|+#~xG2+J%w}i%Al7x%;I^1O>Go(VyU6s4-P)YsWOnGqLxu3 z$qa`;T}dFi{8EIH7h}@**Mcf_P4fCds(2*Kf>M~QbPwCDZD>{kLc-iuNGlqyq;t=E z$~8nF!yk!tFFme=+U}PeOk{yWjvZaQOBS-jvyx76rTBJqLB|wwJaeaZDPl3f_)ddN zM9hwaXp(X(FLlZIz3sBe_=m?dubr@w2d^VE~`7ZdpG2_P&6cQ9;d5-H4e4YM; z4@4MWgBJLAuWd^2)9uT4Sw*rcHQh&g=@GqSr~q2GOxalS^XffGOh6pW$E+B9}7zDz%&|_&GjqVs_jeXRi))Ko#f{b-+a|S z@D8#vjsNbd|3}&w;~xv)EcNta^bm~n)TZOQm+`ypfPm2Ffqnn(;eR3V|5F^nM9=hx z1XQW|i6ahCvyJiUe}kPzg|`GS34-L8{D>ZmQOVDH>d(oE**0|TyD>pe-lw1>#~&NA z;PXNOaVJ-|L*#eyib2Y+v}P_nFm^kC!DoI5*7a? zW#CQBPaCPYO&?)g<&5g1i70hvM~iF**>c|$f`=pLu_JYeSE0Zl6nQ5ZKe z7y%9Q^0L!qTT8!U!AK{|s(E(&kf*MXi0GJC!6DpqH_zNoPeo|(;B;wQP(v=Irtd{D zrxBB$N{c}=(i=ukKq{qXO@m*4+>25!OrJUzp-$n?BK(t$49dOLM6)W!qW)liPX-qG z_uQ;w(ARPrMf?v|$E1}MOBu8q>JgK4Jy|Ab$)$k-=oyu8ZMDSrxRp3dG?Q_JK&^Up zvHCT~ELiyF!@^*7>(U*Hz0~!q3Q_p|V9#?CA>OXL;`N(B3H$9oCmmQ(T>@U04R?c~&Jq=5cIOuS~Tm_u?EN}&PWgz&_HGCt+T6SQ;L zE~#v#Xyx#Hqx`66#!iOD>)HnPZD%Yg$`Mp6-SAHF+k_#x3lTE}>m@w+9pIXdvgF zMtGh344z)5P>SIz7PbHzGN0-H!3+9d%S2aqg6zVCR5U z&&O>bGYtM03PsMv*6~wdQSzmV(>hQS| zIHo{r0elk8p){-w(gs$xAj#2Hxug+VX-uXzq zY-9Nk`IDkM`zs!}$bIHF`vCw>8Cyq5<*PHOK} z>9)4}{^)>{#kl@0<5OIZi(|AFQ=bVAy%GGdXAhm10Bk?DieBf24%bJ(4w|k^e)$A2MZ&`&qGPm#VJdfqu>D?}_ISO^mY zmd=aTYci0Rqw#=^l>j*DsXTT5x8HY5!f zEF^$X_I_~j=oQ~Iw(vnby(1DILnP6SW1gWexzEZ;LNE=wEA0{+O33HYi8B-NqSkdo z-pFWPL7n(bMm9D0HOuMHJjHHDtG+#2HYXJn9z|-%!tnQl5?Zuy_b+F-x4OpUu4U)a zrpR+%?S>WU-UXEzV0+q>%SD&Zf2(YXG^fHBa3R$PBPrE3wpn?I)%uL>#ew(_+HC)eSp^kF<4q{n*wFHp@HaEG>J08*pg0orb@UV2(cvlk5 zmTiW*0)DS{D*$^LA|w|&Tl6(m75yGRUJ~csfV?EQU(TGsyTPNna@bG8#m>#_$-VH4 zi~(vArdjbR+=+hsCB7)Q>})50NGue>ul&2dZ_#}fYfI6B*Y=jpO{WK|fSMzpb7>K2 zaa;eaDC-3pSD^vbvP;>@H%HVp%+HM`r-fFx`-b#fvQ(5UAtTU%a`aQq`3l95t6O5J+tPn9ekDKT8 zY`r1xrG?d&=W=OPS;cCHcJ@bjui=o-%zCfBV~Gt>SXLhcpoHUSb*27j)igWzD3Xgj zc<5+$c5xdhN?j`qSb^?Ar!@l0O|Ep))6?_oC7Y0evq)eOViRb$C<4B(+ng>;T<}GB zLmy#|600(w476=abo!O(^quaQ4rSajH-7D@`wwhd9TnJI^}3I#>i}Ycu^#=U69tx~=}$=Um8F{&#HJz8=Xd38}GGCzB`VycZX{ zB3ekyLSQ++hB5+qd>LK{WSN$5t5v#i?H}Om7q8(Q8m@g1WPUicF!l4y94yB5QUy#z zckY@UoNNjHL^dn1CF=@Cjc22tSReJSb2jgjaM2KuQsB{r<)J)a&U(yj!}aq<@96Ek z$y(yAl_B%tbJ=YiBh$P+uy5G~WIg!-gm!fTqj%PXP;}^Exdk2ykCo4mQRAENGr#fQ z7UPND;>zJ=b~)6MJhoo0L?#GyXda+G@J}P8`YD53J>hU6Ph~Pe0(P&PO}nL104q4t z4r=wfk1&J_G9hn>5pCjO!jAB+W%p9?!|!EeLmnx-abZYtcS4=BxYtnfm#lK5greWhR|Sioc2vf{nW8#+jYZY!Zo9lSrGN z(C+KVaumI%nb*Frly zm)Hf9$+A5&-1>zQ4lHs6*;A*9KpoQS>imYOJu-r+P8!cyUOlz3Ae**-DS9Ny=y18I z%P)QUXhSngm>dDZ4ebKy@qIiIQ1Zqwzl?{^3fbF}q} z-T32|OX$Rib@htqsxI{E+@P-nTYg&{6!@xo?|Bs^O?8C=n}(u=;))e^Sj|T~J!^G& zT=kiq>Y1_ZIhQfh$)RY@Yrk@&pvr}qu(LEndUV+tSJAP6(x%*@P^4&!;lyYIQ*}P+ z!`Ih6d@20#*RYx(G=eHV0D252_f=pBW}KIP#llEv2sC^8e$3+& z3US3ErBWscNZV~%hlq)79-j`xHC1IL)n`>CRdlScC>}mG)ile}{Y-1- z88zCrXQh=(Iv0u}^sc>wd6TxpD~;V6;n}1D*kZN&o2;|Ha0ZjiPFZVk+kUnfqO+3% zy-P7w4P7S9$i7Y9x1DgoM+PX8)gGBuQi~4D zs}JtVyYVjaH{bY|I4mdUU@z8zaWr2Ak1c3DW+qx&?eZMPdf*c7;Ee{ibpUAV zjS2*~XU!Bu3&dIzAn4-oLC;6S`!rYuKr`bc)O~?CEbk|bOJe#yloEe~N<^QGtuD^t zn|8_VROxH9)}wHY-hrExXxXNJl9lhuOYVXey|aWek}hS2T|%n#ZeK+sjD(r z)8|aLo|tTEu;x{o>}zNp9RkZ2#pue6qJ3L-x*Pal#$otUzOxR$ebY%Bm8dphbTcXX zwhnkVoxflwA6V==AOgUbvFi%|Qf7iO7YXmg|8~BrSZ^vDS#P4d;dhD^X?nR5K*xD{ z`oMnrXpt4;!*rqFexVCdIv({moPqHlc^`jrgHJ-TjX-Pl&pBSYE z2q;V*wC?ZT@fSt;f67Z3S=j#Y94l3zpOqtepS`J^Pj zzC6m4)-!cOIt*ZEy5a2lu%7BTl`)j@0qFdA{g~nt5JUtEsHHvcX7W@-Zo-!MPEBzT z+B`Uft#lO@*xJ)*WWjw8vAvBFB?l7FD?lD6ZVfSTNzCZ@J`R~n#4&C!bEH7Z-I}HR zG$g!81kp>+g>XiO>;LG;3MPUbSI@!D(C?1YN(Z8k4^Lo;h`kc%6*LVq$gA5HLN|hl zy$9V7m78a!Y321A<&9*XDwU#}gWo(bWa~?~%qxBoNrLR&N*Jm@ixkJjkS!HK5^peK z6v{|XMVwD;z$hx$O*KkH;%*eYO|DLeKD=ktDWyP|C^{5}2`a!*nlLP6v`vSM0_o=P zC7T-Y7L-vz9v}aaH#>`;hYFEuSg=>iPmLDe&_GOq79j={>J#F%unUX(R0t*EC8IAB zMN?^P5=TR4g}bwoa1b3#_jp5&97EPZCHjxY4~up3^&q2-7=D1Us}oWkpc42s;f4zT zjnKaC1s{r4k{!jmL>(TKL@3vIUKtGKb&N7W8Oj&ZeCB^ztmbWJ&eH<U~p zUr(m^cf{Ip;Bn5rA7VekdoK6$3UkAMq?dputytK9X{cQ+V>^)|CBiKyO%;pmE2AZUm&VVFk=nTjsOf^!_1Tv<|xA`(rwuF$6`+puiFWWr>lKOy6R_^ zUvHI!SaQ1h-2)!SNz78Z<`?JYSQc0WRlV8uT5o8@=-%qnndn3X`KL~_dbW(3Y1U72 zhErs>DQnurF_r@?lzDEdIw<7|defBhKB|)gvLV~MtX{AylBjl^R9*vw^06fajSaqb z)4V@J`i}O|>sk&R0H_DQD=$+B79{iMY7`VD9h=LCR)n3#rMsuy?_4y7!Xbz1>cXy1 zUx+rPsQ2A==mPtLuy*)Zld6?a$|04jNHKH9NYlJsUPam;{qat}7*wv7FqVWCA9JX9 zSC&rxw8%uo$zlyz@{8`nanThl-awym`l7~_NoDdvc35pVw`~^GAflx!O*||8F_Bw9 z{k?)Qc^V>eq0mf4_x)KmSib=Wo-Fx`;vVs%lUC-uJcV>a> zezJX8UDD+EaRneOKJ~lG1}vgY5|T%c_Cc{!tL1cN>Ue=Uda}^j3AAHh5veMKu9r*g ztL1g3Y0KK}@lW*M_GzgtH23DzJa66@tQ#;R-{>=*oGx~CeSW?joTFg9v69p44Z|L_ z_7q^{WCPSs?s4t{n3FffL~VSCj?ugj9Ck#WFtX?eCumowC3=|pMVX=vU%5Wkn7Cs& z+(KIz9eng)+NYBfB?8&L@?xL+*@F15uSTbY8(746dVVOU`OP`<;t#g^C1PaOL`BMC z4AF;xH?S=L8DrV8uKpNUl+yAuL5nc#TR;FHRS`EmIwYdb_)}--+DRq)&y=q~*Cac) z&3p;2;XM0RPnHe+s~-LJD%7}Danncvj(zY=a5N}kcjZ}tfk!v-IQC7H#?r4%L}2=? zP|7=YbC^w7N%f0zWXB}`-RE8(u#iZfirixzxe_iYEG^h5Tumx_ERniVoDB|ihT$Lj z^iU$mcffaFswyZscgT~90Nv)W{id(UORhOS|8Dri>%RRXf6Kh5x(6+3feW z%v|Zd0gyiQRliyM)N`L3qn#evE^>Ly?w(5O1hFL%up_(Xh-EJ>*y)ILexl`8?J6|n zx=R?KQzqC5yRU7{oi%ctQ5$eKnn5G#<5F2yjmBG^KFb{)R?yCtT(Dxg@Kk}50a~Iu zr&Jb`U`jf5*aeD*7qm0y_QbJWY{m2b6jHL%uvItzk`mIL8K77E+<-X#_x5;~F0b15^9#9w-miq<249R@Sz6$>niwzg4 z30nB?so=|@D;%e11CoR46*Iu!*T2j0E7dFrqY;tTF0Q1>TTXA-{Zydi0Lwrt=IH%> z25P;$R7@HFb@fys)WdojNIJ$fym13-`^;vWLilM1(U|XIDJAB`(g(DNk=rMa`ti6g z1;weEb_uJ?pQ!?V+4|zg5=aeV`w9{L30@d{Y85j=*wdZM;-qnWKilb0rTu0wGPPvDijDBb3!1Tgq?&H@WnuBjD4%yD zsX!hQx~YEZf@w$<%*MG6en#el3Eg+aqp2vGoP3LqEZf(~%_;xqK{th}c$J&bcu2BG zY<}1AaJmUtco?Uhsb<+lkFNN~03PRs^8nmz0OhVTWt=z($Y(>?AZ5I~VRv+5CW48f zL}R|ZI5Vp1N`hJ@ZpsNnNPT^KH9QX#TcxM-`)hlo8IYzmkft(?Pm7#l@!+Ua6)x(G zhO&=D;Q2_Dyb9+@CT{(JA(_|Y`vqb}zIOF3BC4Rxw7+tKs^x-(2m0Ht^D!pb!;zde zk(pgO4cxcQm32;*u;&a7bNxy6wD}h|{lDwx`Rf4jzYwjSo{F9rLTgXWHiRHB5PA>r`rkeLFZ%ue6v{Gl{Mo78 zp$@5pqPkdBbWEuvRA|NIl3KQiu?v=GHeVudZ@Mm=A3MBSF(DKFldpbdEI+*i)JPWu z8brx1T5>&~_#_3BB~~cJY!W+JsBfJx`guw>vY#C}p2>0Y)t9X}O|kl=quuARy_qDi zl7=8wESOHG*=XW>G~}3SMI^*6WcJzb1{Ks2d4P~6Iyy8_AX_XqRZU>GILM%goJ3G; zlUqc`T~3E}^fw-60h1@lu}xwK@lpKK`yqm_b$BH2Y_BbEW~Y&&54Ok¨9yp==OQ z7}8v19>lC&->o}+1FJ1kyC}I>*;#$U>chw8K@nrGXL|hjYey+)X{(Scmr^CzObgqi zb_T$|B7FMG6u+GbkzF<4R^6|KuSZp;Gl|tKMzdm!EWj z%06Npp#&-@Ncp8y$K7|1ev*P&6B!EoAcwRcfiDbigK!WAF(}v{W=leXpb&aCD5;Nn z$4#G-Dl$pB8A?1T-=FnLSm&=QR7tW7ZxQAc2v(Q9%4C$4PQ=B6Wi`o?QnXM=YALdI zZq<|Al;C&BYKYe4OOfYYpP}!Pr=!>t@)ZMDiwDn=yX0Nzb-=sEJL9(j=6wObXX_E` zb{pCEsmnQdXnN5)a7Xhc(ym{6F*|b4cOS235R%7=z4HoyiPNrt0GHvqSHLFLGDF9m zt)7&+QF>I{u0cY%X*MdQi};8U#=(BM^3d`c<;}5-6;e@#H_3Zu#MwmNUc8*C7HhU2 z-H*k8~4aD04W$`cU6-;He{S{t;%0LE8SwK+X-Z4;yNhh-C} z$AZ=3lnB3C!JEY$r-|f`09HOn{FFcGQZOuVb1m2>>(%z;q~>KCRi&qgm6n;?RdrSr zo{_zjhqNkYD$>bki7nuw@E5_?Jza-e-yEJRx#^WhOg@hlkNd4EhD67k(bXOMu%af# zd-yBU@`1_sw|{A`|Lrs zu6=Zii6;=$3OT1brGmoB!#vNSdv`@%I_-ph#0HC3U$5^;4BzzBXd)Q8a*&PQl7+UQ)NE$+%-OC1#Zi3+;;v+f&%t+b!wN!%Ied z`tT773i2M{oF zMTqgGb4N1vs4XU)W$fC!0|;pCpb|Zm%c!qiElv#O{>PDCKb(`_mCMV#2Ls8NW8JW? zyLpPXL4f!E$b~Y@rwq`Q4y_*c01bUl@R9*%E*sJ(KIYJt`<_o2dSc`t zugzCA*I_&T56%7WG!Rr3iT*0ZpW>1gIF4q7{TN$QX^05xmeE4?~}!_MxPWF{6Mch zEF;xx@%310=}?s&ZlDL|ttxAZEzjUnukZmlPdZU9Q|gU+|b= zC+NRisbW>4FD**gBg1DrV|@K&*#g$|}HAu6}<285c82VPmty0Lbw$9WgvlpKdb+6VG*|5w zw<~=?>*pgWvMYT8Lv%aD3Wh57NA7t21`uMC?Iv_vu}fm<87|#~*_Ju+>28;3W^Q3*+H61lwtM zzIxS&D@`fWn2C6b#`0^G?jNiwZ3uLIAwy-m`u=+K@xFIf*dL2>vfK)0HYG;7iegx3 zo2{(!3?P6~N=j@%08@W5nsiyI-ZB?64XfUNW@a@>VR*z+PmGupR<776lTx;%mE6{n zP1YFN4@!*{!4z;2Y#1}EL-3wdd~7tAF&40c5z(2u9`?_Nxf^-QCC1~9Vk@Bynl=gD zynNrF_*des&2;xZxJ;6vzF4VeyGt@LgtdiJ&Pq|uRfK%175BzXsm{aR#q(07&sTta z3BHqCwDigenoQ=ftWx?~%YXlF@K~xTx=#IAT(K}|kW=2e4sFM2U8u+acUlIPYw;_b zxXbA2S&?1=KxEb^p5X3K48`Iq!ne(}Y?@qZ1tAc?- zb(1kvTHN+Ja$+VZ920aI9)eJC6_Jzgkv6T)tATXsC5R!}Stbb|>xfMgo2Q}8HK%QY zL-~rbIuvuS?-bejR5_$1_83Bq(tQeP%(C|D)bmDoS*pUdZo zx?s$%hYi2@eMEUCGrt0iku4yMZ{YbSgwUO4pKdR+QeN^v6?Dc8V$hue(Ji|9dSeFq zt8yDVD*9?K@K_R(;aiVTVtiVfT9@jWQvwxi_}Z_2G8^k~;@12P8%Gz`Gx(8Of7fU3 z0?5ip$1==EKxCG*edbfzx2)OW1?fbina(^}EaW zawKkZg2T}(Y_$1)gDD%*=rKhn2IP>smV-^+_EPme~ z`Z#{bs8q8vX>_mb(8@HyD1EY{9yxi@)5@P)tiohxz{JS)$%b|)K5Ro)Qxk*Y_;>8% zz%&DA%I4j^G6I;w7<;RfG1F;+6Qq@Qxlv2otiExNe*=T+*M>x$VH_E1NYpOL&6d4W zO)Kn{QTqBd2D9?;;gjTgm4Ar+?J$yH{6TbzE-5F#a@ zU+)dxuc_(L1hD)kOj_rNVMP5Af#!9rBURGZ@VB$NTWr?HxNaS@C$@K#T?Ew zm?ofUFUP-XK@Xa3`$=ePZ4WB<5l%*Sp2x9C?KQ^Ni?s&6z_;tA&Rqu8^*i&L8<$~8 zKQ`p0-|IO!t9vRbqFW}VM2IeG`Kb2(f|x%g=35?0?;R*Ei8AEC+aTshwMA`50Pf~U z%m`0kvx8?Rlbt2U6QlOd=+y1LyT3MQUKNI6PvE&FMUMEWwZ>0MN~0S(Zma3LCy$bw z1rcTZ(WE`dpzPyp!V~Ga3PEfGu{+F!nHHf5iGW$zX z6h7Z(8_eYWhC2EwAOk9BRk|~C(Aex5!{ewd>I@gIhxFk*1xPm5@8rwA)i^0}VbCrD zLWvZG+p7~^9bFm!DVkXCs?(!hTJYO5od+GTyyBVs1CO_tYYX{2Oq8L?#Bm|z zl*5lRD$tE6%$Sfp{Fq_it*2#yrzC9c`*0&6`NtwoCT@PD0TPlRVRr^=N)91u)?N1z zG@WLtt>5P*!dg6*K?ZOvJg=Secb5a<)o>ll+|cK_S>Sz2uae%|H>kKFVJH%tYVL!b zyXAuv77A41IC8=&`=7Y^%HEbr7bz)te6Q4Yq?GJ z?{quMoYL27{H8wj5-Koc8 z$~`1fu8|O1I=ebo>^21pz)_S~0lA7^E!e}%KWF$(G!@yYT-=gU&0R%5WHoW$ZL?{v z3vxG57SAd4IZa~XU~H(2WKN4MYn+@uxkWGl`L#GV^G&2L>w7wyq@nkV)~wpEQ+l)l z<4?XvcdcAE3{ySs?-sqN%HTjVp`j=`Kk_P}V4!OLkj6Slgam)NeX`{l@m(KYk+gyt zcZg0rW=NE)2Ki8XMaA@?bSe*7j9*CM0=JC>7V+U*)0J$Z2YPOq2M-o=%(4Hp|!DyADVO>nW@ZAe6PvYO1AM<7u>cHz^MBcSOa{Rqrh>#SyP`;ER=BdYa` zPZ+f?vD%XekoUgbIe7=s&N1#I4{sG9V=#Fv@=33Cep#sLjo!FG{UYZ?ysT{{m)-FO zGla095qSecu}v@+6v?jhvU;?`h3%S0X?>Z`+a|&E&4=4_@#YH{T3nox*et$?&eAvY zcn!|i(5c)OekaGqm6_tBp}V`>YoBHw=Yg9cECd z`qP9?UAKW;2AU;3(H-?rOU*RO04awmzlh6QR9V_3NE`7u!4za?e!fr%?Sv0jKtGD; zAjtuh)?fJv^f$Z-u;rmb9Ja{>7Hz{$kq{c?EMQiKqLZ2hYmVqTr+o=(BTS12qEnZ4 zqUEZZ?Vl;M%iSFKgJ~l^k_+SvwYu@Xnxn0&H5yr zThZ%hGVWk7wC90|{n2Ihzy*Dw$ie}D#Ni=+k%b=Fn;fogHV)#J>=zcJp`x;ZizG=( zN>|$+eFawCjJUN35~`Bl4kt9s0govJUQordA`S_j?3zz9Fujxw9nn>_f3A-JXoWv^ zvUU+_B5#k)ew>0+gg+y(E`Ps|<`*i%DsDkJZ>8^wD8 zs^s-(iAHZ)b+WiNw!EG%E3RFxHM`tHyo?I(`J1-eAis8h^lSNl_-NTCBn~7FTuhrV z{-ACcl*GHHg2UE-ZgNi04E@y5UCaJ>6nm^4IzNZ&TVebh(7X`l9lu1M7VOYEZEfH? zcl(LD`8+q)GZdj@&jN6?FO`rz^>qoEug)~1mtknk4^W)U!X_1&Xb z+S7tHN)uA!`1pNS20W#t^#K|1983BCE>`ogc-xdyAg3bpvz3r09(!(i3az~fxdglY zs(~q;WKv_DWKNq*xxBJapJFe@Zdl9AN-*NN^#LUAV=n(U74IKL+5cH0{BL;je_Xim zwJOlwtxr3VU_O}Y=)Adpetrm(y70QXx_Z8VAfUju011)+MNQy3|1u}zKMvaex5^;{ z3*&#WS-e!BRFRi(bB^dE>hl?*=V7zbB&&#U^V4Rk^L2MGP+v=t167kp`p3Cdb=3~5 zT$TBRVqfm&VmIoH0jCZtaXY#@0>2af6+*n|;8&}0SxjA8d5&CezN823; z670^(WidtCZyhZ(r5Oy-xEQEXz#6Qv+k7}Dq7g^HDhuCRq}NQ(3ZA8-5zQ(*SRU-E5}l`Dv$2U@ zpg`8Fly32gtErK$d6ctA?4~D(T2^6}EPQIJd4N^#p_%lMx()Aj%JbuHSHwXpShk&m z)H2KzzjzqkbuyRIFARsL4ZcO5OOs$~$%twNN7!6xB#9jnWr0ambL`{13EdBx8g!&CxO;S5v zIw9NHZTsl7)$SmFL<_6O@l&pG6K37J0b&N7C}i%v!?dd)c1IGAf~~ax{c>t$02)*V z-aMws6rXP5!6=qmh!KxY^*F(V+6`_Uz)#eTB&=a znCH7_eo*;2)BK;AnNF1K;_zQ&g6r`fquxya@qWl^Oy5000v$0?d4+zedttVDajJ z%(D>Fw?V!PjS9ASxKEAJ&%t4IZpX);a^N<*US}e59s`2`>B-`@g9$9J^DT<+ZXPsT z&+}?KGH_#;d)r%8Q}qG(T2asDn9Puw!oN!^0C^%OF$w^(g9${-u~4ju6!N;aU`tMu z@uk2<;xNYOJK(we4b`u!7ddOy zdhkW2s5G38cAF^WY7w~R=;+0!c=t$Ok!gpQO$VBnFrZ1s z!>LtTQ1$+&Nxep;;^I-+LTf8QokD0hpBg~MD-l?KmuDJ?Nog?#m$94M@GI0?kL6{X zadgRB=C05^P=KHYxfHmRR~-uBEC)RaqYCs2>U5M+wOeib3@M_pcICD3rR8g8O+u>Xw@2oT&1x8G7!JCouo%>o; z>b}G%uSM{04)m!*k$9t{)6}D}C)bQjxO^M2U=)BcNRwYAG5&w)u*#D3=OTH>VC_m& zJ8OSZTd@vNhYKtA?zSIpd8N5l?F3EeliFo_eAd+rE|Pa%H=H1BD<3e`iz5V5Ei!59^TXY}J8=3WTwZy&HvD0Adj^bgIHn4-hnbN*t7Lo(?Ys)9u%S@Hl zIPQy=lks|JWF)tt=BGU7HG;9wc@}#bIi%czdJz!-6)-wgTV&5ZJl?I4HWEIRj)mPM zB|CSLXXh(0WwmM>n9}N0oSmB&!I`Isla8kuaxc%Q8yQA>o-PtDMW3~HZ6bQep#uHs zg<|jz92^eT0L~8Tmm;z;nXKZYG21;QpOBy;MphA1Y;GJ7IikPyfvtJ39hn;khi|0C zz${#Pva1ZV{YtRZ5(7|0MIu)HFAfi^8*R5uF+O2$2)eixo^`sNEp-`1TKl<*%k*M+LS9&)8u-;Cs_z$RNMy{}*93G>k9+nHMLX_$|W)x}$d#EOBRUbme z)C)$G2Ua{sQ!gvJOMVQvh|;(&6i4Bg`~aUyHz+~}CLibVy855vhLLVRcKQ4qTQMQz zdQAOogSa|5PO&yZuaK7TqYK@Ssn+9aft#Cv6n|D=P-*bHT&;XuUid6X zbDN1$scX|Q)~H+8WbhM!g;^vx#o!|@OTv+^)r$JVk_|E)^>hgI``u8bM}D-`Je zRK|3Z#-geH!>zlp04M~%I{$6xf1JzzZwp|0I>!HUfodsu{U<5SC#Km2X_}&I)-rRu zD`Bj-fLc%E89|ox7Z9K(z=>mQ(d-3UlgiDy5(5c(YO{7(P8Q2%n?I)wyA2U$fKpv%{}dG;lWGHv>~tF051v{Kic(Cbx`fdefLnUe&})D3G9@#zI7PHM&U9QTQYdh--gg6!lOr0m6&{HMiw z{)Qa92{3J{o4LPUhZ}l|5*-Q1YsG=VfPg)};CSor4rKLz6v{`47Z&nxJO{b5+%4{3 zb?AJlQ=xEnR3gg{W+0*fUqVW?+FYZ(mljRv=&1kp$*J*dGklRI)=`t8 z1RW|R6n=jXqEn$-DCKUM!7@UmRcb-(ER0vSaJAvD#!XmVxPwR>Uumv;{R2n~|IkA# zDr6rzL?Cdt!Im8!Ov2A-^#MO zx~TvF;3I(Y|2FPFWP|_h3dZu^kmCOr5Sj=M?F0o0zW96xGd?3V$+!R`E=4;fMg=t1 z_8t3%zcEGlA`rb7!g&B^R*VNZ$%CvG>6WT;SNoav?U4hm@m-TsS^pQX+w}RnUgDPH zR}5n8(BVJ<5Tfb6oRO}HzOEs>A-qAXfvoZC;B7=4;1mNdRy4sJA;hli`HvCHtTEj@D^32p__ zMPSg6po?=)W#B0^ZU@|!Up~tc&}zr*>H-fRY@Hu$ZT8zoy4p)xN@_}6&oo z+*w~<9%atYa^^XbLeK!{2(D-T<+Wz|hcfm5^SS&NWZOdbKY|x1AOKi4z`r4FnEp{m z{BJ)MMn?AkVhc5?La8FDbmst!{T7rBF3qT8RJ*|9i&#-QZ&oT(M_D8w>z)Po1MuTT z1c&qUMU2n91rKiN6abQgFX!VGlvCEwYD%He*l5?f8nCi(+0fFMX&w3SasldY-f-^e z+SwNC7VA!PIR2cz`FZ~e321B6!-h2xK0Rm7AQ1TE=N~u}+dusMLno%0E?H^2tuZob zs14v5o<|paOjig+Xm8|w7F_(G&5neTFZe88AO;|5UI|Jq?`}k#r=K1vHfZmte+``LlVaX*Z{uBQF8Uguc+d zs$46Pd}47TSzi|l@;>eULq54D=cAb(Kw}t~5N8vVlc*-*o-hMx`eF9A?vi1o--L6ZZT9Dp-FGH=-6H2JmEF)a)>r0YEfWhp>dbH|ISIq$wrW zLFLJvJ$Kk=W%4m<<$akrPXT%M-RYAsBif;c)pT=*PR7w}k5)Zc2*SxfC2i$!qb+); zTiI-jqy76{!A~Rq2;szRX>}xMb}M&^EhjD+TbWv3L{a>5%y^1y%fiNtqbfqW1^=SB z!V0_Yn{ULKmgsY1AzH3Kh1Ph5(=FR}%YpzP#Y{usZC? z>j}Hpw>G7^m5^uw8UDitC!BW_P3eF=4s3h=X@lVNg=-cb@4sTlq%)AT$2u9}G8fZb zySHWI@Uk{D9wK%Mp>^GN_Q+76E3@~!Xi7nUo|l{qGDoZqG$Ds%YMM{kLq+vg&^v`7t>)=RJPk8xJXJB*$khJ zp=^7BBuFL7w2p7}T$Jrjp5*uyhaF`a4lba^!OV`ir7u_CvCGJCS^tuBd-w@#=75NJ z6?)R3xO`StHWX!S`orGPGp~~&9KjaI^9_9xEp3FE+IZTR;>1gy&uMXxU{j}CvI?V_ zbLw+QaYz@4mD?$>&>3(aD6N8O)Y-0Fa<7Mh`;OEV_`0ucnjTdb(i{2(~eIofGc1zP%pm+vm~F1 zJN7~fRC^i*g;a50p(U|8(DtXXa?m1nqbm$fA~7AV79Ivl2IsMDx&nRJ#9%+`>+Smq;5OpFT;}#^% zV5l4kbTVo>HmBIo=UJ8Ue%g+L13SuUV}1-v_>~*Jcn)jE7?ge=nVjApP6BBqn92)+ z+AWBHqWb&Qp`oeu!IW}K)uO5?E+-&}0<)dl9xbp7^GF5(iy2B8PP4S4)j8xF=?49g zrBkxO8~D=F*+1qBtUao4m7aef)3_@{G*l6w!!LO6btG47TWC!&{yggttD|tkun}|O=Hny2m(=irVb-rxP&55umg9_)ycf?@ zzz>1xSJ1WsLDtH&XLPg&9=5w{8SDHUY&P>*xOr{39$b?%nhOW^WV`tNOdXv}GIzFP zL-P@ZVs60ZK2-cDpHl}^*Yupmd`Yi)!9swzSY-Rr|FV}80UJ@z59-I_d zDJL87!o6coe=->UImv8?=TU+<;lnlReG0zhETStSuP7=jT5g-eGGl4O30~7JhFR5( zoiaH*e^JrfRnq@6tk^5tC;Dz?1lIJ!uXr@PUL?h+%u=k)Mcv8m`4l5-J8fePlO(6V zs2s-l`EiF1(<3-hHWb{rp3S8iWWSDsm3Ju}1Q zJ?%BYfp-iSKYOvv3a46*T6-R3;%7CLIgOvnaX5aPTazneC1sJfA2X6vQ*9?ht)ak0 zz`4BN3RQQH60T1%0}fe{m5X)i@hYb~y>QN_O;fajhKy{!m0`r7z*(_|xGYGrT-aPV zmsOuVAOIrpCgL=uc8wB3g@L#?-}c)?`uu8-vz*_A?udQQczzUZ1_(rnq@XS@n}S(M zIVGtL&-U?xis*h~{6APAZAWm?pS2te522Bhg)*Z?xq%=b0DB|6$g_%iX9B#1|Fn~NwW2)o@hE6S?N8NI|om|>^S=xMt!2m1GEHN7jwB{@Tm_(eF z8x@S_xOqca#1U9LQ-HcArp$=ntQ(GkCL~iL;W5bzwj`ZPOp8iOMxP)Ra=uY_^|q-g zx~aU=0@ZJAai$buBzL-`0S;41xvh$-8F2Mvk6_uLRlDo1KFmul0yGd?uB8`o94)>| z5$bx)7`2yPeONQ4((DXR6R=Q}W;W5F#C)y-N> z*5QsJ!m4=am0n^LvSfkqSfMni=u)rH3MZ}lmJ~x?#Rg=xw9KmwbL1?6b6ab9Tk*{v zuF0G+a5hN)WQ2ro^n`eZ58d9#=u@sOED5X?8T`md@Qe}VL~cCQ0l!`O(B!~NIMZ+O zm`I;MrIJIB<$M5b9ML*-%iFycGBfsx=-C&QrHQz;22H#r0PHMW-?f=k)TMqU)|)kd zvU+w`4cZrW7M3>_Hck%aeD=s-bDsWNyY~+r_J3~o{#$STKN4@O60&0IKK-7bgaFhp z@V{LnAS&o4FQga-fXEq$^uNvY4;|)z+XT|Hu>6`dMt)khdQU63l#Ut~gWqLg?^D3wKc z(ai^^XN@Zz7kDT(#njV@57TbT-P4;^gAV6x3tMY0J6k7iIXgFQ*hS$gXkf-eOg*wNN=R z3RN)*m$KX<@b%%Rx2vC*Tu%@4fmE`jfjK*}v_y&wYK=5B-p}6&;1-tG^4~^SH}@Q$ zO=V-k2J7lACCe9NEgx-)1$J-sx33&DTxlDoTi1>%ADOVz=k<1232l{zG#gsfT~4+V zn>5vlEgF>LY%Ulk#}923csEaWN7^n)BP~p6j2k%I)$3PI_VZg4D!0mbHV5UJEZY-r zSDY=}v@4TFty}`tVF#X^GizVoGvSHIK1y!&8yea2ByX?s6vvsKd10}}kOaRYV&4eE2}q9Q?o$rYP#XIyB4tr2XL@~wKTEkA1$?DS@W~6W zg2-z9!s|m5xZbb3OlcEvcttv3c8P3iKCo%0`qEjG(cqRIv(Mn7v#ZZcO%2tz&)^#W z!im&W>R|1)epzpYpkbD_3x<|;J-g@`Hb&$rtK|0kFrFycv=rc?q5+kafFde9yFawR zb-@7_;$~RtGrg3($Cg6%9g|;i$>PuQL7$SvxPp1QtHwU!Xs2rLmOs zcU~c}wt#DL-=UR6Eg|JMy6vW%8?_&u?^3 zVc^P(NsxJ8XZ082K8z;1zY*hwu_t2^zU(COOk&8mNTaPQrXRM{1vs40WVnKUXSc_S z>>jQ}Kv!y>wA;ExRUb2xG~G|1;=8k1Pma^Z#ZTixZHe1PZNl0{Y&YXVEKd_AmG1lb z!bQo8&KljQY>oT&*j6Co**HHkTQ6$Ma+gcLZQ)y0@&I(v^Xo7zHm8_C|DwtY$W3qd z!R6UO-*7YUVc##XmnE!HH(VQ$t1<|9_>4}T9HDL|!^dGWfVO!er42F1ESeTdw zxWkAxJck(MLT+fo#L+Ki@$JvZ6{ZmHBbg$z4rXd6G+NlqcL(Ebhu6n3f8z#Gk(C*C zluMZI9Mz@eiW5Nm3%~tTc%s=xF2Xo%q%?6a%fAl}IDLi-JyrK|ZoyMpZo=-Z$Hr<5 z`%8Vk+!jkJD7Q=TP|HHfeU)d&h8lL~1MrPde^7f2HAB&MQ_qHK5xspZQ1dY=Efz}f zC3PVcz(X}oW`m;nj<=@gc7eJ6v~O$=f#QsQrt|4Xwt&Oq`P&3?`8&MEE!N5F<57=s z#k&@|9JsLQJtc>$^Dy$s+aSht^ftf&$<)q}ls*3WSpBGpnZ4cb!G*vZ$!NCzYyk06 z9bCi_@{|6xDn`*=%?Qut9EpMPom&*q{VvC{EN<@j)#Lx-%bU9fgJ~X?N=@;I_VC`E z-i&7Wjv*VrDAl=N_D;U@0nHq!iVw3Kzary*3!lC-8Ktv0*+C01(4WM_Fhtg(M zd5@>t^+84?NvG3rXrp^vBOqcAgiSCfkuM+_YVLzneybnZEgQJ3izKl(f`jm=`OskEd1Y1 zv~PA7007Pp=wAYm8U7JJ_8sGqU~n-aVvl;jl1@_|@IRzhf=0QFr{++9afu-5bv<+TXwb z1U7^^+!USEgoFC}^zs;KDG@%j4pl87YRoiqy&%H16(1<7O5oT}Em0^Qh!oZsc26V6 zNuNnPP9$9*$|lfLJU{Cj=s=7_Evuewnr+)Bm`^26j&vl8`N)`vTO`?voEnow^lciM zfO>^q5-ANmY!>2NX;E9<=Z>pkkpModMIe_OjRJDQ-6!r3m4cplDq1K!rj!pX4%a6q zJ{rz1MwJE*B?g1)FiiSN+cqB-RL!)m4+sKLHN+1;4G2kSxldFJ&uK>z7hQn!ka-(6 z!dW6pm^iyxA?OZ(2CPeU_eTzKUN3x}cMvPr)GlgXK+why>K1iYhF8J2swk+@bmjCB z_jQ*aa<}jA8qNfbCI0(2T?AvPD4jTOF7aAmPp^-O8O7^^Y8`oi#qs)1@UjlC!)spMuNfSqh)5X*h`nXbby zmT1C!eu2=CS+!K>zd;H~l}t_M#njA6<0~F3Qzz%VK^X@v{I>Xm93zV)-&(}|q})pvzT-4Ll3 zYlFcjINjp4r6azbxNnM6NKMY9zTL99dnSV4?5Lvk?>b)&$7Etpk0-pcaivLyIJ>-C zvlf=#Oz%zH6(zym8YL|1wcn}!K6G*GWE*U}cr>$9C?xgJ$K%jG`f^i&*tx4MNh&|k zl@E$PXa=*ynbvC4p=6-EQcpZcR7IDx%#BLY8&Fj;98z6!MEb(B zU6jD)8-u;ZbQNBrw{@|F?}f|mJ&Ru1&#~1U$$|v9(5?3EfE|IHM0tf~PmzihT#DZb zQxd^F(b??)w4tz6JL>?_BmM|S&%Ry{-ba~Q)~&7Dd>MdyS=gfnHFr zad%gQbxqqkYPiPTP~qF>>aOv3Y;92FHJ7=*`2Cu_z5=KjD+HGHGT9AFv7oMnpyc-Q z;n6xD{oCXyer&*X^P`N?sUU`9LC<_nEA8A9Y&lWgdD7guUc1h^_G3iH~4PAXa~&sieT0J}ZjbXfcKK?QoAK$JpX|Kjx)9 z^EihrQtj#@<0CurI(*GD-3tdLp|dW(ym~eBZ6f4z0BktXWbzRsU;?}-?*h9gnZ82q zUKOrq@dZB`#>>sJ0hG9!`cEa*$)f>Q)RY!Gn2(@#^T|LusJ)F+ zaz51nuFSc(g#5cDQ`QvuF5%&HgVI;4D*!r}C-tl~NaLPVZjR9bdt~~iOoRq{J7AL; zqc+GhnWEV=8FCGH(SB)#r!uGH#~ZYq@hQy6Ao1sbz8B%R+U|lO_XT8kd(HsYMnw(b zlJUjpDcXJRC%~fbGiPL5~Yig5q-m+zI)#J{%7G_1Bm}w#GEc_mIPv! zC}Ni?qL(mj*C<%QW$7!nv`Ul#lJyYzwwLyA6 z=N--bxL~<~&&&=F`WTqwM8E9h2+n z$wJpmfK0(hUr5J{tn%zWxQy78FDU1P7)waS8*O_m2whNP808(~!H?c0&j&)Q%FEkf ztxSN#jWb6ee&0 zo=K`IbXbb;JFFa1T7kb7zZDu!|9W&qlj_x<_DaH}%UkgryGn!D{Mz~@Uyo&l4dV`c zC9P;7^SVuwwV2)3a!Q68SYn6H0y{R$JfGU<`MpD$pKA5KrlXs8Jc&|10=hWjJ(&lv zHAAzWtsg4GDsw_{h^9lFHjZaqT0Z)i#GOr$7Kc}>4?F12-%uKD^eK(y1XM6KLmR$A zL`8GOge=QaTR$0S`~F1}s9+xYH}DXjEL|#%`)NhmT(oD>6RZ-L0kbXw*)Bqm#wo*D1-<~h>0!L9eAqCe9hk@jC(oWZ zdp@Y^2)M9J2GsNqrbQf~aenWygU?8!>$|4*puJBEA83-01Va{r#)otqc1+9{JW_GV(9TahI;EEsJk~tkJU)1<`fr+R?F1WN?Y3jKb_3FA=vll%uCuDp z(%4MbEiGXhKE((pC*@-5_?uIt5*(7z8+C`3897Pj7zZA31z{b04sb3P6G{BRGHHl8 zTk%vc46R!DtO>Ey>}xK+EuK}^4q6TeZ7lbvHZcado@imEwcggRx!76BwfF{Uw+y4U zD4{x36HqhM1k1)Po+kvgaDvfZ%e{0||Kw`L0kcFyL)hjlmN>gY#&AD{Yg!Eh_pAP% zJh3~zXK>yzUI-^PKee=kRALOWPUWwr%G(@=x5??|;P%F8wvV~gbuk8OSa$L~&c=0i zDA5DcX$UY|)nfsxZ{WG9e;ax9{?k4|`Kpxk&f*ExXt}T#4ylRa^Kt&UWpg84cYoHw z-076DKlBYz6~rOy9L2#)0x*rJm!ur4wdiZ_l*^6(@qZO|T~SRaNL1+{NB}{CN+_ZC z07+;nB~%R{y+jNUK!Wtn0@6EDq(~7Ap$H@aMVcT!si6vy5{fiYK=g$s&7&`Gzjn{= z+5MY2XU=@h&z*Z`?ub+ZHFX9Rupg>+)%Lif6F)BQY_rlR)2(tXx*$7S{amQc#M^Hi ztINwv+FFr7?VoOXr%S?KzJxG~>ivx}^>WgBNRtxf{6#_vN2pB*G-;d;qxMSQpYR7? zCOs9d=;4k!kqje}(wy zZdqA=E^*Oq@tBw$iJe(on3Cs-8f`T^Zh@2KDs9xLf-fC|KmANDM!nJK(2xK{VT9cz zLz95Xq}`MZT51%vZ}eqsUn7oOQ+(n$w_b|o_Usfo+T{06>FJ4x4d*lNW`UlN?oqCM z#34x?2o0rXzVsXKh&*SRvXwUc?A+Tvv!=|+O;7Vs5+UYPqHVpWwH*gVl||oRBHh04 z`rzwgfMmo{b=$zyu5g|Cm=0L8#bVRfq$<0j;=Ou^HTPDL)C7qbd%dS!_WKL=%dB=M zG<4bR`^SfunJ$J+NP*I6UB2*=v09fO7g_riq<7OlT4ilIj6ZxDHPN%&e z!>8AMW1%p=Z7AL06xyZntA@+0L4&DRy`f;ThbZ`D;A)HzOWx$`@7{VM(j$QfywnC7 zu5Gp*B@jkF{5b+okuRd+i#K|j`frTU9~M3C?B9RG)x)nIeqxvg82fVI7_sYP123NW zfv=H*=}2^DQ!aB=CT(eo^LkG=HgxRVZ+crvd!{V7Z9lO|Tst7dfnOx*g>?t_0ZT57 zdz~6GsFtNGD01%CG;pSV$_batVf$)aBtH=Nx%b|^>FK-7fw|U;1`*7bybV5xmi=0( zTF)Nahnlhj38j9n8eD*{+9y>Fve#Av2q%@hT z*@@4uam9j#z8J`vEe}+3IPx&Q6)|zCP&WGzplxAvWiqG{o5iJHzB4r_VJ-2IjVHWU zI~>o0QdQSAyQImeDEeP-Z>3#MT zU{Cizf_-r8@OUSe#WV15?S5Ieoj@nLP1J*2K)G5Ty3&zaa8ITIF; z#5tw_niaxxqO)kI$5LMqK{{O}{>Dd4yOv@&wuB)|9?>K=K7owK@$_x6Ggw+fhsTB! znN?PLg!1{wSCSGF7-(%uct=ldbF;`2r)HfW0I=5D&pc(w*-Va2^QGFA?wbPL2b(r*V27-m8Gm-hZ1Wlc?D8jGq~e*n$*FG! z=De(&{V*e6^C|1=8O#++7az!!>bCtPRxY%H!jT_*OeS+`&276;K`YS}T3!hx@6pIn zg(4N$sAu@Cvbse@WJFMC$Vp@~iCRs6E7tgvC@mo4?*zbF_xlLR07ng%o1cUHTA|1F z9t}oK={9cpG+;Xia&a$56Ke)?rug}Pf)2czPi|t;ml4)QyKh!?35m;)Y8ZAE`>zEE zSDOl^smVBZC?|?>@#8rAnYuCNmnbSITxy)&UCxWS%*jbZdJBRM7Fq~_u1xTIA^%78jk8FEzqS?QJXn0UV}_}p~tdn z)`tLx=iXw~(L;09+#MPW*Ib`W_d&dwM!-iZqDP{lvnrxSpk_{S8Q>uQ?r`B2Y-*bT zr~RN^GIEp?l&s=UiT-&()7xq8-_8ZBo|~i@$m1z{DYcZZqKz*qg)QqtNR8f) zbYS7c(59QeRvaQVw=OfCLLP<1wd=0NJ%{g+BYUp?gli9XH^C0Hg(v zUoc$-nW0;Aa0*Ftww&Xj5p-Kll>}hPF;m@;np~kE`eDYku{nJ?`N~)Q_y_%|y z$6Ena8^-i-~B#~$FO6dJ@n<0?weZM&pMWBJSE*?pi}Oe|yOw0rKYyj$}4^3hyH zhOZHR3haHUR_sOz9Vdyx`bgY)67q`kEMy6$c|mzkGUy%QB_Q7j zQdpemd)O`A;(`