Go back to the Contents page.


Press Show to reveal the code chunks.


Below we 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(593) 
# 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 and define the auxiliary functions.

library(rSPDE)
library(MetricGraph)

library(dplyr)
library(plotly)
library(scales)
library(patchwork)
library(tidyr)

library(here)
library(rmarkdown)
# Cite all loaded packages
library(grateful)

library(slackr)
source("keys.R")
slackr_setup(token = token) # token comes from keys.R
## [1] "Successfully connected to Slack"
capture.output(
  knitr::purl(here::here("functionality1.Rmd"), output = here::here("functionality1.R")),
  file = here::here("old/purl_log.txt")
)
source(here::here("functionality1.R"))
gets_f_in_dist_mesh <- function(graph, f_values){
  VtE <- graph$mesh$VtE
  E <- graph$E
  nE <- graph$nE
  nV <- graph$nV
  E_ext <- data.frame(edge_number = 1:nE, vertex_start = E[,1], vertex_end = E[,2])
  
  original_vertex <- VtE[1:nV,]
  f <- f_values[1:nV]
  
  no_vertices <- cbind(VtE[(nV+1):length(f_values),], f_values[(nV+1):length(f_values)])
  
  same_vertex_list <- list()
  for (i in 1:nE) {
    same_vertex_list[[i]] <- E_ext %>% 
      filter(vertex_start == i | vertex_end == i) %>%
      mutate(lor = case_when(vertex_start == i ~ 0,vertex_end == i ~ 1)) %>% 
      dplyr::select(edge_number, lor) %>% 
      as.matrix()
  }
  
  for (i in seq_len(nrow(original_vertex))) {
    current_row <- original_vertex[i, ]
    # Find which matrix in same_vertex_list contains this row
    for (j in seq_along(same_vertex_list)) {
      if (any(apply(same_vertex_list[[j]], 1, function(x) all(x == current_row)))) {
        # Add a new column with the corresponding value from f
        same_vertex_list[[j]] <- cbind(same_vertex_list[[j]], f[i])
        break
      }
    }
  }
  
  result_matrix <- do.call(rbind, same_vertex_list)
  return(rbind(no_vertices, result_matrix))
}

Let’s build a small graph to illustrate the effect of \(\tau\) on the graph.

edge1 <- rbind(c(0,0),c(1,0))
edge2 <- rbind(c(0,0),c(0,1))
edge3 <- rbind(c(0,1),c(-1,1))
theta <- seq(from = pi,to = 3*pi/2,length.out = 50)
edge4 <- cbind(sin(theta),1+ cos(theta))
edges <- list(edge1, edge2, edge3, edge4)
h = 0.01
graph <- metric_graph$new(edges = edges)
aux_graph <- graph$clone()
graph$build_mesh(h=h, continuous = TRUE)
edge_number <- graph$mesh$VtE
XY_graph <- graph$mesh$V

aux_graph$build_mesh(h=h, continuous = FALSE)
aux_edge_number <- aux_graph$mesh$VtE
aux_XY_graph <- aux_graph$mesh$V

Let \(f(s) = \mathrm{edge.number}(s)/4\) and \(g(s) = 0.5 \cdot (x^2(s) - y^2(s)) + 0.5\), where \((x(s), y(s))\) denote the Euclidean coordinates on the plane (see Figures 1 and 2). Clearly, \(f\) is continuous, whereas \(g\) is discontinuous. These functions serve as covariates in the analysis.

f <- edge_number[,1]/4 # discontinuous covariate
g <- 0.5*(XY_graph[, 1]^2 - XY_graph[, 2]^2) + 0.5 # continuous covariate

aux_f <- aux_edge_number[,1]/4# discontinuous covariate
aux_g <- 0.5*(aux_XY_graph[, 1]^2 - aux_XY_graph[, 2]^2) + 0.5 # continuous covariate
a = 2

1 Plot the covariates.

cov_f <- aux_graph$plot_function(aux_f, vertex_size = 1, type = "plotly", line_color = "#0000C8", line_width = gsw, continuous = FALSE, interpolate_plot = FALSE, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("f(s) = \\mathrm{edge.number}(s)/4"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

cov_g <- graph$plot_function(g, vertex_size = 1, type = "plotly", line_color = "red", line_width = gsw, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("g(s) = 0.5 \\cdot (x^2(s) - y^2(s)) + 0.5"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

save(cov_f, file = here::here("data_files/cov_f.Rdata"))
save(cov_g, file = here::here("data_files/cov_g.Rdata"))
load(here::here("data_files/cov_f.Rdata"))
cov_f

Figure 1: Discontinuous covariate \(f(s) = \mathrm{edge.number}(s)/4\).

load(here::here("data_files/cov_g.Rdata"))
cov_g

Figure 2: Continuous covariate \(g(s) = 0.5 \cdot (x^2(s) - y^2(s)) + 0.5\).

normal_sample <- rnorm(length(g))

2 Both covariates are continuous

We now consider the case where both covariates are continuous, that is \(\tau(s) = \exp(g(s))\) and \(\kappa(s) = \exp(g(s))\). Using these, we simulate \(u(s)\). See Figures 3,4, and 5.

# Define the matrices B.tau and B.kappa
B.tau =   cbind(0, 1, 0, g, 0)
B.kappa = cbind(0, 0, 1, 0, g)
# Log-regression coefficients
theta <- c(0, 0, 1, 1) 
# Choose alpha
nu = 2.5
alpha = nu + 1/2
# Compute the operator
op <- rSPDE::spde.matern.operators(graph = graph,
                                      B.tau = B.tau,
                                      B.kappa =  B.kappa,
                                      parameterization = "spde",
                                      theta = theta,
                                      alpha = alpha)
# Simulate the non-stationary field
Sigma <- precision(op)
R <- chol(Sigma)
u = solve(R, normal_sample)

model_for_tau <- exp(B.tau[,-1]%*%theta)
model_for_kappa <- exp(B.kappa[,-1]%*%theta)
kkk1 <- graph$plot_function(model_for_tau, vertex_size = 1, type = "plotly", line_color = "#0000C8", line_width = gsw, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("\\tau(s) = \\exp(g(s))"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk2 <- graph$plot_function(model_for_kappa, vertex_size = 1, type = "plotly", line_color = "red", line_width = gsw, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("\\kappa(s) = \\exp(g(s))"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk3 <- graph$plot_function(X = u, vertex_size = 1, type = "plotly", line_color = "darkgreen", line_width = gsw, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("u(s)"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))


save(kkk1, file = here::here("data_files/kkk1.Rdata"))
save(kkk2, file = here::here("data_files/kkk2.Rdata"))
save(kkk3, file = here::here("data_files/kkk3.Rdata"))
load(here::here("data_files/kkk1.Rdata"))
kkk1

Figure 3: Model for \(\tau(s)\).

load(here::here("data_files/kkk2.Rdata"))
kkk2

Figure 4: Model for \(\kappa(s)\).

load(here::here("data_files/kkk3.Rdata"))
kkk3

Figure 5: Simulated field \(u(s)\).

3 Both covariates are discontinuos

We now consider the case where both covariates are discontinuous, that is \(\tau(s) = \exp(f(s))\) and \(\kappa(s) = \exp(f(s))\). Using these, we simulate \(u(s)\). See Figures 6,7, and 8.

tau <- 1
# Define the matrices B.tau and B.kappa
B.tau <- cbind(0, 1, 0, log(tau)*rep(1, length(f)), 0)
realB.tau <- cbind(0, 1, 0, f, 0)
B.kappa = cbind(0, 0, 1, 0, f)
# Log-regression coefficients
theta <- c(0, 0, 1, 1) 
# Compute the operator
op1 <- rSPDE::spde.matern.operators(graph = graph,
                                      B.tau = B.tau,
                                      B.kappa =  B.kappa,
                                      parameterization = "spde",
                                      theta = theta,
                                      alpha = alpha)

realmodel_for_tau <- exp(realB.tau[,-1]%*%theta)
normal_sample1 <- normal_sample #rnorm(length(g))

Sigma1 <- precision(op1)
R1 <- chol(Sigma1)
u1cont <- solve(R1, normal_sample1)
u1 <-u1cont*tau/realmodel_for_tau

op2 <- rSPDE::spde.matern.operators(graph = graph,
                                      B.tau = realB.tau,
                                      B.kappa =  B.kappa,
                                      parameterization = "spde",
                                      theta = theta,
                                      alpha = alpha)
Sigma2 <- precision(op2)
R2 <- chol(Sigma2)
u2 = solve(R2, normal_sample1)

# To plot the models for tau and kappa
aux_B.tau =   cbind(0, 1, 0, aux_f, 0)
aux_B.kappa = cbind(0, 0, 1, 0, aux_f)
model_for_tau <- exp(aux_B.tau[,-1]%*%theta)
model_for_kappa <- exp(aux_B.kappa[,-1]%*%theta)
gg <- gets_f_in_dist_mesh(graph, u1cont)
aux_df <- data.frame(.edge_number = gg[,1], .distance_on_edge = gg[,2], f = gg[,3])
another_df <- cbind(tau/model_for_tau, aux_graph$mesh$VtE)
colnames(another_df) <- c("tau_rel", ".edge_number", ".distance_on_edge")
another_df <- as.data.frame(another_df)
# Step 1: Sort aux_df by the four columns
aux_df_sorted <- aux_df %>%
  arrange(.edge_number, .distance_on_edge)

another_df_sorted <- another_df %>%
  arrange(.edge_number, .distance_on_edge)
# Merge
merged_df <- cbind(aux_df_sorted, another_df_sorted)[c(1:4)] %>% mutate(final_f = f*tau_rel) %>% dplyr::select(-tau_rel, -f) %>% rename(edge_number = .edge_number, distance_on_edge = .distance_on_edge, f = final_f)

prod <- aux_graph$process_data(data = merged_df, normalized = TRUE)
kkk4 <- aux_graph$plot_function(model_for_tau, vertex_size = 1, type = "plotly", line_color = "#0000C8", line_width = gsw, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("\\tau(s) = \\exp(f(s))"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk5 <- aux_graph$plot_function(model_for_kappa, vertex_size = 1, type = "plotly", line_color = "red", line_width = gsw, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("\\kappa(s) = \\exp(f(s))"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk6 <- aux_graph$plot_function(data = "f", newdata= prod, vertex_size = 1, type = "plotly", line_color = "darkgreen", line_width = gsw, continuous = FALSE, edge_width = gsw) %>%  
  config(mathjax = 'cdn') %>% 
  layout(title = list(text = TeX("u(s)"), y = 0.85),
font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))


save(kkk4, file = here::here("data_files/kkk4.Rdata"))
save(kkk5, file = here::here("data_files/kkk5.Rdata"))
save(kkk6, file = here::here("data_files/kkk6.Rdata"))
load(here::here("data_files/kkk4.Rdata"))
kkk4

Figure 6: Model for \(\tau(s)\).

load(here::here("data_files/kkk5.Rdata"))
kkk5

Figure 7: Model for \(\kappa(s)\).

load(here::here("data_files/kkk6.Rdata"))
kkk6

Figure 8: Simulated field \(u(s)\).

4 The covariate for \(\tau\) is discontinuous and the covariate for \(\kappa\) is continuous

We now consider the case where the covariate for \(\tau\) is discontinuous and the covariate for \(\kappa\) is continuous, that is \(\tau(s) = \exp(f(s))\) and \(\kappa(s) = \exp(g(s))\). Using these, we simulate \(u(s)\). See Figures 12, 13, and 14.

# Define the matrices B.tau and B.kappa
B.tau <- cbind(0, 1, 0, log(tau)*rep(1, length(f)), 0)
realB.tau <- cbind(0, 1, 0, f, 0)
B.kappa = cbind(0, 0, 1, 0, g)
# Log-regression coefficients
theta <- c(0, 0, 1, 1)
# Compute the operator
op1 <- rSPDE::spde.matern.operators(graph = graph,
                                      B.tau = B.tau,
                                      B.kappa =  B.kappa,
                                      parameterization = "spde",
                                      theta = theta,
                                      alpha = alpha)

realmodel_for_tau <- exp(realB.tau[,-1]%*%theta)
normal_sample2 <- normal_sample#rnorm(length(g))

Sigma1 <- precision(op1)
R1 <- chol(Sigma1)
u1cont <- solve(R1, normal_sample2)
u1 <-u1cont*tau/realmodel_for_tau

op2 <- rSPDE::spde.matern.operators(graph = graph,
                                    B.tau = realB.tau,
                                    B.kappa =  B.kappa,
                                    parameterization = "spde",
                                    theta = theta,
                                    alpha = alpha)
Sigma2 <- precision(op2)
R2 <- chol(Sigma2)
u2 = solve(R2, normal_sample2)

# To plot the models for tau and kappa
aux_B.tau =   cbind(0, 1, 0, aux_f, 0)
model_for_tau <- exp(aux_B.tau[,-1]%*%theta)
model_for_kappa <- exp(B.kappa[,-1]%*%theta)
gg <- gets_f_in_dist_mesh(graph, u1cont)
aux_df <- data.frame(.edge_number = gg[,1], .distance_on_edge = gg[,2], f = gg[,3])
another_df <- cbind(tau/model_for_tau, aux_graph$mesh$VtE)
colnames(another_df) <- c("tau_rel", ".edge_number", ".distance_on_edge")
another_df <- as.data.frame(another_df)
# Step 1: Sort aux_df by the four columns
aux_df_sorted <- aux_df %>%
  arrange(.edge_number, .distance_on_edge)

another_df_sorted <- another_df %>%
  arrange(.edge_number, .distance_on_edge)
# Merge
merged_df <- cbind(aux_df_sorted, another_df_sorted)[c(1:4)] %>% mutate(final_f = f*tau_rel) %>% dplyr::select(-tau_rel, -f) %>% rename(edge_number = .edge_number, distance_on_edge = .distance_on_edge, f = final_f)

prod <- aux_graph$process_data(data = merged_df, normalized = TRUE)
kkk7 <- aux_graph$plot_function(model_for_tau, vertex_size = 1, type = "plotly", line_color = "#0000C8", line_width = gsw, edge_color = "black", edge_width = gsw) %>%
  config(mathjax = 'cdn') %>%
  layout(font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk8 <- graph$plot_function(model_for_kappa, vertex_size = 1, type = "plotly", line_color = "red", line_width = gsw, edge_color = "black", edge_width = gsw) %>%
  config(mathjax = 'cdn') %>%
  layout(font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk9 <- aux_graph$plot_function(data = "f", newdata= prod, vertex_size = 1, type = "plotly", line_color = "darkgreen", line_width = gsw, continuous = FALSE, interpolate_plot = FALSE, edge_color = "black", edge_width = gsw) %>%
  config(mathjax = 'cdn') %>%
  layout(font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

save(kkk7, file = here::here("data_files/kkk7.Rdata"))
save(kkk8, file = here::here("data_files/kkk8.Rdata"))
save(kkk9, file = here::here("data_files/kkk9.Rdata"))

5 The covariate for \(\tau\) is continuous and the covariate for \(\kappa\) is discontinuous

We now consider the case where the covariate for \(\tau\) is continuous and the covariate for \(\kappa\) is discontinuous, that is \(\tau(s) = \exp(g(s))\) and \(\kappa(s) = \exp(f(s))\). Using these, we simulate \(u(s)\). See Figures 9, 10, and 11.

# Define the matrices B.tau and B.kappa
B.tau =   cbind(0, 1, 0, g, 0) #rep(1, length(f))
B.kappa = cbind(0, 0, 1, 0, f)
# Log-regression coefficients
theta <- c(0, 0, 1, 1)
# Compute the operator
op <- rSPDE::spde.matern.operators(graph = graph,
                                      B.tau = B.tau,
                                      B.kappa =  B.kappa,
                                      parameterization = "spde",
                                      theta = theta,
                                      alpha = alpha)
# Simulate the non-stationary field
Sigma <- precision(op)
R <- chol(Sigma)
u = solve(R, normal_sample)

aux_B.kappa = cbind(0, 0, 1, 0, aux_f)
model_for_tau <- exp(B.tau[,-1]%*%theta)
model_for_kappa <- exp(aux_B.kappa[,-1]%*%theta)
kkk10 <- graph$plot_function(model_for_tau, vertex_size = 1, type = "plotly", line_color = "#0000C8", line_width = gsw, edge_color = "black", edge_width = gsw) %>%
  config(mathjax = 'cdn') %>%
  layout(font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk11 <- aux_graph$plot_function(model_for_kappa, vertex_size = 1, type = "plotly", line_color = "red", line_width = gsw, edge_color = "black", edge_width = gsw) %>%
  config(mathjax = 'cdn') %>%
  layout(font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

kkk12 <- graph$plot_function(X = u, vertex_size = 1, type = "plotly", line_color = "darkgreen", line_width = gsw, edge_color = "black", edge_width = gsw) %>%
  config(mathjax = 'cdn') %>%
  layout(font = list(family = "Palatino"),
         showlegend = FALSE,
         scene = list(xaxis = list(title = list(text = "x", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              yaxis = list(title = list(text = "y", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
              zaxis = list(title = list(text = "z", font = list(color = colaxnn)),  tickfont = list(color = colaxnn)),
           aspectratio = list(x = 1/2, y = 1, z = 1),
camera = list(
      eye = list(x = -1*a, y = 0.5*a, z = 0.7*a))))

save(kkk10, file = here::here("data_files/kkk10.Rdata"))
save(kkk11, file = here::here("data_files/kkk11.Rdata"))
save(kkk12, file = here::here("data_files/kkk12.Rdata"))
load(here::here("data_files/kkk7.Rdata"))
kkk7
load(here::here("data_files/kkk8.Rdata"))
kkk8
load(here::here("data_files/kkk9.Rdata"))
kkk9

6 References

grateful::cite_packages(output = "paragraph", out.dir = ".")

We used R version 4.5.2 (R Core Team 2025a) and the following R packages: cowplot v. 1.2.0 (Wilke 2025), 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.0 (Hester and Bryan 2024), grid v. 4.5.2 (R Core Team 2025b), here v. 1.0.1 (Müller 2020), htmltools v. 0.5.8.1 (Cheng et al. 2024), INLA v. 25.11.22 (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.13.0 (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.5.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 2024), scales v. 1.4.0 (Wickham, Pedersen, and Seidel 2025), sf v. 1.1.0 (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).

Aden-Buie, Garrick, and Matthew T. Warkentin. 2024. xaringanExtra: Extras and Extensions for xaringan Slides. https://doi.org/10.32614/CRAN.package.xaringanExtra.
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. 2024. “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.
Cheng, Joe, Carson Sievert, Barret Schloerke, Winston Chang, Yihui Xie, and Jeff Allen. 2024. htmltools: Tools for HTML. https://github.com/rstudio/htmltools.
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.
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. 2024. glue: Interpreted String Literals. https://glue.tidyverse.org/.
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.
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. 2025a. R: A Language and Environment for Statistical Computing. Vienna, Austria: R Foundation for Statistical Computing. https://www.R-project.org/.
———. 2025b. 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.
LS0tCnRpdGxlOiAiVGhlIHJvbCBvZiAkXFx0YXUkIgpkYXRlOiAiTGFzdCBtb2RpZmllZDogYHIgZm9ybWF0KFN5cy50aW1lKCksICclZC0lbS0lWS4nKWAiCm91dHB1dDoKICBodG1sX2RvY3VtZW50OgogICAgbWF0aGpheDogImh0dHBzOi8vY2RuLmpzZGVsaXZyLm5ldC9ucG0vbWF0aGpheEAzL2VzNS90ZXgtbW1sLWNodG1sLmpzIgogICAgaGlnaGxpZ2h0OiBweWdtZW50cwogICAgdGhlbWU6IGZsYXRseQogICAgY29kZV9mb2xkaW5nOiBoaWRlICMgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSIgdG8gaGlkZSBjb2RlIGFuZCBhZGQgYSBidXR0b24gdG8gc2hvdyBpdAogICAgZGZfcHJpbnQ6IHBhZ2VkCiAgICB0b2M6IHRydWUKICAgIHRvY19mbG9hdDoKICAgICAgY29sbGFwc2VkOiB0cnVlCiAgICAgIHNtb290aF9zY3JvbGw6IHRydWUKICAgIG51bWJlcl9zZWN0aW9uczogdHJ1ZQogICAgZmlnX2NhcHRpb246IHRydWUKICAgIGNvZGVfZG93bmxvYWQ6IHRydWUKICAgIGNzczogdmlzdWFsLmNzcwphbHdheXNfYWxsb3dfaHRtbDogdHJ1ZQpiaWJsaW9ncmFwaHk6IAogIC0gcmVmZXJlbmNlcy5iaWIKICAtIGdyYXRlZnVsLXJlZnMuYmliCmhlYWRlci1pbmNsdWRlczoKICAtIFxuZXdjb21tYW5ke1xhcn17XG1hdGhiYntSfX0KICAtIFxuZXdjb21tYW5ke1xsbGF2fVsxXXtcbGVmdFx7IzFccmlnaHRcfX0KICAtIFxuZXdjb21tYW5ke1xwYXJlfVsxXXtcbGVmdCgjMVxyaWdodCl9CiAgLSBcbmV3Y29tbWFuZHtcTmNhbH17XG1hdGhjYWx7Tn19CiAgLSBcbmV3Y29tbWFuZHtcVmNhbH17XG1hdGhjYWx7Vn19CiAgLSBcbmV3Y29tbWFuZHtcRWNhbH17XG1hdGhjYWx7RX19CiAgLSBcbmV3Y29tbWFuZHtcV2NhbH17XG1hdGhjYWx7V319CiAgLSBcbmV3Y29tbWFuZHtcYWxtb3N0ZXZlcnl3aGVyZX17XG1hdGhybXthLmUufVw7fQotLS0KCkdvIGJhY2sgdG8gdGhlIFtDb250ZW50c10oYWJvdXQuaHRtbCkgcGFnZS4KCjxkaXYgc3R5bGU9ImNvbG9yOiAjMmMzZTUwOyB0ZXh0LWFsaWduOiByaWdodDsiPgoqKioqKioqKiAgCjxzdHJvbmc+UHJlc3MgU2hvdyB0byByZXZlYWwgdGhlIGNvZGUgY2h1bmtzLjwvc3Ryb25nPiAgCgoqKioqKioqKgo8L2Rpdj4KCgpCZWxvdyB3ZSBzZXQgc29tZSBnbG9iYWwgb3B0aW9ucyBmb3IgYWxsIGNvZGUgY2h1bmtzIGluIHRoaXMgZG9jdW1lbnQuCgoKYGBge3J9CiMgQ3JlYXRlIGEgY2xpcGJvYXJkIGJ1dHRvbiBvbiB0aGUgcmVuZGVyZWQgSFRNTCBwYWdlCnNvdXJjZShoZXJlOjpoZXJlKCJjbGlwYm9hcmQuUiIpKTsgY2xpcGJvYXJkCiMgU2V0IHNlZWQgZm9yIHJlcHJvZHVjaWJpbGl0eQpzZXQuc2VlZCg1OTMpIAojIFNldCBnbG9iYWwgb3B0aW9ucyBmb3IgYWxsIGNvZGUgY2h1bmtzCmtuaXRyOjpvcHRzX2NodW5rJHNldCgKICAjIERpc2FibGUgbWVzc2FnZXMgcHJpbnRlZCBieSBSIGNvZGUgY2h1bmtzCiAgbWVzc2FnZSA9IEZBTFNFLCAgICAKICAjIERpc2FibGUgd2FybmluZ3MgcHJpbnRlZCBieSBSIGNvZGUgY2h1bmtzCiAgd2FybmluZyA9IEZBTFNFLCAgICAKICAjIFNob3cgUiBjb2RlIHdpdGhpbiBjb2RlIGNodW5rcyBpbiBvdXRwdXQKICBlY2hvID0gVFJVRSwgICAgICAgIAogICMgSW5jbHVkZSBib3RoIFIgY29kZSBhbmQgaXRzIHJlc3VsdHMgaW4gb3V0cHV0CiAgaW5jbHVkZSA9IFRSVUUsICAgICAKICAjIEV2YWx1YXRlIFIgY29kZSBjaHVua3MKICBldmFsID0gRkFMU0UsICAgICAgIAogICMgRW5hYmxlIGNhY2hpbmcgb2YgUiBjb2RlIGNodW5rcyBmb3IgZmFzdGVyIHJlbmRlcmluZwogIGNhY2hlID0gRkFMU0UsICAgICAgCiAgIyBBbGlnbiBmaWd1cmVzIGluIHRoZSBjZW50ZXIgb2YgdGhlIG91dHB1dAogIGZpZy5hbGlnbiA9ICJjZW50ZXIiLAogICMgRW5hYmxlIHJldGluYSBkaXNwbGF5IGZvciBoaWdoLXJlc29sdXRpb24gZmlndXJlcwogIHJldGluYSA9IDIsCiAgIyBTaG93IGVycm9ycyBpbiB0aGUgb3V0cHV0IGluc3RlYWQgb2Ygc3RvcHBpbmcgcmVuZGVyaW5nCiAgZXJyb3IgPSBUUlVFLAogICMgRG8gbm90IGNvbGxhcHNlIGNvZGUgYW5kIG91dHB1dCBpbnRvIGEgc2luZ2xlIGJsb2NrCiAgY29sbGFwc2UgPSBGQUxTRQopCiMgU3RhcnQgdGhlIGZpZ3VyZSBjb3VudGVyCmZpZ19jb3VudCA8LSAwCiMgRGVmaW5lIHRoZSBjYXB0aW9uZXIgZnVuY3Rpb24KY2FwdGlvbmVyIDwtIGZ1bmN0aW9uKGNhcHRpb24pIHsKICBmaWdfY291bnQgPDwtIGZpZ19jb3VudCArIDEKICBwYXN0ZTAoIkZpZ3VyZSAiLCBmaWdfY291bnQsICI6ICIsIGNhcHRpb24pCn0KIyBEZWZpbmUgdGhlIGZ1bmN0aW9uIHRvIHRydW5jYXRlIGEgbnVtYmVyIHRvIHR3byBkZWNpbWFsIHBsYWNlcwp0cnVuY2F0ZV90b190d28gPC0gZnVuY3Rpb24oeCkgewogIHRydW5jYXRlZCA8LSBmbG9vcih4ICogMTAwKSAvIDEwMAogIHNwcmludGYoIiUuMmYiLCB0cnVuY2F0ZWQpCn0KYGBgCgoKCkJlbG93IHdlIGxvYWQgdGhlIG5lY2Vzc2FyeSBsaWJyYXJpZXMgYW5kIGRlZmluZSB0aGUgYXV4aWxpYXJ5IGZ1bmN0aW9ucy4KCmBgYHtyLCBldmFsID0gVFJVRX0KbGlicmFyeShyU1BERSkKbGlicmFyeShNZXRyaWNHcmFwaCkKCmxpYnJhcnkoZHBseXIpCmxpYnJhcnkocGxvdGx5KQpsaWJyYXJ5KHNjYWxlcykKbGlicmFyeShwYXRjaHdvcmspCmxpYnJhcnkodGlkeXIpCgpsaWJyYXJ5KGhlcmUpCmxpYnJhcnkocm1hcmtkb3duKQojIENpdGUgYWxsIGxvYWRlZCBwYWNrYWdlcwpsaWJyYXJ5KGdyYXRlZnVsKQoKbGlicmFyeShzbGFja3IpCnNvdXJjZSgia2V5cy5SIikKc2xhY2tyX3NldHVwKHRva2VuID0gdG9rZW4pICMgdG9rZW4gY29tZXMgZnJvbSBrZXlzLlIKYGBgCgoKYGBge3J9CmNhcHR1cmUub3V0cHV0KAogIGtuaXRyOjpwdXJsKGhlcmU6OmhlcmUoImZ1bmN0aW9uYWxpdHkxLlJtZCIpLCBvdXRwdXQgPSBoZXJlOjpoZXJlKCJmdW5jdGlvbmFsaXR5MS5SIikpLAogIGZpbGUgPSBoZXJlOjpoZXJlKCJvbGQvcHVybF9sb2cudHh0IikKKQpzb3VyY2UoaGVyZTo6aGVyZSgiZnVuY3Rpb25hbGl0eTEuUiIpKQpgYGAKCgpgYGB7cn0KZ2V0c19mX2luX2Rpc3RfbWVzaCA8LSBmdW5jdGlvbihncmFwaCwgZl92YWx1ZXMpewogIFZ0RSA8LSBncmFwaCRtZXNoJFZ0RQogIEUgPC0gZ3JhcGgkRQogIG5FIDwtIGdyYXBoJG5FCiAgblYgPC0gZ3JhcGgkblYKICBFX2V4dCA8LSBkYXRhLmZyYW1lKGVkZ2VfbnVtYmVyID0gMTpuRSwgdmVydGV4X3N0YXJ0ID0gRVssMV0sIHZlcnRleF9lbmQgPSBFWywyXSkKICAKICBvcmlnaW5hbF92ZXJ0ZXggPC0gVnRFWzE6blYsXQogIGYgPC0gZl92YWx1ZXNbMTpuVl0KICAKICBub192ZXJ0aWNlcyA8LSBjYmluZChWdEVbKG5WKzEpOmxlbmd0aChmX3ZhbHVlcyksXSwgZl92YWx1ZXNbKG5WKzEpOmxlbmd0aChmX3ZhbHVlcyldKQogIAogIHNhbWVfdmVydGV4X2xpc3QgPC0gbGlzdCgpCiAgZm9yIChpIGluIDE6bkUpIHsKICAgIHNhbWVfdmVydGV4X2xpc3RbW2ldXSA8LSBFX2V4dCAlPiUgCiAgICAgIGZpbHRlcih2ZXJ0ZXhfc3RhcnQgPT0gaSB8IHZlcnRleF9lbmQgPT0gaSkgJT4lCiAgICAgIG11dGF0ZShsb3IgPSBjYXNlX3doZW4odmVydGV4X3N0YXJ0ID09IGkgfiAwLHZlcnRleF9lbmQgPT0gaSB+IDEpKSAlPiUgCiAgICAgIGRwbHlyOjpzZWxlY3QoZWRnZV9udW1iZXIsIGxvcikgJT4lIAogICAgICBhcy5tYXRyaXgoKQogIH0KICAKICBmb3IgKGkgaW4gc2VxX2xlbihucm93KG9yaWdpbmFsX3ZlcnRleCkpKSB7CiAgICBjdXJyZW50X3JvdyA8LSBvcmlnaW5hbF92ZXJ0ZXhbaSwgXQogICAgIyBGaW5kIHdoaWNoIG1hdHJpeCBpbiBzYW1lX3ZlcnRleF9saXN0IGNvbnRhaW5zIHRoaXMgcm93CiAgICBmb3IgKGogaW4gc2VxX2Fsb25nKHNhbWVfdmVydGV4X2xpc3QpKSB7CiAgICAgIGlmIChhbnkoYXBwbHkoc2FtZV92ZXJ0ZXhfbGlzdFtbal1dLCAxLCBmdW5jdGlvbih4KSBhbGwoeCA9PSBjdXJyZW50X3JvdykpKSkgewogICAgICAgICMgQWRkIGEgbmV3IGNvbHVtbiB3aXRoIHRoZSBjb3JyZXNwb25kaW5nIHZhbHVlIGZyb20gZgogICAgICAgIHNhbWVfdmVydGV4X2xpc3RbW2pdXSA8LSBjYmluZChzYW1lX3ZlcnRleF9saXN0W1tqXV0sIGZbaV0pCiAgICAgICAgYnJlYWsKICAgICAgfQogICAgfQogIH0KICAKICByZXN1bHRfbWF0cml4IDwtIGRvLmNhbGwocmJpbmQsIHNhbWVfdmVydGV4X2xpc3QpCiAgcmV0dXJuKHJiaW5kKG5vX3ZlcnRpY2VzLCByZXN1bHRfbWF0cml4KSkKfQpgYGAKCgpMZXQncyBidWlsZCBhIHNtYWxsIGdyYXBoIHRvIGlsbHVzdHJhdGUgdGhlIGVmZmVjdCBvZiAkXHRhdSQgb24gdGhlIGdyYXBoLgoKYGBge3J9CmVkZ2UxIDwtIHJiaW5kKGMoMCwwKSxjKDEsMCkpCmVkZ2UyIDwtIHJiaW5kKGMoMCwwKSxjKDAsMSkpCmVkZ2UzIDwtIHJiaW5kKGMoMCwxKSxjKC0xLDEpKQp0aGV0YSA8LSBzZXEoZnJvbSA9IHBpLHRvID0gMypwaS8yLGxlbmd0aC5vdXQgPSA1MCkKZWRnZTQgPC0gY2JpbmQoc2luKHRoZXRhKSwxKyBjb3ModGhldGEpKQplZGdlcyA8LSBsaXN0KGVkZ2UxLCBlZGdlMiwgZWRnZTMsIGVkZ2U0KQpgYGAKCmBgYHtyfQpoID0gMC4wMQpncmFwaCA8LSBtZXRyaWNfZ3JhcGgkbmV3KGVkZ2VzID0gZWRnZXMpCmF1eF9ncmFwaCA8LSBncmFwaCRjbG9uZSgpCmdyYXBoJGJ1aWxkX21lc2goaD1oLCBjb250aW51b3VzID0gVFJVRSkKZWRnZV9udW1iZXIgPC0gZ3JhcGgkbWVzaCRWdEUKWFlfZ3JhcGggPC0gZ3JhcGgkbWVzaCRWCgphdXhfZ3JhcGgkYnVpbGRfbWVzaChoPWgsIGNvbnRpbnVvdXMgPSBGQUxTRSkKYXV4X2VkZ2VfbnVtYmVyIDwtIGF1eF9ncmFwaCRtZXNoJFZ0RQphdXhfWFlfZ3JhcGggPC0gYXV4X2dyYXBoJG1lc2gkVgpgYGAKCgpMZXQgJGYocykgPSBcbWF0aHJte2VkZ2UubnVtYmVyfShzKS80JCBhbmQgJGcocykgPSAwLjUgXGNkb3QgKHheMihzKSAtIHleMihzKSkgKyAwLjUkLCB3aGVyZSAkKHgocyksIHkocykpJCBkZW5vdGUgdGhlIEV1Y2xpZGVhbiBjb29yZGluYXRlcyBvbiB0aGUgcGxhbmUgKHNlZSBGaWd1cmVzIDEgYW5kIDIpLiBDbGVhcmx5LCAkZiQgaXMgY29udGludW91cywgd2hlcmVhcyAkZyQgaXMgZGlzY29udGludW91cy4gVGhlc2UgZnVuY3Rpb25zIHNlcnZlIGFzIGNvdmFyaWF0ZXMgaW4gdGhlIGFuYWx5c2lzLgoKYGBge3J9CmYgPC0gZWRnZV9udW1iZXJbLDFdLzQgIyBkaXNjb250aW51b3VzIGNvdmFyaWF0ZQpnIDwtIDAuNSooWFlfZ3JhcGhbLCAxXV4yIC0gWFlfZ3JhcGhbLCAyXV4yKSArIDAuNSAjIGNvbnRpbnVvdXMgY292YXJpYXRlCgphdXhfZiA8LSBhdXhfZWRnZV9udW1iZXJbLDFdLzQjIGRpc2NvbnRpbnVvdXMgY292YXJpYXRlCmF1eF9nIDwtIDAuNSooYXV4X1hZX2dyYXBoWywgMV1eMiAtIGF1eF9YWV9ncmFwaFssIDJdXjIpICsgMC41ICMgY29udGludW91cyBjb3ZhcmlhdGUKYGBgCgoKYGBge3J9CmEgPSAyCmBgYAoKCgojIFBsb3QgdGhlIGNvdmFyaWF0ZXMuCgoKYGBge3J9CmNvdl9mIDwtIGF1eF9ncmFwaCRwbG90X2Z1bmN0aW9uKGF1eF9mLCB2ZXJ0ZXhfc2l6ZSA9IDEsIHR5cGUgPSAicGxvdGx5IiwgbGluZV9jb2xvciA9ICIjMDAwMEM4IiwgbGluZV93aWR0aCA9IGdzdywgY29udGludW91cyA9IEZBTFNFLCBpbnRlcnBvbGF0ZV9wbG90ID0gRkFMU0UsIGVkZ2Vfd2lkdGggPSBnc3cpICU+JSAgCiAgY29uZmlnKG1hdGhqYXggPSAnY2RuJykgJT4lIAogIGxheW91dCh0aXRsZSA9IGxpc3QodGV4dCA9IFRlWCgiZihzKSA9IFxcbWF0aHJte2VkZ2UubnVtYmVyfShzKS80IiksIHkgPSAwLjg1KSwKZm9udCA9IGxpc3QoZmFtaWx5ID0gIlBhbGF0aW5vIiksCiAgICAgICAgIHNob3dsZWdlbmQgPSBGQUxTRSwKICAgICAgICAgc2NlbmUgPSBsaXN0KHhheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ4IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgICAgeWF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gInkiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB6YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieiIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgIGFzcGVjdHJhdGlvID0gbGlzdCh4ID0gMS8yLCB5ID0gMSwgeiA9IDEpLApjYW1lcmEgPSBsaXN0KAogICAgICBleWUgPSBsaXN0KHggPSAtMSphLCB5ID0gMC41KmEsIHogPSAwLjcqYSkpKSkKCmNvdl9nIDwtIGdyYXBoJHBsb3RfZnVuY3Rpb24oZywgdmVydGV4X3NpemUgPSAxLCB0eXBlID0gInBsb3RseSIsIGxpbmVfY29sb3IgPSAicmVkIiwgbGluZV93aWR0aCA9IGdzdywgZWRnZV93aWR0aCA9IGdzdykgJT4lICAKICBjb25maWcobWF0aGpheCA9ICdjZG4nKSAlPiUgCiAgbGF5b3V0KHRpdGxlID0gbGlzdCh0ZXh0ID0gVGVYKCJnKHMpID0gMC41IFxcY2RvdCAoeF4yKHMpIC0geV4yKHMpKSArIDAuNSIpLCB5ID0gMC44NSksCmZvbnQgPSBsaXN0KGZhbWlseSA9ICJQYWxhdGlubyIpLAogICAgICAgICBzaG93bGVnZW5kID0gRkFMU0UsCiAgICAgICAgIHNjZW5lID0gbGlzdCh4YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieCIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHlheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ5IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgICAgemF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gInoiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICBhc3BlY3RyYXRpbyA9IGxpc3QoeCA9IDEvMiwgeSA9IDEsIHogPSAxKSwKY2FtZXJhID0gbGlzdCgKICAgICAgZXllID0gbGlzdCh4ID0gLTEqYSwgeSA9IDAuNSphLCB6ID0gMC43KmEpKSkpCgpzYXZlKGNvdl9mLCBmaWxlID0gaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9jb3ZfZi5SZGF0YSIpKQpzYXZlKGNvdl9nLCBmaWxlID0gaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9jb3ZfZy5SZGF0YSIpKQpgYGAKCjo6Ojoge3N0eWxlPSJkaXNwbGF5OiBncmlkOyBncmlkLXRlbXBsYXRlLWNvbHVtbnM6IDQ4NXB4IDQ4NXB4IDQ4NXB4OyBncmlkLWNvbHVtbi1nYXA6IDBweDsifQoKOjo6IHt9CgpgYGB7ciwgZXZhbCA9VFJVRSwgZmlnLmhlaWdodCA9IDcsIG91dC53aWR0aCA9ICIxMDAlIiwgZmlnLmNhcCA9IGNhcHRpb25lcigiRGlzY29udGludW91cyBjb3ZhcmlhdGUgJGYocykgPSBcXG1hdGhybXtlZGdlLm51bWJlcn0ocykvNCQuIil9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9jb3ZfZi5SZGF0YSIpKQpjb3ZfZgpgYGAKCgo6OjoKCjo6OiB7fQoKYGBge3IsIGV2YWwgPVRSVUUsIGZpZy5oZWlnaHQgPSA3LCBvdXQud2lkdGggPSAiMTAwJSIsIGZpZy5jYXAgPSBjYXB0aW9uZXIoIkNvbnRpbnVvdXMgY292YXJpYXRlICRnKHMpID0gMC41IFxcY2RvdCAoeF4yKHMpIC0geV4yKHMpKSArIDAuNSQuIil9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9jb3ZfZy5SZGF0YSIpKQpjb3ZfZwpgYGAKCgo6OjoKCjo6OjoKCgpgYGB7cn0Kbm9ybWFsX3NhbXBsZSA8LSBybm9ybShsZW5ndGgoZykpCmBgYAoKCiMgQm90aCBjb3ZhcmlhdGVzIGFyZSBjb250aW51b3VzCgpXZSBub3cgY29uc2lkZXIgdGhlIGNhc2Ugd2hlcmUgYm90aCBjb3ZhcmlhdGVzIGFyZSBjb250aW51b3VzLCB0aGF0IGlzICRcdGF1KHMpID0gXGV4cChnKHMpKSQgYW5kICRca2FwcGEocykgPSBcZXhwKGcocykpJC4gVXNpbmcgdGhlc2UsIHdlIHNpbXVsYXRlICR1KHMpJC4gU2VlIEZpZ3VyZXMgMyw0LCBhbmQgNS4KCgpgYGB7cn0KIyBEZWZpbmUgdGhlIG1hdHJpY2VzIEIudGF1IGFuZCBCLmthcHBhCkIudGF1ID0gICBjYmluZCgwLCAxLCAwLCBnLCAwKQpCLmthcHBhID0gY2JpbmQoMCwgMCwgMSwgMCwgZykKIyBMb2ctcmVncmVzc2lvbiBjb2VmZmljaWVudHMKdGhldGEgPC0gYygwLCAwLCAxLCAxKSAKIyBDaG9vc2UgYWxwaGEKbnUgPSAyLjUKYWxwaGEgPSBudSArIDEvMgojIENvbXB1dGUgdGhlIG9wZXJhdG9yCm9wIDwtIHJTUERFOjpzcGRlLm1hdGVybi5vcGVyYXRvcnMoZ3JhcGggPSBncmFwaCwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBCLnRhdSA9IEIudGF1LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEIua2FwcGEgPSAgQi5rYXBwYSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBwYXJhbWV0ZXJpemF0aW9uID0gInNwZGUiLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHRoZXRhID0gdGhldGEsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYWxwaGEgPSBhbHBoYSkKIyBTaW11bGF0ZSB0aGUgbm9uLXN0YXRpb25hcnkgZmllbGQKU2lnbWEgPC0gcHJlY2lzaW9uKG9wKQpSIDwtIGNob2woU2lnbWEpCnUgPSBzb2x2ZShSLCBub3JtYWxfc2FtcGxlKQoKbW9kZWxfZm9yX3RhdSA8LSBleHAoQi50YXVbLC0xXSUqJXRoZXRhKQptb2RlbF9mb3Jfa2FwcGEgPC0gZXhwKEIua2FwcGFbLC0xXSUqJXRoZXRhKQpgYGAKCgpgYGB7cn0Ka2trMSA8LSBncmFwaCRwbG90X2Z1bmN0aW9uKG1vZGVsX2Zvcl90YXUsIHZlcnRleF9zaXplID0gMSwgdHlwZSA9ICJwbG90bHkiLCBsaW5lX2NvbG9yID0gIiMwMDAwQzgiLCBsaW5lX3dpZHRoID0gZ3N3LCBlZGdlX3dpZHRoID0gZ3N3KSAlPiUgIAogIGNvbmZpZyhtYXRoamF4ID0gJ2NkbicpICU+JSAKICBsYXlvdXQodGl0bGUgPSBsaXN0KHRleHQgPSBUZVgoIlxcdGF1KHMpID0gXFxleHAoZyhzKSkiKSwgeSA9IDAuODUpLApmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKa2trMiA8LSBncmFwaCRwbG90X2Z1bmN0aW9uKG1vZGVsX2Zvcl9rYXBwYSwgdmVydGV4X3NpemUgPSAxLCB0eXBlID0gInBsb3RseSIsIGxpbmVfY29sb3IgPSAicmVkIiwgbGluZV93aWR0aCA9IGdzdywgZWRnZV93aWR0aCA9IGdzdykgJT4lICAKICBjb25maWcobWF0aGpheCA9ICdjZG4nKSAlPiUgCiAgbGF5b3V0KHRpdGxlID0gbGlzdCh0ZXh0ID0gVGVYKCJcXGthcHBhKHMpID0gXFxleHAoZyhzKSkiKSwgeSA9IDAuODUpLApmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKa2trMyA8LSBncmFwaCRwbG90X2Z1bmN0aW9uKFggPSB1LCB2ZXJ0ZXhfc2l6ZSA9IDEsIHR5cGUgPSAicGxvdGx5IiwgbGluZV9jb2xvciA9ICJkYXJrZ3JlZW4iLCBsaW5lX3dpZHRoID0gZ3N3LCBlZGdlX3dpZHRoID0gZ3N3KSAlPiUgIAogIGNvbmZpZyhtYXRoamF4ID0gJ2NkbicpICU+JSAKICBsYXlvdXQodGl0bGUgPSBsaXN0KHRleHQgPSBUZVgoInUocykiKSwgeSA9IDAuODUpLApmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKCnNhdmUoa2trMSwgZmlsZSA9IGhlcmU6OmhlcmUoImRhdGFfZmlsZXMva2trMS5SZGF0YSIpKQpzYXZlKGtrazIsIGZpbGUgPSBoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazIuUmRhdGEiKSkKc2F2ZShra2szLCBmaWxlID0gaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2szLlJkYXRhIikpCmBgYAoKCjo6Ojoge3N0eWxlPSJkaXNwbGF5OiBncmlkOyBncmlkLXRlbXBsYXRlLWNvbHVtbnM6IDQ4NXB4IDQ4NXB4IDQ4NXB4OyBncmlkLWNvbHVtbi1nYXA6IDBweDsifQoKOjo6IHt9CgpgYGB7ciwgZXZhbCA9VFJVRSwgZmlnLmhlaWdodCA9IDcsIG91dC53aWR0aCA9ICIxMDAlIiwgZmlnLmNhcCA9IGNhcHRpb25lcigiTW9kZWwgZm9yICRcXHRhdShzKSQuIil9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2sxLlJkYXRhIikpCmtrazEKYGBgCgo6OjoKCjo6OiB7fQoKYGBge3IsIGV2YWwgPVRSVUUsIGZpZy5oZWlnaHQgPSA3LCBvdXQud2lkdGggPSAiMTAwJSIsIGZpZy5jYXAgPSBjYXB0aW9uZXIoIk1vZGVsIGZvciAkXFxrYXBwYShzKSQuIil9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2syLlJkYXRhIikpCmtrazIKYGBgCgoKOjo6Cgo6Ojoge30KCgpgYGB7ciwgZXZhbCA9VFJVRSwgZmlnLmhlaWdodCA9IDcsIG91dC53aWR0aCA9ICIxMDAlIiwgZmlnLmNhcCA9IGNhcHRpb25lcigiU2ltdWxhdGVkIGZpZWxkICR1KHMpJC4iKX0KbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazMuUmRhdGEiKSkKa2trMwpgYGAKCjo6OgoKOjo6OgoKCiMgQm90aCBjb3ZhcmlhdGVzIGFyZSBkaXNjb250aW51b3MKCldlIG5vdyBjb25zaWRlciB0aGUgY2FzZSB3aGVyZSBib3RoIGNvdmFyaWF0ZXMgYXJlIGRpc2NvbnRpbnVvdXMsIHRoYXQgaXMgJFx0YXUocykgPSBcZXhwKGYocykpJCBhbmQgJFxrYXBwYShzKSA9IFxleHAoZihzKSkkLiBVc2luZyB0aGVzZSwgd2Ugc2ltdWxhdGUgJHUocykkLiBTZWUgRmlndXJlcyA2LDcsIGFuZCA4LgoKYGBge3J9CnRhdSA8LSAxCiMgRGVmaW5lIHRoZSBtYXRyaWNlcyBCLnRhdSBhbmQgQi5rYXBwYQpCLnRhdSA8LSBjYmluZCgwLCAxLCAwLCBsb2codGF1KSpyZXAoMSwgbGVuZ3RoKGYpKSwgMCkKcmVhbEIudGF1IDwtIGNiaW5kKDAsIDEsIDAsIGYsIDApCkIua2FwcGEgPSBjYmluZCgwLCAwLCAxLCAwLCBmKQojIExvZy1yZWdyZXNzaW9uIGNvZWZmaWNpZW50cwp0aGV0YSA8LSBjKDAsIDAsIDEsIDEpIAojIENvbXB1dGUgdGhlIG9wZXJhdG9yCm9wMSA8LSByU1BERTo6c3BkZS5tYXRlcm4ub3BlcmF0b3JzKGdyYXBoID0gZ3JhcGgsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQi50YXUgPSBCLnRhdSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBCLmthcHBhID0gIEIua2FwcGEsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGFyYW1ldGVyaXphdGlvbiA9ICJzcGRlIiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB0aGV0YSA9IHRoZXRhLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhID0gYWxwaGEpCgpyZWFsbW9kZWxfZm9yX3RhdSA8LSBleHAocmVhbEIudGF1WywtMV0lKiV0aGV0YSkKbm9ybWFsX3NhbXBsZTEgPC0gbm9ybWFsX3NhbXBsZSAjcm5vcm0obGVuZ3RoKGcpKQoKU2lnbWExIDwtIHByZWNpc2lvbihvcDEpClIxIDwtIGNob2woU2lnbWExKQp1MWNvbnQgPC0gc29sdmUoUjEsIG5vcm1hbF9zYW1wbGUxKQp1MSA8LXUxY29udCp0YXUvcmVhbG1vZGVsX2Zvcl90YXUKCm9wMiA8LSByU1BERTo6c3BkZS5tYXRlcm4ub3BlcmF0b3JzKGdyYXBoID0gZ3JhcGgsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQi50YXUgPSByZWFsQi50YXUsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQi5rYXBwYSA9ICBCLmthcHBhLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHBhcmFtZXRlcml6YXRpb24gPSAic3BkZSIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgdGhldGEgPSB0aGV0YSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhbHBoYSA9IGFscGhhKQpTaWdtYTIgPC0gcHJlY2lzaW9uKG9wMikKUjIgPC0gY2hvbChTaWdtYTIpCnUyID0gc29sdmUoUjIsIG5vcm1hbF9zYW1wbGUxKQoKIyBUbyBwbG90IHRoZSBtb2RlbHMgZm9yIHRhdSBhbmQga2FwcGEKYXV4X0IudGF1ID0gICBjYmluZCgwLCAxLCAwLCBhdXhfZiwgMCkKYXV4X0Iua2FwcGEgPSBjYmluZCgwLCAwLCAxLCAwLCBhdXhfZikKbW9kZWxfZm9yX3RhdSA8LSBleHAoYXV4X0IudGF1WywtMV0lKiV0aGV0YSkKbW9kZWxfZm9yX2thcHBhIDwtIGV4cChhdXhfQi5rYXBwYVssLTFdJSoldGhldGEpCmBgYAoKCgoKYGBge3J9CmdnIDwtIGdldHNfZl9pbl9kaXN0X21lc2goZ3JhcGgsIHUxY29udCkKYXV4X2RmIDwtIGRhdGEuZnJhbWUoLmVkZ2VfbnVtYmVyID0gZ2dbLDFdLCAuZGlzdGFuY2Vfb25fZWRnZSA9IGdnWywyXSwgZiA9IGdnWywzXSkKYW5vdGhlcl9kZiA8LSBjYmluZCh0YXUvbW9kZWxfZm9yX3RhdSwgYXV4X2dyYXBoJG1lc2gkVnRFKQpjb2xuYW1lcyhhbm90aGVyX2RmKSA8LSBjKCJ0YXVfcmVsIiwgIi5lZGdlX251bWJlciIsICIuZGlzdGFuY2Vfb25fZWRnZSIpCmFub3RoZXJfZGYgPC0gYXMuZGF0YS5mcmFtZShhbm90aGVyX2RmKQojIFN0ZXAgMTogU29ydCBhdXhfZGYgYnkgdGhlIGZvdXIgY29sdW1ucwphdXhfZGZfc29ydGVkIDwtIGF1eF9kZiAlPiUKICBhcnJhbmdlKC5lZGdlX251bWJlciwgLmRpc3RhbmNlX29uX2VkZ2UpCgphbm90aGVyX2RmX3NvcnRlZCA8LSBhbm90aGVyX2RmICU+JQogIGFycmFuZ2UoLmVkZ2VfbnVtYmVyLCAuZGlzdGFuY2Vfb25fZWRnZSkKIyBNZXJnZQptZXJnZWRfZGYgPC0gY2JpbmQoYXV4X2RmX3NvcnRlZCwgYW5vdGhlcl9kZl9zb3J0ZWQpW2MoMTo0KV0gJT4lIG11dGF0ZShmaW5hbF9mID0gZip0YXVfcmVsKSAlPiUgZHBseXI6OnNlbGVjdCgtdGF1X3JlbCwgLWYpICU+JSByZW5hbWUoZWRnZV9udW1iZXIgPSAuZWRnZV9udW1iZXIsIGRpc3RhbmNlX29uX2VkZ2UgPSAuZGlzdGFuY2Vfb25fZWRnZSwgZiA9IGZpbmFsX2YpCgpwcm9kIDwtIGF1eF9ncmFwaCRwcm9jZXNzX2RhdGEoZGF0YSA9IG1lcmdlZF9kZiwgbm9ybWFsaXplZCA9IFRSVUUpCmBgYAoKCmBgYHtyfQpra2s0IDwtIGF1eF9ncmFwaCRwbG90X2Z1bmN0aW9uKG1vZGVsX2Zvcl90YXUsIHZlcnRleF9zaXplID0gMSwgdHlwZSA9ICJwbG90bHkiLCBsaW5lX2NvbG9yID0gIiMwMDAwQzgiLCBsaW5lX3dpZHRoID0gZ3N3LCBlZGdlX3dpZHRoID0gZ3N3KSAlPiUgIAogIGNvbmZpZyhtYXRoamF4ID0gJ2NkbicpICU+JSAKICBsYXlvdXQodGl0bGUgPSBsaXN0KHRleHQgPSBUZVgoIlxcdGF1KHMpID0gXFxleHAoZihzKSkiKSwgeSA9IDAuODUpLApmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKa2trNSA8LSBhdXhfZ3JhcGgkcGxvdF9mdW5jdGlvbihtb2RlbF9mb3Jfa2FwcGEsIHZlcnRleF9zaXplID0gMSwgdHlwZSA9ICJwbG90bHkiLCBsaW5lX2NvbG9yID0gInJlZCIsIGxpbmVfd2lkdGggPSBnc3csIGVkZ2Vfd2lkdGggPSBnc3cpICU+JSAgCiAgY29uZmlnKG1hdGhqYXggPSAnY2RuJykgJT4lIAogIGxheW91dCh0aXRsZSA9IGxpc3QodGV4dCA9IFRlWCgiXFxrYXBwYShzKSA9IFxcZXhwKGYocykpIiksIHkgPSAwLjg1KSwKZm9udCA9IGxpc3QoZmFtaWx5ID0gIlBhbGF0aW5vIiksCiAgICAgICAgIHNob3dsZWdlbmQgPSBGQUxTRSwKICAgICAgICAgc2NlbmUgPSBsaXN0KHhheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ4IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgICAgeWF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gInkiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB6YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieiIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgIGFzcGVjdHJhdGlvID0gbGlzdCh4ID0gMS8yLCB5ID0gMSwgeiA9IDEpLApjYW1lcmEgPSBsaXN0KAogICAgICBleWUgPSBsaXN0KHggPSAtMSphLCB5ID0gMC41KmEsIHogPSAwLjcqYSkpKSkKCmtrazYgPC0gYXV4X2dyYXBoJHBsb3RfZnVuY3Rpb24oZGF0YSA9ICJmIiwgbmV3ZGF0YT0gcHJvZCwgdmVydGV4X3NpemUgPSAxLCB0eXBlID0gInBsb3RseSIsIGxpbmVfY29sb3IgPSAiZGFya2dyZWVuIiwgbGluZV93aWR0aCA9IGdzdywgY29udGludW91cyA9IEZBTFNFLCBlZGdlX3dpZHRoID0gZ3N3KSAlPiUgIAogIGNvbmZpZyhtYXRoamF4ID0gJ2NkbicpICU+JSAKICBsYXlvdXQodGl0bGUgPSBsaXN0KHRleHQgPSBUZVgoInUocykiKSwgeSA9IDAuODUpLApmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKCnNhdmUoa2trNCwgZmlsZSA9IGhlcmU6OmhlcmUoImRhdGFfZmlsZXMva2trNC5SZGF0YSIpKQpzYXZlKGtrazUsIGZpbGUgPSBoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazUuUmRhdGEiKSkKc2F2ZShra2s2LCBmaWxlID0gaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2s2LlJkYXRhIikpCmBgYAoKCjo6Ojoge3N0eWxlPSJkaXNwbGF5OiBncmlkOyBncmlkLXRlbXBsYXRlLWNvbHVtbnM6IDQ4NXB4IDQ4NXB4IDQ4NXB4OyBncmlkLWNvbHVtbi1nYXA6IDBweDsifQoKOjo6IHt9CgpgYGB7ciwgZXZhbCA9VFJVRSwgZmlnLmhlaWdodCA9IDcsIG91dC53aWR0aCA9ICIxMDAlIiwgZmlnLmNhcCA9IGNhcHRpb25lcigiTW9kZWwgZm9yICRcXHRhdShzKSQuIil9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2s0LlJkYXRhIikpCmtrazQKYGBgCgo6OjoKCjo6OiB7fQoKYGBge3IsIGV2YWwgPVRSVUUsIGZpZy5oZWlnaHQgPSA3LCBvdXQud2lkdGggPSAiMTAwJSIsIGZpZy5jYXAgPSBjYXB0aW9uZXIoIk1vZGVsIGZvciAkXFxrYXBwYShzKSQuIil9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2s1LlJkYXRhIikpCmtrazUKYGBgCgoKOjo6Cgo6Ojoge30KCgpgYGB7ciwgZXZhbCA9VFJVRSwgZmlnLmhlaWdodCA9IDcsIG91dC53aWR0aCA9ICIxMDAlIiwgZmlnLmNhcCA9IGNhcHRpb25lcigiU2ltdWxhdGVkIGZpZWxkICR1KHMpJC4iKX0KbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazYuUmRhdGEiKSkKa2trNgpgYGAKCjo6OgoKOjo6OgoKCgoKIyBUaGUgY292YXJpYXRlIGZvciAkXHRhdSQgaXMgZGlzY29udGludW91cyBhbmQgdGhlIGNvdmFyaWF0ZSBmb3IgJFxrYXBwYSQgaXMgY29udGludW91cwoKV2Ugbm93IGNvbnNpZGVyIHRoZSBjYXNlIHdoZXJlIHRoZSBjb3ZhcmlhdGUgZm9yICRcdGF1JCBpcyBkaXNjb250aW51b3VzIGFuZCB0aGUgY292YXJpYXRlIGZvciAkXGthcHBhJCBpcyBjb250aW51b3VzLCB0aGF0IGlzICRcdGF1KHMpID0gXGV4cChmKHMpKSQgYW5kICRca2FwcGEocykgPSBcZXhwKGcocykpJC4gVXNpbmcgdGhlc2UsIHdlIHNpbXVsYXRlICR1KHMpJC4gU2VlIEZpZ3VyZXMgMTIsIDEzLCBhbmQgMTQuCgpgYGB7cn0KIyBEZWZpbmUgdGhlIG1hdHJpY2VzIEIudGF1IGFuZCBCLmthcHBhCkIudGF1IDwtIGNiaW5kKDAsIDEsIDAsIGxvZyh0YXUpKnJlcCgxLCBsZW5ndGgoZikpLCAwKQpyZWFsQi50YXUgPC0gY2JpbmQoMCwgMSwgMCwgZiwgMCkKQi5rYXBwYSA9IGNiaW5kKDAsIDAsIDEsIDAsIGcpCiMgTG9nLXJlZ3Jlc3Npb24gY29lZmZpY2llbnRzCnRoZXRhIDwtIGMoMCwgMCwgMSwgMSkKIyBDb21wdXRlIHRoZSBvcGVyYXRvcgpvcDEgPC0gclNQREU6OnNwZGUubWF0ZXJuLm9wZXJhdG9ycyhncmFwaCA9IGdyYXBoLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEIudGF1ID0gQi50YXUsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQi5rYXBwYSA9ICBCLmthcHBhLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHBhcmFtZXRlcml6YXRpb24gPSAic3BkZSIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgdGhldGEgPSB0aGV0YSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhbHBoYSA9IGFscGhhKQoKcmVhbG1vZGVsX2Zvcl90YXUgPC0gZXhwKHJlYWxCLnRhdVssLTFdJSoldGhldGEpCm5vcm1hbF9zYW1wbGUyIDwtIG5vcm1hbF9zYW1wbGUjcm5vcm0obGVuZ3RoKGcpKQoKU2lnbWExIDwtIHByZWNpc2lvbihvcDEpClIxIDwtIGNob2woU2lnbWExKQp1MWNvbnQgPC0gc29sdmUoUjEsIG5vcm1hbF9zYW1wbGUyKQp1MSA8LXUxY29udCp0YXUvcmVhbG1vZGVsX2Zvcl90YXUKCm9wMiA8LSByU1BERTo6c3BkZS5tYXRlcm4ub3BlcmF0b3JzKGdyYXBoID0gZ3JhcGgsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEIudGF1ID0gcmVhbEIudGF1LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBCLmthcHBhID0gIEIua2FwcGEsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHBhcmFtZXRlcml6YXRpb24gPSAic3BkZSIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHRoZXRhID0gdGhldGEsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhID0gYWxwaGEpClNpZ21hMiA8LSBwcmVjaXNpb24ob3AyKQpSMiA8LSBjaG9sKFNpZ21hMikKdTIgPSBzb2x2ZShSMiwgbm9ybWFsX3NhbXBsZTIpCgojIFRvIHBsb3QgdGhlIG1vZGVscyBmb3IgdGF1IGFuZCBrYXBwYQphdXhfQi50YXUgPSAgIGNiaW5kKDAsIDEsIDAsIGF1eF9mLCAwKQptb2RlbF9mb3JfdGF1IDwtIGV4cChhdXhfQi50YXVbLC0xXSUqJXRoZXRhKQptb2RlbF9mb3Jfa2FwcGEgPC0gZXhwKEIua2FwcGFbLC0xXSUqJXRoZXRhKQpgYGAKCmBgYHtyfQpnZyA8LSBnZXRzX2ZfaW5fZGlzdF9tZXNoKGdyYXBoLCB1MWNvbnQpCmF1eF9kZiA8LSBkYXRhLmZyYW1lKC5lZGdlX251bWJlciA9IGdnWywxXSwgLmRpc3RhbmNlX29uX2VkZ2UgPSBnZ1ssMl0sIGYgPSBnZ1ssM10pCmFub3RoZXJfZGYgPC0gY2JpbmQodGF1L21vZGVsX2Zvcl90YXUsIGF1eF9ncmFwaCRtZXNoJFZ0RSkKY29sbmFtZXMoYW5vdGhlcl9kZikgPC0gYygidGF1X3JlbCIsICIuZWRnZV9udW1iZXIiLCAiLmRpc3RhbmNlX29uX2VkZ2UiKQphbm90aGVyX2RmIDwtIGFzLmRhdGEuZnJhbWUoYW5vdGhlcl9kZikKIyBTdGVwIDE6IFNvcnQgYXV4X2RmIGJ5IHRoZSBmb3VyIGNvbHVtbnMKYXV4X2RmX3NvcnRlZCA8LSBhdXhfZGYgJT4lCiAgYXJyYW5nZSguZWRnZV9udW1iZXIsIC5kaXN0YW5jZV9vbl9lZGdlKQoKYW5vdGhlcl9kZl9zb3J0ZWQgPC0gYW5vdGhlcl9kZiAlPiUKICBhcnJhbmdlKC5lZGdlX251bWJlciwgLmRpc3RhbmNlX29uX2VkZ2UpCiMgTWVyZ2UKbWVyZ2VkX2RmIDwtIGNiaW5kKGF1eF9kZl9zb3J0ZWQsIGFub3RoZXJfZGZfc29ydGVkKVtjKDE6NCldICU+JSBtdXRhdGUoZmluYWxfZiA9IGYqdGF1X3JlbCkgJT4lIGRwbHlyOjpzZWxlY3QoLXRhdV9yZWwsIC1mKSAlPiUgcmVuYW1lKGVkZ2VfbnVtYmVyID0gLmVkZ2VfbnVtYmVyLCBkaXN0YW5jZV9vbl9lZGdlID0gLmRpc3RhbmNlX29uX2VkZ2UsIGYgPSBmaW5hbF9mKQoKcHJvZCA8LSBhdXhfZ3JhcGgkcHJvY2Vzc19kYXRhKGRhdGEgPSBtZXJnZWRfZGYsIG5vcm1hbGl6ZWQgPSBUUlVFKQpgYGAKCgpgYGB7cn0Ka2trNyA8LSBhdXhfZ3JhcGgkcGxvdF9mdW5jdGlvbihtb2RlbF9mb3JfdGF1LCB2ZXJ0ZXhfc2l6ZSA9IDEsIHR5cGUgPSAicGxvdGx5IiwgbGluZV9jb2xvciA9ICIjMDAwMEM4IiwgbGluZV93aWR0aCA9IGdzdywgZWRnZV9jb2xvciA9ICJibGFjayIsIGVkZ2Vfd2lkdGggPSBnc3cpICU+JQogIGNvbmZpZyhtYXRoamF4ID0gJ2NkbicpICU+JQogIGxheW91dChmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKa2trOCA8LSBncmFwaCRwbG90X2Z1bmN0aW9uKG1vZGVsX2Zvcl9rYXBwYSwgdmVydGV4X3NpemUgPSAxLCB0eXBlID0gInBsb3RseSIsIGxpbmVfY29sb3IgPSAicmVkIiwgbGluZV93aWR0aCA9IGdzdywgZWRnZV9jb2xvciA9ICJibGFjayIsIGVkZ2Vfd2lkdGggPSBnc3cpICU+JQogIGNvbmZpZyhtYXRoamF4ID0gJ2NkbicpICU+JQogIGxheW91dChmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKa2trOSA8LSBhdXhfZ3JhcGgkcGxvdF9mdW5jdGlvbihkYXRhID0gImYiLCBuZXdkYXRhPSBwcm9kLCB2ZXJ0ZXhfc2l6ZSA9IDEsIHR5cGUgPSAicGxvdGx5IiwgbGluZV9jb2xvciA9ICJkYXJrZ3JlZW4iLCBsaW5lX3dpZHRoID0gZ3N3LCBjb250aW51b3VzID0gRkFMU0UsIGludGVycG9sYXRlX3Bsb3QgPSBGQUxTRSwgZWRnZV9jb2xvciA9ICJibGFjayIsIGVkZ2Vfd2lkdGggPSBnc3cpICU+JQogIGNvbmZpZyhtYXRoamF4ID0gJ2NkbicpICU+JQogIGxheW91dChmb250ID0gbGlzdChmYW1pbHkgPSAiUGFsYXRpbm8iKSwKICAgICAgICAgc2hvd2xlZ2VuZCA9IEZBTFNFLAogICAgICAgICBzY2VuZSA9IGxpc3QoeGF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gIngiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB5YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieSIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHpheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ6IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgYXNwZWN0cmF0aW8gPSBsaXN0KHggPSAxLzIsIHkgPSAxLCB6ID0gMSksCmNhbWVyYSA9IGxpc3QoCiAgICAgIGV5ZSA9IGxpc3QoeCA9IC0xKmEsIHkgPSAwLjUqYSwgeiA9IDAuNyphKSkpKQoKc2F2ZShra2s3LCBmaWxlID0gaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2s3LlJkYXRhIikpCnNhdmUoa2trOCwgZmlsZSA9IGhlcmU6OmhlcmUoImRhdGFfZmlsZXMva2trOC5SZGF0YSIpKQpzYXZlKGtrazksIGZpbGUgPSBoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazkuUmRhdGEiKSkKYGBgCgoKCiMgVGhlIGNvdmFyaWF0ZSBmb3IgJFx0YXUkIGlzIGNvbnRpbnVvdXMgYW5kIHRoZSBjb3ZhcmlhdGUgZm9yICRca2FwcGEkIGlzIGRpc2NvbnRpbnVvdXMKCldlIG5vdyBjb25zaWRlciB0aGUgY2FzZSB3aGVyZSB0aGUgY292YXJpYXRlIGZvciAkXHRhdSQgaXMgY29udGludW91cyBhbmQgdGhlIGNvdmFyaWF0ZSBmb3IgJFxrYXBwYSQgaXMgZGlzY29udGludW91cywgdGhhdCBpcyAkXHRhdShzKSA9IFxleHAoZyhzKSkkIGFuZCAkXGthcHBhKHMpID0gXGV4cChmKHMpKSQuIFVzaW5nIHRoZXNlLCB3ZSBzaW11bGF0ZSAkdShzKSQuIFNlZSBGaWd1cmVzIDksIDEwLCBhbmQgMTEuCgpgYGB7cn0KIyBEZWZpbmUgdGhlIG1hdHJpY2VzIEIudGF1IGFuZCBCLmthcHBhCkIudGF1ID0gICBjYmluZCgwLCAxLCAwLCBnLCAwKSAjcmVwKDEsIGxlbmd0aChmKSkKQi5rYXBwYSA9IGNiaW5kKDAsIDAsIDEsIDAsIGYpCiMgTG9nLXJlZ3Jlc3Npb24gY29lZmZpY2llbnRzCnRoZXRhIDwtIGMoMCwgMCwgMSwgMSkKIyBDb21wdXRlIHRoZSBvcGVyYXRvcgpvcCA8LSByU1BERTo6c3BkZS5tYXRlcm4ub3BlcmF0b3JzKGdyYXBoID0gZ3JhcGgsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQi50YXUgPSBCLnRhdSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBCLmthcHBhID0gIEIua2FwcGEsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGFyYW1ldGVyaXphdGlvbiA9ICJzcGRlIiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB0aGV0YSA9IHRoZXRhLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhID0gYWxwaGEpCiMgU2ltdWxhdGUgdGhlIG5vbi1zdGF0aW9uYXJ5IGZpZWxkClNpZ21hIDwtIHByZWNpc2lvbihvcCkKUiA8LSBjaG9sKFNpZ21hKQp1ID0gc29sdmUoUiwgbm9ybWFsX3NhbXBsZSkKCmF1eF9CLmthcHBhID0gY2JpbmQoMCwgMCwgMSwgMCwgYXV4X2YpCm1vZGVsX2Zvcl90YXUgPC0gZXhwKEIudGF1WywtMV0lKiV0aGV0YSkKbW9kZWxfZm9yX2thcHBhIDwtIGV4cChhdXhfQi5rYXBwYVssLTFdJSoldGhldGEpCmBgYAoKCmBgYHtyfQpra2sxMCA8LSBncmFwaCRwbG90X2Z1bmN0aW9uKG1vZGVsX2Zvcl90YXUsIHZlcnRleF9zaXplID0gMSwgdHlwZSA9ICJwbG90bHkiLCBsaW5lX2NvbG9yID0gIiMwMDAwQzgiLCBsaW5lX3dpZHRoID0gZ3N3LCBlZGdlX2NvbG9yID0gImJsYWNrIiwgZWRnZV93aWR0aCA9IGdzdykgJT4lCiAgY29uZmlnKG1hdGhqYXggPSAnY2RuJykgJT4lCiAgbGF5b3V0KGZvbnQgPSBsaXN0KGZhbWlseSA9ICJQYWxhdGlubyIpLAogICAgICAgICBzaG93bGVnZW5kID0gRkFMU0UsCiAgICAgICAgIHNjZW5lID0gbGlzdCh4YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieCIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgICAgIHlheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ5IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgICAgemF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gInoiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICBhc3BlY3RyYXRpbyA9IGxpc3QoeCA9IDEvMiwgeSA9IDEsIHogPSAxKSwKY2FtZXJhID0gbGlzdCgKICAgICAgZXllID0gbGlzdCh4ID0gLTEqYSwgeSA9IDAuNSphLCB6ID0gMC43KmEpKSkpCgpra2sxMSA8LSBhdXhfZ3JhcGgkcGxvdF9mdW5jdGlvbihtb2RlbF9mb3Jfa2FwcGEsIHZlcnRleF9zaXplID0gMSwgdHlwZSA9ICJwbG90bHkiLCBsaW5lX2NvbG9yID0gInJlZCIsIGxpbmVfd2lkdGggPSBnc3csIGVkZ2VfY29sb3IgPSAiYmxhY2siLCBlZGdlX3dpZHRoID0gZ3N3KSAlPiUKICBjb25maWcobWF0aGpheCA9ICdjZG4nKSAlPiUKICBsYXlvdXQoZm9udCA9IGxpc3QoZmFtaWx5ID0gIlBhbGF0aW5vIiksCiAgICAgICAgIHNob3dsZWdlbmQgPSBGQUxTRSwKICAgICAgICAgc2NlbmUgPSBsaXN0KHhheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ4IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgICAgeWF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gInkiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB6YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieiIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgIGFzcGVjdHJhdGlvID0gbGlzdCh4ID0gMS8yLCB5ID0gMSwgeiA9IDEpLApjYW1lcmEgPSBsaXN0KAogICAgICBleWUgPSBsaXN0KHggPSAtMSphLCB5ID0gMC41KmEsIHogPSAwLjcqYSkpKSkKCmtrazEyIDwtIGdyYXBoJHBsb3RfZnVuY3Rpb24oWCA9IHUsIHZlcnRleF9zaXplID0gMSwgdHlwZSA9ICJwbG90bHkiLCBsaW5lX2NvbG9yID0gImRhcmtncmVlbiIsIGxpbmVfd2lkdGggPSBnc3csIGVkZ2VfY29sb3IgPSAiYmxhY2siLCBlZGdlX3dpZHRoID0gZ3N3KSAlPiUKICBjb25maWcobWF0aGpheCA9ICdjZG4nKSAlPiUKICBsYXlvdXQoZm9udCA9IGxpc3QoZmFtaWx5ID0gIlBhbGF0aW5vIiksCiAgICAgICAgIHNob3dsZWdlbmQgPSBGQUxTRSwKICAgICAgICAgc2NlbmUgPSBsaXN0KHhheGlzID0gbGlzdCh0aXRsZSA9IGxpc3QodGV4dCA9ICJ4IiwgZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksICB0aWNrZm9udCA9IGxpc3QoY29sb3IgPSBjb2xheG5uKSksCiAgICAgICAgICAgICAgeWF4aXMgPSBsaXN0KHRpdGxlID0gbGlzdCh0ZXh0ID0gInkiLCBmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwgIHRpY2tmb250ID0gbGlzdChjb2xvciA9IGNvbGF4bm4pKSwKICAgICAgICAgICAgICB6YXhpcyA9IGxpc3QodGl0bGUgPSBsaXN0KHRleHQgPSAieiIsIGZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLCAgdGlja2ZvbnQgPSBsaXN0KGNvbG9yID0gY29sYXhubikpLAogICAgICAgICAgIGFzcGVjdHJhdGlvID0gbGlzdCh4ID0gMS8yLCB5ID0gMSwgeiA9IDEpLApjYW1lcmEgPSBsaXN0KAogICAgICBleWUgPSBsaXN0KHggPSAtMSphLCB5ID0gMC41KmEsIHogPSAwLjcqYSkpKSkKCnNhdmUoa2trMTAsIGZpbGUgPSBoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazEwLlJkYXRhIikpCnNhdmUoa2trMTEsIGZpbGUgPSBoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazExLlJkYXRhIikpCnNhdmUoa2trMTIsIGZpbGUgPSBoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazEyLlJkYXRhIikpCmBgYAoKCgo6Ojo6IHtzdHlsZT0iZGlzcGxheTogZ3JpZDsgZ3JpZC10ZW1wbGF0ZS1jb2x1bW5zOiA0ODVweCA0ODVweCA0ODVweDsgZ3JpZC1jb2x1bW4tZ2FwOiAwcHg7In0KCjo6OiB7fQoKYGBge3IsIGVjaG8gPSBGQUxTRSwgZXZhbCA9VFJVRSwgZmlnLmhlaWdodCA9IDcsIG91dC53aWR0aCA9ICIxMDAlIn0KbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazEwLlJkYXRhIikpCmtrazEwCmBgYAoKOjo6Cgo6Ojoge30KCmBgYHtyLCBlY2hvID0gRkFMU0UsIGV2YWwgPVRSVUUsIGZpZy5oZWlnaHQgPSA3LCBvdXQud2lkdGggPSAiMTAwJSJ9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2sxMS5SZGF0YSIpKQpra2sxMQpgYGAKCgo6OjoKCjo6OiB7fQoKCmBgYHtyLCBlY2hvID0gRkFMU0UsIGV2YWwgPVRSVUUsIGZpZy5oZWlnaHQgPSA3LCBvdXQud2lkdGggPSAiMTAwJSJ9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2sxMi5SZGF0YSIpKQpra2sxMgpgYGAKCjo6OgoKOjo6OgoKCgo6Ojo6IHtzdHlsZT0iZGlzcGxheTogZ3JpZDsgZ3JpZC10ZW1wbGF0ZS1jb2x1bW5zOiA0ODVweCA0ODVweCA0ODVweDsgZ3JpZC1jb2x1bW4tZ2FwOiAwcHg7In0KCjo6OiB7fQoKYGBge3IsIGV2YWwgPVRSVUUsIGZpZy5oZWlnaHQgPSA3LCBvdXQud2lkdGggPSAiMTAwJSJ9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2s3LlJkYXRhIikpCmtrazcKYGBgCgo6OjoKCjo6OiB7fQoKYGBge3IsIGV2YWwgPVRSVUUsIGZpZy5oZWlnaHQgPSA3LCBvdXQud2lkdGggPSAiMTAwJSJ9CmxvYWQoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9ra2s4LlJkYXRhIikpCmtrazgKYGBgCgoKOjo6Cgo6Ojoge30KCgpgYGB7ciwgZXZhbCA9VFJVRSwgZmlnLmhlaWdodCA9IDcsIG91dC53aWR0aCA9ICIxMDAlIn0KbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2trazkuUmRhdGEiKSkKa2trOQpgYGAKCjo6OgoKOjo6OgoKCiMgUmVmZXJlbmNlcwoKCmBgYHtyLCBldmFsID0gVFJVRX0KZ3JhdGVmdWw6OmNpdGVfcGFja2FnZXMob3V0cHV0ID0gInBhcmFncmFwaCIsIG91dC5kaXIgPSAiLiIpCmBgYAoKCg==