From 36afafd60a8d13cd2786024d92bbbc0a7251c137 Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Fri, 9 Oct 2020 17:02:40 +0200 Subject: [PATCH] Automi 2020-10-07 --- .../2020-10-07 DFA - Computazione.pdf | Bin 0 -> 36684 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Automi e Linguaggi/2020-10-07 DFA - Computazione.pdf diff --git a/Automi e Linguaggi/2020-10-07 DFA - Computazione.pdf b/Automi e Linguaggi/2020-10-07 DFA - Computazione.pdf new file mode 100644 index 0000000000000000000000000000000000000000..c3438365b912291b47b17eb2455c78725f24562b GIT binary patch literal 36684 zcmbTdV~p-wv+mut?b)_%+qP}n?%B3&+qUiQ*|u$;wcotSUMqW@ohRqZo&UExxyGog zepNM!L|#~whJls^isbP2>J^HS9-kiH&d?Hyo10G5!rIxykxtawz}ZCD#K_LrgihMT z*38))pOKM;gO?Y|$=T7wzy`|w&#;WrM&xsm&>va%^F>0pp2K-MY$);H-XTnTzC+E`p>^(q-FyzGC^@!D>KNLMD^YI~LRj?ka#$++# zRUwR8yjtQ$leXaoNK!?b5+qSB#Bwx&&eBKq)@Zdur94MR`whs3`+|JEF_J;)3rQ`4 zR4T3vL!t4E*DrT9U+T&y1zV5CiG5%Ux?>uD$O{+QLr9EXeaIcD!Ggz?OQZ?MV~0em zo}@X+qOMVA{@@dFnTO-nzlDdZFd}D8OT0vKk?@-}dcWQ=z|#+2<1@c0;@t^h8mJLz z%bN`SicOSZzEZIM+537~)R8xL+~ht4zGKiDfxJmexcLP?p@~&-S?Kur+Ai(H%*vjg z3I_xr?mbW-<8+iI8b!Sg%dfVUxGzEFdn2% zIxz!+o{)OPurnPJItIKgmrfwYk{^y&@~$8#x764Id?bVUcol_a0z%$NXd0J^o-*wa zr}db7njm6(GO2DV1u()%Ia0f?ccc4>k4zP%?1Jq)ZDOV%poJ5(0T_*FPJ@Z+N;?jh z6L=CHzWtk7lqY!(N+&HO=1^fafUyr~9Jt`|n<4Q=AT6!`JddXE4n&v>+-b=r+nhfc%*ewvcL zMq0%KLmJft=1G+AS6`!}$>%z6bJ?%fChX7@v14t;zEC<1;@Z8;{E^FmOK{MFrua*O zRI5wlf`A3%SH(2;c_xw_yRQp- zlgawch!YL^KTJ-j12Ju-SUbCxI(=0_!4-A805i*7oSs=EBGI-9Y2o#p8-A|n#Zyba zyX;w(eb>chrhogUg@R7lPc#XiAFt&1%bgxh1-T0yrxRhDKvn|_K(EDaF>WGtQG}`X z`?QR*dV9Jaxq~C*-Tf-R?11InhcghP}94h2w-P3^)pq9oi9lWiaTpIdEJS zBRE?Rhw`T6xp;!TEHxO$RG*h~!txY@`0d}0_Zk=OlWl~onwzc()YaqpcL2@j&$P6i zhVQW~ws$+RBz}IYvyX9=I`bbXNhE+i5>ZXIT%#Z3u16}SmkhcrzKZ(9w z3Y=vY#2Qc}I-ZVl+y=X;QH!H$fKhA+LN&7@23a#nH)=jLF0R5429smdNZp%rF^}aRFY2v%**OR`*fF$)hR=^-aB3&928Vi=D^vtdK38 z$w0rHn-kFt2i0^R+U7Mdz-?xxN%;zDivYLjg)y3eC?rc?j9O%1*tyoYHLE$7|)V-nU)Jp|y*P zW>B^Qe{Drw@Yi3l$Ckv@@A{wxpwlXS<(IYF`PN57#*zUhoxZ7bn0}!Rah|tBXR%Qn zm~M?)jqigOhN#pxk-hm}XDq^UGC!CD?$a5m;c9u+yNQbTe|4`lkBBx_Bqu4l5v_8a z7FNvnX|d?;zuPDKrQP#Ap;O6cj(jJBO36JOgkEU4)GtB(;gT4RD#ey^RpE-0f)HLB6Jx^Fpk>XZHNUQSl5M$gViv zKKJA(rcOT^Og2p!uUeS0do2qzQH!Pg!`Yean8W6j(1SE%C9-(J8L;J~vVjW#v1!p- z0Z_uiY-`U-mGr2~Gzk4m(}H!kTG+^P0FUle2M~~_eBSBwJX5;$BLaxbSl(+{r%DTZ z4}04GOo0-ShFSH6_g;wxj(-e zoDsC!<~M`u?bY=<+42~a>n!ib{Z*{ho7>4H^3RP~uIPo1sK+T)o}XXTe_%;3|iM+=Fl%B@|NjUD)E>b0Qge$TT|03G%( zIS^ng`R^4l%<-UmxKyR{cX& zKCWzkreHgZ{LrWlH!U)=4-5L#qRl^?uMUl|D=`H%`Y{HhQFPG5@*nSCbm*JorQcfh zU?&Z&!)51Eybm8Tir7+an5c0(7#3%k7{P~ii#k0U* zjqT>g+JMeS(Ok{7i)o#21Y@oV`P>wOm-XsFkmyTxV!#h1msm}>&s0IN3Rpxuk9Y)@6TspvFh}C&qW33Pw&gm z`{bK`2dj3l8kp0&#MdpS8e5Lmwunw=IX+Lbq3MdQE?K)nn|F$?dV;UA>>7V*;xI(0 z{4~d&1!hxL`spIug9h$-Qc2OGyZPl~R!=b_o)Syg2Ug|+v_yGk$TxoA86D>xQ0hZQ zxAymg$TQ_MbeAN-G|UW@+rBCS13^~qiNo`csF}yO7>o3Jo$g*whJF!kg-k?Pa&BZ@ zG!#1Bs)hDSJElC`(ChRES|Q#kbIg+Hae&-XauDQ-D76{UAg$p^_Z=Z_Omh8-{yT1q zn*qVBc~I%;GLB280VP?9QdYzHFhdU(p}lm98^1J)Z^~-Z zl^04GRml{J@j7MJD#ON#=Iw3quu9M0)lA*MN^YhnZl-3mu5j`0&gzGRk32l(li6EQ z0g`o;!8h>Sz-%?J3V73K_s+6*@>gAf9F-yW<+=hlU4eWo^)q7e*fIhp$$*^HLNHvC zWxSW0WFDhy_PIPR;%cLIQPU2>Cm4dayn~C4#10n89vID1nHQwHL+eE#!L!2NAjL0# zQW(;yt&=~G8WSCc^0z)rY&B=R3*n#;+ewY z#xO!kvg%NT(?gSlacQZcI9V(d+2r8kwN>r#UepduVND)Pov^fidC=C$w;f_SNmNu= z7aQ@{wg)O4TaV~L?^e|=PQ4;?V!0A^dROGOa*mz`3T1-V5CB)~n+^mmm@<3Pz+)e< z-p3a%{j(?pR!v(rsH89k`RmcTdtoN1#zJrblEX8L5(OpmG41eug;ASKZ6y2{*voLFEd?D&pz&hSd zn#qnJbvN;qd^Q)$K2%e>>USWawdW;;*pLqXmnqT|K3@0qUeDhGhxx%gCmV){!&W*AJ z{f7WBqg2FC*&jGTiVoD3U-c=|JD)9SZY*z_UFnEd1P|bZMmFz1d;C8wJP`9*pwO8V z09<4NTWYcwzowbSIva%P(NTaplQpPMgB4VrX%5B8tukKGy3T-t0Or8FI?SUK5jGJ$H%>1s&(iXFZj~Rs+`*+d+V1l0ILc_Z=svf=R$G^s`ZkpG7r|pZ6*nCe}4! zQJ1P`-Noxt!D6iq)@Yff3^f%?Z$ln%PvGBY6%iKdj6{K`7HFebeHUf85&CV>g(#3# ztKj*2;g%V~A8LZ`2|1|AYa|b*`xeT!4Fh!_U{y1C(E=l{NLABsdZ0yHEwtZ`CcaV* z#ZIf?+wtz*Kbgpef@`E&iBS|9uD6i-&3hDKZ<>%;yE2Y|6=FPI#(cc%F(JiN(EatI zGo{JBvKpTNAD#?#EOm*RnHj=Lf)jFYAmmns53Ig_cb7OM4DI($z!%r6Ct_3V-3~c9 zFb5#~yu>a1AM2pfA!N%ulE>0!d`Jki7(t8#wxkmVfk00y8w!`cisiRj1;Z(^epI2m zG^sbPTSDVSAOmQ7v~xjlibJu8RrSn`vKkYb9uj|ll_HoJ2`kp|;4me^`mPsZQypRV*&;)M7CUKLyvWQ6w|PhdYkQ*5JJHIn7-iEOMNMgYGq z;3nplo>6vNvN@((dLJM+9<>wDsJ={JKFt;8BAT;ke7)pJ^(QQ@mSYzcg8*^uISz!mPTU6PI}irfIXA`W=aI?NR|J13E^x}w zlt5lEI}9+X5he`q2?2#h7y~u#dE1Xp%v}{KMWJx>LVLxTzrSiB5ywHjqpyC88>AP& z#yJUd_K6<$nv66U=~k&E5?79R6GWS0zs(Qj#LYR+vL!iZ90C-Wn zrZEn|o@>Hh2;M{miLMz{+{8G-p`lwjgK(Qb5YbOKKc>A!wWPlS7P(JV71!Bs8H!hm zJIMw*iXFi%gI=7lKq?B8lh0=6eU?$L)NdOt05PT~>k=$R0uaydEnLW$QGonyu}|2# zn@>@qmS$0o1WImSw3y;IMU}!m1Snfe4_zwaCjOh9@*&)tHk>qSzibm-Ojc^R@SHpGSOtpUU?69y%_kYG(ajQdAJ&o)&WL(X8Bb_+fmpFj(kKDfZVc4zjOVVb>6*v2 ze!Y~IL28W9cgm$g?2c4UJ-9;LsLmel=u9K{0VFH;{p&#*&+~j5tFOF+X7Na&N%2-w z)ZpFWS%KTV)=kM_k9F~qLJG11OHw~h5^rGY7|pDTv$pPOy7tp)n~R&a)_ZE;?D3xu z$kd>%mVylGHrll8W%WO+12VLmU8-uC_72t8bY)n6(mtocNILmWYR?iEin7?M38_uN z+ZBraBGjdpT5bks>vxVz1TSo*E+PZaEIJ(TtODaTq>A&gP<=JAMHukjgC$VDQfd^P z)sMqPR+NZ0mf2-=dh)M4O&clf+f%_NY0mF~gl-NN(VboDUO8S4+vy>gY#>EWWRaUb z#sd_C`A5;)DD9OV@gFWN&*ULBJyuMV7U_U$Ke_C^l-S3``}7{@IrMF?&AZlYZK+HO zwO?q9$R^R7%ZqRqC7y|rQf$j*&HN5yUvv+;nJj&ekr?CDiu#K1e)D9MzLmn*xX<|? z-jyklFZq?qwr-%YIy|itAtf}MPazk<4r$Y*?CWVD(Y6}5$SUb1rWYUUYMSC1Sx9Et zub*BtN9wSM*`9X$X(?BWOdP{O+LN-k)`TTAs`tv-J|%s=&rbAruYEnq1S?a{G0o7A z-p{Zj>P1_aqnDN3m~P*k9)0pQYIs%c61fgTSf9Fy519gqW@uui&gvuH1f|`SiQF|@ z$|My43O#P^dt*mXCCzKE+RaOh;YtS3k9S=rmc%XfbW`vK(4oIm`RYJ%fGsU{d$S(*M(P5jkn#b$%) zc~P5kaH=Czv|D1B1Cj|SNCon;QpAth%kdnm=IdPwN*I}6JJ^ceBOV@D^N>doQOxCy zVfM+;Pk01R92{TA_fF&e7J~OJ-r33h`gwEk{6Zs}6SRn2Ja7Oaqwi}HAmRTwySqJ6 zl|*&LCNk*)qM%vudq3+=5?%D`V6EFAHxnPYcDwoIm+9+~xZzo0e zN>D-I61FL#967p~oUAx7`boTMK|OBQoNC{sF(KNW|5$%h+=iY|L!($L z1uRp&pSY%#^t-!qM%QO8f8+Rj;X%kcWP`dq-sR9imFu}Zne(_OL)12#MiS2VYvqwv zWdh0qh9j%%4L<hs%jE*Tli1=0P5enG%sxoW>O9*V9H zxYAvPcquUA)GBwRiy#%+EN&sOikL{2(M-?V#033UG|mlD*dv;XuMtD5%14$M1yuvc ziLNZ1|T(3ZiIi~ z7%17K*G&m5M5VQCT0K%JIl0Q|Xgp0(xP5_CC)TXTJ|;nOZ=5@=Jy0+1Q82n`3eu%3 zxqiJJJ-u8Ad%c#v4Wy+^j1Zh(;%_-dlw>l1&>fESeBuC^GK=H|WLT1xr$cp;C^+l# zZJRkej>!FJO7Xb4NjK9E58eFL4a1@nE;6?fYb`C&Zfd^1M&`Or)pl!doVmt%dq!S?i25<@wMXVR%Bnl|9srTM1=SCe39)e-seL=2Wx zg{yuf&*B>6(3>?>Uz~n^`GFlQ&?OI)y1mJMfN6}EThp=y=5+7V1kSk+BQzrtwqv zYe(nj4FYCbZxy9?*K^e8))>^KZ_^s23LC64)JlX2e@e* zez^|Ir_1Rm!+;N8qT$Q28M_)e*37e!nzs8ZtfiXFBU|p6a(bOKIvhDx6arNfpRX>R zesKG>;TReY9VtEN@$Hzd>rB#mnMc*n4!ue0PPQn(G3yNCs2c);?5CLbfmulO)n-Ci z_x<6OI<^+eYpfpI$kWmX-VJ&9hMc_oEDQ|)y||vL=*@rV$gkps1uP}OjRCZrt_t8{ zL#}*mU8ZkSbjunAyhv6e>IMg z*91^OB}nqW-R*K35}U z)B>v~>?$K`8>*3#9Dn=?2ZU})J**isr$KYOlRb6^a{UH)_itNMk`5hHn;48j9dO%L zGaFl2D_r!Im4>`jucc9z?gZ6D}Nh%4_7E5r7lLYd+ZB9EB85Ak`DKx{6d-^Gkippd~IcoW%cOaH*twql3H}wHl-d5M+-39VG zeE+ojBMYC0gl7`<$>cnU3)aSC>;4%z2F{JfkjXFtx?G7!ulC<9d}+bQ1H29?ZVstv z4|KYn^4mp;W*VedWX)x@IQe1+hC0UGl?-X{U=F` zk%QsyIZP*h+BS$DX7t7b>KB&`asb*XAVIaW`Cm-|(GP$)j8JAll-<4!x?g2sxJW;j zpEm0;si-G{k4)}*md27XuLk{JC1xnG1ZBis^JLMz791j79;rxR}d0{09|%E4jIc(ooc+Suf~SC5ryX> z;GJHo>*CGgZ;`+enB)>lS~G4u_3;P9R-qMWxCy}vC<)whkWk+@GP8zC87W^&l2SWO zN!M~=%1*W%@GLiSp%!tNEm#$>5^y~xHq2r%M1$!@h49&=%o$@2#_X;*S~0kzp|LTs zEqm2Wiya#GMx)jWlJItZ12xOmdFZdN)EttDCbPfzmBNhvMQ4`()>+BL(AmS@giiUd z9|ocSZA42?{}0`HlDy=VUr1b8IaM@?)KP@*;^iai zI=E9pOdO8t<(_?>$7$WrJ*udn2kudZPST`hDxzbRm4?@5=w)P#vQ0WgVu8{2&-sdF4T?m6W43h^fJ~E@)o6ns>n&M83bjT#P#EeYP!#91}jl zhwP3ncafb8DOM_Le`6y2Ub0zH0lNm@A+2XYk;4{pqzW?cu!}Ay~gs?I!yJ#I4A3BbdzpQM51zv~YFP zV4r9xos$eBdfX7~!0O#U-e_|-P##+{heZ$uee_i?%;J+kmz;J(p@yRV3`f-eVC=H_ zHT^s7UTKy)k8Mc9<$6@!W$)VrQIKOW7 zN1Dr0Ey|%I0^m6)&5s8qC@+pLnt3Y5nz*Xg@XvU(*G30n?Tjk|3|6nfYMllq2$((LAUMqit=HfbeF*<#a?qce<^g0r4a>>HqqaT*(<=7P zL#?#7- zXMi$H%b;3GLO@)HA{Qz`j9}%01tNGAzyPvq?L#3F*^v`-kPQCydqEBF3t=ynH{!&} z$FS=dOLlMr@J8qroo^6Df^4}cr7S$udI<7nzcrma%AJ(mDhEL|vO@m>M%Nqj=J1cS zE!85WxhdP~PX#|kkfHe*8#jMZAKf-ir8~rrKbMdDFtGHN*Yn{%55L@v4e6wYI2V5t zG1VZWWm_w({Cs}Uhlc#e<1WA6>2L-mJDZ28qh&>@FFG_0Tv)$mX=)}4zO}vbuRSKh z$3wNdPeNXeO?KVIA1!`kM33;IcsHh+V{YR?`(dXqD!()HBNL1erBcqYjuAmW5Ohnn zKpS7{DpnaKTcd9S{^pjRI(unt-)nBRBTM)!%)x}Emc_styrp6*JHzw*;{FwXM+tdr z3lJ|UrSa{-X`nHI>19Z?8W_kRR|eOsfmh-@EnMs=>a;7)&aOTLH=!&o&WVCxIwsWh12G048pK}#Nhq#6LI_wZvyUre5A3q$3 z*q|t<&dT+9OH|S_B*Y48Fp5cU#nu^Tfl~Ayt#&845BLzJ-=aHD@nJ&l9NMC4R&vY~ z$u6)k=03;#RHd;i{bKS8iMnoiHR7aPAg2d^`e!xRx6mG(AvAv^enI*~O7+5uoCb`( zPLAHa-n>?D&s^Wi3%sTaqjlnqIs68JBt8FMh^Al>iuva3N>D%c$oXNi8nextQF)Kt7i zymLEYk6d^7^b;8!tpa|1I8n#U%wk)CbS~RgBzddTF?V%&m>DeCSVhKvyO(; zaT5|2Zwit!82GSTC}=4bFj+WI-_1rA_7o9+PFMbb_viqn{tG4iM*~X6f6ga$;$^IY z=@CM2-cX%36(jVNJMaTlfbm*rE@-`0jGF|b2}TCLKaK~l^TUW|iEp~nr2`wvu^22M zdX@$>m*}MfskBpN7=rOeCF01zcp19IY)zfWB;<2A-{z;y8|r>S{K`@= zhmgqO>KscQLW`-q#Hf&s5^tcNA}C}gBY*8}TrztE{_HD$;7`~l< zn73DCXN}yOa58yqZox?{?=*9Z`u==TG_(|!INUm|c{FQb-xwA{UN1@V$gyg+%JMlN zzP-bCjAxyU*5eBgN%L5H4*WSGR|N#v)pZ>kKNTWliV0;3?R)gYNGO#BxNEv0=IO{S6OOu*4 zv0uK34Fie_*9OllvRDJfIl2?nNJ7G)N8X%134(5YY9>WAQKyV0eA+ZqLK>}FFsQJ8 znA#I$3wpX>O;uBV*R}JBG*jxvUQ>57o32f3$TWZZl97v#o()n3u9LjWupvE!Z2U=1 z{j9FJInuOL{=%G*>uP)mCdgSipa3N~zi@mZj5VJ*DWpLG&J*pf47!*CAtdRPr-`3O ztXpVH;ZnJ)JWXCZ`72|{p^f+lw-l-U#5{etwLKmmL?0p4Tj(2rVUNn=6(wkLmuixk z!q^N0+*ZwIim3(=q1io-o3xww&p`;_t=$8dL00NX`omhKBO_izZAUal011OA(Fvl( zyMj>K`+*kL4$&`1{Qli>$b@L8s#ldhF90>~2r7Hh8D6f8P1^cWAH`ogz$53J2_Ikz z&d691`P9OUJ){-b#7@nm5SRA+oYh~m(Q+h5sdYpB4d`Y#{S|}kPB$++ea~;+KAN|K zeMu*7TWm!TzcIz%9PSy%2|0AO%5Sap`q-wx_fmhM*Us zZ|{fBloT}PZzIy}K=$DI!F$}c5!Uun9hr3#brbl)00~f}d2ZrK9Ez09UhgxxS-k0V z4fRX@NIq1zu1fMU_8XMB|Dd&~Yk!YT5XLB|@dR#d&qj9~b$;L&#S*5gL11za< ztQc;g7CBG)4>Hx8j4Wk~KSYj4AT42`L@*qz6)~kWwlPsfrF5Z-Os~u)4(vY2x?A_~ zzdXjo|HT>pqfRa(8{6NlKqu}Ww#xwOA`q;jBT#0e;RelP$*7q>g7CE4Ylmb4&qK`3 zeSBsHnoy$T%Y){|tn zT6@w|)#LN-*n8v)0JI_FsD%o&aX?u4Uqx`-6@-H{Kv(4%`?P1sphOfb@A_sKTA9~+ z|6YzNtrCso*S^0am}J6G^FwR)E4jTQi@muj`x9@B<_W~1# zbEBX-%URHC*gh`4Ca;zBtaX z!2KRUAmRACkn_XCuWGxCOV`XrTSg4rDHtPzD!A-rdW+Sw=_sSnbYJofzry7f7K`R; zo)(Q&U)f))Yzs8m*|=n=4#KVVRWuq$~&Ics2fjkqq6au zWEfnjt|bTwv3{!>Y6>D)8T-Q^84ZDq#}gQ4m7yXM6A-ZP+c~Cv>I_BnptD8D-3fSb z;fg<4^WE<*+te_5HV7Z*M{YF=olEPC3oD<5dqQ8;DnjNl;$Nbgk@0 zfT*J;+3`WANgC7YblJa$Hy2>2%FKSGm3{O8#}{sQic_ow`cCP6JX!560N!XlUy0I7EBCrtYSZ3zJ|?J*PtANJsZvJ# zIC5h6Az9I!7RuiZ1fAAZlYzq(UFa+WBrmFdyAd?6M(hY78bB88oQt`Q>0l{)%J;H~ zo&yMctii@DIrNtQjrMjn*#+sv`H+oabN_-O-*Hbvn0QBT%M+jluIdBRWF|;Pv1dae z9iZ`3GCyH|BJ?ef55TJ~$xrIcWxo}N8{W_t5P&3Fln4CaVmj%VxdlX-33TZI#s>>O zB+80r2e!C&Cj%uTWw6m{xt&I*$<(qmo66d{R|&2>LTE>+T5cMw33|G7jy`r&K{{+o zQ2h<;y8-zlP9WV3id`(nr`3toj#1;NwyYZ-ZQH=rZ><8Wq!Sc9U-|yj69q{Q5ACk| zeAWwjnWi=)%%kEd&61P1gfoVco%Kt?>J`QIL+W__O!4T5_7| zlt+X+%u4iS=kV4nKg@5i^<1hh&yXkitwz~I;buEY@pLQmQ4Qv$a;=H1Qa3=IG$sG= zG!Z=SiG;zDN{;-Nog;hKvHYf0N@tf61wU79@`N_ElWqk<&ZPL9Q$kEYH8W{B#N?^C zL(%6fP&#x~!1?6P5AcJA@aU}pcj@BEj;58?j>*545vwiG0Kb&m)@ zQY`^Eu3G!FkCx5}P|*<#VV@rrkQ|SB>`b#=Og$1?x>_W-#Cobu5pZDT!NVGKDMXL# zk|GT_!H2f7`_p8m;)*+I?TwHG`7g0IHNMq$TOS(_^TuWf?ACooED&#at!f=JaHXoS zSQ7~V#M!Hv**bg9h#jM;aUV@U)yhO!IV{nb9T*Rh$dup|T_aFBz+31=7t|e-mjkuBlM(9rA#$D0kf~Lly z>#35%**wG|@!~wOIArn!zU7%iCP(blLCJ91TR`LJ5(LXuY&8O^mVrT2!`x7y_)y(k zpzo`IvAn_WoBGwftJz_nACH{ONI^!-0&>atT(5iY99G@TL^tNSSPb!tox3N__9koz zhNL2>gr)ukI1L!VQ#oV*$xLAFO{864zQ9cdaajdt_vmht9b@_nj%$0MQ4*_=2&~9) zeU$aJ0(Mpk78a2~QYUT7Op9Zh5<(x2%tG|&E)BYODa=edlyvv{&}bR92tyG~!-8p3 zskuxlWRS=`_pH$7bYY^*QMG$CD!r-mV8{6BwdfnskNvf7*Q+j%v(p+l+#8I@ljnQE=rt9tDWSj9YIG(v5 zl%6o6`n+c=^`_>eFOZ}eg^3d-kx#W(mj6Jihbp9n!e<}kB+ue@-y)RMwzt;+u>-E# zgC*d+MY+Vz=t4#PaJd(QZ=2adarJ;4ls}1^=s8J+oJ-EHOTy9@6ZqU>Z9g(#;}Vd_ zhKZU`7l&z`^q*+?8w~T-G6)}BVkv^pcn|lg`FWPtt5APKjKtoW6jz>Okil-{^yiEghV072dS{*cKu*2HKccW)PEX+H6K4s>U(Ls8nu9?T zm47WXd@W?PybFrC82Nx{zeFz1BdW$0UG)o&;=;>3W)p1Bt=E0Kh8V6CL#TyJC~ii` zxZ7;_37pZM{!2{!t)KtD7z)!rf(GW@9KOuD`Dr6$cnblLDSur+fI^K^g2gw7h0$x1@&b z0HWrv5Uy~@09Uf-b#Lw!vG0%PrRVd?JD}ci|zlx zLjKxo`n!b~8S5Ju=o=d!!ahAXyE!blKEuW|0YI)De?O!eXuLY{Uch69{%VNgJ52K( zWBNfbi}yMmzRwMlNC^noi^c!_ISx=r5K;ZdFvd$c&%t2mhhN9uFnb7n$rewq`G=(Z>~! zcE?^7W;5T_)9l4|;##eShR&9f+LXc^pJTh}orKv;Qdj3z7b(@%6_p7$HEEmNWk*^w zhryitoh$>SXnmNx7p@PR@Qj_3sw1Zi)2TEjlOFAt zrRQax#f?>0>r3^~ezmUG(l4Nv9mmD>qqelt^6!(qtf9f>!NKlCE3%iFc5ZI|sgJLG z2mnW?+PHtYCx5HN{^L}`!u*dYQ<0M~M;5@ywm@oJ!Dz;C)L<)A7q^gLy~-CAZc^yC zl&oilfMSqYAziqn&0MdlF9Y9TUe{nA33@UVgy8X%&qortB^0^c-wFc1BSi_;NRN~N z{)5-^a<~2R!V8fl3qbHVqboZlI~_f;k6tS_l*6d8>sQ%zv7GCYiVMIR_@gcB@8MrOEp!|Savr)WVD>0~L&a7c2-x=m!>K78pX zqV~dkdM>MhLMB+ij;FM=04LV}2oWJ%m}q3KjZ%2(t-IiOmK3#5k(GQ;u}LCjE-P_D ztS#8jq!G2exL0R@k+0l?px89rNMtlNwnyDTib`BfZZbzAGGb1eoGSnGCeJsV)Ky_5 zA>=?pWa0QC=ROO#i&fP}$sAw>z`qNkq>t(yDBHQ;jC?7ZIHLqlz1A?;^R(D1P*p%L zo#q>KS2aM>$uemTNf&Oie7;kb3#Dgq5BZX{lo_D2Sj0xt=)^m+NV&*07)*tv1gq^} zr07dvo!*Q0C9X*S^K8lW(Ds>Bgeee_`4WOj^-A3^-ZvUD`{zQ^ zCYc)_hgF8A?y`itQt|7UbuVM+&suYyU4ZS|pOTP}&LQSWDurXS0nilf1H6P}!_{cX zsggRGvhSSxrU8%W5#F3+tm_&5lfKN3(Z%SXfxN~d_vghMu^%8Pii_L-dFNRFvvpbK ze=LRQ$p3$A*!@9u+*X|AJx9wUt}g-MUPm)c%Y&V593ncLCiLx72thOZs0F~edN#*nF_%Z^CzwVq}YVL!+BDIJz-h94W5C(n6K+7^|<{wtGjoz z#>N3GWH6?!1}>l5bH(`r$KKGij-LW>tcR_i;}umF-Nef~qEW7P&WdT^Ox4X|foA4w zKbVwXwt{jTwUfjGbw*bFaUe?EJV%XxqlM6XskhhB>@lbdTJH41L+JQT6~c#V!HX*1 z4ZlDz>Rp@?{e}(R;unPua{(-`>Ty+MmGd{iC8V9)zlioXp#F~omF=J7Y}^^0|6)S$ zTc=~~+K$U0RY?!m4hfocDOf&wBWdCgP^>lDOi%mB=RMa=?GmfZvzeSL>D0w)XAOZA zi%=0=R0ACm`CSoE5p#JoFok}vONeHVyHEG;+2O%l;v&UB;_)jpXIM^|FT`ruRrO@v zB~Ib*n-^HUlDb?3xH!Q8;XKA*A4SVziFY|#3VewD)tV+g*P^cuCL05&@vW`kBw~dZ zP}yo)wen>X&B|#THWw_7jjW4sWq7^Fz9NgI?)kpeWg8apFe+W z4b|Cnl&y?4v}7#GCyx{{r{I#8w>8wX1v{my;%yCZqPE7J=U`Q#rE(e5Fg+_fETyWK ztuIV5xvCpo>0O}(;u63LICSF3i5Q7NB*ep69AzO6ZI%0|b+d+JPb5CUdX+v?e4-vT zljs4q18R2V=imWRg1;-5*l!tlzhQDGp+nx-gXM`4E=sxk-hl8{9aeO}PU|j7@bI$X zLw*VH(kAU?aeOe4u!DEzfqN7Lsg;2Qiw+_uw$ait!zf^gLc+I|Pp3_7!Cyxn(C0@9 z0+F^+#GLd&2leOokudl@$mYcEePZ$R;GJUbcRL)RZ0_3u3?xxwW}PJX7eI=aHIbB`#%^3U2DMvKh&P-DG~a!b>F2R9YvEZn%$ zwMp-6dd%37yUDCyJRKv`{|pGW|Hws{82*7YItl#|LH{+n;T4I|NhzpTZN(Q$k-ZGl( zFTeyBI*!)GTt`M^VIg-Mfb!$Kk=eL~{XIFACCg{yi6G4El*APgFSxW1s~C>L5dkD- z5P(w9BJ|Eb5f4>FC#DslOqg#M^wgr>4`vooFW4X-oDPZP+9E*H?>UZV5vI8dR_A@j z9pMpHi+Vqf!6n~n-df>NksZ9+o0puUbNvR4c$G!>FGujVX5;^z$(h*xG11XU*s=`b zM+mv`iRhN55Kx=`;|~!oT4(c)oCr?OSt6)y!h-Jcah_vCOG)nSWol}cWi+ahFm7u6 zoO(WyC92BSpvdgZrh>$^SR9Y$rm>t!_tub#js6C{RV2=+XTqygjs$xEG$NIlYPtEfme@*`R_u>U;(*vw~}J(fhfaQZc%# zZkS@`Ny7KygQ}TW>{wl)Xwu;dG$Dx$8jitv1O0>y-YI8 zDJV*iv@Vb&KbH*EBcUQfg?pOakrfn<%m83J{$VwJHNUPtgbw(r<}RIws1RLFd7v)P z6kZxOy_Y{`Ancek&9~{HCsWO!Pq%nuy+?5);xArmJ4u<5Iosuw%&mEGPmGS6cMhrE zUcQU|!GAftza^Ca`{6OO{o^sUPNJSwB|pOO&KJtZnj=L=<#h`}@Dd;XW=p=s#~fQ> zrgnZ!0|Wfqv)T!aM_F9oY<4=6(+cE6N0|;^r2WaLtDTv{rOwHfN7w60L=evtZJeaD z4;RzC9~ZL{!ZF?S;~yB+;GIsLHv|<;qi`$JgisAp z6B13UG1)wFGFCnZvaD;ulZoLn&D_HG!DU5=jLmHT-3mgT*Mc#fantjM5aGLb(*jN~a_t9fqJ~*h@=kV|^a5 zPbj)pW!R);bk894QhkR2LQ2G4D{Z}L4|(W~KqV|~;DhJ(+j(+9oh)UTM!bWxXPJX< z=XDV%%gIO&sm#5HGg9|j$7vOU#;8g;LmJ8cP;p@Kf%}=|Ij6uUbRJ(ztGM0O=3aNc z8W@_!n!_$uo@REPywQspBE3HVrSG)=ay$N`XNpXW|75fU1*^Z@6=2uRPXv!kl%c-b z7GKbc40)xx@@jJ1+R;@|Mz9I~>xIc}Aq)~quPZB+Yp`oGr2|*J&F%kC_Kwe;wcpln zY;~NDZSxy;Y}>YN+qP}n>ex;?wr!u@Pt~cq@3VjVsk8rqxn5kg)*5rn&m5PC3PWAV z(m21ZjSL9aVDXZFSenHl19Wafr8Uw~=O3SC+&YGD-b{CF7~@t7hbIcLyqJ6(XIk` zbABo@$weZfYB6X^GU<2ZMTZD4((X8i`ILtc4QK`b2mn>MSQ2Tz#;_4Z1!)Nl^isks zMnZFHABwORO&#!pxHt6&5dM84`|)tdUXs01Pi1w;NUUD;W9Q8mD4%V{`F}WsfB1m^ z^DD~C_^)nEJ6_&$kN|09`<~M40+W={IuT7EuLu@w*_y>%KURf4d$tVoeb%=3B$!u9 z?#2DP^ZsK*xzRSsiR7y#qjg7&KDmzJtn=^}on10j0p*W`&h&vXNRxs#PKNt22m*Uo z-tVl+mDoXfM5#HWH4c|VFZVNxj32-}5uKsH3DX-F>mw(6W=gf<@ z1ax!h>^sS?bSi^@usMe=_4 za%}4TDL(F<^Z-W%$37r2jq@YZXr=)D^5;{k8Pyn)T5- z5mzS@D{CsM9qRD*x0#PskB3Z$_LEQ*Wep zLNbf}fzdKdLaun-1{Ma9T$5=D7B{{S$;M*9uPHG&vidfmcd;yijPuBW#Rz7L?Xl#O zQLExzfWmY?!^Ruz^#(Jp#bR&Lw$l0HeHSdSI1*~F zAfU~xpQzTv?jAfxa=w(@q}V}#3Zrs+AU)b6FkX@w>Ild17ZOHhj{X5n0AXTcE`)aq z?_8Pe?xa`5R$u!3wSb+}#0V?UXOcsM!HC>M|1Ph7 zZB>8<(-Q-BXjxx=RfGm&-JevC^6$hX7LCGa{(uoT^Qw3TgSubYjpz%=_Xy>1U#_cS z2Mtd*@*2fB><-NT$Lk4ShUl*#=z^x90NLM@NMm6jb`4>|A7J@bWpyj)bHXm`)7>=l zvObzgBnLIMSwo4kI1 zPwk>X*e`ovFX+&LSF40Op~?b$tRN{Se9)n z1WrEunUAHfn@1!ukWAu!J^gC1rWq$4>IyQPV^R1d19~MsTL(H}b};E%`yG-PcSj4< zLc}bHE6GlFt9hywgzMMaxxQo0H}KTt;Q?`SKC9v_4Z0n2;N3 z(j)rm8+D&gQn86m!dLkv8)vjY4uHIMb7SrD;zUp9mn?;`8DAKp;)s4STxSnvmN7X) zLdPecx=hO_m?yB)!X{|nRZ4pT>}?pw2MACnbfT?7t|TqfunOo&jgdadE4*E%N4gJh z4O^g2o~}NnF?H^b#g_>`-Mf`rVu#~6Eyumt2`cX&5K&~`-tTvh=hB)5SV|v`AwMlU zQEmD=MfIM;1pWZ?%?nufF&7D(2|IR=e;E>z>?GZm&c;HQFO&q9ZEze3>U;L&$VBtG z`I|aUtLX3)a{<>pW*N(L&fsv1Jm*r0of>$y1db|YiV78V_7rM{00&&vUC(;^aRJ&m%4xz-<*xLp1-hr)ls!d_IS1S{BZNSin z``ArWpo%sgQ9h>@ia=DId&Rk zDl6@}*1QisJMW7DLXH^C;%rH;t{O`k5^b24OyCV^8YEXh)otx3*Bc6g;Tmx{rUy97 zh|2xH_DKaWJe3gd2AnH@U8RGWsNPd97{5ghhg#D}q^4M=j#P^>V;;a}LSvYjRhm?s zb?{S5zj}dx0&9#~$TiYD(#l4vo?VAhi+GAs`o07TnRhyFK-=E+zaC1FDj_9>Iq{KK zzb9z1XuInC7Ev%p4~T$jUU{y!g9co=JNfp4Dyc9Rqj60*I(1bZ=vi7CViW?q&lhra zGrd+GKB1G@Rl_DHnq_p)srP4u)1a1Gkv}yrYTH(+E?xCPW|*bPObSOP0Vrz=(M~|M zp~ZOJVIJ6-KuO?E{3>K^#?oAO?nmS(-?ZJleBrod@CwI^#M&e*$*h8l>zA`Dc#Ihd zGDYNtQqTWHPa~i`YVq>7O$2VA612bcXsJ~+-*2xvKwMa!TU|LHa|QFb$eA1RIwNFv ziu>}kalTAhUk_E8%5#q^{v^#xLZq6d1J}5r8xtj*@{ezz7P_GPK$0$=V*!bncQV%I zu~RxfoA^Z-X!C>AEIn(r*CKm_P(~2V|Bd{Z0v0DP+rKbKYFwxcoDTrtp1@nT<6Ea_iM{5UY2;({Y$r5>gmPlAsOkZ%_j7%686~v z0bx9VhW_{39RKh={M8BM-CDb3S)sWoP~&~09r+v-%fRL>vHv8 z#8801rkKJ2kr;!%veBGhP_7<7I=CYbI4d@5J=2ZfD`XuxB#0uElc@+R7ex*0u7(DkXL|swmt({#gK0yuXru%so|pe7^6oaC#z1aPCX&F z0Iq?UjB>5Cn`o}peC6@9a;3CKHzzME>!Gsm_hJ(VUm)W&pGw!rK`x6&;@I}<#zq|b zitwa%r^VWx^X|l_0<+>$Jwzd=NN$C+7}M)#Bpsm-rUBKiTp&eiuxS4$S?wypp@Ak(7#=X;#c{LkkWtSK@*dbOk;5bIR2Q?3g7%4N1}Nb zJpq#Ha;j!t^B`M8Kc;2GWsE-_GD@6;jV7%;Mn0-ITsHF1-o0~#$>m+;e$g87YX~qj zrGM~6xku=S(PAtHG2?mXNTCHdq2sb>>9RD4N*SPG4wVea&2%M>%r}#Wx95{EY+xyR zd>I)XZrTt@5s4|Ce<&O8OI9JMeC!jx$%1=4P{tw1q~2QL_3KD`>Lr$B4y_f;N4_T1 zhkF>`u-EbDDHcvMd9L$Ebt1@@h1G^1f9p0w>}&yBVyhqs_o#b-d4d_S35IRDRHvr}h)*E-F*E=bFPgs<6-?{>b*iz2S?%V#kgo zN`6{9F1bzIlE}qnf%mcW9r(Mr7YD9<0pemq1zSG!BVkbQw#u zc9)b3otN0NFMqB!`>VFbJjJv{%2N>VDj@c9B>I7>X~Ead z$Vf-nH7Un&310|L!ZgQ@S}?NyqB~wmLaG+Ei1vblEUQ9^_4>;8p7YtY&NQlZKfx43 zK*`Nw=+_PMq$Q|3;QR}1FBn({gxL?hWI*Xu4{<|PfHMbl-yV|-r^=m;d#CtEfOwc+ zIs;ydqnkxIa_m@4)b@Z)v~IgMUZD41q?h!1QzDFeY|Y6zvrgeK26SlSHXsw1?Izp!4XC2TP?%KYHR!NR$VIuO(dups*)B~Vq!@br(dT9OeAAZ}hASBgn1asmL z1GG$dvcT)4XQ6>}lA_Rbn;1Nq(LmTz!*i6^E8TC7_~JcLf6lpMZ*o!Ss<>{F+MB`YqLVwBSk8 z)4<AkVa0O?V0}}btG_9c9^m6P+U*{V1pf?dhZ?XbeZRk$nP~X<&!neB=oTBRn|X@PxyoQBk7O zOXA&4t! zDgb$nRkBWLLxP#r`M?un0^!ka5I$`|u5ONMoEFLUpnsii)LpQ2L^0k2i{b=&U`0;> z{MKdXQ| zhs(XbCG)k29!?hB@T)Zb4wd-p;gs)}Ol7bzNHI6QyTQFBG@(W*NKuiRTI~nh;^$sQ z3)eK&;qjnFM2=ZQ@WX06}(OiuW%o17k`GPRWDXOZ%} zGpNgU989C1V$Qnx49EBxC-OL(()fx}x4N^;MFGvdSo0%PK4a1COU?l*ZCIFa?i=^`)ObkBXdD z!#R20B841v1EZQ@Yw7Z9#7T|ev+gRs!6Sd~sh=nY(KZ=le*pFM)dFS|hK@yI`7 z7E3V)MeK8>(KJqdaCkF*cC^aej`x%4!grSi6jwWJ^XE2a$GTY^AK>RX>kIHSZe7pt zQcg}DS>W^+AavIOs_boHraCOsC>46aci#Jg7uy40#fPz~JqnNXoe_YGpEyrv>zkdi z>sysv3u)W+#aWlm8^4SvpDBz+Vm>udoHwR}veCOqTR95ddWCi5f+pXUJI7}kpKzdS z%-)WyM`2M;Dsa?+iQaF>wTG0p2f(#lDVaw28)|35$ z{AVYf_4}x(755Rzj(ye)@)U;K3A<;KnXX`6mIWPk%(30~HCtV%oN;O%AwMU{ujKhJ zS$(dQ$8q^3B!_fG$I93W@?B_DbZvUZU`u{cQV*1yh`2Tcc3^FiE zX$k!|c}4lbz$j2aK!FJ0p#P!%KWzH{ZAZq!%JHw&i)J-wHAT}7UP2N`GXQ)g+{Z1d=;#UFnCpq%5q%@tsg2HR0HX&_}>5megY&g1gNqd9no_Ic9W(h75kR^8C@jo)PiUzSXm`$M`!0uqxBgT_l~j@2nf+3GIAl|G7v)nB}r|i z32h~6gT$f29~JiXj1>gVZh2%%XxJ5Z%C*X*q-D*}6%5u^3R(kh7|FJ7LIG3&73^YU z-)4(wP6mG50*MG{c}wN+U5h0HK78G!g4HykrG_v)XQ==UR`&*pK(Ar7kl4h@&xKXho}MX`O@a0oOaGT5wp^7aAw=4+43#pOwnNWhkJ;EYNf_ z+&VuhqY)P6_J$P-%T&vt7lka4S<@ZzOXL>HR?5>CamE8PM5ju*%ZC<`&#Wx~%@G>X zuW~&}_{||2lHH=1}M1GHJn|lp2CkFiE;yEH5WrFp8LqMlN+*=o7__Vh?ujlwL_a;JTA}&+=T_So^$x z9RXpsx$iXdqd>aDTQ~~E5)Xih^&6qpYbF(uB<9D`tORM0w z_Dpfg^S{j@H0bwFoi!}00ks@6zj6IBjQkGC$Bfiu`UDm<3iY4wT9l+m~dLC z#S(BXc1tG3XU}Oe-6-DA86zF{;h}mQrpAk)$Fw6BH1Iu=*)%cIJ==i#Jvwl&5iNz^ z1(%b%N2Ya}wx~NC6sOWe*_~WnSAM4mj!LWWKfxLH@sVFQ{2nPYe`pntVP;DS>Taey(yhEVC)>0WNNz0k zTyeq%;_(52vs26du(*j?^JBqYiua*G=^(5sVfB}+9yr>RfGVK2(-Ftw?EWsaX1&-= zadU=O#WvExEpj@8mfrIuyH8lyhPH>F&l!uWpcoc5=gi917dl9mTCyV2SB-1-+y(mp z-dgj-BhjugvLa2j7C(^c|lbI1ZKbp`GSn=VAC*3lFuqOs4!PFsF z)CZsR0>a_2lNpf6M$722XqI@|@^|e?fU#i^lh5*h)P!$egE&BLWZ_BD-giMV>6=`? zByZJa31M~Qf4ewgG5)wZ==d{!7sBU$;hPATDL}!L1n0|vfb(k&DrRUD+HC{AelwwS zQ{e_J3-uA2m5~t|nvsze`tgyK^)YOt>3fLrmX67m_{CYWZ-NN?n|r7@sAcCSsqN+E zt}R8I3pP?RZj8qz_}e4&!m5x_HC;JQv#zia#q3~F(eD)xnjYBc`Gr`_ljPDJvIDg) zqmCijEl-C_I{G6-9Ao%#c~&1{Gn0a!cy+8F7bz+*dBc)8>;d$;&Q)IP?o8Qmt^V#Y zq<~CjRg^tFBBns}4puc`i?bhBtKEB8%NSq7>BAh47x{L;@=x~Ai?S1gMZO7`Ed3-6 z=QMPzdC3K!3<-V{8Aa}VB*C9PmK zsc|VT+x(Z|K)I9}imxUql`9&}@Hxs0}g8(s1rHj-GXnd)iWWj|}ifBron zlCqyFxjb6hD)4Qb-G8t)cn9}P+muFTISGX^ODSY+;l!V25MYGh=2*cYG7{BNg(J5f zTFa`j+nZ=9<98*b%QIv}wlWJq0+M0z-U3kIyu9{I9M8g=oy%;dsJa4{Aa=TF=%{>& zx639+mJX9CTzoTo0zTiyld-EaHJg_sI&O)6%=od%SxmFVR1hD z=nG`|d_%rV#Kz_dRdeD?rpornD#>s#vILi8b6WT7Mg-CjoW|oQS+gz|rHI8bq|Ay= zYb%Eqz34FA-Ni)Rv9Z4`)llaFtw;Gnyec{diB(j~*=ulXoU>AlmZ=^jAu-te6Ag$~ z<)~p6niQt`Ls`2*O~|&s@i6KfW!x<9c`w^nRJtn*s}#|3h~H{-gZJLj?C8(8QQqbq zZ{rZb>K);wo`(K<*q0g1cR@OJFP?Kb=3LIX_thEAr#ouzpeW;rr_84e(^6)eXZgJ( zTV2jMXv&Dg_QGWD*h#Kf#Tom;IL`Ou?=R1>Yr##&5~jyq_;%A2?N@f%%I_)VN6yNf zKO@obu0;ZN+^;hY~@U6w}V%0|=UQ}_z z_nSg*UeOPIyef{6I2(@5mVlpT`-}WEYS@5k6(T<>F*Yp@=}9FCt~!*`00FTDrDu{F zfL$8xKTUn}yN>3T&I}UC;}EPw%$Nbm{?1U0SV!?9ARl z*Qss)8P`cfo+p8pz5ce|xKyOmFXL-ue0%MnubvsJ*d3G;_V*VX>dE5%A7y-ed&5y` zu|q8vA!%X(c^X@ywb~ALgN578w?OKHgCvm*39`+cuDbpWT$8gt?aaG`^|{z5xk*u+ zC#A;U;_@wgE7)H&Jx?ZapGn}Z9$ek+d7Ibwrc`ENSY38UA9~KlnmEYKvO2}c$Yv%l z;cxqoaApa~5s2=;u?VeoFSWiPM>w3o zE?mFff*WM#x#yV4eJM?|z$|@*$o~!k8mJZWL#pJts}GsQoBk-Pq@p|7BS_-tCJ``ZXfRrYs7|Y?3K3IQD(yC!!&%kcS@}J? zeoXM>AGxrGdpj3s%?Ma34!2&}BonOYQ*{cj<|F7~s-ULT{VlWvy<(Y)&X!{qRJOa9KC? ziyV>~#vZ!&1trL%4ASSPBk=L&-F`>YknGnxP^Aj?Bhv@XH-p?_aCdh!v{9phl1(%O z|4;<%O0~S$k6Xp7^o>vLd@J-$_wL<}ZAC0Cz3IU+irU{z)uV*yGv1!OI%O$~* zyxrgk-Wf;Yz**=zaWGpvj1dXd>(1rvSXdrHUr+S1>M}p4`z1D?s!6%-BO|AvzMcw8 ztA07*MOLvXC?z{45GIBik4?wchFQp(8~X&&>zD0CEvM$-S0iW#T&EK6?4sp#8SL+z zYP8$CG+B7n2qI72=q7jounu%gOC{I_-LB>E1iX?#K!2Htn_ z+qy4~sFhEiavD{+l3O=rWO2@SFMpW7=H=8jE&8_M+47IP#>}I)Tox9UpN1&kerY{; z{_v=t>rYG98#Q2#Rv(5du7OG|6ueunjvPspk2LrIJxb1nJ=!U& z%nj*O6A!=><-FA12!sctbD(G;^o(w?uzU}d&_V82L?4E}97&;Az@I_H2w%`3iZMQ$ zE&*oKf=2w~7v;1|JLdz{n#e`Ie2R9&eSL!q-&V9+hS)yJOmTcDYkmLA7N;x4D~spReQ6uf zK3WyV#)ZoCQf_iE(%H69TvJ8VR!>kx<2!!fly_J+TTy2KcU^`MQ|Wfig?fE4o~b5) z`l%mpB1x7MhC!Q_O(R&9%MS8he*4#RP+u{N{T9`_6$@tlycxre(wunQSo&6|E25T} z*_c?B5P!(U>eTq?pQebvfvh2pJ(u^|qj}9j0bw70JwsA^Nzm^^F@Gw^2tozP~X+(=k#7 zx&t@{jMVjOYK&kriEK{Soz@#U(uA^%_{y(qconTQp7>I>uVI(BH4AiSdG4EcV<-l{ zXN+<8&w!78R^X!jI{N9=@5;fC)UB#63(Gc}$Y}tq#9Y|ns|*HKtLe2?G;a@k;7$AC zPGe&;b5nN&pxu^iI96NTrRe<`KfYh3Tbg?>Qu-RmsUe|V(eTM}5ZwO!q;f^aKri4< zq(n4Sw5VaCvg~g-q~Q5f_iVcdz%^BW zVEGq~{a+>(Qk^Qg7e}$pKxx9?AQrhkC_{$2K6My4s2w1(Vk8h6plnTu$^Y=Ue-H}) zThEFS!1OPQz*repPEqw|4`XcP&%guZiuQ*sOI3LcC?%`TKhDBP@~|&JXpB^`U;?1x zVgX?ICwn0fvcG-_S^XeJJTzALRrcG0*7@ARl`|sd?^oKSa@wl8Q!}LHUH7=I(bLd* zb9#%*aXQ`c>%O<=ny)u3P7Equ3^k=qU(sUuY&2;x`e+Ylp|XAs`iMw-ha?^GSXaa$ z#1twA?e+mR2jxB=8HW%BrcN^k2%~@zK)BBe8o{r$-D0yOU$iin0|Q9rI$NV0E>vtgkIda@Nk$ z@h<9!DYHIqg7LJi`6r$7U~&3H(58Tm|Jv`vGkAdTYZf4PV%F55n5}zh7)@=e7=2v; zK2@Kh$==wcG9JaGvPUe}aN)d7AyLNm@B)G-wTqG`P}7)gtvzXgyL+tUxS$X)U9#c` z(Ye{cLN=_Uk;kYBYj6jSr71NhE6|eG*L|XVKF?I3xJ*J;Tug3$fxwk&+v334%~M)8 zTJmb!7IYJg5-$W-ALbV5mMBJ`f>Qn)f+%y8^sgm8KnR0@QsAcq^@B-RO&p5-RyJPV z$#xw1mj1ViedSBIQTIXB1Fd=DL%dbF748G&i)>bp0bkX5h*|C(ixfESCKnV7yn`U98)#NR=D8P3ek#N9hXl;-#7W62qgZ$L7ch*H+e{6=C~)FgDdK zH>)!NvPsJJ%eb%2398@_M*ihCGlmg)Y`zP+Eu@0*qwuhj8uNV@J`iwZjBb@N>c@{` z0(|bWi%>Z*!V$s)WvKj~-D(D9XD|FW>(~6V2r9B-qfFw&VVZzf;#>kK(B#&kLkpAg zs5_pePO7CD?f0LMOSXCxh%!3<;y6L3d=Vh?|Ol{Tt6A0oCPK= zUwcDe#}>Eqfm6Qyi$d(@`O8zfmi?S)wgeEYHWj|vqKS3F2OV#!dPVvJ__WNfPxKqb zsPKf4&z#(aZH66wQX@^axdVG|0QwM|Ut^zURUx8F6srPkT@eH%@M#{yJqVjVHRF7# zkEnxpWH{uOuFfiWWK7m;qKBJVavY&dbPe>CT+S#sH}|``ABoN&#w8(Ai)Xsl4P=n0N5*9>C#U5b(|m^ey0h#&%55Zg}nngYap1|^bdNWB)+7uFysvom-i z;y7_EuIY%Hy4D_N0WH&ZZ9>Y&s`9q*(B1kU+)j^x_XIdfaNGg;WAZ?e(x5U<$KE+A zS$B4?KU-*rWWz0)15|SM)%o|^u_h86WRITys5kb%KG8jH4XOuz;X2V0i$(F_9`LupP369aW#7i#WvP|N3doI{s zuD|20f98~yjNvM2D{G%BDK5|~r`%0Xr!2cbU>7QJ&7N_DymgZzc>8>DzkT$BHhDn8 z&W~YLfNYZCgdD096RXx1?!!qXKl-5-!>D(W8rf^@jO7xjxFZ_WgFsb)LJWMAe|RNy z1fYP>ygpD$)_^mWmnADS+T83{=m)ZMt?P|WKm82(dsUPEQ90e0zMmr!iJ3dT$iPQs z&Mb-ZzHb|wJ7XScn+nyg*qJ2GcR=Ne z&j3miT{%GoIse0B=*o3Le&XO~Y4#rwU&_v~#?Iih;3+K*C zZYQn^OT%6wO?kstuBFj@!wgBdM|UU2Wr7cdE%Ax5&5OMJ?bpK|g4}zVArEISII3(# z2TwOX$F2&P%R=i>bJO}Tr@V0#c-9kbM8S4W&7$G>*je!oNERrfpf?$ev-fQuF?vNA zKdJLjbDuNYE@YDmI!op;qr#~!VDIJOUl>9!_FzSpV}kdM=rnfVXi%qZp|TTg@5P3? zS-lRK&|R{r`d&&8IL`J!52lDH{CllBMReI(3GIMg_L`VjEVqZoL~oMk<9T1FEdf{2 zG~=S1wgP?~qMa%7uve|s{P}Srs^_9z^#@C)lMr9=SeB(lmI|JCIRGG7La$Xp z&j>sJw{VCjIkfp9u#$E;owZ0c9G@Z?64Xy`qTjLMuZ(6&uVf=IV#0ZAGY97GL9_MY zE1;X1%6MjbE9?UZGjn8E%+d+^DYC+Mr(fm-nOmxw=PoNaF6=B>-BhXX=b;(rnHI4) zHRct`GcSnap^aPr{SOcL2PgPH3ks%xMXdc56gzrIN~m&X_IheN1G9a8&>TPt?x6o6 zXbkX=q1yjeKrk^e{7c7Vr~DrQF=7i9F03dq$Kg@CANY67m$y7Z z5epUuEiMKE9VBW16|_Nezz?!Z`U47S_D&8j@}+EOevhtrxkaef`ZB>JJ7%1P5U#{>L9Q6yZXxkzGHRgkG?Vjm@H! zNRVVS16Q&rb#8(ZL1rIHn!$|5k1YLx+W)27&E#mC1DGLe5a$4lmj@y=rC#Ra71|OI zz)+!+Q9aWGr*lws(;8r7r!wv02B?g42ZjQ5$5M~l5yQNL2f>Q+)pf#_O&Hsr+K)s7 z5uWQfSzU$aBAF*jCm>hluZfJ-{ywwnPT#HWA#RM@r^slmuMC-H0VUg*q-#B3w%BZJVhlESK>3eiVc; zmYx``-OFL+YmvpFRH%yJ8K&XI0FWCMK_m{yl|7O>cq>vd`wMDA+KgncXihuIL7#$-V2iR4VLFOoOX+VS!BHfPH3oXPJC;I&%dv_T&@VCCI?yh=OZS&^JFP7((ZrOah z)ClTD(yo*c+$HUEyl4Nsqx;`R?OO9UYfS;LD@XR8dYA_LwxCboy1K3MX2ovIw3(j$4N@Y79qFqxT73qfP(rI8 z#`WtoGKtY?z@}s4 z@?1+pYxo<3XVIC9GlQqj6dVpV)ZTK0jTa))<~tu)782oa>?N}^2)$9DwBWW{*6NOV zxgS)BZ}$HErfa_5+>&lr=Z&M?F(99*qN4}~LuCWl@ zJ9Rq;m((vlS%ciTnmv7!)y>v=WDt7tutI5+bq@wDzLk1y4pn*M-&TOLa! z1q!ANdcg>n<1k(haJ&ll%XvTydFCH1f<54=-U+XHVRFa*5@p?fxisL$JoJ=4)>yGR zI2`b`JfM@?=;QWt$G@R^^&CdSwUS#ALnS`Y=usWO0MLMN(Ny2(G4G2N_5^}AZeuJ0 zJ&46A26OBidwg==Cg6}?bXvfJsy=CU*g-%wy2O0_`w(rX;MBq5ZW%9^hM|l)E!V?t zka|yAgkGDHSP1t>KMp>`@Z?euFStA;Hw~`4bp)r&iL0AK;I;w}&c;W5OBBf?hjr zZW+#KO>XbcaE_}(;d#yNY+sFXNp&RognLqMIUATx=Yz2Ns1I5KZhbF}Te~Ophid~N zQifPS+MXFK$(21KMwc*ylFihsD+7qmN2MDhDMOd9e5!s-}!IKeCHs)w6)JbA(P?icD%{*dfAD_ z)rtmVQH`xPL&eLVhD~d{QKA~J8Zxz%Bsaw+q^~@xg)w`m?gn!DUI3tE-!fX9kMEi9)kC^nw z4}qQWR#5jrIkUt^rsgS2;SNOv)zN&)PQnOq6)P^AB?@?JyF|j3&nOH@^f@y*)twp|OV6r$10vvH{k>bqW=kk(W1in+~eT^7?PomB?*Pb{tn zWmwOf@Cu4ngjw}ShsaqiSU13YTS!M^(?2BDe=V5O%NkfHI$6`p5U?@*y|m=-M3R7oo$>#6eF^)& zGjp2NEgjcekUxEV!F#mbIni%@HpYyGXNIk_I9&Fclpp=$&C(Ucl_;rdb$w?7l7z<; zEZFO3~PA2)ut3lEm92nxWg7{D0(4= zNDY&H0_LoN*7J7YfoV-3A?{S5jUc2`Ld7VP0@IEP@Tq!qAyoeTAUc$Y?yJTOGI^T- z4q$wc2N=%r0?X4v;BL3g1Sr?mh32qix_A(SS7HJ^wXiU@>hVx z+Tc%E?lCF!(T-LK86MQmQHebRfbbwF2B5Fg5;q$C;(z88Ow7T6N$mhN2Mg%!Gs5RX zH5L0)qr)(Qsd#{LTE$ebVHUs+c*SWso5mP9b^K zn?SdzIfAKIxo0pggY=_Y&ibFqdw+4aQ$+SFt2`z|?k^lzKebCtlbup z$27*i5_EpN*8OlxmT7RW9eh^GDkpwYVksnkR%$9Jd{WBFfOxPN^m+e8tZSeSFYAE) zlE&D#|MsaxE{NQme;D@+48F?f?4P%F;@a=1ISnozS?kJBoDFA?n^^DqX_{SVz@({k zy3&vk?ee{Ro4VdDYl{5hc;7w z0Vei7=Rgvq8qpOI$EFoQ^}~Nq(DEhwq03%^wD)MxU0RzglZa?mcDhkN2M;~hlLbY< z2?JLrvIcPiUdO~-IVn3)oRh$}Bj9t*T{~vA2-Aed=`q*S^Ra`wbIituW5m3_c}UbQ zMs6m!q`{^Y0{>ynPgW(B&N|07gH3TlGpZHzfqmbOVDYoSys*B-C+1FCv#L^L8;Qxy zr38z(W$Kw5pr+J%bGviC0-{M^n)<32mojJ&D==rrI66LkygTB>)|KuR@_v9mVlGi5 z>Q%=WyFhi0^G)wD>Hdp~(ETO6^4sBSyZh((N~4tr1Hmp?RMwF)U(F(*PHJnaaU~Mw z-f&l^WI_J8N@B#FbF-2d)A%Qg8KtABy~Zgi@!lW&VobFtiZpXDdYqjNr*J~qTk7od zH#Nt~4E0CN>W%_ZTb}Dbo#YsQWY>M8AHFFHn=j9n8&MAG?F%fCT(gt3UqQW;w*)Oe zdyVmRz3~F3pFa!`?v6X1{R_TnjH)j?$P1>>NA^nL?ZILzB=Rdp?%QvuQtPvGkL6$gHtzk?t$Zonaw6xxSCY#ws9S2T>VD%>78WyKtgP8A*ra?(G= z3tjG$38-R^PrLIyWgqRswU%;Lld#8)I49_{)y$J*PTkuxqK)OHNzEGx#WPbU1|G1u zr+10ZA6y?O-nrAC<;S&NJ%o66{%Em;>VyxvgwcEP3cVhBPaI5ClyYtd*ZC~mJ%n#y zV;TK}UMHsdQ_sB(vPu{7i3%Th49ggN|DvSAl5{O$a^&=b?KLA=IH2iA8t5CzyJvh% zBEJp-dSa&iGDK%|Utm3gbrt+}pGM2*Pp(#*)y$KrmsI+?_kFDQT@@n zThxX*pIRTSU8loz(=M9eU5$3vs3S>eUO` zdi2)t6PJW)ZUnjqZ7N<=w))_-jb5qBYB`$IwNCb@mlvk$>HjmkvUewUWN$x~(9*@A z-|~U&4sZ5@ouwZhaCun%&z=;vUH8VVcQw-6RekC{pPBTwR?k;^#k|;fnK;MqC-bAf z?X1@b`!jz+l#tJEU6#pGEZx#E(p9ml*B!WCD;!;0-EC{9W9J(_yYl9xH@8wRCvDT) zG{d#AEFf3;LjdqXhGk1dr7M~l%L}SEI{p6p^X1Qjg*LkHg^g`;+a7Fp3%i?>tN1QA zSNnRSz3;s(3E8`yu1mbE@_Q&JToJ!|Uf8nrvF9`HZr`2dI7DgwvIt!%xpcMnNzX))+Y=AV&Xv7vT)M^S#nIE(r$5iHtE#Mv^trTh!td!f zGYtK_h4%kyI%{S*`<}>0EBjN=Lw_zUHqfz4sXqC-XvRh9>E~_=oOpJ1y6qX0*;kKq zFngPcpTC;;>WA&#i@x_RYhTaTOWRx{=l<^2CsWJz%(Z4GWol$xS3Uet@Ycj7sOkB} z8m$Y_Rxf`^&(7OYUGx^7@^Pi7xu1bF6lys~}TI@|% zTo?HyzU#J!2@mT7rgGDxA@>KAp2_7%gUumTbhKDVv5~OT& zx~}%Zi|c%S${VEglIMTide6P^XMcD1bFMZ%IuD|!zg3UkIRqUL6)~(%awx;Cd z#!oyC>nir#>5S_>UDbQ~Tig&V zX_wVM%e(yh+D%sR)pHy$eB-FmW}Pv;W17lejWn6PmF54AcTdar7k;|u_5#-*>onBA zoYPpIGFyD!q8Nusd6hjyuiD*rzGc`pTepY!v?AjbF6?zmnz5M^4S6o>94`MTbSyM84dex^jOf>YhEV=Nu?;^ke?k6}z^S zX1=}@v{XE5%hFIkO(mb%CWePE99Yun;^EV=QrzIk4d)Kd{=^50K3VH^CddDKJ!kWI zv(0(e(+#E7lU02FEO9V9$#qjH_0dF@nTnc|)Lt)f6g$Cov#s@PMBDG=(3TWWxr2M= zHTEb}Eq$rHcS%2shy6=MMe_ literal 0 HcmV?d00001