From c97fab334578ffe4e046bda74f2d03cbcd03aa56 Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Fri, 27 Nov 2020 17:09:27 +0100 Subject: [PATCH] Automi 2020-11-26 --- .../2020-11-26_1 Linguaggio dei palindromi.pdf | Bin 0 -> 33475 bytes ... Inferenza ricorsiva e alberi sintattici.pdf | Bin 0 -> 51212 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 Automi e Linguaggi/2020-11-26_1 Linguaggio dei palindromi.pdf create mode 100644 Automi e Linguaggi/2020-11-26_2 Inferenza ricorsiva e alberi sintattici.pdf diff --git a/Automi e Linguaggi/2020-11-26_1 Linguaggio dei palindromi.pdf b/Automi e Linguaggi/2020-11-26_1 Linguaggio dei palindromi.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3b8edd7a4d764692bd3abeb61d02c7fff818a1bc GIT binary patch literal 33475 zcmbTdV~}Orwk@2tZB*t;+gWMbwr$(CZL=~fZM)L8ZCl^I5jVbj_PhI?IPw0>Sabbs zWAxTrYrRi^ys#)OBONOY;Na%+1%`=%h=It?&=Q85n_kqy+S$aBUewya*+kgH$j;b= zUfRUg%-NiXiIJ6&mlwv#+0n$n2F87DQ&TF=ss(=QS*^7rBLrRH$0I+PE|@t8n$8AB z!}+D5ca8)uQB?Kavs4%1QXS8J8?YuE!o}@ufq3MbxbM%7ZP(vPACO#Cu1oH_A6MhG z9|LjTpWaWepZ8Z;g!+&aEI3VGzMBE)e+F!88-biVj_3LEii3-imrA1eB@g73y>t4H z4Qf+%6&^BuRYsiqFezgWu4{KI26}S8+vmYRijUfo^ijdypCY)kmD~HDZ#oKIPT2X% za}xWpLPf2&WE5bbd0~auS>|_lmF7si5!G5p+Ao?)%8D~oS3_T54RE%#utdSR z3J(=Tl~3rWi*OhJ#N_jv&uDP%d5HhfZ{>3TOg2Sy4EiXScvx5L-U>j|tzXdPr3?TY zdTV8~jzXyS!lirr5li5W?AJDn>CvcQ5ZbBCaT2K;|6nmos7pAHbQXq$E8yWj0Xnhd zZ>NSL&w;Sa0z`nR`GDd(1qzYoNt{EQ0L|aWu*f-_E7{vn;A_8G$0=MjAoz(?T)tNW zGmhc>qP5g_Rehs6Y>)~`Okeq1HYL6y%3fW45;-jN7X>1>cMB6fKhn&>x6JcbH!%py z5%O7rTb@oW=}isk`v`r>`3BY%NfdE}!-Sb`Y6{*sP@#v-S+Abz8xAqNbaw&swy|^- ztUeoN{^(84aI8Yz@(UrgOU%umhcmi?^t4cX@fk?1fKa7y^$7(PA~F1XGhlxukT)b3 zDqaB(ud+#57dJGhAvkU1(Yq_CIU|sAE+PSCZ%$3^n2(o=4s48LvKE>@C2x6D^d~5firVi)%m%CWb}* zfG!nYPMf@p1R)RA*Arqw^eN zq7k&w>miMncn>+2OWi;DtY(-rv1*b;XDTBe7nWH(%jFeW9al!=V-F>U>6H(6HR~sL zB^6K7?axIw7=ZRZjeGObplU-#&gg!hI|nImJdXc4_9;y`-w_ULk@Tm9c9!Y?RrhKE z$lvC_(?#F0Mb{_Ucp(gp*E$Pfj z`KvjT6ymlXeoIUA+`_MDDM-Yk>vF!c5Fn#eBVHftWdp}Pfh|?Ow@jthB4#DuTQydw z<0J=@9qrNvHru4=ZkD!;)C5be3o~*52Q9M67)A~=FW@3)7(5#0MI%$o*5a4M*AI89 z+3aq)UzZ2I$^BH-#r|)O>SVY^=9DmUR60 z9j+ud=5ideFwe;xe+*W)D7U2x%9iKRkt}EHG_~jap2_vf5e+}-6!>9kAOADs{OrkU zIC5T`YUmP8OmBpL#A$wUrLU^4$Sw-s-Rgor27fri<>E$`r!^8aUNFMux z)7ARZQ$6m7ifD*q#!_krkce=l5}yU1M4a7kVaVUA<`I~bZ~#&k2$ELMNqvU71y|iI z9d5g&WA~80eEj9)12YICVOfKwJsA}UUK*6rrdr`GoQh zyNnMgoy4kK216s-dzGmGFvzHGLZli1s+%2?2AxMvi}k89x-^RrKt(ns;5vOReYvjB zf`ptdIXlDR1bbf_(7fU!}($!DbUuz-e)w z&;T5<%;4iLC}n_#$%nSWsUiJkm?jtdi@J~~=)NexE)FS^%T(Gpo;Tjx(v1o)HfjjM z(`Tz+7A(J+`JVNK@}McIB*v=j*y?J+weJldvu$bt#dT03ly19_8cY~!O}sqUGOTHa zKPIV$G_4b)xR_lvmQqoWT-D3~bRY0Fh@G`!o$W$>J<+JW)E=0>$t{nBt#6gK! z_Lrtxenqak1pQtw6kB@lzOT>RUD{FmT}E9QgR`ZrCf612PU=3VU{)0mPc*n-oB&G- zTAOhY8=EyZ<(Lnjit93@608XNk8~4^Q!hjL&Y0@GKkyrePCi#*paNaj zqIAqO_Bg#5ZK9K#GMpIfWv~9v(Ff}FC|=}nYP|3H9-bMMbgTN#%MzU&xFfvj`q;gNWqu5W{Y3bUjA{-Oee&Z;f!Ai$Nx0XGLdvo00`sr9YE@7!&rO zHCk_esFHBxCO2<+ZPngR@HbEO;PIv?g$uT`mF{K_LeIw^<(RIWN8|qZ`YQVdN#<5ag)y-;{%^(c*RTK5 zC`@esiCAG~V*i_1S=5rSGj2idK2~$KMTs_5AHr8~hKk36a{QgtX5ttxnh-<8`@-_| zN_jO-qR036;699mb9S_^d9F6(S(YbfzxM!19z{$t-j^ZDouj}I|MYNmsE3&C#}N1J``j|GxAh1b&_YsTEIDpajFLS7ImJ30 z7dX<;7@I5p2GHXeQS%i1Zi*t@wsk)_UB+uRBX#m`4B_DM70)qVA7je=@znNy?Q@ae zA;d&SKvb)YKNS^n-eddV$B94}#%;?}{D22>il#f=V0+MLsN9{xC%Ga8caF7&RcSJQ?61_3 zula|SKy1#b-Ap5~2&4&0%(oAtVT(z;v-!4%HM~XGc1+Jlyq;-9XN)<*h;W+pMB8KS zUjETdrv!0+l248Z?*X@qFsjrpeaTMy5TAFS&R* z8g!n{{X`b38NEB?hI^PSa?!^y!u7SOlXxhT)8TpqgnD671P%~2ygV$tf9us}^oOs` zMLKQBx+Q26gsgEY+BF`RnO_Q=2T_lVcJK-YIVILH=apWm?pFB}HaNG5ZBj&VQy)tGhBFm{LVPwvHgQGs8Lx4A#SvhljD4uDtYc|l}V47#V#?-Ubu&g zwb1RIwQ8#S67qDw5OkKV-Zl{pG=9ppKCLLsQp#=k*}`VXRE{*(Nus=`B1EA2qs>Uo ze=m3Vw{ZjhGqLWvk_`TJ_;MpAFDXCC!WzFjhvbROjtUX;D zXEs43&Px&v!gXc2IpJoWOa(Ys8@_-8Ig{5NTk*lW)!gn5@*uP8QeY5A(X&MlV1rrQ zD`SZU_6PEZSd|r`_vuAU4144WSYNJy-y>j#n7wmqWAsDf&I}ny*~X#mezG>p)Hd5`X2{Xj zyBj7|7ve*F4ZE6zCghgvT`vIgBm>z&zJuG+T`rO1VVfoSpuH>%EL4-Jyj(c49J5TmLKD%`ymVgLvZ#8Yp3LsF< zu9Nujs8~55WIa1mMQsq|do4|&VNE?ZnRWQb*G_La+yJB2dX%_Gz6Ej-%(u&=1Ifj$ zv0R07(W|pssYqO}DYOSJPFe$xxkC-3clr5`hu+x5p;SYAs@?7T#?jq+F2f9SleFU6qs1Q$mPU7}w@fjF zat{V6MuQFSEG%>m!%L5LriLHpHRJBQQ+al1`yU#1#<7TCHe1{ayR0Od8z6DLd`5wZ zh>}#9Y!8jt+Z&yO@-6V*4QPu?TjZ<+2qK!DdEEu}+<91uDh34Ior40C+2?Zskau@h zDH!PI0d0KqS1;bYewd23>$Ng>p=iH2ymRdJGeqW;kyD~2m6=!zSPmGNxNbeX*)V>*wFUmTaG*gqxK zyuF|9VHB-I99ZpDycecc8s!P$+xTSAPhJc28(bEBTIz%6~1#X)yRWf6hS z5WQcIbt7a?ugTy&%0VT-=8OHc`0EX}dt>eO?zoS>Lt6V}Da%pNC`&Vzh~dIl94EJg z%?>!O&5M5JQKGct7=rhCFFVHL!UlH3+UydY65!@skxpy1zZ{ z#n8R~C~FBU!?Kd|F?O$iNDyjV2;CD}bM@5PGh($iYFZa=lmpwb&WzN*pC%{E37H>3 z#e%^E`$aJTOXL1lVKWEU%KLf!Fg^b~fOS4@|A8e#kvObAMp_|eu@+r`pc!GCv$jx! zn%{X||ISG0My63h)bA{U3PegU^>VU3qV|=UTZkgwgv21n69nRCM}iVUkFh{Vi8uP* z=XyLU-v1HWICE|u)hu&Rlau;xL5C_7^6izGgH_eC-9LX?Qv!7kx9+-M!wBXU!Ou5^ zAl7GHVetZi;g%E_t&($WQSd3+e50nVt-c$Zn7Nf z?D`9@O9OpwVvosU4N7ax$Rc$t7mp#!iVoIgc+R`(y>Q~UuJ3Uf>}@fprZ)Bw#ZZb| zMXTc4=AI;JN-8^DCEH_tB@vFoc2<^?{*ksgS;+={G1#H4mUsk1x9aR4KkuqNoLfv> zpP(I#Pvuq@Mze^0cs*+m>WAtg<5!m)eNbR(x{F-n_u9hJ>p%wCEj07zM!FyCe3PZT zU~yEE*+$CA9Nm;29A3p(H9svmt#x++Iy_oD##l^dnl;7@gkEu>KBs+r0T(#GCn(VWG2wwiunB7#TSot$w==U1&e|_KK*;NzCo@>P>{s7GHh*e#fPiq-OX*-=SV{%3{dv!Gg}(966Es`Wd`Pzuh*!I$`-(pyg3#izX5Bx6^P!y_dOqI+)z&!jIN#w0AF zZGT^VJ9ub`j9-BqJ1s?i;i(xvYOdy3tjr@GhvI** zp{A>9>ocW4hUIPBC`&LGW$i7c#mTd%(fr;Ewgi{F+ekAiAZL`)b|#;3w&YJ#$P`jl z;S>OTcdcr49?nJOO{r5hC`uwq$TAJnI(0|k+wqKOjc-_RNVVNKV9)kVy~3|EsK2?Pd?fHrbPI^b&TYqh87IMvoKn&f5}1V#qbhaU$XOz$ zy-f8;%4ln#IAE+Xx``7!1TeC=z4^Y$ueLlpIXo;$Vxx#_UJ}7J10VC}XGvc^JFevd zj#8(ZiiVn)8sGT{yfgl<5*M-(Sse@cN=pl+jr~=Mt0H;pNmU9**vH4z7xiw1CW&qU zpWnKvM~z?t{dPeKJS$a+Y`2=l+>B-kG~(GoiKhy@P5mf4hPia<8@r?9gsD@rqSeF_ z?t-1o8V&n$I?LU&1&NJ$Vby_%XO2X-Tt&$twD4*~seJ7(yTS2<>qWI$2z-bHX%uQG z#sm>-Ql|(@VgW31^3xxiq(UHLC}QD7#bFO9=)#&P0w{up__HG1fW-qo30etekR%2X zcWEr-t$pp&6B6eWMvw10pi42`+j0l>GG-i?c7y$slbf4z79O0vWnp>OU?T>Y}k!% zZV+5;!~~>H1_TrM(fD}S&AGAp3$O$yi1Hg8dI?AyV880ypcSmRj)VBSA>xwESK-KXLW`PpQgD;dkCL` z15;JUMsNKGbapo~NUI>G{xL{zEhg>qoS@VD_TJ9c@BMHS(JmMNrlERd-+&kb8*_O7 zPJDxAfbIQtVl;GH^1CSn`-xOOmaR8y!Ii}B4Ju?AZTsn-@oCmt1#CXfrguUG_?hzP z`vPwQJ^XEkD)|G-1ULk38ox{%xhF?&vS;G>)&r`=yaVo#*Gw(^g=Qy-u&GEz`RDOo zSCIB2gBmKC!ln*z=FZU&680-jLIB;;F(@B;V~|WcFq+8(LZqE+C{?*i&diCq8_E0_ zN6wDFlJAMh6-U`ZpJOe2kgAfm2NOksYh-s}mr)0Z@^3DPR?Lq2q3*l7X51QrXyZV^ z#W4m8!g72ooQ21;4!>>&M(7qyWebS5%)a2tpS~4X%JA2>2dBcae=vdxP6==9Gd}|a z)fdsRqO@@cyDqQ|QQJ{hUEdMpR!VjHgxRXkaH8?MtKVA7TOi62wBWq8Kh>sA*S?tS z!~}U%Rc3AQtMILHcwA<4?G)Acp;ZBWm8MdR<)p?)`FVw6gF1D+I?BI`M#wJx=X1(v zy>~YlBi45v_32(#T$=RcbfRvur7e<~=$=Z6y^*xk>`k96nUU?waF< z%Lzn8L4qU-IM&O1V(``s@omHBhas1ME_w+09fa9Q$N>a-6ISTVE)gj-$xh&8 z$FVJ2b0*kp+oIiNIMRa4r^|=;#B^Fb?`Dn33kaUqbZZR`@!Dsl`I5zOU1C=t3jnCk z1U1{Vp?`N&B@B`6$(93$7?NY-ZdfE!$3yu>Djt7kVf2;(0xW&Iya|KkSA$@#Y^S0uqs zTFV4&cza#Sj=nlsV0m=U^;%{j*hF4)G>`!cbRvA}=T`^^Y7YKFssLrGA!Q)iNZuZ_ z$clfTx)$C97*fJsX;hZL=F1MoYcCk7!D=Cv*g}Z@)_T{Vdx!PycoO$9=`^Q@FIr?c zKbnXLCI&`#f>Jx*w0!Y$2qfg6@Mi_B6QQ=T3*yTOybDc6f~RRU>6@V zb-nmtU#zeLv>{=37O(pl)hdNDsl_vAN{?oow61<@2PkNhcQ7AMPtC&k!ub+dPSvEY z!U=U+tZ0O&F-vFhQb~&D6qR&5I%4AaJ^KY?QgW^w*%H9plIY*sQk1ICze&5lW3ns4f{@*quwr^XtIr~C;NFq8^3 zkwTV(1>)F+@?caV%*l~IWogGaH1ez^9?AtBu`s_sqx-#lhpf`fZ#^lL8hi@Qel%kJSZ@;$4?W$BjEWZem=2{k~8+NW|L-XZO6)7#O;3o@F9=f`wk-9oU#T?Tpk04em% z8O?--w}@YqE9@b;^FVRBPT|$}YVYd$_+EYSq5P1#SnQ3&6-(29WyEvZQHA|&gO6{+ z?Vdk>{KmWsnFuooM*5C_hq5ZM$7>!cd-L076Q4($@Z)J-rn)=U1T;OgqngTjcL?Z< zD!k`OsgPSdN}^RDh&)|@@a6MyW-tkwdkijc`ZV~BELJ*ELPUv&BZn93pza`@to-@C zkA1X4SZ-6C!Z$cmW58_5{MM$kJYexjWju$SeQp|e7we$gOHs?CmHGQnG6c0vJ2lvY31>d$m&i;KO8}a((^@2jW-zJT|pcbos zSA_%a^{U9)$S~oNR=?yNW$yHrT2YGC&D@){QOXIq9WQ&=oJtu)tK>#XV>`BPT?nS3 zOk-LlbayLE|Atpu!k!x4Q|_CEFjiw&OAB#izs6=4_54YpDSUA}(~qqV!Rg-V=Gk`Q zL@gq6)G1LZvNpiY-BRCmg4J|aHcad5BuUF@p50%kCp%$kpl?3|0HG)-JJhi`*PNU-kUDO0HzHuRfV;C2+f!2CE68K+1&N-Qs3eoz z8t3(rFMYU-M%jhLaEqbl>KfZ%bPRaNeW5=#p+WL6P!D@jM5OpNCE;bO<{L-@Y7XZg zDC0kx_b_p={;S6RKP(PNV+mw%V~NmS@6VX0-z21=#4$)A54}Blyz+=#q`n`+&DP|G zi*1QT0Vhh+odTer6d}VV-Bz(Py9|;j zK5aVVFHj)wNRB$_g7vS9Z5o(CN`QClyKEp~z2-f`2bc~uMz@!P#wd((G0xtrVVqhP zw-R3mK@0!H!kfdr8Pq&*y2`_HEl#2_N?IcN@xXkv?=3?d#rE9q#o0wRyM zqja(f#{2A_TV}bx>hK=A<`EYfSV{SY|9bO=@vhGf*_b#q6=)e|ZFbqwbRPGmIXwlF zNUYq$d`iBg_N*)~E_T=YaxDI>dG~$n{3nI@D-dZpv5-ur7;Vq!G;`f+-fu!yOA5*O zN-mAjC?$Fju`10W2#&fu4;h;@qpf`tpKXCvc}d-}p zrFc_S{Czq;m3=ejM;8Pwx&AJ%wMHM5@3b5`?xSO!zYv=WB2m(7{gn*bPH zeVWv$qE+F?qnHtC5sHFh=}=q}@tcEk;Z1|0KjKzIFUTSz*u$9&O>hKIPJzvC$Cv+1d-XVRj1hVod(+Jyu!%)vL#07n#h+obS&ys@_O&uKF3+$jD9 z!ku4t2s3M?a*wZkwsgE+lzPG%vFAcpK`zlvxSNA4Jgr$v2cdTAn`3saEFwoQ^3x50 z11FM8!w%%26P_IKHNsCpM6ij2a>b$;iH%gWW%9A{Z7N0SGeFb!`hKF-tGDbiESHnE zPgoi$I8lXwW%5~xss)#-IQ31#0^WqvJUKl80^%Jt+hq_77|r+-Zm2$ixvwuki!;ET zfgt?;9?mO9Kp+?U5K)-#~Yrm(sxG(6FtuQWtumJdF5W+&A5I-uoe$c0Q3RSRiq;#TT zs=M5z%=>GH|L_3A%sCjMiVDA4hFey{a$6d%69a!81CWDVPul%hOotE4WxOMy^pW#P zS5An3CKo~Jqmp6B9U22t-O(kM7@Tt|tcRaaPnx343^*(B2+;RwQMyfrRs0) z{Oc6G9<`P*kgiYc&$@b&_n+e?YJL^U5d*RU6R4xBSul)B$`x6rmSSt+qYlgteORk4B;Avzxl?B`6 zeA#&!;EgM4Ga>?ME#t=mRJT!K+;z8j5q9+1AHo4xR8B&{88w~xyzk!c8geu<6mifikL}J8~t5!_NO`_?r7TzkRhXR!Sa5%%asoNN@eS^ z9f%UOZReY&cBm|4M_$-*m-%g?h$oycOtO8#Hy7ZYk%Wkk0w9xWlbvm=6u;bDg#8zV z{SAWZX0NBn%77dg^;p4G%Z4_!=}b5gf`AYGEH&o_cR?n$uslxhYaG-A+v3D9$a*q+ z+w75bD!5jyo0ixu^LZAAT<)fJJ>6lctk@TO6#Qn4JyB;0+HbAUq8~{?ed>|(I73d@ z)t_aQiMHE<__~UE{f5*Q3K9yq*omOZ^nY*e)oB#~H{FnnhD3a=x=FoLvA*{?&loi5 z@*!1#KMYnSuC-6(B>KUOJ0?BXBFcf_q&r@g<(Iy?iAt<18qTE%VXo}BJ9ALL^<&}K zz_n!ldRz>nUp;17Hh2r=Td>Mrq6d0gX00aBbq#Y2Xjwn6nd@GWhZo;wVx;67j_;i& zRw*LFxb;TM0xv1vS2M4lb0e*1_Ns44zepLY=Bvg-FfrR-=liB#g0a~BhknTUKmG9E z7(Zr~f9-!d@;p|9e;L0|Y8G8e0AWb85L6?lAhWjD0<@Ueh^nHH5$+K7-8JreKRiC^ z%)D1(Zek@To2ZxglrcaIF^DbFz8O{`m_W=%JvC@Qo$G$Qm79!w#;V#)Y!kPvPy6b@+1Kxk%f$) zGepvldHk2$*e5nI!5%SLPAXR6;37^4#!f)D&=gcy1_%{>J-UkUjS>pr-a8l_c|75@ zap5TUZB6EAhc|cKLe46v*T8RW9aO_sV)+H}*)acaxL6tg2d@9v)3LDqEs{1e);BQF zH#R#tdHh9NcSCO{zfuO@H!c~%L|i8 z4G7qcBMSc*L;TSL<1g+))YqyJ9)NCMC~maAFu0evP&l!7u`!qk2MTJ$0}4uV{1N!4 zaN;2v1w6)B23$x=$_XEw1Qb*Xd_+5c?qHA`TrYo5IUj+DT#T55kCVBnSW#ertf;uS zS5mL1vs0U%u|=J}hhkG!NvwdofmDc?qKTuaoQ74TkCv}ixR0KZT?P08nTO#tJ5Ng< z#yKp|&R5b>fnX*idV;?&CmUC*7)QicXE`@ z<20=OdgT%G$(qEiiY^zG`JHp`KX}mXp+xp9le5C!fGWYrMkSN^2be0+9q$&k=e+bW6|0O*C zH)X~0cOfq?V-?JR)OD;j;UGonn{4}x6kG^JU@g@kxT+;Bid)V&=zg=!9#J1gz@+DK z?{1e^UxD)rk2KE}0}dZfQYvb^Q!`*@zno>vF#`3dX|c(zk*sL z`}bnHUbZ}!xP*dmyLB3=X++d62<wZ;lzhfVV^M9x?mj8ze<7DLg zSAGH{`dOobqm5iIX-+AyL(1Z&bVPjtM~#>7BjOR07E2DQqiC@iGZa*htV#OK==#}S zE)ia=bw4fHo-etsG{uw-xDqin*U2#_${&f#NAF4f80~_6vd8!e=rMrKf>?! z?6u=V1%7NQ?-Rzbemxn-a8)6-HWLe?4OQ2~E4P=)P}!tm%g8n~%LyfQcxsKNas7O1 zPP|mKfb@`;%V_GN0;N=&#gVKntQz7}w76JQY)sl{(i565_33b1zkFg#*_tzDdB!)l z09i>`3?`l5Y47PJ6Wu|#sn`7tlQ>;`$=FuV2~%7*k(n_}$=aExqK_@hA=U~z!_Z90!X^uUEOchya$C$(rg#1e}tSj}MG>nXW z8TEyKP6shMbz9vuKVHgPd4FtaR)70i83@xHsph>Q3Q1)z{zIw%OF;T>Nb>I!MIHG* z%K-+su6Jr@Yitr(NS=^ham>;DRdY>OS8D(>OS3|@(3fvBuIEZ0lc%TLoRTVQ*|0g{ zD!ayNL6`up2*-K|sbE|Y8x5cT+?<_81=6re<8h3P=Ue!0_ANoS9PU}dVQbQP_HKz#(k%n zMycbYE};>|jGQ!)fuuh09woA!4jbpOwwdxx;0wlZNQ)pnJB;3uou#s{ql~i+DWvTb zY)k>K2A;R}pgOAZ;R^_O(R%bBz+(S@;6-MZzvUMHzw&^-fpL4hpZ`mFFoE7q{_%Sr z`(6F9I`}4(xf=$zkEl^f=s3YQs9}tag_R2vI4br*be9Vht_+S6T`CAi6CI5QK)-~5 z81{sK5S@AjPZ7yD#RkCOjAg=vrlubKgb{^+NQH@Qs}RW;i|~NyjsRd+v_$~;Wn%^H zeH~3LB}xKAWke+;0#dqtJv`cU4Q=ameHGesN@E2*OeI1E)axBihumE%9rGQWiYsZZd6&H1+52+zUaD?6k=lYV>jhs~n_-CC7rcW- z^^^fRC0@fg9^LieeA#9`(|JEVfY+}FEiSTJuN-P~2M3(&5D;teFr!|*38o0iegMfz zI$Hn3QTEEh5F@Ijn=nEs_6pnU>k+@W@IdLQnvJRyj{5w|?2XrAAGRk+MZ-D&-LLzma46mlcoy zSYETT{>_}APuYp18UT&l9~%Wu z-X~*4(PVNH3z%;_8Tvt?<0=>w)0Gzo!aPwifaobB5ewTDA1^%?Ze}5RZ-2Z9^fCYm zj^?%7zZHHPS50qwja~#18{J(?9*V|v8u;J*G7Ub zfIF&R0#IO#7VxYEE_Ln7a9zR+G4W$0B}uWc1iyd~q-KF?hKYWX zLz18n2uq;zuPLiMf)x%BXh7pzIFPUg4wS3mq$VR*5I&9yVdX#z1B`W_(q9hD zX<`B3uZO-8*dRcfngU#4{K17$~O7q z)v4qmg4v|n!%VbwIAccAd(eFp*Z{2`vJ6wGlOk0^Wa6FjL>@BsCk@5rd^Eh%f|(zN zC5Mp>2Bv$m(yb`md>3RJ{x+eVWOin)eoD<%6~$Umh`(Wz^v3q~*z0?*X+v$U7CuMl zoJ?cBwq8_%YuPAtTjsX!NMS+LHW zf>jU$63~vDp9le$=xq5Sy6}l}VD+Y?jlsHBW;UI?(O-jfKfXx`LNW^Pu^h~6=LRPF z6ufXR7W`U$q9)~j{_U7h&^AGm6d|7}49Ko$hnHP{wwJi70ppo_J@&BUcz6QU2QE2oSo*Tbs3j=Niw2$h3vTn2 zb9~E>j3W2>AI{-F$|RUs{x&JqNtCk+;zt^~_KoBzP0p|R)6hmO|OmqxX-4jSK+E} zamH{&Kz6)tPGH@XFp!~p)Im=&=6u$#TGrXj{-|?K{a7q|#HnF=>AgS(A;G>0#T3&X zpX50|rmiVV?j%0u_w!hst7Wf+(Wy00ZZ{Y6eO21qj1o=&z#`u(fNTycNfQ$Fgdn+- z7_^m7+jxMU57O9x_L`3ZHVu>_QcyAo+LuH^|CH~5be9MeJPO4l4X$ZJynsUEQ4SFB zWAuzOl!DeyjKM!+>hkEkSLAjR+=$5_7_*J_`Fbt+DKdRH7nIv@@eFywStawoPlo+p z`1$|d*;v^BraE+zWUTfXkV3D&(0?}545eC2!Gi@Y6C$m+3eD?!I#~m(%1w$m!am;D z?h!P~i37wk z(o8*VAgKF0*RJoU_55_Vh6^12(tQob=W6?TyjxZkB4%>GeS2h7DUNhJT6IjhE;cOC z)@_J{TU#H~R<{R*wqnHITXR1ja~`|6qQc_#_{qc0S$tOe+BJj)QWZF$JuX*P#}^ux z*srXEY#O~YR+h%oz?WS3uI8a^N0i=cZ>!oqy3)lIelQmXiU%pfDdyv)GD7)gLi;)( zP(`E)6~g#JmxmHksOF<36G=kP-OLk#N|7xY@>hpMFms~?NRF2~d7oY6uC3N|yYx~+Q!|zvHnX=@ z-@E1Z8$D;Qapi>HrvKq~{7X3Yf4?0}tp7*o(HA*Dgx2|ve!XHsDY0hT5{5)UN!#Dt zvG4#I-EABqI+XsGpf7^vxd09En1b6U1@I{R;wI&rf(j+TDJdD)f|Dg$SfP@shZhHY z1n$xPw3SfQZR@&4Ag-W`-i*E0Tkbe*<*lwbmIExson>DN7&1Fm&Hk{)ke0K);Bi%E zhxluNN%}n2{%jk(sE~=X-G8+%;Vjwm+cTNQc18aZm1}`OQ4wvHE^7dqq^?Cff4^NM zv1}eKKCg`Ozrqh6uBtQ94@b-u4bHlG=R9=aO9W;rlD8F+hYZm&5mas=^jfmPosDFg zC-iT;J<6C`$zOE>=+lH|&Tg~+fZ=}>95FNfZOc+8@xPZ`KO*tCWY7t143dx(Ax#Xm zS}GdTHU$ma#R0;^JP+H5)(Zna0CT8*ow4|QwULt4BOi9_Q8;*3DXAEtUzXs%A*Lj~ z371Dy7zy=rKap-0#eJ2u!p4urKU!*fH5Zj zVm}-E8I|@+jZDwz*D%KCor@US=6bswgZB4&l~HP7KB*uF6B^o)6p#EvzIS!pP}W~Bhpvu@_p>}udkk3=n#dx;TE&l%<)rI4 z7U;+}@k`7+s9i|t!r-$A7N{sG!o@An@q0j&#ET7~m}#8ChTl7jN`?>VLXXm5?Id7Qma zf{8%6HFyIg9bEC7odG8+;L|@Q3gl~K?Y$z@_-Q~{)ozLblLji6-A*BxxT7~cA=TCt zV#=7w|8p&Qmp@(ieHxdw(b5c{g4FF32xY-59^Ol@zeQ{7Q^V_4 zRA~sQkzgC4g+eMmz$6)}#OWka;2}G)k#K(V?KnAfz9eHwc$UDHEF1TvsO+FT&>yz= z2Swl!+9Agb$?n~hgV+~_i@q^tG}_8(xFBmNn{GE}iC(=0*);adw^I^-UjkcJRDMLGO=F&`72$M%_+eQXsNB;f>8zDMA@J zi#1uA`LgJ#j>y$g5Tuq|alqw+#B-Y{p~n*wSDtL&ESc8|*R@5siBu1>?(04FHYcWt zJG-iDan6sdciis6S+1_L{2SVc^CYh6zOkFGc3H?0;fiLAQTXSk@L2f%U}Q!wp+H@W!tuG+qP}H zs>{`-F5Bp`ZSyJHw(IM4B2L7+zPE&7y z7o=u_uPgcAwTDofa|h=qM78)btIfGJG+<`n*ksvI<@7%m$5igD)3f z{IrySDMtmMvRMNRmS>@`t~-Uiy$8)cx*k#Y>dmHero+IL6S{1x3($jNJWziaF{ z+GN8!H!iZ%Hk#cvY-k=qyk)5cEAuP^PlC}wE-H*2!|?|k_l^SU*|t6iR`2tE+g<~k z=?A$8%}TTeVFInXr91zAiFH6@T*eae;eu~^5!qoQC~1Ghsbm?|y68yz?fUx6Z2V9> zz;HkNhU%=7o2OTEUA$({3T$!{u+{1MXf5Ik7Zx3Gl{dfKFQF}Z8B*t`IO!0sv#5yo zz?Vcalzr+S_F>1K(g$6rkRJ{6*YOu}k{!1QF;L>0wn&D{SzFpTlVZSM&V^9pnw>B2 zr9i+b?w(64`8bQ06{udS1T*>GYJ-8yx`B4zm)t7ro8MKFd{nz*uV|FtAb0M{BFT4k z1#E|TdMnO5rQew_zBqxKqvROMdk2={WqJ6^OAZ~ka}kWenVQoM3OigHpWlvLdL#+I ztWqd$3BnyPULNm$-q@0qWgF01m)z{9wAOg+s6K*bWA~F{nu-D@x9u8XV=0#S6e?3F zU*9kJVp>1zC;syucL!Z?0~Gn@fN*yka=@tz25*0NPfR$Q;!jk*O+EFH2>$WlPRS|d z1Q+hawJTn$Zc%@&@4O80(+}dug1E|AQW&W`l_LnZsZ>=lIUY;msK8nyLcvCGGwv|e z?Hjf?mCu3RocsY1QNoWzip5L7)?mvc(Q8MUGi4ew?)-3By8j2`el*b6386CgysfD98tQ8gz*qj?zF5!n5r4W7R~jn>GNgQY>yqR z!nt!lABjsR9F-wm4fP5Lqt|aujMs~k;t-~@83)xs{TFtS7CU~D{aXw4gd*hVIA1H2mMu!11WIIDTaT|!QejkSZ{bL9XG$-{1Hrn z-h+{ec){@{ZmOEPGAY5CZ}i=5j>RT~Vxiaxf`-}#y+YAWjjM)^zLbiNkgJk!dCSUK zQTfD;o4S-5t?`N%Wa3cv4R6JZ2>&0r@qgwV{5Pe{#?Uaq5b3~Bb2h1WmAKat2ahQUp_~L$a^vVUrbw)8ES);lagm3`wd&>QJy1n7 zH0?_AL_v@sODHfTI!eVI6e^^_U}D4=sCuaWokE-H2PbX2rRMg{>Zkn6`GxtMX8y1I zUz?4n7gn2_Ih$M-R~s(ZpVyyXuie*MG$d#+!sN-XbXqN@pGlz!tF2ATvVO}Kqq9Tm zGSQ_L89xZ+C9Ks=q5qnjV}FfK3{k=07N_;ps>j+5fdU^C0!Q18pMnuhWFJti_)zAjRfid$TO?4}CoB})f zHQTn3E=!?N%ca>|0DG7sa}v-wU_G%@TsvjSbk-P0z`-z$@#6&wDy8lsOQjZ8u6J%Ps9f-`U6>B6eWNd19c+uP!tYXqKar4B}$Yzp9C&6 ziV+n{l-!8y?jUp$l_@p-jBE*Q(0)$^U=2vnXk1aaGkhfn&mUEWqw-f;OQk=wYe?)A z3R9L_OsCdbVhi_mR4VteiQwG4T!(gM42bV4o}G{a`!j2mZK}W^VfFqKGlHSLX4kpC)^hFnKbAynU*i%v5)6D6Xut*~xwzewlL| zhpbEc5ay#|wEJ}wJ(?pF8oi-1NsPDGBcZ>onN z;8C@;-=cBkDXg}H_aVna8W~J};{p>QIqyyT)8m#{-O$ei43<{r3(xHRo74=i+Uwo` z)K*h*n@C)~O*k;^)e?RkHML!!G1rT_rD~y^gb>zi_Z^SiBKH3DGVdst;b1#pUk=g>XKTtj&5aMwVt`_&r@t=~>;w@;&c{bwCC7^E8uscFJd-7Y$$D(X zIH%qvY}eFUd&O|q`>I`Ogdz#(MVkVB?%0`Ee$KhAb?w%*YU;1lo>rBtcjqmd+RlxQ ze&c=GDRDHuU&ZH7kYD|KLM^#S6yb^wS)Tb3?JXna9k|tn*>=AaAzfa0D=d#K zzb%H=GyPqD%_St}7;{>mUS7LD*YkfkSl|DOugH@tq$reWmg(1pQ%KJ#v#Dn!hiiIyd|(*c#e1@SFYt zn!Tmglpf2r`&mB!B&G*UDp?SfE&GmJebU!oYuNoM=5hktBt4<16~0ZE%ro(UQ2(Zb z_xkV!nR^oVYn7!3%`WW-7|^t`&9j`@7&wF%z`7UkAVYpj*onAJK1NLMbb#OB0AFiV zTgJIS%);~YDC;}^$b^ue&*w{1=4m0IPTMNJ%x!{q+7hTq_X4OABK?No#+KLNYG4&n z0S_Szz<523xHDnw)^!9Os-_w8i6q-f-&Wlg!MEkT7ueegXk2Q~5`CN_{+=cZmm4vi%8X?yPwk z5mJz3;@ZBff`MU894a~!vNn@EX>f^3)XHdj?QmC;TAKGGl^mWGOZ zRS(w15Tv89tccLS#t{>j`(W!jBcOE=evO3jb2N;kVJoKYvq0AujdSYM&VB@V*>O>~ zu|^-g(c^JzVGY(GA0uIfwuuYyTg|O3$V$j(t(BqNTvbO?JIEcqfgueuH6^t&v#OlU zN|rn)tZrL`k*l;amgd~?mpaRc2VTo*6D*0My|e8?WGbJgww7A&L4h+*1Qj)6D(f=0 z(t^-as(JD0AkGPp3j)4vpjEa)@!+}KSXlsgfE8xSWG2P1HLhaS#|TLgC?*Z0WJ23n zcc9?W+NvCG0SVCpbOyRKa6}}BKrvyRJ^quk6wJ52G9H;=@W3-g!YSlV5U{uCL-<%` z;~S~9n0cBR+gn~-SRoSSj-ceMN@^cYaL9z(X;OOaF1_=x+q;AYL_|#;KUC)~uPhJA zXt*Kv-~d|NNhq8ZB-IRE6a%e#>VL1ubjO4!*{DE==MfK`=RJXOKvg#S{i=6< zU3F#Y;Xz>Wkn&UxuYYrU7#6-RT9ct)iqOce?1du6wJ`eY8ptj5*~-0*@B8~^W)!~7 zm$x?+}xg?9AfUbJ5nTA`Ryq5e7x+)&O(HYgr(O5=KBWd)+=j`<-~oQV&&8w?aN zvEC)FQlvR|x<73E3@nlM_3B;?{XoaOX;7-qpe6Z~ZXf`I(|l?^PpVv%XV%a9YL$=` z3hbQ+u1i-=?G;Oik=L?Vb}JvSBdVuO|CQW0|3`W~^Z!kSJBEhpNQ&7>b9Fn^BA`H6 z7hv-LA@)C%%Kt4DvU0Gq|I@J5qy?>sYVnqflq4jk8oruY&r;u{UQHY=VOLMBURe_j zqggwSH7!U;L`;lC@8T=f3Wl7(0tE+Ewxg$U4xsK>Ytk87QvcPox#?|N?HA$y@%*Zg zpxt4&`6)2-W#LKAdoOq7Gqe5fvmFU#VIfS45|`QIcsTxgZeY;t+r&*z>R+*Purx0D zn_6^VQ+F`_$UwLTZU%{$X3vU3pXg|WbKj|E542|5ulr@kGV0Wa)+>roG-CjF<(=e( zr-lLcyQ_8Bt!jT*Z$$%oJ_-r>Y7iDoCYB5z*^jt1_mW*e7q3DWr6yJ(T3$Ni==6}y zFNm8+3>6P6wJ81Q@Q`oJ>38+bqbe;tbc`B>jY%Oo(d}+@aZdDMPBi+N>8|}B<4$gU z?V34o<0?1B=l-E(n_{^m|c}ZRVtA`R__^&8B_*=wGmW$<3rx#EaNst;|%U+QpB)6}K==^!5yGMzHCFD06@5Qf3etS`?)|Y*o4lId0G^Q5KDwo9u1cs!fxz^DjVcAz*T%ju9)HqC9d{ zyESn6k>(KbUwt&V#NOwU$&juTACGyN5^702wN-gg;j&uH2KC{GaKL?iB7GCl)flfZ z)nKe#hqHHpw_jpC4c9gA4n&m3-(V^2bgzCwsLA5pY3|fZuxphhexhn`csC+Jo^yVE znkqSrO45ft$k5o%HEJ%=B&OJNpqI>-4{!Xrq(wM?*BM`{vkN*>qP`D6yIs|I7$^csn_40DK{r0VoIu?Lt=cZTf1?S3C0hQP8B*!W80g{slk z7M$^rh4>EtuycA<0KVV;nFoK$IUhuZvezb?n_MC9Jyj8J z`hGSlnfzrZUb*+XXa^K7HX`-HhNRvz#^Au4oXG33!s&tYR9wXfcH){urz%V$19Co| z{(Ot84_~*hB(ccRs&FE~)GeMuXvjs3sPgL$j=prvf{;3|m)i(K3JZq~-E986 zKXWa4wbi7oQVwBi9vi2ko8W~FKS-}67QN=qfdT~DK0-)$j6O(-Ih!gB8a#LXd43zs zgge{qygF0~viCml#P!a6s1c_2uU_i>=pF+>DAooE;`TBbijy1Lb(vdDbL-a#FD^^ zq_mc8^~#)o`#$|&Td*#iRCP|Mw2l_zHu<+cE>CjPfPI{+y7}b!BphXeGU^*1M2&K~ z<@1Ov*Ez&7(ufRa`j?kd98`8kcPB~s)|OGjQ)C(&tVIphfZ@EvQe16f)`Mkzpax-+ z6auc;Feq(HMz#aBmC0YP|KSaxBhk0-#VU~w);N_3GaS_^wwJQkUCwYr1vk;xnHz4A z(?{he6>p=&MrGI~^Upzhaj8{V(->2=sRIMsH>f8LQukriG;b>X?X}#=bM5H>4-abp z>S!-{dX5o@9BhSsbWie}a1lo+*^#Zfx3jo67auLX)1W#OZ%ArtlfGXYxxWIW1X)QC zs>7Bn5LePxKq{un+#s(7h<6{5&Z(4VN^kbf(6Od=$AsGQiQvK>>4=Ef@h;me=hlVT zq~Fci{dA;dQ*_lT4wA5Xs_XlV?!ccxd*LAjxShJ#E(g~jN{ptc{{%0Ck;ow6WVK}2 zq#ft4MN^A+^$ciA1-QN5H9al5%h7eTRMQ1;$aUpOgpHb;KZIYt!M!fe$KLIY_iID+ zgg|QrbGc`QkB!PJN6anEh5SuAJYwdN(ObNxt+3-1+!m@OtKV7V5XE?zZin8-_|55M zYVb~k<09{klRXCqJT4EzkI$A6x8sVH@~gbkw=v=8wUuIW26(_7`<|+uteCd!61BH_ zf`KWuO?ZUz*|`O9*Pa!er0vcHr9;f)2_x*ps6=jd_luL%jx|In-+k;LynV>FmJ;*@ zh6u^a*!13Jr6k8oE-)?jCQ0}@Nt@{W2xTa;fkZPvx;?{N-a7V9NSb>C5>TM2#s{#& z0U|HlijY#3va8+{9^2TCi>m zvl@(y`-SA8bg9Vd+?)9!Aa!=fprc2t`R94T-|dkN)F17OS6pSpM}co7W4!v}_n%j? zEX(bd>Mykx<&gkD{ddOwd*Kz9Qu(j}Vq0mF-WMX7&Bu~noHx() zQv9o2%b+jq;AroD(}*V}J`-{bSnU{o7ea{P$$*a_lLOiqu~Hs=B%la3+CTylQjI{$ zkS$_1jQ!Q$wc-lN#dK!w4D=yCqUrck&k2y9wjRBwUWLt}W zi2Zsu@V7(RwfFB=T|n1uz%T>T%k7L!!%eh8*zESR#0U*1-K)F6mw6v9if+)$0;v1N zXq;po&K4Yc2v%9@(|}(*TIXE)BLZ%(4QIOQK>XhP#Z^3m$Sa-o3s78^Cjrk4H1s?f zi{1gE)wh(9J<>Yn<6`$Td&0*FIDs={M&>rw3qZx40|il!)5br&p@Jj`ne%tCG=g^0 z9p{{9=Pj7uV=zY=6mx7pRaVb-8f|-kI$Z8PZU($oi#nqxSnEhXbviBNw%-oyfFYPl zJF1r5op1;phs#+W4|Lsm<8deAeLs z@${kf{MJso5A_2|tFeM?F=bCu*z-HA>rX&-;(%y%8tZVFyKEu&u~)p;e$n+KSo5GG z@&5QSAD0{#JTm=K)DRQXoyRg=I=TSI_Y1c964kz#OO{MM7Y^2`Yf5teUfh9tii)yj zeHt3`XxfT%Qq&Q>_|q)o$uOTI%H+U_O;zegy7Y6J36eMM>5oT2O2~-GRFeESW&ge@oLCGqvmV z0YTO}zMw;H$gN0DHSVLK!qIal?REFYDf3=b#x^Tp^S7N4vb2XQgdQ2&(!u$^BbMsTu_*2$ATojX{X>2f4*9XZ<$2Ie z%#1^8>4U~xlMZVw*PeQxlr`0b7iB|YNaRe@*^(pG_1g1cbd+LE<&=DCIhh&Ve805# zEv7}J)R`JEMkmJIRkeOps3t@*O0zrs(L@a$snwkHmjJwLHqRkuu-D)>Sr14rnCJi0 zI_Hw%`{aPUQMq?*&YoxXk~5hI6JX5kBBz@FRdO`m*w9Rtjx|nc2yc{p0dQbv<9f3& zJ?0A)o14$zW_+nojkl1zm=8cxZ4N<& zSEjPR!l52R+33*AQIDj?Y9({qci=r$zYEhJS`G_cFmbJonXUOFcKK+4Rm5s*v9|wt zk9s1tddMeRr}?&UBxVbG8;^d0E&7o)9DZ z70ZNYW;V(cRVXCv@7H)ge;ZC0`5FWRytHr>=-{b_l>JuML*%baIY{b0lT?%`XHLqI zB}*w+hb&p7y8XEh$!~2vAzNWAEZ26X>Lu&vZDwcZwa^wg{hH%Bs!ePB_50_-C`s69 zK5fk>bfT~Mu&WJAm8?Iv<^0)qM>6?dhSCD>XU}wILsS43yHZUkFt_O{I=KuC+*^{J zYqX;&+NsAu9V2uHG+OH&f@@?i7@l!Aw6fWz48!XSt=`$bieAbL zz}eOJ2vDH66BR4J!dmI4ltK?BLi2Zkz2esK<;=Qq;2r-`(`njl*~dy0!yy~yG@pTr z|6B6yVgoi)=v|B1aZ^M{K)Qn3B{e;zA+35PIFU`J5PnvpA;6iuFxP_%LXE72KcsI` zfylSlRKd}={;O25TjASAl0VW>@RfhBO;cV`*_dwoi8l;a02}VuYQ>2G8H{P*mPIhO zqbA%y5%`u2oK4xh&Lwco4apg=AHJKnXxP||Qp2)ojlQ*gjmH*z86;~e%^=~J`yl|h zC(Ci|KPX@SFo*s3K1bGnQ@H+h){0cO!tTpiY~LS}^pgyZaJIL%cN7Se)-eqP6ofNS ziaZnu7O2GllKDT(_>a@w|E<=>$@yFR&?RLeCsv#OMuxo(cD{%LYG_6a0T zcLoi?tSJ~N99DD2R-q-VUUOcX(ty)Hk9@@Elbc0$aeuA{r{c)>u5uyfVvSx- zlAE#t&n#`*AkC-;E=?{;yn&bfx8f4_U)u!yZ`&#oAZ3W&po$4zT<)Wr%TLZc*s)Q* zk;#4e&CS2`s}5Is*X?J=o)GiOSbIU$p#tSOPTWBWqP1IiIU~VlA-ULb!6>0VZa|R| z^C*K7B8fxhVeNO0J)uPtIf1IE`x#BiegGj80f`a1Ah~8=+=iG)CJ13}BZ5PN{DK97 z7VaIp+d0RN$AxZ7{BZ|H_wxYyTO^6MiEE{PpTDPaV%>jn#buEWae^>X6e*B-B7*EW zz~4`jcOaaJCbQ0iu?K#@X7wlFoYr*YZq?w$&abI&RaOMZd*W9Q$&mzU=kFc8g0uA3I7SiBish0EL>?Y&pwkD#TpoeC7J< zkKg;Ua~O1v0lb5f%>fHysa1I)pp=z0jJ?+=5>;-50r<$|s z_)VN_v+r>KseF?y9{ul#&l3{wbK7m@$h~4C`tiY+`hBb8mu%&9jm8OZ@Av+_-!`gh zyGbUwzS&YNM>Tko**UVsL~Kkoa0*sYC@%cDpSNHA4_wp+>il%^G!}CS%F~z($441# zpFqG2`f;0iuEN`;pk1jbG{`3U z88E0IQc~aoBuPm^A_@kS{w&D@JVh@`MD#&oI-TDIZY!6IT6&w@m)wnwo9+*~Pwnxd zYnRQ9n@%228yPOs*&`d*-`)2Dnvp#M{l@kBaR355EH~eQpmdR>4b|J>$XUPWMO>qH z2Zl6#p;|EAU~;5P)45gxx%yMJufYLJ_qFXd|4D9opM>*o-Y6{XAoFiC4815q+D~DF z?Uo+}8%tY&V2O>U?lAhR_(U&%C|Ir7&S0cb>;sulqx$ae1wCJ>OhW<#LUkx~3XU)_ zQCk2>VonM)OC#E1No3?y?d#j+;uRw`H=71r;`1i# zCJts6lDFY@&gkkuq7h7S@OZ)~Ww&4=^<-ki=faL=6fFlEEsoLk)Arss)ticIbYlbybFJeR z=DiJQ>&!36@=e#Wtj7^7_RDY^PkFl8RP4Cd!$G6eyFjEFP`pR?S<7ou3qu_1YDjaO zW#{n{}mEYw%_@i&t`BvuP8%u8{xL z2DLxu1bbWtw}cQJ+Xeo#(kJIW1ZKJ0vYHrvTboaDlRNJpRx9i@ya!klD(8i?L<0~S zqCgNf*dL0Aq7ZWuVY;pl92j1_-dv$|*}YCTiwOoG4Omn`sAC>OHEA}H;%(GQem=Et zwe#OWd~lszF!SiHb_6%aDiWb8@9wuxo7S|TbS+)}O=e+vV4l!9LHo9aU7;}kVe?-60<2K%0S<9Rfs1EjHAqEI;l@wPGf?6|W@7_bUYw89EIK+oM6$-cg=Qrq_G z&`l$-t=a5Lb7gjs&KC`rF70eE)y$Mt<#}5-TFM+m?bI}CR#82W%)?y&>w^}q9$9EH zyYB%uW_VKzz!m-B zCI`2(DNJkdCVgqLy@_COBO-2QtmW5^u7F5wfC7BmDC4z#rkgLUOp(1_PjRVN6btspOg3Nygv2tD`>2Rb^1 z*V(^^B*fe|!(9?PkU^G>wHlOD+Z>|*L3I4&nZqH@)T;$V5HP>9M0x<6r9KDirBP_p z@NAAh!9YyD=&SMcE$Z3QHDN?<-w&~9j2+Y&(OQjKCZGJ*QCbELU7Jb=!au4-q;19p)txHB8*@>y22(zI9ZsO=FFe#ZK zrp0TJd4nSzfO*?n=cm5*h%hFF2(}o&{bx$BuS%Hn=8j%)z4Ugrb_3O8bj)sBO$s8Q^&B zdcEI_H9u!u>0x97$VsWAC2##$zd3Vq<-HBl5XsRcQM(=M9PQMLT1}(6ZHj8#+^il< zJj!=o@tB|HFav@Wmt9fl4^#mB2|v1#hH4X|04#fd#4Y~qP4ziDFLAmhf^ba?~f6rw9p8EUupKb?9QPofp3EEK8u?QFl82~E$UqdthBlN$LhZq!$tyNs@ z7~~1r8UL2jcXn|lWMyOhJNj>%(Xz4sTX~x%EgP5hW|Yq@gCK{MoS$Ny1Rl&8_0^ni zHWW2x9EfTJKcduGQ$_Wn<&!_&d@vS6QmPiMjcH&64eM9=eCmKGseV|@GwpIN$ZCzD zeSr_4<*;dkEy%N+X6%NK^~MV48V?sRPI?Zdn5grV@Vbl(gWse0Wr9o6U{skXGxg;w zf~N>EjfK`_LX)EnvPs*am5|Wz9+~vxWF|-vaheyQ%%n+4%>+p!;!!qPU=%xhrpd15 zVfiNL8zZC-=PwqZO)~=Tr%;#}wdIW&+Cs(h-qxvEmvE(MGE12_5Bv$n#RWo15(;a! z6x}Uol!c7sF(i&PK?rw7qhzZBW*nB9$jjAz261i3a$wA5r_B>^M3~9g z?`I@PN5!9Jk}wjiB*Nr+aEWD~^nzC67eTy_fZL&YixBWKLpz60H9TGKpF#~8Ik6>JnRP&C_Cj<#qvFI= z8LkB+hnBu+@&hB6xC(_=#`b{}4g#{ORid1X_IA-5dR+n8HtzQYeMiUshURqj?uL{v z`k7_2ZhOZ~XSwDw`g*2uPpNTFzNQ^bH+6$TN&`EueLVSVC+&P~p>L+$3!UType+4Y zOwgDZw}Cb!_qND;;)Y;J=1A4C79}Gacyo!My7CHuw};^kfXl`3wB?&&rpPy`{x)E| z_-Amxljb!^YHIf?alp>*McTXj5A~}ZYq|!nF*>@>m>K(zVv5&e`YGFBtDs~3m^8!* zbbV8+3`|G{a;scgE9j@=zH{SI@>fEWyzAVE2-pn<@r7MKZrq>F?4#ngX+I?vgc23R zBm4Ybk)?n3_)pDo8m|=k3(!Hl649;n`3cY<@FVianTK?YS)4!ub87S_Tv-AU1LS2w zpL!O_LS0w&W7!2)EX6kbkaKAJqR25XnUt8C9n8FR!J& zk5~mvLdLN8r#@HLy$H0&6`7i>eJ19<(PlZ)(J_7CFb+^p$>DyY zIsnY{CIW`F-%>vchL#@rI133K;!x>8x8qRg!scDJl6+pw!feX}8t7lr^2%V5Wf<&a zR^F}bo9hfSf=@&fT(1OD9t7!#+r}J93;7Qb_3%)(Vj&JkxPIeTs>NJ*zcJCJM~*dB zIA>)S-P2Zd*yXy~Gx+m&U38-IP6uw*8pN89s=9{jIzY+5E`MrvH5xR`-Izq3lpT0( zm8y?*K>lK}lAedws zo_@y-W67s30m6BEGY$wd%!VilW_h&|;gg6va4d3gJDP-XzRtq*<+}nmKIt&NlTQL{`LT~x5+7Xp zeX^&H$0iPl+ob0YOzu4H+QO{|79<9+&+4$dfh)BOE0)v0?vBn5p2+DDd%(;68+=U& zL{W?2A)d)MsuCT9@#IJ{E&I_;LtYJ%|9ohI)?7`SII%PYWv%s2P2jm+bavVGTo3*w zB#WH1xUW9nYE0WAOcWej*7m4vHckx--OUUMPz&r{0Q`=tCTPSPOiQJ~cBkiKv~u`n z@D#sVTIh>=TFL}1Rqz_fBpYxHM-93z8v%Y?nnNBs`&>n}f{F>C)`5OYKW9O9ozz7k zEUghSFDz?^7|=%Nt<~*>n-^zNZ?R}t$)&Q%)Q;eRjOVFPS)*Q3s<&df$Fog`OITsTUh#5^~C|E1HVQ*Jr{at&y6PyhYi(f8g%DRbp{g*7vo({(QZL zDPW+hf1K<}eK6<7-bqjj9_7(Z_$oVH>fzNni6GIM9Kgkie?TCZxH1G36?J6@D#%OS zgKJy@sN$Ysl>hZ$j;5FDxaN@l!0RRAaMO*oB!N+P8Gl|=TF-Fv)y>Cu}MKRz$8%?5-` z|8pHg&UHZ?dbd1|gjDasgq|j0=$a6YRWYM4g~ta+>pf#2+ujSe6R!a>$5EY-v8xepY|c~N;q z$$4rt0O~E$E#|%BF?h%+$NoL&MB)w@WgZn)Eg@Bq5Id6|njS&|CW)VRl=5emhT8bJ zA<^8GkeXH-WmP;HI+3V?V^q8|4EBm_Do4 z<&wu?|L-Dp&iF-1IY@=5DN)N^e^2_2sIAO-eRj%foHj;PoZJ#uaRr~St0S}0`!i3j zHi3!_@8I5yxZbvFnCwj~&h6E~I%g!#s9vtOHuhQ7~8JU_GnVGVib1<7Rn=rGR znlPDiGMca%bFi_Q|IK3m|Gz?yLB-1342Fx9K|_b>Z)j${|4)$pH;$#78j}W5{4sQU zy=t1wUM{DdpMxsq}SMwMG3)5vQ|3c+WJ>HbE|lT*uP%Q~Q3Ci`(U=Lw2&p=2U^&+?x2igbijX zT{SNK_n#+6w`w)PW8uos>C$EXb_H!USIF9wxrrAE#2)kScmVnJe|>^3u13zTp3Y|G SFf1&Lj4Uu@WMT^9F#iWWe}BvX literal 0 HcmV?d00001 diff --git a/Automi e Linguaggi/2020-11-26_2 Inferenza ricorsiva e alberi sintattici.pdf b/Automi e Linguaggi/2020-11-26_2 Inferenza ricorsiva e alberi sintattici.pdf new file mode 100644 index 0000000000000000000000000000000000000000..59fcaa562951833d810cac458dc56e2157ff0c8d GIT binary patch literal 51212 zcma%?Q;aUm{-t}jt=+b5+qP}IZQJhNZQHhO+qP|UH|CpUk~wG2Ka+D)sjIrEN`C8E zE44@!M8s$r=~$sjkM6GDpcy#`7zpf)ETMUL=*29oolPC-#jFjTO+`$N?MzJRWlU|& zoXrWCnAzC*_@JGf9Zd~wpxrlywWMQ-+2MO`Ysa>5q{(8gd9kC0`I>je@9 z-Lqz93_(E0enyoLE)><)k8{8SL+5L#P(^)7_!W~<`O%vtK9nPahSv$aHTb?_ZM#Zm zZ_$5#p1ZuC&*B#rEj{Uj_{`k@EdJ_W zpm7T9K+pTkdakT+9bpF^7?7`i6s{1#uL)`r<5w_;b4_hwC7McS}`R@oUFD6dSivh^{E)d z!J`bu%#rNpg=kY@?v^Q03@G3U)MmQid(tZg6I6e?)fX;vl2i{BTS&B+Ksl?C zXUD)fb3TyZjCvO7O`uMka;VSkEhDgJ#gqpK&T@i{lFk)S46dy2*~wKRM2XE5WpiV5 zOwZ_c4<$m$OCPOKGP5|(#yB^f=;Wu9;%oIJF@e-Lt{QkBc&-lLS?%2OKgY0#dz? zXF)x{| z8EWi3klBmZqvSQM!Bs1U__m$4^rc^^@$`8~BDZ3(nQL(FjmyZ)=UV;x2|T$n5(a5NSSnAh(l5U)u&w4*5VuQIXBzWj_gNA-fuUP zD7NJl7^_Mb1avo(Wb}8RYz(jt4^OG}X)ah1^E5%*AON&(`eCsFR!Jlgh%B?|QmawZ zsVOz0Qo3Pxa$WV6he{TMN!1pmFqSgc??OqA{wwKake@3Y>|mKa6tpZiwS7!U0RIIE zLXW|}ci)T%^@E6{S*@l+t){`+(RBf)pRW!~(P()deZBYyBRt-Z?g}fsJp6b(3&SRQ z8~YH26VknLF3kOE?#Gj9Bny1rX%!Ng4wGWuzFDBErAE4!`yBVqVq2{IRgY#*lQf4| zNRKj)p3J*yA?NMs`G$L2bQ23HxauMOh)Gi;Tw}(YP-OGlmZ?gQO9}0jmSlX8auhF% zZpwGfaWzX|2nCV~u55X_Ds=KLyDTH2WJD7!= zN<~ipd^(`5%9+pMtRQHw15*oJLxw)^?4^!Yn}L!GnePnK5&)wtW~sa>6}fT zT>39STda^?bnlmRT9#agX`=$`-cMv^?&J#_X6|BKWM^}?M+?=Q4+PJ#4~@Li!{jR_ zZc13+-s_wnXn37s z{1-=91y2D_nfh9bc1W!2qvcc;FLw>WURnsll&lS!N5?6qCroz)3ZbZbZNJOy7DC_-x(B<@g8P z151}J*TGq4%m67CwO5Z&p!Y1H!Hk{LO0_;~W$$@`zI-tH`Km*;c%Z!L-9UlGcq762o}3dc$8BzOE1A}Zu~Z+|CRRkyVe&XxPSg@i)8)>>=| z)29v-9{s6F85P^wG>YBsFxCg`X7;i#TyhJW7Arj}<|IW}3EP_*t%wc0N`%)hmi)ww z7P2XCfH@sT>th#KRIksDlHA9^Sw2XASS}bL1x=zUyiY_??71g3PUmW71?M|MpAN2Z0Nbo7(d117Z(WJw6lL=&Impk8%jpE!fx&8 zFDo=RQp<(dgqLiQn^z{QJ+kfwZ*>Hv+b>M5ctt-?_WtyHW!?lh?bZMr3k}_>VRo&4 zN+jLY+al`LLa-_bh6qqSv9Gcn4)Fvoi8eVto(5^kGi*P($9N-7p96T4Y*wo?+vk_; zOd5I)0>^AXm_YYUR5#fa{CBIH36Q{Wf)@Nrp2ALxew^)}w{!d-2n7376=+jilmA0f z|Lp!Zdoi*7R}jX^$o8)gwv0V#OVWCuQ=7I$0xI12M#eKw*yp)VfIcXMNbn+9ea``Z z5G4Qpg@Ql4T34z~eJwU3wC1aV9{F5jG`-&ng2VA06od+4#pCpS_est7_Q#Ju_2=io z{p|wV189cl)!w}er;jN>U7Qe;!p)uM=W(e0E!@f7mqTjL-E1bS(y0xkYq5d{iLLAT z4fc-qb$=432kEK!cpu(SBv6_I1kGJ8Z6MbXN{Z&(!yooFr4*HAuakKnb}qR^0!|(U z(oIUDNFo@NX>bx+Z#>8w-2jdr#xgs+F}#*R=y=nErd&WR@BW{mzVe?n7Nt3=$M6@_vZ6~0F=A*U zj|%Uo&Y0VUo(gw!_HYa$fq0x0sH{Y6bUpV0!D2q(lDCgWiVh>YNoQ;kz`}(COF?skp}p9UfL)SKqt*;)wEoL zZSf?Bb$m*d@kG->fn!t9>FbC#6crcF;pOch$dxFxzdQz&ay)Ai1D{ib;zV~3vk9%n zt7yUTcg4sat01I5tfG0(CGz(dw3BJ9CJM%qd&N|w!XN%TaxxuN+BuH`cd1Es(2G#W*W z@{@B5ldZ#8mVOQlVrxt3-hpFZb!(Cw1qa)A9U8B3Qsu>n3y8+O1d!M=R++wUMa2*( zWEa79_*3n@gxjftNVMjjU{tYtp&Fzc*3rjpx4w#Bo&@_3tR3hFn`tsKSS;D{D973~ zVR$F#KCad31$e8aTH}QLB5RJ$PYIe9R9Q#42nkZIhNCzyjDjuc*9M^~=_!Uzae!GR zV>#WMd*6x0{d7H zBXaI|m8Z;F{-sEA3|j3{${lqG;P}%Eoq)4_HdQG zMC_}I9h9S5x9mhyAN*5fprl3EgkW++!_m65_MV<&zH-8ihEY@TnL_yyOItb2$|cCD z;uRGJO$kg{UbBEk{XCiB=m0@gP+giu8I{I*(pd{7C9Q3o)M3jMIOSBdsA&}(UI`L8 z{WgR1Hr3M&&|55K#GH|$F;J3m-bx5uwGqKC5qY3cnsR9vvl7qZ211iFHB?#qcKOPv z2~iP2bw`k!BZN7CIV-t)CoPS15Kl}Y_JyMJdpeGdEO6x7r!U7EEQG8 zI3zgW7wfK4r=)ywcz7Wdl=?$I{3Ee>0lCEC31vv%8F**nM5)CSaL9(q@|u$-TevPC zb^WCDAD<1$D-y17ZLnz8`QhI86W0=^wsqte-?rb6pe!nQYB#bUd{*A5Uajn}Bxf=RJP+6X<{3ctATeDW; zltSzeE)OaNs%PA5ggw&*H`&r*g(?lsEbV$<>ru>Sfj|6`%H83N56Ky=CMvg^*j6M% zF*|EztO0}7LdaG;2%XsSxn)dR%&(d%C$yOsKJv-T#M0DPa(2z*?Akd1Q3ui#1CrdW zhb$({NG-*!d2YqMuk3cgfcX%Kr7*&*F$>0B&nkKA6i{40Y1G_EC1Gn7?}~&>Rnpy^ zXFNdzWOBHJ2I^Ay6dy&r?-^7K7)f~J)1%Vt_c_%9Mcq5CNd}Zh-`Ad=sM1{Ogrza8 zznDJVy3fz8F*LSbUgJ?7(ssA59)HvKjkkV%>4Eud*}Y5H#h!#|o-HihlJ(Slohs3F^3CrEjJer^z@$q) z69|)f9TF7t9_UtjRKZFz7xGhHp21mNB)*&7`Qs_z3T z-b5;ea@MrKY||D4Aud+0yaeFMAGZpf5XW+%iyke?XggDOL31-XmQRtaRK}#g=s;$! zJ2EFVyIk~Hv`NW8bhOC(6s5(6Z}Tkz(d0KT*~KTfyJ=;P<$Ho|w?~@TY&Bw_Gb%(@ zI&^U~u7v^}R3C5O9pyz@*v5BB1}aN-*fVD|DTLMg2l{zwWY%^Tf=r0!9Est1>nR49{Qu8HpQthv|)v`)>;TYYG!BaUluqss^ zLT4rH!hWCPT{WQ8S=i^b8dJncv6im1Na}9nCFGA4p@uUJutr%QiVgQ9`a6^3;Yop!)}rU| zfhsjLSaH4I|0H-XpOxFZ5)1!I?9$>Usn1&CCtp-rkvVXc!9C0@pD$KdCq_JHe1DNk zr}_WR4K9826_pGf{pkl4Nl%gfMh1yDNr3mZD_JMiIbV*6N)Gq$my`5*CTYEeFnjiOA6p=V#?eeC1`%4)fC}?r` z*}(KjDvbr2=T)+xOMOqr2JnG`lC|c326sUsl+pGX0;-d&K3E`Iu+@o0i^;wOpFchC?FQioM4EZJ=YJqW&i{%GSy=xqp1anT zj>Tz3>N!<+w(VpHC5yDPY7hV(3-nHGgoIt=Gk0Z}nf#R{{q0-v20-xY@S-6FHqnSo zKL?;j4%gzDB$w)wF*q{k^$0d_PY-KJU$0pk_H{El=$zS~Rjb9>YE_;(4^A}k6|h60^D4s^2b5r7lvd(jGt2k#|De*c17 zI*@ewgipQuB4{pVN8H7VrMd6iH+44Ilr%;GF=o;xWNC=Emnq_F2wMD&Xys8pdoJHK zG|S+TN2E9e^Of*6IcGU@j83wT%pNBnb{B$Hs{}h%hHUn*^#4@Fm42 zD@M>=QV@^0rp)f^O`SfHB`h<2Ea9k)_^@kO`} zV39~Y4vh|K_kkBG)2C+xy>U@& zo_wetIa(?dRV5X=MSQqMp+Q+Aj76=VLYJS#d`v#BE-!IBsseZ1mK9O&@1p|>xd{1AZaruk_#;vyyc1f4HpB{G}7zUW>a3dz8SPbJZ zuJer422>!rJ$WFFLt!2EXVO!MX&jPPae507u=yuy)$fUCPcqkwOb~}!SHSsxF#Z`~ zf(xaLqiT;Za<&BZLwn^z5u_CHwEM5Z(gKo4VY@N1S)rQ-h{Xl_Ps`@mViBV(!IWvg03V#d&ZLEIm#wEYY+9@`8ELo_yBTvEbIr0!PD3Wdk z7tsyETA3BT=YU`;Wsb1Zg$DWCO5g^4niv{R2G7;7wTGuBfE;iybqFNzmN*{p;b3MF zb3b;`emMxboB-Q6tKIJ?8ZU#mr{YgWI*yRnB?+w|r_DuV)1$_j0m;oDWy1pSjnjEt>GK9*km5ox1WMWr4mXC&?QwMI zX-N=-jw{b(4uYjw$q6Ut<&<26v*N2?)R(lk4=h6Sd8C`syf^CYfb11eb|z;rkF##? z|1gCF7#;=7^IAUh|K^4NfsbeN3BJEor%Cg`B0St;>9FH8^rzaRR3ZUQJMs#Vqb35;S zyS2Ue3EP1y^a5IlaE*Urw|Cz2pT)x&VWPY$g@!i}Tj%b-cSYy8BawiTf`R{94-E4A zkQ4U6I2fopIEd73Q;_L{MSo}<9=7{sN}E?E4~h*j8oW1?2=hF$Z~GO6P+VB)j&9eL zrE2?e%JStA(J$aBE$}KsAdEe-I*JtwWUy#IV{gWyTZxtDu+L8RBIT7l8g-(dfp`3+ zu66gYoOjR{tSsxGmAe21Z21c1<5UQ(=HsGz23ge3u&`prRO#%>v0CBQ<3nTi$7vTx zx$VIj0?K8FVS;6M4oWhiVuM;gdwdzm3>}u1!Cr*s&7LP7n_A=390!8t2UZqkr^uX7B zov>uijKGSJGPA80oE)lfI>6UdAE82bS47j1+FcuFj0%$buAwv%!bWA28+*XhG65Hd z1{0a1T?x7dHn5oNcer!@;8>DAvs0A3+X`;H6ie~a#5P_>h0^s{ahF&vuWAP<4N|)W%`dV3dBWto`w9r&Em3?>PnmBSm z{|Lxk*6ppGmv@QwUGh=nRxOImn}MM`xH`bBu=Hx3Qwp2zwh`uaS%z$mTQ`pR^<;&? z-QL-}ymh_1v|n61nl*EMO9)L}W+8N0+vr@(g}u5ews|v+7OTIKh4p*8uJK9?=n%lF z!1l2bgk;C)*V$@URtoRsTH}RIqF&(ww69(hWR}Yw6)Q#0A{x&N-&qHI+tQNhf>O6$ zBG=5a1;iE?W&@`j8}aM{1x6)0bv^tsKyaByK--lMB@Opig}CRy=A{Tb`;?=Bm41%u zraR?{hWi}7Q_ezX>orH|xQ5+6lGpZrSt>Fu>IUQC4N<7kaUgLa+qrylW*op^ZU4#= zKI&eFVI9D&Hqjkful7VoCgo^Rd~4_x+jJ;LRokhgV-1d>%1};1-I99Nc~GN6af5f7 z5hiUJsJK*r$=$_YO6dsy^H5zS^ojQ%4%ZRPJf|G`sE_&&=>k){HP} zz5iJE%a@@qKI;ABsJ!aY|bs zX{SF0TsHG467*kxv-hpWQPmeVYzssJXsc4Vab_a%$J3YZ3=u&_`584Zs_v)W_piOI z+eT(P9l!2f-)_h`A^*w!jM}=fgH8Q+#o}Zr*tcx;b?xDM9q4u(ZFzL*#VJW!sQPAK zkZF8dKap|tNL%_tYec|AjxYF-b20JS%Vj@JW~iP;FIHRW6&SW5OK_YP@=YQv@JPHI zzgUo=m*PDpLGq0^HVjdwxFjB|lEs|E8!b4QO_vn7c-{%?o8giTw9K2Z6hD1mn}`d{ zMm9z68%9AyfAb-AT{_IkSR_OC+&U;sl}`~)8l-UC6%#&LLo(wJkOI#q=AYO%p#dZ# z^%=1|Wni5KP{|4zO6-&g(^=Lp{GK?Xfh~Z@ftU=nI!u4!Vj~T9U)%}FYa@;ZUfMKN z_@%$ip@KCJQy2d8Z3yWcV818h$@0+)!W#C&=qj5k;MbUI*b0HK2V1Lm zXd0PabFVDzCeag1CIMiR0yO{0COZsnt_iPu&r>eSM<;5`tzAs@TQEAWNCqb{;5P!o z`6Z?nuhD)Fh%Lfxwp-Bu?6o_MwQ~xoq!71NVhXxL|H#qO0qU4>J{-V_fa#&413lDh zb@*k5g$^5V(^Pn%ToA%z*3^faUM~avcQ`-9okHvEQ8e;*Y=nF`+DTO*@aw5Lo==5A zepHvfMv~J}eSH7@(b2}3{V679Q z;t(4GS|&^52sHaAD{Su`hzJi|Fpk)C5-K<_E31_32q;G4i3`C4{LW^fn0$ONM$ zvk6~azqHG+1Y$*sPNxy+L||8TxO^$-pSIVMjx_S1Ve zz#?AbbbxLgD#3BjkqCdv^NN6qsI#b(lhcRpS1B)01w&a!Q-GC!jyKsrInb;IC1x_c zlpL{qf)(kH6O2%Vo^2B_KxI;KPY9BxSh;h81WE-q{6dM3_tE}WTj%dM{8p?%~fcy%<7P2SJo46A?Gjbdq&K_^h_lPE|^4e4@ww#s% zre@bqCCk8l%fUN7U};VWE7c&9&^uN>9+V@kkOXR)D3!fssLkF~-!n7FQ@R(F2A=RID!#oR> zYui_g@__go@wrXZkd7W-?DzCgsZ-Wp8YlmuzLrkgzETOLMC!CNO|aaRetV?m#bvkW zdE#dNCC<>prQ)WBP{FOfLv0U&-W`3n1taa>0Kpgatxro=HJGei-SW<8CwtX@2DS%` zHDv|&OeyZ^c|6K4jd?vnCq5*9Kw7CB+Lrb-OD*GW;L=?W?{+L2V6To(S(K*!Z5(zk zLHPbX@gt})v$6k<$VvwRtk^wV1kj6nu93veZ(3+k(y~yd#LZ=u8k9L-%2(3DQS+=R z`R%@vta;N$;-!2`)zzK$;=x&`s+CL@p~b0*AKtPYX%*n)G-e%Bz1(A|Ez4qe$*UDl zKAE4FOg~+u=sq5-%KRq_KMzi&HZZB3|B&5A`J($|C;KdzXz>LwyGd<0V@ff08rTWd zQ6LepPZp}KM_YQGWhqeExpXtt`FG6oD3j@_C66iRm}D<#H^~B%?@cxx_nj|;Kp8hh z(#4v!5-Z97ld2R60RW_JpH|3n(vMB1^%#Frmrv-EwK5qb5&<7VwB)kq~ z^}42CyR4W%4D@pVu|vbL^n@%OBZtRnKZ26(Fw!nfwS?~(TM-T2ro0%bk8YW$+gV|jgy8$;gCLmk-*^@G5a`>Et< z>>~YGb$igx$_rB;%yj!~Ip(B)U!HUo=%^(XJ8o`(_Rd*Ed3=1nJEXT|&=SR+w*NBh zIeLDXZrrWi(e1_3(|MHoyM7z-(eZiw12OaUq17+}!z^;FJLV)0Bd!3NM1EY)k1_pu zo*OHSjU9$O_6;=F5vZfi15uZ}LJs#lY#Qsj&QQfe$>PjMXEn2AdPphkFy>B=zr55JuAc=V+lE zCVn>lH&!VBd&CI?jRS_N00f=lBnGsX!dZ}0vYN)I$W`)7z~xDNt1yllT^UgR=@n3# ze^RsrvDE?gXR!5fVGclv#=^LkNyEnv z{hGY1esnVq_`8WICJ8F=RSWx&4fuVEB`|^1r6n8(2;f2JM?+#PmR4Us@xaFvJ+Dqp z;Q5l+1$JWToX&)_&=42wF_W>3pWt4giYo%8MQG4|#`(M7eUnqDz#4yFL8)k-2_mM4P~OR;<=dWtNa_6QEJe^- zQ>k3K_eqO=@^+0OKAp+20Qw9Ye{wDw6EXzmZD-~7h$gp)f0~jKv_-;bZMBeItvWd0 z((9VL*JQIkb$^N;VXzqmLvu9IF+_2{HfBquw#eybiHU?OT*&PuXAFDcJIDK%9VEU&Sy z4$`C3gwDioXMn2l5mi#bmV&i>pab1QhDMGVL)BZd1?&(t`!mtO!wx{CdVB3GbmqFeK@O3jl2IgMy^cFp?!L%S0^;HRAWunq ztcbwNu{`}g87DEmF+3S)CXn7NZ;|-7$gq$$6(4T3+@3x>?+OUQ;_Ize8OLo47 zl3Ah(A=1xHfV+PpEk?Bxk~OF+CAQ8ebFwN zqSp7I-F_*g1@ z9L(uj6dc=iRCQ@7)2{gw)J<|ijyfpl(Czo(vF`7&gkjVX`&7RkITt{d8z z!~5=d6?iVpAX>?@F&Vw6Jg@`-hD6sYYnJTP8}ycyyXkjsbosu1fY&HRAO0>G=s7+m z51|4)^58W#g)S4TmdY%Z=}a?Ub~XjJL=Hy9b?m~Ut1z1MA!>D&*;rdFx08wQ^W=x* z?$gqTeVF77mF4T$L+}%#%SYk!5nJ)ox=T?b2l}R}5Xw_jt;JCDbnMQ_aI2Jx2sXIv zWYHoS2EsDU<+O3u#9A6H@9DI0SH&q#&3jHJwJTT#^|hAFJV8CW?R_y3PGwG%`bQSF zp2-@$t-wCOS>lLFgShjt3IV^oVWu}nqEWiFoyYvz+Ah5@evn>~lLVA7Mk*$?p`uW+ ztk{lBxzsFZWpWU>GH{-5d|pg*+T0-kCrF~qQ0k_D2%S^Q)iDSMaJ8Hz=3;_w{29)( zqDQj>;S`s*8HrbfKXEIO!^}KIVpqsKF03+k?@h;5&!-vA*D5fcK10Rb$sZ5;olNM! z)&QkAY7sCmRn4U3QEQQ;XDNcesAx4hlK!`$W8MT9#R@%@=2{`6lMJRVFDC4`g+VGT zaZ$B^Vw8tBqx}W$a>WbM0|Bk8P%d9DlcTwTqSC|6b?T~2jgj04gWF0q-3|9STOA@( z{lrF~@g$$SLm7Iwew%VpDwSg{79w>wHL;C_*Tq_kUz;ICfyccC)2#B1w~~i{ zP2H_=OXXCUm#_NSozK&=FE|x5++dcg?EW62{eEn4y6x8fkwu!*bRPaN_%F_n9*1(5 z)f!NqQA8@drf82;bL#LV{x?WkE^X3(5&{eJe?th249x#V2+iu9w$$v1*N><))kYSM zq4GMSqW)_F9eqL>M`$TNE{Q~bA;Qqr*Gk5JTvD`9Zad{4DX7P3OjwNX3wd(FtT@2_C+oYt4f|3bCEKqE-7$!)zh`(;( z_Y#F;*VnGIahJWwiNzXZBkXS6!1mSPfow>LeXAgQMJd#g{BFq9#@vEX?>24gUrr`% z=Vx|t+@uAxWUiF(M6^x635d)*vthYZWLC~>@$~NFs#N#%QR@phCCn`2{@@TW}ANk;)8#-voKsZe4k-Ipq9g#E~A_`+Z5N0oV2&0;KMhABaL6r;f^ zX05+QhEf@9$1MwzF5#M8#|*xiB2mI7O}EiTKwl!EItLm;4qS@PA?HWcSq+F^Nmr~p zzO+oFkP#ogDS`)d%KA=6i98u$#&ufg?J1nlKLXD|W5dAHn+aAD$o5g2V~|iI1g%MV z568eIRQMMKXc>Fw<}&P?UFNb4B>cK<_(e|J-fS+#E&h};_CV?A$hU|PQ-pT2&^WiLg+-8{ zhcOIjg}4}p6jk>$ejUlK_{H0jM@BbqG#^aMNn>IxuDT(_b?yBI;cqHgJ< zj3kl0YKMJ9gFnoV27{knw&ioPmkBcGoNzdz$Z{^BysJsA4znP_a9q8F(ZUDtAa73C z^cu#+!}byI%DTB#l?Zaz5KZU!DE1d0kvAOAY*%59v>O$-i}Gm&$6dP3>5hZjYlt$@ zhm0n>i+ttNYflcUmxxjjV;*gUwTUj>a4BQkw>&Zl%-W=Ibm!8T9-8__&hkx@RDRu7 z>7i=x@4c;5el3dXO#zQ2yV}zIgh4Qp)$<_-RuNG0g*uf7b;~O~j{f3rikp9PH>+d2 z*!=f8Bm<%{dV;b=v1r_%99~#ad%y4Ko2pY`{&SkJvHmyHgqiW*(nH;OZo41`M4-KF z{e4DNRYSaAM1)1bD9MCA@hayMSHz-JBTOb^y|uIGrf2?N>s#+GzM6Jc%d=B{?1knA z0NvW60E;e+Uss@~dLDvfCiEwpW6eh9&8MlIYP~HW3_q8D58b^zXxuuv_TJh!yVF~c@rh^3t38Go1RI%G^I)2=x3^n=WFV?vdvo3(HxMQ2*jY5fcU zSpv4Gp<8tX%#aI%C0l`IDrfeNv(Ra3D+WMFf4*Rtq&Qs;N?F;QjfFj$pr9`&+O@RA ztymCp=dm3va3N+GM@FTYMn)+)MQg{Xoh3)MNZnepT|{E$7&*nrk3h5InJ{? zNLn~0d2*1!na}*4{_ZfV%jtG{Wq12^ZHJGPoFEh~Qt7G^}ZI-Y^6>+A$LQw zP0I1ZnZ+O*!!I#>T)@FgS%WxwDdiZZt7`x04&Kv4MqpJ84VGS;vR>93550yM?m{G7ZL134AqUj1(k+7C{5lCNfFgYSdM#{P06a;+ZK za@01zLJes)Xp8rNRG?Np&DUVO37mhI-V8%>3^novZ9(>}HEp0%r`YJms_{|lW@TDY zfHu`wUV&i6yc$}b4b{ubyWBuL;X=Oh3kyS8@3~O$^3BeLxDDS4GtSpj8+ik>OKfuG zb*mz9X}K#cJRW!6`hZZ7S=bS0(wa2N5KW-~c&SXF5^HF>eZD{Q^Ah1Q%pnBL8q_SM zoJsxJtoa^T;r{wSWDzFCKzs6s?iu~b}SNL<(PfEudz-5znqfDAcUGsAh9UQ$uPf*-^PqP1@0etuHr zP|3@u5rno5AIyr1yn*qEYPB_#d2kn+$pS@>U9`L(eKDFjyZyZo9$;^RM({^c?H)1Dh|XgS_D{w4UG!*s)uDekgCr6pZkn_D)iu>8 z9X`$^4ywbo2Im^N{3m#XyRyigxrdQtD=jO>oFHz**xfysq8^G}+M{(5hUb7FFEz8z z&_zQX#z|TYdJ+iAiDa6Dh}!H31KxWNbZ6V)*XwvsqBj&A6&6iis|u$zjc`FrdzCL| zy+h|qRzEFM?6gh07ha*AMu{ptXc8&rsM?S3j0+0Woi&skzRJm*0tCDloQ5XMTHLh7 z{bW#|$J-3#Od{uBn>=9WuvGH|#=rSaEYMn5S9^69VC&g@>GflVde9PP{$jlEGNYR$ z+kFl@Y)Lt1wXypr8lUlLXG81ow8>bBkgJ()>(jx#MTLagll}YDs{`rnxyYPC+2Hytr#8bgpk))xGSa4rlGhaF4jU z*;3QhYR#6CXH`l}GoC=J5IW4^!SgofN82#Xe7n^Enku^9M;bU3U1q>P@`?{Ek0H_S3NTe+nbq_es1LU(of>I$CnS2Nx zgE22GXzN$*;JUWK1n=(ocBGNpp3HJv6ZnGIf5FMUHO-@P$_xj~e+A2Dgvpt^Idgo{ zK&{L$Md_uvnC;G@W>6SF;L;~O0YT)vT(&8lKm*Gs4GhP1r1>{%x~9@^(Mbe%k!XIW zdVns<3~Yn=yy?g!rTwkO=#8Y8a;O0{Gx~tYa&%cX-S^dMqq4}_6Ap$KhQK!3#K8lH z{ee(fph=IT@V<&de!nmp2hok`_U|%WP$n~{DJRS8AME5r7-&2&R{HVXc_+*3m9WjK z^2iA#n*J?XoVlxEwj-CuqMd*zzch-xuDEcWYQIS8Ky=vK)rhono~iGrspfUnyt6#? zrbj57Mzke7s7&6PZT=zNY`x^%0p&PX@Xu*hpbqFcgkgAY2&elxA^>-kI(s(9h#(Qe zRy!0d$w|#^*VrvtNPJ6PU$K{yP?+i4UjqnxDp>($bN2P#`pT6Zo#W5$Zr!CU1_xH3 z#~}8|KKJjbemxGZVR1xZx~{YuNH8UFJV05C%W`cmU_%E3WfVO$-$6^*E*?U1{QNQv zK|T15ze8*r(ATXrJB4#W8RqMP8N5F39We#5fXIooiV}C&3A%UStRODbj%er_P0Qs5u7xeBr2 zpR0OQCzO{{>?WsJ*aV0LLqh-2(Cr{Srp!Q6FNu!=XZ-! zoBt%i(=E>dwEZvm4aGksNE#YYF4Yapeln; zqUL7@KK+IL#NK^=2B6d?I~0lt=$5Mx&JSGX6=oOnmV_kD7X9-@o8J>N+spoJ?74gr zgWSUIp0C>VucKlJzqocYj7goHG&HgM)7{X?={SkF*ka&v|I~BV%XqR&u+p%va!pkQ zfYB1E?mV*DF;4UwQMIxjL9Uv9OuuX^gr4N;c%`#!IrAX!f69IjmmY5#lr~f#TR0Zy z(CvNoAD)iBJpIBtuhkMB{D3x$XlXM#Zdo7_I7aPe|W6uagMd|3t= zF15|>ck=$lyp}jIu?EYHH&IIsv19;?usAp9l~|p##-~V1!*z?_`}|AKPZ?)7{D;KF z4NNS&G6vw6sDq%@C_1Ro0*y`EY_di^E?>i$C7Z3UDjDdGMc2B>aKz^hD~|y0sYMt# zLM7HZMURBXhzW9(A@q^$*81${#UN(u@y+In4o4;2EZV9ov1}J)l=P*zj_SdU6C|Aa zv7*xiKY+^NS!3tD+f2vU_CvEj+t))~h zo0Cs?5#6q(=;@>GEy{o~qNWLe{l~X-{iS|MtEgbeQ;QCc!-7N(YqF3i(u?j^C^FIphyV2X z%Hw=8xV^IK;*N>vs5)j4c4muU=MZL>Ftk^S+=rxn2_kU-HrjhUdC!cMNi5@F{F)I9 zK6|`$=R=DfK1W_G-E5A~7cfAls;Lx{VC$vJbjfh2GA$*TgcNYD4_>rZTkD2eJ_w5R z!3Y4v@m|@A9uiL%JR`(VnB|eo^6KJ<9Z2mJVTuo$#F7-UgjH2I1}c3{@`lB<9PUn8 zC$nsqa*ijchn2IU-Gc0Jdqch%IB0oVM<4EJ9PrOvzc0m?1WX?&U^?0oly2#A^k5jP zKRkHWZ|MaM{Y5Y@)=lN_?H~yJ{?99AXZXKX@V~YpjO_nj>laP(Qc+e%8@VMtI-#N` z-9ZxfvIA_yXrO|?3oFt9S2w9f1XgQ_L?J@P0)-kt#uAQE*P-VV$O|S&EU_u%0T)D> z-w$(KL|xCJg-VI5hoF@-HefoiC|H>0)LWVCe1H31n(#Tc_tHpIFOiH;DVZ8V zS4)+vnTHUFqNSr{mMvYF=KP|nX7gDLh2zSekqqj*gK(32xc0zvKE70HpB{P221?WO)Cok0XUjc#s z1_dK#Z)(cNqv{h;PtAx}2fl;f4lnkq7v@6?z_%_Rq*JeRhwR+;>qI-NkWyxS{n?@r zm)MDvfsMk7`=@RQFK*k@3gb^lM@xIs2Wd+CfzMOBAMKy)4{~^a=?>-kdVL#FXbl#5@vdW=p4e)F$S^d#SA{Th9CJg!$tU@0G1aaSkJ#JjpyKc`FeFqkqJ34fq4Jb|KA;|&;GWC)i$yr{C|3+S4Gyc8$W2z~y zD6_{YvBt-|bh;;?Gr}jPAG8j-&1VVxuoOG@MkOiMJV>CLi_+ zTx-SWUS_aNj%SsThhvOx)45$FC*^Dj1s(M?IhB9kU7iDZPT@VM5DRm?_d;jY42#=h z(*pVxzLmAg<_USN<}Okj(`H6mYz7+9_Z5vW;c{5maD^Sm#yZ1W-XVwXgC{|H#IBnn!6*;Gg||5PS%k^EK6r1Y!$Zw3zS9I1G3rOr{_4Yq)lE3bt%d5JS+>KlnjLpGnw!$y5uUu8n9>`RJf-Vq8WpL^RnfJ32b3n@3QmQCd3u z#p%nm$fVbZnwhq+hAM$2p=kz_5&{o#om^3IavSrkyj&z#fFDB=!vT;!HT57$l~f;A z2XzLg#SUOPtl(R~$BP;1Q~q># zM(X>~<@&h4`6;jl9sv!dDzCD2g0G!cCz$J@V4CIiOjQZHsbiAnv_!p-#O%o5L67XjO_ddrr} z`SvH&Qjm%hQMJw8*@nlg7C5Hi@9#5>`}qYrTIY=Y;v3HiI-jKRNnhE+uQT1MR2AL= zjKU>lbqcQ%9RppjpxML9yxqpbA4F5NF{s#>lj=!fP zvAq`k^w7cAK9D$EL!p;-1%B{m@rj2s&eWGfze_8f{013hJWkf99VFnmR=nbT!*m^# zl#GqrAo5(SD^}Q?Uhwj?+1DtuL0CW0tn-E?X$O1Q7?J0?*bh@$>g6;V4x1? z!KS_$T+%(6k?v4W3vn@cDg+G8vO;PbPK_{5IgT`~XXMU)ZvkgZ%2d9YXC%{hDoMm1 zP{;eL6~wW_Xd%)W&)g&)A4}`CK4A}Mamca`j82f;hBJ>so$fmwCAjfehU;A%{i2>@ zylz)QJN}5#-`DqMHaETbqHw8ELYczD#tuOF2bllDef|3sh3W59m~@=C6p}0Y@U@w_ zEPqDCV%~aVm(`h*TI_&c$^^VT*@RRiCwxOfeq|v|f*=Lmp;c~!_nU;S8v^y27Zztx z=6K{z5=Un0yw&#v-%%5K{NMo1D&Dvc7?@4>oOJT|r_b}ob?foFd)ISJpqy9?acXC= z+qYk)=Q2uiVt2QEte2vhTa)cubm{)-2Bg2HxI_6|%QEl=BEjbg&hEClc{L)iyOF-b zW+#4Y*CV1%*z#>0?<-@hc-(z*g+}p;M$`2;7hHn0$xwmy+-ago)SMBchLlF*5cji^ zrXn92{bOVnLrOY~M!tZ#+;U0+C5~a0>DdHbUaN4Bfnt?ltg4k&&D7u>OIhPx6bMNA z^7uV+IN&QQPm%%!%pD{3kls)1h4JwyN*cqav1Me7iKAc|ELJt@B(1_Oie)neTkUoo zo7ps$yG|)2LkoS2LlThy^{*<0=@CVjgQ6yb{H|OKS3)|bB}P&p8x3OoBqYl)?!35? ze%7Zr+BsmI6wI$s>*DcbuQ$ZRhgH}N>)MgnwDBS^f8{* zl+>N|kXFcDeh50DM}YL@Cr^9dURGXTZScLn&e)BdKfZeD+!zww9NxBiDKszdTf^Lr zBbNKpd`Coic4YEDuKY^$yA=5vAh0;9Euj&20HiXKJuE|PIW}77^CjHj?bn8j=I6Ev zVqKNWEy1JtxmRq)Aty%Q;nQ;*_ColD;=_M&y!Lw934jzuPyts%zT(9z|I<9smAD1u&xN6=5CS2@Ej4@E~^2T)BY#Onuaz z=AaxD=c0U+pFNvrM%I?jiJu`ssK?c#j_NSw2Q@AL%b;qg07TpQ1j;AR6Qo=%{eTht zVCmKz|6s~xFqOYFZn0b@dKE{ovms4>a0$c5eCe&FUBp|m1k;$gsG`#22RB3srt7_t zt3MIsvfodZT@|-H(4jeRl-^o{~dA;B3%{-wexd}M-3gV9auYQy$az6Z4an*KnzlZa1DanPzHk!mnxOF z{DVo|5yk=q#M6G-S8ImP2ZQbe&MC$fL~Ts}+GPrxdg9M@Q;Winr&LVSIXhEWtlHrd z0B~U-c}gtp7dU1n0{--(GF_?BdaqiPid*)`$eC5?;^J_b@E2nShD?GD?CG@S{ zF)1TrMx^2Tx*Hxm9*qY$#Fz@be{jVAYU_ZJiTQ8kx16-)pLo~#u6nW}ADoFQ0!JXH zAP98HdUgOt+=K`nVU2wp9Haph<7dSk!S2(+IYv`or!?W11%vLQm>xDe`2qc zW&{=^@j@f1Bb7GK|Bdv7DnBHkrZl9U+mg~ZC zR3nMaJ?=UC`STMu&B3|QEbVEfMgMW^v78SwTCI7cl}?H{$(J_r+8)V7q0h5{e*CB2 zPygm~>hL@rcg|P4vUs8SjEwVN=Qwm@iA4z6v1G} zv@JLX<(SBA$3pH3Nn7QZ4<#z|JWdiDCXG|af#g$8&o!s2imlM~0+^Lk_Pr&=! zzR_`cf3X~8hu<)C1l6i@T{ewTd4Hnq$Oe-6+9kUoM#H=7J%n{8vd}CwWl8H9rQ7OO z^Ff{5rpDk?OsHduY>XoB{WN(&ukQs0B^Dc;d|_gXV&~&=jc3?z-=H4>6jlkv;hX=x zF+{lWbfy60eN3|T)(n0<9G&vM8GDU1Z44nl2UAm^;f#w@U0siNcpj(tz=d3wjGz|j zjThY&(|2_mWn8{5X-NKMdNMM%=wnhC0MG;tk@lWwCC8*qU><(w?& zu&qT~T?58eBR*MwilyJCp&Yqv1tMf+opykecncFA;^IZB2vcHiWmAv!_=2!`i_$CZ zruHXnz-lgaHZg83vY@UmK_ol$UEIt^oyzG=ig%My*v?RgGZ7du(xwjIFjX2olY)+P zcdg-k3Am#mpJMEC);t8bC+wF#&AR0(84CyV$J1LoJCO1tl#-b5kakU&IW$Vw!xS8amKzjNVqsc1EtUS>6tm+G4M+5bC`T`Hux9 z&yqrA)!3}mjCzutENsb|;}s@unEV{o0qr)3u1STmSz)=}=F{fcC(yS8CankIK=ltU zpnfnLyl$_8cdcRNl3>MG=Q1_LEX=ytCY#}1p-E$FzQHUQdqTrs>SR{n3*i8dBv*1idzry?rmNKQil21V!a*sP*uj)4KjMksa(ttyQ zs&VQ$ce3TQj0b`AoL7{?KEWjigp(uy2?p4}3}mu{s~nypforz)FMOWXz88l#aT?!m z3T+T@d%qdcuxy?Bc^)46b-q`jl6@uw1%ujjR1;N<+7M-nti{wJ&k^i<^A=Nv6tm%? zYweUbQ;1bBAx)Kfp8_eD=m+GK5jZuWW*mv7vanL9cNa)m&8xEaJxB zq@R8RRANa%{DZ6f%P_=$sHB+xTV(0A2&9MaJf=EoDMWULl7u3xXcI)WlHC0Kl@iG+ z7Z1PR+ii!i8_GeLmE29LH`A=jK>+0OOxPT0) zpW)#R+A2mdE5zKjt8QC4MK$!X7d*r#`H65?H;K3mXxh)NQ6xg_o`xF3CM_Tr=IdL% zF3fj>XCm(7@jSu&7(IL#JpPLgt4la46K6s2Le!#5?fi3KbD*F%LFq*;dzMsc@E)w* z!v5$VfcuNi!@rI(>@0uBG1l5j!x?$#yLsoSx&KX~VpiKGGIiaGGXt+_>L(M!5DO#Q z(Oeb5Dtc$r1mNZ2T#`bMrj9KfV30QLOe2+2PnX`hk@mSxt@mdmnv=)p?k85CfGEq;^X6kL*g$NnzNmb+2F^l}dS1G)ktunX+1#--$>#-&bX z=klOhTbsH?u{+wMf#i4>sYSKQx*$&7T;!ltoxBIqy0oUWRpn{!@AXO4G-r7(IG1{> zYd;=OP*Bh`X%*4>%u^3zRU{TY{dNkV%bZl7ws?l@Y2Udk80zisbv6eHPL?W0uJ}vd71d>Oby<^S$ZSn%y<;1fN z&y34@j*2OJ*W8!c2Wa(8d)eGS)QwO-0Uk8ZV(r4?sx2A`CDDr^z#NzteqSwJHiseT z#XX4xW{QlAkx5XToJ6vTuNAi{yy-4?m&sR)cXO$PyJ*}la;o2nniTo=X8|)1J5}HX z=8gzY1`6BAa!Z}lX|k4jo+`xY{k82!S&YhZ`ob)nK_fv1c=mm){z+KP$E{s{{IN)H z5RW>1HNRb8AovY|>f@@XE?aO20eHR}`FScaRZLohY0%+b_UU2c&ZGc6Ke!+_+U*@K z_-;N`aW{T)E_-@vh7R^OZNA<%Q=wcne)hHOIK{pfCYubhHqrkB3bjPisoG z(!j*p1%gyi7HshLp&!(fn2$7F`9PM%M{BuI=u4aX^bTZx!_VFDvZ#aQ zNV>E@w7(f-U|IwNzUn)CU(8nSZJb?c2JwOPCuH834uB5^3ed46l@S$Na(yM1AWj<= zxEc#RG*%>*sGhaucv6%WMU~f&&U{x?ewQoFU6OqP*;sgq|IeGs{uiRM!mmD2@!zc}bREWu1+;Ok5!^<}Q;unJ?p0oEYL!8KZYZU_$X%)Dn@mKzOhU)qlk zVVOqs95xjs85`1|nO!~Vai|%Qph^k#s5vGbyu$AUB0w~}$@{OZcF1)ua!Jsh?qxs491s`JOHQxQ6*O~VL$DR?GggAji%+`WW02kx`?XCT5$HvV1x7^v#NKap1&&cTD@xcx%)M?J; z3Fddh4~UhculrbG z$X{a4_`NOap?)Z4d18j^3j=#`3waZJ7aId{&_FT zl8!haL_k22Aj4WYa|Z+5Ai6nwN;$CjWTFJ@d>l-T1quTFr1=E}JrcUz9UWS949#kE z-Q=4xilVvP^~6F1>DoBAxDWX`t|S8LYQwKo-2C*@~( zAK6ZB$4#e`x;QmEOR6j{DUZ3TN?B(wI?$Th_h;R0XXqnN;-E-R;zU*AL~TlACo-Lz zj7wi#UFtACbG=)KrEM2g96F|%Or$UwcWFH@JS}R^uP?h;U8oKBs&>2-e*!jbJIt>h zwxkr7ejV>-4D>Jd_jkryl08qga&z-fynp6`|L`}jPW=Zv`AY!&e_tym#=rMq<9fsY zP{P62ygz?yC*{>vZu)~)R^d0S7dD0P6pfxhvOvhgdB00D&h>*Lz8qzbN|_)YDa()A z5brk2cLc{WXCi}wvS7d-z*>_5VIs}m+LQX;Wu4+r$V&Ov;)=O_ap0Wozu!8^^Tadj z=;UPLPEgw}$B_#22W%}DgCb6Ap*%XG=T;l#i=}}E2C`OQiQE%MbjrE9IX2ZJ=y9&b z4boJ17G^d0@WVL}%f}dhafTn-ljzMv2I$uX;YVGJiD|4Qg5VGGZ7v=4U%`AE54Fw* zI7jEPOmZJ)Ar_!F8U-m4R`OI5$=drN=Qjzx@sGtq7RbtCg)0&2Z$RE#(+99{O3?Sa z6v23qim9zaHqsoeU&XqV{Okg_m(-@(fYv2Ch-YZZ^_lTesw&S6T-KeDXeaOf{sC^E zLHR!qf#YBKHYSe0&lAT>TL$p|IfSopo~DGn_A?tO0Wqn<+-+&WX%Vtgc-7Sup)YUe zZF4vjgeI)^yB2|Dw;~A=7=k`Z5y_rg}fpjEw#Ey@=^KXzPSJV7CRq-$m<0wgfRnoz0r17CxO$TOAXYhQ zeM$bvR#KR(FpM<}o1Wq7LG@VhreGwoWR1Y~U7qmAhHXHH_$s?CBqzO!kSN-}au5w^ zDURYqat7k{1wlbjqQ;;}OL7h9nWDa+-{w!~Ot2^;IA9YoCMIe~i;UEe;^{|hj_|L< zzMtqmw^d@LJ{)dPr7Rg~p0{mOO^=6+@7a2)ZyW5R3cDreTtATyxACm&W?%o|O#c=_? zb=1q)N^wdRRekyES*tR}g_G^uqC4<@nS)zgAq!*-$UG(nA7G78!9S)rEQYK(M?2@$ zBnQx)qC^;13^E2#K(>k>(;d?YUc5n&_^?tyDc%bc{*{=}nY;kP>xv)S-4dRI$loLU zw?c^}p+XMji8dPk1Fif|0fA(EaOO!k4oa)xrHJ(%sSw} zB4=hCn$c_r4wL1!y7S@9-0Xsj`f?Oz)<@fpvqws*ym$jG+rj;l@%$xv{|B%9-|D$J zS<3)=bkLjjY{KE+@*m4-Fv4ce{xemY)^zQwFKZAiv1V|ePxIWlArO#!lko>p)#<3} z1naS_x*B0|B1;W*OUxzhr~|Z4)`k0E6*hxr##wpg9>dbl%HQhF0~^`>uC?pkS5Kmg z%5%?2n$G3P$BI{?6-A&zve8*;dfG;ZhUleKM)_*kT#>EA=12Mqa7`-@PYshL4xEVDkAznDhXhJ#!TAhCz>J~#Y}bzAv6SSN^yz==UZuVdJwEy?vF#cT{P+M;N4{ZtGasFqD zO2Pkgm4MPO!@UV1YOyEIWMCl|) zUIX#T1m922u$)e&!~8sjgsxYDgz@N!ji3$MF&xHvJ1=9;!c%IG!(fviH4XU=r`4N;{tvkStKB6=mcL1! zYs=OCv0mhjM-*Er@?Mv;B8)%Q3oM-8FmO8~pOl3oKnGh!dDyx5FNVy(RP|r2LpCTl*OZM@ z+LX8=i|3*i;h(=iDi z6(*@HiG$6Eos?GtB*6vm1#O{hKDwx^ z6i%E{L$=ZA%|;nUcy_Cea|8G}ocS_slMp23fM9O2AM*7Y(^Ir|>`4vd$yU29sO(rnvy3c+qx;T~Bj?VL{t_RazN<=~J-(@r7t76w zIK%4dzz1jjjj(0O4O| zQU6bYDkLr}Vr%2{Uu#_S|8b3rp8aooy4EV5N=T}>S^RP0EYeg$6(&w5ZRa*WLA;t4 zAI+e`X#jB%o_C{`w48$w9=NLp-(-L0wI7^d+`up5P z6Yu0|?Qx@boTD9yr+Cw`={cIq@oMAMr~BP|`#LKdI9`GwOqkJovuGp+2EmbtFyA>9 zV#7bkZ`MjeM#O*Xok1#vU;=LPawLcV0~xkG`o78)m;V7^t)Q>`H{2WgEHne@xZ9IbZrm)mDdf3OtmN^tr$lA6xFF-DOi%Lx8E#ss1>IMxh08vH^HE;(aKWLrZSH+!VKB~mqkTjDs9QI;z*v{5VQQyh?)G$C-!8R7u#C-qa3qTC0AR2P7p5Tff9RD5c=1iTtw z0bgg?bZ)d9(m?^ z!22TJK^%56pu|48UHx0X{EDmT%@l+Nsn6iGR{4M+~@!AHMSMQ9J=j6G!`$#$OY zgTkIQ!3goS&v9aks1`!YffL%s&V_Z8-b{lzPE+>Qg|gboW~&Rc_eBsVasBt+O8 zHX*Vi@bcd7oOQJC$Iqxm1#R3ql zBWH&LZeaN1i?zuih8^x9lC8JqvGNyV~JH%66z7sLyJ`KU0@X79#SQ=#xkM@!~?rOO!M1uEUYM7 zznvdzbqQu{gHSaOA^JX``bP~G{VC{ep`Gx+N&%SlA#-F89$@n=`r@c{r3}$=4PKhW z$=$Jo!G&{Q^{eG8L~En!1NQd&T4D9vFZq{l+eh8@C3vi#xp}&4C3VbD`lRCP@K#uN zC{6u17A3H5zmdf_uC=S{zEhwM?dDb#Pedy#93m|hlZeev4 zV+hsBGe-#WXyt!g`9vgT+3jnTlO!;P5o8kOZGDt98@VIlTJX4q2eZieA#G+BPjI4n z`-8OVryb(IdvQ08`z)=<`e=XWgo%{)89eS)TFxp#isx!y0Xs`4D*cqkG9!k_w$0_^ zcQi+-i%{5pz`m9E+~4WiHS7=M^CEyhYod1jc-OMq!Y#vo8-u_#_Yv1{%{Iea&QxvP z6)qK*2@FYCbeXXO;5~Z%+5*5LuP%^yy4;8_+|4)=ii&!ql}J4IPuIk41I6@37sm#m z@i7(IIg8CC8bGXv2ijk>^O$kHrrD?!G|kmwuL!nv_n;8;b9PE$!eJ&D3|EU0L+Z&e zoVMigSebgR$)-c4VSp)>M|BV~KJX52c|=Iy_JS^+lcZXx#ixxfY&ubdj2j7^_$o4J zYgwFg)@0hay}0)7V4ak~ne&&v&7-*LNsi8md_MPZvPI^Wz$B3f0&mgEBx*)Y7*KPe z442FoAPpltq&;3ducU$8D|CZm_~e;phR^nuWiB?DydbGP?)@rKd1r9V5>nLy9jjbG z`@I#xHuBC>?!UeLVgI0kIhd=JDiE`?XAG7W#2-IE^6~=7q#uY5IT``glru`~p$O}) zA6`*}xcTw?=mA7U8&WX7~0r;0okmo0|J2-qeM5clS7;^pZt z6XVP`q?$Qul|oq^VI9g;TpwVGJG1-jo*C;&@R#vis)fn^?B;ADSvd4$_LDcW8m}mk zLu-~TRIx+b!C-**%w~79yK!qo!Am*U8~*r=G~%dPitQg`qaOuW@i-_=W#QpxW02{? zRZ6Vwm{yC*@77IYXA+0$eKy~>t_$BF#)hX`|1d1o-CE0+tn3km1vU#KZ4vt4LGl3z;G!Y}#DanoiVdmKDOg{YHZ{VXUtZQu&*M&6 zm|vDI^4vI1wfW|pHyvkHdD^NlrY64Le|k=TJvDa=i@3YVF{Vy<3aK3=HDVpxY&0x( zEXQ#B3iLoaDm1*0VVbuw1C_dk6%z}P+V2x*YNhS@sg@mFmvDb8=fBKc&<(s8i%_W@j^1*)IqmJiKip;l}DLP1aNgVn2?Ccb) zq&*vJ>>2JWI6?UbpiMdA2{};#I-kRMB2Jzz4Y*|zaA-91$~9BSHLqsK@J209vXY%g z7O@K{L{4GnN6=d@7ivhOmeVd7$ZVQsB9%mhMl_$zO(qHBxHqT7Nr9GAXe6g$Ti2Z^ z>`Aq;&;^Q~2u_Ytv_;)|N{y<-)8g|N*QZIfwIn2XM+EpQC>R1wCavV4*9~DNFgJ~0 z9(?KWpWLSt0kT$Uwt6_eob@C`B5Oyk=0&g;qVL65_`xSyHLQjv`=P{E!eEUW`~GY(du;T_=aJAb>$u zY-GdCH)e~?ai0S#*UuPnacm#E-*&)sD0;AS+aVePrm`@H+7{Y1WR?Om@jOO;$Z^>7 zQn*hS^({LMKRr$MBI~C5SaDWhVP^0;K(`2SCPXCmNsCCJmf%u29{koZ=nh?lt3V}l zwEkOzBchU?Nw=qvDEbZ#KfTpWqqY#d&>_`h&F4t^U`OK`U$Y*cv6NKF5Ou69W>aSi zZc8yYwks?E1;9vq82{{u^DEej2G9o#lH~;-WL)%DZw7x;Po=Ko1zhQ~u0m zju}@3>@}*eq)Q!2e4;13xki@#iCW9(WW>tak=cdqAbX;0w>+a*9>}$Q8JX}x{|2zb zjx7l+fbp|4TGv^doup>nFy>3NE82!TI1LyZVxI*df)PoVk(2Hdq~z&3`p%*wr-y># z9WmoZFnc)wOb&=rh0GgN1!e;L1$266)l;8~5itr-OaJDM2$JVsg(MtR#K(z&3{!@A zAzQ)bygkV?3+QY2c!x|+xzq%0%_3?yKhEWV#KF>_iWvtvCr;nHI-}ELZm`!VaMjtr z?J@>D>{L%Wz)AiI^+l|Z_Eiqo$V>(~!Q}WbcLNc3nk$ke_P+HIN_GnxZLbZf8ld{K z>uT!o{9{w|xxCuWRX-1)+5!o7y?(!wVS9fDbz$ ziXLnl04op>$l?Zhp`|=W(xXFi35HS)D9eH3_eR#5R)T9z!GRn>c5Jt;HGGIS{6xE3 zJ~D2|FqQ2JqI9wO|%sNe&fD5&>?0yqo;Jr=2e|F7a?i<_5=krtef zsg_2FdyWe_7=OOc#rNCTW8je5U6P8~->BBvC3_OGOt4cOg*Y8lC_)|jVMNbNZsMx%)(Kaxny9np*ab( z0A)FPG{$?Gz~lft8B!!J6wqR!V3Si!QS2;V>n5WP>USgVR6*TfPJV4@`Dv`(U0-!j zw?OX>H^*FNKlSUVJuA{r1ht~!Wx@OFrGerVU3M1oL}`!x4z8Cbd@g}3*P%vPkQA4J zeO6>mn-@eo(NgR}_fUYGj|6>rRQuJi3Bb%bEYKoNuxGy0GUVlI^&DOctctzLlN|j6 zY@$G4e;ktg)>we2&hH0Ygr4&l|Lu;Y+*sk@+%`*RZIyDbnoXa?mTl`75jS?3>BXe$ zELFxnZe1qoK(QXW8G`IfnEQ=PXZ?_lLHSPoJ*;V=`LmNzmibv(drvt8BTt!vO=SsS zs+Pqg>Zczr@@L_pl%#ko$$W4f+^w74fqM|{ls@M82@-cg zy-efby=UJ<<;;CKZ@&h=wl5_V^1fAdyWYjMeXCmd8P8w8ZP)PTp`X(Xd;{rsdODMMXnJJ2acunPPW5It&)UP5)rwl0Q-8 z_Kfs^>~uXv^tdjsmOGIF;1(e@-`i{2DdldbM3ar`-10srEkpWMbls7SBu>rGqcEAF`lep0iv@D@#MGo0Yz)HYE!#S^m zebxKO($5=2a0cQ$P+k9OGC<()Q;5)&6L~IJ3|mc*OeSoMBC997Ob|&h05bHj!Rle7#D% zmXI7we=+>ZDd1Ys2KLSovH0Gr+GXV6PM!-<{+uj~(5`SElS{RDw_o3TJ!x$)8yh3i z^5%jNk@>4oZll$0ET|VD1)@3_SarGZvUdC~*JqQC(xsAa8*iReU&-gfJevq#q+Qy= zf22TqYe%|Ry26JmH;|jDv+$yhs=r;CU4OkPepfn1EfsdxV_`6A6i?8YH|7vdLYlzX z3GnT_y3Hyw)w20`;r}@5&#U(NL5Evj#xjl1D9XHo)%zkF2F>Pldz?<2h1|N_{*)>U zUTh$5l#mqqONn%g5YrAG*?}Sx-Z`q)~J9(5&j(2O0PH{NY^7V#$eu|>! zc20QOp?b&mI*hr^En>^%;p8M3HFF|;d|+Sq4C{Q2o^8TU^tss~lS8zuS2AGsj;$8v z!NRj(7n7hahRDr+%_jLGlh>K9sn1NTfgidDbG)x-Y!oq7k&L(x#PZGQfmmZrnSF9e zuXtz0ZlOs&`jyjKx1H(}$L2Dm+96lDA$RXJiE_EFn=cZhTG6!fnlWc6jEN<$UVlR} z|BJF7%Id_9RaYq^U01E5f^Ar7z`?VYuWw7X=V0MUFt=t=U2ZCq&uhzIh8HbzuF19n zkNLhBQbMA>g;^LV528t;&&QPyILy$h&NpGJa2Z9*UN0s zIo|D=(6Q$)uIfuvT%_^ro7Zsi57ZMN6O>P>?Micj^}vWZ^E9g zhtkw~(J?iHbWhmq`|Rs>r5x3cq9ohrZBdjh)$%7>ojkA36nY;N^v@hItr+8 zd7oI;a=^^J>X{us6Ol_n-V_N<)g=s)P-W*!>pv7vNUZ67GDciHjKH%lJ}BiueD?<0 z0yy_Bs?<4>@v=TH81a zLC9~I`=+qf$xH31WG(S1@xzb8`_IFujh-N5s$?ro^93k3IvLdi9FZm|>!b(h`v?rI z#Vy@K;yxO(ZZ!tDVCTIVU5uto^)}1dtnwb$`z+pIblA>Rx z^OFO(lU&vf5N{aTiAslTXNey0O46mfHvxwuP0>e9T}95CW&ssPBfMD;5>rIAu!5i* zF+aw;njclLXT&gkV(jjNw5kX-larJ?Fdojnld!QY_(4EXeQ;C);6qQ%KCiCg4(7L- z;{u5^ei=p3Na5uT;-B~IV;Af$20`X$NM|AMcszre2;huwUhte~b&Bj}w^f+6e{ej* zM6HXW5AJFijV~9eBD{$qoiI$|p+2f!{~DA1h}VS0e*;)QaGA(ez<)JYEYV{_)!%-H zChw_#^O8oBu-%WpbEtT4yf{cvu_T+`a_O4e@U~vYst+wrLyIPZtoL!Y@0Q^wH0ZBM zGcP3%L%P}Y#faV(j8Y5^CV8y^X2Cq>D*zU`{HoWl8z?oI#OJflcK-IX8#|Y)L{nIitRA<30B@NBOPv0S@qM@Q{OvWv*Xf0Q09iv;sZB$iGS}h+_Mk-`0hR$62 zK$}jyhyJH>^$FUo?eF5jlM8XUtrW96;ulU$B&X|P{V)vgTK%v|G)Jx z3p>N#B-=XG-L;Th*RtW`!oo|SZ&PZSX4jV9o0iIyJIaz5CO>$ z(8&ZyP=Y!3*|ZD5v@_a|cZGzEgLP{zSo~uOo*l8jO@G-<8@Ie{&y>>=VcULO+<^*k zA|Uofp$pp$fbWUsY3@Cwx4Q!m0+%EMm*(&H@5PfwXS3U%eWa`uwA94RxGf%pAr(hD zW1E&7MXAy}!bOIPF9-*ge&h!zNe-7MMXOeZiX(5sC`LtwseqISeG&yIGxU}@ThJ-{ zi{KQ?2Mr7o4_Jsqsa8V4%$FbfK^b296w)nUk`2vDwUyp_~uV zXfpclhBrbD58Fnlf(#Fo`Y+sm>Bpws((&jZAfX-NiHE`kqf2ziM3N4{8;02rxETO4 zq^1aVNK27z5tzVVBQk|?3~2pfE<`(IsY!YN>_Ae5E)HNC(A56EAznh#84xi*+7*34 z0uaVW5H1OmBa8$mBMcQI3=bvQ3$qr6lo!<^t`Vl-AbMRjZ&i{Cd`S_Xa4Hx`6-$Ug z3@BJ19Ut9uQs^*vfHw5T^CjIEgSO=^{jeVEZpXI$uWuXnmHAC z1|5bT5@HP2Dp(fGw^Rk)(+8rnl1XrSg*%8JNu+R((ts6p88!OJ1>-&{RmaO^Ocnyv z-YtCxxv^`GjVS)52cST=KMG_2gc(sfV|4Vp4IvJ z3)sx%4?{ZGfo?Xg^4GCkpAs7V+-GeL)`WNaEXtHXLF7t2-dl<*->+-jZ6j(|yCGel z@ryxy;-3kQlb(qDxh0uL*|fZnq`Yvkwc4^ez;el>Z>=Zeh0UA_McVlQ^*Ek~?AX7@ z`%p-6*}grfZO-R$qsAdQ2{o~L?i*R!(Qpg}JI!5KAZ2(Q@@fTb#_8Tv31o6mSJh`; zd8vSg|lot2fJt9h-zvR#L5_c=EEA2UHv*NXQp7j%@F!$3=i zZ`KtuH?_LS+Tz`cv0^$qEzxdPZMt6l7;SU86!c0CO#b2dJb)zTO?deR z&zV>Q%0v$_t>2zWSbo?%u?An&o(9cewr$7~>mQG80suv%kMg|4Prcd1XhejS-eU5Y zK9TNVE2Kk2c0qliqQRYq{o_N_oqC#)1kz<2y6j^{L99~djiU%{|fok-HWsRexm<26)W_*l5duAc5 zRrsCwjiHyI#gkgy&Zfo}~^!!3of5>sgdMrVhPgZw{M2czrf(yUM zdjzmanyU$V9TUt&=!`gd<|@3}HsbV89MQ{3X66xVRHfIIdoJ!DRHTvc(GRlue!$B_ z_%z2!J@6zl$^9i8)few6#X%_$h~>iBa_fuJwB}su?uZX$g?%O|g;q?JP^hXbOQ5B;NfvR>!f(YN9z*{rrpX-kNv+f`~fJl2OH&o^|aPm^(rW}FBO zf~R46go59DDyE9Nm&#UhUfSXu}4Yh9@IBpFm%{2loF z`e&-ItPt$Yd>v##RaHJ?NjpQ2P}@3uk^if*cZ#xQ?UqH$wr$(CW_gxv+qP}nwrzWs zZQJIZ`#i1x?6uEr`z;?v>zSjq@%8KxBcjLfVbvJ-E81D1XryQxaJ#6>Eyg_l;cInK zX#e_Df3CpHfleO5kHhDyz7*pGmC1sWM7h0_m&E>d$9{xG3;D$EqnR|gRb78xOmM7$ zMe90ExD7eJ?UmODBLz3*%Xa{|m5NX<=5L1jae7XcpkR0jN%?f`xwNG|fnIF*2#2T6 z2964J|3|aZoN4jRw6?VTtgyam_vCG@646iunJfJC7^Xx{uK;PGbkF;#l+C~9v2}-I z=wsrK<07vbl2x20e>hQU)^DpgGPg++lkJQJ^cKg(&33WKzj`(-sjH=>jjKJ%eDzGu z3WwXKi$YO3)z4eiJRF}e^8$B5LV2K4{&*-v2I28uQY#{AIU9$NZ9wT)1J^Vfq={0l zgu{ND=p;=Iej#h=4f7&fZ_FmoLm-{-Cx=<+ZlfA)R!E+r+W~A|fH#-YCMjU#$C(!^ zw#_81L(29a8JVuhjEe-c6T)c3l}lHPC372*^O8`L4;5-%0LT++hC?wNY_!aLWO3;c zIZ9WotSB3t=M^rlKFU{u$9NvpIl!gYe3E}avBkREPZ!S$KQ!SqSE27accV(e5$rUq z{0Zsn;Ie80-?^L>%@F#p2RW2%5A|r>(eL7?t;{9ehAm7wZYJW4W*~MZ%WrgWQ;X>} zMN9xq!QIuWM1OIpiG9D0w^yoGo${^V2IaNzmp83PkI&sKr5-DhRD7-G)Eb!fj zK8NxhT2%A%P$o4T=Hk74P_z6@6uY1MA$KmalD;ER;=%1oKRkFoIQ8(Xi8uHqqM*C0 z?~84n{KHhe819?1>P!E|tNapCuC&!l*Pfc9{liXM`H||1>fiRZr>d-ac}ghVaMRk^ zyj9x;|8=AITQ;)rMv8Qm;cayMf{pC$wH}b~?%UCvXP3UP?@hsS+9OqHm;2+ipp#2XB^ z(n|mL^_K495RNs>1LY9~XgxQP>6*!Uf7;c+P>zJ|&R*Y=9cf$d6U@snu$W=En#=_L zr~v)x#}_eT$j-QG2*Do^-DUEAb`Ri#6HRxPlt}I0rv*1^n*3{l;47g(j@BkfJO=_QYTw#fZjHh|yxy%MxCs&ty5J1qa!c$lcd^v|LXoySOz4o?Fk;MA72L zJJ)%BJ`)z;hrH2cUm%oJn?@Rl64{k!^9U(l6rIV>Wf|G&W%`-sLI^p`FX*|ENMrv< z?NMhHHxWEME1?gW@8MU#pz+yT*yTsA9+56%La`xv1mF*OKN8J*h&24;G=p{X=(LQqfTDW)y zZkc4upSgCq4#&{u_#{~qGjG;LJS$+Sw_uJ+FJQTwdXBv}>^gYXUb0i-2JHUr3wzBF z0>;lHwumit_u+<<69HTYABAXouFyl-niqqs*=0Jw4)c`r9O{7K5P?lLKd@%*wpzD# z*&Y;@Scy?9-s`toU`+;mqVAt`Os2+F{}yug<6=?%-<nG0>ZbymvxsSKtnBKfQO*AKivS1dUVs>+pO)6>TY4QGJ$em&Kv{pNg9Mo;9n z5ZdOo+!BhiOt!7m@dxwT*}k;}VZLtgh2)j$;ZJrMZCv zf+*3N!JVyGL(kd-RF_3H{gPFQhN{By?J<#wp$7oz+BTGwZ3<1A@tLmJsEh~{=$MyA zYa~-ahS#uMxNkVT5iuwYrDKgLjc=x_Srxpl@Va1N%P@2Z@kI&O>FNWw6*1u8xC>A` z*Q1-I9mD!Z%`8bCf!1)2lP? z)Bf@q&Hb3FI1}yeI5WYy*JADL6YoFBZ(G zXgFrT6s&jaxi)xDuepsM97-4Q{FJHbL6~H@KECn1FkO#2ml1}t6TU+O2-(Kx zb}JlP(DAfItM<6?(zP+3i}w|TC)XP$X_q5T>?&sbR&pa}WI`(l38O>f`>X_p?BDHn z3<-NLk!z?*^N_~iekEZsfs+J?VbjpYLjFx7eJHZBnf{v+vBI zRkB1B7=k9w$@-_6n%Ezm?qSr!jcw}GYeK5?vqK4PdPy_(BWzZjPjtH;$46*?uh2B+ zX{7tAE(8@UZrbF6wq?D4fL8>qCg&qygb)ACTY?7$MXie>?xh#dozk*g02JK3O@gg} z`1cxmXYv6Lj)$lf&6U0nZzd{00$0$^J9ZHrQK^lG@3zxceXQC9Xb)NW@=5Nt*!wsR zp3ICGvi@cJU~}rlssstEY8G6uW-w$|k(PKoRA&%k!LN{4GeaKcr9H*SIjr938HQ6Q zjc3@b*zA146zw1f1Z_uv6eg9ryGC`S$q zkXGmlN%-c>kT6$aBE`_i{eJ6Ky@E%f_*2N{3FdJv^gsGoJm)Vr{PNn&LAExud?pHE zBUa%|Hu?q2nKI@3v=qw4g#4`Ova-Lo(x>Tic|SbW#R!>B=7)ztQOQ!MkZ6e>8>+X- z9IM>kVH53-7_S*sJZeS2Zdip?Y&DEmsT|lGVQnk)dz|BNENlWuE6dVamRNP(lfE7_ z8@#OL9oVwt>xq}g6g=!%5Yg7QfyIQo4TZxl13JaIf^`)3VCDUX$L(*Ts(aM>cefpO zLDALyQPUky3#5~V_A?!5bI90U;oFaBcZdA6Vz4_tCYXjA)+I_0^BvH*4twuC^0+c_ z4UxCaeqAlDj^2g7JEOgOvE zSiG;ONO*_7Smzlz;L}kXFnHUcH!MPn`;K1U3K&0}>skbWQ~k=O@-W8Tsz+5J?b(#D zZ2DO%X1SaAn}zv||M!(X#D7^#iT+pKFL?=cVARf4?F^ns!Z&~4462S3HC$7WL){Br zjl>{OsZ?g+4+(nJ|&y zV%EIIh1R)iUo63ZrezH3{xtS zgm1^4zEOfupslj2jC22mdbn&=F)ed4W6A_s=okeTH=fmZ&4G>figfz)mHF`-eDU(~ z?iAFCZuy(n<$C3t`u0+kW7d)XuJcwx&S5~x?3*_fr&sA29V3-pml(nzftQsD0)~SCLy`yzAR?k;y$)i#D-DI|2_`8aQW395D63xGEsn0cY+Nso<}6#Z z(o~ zjLyYGVzLbR_=3Vm8={xkG-EN!baL*BOG{H;$Qr}g})tKVcY4H?I3QWBC$Qz3v|!mz5}JQiF%aO(kxI7Ms}OpHzk z0S^}$&uFs#E^`WvPu*5ZTBZ@~YoCr#8#$aGVIf@4fb5RxjtWsS2oZ6JXkUgXLQQrE z=^_k-C|sO$J{)F1=x_`&-E+px;FIF)PoUkH*!a9rtJrXq!#MVl_I)l774J4VdIIes zv1s@{U~}60x?_oH{E2Geq}UHET;))sXpIwKii<#=lsAHyFcXDYw%fU12`TZ4;{6({dH8HYYf|GnXfqL&l}C)e?7hjK{Hw>i&fm)l&$rD*FDoMu#4k z+lkL-yIq$lzf@>R{ww}!Vubh8DM09f|NLxdDfo%zKATH7ILMS0kMc|f-kd1i+$iWI z_#(WZe;;^Pf9MPXzMnEMGSJQ5xW1+InhM%G1x`=oqC9$~JQMq;K;AP8`_RHdqPl7cd9h$LqPAl?hX(Q3O2$)84r0_V&0S=#ulT(FXu9RnTaNBUOD#ndalU z3O*=4$N`rACNx9Lw^&o3naqJp6LV`5NpD*8lvXP8s2*H@Qcoj2VefZbxa+p1%+PbqYf_QU)Stp&Kty zs`KBc806pLbKSjnu(c&I)#`uqu=)WLP4xMBzArEtp8k--H{tCsD>zY%@tg*>ze&{B zGOGpaT`nb_N^daMlxnYfhrQKpn61;dyXKW)6TuJSq*ft&!FfSX*d7_=A8u~rD0MX# zxoIMH+Dt+nAc1`(4+JgXz)(Ejh=IeSZmBs&I9h8ovj_AyntmMEt9^Vu+!9S)dan*m z15|_EC?w%JK61c&y0kj4v@$bv!0=nz*-^a$LNbsDgh-LuhqpoNIM~;}iZ3KO7;Ljh zlNcnxLM&|!2_terEgl`tO^#jf2dy!HB>9cPDKMNTt}jnWDk)4Kqh3yo&yhJDH90$R z#WqsiamBdyM}63Cwr>A%@*n+zeNoh+99@!g1oy|;x+7#VGmyhU_+p{e?A(8Fav20m zv6(FUBjYqt_-Me0YF<(GT z(@k@bomOndm53ROGrSpc9#H7n+)2G%Q=xBe9MXK_BtZ@Q4V-4UEt;}0Mwk4j=f7t)8p z(Rxo0bgCRNbRlY}pNPD|wi$#cfu*0LLmQZW2KejdLlRVtR6cIf*n=vBye}l78YsvX z)Tmc5g*}w0Z`k1GA}7C4cI5SK#e{^%=jeW3$;xbUoE`%Si4&%WXJ>~;v0TT(<5M3P zpvqsPuN>9j(Yyui{*HHWwNgO0!Ee6M6G5m~xCH0u<|S1O!GbK_!2l-Aj8Ua_qwp9T z%GR5Ty;}#KXp{rWj_1~3_lal$bvVPTA_PE|rELYp=30A%%F&hU)kNzRv}4Khg2D+d z8*VDhmH7Dt;?1zoeQkDv+oahpXzw1OA>xn%{_m{`oui`jQq}&l;9wyHbPw`@K5E0)%q2C&2==h0nv7zB7x5FB1N4 zvR;B-+9gJh^_Ku%-xd61`ZgRh;sNyBNe8MO*xU%*9X812nzjmpls3cywEqC%+Hwl= zZfzf3`}6o{#e8{^RZiiOts)eq3b}g{pedB2cj;5mmX?yZz;}%H*`aNjKQ{dWq8O}5@d~-_`jX?PKk2#fT(hpchTq#o0$J}tv zOLh+Iwr}L}Co+pO&NP6;Zz8SN!^2J11jvOy5(#55 z0?n{Wk4lUhkF#EN4c^YLBdqakXyOq){wJSwqP-Q1K<5_JWj&_yGb)K}<;C7p`(@3Nqg&oAUc9 zCg~rT+=w4p`}+7T@hUR!HnTT`F2sY>MtRlpd6}7J)3d^qd)PPr=}*hW zX(OKt9_dk!c_fE=TyuEo(SB)y3$#-Bu#$zo&?eEsrp->UoWz~1?7G|}Bdqlyrl5cK zl^UV5Zi!xhT|(0$dmdPcxof*4JGi3&33eq_1wC`cua#dZDy>3)?P(8&dX4y2Vs-9F zQ>BCWPrNP0QuNJC3tKG~A5zel&jkwH?2s!4pg3fIBuh|Sm>BD)>Z2F3OS3HFaLsod zV)ak<)e>}AAkW3Q`gvz2V~mL#+zz^cfI>&(G%KlHT9~R)J2NXdJ01xa`G=lRV4hI~bcn*2FAg)br-59sa)}D;wV3hbxXT0L-r6>l)KpceTx`ZTtm(HK zfa?fAMdViq*AO04gI?p1jST=PDU?lH2uxRwhc$4~@(JcKGGs_zxS1cA~Zw ziZaURjT3*!fSk1|)|!7hHB|ntk6LAZbibZ(@hqLVs&;goG@_F( z2}0i)2#6rh*Gy-;o$JbV&UT?fgw)L)E~)`$eBxCrond4>s(e&GKp-hh$BZA`0cNTC zZ_b{AEX$kpNKLI5RaGrbKmxJcI_q-86~&FJ%maw0tSb&FYj7i60s&$(Fc>#99h!7>P-sLFG>Uj%t320juopap1!AVa={q;>K2P4LVx*Y&0TZMm!#}$Hgc7p$M0Jlq5Wq|NtRo4?99L+Z{oo)H zn*$z$k}zklF)^l3WL;mXI7@Z9)MhzL$-uAkWOLTnT=ovN?tW~Vo1;)moM^uH+;1l$ z712w##&cV23G3sR1MV+cVM2R;Qn(56zl zs3pF&I4A2Zf!ujQ;TR8WrJ+#f5kfk%SRp&YLtD>sW2l~OYFa5 zeo#Fzd76Iz{7ju3cIM(7L7%mM-$YbGTO;9Aeq~@k$K_3(jAr2d(0Q9q&J@5Wv~})! z7LBjp_2)|}4J9tiYS_(RT^3~#{Y{r&uinzXok|Xyv92$}>o&d(&~tX!G^ai| zKZ;(mHRWNdR&b8kEU4@2Iw(D-QmjCu-6ky0e6*f?@7AnUp)^t+?F&q9X#ntV=lLI! zvj4eRF#d;?%2E#i5S-u`Kpz0|2Vm~siv9zY|8JWF69dD4=+v@PAmy-EFh^Czslhct zbte`(pReC3K)L;D`|Y(_>v>nf9EaFyVvQJ(5(NIfo9RG=2-FFJ(EJ6&{Q&Y=_sQ5o zr}g0yU!@O5?AO<;dFvBhm=cXj7G#lLsyn4OlI=ZYm=eb~(pzm^cV<3%c3ysZUN{h9 z!R@Jiuz%8K>&Vm+f?`AqvdrYqL1gUCTe`23 zmuubegCa^t`EgV2PMb0tR_-zT`a;$E6U6XxZNk%d5~+>C5fS!>+&Y%-lFt@EgaOkA z>I5;E@jj9c*>U{z9^-{e(#XV%Cv&yexLFPyPj9^Zebr#O>-5B|cDO&Zqz-(^8rTBG zQ%xwBMKnQi5-LcBErJm7`j5$>*4rM5R7pyN6~7e#Vdf_ws?Q?_=}<43h4Vy9)-I2b zBB;MP(8?FhQ$Re|#G{FeYLo}fQj;pc=1-;~fydxZ6FpZZaS_SnP%B#$i+J$}niVS$ z>6R+?CZv@uoRF5WxQ8>j#IV)t=_jx;e(HXHPeoO|HYItFWBy7+b`rxSR5XVOS0Yb9 zH$(ouvI~(^q@eO!ZOI6(hm;Iz5#r9%p4B-eNP@!+aUftMIcexxMS~R$9ls-BH>DlL zs^={T%pB?-<{sz-#NN&PH2OXg-8fbiRj1&}+5dclOD*a1$X^jtN#f3am%J=nOC$TW zL(-{J3y+H)KNE2-$rBOJ z*9bO7XWv&~De%RY$_FbJI?Qo7(jyuRyDI&3aN zqtjqKp{(!BF-3yL9Xlu+s!Sv5qQ!Nq*#{i2NBl}TBEk$FoN=FZh+K9oeY@>;@TSu@ zip?dF+ItW@x4qXIG6#8s7%V`$tbga( zqLQ39%7VOd($RaJF<`5k#>wyhPF6AO^JzqyE=)w0d#2?|&dQU`>=dRx0g>)3EqxiC z#P6RR`@KI}@O?lx1g5vk4ZK@>Gt}?#KJ()A&7cVOl3LLzxg*sg_@-h&4l+khP_ zvO1jQGVz8<>@uc0iv)$@>?78iyd?Rf2gc{-emSW@&*dRYYkKw*h$!zL+EkA}^g}3a z&l20;8QcCCUP>KgxbL{n0sBzU1;osNXa}`pL>Q?C=JTojz5O4b5s3trQY4R5tkHv#9b~-6QG3YJ#e2 zrRsWI5EHL4EZlgROqpd%NCkJM6RM{B<7{i=9Kbe9^mpgh|RYx1MQo zcNxmt5$M{Y-7nWNOiS*admUONQJN$MkKv_fO|AF2AGey8@&mX+u+m=A!>fCzeOyO$ zz#Fc6c{FE>lZ*5bCaVsi?bN_y)H5iVHpW((KoKZ$4cVFfO&^BP(gVvCecd^;CoQ2wYcOehh-34%;6hWL!e3QQ!#H35ECcfJe z-H@4$;y|W8ae>~j-FWCO*spu*8IS~@AkHsw$8bD5`*N%C4Pu6>p1zY1nQ+r+=j+08 zcBUcDRC`ovKG9OOfSN(Rn_F}?LrPEXIgCZjZYTOLamxFHD9UWjsP&7fPA$%?(J~Rg z6w<`+N)GsYt*^_6MyipQ4a0=GEd#&nJePx}JI3viAd^_JohlM8qb}U>1EL2BEE2RI z6;t*reC)cyfK%!;3VSKDiyBu$x^=QX&JmSlLNw5yYj*rGUk!aSV_{gbNo8K?z7fK{ zYNw?QS?d(y88&uFe8PiSQrHu!UxmNu6h=F12|cyk2! zq4AYf=vEXT`S52uG${F6(o&0&L=pl>7xycr%GNVFZdvD5ROu05TI&zMRHdT11;9c1 z3wWt>Z4keqEuNV}|7Bia`Uj)_KMx^H|FNs)FN^lu&?8dyN;6vmVsW%%`I!c;07YuV0y> zYgu5iUSOq^kg_6|ZDE^UpO?-~nRBLAoLim`zXFU9SO+%T#~k8D>RKH{9mKpHaOXJb zeDV7A@=@d{KXfJ{hvMDw5oqZ1Ze(ey+G-cFr+YWcguM4|QBBu4Zlz*3PlA{zBvUX0 z0{5U!{w5V#_=2codNqVw+2+WtU(K%X`omIh0wVY;r|Rf3C-<(K&CcoI&(aK~7k&e< zD7N;rr?2npsqgP@R1^q7mX_4@VE?wUV0BC!D@)J2U=1JCt}9SnY299g z#COiVTfx~qP;H%Ebc1JF@MmbA(_k88NI*gmpj&T*C)~kx zuZCDdB5~rOXShDsr<#;tdVMnn?XkD?wB>Nu$AGvCk5o%hU6A&{wTJ|zE!CNli3Lw4 zS@p;jBn`6SyhN)naf7@%osA9=y2|9v;Z}=drRlJl_vN;c^#^;DB^_}7&8$ECM^Nn8 zbYpj@+RvST!`XYYn1uuuQbiy*-<-I(G}9iw9A*|Ilk1 z6H7U%)S^4@%fZ)Mxnq!y3LkAOrD?EWaTPlK$w`^AAwC$rPV^1|%+#tOKw)wNR+TVa z#}5iN5m!Plnqx-I`J&9h^k-K^GJ5Ws#*ab1q*n_K?$w@PR6dr4Zpj?U?a5X2FP$1| z-_!E`h&4Xzv4s<=-*HbfettJfx7thZo}CpL73LK+$Nagu{dbw?1tn-o%9E&2uh+eR zWBhhZ|8}1L!9V=Zt>XX2D|)+n0RCWb0ALG%i2qjfA0X&|-6S~wqb(IHT1#U)WAqkY z8Er(%AQyCEyZXKuur$&NP8X1oN$R2H6IY4ywTVmB(p#SOc6PQj3ACo9q;5Y215H=Y z3Rdoc0iuQiw@hIimy%+=$RHcC+!co3E#NvqwlI#Is^*gadHBp}<#FfxloP2I``aXz zHkn^j63B+d636$lZ7g-{D*0jZAMS^qYP2@k)e>_MfA zwD^7JNbc8!nUSt+{N%fL+D_u&33v@Kj!2dd0?IGm|SC`4%X|UhCx?n0N%AV?wyifMly^XpB;WSV)17^2NrA95A~Wvby3) zsKup`CBzZ{y_61z|1RV~%f-r!NK8KXU1K>C=*1I*?Xsuh?rdV3PUB6-H?<4KmbrQj0+A zomykRSQyl9Mg0C1hnWwg8X67BLv+t9Dj4T*=nCC>U4>NHb?`1%WIH9%55>fZR7@`R zSH5F7!*QL9PhEAQ0)^S|d66M)_S$^Y%0Biv?R-YPzn!%;J?tHBiQ>s;CzyEq3moZ3 zLmd5>Z9X{hjPuSvPD-ZMtFc|ax9fg<0M~&0rfdC6@JQ_y3f1`44TOCMck|6#(NGr0wL* zvlG?x+uXu<3fKfM8DephV|e(ejDwous?SY_c|xp@(G(YisFJ6prB>_t0qJO>j{faj z|AUA4e>4kLK0YW%CkJDFYbdvMOFh2;NEjGc07x0Y`2Sw>pQFlu?boCKZD673WKAzi zz`;r{X71qVM8L+u^7qQh$=HEj%u3(MSj5=S*2tJ%+Sta_$&BD{9^il6uUW&=aeWNw ztEbnXr@EZB(4F6=SmEdwj;En5(uRA3SDfHqOcw_2pws)Eg9nL#;Wa(N2Fg4y{l_Vn zZ()I09b_ckNjj|$#Z(fa1ZF{&@hCkx!+bicUb?Z5mpK8Hc6JH`J?6|$;ehSe8PGxq zBq7HFTCv!fJl9N=o{&R-lu)@`L2gi8KL^xxB5yFL#wBR#n{33FVl4g<9N@B55! zzdJ_hzEuT=s0e(e_Jt{`O$9iyJeUy5$)X_)Du(jeHH##?FOo!!gHQ?K5<`H;hEv=u zeKY}am?IKJ4J@@-|0+W`U``BJ@1zAeKm<;;V@N9cbO040wGc>_kWkP*I=5qa4T+S$ zM)b7SK4=XC3S$4FU*!xOw@hFu9s|JqfUj<^{Qzis*f@Fw0PO+!W<$-%AUrUR{#bd$ zp$29OXb_I`xZ43zX^uHw{aOT563~FQ(5I)#;D98H$A`S2-n`9uk*R(n%=ku+#Lz74 zIAZ|;IZ#@1IXskV42N8Lm^|s>*cfo^;?QtVECJVmYkz94o7XejYUekX@W z^YAiIu6oF7L40|!27hu$!H4V8w4xStz{DI}a&S-!kzQf}gq&feDxhH1mRMwvEknA{ zEK@#FEr-4;(7aJB{ksC!A5O+ICFVNECS>oAZzfu}eMVa#4o)|a{?1c1ObIr5(O*z5Fyj#=~uMmev?; z3$ZnY;>&=uEc4;-pDVes5WhR$Ic3GuiX{)Ec9NZB%8W`FytLe&oYB2r!TpxBZ7??t zZFS1>{nh03I2mJgCZ3PGG(Q)FyERX!B0VVr>uLpEkBW*_No>ga_Ik!#Ag>7q;VQa8KJFYURtxJ`dZtD6ko{Q*LF zadPQ0G{2|JM!Cv@pRC7VrH;9}iQA^YR0Y@di})xq{ysTg2{^6}plIF>EKCbJ%o>A4 z<%D;t=0RSzW_-LvpAT!ZBv4SNPS6P}J!4=o36|_^S_W!K#oPGCp){k-->16W+>8z@ z}wkY2PQXO$X7{a=6(itxZKUvzlmDdJ8(O`eUR9 zb-5~{s~KwRkmlm#%;&CK7>}vH39x9T;A+sSGSg`H(&%JZW}O(X3G~DB&#;A_! zimdWWmi8m@n%e&Q^KEjpy)dr|E&9ojXI`r9( zh~5-@Th9&SGcVsOUYor=Z*ULeG&Mnl3&ebCSE1(N!#}xZjPo{G^>KfG`iF0_ezq&} zym)8CJbBNxZ1sP+uSLUg1E-94nm@m{41M12m~&xWW+k05{QgyKu~Jfq1v&jbB@E2z zH4-iEABYk#?B`;RBegyx^G+~n8`|;RhJU8DvCrA{q=hH8XMTyh}?gGGDhf`=oM8b5le&yIUpS@%DsI4$}tJ9i%``q z`CQVCaT-{{!?NrON@qZFdKC>e_;;sA=EY&bl+89Xd19eHR~per4DpR3#f~ykxs(@B zkQUx#9ri}dy?#krH8WqDzu~ZK0^F$XJPG#i2Yp5)$cFK*Q}S-0a*2l2E^!?)@^SNf zu(fgHd%m}{qH$#fvKk+e|dC|uoWry7*l` zc3v^%bbQtQJD<>>Z#dpP>4zD$#GDSpTLQ79XOOv$CgXq>!H0@jArEK#;;p?TXGRKM zm9w!+-%E8J6CrD`N)k4|RtpjzF;4L*iCm%E*wNE8u<4fV0(=+hCJzV}7{K8nh4mi(YtNCb7T48N^6!Aq}uYSK*|r*Oz& zkAE<5Op}9MjEUX$T92*jjm+?Ez|dc@34)mS*Rh5WAwLm9W}s&u4I{IGb=-HPU$N() z-Dg=?f+A;MSgJ8>y4Ki|pLeMiMPGAnpsHY_=Ryb*>UYAKshWta*}Y?vR83A;@T=bl z$vWCSjH@Zn7hGJ)oq4XOko_|gndwAwc@E7<|r@10_1b{5k5+H;nGP zr;esd@R`ghZ5vWWo}irxsr6g)(hyiIsCm-`m2hczO$si~Cq?^}#l{^+>ToAu)!h`t z5^Kjnn;}#agC2Oy5neg;#25jH7i}D3Au$CC^aA7ra-talL%7K4g;kiLC;kWMMt^-L zw%0F1GZ9w1@x~738sQ{xH(cadI+im`&R-o+>gDv^=XtSfF@Ck%UT&V7L3X_u&-l6C zj|SG^K9A2A=&#^%Y>2Z^J0y99GSds4a+hR6Ww0PgDo}&$4YNCg15XHa6clY*$9Xn( zaWU(MqIROClwr7;SRiafkoYShdBfKf}Y=Jc(ygGhnygzO<{Hz&up5_ z=kh&kYq4)mCjP_U{eE${6_E7%_*Z+z^n~t&$rZ1Z#~DlTVTH~--8X)!4;8*@~7^s`_1unq*Y@`Yi`4ISlJjkRWS)dN z?;feF@`u+CR$BgkDO8{xpq?(aFjk;LJ9*!&Hu{A(fomi*&&h`MT|cRFg5wap&@h5-tZ|BkL0nf?)@ z^nc)$nu4(jy@IW+6TyGwz$nm5*qGQ7{1>PD_fkZYhmpmAnURy-n9b0T-GJSQjgysu zoy9<(m66qeS)ZB3i0}XZ6Wa8O<{rjSjLZ!5s+x>{Ycpy8zu?<{W`)qsw$l&V;@3eW_8-#Mt&+a-y{YNA z^S>RtQWg97Dk{ZSkUJMe6(#C42!MsHDaJvi*&3H1K;Ok9RLmUq2~_Ask4cj*4T&C$V>}CU$`Essq#7X+j}xtt#2UqU zDM(5e#i7I*7?6n;1uZ5>Dgcj0@>B!XwSgSQlkG#nJ7PY=vo^Q7_YGMAJ`~Xg5Apt+AQA$g+0UI;8SlrWbi2 z@TOvkJStY;*JGC>4)qj=*jXpt@4l;9pxkklLk|7;-eDm5l$(?6D`4J?1as+p_Z!{P!P*qm#aalbeIF2^1>>8!IyuDXHjhF{u9!bCi@D literal 0 HcmV?d00001