Goals:

  • Illustrate Double Selection

  • Illustrate how single selection fails to produce unbiased estimates and invalid inference

  • Illustrate how even Double Selection fails with dense DGPs


Bias and MSE

Same coefficients for treatment and outcome

Consider the following DGP:

  • \(p=100\) covariates drawn from a multivariate normal distribution: \(X \sim N(0,\Sigma)\), where \(\Sigma\) is a matrix with entries \(\Sigma_{kf}=0.7^{|j-k|}\)

  • The treatment model is \(W = 1 X_1 + 0.9 X_2 + ... + 0.2 X_{9} + 0.1 X_{10} + \epsilon\), where \(X_j\) is the \(j\)-th column of \(X\) and \(\epsilon \sim N(0,1)\)

  • The outcome model is \(Y = \theta W + 1 X_1 + 0.9 X_2 + ... + 0.2 X_{9} + 0.1 X_{10} + \varepsilon\), where \(X_j\) is the \(j\)-th column of \(X\) and \(\varepsilon \sim N(0,4)\)

This means, we are in a sparse setting where the same few variables have the same impact on treatment and outcome, but the treatment is easier to estimate (lower noise level).

Furthermore, we set the treatment effect \(\theta = 0\) such that the treatment is not effective. This means that plugging the treatment into the outcome equation produces a reduced form of \(Y = 1 X_1 + 0.9 X_2 + ... + 0.2 X_{9} + 0.1 X_{10} + \varepsilon\). In the notation of the slides we have therefore that \(\beta = \pi\).

if (!require("tidyverse")) install.packages("tidyverse", dependencies = TRUE); library(tidyverse)
if (!require("hdm")) install.packages("hdm", dependencies = TRUE); library(hdm)
if (!require("mvtnorm")) install.packages("mvtnorm", dependencies = TRUE); library(mvtnorm)
if (!require("estimatr")) install.packages("estimatr", dependencies = TRUE); library(estimatr)

set.seed(1234)

n = 100
p = 100

n_rep = 1000

# Define and plot parameters
theta = 0
delta = c(seq(1,0.1,-0.1),rep(0,p-10))
beta = delta
cov_mat = toeplitz(0.7^(0:(p - 1)))
plot(delta)
abline(h = 0)

plot(beta)
abline(h = 0)


Now, we get a first draw and check which variables are selected when running Post-Lasso on the outcome…

# Generate one draw
x = rmvnorm(n = n, mean = rep(0, p), sigma = cov_mat)
w = x %*% delta + rnorm(n,0,1)
y = theta*w + x %*% beta + rnorm(n,0,4)

# Select variables in outcome regression
sel_y = rlasso(x,y)
# Which variables are selected?
which(sel_y$beta != 0)
V1 V3 V4 V5 V6 
 1  3  4  5  6 

and run the single-selection OLS:

# Run single-selection OLS
x_sel_y = x[,sel_y$beta != 0]
summary(lm_robust(y ~ w + x_sel_y))

Call:
lm_robust(formula = y ~ w + x_sel_y)

Standard error type:  HC2 

Coefficients:
            Estimate Std. Error t value Pr(>|t|) CI Lower CI Upper DF
(Intercept)   0.2619     0.4036  0.6488  0.51805 -0.53960   1.0633 93
w             0.3503     0.2523  1.3882  0.16838 -0.15077   0.8513 93
x_sel_y1      1.2159     0.5842  2.0812  0.04016  0.05575   2.3760 93
x_sel_y2     -0.4641     0.8097 -0.5731  0.56793 -2.07201   1.1438 93
x_sel_y3      0.5912     0.6499  0.9098  0.36530 -0.69928   1.8817 93
x_sel_y4      0.7715     0.7379  1.0456  0.29845 -0.69375   2.2368 93
x_sel_y5      0.9052     0.4989  1.8143  0.07286 -0.08557   1.8959 93

Multiple R-squared:  0.4852 ,   Adjusted R-squared:  0.452 
F-statistic: 18.17 on 6 and 93 DF,  p-value: 7.541e-14

Next, let’s implement Double Selection manually by selecting also variables in the treatment regression…

# Select variables in treatment regression
sel_w = rlasso(x,w)
which(sel_w$beta != 0)
V1 V2 V3 V4 V5 V6 V8 
 1  2  3  4  5  6  8 

and using the union in an OLS (Double Selection). Note that the treatment regression selected \(X_8\), which was previously missed by the outcome regression. The final estimate, however, is only marginally affected in this draw (not a general result):

# Double selection
x_sel_union = x[,sel_y$beta != 0 | sel_w$beta != 0]
summary(lm_robust(y ~ w + x_sel_union))

Call:
lm_robust(formula = y ~ w + x_sel_union)

Standard error type:  HC2 

Coefficients:
             Estimate Std. Error  t value Pr(>|t|) CI Lower CI Upper DF
(Intercept)    0.2618     0.4067  0.64377  0.52134 -0.54597   1.0696 91
w              0.3418     0.3176  1.07630  0.28464 -0.28900   0.9726 91
x_sel_union1   1.1982     0.6106  1.96229  0.05278 -0.01471   2.4110 91
x_sel_union2   0.0719     0.8634  0.08327  0.93382 -1.64320   1.7870 91
x_sel_union3  -0.4909     0.8927 -0.54991  0.58373 -2.26415   1.2823 91
x_sel_union4   0.6007     0.6984  0.86010  0.39200 -0.78654   1.9878 91
x_sel_union5   0.7708     0.7475  1.03121  0.30518 -0.71398   2.2556 91
x_sel_union6   0.9264     0.6037  1.53456  0.12836 -0.27277   2.1256 91
x_sel_union7  -0.0142     0.4533 -0.03132  0.97508 -0.91462   0.8862 91

Multiple R-squared:  0.4853 ,   Adjusted R-squared:  0.4401 
F-statistic: 13.38 on 8 and 91 DF,  p-value: 1.273e-12

Note that the coefficient on w is exactly the result the rlassoEffect command of the hdm package provides. The only difference being that it uses slightly different robust standard errors:

ds = rlassoEffect(x,y,w)
summary(ds)
[1] "Estimates and significance testing of the effect of target variables"
   Estimate. Std. Error t value Pr(>|t|)
d1    0.3418     0.3156   1.083    0.279

Lets now repeatedly draw 1000 samples and check the distribution of the resulting coefficient for single and Double Selection:

results = matrix(NA,n_rep,2)
colnames(results) = c("Single","Double")

for (i in 1:n_rep) {
  x = rmvnorm(n = n, mean = rep(0, p), sigma = cov_mat)
  w = x %*% delta + rnorm(n,0,1)
  y = theta*w + x %*% beta + rnorm(n,0,4)

  sel_y = rlasso(x,y)
  x_sel_y = x[,sel_y$beta != 0]
  results[i,1] = lm(y ~ w + x_sel_y)$coefficients[2]
  results[i,2] = rlassoEffect(x,y,w)$alpha
}

as.data.frame(results) %>% pivot_longer(cols=everything(),names_to = "Selection",values_to = "coef") %>%
  ggplot(aes(x = coef, fill = Selection)) + geom_density(alpha = 0.5) + geom_vline(xintercept = theta)

cat("Bias:\n")
Bias:
round(colMeans(results)-theta,4)
Single Double 
0.2501 0.0133 
cat("\nMSE:\n")

MSE:
round(colMeans((results-theta)^2),4)
Single Double 
0.1386 0.1624 

The single selection algorithm is clearly biased but the variance is smaller. This is reflected in the smaller MSE \(\Rightarrow\) The unbiasedness of Double Selection comes at the cost of more variance. However, given that the same variables are important in both equations, the probability to miss variables that are very important in the treatment equation is still relatively small. This is going to change in the next round.


Asymmetric coefficients for treatment and outcome

We keep everything the same but reverse the order of the non-zero coefficients in the treatment equation:

  • The treatment model is \(W = 0.1 X_1 + 0.2 X_2 + ... + 0.9 X_{9} + 1 X_{10} + \epsilon\), where \(X_j\) is the \(j\)-th column of \(X\) and \(\epsilon \sim N(0,1)\)

  • The outcome model is \(Y = 1 X_1 + 0.9 X_2 + ... + 0.2 X_{9} + 0.1 X_{10} + \varepsilon\), where \(X_j\) is the \(j\)-th column of \(X\) and \(varepsilon \sim N(0,4)\)

Now missing, e.g., \(X_{10}\) because of its small coefficient in \(Y\) should have more severe consequences.

# Define and plot parameters
delta = c(seq(0.1,1,0.1),rep(0,p-10))
beta = c(seq(1,0.1,-0.1),rep(0,p-10))
plot(delta)
abline(h = 0)

plot(beta)
abline(h = 0)

results = matrix(NA,n_rep,2)
colnames(results) = c("Single","Double")

for (i in 1:n_rep) {
  x = rmvnorm(n = n, mean = rep(0, p), sigma = cov_mat)
  w = x %*% delta + rnorm(n,0,1)
  y = theta*w + x %*% beta + rnorm(n,0,4)

  sel_y = rlasso(x,y)
  x_sel_y = x[,sel_y$beta != 0]
  results[i,1] = lm(y ~ w + x_sel_y)$coefficients[2]
  results[i,2] = rlassoEffect(x,y,w)$alpha
}

as.data.frame(results) %>% pivot_longer(cols=everything(),names_to = "Selection",values_to = "coef") %>%
  ggplot(aes(x = coef, fill = Selection)) + geom_density(alpha = 0.5) + geom_vline(xintercept = theta)

cat("Bias:\n")
Bias:
round(colMeans(results)-theta,4)
Single Double 
0.1567 0.0343 
cat("\nMSE:\n")

MSE:
round(colMeans((results-theta)^2),4)
Single Double 
0.0528 0.1981 

The MSE of single selection is only one fourth of the bias of double selection, driven by visibly smaller variance. However, it is also clearly biased while double selection shows negligible bias and we like that more than small MSE when it comes to our target parameter.

This illustrates a crucial difference between supervised ML and causal inference. In the former we are happy if something is predicted with a lower MSE, even if this means to accept some bias. In contrast, for causal inference we usually strive for an unbiased estimate of the causal target parameter, even if this means to accept much higher variance \(\Rightarrow\) Higher MSE


Dense DGP

Now let’s make life hard even for double selection. We keep the above DGP but now all variables have at least some impact \(\Rightarrow\) dense setting:

  • The treatment model is \(W = 0.1 X_1 + 0.2 X_2 + ... + 0.9 X_{9} + 1 X_{10} + 0.1 X_{11} + ... + 0.1 X_{100} + \epsilon\), where \(X_j\) is the \(j\)-th column of \(X\) and \(\epsilon \sim N(0,1)\)

  • The outcome model is \(Y = 1 X_1 + 0.9 X_2 + ... + 0.2 X_{9} + 0.1 X_{10} + 0.1 X_{11} + ... + 0.1 X_{100} + \varepsilon\), where \(X_j\) is the \(j\)-th column of \(X\) and \(\varepsilon \sim N(0,4)\)

This is a setting where approximate sparsity is not valid.

# Define and plot parameters
delta = c(seq(0.1,1,0.1),rep(0.1,p-10))
beta = c(seq(1,0.1,-0.1),rep(0.1,p-10))
plot(delta, ylim = c(0, 1))
abline(h = 0)

plot(beta, ylim = c(0, 1))
abline(h = 0)

results = matrix(NA,n_rep,2)
colnames(results) = c("Single","Double")

for (i in 1:n_rep) {
  x = rmvnorm(n = n, mean = rep(0, p), sigma = cov_mat)
  w = x %*% delta + rnorm(n,0,1)
  y = theta*w + x %*% beta + rnorm(n,0,4)

  sel_y = rlasso(x,y)
  x_sel_y = x[,sel_y$beta != 0]
  results[i,1] = lm(y ~ w + x_sel_y)$coefficients[2]
  results[i,2] = rlassoEffect(x,y,w)$alpha
}

as.data.frame(results) %>% pivot_longer(cols=everything(),names_to = "Selection",values_to = "coef") %>%
  ggplot(aes(x = coef, fill = Selection)) + geom_density(alpha = 0.5) + geom_vline(xintercept = theta)

cat("Bias:\n")
Bias:
round(colMeans(results)-theta,4)
Single Double 
0.4543 0.5184 
cat("\nMSE:\n")

MSE:
round(colMeans((results-theta)^2),4)
Single Double 
0.2277 0.4234 

Double Selection seems to breaks in the dense setting and becomes worse than single selection also in terms of bias. So should we go for single selection if we suspect that we are in a dense setting? Not if we are interested in doing statistical inference as we see in the next section.



Coverage rates

The previous section looked at bias and MSE. Depending on whether you are convinced or not that bias is bad, you might come to the conclusion the Double Selection is overkill and not really required. However, in the following we will see that statistical inference after single selection is very problematic.

To make the point, we run a simulation to check the coverage rates of the confidence intervals for single and double selection. The coverage rate calculate how often the true value is included in the confidence intervals (see ring toss analogy as an intuitive refresher).

The coverage rate can be used to evaluate the quality of the different standard errors. We would like to have nominal coverage, i.e. for a 95% confidence level it should happen in 95% of the replications, for a 90% confidence level in 90% of the replications, …

set.seed(1234)

# Simulation settings
n = 100       # Sample size
p = 100       # Number of covariates
n_rep = 1000  # Number of replications
theta = 0     # True treatment effect

sign_flip = rep(c(1,-1),p/2)

# DGP specifications
cov_mat = toeplitz(0.7^(0:(p - 1)))
sparsity_patterns = list(
  same = rbind(c(seq(1, 0.1, -0.1), rep(0, p-10)),
               c(seq(1, 0.1, -0.1), rep(0, p-10))),
  asymmetric = rbind(c(seq(0.1, 1, 0.1), rep(0, p-10)),
                     c(seq(1, 0.1, -0.1), rep(0, p-10))),
  dense = rbind(c(seq(0.1, 1, 0.1), rep(0.1, p-10)),
                     c(seq(1, 0.1, -0.1), rep(0.1, p-10)))
)

# Function to simulate data and return coverage
simulate_coverage = function(delta, beta) {
  effect = coverage = matrix(NA, n_rep, 2)
  colnames(effect) = colnames(coverage) = c("Single", "Double")
  
  for (i in 1:n_rep) {
    x = rmvnorm(n, mean = rep(0, p), sigma = cov_mat)
    w = x %*% delta + rnorm(n, 0, 1)
    y = theta * w + x %*% beta + rnorm(n, 0, 4)
    
    # Single selection
    sel_y = rlasso(x, y)
    model_single = lm_robust(y ~ w + x[, sel_y$beta != 0])
    effect[i,1] = model_single$coefficients[2]
    ci_single = confint(model_single)["w", ]
    
    # Double selection
    sel_w = rlasso(x, w)
    union_selection = sel_y$beta != 0 | sel_w$beta != 0
    model_double = lm_robust(y ~ w + x[, union_selection])
    effect[i,2] = model_double$coefficients[2]
    ci_double = confint(model_double)["w", ]
    
    # Check coverage
    coverage[i, 1] = theta >= ci_single[1] & theta <= ci_single[2]
    coverage[i, 2] = theta >= ci_double[1] & theta <= ci_double[2]
  }
  
  list(bias = colMeans(effect)-theta, mse = colMeans((effect-theta)^2), coverage = colMeans(coverage))
}

# Run simulations for each DGP
results_bias = results_mse = results_cr = tibble(
  DGP = c("Same", "Asymmetric", "Dense"),
  Single = numeric(length(sparsity_patterns)),
  Double = numeric(length(sparsity_patterns))
)

for (i in seq_along(sparsity_patterns)) {
  delta = sparsity_patterns[[i]][1,]
  beta = sparsity_patterns[[i]][2,]
  run = simulate_coverage(delta, beta)
  results_bias[i, 2:3] = t(run$bias)
  results_mse[i, 2:3] = t(run$mse)
  results_cr[i, 2:3] = t(run$coverage)
}

print(results_cr)
# Ensure the order of DGP is maintained in the plot
results_cr$DGP = factor(results_cr$DGP, levels = c("Same", "Asymmetric", "Dense"))

# Convert data from wide to long format for ggplot2
results_long = pivot_longer(results_cr, cols = c(Single, Double), names_to = "Selection", values_to = "CoverageRate")

# Create the bar plot
ggplot(results_long, aes(x = DGP, y = CoverageRate, fill = Selection)) + 
  geom_bar(stat = "identity", position = position_dodge(width = 0.7)) + 
  scale_y_continuous(labels = scales::percent_format()) + 
  scale_fill_brewer(palette = "Pastel1", direction = -1) + 
  labs(title = "Coverage Rates for Single vs Double Selection", 
       y = "Coverage Rate (%)", 
       x = "DGP Type", 
       fill = "Selection Method") + 
  theme_minimal() + 
  theme(legend.position = "top") + 
  geom_hline(yintercept = c(0,0.95,1), linetype = c("solid","dashed","solid"), color = c("black","red","black"), linewidth = 0.7) +
  geom_text(aes(label=scales::percent(CoverageRate), group=Selection), 
            position=position_dodge(width = 0.7), vjust=-0.25)

Double selection shows nominal coverage in the two sparse settings. However, confidence intervals of single selection undercover substantially in all settings. This means we would find significant effects more often than we should. We don’t like that. Even in the dense DGP where double selection showed higher bias, its coverage rate is closer to the nominal rate:

  • Single selection is wrong and relatively confident about it.

  • Double selection is even more wrong, but at least reflecting its uncertainty better.

With double selection we wrongly reject the correct null hypothesis of no effect in roughly 35% of the replications why we would expect 5%. Single selection on the other hand rejects in over 90% of the replications. This means, we would find nearly always a significant effect that is not there. We don’t like this.


Take-aways

  • Single selection produces biased estimates even in sparse settings.

  • Double Selection successfully removes omitted variable bias by variables that would be missed by single selection.

  • The price to pay is a higher variance compared to the single selection estimator.

  • Double Selection blows up if the world is not sparse \(\Rightarrow\) we have to “bet on sparsity”, which is harder to swallow the smaller the sample size

  • However, if we are interested in statistical inference about the causal target parameter, double selection is still crucial. Especially because statistical inference is more reliable, even in cases where approximate sparsity does not hold.


Suggestions to play with the toy model

Feel free to play around with the code. This is useful to sharpen and challenge your understanding of the methods. Think about the consequences of a modifications before you run it and check whether the results are in line with your expectation. Some suggestions:

  • Modify DGP (correlation of covariates, coefficients, noise term, …)

  • Vary the number of observations

  • Implement variable selection mimicking what researchers might do (e.g. based on t-tests)

  • Change the values of theta to, e.g. 1 or -1. Explain your observations. (Hint: think about the reduced form)

LS0tDQp0aXRsZTogIkNhdXNhbCBNTDogRG91YmxlIFNlbGVjdGlvbiINCnN1YnRpdGxlOiAiU2ltdWxhdGlvbiBub3RlYm9vayINCmF1dGhvcjogIk1pY2hhZWwgS25hdXMiDQpkYXRlOiAiYHIgZm9ybWF0KFN5cy50aW1lKCksICclbS8leScpYCINCm91dHB1dDogDQogIGh0bWxfbm90ZWJvb2s6DQogICAgdG9jOiB0cnVlDQogICAgdG9jX2Zsb2F0OiB0cnVlDQogICAgY29kZV9mb2xkaW5nOiBzaG93DQotLS0NCg0KDQpHb2FsczoNCg0KLSBJbGx1c3RyYXRlIERvdWJsZSBTZWxlY3Rpb24NCg0KLSBJbGx1c3RyYXRlIGhvdyBzaW5nbGUgc2VsZWN0aW9uIGZhaWxzIHRvIHByb2R1Y2UgdW5iaWFzZWQgZXN0aW1hdGVzIGFuZCBpbnZhbGlkIGluZmVyZW5jZQ0KDQotIElsbHVzdHJhdGUgaG93IGV2ZW4gRG91YmxlIFNlbGVjdGlvbiBmYWlscyB3aXRoIGRlbnNlIERHUHMNCg0KPGJyPg0KDQoNCg0KIyMgQmlhcyBhbmQgTVNFDQoNCiMjIyBTYW1lIGNvZWZmaWNpZW50cyBmb3IgdHJlYXRtZW50IGFuZCBvdXRjb21lDQoNCkNvbnNpZGVyIHRoZSBmb2xsb3dpbmcgREdQOg0KDQotICRwPTEwMCQgY292YXJpYXRlcyBkcmF3biBmcm9tIGEgbXVsdGl2YXJpYXRlIG5vcm1hbCBkaXN0cmlidXRpb246ICRYIFxzaW0gTigwLFxTaWdtYSkkLCB3aGVyZSAkXFNpZ21hJCBpcyBhIG1hdHJpeCB3aXRoIGVudHJpZXMgJFxTaWdtYV97a2Z9PTAuN157fGota3x9JA0KDQotIFRoZSB0cmVhdG1lbnQgbW9kZWwgaXMgJFcgPSAxIFhfMSArIDAuOSBYXzIgKyAuLi4gKyAwLjIgWF97OX0gKyAwLjEgWF97MTB9ICsgXGVwc2lsb24kLCB3aGVyZSAkWF9qJCBpcyB0aGUgJGokLXRoIGNvbHVtbiBvZiAkWCQgYW5kICRcZXBzaWxvbiBcc2ltIE4oMCwxKSQNCg0KLSBUaGUgb3V0Y29tZSBtb2RlbCBpcyAkWSA9IFx0aGV0YSBXICsgIDEgWF8xICsgMC45IFhfMiArIC4uLiArIDAuMiBYX3s5fSArIDAuMSBYX3sxMH0gKyBcdmFyZXBzaWxvbiQsIHdoZXJlICRYX2okIGlzIHRoZSAkaiQtdGggY29sdW1uIG9mICRYJCBhbmQgJFx2YXJlcHNpbG9uIFxzaW0gTigwLDQpJA0KDQpUaGlzIG1lYW5zLCB3ZSBhcmUgaW4gYSBzcGFyc2Ugc2V0dGluZyB3aGVyZSB0aGUgc2FtZSBmZXcgdmFyaWFibGVzIGhhdmUgdGhlIHNhbWUgaW1wYWN0IG9uIHRyZWF0bWVudCBhbmQgb3V0Y29tZSwgYnV0IHRoZSB0cmVhdG1lbnQgaXMgZWFzaWVyIHRvIGVzdGltYXRlIChsb3dlciBub2lzZSBsZXZlbCkuDQoNCkZ1cnRoZXJtb3JlLCB3ZSBzZXQgdGhlIHRyZWF0bWVudCBlZmZlY3QgJFx0aGV0YSA9IDAkIHN1Y2ggdGhhdCB0aGUgdHJlYXRtZW50IGlzIG5vdCBlZmZlY3RpdmUuIFRoaXMgbWVhbnMgdGhhdCBwbHVnZ2luZyB0aGUgdHJlYXRtZW50IGludG8gdGhlIG91dGNvbWUgZXF1YXRpb24gcHJvZHVjZXMgYSByZWR1Y2VkIGZvcm0gb2YgJFkgPSAxIFhfMSArIDAuOSBYXzIgKyAuLi4gKyAwLjIgWF97OX0gKyAwLjEgWF97MTB9ICsgXHZhcmVwc2lsb24kLiBJbiB0aGUgbm90YXRpb24gb2YgdGhlIHNsaWRlcyB3ZSBoYXZlIHRoZXJlZm9yZSB0aGF0ICRcYmV0YSA9IFxwaSQuDQoNCg0KYGBge3IsIHdhcm5pbmcgPSBGLCBtZXNzYWdlID0gRn0NCmlmICghcmVxdWlyZSgidGlkeXZlcnNlIikpIGluc3RhbGwucGFja2FnZXMoInRpZHl2ZXJzZSIsIGRlcGVuZGVuY2llcyA9IFRSVUUpOyBsaWJyYXJ5KHRpZHl2ZXJzZSkNCmlmICghcmVxdWlyZSgiaGRtIikpIGluc3RhbGwucGFja2FnZXMoImhkbSIsIGRlcGVuZGVuY2llcyA9IFRSVUUpOyBsaWJyYXJ5KGhkbSkNCmlmICghcmVxdWlyZSgibXZ0bm9ybSIpKSBpbnN0YWxsLnBhY2thZ2VzKCJtdnRub3JtIiwgZGVwZW5kZW5jaWVzID0gVFJVRSk7IGxpYnJhcnkobXZ0bm9ybSkNCmlmICghcmVxdWlyZSgiZXN0aW1hdHIiKSkgaW5zdGFsbC5wYWNrYWdlcygiZXN0aW1hdHIiLCBkZXBlbmRlbmNpZXMgPSBUUlVFKTsgbGlicmFyeShlc3RpbWF0cikNCg0Kc2V0LnNlZWQoMTIzNCkNCg0KbiA9IDEwMA0KcCA9IDEwMA0KDQpuX3JlcCA9IDEwMDANCg0KIyBEZWZpbmUgYW5kIHBsb3QgcGFyYW1ldGVycw0KdGhldGEgPSAwDQpkZWx0YSA9IGMoc2VxKDEsMC4xLC0wLjEpLHJlcCgwLHAtMTApKQ0KYmV0YSA9IGRlbHRhDQpjb3ZfbWF0ID0gdG9lcGxpdHooMC43XigwOihwIC0gMSkpKQ0KcGxvdChkZWx0YSkNCmFibGluZShoID0gMCkNCnBsb3QoYmV0YSkNCmFibGluZShoID0gMCkNCmBgYA0KDQo8YnI+IA0KDQpOb3csIHdlIGdldCBhIGZpcnN0IGRyYXcgYW5kIGNoZWNrIHdoaWNoIHZhcmlhYmxlcyBhcmUgc2VsZWN0ZWQgd2hlbiBydW5uaW5nIFBvc3QtTGFzc28gb24gdGhlIG91dGNvbWUuLi4NCg0KYGBge3J9DQojIEdlbmVyYXRlIG9uZSBkcmF3DQp4ID0gcm12bm9ybShuID0gbiwgbWVhbiA9IHJlcCgwLCBwKSwgc2lnbWEgPSBjb3ZfbWF0KQ0KdyA9IHggJSolIGRlbHRhICsgcm5vcm0obiwwLDEpDQp5ID0gdGhldGEqdyArIHggJSolIGJldGEgKyBybm9ybShuLDAsNCkNCg0KIyBTZWxlY3QgdmFyaWFibGVzIGluIG91dGNvbWUgcmVncmVzc2lvbg0Kc2VsX3kgPSBybGFzc28oeCx5KQ0KIyBXaGljaCB2YXJpYWJsZXMgYXJlIHNlbGVjdGVkPw0Kd2hpY2goc2VsX3kkYmV0YSAhPSAwKQ0KYGBgDQphbmQgcnVuIHRoZSBzaW5nbGUtc2VsZWN0aW9uIE9MUzoNCg0KYGBge3J9DQojIFJ1biBzaW5nbGUtc2VsZWN0aW9uIE9MUw0KeF9zZWxfeSA9IHhbLHNlbF95JGJldGEgIT0gMF0NCnN1bW1hcnkobG1fcm9idXN0KHkgfiB3ICsgeF9zZWxfeSkpDQpgYGANCg0KTmV4dCwgbGV0J3MgaW1wbGVtZW50IERvdWJsZSBTZWxlY3Rpb24gbWFudWFsbHkgYnkgc2VsZWN0aW5nIGFsc28gdmFyaWFibGVzIGluIHRoZSB0cmVhdG1lbnQgcmVncmVzc2lvbi4uLg0KDQpgYGB7cn0NCiMgU2VsZWN0IHZhcmlhYmxlcyBpbiB0cmVhdG1lbnQgcmVncmVzc2lvbg0Kc2VsX3cgPSBybGFzc28oeCx3KQ0Kd2hpY2goc2VsX3ckYmV0YSAhPSAwKQ0KYGBgDQoNCmFuZCB1c2luZyB0aGUgdW5pb24gaW4gYW4gT0xTIChEb3VibGUgU2VsZWN0aW9uKS4gTm90ZSB0aGF0IHRoZSB0cmVhdG1lbnQgcmVncmVzc2lvbiBzZWxlY3RlZCAkWF84JCwgd2hpY2ggd2FzIHByZXZpb3VzbHkgbWlzc2VkIGJ5IHRoZSBvdXRjb21lIHJlZ3Jlc3Npb24uIFRoZSBmaW5hbCBlc3RpbWF0ZSwgaG93ZXZlciwgaXMgb25seSBtYXJnaW5hbGx5IGFmZmVjdGVkIGluIHRoaXMgZHJhdyAobm90IGEgZ2VuZXJhbCByZXN1bHQpOg0KDQpgYGB7cn0NCiMgRG91YmxlIHNlbGVjdGlvbg0KeF9zZWxfdW5pb24gPSB4WyxzZWxfeSRiZXRhICE9IDAgfCBzZWxfdyRiZXRhICE9IDBdDQpzdW1tYXJ5KGxtX3JvYnVzdCh5IH4gdyArIHhfc2VsX3VuaW9uKSkNCmBgYA0KDQpOb3RlIHRoYXQgdGhlIGNvZWZmaWNpZW50IG9uIGB3YCBpcyBleGFjdGx5IHRoZSByZXN1bHQgdGhlIGBybGFzc29FZmZlY3RgIGNvbW1hbmQgb2YgdGhlIGBoZG1gIHBhY2thZ2UgcHJvdmlkZXMuIFRoZSBvbmx5IGRpZmZlcmVuY2UgYmVpbmcgdGhhdCBpdCB1c2VzIHNsaWdodGx5IGRpZmZlcmVudCByb2J1c3Qgc3RhbmRhcmQgZXJyb3JzOg0KDQpgYGB7cn0NCmRzID0gcmxhc3NvRWZmZWN0KHgseSx3KQ0Kc3VtbWFyeShkcykNCmBgYA0KDQpMZXRzIG5vdyByZXBlYXRlZGx5IGRyYXcgMTAwMCBzYW1wbGVzIGFuZCBjaGVjayB0aGUgZGlzdHJpYnV0aW9uIG9mIHRoZSByZXN1bHRpbmcgY29lZmZpY2llbnQgZm9yIHNpbmdsZSBhbmQgRG91YmxlIFNlbGVjdGlvbjoNCg0KYGBge3J9DQpyZXN1bHRzID0gbWF0cml4KE5BLG5fcmVwLDIpDQpjb2xuYW1lcyhyZXN1bHRzKSA9IGMoIlNpbmdsZSIsIkRvdWJsZSIpDQoNCmZvciAoaSBpbiAxOm5fcmVwKSB7DQogIHggPSBybXZub3JtKG4gPSBuLCBtZWFuID0gcmVwKDAsIHApLCBzaWdtYSA9IGNvdl9tYXQpDQogIHcgPSB4ICUqJSBkZWx0YSArIHJub3JtKG4sMCwxKQ0KICB5ID0gdGhldGEqdyArIHggJSolIGJldGEgKyBybm9ybShuLDAsNCkNCg0KICBzZWxfeSA9IHJsYXNzbyh4LHkpDQogIHhfc2VsX3kgPSB4WyxzZWxfeSRiZXRhICE9IDBdDQogIHJlc3VsdHNbaSwxXSA9IGxtKHkgfiB3ICsgeF9zZWxfeSkkY29lZmZpY2llbnRzWzJdDQogIHJlc3VsdHNbaSwyXSA9IHJsYXNzb0VmZmVjdCh4LHksdykkYWxwaGENCn0NCg0KYXMuZGF0YS5mcmFtZShyZXN1bHRzKSAlPiUgcGl2b3RfbG9uZ2VyKGNvbHM9ZXZlcnl0aGluZygpLG5hbWVzX3RvID0gIlNlbGVjdGlvbiIsdmFsdWVzX3RvID0gImNvZWYiKSAlPiUNCiAgZ2dwbG90KGFlcyh4ID0gY29lZiwgZmlsbCA9IFNlbGVjdGlvbikpICsgZ2VvbV9kZW5zaXR5KGFscGhhID0gMC41KSArIGdlb21fdmxpbmUoeGludGVyY2VwdCA9IHRoZXRhKQ0KYGBgDQoNCmBgYHtyfQ0KY2F0KCJCaWFzOlxuIikNCnJvdW5kKGNvbE1lYW5zKHJlc3VsdHMpLXRoZXRhLDQpDQoNCmNhdCgiXG5NU0U6XG4iKQ0Kcm91bmQoY29sTWVhbnMoKHJlc3VsdHMtdGhldGEpXjIpLDQpDQpgYGANCg0KVGhlIHNpbmdsZSBzZWxlY3Rpb24gYWxnb3JpdGhtIGlzIGNsZWFybHkgYmlhc2VkIGJ1dCB0aGUgdmFyaWFuY2UgaXMgc21hbGxlci4gVGhpcyBpcyByZWZsZWN0ZWQgaW4gdGhlIHNtYWxsZXIgTVNFICRcUmlnaHRhcnJvdyQgVGhlIHVuYmlhc2VkbmVzcyBvZiBEb3VibGUgU2VsZWN0aW9uIGNvbWVzIGF0IHRoZSBjb3N0IG9mIG1vcmUgdmFyaWFuY2UuIEhvd2V2ZXIsIGdpdmVuIHRoYXQgdGhlIHNhbWUgdmFyaWFibGVzIGFyZSBpbXBvcnRhbnQgaW4gYm90aCBlcXVhdGlvbnMsIHRoZSBwcm9iYWJpbGl0eSB0byBtaXNzIHZhcmlhYmxlcyB0aGF0IGFyZSB2ZXJ5IGltcG9ydGFudCBpbiB0aGUgdHJlYXRtZW50IGVxdWF0aW9uIGlzIHN0aWxsIHJlbGF0aXZlbHkgc21hbGwuIFRoaXMgaXMgZ29pbmcgdG8gY2hhbmdlIGluIHRoZSBuZXh0IHJvdW5kLg0KDQo8YnI+DQoNCg0KIyMjIEFzeW1tZXRyaWMgY29lZmZpY2llbnRzIGZvciB0cmVhdG1lbnQgYW5kIG91dGNvbWUNCg0KV2Uga2VlcCBldmVyeXRoaW5nIHRoZSBzYW1lIGJ1dCByZXZlcnNlIHRoZSBvcmRlciBvZiB0aGUgbm9uLXplcm8gY29lZmZpY2llbnRzIGluIHRoZSB0cmVhdG1lbnQgZXF1YXRpb246DQoNCi0gVGhlIHRyZWF0bWVudCBtb2RlbCBpcyAkVyA9IDAuMSBYXzEgKyAwLjIgWF8yICsgLi4uICsgMC45IFhfezl9ICsgMSBYX3sxMH0gKyBcZXBzaWxvbiQsIHdoZXJlICRYX2okIGlzIHRoZSAkaiQtdGggY29sdW1uIG9mICRYJCBhbmQgJFxlcHNpbG9uIFxzaW0gTigwLDEpJA0KDQotIFRoZSBvdXRjb21lIG1vZGVsIGlzICRZID0gMSBYXzEgKyAwLjkgWF8yICsgLi4uICsgMC4yIFhfezl9ICsgMC4xIFhfezEwfSArICBcdmFyZXBzaWxvbiQsIHdoZXJlICRYX2okIGlzIHRoZSAkaiQtdGggY29sdW1uIG9mICRYJCBhbmQgJHZhcmVwc2lsb24gXHNpbSBOKDAsNCkkDQoNCk5vdyBtaXNzaW5nLCBlLmcuLCAkWF97MTB9JCBiZWNhdXNlIG9mIGl0cyBzbWFsbCBjb2VmZmljaWVudCBpbiAkWSQgc2hvdWxkIGhhdmUgbW9yZSBzZXZlcmUgY29uc2VxdWVuY2VzLg0KDQpgYGB7cn0NCiMgRGVmaW5lIGFuZCBwbG90IHBhcmFtZXRlcnMNCmRlbHRhID0gYyhzZXEoMC4xLDEsMC4xKSxyZXAoMCxwLTEwKSkNCmJldGEgPSBjKHNlcSgxLDAuMSwtMC4xKSxyZXAoMCxwLTEwKSkNCnBsb3QoZGVsdGEpDQphYmxpbmUoaCA9IDApDQpwbG90KGJldGEpDQphYmxpbmUoaCA9IDApDQpgYGANCg0KDQpgYGB7cn0NCnJlc3VsdHMgPSBtYXRyaXgoTkEsbl9yZXAsMikNCmNvbG5hbWVzKHJlc3VsdHMpID0gYygiU2luZ2xlIiwiRG91YmxlIikNCg0KZm9yIChpIGluIDE6bl9yZXApIHsNCiAgeCA9IHJtdm5vcm0obiA9IG4sIG1lYW4gPSByZXAoMCwgcCksIHNpZ21hID0gY292X21hdCkNCiAgdyA9IHggJSolIGRlbHRhICsgcm5vcm0obiwwLDEpDQogIHkgPSB0aGV0YSp3ICsgeCAlKiUgYmV0YSArIHJub3JtKG4sMCw0KQ0KDQogIHNlbF95ID0gcmxhc3NvKHgseSkNCiAgeF9zZWxfeSA9IHhbLHNlbF95JGJldGEgIT0gMF0NCiAgcmVzdWx0c1tpLDFdID0gbG0oeSB+IHcgKyB4X3NlbF95KSRjb2VmZmljaWVudHNbMl0NCiAgcmVzdWx0c1tpLDJdID0gcmxhc3NvRWZmZWN0KHgseSx3KSRhbHBoYQ0KfQ0KDQphcy5kYXRhLmZyYW1lKHJlc3VsdHMpICU+JSBwaXZvdF9sb25nZXIoY29scz1ldmVyeXRoaW5nKCksbmFtZXNfdG8gPSAiU2VsZWN0aW9uIix2YWx1ZXNfdG8gPSAiY29lZiIpICU+JQ0KICBnZ3Bsb3QoYWVzKHggPSBjb2VmLCBmaWxsID0gU2VsZWN0aW9uKSkgKyBnZW9tX2RlbnNpdHkoYWxwaGEgPSAwLjUpICsgZ2VvbV92bGluZSh4aW50ZXJjZXB0ID0gdGhldGEpDQpgYGANCg0KYGBge3J9DQpjYXQoIkJpYXM6XG4iKQ0Kcm91bmQoY29sTWVhbnMocmVzdWx0cyktdGhldGEsNCkNCg0KY2F0KCJcbk1TRTpcbiIpDQpyb3VuZChjb2xNZWFucygocmVzdWx0cy10aGV0YSleMiksNCkNCmBgYA0KDQpUaGUgTVNFIG9mIHNpbmdsZSBzZWxlY3Rpb24gaXMgb25seSBvbmUgZm91cnRoIG9mIHRoZSBiaWFzIG9mIGRvdWJsZSBzZWxlY3Rpb24sIGRyaXZlbiBieSB2aXNpYmx5IHNtYWxsZXIgdmFyaWFuY2UuIEhvd2V2ZXIsIGl0IGlzIGFsc28gY2xlYXJseSBiaWFzZWQgd2hpbGUgZG91YmxlIHNlbGVjdGlvbiBzaG93cyBuZWdsaWdpYmxlIGJpYXMgYW5kIHdlIGxpa2UgdGhhdCBtb3JlIHRoYW4gc21hbGwgTVNFIHdoZW4gaXQgY29tZXMgdG8gb3VyIHRhcmdldCBwYXJhbWV0ZXIuIA0KDQpUaGlzIGlsbHVzdHJhdGVzIGEgY3J1Y2lhbCBkaWZmZXJlbmNlIGJldHdlZW4gc3VwZXJ2aXNlZCBNTCBhbmQgY2F1c2FsIGluZmVyZW5jZS4gSW4gdGhlIGZvcm1lciB3ZSBhcmUgaGFwcHkgaWYgc29tZXRoaW5nIGlzIHByZWRpY3RlZCB3aXRoIGEgbG93ZXIgTVNFLCBldmVuIGlmIHRoaXMgbWVhbnMgdG8gYWNjZXB0IHNvbWUgYmlhcy4gSW4gY29udHJhc3QsIGZvciBjYXVzYWwgaW5mZXJlbmNlIHdlIHVzdWFsbHkgc3RyaXZlIGZvciBhbiB1bmJpYXNlZCBlc3RpbWF0ZSBvZiB0aGUgY2F1c2FsIHRhcmdldCBwYXJhbWV0ZXIsIGV2ZW4gaWYgdGhpcyBtZWFucyB0byBhY2NlcHQgbXVjaCBoaWdoZXIgdmFyaWFuY2UgJFxSaWdodGFycm93JCBIaWdoZXIgTVNFDQoNCjxicj4NCg0KDQojIyMgRGVuc2UgREdQDQoNCk5vdyBsZXQncyBtYWtlIGxpZmUgaGFyZCBldmVuIGZvciBkb3VibGUgc2VsZWN0aW9uLiBXZSBrZWVwIHRoZSBhYm92ZSBER1AgYnV0IG5vdyBhbGwgdmFyaWFibGVzIGhhdmUgYXQgbGVhc3Qgc29tZSBpbXBhY3QgJFxSaWdodGFycm93JCBkZW5zZSBzZXR0aW5nOg0KDQotIFRoZSB0cmVhdG1lbnQgbW9kZWwgaXMgJFcgPSAwLjEgWF8xICsgMC4yIFhfMiArIC4uLiArIDAuOSBYX3s5fSArIDEgWF97MTB9ICsgMC4xIFhfezExfSArIC4uLiArIDAuMSBYX3sxMDB9ICsgXGVwc2lsb24kLCB3aGVyZSAkWF9qJCBpcyB0aGUgJGokLXRoIGNvbHVtbiBvZiAkWCQgYW5kICRcZXBzaWxvbiBcc2ltIE4oMCwxKSQNCg0KLSBUaGUgb3V0Y29tZSBtb2RlbCBpcyAkWSA9IDEgWF8xICsgMC45IFhfMiArIC4uLiArIDAuMiBYX3s5fSArIDAuMSBYX3sxMH0gKyAwLjEgWF97MTF9ICsgLi4uICsgMC4xIFhfezEwMH0gKyBcdmFyZXBzaWxvbiQsIHdoZXJlICRYX2okIGlzIHRoZSAkaiQtdGggY29sdW1uIG9mICRYJCBhbmQgJFx2YXJlcHNpbG9uIFxzaW0gTigwLDQpJA0KDQpUaGlzIGlzIGEgc2V0dGluZyB3aGVyZSBhcHByb3hpbWF0ZSBzcGFyc2l0eSBpcyBub3QgdmFsaWQuDQoNCmBgYHtyfQ0KIyBEZWZpbmUgYW5kIHBsb3QgcGFyYW1ldGVycw0KZGVsdGEgPSBjKHNlcSgwLjEsMSwwLjEpLHJlcCgwLjEscC0xMCkpDQpiZXRhID0gYyhzZXEoMSwwLjEsLTAuMSkscmVwKDAuMSxwLTEwKSkNCnBsb3QoZGVsdGEsIHlsaW0gPSBjKDAsIDEpKQ0KYWJsaW5lKGggPSAwKQ0KcGxvdChiZXRhLCB5bGltID0gYygwLCAxKSkNCmFibGluZShoID0gMCkNCmBgYA0KDQoNCmBgYHtyfQ0KcmVzdWx0cyA9IG1hdHJpeChOQSxuX3JlcCwyKQ0KY29sbmFtZXMocmVzdWx0cykgPSBjKCJTaW5nbGUiLCJEb3VibGUiKQ0KDQpmb3IgKGkgaW4gMTpuX3JlcCkgew0KICB4ID0gcm12bm9ybShuID0gbiwgbWVhbiA9IHJlcCgwLCBwKSwgc2lnbWEgPSBjb3ZfbWF0KQ0KICB3ID0geCAlKiUgZGVsdGEgKyBybm9ybShuLDAsMSkNCiAgeSA9IHRoZXRhKncgKyB4ICUqJSBiZXRhICsgcm5vcm0obiwwLDQpDQoNCiAgc2VsX3kgPSBybGFzc28oeCx5KQ0KICB4X3NlbF95ID0geFssc2VsX3kkYmV0YSAhPSAwXQ0KICByZXN1bHRzW2ksMV0gPSBsbSh5IH4gdyArIHhfc2VsX3kpJGNvZWZmaWNpZW50c1syXQ0KICByZXN1bHRzW2ksMl0gPSBybGFzc29FZmZlY3QoeCx5LHcpJGFscGhhDQp9DQoNCmFzLmRhdGEuZnJhbWUocmVzdWx0cykgJT4lIHBpdm90X2xvbmdlcihjb2xzPWV2ZXJ5dGhpbmcoKSxuYW1lc190byA9ICJTZWxlY3Rpb24iLHZhbHVlc190byA9ICJjb2VmIikgJT4lDQogIGdncGxvdChhZXMoeCA9IGNvZWYsIGZpbGwgPSBTZWxlY3Rpb24pKSArIGdlb21fZGVuc2l0eShhbHBoYSA9IDAuNSkgKyBnZW9tX3ZsaW5lKHhpbnRlcmNlcHQgPSB0aGV0YSkNCmBgYA0KDQpgYGB7cn0NCmNhdCgiQmlhczpcbiIpDQpyb3VuZChjb2xNZWFucyhyZXN1bHRzKS10aGV0YSw0KQ0KDQpjYXQoIlxuTVNFOlxuIikNCnJvdW5kKGNvbE1lYW5zKChyZXN1bHRzLXRoZXRhKV4yKSw0KQ0KYGBgDQoNCkRvdWJsZSBTZWxlY3Rpb24gc2VlbXMgdG8gYnJlYWtzIGluIHRoZSBkZW5zZSBzZXR0aW5nIGFuZCBiZWNvbWVzIHdvcnNlIHRoYW4gc2luZ2xlIHNlbGVjdGlvbiBhbHNvIGluIHRlcm1zIG9mIGJpYXMuIFNvIHNob3VsZCB3ZSBnbyBmb3Igc2luZ2xlIHNlbGVjdGlvbiBpZiB3ZSBzdXNwZWN0IHRoYXQgd2UgYXJlIGluIGEgZGVuc2Ugc2V0dGluZz8gTm90IGlmIHdlIGFyZSBpbnRlcmVzdGVkIGluIGRvaW5nIHN0YXRpc3RpY2FsIGluZmVyZW5jZSBhcyB3ZSBzZWUgaW4gdGhlIG5leHQgc2VjdGlvbi4NCg0KPGJyPg0KPGJyPg0KDQoNCiMjIENvdmVyYWdlIHJhdGVzDQoNClRoZSBwcmV2aW91cyBzZWN0aW9uIGxvb2tlZCBhdCBiaWFzIGFuZCBNU0UuIERlcGVuZGluZyBvbiB3aGV0aGVyIHlvdSBhcmUgY29udmluY2VkIG9yIG5vdCB0aGF0IGJpYXMgaXMgYmFkLCB5b3UgbWlnaHQgY29tZSB0byB0aGUgY29uY2x1c2lvbiB0aGUgRG91YmxlIFNlbGVjdGlvbiBpcyBvdmVya2lsbCBhbmQgbm90IHJlYWxseSByZXF1aXJlZC4gSG93ZXZlciwgaW4gdGhlIGZvbGxvd2luZyB3ZSB3aWxsIHNlZSB0aGF0IHN0YXRpc3RpY2FsIGluZmVyZW5jZSBhZnRlciBzaW5nbGUgc2VsZWN0aW9uIGlzIHZlcnkgcHJvYmxlbWF0aWMuDQoNClRvIG1ha2UgdGhlIHBvaW50LCB3ZSBydW4gYSBzaW11bGF0aW9uIHRvIGNoZWNrIHRoZSBjb3ZlcmFnZSByYXRlcyBvZiB0aGUgY29uZmlkZW5jZSBpbnRlcnZhbHMgZm9yIHNpbmdsZSBhbmQgZG91YmxlIHNlbGVjdGlvbi4gVGhlIGNvdmVyYWdlIHJhdGUgY2FsY3VsYXRlIGhvdyBvZnRlbiB0aGUgdHJ1ZSB2YWx1ZSBpcyBpbmNsdWRlZCBpbiB0aGUgY29uZmlkZW5jZSBpbnRlcnZhbHMgKHNlZSBbcmluZyB0b3NzIGFuYWxvZ3ldKGh0dHBzOi8vbWVkaXVtLmNvbS9ARXBpRWxsaWUvaGF2aW5nLWNvbmZpZGVuY2UtaW4tY29uZmlkZW5jZS1pbnRlcnZhbHMtOGY4ODE3MTJkODM3KSBhcyBhbiBpbnR1aXRpdmUgcmVmcmVzaGVyKS4gDQoNClRoZSBjb3ZlcmFnZSByYXRlIGNhbiBiZSB1c2VkIHRvIGV2YWx1YXRlIHRoZSBxdWFsaXR5IG9mIHRoZSBkaWZmZXJlbnQgc3RhbmRhcmQgZXJyb3JzLiBXZSB3b3VsZCBsaWtlIHRvIGhhdmUgbm9taW5hbCBjb3ZlcmFnZSwgaS5lLiBmb3IgYSA5NSUgY29uZmlkZW5jZSBsZXZlbCBpdCBzaG91bGQgaGFwcGVuIGluIDk1JSBvZiB0aGUgcmVwbGljYXRpb25zLCBmb3IgYSA5MCUgY29uZmlkZW5jZSBsZXZlbCBpbiA5MCUgb2YgdGhlIHJlcGxpY2F0aW9ucywgLi4uDQogDQogDQpgYGB7cn0NCnNldC5zZWVkKDEyMzQpDQoNCiMgU2ltdWxhdGlvbiBzZXR0aW5ncw0KbiA9IDEwMCAgICAgICAjIFNhbXBsZSBzaXplDQpwID0gMTAwICAgICAgICMgTnVtYmVyIG9mIGNvdmFyaWF0ZXMNCm5fcmVwID0gMTAwMCAgIyBOdW1iZXIgb2YgcmVwbGljYXRpb25zDQp0aGV0YSA9IDAgICAgICMgVHJ1ZSB0cmVhdG1lbnQgZWZmZWN0DQoNCnNpZ25fZmxpcCA9IHJlcChjKDEsLTEpLHAvMikNCg0KIyBER1Agc3BlY2lmaWNhdGlvbnMNCmNvdl9tYXQgPSB0b2VwbGl0eigwLjdeKDA6KHAgLSAxKSkpDQpzcGFyc2l0eV9wYXR0ZXJucyA9IGxpc3QoDQogIHNhbWUgPSByYmluZChjKHNlcSgxLCAwLjEsIC0wLjEpLCByZXAoMCwgcC0xMCkpLA0KICAgICAgICAgICAgICAgYyhzZXEoMSwgMC4xLCAtMC4xKSwgcmVwKDAsIHAtMTApKSksDQogIGFzeW1tZXRyaWMgPSByYmluZChjKHNlcSgwLjEsIDEsIDAuMSksIHJlcCgwLCBwLTEwKSksDQogICAgICAgICAgICAgICAgICAgICBjKHNlcSgxLCAwLjEsIC0wLjEpLCByZXAoMCwgcC0xMCkpKSwNCiAgZGVuc2UgPSByYmluZChjKHNlcSgwLjEsIDEsIDAuMSksIHJlcCgwLjEsIHAtMTApKSwNCiAgICAgICAgICAgICAgICAgICAgIGMoc2VxKDEsIDAuMSwgLTAuMSksIHJlcCgwLjEsIHAtMTApKSkNCikNCg0KIyBGdW5jdGlvbiB0byBzaW11bGF0ZSBkYXRhIGFuZCByZXR1cm4gY292ZXJhZ2UNCnNpbXVsYXRlX2NvdmVyYWdlID0gZnVuY3Rpb24oZGVsdGEsIGJldGEpIHsNCiAgZWZmZWN0ID0gY292ZXJhZ2UgPSBtYXRyaXgoTkEsIG5fcmVwLCAyKQ0KICBjb2xuYW1lcyhlZmZlY3QpID0gY29sbmFtZXMoY292ZXJhZ2UpID0gYygiU2luZ2xlIiwgIkRvdWJsZSIpDQogIA0KICBmb3IgKGkgaW4gMTpuX3JlcCkgew0KICAgIHggPSBybXZub3JtKG4sIG1lYW4gPSByZXAoMCwgcCksIHNpZ21hID0gY292X21hdCkNCiAgICB3ID0geCAlKiUgZGVsdGEgKyBybm9ybShuLCAwLCAxKQ0KICAgIHkgPSB0aGV0YSAqIHcgKyB4ICUqJSBiZXRhICsgcm5vcm0obiwgMCwgNCkNCiAgICANCiAgICAjIFNpbmdsZSBzZWxlY3Rpb24NCiAgICBzZWxfeSA9IHJsYXNzbyh4LCB5KQ0KICAgIG1vZGVsX3NpbmdsZSA9IGxtX3JvYnVzdCh5IH4gdyArIHhbLCBzZWxfeSRiZXRhICE9IDBdKQ0KICAgIGVmZmVjdFtpLDFdID0gbW9kZWxfc2luZ2xlJGNvZWZmaWNpZW50c1syXQ0KICAgIGNpX3NpbmdsZSA9IGNvbmZpbnQobW9kZWxfc2luZ2xlKVsidyIsIF0NCiAgICANCiAgICAjIERvdWJsZSBzZWxlY3Rpb24NCiAgICBzZWxfdyA9IHJsYXNzbyh4LCB3KQ0KICAgIHVuaW9uX3NlbGVjdGlvbiA9IHNlbF95JGJldGEgIT0gMCB8IHNlbF93JGJldGEgIT0gMA0KICAgIG1vZGVsX2RvdWJsZSA9IGxtX3JvYnVzdCh5IH4gdyArIHhbLCB1bmlvbl9zZWxlY3Rpb25dKQ0KICAgIGVmZmVjdFtpLDJdID0gbW9kZWxfZG91YmxlJGNvZWZmaWNpZW50c1syXQ0KICAgIGNpX2RvdWJsZSA9IGNvbmZpbnQobW9kZWxfZG91YmxlKVsidyIsIF0NCiAgICANCiAgICAjIENoZWNrIGNvdmVyYWdlDQogICAgY292ZXJhZ2VbaSwgMV0gPSB0aGV0YSA+PSBjaV9zaW5nbGVbMV0gJiB0aGV0YSA8PSBjaV9zaW5nbGVbMl0NCiAgICBjb3ZlcmFnZVtpLCAyXSA9IHRoZXRhID49IGNpX2RvdWJsZVsxXSAmIHRoZXRhIDw9IGNpX2RvdWJsZVsyXQ0KICB9DQogIA0KICBsaXN0KGJpYXMgPSBjb2xNZWFucyhlZmZlY3QpLXRoZXRhLCBtc2UgPSBjb2xNZWFucygoZWZmZWN0LXRoZXRhKV4yKSwgY292ZXJhZ2UgPSBjb2xNZWFucyhjb3ZlcmFnZSkpDQp9DQoNCiMgUnVuIHNpbXVsYXRpb25zIGZvciBlYWNoIERHUA0KcmVzdWx0c19iaWFzID0gcmVzdWx0c19tc2UgPSByZXN1bHRzX2NyID0gdGliYmxlKA0KICBER1AgPSBjKCJTYW1lIiwgIkFzeW1tZXRyaWMiLCAiRGVuc2UiKSwNCiAgU2luZ2xlID0gbnVtZXJpYyhsZW5ndGgoc3BhcnNpdHlfcGF0dGVybnMpKSwNCiAgRG91YmxlID0gbnVtZXJpYyhsZW5ndGgoc3BhcnNpdHlfcGF0dGVybnMpKQ0KKQ0KDQpmb3IgKGkgaW4gc2VxX2Fsb25nKHNwYXJzaXR5X3BhdHRlcm5zKSkgew0KICBkZWx0YSA9IHNwYXJzaXR5X3BhdHRlcm5zW1tpXV1bMSxdDQogIGJldGEgPSBzcGFyc2l0eV9wYXR0ZXJuc1tbaV1dWzIsXQ0KICBydW4gPSBzaW11bGF0ZV9jb3ZlcmFnZShkZWx0YSwgYmV0YSkNCiAgcmVzdWx0c19iaWFzW2ksIDI6M10gPSB0KHJ1biRiaWFzKQ0KICByZXN1bHRzX21zZVtpLCAyOjNdID0gdChydW4kbXNlKQ0KICByZXN1bHRzX2NyW2ksIDI6M10gPSB0KHJ1biRjb3ZlcmFnZSkNCn0NCg0KcHJpbnQocmVzdWx0c19jcikNCmBgYA0KDQpgYGB7cn0NCiMgRW5zdXJlIHRoZSBvcmRlciBvZiBER1AgaXMgbWFpbnRhaW5lZCBpbiB0aGUgcGxvdA0KcmVzdWx0c19jciRER1AgPSBmYWN0b3IocmVzdWx0c19jciRER1AsIGxldmVscyA9IGMoIlNhbWUiLCAiQXN5bW1ldHJpYyIsICJEZW5zZSIpKQ0KDQojIENvbnZlcnQgZGF0YSBmcm9tIHdpZGUgdG8gbG9uZyBmb3JtYXQgZm9yIGdncGxvdDINCnJlc3VsdHNfbG9uZyA9IHBpdm90X2xvbmdlcihyZXN1bHRzX2NyLCBjb2xzID0gYyhTaW5nbGUsIERvdWJsZSksIG5hbWVzX3RvID0gIlNlbGVjdGlvbiIsIHZhbHVlc190byA9ICJDb3ZlcmFnZVJhdGUiKQ0KDQojIENyZWF0ZSB0aGUgYmFyIHBsb3QNCmdncGxvdChyZXN1bHRzX2xvbmcsIGFlcyh4ID0gREdQLCB5ID0gQ292ZXJhZ2VSYXRlLCBmaWxsID0gU2VsZWN0aW9uKSkgKyANCiAgZ2VvbV9iYXIoc3RhdCA9ICJpZGVudGl0eSIsIHBvc2l0aW9uID0gcG9zaXRpb25fZG9kZ2Uod2lkdGggPSAwLjcpKSArIA0KICBzY2FsZV95X2NvbnRpbnVvdXMobGFiZWxzID0gc2NhbGVzOjpwZXJjZW50X2Zvcm1hdCgpKSArIA0KICBzY2FsZV9maWxsX2JyZXdlcihwYWxldHRlID0gIlBhc3RlbDEiLCBkaXJlY3Rpb24gPSAtMSkgKyANCiAgbGFicyh0aXRsZSA9ICJDb3ZlcmFnZSBSYXRlcyBmb3IgU2luZ2xlIHZzIERvdWJsZSBTZWxlY3Rpb24iLCANCiAgICAgICB5ID0gIkNvdmVyYWdlIFJhdGUgKCUpIiwgDQogICAgICAgeCA9ICJER1AgVHlwZSIsIA0KICAgICAgIGZpbGwgPSAiU2VsZWN0aW9uIE1ldGhvZCIpICsgDQogIHRoZW1lX21pbmltYWwoKSArIA0KICB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAidG9wIikgKyANCiAgZ2VvbV9obGluZSh5aW50ZXJjZXB0ID0gYygwLDAuOTUsMSksIGxpbmV0eXBlID0gYygic29saWQiLCJkYXNoZWQiLCJzb2xpZCIpLCBjb2xvciA9IGMoImJsYWNrIiwicmVkIiwiYmxhY2siKSwgbGluZXdpZHRoID0gMC43KSArDQogIGdlb21fdGV4dChhZXMobGFiZWw9c2NhbGVzOjpwZXJjZW50KENvdmVyYWdlUmF0ZSksIGdyb3VwPVNlbGVjdGlvbiksIA0KICAgICAgICAgICAgcG9zaXRpb249cG9zaXRpb25fZG9kZ2Uod2lkdGggPSAwLjcpLCB2anVzdD0tMC4yNSkNCmBgYA0KDQpEb3VibGUgc2VsZWN0aW9uIHNob3dzIG5vbWluYWwgY292ZXJhZ2UgaW4gdGhlIHR3byBzcGFyc2Ugc2V0dGluZ3MuIEhvd2V2ZXIsIGNvbmZpZGVuY2UgaW50ZXJ2YWxzIG9mIHNpbmdsZSBzZWxlY3Rpb24gdW5kZXJjb3ZlciBzdWJzdGFudGlhbGx5IGluIGFsbCBzZXR0aW5ncy4gVGhpcyBtZWFucyB3ZSB3b3VsZCBmaW5kIHNpZ25pZmljYW50IGVmZmVjdHMgbW9yZSBvZnRlbiB0aGFuIHdlIHNob3VsZC4gV2UgZG9uJ3QgbGlrZSB0aGF0LiBFdmVuIGluIHRoZSBkZW5zZSBER1Agd2hlcmUgZG91YmxlIHNlbGVjdGlvbiBzaG93ZWQgaGlnaGVyIGJpYXMsIGl0cyBjb3ZlcmFnZSByYXRlIGlzIGNsb3NlciB0byB0aGUgbm9taW5hbCByYXRlOiANCg0KLSBTaW5nbGUgc2VsZWN0aW9uIGlzIHdyb25nIGFuZCByZWxhdGl2ZWx5IGNvbmZpZGVudCBhYm91dCBpdC4NCg0KLSBEb3VibGUgc2VsZWN0aW9uIGlzIGV2ZW4gbW9yZSB3cm9uZywgYnV0IGF0IGxlYXN0IHJlZmxlY3RpbmcgaXRzIHVuY2VydGFpbnR5IGJldHRlci4NCg0KV2l0aCBkb3VibGUgc2VsZWN0aW9uIHdlIHdyb25nbHkgcmVqZWN0IHRoZSBjb3JyZWN0IG51bGwgaHlwb3RoZXNpcyBvZiBubyBlZmZlY3QgaW4gcm91Z2hseSAzNSUgb2YgdGhlIHJlcGxpY2F0aW9ucyB3aHkgd2Ugd291bGQgZXhwZWN0IDUlLiBTaW5nbGUgc2VsZWN0aW9uIG9uIHRoZSBvdGhlciBoYW5kIHJlamVjdHMgaW4gb3ZlciA5MCUgb2YgdGhlIHJlcGxpY2F0aW9ucy4gVGhpcyBtZWFucywgd2Ugd291bGQgZmluZCBuZWFybHkgYWx3YXlzIGEgc2lnbmlmaWNhbnQgZWZmZWN0IHRoYXQgaXMgbm90IHRoZXJlLiBXZSBkb24ndCBsaWtlIHRoaXMuDQoNCjxicj4NCg0KIyMjIFRha2UtYXdheXMNCiANCiAtIFNpbmdsZSBzZWxlY3Rpb24gcHJvZHVjZXMgYmlhc2VkIGVzdGltYXRlcyBldmVuIGluIHNwYXJzZSBzZXR0aW5ncy4NCiANCiAtIERvdWJsZSBTZWxlY3Rpb24gc3VjY2Vzc2Z1bGx5IHJlbW92ZXMgb21pdHRlZCB2YXJpYWJsZSBiaWFzIGJ5IHZhcmlhYmxlcyB0aGF0IHdvdWxkIGJlIG1pc3NlZCBieSBzaW5nbGUgc2VsZWN0aW9uLg0KIA0KIC0gVGhlIHByaWNlIHRvIHBheSBpcyBhIGhpZ2hlciB2YXJpYW5jZSBjb21wYXJlZCB0byB0aGUgc2luZ2xlIHNlbGVjdGlvbiBlc3RpbWF0b3IuDQogDQogLSBEb3VibGUgU2VsZWN0aW9uIGJsb3dzIHVwIGlmIHRoZSB3b3JsZCBpcyBub3Qgc3BhcnNlICRcUmlnaHRhcnJvdyQgd2UgaGF2ZSB0byAiYmV0IG9uIHNwYXJzaXR5Iiwgd2hpY2ggaXMgaGFyZGVyIHRvIHN3YWxsb3cgdGhlIHNtYWxsZXIgdGhlIHNhbXBsZSBzaXplDQoNCiAtIEhvd2V2ZXIsIGlmIHdlIGFyZSBpbnRlcmVzdGVkIGluIHN0YXRpc3RpY2FsIGluZmVyZW5jZSBhYm91dCB0aGUgY2F1c2FsIHRhcmdldCBwYXJhbWV0ZXIsIGRvdWJsZSBzZWxlY3Rpb24gaXMgc3RpbGwgY3J1Y2lhbC4gRXNwZWNpYWxseSBiZWNhdXNlIHN0YXRpc3RpY2FsIGluZmVyZW5jZSBpcyBtb3JlIHJlbGlhYmxlLCBldmVuIGluIGNhc2VzIHdoZXJlIGFwcHJveGltYXRlIHNwYXJzaXR5IGRvZXMgbm90IGhvbGQuDQogDQo8YnI+DQogDQojIyMgU3VnZ2VzdGlvbnMgdG8gcGxheSB3aXRoIHRoZSB0b3kgbW9kZWwNCg0KRmVlbCBmcmVlIHRvIHBsYXkgYXJvdW5kIHdpdGggdGhlIGNvZGUuIFRoaXMgaXMgdXNlZnVsIHRvIHNoYXJwZW4gYW5kIGNoYWxsZW5nZSB5b3VyIHVuZGVyc3RhbmRpbmcgb2YgdGhlIG1ldGhvZHMuIFRoaW5rIGFib3V0IHRoZSBjb25zZXF1ZW5jZXMgb2YgYSBtb2RpZmljYXRpb25zIGJlZm9yZSB5b3UgcnVuIGl0IGFuZCBjaGVjayB3aGV0aGVyIHRoZSByZXN1bHRzIGFyZSBpbiBsaW5lIHdpdGggeW91ciBleHBlY3RhdGlvbi4gU29tZSBzdWdnZXN0aW9uczoNCiANCi0gTW9kaWZ5IERHUCAoY29ycmVsYXRpb24gb2YgY292YXJpYXRlcywgY29lZmZpY2llbnRzLCBub2lzZSB0ZXJtLCAuLi4pDQoNCi0gVmFyeSB0aGUgbnVtYmVyIG9mIG9ic2VydmF0aW9ucw0KDQotIEltcGxlbWVudCB2YXJpYWJsZSBzZWxlY3Rpb24gbWltaWNraW5nIHdoYXQgcmVzZWFyY2hlcnMgbWlnaHQgZG8gKGUuZy4gYmFzZWQgb24gdC10ZXN0cykNCg0KLSBDaGFuZ2UgdGhlIHZhbHVlcyBvZiB0aGV0YSB0bywgZS5nLiAxIG9yIC0xLiBFeHBsYWluIHlvdXIgb2JzZXJ2YXRpb25zLiAoSGludDogdGhpbmsgYWJvdXQgdGhlIHJlZHVjZWQgZm9ybSkNCg0KIA==