Go back to the Contents page.
Press Show to reveal the code chunks.
# Create a clipboard button on the rendered HTML page
source(here::here("clipboard.R")); clipboard
# Set seed for reproducibility
set.seed(1982)
# 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 = TRUE,
# 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)
}
library(MetricGraph)
library(ggplot2)
library(reshape2)
library(plotly)
library(patchwork)
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("control_functionality.Rmd"), output = here::here("control_functionality.R")),
file = here::here("purl_log.txt")
)
source(here::here("control_functionality.R"))
# Parameters
T_final <- 2
kappa <- 4#readRDS("old/kappa.RDS")#16
divider <- 2#readRDS("old/divider.RDS") #1
m_cut <- 8#readRDS("old/m_cut.RDS")
mu <- 1
a <- - 1
b <- 1
N_finite = 4 # choose even
adjusted_N_finite <- N_finite + N_finite/2 + 1
# Coefficients for f and g
coeff_elliptic_g <- 20*(1:adjusted_N_finite)^-1
coeff_elliptic_g[-2] <- 0
coeff_elliptic_f <- rep(0, adjusted_N_finite)
coeff_elliptic_f[2] <- 10
# Time step and mesh size
# POWERS <- seq(12, 6, by = -1.5)
#
# time_steps <- 0.1 * 2^-POWERS
# h_vector <- time_steps^(1/2)
h_vector <- 10^seq(log10(0.005), log10(0.1), length.out = 7)#c(0.005, 0.0075, 0.01, 0.025, 0.05, 0.075, 0.1)
h_star <- 0.001
# Overkill parameters
overkill_time_step <- 0.1 * 2^-(14)
overkill_h <- h_star#(0.1 * 2^-(14))^(1/2)
# Finest time and space mesh
overkill_time_seq <- seq(0, T_final, length.out = ((T_final - 0) / overkill_time_step + 1))
overkill_graph <- gets.graph.tadpole(h = overkill_h)
# Compute the weights on the finest mesh
overkill_graph$compute_fem() # This is needed to compute the weights
overkill_C <- overkill_graph$mesh$C
overkill_psi <- cos(overkill_time_seq)
overkill_phi <- sin(T_final - overkill_time_seq)
overkill_psi_prime <- - sin(overkill_time_seq)
overkill_phi_prime <- - cos(T_final - overkill_time_seq)
m_values <- c()
alpha_vector <- seq(1, 1.8, by = 0.2)
# Create a matrix to store the errors
errors_u_bar <- matrix(NA, nrow = length(h_vector), ncol = length(alpha_vector))
errors_p_bar <- matrix(NA, nrow = length(h_vector), ncol = length(alpha_vector))
errors_z_bar <- matrix(NA, nrow = length(h_vector), ncol = length(alpha_vector))
for (j in 1:length(alpha_vector)) {
alpha <- alpha_vector[j]
beta <- alpha / 2
# Compute the eigenvalues and eigenfunctions on the finest mesh
overkill_eigen_params <- gets.eigen.params(N_finite = N_finite,
kappa = kappa,
alpha = alpha,
graph = overkill_graph)
EIGENVAL_MINUS_ALPHA <- overkill_eigen_params$EIGENVAL_MINUS_ALPHA # Eigenvalues (they are independent of the meshes)
overkill_EIGENFUN <- overkill_eigen_params$EIGENFUN # Eigenfunctions on the finest mesh
# Compute the true solution on the finest mesh
overkill_elliptic_f <- as.vector(overkill_EIGENFUN %*% coeff_elliptic_f)
overkill_elliptic_g <- as.vector(overkill_EIGENFUN %*% coeff_elliptic_g)
# Construct the corresponding elliptic solution u and v on the integration mesh
overkill_elliptic_u <- as.vector(overkill_EIGENFUN %*% (coeff_elliptic_f * EIGENVAL_MINUS_ALPHA))
overkill_elliptic_v <- as.vector(overkill_EIGENFUN %*% (coeff_elliptic_g * EIGENVAL_MINUS_ALPHA))
overkill_u_bar <- outer(overkill_elliptic_u, overkill_psi)
overkill_p_bar <- - mu * outer(overkill_elliptic_v, overkill_phi)
overkill_z_bar <- matrix(pmax(a, pmin(b, - overkill_p_bar / mu)), dim(overkill_p_bar))
maxabs <- max(abs(overkill_p_bar / mu))
for (i in 1:length(h_vector)) {
h <- h_vector[i]
time_step <- (h^alpha)/divider
m <- min(m_cut, ceiling((log(h))^2 / (pi^2 * (1 - alpha / 2)))) #4
h <- largest_nested_h(h_star, h) # makes them nested
m_values <- c(m_values, m)
time_seq <- seq(0, T_final, length.out = ((T_final - 0) / time_step + 1))
graph <- gets.graph.tadpole(h = h)
graph$compute_fem()
G <- graph$mesh$G
C <- graph$mesh$C
L <- kappa^2*C + G
# Construct the fractional operator, which is shared for the forward and adjoint problems
my_op_frac <- my.fractional.operators.frac(L,
beta,
C,
scale.factor = kappa^2,
m = m,
time_step)
eigen_params <- gets.eigen.params(N_finite = N_finite,
kappa = kappa,
alpha = alpha,
graph = graph)
EIGENFUN <- eigen_params$EIGENFUN
# Construct the right hand side functions f and g for the elliptic problem
elliptic_f <- as.vector(EIGENFUN %*% coeff_elliptic_f)
elliptic_g <- as.vector(EIGENFUN %*% coeff_elliptic_g)
# Construct the corresponding elliptic solution u and v
elliptic_u <- as.vector(EIGENFUN %*% (coeff_elliptic_f * EIGENVAL_MINUS_ALPHA))
elliptic_v <- as.vector(EIGENFUN %*% (coeff_elliptic_g * EIGENVAL_MINUS_ALPHA))
psi <- cos(time_seq)
phi <- sin(T_final - time_seq)
psi_prime <- - sin(time_seq)
phi_prime <- - cos(T_final - time_seq)
u_bar <- elliptic_u %*% t(psi)
p_bar <- - mu * (elliptic_v %*% t(phi))
z_bar <- matrix(pmax(a, pmin(b, - p_bar / mu)), dim(p_bar))
# Construct the projection matrix
Psi <- graph$fem_basis(overkill_graph$get_mesh_locations())
R <- t(Psi) %*% overkill_graph$mesh$C
minus_p_bar_over_mu <- overkill_elliptic_v %*% t(phi)
z_aux <- matrix(pmax(a, pmin(b, minus_p_bar_over_mu)), dim(minus_p_bar_over_mu))
f <- overkill_elliptic_u %*% t(psi_prime) + overkill_elliptic_f %*% t(psi) - z_aux
U_d <- overkill_elliptic_u %*% t(psi) -
mu * (overkill_elliptic_v %*% t(phi_prime)) +
mu * (overkill_elliptic_g %*% t(phi))
V_d <- R %*% U_d
u_0 <- elliptic_u
F_proj <- R %*% f
u_d <- outer(elliptic_u, psi) -
mu * outer(elliptic_v, phi_prime) +
mu * outer(elliptic_g, phi)
tol <- 1e-12
maxit <- 25
verbose <- TRUE
nested_spatial_mesh <- TRUE
res <- solve_coupled_system_multi_tol(
my_op_frac = my_op_frac,
time_step = time_step,
time_seq = time_seq,
u_0 = u_0,
F_proj = F_proj,
Z_ini = F_proj*0,
V_d = V_d,
u_d = u_d,
Psi = Psi,
R = R,
a = a,
b = b,
C = C,
mu = mu,
tol = tol,
maxit = maxit,
verbose = verbose,
nested_spatial_mesh = nested_spatial_mesh,
true_sol = list(
u_bar = u_bar,
p_bar = p_bar,
z_bar = z_bar
))
U_bar <- res$U
P_bar <- res$P
Z_bar <- res$Z
projected_u_bar_piecewise <- construct_piecewise_projection(Psi %*% U_bar, time_seq, overkill_time_seq)
projected_p_bar_piecewise <- construct_piecewise_projection(Psi %*% P_bar, time_seq, overkill_time_seq)
projected_z_bar_piecewise <- construct_piecewise_projection(Psi %*% Z_bar, time_seq, overkill_time_seq)
UU <- overkill_u_bar - projected_u_bar_piecewise
PP <- overkill_p_bar - projected_p_bar_piecewise
ZZ <- overkill_z_bar - projected_z_bar_piecewise
rm(projected_u_bar_piecewise, projected_p_bar_piecewise, projected_z_bar_piecewise)
DDD <- sqrt(as.double(overkill_time_step * sum(UU * (overkill_C %*% UU))))
HHH <- sqrt(as.double(overkill_time_step * sum(PP * (overkill_C %*% PP))))
KKK <- sqrt(as.double(overkill_time_step * sum(ZZ * (overkill_C %*% ZZ))))
rm(UU, PP, ZZ)
errors_u_bar[i,j] <- DDD
errors_p_bar[i,j] <- HHH
errors_z_bar[i,j] <- KKK
print(paste0("m =", m, ", alpha =", alpha, ", h =", h, ", time_step =", time_step))
slackr_msg(text = paste0("m =", m, ", alpha =", alpha, ", h =", h, ", time_step =", time_step, ", converged = ", res$converged, ", iterations = ", res$iterations, ", error u = ", DDD, ", error p = ", HHH, ", error z = ", KKK, ", maxabs = ", maxabs), channel = "#research")
}
}
save(errors_u_bar, errors_p_bar, errors_z_bar, file = here::here("data_files/control_error_h_with_iteration.RData"))
Convergence
results
# Load the errors data
load(here::here("data_files/control_error_h_with_iteration.RData"))
observed_rates_u_bar <- numeric(length(alpha_vector))
observed_rates_p_bar <- numeric(length(alpha_vector))
observed_rates_z_bar <- numeric(length(alpha_vector))
for (i in 1:length(alpha_vector)) {observed_rates_u_bar[i] <- coef(lm(log10(errors_u_bar[, i]) ~ log10(h_vector)))[2]}
for (i in 1:length(alpha_vector)) {observed_rates_p_bar[i] <- coef(lm(log10(errors_p_bar[, i]) ~ log10(h_vector)))[2]}
for (i in 1:length(alpha_vector)) {observed_rates_z_bar[i] <- coef(lm(log10(errors_z_bar[, i]) ~ log10(h_vector)))[2]}
theoretical_rates <- alpha_vector
p_u_bar <- error.convergence.plotter(x_axis_vector = h_vector,
alpha_vector,
errors_u_bar,
theoretical_rates,
observed_rates_u_bar,
line_equation_fun = loglog_line_equation,
fig_title = expression(italic(bar(u))),
x_axis_label = expression(italic(h)))
p_p_bar <- error.convergence.plotter(x_axis_vector = h_vector,
alpha_vector,
errors_p_bar,
theoretical_rates,
observed_rates_p_bar,
line_equation_fun = loglog_line_equation,
fig_title = expression(italic(bar(p))),
x_axis_label = expression(italic(h)))
p_z_bar <- error.convergence.plotter(x_axis_vector = h_vector,
alpha_vector,
errors_z_bar,
theoretical_rates,
observed_rates_z_bar,
line_equation_fun = loglog_line_equation,
fig_title = expression(italic(bar(z))),
x_axis_label = expression(italic(h)))
p_h_u <- error.convergence.plotter(x_axis_vector = h_vector,
alpha_vector,
errors_u_bar,
theoretical_rates,
observed_rates_u_bar,
line_equation_fun = loglog_line_equation,
fig_title = expression("Convergence in " * italic(h)),
x_axis_label = expression(italic(h)))
p_h_z <- error.convergence.plotter(x_axis_vector = h_vector,
alpha_vector,
errors_z_bar,
theoretical_rates,
observed_rates_z_bar,
line_equation_fun = loglog_line_equation,
fig_title = expression("Convergence in " * italic(h)),
x_axis_label = expression(italic(h)))
save(p_h_u, file = here::here("data_files/p_h_u.RData"))
save(p_h_z, file = here::here("data_files/p_h_z.RData"))
p_all_h <- (p_u_bar | p_p_bar | p_z_bar) +
plot_annotation(
title = expression(" Convergence in " * italic(h)),
theme = theme(plot.title = element_text(size = 18, face = "bold", hjust = 0.5,
family = "Palatino"))
)
p_all_h
# ggsave(here::here("data_files/control_conv_rates_h_u_bar_with_iteration.png"), width = 4, height = 5, plot = p_u_bar, dpi = 300)
# ggsave(here::here("data_files/control_conv_rates_h_p_bar_with_iteration.png"), width = 4, height = 5, plot = p_p_bar, dpi = 300)
# ggsave(here::here("data_files/control_conv_rates_h_z_bar_with_iteration.png"), width = 4, height = 5, plot = p_z_bar, dpi = 300)
ggsave(here::here("data_files/control_conv_rates_h_all_with_iteration.png"), width = 12, height = 6, plot = p_all_h, dpi = 300)
References
cite_packages(output = "paragraph", out.dir = ".")
We used R version 4.5.2 (R Core Team
2025a) and the following R packages: akima v. 0.6.3.6 (Akima and Gebhardt 2025), expm v. 1.0.0 (Maechler, Dutang, and Goulet 2024), fmesher v.
0.5.0 (Lindgren 2025), gsignal v. 0.3.7
(Van Boxtel, G.J.M., et al. 2021), 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, 2025a), 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), neuralnet v.
1.44.2 (Fritsch, Guenther, and Wright
2019), orthopolynom v. 1.0.6.1 (Novomestky
2022), parallel v. 4.5.2 (R Core Team
2025b), patchwork v. 1.3.1 (Pedersen
2025), pbmcapply v. 1.5.1 (Kuang, Kong,
and Napolitano 2022), plotly v. 4.11.0 (Sievert 2020), posterdown v. 1.0 (Thorne 2019), pracma v. 2.4.4 (Borchers 2023), qrcode v. 0.3.0 (Onkelinx and Teh 2024), RColorBrewer v. 1.1.3
(Neuwirth 2022), RefManageR v. 1.4.0 (McLean 2014, 2017), renv v. 1.1.5 (Ushey and Wickham 2025), 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.1.9000 (Bolin and Kirchner 2020; Bolin and
Simas 2023; Bolin, Simas, and Xiong 2024), RSpectra v. 0.16.2
(Qiu and Mei 2024), scales v. 1.4.0 (Wickham, Pedersen, and Seidel 2025), slackr v.
3.4.0 (Kaye et al. 2025), tidyverse v.
2.0.0 (Wickham et al. 2019), viridisLite
v. 0.4.2 (Garnier et al. 2023), xaringan
v. 0.31 (Xie 2025b), xaringanExtra v.
0.8.0 (Aden-Buie and Warkentin 2024),
xaringanthemer v. 0.4.4 (Aden-Buie
2025).
Aden-Buie, Garrick. 2025.
xaringanthemer: Custom “xaringan” CSS Themes.
https://doi.org/10.32614/CRAN.package.xaringanthemer.
Akima, Hiroshi, and Albrecht Gebhardt. 2025.
akima: Interpolation of Irregularly and Regularly
Spaced Data.
https://doi.org/10.32614/CRAN.package.akima.
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.
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.
Borchers, Hans W. 2023.
pracma:
Practical Numerical Math Functions.
https://doi.org/10.32614/CRAN.package.pracma.
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.
Fritsch, Stefan, Frauke Guenther, and Marvin N. Wright. 2019.
neuralnet: Training of Neural Networks.
https://doi.org/10.32614/CRAN.package.neuralnet.
Garnier, Simon, Ross, Noam, Rudis, Robert, Camargo, et al. 2023.
viridis(Lite) - Colorblind-Friendly
Color Maps for r.
https://doi.org/10.5281/zenodo.4678327.
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.
Kuang, Kevin, Quyu Kong, and Francesco Napolitano. 2022.
pbmcapply: Tracking the Progress of Mc*pply with
Progress Bar.
https://doi.org/10.32614/CRAN.package.pbmcapply.
Lindgren, Finn. 2025.
fmesher: Triangle
Meshes and Related Geometry Tools.
https://github.com/inlabru-org/fmesher.
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.
Maechler, Martin, Christophe Dutang, and Vincent Goulet. 2024.
expm: Matrix Exponential, Log, “etc”.
https://doi.org/10.32614/CRAN.package.expm.
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.
McLean, Mathew William. 2014.
Straightforward Bibliography
Management in r Using the RefManager Package.
https://arxiv.org/abs/1403.2036.
———. 2017.
“RefManageR: Import and Manage BibTeX and
BibLaTeX References in r.” The Journal of Open Source
Software.
https://doi.org/10.21105/joss.00338.
Müller, Kirill. 2020.
here: A Simpler
Way to Find Your Files.
https://doi.org/10.32614/CRAN.package.here.
Neuwirth, Erich. 2022. RColorBrewer: ColorBrewer
Palettes.
Novomestky, Frederick. 2022.
orthopolynom: Collection of Functions for
Orthogonal and Orthonormal Polynomials.
https://doi.org/10.32614/CRAN.package.orthopolynom.
Onkelinx, Thierry, and Victor Teh. 2024.
qrcode: Generate QRcodes with r. Version
0.3.0.
https://doi.org/10.5281/zenodo.5040088.
Pedersen, Thomas Lin. 2025.
patchwork:
The Composer of Plots.
https://doi.org/10.32614/CRAN.package.patchwork.
Qiu, Yixuan, and Jiali Mei. 2024.
RSpectra: Solvers for
Large-Scale Eigenvalue and SVD Problems.
https://doi.org/10.32614/CRAN.package.RSpectra.
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.
Sievert, Carson. 2020.
Interactive Web-Based Data Visualization with
r, Plotly, and Shiny. Chapman; Hall/CRC.
https://plotly-r.com.
Thorne, W. Brent. 2019.
posterdown: An r
Package Built to Generate Reproducible Conference Posters for the
Academic and Professional World Where Powerpoint and Pages Just Won’t
Cut It.
https://github.com/brentthorne/posterdown.
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. 2025.
renv: Project Environments.
https://rstudio.github.io/renv/.
Van Boxtel, G.J.M., et al. 2021.
gsignal: Signal Processing.
https://github.com/gjmvanboxtel/gsignal.
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.
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/.
———. 2025a.
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.
LS0tCnRpdGxlOiAiQ29udmVyZ2VuY2UgaW4g8J2YqSBmb3IgdGhlIG9wdGltYWwgY29udHJvbCB2YXJpYWJsZSIKZGF0ZTogIkxhc3QgbW9kaWZpZWQ6IGByIGZvcm1hdChTeXMudGltZSgpLCAnJWQtJW0tJVkuJylgIgpvdXRwdXQ6CiAgaHRtbF9kb2N1bWVudDoKICAgIG1hdGhqYXg6ICJodHRwczovL2Nkbi5qc2RlbGl2ci5uZXQvbnBtL21hdGhqYXhAMy9lczUvdGV4LW1tbC1jaHRtbC5qcyIKICAgIGhpZ2hsaWdodDogcHlnbWVudHMKICAgIHRoZW1lOiBmbGF0bHkKICAgIGNvZGVfZm9sZGluZzogaGlkZSAjIGNsYXNzLnNvdXJjZSA9ICJmb2xkLWhpZGUiIHRvIGhpZGUgY29kZSBhbmQgYWRkIGEgYnV0dG9uIHRvIHNob3cgaXQKICAgIGRmX3ByaW50OiBwYWdlZAogICAgdG9jOiB0cnVlCiAgICB0b2NfZmxvYXQ6CiAgICAgIGNvbGxhcHNlZDogdHJ1ZQogICAgICBzbW9vdGhfc2Nyb2xsOiB0cnVlCiAgICBudW1iZXJfc2VjdGlvbnM6IHRydWUKICAgIGZpZ19jYXB0aW9uOiB0cnVlCiAgICBjb2RlX2Rvd25sb2FkOiB0cnVlCiAgICBjc3M6IHZpc3VhbC5jc3MKYWx3YXlzX2FsbG93X2h0bWw6IHRydWUKYmlibGlvZ3JhcGh5OiAKICAtIHJlZmVyZW5jZXMuYmliCiAgLSBncmF0ZWZ1bC1yZWZzLmJpYgpoZWFkZXItaW5jbHVkZXM6CiAgLSBcbmV3Y29tbWFuZHtcYXJ9e1xtYXRoYmJ7Un19CiAgLSBcbmV3Y29tbWFuZHtcbGxhdn1bMV17XGxlZnRceyMxXHJpZ2h0XH19CiAgLSBcbmV3Y29tbWFuZHtccGFyZX1bMV17XGxlZnQoIzFccmlnaHQpfQogIC0gXG5ld2NvbW1hbmR7XE5jYWx9e1xtYXRoY2Fse059fQogIC0gXG5ld2NvbW1hbmR7XFZjYWx9e1xtYXRoY2Fse1Z9fQogIC0gXG5ld2NvbW1hbmR7XEVjYWx9e1xtYXRoY2Fse0V9fQogIC0gXG5ld2NvbW1hbmR7XFdjYWx9e1xtYXRoY2Fse1d9fQogIC0gXG5ld2NvbW1hbmR7XGFsbW9zdGV2ZXJ5d2hlcmV9e1xtYXRocm17YS5lLn1cO30KLS0tCgpHbyBiYWNrIHRvIHRoZSBbQ29udGVudHNdKGFib3V0Lmh0bWwpIHBhZ2UuCgo8ZGl2IHN0eWxlPSJjb2xvcjogIzJjM2U1MDsgdGV4dC1hbGlnbjogcmlnaHQ7Ij4KKioqKioqKiogIAo8c3Ryb25nPlByZXNzIFNob3cgdG8gcmV2ZWFsIHRoZSBjb2RlIGNodW5rcy48L3N0cm9uZz4gIAoKKioqKioqKioKPC9kaXY+CgoKYGBge3J9CiMgQ3JlYXRlIGEgY2xpcGJvYXJkIGJ1dHRvbiBvbiB0aGUgcmVuZGVyZWQgSFRNTCBwYWdlCnNvdXJjZShoZXJlOjpoZXJlKCJjbGlwYm9hcmQuUiIpKTsgY2xpcGJvYXJkCiMgU2V0IHNlZWQgZm9yIHJlcHJvZHVjaWJpbGl0eQpzZXQuc2VlZCgxOTgyKSAKIyBTZXQgZ2xvYmFsIG9wdGlvbnMgZm9yIGFsbCBjb2RlIGNodW5rcwprbml0cjo6b3B0c19jaHVuayRzZXQoCiAgIyBEaXNhYmxlIG1lc3NhZ2VzIHByaW50ZWQgYnkgUiBjb2RlIGNodW5rcwogIG1lc3NhZ2UgPSBGQUxTRSwgICAgCiAgIyBEaXNhYmxlIHdhcm5pbmdzIHByaW50ZWQgYnkgUiBjb2RlIGNodW5rcwogIHdhcm5pbmcgPSBGQUxTRSwgICAgCiAgIyBTaG93IFIgY29kZSB3aXRoaW4gY29kZSBjaHVua3MgaW4gb3V0cHV0CiAgZWNobyA9IFRSVUUsICAgICAgICAKICAjIEluY2x1ZGUgYm90aCBSIGNvZGUgYW5kIGl0cyByZXN1bHRzIGluIG91dHB1dAogIGluY2x1ZGUgPSBUUlVFLCAgICAgCiAgIyBFdmFsdWF0ZSBSIGNvZGUgY2h1bmtzCiAgZXZhbCA9IFRSVUUsICAgICAgIAogICMgRW5hYmxlIGNhY2hpbmcgb2YgUiBjb2RlIGNodW5rcyBmb3IgZmFzdGVyIHJlbmRlcmluZwogIGNhY2hlID0gRkFMU0UsICAgICAgCiAgIyBBbGlnbiBmaWd1cmVzIGluIHRoZSBjZW50ZXIgb2YgdGhlIG91dHB1dAogIGZpZy5hbGlnbiA9ICJjZW50ZXIiLAogICMgRW5hYmxlIHJldGluYSBkaXNwbGF5IGZvciBoaWdoLXJlc29sdXRpb24gZmlndXJlcwogIHJldGluYSA9IDIsCiAgIyBTaG93IGVycm9ycyBpbiB0aGUgb3V0cHV0IGluc3RlYWQgb2Ygc3RvcHBpbmcgcmVuZGVyaW5nCiAgZXJyb3IgPSBUUlVFLAogICMgRG8gbm90IGNvbGxhcHNlIGNvZGUgYW5kIG91dHB1dCBpbnRvIGEgc2luZ2xlIGJsb2NrCiAgY29sbGFwc2UgPSBGQUxTRQopCiMgU3RhcnQgdGhlIGZpZ3VyZSBjb3VudGVyCmZpZ19jb3VudCA8LSAwCiMgRGVmaW5lIHRoZSBjYXB0aW9uZXIgZnVuY3Rpb24KY2FwdGlvbmVyIDwtIGZ1bmN0aW9uKGNhcHRpb24pIHsKICBmaWdfY291bnQgPDwtIGZpZ19jb3VudCArIDEKICBwYXN0ZTAoIkZpZ3VyZSAiLCBmaWdfY291bnQsICI6ICIsIGNhcHRpb24pCn0KYGBgCgpgYGB7cn0KbGlicmFyeShNZXRyaWNHcmFwaCkKbGlicmFyeShnZ3Bsb3QyKQpsaWJyYXJ5KHJlc2hhcGUyKQpsaWJyYXJ5KHBsb3RseSkKbGlicmFyeShwYXRjaHdvcmspCmxpYnJhcnkoc2xhY2tyKQpzb3VyY2UoImtleXMuUiIpCnNsYWNrcl9zZXR1cCh0b2tlbiA9IHRva2VuKSAjIHRva2VuIGNvbWVzIGZyb20ga2V5cy5SCmBgYAoKCmBgYHtyfQpjYXB0dXJlLm91dHB1dCgKICBrbml0cjo6cHVybChoZXJlOjpoZXJlKCJjb250cm9sX2Z1bmN0aW9uYWxpdHkuUm1kIiksIG91dHB1dCA9IGhlcmU6OmhlcmUoImNvbnRyb2xfZnVuY3Rpb25hbGl0eS5SIikpLAogIGZpbGUgPSBoZXJlOjpoZXJlKCJwdXJsX2xvZy50eHQiKQopCnNvdXJjZShoZXJlOjpoZXJlKCJjb250cm9sX2Z1bmN0aW9uYWxpdHkuUiIpKQpgYGAKCgpgYGB7cn0KIyBQYXJhbWV0ZXJzClRfZmluYWwgPC0gMgprYXBwYSA8LSA0I3JlYWRSRFMoIm9sZC9rYXBwYS5SRFMiKSMxNgpkaXZpZGVyIDwtIDIjcmVhZFJEUygib2xkL2RpdmlkZXIuUkRTIikgIzEKbV9jdXQgPC0gOCNyZWFkUkRTKCJvbGQvbV9jdXQuUkRTIikKbXUgPC0gMQphIDwtIC0gMQpiIDwtIDEKTl9maW5pdGUgPSA0ICMgY2hvb3NlIGV2ZW4KYWRqdXN0ZWRfTl9maW5pdGUgPC0gTl9maW5pdGUgKyBOX2Zpbml0ZS8yICsgMQojIENvZWZmaWNpZW50cyBmb3IgZiBhbmQgZwpjb2VmZl9lbGxpcHRpY19nIDwtIDIwKigxOmFkanVzdGVkX05fZmluaXRlKV4tMQpjb2VmZl9lbGxpcHRpY19nWy0yXSA8LSAwCmNvZWZmX2VsbGlwdGljX2YgPC0gcmVwKDAsIGFkanVzdGVkX05fZmluaXRlKQpjb2VmZl9lbGxpcHRpY19mWzJdIDwtIDEwCgojIFRpbWUgc3RlcCBhbmQgbWVzaCBzaXplCiMgUE9XRVJTIDwtIHNlcSgxMiwgNiwgYnkgPSAtMS41KQojIAojIHRpbWVfc3RlcHMgPC0gMC4xICogMl4tUE9XRVJTCiMgaF92ZWN0b3IgPC0gdGltZV9zdGVwc14oMS8yKQpoX3ZlY3RvciA8LSAxMF5zZXEobG9nMTAoMC4wMDUpLCBsb2cxMCgwLjEpLCBsZW5ndGgub3V0ID0gNykjYygwLjAwNSwgMC4wMDc1LCAwLjAxLCAwLjAyNSwgMC4wNSwgMC4wNzUsIDAuMSkKaF9zdGFyIDwtIDAuMDAxCgojIE92ZXJraWxsIHBhcmFtZXRlcnMKb3ZlcmtpbGxfdGltZV9zdGVwIDwtIDAuMSAqIDJeLSgxNCkKb3ZlcmtpbGxfaCA8LSBoX3N0YXIjKDAuMSAqIDJeLSgxNCkpXigxLzIpCgojIEZpbmVzdCB0aW1lIGFuZCBzcGFjZSBtZXNoCm92ZXJraWxsX3RpbWVfc2VxIDwtIHNlcSgwLCBUX2ZpbmFsLCBsZW5ndGgub3V0ID0gKChUX2ZpbmFsIC0gMCkgLyBvdmVya2lsbF90aW1lX3N0ZXAgKyAxKSkKb3ZlcmtpbGxfZ3JhcGggPC0gZ2V0cy5ncmFwaC50YWRwb2xlKGggPSBvdmVya2lsbF9oKQoKIyBDb21wdXRlIHRoZSB3ZWlnaHRzIG9uIHRoZSBmaW5lc3QgbWVzaApvdmVya2lsbF9ncmFwaCRjb21wdXRlX2ZlbSgpICMgVGhpcyBpcyBuZWVkZWQgdG8gY29tcHV0ZSB0aGUgd2VpZ2h0cwpvdmVya2lsbF9DIDwtIG92ZXJraWxsX2dyYXBoJG1lc2gkQwoKb3ZlcmtpbGxfcHNpIDwtIGNvcyhvdmVya2lsbF90aW1lX3NlcSkKb3ZlcmtpbGxfcGhpIDwtIHNpbihUX2ZpbmFsIC0gb3ZlcmtpbGxfdGltZV9zZXEpCm92ZXJraWxsX3BzaV9wcmltZSA8LSAtIHNpbihvdmVya2lsbF90aW1lX3NlcSkKb3ZlcmtpbGxfcGhpX3ByaW1lIDwtIC0gY29zKFRfZmluYWwgLSBvdmVya2lsbF90aW1lX3NlcSkKCm1fdmFsdWVzIDwtIGMoKQphbHBoYV92ZWN0b3IgPC0gc2VxKDEsIDEuOCwgYnkgPSAwLjIpCmBgYAoKCmBgYHtyLCBldmFsID0gRkFMU0UsIGNsYXNzLnNvdXJjZSA9ICJmb2xkLXNob3cifQojIENyZWF0ZSBhIG1hdHJpeCB0byBzdG9yZSB0aGUgZXJyb3JzCmVycm9yc191X2JhciA8LSBtYXRyaXgoTkEsIG5yb3cgPSBsZW5ndGgoaF92ZWN0b3IpLCBuY29sID0gbGVuZ3RoKGFscGhhX3ZlY3RvcikpCmVycm9yc19wX2JhciA8LSBtYXRyaXgoTkEsIG5yb3cgPSBsZW5ndGgoaF92ZWN0b3IpLCBuY29sID0gbGVuZ3RoKGFscGhhX3ZlY3RvcikpCmVycm9yc196X2JhciA8LSBtYXRyaXgoTkEsIG5yb3cgPSBsZW5ndGgoaF92ZWN0b3IpLCBuY29sID0gbGVuZ3RoKGFscGhhX3ZlY3RvcikpCmZvciAoaiBpbiAxOmxlbmd0aChhbHBoYV92ZWN0b3IpKSB7CiAgYWxwaGEgPC0gYWxwaGFfdmVjdG9yW2pdIAogIGJldGEgPC0gYWxwaGEgLyAyCgogICMgQ29tcHV0ZSB0aGUgZWlnZW52YWx1ZXMgYW5kIGVpZ2VuZnVuY3Rpb25zIG9uIHRoZSBmaW5lc3QgbWVzaAogIG92ZXJraWxsX2VpZ2VuX3BhcmFtcyA8LSBnZXRzLmVpZ2VuLnBhcmFtcyhOX2Zpbml0ZSA9IE5fZmluaXRlLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAga2FwcGEgPSBrYXBwYSwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhID0gYWxwaGEsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBncmFwaCA9IG92ZXJraWxsX2dyYXBoKQogIEVJR0VOVkFMX01JTlVTX0FMUEhBIDwtIG92ZXJraWxsX2VpZ2VuX3BhcmFtcyRFSUdFTlZBTF9NSU5VU19BTFBIQSAjIEVpZ2VudmFsdWVzICh0aGV5IGFyZSBpbmRlcGVuZGVudCBvZiB0aGUgbWVzaGVzKQogIG92ZXJraWxsX0VJR0VORlVOIDwtIG92ZXJraWxsX2VpZ2VuX3BhcmFtcyRFSUdFTkZVTiAjIEVpZ2VuZnVuY3Rpb25zIG9uIHRoZSBmaW5lc3QgbWVzaAogIAogICMgQ29tcHV0ZSB0aGUgdHJ1ZSBzb2x1dGlvbiBvbiB0aGUgZmluZXN0IG1lc2gKICBvdmVya2lsbF9lbGxpcHRpY19mIDwtIGFzLnZlY3RvcihvdmVya2lsbF9FSUdFTkZVTiAlKiUgY29lZmZfZWxsaXB0aWNfZikKICBvdmVya2lsbF9lbGxpcHRpY19nIDwtIGFzLnZlY3RvcihvdmVya2lsbF9FSUdFTkZVTiAlKiUgY29lZmZfZWxsaXB0aWNfZykKICAjIENvbnN0cnVjdCB0aGUgY29ycmVzcG9uZGluZyBlbGxpcHRpYyBzb2x1dGlvbiB1IGFuZCB2IG9uIHRoZSBpbnRlZ3JhdGlvbiBtZXNoCiAgb3ZlcmtpbGxfZWxsaXB0aWNfdSA8LSBhcy52ZWN0b3Iob3ZlcmtpbGxfRUlHRU5GVU4gJSolIChjb2VmZl9lbGxpcHRpY19mICogRUlHRU5WQUxfTUlOVVNfQUxQSEEpKQogIG92ZXJraWxsX2VsbGlwdGljX3YgPC0gYXMudmVjdG9yKG92ZXJraWxsX0VJR0VORlVOICUqJSAoY29lZmZfZWxsaXB0aWNfZyAqIEVJR0VOVkFMX01JTlVTX0FMUEhBKSkKICBvdmVya2lsbF91X2JhciA8LSBvdXRlcihvdmVya2lsbF9lbGxpcHRpY191LCBvdmVya2lsbF9wc2kpCiAgb3ZlcmtpbGxfcF9iYXIgPC0gLSBtdSAqIG91dGVyKG92ZXJraWxsX2VsbGlwdGljX3YsIG92ZXJraWxsX3BoaSkKICBvdmVya2lsbF96X2JhciA8LSBtYXRyaXgocG1heChhLCBwbWluKGIsIC0gb3ZlcmtpbGxfcF9iYXIgLyBtdSkpLCBkaW0ob3ZlcmtpbGxfcF9iYXIpKQogIAogIG1heGFicyA8LSBtYXgoYWJzKG92ZXJraWxsX3BfYmFyIC8gbXUpKQogICAgCiAgZm9yIChpIGluIDE6bGVuZ3RoKGhfdmVjdG9yKSkgewogICAgaCA8LSBoX3ZlY3RvcltpXQogICAgdGltZV9zdGVwIDwtIChoXmFscGhhKS9kaXZpZGVyCiAgICBtIDwtIG1pbihtX2N1dCwgY2VpbGluZygobG9nKGgpKV4yIC8gKHBpXjIgKiAoMSAtIGFscGhhIC8gMikpKSkgIzQKICAgIGggPC0gbGFyZ2VzdF9uZXN0ZWRfaChoX3N0YXIsIGgpICMgbWFrZXMgdGhlbSBuZXN0ZWQKICAgIG1fdmFsdWVzIDwtIGMobV92YWx1ZXMsIG0pCiAgICB0aW1lX3NlcSA8LSBzZXEoMCwgVF9maW5hbCwgbGVuZ3RoLm91dCA9ICgoVF9maW5hbCAtIDApIC8gdGltZV9zdGVwICsgMSkpCiAgICBncmFwaCA8LSBnZXRzLmdyYXBoLnRhZHBvbGUoaCA9IGgpCiAgICBncmFwaCRjb21wdXRlX2ZlbSgpCiAgICBHIDwtIGdyYXBoJG1lc2gkRwogICAgQyA8LSBncmFwaCRtZXNoJEMKICAgIEwgPC0ga2FwcGFeMipDICsgRwogICAgIyBDb25zdHJ1Y3QgdGhlIGZyYWN0aW9uYWwgb3BlcmF0b3IsIHdoaWNoIGlzIHNoYXJlZCBmb3IgdGhlIGZvcndhcmQgYW5kIGFkam9pbnQgcHJvYmxlbXMKICAgIG15X29wX2ZyYWMgPC0gbXkuZnJhY3Rpb25hbC5vcGVyYXRvcnMuZnJhYyhMLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZXRhLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBDLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBzY2FsZS5mYWN0b3IgPSBrYXBwYV4yLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBtID0gbSwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgdGltZV9zdGVwKQogICAgZWlnZW5fcGFyYW1zIDwtIGdldHMuZWlnZW4ucGFyYW1zKE5fZmluaXRlID0gTl9maW5pdGUsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGthcHBhID0ga2FwcGEsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhID0gYWxwaGEsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGdyYXBoID0gZ3JhcGgpCiAgICBFSUdFTkZVTiA8LSBlaWdlbl9wYXJhbXMkRUlHRU5GVU4KICAgICMgQ29uc3RydWN0IHRoZSByaWdodCBoYW5kIHNpZGUgZnVuY3Rpb25zIGYgYW5kIGcgZm9yIHRoZSBlbGxpcHRpYyBwcm9ibGVtCiAgICBlbGxpcHRpY19mIDwtIGFzLnZlY3RvcihFSUdFTkZVTiAlKiUgY29lZmZfZWxsaXB0aWNfZikKICAgIGVsbGlwdGljX2cgPC0gYXMudmVjdG9yKEVJR0VORlVOICUqJSBjb2VmZl9lbGxpcHRpY19nKQogICAgIyBDb25zdHJ1Y3QgdGhlIGNvcnJlc3BvbmRpbmcgZWxsaXB0aWMgc29sdXRpb24gdSBhbmQgdgogICAgZWxsaXB0aWNfdSA8LSBhcy52ZWN0b3IoRUlHRU5GVU4gJSolIChjb2VmZl9lbGxpcHRpY19mICogRUlHRU5WQUxfTUlOVVNfQUxQSEEpKQogICAgZWxsaXB0aWNfdiA8LSBhcy52ZWN0b3IoRUlHRU5GVU4gJSolIChjb2VmZl9lbGxpcHRpY19nICogRUlHRU5WQUxfTUlOVVNfQUxQSEEpKQogICAgCiAgICBwc2kgPC0gY29zKHRpbWVfc2VxKQogICAgcGhpIDwtIHNpbihUX2ZpbmFsIC0gdGltZV9zZXEpCiAgICBwc2lfcHJpbWUgPC0gLSBzaW4odGltZV9zZXEpCiAgICBwaGlfcHJpbWUgPC0gLSBjb3MoVF9maW5hbCAtIHRpbWVfc2VxKQogICAgCiAgICB1X2JhciA8LSBlbGxpcHRpY191ICUqJSB0KHBzaSkKICAgIHBfYmFyIDwtIC0gbXUgKiAoZWxsaXB0aWNfdiAlKiUgdChwaGkpKQogICAgel9iYXIgPC0gbWF0cml4KHBtYXgoYSwgcG1pbihiLCAtIHBfYmFyIC8gbXUpKSwgZGltKHBfYmFyKSkKICAgIAogICAgIyBDb25zdHJ1Y3QgdGhlIHByb2plY3Rpb24gbWF0cml4CiAgICBQc2kgPC0gZ3JhcGgkZmVtX2Jhc2lzKG92ZXJraWxsX2dyYXBoJGdldF9tZXNoX2xvY2F0aW9ucygpKQogICAgUiA8LSB0KFBzaSkgJSolIG92ZXJraWxsX2dyYXBoJG1lc2gkQwogICAgbWludXNfcF9iYXJfb3Zlcl9tdSA8LSBvdmVya2lsbF9lbGxpcHRpY192ICUqJSB0KHBoaSkKICAgIHpfYXV4IDwtIG1hdHJpeChwbWF4KGEsIHBtaW4oYiwgbWludXNfcF9iYXJfb3Zlcl9tdSkpLCBkaW0obWludXNfcF9iYXJfb3Zlcl9tdSkpCiAgICBmIDwtIG92ZXJraWxsX2VsbGlwdGljX3UgJSolIHQocHNpX3ByaW1lKSArIG92ZXJraWxsX2VsbGlwdGljX2YgJSolIHQocHNpKSAtIHpfYXV4CiAgICAKICAgIAogICAgVV9kIDwtIG92ZXJraWxsX2VsbGlwdGljX3UgJSolIHQocHNpKSAtCiAgICAgIG11ICogKG92ZXJraWxsX2VsbGlwdGljX3YgJSolIHQocGhpX3ByaW1lKSkgKwogICAgICBtdSAqIChvdmVya2lsbF9lbGxpcHRpY19nICUqJSB0KHBoaSkpCiAgICAKICAgIFZfZCA8LSBSICUqJSBVX2QKICAgIHVfMCA8LSBlbGxpcHRpY191CiAgICBGX3Byb2ogPC0gUiAlKiUgZgogICAgCiAgICB1X2QgPC0gb3V0ZXIoZWxsaXB0aWNfdSwgcHNpKSAtCiAgICAgIG11ICogb3V0ZXIoZWxsaXB0aWNfdiwgcGhpX3ByaW1lKSArCiAgICAgIG11ICogb3V0ZXIoZWxsaXB0aWNfZywgcGhpKQogICAgCiAgICAKICAgIHRvbCA8LSAxZS0xMgogICAgbWF4aXQgPC0gMjUKICAgIHZlcmJvc2UgPC0gVFJVRQogICAgbmVzdGVkX3NwYXRpYWxfbWVzaCA8LSBUUlVFCiAgICByZXMgPC0gc29sdmVfY291cGxlZF9zeXN0ZW1fbXVsdGlfdG9sKAogICAgICBteV9vcF9mcmFjID0gbXlfb3BfZnJhYywKICAgICAgdGltZV9zdGVwID0gdGltZV9zdGVwLCAKICAgICAgdGltZV9zZXEgPSB0aW1lX3NlcSwgCiAgICAgIHVfMCA9IHVfMCwgCiAgICAgIEZfcHJvaiA9IEZfcHJvaiwgCiAgICAgIFpfaW5pID0gRl9wcm9qKjAsCiAgICAgIFZfZCA9IFZfZCwgCiAgICAgIHVfZCA9IHVfZCwKICAgICAgUHNpID0gUHNpLCAKICAgICAgUiA9IFIsCiAgICAgIGEgPSBhLCAKICAgICAgYiA9IGIsIAogICAgICBDID0gQywKICAgICAgbXUgPSBtdSwKICAgICAgdG9sID0gdG9sLCAKICAgICAgbWF4aXQgPSBtYXhpdCwgCiAgICAgIHZlcmJvc2UgPSB2ZXJib3NlLAogICAgICBuZXN0ZWRfc3BhdGlhbF9tZXNoID0gbmVzdGVkX3NwYXRpYWxfbWVzaCwKICAgICAgdHJ1ZV9zb2wgPSBsaXN0KAogICAgICAgIHVfYmFyID0gdV9iYXIsIAogICAgICAgIHBfYmFyID0gcF9iYXIsIAogICAgICAgIHpfYmFyID0gel9iYXIKICAgICAgKSkKICAgIAogICAgVV9iYXIgPC0gcmVzJFUKICAgIFBfYmFyIDwtIHJlcyRQCiAgICBaX2JhciA8LSByZXMkWgogICAgCiAgICBwcm9qZWN0ZWRfdV9iYXJfcGllY2V3aXNlIDwtIGNvbnN0cnVjdF9waWVjZXdpc2VfcHJvamVjdGlvbihQc2kgJSolIFVfYmFyLCB0aW1lX3NlcSwgb3ZlcmtpbGxfdGltZV9zZXEpCiAgICBwcm9qZWN0ZWRfcF9iYXJfcGllY2V3aXNlIDwtIGNvbnN0cnVjdF9waWVjZXdpc2VfcHJvamVjdGlvbihQc2kgJSolIFBfYmFyLCB0aW1lX3NlcSwgb3ZlcmtpbGxfdGltZV9zZXEpCiAgICBwcm9qZWN0ZWRfel9iYXJfcGllY2V3aXNlIDwtIGNvbnN0cnVjdF9waWVjZXdpc2VfcHJvamVjdGlvbihQc2kgJSolIFpfYmFyLCB0aW1lX3NlcSwgb3ZlcmtpbGxfdGltZV9zZXEpCiAgICAKICAgIFVVIDwtIG92ZXJraWxsX3VfYmFyIC0gcHJvamVjdGVkX3VfYmFyX3BpZWNld2lzZQogICAgUFAgPC0gb3ZlcmtpbGxfcF9iYXIgLSBwcm9qZWN0ZWRfcF9iYXJfcGllY2V3aXNlCiAgICBaWiA8LSBvdmVya2lsbF96X2JhciAtIHByb2plY3RlZF96X2Jhcl9waWVjZXdpc2UKICAgIAogICAgcm0ocHJvamVjdGVkX3VfYmFyX3BpZWNld2lzZSwgcHJvamVjdGVkX3BfYmFyX3BpZWNld2lzZSwgcHJvamVjdGVkX3pfYmFyX3BpZWNld2lzZSkKICAgIAogICAgREREIDwtIHNxcnQoYXMuZG91YmxlKG92ZXJraWxsX3RpbWVfc3RlcCAqIHN1bShVVSAqIChvdmVya2lsbF9DICUqJSBVVSkpKSkKICAgIEhISCA8LSBzcXJ0KGFzLmRvdWJsZShvdmVya2lsbF90aW1lX3N0ZXAgKiBzdW0oUFAgKiAob3ZlcmtpbGxfQyAlKiUgUFApKSkpCiAgICBLS0sgPC0gc3FydChhcy5kb3VibGUob3ZlcmtpbGxfdGltZV9zdGVwICogc3VtKFpaICogKG92ZXJraWxsX0MgJSolIFpaKSkpKQogICAgCiAgICBybShVVSwgUFAsIFpaKQoKICAgIGVycm9yc191X2JhcltpLGpdIDwtIERERAogICAgZXJyb3JzX3BfYmFyW2ksal0gPC0gSEhICiAgICBlcnJvcnNfel9iYXJbaSxqXSA8LSBLS0sKICAgIHByaW50KHBhc3RlMCgibSA9IiwgbSwgIiwgYWxwaGEgPSIsIGFscGhhLCAiLCBoID0iLCBoLCAiLCB0aW1lX3N0ZXAgPSIsIHRpbWVfc3RlcCkpCiAgICBzbGFja3JfbXNnKHRleHQgPSBwYXN0ZTAoIm0gPSIsIG0sICIsIGFscGhhID0iLCBhbHBoYSwgIiwgaCA9IiwgaCwgIiwgdGltZV9zdGVwID0iLCB0aW1lX3N0ZXAsICIsIGNvbnZlcmdlZCA9ICIsIHJlcyRjb252ZXJnZWQsICIsIGl0ZXJhdGlvbnMgPSAiLCByZXMkaXRlcmF0aW9ucywgIiwgZXJyb3IgdSA9ICIsIERERCwgIiwgZXJyb3IgcCA9ICIsIEhISCwgIiwgZXJyb3IgeiA9ICIsIEtLSywgIiwgbWF4YWJzID0gIiwgbWF4YWJzKSwgY2hhbm5lbCA9ICIjcmVzZWFyY2giKQogIH0KfQpzYXZlKGVycm9yc191X2JhciwgZXJyb3JzX3BfYmFyLCBlcnJvcnNfel9iYXIsIGZpbGUgPSBoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2NvbnRyb2xfZXJyb3JfaF93aXRoX2l0ZXJhdGlvbi5SRGF0YSIpKQpgYGAKCiMgQ29udmVyZ2VuY2UgcmVzdWx0cwoKYGBge3J9CiMgTG9hZCB0aGUgZXJyb3JzIGRhdGEKbG9hZChoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2NvbnRyb2xfZXJyb3JfaF93aXRoX2l0ZXJhdGlvbi5SRGF0YSIpKQoKb2JzZXJ2ZWRfcmF0ZXNfdV9iYXIgPC0gbnVtZXJpYyhsZW5ndGgoYWxwaGFfdmVjdG9yKSkKb2JzZXJ2ZWRfcmF0ZXNfcF9iYXIgPC0gbnVtZXJpYyhsZW5ndGgoYWxwaGFfdmVjdG9yKSkKb2JzZXJ2ZWRfcmF0ZXNfel9iYXIgPC0gbnVtZXJpYyhsZW5ndGgoYWxwaGFfdmVjdG9yKSkKCmZvciAoaSBpbiAxOmxlbmd0aChhbHBoYV92ZWN0b3IpKSB7b2JzZXJ2ZWRfcmF0ZXNfdV9iYXJbaV0gPC0gY29lZihsbShsb2cxMChlcnJvcnNfdV9iYXJbLCBpXSkgfiBsb2cxMChoX3ZlY3RvcikpKVsyXX0KZm9yIChpIGluIDE6bGVuZ3RoKGFscGhhX3ZlY3RvcikpIHtvYnNlcnZlZF9yYXRlc19wX2JhcltpXSA8LSBjb2VmKGxtKGxvZzEwKGVycm9yc19wX2JhclssIGldKSB+IGxvZzEwKGhfdmVjdG9yKSkpWzJdfQpmb3IgKGkgaW4gMTpsZW5ndGgoYWxwaGFfdmVjdG9yKSkge29ic2VydmVkX3JhdGVzX3pfYmFyW2ldIDwtIGNvZWYobG0obG9nMTAoZXJyb3JzX3pfYmFyWywgaV0pIH4gbG9nMTAoaF92ZWN0b3IpKSlbMl19CgoKdGhlb3JldGljYWxfcmF0ZXMgPC0gYWxwaGFfdmVjdG9yCgpwX3VfYmFyIDwtIGVycm9yLmNvbnZlcmdlbmNlLnBsb3R0ZXIoeF9heGlzX3ZlY3RvciA9IGhfdmVjdG9yLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhX3ZlY3RvciwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlcnJvcnNfdV9iYXIsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgdGhlb3JldGljYWxfcmF0ZXMsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgb2JzZXJ2ZWRfcmF0ZXNfdV9iYXIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBsaW5lX2VxdWF0aW9uX2Z1biA9IGxvZ2xvZ19saW5lX2VxdWF0aW9uLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZmlnX3RpdGxlID0gZXhwcmVzc2lvbihpdGFsaWMoYmFyKHUpKSksCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB4X2F4aXNfbGFiZWwgPSBleHByZXNzaW9uKGl0YWxpYyhoKSkpCgpwX3BfYmFyIDwtIGVycm9yLmNvbnZlcmdlbmNlLnBsb3R0ZXIoeF9heGlzX3ZlY3RvciA9IGhfdmVjdG9yLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhX3ZlY3RvciwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlcnJvcnNfcF9iYXIsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgdGhlb3JldGljYWxfcmF0ZXMsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgb2JzZXJ2ZWRfcmF0ZXNfcF9iYXIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBsaW5lX2VxdWF0aW9uX2Z1biA9IGxvZ2xvZ19saW5lX2VxdWF0aW9uLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZmlnX3RpdGxlID0gZXhwcmVzc2lvbihpdGFsaWMoYmFyKHApKSksCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB4X2F4aXNfbGFiZWwgPSBleHByZXNzaW9uKGl0YWxpYyhoKSkpCgpwX3pfYmFyIDwtIGVycm9yLmNvbnZlcmdlbmNlLnBsb3R0ZXIoeF9heGlzX3ZlY3RvciA9IGhfdmVjdG9yLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGFscGhhX3ZlY3RvciwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlcnJvcnNfel9iYXIsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgdGhlb3JldGljYWxfcmF0ZXMsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgb2JzZXJ2ZWRfcmF0ZXNfel9iYXIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBsaW5lX2VxdWF0aW9uX2Z1biA9IGxvZ2xvZ19saW5lX2VxdWF0aW9uLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZmlnX3RpdGxlID0gZXhwcmVzc2lvbihpdGFsaWMoYmFyKHopKSksCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB4X2F4aXNfbGFiZWwgPSBleHByZXNzaW9uKGl0YWxpYyhoKSkpCgpwX2hfdSA8LSBlcnJvci5jb252ZXJnZW5jZS5wbG90dGVyKHhfYXhpc192ZWN0b3IgPSBoX3ZlY3RvciwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhbHBoYV92ZWN0b3IsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZXJyb3JzX3VfYmFyLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHRoZW9yZXRpY2FsX3JhdGVzLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIG9ic2VydmVkX3JhdGVzX3VfYmFyLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbGluZV9lcXVhdGlvbl9mdW4gPSBsb2dsb2dfbGluZV9lcXVhdGlvbiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZpZ190aXRsZSA9IGV4cHJlc3Npb24oIkNvbnZlcmdlbmNlIGluICIgKiBpdGFsaWMoaCkpLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgeF9heGlzX2xhYmVsID0gZXhwcmVzc2lvbihpdGFsaWMoaCkpKQpwX2hfeiA8LSBlcnJvci5jb252ZXJnZW5jZS5wbG90dGVyKHhfYXhpc192ZWN0b3IgPSBoX3ZlY3RvciwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhbHBoYV92ZWN0b3IsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZXJyb3JzX3pfYmFyLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHRoZW9yZXRpY2FsX3JhdGVzLCAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIG9ic2VydmVkX3JhdGVzX3pfYmFyLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbGluZV9lcXVhdGlvbl9mdW4gPSBsb2dsb2dfbGluZV9lcXVhdGlvbiwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZpZ190aXRsZSA9IGV4cHJlc3Npb24oIkNvbnZlcmdlbmNlIGluICIgKiBpdGFsaWMoaCkpLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgeF9heGlzX2xhYmVsID0gZXhwcmVzc2lvbihpdGFsaWMoaCkpKQpzYXZlKHBfaF91LCBmaWxlID0gaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9wX2hfdS5SRGF0YSIpKQpzYXZlKHBfaF96LCBmaWxlID0gaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9wX2hfei5SRGF0YSIpKQpgYGAKCmBgYHtyLCBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5kaW09IGMoMTIsNiksIGZpZy5jYXAgPSBjYXB0aW9uZXIoIkNvbXBhcmlzb24gb2YgdGhlb3JldGljYWwgYW5kIG9ic2VydmVkIGNvbnZlcmdlbmNlIGJlaGF2aW9yIGZvciB0aGUgJExfMigoMCxUKTtMXzIoXFxHYW1tYSkpJC1lcnJvciB3aXRoIHJlc3BlY3QgdG8gJGgkIG9uIGEgJFxcdGV4dHtsb2d9X3sxMH0k4oCTJFxcdGV4dHtsb2d9X3sxMH0kIHNjYWxlLiBEYXNoZWQgbGluZXMgaW5kaWNhdGUgdGhlIHRoZW9yZXRpY2FsIHJhdGVzLCBhbmQgc29saWQgbGluZXMgcmVwcmVzZW50IHRoZSBvYnNlcnZlZCBlcnJvciBjdXJ2ZXMuIFRoZSBsZWdlbmQgYmVsb3cgZWFjaCBwbG90IHNob3dzIHRoZSB2YWx1ZSBvZiAkXFxhbHBoYSQgYWxvbmcgd2l0aCB0aGUgY29ycmVzcG9uZGluZyB0aGVvcmV0aWNhbCAoJ3RoZW8nKSwgYW5kIG9ic2VydmVkICgnb2JzJykgcmF0ZXMgZm9yIGVhY2ggY2FzZS4iKX0KCnBfYWxsX2ggPC0gKHBfdV9iYXIgfCBwX3BfYmFyIHwgcF96X2JhcikgKyAKICBwbG90X2Fubm90YXRpb24oCiAgICB0aXRsZSA9IGV4cHJlc3Npb24oIiAgICAgICAgIENvbnZlcmdlbmNlIGluICIgKiBpdGFsaWMoaCkpLAogICAgdGhlbWUgPSB0aGVtZShwbG90LnRpdGxlID0gZWxlbWVudF90ZXh0KHNpemUgPSAxOCwgZmFjZSA9ICJib2xkIiwgaGp1c3QgPSAwLjUsIAogICAgICAgIGZhbWlseSA9ICJQYWxhdGlubyIpKQogICkKcF9hbGxfaApgYGAKCgpgYGB7cn0KIyBnZ3NhdmUoaGVyZTo6aGVyZSgiZGF0YV9maWxlcy9jb250cm9sX2NvbnZfcmF0ZXNfaF91X2Jhcl93aXRoX2l0ZXJhdGlvbi5wbmciKSwgd2lkdGggPSA0LCBoZWlnaHQgPSA1LCBwbG90ID0gcF91X2JhciwgZHBpID0gMzAwKQojIGdnc2F2ZShoZXJlOjpoZXJlKCJkYXRhX2ZpbGVzL2NvbnRyb2xfY29udl9yYXRlc19oX3BfYmFyX3dpdGhfaXRlcmF0aW9uLnBuZyIpLCB3aWR0aCA9IDQsIGhlaWdodCA9IDUsIHBsb3QgPSBwX3BfYmFyLCBkcGkgPSAzMDApCiMgZ2dzYXZlKGhlcmU6OmhlcmUoImRhdGFfZmlsZXMvY29udHJvbF9jb252X3JhdGVzX2hfel9iYXJfd2l0aF9pdGVyYXRpb24ucG5nIiksIHdpZHRoID0gNCwgaGVpZ2h0ID0gNSwgcGxvdCA9IHBfel9iYXIsIGRwaSA9IDMwMCkKZ2dzYXZlKGhlcmU6OmhlcmUoImRhdGFfZmlsZXMvY29udHJvbF9jb252X3JhdGVzX2hfYWxsX3dpdGhfaXRlcmF0aW9uLnBuZyIpLCB3aWR0aCA9IDEyLCBoZWlnaHQgPSA2LCBwbG90ID0gcF9hbGxfaCwgZHBpID0gMzAwKQpgYGAKCmBgYHtyLCBldmFsID0gVFJVRSwgZWNobyA9IEZBTFNFfQppbml0aWFsX2NvbW1lbnQgPC0gcGFzdGUwKCJIZXJl4oCZcyB0aGUgbGF0ZXN0IHBsb3QgdXBkYXRlIGZvciB0aGUgY29udmVyZ2VuY2UgaW4gaCBmb3IgdGhlIG9wdGltYWwgY29udHJvbCBwcm9ibGVtISB3aXRoIGthcHBhID0gIiwga2FwcGEsICIgYW5kIGRpdmlkZXIgPSAiLCBkaXZpZGVyKQojIG9wdGlvbiAxCnNsYWNrcl91cGxvYWQoCiAgZmlsZW5hbWUgPSAiZGF0YV9maWxlcy9jb250cm9sX2NvbnZfcmF0ZXNfaF9hbGxfd2l0aF9pdGVyYXRpb24ucG5nIiwgICAgICAgICMgcGF0aCB0byB5b3VyIGltYWdlCiAgaW5pdGlhbF9jb21tZW50ID0gaW5pdGlhbF9jb21tZW50LAogIGNoYW5uZWxzID0gIiNyZXNlYXJjaCIKKQpgYGAKCmBgYHtyLCBldmFsID0gVFJVRSwgZWNobyA9IEZBTFNFfQpnZXRfbnVtZXJpY19zY2FsYXJzIDwtIGZ1bmN0aW9uKCkgewogIHZhcnMgPC0gbHMoZW52aXIgPSAuR2xvYmFsRW52KQogIHNjYWxhcnMgPC0gc2FwcGx5KHZhcnMsIGZ1bmN0aW9uKHYpIHsKICAgIHZhbCA8LSBnZXQodiwgZW52aXIgPSAuR2xvYmFsRW52KQogICAgaXMubnVtZXJpYyh2YWwpICYmIGxlbmd0aCh2YWwpID09IDEKICB9KQogIG1nZXQodmFyc1tzY2FsYXJzXSwgZW52aXIgPSAuR2xvYmFsRW52KQp9CgojIENvbGxlY3QgdGhlIHNjYWxhcnMKbnVtX3NjYWxhcnMgPC0gZ2V0X251bWVyaWNfc2NhbGFycygpCgojIEZvcm1hdCBhcyBtZXNzYWdlCm1zZyA8LSBwYXN0ZSgKICBzcHJpbnRmKCIlcyA9ICVzIiwgbmFtZXMobnVtX3NjYWxhcnMpLCB1bmxpc3QobnVtX3NjYWxhcnMpKSwKICBjb2xsYXBzZSA9ICJcbiIKKQoKIyBTZW5kIHRvIFNsYWNrCnNsYWNrcjo6c2xhY2tyX21zZygKICB0ZXh0ID0gcGFzdGUoIk51bWVyaWMgc2NhbGFycyBpbiB0aGlzIHJ1bjpcbiIsIG1zZyksCiAgY2hhbm5lbCA9ICIjcmVzZWFyY2giCikKYGBgCgojIFJlZmVyZW5jZXMKCmBgYHtyfQpjaXRlX3BhY2thZ2VzKG91dHB1dCA9ICJwYXJhZ3JhcGgiLCBvdXQuZGlyID0gIi4iKQpgYGAK