In this assignment, we explore the support vector machine (SVM), an approach for classification that was developed in the computer science community in the 1990s and that has grown in popularity since then. SVMs have been shown to perform well in a variety of settings, and are often considered one of the best “out of the box” classifiers

Problem 5

We have seen that we can fit an SVM with a non-linear kernel in order to perform classification using a non-linear decision boundary. We will now see that we can also obtain a non-linear decision boundary by performing logistic regression using non-linear transformations of the features.

(a) Generate a data set with n = 500 and p = 2, such that the observations belong to two classes with a quadratic decision boundary between them. For instance, you can do this as follows:

library(tidyverse)
set.seed(421)
x1=runif(500) - 0.5 
x2=runif(500) - 0.5
y=as_factor(1*(x1*x1 - x2*x2 > 0))
df<-tibble(x1=x1,
           x2=x2,
           y=y)
df

(b) Plot the observations, colored according to their class labels. Your plot should display X1 on the x-axis, and X2 on the yaxis.

library(plotly)
p<-ggplot(data=df,mapping=aes(x=x1,y=x2,color=y))+
  geom_point() +
  theme_light() +
  theme(legend.position = "none")
ggplotly(p)

(c) Fit a logistic regression model to the data, using X1 and X2 as predictors.

glm_fit = glm(y ~ x1 + x2, family = binomial)
summary(glm_fit)

Call:
glm(formula = y ~ x1 + x2, family = binomial)

Deviance Residuals: 
   Min      1Q  Median      3Q     Max  
-1.278  -1.227   1.089   1.135   1.175  

Coefficients:
            Estimate Std. Error z value Pr(>|z|)
(Intercept)  0.11999    0.08971   1.338    0.181
x1          -0.16881    0.30854  -0.547    0.584
x2          -0.08198    0.31476  -0.260    0.795

(Dispersion parameter for binomial family taken to be 1)

    Null deviance: 691.35  on 499  degrees of freedom
Residual deviance: 690.99  on 497  degrees of freedom
AIC: 696.99

Number of Fisher Scoring iterations: 3

Both variables are not significant for predicting y.

(d) Apply this model to the training data in order to obtain a predicted class label for each training observation. Plot the observations, colored according to the predicted class labels. The decision boundary should be linear.

glm_prob = predict(glm_fit, df, type = "response")
df<-mutate(df, pred = as_factor(ifelse(glm_prob > 0.52, 1, 0)))
q<-ggplot(data=df,mapping=aes(x=x1,y=x2,color=pred))+
  geom_point() +
  theme_light() +
  theme(legend.position = "none")
ggplotly(q)

With the given model and a probability threshold of 0.5, all points are classified to single class and no decision boundary can be shown. So I shifted the probability threshold to 0.52 to show a meaningful decision boundary. This boundary is linear.

(e) Now fit a logistic regression model to the data using non-linear functions of X1 and X2 as predictors (e.g. X21 , X1×X2, log(X2), and so forth).

I’ll use squares, product interaction terms to fit the model.

glm_fit2 = glm(y ~ x1 + x2+ I(x1^2) + I(x2^2) + I(x1 * x2), data = df, family = binomial)
glm.fit: algorithm did not convergeglm.fit: fitted probabilities numerically 0 or 1 occurred

(f) Apply this model to the training data in order to obtain a predicted class label for each training observation. Plot the observations, colored according to the predicted class labels. The decision boundary should be obviously non-linear. If it is not, then repeat (a)-(e) until you come up with an example in which the predicted class labels are obviously non-linear.

glm_prob = predict(glm_fit2, df, type = "response")
df2<-mutate(df, nonlin_pred = as_factor(ifelse(glm_prob > 0.52, 1, 0)))
r<-ggplot(data=df2,mapping=aes(x=x1,y=x2,color=nonlin_pred))+
  geom_point() +
  theme_light() +
  theme(legend.position = "none")
ggplotly(r)

This non-linear decision boundary closely resembles the true decision boundary.

(g) Fit a support vector classifier to the data with X1 and X2 as predictors. Obtain a class prediction for each training observation. Plot the observations, colored according to the predicted class labels.

library(e1071)
svm_fit = svm(y ~ x1 + x2, df, kernel = "linear", cost = 0.1)
df3<-mutate(df, svm_pred = as_factor(predict(svm_fit, df)))
s<-ggplot(data=df3,mapping=aes(x=x1,y=x2,color=svm_pred))+
  geom_point() +
  theme_light() +
  theme(legend.position = "none")
ggplotly(s)

A linear kernel, even with low cost fails to find non-linear decision boundary and classifies all points to a single class.

(h) Fit a SVM using a non-linear kernel to the data. Obtain a class prediction for each training observation. Plot the observations, colored according to the predicted class labels.

svm_fit2 = svm(y ~ x1 + x2, df, gamma = 1)
df4<-mutate(df, svm_pred = as_factor(predict(svm_fit2, df)))
t<-ggplot(data=df4,mapping=aes(x=x1,y=x2,color=svm_pred))+
  geom_point() +
  theme_light() +
  theme(legend.position = "none")
ggplotly(t)

Similar to the non-linear logistic regression model, the non-linear decision boundary on predicted labels closely resembles the true decision boundary.

(i) Comment on your results.
This experiment enforces the idea that SVMs with non-linear kernel are extremely powerful in finding non-linear boundary. Both, logistic regression with non-interactions and SVMs with linear kernels fail to find the decision boundary. Adding interaction terms to logistic regression seems to give them same power as radial-basis kernels. However, there is some manual efforts and tuning involved in picking right interaction terms. This effort can become prohibitive with large number of features. Radial basis kernels, on the other hand, only require tuning of one parameter, gamma, which can be easily done using cross-validation.

Problem 7

In this problem, you will use support vector approaches in order to predict whether a given car gets high or low gas mileage based on the Auto data set.

(a) Create a binary variable that takes on a 1 for cars with gas mileage above the median, and a 0 for cars with gas mileage below the median.

library(ISLR)
auto <- tibble(Auto) %>%
  mutate(mpglevel = as_factor(ifelse(mpg > median(mpg), 1, 0)))
auto

(b) Fit a support vector classifier to the data with various values of cost, in order to predict whether a car gets high or low gas mileage. Report the cross-validation errors associated with different values of this parameter. Comment on your results.

library(e1071)
set.seed(3255)
tune_out = tune(svm, mpglevel ~ . -mpg, data = auto, kernel = "linear", ranges = list(cost = c(0.01, 0.1, 1, 5, 10, 100)))
summary(tune_out)

Parameter tuning of ‘svm’:

- sampling method: 10-fold cross validation 

- best parameters:

- best performance: 0.08923077 

- Detailed performance results:
svm_linear<-tune_out$best.model #save for later

We see that cross-validation error is minimized for cost=1.

(c) Now repeat (b), this time using SVMs with radial and polynomial basis kernels, with different values of gamma and degree and cost. Comment on your results.

set.seed(21)
tune_out = tune(svm, mpglevel ~ . -mpg, data = auto, kernel = "polynomial", ranges = list(cost = c(0.1, 1, 5, 10), degree = c(2, 3, 4)))
summary(tune_out)

Parameter tuning of ‘svm’:

- sampling method: 10-fold cross validation 

- best parameters:

- best performance: 0.5435897 

- Detailed performance results:
svm_poly<-tune_out$best.model #save for later

The lowest cross-validation error is obtained for cost=10 and degree=2.

set.seed(463)
tune_out = tune(svm, mpglevel ~ .-mpg, data = auto, kernel = "radial", ranges = list(cost = c(0.1, 1, 5, 10), gamma = c(0.01, 0.1, 1, 5, 10, 100)))
summary(tune_out)

Parameter tuning of ‘svm’:

- sampling method: 10-fold cross validation 

- best parameters:

- best performance: 0.08160256 

- Detailed performance results:
svm_radial<-tune_out$best.model #save for later

Finally, for radial basis kernel, cost=10 and gamma=0.01.

__(d) Make some plots to back up your assertions in (b) and (c).

svm_linear = svm(mpglevel ~ ., data = auto, kernel = "linear", cost = 1)
svm_poly = svm(mpglevel ~ ., data = auto, kernel = "polynomial", cost = 10, 
    degree = 2)
svm_radial = svm(mpglevel ~ ., data = auto, kernel = "radial", cost = 10, gamma = 0.01)

#plot(svm_linear,auto,mpg~cylinders)
#plot(svm_linear,auto,mpg~displacement)
#plot(svm_linear,auto,mpg~horsepower)
#plot(svm_linear,auto,mpg~weight)
library(RColorBrewer)
plotpairs<-function(fit){
  for(name in names(auto)[!(names(auto)) %in% c("mpg","name","mpglevel")]){
    plot(fit,auto,as.formula(paste("mpg~",name,sep="")))
  }
}
plotpairs(svm_linear)

plotpairs(svm_poly)

plotpairs(svm_radial)

Problem 8

This problem involves the OJ data set which is part of the ISLR package.

(a) Create a training set containing a random sample of 800 observations, and a test set containing the remaining observations.

library(ISLR)
set.seed(9004)
inTrain = sample(nrow(OJ), 800)
train_oj = OJ[inTrain,]
test_oj = OJ[-inTrain,]

(b) Fit a support vector classifier to the training data using cost=0.01, with Purchase as the response and the other variables as predictors. Use the summary() function to produce summary statistics, and describe the results obtained.

library(e1071)
svm_linear = svm(Purchase ~ ., kernel = "linear", data = train_oj, cost = 0.01)
summary(svm_linear)

Call:
svm(formula = Purchase ~ ., data = train_oj, kernel = "linear", 
    cost = 0.01)


Parameters:
   SVM-Type:  C-classification 
 SVM-Kernel:  linear 
       cost:  0.01 

Number of Support Vectors:  442

 ( 222 220 )


Number of Classes:  2 

Levels: 
 CH MM

Support vector classifier creates 442 support vectors out of 800 training points. Out of these, 222 belong to level CH and remaining 220 belong to level MM.

(c) What are the training and test error rates?

train_pred = predict(svm_linear, train_oj)
(t<-table(train_oj$Purchase, train_pred))
    train_pred
      CH  MM
  CH 432  51
  MM  80 237
(train_error=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.16375
test_pred = predict(svm_linear, test_oj)
(t<-table(test_oj$Purchase, test_pred))
    test_pred
      CH  MM
  CH 146  24
  MM  22  78
(test_error=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.1703704

The training error rate is 18% and test error rate is about 20.37%.

(d) Use the tune() function to select an optimal cost. Consider values in the range 0.01 to 10.

set.seed(1554)
tune_out = tune(svm, Purchase ~ ., data = train_oj, kernel = "linear", ranges = list(cost = 10^seq(-2, 1, by = 0.25)))
summary(tune_out)

Parameter tuning of ‘svm’:

- sampling method: 10-fold cross validation 

- best parameters:

- best performance: 0.1625 

- Detailed performance results:
best<-tune_out$best.parameters$cost

Tuning shows that optimal cost is 3.1622777.

(e) Compute the training and test error rates using this new value for cost.

svm_linear = svm(Purchase ~ ., kernel = "linear", data = train_oj, cost = best)
train_pred = predict(svm_linear, train_oj)
(t<-table(train_oj$Purchase, train_pred))
    train_pred
      CH  MM
  CH 428  55
  MM  74 243
(train_error_linear=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.16125
test_pred = predict(svm_linear, test_oj)
(t<-table(test_oj$Purchase, test_pred))
    test_pred
      CH  MM
  CH 146  24
  MM  20  80
(test_error_linear=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.162963

The training error decreases to 16.12% but test error slightly increases to 16.3% by using best cost.

(f) Repeat parts (b) through (e) using a support vector machine with a radial kernel. Use the default value for gamma.

set.seed(410)
svm_radial = svm(Purchase ~ ., kernel = "radial", data = train_oj)
summary(svm_radial)

Call:
svm(formula = Purchase ~ ., data = train_oj, kernel = "radial")


Parameters:
   SVM-Type:  C-classification 
 SVM-Kernel:  radial 
       cost:  1 

Number of Support Vectors:  371

 ( 188 183 )


Number of Classes:  2 

Levels: 
 CH MM
train_pred = predict(svm_radial, train_oj)
(t<-table(train_oj$Purchase, train_pred))
    train_pred
      CH  MM
  CH 441  42
  MM  74 243
(train_error=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.145
test_pred = predict(svm_radial, test_oj)
(t<-table(test_oj$Purchase, test_pred))
    test_pred
      CH  MM
  CH 148  22
  MM  27  73
(test_error=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.1814815

The radial basis kernel with default gamma creates 371 support vectors, out of which, 188 belong to level CH and remaining 183 belong to level MM. The classifier has a training error of 18% and a test error of 20.37% which is not an improvement over linear kernel. We now use cross validation to find optimal gamma.

set.seed(755)
tune_out = tune(svm, Purchase ~ ., data = train_oj, kernel = "radial", ranges = list(cost = 10^seq(-2,1, by = 0.25)))
summary(tune_out)

Parameter tuning of ‘svm’:

- sampling method: 10-fold cross validation 

- best parameters:

- best performance: 0.1675 

- Detailed performance results:
NA
svm_radial = svm(Purchase ~ ., kernel = "radial", data = train_oj, cost = tune_out$best.parameters$cost)
train_pred = predict(svm_radial, train_oj)
(t<-table(train_oj$Purchase, train_pred))
    train_pred
      CH  MM
  CH 440  43
  MM  81 236
(train_error_radial=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.155
test_pred = predict(svm_radial, test_oj)
(t<-table(test_oj$Purchase, test_pred))
    test_pred
      CH  MM
  CH 145  25
  MM  28  72
(test_error_radial=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.1962963

Tuning slightly decreases training error to 15.5% and increases test error to 19.63% which is still not better than linear kernel.

(g) Repeat parts (b) through (e) using a support vector machine with a polynomial kernel. Set degree=2.

svm_poly = svm(Purchase ~ ., kernel = "poly", data = train_oj, degree=2)
summary(svm_poly)

Call:
svm(formula = Purchase ~ ., data = train_oj, kernel = "poly", 
    degree = 2)


Parameters:
   SVM-Type:  C-classification 
 SVM-Kernel:  polynomial 
       cost:  1 
     degree:  2 
     coef.0:  0 

Number of Support Vectors:  456

 ( 232 224 )


Number of Classes:  2 

Levels: 
 CH MM
train_pred = predict(svm_poly, train_oj)
(t<-table(train_oj$Purchase, train_pred))
    train_pred
      CH  MM
  CH 450  33
  MM 111 206
(train_error=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.18
test_pred = predict(svm_poly, test_oj)
(t<-table(test_oj$Purchase, test_pred))
    test_pred
      CH  MM
  CH 149  21
  MM  34  66
(test_error=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.2037037

The polynomial kernel produces 456 support vectors, out of which, 232 belong to level CH and remaining 224 belong to level MM. This kernel produces a train error of 18% and a test error of 20.37% which are slightly higher than the errors produces by linear and radial kernel.

set.seed(322)
tune_out = tune(svm, Purchase ~ ., data = train_oj, kernel = "poly", degree = 2, ranges = list(cost = 10^seq(-2, 1, by = 0.25)))
summary(tune_out)

Parameter tuning of ‘svm’:

- sampling method: 10-fold cross validation 

- best parameters:

- best performance: 0.18 

- Detailed performance results:
NA
svm_poly = svm(Purchase ~ ., kernel = "poly", data = train_oj, degree=2, cost = tune_out$best.parameters$cost)
train_pred = predict(svm_poly, train_oj)
(t<-table(train_oj$Purchase, train_pred))
    train_pred
      CH  MM
  CH 447  36
  MM  85 232
(train_error_poly=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.15125
test_pred = predict(svm_poly, test_oj)
(t<-table(test_oj$Purchase, test_pred))
    test_pred
      CH  MM
  CH 148  22
  MM  28  72
(test_error_poly=(t[2]+t[3])/(t[1]+t[2]+t[3]+t[4]))
[1] 0.1851852

Tuning reduces the training error to 15.12% and test error to 18.52% which is about the same as the radial kernel but worse than linear kernel.

(h) Overall, which approach seems to give the best results on this data?

df<-tibble(`SVM kernel`=c("Linear","Radial","Polynomial"),
           `Training Error`=c(train_error_linear,train_error_radial,train_error_poly),
           `Test Error`=c(test_error_linear,test_error_radial,test_error_poly))
df

Overall, the linear basis kernel seems to be producing minimum misclassification error on test data.

LS0tDQp0aXRsZTogIlIgTm90ZWJvb2siDQpvdXRwdXQ6IA0KICBodG1sX25vdGVib29rOg0KICAgIHRvYzogdHJ1ZQ0KICAgIHRvY19mbG9hdDogdHJ1ZQ0KLS0tDQpJbiB0aGlzIGFzc2lnbm1lbnQsIHdlIGV4cGxvcmUgdGhlIHN1cHBvcnQgdmVjdG9yIG1hY2hpbmUgKFNWTSksIGFuIGFwcHJvYWNoIGZvciBjbGFzc2lmaWNhdGlvbiB0aGF0IHdhcyBkZXZlbG9wZWQgaW4gdGhlIGNvbXB1dGVyIHNjaWVuY2UgY29tbXVuaXR5IGluIHRoZSAxOTkwcyBhbmQgdGhhdCBoYXMgZ3Jvd24gaW4gcG9wdWxhcml0eSBzaW5jZSB0aGVuLiBTVk1zIGhhdmUgYmVlbiBzaG93biB0byBwZXJmb3JtIHdlbGwgaW4gYSB2YXJpZXR5IG9mIHNldHRpbmdzLCBhbmQgYXJlIG9mdGVuIGNvbnNpZGVyZWQgb25lIG9mIHRoZSBiZXN0IOKAnG91dCBvZiB0aGUgYm944oCdIGNsYXNzaWZpZXJzDQoNCiMjIFByb2JsZW0gNQ0KX19XZSBoYXZlIHNlZW4gdGhhdCB3ZSBjYW4gZml0IGFuIFNWTSB3aXRoIGEgbm9uLWxpbmVhciBrZXJuZWwgaW4gb3JkZXIgdG8gcGVyZm9ybSBjbGFzc2lmaWNhdGlvbiB1c2luZyBhIG5vbi1saW5lYXIgZGVjaXNpb24gYm91bmRhcnkuIFdlIHdpbGwgbm93IHNlZSB0aGF0IHdlIGNhbiBhbHNvIG9idGFpbiBhIG5vbi1saW5lYXIgZGVjaXNpb24gYm91bmRhcnkgYnkNCnBlcmZvcm1pbmcgbG9naXN0aWMgcmVncmVzc2lvbiB1c2luZyBub24tbGluZWFyIHRyYW5zZm9ybWF0aW9ucyBvZiB0aGUgZmVhdHVyZXMuX18NCg0KX18oYSkgR2VuZXJhdGUgYSBkYXRhIHNldCB3aXRoIG4gPSA1MDAgYW5kIHAgPSAyLCBzdWNoIHRoYXQgdGhlIG9ic2VydmF0aW9ucyBiZWxvbmcgdG8gdHdvIGNsYXNzZXMgd2l0aCBhIHF1YWRyYXRpYyBkZWNpc2lvbiBib3VuZGFyeSBiZXR3ZWVuIHRoZW0uIEZvciBpbnN0YW5jZSwgeW91IGNhbiBkbyB0aGlzIGFzIGZvbGxvd3M6X18NCmBgYHtyLCBtZXNzYWdlPUZBTFNFLHdhcm5pbmc9RkFMU0V9DQpsaWJyYXJ5KHRpZHl2ZXJzZSkNCnNldC5zZWVkKDQyMSkNCngxPXJ1bmlmKDUwMCkgLSAwLjUgDQp4Mj1ydW5pZig1MDApIC0gMC41DQp5PWFzX2ZhY3RvcigxKih4MSp4MSAtIHgyKngyID4gMCkpDQpkZjwtdGliYmxlKHgxPXgxLA0KICAgICAgICAgICB4Mj14MiwNCiAgICAgICAgICAgeT15KQ0KZGYNCmBgYA0KDQpfXyhiKSBQbG90IHRoZSBvYnNlcnZhdGlvbnMsIGNvbG9yZWQgYWNjb3JkaW5nIHRvIHRoZWlyIGNsYXNzIGxhYmVscy4gWW91ciBwbG90IHNob3VsZCBkaXNwbGF5IFgxIG9uIHRoZSB4LWF4aXMsIGFuZCBYMiBvbiB0aGUgeWF4aXMuX18NCmBgYHtyfQ0KbGlicmFyeShwbG90bHkpDQpwPC1nZ3Bsb3QoZGF0YT1kZixtYXBwaW5nPWFlcyh4PXgxLHk9eDIsY29sb3I9eSkpKw0KICBnZW9tX3BvaW50KCkgKw0KICB0aGVtZV9saWdodCgpICsNCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gIm5vbmUiKQ0KZ2dwbG90bHkocCkNCmBgYA0KDQpfXyhjKSBGaXQgYSBsb2dpc3RpYyByZWdyZXNzaW9uIG1vZGVsIHRvIHRoZSBkYXRhLCB1c2luZyBYMSBhbmQgWDIgYXMgcHJlZGljdG9ycy5fXw0KYGBge3J9DQpnbG1fZml0ID0gZ2xtKHkgfiB4MSArIHgyLCBmYW1pbHkgPSBiaW5vbWlhbCkNCnN1bW1hcnkoZ2xtX2ZpdCkNCmBgYA0KQm90aCB2YXJpYWJsZXMgYXJlIG5vdCBzaWduaWZpY2FudCBmb3IgcHJlZGljdGluZyBfeV8uDQoNCl9fKGQpIEFwcGx5IHRoaXMgbW9kZWwgdG8gdGhlIHRyYWluaW5nIGRhdGEgaW4gb3JkZXIgdG8gb2J0YWluIGEgcHJlZGljdGVkIGNsYXNzIGxhYmVsIGZvciBlYWNoIHRyYWluaW5nIG9ic2VydmF0aW9uLiBQbG90IHRoZSBvYnNlcnZhdGlvbnMsIGNvbG9yZWQgYWNjb3JkaW5nIHRvIHRoZSBwcmVkaWN0ZWQgY2xhc3MgbGFiZWxzLiBUaGUgZGVjaXNpb24gYm91bmRhcnkgc2hvdWxkIGJlIGxpbmVhci5fXw0KYGBge3J9DQpnbG1fcHJvYiA9IHByZWRpY3QoZ2xtX2ZpdCwgZGYsIHR5cGUgPSAicmVzcG9uc2UiKQ0KZGY8LW11dGF0ZShkZiwgcHJlZCA9IGFzX2ZhY3RvcihpZmVsc2UoZ2xtX3Byb2IgPiAwLjUyLCAxLCAwKSkpDQpxPC1nZ3Bsb3QoZGF0YT1kZixtYXBwaW5nPWFlcyh4PXgxLHk9eDIsY29sb3I9cHJlZCkpKw0KICBnZW9tX3BvaW50KCkgKw0KICB0aGVtZV9saWdodCgpICsNCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gIm5vbmUiKQ0KZ2dwbG90bHkocSkNCmBgYA0KV2l0aCB0aGUgZ2l2ZW4gbW9kZWwgYW5kIGEgcHJvYmFiaWxpdHkgdGhyZXNob2xkIG9mIDAuNSwgYWxsIHBvaW50cyBhcmUgY2xhc3NpZmllZCB0byBzaW5nbGUgY2xhc3MgYW5kIG5vIGRlY2lzaW9uIGJvdW5kYXJ5IGNhbiBiZSBzaG93bi4gU28gSSBzaGlmdGVkIHRoZSBwcm9iYWJpbGl0eSB0aHJlc2hvbGQgdG8gMC41MiB0byBzaG93IGEgbWVhbmluZ2Z1bCBkZWNpc2lvbiBib3VuZGFyeS4gVGhpcyBib3VuZGFyeSBpcyBsaW5lYXIuDQoNCl9fKGUpIE5vdyBmaXQgYSBsb2dpc3RpYyByZWdyZXNzaW9uIG1vZGVsIHRvIHRoZSBkYXRhIHVzaW5nIG5vbi1saW5lYXIgZnVuY3Rpb25zIG9mIFgxIGFuZCBYMiBhcyBwcmVkaWN0b3JzIChlLmcuIFgyMSAsIFgxw5dYMiwgbG9nKFgyKSwgYW5kIHNvIGZvcnRoKS5fXyAgDQoNCkknbGwgdXNlIHNxdWFyZXMsIHByb2R1Y3QgaW50ZXJhY3Rpb24gdGVybXMgdG8gZml0IHRoZSBtb2RlbC4NCg0KYGBge3IsZXJyb3I9VFJVRX0NCmdsbV9maXQyID0gZ2xtKHkgfiB4MSArIHgyKyBJKHgxXjIpICsgSSh4Ml4yKSArIEkoeDEgKiB4MiksIGRhdGEgPSBkZiwgZmFtaWx5ID0gYmlub21pYWwpDQpgYGANCg0KX18oZikgQXBwbHkgdGhpcyBtb2RlbCB0byB0aGUgdHJhaW5pbmcgZGF0YSBpbiBvcmRlciB0byBvYnRhaW4gYSBwcmVkaWN0ZWQgY2xhc3MgbGFiZWwgZm9yIGVhY2ggdHJhaW5pbmcgb2JzZXJ2YXRpb24uIFBsb3QgdGhlIG9ic2VydmF0aW9ucywgY29sb3JlZCBhY2NvcmRpbmcgdG8gdGhlIHByZWRpY3RlZCBjbGFzcyBsYWJlbHMuIFRoZSBkZWNpc2lvbiBib3VuZGFyeSBzaG91bGQgYmUgb2J2aW91c2x5IG5vbi1saW5lYXIuIElmIGl0IGlzIG5vdCwgdGhlbiByZXBlYXQgKGEpLShlKSB1bnRpbCB5b3UgY29tZSB1cCB3aXRoIGFuIGV4YW1wbGUgaW4gd2hpY2ggdGhlIHByZWRpY3RlZCBjbGFzcyBsYWJlbHMgYXJlIG9idmlvdXNseSBub24tbGluZWFyLl9fDQoNCmBgYHtyfQ0KZ2xtX3Byb2IgPSBwcmVkaWN0KGdsbV9maXQyLCBkZiwgdHlwZSA9ICJyZXNwb25zZSIpDQpkZjI8LW11dGF0ZShkZiwgbm9ubGluX3ByZWQgPSBhc19mYWN0b3IoaWZlbHNlKGdsbV9wcm9iID4gMC41MiwgMSwgMCkpKQ0KcjwtZ2dwbG90KGRhdGE9ZGYyLG1hcHBpbmc9YWVzKHg9eDEseT14Mixjb2xvcj1ub25saW5fcHJlZCkpKw0KICBnZW9tX3BvaW50KCkgKw0KICB0aGVtZV9saWdodCgpICsNCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gIm5vbmUiKQ0KZ2dwbG90bHkocikNCmBgYA0KVGhpcyBub24tbGluZWFyIGRlY2lzaW9uIGJvdW5kYXJ5IGNsb3NlbHkgcmVzZW1ibGVzIHRoZSB0cnVlIGRlY2lzaW9uIGJvdW5kYXJ5Lg0KDQpfXyhnKSBGaXQgYSBzdXBwb3J0IHZlY3RvciBjbGFzc2lmaWVyIHRvIHRoZSBkYXRhIHdpdGggWDEgYW5kIFgyIGFzIHByZWRpY3RvcnMuIE9idGFpbiBhIGNsYXNzIHByZWRpY3Rpb24gZm9yIGVhY2ggdHJhaW5pbmcgb2JzZXJ2YXRpb24uIFBsb3QgdGhlIG9ic2VydmF0aW9ucywgY29sb3JlZCBhY2NvcmRpbmcgdG8gdGhlIHByZWRpY3RlZCBjbGFzcyBsYWJlbHMuX18NCmBgYHtyfQ0KbGlicmFyeShlMTA3MSkNCnN2bV9maXQgPSBzdm0oeSB+IHgxICsgeDIsIGRmLCBrZXJuZWwgPSAibGluZWFyIiwgY29zdCA9IDAuMSkNCmRmMzwtbXV0YXRlKGRmLCBzdm1fcHJlZCA9IGFzX2ZhY3RvcihwcmVkaWN0KHN2bV9maXQsIGRmKSkpDQpzPC1nZ3Bsb3QoZGF0YT1kZjMsbWFwcGluZz1hZXMoeD14MSx5PXgyLGNvbG9yPXN2bV9wcmVkKSkrDQogIGdlb21fcG9pbnQoKSArDQogIHRoZW1lX2xpZ2h0KCkgKw0KICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAibm9uZSIpDQpnZ3Bsb3RseShzKQ0KYGBgDQpBIGxpbmVhciBrZXJuZWwsIGV2ZW4gd2l0aCBsb3cgY29zdCBmYWlscyB0byBmaW5kIG5vbi1saW5lYXIgZGVjaXNpb24gYm91bmRhcnkgYW5kIGNsYXNzaWZpZXMgYWxsIHBvaW50cyB0byBhIHNpbmdsZSBjbGFzcy4NCg0KX18oaCkgRml0IGEgU1ZNIHVzaW5nIGEgbm9uLWxpbmVhciBrZXJuZWwgdG8gdGhlIGRhdGEuIE9idGFpbiBhIGNsYXNzIHByZWRpY3Rpb24gZm9yIGVhY2ggdHJhaW5pbmcgb2JzZXJ2YXRpb24uIFBsb3QgdGhlIG9ic2VydmF0aW9ucywgY29sb3JlZCBhY2NvcmRpbmcgdG8gdGhlIHByZWRpY3RlZCBjbGFzcyBsYWJlbHMuX18NCmBgYHtyfQ0Kc3ZtX2ZpdDIgPSBzdm0oeSB+IHgxICsgeDIsIGRmLCBnYW1tYSA9IDEpDQpkZjQ8LW11dGF0ZShkZiwgc3ZtX3ByZWQgPSBhc19mYWN0b3IocHJlZGljdChzdm1fZml0MiwgZGYpKSkNCnQ8LWdncGxvdChkYXRhPWRmNCxtYXBwaW5nPWFlcyh4PXgxLHk9eDIsY29sb3I9c3ZtX3ByZWQpKSsNCiAgZ2VvbV9wb2ludCgpICsNCiAgdGhlbWVfbGlnaHQoKSArDQogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICJub25lIikNCmdncGxvdGx5KHQpDQpgYGANClNpbWlsYXIgdG8gdGhlIG5vbi1saW5lYXIgbG9naXN0aWMgcmVncmVzc2lvbiBtb2RlbCwgdGhlIG5vbi1saW5lYXIgZGVjaXNpb24gYm91bmRhcnkgb24gcHJlZGljdGVkIGxhYmVscyBjbG9zZWx5IHJlc2VtYmxlcyB0aGUgdHJ1ZSBkZWNpc2lvbiBib3VuZGFyeS4NCg0KX18oaSkgQ29tbWVudCBvbiB5b3VyIHJlc3VsdHMuX18gIA0KVGhpcyBleHBlcmltZW50IGVuZm9yY2VzIHRoZSBpZGVhIHRoYXQgU1ZNcyB3aXRoIG5vbi1saW5lYXIga2VybmVsIGFyZSBleHRyZW1lbHkgcG93ZXJmdWwgaW4gZmluZGluZyBub24tbGluZWFyIGJvdW5kYXJ5LiBCb3RoLCBsb2dpc3RpYyByZWdyZXNzaW9uIHdpdGggbm9uLWludGVyYWN0aW9ucyBhbmQgU1ZNcyB3aXRoIGxpbmVhciBrZXJuZWxzIGZhaWwgdG8gZmluZCB0aGUgZGVjaXNpb24gYm91bmRhcnkuIEFkZGluZyBpbnRlcmFjdGlvbiB0ZXJtcyB0byBsb2dpc3RpYyByZWdyZXNzaW9uIHNlZW1zIHRvIGdpdmUgdGhlbSBzYW1lIHBvd2VyIGFzIHJhZGlhbC1iYXNpcyBrZXJuZWxzLiBIb3dldmVyLCB0aGVyZSBpcyBzb21lIG1hbnVhbCBlZmZvcnRzIGFuZCB0dW5pbmcgaW52b2x2ZWQgaW4gcGlja2luZyByaWdodCBpbnRlcmFjdGlvbiB0ZXJtcy4gVGhpcyBlZmZvcnQgY2FuIGJlY29tZSBwcm9oaWJpdGl2ZSB3aXRoIGxhcmdlIG51bWJlciBvZiBmZWF0dXJlcy4gUmFkaWFsIGJhc2lzIGtlcm5lbHMsIG9uIHRoZSBvdGhlciBoYW5kLCBvbmx5IHJlcXVpcmUgdHVuaW5nIG9mIG9uZSBwYXJhbWV0ZXIsIGBnYW1tYWAsIHdoaWNoIGNhbiBiZSBlYXNpbHkgZG9uZSB1c2luZyBjcm9zcy12YWxpZGF0aW9uLg0KDQojIyBQcm9ibGVtIDcgICANCl9fSW4gdGhpcyBwcm9ibGVtLCB5b3Ugd2lsbCB1c2Ugc3VwcG9ydCB2ZWN0b3IgYXBwcm9hY2hlcyBpbiBvcmRlciB0byBwcmVkaWN0IHdoZXRoZXIgYSBnaXZlbiBjYXIgZ2V0cyBoaWdoIG9yIGxvdyBnYXMgbWlsZWFnZSBiYXNlZCBvbiB0aGUgYEF1dG9gIGRhdGEgc2V0Ll9fICANCg0KX18oYSkgQ3JlYXRlIGEgYmluYXJ5IHZhcmlhYmxlIHRoYXQgdGFrZXMgb24gYSAxIGZvciBjYXJzIHdpdGggZ2FzIG1pbGVhZ2UgYWJvdmUgdGhlIG1lZGlhbiwgYW5kIGEgMCBmb3IgY2FycyB3aXRoIGdhcyBtaWxlYWdlIGJlbG93IHRoZSBtZWRpYW4uX18NCmBgYHtyfQ0KbGlicmFyeShJU0xSKQ0KYXV0byA8LSB0aWJibGUoQXV0bykgJT4lDQogIG11dGF0ZShtcGdsZXZlbCA9IGFzX2ZhY3RvcihpZmVsc2UobXBnID4gbWVkaWFuKG1wZyksIDEsIDApKSkNCmF1dG8NCmBgYA0KDQpfXyhiKSBGaXQgYSBzdXBwb3J0IHZlY3RvciBjbGFzc2lmaWVyIHRvIHRoZSBkYXRhIHdpdGggdmFyaW91cyB2YWx1ZXMgb2YgYGNvc3RgLCBpbiBvcmRlciB0byBwcmVkaWN0IHdoZXRoZXIgYSBjYXIgZ2V0cyBoaWdoIG9yIGxvdyBnYXMgbWlsZWFnZS4gUmVwb3J0IHRoZSBjcm9zcy12YWxpZGF0aW9uIGVycm9ycyBhc3NvY2lhdGVkIHdpdGggZGlmZmVyZW50IHZhbHVlcyBvZiB0aGlzIHBhcmFtZXRlci4gQ29tbWVudCBvbiB5b3VyIHJlc3VsdHMuX18NCmBgYHtyfQ0KbGlicmFyeShlMTA3MSkNCnNldC5zZWVkKDMyNTUpDQp0dW5lX291dCA9IHR1bmUoc3ZtLCBtcGdsZXZlbCB+IC4gLW1wZywgZGF0YSA9IGF1dG8sIGtlcm5lbCA9ICJsaW5lYXIiLCByYW5nZXMgPSBsaXN0KGNvc3QgPSBjKDAuMDEsIDAuMSwgMSwgNSwgMTAsIDEwMCkpKQ0Kc3VtbWFyeSh0dW5lX291dCkNCmBgYA0KV2Ugc2VlIHRoYXQgY3Jvc3MtdmFsaWRhdGlvbiBlcnJvciBpcyBtaW5pbWl6ZWQgZm9yIGBjb3N0PTFgLg0KDQpfXyhjKSBOb3cgcmVwZWF0IChiKSwgdGhpcyB0aW1lIHVzaW5nIFNWTXMgd2l0aCByYWRpYWwgYW5kIHBvbHlub21pYWwgYmFzaXMga2VybmVscywgd2l0aCBkaWZmZXJlbnQgdmFsdWVzIG9mIGBnYW1tYWAgYW5kIGBkZWdyZWVgIGFuZCBgY29zdGAuIENvbW1lbnQgb24geW91ciByZXN1bHRzLl9fDQpgYGB7cn0NCnNldC5zZWVkKDIxKQ0KdHVuZV9vdXQgPSB0dW5lKHN2bSwgbXBnbGV2ZWwgfiAuIC1tcGcsIGRhdGEgPSBhdXRvLCBrZXJuZWwgPSAicG9seW5vbWlhbCIsIHJhbmdlcyA9IGxpc3QoY29zdCA9IGMoMC4xLCAxLCA1LCAxMCksIGRlZ3JlZSA9IGMoMiwgMywgNCkpKQ0Kc3VtbWFyeSh0dW5lX291dCkNCmBgYA0KVGhlIGxvd2VzdCBjcm9zcy12YWxpZGF0aW9uIGVycm9yIGlzIG9idGFpbmVkIGZvciBgY29zdD0xMGAgYW5kIGBkZWdyZWU9MmAuDQoNCmBgYHtyfQ0Kc2V0LnNlZWQoNDYzKQ0KdHVuZV9vdXQgPSB0dW5lKHN2bSwgbXBnbGV2ZWwgfiAuLW1wZywgZGF0YSA9IGF1dG8sIGtlcm5lbCA9ICJyYWRpYWwiLCByYW5nZXMgPSBsaXN0KGNvc3QgPSBjKDAuMSwgMSwgNSwgMTApLCBnYW1tYSA9IGMoMC4wMSwgMC4xLCAxLCA1LCAxMCwgMTAwKSkpDQpzdW1tYXJ5KHR1bmVfb3V0KQ0KYGBgDQpGaW5hbGx5LCBmb3IgcmFkaWFsIGJhc2lzIGtlcm5lbCwgYGNvc3Q9MTBgIGFuZCBgZ2FtbWE9MC4wMWAuDQoNCl9fKGQpIE1ha2Ugc29tZSBwbG90cyB0byBiYWNrIHVwIHlvdXIgYXNzZXJ0aW9ucyBpbiAoYikgYW5kIChjKS4gDQpgYGB7cn0NCnN2bV9saW5lYXIgPSBzdm0obXBnbGV2ZWwgfiAuLCBkYXRhID0gYXV0bywga2VybmVsID0gImxpbmVhciIsIGNvc3QgPSAxKQ0Kc3ZtX3BvbHkgPSBzdm0obXBnbGV2ZWwgfiAuLCBkYXRhID0gYXV0bywga2VybmVsID0gInBvbHlub21pYWwiLCBjb3N0ID0gMTAsIA0KICAgIGRlZ3JlZSA9IDIpDQpzdm1fcmFkaWFsID0gc3ZtKG1wZ2xldmVsIH4gLiwgZGF0YSA9IGF1dG8sIGtlcm5lbCA9ICJyYWRpYWwiLCBjb3N0ID0gMTAsIGdhbW1hID0gMC4wMSkNCg0KI3Bsb3Qoc3ZtX2xpbmVhcixhdXRvLG1wZ35jeWxpbmRlcnMpDQojcGxvdChzdm1fbGluZWFyLGF1dG8sbXBnfmRpc3BsYWNlbWVudCkNCiNwbG90KHN2bV9saW5lYXIsYXV0byxtcGd+aG9yc2Vwb3dlcikNCiNwbG90KHN2bV9saW5lYXIsYXV0byxtcGd+d2VpZ2h0KQ0KbGlicmFyeShSQ29sb3JCcmV3ZXIpDQpwbG90cGFpcnM8LWZ1bmN0aW9uKGZpdCl7DQogIGZvcihuYW1lIGluIG5hbWVzKGF1dG8pWyEobmFtZXMoYXV0bykpICVpbiUgYygibXBnIiwibmFtZSIsIm1wZ2xldmVsIildKXsNCiAgICBwbG90KGZpdCxhdXRvLGFzLmZvcm11bGEocGFzdGUoIm1wZ34iLG5hbWUsc2VwPSIiKSkpDQogIH0NCn0NCnBsb3RwYWlycyhzdm1fbGluZWFyKQ0KYGBgDQpgYGB7cn0NCnBsb3RwYWlycyhzdm1fcG9seSkNCmBgYA0KYGBge3J9DQpwbG90cGFpcnMoc3ZtX3JhZGlhbCkNCmBgYA0KDQojIyBQcm9ibGVtIDgNCg0KX19UaGlzIHByb2JsZW0gaW52b2x2ZXMgdGhlIFtPSl0oaHR0cHM6Ly9yZHJyLmlvL2NyYW4vSVNMUi9tYW4vT0ouaHRtbCkgZGF0YSBzZXQgd2hpY2ggaXMgcGFydCBvZiB0aGUgYElTTFJgIHBhY2thZ2UuX18NCg0KX18oYSkgQ3JlYXRlIGEgdHJhaW5pbmcgc2V0IGNvbnRhaW5pbmcgYSByYW5kb20gc2FtcGxlIG9mIDgwMCBvYnNlcnZhdGlvbnMsIGFuZCBhIHRlc3Qgc2V0IGNvbnRhaW5pbmcgdGhlIHJlbWFpbmluZyBvYnNlcnZhdGlvbnMuX18NCmBgYHtyfQ0KbGlicmFyeShJU0xSKQ0Kc2V0LnNlZWQoOTAwNCkNCmluVHJhaW4gPSBzYW1wbGUobnJvdyhPSiksIDgwMCkNCnRyYWluX29qID0gT0pbaW5UcmFpbixdDQp0ZXN0X29qID0gT0pbLWluVHJhaW4sXQ0KYGBgDQoNCl9fKGIpIEZpdCBhIHN1cHBvcnQgdmVjdG9yIGNsYXNzaWZpZXIgdG8gdGhlIHRyYWluaW5nIGRhdGEgdXNpbmcgYGNvc3Q9MC4wMWAsIHdpdGggUHVyY2hhc2UgYXMgdGhlIHJlc3BvbnNlIGFuZCB0aGUgb3RoZXIgdmFyaWFibGVzIGFzIHByZWRpY3RvcnMuIFVzZSB0aGUgYHN1bW1hcnkoKWAgZnVuY3Rpb24gdG8gcHJvZHVjZSBzdW1tYXJ5IHN0YXRpc3RpY3MsIGFuZCBkZXNjcmliZSB0aGUgcmVzdWx0cyBvYnRhaW5lZC5fXw0KYGBge3Isd2FybmluZz1GQUxTRSxtZXNzYWdlPUZBTFNFfQ0KbGlicmFyeShlMTA3MSkNCnN2bV9saW5lYXIgPSBzdm0oUHVyY2hhc2UgfiAuLCBrZXJuZWwgPSAibGluZWFyIiwgZGF0YSA9IHRyYWluX29qLCBjb3N0ID0gMC4wMSkNCnN1bW1hcnkoc3ZtX2xpbmVhcikNCmBgYA0KU3VwcG9ydCB2ZWN0b3IgY2xhc3NpZmllciBjcmVhdGVzIDQ0MiBzdXBwb3J0IHZlY3RvcnMgb3V0IG9mIDgwMCB0cmFpbmluZyBwb2ludHMuIE91dCBvZiB0aGVzZSwgMjIyIGJlbG9uZyB0byBsZXZlbCBgQ0hgIGFuZCByZW1haW5pbmcgMjIwIGJlbG9uZyB0byBsZXZlbCBgTU1gLg0KDQpfXyhjKSBXaGF0IGFyZSB0aGUgdHJhaW5pbmcgYW5kIHRlc3QgZXJyb3IgcmF0ZXM/X18NCmBgYHtyfQ0KdHJhaW5fcHJlZCA9IHByZWRpY3Qoc3ZtX2xpbmVhciwgdHJhaW5fb2opDQoodDwtdGFibGUodHJhaW5fb2okUHVyY2hhc2UsIHRyYWluX3ByZWQpKQ0KKHRyYWluX2Vycm9yPSh0WzJdK3RbM10pLyh0WzFdK3RbMl0rdFszXSt0WzRdKSkNCmBgYA0KYGBge3J9DQp0ZXN0X3ByZWQgPSBwcmVkaWN0KHN2bV9saW5lYXIsIHRlc3Rfb2opDQoodDwtdGFibGUodGVzdF9vaiRQdXJjaGFzZSwgdGVzdF9wcmVkKSkNCih0ZXN0X2Vycm9yPSh0WzJdK3RbM10pLyh0WzFdK3RbMl0rdFszXSt0WzRdKSkNCmBgYA0KVGhlIHRyYWluaW5nIGVycm9yIHJhdGUgaXMgYHIgcGFzdGUocm91bmQoMTAwKnRyYWluX2Vycm9yLDIpLCclJyxzZXA9IiIpYCBhbmQgdGVzdCBlcnJvciByYXRlIGlzIGFib3V0IGByIHBhc3RlKHJvdW5kKDEwMCp0ZXN0X2Vycm9yLDIpLCclJyxzZXA9IiIpYC4NCg0KX18oZCkgVXNlIHRoZSBgdHVuZSgpYCBmdW5jdGlvbiB0byBzZWxlY3QgYW4gb3B0aW1hbCBjb3N0LiBDb25zaWRlciB2YWx1ZXMgaW4gdGhlIHJhbmdlIDAuMDEgdG8gMTAuX18NCmBgYHtyfQ0Kc2V0LnNlZWQoMTU1NCkNCnR1bmVfb3V0ID0gdHVuZShzdm0sIFB1cmNoYXNlIH4gLiwgZGF0YSA9IHRyYWluX29qLCBrZXJuZWwgPSAibGluZWFyIiwgcmFuZ2VzID0gbGlzdChjb3N0ID0gMTBec2VxKC0yLCAxLCBieSA9IDAuMjUpKSkNCnN1bW1hcnkodHVuZV9vdXQpDQpiZXN0PC10dW5lX291dCRiZXN0LnBhcmFtZXRlcnMkY29zdA0KYGBgDQpUdW5pbmcgc2hvd3MgdGhhdCBvcHRpbWFsIGNvc3QgaXMgYHIgYmVzdGAuDQoNCl9fKGUpIENvbXB1dGUgdGhlIHRyYWluaW5nIGFuZCB0ZXN0IGVycm9yIHJhdGVzIHVzaW5nIHRoaXMgbmV3IHZhbHVlIGZvciBjb3N0Ll9fDQpgYGB7cn0NCnN2bV9saW5lYXIgPSBzdm0oUHVyY2hhc2UgfiAuLCBrZXJuZWwgPSAibGluZWFyIiwgZGF0YSA9IHRyYWluX29qLCBjb3N0ID0gYmVzdCkNCnRyYWluX3ByZWQgPSBwcmVkaWN0KHN2bV9saW5lYXIsIHRyYWluX29qKQ0KKHQ8LXRhYmxlKHRyYWluX29qJFB1cmNoYXNlLCB0cmFpbl9wcmVkKSkNCih0cmFpbl9lcnJvcl9saW5lYXI9KHRbMl0rdFszXSkvKHRbMV0rdFsyXSt0WzNdK3RbNF0pKQ0KdGVzdF9wcmVkID0gcHJlZGljdChzdm1fbGluZWFyLCB0ZXN0X29qKQ0KKHQ8LXRhYmxlKHRlc3Rfb2okUHVyY2hhc2UsIHRlc3RfcHJlZCkpDQoodGVzdF9lcnJvcl9saW5lYXI9KHRbMl0rdFszXSkvKHRbMV0rdFsyXSt0WzNdK3RbNF0pKQ0KYGBgDQpUaGUgdHJhaW5pbmcgZXJyb3IgZGVjcmVhc2VzIHRvIGByIHBhc3RlKHJvdW5kKDEwMCp0cmFpbl9lcnJvcl9saW5lYXIsMiksJyUnLHNlcD0iIilgIGJ1dCB0ZXN0IGVycm9yIHNsaWdodGx5IGluY3JlYXNlcyB0byBgciBwYXN0ZShyb3VuZCgxMDAqdGVzdF9lcnJvcl9saW5lYXIsMiksJyUnLHNlcD0iIilgIGJ5IHVzaW5nIGJlc3QgY29zdC4NCg0KX18oZikgUmVwZWF0IHBhcnRzIChiKSB0aHJvdWdoIChlKSB1c2luZyBhIHN1cHBvcnQgdmVjdG9yIG1hY2hpbmUgd2l0aCBhIHJhZGlhbCBrZXJuZWwuIFVzZSB0aGUgZGVmYXVsdCB2YWx1ZSBmb3IgZ2FtbWEuX18NCmBgYHtyfQ0Kc2V0LnNlZWQoNDEwKQ0Kc3ZtX3JhZGlhbCA9IHN2bShQdXJjaGFzZSB+IC4sIGtlcm5lbCA9ICJyYWRpYWwiLCBkYXRhID0gdHJhaW5fb2opDQpzdW1tYXJ5KHN2bV9yYWRpYWwpDQp0cmFpbl9wcmVkID0gcHJlZGljdChzdm1fcmFkaWFsLCB0cmFpbl9vaikNCih0PC10YWJsZSh0cmFpbl9vaiRQdXJjaGFzZSwgdHJhaW5fcHJlZCkpDQoodHJhaW5fZXJyb3I9KHRbMl0rdFszXSkvKHRbMV0rdFsyXSt0WzNdK3RbNF0pKQ0KdGVzdF9wcmVkID0gcHJlZGljdChzdm1fcmFkaWFsLCB0ZXN0X29qKQ0KKHQ8LXRhYmxlKHRlc3Rfb2okUHVyY2hhc2UsIHRlc3RfcHJlZCkpDQoodGVzdF9lcnJvcj0odFsyXSt0WzNdKS8odFsxXSt0WzJdK3RbM10rdFs0XSkpDQpgYGANClRoZSByYWRpYWwgYmFzaXMga2VybmVsIHdpdGggZGVmYXVsdCBnYW1tYSBjcmVhdGVzIDM3MSBzdXBwb3J0IHZlY3RvcnMsIG91dCBvZiB3aGljaCwgMTg4IGJlbG9uZyB0byBsZXZlbCBgQ0hgIGFuZCByZW1haW5pbmcgMTgzIGJlbG9uZyB0byBsZXZlbCBgTU1gLiBUaGUgY2xhc3NpZmllciBoYXMgYSB0cmFpbmluZyBlcnJvciBvZiBgciBwYXN0ZShyb3VuZCgxMDAqdHJhaW5fZXJyb3IsMiksJyUnLHNlcD0iIilgIGFuZCBhIHRlc3QgZXJyb3Igb2YgYHIgcGFzdGUocm91bmQoMTAwKnRlc3RfZXJyb3IsMiksJyUnLHNlcD0iIilgIHdoaWNoIGlzIG5vdCBhbiBpbXByb3ZlbWVudCBvdmVyIGxpbmVhciBrZXJuZWwuIFdlIG5vdyB1c2UgY3Jvc3MgdmFsaWRhdGlvbiB0byBmaW5kIG9wdGltYWwgZ2FtbWEuDQoNCmBgYHtyfQ0Kc2V0LnNlZWQoNzU1KQ0KdHVuZV9vdXQgPSB0dW5lKHN2bSwgUHVyY2hhc2UgfiAuLCBkYXRhID0gdHJhaW5fb2osIGtlcm5lbCA9ICJyYWRpYWwiLCByYW5nZXMgPSBsaXN0KGNvc3QgPSAxMF5zZXEoLTIsMSwgYnkgPSAwLjI1KSkpDQpzdW1tYXJ5KHR1bmVfb3V0KQ0KYGBgDQpgYGB7cn0NCnN2bV9yYWRpYWwgPSBzdm0oUHVyY2hhc2UgfiAuLCBrZXJuZWwgPSAicmFkaWFsIiwgZGF0YSA9IHRyYWluX29qLCBjb3N0ID0gdHVuZV9vdXQkYmVzdC5wYXJhbWV0ZXJzJGNvc3QpDQp0cmFpbl9wcmVkID0gcHJlZGljdChzdm1fcmFkaWFsLCB0cmFpbl9vaikNCih0PC10YWJsZSh0cmFpbl9vaiRQdXJjaGFzZSwgdHJhaW5fcHJlZCkpDQoodHJhaW5fZXJyb3JfcmFkaWFsPSh0WzJdK3RbM10pLyh0WzFdK3RbMl0rdFszXSt0WzRdKSkNCnRlc3RfcHJlZCA9IHByZWRpY3Qoc3ZtX3JhZGlhbCwgdGVzdF9vaikNCih0PC10YWJsZSh0ZXN0X29qJFB1cmNoYXNlLCB0ZXN0X3ByZWQpKQ0KKHRlc3RfZXJyb3JfcmFkaWFsPSh0WzJdK3RbM10pLyh0WzFdK3RbMl0rdFszXSt0WzRdKSkNCmBgYA0KVHVuaW5nIHNsaWdodGx5IGRlY3JlYXNlcyB0cmFpbmluZyBlcnJvciB0byBgciBwYXN0ZShyb3VuZCgxMDAqdHJhaW5fZXJyb3JfcmFkaWFsLDIpLCclJyxzZXA9IiIpYCBhbmQgaW5jcmVhc2VzIHRlc3QgZXJyb3IgdG8gYHIgcGFzdGUocm91bmQoMTAwKnRlc3RfZXJyb3JfcmFkaWFsLDIpLCclJyxzZXA9IiIpYCB3aGljaCBpcyBzdGlsbCBub3QgYmV0dGVyIHRoYW4gbGluZWFyIGtlcm5lbC4NCg0KX18oZykgUmVwZWF0IHBhcnRzIChiKSB0aHJvdWdoIChlKSB1c2luZyBhIHN1cHBvcnQgdmVjdG9yIG1hY2hpbmUgd2l0aCBhIHBvbHlub21pYWwga2VybmVsLiBTZXQgZGVncmVlPTIuX18NCmBgYHtyfQ0Kc3ZtX3BvbHkgPSBzdm0oUHVyY2hhc2UgfiAuLCBrZXJuZWwgPSAicG9seSIsIGRhdGEgPSB0cmFpbl9vaiwgZGVncmVlPTIpDQpzdW1tYXJ5KHN2bV9wb2x5KQ0KdHJhaW5fcHJlZCA9IHByZWRpY3Qoc3ZtX3BvbHksIHRyYWluX29qKQ0KKHQ8LXRhYmxlKHRyYWluX29qJFB1cmNoYXNlLCB0cmFpbl9wcmVkKSkNCih0cmFpbl9lcnJvcj0odFsyXSt0WzNdKS8odFsxXSt0WzJdK3RbM10rdFs0XSkpDQp0ZXN0X3ByZWQgPSBwcmVkaWN0KHN2bV9wb2x5LCB0ZXN0X29qKQ0KKHQ8LXRhYmxlKHRlc3Rfb2okUHVyY2hhc2UsIHRlc3RfcHJlZCkpDQoodGVzdF9lcnJvcj0odFsyXSt0WzNdKS8odFsxXSt0WzJdK3RbM10rdFs0XSkpDQpgYGANClRoZSBwb2x5bm9taWFsIGtlcm5lbCBwcm9kdWNlcyA0NTYgc3VwcG9ydCB2ZWN0b3JzLCBvdXQgb2Ygd2hpY2gsIDIzMiBiZWxvbmcgdG8gbGV2ZWwgYENIYCBhbmQgcmVtYWluaW5nIDIyNCBiZWxvbmcgdG8gbGV2ZWwgYE1NYC4gVGhpcyBrZXJuZWwgcHJvZHVjZXMgYSB0cmFpbiBlcnJvciBvZiBgciBwYXN0ZShyb3VuZCgxMDAqdHJhaW5fZXJyb3IsMiksJyUnLHNlcD0iIilgIGFuZCBhIHRlc3QgZXJyb3Igb2YgYHIgcGFzdGUocm91bmQoMTAwKnRlc3RfZXJyb3IsMiksJyUnLHNlcD0iIilgIHdoaWNoIGFyZSBzbGlnaHRseSBoaWdoZXIgdGhhbiB0aGUgZXJyb3JzIHByb2R1Y2VzIGJ5IGxpbmVhciBhbmQgcmFkaWFsIGtlcm5lbC4NCg0KYGBge3J9DQpzZXQuc2VlZCgzMjIpDQp0dW5lX291dCA9IHR1bmUoc3ZtLCBQdXJjaGFzZSB+IC4sIGRhdGEgPSB0cmFpbl9vaiwga2VybmVsID0gInBvbHkiLCBkZWdyZWUgPSAyLCByYW5nZXMgPSBsaXN0KGNvc3QgPSAxMF5zZXEoLTIsIDEsIGJ5ID0gMC4yNSkpKQ0Kc3VtbWFyeSh0dW5lX291dCkNCmBgYA0KYGBge3J9DQpzdm1fcG9seSA9IHN2bShQdXJjaGFzZSB+IC4sIGtlcm5lbCA9ICJwb2x5IiwgZGF0YSA9IHRyYWluX29qLCBkZWdyZWU9MiwgY29zdCA9IHR1bmVfb3V0JGJlc3QucGFyYW1ldGVycyRjb3N0KQ0KdHJhaW5fcHJlZCA9IHByZWRpY3Qoc3ZtX3BvbHksIHRyYWluX29qKQ0KKHQ8LXRhYmxlKHRyYWluX29qJFB1cmNoYXNlLCB0cmFpbl9wcmVkKSkNCih0cmFpbl9lcnJvcl9wb2x5PSh0WzJdK3RbM10pLyh0WzFdK3RbMl0rdFszXSt0WzRdKSkNCnRlc3RfcHJlZCA9IHByZWRpY3Qoc3ZtX3BvbHksIHRlc3Rfb2opDQoodDwtdGFibGUodGVzdF9vaiRQdXJjaGFzZSwgdGVzdF9wcmVkKSkNCih0ZXN0X2Vycm9yX3BvbHk9KHRbMl0rdFszXSkvKHRbMV0rdFsyXSt0WzNdK3RbNF0pKQ0KYGBgDQpUdW5pbmcgcmVkdWNlcyB0aGUgdHJhaW5pbmcgZXJyb3IgdG8gYHIgcGFzdGUocm91bmQoMTAwKnRyYWluX2Vycm9yX3BvbHksMiksJyUnLHNlcD0iIilgIGFuZCB0ZXN0IGVycm9yIHRvIGByIHBhc3RlKHJvdW5kKDEwMCp0ZXN0X2Vycm9yX3BvbHksMiksJyUnLHNlcD0iIilgIHdoaWNoIGlzIGFib3V0IHRoZSBzYW1lIGFzIHRoZSByYWRpYWwga2VybmVsIGJ1dCB3b3JzZSB0aGFuIGxpbmVhciBrZXJuZWwuDQoNCl9fKGgpIE92ZXJhbGwsIHdoaWNoIGFwcHJvYWNoIHNlZW1zIHRvIGdpdmUgdGhlIGJlc3QgcmVzdWx0cyBvbiB0aGlzIGRhdGE/X18NCmBgYHtyfQ0KZGY8LXRpYmJsZShgU1ZNIGtlcm5lbGA9YygiTGluZWFyIiwiUmFkaWFsIiwiUG9seW5vbWlhbCIpLA0KICAgICAgICAgICBgVHJhaW5pbmcgRXJyb3JgPWModHJhaW5fZXJyb3JfbGluZWFyLHRyYWluX2Vycm9yX3JhZGlhbCx0cmFpbl9lcnJvcl9wb2x5KSwNCiAgICAgICAgICAgYFRlc3QgRXJyb3JgPWModGVzdF9lcnJvcl9saW5lYXIsdGVzdF9lcnJvcl9yYWRpYWwsdGVzdF9lcnJvcl9wb2x5KSkNCmRmDQpgYGANCg0KT3ZlcmFsbCwgdGhlIGxpbmVhciBiYXNpcyBrZXJuZWwgc2VlbXMgdG8gYmUgcHJvZHVjaW5nIG1pbmltdW0gbWlzY2xhc3NpZmljYXRpb24gZXJyb3Igb24gdGVzdCBkYXRhLg==