Question 13
This question should be answered using the Weekly data set, which is
part of the ISLR2 package. This data is similar in nature to the Smarket
data from this chapter’s lab, except that it contains 1, 089 weekly
returns for 21 years, from the beginning of 1990 to the end of 2010.
library(ISLR2)
data(Weekly)
(a)
Produce some numerical and graphical summaries of the Weekly data. Do
there appear to be any patterns?
summary(Weekly)
cor(Weekly[, -9])
table(Weekly$Direction)
pairs(Weekly)
plot(Weekly$Volume, type = "l", xlab = "Week (1990-2010)", ylab = "Volume")
Overall, thee is an upward trend in the trading volume over the
years, which is not indicative of a linear relationship. This is
explained as there is a positive correlation between volume and year of
0.84.
(b)
Use the full data set to perform a logistic regression with Direction
as the response and the five lag variables plus Volume as predictors.
Use the summary function to print the results. Do any of the predictors
appear to be statistically significant? If so, which ones?
glm.fit <- glm(Direction ~ Lag1 + Lag2 + Lag3 + Lag4 + Lag5 + Volume, data = Weekly,
family = binomial)
summary(glm.fit)
Call:
glm(formula = Direction ~ Lag1 + Lag2 + Lag3 + Lag4 + Lag5 +
Volume, family = binomial, data = Weekly)
Coefficients:
Estimate Std. Error z value Pr(>|z|)
(Intercept) 0.26686 0.08593 3.106 0.0019 **
Lag1 -0.04127 0.02641 -1.563 0.1181
Lag2 0.05844 0.02686 2.175 0.0296 *
Lag3 -0.01606 0.02666 -0.602 0.5469
Lag4 -0.02779 0.02646 -1.050 0.2937
Lag5 -0.01447 0.02638 -0.549 0.5833
Volume -0.02274 0.03690 -0.616 0.5377
---
Signif. codes: 0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1
(Dispersion parameter for binomial family taken to be 1)
Null deviance: 1496.2 on 1088 degrees of freedom
Residual deviance: 1486.4 on 1082 degrees of freedom
AIC: 1500.4
Number of Fisher Scoring iterations: 4
The only significant predictor is Lag2, with a p value is 0.0296 <
0.05. There is a slight higher chance that there is an upward trend if
there was a larger return two weeks ago.
(c)
Compute the confusion matrix and overall fraction of correct
predictions. Explain what the confusion matrix is telling you about the
types of mistakes made by logistic regression.
glm.probs <- predict(glm.fit, type = "response")
glm.pred <- rep("Down", nrow(Weekly))
glm.pred[glm.probs > 0.5] <- "Up"
table(glm.pred, Weekly$Direction)
glm.pred Down Up
Down 54 48
Up 430 557
mean(glm.pred == Weekly$Direction)
[1] 0.5610652
The confusion matrix shows that the model predicts Up for 987 of the
1089 weeks. However, the model has an accuracy of 56.1% since the
logictic regression correctly classifies 611 of the 1089 weeks where
(54+557)/1089 = 611 as there are fall Up predictions.
(d)
Now fit the logistic regression model using a training data period
from 1990 to 2008, with Lag2 as the only predictor. Compute the
confusion matrix and the overall fraction of correct predictions for the
held out data (that is, the data from 2009 and 2010).
train <- Weekly$Year <= 2008
Weekly.test <- Weekly[!train, ]
Direction.test <- Weekly$Direction[!train]
# lag2 as only predictor
glm.fit <- glm(Direction ~ Lag2, data = Weekly, family = binomial,
subset = train)
# data from 2009 and 2010
glm.probs <- predict(glm.fit, Weekly.test, type = "response")
glm.pred <- rep("Down", nrow(Weekly.test))
glm.pred[glm.probs > 0.5] <- "Up"
table(glm.pred, Direction.test)
Direction.test
glm.pred Down Up
Down 9 5
Up 34 56
mean(glm.pred == Direction.test)
[1] 0.625
(e)
Repeat (d) using LDA.
library(MASS)
lda.fit <- lda(Direction ~ Lag2, data = Weekly, subset = train)
lda.pred <- predict(lda.fit, Weekly.test)
lda.class <- lda.pred$class
table(lda.class, Direction.test)
Direction.test
lda.class Down Up
Down 9 5
Up 34 56
mean(lda.class == Direction.test)
[1] 0.625
(f)
Repeat (d) using QDA.
qda.fit <- qda(Direction ~ Lag2, data = Weekly, subset = train)
qda.class <- predict(qda.fit, Weekly.test)$class
table(qda.class, Direction.test)
Direction.test
qda.class Down Up
Down 0 0
Up 43 61
mean(qda.class == Direction.test)
[1] 0.5865385
(g)
Repeat (d) using KNN with K = 1.
library(class)
train.X <- as.matrix(Weekly$Lag2[train])
test.X <- as.matrix(Weekly$Lag2[!train])
train.Direction <- Weekly$Direction[train]
set.seed(240)
knn.pred <- knn(train.X, test.X, train.Direction, k = 1)
table(knn.pred, Direction.test)
Direction.test
knn.pred Down Up
Down 21 30
Up 22 31
mean(knn.pred == Direction.test)
[1] 0.5
(h)
Repeat (d) using naive Bayes.
library(e1071)
nb.fit <- naiveBayes(Direction ~ Lag2, data = Weekly, subset = train)
nb.class <- predict(nb.fit, Weekly.test)
table(nb.class, Direction.test)
Direction.test
nb.class Down Up
Down 0 0
Up 43 61
mean(nb.class == Direction.test)
[1] 0.5865385
(i)
Which of these methods appears to provide the best results on this
data?
Out of the five methods, logistic regression and LDA have the best
results, both at 62.5% since Lag2 as a predictor is only slightly
significant and contributes to bias-variance.
(j)
Experiment with different combinations of predictors, including
possible transformations and interactions, for each of the methods.
Report the variables, method, and associated confusion matrix that
appears to provide the best results on the held out data. Note that you
should also experiment with values for K in the KNN classifier.
train <- Weekly$Year <= 2008
X <- cbind(Lag2 = Weekly$Lag2, Lag1Lag2 = Weekly$Lag1 * Weekly$Lag2)
X <- scale(X)
train.X <- X[train, ]
test.X <- X[!train, ]
train.Direction <- Weekly$Direction[train]
Direction.test <- Weekly$Direction[!train]
set.seed(240)
knn.pred <- knn(train.X, test.X, train.Direction, k = 100)
table(knn.pred, Direction.test)
Direction.test
knn.pred Down Up
Down 16 11
Up 27 50
mean(knn.pred == Direction.test)
[1] 0.6346154
By using Lag2 and the interaction between Lag1 and Lag2, there is
very minimal difference between 62.5% (logistic regression using only
Lag2) and 63.5% with only an additional week when using KNN. The
predictor Lag2 is too weak to vastly improve the model.
Question 14
In this problem, you will develop a model to predict whether a given
car gets high or low gas mileage based on the Auto data set.
(a)
Create a binary variable, mpg01, that contains a 1 if mpg contains a
value above its median, and a 0 if mpg contains a value below its
median. You can compute the median using the median() function. Note you
may find it helpful to use the data.frame() function to create a single
data set containing both mpg01 and the other Auto variables.
#library(ISLR2)
data(Auto)
# prints median
med_mpg <- median(Auto$mpg)
print(med_mpg)
[1] 22.75
# assigns 1 or 0 if over or under median
mpg01 <- ifelse(Auto$mpg > median(Auto$mpg), 1, 0)
Auto2 <- data.frame(mpg01 = factor(mpg01), Auto)
head(Auto2)
table(mpg01)
mpg01
0 1
196 196
The result is balanced where there are 196 variables that are over
the median of 22.75 mpg and 196 that are under 22.75 mpg.
(b)
Explore the data graphically in order to investigate the association
between mpg01 and the other features. Which of the other features seem
most likely to be useful in predicting mpg01? Scatterplots and boxplots
may be useful tools to answer this question. Describe your findings.
par(mfrow = c(2, 3)) # 2x3 grid of plots
boxplot(displacement ~ mpg01, data = Auto2, xlab = "mpg01", ylab = "displacement")
boxplot(horsepower ~ mpg01, data = Auto2, xlab = "mpg01", ylab = "horsepower")
boxplot(weight ~ mpg01, data = Auto2, xlab = "mpg01", ylab = "weight")
boxplot(acceleration ~ mpg01, data = Auto2, xlab = "mpg01", ylab = "acceleration")
boxplot(year ~ mpg01, data = Auto2, xlab = "mpg01", ylab = "year")
boxplot(cylinders ~ mpg01, data = Auto2, xlab = "mpg01", ylab = "cylinders")
par(mfrow = c(1, 1))

pairs(Auto2[, c("displacement","horsepower","weight","acceleration")],
col = ifelse(mpg01 == 1, "blue", "red"))

cor(Auto2[, c("mpg01","cylinders","displacement","horsepower","weight", "acceleration","year","origin")])[,"mpg01"]
mpg01 cylinders displacement horsepower weight acceleration
1.0000000 -0.7591939 -0.7534766 -0.6670526 -0.7577566 0.3468215
year origin
0.4299042 0.5136984
Other factors, such as cylinders, displacement, horsepower, and
weight have a relationship with mpg01. There is a negative correlation
from -0.67 and -0.76, indicating that cars that are lighter, have fewer
cylinders, and horsepower, have higher mileage.
(c)
Split the data into a training set and a test set.
mpg01 <- ifelse(Auto$mpg > median(Auto$mpg), 1, 0)
Auto2 <- data.frame(mpg01 = factor(mpg01), Auto)
set.seed(240)
n <- nrow(Auto2)
train <- sample(n, size = 0.7 * n)
Auto.train <- Auto2[train, ]
Auto.test <- Auto2[-train, ]
mpg01.test <- Auto2$mpg01[-train]
dim(Auto.train)
[1] 274 10
dim(Auto.test)
[1] 118 10
274 + 118 = 392, which is the full size of the Auto dataset.
274/392 = 0.699 so this is a 70/30 split.
(d)
Perform LDA on the training data in order to predict mpg01 using the
variables that seemed most associated with mpg01 in (b). What is the
test error of the model obtained?
#library(MASS)
# predictors from mpg01 in part (b)
lda.fit <- lda(mpg01 ~ cylinders + displacement + horsepower + weight,
data = Auto.train)
lda.pred <- predict(lda.fit, Auto.test)
lda.class <- lda.pred$class
table(lda.class, mpg01.test)
mpg01.test
lda.class 0 1
0 44 4
1 10 60
mean(lda.class != mpg01.test)
[1] 0.1186441
There is a test error of 11% using the predictors of cylinders,
displacement, horsepower, and weight, meaning that there is around 90%
accuracy when applying a fitted model. Engine and size variables offer a
clean separation of the high and low mileage cars.
(e)
Perform QDA on the training data in order to predict mpg01 using the
variables that seemed most associated with mpg01 in (b). What is the
test error of the model obtained?
qda.fit <- qda(mpg01 ~ cylinders + displacement + horsepower + weight, data = Auto.train)
qda.class <- predict(qda.fit, Auto.test)$class
table(qda.class, mpg01.test)
mpg01.test
qda.class 0 1
0 46 6
1 8 58
mean(qda.class != mpg01.test)
[1] 0.1186441
QDA performed the same as LDA with an error of 11%, meaning that
there is a near 90% accuracy.
(f)
Perform logistic regression on the training data in order to predict
mpg01 using the variables that seemed most associated with mpg01 in (b).
What is the test error of the model obtained?
glm.fit <- glm(mpg01 ~ cylinders + displacement + horsepower + weight, data = Auto.train, family = binomial)
glm.probs <- predict(glm.fit, Auto.test, type = "response")
glm.pred <- rep(0, nrow(Auto.test))
glm.pred[glm.probs > 0.5] <- 1
table(glm.pred, mpg01.test)
mpg01.test
glm.pred 0 1
0 45 6
1 9 58
mean(glm.pred != mpg01.test)
[1] 0.1271186
The test error is now at 12% compared to the 11% obtained from LDA
and QDA, so there is now 89% accuracy. But overall, all three methods
are almost identical and indicates there is a clear boundary separating
high and low mpg for the Auto dataset.
(g)
Perform naive Bayes on the training data in order to predict mpg01
using the variables that seemed most associated with mpg01 in (b). What
is the test error of the model obtained?
nb.fit <- naiveBayes(mpg01 ~ cylinders + displacement + horsepower + weight, data = Auto.train)
nb.class <- predict(nb.fit, Auto.test)
table(nb.class, mpg01.test)
mpg01.test
nb.class 0 1
0 45 6
1 9 58
mean(nb.class != mpg01.test)
[1] 0.1271186
The Naive Bayes model is the same result as the logistic regression
of 12% test error with 89% accuracy.
(h)
Perform KNN on the training data, with several values of K, in order
to predict mpg01. Use only the variables that seemed most associated
with mpg01 in (b). What test errors do you obtain? Which value of K
seems to perform the best on this data set?
vars <- c("cylinders", "displacement", "horsepower", "weight")
X <- scale(Auto2[, vars])
train.X <- X[train, ]
test.X <- X[-train, ]
train.mpg01 <- Auto2$mpg01[train]
set.seed(1)
for (k in c(1, 3, 5, 7, 10, 15, 20, 50, 100)) {
knn.pred <- knn(train.X, test.X, train.mpg01, k = k)
cat("K =", k, " test error =", round(mean(knn.pred != mpg01.test), 4), "\n")}
K = 1 test error = 0.1441
K = 3 test error = 0.1102
K = 5 test error = 0.1186
K = 7 test error = 0.1186
K = 10 test error = 0.1186
K = 15 test error = 0.1186
K = 20 test error = 0.1186
K = 50 test error = 0.1186
K = 100 test error = 0.1271
K = 3 performs the best as there is a test error of 11.02% and around
89% accuracy. Using a very small K of 1 over fits, while using a very
large K of 100 under fits. K of 5 - 50 have the same test error, but K =
3 is more accurate.
Question 16
Using the Boston data set, fit classification models in order to
predict whether a given census tract has a crime rate above or below the
median. Explore logistic regression, LDA, naive Bayes, and KNN models
using various subsets of the predictors. Describe your findings. Hint:
You will have to create the response variable yourself, using the
variables that are contained in the Boston data set.
data(Boston)
crim01 <- ifelse(Boston$crim > median(Boston$crim), 1, 0)
Boston2 <- data.frame(crim01 = factor(crim01), Boston)
# Which predictors are most associated with crim01?
cor(data.frame(crim01, Boston[, -1]))[, "crim01"]
crim01 zn indus chas nox rm
1.00000000 -0.43615103 0.60326017 0.07009677 0.72323480 -0.15637178
age dis rad tax ptratio black
0.61393992 -0.61634164 0.61978625 0.60874128 0.25356836 -0.35121093
lstat medv
0.45326273 -0.26301673
# train and test split
set.seed(240)
n <- nrow(Boston2)
train <- sample(n, 0.7 * n)
Boston.train <- Boston2[train, ]
Boston.test <- Boston2[-train, ]
crim01.test <- Boston2$crim01[-train]
# logistic regression
glm.fit <- glm(crim01 ~ nox + rad + dis + age + tax + indus, data = Boston.train, family = binomial)
glm.prob <- predict(glm.fit, Boston.test, type = "response")
glm.pred <- ifelse(glm.prob > 0.5, 1, 0)
mean(glm.pred != crim01.test)
[1] 0.1118421
# LDA
lda.fit <- lda(crim01 ~ nox + rad + dis + age + tax + indus, data = Boston.train)
mean(predict(lda.fit, Boston.test)$class != crim01.test)
[1] 0.1578947
# Naive Bayes
nb.fit <- naiveBayes(crim01 ~ nox + rad + dis + age + tax + indus, data = Boston.train)
mean(predict(nb.fit, Boston.test) != crim01.test)
[1] 0.1776316
## KNN
vars <- c("nox","rad","dis")
X <- scale(Boston2[, vars])
set.seed(240)
for (k in c(1,3,5,10)) {
knn.pred <- knn(X[train,], X[-train,], Boston2$crim01[train], k = k)
cat("KNN K=",k," error=", round(mean(knn.pred != crim01.test),4), "\n")}
KNN K= 1 error= 0.0658
KNN K= 3 error= 0.0526
KNN K= 5 error= 0.0592
KNN K= 10 error= 0.0658
KNN model is a better fit as there is significant lower test error by
separating the high and low crime tracts among all K values.
Additionally, using fewer but stronger predictors makes a drastic
difference.
Logistic regression is a better fit of LDA with a test error of 11%
compared to about 16%.
Naive Bayes has the worst test error of about 18% since it assumes
the predictors are independent as they are actually very correlated with
one another.
LS0tDQp0aXRsZTogIkFzc2lnbm1lbnQgIzMiDQphdXRob3I6IENocnlzdGEgU2NodWVzc2xlcg0Kb3V0cHV0Og0KICBodG1sX25vdGVib29rOg0KICAgIHRvYzogdHJ1ZQ0KICAgIHRvY19mbG9hdDogdHJ1ZQ0KICBodG1sX2RvY3VtZW50Og0KICAgIHRvYzogdHJ1ZQ0KICAgIGRmX3ByaW50OiBwYWdlZA0KZWRpdG9yX29wdGlvbnM6IA0KICBtYXJrZG93bjogDQogICAgd3JhcDogNzINCi0tLQ0KDQojIFF1ZXN0aW9uIDEzDQoNClRoaXMgcXVlc3Rpb24gc2hvdWxkIGJlIGFuc3dlcmVkIHVzaW5nIHRoZSBXZWVrbHkgZGF0YSBzZXQsIHdoaWNoIGlzDQpwYXJ0IG9mIHRoZSBJU0xSMiBwYWNrYWdlLiBUaGlzIGRhdGEgaXMgc2ltaWxhciBpbiBuYXR1cmUgdG8gdGhlIFNtYXJrZXQNCmRhdGEgZnJvbSB0aGlzIGNoYXB0ZXLigJlzIGxhYiwgZXhjZXB0IHRoYXQgaXQgY29udGFpbnMgMSwgMDg5IHdlZWtseQ0KcmV0dXJucyBmb3IgMjEgeWVhcnMsIGZyb20gdGhlIGJlZ2lubmluZyBvZiAxOTkwIHRvIHRoZSBlbmQgb2YgMjAxMC4NCg0KYGBge3J9DQpsaWJyYXJ5KElTTFIyKQ0KZGF0YShXZWVrbHkpDQpgYGANCg0KIyMgKGEpDQoNCj4gUHJvZHVjZSBzb21lIG51bWVyaWNhbCBhbmQgZ3JhcGhpY2FsIHN1bW1hcmllcyBvZiB0aGUgV2Vla2x5IGRhdGEuIERvIHRoZXJlIGFwcGVhciB0byBiZSBhbnkgcGF0dGVybnM/DQoNCmBgYHtyfQ0Kc3VtbWFyeShXZWVrbHkpDQpjb3IoV2Vla2x5WywgLTldKQ0KdGFibGUoV2Vla2x5JERpcmVjdGlvbikNCg0KcGFpcnMoV2Vla2x5KQ0KYGBgDQoNCmBgYHtyfQ0KcGxvdChXZWVrbHkkVm9sdW1lLCB0eXBlID0gImwiLCB4bGFiID0gIldlZWsgKDE5OTAtMjAxMCkiLCB5bGFiID0gIlZvbHVtZSIpDQpgYGANCg0KT3ZlcmFsbCwgdGhlZSBpcyBhbiB1cHdhcmQgdHJlbmQgaW4gdGhlIHRyYWRpbmcgdm9sdW1lIG92ZXIgdGhlIHllYXJzLA0Kd2hpY2ggaXMgbm90IGluZGljYXRpdmUgb2YgYSBsaW5lYXIgcmVsYXRpb25zaGlwLiBUaGlzIGlzIGV4cGxhaW5lZCBhcw0KdGhlcmUgaXMgYSBwb3NpdGl2ZSBjb3JyZWxhdGlvbiBiZXR3ZWVuIHZvbHVtZSBhbmQgeWVhciBvZiAwLjg0Lg0KDQojIyAoYikNCg0KPiBVc2UgdGhlIGZ1bGwgZGF0YSBzZXQgdG8gcGVyZm9ybSBhIGxvZ2lzdGljIHJlZ3Jlc3Npb24gd2l0aCBEaXJlY3Rpb24gYXMgdGhlIHJlc3BvbnNlIGFuZCB0aGUgZml2ZSBsYWcgdmFyaWFibGVzIHBsdXMgVm9sdW1lIGFzIHByZWRpY3RvcnMuIFVzZSB0aGUgc3VtbWFyeSBmdW5jdGlvbiB0byBwcmludCB0aGUgcmVzdWx0cy4gRG8gYW55IG9mIHRoZSBwcmVkaWN0b3JzIGFwcGVhciB0byBiZSBzdGF0aXN0aWNhbGx5IHNpZ25pZmljYW50PyBJZiBzbywgd2hpY2ggb25lcz8NCg0KYGBge3J9DQpnbG0uZml0IDwtIGdsbShEaXJlY3Rpb24gfiBMYWcxICsgTGFnMiArIExhZzMgKyBMYWc0ICsgTGFnNSArIFZvbHVtZSwgZGF0YSA9IFdlZWtseSwNCiAgICAgICAgICAgICAgZmFtaWx5ID0gYmlub21pYWwpDQoNCnN1bW1hcnkoZ2xtLmZpdCkNCmBgYA0KDQpUaGUgb25seSBzaWduaWZpY2FudCBwcmVkaWN0b3IgaXMgTGFnMiwgd2l0aCBhIHAgdmFsdWUgaXMgMC4wMjk2IDwgMC4wNS4gVGhlcmUgaXMgYSBzbGlnaHQgaGlnaGVyIGNoYW5jZSB0aGF0IHRoZXJlIGlzIGFuIHVwd2FyZCB0cmVuZCBpZiB0aGVyZSB3YXMgYSBsYXJnZXIgcmV0dXJuIHR3byB3ZWVrcyBhZ28uDQoNCg0KIyMgKGMpIA0KDQo+IENvbXB1dGUgdGhlIGNvbmZ1c2lvbiBtYXRyaXggYW5kIG92ZXJhbGwgZnJhY3Rpb24gb2YgY29ycmVjdCBwcmVkaWN0aW9ucy4gRXhwbGFpbiB3aGF0IHRoZSBjb25mdXNpb24gbWF0cml4IGlzIHRlbGxpbmcgeW91IGFib3V0IHRoZSB0eXBlcyBvZiBtaXN0YWtlcyBtYWRlIGJ5IGxvZ2lzdGljIHJlZ3Jlc3Npb24uDQoNCmBgYHtyfQ0KZ2xtLnByb2JzIDwtIHByZWRpY3QoZ2xtLmZpdCwgdHlwZSA9ICJyZXNwb25zZSIpDQpnbG0ucHJlZCAgPC0gcmVwKCJEb3duIiwgbnJvdyhXZWVrbHkpKQ0KZ2xtLnByZWRbZ2xtLnByb2JzID4gMC41XSA8LSAiVXAiDQpgYGANCg0KDQpgYGB7cn0NCnRhYmxlKGdsbS5wcmVkLCBXZWVrbHkkRGlyZWN0aW9uKQ0KbWVhbihnbG0ucHJlZCA9PSBXZWVrbHkkRGlyZWN0aW9uKSANCmBgYA0KDQpUaGUgY29uZnVzaW9uIG1hdHJpeCBzaG93cyB0aGF0IHRoZSBtb2RlbCBwcmVkaWN0cyBVcCBmb3IgOTg3IG9mIHRoZSAxMDg5IHdlZWtzLiBIb3dldmVyLCB0aGUgbW9kZWwgaGFzIGFuIGFjY3VyYWN5IG9mIDU2LjElIHNpbmNlIHRoZSBsb2dpY3RpYyByZWdyZXNzaW9uIGNvcnJlY3RseSBjbGFzc2lmaWVzIDYxMSBvZiB0aGUgMTA4OSB3ZWVrcyB3aGVyZSAoNTQrNTU3KS8xMDg5ID0gNjExIGFzIHRoZXJlIGFyZSBmYWxsIFVwIHByZWRpY3Rpb25zLiANCg0KDQojIyAoZCkgDQoNCj4gTm93IGZpdCB0aGUgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCB1c2luZyBhIHRyYWluaW5nIGRhdGEgcGVyaW9kIGZyb20gMTk5MCB0byAyMDA4LCB3aXRoIExhZzIgYXMgdGhlIG9ubHkgcHJlZGljdG9yLiBDb21wdXRlIHRoZSBjb25mdXNpb24gbWF0cml4IGFuZCB0aGUgb3ZlcmFsbCBmcmFjdGlvbiBvZiBjb3JyZWN0IHByZWRpY3Rpb25zIGZvciB0aGUgaGVsZCBvdXQgZGF0YSAodGhhdCBpcywgdGhlIGRhdGEgZnJvbSAyMDA5IGFuZCAyMDEwKS4NCg0KYGBge3J9DQp0cmFpbiA8LSBXZWVrbHkkWWVhciA8PSAyMDA4DQpXZWVrbHkudGVzdCA8LSBXZWVrbHlbIXRyYWluLCBdDQpEaXJlY3Rpb24udGVzdCA8LSBXZWVrbHkkRGlyZWN0aW9uWyF0cmFpbl0NCg0KIyBsYWcyIGFzIG9ubHkgcHJlZGljdG9yDQpnbG0uZml0IDwtIGdsbShEaXJlY3Rpb24gfiBMYWcyLCBkYXRhID0gV2Vla2x5LCBmYW1pbHkgPSBiaW5vbWlhbCwNCiAgICAgICAgICAgICAgIHN1YnNldCA9IHRyYWluKQ0KDQojIGRhdGEgZnJvbSAyMDA5IGFuZCAyMDEwDQpnbG0ucHJvYnMgPC0gcHJlZGljdChnbG0uZml0LCBXZWVrbHkudGVzdCwgdHlwZSA9ICJyZXNwb25zZSIpDQpnbG0ucHJlZCAgPC0gcmVwKCJEb3duIiwgbnJvdyhXZWVrbHkudGVzdCkpDQpnbG0ucHJlZFtnbG0ucHJvYnMgPiAwLjVdIDwtICJVcCINCg0KdGFibGUoZ2xtLnByZWQsIERpcmVjdGlvbi50ZXN0KQ0KbWVhbihnbG0ucHJlZCA9PSBEaXJlY3Rpb24udGVzdCkNCmBgYA0KDQoNCiMjIChlKSANCg0KPlJlcGVhdCAoZCkgdXNpbmcgTERBLg0KDQpgYGB7cn0NCmxpYnJhcnkoTUFTUykNCg0KbGRhLmZpdCA8LSBsZGEoRGlyZWN0aW9uIH4gTGFnMiwgZGF0YSA9IFdlZWtseSwgc3Vic2V0ID0gdHJhaW4pDQoNCmxkYS5wcmVkICA8LSBwcmVkaWN0KGxkYS5maXQsIFdlZWtseS50ZXN0KQ0KbGRhLmNsYXNzIDwtIGxkYS5wcmVkJGNsYXNzDQoNCnRhYmxlKGxkYS5jbGFzcywgRGlyZWN0aW9uLnRlc3QpDQptZWFuKGxkYS5jbGFzcyA9PSBEaXJlY3Rpb24udGVzdCkNCmBgYA0KDQoNCiMjIChmKSANCg0KPiBSZXBlYXQgKGQpIHVzaW5nIFFEQS4NCg0KYGBge3J9DQpxZGEuZml0IDwtIHFkYShEaXJlY3Rpb24gfiBMYWcyLCBkYXRhID0gV2Vla2x5LCBzdWJzZXQgPSB0cmFpbikNCg0KcWRhLmNsYXNzIDwtIHByZWRpY3QocWRhLmZpdCwgV2Vla2x5LnRlc3QpJGNsYXNzDQoNCnRhYmxlKHFkYS5jbGFzcywgRGlyZWN0aW9uLnRlc3QpDQptZWFuKHFkYS5jbGFzcyA9PSBEaXJlY3Rpb24udGVzdCkNCmBgYA0KDQoNCg0KIyMgKGcpIA0KDQo+IFJlcGVhdCAoZCkgdXNpbmcgS05OIHdpdGggSyA9IDEuDQoNCmBgYHtyfQ0KbGlicmFyeShjbGFzcykNCnRyYWluLlggPC0gYXMubWF0cml4KFdlZWtseSRMYWcyW3RyYWluXSkNCnRlc3QuWCAgPC0gYXMubWF0cml4KFdlZWtseSRMYWcyWyF0cmFpbl0pDQp0cmFpbi5EaXJlY3Rpb24gPC0gV2Vla2x5JERpcmVjdGlvblt0cmFpbl0NCg0Kc2V0LnNlZWQoMjQwKQ0Ka25uLnByZWQgPC0ga25uKHRyYWluLlgsIHRlc3QuWCwgdHJhaW4uRGlyZWN0aW9uLCBrID0gMSkNCg0KdGFibGUoa25uLnByZWQsIERpcmVjdGlvbi50ZXN0KQ0KbWVhbihrbm4ucHJlZCA9PSBEaXJlY3Rpb24udGVzdCkNCmBgYA0KDQoNCiMjIChoKSANCg0KPiBSZXBlYXQgKGQpIHVzaW5nIG5haXZlIEJheWVzLg0KDQpgYGB7cn0NCmxpYnJhcnkoZTEwNzEpDQoNCm5iLmZpdCA8LSBuYWl2ZUJheWVzKERpcmVjdGlvbiB+IExhZzIsIGRhdGEgPSBXZWVrbHksIHN1YnNldCA9IHRyYWluKQ0KDQpuYi5jbGFzcyA8LSBwcmVkaWN0KG5iLmZpdCwgV2Vla2x5LnRlc3QpDQoNCnRhYmxlKG5iLmNsYXNzLCBEaXJlY3Rpb24udGVzdCkNCm1lYW4obmIuY2xhc3MgPT0gRGlyZWN0aW9uLnRlc3QpDQpgYGANCg0KDQojIyAoaSkgDQoNCj4gV2hpY2ggb2YgdGhlc2UgbWV0aG9kcyBhcHBlYXJzIHRvIHByb3ZpZGUgdGhlIGJlc3QgcmVzdWx0cyBvbiB0aGlzIGRhdGE/DQoNCk91dCBvZiB0aGUgZml2ZSBtZXRob2RzLCBsb2dpc3RpYyByZWdyZXNzaW9uIGFuZCBMREEgaGF2ZSB0aGUgYmVzdCByZXN1bHRzLCBib3RoIGF0IDYyLjUlIHNpbmNlIExhZzIgYXMgYSBwcmVkaWN0b3IgaXMgb25seSBzbGlnaHRseSBzaWduaWZpY2FudCBhbmQgY29udHJpYnV0ZXMgdG8gYmlhcy12YXJpYW5jZS4gDQoNCiMjIChqKSANCg0KPiBFeHBlcmltZW50IHdpdGggZGlmZmVyZW50IGNvbWJpbmF0aW9ucyBvZiBwcmVkaWN0b3JzLCBpbmNsdWRpbmcgcG9zc2libGUgdHJhbnNmb3JtYXRpb25zIGFuZCBpbnRlcmFjdGlvbnMsIGZvciBlYWNoIG9mIHRoZSBtZXRob2RzLiBSZXBvcnQgdGhlIHZhcmlhYmxlcywgbWV0aG9kLCBhbmQgYXNzb2NpYXRlZCBjb25mdXNpb24gbWF0cml4IHRoYXQgYXBwZWFycyB0byBwcm92aWRlIHRoZSBiZXN0IHJlc3VsdHMgb24gdGhlIGhlbGQgb3V0IGRhdGEuIE5vdGUgdGhhdCB5b3Ugc2hvdWxkIGFsc28gZXhwZXJpbWVudCB3aXRoIHZhbHVlcyBmb3IgSyBpbiB0aGUgS05OIGNsYXNzaWZpZXIuDQoNCmBgYHtyfQ0KdHJhaW4gPC0gV2Vla2x5JFllYXIgPD0gMjAwOA0KDQpYIDwtIGNiaW5kKExhZzIgPSBXZWVrbHkkTGFnMiwgTGFnMUxhZzIgPSBXZWVrbHkkTGFnMSAqIFdlZWtseSRMYWcyKQ0KWCA8LSBzY2FsZShYKQ0KDQp0cmFpbi5YIDwtIFhbdHJhaW4sIF0NCnRlc3QuWCAgPC0gWFshdHJhaW4sIF0NCnRyYWluLkRpcmVjdGlvbiA8LSBXZWVrbHkkRGlyZWN0aW9uW3RyYWluXQ0KRGlyZWN0aW9uLnRlc3QgIDwtIFdlZWtseSREaXJlY3Rpb25bIXRyYWluXQ0KDQpzZXQuc2VlZCgyNDApDQprbm4ucHJlZCA8LSBrbm4odHJhaW4uWCwgdGVzdC5YLCB0cmFpbi5EaXJlY3Rpb24sIGsgPSAxMDApDQp0YWJsZShrbm4ucHJlZCwgRGlyZWN0aW9uLnRlc3QpDQptZWFuKGtubi5wcmVkID09IERpcmVjdGlvbi50ZXN0KQ0KYGBgDQpCeSB1c2luZyBMYWcyIGFuZCB0aGUgaW50ZXJhY3Rpb24gYmV0d2VlbiBMYWcxIGFuZCBMYWcyLCB0aGVyZSBpcyB2ZXJ5IG1pbmltYWwgIGRpZmZlcmVuY2UgYmV0d2VlbiA2Mi41JSAobG9naXN0aWMgcmVncmVzc2lvbiB1c2luZyBvbmx5IExhZzIpIGFuZCA2My41JSB3aXRoIG9ubHkgYW4gYWRkaXRpb25hbCB3ZWVrIHdoZW4gdXNpbmcgS05OLiBUaGUgcHJlZGljdG9yIExhZzIgaXMgdG9vIHdlYWsgdG8gdmFzdGx5IGltcHJvdmUgdGhlIG1vZGVsLiANCg0KIyBRdWVzdGlvbiAxNA0KDQpJbiB0aGlzIHByb2JsZW0sIHlvdSB3aWxsIGRldmVsb3AgYSBtb2RlbCB0byBwcmVkaWN0IHdoZXRoZXIgYSBnaXZlbiBjYXIgZ2V0cyBoaWdoIG9yIGxvdyBnYXMgbWlsZWFnZSBiYXNlZCBvbiB0aGUgQXV0byBkYXRhIHNldC4NCg0KDQoNCiMjIChhKSANCg0KPiBDcmVhdGUgYSBiaW5hcnkgdmFyaWFibGUsIG1wZzAxLCB0aGF0IGNvbnRhaW5zIGEgMSBpZiBtcGcgY29udGFpbnMgYSB2YWx1ZSBhYm92ZSBpdHMgbWVkaWFuLCBhbmQgYSAwIGlmIG1wZyBjb250YWlucyBhIHZhbHVlIGJlbG93IGl0cyBtZWRpYW4uIFlvdSBjYW4gY29tcHV0ZSB0aGUgbWVkaWFuIHVzaW5nIHRoZSBtZWRpYW4oKSBmdW5jdGlvbi4gTm90ZSB5b3UgbWF5IGZpbmQgaXQgaGVscGZ1bCB0byB1c2UgdGhlIGRhdGEuZnJhbWUoKSBmdW5jdGlvbiB0byBjcmVhdGUgYSBzaW5nbGUgZGF0YSBzZXQgY29udGFpbmluZyBib3RoIG1wZzAxIGFuZCB0aGUgb3RoZXIgQXV0byB2YXJpYWJsZXMuDQoNCmBgYHtyfQ0KZGF0YShBdXRvKQ0KDQojIHByaW50cyBtZWRpYW4NCm1lZF9tcGcgPC0gbWVkaWFuKEF1dG8kbXBnKQ0KcHJpbnQobWVkX21wZykNCg0KIyBhc3NpZ25zIDEgb3IgMCBpZiBvdmVyIG9yIHVuZGVyIG1lZGlhbg0KbXBnMDEgPC0gaWZlbHNlKEF1dG8kbXBnID4gbWVkaWFuKEF1dG8kbXBnKSwgMSwgMCkNCkF1dG8yIDwtIGRhdGEuZnJhbWUobXBnMDEgPSBmYWN0b3IobXBnMDEpLCBBdXRvKQ0KDQpoZWFkKEF1dG8yKQ0KdGFibGUobXBnMDEpDQpgYGANCg0KVGhlIHJlc3VsdCBpcyBiYWxhbmNlZCB3aGVyZSB0aGVyZSBhcmUgMTk2IHZhcmlhYmxlcyB0aGF0IGFyZSBvdmVyIHRoZSBtZWRpYW4gb2YgMjIuNzUgbXBnIGFuZCAxOTYgdGhhdCBhcmUgdW5kZXIgMjIuNzUgbXBnLg0KDQoNCiMjIChiKSANCg0KPiBFeHBsb3JlIHRoZSBkYXRhIGdyYXBoaWNhbGx5IGluIG9yZGVyIHRvIGludmVzdGlnYXRlIHRoZSBhc3NvY2lhdGlvbiBiZXR3ZWVuIG1wZzAxIGFuZCB0aGUgb3RoZXIgZmVhdHVyZXMuIFdoaWNoIG9mIHRoZSBvdGhlciBmZWF0dXJlcyBzZWVtIG1vc3QgbGlrZWx5IHRvIGJlIHVzZWZ1bCBpbiBwcmVkaWN0aW5nIG1wZzAxPyBTY2F0dGVycGxvdHMgYW5kIGJveHBsb3RzIG1heSBiZSB1c2VmdWwgdG9vbHMgdG8gYW5zd2VyIHRoaXMgcXVlc3Rpb24uIERlc2NyaWJlIHlvdXIgZmluZGluZ3MuDQoNCmBgYHtyfQ0KcGFyKG1mcm93ID0gYygyLCAzKSkNCmJveHBsb3QoZGlzcGxhY2VtZW50IH4gbXBnMDEsIGRhdGEgPSBBdXRvMiwgeGxhYiA9ICJtcGcwMSIsIHlsYWIgPSAiZGlzcGxhY2VtZW50IikNCmJveHBsb3QoaG9yc2Vwb3dlciAgIH4gbXBnMDEsIGRhdGEgPSBBdXRvMiwgeGxhYiA9ICJtcGcwMSIsIHlsYWIgPSAiaG9yc2Vwb3dlciIpDQpib3hwbG90KHdlaWdodCAgICAgICB+IG1wZzAxLCBkYXRhID0gQXV0bzIsIHhsYWIgPSAibXBnMDEiLCB5bGFiID0gIndlaWdodCIpDQpib3hwbG90KGFjY2VsZXJhdGlvbiB+IG1wZzAxLCBkYXRhID0gQXV0bzIsIHhsYWIgPSAibXBnMDEiLCB5bGFiID0gImFjY2VsZXJhdGlvbiIpDQpib3hwbG90KHllYXIgICAgICAgICB+IG1wZzAxLCBkYXRhID0gQXV0bzIsIHhsYWIgPSAibXBnMDEiLCB5bGFiID0gInllYXIiKQ0KYm94cGxvdChjeWxpbmRlcnMgICAgfiBtcGcwMSwgZGF0YSA9IEF1dG8yLCB4bGFiID0gIm1wZzAxIiwgeWxhYiA9ICJjeWxpbmRlcnMiKQ0KcGFyKG1mcm93ID0gYygxLCAxKSkgICAgDQpgYGANCmBgYHtyfQ0KDQojIHdoZXJlIGJsdWUgaXMgbXBnMDEgPSAxLCBhbmQgcmVkIGlzIG1wZzAxID0gMA0KcGFpcnMoQXV0bzJbLCBjKCJkaXNwbGFjZW1lbnQiLCJob3JzZXBvd2VyIiwid2VpZ2h0IiwiYWNjZWxlcmF0aW9uIildLCANCiAgICAgIGNvbCA9IGlmZWxzZShtcGcwMSA9PSAxLCAiYmx1ZSIsICJyZWQiKSkNCmBgYA0KDQpgYGB7cn0NCmNvcihBdXRvMlssIGMoIm1wZzAxIiwiY3lsaW5kZXJzIiwiZGlzcGxhY2VtZW50IiwiaG9yc2Vwb3dlciIsIndlaWdodCIsICJhY2NlbGVyYXRpb24iLCJ5ZWFyIiwib3JpZ2luIildKVssIm1wZzAxIl0NCmBgYA0KDQpPdGhlciBmYWN0b3JzLCBzdWNoIGFzIGN5bGluZGVycywgZGlzcGxhY2VtZW50LCBob3JzZXBvd2VyLCBhbmQgd2VpZ2h0IGhhdmUgYSByZWxhdGlvbnNoaXAgd2l0aCBtcGcwMS4gVGhlcmUgaXMgYSBuZWdhdGl2ZSBjb3JyZWxhdGlvbiBmcm9tIC0wLjY3IGFuZCAtMC43NiwgaW5kaWNhdGluZyB0aGF0IGNhcnMgdGhhdCBhcmUgbGlnaHRlciwgaGF2ZSBmZXdlciBjeWxpbmRlcnMsIGFuZCBob3JzZXBvd2VyLCBoYXZlIGhpZ2hlciBtaWxlYWdlLiANCg0KIyMgKGMpDQoNCj4gIFNwbGl0IHRoZSBkYXRhIGludG8gYSB0cmFpbmluZyBzZXQgYW5kIGEgdGVzdCBzZXQuDQoNCmBgYHtyfQ0KbXBnMDEgPC0gaWZlbHNlKEF1dG8kbXBnID4gbWVkaWFuKEF1dG8kbXBnKSwgMSwgMCkNCkF1dG8yIDwtIGRhdGEuZnJhbWUobXBnMDEgPSBmYWN0b3IobXBnMDEpLCBBdXRvKQ0KDQpzZXQuc2VlZCgyNDApDQpuIDwtIG5yb3coQXV0bzIpDQp0cmFpbiA8LSBzYW1wbGUobiwgc2l6ZSA9IDAuNyAqIG4pDQoNCkF1dG8udHJhaW4gPC0gQXV0bzJbdHJhaW4sIF0NCkF1dG8udGVzdCAgPC0gQXV0bzJbLXRyYWluLCBdDQptcGcwMS50ZXN0IDwtIEF1dG8yJG1wZzAxWy10cmFpbl0NCg0KZGltKEF1dG8udHJhaW4pDQpkaW0oQXV0by50ZXN0KQ0KYGBgDQoyNzQgKyAxMTggPSAzOTIsIHdoaWNoIGlzIHRoZSBmdWxsIHNpemUgb2YgdGhlIEF1dG8gZGF0YXNldC4NCg0KMjc0LzM5MiA9IDAuNjk5IHNvIHRoaXMgaXMgYSA3MC8zMCBzcGxpdC4NCg0KIyMgKGQpIA0KDQo+IFBlcmZvcm0gTERBIG9uIHRoZSB0cmFpbmluZyBkYXRhIGluIG9yZGVyIHRvIHByZWRpY3QgbXBnMDEgdXNpbmcgdGhlIHZhcmlhYmxlcyB0aGF0IHNlZW1lZCBtb3N0IGFzc29jaWF0ZWQgd2l0aCBtcGcwMSBpbiAoYikuIFdoYXQgaXMgdGhlIHRlc3QgZXJyb3Igb2YgdGhlIG1vZGVsIG9idGFpbmVkPw0KDQpgYGB7cn0NCiMgcHJlZGljdG9ycyBmcm9tIG1wZzAxIGluIHBhcnQgKGIpDQpsZGEuZml0IDwtIGxkYShtcGcwMSB+IGN5bGluZGVycyArIGRpc3BsYWNlbWVudCArIGhvcnNlcG93ZXIgKyB3ZWlnaHQsDQogICAgICAgICAgICAgICBkYXRhID0gQXV0by50cmFpbikNCg0KbGRhLnByZWQgIDwtIHByZWRpY3QobGRhLmZpdCwgQXV0by50ZXN0KQ0KbGRhLmNsYXNzIDwtIGxkYS5wcmVkJGNsYXNzDQoNCnRhYmxlKGxkYS5jbGFzcywgbXBnMDEudGVzdCkNCm1lYW4obGRhLmNsYXNzICE9IG1wZzAxLnRlc3QpDQpgYGANCg0KVGhlcmUgaXMgYSB0ZXN0IGVycm9yIG9mIDExJSB1c2luZyB0aGUgcHJlZGljdG9ycyBvZiBjeWxpbmRlcnMsIGRpc3BsYWNlbWVudCwgaG9yc2Vwb3dlciwgYW5kIHdlaWdodCwgbWVhbmluZyB0aGF0IHRoZXJlIGlzIGFyb3VuZCA5MCUgYWNjdXJhY3kgd2hlbiBhcHBseWluZyBhIGZpdHRlZCBtb2RlbC4gIEVuZ2luZSBhbmQgc2l6ZSB2YXJpYWJsZXMgb2ZmZXIgYSBjbGVhbiBzZXBhcmF0aW9uIG9mIHRoZSBoaWdoIGFuZCBsb3cgbWlsZWFnZSBjYXJzLg0KDQojIyAoZSkgDQoNCj4gUGVyZm9ybSBRREEgb24gdGhlIHRyYWluaW5nIGRhdGEgaW4gb3JkZXIgdG8gcHJlZGljdCBtcGcwMSB1c2luZyB0aGUgdmFyaWFibGVzIHRoYXQgc2VlbWVkIG1vc3QgYXNzb2NpYXRlZCB3aXRoIG1wZzAxIGluIChiKS4gV2hhdCBpcyB0aGUgdGVzdCBlcnJvciBvZiB0aGUgbW9kZWwgb2J0YWluZWQ/DQoNCmBgYHtyfQ0KcWRhLmZpdCA8LSBxZGEobXBnMDEgfiBjeWxpbmRlcnMgKyBkaXNwbGFjZW1lbnQgKyBob3JzZXBvd2VyICsgd2VpZ2h0LCBkYXRhID0gQXV0by50cmFpbikNCg0KcWRhLmNsYXNzIDwtIHByZWRpY3QocWRhLmZpdCwgQXV0by50ZXN0KSRjbGFzcw0KDQp0YWJsZShxZGEuY2xhc3MsIG1wZzAxLnRlc3QpDQptZWFuKHFkYS5jbGFzcyAhPSBtcGcwMS50ZXN0KQ0KYGBgDQpRREEgcGVyZm9ybWVkIHRoZSBzYW1lIGFzIExEQSB3aXRoIGFuIGVycm9yIG9mIDExJSwgbWVhbmluZyB0aGF0IHRoZXJlIGlzIGEgbmVhciA5MCUgYWNjdXJhY3kuIA0KDQojIyAoZikgDQoNCj4gUGVyZm9ybSBsb2dpc3RpYyByZWdyZXNzaW9uIG9uIHRoZSB0cmFpbmluZyBkYXRhIGluIG9yZGVyIHRvIHByZWRpY3QgbXBnMDEgdXNpbmcgdGhlIHZhcmlhYmxlcyB0aGF0IHNlZW1lZCBtb3N0IGFzc29jaWF0ZWQgd2l0aCBtcGcwMSBpbiAoYikuIFdoYXQgaXMgdGhlIHRlc3QgZXJyb3Igb2YgdGhlIG1vZGVsIG9idGFpbmVkPw0KDQpgYGB7cn0NCmdsbS5maXQgPC0gZ2xtKG1wZzAxIH4gY3lsaW5kZXJzICsgZGlzcGxhY2VtZW50ICsgaG9yc2Vwb3dlciArIHdlaWdodCwgZGF0YSA9IEF1dG8udHJhaW4sIGZhbWlseSA9IGJpbm9taWFsKQ0KDQpnbG0ucHJvYnMgPC0gcHJlZGljdChnbG0uZml0LCBBdXRvLnRlc3QsIHR5cGUgPSAicmVzcG9uc2UiKQ0KZ2xtLnByZWQgIDwtIHJlcCgwLCBucm93KEF1dG8udGVzdCkpDQpnbG0ucHJlZFtnbG0ucHJvYnMgPiAwLjVdIDwtIDENCg0KdGFibGUoZ2xtLnByZWQsIG1wZzAxLnRlc3QpDQptZWFuKGdsbS5wcmVkICE9IG1wZzAxLnRlc3QpDQpgYGANClRoZSB0ZXN0IGVycm9yIGlzIG5vdyBhdCAxMiUgY29tcGFyZWQgdG8gdGhlIDExJSBvYnRhaW5lZCBmcm9tIExEQSBhbmQgUURBLCBzbyB0aGVyZSBpcyBub3cgODklIGFjY3VyYWN5LiBCdXQgb3ZlcmFsbCwgYWxsIHRocmVlIG1ldGhvZHMgYXJlIGFsbW9zdCBpZGVudGljYWwgYW5kIGluZGljYXRlcyB0aGVyZSBpcyBhIGNsZWFyIGJvdW5kYXJ5IHNlcGFyYXRpbmcgaGlnaCBhbmQgbG93IG1wZyBmb3IgdGhlIEF1dG8gZGF0YXNldC4NCg0KIyMgKGcpIA0KDQo+IFBlcmZvcm0gbmFpdmUgQmF5ZXMgb24gdGhlIHRyYWluaW5nIGRhdGEgaW4gb3JkZXIgdG8gcHJlZGljdCBtcGcwMSB1c2luZyB0aGUgdmFyaWFibGVzIHRoYXQgc2VlbWVkIG1vc3QgYXNzb2NpYXRlZCB3aXRoIG1wZzAxIGluIChiKS4gV2hhdCBpcyB0aGUgdGVzdCBlcnJvciBvZiB0aGUgbW9kZWwgb2J0YWluZWQ/DQoNCmBgYHtyfQ0KbmIuZml0IDwtIG5haXZlQmF5ZXMobXBnMDEgfiBjeWxpbmRlcnMgKyBkaXNwbGFjZW1lbnQgKyBob3JzZXBvd2VyICsgd2VpZ2h0LCBkYXRhID0gQXV0by50cmFpbikNCg0KbmIuY2xhc3MgPC0gcHJlZGljdChuYi5maXQsIEF1dG8udGVzdCkNCg0KDQp0YWJsZShuYi5jbGFzcywgbXBnMDEudGVzdCkNCm1lYW4obmIuY2xhc3MgIT0gbXBnMDEudGVzdCkNCmBgYA0KVGhlIE5haXZlIEJheWVzIG1vZGVsIGlzIHRoZSBzYW1lIHJlc3VsdCBhcyB0aGUgbG9naXN0aWMgcmVncmVzc2lvbiBvZiAxMiUgdGVzdCBlcnJvciB3aXRoIDg5JSBhY2N1cmFjeS4gDQoNCiMjIChoKSANCg0KPiBQZXJmb3JtIEtOTiBvbiB0aGUgdHJhaW5pbmcgZGF0YSwgd2l0aCBzZXZlcmFsIHZhbHVlcyBvZiBLLCBpbiBvcmRlciB0byBwcmVkaWN0IG1wZzAxLiBVc2Ugb25seSB0aGUgdmFyaWFibGVzIHRoYXQgc2VlbWVkIG1vc3QgYXNzb2NpYXRlZCB3aXRoIG1wZzAxIGluIChiKS4gV2hhdCB0ZXN0IGVycm9ycyBkbyB5b3Ugb2J0YWluPyBXaGljaCB2YWx1ZSBvZiBLIHNlZW1zIHRvIHBlcmZvcm0gdGhlIGJlc3Qgb24gdGhpcyBkYXRhIHNldD8NCg0KYGBge3J9DQp2YXJzIDwtIGMoImN5bGluZGVycyIsICJkaXNwbGFjZW1lbnQiLCAiaG9yc2Vwb3dlciIsICJ3ZWlnaHQiKQ0KWCA8LSBzY2FsZShBdXRvMlssIHZhcnNdKQ0KDQp0cmFpbi5YIDwtIFhbdHJhaW4sIF0NCnRlc3QuWCAgPC0gWFstdHJhaW4sIF0NCnRyYWluLm1wZzAxIDwtIEF1dG8yJG1wZzAxW3RyYWluXQ0KDQpzZXQuc2VlZCgxKQ0KZm9yIChrIGluIGMoMSwgMywgNSwgNywgMTAsIDE1LCAyMCwgNTAsIDEwMCkpIHsNCiAga25uLnByZWQgPC0ga25uKHRyYWluLlgsIHRlc3QuWCwgdHJhaW4ubXBnMDEsIGsgPSBrKQ0KICBjYXQoIksgPSIsIGssICIgdGVzdCBlcnJvciA9Iiwgcm91bmQobWVhbihrbm4ucHJlZCAhPSBtcGcwMS50ZXN0KSwgNCksICJcbiIpfQ0KYGBgDQpLID0gMyBwZXJmb3JtcyB0aGUgYmVzdCBhcyB0aGVyZSBpcyBhIHRlc3QgZXJyb3Igb2YgMTEuMDIlIGFuZCBhcm91bmQgODklIGFjY3VyYWN5LiBVc2luZyBhIHZlcnkgc21hbGwgSyBvZiAxIG92ZXIgZml0cywgd2hpbGUgdXNpbmcgYSB2ZXJ5IGxhcmdlIEsgb2YgMTAwIHVuZGVyIGZpdHMuIEsgb2YgNSAtIDUwIGhhdmUgdGhlIHNhbWUgdGVzdCBlcnJvciwgYnV0IEsgPSAzIGlzIG1vcmUgYWNjdXJhdGUuIA0KDQojIyBRdWVzdGlvbiAxNg0KDQo+IFVzaW5nIHRoZSBCb3N0b24gZGF0YSBzZXQsIGZpdCBjbGFzc2lmaWNhdGlvbiBtb2RlbHMgaW4gb3JkZXIgdG8gcHJlZGljdCB3aGV0aGVyIGEgZ2l2ZW4gY2Vuc3VzIHRyYWN0IGhhcyBhIGNyaW1lIHJhdGUgYWJvdmUgb3IgYmVsb3cgdGhlIG1lZGlhbi4gRXhwbG9yZSBsb2dpc3RpYyByZWdyZXNzaW9uLCBMREEsIG5haXZlIEJheWVzLCBhbmQgS05OIG1vZGVscyB1c2luZyB2YXJpb3VzIHN1YnNldHMgb2YgdGhlIHByZWRpY3RvcnMuIERlc2NyaWJlIHlvdXIgZmluZGluZ3MuIEhpbnQ6IFlvdSB3aWxsIGhhdmUgdG8gY3JlYXRlIHRoZSByZXNwb25zZSB2YXJpYWJsZSB5b3Vyc2VsZiwgdXNpbmcgdGhlIHZhcmlhYmxlcyB0aGF0IGFyZSBjb250YWluZWQgaW4gdGhlIEJvc3RvbiBkYXRhIHNldC4NCg0KDQpgYGB7cn0NCmRhdGEoQm9zdG9uKQ0KY3JpbTAxIDwtIGlmZWxzZShCb3N0b24kY3JpbSA+IG1lZGlhbihCb3N0b24kY3JpbSksIDEsIDApDQpCb3N0b24yIDwtIGRhdGEuZnJhbWUoY3JpbTAxID0gZmFjdG9yKGNyaW0wMSksIEJvc3RvbikNCg0KIyBjb3JyZWxhdGlvbg0KY29yKGRhdGEuZnJhbWUoY3JpbTAxLCBCb3N0b25bLCAtMV0pKVssICJjcmltMDEiXQ0KYGBgDQoNCmBgYHtyfQ0KIyB0cmFpbiBhbmQgdGVzdCBzcGxpdA0Kc2V0LnNlZWQoMjQwKQ0KbiA8LSBucm93KEJvc3RvbjIpDQp0cmFpbiA8LSBzYW1wbGUobiwgMC43ICogbikNCkJvc3Rvbi50cmFpbiA8LSBCb3N0b24yW3RyYWluLCBdDQpCb3N0b24udGVzdCAgPC0gQm9zdG9uMlstdHJhaW4sIF0NCmNyaW0wMS50ZXN0ICA8LSBCb3N0b24yJGNyaW0wMVstdHJhaW5dDQpgYGANCg0KDQpgYGB7cn0NCiMgbG9naXN0aWMgcmVncmVzc2lvbg0KZ2xtLmZpdCAgPC0gZ2xtKGNyaW0wMSB+IG5veCArIHJhZCArIGRpcyArIGFnZSArIHRheCArIGluZHVzLCBkYXRhID0gQm9zdG9uLnRyYWluLCBmYW1pbHkgPSBiaW5vbWlhbCkNCmdsbS5wcm9iIDwtIHByZWRpY3QoZ2xtLmZpdCwgQm9zdG9uLnRlc3QsIHR5cGUgPSAicmVzcG9uc2UiKQ0KZ2xtLnByZWQgPC0gaWZlbHNlKGdsbS5wcm9iID4gMC41LCAxLCAwKQ0KbWVhbihnbG0ucHJlZCAhPSBjcmltMDEudGVzdCkNCmBgYA0KDQpgYGB7cn0NCiMgTERBDQpsZGEuZml0IDwtIGxkYShjcmltMDEgfiBub3ggKyByYWQgKyBkaXMgKyBhZ2UgKyB0YXggKyBpbmR1cywgZGF0YSA9IEJvc3Rvbi50cmFpbikNCm1lYW4ocHJlZGljdChsZGEuZml0LCBCb3N0b24udGVzdCkkY2xhc3MgIT0gY3JpbTAxLnRlc3QpDQpgYGANCg0KYGBge3J9DQojIE5haXZlIEJheWVzDQpuYi5maXQgPC0gbmFpdmVCYXllcyhjcmltMDEgfiBub3ggKyByYWQgKyBkaXMgKyBhZ2UgKyB0YXggKyBpbmR1cywgZGF0YSA9IEJvc3Rvbi50cmFpbikNCm1lYW4ocHJlZGljdChuYi5maXQsIEJvc3Rvbi50ZXN0KSAhPSBjcmltMDEudGVzdCkNCmBgYA0KDQpgYGB7cn0NCiMjIEtOTg0KdmFycyA8LSBjKCJub3giLCJyYWQiLCJkaXMiKQ0KWCA8LSBzY2FsZShCb3N0b24yWywgdmFyc10pDQpzZXQuc2VlZCgyNDApDQpmb3IgKGsgaW4gYygxLDMsNSwxMCkpIHsNCiAga25uLnByZWQgPC0ga25uKFhbdHJhaW4sXSwgWFstdHJhaW4sXSwgQm9zdG9uMiRjcmltMDFbdHJhaW5dLCBrID0gaykNCiAgY2F0KCJLTk4gSz0iLGssIiBlcnJvcj0iLCByb3VuZChtZWFuKGtubi5wcmVkICE9IGNyaW0wMS50ZXN0KSw0KSwgIlxuIil9DQpgYGANCg0KS05OIG1vZGVsIGlzIGEgYmV0dGVyIGZpdCBhcyB0aGVyZSBpcyBzaWduaWZpY2FudCBsb3dlciB0ZXN0IGVycm9yIGJ5IHNlcGFyYXRpbmcgdGhlIGhpZ2ggYW5kIGxvdyBjcmltZSB0cmFjdHMgYW1vbmcgYWxsIEsgdmFsdWVzLiBBZGRpdGlvbmFsbHksIHVzaW5nIGZld2VyIGJ1dCBzdHJvbmdlciBwcmVkaWN0b3JzIG1ha2VzIGEgZHJhc3RpYyBkaWZmZXJlbmNlLg0KDQpMb2dpc3RpYyByZWdyZXNzaW9uIGlzIGEgYmV0dGVyIGZpdCBvZiBMREEgd2l0aCBhIHRlc3QgZXJyb3Igb2YgMTElIGNvbXBhcmVkIHRvIGFib3V0IDE2JS4NCg0KTmFpdmUgQmF5ZXMgaGFzIHRoZSB3b3JzdCB0ZXN0IGVycm9yIG9mIGFib3V0IDE4JSBzaW5jZSBpdCBhc3N1bWVzIHRoZSBwcmVkaWN0b3JzIGFyZSBpbmRlcGVuZGVudCBhcyB0aGV5IGFyZSBhY3R1YWxseSB2ZXJ5IGNvcnJlbGF0ZWQgd2l0aCBvbmUgYW5vdGhlci4gDQoNCg==