From 1bc769ae3e0682427ea09f21cc263dddd459d009 Mon Sep 17 00:00:00 2001 From: aaronshaw Date: Wed, 18 Nov 2020 13:24:51 -0600 Subject: [PATCH 1/1] initial commit ch 9 worked solutions --- os_exercises/ch9_exercises_solutions.html | 1716 +++++++++++++++++++++ os_exercises/ch9_exercises_solutions.pdf | Bin 0 -> 64191 bytes os_exercises/ch9_exercises_solutions.rmd | 120 ++ 3 files changed, 1836 insertions(+) create mode 100644 os_exercises/ch9_exercises_solutions.html create mode 100644 os_exercises/ch9_exercises_solutions.pdf create mode 100644 os_exercises/ch9_exercises_solutions.rmd diff --git a/os_exercises/ch9_exercises_solutions.html b/os_exercises/ch9_exercises_solutions.html new file mode 100644 index 0000000..d4b89aa --- /dev/null +++ b/os_exercises/ch9_exercises_solutions.html @@ -0,0 +1,1716 @@ + + + + + + + + + + + + + + + +Chapter 9 Textbook exercises + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + +
+
+
+
+
+ +
+ + + + + + + +

All exercises taken from the OpenIntro Statistics textbook, \(4^{th}\) edition, Chapter 9.

+
+

9.4 Absenteeism in Australian schools

+
    +
  1. Here’s a way to write the equation:
  2. +
+

\[\widehat{days} = 18.93 - (9.11\times{ethnicity}) + (3.10 \times sex) + (2.15 \times learner~status)\]

+
    +
  1. Let’s go through these one-by-one. I should note that I think the labeling of these variables encode racial and gender biases in some quiet ways that are irresponsible:
    +
  2. +
+
    +
  • \(b_{eth}\): On average, not-aboriginal students are estimated to be absent 9.11 days less than aboriginal students.
    +
  • +
  • \(b_{sex}\): On average, male students are estimated to be absent 3.10 days more than female students.
    +
  • +
  • \(b_{lrn}\): On average, students classified as “slow learners” are estimated to be absent 2.15 days more than those classified as “average learners.”
  • +
+
    +
  1. A residual for some observation \(i\) is the observed outcome minus the fitted value (\(y_i - \hat{y_i}\)). I can calculate \(\hat{y_i}\) by plugging the observed predictor values into the regression equation above in part (a):
  2. +
+
18.93 - (9.11*0) + (3.10 * 1) + (2.15 * 1)
+
## [1] 24.18
+

The observed outcome for this student (\(y_i\)) was \(2\) days absent. So the residual is \(2-24.18=-22.18\).

+
    +
  1. Formulas for this appear below. Note that I denote the variance as \(\sigma^2\), the residuals as \(e\), and the outcome \(y\).
  2. +
+

\[R^2 = 1-\frac{\sigma^2_e}{\sigma^2_y}= 1-\frac{240.57}{264.17} = 0.0893\] \[R^2_{adj} = 1-\frac{ \frac{\sigma^2_e}{(n-p-1)} }{\frac{\sigma^2_y}{n-1}}= 1-\frac{ \frac{240.57}{146-3-1}} {\frac{264.17}{146-1}} = 0.0701\]

+
+
+

9.16 O-rings

+
    +
  1. The damaged O-rings almost all occurred at the lower launch-time temperatures, with the lowest launch temperature accounting for nearly half of the total number of damaged O-rings.

  2. +
  3. The model suggests that lower launch-time temperatures result in a higher probability of O-ring damage. The coefficient of the “Temperature” term is negative with a very small (proportionally speaking) standard error. It is statistically significant with a p-value near 0 (\(H_0:~\beta_{temp} = 0\), \(H_A:~\beta_{temp}\neq 0\)), indicating that the data provide evidence that the coefficient is likely different from 0. By exponentiating the coefficient (see the R-code below), we see that a one degree farenheit increase in launch-time temperature is associated with 81% as large odds of O-ring damage occurring. In other words, the model indicates that higher launch temperatures associate with reduced odds of O-ring damage.

  4. +
+
exp(-.2162)
+
## [1] 0.8055742
+
    +
  1. The corresponding logistic model where \(\hat{p}_{damage}\) represents the probability of a damaged O-ring:
    +\[log(\frac{\hat{p}_{damage}}{1-\hat{p}_{damage}}) = 11.663 - 0.2162\times~Temperature\]
    +
  2. +
  3. Given the high stakes in terms of human lives and vast costs involved, concerns about the relationship between O-rings and launch-time temperature seem more than justified from this data. The significant negative association between temperature and O-ring damage suggest increased potential for failures at low launch temperatures. That said, several limitations of the data, modeling strategy, and estimates should be kept in mind. See my answer to part (c) of 9.18 below for more on this.
  4. +
+
+
+

9.18 More O-rings

+
    +
  1. Let’s do this in R. Note that we’ll need to plug in the values for temperature and do some algebra with the natural logarithm parts of the formula (on the left hand side above) to find the predicted probability of O-ring damage. I’ll solve it by writing a little function probs that takes fitted values from the model and runs them through the inverse logistic function to return probabilities (see the textbook for some of the algebraic details here). I can test my function on some of the example model-estimated probabilities provided in the textbook:
  2. +
+
probs <- function(x){
+  p.hat <- exp(11.663-(0.2162*x) ) 
+  pred <- p.hat / (1 + p.hat) # inverse logit
+  return(round(pred, 3))
+}
+
+## examples
+probs(57)
+
## [1] 0.341
+
probs(65)
+
## [1] 0.084
+

Both of those look good, so now I can plug in the values the problem asks me to solve for:

+
vals <- c(51, 53, 55)
+
+probs(vals)
+
## [1] 0.654 0.551 0.443
+
    +
  1. I’ll use my little function above to build a data frame with the predicted values and plot everything in ggplot.
  2. +
+

Note that the question asks for a “smooth curve” fit to the dots. There are many ways to do this in ggplot. I demonstrate one here using geom_smooth() that fits a quadratic function (\(y = x^2\)) to the points. You might experiment with the different options for geom_smooth() or, for a simpler solution, just try geom_line() (with no arguments) instead.

+
temp =  seq(51, 71, by=2) # This creates a vector from 51 to 71, counting by twos 
+
+preds <- data.frame( # I'll want the data frame for ggplot
+  temp, 
+  pred.probability = probs(temp) # store the probabilities as another vector
+)
+
+library(ggplot2)
+
+ggplot(data=preds, aes(x=temp, y=pred.probability)) + 
+  geom_point(color="purple") + # Plot the points
+  geom_smooth(color="orange", # Add a smooth line
+              method="glm", # Create a line fit to the data
+              formula = y ~ poly(x, 2), # Using this formula
+              se=FALSE) # Don't show standard errors
+

+
    +
  1. I have several concerns about this application of logistic regression to the problem and data at hand. First, this is a fairly small observational dataset with a lot of potential confounders and threats to the assumptions necessary to identify the model. For instance, the textbook is unclear whether each mission was treated as an independent trial or each O-ring was treated as an independent trial. Either assumption is problematic. The O-rings within any given mission are probably more similar to each other than to the O-rings on other missions. In addition, it is possible that the O-ring production or installation procedures may have changed across the missions over time. Likewise any of the flight and/or launch procedures may have varied in subtle ways correlated (or not) with the temperature and/or the O-ring outcomes. Any such clustered or time-dependent structures lurking in the data could lead to unobserved bias in the estimates when we model each set of mission-specific or O-ring-specific outcomes as independent events without accounting for these added sources of covariance/clustering.
  2. +
+

Furthermore, if the model treats each O-ring as an indpendent trial, about 50% of the observed failures occurred in a single mission—the mission with the lowest observed launch-time temperature. The result is that this one mission with its one launch temperature could drive the model results disproportionately (it generates observations that exert “high leverage” on the model fit to the data). Without knowing ahead of time that temperature was a likely explanation (as compared against any of the other infinite details of that one mission), it’s hard to see how NASA analysts necessarily should have drawn this conclusion on the basis of evidence like this.

+
+ + + +
+
+ +
+ + + + + + + + + + + + + + + + diff --git a/os_exercises/ch9_exercises_solutions.pdf b/os_exercises/ch9_exercises_solutions.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ae7461dd4f5d04b703a5275136a7b65b0097c244 GIT binary patch literal 64191 zcma&NW00Utm#$lOmu=fdm)T|8wr$(CZQHhO+ji}KXXeCwb7s!j^Cu%S5-Xp`cp|U0 z)}17>LLxK_v@B30hqqU+P>l5W^!PUV=1{+X(}|c_IvUy2iCF468VMO0*cckoNg7$3 zIGW-!(bKc@@IW~@+8gOvLAkCEsZUuGxBcoqp*ROsk1O@b-4pbk0&25jY{3Ulx!RUE zrgvCdf%_8{UoO5y>p`kI>E6+K$`0mGnS(!bj5dY*;S>`1(#+xH&fAR7bDr5r z>5bKueuWJdZpR1~UlrrER1#Ky&SZUe(2sj0Y!U@hPH>W`) zf1P967omqE|0$|f$nqe)jDrfQEwZ8VLJbl{Y0#lv-aFJZNh^n!<42%UR6w3Yi_1@? z$p^c)_lwLiEAZo#eNo!+lT_eI*rF4JyMI7t5FkA(;y_*6N@4jLl4(ChqjO<7zt~rYp(|Mvd2@+I{^R>^&rv7FQ8cD zkP{g{0zC1L7%frSDOGZ>b0I!zC2pcw9#$X%!j=+{aEaVWr}IG5Z2b5sVz;5UZbPzK zqas*9H|!qv`?#~lYUyFA3bcG*$I|p1h%WJ(QRe=O^Zs%k#R?-VP2_SHCjqSv)II_anEKpKIasG0w zMJv_9V{EvGD}X(^_6!#HTsX`cEXgd07)Y_*EA%c@j#VL9yz0q4R!rUo@+8hVds#rTJW+mpK-eptx z{d1VZ~+i4#EagEi|R-dXB9|!#2z;iODCvV~dbxwyxMLkq6>Y^RE)- z%g9>T4WvhIR3eu@-bOYRdy1^j$tz2~%!k1wp_RZf8?oWHHPi}4_L2zdwse5v0yCUo z6p*sg#wQ;Hb}(7sMEBTpXv>%xR)b1X zJ%b$yUz0DxW4H$M)Mfzs0e5U-pHlC3$FU5_a0h0>DY=4DHKXj)ujPlT3$x6H^M$g0 z03@i@ul_0<(YN^$7P4&PXwhMg=k%y_`Ua#d#P`R!IpGq7ddS$%hk!#Q_4m=NOH0m=T11 z7zw4>{Vj%vQ? z+Osp~6wE?=QA*)gp;@LRq_f?;lqqOXERG-%+Fcsd*W>#$a%l$BiElQVX7_-8BcgJ? zaYo0xtaow|lX9Ke$rk;kVePYdooJ038?j!uk+8`P^_9M&{oUYv zsbR}T)X?5uvQC3p4JVU*K}`_!|4gUU8#D;I;XQuWBXw!m}sPW3ktm(BOjj1C!H&(F7C+ztdaM;=!z zdg6qe-Q0eR83SrUOsA)hhBe;7mh{DKj(9Nm_`?h8{(-NE)Fyw>=6kjwwnnpdxp#jd z!q8)5Jz!5A^_Rs-yod|yxV-6Fy}i50IwB2m5i|1sLBvf+!KfWWwC60Y@}Vee2}?jm zSTwkPhyU$}5|XW8K2b3ZR%+RC=Vd67FYuf@JM+d9TS9{UBFMIxog@ZN`)HzK@$p@> z;rH0{jM^HyPyAPuGv#SxNpnSqH#WeqIm!S9K<4t4XmXe|ux%tzNv=LN7_Bsu53X_~ z+!1Hr4+b?D_l(G^nkfO{J3Otk@T3f%gmmia2k$T1Tqdp0S7L1d3#XIqFdDp_t6~?$ z=MGJg<<#b7dT9zcQo(GQuRL{#`p!Kr0Jqw$N*1R+A*P2j@8+r9GjRKQa1tS#Ny~(X%QoiJClTHhHYOz9;Apo5n6{m-_8n_- zr67mqEs*vc?H-jI*bvwTPz!)l{uT?p5Rwj7k?zlcTfilx~@1q^rdMwAq(@GPV zNIIlE=SsnYDU#;A+uNTY#ONr3HAcO^z>yf8Yczgt{;$LJa`0j~>QB8eS@Ck`9wf7LcjW`1}i_kpzXE zMkKL{C~B=OiV+dm0|mO$_~HVO1>`9ZV@^LgA_r+6pz8&3z^MJ?xh%15ASp5ubiR8% zK^&}Qs-sy%#hl;9DS%#ZkCuE=e4a9dGkjM`4N3_Mx~M3(bS4z!y6Wvc(@mr*0y{8C zJ0Ns`Cr)vq9~4t4%``EK z@vjW`m*U1gJFfY|_tHbd8T?0FF--+8&pzHqsdn(h;tIoGAQ6Ezn|wu@1zqcD zwx;&aW2qR+!sn9UQk`xejrS#9kQ*L6z(0Wm5VH*QMEsjz$2vAZ;}spBfS`dwpA1Y( z%RMEO^})%d^$JNx9tFZmPbmTA@%O6Inm`l~Ss21BhTEGu+_Fj;k!5m-1&YFX{>Nqn zLr#H!f7nCdHv?jwEQL0)8m)APC4bbovT6xyUo#uMGPs&YVx`sl1Z3WNOU3*uOxzrH z$i1vZxRkd;0rstS&i!|+GlKA5xvo27O2r(TR&)4+N=heV1wwFGv5u!PbC(i?UX*tr zbbt50N^j1g*!wu-xXl(3pa3AC+|c-#+eF$7Zv-ua-?H}>*-uq_a=1Jp#delB5(sGu zio>0+?R?+!F8Sm=Kp9yZ{s+qct^EW4jI94FFMyeq?Z0>dSQFM3Ep|IKvv8pVAvV3Y z`Fu#Z9gW*4TB^%RtYiDzQa(M{@q(~!u7-b{v58OA_X$D<-0ZYDJ$Xw5B!9{RLLPg5 zcYeinf5m6-tnb`}^z>kRzpvpWBCNBscWTbR%Kafo;^@r$c_1!&BQ5%M21t?R#ba)> zP?~fm<&OO=WizQJ?j^pn_tr!A^ZWDQ==P#Bf=37ehkbJp8s%xPGznsOIm*(%Y=F!>XnB*vr@Y=;sGUMG>uoS>I|w;$ zJc8ZhlKWN%z?hj<4%+Kn&CEH`UP$cM$F%{6;BffNLng*V2YwuBBi8=0k?9g|;T8bWLe6zJ>^UA@yefH&B%nt8Pk{Fz|51}fHj@0mkTRW+Qe@Q_{9!j@)E=LX z9^aPAM&8OoXtcc`vc8fQuY33+>kQ>fcC#*$a_;1Yz}^hFBl*l*^+&Pmd_EE&STQ#Ak#Q$2vmh$F38LYwpJttA^$ngesOog@KKe52@r=hm7GqAv`@=WbE*#(Udyk)xlZfO$ch-^tfXA z_yKTbotZ);+6;{T6g|2$VmK-r__vhh-O5@%tucVQNjg##roPsj@>BqilPUYa1SJz6 z#0;3Cgz)8L?0a}U5o1xMkhCrm*{dTa=D>`tdS-bQ@fY7DqsFu) zXhNC)QLr$Ew6WZGV4;YYSY`bt+-Nbm!6h3TSk=>&=d!WD_hZA6GlThFp~T^oAxnxw z#-Y$7=WZc>@5lf`pk4WNf*#-`G}3^dln2WhterA1#nCpZZvqo~5+44BErql$#2H7G zta88jP)po7R=6UoLV5M>u#VbZRuNOaLtW502#5zAhNY8$sH~joD<&n(My8=_4pgyR zU%N<{Azl~6nR@0Y(P{aRu=hc~s_K@z^Fg5MH3RZd{+zYc`I4*@Z)208>Gm@*~SS7$)XkhWSH0+@dlqyZC# z4kHkji^EU;X01Z-)D-G9sfxD$OJIc!S1y7htJKnfU)9Hw^NQukT#9*pCLwd_Hp-Tt z(})&!dgQ3F{gK#2aBtC0>)^0AkRhHHFLBZ#wo*z-KZB&PnX@)Wuf?>AnnRAsD96=l zccjZ3(OLN99vYQB-&$^(CRx&JsdZpBM4#7UxRYo$#PU@ zp*ezyh+|p|>r)>q5=?7^6GbjHH6i41!IRi|SVa-VHl4-x<;kz)8^ka%=VnNW)rF=g zJJ-R4Dg`?P)k7ZMuP-`1)L=fJ&LfjIr__V7nFvNv^ka4m+9fG~bZ%yodm}9aN8Mc% zI%LSv0+K(goL=Z}bNv^+p3unhNI|TL69y>@+OF54JA=Y3z-71=BnGl)cv02n!{t6& z1t4dZ08FFqaNQwr?0J{Qcd6B}ppZhrJU^;H3*x7>fXC8_XM;0rdPe-jKh^6GvYb0WlA^|24xEJo0ABH=6YmA}20^M2Dp21cvIa1~p338#gI&HQ$P zF6mg{0gfbqi;Ys2SR7-ZsJE*cEsr+NZ6#va-xv(DTDG<>OKY&U&3MD>@5mQT7>;#3iJv|_w9Rxg)DV&e6xyq8Iqx-!G(T$)9XLl z0TM3cuGYh}E*W(Qq25;O#HL^4A$F&iC`)V^x zqUI8xsOZ5A=fzdnj$le9X3w7^{*s%?h++WvsV?PF@RvfzjP^E=`In9^X_c1C1^4my zrR238sZ&OM;vD+f7L=OKd+!cx-=JL_O^gDC5G|3>Yh~%w(vfM_CBQi98q-hRn(CX>DGpESV47zYTj0O2r4A^drx6 zgTOjrHGF0DLw+Z4I2vKE*DxAXmlMCw5!~H?&0o*8yP>LFq_#evZmZnSo29QU#8Dh* z!k#nv=XRpdCQ%PF>}HEvSyL zRGtsTlX|d_|CXw_0|(+P(}4zD{Yux`6-(H_*$@ED9v!n}SzDw`cB^zSVN071IepS3 zFS5&J0kSp8jJM)O7$mGRG7faPFx}F;`(nOI(heCre8G-#-#5gNdPa}AVMaGA5W1g3 z!x6zandiLcwE9W&5``6_$Gha(r;jA_pj{eTdMqhyXP>8jD~-6Qii}T9vPl-I==3;9 zwhvxd54k5ts)!W65Fbx%%!p#_`z1d@x58W&?52Le=J=NAm4YHG4N9v8Gmi739wrR~ z=dVy1xW+nGPP*i4Nn{+$@n<1CDvD~6Pks~LyL@>}(5`~?P~1)0Ba&9Ho@Zn7UDK8+ zyp;hjq0&98?;fpc2O!8ly=5ygWrky~s@UkT5Hj{MF~#FCNMp?npwGec`gq`u3cL>0gZs zRPotqKWy(^!WbdHt(gUaXCt&#QM;DwC75QUgu9SIhDBe$mm_pFl-9KOs^%2PAjMy;iC1LZLpDD`_^^ak%G^kD{;?m6Qi@T^ zNU#N5#Tb>f>h5ZnK+f>x_Y$bO-G68wy1uS&j+X<$IsUS)w4l0#v)xOGt_D~`F)>yA z_NwXk`dPCI5121B<88gWTqdFM{ncFj`XQWaVd||oe8h2J^!xo8PsN{##XG^@o9L?> zjAt7I!7)ESqs7*GC=V`^xNUpb z7&|Mx*QNBf?z+#~(q?A{T{h%|)iS_zjM^dT1W|j9%Qh^Lcl4TYI-@e_SI7~|n^9P9 zWji-3##P7JMdamymnA9|CXl8K`sO+>D_{fOIUbf@QgC@kqCx*L^!spS9nkudo5fD5 z2aT70fZLD50qhA#;m1*pO+lk{QQCFFpbf|~{~eZZouVZa7gbf)nK-Y$sC%k?66sU@=AS=Ys_ga|&s_p7c1NU8{-<=`NORNjq50;X2 zpLdurH~2d%PP-9!f2#@i1`*f1piZpm}0UMkdV-uKYyr#9}ftY@0wb5v(0P!P{J!qLR_o)&h zJUgfvSY3=zD?FfBP~*+3o2HXV%>84vdPyI(B~kuafu$SEaN6ET^jsF>CR+Rz<6Xl# zCi&dA+JW%u6F<)YJ>OS9qqb8V|J|WuV*XEuj{l#mj`iQ14xNyZvzdXByr=-3G(OY+ zliOir;b8qAQa}IV=w)UlyC^EGp@z(Kv31GD!-pr%TA0cMiT&yli=(AvfP@$CjRhcN z6;iYnl8Y;bU?ku5Ef9>WBMc7$l&iY{!4O)svqi>A{$p5$vD4{xGnKJ}_u_4l(>1eY za^tn!4iNhp0NO993h4`zr;5CHG87sWVWJBT2y+VnYzeSy+t46@`YHmH2IRRKX_D=TtqVZej<1j@T{?j9`fev!FFV|J zPi^_ZeQFb`ip@<;3BVi+3cAyq_Z(OsK^@N-`R=WoBR$uL1on7G20?8$Yh(9fp~2DV zecLyfC5y_bs%PZ0AW7hb3Uw7V5DA<=3azW0JvRXAb#>t5IbFlU4P_QKp}iIWZ$M- z^hEzEU9wUzr(6W)09IRcM?ZsIW_EB|zX@HCO+a~i*lb^lTc}As_`sl1cog{%M|{Ci z?D`_i9>K>;x!6uygG`BLoi;PX7=Q;kz{N6dDBUxF>Ua;AvyDDL1y z^pM4U>a_@#pbfe*>=4m`XnkY1jO=){{w=*pw!oh7*MTwvDZ2=&P`rL62)^(LocR&- z2&nxc0&%XykO%}7v5190W_;_hxP^Fa;bL(mqZ-Iy!om!)l8Mmccql>p`N?_8d8`HH za^SLAr96vDi{$1|PY6;X7Wq?i)29HA)SMVu5ws#Ixf!!KrwykFkL>R#U;%jskqpu3 zK9bm^C=Eaj7!6np(Hub-!;yN$b*hz|%h(s;zlQ8<^(`5ip*-L{5IsP-qP+r$_8o1T z*>yC3ONUYoD($M=)T~dTsZj$xe2*} zVqm$9kwV*|)1t_^+By3#L8fBRS$VUfMjO+BMhcYh@GS90@oe#^aXSK;M225 z#&^AUr*|$T8YLN}?sL*5)+MU)nx*4Xx6->M@x}Eek;UyYrbVyCg~gUKm$ID&KC@J_ zK#N23%Q^OnJ4aZn=n3rW%y^EFlg;HomMLZ;W);)x1?<_(<@x3Nh4K0FdCr0-#f<8! zysYvr!H>Y_LRh5{Dbd^p!IQ#igJ7tEgt+Na!$*cYUw6UO1IPnf!C%2OQIS#lk*w%W7~G7?OtAFR zY}PE@76PnxY-+~yy7p7Z2IGuUOj}m&YcQ-0Y!VC=3|NdIQ#g~L#~o84G_$DEr~(mS z5m=Il3khihmPXO)^E3f8&@>&?IcgZHLmE~M=PmE1RyJAITc%zk!TLz13Z@GN4;58u zG%L-+&+D4^nmcV3C(bio)+W{?EgJ?d3)$v)`aON!E8hVD1p%XZQ+o4ry$o}8%XeTA z!%zlR##t@`Ty7jy&YZ`O%WHjVm!7L{XlTU}=@JnW1#ZI+uMe0fQElgK_L>)3Mbg^@-A8~(H;RGz;Ir0*`f&}fhA=ooOZ;&D zQ~ttz+yu5_x}(pr9S^@wpif+a{AYb@j))ml>8lKDhcAR84LXe&926X6?3bXu zQ*XA}{_f++W8ZrxJP>w^pru|`&Fp@CMI0i@BoRfN3u6eQ3A^FQ%LJQ#ocAqik|=4l zyr#WI$_BRqw~4 zug#c#kgSmKK+4AXB9?8RO>d*ywstQyL3Z!;(4+0A-lsLEk*iVLtm{~GGXAbKTV7P* zu5wXBtIpj$Y%}H86xd{D;X~d?OHJq5Mr*7k6Q?|vo?rLmeW4M75-vQ%#@cFGx)Hig zzRKQec3oU9g(u-kf+kTVK_$Lpb8OxHnlz=7q~o<7-)K}jnP)kpJgL05e6g|Ffp58r6T1~Wqeh< zzS7~=QFD2>x}aR5q@w;}U88$5<=*o?4OS2w?v?7r@qx=K!uISl_1@n0r=YCyY`}ZZ z`^+yC*lQ|!YKkVE#;D4+qR{DHx4&;<$JJ+HYuK{FrlchW7bt`{1lK3y_3CMWKg1)Z zHoDQv0EQ0V<~B#`w6ATB8D+D{FosLWE8Y7#{b3gneX+fo{Cc6XG_G*6gGj8ufZpCI> ztd*c^tmExe`Mv6-#ld=JQ_TU*tK~3zzAOAA{RPXL`KwOr9RF|9h@10Pw=aOpV6%>l z*XZZbyYrObO>Zc0TIhjjLv)1Hi;Rv}`_=XH&vHUq$q+BqkLJhZ;hIa2>n9^U3Kz?_ z=Hur=O@>Zs&+5f@IRMvbv{N~fHU!!FH*)lWyN3ldY?P2CL@Z>sm{8~Wqj zbxEX5jyLd2;KRp%Cs0O?|0GaFH(Mh*RT+JABLhb|1t)#Sf7&88_E!H^{L_oiKqspx ztV;V=f@CDEXJtfAOJ`upp=0D~WN%>RVC10VU}NdzXl7&Wpkw@Zhy$ImnTeCV5zRkR zC09BpYwN#r3~3BZovbZrSpLeJYz>Vm{(VJRJrg5oCo6p;d#L}g@yFWOM##*-@vo}s z?-u3h1O#kcHU6nGv$EqeF*0k>$s0M?IN2K*Is6qx$=cf(C>S|v(EZg-(J30aI%@sh zw6)_uaw$eACWe1j;NhVYc6Ah0aQwTO-@pI11Z^yB>=kVF4E{Fh9RBh)J`>Zw5B%Ht zACf8t4o3R_3w9T&PE>2Lz+~mrjKYHjvfoHX06;<#pC+N>gFViRSGngliiP%=&~UAB zl>|L2!(5xGd`2FuZX>)zA-(i}*}Z)a_|U$>Uy`j%`^Zmzo;)eM6ntFWzh&Tcdmmo! zXo5uaUG>;pqrF9p{0Mk|4!LMrUDr&=@OJEacZGg{`OwkkA9r_kjyx6&^eBFw(uU#f z+gElQqIo2JK4ukYk6XVfBAw7T5gp%(qrH1irum{2kiNlgk>OQ z_EBrEpVjnP4fx*%TMY!W1^X>bV+HKd5L&%%wuGYdV8Hs2ac)T=kokxh_AwFKy=u>d zQoD+PaLf;w>GcH=j2vq4pu@V-gXka(?2@1!>!D5!xTw(dq;G1&pNQY*7UT0Ujh_JN z%W01B>_-AG$5RcJH1~3=Rm{BQn&;EBK`K_%PY3Nfq}toTSob$d=T@3K$d#~>wtTqz zxPcrabosWyXlGrt$pX`DiAk2K63}msYTpAfGsk-0h0~SXWjYWU#jjpL{3#UXbPH6 zOto)f&?r_09xi7^TiVR9&!}1WN_UNrT_1Mzp@nf?RIIz=>m^l%Hqhn!wKV?GUK+(> zJBDFe0bdz3K4(0pM7lGtu3}A_kzl?p**2x(z+1pp7XgA-rBVqRhG;Hb8av`%2BSll$Jf1VnyA$z>lf_ z$ax2b>q?~DYC;WKqk#~qz9CkooZY7Yy4xuootTg7xCa=EukZ)PFxw%`?(QV=8X5cb zp1ia3hj9WDEsISz%TEeg#kO@`St<^ip1o zVUQphMP}laW9e8nbuG3h0)M843>5U&;F)22oX`W{F*7t$34?#=lfUct5%S?4vn4ytRvzQ3nddBqi*9yoNe{2nn^P$w#R~cjv~r; zfP&$Xk}-LidVT~aB={~dt-7MIq*m%#9zPPz-h6%+N)@?pYh$SoJC4-GpmZiA%LF1V z4Jq)Vn4F+8$*u+=lZC~KzD7m=bi>5M0i8p+u-|-J8oa{-KFoOJOl5xvkVr=D!k^yB zFXKXzOpr)0uAhVotG&vuzHSA)TiW~W9#NN%3Sgev&F_jELLCCOtt}?DXg1g{xzVgO za6@|+l^00zoc0d16uKM5hY(@VynY&nwb!_Mc0y#vgeg2Su9~>9Ws;73``<;qWGFm7 zJ6_Q4Cln+MH7gVS-_yBxN8;SLsMgyUtncnBt!~EbXCn>$Q&a;Z#DhN@`D!?98jC7{ zS4aABHn@zJPG_X$}OvBHXb*F4K=pGQ?Ce|}Gv%UM1zbW8ktQ_INc9Ch| zP@=FSFG$t#ELrpbbXTS4z%`75^o8K&P`A4gZ|Jb~$~Ah}`cT?f%-Bh@bTCbj(mx;0 zo|ZO5c>70--x{XyCnQ?7ZMZz1-p^{jmo9d4KJO3TCQf|5zw*4kPj-&*`e)2p{yWkz zvHZQn|3fSNze1Y-Bny_mWWn&4ETr@t?af>@{=o)%{C_L|D{cG-B>lyPKUNG-|He@N z;Kjc}h}Pfs|Bq6e>0bhO>r{t~iu3>if}mOo@Z!@)^DmPuine1XP=`POiaVg^|HCK# zuY@3sOf2;OYGz1XB8Ir-uN+)u5zkcZ2An=sFm{#C8ul3Vu$G(qYJqU|>n9`@vCPED zW=gUq%E_%=kusc+w_9q2dz{lR>3(BRZ?`dSJXQ#QR$Fk=Wvza)4#oME; z{}$3_^4b1vCL!@TeC1)x4BUlN{EYci>Ng@{WN)d9Jm#xKGFdQfNeWq+=J&*dkIr|~ z*MrfA*YTudrrTcBhBRkrDt6t8uA0?u4X==ZMx0@)sVd3R(!fsW-{r_53%-HSESF4i z>rPB?V!d=kZ-1p8D74*nPqF36*4dshP5G`#@1f7g*R%$lBt*C32uqBfc}ilE@b%bz?P9s8!HRuNCQgWff#R!E#AT9s zWjM4A7s1E7y@&DV`-_P%iD_>LB?d)TCrHOV{9Zq9bLja%f#P(J2jgk#9xd&Rz?`6x zz~#3();TvnjdI`z_ba8SgI{j+MAbklXjjkFlT%7@0}k43$B~)cSF&}B-5fh^@;YpT zi64Ia?JtQ2z}!J8<4;ReJ15Da=(ifw(LXU+vGf^iqpRz;z07;nUk=EANzQClDb|4> z-89CkbQd?Tkdag+YW$HAs35Yo=EyDrCNfjmh{&(5TQR^80KxLP9FRA{f0uAbBpQQW zC?=b7%v!h&RK$~xYD?1y8$qBxc210AkzhTLE+(I zPaE*S(%idWa0dC1-6(-Y&#g-Ks^j%-7wwAZWVcSL!7&9k9z4|PxSEgssuo$!8fxDVkQrBh^>oDc+aDwW zqZ@wyLCa~)aG$DL3_TUz$dyUu62*>{3k<4;L|70Q=lkbo#~G~W=Po*J2j4z`4p_pE z8U@>E)sp^}9%wW%R?cc?r}^RowI_p=DlKrK>?IS0E%O|6!)DzV90@>@z)7tE?{qmq zfB=n814{Jr7ts!tOr49quZIQdFmv9aCzJ3s+p+)c_O#F_)xyNBjPLI_y6-Qql+=}2 z6S~1tO!od?rn3OnWI*rt1lIX}Cf;!|+>=uE0^mL=83*ZDmD=hElB(nx@gFec>vz^CccOLbL{i4;)04V0%vKqWvo^ylJ<e zXla0rI2+dBLd6$4Q*L@+v`AzkpMO>KiV3}_xOp}dII&K%pET^-?()x412=2fh?0f7 z*Jy+n`gLHfi{vz8&MY=1rnOV5r%A)=pS{n{Br&}il!BV~M+OG0@dB+f+B68?e! z%V@e+l!khNU3k5v4p)K_E6Sq#bS{0;5l{MD@z~q7=NR+%t-&+xmUZG=>~owkqd)~E z@4A(8yQP`+ZHQ}N?om=&7$J}~4)yCp0c*aJZ>ZZ3{>3V3BE9Uh42WpWJ3&nEJO<>< zp6*QR%fiU+R{s&=2hZiizH}xA+QjDh!8Sh!pxcBDJT<8uCeDl)1{@%)xB>=w#HZx0 zi4f>)Mm==9wNbqX^6K5z%I60mH0GXVD1rh(fC;FZ!<9205hou`mpR*2Q2Bw`ij4Fu zyO>3mJ%;CpExEx_alK%O(fB!!EU+r4u0Em7b07;8zFCWNVD=r$fq z+XRD{pi}jez$=rfqBJBP+LSkHG@gV~`4n7dqvlZB-N1C$Z==E8?uW03NibxxD4!R= zBZdXNK)8tCy^cV{WbOo?3R2*344sh^#oO=z9pO%xxe8a2AnG&2C|=d>nf7JDm@7_&lbvf1c0uw8 zEQlU~JXG=`cZy!;bRH$571m@|PD<@d4Zs)EA>NL#x30MSb3$DmK6Gcvau57gXT^y@FII zd?cd)%@s5^8F9Lr0QJng6>~5hmGKu=O4+SB>bQ1VZx>eOepJKsJeD1u zJoEvqSTt9&Ip!R>BxkpA)`*GmHa(*cb9k*}X9Ufj(g0^SXK(>mZXz&!dYxY@<{K7% z3ZSK>7)B)n2+MH%I%4I*O4H_Azg|CXFYat}@Vhfq+T>`gP(-Zx&4%FUY4OIq>~VxK z;D3F&S%+9GM~)y$_Xx-&p~TLyPNik*s6tu zw5Kl$Yf1d)oG@~pqMA4no^(M)sE7qEW>|tYu=50bkRI%AD@X#{@p*%S**;2O`X)T^ti-N!e zcmgj7!r{^JoioMnFPk55l+I@9|AD#wB~teP4R#DH93213Tvcjq(TA+?Q(q|We%24g zAk3unwHCc=KnWPq?uH!pwLdwkL*@D?6ygrOt5%bZgY7z6nP(@4WDP$J3eF!sOkH0c zJ|A8`p9((Tncf~*-e1=xN8Q9J#Vc0!d)=wOw|2vFv{!iXh67K&?S_fpdvE5hc~??0 z*qnLewjw4zWIn*icFWd!ij02H4LS?hpuewKixVC`f4Q}Ti$hXnij<>kTU&eYqJ8O; zQS>j&L&FlYPf`OdN(cAU>0gIoe-2|4%3|#S-G3%1ee_H<>9DQ9PHm03Bm}(h*-*IW z!rrZF-L72Vae-McZ>OMB%$DMLDZ_Zeh^>Qgmw*cbb^CE1W%e;m7a$66mAC?vZz3f{ zaQL4yQ4ML1WUs{6Tm0%*_)P9p*GxqE4a$*?pZQC8oh4Zlu+x5MRhgU113G%tIx!=R zNk7_5;#3T50u(c`ceAhA^z9R%q~I2X-zw3jk3nFULQp!}KX!LhP~rZgLKgoQSJ-sU zIIj!6H#nam^dDr*=%LeJyx8_q7rTZKFvCUT4wXi85ejAGrHb&G&(eH@&({eKCQp8# zjI3hxr*M#f@JdEvhXB%d;pseF&`WY5WGO_8K@v)TDtpazcNEW&XY#pD z&$4+`6I3Jl;^%_U%Ytfd`EJGg3q`7(>C!yI(26&tE*k$nMhR&piDfM!oGxlGbWbQm zU(DZc#0}AxXAdCd$+5`!5z!uk)2LcDK}m`55J!B|g^uLtr^=G|f|Bv193O0qVC3PB zVC>$?87v*wt&1karnf1}1-rnV=fm$4$370$u*xAPBdf|$AW3Likwt4GK{)6$t5D2O zebwAxezi8C&c*(W|(SXQsv9{YBnWt z!-fXMMMJ%3c4aNw?=P-TNrH_6BFCuqdy^DbiVLQST)tG zJ7_Z<6*6=UKB4(np6hU@%yJ^r0`&N;NAy6nDjY;0U#zK=cjN^?)1@T|N0oe`nueJ= zoMPS((fqnARxzhRP{1`OCrM!uIJH-N2$M=a9#_pV$fAcJrZiA(&F@Il!)cus>2}mz zcl2_CHS6gyYG~_X2M}M%FHE%5%-!%yZc+`;Ybcj46b-3|k zRe1;v02fSiEvHh~Y0P3CTwB9Y6?MU=xMitSS!apMq&5Z6TmESjE|gck9NP68C(d?g zgLfJbVJJgycT#YuohO{OZ!cpbjn3EaP8JNhbalgOeNA~eGB4`DDP^ZI!GHzukami? zeD?m0STCGCZP=}!1TE4{Z(RFcVjfUI`DE-WsF#ivKJ2w0FeinhCL_<7R2>d7muZ$< z&CRwMGf&}a0_<9qJKWj82B4{BXO--3*;073U%^*!vtyx;-qrEyP84HXv-NbG%&5|} zXP!m7@xNa}EdK-}{_pR=8UD*1q!qto5kL<=vhziC zU1xwC)x7QpQI&XE{JlbMrW=7NJ7PgN!Q+nj)^U1OM5l4kuO{X>uceB!F z#eWFDj`ZR}fhZ6GXHEl}GdMW_lcui7I z2pRDT$BHl?*i1-HtdWE=)H#|p;#mY42`6+LN4U@m!wht8SPqdr9GI}2q&OAQs3pu7 z`?vTZbG~6%y~8h6ZO#_`?7ba`A;Ug1c zXTbjdIs+Mt06zGk8}D%L=EU8cB^FQw`6zs5sj#skwt@nbeM&6u!wr=e8V*PPy%w&A zzdPPRH{+ZNYX(@5Afjv#rpWmNa+BL*dJKz;E;Wr(_0A&5d9^$ zl@o6Gm_RX-T;LT!&fmCNS>r?&;IDUY_-`rr{GiAAN_*`#dRLG+@lAu-k!(@(k$@-x zISFzRG5u!%vQ#H8m;`4JML>CgABB5OAfTkU0U1$d8;lf?-VyVGTpk@VT(t1KvsO=f zl^f(IUQg?m1KOr#$<8?54(O}Z-amk$n#V)`hm-s#-S>a}n^>6sOR!EWQOjb39y$2t zi^_40LHv_~1s*62M{u=0syJwivpF6EbAx7_#-~J~ z%Xt1%GlIu>GBKnw0>Q#rq_}!($T0s`=Ga%{bp|r1eHd{;O|;loO@Vy{@}N=Hp^|NZ zSIIH%p%PR?x_rK=c^sjsMtB~iN5;$|l0YV!z=ptw30q?Uaw4MpiCc_`|3le3FpJhC z+oH?1ZQHhO+s0nDZQHiZy=>dq%eM7)zla<0b=*ET`uu^K5i_%@a^x5zEB7_J!XR`O z;|V5D?73J9vrXV&7-FCF0L`KsgK&PZOpNd#nuXjfn4>{tr64yP$c6EhrErFpp>Sp$ zOA$R$D!!`#39|z`82mJkZ$~FpnEG#ixWb=H4T-^BE^md?rTsgn0hA}&K)Es(Ju98QZAif z3Vr}bGz{VTe(|o%_lGO{L(XC*wFKFXH0`Nm50Yg~>GsGHp>X}E*Aot|OR0^w*b)FC zceDrGJgB8?*=nYu ziC|&3iP~k0p&q2D9TAdf?HL_pPJKoT>2U8@M`p!Vg=`(&cv#Cp(VO18s|4ZPuMD#(BM?f+=~|IfdjmF3@$W)|#@b1DoS!zbQxc+|p43JF62lEuO) z@~;d!M1ooGAP~=waTLhNF-6M7ba5wMi-i)-;4Ftr9#4u7kvLI}SHoO8HA#*$%Bhpu+GSVv4!`9O>;(&9KsItY?Z1e*D zEJ7uxtLGP+*F#$!V8Y5wov4odsQ}^^b>tIGd?xC`XRHgeyERZ!i>3|kNU|wp6*iUT zP`KL?w&WShCQ)=f)@BRZ^N-N>> zA2RK~VqlnA8UJmAC(1|t-QfQ!0&u!$L}Pxm5DJ!|23*}Lu1xLOVs#6|BA(~$e`lh5 zt_cL|dq0?wVRF+p3bi6P{Z^%y%G6k#(3)T4PbP3J(Wa(NYwAQzBK$(tWz}%?tPY*6 zBsR;t*H!!M_QR3)QI|}sd->|o)1T?UZp_4zn4Jy4VAnA@a>_2JHd$=qXkD{m;*Lx5 zY+SCru6u0F_NmBJq5iAgk(BmP;tSoE!yS*{R74l@ zZ?1P1wtpkZbdv<-4;Tei3B%<0tT$0H=HtMq)E<2>^x6@liy)G z5GWD(V0!IjHIUP;Mzz?3Cw#-|_LK--YVU$@xtu5@t<4uaNtTK%t^g~4u8da7FE}bc z)h#E8yuUu)`n`F7HLg4NP99G4b7lXo{Pl3xJ5g<65jT93mK$uON8g&ZC@|Wx>t@6! zA1pCydu0iM?%=ZO%>B;%!+NMtFH_w&1eFcivPo(Yk&=yk4yDU<8mt?TU+X{x*1`?Rv=d(H`;?RHnzhrUpln_@$_n@0@&@6+r(CxQXbE?wztA=49mh*h zZuF^uXtWIumGinbIxWlo&Uw1*?lWWN9cO@p#v$|oLk@Y-^Bwb{_o7Vq?hEV#=vC%F zBm~EQlMu}RZlBjpoVWU0xr^?8Mf%843T~6w0TGdC31V$3B*8Oql?rX8Eb|=RRC%TG zs3>q;Og-tDZ*fR7t;bIBTB@S5G?u2clnU}Xi(X2#sd4d{yJ*LxPBooR>^K~BU;dtm zP5Bi z0PDRq1ub8CK#f$~b7&|*)sZza0>66h1Su_IMDQS}w$!c#z!6wLzeND(fh_-ytdZar zHH5h8%l8Po1nh<|$)lNW7A&dPi&qo)>lx4gYo1J)&U)5rJ}-D;ac_z>D>*)EOVq>O ztn$5PdckMd?q>TBG5fFDuFRbOHu69>N%}9^LJ4{Kj@0~%w!CBnf>nqmvU+7C&Ss)l zRl z<9#D*v1qur)dsbf5u5z<;PQ6E%2uyh(|RswA{+jq$cEh`I&)UmxobOM#@Sy9DQ%My zx`bJ|!wtjfU#yz?VlKw;7oGeI2i?!LR!TKI4Pic7=PCDGFy`kHu~Q9+BAXo$X;4&Mmin?o1C_i@;h zE$@})z$O5ag(2^G6(Ax7aGIA6vv`#WfiTlbN-1k=>wz%kg@5gjAz`G!1ZR5#2bP7o zLF|t^A@KM(6N!)ufumSN!tC4f9v;Fy&oRTLL7;NXyop6*6TUNrtV#*L!Vz-yCvX9Y zmI8UAWkB6V%P=`xCR%8nDKhMO<3)O;-W1W)O34)OA=a>Bkc!!^m3}6#zg4AY#N*jDQ%_QmF=gL@zx;pX6|2 zWs`@WCxvGgK?$q8@aHe&d5&TGq4{<_Q6uL<={p#~5df%7&6ic< zHgZf|QyO$LXibYTrk9>Mdd6#gSnTy3o$MN2s^$%iqG(0iCOHXH$LCQsHXZXy1Cjbs zGx>`eE?O&krOTQcS$d;%x;<2Bx<)ij4eP@polI4+vQkExRdS=}wrq=^$tYPp6zdk0 zQtJe@4W$^q8YZ$48>F4&qU zeW+X|G6}CzOUAj5sE^1cK|PRRNg&=nc7!j)?Lv%0mh;MIIMfm+Wo9a$Znp{jk;bEL z^T~j~*if2L7U^rJ#<%Kc7uQx$*EW?KoSLk`M>{g0amxn4&yva>P8i<~t#j40tE3JZ zpJLfv&O!4w#O2^$@~%MMdV4~Iokt~Z>tJ$ylu~k&@;*wR=k9!LiBFz`+&tykFJFd9 zApp%K(vgKmgeSZP?V}6c8PB!*qhY8XO*T$uj}PsaQh}VKh7PPv%p99NKCq7GR}C9) zDs60c=M$YCS6}$Wl+$VIpicH*v8eMKVK201Qy5sU=FruOc$i==f^he|52JtQ?7Ya5 z>h+WG$kZI-&-@`B{h`r#8RARMr&5KsSvwBCw#DhIcG}R9nVa47SXID=DtuG#6>5Yx zGbqiecovjr?or;#5Nt6?f3S0N&~d>X%On3#-ns7wWzh>)zNP8LvsQ%4jnEU4)F;47 zkO^d1#1zX>w+~JMHnzBLsb+MKu|mrgxvK=L?X8VHsMIm&^)U4S%xN(|ku|5_&Gb2V zv^dlewIeTQ5b9}|Tpv+LDD8a@Qcug(Vqmoe^F@;X=6M3loQoUF;U`*ivxO{(j&F2> zS&mU?13|S?;MMqoOqI`hq45Qhe>Yljli+&P6;DDQ;F?js0+PP!7_M6c1>F`V8)1ME zmoJ}JiLM+BDsD(aC za%Y-cMle)h<<#-Q9{sJ5-qC>d3u3&Y4v)XbSLtLU0d%Uk&I{t6#Sg}_Gb7K&X}rsv zPQL?jOb59B;Ww>}z!TA{J0hm+r@-5O&81-_xGhS9{sRjfQ($)Sj1d!*D;YuH{%Bw9 z0AA+@#G^CglCsBukE+}7wd~3?s;l+KaqRW>RStpRuW)Vh+j1VP)gHqo4w}+AitC=% zQjhZFeyL>Q18;7ui)FtqkLMgg{+pbsq|I#{lY5Sg27q^&=nNP~+L@a3ds$S3a2Wum zg2-a9Z}U%H=h?Y~yV3YG`mIrB)0)`S8da;XLEW#W8>4YGSNz^LSqR!|ArIY&!L<8Y zf{T=rv~qFQfrryps3)Vd^^isLGGo@rvY_Z-XnK)2W%}IZ2 z6mRRTYqIWQY3Axf)D4Vi8;>cru|fAm*Md-az^3zY_=L z8Nii`SxZZgtGc!MqF%gzJ#%m@h~cSTIaT>3CJSugy&x5~PcT_|sBDjFO@6cfZZYK0 zQ7au>Z`pBB*^S>WN6iqptNWJ@?>5YZ8?%Iz60&b{Iqh=a)rQ)I>#!m?Typh;U8#f3 zek7_TJlm74Ih~42Cl`)`?Q+gDQOigt7wPt|J7e&Cqd>b;mxbh|afc%qITBpG+WDI& zuup%-XS|e*XB?Kif}5CZPyWjCct45fOb=2nmjokxC81s`W~NEJ?RfhUGfj=y<2KL_ z1twWtxEDdXzUD5&7TGTfA+!$bTyU`_9NC8gOFT?_l03H?6lhK%*MXH^!1)^X`S78Z z$<0+Tv-VNBA!9s!McIx={9-tUAOlNnr`_r4O|hznNQ>H;jRU-X;1&oCJZ6e;l4rP% z@`Zd?Zn^DJiJiXS`0?rjG@=eg;4|B=1;>QDLq!;PB@x6W>T4oT-{R9dTYoOvm^5P0 zwnZI)!{Eb03!i$|h?z0-XUS5zP|+VjtlBDZTUfcz`z9r436)x9yKz6yS5i~A^#pK_ zB;#5Dv@Db%AJ;{rlxu1i?7$M-L#Iye?A@w#&upgE>g}Gi(juamlhnN%c?*7o+o(|t?5}w07ww){TijCn zKG}PQSS$U9a_PTnQZxNqkJ{S6U=M*o!9d06-azA*KQI8I15odOSo$CBvj1%*#>~ON z`p-(NMgv*}d9^baA+bPe5pTrZW`vo0W3&QZph2sp$7uK+gqP?Q4HOv<327_{0o5aE zRF0rK4>DMsi6GEl)v6&dRc&6YMwMs9bK|0-O-tL$%Ijrrzt)R_m1k-d{ou}h_R8Jq;J7}Vb00CGGFjv3Grmv4BTx>p>X}bxSjPMt z;EOVJ0He=X0$*&x-0Zc{@cT3AyVqEHJ@yRfNxpgy9%E$EW5lcXk(=Z`Z~W_HJMEj^ z-M;(ehbZ*JfQJU)gBPqGy?%5JWA?;v>N!*fm0X`XiMmBnOITvA+oLYHLJ9V~I9Q~H z#bl=&)T!r$bOBXx!KL9NQPoq{F_A@$GN~3iQ4Bj#%xA1o9GL$nlGKUAjWv=GvePtFdxZ*RBUB8x_%-KC4;whNa8P5yHKR*b8Wio= zn!Xi-i~1)G4zvK<0ip&98}e54sNp~LA~cZFBPbeBsgV^8&QpCS7DureYcllxy&7z@ zaq4|t2h5A3t(K&p2UdBmE5_2x$_{`Pbe1TPgu~6lQ2)028H;i z#PNqQ8MIvYGIA6vg)FMIbd!Y^unaQ5O2klZ3e!Qt>ybN~vazbIv**hNfDdTP+;MnJwEs>AP`$Y$==@_1THL&-~%FIY%M`3I=s(b!*_|!#Re&auRj70%>+96RowKAyKfB` zeaA%-Vb@v6H$mjp4L$)QSZmnY(TEi?S?ITXLr%2Zr87Q27`CB956JNT5EXc{>WZT7 zH2Ilt<5d_98&tT4W-Ro49&D$34l%_sTwX>DS=8i10p+UE1d}4Q%RJ@$VQ2}k1)bLW z+uh=}IsAC0fErKq;$PXgo#V<}+OD@b<%i1LgAD-p(S@dje`yQhk0Sxr;QG-S#XBK< z2^cAU!Vgjs?#UxE~wfttgIlC!~=9HLZLC>5XpCj)6 z!PKc&`q{x&K42^k2a~7>j#*{9ie`@b27EgHoxb8g>Av&(&I~Nc#mlJXB}%G01N2*T zHqTWxVAU^?SFC(WWpTuuh)j+nSEiU@s<~8a)t*|oxt+O9-^}hgOs9Gv6 zM|3OT-Y33?zTR2sOnt#c+eR#JE%xSO*NRmO6wUDDxdTk{&RSHGB<-$crE50y0KxEJ zF$}8`mTWgHB?-awt*+|AnqUNMtjFjX1j&c}fkFPfG1vxzDce>xmHDw=a;$k|;971t z6u?hR7jPXSaKx&NDD&;?g5=6KgsZg|A433B&qz@@)o$uIPbNzhu$CQ-qWB)G#IMhQ zMD0rvwj%T9zb!;sM*!S@3aBYAp)P07A+<2QWV-3HXgD?buWFFNEP7jsr~yg?qHvjbfl*Wjjy{WaQoMm5rtXveF^ zDyf~;bWysZpAfMPwgOb7G7=J#gc8aWiC#RVJ45SGVbOrnQ+pJ-zfgR}^?h z`VbmnJjV58UR{JCr}K6d;_+^Xz3z&Y$tw^nHM)C3I5%a}Y1cD@|7As0Gdd`PItp;m zABU={Q-o!~rcvIc!F11Yg#Qt*%9I8=;|;x(Xj9)P=w3rXju)+Yr_yeH&4CN7$BUo7 zXG_O(1U3ap9SiksoJi2sPEi*~)3$Cc4Zsu|39{0FJ>ae^hf$&qWhn0ZWU4*NP)1~N&ur(F!8j{p>6!qlMci$8L>KeEK`DOXdZ+rd2 z2Yvk|bN*;%=F9BoJbfy|7?ZWwDu7zC0c2|_5W(-?m26-`JHuzB1+v_MRuyXkoHBq+ z%diVO;`!@{-yjK023ao^eELW;+T?Plc?znkB)O=0%?xx3H9NEnPhm&t_2%%aNy>d- zdGLq7R)mwzEG2jJ%yAPUZ$0QaD#3l_r5gW&-z{`C0&iMSh~;dbox&fA7M*+`yjgci zZuuI96BA!~wGO1hC-r4F(RuLU%4Z33cDz%r@q{*L3U8mb+OV%pvBi^1i@PhJC?AO0d!&{|iVG~R}fip#_0 zzvI~{s&YJ~Hl54+4_Z9Pn;psIWzMWG++35``O-(<9Xkv&vZ&)<|qniL+D5> z)NeIYx7kO@LthPTMwZ!QtI!cH)Ke+C0Mn!R&pTb3W{qwd7Y;Kvq5PB^3d5om$a6US$Iyqkv)M}WWPPt=wpZ7xf#uDO?{)Kq*3DDJtt zqDQPFkuWT}uP&*#0J=PIsP@3@-14pzEufGjTQ5Ui5i=bex)%8*;==NCwbit~T#D9{ zcc9QBN4j3M(_wHmb1lv_aazBYU%X}$Oy&r5^5~GQ6E&wHzb;)+(>i0X{z6bq?#IFG z3>{AASQ+F{`LJ*MeF|h&w&u?g*bpWJT!q*kOi^6g4IL5>2hWlg0G7lmO^sP}N0QDN zCA9~2F!oX(cIg2#Ee??5KO4v@4k&y;+j`$=G@&LYOdcULfxH%vWxw!in6^N%op0|$ znhQPin#fn6ZLaChi?gD8I+I!}manRO0US$^nfWgxVUqLU)V^TO2N_?_?AJr5R^74t zI&1JyZaSSJkz3=(MIVxU;P;!|Zs41nF5yEbpXCdqoH=I#da9FreLG(g8Nzjlg08dA z;T1FfKjgKmDY@JaH6Z&Bc8-aE+TM>sHsuBiM^-k7b79J;R$*w#&WTUep0?qYw|w?gqozCv6SBKHZZAr}Nhi z9`rC8{c;^is?>_1kJRk&mfWuZg!(!Ad zy{cuyuLXGyto$l@7p=D3z*!=qs19v4is%C88V#^L@dx!V-mPIEQwKun13bVA|CDOn z(o-=9k5hOdZq@!ZXUCqBlpb6z2wiRij*i#NOCN)ZT15qz z#d^wo7RG|@m^aOlKow7ziU|jyZ|0Ajq?1@n0Ff1Z@d?Gz=pXPI+#7s5&{J5mjJ?K> zjUT-OfU5Qq&D6 zQK!())kX7Ai#eCU=jnKoW~pwlP&23NizLL{1PQV_CjvdNv2TD_ofL1dy444X*C_C%O4ge_leV+;U7?^GbQr>0L1?*rkaW6 zpMd)>#*arpP)%<)kPqz(;*P=rARPkT{|{^bgFyS=f_yd(mVX2JIiBD;D62cqG?Ui` z!lpXN=2Mt7lGSV0EL6{W0MaU+=4aLZ5HzOij;?8BJ#;j~fPjdXtj|J)V#t%IMf2%d zRU_%?%|w;TmGK7<3Ci9~{N@9_GO1|#&t`><`V<~pYaHHo+oiG z)w$N{pkmN!!Pep+U>jZ@?_T0RHp1RFxIb)~)kWS#L^eJ|gQ*6H#JSeEKfpyc#KXiu z)}j4~y$|{D68LtWBN6QLAU-Jk@IQv>aFc>2-WTOd3kPgBjheV8!7*o>4WXR1Bm?PxFl*D6yooFm78bw{VeSK`zwxZSbS@q0PS$cQd4G1Kw=WcL;63whn(Ai_ zwaK-e^d)yued->u*X7s!bbso<-7Xz3zq70`_qg&UR>Y5~y!htq_ugJgdtW}k1_ZIe zw@Z#5g-b1d4S^@ZFYvED^lR=x#MTq3*l#Ala5hIAw24J=@qjrt9G<^cdy+;S;UY=; zX0lPoMl6>9S=6{(elxxltHY)16m+~dCnjP=irqpntYtcPdIWnW@RSeCe+0p!p09$X zV#U1#8T8L)Vbcro!r%e8N;V8Z(JazN($*_tu{}|kFB&B4>dYFum~dfE=@aKq&WZd* zv?^Af9B>Yd31Ca8ZP=ubZ1KFK(wvdeU@^I{*LbDMN@}X=Vfm!}WF!2Pu*G#eW_c4) zP2Zu|q|ijPW@aZa1je4JG~yD-vP}NjS`#>y&<~YH)!Y%6+-BRb zy1)yJ$q2cgy+PLq?vX-wO}Hs31tHZ$xIIJ4XXg5F%@Fo$vC%n)X2TZ`5>F01Kb4UY z?EF%H%D@pvG}44&2I&g5!6B4-%iQ95w}bh47`>RXJ;^m(uYwA9Agz#6UQwDx#O%MZ zE_xr8HJiV7ZQgH4&kOb(cTCJD)2vdn3=ke`6wx>PD)zB}%5-ge8k&jX`VF?CTm&VT zKPX*jT{#iy=EGU`ro82cL-vcGXKx+CB!i`dT9W;lp0rix=3$74slu-uLn`K!u?*xPLiFsGxT)CywiPe^g( zjwF6+QVij>Djm!Q#iv zpf*dH_9@w5#|E%J^{%pCqNT<5{zOB^W&xX;#DPsg;jF_8Crb=+K|lPwxf#ob4NDaF zrD83OP$VuLhOsU+nb&Uo_e$JsvImeP7oSt=CF7bfvTUc0I0N3!!iM-O6NH z>~4e6ln?aHc@H%Ww6Y~%356~)E%HIwYW-b0jE;Q`aLNq@)KC)P@}ivSpq zuu47S1!nfpw8dnXP1~BxuS!hpV{K_D$RKq5M;C_1~?8fucBMlv;e za&_X`G8MdRp!31jteY{3ZQ}a0UhOZLOFYM8&BeJ1YMYj?M&~g!tn<$7!so-1m@3y& zRms;FE9_S7o|s!PDQQ-M1F|y60w)&nN9heHs0FXCRNvFuL@L4(%3fh6fGGdb@D7d+ zp#;?gGdAO*n6Tw~V?S>9u(n~-KD55w5&0NgPQdHqUSRj8K4`xlTEC)Ub*r7RSUO^Q z8a|$wxH|50|5>V`QT_f-rY;I*Gk$pBM=-q;mO!4qi?l%Ga*&+@FTiBFHuh!K1Y?AoviX91J8HT| zPtZg+c60~ZJS<~fPc7AE6mhgL(I&B@Y30m_|g00M4r?owTmwK*~ z8JsGT3ZYt}x?VV`H*~<-UqdoMiZ2zPkXo+#A=Xvd!xI3C`hu4y8fwIFzEFN!hVR(c zW*~M=z)vgpW>7R}c{6CM=k#qhJAwB6ZL&cd_HLAI#Xs}OdY_7H0QX#ZJ^#^G2R8?f zI&xCL!YQgW`E7q9B}>*p77_LGdSoOTDb!OQvMFB?Jo%i(l&FW7zk#BRr3z>dG(A4# zEYMZNe<-Viv!YN-U){p2LVBY6GBUGg3i#ClC90asYg`A-2J3CU(3l+V+H%7l z#JuDsfi-);RXG(JXJb3Yb~NO+3;vL3T%I=K5B0d1@U^VMxFqZMLq7ZgGdk9nrU&VI z3%UakUo6tMM_Up4@9l0R;>K2l8d52De^Kf& z{o0&PXU0`i+`hY;=!CVx4~r*EMLH_PBCTdESFp5dQrmey!CK)ZR1(Hc{&;9|b4xw( zv2-tN70sv^^`_{Xb53C~^1iQPd);;ZqE4tlaJu5&w4{D^I=8xyL4BKQ( z!TzR_^JueF^rR(A8+(WSd%2XkWf}YFCMGE?tme*bnx|goA00JZRa6{;^1%AYTivcn zt0|!_-Y8xf(cQZQU1l#{zUR#awsY~rF3AyUNuCj=lj)q)`n9Cmaplx9(f-e03h8=k z3bN|MsUe{wVqx|isGjc^&}qHkOa8G1D}FkG>~2A3?WFYdo4t0{c10U+HvOLZpgjA7 zMo_e=r!bZoVq9Mv9oaU&{!%XmI`)GJneiYP6R$Narw5vxnw67^WOMU(5tJ1G@cpew ze38Xi-#jiv#EqU=o#=-pv!v`{&0NC^jGN1hsUN|LO4?P6D^O1~i07PKnR&0BY58Kz zE*ZbKmn-;HMxb>a0GWlQVs5OKKj|FVX%id{J%F;t;vhUVsa4s=A{=3{P@9Hw>)uW>} z`T*@ErQouT;5F=%dg58n!p*|6PCY7Odtr(3mW5PZVyk)@DBZ# zG{z=p*bx02k)&Ru9RA>*{87uo08>tFe9hdc3!}3+B_>!KOxx7jV7RA-8ZI2XYLho( zMndUoN!2T3j{J`NR>i6*BPc^v@=;v;^6eb-T+hjF1hVSK4g2S2z0MndXvy<#hmGZ2 zOx%sC4$I)EMW9FAdhL_q8}ZT&;?p8z0Md2}Au`$T?9)%p>MHJA=a|2P$`8JGV?MX+1McScn0%9!l$qY6fJw*W2Xl_0oD%Fm1725vUw1Nx zfy^Hs#lG3o9T>S$;agX-S#G}O*&3Ebgw>p2AOEeDIuUdA=$EBpO`Q0d`>uH?$3$1O ze3aD|X-9C~^lO8MKCdyAf#8(G2Q!99(yFgvgScfh{o;h&Fv4Jv0H^C}Io4vniP^{* zzHB0TuD(ZOE^~|yqDIu%@~|D8v#__Ee{41gj5w!+tum2}W@HJg9#Nar=#ItHmG1h1 zGZkR#W$Vk7Q^u^5@ggTeF`L1OnrXt0QW4*r1d-zIoH8v5BSoubLBQ6M=EHf&Qt&)*l}ayt30gffj=O1?aT6*iofEorAFq8@o%wgK z?>k{5oqt#>uDK6AzO1!LFXu>!d84Op*`%LrJPCQ9iUhS&qLU-cS;x9RyK6Z~1~+J> zWSbilcZkk|LI3Y5P_8e~iQov>2X+zqX>sOx^0bFZd7LbEl-nw9e%})?1ozV$_AU_f zwhf*;@dnD~f>lDqg!=(YHW5h`yRx{nnmt`Sk~oU41q3 zIv2M`?LT<%@hPCZ>-@sA{8YH$iCA~lPy6heVCBpJF?3vv*>JSGhE$9v%bM}p26xb$ zEMeTU1sSY`%4xmr!D>244_3`m&x;FPixU8NeUfTuo_RdN`n(?BXzxS8WnE@KDR`BR z8Q$rN6NNRpQ@pBW(lVgm7bGqHxwOcbhQzX1OkcqVH4JR(J~Vgd&*w|J6|B8%NBf)s z0gr*Q4`m@!;~b56)w~rQ#n#Q^^CbeX#446FQEl;?hE{f|JMmed`HVf^AP{?WZ@eZ7 zaoq9=DF}G^ESOSnge9&|VF@Su<%3JkOA%mWav(QSQ@{Z(JL`DsY;qma_p@`bs&Nu{RY~3q;lV)f1Ne0blqZ4s@_TnyJz;s0=;5sxsMwQFI_a#a~IOm0sR25q$O;4AMmFWm?C(ef2gCB z{9v)lUSEbj&sVcJ^>UJn0bg%^oRf=5`&bP1uVrRvC1%GNfgWGfV-sQeB`i3@ktz+A z*_v~aSu+)%g_CXZ7}|~Tek-CG&#y>e1)(A}p~(L2{fZZ5BvO@68%{1OV2VPgU;!M2 z0ntY#eqiF6!1bOgIqDrMXw+{C`Ar%KN^&tAstqcE#n8bFDMQgj&*hzrUDvj=R^x2d@HsuP`M51q%;QgM z@{-S?C{LzjSjE`|aQ7kB(*91ceA8hhRP18gihlb|=B>rWl&`vAfgsYbA_fzAC^ToDd=k`m;UqQ;!l6fAzBavsDsm&({%w_Vu3K z#QlD;sK5WRL@hYX4aLJu%dt#r873=ru2gPti*z>mmvF)ha3c3BOmH5+wTU8q7?E}6 zf{Gc2^`KR4Q2nOVDqr-UL?zFfVc5ON;tVRG^J}zBeUS3camW{`2;Pv$Bri!mxDaj_ z#MyX>rO{d$PV9^wLLjQ}c|F)|dn9taKOT-ypurQJ2|buk zSN^c3TMC3EVO8&2&bIyJkW-l$je3LeZTBzVC`ZsmVO|&d$#m{eWOQy+t5FMtcVKH3 zb3sz&lL>QHWu^fHQbe&NG1T)EuJ600FReO!qrr+zAmLk#Pn|t1yP1+SpZ7XlnTh=4 zWBV@HT6gcV`C6s}vO2b&(j8gM)~n=lCu>`;gFdyVm&*EkE(LUCj!HIC4fM8LPM#-2 zKK^u}B?I%ZmbqR^L*<}NBVKQ9g()-Bw-e|6sG&3@{VF@G>{cpbrhJm=`)mzazpU)- zxWPi&Jd9-BLT17o3P$rSFoO9NhNX%5!A}RJuRr29Ij3$TeOU$~TM7a>qWV~b6xVSC zcXlUn3B)`l2KeMw441MEL`~pEGYA9T4GtlQR8ASQ$=vdEy-dAvx)>790&ZC;k*yG1 zR>1`9Ok_sj;tqb$1c@b3nS>v+8idtqw)g{!U|@^uE4!q3D5EGuIbjn)kWVa@--s-d zspl%Gv3j&u{_hl=qkHUN3~dnYRYbDG%X@d;lKqDetAdsGAuOvR4Vfa3uIEcmB~8|F zYa2=)6GW?xTLWDVTKSR4iZjqET*%8fgDp$fg@-z zB&_jPT2JA0hR;g9ws(XNn90`a&<)xPu$t{|u`bzs?@%f^{ozlGebXhK5JuMD@odX0 zc|TCz4-F*R8Te&|Nl9+OX8v*;SS>R ztmlhbHt`pnl*(IV0GnNR;rRq}zRAADeXMsR3n^z<=CC&86puHW25K^;WwO}Qd>Xn zUNw(Qi|2r43S~15q%*FW0h4LaeC3Un84)A>%uL!tMZ8`VsU{BcCcwVk-WCA+c{WEP zTbnv$o(3yumBf|Hfn|cEXG<6(ffGQ!9ok(S5wkKPbSv(Ld+OLD_1FmertSi^;)3r~ zx-p*BU}h4{TedLdBCaG$^35#sCe*C<>_!k$Omw1EJn8z9L5|NPB649|+0mu54X`1=8R;$fQ_2i`8Zm;(n zTfI*UuxXaat!nnGD$Yb|#y4gefvpE8ydF`S#k@Kh%c_aT+!0CDhTauAZeFnxAYnKc zL<{Jdv+jyII=z3l-F{kXZfQ0j_=}G2S!Z2AaVJ#%6Y$RiyynXHa|uMvsor|hZ+dQY zkG`+zrpCs=>?xUic8o^^tUt@n3g@4w)PhE7c+EU4leRx#PtDbzd43WKTAzp4Vb0Xw zztvk?yl)EeXCJ>$fddIjHF_l*HsuWeoS+xQZ^3v1F^a_eRr!`5A+lTw(`D(N6;rr(!?!_tp_E-4e zes{NzxY>I`ko8N+m3lVP*edz(%{&BDiARCG<)fn~=fj36vKy`$!kxwH}E*lZ?;)_o$PUzs4YahRmM(`Ah*@%1_v7#V}{AD+;4 zMLxJYfu`Lz1qQoN1}+!wOiP24)}K&PhL!sK9gJi5d2h|R&8ZhB75j!mO*sH%Wjc|f zd#%ja(#sE$TKeb)l7U1YqboYy?-*fp(lTSHA$UBlKE9{rdXq^>G zSpP*Wf;COy#S4+msF3QMFQBX#+N-fY6ime#93*NXSlSkAZv6ay4(86`js%mm?eg{> z7u`FwrBUEtPSRv(7jI{Q{(FASy&Zju^?Co=C#!F(TV0CNPJ1&Eo62avEJAl|)wIg8 ztbcmh$(t+U-D45GfzNt*r*urfK_NA@)ZYs#qK&H5e^^T3UO@MwZOyWP=_eR|MDOGuE0tC%>|f zbZWt|y{t&hu>xlGSh+}XEKA9y7rAqFg$I$ZlcGI;s-!Vxe>2U}E;_iXg#b+UJv~Il zwG#^q2rJu1HFUAJ>Ymcr_BwNSo%v(mc8;o zLel#6>Vy_9%v&H5&(ZYrOp0giYXUFLOr-CKL8K&0{WA$*vR@M)&&(fm(1fK@Y{5Si-=PZfAC~~-=V`;V_XFko8XN;Az&8_4V1LyvR9` zAw#!>8z>SGuL`KvfFkfq>l#xXEQN+Q!4U@a7@Q~V3T$g{_FnV*@Dyx5dBw~5L{TWot%j?Pf7#B=r*1$za} zU=4=QHQ6s+WUk|@yG8wG9)`=BDBv&h(z@jN>>emsW))_6*{X9ZXa<mS#I7kW56+O1zr<*VPIhBmPlroSQ#&(T6xY|;Yi#bz&4y0~vu5+3@=(Es zH|&=c4lAgm{uhqUO1ONn+WHJ)SY@>tz_*w)(-(uJ;C}sE_t5XqlH|6@lU8O;vL`y( zWKXMVl1FckT$KRg?t6=e7VFd=_RA~#H~LQK7iIaBi3~Y4Y?C3o==7#_gviAUhfT|F z+^N+$oF|qU-nCyHc1dnbJ3ycU^^|C^-)V4seUk*|svs=<57JZ}z?DZ{??P#{SPCtq zS%`&ohR3|pUGfKg#!7K>A()zlnU$N6c!vEwToZr0>;2rVl~;{AsuB4^exZ`B4w1~` zE{zavX9ZRAqV9rvu|o1`@!XUycpWSNc|)rmuK|yT1^_m#DUDxk+Pq%L7Zi1aftb`I z>&;lo@|u+P!Ru8$Bp>Yg3&ZTP2+F}$k*B~lUyf^~5keJX#74j!6nTq0r{rfP=pTFo za3+vM70Yy7b`Kugi^@tm112Q^ni6>(7|mWjUbtmO-iVcta~z($8tZ#eJ?Ozk)GkmI zx`p05k)qxHjnHl|%}Xt=9X={fmsOVa>}x0RTks~+^DB>^T|jp%@$mmfh5Sd<=YJME zjEw(}!)Q+rK}khIr%@lOaEJa!_N3$DQVRnkXp#A8$5r=uxW%z zN}88t$~>*LEp01TDpf42si1D~KapNY5C$+40K|2WfFQ-!ASDNSh{6gEdX`q2mo==f z3tBd6tCw@;_jh((fx54sFSmPce@*dCLZ;YnKe}d#4$tTviUJD@3-uC9KSz?WbhK~D zkVLG*;9w#mH}=S&vb#yhi3tYiW`5#d)5WJG_oSGbfQjskNMrQ2*rtNwt5TUt7u}C^ zs}pfKWHBH078+g4Q?aqJW1|RaiM~dpFiX`LM_Yf#OQ?VfzXNyRVIq(qg%hm#?e7Q9$XnkX(You+jGdy0W&R*hI%v|{{sgQy zj$aD2?wzr<<|l83q&hU#9=D7;HfQz@U1zh~SbhTy6b|3-53Fu&owm7$9V7%20ws{_ z+xW=)zfj!>^p@rCc1{z2zJUjS2!nJAgLk@vUE4{9k!^Mc4+)bE4fQgPPBSU}xh0K> zfp#VO9RU>vc^?J`?I00~x84@Y=eN1Fe!g?k#K9qP(4>Qbh=_o9$mHIn;UOQRQ6i2| z=W?wfCoqz6(i+>+dx(E)M;y!z&$aBeez}mw;x?`I^*!#y;@-(7l0breNBu+mfGjdJ z`yS{EcVw9~Xa;T?$^dtWt%c(TcZl-_H_Of?d+-@B7zy_j#*NKXn&uebnEFU_3O-X9 zZ+0|G^eezFUszVZ#5R$9Ab(hXT6S6vxg=zP^o%5|2y|g=!T2{gLt;A5M8UG0JBc@0 z!dOm0LS&o*G+FpqPC`N$usFX-3AeZu=Io@byl@x0+u>=%bgnJTzWi{;Q7mG7)g$!z z#VFS4&f&~K4@cLInN0_8pWy(}6!^53=uw0xAF939zOZeV?L50jw3hI&Y`t(MT8E)S z|7qPch6B%sW!5-+Qq&MF)}5ZkZcFlz$5Gm~dlU=XH|m%0_r?)pwv#LOul_OgY?s~R zFby&&vaF1Rm-)M7wo{v4{T^~FeXA`QFVp))Qbze?i4V`T>&Mf1AXCY-8n+-@p}~l* z$%T%2?(+dPhUaiF?6{@R=jog9onXx0iI`ycs`qhm|%< z8DFtV`8uMlv`M$0cF2wsVJ*Bm9oGR(bOv@FFwVP(k#?30+RcE!*QdlJsUe-qkhC%_ zJ3dy!I4k*IiRg>d;?rv?8f*>oeTx;#358^dVi1zJYo|Ow=^9e>*tYjMn`OqMfJ9Cl zjEclZwm+8dBI*1Rjh}ZsHQ(7vq>Z`tpIKM8MPTXje&ZOcKQm_Zf6S$L&W(J@?DTp4 zMPpiV?dwkUeYCxtm6W`^l$4ykw6&d`ajqG;`ybo_hU*VWS9Xu+d)^rFYD{(EyAQl= z<-_r;0$dHgPlIY_bf6^l+;_fej6KnH(eMD60dkdIyjI)R=Ywem`alk6}8iB(iI?M?+HRH_D-*S z+aJWk()z?R$lbL6+Z8&c@&(5mlZjJ)H!h_-wi^ntx#-k8@$|_~kkmU0M4O*X#ICa`G%pi7G+#0t z6DeDzEUG$yE?edAojQpg2~$LaXN;&m3e`sVpix2!X>14N*IzMbG7L0kgU$CX)aT@#qM`+r9+ijC`yD6w@$dF=RqL)cU6n(F3f-UjbS0 za56-p_Aw*XbAP_@+Y)%sLB^QHo`FA9MA$rMiMSE&2w+Ho$Wz8|zm6J)?S2>FYHbo- zoZ=AW^iGGWnA^&^Di}-bcgPHNdX!)H5wL~cP_wbvjvSymn#GyDIC)|)Z5&u6Al_b1 z%iFs3Nj*KtTH-FGecYVT0qra+zmf4+L2h+Zpwt`ID(*b9Ps>Hfc+Yvq_jtK{N&wzo zPVn>i4nJH+?x?wckiw2)&HBuXLg`Z&OI}0xvt^}Vd0FXa z^JwsS4$y|*;{I|I@&eIawbknM6YZloIjiD`?#ozxpxjP7Fm={_AW- zfV_$4u_x%c?*yn0{#$K-DwemIeEe5W*fa3?yvVV2rk4SabJ2|p_Z`OtwJk`H3U~J+ z!q&U~3G?2ywE^2CQjr9Ocn)JIXNq~qhvy8M0Oc0?Ur8WUP}H!K6a@P0#9-|S zpCyc3Wd9O%+x`$|Z&UJY3J|Tah}=tZdWMRq)*VJ@xL3{JF>|oAOpqylvPw$U44qb= zoDDoV2n?pvy)alMoAht?bM(uLsccY3S+pX*};y{f_Hy^(j~YbDJ<1 z&zuTA^@t#ZiIBg@8cJGjHAQl{zZfWqW+MG4EXIzT*|NH2ZS0aVwe z8Q@?WGXmUB6I2EWvEhm&q=G0BRMKU&bd_bCH?C%+oXOe!GJ1pR$S&#;qHzRwXS6;# zeV%U@j$B|Ze!5b6US@6!vAG^m?5W=DthfKV2%(<0hhAUf4N^RvcOg@U9)Fo%BIT2m_v9B$ zhzMr4F$yd$IPR>0b=#2wq6O$?xLOIR$u(J&GRg>t#bff9NMxA!Df9!RzP@eDSKC~z zCHH570^W7Z-wNf9tO@N^GW1Xqa&WBszRY6XH!`Dbb$$kRJM{Fu;%!?yb3Z~%-a==J zFEP8(=#D9q8g-N={(LYM#s6r`db_m_yEMcGT~35QmhN)~<$AwE`QO#s(q?rU+PdgF zYnxl97Z`K?V_6VM;(Y;xrVJRUwdp&%K^QcuVVKi0UKb)V#Y!3&ct%;pgxVaYY+{c@ z(cJ^aiv2Eq3JmqYW=oFQl=rRFXh9k=79A+{p{9a7PI;*TQZ1}To_445iQrf@Mc5W) z`(fFE(hiahi&FA(YpxrgDufP9u%uc|YePaqW>SM)9fgS+kinth{qu=y7z`X35DH!( zS4sa}@yM7HU|f-9-8%srC0jZS_9{e4V&>Ete`rq9f-)!voDkfYQ;HOwtMgHW0srGNP^ zEJHA_#vK#-o~V=MkNS&yhV^NL@$V*my9I-+_%{*V>^|ccj9lv^mjGxSW$YLd!48jb z6ZM~=Fz3D*y^>zD_j<8C0f(77*qCMKsX(0>!`V^Cw-G6^5^#9?L;h+N;`pnYf~ATp z6rgqWjw>MYAT4d5aey36%@9+di@gneQCdH0;}8vV)<*vXP^w}Z5b#EPib05XAgVQH z6+Ydg9VJC)x!MLm%BD=}P&Iz+dwLb*;$+M5C4jM6Dv>wP5fRk2hX-kmz>p@&FNkjT zIur#*AV-5`_6nGR$A%^-V0Qi4Ws>OP>JuiTf7$c>X|FK_ zhS*YH3FiKxCZZyMkALyx3U634k4=t!U~&x*^&)~)c#O!vPMl8}gL4wNM-H3)-5nPn z$ZOai`FO-LDBL`NsPiU>o%qp;e+&ssV)8+N;m^MjQkW==`YwbTLp~D5S5xBta!(uk zu&Q@vTwuKcr3+M^Z+o~S9O3~3D{i460SE(CAOsWnT}LntTlo((c?^Hxz2-EvpsV$w zgPey-T8q)PzLZOc>o1{VdM5RE-h*>NZY$b$y*l>S z;=4ujFg6w=4dkHuN1K|Gl$06C<-F3Hx@I)C-TNx7QT1Et5Pt3-z7B1Fqe{Jg#)LYl zf2KVXs(Y7^t~{lRqPI7d+@w>ax~3;Wo_4#HBUtOxmwrhZ^k%tXPI0-DzbvHrbtn=H z?te+Fk;TIdsNKSc?RQDEHlAb+nox{#1&Pueup(sh2e&xd3eIc0BAk$93!#$12vfu;Wdco zIn3Ft1WrVt4wDd*NDvas3*mk@Fg?qa0=%s5&#wfo0DE$FLViIWwu5xHDk9U)~?xd)>%i3)kM(D%FeB1>;Tv3KA?JWFS+-?F<#B=t-|X*N+S9$`E{A92zhO zQ@{`{P8t2O8O>>owP0U+YX$r0Bqt#-CkR)lk+O+RxXepXkO=>h^{3&^_nrg!iyBnX zlqvI*ubHp~4Dn8is`W3F&Y{g7Pxm~yr=dEkg)wt-So^EZG70aT`0jSKYDF80!_&XH zWMb^-!c5vGbBz!cqCz}fJ`{G;v7wnecmWhO7fZ4T^?|s{y`N|t~ zoXURhcl;B!bM2m@hcTW5xJY)H9n&R<&*#w?j%cX)D|h!>kLQz+owPC0)aUI+`wM9P zhdD>4cdJGzioL?o9>kH^Vuc-g|LT{CD|QfxN*~yC~^|82RUKTY3Vt zG87&khJskarNdK@&XT!xQ9@>Nw4alS05v0lH5tku5WR~LTePLLLaTi6@Gt>4?3@@= z2%p@@0aw>h(813*ALNJe5qAw_4nJ2pP?gH+s!t>VVf!MtJdlWCLN_h8ZKJUkstp%|^?M{*Vdi6VAcyfIIR?r_ys&c^J5eI!{&1`^3av2260-6<)oDjGaVkF&j zdu}H%;JZdU4UXcF-yE%|vMb7Q2=Iv1Btn(O`Q&ll-YjwlQUXZV)L&FL5-l`j>3JV3 zFM0mCG4TV`NrG?$ix$Q$ORf_wZUn>vCF#T-Zf?5$pS_?J1#>fdg=00g;jm~xi{P`E zvJX6l9JwYw=D6aw@88!xk>#?x0ak1N3ux#qr>K_|P@CcQ#zXK4k!sCaVJVHkNgQN) zBl=5{z#5Wk2S zNkcR)Xzs}53n^Jw)A*Vq4ewHwAilTP^{% z>xTMvUY|5OeY`a^&4`#pGNoc7Mf6B4&TSmm1vWYH;`8RS4!DS$c8Mt4gcvi8AG*e;WPY2YU3Nkifq z>f_q*qm0x@E#$;LhnL!?zV#^&eSt7rE^q2Kh|ZIV4ISDZL-4cThv!hgPz=xL$KS)? zX_#JhN|)|!#gECCObk}{T%Mf4wtE^RM1Cd|pIQVW6>SXlX}o-K@;!!e_GxoolUDi4uN_`yp}617z# zwM@SGNy!xf!~)`tMh(o&V;Em?P}`WempO^$GT;b-OL2unXRAr3Bw9sOp+VxRFlde* zHZgoTSOtJoX;6~RU`{x(!#Hx&v?UIVjS5@ieqw<^*w!WLa^UEX7XaCEipCcb${6^L z{yWrqgZ6N_G$7bfwTiUI=`138j$F?eO!eMwQJIU79z}>xazjQ}G7hhSYMn`~0_8o; zc`H0d(3=jAu+s0%B|Hl#XyW=%7*7RJRcAw_`qwrC{iBVu^>mGjrrvcQDS7}etWGXT zwj4R;sTzM%8o(q&-~SvDyhwM&z!#l|xxE;$%14}m*b5{`;Ue5X_ai7kqwm|{;L0zz z-+u5jYSQt&GctB+H-tRw3Z4!yN25EO=nSFVg&ssU(2*==>$u|Il1iOGGE=|*MBQw zWCZwov?gA{T@EUj#<%*e4Ixu$WWN=SPd$@v*vb~w%&3|a{_35&Yy{sVBTuqjvr8L+g+ z&t*1!=c?%FiEwT~805KWWJ8m?+L{;zjGdobUd3VytSQHP5H25Mh^2NWkLW4R-Y6xS zOn6`mvjOgA|44T0`Zu^ICQT(n2Ll-u87I*|qHcbrV}k=Q7SaUkO|*-Hr9R8K3g6mH z5c$XgI>IsrkHb5wjzo|VLrFn7g9EFZW2`Vi)pqj=?mR9({$x4hX<3d-i5an;VV@tz zp6oo)Pqdju5B&+&N5DK9v%nD&SlMU;H}>E9=9|IA>Ub}vlvC$kb0bQ&*!n6jO2MR} zSZJ-96Rkd1>ej>C+SXWeK74mmGg+9_{$r-dxrdlK0`mc*utm$#tD;*w?R^koeO2BQ z!&Ga;d=T`_==7JGPxsf)SJm&af027j_Gh>v0p||Q?J5jLF3Yv`4f!uYgcy2$&|VWw zQ26?xm`2XfyoOi77aw>!5Gdr(0I@o~e__!3{*_xoM-|(Fpn$pwWD8>#tS^>>Qrq{is~tZ*TpZ>5Ng`rpEo0E{*}I&M7_c+Qeuf+G}kIYadH*+S!pI z?unQH@}Z%k!O%dGbdWud@yY$e&+b%G#lo_B*fE?(e0yF3IDmv~pwOooI!x?~iP@|< zkP&{cY7!U*B!eE3UrioM?Vsj-Rr18P{u!luX!(5Pd#V7EZLd4oG_-bho7I|aPCZny z8l;cpQi`!@!SA(94xi@UHbe;csDRhFNlHV)#-SVV9{1S6KWXt_f;q{YXV-OP^QNUo zOCtkrjQIyb6!QgrP1CJJUKh{l=`2%^ib4OU7VLvTM`tg~%&(R{H0o%K3)=QdH zFG!abOQ`4j4N+!<_DB+nl@%Eio#v^q=`A<5_ervwRyF9ir8&crvo>E*W3BXG(7%Dn zDbZJ5W-Al{A$t>V1yLII>ND>!1qYOlGbVj9Vkuzn!=R*B0WbsWEq{chrQK672c9g6 zgHnXUy;!ngdtz5v4OihXZ=~p;Y2(Zf9vYa1CP2}}D6h-ZO`1{EB{i9gi!k9SXa?4* zl7tY53}Vz#yZ%V-AN~c=ix>)4ELeG7?6<>I5>;+THzq zaSg(0sWMT0o#GM%?SX7wKxG*}?Y#xoC8e6r+gdZ@k)6%0fzAmnGDxnD8fL#8NI-o^ z{sh`v5BSerla+cy!s~M6Gy+yx)0%b{lUqQ-*D9nn*n_BSMgpV;I{Ea0x@u0b144p& zi2I%!MoUcsJoSV~;d%M{e$LnkxVg`~%9@f+k4;2zvU2uPMYpVJn>xQII~N&|gA3_R zZm}Wc>N&XPWg#Xz%9@uI=J@_KkYw{P*XP>?sm(=dJ8}HQqH~+l=ybZ3wXwFv?bly5 zcZ}PP0ner^_7SOl)uOZna|&W($;2e}hdV0<{Z~LE=Kh>u$=yKs39~E?_2Cem$H4D)e)v9yNne@8E3n6bmz(44v8+NBCc z=uaA!U*CMS15Ll3VL7Sj9>yuByc;5p6$E9AzJHiEc)gzdzmGPExb|1UXZ~Eo z%4XF!#QSXScpGet@43ASS4@C4CB@50zH2syQcOBW)G(Pe3QV|(O#`4X$VWGf+}=R34x^K z@WBim-UELf->Cql%DD&=>X`QXHm6nA)l4KK=E(3)cn)Y8(LUt!Ymn6sF@Gex175;B zuB8TD5f9B^7*V+E$naDjCWNdYL3~4KmM=_y0`U+M-YLE3zkF9)gGa&Vcr_g3>s_E*&lZnMw~n2c@6Nfj;}qGZiTOyC03nVy@GT|xW-PY8ix1}h!3 zkk((sNEt6#lmv3xX837t#W|@z!&v)JiOet1D6aLQoH9sjkn8?E)Y*D(_66jFHj5Z% zvw=4scn49_j+y~lMfS;s*EJLw#0j+BIs!I83t<*4DQDX;?@;jhHC|xyhW&Ia2;#sl zoHYH4$DY#`_3Az4el;<*w`l5EieXle%+z1+k|19!?)V7}z z02t-b7=Kp-Gz7IC?iDw7a;tH8dQL!!q<@*S68UV*hCs*bMsA+oH~gdZtY%X1`1F4r zG%9O&i7TBvw0N^#v$A#cRFd{6f2_4uc>i(xxEGi<+?D(v&Fp+i9GiyoCMTKBAF{JK zbI+&fCKiuRkB?8$kJx#kXJ~(6JM1o${~MFie?XA_XZsWDe`#y79INsj;=}0^D(V2W z8wOYZ^9S>e0##4n>5aP=sYt}%U)=(%1;0@AwleWFMFQR)thUR>jRlNC;;Zp8T^EH3dUMiHluOZC(8g zBHRyLXK?Q)<_CZzHBcRZhTsMW!j6LQugeQR00Ew|phctdd1X1G*|}4)Rd`k6nfGJu z+Xd*`!>2RTD_!cO`?c4nclWnD48qbq ze9~%@!9uUhJ(~a(GJDbrP(dGt+~sg?;t;BZJ3cTFSmu~P$Ui}=d4k{TYGMGJ5pCqh zDO7c&rNu5)t!#$~BzVzgWfjzFt5iY1K_i`-?-YiYUg%U`X?LU1#N0bLHJBcCFn9UpuPuVNWa4`LA?FPS6Uy!Ho&b9QQ|TfEI$@4^8Ywdp0MlBw;#E>zSo-ZEwNVMz$U=GThaZGg125s}C%5 z;<;jPk1F`sqiv8Y!CGA@hi9>}dUp8v;^9Am*ZLmb?in8PfJ@YW zs5eEe!itjLyI$CGG1OF!tSWzyYfksk2|E5q2(rFF{MkgC5BIeD$w{LF!~+f6;X-ut zV{iYx+V7kwwGpj{h*hWeT$uPUZWX|wR?j|bmIxpB{TTc=U)|u1rr6plmBVQ#S0NFhT8)gpxZjcf)DmjqaOMb@9GRr)bO zMHKk#wDnFlNbkB++ zy)~@uT#dbQGa15S^x_QLn%aN#5oFEaB`8^=`z)#HmF2a#=QV@`Zvp~?) zoYasU(t%SM;2So|=j23>&oZb`y)%g*U4Z3CF1VmsRpwDaMM%0d*xdyu53$Xil2cdT zicUK@_67&G?2#@N@1U65FkMOs&Q;-kL=l%$(T&0aE@629a|rhq&Uo#H zv16LhXWahyGPC}oyDP*l1x#Zge{~MufXE>L5;1_HJS&*dy`rWfUX4(srL!S(>b-=r z{N6$H?K)FyMTD<{CV6k3BcTx5^ z`%xaa-+s6OX9m%_8a#sP=(bbO(MlUSV%FXa1;S2%*zd!8Q4r_BeF|YbJJ74TS`7DuX*24j@M_= z9ga@3?|aU$SNo{NJ;+Hd11@>Y;ndL`C`SU9K-EBIt)p&~ISk*hRz)Gk5lNuF>Rp420Z;c zQ8;h74Fp)i43Z}X^>v|SV5$=E&gfS>18_=)ENMaT4kTze{)uORY~cj=AqCtG49v`o z8pVvltlM6S<{ITHOk-tJBx0?Y8oMGlwmj5yazs-e9ifz z1$vK8YElX_B?4(+gK0G8=i}lM$rSB1GfMjPyP5hx$NY9|Zs&Pr&rn5Lh>ytr%1$E0OZBSsv!#u#c+ z3E|}3RrKh|w}vmO5`;0?BA(|=cN!E?^$5sy=ge!^e~3%?BtX{!3Oi`i{maRCCp+!-m>1=@mtDeZti~6X8!m7tHq?yWy7SF@%MZ@pVRO4a4wJgg8K59stBV2aJ?v^uS1;W(TAv0(n#&C@8gp#zGJjQt+m2^EpLp?c0JD$`%o{jaAuY7|q+&$3#Z&dStq$vMq z0ssHy7yc1a=^?c0uK5R%&;c-4LDv48lm8}6@YpR0v>7F<2zrXCi$hi8ZqIYgwsmDH(0jV`rmh zzVY~O7>8B4yPW=ogTyzzr#sGRRyb|9cTfa%1a3jd_t^enso}X{yKY0iHm9gH5Q!fl zl7~z37e(qeH#h&9ovdUPM8*l16Vz{R8cQ{KPbIsyiGA`n4Nx$ZrILu5X|)bcN$*_~ zLCBf6%#w^M2xX8+qhXRo#ZV9v@X!C*OC&0k#Em3`2V9mbZ4&av$diQ%auh`Yj#ha3h{)%f3# z0srmCa0ufd2v-m+!<~mr45$z#f)MwElEMfJ!v7Gagb}qMTM)*JH5_lvbekYIRs+@% zDTMtV2S4C$j9Fz^-)zh@Mb~|A(GJyw@`mP)`SR7^dx9ul>(lCc9(_C6#vFEByf0m&c#)xqOM2 znIH`&A~bWVw*-$PeTH6hu00B~b}0xslJ>ze-A#AhQp*|C8~=Og4YaB6_BPo|CU8Od z=jI9O;s$q(qma19sf>u>`6>ulqz%=0OL;>>aeFa0D#CQ#_5en_xZ7+f^cF`F-ewD| zf~L~uc;Ai)-?GLPhGNKQ?sCm(kb2Eb1O!`42$BvUL#Kb^5T+5CjdNo!#l$ozUH@%b z3yjPQW>;#1#wqJoog<+wr!&8iV-S~QptE*i%&s+Ep%SWvHj0u-32sQc$(s^z9eNlQEI zw=Q!&oG1{pXLQ|q>&Ojf{VhO*2eqmDntdw8=Q4BfhCsKR;eKxjnBsn#l)*x^#LJ2DU{a}a+n|_M^c9K>TQn+U?siE`b-OvRgqKO@12_l?lp@73 zFO#%JV`W`x()LYX58zha4{xj=T&?wEn)~dj&Bwv8JLo61YYrBr5paC#kF&m5`(vKz zU@KmppNDe(#adi++q4^>nN)~)UXftQftL%6#SHQcUnS-kqGI=0|K_&|B1#!eb4ZUj zTU0<}1^G@^wy$oa>7@3o!f+y;8AFjlIdpj2`?A|D`qGq+fQoOZ0H1$p1mu?0ezOeE4jR2 zGq-4j=WkbpiFrbUJ0`%%gJ`OLzByue_mks!_@ z>`}z+y`$Sy6NMYLw6ozTo;E)OE!k~r9tpj8*yY&eh~#N)`0Nt}S?YWYh6y?Sph@E+ zgJc|NMjN~ZMyDcpQSN%_-o6xf-Y0X<|=~;8F zNgy&CZ`Ui%gP-64-!Fo#(Dm~R?~Z55>k?Tjtrbj3^jqHCsB1HL0T8#BC(TLZEw`JS zzA?ZxME~lI)?xj4Rbw4hKqRh@P>BeAe7tA61f~xW)hnYmbB@g_>U0s&7gjp%^t7`h zVz6jYeP(8(2+79B33p4M5G^G($)Z~KUAbwth*$foxW&^LYFqRj$)5s!!uM4E%rR+H z9%P0~A8!-81GT1whwapsDmqUYH+O=>hP&!%+q`B)kU*>^JFKs;Pc6{_sA(hA)E3SI z44i8y?|;cwO&r;T)*aK0`I&~hnvW6-Ec0Ai7CbxkF$9%$#Ae;tzYUZ-uXy8|SZClo4I9JP6ok*>)rksC|P z;T>yJcCoW50XS^j9q=uIrG!&gk(jt!XV;g_#*KQ1au(_!y>Xt6uEGSM!6t^Gcp z;)*WqZ6)Om(Ib=f)%5hl#BS1O!I|e-w>`|)KsVcXbm$|rXMO3YazJ^YqT%QmWVoRoi{vG z0ch})Tx2Oo&f;-|%a-mRHJI9VXfGatv0)kg~` z3KR;&$K}Z}lcq^UN0U;OtSQBiazUR}d-P?HU#5e_sAl}DuDw`a(($*Sr6;-DLWFSU z6_5VYZh#X4J$HB5wAE;IJ?MPfUfP~Bc}wKuaU)KN#^dO1+V)W&4T z_x(U6;d)zv{MVdHk^#C4jCjDc78OiVj(IRhb3$lX~pR zs|9^TZ5NqTf&0p4CQnEt1V5CMFs{*HaA5$|ELTPzizX&qT3T*?>H38WHjy|6!@&%= zF?YlpNd3TW=?2yq{04)W8d;7TI8+wbhLQA>Ad7O22lo2kX!{5yAyR=OjN$nC_cNr< zmRfG%MVsjH<-=Zn`PGY=)O`HR%Y2Lh&9J38FZIzk+^ax%`p2BY+3fJxt554 zDrfh?-oNKWlg=icNy4Z=J})>pNWheLRPgRnNW{ic>{5eEdO3G?n*}R%9PjfAWhBw(Ef_8i9a9?Kd}77%C-h56Eyh`i*|gJg_jYv zoZy!DO)Ho7jmY8reJRX!B1(ALA0ZrYkEy5YqNzw68n(U2h4AL`-pv(&-O-J>f+^mAZ!k?+J-6XeiTi7zce0eR9>3d+2eC$Q|EV7p9#rp2-y z{DlI&kHT_N(3U5*+!Llho+E#o886pzGys^$i{p1=#9n#Dj0oH} z_5NXuKJkjjQ;2GB==F+AiMnQLdd#TuO-;heXI!jG&R#-=57si1T68a}7u%AY+ z2%DzW8aDbq=m{tj7zwi|=iF)}-KY4#g~vCETxgW_)mvzs3@TimjkUkUGd+S=X)GY= z_?NRe6|cgl*7T?>CJj@Bc@%Q_w=tuSLP);EyHQX9NFNyaaUT1J&CxMV82U00Sgo3e7|?F?U2*FN@}O#iji zM{kP2g9e-T;cWKbf&(3_1@8_ek)@jzD}ZQU$3shM$i0YG^~lD9pc`(cv2tUo*a($x84qgz_TGgpyZi z5-&Y}iFi$CP46l~DEOs%wMS=LsOSs%v~MrRlq;}?LX~RrZzu8|hG;T|>3@k#txz-; z&2(F6`$4a6HFjJd8{@>`$>39=J^ogh4$AUbV!s(HM{QV93YR z5cHn5A!|hp9G`SU1NKSQ9a7($&;ZKBO&dd;=kxWgRaRp+^|DE*+^8MLL}PB&Bh?^v1j}4R*hKFWc zkM8MnrN?@fF*?K_nGxt=i1yR}=5HNvQ{xVOKky%W^{hSJ`UD~SEhdO5%D;jfXV5&3 zEIFj^(8Ay8__4b z^Jq1d4!%MObyd~gTRuEcP*sp$zN~CXBh=QmZOpL6ec%`T4L#Vj#P&bvP5+UX@xLfp z|DE;ItNY9G;Hf*6%UmA`g!3NS^na-RA2#>@tCq#a!}?#etQ0M8b#yJfe_GaSelr^c zQ1W)Vvc)MmEK;hb>?tG=d0Eq^=%+sl80i4N^q^P*NvfH!urN3*j)90USOS(|jjPhn zF2UGH%2v9DTetVxRZZ`)o?9M1^aig@q37%4?1}A;z3um3dv`CNy||!QDE_bzf%o)U zH41vYzMGZ9;wh>vvV7!JP7SgNqe_(Z=<5!0Bu1d4s$i*qOn>+RDEwhD@_7Qjh5|t2 z+VYi%E53Kg5XM*rX0iV^c@q%eb0>6piJ)<3^ey1N(uKl9Fh>kg?@IZto2g{dNp$in zR4z}pjAp2?vNp)6^GLSnr52P}jt);}&gPvhL=~N5CN49i7$i}aQBHDrNnqsQNYrUw zbaXj+Rm#egNwZT#y6C1TQp<2H@W!au6qsA5FiD}KN>H1Rb2b~4%ocX|wWyP(SQYg3H7?CZjTVLPr1t{<+! z54Jc^qz^_YjQA>#fQ7uDkcA=|^Yjp;?Wj$hPrOS4TauCRgs8{G<;!X=-Q4up)EBo4 zoe6I9O6N3yT410oG=gAtm)eaMx2Unca1bJ2+{N~jki-1F*d1#e7=6=vyZM4+bWv&5 z?xNb$3YIVNKEIB*G!$Og4u6mAHLJm=1Y%;Wcy-@s(AZV7Em45^G7J?(+601<^4BS1 zM4YO`{SU%6H<%cG1&LK>K`*L2gBkh(p<_{lOkb6meFQ9ugmntQk4r~aPYo!J3XhC= z%4=3En_<7K+UZjwId@}Of0c!#p`}5*|NPS#utrQl|5M)klBTeH-b?$8EQb&PWIwSw zx3Wcm4-C`;7%=-^X65buvHXU^JS^33d8ZSubrl1;4RH~7>-qKT9>HwcJKBPd+nfKb z8`O0+)XmiCgicn96r``7@e6y@OR8hHMo#5OFSqBCut&p6hf~j1LTt_Spn_V zxY&+sNeh0`wEawmnVeiG~4z~75H}uTYcz`8g^fpkIl>qw@y@$L- zISJONdR)Va1#|d7JX++3Vj3aq7R}lbnBI`p8>nONqkl_8LF3zYDH7V-&L?Q7@}sC_ zjb0C#qT^2xgveQ6kB6cu;?X(i4+~lZD6vK1D#Ym_712fcIWDanZfe7GYu~B~(O5N-2kZ;*drF}Y*)D&u@jXNn zK?UKgUUb_HrBNE9YL3CW!104=0?@*1 zJ@RUCY?kaM~N2b4~+yq3H*#ooQbr}pH1JW56W)!5V4W{rP-6a znPk6MF^JK!nJFs#q1eI1md$6tWVw0psxz44Da*Y$5+J7(KX2U;`dM_x_G zq}IcgR(9j1SL=6qP2BxU>*iCqfwWcs)zVT}>$5zYnVQJkSh3@kEGh$oZvQW^9coy_ zrs~g*8gcs$wbGMJVnx_Fwxet|10D*j#DZh(S19-_5}vUY9!P@fLgE83aqK-;ca z-Sm4(8jjgd?~xw5Q4qF#v~Sm;{_bLo8WHe)Jyg~wT55GcMGj^0x~m3?qmFw%7Ch?N zjn`(n4t|S%&)2myZ^i6tHG2^0T*ilniX>C?=ze@|dPNSKHb@&Re(GB#b2w1mIPB6) zHPzUR8Vvq8U>xfw`Mxhi$N&rEVS~Y;nj7C488m))a9Zwf3{a%CMg-#8mjwL30w;{n zkF3Pg7^p!YK>AztHVgBLmB?yMS1qldKe6{yEh!0{-Ml_GrW58D*2^IM3v)F<2;Q{= zNBOyk25$&`5CoyqyaK-g9(R{L1M#rKKUy2Kwr$IkL9I{-nf^sVsV^4FQ=X4cRcOUe zW(#EhL2V zGs?2BhePn|rpn#U?_pv@?re1$R7Cn9pctCyMS`WFIW*mMWqPLcurM^7ATGv1fv6i@ezdj;H~?!04SgTl zN*npim_?9@)yv(ix%O=PJXb++VaBG~4UN#VpX|7q!}^%LROTjX%Zw{2PFL$#@W7z+ z8hudaAYwLCeSgm|)dU$EQeHq`jSGJ7rC$F9ANr48rqCgQ(Ih})FfE5cBCEQ=l%0Og z(pCy~*wAg(HYne6EREk5FU_5?WXW;+4s-s!&}AE|30EVJiJPMLi+d&pmS?~kwN{owq`S39SVNWW8DvJ!jtWk`dNBM+0AR1{&C()8w==D=u7 zKOLEsq3b+%L%d-c8SiV!0EyGsfg~k${fA`zTSk8`lw&qbhx2J3N)?EBcIn3Y>Z;A% zAI@O9xJh)M5%3q!@D>|51WY0Eqbzp%0gNsOOASSRXB-hO_g0^Y9y}k56)Sog0kwiV z%J+;^i%YgM8Pg1QF-tnY4LCriazq*}uL!bpqj4Pi?GCOY0B!E}#`qyR+mjElf@B?F zYJVXDnPIYORW6+npwek=n|doI?D*iK!v|~W{&~cK*-Z5>@SfS|B+h@`*k!DPz!g10;)4i z>XAx>+nzmbb)$|LC=;2NRLRct{R`SS_aLG0-VQ+O zBPa7TeA?h6PXeAsd|BP;LP)@r&70n6D>?-ZbXoy&DMM; z-y^=-nB~CL42r!rEgva0NBc2bjgZC=-O^9$>lS-URBBlvQZ)6o779j>UyKV>tK&GO zZ0YmOZu21;R%{^~L3F9Evypv%U@yxt;Btq&!wnjo^@Y0(NVr~a^K!S@`4J+GLQqtI zNddveyhc67a&30!eoL7jeO31NSDhfJ&BSC{r)TzKYfFvWAAW-srt($(_YR)tKej{v zm+650Kes^tg%a;)la$l68%2(VNZ9Ft5C=kJ{ST%8!$SXm9S%5HS^mpzY>l?33;M}s z-u$d`zPgotEid^Ugqd0~2_4zwnFK%wl2*B(*+u3BVEfDg+^W7Yv(2QkT?Fhbu9lXR zFu2mvs7I8eDC^bwGVP1>R=t#u(chgr%zjcauJ3x+?im_7&6+*TzV|-z&)vOv=URpa z4Udu$Af4?7Z6ROF2-Mq*&E^EE4iwR+*<)H_VVg-Y-;@&PpQ+sYL%}FGS()I?L=~Kk z=^pazU)i$id`IVv@)HuHN5u8in3MJS{>g&O2_qqx5m-2ScRr|og}l~TynGE=2xvRR zCSBsm=Gpdy_kDZH`~C;&;|XN=S|#wUXcw;5PU&_!Il_l9hcgy2=uL04KA9XNiXh56 z6iA!iO3l!xh>wVb^T;US>9(Ed&Y9@e2gBvl?FZ7)oczO7utzz22I?8W38he@-iMGG z~hp|F_$xq21;t64T@#d`LLGjVvvPTvvskRi>G&)9&vnwp$6qUW4mUslGSY zKcuCJL9Ouk)Ik(Ge5AyL`{xcNN~#$a`E{5ukuZ@skz^|ARDziqWFwp>nobaZ41ZL$ zRIXUAR4X}O0(QK>c+|K71*D8rEQyXZQeqqi$%r(pYA6gUD_M*P_d*XA8GKoTWkWbb z$H>I74~Ojy$3(NVyv1}`17(As*i?hgy6<(=#m_RsDE4V>p&^!|#|(T+Up9K+{HTY9qz@4~ zaki!dK_+KnDD1(gR9%h%lu)f90vvbRP@+)yj_1u-umBxkA-GeLbzOA)N-Lkf=CfQc zG`@;Ax_Qe%jjVl$d{s3ds7NBjjc0)5F(VAuY2!iwd(436!YxTx%6m0y*y`P}F3JX$ zGuQQC8n4}dO5QIq!kbjgj}~Ns`JnnSDCXkAXb>d45y0;N8%fUE4EpT!O?~p|3fW<; zLdp%AC&`FZwG`nFPlG5u%2A?DdexFfFto~ISlCG>TRMOp@}d{uh+^JDHef-YHlWG6 z1SqTA#S1*=VtIaOVEVF)SH>;XH=dol7O~uYolHq$;-w4~z`mj|+#~XP1N*lQ%sy2* z3n0EFD0yWW@Ao3nU&XrDi%Hp!FYVi>YKDzD*2eanIv6gO1D zg54`_SH0gjPd<%x>RXQx1lx@Fi4?@jWT8mJ1Gyods$cX?-L>z+`-^V&C-t2>+!6cK z!Z&s0fpPjc9t4>(@n3L`+(MGY9}Ug%q}LC8PhX@Db)T--V6R&hds7YpdWKw>B0N2><+FPkb>$)aG7T2c{z;}l zRRo32rPb{23h`E?>v7db3Nu7Km|bT#CO{~YFJiY|CjlwpBO(KQAelF)G_ z3(T0!M~DNJo4xyD;W)oJr-np`v{sOqV<8aLkQQ6zQmIZwKerD!R{{> ztQ|0gqk=0&&@kq7NCBm(co1ZZbYqDTPWs+pphHS=Yc`*N!vMk*ZgAu6B+V)q-ri z=!|(TbJ@7Q-Lp%@-U9!Su@@;@raigwZYv=DRvDx9qhGkLs4NF)tYuDc%41nCr$4dz zd{=yM`Qin!zYC)=2l+;CQQ9Xa%LJQv78UcM*xbfM#;rC?(i>+`b(#jwmuqDCFOzJ! z1hWt{Kk?B-^&|x2{Bp2X&Ja>K{lLe$d-hr`E_Q+PSxRYS7eW->9=qLWc=tjfh_5_PtKDkZIm;+glk-4Xv2kx zP|^HB)s(S9Be9~M20F2-3bk|u21s%TW?SM9xD%e`AO9@esg1{o%;T((xwmi&y+yXL zT7*wa!u-K$0{L~lmE1G6aN7%nKOZA!RVy#m#2FB2;ZPFAnO1CDBdq>Osee;ubcp}j z^>Lt&yAipq=OCN1MMCy4RT2WHs#CoSjFD2gXz*M|TQYkL`3xRYEm&I3w01eBDz&G( zBbcf47M>a-GEVM^RfrvGQ1#4#DkH;}+ym6vx-R!LD5lUYLXDR)rF(k#I_XXmwqjT)^ zvOGK^di3qd7`rC3?dGl$04*4z%|OE-$xB*|sh_b0D|^OYgbe=H3%SYCC`5ZsYY2Sv?3J^2|B&x}n$) z=nYkJgdxl$W2^A~J?-3$1Ckf7O>g`qCkRncZbrp6>u~vkd_9H9sO5KhYAdrRmoDM1 zrFRQ|s}`7;Q@m8^h0Z$BN2(U+GzGk**d8e4e9lzCFI+IPzWy-Mxad~>?}qEayyD*) zxX=b6FO598f@3Y-jIF%g`UlvS7tSr5Bxy1dGYrNt9vV4?Jv+DeJi?+$$rkjSHD+0* zaR*%6a`<9%vI?-%m&?c7+Xbsx1j#Jspj3%;&6~z#xUOxne~AL54|S25l`fvaE>m zDVO2GaF2~gS7e-4c@!LmaBiA86D0?&dVX~CMz^5Q?UGw^`9l>lLlE+EXy;x-@N8hx zK(3b3A*>zkuLH8PwUa-Hc0mJ%bX-}SDf=)&EvoYB84RG5e;bPj=cvVTC5`DefaIl> zFbx~ZDhh%_3?hgO!IFCVb+FtShs|k%QbVl`2BH3(nsqfI!HW>Ia7k`O zU}+Q;svBw&Qf>~NCsT(jHJoMmay)sAcG<{*pm&btp=iep>LjEaYJC`ZfAjzFz<;KA zWXxnRXfx+?EI-$7AGmDeN?JQ$ba7ZL@-uWGe~TwuIGQ+^S+o26eI(S`?+SCrKyt@+ z+c3V2rNamS$xwL;%vR3&l?#i^JQ#cbH6H6esfQO}kY5KXmHt$|9zVwL2CtG2|NPt; zsx*j8kwu_y@L^-;?&gFwlp?9IX#3Kbp8MkN0v*oVB~rzyflDX-<#Wziy-H`;*?<0qtc*xQqL`!P4D@0u9(A{(yr~3nGtHova(CgjMv?%z!oSkRE z`>F=23U-;ErUF%I%JMK;wqAj5c9POy5!tn6<%t{IY=}O&eJx}0G?vUff?mt*rmCJr zWi=h-3R%uDNt_(q`SE5T`Dn+hI?Dv+0dH>gNX)!J8Y}l2ekT zErj=RSmZ-EnWuMO+gEv0keOOy)!ONgKRb7ike3_z9*A^&6&0(rDMvCD#_Mhe9|r@; zHofu;5Cx5*?xd`K@Iw=klI&J59GesH0SmV%sMc6mxYkwH2*;=v;GKrf|K5nH<7pK| z*w{9=ZjAAnCgdOPAABv#=~M3%2*%^%vACedKMF<@;`xdHC6!k&61dq4kdvuf+Tz&0 z`{6@(f*_g#JDw+&@w&)=I-ntLJu{Ko`!>+~v$$&t-Fjrs{K<@oZ+aRtmOXaH4#}aD zmU~^n<0d6V!$LnLep=V`TdcoNF13cU7lodG8uH;XJhPh?~c zZZ3Kn??e1P9+Tuq0l~>olwcc`q z@-n44sS!&^ojV-CmF5Z{5M)8SanPdbK}(VS@>L2-7S~A}n>JTd34p+hfpU0r;bMe5 zlINvLHiA=K@zC8o&BLZ76c zQ8t;?H?W{Qb{Js+{RObRQE*BXtgaEGcoHS?Np3h8LYw!kj4P7Xkx#jCE+|%0rlkwg zo2JY2aZ2&sXdZ=D@H$E&ow=V#ynQ{E_V$T;Uh#_R~z|5B_>j*Qo%`0^AUHO^6y=@U8IcT z3WxzO?pnP$fIjK!$5)B;!$LQ0q6!b;jD0QD$XYQi^$}Uegw#@}te^t?xRIXEqz2!tvrQPU=23tvp)JS`_{Db+~nWt-x(ivBh&o0H2t3Kwpj3m!R*3M}W+0{+7 z9lIyr_wqdaQ~0rlZ;&tU3tm_rb`rCMTI|CK4~pOL`#Yn;Y;2s26M|52Z*^S4%E?|- z0uhm5_t&306AbFT{+5|Il4hXuxy$A^!_Lt=@1U#F^;P?pKu2BC1w~qG*6Z)OxCCIJ zFGOGMX_Cw{kZx@>+a*pI95|+4U&YGsOLaOEm(||8-9;vNdrWI&1@nx~feF4DkMT?| z$cK@L0A~U3gXPraMZRx7CI;x~MV&FCXSwN^39fpa`X`2$ry((h_x$X>>(ZC}Qb<15 z=xFO$=d)H((ZS4Rl}9hX07n@ASIAK5tHXC_eR^Y#@p;Jpo{I17y*}z}YbNCO&z#4-E}GZ3*78_Mifz=r9~)-(l_)Mz z$Dh^0;yKBfc1(-Z=HV2r=lZ;m`nO;Z_nmQ%RC&v5;uVYJHlgwv%P*=Z&lOU%~n?N9)5Rbb1vC?OC7zbHRN^Y#==L= zds~|3_t^B_n3im9$vBGj_7C6|6ITmmrndRhnRmIcQKuzeQ>7&%)WO&o-^dE`WUA;2 z|K%Ntef1#;l-V6D^&{gOx!)CJp1hi?nO;b{nsVCq8AWU_zl8Oi1&yCTqHxkTy9=Kb z&1B#iYDq3Cy7W?I$<0=LxWa9ke@9gOjq{?t(samb_`&XTvuE7alrDSCFObO1NDWyT zmwI{59Tlq6BF$7RN4N+_=pi1mnxR>tNwoxJ%C^Mhh9)@w!=WXfgA@>qrH~RE6CTi< zWLu<09B)EiMtxH3KOdBwTZ$Suj}GB~Ocvj5q>|8vDuZ+a`u6+!us8&X0GLfCo-A^; z<&K+zEVeyXR<}o#$2=$hB|3b;7v6*{o_#~E=pNo=f#}#8#@!Oiy(}+G07rva&J=%Z zNoIF;@q}WzigNZA4lW?#U3yL=Aa*aKcTABIPa~^>d5B#gMNZlR0uwV&0A9)pM_F02 z_UgPlOiB-&DObdVvxA&YB7%J%Nj z2h8AYmcZaa%BqkBCl`+5r|+NN@xl7WGN9c+9L@sZg?}; zufL{v-B!w^Ki~sZNl0(})uBJE#R!>F2H25JByjzmV%qVVOY7?a`>y{YJZ*)I&xgSp zHlhDPFTBEj*TySxvx$>pKADA=`lva1^$VVhm5tgI-{i}Nfym`)CoFSIcpYRE$@(NnD zGb^Hs$nj;z2L<8((dL_HH|*>3kT}2`5tF$1ZswiKn(K?r&gnVI|B@n5f7C~^uDRu* zIizsH7`EsK!$hxyj^6|EilxNW;@f#(R%|%Sv76x&W7fFGNNp)P#>oJ`ca;})m;$SB zqhmjoj#M?Vjz?1qEXXcM#=$8|<_6%Q;$t8+lB!aZCPFuO6B2J}5r;%G<1NvqkN}}bFJ~?mCN{C0LEfS(d`SE zB_@okPbddPj)lx}f9-6xb?Xe_MurQ8&}ybdf9f2+ujJ=zH~IkFM+dDLEV@eNoD_f! zD)dL4LnI#`ah7RHv|GG&Rc~6Qm0yYjr^K4|q#)J83?cNemySZt@ ziC)8zfIhD2){gGb_E+5a!FAZo%(HX5?v{TV2WUUZV!PE~L&7vfXRC<1gRk~Oc8R)w zx1t+ln$*M@s>R=gc;l#U55;$}wjO90(+TaMB61feY^4C#zrhVMZ);Js?Z46|SRe=n6bdU~I?M|tGSFXGs4h@Fz$pWZ8j zT>=(;{V}_Gdl6d(?X*duwHvOk#+2zlLNTrVG5M_T3M65AjYEixMm|eMjZBY2S;d4q zIW-7vhN#4EK=9ot2!d+XgUj)aMxNt2*25Ko-$-{mQ{qDLNV)DzRm#4Q#f7F`{(Cpi z1Ni@R^V+KB7R;*l_AVs<*Zx#xma((2C;7iE|G%R+ke}U{#lnQkl+B#Sl#Sikn1z*{ z6JWx|&c(`M%*w@PY$5pne?y;H?T42+91j<>7LfH{X*T`;ZCC*C{HMRlILo6HD1s4k z;OzjZ;s81f$+Zpnf}A35I*-H26v0}+C4RV2y=F_%I$Wy zU}LvfwR&Z+W<{gyp-^0%fY~51HA|95i<3`6$RG!rCD9a4iXO7P0W2g`6>kdmSe*iG-Wz3i_u zb2~A|ip@FxIp-F1$Tr}c{qQn{IpbU*c>rCZd4ODDvHMm(qRA~squD7hRrb>O2f41u z6!|NYB7P#u88;bbjkQv54ZFg(0=ApkHRbW5PP=?r$?0QIq51pqTF~H|?H!tjm1*_A d|4U~VV<#66Cvyup06P~84;&?>gpwrO{{a<3hJgS8 literal 0 HcmV?d00001 diff --git a/os_exercises/ch9_exercises_solutions.rmd b/os_exercises/ch9_exercises_solutions.rmd new file mode 100644 index 0000000..8022bf4 --- /dev/null +++ b/os_exercises/ch9_exercises_solutions.rmd @@ -0,0 +1,120 @@ +--- +title: "Chapter 9 Textbook exercises" +subtitle: "Solutions to even-numbered questions \nStatistics and statistical programming \nNorthwestern University \nMTS + 525" +author: "Aaron Shaw" +date: "November 11, 2020" +output: + html_document: + toc: yes + toc_depth: 3 + toc_float: + collapsed: false + smooth_scroll: true + theme: readable + pdf_document: + toc: no + toc_depth: '3' + latex_engine: xelatex +header-includes: + - \newcommand{\lt}{<} + - \newcommand{\gt}{>} + - \renewcommand{\leq}{≤} + - \usepackage{lmodern} +--- + +```{r setup, include=FALSE} +knitr::opts_chunk$set(echo = TRUE) + +``` + + +All exercises taken from the *OpenIntro Statistics* textbook, $4^{th}$ edition, Chapter 9. + +# 9.4 Absenteeism in Australian schools + +(a) Here's a way to write the equation: + +$$\widehat{days} = 18.93 - (9.11\times{ethnicity}) + (3.10 \times sex) + (2.15 \times learner~status)$$ + +(b) Let's go through these one-by-one. I should note that I think the labeling of these variables encode racial and gender biases in some quiet ways that are irresponsible: +* $b_{eth}$: On average, not-aboriginal students are estimated to be absent 9.11 days less than aboriginal students. +* $b_{sex}$: On average, male students are estimated to be absent 3.10 days more than female students. +* $b_{lrn}$: On average, students classified as "slow learners" are estimated to be absent 2.15 days more than those classified as "average learners." + +(c) A residual for some observation $i$ is the observed outcome minus the fitted value ($y_i - \hat{y_i}$). I can calculate $\hat{y_i}$ by plugging the observed predictor values into the regression equation above in part (a): + +```{r} +18.93 - (9.11*0) + (3.10 * 1) + (2.15 * 1) +``` +The observed outcome for this student ($y_i$) was $2$ days absent. So the residual is $2-24.18=-22.18$. + +(d) Formulas for this appear below. Note that I denote the variance as $\sigma^2$, the residuals as $e$, and the outcome $y$. + +$$R^2 = 1-\frac{\sigma^2_e}{\sigma^2_y}= 1-\frac{240.57}{264.17} = 0.0893$$ +$$R^2_{adj} = 1-\frac{ \frac{\sigma^2_e}{(n-p-1)} }{\frac{\sigma^2_y}{n-1}}= 1-\frac{ \frac{240.57}{146-3-1}} {\frac{264.17}{146-1}} = 0.0701$$ + +# 9.16 O-rings + +(a) The damaged O-rings almost all occurred at the lower launch-time temperatures, with the lowest launch temperature accounting for nearly half of the total number of damaged O-rings. + +(b) The model suggests that lower launch-time temperatures result in a higher probability of O-ring damage. The coefficient of the "Temperature" term is negative with a very small (proportionally speaking) standard error. It is statistically significant with a p-value near 0 ($H_0:~\beta_{temp} = 0$, $H_A:~\beta_{temp}\neq 0$), indicating that the data provide evidence that the coefficient is likely different from 0. By exponentiating the coefficient (see the R-code below), we see that a one degree farenheit increase in launch-time temperature is associated with 81% as large odds of O-ring damage occurring. In other words, the model indicates that higher launch temperatures associate with reduced odds of O-ring damage. +```{r} +exp(-.2162) +``` + +(c) The corresponding logistic model where $\hat{p}_{damage}$ represents the probability of a damaged O-ring: +$$log(\frac{\hat{p}_{damage}}{1-\hat{p}_{damage}}) = 11.663 - 0.2162\times~Temperature$$ +(d) Given the high stakes in terms of human lives and vast costs involved, concerns about the relationship between O-rings and launch-time temperature seem more than justified from this data. The significant negative association between temperature and O-ring damage suggest increased potential for failures at low launch temperatures. That said, several limitations of the data, modeling strategy, and estimates should be kept in mind. See my answer to part (c) of 9.18 below for more on this. + +# 9.18 More O-rings + +(a) Let's do this in R. Note that we'll need to plug in the values for temperature *and* do some algebra with the natural logarithm parts of the formula (on the left hand side above) to find the predicted probability of O-ring damage. I'll solve it by writing a little function `probs` that takes fitted values from the model and runs them through the inverse logistic function to return probabilities (see the textbook for some of the algebraic details here). I can test my function on some of the example model-estimated probabilities provided in the textbook: + +```{r} +probs <- function(x){ + p.hat <- exp(11.663-(0.2162*x) ) + pred <- p.hat / (1 + p.hat) # inverse logit + return(round(pred, 3)) +} + +## examples +probs(57) +probs(65) +``` + +Both of those look good, so now I can plug in the values the problem asks me to solve for: +```{r} +vals <- c(51, 53, 55) + +probs(vals) +``` + +(b) I'll use my little function above to build a data frame with the predicted values and plot everything in ggplot. + +Note that the question asks for a "smooth curve" fit to the dots. There are many ways to do this in ggplot. I demonstrate one here using `geom_smooth()` that fits a quadratic function ($y = x^2$) to the points. You might experiment with the different options for `geom_smooth()` or, for a simpler solution, just try `geom_line()` (with no arguments) instead. + +```{r} +temp = seq(51, 71, by=2) # This creates a vector from 51 to 71, counting by twos + +preds <- data.frame( # I'll want the data frame for ggplot + temp, + pred.probability = probs(temp) # store the probabilities as another vector +) + +library(ggplot2) + +ggplot(data=preds, aes(x=temp, y=pred.probability)) + + geom_point(color="purple") + # Plot the points + geom_smooth(color="orange", # Add a smooth line + method="glm", # Create a line fit to the data + formula = y ~ poly(x, 2), # Using this formula + se=FALSE) # Don't show standard errors + +``` + + +(c) I have several concerns about this application of logistic regression to the problem and data at hand. First, this is a fairly small observational dataset with a lot of potential confounders and threats to the assumptions necessary to identify the model. For instance, the textbook is unclear whether each mission was treated as an independent trial or each O-ring was treated as an independent trial. Either assumption is problematic. The O-rings within any given mission are probably more similar to each other than to the O-rings on other missions. In addition, it is possible that the O-ring production or installation procedures may have changed across the missions over time. Likewise any of the flight and/or launch procedures may have varied in subtle ways correlated (or not) with the temperature and/or the O-ring outcomes. Any such clustered or time-dependent structures lurking in the data could lead to unobserved bias in the estimates when we model each set of mission-specific or O-ring-specific outcomes as independent events without accounting for these added sources of covariance/clustering. + + +Furthermore, if the model treats each O-ring as an indpendent trial, about 50% of the observed failures occurred in a single mission—the mission with the lowest observed launch-time temperature. The result is that this one mission with its one launch temperature could drive the model results disproportionately (it generates observations that exert "high leverage" on the model fit to the data). Without knowing ahead of time that temperature was a likely explanation (as compared against any of the other infinite details of that one mission), it's hard to see how NASA analysts necessarily should have drawn this conclusion on the basis of evidence like this. -- 2.39.5