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