If you’ve studied multiple regression before, you’ve probably heard the term “collinearity”. Collinearity means that two or more covariates are providing essentially the same information about the response variable. When covariates are highly collinear, “regression estimates are unstable and have high standard errors.”1 The Variance Inflation Factor (VIF) is commonly used to assess how much of a problem we have with collinearity. A VIF greater than 4 means that we should look carefully at our covariates (without telling what we should do once we’ve looked at them). A VIF greater than 10 means we have serious problems that we should fix (again without giving us any advice about how to fix them). Let’s take a look at the VIF estimates for the sample data we’ve been using and see what we find.

Regenerating the data

First we have to regenerate the data.

library(tidyverse)
library(reshape2)
library(ggplot2)
library(cowplot)
library(mvtnorm)
library(corrplot)

rm(list = ls())
## intetcept
##
beta0 <- 1.0
## regression coefficients
##
beta <- c(1.0, -1.0, 1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0)
## pattern of correlation matrix, all non-zero entries are set to saem
## correlation, covariance matrix caldulated from individual variances and a 
## single association parameter governing the non-zero correlation coefficients
##
## Note: Not just any pattern will work here. The correlation matrix and
## covariance matrix generated from this pattern must be positive definite.
## If you change this pattern, you may get an error when you try to generate
## data with a non-zero association parameter.
##
Rho <- matrix(nrow = 9, ncol = , byrow = TRUE, 
              data = c(1,0,1,0,1,0,1,0,1,
                       0,1,0,1,0,1,0,1,0,
                       1,0,1,0,1,0,1,0,1,
                       0,1,0,1,0,1,0,1,0,
                       1,0,1,0,1,0,1,0,1,
                       0,1,0,1,0,1,0,1,0,
                       1,0,1,0,1,0,1,0,1,
                       0,1,0,1,0,1,0,1,0,
                       1,0,1,0,1,0,1,0,1
                       ))
## vector of standard deviations for covariates
##
sigma <- rep(1, 9)

## construct a covariance matrix from the pattern, standard deviations, and
## one parameter in [-1,1] that governs the magnitude of non-zero correlation
## coefficients
##
## Rho - the pattern of associations
## sigma - the vector of standard deviations
## rho - the association parameter
##
construct_Sigma <- function(Rho, sigma, rho) {
  ## get the correlation matris
  ##
  Rho <- Rho*rho
  for (i in 1:ncol(Rho)) {
    Rho[i,i] <- 1.0
  }
  ## notice the use of matrix multiplication
  ##
  Sigma <- diag(sigma) %*% Rho %*% diag(sigma)
  return(Sigma)
}

## set the random number seed manually so that every run of the code will 
## produce the same numbers
##
set.seed(1234)

n_samp <- 100
cov_str <- rmvnorm(n_samp,
                   mean = rep(0, nrow(Rho)),
                   sigma = construct_Sigma(Rho, sigma, 0.8))

resid <- rep(2.0, n_samp)

y_str <- rnorm(nrow(cov_str), mean = beta0 + cov_str %*% beta, sd = resid)
dat_1 <- data.frame(y_str, cov_str, rep("Strong", length(y_str)))

cov_str <- rmvnorm(n_samp,
                   mean = rep(0, nrow(Rho)),
                   sigma = construct_Sigma(Rho, sigma, 0.8))
y_str <- rnorm(nrow(cov_str), mean = beta0 + cov_str %*% beta, sd = resid)
dat_2 <- data.frame(y_str, cov_str, rep("Strong", length(y_str)))

column_names <- c("y", paste("x", seq(1, length(beta)), sep = ""), "Scenario")
colnames(dat_1) <- column_names
colnames(dat_2) <- column_names

Examining VIF estimates

Now that we have the data, we’ll use vif() from the car package to look at the VIFs from analysis of each of the two data sets.

library(car)

lm_for_pred_1 <- lm(y ~ x1 + x2 + x3, data = dat_1)
lm_for_pred_2 <- lm(y ~ x1 + x2 + x3, data = dat_2)
cat("From data set 1\n")
From data set 1
vif(lm_for_pred_1)
      x1       x2       x3 
1.831894 1.030354 1.818362 
cat("\nFrom data set 2\n")

From data set 2
vif(lm_for_pred_2)
      x1       x2       x3 
2.279091 1.007431 2.287378 

The VIF coefficients reported in each case don’t look too bad. The worst of them, x3, is less than 2.3, so we wouldn’t normally think that collinearity is a problem. If we do the same analysis when we include only x1 and x2 in our analysis there’s even less indication of a problem, as you can see.

lm_for_pred_1 <- lm(y ~ x1 + x2, data = dat_1)
lm_for_pred_2 <- lm(y ~ x1 + x2, data = dat_2)
cat("From data set 1\n")
From data set 1
vif(lm_for_pred_1)
      x1       x2 
1.028449 1.028449 
cat("\nFrom data set 2\n")

From data set 2
vif(lm_for_pred_2)
      x1       x2 
1.003759 1.003759 

In one sense, I should probably stop here. If you were paying attention to footnotes in the last notebook, you will have noticed that footnote 4 said this:

To be fair, part of the problem here comes from looking only at the point estimates. Look at the results from rstanarm() again. You’ll see that the credible intervals for x1 and x2 as estimated from data set 1 overlap broadly with those estimated from data set 2. The estimates aren’t as different from one another as they initially appear. Neither are the posterior predictions. (Verifying that is left as an exercise for those who are interested.)

The problem might be that we - I - have been paying too much attention to point estimates of regreesion coefficients and to point predictions from fitted regressions rather than paying attention to uncertainty (as any proper Bayesian should). But I promised you an exploration of principal components regression in the title of this notebook, so let’s try it with these data sets and see what happens.

Principal components regression

As the name suggests, the first step in a principal components regression is a principal components analysis, specifically a principal components analysis of the covariates.2

pca_1 <- princomp(dat_1[, 2:10], cor = TRUE)
pca_2 <- princomp(dat_2[, 2:10], cor = TRUE)

plot(pca_1)

plot(pca_2)

In both cases the screeplot suggests that the first two principal components account for essentially all of the variance. That shouldn’t be too surprising, since the correlation matrix is so highly structured. Alternate rows are (approximately) equal to one another in the correlation matrix used to generate the data. It also shouldn’t be too surprising that the estimated loadings on the first two principals component are fairly similar in the two data sets.

cat("Data set 1\n")
Data set 1
round(pca_1$loadings[, 1:2], 3)
   Comp.1 Comp.2
x1  0.376  0.223
x2  0.256 -0.431
x3  0.374  0.227
x4  0.249 -0.434
x5  0.368  0.266
x6  0.252 -0.430
x7  0.377  0.236
x8  0.291 -0.407
x9  0.406  0.220
cat("\nData set 2\n")

Data set 2
round(pca_2$loadings[, 1:2], 3)
   Comp.1 Comp.2
x1  0.404  0.179
x2  0.205 -0.465
x3  0.411  0.174
x4  0.224 -0.446
x5  0.391  0.216
x6  0.237 -0.438
x7  0.384  0.237
x8  0.243 -0.429
x9  0.400  0.209

Regression on the principal components

Since the first two principal components accounts for so much of the variance, let’s regress y on the score associated with the first principal component.


dat_1_new <- data.frame(y = dat_1$y, 
                        x1 = pca_1$scores[, 1],
                        x2 = pca_1$scores[, 2])
dat_2_new <- data.frame(y = dat_2$y, 
                        x1 = pca_2$scores[, 1],
                        x2 = pca_2$scores[, 2])

cat("Data set 1\n")
Data set 1
lm_for_pred_1 <- lm(y ~ x1 + x2, data = dat_1_new)
summary(lm_for_pred_1)

Call:
lm(formula = y ~ x1 + x2, data = dat_1_new)

Residuals:
   Min     1Q Median     3Q    Max 
-5.697 -1.300 -0.061  1.200  5.026 

Coefficients:
            Estimate Std. Error t value Pr(>|t|)    
(Intercept)   0.8984     0.2113   4.251 4.89e-05 ***
x1            0.5329     0.1004   5.306 7.08e-07 ***
x2            0.6533     0.1223   5.342 6.07e-07 ***
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

Residual standard error: 2.113 on 97 degrees of freedom
Multiple R-squared:  0.3689,    Adjusted R-squared:  0.3559 
F-statistic: 28.35 on 2 and 97 DF,  p-value: 2.022e-10
cat("\nData set 2\n")

Data set 2
lm_for_pred_2 <- lm(y ~ x1 + x2, data = dat_2_new)
summary(lm_for_pred_2)

Call:
lm(formula = y ~ x1 + x2, data = dat_2_new)

Residuals:
    Min      1Q  Median      3Q     Max 
-4.5704 -1.4218 -0.1672  1.3223  4.1186 

Coefficients:
            Estimate Std. Error t value Pr(>|t|)    
(Intercept)   1.3290     0.2037   6.524 3.11e-09 ***
x1            0.4170     0.1003   4.156 6.98e-05 ***
x2            0.8141     0.1118   7.283 8.68e-11 ***
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

Residual standard error: 2.037 on 97 degrees of freedom
Multiple R-squared:  0.4202,    Adjusted R-squared:  0.4083 
F-statistic: 35.16 on 2 and 97 DF,  p-value: 3.292e-12

Although the point estimates aren’t exactly equal (you shouldn’t expect them to be), they’re reasonably close. Moreover, if we run a Bayesian version of the analysis, the credible intervals overlap very broady.

library(rstanarm)

options(mc.cores = parallel::detectCores())

stan_lm_for_pred_1 <- stan_glm(y ~ x1 + x2, data = dat_1_new, family = gaussian(), refresh = 0)
stan_lm_for_pred_2 <- stan_glm(y ~ x1 + x2, data = dat_2_new, family = gaussian(), refresh = 0)
summary(stan_lm_for_pred_1, digits = 3)

Model Info:

 function:     stan_glm
 family:       gaussian [identity]
 formula:      y ~ x1 + x2
 algorithm:    sampling
 priors:       see help('prior_summary')
 sample:       4000 (posterior sample size)
 observations: 100
 predictors:   3

Estimates:
                mean     sd       2.5%     25%      50%      75%      97.5% 
(Intercept)      0.899    0.218    0.485    0.753    0.897    1.041    1.324
x1               0.532    0.101    0.333    0.463    0.532    0.603    0.728
x2               0.651    0.120    0.414    0.572    0.653    0.730    0.890
sigma            2.131    0.150    1.855    2.029    2.121    2.224    2.448
mean_PPD         0.895    0.305    0.308    0.689    0.900    1.098    1.506
log-posterior -224.273    1.405 -227.823 -224.942 -223.947 -223.241 -222.484

Diagnostics:
              mcse  Rhat  n_eff
(Intercept)   0.003 1.000 4381 
x1            0.001 1.000 4955 
x2            0.002 1.000 4826 
sigma         0.002 1.000 4563 
mean_PPD      0.005 1.000 4205 
log-posterior 0.032 1.001 1872 

For each parameter, mcse is Monte Carlo standard error, n_eff is a crude measure of effective sample size, and Rhat is the potential scale reduction factor on split chains (at convergence Rhat=1).
summary(stan_lm_for_pred_2, digits = 3)

Model Info:

 function:     stan_glm
 family:       gaussian [identity]
 formula:      y ~ x1 + x2
 algorithm:    sampling
 priors:       see help('prior_summary')
 sample:       4000 (posterior sample size)
 observations: 100
 predictors:   3

Estimates:
                mean     sd       2.5%     25%      50%      75%      97.5% 
(Intercept)      1.326    0.204    0.925    1.196    1.326    1.456    1.731
x1               0.414    0.100    0.216    0.349    0.414    0.479    0.612
x2               0.812    0.114    0.590    0.736    0.811    0.887    1.039
sigma            2.058    0.148    1.792    1.954    2.050    2.150    2.372
mean_PPD         1.332    0.291    0.764    1.131    1.329    1.528    1.914
log-posterior -220.636    1.437 -224.331 -221.367 -220.317 -219.550 -218.869

Diagnostics:
              mcse  Rhat  n_eff
(Intercept)   0.003 1.000 4720 
x1            0.001 1.000 4435 
x2            0.002 0.999 4683 
sigma         0.002 1.000 4576 
mean_PPD      0.005 1.000 4192 
log-posterior 0.033 1.002 1925 

For each parameter, mcse is Monte Carlo standard error, n_eff is a crude measure of effective sample size, and Rhat is the potential scale reduction factor on split chains (at convergence Rhat=1).

Prediction from principal components

Predicting y from new data is a bit more complicated than in the past. We have to calculate scores on the first two principal components from the new data and feed those scores to predict().

new_data <- data.frame(x1 = 4.0, x2 = 4.0, x3 = 4.0,
                       x4 = 4.0, x5 = 4.0, x6 = 4.0,
                       x7 = 4.0, x8 = 4.0, x9 = 4.0)

pred_1 <- as.matrix(new_data) %*% pca_1$loadings[, 1:2]
pred_2 <- as.matrix(new_data) %*% pca_2$loadings[, 1:2]

dat_pred_1 <- data.frame(x1 = pred_1[1],
                         x2 = pred_1[2])
dat_pred_2 <- data.frame(x1 = pred_2[1],
                         x2 = pred_2[2])

pred_from_1 <- predict.lm(lm_for_pred_1, dat_pred_1)
pred_from_2 <- predict.lm(lm_for_pred_2, dat_pred_2)

cat("Prediction from data set 1: ", pred_from_1, "\n",
    "Prediction from data set 2: ", pred_from_2, "\n",
    "True answer:                ", beta0 + as.matrix(new_data) %*% beta, "\n", sep = "")
Prediction from data set 1: 5.803723
Prediction from data set 2: 3.68063
True answer:                5

Unfortunately, our predictions are about the same as they were before. Given that the estimated regression coefficients aren’t too different from one another, this suggests that the challenges of prediction may have more to do with extrapolating beyond the bounds of the observed data than with uncertainty about regression coefficients. And remember, the underlying process generating these data is linear. Imagine how bad our extrapolations could be if the underlying process were non-linear, was well approximated by a linear regression in the observed range of the data, and our extrapolation goes beyond the observed data.

Conclusions

Principal components regression does seem to stabilize estimates of regression coefficients a bit, particularly when you realize the amount of uncertainty associated with those estimates. When you take uncertainty into account, you really don’t have any evidence that the estimates you’re getting are different. That’s good news.

The bad news is that our predictions don’t seem to be any more stable.To be fair, I haven’t tried to assess uncertainty in the predictions. There’s a good chance that if I did, the predictions wouldn’t look all that different. If you want to check out my intuition, you should be able to use posterior_predict() on the objects from the stan_lm() analyses with the same data frames used here to get posterior prediction intervals.

Oh, what the heck I’m curious to see what happens when we run posterior_predict() on the stan_glm() results, so here goes:

predict_1 <- posterior_predict(stan_lm_for_pred_1, dat_pred_1, type = "response")
predict_2 <- posterior_predict(stan_lm_for_pred_2, dat_pred_2, type = "response")

summarize_posterior <- function(x, credible = 0.95, digits = 3) {
  lo_p <- (1.0 - credible)/2.0
  hi_p <- credible + lo_p
  ci <- quantile(x, c(lo_p, hi_p))
  cat(round(mean(x), 3), " (", round(ci[1], 3), ",", round(ci[2], 3), ")\n", sep = "")
}

cat("Data set 1\n")
Data set 1
summarize_posterior(predict_1)
5.811 (1.013,10.653)
cat("\nData set 2\n")

Data set 2
summarize_posterior(predict_2)
3.677 (-1.051,8.327)

Wow! Those are pretty broad intervals, and you can see that they overlap broadly. So I was right. Although the point estimates look different from one another, there clearly isn’t a difference between the posterior predictions that you could defend as meaningful.

Actually, that’s not all of the bad news. The other bad news is that interpreting a principal components regression is less straightforward than interpreting a regression directly on the covariates. Granted, the principal components are (by definition) statistically unrelated to one another, but we’re now faced with interpreting what they mean. In this case we can say that the first principal component reflects (roughly) the sum of all of the covariates and that the second principal component reflects (roughly) the difference between the sum of odd and even covariates. In nearly every principal component analysis of biological data I’ve done, deciding how to provide a verbal interpretation of the principal components has been a challenge, not to mention that a screeplot rarely shows such a clean break between components that matter and those that don’t.

So are there other alternatives for reducing the number of covariates? Would I be asking this question if there weren’t. We’ll take a look at the LASSO in the next notebook, and in the one following that I’ll force you to think Bayesian and explore hierarchical shrinkage priors, specifically the regularize horseshoe prior that’s available in rstanarm(). That will probably be the end of the series, except that by popular request3 I may try to formulate a checklist that summarizes what we’ve learned in a concluding post.


  1. I’m drawing heavily on Collinearity Diagnostics, Model Fit & Variable Contribution for this discussion.

  2. If you’re not familiar with principal components analysis, Wikipedia has a nice overview: https://en.wikipedia.org/wiki/Principal_component_analysis.

  3. Well, I’ve only had one request, but it’s probably worth formulating a checklist anyway, if I can come up with one that I don’t feel embarassed about.

LS0tCnRpdGxlOiAiUHJpbmNpcGFsIGNvbXBvbmVudHMgcmVncmVzc2lvbiIKb3V0cHV0OiBodG1sX25vdGVib29rCi0tLQoKSWYgeW91J3ZlIHN0dWRpZWQgbXVsdGlwbGUgcmVncmVzc2lvbiBiZWZvcmUsIHlvdSd2ZSBwcm9iYWJseSBoZWFyZCB0aGUgdGVybSAiY29sbGluZWFyaXR5Ii4gQ29sbGluZWFyaXR5IG1lYW5zIHRoYXQgdHdvIG9yIG1vcmUgY292YXJpYXRlcyBhcmUgcHJvdmlkaW5nIGVzc2VudGlhbGx5IHRoZSBzYW1lIGluZm9ybWF0aW9uIGFib3V0IHRoZSByZXNwb25zZSB2YXJpYWJsZS4gV2hlbiBjb3ZhcmlhdGVzIGFyZSBoaWdobHkgY29sbGluZWFyLCAicmVncmVzc2lvbiBlc3RpbWF0ZXMgYXJlIHVuc3RhYmxlIGFuZCBoYXZlIGhpZ2ggc3RhbmRhcmQgZXJyb3JzLiJbXjFdIFRoZSBWYXJpYW5jZSBJbmZsYXRpb24gRmFjdG9yIChWSUYpIGlzIGNvbW1vbmx5IHVzZWQgdG8gYXNzZXNzIGhvdyBtdWNoIG9mIGEgcHJvYmxlbSB3ZSBoYXZlIHdpdGggY29sbGluZWFyaXR5LiBBIFZJRiBncmVhdGVyIHRoYW4gNCBtZWFucyB0aGF0IHdlIHNob3VsZCBsb29rIGNhcmVmdWxseSBhdCBvdXIgY292YXJpYXRlcyAod2l0aG91dCB0ZWxsaW5nIHdoYXQgd2Ugc2hvdWxkIGRvIG9uY2Ugd2UndmUgbG9va2VkIGF0IHRoZW0pLiBBIFZJRiBncmVhdGVyIHRoYW4gMTAgbWVhbnMgd2UgaGF2ZSBzZXJpb3VzIHByb2JsZW1zIHRoYXQgd2Ugc2hvdWxkIGZpeCAoYWdhaW4gd2l0aG91dCBnaXZpbmcgdXMgYW55IGFkdmljZSBhYm91dCBob3cgdG8gZml4IHRoZW0pLiBMZXQncyB0YWtlIGEgbG9vayBhdCB0aGUgVklGIGVzdGltYXRlcyBmb3IgdGhlIHNhbXBsZSBkYXRhIHdlJ3ZlIGJlZW4gdXNpbmcgYW5kIHNlZSB3aGF0IHdlIGZpbmQuIAoKIyMgUmVnZW5lcmF0aW5nIHRoZSBkYXRhCgpGaXJzdCB3ZSBoYXZlIHRvIHJlZ2VuZXJhdGUgdGhlIGRhdGEuCmBgYHtyIHNldHVwLCB3YXJuaW5nID0gRkFMU0UsIG1lc3NhZ2UgPSBGQUxTRX0KbGlicmFyeSh0aWR5dmVyc2UpCmxpYnJhcnkocmVzaGFwZTIpCmxpYnJhcnkoZ2dwbG90MikKbGlicmFyeShjb3dwbG90KQpsaWJyYXJ5KG12dG5vcm0pCmxpYnJhcnkoY29ycnBsb3QpCgpybShsaXN0ID0gbHMoKSkKYGBgCgpgYGB7cn0KIyMgaW50ZXRjZXB0CiMjCmJldGEwIDwtIDEuMAojIyByZWdyZXNzaW9uIGNvZWZmaWNpZW50cwojIwpiZXRhIDwtIGMoMS4wLCAtMS4wLCAxLjAsIDAuMCwgMC4wLCAwLjAsIDAuMCwgMC4wLCAwLjApCiMjIHBhdHRlcm4gb2YgY29ycmVsYXRpb24gbWF0cml4LCBhbGwgbm9uLXplcm8gZW50cmllcyBhcmUgc2V0IHRvIHNhZW0KIyMgY29ycmVsYXRpb24sIGNvdmFyaWFuY2UgbWF0cml4IGNhbGR1bGF0ZWQgZnJvbSBpbmRpdmlkdWFsIHZhcmlhbmNlcyBhbmQgYSAKIyMgc2luZ2xlIGFzc29jaWF0aW9uIHBhcmFtZXRlciBnb3Zlcm5pbmcgdGhlIG5vbi16ZXJvIGNvcnJlbGF0aW9uIGNvZWZmaWNpZW50cwojIwojIyBOb3RlOiBOb3QganVzdCBhbnkgcGF0dGVybiB3aWxsIHdvcmsgaGVyZS4gVGhlIGNvcnJlbGF0aW9uIG1hdHJpeCBhbmQKIyMgY292YXJpYW5jZSBtYXRyaXggZ2VuZXJhdGVkIGZyb20gdGhpcyBwYXR0ZXJuIG11c3QgYmUgcG9zaXRpdmUgZGVmaW5pdGUuCiMjIElmIHlvdSBjaGFuZ2UgdGhpcyBwYXR0ZXJuLCB5b3UgbWF5IGdldCBhbiBlcnJvciB3aGVuIHlvdSB0cnkgdG8gZ2VuZXJhdGUKIyMgZGF0YSB3aXRoIGEgbm9uLXplcm8gYXNzb2NpYXRpb24gcGFyYW1ldGVyLgojIwpSaG8gPC0gbWF0cml4KG5yb3cgPSA5LCBuY29sID0gLCBieXJvdyA9IFRSVUUsIAogICAgICAgICAgICAgIGRhdGEgPSBjKDEsMCwxLDAsMSwwLDEsMCwxLAogICAgICAgICAgICAgICAgICAgICAgIDAsMSwwLDEsMCwxLDAsMSwwLAogICAgICAgICAgICAgICAgICAgICAgIDEsMCwxLDAsMSwwLDEsMCwxLAogICAgICAgICAgICAgICAgICAgICAgIDAsMSwwLDEsMCwxLDAsMSwwLAogICAgICAgICAgICAgICAgICAgICAgIDEsMCwxLDAsMSwwLDEsMCwxLAogICAgICAgICAgICAgICAgICAgICAgIDAsMSwwLDEsMCwxLDAsMSwwLAogICAgICAgICAgICAgICAgICAgICAgIDEsMCwxLDAsMSwwLDEsMCwxLAogICAgICAgICAgICAgICAgICAgICAgIDAsMSwwLDEsMCwxLDAsMSwwLAogICAgICAgICAgICAgICAgICAgICAgIDEsMCwxLDAsMSwwLDEsMCwxCiAgICAgICAgICAgICAgICAgICAgICAgKSkKIyMgdmVjdG9yIG9mIHN0YW5kYXJkIGRldmlhdGlvbnMgZm9yIGNvdmFyaWF0ZXMKIyMKc2lnbWEgPC0gcmVwKDEsIDkpCgojIyBjb25zdHJ1Y3QgYSBjb3ZhcmlhbmNlIG1hdHJpeCBmcm9tIHRoZSBwYXR0ZXJuLCBzdGFuZGFyZCBkZXZpYXRpb25zLCBhbmQKIyMgb25lIHBhcmFtZXRlciBpbiBbLTEsMV0gdGhhdCBnb3Zlcm5zIHRoZSBtYWduaXR1ZGUgb2Ygbm9uLXplcm8gY29ycmVsYXRpb24KIyMgY29lZmZpY2llbnRzCiMjCiMjIFJobyAtIHRoZSBwYXR0ZXJuIG9mIGFzc29jaWF0aW9ucwojIyBzaWdtYSAtIHRoZSB2ZWN0b3Igb2Ygc3RhbmRhcmQgZGV2aWF0aW9ucwojIyByaG8gLSB0aGUgYXNzb2NpYXRpb24gcGFyYW1ldGVyCiMjCmNvbnN0cnVjdF9TaWdtYSA8LSBmdW5jdGlvbihSaG8sIHNpZ21hLCByaG8pIHsKICAjIyBnZXQgdGhlIGNvcnJlbGF0aW9uIG1hdHJpcwogICMjCiAgUmhvIDwtIFJobypyaG8KICBmb3IgKGkgaW4gMTpuY29sKFJobykpIHsKICAgIFJob1tpLGldIDwtIDEuMAogIH0KICAjIyBub3RpY2UgdGhlIHVzZSBvZiBtYXRyaXggbXVsdGlwbGljYXRpb24KICAjIwogIFNpZ21hIDwtIGRpYWcoc2lnbWEpICUqJSBSaG8gJSolIGRpYWcoc2lnbWEpCiAgcmV0dXJuKFNpZ21hKQp9CgojIyBzZXQgdGhlIHJhbmRvbSBudW1iZXIgc2VlZCBtYW51YWxseSBzbyB0aGF0IGV2ZXJ5IHJ1biBvZiB0aGUgY29kZSB3aWxsIAojIyBwcm9kdWNlIHRoZSBzYW1lIG51bWJlcnMKIyMKc2V0LnNlZWQoMTIzNCkKCm5fc2FtcCA8LSAxMDAKY292X3N0ciA8LSBybXZub3JtKG5fc2FtcCwKICAgICAgICAgICAgICAgICAgIG1lYW4gPSByZXAoMCwgbnJvdyhSaG8pKSwKICAgICAgICAgICAgICAgICAgIHNpZ21hID0gY29uc3RydWN0X1NpZ21hKFJobywgc2lnbWEsIDAuOCkpCgpyZXNpZCA8LSByZXAoMi4wLCBuX3NhbXApCgp5X3N0ciA8LSBybm9ybShucm93KGNvdl9zdHIpLCBtZWFuID0gYmV0YTAgKyBjb3Zfc3RyICUqJSBiZXRhLCBzZCA9IHJlc2lkKQpkYXRfMSA8LSBkYXRhLmZyYW1lKHlfc3RyLCBjb3Zfc3RyLCByZXAoIlN0cm9uZyIsIGxlbmd0aCh5X3N0cikpKQoKY292X3N0ciA8LSBybXZub3JtKG5fc2FtcCwKICAgICAgICAgICAgICAgICAgIG1lYW4gPSByZXAoMCwgbnJvdyhSaG8pKSwKICAgICAgICAgICAgICAgICAgIHNpZ21hID0gY29uc3RydWN0X1NpZ21hKFJobywgc2lnbWEsIDAuOCkpCnlfc3RyIDwtIHJub3JtKG5yb3coY292X3N0ciksIG1lYW4gPSBiZXRhMCArIGNvdl9zdHIgJSolIGJldGEsIHNkID0gcmVzaWQpCmRhdF8yIDwtIGRhdGEuZnJhbWUoeV9zdHIsIGNvdl9zdHIsIHJlcCgiU3Ryb25nIiwgbGVuZ3RoKHlfc3RyKSkpCgpjb2x1bW5fbmFtZXMgPC0gYygieSIsIHBhc3RlKCJ4Iiwgc2VxKDEsIGxlbmd0aChiZXRhKSksIHNlcCA9ICIiKSwgIlNjZW5hcmlvIikKY29sbmFtZXMoZGF0XzEpIDwtIGNvbHVtbl9uYW1lcwpjb2xuYW1lcyhkYXRfMikgPC0gY29sdW1uX25hbWVzCmBgYAoKIyMgRXhhbWluaW5nIFZJRiBlc3RpbWF0ZXMKCk5vdyB0aGF0IHdlIGhhdmUgdGhlIGRhdGEsIHdlJ2xsIHVzZSBgdmlmKClgIGZyb20gdGhlIGBjYXJgIHBhY2thZ2UgdG8gbG9vayBhdCB0aGUgVklGcyBmcm9tIGFuYWx5c2lzIG9mIGVhY2ggb2YgdGhlIHR3byBkYXRhIHNldHMuCgpgYGB7cn0KbGlicmFyeShjYXIpCgpsbV9mb3JfcHJlZF8xIDwtIGxtKHkgfiB4MSArIHgyICsgeDMsIGRhdGEgPSBkYXRfMSkKbG1fZm9yX3ByZWRfMiA8LSBsbSh5IH4geDEgKyB4MiArIHgzLCBkYXRhID0gZGF0XzIpCmNhdCgiRnJvbSBkYXRhIHNldCAxXG4iKQp2aWYobG1fZm9yX3ByZWRfMSkKY2F0KCJcbkZyb20gZGF0YSBzZXQgMlxuIikKdmlmKGxtX2Zvcl9wcmVkXzIpCmBgYAoKVGhlIFZJRiBjb2VmZmljaWVudHMgcmVwb3J0ZWQgaW4gZWFjaCBjYXNlIGRvbid0IGxvb2sgdG9vIGJhZC4gVGhlIHdvcnN0IG9mIHRoZW0sIGB4M2AsIGlzIGxlc3MgdGhhbiAyLjMsIHNvIHdlIHdvdWxkbid0IG5vcm1hbGx5IHRoaW5rIHRoYXQgY29sbGluZWFyaXR5IGlzIGEgcHJvYmxlbS4gSWYgd2UgZG8gdGhlIHNhbWUgYW5hbHlzaXMgd2hlbiB3ZSBpbmNsdWRlIG9ubHkgYHgxYCBhbmQgYHgyYCBpbiBvdXIgYW5hbHlzaXMgdGhlcmUncyBldmVuIGxlc3MgaW5kaWNhdGlvbiBvZiBhIHByb2JsZW0sIGFzIHlvdSBjYW4gc2VlLgoKYGBge3J9CmxtX2Zvcl9wcmVkXzEgPC0gbG0oeSB+IHgxICsgeDIsIGRhdGEgPSBkYXRfMSkKbG1fZm9yX3ByZWRfMiA8LSBsbSh5IH4geDEgKyB4MiwgZGF0YSA9IGRhdF8yKQpjYXQoIkZyb20gZGF0YSBzZXQgMVxuIikKdmlmKGxtX2Zvcl9wcmVkXzEpCmNhdCgiXG5Gcm9tIGRhdGEgc2V0IDJcbiIpCnZpZihsbV9mb3JfcHJlZF8yKQpgYGAKCkluIG9uZSBzZW5zZSwgSSBzaG91bGQgcHJvYmFibHkgc3RvcCBoZXJlLiBJZiB5b3Ugd2VyZSBwYXlpbmcgYXR0ZW50aW9uIHRvIGZvb3Rub3RlcyBpbiB0aGUgbGFzdCBub3RlYm9vaywgeW91IHdpbGwgaGF2ZSBub3RpY2VkIHRoYXQgW2Zvb3Rub3RlIDRdKGh0dHA6Ly9kYXJ3aW4uZWViLnVjb25uLmVkdS9wYWdlcy92YXJpYWJsZS1zZWxlY3Rpb24vcmVkdWNpbmctdGhlLW51bWJlci1vZi1jb3ZhcmlhdGVzLm5iLmh0bWwjZm40KSBzYWlkIHRoaXM6Cgo+IFRvIGJlIGZhaXIsIHBhcnQgb2YgdGhlIHByb2JsZW0gaGVyZSBjb21lcyBmcm9tIGxvb2tpbmcgb25seSBhdCB0aGUgcG9pbnQgZXN0aW1hdGVzLiBMb29rIGF0IHRoZSByZXN1bHRzIGZyb20gcnN0YW5hcm0oKSBhZ2Fpbi4gWW914oCZbGwgc2VlIHRoYXQgdGhlIGNyZWRpYmxlIGludGVydmFscyBmb3IgeDEgYW5kIHgyIGFzIGVzdGltYXRlZCBmcm9tIGRhdGEgc2V0IDEgb3ZlcmxhcCBicm9hZGx5IHdpdGggdGhvc2UgZXN0aW1hdGVkIGZyb20gZGF0YSBzZXQgMi4gVGhlIGVzdGltYXRlcyBhcmVu4oCZdCBhcyBkaWZmZXJlbnQgZnJvbSBvbmUgYW5vdGhlciBhcyB0aGV5IGluaXRpYWxseSBhcHBlYXIuIE5laXRoZXIgYXJlIHRoZSBwb3N0ZXJpb3IgcHJlZGljdGlvbnMuIChWZXJpZnlpbmcgdGhhdCBpcyBsZWZ0IGFzIGFuIGV4ZXJjaXNlIGZvciB0aG9zZSB3aG8gYXJlIGludGVyZXN0ZWQuKQoKVGhlIHByb2JsZW0gbWlnaHQgYmUgdGhhdCB3ZSAtIEkgLSBoYXZlIGJlZW4gcGF5aW5nIHRvbyBtdWNoIGF0dGVudGlvbiB0byBwb2ludCBlc3RpbWF0ZXMgb2YgcmVncmVlc2lvbiBjb2VmZmljaWVudHMgYW5kIHRvIHBvaW50IHByZWRpY3Rpb25zIGZyb20gZml0dGVkIHJlZ3Jlc3Npb25zIHJhdGhlciB0aGFuIHBheWluZyBhdHRlbnRpb24gdG8gdW5jZXJ0YWludHkgKGFzIGFueSBwcm9wZXIgQmF5ZXNpYW4gc2hvdWxkKS4gQnV0IEkgcHJvbWlzZWQgeW91IGFuIGV4cGxvcmF0aW9uIG9mIHByaW5jaXBhbCBjb21wb25lbnRzIHJlZ3Jlc3Npb24gaW4gdGhlIHRpdGxlIG9mIHRoaXMgbm90ZWJvb2ssIHNvIGxldCdzIHRyeSBpdCB3aXRoIHRoZXNlIGRhdGEgc2V0cyBhbmQgc2VlIHdoYXQgaGFwcGVucy4KCiMjIFByaW5jaXBhbCBjb21wb25lbnRzIHJlZ3Jlc3Npb24KCkFzIHRoZSBuYW1lIHN1Z2dlc3RzLCB0aGUgZmlyc3Qgc3RlcCBpbiBhIHByaW5jaXBhbCBjb21wb25lbnRzIHJlZ3Jlc3Npb24gaXMgYSBwcmluY2lwYWwgY29tcG9uZW50cyBhbmFseXNpcywgc3BlY2lmaWNhbGx5IGEgcHJpbmNpcGFsIGNvbXBvbmVudHMgYW5hbHlzaXMgb2YgdGhlIGNvdmFyaWF0ZXMuW14yXQoKYGBge3J9CnBjYV8xIDwtIHByaW5jb21wKGRhdF8xWywgMjoxMF0sIGNvciA9IFRSVUUpCnBjYV8yIDwtIHByaW5jb21wKGRhdF8yWywgMjoxMF0sIGNvciA9IFRSVUUpCgpwbG90KHBjYV8xKQpwbG90KHBjYV8yKQpgYGAKCkluIGJvdGggY2FzZXMgdGhlIHNjcmVlcGxvdCBzdWdnZXN0cyB0aGF0IHRoZSBmaXJzdCB0d28gcHJpbmNpcGFsIGNvbXBvbmVudHMgYWNjb3VudCBmb3IgZXNzZW50aWFsbHkgYWxsIG9mIHRoZSB2YXJpYW5jZS4gVGhhdCBzaG91bGRuJ3QgYmUgdG9vIHN1cnByaXNpbmcsIHNpbmNlIHRoZSBjb3JyZWxhdGlvbiBtYXRyaXggaXMgc28gaGlnaGx5IHN0cnVjdHVyZWQuIEFsdGVybmF0ZSByb3dzIGFyZSAoYXBwcm94aW1hdGVseSkgZXF1YWwgdG8gb25lIGFub3RoZXIgaW4gdGhlIGNvcnJlbGF0aW9uIG1hdHJpeCB1c2VkIHRvIGdlbmVyYXRlIHRoZSBkYXRhLiBJdCBhbHNvIHNob3VsZG4ndCBiZSB0b28gc3VycHJpc2luZyB0aGF0IHRoZSBlc3RpbWF0ZWQgbG9hZGluZ3Mgb24gdGhlIGZpcnN0IHR3byBwcmluY2lwYWxzIGNvbXBvbmVudCBhcmUgZmFpcmx5IHNpbWlsYXIgaW4gdGhlIHR3byBkYXRhIHNldHMuCgpgYGB7cn0KY2F0KCJEYXRhIHNldCAxXG4iKQpyb3VuZChwY2FfMSRsb2FkaW5nc1ssIDE6Ml0sIDMpCmNhdCgiXG5EYXRhIHNldCAyXG4iKQpyb3VuZChwY2FfMiRsb2FkaW5nc1ssIDE6Ml0sIDMpCmBgYAoKIyMjIFJlZ3Jlc3Npb24gb24gdGhlIHByaW5jaXBhbCBjb21wb25lbnRzCgpTaW5jZSB0aGUgZmlyc3QgdHdvIHByaW5jaXBhbCBjb21wb25lbnRzIGFjY291bnRzIGZvciBzbyBtdWNoIG9mIHRoZSB2YXJpYW5jZSwgbGV0J3MgcmVncmVzcyBgeWAgb24gdGhlIHNjb3JlIGFzc29jaWF0ZWQgd2l0aCB0aGUgZmlyc3QgcHJpbmNpcGFsIGNvbXBvbmVudC4KCmBgYHtyfQoKZGF0XzFfbmV3IDwtIGRhdGEuZnJhbWUoeSA9IGRhdF8xJHksIAogICAgICAgICAgICAgICAgICAgICAgICB4MSA9IHBjYV8xJHNjb3Jlc1ssIDFdLAogICAgICAgICAgICAgICAgICAgICAgICB4MiA9IHBjYV8xJHNjb3Jlc1ssIDJdKQpkYXRfMl9uZXcgPC0gZGF0YS5mcmFtZSh5ID0gZGF0XzIkeSwgCiAgICAgICAgICAgICAgICAgICAgICAgIHgxID0gcGNhXzIkc2NvcmVzWywgMV0sCiAgICAgICAgICAgICAgICAgICAgICAgIHgyID0gcGNhXzIkc2NvcmVzWywgMl0pCgpjYXQoIkRhdGEgc2V0IDFcbiIpCmxtX2Zvcl9wcmVkXzEgPC0gbG0oeSB+IHgxICsgeDIsIGRhdGEgPSBkYXRfMV9uZXcpCnN1bW1hcnkobG1fZm9yX3ByZWRfMSkKY2F0KCJcbkRhdGEgc2V0IDJcbiIpCmxtX2Zvcl9wcmVkXzIgPC0gbG0oeSB+IHgxICsgeDIsIGRhdGEgPSBkYXRfMl9uZXcpCnN1bW1hcnkobG1fZm9yX3ByZWRfMikKYGBgCgpBbHRob3VnaCB0aGUgcG9pbnQgZXN0aW1hdGVzIGFyZW4ndCBleGFjdGx5IGVxdWFsICh5b3Ugc2hvdWxkbid0IGV4cGVjdCB0aGVtIHRvIGJlKSwgdGhleSdyZSByZWFzb25hYmx5IGNsb3NlLiBNb3Jlb3ZlciwgaWYgd2UgcnVuIGEgQmF5ZXNpYW4gdmVyc2lvbiBvZiB0aGUgYW5hbHlzaXMsIHRoZSBjcmVkaWJsZSBpbnRlcnZhbHMgb3ZlcmxhcCB2ZXJ5IGJyb2FkeS4KCmBgYHtyfQpsaWJyYXJ5KHJzdGFuYXJtKQoKb3B0aW9ucyhtYy5jb3JlcyA9IHBhcmFsbGVsOjpkZXRlY3RDb3JlcygpKQoKc3Rhbl9sbV9mb3JfcHJlZF8xIDwtIHN0YW5fZ2xtKHkgfiB4MSArIHgyLCBkYXRhID0gZGF0XzFfbmV3LCBmYW1pbHkgPSBnYXVzc2lhbigpLCByZWZyZXNoID0gMCkKc3Rhbl9sbV9mb3JfcHJlZF8yIDwtIHN0YW5fZ2xtKHkgfiB4MSArIHgyLCBkYXRhID0gZGF0XzJfbmV3LCBmYW1pbHkgPSBnYXVzc2lhbigpLCByZWZyZXNoID0gMCkKc3VtbWFyeShzdGFuX2xtX2Zvcl9wcmVkXzEsIGRpZ2l0cyA9IDMpCnN1bW1hcnkoc3Rhbl9sbV9mb3JfcHJlZF8yLCBkaWdpdHMgPSAzKQpgYGAKCiMjIyBQcmVkaWN0aW9uIGZyb20gcHJpbmNpcGFsIGNvbXBvbmVudHMKClByZWRpY3RpbmcgYHlgIGZyb20gbmV3IGRhdGEgaXMgYSBiaXQgbW9yZSBjb21wbGljYXRlZCB0aGFuIGluIHRoZSBwYXN0LiBXZSBoYXZlIHRvIGNhbGN1bGF0ZSBzY29yZXMgb24gdGhlIGZpcnN0IHR3byBwcmluY2lwYWwgY29tcG9uZW50cyBmcm9tIHRoZSBuZXcgZGF0YSBhbmQgZmVlZCB0aG9zZSBzY29yZXMgdG8gYHByZWRpY3QoKWAuCgpgYGB7cn0KbmV3X2RhdGEgPC0gZGF0YS5mcmFtZSh4MSA9IDQuMCwgeDIgPSA0LjAsIHgzID0gNC4wLAogICAgICAgICAgICAgICAgICAgICAgIHg0ID0gNC4wLCB4NSA9IDQuMCwgeDYgPSA0LjAsCiAgICAgICAgICAgICAgICAgICAgICAgeDcgPSA0LjAsIHg4ID0gNC4wLCB4OSA9IDQuMCkKCnByZWRfMSA8LSBhcy5tYXRyaXgobmV3X2RhdGEpICUqJSBwY2FfMSRsb2FkaW5nc1ssIDE6Ml0KcHJlZF8yIDwtIGFzLm1hdHJpeChuZXdfZGF0YSkgJSolIHBjYV8yJGxvYWRpbmdzWywgMToyXQoKZGF0X3ByZWRfMSA8LSBkYXRhLmZyYW1lKHgxID0gcHJlZF8xWzFdLAogICAgICAgICAgICAgICAgICAgICAgICAgeDIgPSBwcmVkXzFbMl0pCmRhdF9wcmVkXzIgPC0gZGF0YS5mcmFtZSh4MSA9IHByZWRfMlsxXSwKICAgICAgICAgICAgICAgICAgICAgICAgIHgyID0gcHJlZF8yWzJdKQoKcHJlZF9mcm9tXzEgPC0gcHJlZGljdC5sbShsbV9mb3JfcHJlZF8xLCBkYXRfcHJlZF8xKQpwcmVkX2Zyb21fMiA8LSBwcmVkaWN0LmxtKGxtX2Zvcl9wcmVkXzIsIGRhdF9wcmVkXzIpCgpjYXQoIlByZWRpY3Rpb24gZnJvbSBkYXRhIHNldCAxOiAiLCBwcmVkX2Zyb21fMSwgIlxuIiwKICAgICJQcmVkaWN0aW9uIGZyb20gZGF0YSBzZXQgMjogIiwgcHJlZF9mcm9tXzIsICJcbiIsCiAgICAiVHJ1ZSBhbnN3ZXI6ICAgICAgICAgICAgICAgICIsIGJldGEwICsgYXMubWF0cml4KG5ld19kYXRhKSAlKiUgYmV0YSwgIlxuIiwgc2VwID0gIiIpCmBgYAoKVW5mb3J0dW5hdGVseSwgb3VyIHByZWRpY3Rpb25zIGFyZSBhYm91dCB0aGUgc2FtZSBhcyB0aGV5IHdlcmUgYmVmb3JlLiBHaXZlbiB0aGF0IHRoZSBlc3RpbWF0ZWQgcmVncmVzc2lvbiBjb2VmZmljaWVudHMgYXJlbid0IF90b29fIGRpZmZlcmVudCBmcm9tIG9uZSBhbm90aGVyLCB0aGlzIHN1Z2dlc3RzIHRoYXQgdGhlIGNoYWxsZW5nZXMgb2YgcHJlZGljdGlvbiBtYXkgaGF2ZSBtb3JlIHRvIGRvIHdpdGggZXh0cmFwb2xhdGluZyBiZXlvbmQgdGhlIGJvdW5kcyBvZiB0aGUgb2JzZXJ2ZWQgZGF0YSB0aGFuIHdpdGggdW5jZXJ0YWludHkgYWJvdXQgcmVncmVzc2lvbiBjb2VmZmljaWVudHMuIEFuZCByZW1lbWJlciwgdGhlIHVuZGVybHlpbmcgcHJvY2VzcyBnZW5lcmF0aW5nIHRoZXNlIGRhdGEgaXMgbGluZWFyLiBJbWFnaW5lIGhvdyBiYWQgb3VyIGV4dHJhcG9sYXRpb25zIGNvdWxkIGJlIGlmIHRoZSB1bmRlcmx5aW5nIHByb2Nlc3Mgd2VyZSBub24tbGluZWFyLCB3YXMgd2VsbCBhcHByb3hpbWF0ZWQgYnkgYSBsaW5lYXIgcmVncmVzc2lvbiBpbiB0aGUgb2JzZXJ2ZWQgcmFuZ2Ugb2YgdGhlIGRhdGEsIGFuZCBvdXIgZXh0cmFwb2xhdGlvbiBnb2VzIGJleW9uZCB0aGUgb2JzZXJ2ZWQgZGF0YS4KCiMjIENvbmNsdXNpb25zCgpQcmluY2lwYWwgY29tcG9uZW50cyByZWdyZXNzaW9uIGRvZXMgc2VlbSB0byBzdGFiaWxpemUgZXN0aW1hdGVzIG9mIHJlZ3Jlc3Npb24gY29lZmZpY2llbnRzIGEgYml0LCBwYXJ0aWN1bGFybHkgd2hlbiB5b3UgcmVhbGl6ZSB0aGUgYW1vdW50IG9mIHVuY2VydGFpbnR5IGFzc29jaWF0ZWQgd2l0aCB0aG9zZSBlc3RpbWF0ZXMuIFdoZW4geW91IHRha2UgdW5jZXJ0YWludHkgaW50byBhY2NvdW50LCB5b3UgcmVhbGx5IGRvbid0IGhhdmUgYW55IGV2aWRlbmNlIHRoYXQgdGhlIGVzdGltYXRlcyB5b3UncmUgZ2V0dGluZyBhcmUgZGlmZmVyZW50LiBUaGF0J3MgZ29vZCBuZXdzLgoKVGhlIGJhZCBuZXdzIGlzIHRoYXQgb3VyIHByZWRpY3Rpb25zIGRvbid0IHNlZW0gdG8gYmUgYW55IG1vcmUgc3RhYmxlLlRvIGJlIGZhaXIsIEkgaGF2ZW4ndCB0cmllZCB0byBhc3Nlc3MgdW5jZXJ0YWludHkgaW4gdGhlIHByZWRpY3Rpb25zLiBUaGVyZSdzIGEgZ29vZCBjaGFuY2UgdGhhdCBpZiBJIGRpZCwgdGhlIHByZWRpY3Rpb25zIHdvdWxkbid0IGxvb2sgYWxsIHRoYXQgZGlmZmVyZW50LiBJZiB5b3Ugd2FudCB0byBjaGVjayBvdXQgbXkgaW50dWl0aW9uLCB5b3Ugc2hvdWxkIGJlIGFibGUgdG8gdXNlIGBwb3N0ZXJpb3JfcHJlZGljdCgpYCBvbiB0aGUgb2JqZWN0cyBmcm9tIHRoZSBgc3Rhbl9sbSgpYCBhbmFseXNlcyB3aXRoIHRoZSBzYW1lIGRhdGEgZnJhbWVzIHVzZWQgaGVyZSB0byBnZXQgcG9zdGVyaW9yIHByZWRpY3Rpb24gaW50ZXJ2YWxzLgoKT2gsIHdoYXQgdGhlIGhlY2sgSSdtIGN1cmlvdXMgdG8gc2VlIHdoYXQgaGFwcGVucyB3aGVuIHdlIHJ1biBgcG9zdGVyaW9yX3ByZWRpY3QoKWAgb24gdGhlIGBzdGFuX2dsbSgpYCByZXN1bHRzLCBzbyBoZXJlIGdvZXM6CgpgYGB7cn0KcHJlZGljdF8xIDwtIHBvc3Rlcmlvcl9wcmVkaWN0KHN0YW5fbG1fZm9yX3ByZWRfMSwgZGF0X3ByZWRfMSwgdHlwZSA9ICJyZXNwb25zZSIpCnByZWRpY3RfMiA8LSBwb3N0ZXJpb3JfcHJlZGljdChzdGFuX2xtX2Zvcl9wcmVkXzIsIGRhdF9wcmVkXzIsIHR5cGUgPSAicmVzcG9uc2UiKQoKc3VtbWFyaXplX3Bvc3RlcmlvciA8LSBmdW5jdGlvbih4LCBjcmVkaWJsZSA9IDAuOTUsIGRpZ2l0cyA9IDMpIHsKICBsb19wIDwtICgxLjAgLSBjcmVkaWJsZSkvMi4wCiAgaGlfcCA8LSBjcmVkaWJsZSArIGxvX3AKICBjaSA8LSBxdWFudGlsZSh4LCBjKGxvX3AsIGhpX3ApKQogIGNhdChyb3VuZChtZWFuKHgpLCAzKSwgIiAoIiwgcm91bmQoY2lbMV0sIDMpLCAiLCIsIHJvdW5kKGNpWzJdLCAzKSwgIilcbiIsIHNlcCA9ICIiKQp9CgpjYXQoIkRhdGEgc2V0IDFcbiIpCnN1bW1hcml6ZV9wb3N0ZXJpb3IocHJlZGljdF8xKQpjYXQoIlxuRGF0YSBzZXQgMlxuIikKc3VtbWFyaXplX3Bvc3RlcmlvcihwcmVkaWN0XzIpCmBgYAoKV293ISBUaG9zZSBhcmUgcHJldHR5IGJyb2FkIGludGVydmFscywgYW5kIHlvdSBjYW4gc2VlIHRoYXQgdGhleSBvdmVybGFwIGJyb2FkbHkuIFNvIEkgd2FzIHJpZ2h0LiBBbHRob3VnaCB0aGUgcG9pbnQgZXN0aW1hdGVzIF9sb29rXyBkaWZmZXJlbnQgZnJvbSBvbmUgYW5vdGhlciwgdGhlcmUgY2xlYXJseSBpc24ndCBhIGRpZmZlcmVuY2UgYmV0d2VlbiB0aGUgcG9zdGVyaW9yIHByZWRpY3Rpb25zIHRoYXQgeW91IGNvdWxkIGRlZmVuZCBhcyBtZWFuaW5nZnVsLgogCgpBY3R1YWxseSwgdGhhdCdzIG5vdCBhbGwgb2YgdGhlIGJhZCBuZXdzLiBUaGUgb3RoZXIgYmFkIG5ld3MgaXMgdGhhdCBpbnRlcnByZXRpbmcgYSBwcmluY2lwYWwgY29tcG9uZW50cyByZWdyZXNzaW9uIGlzIGxlc3Mgc3RyYWlnaHRmb3J3YXJkIHRoYW4gaW50ZXJwcmV0aW5nIGEgcmVncmVzc2lvbiBkaXJlY3RseSBvbiB0aGUgY292YXJpYXRlcy4gR3JhbnRlZCwgdGhlIHByaW5jaXBhbCBjb21wb25lbnRzIGFyZSAoYnkgZGVmaW5pdGlvbikgc3RhdGlzdGljYWxseSB1bnJlbGF0ZWQgdG8gb25lIGFub3RoZXIsIGJ1dCB3ZSdyZSBub3cgZmFjZWQgd2l0aCBpbnRlcnByZXRpbmcgd2hhdCB0aGV5IG1lYW4uIEluIHRoaXMgY2FzZSB3ZSBjYW4gc2F5IHRoYXQgdGhlIGZpcnN0IHByaW5jaXBhbCBjb21wb25lbnQgcmVmbGVjdHMgKHJvdWdobHkpIHRoZSBzdW0gb2YgYWxsIG9mIHRoZSBjb3ZhcmlhdGVzIGFuZCB0aGF0IHRoZSBzZWNvbmQgcHJpbmNpcGFsIGNvbXBvbmVudCByZWZsZWN0cyAocm91Z2hseSkgdGhlIGRpZmZlcmVuY2UgYmV0d2VlbiB0aGUgc3VtIG9mIG9kZCBhbmQgZXZlbiBjb3ZhcmlhdGVzLiBJbiBuZWFybHkgZXZlcnkgcHJpbmNpcGFsIGNvbXBvbmVudCBhbmFseXNpcyBvZiBiaW9sb2dpY2FsIGRhdGEgSSd2ZSBkb25lLCBkZWNpZGluZyBob3cgdG8gcHJvdmlkZSBhIHZlcmJhbCBpbnRlcnByZXRhdGlvbiBvZiB0aGUgcHJpbmNpcGFsIGNvbXBvbmVudHMgaGFzIGJlZW4gYSBjaGFsbGVuZ2UsIG5vdCB0byBtZW50aW9uIHRoYXQgYSBzY3JlZXBsb3QgcmFyZWx5IHNob3dzIHN1Y2ggYSBjbGVhbiBicmVhayBiZXR3ZWVuIGNvbXBvbmVudHMgdGhhdCBtYXR0ZXIgYW5kIHRob3NlIHRoYXQgZG9uJ3QuCgpTbyBhcmUgdGhlcmUgb3RoZXIgYWx0ZXJuYXRpdmVzIGZvciByZWR1Y2luZyB0aGUgbnVtYmVyIG9mIGNvdmFyaWF0ZXM/IFdvdWxkIEkgYmUgYXNraW5nIHRoaXMgcXVlc3Rpb24gaWYgdGhlcmUgd2VyZW4ndC4gV2UnbGwgdGFrZSBhIGxvb2sgYXQgdGhlIExBU1NPIGluIHRoZSBuZXh0IG5vdGVib29rLCBhbmQgaW4gdGhlIG9uZSBmb2xsb3dpbmcgdGhhdCBJJ2xsIGZvcmNlIHlvdSB0byB0aGluayBCYXllc2lhbiBhbmQgZXhwbG9yZSBoaWVyYXJjaGljYWwgc2hyaW5rYWdlIHByaW9ycywgc3BlY2lmaWNhbGx5IHRoZSByZWd1bGFyaXplIGhvcnNlc2hvZSBwcmlvciB0aGF0J3MgYXZhaWxhYmxlIGluIGByc3RhbmFybSgpYC4gVGhhdCB3aWxsIHByb2JhYmx5IGJlIHRoZSBlbmQgb2YgdGhlIHNlcmllcywgZXhjZXB0IHRoYXQgYnkgcG9wdWxhciByZXF1ZXN0W14zXSBJIG1heSB0cnkgdG8gZm9ybXVsYXRlIGEgY2hlY2tsaXN0IHRoYXQgc3VtbWFyaXplcyB3aGF0IHdlJ3ZlIGxlYXJuZWQgaW4gYSBjb25jbHVkaW5nIHBvc3QuCgpbXjFdOiBJJ20gZHJhd2luZyBoZWF2aWx5IG9uIFtDb2xsaW5lYXJpdHkgRGlhZ25vc3RpY3MsIE1vZGVsIEZpdCAmIFZhcmlhYmxlIENvbnRyaWJ1dGlvbl0oaHR0cHM6Ly9jcmFuLnItcHJvamVjdC5vcmcvd2ViL3BhY2thZ2VzL29sc3JyL3ZpZ25ldHRlcy9yZWdyZXNzaW9uX2RpYWdub3N0aWNzLmh0bWwpIGZvciB0aGlzIGRpc2N1c3Npb24uCgpbXjJdOiBJZiB5b3UncmUgbm90IGZhbWlsaWFyIHdpdGggcHJpbmNpcGFsIGNvbXBvbmVudHMgYW5hbHlzaXMsIFdpa2lwZWRpYSBoYXMgYSBuaWNlIG92ZXJ2aWV3OiBbaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvUHJpbmNpcGFsX2NvbXBvbmVudF9hbmFseXNpc10oaHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvUHJpbmNpcGFsX2NvbXBvbmVudF9hbmFseXNpcykuCgpbXjNdOiBXZWxsLCBJJ3ZlIG9ubHkgaGFkIG9uZSByZXF1ZXN0LCBidXQgaXQncyBwcm9iYWJseSB3b3J0aCBmb3JtdWxhdGluZyBhIGNoZWNrbGlzdCBhbnl3YXksIGlmIEkgY2FuIGNvbWUgdXAgd2l0aCBvbmUgdGhhdCBJIGRvbid0IGZlZWwgZW1iYXJhc3NlZCBhYm91dC4K