From 73e389c0727d1d43645e59ab028ac94d5e67b8db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laure=CE=B7t?= Date: Sat, 16 Oct 2021 14:29:59 +0200 Subject: [PATCH] rapport: fin des ocl --- rapport/rapport.pdf | Bin 764944 -> 766360 bytes rapport/rapport.tex | 34 ++++++++++++++++++++++++++++------ 2 files changed, 28 insertions(+), 6 deletions(-) diff --git a/rapport/rapport.pdf b/rapport/rapport.pdf index d08252df345d5f19f82e4f60c525112bb6aa2b62..001505886b19ca2a866d418cbb73c70ea734b41c 100644 GIT binary patch delta 40888 zcmY(qQ+Q_460RHDw%M_5+w9o3^~bht+qP}n=_DQ7r`KA0pXZ#5IiC4d&2cj?s%lid zBYvGe{fHi!Tv1e_Bkm^0}Hln#`MktvA) zOa_=M$qFp+-&%l%3c5i34Y*35amr#u3wiN`=?n^qaCw59YIfvKlG>CV zDr9lQM594afurAN_5F}WHi&LGDt?x|a51J0Amh~7TSP-v#6!!MaN_&KC2%yqH z-wSkJL2qGn^Bom*52*%r!0fKX{0rwZd?m92l6JtV;%nety+s*^4`UXGBvMdRdGiz( zEqlc{=_G-^qPqggcpEG??Z4j!shT%{)dZ2=nS5`hs?jn4W!M#7)+DNzqt~wNTHZS{ zw(gb#Eb^zHp=M6Cl5L^QE?F5Q8ju>Ly^N0Z3)o!R$8d@{PGF)DLrKh7q3*p-N1dD; zU#iOh?joY{wtty}J80lY`-ll%1zr&QCtGGnP${%VISbW-^X>DXP#DbLi+u+J`Hv8p zceHD=h2)n8dzik6|GBuC0Xz$=8u&dzRG@C;RIUOd(<59FSuQ#{dD;pJDIke6C%uwo ztjvu-{)9nJA@xV|mbII=>W`3Mg=bjIW4+aJXs#A>-f+bQ@@pVjkBOH(Wj1c%BnOEI z#(1-d&Y*%kS*6?7VDDUJZU*BZ}N#wC-Iz+wcn5_l5@i3Mmfe|JQF~@Q=={r&@JgxT9rDelx-1hz8#%j%bcAC4_e#UA z*<%ldlXa7nFb}g^#~Q20Ysdp0cxg_#S+0%PUL)L2LI_NVk$!uFRs{w;1*|E%gW>*X zgc$t3i=K0PICuESg#i3<9f}Dv;ogfeE5YEK431q0q+X18tK*fNlotruptgnMhn9NU zh*cr6?n*l9-6FqR6r*8!IPaUC-G?hwK6wYFE;j@lZ;Rnv9dGj_320AivmO0P+iN3q z@Ze+>vg9t=`1jk^uUkgWcTiPB0R$LRI}>LYCsRY)|Ge2J-6Dad$&`b@H&vsZK_um) z!KHDRLXoHWmVdtK0fQ#@a~kxq3?JS+#}?Jnn_ zA$7HCcnkxg``CdK(>ye<-Tm_}o(ppa!Id8G;?wIgZ2)k=NSPQMxt`!C3GyqadGoDN zBt6`-97|lJg{&OStL#?exQ8R<29K2o(7)H|1DK<_702=8+THNR2SYF>OHJe%J41*f z8MHheXC%u%;B=PXUK<&iKZR8Q8$5|>I@){Id+_L%l12%(h&2)@(E(vW+;%S$Zsf1X z3>g#Q2*RdQLXb_3On$MwD`@Lm4XKt*Oyb@ax65Wtko z0N@oLTIUn)QB!6BbNx7+^5-`F>*i}@4h+shE*F0U^K(*B>Zi%*PB`3dZwN$dlhkJr zo{S_-fJER}^I^Li0EQEU`vjtMxm7$5+I4IALkEZD$}?0jaZ+(xL13gv(uS?g*CR~t zQbH$RaqBEHn=BZwvV11@J3v9sR@Ed(572?`n5^zXPw;lqy=}~Y z_a)e6E{g1{S~sbT4a}Wb8+5G66?~T7#`n5=o^c0VXgO&3Y}By(bmh>!7n_y3CkM0+6_^q&qFOT>3t7Mp4Y^drI80h~l99VMW1ud+;jC2U zoFiG4H5tt;t1QEB(~`=114oYiST~DA%2RRgByjG;448#3khzjqL`*;zG<WI38YK=jpJQe zS7Fbym>Mc!UbKfvqpDgDCgFc1QP?ILk<71BL|k#S*osAH38sClnjNe)<8d1su*o^x z)-${dm8@yAlWvixR%xDFLku9YGEE|F3OdlEW16&MDd#wa` z>S7Cyw#4Z{QAW0r4Mi=;>SOYpr`ig8udg>ecYV^?{Z#V!kDGJ<^jT-iXk# zwma)Q)EiVp(GbtEn{2cyfVW^NGp^lb>Ecwqp#3w%cW2q(onOZu~Px^sJCSqq5Bv5 ztjTMHi-i6uF>sXeV97cRnIIzxX%J!$rhzj;JkBq-3~Pqo^E^}e%x0gZFTLfBFlUo_ z4)}Hx23*<+K!-S0ez%s-T2@AYI*oFEh>;VTtHQ-k6wUKt=+uF?T$D03MrE^VI0YFeEZ6RhhyR2J9DbT~{ z&51&c_U4P=K_Jcu{rezuSD20YwITl5jY;?{yGpzpaCNO0^N_|)hRIrYm0g1PC-NPU zN<8Mazl62V9$Wk&cR);`qYr-#EXbOx6M&8L*UI^ZKX>GxJuD0E=*nXhWZcxR3+VT6 z|Ep%8Elc25Yw&fuU;S<(z_q}H{!8DRCtrGee9*IFNM)_X1(z^*jaze>nL5`9z5zg` zw4KF(xs@gIu`t}HQfLwb>{KTa4hB~raNAfXAe__lxUQU?yqbp?;(6X_snn_Bs|W4| ziu>_31;YeZ1#K)sK0<*^WD)K47me%~J?swOQDLv0Wxceu9TvH@IOlijXgObDE8FFa zvuQ){9unL9Wg?XZoW0fE`qUGHJr2hkc$gI~`#hY+n4Td|j^aP*TnSkkb>sx5s35Ey|4FS(X`%ffq9E+7 zVblE}ZPWdr5J&&S|Lfsw<0}SxKup`)215m7X5(P{U*;XrzI0yZMES|>GwK})5dCv5 zVYN|-2dmKqu7jcMss@Q>$~$RryBRnGvtl~;IE=gChvXkid#fV6+ zmmM`y$+aJ~63Fn~`}MUoG7v;**v&{AQRv|4*fEcMRG=-IV5B@XGU9ai3rWJB{+rXo z$MN=DuphwOiv)|>$e9pD6|FURB-YCB@f6CC%J@7M$dWP~HD`BZ-l}jteTyu?|rEJf=Q|u z4F}xdXiJv9y1{6=L@G=-cfeFT7II^?2C*H#YIa)V{)Uyo`D1+NA--vA{@fzLi%UeuEKx6!VhtOF zC7jQ6p9|p;&+OO`4#k8gqyeWG_mS_Y#Q|_g{)D^$Jvhj#rDwp~JtPOhC{PlA{oxC1 zdJmBrAEerd^V0#stGFCv@=0EiwBxv+r`gh+w>mu76<6RMv(TH)8`Q&imhm%HC_5Pcmsngc9C|{X&I*{2fh8qpfq*~#=Bf~~qh$|?_!5;ILI8lu zMoL$?q?aN}aY(|-THl)aUCH0tnUD=YwbqxcFEM`k=T>`EUXx|?PbyAhy2f2 z!Xo+jMvWqRFV2>eg1mp!b~uLQHb=#F?P>=NTySeg{QBwIUWE9|9KmTV$v$pg14w`cCey)73(0(+TK)TgE>P z(N`q!dwNU`RXJR~iC?ksWb{#MNq5Kd~6F@eO0j$%~${0Dm#(IMQBOrSEfI?z8db zfNRy2|IYrG#}00 zeLd^ZQnnor`5PJd6&qzA27rs^hljf3NGetf4-iQ2xbUMh;h_3lvA1TE`GGP{W_I>*a1Uc0Ijoq=+=&99&Qw_ z|6CYi5r~9Vr2=SD9ewG{dPd0yp~gC)Q;sT%v1jDy zOho5;U?I2U$zB{1{zJa0Y4-~s&HOt;{6J`76spIW^ne)HTZe-f;E;w70WGC&Y^VM! z%m!>+jtmZZB9H2qAUs|(l1TUJkB!ro2amF%8)P)!Al)#t+_t;pvoI}O(mV~ICHw2I zr{~>%Wzte&UPWWS(Zi#4tbXl-u`ngk$K=H?LwJx6{`{yw#MY8=#=k=|jGPRM(W6)L zJBCMtLIB!=Q~K>KT`zTWRr7Mj{8-Q}$W6}3hHbUp=F2C4UaF}_9zn&8V_QEi{1>U< z^5fEkJUHS)$!Dh~6Rg45JFr2Is2#5BB%qv#T^W!Vaxd(u-^;|C7ezF%oxg^MdQyms zm8Wle&|=7ee5wbbKaN_u3Lf&}^vI5(K5O&BB>~Fg$f_iEhQ9q}D<5u~?=TN~)X@Yb zi&$$}yYG~N5>mIEH1~2rh!bQ3O_L=nGQW>cU^0mjbMeS|%Ypy!6ApyWz57QqKD}-v zaT#n->>NDBI9a-eq}bV#2!nruDb?9t<~Fi7Ff1OvZk~!6e*NXl$6GD&X{i!?*OJN9 zB>~hE4YT@vZYSe}3i;DI?XL@*McT8SZ(q3V>nxQ&CMu{u_x&*E+XD`l+ zYHIB_EoRXCD-wtHJ?wtG#;gv^bWeRVZb4=0-{uzXVWEk=!v}Y3su;F!|NJ=u6sc;dv`(roBFa zWz{BLV>~@L2AS>-iV+EG_dU1)r($cRx)p9hUo+3&cG?u3_x1<7+I2Cg;OL&nL26kV zUqXJZT3FRi=sP~x;zLGgtyKAHz46F_s($Zd@jt?u(NoHMWd|5d&pF3pSzyaG=K?+h zdei;Um-JXs3eT9EH-i&Z*dKxR1#k?CbT*u{KH@Yb*Na>1J=pS@szRl@amHBZG;CxW zd$yzqQC+S(=56JCh7HPzxpKhbV&i>E zrK*f!PSiTVD)=^Y*D$Cs?x$1cm;%TqpvDW__DVU`7X0tW7w1d=sC!D`w=1r&(Hu;Z zvwP@A!ic?kiK5p`fc`GMKFXr-86L%GYjAGeK=TxD4+ql#0VT&%CyMCh89*Y&XD>^b zg{Nz)@`*`8s;P6cJF~s$p1zmUMw+s2QYcs2%wdqZhC!#^Zpp0lc6Nsur6msW;|ZeQ z-TLNWba-Xrba3H=jym#4?|E_VPxwJ(D^R6RyEy{mL16uV`>)K*%>Sopv!ktRzcq>M zyH=Opwn-&;HS4F31&qQYud@9J(LlJk>8EJ2sZ>YW!R&hZ`H@>-A>C}E)cOa6&cI2` ziPPC_c0*w)u~1T6i3Hz)v7xmX-i~@PH`>ud5JNyKp@oXo(``7lTZ8Wt27-e$BtHUG zY|13vNYGG{2J(i$G;m4~pe?}}WNsF!0=9^wr=-2t1a$&5BA!e@ekapkSu zu3nNSDilTNfC0A)0LntE#^lD3GwK&dbk|^r8Nv>ETwi?gF z(~fx^uXap~twfp(E_?@skf`B+_^#q#8Xt;=^jlk6vew-JAozuP0Z7l5F9(QvyT8?A z$&F_0mT}m7d7n{u;2r2tKS{}-japK}a={-zipZmK>8e9WPvUZ&ICaw4(^Q?Fd^)~e z5Vp)XY@GV~mbviM)Z8}i>WA=ts2AylbwvwQ7VNSw_@*u;Wc#J4tOhrO<&!hkLG;%6 zqPJwBjO}Ft5OdL+VA?6RCzu5UF3938IZgipCM;W%7d>ZhGK*U`?T3!+ow%!2wk8SO zhjxo0oR(1RG-lZ)DhJb7h+qTumcQ*UC)w{mD>gdsPi4s4)~24v*e=A5X!YOSRkZu+ zNFRLh?>uM*r@03);AX5`VC&&~Y(=bLf&8fbZNu#V5w>osmn2_XB3^d5pVmtT^#N;@ zdTuT1WpYX}mzjEOVo%0$KTKK^pC^&yzr*4?M@usr3R~Ol_4p~p>@RtS%uuJSHEZYw zuD4zJFos?_g#|Xdn7eB6|Dt_2)_O0XY;<>{`r}o&RUBRkGlgt^4qI6wmaZ^)3m&upLs8*8GO1|31>bk&?MS?kkUih$b6eT( zd5~+KbpTFm%(wRTBD9hEwV%X2IkP20KT2<|lN^P&6N_6rCk6A!$*+v)pfU?rj3qHd zzfuQ5ZM9Rv(xeUB4h^z2weh*7i4&W21xtHQEIG>H6`yh1oEu+;$gM8@_pkfsCl?36 zhc9dQ6vfiz!^Wg~5|i zr}Xg4_wJw=$+!cjyphvKrZbFeA5I4F`PBFQe3dt^{Pw8lcJxY|_j_;rknQuAIs#SsH+6Q3Pu zyP7M#t~6WiRz#{C8Y9jtVKG?r^;ogCp)xwZ%{LV=$_+_kC>N!#Q%T>)uEwi#&P3!Gwl2GHj{eCP( zK;@0)|GTifya1>~O!@MMH`)rjzg=0sd)5FP8G5Hn%%~TIKWX1%-v=4=3}o*6N7btO z`377v1IV~3TpKK5{wPBibhf+if5AivQE}OsgaUXJ!X$7^rgR|<{QZ3&wG>O~ z@IPUuJ<^yr3f2fB#mtXEkNhmc?qQ~}#LJ8#k|s$qtJ=n6rEoi#b|^)QRt!W%ri6_8 zV-_-AYPQqY_Qkb=pDp?&q24*-BA_ql5lXyAI@9M9zz@T%UC#9~rm1%jMqKDo&*aPs zG>_=SJpeNF!PD(CIaOEu#O$WICwragyjVgZtJprjh5yow4`Zhps;*#V^{fhFG#YFM zbO%am5;wwevdbv>ANVz2DRyE;$U%VCQdFT23(1Gjdi5!h);{=XHvi7}-Qa%@6hsfM z>-(F3o5o`J{jE9O6amQweK@!H$dx-hy610NvS|GCZW^8S~d`KU_)vP;%bYeGGx zD38rzX0_#Hs1Jfgv3yL&U+Wa4Ah=Y;Dr}LD4I+mJLWh~&OnTxB`;SzvRbPy58a=8} z;N)=^rWsuKCJ4H@Udt@HND?mX{;^1$ZCZ%jR+uYsx`#>Ek=5K3CPvCmgU`9)%mqjt zfEJMVsoAxZI9riIo)gn$ld0La&Pr{pj`&U)Gs2DH(x_Ra(&C~o-7L42v{+vw8L`Ma z=+;VwowLKTFF~T=YJdt*4{rbR9Of;rk zHS3y0B1(L9^qlJnOG{g8dJB7@)nvzH)r4Sub^Q3W^JD5#W;Q@ZPBVT;OH`dzCl(X$~1*ETX zBvI$8*e-ZCQwQLw6fP*i?rp6JFRz*x1*oa+)cf zDGvsJL(yt&_}lfBqD9{wbz~5Y6rf3|4W^mMg6%mz=x6aKR!sD)6)ICDC-^~1c!*n< zEw8FmcB{K_-xS4cwq!X2uWC07&v%Wau(yp3(6S>~wGU?Hf$w?fI{e4pcFM>QMrEg} zT>;sGhJ1bOAgP_@`VwRb6}`4n?r2YT={>E*SZIayEk*@ePV2>nE?F#R4N#i5Bj>if zz!zJ4H`_S9yrc2VyVLBtcXqY#H*yV#x^M(6YVUN1^{N@z8b8L{mrkpc?^in)$dT7v zC%Md0tGvWykHe&J9R?1&t=@4=g|9P&Xm3w>>Kh4%*b$HRpL)g_*uC@cz*Sa#wm1L% zU8s%`!;1~wU7N+6l77E=5`c}Dlw4-ojyhSGX4DrE$=|SCm9261d%yM;TKlO(B=>rv z(Mhbo2f;#-S$DHd5KCS!ocbEG$*FU@<$v58Mq;bvGI&IwrY@a!o_I(%DcYo}J%7#P zAyoVJnPce@u*llL8aT1!LGJ9$OE=ozgd6YY;STo zYV;rwwfR3i4DoFjZ5U#Uu2!T_ zHoHUAUc~Be)y%F9o&isr{&QDT8*9?d(hUyJEAt4Ra_c*H{vbZ<_L&KqjgFtC=!Olv zL-rhM&o3MM!;G92Qo)RjFq|RN5Y)5S#U^q2J#{pqdVd`!3U4>~Is{>EFE=c~c!+*9 zm&Arjqc~~fqm4VEpurZ`S!Blug+6*Je{S8Trq6s*wvvmu761l}ECO3*PU~j86pA)@ zS{h&TtmI^7U$;k%Y3T^nclVt1+%uZL zE_7|02tIbyzX6`ce^o-+VOZNB;KudvqL{J8E2s}YIf>ZpMk>2VzcC|AY0a7ageBGz9I3I?Ki0HDI0D93nem@F_D6HuP36EfO4A z-dLV**f{$sSYTg|(C)eTFa2q0o*iGx>W2NX;gmbR#sDxbwj#BP7w6Ge;}f`N z=U8M{!M24Yy&4*14L!8`v-9|Ha(C{GgBAUkK zKP^~Rp2O|CMIMmWimCWQ}k?Z?VeA_n5hC#8$h7mRY{ zrOQe#YXGR^L0{}&X1_Wa4)sCYc*`~J$|^KW)x51LBF8QSD<)ev3*&rK*M#pIKP)~H zYv@EaAT&Y`8xXDzS~MtbhPOo?^Lk-S^`qp?5^8-aEZtY8*PSZk?1RuNtE)tb1FP-3 za8^zjoEvX&=#7MJNy4%`hKqJ+re<&Oe}EdVXMkt_n-$pq53XR{4dzUgCdmZ}pHz(o z16bTt$yz{mSLbw+;9RTxd~NHghgswk7G zb|Po0s%W4Icn8euC-(=ZcizmkIo>qZfv9C>ao{k3yMS6|yfIT(mqpqCn$%FW6xy?y zhh`gpfojo2j@~@4XDr=8UZn)AQwc)anO2f9dBP%RYVnE7}V7ha|M%MJ=dl>p> zBtI9Na5CL0H*vnJSt4R+fo8pQgms}Rc(lUZ^WIy9VWyNJYf}QZ_d&5YokYLzuv*J& zM{O6-I&+jW5!Hq`%DKVa$8_1&W~%Gv?o41Z)1j+J2&+v1fzLGAo(tiErc_Znvi;<_ zW$xe6F}$)6UNjUQQur$uqF%CKw+ItizZrhnUhRbR1a=KB{HBp`xEjGYbiG4y$^SG` z{1?}ECd<;(juIw({zs9}hwu`l(50#he%TVh-wbb4)N8)zV|dbKe&ud{V7y3UC?{yV z^%1en%?ArWQXcPw^2xoR8Zg@VIX6~1uT5fVUKqS^<@ z2qQrj>TsLu+;D3@1l~?Y6)Gk{$gHKYH$bJz?q!tUY4hCKVYfBiJb(fSuV_vg5u^Xk zvh&&W--_hM(rfu$`&Dq+t!MkN!lDs!o@(0xjZBswS)n{fPiPH?Let!muwMaw)6Mec zM!PyNvMq6-*Myko=lX#u%OslgA}<24UJ8m{@_m9lPkSyj#p!#b%SW-KF^jxVfnLTq znl+8_91hiHpTS9dUvCEdeBNqsgNGh31;ggiC)~TXX?0n^IyYVEP8rW~QM{dvwFTN^ z;48577Iab>pWCf7M&|~aNr2brW%k4Lat*U~7w;#DSPBGuxFuU1kiOK_z0m_Cf}Wp% z#8Cdw4X8Cw88dF3Flq*<9I|o_oi?&6cg~_VIPBm|<$sjrf{r}BX>5HEX${&8`pn)OrHv3!mnx!FW9SL>wq+{ z+McP85KZhXiH|ymf!0K7P*DLUcWofEx_cZ=)bHaAoOzQDRQ?!M!8Tj?Gq#P?zP~?%EU(im1?oUIStH41yA{e@!*$ z-Mgw9!T|QWiFgmntvt;7GX)dWTq>$=v|kF*0@dPN--NNlwMhS~X#dM&GNt9*fr$aL zh8^93{d>UMj_x4LB+?>Uq5ey1QT)fvnf7lejFeVh3Psa)%>~(l2*Szn-)fkZh3Ws2 zSrc|g;z&IoG#`=6%Iie?RUY?8+3TXg~xU zL`mq7%qS9riARcD9iKcxppLo2lyjLi+r|{N6k@0pG0w z8Y+V*<4_07WQj!JUNA%P`;(WRS$r-nDj_3-gMGavW}GrmWavS*+qdYYAP@i*E_PTo z(k6e8hk`9HA*I>V+l}h~ zq<2fvnVh;GVt}?GLDAR^m|Fl0uw6cik{sW#SYrz;GxAx)&)_x7eDBPD(Gh}bc+=`H zgOTka0))C6T4*n!u~U(a7A*qxr&8J++yKnM-9&S_y*|33#|HPz zxL%H_4?|sJbnpkrmHqYG@91K=k5hU4G`Xa&1#gcfz#cCuNXZri@-!gyw2A|QbL{1M zdp}ER$s_o3x;FWpO+DI};U%&^ZZLAoM1k;lhn4?^Gm|B@c%C>MDTDI@I7;A;oVu!~ zSKI4-U2a);znR@mmd%!lf#U4)yi9AyZ<_F$I<6#oRrl5UzyP-F?x|d}z_AEI46mNI zrOx`@R{ShRZzQ)}nU55d<_I zvw050zQF24)eLQ5c>2C^Jexs*i_hZ*s|ma(4#Joz(bgbDErCd{OyzWFVTi0k=yVye zOjg}S2oVh&0Rmv<$rCji4xF+^2Sxz7CS9BcYEf1fijGzq?HvBoLtb{=a(p^h)roi< zua-&muMoj#FeiFLrZ`;0c7Od8QK+a`3U=7=noCl(tthQ6wlAWCqJ{$KD30zg1tb{Y zQObS#$)}1_wj_&+11MNO?CxcY;bwxPo+_F41Pn1|*FOL_alG0|(tiHcI8t>*vHD&l zBY4x`FxW%qajTc+y900iv=O0AhpSdziH>s=De`3Oc3fR?E=wd1r)nMNPNy4!=%Puv zHN{`~LE=r|nlXyLf z(nbB_;f#Qr3wB=3enb&yUIyke8m;OTeBn%{BEj``b3-|hF7O%~vo)J}x2rgV78Y7Lc&^=jsj`cYzU z4W#NG)nD23V}X<5l5tJN=8zEP@2#(h;NHOz>`sEYlj?gi`BJpNj{)^|=dAXRMX}t^ zJZRsqk3_>fwNGp(ZT}5+!+nHY%U!&e-N&I1?(??TC4(WpdgaOjbG$>DWtji^PG)$40AYC zM2}b-J2DK}*SCpOVp#y;4WIak^UVAswh$=T$D5r|=`Y8Aj2LwII|O;fK;RpAD;|1| z_G5w$s*H&HUSGF3Rr|ORHUd@CV|~+Ss_L=(HEp?R<~iVyZN&4)MTgu_4R7fo$UFf& zl@tVHq#)-ciD2tRMK2nQn7q$=2R9~fP{d!XY4h1IXdsMSX~5LbsBO+&P;R&&Oice# zL~XEZP>)I=Oe}5x)D;g16Wf2x#BIo?&~Az#OdS7Hl`YVabin`JkKQ(R2pvxV!u;R; z=xuhuFt6eu%q;);5Iyamf(2)0Vq#`aLt2AE2V>%3WKJt+g`x!5xH~&gOh231$p7U? zUw5NuwfzS-$lGk8;-YS~+HTGI^?ASS?$m5vRMrNasS2E(F99AEjF@LEaaPtaM(Plkb$51lH39P{bs7v^#D_l-lg@XXNUxPp*zft|8hXqbrXXUql z@&iU=*?*Ss>H6RLQd^-k9e3q=KunV1F!N6&stF zn!gYy=SKm9n@2xUAA3+z=0gA%q-M4c39eB<7;W}2?REeK494t_q^*_3SDffiWEJR- zFGHgsDlBFeU=8$V;V2K6t)Z#q`E^g?dug-}!31elF-1|e@a+cZlZMX9+Q!_-&>BL~ z?OQ@dL?Y=2;yXp1vHA7o@iS~1Pzv4u2=LJoF$YM%y8E+}e*Hv49{p7RXmn{vuI7wz^P=l&vl2go|Ow?N2szw1jqkaX+Z1bRR^KyU%o&%Bg=0w>}boG&i zHUI>Ji|!(*4jFgIx6?=#omloRW;jMZ*E$({XrS2eaE-abFK>UJJ+`a}f?q(dPG>h+ zQHP=Mt2&la1ueGfNha5{r@TS_cKoFqNr=Y04PxS7aWpfaed6UOhmB zlM+gUp)+(W+N{BZ!yRL^keocY?GCAN;0HY(&eTUaap`$=Qw=nJEE#z>^6)T1w>+`f! zls@F&ftbB2k#MaZyJ-QZC#TX>nYkB&)Sz{4M&`%|0H&ffJh`sqh)sI0r39`;R*C$Z z!sBdy-MwTF(ae70DREb`Mi~9q&A%gPkg-pvT%h8CuY9i7ZTV}P8jQyNHWJ`2FYxXj z%J>gGeHqhAOdAAc{a4E$Y)aqEvIWZOD$w?yW|*!VgZG0o0^-&LlDx~Y8<5c?tOdR! z&F40PD)(2Jb*Fwj>*P^X-W`u<@-UISjSlBY)fWyQ%ptcMt!?P$!U}(Sqp4(?w*Ei$ z18WIY;Pl<`wF*bel_j=#K6Zeh@J9JPyLQU7x+)5tFf2t%H|vKn{M}42-Ku12dW@YR zHGY=wJmD)+F{rJ)v8ojQ@BvF$hUsOExV6F(QJ25vuVz~(zhPzQg_hQZhcd~ys)y#} zd9n2Mi;XoS$S^@ra?24R(~c*hT%UqcW}p_Arag$A#Z$iJk>!%iAr1iuR)Mi$TtsC8 zo-9nrQjZVG8l=X!ZaAbvkSc0D*c1z4^sq>>E}fTFL3s;J$Msm-vcF=@S|6LwnW z>$OgHvCcKYX&Ma-p$ffWm~$Uix_i4F66Z2movotJF^cBa+4D%i#61l-6Cw`o(p(jgPM8_@d5mhp|Z|veD19MH*oQu!IM<8e1`Ae$~nLbJSO`YL%OqJNO>;( zry$coR(%Ejhw*eWg?G3%=u&87HT}Etowv7BysnP0vMa_A40*2Utq?-y6s?;x!o`5D zK4vO!QFt5+Mu)krfUMhze^>z`&w)i!R*{U^Q*yhQcx0M@QU|X-1zH*!NU~}s(~C{I zJ|d3o6*c$!fi{33a$}A-4@T3MoqW7t3wfL`%FZ<_RCrLYc(4%<%gW(KHpvRKIVRq^ z=l-N*i1ZVcZoDzd3h{hxBMMKFt|wY(-|SIm@_AYvHI!fziTxpe6;E<)xk?R&eoy4O zON~@6acp`fdMG1;7WJ%woK{b%Y;A80VX>g(A_yD%atIJ#km8O_8lmge(Da4Gu8wH{ z^yU_=%T~lOhrO?9F%+zB@+w6Q3cB#uPEH(t5PwtE=j+=%Yvh^IF?Uftge{*li+H)P)-N5qVs=*t&>xDi@% zTqdxPLvcqhZDA)Pj?CC4ZCj{N_}9N1aFA#2)T~NpW_XFDsi}m^v$0%w>X!tDo_t{& zGpE~B$XGm7XP%do*5mc46kL>r?GS?BWG;iz`(A(a_aoSo-gR-8tp83rz=_R zA}ByES$0=lys}k7xUy0k!(2ITT8ny-Y$7tGOsdEo@Jrv0Pk%RlvW3~xZ(>B$rxuY5 z#(PNQ!fu(1go=_P^bO(DZopvie2m@glrsRN1Un;knIf=sZ09om9fEopgN7B%7`l)| z=J@NXVy!@Ad<}So`L{CZFQezS;HZ+NtKaiau3ES3!1Y_P8Q6U;#+ zK3`A;D7=ncW``s3yr5`yk#jeX(EaHqhV~45T%HT^hVef-EbUJK2#Hy3dHZ^d_BOT6 z!8#NWVwy7EO&+BVtz)h5iVLAcEL}j`h86NyKH zA+aEvSr6T=St zb0qn=vLhv6K)QToVMK}@qZM#tf}IkFejzEzt`523J-1#z?`?}Ny;HxYJ@+?Ao4T_~ zYrAkiR9P6#;wewm{exH`qn1Yel0>nL~(UU!WGb*H^a>$aRY4A zB#i#RK~U=cvzKOy=wE0YZs$gNer=6A%N_!?k{Qt``S7PK2O+=_skZQ;YIu)dm2b}x zR=?ku6yadK1gzJ6mzCuBGj}%xH_UNoQQF(A`r_PU-yv{cP%tXOD@ z0kQMl(@@K2-V-;@2?5Y%MVUYyD_D&^+Ys_lmBCq*)R+4_<8wL|8FP2uhJvu=?^p6- zM;0QKjn*EsH0;z8!Fm*cLooS_uj5BWt0mO&_(rPjdT82)0PF~DdbZ6IPw2Y8W>I5nGv<=bOGLz@P-Fe-uFFxD*4`_3tMqARc7s zkwR*y=eb@>B<0NYtOgn}NX_LxoAB`|We!tIsyh1#`N~K~ z;wAo+rTJQF&?-5I7MW)D&8sjn{pJX)9c5$d>Zvy%yeehzU*k2+;2^!>AJD-K9^uBN zjpTrnYsBw-SF@?q1PWGaK*`BOS^CyErB5KT-iV|&*8)%pod@1}WJ+jL8QZ?-_$$7U z2ruk%duit>)`aVi$!SB7tDdPov3X?Se|5B zC}K+Mw-M|aO(DdO)gOl22$c!#WmxqKn#U0twhGy=R#LShv1$Ts;(mz?1HyihpJ*sj zE2+AMr~&a4PiJS+UNYy>nfT!-7zsCtHNp`rCI7E z_w-~#*0p2{C9)qJ^vUG1Eq6|<$^Qp4 zK+L~uk@0+`rzC#rV-dN@Q#by<$y%0~`&ji+!M*CUo7-FVf_gmBT0q>skDX zbMK`qx>zv<}-n%A3*61?AvfiTTkE2Et#&_6wRO=!FP|3uJWTSHYyuC$cNM-ylw zpsz7_SrJJPXfZXbo2dCnn_DCay+uGe95RuA(+)uIM*;5;UL;(8>z(=`OSpvY#im-{ z!MRhowz{+jR*h;fwJgL^!{mDv&`oSJy58dK)<_R81Y?b8PxBQ9OV0C?#Bxax)c!JG z1vo$m&yZb#>S}6V@nwT89KqE!gvA!<%{e7sGxhGpvh$ zAaIb%Vr-(VE$Yfn0Z$tPmoPC>{htvn z5zmMthedHLl_Bx%OE>#xOs{GM_&C#umq3LbnZNYgFk&Ra)ik3OCWYcd^_ z+bBTCJN-R);azw}H{#Ethpe@JTvx0S5}pfVdq`UE&=&8J^?MdQ%@+1jvD`%eO)0&Y zmGgrN^z?vxh;)Bt811-Sf1R4vT_SjSkU+2P%CqD`q4LPb*p8iwTU7LRQvVfy^snLk zZs_Q&X1t1jPP!x&En45&p1 zy*dBO5X8PnZDF~Rm=EBdPeDR|(z{1^t&GyoAbI)(f}bjOC;H$xCQzV?=}IKKa{Xpv zTdx*DnPtBVBdec&*oYtOAi_KC77}*Cdz-M$%O1S5&*BO8?fWC56#GsT-gR$#t5T!- zkdB2>VVxn;6}==S;h9Wk*3ecBo`bSGI{(cbx+_V)`XTmf0T&N35#IcNC!xk6X*9-H zqwFN^`;(g-p#FsCrmSJP&|lXFA>Qqf!8V&QYp~~#m{(-w z8OYR;lL$#?K^9mF3 z9-G`3Mh*LC1eQJIcRpWm@PeBbl#r%-w7ZARJkKqdmlZk&X7lB^+K9jytoQ(_ms^}z zKQc%%B`Y05%C|@6zF8mj#0HZ-8tcvaBrKx?RgWk{3v`Lh5nTU&o;)T(w83_YZGeH3 zlWx(7Q)z~VW%s~lFNBI>8p1qNe^_pREV+yMAhB8&*RbHt{8k>q_E+F#Ok>554S*{Q zgj2W0SmX_1)AD=b!bqh$wIt1j`>4Y$ZCQJ1lYU}6UG5$K_*w{`W|2(*dh<1Sg6F1& zK3!RXaCGP#zr8wtid-##{Vi%VWI3^kjUXWta&6(pB+KqsfEo``A%=;;bnSq%#hB6& z8Hn{!Bp(6m7nzux=U{W@1TX+h=3pB|a4?n7m5s7$eoW7Agr1Zr4>GnibQu{Ii-NJ~ z?Ok>}%(G4i?Yd!Kl~nD%ZHG4T&r;|jKXJt&cuo<=PaZ9QNbO{WM_1U z)_VlreYZW^e5gG^H|T5!HC@xpl%NSkdDMZu#m;=LmO>ay{5iKR2=%LWc=wehIBeu! zY=UVcPJf=L=T&=r%jkCBEj(A=xW-yITGCab7{AZATI<)GMwW6`lHF3D5Q?G0ug$p^ zhF7^?2C|HQqC%7jvp=1o)G);$%Vg$^dq@f?Yt!VHd_KAS$0&R5~Qce3lJqAT)A8Q-Fl~9Qf z?Gs>sGV}lS`WgZmR(iLgeFwsKYV9E@{ffQy~%y8Q*jM=3-pNtb*0ZW!s zVz`-VNXQ8qw*QvICR>w&=(5}8J9eq$^~s^uuuB#5ii7l zGuK9&#?kr@DDo>W)P)h{)FyiMiZK>N(7J(=t>&%N;>1Au@^$RhjB-X_cn~f44N3l@ z42C)vS`hdoW*Dz>l)19^H2%8sBD>f$wS&$_<|YMP-LPG+@!-pOG-e(EVsA9j7m;ck zUu2Pkn!3&Ev>8;18ef0y3==p{Z|0?c$~sDgLA!h9skH~(2uRRIaqvEn&2QueexyGb z!$MSD4J-SJ8;PBv{BU~q@pAss*>y&Zu1@XLLMM8bS7%F9LK@eO3-=4S{rT^|Fg{I!hl3~9Qd5b4hHfA2 zz2CTajTsy^^WQb4iFYCpAkDd+HP%tSh3l)7lF%co&Jo^WD?27pdzb+y>6L$yk*>ba z&6Uw-bd)U|Y<__YbYW+ir2;{^ZV5RgkjEmg-e>6bA;*k*#!gcToOAC7Q_#` zk&-pyvp}uKO6>G+ zMtD0sYVm08Gn4aVFRf9;@4O25<20X5smo&jg~BVDbTpO&eo2?HmWMR z`&|whdGUr@vivGXSGZL!tX%3U`KwuaHCd2&AFD6d1))2Px56x@dfRfx+n`@}AQFsl({$9XJw}P;Dk+qSU6aecm8~L~j;N z0gA`35VtWS2tHd3WAm|pfWETsKY^%S)LWiu+^=#1>b(SS-)V;xM2?eKs`OA5H#R!U zr+7gQ!k6<-uAo_w99uGS?n+x8aj=|+)$jNC8?jm?9=L_Hw7t;ouDjEVi?)4#Jru!`7e+ffC<)3G zg*uXobia%DrVSoJfd%F`{GfCVizG@PKN(i|L-+htie2JG>#`8EnLahbL^xwL54VNe zQXd5R)lk;hy7%(>hR085Zd{+tqs%I*lHm0iA}hz9>VhFX?#h)fjin%?+FAv|Tu&tU ze6FOtMOU1;bWUWWRNircM)&FPU6| z^U`dJt|*PzFRK%63F=D%35!H*&^?6auu11LM~e8QKOenN^Q;TfjXvw7r`w6Rt7!7? z;km%Phl)LzXOYsuZjIrhdOcD*Sb8M5&v<>_9g!fs)5Aj+E|pJ~8kuGlp)9@(|L~yw z$S##-=xV%wWZ7&mk;tFn1# zvn#Fp;tqY(OIkjJD~zcFCO%3*8b7KaiB9mg9W1Unf~6p)J{MN|^=~$DPoUn!EbLo> zGtHcY`PT@*WObd>b#`plkcn*L)l7Vvmc`h1r9KOPO~(1f8h0>kZ<3ANf_=(0i+qKS z-g3qxY|p|`aaFIs1eBIzr&f$vCd?kH>`I}|Ai8K=i=KNYhoX}A1PX4;^&L--w88qD zUbNj*{4=^q8G_Z4hvKwy)dr6GzV`zB-yFvB$9-^ZW4LMUdr+m}9Mr~HNa3{TPTH{^ zLYRtw-lOHgo?Ewx{`kF&H9bhH7GAr&j#7oBWVUrQpfzxVyTO3 zNJS=@mbi4g#Uc0tMe|==+Sw83R$>INFn^NA!w~;bo*V~@#N*|!AOn)bKQeCLk9TOz zFl_iK8^Gc{a!{`FaO}IUg&_7~EtQJOQ%-q9| z5m&zdOFrDfuHET=f~?AJ#`$jEkYenLs`I@ncMrb7h(z+id}Q5?)!U6i6i9xh-}AM9 zDDL`5<<#)`>=V4e40gSrL8C4f&&5E1y0b2)gvG zzUle|fvf$JrEQkzULP3$Jce_`Q-PX|^(*Mch+J_JZ9wk^yjPMw={Fpe+s5q?V&9A< zbHJue=dOoOi*DRiCY*yg*Bz#lt1_j37ASy=)5^iiP&3|_CjRDgGZtWc_OR=4Jr!U7 z)hGI%qK-+Gu%cd18vIbEN%90^xSEc-&nmv6py{si44u0rORAY`v4r#tNYfCHgeo^nFz``L1`S0zkr)|zWF|3G&vuFd~C%k{i|V821T1HS~R|D9OZ2p5ZGdn<|>WvLGZUQWf72nzC!s4iqcK- zH!zB*@B^fa4=rlh)zxN|6@jDQ<%H_tz5DoAnuSRGL^3QAR{9EMdYHbv`im9!Yct@o zhee!!v$>Y|D0Gu})^n;L%R`a$-k?CdA9rGj7IPz1?Z)y|q!-{{fV%`SAu_d2**>SPUUG z$(j2mO8bjLcSwb;T|?A^2tK#u7pX@ckx}nU$v~lPR9hwuoxN&*+t1Q&S^rF@`=Lw# zd+O5tjiRNk8qT2ZEfM;NV|MM!GmDB}H`c1+Y0f88OvP(jy~SNg0yVwFlW?L}p}^>} z>TdU!!J8FHSI)k_z;ROdoAZyF_}r}kmG6mRD|+|b=)ubTvF#2Wgn5+J(k`C`Vzg6!quN zK#DCIRbQ7|+_48r%pdO)twgmjk6En`+dDZtYk470~Z067KWi8b3zB-=Zri{Mdp534RT2 z@jFA;e`k}{C6cOm+^h(D?f>b#bw=beezwv41IOBJwfXT|n{>6Kh{Aq1@)rlVE{P4h z;OV!39=mLR3bKQIKVBpS`flTjeaiICKG`At)UGW^YsJwB!N94H!$Gj4Ti`h2PQF?7 zBt@_q%G&iqnGB-8UieDwmvzsOhxHX|vWNi4hb3m)r#*hTQHZ1soc%Cjl9t%7bi`8l zOBMECcUgwBTm9+E#vz(=&J5V`z^Hu1sNQLPVlq*G>u?<8nEk<*Lp(DvWPh;xtrnUW zzf@;Rr!z+5fOzn-B_jG~ykiz?Wi{=`1#IH|FsWBDJ+(Acs8O@@GN9>1WEgb7cXDyMGHY zHmn}J@uc{$=zu!b^`L9I0cBtsJRB;81y3-Z1>0u$&h-{M=W9*9HfHIES<=n z7wp1?YUT0c45kzzoIjcxyv%Hwlu5|7^mTrc1H-~Sl6ijZ zS_n520IcA*DLslI8G%x00eNpYr_DQm0ME$GE+WwF%ohu2yrupr@M_;^v^|2T+T`xo z)LI3pV7tU-Xn@8i7gmvWPZ!2FmMaAfThCRZ33!$T;mR?TFvSk^h?0P`2zo@b4!~HS z-EwCb^>vA@WH=I;Vqiua%Q@>e?+W0FuUX0#32`na3^Vw4JFX|Xy{dO4#Czy}`zcw* z%5$A%Mm%xVD^BLT6vOe$=aqPM_}A9uHvImbn84iHbKXzb?KkU+7qZG9QLEgZ87Y`i zE`Rvbdx+~>{cai0!3VlAts@e(e5##aJ@_y?m44?P+nr0)c^}`PkgtD{| zNWMbVBgf!Acwk)aH4H%HO|x5nmcQRSZezUs+9Boap7>=P1r@$>X7`Dt0Jrq?^TzH& zR<5aUR_gpY@#D?VIQ69KI{`XAj+u!Dg_Q$4hp=H{!B?&bluI|Q_UaJ%yU05`>CpG< z{?C=(qUFf%Q>!nk2L`O_{hCKPCq;t3^hkwF%v9nVCcL9}#(XRF_M2gUpFj3;e`tej z_=k>@B6x;bFdV_=3c1hUOsI}Uk)i{NR+%apg=%okf(p+K-P7&Pq>GXT%v9NU{LxFe zxlm86Zjw*ZwH}`2g$+JNE& zm4B@4PC7HyB7TKWRexfC?WTjjxrRE^Q)Sk0ADpCZlFo$RNz}APZ*t3UH;qP*;^rvG zCBUNtke5eGmF&INt=znY)q5y{!64+xpkjw#Vw8v<-+&BGJ(0UKBu;hZm-l&=1ajiG z2uSenQY#M}XbabbL&Nrkw(fSA{8M5=Ow<=4m zWaCOIkv16~M^3q@EUrfQ7X*`<#{j{i<2S*syrFn<+c5oTb>LKI5GW z+n~;|o6ulLdqCE{o}*jKZyTkVQ(q3T8`#mi@cyup^JoLn^n=)rSB2O zv-Hk8j~U%>HWlZzuD?=q3g~}}cJ8>zz)oZ-Z$EUX3r<}#Rg94zQfAwaLir@~OMjw5 zQ-Es11d5`F5abO=YswpP$>ESF8miX`U@_C5Cb~mKqwnMb3Z83c`e6P}@~4aG7ucGU z?7+y01#`fEm6u{hBw7q6+}z5PE$qoG+}oZvck!`BTRk}#Zd?< z-V$8$iylvw2KMj)q2WITEAt@V*JDVN$yxEUA*<(4jr;bAiM%9q{3Le%LV4W`X`X`Q zpO*VX6QC!NfrgG1BxhRhmhj%45E50nqeW`(tk)KQ#*s~&oi?v8nzBKVfjj7Yen8eK zmC@mMB5UCUy+|6KT-H`A)%jDGWGaAZprDD#HNPhr^4fGakCI~wN~aA!#0e|uGCSYf zm=q=SU8RUnm$$j6#+|QM1z#=Ca~4sU3_C;@as4Hq2ll}4{VYsSe9%m#=L(*%Nh-OK zalq4mtn^noc*GcBqMRmk-@f6T$9mi%y8G8?!;S>du}uj3K@rM#a6!@a777*+g=aN7xet?o^`Q z3N(oE?Q6f}Rh`e0YDh>Xsg^4DUC*hTWaW{60^m&pW9w=mwUa86DSuSn6)Y*>m7^3) zIFYBr!QBzhdOSCRX9^%Ly!9H z#bp6ux~8K{*xnraB63-Jpw|Lt&t~s{fwJ8i2JF;05=RQ5q@2v~P;?kR0rXm~=9uh| zqeEupRtD#p#rg3AQ}d3)PJ%*JO<4?oq>a#~NI*xV85KT18Cyrn(Dvm|jE(bD9pE#z zkG1~g#Cof&gG(pTeP;XOlW`k63AqQ_!AjY1lk- zs21-&+mTE?cf}6@I3cM7G;AxT56FosE#JAPr*K5RI&a(Y6qp4OkTiJ*i(<#ymP1W? zkmNV_d^^DZ8UC2G#&{#vfUszP=eQhyp|$)7rllfsDSRyi)AhXz?fDF6W~^btb3g@i znHpUVWd_y^WtHpvF1Gwc+`Z64%@C{W8=bBKLM!5vCs|cjKHqM}QqWtqtgW`qoa0tr zd@UfSLr1#{YF13Vs*{7 z0g8{mY8`HjkEv{rFl8QY&4 zg}qx_yL4n{^%CNz4fW8?5vy|3npIXmyKBhI3A~X!P$Q_Yhq~C1=Usn{YD;>{z&9d| zcaLXud>-?s-SquV&4&Jk)*IP56qE&(uk#hq7%#sNI@CDoq8OC z$wxdd#9BA0bg^1V;)6ig@`N8rCCt_z_988D$Q&&T=lemia42nq%K{IK_{>g|f(Q04 z3hd1Eai+IRUm3akMd~*4x=F`(T2G!gtAyU^E%c6kKZ^^3kmafS#Q`2PZzB5;-^E)c z==OfxfU=x_vZ_gGy5iJ6KOkkMN5lw~0&$F6**;1N@a3U6W~zubPTC_?+(y%KY#15i z)ZY9Dz%56!IpyVOs%$+F7|9^vJC_fM(;vT+zT>>U{y4cMNXSS&$^2Som7xnwUxrRz zzxPxL@I&5$PXk88PZP6!%KAX34L{#pXbR0h=IB;`<);fnAb8a!wVBqc@tX4$$oFu+ z6x8K39NW^+H>K{fYgZ)jL?*${jIk86Gl#P|Vl#q@g$`0DNIG*i@iUZpkcODOD)V>j4N{19oYn5g zh{&XWz%lT4U=L_mLqYFl|xb4XJJuOhW(&h)|-G=SD=#lmN7Ih|HC6!_>^#pv^E*{=E zTdOg0=elYpJ*gL&bmtaOE&j)y2Vw2iBKJ>!Kkeb~lk=j2mP|VBO8T8*`SOq|&K6xU zH-TtrxkAkNAF@(9XUL_&JXEiq=uIPI3fW4?CTA2NF%w(;Y+!Dbh9lQTi~ZJ5H}Fk4sB`!1Fp* zS&~kD>x8DcHlNK!0kn;mBEP}BRozwEz7_De79&guFBu<8J# z-q3n~6}sm>ONvW$ha3o&1ph*R%XXQ#sSX$-lhCR!W}02e+~kgMMO{A4!vk`0+_27r z2%{^NC;Ptg*vHKWZNP{c?`QO=FJ}Gmefn(x^!OC3{Y5{gQc3aaN(1< z5Xw#dCb2{+FpGo4UyV%N8-;w=ir6=E1S2(1Fb|;wt>KCvn#xxqUreqVhEX=xd-_wk zR|dSJ9tYMI28-QC27V`h%cFq3x_cjuL-JBNkyBke1EOBx*d%e=pAl1UoK|~k77?Nl zOsIG-nXY0=zlBO*-*~t~{%l)eJ=qep1F!sCus#OmTT7efH2h^qjdzU* za4-pC^h z19L4%XNHXqf5%kMg>3c5W2-!j+`ly<5%yl zB77ekk^II02{ZS%ZvsC&!Jgenq&HQkt;;A-(fv zwDDmZm>1-Xv8C02ulvL*Z-6kvkAv>GLaci$ipS`SNQi{i|ItCNJ*X?NvWM)<^`##Ub|iM!lg&y}#%DkFQ*gF?TFszvAHEwv@xLO3VoyV+ zCN}};1g%iO^TE*|L#fN&^lw=yg?9;m|95q}{@%yofSC1gQY3iX zF>DunAlE$Y6w$dif-L;_Xw~mwtUPDTrU$w+L@)$oHPpR4Ybq5w@lwV%){x>LZCB$X zl3;Q8sx zo-)%e0D!n^^{v&#Xwf=_H2%2$w&wxFoMpiT?Q5_;TG?r`UE<%d`HN%*HeCm^CP5j0~$NV^hFZVsapX&r?s)B)*}4 zHQ-jEzp7?ZH}EO=n5AmjQcr}MZGO8~?t=g~)%`I@Q?KS&cRX>wy=WDbSv`jGv?nZt zmYBL_6kjUIvjB`C^wC)^u!s`!H%yzk2zSL7wWtq8pa# z15^YUzH-@-)Zgdsm{KcCBuG9L6#T8NF5pqgAWLD}3xiU3N^2eqB>Pzizs}O;12eU& z&L|H?XZ%-hGz9R8@yWSj*e9d!JwXaUV#WO>`%}Ajw8C^u;(o|YWR33MkBB_5eZdxy ziDrgAuPWJ@uO^nkyk$#tf8J$(7De9I_He)bVWN#!#WHj!?)Yj^mn-j}AP_%MsN!o% zT1d=U>h856x(QCA9j@qUqO-BN3%X;{f>!OjY8AXun;3Ia75%IbRb=Lv%7b{1>Idxl{F^b`*fy`U92ZSo6Z0R7&F&l+qvtVymu8*qMY&g3 z+SUG8RVmW1#Hz*I#gR02H=!cZixVwVis&k@<6DisxL_iQbYFC;0@!kCXc4lAC~H!N zpluyYaKo=6;?TgntOX?UAL0?9ZNur9%G4^No@u5|fDB^>4^8mks0i{53%773GyJ&G zh|8r_?C#J14j3iB|2yJ;qZ}`Bo5g$QLIyX0Tze(H}lg7v!Ec#5ac%1ZEbbZ1d_;Nu>>0#I$;D(z^04jpmnQ@wA|ZTsT- z`!|qg-AU33!@DAG^la-@via*yaZCkqHjC>`vllsLwc+KDbJs3`ZY*LeyH=$;Vy0@=cNfX+S1ZaJ7>`*VAa$xmRKZ zg}PL_IngJN0#A_^t1_2+qxtVygPg4Gk1(zqyk4P~9(((>!HgX95>6>44cd0$hqp~a z zWu|-S`M~^h-uS;e-m`;lj2;W-!B6Cn$6?=L^^me6%LP*IvBUTYcutjlq6;Vb_|hM- zv%wqw34dQpAsap5FpLfuz|Sn2wx5snrub&CuQgK2`3NR!bfl8ls6yeu!`KDCjtCe? zJ;JLA#c14ruhi2q^}-A&H`>Y=kNm5FLp}@ro3ONX0)Zcx7u*$QTvrF$qO3*FwDxwxx)05SP*u2l5i%ss&XohgA zAJBlksV!s}-S_dn;GwrHAxDHym@8P05ySyUbm?)-&+ z?B@d|l56qhx5K}k^{9&CYjwmOOmMJH1XJ*bKu@&iJ7V<5A_w|u+GV&Q zI=Sv5Ss8JBliz1Mp}EBN^tha4-(I|;p&m}&5EYohw|EenABWdQg6#v|ww`9g23T41 zOP^qA(Tl8pgy5$+QA{0JhV*lbE)wvJ;9R$Vnz)F`9Q}dtlOmSAqjTuZLk@RL^6E&J z)1i8DnO?pY?x=_W!7W+9b}xwbblCTBpCB}l4MDwrpE~r3l0m4ZsTyjXuFc9)TdJd> zT4r(<2vFj%y%Z>)lO-N3x4&d`;z-@}mjG#m8yut^ZEnw(!~40*@uux?L{%EoFR6xq zNsM+hJ~l`wgm`Z}IR?CTX<-o8@|5?8R?9QG)^JI}QZ%?vnE7G5qKlB^Cfz9!Kkn-7 zunKCH$X29JZx_ETI}YM@pNZz0b>y+hj06)6{ne&`~>T7kh*=U9Ui-Evg#sT-8d{#1uO(->#V;tQ+ z0bTyMjZ_zEiOmk~rF3aaB0z{V6UiQ?a!?{P`O26qOt&J2d@O=EqtD40_Sxb%R5 z2|(H(%Xm~}@&Zay2Yx$W$u4g zW>mI`45nc02PX&{i;&f8zhqH=60v91B;!l>z`&Y~b+szBWb3NPm)r`cD(b3n$RsHa zYQ&C@Q`T{TX*EnN3^@O*6Ryq%s)-8E1=zm$c}@ck?qTdmz0>H6a}Bud{d5|Ge(d}3 zpSc95)pa1OJZbKi43ne3@Qeu|T{=~~!;6s&wOJnhtg;TXY-9d>`2o;>hQYD06vj_t zpNi0^8^WlXYRUKJe+4KM*Xx*JB8>~Y#{E;OB^C#)+l(KXxCG>32p1&ZDzm4_DB=x`x>U@#zmeiqe}j#!DgdbL>5F~(0f@G(V^d}a5}01j-7Go`j>3^WOX zzXj`r>%$Vj7IXws7>^Bs-p~G7-25H<2St#S0<^;QHIwxZS^f!HcQrsqIaZ%h@-}OY1A^ztLHL!XzV;(rm^UkuHuT zea+}ZM-uE+szeTmb+i!QN=#fM>TLDRZ9yQFjF{#(pS`rrn9G+b$j31p8)*H2kCZ5s ztq1s-9W$gfpM2yR=Pm0{pX9LAw{-luj7U1ocGmT1@fFbUUH*UA?%_FZp@h$AFQQM( zqJ&x-3ke<(r%_3NL&3M9>7vjr7^Xe}F@b>#LR;Tm?(vGxMl?u?1L($Sx`&gd$nXNX)bHjc9ZP4+oq6!06Yq#7)6jd#=9hn#EX5^! z)vu2XBX{=Y5`}sDbq*n+qfIDU5$BBww|17zi6;`!D;Jl4v%btzJY4R zb0m*?l*oVHAXG7444mxzX*E+`4tK(`xw?U@gF2^y3|ctNmJahG!)i&bD|~XXDyW`* z<J67lQ)p3>)(R`$B`RCR#{(EDZv7 zBpAFtK42eaPHwKCX|{<3E%f7w(H+6ik{QSmgA7(2K@|A}&jTJoRyc$spx=hrWc;lXbmFKK$nxBm6S%)d;V@oJ5kcUXE zx4}4Qmjt6!VdAG#fPRzLpt~KHx_?&wLUo{6;Z;R16q_g;Encz5dP)47s$Ly1I18}- z`3*wP#^x0)EZ9^KHKC%@ zAD!HPVV_u_Z%b*b-#Lm>^W5n(%&%lg2m2=EQRD4H9yGkq+_7BvM>%RXUk5JLm z1|0cVVu@wX3i*ezM=x7XkB61T({XpwW|3@8u}LJ&}<^;xKnB znzz82_bcu~f$|D9n!;50` lbUuL;O^w8Bz-(s4||wrw_Hcn&m+m^ zr|kvF^n~+raQ5IRabWfhYd7ln5Z54%D%%P2Qnh6|EszdX71ngXo=XOIR!qJC`KuE6 z!|L;NbvEA2i>JK)yX;5*zGr%Oz(6~Hfc$L|LS?WOvTSaC2PRIt@VpP4({6Kipy-SK zGf^qqP^C#Jr$OAMhG9Z6B30f^61i(Pf^s0vlVjtsaVUuRf>un=$OA>d@s=Td=p6Im z-U=XDo6$mBQ}}+~)W6(n=92t7$OIy2_Pr63`4TjU5Wudv*gy0>2bFA1L&U3puhQ1n zf86|!qx;GAqN9xCwI6ko?OcmZF>jfssOc?pX3OaA(FjB;&5^l41xa<4rp77hFWZ>T zo`daGD})55z_A0)yB18l0>mz`h?i&-)=e&_09;>y9u%q{^g0ip_7)>G5lKEwAE=hr zhY7!Rx!W4Eh!jznxe{y0$8w*4yd+sf3m`u|Qz{Qk;cbs#R<>Yi-u#n}<5BxR8Ohkw zzy_S8iE2c0Rx6#uH81I@w~t2LIX9@nv##f`8O|vU`sMJKtPYRU$aoAg1(~&8lFr6|BPp_j3d6!^ zO?i}fqU~OXJ{+s2716=z);hIUTiv$;oyaOjJji^8zczfwWTB^_8-Cl^*8~o?M6#$u zdJ0fHWt^IlM8?5{1K-d3oPj-H>yg4IXN|G>J*5lJ!KfR2*mY-^55lUI4@s!Rc<1Bs z>`VIAW7qab2RCTnCOe9MxzdkV@LU_PKQNE8aQ5UqBSL?hyLb^2yhs;^l})2=s~mu@ zOq84l*m_uGJ+KTy(^dQ-gN23bW@kHxGq4)GID#={ayJqxT;%%Sp~*R#(`3dy*i_x` zfuA_(|J)!PP<-Uv=P%j1$*1n=Y-B+;2qakSI62)s-`hDof9z*}WnLlibN!~pYwb@v z{eTM4hl>GOtz&C1g!*3y8?dxAzrUh-J9cy;NDu+Ej@!h6*qlSL-$Y%%c8tScsGjLU z1pU-G;gW0Q;Nmt`HKrngtZ&;_+c@$3-wC&-oMq3P$k8If73`*2#)8}=%d>8B;6Mex z!5j~{xFztC=PjOpzx*XaZ32^JcQ1jwEcBrGCGv)uW`L!Ltzf%>4<+TebiJ zXVn|a4VGdTKP$IFRO1r!9ooj~QU;Sr^WY%4@#nZ_U`FA0PK%spcoCAdw6D741H7eo z!z_$q+-A;P+VbNBYa6hR=;SDg1H>tfL=^U8(-3)*fW8HdIv^OB)npev88fEmJMa`Zm$Bv8^**V?6+XLn|kCEB*?Q|YuZB0(q z-@UpK9v7{ZuKOf?8dAOvEwhy7E;?%utTXiVWW0h~s*jQ0?*igA3L$$fEhYUG#xv-gZ@})2?>Ht-6#bFJTU*{plQKH|;&6dr-jGy}R_plr%*Y0>1A- z7*y|_G~UR^F>s~b0u%JS<}4-0Ej6ugH<-Vc&>Tg7<$!7KTtR&cp)QUqeWCO5pM6LZYj{taJ)YO2B$tHLaL}{4s37J zOBzmGe0&I`KH2&q40R;pPoB!xy=)Q2-gS^iJdhxmm&lX#a$TVL(&#s5 zsnHaJat;+9b9$iCP>}FkB_;@BomK7UOn@YRos>vzv99NOcM?-tSBR(4ZuK7thqxOA zNFUD4rK2oQuTkH^P!ttQ+f~7c%bEq6e-}Omd-hr**Fa}i%3oXW;x0(i5QM?_7A-+F zCX%2HOuYsYcD8T@1el+9Y)R7Bc$%q_9qq!=qO8n;DnYEsBa|d0<26>|^f!e-VQRB~ z4H4z`m#>~MuhRUxeuHys@X$`Sr3}HC1z+$L7a*VALs0v*Q@}ZTc>;wKx0j0PUC@^I zk)NDeSk$Cgg)b@wq!KB1+thx%B9fR77RGj=ef!b0pbh85^}7+R`j7tC>w@K1Gla-A3oNAcu)jPLBOf8gu$b4!j;i8ybB#be{n zQ)OAVv2>^n-=WR6w{a-_^@U1FtT)vF7L_TUSD`|J^0qz=#-ha6JN{c=I5o6BVEquO=&6&O6%|8=3F6#y`qn662IkS!M4;WrLQ?0xV? zzuk|;eG7VuD+gd$P^!Kp6#p8-Wc^N7&4v?G_P`0bL!o!sdX}m-$u7_MJJ5`C6VcFt19^yCq#Aut6;!PZ z+kUQ*{o6C~(gk8XkVhpswTF9))PRU#a(Hb&&JB9W%zTNQ?(iiA)R`8Gl++P_r zyec8M9$^sM)jUobpi>al9`U~!GT&ez`U6(9+trl%_-1$-Dcd&{o((Bh|wR0bE1Y1bMlf*tsOy9bq0MKIXop1hzT zEUr+u_wXxd1EaUQdBiUnXe%>QtN?+O27SYI^zG0{J72pXLfqQhK7;{(ek9fwxU1CL zlU@PSF+v*04K^*FQPf(&kT@sRIB_l+Cx zJiM?-Ivxb4{s~2zxiiwm7ppxAveywerT)u-ip4>t5}7&a3iuj7WvChlISp8j68s#G zA+p*2Ek_gDWaC+NAag8q;!hmVsvVBkpq~`)^W`!7Y3=r%Op;dl(UytbjoYscZdBjg zHZdis|6KBU8`?EjB#Wq>KHJnV5IeE~u@;`pBQ`^b!*9Ds9gw#$4`ceH#IF#;r1g7_ z)whciG3Q>aZWpPK>_hNKQx)LgFpKxBG+_Y==|}lqJbxZF%f;%0NC*pmxJbfE9BG|ps#qv!jfe6{f7=<7-E z-&q(?Ydnymj{=Bi8B$l7WSFeA=*h;x%7=|jWZvtMCz%l7aX}mkZ7xG7U{3hTV0sFu z#XD=FTkC=v$tGNCYxLI>TzbY)^-*b~CPLYPaO`fJx$;EZi4!{C3#N#yj9)!x)9Ny0 z!MU3*`SulPdH8k&Y1o8Mp;7wv6XfAYs1o_5M)p?ts}>Y`Y@PQYvNYXWK`kfsyx<_R zv~9xFbI|hRna1pIfM7 zr0l|f1~iTnY}zzO+sF(C&&)chJQ>bZlbKK}j423x7tKZehNwk1r?%0xnN|E*b-py6 z5!YA5e`%I8Lh{XCYa3lTZdv|jBp&2BC&BRA_eEqY;hPW`8U{N~oW1&+o9a$48qf1V zm6GxxBPVNNJ1}}elyVmjt+DX7Ui>cGCU=njeEI&nL1Bs4!*)VdLWx>SYdaF!__pg^ z%<=f&otAE$mkkBxdA}pl>m8}wp=OXgo20XYlpmGW8BQ;Ds8JCZDa!jk(wna~RX_$I z|M)9!@g4XCniPUE3*xBEU>CmxW!`E4(`k$1y%FAteoVPvC45VKG0NM z!iOXZ`0LZ^w#PFUn-(qbfl<>|jQ|+$j31d^r0Tq zO5?XM|DGO(mDN%uw1D1Q&CSo-n>#;=uVohNdk?9hgG4gsrd~zG=2@ibR@o_bdn3N* z*c~zUFte{Bq~d)luG5|RLfRYr&u(nCfri2j!&Q1zWz-6&KkC|QX0*746R=hoC@0z_W-2RA(}^vWwupwP;8_3 z;;VZCv70n*vV(G4sbxo1z8gD?SuC2bBx6ZB=$qYXi8x8_pyz33DS+Cg`K{Vlzm#nd z2npREifAPgK&?2<+cQ|5Jcz>0c_`QlF?a(17f8s@!!PhZtnyRCW0yDbM6YMvW)h+8 zQljVbBrvuf9s)X$G9J<{z7&UCL@l)<%g*1&7`G5Hb1AuJa`;3s??@nJZt1juu3qn}1-|P7j0a7h%^X>)PvXFGleWfY zYD@@u%Ox-nwN+S`#T-(^R?aap?;m%gh5)LFL+2(UhW30$Uh$3-ORAO%yu|HECU{d| z2D6tD4p%^+m+SY}4``EPBV{GY>Yiid+y&II+(2UqxyQ9t+Qb})< zyTq7>3w4Ec%G+LGaUkJK{}O5-FtX$`Dww4XRzLvI=kg)q;NIsp*KkUAP+-3lASp-7 zHnSb1)M9-o)fhmci$0n5-$2ly;gO@4$s_2Ol(9nZl9?|+4|41XSMauorK4<&;rTGf z;1bxE#Z6jPQYrCaJYfP(1C6#V=eDXL;5NyHPe~H{hI8_IPrdO( zM1;%k+3*Z-x716U2Z-6i@XpqROOKxF>zAMJ%|Ku}0_}gfw>fbsqgH-+n~EtCK1Sj~ z#<3~5!S8jb=j7}ESi0?h(xyedMZKiSJMC>C6S9x&Vaz09Yj~giY{<#cO3Bsr`Zw24 z9GasNn_+o_*B}J?ailxGXzAvRppt9*ax@u*HZN+A_u=%9rAwD#E^^J2 zS~*Zx%wAl1_|ED}xd#>-orxS812H#Mkq=Tq%syQp1Jd#+YuLP~vV7r2#+ToL8*&6p z+#9C~0eq8OlM|nsuF$qZe7O5kH=@XP*rE1!Teu^!IE6jF-+WyQP+ZKoj8o(m&fhJD zfcgkl!*o}H&P{R4Zj4oAVgU(#p>+KxhilwFo5DCkH!`fxq4q4GnS#kwiRZH^6wdIW zrwy#>!chA3D&qVyl!u^)lPjbO%%Jdb-S8z)bOl`gE$^{-$M+xdEu1I)$C*@{BG4AH z>IKH15J3u#)!9Ux0^^!%7i}(QooN9a(lylJ49sL9jN~1Nz-NsmiO*gg8w!w&Z=F=a zowU_)CTbYomu+_PZ?B%kJ4DI}Pmpf68y$8!U#T<}plL;p_=FIqiz`R^@yBjVP=I4s zpH%vtfdXWPYSrp*^DTqp%~flc3$!FVn%!ul+u-oLy9CXl@+fLHj_l9u-F*9}#>bim z-Yg&&?V70M<+%w&^y=L%^alC}ZA+9YL|OWMe%YH^=Z;d+%dSywGDDK?O1}H{2CLW% zFif0>^R9Frv@T$ZabPjUXrTXokGXIn#!Z$msbM7Q2tt+&0bjuCu>-%`C&2yqh35Oq4Hd#B9P z463E0l=DH6g~rx3U2~t&bfG~yJfaoo>~IrXpc(A)7H$3!)c3?4TOnIc)WRIkeo1hq zpKJkgzoYC_+AU2Zb?GODUv*eC`bR*Ye)mmt zU%LW$$+aUY3(c%tUr@Rd&{FdbRKMg4u?79ajBcLJRG-`mAUWdZYt#^u3~~bM#al(? z^4F*HFw!(H{>Z}LGaNgV@{YU8t?RiH zh{$w(m^4V5lBG;Z@#-Ei030I(#eX(9TtZ|#0r{kX2!L>GolLEAtyL`*GI^rp4n3L? zg?_(#(`*n}Av|j!aMX}Xy?>sObeePDfxP-XjyVl8B%$X9ib_^BNu2JrTREe9!58<( zqO*YaLA8nZt0CueVZ>a=Po|em>aaxJB?Cv=d{yF0>rCeNCVb=WxOSMWg*ebj%s!He zoI>Hv0juujpBg{jt)TkU-OO@>GLUL0?rY3b2 zl?LoFzMmC4fi|mEx*laRtkVOK`3g^DglU`9D{1nz_VTZP_K2!a8}d04dgCq0>D>`U zv!}oXxUE-094{>9V5Q9z^`&|9Q6qI-j#A6;X8Z%M7;q4Hldy8ZTr8#aMkHyMdsm(5 z<}1I~OwuUw*@amlWze?|y!{r0jCr)vsklqZEfaWAm2a^;#nbbQQYN7@I}2!KnuFD zOx9QnOA_7jn5Di1sdq4f7yyj_9!_4EzDfO=7luc8;fB3i(L+_1U!8|B! zVPnKGb%IK^NPz3OhTTaCZr^=r`9;-WCN4~)AI)skc*~?vfjStWuT}!b8}jJw%qW(* zOF<}FKtBzuCD*u3#d)v??%zZ-L1XGt8kK5C@!A1wpkPUjG-Qj|LzV1xbH}FdZ_H)s zy{)Q+A#!7I7NM2+@1r35heHRl*;Jm6R1u-roxaK4@Qt49k?GCH5fDcXcr(6I#J#}f z*v+OkkTs40P_WAaK?R9zpeg5d-(7?{y z>JeXkaS(K{>yEM$gkPnb*M5bG-#_EW>C!0^X`q+Sr<1f~Ti3a-5`tbCi0N5!P5eAI z>owwGxjdrdmNs!UDv%8@F!M%=NUr{#Ud6*6(#~fGLo%B@!s-eY zxABt2+NJ8q)W6wttdlK3*I^B0JbkOAo&}s^fP!vWof&Og)jq6^tIM~LTCz+)?B(CO zQ$2u0#Dp0ten4ZP-OKm7Fde7Pm_4}nAMi`R@!Uv>*gL^;_OW8f;DI>yGF>Bt7z z0hB$}Le03|POz&`W%?HM4+n=GXQ$oZO*m5}t%s-iuc@pbL}Q_bO%8AtXNOz^8}&;X zPIn&Eu3mnaaHYNGdxNkquYDHp1s2SrOvn9y>}^Zs{N-{OsgHbACR;q5ck$y` z3(4-*A4>fsWnNeI7JII5j`mVCSOPoDN6iVcr-KH)ZrKKnwIqg|NpduDD906@r!@dz z;rKT`t6;%xwlZiE!TV2BByI2ePUT~#sPs%Yz`=hKxqcgME=6%v(MLL&dh^e?9}}6C zkZg1wi;pqxOZMt&Ot0J|l4C~>*Dr0U@SO7b+6&ZpC?p!mb_^J6$eAld4a-zO3eq6! zztWmQ>cSd%%dpqh8&Eb8h!rg<>97vRX7sJT!RmMNZPlR3{lMu?RK-hC>eU5S6;=3! zFK@@B82|`qobrhMB_h(HiNJ*A-DPccNX0t(rRB<_Zy=Zl+cWx{&qerhAw=Jv!y5Q8 z$QE{ZjVt?%f~66GoYI=@c9th2Wi*$sydgp%?_s0^S}UKMB^yJ{36_7m7ymrAt<3u6 z8{FtqP#08Rj5cU8npz<0mycI%=J*3eLe5Z5-tO7uYFJpg1sZ+Mkc*GhZadTqlr#A^)qM2*!j=t|Z_LP*XC_4N zX6HB8B(225{^fM1;7X~zdoPji>eio4`u?f~jDD#zs?d~GT+K>7OiX|kM+bvAxBY zb$>Np)uENICjk{Vun&Hh7pK#cICUG~(xzCy})EAZ}i~3XZ_lQq_9b}zr=f-R2=3}X7!gwc4zc=n^L%A3*Euy48|nq0eN$LjLjPEW6* zbN%+Oy*r1Ddlt9ZgSs-2_N+>DlD)Q{lG9;DUupR&6Rh4=j<*72dkx!~A&0QKCun`x zBvjZ7Gr7y>N8iFp6-f)p#z4U78}j2q1Ea~M)atW^u1;oc57HdfUPGYXfV=f$cg917 zb!V%_O6Tj|ei+x%lRP^ zvtjpHNy4uaJ9oV6Kl@HxmCD6`enEHlmie#@yK)|s_)T1m1}-k*UP6ls|MnjX-a-AmBnj+Q zk3_akhRH@M0_?+HKW@K@BR1ethie%Vl`v@N2XkTxw5(JPj>8gO>$jma;=U-k9bS#* z{pED8v&ZhF8@E7DR3%83=Hkdpx!6F#qf-i!aT3!-n_rZoNx&PsORBi5Ak z=$U0FMuQnV^RXg(EhUKW%i+iEHDm4pm$?-Laf6i8Xg?>lBMF!xKPu?7ysEy)Mq(hP zt|6VX$zxQz=RDSqb$l6gcZJ1qhPcSAHLCxdiJ7r9>eme(JqkHraBqdw*ldRd&4Qe{)?NhXRX7hyYOR0u;xwYWq#hGEZXq1F+-ki>EUi_ z!J$v>K$)SQ(1-*@RMg@u{-`Rpmw~sr@e2Rrg;1CHKP)9}ob>vAamfeI=8}*I<6m8E zNz4W<{V>V(C+CE`&w(o6 zx3S%~y{Tid^`p+&;}2f(ZpF5R{pH;&9CwwdKz;2%bjk9S=3+gQ6Om7*R9d?UN@qG{ z7Loa0NA1a}nn$U=aTHLh;OhNxvggw{7;^cotlkW?sMEyA;h6uSDzV!8${>P695SWc zC}zI4^yi(AY~w2t=UsH(G1y~?xFYFIQGjd?Qqw7g%>vrLta0B4gG?*)~2 zf|)wxU^#&D8V}hh$=T~I4sUw?Z%dPdXZVw!&EV|k-}v*_S+pJN)0)`tUqU}z(DZRa zi2KE$f~;_n;PonalSUA!&(N1!P5u8|fNT_26C>(1QsY6@_uJjk zpj{p3X06cwlt91}{nIX~-E^*?ss1j;J8O?k3z3r4|C|CQFPr2Z5(s#it7?qdrG71z z{yc1?_i3xJ$XAx8X>!2mkF1Bol&|2=T<9W|RpVL5cflLR%Ii?pFQ^Yzvn}Sydo~mc zvU@$$9rh^Ya~@&!zfQMzzjbwl;Nwq4-mDKF9`1Hfs0@*f9-jCV)+*ZD)iqyiCdH_n zk^Ws;8e)M)`4QP`YPQHqfaS2QUMwCx+YB|Gmo_cd3;AQeMfp8M%eDI#QJ(&~T2Wf- z+qfknv4D}1*hHlmO(7W*7N++H7@P&fYQ+u7y&FjQ;S6_;@*A?(j)zP`YSjnx)8Im{ zCdjVUL@_wWkBvcCEE*>gi|9_1|D#9(1yZt$v4c@~h5jjwEG5{q|1(l7!A?gMOzDls zrXmx@;*tY9ySUN`a{r$o$tNI~Vp4_;fEFdGK!Uh&LeHPEXopQvw+1jZw88q2r#bOY zn)ns6B>(KWlK4+|^#H9PIw1I6)Vu1_#o9orKyqRc1q|V0f0-Y&9?Sx;fgLJ}t)E-i1uAsIAu5*hXCL#xjE&QcJT&h5$;ZcwB2Pcw?b&4sYrtQ^`y&C+p_dfQe;POT2WcDf1_G{-vSf z0(0`Atb(4`#=BXmv#}4G#ZEmEQB|w>XTHMj|NCizDfOk;^teDFBP=dWu$LtrFHk6D zvlRP{36P(Tn@$6ZOVPm!@^4n)e=8X}1CWrk9G@(|EKnLK%r7V_D8wryDZ>Zk8&3X0SH|F;;$Q}RP;l3HCpsgn;)darMIWN~FfRk4cJH?Im6@7i#Q+5kYV zof%w3bc?7JP6|LVw6Y^@L@I=1nG32BR-o`j2c#l<_AvUuv|E@&1`EQC4X*gPopXi(i4 zD1d#LW+!@p5Y}Tlg&*r*04Il!Iw52t_y}t-YP`n_q|g1@59bg~NAdq)?H< z@$%;u;m|g2%hZq2qKbgvt<70N`#1(c#g@!KVLDuaYi{;~HBnA66(-@4~d3S^a z>|7Lq)5;5#an9WNR=+C&yXhnyef^y9wNXlwW!@@8RHA65^5U{fD~!YsK>8azD8xE% zIe1m5)l8Bj5r0&>H6vDL%uXU#^oU@4R?#|%oP|z}pjR`KVVXTETQf;Iwr$(CHL-0^Y)(i z>|MQgr5${WTm6PgsU#-B$o!2Rj&gQ!comMDtsZp%43s6+undem@fqwHlr8ZZoDqzh zGm#iV7L+~F1|s0!nh%K%#l%6vM52APZ2Pp!^#P#1*niwxA@FlKyJ> zPrn_%aPV<=qb!ongAb&mZ*%KJtugkIz!+wmuY|`fGtQY|@G?J77yJ?mQIENt z-R=WlmFw*YN4)mVRDINAK?%IW%d$}dmS7)k9H+BEjfhMNGL{y6U`8OO5>FY_bEj+h zilG;;(NF^TJo=agZU)C~tQYZ~vUQ@9AR>=|2FzB_Ah^DCC<8KetTAZyWfE(Sr-!ny zaU*n<^?)YEDB*6UW>a+T1!zuxvc9FIN=_Fd+A+ z=k%y2aZ;Z{ZdrKoP_?#*y-)#bx#)6?{exWc=Jye!=i`v-8K&qPu6s}jm~(0$Y!H8d z;b+RD!Sl!nLxd>O?Nq~c6h2w(M2ZFS0L=tD-7P^R>dk(-Yj+X-K^Q`&n)U+TI9(#b zBpnn?ooB4Gxt9A?cKPA6jHhC1rj_hmp6*lKr_KBJDhDekk;m|6xo$1~wqq6BvCgQ; zwZIA7h^nR_MP#@;c^j~OBeIq5a4iP_uKL;ZzO##I@7qk(YZQH_HnLqZvvSB~uL^(4 z*(=HK*>vu3ljMrc0C^lxTjI9Z*!rpHGx3y(ZY_u-H3xTwysyWO`HHy`BJ|l~(5Hbx zt`*~85F~o%FHH2=RM>UQ>CV+z$ZUxE%;@73mNBww7y<&*vW>)c<5Sdi77cq~>T#3e z4Yhq{(cHg|=X=n-*-j(oC~9#UX)AYmy#V;#MYGTQTrD zs3n&f<)U3GsCzSIeUxy;NFXXe9=7eekrzw;HaK-wNkz@rr^Uu}s!m(Atq)FhD zOExg?hBtq}i$VD!`>SF4dHw)MmL@ZklL3hQ{vA53+bYdvAscD&o{EH|3sgbNy%kyJ zJ4&!$f0m{d>nzN3ZYmTm!P^C`XwhZz)Z5G1z$_FjM z+niL2ruIglz!o{c)C=tLc{mc56(YU8Eu^fg^=cE`x?pxGB}J!w9Pch32AS_`I{44@ zycXXsx4#GWE}H09!C;1$CWHm4d1*C2d&M%v-;9z(r5q>b$*d-deCwal*O=$Ee)FK6*OP#{E~7R-ycmtQKquG7 z#~OW36f&*&0L&Wm$)6;8q2v6oCtaH5Qgv2%&%-};g_PUineCvbJ&fC@+r}31?B9*R zA+D@oS22hpVJu|GhW&<7LG`&ViEvdd2uiVrLj%y>I+lJlOaMQa*=(DzS@P#@WXjT5If&!s*Btk ze8YAy>@VBlMu7h|6I|pTE))J?KDT~}Xq-=D=cEw4h?JEHzn4?cW4jJ#YHck^X0ZAl zcxH=f#nkgF0@KuF2t+if=$8Y9gYR(LXO=EPsP?>~GnRjBU_e9{BERHuj42kfl-znE z`DNjuKs8&U8p@k`-hZ|tA*N@6Wc*=tN@iF5<{K>36H9F$v26(f5|ciwNH6w=|BlI2 zKs3i=%m^a@b_aut2e0xSWnRjPFqEkd;4U=G1k1j8IYG2i;`aUFy8!x0axso8;6@<7oMW%!oS{nOl+=Jk>@fGK#pd_A8)3+>6G9)}S<-5HX0D8+m zpus4UGuY|2*a_9LdOMF`l1tDtCb_v8h9-Tlt_6JeI= zDCc8bgvv9h_|--~e6Q(IfeXTqN+cw-C-GjUtLEdWF!$&^x|D~E;K4P6#diD7Du2a5 z4UrN`X^dd1a!QB>-9E_hU>CVW!1qZ%M`VN;tsPD}%TZB`IovGD>ir_%C$~5FUbvL; z^|IlQFgteTpVUgIwk@$Ez62^@?fOGt&gBy(B)YY|enk<|5A+8r_?~6~N?6r&nTjs> zV0f6kdmK^H6a>QsJ@r}JMP~86;LyLDu3q$D*SIL6LPVq2J!mSQ(MwkSfZGlZjr9$i zwwGOK2eT{&*#pI=4u#azqL#^qK>76}H55P1%MJ+gl4g2z5^R2j&U%Ol$JB%%>d6FM z7MTi+{koYNH_l>1say)MH*dv3@PRd>8x6eo=Tk5&N6s3nIPVV6hFj-+n52r!DG!Z~ z6^zV2iK^G?tYwB-^{C4sz(E`gw30(?O)^p7JA5WzuJ&#meQPv7J0rM7P>3}(izAb0 zLe(%4&*(DY|+Ls*AEMFumMf0c(t?py%={8i|Y1@1$BrFri#)@89sq2Agb z7Q($}Am8;b{HbGz|I#^*IAbIpD}UE9Z|#lhr3-UxwI~T%o0^%~!i^D93ib^HE2(4+ z#9}e_#_k_Qqj_M-f|D4PQk@G^H+{3r`WC{lA0(Q-7R;^%5&Q@pFvp=lqFh3JRx;OQ zNEg7@ir+4x08C<>=PRG^4D>$|k!kWVrUlL8UsCzA;HG2ub-&nzzSw9S)apg|x-)*R z%ipfphxInQgRRrF|3KJD2aVkI-sD;Yx14i>{I>S7mkpWv7TMF+lE=`|v|=vw+lkMJ z%EJ-TJ4A84e~T~TJAMc{;?V|TTiXuepL@41CzJYoFTin$EPH05WyOuBZq&pITAo1LEm2PQ`Q=5>42OuxspAeK3&y0@p?wRhq)GF^EozPY#p)PZmgfTu zRSF(Db8tKMK^y;Lq>sX*ct29}rKyTp^N9 ztNBBG@jW)TH_!p2W$fKHNS@;pBMPTkTNQEO(pj=~lC0)rZK}WJd+{6~TGgwILEgtH zU?fHG`@r6U3q0h7xEodW>3^d+?Eeer|3%xGQuX`5#KG9PLyP;sT8sO@p$`59|3UQs z%5bOJ*TA5(QWZfQApZ}Hb91KV|NaN#!B=SRFU#lFyT;6w?}?UMxx;fj5rx<8 zy*ry({J-)erNUWe++1C-&Dz7<@Q%FbOsNVp)gR8ux?e7jLmMkI8{ZlsT85PYG+M?8 z6^Zt5Vz}7K-P~`Ftz6pu>&VIs^9^C!Uek!q7Gx8yi(kmGE#B}Ts7=1#t{j2VTQs~6f^HTK3x$g;bsKxQFHEnt6 zOHtDQVlbCJY<1N1NMSLxN2?eJD}-3ZKQ&G80JHEb3GzTMs$ z#G?9ZJ59X`+uIiW&&QZ!;FNUh{jIV8X-t!`6wl zC@U+(*@xv{;n|CdqooZl`6jl4UmX*k-Ea;7j(*E&T2Zwbb?oiMuE(`J{+f`69X(m*j7Rrdg)JlAjLUi%z0JmzHmDx0@VI`TSo(4-u*K zDHsZ6gg=Q0cAEDAH8&c_CS~aK#H=brJioHZ+yXYsbTEA<$RGy%$v6K7{>`BYrsCNd z%bX$*&ewd0Bde_gIhu6-@H;2ch~I8gFZA~M!bp7|Urg0@&vN8wE6p#tcy1lF>XbA| zsftEPbpDL-ji|3hC|UN?YBjqJ#fk-XNH7(T$}r2*X-hi**JmVQ+`v4Dp>}&S?vosG zqmoY*qzYbNqh|twGTu63`fPZsbjIUB=JsOR1mJh9!^-uBPP4N#l}kK4lrW@gQa)DK z;M(I^lgBqCPtxB?E8;Pri`G8O-C|FUl;#nj<7Y|D9G~Q~pjqWZYlMcx7lJK`69X>@{E`pMKGR%{ z7wQI&;fZVI=yB+yRX1-JLiR87(5HRoWz6u$!e7ir0##`0*^OWj9%G=olGX^YjEby0 zl>kZl1mRZ$5sy5DsZoX{33@E_6h_&Q3j|ZU0L1~q5`**j!!+AC#2Jce(>|9Gw)G3@ zUsC1OS#yon5NBXRc{_Qw@0%;r=b7(RNsgINlfCQc8`sWr=OHN=o^Ou%*B(KtJWyz5 zme~S2L6GMWuK8f(^S_Ou*}GPX z6rD*DcArgPy=nXXcq`fHE?a|~YjS3n!c*w4hd-_-VFk1RuH&r$2F;)j;{C2PJ+F}3 zAk}jSLnt9hr}^_OsVUB#JYwdej+HF7OpXBKNY=arTcgoDOFEeZj^ z*TWJH9B#TfvMIKU^@n{Uu;+E#GrX+0%Ifb(PwGj?Bylx(HvF3s$<@{b$HRQ^xfy;R zCo~=Cox$$1uON4luwg;aWV291!2c(%u9^VR{bpY=OmPD<)pUh2x_t5{Y!Cv?!(6gN zI1z~>bYzobBI`i_PVKd2hIDog?X51L>|-~Zpij@`r?F$1$_|#LFtG8^pV49l#q>}E zhOMANfWw`q?JT66aF5)SMv6?c^Rv?*Uti8%7&eZO^quWT=Q=_rh!z*{rnYM+={h}mg+`3yH@o<1oSUpugMJc zL4<+pLLPEuXl^|G7gJ%cks*&UqGeItrOYijMWHg4t0zqnSdB@-(Czea`IB9uLr{&6 zB5sd|r~@v~gh)6SM>a5cs;Z8A+ z5&^%jrPo!3cRdII-EQ0Mckf9bODMH{Ky-k>O9Z#mv%$0-?YIBU4E~20aQs(8&(sPr z4dFtP3eyCE0nW_H_8-uv2V@;KBv5+JHR^hjz-)i+$bw1xHF=TCZ;1&Z*CRKz#fPgD ziKr+<7JPNHcFM{&3~MHw>b|W0@n&u0-I>l&5XhM`T#k}rf|t7ad;BqB>iSn^%r7Dg zemGz(Rj5LWl5aLcQcg%3%NuFW#ao1ybgw{j`p(&VAQ=w(rXb(y9C#13`i-6F!E^|l z7@xqo)posncrR`=t>5+AytKAWJ2zg1kaj$;_3|;%rjZs?o=n_y#ni=|ev&($g3tv` zKepaFqL{}!b${nkbB-w(YY}-0JS{<)*6{>={8lpXf(drT9u71CJv%7TNo0VBG4s1R zzv4!h$PEiDYanZ!BcR`(8MMZoTEtXyl?A_Vt#j{jj$hzsf-*QZibhS|HhcWM0!9asH$JGQ|^&7}z9amKbRc{lSu=4Q^qe%L) zmtDtp59_{R$KW2kumWMm`j?qt=|s!bS(ZS?;~u-;p)pU$7*OlHBd=rSs>yiH?lq^S zz@uhpPP!OvcA4a|(DFlKU~@MpM1g@uv&Ac(v&4NEm&ExB zWQ~)f%dXX9UVw?TDVf<5Ig%#I_?Ne%KKK^Ty{3-FkK~gXg>t1{2A|ILNta5P7+-#a zm!Fkl3=NSGORD~vfuJ@T*L(;9S3hxjl_A{0&DzLR)qJN1V)crSqB3c%pUYU!380X8}aT4Hyt!T;2{J^2rO7*!X;yn(TfY zwDIs@-vC#We=n&LrG5{l$@hbm?1MDw{a6!xGr7N-daH-Ub@~px&yaMm2da4m^>jz(~o%kx=f0ifALoBk-hAsu0ezB80sH zf0s-wR@EK(UQw>I*8JKr$rwMKw3}^7aU(M z#2+ZfslvNHd+xVfZ?b2MsMeL64YTS94@mIE0XxAt8tg+6`W^J=B(`C+CE)x|1{hKS zo){qn0f7)r{$LeL*m)yQwh4hEudM8!>CxA0$q7f36=!jsEIjME+QyULvp3;ta;csA$rBJ7vmHTA1Ik7Fe6Ba!;}r%dq|m5a7t}AD=GC>9t}=mg zl)F%$`} zp*+&nYA^l_53+I~ScV)960qP@rD#$P2DHq12G|^;`|9!WEez~h%I_N?5g@FF8ouj~ zp3ik`PR)Y6S~pOie2&Wdhm`qy!ax#%8DH327@F8MCKksxUBY(=7N{a_xU&FqVx>YF z6wkj?+(*mfiJnv)TOH#?Zs<%(`H{$@3E5?v8EbAS~~k7Sy4o=b?jR zH{c80Lex$-RlNs-7m4-%lbTpqSh@aNYTDA)Q{9ll@>!{EbAWGFR{;Py<#HJk(+2i6 zX-J|5cs?!(lxx4s`XjBo>t|i9Q7n!Wka~4ib02zj3%HmSt=?ZF+%0aGI;~S z7D^JyB*D&5Z=hyMhh&amnUdszqTxTr^ZW_ID7E|IvP(#mMuZTytdpRM;ic<}UjKp& z1l(hgS&g8BYDuw4>$rhItR{ROZvAi<`^;_hLlm_kycrqN)Pav^SVjgY*|6mqSIa$G}=bAe85v&;yz zRFjP zcY?ZJeiUwpbXEasqS+jCKF3q24!(Qx>p@LWdBw)fTDMKp>Wfw~0Ku1Sj;BhtdazCf zuhz<+7Ah~@71iYrUI#3jq;K50oZ@!T*98Z)UEEdWcIt|ch1*3?&i7ov&&HDEOZzjP zQuZK;b3u0gT+Z)wxV`$Zf;E(SZs~UgUmTEMcKE~B=XkNab7ie_ZToi0g*yIrZF%r( zj3A3HpsuGZjBe-Hz)wqYz(Y#$68Fmz3c>wEyLrO4<*do7!f9*1vZUO;_2Fy`>OK{p z%7Jk89P6CQM4ZrRWzz>v+~J&j&>VZhMzfl~zspm|%QEEJEzq7A-*CB7gI@#CYVEcx z*Ao14f2f-;SW}0N&0Mtq@w3TSwZqyRkAEwX@|R#nYqRhr&@}Zs+KBbG&ij!`7#!xQZK}J+noV{f+zb{Q1hT^)ccL{IA8f zHr?XYcauxI!uta5p`P8fk8>0CrjGUQ%_YK&<=WJ(iSBoZ$?q<8U+Db8uDx~Vi9=S; zR$cnSSAf?9a60Bp)K(Kho}8xY)04X(lx@{?bpBxr$hg zMgo7>Q}0Gg-<{b!Iok_ar_IPm^k-~PSrBi@gmZAw;xN=-Lf1^0k01%RE3M!8GIhU& zyhc5R1kTxtq#3_0&c1Fx7o<%C;|+H=kG4!70(jF4z}UrKZ-98${53Ca@?@8;w*zfJ zj8r#fhm*8RVoWgnYtGdoSc!)HN&Pc#$O#iAFqd;lk-_BzbXt!Qs9_Y$70r?q2@Ry{ zDQ6P7EfkJl*q&3Ap`i_SRnaMY+zI}hiSjlX_=6Jj`Z@xc8WQ?`TPSIGPbUFZst+sv zWuoU3_r{eV#lR7=XpZlV^y-rPGGpawHSSP7q5qRr8eufB8tVz(*H_>5Sm#%OkIX80!cEj9h2Us5{mo5XKCH8GC1Q1JwNk0ec^XmjB*TTwu?tfk zoa3U@RBs{-aRK~9?W>x!xFdfG-jK%d&cS*h9K&P@(X&`_^BH!c(yC#750bHdav8&~ zA+|MQ{|sZ3k8cc~2Rx$C1SNe3(>4C$Oi#tZ^}GJvFNLq4yhMs|w^h1eW>Q^X9Sm;j z85K?Hrxo)WW@Y1)v|V@Y43*v$7l_UM@mng=pxuG<){7c4L$Di-~Nc&xT3F; z4^Xv*a|KG8&RHXWz$v()WrysjLZAfH4_Kx1ly2mA1;_?TJAEBv8VA}~O>A-UZ}8$niNf@L zsUnOEF^sH^piu0hAqZp?05t+;8DkPy^&eN_4hGowPT{=A$ArgDw#N^IZIuXP zcss9}6IF6fnwS|JYt37$d*HJfd(_0*!Z%CB{#jP2hcZDiH|wVBOt{ETi?yC6rq%N3 zH9n|U%@qd2Ct?Nx4vKy<`)#oK{Yn8{K5x|@vNhI(yS8Ehi`aG z>WcKLo~>$1V|pFV%r zoDO}!6TIso&S_Jc>XITFDLdRHPkenZ2{}EM@6*QvRH;DCX5ZBt)o=J}e`7^b&;Il0 z%-Bbr@nH_r-J7pZvzDGdz9idJ6}zd6WK!{@lyP;D2y6rGXlYQbpu={JzQYe>dL;8G z#{xvRbdqJR3}(p|VCrnaLISSsmn=?lI{8kQdEj~kotc!pK#jl#lMUO2J*W`FfN z3nST`r+2?7&Z)y&oBm|J)Bq!%S}4YJu7{%~pf8zFeaVd+!#*BTFL z3<@W57PM*^1W>}E)6EK>S`RN8{8S;>vCBYfB`fdrh3Pa-IW&44^(5LCs@w;I6lYIa zuuXh!4Wl{z>%5wBiPvJ%hU@+b#@K>sPB9eZYhPq6Tz*-Q3-vhCb=sxuPg_3W8A`jl zZIm}F$lPQ`-2Hig$9n6WEn}2WF|rhJZUvLzj57#@3bYsDhn%&13oHw>32VLxv{RN? zDD+gWV?egf31?X~P6Cy|;3uMt)+?zmrBp#!j1vZgp$9R7J_}}ZvRI+)y@DVFrod2% zK$Vs*&h9>zcm;J?)d%CI$dB2~Sjgcrz%^kkE{w$6L0AUf2B!_A_6o9Rov{phtPtAI z3@-#O0OGXn(m9`w8{&`!0yi4Ra`4y)+zNTqr1LZ1Ganol$3ZIt8~JGUn;4B=BaxYO z{UQjoPC3}+7h`LaPu?9+=3C(>&w=B|CI;G-1fKFd9wuGgsU=j!N+ef!h1*q)8?C?6 z!4P6KNjdaG)z0-|Z+2yi8l7`e>E~$M~s3?$aW12ds=z z{T_6}(S5UA$8zJLva-hs7KEG)i@IZIXyX1ouVUd3hrnxOmE@VCe{ZU|NJB7jeW14d z=p7?AS(cM%+V4fHH;7-9!9)AY13|q0A*yJ+B}TQfC{zEX z|4Sm|ZQbOBZbk;<{2x)VQW;ttjEgz+P8quOP8kMO_h0be2mZ@&xBe3qZ;-*b*#7x~ zFhJS=TTg7({P%N_3#I2x!%;EbFKzG5Y0^FeGQv3i^6&CP-nuJ^5VB-KB1YuLH7^G3 zihI?vVqH5Uzg{%H)D6VN{Rw7mwX)Us(3X`t(Ycr zP1s;8`UhI&v=SE?Sm`V7;>s?U4XSLH;)LmLR~-8rI@W7k*)Q=7B0wnJx^WuU9p+pa#;9JptGGQjqUD%ohKk*bv{ zXs>rF!WNi&a=6tn%2_=~x;0J`UcEeS@yot`Kh8F~eF>E2al!l=tMNB(@Gy1Q-)4>! zQhCGIaG?q3r&Cs8`nYaM2sXr@R~9M0?qNW?(AVT=j9cOJ$_h+XRI6EEBkVU$`EFOn zA@Xu5`^`l9v#Aluh2VTZk@OE9{m&#*jtD*6$Y?f)K?UyLBT_|GeHc+s0{GbeUvs7g z=i|K-K?$mHh=xWNC@jRGRg_ps@(@}&RnWP-qaJHi&&4OCjg6#{PNNZqm5X9=$wL62 zr?>tv#>&#XT?fIuH`NdB7 z=Z(<73uIqe*iB9m^_dgx@{s?SH7y1lm`hu;DK#yfV7S!YtcJ7=&8c~oi$XXC_D8&8 zO4l=*^Zi!j^?G=?{$AJk$~qn}qOA*X7#Dym(OI&t6G5%y5N{&4jtDz4hr4!#%77wT z70g03k$>AJS|6q2X}3M7{^5M0<6N=YHZ+-bkfHlEzdG`(p=kEcs2C^lSl$c(`!u-v z^sFwExC#!`FomN0)@i4h#a_~h#V|HngTPVE!_EH0o+DJsZ8z1_hSN}Ln~>pmBz8x7 z1`X+#-tVCLnsEDbmy3^W|3Inxrgci@_97AVcfqMm72D3RQfY6|G;{J{38k0b-lm)8b1D zprZqQ1EZ7hN~jtsCPrrFP)w{1{mM#VJfP9K440QfQM!IzAc%RiLXamQhDMO@;70z1 zAYtpgo;+F^I&C0j@|M6SCPdi=PP+EGHV^3HrQO9AgFFMsyS=@=;AWN{ZniEY?iZ~J zC>ZEBEFr)2Vnh^@io7yP%I~0gDRCO$QXrRp3KAS3;uct#WP{*FLzc^&~PW?`bFpm6a(w&tC`yC z>ELR*pL6r0V-LOlKrv=C!xumQ7wLVj6(urqN?W$Sr1)E|wX?=q zPx2xSKosW4!i_14mfsritS$4y>`J5cqeShcm09EqPlRw~S&V3(>Ta6S#e`of-aUe! z_qt1Ay0mD_SuNOgVDC5t zf*hsMs&(8Wqwr_8hd6B09J9;Od0u;5ggAWQE@fG2Pucs}3`yNeWY#@My8n=4ef!VVeOZS+CG3rWSTjYLF z*UQ|E6}p^Ec;k$1#S@csHtUDd{op<XNb$T3m&>$*YTL%QP0ge-1<2kx?Ce#&(4~kc~OZ zb*Zqm8z92@Kx@Wp=_4w=2b*C_H=HK^f)HoD~J$G-HuGQKg>o?;7V5!a#ZpJ?B-?}UWoTEaYja=InZXGyCvAD`)?isQ2 z>0>vbC1IRr(Fm_9ziZXriX%*E{xmD@_U(Ap5}xb}moeM%V$K#76XQ>d+_$}~v ze=_v-QJlj+Tka<<#cA+gPgn8sfZ0_xm4z4*)`7DHY1U4kVJAA6cTpzPa)YZkP# zM1O8{u#~k@UIP)~PS=V`RnL>XtK*-o3#j3$R3h;ZRh$6*f*qV+v*Q9`p)(3vxd#Gt z9H%?&%%bkIas%HDaK)>Y$B|B*S?Hha7f65Aip+;qVi1R8M&%km6p?4sAEGe6P^(P@ znhh$BN)3>@rC0Jz1)pr`0qZ9YtL;9kyfo&Eck(JM3jt7w{R}F;S4`Kp5SVdtUtO@X zJyuddme-yurv2T^tM_XpZH40tiSrqK%)AX@_^`xs%j2{dIn|oD@lz_8c5=-KAue?u zk>MD%hdnb7C7ya(p|q#qgJ#-4-qX@)EpI_hH;td=Tck6AGaI@GAQGb)g+bfVEVL|> z@l%KyGp)fcjfUB1ERI*AI`mXTYw6`xo3MeGe}I;hwwNQMt^`RWaUzhhhJ+E0Sst-xQf} z-Su=}(ML@ej%mIj>E`!vO(=v^kgPRK;mYY-zU#SH7TX8o5R>*x%>mii5`VS^MB_#L zv{m)HsCM7@M8rgPG(+ZYJ2{>5R+%8%DC~S;^>HL7;q^okP^{;ONgb@})ZY4r!#sy$ z3G?~{UFxm?#PiOUucknDFPEUzTvWHTTz*Kd${(^MlX1G2XV31e zEr!l1-^7N>%{Q=t#Uu?ewUWUMxU7+*`$&53i=AiWy7@>t4eIgO%W1?WIb{0Gz?u|(HT&5JWNSq8|B@X3_DW= zyfI3545#xzbkee)SXNBOFE@pahKgP^ zsq_$Bv-TpP%JyJqrXEGV)rJYL!cyqXJ3aDv-HYD(f9_DrO6XiZC|hX4_LXp0ls#yb zcbv~)%uYSGvqFl<+o@_gB_4z_Oiq+pyI$}S#TgNLXD?76mA30LPvY5I$!C@Fw+z1m zjFxENAT=g#3c$8m&YxjB{UpA}E@+5>KgB*uZXNC<)gc^&9yIM%ji=v#HAg&VjW&uF zf4qn1C3O9>+@KA|cY$F#OnkdSgz48jG`z0aZhxJdF^rS7PumO?5H0*uZQi;X$=6|h zvAYuP7st+;v(;VJWeaCZ!6r{aJ89nuWZC}Sgd7SCC{g#z5e<8nv#kH)%U0<7D6TZs zKw^6JIVR6Y9{Xpr3;X9P#4i`4hllj%qV$v?uW6+6R*_gtimkSksoi;Nk^0u z2REzLJo{$v8K&CBCH!mhTf`^01&!!TG(X7d zQ4l?*J^%F8SMT=;P>|t1jEyUWb-`8k3>zra8h&h(^gV7dL42qK8tsW)1JSx)RqpkF zh}wgmCD2Bi6%oC!yX}NW;nTN5GlQHq=B7Q3dTv?F-r7}wZmW6QF67L(c+={ znwZ}5PFCvfi@#FCoIzXdf$!;z{z3(qW6gnYh1nF98g=2HQ^rVkQ_F`JI=HDOt9c_9 zf*IpX!g!m@Ue?XiY9X&ugv4ggL^VtVDP3hU$NR9|-(D*WQsauUIz09WX~KBkO$4>C zr#8xEJ)h`GhEl}B&eTPK5}&F?m97*7lNh-n{kj=XE;Vk1I(CJ5z@2`?DyPo&Le{lr zXJ9yy)iUvG&iwi0$G4ve|+Re;NSdB{G?akK1|=$adsnvcTkfXb`*}N=ha{ z9gP5!Yxxrn-pcLizCX%{**L=4I76tx+S|~;MY4_gX7XMTfGJy$h?|4EH;MQG?@#tI z0aFZ}iIW^C*#tx{sLhfL#+=Bs^Me?=T>_UJQg7Y`kEGwO>c?yN$AZ4S9Z6GiLZkcu zB3yD_Z%w@rcfd89zaL%u@)wOqkUQ#frM+_MH-8JO}vt+JR z@^2+fPM|>X&!u5R*NIP>YoIk1F%6`BbJ9lujYcq;vswO)jU4NB-27ZQD3CU zlGE|(mS~aDW7>SpiHkDL36uSq+-_j6j;mAMoKA(+_|t-{ z#7?N0*Y_mq&L3w%yY=S1n17mktgR6l>hC-{j9M=h265lxIpsxt;xisB|M*CV6Y7Cf zo;fE0sN@66O0@I)?eh%oA6pb#_WqH~@UajP*(8XbYQxyY7wk2%2WyG#W>OE)het7k z6e%~bma*mMlcaVX0DBZ}3TmmlpjP6zHP(a+$OfbX(hs-pDLCr%p~GwE!EK^*+$sPf&l3bH@9Osi|NhSCLP&!$MqnfI?IpR_74 zhPti!dr*0qq`{WzRsinwd(JfmGO)7`U%Dliq{?P?;^CE?KU9G$F1$L4Dp$e>5(MF~ zX&K7Ig4W{Df=m6{l?-aM?y@}cOF560?^XWv4NRus#L+gdqIj8y4$~O68HI@>t*bhm z61G`uon3Cp$BcnNRcyO}gfLc%<}?(@M>g?$hN(@cA^mIdIhs(j2Yq|W@$5*XW}jWN zCER?F!9XZ`+r$*SEsmhtIce|F_V&n9D4V}(!qW&goUalYP;|?e5QHemunZc5Qs8p9 zlJ_%X_r!h*epE@gJcCiV-KkD&vR>?QJeR{rm{k@Dto`PA8`P|Br(7=67)BQ`bxzwj z!Jqi)%-YwOl84DK`QV2wCL2uuUchdU;>xkdWnFWeQKeY+gt827L_3`PjJ2N{Ls%um zew1W!$>j@ApRZ|{y{{Z2SnsvK5X!!uKsX3rm8@mPp|gVjZ!khwfq&Ztq|8V3wpsCx z%=jo_zp)j_H;woa5ZW)HI~oNfLOOMSN}r6{D2M1XJM>f0SzP3{hjILy6sRUccyEl0 zm(AUG38@F+@G-rd5{x#>Fp7U=a{p~AAEOtZ!%cdRgX>mpa;FUFaw6_Tbj5%U)wRKqAN zaE_w_jx6Cxy|lP>0e7G z9iDTWv1~z;{1tXH{WdJteIrmp5a}#=opt{*5Eu#?Mq}oyI{f_6DPY}H)?~fiNMt&WW@Qbaz z09ktSk|7x^X(No8v}m~%n12Lma_7n);vyTU9J=qZr@DI;acr@(ouZ)&UqUyeoOdv~ z<5LGCXkkmnU^&A=3I#$#m)y0XM6^6&Jv?m}`R>5HtuZjM+OH(Z*%=VhzCE)K%?D|xwpa|%*>5+eVVNCie*J{#fG(Fkfg3tdz<)xBHQY_J3p8|g z)+-%zuE^4~>L1=7fKXM+Kv-lMipU>|r*yR#AyLoa85O==+$liV{R+B@YpF)t0=U6I zIQLslMBfs%t-dEOjn!z-O3__xz3lOq@k&DZFjkIS^0RzEgk9JXnN79MhIH+qEC-nWt7|DnWAmb~-SCL_{shHc| z-sL7Eyc$K&Z<-I)$kZRY_UMyKR>GGBNve;*^GdlW__QH)Qhybn+*s$6XD_f0lF}d9 z9}xHt-4E;vp$>%Ip>rM8^~|!7Tk9rG_JehJ=Rv>aFBm+ z2xp8rmps!hs{Qh-WY~YV^jdr4ndso^$W)DC{=V4hY}#-hTgh8Xbx(grD1(l?vEW@A zUFUrr&M}S&Q-2}K{d9p+#}bFElwB|x7H?t~A_^<1#?%qOIrF11cU0)G<1D2c;DDA&6fA%f=riG|e+ zZIUpeT0v!bvq#ahGJc>c1Z&@;L0;%qoV`0^f4DQwoJhqRuI5$GQ?V$VUn^Z+@5lu> z|AJ#@XR+bV;5(%2i;{L1fcAX*mq)Gbyq9+Sm%Lg-d?u zoB~r>|9`L7*BrzoUq`qmkltO8sYJJdg&yt>Q)wsxq%y~5h1+Fg&aK${WS-gyT(O!F z$IDhnLQc}WBg{|2IBrVi&a@VVn{+1+N`gc+j{d>vVUZGnTj#B0T>R@Xfzzfq_++>l z28tHW2sPm}X_NiM>c>Fak^dN5a@2v1zt#pS1IaYvD`8**Buj~` z4S%s_3G@NON`fj&jS<9o4awdE;>@K{^zNYK>ji5KxN(qv0zC)yIe$qsCNh63Q5w(aPdEqFK*=rePlkG zz(UkskE-}f7>l2ypgF(zdb@n-?z^DI)}{AqV-U)U+n`E_cBrhrczvHwHE8X*v)E)l zEUm+<2P$@zH^NYOoew`j?NQ0WHQEuElO=TH!TkX4e*XJkn1C+H)6olirLA03Z-0>f z!GBVs-W(2xwRJ;z>YW$_NOz%cgMCtH>GoGzS>%ab_XPjAlM{=$JHn8g>^dODSkJ)s z_S*O}HpUJPwy?+*y12K}N|7*AubdJR$Y)v5YJ+Y2uJ=#QgroeaUr;S*FJRo9@I6cP6lCd zU_v9(R(a_#@taL4H}CL$HC&R)4>Ad0EI|?ol-k+#Ae2sORG5c`sBM}xVJ?6OPVNn8 zM|e9v>G13vG?(|{tf*Ha=)DdsabC=&)?;({LgAN6Ihn`8WG3Z0vN;A2r1cHv21d8iOKCN_MSHMsmtu;6Eqf)RA(+`s@$cxd(kY0#AqH% z1&S}In6Nb`3_f25WBaj$v46H1Fomd7I#88uGNgJ6>azmx&})w!Oo^LZq5N2zFfl$a zpma$IB9Qk^si;+*8ecwk;YME-b+lT5J>>rsf<-^6wl(M9Ec_OGvw;CZHrG>WQjEiKO$4lCWSI6NRA!(*uOZFW}kf7xheu}Za|AL70F!3$7|`n zG6;cj{X1u3(`R*a%ag)|7tc5QB)gWTJajXT*xKn=UD0oS-kP;9&6Qx|h6Y8Vd@m&U zLY|E%pO5UGo(;~1UVmY;=O)Xpy{V`$j|PicNp(cV?_cwqu~CJd_wWEMri6zprj)B( zd%`~(eZR|!izwm+~>L1w$rCRAZ1FqU?p~x5zFsZ85On*Bu(L**VTDom~e&q5= zE-UkCdOzvJe^{UDNYY*rN?Io4fF2;UM@+k%J5eR3lza?8EwV4kwD@k4o$V&$t)nZv zN9F?y9;**vUc@R!`ZY&OoAk--VHuI&J`)Z2_r!wn&yJ7TcvL^x>SfziMREkP0wRMC zqx)1>q3iHd<$rR)klTog{-$@ov7vR7dV1HzACbaa;AzztE32T;(-k)0#Y5_?tjiUg z&#!eJN;nSEu4wxbtudz$oBApTYogUc5})GlI$GXvg-S!rd@ijI8QgB;okG2dTRL)8Z!9n10E%7d0#%zul^^&Vh2KBQauMTgWImW7Hv z169l?I9|o$5^CP9gw$3OXV%O)rmUW7oXX)YAbRLL%U%bk$3LYW2o>E|n|hv~=tB** zz3KaD1n2ZpvV`lTjwR^j>kOR?{2qh^zqw2l{tUu(P2gp8A3#+^a?zUPAVtz+IP1iF zieM@EjDJ^!dhOgL2M`P}*9TKrU_ev^M9u#+N4GPD)}+2lKOf=TjHVkgO`q^TkEboG zCli}yS>e&^mw*rm`dRqu+Rcf$uofqLjYUD32t!h$GCc_vjn6MwO%5bYd}7{xnC#J> zW7_gpF@(i`;-X&X<2v-%2typeUa9ygUr6{^9DizUuRLWQ;QCu31)jd_Kyx8BR)Vvw z5&Iczyo^RVdfjtwKl<+YcYoS)M(fX`M4l%Om&~WoT{ph@RNt@5yLnzGB9jmg64qaW zmIUsow4!Spy#m`kI`a0+NAR9olp6S%Rr*lX%{j^0zp^4 zHMZTJA@Fowb9Bs;J(_|NUnX!*_^MHJv3~^L8dEAwqYvxff)7YBri8%JxNqH^AP&x1 zu?BA2_U?Q7cIYKsXTv#K@Z4iLyQxrXgMR{exUC(%jkFT|=n`)~x8ngO=a2i2H#3P% zUxPp2(=@PXlGZeu$U+}0wMd^~jMg(z57{Nw6tz55U!e1MR3Yy8LBiI;G*F1O#O%%&H=A)h+2D_RYV?KfC<%yN7ZRZ;89 zIlk&9D(kDe2G5d&t-Z4kcHg<_hm}5%uM%25QOk1bYT?nC5=YaHz@u}kMGon+M^Z3n zkw@HmH#kl1nO>k%ebQ#sbC>iVUw;e_(F#W+otiNc|8{b3rD>)Iz1pWot6VuWh!S!& zpKqF5R>`w@HB6!HBCcg7-*Y#2k;tNmQ@iY|>u@7{aA(v{gJ)1;stfKo8|t$)HtfM7 zNJ-F(lvf2_cxHZhN+&Ob7?y6UYSa0tb5(U^LEwl(TBx?X2gBdNR7OGiiGLI(Dao`Y z-ohxM!Vi-zKX$0+*43HUR0oZJR}pDM4jd9(YZW6263enlS{o=<>SOuw8!T5pY|Men z9hY*q=JKovQ0b-cZRXWNR)r(!zd?b#S1agNb2s`#`sv;Zb>q9sa?I=F^2GKEZU1b2 zDvVMSyJT^*Pd5&Fu=;pGvVYt%o5s2Jo-?*}+MOM5u;&t|7Z?)TX3_EzplaxP@)`O7 zOZ?rTcRaZP&uh??hOAb%t%JP@sjt9|!@Qkn{dTXd|JFs@R060{_va73_To*)wET_K zCU4=FEE6CB-6I{baRbo=BK*=(SgH|yLQZ=qEenOdRcDp*`~0tt!+$*ejtxa71DXmU z?3ru-H;T57S|pQ(k7W20uKA50-#jWo<3y*bmxX|A84bT#-41UJDb(x=U(%_5wIZ|Y zx`%x$lMg$Rp1i|Qk<+x^H+PA;#KN5rjo+zJCr1Cm`2Gf`b=P2OK7r~z-LlMfjXnSU zYOz<`_-cERH>W}zCV#>As;b#tD=fQi<%~t>Z|q=d40U`tM;Vy5hNYGvC?`>#G>w%XOM{Cb_Gtq{m{UCfXSITWk%LKSyv7;g8=t zf-cZa-??Os$z-aYw`-!_hb6stE{HrPFSc4GaP0lo+aDo1Wa~YpR1W*mKe)j4NNqWV z&%TB9Ipxxj9e)*u@S~|P_FL8*(q{J#$&VRl_U%AAt53!VhtGT+k3yZ?gC-I83eD@L zsY2CJHf|m(Wf24PBi9KvJIQm5wO3S4QF#0>8bViPh+K>2ShVX{UfPW!X@oZ1TO72t3E{vQ<9u*9_T-=>c-Jby3{@elnsy1V!zSYx#`kH0$)ap(WY zA5*n!b{!V~w5#StFkfjBmvlLSXsZM3`PZmp>2yTg%CO<1jHgyVe17oAV)bOaN`o_){eth%m8)WvWCRRvh1+B!A zZh!3d#5wkga%LkK`Hxy*Fygz>?d@tK*z02>U3Uaw+jJ6BiffppPQn+l6$MBJBYB?1 zm)O;T2n+myqtj;DH0g~HPDjCV1cviYi3?A-XV8W@W;Prsbi#qDmBE>gG-K(a4x z+=}7m0)f?nwiPFFq+?Ku9pGliL;Q7Rl7Fg79=UUoYZq(hMOFmqceGHMVmxw&INVyMs%k(A}kF zR=*b=-nNZLT*|zU?r=j6I{oY3bd5EHEbyb_vOEu+eRx(G29eZ-^nv4j^PdOT$P&W4|PdK{(l2mQyVr>;k*+zVE*rD&za@El_UDg)}B#9T-q52 z{{dV(f94X0@j(K0AjM>77$vq-!klMy_x(~~PZZs2RDaOhd=BRv z3zDVX!au+{*N81Ep~37Xe@63{6KaBBe2Tq2XcD}b+J&0LViM*bM~jGR#nY*DNn7=g zRWVC)HL{S-ws|V)E3BsIwYv9UzvyEjvB|Q{(v0E2j-Y9Ph zZ&AzI;({b=B{;8UF+qN$YkxO*#%Sais0$4+=u6H|cVf-wt3@4ZAN0#tvZo&Sdi5x<#I zI^a)hgFk2hk&&UcDSr)3SViQn1$>6n48@eb?awCNRaH*k9deh^s8q_1#1Sa}VF@$= zouAV&md&Gy`qtdun?TgwN0oye)m*Cy&}8sq3<{AK9-bmK84Jo@?B{aPWK)A@^3V-d zMnQ1S$k_MMN?En;CJ3?$&vxr`&Z77`sTNsm?|X7WrvX0hw|^kN68;fhZfD#TLD;mX z#HRq;h^t~18g#BUQz*)$Ryk)I%p|)D5CRAKhnECwdJT6QQyO+v@;SE;^1S-&b^GcC z65lY3y~T$tsFZ`kF(Cm`ex8$?L7dF58jgdY}IrRFVDDqK- zvQ6(_gqnu=M_C~vRP1dXiFl&G@eUiiQ_@iDL_X!~=^>3u3~A z6UYcn}1&X+)=9b1I_E&(m26E(yOYw zZ%bc%hDR?BB8?lT@l59PKFEVBgrRPf&e>#rIE(NWx+i&tYGhkwhN5LP||5D~UYDwcGW!N?kk^-CH9 z;IuY^cr|Bl{uX*KI zKpkN<@t{*vO{7#X5{An(XGxvR=-L7MeSZ|&&CNqk z1ntqE54n((CDOL0*>ZHtTXzxS7^P>og8+iH_zU;P2$9R%dkLFLkC|Ne#FWbc`@w$$~db zw>|-lHu1{+z*(CfthaawL-1>?b$^Gma{IuymtBIJ-jPOw4PooNw8D@057xtQ8Be~9 zrE!O9&Y?N_)S3U@=%^}VCb%_NYXV7f7EX5WI(IL5VLjtih|6GgHP3^b#OKUELQYf! zly+^|P2sZ?;e-8bYo%FnEF7d;pm8bg-iLARNa%Zf^#ENzPMo?%_$x<#-G93R0YN#b z=A^+LvMB?zjr*19+Ll5^v3=5OUUZPlq!)Q|iozMvIn20$Z0C>Yalo=w68<)m4I4(> z-pIUwrwe$4G4O)<2E4o0V&1RJCGpE!3}<3_3K)=vPI5hutZTvogi$!wI za553V17-}2`d(C?CK9obQDx*dc5UqnJcRLwss41$ST4@~fuKx-zJDSdXq%ix>TG|x znh`-NvEwPsqN_+qu8@6c_vg2u`NRy_n+2vExl_NxIBKDq56#R-z#i7}0Fep~B{^aB z%)&Yg)Vow@KO1e;L;NnW}IZZFtb8RjUy z~_Xkbm`+Myup_2L*o+-3aEwkwM7TU~|$Fw*9H_^qVY%w_*6hibw)a z8rYFPliWi^9?QH1lCprX$H{{zUO{RGcE48*nx)OVHT+(}#~S~{4mVO01xe92t20PJ zYLM@OdH`+83uax(YdL=QiS{hG#@O9mZYU4Zh;V}1tp-vzAb&x~4=ayo06xy{>zq_C z@98EqpXE~JDO_-JOqUzTZ9N66jNa?VV+nHh7Fb{zu>7xu`;1zh)(SO z1eiMX7;)%JLVvofjLgJEGSgf`lFTcsx;i?+u%ul2pqTR9vpl6y52L0#Rb3}!I`)_L zTxZEU14oa4ZOY78^cwpt-EW*~zc{XbC}USYC8bMWLRJC&G=Ir*5RgS$~}zz`LX%#q%^Dh^*_$n?QSX zN&i|a92fl!2Akez@&{2`^`?kUp&#wuhH9j^9)_7O)_X+%Ym3#FQrBvz{>*&LKpg%c z2urLc01w6G+KCggA~ZlZQwo{5(-1@`>ClDDN*LNx4Z<7^Zo7C%&&pwMI(kuZ(KEvl^^zv^ZK`g$< zAB)i^!ee~-y+ak4wp9|a0tD@m;_(6Z@N6}3Mt?!I)wCO@dcGVg!D?cW^xPk*ETPFB zs_8WPdY+IJ*}P-Vf?p;aqwp)aqK;Q?Lzvc4_@qcZEJHYS93 z#i~ENE>Rs{D+~{SkYx52`Tb`%>xFGNnjgc6j%Ryo-4q#8+OF)*f9bANOG z5r3Se4PfPR1)J1EgL{gVBwybinPVE$YSql?PDxZF(Bfc5jBfLLwhYGLF1qlsO#}PyQwJgR*-={@N#3kjI}D(z>Lb7&BwRMA%8~iS8cBwGapMl%l@)!R!LFJ>PM`r{>(G! zklS3lJYxPsbDe=k|DLSV7s_UoeMK!vX?a^6Z%$co`7~g*c~6#$^0Ti0qG85hfd)3H zSV_=3Y%X<>-~Bh$2UskFd%VgrjCR%C(Y+cHQ?4rHMjQPY@+PSGUQj3c29IA{cwyF}}{ab(Kj zbL-Wv9UQ>aM{u%;l@_0daXsc#&D3X#-p45+j@LEA-WV6ku5ZRBlGDbNeF1BV(18N7 zvWL%QZHFw4IrShSHCO7g?dj{K$(ZpB@z)e# z)>%xCpYff#RysBO>!BioIjUnqdR0uH^1wA}dh$`G(VMu~7-+gdR=3;^nK>zRR07@( z@_3vp-0yXN*u*Pwc`)c%gt;cl(MJK;g-8EQgJ|aUz_I-2cUYQhYUq{^^MBMx{Nt8w z@X*jNvSBc=6KYnaZb!d4_6ngubz%qwk{Vu2nEq}acppY`TS-jp(`R(#x@KctK68y>pH$7{C;Z^(Ds&qFs< zvAN*O&=rrY?$Sz!k`88~DIU0XQUtsIEYVAMN(aBjc@cQjxix9-)_+c~x)2>iyV?+D zb!cR?alL!<4{SkmxkqD@e@iU$1Ic2Wv6L8WKosInpKs6awY#iPVO8IDN_*NRL;|+A zi!e0U8(xN>W)pNDoM3{5nm`)cMcJ6*8wiY=5(MtcK}3L{vB!S%h%7!vD@? zEr$^&_GLCw+D4t}(1&d<^B0yzcTL$HGGbngs&97&7kF-9bLuB#DXbBtJsiDqwL$Qa zSxw5@#uRZ@emAb2^&@#m^Go|B4M;=e|8-tu9$(ge)}o;;f!wG6Ti|0~@q>_qe2RST zY3}FkyMO;L)O!bbQM|b#o+6LHfaj`l0sR%Td#aq0eXNC->`FPzVv2-`kz5=+A1Dl6 z_@>Rrcnq@r^)%*@r_NZR;AMbEYWCl=TWt_|KC2q_WTf}rqx}^%T453-^+TZDZU3#$v8SFKJ; zTCRB>ew`6rDfsIYq9kT(Ek&y8m!nzi}etqk3k|D|W9s zLIiFS7rOmCBKTXw=oKDzbL3YX4bjryRlLL1dD^Y?S=Q5?<+^$GAJ`wg$;wNtw|_OU zirEGOGAR(>aXy)_evDYf413bmA@IHl=lvSMVp@`yR}OyZ09mzy-}yKklqagzL(&{y zaV(djI!{u1y4==e8p`^f?;qvxXQJI5IvuaMS}fD(X-CqzTzL~LITJyKv_~2Mr|5>& zhQ)=*X4#YP!GTY^F)<&OBSyAIwSWFk-`h5-I$kA`QtExAW$X@0tHkq{vaWBM;tv{; zl;!i)wBygMr}oV!F`{-QqiNXDJ!KqKyVma)yZrT=c*`_o8;S^7Lbk0uuVLORiJLSz z#y(7`kb;k7=h(jnSS)@}7-ntXG&RIsWlSV) zs9tR>l({aHLGE&eUf1Q{q>6FFusKyR*>Sx2@aleQ(WHDRbqcd)-w8LYe~g!3QaiTH zJN?Ysa99{rP+=Hf)mTf5(?rw`pPg%)M5j1 zmUAK0hCU~XxM6FHVrY*ex^zM2z=~QAisf7}_`;tp=*)p!bLFKx2voezmeGZ*(Z~In z`5B9F!*_RSDJ2;L6c(*0`=bM<)~2MHXl)l3mEJ`O1?Hn`ULM zT=yv#tRrLPFq_=~k$)&{{mSpM;$|+fXmy2F$lI5)AxF`{xg15~dWqMe8jH4kmPxG=@)2m<)3Rw&cOJGFt`QKxGJ_ZK`a}xe zd&Lxgc|ZyxXmIi!=HIZwyc2v^y|=2Ohpk)wi94=IlrUDN>3>1iTC4#OtBC2a-AKS| z^7*a#?J~f({JqdUfaE*L{p`%~^2k*~F&cljvx77U@4sDq6fMCCx*O$TiG+LizGC4D zL(bK!d5$XD)kNiIWxjHMAd#^c9N?bjcBk+dugMwm*0e^*T;>nR&29JKM_@IQIVBU- z>LMt}*&=j}Jbzboe0Sy8;#l*xs0q77B3MdvJx1Obs202z&Z12-fD#b#We}MRQ7C%d zu;dgSktK5(Td^&83`u!aHIO2xYYN?xd7;!-t9z7ET@>;<-w9@7?^9AtcA!QrPRxuN znDB&^;6VGj;foMC5?XU#Rdh_d9SC$@DHkGU0}4hVW`99uB}GbaHQV{DU8m>uA6xSH z)PSm%C<5DVfQ=x;n-8X@4ybK;zT=K5>$wp|1p1FY_MSYLyFan<+&g z7T>Nq&y~3?ubvC9@74FytTeK|t-;e0bxXbe z5AFB(bu+=E?zhGUj*#q@os=FGd9NSnkIKEjpI*oU zau+iQ@b1T9{FTxiIK73IDl*AosiX1Ru!9p!?~3t$h94waTDbDn36)5hOE34AeIPi+ z7eF>VG?}I%TZH=CDqgyeRuXEd5kBKqmxtyw>x$vy)iUzhVzZ8|Ui@polz*1-^`3C~ z=b7&*mxH=wHoIZ3zmOZeEZDpI{|aIgo$Oje-RjDn{+ZXv*STM~EplF$MX1cKzNx8x zBZTVzS9V4ogxQeuYym8LpqQ64e)(ai1-UCY+c{~kHm2n>DhqNL;Yw2`JL;)y9~m|B zml)ZPAhCDX8H(M!zVWGSlYiHx_2OhlH!!j;pPfwsz1MrQC~WvmRPbgnUuS=P>{O!A zgKcXn^`Gn^GI~;r@6Wnt_cuPy8zQ}pAR3tOoj!gcj1HDtrnjc>G=;;CpK+``wG!g_ zpdFNf^9IGZKvnWTdIlkbEr+N@O8ad`RKO4u8`U#Lkk!UEUIP zsYBm=S$O-5h~H5%mVZnR;jP&cMwAlCL2^pz2H<$=d9n4g1_eyiMI-0Ik1;?BV@FZ5 zC`-CT;}~qGEGww7h0!OQq;161-gDhtI|Ud};8aJc3X*XHS&a$D95WnWmweann`~`) zAiqTmao2fGmB8Da6@P_^i5cgrQ>xn+%LW@LHPqyw5aajaexGwP1>j^NdGZ0~69{LU z$Z@Z3v@})`G+0G>>}r<*b^d>#XE39gzOjv;7YTPBC9GxWkCa{M7-D1UiMh%b27e#M`JGdkWr$XVG|R{X zfu7Mg-!1{k=1!guL5_&<$h`z2RxT(R=pql2^e4EWt?o9)k|lV?M0%`C#@N8Je?GqI zT5<{f8OuV%rM*|TL~52UecQJ4X$g=+hzg*u=Ba5W`4p4z=NxLx0T$R=x4wM^3oQ4(7Kn0JfEb4CFJFTSz#jL*@E+S)Q+CJ+;!*2c`4> z(p)gLR_QoZIN%9Sr@IZbRA_H)gAR72*XN%C_hNI1$?BaFS3I zsaSHg#Dsw54m;eL%c#FxRz_8X>D-ZS(S`t_5BL%l9e*SQ#VdmHxjZiRsJEn@=R726 zt{8caT_+{^wVh-yx!OVkPgR|vGF7lmUi#$i^IKADAPEy-ONhK3Ft)?B9xLBgmtu~5 z-oDo=T%WYRp}Gi=JdyvD+#P#l&iylId5-;R5(?Z6NS9fERuX_a`<${+BrDcN%obXd zt#jAelYawI-3Rp1YPt#EL$ZTjY#On5ui;t8d2Vf2`It#pxQxMCZB7%%rVc%dJ#WdL zZCN*AB^7v>Y4dkMLr^$YKGq6g#E}r%aQn?Rg!Ow4XD)U93ZjZ7t*kct)J(vtp{JFE zjcD@Vh2Nb!ej9FgJaje!Z{tn+Uxb0VnVc>D>T3H(|elR9C(%S!x4^>E0?V(3AGOI<( zqJIQ52gmuJc1^qZ9w>0V6W$s#0omX~)ntXy!e*C^{^79oF2_`6`U06^BJB}KwPKue zoJW^bHt-k{)-fSYTs$Cu{6DaAQ$z`r!hHULhal|j_sR{R1EIYE5@zSL(+l#F-` zu3Z^%RvgEE0Ea;->&JDz;pRWM$Aw?d+NcMXUVJs3gDc^;gp3I{vR z2_O}$`;^Jd&)t0dN-hpD#A4R%3xoB&PC|0feH^ca+E!R$t0GM|H{~B6i#7ZS@qfTh zZ6ERc2?A@qi1PO)kIsv^6NSGmWYR>%U`6lrKOHbu@S`dvU=cwg^uU8HtGY^>Fn>d& z8A~ZQWKY9KlP<1GKL}=Ji!%Rb!bC6YGI?bWcc3P|YoxY4jpYDuT4XXhU*7zGX+TIb zEe`LfKhFEfe#nz;Tg4yg)!ObT3V)W=%FXa6$VzJz+pYn=hD7aYaXH$kk<$pjetKK7s zFcHBzbb&}*0buNC7nVnc*GM#ZjA^@Ie8ZG%cp+P?~1EJ=LnU8K`-0`@kEqqss@J@WNv75g~o zbH$#1az|A)Cvh;+{;9G(AAgH@P$dW+RTLsK@m|-wTC0!g`lXJ}$Yr}R7Ga_EMS&e6@(-+F5`!r(U+tsY9q+Qt)%}BL*Ck${eRdw^||_6INTtA zrfa&)UxZ@g2k1zR_IwVBf!E5!tYin;_FZ^ul&*yF(-sut^mZ;Q`j4_X9=(;T=8Pd6 z<8IO(5kzJ&?RUbfka;W}^}wCl_!v~Q$@g&#m@uuwAybF`dl_TUX>XO2O+I!UCqZRJ zX_{UyI9EC}kpwj{FMpkoIwJqeGCA)m0YbkK0;irnd1Vh*b45pg*Jau`C^{I-j!b)a zPx6%nk2Hzdm@4hw3x@^qtNR`nFQpgi3|Tn6sEpQUtHiP|?)bC9$!q^cElIMFX@4UQ zK>6i;ePkZfhN64O9PhKbOu92{da&Tc1s}VhA2vGn4zlOo7=J0tO&~2Dpw<;@dd-)@ zEs>Kp-z4w{884DVz@kPGvxQ(h$dQ5l(F!(GUY9eI5J(3lGfs~~$HdVRRPxQ|1#CkN zWo^S%Bs5?!-&1gHEw1z9Y_`qKF3=AA+Vp z&KC#vE%=+<@EqcSb1y{w3J-WKgWdsJaq=2? zLC8@DUlm=7pGR+3`|CCeFUCv3tQ70oxzY5dP;*|x1J(-Cr`_b2k3Umz$NXg^a=wSk zNWqPK27fF4)Zu8h9&ouP*lg`YKo*i zRP@lbF$+A>8{l1~f-U`6z{n~57A!|o2bT0dX@7k#x`A0B$Gw3|V%(YJVL3*qIkksZ zAD}cv!7MOGO;9JRijR^VbhEl8Kk3ynAh9*!xq)YN*j5JINX_vlk2p@nbCikvpmLv@tbk%4LS)(iLU%K!|E2cQ{j>+mMj2jyJHd7l=Zz* zT?fNdSm(288auXUEa2V!M!b(f#s?!|NNJLxTad5Zs zm}Dedv5uE-dGW2k314ZzJ<}X2&Owi*@da((FxP{|`~y<7982ppD;qqiA>AZ6Ydwmj zmKJzlMlQHLRxm`T>VTk^huVgz%XMA_I{^VQh>TPt^Ci4P)bt*M&2h5?NHC3Y=zs00 z+|hA;^^vBPQBht*wv;tRU7-$O*p;#mZ%)bTI3^2pcZFtzOM2}^RPmacel+nME%D^i z><9g3&lwO1I^BXfkzxZ%LzIw!9jby2vw4WrB4=gW!L59$Tp6K*S7ecXqJpO9h`?)G zXTq)L;F)U9VN{4I6T#_(-#q#6m4C}hu@aYwdZud$=f2l$3CjfKf_UYMZzRUAEsRpG zkn#aEF0@FKfT(;kOIAzcVu*?58kUKW)v71~G<43dju9grs^5pChW%-nbD~aiQKAXO!E)J5ZIL;o~1L&MH>gEZ>c(I8wely^bv}&yKuulj`ObpcpVsNfz52`#Z1H@m<(L#W&O189q1t1A-#bTuw zxY~U%d!HYWX=7fX_u+pMosX~+*;CG6kFn%NO3>sbyy@`Ja6ssmKfzk}qh=J^)kdKg z2qtwIPz@31uK_hXeIf8NyMNELsr_o<*4>~mUxImzC`aS%MC)(xlh)@9IkV7upM#Km zHfe0e&de2HuRvxJ|FN-Xq)NN1WOnHDctQk;-7||?`J@{SQ-@Edrc2nexTT_io^*Aj!9Zpc%Zhx#O@B_{&wYs?C#8)_ zEw5EpSgla0+b2pt-v~RBHfD}{NIdyFJ>ZZtcM~K#M0vg6kPwII$tkUvJQTw3nsr~) z4LSu3zYQwrlRrH!|IVN0>yj*6dnuWBpMqKrYaHTXRP*Rk-;vXqeA`YUTC&x-h13ET z{yfXY-W-3N!#>VKXn&C7-*%DPWkU>Nh(<7yJ(Cf1akzY-k3>oLKyh^bHnD07T-Y#H zhhbTPRI4eDfzGXP{9rRn=*6j0n0Jk*Sg%Hn{uPTpRyd!>(fE|jwI===(Ijsvhg@4K z=E8VRJ=HAZUZSHWe|W z=MR_syi<&G!qR&ALrqzerB1AO1AZeHGU}E7S>GwalbwAwF_ldsbQq!*%g>>fnn>{> zNV#969fWI$BqQc8*&{0ZHzTpjy2=3hSNI(;e@g!$s0(Q`%I++4T=6_>bL|f9fuV@<~_b5;}4=T%I zdARd17--%0wIhN)1t(}1^lpL0L5_#t(T=TG(JpXN4FP+8EVL*}q?X5){qnufN%)ZR z%*ihE4y!7jjHu>iCq?6(l3R|&0zc7(NLY@PTmc8rx zURav6tG2~d`gkQpUW!5`II&?w^$@+E+y%)P7GP7ludCGQt2`Z>KCnw^hnwhpxr##Q0Lxh_X4mRBz>(O5Om>Z0h|u5I_CM)7 zv~1jo_)_wfBKE|QxqzGy_ou^U5J$yg=j)+&n9&--J97mQE~QK~9d4iCmQc#r-v4t;d^L`X>cH{qnMVyrDIMoR=Ws zwcagJ*gXl~<@q-9jwgr~Y)`PwGF=c_st~d=#ayR4R!p}QeOd>svxVw#J(brAJAW`> zD|*B=i3;Cc%=UnSvR(HL8Z_v5;suq{*CJk4cwBdQCrqDz=ai7ng;X@Q&W2?7{2r2@ zvUlYVg`H(kT+f<^aktUxCPoH{zOXj=WyPMlBNCA~Pkr-PdsF61yAtcKtpjOT} zs+7Lp#4h)VP&vC$Si_gG`mxP$eA(DcyWzCd(q?y6Qgq-JJBt6P1B|$~g3U!smS9g+ zkzV8z9(j~D4tHx$lwvea_NU>r`Ni|yXc~PInNBdZUw;DA%2e({rSzuLkz~KL6 z@En^Md(j9rhb%Q@kK90W_&QJ_^?EBhyTTuK67rXu#tHca-gTzQN0rgq!yd2E`HnhM zD;CFA;B~}#l*M0v{_XmT6wRk2K?bpeTDn+Ty|A|QDM{q2<<>ikLg3UP23KT)jM+|c zb>$tx2%4;tNeN6idLU6tQ7HsYvM;!j38v2H&yLsOi)9d&2N!VWlJHp&at6Qg8F=YvRowQorf@) zh^l)T?mcO)Wfe zR4JNxa4dP!#A3K=>Iwte7rYA6_-#^TDZ46As*p_Eumcije<$@2sTelQhq97d{{4gl zzEMKcJ{bm;Qql`r1W*OkZ(K?YKs)0l^(S+(Y}{=kW16D$b3a{|4$$jC?Y4Z`$1x`K zu@@b|`VxiTiLY9!Y5XuD;Sc5pOmgZlPDoB@AapHZ=};L7{d!v<*_OU;K6IUm%eQ_0X5=rZ(F4J>SEE!;tnBwp-l%CM((XAgn;LvulHY_=A4~IKN zE-`!ettKpe!b0vSGTFIABR(+eNd>b2tBmn$IFXzAs%!v(8guGey#d!-MOTSYl6R4Z zyeZfe*@(-NpQtb{td5}udCS%aw!}NhI2mL={`(lym_O{D&`64`qc~m3b@q?r39cn3}H7`avJ>SBJi* z{TLvDFqa5Ed-?gJ*O^Lji&d`V-PIx$^1 z%?eyGl*P0hyBN#IdL*WD*-&KP6?dur_0*)`eK7X70$XK*;qw{PDYnMEuQ{x$QGYv0 zC(y3TW^`?D1LWS<;6T_5t1-`c5nM@If#kW)XRTzGZ$CwlwFZjF3k7b7kKJH_Lt~2;QAQa`Hf2~? zG6HT7!JP!hU9i0q&FsH3v8FUZH;S@pdRZG<`d&YlEdTI*r4hWCoFLAI(+C}tw-ul5 zyuA>nh(wF2kiW zIzZJgMZVE$`>K&k-^EzX>QXa1Tc2_!q+&3 zWF2-BsmPgDsmKp7^l)+S-mUp=Nv%v#|fGRF8B{5f~P70)7;IxU8> zHNc@9;7=`{eHXi|%<&H)0TXc}`jo?)E}7HpFukF7hol4`;AvA5`wzYP@^ zjX~*8HteOtdlQID`!(?vJWK4R{2A}ylB`PgU`wqemr8|~ z-XZ72;$u{e%I8JkEZsXWkL;L6#&1g+$QYwa0GCP%UJnT<*O{72W(4^g+hJjZ#}4s# zj0(AKB7(xmE@B@ROY((QSfKWsMSBglLmAfjL691a8efWo0KsABMBRqW8v@;z@;U}C z3MuiPog;K+SbC)|2zwAHql{=WlEpEO>O5o%+0C!$MRfwQ9y0U z0@XEc-ILtE$kE>wZh{XRWSrEef2Kz=+^JE$9ey*5C#XBZ+k3``V0#~T+sMzgK{ubf5)ELgFG7fMUs|i@R)5K6F+=1(Gf|oF%Ro0^B%xAj7qDu=;VatymEsRk4vD%W@)r5b&L-QlAJa`BvU9qY0e6OCN#|tzyGhoS$*^htq!>p5@VB?oIZKe@ zYWoZnRr?vDn09VO^!21fPLB^R55gjSf6Lmx=p`_T0S5PIWz@?p-#*E0R`_zv@#5ZY zC3i|Fl6KUN>wTlH?=iYA+&wIV$UWzf+3@>VxJP`IMvf_KfG8KF&jp<8rktH?LRQ272>`mHxny z%7-y0W11*+uCwuOUHHrY%6(H<8Lx>inIz~2g2W=Fb#hQ`l7Fccu35W(NF}kBWe8%a z6n4Xy*jzPUO-mi8b-DfJN->wp)01r^oLn|By$3_O9q}0(*uEPR<0x|6Ppbp9mUfb9Nkx0O`zOzN#L)+^&0!>mYV53x0=>CAoRSkH$I}WkGJmm2o=>I z(=2N-9G11<1R6`09hIn?xRs7}PX!;qV9NM2)fWov{$VA^5%c{zP-AU{5!{#?uz_X(dLc@8JOfCXp9I%De!?Qiu$J$iX zGuVDr{nB@zD?Hy^jTNuwV@g zry>#?%HFpfv+|OYrr5(u2J);{neSGh7N@BSEph&Fy=95Rsdg!Gh8qeb8(ryqF1WUY zJL%Cbn2>h*#04tem+wm}pA!*atJd49Hfz;7eJMc-jo}6A`#` z`prftVdSaTU^jld5ZJV>IM@Ny&Kt@OW)8#$ETS44YADGK^Fh&MWLbX zm)>wj&QPy<@(7a-fC&s?28Ks)#mph-4{vWr1a^tMw6=MceGQn2emjWwW>24(7n;v& zp^~v4-pw^cMTNL|ayye^-3ps-lYlld=k`3$e-Im=G?I^a{Y;pai&u>4vs*~V{3s54 z*rjJ3Aza@?Z8bg$XTIZ-5U&jmH?1R&zMU7q<8G(X7l7G`IA*oY*52<~2I&3OdI{GY ztK4h3C<})40W0?|gGC-q;4K%ewc~-J-DX1+OKJHRwPJZg^d?2m>&Lx-+opW@M>xe^ zzIU=OTY-sl#Wo@PC9O)1G662a#fiQ;14 zbANk#7|i{?vv6%*7}lvYUDD}oYF!;s(^ck63G#B)&~D5)IX0|u%~&gXym@Hffm{3< zugu)YU6bB7Ej_IGmqn(gXmxs1jJR!`ux)wLsj{n{r zz|Kaexxd^UJJa+5hZc*qp zJ?|KpXEdM1A+6v%Zu_O8DXs(VwerS3v4VODt3E1akz;6X(bS=BZ*GHySsaJnY39*W zhgq$2{b5DL0y@E(y4I4+*Cv~C*H&s6ZLdVg*__w);o=_YMrycC)agZJ4aGwH$r6+M z-q6u-x-aLki;hH^rqN~hn{b7K;1$QpSa_OHS>j+#^ZdccgKSc!(ftQyrLN5*$l6$$J$0yq~o@0ivhe;6^ zsb3r(3qs|Olh<3?w;ctK+!qfp)4tEQ9|y5N+|hyiV}2d^6&lc2j9(0SiXt4XbmCYU z$e)dEE&>^ymal>yJj8p8C$Ru9vqJ7eVB#x2RJ(|Tz&1uq_xN=tpoytTL+*t8-Bvg* zLL_`pn1UN<{MIiR!PCT!{Pg0 ztKxGm#kG4&yU@;nM@x0MAvWd#<{U(wI|EPSra(^Sv~reRY~=TzQ<82ck9#}}Oh(c0 zqw+9?J&?qgpZl2ltv@mBG{x<1XGgh;&fJgmiyJ_IXA6<>6s8j4(7bK;_@G9Q_A>RhMBjL3I_&0eU*^C9`L2 zvj&bt>-wTo%1JffW*q#*eme8Vy4KmSiBPTm71X0Xf!>4gOO0V}Nhj_!Abh`fZ!>2N zSWHMkpN+B02PEn%-@UYRVlSmhIZIOEeQeizM?%1DloTC8vvR-lx{^Kk*CloP;c;H+ zO$ut&pPgG^ZH$<%1^0M^zKqs+`_9sWIR*2mJBhR^TSAB;9o-!gdb3K75Qp>ZM){x+9*{Xn&$a@@z5A9PSrsree}sr)4l zd@6X?7&h5`wj#AgH_`5J&$XK5Pd%O@b!z;xm-<*a-b3vg7WkpKt8qxm`IQzOq21eM zDSBV3pGJ}$_4H6oH37Z3wva~0AWfRcEZ0{=(1b>xQmc+1u_zzpmrrn9*S<=zTuPdUAE46vQd&wcMG1jgT;rv#x7%YrHa>U;d9J5bA|} zddISNFqtrkKU!~Al3BhDuu&_19r}vDnCDdXa+mV84k1pCa8)~7%uu>a1sGDv6l%#V#u2fLO$`1=Q$n&MRaq9=x8UF9r zO}JDoE;*bCfg6Cv3+Cg4Cn0d@|6MgAaC4Cb;qFcD~}1)EpQjuAP}m#zm5r1Z4g1 zv;I@LSv@CO@d*QX0RL2CVmNScJuU@|Ps9|5Th}qr769fG!QnOl81n-70KCtgI&N;> z&z%C#BXn@Mm0j)Jo?AlyX~_YM#pGqBWrT(JxypW)*9Iq^&0*{ES zpakImzl7lVM*jgL$Rqq8FmxFrx}@5qQ5$sK1%*^(S|%Rm7NM3>=r-Spgvcp~$n;Mw#CEDmd{N}+Kz3r5Ee=(tA-2ySyI^`kjcz_dhCF_+%#%yb}S zh0)ZWPw(tmpl9Jc(0;&}w*r1qZ1k~U&Z-Hf?8ce52F^}f8AJ#eg0A?M+oZ&c-6fOC zX?WM%<1clWF&bZ}mP?H-XZzYEGL(PPDf6VUN?a*UinfueA1~d z>K6=S)Q_Sc5sV<8fl<$X{QT@rqkaRA(qd}EJVNi5W<9+QmE8mgBPBN)HxoV1I=d7@ z849ypFzGDlH$yv6u2BhMML_#AH#|SlMOz7J(MLjYmMDJdE}#l1n(Dq@u*a|YCUa~K zDGuOat3)|PDIlk=Xnk#!lTxZPw(%UjHqtEjxmz1;iajfb4mLXs;c?9oBD5hp9Tyv< z5GmU1B^Q6pFpKaL58NfMGP-Q$2*UrqE5aN!`~H?2>fbmxe}CB~=@(&(S>&KDqRwG7 z)2(q*kk~D=X1}5WYqY5-Gky2dC#$EA8zIIg%^El*WqQlxQ$L?3V6do^&2G6nmdQT5 zo0Qd4chJM4Y9;ZM0Wzw;(X3hVY^NwQ;`nn=sE63=6NiJ|tPhv1a!9%>)ON?^zCCh|&xrxrnMXb; Z?Z7GEZcVr^art?Kd2pDS{tL!dm!kjx diff --git a/rapport/rapport.tex b/rapport/rapport.tex index 5518cd0..aa18443 100644 --- a/rapport/rapport.tex +++ b/rapport/rapport.tex @@ -139,13 +139,15 @@ Pour les modèles SimplePDL, nous contraignons les noms des Process au format ca context Process inv validName('Invalid name: ' + self.name): self.name.matches('[A-Za-z_][A-Za-z0-9_]*') + context WorkDefinition, Resource inv nameMin2Char: self.name.matches('..+') inv weirdName: not self.name.matches('([0-9]*|_*)') \end{textcode} -Pour ne pas avoir d'ambiguité dans le modèle, les noms des WorkDefinitions et des Ressources doivent être uniques: +Pour ne pas avoir d'ambiguité dans le modèle, les noms des WorkDefinitions et des Ressources doivent être uniques. \begin{textcode} +context Process inv uniqNamesWD: self.processElements ->select(pe | pe.oclIsKindOf(WorkDefinition)) ->collect(pe | pe.oclAsType(WorkDefinition)) @@ -167,26 +169,46 @@ inv successorAndPredecessorInSameProcess('Activities not in the same process : ' inv notReflexive: self.predecessor <> self.successor \end{textcode} - Nous avons aussi ajouté des contraintes sur les quantités des Resource et Request. En effet, cela n’a pas de sens d’savoir des Resource ou des Request avec des quantités négatives. De plus, une Request ne peut pas être plus grande que le nombre initial de ressources. (Le nombre initial de ressources est le maximum puisqu’il n’y a pas de création.) \begin{textcode} context Resource, Request inv negativeQuantity: self.quantity > 0 + context Request inv greedy: self.quantity <= self.target.quantity \subsection{petriNet.ocl} \end{textcode} -Les modèles PetriNet étant relativement similaireq aux modèles SimplePDL, nous avons établi des contraintes OCL similaires. +\subsection{petriNet.ocl} + +Les modèles PetriNet étant relativement similaires aux modèles SimplePDL, nous avons établi des contraintes OCL similaires. Nous obligeons le Network et les Node à avoir des noms uniques mais également sensés. +\begin{textcode} +context Network +inv validName('Invalid name: ' + self.name): + self.name.matches('[A-Za-z_][A-Za-z0-9_]*') +inv uniqNamesNode: self.nodes + ->forAll(n1, n2 | n1 = n2 or n1.name <> n2.name) + +context Node +inv nameMin2Char: self.name.matches('..+') +inv weirdName: not self.name.matches('([0-9]*|_*)') +\end{textcode} + Le nombre de jetons des Place et le poids des Arc doivent évidemment être positifs. +\begin{textcode} +context Place +inv negativeQuantity: self.tokens >= 0 +context Arc +inv negativeQuantity: self.weight >= 0 +\end{textcode} \section{Eclipse Modeling Framework (EMF)} -Pour permettre une meilleur intégration de nos métamodèles dans notre environnement de developpement (sous Eclipse), nous pouvons créer des greffons nous permetttant de les intégrer dans d'autres projets ainsi que des éditeurs arborescents nous permettant de mieux visualiser/éditer des modèles conformes à nos métamodèles Ecore. -Le code java de ces éditeurs arborescent est engendré par nos métamodèles Ecore, mais nous pouvons le modifier manuellement pour que celui-ci convienne parfaitement à nos critères. -Ces plugins seront déployés dans une Eclipse Application séparée de notre Application principale pour ne pas mélanger métamodèles et modèles. +Pour permettre une meilleur intégration de nos métamodèles dans notre environnement de developpement (sous Eclipse), nous pouvons créer des greffons nous permetttant de les intégrer dans d'autres projets, ainsi que des éditeurs arborescents nous permettant de mieux visualiser/éditer des modèles conformes à nos métamodèles Ecore. +Le code java de ces éditeurs arborescent est engendré par nos métamodèles Ecore, mais nous pouvons le modifier manuellement pour que ceux-ci conviennent parfaitement à nos critères. +Ces plugins seront déployés dans une Eclipse Application séparée de notre environnement de developpement principale pour ne pas mélanger métamodèles et modèles. \subsection{plugin simplePDL}