From e94ed8a150a2939399ceb77139e9aae7a324057b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laure=CE=B7t?= Date: Fri, 15 Oct 2021 09:31:42 +0200 Subject: [PATCH] rapport: ajout sections OCL --- rapport/rapport.pdf | Bin 138939 -> 139444 bytes rapport/rapport.tex | 10 ++++++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/rapport/rapport.pdf b/rapport/rapport.pdf index fa75ef35b1e5e9a64ef1700d4552828512dff5d5..16bc3b207555763d277cdcdb521b20bf5e3ae6c6 100644 GIT binary patch delta 11332 zcmaiaRZJZKvo!A7;#S$;>3%-igrAi%^q|0m+tBJaUl52J}HF5Qe0g_1ec_tlc(LlXv(PZbFCO%3!;y*<8i3GfMhUm*JixjTVq zPsALHP(nc^+0%nKJk?0(1?iS=UwR9tZtPwm>)Q|QPM|UR$4UPxHt`Q8NHXSIIHG;QZWkf7 z@+H7_>yoTYjV`mbqmf7nY^K#sVR;!j=q0BNAVC~O{ILi+sH3O5kXeH_osn0Mg8vn; zh|fr(1s7wLh!0WrZ&+UkZjAmku`N?%e010ymy;Y~Vw(h08!Y{aamK?L3s-H6*4+j1 zloo(G!Kj|Jvdx0@$tJik#~wNVTXQK>>W>H7_%|QE_akbIWHKf9s4_3{>!27MOu9|e`E%hjTk@WdUnCV(?Rt!Ag>{N z=_0czkH6SA4Cb)yMm(R}rdUu)C}onNGgaB3<}A()%Kfh=*7{DCRFTV(;~@ZtX?MOe z-iMPDQZ#ksU}L}*h-7y;I+oD^`Z>irZF`Hqd}6(dxf~Y8W_v~NYE(MOoYqQHgfUF7 z(Tbh%6Urk(KvM~~=@iQFciTp~jIzQ*`Y_aM_OfE7W(GNR&JXw%8KR-q5NxQG>W_(f za>#W+V3o7uSzfOD__u-iSxckRc*Z%29b*>ayXbg^*e&6Pf&z!+UI0TK;RFo$A;ZG1Q2> zvo22I{%_4YLjZ8{E92pjZdRp7n_qGaW-p#Aw0Scnba&RiT~=s40UwJNnv0buAs2%d zl%yk>qrM~!wp^MVdK1@)Cic?2vHDT;mCwwH#xC5-rakHP-`*kd1^k&AxUW+!%r;y**>+@l8w_TlNUDSNR2yRR^?jZG6;;Koz z!oGlk00~YvVALt8qS@@eT1hAF{&0a2q_xV&H)CtC8ci*U@2iVzQ%`x#{k|e7%6)bW z+-^u#9=&ZI2F=L~l8^2)ZWr)ab!r!yb!;Yj$woTIKk%JyoanEHxyii4f38Bq4S*y3i8)0Z#%YNqieSA^0Q(@P$u9G~vXVw#OEvobR+Z1x{Hf25L%L*EbEn?c0IJMLb)Nb~4&}oJZ`{^)!0WbK8NlgJbo8 z__4dF8uRxxS^GqbSt+T#aK&*-K2uVt?+YxbKjibPc(W>^(G{XBM(>Vo*S6>!V(oiy z1w+tu4oJssKbP>BScBP5K?!fOt4$npwj!glcn)G(E^I%d~f-_B&rkbG6FHSZ# z$5u2xt;tNwK-mf!qO>Q}EqrQZ(q{ko7k>y4onUN+g`%S7C}{Uo0|=u*VE$Au7PYxD zIHJso34LFOY49lwlMn(!&~7oQGyoVuhHp7&{K@~j_ckk29<(7qCH6yd8yX(sx4UV(VTco8zU+_JXE|>>IEzV|hq>WigM*K1D zBxPdv^)}Uaw1h?;1^dvY$+;xe)6(dBhN{14C_qT~ciE&oR+J7#h^%H{#u0PEyF)!O z6jcWG$$9=S*2A5Kb6azT7w=}R$>hw*b60r;5u&YkjQLJDOk5XMP{lF9)$z~$qjfF7 z?@9}81FxsQ8a}unPU6U?#=??zRpJ9_g!*_va!MX@`;F|$EsfmbL6iAX%;E}4w!T7M ztkOZhvD?PTcci&SMB?Zfmm%(EEhRGh1vl#Cmk(rgsMq}n%=d5BL8M`BfJMcj($)oY zEXqOC+oFaH8W~!Q9bIqp7q_iBU7ex7yxEBNfeY1bnVZKTCpQP)^X<;%T(d888q$B~ z?h)e%Cg@TW?is&ACAQj0-~8L);Od&IO`@!ylbv#xT7+iy(<&Ip_Z4dIbacveR@3T* z>I9#VB@=~{(l&SFGxWdJqFP|?v;WLYiiPtw5IH3EKMldBjK%C}7VXM?G|2+`46^M4 zuv?Q_DT(nw_yWopcMi~g&QT>9@*F8UEC@!8^be%Gm`ft!!2Bx~-QijToCyg@e_nc% ztg;_8tRf>_mFe^}`;`%}Gyy~_xB)(gq^PnmknY+)|Ncji>V|j+6QFi(T?m^J5D;kAL6n8xhZqlPD9*76iS9~G#*bA zPlrqwC^;|qhTBC;xv*n7&KUMppk{mcT83-P-YhDR?oE)ZN=UH;-Rt-s=`ZcNaF%n8 z-NisYnWu54gu=#nWAt4VLlveKZ2UcZv?N^Bg6!)hIAUiwIA%l`kcElIfQ{DvvRj8A zzVZO^5DEL|H(F!5@&oy(fRuc&&uyh9j)wRG$Qdy>5i!dl6k%*9u(Q)$%KH zh{lMHB=pS?ktz%4YXPCZrSgzj8K+lSmVZoU;GDRc#Br9#Szct@)-yi#*Bw*9ll@i7 zuBTSsFtwt)Rjj(%S-ek_?gri@He`A^qYk{)x1J5C|9%7GT{-1w8>JihWYSSy*LT1hRD6xtiu(j%BPdHY% zfZc%j_SZGUl)lc?bz8iOjl2AG>3}^RSl<37uEJnBP`r zJ%N%wQKqqNb_AC*<_d0BEET^;P2mqL9X{p^i?1_B9;Xa`)1B~ zM2(3U(PGq_!mto#axGwadG0kyK?BnXi<}x2;w`>G^ydh#!&EYNEt`V|RR2*q@tAy3 zIFa`{gdqLTP?iGMsH08{7|8Y~*w8DA_U>9yq8i^Yw=pXqEae~?{PBAe<*0>ZND8Sw zk9LzW=BnkCj7CBh>M7N_8?#1^JD8fJWbrY_*qj&~;jLyZcHZ)@0%&`OsY+y&9v-2% z8tU|X*G^oqpw1Ro$B3K`O06Z4Mx5#FR5gyg$1src`t|;oLsHFd*HIbG`Xk}xQW4{Y z^b1bf{AWw_t+STZ+1Vi|U4?edWu7Djt26U*K=`>iWdC((_~E4s!o>TQ#-u%{RBI9m zwr*K<4k}GEhc}}18|qr{7d(VGerWlOs9$m`&YafN+ytbFPbk&{NVDgBzoBKT;}}mL z^}=bKhU1xi4#n=!!nER75^{oepUgKo@XeY&d(r+jF9(tno_t|x0w5MGZjTScFg-5* z{Dqod)2d&M+sY}^oF$7n)&#XJj{VOn9J4A6P?*}X_D1^ChBv*&455UFNRjQEN%nB9 zZD(`cZxgd%u6cw{`NhXInTO40F*(Kn9l^Z0mx5T-r*~LvEb&13W7&Ze49}Y4c}nrF z1`1|;p3}m))&v`38W>hqF1G)5mW^6+ z_8VLnT}N6a#j+xrMJ3Cp$6Rg!J#>+7=&+|GE7+aC$_lXro2I(2P%J3rnwDH4pZ2Ii z@7@oojL!X9qdLT&6g}XTJcJdxh0nJP^et*}4{{^t2G%#dt#HgG&ktHrzMovkUbzdS zam9@we_0!)70vfjDp4h-G6*&R2?5q2>kMP zVm5~(Y;-(SuyCyCXGvES=lj-27!&oHJP1cNszY(GdU6rDuCtz0ZM?5*W8spMALOjUlLEY`Zc%C&^a-szRva@Q#VK#lW0Y<6~) zLVHY4Z!)|Chjv4jd6e?;k$H3vh`g>E+(cvf6&pinIaMTl9aI!!2+Q7H&F?t;luZy5 zh#w_Pa_4#|63qi@*5*PDIh4^fO@-;0Glr7}beO^lN7m}U|9~N2+3`v|zU6@#;^tVo zwV)vmfySk<4)X(FdES0npdq&ql5V&-;TlnzvNU+6q@vJ@Xt9fIEM95}vyq zL8}}|t9K0vKP&i)b!RO}Nf@zx_QIOzml}pH74qrLQ+GqP#_0(bF?$QURF&zOIx|ay zvAS)^^JnW~+vqjTqTrUj0) z42ZRo&ly94X)0fIp3Y2IBbXYD^oLhBx)BcjaAacLRJSV!F|dD8&&8Qpt@47sMRrdG zV4oYLtS>?89{jM%LZ^c{A=S){Wl!U656{!m!3eOTl!*{ znRV^szN-h2c=Zo%UT+FyCk$4-1KQU0KGG4;!LaMR;0>E!6xJ~DJf1d$q`qo zW2l6e+H?V%<XUso2+W&4pw z+3ULco!Uw*k(8`pVDA26kK^QlJzKb@Q8qTQlVM)g<|ISF_*b>(y=|xbm#5$x3qrad zLyj6|zF3F}5dm^s`DQx^Lh>d&BjFF36eMTD3>gpPWdb5O75YCYCSyklCm!d=iBc7>EbHk-mSWgAuOrqYEyFJN$jt78d;0g zgm9red>E*w)?5uLb$GAz-Iw7#3nH8&u3kFw7QZbRRXg}hA;MuuWajO*!fl-IRw4!^ z^sk42)}~HxfMwiv{`&3(>rLh{7G?9P50p<(-N3!+^r0q?&y`C9$+z6HCav;MDb&-q zDILN4tEL9OZS@Ivg`s>ySoRDgH=|rh@Fj_@oW1YZ8l-2r4cnF>>A@*3{cvqY}I6SIa^R-!8@S8t>`&YQ&`2C~{AtDJR zO^t^qsZ{aNaSmxv=DIdWna)~mg%Nc1l|BICqFh#vSGx47-LwgnG;Ti*UeU8Rvd z!SNcaa>|772k8_Mq;&b($A?c_sz$qnlWy@lN46m&U@-F$(0}72>yd$;R#@L@Z^qmH zLN#4Ju64J2zV6|Ypm3yR@%ARd%@T6pq6nWdcu=UyMR$Pg(?ySsQsKkVm45-+q8qG% zJJJ`ZX_>+ldWO*hEwF{)?`<92?ziua3qHfb+_#LJXhdOB2@@s5UJ!rwg>&j&sdE@+ z2s3;psJ``qcf-Ton-AXhRWlE4OX%+&IZq&^doce#k9WU6K4j0Rx;|+>?mkB=y*oNw zBKGRKR-dwC#AQx|CS;@~+TVjrV?jAiT^N!(Q@?J8J=A^tz78*Ev8jAt-h@Y5Cuqdu z6pHloM)zJ{-z}=ToKVBq$2$e0rsJcTv;q~Yi|_VV9n@oWgl?_0lLvjoIs`f`^1hLv z-cm?s6bKWIepZzI;Ez|(b6sZ0v^8pb4H}%(qPaj){@mqPYwL#Pjfn#_Zuovt4Rn{Hfg}dpO-P)mDp9->FR1WE;b&lrLV26E#0(4 z54#Ff?K=`rFWkug-^REvXk20qpV;!Ot9jHNP1B8j%RT=h$y%MNeDq>;i~h2%W{`#8 zUNUS|2?2dWM7>_r`4@-V-J7W zoX8TJ#VO6b^ylVQXLcCj83fXH@YA|l`Jm{C-K@UJe}Zyz{ykfoc^tWT%#eB?^Fctv zoaavmvKhEsBdZU!2Q36NgqpD8z4Ww@wB>e)fXq-#m1_rN%rG|>^=eG#@*7#(X(aNO zjRE4*kgO$9vuRIRjjSvxgl6@pKR7XijD7C3Q)|#RmEEefalgaWi4ZwPlWj62@D{e` zre=)~cqZu3E_p=YZ^a{%v0vWwE?)k{$Y7hkMK@q1iOdnZLg|XYc!Oed95PGQ;5;<1 z264s)Go}JbSxCQWjxc_Yo>av$ZXvPbPTY(bpavsqB`hNCkrs>Lbb{0=fJZ*s_j)>d zwf?sdU@};7U)&#;upA~IPC65HaDUnYhnfgSFQq(f@+R7Gprw0WH~3Iq&q*pHw*`sM z*{Hrwo66EZDn#v@sv^+8z9j{S2`)iRfa-7%usO0+|FbY<$k<^xNN#9QeiZcZ9T1=W zu)S0@&io&#HoJ|$HJ9&LgTl5jbgjY`Z|Cv|NXYiM_hqtu+v>#4`-bk*?6aP*t+=vw zCGEHWYw{J@(2r91vDU3zi;r;0@T9_fieVE;YU$~y{y^^zUvf1!n}yLd^K}2rpkgxb z3|EViNtosIpxo44th*^-L*B3R&P3OdM<#&Q!0Y)K8$pv{A}Ai)}C0X%j@A({c5 z^IHjSbm99^{0+a)MFm&T42^1z9sKZm_tzp%c#2?>{+N9gR{s6I5aiy9RPdO z6e(E%rKxcg3Me6x6K6LFAdRHKO^d_HwuJ|~CI($ZibL%m4Vji7K~L%&s3E{+ae-xR z@5BLbnC~p&Xbc@}6XiF*WO)z6Wz2*;vDB9@X`Vp=frg51j`thDO}4@1Pe72C4?7db zoARPa6{WDjSMg8IRi5r6taXkoD4eq9w~BW&>L(DtG`|v5bUUE82rsLWS-tCZ_fI= zsB-5iWMe4M@q{+m?F#o(MZRC7)Xl?f}n6R-$*<{KCdIZ!0;%{&f8Wn z;I|S%L-^{iZuW$NyxAP35pA{7Ws76i#(vJ8c4am(R1Szjr};X{eaE)t?*?m#fhghJ zlnyW|%Cxy~w{^<%0&X+V^BAb|i98M&Z&W4%;U)&MC5R0^sIG7uZTJk*#ztlBtvc|Q z^PtG+gyAgY?-M2wOYzlQrjh8)$lR5T4~)0cdL@8AnKjW=D30c1((HNhIL2v!csl>h zo^?Mwb4WLMo--<|$ErI9ijwx{-(y^CQKDchi8P@;AY&XxH<{@IfEvk_Y1i{aK}L>}-eQ2O7^6ay6w!;wKxA&; zkb%zK5|iS`1LSK58%)p{xQwP*gE>@)8%7ShpYpk-+*|a{u)=pdN=y9K319zc^M@|_ zl+vXqBjo3Ppy8)>^lb&cVfg0#5#DFCg3PdL(leGDp)z~+R>Y_>{-B&h{GRc#MJ`wP z*TG_Ji7iTb%}KOdIUrE3g|jEk3?#vR$RI7(L4}RKkinpw!qKB5){HO9`lB~~X4nrt znBDp`lYEnm4w}8-Tp|sAl+%QNBo@E7}so5?k7+mifYngA<_z} z3_17>LsLb(9kU{=QO0Jy%aM#)6f6~~8}qSoI9r{|7)n=7URupv4x&+LB(nYn z<5NHa_7Gw1H^HRH{V}TqAp~OqQ1X}-3fP>Hq_++c5NDKGPD~1D(y~61*NMRZ7|oYb z&z9up6&YBup^~gp;cOiGh3VF&!L-w^AGQS zz~=>3Br?5xl2v8nV7zm@knHhyH6Ak|+vh(`H@hFoxMV3+xZ_kau<-ziisKKYHg0hvn&r#TGFj6#V zPHDvyf>>r+mJ@h}^2GYwPP<2LL9hGX7sn1?ze$p(8?HxGh}#!E?`HpFQGYy#8#R>J zW%q$Hz*?uVVlfG-rn)U*o}kO`meib^v{dSY+rGWo+D8OC7V)4pN_e~_99L;vV`$5b zEuqtSTYg_|w?ykoQCk1;m{;Z7X6{tq)|cY{9f}Am6`m!#cBYR)%7(8K!OBQn2Tjc| zrRF;nA&9rqPL4?rJ^=G(LWNm*K#ejXXim|?$;m9Zj(Ya|EDGm+C_Ixs?!RoA@W49Y ztEACwkY~FuYbIv#aIhC6M&kNMmEIgDxj(4a>-u*+vKD)TIZ=}s0CQH+c~L{hQQ+8t z&)%2en4~WI=h-Y#q*=1%V+7la0XdQ?%0c)RG}ul^P%bzSuB+`6#ytw+bxGBN zu+r6akNF3G6B|s?L3|4q?EYSVkD3q#qpVOd5X6e?8o5p3%zrZ*46tK#=a7py@=hB`DW;uDs{^q!=CGt8(`0h z`ij&Y;rFs^mVZpRpKs2oH^s6XK?MSX-d$c10cc8F?=CL)`yVtk-Dd=FQ^ghx2dVp8 zorAa!k6ashz$4{-29b@F_jd591E&r1(sRgZPMdJ&dudv>uf8~HEj%_e*tFRdj#aq2 z_~>qRcW~7cT5!g(4k+}Y$D8`pHsPcRj*Xe8@}v3?=QLo(1u;AR!?AG`2yF%N%`7ip zaG!%L7H6-71-ElDp+o2pv64t-NBpXYt=U)rh|L0!_;eZ?;NPqJ1A75?n2qDwuUl@uh5PtwX!f+U-z3htQ_&&NAZ`L69L!_KW3y4wE=X z5y&~&LJHmiTp27DTG=4Q=?oU~W58Y&*yZ!r7GuVu5A063vTaq;4M?A93H9k=-`Q2j zz;`2jjv;s5a$w7L+{@MHD&^>WAd6E&DqQ=0(pZ9~?doKJf));N*`$3xUXry+a`0H#@{Uf zT6B!ck(s|zya;3f0-ECCaq9;|Uk34M1%w5IA-YpJ86K8W_aM#4i-YTQ05{q# z;%4+=nj4yZ*``Fk5|`q|jxB2ODs3wC#;QHD32Hc1pNqLjwd+D8eZBbKNup1v+(^%M z1vaR=WHFt-8bM>2$~MhO^H7QMs|wF9gn?|0%$$<=`?4QBKQ!HLcxVZKrhB0sBL%TB zi~aJ?h)QmK2jWFzAZlGL-~Y*SFzn@R-_eHh06knrZff2@>g0IkQGKbxqxpJs*!8JBBrJdIACtl&7t`-x zpxyT`SJ3>MwXaaO2wg!keNC?BGl=3i;9wZI=Y!g=!c0I?rhe`fO(?@% zKAfpKeC|E*EX?-ox$2|Y$rBh6HB;zoYydoCdZ|jN_P*5%V-$+9)NE#7|FfF@f(3%k zK6fzZ&D)W0A1>m8)rpQA)69lyy1=(=!a18k1Nk=S-E=G=+~57kfN%QGWec?i;(7UceH3cdglVCXJ-TkiJrsbI$?kNIx_=5~cu>0AiupEf{ zfJP2_rJ}Kt9cs}I*3EH&37fhV&f#bLh1kAXe$ zpbHExPjp2-IaDvid3q@x-gb1FdEP-=UaE-3i9Z2F;w#7hxhfT3hI5{*V!w-?#xedV zLX)^@dcgN3kDvRvi}3f%SzN_Z7Vhnez?^K1#0&Mvu)=5g>(2s0IvratZ){Z zKY0H5pOB@$-N(XUIsCfo;^)?AOI?2gI`HahNwp*@^F036By>KaBaor@+`S_aIv7pK zx54y27x~nCdh`W%e7{%W!2SBaas60KUef-!0$tm_t4#l{PzHmZ&Pb% zoBa?|l}Tv1p8jA_oL|opYNHeF@G`{*>2Q0TUu=I$)?aMBbUUS0i}2zVJg6&`U>*Uca8#wenD+s$W{aenE1C z{{W_J6GAzv@QAVT@N$dua!IhV10=-7cz^!@`4b8?GI3Xux@e@6_ESme!s z7A}^g99&%geH>)~jVfaQ!U!%W(2eUw_F~B=&8OW${zIBWOP|0F4rc=k`Ll@hg$H#K zsv8_rN4Fu$_9$8Rm+1Ll6(KK#D7(ah%D~vx;1VPU!U|RIkTHMR z8h{;y2JEH3tMx}oJ1H_(iJ;_x2^!TI7&|@S*&9{lHRo> z_I8UD8MwTI>VZ7e!;=b;V2soOebozpjp+lG-HZDZIb?(0ePM_rHP>Jc)dU?7#~jGp zY%BWYdmwT*v&7WO`7z&HM{^*R&SHw<#4PBQXBoq86ZA=TIV;K1b><(62@^ q1O9e)aWea5_g`dhVvXeN^2^D^!^zAXiIts)n~e>Lib_%mfb>5@zwWdE delta 10855 zcmai)LvSUG6YXPrV%xTzn`B}e6Wi9ku`#i2>&CWiXTk|4$;6!Z{om^C-lnS;-K+l9 zsp?awbr7Mu7oo8L1Cl+Z5Q7gG?ePdd-RdfsBEO|LT+HQ)hs}hhfx>#g9r*qo(=^U? zs`QQ<+|7|Lj+I+;b0IfASi$5l8$)F=%WTo>T<;uOa>S*~%xpLir$1OX+A$qyhA3fJ zXbP)wIfh0|wt2WNEl4%=QzR|?Z8*T6H2p4&J+&r=ZLsqqMjyXh)VvVbExCr!fo!~r z>;(}0^;BjTJnfQSCE6&mdYv+k2HQdxRkWbC`urvfDEA_^>@117sK0>5_ZgzK62IMs zuAVoI)1y)}`tHk9U9)8x)@U?xFGJa&%w||6sJZ{k+@X6eilX%_W6hdzHT&Fv?>hq| zU|Ngi0tq1vgiO=dXqg2ZC$rFttt@UT(fQP2%}Gv9C^cdSJW6Z%m|hU&4Ia4G-DO5r z!4<~!vz7fQq#xFVG=x-MIc!S!pgll7OQP(1O z?x%m5e!!5L=l}joMorC4kA;IXdO52~&^^HJ?9lLQ;lbjy9Y+OtG~E(I3X_Uf7^y|Y z_rRQd!mO;7IG{uQn`T)k*F_Xl>y4VzB3w~nj3)q_N0B%;6_nc)$$Mg1!1P5V5Udm#wyOOfSGWIhT&_|rHvD<{ZSr{ zHTB+t?JhXGQF&$y^2r|w5&<|uk7HPy=2D%x#jiDKL{(1gmx=Q^sG?JLYJd_u* zOTqXd%w&N__KX-hK&0qi|F~OYU~=SVOoY?T{t(Mu26j2%W&ueYM-HUn_pCHBI0XGU z1lj)jtdoU93Gq?&;#L$vFHi3W+o@bwG`SB#l`zzl0bREp#xHw}Nlw_p zozoA#OFY>?)dR4{LM6R$I3@X{$2E#zY1OkgUwnXVSg?zV2*O$;M%{U)L762@qh(Ka zAA8J7xEMW~9`{R}f0>IcaS_igYZphC^+9FMz00h*#&$_3-naMn$_v79EX%pYXk>A_ z(S7h|;je*+14ZsDQ_xx%Oev49OSWR!R&s@@7Res4a8a1c(Na{!?3=jZofd>tHN*sa zFwu+04$Cl>!emJWl6aC+xMY@ccGaB*TTyCj=v=-Y)``%Aq!lR~dzMKYoq4_di z%;V!YKQ49!B+kn7*<_3G5I7SP;ZoD!Xcm9-n3LnPm*X0v0|)?GI;DCreai>n8R*Pa zuqgKcl^sl=WJD=A$STjxRGqvf=#tTa$Fu|pyh8$}XPoybFhMD>`d2mMs1@6urI*v_TJDka^FY6>=R|L}ft5 zD5p_-T{--yT6dskS=Fvw?1&u(UBZN%PgrERCN=3hg)$VW9#SJ1hiq!0alC|qM!hlN zP2yF!KM+eI>0d1eh^;DuAjF1Gu}%%JQ>N8IPC+Kc9lpwqXcSCdziyp;V=7W-%^5Q@ z2`IKM4WKzDK1*^RNs_wT1(1-x=K(_?T9!??Nh2_6;0Q&x$2`T4OI)kbxpl@RzJD^W zM}?oMB0o;WC6G94TDtzS{=KMe`BT%5zmZ33$uj~K^cG$ zs*W%~g0E__2n$(?f6ITj4mK`L37@Y=>DZL6_nni0PrzoJnDq65TI#e|VFp@F!@hhQ z!|VM{DF+otvnalSKR$Xv-_A7%(3WPmlqvmoUqT6o*~5ybQ)bq~Cwj#Hlj=#Ha(_cE z8B6@uOOE|!WErbwjAi%;&Q#3^Ksr*5U%T)U5)~GfbfO^>jteqTXDm3hX-X59*2XH{ zMP;8>wF97mPh9G?Y{z#kyn#3a8&U+)gUf$Dki)6*Rf$D7Z*uR)#&`@m#N=TnVvt_Bp)OLLKm8!oF>qBva`zX{ z|5T9Vs!%~I7!_-aL0}}B+#6_OIBg6)!U`3XhjP+K0K!_!)T=%dVgQ+?#8j}KU0()} zU)$Hd52$|T3ohqt@6c^}1j0M9i+$TO|K!+48J?(gX{l*Qc61rh^0vtrg>K3mHjeMq|2gsm7=bnW3--YE zgx}$1wE{!9zPlFC<^$cPvA0c*6Rr*P{l(jn1!8Sfdqm4t%4AJ?;Y@kyKPZz)MUpc> z&zd12#S~O=5hb4bKEst)DB1t6>4MwYoS**$;Wf*i%8pMkRR1aj=~9vMS-VS+&r1=* zDQATp=p$j^Z(Wq1G02BkYuVj{L7P9MT9uif9bjcEqdDfWP=Ib+!;tNQ1E8uXLiYGT z4gteC{GsnidpTWgb)+l0DH^P5W;e1PgL=_Ebj+)zMc}#;RqulHm@Y6ZBrK;qIWJco zZ)JU@6NkdK-L~o~`DUoVkM=AL6RwwiRWWIz2EmUY&9!}f(VgqFiJv&c^?%Q@#dC8m zenx1Bm~};Nk3;>rpH1`1R9?eXK+j+Zjj>RHel_!N^qgOH?rLv@#_4* z_HeFKk%QrAR%YYbh9#m|{BNzEPgaZ91L*fR;AA4?8 zl#T^Fg5@4-=b5*9m1X|X^B zNsN8M-)m|x_QA6@-OY)W6QiQVQ2O5`ZG-P=V$0$K6L*PUi6!B?jg2e*D!4(%2_8)o zKhtZLVz~Ue*>R@QS&#Ur8?PL-{uNcwZ`IHiE+6J8?GO5j$Zszm@bl*sXNTo)Pwr%r@#C$|}TGv=uoCPd6w+0MSNV#(R}N zj)i{`XDkenP|4Qo_7KC-eH>9GSU2+!F)f#66^|~B9CftCQFpc&@(7H6{F`NsNesdm zipNYDL62D=j8|}X|MyEwu4Dr_rJR%wMu3l#JY|uT0jRCuyv>i%ccx>bq5#R1g&y6U zu*u7y3KMI#9tq`%ZkXk&H<4N$`Sa^NkAgu~`Ir~BnJ#76*?3?0c=hxKoq6k7hkHww z+t2&$)7>51bz(W9tA8qx$os6us-YKCNiRLcm2_3CVo~8hMn`aF@!U-qsob4I?zlc8 zpZ~ML4~TFxwXydy?#w}Dp37bwT8)-jH?cW~;&(+`_Gh2}(0&O7w^833?<)~;Fv4p- z00uEe{Xz4?PaRh*|GXJIzZ)b=Ecc$%a!h`?KNTs>X=I+|{H<}}*`5vc`UQxaP8i$gFVYfoxj@OcgI4OU0yM9N>v}1FDN!lOBl6zi-0@ z=uwXO=EDeU^K$P(oOZBznwUbevx<@T@GWvOWO4jWn->V)9nMU(bMW> zQ-GRq&M4CnxCsCQB8a5(UMM8=#1RN~Z0x;2iA8m5xEWkI#opuiX`%&3kw5WNj0lAV z*|P3Ciz8cI5{ur7q&I{0WOTyu7|W7&d|HlM##G*^hV71yj6C>_=mZ(1-sNdbMgyif z2PuxG{A`uryrwi;EfNT>uUos&XzfSi1K^Y~lTFH8zu|eP??-2%2^FHDC`l=HQ;k8E zECgf{R=*m`Xs-NP~CpIo2ezEt*FGDNVjPlcLgIZwiQtUV=C@(@6a|!1n@}> zWIEUyH9%wS8&Up^_Euf|>OdNMPX_L%2K^*0E5q-?JQtpD{n(xddnt7th+9IWgZ*+q zg~bB86oeUw{f+`){Du!17@v$}^_{N;qd*(OjLCw)Oi1fC&G$3J0X1?9$9-(NwtTY+ z$9VI(o*?Ml%dTwgPUN!7x}HI45IDxxK^mtuod?+gCA!$hHFPl{W!*FSV-##R+Y05Q z`z_>QpC#Q>6}@9#70SMOC|nYr?a*Ss>M1t3ju7J>x4d2i<1z8~%tn7B*Ix~52Uuhi z4ly!1>mc?Z{y(o(V`5Fss3U#hNsL#^`> zmsCT>a``=S#RKa_zr1z#0o zMJ5`#D-L<;=_(2V_3ka5Z|J#CFJ&pgRI*UKeE)lWFn0BgoVTYi1J@fe+qdY&uT!9? zY0%H1SWI1|-T2*~W;W659a4Cyhaj6%Ua9S%7>`mcX*7V8)FGqPm_>D&)Wy)lgp|Qc zs{G+t`ntKP;n*<*;jQW@x|+*H&br(a z4RHR}v_1htS?U)h#B*`WX2=3@$G1jkTmpugXy32E#BKsRsTpZnOx;~ZqHnU-T*lA7 zIwlOmtad;);o4_D3by{W%JxIndlkFNd)h7)H~!S&2Dgdqq&0|E>eJbgdqHirNCwxB zI^QFCftoObC6b2qGk>MOt#cZuUm3*d_Nn#!{kFK^)qVvMV9M}z_SV{ktJrGJs(8J@ z(zSleIG2{~j8(FKu*v$}nWs6CFwo(tzUNg{ZyQ+S`LBfVG4PC;?9E$4zu%eZv|I2< zts*4L5w^Qwp&8(f-d5DkYUv0$Fb}&>w!qRkn_$;l(Jxe5@if@aO9Dt-0o!HlI;_fT zXfAh^Whkiy?sEps@MiXJVEA5QtG91(6EN8&ZlC_vp!YK}A>ixQH6FIRM)W!>x-7!) zTLq%N?TMytI)0i~Jm7h5$EMGmzJ{I;m&&x%Bm}Xlw`V=L1ip1U0J4RRQfU0evcH{I zYHytmS?!<**AoR*oSMD6>&*7?G}!k$J_Y_&zvxKtFbO-+FU8gCc5D_MHc+13EZuB9 z32Z4??hCSpZ?Dt&z*`V=x2sZp|3_r&Oa#o!n5FQFY!71-Q&_CF>+h}>;;u7cdEW(p zz|3?r@PDA!k#~u0c+$8oeTLIL^x64nA1bHN$Q0Q6a5K!o&JPZn`usJ|U%p*FXCy<} zpDULUWpSdHaV16(JL79PG0WYbU{&@#F%RM(=*`+)sw#G~rad}f(9aw75Eajbg#soy zXr=zS!D~6`*`Y~ZW<04Fy)qM+!)xUuRl?;O+76gt&btm|ig}%78~)+@YR8cc%!zYu z-u!jp03o~Zrv3s!(Thdy@$tL7Z`#sFs(_{ zA7!W7={5`uFbL>`?+1ZM@dSFS*@4B!ktLKBy~8HDO@Pb1m@)f%>rtS(orw>-q59pQ zHXop2R7-BWrtMxItq24n|Ijz!Fk64%Cta)NUT<0;f8WtJAaSn0WFugA`VB>znl5(n z!HV^S=pR0cm}--545iB%`#*EeIkA4A`}28ra^J@%*|FhiO3?(Z2J51SFEB9hi%Z9( zD`F(;L^*%VT7Eo&NupxCW%Mq9dv3Cp^p%@2CV+#+IB$Jl{X8&F5%}N9XK?Xei!CJc(Eo9Mum|{8Pk%c^d*o+X#iQ4qQ+F8w zSSou>QxuNe`Y9zk2R=bjX2y|d9HjoHe(&N)VfoYo6~o%Mmu&3JUg5;F$)S3}_jDGy z1xt-Fv`HO)6>65WQLCa!ZuQU)5$!V zeAq*fdbwVBC9jYtMhG%~Xs>4G^sb5HHk)n*_kiSdDOwcyc@@+^z(c>*Yt=WrXeGFB z^|UoOBNEEt%zpnW0fsjLx(^0=22G&95TO*XQh`Kde_*-IKJD~on&G0l!p7Q2{#X?e>20D?z1$rfFk3FlvcPmb+>}sdA6!4tSu7U3kO^P{HE64RgdTUTcVdWZj zkxM{Z6gY3i4hzE>VCqM80ekXC?LS^Gqc`din6yb?54-uVRoqJc`)bcR{A}@a-_jtQVB2PixN5U~sxOOvOkcf0r>|M8enJEvIsKH}R?8GE`I?@lqFbTru)BD{JbaMD>t5!=MvBj*r@@?LbymlUJ+(cy;U00u zBleQHD_U>(oeU}GK{V8ex!s5vvV0$!lY=V*4h4$*|27OLPz(QA>i={9Mh*1biTJRB z)*A-Qdl=l|_*756r#Z;X9WrS*d;R(gEtP2TXR0{8l-L^h`4pV>`w)eo>S{$hi$$?y z(Iy}e0)I)gN*}f)SA(K5RkJp&4IoqDfx<{@saTh+M$4ZT((I|(sl8@jCh{@+M~>;n z&N3C(}$h zSUW&;7%+@V03Tq+4)KP5r#vH7Q3`U2qMWohu9IfY(yFM!bTB;KJ`V?jYM#Y=Hu&l_8P$HDm(Ca*ElCs> z9{B>Q?w;`hJPOJ@g3!8{uZHnNSQzWnjXf8o9FUtwSHj4CINB+Py^#-*VC0pGH_H%}G#j2F| z0LnRR7DDKkWox%#WABJK0r8Dx=cbx8ZOJh+=VOQgG^olcVu8`Wbcv*uO?whgmA|8OW#?>ffmE#W z?mT5xdusTMD~t{Ro+b%C2O3Vi6%qQI*M6$1EMVJH@;MZ_P!19{1AxLWTudGtX8Nt1 zUIBX=+a5QP1H?ffO=`A~R(039v^mI4JpxoV8+1HXSP>3WX0A4x+vPSk$Q%=ll~5qe zG;#S6RKBp%+didBG0!=-d_e-91U6@=9eMqvQz$)=q1!~SKv6Vq+6#Hd4=j!nJ7Ttl z%&~0~GF6zMv3!A7#;7-ar=CUpmh-tssZf^hVm(!3Nm$f+5)xDd1)Jew4?5Zkvjj5h zB&GW(Fml?kYZtQGf>OeqxKhnX=Sa^vqCZKi?ehdH=c52hVdHKaOxj&r=yn3 z03P%c1DxD%&Q#Zi|Kn_B{qss*1IQAY4FgFQZH|FXZ>7s@M*TqbhB)BuLm-VT@($xA zg;!Nc@E0YT+DJniZp*kTkIPa-5B3rsQAtu|aY?9jtJ44qc=M@XwY^8oxY(po# zpKX*C!gDV*&ya7fg6x~_n(k%I&*t&s;Whfa2y;2vGLsTdf`Dd|JBlUOMe9i44K5?uv(7nLfqK&X`6m6DMw4 zwJ!ZMiXUpeZdu!WQEeo{fBYf0LUTmUjk*Z1%C;crK}R-1kWHW6N?Rh8)mFrypP4Sj zR9IIdH9fQdhz&f5y81EPN^{DhhU7QA(G>&7P*o)d{$sAOBLl}Ah;%NoeY_T4rx+YM zoiUbVjwVzUhx3u5TiZw@6J)7>7^$*Xw(idiQ)i;cxZOuyCA;2P*JBHy51>u1p9vpF}*YufV3SF(4Ko%OySn^XZG%A+81cw^( z1@_M13u_1Za_VgzBOa6`K#I%T}(8Dr$huef-?fs#B$NNztv z?u#}*xGG5tP$?3$O4PUK4>Awu9bAkKH9Y+-hc2^;L&z0@rvbknZ+P5EQuOsAAtbmX zrWf(Z#lqRFGw$T|=aX1pTjGE6=6$->R(XeYGBpa9JhK3#iJYg1Fhp~da!dE(-!pLG z{xhENr~SbS&|RD&i}%T6?1<63GY4|Jo#aS+y*v75>~-?iIU5j-{oD+&uC-}exA-@Z z!(&{EM0=dasXo!7c*(F2wq$Dv*;aJ@iiRR;iLYfA%f#HA9Q zUwv-w!Up*@h$HnWd*0eYH3bZ6B+y~6E6d~;l(B@cG3OS)M6XXjpGn zSw5F<0(=Wh&ARtQ%w8O@eS;!tGYsz2?~tWOrEp@&xf5 zETrF>`Vy^zc<8ts(Jj$039B3WwPG^JiGjhCRm{-RMY(!g(4pyksgLYR4}Zkf zKN7~;atZgNT5kq#MPkYpN|z+}8E7xh-IO7d=&xS$GRvGZ9jHNeSTq!IdX?rMq*>e1 ziL5L3=A9*a*@o*`PWuZZDuv`}{Qs$w!#xCz`b9CWnSz514`K0&;D06#dW;z<=(FbJGq@e!k}kqWRR~F=@~N z);67y8n||aH3=?wZ(ieF0m0QNCjI_jNAo5Hd7=SzO1;iTjWYY~jkF}3xpwiox)a0U zheu!GtJlpvhUxBZdgH4l7o~4)f_3?tDm7=TdXMgpUD-PKv5z0-8Z6b`KrIcP`_Wn4 zFZP=rL6addhdQUVRhh>=eeHkstTpJXTHtDJ9VJgAqxtpORZI826I@80&kB8=9J}QJ zhx+Q-zZ&4WwwrY&4aa}FT70YH7l{`dk7pQrE_gl#9}m0E75(fzbJw9d6}ZOEnrlF& z9talmXXu0XT0h7M&eHA|;4W0}rB$zC@4Etq7%HTqH{@;m(Q<+D#{dK%Z6m-ceS(GFRxd5aaP@$kVfhvsp^)A-1KRlGN z+K*6S4`Hr*UEDcsMn)zU_DQ$EARtU^r-M?hi@3WdUAnu9*KT0QOJ^hIXWA8KYf~l&=uWrNp93lHyh`PejLIIxjHMY{-neOa^o*X|GDw_ zg@_$Gu8Ec(Jb#)3#3_8eMGOADKvphl{n~c$SoP-IVvI`BwcK`pU9*l}@F|UPtzyTF z{rsD*bZwyR=-(PYP#WSI8a^ad;g`Df_t*u`LAaV-f28h4}*9Xi_^t`b{pt3yRH=qh64=Jmntk?0T zGtM~T^zMTKZ>{LVU!JiMTpM}slJmkSGx533C@WsKt38LT%4zw2`;!)z^cTOwVx!CN_uGa#=uXSHdlvijt}({#oYr$D$Vxk zMwq9U$GV;aWPwB5flREXbHBT_dv$sblImZ~SB#KqNks4Jz8~Lxz3W(R`iRfE|X0uWQi#_LE@iu<6yzs44F3l?5wTgcM;{=nK9^-Br) z#G;K)#O$VxH`|nsPR2_>e#~IE?P2(n&5h>VGVdw@1pc?5vrsSp%4WuZm@?z2=*Q7- z!`paW>ofq7c{hF{RQZ_&+^uu`)t>-_HxBaY(-_U)cVNrVsSKY{hvjWW`sWTK()hK3 zYUuQXZ)$YNJZ-AW_yDjJPl!;lg7_ZH{*{3eWXwmlN}h0FM&)2jwvqnsC);~%Qp1t2MVSvSuyIGv|zi_G&hiLX;Q z90mX6yxNuC*hX`*r(0c^V1RarY@CF5S<=&Im&;t^ADY~h;?J66uo`F3o3W(DwGj-9 z&nK3T$conFA{i1St#-qr^X;>lJ$%gap*Qh3gA?%xMe!5)x!QFvnNKLI{X3feCNu!( zXDh7g5={RYoitPmqY1RLNq=Dp8@d#n)cl&#Z}IllZ=3eEazNIDfzF7 z!B=_2s{~)Qu$J_++HGIrzDF*!lSQq@-oI`2YY( zE&vBN2Okf+D7o>&e?Bw1b^_Xmb_jlMo?sswP%L|R%# z0syb7>H-0;3Ba+?od0pK6mJkUk%xDSvTy4QQHuCQ5zGLS3)W2SxA~I z03aX`L0Vx1!&kz<`Y1Rec|xs#yjN(|X!sHLG`bT7VUH*MB&tRv1rGMQ&Dx@`hW0Q+ zl%(2V>;TcAqMCOP$S@z;AZ(+u{*ado-5_-#P%!O^zJ}FlEG>t;(sDsnh`Jbm3cl1$ zUO}xLtU}PvO%Dp*7sel7R|B}7b0kUWThqS2;`;<81=PEANA z>Bk-Nl1lEGMJ!bI?GFQe5y}Tqd|*gJ=?)k&Vcic1e9(+R8K$H?Pz{4bjWD#F*?pby zu#IxvrA%gcCG>m)ZUD=H=Q@`IU!O}}uCBfpQ>NIi{d_ia>~2~wC5Oxn_9h*(289vc zs^rCgt17J)Gphz*D`IY4uqE+Vi{1RyZu`ZA;fLjF*6Z-SD$o7A3X}7