From b5a155b182deaa7ca10da82c947a7830334c2a55 Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Wed, 16 Dec 2020 18:47:54 +0100 Subject: [PATCH] Automi 2020-12-14 --- .../2020-12-14 Esempio di MdT.pdf | Bin 0 -> 39601 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Automi e Linguaggi/2020-12-14 Esempio di MdT.pdf diff --git a/Automi e Linguaggi/2020-12-14 Esempio di MdT.pdf b/Automi e Linguaggi/2020-12-14 Esempio di MdT.pdf new file mode 100644 index 0000000000000000000000000000000000000000..337c0cac6ebd33d195b76eaebb5637544d30a558 GIT binary patch literal 39601 zcmbTdV~{9Yx20X$W$dzT+qP}nwr$(CUA4=$ZQHi{+%G!fzNhc$juT&GL`MG194ptD z&&WBGSWZZUnx2LklKAlU>J^fK1&OoI$D#Wl3&s#r-@;ayHgMcn*$3!oeJ?90BiZ;!&0 zN_MZjb5WE$dvIo?>EiC@=DW$PGAIFKhQ?1D25<6 zI(fG4G73du2vU~Nf#ynl6d&3WQo`+1#YFRq zfbe07-TINR1LzQVtvsal94j2>(I%1}lFlz!xh+gQE5M)&Kv<#+P5>-ACPw{g@oy&1 zB}hYQrC2yl%d?40bYu=lOj|u6o`Wu>YyLOK_o4y-zY~lj%t6iRwHl!JNah_@_-#AX zZwl#?l83Wg=cV1zIakmq$3t*(I@2BWR#I26W6LG^RJ62DtNXk5;l#t1#Ge`-Eo_)8 zIkceN1CEB-k5u7Pw99+O{o`O~9%4w5GVlr0XR;yl!cyv9a-`q% z-5?&7!7$WVpO4x3O@@aVkaj!ldyHyxn3i>zR zE$9biSKan{J3HHT!fsVh!1aOq)!9R6M5|ys*YU9V%r0#5u&2QWP0tJOW|l>_UY`O~ z%D;E2=XJ8pdf5vfRs3KBp#x2EG;zKI$)GB0GR-~l)>a~7)Rdl5) zGlK%+Ft+}#0PF@^2>{6=qfKwF= z6i4m|{8|-TY4(sMEtxq}_FQS~XIQ5S7I@AzO}V5$O{;`)-&R)c_tZNs>a%fDEd-|) z)7mPIkOGU0v4FRpJNlXQFOsreQ7y;BYpY+W><2j0WrS_3u~Q^_l^q@DQSUO#;;hy?fdn|=an|viO4WCBus{a2$N30lhH+GdKyk)WlXOtL=(6o zv*a~Hxf4x@A${J7BKM(8fM=ZvzJNs$XJq$XZl(0bPD~^YjK;_-PMQKg_(Z=VoIaYp zg>q_AOfeM7s6ga6UV6wDi@gbPg&>c*K(Z3uMfO%TyYb_R(#^&4u1CLk6bDowdgKAvNvt1+F zVo?tza*g~(&dsJci&5)*uu_JoZJnh3BSJB&!v9eB$w*}+O12^2O3l$_c`AFg4T*+% zj`=vN8z}?)tFWhY0Zj^U(t|WM<(H>k4MC4658`A!%`K_;aJFX=ViDK@EeNZloge2y z!1$Owi94`~J5ROkuDKJ?m^-X&XtraHNllhn7H<E399pvG&O;wBv~)_uZHeQ`ZnGQ6R3gXm2oT1MP?A{QMI8(ZY4t9MicXT1>~|lY zPyy$klO_6xKQ8%=%Ha__N#(5~4kUTvuC0SymW-XqEVd(sL1iy+Sof=2^OK7c z1Q=+a4p03|tsUJUBQzu=AjDr87?b)lLW=VKPx*|kN=_=hLk2liWoX~5c-_6#u96yl z_|4abqAW#=imRgA47TgC$yR2lD4{_c#WYT@`@3HsMa zro-0pq1F38?$f-)FszaV63#!R+#;NER_~4?jeP^nQhiC`oo?Gn2kkQ^hAX{Hbx)0_ z5y2kd9<9dq0v35C97C#bTpM>D3EKgxs;fT4e$CTr^6Xu)@gDe;eN~m3#Z%`5`Rr|C zt6*v4Ghr-hrj6;f2SE>~sf@T|>%UE$%_;uWtSiO-MnCKD#Z8EHQ4=p3L2w)zE3j*0 zy;{*mJ=I2SZ)&@~eD$U+X)f3CT$Ytw`RVTF1w{Qoe7Euq=qsZrkH*JM;bmskpL7IL z-Bw0h(K9pgPx@KlKDz|CXMh9?RL!t!M^+GFRIDCV9Aq(>2xb7GRYmPMrPq`z)In;o zZg3XqH@5pZ+F+J;I!H^sHWqvjW_489*X-oKp)ENvCg%1h%jrM8L|sjmV*#!0n&jNAk@GH1&t6lu~>vppzd}X$*Ak@noh-am_ zVLWqoNuKx8&SaK7QgXhD4YtxU>6WATA3IF;PDf7&3p9Ud%Qh5*&qoDayQs3 zgCT7ke@or$d|mr$$_nK}8rvBCZ({!I>c1G9k^W!7HZv>J-(Xu)GM2Cnru#(omCd_O zr64Dm%^N&U8?Ob#J57%?)ERS{JamfKmp6e-BB_cZwbavt1dZv^K^zGe;Vph2%ZIlt zFzRQqZ=kP3IOyp1{pNLm_U=ZPHP_dN{qwPrhm0Jht!!Z8DX-WLAe7K7Uy7|$%ZFS1 zY+7Oc_H!n+2j}~~fqo55KO3DSQJQb{*q3lH34cj-5-`>6TH(@ySQ%24vgt|C1 zq9+NxZ$A8Bt3L-1kNSgGkevjBUE4WGxY0SCc1WwFqCY#Tuy#(LDo>aYA?Qj@j}X_C zsJm7&m}oD0>NKU69ZLpYY*oWv6-9@Y34Jn{H;qYpYPR{v<7ArhK?Z!+~m?3zs&7iXcJP(y}v1jU86 z{M9hgFXAWT%yE*r=)O#yyT2+eWI|QQjum3F+F{GA$j}?cPpfc7#C%yruS1+uvDxmj z15XmQsvAKjId+hf4_ziRn_?<<;Bgu{RgANHtu#^(8sM&48w#esa7_k*ZZF>;4U$}w75S<&0?h1_{jwLO>sx;`H+M@9-2 zG|O>-g5N4+M3TC>rN_6sV_33^@!Fd#O#7mY=kn~TaP8P|?M4Y#b=4>ezKkfb%Tv`w zTCmbDQ%E9=&M{Zul3ugq;F9=#37XwZGey|$B%dPmMBNi7TpZh2mc!PJ$h$+h31_%88jvB8VGcE2 z&5P!56>S>Uh~D|;eV&T^^*T7bDnocFPfaVVjV&?8_xO?4>7?OMsTE|-A!u;6nQT+IQrHgB{06?mos{#g}Nv#x-4)_pJAfFPuHiZB@Gi4X{E^U7$QNL60P&1s^ zgm#Xc*X6WD;qgDQj9N?scNM4k*$c^5To4P>r=N0pHft#W!;t;;*mOVztk!J%4_2Wi z=Q(?91}INSp!t_Cke;_R`m#PNbuWP8Zysfz^$GX2{!qACNk3^}B_u~!b4*Eds)(w+ zBQDu(#vrNq?p3EJB-K`@Uz>GETAF>YHs_K=n=AMba)RarH&4?Ul%xDzriZiADAe9AKQ@SzV=%eIV&D+?1I!g>iz_fy33-}eT;8HwUT`}_l#nsXu zD#Itrw3BAFtOL}2{#-G2W(zP6j6#d>DAA)-Gg=Igc+8$WaASS8i8k_eBe=hc_JJCXmjdTDn^OBjd$N zg88M=69_ovlZVe5j#ws^1q&DnKcCCb0}13PRvFbkw>fM292J2+=`(`~Z%jcI2A3;? z-c@utmJduzBtJP$|9cTb>CJRWU&gq0^7W-?edxOcF~t6?bjS`?CZDMr2KzB*rQoer zSi_es>3En7AI=8WuxL917oD%K)cYe|%`p0X&Uhbw?>_G`^Wr!QbkZ6ZgCZKZ#Eyb) zQOc0dpL3Vj-W-50w{gSme9~T_Qqz$ffO9nio2XrjaDstkVC_nz(>a89^5rga@0g>g z<{UPcCl6!Ny6Wc=#55;({kc7}{W&`Mj>UbqALsz_BRp;y>U0Ao8u0XKt;L2AiB=~f zK3L2U{VJ7r8-5tkyJ^1m`G73=2H4Jf$$kO3MqwN}cQEvrG-iNZ%m|T|M{2uwt^*^i zWSc)MF`~I5mK`(IT6Kr zvBFlch(yPO{p*S+j#I2#vjarZ1IO6sw+5xgL&MS^vwbAW2WDm8_)ZR)UPjgRxqqOl zez{2bOZXD9k!Puspr0*g$2fP2mD^@1?F_Cf8!f4oRGEJ@CF7UQpn`tFo9}=DfKn=x z7y(2YbiIEdYV(cGNo)1A^`FmOUQJRWd(+p-e?H0$*fgz7v{^sH^44qWs#K)CXVl86 z@jBKZCWWzrEm3S?pKT-`rtIKonyEBuRl8%NuJ3Mkq&!i67R(T);kz|!uJdT!Db+6W zgj_=+dLYs1P|kc|$ul7aXP&POOPk#P7_6pJJ`sLoLKG=UVy{2=rG0Twhp^G#_!rvT zj$he&Hu|H8JvkT^C5uL&Py!dV(6}9T%_C<-855dQSjviAsk9w6ku-j7=6 z`Yc%IGSKgw+d8l!S~|1VFW=;?mF-#!$VPcbEBtx1WwhAF)fOWa=gQzfF|MKm(v7q`5-V-afX3mh4y zDLSt*P=b{Ipel%)S!LQq;MDz=jvdhhzb;U}O`AF|=(Ea!9mW+!*n>!M6}i!T?AR4N zLycr>6K#>SFvbAl;?8-dz8p>jEjRe2Py6j`H`w2`b2M6CBbaf9^k@v02;~-rlF}ZM zPS+ulTLgy8ew<+Vg0}+Fw*f6!9guoIgx%~5nfmt9w@lK`Q^3~(7ZMhFP;}P)%Je(og;8^?E{I* zYeppqn=)Kt&6039ie zbj}=sF=>MRKy)TMnK9q?H}Jf^*|V9$d;kMI6vTGbEW~jm?xU7=c0iOz!XbtanK4 z$Ntj7xA&b{oXq&AiFi#H%3-=w5L%rssq}DH=mG6|=0g#-5vwK5o>y^9iuF8LFuSN; zd#{1&B8xw4EN$GWE*zeY@$~Ww9q8%46YH15vKeN) zC7ciPk6l+(%{+jy`3B!q%dfl&!4g2J2*Rr_?2@`54S#oFK-#piCNyMu-2IgJC8tO# zBvf^>?XckPT*G`=n=yeW5=2cxQ#CSwW+zIuGF`p=Cd=8~5~@X`DpCll2;22v@ad?> zSD3It_}-auRNK`AD)tJQ8c?OwrJhNOEa0wDFoFmx7(Q4dWC|Spt3x3S>(Q>! zfzegYZsU$80g|IAx3ibiuKC{l*p*x+K)()LoH!1*OzT^mO+7c@Q7^`XgVR zBFY23hPSIOI4X=|5%~u2`Pshx@1{Bh@-yZH%mw1*5M=aF<3_|ON;|Xj!R1*(-T3F) z5{kRvrju}nI;?T19Vq`ui{o+au8^T9h*GAvc1;diI@>T`?YzPOLGV*Ja{^INI8B)O zF(X0#Fi5w5RD;IKm@!qtf4ori2iVDIgA@yZH8OJ=NZ;AG(`wYmiq$xI80@;0gEMDO zEI6uE3?@;X*bNmqwvp>YB|K+D)Z65Ly+G5%^MkC(6~#e8LP5bX8FqaO+)1IN_%Q1!-l;4 zNuTs;Ua@h&&MX@?0PoToaq{wKu#5_Xq1`mImY-6{p1!awi@{dJCJ%PeH?<0u_i>(A zHi6=Wt>bfs0Jn_pCQv$7D9gi;6KxN1jn<`p*hMzlPOx{RoG4LRXr8URdb(xP%!j&3 z|2nqPhKp~7BuF)o^G?V0snh$Zu+*n+-m_&g-D6>oWPNiN=%{>{f#PeX|LGo`b3m>M z-Lj>pzatJL??$8h3NY$sP8&Y~S)c>v5})6X2B_4S#*Y9t?H-z7dE-Dc6B~FlD$-73 z_HoS3oMP@tv$WmFQf-|=Pl#Imm5|K5qx_mYX0_9%4=c8y`QLgW* zF8D%^veQ78@}Nj=yXT5fXNzY)!~3$|hk#I121in&BX#^K7tvSeuLe{fZX3F9RsLH$ z>+u&h-HmjS*^>N1n!wCpz~P4bR&9&`c`!nNlAs?@mIiddoWPhv{`R!HFRwcy+^;1d zeKBRz6gbTE@1k8rW4LWI^Wzy)?uk39<}bIDo$ZzgL86CHaWW_&u-T?%GC-bOlDDQ@ z`MVLgAK(o2q`iNrj_m)YI~pA{ppE{IINYDxpXm4#HYI)M0ykBVMNmAR*^G*<2$Nzz)FH!8nAuaE5zzq zf0$}-f9FFsLw54B=&J4|PpZTa_rF{6c=*z=1a`1eIXzrIL-t@tw1|Fr>r`JVYW^I* zk7gyfS^$K*gJp6Jz|y$ZTO_r-aYf)=&IJj%8UP0xVDBRXKp`kfWp?jr)gV#7o+yyl z$s2qnWS$MqgLR>^HyzIcqXDVPk^kXkcfQQ&p zI&OJOMvofHm|B_uR2Cl;F0*r9MIlJqmXh7Sv*-~k%mZcc;YyGYZe)#YgZxkT4Xf1M z$Dq-NDse)omFsJ=#9@@3F49!d2%o>YgU)jYXzO7&_n{BFf7PupD;-xc@}YiOQNTX7UxC3vreWlV^$>O-lk2` z4h-Flo}&6{%T|;!0vOoHnM1iXrz}`qCS z6(cjSvHhnDXva(22GT)?+`J+4xMYw3eQ6K}HTB1>E>>e0yNW>zV&FqQ&ie8i%E56G z`CP81d<{o75;0zZZ?8R3jKH5Sn}rJcIz#67moWFk@wHfJadj)JYU~Y_&if=`2fTcJ zyU;X@ygH40y(wua_<~_vupc=zg7@v4iu+)STrw!W{0;%?{V0eTIJK$snDY*XQ@mU- zcd9nmQyyd&y{~NUSgX}z3bT3RnZf=xj0^@-M4mJ@?%5)pwICI|aP*VB zu$mf5it)-&u<$d?X4lDer1zbgnyOgbuf9Ar(L@$&9H#E*r8JlIazjIAbCPD}2kp22a;d&{jN3DIUl}7)ODep{#=N6e@{J zZ<)_hK2<>rqITpy7Fc6J!OuiB(tE$i-w&6hJ|#P4w>QAqDEKgaSlk2s>t{2&(GvFb z8{PoE_f(l^WK8z8J3q7R3luC_&M^@}ehN;8j&yb(#04HD zV1h}wQv2%D$I}-@ZN{}k_^rEv&D{S6!gT}oM!gFIvW@fF?s0M5ZV)EQjF+zUUu2>N znnbxC9XRMdwf+mwPh;2ev*&7zn%h&I=CxX`ehTm&u5neo5>w>x(E)G*?sg71f_Wiz zcH?ueoG7w;n>#cuQmzRQ8c=2t#(oTh8a#P(`i+$Ik zLCIy6ofHhkC^A5o-D!-K>2-tO+{RRDvm01za-ws@lwHI9!dOc$quuU|CWo8B$!vGZ zpIjFe7xYw=OQ=dBJEgi(K{e8>TF;~xTaUAiF7@6IN8?H*RgvkkIdsq#>f~^1Yha)- zlorIH;0(u`Z1LKa9OlU?P(|@0Pc)Ic{}%_G`!l^BJvztwm`{RS9Q3D)rt3S#5p?IT z`0KDTTMde@ShcSxrR5)qBiE2nDm1m8x|U}ABMoy>FgME3(=_Kuz@ zkgKw`jWt3Z2=Dx9keldiXjl?nWst-^quo4S9FD;cPlcP!Pw3fjyW|xA1na}_lr0%V zQ((?@`Vw~c5AbgrvVEj^i9g{y4x+FObZ9u>q#rx!gXp(796cXq@eRNK zR5zxr?`$QmLvZGo&(CctENDPtkHQ1iG5~SmN)7W$WMP0Mg=q}=f2eglF~fg~G!O@) z^5WS&7E0+?$`QRZ^0&;xA|t1~59_KvF9Q**8PSXp&d_}39lB21r=g+Yx>__Hk}sdl zcW{ie86jU~cU$hz#QJ?sxKHa6VE^90AC_(m688 zvqqe2#Qu0Pz8L3w9IOegm^U3zbe-Ov-$?Jr`BZhsLuUu#UtGc1u5IFPoUk_8;uK5Y z*j;wd$X9o24z*>qo?B7|(tuGNlqd8LPjs_!Vq1lQa1!t|+SsSKuX^BZcLVOS-OLb+ z284WZXog0+@@O$e9s6?y!c4(d+g1@ZAkOA-_T-GZ5yJmzn(gC#eoIQ|hLa`GV}4qX z79Ao&tQKgkue!)%=65Bh*fU$VR3}^rztUW&|H=&-!lC$WLu4rhDLiL}x=c)5#Pwdr zz-cKgz)`7~F(qkQ+CV#l11(Yf`i}Sm+EWB-@(-1s_1}alhQEg@ZMi;+AiCdOCzQvn z#Yl+3^S|ID5aJ9pm$z`9Q4;4sEf5MkZ*MRQw*=wFI@8^4P29xQRh#D+iE_8cQA|&p z<#9+o9}w~f_%Ztx5eNC%Oaw<{L$Rku`u1PjJ!juVCxh54@&+=JpI?q#LD`& zSzO^bYcWNAq>x;eU(gEo$89`$5 zGs>$K7jAuH<}8`N^6d?6Y6kXZGpeLDGP_(PRaj2S5GS?RcLq0PZ<)2qtNC|bGOM^= zNE@HwU|1{-8+$j{3#&s~Sn-7BFep@2kiyYI_vIlagw4Z*A<+xsu#^kzkxH-@gP_H? ziO3VfQhilG%5P-NKXbC={lU4ZQN<}_8h5?@905`{`-$1mOJQO8;KC-^V^2*u`Fad# z)$QX(*CAkj$sLl0$BIolCVbkL!liZV+-1G@VCF`Q-WbULYNW|(#T~iq8^hFb0XTSe z+qAe9aP57Qeh4}Q-t$MoCEO5)6zAN6-P$$Y?8@O;2Fumu9-t(tvjSMS%@I%N{Mn2x zhSpd|=c(f0M2nt&<^0gL!gS;4#5USf6*pNqE6cTia(!RJKYa@CK6P*;%R(=(nK^iP zXi^F{RiayAHudo~D!&bYc;*|sqo^)!ssv~0Th{r?-uJ{b#X6vau%+G6HL8)$%?@^j zE+=NJz*yzn*K*(vrM-pL>0Nvq1CViB;00RIA4i{krN~2b=~G$VqcGHHoTwJX_rMk@ z&MbT(^fmXAJ^M|1a}#1;=KWgcB*}i-DI1=G&jDM7u1w6o%`I5efmqc77%Jd7R?U znVz&fZQLyoP#SRt_|9|F+6T2K3mnYKW)N!Cn-`0sho!_?9@=axk3TFJ7H?O;_Vsl7 zWc%>oE*QQ^k1ZT!EdYQlM;>xfg8Ug4R+%0M)5gER*A?qA@>XI4WAibs-bQ(@AJ`ak?Ay^bf3HJC|TN9SS1)ed4~KkK}6WMBTRh*)m_5 zL_dx&un{ac;B>;aif*#V5M31_9K$%FdCX*F%LWdOh`^%>i#knpQ%&M!pJBE)daplM zG<|qJyxttyb(Jiuk?FtnyhU-fSUtD_R<5%~;rb0YX&kKm4>~jax6c3C!sr=USpPF? zD=T_hDJrA&xKdvkQwqW?!4^^D0mVl(P$$F>1yABrysjf{qOCf+UY)MnXsfSOTUvJT z^mOZbrl7>73LcZ8K>$ntK7e|pWrn8@8jQ;e_jR{%1@l;sFtE9Ho&M|S-nse6zKH`# zm5d`&|2~e{s%`Fkk{YNfX#KP5QD1Kx6Xx`erD8E=JRE)z?-Kl1qKd!zD$XvX9^4 zwUH!-^}nU$5L4>)@4(&od3zmNBItZwj8T+L(iqPSkY@^TgAd}xkoM#3L_-RoQ0LOj z*v^MV$tnkI68)HuCEC*lsKQX@snD)?z}P6Q>^&8*1`me|kQ_s-DJkaQOvd`5XEuNM z!rdKpYA7Fyvo>GUYE0Z^I|dqTI}Ax*$u7tS2NieWf)qr3em+r~PW#Qs(EP}RviWO$ ze~>y35u(qz3cGjlq_;5l(<35EA=!{ytEkdB{d^E|RCTVo ztyN%~AOBRAc}ltm0{`6V+dOD&xTppOH$?LbVGZcztC>6xmhNbMT}NJw@TR9lyngxf z^}@Z)-=09Z0TI;hoZyDlQ8rxoSidi%JimqdJ7@q%8n$UMwxnvbYIlAJzC}1DM^M$Y z%@UumO^*CnCU9(%X~ev`&QavWMZMgBY7QA*tdXvbtYQ2C-Gg6}lv@(~V8H2sRQuMZ z)R5VGHV8y7c_3Q|)~x#A0GpzF35w%>W+o`q_ay^?r#J)1bi*Efe*GhV34qJNSIw3; zKffKwlR9$+O4^C(A9R!PQNXZ<(6l$9qF@DudzjZPmb;|YnEi_aJ+KG_fo-veago8g z?K0d@+=Og#EEFn+{K?5zBy)Dihljxtu!cvkc$`ifv;iZzNPo5c7_+(VIH@Y`JVw#8>v2 ztFVMM@Q53Ab-IVn9$9LraBc(3k^#)%wZT^U6KqOE2liAT*WjuN)Z*rggs=Bj6fgCON0cO$R}dSv@N7$H;Kw zX`~$Gop18s+gKICOOf1tVRS=CoiPd$Kd%-JPQOp3gTMp4sCxDFs%Pk==jRpq5Ge z887+P5~T~Rm6)l=!SetZh&p4UnB(T&^66`CGx89M$c47o`w#dBGp+0smj{-_7P^=s z5MQP7_URUMW+4-`jo{UYxRb<7o%ub7%K6wj7;G6gU4pT_)_uDeT6p0R5cUdpLQ*~S ze8DKV#anF)!@5l{4$$Lm8{2RS8{M~uKbBB8bHrGivG=DC5{iu+#?DN`FsMos=>ok? z-an|t{NHN*>&nK)@VD7r>^Ms+Nqe;6AJeOK!}EE2t$>9AEfR}q5{Aq*x^V);V-$qc zipJ*VYo@Kam|_kQCr|TDmNk)f>J1L8D5*I3#zlnsRwFb-11cN)F|;2>Q{1NR&xDhS zkItD`J_%w1Z~;TL9tY#)2=%jc^@jm>otVpy4Hi2*g$%!<@E|5~fdb@twIiaSSyk&a zZo+;qZiY#7e6ljLA|h}FGPcPE#{)GM{Opz+do_niAVkZIu|ZN|;`4Nn6lnvL4YtrB zqe(-C=z#P_^kBJBTe@D9XPnqfXPytRgVgU`LXp#K6Fo6niAv|IZziULO z@aM3*1lLw1J5bO9AR$NEnk!{7n@#b)+ydB(KNiE7RT~w8Uk+*KOx!hf_ zD18oUFn2l4MUD}D*1s4QVGEr2JFiLWN;Um)Va>`z5(r&9Ld^xcal|Uy0k8YJKppC& zvag;_%^Q`ME-(BsS-1HcO)AV(F1kuHo%R@O?_$4g3Fg*ggJ~hXAZ$x3C~Cu%kzWF@ ztZ)4X1x-8Snj1)hrB}V4^n{<@#wlG{{6lTL-s`SW;&L?<5S)KE5=qA-gpSSKr`hKa zkO6{`pD9JVxf|7tUr=lxlCvpgfd=!9gDR_Sww0>+*M4@Y%5q%{aQcwn+JDBJcXydY zRB2~)@uOl~vbH3oURVr430%=|_N)}$Obk+ReJ_mQa=0bVF;|yx&VGaI#MkZz(o5ZE zG+nm$zdw9uh+t&6C|~k8R9^+(P{loI4=Fm=QO%svG#x<_SHhwup``Zn%zHyl&;DTV z*B3M~6V*So2^4^l$oa6H6}|AApZTd!vD*;{*Mkp(z*C;CAXlPo8I`^3t{>vRE%GZe@Kj*XLTx}6=BEGNl@xJYr{9a>sl*1 zb+wQ2t?pSHE42HBcjSvFUvh7jvj;ibbo09;g|7k?U7nwwngAeHk$$c}p3Y4XFW}5Wa2cX_jnaKa>3@Ek z#(SO)-RFjir}+EtW#ff;O~Dc5Livd~ z3h@)FEB4LK&ufYHjrR5`^wG06lQFW>%l5I>6A?1A)`N_W$%9YJPD@djE6vu8k&%jqSwG1_dq_n)<#0;hUt>mP%G61JGoD|2&2})8* z5eoV1acL3C5g_&uI1$<>dKwzKy3E(u2bv!!T|?Dv6fKH_pSBK$GqAVzhUo z3C`tTqdq26IocaD&W=^Oawvp5*a@$h)dUqZl^x9;F@$ES-+x*(yD2Br);CuORCl)4 z=I7L`($f;wr{uS|oa4P-3dW#HY0{hRKU|-$2e4N9S2!osokK;BivM6m=wi=hZ)+`$!os=(>c+;x&K6C0*bYP)IzIowHi*spl zb8S|(**MVNob0`Q%Ygvk(zaau&liXFUv)|u>Hpp-otL-#ix2>IU44adI7Q~nELDH! zFF^LUN3VBZQb(6UEfNWNpZ4e`B=Shfy(VP2Zlj|(t4q?y-)@j?_X=^~YXTQ$z<@af z>Wumg7a@CT9OioIaezl6F63GPAbcy07`l6Wv1Kpy5=F0=o}O?rUR)FxkelZZETo2l zBGA@M9Mj9tEjB0;O#lf9V3G`vagCnOR$z9vHq$Nyz&DUqTF$*Dn=HS>0*{6Z@#lQ3 z$Wz5uqKHhfp^ZgG51L~+XOT-}ka&u&)UO32e+7eiDC zSa&9LsRpbI>DY%y+#TXPg;2;5pPx1tmq7;GLzwIs@N}Fe8H8*RR8jF?(G6VtX;4IZ z0jJP9SKBdq#l+1FuZFzyf5^AhKtjy;@>52OOWut zo7JC?xSZ0+xxvx`V$?|x)>|d>I4(hhPGZF2K-`ZzaQkJU!a!%?J1a6+9q!6X1-ZRn z%Lz+t{3}p3_DQT$zco4^`|p5vxihKKc`-4LTHo^JbEo`vZFY8iVBa1__Q*m-Ui&;q zYrVXAl6|1DI1_TNA@S?9ke|G>?8<~l@ujf=Uf4`=NWDXsQYKJxQ@UuU?Ov?k-w%cR z8P3mPr?D4C>3G|zPfuJM`ZqCz8#aW)`^43}GvDLa_cmOsx))ulJL)?fh#enP=XRyt zQVT8ERhjAt#_D7v`nA}co;exI@59+vP0}fph8q@b4WsSXBaX!JE^L2(FnU5BMu@q@ z6>@%20GY?d;Q7Hzou?YW zcF%%0PdJ|^`g@VttE5O&Su7U(tC;im`vTrCZf*ZOQhLVV^m33SPzE8$nz_ILM!;Oi zX%O<>^nwgK6F!VC%&dqI)L_NATZ6D&;R08fU%~2@Qro}zWfgE9iOBO@0}&aEYWT~{ zZ&A=Vq@66yOx|5k*b7|Ubkc%_2=Wy89Z?C`M~YnZ6*~E1mBS8`q1`(Hit`YP`12$3 z6f0Tukx#RAQw_F`HyBz_Z&H^aDREO=wraQ6HdOU7N|`A?zkvyffvW%EHTieF5hnKk zBVt(&;{ERW_^;jw)mz?%PJmoP5NL*rdBf$}DG@RY#W2?WO(n@?J}`x?m#v#^LIcl= z1cw-n$^!~Ev;stAqYjnmseMv}5j*(UR?Pkssfm~Z%cNI51pXNf?pC$;w-rXUQwol+ zo!0dvPOWxwS3s{mp=%}osH;})hO-OXlEthX5(wTM13PC&|DN_KPOiYs24s^$v|Ve8 z^<`5ey=#^nyBI{Vz1E+$1C3oPG|`F0up%*Uc`^#!q&$S5?+586xX;wJULW@dtDhvM zJVoR=^4Rrk`>L_AOT+a2E*Gyn2Wo{ZSJ_Q`$L+IuA^PcPXy zMfrtJb#l;=uxQg+o|-12tSM>0+>mBf+$b$yk{Nf{zKgUp(FjD;`Z;&NnYk( zar1->h*t!!(kjoKw2i4Y{yoAP;WXBpd-WTaG)`dlM#6I<<9QA9il8$t8Jh=sgM46} zmKebkyV*blLQ<+%`$`#`fBzPL zS2a}L*2U}S&!vOqw0?dCIzOth=X2A*wa_}Q9^tbLq(mlytIiDauFUTzvjXp^HgC+A4v1@ZH)3e#wk*;&*Y#Ksxump^ zSkD2(=GKGFOh>u+6DXD6@$7#M8~cArBlug7{wrA%bRq-!k$>NOp*XEK1ap=v;R|XA z)-}gB*Lj(FT8ChpEJc2QU33Ydapm1kWjXCUn2dg0>8kQH%2kXjU1(^G3o5KaQ%o<)%v8ZhRJ5o&yT>Djk!Pkgc|CAN2BOyi6?5y{k-01Tnw z!v>nv0obtIp*IO3!zJ}0Htpf#5%U9%4IyW6gE6$?AGZFY5tw^enPW;JjUX^ay<~o) zB?rtW+y(T=2qqx6KLi88%f8LW=Lft;K9ln226;!skBHqEJ$lL{FeaUYFjz{(e+_3b zUyx#5WLD_?^ZxErTHRjGpm9!+X(4-^o(pO~~yd)*5OjE^8h-4}dh09)8*f%F7gV(%FCba-ngy_wGjR??6NHVkSee;iF zzI^m5*Xx~8W3ta);CcAWAL?nxSp*WlRK2%p0bl>Ep)y-I8gM?tpM&Io)ZrexGhO!) zS2CPR|KWi6_lC=ihL}XphUWkvOSmLtktV5C=K*nS8nm;v>-Zz*@?ZCdiXZ|sKVN2* z6<0&qoqfKQsI0}IvxIps&LWkrMj)wmUrrtj9IeLTWD#1w`6Uk@B39P&BEG<$f4SKI zhv@x-8T@~_E+GkFQ9E1b|Ix!o|9|S?W2C45SAy82c*!G+;f|WAyP6gL*%_}Bb#pd# zJUtdZ-Y0^KMnRO10xuHox)1lC`UPmJ?`8lfqAsvrtPv2_wG^TgjB^{%zzfGAEGrj} zUf8ZrugGyT5sBdBHeT#mSKg7iTuH2w`dw&NQTnmjyL&E5^~xCgK^Rt6p zWK2hkBa$qKJt;?5-_A^!uzh0fVt)0Pm<*8*!i?eo<}yl?xQ5cNOIDv}QT-y1fqh&M z+zBVNwQcBMbsC|r<$0LjBIVm;*E69X* z$#ymF+zy{&Y2CfDna|fXx079CEW0d1T3 z?+wVs^bIkDFyqNCFDCy+D;3;`%ghemE} z&5+)$RO}p|702ln0wBKw#MjdoX)2 zZYK@c6*wZe!hc`e2Cceeom<|yJ}I!tl3sIyKkvmHJt7$;cul;G-j3OothliHOGS48j^mL0roqoU=UIBaI@_^njYT>)YtBvOuMg+yMa2F4bG{+z+=4~xk|}c}JT2gU>l; zmFy|oER{{Xtwi}6GN?X>J#5Z$d@)Hz=Csl8Z>Y=LU#dV%=LFEKR!2~7JaHb8Mtm-4 zRY8`4mwz}^D4pra*yHeu^#C1b$>uvVW;4LbXR+{F7|C@sE3`UXXfgzd{MM=*gMP1A zc2v|LHOUw4qS3?WfkdIQOqSVs#JpV?@ATbFpVZYa^h*$rPc&PqEHZi z&E`L8$IC1_oO)OTYuGBp&m%m)+k(;(j&#RfIMAXafLdrce)u!b0_;9UP<+uU3_VtNBN0Q=~j z7b3jOvHtaR;ZbYD4fovI!iM*N%pStyDsNH9=L)NhUD9)@hw=V?;&!;oNRDt!C4(qC zMuuW9(U00Cbgv}tq#xCVqIgBI5m=&Vo&g!L;B2D9W3T+@&!hlCv~9WMJYuobQ?2GH zMVOL&wIENTQ&I@*Ucr8uB-A|_A@yrIf;<1S>90>^ww9a7CInAvl7;4U&DI3J#XfL` z74_irQ$O_i?gZGIcAJY*+~+4fl=SOaY`NNtK`iH+fLq1&FJBM_kaK0zM}#mm`eMId zM7d{p{(N{HqPv`*p*2oR=ana`S<*(_>h+qnPhVu8iUrKI6RkYYDK{s(sBycLBCJCD zdjYB_Ji~kfb6vp9O2ZU`O4%wg85I>97nGr`8ifun%p8_h&s^Bc&C3}U3)g+&sV+Yt zIQ=6k|Djm;FELdA7Q(Fb_2cy6jqTOv68hHg`|JS#Fp+_J|HInf%kupDKxp8G z0}b7gJ%$Ly17mA6Ev_t@MLz1btDp02){W{*wJLwsCa>4SpRM&i(wt0Ba=d=Lem;C& zK7M{A!R6!x3FF=AB6Qyct&R1iFDadV(>l4T&lx&-Hh3AA?@>vMK&t9P1SEn-h4x8> zNaV0968Na?bEJf1_Z&g%&C)cK0~3s=?R{_Hg@_@?hSSs%g!FbE`V;!&lO#YSdVlrw z{%D~^CQN${HW&+)OdC(aLBYagV_D2hw5BOWv+`0iJI_$Rux06CPtmQ~NHU#jE=qUN zGNtR`PK|;-P))TP)`sWW&Kx~~7Si&Bu$A6I{3hnzw5(HqQ;y`|n&c!(lcUe5@~&A= z7>V?YB-qYt#7ua*oH7myX~lr~Tv)z?@J`}b92rex#bB%kDJP&Ph-M-F%8zFm;-MqIcte2@V3;IKtqRjaw4Q9dqcDZawXQptK401M8zdPT zO$8?o42L&lMG*ZAR~M%yEeKaPB&m-O$8QSGp+_Voj2^?kFA5&Axsh@A3Zs!TM7xVN z4k+3cI#wWEmZ0aOQc#(aC=9IY|%#`B?W9!?HB}4Ftr1|haze~`hEmO z>42d|X}1ftl0_1ml<^d?3%hQkn5WQ@s0`s;i`M)6s=!c6o{tP1`D!52b-Zb5vza`7 z5UcFuGCErU+Shsmd+Kns*9);Ei*Nbz>=coL^B{+8yIwH0i6^-q31RLgN6^pq{P1@N z-BJ@HP|zC|PL?B(W56Pa3~e&_DA+(Y{i4QEkzYqIsOB;!;_R42dMp|fJ8~AQ2V=ss{K3kCZrDvQ2&_tL znArw6WHN$uG>k8wZBh%SOXcDp`oNHvx6=l|1ru zM!XdlJv|q+)IC~G*(peYO1EmQ$1i71?^&PNDXIuI??>;%pp6hvDMdGnTr%1Mx;+dk zg*Gzvb|&YWA}b5(o0KwJ#i#h7Ip3d8m27IRnwV=XF7xKFM(be}6YMruF+HX-Ix2_X zK$j_tLS^xQ&!1#!Gse%?Yoji#%~w3?G<0-SyWKj84~{!jwOw1*X7vUoo;(p5lM60G z+RkrB63%ZUFv!h0K(qA_mW2)^&j#mak#%wx^1H)s@<3 zX~3*unC&D{o}C4G;T^?(FkaGHAJ!wREr_;>y$X|SnF^W}9Zx{c!5sGl73Rl77^IM4 zad#QnzY8uz>2mp|+v8c4}4d;`4TUAlJ=w-0}y>U`}*} zuqR_8%JU=hyma7v6=2fapgtQX#$WS~Jps64e3ilQ4&$(+rfR*D2kzkdhl6g2B5*&* zx9}t4_ZpWRSHr~?TI+Nzv^G(uzmSYpkL{E91Qvqazv%$&kNE@&LIoVJF1bcE8%}=^ zmW1Yhd_D^BJ;dk=`4RCxc*As<~8?- z3@Cr$4YI&ibwBhUD>AQcIacO`YDVTcf2?^M8fEGIt7bc?5dN` zTQWn8t@0W{E_SlgkX%T;Q|c{!uQ+Rb$k4K@X|KyFDCM#=fQ>S0MM*|JvU-dOe0Ck} z2dt-zO5)^S1X1dwb&+`gZSbc~ISnxD{Sj5{nn2ZWNx9K8m)rB_;X}@f)+gi=zgokv z+_Y6~IUjT+=DEpHPjR}erLO7M6}7Qj>ffokhQ%D9vkRn?+0q3dcHCL>6-g+fyv?oEIt z_7jqKTecA)$8?6Iu)uidU)%(u*;FS>e%t~l2Zrg1z!E;&XnV8TSe@ZO&BVsaLZTs4 zAwVISxr%#wY;aynk=8q?DkAOpylPKwac5b#VTrgXUHS#@S+wz*De>vw+@7_`A%%N4 z1K;qqg_NbWnY`WFJsQY=Shi%|by|IH=lABsst^Ovw1X+kv=a!@emT%fP$~;$sAEhx zNghB(9+PyQ6bgcd#u>h$(*d2E4Vv{V`=kBvKKD1I&o{2LL27k+U6Ey_b zXW%n*`|wD44zQ!>cvvkQUP8Jt*|GWn*Kw*>kxO(AcIV>n9&l&a3AQhf1GW;u_w8&r ztdD>o$(O=6dHPUri7shJKdyhxHAaYmm*`dbYviPOVuk1ytI&`wQdS_Gs1*y_IN+{$ z-cuxtj6TeKS0cfE*yG|`wK0!Bv^+R6_<4Yjrw=a+uM9t~ zuWlcb4+wyU36%Z6uFdfe*6+VtF0wGN{;OQ<)__n~T5aJaAO=HG;265#c+OheSV1_g zs8$_b@hAgYNoR-(002aQhY%X8OQe?&#sCta$Hxy;TDHWgbgW!yflaRDwfflRY|`w2 z-QIfXMrvBw*?jJN@%ek%gVe)x*}c-c`o7xhDjZx%MSvI%`q$xMJmZ*2j9R-%8U+QO z$91aABw`NOgg@)y#M&4Bhtbi@BV~^RVYcnok%4awrT3b4=g;-VanK7)0=n-=LMnt{ z($1*IcRilp=oiX9pJ(9*{AtL?buB^>6agW3cq(`dx*#_}hcN9A^X8PkN}i!^9U&(# zH?Kw3OBw@`X}Mv-!GO@Upf_sz*m3!c3LRlKPXeE-NvQUpnwcwD- zOA-1Wg3fh>vbcC9akFbSrNQYtLL&yg-2R4SB3_)oUukelG?L*#%fc0_e!qg-w2$SI` z!F2Tr>LOJHD~R9100`p12nNFJ2m->03c}F!;o^jf;hG1~0V0g^4)aL!u?4x>sNo>5 zA%`*tGN*!Vh~b2a#_&E@18r5#?G!o38*6A#2J$?r>(dn#m^ z)LiR+0zXW2)7}(b{$xvD&ZhWaRj#*xkVLWpzi=du5|%zaVM3F$5hWB_2>3!I=B<<( zIk1E5N}81j~S8*6KIB-x@nXzBs0_kF^5Kiv8Bsj8k${ zkNe3GePvCR)gmBXX(qPWF4n1RG2sA{_c!v3T@0hVB8#*(%rNJG*Bym$&hVsjeL z{HKEeic=ngs=}}em}Uyd0`BJrCfAbRqA}W)Z75t1!oy*HY85@sITJKzb-+_hPA=*| z6?QKi=|E9t^=L~D({EP$08g7GRL&OW`jU<=-$RY!>WZq$a>HxJA3hzVodG7+K)X=zll7rJvxIE5 zR^Skl;h~X~A?E9~95r*3X(g4&ua$O-X3@f!nTh3N+fHAcu~K_WY%=WIdVn&a^$Utu z4H5(ued7psGScxi5#3e3u7MFf$p^-+u{eQ5FAK z8RbP-44Ya0X=XDs^rm!BSMfFVq?sz%jb-Fn5udOPOpCI_4eGLk{2QMwxXx%?!mM+= zP#_3gFn;Zk>7W3{EZPtQ55MLcQ(QDd(ljJPj(kvU+$i(VWmfm{uWqo4jA&M=g46g= ztec)Ucw;w;+MX`Ds#Jkmidg#k6+RN`q!2jqiE2SD-CUJX{#>b-i2KKO4eaG0e$S+8 zGbY4U;u#ZiG(vM9-(gPL#R8$Ql4occv2+S-UTM<&sjD|rDP34CYa7mQl!tg9A4Nbl zY(rRGnb3Ta3jkJi9K_C?I}O)MXGXEsWD^NzGXW6d+PvY}%v3 zO}Je^66y@yJiv{9GUAB6H4_Fr2qohfw%2B3jtQypxxyxC)ZBB(RPuc5Ul^8iQ^stR z#VIMV@>GkS(C1q0qoR%_{TpN31iLO{b-IwAJ)uK|jhy{}<*?r@p=U!z-_xB3vMk1v z*u>9sQh__dDe|%!V!k%>!S+z%ml5UA%idijfH4DNbsgVRaxWtXY!mCsObd2q5%I-= zLCy`p$5zgqr2>^^k{5(Nv2Z50hM%Okp+NQk(tU>p>&aNlrEX3TB3?mNQ>w~!K|pv7 z9Aqzni!#{i5RX23!K)&zni|CS#f?*m#ooc@8*ys@;LhHT&YFKO6;@iVWh6_@86{Yc!^|2knHN_7zvAPQ7d| z59;RnJg)Wg$b8UTTAbV1iy(#UasS5t>@(8F!g|K)Pz}_%9(&zBN;z)|N zmar6lQ#4K3O_)QT0pFD>|Da>kfoK;9I)OBXMTBbO^zf?z#o5y*cssfee>kn`nN-hu zA7Da+YlD%J4X=`?{H>`@$Q2@$nt*%jc65f!AxwW(gKqocHk6?BB-nSWVq7@vnO*HF z{$!vO9|(~XL2Z!LkkMs3AMB{3VqB)nlpKvRP`%$FFO^YCk zV_A6V4?KHv?wHA;E3HUYzjZzkQmq-FZ#_HhR4n4Ra+#YhKkU zWPDoSqOcVo1*v1qTJku_IK5uJF+^5cW^&5#PXCf%|4^c0|HT1CqwkobCU*P*PpSsi zRwqZ;PIAS@afggLVMDVp|G9kgSJ=!Ga;t*OUQ^`<&3CWF#lcN1Evo9#sljYt>S|vM zrudKKXJcEhkW7z}dke7XAC;DgfKmygcm|5d!HOCt_6R+$Jna^tF$UskYSBQraQN~;R~puke!4+rgW01$#QZ4ZTiHwLD=<;BoIfIz*J26pkZ|A4 zamt?tWs0GGeCj{V{;m~8rS)2aa^(na?`{*>)GI=oNC}?BDe5NI0HT zyfTMq_63$d?4h}Xj(2*&#m}+YsLC1Hc#AsRZp~a!g2B*TJ7;~}4!!&8#7m;~zXmX|uzhMc*;vj#WDwLwBWPl*Tb;Xw;aogcu|mzL+Y0LoQeFVfZ%G zSm(rnT;_C*FS2Y1&az09t2vhJr?=MbQMOvRgZHCLa@jRqs?Yjoe*38!TX)>9m1Cy? zYq#xvBwjuCuy<0J{GifA{WxK@xDG<^wL*a@n6ruqX(5sp-5fvgUTTns^Ls3^hQm}i z^a~?!&P5wMT(p7?T+1)%`qdT9&eM- zzaturQH^D34IKDxqk@a+BS3R`_JDly@U)s>(rKJ~W(s8RxWJTd8Y}ChFj3_SN;MpA zV(Wv4eP*_D^u~^k)$jGt(G`Q^wfYG=O9FPN_y+`YNs#D@m^8CxE5&{{5MTGtCAxE~ z&bfPr$=AIb%DGBmGM-u3#L(8>{*epdoW=!7wZZ?U+O8JLjhHj~sS@DfoV=YFMZ21A zk+b%$-hLP&0@PXiAs-gCV9t&|ZxA$IHb!S!jIOF>#h=L4Kx_Tz$|&3bKl8Xmb?*nq z{QNuYhBQ0sbW6?+2zCHNF9;9xfCJ;9Wwjp9)e`%ilD{+mDGv%1>lm~Tw%)|d?S9Mr zEG&2w|B|jE`O}wHAVUgtsuiPC%g+cSg8y@Ym7<9BVlXGH-M3HBCeuQ}t(e+ZHNo9h z*iz8*)<&aWuEIa{O^yBA4eIqE(y#}zHtB0%iVR777+qpIrO(NZY3(X`zm4zO?Z?Hw zbE%ohkRDdn#3v*b9!}Yv)uFrc1)|Y;dJh?<6yRe(EAR+@ijz z!mzP=si%5ooHNkbYZh=3#|-CIHTrDmtv4$)s zCbt{ZZu9mC#-nN_xJk7H{5Zv-u1BlJ1S8r)!+MQT!bVwtl3g^c>n?~4@1Y%aP{T!R zk(T6UY9m<%=|B}h3mrkAx6^Z_=D?RG0B+forji5z$2; z)Gx@b6s=R#>;kL`E!!ZeYxUxE787-lkZqg0mu*lpEcp#o)mo|9x$|vHLc)zE|dzizf?zfSl0c@jY^}6+vIzqK-C}`a?Zb>`lrj&01W!j*TKI84= zs<$$0>z^4XP9W${y#r2#Qy|KPycP1Rb2V=!{gZN?R6Nc(z!^z4ZmpQ!;UmTqy+28n zNQgi!Uns*}GjG&B=^Ya5NcovBFKDWNbbEp~%p1gJ_evS!*xbtk)~e-N*aSLi4IzNc z*6luI&b&JtJRMd&?Qiv9n1y4`^~AIl*wc{cKsA=G5E0jYrV9ZD>%JVI=c1Yo;h=b! zME*vft@TTS!**Yj;`+fx^YA!h@^t+==b~Y*54JowXV=dVE#QSs{M9}F(=&~>v;B6X z66JC_yOdU^)GmgP;o#|9szhv!b(wR*rdezyfBMouOiO`i@!nxzjd^fEosZVirj2*z z%ydc_t07I=D1{+=<){$RwfE6&E%*Il5Z*k`g;{>(L;SErV`0PR0$Znv>9i08bPm;(J9Pj< zUk=B280h&L)*6tMX$)@bCwM~=v$a*ZYz6EjGk#%Cx4cK!IkJ=8u9gz}#lU7|X^r~O z0Sdcd!90FY#)$;Q@k3SO_Z;AdF8u97XQZDS9t^+Y$1PT`>4&xBzy=3zqH`#(A%$C; zh$4;LjjqtU12(R#tdNoZQTP{2?oxwM$cQF>%|P_0d1zUb9LhucCwxEy^xgc3yXjxD zgBhdxF7pgJNVe2KZxCb+<$`#FFe&Kl!c=(z@?ESbbqF|pN+EEIC$&%o)qx&3h?r$I zOJ@lA*qR0zc~8pT#>!;8hjo!ZpGeGgM@k;q8;;>8V-9Ud!eKTl+ILOH{Ihs(Z<|D` zdMrx_&7^=BRWIK1R+vE9Z;Z<77aC}hqW0>tRssP)l1%AIAtUNW@r-`G3v69@#%4Z$ z9L2Z2h%3>D=-TO}+n-Wou)nT{hTTBzW9#dSJ0)gEQ8wu_JmvsVIJ%v&%YD z-LBa=T{5gd)AQ8&Vz#=d%>fX;yWcv9r5r&$95T6LHXx%KXDZLbs$5FDDa=h#RN65m zbVYs$Cj8qr&W;RSE5A3&Vmn{ha~gWmhH@|xkPG|6%nSSd6+y@Z2#Y&#cXmF;YepVl z9a-n{REp;imbE4*sUqF7b>}%3v0gMoM5t3_Rdh$y^yF{xzg6h8LmZC!KWPH6Yd)h# z{0#J}eTcepU%j1Vs^4a>YY^zHYp3Tv55F}@@8GbkleqGOP%&IX6%x3!M>^6a5M!Et zO|MYHib7_`%YWVQM}kAo5uUgSL|ndqLMfHbb2Qt`xvmDmRoIWaV~ZL zMDpNR`sci)B$FnS+N_v2aiVq}Dv(IfBXSdKJwR1$p8e<VHx##10f#|#{ z$Df`VUy;s<@uDr?sH@F)He-RJ`uO>v<2dbECI}3XGlM;{o17_wd;L*l`m2kb9M_XJ zt_R0)sECP~PHVP>$w+zWvTgPT=gg%4e5D2x&d9lUNOj!$@jTdReA~Wo@)o|gXY4wD z;ZEbl`@jv1KYNAo6?+9HAXdJP@M(#j#!C8ljC?(%LIkFreWs6{rRyJ>CG$72%#xaT zb=1hWzwlpoWB(mHXh@%uJ-wecoz!r1^NJ*y%`&T3cYJW%^7?@@BMDjf4>aUI+UNfF z{kP2j@;vw-ia30n%ImAS-1cucJ{Jy@v0e={Fe+i0U04M;o1@NB# z@W_9N@c&)rla=jX4SPC@TH?qG=)8xvR_D(1E=0^`vT6|<>(hi|VRa%h^V1tJg?Z@P zjh%9iZep`27D$AYMpDas`wf$-fZ-PD2fb4qXmA@WO^!b}{z%tFC)qqBbB zH(5W9Gy8@9%aG&|8wYlr=XTFmR_4}24&HrN+(Clj|w;u_I4H}N2Fgp^fJ=!H4G5*P7 zDedw#6Ur{#_)~duM8ybghyWTl1*H)F@uE+MYUGWKUIvm%J<^I^2LL6a;nShn9B|a6 z9HU4fa-~GA`I2SC;FlByVUTdCZ~4ee^F;gejl}r&$#`!1G}uBLE^LHk9GtBo0iu>J zx>*u>EmJSb)jZvFKo_A|dOK03ct8HFGwJIjEm8E6A#K>2j@25d#^CW~nzPmY9d_

>RMIA7PWIDtg0;3`8mO z6ovL;$}A_!lY%j}miDU>Z}AVfP8yXwq!}J`iOd!T4tmjfs?isa(7Cne>(wKDw=Ndl z+wm(9!EYq&|A72|w21ugla1kDqo7v${s5x*zW_iH0D}I*ivLh3{=2!vLjSL<)=`kM zLsUTSK`SA#sa@_cmo^VQWWqGSS3zaP5;``G$<|5%!J zR#oMXC$(H9j8gNLuH;m>N9vfMC}E%oJ3cpnq32a<~in6_$uO`28p#8qf{8khx0W0bM_5;c}R!p1ydm*pyeO8$7>K+saw(28kH z7hj2h0$Y1?#!gV(rg8}tSr&73%;x@iimi4%@&Up|>@jo`O9#k$bbwN1=h5=rsL^au z6$4im-8)nFtxv9@!*5;dJKGxcNoo?Mc0oyp98P%yR`VqVm_(`{+!+Qh6_)r=?>VGl zApj8iloYWbi+MM&gQq z>-PWP^z-Xt+w#rOAb%*M!i7brz;jdis?Jp^DiY%V#%Z_+At64ctkfd$dyIG}ov$Bm zY<-ZP7%BWfY;5Qj&Ni9Zz#f)F$bFJ@fjh7PbHqqo)J#F{89?EW*!J8S;O!tfdWoC8{@;ysid0$q?mOf6Yfxo2%eQ96dFOe092GA@sROoDL;C8R1i6#|xH}0UD+b1}!<|Ah={k-z*&Ib#y#lrRoxB_wDJ19-{lP>`Q4dn8y_coD;nv zkyEx6q>%Cvpkfg40tivXZ~ZG_=xsiC9Y4iEV41sx19*SvMwG56tBYQd{We`P@4bB& zmXS2QA1Xgg**wlh@!I4R?+Z}>*xa;pg=h1$c4lKk?79jPkG1c8o=Lt2;gR9lhHX^> zYUyo;jSDG;#23vctJVkMU&3c||5 z0ztvyAb=D2-N}KE;*H6=pzSn$JqR@hfFrd1c{@uofyUw&~1{wAmS=lT9wKz_v5A zW|`IfY#C;oZOCRh<%I0JqJudNk{TgDqdp@&M+JRd4XTPr5Don)914$M7wL$783?&~ zmq=VNabT#2%%2?yi9A`?)Z4eT%kL#;)U8Mw9fc4HR}l2GGw^S(0pB#%Y~jT8!|aIBZ6jf$60N;q=r3hA$RaLiYvj6`ebWvmybPKYcFrU+LsOqWNX zLao_sVNq{W%_xJnjfzAjn;0H=dk7J1SEr6rAx}u5QO^?(ze|}gL=|rI`RmRy%QcR+ zcAeSl`cSg>hPC=pz24*!-AX7!5S20!tY8>IE=&00+rB5Gs1Yb0SdSGhV>F)@IX&7{ z50VDg0<0BNJ)~-cXZXDaN)50XXfqsG4^NG}8FDpDSf@@6E7garj+rvPzX`I|7}xMW zh7Mq~!7c&J5W(!PH|AY2KP;ZxpNU}gIJS;!PEPJi?raYcKbc0GWAr$AbLRG$SI6lc zj)!8xXS0IH+GQf_*DoChUC_7>7&RfN?NdY6i;toxNwpYn0h0T(gouvGXR0aX@g|6w zSl-g#m?Q8yGrQ#wK6;*aiQN@qA)FKADo-?T@pXO|>*~*?o=KH0#?6K#cR`ucwz7+r z(!vv4gN!3@{w#6Ki4~OB1;#3Kp8?z1>!d*@E3AVUMa_+#`M%+5^L{p`gPYykJCj1f&@>z7%U{;c+zH6QW!Ru715NWGV9i~3luJ&z6Q@*nGED?dvVVC z^1h;E=}ETJ>y<^_f*G|Uh-z`j)e0WUc%6VJ-R5VW8Xa}nx>+Y=1*+K}l^;mn(m{LV zKd$jG?R+t~#U58Z{(>MA>;$ui>{cJ$&FcTZY=h?ZQ2y zv@GwL`QE^7cxlsKl5D+R1{;CWPNPr8!0p~NJ#pR%_PSnY>J37AOQy_I1(XrxZC0&k z;RxQ^^Mdsp2w{_jQ_-0l>o{K$JPr^Ra13f_ZoaEKPGsSUj2qP^a1{EC=b#>Q2Fo(e z)81ofVnneGLI-=tx-uxr`7v>HQ?}MrR8;g)Osy|Ly#(s%eJF&4;s=CBPC7|e@%Dn@ zRG=-a?qi&&x8IA>n$n8B6g%9v;e{4t_6GCekLHlf@K}AUF!!v2h+Qe$DMdyci3d~b z$GF4>vX~u5&=$!2y!zFA7mF3Gvag$)@>J4@8E{Nx5XT$`*y zluATUH>jykj1CYnbTP{(?|ti65mX;=mTTGj<2dwrCX&X9 z^4Q~h6{iB=^MmRMB=a`8IS115$Y)csDgcOwa-Y|_FI%17#ZD}U z%eeuf3yAvLDj)O9`BAGMSXTc z!mme?jbAV@ITul{y5_88pWeACFFY<13D@mI?n!Yd>fTYtfFoNeEu995c(oKu#^tG+ zdXh>$7{a#8dl2|R`r0P-Xtja1-(r=M4gnWkX{>9ymQO!i8d`05NKr;YVVTe|XSV}| z;EJL7!y;M~6N@ygGMb@SX$VL~+|>BdwjV4uFb~Z6Yx2#CY(ZAERbEG{)!(Ct5%&yk zA-ve41XjRCB04`}f?4zVCH|%N`@pleiK#M!*YlIPj2LPO3~B+SqM_;JV&h&E@{K5} z7C`q#UYO$q=zGg}!420oAInmj#q=KbR&j35cPbw5(f8Fm;#O^1!{y!3=Ixa2{O81l zU+sz!bq0)n4@nk;d3_KUz3&G&{g-{p&mp>0l^nr|FP5QH4Wg*}#Qk`0-4Xiq+Tjp> zhDG6G>2L28+2~q%-sLhbi51O&j$G0bTNB@-)=4cy#H0J*U{nt;FDWT57G72=gp^9_ z+b~=8Y1mF(kazPFw5->Am)bHPmdkTb9XyZsI@LwFPHwF)LBmFBHJYh+yQ^H89BYNW z8>_W6Mj7|ko&(HfYXK_vau0l-SkZ`jx%fbg16J&%i$w9JgJe*sTjDya6r0z`1b7_fR??+J`AL3=RHoGrSCw8M#%^#s__WKp!~GoB84-YG;Ws@Qcw30zia$48=TS0 z=oV=U;Q~UYq1`kLarMj3>7k9RL&0Q`V_+LAiCu%o{6(Y&^*>SRZ~l~kucj=GP0%mU zDL3gz`X%9bI775^JBz7PR(~7!HZ@q{s%azZUft$2`$h!8D}JlI**pulDXpI}O2=F7OrfBOY1hc~5qYM@f<88$tcMkFJE37q91CTR~fxUnxgPEGDa-LnQ`T_cWxdQG^U(9(3P20OhORZ!6D|EX*{hku|38%G_@jY zNZP(h`nPyem|eS+LtwbP9Ci$D+ZSbK{gQIET$)oIVHpG;*Ug57q3$^O9#El2V) zz@s&%%m75`uA8oPUBWJOcM$zXi74x&4;+IRx?{jDDO-bOGRb$v%KV}EM`G<1*c6fI zh`B4CH!vE;{;-&Zs9-VX^vp39zlo}@fp0*H=gVHlr?jJ%QLN-E!b2wU>(AJx;(Sf%h435$j=5{Hvfx=6liHyBD&NW3t42j+Kq)l4qk+ zERlW{>akJvxb@c=CPt>|S){`X1Hzzl(akqHn$rYmG`a)bT^!>ul6a(pDG??3yCEdm zI@l%c%i?*kSwJ#n>nSx}uJun_g zsH^5ojmLpSBT*+KCz!0FQ`jxghZqJ{NTp5yrZ8(v+-LoK#mvRbN)BR%6RIj)q^VUk zn8?n|S~r4K*5%T2CV%*SQ8ZvCF3!PT4fMxo=ln0JB@6!w+;sNV3F4B6YX?rd7jdr_ zM<>V~N(+f>aa?gu>f1^C>b`Snq^Q&xFtAgS--{vE724G_)1+|zLFdf(eN6neCgrkf zdSWQ4s>;bp?4s%)OQMJ!&%Qn(Ph-%mjrc3wwY&9rFs6d9l4%29Ag2@xkgHP{g&p}Y zp7BpM{7SN`C>M^#zf?UO^nai!BV0BM=U^Wbx~(gDCAA7}G4e_lP2a0Ig@hQ2>DU4| z5j|Om33n|~f6}Xb;8EKY&c7e(mbjUrr-ppo@p}64l57XnBn%CCfp=FG>awSa%~7|= zhnuAg%{~eEEhc!66ws==LHSJvt5yy!~ED9(P)AU<0tAHg3PHC$M z@HQI^d&RDKF~2hkn24A(#x(368CA-mItn|x+p`Hvg)k=dcQ1xqTo-YlRq{dZ)SDX)N<}7eg(%? zYCM7hG94KnGuR0b@TP!UKQ#`)XG4_P>z4&R#iaD_QI}5yVkCde37Y14b0k7hNuwJ_C2lfi&cysP9n@c%Vh1}F23x$598VK)WX(+A z&Kce2r-Rp{YS_iR#5dscQ!!}x>1?429G&s4&|2>%M&auY2#?lKDOJfQUSI6`t7*{h zdw*H5%x$>HUv(4MrUCe+3owY+^RVk@u#no%dce9iAnUj-KC zl#uLNDsUGwcPz5&XZ;6fIy@v_`o)fC_ZjCH=C^as7wJbw&)Tzzaj%yo(xDqVscI7I z9XVO3e)$9N9{2o#vzcL}?CkY$)qK*|&icBxF}Jd+vWE8GpX^+4pZfveSda++rz7w` z7{LGi5t!+JqH6vU`0#4T>UAWBgMmcYNa*wcP(TX)AOOmbAPWECAq@ZEgZ{h6Vm5|< z(~OEX;z$nYKfAWi1*sOzV={I>OVs7v=DrN?^5GE&B`3fP@~5twHPf9AZVwKS%y zR+J?x-tE%TMC2$?P4vWZyd(lXif3An^>l8og4+a-`KJM=U;7^Wp#asW_~4Eu9Yt*= z1s8_tSESoVMUGV^h%*@YI)9xjizO|%e@n5)MTHs9iNhz)Sl-mtch> zvI#g4uclbFXg)xm>0=3b`e08rYtrc{n(%fR{4SPF&9yc7zY4pqs3x>+D+&rBfFe~u zT4+j4NC-^`MnS6d-g_?sp@gm!=`9rL(tD8_n)E6NQVtNLMm&UaklsWt=Y5?!?tAzB z?Tn$jG;cjV%p*S+Grnt_k4s;igUS?g}iw=ra0cv-~hrhZbt=8=;H+WL+b ze|&&-)>WqUv}pBt2r-&Ogu*V@aUtbp6$qSEwCU1V6--PV`cHjAqyD`6!T@c+xbCQ7p(4fmfR+^Z z6o$__R{f8_sm|dvPzue;1kzj2<92Gsi6o4#Khtx6euN3uZyOhfFWyr4B8H8l;Cv5M zb_+8t4l`GTajP@gG+JlC|5UH#km~iTeQV!O%J{}UR-+)9pH1-%QA~m*8Nl<(mF)#1 z=QSkYoUs;oc-|U}pUpNZs%wI);UkceVh5z@Bgzz=9!kFvN34Pa3$psPlu3n|wO#`e zISOR9X1Q8%F}9OEs7go`C#Bk2|7{#wEh)pwb0GuMggZB$nZx+rPeOImniW_P9EQ6!lY_t|2-g?`zyeB;3LhJP)VB|MJT%zau< zfP{NHB^Y8i2PW6~Qi;%;DF~f`&iVGFIqJpe7s*7fz9pa}9QH<;^&*K`x6=ATDYJ0F zjW;(0=C~{QlHTi@-Lo;oeNXp>raN@-)S9ycZ}g)0yGqTF;V3$kr8t>4FyZQG_VCAo zm@182LB3)QJ5u}bxLEoeF7;@{#iU8zvOW8g%J?K9wbYbaXj>vc`x_l`IA<(k zskV|wqS$Cp;xpwTE0de*Ilmlt1@{T0i*VPvpn6&lj-If`JC^Oty^`t|6RCa zxKoEX58YZH^mNl=wAH-G1*B#5h6SWB$s1uZgEhr?u{fR<<-#dxJ1K;zD#gUj?nec* zk&F4Es)8b=bx60X`0Q6kg0D?$VU}jPdO>qNRF|W4`@klrq}3jz#JgW2&VM7l5i^IvTd{BRg(sr%VvvFQNF=D>_ z=MPY>*8M1rd*!%W=QAA3F9J%ogLWAU{DbsYv*-fTQ_f2BYh|XcsFek@sz&$RlV}D5 z{@AHk5n`3rnlC0Eo}<&Oe}{3c__t04ikB55h?!0>L*OK)3##yQMDKn;>j+=}i}_(b zx~ek6Z`X@~Fii>frdA68HQ3ac-_2XG(s}%bHH%4Zuc8jNu#eAh!zp?>MqpM)Wt)fM z={Xb*_P8JMtPdab{@KB&$>Hg{w5#Hv@X;W#Qs=HU-Pg$I_J#4dsG2>Ha5rcpoImpv zx-e#)bFC0Naewa_5iCzGAKxaos5Ds`{~K0`pa=q8tb6x5aoyE ze#+?6OFyBF`19@ZWuldJ^IQqlV!+1t^`+Ur(thJEFsJm6@=wHddnSH;C6CwvRdB3d zsbdp{BHCY8|D2q5jD-5%oU`TuC`-=_FyKE&=C8-5;t~%`y{(Eg_gNde0yFY$A@3x7! zC}pnvx~H9NgzuBOZ(1P@r^^rN!oJp^^cA;A36q$Q z2gKG|a#HwxhMhSI!YroK+Z5&hNGc1x@u3c-DHt_==O)B0*OOYV0~H6zew}Tid-jt} z}m z3cQ_yD#cHV5@pYkmkDu`os*p>1Rp%%^Ox#tL5Y5IXr(Di=YXtEM=-bp*>QUM7ptRj z6=CxF%A$cPZd>fv>=gIpdM!kuBSliI(G!0&y$uvhC`5Ai48 znpEYP+>}@L&+uY9+SnOyj{--}ww`I~h}aqQ{Pk6`j3?)?{QUAQKR2Uf_EJu+X$P;u zDI)c|N96K6)tX!@oW7G#vDR#pUf9x8(HY&)3OSIxjA^KRW8PaM$8C2#wNSxVZ|A@U z@c`0Dw@V`>qDp2YA~rFqHl6Cbz5t$p7y4n7kQd?(!GEAZ#cS2;374B)3kHo1Fy|eE zms?G4;PQsnqC#iG=$yJ8E8}V7_76|ooSAp^+Dl~Yb+lL(zerggdzO{ z;_haN3nC62)9+Npp@Yfr_$EmemB*Zs6ZxtZFH4&!z?RwzwO$+kKFbTjz3sqVw@F%Pp^|)yOPRs@8uLW!!|G?0e z&u~T8*hO%5?~W}OV3aEgjY6<`t2gQ|<_ zFM_fV9VKFq-uCb1?4L~>BdGzb-pm{HQ_p;(K4COV?ow48@maG9XY+5y{}^zIsTk~~ zjO!E8zu>Km$J23696H;}pec1D^cyLqRx zx3o3o&8|EWZprV|doomKAy@YWxn#0rGM-vLF2``m>=9PQ#}hVm+ANEyU~ytLj{u)v zME%}#at?9rPF-k`T?W`ukM5lyFzMF}R5DdU#`kb%K2D-Yp4%bUH(cOyp z(u$8;HqiVJo!v7*v@ZTzZoYROi!23uA-b#5&Ag!IhM!t1=*`CfZ6WlA?zP6Tcel_u zw#vCA<87xf)B2uWv;Nf5mI``}YW;g&^BkF~6WLW06*@kjuESN{7+0w|`t^>S~M)uNzhwH-W<&e;v{85#LJ z8|>s684i@&lD`a){_I~?Ungsf6~AD12nAwECQ&_BnKBWwsR}uy3K7bQ%ylmTR&jm9 z)arJ>`1=);xaPTd_?uaSnfg!$EA0s(I%^?&kLqKANrLlXS4!0Q$Y?PIMk23NA@(pS zaE&*>D#9m%vD+2nK$rL8(sn9|D0iwcK2$O)By(~Ub2$R!aM?`vPY{orem6~;4w|w` z9pz@5NP~N47(KUSv)`Z1=*cYJm`q+;e?zu?R;ZkObyXL-A3M$Us6^v&X}i3vx>Q0` z-nn37R6SoA>6Z?Tt