Question 3

We now review k-fold cross-validation.

(a)

Explain how k-fold cross-validation is implemented.

k-fold cross-validation is used to estimate how well a model will perform on new data. The full data set is randomly divided into equal sized folds, where one fold is held to be used as validation. The model is then fitted onto the remaining k-folds to predict the fold that was held and the error rate is recorded.

##(b) > What are the advantages and disadvantages of k-fold cross validation relative to:

i.

The validation set approach?

The validation set approach can be highly variable because the data is split into one training half and one testing half. The estimate of error can change from one split to the other. This approach is also less biased as the model is only trained on half the data set.

However, this approach fits the model k times rather than once which can take longer and to do, and is more complex since it is divided into folds.

##ii.

LOOCV?

LOOCV fits model exactly n

Question 5

In Chapter 4, we used logistic regression to predict the probability of default using income and balance on the Default data set. We will now estimate the test error of this logistic regression model using the validation set approach. Do not forget to set a random seed before beginning your analysis.

(a)

Fit a logistic regression model that uses income and balance to predict default.

library(ISLR2)
set.seed(240)

glm.fit <- glm(default ~ income + balance, data = Default, family = binomial)

summary(glm.fit)

Call:
glm(formula = default ~ income + balance, family = binomial, 
    data = Default)

Coefficients:
              Estimate Std. Error z value Pr(>|z|)    
(Intercept) -1.154e+01  4.348e-01 -26.545  < 2e-16 ***
income       2.081e-05  4.985e-06   4.174 2.99e-05 ***
balance      5.647e-03  2.274e-04  24.836  < 2e-16 ***
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

(Dispersion parameter for binomial family taken to be 1)

    Null deviance: 2920.6  on 9999  degrees of freedom
Residual deviance: 1579.0  on 9997  degrees of freedom
AIC: 1585

Number of Fisher Scoring iterations: 8

(b)

Using the validation set approach, estimate the test error of this model. In order to do this, you must perform the following steps:

i.

Split the sample set into a training set and a validation set.

set.seed(240)

train <- sample(nrow(Default), nrow(Default) / 2)

ii.

Fit a multiple logistic regression model using only the training observations.

glm.fit <- glm(default ~ income + balance, data   = Default, family = binomial, 
               subset = train)

iii.

Obtain a prediction of default status for each individual in the validation set by computing the posterior probability of default for that individual, and classifying the individual to the default category if the posterior probability is greater than 0.5.

glm.probs <- predict(glm.fit, newdata = Default[-train, ], type = "response")
glm.pred <- ifelse(glm.probs > 0.5, "Yes", "No")

iv.

Compute the validation set error, which is the fraction of the observations in the validation set that are misclassified.

mean(glm.pred != Default[-train, ]$default)

(c)

Repeat the process in (b) three times, using three different splits of the observations into a training set and a validation set. Comment on the results obtained.

# split 1
set.seed(100)
train <- sample(nrow(Default), nrow(Default) / 2)
fit <- glm(default ~ income + balance, data = Default, family = binomial, subset = train)
pred <- ifelse(predict(fit, Default[-train, ], type = "response") > 0.5, "Yes", "No")
mean(pred != Default[-train, ]$default)

# split 2
set.seed(200)
train <- sample(nrow(Default), nrow(Default) / 2)
fit <- glm(default ~ income + balance, data = Default, family = binomial, subset = train)
pred <- ifelse(predict(fit, Default[-train, ], type = "response") > 0.5, "Yes", "No")
mean(pred != Default[-train, ]$default)

# split 3
set.seed(300)
train <- sample(nrow(Default), nrow(Default) / 2)
fit <- glm(default ~ income + balance, data = Default, family = binomial, subset = train)
pred <- ifelse(predict(fit, Default[-train, ], type = "response") > 0.5, "Yes", "No")
mean(pred != Default[-train, ]$default)

The three estimates are close to each other but not exact since the model is trained on a difference random half of observations and uses the other half to validate. The test error depends on the particular split but each set is in a consistent range of 2.6%-2.9%.

(d)

Now consider a logistic regression model that predicts the probability of default using income, balance, and a dummy variable for student. Estimate the test error for this model using the validation set approach. Comment on whether or not including a dummy variable for student leads to a reduction in the test error rate.

set.seed(240)
train <- sample(nrow(Default), nrow(Default) / 2)

fit <- glm(default ~ income + balance + student, data = Default, family = binomial, subset = train)

pred <- ifelse(predict(fit, Default[-train, ], type = "response") > 0.5, "Yes", "No")
mean(pred != Default[-train, ]$default)

No, including a dummy variable for student does not lead to a reduction in the test error since the error rate is 2.78%, which lands in the previous range of 2.6%-2.9%.

Question 6

We continue to consider the use of a logistic regression model to predict the probability of default using income and balance on the Default data set. In particular, we will now compute estimates for the standard errors of the income and balance logistic regression coefficients in two different ways: (1) using the bootstrap, and (2) using the standard formula for computing the standard errors in the glm() function. Do not forget to set a random seed before beginning your analysis.

(a)

Using the summary() and glm() functions, determine the estimated standard errors for the coefficients associated with income and balance in a multiple logistic regression model that uses both predictors.

set.seed(240)

glm.fit <- glm(default ~ income + balance, data = Default, family = binomial)
summary(glm.fit)

(b)

Write a function, boot.fn(), that takes as input the Default data set as well as an index of the observations, and that outputs the coefficient estimates for income and balance in the multiple logistic regression model.

boot.fn <- function(data, index) 
{
fit <- glm(default ~ income + balance, data = data, family = binomial, subset = index) 
return(coef(fit))
}

(c)

Use the boot() function together with your boot.fn() function to estimate the standard errors of the logistic regression coefficients for income and balance.

library(boot)

set.seed(240)
boot(Default, boot.fn, R = 1000)

(d)

Comment on the estimated standard errors obtained using the glm() function and using your bootstrap function.

Comparing the glm() function and the bootstrap function, the standard errors are very close to one another, meaning that the model provided by the glm() function is true since te boostrap function does not depend on a formula, it is considered to be more reliable.

Question 9

We will now consider the Boston housing data set, from the ISLR2 library.

(a)

Based on this data set, provide an estimate for the population mean of medv. Call this estimate ˆμ.

mu.hat <- mean(Boston$medv)
mu.hat

(b)

Provide an estimate of the standard error of ˆμ. Interpret this result. Hint: We can compute the standard error of the sample mean by dividing the sample standard deviation by the square root of the number of observations.

n  <- length(Boston$medv)
se <- sd(Boston$medv)/sqrt(n)
se

A standard error of 0.409 shows that the sample mean of mu hat is scattered around the true population mean by $409 since medv is in the $1000’s. This shows how precise the estimate of 22.53 is since 0.409 is very small.

(c)

Now estimate the standard error of ˆμ using the bootstrap. How does this compare to your answer from (b)?

boot.fn <- function(data, index) 
{
return(mean(data[index]))
}

set.seed(240)
boot(Boston$medv, boot.fn, R = 1000)

Compared to the previous standard of error of mu hat, there is a small difference between 0.4088611 and 0.4100267 which means that the assumptions are reasonable.

(d)

Based on your bootstrap estimate from (c), provide a 95 % confidence interval for the mean of medv. Compare it to the results obtained using t.test(Boston$medv). Hint: You can approximate a 95 % confidence interval using the formula [ˆμ − 2SE(ˆμ), ˆμ + 2SE(ˆμ)].

mu.hat  <- mean(Boston$medv)
boot.se <- 0.4156
c(mu.hat - 2 * boot.se, mu.hat + 2 * boot.se)
t.test(Boston$medv)

The two intervals also have little difference as the bootstrap function produces almost the same interval from the results of a t-test. This shows that the standard errors are reliable.

(e)

Based on this data set, provide an estimate, ˆμmed, for the median value of medv in the population.

mu.med.hat <- median(Boston$medv)
mu.med.hat

(f)

We now would like to estimate the standard error of ˆμmed. Unfortunately, there is no simple formula for computing the standard error of the median. Instead, estimate the standard error of the median using the bootstrap. Comment on your findings.

boot.fn.med <- function(data, index) 
{
return(median(data[index]))
}

set.seed(240)
boot(Boston$medv, boot.fn.med, R = 1000)

The spread of the standard of error is 0.386 which is small compared to the previous median of 21.2, meaning the median is estimated very well.

(g)

Based on this data set, provide an estimate for the tenth percentile of medv in Boston census tracts. Call this quantity ˆμ0.1. (You can use the quantile() function.)

mu.0.1.hat <- quantile(Boston$medv, 0.10)
mu.0.1.hat

(h)

Use the bootstrap to estimate the standard error of ˆμ0.1. Comment on your findings.

boot.fn.10 <- function(data, index) 
{
return(quantile(data[index], 0.10))
}

set.seed(240)
boot(Boston$medv, boot.fn.10, R = 1000)

The tenth percentile was estimated at 12.75 with a standard of error of 0.5102 in comparison to the previous error of 0.3806, which is noticeable the largest difference across all errors so far.

LS0tDQp0aXRsZTogIkFzc2lnbm1lbnQgIzQiDQphdXRob3I6IENocnlzdGEgU2NodWVzc2xlcg0Kb3V0cHV0Og0KICBodG1sX25vdGVib29rOg0KICAgIHRvYzogdHJ1ZQ0KICAgIHRvY19mbG9hdDogdHJ1ZQ0KICBodG1sX2RvY3VtZW50Og0KICAgIHRvYzogdHJ1ZQ0KICAgIGRmX3ByaW50OiBwYWdlZA0KZWRpdG9yX29wdGlvbnM6IA0KICBtYXJrZG93bjogDQogICAgd3JhcDogNzINCi0tLQ0KDQojIFF1ZXN0aW9uIDMNCg0KV2Ugbm93IHJldmlldyBrLWZvbGQgY3Jvc3MtdmFsaWRhdGlvbi4NCg0KIyMgKGEpDQoNCj4gRXhwbGFpbiBob3cgay1mb2xkIGNyb3NzLXZhbGlkYXRpb24gaXMgaW1wbGVtZW50ZWQuDQoNCmstZm9sZCBjcm9zcy12YWxpZGF0aW9uIGlzIHVzZWQgdG8gZXN0aW1hdGUgaG93IHdlbGwgYSBtb2RlbCB3aWxsDQpwZXJmb3JtIG9uIG5ldyBkYXRhLiBUaGUgZnVsbCBkYXRhIHNldCBpcyByYW5kb21seSBkaXZpZGVkIGludG8gZXF1YWwNCnNpemVkIGZvbGRzLCB3aGVyZSBvbmUgZm9sZCBpcyBoZWxkIHRvIGJlIHVzZWQgYXMgdmFsaWRhdGlvbi4gVGhlIG1vZGVsDQppcyB0aGVuIGZpdHRlZCBvbnRvIHRoZSByZW1haW5pbmcgay1mb2xkcyB0byBwcmVkaWN0IHRoZSBmb2xkIHRoYXQgd2FzDQpoZWxkIGFuZCB0aGUgZXJyb3IgcmF0ZSBpcyByZWNvcmRlZC4NCg0KXCMjKGIpIFw+IFdoYXQgYXJlIHRoZSBhZHZhbnRhZ2VzIGFuZCBkaXNhZHZhbnRhZ2VzIG9mIGstZm9sZA0KY3Jvc3MgdmFsaWRhdGlvbiByZWxhdGl2ZSB0bzoNCg0KIyMgaS4NCg0KPiBUaGUgdmFsaWRhdGlvbiBzZXQgYXBwcm9hY2g/DQoNClRoZSB2YWxpZGF0aW9uIHNldCBhcHByb2FjaCBjYW4gYmUgaGlnaGx5IHZhcmlhYmxlIGJlY2F1c2UgdGhlIGRhdGEgaXMNCnNwbGl0IGludG8gb25lIHRyYWluaW5nIGhhbGYgYW5kIG9uZSB0ZXN0aW5nIGhhbGYuIFRoZSBlc3RpbWF0ZSBvZiBlcnJvcg0KY2FuIGNoYW5nZSBmcm9tIG9uZSBzcGxpdCB0byB0aGUgb3RoZXIuIFRoaXMgYXBwcm9hY2ggaXMgYWxzbyBsZXNzDQpiaWFzZWQgYXMgdGhlIG1vZGVsIGlzIG9ubHkgdHJhaW5lZCBvbiBoYWxmIHRoZSBkYXRhIHNldC4NCg0KSG93ZXZlciwgdGhpcyBhcHByb2FjaCBmaXRzIHRoZSBtb2RlbCBrIHRpbWVzIHJhdGhlciB0aGFuIG9uY2Ugd2hpY2ggY2FuDQp0YWtlIGxvbmdlciBhbmQgdG8gZG8sIGFuZCBpcyBtb3JlIGNvbXBsZXggc2luY2UgaXQgaXMgZGl2aWRlZCBpbnRvDQpmb2xkcy4NCg0KIyNpaS4gDQoNCj4gTE9PQ1Y/DQoNCkxPT0NWIGZpdHMgbW9kZWwgZXhhY3RseSBuDQoNCiMgUXVlc3Rpb24gNQ0KDQo+IEluIENoYXB0ZXIgNCwgd2UgdXNlZCBsb2dpc3RpYyByZWdyZXNzaW9uIHRvIHByZWRpY3QgdGhlIHByb2JhYmlsaXR5DQo+IG9mIGRlZmF1bHQgdXNpbmcgaW5jb21lIGFuZCBiYWxhbmNlIG9uIHRoZSBEZWZhdWx0IGRhdGEgc2V0LiBXZSB3aWxsDQo+IG5vdyBlc3RpbWF0ZSB0aGUgdGVzdCBlcnJvciBvZiB0aGlzIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwgdXNpbmcNCj4gdGhlIHZhbGlkYXRpb24gc2V0IGFwcHJvYWNoLiBEbyBub3QgZm9yZ2V0IHRvIHNldCBhIHJhbmRvbSBzZWVkIGJlZm9yZQ0KPiBiZWdpbm5pbmcgeW91ciBhbmFseXNpcy4NCg0KIyMgKGEpDQoNCj4gRml0IGEgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCB0aGF0IHVzZXMgaW5jb21lIGFuZCBiYWxhbmNlIHRvDQo+IHByZWRpY3QgZGVmYXVsdC4NCg0KYGBge3J9DQpsaWJyYXJ5KElTTFIyKQ0Kc2V0LnNlZWQoMjQwKQ0KDQpnbG0uZml0IDwtIGdsbShkZWZhdWx0IH4gaW5jb21lICsgYmFsYW5jZSwgZGF0YSA9IERlZmF1bHQsIGZhbWlseSA9IGJpbm9taWFsKQ0KDQpzdW1tYXJ5KGdsbS5maXQpDQpgYGANCg0KIyMgKGIpDQoNCj4gVXNpbmcgdGhlIHZhbGlkYXRpb24gc2V0IGFwcHJvYWNoLCBlc3RpbWF0ZSB0aGUgdGVzdCBlcnJvciBvZiB0aGlzDQo+IG1vZGVsLiBJbiBvcmRlciB0byBkbyB0aGlzLCB5b3UgbXVzdCBwZXJmb3JtIHRoZSBmb2xsb3dpbmcgc3RlcHM6DQoNCiMjIGkuDQoNCj4gU3BsaXQgdGhlIHNhbXBsZSBzZXQgaW50byBhIHRyYWluaW5nIHNldCBhbmQgYSB2YWxpZGF0aW9uIHNldC4NCg0KYGBge3J9DQpzZXQuc2VlZCgyNDApDQoNCnRyYWluIDwtIHNhbXBsZShucm93KERlZmF1bHQpLCBucm93KERlZmF1bHQpIC8gMikNCmBgYA0KDQojIyBpaS4NCg0KPiBGaXQgYSBtdWx0aXBsZSBsb2dpc3RpYyByZWdyZXNzaW9uIG1vZGVsIHVzaW5nIG9ubHkgdGhlIHRyYWluaW5nDQo+IG9ic2VydmF0aW9ucy4NCg0KYGBge3J9DQpnbG0uZml0IDwtIGdsbShkZWZhdWx0IH4gaW5jb21lICsgYmFsYW5jZSwgZGF0YSAgID0gRGVmYXVsdCwgZmFtaWx5ID0gYmlub21pYWwsIA0KICAgICAgICAgICAgICAgc3Vic2V0ID0gdHJhaW4pDQpgYGANCg0KIyMgaWlpLg0KDQo+IE9idGFpbiBhIHByZWRpY3Rpb24gb2YgZGVmYXVsdCBzdGF0dXMgZm9yIGVhY2ggaW5kaXZpZHVhbCBpbiB0aGUNCj4gdmFsaWRhdGlvbiBzZXQgYnkgY29tcHV0aW5nIHRoZSBwb3N0ZXJpb3IgcHJvYmFiaWxpdHkgb2YgZGVmYXVsdCBmb3INCj4gdGhhdCBpbmRpdmlkdWFsLCBhbmQgY2xhc3NpZnlpbmcgdGhlIGluZGl2aWR1YWwgdG8gdGhlIGRlZmF1bHQNCj4gY2F0ZWdvcnkgaWYgdGhlIHBvc3RlcmlvciBwcm9iYWJpbGl0eSBpcyBncmVhdGVyIHRoYW4gMC41Lg0KDQpgYGB7cn0NCmdsbS5wcm9icyA8LSBwcmVkaWN0KGdsbS5maXQsIG5ld2RhdGEgPSBEZWZhdWx0Wy10cmFpbiwgXSwgdHlwZSA9ICJyZXNwb25zZSIpDQpnbG0ucHJlZCA8LSBpZmVsc2UoZ2xtLnByb2JzID4gMC41LCAiWWVzIiwgIk5vIikNCmBgYA0KDQojIyBpdi4NCg0KPiBDb21wdXRlIHRoZSB2YWxpZGF0aW9uIHNldCBlcnJvciwgd2hpY2ggaXMgdGhlIGZyYWN0aW9uIG9mIHRoZQ0KPiBvYnNlcnZhdGlvbnMgaW4gdGhlIHZhbGlkYXRpb24gc2V0IHRoYXQgYXJlIG1pc2NsYXNzaWZpZWQuDQoNCmBgYHtyfQ0KbWVhbihnbG0ucHJlZCAhPSBEZWZhdWx0Wy10cmFpbiwgXSRkZWZhdWx0KQ0KYGBgDQoNCiMjIChjKSANCj5SZXBlYXQgdGhlIHByb2Nlc3MgaW4gKGIpIHRocmVlIHRpbWVzLCB1c2luZyB0aHJlZSBkaWZmZXJlbnQgc3BsaXRzDQpvZiB0aGUgb2JzZXJ2YXRpb25zIGludG8gYSB0cmFpbmluZyBzZXQgYW5kIGEgdmFsaWRhdGlvbiBzZXQuDQpDb21tZW50IG9uIHRoZSByZXN1bHRzIG9idGFpbmVkLg0KDQpgYGB7cn0NCiMgc3BsaXQgMQ0Kc2V0LnNlZWQoMTAwKQ0KdHJhaW4gPC0gc2FtcGxlKG5yb3coRGVmYXVsdCksIG5yb3coRGVmYXVsdCkgLyAyKQ0KZml0IDwtIGdsbShkZWZhdWx0IH4gaW5jb21lICsgYmFsYW5jZSwgZGF0YSA9IERlZmF1bHQsIGZhbWlseSA9IGJpbm9taWFsLCBzdWJzZXQgPSB0cmFpbikNCnByZWQgPC0gaWZlbHNlKHByZWRpY3QoZml0LCBEZWZhdWx0Wy10cmFpbiwgXSwgdHlwZSA9ICJyZXNwb25zZSIpID4gMC41LCAiWWVzIiwgIk5vIikNCm1lYW4ocHJlZCAhPSBEZWZhdWx0Wy10cmFpbiwgXSRkZWZhdWx0KQ0KDQojIHNwbGl0IDINCnNldC5zZWVkKDIwMCkNCnRyYWluIDwtIHNhbXBsZShucm93KERlZmF1bHQpLCBucm93KERlZmF1bHQpIC8gMikNCmZpdCA8LSBnbG0oZGVmYXVsdCB+IGluY29tZSArIGJhbGFuY2UsIGRhdGEgPSBEZWZhdWx0LCBmYW1pbHkgPSBiaW5vbWlhbCwgc3Vic2V0ID0gdHJhaW4pDQpwcmVkIDwtIGlmZWxzZShwcmVkaWN0KGZpdCwgRGVmYXVsdFstdHJhaW4sIF0sIHR5cGUgPSAicmVzcG9uc2UiKSA+IDAuNSwgIlllcyIsICJObyIpDQptZWFuKHByZWQgIT0gRGVmYXVsdFstdHJhaW4sIF0kZGVmYXVsdCkNCg0KIyBzcGxpdCAzDQpzZXQuc2VlZCgzMDApDQp0cmFpbiA8LSBzYW1wbGUobnJvdyhEZWZhdWx0KSwgbnJvdyhEZWZhdWx0KSAvIDIpDQpmaXQgPC0gZ2xtKGRlZmF1bHQgfiBpbmNvbWUgKyBiYWxhbmNlLCBkYXRhID0gRGVmYXVsdCwgZmFtaWx5ID0gYmlub21pYWwsIHN1YnNldCA9IHRyYWluKQ0KcHJlZCA8LSBpZmVsc2UocHJlZGljdChmaXQsIERlZmF1bHRbLXRyYWluLCBdLCB0eXBlID0gInJlc3BvbnNlIikgPiAwLjUsICJZZXMiLCAiTm8iKQ0KbWVhbihwcmVkICE9IERlZmF1bHRbLXRyYWluLCBdJGRlZmF1bHQpDQpgYGANCg0KVGhlIHRocmVlIGVzdGltYXRlcyBhcmUgY2xvc2UgdG8gZWFjaCBvdGhlciBidXQgbm90IGV4YWN0IHNpbmNlIHRoZQ0KbW9kZWwgaXMgdHJhaW5lZCBvbiBhIGRpZmZlcmVuY2UgcmFuZG9tIGhhbGYgb2Ygb2JzZXJ2YXRpb25zIGFuZCB1c2VzDQp0aGUgb3RoZXIgaGFsZiB0byB2YWxpZGF0ZS4gVGhlIHRlc3QgZXJyb3IgZGVwZW5kcyBvbiB0aGUgcGFydGljdWxhcg0Kc3BsaXQgYnV0IGVhY2ggc2V0IGlzIGluIGEgY29uc2lzdGVudCByYW5nZSBvZiAyLjYlLTIuOSUuDQoNCiMjIChkKQ0KDQo+IE5vdyBjb25zaWRlciBhIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwgdGhhdCBwcmVkaWN0cyB0aGUgcHJvYmFiaWxpdHkNCj4gb2YgZGVmYXVsdCB1c2luZyBpbmNvbWUsIGJhbGFuY2UsIGFuZCBhIGR1bW15IHZhcmlhYmxlIGZvciBzdHVkZW50Lg0KPiBFc3RpbWF0ZSB0aGUgdGVzdCBlcnJvciBmb3IgdGhpcyBtb2RlbCB1c2luZyB0aGUgdmFsaWRhdGlvbiBzZXQNCj4gYXBwcm9hY2guIENvbW1lbnQgb24gd2hldGhlciBvciBub3QgaW5jbHVkaW5nIGEgZHVtbXkgdmFyaWFibGUgZm9yDQo+IHN0dWRlbnQgbGVhZHMgdG8gYSByZWR1Y3Rpb24gaW4gdGhlIHRlc3QgZXJyb3IgcmF0ZS4NCg0KYGBge3J9DQpzZXQuc2VlZCgyNDApDQp0cmFpbiA8LSBzYW1wbGUobnJvdyhEZWZhdWx0KSwgbnJvdyhEZWZhdWx0KSAvIDIpDQoNCmZpdCA8LSBnbG0oZGVmYXVsdCB+IGluY29tZSArIGJhbGFuY2UgKyBzdHVkZW50LCBkYXRhID0gRGVmYXVsdCwgZmFtaWx5ID0gYmlub21pYWwsIHN1YnNldCA9IHRyYWluKQ0KDQpwcmVkIDwtIGlmZWxzZShwcmVkaWN0KGZpdCwgRGVmYXVsdFstdHJhaW4sIF0sIHR5cGUgPSAicmVzcG9uc2UiKSA+IDAuNSwgIlllcyIsICJObyIpDQptZWFuKHByZWQgIT0gRGVmYXVsdFstdHJhaW4sIF0kZGVmYXVsdCkNCmBgYA0KDQpObywgaW5jbHVkaW5nIGEgZHVtbXkgdmFyaWFibGUgZm9yIHN0dWRlbnQgZG9lcyBub3QgbGVhZCB0byBhIHJlZHVjdGlvbg0KaW4gdGhlIHRlc3QgZXJyb3Igc2luY2UgdGhlIGVycm9yIHJhdGUgaXMgMi43OCUsIHdoaWNoIGxhbmRzIGluIHRoZQ0KcHJldmlvdXMgcmFuZ2Ugb2YgMi42JS0yLjklLg0KDQojIFF1ZXN0aW9uIDYNCg0KPiBXZSBjb250aW51ZSB0byBjb25zaWRlciB0aGUgdXNlIG9mIGEgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCB0bw0KPiBwcmVkaWN0IHRoZSBwcm9iYWJpbGl0eSBvZiBkZWZhdWx0IHVzaW5nIGluY29tZSBhbmQgYmFsYW5jZSBvbiB0aGUNCj4gRGVmYXVsdCBkYXRhIHNldC4gSW4gcGFydGljdWxhciwgd2Ugd2lsbCBub3cgY29tcHV0ZSBlc3RpbWF0ZXMgZm9yIHRoZQ0KPiBzdGFuZGFyZCBlcnJvcnMgb2YgdGhlIGluY29tZSBhbmQgYmFsYW5jZSBsb2dpc3RpYyByZWdyZXNzaW9uDQo+IGNvZWZmaWNpZW50cyBpbiB0d28gZGlmZmVyZW50IHdheXM6ICgxKSB1c2luZyB0aGUgYm9vdHN0cmFwLCBhbmQgKDIpDQo+IHVzaW5nIHRoZSBzdGFuZGFyZCBmb3JtdWxhIGZvciBjb21wdXRpbmcgdGhlIHN0YW5kYXJkIGVycm9ycyBpbiB0aGUNCj4gZ2xtKCkgZnVuY3Rpb24uIERvIG5vdCBmb3JnZXQgdG8gc2V0IGEgcmFuZG9tIHNlZWQgYmVmb3JlIGJlZ2lubmluZw0KPiB5b3VyIGFuYWx5c2lzLg0KDQojIyAoYSkNCg0KPiBVc2luZyB0aGUgc3VtbWFyeSgpIGFuZCBnbG0oKSBmdW5jdGlvbnMsIGRldGVybWluZSB0aGUgZXN0aW1hdGVkDQo+IHN0YW5kYXJkIGVycm9ycyBmb3IgdGhlIGNvZWZmaWNpZW50cyBhc3NvY2lhdGVkIHdpdGggaW5jb21lIGFuZA0KPiBiYWxhbmNlIGluIGEgbXVsdGlwbGUgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCB0aGF0IHVzZXMgYm90aA0KPiBwcmVkaWN0b3JzLg0KDQpgYGB7cn0NCnNldC5zZWVkKDI0MCkNCg0KZ2xtLmZpdCA8LSBnbG0oZGVmYXVsdCB+IGluY29tZSArIGJhbGFuY2UsIGRhdGEgPSBEZWZhdWx0LCBmYW1pbHkgPSBiaW5vbWlhbCkNCnN1bW1hcnkoZ2xtLmZpdCkNCmBgYA0KDQojIyAoYikNCg0KPiBXcml0ZSBhIGZ1bmN0aW9uLCBib290LmZuKCksIHRoYXQgdGFrZXMgYXMgaW5wdXQgdGhlIERlZmF1bHQgZGF0YSBzZXQNCj4gYXMgd2VsbCBhcyBhbiBpbmRleCBvZiB0aGUgb2JzZXJ2YXRpb25zLCBhbmQgdGhhdCBvdXRwdXRzIHRoZQ0KPiBjb2VmZmljaWVudCBlc3RpbWF0ZXMgZm9yIGluY29tZSBhbmQgYmFsYW5jZSBpbiB0aGUgbXVsdGlwbGUgbG9naXN0aWMNCj4gcmVncmVzc2lvbiBtb2RlbC4NCg0KYGBge3J9DQpib290LmZuIDwtIGZ1bmN0aW9uKGRhdGEsIGluZGV4KSANCnsNCmZpdCA8LSBnbG0oZGVmYXVsdCB+IGluY29tZSArIGJhbGFuY2UsIGRhdGEgPSBkYXRhLCBmYW1pbHkgPSBiaW5vbWlhbCwgc3Vic2V0ID0gaW5kZXgpIA0KcmV0dXJuKGNvZWYoZml0KSkNCn0NCmBgYA0KDQojIyAoYykNCg0KPiBVc2UgdGhlIGJvb3QoKSBmdW5jdGlvbiB0b2dldGhlciB3aXRoIHlvdXIgYm9vdC5mbigpIGZ1bmN0aW9uIHRvDQo+IGVzdGltYXRlIHRoZSBzdGFuZGFyZCBlcnJvcnMgb2YgdGhlIGxvZ2lzdGljIHJlZ3Jlc3Npb24gY29lZmZpY2llbnRzDQo+IGZvciBpbmNvbWUgYW5kIGJhbGFuY2UuDQoNCmBgYHtyfQ0KbGlicmFyeShib290KQ0KDQpzZXQuc2VlZCgyNDApDQpib290KERlZmF1bHQsIGJvb3QuZm4sIFIgPSAxMDAwKQ0KYGBgDQoNCiMjIChkKQ0KDQo+IENvbW1lbnQgb24gdGhlIGVzdGltYXRlZCBzdGFuZGFyZCBlcnJvcnMgb2J0YWluZWQgdXNpbmcgdGhlIGdsbSgpDQo+IGZ1bmN0aW9uIGFuZCB1c2luZyB5b3VyIGJvb3RzdHJhcCBmdW5jdGlvbi4NCg0KQ29tcGFyaW5nIHRoZSBnbG0oKSBmdW5jdGlvbiBhbmQgdGhlIGJvb3RzdHJhcCBmdW5jdGlvbiwgdGhlIHN0YW5kYXJkDQplcnJvcnMgYXJlIHZlcnkgY2xvc2UgdG8gb25lIGFub3RoZXIsIG1lYW5pbmcgdGhhdCB0aGUgbW9kZWwgcHJvdmlkZWQgYnkNCnRoZSBnbG0oKSBmdW5jdGlvbiBpcyB0cnVlIHNpbmNlIHRlIGJvb3N0cmFwIGZ1bmN0aW9uIGRvZXMgbm90IGRlcGVuZCBvbg0KYSBmb3JtdWxhLCBpdCBpcyBjb25zaWRlcmVkIHRvIGJlIG1vcmUgcmVsaWFibGUuDQoNCiMgUXVlc3Rpb24gOQ0KDQpXZSB3aWxsIG5vdyBjb25zaWRlciB0aGUgQm9zdG9uIGhvdXNpbmcgZGF0YSBzZXQsIGZyb20gdGhlIElTTFIyDQpsaWJyYXJ5Lg0KDQojIyAoYSkNCg0KPiBCYXNlZCBvbiB0aGlzIGRhdGEgc2V0LCBwcm92aWRlIGFuIGVzdGltYXRlIGZvciB0aGUgcG9wdWxhdGlvbiBtZWFuIG9mDQo+IG1lZHYuIENhbGwgdGhpcyBlc3RpbWF0ZSDLhs68Lg0KDQpgYGB7cn0NCm11LmhhdCA8LSBtZWFuKEJvc3RvbiRtZWR2KQ0KbXUuaGF0DQpgYGANCg0KIyMgKGIpDQoNCj4gUHJvdmlkZSBhbiBlc3RpbWF0ZSBvZiB0aGUgc3RhbmRhcmQgZXJyb3Igb2Ygy4bOvC4gSW50ZXJwcmV0IHRoaXMNCj4gcmVzdWx0LiBIaW50OiBXZSBjYW4gY29tcHV0ZSB0aGUgc3RhbmRhcmQgZXJyb3Igb2YgdGhlIHNhbXBsZSBtZWFuIGJ5DQo+IGRpdmlkaW5nIHRoZSBzYW1wbGUgc3RhbmRhcmQgZGV2aWF0aW9uIGJ5IHRoZSBzcXVhcmUgcm9vdCBvZiB0aGUNCj4gbnVtYmVyIG9mIG9ic2VydmF0aW9ucy4NCg0KYGBge3J9DQpuICA8LSBsZW5ndGgoQm9zdG9uJG1lZHYpDQpzZSA8LSBzZChCb3N0b24kbWVkdikvc3FydChuKQ0Kc2UNCmBgYA0KDQpBIHN0YW5kYXJkIGVycm9yIG9mIDAuNDA5IHNob3dzIHRoYXQgdGhlIHNhbXBsZSBtZWFuIG9mIG11IGhhdCBpcw0Kc2NhdHRlcmVkIGFyb3VuZCB0aGUgdHJ1ZSBwb3B1bGF0aW9uIG1lYW4gYnkgXCQ0MDkgc2luY2UgbWVkdiBpcyBpbiB0aGUNClwkMTAwMCdzLiBUaGlzIHNob3dzIGhvdyBwcmVjaXNlIHRoZSBlc3RpbWF0ZSBvZiAyMi41MyBpcyBzaW5jZSAwLjQwOSBpcw0KdmVyeSBzbWFsbC4NCg0KIyMgKGMpDQoNCj4gTm93IGVzdGltYXRlIHRoZSBzdGFuZGFyZCBlcnJvciBvZiDLhs68IHVzaW5nIHRoZSBib290c3RyYXAuIEhvdyBkb2VzDQo+IHRoaXMgY29tcGFyZSB0byB5b3VyIGFuc3dlciBmcm9tIChiKT8NCg0KYGBge3J9DQpib290LmZuIDwtIGZ1bmN0aW9uKGRhdGEsIGluZGV4KSANCnsNCnJldHVybihtZWFuKGRhdGFbaW5kZXhdKSkNCn0NCg0Kc2V0LnNlZWQoMjQwKQ0KYm9vdChCb3N0b24kbWVkdiwgYm9vdC5mbiwgUiA9IDEwMDApDQpgYGANCg0KQ29tcGFyZWQgdG8gdGhlIHByZXZpb3VzIHN0YW5kYXJkIG9mIGVycm9yIG9mIG11IGhhdCwgdGhlcmUgaXMgYSBzbWFsbA0KZGlmZmVyZW5jZSBiZXR3ZWVuIDAuNDA4ODYxMSBhbmQgMC40MTAwMjY3IHdoaWNoIG1lYW5zIHRoYXQgdGhlDQphc3N1bXB0aW9ucyBhcmUgcmVhc29uYWJsZS4NCg0KIyMgKGQpDQoNCj4gQmFzZWQgb24geW91ciBib290c3RyYXAgZXN0aW1hdGUgZnJvbSAoYyksIHByb3ZpZGUgYSA5NSAlIGNvbmZpZGVuY2UNCj4gaW50ZXJ2YWwgZm9yIHRoZSBtZWFuIG9mIG1lZHYuIENvbXBhcmUgaXQgdG8gdGhlIHJlc3VsdHMgb2J0YWluZWQNCj4gdXNpbmcgdC50ZXN0KEJvc3RvblwkbWVkdikuIEhpbnQ6IFlvdSBjYW4gYXBwcm94aW1hdGUgYSA5NSAlDQo+IGNvbmZpZGVuY2UgaW50ZXJ2YWwgdXNpbmcgdGhlIGZvcm11bGEgW8uGzrwg4oiSIDJTRSjLhs68KSwgy4bOvCArIDJTRSjLhs68KV0uDQoNCmBgYHtyfQ0KbXUuaGF0ICA8LSBtZWFuKEJvc3RvbiRtZWR2KQ0KYm9vdC5zZSA8LSAwLjQxNTYNCmMobXUuaGF0IC0gMiAqIGJvb3Quc2UsIG11LmhhdCArIDIgKiBib290LnNlKQ0KdC50ZXN0KEJvc3RvbiRtZWR2KQ0KYGBgDQoNClRoZSB0d28gaW50ZXJ2YWxzIGFsc28gaGF2ZSBsaXR0bGUgZGlmZmVyZW5jZSBhcyB0aGUgYm9vdHN0cmFwIGZ1bmN0aW9uDQpwcm9kdWNlcyBhbG1vc3QgdGhlIHNhbWUgaW50ZXJ2YWwgZnJvbSB0aGUgcmVzdWx0cyBvZiBhIHQtdGVzdC4gVGhpcw0Kc2hvd3MgdGhhdCB0aGUgc3RhbmRhcmQgZXJyb3JzIGFyZSByZWxpYWJsZS4NCg0KIyMgKGUpDQoNCj4gQmFzZWQgb24gdGhpcyBkYXRhIHNldCwgcHJvdmlkZSBhbiBlc3RpbWF0ZSwgy4bOvG1lZCwgZm9yIHRoZSBtZWRpYW4NCj4gdmFsdWUgb2YgbWVkdiBpbiB0aGUgcG9wdWxhdGlvbi4NCg0KYGBge3J9DQptdS5tZWQuaGF0IDwtIG1lZGlhbihCb3N0b24kbWVkdikNCm11Lm1lZC5oYXQNCmBgYA0KDQojIyAoZikNCg0KPiBXZSBub3cgd291bGQgbGlrZSB0byBlc3RpbWF0ZSB0aGUgc3RhbmRhcmQgZXJyb3Igb2Ygy4bOvG1lZC4NCj4gVW5mb3J0dW5hdGVseSwgdGhlcmUgaXMgbm8gc2ltcGxlIGZvcm11bGEgZm9yIGNvbXB1dGluZyB0aGUgc3RhbmRhcmQNCj4gZXJyb3Igb2YgdGhlIG1lZGlhbi4gSW5zdGVhZCwgZXN0aW1hdGUgdGhlIHN0YW5kYXJkIGVycm9yIG9mIHRoZQ0KPiBtZWRpYW4gdXNpbmcgdGhlIGJvb3RzdHJhcC4gQ29tbWVudCBvbiB5b3VyIGZpbmRpbmdzLg0KDQpgYGB7cn0NCmJvb3QuZm4ubWVkIDwtIGZ1bmN0aW9uKGRhdGEsIGluZGV4KSANCnsNCnJldHVybihtZWRpYW4oZGF0YVtpbmRleF0pKQ0KfQ0KDQpzZXQuc2VlZCgyNDApDQpib290KEJvc3RvbiRtZWR2LCBib290LmZuLm1lZCwgUiA9IDEwMDApDQpgYGANCg0KVGhlIHNwcmVhZCBvZiB0aGUgc3RhbmRhcmQgb2YgZXJyb3IgaXMgMC4zODYgd2hpY2ggaXMgc21hbGwgY29tcGFyZWQgdG8NCnRoZSBwcmV2aW91cyBtZWRpYW4gb2YgMjEuMiwgbWVhbmluZyB0aGUgbWVkaWFuIGlzIGVzdGltYXRlZCB2ZXJ5IHdlbGwuDQoNCiMjIChnKQ0KDQo+IEJhc2VkIG9uIHRoaXMgZGF0YSBzZXQsIHByb3ZpZGUgYW4gZXN0aW1hdGUgZm9yIHRoZSB0ZW50aCBwZXJjZW50aWxlDQo+IG9mIG1lZHYgaW4gQm9zdG9uIGNlbnN1cyB0cmFjdHMuIENhbGwgdGhpcyBxdWFudGl0eSDLhs68MC4xLiAoWW91IGNhbg0KPiB1c2UgdGhlIHF1YW50aWxlKCkgZnVuY3Rpb24uKQ0KDQpgYGB7cn0NCm11LjAuMS5oYXQgPC0gcXVhbnRpbGUoQm9zdG9uJG1lZHYsIDAuMTApDQptdS4wLjEuaGF0DQpgYGANCg0KIyMgKGgpDQoNCj4gVXNlIHRoZSBib290c3RyYXAgdG8gZXN0aW1hdGUgdGhlIHN0YW5kYXJkIGVycm9yIG9mIMuGzrwwLjEuIENvbW1lbnQgb24NCj4geW91ciBmaW5kaW5ncy4NCg0KYGBge3J9DQpib290LmZuLjEwIDwtIGZ1bmN0aW9uKGRhdGEsIGluZGV4KSANCnsNCnJldHVybihxdWFudGlsZShkYXRhW2luZGV4XSwgMC4xMCkpDQp9DQoNCnNldC5zZWVkKDI0MCkNCmJvb3QoQm9zdG9uJG1lZHYsIGJvb3QuZm4uMTAsIFIgPSAxMDAwKQ0KYGBgDQoNClRoZSB0ZW50aCBwZXJjZW50aWxlIHdhcyBlc3RpbWF0ZWQgYXQgMTIuNzUgd2l0aCBhIHN0YW5kYXJkIG9mIGVycm9yIG9mDQowLjUxMDIgaW4gY29tcGFyaXNvbiB0byB0aGUgcHJldmlvdXMgZXJyb3Igb2YgMC4zODA2LCB3aGljaCBpcw0Kbm90aWNlYWJsZSB0aGUgbGFyZ2VzdCBkaWZmZXJlbmNlIGFjcm9zcyBhbGwgZXJyb3JzIHNvIGZhci4NCg==