From 1b6ad58fc7801f80375bc5aab40aa0e3f85ff730 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 16 Dec 2011 23:23:15 +0100 Subject: [PATCH] Une bonne partie du TP. --- bonavero-duperon.tex | 47 +++++++++++++++++++++++++++++++++++++++++++ question1.png | Bin 0 -> 18260 bytes 2 files changed, 47 insertions(+) create mode 100644 question1.png diff --git a/bonavero-duperon.tex b/bonavero-duperon.tex index 274a6e0..6923182 100755 --- a/bonavero-duperon.tex +++ b/bonavero-duperon.tex @@ -9,6 +9,7 @@ \usepackage{enumerate} %\usepackage{centernot} \usepackage{multirow} +\usepackage{graphicx} \usepackage{tikz} \usetikzlibrary{positioning,calc,chains} \def\P{\mathcal{P}} @@ -175,5 +176,51 @@ Pour le point 2 $\forall X \in \{\{\}, \{inp,outp\}\},\quad \{outp\} \not\subset \section{Exercice de l'atelier} +\subsection{Question 1} + +\begin{figure}[h] + \centering + \includegraphics[width=15cm]{question1} +\end{figure} + +\subsection{Question 2} + +\begin{verbatim} +Maillet[prendM,poseM] := prendM;MailletOcc[prendM,poseM] +MailletOcc[prendM,poseM] := poseM;Maillet[prendM,poseM] +\end{verbatim} + +\subsection{Question 3} + +\begin{verbatim} +UtiliseMarteau[ent,sortie,prend,pose,prendM,poseM](travail:TRAVAIL) := + prend;sortie!fait(travail);pose; + Ouvrier[ent,sortie,prend,pose,prendM,poseM] +\end{verbatim} + +\begin{verbatim} +UtiliseMaillet[ent,sortie,prend,pose,prendM,poseM](travail:TRAVAIL) := + prendM;sortie!fait(travail);poseM; + Ouvrier[ent,sortie,prend,pose,prendM,poseM] +\end{verbatim} + +\begin{verbatim} +Commence[ent,sortie,prend,pose,prendM,poseM](travail:TRAVAIL) := + [facile(travail)] -> + sortie!fait(travail); + Ouvrier[ent,sortie,prend,pose,prendM,poseM] + [] + [difficile(travail)] -> + UtiliseMarteau[ent,sortie,prend,pose,prendM,poseM](travail) + [] + [(not(facile(travail)) and not(difficile(travail)))] -> + UtiliseOutil[ent,sortie,prend,pose,prendM,poseM](travail) +\end{verbatim} + +\begin{verbatim} +Ouvrier[ent,sortie,prend,pose,prendM,poseM] := + ent?travail:TRAVAIL; + Commence[ent,sortie,prend,pose,prendM,poseM](travail) +\end{verbatim} \end{document} diff --git a/question1.png b/question1.png new file mode 100644 index 0000000000000000000000000000000000000000..41a8ad489dbdc214df4f6f8ffe20eabeff39d684 GIT binary patch literal 18260 zcmb7s1yq%5x9%dP1nHJekp`tik&u+`?oKI@6eI)`kQT52kp?M|5=4PTi8KgENlK@{ zoeTFp_ndM5bH;zy7<+A4tnd5Ym~*~!KF>3aR##KFh)08mKp-wE-jUTrAkae)2(+g- z=+yN=Q|q ztjz)+QQwo(zjxcs#l^<;9^$sAjm141Yerv(d-jY9imK{*p@ftO1S3LG_LjEa*jiSg zw)WtUFTMOi%^S=(YRru0SbBmOd?Z5^pJXvrTam)I6|a8I9DZ-qQh~gzcf%%a%&JiK zwieHwIvg~^7|WVsF($fQN8*`-fTg3tv zR=2C0j`zopYl2BK^0;7_h!M(b#;Ca>&#KZ}ysrgn0j=~w&e)zGlvbIf5N^x^9KP0*_O_P;)X5Qio`?-u0E0!s6n%*w~`CZ_W2L$*LY4Ze2C1e*gYG0Rh2-{YhU9 z4UK@kRf~N?uU~U>b45i(3k$Y!@&iA9nCj}LJb$h-uv4Iw|4hk7Q8C)EShsNS^XJb> zxm(C|q19VLf`Up)N=HXWwY%RBJ=Q5sQIE%mRZG$@GjAy|sUHb`!XTaf>{(lKdCgQ% zrcq->g`lXY?j^L8uK60bsiCRtjEoO%Q#aOA8UprvvZXSmeyvZ|`_JhH1sj3p;QQs7%#DIUh}@HN;Qpt28LoqIQH!u2_0S0Ecb8$uJ7Nc zVWAU*D1M#yjFW%OVsiWT?e_4v`hF#}lG0MMrl3F@oB3Lg*`Kqs48eak{kIqD>gqbI zD^5>?3bZ>@zS|3DXJ@NOv5`dU7J7Sm37Lc(_7Wo)dD6nMLKF{(oRFQrAMqoI-T^r^XrYLS=% zB4pH@iVmSwdv8he&Ye3J7ED6(wG|bfLq!IXNtv~@=}T=e$rSpdmywq{dwbm+9lzNN z*SJoOy?4-ZbmUeY;JBMT*AvFe#ihZWoPRfGp&&6xwf6G?%qzs84{`lbMn=Z>@7iW& zW)U(8X=(bVrmn9Ll$4Z_5fK8!H57C;@7_6{{y7Be)GQF@;c;FYt1>Y$L6*E$c+&pm z%M~)b2pM7q1~Ws$PBXTXj9+B4Fl2=7EtE%7VW50Ggxz+emkj>jC~tZZd9`@wr9Pc4gvl5&5<>IuD=XZUm1TY-Tmhue!QD=UMJBI{&` z@P`8C2;}rcomZi5v3T&Qr)%>_$SX8vS(47g+FgiNgm2$Q9 z1RY{Vh!9mH>~p=(+Va}k;AnD6O10G&!V8Y>@Z6)_m8OHA_&$>aG9R!I2namroW}nC zbv;UPJS{CPMm4Ug%F317e*C1TnaRoCCr92{CLSIha65Rf4Mc72B?d{n{D+Z|Un*?6 zDk>^gZGA;WMO`O9c%Pku5u9M-`vnA??Un|cR5_BXSfHX>6mml(&%M2Z@6TaxaP^bP z0%;nTOX(_mFmQ*Ankn^PObZ{O;dTYlCv3(WoPLr6&Y?a!=8xdjQG)+_HgtpJ0b@cS`b;`lZe*XOV>zDnhmA9|&;^N|k z3m0e~Og((~aC>_@;QoF0*Jw8du@QG5NH9rAfHxVL)f^1Ihu?&R23lKhpFKuHLkq*X z?1d8{^D-ERi0BCtsgmV-3p~NlFhhl1s9X|t+Jv-zA5OF6B8#yge_SqsfsXFX>NR5i9=Njiwp12PzTzh zYrJvY4nKX@2=SjtjLB9ePo;@=aWd>(xcZCw{Cv~5IiPtyVEsYfu;4{|yP5w&n1R7H ziRU8cqmQV55%eMLuSRX9tC^ZRMEm;G*2(6K$g?o^VA%|I*DB(pyUB zhW~AYO=vFfmE|iy&m0k)Fw2rYB3H=HAjb z2%1^4p|MgBpgw?=PHNyT4?6BflXBenv(Y+U<3`KVH#IdiHg+`qkcg(s-kRml$q9r1 zT!LZ}`{3YURZY#xoQji+%gN5bT`-gN#$#7jVNApl4jR9C`>0soSM)0b(;@HUzH#Cj zDHaW*A&mPFRJw$gi#uCHcWCb^Nbs{#Dn_7=cJp^1#U%Ue^)nMWko%AM8ZU{)B^Ik% zpss=m`a3F;vF3~E0M86aRwK^Xj z@s-yF^7JfpCCPV`uiO7~pJN+glIr{Hgm<>zXn3wxQ2qV3yF+X0+)bADHRrxK=MW(O8K}xr94M%zyu2d;Wy6IexR3gw}m0>-wd9Vb4$|vnc!^I_tNU zYZ~8SUbP7MEUso47XeH;3ilI691r1k6-hR(I$;iGk5`xZxkLQqf1pSx{HmC6n|zLh zdizM+eNriimVU(>Wnga#`8qISWFijnJYUB82hy*^FA!;dx=)X?4v$Nh?PbRqk;8e_ zwN~A#e^(@`eS=N%?KAfRmaB0jal7KEA#GhW+ro&8jZ-B3CdMfGA0H=PG)tsUZdLR3 zbY8qkCMy1S3%-WIgpVT+$G%V8J6PrTd)G@ZNy9JDY;va8*GqIb-g2g4qxrkbkxsNT zDVLr&sC`O%FOq*Vtm~iM54aulf>_L=QHFXGGf(3c@f%E7f{~_fHh)o`P>V)g8Mwv$ zT1K|u;NY}Rs6c|SWt$0=7jDst!dlX&+Br;`j$c^XX(q!4C&#q6z$Fr9mV}x5w#=;C zUlu~G4(cSyOrE>$El0NC)X+n{efv5DlVFxI(+eoijWtk=($b5yXcQe3iyY5Td79YN zBn?x9`-QvB8tA-Uv!$N^o&U7o0pvT$g|O%;;FjQ4>Hq z)kotAdmh2{A1>T+S70gNM|ntMS%Q`B2eq_P#_GIsG*1#)LReHxst}9txTpHW*%l79 zSy$a1o+h!AKsZ1rFecN$q}e1;mI#D_>-Cz`u#x03Y+vANK`qiWQdMZ?wg-&-GK`#w zbj5F75Y9q0>>k^LLYtMST&ERJ5Mg5&0F*KJ#wt z0+&StA?g|jY~re*&t=s#6Foyw&&xG}NxpIRgKvTVXcazt<* zIT~Y6$qzW&Y;Aq4Z%QAYFJ}}jjF$XC)Y<7|^xF+{w5>T&)>cYYZ6E8>MKpLnwbB3P`O zlR56-=AkxX1nq2C?q*sk6_a!vN$?lK^A7_GX*2{R;T96%`5Lbhw5h=3nBK{MH&$;K zPf*Im+4c@wj2jVFnurg}%%sg5!ocA#tC5q@enH&(Rrr%!8_wZ>EKc6qV@~wAOA9M) zcVD!i>AjL{_`8%@V>iBOU$kgcJENnaJ!RyczIbj_mk`8QG}J-ZPV&R2T)b3i1vRKwg?+C)4U&ZQy;maBa@ z7L6qYPx4dWM~B|wCSYtf_md^Imt{dxrZKvOzd3hJ_;5s2=6u1h^15g>UKhg&cFEj4 zoBGzXR04~}W@CRAeznQz+Gv<5%BXyynZNo- zt^8VcjKyVju$AQ^W3!r?ot>Sl>-tE!6*w~N0Y0X8%G22eIf%SyJ{s@dy_30p8~1nM z_6`ZZFIk$UC5_5!*=L!QsO2c@D)(Ac3)Erhejz-h45q_B*(MC;`tEf{lj)aV{jaaN z{g{}Th^572Z0=!co?tW-yr}fB0Wi+^fi%}e^7d88+)A5H#a-F>AE6SzHz9t% zR#xi$HZ6^eXjKOwS*o<{9%~9dliHuSt@7XL;igkaSWi~WAb%AQ5QvVB#?ESppNDd>^y8Ki6s5X_ zyE{87YHC4eC;KeS%)n#gxU^ zM2D25?>2jj6}GY5ct&RC{_iO>ZS8y83*93lBT(zMwaHH0K%hPPDwf9%@yrDS%n|KT z13m&FJN-!cCfR>0-C3Mz;uhkr{lLM+_3-t55)*^UH%3g5X4v@gw%r*U8}4<+ z>x+xmtlDECYq8ZcFc^h`{UhXh4GsA!>6#iEEyan3#XU$Ql;GAYFU&}@xHq2zE>n9c zs*O1^BZDSa)4hm(-MXSMUUl~RL~zkO-+)0^1$P@n!5QbSFTuD zSz-By&U+q0lD}J%pO?1|$$q`f?;j17cD=Sl9|HE*Eiy^Yv4CcB+4wVhv=WR*D>%&m zZVf+vlrRiA8x*w86SV@Ytl{-i{QMhR^Ig6Z9vA9!i;G=8h2u7z?9qDlrKC_~sFo%H1!%!jYfxueP=#J zfKLLvu(NY7BM<6=G#fqx*NIwUDk^)WWCGV2X$8bVizIG{fVp|0!1T%Sz7cz~W`XwW zejFXrWTp9~B?otc>wJ7}s3KhFTWNF;6@RZ7I{&Ifm_G?B6fSEDN&5ds$`MqffY^GkZVQx;CgFc^zvhrgCbYyTm48vJY zRaMo|@m*r#23W{oXviI$CMBzcx-uO`V>TBklYKarf^opb!egG$KzmQ`gYYanv_gvp~(%0)Jy;BPu%D zpw4q1DuS|GA1_Z+0_BB>}%~jr{%|i^(T(5n z`&(R6c2*7!K9djkc7FB4AknaG`Q3heOiUzM*oKuigP^%IkRKTtsYT`u0L?)D-QN>+ z+u&}_Ge3V?8VgT5HY;N?Hs3Vg1An*tjJL3zA>vf+HU;3McP9ZM;pv)N@OYII<@WE> zljEGgJp*I$Y4Lw9fvtqvV0Lz-S3Lrg@R&q=BSycG9enDa*Wd?diYnLH z&&Pa%^Li!54h@LP8*3d&9JI%}#>RA73xM15A2>l73=6loHv_TZQL(0ri_5)x@5@c6 z0h$t~i7P+arX#-205KaJyNEQZX=C87boVoYix)-S4nV!ra<;iBeU|RP7f&x?t8^F> zgO~Tf*!cM_`b2;K%+gYab5U`z2xk(~^zPl>o*uP_P1WWt=vF~wRyrU2Hkq9|X=ig& zO$Bv>vsuvnqNmxyQgP4;RG1kVL;Nia4GmSerY0tkξJ-Zy&87!qKsZd5r93kKu_ z9XVJv$!loeyx9yWjh>kql+V(u#DJ%8sH8PJKZ%YOyZ5UPzKe~GeLo-oa))~7QNcYU z5fPDv%fzt7e8eARA(!SpVBoMi zjE;`Jyt1My%`EgJ_SM@rZ&)909UiTe(mLN%6=M!b#W7{}iw0ApLzfg5CL<oSF*&+wUfV7n-nRHA2zgsl3%E!|! zjkHJPEu9^eo>^A+J{L=>ml6|8A8qvCw#_!HzrXv=K!E@s-%3>J>|y5lOP1M!lFfW$ zb5meH3X!FKzLW@zq%>iNM2tx%f~M1>LdX(@lfLtE;kc4>4;s!!^a0d1(?I${ujVt7Ok9-j~;QxWC&Qb zL%QQ1G&(ssS(L#q?Q{{=HY$UdMV_BQTwGj*tCxb-hhXsg=V(@vp_Q(zeEH7T%_%_V9ASRnJ2(;sr6gji^t5H@Yk& zR2>Pfk4zIFlk@iWZrJ#Q|0lxCZw4z_Nlrui&YiDC29@{rD#rdm#99spd@OM>b>Q2# zw3kI@L5I2T-YxGe4P3l<5&2?x_K7s_Dp%#2gM$MXL`jqxAt=gPM=I@z0yc+>jqLh@ z=;`Q;n}VckIR{`oQGw#xDQZ|J87vrp3F zfRpGz3#fj>;RwNKTOQbz$)Q|a>TXK z%E&lHb9rBaQ$h&=P4*<0(Td! zmIwjhNLizTSQTPn(y8xg-52Z}f%Wi3t$ej|Ubd5h{-GuoE-o%)yHvp5%@C&M=IXbD z%c%UD?5qveZ_u%-g~7qmaSM!e?{ltlD&euGTDD~Raq_`|-xV`&E1RAi>E50qfl2Cz z?O3S!LpVTS%uv(OP1Jg@INe{KU0SO1n3aF1O4J3|E`i!qnuIU!waB{i(%_wbg$cK{ z9}VO3=t!yw<4V)Ws3;tKiY=@Sk{0D~UrclYp1Jlo+TV@G>oAmuVPR<-4_~}^0jG!C zMnWafFj z8tUr&kU~JV?Ca|bSp*45VoHjxzP^1~PUwFcJOc4ic7p^hG@-A3@h1i%#LB_RNy2Yq z8er{RRQ0kq?nWjTM#<04q zP6Xn0V9V!Q$LP%)e~zclT%Dc2k3xAe^8I`GJDCu)o5x{$SR*k=Br;3FciDNO-0BMe z=NdX1Ve@5c30vsHqv4NlYkVInHrm}T2GVU0j8@jSl&Y<=uZ~*@Zr3tzqR!o+^rT1 zwUUX6Kj-J?7Z)J~h{?{rY^4|5jprS3yyc^GIjX0}sxaubMxu?-;IxBV#Xl6RPN{J1mWS~SrXMinUbG^a)omKskwranzmTY=oVUGlE7L3ziFRwnTiUi3}EnR_OQygZQj?uyJXHmX8xWJ zHINPC2B?(QQx+B$;JBe0R~~>=@HH(h?PxFr6gZ*xFBlma)y)S41VAD)`g@rn9lo-r8&B~iWZ^2NWKjWL>5bSP)45cL*hYCf3jRy zs`mVP!dWW4H}%z$cZD+~7I)x0oCt=@8I18Ps?Bqt0q6AeRJ?Zxl9K2z5PqKZ%-lN_ zX>bh+3R+uRn`nSH_yThAU-G^9+;^uxr;B+lKmnzz3-{<_c_L{!f3jJ^N%O|vUr#HyVjtCgILOkcMKN>E4?*MC3_6CRGaP66;pT3TB2 z6}{~19gT~q(lJ)$1W3W8h|`dMFokGCEQL0?#ho5oG`Fe7tor$e{U5W0 zUNm%P<4wU$Hi08h)n>KM&&_Sz+wfn`llDtbO}*wc#Pd)Z$|tJ3e8DKwpZFaFM+KSO z{K7)UNK4JRwOKbZ;#2Y>ySi4+OPrprE_^&Zs2&%^QXwD%%Sc8+A-FvT8iu;zq%-Qb zrKLpYUg-PV^wc0m(p$oRi`DnO2}le8p9nk>uH65Zob+;8GRNW14QahUd{J3^uRrTV z;E&;AQLW*RQNHJstb&8ME0vD{YQ)skVF+w1%gc|XQvWMU{WWg&XE1n7NpZ2Nn%dsh z79I|c-+JBRhx&Sd(@WVO`h^3*JK#8l3RayH*nVYY(Ky*G|mQSep6-dGo3(?^TeM+TL)F9UBKTb|%EuM!On z4cXe+<-d8uWBRf7#fuPH?zN2%(Ix2D@fYPkOw{Nvx(Gag-R8alesz$inr+_ttuxGcJrI`CIDk@5+P!~P{EN~jD zKOcxdh?H<^rQF10YfpxLIO)dTyTat*JFuulsi~9!eVemi^mKGueBN*Ifa5~!1GR-V zcb268795G@m3WT{OfEU`NFMKBtn>1K{8~v_IWr>zzB>E!XVixqkfYf3Jny#`UQKCf zX>kJ#Y22-;yQilSjv-1u)8`2Z7IBBJkHyUz?k6{Vf|RbjT;STZeMna?3)vz;fI@lI zP}qOV8gM0!l`tdcRlzG!VsBiXML>!JggA9(W*}dQX#@P|R6g&r`I)J*zigG~yW?)P z%Xr##&SG67Ev@a|;8P(H5%M@`9`i3=U@K5dD(7lO%aYL0bY@{XN&JP3cik)@`UVBv z(9j(N{xj0W*jms4(7sH!My^^_XOFDi){=W0ySr5h^mnhvzN`b3w69P7VSCA~-hB0x zxACJV3z=^5wAbSEX><*Lh{_ma+W_|0v$C<(#rJxiazrdt*_;}zlxF{gLBgkq-f*s` zrw58xRBB=Oe0O8xD-y}7K)z$r_eV)3tTNT(R%Tjv>iZuL*JOQ9j&?!7urPLVKLSsWjoi3cx{idOF<63yX`d=OYoME#MeM z+dX!+wqpvCP?9`tLrXxF$s#lt{eT3HU{pku;nX zC*($Gm?Hvni;KYgE|0wMSz!_t7Phvvz3=DuYyaf+If);w8TRPWBS2*!8vsR9j7)TW zef?E+#xFw#PsiW8jEh#fk~*!nfBp=oehE#C83*Nuin9)` z#!m>{^0KmNztkv))dieZGXlb@`F*bPH>Nv+&PQ{^5l7kE8(8d`o=dx+V~G~w-0hx% zFvUTL8G?A6_~;S#N!=G8FWJi9K7bvZma%E9+jFQ}cCGqZ(toF*tw%16$ZV*j8|Dga zx{p@au&(gly>e@-9(S7(orh-UxO(rNY^7Um3zG$yA|<7siHYhK)_deA?WIc_tChXt zO5b>XNj>cgEo&cvy#z-Eyg97v(UMjnm3%A}6W*jvslTml9>$3^e=uY~YCb;IJ=TH8 zP3Fj_Wil@>$%Q8-ag}2wC9f{MsP>ajUW+vu`%|DJn9d_8m^i{@Y6W|qp zS+0(QW$OZ21MlsMFp*|BWrZ((N2PRFgP4bK>Ecs{m)2Tr5bQlyS2?;K#b9};8#%1v z-FV&kGiKEOQEKb)JeV|V(?itYE#;(<%^)0Mnk{W-envG_%Q?{>Hj+wc#@Xsxu0qlK zwxXcCYp9zmU-x36_0jDn(36DU{TgzJk4AANc1iJ0WGaV@qVc-@!(o3gjf8}RS6Y@9 zR_S-}83czo%t=|V4}5=TK|I;VhZ?4ky}P?Rzu4^?%yH@!1tb!Z%wIe8^B~g&iJrds zYUjM?c=y|HOBB~nzH@t2VW7rW5*E~}_fq|O8D+=F{1FLT3=W$YTeqy$B1nvq9Q6vc23^%o$&GAq3@q- zLl^gjX+9gV6d)BHEGga=tXo*79{Q;I%E*%hWoP6Knscl&9uYWf1IZ&4_@-kP#RL|V zQn9d6mJ%)%+t^dm-QR&??S@6 z)LCeUGt$8x+@XkCJ4(;H#EJQ#`HxVS-5+k7u&D;|P)<%xQ&STbOFeqtSe4(XvPy9U zLV#Bc<%Fw-zZM-f_V+p7kqc40oO4{azx6Ebd6gg!Ew@kApioiWM@!?sgPu3lJ{erP zley9c3mOKZ0Rf@F7Uf85hMxj}t(rQ&N=kR?&3*GmTU)!CUvNH`qU*1zbv2YgLK@DO zF#D5Osnw7Gc`qLV>a}avymE)f#{+tvixFxFdgbflN}P-vFkmPAGp<)pllapZWI3s| z`J6u15*pZcP3RQLKGTT7+}4OyR{Mn7mG{Iv6gkOYB##Mjjp%O3hLISR-IoWIqP%=N z0KZt#Hl7ib25J)`$Qu$3I_B%*wz4ku~}wzMc~#(q$WS&sYgFw^iA z^RsZ(sulepz`sE@TA9-G^bRZRDr`KvZ0mEL6vgkO*r?~DO&Kx$2xa>s&pFC8Si9y5i=vPH%dM-+&gWsSIq|egKTmf|TBd`kz{e%{vCWUNrFcL zY`Ax+kW*!2;xZjHR(d1a^l(R@lO)_;k<3>bTrpsozTmp}xO2a!u z4OH7mmNS9k25S+P+biXv>1FEJM`DgG$`;8ZVJ|JyRX};T3kk~D4i<4h^(~aYm=BKg zmQV%XVt!WJUSiBkDfiA~ptoyBr%=UMsx=!t^XQO+J4JEz@9aWHT`s|MBBijpn4c91 z`zU5=*lhY6e7yf?fKz~}T*b0i6bCf{q&yFdhE{!mBfVj*?u&I-#X2q|y?&Z4J)zdeOI_mDKjZZ` znx!MNr5xW1%tl~2Q(KmEIa`o{}V0(UWLl56h1Gx@SyLZ7F5E84|+ ziuT@rJeyJFn6pIkA_T|Xy*>5^^5pxC*R36sReQfqESZlv1SH+aKdASa9_$y99Y5_5xmtm6QVsmK;+j@m1}2CbuY%%*!hD zH>x`Gmf7~O_==bGpRT$^q6~S@FO@Ene}tmIXD#P;$4-(+V3Zz@R@KWk?7LrP9=o*s z!MbEl?3c8f!#_d@-+6kw!+4U-VwXUJvz(O2uOqt$B)Z++s!4V3ROgGEEIGm<{;8+H zCtdD}w=RA8jmX5h69PfK-Vl=U#qMv^KVNd9D4~ypjwmBzl&n^!THVmDZ=dL|rX``6 zT&AA8QeKB|nrMED#>jIEvg`8eDIGIP1SsQi4lDDgiBhU^@*rf(%oYqSw7Z@|BH`ZB zWs&-vY*Jm|d;l(ylNpj1S@Xx{J6>8tjM^^FX2N3=?aH@Yw5diKdVUM_Pd7*T<1LyZ zAS$_0cImzPHuHDlb<-g}UYiI0g6@q9`2RnXIrpGxpjg zfFs%{Dn;D_>y6mk^T^U|kwIh?Z!Zx}G@4&t%_xJbRoM2bE#729vkBkH#=ODi;nXMb zzh6Dc;6Dj(>6P3@D)TkGfl`TOuw;o?Db0}0hpieyDF`FQPlV7?Q%L#wNKx})q&zYG zXv}-f!!$W+$nED7^&@ao{;E#gvT;Ep?8u<*jCT8h^@z`lSf~|RjcM`VS-ewKIQ5j; zOCj@ZeVQQ_o9JFACMM>{{YkCI+k)wh_PD6~x`zlZ@%_9#7R&uIgWn1@g84Qjo>f7k zFrpJfAI-2Yg6FaJi@LEfvNKVI-O5We>ifw27yWP&l>JBQSUwzJr%Tp}r4UZRT_`1G zeCd#ZZh5;{7laNjQ;jDeW_d2^GWJF>i8Cf9Dhe3u*r+J?#%&j8XW$V64Ghvj|1dlW z@D~z*#Qs-us0v2j6z$W}(vq0(x-r!B053T?6`o?4BYk3{qx~Vk78VxXeSZC=(2kL| z_T0vBTgA3z&K^AJ!EAfnVo%oWy13`u*N^_&8^|ae5GBQ70}d_%)V{m>)2zUh?CeI+ z-Tx|C;q!}-*ypktTBfb^UPTOCjX0g7av zLegbj(HcpF%9SuSrAbL7$#2r7<>~_zCgHPs=`)ooF#e!%hu;Cu0zR>9o*{6jAJ8R~ ze*ifga-Ge`*Y|Am3xnLX+n=7jv_wBy27DWYaOBBp<@CKd(kPa%a`_mF0>Bev_CLmo z{Q!CiXqy^`0rrXe8e!4X))5gJ+P=Q~P}@LpFf%`&oS5jj^o?!(2MCg&?iUcav$`i_ z*VFdp3&4Bfk&)0)@kLzv`t|G3V9`E3ZC+=5nVP!JX_(hF6i&9hH*fs>{SOZhi}lOH zHhpL05ga(Fy&WBj0L>^Xd)*nbcusSZuIvEwpddectlqa&3D7ES=xM>l!#e^bZM1=! znwpJ`4S1VXJx51J=w*TJhqeV+0&8n)IXSHT3!q4EwCMt|b_y`ZKymPLb2|d#iTnXH zDHk-ENKHUrO3wXdu5n!c;Qg??B@iB=3!2@wJ@uqjgO1QH=C&oIP8X;bnz z`PNCn>(_yU9BF_ap~WjlgA>i0ccl^h`^4Ti`hg<_uIlLaXCMo;@>D_*5|^&2+-8XbvBY{4NaE%ej=a4F z8f+lzp{J*x$P|Z?=4ZKl98Ip*^{iklJ3#Nm&whOHetcM@SpZmdT>ud8^&dW@^+pmg zxVpMFu9Vb6F_g+{aq-T1PN2zZwPFela1t|CfZxv6=k-o%MrP2NDS- zcYaSh^fW+|1kJUv(3>IAv)jGWi>F5V`f1SLq!k2RGXR05&^xuqQj14k;pBAJ-v89w zTiVc&RbSK4FgZ1qb4UkTE>qJI%>tl<(|PWKS?cadBg&fW6D8Sf0(^~U-2}Al!1I82L6(3H@aXjT_x{cf z#J;axT?1mjV1#D+`d@wQxMD!o$IZuQR_o5>D*WkbGegfSfDsqw=K(^2*W&yQocM-FPp_KXYx<8f4%T0{3@*fo`GtfgONOAslF3JYiTv=(-ut8I68SBH}f z5QvFi^g(EO4j;fU#KcCy3mF-wf#3rKy1D?deUA@_(GHjU(4Y1UWLE?E=?z3uJL-VW zYiT9PzpnFM83Jt(V5}%t@sL6dc2w>Csx)~*!P>tfR>BasL(rs(+CIpjy#K$qFs%b{ zmmwV-WN!XKoBJX@zEQo83t+WnCq#@TUmiZEk{pjtImu_Ps8Ur_6!Y6)R2{fLNawfJ z!C~^UI}`z;);K+S{Q?!A_?F5n`%MLLDgu?KO1a3zLcLPxiyLokwSo|#oWjG!&29OK zS%o0tzfd4Xv~IZ=E$^DFXC_wot&$y@&;0C#X`nI972r<1h%nr^q&uwOnH+dGc~e*3 zm_pUC$|L!(m$qJmJ!yA;e}ztsH&rNL)DndrgX#!u1JpJs)LG%Oe_JPq0doR03}Rlm zP-#?R)^x*vYi?z@REvz9ipuYBYhGf#_MwEE$3MEf`rM|bGoa#u8K10iGlK{l6x66$ z@bUic^4A2G!zqc3JP?@h0~8Bz@bKW^OmQ2J{R;^WLQ1q+9?bUX?&o4&5FD;taROnd zhS|zY^gZZa`%fCJ(E87Ap+RYdD?pYjt=)AC|#dimKvLyI_tYl1SE+HP(;CRw?0MS(~3GD0GKR7qbeiw z3GhwHfIVle_7JX^cZG!k^T~P;)s5h=<;eE4JlGfCK;&aD@R^4SVZyH=SpQD{YqY}F*=UVhPI)4@qf*o48UcN8t(9#F#Q2LrXs^gEx-25uI`d!J* z@LMctC%&hD4&hfxX-zY;GwHK!>AN79fW5uuId>;rMbxq_3IJy|<&@_jd{i(V#nlBe z01^ZsTH);HPVTf8%&OBPk-8V;;_eROu!mlYJ#d^Pcg+K44e3uW$e}?#FO>&_&icdZM{BG2T~o$spX}m z^c#UkXDhGk>e6?~28V_KiK4wy=Q=4KC(q)XrCL|kEN9C6=;KF8D>muV11s99(DtCd ziM8g4Y$IdzSD5;RgV3MKf2OOg&5zaD)s=n~#39h#NrRTh=?FqT$tlA!^H7n=TF8Ko z4i7gegO+kr!;6J5seVcFL-=b~y0P_@MUAW3Z|pOUabNgF+}gUUrXTgctRaK^Ky31; zO5r!qdqCKt=$^Q^I1s4N#O1*|v}J61U`cfFlgoz7TO8{;;}Y&F6T06e;R$( zGERS>bkhuH2N#Tx@;_uJun?5*Ij@>$7EF#O=j&So8^uY6Oo7=M4vbHhTV2>L zhI>*M-Ui|$FtEYKWHl@dJ@2NbW@5ab(8trG6_rqc$no^;MleGfhEXD!$g|VmXG46| zHeD39Kz+ZPyi5eDA71-@9R71+7?~1yyaz|4Kn^6m#Scc)4hPBPMyY~GuIssh-!3_jD(D;fjE>~wC z*qRlC`K2A~W?plM~j&$}V$L|jPzvpm%*I_mJUKPCYxMqoTSFsGF)9vvL)?CoW2Em!Om(U>*;Gr9CzW!wFakw#3ktDKGc&C3+?8qHs(5#(glHGKY^y+9r~t! zlxa>?ZX;zgKv;4oD-{k_*VI7x0%9`5;H%+N@ye?SD(pZzDT5RqN-Za+6;R4DGc!+z zd2ObC4K05#p%?Yr$6j54izdd$o#GJCI$ws(`{V_%=M@k2 zk7Q+KpFMkqqiL6s_k>Q&l7G(uVlvF!KGFD)&C{GGM`ZkJ{Cw*GAsRLzh54h~k%Ur5 zzg|O#1MVKU8W8GAgM6&7?~=>zD@iCJz=MMT$pvw0ZK38084z_moSbQp%K7=#0tE=! z94;=Dnpb#ugs)qTR)`CI9~`_2fdI%`NWh1O_W|4!-F)1Q=tci{JZ|ZkIiChBxbL!5q!P!UCKoG@+luHb6DnE;?v0T$J!` zTh2<_erOM5XOP*lr#!i6Tz!Ct_;gE@6%pbk==MX>m1hc22bII2{i)#I2M0juLiHL1 z!5$kEv+PyC=1;lIA^&f06p@io*KcQRo%y|~Rqi|2tY1gCxw-jhZo>6x)CaAfdM`gq)_P>7+Z)I|wq;bRv{~;feIAeHjvtkJ=IZ>==|siF#kIRA<(oS{1S0E2 zo%Dm`w{JNYT7e-qg&voI0XXYHNraD&kD3*DPNwd4DXFaVWk1j~0ny#GH|7L!C=j3l zV5=1rz5vyFx|P~A;XQ1U6MS0NLkVk=P6XMMy}f;(y>RXE9IA0Yi< zH{N8R)kg(1fB^DQi>BPQL;bq}v2wWRaAY7D(ecw}AiF{3t00U3N6X2X0x(HXP!P01 zb@-MeU(s!0K!6d!3vwA)3d3SiPEO7nH-Z37f?$){LGZ@&_v-2&Xa|aCkUoVqf!JSO zS>E>*Y#I`=jSJ_A&fi9Xzmma!+6Yj&9;#S}w-5x3_o`2>4_Xht%tHS?2f^&T% zsudRo^KakaZ#%@_Dg4_v`1_3WeD|Mzihtt<|NAoi{j244FdFO99}Cx|`4-fgD$1$J JmdKcg{U7i>I%fa? literal 0 HcmV?d00001