## install packages with:
## install.packages(c("glmnet", "MASS"))
library(glmnet)
library(MASS)
Introduction
In this lab session we will look at the following topics
- Methods to set some of the loadings exactly to zero in a PCA.
- Use
glmnet()
to add penalties on principal component loadings.
- Use LDA to understand differences between groups in a high dimensional space.
The dataset
In this practical session, we use the dataset by Alon et al. (1999) on gene expression levels in 40 tumour and 22 normal colon tissue samples. They checked a total of 6500 human genes using the Affymetrix oligonucleotide array. You can read the data in as follows:
Alon1999 <- read.csv("https://github.com/statOmics/HDA2020/raw/data/Alon1999.csv")
str(Alon1999[, 1:10])
#> 'data.frame': 62 obs. of 10 variables:
#> $ Y : chr "t" "n" "t" "n" ...
#> $ X1: num 8589 9164 3826 6246 3230 ...
#> $ X2: num 5468 6720 6970 7824 3694 ...
#> $ X3: num 4263 4883 5370 5956 3401 ...
#> $ X4: num 4065 3718 4706 3976 3464 ...
#> $ X5: num 1998 2015 1167 2003 2181 ...
#> $ X6: num 5282 5570 1572 2131 2923 ...
#> $ X7: num 2170 3849 1325 1531 2069 ...
#> $ X8: num 2773 2793 1472 1715 2949 ...
#> $ X9: num 7526 7018 3297 3870 3303 ...
table(Alon1999$Y)
#>
#> n t
#> 22 40
The dataset contains one variable named Y
with the values t
and n
. This variable indicates whether the sample came from tumourous (t
) or normal (n
) tissue.
The goal of this practical is to find the best subset/combination of genes to detect tumourous tissue. As in Alon et al. (1999), we use the 2000 genes with the highest minimal intensity across the samples.
Sparse PCA
In order to work easily with the data, first construct a scaled matrix X
and a vector Y
which gives the scaled predictors and the response variable:
X <- scale(Alon1999[, -1])
Y <- as.factor(Alon1999[, 1])
Use these objects to solve the following exercises.
Exercises
2. Plot the singular values and confirm that the first and second PCs can approximate the data to some extent.
Solution
## Plotting parameters
par(pch = 19, mfrow = c(1, 2))
plot(svd_X$d, type = "b", ylab = "Singular values", xlab = "PCs")
## Percentage variance explained for each PC
var_explained <- svd_X$d^2 / sum(svd_X$d^2)
plot(var_explained,
type = "b", ylab = "Percent variance explained", xlab = "PCs",
col = 2
)
3. Plot the first two PCs and use different colours for tumor/normal tissue.
In order to plot different colors and add a legend with base R
plotting, you can do the following:
par(mfrow = c(1, 1))
cols <- c("n" = "red", "t" = "blue")
plot(X[, 1], X[, 2], col = cols[Y], pch = 19)
legend("topleft", c("Normal", "Tumor"),
col = c("red", "blue"),
pch = 19, title = "Tissue"
)
This plots the first two dimensions of the X
(!) matrix with solid points (pch = 19
), and the color red for normal tissue and blue for tumorous tissue. You can adapt this code to create the proper plot.
Solution
cols <- c("n" = "red", "t" = "blue")
plot(Z[, 1], Z[, 2],
col = cols[Y],
xlab = "PC1", ylab = "PC2", pch = 19
)
legend("topleft", c("Normal", "Tumor"),
col = c("red", "blue"),
pch = 19, title = "Tissue"
)
Interpretation: using only the first 2 PCs does not seem to separate the tumour and normal cases clearly.
4. Plot histograms of the loadings of the first and second PCs. Which loadings are the most important?
You can use the hist
function to plot a histogram. Be sure to you use an appropriate value for the breaks
argument.
Solution
par(mfrow = c(2, 1))
# First
hist(V[, 1], breaks = 50, xlab = "PC 1 loadings", main = "")
# Add vertical line at 95% quantile
abline(v = quantile(V[, 1], 0.95), col = "red", lwd = 2)
# Second
hist(V[, 2], breaks = 50, xlab = "PC 2 loadings", main = "")
abline(v = c(
quantile(V[, 2], 0.05),
quantile(V[, 2], 0.95)
), col = "red", lwd = 2)
Vertical lines were added at the 95th percentile for PC1 and the 5th and 95th percentiles for PC2 to reflect where the “highest” (in absolute value) loadings are situated (no negative loadings for PC1, so only showing the 95th percentile).
Interpretation: remember that the PC loadings reflect the contributions of each feature (in this case: gene) to the PC. From these histograms it should be clear that only a minor fraction of the genes are really driving these first 2 PCs, especially for PC 2 (where the bulk of genes has loadings close to 0).
5. We know that the first PC \(\mathbf{Z_1}\), is given by
\[
\mathbf{Z_1}=\mathbf{X} \mathbf{V_1}
\]
Where \(\mathbf{V_1}\) are the loadings of the first PC. If we put this in regression notation, we get
\[
\mathbf{Y}=\mathbf{X}\boldsymbol{\beta}
\]
where \(\boldsymbol{\beta}\) now represent the \(\mathbf{V_1}\) loadings, and \(\mathbf{Y}\) is \(\mathbf{Z_1}\).
Recall that the ridge regression solution for \(\boldsymbol{\beta}\) is given by
\[
\boldsymbol{\beta}_{\text{ridge}}
= (\mathbf{X^TX}+\gamma\mathbf{I})^{-1}\mathbf{X}^T\mathbf Y
\]
Question: Replace \(\mathbf{Y}\) with \(\mathbf{Z_1}\) and verify in R
that
\[
\mathbf V_1 =
\frac{\boldsymbol\beta_{\text{ridge}}}{\|\boldsymbol\beta_{\text{ridge}}\|_2}
\]
for any \(\gamma > 0\) of your choice. Remember that \(\|\boldsymbol\beta_{\text{ridge}}\|_2 = \sqrt{\sum_{j=1}^p \beta_j^2}\)
Solution
p <- dim(X)[2]
# Let's take a ridiculously large gamma: 200
tXX_gamma_I <- t(X) %*% X + 200 * diag(p)
## This might take a while to calculate
beta_ridge <- solve(tXX_gamma_I) %*% t(X) %*% Z[, 1]
#||beta_ridge||_2
mag_beta_ridge <- sqrt(sum(beta_ridge^2))
For comparison, let’s plot \(\boldsymbol\beta_{\text{ridge}} / \|\boldsymbol\beta_{\text{ridge}}\|_2\) against the PC1 loadings \(\mathbf V_1\).
par(mfrow = c(1, 1))
# Plot against the loadings
plot(svd_X$v[, 1], beta_ridge / mag_beta_ridge,
xlab = expression("V"[1]),
ylab = expression(beta["ridge"] / paste("||", beta, "||")[2]),
pch = 19
)
# Or just simply take the difference between them
max(abs(svd_X$v[, 1] - beta_ridge / mag_beta_ridge))
#> [1] 5.187517e-14
Then you’ve proven that the loadings of the PCs can be computed from the ridge regression coefficients.
We can now move on to sparse PCA, where we use penalised regression to set some of the loadings (\(\boldsymbol{\beta}\)s) to zero.
6. We have seen elastic net type penalties. If we call the loadings of the first PC as \(\boldsymbol{\beta}\) and denote PC1 as \(\mathbf{Y}\), we saw that \(\boldsymbol{\beta}\) can be derived by minimising the SSE:
\[
\text{SSE}=\|\mathbf Y-\mathbf{X}\boldsymbol \beta\|^2_2+\gamma\|\boldsymbol \beta\|^2_2 \text{ for any } \gamma>0).
\]
Note that this equality holds for any positive \(\gamma\). So we can’t penalise the \(\boldsymbol\beta\)s not being zero by choosing a different \(\gamma\). Remember that for ridge regression, the \(\beta\)’s only become 0 for \(\gamma = \infty\). Fortunately we have other tools.
In addition to the \(L_2\) penalization, we can use the \(L_1\) penalization of Lasso. This allows us to force some of the \(\boldsymbol\beta\)s to become zero. The new SSE will be of the form:
\[
\text{SSE}=\|\mathbf Y-\mathbf{X}\boldsymbol \beta\|^2_2+\gamma\|\boldsymbol \beta\|^2_2 +\gamma_1\|\boldsymbol \beta\|_1.
\]
This is exactly the elastic net SSE, and \(\gamma_1\) is the Lasso type penalty that sets loadings to zero.
Now use the glmnet
and cv.glmnet
functions to select an appropriate number of non-zero loadings for the first and second PCs. Use alpha = 0.5
in your elastic net models and use Z1
and Z2
as the response variables (you should fit 2 separate models).
Solution
par(mfrow = c(1, 2))
# For PC1
set.seed(45)
fit_loadings1 <- cv.glmnet(X, Z[, 1],
alpha = 0.5, nfolds = 5
)
plot(fit_loadings1, main = "PC1")
# For PC2
set.seed(45)
fit_loadings2 <- cv.glmnet(X, Z[, 2], alpha = 0.5, nfolds = 5)
plot(fit_loadings2, main = "PC2")
To see how many features are important for each fit, we can make coefficient profile plots. Note that the actual glmnet
fit objects are included in the cv.glmnet
objects under $glmnet.fit
.
I added vertical dashed lines at lambda.min
and lambda.1se
.
par(mfrow = c(2, 1))
plot(fit_loadings1$glmnet.fit, main = "PC1", xvar = "lambda")
abline(v = log(fit_loadings1$lambda.min), lty = 3)
abline(v = log(fit_loadings1$lambda.1se), lty = 3)
plot(fit_loadings2$glmnet.fit, main = "PC2", xvar = "lambda")
abline(v = log(fit_loadings2$lambda.min), lty = 3)
abline(v = log(fit_loadings2$lambda.1se), lty = 3)
To get the exact number of non-zero coefficients for lambda.min
and lambda.1se
, just print the cv.glmnet
objects.
fit_loadings1
#>
#> Call: cv.glmnet(x = X, y = Z[, 1], nfolds = 5, alpha = 0.5)
#>
#> Measure: Mean-Squared Error
#>
#> Lambda Index Measure SE Nonzero
#> min 1.195 83 10.88 1.888 101
#> 1se 1.655 76 12.68 1.742 96
fit_loadings2
#>
#> Call: cv.glmnet(x = X, y = Z[, 2], nfolds = 5, alpha = 0.5)
#>
#> Measure: Mean-Squared Error
#>
#> Lambda Index Measure SE Nonzero
#> min 0.2923 91 11.70 4.123 80
#> 1se 1.1800 61 15.79 6.171 67
Interpretation: for PC1, we see that around 90 to 100 genes are most important, based on the range of \(\gamma\) (lambda
) values between lambda.min
and lambda.1se
. Similarly, for PC2 we get around 65 - 80 genes. With this information, we can now choose one of the lambda
values and construct PCs that will have non-zero loadings for only a few genes.
LDA
In this section, we will perform LDA on the gene data to get a clear understanding on the genes responsible for separating the tumor and normal tissue groups.
Remember that the LDA problem can be stated as
\[
\mathbf{v}
= \text{ArgMax}_a \frac{\mathbf{a^T B a}}{\mathbf{a^T W a}}
\text{ subject to }
\mathbf{a^T W a} = 1
\]
Which is equivalent to the eigenvalue/eigenvector problem
\[
\mathbf W^{-1} \mathbf B \mathbf a=\lambda \mathbf a
\]
In our case, where we only have two groups, only one solution exists. This is the eigenvector \(\mathbf v\) and its eigenvalue. We can then write the PC-scores as
\[
\mathbf Z=\mathbf X \mathbf v
\]
Exercises
2. \(\mathbf v\) can be extracted from the object as the element scaling
. Extract this and call it V1
.
Solution
3. Compute \(\mathbf Z\) and call it Z1
.
Solution
References
Alon, Uri, Naama Barkai, Daniel A Notterman, Kurt Gish, Suzanne Ybarra, Daniel Mack, and Arnold J Levine. 1999. “Broad Patterns of Gene Expression Revealed by Clustering Analysis of Tumor and Normal Colon Tissues Probed by Oligonucleotide Arrays.” Proceedings of the National Academy of Sciences 96 (12): 6745–50.
LS0tCnRpdGxlOiAiQW5hbHlzaXMgb2YgSGlnaCBEaW1lbnNpb25hbCBEYXRhIC0gTGFiIDQiCnN1YnRpdGxlOiAiU3BhcnNlIFBDQSBhbmQgTERBIgphdXRob3I6ICJBZGFwdGVkIGJ5IE1pbGFuIE1hbGZhaXQiCmRhdGU6ICIxOSBOb3YgMjAyMCIKcmVmZXJlbmNlczoKLSBpZDogYWxvbjE5OTlicm9hZAogIHR5cGU6IGFydGljbGUtam91cm5hbAogIGF1dGhvcjoKICAtIGZhbWlseTogQWxvbgogICAgZ2l2ZW46IFVyaQogIC0gZmFtaWx5OiBCYXJrYWkKICAgIGdpdmVuOiBOYWFtYQogIC0gZmFtaWx5OiBOb3R0ZXJtYW4KICAgIGdpdmVuOiBEYW5pZWwgQQogIC0gZmFtaWx5OiBHaXNoCiAgICBnaXZlbjogS3VydAogIC0gZmFtaWx5OiBZYmFycmEKICAgIGdpdmVuOiBTdXphbm5lCiAgLSBmYW1pbHk6IE1hY2sKICAgIGdpdmVuOiBEYW5pZWwKICAtIGZhbWlseTogTGV2aW5lCiAgICBnaXZlbjogQXJub2xkIEoKICBpc3N1ZWQ6CiAgLSB5ZWFyOiAxOTk5CiAgdGl0bGU6IEJyb2FkIHBhdHRlcm5zIG9mIGdlbmUgZXhwcmVzc2lvbiByZXZlYWxlZCBieSBjbHVzdGVyaW5nIGFuYWx5c2lzIG9mIHR1bW9yCiAgICBhbmQgbm9ybWFsIGNvbG9uIHRpc3N1ZXMgcHJvYmVkIGJ5IG9saWdvbnVjbGVvdGlkZSBhcnJheXMKICBjb250YWluZXItdGl0bGU6IFByb2NlZWRpbmdzIG9mIHRoZSBOYXRpb25hbCBBY2FkZW15IG9mIFNjaWVuY2VzCiAgcHVibGlzaGVyOiBOYXRpb25hbCBBY2FkIFNjaWVuY2VzCiAgcGFnZTogNjc0NS02NzUwCiAgdm9sdW1lOiAnOTYnCiAgaXNzdWU6ICcxMicKLS0tCgpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRSwgY2FjaGU9RkFMU0V9CmtuaXRyOjpvcHRzX2NodW5rJHNldCgKICBjb2xsYXBzZSA9IFRSVUUsCiAgY29tbWVudCA9ICIjPiIsCiAgZmlnLmFsaWduID0gImNlbnRlciIsCiAgZmlnLndpZHRoID0gOCwKICBmaWcuYXNwID0gMC42MTgsCiAgb3V0LndpZHRoID0gIjEwMCUiCikKYGBgCgoqKioKCmBgYHtyIGxpYnJhcmllcywgd2FybmluZz1GQUxTRSwgbWVzc2FnZT1GQUxTRX0KIyMgaW5zdGFsbCBwYWNrYWdlcyB3aXRoOgojIyBpbnN0YWxsLnBhY2thZ2VzKGMoImdsbW5ldCIsICJNQVNTIikpCmxpYnJhcnkoZ2xtbmV0KQpsaWJyYXJ5KE1BU1MpCmBgYAoKCiMgSW50cm9kdWN0aW9uCgoqKkluIHRoaXMgbGFiIHNlc3Npb24gd2Ugd2lsbCBsb29rIGF0IHRoZSBmb2xsb3dpbmcgdG9waWNzKioKCiAgLSBNZXRob2RzIHRvIHNldCBzb21lIG9mIHRoZSBsb2FkaW5ncyBleGFjdGx5IHRvIHplcm8gaW4gYSBQQ0EuCiAgLSBVc2UgYGdsbW5ldCgpYCB0byBhZGQgcGVuYWx0aWVzIG9uIHByaW5jaXBhbCBjb21wb25lbnQgbG9hZGluZ3MuCiAgLSBVc2UgTERBIHRvIHVuZGVyc3RhbmQgZGlmZmVyZW5jZXMgYmV0d2VlbiBncm91cHMgaW4gYSBoaWdoIGRpbWVuc2lvbmFsIHNwYWNlLgogIAojIyBUaGUgZGF0YXNldCB7LX0KCkluIHRoaXMgcHJhY3RpY2FsIHNlc3Npb24sIHdlIHVzZSB0aGUgZGF0YXNldCBieSBAYWxvbjE5OTlicm9hZCBvbgpnZW5lIGV4cHJlc3Npb24gbGV2ZWxzIGluIDQwIHR1bW91ciBhbmQgMjIgbm9ybWFsIGNvbG9uIHRpc3N1ZSBzYW1wbGVzLgpUaGV5IGNoZWNrZWQgYSB0b3RhbCBvZiA2NTAwIGh1bWFuIGdlbmVzIHVzaW5nIHRoZSBBZmZ5bWV0cml4IG9saWdvbnVjbGVvdGlkZSBhcnJheS4KWW91IGNhbiByZWFkIHRoZSBkYXRhIGluIGFzIGZvbGxvd3M6CgpgYGB7ciBsb2FkLWRhdGF9CkFsb24xOTk5IDwtIHJlYWQuY3N2KCJodHRwczovL2dpdGh1Yi5jb20vc3RhdE9taWNzL0hEQTIwMjAvcmF3L2RhdGEvQWxvbjE5OTkuY3N2IikKc3RyKEFsb24xOTk5WywgMToxMF0pCnRhYmxlKEFsb24xOTk5JFkpCmBgYAoKVGhlIGRhdGFzZXQgY29udGFpbnMgb25lIHZhcmlhYmxlIG5hbWVkIGBZYCB3aXRoIHRoZSB2YWx1ZXMgYHRgIGFuZCBgbmAuClRoaXMgdmFyaWFibGUgaW5kaWNhdGVzIHdoZXRoZXIgdGhlIHNhbXBsZSBjYW1lIGZyb20gdHVtb3Vyb3VzIChgdGApIG9yCm5vcm1hbCAoYG5gKSB0aXNzdWUuCgpUaGUgZ29hbCBvZiB0aGlzIHByYWN0aWNhbCBpcyB0byBmaW5kIHRoZSBiZXN0IHN1YnNldC9jb21iaW5hdGlvbiBvZiBnZW5lcyB0byBkZXRlY3QgdHVtb3Vyb3VzIHRpc3N1ZS4KQXMgaW4gQGFsb24xOTk5YnJvYWQsIHdlIHVzZSB0aGUgMjAwMCBnZW5lcyB3aXRoIHRoZSBoaWdoZXN0IG1pbmltYWwgaW50ZW5zaXR5CmFjcm9zcyB0aGUgc2FtcGxlcy4KCiMgU3BhcnNlIFBDQQoKSW4gb3JkZXIgdG8gd29yayBlYXNpbHkgd2l0aCB0aGUgZGF0YSwgZmlyc3QgY29uc3RydWN0IGEgc2NhbGVkIG1hdHJpeApgWGAgYW5kIGEgdmVjdG9yIGBZYCB3aGljaCBnaXZlcyB0aGUgc2NhbGVkIHByZWRpY3RvcnMgYW5kIHRoZSByZXNwb25zZQp2YXJpYWJsZToKCmBgYHtyfQpYIDwtIHNjYWxlKEFsb24xOTk5WywgLTFdKQpZIDwtIGFzLmZhY3RvcihBbG9uMTk5OVssIDFdKQpgYGAKClVzZSB0aGVzZSBvYmplY3RzIHRvIHNvbHZlIHRoZSBmb2xsb3dpbmcgZXhlcmNpc2VzLgoKIyMgRXhlcmNpc2VzIHstfQoKIyMjIyAxLiBQZXJmb3JtIGEgU1ZEIG9uIGBYYCwgYW5kIHN0b3JlIHRoZSBzY29yZXMgb2YgdGhlIFBDcyBpbiBhIG1hdHJpeCBgWmAuIHstfQoKPGRldGFpbHM+PHN1bW1hcnk+U29sdXRpb248L3N1bW1hcnk+CgpVc2luZyBgc3ZkYDoKCmBgYHtyfQpzdmRfWCA8LSBzdmQoWCkKWiA8LSBzdmRfWCR1ICUqJSBkaWFnKHN2ZF9YJGQpICMgQ2FsY3VsYXRlIHRoZSBzY29yZXMKViA8LSBzdmRfWCR2ICAgICAgICAgICAgICAgICAjIENhbGN1bGF0ZSB0aGUgbG9hZGluZ3MKYGBgCgpVc2luZyBgcHJjb21wYDoKCmBgYHtyfQojIyBYIGlzIGFscmVhZHkgY2VudGVyZWQgYW5kIHNjYWxlZCBzbyBubyBuZWVkIHRvIGRvIGFnYWluCnBjYV94IDwtIHByY29tcChYLCBjZW50ZXIgPSBGQUxTRSwgc2NhbGUuID0gRkFMU0UpCiMjIFRoZSBzY29yZXMgYXJlIGdpdmVuIGJ5IGBwY2FfeCR4YCwgdGhlIGxvYWRpbmdzIGFyZSBgcGNhX3gkcm90YXRpb25gCmBgYAoKPC9kZXRhaWxzPgoKCiMjIyMgMi4gUGxvdCB0aGUgc2luZ3VsYXIgdmFsdWVzIGFuZCBjb25maXJtIHRoYXQgdGhlIGZpcnN0IGFuZCBzZWNvbmQgUENzIGNhbiBhcHByb3hpbWF0ZSB0aGUgZGF0YSB0byBzb21lIGV4dGVudC4gey19Cgo8ZGV0YWlscz48c3VtbWFyeT5Tb2x1dGlvbjwvc3VtbWFyeT4KCmBgYHtyIHBjYS1zaW5ndWxhcl92YWx1ZXMtcGxvdH0KIyMgUGxvdHRpbmcgcGFyYW1ldGVycwpwYXIocGNoID0gMTksIG1mcm93ID0gYygxLCAyKSkKCnBsb3Qoc3ZkX1gkZCwgdHlwZSA9ICJiIiwgeWxhYiA9ICJTaW5ndWxhciB2YWx1ZXMiLCB4bGFiID0gIlBDcyIpCgojIyBQZXJjZW50YWdlIHZhcmlhbmNlIGV4cGxhaW5lZCBmb3IgZWFjaCBQQwp2YXJfZXhwbGFpbmVkIDwtIHN2ZF9YJGReMiAvIHN1bShzdmRfWCRkXjIpCnBsb3QodmFyX2V4cGxhaW5lZCwKICB0eXBlID0gImIiLCB5bGFiID0gIlBlcmNlbnQgdmFyaWFuY2UgZXhwbGFpbmVkIiwgeGxhYiA9ICJQQ3MiLAogIGNvbCA9IDIKKQpgYGAKCjwvZGV0YWlscz4KCgojIyMjIDMuIFBsb3QgdGhlIGZpcnN0IHR3byBQQ3MgYW5kIHVzZSBkaWZmZXJlbnQgY29sb3VycyBmb3IgdHVtb3Ivbm9ybWFsIHRpc3N1ZS4gey19CgpJbiBvcmRlciB0byBwbG90IGRpZmZlcmVudCBjb2xvcnMgYW5kIGFkZCBhIGxlZ2VuZCB3aXRoIGJhc2UgYFJgIHBsb3R0aW5nLCB5b3UgY2FuIGRvIHRoZSBmb2xsb3dpbmc6CgpgYGB7cn0KcGFyKG1mcm93ID0gYygxLCAxKSkKY29scyA8LSBjKCJuIiA9ICJyZWQiLCAidCIgPSAiYmx1ZSIpCnBsb3QoWFssIDFdLCBYWywgMl0sIGNvbCA9IGNvbHNbWV0sIHBjaCA9IDE5KQpsZWdlbmQoInRvcGxlZnQiLCBjKCJOb3JtYWwiLCAiVHVtb3IiKSwKICBjb2wgPSBjKCJyZWQiLCAiYmx1ZSIpLAogIHBjaCA9IDE5LCB0aXRsZSA9ICJUaXNzdWUiCikKYGBgCgpUaGlzIHBsb3RzIHRoZSBmaXJzdCB0d28gZGltZW5zaW9ucyBvZiB0aGUgYFhgICghKSBtYXRyaXggd2l0aCBzb2xpZApwb2ludHMgKGBwY2ggPSAxOWApLCBhbmQgdGhlIGNvbG9yIHJlZCBmb3Igbm9ybWFsIHRpc3N1ZSBhbmQgYmx1ZSBmb3IKdHVtb3JvdXMgdGlzc3VlLiBZb3UgY2FuIGFkYXB0IHRoaXMgY29kZSB0byBjcmVhdGUgdGhlIHByb3BlciBwbG90LgoKPGRldGFpbHM+PHN1bW1hcnk+U29sdXRpb248L3N1bW1hcnk+CgpgYGB7ciBwY2EtcGxvdH0KY29scyA8LSBjKCJuIiA9ICJyZWQiLCAidCIgPSAiYmx1ZSIpCnBsb3QoWlssIDFdLCBaWywgMl0sCiAgY29sID0gY29sc1tZXSwKICB4bGFiID0gIlBDMSIsIHlsYWIgPSAiUEMyIiwgcGNoID0gMTkKKQpsZWdlbmQoInRvcGxlZnQiLCBjKCJOb3JtYWwiLCAiVHVtb3IiKSwKICBjb2wgPSBjKCJyZWQiLCAiYmx1ZSIpLAogIHBjaCA9IDE5LCB0aXRsZSA9ICJUaXNzdWUiCikKYGBgCgpfX0ludGVycHJldGF0aW9uOl9fIHVzaW5nIG9ubHkgdGhlIGZpcnN0IDIgUENzIGRvZXMgbm90IHNlZW0gdG8gc2VwYXJhdGUgdGhlIHR1bW91ciBhbmQgbm9ybWFsIGNhc2VzIGNsZWFybHkuCgo8L2RldGFpbHM+CgoKIyMjIyA0LiBQbG90IGhpc3RvZ3JhbXMgb2YgdGhlIGxvYWRpbmdzIG9mIHRoZSBmaXJzdCBhbmQgc2Vjb25kIFBDcy4gV2hpY2ggbG9hZGluZ3MgYXJlIHRoZSBtb3N0IGltcG9ydGFudD8gey19CgpZb3UgY2FuIHVzZSB0aGUgYGhpc3RgIGZ1bmN0aW9uIHRvIHBsb3QgYSBoaXN0b2dyYW0uCkJlIHN1cmUgdG8geW91IHVzZSBhbiBhcHByb3ByaWF0ZSB2YWx1ZSBmb3IgdGhlIGBicmVha3NgIGFyZ3VtZW50LgoKPGRldGFpbHM+PHN1bW1hcnk+U29sdXRpb248L3N1bW1hcnk+CgpgYGB7ciBwYy1sb2FkaW5ncywgZmlnLmFzcCA9IDEuMn0KcGFyKG1mcm93ID0gYygyLCAxKSkKIyBGaXJzdApoaXN0KFZbLCAxXSwgYnJlYWtzID0gNTAsIHhsYWIgPSAiUEMgMSBsb2FkaW5ncyIsIG1haW4gPSAiIikKIyBBZGQgdmVydGljYWwgbGluZSBhdCA5NSUgcXVhbnRpbGUKYWJsaW5lKHYgPSBxdWFudGlsZShWWywgMV0sIDAuOTUpLCBjb2wgPSAicmVkIiwgbHdkID0gMikKCiMgU2Vjb25kCmhpc3QoVlssIDJdLCBicmVha3MgPSA1MCwgeGxhYiA9ICJQQyAyIGxvYWRpbmdzIiwgbWFpbiA9ICIiKQphYmxpbmUodiA9IGMoCiAgcXVhbnRpbGUoVlssIDJdLCAwLjA1KSwKICBxdWFudGlsZShWWywgMl0sIDAuOTUpCiksIGNvbCA9ICJyZWQiLCBsd2QgPSAyKQpgYGAKClZlcnRpY2FsIGxpbmVzIHdlcmUgYWRkZWQgYXQgdGhlIDk1dGggcGVyY2VudGlsZSBmb3IgUEMxIGFuZCB0aGUgNXRoIGFuZCA5NXRoIHBlcmNlbnRpbGVzIGZvciBQQzIgdG8gcmVmbGVjdCB3aGVyZSB0aGUgImhpZ2hlc3QiIChpbiBhYnNvbHV0ZSB2YWx1ZSkgbG9hZGluZ3MgYXJlIHNpdHVhdGVkIChubyBuZWdhdGl2ZSBsb2FkaW5ncyBmb3IgUEMxLCBzbyBvbmx5IHNob3dpbmcgdGhlIDk1dGggcGVyY2VudGlsZSkuCgpfX0ludGVycHJldGF0aW9uOl9fIHJlbWVtYmVyIHRoYXQgdGhlIFBDIGxvYWRpbmdzIHJlZmxlY3QgdGhlICpjb250cmlidXRpb25zKiBvZiBlYWNoIGZlYXR1cmUgKGluIHRoaXMgY2FzZTogZ2VuZSkgdG8gdGhlIFBDLgpGcm9tIHRoZXNlIGhpc3RvZ3JhbXMgaXQgc2hvdWxkIGJlIGNsZWFyIHRoYXQgb25seSBhIG1pbm9yIGZyYWN0aW9uIG9mIHRoZSBnZW5lcyBhcmUgcmVhbGx5IGRyaXZpbmcgdGhlc2UgZmlyc3QgMiBQQ3MsIGVzcGVjaWFsbHkgZm9yIFBDIDIgKHdoZXJlIHRoZSBidWxrIG9mIGdlbmVzIGhhcyBsb2FkaW5ncyBjbG9zZSB0byAwKS4KCjwvZGV0YWlscz4KCgojIyMjIDUuIFdlIGtub3cgdGhhdCB0aGUgZmlyc3QgUEMgJFxtYXRoYmZ7Wl8xfSQsIGlzIGdpdmVuIGJ5IHstfQoKICAkJAogIFxtYXRoYmZ7Wl8xfT1cbWF0aGJme1h9IFxtYXRoYmZ7Vl8xfQogICQkCgogIFdoZXJlICRcbWF0aGJme1ZfMX0kIGFyZSB0aGUgbG9hZGluZ3Mgb2YgdGhlIGZpcnN0IFBDLiBJZiB3ZSBwdXQgdGhpcyBpbiByZWdyZXNzaW9uIG5vdGF0aW9uLCB3ZSBnZXQKCiAgJCQKICBcbWF0aGJme1l9PVxtYXRoYmZ7WH1cYm9sZHN5bWJvbHtcYmV0YX0KICAkJCAKCiAgd2hlcmUgJFxib2xkc3ltYm9se1xiZXRhfSQgbm93IHJlcHJlc2VudCB0aGUgJFxtYXRoYmZ7Vl8xfSQgbG9hZGluZ3MsIGFuZAogICRcbWF0aGJme1l9JCBpcyAkXG1hdGhiZntaXzF9JC4KCiAgUmVjYWxsIHRoYXQgdGhlIHJpZGdlIHJlZ3Jlc3Npb24gc29sdXRpb24gZm9yICRcYm9sZHN5bWJvbHtcYmV0YX0kIGlzIGdpdmVuIGJ5CgogICQkCiAgXGJvbGRzeW1ib2x7XGJldGF9X3tcdGV4dHtyaWRnZX19CiAgICA9IChcbWF0aGJme1heVFh9K1xnYW1tYVxtYXRoYmZ7SX0pXnstMX1cbWF0aGJme1h9XlRcbWF0aGJmIFkKICAkJAoKICBfX1F1ZXN0aW9uOl9fIFJlcGxhY2UgJFxtYXRoYmZ7WX0kIHdpdGggJFxtYXRoYmZ7Wl8xfSQgYW5kIHZlcmlmeSBpbiAKICBgUmAgdGhhdAoKICAkJAogIFxtYXRoYmYgVl8xID0gCiAgICBcZnJhY3tcYm9sZHN5bWJvbFxiZXRhX3tcdGV4dHtyaWRnZX19fXtcfFxib2xkc3ltYm9sXGJldGFfe1x0ZXh0e3JpZGdlfX1cfF8yfQogICQkCgogIGZvciBhbnkgJFxnYW1tYSA+IDAkIG9mIHlvdXIgY2hvaWNlLgogIFJlbWVtYmVyIHRoYXQKICAkXHxcYm9sZHN5bWJvbFxiZXRhX3tcdGV4dHtyaWRnZX19XHxfMiA9IFxzcXJ0e1xzdW1fe2o9MX1ecCBcYmV0YV9qXjJ9JAoKPGRldGFpbHM+PHN1bW1hcnk+U29sdXRpb248L3N1bW1hcnk+CgpgYGB7ciwgY2FjaGU9VFJVRX0KcCA8LSBkaW0oWClbMl0KCiMgTGV0J3MgdGFrZSBhIHJpZGljdWxvdXNseSBsYXJnZSBnYW1tYTogMjAwCnRYWF9nYW1tYV9JIDwtIHQoWCkgJSolIFggKyAyMDAgKiBkaWFnKHApCgojIyBUaGlzIG1pZ2h0IHRha2UgYSB3aGlsZSB0byBjYWxjdWxhdGUKYmV0YV9yaWRnZSA8LSBzb2x2ZSh0WFhfZ2FtbWFfSSkgJSolIHQoWCkgJSolIFpbLCAxXQoKI3x8YmV0YV9yaWRnZXx8XzIKbWFnX2JldGFfcmlkZ2UgPC0gc3FydChzdW0oYmV0YV9yaWRnZV4yKSkKYGBgCgpGb3IgY29tcGFyaXNvbiwgbGV0J3MgcGxvdAokXGJvbGRzeW1ib2xcYmV0YV97XHRleHR7cmlkZ2V9fSAvIFx8XGJvbGRzeW1ib2xcYmV0YV97XHRleHR7cmlkZ2V9fVx8XzIkCmFnYWluc3QgdGhlIFBDMSBsb2FkaW5ncyAkXG1hdGhiZiBWXzEkLgoKYGBge3IgYmV0YV9yaWRnZS12cy1WMS1wbG90fQpwYXIobWZyb3cgPSBjKDEsIDEpKQoKIyBQbG90IGFnYWluc3QgdGhlIGxvYWRpbmdzCnBsb3Qoc3ZkX1gkdlssIDFdLCBiZXRhX3JpZGdlIC8gbWFnX2JldGFfcmlkZ2UsCiAgeGxhYiA9IGV4cHJlc3Npb24oIlYiWzFdKSwKICB5bGFiID0gZXhwcmVzc2lvbihiZXRhWyJyaWRnZSJdIC8gcGFzdGUoInx8IiwgYmV0YSwgInx8IilbMl0pLAogIHBjaCA9IDE5CikKIyBPciBqdXN0IHNpbXBseSB0YWtlIHRoZSBkaWZmZXJlbmNlIGJldHdlZW4gdGhlbQptYXgoYWJzKHN2ZF9YJHZbLCAxXSAtIGJldGFfcmlkZ2UgLyBtYWdfYmV0YV9yaWRnZSkpCmBgYAoKPC9kZXRhaWxzPgoKICBUaGVuIHlvdSd2ZSBwcm92ZW4gdGhhdCB0aGUgbG9hZGluZ3Mgb2YgdGhlIFBDcyBjYW4gYmUgY29tcHV0ZWQgZnJvbSB0aGUKICByaWRnZSByZWdyZXNzaW9uIGNvZWZmaWNpZW50cy4KICAKICBXZSBjYW4gbm93IG1vdmUgb24gdG8gc3BhcnNlIFBDQSwgd2hlcmUgd2UgdXNlIHBlbmFsaXNlZCByZWdyZXNzaW9uIHRvIHNldCBzb21lIG9mIHRoZSBsb2FkaW5ncyAoJFxib2xkc3ltYm9se1xiZXRhfSRzKSB0byB6ZXJvLgoKIyMjIyA2LiBXZSBoYXZlIHNlZW4gZWxhc3RpYyBuZXQgdHlwZSBwZW5hbHRpZXMuIElmIHdlIGNhbGwgdGhlIGxvYWRpbmdzIG9mIHRoZSBmaXJzdCBQQyBhcyAkXGJvbGRzeW1ib2x7XGJldGF9JCBhbmQgZGVub3RlIFBDMSBhcyAkXG1hdGhiZntZfSQsIHdlIHNhdyB0aGF0ICRcYm9sZHN5bWJvbHtcYmV0YX0kIGNhbiBiZSBkZXJpdmVkIGJ5IG1pbmltaXNpbmcgdGhlIFNTRTogey19CgogICQkCiAgXHRleHR7U1NFfT1cfFxtYXRoYmYgWS1cbWF0aGJme1h9XGJvbGRzeW1ib2wgXGJldGFcfF4yXzIrXGdhbW1hXHxcYm9sZHN5bWJvbCBcYmV0YVx8XjJfMiBcdGV4dHsgZm9yIGFueSB9IFxnYW1tYT4wKS4KICAkJAoKICBOb3RlIHRoYXQgdGhpcyBlcXVhbGl0eSBob2xkcyBmb3IgYW55IHBvc2l0aXZlICRcZ2FtbWEkLiBTbyB3ZSBjYW4ndCBwZW5hbGlzZSB0aGUgJFxib2xkc3ltYm9sXGJldGEkcyBub3QgYmVpbmcgemVybyBieSBjaG9vc2luZyBhIGRpZmZlcmVudCAkXGdhbW1hJC4KICBSZW1lbWJlciB0aGF0IGZvciByaWRnZSByZWdyZXNzaW9uLCB0aGUgJFxiZXRhJCdzIG9ubHkgYmVjb21lIDAgZm9yICRcZ2FtbWEgPSBcaW5mdHkkLgogIEZvcnR1bmF0ZWx5IHdlIGhhdmUgb3RoZXIgdG9vbHMuIAoKICBJbiBhZGRpdGlvbiB0byB0aGUgJExfMiQgcGVuYWxpemF0aW9uLCB3ZSBjYW4gdXNlIHRoZSAkTF8xJCBwZW5hbGl6YXRpb24gb2YgTGFzc28uIFRoaXMgYWxsb3dzIHVzIHRvIGZvcmNlIHNvbWUgb2YgdGhlICRcYm9sZHN5bWJvbFxiZXRhJHMgdG8gYmVjb21lIHplcm8uIFRoZSBuZXcgU1NFIHdpbGwgYmUgb2YgdGhlIGZvcm06CgogICQkCiAgXHRleHR7U1NFfT1cfFxtYXRoYmYgWS1cbWF0aGJme1h9XGJvbGRzeW1ib2wgXGJldGFcfF4yXzIrXGdhbW1hXHxcYm9sZHN5bWJvbCBcYmV0YVx8XjJfMiArXGdhbW1hXzFcfFxib2xkc3ltYm9sIFxiZXRhXHxfMS4KICAkJAoKICBUaGlzIGlzIGV4YWN0bHkgdGhlIGVsYXN0aWMgbmV0IFNTRSwgYW5kICRcZ2FtbWFfMSQgaXMgdGhlIExhc3NvIHR5cGUgcGVuYWx0eSB0aGF0IHNldHMgbG9hZGluZ3MgdG8gemVyby4gCgogIE5vdyB1c2UgdGhlIGBnbG1uZXRgIGFuZCBgY3YuZ2xtbmV0YCBmdW5jdGlvbnMgdG8gc2VsZWN0IGFuIGFwcHJvcHJpYXRlIG51bWJlciBvZiBub24temVybyBsb2FkaW5ncyBmb3IgdGhlIGZpcnN0IGFuZCBzZWNvbmQgUENzLgogIFVzZSBgYWxwaGEgPSAwLjVgIGluIHlvdXIgZWxhc3RpYyBuZXQgbW9kZWxzIGFuZCB1c2UgYFoxYCBhbmQgYFoyYCBhcyB0aGUgcmVzcG9uc2UgdmFyaWFibGVzICh5b3Ugc2hvdWxkIGZpdCAyIHNlcGFyYXRlIG1vZGVscykuCgo8ZGV0YWlscz48c3VtbWFyeT5Tb2x1dGlvbjwvc3VtbWFyeT4KCmBgYHtyIFBDLWN2X2dsbW5ldH0KcGFyKG1mcm93ID0gYygxLCAyKSkKIyBGb3IgUEMxCnNldC5zZWVkKDQ1KQpmaXRfbG9hZGluZ3MxIDwtIGN2LmdsbW5ldChYLCBaWywgMV0sCiAgYWxwaGEgPSAwLjUsIG5mb2xkcyA9IDUKKQpwbG90KGZpdF9sb2FkaW5nczEsIG1haW4gPSAiUEMxIikKCiMgRm9yIFBDMgpzZXQuc2VlZCg0NSkKZml0X2xvYWRpbmdzMiA8LSBjdi5nbG1uZXQoWCwgWlssIDJdLCBhbHBoYSA9IDAuNSwgbmZvbGRzID0gNSkKcGxvdChmaXRfbG9hZGluZ3MyLCBtYWluID0gIlBDMiIpCmBgYAoKVG8gc2VlIGhvdyBtYW55IGZlYXR1cmVzIGFyZSBpbXBvcnRhbnQgZm9yIGVhY2ggZml0LCB3ZSBjYW4gbWFrZSBjb2VmZmljaWVudCBwcm9maWxlIHBsb3RzLgpOb3RlIHRoYXQgdGhlIGFjdHVhbCBgZ2xtbmV0YCBmaXQgb2JqZWN0cyBhcmUgaW5jbHVkZWQgaW4gdGhlIGBjdi5nbG1uZXRgIG9iamVjdHMgdW5kZXIgYCRnbG1uZXQuZml0YC4KCkkgYWRkZWQgdmVydGljYWwgZGFzaGVkIGxpbmVzIGF0IGBsYW1iZGEubWluYCBhbmQgYGxhbWJkYS4xc2VgLgoKYGBge3IgUEMtZ2xtbmV0LWNvZWZmaWNpZW50LXBsb3RzLCBmaWcuYXNwID0gMS4yfQpwYXIobWZyb3cgPSBjKDIsIDEpKQpwbG90KGZpdF9sb2FkaW5nczEkZ2xtbmV0LmZpdCwgbWFpbiA9ICJQQzEiLCB4dmFyID0gImxhbWJkYSIpCmFibGluZSh2ID0gbG9nKGZpdF9sb2FkaW5nczEkbGFtYmRhLm1pbiksIGx0eSA9IDMpCmFibGluZSh2ID0gbG9nKGZpdF9sb2FkaW5nczEkbGFtYmRhLjFzZSksIGx0eSA9IDMpCnBsb3QoZml0X2xvYWRpbmdzMiRnbG1uZXQuZml0LCBtYWluID0gIlBDMiIsIHh2YXIgPSAibGFtYmRhIikKYWJsaW5lKHYgPSBsb2coZml0X2xvYWRpbmdzMiRsYW1iZGEubWluKSwgbHR5ID0gMykKYWJsaW5lKHYgPSBsb2coZml0X2xvYWRpbmdzMiRsYW1iZGEuMXNlKSwgbHR5ID0gMykKYGBgCgpUbyBnZXQgdGhlIGV4YWN0IG51bWJlciBvZiBub24temVybyBjb2VmZmljaWVudHMgZm9yIGBsYW1iZGEubWluYCBhbmQgYGxhbWJkYS4xc2VgLCBqdXN0IHByaW50IHRoZSBgY3YuZ2xtbmV0YCBvYmplY3RzLgpgYGB7cn0KZml0X2xvYWRpbmdzMQpmaXRfbG9hZGluZ3MyCmBgYAoKX19JbnRlcnByZXRhdGlvbjpfXyBmb3IgUEMxLCB3ZSBzZWUgdGhhdCBhcm91bmQgOTAgdG8gMTAwIGdlbmVzIGFyZSBtb3N0IGltcG9ydGFudCwgYmFzZWQgb24gdGhlIHJhbmdlIG9mICRcZ2FtbWEkIChgbGFtYmRhYCkgdmFsdWVzIGJldHdlZW4gYGxhbWJkYS5taW5gIGFuZCBgbGFtYmRhLjFzZWAuClNpbWlsYXJseSwgZm9yIFBDMiB3ZSBnZXQgYXJvdW5kIDY1IC0gODAgZ2VuZXMuCldpdGggdGhpcyBpbmZvcm1hdGlvbiwgd2UgY2FuIG5vdyBjaG9vc2Ugb25lIG9mIHRoZSBgbGFtYmRhYCB2YWx1ZXMgYW5kIGNvbnN0cnVjdCBQQ3MgdGhhdCB3aWxsIGhhdmUgbm9uLXplcm8gbG9hZGluZ3MgZm9yIG9ubHkgYSBmZXcgZ2VuZXMuCgo8L2RldGFpbHM+CgoKIyMjIyA3LiBQbG90IHlvdXIgbmV3bHkgZGVyaXZlZCBmaXJzdCBhbmQgc2Vjb25kIFBDcyBhbmQgdXNlIGRpZmZlcmVudCBjb2xvcnMgZm9yIHRoZSB0dW1vciBhbmQgbm9ybWFsIHRpc3N1ZXMuIEhvdyB3ZWxsIGRvIHRoZXNlIG5ldyBQQ3Mgc2VwYXJhdGUgdGhlIHJlc3BvbnNlIGNsYXNzZXM/IENvbXBhcmUgdGhpcyB0byB0aGUgcGxvdCBpbiBleGVyY2lzZSAzLiBGb3JtdWxhdGUgYSBjb25jbHVzaW9uIGJhc2VkIG9uIHRoZSB0d28gZ3JhcGhzLiB7LX0KClVzZSBgbGFtYmRhLjFzZWAgYXMgeW91ciBjaG9pY2UgZm9yICRcZ2FtbWEkLgpZb3UgY2FuIGV4dHJhY3QgdGhlIGNvZWZmaWNpZW50cyAoJFxiZXRhJCdzKSBmcm9tIHRoZSBgY3YuZ2xtbmV0YCBvYmplY3RzIHVzaW5nIHRoZSBgY29lZmAgZnVuY3Rpb24sIHNldCB0aGUgYHNgIGFyZ3VtZW50IHRvIHRoZSBjaG9zZW4gJFxnYW1tYSQuClRoaXMgd2lsbCByZXR1cm4gYSAqc3BhcnNlIG1hdHJpeCogYnkgZGVmYXVsdCwgc28geW91IG1pZ2h0IHdhbnQgdG8gdXNlIGBhcy52ZWN0b3JgIHRvIGNvbnZlcnQgdG8gYSBtb3JlIGZyaWVuZGx5IGZvcm1hdC4KCjxkZXRhaWxzPjxzdW1tYXJ5PlNvbHV0aW9uPC9zdW1tYXJ5PgoKYGBge3Igc3BhcnNlLVBDQS1wbG90cywgZmlnLndpZHRoID0gOX0Kc3BhcnNlX2xvYWRpbmdzMSA8LSBhcy52ZWN0b3IoY29lZihmaXRfbG9hZGluZ3MxLCBzID0gZml0X2xvYWRpbmdzMSRsYW1iZGEuMXNlKSkKc3BhcnNlX2xvYWRpbmdzMiA8LSBhcy52ZWN0b3IoY29lZihmaXRfbG9hZGluZ3MyLCBzID0gZml0X2xvYWRpbmdzMiRsYW1iZGEuMXNlKSkKCiMjIEhvdyBtYW55IG5vbi16ZXJvIGxvYWRpbmdzIGRvIHdlIGhhdmUgKGV4Y2x1ZGluZyB0aGUgaW50ZXJjZXB0KT8KKG5vbl96ZXJvMSA8LSBzdW0oYWJzKHNwYXJzZV9sb2FkaW5nczFbLTFdKSA+IDApKQoobm9uX3plcm8yIDwtIHN1bShhYnMoc3BhcnNlX2xvYWRpbmdzMlstMV0pID4gMCkpCgpTUEMxIDwtIFggJSolIHNwYXJzZV9sb2FkaW5nczFbLTFdICMgd2l0aG91dCB0aGUgaW50ZXJjZXB0ClNQQzIgPC0gWCAlKiUgc3BhcnNlX2xvYWRpbmdzMlstMV0gIyB3aXRob3V0IHRoZSBpbnRlcmNlcHQKCnBhcihtZnJvdyA9IGMoMSwgMikpCnBsb3QoWlssIDFdLCBaWywgMl0sCiAgY29sID0gY29sc1tZXSwgeGxhYiA9ICJQQzEiLCB5bGFiID0gIlBDMiIsIHBjaCA9IDE2LAogIG1haW4gPSAiQWxsIDIwMDAgZ2VuZXMgXG5mb3IgUEMxIGFuZCBQQzIiCikKbGVnZW5kKC00NSwgLTI1LAogIGxlZ2VuZCA9IGMoIk5vcm1hbCB0aXNzdWUiLCAiVHVtb3IgdGlzc3VlIiksIGJ0eSA9ICJuIiwKICBjb2wgPSBjKCJyZWQiLCAiYmx1ZSIpLCBwY2ggPSBjKDE2LCAxNiksIGNleCA9IDEKKQpwbG90KFNQQzEsIFNQQzIsCiAgY29sID0gY29sc1tZXSwgeGxhYiA9ICJTUEMxIiwgeWxhYiA9ICJTUEMyIiwgcGNoID0gMTYsCiAgbWFpbiA9IHBhc3RlKG5vbl96ZXJvMSwgImdlbmVzIGZvciBTUEMxIFxuIGFuZCIsIG5vbl96ZXJvMiwgImdlbmVzIGZvciBTUEMyIikKKQpsZWdlbmQoLTQ1LCAtMjUsCiAgbGVnZW5kID0gYygiTm9ybWFsIHRpc3N1ZSIsICJUdW1vciB0aXNzdWUiKSwgYnR5ID0gIm4iLAogIGNvbCA9IGMoInJlZCIsICJibHVlIiksIHBjaCA9IGMoMTYsIDE2KSwgY2V4ID0gMQopCmBgYAoKX19Db25jbHVzaW9uOl9fIE9ubHkgYWJvdXQgCmByIHNwcmludGYoIiUuMmYiLCAxMDAgKiBub25femVybzEgLyBsZW5ndGgoc3BhcnNlX2xvYWRpbmdzMSkpYCUgKGByIG5vbl96ZXJvMWApIG9mIHRoZSBnZW5lcyBhcmUgdXNlZnVsIGZvciBQQzEgYW5kIG9ubHkgYWJvdXQKYHIgc3ByaW50ZigiJS4yZiIsIDEwMCAqIG5vbl96ZXJvMiAvIGxlbmd0aChzcGFyc2VfbG9hZGluZ3MyKSlgJSAoYHIgbm9uX3plcm8yYCkgb2YgdGhlIGdlbmVzIGFyZSB1c2VmdWwgZm9yIFBDMiAuClNwYXJzZSBQQ0EgaGFzIHN1Y2NlZWRlZCBpbiBzZXR0aW5nIHRoZSB1bmluZm9ybWF0aXZlIGdlbmVzL2xvYWRpbmdzIHRvIHplcm8uCkluIHNlcGVyYXRpbmcgbm9ybWFsIGFuZCB0dW1vdXIgdGlzc3VlcywgU1BDQSBwZXJmb3JtcyB2aXR1YWxseSB0aGUgc2FtZSBhcyBQQ0EuClRoZSBrZXkgcG9pbnQgaGVyZSBpcyB0aGF0IFNQQ0EgdXNlcyBvbmx5IGEgbWlub3IgcHJvcG9ydGlvbiBvZiB0aGUgb3JpZ2luYWwgZmVhdHVyZXMgdG8gYWNoaWV2ZSB0aGUgc2FtZSByZXN1bHRzLCBzdWdnZXN0aW5nIHRoYXQgdGhlIGxhcmdlc3QgdmFyaWFiaWxpdHkgb2YgdGhlIGRhdGEgaXMgb25seSBkcml2ZW4gYnkgYSBtaW5vcml0eSBvZiBmZWF0dXJlcy4gCgo8L2RldGFpbHM+CgoKIyBMREEKCkluIHRoaXMgc2VjdGlvbiwgd2Ugd2lsbCBwZXJmb3JtIExEQSBvbiB0aGUgZ2VuZSBkYXRhIHRvIGdldCBhIGNsZWFyIHVuZGVyc3RhbmRpbmcgb24gdGhlIGdlbmVzIHJlc3BvbnNpYmxlIGZvciBzZXBhcmF0aW5nIHRoZSB0dW1vciBhbmQgbm9ybWFsIHRpc3N1ZSBncm91cHMuCgpSZW1lbWJlciB0aGF0IHRoZSBMREEgcHJvYmxlbSBjYW4gYmUgc3RhdGVkIGFzCgokJApcbWF0aGJme3Z9CiAgPSBcdGV4dHtBcmdNYXh9X2EgXGZyYWN7XG1hdGhiZnthXlQgQiBhfX17XG1hdGhiZnthXlQgVyBhfX0KICAgIFx0ZXh0eyBzdWJqZWN0IHRvIH0KICAgIFxtYXRoYmZ7YV5UIFcgYX0gPSAxCiQkCgpXaGljaCBpcyBlcXVpdmFsZW50IHRvIHRoZSBlaWdlbnZhbHVlL2VpZ2VudmVjdG9yIHByb2JsZW0gCgokJApcbWF0aGJmIFdeey0xfSBcbWF0aGJmIEIgXG1hdGhiZiBhPVxsYW1iZGEgXG1hdGhiZiBhCiQkCgpJbiBvdXIgY2FzZSwgd2hlcmUgd2Ugb25seSBoYXZlIHR3byBncm91cHMsIG9ubHkgb25lIHNvbHV0aW9uIGV4aXN0cy4KVGhpcyBpcyB0aGUgZWlnZW52ZWN0b3IgJFxtYXRoYmYgdiQgYW5kIGl0cyBlaWdlbnZhbHVlLgpXZSBjYW4gdGhlbiB3cml0ZSB0aGUgUEMtc2NvcmVzIGFzCgokJApcbWF0aGJmIFo9XG1hdGhiZiBYIFxtYXRoYmYgdgokJAoKCiMjIEV4ZXJjaXNlcyB7LX0KCiMjIyMgMS4gVGhlIGZ1bmN0aW9uIGBsZGEoKWAgaW4gdGhlIGBNQVNTYCBwYWNrYWdlIHBlcmZvcm1zIExEQS4gU2ltaWxhciB0byB0aGUgYGdsbW5ldCgpYCBmdW5jdGlvbiwgeW91IHdpbGwgbmVlZCB0byBzdXBwbHkgYW4gYHhgIGFyZ3VtZW50LiBUaGUgYXJndW1lbnQgYGdyb3VwaW5nYCBpcyB0aGUgdmVjdG9yIHdpdGggdGhlIHJlc3BvbnNlLCBhbmQgdGhpcyBoYXMgdG8gYmUgYSBmYWN0b3IgdmFyaWFibGUuIFlvdSBoYXZlIHRoYXQgc3RvcmVkIGFzIGBZYC4gRml0IGFuIExEQSBvbiBgWGAgd2l0aCBncm91cGluZyBgWWAuIHstfQoKPGRldGFpbHM+PHN1bW1hcnk+U29sdXRpb248L3N1bW1hcnk+CgpgYGB7cn0KIyMgUGVyZm9ybSBMREEKYWxvbl9sZGEgPC0gbGRhKHggPSBYLCBncm91cGluZyA9IFkpCmBgYAoKTm90ZSB0aGUgd2FybmluZyByZWdhcmRpbmcgY29sbGluZWFyaXR5LgoKPC9kZXRhaWxzPgoKIyMjIyAyLiAkXG1hdGhiZiB2JCBjYW4gYmUgZXh0cmFjdGVkIGZyb20gdGhlIG9iamVjdCBhcyB0aGUgZWxlbWVudCBgc2NhbGluZ2AuIEV4dHJhY3QgdGhpcyBhbmQgY2FsbCBpdCBgVjFgLiB7LX0KCjxkZXRhaWxzPjxzdW1tYXJ5PlNvbHV0aW9uPC9zdW1tYXJ5PgoKYGBge3J9ClYxIDwtIGFsb25fbGRhJHNjYWxpbmcKYGBgCgo8L2RldGFpbHM+CgojIyMjIDMuIENvbXB1dGUgJFxtYXRoYmYgWiQgYW5kIGNhbGwgaXQgYFoxYC4gey19Cgo8ZGV0YWlscz48c3VtbWFyeT5Tb2x1dGlvbjwvc3VtbWFyeT4KCmBgYHtyfQpaMSA8LSBYICUqJSBWMQpgYGAKCjwvZGV0YWlscz4KCiMjIyMgNC4gTm93IGNoZWNrIHRvIHNlZSBob3cgd2VsbCB5b3VyIHNpbmdsZSBMREEvYFoxYCBzZXBhcmF0ZXMgdGhlIHR1bW91ciBhbmQgbm9ybWFsIHRpc3N1ZXMgZ3JvdXBzLiBDb21wYXJlIGl0IHRvIHRoZSBwbG90IGluICgzKSBvZiB0aGUgcHJldmlvdXMgZXhlcmNpc2UsIGFuZCBvYnNlcnZlIHdoZXRoZXIgTERBIHBlcmZvcm1zIGJldHRlciBpbiBzZXBhcmF0aW5nIHRoZSB0d28gZ3JvdXBzLiB7LX0KCllvdSBjb3VsZCB1c2UgYSBib3hwbG90IGZvciB2aXN1YWxpemF0aW9uLCBidXQgZmVlbCBmcmVlIHRvIGJlIGNyZWF0aXZlIQoKPGRldGFpbHM+PHN1bW1hcnk+U29sdXRpb248L3N1bW1hcnk+CgpgYGB7cn0KcGFyKG1mcm93ID0gYygxLCAxKSkKYm94cGxvdChaMSB+IFksIGNvbCA9IGNvbHMsIHlsYWIgPSBleHByZXNzaW9uKCJaIlsxXSksIAogICAgICAgIG1haW4gPSAiU2VwYXJhdGlvbiBvZiBub3JtYWwgYW5kIHR1bW91ciBzYW1wbGVzIGJ5IExEQSIpCmBgYAoKPC9kZXRhaWxzPgoKIyMjIyA1LiBBcyB3YXMgdGhlIGNhc2Ugd2l0aCB0aGUgZmlyc3QgYW5kIHNlY29uZCBQQywgYFoxYCBpcyBhIGxpbmVhciBjb21iaW5hdGlvbiBkZXRlcm1pbmVkIGJ5IHRoZSBsb2FkaW5ncyAkXG1hdGhiZiB2JC4gVGhlc2UgYXJlIG5vbi16ZXJvIGZvciBhbGwgZ2VuZXMuIFRvIGdldCBhIGZldyBpbnRlcmVzdGluZyBnZW5lcywgeW91IGNhbiB1c2UgYSBzcGFyc2UgTERBLiBOb3RlIHRoYXQgeW91IGNhbiB1c2UgdGhlIHBhY2thZ2UgYHNwYXJzZUxEQWAgd2l0aCB0aGUgZnVuY3Rpb24gYHNkYSgpYCB0byBwZXJmb3JtIHRoaXMgYW5hbHlzaXMsIGJ1dCBsZXQncyBkbyB0aGlzIGFzIHdlIGRpZCBmb3Igc3BhcnNlIFBDQS4gey19CgphLiBVc2UgdGhlIGBjdi5nbG1uZXRgIGZ1bmN0aW9uIHdpdGggYHg9WGAsIGB5PVoxYCBhbmQgYGFscGhhPTAuNWAgdG8gc2VsZWN0IGFuIGFwcHJvcHJpYXRlIG51bWJlciBvZiBub24temVybyBnZW5lcyBmb3IgdGhlIExEQS4KCjxkZXRhaWxzPjxzdW1tYXJ5PlNvbHV0aW9uPC9zdW1tYXJ5PgoKYGBge3J9CnNldC5zZWVkKDQ1KQpsZGFfbG9hZGluZ3MgPC0gY3YuZ2xtbmV0KFgsIFoxLCBhbHBoYSA9IDAuNSwgbmZvbGRzID0gNSkKcGxvdChsZGFfbG9hZGluZ3MpCmBgYAoKPC9kZXRhaWxzPgoKYi4gQ2hlY2sgdG8gc2VlIGhvdyB3ZWxsIHRoaXMgc3Vic2V0IG9mIGdlbmVzIGRvZXMgaW4gc2VwYXJhdGluZyB0aGUgdHVtb3VyIGFuZCBub3JtYWwgdGlzc3VlIGdyb3Vwcy4gQXJlIHRoZXkgYXMgZWZmZWN0aXZlIGFzIHRoZSBlbnRpcmUgc2V0IG9mIGdlbmVzPwoKPGRldGFpbHM+PHN1bW1hcnk+U29sdXRpb248L3N1bW1hcnk+CgpgYGB7cn0Kc3BhcnNlX2xkYV9sb2FkaW5ncyA8LSBhcy52ZWN0b3IoCiAgY29lZihsZGFfbG9hZGluZ3MsIHMgPSBsZGFfbG9hZGluZ3MkbGFtYmRhLjFzZSkKKQoKIyBTZWUgdGhlIGdlbmVzIGludm9sdmVkCnBsb3Qoc3BhcnNlX2xkYV9sb2FkaW5nc1tzcGFyc2VfbGRhX2xvYWRpbmdzICE9IDBdLAogIHBjaCA9IDE2LCB0eXBlID0gIm4iLCB4bGltID0gYygwLCAyMCkKKQp0ZXh0KAogIHNwYXJzZV9sZGFfbG9hZGluZ3Nbc3BhcnNlX2xkYV9sb2FkaW5ncyAhPSAwXSwKICBjb2xuYW1lcyhYKVtzcGFyc2VfbGRhX2xvYWRpbmdzICE9IDBdCikKYWJsaW5lKGggPSAwLCBsd2QgPSAzKQoKIyB3aXRob3V0IHRoZSBpbnRlcmNlcHQKU0xEQSA8LSBYICUqJSBzcGFyc2VfbGRhX2xvYWRpbmdzWy0xXQoKIyBudW1iZXIgb2Ygbm9uLXplcm8gbG9hZGluZ3MKbl9ub256ZXJvIDwtIHN1bShzcGFyc2VfbGRhX2xvYWRpbmdzICE9IDApCgojIGJveHBsb3RzCnBhcihtZnJvdyA9IGMoMSwgMikpCmJveHBsb3QoWjEgfiBZLAogIGNvbCA9IGNvbHMsIHlsYWIgPSAiTERBIiwKICBtYWluID0gIkVudGlyZSBzZXQgb2YgMjAwMCBnZW5lcyIKKQpib3hwbG90KFNMREEgfiBZLAogIGNvbCA9IGNvbHMsIHlsYWIgPSAiU0xEQSIsCiAgbWFpbiA9IHNwcmludGYoIlN1YnNldCBvZiAlZCBnZW5lcyIsIG5fbm9uemVybykKKQpgYGAKCjwvZGV0YWlscz4KCgpGb3IgYSBzaW1wbGUgZXhwbGFuYXRpb24gb2YgdGhlIGNvbmNlcHQgYW5kIGludGVycHJldGF0aW9uIG9mIExEQSAoYW5kIG90aGVyIHN0YXRpc3RpY2FsIG1ldGhvZHMpLCBoYXZlIGEgbG9vayBhdCA8aHR0cHM6Ly93d3cueW91dHViZS5jb20vd2F0Y2g/dj1helhDekk1N1lmYz4KCgoKIyBSZWZlcmVuY2VzIHstfQo=