Go back to the Contents page.
Press Show to reveal the code chunks.
Go back to the About page.
This vignette compares different models for PeMS data. It uses pems_repl1_data.RData,
which is a file with a graph and data created in pems_repl1.html.
Let us set some global options for all code chunks in this
document.
# Create a clipboard button on the rendered HTML page
source(here::here("clipboard.R")); clipboard
# Set seed for reproducibility
set.seed(1938)
# Set global options for all code chunks
knitr::opts_chunk$set(
# Disable messages printed by R code chunks
message = FALSE,
# Disable warnings printed by R code chunks
warning = FALSE,
# Show R code within code chunks in output
echo = TRUE,
# Include both R code and its results in output
include = TRUE,
# Evaluate R code chunks
eval = FALSE,
# Enable caching of R code chunks for faster rendering
cache = FALSE,
# Align figures in the center of the output
fig.align = "center",
# Enable retina display for high-resolution figures
retina = 2,
# Show errors in the output instead of stopping rendering
error = TRUE,
# Do not collapse code and output into a single block
collapse = FALSE
)
# Start the figure counter
fig_count <- 0
# Define the captioner function
captioner <- function(caption) {
fig_count <<- fig_count + 1
paste0("Figure ", fig_count, ": ", caption)
}
# Define the function to truncate a number to two decimal places
truncate_to_two <- function(x) {
truncated <- floor(x * 100) / 100
sprintf("%.2f", truncated)
}
Below we load the necessary libraries.
# remotes::install_github("davidbolin/rspde", ref = "devel")
# remotes::install_github("davidbolin/metricgraph", ref = "devel")
library(INLA)
library(inlabru)
library(rSPDE)
library(MetricGraph)
library(dplyr)
library(plotly)
library(scales)
library(patchwork)
library(ggplot2)
library(cowplot)
library(ggpubr) #annotate_figure()
library(grid) #textGrob()
library(ggmap)
library(viridis)
library(OpenStreetMap)
library(tidyr)
library(sf)
library(here)
library(rmarkdown)
library(grateful) # Cite all loaded packages
Below we define function process_model_results() to
extract the summary of the parameters of the model.
process_model_results <- function(fit, model) {
fit_spde <- rspde.result(fit, "field", model, parameterization = "spde")
fit_matern <- rspde.result(fit, "field", model, parameterization = "matern")
df_for_plot_spde <- gg_df(fit_spde)
df_for_plot_matern <- gg_df(fit_matern)
param_spde <- summary(fit_spde)
param_matern <- summary(fit_matern)
param_fixed <- fit$summary.fixed[,1:6]
marginal.posterior.sigma_e = inla.tmarginal(
fun = function(x) exp(-x/2),
marginal = fit[["internal.marginals.hyperpar"]][["Log precision for the Gaussian observations"]])
quant.sigma_e <- capture.output({result_tmp <- inla.zmarginal(marginal.posterior.sigma_e)}, file = "/dev/null")
quant.sigma_e <- result_tmp
statistics.sigma_e <- unlist(quant.sigma_e)[c(1,2,3,5,7)]
mode.sigma_e <- inla.mmarginal(marginal.posterior.sigma_e)
allparams <- rbind(param_fixed, param_spde, param_matern, c(statistics.sigma_e, mode.sigma_e))
rownames(allparams)[nrow(allparams)] <- "sigma_e"
return(list(allparams = allparams, df_for_plot_spde = df_for_plot_spde, df_for_plot_matern = df_for_plot_matern))
}
We first load the data in the file pems_repl1_data.RData
and extract the data from the graph.
# Load the data
load(here("data_files/pems_repl1_data.RData"))
# Extract the data from the graph
data <- graph$get_data()
Below we extract the locations to compute the distance matrix. Using
this matrix, we define the groups for cross-validation. Observe that we
only compute the distance matrix for the first replicate and compute the
groups for it. As all replicates share the same locations, we can use
the groups structure from the first replicate for all replicates.
# Define the distance vector
distance = seq(from = 0, to = 10, by = 0.1)
# Define aux data frame to compute the distance matrix
aux <- data |> filter(repl == 1) |>
rename(distance_on_edge = .distance_on_edge, edge_number = .edge_number) |> # Rename the variables (because graph$compute_geodist_PtE() requires so)
as.data.frame() |> # Transform to a data frame (i.e., remove the metric_graph class)
dplyr::select(edge_number, distance_on_edge)
# Compute the distance matrix
distmatrix <- graph$compute_geodist_PtE(PtE = aux,
normalized = TRUE,
include_vertices = FALSE)
# Compute the groups for one replicate
GROUPS <- list()
for (j in 1:length(distance)) {
GROUPS[[j]] = list()
for (i in 1:nrow(aux)) {
GROUPS[[j]][[i]] <- which(as.vector(distmatrix[i, ]) <= distance[j])
}
}
# Compute the groups for all replicates, based on the groups of the first replicate
nrowY <- length(unique(data$repl))
ncolY <- nrow(filter(data, repl == 1))
NEW_GROUPS <- list()
for (j in 1:length(distance)) {
my_list <- GROUPS[[j]]
aux_list <- list()
for (i in 0:(nrowY - 1)) {
added_vectors <- lapply(my_list, function(vec) vec + i*ncolY)
aux_list <- c(aux_list, added_vectors)
}
NEW_GROUPS[[j]] <- aux_list
}
GROUPS <- NEW_GROUPS
save(GROUPS, file = here("data_files/groups_for_cv.RData"))
Below we plot to check that the groups are correctly defined.
point_of_interest <- 3 # Any number between 1 and nrow(data)
small_neighborhood <- GROUPS[[20]][[point_of_interest]]
large_neighborhood <- GROUPS[[50]][[point_of_interest]]
p <- graph$plot(vertex_size = 0) +
geom_point(data = data,
aes(x = .coord_x, y = .coord_y, color = "All points"),
size = 2) +
geom_point(data = data[large_neighborhood, ],
aes(x = .coord_x, y = .coord_y, color = "Large neighborhood"),
size = 1.5) +
geom_point(data = data[small_neighborhood, ],
aes(x = .coord_x, y = .coord_y, color = "Small neighborhood"),
size = 1) +
geom_point(data = data[point_of_interest, ],
aes(x = .coord_x, y = .coord_y, color = "Point of interest"),
size = 0.5) +
scale_color_manual(
values = c(
"All points" = "darkviolet",
"Large neighborhood" = "green",
"Small neighborhood" = "blue",
"Point of interest" = "red"
),
name = ""
) +
ggtitle("Groups") +
theme_minimal() +
theme(text = element_text(family = "Palatino"),
plot.title = element_text(hjust = 0.5)) +
coord_fixed()
p <- plotly::ggplotly(p)
save(p, file = here("data_files/plotly_groups_for_cv.RData"))
load(here("data_files/plotly_groups_for_cv.RData"))
p
Below we define the non-stationary parameters.
# Non-stationary parameters
B.tau = cbind(0, 1, 0, cov, 0)
B.kappa = cbind(0, 0, 1, 0, cov)
We now model the speed records \(y_i\) as 13 independent replicates
satisfying \[\begin{equation}
\label{applimodel}
y_i|u(\cdot)\sim N(\beta_0 + \beta_1\text{mean.cov}(s_i) +
u(s_i),\sigma_\epsilon^2),\;i = 1,\dots, 314,
\end{equation}\] where \(u(\cdot)\) is a Gaussian process on the
highway network. We consider stationary models with \(\kappa,\tau>0\) and non-stationary
models where \(\tau\) and \(\kappa\) are given by \[\begin{equation}
\label{logregressions}
\begin{aligned}
\log(\tau(s)) &= \theta_1 + \theta_3 \text{std.cov}(s),\\
\log(\kappa(s)) &= \theta_2 + \theta_4 \text{std.cov}(s).
\end{aligned}
\end{equation}\]
For each of the two classes of models, we consider three cases: when
(1) \(\nu\) is fixed to 0.5 or (2) 1.5,
and (3) \(\nu\) is estimated from the
data.
Below cov refers to \(\text{std.cov}(s)\) and
mean_value refers to \(\text{mean.cov}(s)\).
Case \(\nu = 0.5\)
We first consider the stationary model.
# Build the model
rspde_model_stat <- rspde.metric_graph(graph,
parameterization = "spde",
nu = 0.5)
# Prepare the data for fitting
data_rspde_bru_stat <- graph_data_rspde(rspde_model_stat,
repl = ".all",
bru = TRUE,
repl_col = "repl")
# Define the component
cmp_stat <- y ~ -1 +
Intercept(1) +
mean_value +
field(cbind(.edge_number, .distance_on_edge),
model = rspde_model_stat,
replicate = repl)
# Fit the model
rspde_fit_stat <-
bru(cmp_stat,
data = data_rspde_bru_stat[["data"]],
family = "gaussian",
options = list(verbose = FALSE)
)
output_from_models <-process_model_results(rspde_fit_stat, rspde_model_stat)
parameters_statistics <- output_from_models$allparams
mean_and_mode_params_statnu0.5 <- parameters_statistics[, c(1,6)]
rspde_fit_statnu0.5 <- rspde_fit_stat
We now fit the non-stationary model.
# Build the model
rspde_model_nonstat <- rspde.metric_graph(graph,
B.tau = B.tau,
B.kappa = B.kappa,
parameterization = "spde",
nu = 0.5)
# Prepare the data for fitting
data_rspde_bru_nonstat <- graph_data_rspde(rspde_model_nonstat,
repl = ".all",
bru = TRUE,
repl_col = "repl")
# Define the component
cmp_nonstat <- y ~ -1 +
Intercept(1) +
mean_value +
field(cbind(.edge_number, .distance_on_edge),
model = rspde_model_nonstat,
replicate = repl)
# Fit the model
rspde_fit_nonstat <-
bru(cmp_nonstat,
data = data_rspde_bru_nonstat[["data"]],
family = "gaussian",
options = list(verbose = FALSE)
)
output_from_models <- process_model_results(rspde_fit_nonstat, rspde_model_nonstat)
parameters_statistics <- output_from_models$allparams
mean_and_mode_params_nonstatnu0.5 <- parameters_statistics[, c(1,6)]
rspde_fit_nonstatnu0.5 <- rspde_fit_nonstat
Below we consider the prediction of replicate 14.
# Load the maps p12 and p13 from pems_repl1 vignette
load(here("data_files/maps_zoom12and13from_stadia.RData"))
# We consider replicate 14
replicate.number <- 1
# Prepare the data for prediction
data_prd_list_for_rep <- data_prd_list_mesh
data_prd_list_for_rep[["mean_value"]] <- cov_for_mean_to_plot
data_prd_list_for_rep[["repl"]] <- rep(replicate.number, nrow(data_prd_list_mesh))
# Perform the prediction
repl1_pred_full <- predict(rspde_fit_nonstat, newdata = data_prd_list_for_rep, ~Intercept + mean_value + field_eval(cbind(.edge_number, .distance_on_edge), replicate = repl))
repl1_pred_mean <- repl1_pred_full$mean
# Extract the Euclidean coordinates of the mesh points
xypoints <- graph$mesh$V
# Extract the range of the coordinates
x_left <- range(xypoints[,1])[1]
x_right <- range(xypoints[,1])[2]
y_bottom <- range(xypoints[,2])[1]
y_top <- range(xypoints[,2])[2]
# Define coordinates for small windows
coordx_lwr1 <- -121.878
coordx_upr1 <- -121.828
coordy_lwr1 <- 37.315
coordy_upr1 <- 37.365
coordx_lwr2<- -122.075
coordx_upr2 <- -122.025
coordy_lwr2 <- 37.365
coordy_upr2 <- 37.415
# Define the colors for the windows
lower_color <- "darkred" # Dark purple
upper_color <- "darkblue" # Yellow
# Plot the field on top of the map
f12 <- graph$plot_function(X = repl1_pred_mean,
vertex_size = 0,
p = p12,
edge_width = 0.5) +
theme_minimal() +
theme(text = element_text(family = "Palatino"),
axis.text = element_text(size = 8),
legend.text = element_text(size = 8),
plot.margin = unit(-0.4*c(1,0,1,1), "cm")
) +
labs(color = "", x = "", y = "") +
xlim(x_left, x_right) +
ylim(y_bottom, y_top)
# Plot the field on top of the map
f13 <- graph$plot_function(X = repl1_pred_mean,
vertex_size = 0,
p = p13,
edge_width = 0.5) +
theme_minimal() +
theme(text = element_text(family = "Palatino"),
axis.text = element_text(size = 8),
legend.text = element_text(size = 8),
plot.margin = unit(-0.4*c(1,0,1,1), "cm")
) +
labs(color = "", x = "", y = "") +
xlim(x_left, x_right) +
ylim(y_bottom, y_top)
g12 <- graph$plot(data = "y", group = 1, vertex_size = 0, p = f12, edge_width = 0, data_size = 1) +
labs(color = "", x = "", y = "") +
annotate("segment", x = coordx_lwr1, y = coordy_lwr1, xend = coordx_upr1, yend = coordy_lwr1,
linewidth = 0.4, color = upper_color) + # Bottom line
annotate("segment", x = coordx_lwr1, y = coordy_upr1, xend = coordx_upr1, yend = coordy_upr1,
linewidth = 0.4, color = upper_color) + # Top line
annotate("segment", x = coordx_lwr1, y = coordy_lwr1, xend = coordx_lwr1, yend = coordy_upr1,
linewidth = 0.4, color = upper_color) + # Left line
annotate("segment", x = coordx_upr1, y = coordy_lwr1, xend = coordx_upr1, yend = coordy_upr1,
linewidth = 0.4, color = upper_color) + # Right line
annotate("segment", x = coordx_lwr2, y = coordy_lwr2, xend = coordx_upr2, yend = coordy_lwr2,
linewidth = 0.4, color = lower_color) +
annotate("segment", x = coordx_lwr2, y = coordy_upr2, xend = coordx_upr2, yend = coordy_upr2,
linewidth = 0.4, color = lower_color) +
annotate("segment", x = coordx_lwr2, y = coordy_lwr2, xend = coordx_lwr2, yend = coordy_upr2,
linewidth = 0.4, color = lower_color) +
annotate("segment", x = coordx_upr2, y = coordy_lwr2, xend = coordx_upr2, yend = coordy_upr2,
linewidth = 0.4, color = lower_color)
g13 <- graph$plot(data = "y", group = 1, vertex_size = 0, p = f13, edge_width = 0, data_size = 1) +
labs(color = "", x = "", y = "") +
annotate("segment", x = coordx_lwr1, y = coordy_lwr1, xend = coordx_upr1, yend = coordy_lwr1,
linewidth = 0.4, color = upper_color) + # Bottom line
annotate("segment", x = coordx_lwr1, y = coordy_upr1, xend = coordx_upr1, yend = coordy_upr1,
linewidth = 0.4, color = upper_color) + # Top line
annotate("segment", x = coordx_lwr1, y = coordy_lwr1, xend = coordx_lwr1, yend = coordy_upr1,
linewidth = 0.4, color = upper_color) + # Left line
annotate("segment", x = coordx_upr1, y = coordy_lwr1, xend = coordx_upr1, yend = coordy_upr1,
linewidth = 0.4, color = upper_color) + # Right line
annotate("segment", x = coordx_lwr2, y = coordy_lwr2, xend = coordx_upr2, yend = coordy_lwr2,
linewidth = 0.4, color = lower_color) +
annotate("segment", x = coordx_lwr2, y = coordy_upr2, xend = coordx_upr2, yend = coordy_upr2,
linewidth = 0.4, color = lower_color) +
annotate("segment", x = coordx_lwr2, y = coordy_lwr2, xend = coordx_lwr2, yend = coordy_upr2,
linewidth = 0.4, color = lower_color) +
annotate("segment", x = coordx_upr2, y = coordy_lwr2, xend = coordx_upr2, yend = coordy_upr2,
linewidth = 0.4, color = lower_color)
r1 <- g13 + xlim(coordx_lwr1, coordx_upr1) +
ylim(coordy_lwr1, coordy_upr1) +
theme(legend.position = "none",
plot.margin = unit(-0.2*c(1,1,1,1), "cm"))
r2 <- g13 + xlim(coordx_lwr2, coordx_upr2) +
ylim(coordy_lwr2, coordy_upr2) +
theme(legend.position = "none",
plot.margin = unit(-0.2*c(1,1,1,1), "cm"))
# Arrange p2 and p3 horizontally
left_col <- plot_grid(r2, r1, labels = NULL, ncol = 1, nrow = 2, rel_heights = c(1,1))
# Combine the top row with p1 in a grid
combined_plot <- plot_grid(left_col, g12, labels = NULL, ncol = 2, rel_widths = c(1,2))
final_plot <- annotate_figure(combined_plot, left = textGrob("Latitude", rot = 90, vjust = 1, gp = gpar(cex = 0.8)),
bottom = textGrob("Longitude", vjust = -0.5, gp = gpar(cex = 0.8)))
ggsave(here("data_files/replicate14_3_with_prediction.png"), width = 11.2, height = 5.43, plot = final_plot, dpi = 500)
knitr::include_graphics(here("data_files/replicate14_3_with_prediction.png"))
Case \(\nu = 1.5\)
We first consider the stationary model.
# Build the model
rspde_model_stat <- rspde.metric_graph(graph,
parameterization = "spde",
nu = 1.5)
# Prepare the data for fitting
data_rspde_bru_stat <- graph_data_rspde(rspde_model_stat,
repl = ".all",
bru = TRUE,
repl_col = "repl")
# Define the component
cmp_stat <- y ~ -1 +
Intercept(1) +
mean_value +
field(cbind(.edge_number, .distance_on_edge),
model = rspde_model_stat,
replicate = repl)
# Fit the model
rspde_fit_stat <-
bru(cmp_stat,
data = data_rspde_bru_stat[["data"]],
family = "gaussian",
options = list(verbose = FALSE)
)
output_from_models <-process_model_results(rspde_fit_stat, rspde_model_stat)
parameters_statistics <- output_from_models$allparams
mean_and_mode_params_statnu1.5 <- parameters_statistics[, c(1,6)]
rspde_fit_statnu1.5 <- rspde_fit_stat
We now fit the non-stationary model.
# Build the model
rspde_model_nonstat <- rspde.metric_graph(graph,
B.tau = B.tau,
B.kappa = B.kappa,
parameterization = "spde",
nu = 1.5)
# Prepare the data for fitting
data_rspde_bru_nonstat <- graph_data_rspde(rspde_model_nonstat,
repl = ".all",
bru = TRUE,
repl_col = "repl")
# Define the component
cmp_nonstat <- y ~ -1 +
Intercept(1) +
mean_value +
field(cbind(.edge_number, .distance_on_edge),
model = rspde_model_nonstat,
replicate = repl)
# Fit the model
rspde_fit_nonstat <-
bru(cmp_nonstat,
data = data_rspde_bru_nonstat[["data"]],
family = "gaussian",
options = list(verbose = FALSE)
)
output_from_models <- process_model_results(rspde_fit_nonstat, rspde_model_nonstat)
parameters_statistics <- output_from_models$allparams
mean_and_mode_params_nonstatnu1.5 <- parameters_statistics[, c(1,6)]
rspde_fit_nonstatnu1.5 <- rspde_fit_nonstat
Case \(\nu\) estimated
We first consider the stationary model.
# Build the model
rspde_model_stat <- rspde.metric_graph(graph,
parameterization = "spde")
# Prepare the data for fitting
data_rspde_bru_stat <- graph_data_rspde(rspde_model_stat,
repl = ".all",
bru = TRUE,
repl_col = "repl")
# Define the component
cmp_stat <- y ~ -1 +
Intercept(1) +
mean_value +
field(cbind(.edge_number, .distance_on_edge),
model = rspde_model_stat,
replicate = repl)
# Fit the model
rspde_fit_stat <-
bru(cmp_stat,
data = data_rspde_bru_stat[["data"]],
family = "gaussian",
options = list(verbose = FALSE)
)
output_from_models <-process_model_results(rspde_fit_stat, rspde_model_stat)
parameters_statistics <- output_from_models$allparams
mean_and_mode_params_statnuest <- parameters_statistics[, c(1,6)]
rspde_fit_statnuest <- rspde_fit_stat
We now fit the non-stationary model.
# Build the model
rspde_model_nonstat <- rspde.metric_graph(graph,
B.tau = B.tau,
B.kappa = B.kappa,
parameterization = "spde")
# Prepare the data for fitting
data_rspde_bru_nonstat <- graph_data_rspde(rspde_model_nonstat,
repl = ".all",
bru = TRUE,
repl_col = "repl")
# Define the component
cmp_nonstat <- y ~ -1 +
Intercept(1) +
mean_value +
field(cbind(.edge_number, .distance_on_edge),
model = rspde_model_nonstat,
replicate = repl)
# Fit the model
rspde_fit_nonstat <-
bru(cmp_nonstat,
data = data_rspde_bru_nonstat[["data"]],
family = "gaussian",
options = list(verbose = FALSE)
)
output_from_models <- process_model_results(rspde_fit_nonstat, rspde_model_nonstat)
parameters_statistics <- output_from_models$allparams
mean_and_mode_params_nonstatnuest <- parameters_statistics[, c(1,6)]
rspde_fit_nonstatnuest <- rspde_fit_nonstat
Crossvalidation
study
Below we perform leave-group-out pseudo cross-validation (Liu, Van Niekerk, and Rue 2025) following the
strategy from (Bolin, Simas, and Xiong
2024a).
mse.statnu0.5 <- mse.nonstatnu0.5 <- ls.statnu0.5 <- ls.nonstatnu0.5 <- rep(0,length(distance))
mse.statnu1.5 <- mse.nonstatnu1.5 <- ls.statnu1.5 <- ls.nonstatnu1.5 <- rep(0,length(distance))
mse.statnuest <- mse.nonstatnuest <- ls.statnuest <- ls.nonstatnuest <- rep(0,length(distance))
# cross-validation for-loop
for (j in 1:length(distance)) {
print(j)
# cross-validation of the stationary model
cv.statnu0.5 <- inla.group.cv(rspde_fit_statnu0.5, groups = GROUPS[[j]])
cv.statnu1.5 <- inla.group.cv(rspde_fit_statnu1.5, groups = GROUPS[[j]])
cv.statnuest <- inla.group.cv(rspde_fit_statnuest, groups = GROUPS[[j]])
# cross-validation of the nonstationary model
cv.nonstatnu0.5 <- inla.group.cv(rspde_fit_nonstatnu0.5, groups = GROUPS[[j]])
cv.nonstatnu1.5 <- inla.group.cv(rspde_fit_nonstatnu1.5, groups = GROUPS[[j]])
cv.nonstatnuest <- inla.group.cv(rspde_fit_nonstatnuest, groups = GROUPS[[j]])
# obtain MSE and LS
mse.statnu0.5[j] <- mean((cv.statnu0.5$mean - data$y)^2)
mse.statnu1.5[j] <- mean((cv.statnu1.5$mean - data$y)^2)
mse.statnuest[j] <- mean((cv.statnuest$mean - data$y)^2)
mse.nonstatnu0.5[j] <- mean((cv.nonstatnu0.5$mean - data$y)^2)
mse.nonstatnu1.5[j] <- mean((cv.nonstatnu1.5$mean - data$y)^2)
mse.nonstatnuest[j] <- mean((cv.nonstatnuest$mean - data$y)^2)
ls.statnu0.5[j] <- mean(log(cv.statnu0.5$cv))
ls.statnu1.5[j] <- mean(log(cv.statnu1.5$cv))
ls.statnuest[j] <- mean(log(cv.statnuest$cv))
ls.nonstatnu0.5[j] <- mean(log(cv.nonstatnu0.5$cv))
ls.nonstatnu1.5[j] <- mean(log(cv.nonstatnu1.5$cv))
ls.nonstatnuest[j] <- mean(log(cv.nonstatnuest$cv))
}
# Create data frames
mse_df <- data.frame(
distance,
Statnu0.5 = mse.statnu0.5,
Nonstatnu0.5 = mse.nonstatnu0.5,
Statnu1.5 = mse.statnu1.5,
Nonstatnu1.5 = mse.nonstatnu1.5,
Statnuest = mse.statnuest,
Nonstatnuest = mse.nonstatnuest
)
ls_df <- data.frame(
distance,
Statnu0.5 = -ls.statnu0.5,
Nonstatnu0.5 = -ls.nonstatnu0.5,
Statnu1.5 = -ls.statnu1.5,
Nonstatnu1.5 = -ls.nonstatnu1.5,
Statnuest = -ls.statnuest,
Nonstatnuest = -ls.nonstatnuest
)
Save some of the objects to be used in the next vignette.
# Save the results
list_to_save <- list(mean_and_mode_params_statnu0.5 = mean_and_mode_params_statnu0.5,
mean_and_mode_params_nonstatnu0.5 = mean_and_mode_params_nonstatnu0.5,
mean_and_mode_params_statnu1.5 = mean_and_mode_params_statnu1.5,
mean_and_mode_params_nonstatnu1.5 = mean_and_mode_params_nonstatnu1.5,
mean_and_mode_params_statnuest = mean_and_mode_params_statnuest,
mean_and_mode_params_nonstatnuest = mean_and_mode_params_nonstatnuest,
mse_df = mse_df,
ls_df = ls_df,
B.tau = B.tau,
B.kappa = B.kappa,
graph = graph)
save(list_to_save, file = here("data_files/pems_repl2_results.RData"))
load(here::here("data_files/pems_repl2_results.RData"))
mean_and_mode_params_statnu0.5 <- list_to_save$mean_and_mode_params_statnu0.5
mean_and_mode_params_nonstatnu0.5 <- list_to_save$mean_and_mode_params_nonstatnu0.5
mean_and_mode_params_statnu1.5 <- list_to_save$mean_and_mode_params_statnu1.5
mean_and_mode_params_nonstatnu1.5 <- list_to_save$mean_and_mode_params_nonstatnu1.5
mean_and_mode_params_statnuest <- list_to_save$mean_and_mode_params_statnuest
mean_and_mode_params_nonstatnuest <- list_to_save$mean_and_mode_params_nonstatnuest
mse_df <- list_to_save$mse_df
ls_df <- list_to_save$ls_df
distance = seq(from = 0, to = 10, by = 0.1)
Below we plot the cross-validation results.
choose_index <- seq(2, nrow(mse_df), by = 3)
mse_df_red <- mse_df[choose_index,]
ls_df_red <- ls_df[choose_index,]
# Convert to long format
mse_long <- mse_df_red %>%
pivot_longer(cols = -distance, names_to = "nu", values_to = "MSE")
ls_long <- ls_df_red %>%
pivot_longer(cols = -distance, names_to = "nu", values_to = "LogScore")
# Update the label mappings with the new legend title
label_mapping <- c(
"Statnu0.5" = "1",
"Nonstatnu0.5" = "1",
"Statnu1.5" = "2",
"Nonstatnu1.5" = "2",
"Statnuest" = paste(round(mean_and_mode_params_statnuest[5,1]+0.5, 3), "(est)"),
"Nonstatnuest" = paste(round(mean_and_mode_params_nonstatnuest[7,1]+0.5, 3), "(est)")
)
# Define color and linetype mapping
color_mapping <- c(
"Statnu0.5" = "blue",
"Nonstatnu0.5" = "blue",
"Statnu1.5" = "black",
"Nonstatnu1.5" = "black",
"Statnuest" = "red",
"Nonstatnuest" = "red"
)
linetype_mapping <- c(
"Statnu0.5" = "dotdash",
"Nonstatnu0.5" = "solid",
"Statnu1.5" = "dotdash",
"Nonstatnu1.5" = "solid",
"Statnuest" = "dotdash",
"Nonstatnuest" = "solid"
)
# Plot MSE
mse_plot <- ggplot(mse_long, aes(x = distance, y = MSE, color = nu, linetype = nu)) +
geom_line(linewidth = 2) +
labs(y = "MSE", x = "$\\mbox{Geodesic distance } R\\mbox{ }(\\mbox{km})$") +
scale_color_manual(values = color_mapping, labels = label_mapping, name = "$\\alpha$") +
scale_linetype_manual(values = linetype_mapping, labels = label_mapping, name = "$\\alpha$") +
theme_minimal() +
theme(text = element_text(family = "Palatino"))
# Plot negative log-score
ls_plot <- ggplot(ls_long, aes(x = distance, y = LogScore, color = nu, linetype = nu)) +
geom_line(linewidth = 2) +
labs(y = "Negative Log-Score", x = "$\\mbox{Geodesic distance } R\\mbox{ }(\\mbox{km})$") +
scale_color_manual(values = color_mapping, labels = label_mapping, name = "$\\alpha$") +
scale_linetype_manual(values = linetype_mapping, labels = label_mapping, name = "$\\alpha$") +
theme_minimal() +
theme(text = element_text(family = "Palatino"))
# Combine plots with a shared legend at the top in a single line
combined_plot_pems <- mse_plot + ls_plot +
plot_layout(guides = 'collect') &
theme(legend.position = 'right') &
guides(color = guide_legend(ncol = 1), linetype = guide_legend(nrow = 1))
# Save combined plot
# ggsave(here("data_files/crossval_pems.png"), plot = combined_plot_pems, width = 9.22, height = 4.01, dpi = 500)
myggsave(combined_plot_pems, width = 9.22, height = 4.01)
knitr::include_graphics(here("data_files/tikzpic/combined_plot_pems.pdf"))
Estimated values
Estimated
parameters for the stationary model with \(\nu
= 0.5\)
mean_and_mode_params_statnu0.5
Estimated
parameters for the non-stationary model with \(\nu = 0.5\)
mean_and_mode_params_nonstatnu0.5
Estimated
parameters for the stationary model with \(\nu
= 1.5\)
mean_and_mode_params_statnu1.5
Estimated
parameters for the non-stationary model with \(\nu = 1.5\)
mean_and_mode_params_nonstatnu1.5
Estimated
parameters for the stationary model with \(\nu\) estimated
mean_and_mode_params_statnuest
Estimated
parameters for the non-stationary model with \(\nu\) estimated
mean_and_mode_params_nonstatnuest
Linear regression and
kNN regression
load(here::here("data_files/Y_mean.RData")) # was created in pems1.Rmd
Y_mu <- apply(Y_raw[1:13,], 2, mean)
load(here::here("data_files/pems_repl1_data.RData"))
df_isocov <- data.frame(y = Y_mu,
edge_number = PtE_raw[,1],
distance_on_edge = PtE_raw[,2])
graph$add_observations(data = df_isocov,
edge_number = "edge_number",
distance_on_edge = "distance_on_edge",
data_coords = "PtE",
normalized = TRUE,
clear_obs = TRUE)
# graph$check_euclidean()
# graph
res_exp <- graph_lme(y ~ 1, graph = graph, model = list(type = "isoCov"))
summary(res_exp)
u_est_exp_mean <- predict(res_exp, df_isocov, normalized = TRUE)$mean
plot(Y_mu, type = "l", col = "darkblue")
lines(u_est_exp_mean, col = "darkred")
Y2part <- Y_raw[14:26,]
DF_ISOCOV <- lapply(1:nrow(Y2part), function(i){data.frame(y = Y2part[i,],
mean_value = u_est_exp_mean,
edge_number = PtE_raw[,1],
distance_on_edge = PtE_raw[,2],
repl = i)})
DF_ISOCOV <- do.call(rbind, DF_ISOCOV)
graph$add_observations(data = DF_ISOCOV,
edge_number = "edge_number",
distance_on_edge = "distance_on_edge",
data_coords = "PtE",
normalized = TRUE,
clear_obs = TRUE,
group = "repl")
RES_EXP <- graph_lme(y ~ mean_value, graph = graph, which_repl = 1:13, model = list(type = "isoCov"))
summary(RES_EXP)
POST <- posterior_crossvalidation_loo(object = RES_EXP, which_repl = 1:13)
MSE_ISOCOV <- POST$scores$rmse^2
load(here::here("data_files/pems_repl1_data.RData"))
data <- graph$get_data()
rspde_model_stat <- rspde.metric_graph(graph,
parameterization = "spde",
nu = 0.5)
# Prepare the data for fitting
data_rspde_bru_stat <- graph_data_rspde(rspde_model_stat,
repl = ".all",
bru = TRUE,
repl_col = "repl")
# Define the component
cmp_stat <- y ~ -1 +
Intercept(1) +
mean_value +
field(cbind(.edge_number, .distance_on_edge),
model = rspde_model_stat,
replicate = repl)
# Fit the model
rspde_fit_stat <-
bru(cmp_stat,
data = data_rspde_bru_stat[["data"]],
family = "gaussian",
options = list(verbose = FALSE)
)
load(here::here("data_files/groups_for_cv.RData"))
my_group <- GROUPS[[1]]
cv.statnu0.5 <- inla.group.cv(rspde_fit_stat, groups = my_group)$mean
new_mse <- mean((cv.statnu0.5 - data$y)^2)
# Load the data
load(here::here("data_files/Y_mean.RData")) # was created in pems1.Rmd
Y_mu <- apply(Y_raw[1:13,], 2, mean)
data_simple <- data.frame(y = c(t(Y_raw[14:26,])),
mean_value = rep(Y_mu, times = 13),
repl = rep(1:13, each = 314))
data_simple$repl <- factor(data_simple$repl)
library(lme4)
n <- nrow(data_simple)
pred_loocv <- numeric(n)
#pred_loocv_repl <- numeric(n)
for(i in 1:n){
train_data <- data_simple[-i, ]
test_data <- data_simple[i, , drop = FALSE]
model <- lm(y ~ mean_value, data = train_data)
pred_loocv[i] <- predict(model, newdata = test_data)
# model <- lmer(y ~ mean_value + (1 | repl), data = train_data)
# pred_loocv_repl[i] <- predict(model, newdata = test_data, re.form = NULL)
print(paste("Processed observation", i, "out of", n))
}
mse_loocv_lm <- mean((data_simple$y - pred_loocv)^2)
mse_loocv_lm
# mse_loocv_lmer <- mean((data_simple$y - pred_loocv_repl)^2)
# mse_loocv_lmer
# Load the data
load(here::here("data_files/pems_repl1_data.RData"))
# Extract the data from the graph
initial_data <- graph$get_data()
data <- initial_data |> as.data.frame() |> select(y, mean_value, repl)
n <- length(data |> filter(repl == 1) |> pull(y))
data$repl <- factor(rep(1:13, each = n))
library(FNN)
aux <- initial_data |> filter(repl == 1) |>
rename(distance_on_edge = .distance_on_edge,
edge_number = .edge_number) |>
as.data.frame() |>
dplyr::select(edge_number,
distance_on_edge)
D <- graph$compute_geodist_PtE(
PtE = aux,
normalized = TRUE,
include_vertices = FALSE)
# -----------------------------------------------------------
# 0. Setup
# -----------------------------------------------------------
n_loc <- 314
n_repl <- 13
n_obs <- nrow(data) # 4082
# Location index for each observation in data
# (assumes data is ordered: all 314 locations for repl 1, then repl 2, etc.)
loc_idx <- rep(1:n_loc, times = n_repl)
# -----------------------------------------------------------
# 1. Build normalized distance matrices
# -----------------------------------------------------------
# Spatial: expand 314x314 -> 4082x4082 using location indices
D_space_full <- D[loc_idx, loc_idx]
D_space_norm <- D_space_full / max(D_space_full)
# Covariate: pairwise distances on mean_value across all 4082 observations
D_cov_full <- as.matrix(dist(scale(data$mean_value)))
D_cov_norm <- D_cov_full / max(D_cov_full)
# -----------------------------------------------------------
# 2. Combined distance (precomputed, outside all loops)
# -----------------------------------------------------------
alpha <- 0 # 0 = pure spatial, 1 = pure covariate
D_combined <- alpha * D_cov_norm + (1 - alpha) * D_space_norm
# -----------------------------------------------------------
# 3. LOO cross-validation over k
# -----------------------------------------------------------
k_values <- 1:30
loo_mse <- sapply(k_values, function(k) {
pred <- numeric(n_obs)
for (i in 1:n_obs) {
neighbors <- order(D_combined[i, -i])[1:k]
pred[i] <- mean(data$y[-i][neighbors])
}
mean((data$y - pred)^2)
})
# -----------------------------------------------------------
# 4. Results
# -----------------------------------------------------------
best_k <- k_values[which.min(loo_mse)]
best_KNN_mse <- loo_mse[which.min(loo_mse)]
# Another approach
#
# k_values <- 1:30
#
# loo_mse <- sapply(k_values, function(k) {
# n <- nrow(data)
# pred <- numeric(n)
#
# for (i in 1:n) {
# pred[i] <- knn.reg(
# train = matrix(data$mean_value[-i]),
# y = data$y[-i],
# test = matrix(data$mean_value[i]),
# k = k
# )$pred
# }
#
# mean((data$y - pred)^2)
# })
#
# plot(k_values, loo_mse, type = "b", xlab = "k", ylab = "LOO RMSE")
#
# best_k <- k_values[which.min(loo_mse)]
# best_knn_mse <- loo_mse[which.min(loo_mse)]
save(mse_loocv_lm, best_KNN_mse, MSE_ISOCOV, file = here("data_files/simple_linear_regression_results.RData"))
Below we show the MSE results for the simple linear regression
mse_loocv_lm and the kNN regression
best_KNN_mse.
load(here("data_files/simple_linear_regression_results.RData"))
mse_df[1,-1]
data.frame(LM = mse_loocv_lm,
kNNdistMAT = best_KNN_mse,
MSE_ISOCOV = MSE_ISOCOV)
References
grateful::cite_packages(output = "paragraph", out.dir = ".")
We used R version 4.5.2 (R Core Team
2025) and the following R packages: cowplot v. 1.2.0 (Wilke 2025), digest v. 0.6.37 (Eddelbuettel 2024), ggmap v. 4.0.2 (Kahle and Wickham 2013), ggpubr v. 0.6.3 (Kassambara 2026), ggtext v. 0.1.2 (Wilke and Wiernik 2022), glue v. 1.8.1 (Hester and Bryan 2026), here v. 1.0.1 (Müller 2020), htmltools v. 0.5.8.1 (Cheng et al. 2024), INLA v. 26.5.10 (Rue, Martino, and Chopin 2009; Lindgren, Rue, and
Lindström 2011; Martins et al. 2013; Lindgren and Rue 2015; De Coninck
et al. 2016; Rue et al. 2017; Verbosio et al. 2017; Bakka et al. 2018;
Kourounis, Fuchs, and Schenk 2018), inlabru v. 2.14.1.9003 (Yuan et al. 2017; Bachl et al. 2019), knitr v.
1.50 (Xie 2014, 2015, 2025), latex2exp v.
0.9.8 (Meschiari 2026), Matrix v. 1.7.3
(Bates, Maechler, and Jagan 2025),
MetricGraph v. 1.6.0.9000 (Bolin, Simas, and
Wallin 2023a, 2023b, 2024, 2025; Bolin et al. 2024),
OpenStreetMap v. 0.4.1 (Fellows and Stotz
2025), patchwork v. 1.3.1 (Pedersen
2025), plotly v. 4.11.0 (Sievert
2020), plotrix v. 3.8.14 (J 2006),
renv v. 1.1.7 (Ushey and Wickham 2026),
reshape2 v. 1.4.4 (Wickham 2007),
reticulate v. 1.44.1 (Ushey, Allaire, and Tang
2025), rmarkdown v. 2.30 (Xie, Allaire,
and Grolemund 2018; Xie, Dervieux, and Riederer 2020; Allaire et al.
2025), rSPDE v. 2.5.2.9000 (Bolin and
Kirchner 2020; Bolin and Simas 2023; Bolin, Simas, and Xiong
2024b), scales v. 1.4.0 (Wickham,
Pedersen, and Seidel 2025), sf v. 1.1.1 (E. Pebesma 2018; E. Pebesma and Bivand 2023),
slackr v. 3.4.0 (Kaye et al. 2025), sp v.
2.2.1 (E. J. Pebesma and Bivand 2005; Bivand,
Pebesma, and Gomez-Rubio 2013), tidyverse v. 2.0.0 (Wickham et al. 2019), tikzDevice v. 0.12.6
(Sharpsteen and Bracken 2023), viridis v.
0.6.5 (Garnier et al. 2024), xaringanExtra
v. 0.8.0 (Aden-Buie and Warkentin
2024).
Allaire, JJ, Yihui Xie, Christophe Dervieux, Jonathan McPherson, Javier
Luraschi, Kevin Ushey, Aron Atkins, et al. 2025.
rmarkdown: Dynamic Documents for r.
https://github.com/rstudio/rmarkdown.
Bachl, Fabian E., Finn Lindgren, David L. Borchers, and Janine B.
Illian. 2019.
“inlabru: An
R Package for Bayesian Spatial Modelling from
Ecological Survey Data.” Methods in Ecology and
Evolution 10: 760–66.
https://doi.org/10.1111/2041-210X.13168.
Bakka, Haakon, Håvard Rue, Geir-Arne Fuglstad, Andrea I. Riebler, David
Bolin, Janine Illian, Elias Krainski, Daniel P. Simpson, and Finn K.
Lindgren. 2018.
“Spatial Modelling with INLA:
A Review.” WIRES (Invited Extended Review)
xx (Feb): xx–.
http://arxiv.org/abs/1802.06350.
Bates, Douglas, Martin Maechler, and Mikael Jagan. 2025.
Matrix: Sparse and Dense Matrix Classes and
Methods.
https://doi.org/10.32614/CRAN.package.Matrix.
Bivand, Roger S., Edzer Pebesma, and Virgilio Gomez-Rubio. 2013.
Applied Spatial Data Analysis with R, Second
Edition. Springer, NY.
https://asdar-book.org/.
Bolin, David, and Kristin Kirchner. 2020.
“The Rational
SPDE Approach for Gaussian Random Fields with
General Smoothness.” Journal of Computational and Graphical
Statistics 29 (2): 274–85.
https://doi.org/10.1080/10618600.2019.1665537.
Bolin, David, Mihály Kovács, Vivek Kumar, and Alexandre B. Simas. 2024.
“Regularity and Numerical Approximation of Fractional Elliptic
Differential Equations on Compact Metric Graphs.” Mathematics
of Computation 93 (349): 2439–72.
https://doi.org/10.1090/mcom/3929.
Bolin, David, and Alexandre B. Simas. 2023.
rSPDE: Rational Approximations of Fractional
Stochastic Partial Differential Equations.
https://CRAN.R-project.org/package=rSPDE.
Bolin, David, Alexandre B. Simas, and Jonas Wallin. 2023a.
MetricGraph: Random Fields on Metric Graphs.
https://CRAN.R-project.org/package=MetricGraph.
———. 2023b.
“Statistical Inference for Gaussian Whittle-Matérn
Fields on Metric Graphs.” arXiv Preprint
arXiv:2304.10372.
https://doi.org/10.48550/arXiv.2304.10372.
———. 2024.
“Gaussian Whittle-Matérn Fields on Metric
Graphs.” Bernoulli 30 (2): 1611–39.
https://doi.org/10.3150/23-BEJ1647.
———. 2025.
“Markov Properties of Gaussian Random Fields on Compact
Metric Graphs.” Bernoulli.
https://doi.org/10.48550/arXiv.2304.03190.
Bolin, David, Alexandre B. Simas, and Zhen Xiong. 2024a.
“Covariance-Based Rational Approximations of Fractional
SPDEs for Computationally Efficient Bayesian
Inference.” J. Comput. Graph. Statist. 33 (1): 64–74.
———. 2024b.
“Covariance-Based Rational Approximations of
Fractional SPDEs for Computationally Efficient Bayesian
Inference.” Journal of Computational and Graphical
Statistics 33 (1): 64–74.
https://doi.org/10.1080/10618600.2023.2231051.
De Coninck, Arne, Bernard De Baets, Drosos Kourounis, Fabio Verbosio,
Olaf Schenk, Steven Maenhout, and Jan Fostier. 2016.
“Needles: Toward Large-Scale Genomic Prediction with
Marker-by-Environment Interaction.” Genetics 203 (1):
543–55.
https://doi.org/10.1534/genetics.115.179887.
Eddelbuettel, Dirk. 2024.
digest: Create
Compact Hash Digests of r Objects.
https://github.com/eddelbuettel/digest.
Fellows, Ian, and Jan-Peter Stotz. 2025.
OpenStreetMap:
Access to Open Street Map Raster Images.
https://doi.org/10.32614/CRAN.package.OpenStreetMap.
Garnier, Simon, Ross, Noam, Rudis, Robert, Camargo, et al. 2024.
viridis(Lite) - Colorblind-Friendly
Color Maps for r.
https://doi.org/10.5281/zenodo.4679423.
Hester, Jim, and Jennifer Bryan. 2026.
glue: Interpreted String Literals.
https://doi.org/10.32614/CRAN.package.glue.
J, Lemon. 2006. “Plotrix: A Package in the Red Light
District of r.” R-News 6 (4): 8–12.
Kahle, David, and Hadley Wickham. 2013.
“ggmap: Spatial Visualization with Ggplot2.”
The R Journal 5 (1): 144–61.
https://journal.r-project.org/archive/2013-1/kahle-wickham.pdf.
Kassambara, Alboukadel. 2026.
ggpubr:
“ggplot2” Based Publication
Ready Plots.
https://doi.org/10.32614/CRAN.package.ggpubr.
Kaye, Matt, Bob Rudis, Andrie de Vries, and Jonathan Sidi. 2025.
slackr: Send Messages, Images, r Objects
and Files to “Slack” Channels/Users.
https://github.com/mrkaye97/slackr.
Kourounis, D., A. Fuchs, and O. Schenk. 2018.
“Towards the Next
Generation of Multiperiod Optimal Power Flow Solvers.” IEEE
Transactions on Power Systems PP (99): 1–10.
https://doi.org/10.1109/TPWRS.2017.2789187.
Lindgren, Finn, and Håvard Rue. 2015.
“Bayesian Spatial Modelling
with R-INLA.” Journal of
Statistical Software 63 (19): 1–25.
http://www.jstatsoft.org/v63/i19/.
Lindgren, Finn, Håvard Rue, and Johan Lindström. 2011. “An
Explicit Link Between Gaussian Fields and
Gaussian Markov Random Fields: The Stochastic
Partial Differential Equation Approach (with Discussion).”
Journal of the Royal Statistical Society B 73 (4): 423–98.
Liu, Zhedong, Janet Van Niekerk, and Håvard Rue. 2025.
“Leave-Group-Out Cross-Validation for Latent Gaussian
Models.” SORT, 121–46.
Martins, Thiago G., Daniel Simpson, Finn Lindgren, and Håvard Rue. 2013.
“Bayesian Computing with INLA: New
Features.” Computational Statistics and Data Analysis
67: 68–83.
Meschiari, Stefano. 2026.
Latex2exp: Use LaTeX Expressions in
Plots.
https://doi.org/10.32614/CRAN.package.latex2exp.
Müller, Kirill. 2020.
here: A Simpler
Way to Find Your Files.
https://doi.org/10.32614/CRAN.package.here.
Pebesma, Edzer. 2018.
“Simple Features for R:
Standardized Support for Spatial Vector Data.”
The R Journal 10 (1): 439–46.
https://doi.org/10.32614/RJ-2018-009.
Pebesma, Edzer J., and Roger Bivand. 2005.
“Classes and Methods
for Spatial Data in R.” R News 5 (2): 9–13.
https://CRAN.R-project.org/doc/Rnews/.
Pebesma, Edzer, and Roger Bivand. 2023.
Spatial
Data Science: With applications in R.
Chapman and
Hall/CRC.
https://doi.org/10.1201/9780429459016.
Pedersen, Thomas Lin. 2025.
patchwork:
The Composer of Plots.
https://doi.org/10.32614/CRAN.package.patchwork.
R Core Team. 2025.
R: A Language and Environment for
Statistical Computing. Vienna, Austria: R Foundation for
Statistical Computing.
https://www.R-project.org/.
Rue, Håvard, Sara Martino, and Nicholas Chopin. 2009. “Approximate
Bayesian Inference for Latent Gaussian Models
Using Integrated Nested Laplace Approximations (with
Discussion).” Journal of the Royal Statistical Society B
71: 319–92.
Rue, Håvard, Andrea I. Riebler, Sigrunn H. Sørbye, Janine B. Illian,
Daniel P. Simpson, and Finn K. Lindgren. 2017.
“Bayesian Computing
with INLA: A Review.” Annual
Reviews of Statistics and Its Applications 4 (March): 395–421.
http://arxiv.org/abs/1604.00860.
Sharpsteen, Charlie, and Cameron Bracken. 2023.
tikzDevice: R Graphics Output in LaTeX
Format.
https://doi.org/10.32614/CRAN.package.tikzDevice.
Sievert, Carson. 2020.
Interactive Web-Based Data Visualization with
r, Plotly, and Shiny. Chapman; Hall/CRC.
https://plotly-r.com.
Ushey, Kevin, JJ Allaire, and Yuan Tang. 2025.
reticulate: Interface to
“Python”.
https://doi.org/10.32614/CRAN.package.reticulate.
Ushey, Kevin, and Hadley Wickham. 2026.
renv: Project Environments.
https://doi.org/10.32614/CRAN.package.renv.
Verbosio, Fabio, Arne De Coninck, Drosos Kourounis, and Olaf Schenk.
2017.
“Enhancing the Scalability of Selected Inversion
Factorization Algorithms in Genomic Prediction.” Journal of
Computational Science 22 (Supplement C): 99–108.
https://doi.org/10.1016/j.jocs.2017.08.013.
Wickham, Hadley. 2007.
“Reshaping Data with the reshape Package.” Journal of
Statistical Software 21 (12): 1–20.
http://www.jstatsoft.org/v21/i12/.
Wickham, Hadley, Mara Averick, Jennifer Bryan, Winston Chang, Lucy
D’Agostino McGowan, Romain François, Garrett Grolemund, et al. 2019.
“Welcome to the tidyverse.”
Journal of Open Source Software 4 (43): 1686.
https://doi.org/10.21105/joss.01686.
Wickham, Hadley, Thomas Lin Pedersen, and Dana Seidel. 2025.
scales: Scale Functions for Visualization.
https://scales.r-lib.org.
Wilke, Claus O. 2025.
cowplot:
Streamlined Plot Theme and Plot Annotations for “ggplot2”.
https://doi.org/10.32614/CRAN.package.cowplot.
Wilke, Claus O., and Brenton M. Wiernik. 2022.
ggtext: Improved Text Rendering Support for
“ggplot2”.
https://doi.org/10.32614/CRAN.package.ggtext.
Xie, Yihui. 2014. “knitr: A
Comprehensive Tool for Reproducible Research in R.”
In Implementing Reproducible Computational Research, edited by
Victoria Stodden, Friedrich Leisch, and Roger D. Peng. Chapman;
Hall/CRC.
———. 2015.
Dynamic Documents with R and Knitr. 2nd
ed. Boca Raton, Florida: Chapman; Hall/CRC.
https://yihui.org/knitr/.
———. 2025.
knitr: A General-Purpose
Package for Dynamic Report Generation in R.
https://yihui.org/knitr/.
Xie, Yihui, J. J. Allaire, and Garrett Grolemund. 2018.
R Markdown:
The Definitive Guide. Boca Raton, Florida: Chapman; Hall/CRC.
https://bookdown.org/yihui/rmarkdown.
Xie, Yihui, Christophe Dervieux, and Emily Riederer. 2020.
R
Markdown Cookbook. Boca Raton, Florida: Chapman; Hall/CRC.
https://bookdown.org/yihui/rmarkdown-cookbook.
Yuan, Yuan, Bachl, Fabian E., Lindgren, Finn, Borchers, et al. 2017.
“Point Process Models for Spatio-Temporal Distance Sampling Data
from a Large-Scale Survey of Blue Whales.” Ann. Appl.
Stat. 11 (4): 2270–97.
https://doi.org/10.1214/17-AOAS1078.
LS0tCnRpdGxlOiAiUGVNUyAyLCBtb2RlbGluZyIKZGF0ZTogIkxhc3QgbW9kaWZpZWQ6IGByIGZvcm1hdChTeXMudGltZSgpLCAnJWQtJW0tJVkuJylgIgpvdXRwdXQ6CiAgaHRtbF9kb2N1bWVudDoKICAgIG1hdGhqYXg6ICJodHRwczovL2Nkbi5qc2RlbGl2ci5uZXQvbnBtL21hdGhqYXhAMy9lczUvdGV4LW1tbC1jaHRtbC5qcyIKICAgIGhpZ2hsaWdodDogcHlnbWVudHMKICAgIHRoZW1lOiBmbGF0bHkKICAgIGNvZGVfZm9sZGluZzogaGlkZSAjIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUiIHRvIGhpZGUgY29kZSBhbmQgYWRkIGEgYnV0dG9uIHRvIHNob3cgaXQKICAgIGRmX3ByaW50OiBwYWdlZAogICAgdG9jOiB0cnVlCiAgICB0b2NfZmxvYXQ6CiAgICAgIGNvbGxhcHNlZDogdHJ1ZQogICAgICBzbW9vdGhfc2Nyb2xsOiB0cnVlCiAgICBudW1iZXJfc2VjdGlvbnM6IHRydWUKICAgIGZpZ19jYXB0aW9uOiB0cnVlCiAgICBjb2RlX2Rvd25sb2FkOiB0cnVlCiAgICBjc3M6IHZpc3VhbC5jc3MKYWx3YXlzX2FsbG93X2h0bWw6IHRydWUKYmlibGlvZ3JhcGh5OiAKICAtIHJlZmVyZW5jZXMuYmliCiAgLSBncmF0ZWZ1bC1yZWZzLmJpYgpoZWFkZXItaW5jbHVkZXM6CiAgLSBcbmV3Y29tbWFuZHtcYXJ9e1xtYXRoYmJ7Un19CiAgLSBcbmV3Y29tbWFuZHtcbGxhdn1bMV17XGxlZnRceyMxXHJpZ2h0XH19CiAgLSBcbmV3Y29tbWFuZHtccGFyZX1bMV17XGxlZnQoIzFccmlnaHQpfQogIC0gXG5ld2NvbW1hbmR7XE5jYWx9e1xtYXRoY2Fse059fQogIC0gXG5ld2NvbW1hbmR7XFZjYWx9e1xtYXRoY2Fse1Z9fQogIC0gXG5ld2NvbW1hbmR7XEVjYWx9e1xtYXRoY2Fse0V9fQogIC0gXG5ld2NvbW1hbmR7XFdjYWx9e1xtYXRoY2Fse1d9fQogIC0gXG5ld2NvbW1hbmR7XGFsbW9zdGV2ZXJ5d2hlcmV9e1xtYXRocm17YS5lLn1cO30KLS0tCgpHbyBiYWNrIHRvIHRoZSBbQ29udGVudHNdKGFib3V0Lmh0bWwpIHBhZ2UuCgo8ZGl2IHN0eWxlPSJjb2xvcjogIzJjM2U1MDsgdGV4dC1hbGlnbjogcmlnaHQ7Ij4KKioqKioqKiogIAo8c3Ryb25nPlByZXNzIFNob3cgdG8gcmV2ZWFsIHRoZSBjb2RlIGNodW5rcy48L3N0cm9uZz4gIAoKKioqKioqKioKPC9kaXY+CgoKCkdvIGJhY2sgdG8gdGhlIFtBYm91dCBwYWdlXShhYm91dC5odG1sKS4gCgoKVGhpcyB2aWduZXR0ZSBjb21wYXJlcyBkaWZmZXJlbnQgbW9kZWxzIGZvciBQZU1TIGRhdGEuIEl0IHVzZXMgWyoqYHBlbXNfcmVwbDFfZGF0YS5SRGF0YWAqKl0oaHR0cHM6Ly9naXRodWIuY29tL2xlbmlucmFmYWVscmllcmFzZWd1cmEvR1dNRi9ibG9iL21haW4vZGF0YV9maWxlcy9wZW1zX3JlcGwxX2RhdGEuUkRhdGEpLCB3aGljaCBpcyBhIGZpbGUgd2l0aCBhIGdyYXBoIGFuZCBkYXRhIGNyZWF0ZWQgaW4gW3BlbXNfcmVwbDEuaHRtbF0ocGVtc19yZXBsMS5odG1sKS4KCkxldCB1cyBzZXQgc29tZSBnbG9iYWwgb3B0aW9ucyBmb3IgYWxsIGNvZGUgY2h1bmtzIGluIHRoaXMgZG9jdW1lbnQuCgoKYGBge3J9CiMgQ3JlYXRlIGEgY2xpcGJvYXJkIGJ1dHRvbiBvbiB0aGUgcmVuZGVyZWQgSFRNTCBwYWdlCnNvdXJjZShoZXJlOjpoZXJlKCJjbGlwYm9hcmQuUiIpKTsgY2xpcGJvYXJkCiMgU2V0IHNlZWQgZm9yIHJlcHJvZHVjaWJpbGl0eQpzZXQuc2VlZCgxOTM4KSAKIyBTZXQgZ2xvYmFsIG9wdGlvbnMgZm9yIGFsbCBjb2RlIGNodW5rcwprbml0cjo6b3B0c19jaHVuayRzZXQoCiAgIyBEaXNhYmxlIG1lc3NhZ2VzIHByaW50ZWQgYnkgUiBjb2RlIGNodW5rcwogIG1lc3NhZ2UgPSBGQUxTRSwgICAgCiAgIyBEaXNhYmxlIHdhcm5pbmdzIHByaW50ZWQgYnkgUiBjb2RlIGNodW5rcwogIHdhcm5pbmcgPSBGQUxTRSwgICAgCiAgIyBTaG93IFIgY29kZSB3aXRoaW4gY29kZSBjaHVua3MgaW4gb3V0cHV0CiAgZWNobyA9IFRSVUUsICAgICAgICAKICAjIEluY2x1ZGUgYm90aCBSIGNvZGUgYW5kIGl0cyByZXN1bHRzIGluIG91dHB1dAogIGluY2x1ZGUgPSBUUlVFLCAgICAgCiAgIyBFdmFsdWF0ZSBSIGNvZGUgY2h1bmtzCiAgZXZhbCA9IEZBTFNFLCAgICAgICAKICAjIEVuYWJsZSBjYWNoaW5nIG9mIFIgY29kZSBjaHVua3MgZm9yIGZhc3RlciByZW5kZXJpbmcKICBjYWNoZSA9IEZBTFNFLCAgICAgIAogICMgQWxpZ24gZmlndXJlcyBpbiB0aGUgY2VudGVyIG9mIHRoZSBvdXRwdXQKICBmaWcuYWxpZ24gPSAiY2VudGVyIiwKICAjIEVuYWJsZSByZXRpbmEgZGlzcGxheSBmb3IgaGlnaC1yZXNvbHV0aW9uIGZpZ3VyZXMKICByZXRpbmEgPSAyLAogICMgU2hvdyBlcnJvcnMgaW4gdGhlIG91dHB1dCBpbnN0ZWFkIG9mIHN0b3BwaW5nIHJlbmRlcmluZwogIGVycm9yID0gVFJVRSwKICAjIERvIG5vdCBjb2xsYXBzZSBjb2RlIGFuZCBvdXRwdXQgaW50byBhIHNpbmdsZSBibG9jawogIGNvbGxhcHNlID0gRkFMU0UKKQojIFN0YXJ0IHRoZSBmaWd1cmUgY291bnRlcgpmaWdfY291bnQgPC0gMAojIERlZmluZSB0aGUgY2FwdGlvbmVyIGZ1bmN0aW9uCmNhcHRpb25lciA8LSBmdW5jdGlvbihjYXB0aW9uKSB7CiAgZmlnX2NvdW50IDw8LSBmaWdfY291bnQgKyAxCiAgcGFzdGUwKCJGaWd1cmUgIiwgZmlnX2NvdW50LCAiOiAiLCBjYXB0aW9uKQp9CgoKIyBEZWZpbmUgdGhlIGZ1bmN0aW9uIHRvIHRydW5jYXRlIGEgbnVtYmVyIHRvIHR3byBkZWNpbWFsIHBsYWNlcwp0cnVuY2F0ZV90b190d28gPC0gZnVuY3Rpb24oeCkgewogIHRydW5jYXRlZCA8LSBmbG9vcih4ICogMTAwKSAvIDEwMAogIHNwcmludGYoIiUuMmYiLCB0cnVuY2F0ZWQpCn0KYGBgCgpCZWxvdyB3ZSBsb2FkIHRoZSBuZWNlc3NhcnkgbGlicmFyaWVzLgoKYGBge3IsIGV2YWwgPSBUUlVFfQojIHJlbW90ZXM6Omluc3RhbGxfZ2l0aHViKCJkYXZpZGJvbGluL3JzcGRlIiwgcmVmID0gImRldmVsIikKIyByZW1vdGVzOjppbnN0YWxsX2dpdGh1YigiZGF2aWRib2xpbi9tZXRyaWNncmFwaCIsIHJlZiA9ICJkZXZlbCIpCmxpYnJhcnkoSU5MQSkKbGlicmFyeShpbmxhYnJ1KQpsaWJyYXJ5KHJTUERFKQpsaWJyYXJ5KE1ldHJpY0dyYXBoKQoKbGlicmFyeShkcGx5cikKbGlicmFyeShwbG90bHkpCmxpYnJhcnkoc2NhbGVzKQpsaWJyYXJ5KHBhdGNod29yaykKCmxpYnJhcnkoZ2dwbG90MikKbGlicmFyeShjb3dwbG90KQpsaWJyYXJ5KGdncHVicikgI2Fubm90YXRlX2ZpZ3VyZSgpCmxpYnJhcnkoZ3JpZCkgI3RleHRHcm9iKCkKbGlicmFyeShnZ21hcCkKCmxpYnJhcnkodmlyaWRpcykKbGlicmFyeShPcGVuU3RyZWV0TWFwKQoKCmxpYnJhcnkodGlkeXIpCmxpYnJhcnkoc2YpCgpsaWJyYXJ5KGhlcmUpCmxpYnJhcnkocm1hcmtkb3duKQpsaWJyYXJ5KGdyYXRlZnVsKSAjIENpdGUgYWxsIGxvYWRlZCBwYWNrYWdlcwpgYGAKCgpCZWxvdyB3ZSBkZWZpbmUgZnVuY3Rpb24gYHByb2Nlc3NfbW9kZWxfcmVzdWx0cygpYCB0byBleHRyYWN0IHRoZSBzdW1tYXJ5IG9mIHRoZSBwYXJhbWV0ZXJzIG9mIHRoZSBtb2RlbC4KCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KcHJvY2Vzc19tb2RlbF9yZXN1bHRzIDwtIGZ1bmN0aW9uKGZpdCwgbW9kZWwpIHsKICBmaXRfc3BkZSA8LSByc3BkZS5yZXN1bHQoZml0LCAiZmllbGQiLCBtb2RlbCwgcGFyYW1ldGVyaXphdGlvbiA9ICJzcGRlIikKICBmaXRfbWF0ZXJuIDwtIHJzcGRlLnJlc3VsdChmaXQsICJmaWVsZCIsIG1vZGVsLCBwYXJhbWV0ZXJpemF0aW9uID0gIm1hdGVybiIpCiAgZGZfZm9yX3Bsb3Rfc3BkZSA8LSBnZ19kZihmaXRfc3BkZSkKICBkZl9mb3JfcGxvdF9tYXRlcm4gPC0gZ2dfZGYoZml0X21hdGVybikKICBwYXJhbV9zcGRlIDwtIHN1bW1hcnkoZml0X3NwZGUpCiAgcGFyYW1fbWF0ZXJuIDwtIHN1bW1hcnkoZml0X21hdGVybikKICBwYXJhbV9maXhlZCA8LSBmaXQkc3VtbWFyeS5maXhlZFssMTo2XQogIG1hcmdpbmFsLnBvc3Rlcmlvci5zaWdtYV9lID0gaW5sYS50bWFyZ2luYWwoCiAgICBmdW4gPSBmdW5jdGlvbih4KSBleHAoLXgvMiksIAogICAgbWFyZ2luYWwgPSBmaXRbWyJpbnRlcm5hbC5tYXJnaW5hbHMuaHlwZXJwYXIiXV1bWyJMb2cgcHJlY2lzaW9uIGZvciB0aGUgR2F1c3NpYW4gb2JzZXJ2YXRpb25zIl1dKQogIHF1YW50LnNpZ21hX2UgPC0gY2FwdHVyZS5vdXRwdXQoe3Jlc3VsdF90bXAgPC0gaW5sYS56bWFyZ2luYWwobWFyZ2luYWwucG9zdGVyaW9yLnNpZ21hX2UpfSwgZmlsZSA9ICIvZGV2L251bGwiKSAKICBxdWFudC5zaWdtYV9lIDwtIHJlc3VsdF90bXAKICBzdGF0aXN0aWNzLnNpZ21hX2UgPC0gdW5saXN0KHF1YW50LnNpZ21hX2UpW2MoMSwyLDMsNSw3KV0KICBtb2RlLnNpZ21hX2UgPC0gaW5sYS5tbWFyZ2luYWwobWFyZ2luYWwucG9zdGVyaW9yLnNpZ21hX2UpCiAgYWxscGFyYW1zIDwtIHJiaW5kKHBhcmFtX2ZpeGVkLCBwYXJhbV9zcGRlLCBwYXJhbV9tYXRlcm4sIGMoc3RhdGlzdGljcy5zaWdtYV9lLCBtb2RlLnNpZ21hX2UpKQogIHJvd25hbWVzKGFsbHBhcmFtcylbbnJvdyhhbGxwYXJhbXMpXSA8LSAic2lnbWFfZSIKICByZXR1cm4obGlzdChhbGxwYXJhbXMgPSBhbGxwYXJhbXMsIGRmX2Zvcl9wbG90X3NwZGUgPSBkZl9mb3JfcGxvdF9zcGRlLCBkZl9mb3JfcGxvdF9tYXRlcm4gPSBkZl9mb3JfcGxvdF9tYXRlcm4pKQp9CmBgYAoKV2UgZmlyc3QgbG9hZCB0aGUgZGF0YSBpbiB0aGUgZmlsZSBgcGVtc19yZXBsMV9kYXRhLlJEYXRhYCBhbmQgZXh0cmFjdCB0aGUgZGF0YSBmcm9tIHRoZSBncmFwaC4KCmBgYHtyLCBldmFsID0gRkFMU0V9CiMgTG9hZCB0aGUgZGF0YQpsb2FkKGhlcmUoImRhdGFfZmlsZXMvcGVtc19yZXBsMV9kYXRhLlJEYXRhIikpCiMgRXh0cmFjdCB0aGUgZGF0YSBmcm9tIHRoZSBncmFwaApkYXRhIDwtIGdyYXBoJGdldF9kYXRhKCkKYGBgCgpCZWxvdyB3ZSBleHRyYWN0IHRoZSBsb2NhdGlvbnMgdG8gY29tcHV0ZSB0aGUgZGlzdGFuY2UgbWF0cml4LiBVc2luZyB0aGlzIG1hdHJpeCwgd2UgZGVmaW5lIHRoZSBncm91cHMgZm9yIGNyb3NzLXZhbGlkYXRpb24uIE9ic2VydmUgdGhhdCB3ZSBvbmx5IGNvbXB1dGUgdGhlIGRpc3RhbmNlIG1hdHJpeCBmb3IgdGhlIGZpcnN0IHJlcGxpY2F0ZSBhbmQgY29tcHV0ZSB0aGUgZ3JvdXBzIGZvciBpdC4gQXMgYWxsIHJlcGxpY2F0ZXMgc2hhcmUgdGhlIHNhbWUgbG9jYXRpb25zLCB3ZSBjYW4gdXNlIHRoZSBncm91cHMgc3RydWN0dXJlIGZyb20gdGhlIGZpcnN0IHJlcGxpY2F0ZSBmb3IgYWxsIHJlcGxpY2F0ZXMuCgpgYGB7ciwgZXZhbCA9IEZBTFNFfQojIERlZmluZSB0aGUgZGlzdGFuY2UgdmVjdG9yCmRpc3RhbmNlID0gc2VxKGZyb20gPSAwLCB0byA9IDEwLCBieSA9IDAuMSkKYGBgCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KIyBEZWZpbmUgYXV4IGRhdGEgZnJhbWUgdG8gY29tcHV0ZSB0aGUgZGlzdGFuY2UgbWF0cml4CmF1eCA8LSBkYXRhIHw+IGZpbHRlcihyZXBsID09IDEpIHw+CiAgcmVuYW1lKGRpc3RhbmNlX29uX2VkZ2UgPSAuZGlzdGFuY2Vfb25fZWRnZSwgZWRnZV9udW1iZXIgPSAuZWRnZV9udW1iZXIpIHw+ICMgUmVuYW1lIHRoZSB2YXJpYWJsZXMgKGJlY2F1c2UgZ3JhcGgkY29tcHV0ZV9nZW9kaXN0X1B0RSgpIHJlcXVpcmVzIHNvKQogIGFzLmRhdGEuZnJhbWUoKSB8PiAjIFRyYW5zZm9ybSB0byBhIGRhdGEgZnJhbWUgKGkuZS4sIHJlbW92ZSB0aGUgbWV0cmljX2dyYXBoIGNsYXNzKQogIGRwbHlyOjpzZWxlY3QoZWRnZV9udW1iZXIsIGRpc3RhbmNlX29uX2VkZ2UpCgojIENvbXB1dGUgdGhlIGRpc3RhbmNlIG1hdHJpeApkaXN0bWF0cml4IDwtIGdyYXBoJGNvbXB1dGVfZ2VvZGlzdF9QdEUoUHRFID0gYXV4LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBub3JtYWxpemVkID0gVFJVRSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaW5jbHVkZV92ZXJ0aWNlcyA9IEZBTFNFKQoKIyBDb21wdXRlIHRoZSBncm91cHMgZm9yIG9uZSByZXBsaWNhdGUKR1JPVVBTIDwtIGxpc3QoKQpmb3IgKGogaW4gMTpsZW5ndGgoZGlzdGFuY2UpKSB7CiAgR1JPVVBTW1tqXV0gPSBsaXN0KCkKICBmb3IgKGkgaW4gMTpucm93KGF1eCkpIHsKICAgIEdST1VQU1tbal1dW1tpXV0gPC0gd2hpY2goYXMudmVjdG9yKGRpc3RtYXRyaXhbaSwgXSkgPD0gZGlzdGFuY2Vbal0pCiAgfQp9CiMgQ29tcHV0ZSB0aGUgZ3JvdXBzIGZvciBhbGwgcmVwbGljYXRlcywgYmFzZWQgb24gdGhlIGdyb3VwcyBvZiB0aGUgZmlyc3QgcmVwbGljYXRlCm5yb3dZIDwtIGxlbmd0aCh1bmlxdWUoZGF0YSRyZXBsKSkKbmNvbFkgPC0gbnJvdyhmaWx0ZXIoZGF0YSwgcmVwbCA9PSAxKSkKTkVXX0dST1VQUyA8LSBsaXN0KCkKZm9yIChqIGluIDE6bGVuZ3RoKGRpc3RhbmNlKSkgewogIG15X2xpc3QgPC0gR1JPVVBTW1tqXV0KICBhdXhfbGlzdCA8LSBsaXN0KCkKICBmb3IgKGkgaW4gMDoobnJvd1kgLSAxKSkgewogIGFkZGVkX3ZlY3RvcnMgPC0gbGFwcGx5KG15X2xpc3QsIGZ1bmN0aW9uKHZlYykgdmVjICsgaSpuY29sWSkKICBhdXhfbGlzdCA8LSBjKGF1eF9saXN0LCBhZGRlZF92ZWN0b3JzKQogIH0KICBORVdfR1JPVVBTW1tqXV0gPC0gYXV4X2xpc3QKfQoKR1JPVVBTIDwtIE5FV19HUk9VUFMKc2F2ZShHUk9VUFMsIGZpbGUgPSBoZXJlKCJkYXRhX2ZpbGVzL2dyb3Vwc19mb3JfY3YuUkRhdGEiKSkKYGBgCgpCZWxvdyB3ZSBwbG90IHRvIGNoZWNrIHRoYXQgdGhlIGdyb3VwcyBhcmUgY29ycmVjdGx5IGRlZmluZWQuCgpgYGB7ciwgZXZhbCA9IEZBTFNFfQpwb2ludF9vZl9pbnRlcmVzdCA8LSAzICMgQW55IG51bWJlciBiZXR3ZWVuIDEgYW5kIG5yb3coZGF0YSkKc21hbGxfbmVpZ2hib3Job29kIDwtIEdST1VQU1tbMjBdXVtbcG9pbnRfb2ZfaW50ZXJlc3RdXQpsYXJnZV9uZWlnaGJvcmhvb2QgPC0gR1JPVVBTW1s1MF1dW1twb2ludF9vZl9pbnRlcmVzdF1dCnAgPC0gZ3JhcGgkcGxvdCh2ZXJ0ZXhfc2l6ZSA9IDApICsKICBnZW9tX3BvaW50KGRhdGEgPSBkYXRhLAogICAgICAgICAgICAgYWVzKHggPSAuY29vcmRfeCwgeSA9IC5jb29yZF95LCBjb2xvciA9ICJBbGwgcG9pbnRzIiksCiAgICAgICAgICAgICBzaXplID0gMikgKwogIGdlb21fcG9pbnQoZGF0YSA9IGRhdGFbbGFyZ2VfbmVpZ2hib3Job29kLCBdLAogICAgICAgICAgICAgYWVzKHggPSAuY29vcmRfeCwgeSA9IC5jb29yZF95LCBjb2xvciA9ICJMYXJnZSBuZWlnaGJvcmhvb2QiKSwKICAgICAgICAgICAgIHNpemUgPSAxLjUpICsKICBnZW9tX3BvaW50KGRhdGEgPSBkYXRhW3NtYWxsX25laWdoYm9yaG9vZCwgXSwKICAgICAgICAgICAgIGFlcyh4ID0gLmNvb3JkX3gsIHkgPSAuY29vcmRfeSwgY29sb3IgPSAiU21hbGwgbmVpZ2hib3Job29kIiksCiAgICAgICAgICAgICBzaXplID0gMSkgKwogIGdlb21fcG9pbnQoZGF0YSA9IGRhdGFbcG9pbnRfb2ZfaW50ZXJlc3QsIF0sCiAgICAgICAgICAgICBhZXMoeCA9IC5jb29yZF94LCB5ID0gLmNvb3JkX3ksIGNvbG9yID0gIlBvaW50IG9mIGludGVyZXN0IiksCiAgICAgICAgICAgICBzaXplID0gMC41KSArCiAgc2NhbGVfY29sb3JfbWFudWFsKAogICAgdmFsdWVzID0gYygKICAgICAgIkFsbCBwb2ludHMiID0gImRhcmt2aW9sZXQiLAogICAgICAiTGFyZ2UgbmVpZ2hib3Job29kIiA9ICJncmVlbiIsCiAgICAgICJTbWFsbCBuZWlnaGJvcmhvb2QiID0gImJsdWUiLAogICAgICAiUG9pbnQgb2YgaW50ZXJlc3QiID0gInJlZCIKICAgICksCiAgICBuYW1lID0gIiIKICApICsKICBnZ3RpdGxlKCJHcm91cHMiKSArIAogIHRoZW1lX21pbmltYWwoKSArIAogIHRoZW1lKHRleHQgPSBlbGVtZW50X3RleHQoZmFtaWx5ID0gIlBhbGF0aW5vIiksCiAgICAgICAgcGxvdC50aXRsZSA9IGVsZW1lbnRfdGV4dChoanVzdCA9IDAuNSkpICsKICBjb29yZF9maXhlZCgpCgpwIDwtIHBsb3RseTo6Z2dwbG90bHkocCkKc2F2ZShwLCBmaWxlID0gaGVyZSgiZGF0YV9maWxlcy9wbG90bHlfZ3JvdXBzX2Zvcl9jdi5SRGF0YSIpKQpgYGAKCgpgYGB7ciwgZXZhbCA9IFRSVUUsIG91dC53aWR0aCA9ICIxMDAlIiwgZmlnLmhlaWdodCA9IDgsIGZpZy5jYXAgPSBjYXB0aW9uZXIoIklsbHVzdHJhdGlvbnMgb2YgZ3JvdXBzIGZvciBjcm9zcy12YWxpZGF0aW9uIGJhc2VkIG9uIHRoZSBkaXN0YW5jZSBtYXRyaXguIil9CmxvYWQoaGVyZSgiZGF0YV9maWxlcy9wbG90bHlfZ3JvdXBzX2Zvcl9jdi5SRGF0YSIpKQpwCmBgYAoKQmVsb3cgd2UgZGVmaW5lIHRoZSBub24tc3RhdGlvbmFyeSBwYXJhbWV0ZXJzLgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KIyBOb24tc3RhdGlvbmFyeSBwYXJhbWV0ZXJzCkIudGF1ID0gY2JpbmQoMCwgMSwgMCwgY292LCAwKQpCLmthcHBhID0gY2JpbmQoMCwgMCwgMSwgMCwgY292KQpgYGAKCldlIG5vdyBtb2RlbCB0aGUgc3BlZWQgcmVjb3JkcyAkeV9pJCBhcyAxMyBpbmRlcGVuZGVudCByZXBsaWNhdGVzIHNhdGlzZnlpbmcKXGJlZ2lue2VxdWF0aW9ufQpcbGFiZWx7YXBwbGltb2RlbH0KICAgIHlfaXx1KFxjZG90KVxzaW0gTihcYmV0YV8wICsgXGJldGFfMVx0ZXh0e21lYW4uY292fShzX2kpICsgdShzX2kpLFxzaWdtYV9cZXBzaWxvbl4yKSxcO2kgPSAxLFxkb3RzLCAzMTQsClxlbmR7ZXF1YXRpb259IAp3aGVyZSAkdShcY2RvdCkkIGlzIGEgR2F1c3NpYW4gcHJvY2VzcyBvbiB0aGUgaGlnaHdheSBuZXR3b3JrLiBXZSBjb25zaWRlciBzdGF0aW9uYXJ5IG1vZGVscyB3aXRoICRca2FwcGEsXHRhdT4wJCBhbmQgbm9uLXN0YXRpb25hcnkgbW9kZWxzIHdoZXJlICRcdGF1JCBhbmQgJFxrYXBwYSQgYXJlIGdpdmVuIGJ5ClxiZWdpbntlcXVhdGlvbn0KXGxhYmVse2xvZ3JlZ3Jlc3Npb25zfQogICAgXGJlZ2lue2FsaWduZWR9CiAgICBcbG9nKFx0YXUocykpICY9IFx0aGV0YV8xICsgXHRoZXRhXzMgXHRleHR7c3RkLmNvdn0ocyksXFwKICAgIFxsb2coXGthcHBhKHMpKSAmPSBcdGhldGFfMiArIFx0aGV0YV80IFx0ZXh0e3N0ZC5jb3Z9KHMpLgpcZW5ke2FsaWduZWR9ClxlbmR7ZXF1YXRpb259CgpGb3IgZWFjaCBvZiB0aGUgdHdvIGNsYXNzZXMgb2YgbW9kZWxzLCB3ZSBjb25zaWRlciB0aHJlZSBjYXNlczogd2hlbiAoMSkgJFxudSQgaXMgZml4ZWQgdG8gMC41IG9yICgyKSAxLjUsIGFuZCAoMykgJFxudSQgaXMgZXN0aW1hdGVkIGZyb20gdGhlIGRhdGEuIAoKQmVsb3cgYGNvdmAgcmVmZXJzIHRvICRcdGV4dHtzdGQuY292fShzKSQgYW5kIGBtZWFuX3ZhbHVlYCByZWZlcnMgdG8gJFx0ZXh0e21lYW4uY292fShzKSQuCgojIENhc2UgJFxudSA9IDAuNSQKCgpXZSBmaXJzdCBjb25zaWRlciB0aGUgc3RhdGlvbmFyeSBtb2RlbC4KCgoKCmBgYHtyLCBldmFsID0gRkFMU0V9CiMgQnVpbGQgdGhlIG1vZGVsCnJzcGRlX21vZGVsX3N0YXQgPC0gcnNwZGUubWV0cmljX2dyYXBoKGdyYXBoLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBwYXJhbWV0ZXJpemF0aW9uID0gInNwZGUiLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBudSA9IDAuNSkKIyBQcmVwYXJlIHRoZSBkYXRhIGZvciBmaXR0aW5nCmRhdGFfcnNwZGVfYnJ1X3N0YXQgPC0gZ3JhcGhfZGF0YV9yc3BkZShyc3BkZV9tb2RlbF9zdGF0LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmVwbCA9ICIuYWxsIiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJydSA9IFRSVUUsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICByZXBsX2NvbCA9ICJyZXBsIikKIyBEZWZpbmUgdGhlIGNvbXBvbmVudApjbXBfc3RhdCA8LSB5IH4gLTEgKwogIEludGVyY2VwdCgxKSArCiAgbWVhbl92YWx1ZSArCiAgZmllbGQoY2JpbmQoLmVkZ2VfbnVtYmVyLCAuZGlzdGFuY2Vfb25fZWRnZSksIAogICAgICAgIG1vZGVsID0gcnNwZGVfbW9kZWxfc3RhdCwKICAgICAgICByZXBsaWNhdGUgPSByZXBsKQojIEZpdCB0aGUgbW9kZWwKcnNwZGVfZml0X3N0YXQgPC0KICBicnUoY21wX3N0YXQsCiAgICAgIGRhdGEgPSBkYXRhX3JzcGRlX2JydV9zdGF0W1siZGF0YSJdXSwKICAgICAgZmFtaWx5ID0gImdhdXNzaWFuIiwKICAgICAgb3B0aW9ucyA9IGxpc3QodmVyYm9zZSA9IEZBTFNFKQogICkKCm91dHB1dF9mcm9tX21vZGVscyA8LXByb2Nlc3NfbW9kZWxfcmVzdWx0cyhyc3BkZV9maXRfc3RhdCwgcnNwZGVfbW9kZWxfc3RhdCkKcGFyYW1ldGVyc19zdGF0aXN0aWNzIDwtIG91dHB1dF9mcm9tX21vZGVscyRhbGxwYXJhbXMKbWVhbl9hbmRfbW9kZV9wYXJhbXNfc3RhdG51MC41IDwtIHBhcmFtZXRlcnNfc3RhdGlzdGljc1ssIGMoMSw2KV0KcnNwZGVfZml0X3N0YXRudTAuNSA8LSByc3BkZV9maXRfc3RhdApgYGAKCgoKCldlIG5vdyBmaXQgdGhlIG5vbi1zdGF0aW9uYXJ5IG1vZGVsLgoKCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KIyBCdWlsZCB0aGUgbW9kZWwKcnNwZGVfbW9kZWxfbm9uc3RhdCA8LSByc3BkZS5tZXRyaWNfZ3JhcGgoZ3JhcGgsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEIudGF1ID0gQi50YXUsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEIua2FwcGEgPSAgQi5rYXBwYSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGFyYW1ldGVyaXphdGlvbiA9ICJzcGRlIiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbnUgPSAwLjUpCiMgUHJlcGFyZSB0aGUgZGF0YSBmb3IgZml0dGluZwpkYXRhX3JzcGRlX2JydV9ub25zdGF0IDwtIGdyYXBoX2RhdGFfcnNwZGUocnNwZGVfbW9kZWxfbm9uc3RhdCwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJlcGwgPSAiLmFsbCIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBicnUgPSBUUlVFLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmVwbF9jb2wgPSAicmVwbCIpCiMgRGVmaW5lIHRoZSBjb21wb25lbnQKY21wX25vbnN0YXQgPC0geSB+IC0xICsKICBJbnRlcmNlcHQoMSkgKwogIG1lYW5fdmFsdWUgKwogIGZpZWxkKGNiaW5kKC5lZGdlX251bWJlciwgLmRpc3RhbmNlX29uX2VkZ2UpLCAKICAgICAgICBtb2RlbCA9IHJzcGRlX21vZGVsX25vbnN0YXQsCiAgICAgICAgcmVwbGljYXRlID0gcmVwbCkKIyBGaXQgdGhlIG1vZGVsCnJzcGRlX2ZpdF9ub25zdGF0IDwtCiAgYnJ1KGNtcF9ub25zdGF0LAogICAgICBkYXRhID0gZGF0YV9yc3BkZV9icnVfbm9uc3RhdFtbImRhdGEiXV0sCiAgICAgIGZhbWlseSA9ICJnYXVzc2lhbiIsCiAgICAgIG9wdGlvbnMgPSBsaXN0KHZlcmJvc2UgPSBGQUxTRSkKICApCgpvdXRwdXRfZnJvbV9tb2RlbHMgPC0gcHJvY2Vzc19tb2RlbF9yZXN1bHRzKHJzcGRlX2ZpdF9ub25zdGF0LCByc3BkZV9tb2RlbF9ub25zdGF0KQpwYXJhbWV0ZXJzX3N0YXRpc3RpY3MgPC0gb3V0cHV0X2Zyb21fbW9kZWxzJGFsbHBhcmFtcwptZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUwLjUgPC0gcGFyYW1ldGVyc19zdGF0aXN0aWNzWywgYygxLDYpXQpyc3BkZV9maXRfbm9uc3RhdG51MC41IDwtIHJzcGRlX2ZpdF9ub25zdGF0CgpgYGAKCgoKQmVsb3cgd2UgY29uc2lkZXIgdGhlIHByZWRpY3Rpb24gb2YgcmVwbGljYXRlIDE0LgoKCgpgYGB7ciwgZXZhbCA9IEZBTFNFfQojIExvYWQgdGhlIG1hcHMgcDEyIGFuZCBwMTMgZnJvbSBwZW1zX3JlcGwxIHZpZ25ldHRlCmxvYWQoaGVyZSgiZGF0YV9maWxlcy9tYXBzX3pvb20xMmFuZDEzZnJvbV9zdGFkaWEuUkRhdGEiKSkKIyBXZSBjb25zaWRlciByZXBsaWNhdGUgMTQKcmVwbGljYXRlLm51bWJlciA8LSAxCiMgUHJlcGFyZSB0aGUgZGF0YSBmb3IgcHJlZGljdGlvbgpkYXRhX3ByZF9saXN0X2Zvcl9yZXAgPC0gZGF0YV9wcmRfbGlzdF9tZXNoCmRhdGFfcHJkX2xpc3RfZm9yX3JlcFtbIm1lYW5fdmFsdWUiXV0gPC0gY292X2Zvcl9tZWFuX3RvX3Bsb3QKZGF0YV9wcmRfbGlzdF9mb3JfcmVwW1sicmVwbCJdXSA8LSByZXAocmVwbGljYXRlLm51bWJlciwgbnJvdyhkYXRhX3ByZF9saXN0X21lc2gpKQojIFBlcmZvcm0gdGhlIHByZWRpY3Rpb24KcmVwbDFfcHJlZF9mdWxsIDwtIHByZWRpY3QocnNwZGVfZml0X25vbnN0YXQsIG5ld2RhdGEgPSBkYXRhX3ByZF9saXN0X2Zvcl9yZXAsIH5JbnRlcmNlcHQgKyBtZWFuX3ZhbHVlICsgZmllbGRfZXZhbChjYmluZCguZWRnZV9udW1iZXIsIC5kaXN0YW5jZV9vbl9lZGdlKSwgcmVwbGljYXRlID0gcmVwbCkpCnJlcGwxX3ByZWRfbWVhbiA8LSByZXBsMV9wcmVkX2Z1bGwkbWVhbgojIEV4dHJhY3QgdGhlIEV1Y2xpZGVhbiBjb29yZGluYXRlcyBvZiB0aGUgbWVzaCBwb2ludHMKeHlwb2ludHMgPC0gZ3JhcGgkbWVzaCRWCiMgRXh0cmFjdCB0aGUgcmFuZ2Ugb2YgdGhlIGNvb3JkaW5hdGVzIAp4X2xlZnQgPC0gcmFuZ2UoeHlwb2ludHNbLDFdKVsxXQp4X3JpZ2h0IDwtIHJhbmdlKHh5cG9pbnRzWywxXSlbMl0KeV9ib3R0b20gPC0gcmFuZ2UoeHlwb2ludHNbLDJdKVsxXQp5X3RvcCA8LSByYW5nZSh4eXBvaW50c1ssMl0pWzJdCiMgRGVmaW5lIGNvb3JkaW5hdGVzIGZvciBzbWFsbCB3aW5kb3dzCmNvb3JkeF9sd3IxIDwtIC0xMjEuODc4CmNvb3JkeF91cHIxIDwtIC0xMjEuODI4CmNvb3JkeV9sd3IxIDwtIDM3LjMxNQpjb29yZHlfdXByMSA8LSAzNy4zNjUKCmNvb3JkeF9sd3IyPC0gLTEyMi4wNzUKY29vcmR4X3VwcjIgPC0gLTEyMi4wMjUKY29vcmR5X2x3cjIgPC0gMzcuMzY1CmNvb3JkeV91cHIyIDwtIDM3LjQxNQojIERlZmluZSB0aGUgY29sb3JzIGZvciB0aGUgd2luZG93cwpsb3dlcl9jb2xvciA8LSAiZGFya3JlZCIgICAjIERhcmsgcHVycGxlCnVwcGVyX2NvbG9yIDwtICJkYXJrYmx1ZSIgICMgWWVsbG93CiMgUGxvdCB0aGUgZmllbGQgb24gdG9wIG9mIHRoZSBtYXAKZjEyIDwtIGdyYXBoJHBsb3RfZnVuY3Rpb24oWCA9IHJlcGwxX3ByZWRfbWVhbiwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgdmVydGV4X3NpemUgPSAwLCAKICAgICAgICAgICAgICAgICAgICAgICAgICBwID0gcDEyLAogICAgICAgICAgICAgICAgICAgICAgICAgIGVkZ2Vfd2lkdGggPSAwLjUpICsgCiAgdGhlbWVfbWluaW1hbCgpICsgCiAgdGhlbWUodGV4dCA9IGVsZW1lbnRfdGV4dChmYW1pbHkgPSAiUGFsYXRpbm8iKSwgCiAgICAgICAgYXhpcy50ZXh0ID0gZWxlbWVudF90ZXh0KHNpemUgPSA4KSwKICAgICAgICBsZWdlbmQudGV4dCA9IGVsZW1lbnRfdGV4dChzaXplID0gOCksCiAgICAgICAgcGxvdC5tYXJnaW4gPSB1bml0KC0wLjQqYygxLDAsMSwxKSwgImNtIikKICAgICAgICApICsKICBsYWJzKGNvbG9yID0gIiIsIHggPSAiIiwgeSA9ICIiKSArCiAgeGxpbSh4X2xlZnQsIHhfcmlnaHQpICsgCiAgeWxpbSh5X2JvdHRvbSwgeV90b3ApCiMgUGxvdCB0aGUgZmllbGQgb24gdG9wIG9mIHRoZSBtYXAKZjEzIDwtIGdyYXBoJHBsb3RfZnVuY3Rpb24oWCA9IHJlcGwxX3ByZWRfbWVhbiwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgdmVydGV4X3NpemUgPSAwLCAKICAgICAgICAgICAgICAgICAgICAgICAgICBwID0gcDEzLAogICAgICAgICAgICAgICAgICAgICAgICAgIGVkZ2Vfd2lkdGggPSAwLjUpICsgCiAgdGhlbWVfbWluaW1hbCgpICsgCiAgdGhlbWUodGV4dCA9IGVsZW1lbnRfdGV4dChmYW1pbHkgPSAiUGFsYXRpbm8iKSwgCiAgICAgICAgYXhpcy50ZXh0ID0gZWxlbWVudF90ZXh0KHNpemUgPSA4KSwKICAgICAgICBsZWdlbmQudGV4dCA9IGVsZW1lbnRfdGV4dChzaXplID0gOCksCiAgICAgICAgcGxvdC5tYXJnaW4gPSB1bml0KC0wLjQqYygxLDAsMSwxKSwgImNtIikKICAgICAgICApICsKICBsYWJzKGNvbG9yID0gIiIsIHggPSAiIiwgeSA9ICIiKSArCiAgeGxpbSh4X2xlZnQsIHhfcmlnaHQpICsgCiAgeWxpbSh5X2JvdHRvbSwgeV90b3ApCgpnMTIgPC0gZ3JhcGgkcGxvdChkYXRhID0gInkiLCBncm91cCA9IDEsIHZlcnRleF9zaXplID0gMCwgcCA9IGYxMiwgZWRnZV93aWR0aCA9IDAsIGRhdGFfc2l6ZSA9IDEpICsgCiAgbGFicyhjb2xvciA9ICIiLCB4ID0gIiIsIHkgPSAiIikgKyAKICBhbm5vdGF0ZSgic2VnbWVudCIsIHggPSBjb29yZHhfbHdyMSwgeSA9IGNvb3JkeV9sd3IxLCB4ZW5kID0gY29vcmR4X3VwcjEsIHllbmQgPSBjb29yZHlfbHdyMSwgCiAgICAgICAgICAgbGluZXdpZHRoID0gMC40LCBjb2xvciA9IHVwcGVyX2NvbG9yKSArICAjIEJvdHRvbSBsaW5lCiAgYW5ub3RhdGUoInNlZ21lbnQiLCB4ID0gY29vcmR4X2x3cjEsIHkgPSBjb29yZHlfdXByMSwgeGVuZCA9IGNvb3JkeF91cHIxLCB5ZW5kID0gY29vcmR5X3VwcjEsIAogICAgICAgICAgIGxpbmV3aWR0aCA9IDAuNCwgY29sb3IgPSB1cHBlcl9jb2xvcikgKyAgIyBUb3AgbGluZQogIGFubm90YXRlKCJzZWdtZW50IiwgeCA9IGNvb3JkeF9sd3IxLCB5ID0gY29vcmR5X2x3cjEsIHhlbmQgPSBjb29yZHhfbHdyMSwgeWVuZCA9IGNvb3JkeV91cHIxLCAKICAgICAgICAgICBsaW5ld2lkdGggPSAwLjQsIGNvbG9yID0gdXBwZXJfY29sb3IpICsgICMgTGVmdCBsaW5lCiAgYW5ub3RhdGUoInNlZ21lbnQiLCB4ID0gY29vcmR4X3VwcjEsIHkgPSBjb29yZHlfbHdyMSwgeGVuZCA9IGNvb3JkeF91cHIxLCB5ZW5kID0gY29vcmR5X3VwcjEsIAogICAgICAgICAgIGxpbmV3aWR0aCA9IDAuNCwgY29sb3IgPSB1cHBlcl9jb2xvcikgKyAgIyBSaWdodCBsaW5lCiAgYW5ub3RhdGUoInNlZ21lbnQiLCB4ID0gY29vcmR4X2x3cjIsIHkgPSBjb29yZHlfbHdyMiwgeGVuZCA9IGNvb3JkeF91cHIyLCB5ZW5kID0gY29vcmR5X2x3cjIsIAogICAgICAgICAgIGxpbmV3aWR0aCA9IDAuNCwgY29sb3IgPSBsb3dlcl9jb2xvcikgKyAgCiAgYW5ub3RhdGUoInNlZ21lbnQiLCB4ID0gY29vcmR4X2x3cjIsIHkgPSBjb29yZHlfdXByMiwgeGVuZCA9IGNvb3JkeF91cHIyLCB5ZW5kID0gY29vcmR5X3VwcjIsIAogICAgICAgICAgIGxpbmV3aWR0aCA9IDAuNCwgY29sb3IgPSBsb3dlcl9jb2xvcikgKyAgCiAgYW5ub3RhdGUoInNlZ21lbnQiLCB4ID0gY29vcmR4X2x3cjIsIHkgPSBjb29yZHlfbHdyMiwgeGVuZCA9IGNvb3JkeF9sd3IyLCB5ZW5kID0gY29vcmR5X3VwcjIsIAogICAgICAgICAgIGxpbmV3aWR0aCA9IDAuNCwgY29sb3IgPSBsb3dlcl9jb2xvcikgKyAgCiAgYW5ub3RhdGUoInNlZ21lbnQiLCB4ID0gY29vcmR4X3VwcjIsIHkgPSBjb29yZHlfbHdyMiwgeGVuZCA9IGNvb3JkeF91cHIyLCB5ZW5kID0gY29vcmR5X3VwcjIsIAogICAgICAgICAgIGxpbmV3aWR0aCA9IDAuNCwgY29sb3IgPSBsb3dlcl9jb2xvcikKZzEzIDwtIGdyYXBoJHBsb3QoZGF0YSA9ICJ5IiwgZ3JvdXAgPSAxLCB2ZXJ0ZXhfc2l6ZSA9IDAsIHAgPSBmMTMsIGVkZ2Vfd2lkdGggPSAwLCBkYXRhX3NpemUgPSAxKSArIAogIGxhYnMoY29sb3IgPSAiIiwgeCA9ICIiLCB5ID0gIiIpICsgCiAgYW5ub3RhdGUoInNlZ21lbnQiLCB4ID0gY29vcmR4X2x3cjEsIHkgPSBjb29yZHlfbHdyMSwgeGVuZCA9IGNvb3JkeF91cHIxLCB5ZW5kID0gY29vcmR5X2x3cjEsIAogICAgICAgICAgIGxpbmV3aWR0aCA9IDAuNCwgY29sb3IgPSB1cHBlcl9jb2xvcikgKyAgIyBCb3R0b20gbGluZQogIGFubm90YXRlKCJzZWdtZW50IiwgeCA9IGNvb3JkeF9sd3IxLCB5ID0gY29vcmR5X3VwcjEsIHhlbmQgPSBjb29yZHhfdXByMSwgeWVuZCA9IGNvb3JkeV91cHIxLCAKICAgICAgICAgICBsaW5ld2lkdGggPSAwLjQsIGNvbG9yID0gdXBwZXJfY29sb3IpICsgICMgVG9wIGxpbmUKICBhbm5vdGF0ZSgic2VnbWVudCIsIHggPSBjb29yZHhfbHdyMSwgeSA9IGNvb3JkeV9sd3IxLCB4ZW5kID0gY29vcmR4X2x3cjEsIHllbmQgPSBjb29yZHlfdXByMSwgCiAgICAgICAgICAgbGluZXdpZHRoID0gMC40LCBjb2xvciA9IHVwcGVyX2NvbG9yKSArICAjIExlZnQgbGluZQogIGFubm90YXRlKCJzZWdtZW50IiwgeCA9IGNvb3JkeF91cHIxLCB5ID0gY29vcmR5X2x3cjEsIHhlbmQgPSBjb29yZHhfdXByMSwgeWVuZCA9IGNvb3JkeV91cHIxLCAKICAgICAgICAgICBsaW5ld2lkdGggPSAwLjQsIGNvbG9yID0gdXBwZXJfY29sb3IpICsgICMgUmlnaHQgbGluZQogIGFubm90YXRlKCJzZWdtZW50IiwgeCA9IGNvb3JkeF9sd3IyLCB5ID0gY29vcmR5X2x3cjIsIHhlbmQgPSBjb29yZHhfdXByMiwgeWVuZCA9IGNvb3JkeV9sd3IyLCAKICAgICAgICAgICBsaW5ld2lkdGggPSAwLjQsIGNvbG9yID0gbG93ZXJfY29sb3IpICsgIAogIGFubm90YXRlKCJzZWdtZW50IiwgeCA9IGNvb3JkeF9sd3IyLCB5ID0gY29vcmR5X3VwcjIsIHhlbmQgPSBjb29yZHhfdXByMiwgeWVuZCA9IGNvb3JkeV91cHIyLCAKICAgICAgICAgICBsaW5ld2lkdGggPSAwLjQsIGNvbG9yID0gbG93ZXJfY29sb3IpICsgIAogIGFubm90YXRlKCJzZWdtZW50IiwgeCA9IGNvb3JkeF9sd3IyLCB5ID0gY29vcmR5X2x3cjIsIHhlbmQgPSBjb29yZHhfbHdyMiwgeWVuZCA9IGNvb3JkeV91cHIyLCAKICAgICAgICAgICBsaW5ld2lkdGggPSAwLjQsIGNvbG9yID0gbG93ZXJfY29sb3IpICsgIAogIGFubm90YXRlKCJzZWdtZW50IiwgeCA9IGNvb3JkeF91cHIyLCB5ID0gY29vcmR5X2x3cjIsIHhlbmQgPSBjb29yZHhfdXByMiwgeWVuZCA9IGNvb3JkeV91cHIyLCAKICAgICAgICAgICBsaW5ld2lkdGggPSAwLjQsIGNvbG9yID0gbG93ZXJfY29sb3IpIAoKcjEgPC0gZzEzICsgeGxpbShjb29yZHhfbHdyMSwgY29vcmR4X3VwcjEpICsgCiAgICAgICAgICAgICAgICAgICAgeWxpbShjb29yZHlfbHdyMSwgY29vcmR5X3VwcjEpICsgCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gIm5vbmUiLCAKICAgICAgICBwbG90Lm1hcmdpbiA9IHVuaXQoLTAuMipjKDEsMSwxLDEpLCAiY20iKSkKCnIyIDwtIGcxMyArIHhsaW0oY29vcmR4X2x3cjIsIGNvb3JkeF91cHIyKSArIAogICAgICAgICAgICAgICAgICAgIHlsaW0oY29vcmR5X2x3cjIsIGNvb3JkeV91cHIyKSArIAogIHRoZW1lKGxlZ2VuZC5wb3NpdGlvbiA9ICJub25lIiwgCiAgICAgICAgcGxvdC5tYXJnaW4gPSB1bml0KC0wLjIqYygxLDEsMSwxKSwgImNtIikpCgojIEFycmFuZ2UgcDIgYW5kIHAzIGhvcml6b250YWxseQpsZWZ0X2NvbCA8LSBwbG90X2dyaWQocjIsIHIxLCBsYWJlbHMgPSBOVUxMLCBuY29sID0gMSwgbnJvdyA9IDIsIHJlbF9oZWlnaHRzID0gYygxLDEpKQoKIyBDb21iaW5lIHRoZSB0b3Agcm93IHdpdGggcDEgaW4gYSBncmlkCmNvbWJpbmVkX3Bsb3QgPC0gcGxvdF9ncmlkKGxlZnRfY29sLCBnMTIsIGxhYmVscyA9IE5VTEwsIG5jb2wgPSAyLCByZWxfd2lkdGhzID0gYygxLDIpKSAKZmluYWxfcGxvdCA8LSBhbm5vdGF0ZV9maWd1cmUoY29tYmluZWRfcGxvdCwgbGVmdCA9IHRleHRHcm9iKCJMYXRpdHVkZSIsIHJvdCA9IDkwLCB2anVzdCA9IDEsIGdwID0gZ3BhcihjZXggPSAwLjgpKSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYm90dG9tID0gdGV4dEdyb2IoIkxvbmdpdHVkZSIsIHZqdXN0ID0gLTAuNSwgZ3AgPSBncGFyKGNleCA9IDAuOCkpKQpnZ3NhdmUoaGVyZSgiZGF0YV9maWxlcy9yZXBsaWNhdGUxNF8zX3dpdGhfcHJlZGljdGlvbi5wbmciKSwgd2lkdGggPSAxMS4yLCBoZWlnaHQgPSA1LjQzLCBwbG90ID0gZmluYWxfcGxvdCwgZHBpID0gNTAwKQpgYGAKCgpgYGB7ciwgZXZhbCA9IFRSVUUsIG91dC53aWR0aD0iMTEyMHB4Iiwgb3V0LmhlaWdodD0iNTQzcHgiLCBmaWcuY2FwID0gY2FwdGlvbmVyKCJTcGVlZCBvYnNlcnZhdGlvbnMgKGluIG1waCkgb24gdGhlIGhpZ2h3YXkgbmV0d29yayBvZiB0aGUgY2l0eSBvZiBTYW4gSm9zZSBpbiBDYWxpZm9ybmlhLCByZWNvcmRlZCBvbiBBcHJpbCAzLCAyMDE3LiBUaGUgbGVmdCBwYW5lbHMgYXJlIHpvb21lZC1pbiBhcmVhcyBvZiB0aGUgcGFuZWwgdG8gdGhlIHJpZ2h0LiIpfQprbml0cjo6aW5jbHVkZV9ncmFwaGljcyhoZXJlKCJkYXRhX2ZpbGVzL3JlcGxpY2F0ZTE0XzNfd2l0aF9wcmVkaWN0aW9uLnBuZyIpKQpgYGAKCiMgQ2FzZSAkXG51ID0gMS41JAoKCldlIGZpcnN0IGNvbnNpZGVyIHRoZSBzdGF0aW9uYXJ5IG1vZGVsLgoKCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KIyBCdWlsZCB0aGUgbW9kZWwKcnNwZGVfbW9kZWxfc3RhdCA8LSByc3BkZS5tZXRyaWNfZ3JhcGgoZ3JhcGgsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHBhcmFtZXRlcml6YXRpb24gPSAic3BkZSIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIG51ID0gMS41KQojIFByZXBhcmUgdGhlIGRhdGEgZm9yIGZpdHRpbmcKZGF0YV9yc3BkZV9icnVfc3RhdCA8LSBncmFwaF9kYXRhX3JzcGRlKHJzcGRlX21vZGVsX3N0YXQsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICByZXBsID0gIi5hbGwiLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYnJ1ID0gVFJVRSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJlcGxfY29sID0gInJlcGwiKQojIERlZmluZSB0aGUgY29tcG9uZW50CmNtcF9zdGF0IDwtIHkgfiAtMSArCiAgSW50ZXJjZXB0KDEpICsKICBtZWFuX3ZhbHVlICsKICBmaWVsZChjYmluZCguZWRnZV9udW1iZXIsIC5kaXN0YW5jZV9vbl9lZGdlKSwgCiAgICAgICAgbW9kZWwgPSByc3BkZV9tb2RlbF9zdGF0LAogICAgICAgIHJlcGxpY2F0ZSA9IHJlcGwpCiMgRml0IHRoZSBtb2RlbApyc3BkZV9maXRfc3RhdCA8LQogIGJydShjbXBfc3RhdCwKICAgICAgZGF0YSA9IGRhdGFfcnNwZGVfYnJ1X3N0YXRbWyJkYXRhIl1dLAogICAgICBmYW1pbHkgPSAiZ2F1c3NpYW4iLAogICAgICBvcHRpb25zID0gbGlzdCh2ZXJib3NlID0gRkFMU0UpCiAgKQoKb3V0cHV0X2Zyb21fbW9kZWxzIDwtcHJvY2Vzc19tb2RlbF9yZXN1bHRzKHJzcGRlX2ZpdF9zdGF0LCByc3BkZV9tb2RlbF9zdGF0KQpwYXJhbWV0ZXJzX3N0YXRpc3RpY3MgPC0gb3V0cHV0X2Zyb21fbW9kZWxzJGFsbHBhcmFtcwptZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnUxLjUgPC0gcGFyYW1ldGVyc19zdGF0aXN0aWNzWywgYygxLDYpXQpyc3BkZV9maXRfc3RhdG51MS41IDwtIHJzcGRlX2ZpdF9zdGF0CmBgYAoKCgoKV2Ugbm93IGZpdCB0aGUgbm9uLXN0YXRpb25hcnkgbW9kZWwuCgoKCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KIyBCdWlsZCB0aGUgbW9kZWwKcnNwZGVfbW9kZWxfbm9uc3RhdCA8LSByc3BkZS5tZXRyaWNfZ3JhcGgoZ3JhcGgsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEIudGF1ID0gQi50YXUsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEIua2FwcGEgPSAgQi5rYXBwYSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGFyYW1ldGVyaXphdGlvbiA9ICJzcGRlIiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbnUgPSAxLjUpCiMgUHJlcGFyZSB0aGUgZGF0YSBmb3IgZml0dGluZwpkYXRhX3JzcGRlX2JydV9ub25zdGF0IDwtIGdyYXBoX2RhdGFfcnNwZGUocnNwZGVfbW9kZWxfbm9uc3RhdCwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJlcGwgPSAiLmFsbCIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBicnUgPSBUUlVFLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmVwbF9jb2wgPSAicmVwbCIpCiMgRGVmaW5lIHRoZSBjb21wb25lbnQKY21wX25vbnN0YXQgPC0geSB+IC0xICsKICBJbnRlcmNlcHQoMSkgKwogIG1lYW5fdmFsdWUgKwogIGZpZWxkKGNiaW5kKC5lZGdlX251bWJlciwgLmRpc3RhbmNlX29uX2VkZ2UpLCAKICAgICAgICBtb2RlbCA9IHJzcGRlX21vZGVsX25vbnN0YXQsCiAgICAgICAgcmVwbGljYXRlID0gcmVwbCkKIyBGaXQgdGhlIG1vZGVsCnJzcGRlX2ZpdF9ub25zdGF0IDwtCiAgYnJ1KGNtcF9ub25zdGF0LAogICAgICBkYXRhID0gZGF0YV9yc3BkZV9icnVfbm9uc3RhdFtbImRhdGEiXV0sCiAgICAgIGZhbWlseSA9ICJnYXVzc2lhbiIsCiAgICAgIG9wdGlvbnMgPSBsaXN0KHZlcmJvc2UgPSBGQUxTRSkKICApCgpvdXRwdXRfZnJvbV9tb2RlbHMgPC0gcHJvY2Vzc19tb2RlbF9yZXN1bHRzKHJzcGRlX2ZpdF9ub25zdGF0LCByc3BkZV9tb2RlbF9ub25zdGF0KQpwYXJhbWV0ZXJzX3N0YXRpc3RpY3MgPC0gb3V0cHV0X2Zyb21fbW9kZWxzJGFsbHBhcmFtcwptZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUxLjUgPC0gcGFyYW1ldGVyc19zdGF0aXN0aWNzWywgYygxLDYpXQpyc3BkZV9maXRfbm9uc3RhdG51MS41IDwtIHJzcGRlX2ZpdF9ub25zdGF0CmBgYAoKCgojIENhc2UgJFxudSQgZXN0aW1hdGVkCgpXZSBmaXJzdCBjb25zaWRlciB0aGUgc3RhdGlvbmFyeSBtb2RlbC4KCgoKCmBgYHtyLCBldmFsID0gRkFMU0V9CiMgQnVpbGQgdGhlIG1vZGVsCnJzcGRlX21vZGVsX3N0YXQgPC0gcnNwZGUubWV0cmljX2dyYXBoKGdyYXBoLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBwYXJhbWV0ZXJpemF0aW9uID0gInNwZGUiKQojIFByZXBhcmUgdGhlIGRhdGEgZm9yIGZpdHRpbmcKZGF0YV9yc3BkZV9icnVfc3RhdCA8LSBncmFwaF9kYXRhX3JzcGRlKHJzcGRlX21vZGVsX3N0YXQsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICByZXBsID0gIi5hbGwiLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYnJ1ID0gVFJVRSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJlcGxfY29sID0gInJlcGwiKQojIERlZmluZSB0aGUgY29tcG9uZW50CmNtcF9zdGF0IDwtIHkgfiAtMSArCiAgSW50ZXJjZXB0KDEpICsKICBtZWFuX3ZhbHVlICsKICBmaWVsZChjYmluZCguZWRnZV9udW1iZXIsIC5kaXN0YW5jZV9vbl9lZGdlKSwgCiAgICAgICAgbW9kZWwgPSByc3BkZV9tb2RlbF9zdGF0LAogICAgICAgIHJlcGxpY2F0ZSA9IHJlcGwpCiMgRml0IHRoZSBtb2RlbApyc3BkZV9maXRfc3RhdCA8LQogIGJydShjbXBfc3RhdCwKICAgICAgZGF0YSA9IGRhdGFfcnNwZGVfYnJ1X3N0YXRbWyJkYXRhIl1dLAogICAgICBmYW1pbHkgPSAiZ2F1c3NpYW4iLAogICAgICBvcHRpb25zID0gbGlzdCh2ZXJib3NlID0gRkFMU0UpCiAgKQoKb3V0cHV0X2Zyb21fbW9kZWxzIDwtcHJvY2Vzc19tb2RlbF9yZXN1bHRzKHJzcGRlX2ZpdF9zdGF0LCByc3BkZV9tb2RlbF9zdGF0KQpwYXJhbWV0ZXJzX3N0YXRpc3RpY3MgPC0gb3V0cHV0X2Zyb21fbW9kZWxzJGFsbHBhcmFtcwptZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnVlc3QgPC0gcGFyYW1ldGVyc19zdGF0aXN0aWNzWywgYygxLDYpXQpyc3BkZV9maXRfc3RhdG51ZXN0IDwtIHJzcGRlX2ZpdF9zdGF0CmBgYAoKCgpXZSBub3cgZml0IHRoZSBub24tc3RhdGlvbmFyeSBtb2RlbC4KCgoKCgpgYGB7ciwgZXZhbCA9IEZBTFNFfQojIEJ1aWxkIHRoZSBtb2RlbApyc3BkZV9tb2RlbF9ub25zdGF0IDwtIHJzcGRlLm1ldHJpY19ncmFwaChncmFwaCwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQi50YXUgPSBCLnRhdSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQi5rYXBwYSA9ICBCLmthcHBhLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBwYXJhbWV0ZXJpemF0aW9uID0gInNwZGUiKQojIFByZXBhcmUgdGhlIGRhdGEgZm9yIGZpdHRpbmcKZGF0YV9yc3BkZV9icnVfbm9uc3RhdCA8LSBncmFwaF9kYXRhX3JzcGRlKHJzcGRlX21vZGVsX25vbnN0YXQsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICByZXBsID0gIi5hbGwiLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYnJ1ID0gVFJVRSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJlcGxfY29sID0gInJlcGwiKQojIERlZmluZSB0aGUgY29tcG9uZW50CmNtcF9ub25zdGF0IDwtIHkgfiAtMSArCiAgSW50ZXJjZXB0KDEpICsKICBtZWFuX3ZhbHVlICsKICBmaWVsZChjYmluZCguZWRnZV9udW1iZXIsIC5kaXN0YW5jZV9vbl9lZGdlKSwgCiAgICAgICAgbW9kZWwgPSByc3BkZV9tb2RlbF9ub25zdGF0LAogICAgICAgIHJlcGxpY2F0ZSA9IHJlcGwpCiMgRml0IHRoZSBtb2RlbApyc3BkZV9maXRfbm9uc3RhdCA8LQogIGJydShjbXBfbm9uc3RhdCwKICAgICAgZGF0YSA9IGRhdGFfcnNwZGVfYnJ1X25vbnN0YXRbWyJkYXRhIl1dLAogICAgICBmYW1pbHkgPSAiZ2F1c3NpYW4iLAogICAgICBvcHRpb25zID0gbGlzdCh2ZXJib3NlID0gRkFMU0UpCiAgKQoKb3V0cHV0X2Zyb21fbW9kZWxzIDwtIHByb2Nlc3NfbW9kZWxfcmVzdWx0cyhyc3BkZV9maXRfbm9uc3RhdCwgcnNwZGVfbW9kZWxfbm9uc3RhdCkKcGFyYW1ldGVyc19zdGF0aXN0aWNzIDwtIG91dHB1dF9mcm9tX21vZGVscyRhbGxwYXJhbXMKbWVhbl9hbmRfbW9kZV9wYXJhbXNfbm9uc3RhdG51ZXN0IDwtIHBhcmFtZXRlcnNfc3RhdGlzdGljc1ssIGMoMSw2KV0KcnNwZGVfZml0X25vbnN0YXRudWVzdCA8LSByc3BkZV9maXRfbm9uc3RhdAoKYGBgCgoKIyBDcm9zc3ZhbGlkYXRpb24gc3R1ZHkKCkJlbG93IHdlIHBlcmZvcm0gbGVhdmUtZ3JvdXAtb3V0IHBzZXVkbyBjcm9zcy12YWxpZGF0aW9uIFtATGl1MjAyNUxlYXZlXSBmb2xsb3dpbmcgdGhlIHN0cmF0ZWd5IGZyb20gW0BYaW9uZzIwMjRDb3ZhcmlhbmNlXS4KCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KbXNlLnN0YXRudTAuNSA8LSBtc2Uubm9uc3RhdG51MC41IDwtIGxzLnN0YXRudTAuNSA8LSBscy5ub25zdGF0bnUwLjUgPC0gcmVwKDAsbGVuZ3RoKGRpc3RhbmNlKSkKbXNlLnN0YXRudTEuNSA8LSBtc2Uubm9uc3RhdG51MS41IDwtIGxzLnN0YXRudTEuNSA8LSBscy5ub25zdGF0bnUxLjUgPC0gcmVwKDAsbGVuZ3RoKGRpc3RhbmNlKSkKbXNlLnN0YXRudWVzdCA8LSBtc2Uubm9uc3RhdG51ZXN0IDwtIGxzLnN0YXRudWVzdCA8LSBscy5ub25zdGF0bnVlc3QgPC0gcmVwKDAsbGVuZ3RoKGRpc3RhbmNlKSkKCiMgY3Jvc3MtdmFsaWRhdGlvbiBmb3ItbG9vcApmb3IgKGogaW4gMTpsZW5ndGgoZGlzdGFuY2UpKSB7CiAgcHJpbnQoaikKICAjIGNyb3NzLXZhbGlkYXRpb24gb2YgdGhlIHN0YXRpb25hcnkgbW9kZWwKICBjdi5zdGF0bnUwLjUgPC0gaW5sYS5ncm91cC5jdihyc3BkZV9maXRfc3RhdG51MC41LCBncm91cHMgPSBHUk9VUFNbW2pdXSkKICBjdi5zdGF0bnUxLjUgPC0gaW5sYS5ncm91cC5jdihyc3BkZV9maXRfc3RhdG51MS41LCBncm91cHMgPSBHUk9VUFNbW2pdXSkKICBjdi5zdGF0bnVlc3QgPC0gaW5sYS5ncm91cC5jdihyc3BkZV9maXRfc3RhdG51ZXN0LCBncm91cHMgPSBHUk9VUFNbW2pdXSkKICAjIGNyb3NzLXZhbGlkYXRpb24gb2YgdGhlIG5vbnN0YXRpb25hcnkgbW9kZWwKICBjdi5ub25zdGF0bnUwLjUgPC0gaW5sYS5ncm91cC5jdihyc3BkZV9maXRfbm9uc3RhdG51MC41LCBncm91cHMgPSBHUk9VUFNbW2pdXSkKICBjdi5ub25zdGF0bnUxLjUgPC0gaW5sYS5ncm91cC5jdihyc3BkZV9maXRfbm9uc3RhdG51MS41LCBncm91cHMgPSBHUk9VUFNbW2pdXSkKICBjdi5ub25zdGF0bnVlc3QgPC0gaW5sYS5ncm91cC5jdihyc3BkZV9maXRfbm9uc3RhdG51ZXN0LCBncm91cHMgPSBHUk9VUFNbW2pdXSkKICAjIG9idGFpbiBNU0UgYW5kIExTCiAgbXNlLnN0YXRudTAuNVtqXSA8LSBtZWFuKChjdi5zdGF0bnUwLjUkbWVhbiAtIGRhdGEkeSleMikKICBtc2Uuc3RhdG51MS41W2pdIDwtIG1lYW4oKGN2LnN0YXRudTEuNSRtZWFuIC0gZGF0YSR5KV4yKQogIG1zZS5zdGF0bnVlc3Rbal0gPC0gbWVhbigoY3Yuc3RhdG51ZXN0JG1lYW4gLSBkYXRhJHkpXjIpCiAgCiAgCiAgbXNlLm5vbnN0YXRudTAuNVtqXSA8LSBtZWFuKChjdi5ub25zdGF0bnUwLjUkbWVhbiAtIGRhdGEkeSleMikKICBtc2Uubm9uc3RhdG51MS41W2pdIDwtIG1lYW4oKGN2Lm5vbnN0YXRudTEuNSRtZWFuIC0gZGF0YSR5KV4yKQogIG1zZS5ub25zdGF0bnVlc3Rbal0gPC0gbWVhbigoY3Yubm9uc3RhdG51ZXN0JG1lYW4gLSBkYXRhJHkpXjIpCiAgCiAgCiAgbHMuc3RhdG51MC41W2pdIDwtIG1lYW4obG9nKGN2LnN0YXRudTAuNSRjdikpCiAgbHMuc3RhdG51MS41W2pdIDwtIG1lYW4obG9nKGN2LnN0YXRudTEuNSRjdikpCiAgbHMuc3RhdG51ZXN0W2pdIDwtIG1lYW4obG9nKGN2LnN0YXRudWVzdCRjdikpCiAgCiAgbHMubm9uc3RhdG51MC41W2pdIDwtIG1lYW4obG9nKGN2Lm5vbnN0YXRudTAuNSRjdikpCiAgbHMubm9uc3RhdG51MS41W2pdIDwtIG1lYW4obG9nKGN2Lm5vbnN0YXRudTEuNSRjdikpCiAgbHMubm9uc3RhdG51ZXN0W2pdIDwtIG1lYW4obG9nKGN2Lm5vbnN0YXRudWVzdCRjdikpCn0KCiMgQ3JlYXRlIGRhdGEgZnJhbWVzCm1zZV9kZiA8LSBkYXRhLmZyYW1lKAogIGRpc3RhbmNlLAogIFN0YXRudTAuNSA9IG1zZS5zdGF0bnUwLjUsCiAgTm9uc3RhdG51MC41ID0gbXNlLm5vbnN0YXRudTAuNSwKICBTdGF0bnUxLjUgPSBtc2Uuc3RhdG51MS41LAogIE5vbnN0YXRudTEuNSA9IG1zZS5ub25zdGF0bnUxLjUsCiAgU3RhdG51ZXN0ID0gbXNlLnN0YXRudWVzdCwKICBOb25zdGF0bnVlc3QgPSBtc2Uubm9uc3RhdG51ZXN0CikKCmxzX2RmIDwtIGRhdGEuZnJhbWUoCiAgZGlzdGFuY2UsCiAgU3RhdG51MC41ID0gLWxzLnN0YXRudTAuNSwKICBOb25zdGF0bnUwLjUgPSAtbHMubm9uc3RhdG51MC41LAogIFN0YXRudTEuNSA9IC1scy5zdGF0bnUxLjUsCiAgTm9uc3RhdG51MS41ID0gLWxzLm5vbnN0YXRudTEuNSwKICBTdGF0bnVlc3QgPSAtbHMuc3RhdG51ZXN0LAogIE5vbnN0YXRudWVzdCA9IC1scy5ub25zdGF0bnVlc3QKKQpgYGAKCgpTYXZlIHNvbWUgb2YgdGhlIG9iamVjdHMgdG8gYmUgdXNlZCBpbiB0aGUgbmV4dCB2aWduZXR0ZS4KCmBgYHtyLCBldmFsID0gRkFMU0V9CiMgU2F2ZSB0aGUgcmVzdWx0cwpsaXN0X3RvX3NhdmUgPC0gbGlzdChtZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnUwLjUgPSBtZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnUwLjUsCiAgICAgICAgICAgICAgICAgICAgIG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudTAuNSA9IG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudTAuNSwKICAgICAgICAgICAgICAgICAgICAgbWVhbl9hbmRfbW9kZV9wYXJhbXNfc3RhdG51MS41ID0gbWVhbl9hbmRfbW9kZV9wYXJhbXNfc3RhdG51MS41LAogICAgICAgICAgICAgICAgICAgICBtZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUxLjUgPSBtZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUxLjUsIAogICAgICAgICAgICAgICAgICAgICBtZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnVlc3QgPSBtZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnVlc3QsCiAgICAgICAgICAgICAgICAgICAgIG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudWVzdCA9IG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudWVzdCwgCiAgICAgICAgICAgICAgICAgICAgIG1zZV9kZiA9IG1zZV9kZiwgCiAgICAgICAgICAgICAgICAgICAgIGxzX2RmID0gbHNfZGYsIAogICAgICAgICAgICAgICAgICAgICBCLnRhdSA9IEIudGF1LCAKICAgICAgICAgICAgICAgICAgICAgQi5rYXBwYSA9IEIua2FwcGEsIAogICAgICAgICAgICAgICAgICAgICBncmFwaCA9IGdyYXBoKQpzYXZlKGxpc3RfdG9fc2F2ZSwgZmlsZSA9IGhlcmUoImRhdGFfZmlsZXMvcGVtc19yZXBsMl9yZXN1bHRzLlJEYXRhIikpCmBgYAoKCmBgYHtyLCBldmFsID0gVFJVRX0KbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL3BlbXNfcmVwbDJfcmVzdWx0cy5SRGF0YSIpKQptZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnUwLjUgPC0gbGlzdF90b19zYXZlJG1lYW5fYW5kX21vZGVfcGFyYW1zX3N0YXRudTAuNQptZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUwLjUgPC0gbGlzdF90b19zYXZlJG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudTAuNQptZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnUxLjUgPC0gbGlzdF90b19zYXZlJG1lYW5fYW5kX21vZGVfcGFyYW1zX3N0YXRudTEuNQptZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUxLjUgPC0gbGlzdF90b19zYXZlJG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudTEuNQptZWFuX2FuZF9tb2RlX3BhcmFtc19zdGF0bnVlc3QgPC0gbGlzdF90b19zYXZlJG1lYW5fYW5kX21vZGVfcGFyYW1zX3N0YXRudWVzdAptZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnVlc3QgPC0gbGlzdF90b19zYXZlJG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudWVzdAptc2VfZGYgPC0gbGlzdF90b19zYXZlJG1zZV9kZgpsc19kZiA8LSBsaXN0X3RvX3NhdmUkbHNfZGYKCmRpc3RhbmNlID0gc2VxKGZyb20gPSAwLCB0byA9IDEwLCBieSA9IDAuMSkKYGBgCgoKQmVsb3cgd2UgcGxvdCB0aGUgY3Jvc3MtdmFsaWRhdGlvbiByZXN1bHRzLgoKCmBgYHtyLCBldmFsID0gRkFMU0V9CmNob29zZV9pbmRleCA8LSBzZXEoMiwgbnJvdyhtc2VfZGYpLCBieSA9IDMpCm1zZV9kZl9yZWQgPC0gbXNlX2RmW2Nob29zZV9pbmRleCxdCmxzX2RmX3JlZCA8LSBsc19kZltjaG9vc2VfaW5kZXgsXQojIENvbnZlcnQgdG8gbG9uZyBmb3JtYXQKbXNlX2xvbmcgPC0gbXNlX2RmX3JlZCAlPiUKICBwaXZvdF9sb25nZXIoY29scyA9IC1kaXN0YW5jZSwgbmFtZXNfdG8gPSAibnUiLCB2YWx1ZXNfdG8gPSAiTVNFIikKCmxzX2xvbmcgPC0gbHNfZGZfcmVkICU+JQogIHBpdm90X2xvbmdlcihjb2xzID0gLWRpc3RhbmNlLCBuYW1lc190byA9ICJudSIsIHZhbHVlc190byA9ICJMb2dTY29yZSIpCgoKIyBVcGRhdGUgdGhlIGxhYmVsIG1hcHBpbmdzIHdpdGggdGhlIG5ldyBsZWdlbmQgdGl0bGUKbGFiZWxfbWFwcGluZyA8LSBjKAogICJTdGF0bnUwLjUiID0gIjEiLCAKICAiTm9uc3RhdG51MC41IiA9ICIxIiwgCiAgIlN0YXRudTEuNSIgPSAiMiIsIAogICJOb25zdGF0bnUxLjUiID0gIjIiLCAKICAiU3RhdG51ZXN0IiA9IHBhc3RlKHJvdW5kKG1lYW5fYW5kX21vZGVfcGFyYW1zX3N0YXRudWVzdFs1LDFdKzAuNSwgMyksICIoZXN0KSIpLCAKICAiTm9uc3RhdG51ZXN0IiA9IHBhc3RlKHJvdW5kKG1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudWVzdFs3LDFdKzAuNSwgMyksICIoZXN0KSIpCikKCiMgRGVmaW5lIGNvbG9yIGFuZCBsaW5ldHlwZSBtYXBwaW5nCmNvbG9yX21hcHBpbmcgPC0gYygKICAiU3RhdG51MC41IiA9ICJibHVlIiwgCiAgIk5vbnN0YXRudTAuNSIgPSAiYmx1ZSIsIAogICJTdGF0bnUxLjUiID0gImJsYWNrIiwgCiAgIk5vbnN0YXRudTEuNSIgPSAiYmxhY2siLCAKICAiU3RhdG51ZXN0IiA9ICJyZWQiLCAKICAiTm9uc3RhdG51ZXN0IiA9ICJyZWQiCikKCmxpbmV0eXBlX21hcHBpbmcgPC0gYygKICAiU3RhdG51MC41IiA9ICJkb3RkYXNoIiwgCiAgIk5vbnN0YXRudTAuNSIgPSAic29saWQiLCAKICAiU3RhdG51MS41IiA9ICJkb3RkYXNoIiwgCiAgIk5vbnN0YXRudTEuNSIgPSAic29saWQiLCAKICAiU3RhdG51ZXN0IiA9ICJkb3RkYXNoIiwgCiAgIk5vbnN0YXRudWVzdCIgPSAic29saWQiCikKCiMgUGxvdCBNU0UKbXNlX3Bsb3QgPC0gZ2dwbG90KG1zZV9sb25nLCBhZXMoeCA9IGRpc3RhbmNlLCB5ID0gTVNFLCBjb2xvciA9IG51LCBsaW5ldHlwZSA9IG51KSkgKwogIGdlb21fbGluZShsaW5ld2lkdGggPSAyKSArCiAgbGFicyh5ID0gIk1TRSIsIHggPSAiJFxcbWJveHtHZW9kZXNpYyBkaXN0YW5jZSB9IFJcXG1ib3h7IH0oXFxtYm94e2ttfSkkIikgKwogIHNjYWxlX2NvbG9yX21hbnVhbCh2YWx1ZXMgPSBjb2xvcl9tYXBwaW5nLCBsYWJlbHMgPSBsYWJlbF9tYXBwaW5nLCBuYW1lID0gIiRcXGFscGhhJCIpICsKICBzY2FsZV9saW5ldHlwZV9tYW51YWwodmFsdWVzID0gbGluZXR5cGVfbWFwcGluZywgbGFiZWxzID0gbGFiZWxfbWFwcGluZywgbmFtZSA9ICIkXFxhbHBoYSQiKSArCiAgdGhlbWVfbWluaW1hbCgpICsKICB0aGVtZSh0ZXh0ID0gZWxlbWVudF90ZXh0KGZhbWlseSA9ICJQYWxhdGlubyIpKQoKIyBQbG90IG5lZ2F0aXZlIGxvZy1zY29yZQpsc19wbG90IDwtIGdncGxvdChsc19sb25nLCBhZXMoeCA9IGRpc3RhbmNlLCB5ID0gTG9nU2NvcmUsIGNvbG9yID0gbnUsIGxpbmV0eXBlID0gbnUpKSArCiAgZ2VvbV9saW5lKGxpbmV3aWR0aCA9IDIpICsKICBsYWJzKHkgPSAiTmVnYXRpdmUgTG9nLVNjb3JlIiwgeCA9ICIkXFxtYm94e0dlb2Rlc2ljIGRpc3RhbmNlIH0gUlxcbWJveHsgfShcXG1ib3h7a219KSQiKSArCiAgc2NhbGVfY29sb3JfbWFudWFsKHZhbHVlcyA9IGNvbG9yX21hcHBpbmcsIGxhYmVscyA9IGxhYmVsX21hcHBpbmcsIG5hbWUgPSAiJFxcYWxwaGEkIikgKwogIHNjYWxlX2xpbmV0eXBlX21hbnVhbCh2YWx1ZXMgPSBsaW5ldHlwZV9tYXBwaW5nLCBsYWJlbHMgPSBsYWJlbF9tYXBwaW5nLCBuYW1lID0gIiRcXGFscGhhJCIpICsKICB0aGVtZV9taW5pbWFsKCkgKwogIHRoZW1lKHRleHQgPSBlbGVtZW50X3RleHQoZmFtaWx5ID0gIlBhbGF0aW5vIikpCgojIENvbWJpbmUgcGxvdHMgd2l0aCBhIHNoYXJlZCBsZWdlbmQgYXQgdGhlIHRvcCBpbiBhIHNpbmdsZSBsaW5lCmNvbWJpbmVkX3Bsb3RfcGVtcyA8LSBtc2VfcGxvdCArIGxzX3Bsb3QgKyAKICBwbG90X2xheW91dChndWlkZXMgPSAnY29sbGVjdCcpICYgCiAgdGhlbWUobGVnZW5kLnBvc2l0aW9uID0gJ3JpZ2h0JykgJiAKICBndWlkZXMoY29sb3IgPSBndWlkZV9sZWdlbmQobmNvbCA9IDEpLCBsaW5ldHlwZSA9IGd1aWRlX2xlZ2VuZChucm93ID0gMSkpCgojIFNhdmUgY29tYmluZWQgcGxvdAojIGdnc2F2ZShoZXJlKCJkYXRhX2ZpbGVzL2Nyb3NzdmFsX3BlbXMucG5nIiksIHBsb3QgPSBjb21iaW5lZF9wbG90X3BlbXMsIHdpZHRoID0gOS4yMiwgaGVpZ2h0ID0gNC4wMSwgZHBpID0gNTAwKQpteWdnc2F2ZShjb21iaW5lZF9wbG90X3BlbXMsIHdpZHRoID0gOS4yMiwgaGVpZ2h0ID0gNC4wMSkKYGBgCgoKCmBgYHtyLCBldmFsID0gVFJVRSwgb3V0LndpZHRoPSI5MjJweCIsIG91dC5oZWlnaHQ9IjQwMXB4IiwgZmlnLmNhcCA9IGNhcHRpb25lcigiTVNFIGFuZCBuZWdhdGl2ZSBMb2ctU2NvcmUgYXMgZnVuY3Rpb25zIG9mIGRpc3RhbmNlIChpbiBrbSkgZm9yIHRoZSBzdGF0aW9uYXJ5IChkb3RkYXNoIGxpbmUsICRcXGJvbGRzeW1ib2x7XFxjZG90LVxcY2RvdH0kKSBhbmQgbm9uLXN0YXRpb25hcnkgKHNvbGlkIGxpbmUsICRcXGJvbGRzeW1ib2x7LVxcIVxcIVxcIS1cXCFcXCFcXCEtfSQpICBjYXNlcyB3aXRoICRcXG51ID0gMC41JCwgJFxcbnUgPSAxLjUkLCBhbmQgJFxcbnUkIGVzdGltYXRlZCAoZXN0KS4iKX0Ka25pdHI6OmluY2x1ZGVfZ3JhcGhpY3MoaGVyZSgiZGF0YV9maWxlcy90aWt6cGljL2NvbWJpbmVkX3Bsb3RfcGVtcy5wZGYiKSkKYGBgCgoKIyBFc3RpbWF0ZWQgdmFsdWVzCgojIyMgRXN0aW1hdGVkIHBhcmFtZXRlcnMgZm9yIHRoZSBzdGF0aW9uYXJ5IG1vZGVsIHdpdGggJFxudSA9IDAuNSQKCmBgYHtyLCBldmFsID0gVFJVRX0KbWVhbl9hbmRfbW9kZV9wYXJhbXNfc3RhdG51MC41CmBgYAoKIyMjIEVzdGltYXRlZCBwYXJhbWV0ZXJzIGZvciB0aGUgbm9uLXN0YXRpb25hcnkgbW9kZWwgd2l0aCAkXG51ID0gMC41JAoKYGBge3IsIGV2YWwgPSBUUlVFfQptZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUwLjUKYGBgCgojIyMgRXN0aW1hdGVkIHBhcmFtZXRlcnMgZm9yIHRoZSBzdGF0aW9uYXJ5IG1vZGVsIHdpdGggJFxudSA9IDEuNSQKCmBgYHtyLCBldmFsID0gVFJVRX0KbWVhbl9hbmRfbW9kZV9wYXJhbXNfc3RhdG51MS41CmBgYAoKIyMjIEVzdGltYXRlZCBwYXJhbWV0ZXJzIGZvciB0aGUgbm9uLXN0YXRpb25hcnkgbW9kZWwgd2l0aCAkXG51ID0gMS41JAoKYGBge3IsIGV2YWwgPSBUUlVFfQptZWFuX2FuZF9tb2RlX3BhcmFtc19ub25zdGF0bnUxLjUKYGBgCgojIyMgRXN0aW1hdGVkIHBhcmFtZXRlcnMgZm9yIHRoZSBzdGF0aW9uYXJ5IG1vZGVsIHdpdGggJFxudSQgZXN0aW1hdGVkCgpgYGB7ciwgZXZhbCA9IFRSVUV9Cm1lYW5fYW5kX21vZGVfcGFyYW1zX3N0YXRudWVzdApgYGAKCiMjIyBFc3RpbWF0ZWQgcGFyYW1ldGVycyBmb3IgdGhlIG5vbi1zdGF0aW9uYXJ5IG1vZGVsIHdpdGggJFxudSQgZXN0aW1hdGVkCgpgYGB7ciwgZXZhbCA9IFRSVUV9Cm1lYW5fYW5kX21vZGVfcGFyYW1zX25vbnN0YXRudWVzdApgYGAKCgojIExpbmVhciByZWdyZXNzaW9uIGFuZCBrTk4gcmVncmVzc2lvbgoKCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL1lfbWVhbi5SRGF0YSIpKSAjIHdhcyBjcmVhdGVkIGluIHBlbXMxLlJtZAoKWV9tdSA8LSBhcHBseShZX3Jhd1sxOjEzLF0sIDIsIG1lYW4pCmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9wZW1zX3JlcGwxX2RhdGEuUkRhdGEiKSkKZGZfaXNvY292IDwtIGRhdGEuZnJhbWUoeSA9IFlfbXUsIAogICAgICAgICAgICAgICAgICAgICAgICBlZGdlX251bWJlciA9IFB0RV9yYXdbLDFdLCAKICAgICAgICAgICAgICAgICAgICAgICAgZGlzdGFuY2Vfb25fZWRnZSA9IFB0RV9yYXdbLDJdKQoKZ3JhcGgkYWRkX29ic2VydmF0aW9ucyhkYXRhID0gZGZfaXNvY292LAogICAgICAgICAgICAgICAgICAgICAgIGVkZ2VfbnVtYmVyID0gImVkZ2VfbnVtYmVyIiwKICAgICAgICAgICAgICAgICAgICAgICBkaXN0YW5jZV9vbl9lZGdlID0gImRpc3RhbmNlX29uX2VkZ2UiLAogICAgICAgICAgICAgICAgICAgICAgIGRhdGFfY29vcmRzID0gIlB0RSIsCiAgICAgICAgICAgICAgICAgICAgICAgbm9ybWFsaXplZCA9IFRSVUUsIAogICAgICAgICAgICAgICAgICAgICAgIGNsZWFyX29icyA9IFRSVUUpCiMgZ3JhcGgkY2hlY2tfZXVjbGlkZWFuKCkKIyBncmFwaApyZXNfZXhwIDwtIGdyYXBoX2xtZSh5IH4gMSwgZ3JhcGggPSBncmFwaCwgbW9kZWwgPSBsaXN0KHR5cGUgPSAiaXNvQ292IikpCnN1bW1hcnkocmVzX2V4cCkKdV9lc3RfZXhwX21lYW4gPC0gcHJlZGljdChyZXNfZXhwLCBkZl9pc29jb3YsIG5vcm1hbGl6ZWQgPSBUUlVFKSRtZWFuCgpwbG90KFlfbXUsIHR5cGUgPSAibCIsIGNvbCA9ICJkYXJrYmx1ZSIpCmxpbmVzKHVfZXN0X2V4cF9tZWFuLCBjb2wgPSAiZGFya3JlZCIpCgpZMnBhcnQgPC0gWV9yYXdbMTQ6MjYsXQpERl9JU09DT1YgPC0gbGFwcGx5KDE6bnJvdyhZMnBhcnQpLCBmdW5jdGlvbihpKXtkYXRhLmZyYW1lKHkgPSBZMnBhcnRbaSxdLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBtZWFuX3ZhbHVlID0gdV9lc3RfZXhwX21lYW4sCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVkZ2VfbnVtYmVyID0gUHRFX3Jhd1ssMV0sCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGRpc3RhbmNlX29uX2VkZ2UgPSBQdEVfcmF3WywyXSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmVwbCA9IGkpfSkKREZfSVNPQ09WIDwtIGRvLmNhbGwocmJpbmQsIERGX0lTT0NPVikKCmdyYXBoJGFkZF9vYnNlcnZhdGlvbnMoZGF0YSA9IERGX0lTT0NPViwgCiAgICAgICAgICAgICAgICAgICAgICAgZWRnZV9udW1iZXIgPSAiZWRnZV9udW1iZXIiLAogICAgICAgICAgICAgICAgICAgICAgIGRpc3RhbmNlX29uX2VkZ2UgPSAiZGlzdGFuY2Vfb25fZWRnZSIsCiAgICAgICAgICAgICAgICAgICAgICAgZGF0YV9jb29yZHMgPSAiUHRFIiwKICAgICAgICAgICAgICAgICAgICAgICBub3JtYWxpemVkID0gVFJVRSwgCiAgICAgICAgICAgICAgICAgICAgICAgY2xlYXJfb2JzID0gVFJVRSwgCiAgICAgICAgICAgICAgICAgICAgICAgZ3JvdXAgPSAicmVwbCIpCgpSRVNfRVhQIDwtIGdyYXBoX2xtZSh5IH4gbWVhbl92YWx1ZSwgZ3JhcGggPSBncmFwaCwgd2hpY2hfcmVwbCA9IDE6MTMsIG1vZGVsID0gbGlzdCh0eXBlID0gImlzb0NvdiIpKQpzdW1tYXJ5KFJFU19FWFApClBPU1QgPC0gcG9zdGVyaW9yX2Nyb3NzdmFsaWRhdGlvbl9sb28ob2JqZWN0ID0gUkVTX0VYUCwgd2hpY2hfcmVwbCA9IDE6MTMpCk1TRV9JU09DT1YgPC0gUE9TVCRzY29yZXMkcm1zZV4yCmBgYAoKCmBgYHtyLCBldmFsID0gRkFMU0V9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9wZW1zX3JlcGwxX2RhdGEuUkRhdGEiKSkKZGF0YSA8LSBncmFwaCRnZXRfZGF0YSgpCnJzcGRlX21vZGVsX3N0YXQgPC0gcnNwZGUubWV0cmljX2dyYXBoKGdyYXBoLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBwYXJhbWV0ZXJpemF0aW9uID0gInNwZGUiLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBudSA9IDAuNSkKIyBQcmVwYXJlIHRoZSBkYXRhIGZvciBmaXR0aW5nCmRhdGFfcnNwZGVfYnJ1X3N0YXQgPC0gZ3JhcGhfZGF0YV9yc3BkZShyc3BkZV9tb2RlbF9zdGF0LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmVwbCA9ICIuYWxsIiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJydSA9IFRSVUUsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICByZXBsX2NvbCA9ICJyZXBsIikKIyBEZWZpbmUgdGhlIGNvbXBvbmVudApjbXBfc3RhdCA8LSB5IH4gLTEgKwogIEludGVyY2VwdCgxKSArCiAgbWVhbl92YWx1ZSArCiAgZmllbGQoY2JpbmQoLmVkZ2VfbnVtYmVyLCAuZGlzdGFuY2Vfb25fZWRnZSksIAogICAgICAgIG1vZGVsID0gcnNwZGVfbW9kZWxfc3RhdCwKICAgICAgICByZXBsaWNhdGUgPSByZXBsKQojIEZpdCB0aGUgbW9kZWwKcnNwZGVfZml0X3N0YXQgPC0KICBicnUoY21wX3N0YXQsCiAgICAgIGRhdGEgPSBkYXRhX3JzcGRlX2JydV9zdGF0W1siZGF0YSJdXSwKICAgICAgZmFtaWx5ID0gImdhdXNzaWFuIiwKICAgICAgb3B0aW9ucyA9IGxpc3QodmVyYm9zZSA9IEZBTFNFKQogICkKCmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ncm91cHNfZm9yX2N2LlJEYXRhIikpCgpteV9ncm91cCA8LSBHUk9VUFNbWzFdXQoKY3Yuc3RhdG51MC41IDwtIGlubGEuZ3JvdXAuY3YocnNwZGVfZml0X3N0YXQsIGdyb3VwcyA9IG15X2dyb3VwKSRtZWFuCgpuZXdfbXNlIDwtIG1lYW4oKGN2LnN0YXRudTAuNSAtIGRhdGEkeSleMikKCmBgYAoKCmBgYHtyLCBldmFsID0gRkFMU0V9CiMgTG9hZCB0aGUgZGF0YQoKbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL1lfbWVhbi5SRGF0YSIpKSAjIHdhcyBjcmVhdGVkIGluIHBlbXMxLlJtZAoKWV9tdSA8LSBhcHBseShZX3Jhd1sxOjEzLF0sIDIsIG1lYW4pCgpkYXRhX3NpbXBsZSA8LSBkYXRhLmZyYW1lKHkgPSBjKHQoWV9yYXdbMTQ6MjYsXSkpLCAKICAgICAgICAgICAgICAgICAgICAgICAgICBtZWFuX3ZhbHVlID0gcmVwKFlfbXUsIHRpbWVzID0gMTMpLCAKICAgICAgICAgICAgICAgICAgICAgICAgICByZXBsID0gcmVwKDE6MTMsIGVhY2ggPSAzMTQpKQoKZGF0YV9zaW1wbGUkcmVwbCA8LSBmYWN0b3IoZGF0YV9zaW1wbGUkcmVwbCkKYGBgCgoKYGBge3IsIGV2YWwgPSBGQUxTRX0KbGlicmFyeShsbWU0KQpuIDwtIG5yb3coZGF0YV9zaW1wbGUpCgpwcmVkX2xvb2N2IDwtIG51bWVyaWMobikKI3ByZWRfbG9vY3ZfcmVwbCA8LSBudW1lcmljKG4pCgpmb3IoaSBpbiAxOm4pewogIHRyYWluX2RhdGEgPC0gZGF0YV9zaW1wbGVbLWksIF0KICB0ZXN0X2RhdGEgIDwtIGRhdGFfc2ltcGxlW2ksICwgZHJvcCA9IEZBTFNFXQogIAogIG1vZGVsIDwtIGxtKHkgfiBtZWFuX3ZhbHVlLCBkYXRhID0gdHJhaW5fZGF0YSkKICBwcmVkX2xvb2N2W2ldIDwtIHByZWRpY3QobW9kZWwsIG5ld2RhdGEgPSB0ZXN0X2RhdGEpCiAgCiAgIyBtb2RlbCA8LSBsbWVyKHkgfiBtZWFuX3ZhbHVlICsgKDEgfCByZXBsKSwgZGF0YSA9IHRyYWluX2RhdGEpCiAgIyBwcmVkX2xvb2N2X3JlcGxbaV0gPC0gcHJlZGljdChtb2RlbCwgbmV3ZGF0YSA9IHRlc3RfZGF0YSwgcmUuZm9ybSA9IE5VTEwpCiAgcHJpbnQocGFzdGUoIlByb2Nlc3NlZCBvYnNlcnZhdGlvbiIsIGksICJvdXQgb2YiLCBuKSkKfQoKbXNlX2xvb2N2X2xtIDwtIG1lYW4oKGRhdGFfc2ltcGxlJHkgLSBwcmVkX2xvb2N2KV4yKQptc2VfbG9vY3ZfbG0KCiMgbXNlX2xvb2N2X2xtZXIgPC0gbWVhbigoZGF0YV9zaW1wbGUkeSAtIHByZWRfbG9vY3ZfcmVwbCleMikKIyBtc2VfbG9vY3ZfbG1lcgpgYGAKCgpgYGB7ciwgZXZhbCA9IEZBTFNFfQojIExvYWQgdGhlIGRhdGEKbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL3BlbXNfcmVwbDFfZGF0YS5SRGF0YSIpKQojIEV4dHJhY3QgdGhlIGRhdGEgZnJvbSB0aGUgZ3JhcGgKCmluaXRpYWxfZGF0YSA8LSBncmFwaCRnZXRfZGF0YSgpCmRhdGEgPC0gaW5pdGlhbF9kYXRhIHw+IGFzLmRhdGEuZnJhbWUoKSB8PiBzZWxlY3QoeSwgbWVhbl92YWx1ZSwgcmVwbCkKCm4gPC0gbGVuZ3RoKGRhdGEgfD4gZmlsdGVyKHJlcGwgPT0gMSkgfD4gcHVsbCh5KSkKZGF0YSRyZXBsIDwtIGZhY3RvcihyZXAoMToxMywgZWFjaCA9IG4pKQoKYGBgCgpgYGB7ciwgZXZhbCA9IEZBTFNFfQpsaWJyYXJ5KEZOTikKCmF1eCA8LSBpbml0aWFsX2RhdGEgfD4gZmlsdGVyKHJlcGwgPT0gMSkgfD4KICByZW5hbWUoZGlzdGFuY2Vfb25fZWRnZSA9IC5kaXN0YW5jZV9vbl9lZGdlLCAKICAgICAgICAgZWRnZV9udW1iZXIgPSAuZWRnZV9udW1iZXIpIHw+IAogIGFzLmRhdGEuZnJhbWUoKSB8PiAKICBkcGx5cjo6c2VsZWN0KGVkZ2VfbnVtYmVyLCAKICAgICAgICAgICAgICAgIGRpc3RhbmNlX29uX2VkZ2UpCgpEIDwtIGdyYXBoJGNvbXB1dGVfZ2VvZGlzdF9QdEUoCiAgUHRFID0gYXV4LAogIG5vcm1hbGl6ZWQgPSBUUlVFLAogIGluY2x1ZGVfdmVydGljZXMgPSBGQUxTRSkKCiMgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KIyAwLiBTZXR1cAojIC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCm5fbG9jICA8LSAzMTQKbl9yZXBsIDwtIDEzCm5fb2JzICA8LSBucm93KGRhdGEpICAjIDQwODIKCiMgTG9jYXRpb24gaW5kZXggZm9yIGVhY2ggb2JzZXJ2YXRpb24gaW4gZGF0YQojIChhc3N1bWVzIGRhdGEgaXMgb3JkZXJlZDogYWxsIDMxNCBsb2NhdGlvbnMgZm9yIHJlcGwgMSwgdGhlbiByZXBsIDIsIGV0Yy4pCmxvY19pZHggPC0gcmVwKDE6bl9sb2MsIHRpbWVzID0gbl9yZXBsKQoKIyAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQojIDEuIEJ1aWxkIG5vcm1hbGl6ZWQgZGlzdGFuY2UgbWF0cmljZXMKIyAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKIyBTcGF0aWFsOiBleHBhbmQgMzE0eDMxNCAtPiA0MDgyeDQwODIgdXNpbmcgbG9jYXRpb24gaW5kaWNlcwpEX3NwYWNlX2Z1bGwgPC0gRFtsb2NfaWR4LCBsb2NfaWR4XQpEX3NwYWNlX25vcm0gPC0gRF9zcGFjZV9mdWxsIC8gbWF4KERfc3BhY2VfZnVsbCkKCiMgQ292YXJpYXRlOiBwYWlyd2lzZSBkaXN0YW5jZXMgb24gbWVhbl92YWx1ZSBhY3Jvc3MgYWxsIDQwODIgb2JzZXJ2YXRpb25zCkRfY292X2Z1bGwgPC0gYXMubWF0cml4KGRpc3Qoc2NhbGUoZGF0YSRtZWFuX3ZhbHVlKSkpCkRfY292X25vcm0gPC0gRF9jb3ZfZnVsbCAvIG1heChEX2Nvdl9mdWxsKQoKIyAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQojIDIuIENvbWJpbmVkIGRpc3RhbmNlIChwcmVjb21wdXRlZCwgb3V0c2lkZSBhbGwgbG9vcHMpCiMgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KYWxwaGEgPC0gMCAgIyAwID0gcHVyZSBzcGF0aWFsLCAxID0gcHVyZSBjb3ZhcmlhdGUKRF9jb21iaW5lZCA8LSBhbHBoYSAqIERfY292X25vcm0gKyAoMSAtIGFscGhhKSAqIERfc3BhY2Vfbm9ybQoKIyAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQojIDMuIExPTyBjcm9zcy12YWxpZGF0aW9uIG92ZXIgawojIC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCmtfdmFsdWVzIDwtIDE6MzAKCmxvb19tc2UgPC0gc2FwcGx5KGtfdmFsdWVzLCBmdW5jdGlvbihrKSB7CiAgcHJlZCA8LSBudW1lcmljKG5fb2JzKQogIAogIGZvciAoaSBpbiAxOm5fb2JzKSB7CiAgICBuZWlnaGJvcnMgPC0gb3JkZXIoRF9jb21iaW5lZFtpLCAtaV0pWzE6a10KICAgIHByZWRbaV0gICA8LSBtZWFuKGRhdGEkeVstaV1bbmVpZ2hib3JzXSkKICB9CiAgCiAgbWVhbigoZGF0YSR5IC0gcHJlZCleMikKfSkKCiMgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KIyA0LiBSZXN1bHRzCiMgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCmJlc3RfayAgICA8LSBrX3ZhbHVlc1t3aGljaC5taW4obG9vX21zZSldCmJlc3RfS05OX21zZSA8LSBsb29fbXNlW3doaWNoLm1pbihsb29fbXNlKV0KCgojIEFub3RoZXIgYXBwcm9hY2gKIyAKIyBrX3ZhbHVlcyA8LSAxOjMwCiMgCiMgbG9vX21zZSA8LSBzYXBwbHkoa192YWx1ZXMsIGZ1bmN0aW9uKGspIHsKIyAgIG4gPC0gbnJvdyhkYXRhKQojICAgcHJlZCA8LSBudW1lcmljKG4pCiMgICAKIyAgIGZvciAoaSBpbiAxOm4pIHsKIyAgICAgcHJlZFtpXSA8LSBrbm4ucmVnKAojICAgICAgIHRyYWluID0gbWF0cml4KGRhdGEkbWVhbl92YWx1ZVstaV0pLAojICAgICAgIHkgICAgID0gZGF0YSR5Wy1pXSwKIyAgICAgICB0ZXN0ICA9IG1hdHJpeChkYXRhJG1lYW5fdmFsdWVbaV0pLAojICAgICAgIGsgICAgID0gawojICAgICApJHByZWQKIyAgIH0KIyAgIAojICAgbWVhbigoZGF0YSR5IC0gcHJlZCleMikKIyB9KQojIAojIHBsb3Qoa192YWx1ZXMsIGxvb19tc2UsIHR5cGUgPSAiYiIsIHhsYWIgPSAiayIsIHlsYWIgPSAiTE9PIFJNU0UiKQojIAojIGJlc3RfayAgICA8LSBrX3ZhbHVlc1t3aGljaC5taW4obG9vX21zZSldCiMgYmVzdF9rbm5fbXNlIDwtIGxvb19tc2Vbd2hpY2gubWluKGxvb19tc2UpXQoKCnNhdmUobXNlX2xvb2N2X2xtLCBiZXN0X0tOTl9tc2UsIE1TRV9JU09DT1YsIGZpbGUgPSBoZXJlKCJkYXRhX2ZpbGVzL3NpbXBsZV9saW5lYXJfcmVncmVzc2lvbl9yZXN1bHRzLlJEYXRhIikpCmBgYAoKQmVsb3cgd2Ugc2hvdyB0aGUgTVNFIHJlc3VsdHMgZm9yIHRoZSBzaW1wbGUgbGluZWFyIHJlZ3Jlc3Npb24gYG1zZV9sb29jdl9sbWAgYW5kIHRoZSBrTk4gcmVncmVzc2lvbiBgYmVzdF9LTk5fbXNlYC4KCgpgYGB7ciwgZXZhbCA9IFRSVUV9CmxvYWQoaGVyZSgiZGF0YV9maWxlcy9zaW1wbGVfbGluZWFyX3JlZ3Jlc3Npb25fcmVzdWx0cy5SRGF0YSIpKQptc2VfZGZbMSwtMV0KZGF0YS5mcmFtZShMTSA9IG1zZV9sb29jdl9sbSwgCiAgICAgICAgICAga05OZGlzdE1BVCA9IGJlc3RfS05OX21zZSwKICAgICAgICAgICBNU0VfSVNPQ09WID0gTVNFX0lTT0NPVikKYGBgCgoKIyBSZWZlcmVuY2VzCgoKYGBge3IsIGV2YWwgPSBUUlVFfQpncmF0ZWZ1bDo6Y2l0ZV9wYWNrYWdlcyhvdXRwdXQgPSAicGFyYWdyYXBoIiwgb3V0LmRpciA9ICIuIikKYGBgCgoK