library(tidyverse)
library(openintro)
library(ISLR)
library(ISLR2)
Exercise 3
We now review \(k\)-fold
cross-validation.
\((a)\) Explain how \(k\)-fold cross-validation is
implemented.
- The \(k\)-fold cross validation is
implemented by taking the \(n\)
observations and randomly splitting it into \(k\) non-overlapping groups of length of
(approximately) \(n/k\). These groups
acts as a validation set, and the remainder (of length \(n−n/k\)) acts as a training set. The test
error is then estimated by averaging the \(k\) resulting MSE estimates.
\((b)\) What are the advantages and
disadvantages of \(k\)-fold
cross-validation relative to:
\((i.)\) The validation set
approach?
- The validation set approach has two main drawbacks compared to \(k\)-fold cross-validation. First, the
validation estimate of the test error rate can be highly variable
(depending on precisely which observations are included in the training
set and which observations are included in the validation set). Second,
only a subset of the observations are used to fit the model. Since
statistical methods tend to perform worse when trained on fewer
observations, this suggests that the validation set error rate may tend
to overestimate the test error rate for the model fit on the entire data
set.
\((ii.)\) LOOCV?
- The LOOCV cross-validation approach is a special case of \(k\)-fold cross-validation in which \(k=n\). This approach has two drawbacks
compared to \(k\)-fold
cross-validation. First, it requires fitting the potentially
computationally expensive model \(n\)
times compared to \(k\)-fold
cross-validation which requires the model to be fitted only \(k\) times. Second, the LOOCV
cross-validation approach may give approximately unbiased estimates of
the test error, since each training set contains \(n−1\) observations; however, this approach
has higher variance than \(k\)-fold
cross-validation (since the outputs of \(n\) fitted models trained on an almost
identical set of observations are averaged, these outputs are highly
correlated, and the mean of highly correlated quantities has higher
variance than less correlated ones). So, there is a bias-variance
trade-off associated with the choice of \(k\) in \(k\)-fold cross-validation; typically using
\(k=5\) or \(k=10\) yield test error rate estimates that
suffer neither from excessively high bias nor from very high
variance.
Exercise 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.
attach(Default)
set.seed(1)
model1 <- glm(default ~ income + balance, data = Default, family = "binomial")
summary(model1)
##
## Call:
## glm(formula = default ~ income + balance, family = "binomial",
## data = Default)
##
## Deviance Residuals:
## Min 1Q Median 3Q Max
## -2.4725 -0.1444 -0.0574 -0.0211 3.7245
##
## 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(1)
sample <- sample(nrow(Default), nrow(Default)/2)
train <- Default[sample,]
val <- Default[-sample,]
\((ii.)\) Fit a multiple logistic
regression model using only the training observations.
model2 <- glm(default ~ income + balance, data = train, family = "binomial")
summary(model2)
##
## Call:
## glm(formula = default ~ income + balance, family = "binomial",
## data = train)
##
## Deviance Residuals:
## Min 1Q Median 3Q Max
## -2.5830 -0.1428 -0.0573 -0.0213 3.3395
##
## Coefficients:
## Estimate Std. Error z value Pr(>|z|)
## (Intercept) -1.194e+01 6.178e-01 -19.333 < 2e-16 ***
## income 3.262e-05 7.024e-06 4.644 3.41e-06 ***
## balance 5.689e-03 3.158e-04 18.014 < 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: 1523.8 on 4999 degrees of freedom
## Residual deviance: 803.3 on 4997 degrees of freedom
## AIC: 809.3
##
## Number of Fisher Scoring iterations: 8
\((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.
probs <- predict(model2, newdata = val, type = "response")
pred.glm <- rep("No", length(probs))
pred.glm[probs > 0.5] <- "Yes"
\((iv.)\) Compute the validation
set error, which is the fraction of the observations in the validation
set that are misclassified.
mean(pred.glm != val$default)
## [1] 0.0254
The test error rate with the validation approach is 2.54%.
Exercise 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(1)
model7 <- glm(default ~ income + balance, data = Default, family = "binomial")
summary(model7)
##
## Call:
## glm(formula = default ~ income + balance, family = "binomial",
## data = Default)
##
## Deviance Residuals:
## Min 1Q Median 3Q Max
## -2.4725 -0.1444 -0.0574 -0.0211 3.7245
##
## 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
## Standard Error for income: 4.985167e-06
## Standard Error for balance: 0.0002273731
\((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.
##
## Attaching package: 'boot'
## The following object is masked from 'package:openintro':
##
## salinity
bootstrap <- boot(Default, boot.fn, 1000)
## income balance
## 2.080898e-05 5.647103e-03
Exercise 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
\(\hat{\mu}\).
##
## Attaching package: 'MASS'
## The following object is masked from 'package:ISLR2':
##
## Boston
## The following objects are masked from 'package:openintro':
##
## housing, mammals
## The following object is masked from 'package:dplyr':
##
## select
attach(Boston)
mu.hat <- mean(medv)
mu.hat
## [1] 22.53281
\((b)\) Provide an estimate of the
standard error of \(\hat{\mu}\).
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.
se.hat <- sd(medv) / sqrt(dim(Boston)[1])
se.hat
## [1] 0.4088611
\((c)\) Now estimate the standard
error of \(\hat{\mu}\) using the
bootstrap. How does this compare to your answer from \((b)\)?
set.seed(1)
boot.fn <- function(data, index) {
mu <- mean(data[index])
return (mu)
}
boot(medv, boot.fn, 1000)
##
## ORDINARY NONPARAMETRIC BOOTSTRAP
##
##
## Call:
## boot(data = medv, statistic = boot.fn, R = 1000)
##
##
## Bootstrap Statistics :
## original bias std. error
## t1* 22.53281 0.007650791 0.4106622
The bootstrap estimated standard error of \(\hat{\mu}\) of 0.4106 is very close to the
estimate found in \((b)\) of 0.4088. As
the two estimates are close, this suggests that the parametric
assumptions of the original standard error from \((b)\) are likely to be valid.
\((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).
\((g)\) Based on this data set,
provide an estimate for the tenth percentile of medv in
Boston census tracts. Call this quantity \(\hat{\mu}_{0.1}\). (You can use the
quantile() function.)
percent.hat <- quantile(medv, c(0.1))
percent.hat
## 10%
## 12.75
LS0tCnRpdGxlOiAiQXNzaWdubWVudCA0IgphdXRob3I6ICJSYW5pIE1pc3JhIgpkYXRlOiAiYHIgU3lzLkRhdGUoKWAiCm91dHB1dDogb3BlbmludHJvOjpsYWJfcmVwb3J0Ci0tLQoKYGBge3IgbG9hZC1wYWNrYWdlcywgbWVzc2FnZT1GQUxTRX0KbGlicmFyeSh0aWR5dmVyc2UpCmxpYnJhcnkob3BlbmludHJvKQpsaWJyYXJ5KElTTFIpCmxpYnJhcnkoSVNMUjIpCmBgYAoKIyMgRXhlcmNpc2UgMwojIyMjIyBXZSBub3cgcmV2aWV3ICRrJC1mb2xkIGNyb3NzLXZhbGlkYXRpb24uCgojIyMjIyAkKGEpJCBFeHBsYWluIGhvdyAkayQtZm9sZCBjcm9zcy12YWxpZGF0aW9uIGlzIGltcGxlbWVudGVkLiAKCi0gVGhlICRrJC1mb2xkIGNyb3NzIHZhbGlkYXRpb24gaXMgaW1wbGVtZW50ZWQgYnkgdGFraW5nIHRoZSAkbiQgb2JzZXJ2YXRpb25zIGFuZCByYW5kb21seSBzcGxpdHRpbmcgaXQgaW50byAkayQgbm9uLW92ZXJsYXBwaW5nIGdyb3VwcyBvZiBsZW5ndGggb2YgKGFwcHJveGltYXRlbHkpICRuL2skLiBUaGVzZSBncm91cHMgYWN0cyBhcyBhIHZhbGlkYXRpb24gc2V0LCBhbmQgdGhlIHJlbWFpbmRlciAob2YgbGVuZ3RoICRu4oiSbi9rJCkgYWN0cyBhcyBhIHRyYWluaW5nIHNldC4gVGhlIHRlc3QgZXJyb3IgaXMgdGhlbiBlc3RpbWF0ZWQgYnkgYXZlcmFnaW5nIHRoZSAkayQgcmVzdWx0aW5nIE1TRSBlc3RpbWF0ZXMuCgojIyMjIyAkKGIpJCBXaGF0IGFyZSB0aGUgYWR2YW50YWdlcyBhbmQgZGlzYWR2YW50YWdlcyBvZiAkayQtZm9sZCBjcm9zcy12YWxpZGF0aW9uIHJlbGF0aXZlIHRvOgoKIyMjIyMgJChpLikkIFRoZSB2YWxpZGF0aW9uIHNldCBhcHByb2FjaD8gIAoKLSBUaGUgdmFsaWRhdGlvbiBzZXQgYXBwcm9hY2ggaGFzIHR3byBtYWluIGRyYXdiYWNrcyBjb21wYXJlZCB0byAkayQtZm9sZCBjcm9zcy12YWxpZGF0aW9uLiBGaXJzdCwgdGhlIHZhbGlkYXRpb24gZXN0aW1hdGUgb2YgdGhlIHRlc3QgZXJyb3IgcmF0ZSBjYW4gYmUgaGlnaGx5IHZhcmlhYmxlIChkZXBlbmRpbmcgb24gcHJlY2lzZWx5IHdoaWNoIG9ic2VydmF0aW9ucyBhcmUgaW5jbHVkZWQgaW4gdGhlIHRyYWluaW5nIHNldCBhbmQgd2hpY2ggb2JzZXJ2YXRpb25zIGFyZSBpbmNsdWRlZCBpbiB0aGUgdmFsaWRhdGlvbiBzZXQpLiBTZWNvbmQsIG9ubHkgYSBzdWJzZXQgb2YgdGhlIG9ic2VydmF0aW9ucyBhcmUgdXNlZCB0byBmaXQgdGhlIG1vZGVsLiBTaW5jZSBzdGF0aXN0aWNhbCBtZXRob2RzIHRlbmQgdG8gcGVyZm9ybSB3b3JzZSB3aGVuIHRyYWluZWQgb24gZmV3ZXIgb2JzZXJ2YXRpb25zLCB0aGlzIHN1Z2dlc3RzIHRoYXQgdGhlIHZhbGlkYXRpb24gc2V0IGVycm9yIHJhdGUgbWF5IHRlbmQgdG8gb3ZlcmVzdGltYXRlIHRoZSB0ZXN0IGVycm9yIHJhdGUgZm9yIHRoZSBtb2RlbCBmaXQgb24gdGhlIGVudGlyZSBkYXRhIHNldC4KCiMjIyMjICQoaWkuKSQgTE9PQ1Y/CgotIFRoZSBMT09DViBjcm9zcy12YWxpZGF0aW9uIGFwcHJvYWNoIGlzIGEgc3BlY2lhbCBjYXNlIG9mICRrJC1mb2xkIGNyb3NzLXZhbGlkYXRpb24gaW4gd2hpY2ggJGs9biQuIFRoaXMgYXBwcm9hY2ggaGFzIHR3byBkcmF3YmFja3MgY29tcGFyZWQgdG8gJGskLWZvbGQgY3Jvc3MtdmFsaWRhdGlvbi4gRmlyc3QsIGl0IHJlcXVpcmVzIGZpdHRpbmcgdGhlIHBvdGVudGlhbGx5IGNvbXB1dGF0aW9uYWxseSBleHBlbnNpdmUgbW9kZWwgJG4kIHRpbWVzIGNvbXBhcmVkIHRvICRrJC1mb2xkIGNyb3NzLXZhbGlkYXRpb24gd2hpY2ggcmVxdWlyZXMgdGhlIG1vZGVsIHRvIGJlIGZpdHRlZCBvbmx5ICRrJCB0aW1lcy4gU2Vjb25kLCB0aGUgTE9PQ1YgY3Jvc3MtdmFsaWRhdGlvbiBhcHByb2FjaCBtYXkgZ2l2ZSBhcHByb3hpbWF0ZWx5IHVuYmlhc2VkIGVzdGltYXRlcyBvZiB0aGUgdGVzdCBlcnJvciwgc2luY2UgZWFjaCB0cmFpbmluZyBzZXQgY29udGFpbnMgJG7iiJIxJCBvYnNlcnZhdGlvbnM7IGhvd2V2ZXIsIHRoaXMgYXBwcm9hY2ggaGFzIGhpZ2hlciB2YXJpYW5jZSB0aGFuICRrJC1mb2xkIGNyb3NzLXZhbGlkYXRpb24gKHNpbmNlIHRoZSBvdXRwdXRzIG9mICRuJCBmaXR0ZWQgbW9kZWxzIHRyYWluZWQgb24gYW4gYWxtb3N0IGlkZW50aWNhbCBzZXQgb2Ygb2JzZXJ2YXRpb25zIGFyZSBhdmVyYWdlZCwgdGhlc2Ugb3V0cHV0cyBhcmUgaGlnaGx5IGNvcnJlbGF0ZWQsIGFuZCB0aGUgbWVhbiBvZiBoaWdobHkgY29ycmVsYXRlZCBxdWFudGl0aWVzIGhhcyBoaWdoZXIgdmFyaWFuY2UgdGhhbiBsZXNzIGNvcnJlbGF0ZWQgb25lcykuIFNvLCB0aGVyZSBpcyBhIGJpYXMtdmFyaWFuY2UgdHJhZGUtb2ZmIGFzc29jaWF0ZWQgd2l0aCB0aGUgY2hvaWNlIG9mICRrJCBpbiAkayQtZm9sZCBjcm9zcy12YWxpZGF0aW9uOyB0eXBpY2FsbHkgdXNpbmcgJGs9NSQgb3IgJGs9MTAkIHlpZWxkIHRlc3QgZXJyb3IgcmF0ZSBlc3RpbWF0ZXMgdGhhdCBzdWZmZXIgbmVpdGhlciBmcm9tIGV4Y2Vzc2l2ZWx5IGhpZ2ggYmlhcyBub3IgZnJvbSB2ZXJ5IGhpZ2ggdmFyaWFuY2UuCgojIyBFeGVyY2lzZSA1CiMjIyMjIEluIENoYXB0ZXIgNCwgd2UgdXNlZCBsb2dpc3RpYyByZWdyZXNzaW9uIHRvIHByZWRpY3QgdGhlIHByb2JhYmlsaXR5IG9mIGBkZWZhdWx0YCB1c2luZyBgaW5jb21lYCBhbmQgYGJhbGFuY2VgIG9uIHRoZSBgRGVmYXVsdGAgZGF0YSBzZXQuIFdlIHdpbGwgbm93IGVzdGltYXRlIHRoZSB0ZXN0IGVycm9yIG9mIHRoaXMgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCB1c2luZyB0aGUgdmFsaWRhdGlvbiBzZXQgYXBwcm9hY2guIERvIG5vdCBmb3JnZXQgdG8gc2V0IGEgcmFuZG9tIHNlZWQgYmVmb3JlIGJlZ2lubmluZyB5b3VyIGFuYWx5c2lzLgoKIyMjIyMgJChhKSQgRml0IGEgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCB0aGF0IHVzZXMgYGluY29tZWAgYW5kIGBiYWxhbmNlYCB0byBwcmVkaWN0IGBkZWZhdWx0YC4KCmBgYHtyfQphdHRhY2goRGVmYXVsdCkKc2V0LnNlZWQoMSkKbW9kZWwxIDwtIGdsbShkZWZhdWx0IH4gaW5jb21lICsgYmFsYW5jZSwgZGF0YSA9IERlZmF1bHQsIGZhbWlseSA9ICJiaW5vbWlhbCIpCnN1bW1hcnkobW9kZWwxKQpgYGAKCiMjIyMjICQoYikkIFVzaW5nIHRoZSB2YWxpZGF0aW9uIHNldCBhcHByb2FjaCwgZXN0aW1hdGUgdGhlIHRlc3QgZXJyb3Igb2YgdGhpcyBtb2RlbC4gSW4gb3JkZXIgdG8gZG8gdGhpcywgeW91IG11c3QgcGVyZm9ybSB0aGUgZm9sbG93aW5nIHN0ZXBzOgoKIyMjIyMgJChpLikkIFNwbGl0IHRoZSBzYW1wbGUgc2V0IGludG8gYSB0cmFpbmluZyBzZXQgYW5kIGEgdmFsaWRhdGlvbiBzZXQuCgpgYGB7cn0Kc2V0LnNlZWQoMSkKc2FtcGxlIDwtIHNhbXBsZShucm93KERlZmF1bHQpLCBucm93KERlZmF1bHQpLzIpCnRyYWluIDwtIERlZmF1bHRbc2FtcGxlLF0KdmFsIDwtIERlZmF1bHRbLXNhbXBsZSxdCmBgYAoKIyMjIyMgJChpaS4pJCBGaXQgYSBtdWx0aXBsZSBsb2dpc3RpYyByZWdyZXNzaW9uIG1vZGVsIHVzaW5nIG9ubHkgdGhlIHRyYWluaW5nIG9ic2VydmF0aW9ucy4KCmBgYHtyfQptb2RlbDIgPC0gZ2xtKGRlZmF1bHQgfiBpbmNvbWUgKyBiYWxhbmNlLCBkYXRhID0gdHJhaW4sIGZhbWlseSA9ICJiaW5vbWlhbCIpCnN1bW1hcnkobW9kZWwyKQpgYGAKCiMjIyMjICQoaWlpLikkIE9idGFpbiBhIHByZWRpY3Rpb24gb2YgZGVmYXVsdCBzdGF0dXMgZm9yIGVhY2ggaW5kaXZpZHVhbCBpbiB0aGUgdmFsaWRhdGlvbiBzZXQgYnkgY29tcHV0aW5nIHRoZSBwb3N0ZXJpb3IgcHJvYmFiaWxpdHkgb2YgZGVmYXVsdCBmb3IgdGhhdCBpbmRpdmlkdWFsLCBhbmQgY2xhc3NpZnlpbmcgdGhlIGluZGl2aWR1YWwgdG8gdGhlIGBkZWZhdWx0YCBjYXRlZ29yeSBpZiB0aGUgcG9zdGVyaW9yIHByb2JhYmlsaXR5IGlzIGdyZWF0ZXIgdGhhbiAwLjUuCgpgYGB7cn0KcHJvYnMgPC0gcHJlZGljdChtb2RlbDIsIG5ld2RhdGEgPSB2YWwsIHR5cGUgPSAicmVzcG9uc2UiKQpwcmVkLmdsbSA8LSByZXAoIk5vIiwgbGVuZ3RoKHByb2JzKSkKcHJlZC5nbG1bcHJvYnMgPiAwLjVdIDwtICJZZXMiCmBgYAoKIyMjIyMgJChpdi4pJCBDb21wdXRlIHRoZSB2YWxpZGF0aW9uIHNldCBlcnJvciwgd2hpY2ggaXMgdGhlIGZyYWN0aW9uIG9mIHRoZSBvYnNlcnZhdGlvbnMgaW4gdGhlIHZhbGlkYXRpb24gc2V0IHRoYXQgYXJlIG1pc2NsYXNzaWZpZWQuIAoKYGBge3J9Cm1lYW4ocHJlZC5nbG0gIT0gdmFsJGRlZmF1bHQpCmBgYAoKVGhlIHRlc3QgZXJyb3IgcmF0ZSB3aXRoIHRoZSB2YWxpZGF0aW9uIGFwcHJvYWNoIGlzIDIuNTQlLiAKCiMjIyMjICQoYykkIFJlcGVhdCB0aGUgcHJvY2VzcyBpbiAkKGIpJCB0aHJlZSB0aW1lcywgdXNpbmcgdGhyZWUgZGlmZmVyZW50IHNwbGl0cyBvZiB0aGUgb2JzZXJ2YXRpb25zIGludG8gYSB0cmFpbmluZyBzZXQgYW5kIGEgdmFsaWRhdGlvbiBzZXQuIENvbW1lbnQgb24gdGhlIHJlc3VsdHMgb2J0YWluZWQuCgpgYGB7cn0Kc2V0LnNlZWQoMSkKc2FtcGxlIDwtIHNhbXBsZShucm93KERlZmF1bHQpLCBucm93KERlZmF1bHQpKjAuNykgIzcwLzMwIHNwbGl0CnRyYWluIDwtIERlZmF1bHRbc2FtcGxlLF0KdmFsIDwtIERlZmF1bHRbLXNhbXBsZSxdCm1vZGVsMyA8LSBnbG0oZGVmYXVsdCB+IGluY29tZSArIGJhbGFuY2UsIGRhdGEgPSB0cmFpbiwgZmFtaWx5ID0gImJpbm9taWFsIikKcHJvYnMgPC0gcHJlZGljdChtb2RlbDMsIG5ld2RhdGEgPSB2YWwsIHR5cGUgPSAicmVzcG9uc2UiKQpwcmVkLmdsbSA8LSByZXAoIk5vIiwgbGVuZ3RoKHByb2JzKSkKcHJlZC5nbG1bcHJvYnMgPiAwLjVdIDwtICJZZXMiCm1lYW4ocHJlZC5nbG0gIT0gdmFsJGRlZmF1bHQpCgpzYW1wbGUgPC0gc2FtcGxlKG5yb3coRGVmYXVsdCksIG5yb3coRGVmYXVsdCkqMC44KSAjODAvMjAgc3BsaXQKdHJhaW4gPC0gRGVmYXVsdFtzYW1wbGUsXQp2YWwgPC0gRGVmYXVsdFstc2FtcGxlLF0KbW9kZWw0IDwtIGdsbShkZWZhdWx0IH4gaW5jb21lICsgYmFsYW5jZSwgZGF0YSA9IHRyYWluLCBmYW1pbHkgPSAiYmlub21pYWwiKQpwcm9icyA8LSBwcmVkaWN0KG1vZGVsNCwgbmV3ZGF0YSA9IHZhbCwgdHlwZSA9ICJyZXNwb25zZSIpCnByZWQuZ2xtIDwtIHJlcCgiTm8iLCBsZW5ndGgocHJvYnMpKQpwcmVkLmdsbVtwcm9icyA+IDAuNV0gPC0gIlllcyIKbWVhbihwcmVkLmdsbSAhPSB2YWwkZGVmYXVsdCkKCnNhbXBsZSA8LSBzYW1wbGUobnJvdyhEZWZhdWx0KSwgbnJvdyhEZWZhdWx0KSowLjYpICM2MC80MCBzcGxpdAp0cmFpbiA8LSBEZWZhdWx0W3NhbXBsZSxdCnZhbCA8LSBEZWZhdWx0Wy1zYW1wbGUsXQptb2RlbDUgPC0gZ2xtKGRlZmF1bHQgfiBpbmNvbWUgKyBiYWxhbmNlLCBkYXRhID0gdHJhaW4sIGZhbWlseSA9ICJiaW5vbWlhbCIpCnByb2JzIDwtIHByZWRpY3QobW9kZWw1LCBuZXdkYXRhID0gdmFsLCB0eXBlID0gInJlc3BvbnNlIikKcHJlZC5nbG0gPC0gcmVwKCJObyIsIGxlbmd0aChwcm9icykpCnByZWQuZ2xtW3Byb2JzID4gMC41XSA8LSAiWWVzIgptZWFuKHByZWQuZ2xtICE9IHZhbCRkZWZhdWx0KQpgYGAKClRoZSB2YWxpZGF0aW9uIGVycm9yIHJhdGVzIG1hcmdpbmFsbHkgY2hhbmdlIGFjcm9zcyB0aGUgZGlmZmVyZW50IHNwbGl0cyB0ZXN0ZWQuIApCYXNlZCBvbiB0aGUgYWJvdmUgc2ltdWxhdGlvbnMsIGEgODAvMjAgc3BsaXQgc2VlbXMgdG8gcGVyZm9ybSB0aGUgYmVzdC4gCgojIyMjIyAkKGQpJCBOb3cgY29uc2lkZXIgYSBsb2dpc3RpYyByZWdyZXNzaW9uIG1vZGVsIHRoYXQgcHJlZGljdHMgdGhlIHByb2JhYmlsaXR5IG9mIGBkZWZhdWx0YCB1c2luZyBgaW5jb21lYCwgYGJhbGFuY2VgLCBhbmQgYSBkdW1teSB2YXJpYWJsZSBmb3IgYHN0dWRlbnRgLiBFc3RpbWF0ZSB0aGUgdGVzdCBlcnJvciBmb3IgdGhpcyBtb2RlbCB1c2luZyB0aGUgdmFsaWRhdGlvbiBzZXQgYXBwcm9hY2guIENvbW1lbnQgb24gd2hldGhlciBvciBub3QgaW5jbHVkaW5nIGEgZHVtbXkgdmFyaWFibGUgZm9yIHN0dWRlbnQgbGVhZHMgdG8gYSByZWR1Y3Rpb24gaW4gdGhlIHRlc3QgZXJyb3IgcmF0ZS4KCmBgYHtyfQpzZXQuc2VlZCgxKQpzYW1wbGUgPC0gc2FtcGxlKG5yb3coRGVmYXVsdCksIG5yb3coRGVmYXVsdCkqMC44KSAjODAvMjAgc3BsaXQKdHJhaW4gPC0gRGVmYXVsdFtzYW1wbGUsXQp2YWwgPC0gRGVmYXVsdFstc2FtcGxlLF0KbW9kZWw2IDwtIGdsbShkZWZhdWx0IH4gaW5jb21lICsgYmFsYW5jZSArIHN0dWRlbnQsIGRhdGEgPSB0cmFpbiwgCiAgICAgICAgICAgICAgIGZhbWlseSA9ICJiaW5vbWlhbCIpCnByZWQuZ2xtIDwtIHJlcCgiTm8iLCBsZW5ndGgocHJvYnMpKQpwcm9icyA8LSBwcmVkaWN0KG1vZGVsNiwgbmV3ZGF0YSA9IHZhbCwgdHlwZSA9ICJyZXNwb25zZSIpCnByZWQuZ2xtW3Byb2JzID4gMC41XSA8LSAiWWVzIgptZWFuKHByZWQuZ2xtICE9IHZhbCRkZWZhdWx0KQpgYGAKCkl0IGRvZXNuJ3Qgc2VlbSB0aGF0IGFkZGluZyB0aGUg4oCcc3R1ZGVudOKAnSBkdW1teSB2YXJpYWJsZSBsZWFkcyB0byBhIHJlZHVjdGlvbiBpbiB0aGUgdmFsaWRhdGlvbiBzZXQgZXN0aW1hdGUgb2YgdGhlIHRlc3QgZXJyb3IgcmF0ZS4KCiMjIEV4ZXJjaXNlIDYKIyMjIyMgV2UgY29udGludWUgdG8gY29uc2lkZXIgdGhlIHVzZSBvZiBhIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwgdG8gcHJlZGljdCB0aGUgcHJvYmFiaWxpdHkgb2YgYGRlZmF1bHRgIHVzaW5nIGBpbmNvbWVgIGFuZCBgYmFsYW5jZWAgb24gdGhlIGBEZWZhdWx0YCBkYXRhIHNldC4gSW4gcGFydGljdWxhciwgd2Ugd2lsbCBub3cgY29tcHV0ZSBlc3RpbWF0ZXMgZm9yIHRoZSBzdGFuZGFyZCBlcnJvcnMgb2YgdGhlIGBpbmNvbWVgIGFuZCBgYmFsYW5jZWAgbG9naXN0aWMgcmVncmVzc2lvbiBjb2VmZmljaWVudHMgaW4gdHdvIGRpZmZlcmVudCB3YXlzOiAoMSkgdXNpbmcgdGhlIGJvb3RzdHJhcCwgYW5kICgyKSB1c2luZyB0aGUgc3RhbmRhcmQgZm9ybXVsYSBmb3IgY29tcHV0aW5nIHRoZSBzdGFuZGFyZCBlcnJvcnMgaW4gdGhlIGBnbG0oKWAgZnVuY3Rpb24uIERvIG5vdCBmb3JnZXQgdG8gc2V0IGEgcmFuZG9tIHNlZWQgYmVmb3JlIGJlZ2lubmluZyB5b3VyIGFuYWx5c2lzLgoKIyMjIyMgJChhKSQgVXNpbmcgdGhlIGBzdW1tYXJ5KClgIGFuZCBgZ2xtKClgIGZ1bmN0aW9ucywgZGV0ZXJtaW5lIHRoZSBlc3RpbWF0ZWQgc3RhbmRhcmQgZXJyb3JzIGZvciB0aGUgY29lZmZpY2llbnRzIGFzc29jaWF0ZWQgd2l0aCBgaW5jb21lYCBhbmQgYGJhbGFuY2VgIGluIGEgbXVsdGlwbGUgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCB0aGF0IHVzZXMgYm90aCBwcmVkaWN0b3JzLgoKYGBge3J9CnNldC5zZWVkKDEpCm1vZGVsNyA8LSBnbG0oZGVmYXVsdCB+IGluY29tZSArIGJhbGFuY2UsIGRhdGEgPSBEZWZhdWx0LCBmYW1pbHkgPSAiYmlub21pYWwiKQpzdW1tYXJ5KG1vZGVsNykKYGBgCgpgYGB7ciwgZWNobz1GQUxTRX0Kc2VfaW5jb21lIDwtIHN1bW1hcnkobW9kZWw3KSRjb2VmZmljaWVudHNbImluY29tZSIsICJTdGQuIEVycm9yIl0Kc2VfYmFsYW5jZSA8LSBzdW1tYXJ5KG1vZGVsNykkY29lZmZpY2llbnRzWyJiYWxhbmNlIiwgIlN0ZC4gRXJyb3IiXQpjYXQoIlN0YW5kYXJkIEVycm9yIGZvciBpbmNvbWU6Iiwgc2VfaW5jb21lLCAiXG4iKQpjYXQoIlN0YW5kYXJkIEVycm9yIGZvciBiYWxhbmNlOiIsIHNlX2JhbGFuY2UsICJcbiIpCmBgYAoKIyMjIyMgJChiKSQgV3JpdGUgYSBmdW5jdGlvbiwgYGJvb3QuZm4oKWAsIHRoYXQgdGFrZXMgYXMgaW5wdXQgdGhlIGBEZWZhdWx0YCBkYXRhIHNldCBhcyB3ZWxsIGFzIGFuIGluZGV4IG9mIHRoZSBvYnNlcnZhdGlvbnMsIGFuZCB0aGF0IG91dHB1dHMgdGhlIGNvZWZmaWNpZW50IGVzdGltYXRlcyBmb3IgYGluY29tZWAgYW5kIGBiYWxhbmNlYCBpbiB0aGUgbXVsdGlwbGUgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbC4KCmBgYHtyfQpib290LmZuIDwtIGZ1bmN0aW9uKGRhdGEsIGluZGV4KSB7CiAgICBmaXQgPC0gZ2xtKGRlZmF1bHQgfiBpbmNvbWUgKyBiYWxhbmNlLCBkYXRhID0gZGF0YSwgZmFtaWx5ID0gImJpbm9taWFsIiwgCiAgICAgICAgICAgICAgIHN1YnNldCA9IGluZGV4KQogICAgcmV0dXJuIChjb2VmKGZpdClbYygiaW5jb21lIiwiYmFsYW5jZSIpXSkKfQpgYGAKCiMjIyMjICQoYykkIFVzZSB0aGUgYGJvb3QoKWAgZnVuY3Rpb24gdG9nZXRoZXIgd2l0aCB5b3VyIGBib290LmZuKClgIGZ1bmN0aW9uIHRvIGVzdGltYXRlIHRoZSBzdGFuZGFyZCBlcnJvcnMgb2YgdGhlIGxvZ2lzdGljIHJlZ3Jlc3Npb24gY29lZmZpY2llbnRzIGZvciBgaW5jb21lYCBhbmQgYGJhbGFuY2VgLgoKYGBge3J9CmxpYnJhcnkoYm9vdCkKYm9vdHN0cmFwIDwtIGJvb3QoRGVmYXVsdCwgYm9vdC5mbiwgMTAwMCkKYGBgCgpgYGB7ciwgZWNobz1GQUxTRX0KYm9vdF9zZSA8LSBib290c3RyYXAkdDAKYm9vdF9zZQpgYGAKCiMjIyMjICQoZCkkIENvbW1lbnQgb24gdGhlIGVzdGltYXRlZCBzdGFuZGFyZCBlcnJvcnMgb2J0YWluZWQgdXNpbmcgdGhlIGBnbG0oKWAgZnVuY3Rpb24gYW5kIHVzaW5nIHlvdXIgYm9vdHN0cmFwIGZ1bmN0aW9uLgoKVGhlIGVzdGltYXRlZCBzdGFuZGFyZCBlcnJvcnMgb2J0YWluZWQgdGhyb3VnaCB0aGUgYm9vdHN0cmFwIGZ1bmN0aW9uIGFyZSBtdWNoIGxhcmdlciAKdGhhbiB0aGUgZXJyb3JzIG9idGFpbmVkIHRocm91Z2ggYGdsbSgpYC4gVGhpcyBjb3VsZCBzdWdlc3QgdGhhdCB0aGUgYGdsbSgpYCBlc3RpbWF0ZXMgCm1pZ2h0IGJlIHVuZGVyZXN0aW1hdGluZyB0aGUgcmVhbCB2YXJpYWJsaWxpdHkgb2YgdGhlIGNvZWZmaWNpZW50cywgcG90ZW50aWFsbHkgZHVlIHRvIAp2aW9sYXRpb24gb2YgbW9kZWwgYXNzdW1wdGlvbnMuIAoKIyMgRXhlcmNpc2UgOQojIyMjIyBXZSB3aWxsIG5vdyBjb25zaWRlciB0aGUgYEJvc3RvbmAgaG91c2luZyBkYXRhIHNldCwgZnJvbSB0aGUgYElTTFIyYCBsaWJyYXJ5LgoKIyMjIyMgJChhKSQgQmFzZWQgb24gdGhpcyBkYXRhIHNldCwgcHJvdmlkZSBhbiBlc3RpbWF0ZSBmb3IgdGhlIHBvcHVsYXRpb24gbWVhbiBvZiBtZWR2LiBDYWxsIHRoaXMgZXN0aW1hdGUgJFxoYXR7XG11fSQuCgpgYGB7cn0KbGlicmFyeShNQVNTKQphdHRhY2goQm9zdG9uKQptdS5oYXQgPC0gbWVhbihtZWR2KQptdS5oYXQKYGBgCgojIyMjIyAkKGIpJCBQcm92aWRlIGFuIGVzdGltYXRlIG9mIHRoZSBzdGFuZGFyZCBlcnJvciBvZiAkXGhhdHtcbXV9JC4gSW50ZXJwcmV0IHRoaXMgcmVzdWx0LiAKCiMjIyMjIEhpbnQ6IFdlIGNhbiBjb21wdXRlIHRoZSBzdGFuZGFyZCBlcnJvciBvZiB0aGUgc2FtcGxlIG1lYW4gYnkgZGl2aWRpbmcgdGhlIHNhbXBsZSBzdGFuZGFyZCBkZXZpYXRpb24gYnkgdGhlIHNxdWFyZSByb290IG9mIHRoZSBudW1iZXIgb2Ygb2JzZXJ2YXRpb25zLgoKYGBge3J9CnNlLmhhdCA8LSBzZChtZWR2KSAvIHNxcnQoZGltKEJvc3RvbilbMV0pCnNlLmhhdApgYGAKCiMjIyMjICQoYykkIE5vdyBlc3RpbWF0ZSB0aGUgc3RhbmRhcmQgZXJyb3Igb2YgJFxoYXR7XG11fSQgdXNpbmcgdGhlIGJvb3RzdHJhcC4gSG93IGRvZXMgdGhpcyBjb21wYXJlIHRvIHlvdXIgYW5zd2VyIGZyb20gJChiKSQ/CgpgYGB7cn0Kc2V0LnNlZWQoMSkKYm9vdC5mbiA8LSBmdW5jdGlvbihkYXRhLCBpbmRleCkgewogICAgbXUgPC0gbWVhbihkYXRhW2luZGV4XSkKICAgIHJldHVybiAobXUpCn0KYm9vdChtZWR2LCBib290LmZuLCAxMDAwKQpgYGAKClRoZSBib290c3RyYXAgZXN0aW1hdGVkIHN0YW5kYXJkIGVycm9yIG9mICRcaGF0e1xtdX0kIG9mIDAuNDEwNiBpcyB2ZXJ5IGNsb3NlIHRvIHRoZSBlc3RpbWF0ZSBmb3VuZCBpbiAkKGIpJCBvZiAwLjQwODguIEFzIHRoZSB0d28gZXN0aW1hdGVzIGFyZSBjbG9zZSwgdGhpcyBzdWdnZXN0cyB0aGF0IHRoZSAKcGFyYW1ldHJpYyBhc3N1bXB0aW9ucyBvZiB0aGUgb3JpZ2luYWwgc3RhbmRhcmQgZXJyb3IgZnJvbSAkKGIpJCBhcmUgbGlrZWx5IHRvIGJlIHZhbGlkLiAKCiMjIyMjICQoZCkkIEJhc2VkIG9uIHlvdXIgYm9vdHN0cmFwIGVzdGltYXRlIGZyb20gJChjKSQsIHByb3ZpZGUgYSA5NSUgY29uZmlkZW5jZSBpbnRlcnZhbCBmb3IgdGhlIG1lYW4gb2YgYG1lZHZgLiBDb21wYXJlIGl0IHRvIHRoZSByZXN1bHRzIG9idGFpbmVkIHVzaW5nIGB0LnRlc3QoQm9zdG9uJG1lZHYpYC4gCgojIyMjIyBIaW50OiBZb3UgY2FuIGFwcHJveGltYXRlIGEgOTUlIGNvbmZpZGVuY2UgaW50ZXJ2YWwgdXNpbmcgdGhlIGZvcm11bGEgJFtcaGF0e1xtdX0tMlNFKFxoYXR7XG11fSksXGhhdHtcbXV9KzJTRShcaGF0e1xtdX0pXSQKCmBgYHtyfQp0LnRlc3QobWVkdikKQ0kubXUuaGF0IDwtIGMoMjIuNTMgLSAyICogMC40MTE5LCAyMi41MyArIDIgKiAwLjQxMTkpCkNJLm11LmhhdApgYGAKClRoZSBib290c3RyYXAgY29uZmlkZW5jZSBpbnRlcnZhbCBpcyB2ZXJ5IGNsb3NlIHRvIHRoZSBvbmUgcHJvdmlkZWQgYnkgdGhlIHQudGVzdCgpIGZ1bmN0aW9uLgoKIyMjIyMgJChlKSQgQmFzZWQgb24gdGhpcyBkYXRhIHNldCwgcHJvdmlkZSBhbiBlc3RpbWF0ZSwgJFxoYXR7XG11fV97bWVkfSQsIGZvciB0aGUgbWVkaWFuIHZhbHVlIG9mIGBtZWR2YCBpbiB0aGUgcG9wdWxhdGlvbi4KCmBgYHtyfQptZWQuaGF0IDwtIG1lZGlhbihtZWR2KQptZWQuaGF0CmBgYAoKIyMjIyMgJChmKSQgV2Ugbm93IHdvdWxkIGxpa2UgdG8gZXN0aW1hdGUgdGhlIHN0YW5kYXJkIGVycm9yIG9mICRcaGF0e1xtdX1fe21lZH0kLiBVbmZvcnR1bmF0ZWx5LCB0aGVyZSBpcyBubyBzaW1wbGUgZm9ybXVsYSBmb3IgY29tcHV0aW5nIHRoZSBzdGFuZGFyZCBlcnJvciBvZiB0aGUgbWVkaWFuLiBJbnN0ZWFkLCBlc3RpbWF0ZSB0aGUgc3RhbmRhcmQgZXJyb3Igb2YgdGhlIG1lZGlhbiB1c2luZyB0aGUgYm9vdHN0cmFwLiBDb21tZW50IG9uIHlvdXIgZmluZGluZ3MuCgpgYGB7cn0KYm9vdC5mbiA8LSBmdW5jdGlvbihkYXRhLCBpbmRleCkgewogICAgbXUgPC0gbWVkaWFuKGRhdGFbaW5kZXhdKQogICAgcmV0dXJuIChtdSkKfQpib290KG1lZHYsIGJvb3QuZm4sIDEwMDApCmBgYAoKVGhlIGVzdGltYXRlZCBtZWRpYW4gdmFsdWUgaXMgMjEuMiB3aGljaCBpcyBlcXVhbCB0byB0aGUgdmFsdWUgb2J0YWluZWQgaW4gJChlKSQsIHdpdGggYSBzdGFuZGFyZCBlcnJvciBvZiAwLjM3NyB3aGljaCBzdWdnZXN0cyB0aGF0IGlmIHJlcGVhdGVkIHNhbXBsaW5nIHdhcyBjb25kdWN0ZWQgZnJvbSAKdGhlIHBvcHVsYXRpb24gYW5kIHRoZSBtZWRpYW4gd2FzIGNhbGN1bGF0ZWQsIHRoZSB2YWx1ZSB3b3VsZCB2YXJ5IGJ5IDAuMzc3IG9uIGF2ZXJhZ2UuIApUaGlzIFNFIGlzIHRoZSBzbWFsbGVzdCBzbyBmYXIsIHBvc3NpYmx5IGR1ZSB0byB0aGUgbWVkaWFuIGJlaW5nIGxlc3Mgc2Vuc2l0aXZlIHRvIApvdXRsaWVycyB0aGFuIHRoZSBtZWFuLiAKCiMjIyMjICQoZykkIEJhc2VkIG9uIHRoaXMgZGF0YSBzZXQsIHByb3ZpZGUgYW4gZXN0aW1hdGUgZm9yIHRoZSB0ZW50aCBwZXJjZW50aWxlIG9mIGBtZWR2YCBpbiBgQm9zdG9uYCBjZW5zdXMgdHJhY3RzLiBDYWxsIHRoaXMgcXVhbnRpdHkgJFxoYXR7XG11fV97MC4xfSQuIChZb3UgY2FuIHVzZSB0aGUgYHF1YW50aWxlKClgIGZ1bmN0aW9uLikKCmBgYHtyfQpwZXJjZW50LmhhdCA8LSBxdWFudGlsZShtZWR2LCBjKDAuMSkpCnBlcmNlbnQuaGF0CmBgYAoKIyMjIyMgJChoKSQgVXNlIHRoZSBib290c3RyYXAgdG8gZXN0aW1hdGUgdGhlIHN0YW5kYXJkIGVycm9yIG9mICRcaGF0e1xtdX1fezAuMX0kLiBDb21tZW50IG9uIHlvdXIgZmluZGluZ3MuCgpgYGB7cn0KYm9vdC5mbiA8LSBmdW5jdGlvbihkYXRhLCBpbmRleCkgewogICAgbXUgPC0gcXVhbnRpbGUoZGF0YVtpbmRleF0sIGMoMC4xKSkKICAgIHJldHVybiAobXUpCn0KYm9vdChtZWR2LCBib290LmZuLCAxMDAwKQpgYGAKClRoZSBlc3RpbWF0ZWQgdGVudGggcGVyY2VudGlsZSB2YWx1ZSBpcyAxMi43NSB3aGljaCBpcyBhZ2FpbiBlcXVhbCB0byB0aGUgdmFsdWUgb2J0YWluZWQgaW4gJChnKSQsIHdpdGggYSBzdGFuZGFyZCBlcnJvciBvZiAwLjQ5MjUuIFRoaXMgc3VnZ2VzdHMgdGhhdCBpZiByZXBlYXRlZCBzYW1wbGluZyB3YXMgCmNvbmR1Y3RlZCBmcm9tIHRoZSBwb3B1bGF0aW9uIGFuZCB0aGUgMTB0aCBwZXJjZW50aWxlIHdhcyBjYWxjdWxhdGVkLCB0aGUgdmFsdWUgCndvdWxkIHZhcnkgYnkgMC40OTI1IG9uIGF2ZXJhZ2UuIFRoaXMgaXMgc2xpZ2h0bHkgaGlnaGVyIHRoYW4gdGhlIFNFIGNhbGN1bGF0ZWQgd2l0aCAKdGhlIG1lZGlhbiwgIHNpbmNlIGxvd2VyIHBlcmNlbnRpbGVzIGNhbiBiZSBtb3JlIGFmZmVjdGVkIGJ5IHNrZXduZXNzIGFuZCBvdXRsaWVycyAKY29tcGFyZWQgdG8gdGhlIG1lZGlhbi4gT3V0IG9mIGFsbCB0aGUgbWV0cmljcyBjb21wYXJlZCwgdGhlIG1lZGlhbiBwcm92aWRlZCB0aGUgCm9wdGltYWwgU0UuIAo=