From 440bda2762522ff7ebf918ae24b3af8a7ab084e3 Mon Sep 17 00:00:00 2001 From: Dorian Goepp Date: Wed, 26 Oct 2022 12:31:10 +0200 Subject: [PATCH] Exercises 2, 3 and 5 --- module2/exo2/exercice_R_fr.org | 21 +++- module2/exo3/exercice_R_fr.org | 19 ++++ module2/exo5/exo5_R_fr.org | 151 +++++++++++++++++++++++----- module2/exo5/proba_estimate_all.png | Bin 0 -> 15563 bytes 4 files changed, 163 insertions(+), 28 deletions(-) create mode 100644 module2/exo5/proba_estimate_all.png diff --git a/module2/exo2/exercice_R_fr.org b/module2/exo2/exercice_R_fr.org index 1bb8f61..506a078 100644 --- a/module2/exo2/exercice_R_fr.org +++ b/module2/exo2/exercice_R_fr.org @@ -1,6 +1,6 @@ -#+TITLE: Votre titre -#+AUTHOR: Votre nom -#+DATE: La date du jour +#+TITLE: Analyse de données simples +#+AUTHOR: Dorian Goepp +#+DATE: 2022-10-25 #+LANGUAGE: fr # #+PROPERTY: header-args :eval never-export @@ -82,3 +82,18 @@ faisant ~ Les joints peuvent défaillir en même temps s'ils sont le produit d'une +même série de production, ce qui limite le réalisme de l'hypothèse +d'indépendance des probabilités de défaut d'un joint. + #+begin_src R :results output :session *R* :exports both logistic_reg = glm(data=data, Malfunction/Count ~ Temperature, weights=Count, family=binomial(link='logit')) @@ -156,6 +188,50 @@ et l'erreur standard de cet estimateur est de 0.049, autrement dit on ne peut pas distinguer d'impact particulier et il faut prendre nos estimations avec des pincettes. +** Refaisons l'analyse avec toutes les données + +De même que dans la section précédente, prenons en compte les +événements sans défaut de joint. + +#+begin_src R :results output :session *R* :exports both +logistic_reg_full = glm(data=original_data, Malfunction/Count ~ Temperature, weights=Count, + family=binomial(link='logit')) +summary(logistic_reg) +#+end_src + +#+RESULTS: +#+begin_example + +Call: +glm(formula = Malfunction/Count ~ Temperature, family = binomial(link = "logit"), + data = data, weights = Count) + +Deviance Residuals: + 2 9 10 11 14 21 23 +-0.3015 -0.2836 -0.2919 -0.3015 0.6891 0.6560 -0.2850 + +Coefficients: + Estimate Std. Error z value Pr(>|z|) +(Intercept) -1.389528 3.195752 -0.435 0.664 +Temperature 0.001416 0.049773 0.028 0.977 + +(Dispersion parameter for binomial family taken to be 1) + + Null deviance: 1.3347 on 6 degrees of freedom +Residual deviance: 1.3339 on 5 degrees of freedom +AIC: 18.894 + +Number of Fisher Scoring iterations: 4 +#+end_example + +Cette fois-ci, avec la même erreur standard, on obtient un coefficient +bien supérieur, donc une corrélation bien plus forte entre la +température et les défaillances. + +Je ne suis pas cappable d'évaluer la signification de ces résultats, +n'ayant pas eu le temps d'étudier la régression logistique. J'admets +donc, pour pouvoir continuer, que l'incertitude n'est pas trop élevée. + * Estimation de la probabilité de dysfonctionnant des joints toriques La température prévue le jour du décollage est de 31°F. Essayons d'estimer la probabilité de dysfonctionnement des joints toriques à @@ -185,6 +261,7 @@ sum(data_full$Malfunction)/sum(data_full$Count) #+end_src #+RESULTS: +: : [1] 0.06521739 Cette probabilité est donc d'environ $p=0.065$, sachant qu'il existe @@ -205,3 +282,27 @@ problème... Saurez-vous le trouver ? Vous êtes libre de modifier cette analyse et de regarder ce jeu de données sous tous les angles afin d'expliquer ce qui ne va pas. +** En prenant en compte les situations sans défaillance + +#+begin_src R :results output graphics :file "proba_estimate_all.png" :exports both :width 600 :height 400 :session *R* +# shuttle=shuttle[shuttle$r!=0,] +tempv = seq(from=30, to=90, by = .5) +rmv <- predict(logistic_reg_full, list(Temperature=tempv), type="response") +plot(tempv, rmv, type="l", ylim=c(0, 1)) +points(data=data, Malfunction/Count ~ Temperature) +#+end_src + +#+RESULTS: + +Et maintenant la probabilité de défaillance d'un joint: + +#+begin_src R :results output :session *R* :exports both +rmv[1] +#+end_src + +#+RESULTS: +: 1 +: 0.834373 + +The probability is here far too high to consider taking off, admitting +that the pressure for the takeoff day was 200 PSI. diff --git a/module2/exo5/proba_estimate_all.png b/module2/exo5/proba_estimate_all.png new file mode 100644 index 0000000000000000000000000000000000000000..883a552e6f0371d89bd70c2a7d652e0c50ccf833 GIT binary patch literal 15563 zcmeJEbyQXF+Xjdq5fG3R1OXAGQ9@ckT0|P@kWf-mS{e~SItA&J4hc~jk?xR??(S~p zKEB`I@10p|=AHRxX02Ik_8)xw?6c3_&wifgzV7R~?)&&F%1h#4kzpYa2pp;BPn8e| z6b%I8S{McjoVifP?Ro*3ROgO&`I=Oyh+azT3Y>12Lvr_ldO_dO(H1V%b z`AF{PKXg+QDUPYJ1MbQDpWafPwY9-f_6=9>8v#z}9Idd@=K zSE>fwg!R5E^mI{4MZm*S9?}n9ga2mxP@^IcTH*vSf`U|xYY49)MIQu0#GFwKF5)J- zk3jU21>hqPrZ^H92t=9h|9AQS!OS#g^4Bjp?=5yU1(M{*!`$9#GUR9pBBfzqU?L!&20}a z)P%Lxb9T?Xs&kWK6J0fe&JD(X#&^}G-)_7I?=dajSSQgs8@K#Kw&NYkaYyzyYR-+2 zTQR?Hot?uDqP%~}BIelhO>R>6y$-+4`bI$o{{xF_MQMyjhXrDhz1Jlz$Np;O!Ok|P zReXwV*^?q-b}P+bwmHJMuhm-?_Ghm%wbdHCaQ>YgNtpB|JPeFYn>uTeyro z>UQe*baujSXpM-3goKRDTH>$V+}zPoE%s*E>2cwck*du9j!DvL#|-R&kr`+sd9K8vC5?CJ5`p1wB71hcrR_`=8gl=tf(OGKiwyu4Lc z9QXV8?-i1sgs*qPJ{Y8hkB4J;+zq^Y)rM`i92^{^ z{9wgas9@hmUz40`3$FT3E2=hG8><|9wf{Yg3ggwzz>>5J|DVKs&ex5f0!i3l6a#~U z4rAq(EG)N#%rFrMCDC(<#!d3_%q^x+dE@BJXuT*|ZG*}V_s-4}&hclKQON>%bqOO& zR~YCYX4ckRSNiEv6(8F#_ZqZ>yof~y;HG-d!a?8ikpAJ(aJp;gdEDop%obyPIE55{ zJKN2-hHGkSsxUwZv=Lmfi+NLFh>2#EPSj7C zaM{HY&WMG5R$$GVEVbQyLq!q8VPO z=41OI-L_r$5QP$XBs-y#Fl#6(DN#3Tpo-!*_NIyt3=H7ieLOusU-r5QiR zO8Bye)T^6C<&~ASnk6K7mk(v>?fNsMnEo9?LPBi1)hYZ02*jt4v;qGkTAp~OrKb~8 zP}IC`3J41eYi)i0^7Sk>4AkI3HfuUJ?(DZ4Bczhj zQpG)2QwN(90xT?Y%E|+Mee8mQiK~wRIHKXpUA*$TD?eP0UMslTxvM(UM=}-VniwzL zBQAY4k~qK{-z4N2ug?(+OCl>RJz8qg6UC(5-XZMrju3$u#lsxe^fgc0d&DyLeVQ%3 zA)vENK>B3}*URU}p(|@^TVp@iXlWaN|E8g*_oW^CeaMVJxJ4cJkQp6ekIiq~9{Ebx zGC3KSm)=0U{UE^Bdg=ierr_H@(Ius7SAsWg_?4BF4d$tbl5#G#P| zMrz;kxgRSECWc0ah6}{1+o;S7wKU$*TlZdfyts8WKbxA7QRcWYdUmu0(HI1H3tL(? z(|();B0(t9r@Zw}`!mPFYmS8xv2tQA`^({Rah2|8j_T^e1=>Hfw6&EJVeN#-%MC6G zdEzOEiOVg=$}8-ao=HexqIxTM;vx}}=oR_5va%!bO>MLaXnmT(JsgMxG}v62~Q*iV@xfERi`^yc&fK|dT~)rQBlO&HE9Zhlsqgss_`YUlHa9iF=H}++enA0XGWn63NB{>Xcw|IFTYD^= zMsjg}UJ?1hC5i;&eK^hzH{!X?hlUEYbGjkwJjDp4LvnIf*y_%eG&NVYw)9k0C6J?~ z!XQfZDgL|u>C>m_>FF2g&y0+W{yjm_N9C=Zoq)&rG4GVyhlvaXB1)V<>34lS6(3(k zNlAZ8OIArq1akB3f27X94r~he^yv$`LGyB7Is~62^4@V`1WKJvO?3C~&vdZWHCh4f zlup6OF)=i>hgFP-h?t(%zZd%NQWsGIX*5_MQc^zS&O5Mr=jU$7sp-WCPz(S-ULXB# zKHKOoB_*X|at)DklPJ}`7?#Xw^QD{Hd5KZSw!Iz#fhj^DO`)nfDDH>5vbyTx>Z-1; zt_+hR(wvI%mEglKjWW}|hL1NVCMGC_+@2#xsOd``rHhM;>xV~~1aQ@tE{U8is!~NC zrQnW*q$kcCe0(Q>LCyEY5eOT&y?~L?0?fIAfx%r4R0RGFqE}~+44Q*9ON}dj{+#Zs zMIbD1N{m?j{P}Zzs?M`Lis{XpH^>o(Q7|?fHum@L?yn4J|FF7P$x6;fK8Z%rXCuhh z_nDHClBnn}5P zZEv@Bbfoj&M2HCZQd_k6Vw2t?Cl_$uoxe%Ks+fp|NU4c%BZ%ly{c7ak=HK%$zO%Cv zvdV`66WAx*Qbex|Hd7xBr%;@DFPca;_} zvgc*&@0sJXvpLcu2qlSgiILs;%{@_0v9mSKUCJk=i6#1X)Wd%%&hxX~B;Q?L)v+Kf zPyF`nTaI!Tgds68u@dqPCh$E8+8s6qP7aGBCEUtYr#8`6V%mKGsT+2K^h(P3Z8cvf zC#${G(Sh|_Ut03>C}k4{bZP12ggdMmtKF!Raw=pEw@ z;~68;Ep0&x?ax)x0~{=iS#3+eeI5DM`sS=9O2zd6Yt$ znZO@*1%rcwQQnJqvyZVu*y&U`GCg?U>*K@4%lmI*OTTaolDB%RB7f4N+Y6cQo}f!L z=P_`Gh=^P4%@KSL)$$+P&VP!D8UFR*24F`Hz#5eUt(H#%v94gz$DE8z>QL<}sgR$z3d4*2_lUAIR(|0j&xiYOH(ReP~mf_)m4Aq9!zQYZeVhkiLOaV z_>=wG(8fryf!$KKpz9&?pe6#5@#)wpm}ly-^Vg|W$v{C>56Uq0LC#V;yuffz3v#E@ zzfNV|BQ##0Qd4JO+OJ=~K2_~ZNJR7$8OJ$DPDDKXbm^5=^IBcf8dH9&Y*l*W!n6`b zo06)kAS8yrr6!OPBprzVbM^nI9BfQT+ahCPLW6^K$}RqmSJ?fqnrJtiZKMNfig}K2 zXe!_lf4TpvKMp^pcE~u>Sm*SoPrh_@j1zmqiyJY{%HF^9^R<6;_xJY?5C2F_eUF4m zm55$qQt`j7-Q4xvsvM=iggF4cSYy^UHMkiSBch5L-T>RJFaZzgvQFNA_Z&+4ifawwnr zTuJ`i)Vm-%tNTfqCI3}$UYkF3XaDqYUjcWB-&V!vx|y?!iklL5;Db6f~QV;gz}Y7Qc|*y(A{Zk($dHXnGn6ok8}yzL(ezox0~CC zzkWADW4pX#n7!=qM>X1lBka~hrNdaAr>CM~FP`vuZe9|7fi{6jz6dS7M` zR|~6P>;u;3*p{_jWQ+w@7@4uLF=VdV+S-m7HYbOsf`Mxynbqn(U3K?_jE{8=H!2pF z1&<@&zyF2Y*eECu9zKM>ND9(xJSkuvWn^lRk(L<{X)vt=TGHR&A1EhK3uIm~<=nC) zD6w4f$a&J+HkYX`OtT(S=H(UI`mX|ECvc}8?E$91^r$IZjcBLy9|k5#e_EgyY+ zWD_3StdA6b{`?s^+~cFkx>8w9ow>Y;d&Zc}&6NS3e=@w+qT}Or-jXq$e~yWXf$#=g zz`OUv)WSj*xgef%*7DJ@wOa{O0#3w6W_RYel#T^p|6iRfCBrlUIUM{dLxNlexALQa zZ!@FKD<;n_OB{$o&gz8+zMBtUzkw_J<9GCw<7Oz?2pv)McM z-M%CxP5KiuprD`x1O{fwCrbYt?dpYrPmLJQ=AqlsozzUG5Q2uR?Ck8j0*)2{_-uN$ zL7zUQAjcrQt4qMaC0lvKl}e4(iU96INLc!AXZGVw5+JASv6ODRoCvR|`W_}z18j7f z2M^jC8ylyl>WYiQk!X_aMU7gFaq}j*ut)WeA5IPq+{g$QTCCAYM_4wtv`C7J8+3kQ z-`Uxr;J5$xz^UKF_doS*&-_Lv%7ul`k&)s6hF*1k)TleF6ID(xUyjeWMHaoR5c_vp zRDvL4f$v9>+N`(x=<=VOfwo8n^}?6V`^ztoQCJ-qKy6Wb9K1BT_AY`V(bU{LD5I`ts@3_ z65wsL^W{s0;I6#tx0YWIHt9(g_Dm{ux4$tZSkaTbWZ|Ta58va~U>@obz6#13yY8hD z-dOm;*KF8dSdYKP>%{JDD_$&4+-V$^EFB9Z2X~x(DjXJ_N>Hw;y1KgGzkmNn!^Rza z0*noY6HDv9S@~w!MR4n-(B?RclF21K0k#r!Pw*5b$k*2wx$m_im)kfj#FuWjy@@|v z)(%=7xJF{t8xH~j)IfDj%|Dt;3>m?Hm_RveD!<^y6>pXLMr6<**P@Tfm)K#dFsll( zvI)YT9xg8Yus&Y3j8#o!!mh*iSL#zFl-rl}HVv?<%gf77=yrB?EX>S}_i$-H{+^+w zqeDYQCAxiE?#m-&@(_{yZ(pe%K&_=^De)KDP2#Ais88&~&l55;jcsj_+;VSscbiBY z5%$D?lk9f+wpm`@T70oE(WRKKt_S#4sG_p59B47B2rnP0G>o>YwnaAU8Ylm-V>!L)8pVjL>qNb+y#idwXS@CD!z2-&h|9@)n&7#w6M}v@nT^s_F zd9t^Joc2l}asSEe6M=#oT?eWQv9g)}as4`dUpdK7SpXgDt;HtivFJ$>B&3(EA9#Qe z;Q&?3T)SZ~%Oez$)gqkjA0F-elP^OV6Q=5aw9ESJ@#>>SVZk!xfPet7V+=WB!B@h;!9i}5 zSh`de4&RdSM02miJVWE_q`&kZL3(qUZzaIP3;p@?vAer_F5xvV>;?*9(b1FB(?ZSC z=79lD0fBf36six3KE1g6TT{Xy+PJv5`1oRxXU*ZP(A$b}Ao@+s&9gifh~9EIWd%?| zOG~?bat_hR`(Ikn5H$dQl#o8M!ni9Al6GZ9#rMIDVPufQI>6QfPAo9mtEQ#~C>x)S zJm%ms$S$`&t{tabU}9i=D=$CX+4&1TO`XTZWrz00==VGrH+TzehQ=l)H*Va>`uer_ z@3E688>ququU=tdVnU3-`~Uj&3mqLD1eD4W3g$23`(-jNrCJ zA6R0t^pRAb3U#UuHz&?!e*0NQ5sU_dNC8~_1`N;qqXi;RaFAt!$l(A zGNX>xNJY{+Kt>rGa|K5oY`Elu3h>czad0Sv+Pn3lkF(R;zKT)B4D-xt-j+JPE%~ zUP(^`1;MLVe)-ZuU!RJB0mN_^<2o4{=_^yycOa4(6p~PH-0<9#tAq^N=Us2eQSp*h zE6i8Xhe}|?!qLz$BM^DqEW|+d^2Ct9D4_>c0u~E4Hnyys+*e@aW!D+S!bE{&gIFGi z6^LfhrYFKe3IQdktdvN}$!!4S0YkB}vbx%A$3moF65VetA>}l7yEqt5N=i~M(na3q zITM`zDf$6D@v+ToNTdV=1S4`-h%Ipf?{)APA$k6cjvj*7EsiHbOunZ^)zW`-2lfg` zknR2b>UTTTgEk0}fE0}P&(LwmkOsh)FJD0JMMo1O15ibT0Hwy%)U>gwNmENJgp7L? z${EP;T1~}x?|29MnW^bAOuV_WFO}b)gqV3$ZOBd@FVqKh2ww#q~mlSq(d$6IFS5|`W^4(&HLTRN1 zAwMxeL0GwFx(bQJ5i8iepNg!&AMX(+-z4q(lWUg%4y0scmDW?W5M!*GB|a^4FTfTX zjW`Ze+_rB?P_?E{WSdbPpJHb=$vG;yIhZkGf@W$!Pfy?0)+X+YZDV7@hZJcxh?Fj< z@|-B#tF}+z%PI<~4k+FW_$_=OSo~JU_`^sR8vYG{JO~aji_y^0iAhM1Ds|NBI56z% zl<2{)&)VFyqWGxdPO|frg*(bI32Y<*?#2k4-v0gofB%!+4mQZ#pwe2F=AQG4oY7xW z8y>}8s2WEKjnKFgD}1eAn10Y z=-z;Wu*9=xhs%8*zz*MjbBjd`Jn5w21{Edc@RouJ5gss{-~zA%nRP15Krlj_{$qed z2)7_wEdT$xjE9z=pC3XgEcB*71DGwVc6okgrtj)g#I`6HDkaP|nJug5wK8}{#45a4 zsNT)1F+XnAlBxW3To0o8`m+VQwebD*8%Y9Ag&+;U#RO-7h2^I{h6ouDhj{CR>VE5k z&8DQo#naqfS$bt%)t=67L1yFM-vqL(XMHcJ22fE%9UQ*<`%AgGRl~Z<$_6c8^Luj7 z8YW||B~-7>^o6MC`^MdK*eFN`3>Q}jP^Xdp;-zHB-4%#42rcgqA9i~2!Vv#$XCLTM zT0i*z`2qZ5VQ&D##Zupb76Lc<&!0bFirL%RO3TY1?(fgrRtTSO{{{g9%0jpL-Tn8E z0186D27qD&Pz@0D@EC^oQo`!?_WPZ&oWO`=EetWvVfStrx?k)!&3=fG%I?Ml;0 zuB&iU(J*&V(jBd>RBclVm{qn50n3ur1qGIBYDmlaXk*L?+}>BeeRFbi0|c-?{L(Mh zfG4EknVXx-$jE#xK*RLz9UcaM=JrKw&ytCW2_$i4a!kW}j&dlUWc+X`zz}Q+CSO`u zP*qW}2Q3STM1cCr+&nKY4{4AB2Qi0?vbvg^o&A`PuM6B0P^q$+KRpB?TNHqzQdGo` z?-F{qt^f3?&lmbrHb^@ZckkZ1b?fn6d1>hY;8Onnn1iVz%`**-2=+K(&r7hV;cS)t zNyvh+0?gJzaasTk&&U}-E)H~Jd`Bv@!8H#*0_RxovL)m`?5(h0#3~QyrG<& z9HcCWR~$;Amv>9gC4opiU}Rh#{r)hy2Q+p)L{_#uYDs8cJK5Nkkv0EpswEaT$h$Oiop84YD`1{!|Baf#`NWnsBOvNT2@ofrf@guf|0Jc?~vP!|Jd( z?hKoJWn~3ui*lyy&fy_gS~Ghmz(P$ukq`O;`5-xY3hWf%!EQ_46n*Yx|2%(IuR~M` z462*5va)I*W)D_Xq1F&g&Wj5e350LN2y0tmS~ne0@}bR;UjTXRy{pd1$bdWTowx}L z3$wAY!BXW8Tzk%BL4eXq1wjlZ7ML8bp{oKIF_6db(N6%Sme;_70{6Qmq0^~kqZ;o;$b|Nd2xyqun4R{^# zJO#D2mvB$G%H{mn2Gk!EK7guzj*800#XvF`M5XeJ7d!jNgH~$yaAOS0PMUQdH30$b zKnZnTzRWKu$bn0B;nHJ@55JZNvJ{eq+-omS*LHVz_m+CBN50MM%(XzoQ1DoMDJ?C1 z|Nhz_>9x^&(71Ey8xqnDPIOBsr2>8-%5}NF!%cyX_=YyoSb`*l?5EvL4`fy;8=wb zz;wX)1_uXo*!Gae0LPh zpE&i~NA(`_R}XS>S`B`nBhDGLw6xOl&Zh2Jym{k%vbz9#0aA8&Qqm>p`i2HEp=1So zpTa`cm=35k(D?nHv4yu8?(M~=!1OWvSE4_^_#xbwHR-H7NJ~p9izcT$HZw=^l=-Oi zMR@%=LWIQD))o*3j;*UA*uH6LY4Cb6Y1NE1;`G4STXfa$ht0@qod1{h?9uDZDcFAywl&=Y@}ayb9;vUaw;}4_>c5 z#V(eFYUeQW@HDx~#RzSA$ja&g_yoo=>>_ZI0wFBh+s(|)(NM0%cd0@Be{hid(W74I zR)7QWA9f-9V{lMaSvm4tE5-7^NmqJPlBdOaTi$By-wMB`R^jsCs=w<3TB7SvgclOi z)cgyt)zC02&X!$J;117(GstoRv1(H+&8`L=efZY!%0V=oZ>LhYd0!sy@1W^EU5C4Gw1%{fDLA!X+mk6rje`Z?e zE~ve@MnDdXjbUfwQVJzBo$ej|g;F=Dv;EaUb3lCSP`yffCdfkowIKHkKA^m(;^zJi z1zbQE2p)5aqMRK6pde;8Hau)>w=?PhJSG;F8X#klZFj*EC@*(hdk2j2*)w18hQJ#X zu6S?-l@*9X*mdb3N+F<;N-i5<;M`UUOkieabY!HmuC5Ru6$H-Em8zbe z=jJ%yz0jrU>E2=kNpC7LsH*}3g1!OTlA8-_4+oUJB9oK#baXCO2lF6;78i}dJpmc* z?0f=$BWNW&@jqunbseTGGcyxXI1CJC5HQcQN?Auo2Sy9cIB>u}_UoQrUCd8i$6E(o4g6R@Ko}YrHYcheiok*qOYH?* z(9x-ZhYT0#LCwckIDA3K!hXdnvxN*4h8ue6olP}u4rYo8F2ey$X&kO zRNl7E&Y+MGNJBrCe}h>C0Dvq3v_;Ux#>N7!69o(K@j=da0^UdIk_^^2lxkpk2~kBO zGUDUM;E8;9p^UxdH091PDq>+}mgS?Ub6w^C9Kc5yuj0zuy4Jz%_r1UY+Xnf32KgM)8OP0Os@z!_q{gAIo1{)#fR1`SPkMMp;i zmY=ky0jJ<}JKp~B8+scFQEkBHO-V@^Lhg5H@7ki-0<`~-oz2*nOp5Ir894wQ3y<%1 zLn6>}ifr%b00JTaPz^Zgc}5SttUMj8;(vM) zrst5yUbnuOSVK!)>NSykAhE!ICr@YKErIW0dOw2X2{om)cP=iK%i-0{&CO5%SevY= zGJV3vreND`z zp-BflTyS7?aBx5=%wud};RfQlPUjCmvQ|rJNeS4Z!n;C1_aW$@tfjnm_Oq&r5cNI- zgSwtxQQGcV&K?Y4&bETmh0xvo0`lSz9#9e?4w^C?C2!QO18!AS2RU!g3tXtJ0ei9j z{T#8aiHhAIRDTI6M(B{IaRA8Dain3UjczJ$nl+> z>vPUSMS7HEWT(3e9q_`I&}t-nbzW-f1`R&IFTu?MmFw^4*8(QG&@Me7PqJLP&+tYAPzGWM-DT9IOJb2W-}YoB|aaO6O#FF9Cl3Nx-$TGA@4pQK%;}5=GF$ zEv3NV1A+-d&eyGRfrnA*sX!>g0p_T#Zc+-a0Y)Fa%otIEFn%;R=Fb6&*^g_I3b!zaz1Syu>X$P7f zwh9=yi9+s`4vJLxpP-b?V+l%qSm=ZvFnG%SDDlUSBLD{p7Dnm^7Px+#@3yBQRVvi> z{Px2$=}FpHTRZ!WCk*)eJp@#!!)VzXXmV*edbk zn-c_F8IqQ)n<~~>qm~Y_?t3hCbBrB76gukWNYnc(WM2=>i-t-9!kXw#(a?I%M1Pqj zat=Kwzx1AY)|F!4_;*%%rkexW49)+$N3z<%B=%o(@Vo)~A&J>^ z&)X!MThSR9vWB!p+n<~=9|DdDUmnjX2wyyPz?XXLcKjB4@xUX?!KKE8W=L>gHm2%? z2SqQ%pil=riO<;~BmM9F$|GHdphSb2IFR+o&VVCUmR_f}gsXz~nU7H5*TJJl9{evt zSYs5B;jY0P_c8}iE-y3lnFAK)uh&MZIy#BDxeo@JXj8v_m0%=#z}P!`aviV$;@jyQQ2g^IQy>ToJTPRe_eZCG}>eem9@d=>dRO2LF9E-iZP1ue#r|`J? z2HDGOPIgUo(}P&mjvp|@WU0p9neFXL3#^%{jAtcG5pLu^wa%eYol#d37Yj)|~q(RJ#x5XuzKGbqf26ZP7 zUbl#c*ipI@i|)R|X*bJFL*rB#RC%r|sDO1Scje?gb=WzXy?d}|<6EF77ps#W#?Z5| z#c|b}K1`=MW>M6M@yUfMtgR^m=b(D@W)_%A6$zio-q^i5ZM5V=j<9Teg80Dgyq|p( zTgCjxEYhpK1sD>&?Sp zLTw2i@D)7yyfeL%ROm%sxOrVewee%-91 z;gVkF(VCE<)wAKgi-pfopEGQVIW&FF1;}gY8|N`$oiV;|)^z4#1-_HLE_3s%311!Z zYAt#QxRoOEnesnP>)M^8TgRHyskl;P>4 zzZTKe-gjk)NjkV5@ha14QR4ijx?{m3L$7{%qhz=9y^6VKk+9=d$EvV~s8us}^Ea>X zyL{e?tLwtGdVQbQntXy-qp9MLPYrkzs;^h4($r6X4>A~l!^P7kIhwh zNFL@tA#N;=b38X9Y-6h;WA}jw=X`I$s-_Wp*JAYHx`hpA-T7#{D7rY$LhIqtTbjPMT1&%Eb8DS~BQ>hz9O+uix=3pEm%@^PKN9b8nK5|Jr~ul7ge z-PI=E(0~0myR=Mew?!>Dahl zfT9}7!*}kl3a$_j4L;yzI?fGc+z#x{jcRMc(#tBeFYO=rGvi2Jb3Pwv+?T=(pd?jt zvg>9Sh!zt+buY5739F;%>ap`TG)aY?R+q-=5kH5t7k^(eYr2|ii&z(W+}NAE7f9%N zCB^I>*z~~}`GZ5l-8+zg>V-f4Kl$6j>;YTL#H%B9t?ZC%BG%xnu43p-RlPm>ygkQ8 z{W19+bT2c&*>(%cx@FnH3bq@a0-6kra(V*Y-6{%IAA;9P=1EvkMYp#kM*iODvgH{Z z99r*XTkl<=yuKlO;1Gn){P-Y_)(r1d;~m?V$L2r0p zQANJAFJ14tP~~?OCtmPL=whoZR&kyhnk$m>#wSXA{7cWiV%y1cb9af?a+Y%(GH8z-IohnxE1<#j4qFqj`>4P`=R6^*$9lxbA94JJ%a(Fr zVRS|2z~|d?XATL?xnItU8ZIwKFF6MU0>7HoL)Fv6=4x~5Tu8q^@~_A()L)8IXsNbwj z!P87;F=R_wm*?gKYb#w>*$K-s?s%9R!SO-mhV&%tBRj=go-PPYNPsg>0Xvzy{BN1gzP&$HN2>x#4Kx{Ai}PVaKjIZ%Y32Z@c)+I?OssU=IZaI`Ky%xT}DVr$UiL<)A#;g06Mgf(f|Me literal 0 HcmV?d00001 -- 2.18.1