From 726bf053fd25cb2603b451ff4abfeeca7eb10dc5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Strebelle?= Date: Mon, 27 May 2019 00:33:16 +0200 Subject: [PATCH] Thesis Validation - coverage --- thesis/thesis.pdf | Bin 3232497 -> 3233164 bytes thesis/thesis.tex | 7 ++----- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/thesis/thesis.pdf b/thesis/thesis.pdf index 5542b731485ce4d3411e02f3155ffa072635a88e..c0d6c400341b4edd9140925a838f540ce5bb8ca8 100644 GIT binary patch delta 30870 zcmXV%b8u$Q)3=j5ww-Lujcq3z+sQ^7+fMG-wry{0+cr10tvA2t`~GoNovN;ybEaqd zb9%aKZi)s$BP#|$Yju7Bn7LAR4*^ub15H`Sb#~;=H}z}GYr)`Wis+{G;tSS<$bwPw zOVDI}9D;BaqPm3lH+tyUWb_#R_#b2kB%#RA_Jl6mUBCYsW$)}ys)GIjCEaT4O4I55 zj7kWs)k#LBOc*Ytbqp6HNgb0Ujvu9c38W}9ln_v%m@M5lGf~?e7jAyczU}J;4s0g~ zyj3wyVT7PG(KwKc#lys5K_KvK_BwQ&V*2>y{%Q$J8#d)v}4#+pMh>KXSnOp#V?BQEfV``?3zD;n-0%QKRip ztokfADQF$1RO1bjSul5rx!whU^stfqD^2se^3*6GD%ch3;;x?+q7>V&%ah90qO{E+p-)~oUGP(|*jIi4^g~Mt$ z#KW=N`1{1~53CN6Fya9`x5Lnb!wC$WV7do(&IE;P1HCZ3d_|S3o3LCuLo^>~-TcGx z2)V8IlvxfyrM}qW5R(WPFO@}y3nfD4a*IarQZ`+UoKy9CT8IgM-E&OBi7A!FVDC=6 zh?n0<6MFMZOI=TW-Quu!FL0v#Z=*V1;GgK@UeL)Q-!7b{>rw%B=Ne&)y|UQr2cyBM zF;_iKfRyVHJ>DNzu=uvJdRdJ?s%aF^Sj5B&A^k+e*HPSNjCf)oZezw9jOvaw2_4NN z5sO4PQWaR<7FRvQ6nsbjU0Qc=P)WbqTmK^-r>{h`L4^j`jm9EvauSpwRS@K0FR#$w zfC_Ye)P)P>Kiva``u<2u-uxdM?zOFL@JL4O-=?~Gy}#h@w}Z4UYY;N$J8^B%G)*2w zDdS^u&KZUagu+10%*x6Xazh6s02q(ZF8pER5Z|eJ!&-!Ejg9P)SDdrr#=w*NkjAB8 zD^9Lof!e)N;-M=Ob_tIv)%1(t@lcTej3*+>ZQcFL-|8U_Q@?EtgY{3$7Muh?XAnxb zMP#zH_B7ZO z>85id^-J2>1v-UiQ!cX12Mg8`he1kV`Al9fFR`2#41M7SS9vJBe*G!H z=slzmMiwJKyj3)p*X?R-Z(B{uc$GFkqlUzBe9+}}MDNBs2lIFfyg=SBq*FiVU#SNQ z*0udiDcfu|k3(?)Jkv^mw_!4=avKp*5&$g@ZatN4F$4;gRlFBEZ`G2|nrM{Qt&@f% zu(?Ko{9V7`I<2JRd9ZxFsg{08Y8ELH!1;`BE0WuPr6^7M2zmg)LiOz<$f$?LVGu zpCpSc4E>mVZl#p5CW6S|xjHHo!1kkv(G9sHJtxP;84m2Kl?IEnQLF0n(=J;lf%oM= zWNJG{m;e2`-VBwvPP~l7{Uv^1QyGqP0xd4IW6Xja_4k5i!rA^o^1Hx?8)Ht)QNCQr zjRUVV^*oQ2Gxr3L)SBnaoN3MWjsS_2(2Zs?Tb zpoz%W-#sZ)(0KRccxJW-mEZrXpL6Ze>wWKFnJiq1Lvt2A4AWRm&7UmI%1tlCGe}BX z2gtUEvHbwvo_g(|SoCD`I5kB|*g(OE0Ci#4t_g7IKMn(mY~UY`I!|ScLN0<>0Bf@e z+wll%o;s~5z3$L8rV>~jG}T7OAzJWF`dCIbe}1kc6Q$&;gH&#XO~gxf{Hi1BCn4Vu z4jRkVO3uEzk1ox4;ra7pf){~Q$wedw#c}5c&sAwT_qb+JcOK3NTA-mk^5Pg;G>Nf> z9i(8J@B0Wa3gHzTga@>8%NfvengRvyEr3T@)|n^eSqHlXp$>!0n>8V-8-Fmkq)0=~ zqDmbf9$DOT+`lYluR12^NC=whxi%|OPO=438_##{{f=luA`<}#ij@l1PsxpFvOQD( z-Y4F`Ca$nCC83DFY6JlAh5k{f5^AoT}KuxnkV6`HhQ?(Ekvb4SA zAP3Yk)<0c}O3Vg6prI{gnE6}7`3Qjq;UQ9K4EcJHs4AKyC6g^?*i{g3z|(QASg4WE z(vy}7RHtOnbN;e37y^RdJG4sv+Hpx(-?1wqU)hxT6~WN&M*7FtQ$FIRAe|%tTMIx{ zJf{RyY!PTM1#6KhF~~MsT${>-PH{%;Nu@4#0uc`w+U-D~Fs=tIZTvD+)^FP10gWwX z%kevU3%#V+6R+dh>B6^+6A$sk6OdZgR7A%Y=xpXNI=##9TZ(1^{vpRcTvk;8EmZp= z8j$YrgUyA%I3Hoe`}^>t-EsLx)jnxv&fpkOnQs00BE-C5nyk#Im<>z7vD>v8A==-f zW_$sU9uMvbge=7mViYcdV*?C6k?V#nSdb26@IIy-y!P$*b!k(!xmwMS)w{bV>yBk> zoFaianI|O4L`?K_VfOBs0+fH0xnyxzKo&?~MsQDS8GE+F4H#4kmd3iGxjCgr;;9Bs zl@hJmJA4F#TEG}uNq#IH)Km7>7^N+;nI7x)w2tQ=2pSV#W5B{X{lzX-2`D}2!T+nT za0@2yWi%vQGZhum_J^y{PHEZiC=L2~Mn46T1N{tr$IiFDUvW)Bi5ltWaS}cX=C{aN~Us5vD^ngVrb!f4ig|3c404MUm*mAPb;1s8@+sy;(oFxa;f$@39 zd9}`~7cOPK-yGFEsRWl3URF0AyrBhW4gca%8frtg3DWbvyIjH;8GYBYD+q`rh% zd~r*`;+Z9pCM6@6$vqEqZ)^mTloHMVwT>_caX0{F0Q;gvetJxn3xHpEbLr1gTq*!1 z)0}5^AS?f21N{<+yASed_Nx}1HIQ`MOtYePqjkR^mI#Y+hF8+L4mE9GYfN+OW(T}I zn5_4To*7v**eQY)8g8vv1U=Y>_;s(KJ9x9rJ`uK_gfMoQuTqm?sd6=) z?Leih)P>}46mzqauKAqG&+J-<38W)52g)$oy1E_lDIX+NHZqVG6Stp#N=W+OO*5a0 zZAnKS@16OYVshcC+2iqm*$%xe!bA?OyEnL9o4vvLpwcbf=?)y`NaC+;a=F?e3~x(k zib7AE++g0gNEYWcJ3^WFeaE1g9#)V!j}2l7nnar3}Km{K&cu-0 z2gu-13^cva#LHU<_pI3c-a!o715A>B_-;D22l^Qf$ENMN|lj_W6b zp_u|h2s~!Y?ni$+VJN8FwuO_7~|K55VpK#N_sR?Pez2J?7GoTmwvZ~u=Kaa{ul+2d755OR^#CqQwAf31nw>a~P%Qdr{WyG&ZO_^$u5nkDXOgVv45u1}4H^5KIKT zTH*1`NeYZtZtqAiE8Mewe(X!upNXp!&M2Ru754dU^zIo*?_QnsUvh3;mQ7#m7ybuX zYBk7=vq=vWg)f9PX-ZqD8PFSC_|vp@ATLsUx2hvS;{p|uaUx8<#n15b-qBip)pBfj zg}`pFXEuM@^zIfwRx@vw0&&?!hF8oeC7xM zl@5S%Wra@BkHwOjAlptQE;N(zePzEP-&OKlo}hN_c8S@V+PfCTnry3uU8^EKSnnlP zI2^HgK0>I>K)&PY>&h@9&{F! zk9j&E!UztM&rDlo9riTNhx+}73g6set$l$Pv;ZaFqS*tV%>HH~OYR>rA_BXUx89r0 z+2%-P(xjcCPAj@kA%D&&b{qO?AP^TceNV(A&F&(8@X~-V&5o z-`SRi@@@mcxzM}g4Ju05uT6v2K7*0;Sc*DtZM~@I3H+}tcIQS`^4y*Q96a~=c<(?+ zxa)Ccwjn-sBW>QYir$cgZ2n%j9cSNpN6t;-H=2fVVu#i`-u5hKNdvlVx%V-%dz7~M z330Gsy@$Oh8TTJ&*%!YOa49f4%XUOfJe|5@gBuyMfbi8$uwWqP!d4 ztkQ#AZA%|T(WItTn~#`7f~<4(;O2vP=ktfY70pks% zgQM~Hz!tWnIC-8MOH4^D-1dM6ObXE$E7ya=rMb@)euLb{w^cvMA~444iR_9ctf*a{ z1*22N?=PUm7eB*F?I7ZR)vDr~=ucQ5Vn;*Iv0Q;&mERl=hjrtvuIZ`{|G_&wZ6Noz zW9zz6xVLawm69RqPjnBy71-^$K#_ zt7GGaVEpi5`@uUHa5MsR0MD)2`}~RIW5@MueS&%b?k*NbhNubKnRl3Iu0jnOvkyVB z@}vxMT+!o~JS3RGm5~h(bBW1WJ%>@DrUc=JUn~9mAU(Xtp5+TY&#v0kXLIj}2N8Yj z1&Pokk)Q*^{T4@7=h^f+`_vZJD@sSo*7(d@Q5?=VH`Ih`hG|ggjmF2k6yB zBzeYCU~na@T|(E{zfmbeaIc0OIZ^RPw&h^sYEy@6D~9#~iBQExeCl8FpLX~!g8T?Q zFmr}G%JhP5&NS4(27Y&{9Y#xXEahJN2+BhTg(k=d*E7V5u|fp_!Rnwn_dd7&sGrEYLh$#hR4zM@Zt_xZI&FW}jzdmCH~LX|84Ct?EhxkqQ>u!dltv1iRX0(Gu+6 z?qX?N%QiJ5N{Eh<#lMJhTI?3>&2I@39rQm$Lzq=QZD}yVxx)yoUwDRQM)pkw@C{GI zi315!!vaz;x+3r@s81cwREojV8gpNc&w{)m%@EI0*yB7076|&)UL+?r?`D#{L^k~a3xD<>`hGJ(I4f8 zXEdFnNsEhki&?1ZHP;8F*2N`p%9xiZ!>>=<|6d*u&-qeXYxuk_Si`l^o zG0Pr>V#BDS%steHPMUiL3#E?taSgtp$H4ikQ`@L|90`cjKOnYIoBO&IWRh$5`|}b- z64ggQwGMuRQwDhSG>{-u3$$M}6T8L;7(Fc(dCaGVl!4-lo zM-e-9(khE0hMs$;r-SIa9>OoWdhP(^@um=Owip;VPfB5F1o%_uSRaVvEhaM)A|99~ zksg9rh;u_%$8o|sI4KRL`L@6q7MuP?x~D~^SQ^K_K9_=6RX|Ev`gf_FlJn$k1Zi>L zF^Iq4P-^Xa(9TehDe-&JJ)38lRNm7*LR4iOcG@VMr|+Vx*9a#1PG&jiTFZ8kILb~c z%`Uddj3B(1@yIsiGds;AP54)U;+y?rib7U6p@nEmCOt{O+IUw{c31I$sO1NF>iiG| z4dzYADV^P>Qz*g{EyC+hhxCwVQg|s~thN$0Lrl<7kMY14NHF2>Nm7GochDy|f^xlz zlmc;UmKq{wHXF$tQ!aIg&FJ$27^C3E^*t3iXCU~a_gNSCdvVtA3Ma37X1q6P8d9 z+{C2J#db+aUhLy4OvH|#Qn6W%(q$jWl3u=0Di^klOi-WpE=&>tFg{s6XQ8vpynm>+ z54S`x^L23jAo@WEAZ+t`$8uOQs;HEhQ@T`cv~HyKf9J9Dg4If(Omo&||Ed<}?@n{i z>>&sQ7%#F#-XBAGv0vq0!`uPs^nDDPOlN+7iE>^rQ-MWX482)`42oqZjAd6`14lwJ zO6aGer8FX3cZHMsl{as%@GKa%*-~CX58z8VKOxJ8E^IHI(Q+iwki2S)JT$kVg_ZR} z12vvLcWOu8^EVs8tf*=mNit8~dE*@Di?P6xA{6Z}Fo#^4pS7`GO{h=_ghHa1jZREv zhu?BO;hLjwJpW4+*-~Z;$kD)=m|2@XR-Q58C7nD8LfRRi!KLYW!m26qnmxBSt~d^#(mOVnODy@1)lb1@&; z*=$i~q=lA?6Ek>{Ju9p`L?pS0EN;)a02~C|KF8ogjWFP<};%I?~n zJ`nxkTX}fVfzVFk(1kio?I!x@T(49eTq_sq21Vg^ge6c*f*7eZP(GZt!=I3yp`;fN zgr8{|fo`=&Va^P)Qz+#KE0r(V_4?X1%R*7Twq#lX{B*up6~xK?cM6mnJqWH(M@#3s zspEbPqETl?u|0;b6Ck{_DIAYyNpjxX94D}JTNOVw#)5H<(4>Kh-nrgwM&b8Kzxwpm zo6A<&PPlxlzlFZ^Ptn$gq$rKAG}|qW552s)h*Q|Z9I6PXrqYS_LdF(<9*Dq=U_%T} z(9M+fC1QYhck#CT3J306&q6T8+#k8)^bvtCaRGDgyf{cPsqunI3RK{Rf21f>sJR3BaJraNw=C#sa0% z6f$HAVHR|kr4@U$6#jq}SFs}m61)uc9!>U~A2Yu6B{1*`&;#p#sRK;$BW55)-$5~F zbyM{^T*lpBtuEnq7y{qrpXbXG{ErQ@$I5R;kF`6Mdn^mgOE;HoM8*=5sM)DmB-IO}K68>LI!n4kvMxbq?$VkjDE>*bo8jz*760zgc=A{vD; zkVXIYu1Tr5+XD6ai#I5KX5;CA`367i=@G`+Zd&&~zMBaC_Wen|b&{IR0B=s1kIly# z?AKs9Cn+vB?xocg(ke^?nOE?Yk_{IY%Q~xnaX<3{`jj&^-O_6sIk~NJ3==1 z>ODKI>{;KDC&I0*x~=HUpL7gzYBNf$EACmZfXa880!`m}RK>#xb_%B};)ki}=OEn# zChh0UXa*K;Lp*{XrdYPF@|heVU7Wl|*e=QrrBVN}X}8mY$Sd|3WLT%9#e7FTR(cbj z*dc7+lsD>3tD-XnY_E}Q4L-F^$QV$f6Vc*7*<($)_CsW9{!N6TN({!r#GFDrh(-;p z%9KplYr^ooy8Ef(nAc{3+uNm+Af;nZUMAJ*efylNI8RX2aBr5j^2LudFz1^Npu796 zWf9jGa^dX-PCYj`?oZ$KCRn4}?W2D!g=N)SO0G2)6qjg5hk3RclH*exVY>4C;g7m| z{twt+-5$gkuTZi3;d0X-0*t}vW6J|hG{O39lE*0xGk?C{@5%#}y?U|jVRdtS{F>v< zrg9mDuw5fcjt1q&ucAZ7&-x4W$3J(EO0ERnAIb(SB`eV-+(g1UhrZmltT;**Tf6bM z_gd`+B;KH|v5g~H{Vacx1yDdg7aQim$Ro+ozipnuc+8d-UCDIu3VH?uV{(87!x#;J zV+gI@u06Eg=-w9X9o@Da%(<8VWxL@kE;u?4|7a~I1&+aup9#w)vPD_OMxt8VBmXL@ zgqxM*F^b_Y8lbO^+_NM@M?pBJOB7j90g*5=QK}ITRiH&U6WCND1(QgZEXYck23|(B zg%3vXOBjc%`uwC29sGo8N^yaHQrMn9<8pCxZ!KgVF3hsgM8$|;S?yzmYJV`ofcelcx-5k_Cw(Q3+xlRTtZ& zNVFIM39uwbu`4WVfhQZ#ViyFV#8J`Tq~5FpgHLF~~N zhmc_|0J9U87p@bK2VDcA((iYKZ~PXQ1_Yx)@HzhMpG58Pb%3BKE)M2rhxY|Uod`lC z5jfI;>H9)to^u;l_cj=Vpwpup>O>j4Bxcb0_Dk zLr0>Pt^A*d$DwNrau9YoHyHttiPFCc?bw{Wnt(>c-*ZH^ptsZ&=>dU5+%Z^zV^k(c zKp_2gh`)lrHVgogwFX;8C;>(xcNAQC#tcvhvL8Op;^&aAP;R2S|H-UHk$WwRa`o$P zv#c**vQ-EMBg+s0W5+iER*DgC+8_Z|p@)lus<-aXV-t*Bi~UQjMU4eLVZI%C$MPdA zaDrz`3c;>N5}N$E3EA!+@-0KTDQquu{^9SXj`q-C#Ka(WE|lqlZ{O-u;Hk(ghAriT z!g7r5gjZNeLqcyfm?+reSwd1xq@u_$)q^9aj)Gz+%X5MR;9)SXE|vP?#HoYV%-q@h zQd&bEBAdF9nClHgspq(Y92pbzqcFt=Lh>9Yoy=+MEs3IAOcBypcp890Wuk_{Zgidc0;X_8VQh?%sb=hG6qzQ0Q3qdz z0C*d_=T1QjNJ+TmhX}rh;fygjYXj*Ji{{Ao* zpu39dXr1_Eyq z{zYwq4kEX~#B_%RJ11n|vUL#kHg1NUtCeaLwT_}#dg7Fu&n^dLm#YZktjx283sEtnEqdg zQPiS3kj1H;;ZpPfbBo#f!pnz%zcQ_T0WOTpTFX1b!LW?ECk{do&U*%F&c1-?lO7ez zdN{^hYQoe&3Zz`Yy*@#R#VosKEXZ2n*y#=(qDGRb$#J<$hJqr18wT(1MT?E#P~k}$ zsxp&z%0NvBs+~fA)D0z2NY;wn(?3hC$=@Nt#8T>+Hm(LV`4%wt)Z+syFm$sq*y7w- za0wK%4IK>M!Ng2g)B6wO29;cN6|S0$Z>QLR7u^32n~)z5qFz@1YC7_Y=Cqp)FeB_0ia!O;p$a?WX`I>P@z7 zU<(vVP`Vo2PYcgR3Vg>OX(CX8V{LpD8hgVlopE;M|D1sEKPNZ>YM~9wF55V` z_y##xeZy(c^A6Q|0t@^lvT{BwE*u_=d3brAHbHneNtG1zC8}ZWok3`onOCRLj(KkjSNB_44zJ#=N!Awo{(x!@YxrT(t?0U^lu714b*r1aOZ{}R=`*fTW~_6ieP4d9IsEn7%A6XW zOc{4~TnUlaRZE#SpTD~M5z=fCao~cX>k9R?Yuh!_{5wyNeRy(N`u%BP7}sj*q+nWj z?i!KVdb1?n#g>mkRA zW=l~HZoIJPQpg`devjyy^%jI+eFA}7f|5VOy~)bWYwn*eV0!#Muy5xfM5|Yb8F_hK zxi-%3I3$t`)8>glD20tYE75YEdUaAz6owDx(i*SGvAm(o-X5e*p}c_^$A(NBd%Sy> z6`pARiR(#5BJYhK99M|OyG}SF{mMU9Zqc`DKIp$RFZAk&{{@?FCw>+C<&Q5~4iHR> zkZvQ$nq|q)mFX?rRC#99&p6i9tWUNUV%uOxLDewd&8?igF%D#9XC!s-%`uayjU zNeRFs_~&;4DySf3DsRT5jKE?Dp5Jn&ViQg;IkvWrpzs7>ZhlvnO>799AC3G``>aN|z}J9c8%Bq=dth@8?=`ehGmQCDHhOjX@d% z;LA;=HT8qgr|oj#wPxzkwNAobw6JgzZrtgIc>+6)?fEUz6lZk5gMU>x`mhwYWL($A z0XJKf<-~dL=jY{gh+Z#ALq%n3rIAu-q_I}6=A|;Wc7GB}&s!o3wOL@4!F@6%=q5#<{N`49ci-Hj33zx2+4)J}oYLxb)XjRW zmiR4fWPiW;vbm6j;aT&oW6PlPmq)&Fgysm1nm1$x1o39#g7^Ca(F7G^zyd)}6kQtZ zyNgPe^+DI&zK%jN?q;P&8z#`Q?A1z{%i1$+IVwl`?YtoK{`v2g%vJcg=5Q;L5e8=n z>|izi$Y1N1VmL%nwBG$6Izar0$uSCsoM%IK@O>*Bjcz*QBeRosg zhC_K!LL$&CLvT_6%ApxPD{4;R&C9nGb`lH?L5Urce4v=t$Bc*wBr` zBl+O+i9=IC!*_3mpxpGAuz4_^qOiUKaQlSfJ{`N0j-9md3q6z5t6t$U&yB?-V%Y3- z$y-rnl5VTWz8pqqgZg-x4iJ)G>67~KN*n}?ZmUTK^a1&9ln*HBh*dC9L ze}GS?A^(5?#_s7K;!z<-f)U!#7#CwCNL5>OPLwWT{ap$uq{wb1t4bjWF(?b3PEK|e ziRF++$LI46E@&Rj>}s=x+aZE~7e^Cr(^9H8{DqD^p|(TT%HyS0m%rfleCaSCNUo%R zqo5=l57<5SFb7kW=fthYkUJ>qX+!%V6id#WWs&~~+={f(r+W9+kO*kq>7tx9J30P9 zpC%?2!#{X_wzBYKHyzeW8%xc9{d1&%sPejR6{FQ-O=WTNVzr^{g|rB3AEe#dgm4e{ zhfh<4@~)C=zAho{8p3S09eQYJ)8?Tn%Ow526c*zN?8u!b_fvgw3QG{I`9+jcLjTH-+oO`5CQq5noD>zg7?t(48=qZ<-YDK?Qf$msN0hFh-S!{*Klq zG9iPYsWc_wZFd%+5fOy0IX8<$H9DoKV~82@r)S+tP1}wC2`nmO2e2y)6h7W|mSqkp zp|~Dy>T24v(vipV^El3T?rKU{2xuTQar_~2gI)((4P6!X1cTqisi087OlO+Tzip)t zyshHO(o!Eb;ngwMXL~K{T7r~}A^2VZPwJ5r-EFLXIt|_VRj!=sq2CfS@`$f?mdRW# zg2~1U;IkpW^O@w{SieHzN#H+71lj~t(rG!2K7mL?qc@cCs-o34BY>I zKjC|wdxq`DT262aLpfz7`l)tvrp*E%~2W{oG>Z(Ll`V6Z9N!l|JgYWF--LU zjGQSbBB<2BAT?>*z3)!I|86qigtn52o!Xz1w0q~K0JfCp!AO}9K|4tlg@8UG_)2jE zMsQ#he3>{tcas4o`@+~S4?Q+&h})5NeQ@GpaS8qyDvRXiul;9!$>a=1Gb`5piq-kX ztuWp1TX5n(hWhocTOWW@SeY&yUVMaIUPrW)ne#v`YN4s=+A1nj|57Oh-NpTl`0o0v z$GWM*=jj)unVP3lrMdFzo$y?!?3fZA^i@(c19g+`m8D#(rTM0uXi7!nJ?_2fDcTnE zpmNlP_LgWLFuZ#4{cC?d1YNX7B{34m(=#2!rFDtjdUSNs zP{e^EX2b%*N~2*)nPc$@j!2LKkU$;=WX!sP{p_sHfVx~``Wil70*q-VFkQ0gAC9AT z%^h#;CZ0#~`|&iy)gO%>8pui|ALVtDdL$!{a-<(b-oNQ!nUG8_qxusbZJe9xBhnNN z2=ZZuu#L8Gdr*A(Wp$M#ct~(AohIhiD#3sz!;c9z_~Fem&aNKm-0Nnh!=*<;Nmqjg z`7KytGv1bz9&;*B9na2=YDw&ohd!n>@!rA|avM@}3=^zNZ}$E_)!;zn zy;?qj{Xij(Blk+g`Z%^!px@=&NON|U_0p6-17w%UJYFH%w6|DlMgtumwk*S5tk(R% zKrpxcB~U5XC)xj%8&dPAp_C?acUnWu#;L6y5&13y2SqBc?FX^((i(a4BC3da=LPdr zXVZG>OJN9ys5>zg7?pbLhMNj49uLs8Zcw6WIWU)%nJ7{lxuu^S{ylEbWfpc+= zf9X^(%EHn!*nl8&B#>%sNW1H}Dz=9f9-!dZH6q^r>~V%LMt|3mZ;#%PiwC*xpU>& z6>HkXvc6Mz%0d^DtO6s;35t^jlOMtYlal$KSAXmGsCTzbWMPTa8%$71Q~M`p*;&=6 zyflcB3zijLW7q9IeH{r|+jxL@u-dLqZi(W9tT6^l99y4a>x|1nmq`Y>!y!a|F%<&v zgQjiv;UYEycpazfl~r%FFyieLnlX->NFs>E@nM2LDRbco7u%d=fV7$d=*HjR$ZHM~V zeq-t7KfCq!+TzMdnJU9|)nmN+>p8g&8pI*wElkvz@c>gZ02GiiaDWYJs;lRa%2;)+ z?WvG2kf)OLn*W5TE)$QbnS2<-ydA*F@n55HP-`;=uNeintk*l-goMt8?+_e>LS*j| z=7))3C{W0U4W*f^yr_Ocbb@-+ePye5E7rC+ETzSX)JC3CzdvEi&ncoCJqV#r!zCvt z?8GGQR8e5`u^$hvUa&V(Z8EHR!`^}qEpLxgfVx6~Em100#_3f#X~}w%B{Azu!nO^(=2B%9B!v;t zDncPqi^lGoP_?Gwfi2oW;37HnQ}B<46%QjYen$bwqG)$=GAmlSltYMw>4Y2IfuPc8 z@P$d^_sT1=rgNMtAsQ2LwW;_PF`5A*sdrD~*G{>(5JA4Hz`cSjV2dDui804pZqAzXNWa}7wq%%=dzJ)jwO{>BzTf#f~sl6;UNDe0EiH*IA&p(DR6&aRL!#UWwYJCZKg(2jDU|+B(NWEZ991HeN z_8Gw(SnVK*R4xiM)QCPJHbEeI5c;t`^iW}MS`r=u=|Z)>}o!0SO(#DgWLY9j*6#x23134e)j6U5rzSsN;_pAhrz=4^Cq zvuzh?d#hzPW3(j6GktH;76}bL(kB}}n1N~As7VV~=kZ1VdC!Oor~{0o93QI5Q2$Ep z$cgSs13EN60;Y~6iQs=8c>l$p z<&6*DoyM>wk2wi@b8-E)Td_N?oj}#WmOX?_QT_^ONQjrWvxi+3v8PvkEJtzDAyO(Jw$BzG!J7axdX21_1xqjq$7|DZWyj#g`VNsE81>#gSkhzRAu3>sB73`X>pQq zPKT(p7IhMI>Q+iwSJdg0NJX6Rl`~`bLh0|^cd^2f2ga!^49j?8ycoRR?HT?P+L|lK z%=@*vXWaX4mcZz990WVN<+R6h#O_eNBgD8 z;y}w8bRj*tav;Dj0z&-y=eQHAlEVX91?EfMeMV`U?S4m_ag^>n?zud@P;-|Uyc-`OzhYrX z!%qbI6P1@>1w|YQDPi^Pgz~G|`iLt9iM9D<B9d)SFE3%{_ zOizaY9i!WGf;s157)kM(iY5D52qoCNo>ZVa(j@is1L(#6+0ynl?Y2g$tq_BOB5!3J z7~}w|zIX7v{JA1*?|*#Hqb+fYmvb?&?668I7-@zQ&TH>~yP{pT9F{PAaJ+f%)Ao8{ zb31a5?uxY{Ht@k)Wq&Xs@`V%Jor5sQV@Ifr6l&br|Ci6js z%6-LxA3)Rn<&)u)0I{z2x0B&fL+57vm`lp(r@6%TU+)BKmSc=g3XmqFA3W4+qZvzVrF&X;#aBB%A*Ec0Eu2G=2lUN z`$i#=8?!=fKPYZSF3gE^hPqiw53ta*9@jVVtrn z_A0SA|9di#arANff736t>wpuFLWUdDFuH50&XF8f>0Y`g`i#ozM4t**p~$9sb|dp1 zp&Eb+#Bp^=bqq{&lC76K55y=&O*tV=D22pq@H)^zJV%g5m|IGk6CbmHO_tb z8X#GhAI9pPPUJekRZ5xqsUEmvFFLyzVF5AEOwZZ0$0VfnL%IA=#7-mfQwD8*E6^71 zQU1z&g)2qz{T2)mzXc00bUHGZdGOqSpFN)+AunD*2Ne8=Ke!AYT^fTz!x4&Ejor+u zufwN@k>+_D1Ky@K$6&O#9g#$KNV18d;yQ1_EXrMY@JWO;RyoII9W$sdYMDEFlfN&q zJqg0tN*?3t&Cc-aRd|HeSQR)7y=YZ=)~HJD2>kPs75V98mV35SThS+HcaCvmC}g3H z+)58=am*G}2tO_EBGn@-YZ%6#XIL0sG6REjWcs5z&vUX?`t8>SsQColgI5hBd-Ib}qs={@q=&57Za zUrNOb+);nWKXj8MHmC7i%sJFCuF2bpT0Ti)&b#qS30E2r)-_${+gj24XuhC+8_rOs z+-TvVhoppKeuMQ5c5_NNPQeU-gCpgy9Sn7fu{N$MkoQpIS%8&dkm7VfqXO^9>5t!F z(gtT1UIr0?)t-!Bhg(7i7`}dK$D?d*Sr`R7aoP|T*vZTQz&(!@^f|$W2x~oD zw&|~=7{_W61*KzxP({3;32W3W1=|n$$lwYEL6!nAR&AnPxP_-!Dk|vIDlo|{VUmEc zRRdREV55P~1jiI;3-PIn@#SkD;{fDFIin1Ang`*B1ibI(jRn903UNICfHh<~3Ly(t=pYBd zr$n2&Z!`rBTCSHm1hcZ5EMuRHCP+8+l!TUN zA>p+_gd~C-lyj3IV&G!2Kt_=NR$KR&#g0KR$tL=@5i5_0z#0?B#sVhco&%!V1iwYU zXx4WgJp$39s+Ag3ItvV8#k@BPt|cuBr6nQ&m)egGwng9>dPh(27u-K42>L3zqMr0M z1BThbMz8>k5bCR3LQX>`kZB=lP6Ea3VO*4J+Sn^6fA)y}-FOAC7-vWDKtOUbbkPr~ zD98b+>r@&ITw-JAwwLEUyodZ3ei2uo)17QV*W0*WuNGQFboMQopL)&X_yH0}_t%H} zR$qs%JTt2c0s|30wf=2|TSB%5FblD_NHREWk4E=`^0;*Q`W2r-fAP$XKp#p$Z_sj# z?DdS%k*oJ>+2GJWXT^)W1}@>}B1B9UnPV2UzL&gLmmGa$7EE+Ng&V>3=@}6)07w5{ zpK2xJi_BbE8^dzN@4K7fC=VF0#lAp^MqS)YKABEvPU~9U(xR@dO4IG8_QN-E?~i}R z1-gy4E|Wq#70vQ==rUL9cn>(xw(9M48$`@%-HO`{>kmFGmd#Gnxs^3*FNUutud;W1 z?1;^UVL?oYuBdi*gt?6;kfINA8U-GJIjJkpHdf)_y zZ<_7qK5wkuo{K(DJS?Eg%m<`qPV;iEmQ;S{mkxh*J5w*$4x1T15p4E>IN2jRpGZjf zuX_Klv9k)QBv`^U?(XjH?(Xh`9NgUwI@p1M!QGv~VQ}}s-F5K6-Q8L4-Q9?d*oWQd z__Fh%qaLa|sm$H_Wd$)zY<8Kd@oCeZN1MRfkcF!orL2Z#DB!xm-mw(l$FRHi@vA zPeC;M8{84{HfBm_nIX5CP@FSVxpo+59rhSN)g&q|d0eh*NaY)`q^pa}C%;+MF=%Db zTse(AD%WTZ&Ar~FoyB}5I{)zLJ)w-GGCRvQFR>8v%p4{af7Zah*z zbxRqBB#TJsD<2A&&z`2Rk45ewjRfyazzV-YgKaVk1@xNRhFF>Jhm@Ln4@h_v(xTX_ zcfm=v0Hv-3t7GWBaq@cX&5AHmrwu?-y;foFivz!CG^|w`4rq$yyKkXjKA;o91JP~h zH53m*9_*}q!7{f~$P|5SB$sgb6cGxYB%D`lL?q^3!)<4WBm2=DWnyNm45-iL!!wy? zwi(q^8~-L&vew~nWw>7vdSl9}cndXI`-l|bJ1xb!oK()dvlB>;@g$*uBKkm4R$lK> z0<|gI(Dq=<(3wBPRUqW>wqfy-uVP`-o~&X(y}h^YNywdiix{vXmv)(od6E@M1?!PT z;JIr`%Cz3-?5$;Dl=$yt{kvGY)e-oD@!Q~x+AKP?Lf)xZGny2D@{ka1>RblwlfPIi z#H3wHDaQI#cJ6bq*GiQ9tx%vJ^VzKAQE*h9zCZfYq#y^#z!C`VHi|I9QH^@Uo5RTA z6?_$0A~z&UuLpwKikA+!P_-kKy7utd}jOF(hj#q{jUC*1Of zlBHE88%Rd*7@5-=KaK`bNR()#ofLubGRJ(|j-k-R_?!{eFyC$>3dL)Tx6iz77~G~( z)GJe!DMCc?JGG4!ym6_@RP_d`Ou7G~BpIC++LUqUcbN?#TlvwKK{L%8N_o%mZ!Uer zJ&Gkcm{AIh0sQPJh)(KGb;likSexwW`XbPNEqw|;!IC6(0>ci(7!DxBM9KvvsiS#ClW@FCZfO>MTpu(pFmB$RRt ziK~vszU|V>g>?r))dqM5-|7`HS@v#16C@6Et@hk`GY}<{BE5hgZqZE`8um^LvDg>z zVY>iQ&BFKwlh;yxbRvqnBA{xIn8D{@vjZht@pa{WxsyZ#C(#stQ42Sc+ap#|Pr6J; zE|t(eX2v(9R$z^+n{Y4Z@6DC)$xXnBM6qwbuy`|ftBv*LJpotGGH z|6Y1rD)Z#db0P&}@$f3Wz&UY(kATKgbj&Mh&~9?J8b2<4vF+Y$x?L*&6))(4Y2AEu?bF5(U=n~PZ1efC0F&LAz-@ptXXrMNiF z`>TiJe8c?OL7(boMKy)@!i~yBpT*xB)Amii%Z*j-`j@=F4oWoyw+`~=Q)v&{$5(I1~m+t zH7`#*#MyOcLNYYmmsskSZE9`&&d6juifh+Fwafpg4$xA(FVnWG%3V;kD{QtaeK=`) z(dz=KJ1>fs{cLV--)5X$b*js5X>HL(<}v>4)Ud!A@PRMU@lyLK@PWhDp7aY z^@{v5pugmbcsBlE;%0Xj&>c9i>*Li*QT>6Mm3Z}@6KjEX$35E&gdB189V{PfHwzW}PDA*0b8DZW z2q0O_1ai*3wuCI|IxJsh(6dim1=hg$S_oY@uO2qsWx}U$e{u6%@&8>TYj5yG0Vokx z1p6%4T$E=45z1S#NUBm58fbhnEStyK=zyK4$;jI;`J1~Zjg6ls~3JQHcrM4 z8575|b%^vI9o<~Gw=rCanK?2hR@ASXZ^-^i6uHf_1RQ`QWIsh54iFGmD`a0pV-&)W ziYT7+9W7M{Mm&k1D0n*?rM1Jv7WN07Gr$VrZA$}}A3!ssjqjK(60Dse)rKt}OyBxG z&L11hX~S6Q9r;)Qdg8TrxkVxyNdQ7RO4_f=#o)ok7nU%auUGJ{dNH*osxTM}V` zU=nxrl?iMBdj;b=rM89tFwv2jA$n_Ys?sFQ*a^*|PCiz>Ta%SVw}9@FInuCX`;DP5 zKRCj-fcd0A&_(VWdNL@lA4$b;<`BLiU5>qmap-Z_F{{HHixA`$Ug9k(Am-z!H8iu zYg5!u-u2rizL&hkMjwmA`sn3%Cg{*Pd@J_^Gg7(a#>$ zpmWzR8AexaS*~P^L&VD?h%OnSBA9;rCjHL$V=sP!Zml?g+@}fpfYOc&&ZVoeY#tuz zs|(@r(&|kvEfJJy6@QA;YbDjJh&82dS>@U>A)IbEG7ZMMMAA14xWg{3nAD~nkq5be z5V#>z?^jqEqzvbzAQ-n(?q(t@nbA_Y=5-(zJ7KYWRra4zOOd@=6NNp0=7!|dK$g@X zyN!XXC8TI2KTr{&SA)Q(DNVAUpQ{7JU03JHCxyfXf~!<-`#7yz8L50Xwmm@&7fb?B%)9^8P&a z1WxBFx>-p!Zw-xnC3(hOB%9yBhar_g$P-cP^Do?DuI$f5fa44 z`g5D>!1);oBr7Eoh9as;T&;HgXYggm4`D733M&wV zskEyIs;y88xAqA|iA)|W<{S$#!n%x9>veSw#j+}0S=pEw0il+@Y$-*4JB|C<=U?4t z=!c36t)K;1Kr{t|8^Z;KF-89~j_Sh+6K*@U&wQH0O>e-|&EeVu8F?shuPDaN*1Vkd z)Vb;OzL|nUs+&S?tu3U!NEm*U)GwwkHC%DkUQq$9RWXzJ+_G*Fn!=im;1?@>;lx6Q zyG#QhDFMe@aco%;QA-eR!M8A)N)fT>X!_1q4&<607Mau-S``)C@)eAGLmZIP z)_qCB`P@7xb*%kNJ9B*)6`0dtn}n91e|#$v&N&V`v{i#cRNV2YpA@rhr1EzN;>QfD z0fmT#We_zK3|0xiLznU!|IqGGDnLJXmz#Gtc_G5KnYeGxRSI$Cm%XRrz4cbkGqzvF zGW*JET%eRPirSMm9&nvHCGvym(L-`T<$*SUd6L)9fXXEfm#@<3j7BQ<~G3+J)mzAcdl_a$V}4W{J4gH zT}lER1axHqQW`Q=ax1YwK7#_8+mQsyYY5AJLP_lE3<%vvl(=B!p{`h0Wm5x9yuVmO z_oJ>X_=k!Ar+GeHKcyq}tm!|dNwYrpz~Wp!?a3?rzH}+M<-88^n=#s%{wq|IwuI!X zw^^JvsIB%9h)t+VgZ&&W4h?Ph*PL#>rD5=*d z2@z6x%++{M5TS~e;D~NR36?=XB$9KMzC8J0?(1uvC(=(yesr^oExin}8KlW#soY$U z)VyvKefz~)s(}kCK>V4%JBFDvmwQw}LVWCQXf~EBTC>wXdrZkFdkF7V1{|t!xzc1Y z&KhES4JJ{dB;B!5dF_A3;1)U-_%`d;NnZ*{JbfZW+N0=E)suOP=$|CbKX}~?v55UP zu?u;>shN33tBB97q7xvp`pw43GVz0Ew>{;|dC)&xM1261=bGC1W3sUovzB@gF6 z5>B%=ATd>m)Hj_ezSx-v-mB!sWhI#ydVk(DR|y(HWEb#D@j2RRLMI{BTaiIVt)^Pc zP{Tlx%VQ-HLM4(i2r;6Am zz_d!~J)VG~Ws_zy<_TWq?dMk)J@kVKJNCp=o3XFV+1C?~z3U4p+lc)shL4r5FERsk zz%S7zWU;3AE-kNyGpD=(v6mY6m@319rn#ysxmT>I&;ptrGkOQ!D&3`=yZzS_-U5c% zp?~({NRP+y`oV9AW~W56w#s-uNV)SCG6hyf*jYfWv8+71QIk(*oGgjaZlio@U*>bT zEySpP8@jpIcun8Y)?j+G4^eop)5e(9>YNw!bSL9Kd&cvsT`i>hZmL6ag}C-snG$vZ zi!wMS`IwY_*?e=Q!us^I<~fY}wu`!f4f+VXPt5F!*n5C@JE?!Pt45=qHcUb zU)?cIrMYh7VTNtF5PU)S1<@D8Uyyu3`UTk+;?#9k?LIg?)gX-&~nBSgGyZR8>J7*QD!p zpehVHkSxOy>M%3cfHFi362>1c0(=W|m{!tRnv#yCTAdV)?(YnoZ{~QzmBf8ki6y#a{p! zUm{)zhSCt?qi_mS2oVEBLf{%h$J3pl2n~s+B5>}JmkI*;Ohv#(%bI4gxe!GVDs}cm zo3o82Mbc1P!rp`J%5X#55E8qp@{cun-h~vKr}Vk!BTv$0z$BGJ? zwLC;{<%0qm|Mnt4*^W>C3(ADxNS+Ht65-ns8r4gW?UcZ0DnmLw5F%MfoSsVzkxpg! zjgz_yt0}#?NYQeFZu}|yll?Hp)XpU(p16>WjwRdo>8r+>_w(8BB9phfS#{%nd-5yQ z=4x{X8SuybX)g`Z{^S1Y;PU-q^-Txi6J3!t_Gl0kcf=XZ6TLd~^spU9YP1D~8_jDb zjc14#bj{b!27Cn4l0j&I;S4|NWw4n=gk5v1DE)$Wka8--#NE?k3fMcV$WC8~!02s_ zM5o6;Qb)@vJEGb<_^IN~Mc`K8@KkB8Vx#w>-bsPM4Dl$SofiA8*yGJ%*ZMV5t`Tw3 zk^%^_V+n{xpRu}>-8Q-y7=W_@4`nCdCWkN|R`2c`#fv~}t5q6e=PSI}8CE0fUW-u9 zSx(1f+{M%Bj45_Br|(dEW_8<4n!e#u76bFKLK zbd@sB?iSqO!9_U~rVIUKvLlHEN4jorFh~X3@?_l!j;iL1Be^2OBH7}$>=Bnq6^lWo znd822dfM6ver+!^I8YeGj-YMA+iV?lr5=1jGo+uXamDt+J9{eJUiNFPXBXNxBjA4B zY3@%mv?c$;rC%b~pO{{<2BsJ-%zmcw!FMjGup1 zzW5n?5wIQ6+J4@Ox5Kj)cb*@=6~#Ti&tdDn5O*At+Vr%;^V2JQG!UPW&8cg?J^e;s z_vO%W`B9eRA?*W5OaSNoF}uV07v1o#u(bTW_VTC_&**d61(SQYXDFlFs6Fn(M?CLl zWmUPM$tZ`I{eABJfWBfyqk&ny1=|YrH{r^*x&GOK(i=fq`d3f|yq*aoMU;a-BO>eA zgptWc)CgGvf(5r`&GK*d+VVO)F(;%0r9dOz)MAN64RALGu}Z>m4#=j7o^1TKT>K1I z9M^-Py=*W&DzPPs1kPb#j(IibArm7;`8)-_=pe=RPgV9(39NFw9H_Jcocwf98?Kp$ zr%YFwI;+)5Th&@*gT36-1h+A(XKKnq`q0QmIHwD)D+@E5$YB)jGeM42T9fz6gwXu` z3OGg0B0^S%b;UR5dV&4t0F0nPm+yb_!sqsr$>LSF$8o^S?bTQ45w&YT%c__=49~Ti0+qV#N!1Yg^az6L4rlfFNi4AXddOBg zYhsH^>3aFT7qwO%uw#Nlx-~%oNpqJsnHp^!ZPd8Ldd1f#3gK>$EHBO?oYb95k%uY< zTssrd3h*`g8TyX1ww$?kF&-Bcr;guB(3F~O%afgRob}>;vk0AMy)4^7`hPQ5)-9uG zvZj@utGSokx^d3AqiSGGoJxTHAXVh@XgWDwFWrr`Lu~`k9j;Cdd|qO1v5N=lQwu{o$XaFFr}awM+5KLCxjY5pHjS_RA;AcZXe- zF%nnUSue8%?R--!v+Ec+q!zJ~g&f%X@W)lbVK~_# zeP;@3uDOj2u*6J_NKf%djPJ3un#R4=qf5m7p+#OwtFkY8%Jd$faVZGx$X%YmzQMKEUHw5lz}ToebZ7)90`qmVjJ z)=@+~eQ)3J#mSdC!(&l1*fi!o2Wu`}nooYG1cHiBfkCG3aRktoSRvAoQytct)VfK4 zkN*8_0?}LjK>B-vg7j+C97U2;^1+JKsq}AzI6qZ8#H;MQJfD1EShA9d(QpyPg|sdC z58B95?EDdp9R3?YhQ$Qi%3IW$Sz>B9?9>nZ5Vd`Hu z$CG%p5tOz0F4feB*f09Ztq=EkR>1(*Lb`f8WB9Svk;wG3u?m-BVw-pdOY--3SWll) zy0D*uKhU}(vZVrw4=L;ze!?kAVPlpnUt?Gwh^QO($?v(Pa*BOFq^9}p!%uPKdfV-O z`MFH8_I_w@)UuKr3rT|Qv=N|6iW0U~S4atl_0r+l(|!4{fqiOa0CBr^v1%Cl;ot2T z_Tj#sz3D8{_&%e#YlyIbJDtY79ww@M9JkRXjoS_twPVh!M%%KVbvi>j(|>I{Z+etw z!pV*UO5Y@%I`>>YYcEyoKonz7RFrKmnDM_rl{`5#I~*ZJ@NL^oKx%Sws$I2z=}0S@H}f}SN_3ns}- zopUIpAkYjS;_;FR&@b_-xAjs*LY&rTBt$Gz;fNy}e zq<9s72n6yR7kB;~6h>259WY4*-9>@rI~7eziwsxgz)5eW^bnglJUzJb4MMsQu|A-H z$GUV6$$#2f#^4!u<6$ywpmerg=YQ8Twcv#V;Vu52qH-VE+LdM-v!Mv5&fa{l^a8G7`{Eqd)_%>g zvYXz?O#EmBtJL4F%GF|!XrzM1MnkZuV@m>iZ^I8vaxCa++WTCS$zV*yWjQB^!Zrtr z31Bc?@ue}NJhUKt1F==v@Lf`AgI5Au98e2_OfoXa$RlNbf)zQr!X%Ch-N4lE+EL^6 zSYp{~EmufzM}j5_)na~poV>i)J^Fw^-W-O{2XZH+0zUf>E?Q_F8qH$``O0L# zXi=*!qg-T5lZG68Y|5ifhfd35%W%mF|H=E}0o)h8BGg z79dt3f3=gx-oW;jh^yDk%f{ok-No{cp=m8`l_#i)5UXb^1Eb zcnQC9$#^?l-G4^Uov~O=Q$J%#Yv|+8=*yeYMspKS4Pz}-dwqDxS2Pv6V$*elzOhyN z#AXI22!p10I$+g{V47?9>?9EcwVWr+s7s7CcXR;{J#cBf)262`gSWS8`Wg_5lY%-0 za!o1Fx^|oWiBfjqmKUuT#D7J?l&=QLtg^6p#@gm99^Ie3JN=(-c9#-(dsmI9ef#hf ze?C(kYh`-DwZaYQv%dnLt#3D=Yvb{aSG3Tk-j|nLbCMB@wy7 zzCbpgf7n-hCLtuVNx|&*;Ucw}zA0#CBsUNhe9+dJG%pZ*ZFqHF>q${{cTs1f(zRVt zxdu@Fk5hKFl@H$`@gYQ}dgn`Ga)V)k=)c0?_b8CEDB`2yVWoiR3YU&@l_+%+#D-Hl}C4o+l4l5ETs8APR!QGBU3a zpUiHK;?oUaGL%&$KPi-f-74#Jnhu{kZj2|1Zf;MVw*7}!>jIk90pq|=C17`6k-DRG z~T9AMz1?iAEDg4>%hjwp*MBn>0t)xHbNvS@R> z_{KWvQ(+Zx{wR~W9N=bg0G!{b>*1Q!bV{z@Xz_d1SO|bNLQv|4VuhwTb^qgEM%N5{ zH+V-hmMry^E*qi^)gyW&y+BdKpRodP+s4-}S@75MBt+4q%phxPXMie3ID4F1^619) z=O+VU#9`H8e+3r>=Z{5&#ff$aUv!g{kJSwK3qKy3BQG3|+q#^7|)S02EGv1nao>1D5P7m}H1I>c}b7{j?p`8A;K6Vew zOPRt>=AyUNm`=n|1qcm3qe@jg8dN2^wx8E)*=p8rASr<>+ z8ER){|EW-RME&DNog==4Z;=E3JMD;tR1??eyH>z|FNy#y-s>GkQA0m1pw>;n-hQ8R z5N=tNMw&~64RwE1KjzQTv?&pGd}Y;LoetiAv0g34IHSySHd zm+yZG=2EYIH!#?5>$$!~g6b0s1mna{MPjoKG)4S6U?SItgCPN75gfuCuT-F3VOu$5 z*VOeFkk;;B>63L5GuhMxsOb93Q100%z%snw-q`e4O3-Ps{cn>~6T{=P@blsLtI#FC z_0&!0Wi}`5u>5KI1Apu^dg<=#%kVY8Pi1I<0R)5)0aop`!_AZB7|^z<^x?;gJ7pWd zn$k>Awd5EGn&Ld&7YZPZG@)BbqO{2X8R4zPS=x&Cw9yX4McTgYrD9HnLI5}R0Pu+U za&Ect`Z9QdWNmtTsTfm1Xl)8WMYyQ^5Ch~koIVXY%D+-h?Ar!#N%oX2;k85zBUQ95 zp!ix0ianT7W-@nj1*dQWPE%~HS0ZDt=ykt7g7AcfT}O(_p8`Nnl|%F;$>0MF&Jk`5 zg4+?xczd!&kB!}pFS+QT#=e$aTG;*%ErGG+#7@A?U4bB0JU+l zOgP(=fYc%SCh-R8*(nQX4nG}to<5ukm4>sDWXEyC4BK6@D+uzy#*zEsqWkcaqx(Hw zfpN?2m^)Z`R#oz@3UQ9kuxD8R=GV@G9o{(XgbACXzfBJ@P%bo}kG0;t_1N421KE%E zAtk0@>=leu$|SiIZ^arp%2wvHhJ){5Br9z%pqh3o-d+sG&D$> z4$e(*?t?sRxN{Bx_O!3od8X9uka)t^IcILEPkCSY^tf0qxiEY-Oew$V%jQj_TJfD) z08EG}5Aj2a$*q6tlM!fQX$0ogC>;bnaYX!m=XI;>eib*UN*_-A+W$VngH6*5OH#}) zuiLhbzenpIyAB7=WrG2|mPCXF*JM2rr;jYZmfXB1!y>fnq>mU(<8HtbZQ!7 zVTfJN?PHo_u~9qRr;ZowT5EWkR2e+E)Bz1+3fKHY`CjDO>vIrih2<>(2bAhVY;Cs z%qEq_O z$3<(DV{zDJAH@aXv9Ink0qS$0nE>r@D?Vfc^rm=L zv4ne#g7xx9Yw9LR;02QYuuAxNB|E~vU&kWF-Q*#u zhD5D4*50gRN*9LUVp_eI>laj|4Udk~O#C}>-R)mXEFfIr0zU?4_1zYkOG21SJZCT0 zEs43$(dJQTDwNoc(6&cDsUa>$qMDf)qxwFvWc-(QtylJ!no2!v`Ss` z6kfH4%t-Bg02;*s4lhq8$@x(#L7$O54H&!9rq zg7fszEF2Q_kyV?$u4rXwb+{6M;XWMi0_}lQ%gK*N>S~ zR5OU6Q)7tWfZyvj>-wfPX}Xe}1w(D(aS~=G2m87XfY)+p@%X+czkI8t1X0Y>jIm(c zm+MPF4Vp12q!pK^&ZL_8eztsO8%CkD%sFKSf7B8MHBG<{~?`WdS`ba)(6LFGcRW9nu_m&KISLIKPqjI-S4cmd_Jf1o)35gK=(1)PL9e zji3X`5EuL^8W(un`Ak^#J`zBTnzYU13bGn=FKM2&esd{Q2mQ`>fj`MOyyn-^jVCrM z^Jc~nC{k7r}{`80~KQ^MTcg5DLC(xFQ>}0v%vZ%N^ zmzS26!VK$~8v#`APZF{c(pRTo$M&lT-lR7yMLe9L>=1c`c7k?gDk(EcP$4Bfe=o?8D-G#X_a@vIkR7 zNtD}=AhiJ3y!!*m>JVq|@jfAVkm_U;&SS*r3dWzp;XVlXfA_5RlR*^76--ECYJHC( z%ob)!p;Ug4b&Ki5Nz@pByjCS(bnBJ+(|@{=Gi|?q+T|l+6TC22LJch~FfrfNlt0)~ z`%g87e2Fl}TO?B#Vg$@6h{&JQ&_7#XYe^yx{K7e*dMij#tvBjp%`;<$0huNCW)$ru zDPsf_&nDc2>Q|=u$n%^YhCW?2+tPQxbXNwW=Q$+YRFE{q|4?K}x#~Ei=bbmilP8}g-l(GLj`YZTDoS71C5@;lR?pTB zNepQNnM>()7*a_E3j%a$LD*F~`Xgn^567D=Zg9kGe9YKud5xRwc=3_f9ZW>v7v@QX zrkD<)%st@>DDs0B#;bk$#XC=)_Kv}(<;%B~l-QRZr$kvIMWlOt^BUhVs6Qo782sbD zy|x~_;oMAStfL@x?@^tB4QX?rbm&gu;9QAk4jgzL$)Msgpl;f9flNo@$I1l|4<%?O zLYS^3dG>mkMt%y7gsrH7{ZxYjhf~;BOgk;@da1s7fEmZSIZ0*RpmCS})sGyLqi z4oE>Ld@QrS_dZ5nO7DC5?V)aVUMBh7=MwMvfp|>sY-Xh++097v&oJ=wqwL1t^9Yuf z9=C`d_jq1*FH9ho0++PZpby0`pyZ}da_pN9 z61+qDdjyx~+o<@x8O%s0cb=d92De)OL}>r{l9APg$Ea2RdxD3t0b&|G>oq>eu(GrM z+xI4wXTplEDbT(5F2#P;TC!KJ+UBI1yO`YGJBWew!{GTye&77z1e53L>&E~MF=K~V z{i4(Ae_FMk>s6lxa7DCB^4tbIrqqh??v@Sy@g1dZG!`nfYsU&o)+7jO*8DgHNq(JE zOstW;z&R>*i6YVX;d8$+LsBf&EwEmHo5D8!ZGkamQUSCFLH!c0(WM_Do?~RuB9hN_ z!tauG7t)4!_q#o+S{?A^Dyr%L4jCBlGCLdv4Axa1zQp(}J&Nb%EAH%i+x&et*1@|* zE@-NJy{@Dz?G^B6?e}6&(Y$E&D055Cc1FCq%ZWZA_o0N(FCvJZM{DSOLB(hD1YX_T zmDwMfpnW7}=SL;a$1~RC%Z7aki?M+Fn_v3l+ScmDpFtfxXB+F5l0DbG{6YswH$ySnT^7P6fYa`JH zt4C|Aag96Gi9zL)dztjSM~Dn((?@|``~Fd-MwZs0oV(`&fII?c-LA?k0*ARy8$MYA zlpzHP(3$nX923qH)Zmtk%Ky!0JI*cErd6D0VJfU8MlIFzlTJ&VdqE7zE??z0pmDY0 zCAYq+GEk-*@YapPa!5E^a{qk>>NX!Ar$<5;Dk>j3wMRo2rb^=;xhnDZrJp6CAuJykocz;1x7omm`xsfb;aLl}B_ zvoY-a>d9&z94WD4^&4vhrq#Up-?M+F~AT@KaIcjUnmBgYb_hoWviN7uJN3HgPm z@QY}SiYH(JCj+rbjl7PyFts8Ct`+SkLs=+6?PGQ`EMmTjneUC`hL264OggMG8)>E~ zcx8w*hTuNCz9V~M4~8zn_%G~KP(Ok$q9cZ&e@4|33h@lQVJ$+tDR*TM$udM2hTyA+ zz87(2n8*>VuXQWDPGWj)*j0!m>3=L|NJ<2JZ-&f z(rxp*Mw%E~F?UQ@Z7b9M7P`JBXk1=Z&wMXzJCZn^8GD|FT*@S`J4FG27$wcZsvEUS z20kv0>?i*-1e0EU2#J8T#lt?c5qejU9;P^TqP+z1j=LIB4+r|CQ^L0%^97OTO$ zy`bkInwIAjK1wzrcALLy&^M*|SyqKFJd-x2GJ2SsFGVVBL=aYfqxPuz7y&G5fKHT` zekZ)hlGbZ05xhO>S7?I>VnM3_kGZQVBKt+f{>RM9MKWaByhiOpE*_&}xn1!tVLLzd z%ejMZN9QM{l4CC2XDKR#X`ta5jxP+^S2?kRcB3#y+}&O5f;7u1Y~ZJ-M3RzI>MYb)>Pa zGMd>B^wqP;U51C~0b`qvw-X|RyD!P_f<^TWy delta 30253 zcmXV%WmFwa)2?CT?(PH+?#{;D-6cS<;0|Hq?(XjH?(QDk-8FcCkLNw-$F+KX%<5TP zcU7&fuAaz>A@JLxA@Eu~NpQC07XU5jP+Q(lTxDyPB`UC%S zPCm$?m^+eLJ)4#`UM-Y<#xnI3nQ>&o^$I5S+fNF~#cc!-H6{4~;RwRiMr&BmjFlLR z)lQh06fK%=M|xm|F=Gn|6I;Xc=)xsf-naant{mP@gI|*{s?#9x6kn0*_NUX%o@y9KR`TQrya+9-K7L{Aa z8OJ;5o5CqAQ|Vem?gcF5>yEY7gd-l#4PLUQ<~J4RGC3?kzuqtr)2y)!_~gga?s7bK zi(xOWg(Ur9XKFnxNHoV%^I2iGY8(V6EwK5)foIdDrUC~v6J&H7fn7Kr%P#JCPw;xp zGD#Q)k7H|zd(7PQB{Km~16Z8enavzGZa$iXNr~8;aDF=gfp%@>4=W~HeOpPSSaM$( zfX3yq7juM~83E2)|Mc$Mabbbqy);&PsrfEDpjL$3(_W{6tjg|{mj5Qk<&Q_)xVtcg zcav#dgUL;@dam#)_MUdPbq+f#x<5H@(g4DpZbQQ{Kv+q_5efEyR=7 zn0&4Jy8#lLf`1-)lA$pyv|NH7WY7DK&RC^JeFHoAumvp^bLxmZ?xGl6*Pyg)6lL_q zC3U;!BE&7J+x=ES9WFGEo_nOD0;GRgp?8YDQnT1!A9k&BRNV_Ki-%!uOGf9t z`CYLAAu6g)ig0J_=2;ZncvZ4*4VI!1-t&GUquteCyw;TpW8XcH08g-tGZGQVqokv^ z`e1)?N<;)znG1Vw2|4S}ZWl{m%as*`_|uVfZ>NJ&>|e4$lkolL1D$M!I@q4B zW?~|k-x_yM#Ne^1M2|!84?xi zi5NW)vv&9{)MqdGf6>DcXrbbDw-dIW^*MtC6Whyq*`!UCl?rbp2+t`e%qieS#9t{cal*Er8CCqrJIJjGhm$QjXQCNcWVB!1i%K`Do?k7xgH|A{2A*wbPe}sgfd|H~e zEG&LQU$YV~1bk`#9A6fv%!Tc85FY^&zM1TvLm3a>-U7aNN+WmGEXU(+N8K zqpw{2I9sf49*5p5d;t5XGpHw(1D@mZxBTevsd)>oUFwJ0@A&}xbexQ4I+gXyz(EUg z74r+W5`;)l4`Nq6Cu^7l-hQwPrVD!GE)&UO+;I*^)5_e{UqF8W^9Ae| za9_ZGf$#<57f4?qe}VD^>KABVpnrkUaxIV9-=1=D17HM6+a0uGbwAaVW~c+Tzsck$ zZ+L1@Ncr-(JD#3GRGF+3mKIv6ux5gCT9hfrTw^1|1a0j=Bxyw1$g8_8ifR8q-p_vr zYRUy@lA3jnLqhCA=zkGF1*{4asc95NX@v0F&2v_uprj0>931oAyLZlHnEpN9|E-KU zhSl!EI-L#b=tA1Kd3^i#Gw+@jeOlw=+ppOv96rK4mLLoi#C>{I!&u~qBsY+`I1jSO zr{Dx}R+iy4-$)kooggc_r(MU}{&EP2FrP*~^xju6O<)7Zg-Dzl^3o8*l zLB!^an@NniOroo}iF#iCOuq?-BM;~{ufCYeR7a{VfU%2$X|g;zz!rg(UZtN-%|f^w z>(p#&$K8#sXMB>6O|f7kYm>WhlCX7Tny^JErqKe`-Y*ST@Rm94cSBAR24{ZN z&)7XziSRwlU*)8;(u4t4l$+ra8IY7po8CpBRtmJ+fFB$%I2|Z|xm!sKRSjO;!i6nT zc_7{Pq~`*sV5n?3=O8zc|M^3}^PwxvMuI>1sd=Pnxb&%X!L>m5PuYw5SD{gg>|Y4K z*L77o9}ph&vwmXFPV8~s_Fhu8^zF#V&UU0`6KqR>jDINq`*-u*R9n5IZJyG6UEgya zq@GnCd{{RB&%Fk-FdRfu;axNk{XF=?x(nrZZtS5A$#W~$Sl5)>ZpA%01HAN=&}!Jf z#!(7E?zmW0z~$RTD;hSDe_Mn0WEkH{}ik&3#@eK(XC|aU4YCQOtwL@78(VSLt?ao74=^oY^YBJ z#fwQP6WMlg!os+A57eUFB<|a@OF3cLH}$dYyq#Vx%Yq9GX9s*9*J5K4-{ zyHxr`DeTk-_Ap-y(>XSwYW)HgzH)(hns;}R)=8Cds(= zXIh8)k!ubPG=b+326pYs(eLsVX_Zqo>oKWEtVRxdf10huYu2S}e^Oruvedi?3cj0d zq*P%bPJ9sjJZp6{TQ(^=r5#*9$R7lPG0V)T^?`EcOodg_Um%pJQc03t^58jRW!Xv_ z5nQrz(7GWNMpgUmyI_>ra@y@X+^IrG!;@CJm!naS@elJ?2%OQ3Pm?grWCuwcNJykBG#f5)B~5E(e!17)az1(`khzk%Gtp)O zBn%T>A8evc&9LH$f00%Zg(zvb$T-G<#2Aeho5M|vUkK?E|?44Z(a-4}f zaUv{Fuezv!5M_YZoYbT#pr8fXKCNs!(;5sNWQ}B zIh(DfhV-og?V63sa#{5Q$Tb1uo)sabPb4vO=y17Qr=v@yUdlPhMTglTF4W%3xU%_x(xM2 zs2GolyT0}iR2-sp(zQg+U1S^|9Mdh&p+FdX9EF`@Jlbo`;(QfLP@HUAP&g-0EkO~d z{6G&%>unXPQwmIznwZ%Z);3_W#ZrInSEb)NF6P@|@+gF{kEaf)Rcw>F*WpUg1Rs~M zysa{2FI4!-@9kuBW!N?$#cMt z-fqWMQF_-t%9GAnLBE{F#B!uJwYqQ0sh}qB|Ge_^L6UH@Pb5YVY(O1PrnExa!=Dp$ zfHR63QL&=~94M5@Mv6EmJF|8o|KKj2g2fu4KT$Wk3C5>r>u~N-d_rvF1uq-BGWoO7 zzV4zZnV>VXJfh{A^G5uonm6XrBdPAfa>oDk1CD|v{lY|L0zu{H0p=u&FK+yDjy;mh z#VNUHTI+lA$PE+YV`r7^~zFDRqLoWS}Cn)W`y zO^>=hH+>x^$>yO1<|ERJvIu4gV^fSRU#~oecgIjz7$fWNM9*2an#zQRU{Zx19+uDX zAc3KgkY{f)5F9p)6Rz6qctj1q6%=c4QXH{nWlB#cPvA3ae^JR+J4RHehuF*fu98DlT6_!Fq-C?b7_)g8=z}^JE4TAIJUCbW-!E)|ZA#(8&OR5+hUCBaf zT-C;k_XaQJgSs^cs%~Q4q!3J@JpcETzwX|5nB%HM*_M|vPcTaeHs2U5`Wmk2v?z#~ z0?7mHm(0{~52^kf7!C5XLH+#fR`=Ls#QH9NDn>j`J9V9aEA?tHF6r<;m*#g&C^;Vp zhq`7EDYpPD3~=@YGy)6=R(8%5zeg-uP?46l(?%N&(*GFN_cr-n=`eW8Kqj0t3*=1%+%Fx>s#XA92dr4`!Ia3)tlS21@Qp|peNL$ zwKb%_pV~iZYi$xyU8ap>gD~yOJnHy+xhkoDwe7uA- zH0w9*2-^bPif%rHtiPv(^z<<-xy7Z8!b`hZw*NHrS_b=F6;6SkAPsWn+qbhGRmwrm*jdNuZ_|vO?64b z&YwK2rooD&+k20pUK9(jJZDeSp(rxD!D_al*P$hMt#qscj7{!_@CS&wm9!M7MK zr||8a#NFEIhhoX_@?$6E27}G-f~L(Mxo;H^?TVALelOs+H!kHiRblxw;-G4T_9+{l z7MeI#IOsg}Bzj1;S+yr_&*kQ7aR@vQby+9TC}*AZw`eM>RuwmjAy*sT)*E|KT_bTA zSt-G*U(W28saJlVlC`Gl`}sIV^k>vtBcU><`f)$Wt4?@x7WiHEv~v;F?qIwvV|!47 zbFmCjhGPq$NhG^bVjw`H$)NqL$2x~b48-u^-d-XCkr8sguU+aMiv&SRJTL|~0*u6r^@-=Urz7O&P2OwxJjyPj~s5sl$ zJf*f+tnaf(eg*VoMNj(cM7J{E{6*Od5cSFobH#>@a%Ya{E&dTRDzYU*OQGDLoN(1z z_c4=et<0P^6oyzz=ENYq+JWm%BO+1|kdHp8WO$9KrRptoB?l9-)2zBt_zw2LMEG8t z-#zC6aN}uu<=UI0s6n!>Xti^;{3z(POl8EO$DZ)e1{9qUNr9;9_i^5TPohiwkP8>U zGB%jqc@F{k$LeIxkqRZgVnotIwdFgltLR81YV>s?HsUyFTuiLW<&F`p+G*d?UvJv- z2NRmB!CiJ{b#?r}P;7FmuC8w$-4#vIsr%l09Rw~fh^`1Mp+P~R0gCz{F>U!MaTsIs z1sf!wM>ags00j9gO#jJcM3SzAXL=JAa;xkdsuwUVa&j&ZZ}1QM9Qrj6e-h2Q@YGj?{iqInox zUhU|U+2+RzLcaA%+GR{#Rg9%f${LfxjK--@;u>hf{Pz3@#T-akT_nAX zrQ_n{K$OREj>$utl)p@O0>uOCd9n&HA9S!^x25m)jYxhwL7!FJ=>izQY>NCk^x)Dm z%x6{|~vs|;pOa^Ps-q2VP9LY|Ssc)aQJ0I=)ODg{f97HbmV$(fw} zQm(*xF{os2pjcR9Ik^NetXlR(!iZ>Qpqu?C=qG`B#J$bLVk(M^uW@cL`oP@r%U!Fn zktfRz6I#HFx=yM8JLBSamup2i@~IO!ccDJa)S|l3Hg43wB=gLMfawNn4Ld{&Yp3~l zu2Hq<#0SvEH{Vzu?*jjw?qQa7dwt*A(~te%p#Yrzk-b_utULuRqDN^E+Teu%+mtjj zD3mMYc>?Gro@YrbGnPioy@4j(%gD+lMHqv8N9QIDi(n$7e$$Y*blpH#M@=GTsr5z$ zqs@LLlbU&|4pcO^_G}r{2ErI2Qb<4qqCo^uHXvQiwACnZGX$+Aa1y#By^Ug4)+Udrx@XO_4+JRACUyBy9uMAsP@XTM?PjH@~zoz~Q15m_dQE;C97PjL~h!Vv!A6hg`npWvv(c95#*5VOr> z&xd}3BZ7#BQ%EUMLhrw^%ROY$9>zvol6Ii4;v>y)K%CXv9mkTCgNcOdrW136;9zok z$L+M!e0SLwP-R0T=}?r>UBnoQ>!dpvBY4@2YS|cvwYsH-KZ1OJknWOdrqP&8yBkp$e^piA){cZ8Lj-bA*p=nYKt!s-jO20_> z3Z67)6Watc`Sd&MXDvh)DD_0ZU*HCoLc_~FL~?om-X1DsrWEBhxyT>~?dlccNX;Nr zCiy%H#mjdnEvI2LyYf@WeX$L#e1niuD*Wj~BwJLKfxv9EThFUi4ef*-gvBbdH-Kt)1vTEzNVWIH!yL)iY<0ozzuX_>9wGhVc6H{ z`wP|sw%y==BP$G^HsqI)Qo>&s-20XNU7N&_%D4&-BORr5B zPBz$d;G6dx@7N2pgD`yrMe{mFq|Fu$Rwbt!tfcSfDV-9L#iKc^qvHS8eZy#7C&%q; z-4EX0Fe**%$~CF7fxE3?w-Jh2*j{rNh(z4PSx#`GPswpg+JRm7N-P_7w)vPO`XToQf`Dlv*=X-0Lc-sG z;KR;?_wL7*krQDNWIPY7J-^1x5k~pNenCUi5C^0$z>CC|ETH>yt3x7-trV9+xVlM@ zu2>ty3SThjok!AF?#}JpXi}tFFClYb+0mlyQvXDlIR1+dt!3lipMG+-SJ0*LmddxL zgAZ5fv?+M{@m>m3_7SBw$BO+wEi;h^8MAC+;I(qin^$c-jnly1xPfMhU-+NO27VktJzkLN6C6sfu)tRJD zPFYhgM_E!L=9mYhMo*K9yJt<1&XX|+Bj<4$qki0)9)ZcivGH6?%lzGu8bl$lHikL! z6J&Qhgd`9)5NtOh$F|_PK%(A zor0yABmfXqZ9uGn8Z~6!bD`ZV3KnN22%DHRutvC!8y1F( zgOhHGySbY4#2$5uS(&F`Gl7Uj9($mR5R{82rBUO?h|m`_IeRFXx6qKY!;D1b#OSf& z*w$&N=+?1m$=I4~sp94~df8S*G0*Ih9UKqsdNk5VC6{plU+`~6=oYBXJKs?HYiQRxE-3wDdU8j z%3m{S!%q|^eL`h7>Ye5JVKg3UTZWU6@_sw|gpw{7`KNDW*3H5bHg&`$0R*MzCUS;( z=LZluh zj-l9J@!ETKcW27V3wja1M4>*?iu1jncFAMIFGt;wY-9)5yE$PN@VeA*r3?KdqJ{%8 z!SyOw!amg@?h{o*@VL5)9JfQWrsDJ}%DB)ykjG{DIyitBb(j%^L{%$C4bZx!U*%9u z9)a$gzg&G4Q?0YTbF`@|Ailv{Q8y(%KD>f;`{oy&>QZY8^W3^=m1D#Y(m7_I=V$Qc zsSt+UHC)OyfbE=niM}LVbo=(f5X-k|v81Iv*NrLEVy zS1Y6WkzrcsbcWmG5t%wK9OO8v`ZHzym%s`{;`Dc)J1sBf)s}B)cHb*bnt@_twLa}l zbew!Xy>L4a={a;9%UI%+e#HY#GQfW(pMA8AIF;{U2eQ&*z7#kB^>E`XpbOFDYMkew zNMa>;?=EYk&yA`)D(kTlN2!esJAp2?kK6Ds#NACWT2 zxjqtu8(NT|M!CtJ!V&-;e*Ai8f`0kY@c*mhl({7miezzkq?TAxEOjzSR#qOC6z~@S z4X7$p){c-1TjJ>z3&~DKCv^9%4v86qw8MzKf&w9?3KE)PVjt${`Z&3rQMkE+Np-+( z-?n3&e`vXELe}+kA&2_+>#2lc=f~6VY=vN2!ko7Fwc;FP(hu$~ukM!zx8I(MBp=@M z<4NAH+vl1&ii{pbPK8g3C7{iJ^_roa;~p4$nIRE+nFt8B9 zWY;6;^Y%|*vpqk4X5`eD+?CGghw>IK-S<+|e{BF1x1nu8LC~v+d}{yYTKwZ#DgLvE zF%V`}4o@#_-|WK01ePvYs$iC;e5Va#YI;SMUFI9SPW~O)U!^yJMeVcORA!~)`1;`| zr4|SzaWh90==69xc2~aAZM?noV0REQZfT2YvZ1_q zAZ-r~nQ8f29ncOnGE~gv&xLCAvtj-!KW$;}f}oEG)n0F(!fmd{r|u|<6cq%yy09U2 zn_tyr_>VD-0YD~MVbh9h@U+a}nA#?U6Qvi-7S_%ojSY9swXqRI$S4}$zZPp+Xx*|z z2L;(ElNWT>8AvJx4wyD*dnjJ;M_L_~(g4O*VCgvOePtOi@RIxu-c6mGE>cLyMO}Yo zGEtfiFn}3OWNromP}RQc1H^;lUeYP+gyYzXI0hxCTxnJ<(fJ1owzPxe183u4=zM*7 zNO2pT9>4%+%Zp`g7RQa(BpTp>6Lh%huBzY`(8VUy>cH5Yf&UpnML44j)*l{K>AV1b z_+hs3`9@+E98#~5mGWt)K9m(`pH*O6vb*YV4TT2GrS}JK3%vMyQ^c!25Q;(PIb8D(jz`&A_W>ugdGO6d*e852PaiJM|e;>&3oGq#PZ#>MF+L+;9K5<0bG-NYc{uh<+UPv zuD}u95ukZ%Q4xW;nMAlETrftt8BoEq4NyuL_M1J~Y{K~t#rOZS1FJARCfP49Mr~$r z!1x>x#zmGn9-h=lLl}Yc?bb>i959I{4D%Q<<_|}@;Z$B*V~465gj!wl#A4`sX;PF6 z24M~&Ycvvu&GjgKu(3ehJ6Ewf`%f}BGLO)v&BWw{AWNmZ+ zU{cy2nVtfUSt%L;dba#a)biY*VZZ;r+gIA00dH<@#1=Y8;*)pCM%9Gf**U6z7 z15k4V=3XGDPuCr7L%EUWcK(?a3CaRNBRa`4G|N$&W0PrZnV+n2MRXwIGH&k1hY@j& z2}1&OH8CA$G%SIs^ikkWPQ%6rACqiU^1&#Li<6eDeGaXN(%{i+%67;7QTEJeB2~Ad zl0*mCq(;#sytSQUVBpKoc~G*q5RmOvR66GE@s~f*NL$q*1I9HlfVnpQXwIPjd`qG& zvL_F)e-bU!vh2`_C=KO2Mr;2n%N-4y_a$wS%qLp|G`K-#>Vu{GFDVq`ovxP`wtbr)nTXZPC4!Rc zzL(ttKkii$ipx##)g8|tR&Sb4Qm~QfzuB}QiT+HG``Wkg3y(zA!=UO3rfoPJ zih&1rl;!Tr&;fxSF3f@TFr>3n5TYkX;IsdnZ10}nqK|T>oj}J0F<&8?E3bsV%S;|P zUJ(#YSBcE5)C|=8GbDozwCBOcRd1#P0|*?$@)jHVV>m*hGS;9l;;-`2lKc9uLI!A< zV~|oA>G9ccQfPtxT_2-kf2~yxI8aNWV2yB$My95K=ek(?nXqRC0o$rHGq@6P4Tbe3 zztgPn#785jlJ_g}$#EB(+rL5-tq*pb*cbS<4w$Hj@5}d)rL-sS2TYimT+Sis>m%F- z!3Th|G@}=>Hhb1Du^BDOEI)Aq|3INKcjQ9JG6I1W2<@DlvT=G~;C6Y!+v7{JdEoxK zF3c8(0L1Hxb}9)Ji@5jZ~p zkSQFqj+97XsV)x8CiUQ`lk#8;tom)D^}nx(tqJk$`2~U#@@hcL@qSbs#g=DE^w& z)vB6&bzgCR%V;+KowD@#>*coY9ELH~jcGf3Y55*UaC37Z=NM*u9%rkIAEYDn$B-n4 zL}+VH(r||4uVQ);==t$hulF#){2}QWTlKQEp^9%aBQ|j>zJ1R1GmQ6)Ne;qUl{V#e z01GpP>;M-Nz{#4jd-QcL?W^vz+u%g)e$zZL$Gc&r5RX&wvYyAJT?2@3s%}736>-ru z&P$+t6Y3G2R${6NF!4)b7ezk4oeJRRq2zx#3|_b|3CVCHaY}<7V*NT;zsba;Oem6z zq}Ljgzq6MUEa`D`3y~`vd5!y7UjJjW2|`IOdu@WUw%x~j($T>Ugjz;$_2KdSuqmlb zB~r^e6QDIc-rt+Xj~2F*j@2gRoW`baJ~n_i{cL?Ej2`M)A8>ESD$outt?nk+@u-mQ z+~`75wrivP+;A;+7DHmOy{N0DU--?3%VA^(XSLbUAy4#mLLa%9{edObHD*wj4XG*P z)ktABXOSA^RD`(CRmE80Vr|Fzy%)FTKd2Wh3+y#rt~)@Wr`J473(FvKZ5TFp?h$C?G!v|qUx?Ym^DyzS^6A}5{!j2h6F%F}LB{Bdl z=v5fI_?BzqV5LK~CiIPsQg)NR;^;W{qe zFP;N(#I3h@p?ElmLTp_ooo~+AR4=oe|KNIP{-PEUW7p;JBV=D9oMM}Kn5WJI^q=dH z`#cK(k`Sz8GIg7yyr4)jcrn2^C8Bh2JJ&$SXL5(54bOu1x) zsejkslk@ZNmtrsJnsjdwGB@hK6^`I@*Es4W%bonIqWJVyqAbBbnV??W3{{-3xf6ad zd0Svav(e2F^(e79c{T1rlj|CKVEU-3z**b}1s_)ndCjTrXIx~Qq-akU(x4ZymI|!8 z?J$9jqW2`36FlRfecbx;Amu*~$b2;MgTb=cn&yj*ISOBS6THjRk?#mqF3=b3q4i!> zeX4mR+WoHTs+r<2tm!(+xLCcPbJ85RIx#=ni8-Ds!D6uIo^?MP~!(X|)HB63Tz_uQ>Sy~P&Sa_)zD zy*sgc3{_4223|hmfOu1CiYI5=2)I4SpiN;<{GS$hW zPkItwt5*7_ditbF`eHYG*VO>`q!KAU?4N4hxz2_OTcQTO;>QO;7c;>WrA8TP8V{0m zzKzsUv?et|VNnz3+s8v84T!c$kUAlLh-amPjK12_#TK~El$bx^m<3;9DNhW-9f5IrbH*@$I#LAxyNxj_KV8t3wV!IeV;%k_6{oC_oZdm z8SeQz&E?15%o^Zp!fJQrKbSNG3HSfi#N?#H2{|fgM&Ot1$l&^P?T3XGp%nSi+%qeIx zj9;y84OzQOD%7oGO?Mm;+7Phe8nX)a-zT8=I436P8x*nB*!Zj za!`7H1>=27#9}VOo4~~pyP%h-edf)YhB^kdy^pky(^F;EaJu_g(~Q%9rOx~lgprrL_i{C zyVZc_jVj-7iw+yKc449G7d`2D08l(|yI_exApuVx%1#TBT9mIU17l@(H97C^tG&|VaR zcrP^^-yZPimQt-upax7YX&zmjv{$CDo}k|ibkTf!Q^cFYqMflV3b$c2n20zi)uO>k zSQ-iEH4u{qPIH|y$pS$o(QFSA#9J|272|HyBdj0Sjygh=tw1?J#x@;fL|bEIzWv0P z-?bitqCDp-YrJm0trK_!6@sXWUhwH@tdB-%)XCT9Ha9`tj9SD zyuxCyN*sQ%HC{lY>p7;iv0g6dK>43R%rYN-zl$urd;?Q2@6!WYOoXzkor%lubj}gh zfP)%oZIM<1udp+r{>|_RKK1PD!4D)0#dcXxbu}1le>kyQnH9`j<91B*!r6xfzPkWF0<^LsI89Y!T&`JQk66|z`xy$Z5 zw;=l!88a0~1li|rQ3tleW)SsRcx08RrO`oi7KS-}QbS%25rxMma*XhKhglw)Q^Q=& z7qk?F#==j<37>T?a~3DbdlO|>u12cZ(ceqM*%4!5g_Lyiv>zO)O5c0fd)DPFUNrmV zX0lHWWx3L#d&>kh2or;d$2?ZNUi5Q$zC~)b?xG6UD~aMmIJl4hkfboGOxLP41gMw= zJcIX2h|rxp=S%9-h~sAAr;u9hwgs43{{v(3MZ7?fUd`$+Xrn|=g(CMgo2Fi^yj+s> zyBM1MjxQ-pLZY17oh1_|+WH1WUrE16t+j-+^U!F_ydg*5WrqRf2&T7cUSnHPH^Oc`pZwjcKIm>nwavSj(n~E7*3Jz30(4`j+7w z&`#yDu!l71^<&Az1#8jpyPlXZ8@gjq?gz35i3Sh@i&Ynyt5im>E|tgr_wl7+5ppN8 zV-GH@fFR`93%4hTve{ywQ!IHsA;9p}ywEjgsL+2z8q>Yta;l}mXTUZV+=!7Q@`JhM zQ8{jHWJf5{x21We`zPWp?05R|$6HdGc2T1Hw)2ZRvLNU3tpzwU`;y=4luvo;R%w%7QU&n;_%)cf>`T zci}&gq#s@l=_nSse8#=zYjn>KP+ zZ?2RxoJhTnY0jY*j)&*S!Vpqd#s2Fk#Dr)?Y8pyEj?jA1{Je75%5(%PFbE529dRW} z7*_v`yo{qf!Xi&rPY%ku=ptVUFLBVqbQTt0n^_Sa45TuL%1*aJAFl_G$A+Lp3DhbS z#=`*Y58|<(D6kYDI2Bmb6Z$U=4UbhO9{CTbNd zb7u!kN)v=_8t4+MEc*GW9HC}pnkjE8m86icKsH7=?!q|hij@eJVmJ9a+VcK0*+{|L zt?P)+{%>PQppWC8ObwJ@Z11<}8~=#oY}a6E+3rDH=jiU9*9jL zz=jAh;_Rm+GRt1#BV0Rv(AAh{Ndm~$-)|r!$HEdsD z22xP$mZsjG7GB=^ZqA49E=^Y}fi)r9NQQ_x+iTJN*87%`Q?cbUKt8%RSU5*il)gTn zcumUL-+zGj^GH4VojTk*uS4+PN+MniL4CJ|i0KU9fE(WHpQy`7d*WRlp#r12jRdDs zQr#jf9kW!lJ9@+zhtYo@4?OE=ni$5tvuLJDo@ivaSqv*Y#BbZsXfk3Z&!nGANw?)e z9$E_gqq>gtKS%2b>*{x~6z+q)xfXg+BMEKytkjFMFB@g7!&Yw~X;nJwGUHnvitcREjd>N`$TlZzQxR`o4<~ zYRFt*bgJgp8y_S(!H3Amdj=ymWvB>=5F|XuI#KH^?Jyj^$ql26%AQqf%4Bij+u`jV zr8O(A3f@0zzy68dU>=>^nwJP)1;G@4BZP`piYXsC`S4){@xAYSc2^J`-}xOelEi!4 znoyIY+a$0yVzzx_^N4d#jJb6dxSbg5=-K5OppWnX{bPn9*$ouD3!sB=cRo07nIl~2 z(VrZ-UUvH=R`fDO*sG&|!O#VC&EVK`7({`tzd9*6Mynr^&GAQ3+OE6Spr$jlT*weq z$Cp94GaolVcW)GFjn(&Z~#`xw{#YF5X_(Do(- zhQ`^5BPS>J&ff4My~AS_tCzOHc@w}V}g6m&qr|Lczz$=@RZ{ui6sudD>u}Wg8 z3=M*Lz9<#MShKjoXQ8DLAZISJ6&*ONZ;N-df<8IjIa>skZVjhzV~)RD@MFvqME}Uv zb(|Hs-VXERgeQ8PiP7K|jebhE6=pfW>zC>2eq8*`UnUK!go0zu=PXP^r9d#XDdK0A zKUC9?6?njO-k5RI7?211vxF?W=&+dBQ9^|AGLYXa0u)!4L3e3-EQ#*O z=aFv<_j2^ICw*x}eWb!TSFMjYE#>28$v}9tk_mbd`}wo%*I!1KmicMz1_M*uH>j=X zhr?g+8AaRagn1hZv#?D(_$zH`3GbU*&PCDVfY%vqlo4lJdbeG)7nT| ziL=@D^QU2^dlkG|{1EJ{sIzjm=(Zf0k~&l-h-EJOh+TmTv-;y5jc`Mnz*{mJe>%5_ zKYZXXw7#pzyRt&0$=IQEnx5KIKXa2iNLUE-qMFEKeX3Oh)ts9X zSNO}82PJpT<7R(o88vf) zu~-uE-Pkm7oeea)E8hs;Na(~WMI#3-86IF#=T}pQg>-3CbVk`+A2E(6+_F@F^POhn zGg3rPbi&1A=X|HOV^qPOaC2{npzJa#@!UH%*kEQt+h}!E2v@80vK94?x>J)MLCARb zw6~wbxd!ji@-tGGv?Eyvb7mwWk8S8)OQn#c#-bgpUQ(w+fH$J8ZJ1kn;*X;vA2jPH zE}uLiVb}ZnzRmrX5T(b4hhSXdYLL)FTq13Y?c}9rk0zPp6W`hIwaYPZo3cT{>bqJ^ z$}1SoUjwd7myNbHLAB!`a8sDMp_DolY>W`rDC{qAzQAo^jlwIO1?Nub!(^dL0XM)` z2W18ju2bX?B$!~hSXKUsa%!*Z-IKA+oQ{%@MQ(N|1{!oqGx}q0x{uzkav8i)tt^UR zWW>ttNBB8gnD})nrSIq`G(xnkXxP+8$>&vWgzM#9pID5|7ets3PC8?rAwT} zEr4LxCEZ0h$s|<<#@PP<#1PDJ5mGX!betO)0vA6}JG4vzI1CLo(V~u%Dt$6941Vo`KLL(C8^JewoEx+Z z^p$+yw}2S14=CqGQexGe`85^z$}*xybbUQOW-W)*JLFftZxS#!gpGj?ftXMFh*!1u zIs4f=OAnV1gAhjZmUjpAXIU7Utryb##9GVvF0D}2#jskl<7hvI-~k=FJP0n%s*9c5 zE7cRte$B{3N%nV__DuILx2dP7*Vmy5i7u<{i}ZkAO}iW&n$)cpt}`~&t!h`@R$CEL?%VQs^v`=P%J4;e>ZHiWj)7zjTIuPAnogn-td1*A|gR~32Jxvl{t z*K6j~nOhyMzK%upPJB0^KH=qRRWAQ_X~PkOrvPbs&AVW*>ExPy7YCCK zmr5#m5xEq?d(k&?If;_)QJ>H3Zdl&Qrv}%Be~*?vPv!4dZsve$vvJAUlj5waB_+V> z=AlWKC(CBjl${~yAHl{b8-HBiI|(uO-yVxMf+`S%w_(+B&+wfU+iy>+W8YEdwxFxu z?`QYdR7~K#>!(&h?VX-lHU!TjyzkccC9VxY#ROb_lFeW(r#F0jVOiBv+e$-66GP|N zBusbPf>u7>=~u+fmyI6!*27^LCo!)p`AN2mEpO{Y`XPTL}5_4r}y;*}+s&cDQ2>IP+X-{y!8eZp#!0*;LXN@r)LGFzE+= zRJ)rTw=emioJ555LRI;AVvBe_`R)*&IXQYkJw^L7t^~+#ZK@l1@R*NG|6`Y2@a*rT zFk4M@ILf&Go+_T&%Exe>W4%8T0$>hF2{I z-2AChw6(~JLIF7C1Sno_%JKL|o%jdJC4Z^}WFH8-y-~QBl1I6j5cYwoH8h1Rtac%Z zA5yCz^Z8vSW%s#@YLGHaGi#?25?BXNm3dSe4DQ=MumJR}+a2`n%3CIG_iWpGKb#Vs zz20Med8bn+izMkp-8lAMr;M^wNG5V<94rfp0uodAOuz&O%MTbj<$Zg;!Egwj~8j3h@6Ld*|Rxg7)8gV{WpsZQOA- z*x2^Qwr$b#>2N-)rpC? z`~%(O?f=D_`(Z;8D+P3AsDR(}B5;m8GLZ{f*o}(Tc^$K5b27CotY!|8sN2gz7daw~ zghY^iQ{&Nw%2LRlNt&;$qq!`c#|S1|fy5S^jFqB2>x1~)>wv8ZS6f)0q*U+anQ2Ue@Gu(c-0N@0JLw=!SpEABPJU`M?b2(2 z>^W_CEtCO=aU5Uc=&9|7-=pwJJ=Oop8mcu4+D z0(%?0c`lNA;6#7ChLFwR48ed=dlSYXxu&sBzTokdC^zh+N!in%aC|MfI|`Ph5OdP1 zKZ(R=xcKAM&XoNw*151vFm!=Wg_v)7D(R$hg7LeMyKVTXeqc)3p6o)I=9W>$q#dsX z!>lO?kj>5X7>EPYL}kehB9&SuTA6n5`F%wdbLkD9bndI z*oCAM2COR_p38;|YszhfQB|Zm8Y+77(xMS?diKR?olDT7cr+6psn)1FEeGv^a8hN!#*8M-8qKCx zk1AK>jOO2NXYbGp-W%l?yHTsnHFezoK4m(T8kfzISh-u3{_2d zK!xg!UDS;9%LS@a<%cxSJU%tXMWTi73dRLs>8FZb`PUH3_{(b+ffaTOEvHE@L=RLC zW)E2}5ib>O8!~46&A(3P0puEs>1z*m&FT}F8Gk<%FVvg_Oqw?v5fK(M%C*>)ouJ+o zpH2k<3tNjZmSu#CQdNryFOoJ3suv4D-A+~h3XapN7nr7*B~=b@3e7b@@*UL+3sDmGA-ZOj<(o}slf zz|#9KLrO%+g<(Y1IpLC*v!r_#6U;c;&l~}xZBdz$hIgdQ5PH`Z>#eWAOI|rMyl+RY z5Vp{pT^Uobv(Mm-L(qIjo_Hc|OH+ao7Dg@#$ghj<&J93qxu;)ET`mfoeEZpxu!ucNc*M<$ zCjHa`=9V=mbmJyt{!J$>D}mw-9&pE&@rzN*XU>#Jr_ukXYQ%hqf#K%M!w_CE4&;7# zN-&7=`92M=0lNd*QTMQ7FrOIu8~R9<@dHIEKO<{Lp5VvP{PmuNU^Q_A4-N!jH9cc$ zdAyh*0eY~4;{mlDEMJE!lw`B0g@Fi#K}QmE7UaI$F=BI;5F@6{c`!FD`U`;{2eRWb z{zTfRq~ha{tF#4C^JX)&3Dhm57EDkrK(1j2duSVA5QhAXF8ZhGciU_*NG>JYTpM#) zyfPFBFvo>PlSr=zvDauQjycu~){OKi^gls48-<}?_S|`F5_gZJxo4>m&#C5}l91rUw9*s$5RV zl-KPW0$JX}d|!{L|5WBK!|IeHiv2dEE5pVK@dVeCEZ{JnR_Nrkkd7l4k7S%xQkb>` z^KUDR?2oOlDh$xeA4(N5$YpEgzJ3*>{x=KEU{{MaS!(sfC5sV6oOKYOoI|B|jWw4r zCl&W+%Vg-yEHpq8{~@UC?2bB(!Z$!B?U2*Dz?Q-nqM9ZG!jKH08^&L?nu6{RI1cEA z^MRAxsl$OF`*Hne2Nhea-=7_dA0#|n?9NlbYD>e4Hbhw>)8(g!1|6;Z;4;+@jT!~y zm#$MN`!d2qf9fDmq2!#p2I%bRiNc1k>(+|^V-8){(Jy(=;jjnd@SofG&B|5(F~s7H z)ySO zn3fq;8wOGi2;S00W4sjUoSMKW`x+JE?XqQtSJrf9y+L(SKp8eWFC40aAoKR5TS5FA zkH)Qf*ejG}1N4!~li>hbl=DRgPNdF-&&n_8fA@x(lx3+Ils z#dIEh2u%xVS;?B=7K=T};^+HOlOxJl_{z&{4uP z@j|KlN9QW|9SS=xWUH>~!U-hw*DZvMl-8(yVhJivDC)~aFCSgD&efE*XO(Bi40^EF zOg0qf97NY5XoEPjW&*BA-^U7Y2Bm|Izno)XZ2Af|F<~sORIwD0Y<%JpzyWH(}gu*oS=B?J9%Xx7UYf9)! z`DCAxsEDo9oa}rny{bJ@)&s zjsnlm%kxbmu8kOgXDyLdb~n*k5arR6(Tzkmn(V}hFFj$!!_H&r4Q$t4`age4*W9ob zV9a+U4k|_k?Vz5%n7o!4CL~Q@Y%~=j=g8}fRCYf6qeej5CAchBrXiMIL5dg?+7X{mt=$u z_|6mQpU?XIX3uvvUa>!fxg6()K#g?^2@fr+51v{mIQe=gg%{dF8gto!`^a5G>e2%g z7flotu3}j!}_2 zsX%efv5lHkNxXf!bdInFlCrI+5)as2Y{E*ys1dJ+SMkP0pY$W=t1*EEP3qyF!V@pw zx$LR?o;x<`z#s|--oK`~teWwBz~-LJuzoe6+nT&!JI+U}auH1zd z+)O^v@N9>kTJn^At(gU$@fjW+#nUzHHt=;PA~bFx^GP{PKQx`vT{uSZ{VEf|aKPmg z{mo)2l2EU$k+%Xg!5J)S0A&FJI!ZjkWG>Jt*a+f#_{HvD6^kHoqA z*Y8B-!7s~zReFUC_fqcZ4!0IFRntUT!SB87{~u2A&FRu55xISN$2noV;gLHW=iFs` zdX@)x_C#{cVasREcynZxy)11N+(~~mH*QEr4P2>wlD|j$b=B2dz<6QG>E+AOpG`Qb zm-%aBvi8b>95{y+oij{?$z3z5Uo#ryPkGQc4v> zi|8teu~#nk;dwWqM#BVIELFSHyfXJyBB1X~igFpkY*62f!$Fvwh5Y^Rm}uuV24<7# z9JQOB@(@n~C%O(Pl2$ z$lFD2s```9L0zNynY-><{-^N1hd2J7S2VJZ2}O~(C3O5m7qo0OERw(khYhL67T_+Q zNDlSxG^ey?uc_ub+zP6rB+f@RN+69ozoc|=46h94$Q(y>;4fv5R_n3oKes1L^2Oj# zISzoCB5yI)!wL!M4hjsiQZ=<)2AXP$^fv2hzMSKcGr~u#(pgHPNYY6X8i=oX6X7Cc zP&DH4fgUhY)HK%55`kI9l_qME077WzS9-Y&6-XXWSVX-SHd$PpwpH~;>D&@aufhMT z!?qoD=J`7tw;s(Gx942!?k3w^;pYZ>NEU8(`^56kNY;!8FziB<_z5D!@F4G1a>`B1!@UH{`^~0(58>k`vL$(lUE?&15;pEA|FFc0^rycU z+||WLS|?(FF7#8TXsx~J$w^ko`SE2 zQtX(x+nlp3-uV#67_c@(Gpw=H;?CdZ*h6@lA4M*|Qq1xzx>oP1$;h#ftl1*~HU;j|Q@Fh^i7QS<1zwrm5u2h_`}v#`p; zv_U&U1nG)Q-=UQe!pWW^YpE;21?k?9#hYhWU+lS@M{0VEStel61hL^!qeTL8-n7C_ z#3yi_d(A~@{Oj0KL)e7cAn)jyM1Rj1;#u`fI{{Ox=Z;oxN#|=@*Z{DqKSb#r_00bKn}vp*bnyjIfY)qKU#0#R>UGIS;sWuiTaoyOsXMqFPsrM5-Bzy0=|J4(-hcQMoa4fRhqK>EGb+)1hUj?(RI} zl2Oh;{v>Ug4MlL2!u;GnuZT=t2t^eHg%i@?94r2aDm5n`I1CbVR>3vOxBgdYBxA1i zQsN#&r3rcIGQmL5Aa(Zd@6hxkMz%Rt{Wwr$e?j|=)l*<_lRwA{gt9uNE4jZp;A21< zMd@i+i`2P3avX*r1xUETiBxpEnT{pyUJI3tTERx6+he_S$5UP#QgJ1@(=#0is_ZSt z=5hFuL+ifnd_9q-=DsVVg3FN?anFUtXH*u%`ETqZHLZ7%yBuXt;Ko6JmzX;c;t7bW z%nYl3DT?1}9)4#IhAd?8tws_8iKQOW5V>`7FsL`0pEi0jgbr^*nITxQfian&%UTNIrf88x6t{VxaUELS@H{M!`+2YN zin`ADk3&suzM+?zDg8iQn>hUOISPqyX`fKYWK2v&otDehiFZhv=_@MdE8{~ zxRj_LkKO8KkR`}1RMH=Zl_`1CLQm!f!1jLk^Zb>J=2aR9Li!HL^J(rd;Ua={acp71 zfBuV`E_j*$r}M&7|7@MZK~2hKLAUNqiFcFhyk(V|nz&52bGOHsW!plf^a9W&Xwik- zTeHf#YZW$IND;+++foQ~C47WbYiq18oTULny@ixzq!L_Xa)GY79MQU*o;#KmG*dJa#KHw5fC(1MF26rfr+t)qHo-X_FLKHz zIV8_4>29Drk@rKCT8yl>uoUP)ZF(7`u9Kz6Xt@xP=4pG@wtI?;%I7q>oRDQg!ye4+ z$gzvKE}AKg7dd^iE7~DOHfubo_mg$n*~i6i#0u1Bdid9JDT7|#Lsy=(_LyP%ER0%K z4$RTRJ5%BuG#2cpY>%&^25n!dp%xaB z)n_mmp6-mbBBitvW@wbMnCkp%Wz3cdZ40{GvTqE2!zqNl0)zSr+o%irMOLbN+)3)- z@Gx21**NK?f{tP8d+Txc^H}1wCSCR~huKh8c3O&#U{l*B(UM8`a`q)qO?AufG$AI9 zStXh+Zbpq*tqeT7SvR1GW|h^X^<}+i!lYWU_cHGJx?aR%`m-7Y6NfTLcS~86mJEJw z7pbDj$9B+!N^Ya-p$?Rn{LZG8hMBl(pnq9uVl=r>=&d$8A-kx$7?{))&CRjk(lw8m zqTw}~UWRTJmex48XcL zS$IhIcBCFA^|o^4`fu2rw{FB={tjg&@)|(p(|G zD{PNabpzt4?EF>Aej%KqTs64`qeMq;v6Cx_kZoka6PM8xm0}fA#~r!XpU|y*iKdKJ zV(+6RUnTe}zM?Io|DYUw*c>CFvk`Q!g@H$=5Oyb*gNgl^pZHa|14YA5|69u7`_^U@ zDv@HGl()Vyt>9&=5;ukgBMU{x=p~yCSo+NwYe*FqNM&E5a9(5IPv!{r@W_}{jpZHlVn~Fm_6lG>+1h*~lzTRHipGryXaRl@ zL&<&)?O?7)No&~`gxx=sx#!huW{OVLj@9)DG4BZluBki7dLSau53Z%&o4_YX84`XG` zkW56>vDBpd9n$B0aAAr`Prbw2ry>0NypNS<4TD#lW}Nc9$TB^k1yZqI?T~ zZg=hJzIxoixHDY`zgxRp)d~La>9z^^a9+>cwBu`hpHbe^aa^F9PGMhf=Lej`Y=A`3 z+8`r#jW`sjS`ISKW{76`ZY<{W&Ps&4H_lguUl(k+dH#6++p6-pG(E3W-z1v4a9ufX z1C~g)BM8hUNQ*m(GCzU%iSww=x2wrNpBwq@kT$M&8h>5L%k##;pW5DSd9;-qq?H~` zAALk(`zMKH$setCby`oQpm{oT{$PB4{O4T2IDcYYa*3%OQj+aR{NYFCf#Kp@Xv4XK zZ(za<^Lf#JVb8q_9s9(XvpRm+272rV(Auvxwa{R$1Ljy?o?cY|cg`o(9OyQ#B>=t{ z2+_er>YBCj3qM9@9F>Wbj-SlzMY-`dW6?ec)jber}9g3~d#cUEYp z<(3Se7!jn5v*r!A0fEftE?}F^wSqi`21|p)c)DF#{4dvHw*~z~`bwoBU<|)`W{|TL zc8$0qH5^f-iyJCD_pC4_WO`X31Fxh*p;O8?2w9a_BV}DsT~Mqkt{Uvg0#)vhIXLl@ z@snEApKef0g?_)Q0%Wh)*oBg5mLXRnhyO^1(niGv#jbYx3&E1przj8WK%W2iQd)hc z9#g>-)~@>(kxBD87-B%z06)d*QyHNUL_W-3>VhERWP8uMyMN*5wNe6%>Z(-_C4tSiF%wXW7XddyZ4 z9bx;lt+aeHg~-4v*g}vT9A$eJUUENU!n@Vwtfp2kmzo(Krd>|qT%#5nC#V-E2#@Fh zmzAFz(WXSB)K*eKuh`o%>IoL7{O(tD3nmdW=7=4dU708b-ZV##;LmW!qb1tn5$9iW z)?xo!pXoQEIxV(9%BS@jT|Sj8S6kp|y1q^DjQr_;t>*sdc ze$L4%(nC;Oy-1LAE8_s`Ob#ohc`$bu^_Q@O~jr_6CIGiF=ZNetapXb za=c@{htYIwAuwC|lnGi+jG`mP#l6Zm2M+$*=7MlJ5cHgy`e#kh(s4uGxi4UDo>Kis zKFHCSi3DCnjgD@wj5lE8f}N2Eys3E*Wm?HZJQ{PoNZsUqBzVGiLuSMNHAInYYfvVWn+x zhtJk)=w|L({;`rZ)GKm%?W_i051bo_{dH_PHvutqre4bhQ)Of_zERZniv`AqH|lSL zlDrY66B8SJT0osgxTBHo(Qf5YDI7K^fMS_oP9VYx-La&xbYCv4DFA&}n&3}jd(X@5 z*pWwJsSAVio4c&PvAkqcki=u6b`2xB*I2!)3W=9g*%1mFT`l~O#{xujvDE z_(Bh6vbK$cLC9&4M&-c5ycWLnI4<_i?ID*nLAASY*I!49+J$ovs%Uu?eUDOg7M)~a zu=-H+*`~v#(+Z?~q-CQWO_k|lGk!aXi3 zyXK@Y>qkVR6+eu&xN5omVu3~^AYF=iA;MrGSg;U6_=>U+Tl4f|u2w3Tf+rntc_gu8 z6kaZD<(OlL3XmEc$zh(JK1Rv5%)E%+H!3W$$7nA{=49V^UJz`v+iXHauGdv1^tk1g z9kFoFFqivk^+qIel@hc zBlGu+sMhz|R5FbWZ+Yy|RrFx>U8x_3>yw*>$6Rj4R^mcssh<60S`{$Y4P#CIM1~+w z_;)su>fBv#I~G|qAFxd68Uti7ENotc>o6u;m~AW{{A75@xYx98$0`2@r^kAW{-bkk zUnM%ej$t62wt759phq~!ErYmm?FJ~c%_tK%O0ku~zZyKR`X z{{c0EQ4z4Bl{2un@)|!-&AC-l=D}JlZ8tm=nIxz?N1$YmMXU8z+3TX-+*_z5_7mD=VzHtr-NW&@ z%;0^Vyh&Y%fwf8F4ve?&t@rus;9hZG8A4P3+XK=2(s}sc=cx1AdWCNIgX$#eT1^yv z-TUsy#6fX|k-tTL$vU+~yW8_)QRzEk2YRY6ye@pCub2DFV_yEs*n`spR#&jxa=1d2 zJYoUoCI31>GFxttpQRG9LDi_UF@O|HmL(6bvJ&W7O*;Lp`^%wIr^s_aSVG!}*!ca7 z{~1irNXYkb|JeHJSxDbai2S6T6T_vD!&ov@hU;8%CAY2+&6F4@-K~w}`{wrP&f~q& zmr6$MqHvnKP?C^=JBAYMF`xa6|9bRz*HQ!HA&O{`|3@4u2A*)Sr#2euC`q}cioZpYVyeSq1+QTJpE7fv``6(8g+A%>TH_>BP%fsP2-|89Uo7Rm3-Bjx|CF7IwqBq#7F0&dR9NTf3IU=>2;mO zdIDP?O?(Ec&?(~foZ41LmF<$f;RFWna%9S^ee$106bO0f?!FABj5 zp@L7iy136R2fjbKGqvkI4!>{oAAO}(8R!ulFS)7M$gmr3Ut^5e$F%S;YoF)XKZx5R z;v;Yc@)NLW52(E&hqRZRoo$@iJ;`6uvu|GNuCH_2bWjCuWDNJGZB!{e1Oz z_Wd6pwl2tQs3^kD%q7OcCB((b!7j@6laob^jf<6;i-VnsLztOEn2V2?=l|M82cA*J z#MaE&oS2P+qq<9Z5(CZDriKl{mXS_10eMf<7= z8S?7TB#vajeN9*$YAOz?>a<#LTA%0|4w>q(TKK;Gb9X$rioD>=ta<1@&C+>oXH1Z% zP=UWTDu`QXO#ltV=GdI>@UUBQ8j{}kha8SW>Es^stFwv_JsmfQ$0aw+!rsaG?xJw z`|gP2#Sqpu+FOt?2Q={37xt(Swyv=>KIYu7ntdMHx^Cu>DB zCm_U|FI64j8y|F znbtFMSMPswc<`-YA_E~3!1yhanvp04O!VtT>&xr8K6VNUgNkurEbSw;T}=EF_76nm z;ez^3O9yDT70XEKn6XFf3c{wdrcl=Vyocs`-g1V%(Z^Et8lB9z?@Q8(UMiL1VJy1@ zHCWsOX)BfyOgkQk0kB5gLU8WmG~&P7>HHk;p>yRk%Q&o?l4`@*n;UAgD90wW08??o zz~&KRh3HM(T0jljQL9!}%FEpnMA2?ksM9H6NwC)gJ+lSnXPDDXPNfl@Oz2&L8hv3Q zkL6^BDdvN}i#dB1QT@`-$7#NPDQ8@4-Z-0cr|?2P7gjw&9k|%9hYm-?o6)Xile|`N zw^kDs(g2CzF-iZ0N8geJ#H;QI@SEvkl(+q&pz(dvUd0$ z#;%&JCT&8dMK=s-rL&u4x<4$`iG@SXO`C56+U}An~&{n%mq@EEO3c7bCe3)jT;7n6qwT z)!0i~-N#uqcz$ACTW}tTBndjk)N;omaHVX|BT^M2a+VxBU|ezJWrFOlgJTO(q&7m%1EiA=e=y$!lL~^pm`y zHV1QYK$}Xpys*nQB{EGR6>_lQSGcvL4{(IL^+X?4=D2YUzCGqz`qa!!v*zHI^J_X9 z+C#u4-;W5-n(z=$ryI0j;inoh0u3b-a@I(TtpD;YU!qg<*5GPOX7~W307`I)I0?B- zaPae)?(Ff&5B>lph6Xs92hBT(nuw{A+4?(SHO(Rrv+js9yt>?a`=)qc%Ib6bq z*tWSaW`KK55J7EXf$<9K*BROFI`OJagP14DjeC5Jm`y`6)DwYy3sjr5lCKVF4@g2a zg;`7%JKrh~@R_D~Pl3~T@r}w|^_%SRzRz__`IMb-E3p0XzKgzRxl5^^0|k^I2n;*z zIlGZ2U8%%hzi%oFiz(i_BdUz>M97We!EYW`4Q!I`wUB*QT^*N5dTa!Y<5j_r^f9ac z#?ph@wX8wtsT3#3nHC19g@WA10!W2Yhx>+FHgwf#HGrf1^|8N(bhAZB&-CHlVZ$P4dpnJ;;EzLo*P=q}L%xvHnHAVrvLp8W zsPu2DMG7|HwT{iqJ|h^_P&Tai3nSZ8x?joD>xgHd?P#}Qk@s5?ve+PDe{)ZB*fiC! zLqpOgVO__nD&T4rCu6pO+&=q4j}5G}wp8A+6MdXQC>*$dY1b6n7H;|e?oks|CcrLQ zR%{-;fBCw=&0=z?Hmx4<5}~9v%e8xi)|iB#qMm3Ot|U84n!BApC?F{+9LxBzpJB~T zORqV^MVK9OXv=tW+!=37vA zUC;%nL>KtxGK#rcAXD(K9cYrrd!Z0G3$;tswSe;ZFVLki9JpqLd-*;gL`%=D_Xc67 zZjQ{YVz@wPS2}QPcw_e#R?YmLhuYweb`gkla|K%HE2@=w%h53*alySn{XB}%SoyAE zm?#yg6sTwkSf%=~o2nBnohs$!VX+e_YdemGL}N3F_HRL zYJGj502kfjMpf^c7Rs2VBLC4k)h8=(BHAL6dj>JCm^DiScaP64ykOy+0Vx-=suTNr z)DFb&m zu>}74u|ul)C7N!Yv-ET9^VNJ%5Hx@K>!Lv8uh(Iv)m#GEPP6O5Jtr5DQ8xmv$=-Nw zQJ1V5bNMgs{QU`rf?wML?>G=DUax6NDEpSI`ANDr8_W8W+iy#nbffW{bJcGPKniF) zXPA7<-clgdiQnp2_}PZbX1!`aB0r3>_6DS_rKyU+oUYA!v^VfF39*Bjv?D}W3*ggy zlvIugS*wJEGJ_JQY2D{M(|hRaC#`DA94FJ>t1(BoPd$tBF`Itw zvv@X956&wTYXVkz`&TdRWX~{2S>07kB+swQn@uJR2yKf&bh<4{LG&nUG9vMGVZ zo*Ca2gN;0VU!s8Y?fN_2lh4ieCgZQBjr~GsCC^rl7@5A?bSC(Yxlgwgg z8aee{iR(7ev5Uo}jPGfv9X0_$8mPc^kGiH-`N+w*?e|}RiMZ{65G^|7L#b5cK zz#n8iLlP%5dc8l$1e#Uf;3-;PsS$AW>pW23`q?otg%$n)wQcecicr1xjSOk;)zsOzkzBu#h)`$iZFaKC>9Tb9OckNY&+S3v^xJT^5E z2e1QJ#YTs5DgLc~k4{`rUmPq=QE%|IMXs*oUiwgl%s`RB6gk&VdQurgCECJk zaDuH54=wdFRfc@;2@Q{uvLGMEButpQcv80_ia!CJ0q0$;rGqFZsdNWjJ`W{)O4%yt0383E&fP`EAl;Z%lNq29JJsNA- z{fIBLK5D|m?6;N(MwbX;lL$c^38Wth=8A;?F=4&^h^Ch#323g;+PVsz=igHTL3_ghH^JH~Xph^Ypu(dFDo{yL8&V zQ_F`+ny*OMaR&-p^ zgZkw;<^jIz@%mBXUCeI=9x;%_u;THqS)%kx-uOqkc3QsnLx3Z2l0VVP1sX}GTMv|0 z@HPp5u+)&W=6s54FU%r6q)PnE)=YNZ8My3l^iMIu% z_w};`oSF|!57`pn!_3(-tzGSEhIUK~pYkR^WmB*8?E+F1CNPk1z1ll7&wH-edra5o zD+;#z_cLkvTY%xeTY`fM#w0sJl`dY{XWNR~cSm=f=N<0@;$c_&8nWsFE!QHg8;gTh z&jzwf`c8P;+uHc-BIDDzb`4LO^-O3AwVJN8PauU}H}^X5PfU^ry_$CxYKJ7vvj`kJ z-Q~O#l*);yYsGkyCNGR_XEsxdVomv4eD1_D+F^57d81Ax{hZaM>#@BY>iwa)vYc(4_pl+e_%q5OAa9$9&6?DrI(>sK)Th)u$Fr{G3A*Ts{$4yfA* z;>q$I^h8j$-mUewXm2FTL()S5rt)Us2m1Pg`%>mLgs$j}B}IZZ5qf$F>+0`DRF+`S<_$RwjJus9(p- z7J84A$5PJkmNlagg?XFb2K83hSg{!ok1CyyN-;<`704XK9<_VVBiDtS6Ro*ny zNb0}}fw7}?%PJx2KORci6)wLwKLb&tIF)wh4NFHV>JCnGMQHcA5Uldh$A}>r5{02u zgfIg0a4icB{Z+jN1=?+jAWn-6Kfn=EuA|K7Jt5eH(Ab0#CPJWQ;1Tk^uNt7xCx;g_ zO3}*wx`$%>CS9~Uq72Z68qY;*%f<85=eh?95moy6s?%U_&^Ldt^j}nRcyA06W}?P$ zv!qeO#L~2ds7wl9%W1YJs7x6HCx}W)Ii$XtY>sxojvLGG#EkC4woV+2XhNmis&*+X zckFWXjsVm{Q5N22h0w15o4W1X6$m zgNymOM(PoZ45a`|!6e_8(Pk58SQ@PKl`mr5(c}j>)>s}mZ65qNZ^=ckcWK)eDhcOSCEJ1jt$yLYBIp zOPWbaUT^qTza=j=p{;_77(l=!%|#_Q^^hjZ!pnckRln(6%r?!dxXaeIOshQ0YM!U! zUhp0sOFv9HrLAC3FD!+DA&wJB2PrQ$GqqY4=$&AenQv9MjlLE?C%L6SwZCt48)T~z zi=RTOnxxW|St?Cx2AqmO#nZk@buHJAt65I$Ms`0q)mR^|zVjSRU;6?1=aC;X`_}q# z*23TI2iVhh8mH}}OwTX4W3E{rZ8OXsaR`^q&bLs`Kaq!evfqXcz|Rj_I~`hpN41~q z+g107-PKbo-h*1bX|M|Ro)8P`Q!$B>4&@ATi-XUOjD#{jMMCeOndEc^%PKfs zFiOJrcvOaIs{hlh2JSBW&TI=;R&$V|ox%xs3f|4k<20lGYAVY*l+(zu50({k2B9AT zygMNOZ3S_5a}0W*M&GR|W$GpFzD1+gK>BiqvvLep6oCNp$Q2FK&sg&1;AQY8w#H7* ojwS{+|7qD7TEaUy8#p?E9)r=Sp(7XyR;UkOY41poj5 diff --git a/thesis/thesis.tex b/thesis/thesis.tex index 74acff1..bc79813 100644 --- a/thesis/thesis.tex +++ b/thesis/thesis.tex @@ -973,7 +973,6 @@ \section{Vérifications automatiques} - % TODO Sébastien % Pages : 2 à 3 \subsection*{Tests unitaires} @@ -984,9 +983,7 @@ Pour les requêtes de données, nous vérifions sur la base de données que son état est cohérent après que la requête se soit effectuée, ou que les données que nous avons récupéré sont correctes. Ici aussi, nous vérifions plusieurs cas, comme lorsque l'utilisateur n'a pas les droits d'utilisation ou lorsque les requêtes sont mal formées. - % TODO coverage - - %\subsection*{Tests fonctionnels} % TODO See if done + Pour vérifier tout cela, nous avons créé un total de 187 tests unitaires. Tous ensembles cerux-ci couvrent 85\% des fichiers et 87\% des lignes de code de notre application, sachant que les fichiers restants concernent principalement le fonctionnement interne à Django et qu'il n'est ni évident ni pertinent de les vérifier. Grâce à tous ces tests, nous pouvons nous assurer que notre application fonctionne correctement, au moins pour tous les cas envisagés. De plus, nous pouvons les utiliser lors de modifications dans le code de l'application afin de vérifier que celles-ci n'endommagent pas les fonctionnalités existantes. \section{Vérifications utilisateurs réels} % Pages : 3 à 4 @@ -1233,7 +1230,7 @@ %\chapter{Base de données} - %TODO include schéma complet + tout autre document jugé utile + % include schéma complet + tout autre document jugé utile % Le schéma se trouve déjà complet dans la partie d'analyse, pas utile de le remettre pour moi % Et je vois pas d'autres documents