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==