Scalability
Scatter plots work well for hundreds of observations
Over-plotting becomes an issue once the number of observations gets into tens of thousands.
For some output formats storage also becomes an issue as the number of points plotted increases.
Some simulated data:
n <- 50000
## n50K <- data.frame(x = rnorm(n), y = rnorm(n))
x <- rnorm(n)
y <- x + 0.4 * x ^ 2 + rnorm(n)
y <- y / sd(y)
n50K <- data.frame(x = x, y = y)
n10K <- n50K[1 : 10000, ]
n1K <- n50K[1 : 1000, ]
p1 <- ggplot(n1K, aes(x, y)) +
geom_point() +
coord_equal() +
ggtitle(sprintf("%d Points", nrow(n1K)))
p2 <- ggplot(n10K, aes(x, y)) +
geom_point() +
coord_equal() +
ggtitle(sprintf("%d Points", nrow(n10K)))
library(patchwork)
p1 | p2
Some Simple Options
Simple options to address over-plotting:
sampling
reducing the point size
alpha blending
Reducing the point size helps when the number of points is in the low tens of thousands:
ggplot(n10K, aes(x, y)) +
geom_point(size = 0.1) +
coord_equal() +
ggtitle(sprintf("%d Points", nrow(n10K)))
Alpha blending can also be effective, on its own or in combination with point size adjustment:
ggplot(n50K, aes(x, y)) +
geom_point(alpha = 0.01, size = 0.5) +
coord_equal() +
ggtitle(sprintf("%d Points", nrow(n50K)))
Experimentation is usually needed to identify a good point size and alpha level.
Both alpha blending and point size reduction inhibit the use of color for encoding a grouping variable.
The best choices may vary from one output format to another.
Density Estimation Methods
Some methods based on density estimation or binning:
Density Contours
A 2D density estimate can be displayed in terms of its contours , or level curves .
p <- ggplot(n50K, aes(x, y)) +
coord_equal() +
ggtitle(sprintf("%d Points", nrow(n50K)))
pp <- geom_point(alpha = 0.01, size = 0.5)
dd <- geom_density_2d(color = "red")
p + dd
These are the contours of the estimated density surface:
d <- MASS::kde2d(n50K$x, n50K$y, n = 50)
v <- expand.grid(x = d$x, y = d$y)
v$z <- as.numeric(d$z)
lattice::wireframe(z ~ x + y,
data = v,
screen = list(z = 70,
x = -60))
2D density estimate contours can be superimposed on a set of points or placed beneath a set of points:
p1 <- p + list(pp, dd)
p2 <- p + list(dd, pp)
p1 | p2
Density Levels Encoded with Point Size
Density levels can also be encoded in point size in a grid of points:
p + stat_density_2d(
aes(size = after_stat(density)),
geom = "point",
n = 30,
contour = FALSE) +
scale_size(range = c(0, 6))
This scales well computationally
It does not easily support encoding a grouping with color or shape.
It introduces some distracting visual artifacts that are related to some optical illusions seen earlier .
This effect can be reduced somewhat by jittering:
jit_amt <- 0.03
p + stat_density_2d(
aes(size = after_stat(density)),
geom = "point",
position = position_jitter(jit_amt,
jit_amt),
n = 30, contour = FALSE) +
scale_size(range = c(0, 6))
Hexagonal Binning
Hexagonal binning divides the plane into hexagonal bins and displays the number of points in each bin:
p + geom_hex()
This also scales very well to larger data sets.
The default color scheme seems less than ideal.
An alternative fill color choice:
p + geom_hex() +
scale_fill_gradient(low = "gray",
high = "black")
Again it is possible to use a scaled point representation:
p + stat_bin_hex(
geom = "point",
aes(size = after_stat(density)),
fill = NA)
This representation still produces some visual distractions, but less than a rectangular grid.
Again, jittering can help:
jit_amt <- 0.05
p + stat_bin_hex(
aes(size = after_stat(density)),
geom = "point",
position = position_jitter(jit_amt,
jit_amt),
fill = NA)
Other Density Plots
The hdrcde
package computes and plots density contours containing specified proportions of the data.
The hdr.boxplot.2d
function plots these contours and shows the points not in the outermost contour:
library(hdrcde)
with(n50K,
hdr.boxplot.2d(x, y,
prob = c(0.1, 0.5, 0.75, 0.9)))
Some Enhancements
Encoding Additional Variables
Scatter plots can encode information about other variables using
symbol color
symbol size
symbol shape
An example using the mpg
data set:
p <- ggplot(mpg, aes(cty, hwy,
color = factor(cyl)))
p + geom_point(aes(size = drv))
## Warning: Using size for a discrete variable is not advised.
Some encodings work better than others:
Size is not a good fit for a discrete variable
Even though cyl
is numeric, it is best encoded as categorical.
Size and color interfere with each other as the color of smaller objects is harder to perceive.
Similarly, size and shape interfere with each other.
Using shape
instead of size
for drv
:
p + geom_point(aes(shape = drv))
Increasing the size makes shapes and the colors easier to distinguish:
p + geom_point(aes(shape = drv), size = 3)
Marginal Plots
The ggMargin
function in the ggExtra
package attaches marginal histograms to (some) plots produced by ggplot
:
library(ggExtra)
p <- ggplot(n50K, aes(x, y)) +
geom_point(alpha = 0.01, size = 0.5)
ggMarginal(p,
type = "histogram",
bins = 50,
fill = "lightgrey")
The default type is "density"
for a marginal density plot:
ggMarginal(p, fill = "lightgrey")
For data sets of more modest size rug plots along the axes can be useful:
ggplot(faithful,
aes(eruptions, waiting)) +
geom_point() +
geom_rug(alpha = 0.2)
Adding a Smooth Curve
When the variables on the \(y\) axis is a response variable a useful enhancement is to add a smooth curve to a plot.
The default method is a form of local averaging, and includes a representation of uncertainty:
p1 <- ggplot(faithful, aes(eruptions, waiting)) +
geom_point() +
geom_smooth() +
ggtitle("Old Faithful Eruptions")
p2 <- ggplot(n50K, aes(x, y)) +
pp +
geom_smooth() +
ggtitle(sprintf("%d Points", nrow(n50K)))
p1 | p2
Conditioning
When the \(y\) variable is a response it can also be useful to explore the conditional distribution of \(y\) given different values of the \(x\) variable.
One way to do this is to focus on the data for narrow ranges of the conditioning variable.
Two approaches for creating groups to focus on:
Rounding to an integer or using
cut_width(x, width = 1, center = 0)
produces these bins:
p <- ggplot(n50K, aes(x, y)) +
geom_point(alpha = 0.05, size = 0.5)
p + geom_vline(xintercept =
seq(-3.5, 3.5, by = 1),
linetype = 2,
color = "red")
Data within each group can then be shown using box plots (you need to use the group
aesthetic to plot on a continuous axis):
n50K_trm <- filter(n50K, x > -2.5, x < 2.5)
mutate(n50K_trm, xrnd = round(x)) %>%
ggplot(aes(x, y)) +
geom_boxplot(aes(group = xrnd))
Using cut_width
and violin plots:
mutate(n50K_trm,
xcut = cut_width(x,
width = 1,
center = 0)) %>%
group_by(xcut) %>%
mutate(xmed = median(x)) %>%
ungroup() %>%
ggplot(aes(x, y)) +
geom_violin(aes(group = xmed),
draw_quantiles = 0.5)
Another option for visualizing the conditional distributions is faceted density plots:
mutate(n50K_trm, xrnd = round(x)) %>%
ggplot(aes(x)) +
geom_density(aes(y)) +
facet_wrap(~ xrnd, ncol = 1)
Density ridges work as well:
library(ggridges)
mutate(n50K_trm, xrnd = round(x)) %>%
ggplot(aes(y, xrnd, group = xrnd)) +
geom_density_ridges(quantile_lines = TRUE,
quantiles = 2)
Using a larger set of narrower bins centered on multiples of 1/2:
mutate(n50K_trm, xrnd = round(2 * x) / 2) %>%
ggplot(aes(y, xrnd, group = xrnd)) +
geom_density_ridges(quantile_lines = TRUE,
quantiles = 2)
Sometimes it is useful to use a small number of narrow bins:
rdata <- data.frame(xmin = (-2 : 2) - 0.1,
xmax = (-2 : 2) + 0.1,
ymin = -Inf,
ymax = Inf)
p1 <- p + geom_rect(aes(xmin = xmin, xmax = xmax, ymin = ymin, ymax = ymax),
data = rdata,
inherit.aes = FALSE,
fill = "red",
alpha = 0.2)
p2 <- mutate(n50K_trm, xrnd = round(x)) %>%
filter(abs(x - xrnd) < 0.1) %>%
ggplot(aes(y, xrnd, group = xrnd)) +
geom_density_ridges(quantile_lines = TRUE, quantiles = 2)
p1 | p2
For examining conditional distributions, bins need to be:
For smaller data sets it can also be useful to allow bins to overlap.
The lattice functions shingle
and equal.count
create shingles that can be used in lattice
-style faceting.
Example: Diamond Prices
The diamonds
data set contains prices and other attributes for 53,940 diamonds.
The cut
variable indicates the quality of a diamond’s cut.
You might expect ‘better’ cuts to cost more, but that is not true on average:
mm <- group_by(diamonds, cut) %>%
summarize(med_price = median(price),
avg_price = mean(price),
n = length(price)) %>%
pivot_longer(2 : 3,
names_to = "which",
values_to = "price")
ggplot(mm, aes(x = price,
y = cut,
color = which)) +
geom_point(, size = 3)
The proportion of diamonds at each cut
level is also perhaps surprising:
ggplot(diamonds) +
geom_bar(aes(x = cut),
fill = "deepskyblue3")
And the price distributions within each cut
level differ in shape:
ggplot(diamonds, aes(x = price, y = cut)) +
geom_violin() +
geom_point(aes(color = which), data = mm)
Another important factor is the size, measured in carat
.
ggplot(diamonds, aes(x = carat, y = cut)) +
geom_violin()
Histograms with a narrow bin width may help understand the unusual shapes.
ggplot(diamonds) +
geom_histogram(aes(carat),
binwidth = 0.01)
Try faceting on cut
:
ggplot(diamonds) +
geom_histogram(aes(carat),
binwidth = 0.01) +
facet_wrap(~ cut, ncol = 1)
To focus on the shapes of the conditional distributions of carat given cut use y = after_stat(density)
:
ggplot(diamonds) +
geom_histogram(
aes(x = carat,
y = after_stat(density)),
binwidth = 0.01) +
facet_wrap(~ cut, ncol = 1)
Alternatively, you can facet with scales = "free_y"
:
ggplot(diamonds) +
geom_histogram(aes(carat),
binwidth = 0.01) +
facet_wrap(~ cut,
scales = "free_y",
ncol = 1)
Larger diamonds have a higher price:
ggplot(diamonds, aes(x = carat, y = price)) +
geom_point()
There is a lot of over-plotting, so a good opportunity to try some of the techniques we have learned.
Some explorations:
Reduced point size:
p <- ggplot(diamonds,
aes(x = carat, y = price))
p + geom_point(size = 0.1)
Reduced point size and alpha level:
p + geom_point(size = 0.1, alpha = 0.1)
Try log scale for price:
p + geom_point(size = 0.1, alpha = 0.1) +
scale_y_log10()
Log scale for both:
p + geom_point(size = 0.1, alpha = 0.1) +
scale_x_log10() +
scale_y_log10()
Add a smooth:
p + geom_point(size = 0.1, alpha = 0.1) +
geom_smooth() +
scale_x_log10() +
scale_y_log10()
Separate smooths for each cut:
p + geom_point(size = 0.1, alpha = 0.1) +
geom_smooth(aes(color = cut)) +
scale_x_log10() +
scale_y_log10()
Exploring a sample:
d500 <- sample_n(diamonds, 500)
Distribution of cut
in the sample:
ggplot(d500, aes(x = cut)) +
geom_bar()
ggplot(d500, aes(x = carat, y = price)) +
geom_point()
You can also take a stratified sample stratified on cut using group_by
, sample_frac
, and ungroup
.
Explorations using facets:
p0 <- ggplot(diamonds, aes(x = carat, y = price))
dNoCut <- mutate(diamonds, cut = NULL)
p1 <- p0 + geom_point(alpha = 0.01, color = "grey", data = dNoCut)
p <- p1 + geom_point(color = "red", size = 1, alpha = 0.05)
## p + facet_wrap(~ cut)
p + facet_wrap(~ cut) + scale_x_log10() + scale_y_log10()
Facets with a sample:
p500 <- p1 +
geom_point(data = d500,
color = "red",
size = 1)
## p500
## p500 + facet_wrap(~ cut)
p500 +
facet_wrap(~ cut) +
scale_x_log10() +
scale_y_log10()
Muted data with smooths:
p1 +
geom_smooth(aes(color = cut),
se = FALSE) +
scale_x_log10() +
scale_y_log10()
Conditioning, carat
values near 1, 1.5, or 2:
drnd <- mutate(diamonds,
crnd = round(2 * carat) / 2)
## Look at a bar chart of count(drnd, crnd)
## Drop higher carat values from density ridges
## map cut to color or fill (need to use group = interaction(crnd, cut))
## try log scale for price
filter(drnd,
crnd <= 2, crnd >= 1,
carat >= crnd, carat <= crnd + 0.1) %>%
ggplot(aes(x = price, y = cut)) +
geom_density_ridges(quantile_lines = TRUE,
quantiles = 2) +
facet_wrap(~crnd, ncol = 1)
Exercises
A plot of arrival delay against departure delay for the NYC flight data shows a lot of over-plotting, even for a 10% sample.
library(dplyr)
library(ggplot2)
library(nycflights13)
fl <- filter(flights, dep_delay < 120) %>%
sample_frac(0.1)
p <- ggplot(fl, aes(x = dep_delay, arr_delay)) +
geom_point()
p
## Warning: Removed 101 rows containing missing values (`geom_point()`).
This masks the fact that three quarters of the flights in this sample have departure delays of less than 10 minutes. Superimposing density contours is one way to address this issue.
Which of the following adds four red density contours to the plot?
p + geom_density_2d(color = "red")
p + geom_density_2d(bins = 4, color = "red")
p + geom_hex(bins = 5)
p + geom_density_2d(bins = 5)
The diamonds
data set is large enough for a scatter plot of price
against carat
to suffer from a significant amount of over-plotting. With p
created as
library(ggplot2)
p <- ggplot(diamonds, aes(x = carat, y = price))
which of the following is the best choice to address the over-plotting issue?
p + geom_point()
p + geom_point(size = 0.5)
p + geom_point(size = 0.1, alpha = 0.1)
p + geom_point(position = "jitter")
Consider the code
library(dplyr)
library(ggplot2)
filter(diamonds, carat < 3) %>%
mutate(crnd = round(carat)) %>%
filter(---) %>%
ggplot(aes(x = price, y = crnd, group = crnd)) +
geom_density_ridges()
Which replacement for ---
produces a plot showing the conditional density of price
given carat
for carat
values near one and the conditional density of price
given carat
for carat
values near two?
abs(carat - crnd) < 0.1
carat < 0.1
abs(crnd) < 1
carat + crnd < 2
LS0tCnRpdGxlOiAiU2NhdHRlciBQbG90IFNjYWxhYmlsaXR5IGFuZCBFbmhhbmNlbWVudHMiCm91dHB1dDoKICBodG1sX2RvY3VtZW50OgogICAgdG9jOiB5ZXMKICAgIGNvZGVfZm9sZGluZzogc2hvdwogICAgY29kZV9kb3dubG9hZDogdHJ1ZQotLS0KCjxsaW5rIHJlbD0ic3R5bGVzaGVldCIgaHJlZj0ic3RhdDQ1ODAuY3NzIiB0eXBlPSJ0ZXh0L2NzcyIgLz4KPHN0eWxlIHR5cGU9InRleHQvY3NzIj4gLnJlbWFyay1jb2RlIHsgZm9udC1zaXplOiA4NSU7IH0gPC9zdHlsZT4KPCEtLSB0aXRsZSBiYXNlZCBvbiBXaWxrZSdzIGNoYXB0ZXIgLS0+CgpgYGB7ciBzZXR1cCwgaW5jbHVkZSA9IEZBTFNFLCBtZXNzYWdlID0gRkFMU0V9CnNvdXJjZShoZXJlOjpoZXJlKCJzZXR1cC5SIikpCmtuaXRyOjpvcHRzX2NodW5rJHNldChjb2xsYXBzZSA9IFRSVUUsIG1lc3NhZ2UgPSBGQUxTRSwKICAgICAgICAgICAgICAgICAgICAgIGZpZy5oZWlnaHQgPSA1LCBmaWcud2lkdGggPSA2LCBmaWcuYWxpZ24gPSAiY2VudGVyIikKCnNldC5zZWVkKDEyMzQ1KQpsaWJyYXJ5KGRwbHlyKQpsaWJyYXJ5KHRpZHlyKQpsaWJyYXJ5KGdncGxvdDIpCmxpYnJhcnkobGF0dGljZSkKbGlicmFyeShncmlkRXh0cmEpCmxpYnJhcnkocGF0Y2h3b3JrKQpzb3VyY2UoaGVyZTo6aGVyZSgiZGF0YXNldHMuUiIpKQp0aGVtZV9zZXQodGhlbWVfbWluaW1hbCgpICsKICAgICAgICAgIHRoZW1lKHRleHQgPSBlbGVtZW50X3RleHQoc2l6ZSA9IDE2KSwKICAgICAgICAgICAgICAgIHBhbmVsLmJvcmRlciA9IGVsZW1lbnRfcmVjdChjb2xvciA9ICJncmV5MzAiLCBmaWxsID0gTkEpKSkKYGBgCgojIyBTY2FsYWJpbGl0eQoKU2NhdHRlciBwbG90cyB3b3JrIHdlbGwgZm9yIGh1bmRyZWRzIG9mIG9ic2VydmF0aW9ucwoKT3Zlci1wbG90dGluZyBiZWNvbWVzIGFuIGlzc3VlIG9uY2UgdGhlIG51bWJlciBvZiBvYnNlcnZhdGlvbnMgZ2V0cwppbnRvIHRlbnMgb2YgdGhvdXNhbmRzLgoKRm9yIHNvbWUgb3V0cHV0IGZvcm1hdHMgc3RvcmFnZSBhbHNvIGJlY29tZXMgYW4gaXNzdWUgYXMgdGhlIG51bWJlciBvZgpwb2ludHMgcGxvdHRlZCBpbmNyZWFzZXMuCgpTb21lIHNpbXVsYXRlZCBkYXRhOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpuIDwtIDUwMDAwCiMjIG41MEsgPC0gZGF0YS5mcmFtZSh4ID0gcm5vcm0obiksIHkgPSBybm9ybShuKSkKeCA8LSBybm9ybShuKQp5IDwtIHggKyAwLjQgKiB4IF4gMiArIHJub3JtKG4pCnkgPC0geSAvIHNkKHkpCm41MEsgPC0gZGF0YS5mcmFtZSh4ID0geCwgeSA9IHkpCgpuMTBLIDwtIG41MEtbMSA6IDEwMDAwLCBdCm4xSyA8LSBuNTBLWzEgOiAxMDAwLCBdCnAxIDwtIGdncGxvdChuMUssIGFlcyh4LCB5KSkgKwogICAgZ2VvbV9wb2ludCgpICsKICAgIGNvb3JkX2VxdWFsKCkgKwogICAgZ2d0aXRsZShzcHJpbnRmKCIlZCBQb2ludHMiLCBucm93KG4xSykpKQpwMiA8LSBnZ3Bsb3QobjEwSywgYWVzKHgsIHkpKSArCiAgICBnZW9tX3BvaW50KCkgKwogICAgY29vcmRfZXF1YWwoKSArCiAgICBnZ3RpdGxlKHNwcmludGYoIiVkIFBvaW50cyIsIG5yb3cobjEwSykpKQpsaWJyYXJ5KHBhdGNod29yaykKcDEgfCBwMgpgYGAKCgojIyBTb21lIFNpbXBsZSBPcHRpb25zCgpTaW1wbGUgb3B0aW9ucyB0byBhZGRyZXNzIG92ZXItcGxvdHRpbmc6CgoqIHNhbXBsaW5nCgoqIHJlZHVjaW5nIHRoZSBwb2ludCBzaXplCgoqIGFscGhhIGJsZW5kaW5nCgpSZWR1Y2luZyB0aGUgcG9pbnQgc2l6ZSBoZWxwcyB3aGVuIHRoZSBudW1iZXIgb2YgcG9pbnRzIGlzIGluIHRoZSBsb3cKdGVucyBvZiB0aG91c2FuZHM6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmdncGxvdChuMTBLLCBhZXMoeCwgeSkpICsKICAgIGdlb21fcG9pbnQoc2l6ZSA9IDAuMSkgKwogICAgY29vcmRfZXF1YWwoKSArCiAgICBnZ3RpdGxlKHNwcmludGYoIiVkIFBvaW50cyIsIG5yb3cobjEwSykpKQpgYGAKCkFscGhhIGJsZW5kaW5nIGNhbiBhbHNvIGJlIGVmZmVjdGl2ZSwgb24gaXRzIG93biBvciBpbiBjb21iaW5hdGlvbgp3aXRoIHBvaW50IHNpemUgYWRqdXN0bWVudDoKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KZ2dwbG90KG41MEssIGFlcyh4LCB5KSkgKwogICAgZ2VvbV9wb2ludChhbHBoYSA9IDAuMDEsIHNpemUgPSAwLjUpICsKICAgIGNvb3JkX2VxdWFsKCkgKwogICAgZ2d0aXRsZShzcHJpbnRmKCIlZCBQb2ludHMiLCBucm93KG41MEspKSkKYGBgCgpFeHBlcmltZW50YXRpb24gaXMgdXN1YWxseSBuZWVkZWQgdG8gaWRlbnRpZnkgYSBnb29kIHBvaW50IHNpemUgYW5kCmFscGhhIGxldmVsLgoKQm90aCBhbHBoYSBibGVuZGluZyBhbmQgcG9pbnQgc2l6ZSByZWR1Y3Rpb24gaW5oaWJpdCB0aGUgdXNlIG9mIGNvbG9yCmZvciBlbmNvZGluZyBhIGdyb3VwaW5nIHZhcmlhYmxlLgoKVGhlIGJlc3QgY2hvaWNlcyBtYXkgdmFyeSBmcm9tIG9uZSBvdXRwdXQgZm9ybWF0IHRvIGFub3RoZXIuCgoKIyMgRGVuc2l0eSBFc3RpbWF0aW9uIE1ldGhvZHMKClNvbWUgbWV0aG9kcyBiYXNlZCBvbiBkZW5zaXR5IGVzdGltYXRpb24gb3IgYmlubmluZzoKCiogRGlzcGxheWluZyBjb250b3VycyBvZiBhIDJEIGRlbnNpdHkgZXN0aW1hdGUuCgoqIEVuY29kaW5nIGRlbnNpdHkgZXN0aW1hdGVzIGluIHBvaW50IHNpemUuCgoqIEhleGFnb25hbCBiaW5uaW5nLgoKCiMjIyBEZW5zaXR5IENvbnRvdXJzCgpBIDJEIGRlbnNpdHkgZXN0aW1hdGUgY2FuIGJlIGRpc3BsYXllZCBpbiB0ZXJtcyBvZiBpdHMgX2NvbnRvdXJzXywgb3IKX2xldmVsIGN1cnZlc18uCgpgYGB7ciwgZmlnLmhlaWdodCA9IDQuNzUsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpwIDwtIGdncGxvdChuNTBLLCBhZXMoeCwgeSkpICsKICAgIGNvb3JkX2VxdWFsKCkgKwogICAgZ2d0aXRsZShzcHJpbnRmKCIlZCBQb2ludHMiLCBucm93KG41MEspKSkKcHAgPC0gZ2VvbV9wb2ludChhbHBoYSA9IDAuMDEsIHNpemUgPSAwLjUpCmRkIDwtIGdlb21fZGVuc2l0eV8yZChjb2xvciA9ICJyZWQiKQpwICsgZGQKYGBgCgpUaGVzZSBhcmUgdGhlIGNvbnRvdXJzIG9mIHRoZSBlc3RpbWF0ZWQgZGVuc2l0eSBzdXJmYWNlOgoKYGBge3IsIGZpZy5oZWlnaHQgPSA0Ljc1LCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KZCA8LSBNQVNTOjprZGUyZChuNTBLJHgsIG41MEskeSwgbiA9IDUwKQp2IDwtIGV4cGFuZC5ncmlkKHggPSBkJHgsIHkgPSBkJHkpCnYkeiA8LSBhcy5udW1lcmljKGQkeikKbGF0dGljZTo6d2lyZWZyYW1lKHogfiB4ICsgeSwKICAgICAgICAgICAgICAgICAgIGRhdGEgPSB2LAogICAgICAgICAgICAgICAgICAgc2NyZWVuID0gbGlzdCh6ID0gNzAsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHggPSAtNjApKQpgYGAKCjJEIGRlbnNpdHkgZXN0aW1hdGUgY29udG91cnMgY2FuIGJlIHN1cGVyaW1wb3NlZCBvbiBhIHNldCBvZiBwb2ludHMgb3IKcGxhY2VkIGJlbmVhdGggYSBzZXQgb2YgcG9pbnRzOgoKYGBge3IsIGZpZy53aWR0aCA9IDgsIGZpZy5oZWlnaHQgPSA2LCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KcDEgPC0gcCArIGxpc3QocHAsIGRkKQpwMiA8LSBwICsgbGlzdChkZCwgcHApCnAxIHwgcDIKYGBgCgoKIyMjIERlbnNpdHkgTGV2ZWxzIEVuY29kZWQgd2l0aCBQb2ludCBTaXplCgpEZW5zaXR5IGxldmVscyBjYW4gYWxzbyBiZSBlbmNvZGVkIGluIHBvaW50IHNpemUgaW4gYSBncmlkIG9mIHBvaW50czoKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KcCArIHN0YXRfZGVuc2l0eV8yZCgKICAgICAgICBhZXMoc2l6ZSA9IGFmdGVyX3N0YXQoZGVuc2l0eSkpLAogICAgICAgIGdlb20gPSAicG9pbnQiLAogICAgICAgIG4gPSAzMCwKICAgICAgICBjb250b3VyID0gRkFMU0UpICsKICAgIHNjYWxlX3NpemUocmFuZ2UgPSBjKDAsIDYpKQpgYGAKClRoaXMgc2NhbGVzIHdlbGwgY29tcHV0YXRpb25hbGx5CgpJdCBkb2VzIG5vdCBlYXNpbHkgc3VwcG9ydCBlbmNvZGluZyBhIGdyb3VwaW5nIHdpdGggY29sb3Igb3Igc2hhcGUuCgpJdCBpbnRyb2R1Y2VzIHNvbWUgZGlzdHJhY3RpbmcgdmlzdWFsIGFydGlmYWN0cyB0aGF0IGFyZSByZWxhdGVkIHRvCnNvbWUgb3B0aWNhbCBpbGx1c2lvbnMgW3NlZW4KZWFybGllcl0ocGVyY2VwLmh0bWwjc29tZS1vcHRpY2FsLWlsbHVzaW9ucykuCgpUaGlzIGVmZmVjdCBjYW4gYmUgcmVkdWNlZCBzb21ld2hhdCBieSBqaXR0ZXJpbmc6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9ICAgICAKaml0X2FtdCA8LSAwLjAzCnAgKyBzdGF0X2RlbnNpdHlfMmQoCiAgICAgICAgYWVzKHNpemUgPSBhZnRlcl9zdGF0KGRlbnNpdHkpKSwKICAgICAgICBnZW9tID0gInBvaW50IiwKICAgICAgICBwb3NpdGlvbiA9IHBvc2l0aW9uX2ppdHRlcihqaXRfYW10LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGppdF9hbXQpLAogICAgICAgIG4gPSAzMCwgY29udG91ciA9IEZBTFNFKSArCiAgICBzY2FsZV9zaXplKHJhbmdlID0gYygwLCA2KSkKYGBgCgoKIyMjIEhleGFnb25hbCBCaW5uaW5nCgpIZXhhZ29uYWwgYmlubmluZyBkaXZpZGVzIHRoZSBwbGFuZSBpbnRvIGhleGFnb25hbCBiaW5zIGFuZCBkaXNwbGF5cwp0aGUgbnVtYmVyIG9mIHBvaW50cyBpbiBlYWNoIGJpbjoKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KcCArIGdlb21faGV4KCkKYGBgCgpUaGlzIGFsc28gc2NhbGVzIHZlcnkgd2VsbCB0byBsYXJnZXIgZGF0YSBzZXRzLgoKVGhlIGRlZmF1bHQgY29sb3Igc2NoZW1lIHNlZW1zIGxlc3MgdGhhbiBpZGVhbC4KCkFuIGFsdGVybmF0aXZlIGZpbGwgY29sb3IgY2hvaWNlOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpwICsgZ2VvbV9oZXgoKSArCiAgICBzY2FsZV9maWxsX2dyYWRpZW50KGxvdyA9ICJncmF5IiwKICAgICAgICAgICAgICAgICAgICAgICAgaGlnaCA9ICJibGFjayIpCmBgYAoKQWdhaW4gaXQgaXMgcG9zc2libGUgdG8gdXNlIGEgc2NhbGVkIHBvaW50IHJlcHJlc2VudGF0aW9uOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpwICsgc3RhdF9iaW5faGV4KAogICAgICAgIGdlb20gPSAicG9pbnQiLAogICAgICAgIGFlcyhzaXplID0gYWZ0ZXJfc3RhdChkZW5zaXR5KSksCiAgICAgICAgZmlsbCA9IE5BKQpgYGAKClRoaXMgcmVwcmVzZW50YXRpb24gc3RpbGwgcHJvZHVjZXMgc29tZSB2aXN1YWwgZGlzdHJhY3Rpb25zLCBidXQgbGVzcwp0aGFuIGEgcmVjdGFuZ3VsYXIgZ3JpZC4KCkFnYWluLCBqaXR0ZXJpbmcgY2FuIGhlbHA6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmppdF9hbXQgPC0gMC4wNQpwICsgc3RhdF9iaW5faGV4KAogICAgICAgIGFlcyhzaXplID0gYWZ0ZXJfc3RhdChkZW5zaXR5KSksCiAgICAgICAgZ2VvbSA9ICJwb2ludCIsCiAgICAgICAgcG9zaXRpb24gPSBwb3NpdGlvbl9qaXR0ZXIoaml0X2FtdCwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBqaXRfYW10KSwKICAgICAgICBmaWxsID0gTkEpCmBgYAoKCiMjIyBPdGhlciBEZW5zaXR5IFBsb3RzCgpUaGUgYGhkcmNkZWAgcGFja2FnZSBjb21wdXRlcyBhbmQgcGxvdHMgZGVuc2l0eSBjb250b3VycyBjb250YWluaW5nCnNwZWNpZmllZCBwcm9wb3J0aW9ucyBvZiB0aGUgZGF0YS4KClRoZSBgaGRyLmJveHBsb3QuMmRgIGZ1bmN0aW9uIHBsb3RzIHRoZXNlIGNvbnRvdXJzIGFuZCBzaG93cyB0aGUKcG9pbnRzIG5vdCBpbiB0aGUgb3V0ZXJtb3N0IGNvbnRvdXI6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmxpYnJhcnkoaGRyY2RlKQp3aXRoKG41MEssCiAgICAgaGRyLmJveHBsb3QuMmQoeCwgeSwKICAgICAgICAgICAgICAgICAgICBwcm9iID0gYygwLjEsIDAuNSwgMC43NSwgMC45KSkpCmBgYAo8IS0tCkl0IHNob3VsZCBiZSBwb3NzaWJsZSB0byBzZWxlY3QgdGhlIGNvbnRvdXIgbGV2ZWxzIHVzZWQgaW4gYGdncGxvdGAgaW4gYQpzaW1pbGFyIHdheS4KLS0+CgoKIyMgU29tZSBFbmhhbmNlbWVudHMKCgojIyMgRW5jb2RpbmcgQWRkaXRpb25hbCBWYXJpYWJsZXMKClNjYXR0ZXIgcGxvdHMgY2FuIGVuY29kZSBpbmZvcm1hdGlvbiBhYm91dCBvdGhlciB2YXJpYWJsZXMgdXNpbmcKCiogc3ltYm9sIGNvbG9yCgoqIHN5bWJvbCBzaXplCgoqIHN5bWJvbCBzaGFwZQoKQW4gZXhhbXBsZSB1c2luZyB0aGUgYG1wZ2AgZGF0YSBzZXQ6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CnAgPC0gZ2dwbG90KG1wZywgYWVzKGN0eSwgaHd5LAogICAgICAgICAgICAgICAgICAgICBjb2xvciA9IGZhY3RvcihjeWwpKSkKcCArIGdlb21fcG9pbnQoYWVzKHNpemUgPSBkcnYpKQpgYGAKClNvbWUgZW5jb2RpbmdzIHdvcmsgYmV0dGVyIHRoYW4gb3RoZXJzOgoKKiBTaXplIGlzIG5vdCBhIGdvb2QgZml0IGZvciBhIGRpc2NyZXRlIHZhcmlhYmxlCgoqIEV2ZW4gdGhvdWdoIGBjeWxgIGlzIG51bWVyaWMsIGl0IGlzIGJlc3QgZW5jb2RlZCBhcyBjYXRlZ29yaWNhbC4KCiogU2l6ZSBhbmQgY29sb3IgaW50ZXJmZXJlIHdpdGggZWFjaCBvdGhlciBhcyB0aGUgY29sb3Igb2Ygc21hbGxlcgogIG9iamVjdHMgaXMgaGFyZGVyIHRvIHBlcmNlaXZlLgoKKiBTaW1pbGFybHksIHNpemUgYW5kIHNoYXBlIGludGVyZmVyZSB3aXRoIGVhY2ggb3RoZXIuCgpVc2luZyBgc2hhcGVgIGluc3RlYWQgb2YgYHNpemVgIGZvciBgZHJ2YDoKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KcCArIGdlb21fcG9pbnQoYWVzKHNoYXBlID0gZHJ2KSkKYGBgCgpJbmNyZWFzaW5nIHRoZSBzaXplIG1ha2VzIHNoYXBlcyBhbmQgdGhlIGNvbG9ycyBlYXNpZXIgdG8gZGlzdGluZ3Vpc2g6CgpgYGB7cn0KcCArIGdlb21fcG9pbnQoYWVzKHNoYXBlID0gZHJ2KSwgc2l6ZSA9IDMpCmBgYAoKCiMjIyBNYXJnaW5hbCBQbG90cwoKVGhlIGBnZ01hcmdpbmAgZnVuY3Rpb24gaW4gdGhlIGBnZ0V4dHJhYCBwYWNrYWdlIGF0dGFjaGVzIG1hcmdpbmFsCmhpc3RvZ3JhbXMgdG8gKHNvbWUpIHBsb3RzIHByb2R1Y2VkIGJ5IGBnZ3Bsb3RgOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpsaWJyYXJ5KGdnRXh0cmEpCnAgPC0gZ2dwbG90KG41MEssIGFlcyh4LCB5KSkgKwogICAgZ2VvbV9wb2ludChhbHBoYSA9IDAuMDEsIHNpemUgPSAwLjUpCmdnTWFyZ2luYWwocCwKICAgICAgICAgICB0eXBlID0gImhpc3RvZ3JhbSIsCiAgICAgICAgICAgYmlucyA9IDUwLAogICAgICAgICAgIGZpbGwgPSAibGlnaHRncmV5IikKYGBgCgpUaGUgZGVmYXVsdCB0eXBlIGlzIGAiZGVuc2l0eSJgIGZvciBhIG1hcmdpbmFsIGRlbnNpdHkgcGxvdDoKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KZ2dNYXJnaW5hbChwLCBmaWxsID0gImxpZ2h0Z3JleSIpCmBgYAoKRm9yIGRhdGEgc2V0cyBvZiBtb3JlIG1vZGVzdCBzaXplIHJ1ZyBwbG90cyBhbG9uZyB0aGUgYXhlcyBjYW4gYmUKdXNlZnVsOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpnZ3Bsb3QoZmFpdGhmdWwsCiAgICAgICBhZXMoZXJ1cHRpb25zLCB3YWl0aW5nKSkgKwogICAgZ2VvbV9wb2ludCgpICsKICAgIGdlb21fcnVnKGFscGhhID0gMC4yKQpgYGAKCgojIyMgQWRkaW5nIGEgU21vb3RoIEN1cnZlCgpXaGVuIHRoZSB2YXJpYWJsZXMgb24gdGhlICR5JCBheGlzIGlzIGEgcmVzcG9uc2UgdmFyaWFibGUgYSB1c2VmdWwKZW5oYW5jZW1lbnQgaXMgdG8gYWRkIGEgc21vb3RoIGN1cnZlIHRvIGEgcGxvdC4KClRoZSBkZWZhdWx0IG1ldGhvZCBpcyBhIGZvcm0gb2YgbG9jYWwgYXZlcmFnaW5nLCBhbmQgaW5jbHVkZXMgYQpyZXByZXNlbnRhdGlvbiBvZiB1bmNlcnRhaW50eToKCmBgYHtyLCBmaWcud2lkdGggPSA5LCBmaWcuaGVpZ2h0ID0gNC4yNSwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CnAxIDwtIGdncGxvdChmYWl0aGZ1bCwgYWVzKGVydXB0aW9ucywgd2FpdGluZykpICsKICAgIGdlb21fcG9pbnQoKSArCiAgICBnZW9tX3Ntb290aCgpICsKICAgIGdndGl0bGUoIk9sZCBGYWl0aGZ1bCBFcnVwdGlvbnMiKQpwMiA8LSBnZ3Bsb3QobjUwSywgYWVzKHgsIHkpKSArCiAgICBwcCArCiAgICBnZW9tX3Ntb290aCgpICsKICAgIGdndGl0bGUoc3ByaW50ZigiJWQgUG9pbnRzIiwgbnJvdyhuNTBLKSkpCnAxIHwgcDIKYGBgCgoKIyMjIEF4aXMgVHJhbnNmb3JtYXRpb24KClZhcmlhYmxlIHRyYW5zZm9ybWF0aW9ucyBhcmUgb2Z0ZW4gaGVscGZ1bC4KClZhcmlhYmxlIHRyYW5zZm9ybWF0aW9ucyBjYW4gYmUgYXBwbGllZCBieQoKKiBwbG90dGluZyB0aGUgdHJhbnNmb3JtZWQgZGF0YQoKKiBwbG90dGluZyBvbiB0cmFuc2Zvcm1lZCBheGVzCgpBeGlzIHRyYW5zZm9ybWF0aW9ucyBgZ2dwbG90YCBzdXBwb3J0czoKCiogYGxvZzEwYCB3aXRoIGBzY2FsZV94X2xvZzEwYCwgc2NhbGVfeV9sb2cxMAoKKiBzcXVhcmUgcm9vdCB3aXRoIGBzY2FsZV94X3NxcnRgLCBgc2NhbGVfeV9zcXJ0YAoKKiByZXZlcnNlZCBheGVzIHdpdGggYHNjYWxlX3hfcmV2ZXJzZWAsIGBzY2FsZV95X3JldmVyc2VgCgpDaGFuZ2luZyBzY2FsZXMgY2FuIG1ha2UgcGxvdCBzaGFwZXMgc2ltcGxlciwgYnV0IG5vbi1saW5lYXIgYXhlcyBhcmUKaGFyZGVyIHRvIGludGVycHJldC4KCmBgYHtyLCBmaWcud2lkdGggPSA5LCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KbGlicmFyeShnYXBtaW5kZXIpCmdhcCA8LSBmaWx0ZXIoZ2FwbWluZGVyLCB5ZWFyID09IDIwMDcpCnAgPC0gZ2dwbG90KGdhcCwKICAgICAgICAgICAgYWVzKHggPSBnZHBQZXJjYXAsCiAgICAgICAgICAgICAgICB5ID0gbGlmZUV4cCwKICAgICAgICAgICAgICAgIGNvbG9yID0gY29udGluZW50LAogICAgICAgICAgICAgICAgc2l6ZSA9IHBvcCkpICsKICAgIGdlb21fcG9pbnQoKSArCiAgICBzY2FsZV9zaXplX2FyZWEobWF4X3NpemUgPSA4KQpwMSA8LSBwICsKICAgIGd1aWRlcyhjb2xvciA9ICJub25lIiwKICAgICAgICAgICBzaXplID0gIm5vbmUiKQpwMiA8LSBwICsKICAgIHNjYWxlX3hfbG9nMTAoKSArCiAgICBndWlkZXMoc2l6ZSA9ICJub25lIikKcDEgKyBwMgpgYGAKCgojIyBDb25kaXRpb25pbmcKCldoZW4gdGhlICR5JCB2YXJpYWJsZSBpcyBhIHJlc3BvbnNlIGl0IGNhbiBhbHNvIGJlIHVzZWZ1bCB0byBleHBsb3JlCnRoZSBjb25kaXRpb25hbCBkaXN0cmlidXRpb24gb2YgJHkkIGdpdmVuIGRpZmZlcmVudCB2YWx1ZXMgb2YgdGhlICR4JAp2YXJpYWJsZS4KCk9uZSB3YXkgdG8gZG8gdGhpcyBpcyB0byBmb2N1cyBvbiB0aGUgZGF0YSBmb3IgbmFycm93IHJhbmdlcyBvZiB0aGUKY29uZGl0aW9uaW5nIHZhcmlhYmxlLgoKVHdvIGFwcHJvYWNoZXMgZm9yIGNyZWF0aW5nIGdyb3VwcyB0byBmb2N1cyBvbjoKCiogVXNlIHRoZSBgYmFzZWAgZnVuY3Rpb24gYGN1dGAsIG9yIG9uZSBvZiB0aGUgYGdnbG90MmAgZnVuY3Rpb25zCgogICAgKiBgY3V0X2ludGVydmFsYAogICAgKiBgY3V0X251bWJlcmAKICAgICogYGN1dF93aWR0aGAKCiogVXNlIHRoZSBgcm91bmRgIGZ1bmN0aW9uLgoKUm91bmRpbmcgdG8gYW4gaW50ZWdlciBvciB1c2luZwoKYGBge3IsIGV2YWwgPSBGQUxTRX0KY3V0X3dpZHRoKHgsIHdpZHRoID0gMSwgY2VudGVyID0gMCkKYGBgCgpwcm9kdWNlcyB0aGVzZSBiaW5zOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpwIDwtIGdncGxvdChuNTBLLCBhZXMoeCwgeSkpICsKICAgIGdlb21fcG9pbnQoYWxwaGEgPSAwLjA1LCBzaXplID0gMC41KQpwICsgZ2VvbV92bGluZSh4aW50ZXJjZXB0ID0KICAgICAgICAgICAgICAgICAgIHNlcSgtMy41LCAzLjUsIGJ5ID0gMSksCiAgICAgICAgICAgICAgIGxpbmV0eXBlID0gMiwKICAgICAgICAgICAgICAgY29sb3IgPSAicmVkIikKYGBgCgpEYXRhIHdpdGhpbiBlYWNoIGdyb3VwIGNhbiB0aGVuIGJlIHNob3duIHVzaW5nIGJveCBwbG90cyAoeW91IG5lZWQgdG8KdXNlIHRoZSBgZ3JvdXBgIGFlc3RoZXRpYyB0byBwbG90IG9uIGEgY29udGludW91cyBheGlzKToKCmBgYHtyfQpuNTBLX3RybSA8LSBmaWx0ZXIobjUwSywgeCA+IC0yLjUsIHggPCAyLjUpCm11dGF0ZShuNTBLX3RybSwgeHJuZCA9IHJvdW5kKHgpKSAlPiUKICAgIGdncGxvdChhZXMoeCwgeSkpICsKICAgIGdlb21fYm94cGxvdChhZXMoZ3JvdXAgPSB4cm5kKSkKYGBgCgpVc2luZyBgY3V0X3dpZHRoYCBhbmQgdmlvbGluIHBsb3RzOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQptdXRhdGUobjUwS190cm0sCiAgICAgICB4Y3V0ID0gY3V0X3dpZHRoKHgsCiAgICAgICAgICAgICAgICAgICAgICAgIHdpZHRoID0gMSwKICAgICAgICAgICAgICAgICAgICAgICAgY2VudGVyID0gMCkpICU+JQogICAgZ3JvdXBfYnkoeGN1dCkgJT4lCiAgICBtdXRhdGUoeG1lZCA9IG1lZGlhbih4KSkgJT4lCiAgICB1bmdyb3VwKCkgJT4lCiAgICBnZ3Bsb3QoYWVzKHgsIHkpKSArCiAgICBnZW9tX3Zpb2xpbihhZXMoZ3JvdXAgPSB4bWVkKSwKICAgICAgICAgICAgICAgIGRyYXdfcXVhbnRpbGVzID0gMC41KQpgYGAKCkFub3RoZXIgb3B0aW9uIGZvciB2aXN1YWxpemluZyB0aGUgY29uZGl0aW9uYWwgZGlzdHJpYnV0aW9ucyBpcwpmYWNldGVkIGRlbnNpdHkgcGxvdHM6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9Cm11dGF0ZShuNTBLX3RybSwgeHJuZCA9IHJvdW5kKHgpKSAlPiUKICAgIGdncGxvdChhZXMoeCkpICsKICAgIGdlb21fZGVuc2l0eShhZXMoeSkpICsKICAgIGZhY2V0X3dyYXAofiB4cm5kLCBuY29sID0gMSkKYGBgCgpEZW5zaXR5IHJpZGdlcyB3b3JrIGFzIHdlbGw6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CiN8IHdhcm5pbmc6IGZhbHNlCmxpYnJhcnkoZ2dyaWRnZXMpCm11dGF0ZShuNTBLX3RybSwgeHJuZCA9IHJvdW5kKHgpKSAlPiUKICAgIGdncGxvdChhZXMoeSwgeHJuZCwgZ3JvdXAgPSB4cm5kKSkgKwogICAgZ2VvbV9kZW5zaXR5X3JpZGdlcyhxdWFudGlsZV9saW5lcyA9IFRSVUUsCiAgICAgICAgICAgICAgICAgICAgICAgIHF1YW50aWxlcyA9IDIpCmBgYAoKVXNpbmcgYSBsYXJnZXIgc2V0IG9mIG5hcnJvd2VyIGJpbnMgY2VudGVyZWQgb24gbXVsdGlwbGVzIG9mIDEvMjoKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KbXV0YXRlKG41MEtfdHJtLCB4cm5kID0gcm91bmQoMiAqIHgpIC8gMikgJT4lCiAgICBnZ3Bsb3QoYWVzKHksIHhybmQsIGdyb3VwID0geHJuZCkpICsKICAgIGdlb21fZGVuc2l0eV9yaWRnZXMocXVhbnRpbGVfbGluZXMgPSBUUlVFLAogICAgICAgICAgICAgICAgICAgICAgICBxdWFudGlsZXMgPSAyKQpgYGAKClNvbWV0aW1lcyBpdCBpcyB1c2VmdWwgdG8gdXNlIGEgc21hbGwgbnVtYmVyIG9mIG5hcnJvdyBiaW5zOgoKYGBge3IsIGZpZy53aWR0aCA9IDksIGZpZy5oZWlnaHQgPSA0LCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KcmRhdGEgPC0gZGF0YS5mcmFtZSh4bWluID0gKC0yIDogMikgLSAwLjEsCiAgICAgICAgICAgICAgICAgICAgeG1heCA9ICgtMiA6IDIpICsgMC4xLAogICAgICAgICAgICAgICAgICAgIHltaW4gPSAtSW5mLAogICAgICAgICAgICAgICAgICAgIHltYXggPSBJbmYpCnAxIDwtIHAgKyBnZW9tX3JlY3QoYWVzKHhtaW4gPSB4bWluLCB4bWF4ID0geG1heCwgeW1pbiA9IHltaW4sIHltYXggPSB5bWF4KSwKICAgICAgICAgICAgICAgICAgICBkYXRhID0gcmRhdGEsCiAgICAgICAgICAgICAgICAgICAgaW5oZXJpdC5hZXMgPSBGQUxTRSwKICAgICAgICAgICAgICAgICAgICBmaWxsID0gInJlZCIsCiAgICAgICAgICAgICAgICAgICAgYWxwaGEgPSAwLjIpCgpwMiA8LSBtdXRhdGUobjUwS190cm0sIHhybmQgPSByb3VuZCh4KSkgJT4lCiAgICBmaWx0ZXIoYWJzKHggLSB4cm5kKSA8IDAuMSkgJT4lCiAgICBnZ3Bsb3QoYWVzKHksIHhybmQsIGdyb3VwID0geHJuZCkpICsKICAgIGdlb21fZGVuc2l0eV9yaWRnZXMocXVhbnRpbGVfbGluZXMgPSBUUlVFLCBxdWFudGlsZXMgPSAyKQpwMSB8IHAyCmBgYAoKRm9yIGV4YW1pbmluZyBjb25kaXRpb25hbCBkaXN0cmlidXRpb25zLCBiaW5zIG5lZWQgdG8gYmU6CgoqIG5hcnJvdyBlbm91Z2ggdG8gZm9jdXMgb24gYSBwYXJ0aWN1bGFyICR4JCB2YWx1ZTsKCiogd2lkZSBlbm91Z2ggdG8gaW5jbHVkZSBlbm91Z2ggb2JzZXJ2YXRpb25zIGZvciBhIHVzZWZ1bCB2aXN1YWxpemF0aW9uLgoKRm9yIHNtYWxsZXIgZGF0YSBzZXRzIGl0IGNhbiBhbHNvIGJlIHVzZWZ1bCB0byBhbGxvdyBiaW5zIHRvIG92ZXJsYXAuCgoqIGBnZ3Bsb3RgIGRvZXMgbm90IHByb3ZpZGUgc3VwcG9ydCBmb3IgdGhpcy4KCiogYGxhdHRpY2VgIGRvZXMgc3VwcG9ydCB0aGlzIHdpdGggX3NoaW5nbGVzXy4KClRoZSBsYXR0aWNlIGZ1bmN0aW9ucyBgc2hpbmdsZWAgYW5kIGBlcXVhbC5jb3VudGAgY3JlYXRlIHNoaW5nbGVzIHRoYXQKY2FuIGJlIHVzZWQgaW4gYGxhdHRpY2VgLXN0eWxlIGZhY2V0aW5nLgoKCiMjIEV4YW1wbGU6IERpYW1vbmQgUHJpY2VzCgpUaGUgYGRpYW1vbmRzYCBkYXRhIHNldCBjb250YWlucyBwcmljZXMgYW5kIG90aGVyIGF0dHJpYnV0ZXMgZm9yCmByIHNjYWxlczo6Y29tbWEobnJvdyhkaWFtb25kcykpYCBkaWFtb25kcy4KClRoZSBgY3V0YCB2YXJpYWJsZSBpbmRpY2F0ZXMgdGhlIF9xdWFsaXR5XyBvZiBhIGRpYW1vbmQncyBjdXQuCgpZb3UgbWlnaHQgZXhwZWN0ICdiZXR0ZXInIGN1dHMgdG8gY29zdCBtb3JlLCBidXQgdGhhdCBpcyBub3QgdHJ1ZSBvbgphdmVyYWdlOgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQptbSA8LSBncm91cF9ieShkaWFtb25kcywgY3V0KSAlPiUKICAgIHN1bW1hcml6ZShtZWRfcHJpY2UgPSBtZWRpYW4ocHJpY2UpLAogICAgICAgICAgICAgIGF2Z19wcmljZSA9IG1lYW4ocHJpY2UpLAogICAgICAgICAgICAgIG4gPSBsZW5ndGgocHJpY2UpKSAlPiUKICAgIHBpdm90X2xvbmdlcigyIDogMywKICAgICAgICAgICAgICAgICBuYW1lc190byA9ICJ3aGljaCIsCiAgICAgICAgICAgICAgICAgdmFsdWVzX3RvID0gInByaWNlIikKZ2dwbG90KG1tLCBhZXMoeCA9IHByaWNlLAogICAgICAgICAgICAgICB5ID0gY3V0LAogICAgICAgICAgICAgICBjb2xvciA9IHdoaWNoKSkgKwogICAgZ2VvbV9wb2ludCgsIHNpemUgPSAzKQpgYGAKClRoZSBwcm9wb3J0aW9uIG9mIGRpYW1vbmRzIGF0IGVhY2ggYGN1dGAgbGV2ZWwgaXMgYWxzbyBwZXJoYXBzIHN1cnByaXNpbmc6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmdncGxvdChkaWFtb25kcykgKwogICAgZ2VvbV9iYXIoYWVzKHggPSBjdXQpLAogICAgICAgICAgICAgZmlsbCA9ICJkZWVwc2t5Ymx1ZTMiKQpgYGAKCkFuZCB0aGUgcHJpY2UgZGlzdHJpYnV0aW9ucyB3aXRoaW4gZWFjaCBgY3V0YCBsZXZlbCBkaWZmZXIgaW4gc2hhcGU6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmdncGxvdChkaWFtb25kcywgYWVzKHggPSBwcmljZSwgeSA9IGN1dCkpICsKICAgIGdlb21fdmlvbGluKCkgKwogICAgZ2VvbV9wb2ludChhZXMoY29sb3IgPSB3aGljaCksIGRhdGEgPSBtbSkKYGBgCgpBbm90aGVyIGltcG9ydGFudCBmYWN0b3IgaXMgdGhlIHNpemUsIG1lYXN1cmVkIGluIGBjYXJhdGAuCgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmdncGxvdChkaWFtb25kcywgYWVzKHggPSBjYXJhdCwgeSA9IGN1dCkpICsKICAgIGdlb21fdmlvbGluKCkKYGBgCgpIaXN0b2dyYW1zIHdpdGggYSBuYXJyb3cgYmluIHdpZHRoIG1heSBoZWxwIHVuZGVyc3RhbmQgdGhlIHVudXN1YWwgc2hhcGVzLgoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpnZ3Bsb3QoZGlhbW9uZHMpICsKICAgIGdlb21faGlzdG9ncmFtKGFlcyhjYXJhdCksCiAgICAgICAgICAgICAgICAgICBiaW53aWR0aCA9IDAuMDEpCmBgYAoKVHJ5IGZhY2V0aW5nIG9uIGBjdXRgOgoKYGBge3IsIGZpZy5oZWlnaHQgPSA2LjUsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpnZ3Bsb3QoZGlhbW9uZHMpICsKICAgIGdlb21faGlzdG9ncmFtKGFlcyhjYXJhdCksCiAgICAgICAgICAgICAgICAgICBiaW53aWR0aCA9IDAuMDEpICsKICAgIGZhY2V0X3dyYXAofiBjdXQsIG5jb2wgPSAxKQpgYGAKClRvIGZvY3VzIG9uIHRoZSBzaGFwZXMgb2YgdGhlIGNvbmRpdGlvbmFsIGRpc3RyaWJ1dGlvbnMgb2YgY2FyYXQgZ2l2ZW4KY3V0IHVzZSBgeSA9IGFmdGVyX3N0YXQoZGVuc2l0eSlgOgoKYGBge3IsIGZpZy5oZWlnaHQgPSA2LjUsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpnZ3Bsb3QoZGlhbW9uZHMpICsKICAgIGdlb21faGlzdG9ncmFtKAogICAgICAgIGFlcyh4ID0gY2FyYXQsCiAgICAgICAgICAgIHkgPSBhZnRlcl9zdGF0KGRlbnNpdHkpKSwKICAgICAgICBiaW53aWR0aCA9IDAuMDEpICsKICAgIGZhY2V0X3dyYXAofiBjdXQsIG5jb2wgPSAxKQpgYGAKCkFsdGVybmF0aXZlbHksIHlvdSBjYW4gZmFjZXQgd2l0aCBgc2NhbGVzID0gImZyZWVfeSJgOgoKYGBge3IsIGZpZy5oZWlnaHQgPSA2LjUsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpnZ3Bsb3QoZGlhbW9uZHMpICsKICAgIGdlb21faGlzdG9ncmFtKGFlcyhjYXJhdCksCiAgICAgICAgICAgICAgICAgICBiaW53aWR0aCA9IDAuMDEpICsKICAgIGZhY2V0X3dyYXAofiBjdXQsCiAgICAgICAgICAgICAgIHNjYWxlcyA9ICJmcmVlX3kiLAogICAgICAgICAgICAgICBuY29sID0gMSkKYGBgCgpMYXJnZXIgZGlhbW9uZHMgaGF2ZSBhIGhpZ2hlciBwcmljZToKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KZ2dwbG90KGRpYW1vbmRzLCBhZXMoeCA9IGNhcmF0LCB5ID0gcHJpY2UpKSArCiAgICBnZW9tX3BvaW50KCkKYGBgCgpUaGVyZSBpcyBhIGxvdCBvZiBvdmVyLXBsb3R0aW5nLCBzbyBhIGdvb2Qgb3Bwb3J0dW5pdHkgdG8gdHJ5IHNvbWUgb2YgdGhlCnRlY2huaXF1ZXMgd2UgaGF2ZSBsZWFybmVkLgoKU29tZSBleHBsb3JhdGlvbnM6CgpSZWR1Y2VkIHBvaW50IHNpemU6CmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KcCA8LSBnZ3Bsb3QoZGlhbW9uZHMsCiAgICAgICAgICAgIGFlcyh4ID0gY2FyYXQsIHkgPSBwcmljZSkpCnAgKyBnZW9tX3BvaW50KHNpemUgPSAwLjEpCmBgYAoKUmVkdWNlZCBwb2ludCBzaXplIGFuZCBhbHBoYSBsZXZlbDoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpwICsgZ2VvbV9wb2ludChzaXplID0gMC4xLCBhbHBoYSA9IDAuMSkKYGBgCgpUcnkgbG9nIHNjYWxlIGZvciBwcmljZToKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpwICsgZ2VvbV9wb2ludChzaXplID0gMC4xLCBhbHBoYSA9IDAuMSkgKwogICAgc2NhbGVfeV9sb2cxMCgpCmBgYAoKTG9nIHNjYWxlIGZvciBib3RoOgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CnAgKyBnZW9tX3BvaW50KHNpemUgPSAwLjEsIGFscGhhID0gMC4xKSArCiAgICBzY2FsZV94X2xvZzEwKCkgKwogICAgc2NhbGVfeV9sb2cxMCgpCmBgYAoKQWRkIGEgc21vb3RoOgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CnAgKyBnZW9tX3BvaW50KHNpemUgPSAwLjEsIGFscGhhID0gMC4xKSArCiAgICBnZW9tX3Ntb290aCgpICsKICAgIHNjYWxlX3hfbG9nMTAoKSArCiAgICBzY2FsZV95X2xvZzEwKCkKYGBgCgpTZXBhcmF0ZSBzbW9vdGhzIGZvciBlYWNoIGN1dDoKYGBge3IsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUifQpwICsgZ2VvbV9wb2ludChzaXplID0gMC4xLCBhbHBoYSA9IDAuMSkgKwogICAgZ2VvbV9zbW9vdGgoYWVzKGNvbG9yID0gY3V0KSkgKwogICAgc2NhbGVfeF9sb2cxMCgpICsKICAgIHNjYWxlX3lfbG9nMTAoKQpgYGAKCkV4cGxvcmluZyBhIHNhbXBsZToKCmBgYHtyfQpkNTAwIDwtIHNhbXBsZV9uKGRpYW1vbmRzLCA1MDApCmBgYApEaXN0cmlidXRpb24gb2YgYGN1dGAgaW4gdGhlIHNhbXBsZToKCmBgYHtyLCBmaWcuaGVpZ2h0ID0gNCwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmdncGxvdChkNTAwLCBhZXMoeCA9IGN1dCkpICsKICAgIGdlb21fYmFyKCkKYGBgCgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CmdncGxvdChkNTAwLCBhZXMoeCA9IGNhcmF0LCB5ID0gcHJpY2UpKSArCiAgICBnZW9tX3BvaW50KCkKYGBgCgpZb3UgY2FuIGFsc28gdGFrZSBhIF9zdHJhdGlmaWVkIHNhbXBsZV8gc3RyYXRpZmllZCBvbiBjdXQgdXNpbmcKYGdyb3VwX2J5YCwgYHNhbXBsZV9mcmFjYCwgYW5kIGB1bmdyb3VwYC4KCkV4cGxvcmF0aW9ucyB1c2luZyBmYWNldHM6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CnAwIDwtIGdncGxvdChkaWFtb25kcywgYWVzKHggPSBjYXJhdCwgeSA9IHByaWNlKSkKZE5vQ3V0IDwtIG11dGF0ZShkaWFtb25kcywgY3V0ID0gTlVMTCkKcDEgPC0gcDAgKyBnZW9tX3BvaW50KGFscGhhID0gMC4wMSwgY29sb3IgPSAiZ3JleSIsIGRhdGEgPSBkTm9DdXQpCnAgPC0gcDEgKyBnZW9tX3BvaW50KGNvbG9yID0gInJlZCIsIHNpemUgPSAxLCBhbHBoYSA9IDAuMDUpCiMjIHAgKyBmYWNldF93cmFwKH4gY3V0KQpwICsgZmFjZXRfd3JhcCh+IGN1dCkgKyBzY2FsZV94X2xvZzEwKCkgKyBzY2FsZV95X2xvZzEwKCkKYGBgCgpGYWNldHMgd2l0aCBhIHNhbXBsZToKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KcDUwMCA8LSBwMSArCiAgICBnZW9tX3BvaW50KGRhdGEgPSBkNTAwLAogICAgICAgICAgICAgICBjb2xvciA9ICJyZWQiLAogICAgICAgICAgICAgICBzaXplID0gMSkKIyMgcDUwMAojIyBwNTAwICsgZmFjZXRfd3JhcCh+IGN1dCkKcDUwMCArCiAgICBmYWNldF93cmFwKH4gY3V0KSArCiAgICBzY2FsZV94X2xvZzEwKCkgKwogICAgc2NhbGVfeV9sb2cxMCgpCmBgYAoKTXV0ZWQgZGF0YSB3aXRoIHNtb290aHM6CgpgYGB7ciwgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSJ9CnAxICsKICAgIGdlb21fc21vb3RoKGFlcyhjb2xvciA9IGN1dCksCiAgICAgICAgICAgICAgICBzZSA9IEZBTFNFKSArCiAgICBzY2FsZV94X2xvZzEwKCkgKwogICAgc2NhbGVfeV9sb2cxMCgpCmBgYAoKQ29uZGl0aW9uaW5nLCBgY2FyYXRgIHZhbHVlcyBuZWFyIDEsIDEuNSwgb3IgMjoKCmBgYHtyLCBjbGFzcy5zb3VyY2UgPSAiZm9sZC1oaWRlIn0KZHJuZCA8LSBtdXRhdGUoZGlhbW9uZHMsCiAgICAgICAgICAgICAgIGNybmQgPSByb3VuZCgyICogY2FyYXQpIC8gMikKIyMgTG9vayBhdCBhIGJhciBjaGFydCBvZiBjb3VudChkcm5kLCBjcm5kKQojIyBEcm9wIGhpZ2hlciBjYXJhdCB2YWx1ZXMgZnJvbSBkZW5zaXR5IHJpZGdlcwojIyBtYXAgY3V0IHRvIGNvbG9yIG9yIGZpbGwgKG5lZWQgdG8gdXNlIGdyb3VwID0gaW50ZXJhY3Rpb24oY3JuZCwgY3V0KSkKIyMgdHJ5IGxvZyBzY2FsZSBmb3IgcHJpY2UKZmlsdGVyKGRybmQsCiAgICAgICBjcm5kIDw9IDIsIGNybmQgPj0gMSwKICAgICAgIGNhcmF0ID49IGNybmQsIGNhcmF0IDw9IGNybmQgKyAwLjEpICU+JQogICAgZ2dwbG90KGFlcyh4ID0gcHJpY2UsIHkgPSBjdXQpKSArCiAgICBnZW9tX2RlbnNpdHlfcmlkZ2VzKHF1YW50aWxlX2xpbmVzID0gVFJVRSwKICAgICAgICAgICAgICAgICAgICAgICAgcXVhbnRpbGVzID0gMikgKwogICAgZmFjZXRfd3JhcCh+Y3JuZCwgbmNvbCA9IDEpCmBgYAoKPCEtLQpGb2N1cyBvbiBjYXJhdCB2YWx1ZXMgbmVhciBvbmU6CgpgYGB7ciwgZXZhbCA9IEZBTFNFfQpmaWx0ZXIoZGlhbW9uZHMsIGNhcmF0ID49IDAuOTUsIGNhcmF0IDwgMS4wNSkgJT4lCiAgICBnZ3Bsb3QoYWVzKHggPSBjdXQsIHkgPSBwcmljZSkpICsKICAgIGdlb21fdmlvbGluKHNjYWxlID0gImNvdW50IiwgZHJhd19xdWFudGlsZXMgPSAwLjUpCiMjIFRyeSBkZW5zaXR5IHJpZGdlcwpgYGAKLS0+CgoKIyMgUmVhZGluZwoKQ2hhcHRlciBbX1Zpc3VhbGl6aW5nIGFzc29jaWF0aW9ucyBhbW9uZyB0d28gb3IgbW9yZSBxdWFudGl0YXRpdmUKICB2YXJpYWJsZXNfXShodHRwczovL2NsYXVzd2lsa2UuY29tL2RhdGF2aXovdmlzdWFsaXppbmctYXNzb2NpYXRpb25zLmh0bWwpCiAgaW4gW19GdW5kYW1lbnRhbHMgb2YgRGF0YQogIFZpc3VhbGl6YXRpb25fXShodHRwczovL2NsYXVzd2lsa2UuY29tL2RhdGF2aXovKS4KCgojIyBFeGVyY2lzZXMKCjEuIEEgcGxvdCBvZiBhcnJpdmFsIGRlbGF5IGFnYWluc3QgZGVwYXJ0dXJlIGRlbGF5IGZvciB0aGUgTllDIGZsaWdodAogICBkYXRhIHNob3dzIGEgbG90IG9mIG92ZXItcGxvdHRpbmcsIGV2ZW4gZm9yIGEgMTAlIHNhbXBsZS4KCiAgICBgYGB7cn0KICAgIGxpYnJhcnkoZHBseXIpCiAgICBsaWJyYXJ5KGdncGxvdDIpCiAgICBsaWJyYXJ5KG55Y2ZsaWdodHMxMykKICAgIGZsIDwtIGZpbHRlcihmbGlnaHRzLCBkZXBfZGVsYXkgPCAxMjApICU+JQogICAgICAgIHNhbXBsZV9mcmFjKDAuMSkKICAgIHAgPC0gZ2dwbG90KGZsLCBhZXMoeCA9IGRlcF9kZWxheSwgYXJyX2RlbGF5KSkgKwogICAgICAgIGdlb21fcG9pbnQoKQogICAgcAogICAgYGBgCgogICAgVGhpcyBtYXNrcyB0aGUgZmFjdCB0aGF0IHRocmVlIHF1YXJ0ZXJzIG9mIHRoZSBmbGlnaHRzIGluIHRoaXMKICAgIHNhbXBsZSBoYXZlIGRlcGFydHVyZSBkZWxheXMgb2YgbGVzcyB0aGFuIDEwCiAgICBtaW51dGVzLiBTdXBlcmltcG9zaW5nIGRlbnNpdHkgY29udG91cnMgaXMgb25lIHdheSB0byBhZGRyZXNzIHRoaXMKICAgIGlzc3VlLgoKICAgIFdoaWNoIG9mIHRoZSBmb2xsb3dpbmcgYWRkcyBmb3VyIHJlZCBkZW5zaXR5IGNvbnRvdXJzIHRvIHRoZSBwbG90PwoKICAgIGEuIGBwICsgZ2VvbV9kZW5zaXR5XzJkKGNvbG9yID0gInJlZCIpYAogICAgYi4gYHAgKyBnZW9tX2RlbnNpdHlfMmQoYmlucyA9IDQsIGNvbG9yID0gInJlZCIpYAogICAgYy4gYHAgKyBnZW9tX2hleChiaW5zID0gNSlgCiAgICBkLiBgcCArIGdlb21fZGVuc2l0eV8yZChiaW5zID0gNSlgCgoyLiBUaGUgYGRpYW1vbmRzYCBkYXRhIHNldCBpcyBsYXJnZSBlbm91Z2ggZm9yIGEgc2NhdHRlciBwbG90IG9mCiAgICBgcHJpY2VgIGFnYWluc3QgYGNhcmF0YCB0byBzdWZmZXIgZnJvbSBhIHNpZ25pZmljYW50IGFtb3VudCBvZgogICAgb3Zlci1wbG90dGluZy4gIFdpdGggYHBgIGNyZWF0ZWQgYXMKCiAgICBgYGB7cn0KICAgIGxpYnJhcnkoZ2dwbG90MikKICAgIHAgPC0gZ2dwbG90KGRpYW1vbmRzLCBhZXMoeCA9IGNhcmF0LCB5ID0gcHJpY2UpKQogICAgYGBgCgogICAgd2hpY2ggb2YgdGhlIGZvbGxvd2luZyBpcyB0aGUgYmVzdCBjaG9pY2UgdG8gYWRkcmVzcyB0aGUKICAgIG92ZXItcGxvdHRpbmcgaXNzdWU/CgogICAgYS4gYHAgKyBnZW9tX3BvaW50KClgCiAgICBiLiBgcCArIGdlb21fcG9pbnQoc2l6ZSA9IDAuNSlgCiAgICBjLiBgcCArIGdlb21fcG9pbnQoc2l6ZSA9IDAuMSwgYWxwaGEgPSAwLjEpYAogICAgZC4gYHAgKyBnZW9tX3BvaW50KHBvc2l0aW9uID0gImppdHRlciIpYAoKCjMuICBDb25zaWRlciB0aGUgY29kZQo8IS0tICMjIG5vbGludCBzdGFydCAtLT4KICAgIGBgYHtyLCBldmFsID0gRkFMU0V9CiAgICBsaWJyYXJ5KGRwbHlyKQogICAgbGlicmFyeShnZ3Bsb3QyKQogICAgZmlsdGVyKGRpYW1vbmRzLCBjYXJhdCA8IDMpICU+JQogICAgICAgIG11dGF0ZShjcm5kID0gcm91bmQoY2FyYXQpKSAlPiUKICAgICAgICBmaWx0ZXIoLS0tKSAlPiUKICAgICAgICBnZ3Bsb3QoYWVzKHggPSBwcmljZSwgeSA9IGNybmQsIGdyb3VwID0gY3JuZCkpICsKICAgICAgICBnZW9tX2RlbnNpdHlfcmlkZ2VzKCkKICAgIGBgYAo8IS0tIyMgbm9saW50IGVuZCAtLT4KCiAgICBXaGljaCByZXBsYWNlbWVudCBmb3IgYC0tLWAgcHJvZHVjZXMgYSBwbG90IHNob3dpbmcgdGhlCiAgICBjb25kaXRpb25hbCBkZW5zaXR5IG9mIGBwcmljZWAgZ2l2ZW4gYGNhcmF0YCBmb3IgYGNhcmF0YCB2YWx1ZXMKICAgIG5lYXIgb25lIGFuZCB0aGUgY29uZGl0aW9uYWwgZGVuc2l0eSBvZiBgcHJpY2VgIGdpdmVuIGBjYXJhdGAgZm9yCiAgICBgY2FyYXRgIHZhbHVlcyBuZWFyIHR3bz8KCiAgICBhLiBgYWJzKGNhcmF0IC0gY3JuZCkgPCAwLjFgCiAgICBiLiBgY2FyYXQgPCAwLjFgCiAgICBjLiBgYWJzKGNybmQpIDwgMWAKICAgIGQuIGBjYXJhdCArIGNybmQgPCAyYAo=