1 The Problem

Advertising attribution is the method of quantifying the relative contributions of different advertising channels when a target consumer performs some desirable action (a “conversion”). It is a difficult issue that affects nearly all industries which rely on marketing in some form. Specifically in the movie industry, millions of dollars are spent marketing each film; sometimes this cost even outstrips the huge costs associated with producing the movie. It is a critical part of the box office success of a movie, but, often, these crucial marketing decisions have been made without the benefit of rigorous statistical analysis inferring the relative effectiveness of each marketing platform. Clearly, knowing something about the effectiveness of advertising platforms could help inform these marketing decisions and future budget allocations.

In an ideal world, we would be in a situation like below, where we have a user who discovers a movie by viewing an advertisement for the first time, and immediately purchases a movie ticket.
The reality is much more complicated though, and actually looks something more like this:

So there are two major problems when it comes to advertising attribution in the movie industry:

  1. The data about what advertising a consumer sees, and whether they ultimately watch a movie is not easily known; and
  2. Even if we have the data, it is not clear how best to identify the contributions of each advertising platform towards a conversion.

1.1 Getting the Data

Like most mass-market products, many movie producers utilize ‘offline’ channels to promote their products (like TV ads or billboards in NYC’s Times Square) so it is challenging to get data on advertisements a consumer has seen. Making matters more difficult, even if we knew about the advertisement exposures for an individual, it is often impossible to tie this information with whether a person ultimately goes to see a particular movie since most movie tickets are sold in-person at cinemas, and advertisers typically do not have access to ticket sales on an individual level.

Our solution here is to conduct a survey for a cohort of movies released around the same date. The data includes information such as:

  1. A user’s self-reported advertising exposure on a range of platforms;
  2. A user’s demographic information;
  3. A user’s movie preferences and movie-going behavior; and
  4. Whether they ultimately go to see a movie in our survey set.

We used an online crowd-sourcing platform to select a static panel of respondents who completed a daily survey for 14 days. A daily cadence was selected to maximize the respondents’ ability to remembers ads they have seen, while balancing the practical feasibility of completing the survey. In a typical survey run, there were around 2,000 respondents who completed 12 or more days of surveys and were included in the final analysis. This represented an 80% retention rate from the total pool of participants who were selected for the survey. In our full model, we conduct this survey at multiple different times across different cohorts of movies. Combining the results of these multiple survey cohorts together allows us to leverage the benefits of the partial-pooling approach in order to reduce the variance in the inferred posterior distribution of the model parameters.

We are making available a reduced, anonymized version of our proprietary data set to demonstrate our approach. In summary:

  • This version is a randomly sampled subset of the results from a single survey run.
  • The advertising platforms and movie names used in the survey have been anonymized.
  • Each row in the input data file represents a person-movie pairing (7,000 pairings) and there are 1,000 such pairings for each movie.
  • The ages have been normalized with mean 0 and unit variance.
  • The ad exposure data has been normalized with mean 0 and unit variance, first by row (person-movie pairing) and then by column (ad platform).
  • There are 7 distinct movies, each belonging to a single genre (the movies spanned across 2 distinct genres).
  • There are 9 advertising platforms represented in the data.

1.2 Assigning Credit

As mentioned above, a person does not simply view a single advertisement and immediately purchase a movie ticket. Advertising exposures are spaced out in time across different ad platforms, so there needs to be a way to determine the relative contributions of the ad platforms. Some general observations that are probably true:

  1. The timing of an ad exposure likely matters;
  2. Different ad platforms likely have different effects (e.g. ads that raise awareness versus ads that call to action);
  3. Repeated ad exposures on a platform likely have some additive effects; and
  4. Ad exposures that do not lead to a conversion may still deserve some credit.

It is non-trivial to figure out a robust method to assign credit to different ad platforms that addresses all these dynamics, and it remains an open research area.[1–3] Nevertheless, we discuss some common methods that have been used in practice. Later, we will show how the efficacy of different attribution methods can be compared, and how our model can be readily adapted to use some of these different methods.

1.2.1 First and Last-touch Attribution

One common method in use in web-advertising is to simply take the last advertising platform that was seen before the conversion; this is known as “Last Touch Attribution”. This metric is popular in web-advertising since the required data is usually available and the metric is easily measurable:

Equivalently, there are methods known as “First Touch Attribution” which gives full credit to the first advertisement seen.

Clearly, these are very rough estimates of contribution, and can be quite unfair since they are all-or-nothing. This is especially problematic for ad platforms that are not usually accessed immediately before a conversion; radio advertisements, for example, may bring a consumer’s awareness to a product without directly leading to an immediate conversion. As we will show later, both First and Last-touch Attribution can be used in our model with only minor changes to the preparation of the data.

1.2.2 Equal Weight Attribution

The technique we focus on for this example is known as “Equal Weight Attribution” where all ad platforms that contributed to the conversion are given equal credit. This effectively ignores the time component of the ad exposures. We also incorporate the proportion of ad exposures by platform for each conversion (rather than a binary value), so platforms that were viewed more often are given a higher overall credit for that conversion.

1.2.3 Other Measures

More advanced attribution techniques include “Time Weighted Attribution” which incorporates time-decay. The central idea is that ads viewed a long time before conversion probably did not have as big an impact as those ads viewed close to the time of conversion.

There are also techniques which use Hidden Markov Models (HMMs) that incorporate latent states in an attempt to assign credit to advertising platforms even when ultimately no conversion occurred.[2]

2 Model

In this example, we use a hierarchical Bayesian logistic regression model to infer the relative effectiveness of advertising platforms on whether a user goes to see a movie. The main goal here is not to get the absolute highest predictive accuracy, but to understand the effectiveness of different advertising platforms on movie attendance. Key benefits of this model include the highly interpretable model parameters, and detailed insights about their posterior distributions.

Consider the \(i\)-th data point representing some person-movie pairing. For some vector of parameters (e.g. demographics and ad platform effectiveness), \(\boldsymbol{\beta_{\omega}}\), if we have the corresponding vector of values for a data point, \(\boldsymbol{x_i}\), the probability of whether a person watches a particular film, \(y_i\) is modeled as:

\[ \mu = logit^{-1}(x_{i,age}\beta_{\omega,age} + x_{i,gender}\beta_{\omega,gender} + x_{i,parent}\beta_{\omega,parent} + \boldsymbol{x_{i,ad}}^T\boldsymbol{\beta_{\omega,ad}} + \beta_{\omega,0} + \beta_0 + \bar{y}) \\ y_i \sim Bernoulli(\mu) \]

Variables:

Data:

Parameters:

Priors:

As discussed above, we acknowledge there are limitations to this simplified model, but it still provides some illustrative inferences. In this model, we include:

  1. Individual-level demographic data (e.g. age, gender, parent status);
  2. Ad exposure information (i.e. normalized number of exposures on each ad platform); and
  3. Whether an individual went to see a particular movie (i.e. 1 or 0).

In the full model that we use, we also incorporate additional variables like nuisance variables (e.g. initial awareness of a movie), and additional individual-level characteristics (e.g. genre preferences) that likely affects movie-going behavior. We also use multiple survey cohorts to increase the sample size.

Each film will have different parameter estimates, so the effect of age or gender on whether a person sees a film is going to differ between films making it unreasonable to treat all film parameters the same (“complete pooling”). While we could model each film separately (“unpooled”), treating all films as completely unrelated entities:

  1. Does not seem entirely accurate; and
  2. Leaves us with a very limited data set since we do not leverage data from other films in each film’s parameter estimates.

The hierarchical aspect of the model allows us to pool together data across different films to inform our parameter estimates. Our proposed approach is to use genre-level parameters that are distributed using priors drawn from a common, higher-level distribution. The film-level parameters are then drawn from a distribution based on the relevant genre-level distribution.

Hierarchical model

Hierarchical model

data {
    int<lower=0> N ; # Total number of data points
    int<lower=0> K_m; # Number of films
    int<lower=0> K_mg; # Number of film groups
    int<lower=0> K_ads; # Number of ad platforms

    int<lower=0,upper=1> y[N] ; # Have seen target film

    int<lower=0,upper=1> x_parent[N] ; # Parent code
    real x_age[N] ; # Age
    real<lower=0> x_gender[N] ; # Gender
    int<lower=0> x_film[N] ; # Film
    matrix[N, K_ads] x_ads ; # Ad impressions per platform

    int<lower=1, upper=K_mg> x_mg[K_m] ; # Film groups
}

transformed data {
    real realN;
    real logit_mean_y;
    realN = N;
    
    logit_mean_y = logit(sum(y) / realN);
}

parameters {
    real b;
    
    real<lower=0> v_age_sigma;
    vector[K_mg] v_age_g;
    vector<lower=0>[K_mg] v_age_sigma_g;
    vector[K_m] v_age;
        
    real<lower=0> v_gender_sigma;
    vector[K_mg] v_gender_g;
    vector<lower=0>[K_mg] v_gender_sigma_g;
    vector[K_m] v_gender;
    
    real<lower=0> v_parent_sigma;
    vector[K_mg] v_parent_g;
    vector<lower=0>[K_mg] v_parent_sigma_g;
    vector[K_m] v_parent;
    
    real<lower=0> v_ad_sigma;
    vector[K_ads] v_ad_platform_mean;
    vector<lower=0>[K_ads] v_ad_platform_sigma;
    matrix[K_ads, K_mg] v_ad_platform_g;
    matrix<lower=0>[K_ads, K_mg] v_ad_platform_sigma_g;
    matrix[K_m,K_ads] v_ad_platform_film;
    
    real<lower=0> v_film_sigma;
    vector<lower=0>[K_mg] v_film_g_sigma;
    vector[K_mg] v_film_g;
    vector[K_m] v_film_s;
}

model {
    real y_pred[N];
    
    b ~ normal(0, 0.5);
    
    v_age_sigma ~ cauchy(0, 0.5);
    v_age_g ~ normal(0, 1);
    v_age_sigma_g ~ cauchy(0, 1);
    v_age ~ normal(0, 1);
    
    v_gender_sigma ~ cauchy(0, 0.5);
    v_gender_g ~ normal(0, 1);
    v_gender_sigma_g ~ cauchy(0, 1);
    v_gender ~ normal(0, 1);
    
    v_parent_sigma ~ cauchy(0, 0.5);
    v_parent_g ~ normal(0, 1);
    v_parent_sigma_g ~ cauchy(0, 1);
    v_parent ~ normal(0, 1);
    
    v_ad_sigma ~ cauchy(0, 0.5);
    v_ad_platform_mean ~ normal(0, 1);
    v_ad_platform_sigma ~ cauchy(0, 1);
    
    to_vector(v_ad_platform_g) ~ normal(0, 1);
    to_vector(v_ad_platform_sigma_g) ~ cauchy(0, 1);
    to_vector(v_ad_platform_film) ~ normal(0, 1);
    
    v_film_sigma ~ cauchy(0,1);
    v_film_g_sigma ~ cauchy(0,1);
    v_film_g ~ normal(0,1);
    v_film_s ~ normal(0,1);

    for (n in 1:N) {
        int g;
        int m;
        real comb_ad_platform;
        
        m = x_film[n];
        g = x_mg[m];
        
        comb_ad_platform = 0;
        for (k in 1:K_ads) {
            comb_ad_platform = comb_ad_platform +
                v_ad_sigma * (v_ad_platform_mean[k] + v_ad_platform_sigma[k] * (v_ad_platform_g[k,g]  + v_ad_platform_sigma_g[k,g] * v_ad_platform_film[m,k])) * x_ads[n,k];
        }
        
        y_pred[n] = logit_mean_y + b + 
            (v_age_sigma * (v_age_sigma_g[g] * v_age[m] + v_age_g[g])) * x_age[n] +     
            (v_gender_sigma * (v_gender_sigma_g[g] * v_gender[m] + v_gender_g[g])) * x_gender[n] + 
            (v_parent_sigma * (v_parent_sigma_g[g] * v_parent[m] + v_parent_g[g])) * x_parent[n] + 
            comb_ad_platform +
            v_film_sigma * (v_film_g_sigma[g] * v_film_s[m] + v_film_g[g]);
    }
    
    y ~ bernoulli_logit(y_pred);
}
    
generated quantities {
  real log_lik[N]; # Log-likelihood of each data point given a posterior sample
  real theta[N]; # The probabilities of p(y=1|x) for each data point and MCMC sample

    for (n in 1:N) {
        int g;
        int m;
        real t_i;
        real comb_ad_platform;

        m = x_film[n];
        g = x_mg[m];

        comb_ad_platform = 0;
        for (k in 1:K_ads) {
            comb_ad_platform = comb_ad_platform +
                v_ad_sigma * (v_ad_platform_mean[k] + v_ad_platform_sigma[k] * (v_ad_platform_g[k,g]  + v_ad_platform_sigma_g[k,g] * v_ad_platform_film[m,k])) * x_ads[n,k];
        }

        t_i = logit_mean_y + b + 
            (v_age_sigma * (v_age_sigma_g[g] * v_age[m] + v_age_g[g])) * x_age[n] +     
            (v_gender_sigma * (v_gender_sigma_g[g] * v_gender[m] + v_gender_g[g])) * x_gender[n] + 
            (v_parent_sigma * (v_parent_sigma_g[g] * v_parent[m] + v_parent_g[g])) * x_parent[n] + 
            comb_ad_platform +
            v_film_sigma * (v_film_g_sigma[g] * v_film_s[m] + v_film_g[g]);

        log_lik[n] = bernoulli_logit_lpmf( y[n] | t_i );
        theta[n] = inv_logit( t_i );
    }
}

3 RStan

Using RStan, we can run the Stan program using MCMC sampling. Installing the latest RStan version from Github may be required since some plotting functions come up with errors in earlier versions. The code for this notebook is run using Rstan 2.12.1.

# ---- RStan utility functions ------------
#' Load a single object into a temporary environment and return that object only
#' 
#' Must contain only a single object, or otherwise it returns some arbitrary 
#' object.
#' 
#' @param f The file that contains the single R object
#' @return The R object contained in the file, \code{f}
#' @note Source: http://stackoverflow.com/questions/5577221/how-can-i-load-an-object-into-a-variable-name-that-i-specify-from-an-r-data-file
#' @export
load_obj <- function(f)
{
  env <- new.env()
  nm <- load(f, env)[1]
  env[[nm]]
}
#' Creates a Stan model after preparing data
#' 
#' Save all the results into a single object to keep things neat. 
#' Also allows for additional parameters to be extracted from the Stan model 
#' into the return object.
#' 
#' @param rda_file Where the Stan data is stored (usually an RDA file).
#' @param stan_file Where the Stan model file is stored (usually a .stan file).
#' @param iter,chains Parameters for training the Stan model.
#' @param pars Additional parameters that should be extracted from the Stan 
#'   model into the return object. Will be stored with name 
#'   'param_'+<param_name>
#' @return Named list with the data, Stan fitted model.
#' @export
create_stan_model <- function(rda_file, stan_file, iter = 250, chains = 4, pars = NULL) {
  ret = list(data = load_obj(rda_file))
  
  ret[['stan_fit']] <- stan(file = stan_file, data = ret[['data']] , iter = iter, chains = chains)  # Fit the model
  
  # If required, extract some additional parameters from the model (assumes they are defined in Stan)
  if( !is.null(pars) ) {
    for( p in pars ) {
      ret[[paste0('param_', p)]] = extract( ret[['stan_fit']], pars=p)
    }
  }
  
  return (ret)
}
library(rstan)

rstan_options(auto_write = TRUE) # Save model to reduce recompiling time
options(mc.cores = parallel::detectCores()) # Use multiple cores

# Load the data and run the model, extracting the p(y=1|x) and log-likelihood parameters for all MCMC samples
comb_res = create_stan_model('stancon_data.rda', 'stancon_model.stan', pars=c('theta', 'log_lik'), iter = 750)

A quick look at the histogram of the posteriors for some of the parameters suggests we are getting some reasonable results. The posterior distributions are roughly shaped like Gaussians and do not appear to be truncated at either extreme. Many parameters are also centered on non-zero values, implying the data is shifting the posterior away from the prior distribution.

Below, we can see the average advertising effectiveness for each of the 9 ad platforms across all films in the cohort (\(\mu_{ad}\)). Note these are the averages across the cohort, so each individual film will have its own set of ad platform effectiveness parameters that will incorporate the partially pooled information from film genre, and the survey data points for that particular movie.

On average, ad platform number 2 is notably less effective than the other platforms when comparing the medians of the posterior (the significance of this difference is substantially increased in our full data set). Similarly, we can see that platforms 1, 6, 7, and 8 seem to be more effective when comparing median values of this mean parameter.

An added benefit of using a hierarchical model is that we can also look at the model parameters at different levels of the hierarchy. In this case, it may reveal differences across genres that could be useful to understand how advertising effectiveness might vary across genres, or whether certain demographic groups are attracted to particular movie genres. Looking at the genre-level parameter for age below, we can see that younger people are more likely to view movies in genre 1, while older viewers are more likely to view movies in genre 2.

4 Analyzing the model

In order to ensure the model is appropriate and stable, we consider:

  1. MCMC diagnostics; and
  2. Posterior predictive checks.

4.1 MCMC Diagnostics

As a starting point, we want to see if the chains are converging to the target distribution (or at least to some equilibrium distribution). There are multiple ways of doing this, but we focus on the potential scale reduction statistic, \(\hat{R}\), as proposed by Gelman and Rubin.[7] This compares the average variance within each chain to the pooled variance across all chains. The proposed rule of thumb by Gelman and Rubin is to continue sampling until all \(\hat{R}\) values are below 1.1. We note there are some strong assumptions behind this statistic, and there is additional complexity behind assessing whether convergence has actually occurred, but we keep it simple here for the sake of brevity.

As seen below, all \(\hat{R}\) statistics are clearly below 1.1, suggesting that equilibrium has been achieved. Note we only use 4 chains here, but again, in practice we would have many more in order to increase the likelihood that the posterior space is well-explored. The danger with only having a few chains is that convergence could appear to have been achieved, when in fact there could be entirely unexplored spaces in the posterior due to the particular random initializations of each chain. In general, there is no way of guaranteeing this does not happen even with a large number of chains, but more chains decreases the likelihood of this happening.

We should also consider the Effective Sample Size (ESS) which accounts for autocorrelation between samples. This is important, for example, when considering standard error measurements arising from the central limit theorem which assumes independent samples; calculations using the standard sample size are instead replaced with ESS.[8] Highly correlated samples will have a much lower ESS compared to the actual sample size. The absolute ESS value matters also since estimation error is proportional to \(1/\sqrt{N_{eff}}\), so depending on the acceptable level of error, we may need to include more samples. The ESS is fairly low for some parameters in this small example, but in practice there should be more samples (usually, at least several thousand).

4.2 Posterior Predictive Checks

A basic way to check whether the model is performing reasonably and is appropriate for the problem, is to simulate how well it is able to recreate the training data.[9] Specifically, we want to compare the posterior predictive distribution of the dependent variable for each data point to the actual observed value. If the actual observed value is towards the extreme ends of the posterior predictive distribution (or outside the range altogether), that may suggest our model needs to be improved. For example, perhaps we are not modeling higher-order interaction terms, or we are omitting essential data from our model.

Of course, the true posterior distribution is unknown so the MCMC samples will form the estimate. Specifically, the posterior predictive distribution is: \[ p(\tilde{y} | \boldsymbol{X}, \boldsymbol{y}) = \int{ p(\tilde{y} | \theta) p(\theta|\boldsymbol{X}, \boldsymbol{y}) d\theta} \] Using \(S\) posterior samples as a substitute for the true posterior distribution, with the \(k\)-th posterior sample denoted by \(\theta^k\): \[ p(\tilde{y} | \boldsymbol{X}, \boldsymbol{y}) \approx \frac{1}{S} \sum_{k=1}^{S}{ p(\tilde{y} | \theta^k) } \]

In order to create replications of the training data set, each posterior sample will create a replication based on the distribution of \(\tilde{y_i^k}\) for the \(i\)-th data point and \(k\)-th sample. Since the dependent variable is a Bernoulli random variable, each replication is a draw from the Bernoulli distribution with mean \(p(\tilde{y_i^k} = 1 | \theta^k)\). Let the concrete replication for data point \(i\) and sample \(k\) be \(y_{pred, i}^{k} \in \left\{0, 1\right\}\).

Rather than look at each individual data point, looking at the distribution of predictions across certain groups might suggest more meaningful ideas for model improvement. It could be, for example, that the model overestimates the age effect for people who are very young or very old due to the linear effect implied in the model, leading to poor replicated results for those age groups. Or perhaps the model performs poorly for people who are not parents.

If we consider a split of the data by parent status and movie genre, the box plots below show that the actual proportion of movie-going falls within the first and third quartile of all sets of replications. More generally, it is also possible to calculate a test statistic to compare the replications against the actual observed values, as well as an accompanying “p-value.” In this case, the test statistic is just the proportion of \(y_{pred, i}^{k} = 1\) for all \(i\) in a particular set (e.g. parents) across the \(k\) replications. Here, one possible p-value formulation is \(p( T(y_{pred, G}) > T(y_G) )\) for a grouping of data points, \(G\). These results so far do not indicate any problems with the performance of the model, since our model-based replications can often produce outcomes similar to the actual outcome observed.

# ---- Plotting utility functions ------------

library(dplyr)

#' Utility function that returns the result of Bernoulli draws
#' 
#' Given some input matrix, repeatedly make a single draw from a Bernoulli 
#' distribution with probability given by each element in the input matrix. The
#' result is a matrix of the same size as the input matrix.
#' 
#' @param theta A matrix of elements in \in [0, 1] representing the probability
#'   of success in a Bernoulli distribution.
#' @return A matrix of elements in \in {0, 1} representing whether the
#'   Bernoulli draw was successful for that particular matrix element.
#' 
#' @export
get_y_rep_bernoulli <- function(theta) {
  numSamples= dim(theta)[1]
  numDataPoints = dim(theta)[2]
  
  unif_draws = matrix( runif(numSamples * numDataPoints), numSamples, numDataPoints )
  raw_seen_prop = (theta > unif_draws) # Find which bernoulli trials were successful
  
  return (raw_seen_prop)
}

#' Utility function for getting the proportions of y=1 for a given field
#' 
#' For some given field given by the \code{field} string, the relevant vector in the
#' nested list \code{data} is extracted. We group by the values in this vector and take
#' the proportion of elements for which the response variable is 1.
#' 
#' @param data The nested listed containing the data to be queried.
#' @param field The string representing the field of interest in a nested list.
#' @param resp The string representing the response variable in a nested list.
#' 
#' @export

get_actual_props = function(data, field, resp='y') {
  df = data.frame(val = data[[field]], y=data[[resp]])
  ret = df %>%
    group_by(val) %>%
    summarise_each(funs(mean)) %>%
    arrange(val)
  
  return(ret$y)
}

#' Utility function to create a matrix based on the values in another vector
#' 
#' Take some \code{data} matrix and choose to split it based on a vector 
#' \code{split_attr}. For each value in the vector \code{split_attr}, a boolean 
#' vector is created where an element in this new boolean vector is \code{TRUE} 
#' where the corresponding element in \code{split_attr} is exactly equal to this
#' value. The boolean vector is then used to subset \code{data} by column or row
#' based on the flag variable \code{by_col}. The return value is a dataframe 
#' with the means of the elements belonging to each value in \code{split_attr}.
#' 
#' @param split_attr A vector containing the values to determine the split of 
#'   the data matrix.
#' @param data A matrix containing the data to be subset.
#' @param by_col Whether the subset of \code{data} should be done by column or 
#'   row.
#'   
#' @return attr_summary A dataframe with an attribute column and a column with
#'   the mean of the values.
#'   
#' @export

split_theta_by_field <- function(split_attr, data, by_col = T) {
  df = if(by_col) data.frame(t(data)) else data.frame(data) # Create a dataframe from the data matrix
  df$attr = split_attr # Add the attribute column
  numRows = dim(df)[1]
  
  attr_summary = df %>%
    group_by(attr) %>%
    summarise_each(funs(mean))
  
  return(attr_summary)
}


#' Plot proportions of y=1 based on a discrete variable of interest
#' 
#' Takes an NxM matrix \code{raw_seen_prop} of {0,1} with each row 
#' representing a Bernoulli draw across \code{M} data points based on a single
#' sample from the posterior. This matrix is split across a discrete variable 
#' of interest to plot the proportions of y=1 for each of the unique values of
#' the discrete variable, across all the \code{N} posterior samples.
#' 
#' @param raw_seen_prop An NxM matrix of {0,1} which represents whether a 
#'   particular data point had a response of y=1 for that particular posterior
#'   sample.
#' @param stan_data The nested list of data. Must include the field of 
#'   interest.
#' @param field The name of the field in \code{stan_data} that is the field 
#'   of interest.
#' @param names The x-axis labels of the box plot (will use the discrete
#'   values of the variable of interest by default).
#' @param attr_name Some descriptive word to describe the attribute being 
#'   analyzed (e.g. gender).
#'   
#' @export

plot_proportions_discrete = function(raw_seen_prop, stan_data, field, names=NULL, attr_name='attribute') {
  if( !(field %in% names(stan_data) ) ) {
    warning(paste('Error:', field, 'is not in stan data! Can\'t plot discrete values, returning...'))
    return(-1)
  }
  
  props = get_actual_props(stan_data, field) # Get the actual proportions of the response variable by the discrete variable
  numFactors = length(props) # Number of different values the discrete variable can take
  
  df = split_theta_by_field(stan_data[[field]], raw_seen_prop)
  arrange(df, attr) # So we get 0, 1 etc. so the names line up
  attr_col= df$attr
  names = if(is.null(names)) attr_col else names # Names for the corresponding variable in sorted order
  df = select(df,select=-attr) # Drop the attribute column when plotting
  
  # Get the p-values for each attribute value (e.g. parent and non-parent)
  for( r in 1:length(attr_col) ) {
    p_val = sum(df[r, ] > props[r])/length(df[r, ])
    print( paste0("p-value for ", attr_name, " = ", attr_col[r],": ", p_val) )
  }
  
  # Create the box plot
  boxplot(t(df), names=names, main=paste("Proportion of movie-goers by", attr_name), xlab=attr_name, ylab="Proportion", las=2)
  
  for( s_p in 1:numFactors ) {
    segments(0.5+(s_p-1), props[s_p], 1.5+(s_p-1), props[s_p], col='red', lty=2) # Draw the actual proportions as red dashed lines
  }
  
  legend("topright", legend=c('Actual'), lty=c(2), lwd=c(2.5),col=c("red"))
  
}
means_k_i = comb_res$param_theta$theta  # Matrix of values for p( y_i^k = 1 | theta^k )
reps = get_y_rep_bernoulli( means_k_i )  # Generate the replications
plot_proportions_discrete(reps, comb_res$data, 'x_parent', names = c('Not Parent', 'Parent'), attr_name = 'Parent status')
[1] "p-value for Parent status = 0: 0.615333333333333"
[1] "p-value for Parent status = 1: 0.372"

plot_proportions_discrete(reps, comb_res$data, 'x_mg', names = c('Genre 1', 'Genre 2'), attr_name = 'Genre')
[1] "p-value for Genre = 1: 0.630666666666667"
[1] "p-value for Genre = 2: 0.411333333333333"

5 Model selection

5.1 Overview

One of the interesting issues with advertising attribution is that there are many competing models for how to assign credit for conversions (e.g. last touch attribution, equal weighted attribution etc). One method is to compare model performance on some unseen validation set to see which model performs best, and then assessing that best model on another unseen test set to get a true unbiased estimate of actual performance. While this is great for large data sets, with the kind of small-scale survey data we have here, this kind of data segmentation severely limits the amount of training data we have left. In addition, the size of the validation set may be too small leading to high variance in performance and unreliable estimates of which model actually has the best performance.

We can address some of these problems with \(K\)-fold cross-validation. This is a technique that randomly subsets the training data set into \(K\) parts. Using \(K\) separate fittings of the model, each fitting uses \(K-1\) parts and performance is assessed on the \(1\) held-out part. This allows for a more economical use of limited training data, and should also lower the variance in performance that might arise from trying to assess on a single validation set.

With limited data though, sometimes even using \(K-1\) parts of the training data to fit the model is not enough if \(K\) is too small since the variance can still be high; certain models might be significantly altered if even a small number of data points are left out of the limited training data set.[10] It follows then, that perhaps we need \(N\)-fold cross-validation, where each time we omit only a single data point from being used for training, and then assess model performance on that single left-out data point. This is also known as “Leave One Out Cross Validation” (LOO-CV). This technique is generally computationally expensive since it requires \(N\) model fittings, but it may be possible for certain models that can be fit quickly.

However, for most Bayesian models that rely on MCMC, this is typically going to be computationally infeasible for anything larger than trivially small data sets. Fortunately, a method was developed called PSIS-LOO which uses Pareto smoothed importance sampling to approximate the expected log point-wise predictive density of LOO-CV in Bayesian models using only a single model fitting.[10]

5.2 Bayesian Leave-One-Out Cross-Validation (LOO-CV)

There are a few possible models to compare between, such as partial pooling versus no pooling, or different ad platform attribution schemes. Here, we focus on comparing between Last Touch Attribution, and Equal Weighted Attribution (both are partially pooled). First, let’s fit another model to the same data using Last Touch Attribution. The underlying data is the same, but now the ad exposures are a one-hot encoding representing the last platform on which an ad was seen. The model is also the same as for Equal Weighted Attribution.

comb_res_lta = create_stan_model('stancon_data_lta.rda', 'stancon_model.stan', pars=c('theta', 'log_lik'), iter = 750)

Now that we have two different models, we can compare an approximation of their LOO-CV performance by using PSIS-LOO through the loo package. Using the loo library makes it straight-forward to use this in practice, though it requires the log-likelihood matrix which contains the point-wise log-likelihood of all data points across all MCMC samples. This requires explicit specification of \(p(y_i | \theta^s)\) in the Stan model for each data point. The log-likelihood matrix can be implemented in Stan in the generated quantities block which is evaluated after each sample.

library(loo)  # Notebook run with version 0.1.6

loo_lta = loo( comb_res_lta[['param_log_lik']]$log_lik )
loo_ewa = loo( comb_res[['param_log_lik']]$log_lik )
compare_lta_ewa = compare( loo_lta, loo_ewa )

There is no straight-forward interpretation of the expected log predictive density value (ELPD), but the relative values can be used to compare models across the same data set. The higher the elpd_loo value (or lower the looic value), the better the approximate predictive performance of the model on unseen data. It appears Equal Weighted Attribution is significantly better than Last Touch Attribution on this metric. We can get a better estimate for the significance of the ELPD difference between two models by using the loo library function, compare; when provided with the log-likelihood matrix for two models fitted on the same data set, this function calculates the standard error of the ELPD difference over the paired data points to yield a better standard error estimate.

The results show that using Equal Weighted Attribution is expected to perform better on unseen data according to this approximation, since the elpd_diff is significantly positive meaning the second argument to compare has better expected predictive performance. Of course, this is only a single measure, and predictive performance is only one aspect to consider when making model selection decisions.

6 Conclusion

We present a Bayesian method for inferring advertising platform effectiveness as applied to the movie industry, and show some possibilities for drawing inferences by analyzing model parameters at different levels of the hierarchy. In addition, we show some common ways to check model efficacy, and possibilities for comparing between different models.

7 Acknowledgments

The authors would like to acknowledge the work of Joseph Schenosky and Kitty Cheung, who were involved with elements of the survey design and execution.

8 License

BSD (3 clause) (code), CC BY 4.0 (text), CC BY-NC 4.0 (data)

9 References

1. Dalessandro, B.; Perlich, C.; Stitelman, O.; Provost, F. Causally motivated attribution for online advertising. In Proceedings of the sixth international workshop on data mining for online advertising and internet economy; ACM, 2012; p. 7.

2. Abhishek, V.; Fader, P.; Hosanagar, K. Media exposure through the funnel: A model of multi-stage attribution. Available at SSRN 2158421 2012.

3. Yadagiri, M. M.; Saini, S. K.; Sinha, R. A non-parametric approach to the multi-channel attribution problem. In International conference on web information systems engineering; Springer, 2015; pp. 338–352.

4. Gelman, A.; others Prior distributions for variance parameters in hierarchical models (comment on article by browne and draper). Bayesian analysis 2006, 1, 515–534.

5. Bernardo, J.; Bayarri, M.; Berger, J.; Dawid, A.; Heckerman, D.; Smith, A.; West, M. Non-centered parameterisations for hierarchical models and data augmentation. In Bayesian statistics 7: Proceedings of the seventh valencia international meeting; Oxford University Press, USA, 2003; p. 307.

6. Betancourt, M.; Girolami, M. Hamiltonian monte carlo for hierarchical models. arXiv preprint arXiv:1312.0906 2013.

7. Gelman, A.; Rubin, D. B. Inference from iterative simulation using multiple sequences. Statistical science 1992, 457–472.

8. Stan Development Team Stan modeling language user’s guide and reference manual, version 2.12.0; 2016.

9. Gelman, A.; Carlin, J. B.; Stern, H. S.; Rubin, D. B. Bayesian data analysis; Chapman & Hall/CRC Boca Raton, FL, USA, 2014; Vol. 2.

10. Vehtari, A.; Gelman, A.; Gabry, J. Practical bayesian model evaluation using leave-one-out cross-validation and waic. 2016.

11. Citation csl styles provided by citationstyles.org and zotero.

LS0tCnRpdGxlOiAiQWR2ZXJ0aXNpbmcgQXR0cmlidXRpb24gTW9kZWxpbmcgaW4gdGhlIE1vdmllIEluZHVzdHJ5IgphdXRob3I6ICJWaWN0b3IgTGVpLCBOYXRoYW4gU2FuZGVycywgYW5kIEFiaWdhaWwgRGF3c29uIgpkYXRlOiAiMSBEZWNlbWJlciAyMDE2IgpvdXRwdXQ6CiAgaHRtbF9ub3RlYm9vazoKICAgIGZpZ19oZWlnaHQ6IDQKICAgIGZpZ193aWR0aDogNgogICAgaGlnaGxpZ2h0OiB0YW5nbwogICAgbnVtYmVyX3NlY3Rpb25zOiB5ZXMKICAgIHRoZW1lOiBmbGF0bHkKICAgIHRvYzogeWVzCiAgICB0b2NfZGVwdGg6IDIKICBodG1sX2RvY3VtZW50OgogICAgdG9jOiB5ZXMKICAgIHRvY19kZXB0aDogJzInCiAgcGRmX2RvY3VtZW50OgogICAgdG9jOiB5ZXMKICAgIHRvY19kZXB0aDogJzInCm5vY2l0ZTogfAogIEBjaXRlc3R5bGUKY3NsOiBlY29ub21ldHJpY3MuY3NsCmJpYmxpb2dyYXBoeTogYmlibGlvZ3JhcGh5LmJpYgotLS0KCiMgVGhlIFByb2JsZW0KQWR2ZXJ0aXNpbmcgYXR0cmlidXRpb24gaXMgdGhlIG1ldGhvZCBvZiBxdWFudGlmeWluZyB0aGUgcmVsYXRpdmUgY29udHJpYnV0aW9ucyBvZiBkaWZmZXJlbnQgYWR2ZXJ0aXNpbmcgY2hhbm5lbHMgd2hlbiBhIHRhcmdldCBjb25zdW1lciBwZXJmb3JtcyBzb21lIGRlc2lyYWJsZSBhY3Rpb24gKGEgImNvbnZlcnNpb24iKS4gSXQgaXMgYSBkaWZmaWN1bHQgaXNzdWUgdGhhdCBhZmZlY3RzIG5lYXJseSBhbGwgaW5kdXN0cmllcyB3aGljaCByZWx5IG9uIG1hcmtldGluZyBpbiBzb21lIGZvcm0uIFNwZWNpZmljYWxseSBpbiB0aGUgbW92aWUgaW5kdXN0cnksIG1pbGxpb25zIG9mIGRvbGxhcnMgYXJlIHNwZW50IG1hcmtldGluZyBlYWNoIGZpbG07IHNvbWV0aW1lcyB0aGlzIGNvc3QgZXZlbiBvdXRzdHJpcHMgdGhlIGh1Z2UgY29zdHMgYXNzb2NpYXRlZCB3aXRoIHByb2R1Y2luZyB0aGUgbW92aWUuIEl0IGlzIGEgY3JpdGljYWwgcGFydCBvZiB0aGUgYm94IG9mZmljZSBzdWNjZXNzIG9mIGEgbW92aWUsIGJ1dCwgb2Z0ZW4sIHRoZXNlIGNydWNpYWwgbWFya2V0aW5nIGRlY2lzaW9ucyBoYXZlIGJlZW4gbWFkZSB3aXRob3V0IHRoZSBiZW5lZml0IG9mIHJpZ29yb3VzIHN0YXRpc3RpY2FsIGFuYWx5c2lzIGluZmVycmluZyB0aGUgcmVsYXRpdmUgZWZmZWN0aXZlbmVzcyBvZiBlYWNoIG1hcmtldGluZyBwbGF0Zm9ybS4gQ2xlYXJseSwga25vd2luZyBzb21ldGhpbmcgYWJvdXQgdGhlIGVmZmVjdGl2ZW5lc3Mgb2YgYWR2ZXJ0aXNpbmcgcGxhdGZvcm1zIGNvdWxkIGhlbHAgaW5mb3JtIHRoZXNlIG1hcmtldGluZyBkZWNpc2lvbnMgYW5kIGZ1dHVyZSBidWRnZXQgYWxsb2NhdGlvbnMuCgpJbiBhbiBpZGVhbCB3b3JsZCwgd2Ugd291bGQgYmUgaW4gYSBzaXR1YXRpb24gbGlrZSBiZWxvdywgd2hlcmUgd2UgaGF2ZSBhIHVzZXIgd2hvIGRpc2NvdmVycyBhIG1vdmllIGJ5IHZpZXdpbmcgYW4gYWR2ZXJ0aXNlbWVudCBmb3IgdGhlIGZpcnN0IHRpbWUsIGFuZCBpbW1lZGlhdGVseSBwdXJjaGFzZXMgYSBtb3ZpZSB0aWNrZXQuCjxkaXYgc3R5bGU9InRleHQtYWxpZ246Y2VudGVyOyBtYXJnaW46MTJwdCAwOyI+PGltZyBzcmM9ImltYWdlcy9pZGVhbF9zaXR1YXRpb24ucG5nIiB3aWR0aD0iNzUlIiBoZWlnaHQ9Ijc1JSIgLz48L2Rpdj4KClRoZSByZWFsaXR5IGlzIG11Y2ggbW9yZSBjb21wbGljYXRlZCB0aG91Z2gsIGFuZCBhY3R1YWxseSBsb29rcyBzb21ldGhpbmcgbW9yZSBsaWtlIHRoaXM6CjxkaXYgc3R5bGU9InRleHQtYWxpZ246Y2VudGVyOyBtYXJnaW46MTJwdCAwOyI+PGltZyBzcmM9ImltYWdlcy9hY3R1YWxfc2l0dWF0aW9uLnBuZyIgd2lkdGg9Ijc1JSIgaGVpZ2h0PSI3NSUiIC8+PC9kaXY+CgpTbyB0aGVyZSBhcmUgdHdvIG1ham9yIHByb2JsZW1zIHdoZW4gaXQgY29tZXMgdG8gYWR2ZXJ0aXNpbmcgYXR0cmlidXRpb24gaW4gdGhlIG1vdmllIGluZHVzdHJ5OgoKIDEuIFRoZSBkYXRhIGFib3V0IHdoYXQgYWR2ZXJ0aXNpbmcgYSBjb25zdW1lciBzZWVzLCBhbmQgd2hldGhlciB0aGV5IHVsdGltYXRlbHkgd2F0Y2ggYSBtb3ZpZSBpcyBub3QgZWFzaWx5IGtub3duOyBhbmQKIDIuIEV2ZW4gaWYgd2UgaGF2ZSB0aGUgZGF0YSwgaXQgaXMgbm90IGNsZWFyIGhvdyBiZXN0IHRvIGlkZW50aWZ5IHRoZSBjb250cmlidXRpb25zIG9mIGVhY2ggYWR2ZXJ0aXNpbmcgcGxhdGZvcm0gdG93YXJkcyBhIGNvbnZlcnNpb24uCiAKCiMjIEdldHRpbmcgdGhlIERhdGEKTGlrZSBtb3N0IG1hc3MtbWFya2V0IHByb2R1Y3RzLCBtYW55IG1vdmllIHByb2R1Y2VycyB1dGlsaXplICdvZmZsaW5lJyBjaGFubmVscyB0byBwcm9tb3RlIHRoZWlyIHByb2R1Y3RzIChsaWtlIFRWIGFkcyBvciBiaWxsYm9hcmRzIGluIE5ZQydzIFRpbWVzIFNxdWFyZSkgc28gaXQgaXMgY2hhbGxlbmdpbmcgdG8gZ2V0IGRhdGEgb24gYWR2ZXJ0aXNlbWVudHMgYSBjb25zdW1lciBoYXMgc2Vlbi4gTWFraW5nIG1hdHRlcnMgbW9yZSBkaWZmaWN1bHQsIGV2ZW4gaWYgd2Uga25ldyBhYm91dCB0aGUgYWR2ZXJ0aXNlbWVudCBleHBvc3VyZXMgZm9yIGFuIGluZGl2aWR1YWwsIGl0IGlzIG9mdGVuIGltcG9zc2libGUgdG8gdGllIHRoaXMgaW5mb3JtYXRpb24gd2l0aCB3aGV0aGVyIGEgcGVyc29uIHVsdGltYXRlbHkgZ29lcyB0byBzZWUgYSBwYXJ0aWN1bGFyIG1vdmllIHNpbmNlIG1vc3QgbW92aWUgdGlja2V0cyBhcmUgc29sZCBpbi1wZXJzb24gYXQgY2luZW1hcywgYW5kIGFkdmVydGlzZXJzIHR5cGljYWxseSBkbyBub3QgaGF2ZSBhY2Nlc3MgdG8gdGlja2V0IHNhbGVzIG9uIGFuIGluZGl2aWR1YWwgbGV2ZWwuCgpPdXIgc29sdXRpb24gaGVyZSBpcyB0byBjb25kdWN0IGEgc3VydmV5IGZvciBhIGNvaG9ydCBvZiBtb3ZpZXMgcmVsZWFzZWQgYXJvdW5kIHRoZSBzYW1lIGRhdGUuIFRoZSBkYXRhIGluY2x1ZGVzIGluZm9ybWF0aW9uIHN1Y2ggYXM6CgoxLiBBIHVzZXIncyBzZWxmLXJlcG9ydGVkIGFkdmVydGlzaW5nIGV4cG9zdXJlIG9uIGEgcmFuZ2Ugb2YgcGxhdGZvcm1zOwoyLiBBIHVzZXIncyBkZW1vZ3JhcGhpYyBpbmZvcm1hdGlvbjsKMy4gQSB1c2VyJ3MgbW92aWUgcHJlZmVyZW5jZXMgYW5kIG1vdmllLWdvaW5nIGJlaGF2aW9yOyBhbmQKNC4gV2hldGhlciB0aGV5IHVsdGltYXRlbHkgZ28gdG8gc2VlIGEgbW92aWUgaW4gb3VyIHN1cnZleSBzZXQuCgpXZSB1c2VkIGFuIG9ubGluZSBjcm93ZC1zb3VyY2luZyBwbGF0Zm9ybSB0byBzZWxlY3QgYSBzdGF0aWMgcGFuZWwgb2YgcmVzcG9uZGVudHMgd2hvIGNvbXBsZXRlZCBhIGRhaWx5IHN1cnZleSBmb3IgMTQgZGF5cy4gQSBkYWlseSBjYWRlbmNlIHdhcyBzZWxlY3RlZCB0byBtYXhpbWl6ZSB0aGUgcmVzcG9uZGVudHMnIGFiaWxpdHkgdG8gcmVtZW1iZXJzIGFkcyB0aGV5IGhhdmUgc2Vlbiwgd2hpbGUgYmFsYW5jaW5nIHRoZSBwcmFjdGljYWwgZmVhc2liaWxpdHkgb2YgY29tcGxldGluZyB0aGUgc3VydmV5LiBJbiBhIHR5cGljYWwgc3VydmV5IHJ1biwgdGhlcmUgd2VyZSBhcm91bmQgMiwwMDAgcmVzcG9uZGVudHMgd2hvIGNvbXBsZXRlZCAxMiBvciBtb3JlIGRheXMgb2Ygc3VydmV5cyBhbmQgd2VyZSBpbmNsdWRlZCBpbiB0aGUgZmluYWwgYW5hbHlzaXMuIFRoaXMgcmVwcmVzZW50ZWQgYW4gODAlIHJldGVudGlvbiByYXRlIGZyb20gdGhlIHRvdGFsIHBvb2wgb2YgcGFydGljaXBhbnRzIHdobyB3ZXJlIHNlbGVjdGVkIGZvciB0aGUgc3VydmV5LiBJbiBvdXIgZnVsbCBtb2RlbCwgd2UgY29uZHVjdCB0aGlzIHN1cnZleSBhdCBtdWx0aXBsZSBkaWZmZXJlbnQgdGltZXMgYWNyb3NzIGRpZmZlcmVudCBjb2hvcnRzIG9mIG1vdmllcy4gQ29tYmluaW5nIHRoZSByZXN1bHRzIG9mIHRoZXNlIG11bHRpcGxlIHN1cnZleSBjb2hvcnRzIHRvZ2V0aGVyIGFsbG93cyB1cyB0byBsZXZlcmFnZSB0aGUgYmVuZWZpdHMgb2YgdGhlIHBhcnRpYWwtcG9vbGluZyBhcHByb2FjaCBpbiBvcmRlciB0byByZWR1Y2UgdGhlIHZhcmlhbmNlIGluIHRoZSBpbmZlcnJlZCBwb3N0ZXJpb3IgZGlzdHJpYnV0aW9uIG9mIHRoZSBtb2RlbCBwYXJhbWV0ZXJzLgoKV2UgYXJlIG1ha2luZyBhdmFpbGFibGUgYSByZWR1Y2VkLCBhbm9ueW1pemVkIHZlcnNpb24gb2Ygb3VyIHByb3ByaWV0YXJ5IGRhdGEgc2V0IHRvIGRlbW9uc3RyYXRlIG91ciBhcHByb2FjaC4gSW4gc3VtbWFyeToKICAKICAtIFRoaXMgdmVyc2lvbiBpcyBhIHJhbmRvbWx5IHNhbXBsZWQgc3Vic2V0IG9mIHRoZSByZXN1bHRzIGZyb20gYSBzaW5nbGUgc3VydmV5IHJ1bi4KICAtIFRoZSBhZHZlcnRpc2luZyBwbGF0Zm9ybXMgYW5kIG1vdmllIG5hbWVzIHVzZWQgaW4gdGhlIHN1cnZleSBoYXZlIGJlZW4gYW5vbnltaXplZC4KICAtIEVhY2ggcm93IGluIHRoZSBpbnB1dCBkYXRhIGZpbGUgcmVwcmVzZW50cyBhIHBlcnNvbi1tb3ZpZSBwYWlyaW5nICg3LDAwMCBwYWlyaW5ncykgYW5kIHRoZXJlIGFyZSAxLDAwMCBzdWNoIHBhaXJpbmdzIGZvciBlYWNoIG1vdmllLgogIC0gVGhlIGFnZXMgaGF2ZSBiZWVuIG5vcm1hbGl6ZWQgd2l0aCBtZWFuIDAgYW5kIHVuaXQgdmFyaWFuY2UuCiAgLSBUaGUgYWQgZXhwb3N1cmUgZGF0YSBoYXMgYmVlbiBub3JtYWxpemVkIHdpdGggbWVhbiAwIGFuZCB1bml0IHZhcmlhbmNlLCBmaXJzdCBieSByb3cgKHBlcnNvbi1tb3ZpZSBwYWlyaW5nKSBhbmQgdGhlbiBieSBjb2x1bW4gKGFkIHBsYXRmb3JtKS4KICAtIFRoZXJlIGFyZSA3IGRpc3RpbmN0IG1vdmllcywgZWFjaCBiZWxvbmdpbmcgdG8gYSBzaW5nbGUgZ2VucmUgKHRoZSBtb3ZpZXMgc3Bhbm5lZCBhY3Jvc3MgMiBkaXN0aW5jdCBnZW5yZXMpLiAKICAtIFRoZXJlIGFyZSA5IGFkdmVydGlzaW5nIHBsYXRmb3JtcyByZXByZXNlbnRlZCBpbiB0aGUgZGF0YS4KCiMjIEFzc2lnbmluZyBDcmVkaXQKQXMgbWVudGlvbmVkIGFib3ZlLCBhIHBlcnNvbiBkb2VzIG5vdCBzaW1wbHkgdmlldyBhIHNpbmdsZSBhZHZlcnRpc2VtZW50IGFuZCBpbW1lZGlhdGVseSBwdXJjaGFzZSBhIG1vdmllIHRpY2tldC4gQWR2ZXJ0aXNpbmcgZXhwb3N1cmVzIGFyZSBzcGFjZWQgb3V0IGluIHRpbWUgYWNyb3NzIGRpZmZlcmVudCBhZCBwbGF0Zm9ybXMsIHNvIHRoZXJlIG5lZWRzIHRvIGJlIGEgd2F5IHRvIGRldGVybWluZSB0aGUgcmVsYXRpdmUgY29udHJpYnV0aW9ucyBvZiB0aGUgYWQgcGxhdGZvcm1zLiBTb21lIGdlbmVyYWwgb2JzZXJ2YXRpb25zIHRoYXQgYXJlIHByb2JhYmx5IHRydWU6CgoxLiBUaGUgdGltaW5nIG9mIGFuIGFkIGV4cG9zdXJlIGxpa2VseSBtYXR0ZXJzOwoyLiBEaWZmZXJlbnQgYWQgcGxhdGZvcm1zIGxpa2VseSBoYXZlIGRpZmZlcmVudCBlZmZlY3RzIChlLmcuIGFkcyB0aGF0IHJhaXNlIGF3YXJlbmVzcyB2ZXJzdXMgYWRzIHRoYXQgY2FsbCB0byBhY3Rpb24pOwozLiBSZXBlYXRlZCBhZCBleHBvc3VyZXMgb24gYSBwbGF0Zm9ybSBsaWtlbHkgaGF2ZSBzb21lIGFkZGl0aXZlIGVmZmVjdHM7IGFuZAo0LiBBZCBleHBvc3VyZXMgdGhhdCBkbyBub3QgbGVhZCB0byBhIGNvbnZlcnNpb24gbWF5IHN0aWxsIGRlc2VydmUgc29tZSBjcmVkaXQuCgpJdCBpcyBub24tdHJpdmlhbCB0byBmaWd1cmUgb3V0IGEgcm9idXN0IG1ldGhvZCB0byBhc3NpZ24gY3JlZGl0IHRvIGRpZmZlcmVudCBhZCBwbGF0Zm9ybXMgdGhhdCBhZGRyZXNzZXMgYWxsIHRoZXNlIGR5bmFtaWNzLCBhbmQgaXQgcmVtYWlucyBhbiBvcGVuIHJlc2VhcmNoIGFyZWEuW0BkYWxlc3NhbmRybzIwMTJjYXVzYWxseTsgQGFiaGlzaGVrMjAxMm1lZGlhOyBAeWFkYWdpcmkyMDE1bm9uXSBOZXZlcnRoZWxlc3MsIHdlIGRpc2N1c3Mgc29tZSBjb21tb24gbWV0aG9kcyB0aGF0IGhhdmUgYmVlbiB1c2VkIGluIHByYWN0aWNlLiBMYXRlciwgd2Ugd2lsbCBzaG93IGhvdyB0aGUgZWZmaWNhY3kgb2YgZGlmZmVyZW50IGF0dHJpYnV0aW9uIG1ldGhvZHMgY2FuIGJlIGNvbXBhcmVkLCBhbmQgaG93IG91ciBtb2RlbCBjYW4gYmUgcmVhZGlseSBhZGFwdGVkIHRvIHVzZSBzb21lIG9mIHRoZXNlIGRpZmZlcmVudCBtZXRob2RzLgoKIyMjIEZpcnN0IGFuZCBMYXN0LXRvdWNoIEF0dHJpYnV0aW9uCk9uZSBjb21tb24gbWV0aG9kIGluIHVzZSBpbiB3ZWItYWR2ZXJ0aXNpbmcgaXMgdG8gc2ltcGx5IHRha2UgdGhlIGxhc3QgYWR2ZXJ0aXNpbmcgcGxhdGZvcm0gdGhhdCB3YXMgc2VlbiBiZWZvcmUgdGhlIGNvbnZlcnNpb247IHRoaXMgaXMga25vd24gYXMgIkxhc3QgVG91Y2ggQXR0cmlidXRpb24iLiBUaGlzIG1ldHJpYyBpcyBwb3B1bGFyIGluIHdlYi1hZHZlcnRpc2luZyBzaW5jZSB0aGUgcmVxdWlyZWQgZGF0YSBpcyB1c3VhbGx5IGF2YWlsYWJsZSBhbmQgdGhlIG1ldHJpYyBpcyBlYXNpbHkgbWVhc3VyYWJsZToKCjxkaXYgc3R5bGU9InRleHQtYWxpZ246Y2VudGVyOyBtYXJnaW46MTJwdCAwOyI+PGltZyBzcmM9ImltYWdlcy9sdGEucG5nIiB3aWR0aD0iNzUlIiBoZWlnaHQ9Ijc1JSIgLz48L2Rpdj4KCkVxdWl2YWxlbnRseSwgdGhlcmUgYXJlIG1ldGhvZHMga25vd24gYXMgIkZpcnN0IFRvdWNoIEF0dHJpYnV0aW9uIiB3aGljaCBnaXZlcyBmdWxsIGNyZWRpdCB0byB0aGUgZmlyc3QgYWR2ZXJ0aXNlbWVudCBzZWVuLgo8ZGl2IHN0eWxlPSJ0ZXh0LWFsaWduOmNlbnRlcjsgbWFyZ2luOjEycHQgMDsiPjxpbWcgc3JjPSJpbWFnZXMvZnRhLnBuZyIgd2lkdGg9Ijc1JSIgaGVpZ2h0PSI3NSUiIC8+PC9kaXY+CgpDbGVhcmx5LCB0aGVzZSBhcmUgdmVyeSByb3VnaCBlc3RpbWF0ZXMgb2YgY29udHJpYnV0aW9uLCBhbmQgY2FuIGJlIHF1aXRlIHVuZmFpciBzaW5jZSB0aGV5IGFyZSBhbGwtb3Itbm90aGluZy4gVGhpcyBpcyBlc3BlY2lhbGx5IHByb2JsZW1hdGljIGZvciBhZCBwbGF0Zm9ybXMgdGhhdCBhcmUgbm90IHVzdWFsbHkgYWNjZXNzZWQgaW1tZWRpYXRlbHkgYmVmb3JlIGEgY29udmVyc2lvbjsgcmFkaW8gYWR2ZXJ0aXNlbWVudHMsIGZvciBleGFtcGxlLCBtYXkgYnJpbmcgYSBjb25zdW1lcidzIGF3YXJlbmVzcyB0byBhIHByb2R1Y3Qgd2l0aG91dCBkaXJlY3RseSBsZWFkaW5nIHRvIGFuIGltbWVkaWF0ZSBjb252ZXJzaW9uLiBBcyB3ZSB3aWxsIHNob3cgbGF0ZXIsIGJvdGggRmlyc3QgYW5kIExhc3QtdG91Y2ggQXR0cmlidXRpb24gY2FuIGJlIHVzZWQgaW4gb3VyIG1vZGVsIHdpdGggb25seSBtaW5vciBjaGFuZ2VzIHRvIHRoZSBwcmVwYXJhdGlvbiBvZiB0aGUgZGF0YS4KCiMjIyBFcXVhbCBXZWlnaHQgQXR0cmlidXRpb24KVGhlIHRlY2huaXF1ZSB3ZSBmb2N1cyBvbiBmb3IgdGhpcyBleGFtcGxlIGlzIGtub3duIGFzICJFcXVhbCBXZWlnaHQgQXR0cmlidXRpb24iIHdoZXJlIGFsbCBhZCBwbGF0Zm9ybXMgdGhhdCBjb250cmlidXRlZCB0byB0aGUgY29udmVyc2lvbiBhcmUgZ2l2ZW4gZXF1YWwgY3JlZGl0LiBUaGlzIGVmZmVjdGl2ZWx5IGlnbm9yZXMgdGhlIHRpbWUgY29tcG9uZW50IG9mIHRoZSBhZCBleHBvc3VyZXMuIFdlIGFsc28gaW5jb3Jwb3JhdGUgdGhlIHByb3BvcnRpb24gb2YgYWQgZXhwb3N1cmVzIGJ5IHBsYXRmb3JtIGZvciBlYWNoIGNvbnZlcnNpb24gKHJhdGhlciB0aGFuIGEgYmluYXJ5IHZhbHVlKSwgc28gcGxhdGZvcm1zIHRoYXQgd2VyZSB2aWV3ZWQgbW9yZSBvZnRlbiBhcmUgZ2l2ZW4gYSBoaWdoZXIgb3ZlcmFsbCBjcmVkaXQgZm9yIHRoYXQgY29udmVyc2lvbi4KCjxkaXYgc3R5bGU9InRleHQtYWxpZ246Y2VudGVyOyBtYXJnaW46MTJwdCAwOyI+PGltZyBzcmM9ImltYWdlcy9lcXVhbC5wbmciIHdpZHRoPSI3NSUiIGhlaWdodD0iNzUlIiAvPjwvZGl2PgoKIyMjIE90aGVyIE1lYXN1cmVzCk1vcmUgYWR2YW5jZWQgYXR0cmlidXRpb24gdGVjaG5pcXVlcyBpbmNsdWRlICJUaW1lIFdlaWdodGVkIEF0dHJpYnV0aW9uIiB3aGljaCBpbmNvcnBvcmF0ZXMgdGltZS1kZWNheS4gVGhlIGNlbnRyYWwgaWRlYSBpcyB0aGF0IGFkcyB2aWV3ZWQgYSBsb25nIHRpbWUgYmVmb3JlIGNvbnZlcnNpb24gcHJvYmFibHkgZGlkIG5vdCBoYXZlIGFzIGJpZyBhbiBpbXBhY3QgYXMgdGhvc2UgYWRzIHZpZXdlZCBjbG9zZSB0byB0aGUgdGltZSBvZiBjb252ZXJzaW9uLgoKVGhlcmUgYXJlIGFsc28gdGVjaG5pcXVlcyB3aGljaCB1c2UgSGlkZGVuIE1hcmtvdiBNb2RlbHMgKEhNTXMpIHRoYXQgaW5jb3Jwb3JhdGUgbGF0ZW50IHN0YXRlcyBpbiBhbiBhdHRlbXB0IHRvIGFzc2lnbiBjcmVkaXQgdG8gYWR2ZXJ0aXNpbmcgcGxhdGZvcm1zIGV2ZW4gd2hlbiB1bHRpbWF0ZWx5IG5vIGNvbnZlcnNpb24gb2NjdXJyZWQuW0BhYmhpc2hlazIwMTJtZWRpYV0KCiMgTW9kZWwKCkluIHRoaXMgZXhhbXBsZSwgd2UgdXNlIGEgaGllcmFyY2hpY2FsIEJheWVzaWFuIGxvZ2lzdGljIHJlZ3Jlc3Npb24gbW9kZWwgdG8gaW5mZXIgdGhlIHJlbGF0aXZlIGVmZmVjdGl2ZW5lc3Mgb2YgYWR2ZXJ0aXNpbmcgcGxhdGZvcm1zIG9uIHdoZXRoZXIgYSB1c2VyIGdvZXMgdG8gc2VlIGEgbW92aWUuIFRoZSBtYWluIGdvYWwgaGVyZSBpcyBub3QgdG8gZ2V0IHRoZSBhYnNvbHV0ZSBoaWdoZXN0IHByZWRpY3RpdmUgYWNjdXJhY3ksIGJ1dCB0byB1bmRlcnN0YW5kIHRoZSBlZmZlY3RpdmVuZXNzIG9mIGRpZmZlcmVudCBhZHZlcnRpc2luZyBwbGF0Zm9ybXMgb24gbW92aWUgYXR0ZW5kYW5jZS4gS2V5IGJlbmVmaXRzIG9mIHRoaXMgbW9kZWwgaW5jbHVkZSB0aGUgaGlnaGx5IGludGVycHJldGFibGUgbW9kZWwgcGFyYW1ldGVycywgYW5kIGRldGFpbGVkIGluc2lnaHRzIGFib3V0IHRoZWlyIHBvc3RlcmlvciBkaXN0cmlidXRpb25zLgoKQ29uc2lkZXIgdGhlICRpJC10aCBkYXRhIHBvaW50IHJlcHJlc2VudGluZyBzb21lIHBlcnNvbi1tb3ZpZSBwYWlyaW5nLiBGb3Igc29tZSB2ZWN0b3Igb2YgcGFyYW1ldGVycyAoZS5nLiBkZW1vZ3JhcGhpY3MgYW5kIGFkIHBsYXRmb3JtIGVmZmVjdGl2ZW5lc3MpLCAkXGJvbGRzeW1ib2x7XGJldGFfe1xvbWVnYX19JCwgaWYgd2UgaGF2ZSB0aGUgY29ycmVzcG9uZGluZyB2ZWN0b3Igb2YgdmFsdWVzIGZvciBhIGRhdGEgcG9pbnQsICRcYm9sZHN5bWJvbHt4X2l9JCwgdGhlIHByb2JhYmlsaXR5IG9mIHdoZXRoZXIgYSBwZXJzb24gd2F0Y2hlcyBhIHBhcnRpY3VsYXIgZmlsbSwgJHlfaSQgaXMgbW9kZWxlZCBhczoKCiQkClxtdSA9IGxvZ2l0XnstMX0oeF97aSxhZ2V9XGJldGFfe1xvbWVnYSxhZ2V9ICsgeF97aSxnZW5kZXJ9XGJldGFfe1xvbWVnYSxnZW5kZXJ9ICsgeF97aSxwYXJlbnR9XGJldGFfe1xvbWVnYSxwYXJlbnR9ICsgXGJvbGRzeW1ib2x7eF97aSxhZH19XlRcYm9sZHN5bWJvbHtcYmV0YV97XG9tZWdhLGFkfX0gKyBcYmV0YV97XG9tZWdhLDB9ICsgXGJldGFfMCArIFxiYXJ7eX0pIFxcCnlfaSBcc2ltIEJlcm5vdWxsaShcbXUpCiQkCgoKVmFyaWFibGVzOgoKLSAkTiQgaXMgdGhlIG51bWJlciBvZiBwZXJzb24tbW92aWUgZGF0YSBwb2ludHMKLSAkaSA9IDEgLi4uIE4kIGluZGV4ZXMgZGF0YSBwb2ludHMgZGVzY3JpYmluZyBhIHBlcnNvbi1tb3ZpZSBwYWlyaW5nCi0gJGYgPSAxIC4uLiBGJCBpbmRleGVzIGZpbG1zCi0gJGcgPSAxIC4uLiBHJCBpbmRleGVzIGdlbnJlcwoKRGF0YToKCi0gJHhfe2ksIGF0dHJ9JCBpcyB0aGUgdmFsdWUgb2YgdGhlIGF0dHJpYnV0ZSBgYXR0cmAgZm9yIHRoZSBkYXRhIHBvaW50ICRpJAotICR5X3tpfSBcaW4gXGxlZnRceyAwLCAxXHJpZ2h0XH0kIGlzIHRoZSBiaW5hcnkgcmVzcG9uc2Ugb2Ygd2hldGhlciwgZm9yIGRhdGEgcG9pbnQgJGkkLCB0aGUgYXNzb2NpYXRlZCBwZXJzb24gc2F3IHRoZSBhc3NvY2lhdGVkIGZpbG0KLSAkXGJhcnt5fSQgaXMgdGhlIG1lYW4gb2YgdGhlIHJlc3BvbnNlIHZhcmlhYmxlIGluIHRoZSBlbnRpcmUgc3VydmV5IGNvaG9ydCBhY3Jvc3MgYWxsIGZpbG1zCgpQYXJhbWV0ZXJzOgoKLSAkXGJldGFfe1xvbWVnYSwgYXR0cn0kIGlzIHRoZSBlZmZlY3Qgb2Ygc29tZSBhdHRyaWJ1dGUgYGF0dHJgIGZvciB0aGUgcmVsZXZhbnQgZmlsbQotICRcYm9sZHN5bWJvbHtcYmV0YV97XG9tZWdhLCBhZH19JCBpcyB0aGUgdmVjdG9yIG9mIGFkIGV4cG9zdXJlIGVmZmVjdHMgZm9yIGFsbCBhZCBwbGF0Zm9ybXMgZm9yIHRoZSByZWxldmFudCBmaWxtCi0gJFxiZXRhX3tcb21lZ2EsIDB9JCBpcyB0aGUgaW50ZXJjZXB0IGZvciB0aGUgcmVsZXZhbnQgZmlsbQotICRcYmV0YV8wJCBpcyB0aGUgbW9kZWwgaW50ZXJjZXB0CgoKUHJpb3JzOgoKLSBXZSB1c2UgR2F1c3NpYW4gcHJpb3JzIGNlbnRlcmVkIGF0IDAgZm9yIHRoZSBtb2RlbCBjb2VmZmljaWVudHMsIHdpdGggd2Vha2x5IGluZm9ybWF0aXZlIGhhbGYtQ2F1Y2h5IGh5cGVycHJpb3JzIGZvciB0aGUgc2NhbGUgcGFyYW1ldGVyLltAZ2VsbWFuMjAwNnByaW9yXQotIFdlIHVzZSBhIG5vbi1jZW50ZXJlZCBwYXJhbWV0ZXJpemF0aW9uIG9mIHRoZSBoaWVyYXJjaGljYWwgbW9kZWwgZm9yIGZhc3RlciBjb252ZXJnZW5jZS5bQGJlcm5hcmRvMjAwM25vbjsgQGJldGFuY291cnQyMDEzaGFtaWx0b25pYW5dIFVuZGVyIHRoaXMgcGFyYW1ldGVyaXphdGlvbiwgJFxiZXRhX3tcb21lZ2F9JCBpcyB0aGUgb3ZlcmFsbCBlZmZlY3Qgb2YgYSBwYXJhbWV0ZXIgZm9yIGEgcGFydGljdWxhciBkYXRhIHBvaW50IGFmdGVyIGluY29ycG9yYXRpbmcgdGhlIHJlbGV2YW50IGdlbnJlICgkXGJldGFfe2d9LCBcc2lnbWFfe2d9JCkgYW5kIGZpbG0tbGV2ZWwgKCRcYmV0YV97Zn0sIFxzaWdtYV97Zn0kKSBlZmZlY3RzLgotIEZvciB0aGUgZGVtb2dyYXBoaWMgbW9kZWwgY29lZmZpY2llbnRzIChpLmUuIGFnZSwgZ2VuZGVyIGFuZCBwYXJlbnQgc3RhdHVzKQogICAgLSAkXGJldGFfe1xvbWVnYSwgZGVtb30gPSBcc2lnbWFfe3QsIGRlbW99ICggXHNpZ21hX3tnLCBkZW1vfSBcYmV0YV97ZiwgZGVtb30gKyBcYmV0YV97ZywgZGVtb30pJAogICAgLSAkXGJldGFfe2YsIGRlbW99IFxzaW0gXG1hdGhjYWx7Tn0oMCwgMSkkCiAgICAtICRcYmV0YV97ZywgZGVtb30gXHNpbSBcbWF0aGNhbHtOfSgwLCAxKSQKICAgICAgICAtICRcc2lnbWFfe2csIGRlbW99IFxzaW0gQ2F1Y2h5KDAsIDEpIFxtaWQgXHNpZ21hX3tnLCBkZW1vfT4wJAogICAgLSAkXHNpZ21hX3t0LCBkZW1vfSBcc2ltIENhdWNoeSgwLCAwLjUpIFxtaWQgXHNpZ21hX3t0LCBkZW1vfT4wJAotIEZvciB0aGUgYWQgcGxhdGZvcm0gZWZmZWN0aXZlbmVzcyBtb2RlbCBjb2VmZmljaWVudHMKICAgIC0gJFxiZXRhX3tcb21lZ2EsIGFkfSA9IFxzaWdtYV97dCwgYWR9ICggIFxtdV97YWR9ICsgKCBcc2lnbWFfe2csIGFkfSBcYmV0YV97ZiwgYWR9ICsgXGJldGFfe2csIGFkfSkpJAogICAgLSAkXG11X3thZH0gXHNpbSBcbWF0aGNhbHtOfSgwLCAxKSQKICAgIC0gJFxiZXRhX3tmLCBhZH0gXHNpbSBcbWF0aGNhbHtOfSgwLCAxKSQKICAgIC0gJFxiZXRhX3tnLCBhZH0gXHNpbSBcbWF0aGNhbHtOfSgwLCAxKSQKICAgICAgICAtICRcc2lnbWFfe2csIGFkfSBcc2ltIENhdWNoeSgwLCAxKSBcbWlkIFxzaWdtYV97ZywgYWR9PjAkCiAgICAtICRcc2lnbWFfe3QsIGFkfSBcc2ltIENhdWNoeSgwLCAwLjUpIFxtaWQgXHNpZ21hX3t0LCBhZH0+MCQKLSBGb3IgdGhlIGZpbG0tc3BlY2lmaWMgaW50ZXJjZXB0cwogICAgLSAkXGJldGFfe1xvbWVnYSwgMH0gPSBcc2lnbWFfe3QsIDB9ICggXHNpZ21hX3tnLCAwfSBcYmV0YV97ZiwgMH0gKyBcYmV0YV97ZywgMH0pJAogICAgLSAkXGJldGFfe2YsIDB9IFxzaW0gXG1hdGhjYWx7Tn0oMCwgMSkkCiAgICAtICRcYmV0YV97ZywgMH0gXHNpbSBcbWF0aGNhbHtOfSgwLCAxKSQKICAgICAgICAtICRcc2lnbWFfe2csIDB9IFxzaW0gQ2F1Y2h5KDAsIDEpIFxtaWQgXHNpZ21hX3tnLCAwfT4wJAogICAgLSAkXHNpZ21hX3t0LCAwfSBcc2ltIENhdWNoeSgwLCAxKSBcbWlkIFxzaWdtYV97dCwgMH0+MCQKLSBGb3IgdGhlIG1vZGVsIGludGVyY2VwdAogICAgLSAkXGJldGFfMCBcc2ltIFxtYXRoY2Fse059KDAsIDAuNSkkCgpBcyBkaXNjdXNzZWQgYWJvdmUsIHdlIGFja25vd2xlZGdlIHRoZXJlIGFyZSBsaW1pdGF0aW9ucyB0byB0aGlzIHNpbXBsaWZpZWQgbW9kZWwsIGJ1dCBpdCBzdGlsbCBwcm92aWRlcyBzb21lIGlsbHVzdHJhdGl2ZSBpbmZlcmVuY2VzLiBJbiB0aGlzIG1vZGVsLCB3ZSBpbmNsdWRlOgoKIDEuIEluZGl2aWR1YWwtbGV2ZWwgZGVtb2dyYXBoaWMgZGF0YSAoZS5nLiBhZ2UsIGdlbmRlciwgcGFyZW50IHN0YXR1cyk7CiAyLiBBZCBleHBvc3VyZSBpbmZvcm1hdGlvbiAoaS5lLiBub3JtYWxpemVkIG51bWJlciBvZiBleHBvc3VyZXMgb24gZWFjaCBhZCBwbGF0Zm9ybSk7IGFuZAogMy4gV2hldGhlciBhbiBpbmRpdmlkdWFsIHdlbnQgdG8gc2VlIGEgcGFydGljdWxhciBtb3ZpZSAoaS5lLiAxIG9yIDApLgogCkluIHRoZSBmdWxsIG1vZGVsIHRoYXQgd2UgdXNlLCB3ZSBhbHNvIGluY29ycG9yYXRlIGFkZGl0aW9uYWwgdmFyaWFibGVzIGxpa2UgbnVpc2FuY2UgdmFyaWFibGVzIChlLmcuIGluaXRpYWwgYXdhcmVuZXNzIG9mIGEgbW92aWUpLCBhbmQgYWRkaXRpb25hbCBpbmRpdmlkdWFsLWxldmVsIGNoYXJhY3RlcmlzdGljcyAoZS5nLiBnZW5yZSBwcmVmZXJlbmNlcykgdGhhdCBsaWtlbHkgYWZmZWN0cyBtb3ZpZS1nb2luZyBiZWhhdmlvci4gV2UgYWxzbyB1c2UgbXVsdGlwbGUgc3VydmV5IGNvaG9ydHMgdG8gaW5jcmVhc2UgdGhlIHNhbXBsZSBzaXplLgoKRWFjaCBmaWxtIHdpbGwgaGF2ZSBkaWZmZXJlbnQgcGFyYW1ldGVyIGVzdGltYXRlcywgc28gdGhlIGVmZmVjdCBvZiBhZ2Ugb3IgZ2VuZGVyIG9uIHdoZXRoZXIgYSBwZXJzb24gc2VlcyBhIGZpbG0gaXMgZ29pbmcgdG8gZGlmZmVyIGJldHdlZW4gZmlsbXMgbWFraW5nIGl0IHVucmVhc29uYWJsZSB0byB0cmVhdCBhbGwgZmlsbSBwYXJhbWV0ZXJzIHRoZSBzYW1lICgiY29tcGxldGUgcG9vbGluZyIpLiBXaGlsZSB3ZSBjb3VsZCBtb2RlbCBlYWNoIGZpbG0gc2VwYXJhdGVseSAoInVucG9vbGVkIiksIHRyZWF0aW5nIGFsbCBmaWxtcyBhcyBjb21wbGV0ZWx5IHVucmVsYXRlZCBlbnRpdGllczoKCjEuIERvZXMgbm90IHNlZW0gZW50aXJlbHkgYWNjdXJhdGU7IGFuZCAKMi4gTGVhdmVzIHVzIHdpdGggYSB2ZXJ5IGxpbWl0ZWQgZGF0YSBzZXQgc2luY2Ugd2UgZG8gbm90IGxldmVyYWdlIGRhdGEgZnJvbSBvdGhlciBmaWxtcyBpbiBlYWNoIGZpbG0ncyBwYXJhbWV0ZXIgZXN0aW1hdGVzLgoKVGhlIGhpZXJhcmNoaWNhbCBhc3BlY3Qgb2YgdGhlIG1vZGVsIGFsbG93cyB1cyB0byBwb29sIHRvZ2V0aGVyIGRhdGEgYWNyb3NzIGRpZmZlcmVudCBmaWxtcyB0byBpbmZvcm0gb3VyIHBhcmFtZXRlciBlc3RpbWF0ZXMuIE91ciBwcm9wb3NlZCBhcHByb2FjaCBpcyB0byB1c2UgZ2VucmUtbGV2ZWwgcGFyYW1ldGVycyB0aGF0IGFyZSBkaXN0cmlidXRlZCB1c2luZyBwcmlvcnMgZHJhd24gZnJvbSBhIGNvbW1vbiwgaGlnaGVyLWxldmVsIGRpc3RyaWJ1dGlvbi4gVGhlIGZpbG0tbGV2ZWwgcGFyYW1ldGVycyBhcmUgdGhlbiBkcmF3biBmcm9tIGEgZGlzdHJpYnV0aW9uIGJhc2VkIG9uIHRoZSByZWxldmFudCBnZW5yZS1sZXZlbCBkaXN0cmlidXRpb24uCgoKIVtIaWVyYXJjaGljYWwgbW9kZWxdKGltYWdlcy9yZWR1Y2VkX21vZGVsLnBuZykKCmBgYHtzdGFuLCBvdXRwdXQudmFyPSdhZF9hdHRyX3N0YW4nLCBldmFsPUZBTFNFfQpkYXRhIHsKCWludDxsb3dlcj0wPiBOIDsgIyBUb3RhbCBudW1iZXIgb2YgZGF0YSBwb2ludHMKCWludDxsb3dlcj0wPiBLX207ICMgTnVtYmVyIG9mIGZpbG1zCglpbnQ8bG93ZXI9MD4gS19tZzsgIyBOdW1iZXIgb2YgZmlsbSBncm91cHMKCWludDxsb3dlcj0wPiBLX2FkczsgIyBOdW1iZXIgb2YgYWQgcGxhdGZvcm1zCgoJaW50PGxvd2VyPTAsdXBwZXI9MT4geVtOXSA7ICMgSGF2ZSBzZWVuIHRhcmdldCBmaWxtCgoJaW50PGxvd2VyPTAsdXBwZXI9MT4geF9wYXJlbnRbTl0gOyAjIFBhcmVudCBjb2RlCglyZWFsIHhfYWdlW05dIDsgIyBBZ2UKCXJlYWw8bG93ZXI9MD4geF9nZW5kZXJbTl0gOyAjIEdlbmRlcgoJaW50PGxvd2VyPTA+IHhfZmlsbVtOXSA7ICMgRmlsbQoJbWF0cml4W04sIEtfYWRzXSB4X2FkcyA7ICMgQWQgaW1wcmVzc2lvbnMgcGVyIHBsYXRmb3JtCgoJaW50PGxvd2VyPTEsIHVwcGVyPUtfbWc+IHhfbWdbS19tXSA7ICMgRmlsbSBncm91cHMKfQoKdHJhbnNmb3JtZWQgZGF0YSB7CglyZWFsIHJlYWxOOwoJcmVhbCBsb2dpdF9tZWFuX3k7CglyZWFsTiA9IE47CgkKCWxvZ2l0X21lYW5feSA9IGxvZ2l0KHN1bSh5KSAvIHJlYWxOKTsKfQoKcGFyYW1ldGVycyB7CglyZWFsIGI7CgkKCXJlYWw8bG93ZXI9MD4gdl9hZ2Vfc2lnbWE7Cgl2ZWN0b3JbS19tZ10gdl9hZ2VfZzsKCXZlY3Rvcjxsb3dlcj0wPltLX21nXSB2X2FnZV9zaWdtYV9nOwoJdmVjdG9yW0tfbV0gdl9hZ2U7CgkJCglyZWFsPGxvd2VyPTA+IHZfZ2VuZGVyX3NpZ21hOwoJdmVjdG9yW0tfbWddIHZfZ2VuZGVyX2c7Cgl2ZWN0b3I8bG93ZXI9MD5bS19tZ10gdl9nZW5kZXJfc2lnbWFfZzsKCXZlY3RvcltLX21dIHZfZ2VuZGVyOwoJCglyZWFsPGxvd2VyPTA+IHZfcGFyZW50X3NpZ21hOwoJdmVjdG9yW0tfbWddIHZfcGFyZW50X2c7Cgl2ZWN0b3I8bG93ZXI9MD5bS19tZ10gdl9wYXJlbnRfc2lnbWFfZzsKCXZlY3RvcltLX21dIHZfcGFyZW50OwoJCglyZWFsPGxvd2VyPTA+IHZfYWRfc2lnbWE7Cgl2ZWN0b3JbS19hZHNdIHZfYWRfcGxhdGZvcm1fbWVhbjsKCXZlY3Rvcjxsb3dlcj0wPltLX2Fkc10gdl9hZF9wbGF0Zm9ybV9zaWdtYTsKCW1hdHJpeFtLX2FkcywgS19tZ10gdl9hZF9wbGF0Zm9ybV9nOwoJbWF0cml4PGxvd2VyPTA+W0tfYWRzLCBLX21nXSB2X2FkX3BsYXRmb3JtX3NpZ21hX2c7CgltYXRyaXhbS19tLEtfYWRzXSB2X2FkX3BsYXRmb3JtX2ZpbG07CgkKCXJlYWw8bG93ZXI9MD4gdl9maWxtX3NpZ21hOwoJdmVjdG9yPGxvd2VyPTA+W0tfbWddIHZfZmlsbV9nX3NpZ21hOwoJdmVjdG9yW0tfbWddIHZfZmlsbV9nOwoJdmVjdG9yW0tfbV0gdl9maWxtX3M7Cn0KCm1vZGVsIHsKCXJlYWwgeV9wcmVkW05dOwoJCgliIH4gbm9ybWFsKDAsIDAuNSk7CgkKCXZfYWdlX3NpZ21hIH4gY2F1Y2h5KDAsIDAuNSk7Cgl2X2FnZV9nIH4gbm9ybWFsKDAsIDEpOwoJdl9hZ2Vfc2lnbWFfZyB+IGNhdWNoeSgwLCAxKTsKCXZfYWdlIH4gbm9ybWFsKDAsIDEpOwoJCgl2X2dlbmRlcl9zaWdtYSB+IGNhdWNoeSgwLCAwLjUpOwoJdl9nZW5kZXJfZyB+IG5vcm1hbCgwLCAxKTsKCXZfZ2VuZGVyX3NpZ21hX2cgfiBjYXVjaHkoMCwgMSk7Cgl2X2dlbmRlciB+IG5vcm1hbCgwLCAxKTsKCQoJdl9wYXJlbnRfc2lnbWEgfiBjYXVjaHkoMCwgMC41KTsKCXZfcGFyZW50X2cgfiBub3JtYWwoMCwgMSk7Cgl2X3BhcmVudF9zaWdtYV9nIH4gY2F1Y2h5KDAsIDEpOwoJdl9wYXJlbnQgfiBub3JtYWwoMCwgMSk7CgkKCXZfYWRfc2lnbWEgfiBjYXVjaHkoMCwgMC41KTsKCXZfYWRfcGxhdGZvcm1fbWVhbiB+IG5vcm1hbCgwLCAxKTsKCXZfYWRfcGxhdGZvcm1fc2lnbWEgfiBjYXVjaHkoMCwgMSk7CgkKICAgIHRvX3ZlY3Rvcih2X2FkX3BsYXRmb3JtX2cpIH4gbm9ybWFsKDAsIDEpOwogICAgdG9fdmVjdG9yKHZfYWRfcGxhdGZvcm1fc2lnbWFfZykgfiBjYXVjaHkoMCwgMSk7CiAgICB0b192ZWN0b3Iodl9hZF9wbGF0Zm9ybV9maWxtKSB+IG5vcm1hbCgwLCAxKTsKCQoJdl9maWxtX3NpZ21hIH4gY2F1Y2h5KDAsMSk7Cgl2X2ZpbG1fZ19zaWdtYSB+IGNhdWNoeSgwLDEpOwoJdl9maWxtX2cgfiBub3JtYWwoMCwxKTsKCXZfZmlsbV9zIH4gbm9ybWFsKDAsMSk7CgoJZm9yIChuIGluIDE6TikgewoJCWludCBnOwoJCWludCBtOwoJCXJlYWwgY29tYl9hZF9wbGF0Zm9ybTsKCQkKCQltID0geF9maWxtW25dOwoJCWcgPSB4X21nW21dOwoJCQoJCWNvbWJfYWRfcGxhdGZvcm0gPSAwOwoJCWZvciAoayBpbiAxOktfYWRzKSB7CgkJCWNvbWJfYWRfcGxhdGZvcm0gPSBjb21iX2FkX3BsYXRmb3JtICsKCQkJCXZfYWRfc2lnbWEgKiAodl9hZF9wbGF0Zm9ybV9tZWFuW2tdICsgdl9hZF9wbGF0Zm9ybV9zaWdtYVtrXSAqICh2X2FkX3BsYXRmb3JtX2dbayxnXSAgKyB2X2FkX3BsYXRmb3JtX3NpZ21hX2dbayxnXSAqIHZfYWRfcGxhdGZvcm1fZmlsbVttLGtdKSkgKiB4X2Fkc1tuLGtdOwoJCX0KCQkKCQl5X3ByZWRbbl0gPSBsb2dpdF9tZWFuX3kgKyBiICsgCgkJCSh2X2FnZV9zaWdtYSAqICh2X2FnZV9zaWdtYV9nW2ddICogdl9hZ2VbbV0gKyB2X2FnZV9nW2ddKSkgKiB4X2FnZVtuXSArCQkKCQkJKHZfZ2VuZGVyX3NpZ21hICogKHZfZ2VuZGVyX3NpZ21hX2dbZ10gKiB2X2dlbmRlclttXSArIHZfZ2VuZGVyX2dbZ10pKSAqIHhfZ2VuZGVyW25dICsgCgkJCSh2X3BhcmVudF9zaWdtYSAqICh2X3BhcmVudF9zaWdtYV9nW2ddICogdl9wYXJlbnRbbV0gKyB2X3BhcmVudF9nW2ddKSkgKiB4X3BhcmVudFtuXSArIAoJCQljb21iX2FkX3BsYXRmb3JtICsKCQkJdl9maWxtX3NpZ21hICogKHZfZmlsbV9nX3NpZ21hW2ddICogdl9maWxtX3NbbV0gKyB2X2ZpbG1fZ1tnXSk7Cgl9CgkKCXkgfiBiZXJub3VsbGlfbG9naXQoeV9wcmVkKTsKfQoJCmdlbmVyYXRlZCBxdWFudGl0aWVzIHsKICByZWFsIGxvZ19saWtbTl07ICMgTG9nLWxpa2VsaWhvb2Qgb2YgZWFjaCBkYXRhIHBvaW50IGdpdmVuIGEgcG9zdGVyaW9yIHNhbXBsZQogIHJlYWwgdGhldGFbTl07ICMgVGhlIHByb2JhYmlsaXRpZXMgb2YgcCh5PTF8eCkgZm9yIGVhY2ggZGF0YSBwb2ludCBhbmQgTUNNQyBzYW1wbGUKCglmb3IgKG4gaW4gMTpOKSB7CgkJaW50IGc7CgkJaW50IG07CgkJcmVhbCB0X2k7CgkJcmVhbCBjb21iX2FkX3BsYXRmb3JtOwoKCQltID0geF9maWxtW25dOwoJCWcgPSB4X21nW21dOwoKCQljb21iX2FkX3BsYXRmb3JtID0gMDsKCQlmb3IgKGsgaW4gMTpLX2FkcykgewoJCQljb21iX2FkX3BsYXRmb3JtID0gY29tYl9hZF9wbGF0Zm9ybSArCgkJCQl2X2FkX3NpZ21hICogKHZfYWRfcGxhdGZvcm1fbWVhbltrXSArIHZfYWRfcGxhdGZvcm1fc2lnbWFba10gKiAodl9hZF9wbGF0Zm9ybV9nW2ssZ10gICsgdl9hZF9wbGF0Zm9ybV9zaWdtYV9nW2ssZ10gKiB2X2FkX3BsYXRmb3JtX2ZpbG1bbSxrXSkpICogeF9hZHNbbixrXTsKCQl9CgoJCXRfaSA9IGxvZ2l0X21lYW5feSArIGIgKyAKCQkJKHZfYWdlX3NpZ21hICogKHZfYWdlX3NpZ21hX2dbZ10gKiB2X2FnZVttXSArIHZfYWdlX2dbZ10pKSAqIHhfYWdlW25dICsJCQoJCQkodl9nZW5kZXJfc2lnbWEgKiAodl9nZW5kZXJfc2lnbWFfZ1tnXSAqIHZfZ2VuZGVyW21dICsgdl9nZW5kZXJfZ1tnXSkpICogeF9nZW5kZXJbbl0gKyAKCQkJKHZfcGFyZW50X3NpZ21hICogKHZfcGFyZW50X3NpZ21hX2dbZ10gKiB2X3BhcmVudFttXSArIHZfcGFyZW50X2dbZ10pKSAqIHhfcGFyZW50W25dICsgCgkJCWNvbWJfYWRfcGxhdGZvcm0gKwoJCQl2X2ZpbG1fc2lnbWEgKiAodl9maWxtX2dfc2lnbWFbZ10gKiB2X2ZpbG1fc1ttXSArIHZfZmlsbV9nW2ddKTsKCgkJbG9nX2xpa1tuXSA9IGJlcm5vdWxsaV9sb2dpdF9scG1mKCB5W25dIHwgdF9pICk7CgkJdGhldGFbbl0gPSBpbnZfbG9naXQoIHRfaSApOwoJfQp9CgpgYGAKCgojIFJTdGFuClVzaW5nIFJTdGFuLCB3ZSBjYW4gcnVuIHRoZSBTdGFuIHByb2dyYW0gdXNpbmcgTUNNQyBzYW1wbGluZy4gSW5zdGFsbGluZyB0aGUgbGF0ZXN0IFJTdGFuIHZlcnNpb24gZnJvbSBHaXRodWIgbWF5IGJlIHJlcXVpcmVkIHNpbmNlIHNvbWUgcGxvdHRpbmcgZnVuY3Rpb25zIGNvbWUgdXAgd2l0aCBlcnJvcnMgaW4gZWFybGllciB2ZXJzaW9ucy4gVGhlIGNvZGUgZm9yIHRoaXMgbm90ZWJvb2sgaXMgcnVuIHVzaW5nIFJzdGFuIDIuMTIuMS4KYGBge3IsIGV2YWw9RkFMU0UsIGluY2x1ZGU9RkFMU0V9CiMgVGhpcyBnZXRzIHRoZSBsYXRlc3QgcnN0YW4gdmVyc2lvbiBmcm9tIHRoZSAnZGV2ZWxvcCcgYnJhbmNoIG9uIEdpdGh1YgoKbGlicmFyeShkZXZ0b29scykKaW5zdGFsbF9naXRodWIoJ3N0YW4tZGV2L3JzdGFuL3JzdGFuL3JzdGFuJywgcmVmPSdkZXZlbG9wJykKYGBgCgoKYGBge3J9CiMgLS0tLSBSU3RhbiB1dGlsaXR5IGZ1bmN0aW9ucyAtLS0tLS0tLS0tLS0KCiMnIExvYWQgYSBzaW5nbGUgb2JqZWN0IGludG8gYSB0ZW1wb3JhcnkgZW52aXJvbm1lbnQgYW5kIHJldHVybiB0aGF0IG9iamVjdCBvbmx5CiMnIAojJyBNdXN0IGNvbnRhaW4gb25seSBhIHNpbmdsZSBvYmplY3QsIG9yIG90aGVyd2lzZSBpdCByZXR1cm5zIHNvbWUgYXJiaXRyYXJ5IAojJyBvYmplY3QuCiMnIAojJyBAcGFyYW0gZiBUaGUgZmlsZSB0aGF0IGNvbnRhaW5zIHRoZSBzaW5nbGUgUiBvYmplY3QKIycgQHJldHVybiBUaGUgUiBvYmplY3QgY29udGFpbmVkIGluIHRoZSBmaWxlLCBcY29kZXtmfQojJyBAbm90ZSBTb3VyY2U6IGh0dHA6Ly9zdGFja292ZXJmbG93LmNvbS9xdWVzdGlvbnMvNTU3NzIyMS9ob3ctY2FuLWktbG9hZC1hbi1vYmplY3QtaW50by1hLXZhcmlhYmxlLW5hbWUtdGhhdC1pLXNwZWNpZnktZnJvbS1hbi1yLWRhdGEtZmlsZQojJyBAZXhwb3J0Cgpsb2FkX29iaiA8LSBmdW5jdGlvbihmKQp7CiAgZW52IDwtIG5ldy5lbnYoKQogIG5tIDwtIGxvYWQoZiwgZW52KVsxXQogIGVudltbbm1dXQp9CgojJyBDcmVhdGVzIGEgU3RhbiBtb2RlbCBhZnRlciBwcmVwYXJpbmcgZGF0YQojJyAKIycgU2F2ZSBhbGwgdGhlIHJlc3VsdHMgaW50byBhIHNpbmdsZSBvYmplY3QgdG8ga2VlcCB0aGluZ3MgbmVhdC4gCiMnIEFsc28gYWxsb3dzIGZvciBhZGRpdGlvbmFsIHBhcmFtZXRlcnMgdG8gYmUgZXh0cmFjdGVkIGZyb20gdGhlIFN0YW4gbW9kZWwgCiMnIGludG8gdGhlIHJldHVybiBvYmplY3QuCiMnIAojJyBAcGFyYW0gcmRhX2ZpbGUgV2hlcmUgdGhlIFN0YW4gZGF0YSBpcyBzdG9yZWQgKHVzdWFsbHkgYW4gUkRBIGZpbGUpLgojJyBAcGFyYW0gc3Rhbl9maWxlIFdoZXJlIHRoZSBTdGFuIG1vZGVsIGZpbGUgaXMgc3RvcmVkICh1c3VhbGx5IGEgLnN0YW4gZmlsZSkuCiMnIEBwYXJhbSBpdGVyLGNoYWlucyBQYXJhbWV0ZXJzIGZvciB0cmFpbmluZyB0aGUgU3RhbiBtb2RlbC4KIycgQHBhcmFtIHBhcnMgQWRkaXRpb25hbCBwYXJhbWV0ZXJzIHRoYXQgc2hvdWxkIGJlIGV4dHJhY3RlZCBmcm9tIHRoZSBTdGFuIAojJyAgIG1vZGVsIGludG8gdGhlIHJldHVybiBvYmplY3QuIFdpbGwgYmUgc3RvcmVkIHdpdGggbmFtZSAKIycgICAncGFyYW1fJys8cGFyYW1fbmFtZT4KIycgQHJldHVybiBOYW1lZCBsaXN0IHdpdGggdGhlIGRhdGEsIFN0YW4gZml0dGVkIG1vZGVsLgojJyBAZXhwb3J0CgpjcmVhdGVfc3Rhbl9tb2RlbCA8LSBmdW5jdGlvbihyZGFfZmlsZSwgc3Rhbl9maWxlLCBpdGVyID0gMjUwLCBjaGFpbnMgPSA0LCBwYXJzID0gTlVMTCkgewogIHJldCA9IGxpc3QoZGF0YSA9IGxvYWRfb2JqKHJkYV9maWxlKSkKICAKICByZXRbWydzdGFuX2ZpdCddXSA8LSBzdGFuKGZpbGUgPSBzdGFuX2ZpbGUsIGRhdGEgPSByZXRbWydkYXRhJ11dICwgaXRlciA9IGl0ZXIsIGNoYWlucyA9IGNoYWlucykgICMgRml0IHRoZSBtb2RlbAogIAogICMgSWYgcmVxdWlyZWQsIGV4dHJhY3Qgc29tZSBhZGRpdGlvbmFsIHBhcmFtZXRlcnMgZnJvbSB0aGUgbW9kZWwgKGFzc3VtZXMgdGhleSBhcmUgZGVmaW5lZCBpbiBTdGFuKQogIGlmKCAhaXMubnVsbChwYXJzKSApIHsKICAgIGZvciggcCBpbiBwYXJzICkgewogICAgICByZXRbW3Bhc3RlMCgncGFyYW1fJywgcCldXSA9IGV4dHJhY3QoIHJldFtbJ3N0YW5fZml0J11dLCBwYXJzPXApCiAgICB9CiAgfQogIAogIHJldHVybiAocmV0KQp9CmBgYAoKYGBge3IsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0V9CmxpYnJhcnkocnN0YW4pCgpyc3Rhbl9vcHRpb25zKGF1dG9fd3JpdGUgPSBUUlVFKSAjIFNhdmUgbW9kZWwgdG8gcmVkdWNlIHJlY29tcGlsaW5nIHRpbWUKb3B0aW9ucyhtYy5jb3JlcyA9IHBhcmFsbGVsOjpkZXRlY3RDb3JlcygpKSAjIFVzZSBtdWx0aXBsZSBjb3JlcwoKIyBMb2FkIHRoZSBkYXRhIGFuZCBydW4gdGhlIG1vZGVsLCBleHRyYWN0aW5nIHRoZSBwKHk9MXx4KSBhbmQgbG9nLWxpa2VsaWhvb2QgcGFyYW1ldGVycyBmb3IgYWxsIE1DTUMgc2FtcGxlcwpjb21iX3JlcyA9IGNyZWF0ZV9zdGFuX21vZGVsKCdzdGFuY29uX2RhdGEucmRhJywgJ3N0YW5jb25fbW9kZWwuc3RhbicsIHBhcnM9YygndGhldGEnLCAnbG9nX2xpaycpLCBpdGVyID0gNzUwKQoKYGBgCgoKQSBxdWljayBsb29rIGF0IHRoZSBoaXN0b2dyYW0gb2YgdGhlIHBvc3RlcmlvcnMgZm9yIHNvbWUgb2YgdGhlIHBhcmFtZXRlcnMgc3VnZ2VzdHMgd2UgYXJlIGdldHRpbmcgc29tZSByZWFzb25hYmxlIHJlc3VsdHMuIFRoZSBwb3N0ZXJpb3IgZGlzdHJpYnV0aW9ucyBhcmUgcm91Z2hseSBzaGFwZWQgbGlrZSBHYXVzc2lhbnMgYW5kIGRvIG5vdCBhcHBlYXIgdG8gYmUgdHJ1bmNhdGVkIGF0IGVpdGhlciBleHRyZW1lLiBNYW55IHBhcmFtZXRlcnMgYXJlIGFsc28gY2VudGVyZWQgb24gbm9uLXplcm8gdmFsdWVzLCBpbXBseWluZyB0aGUgZGF0YSBpcyBzaGlmdGluZyB0aGUgcG9zdGVyaW9yIGF3YXkgZnJvbSB0aGUgcHJpb3IgZGlzdHJpYnV0aW9uLgpgYGB7ciBlY2hvID0gRkFMU0UsIG1lc3NhZ2UgPSBGQUxTRSwgd2FybmluZyA9IEZBTFNFfQpsaWJyYXJ5KFJtaXNjKQoKIycgQ3JlYXRlIGEgaGlzdG9ncmFtIG9mIGEgcGFyYW1ldGVyIGZyb20gYSBTdGFuIGZpdHRlZCBvYmplY3QKIycKIycgVXNpbmcgdGhlIGV4dHJhY3RlZCBzYW1wbGVzIGZyb20gYSBmaXR0ZWQgU3RhbiBvYmplY3QsIGNyZWF0ZQojJyBhIGhpc3RvZ3JhbSBmb3IgYSBwYXJhbWV0ZXIsIG9yIGVhY2ggZWxlbWVudCBvZiB0aGUgcGFyYW1ldGVyCiMnIGlmIHRoZSBwYXJhbWV0ZXIgaXMgYSB2ZWN0b3IuCiMnCiMnIEBwYXJhbSBwYXIgQSBzdHJpbmcgb2YgdGhlIHBhcmFtZXRlciBvZiBpbnRlcmVzdAojJyBAcGFyYW0gZml0IFRoZSBTdGFuIGZpdHRlZCBvYmplY3QKIycgQHBhcmFtIHhtaW4seG1heCBUaGUgbWluIGFuZCBtYXggeC12YWx1ZXMgb2YgdGhlIGhpc3RvZ3JhbQojJyBAcmV0dXJuIE5vbmUuIFBsb3RzIGRpcmVjdGx5IHRvIHRoZSBkZWZhdWx0IGRldmljZS4KIycgQGV4cG9ydApjdXN0b21faGlzdCA8LSBmdW5jdGlvbihwYXIsIGZpdCwgeG1pbiA9IC0zLCB4bWF4ID0gMywgcF9jb2xzID0gMykgewogIHBhcl9zYW1wcyA9IGV4dHJhY3QoZml0LCBwYXJzPXBhcilbW3Bhcl1dCiAgcGFyX3Bsb3RzID0gbGlzdCgpCiAgZm9yKCBpIGluIDE6TkNPTChwYXJfc2FtcHMpICkgewogICAgcGFyX3Bsb3RzW1tpXV0gPSBnZ3Bsb3QoKSArIAogICAgICBnZW9tX2hpc3RvZ3JhbSggZGF0YSA9IGRhdGEuZnJhbWUoIHZhbD1wYXJfc2FtcHNbLCBpXSksIGFlcyh4PXZhbCksIGNvbG9yID0gJ2JsYWNrJywgZmlsbCA9ICcjQjIwMDFEJywgYmlud2lkdGggPSAwLjE1ICkgKyAKICAgICAgZ2VvbV92bGluZSh4aW50ZXJjZXB0ID0gMCwgbGluZXR5cGU9J2Rhc2hlZCcpICsgCiAgICAgIGNvb3JkX2NhcnRlc2lhbih4bGltPWMoeG1pbix4bWF4KSkgKwogICAgICB0aGVtZV9taW5pbWFsKCkgKyAKICAgICAgbGFicyh4ID0gcGFzdGUwKHBhciwgJ1snLCBpLCAnXScpLCB5ID0gJycpICsgCiAgICAgIHNjYWxlX3hfY29udGludW91cyhsYWJlbHMgPSBjZWlsaW5nKHhtaW4pOmZsb29yKHhtYXgpLCBicmVha3MgPSBjZWlsaW5nKHhtaW4pOmZsb29yKHhtYXgpKSArCiAgICAgIHRoZW1lKGF4aXMudGl0bGUueSA9IGVsZW1lbnRfYmxhbmsoKSwgYXhpcy50aWNrcy55ID0gZWxlbWVudF9ibGFuaygpLCBheGlzLnRleHQueSA9IGVsZW1lbnRfYmxhbmsoKSwgcGFuZWwuZ3JpZCA9IGVsZW1lbnRfYmxhbmsoKSwgYXhpcy50aXRsZS54ID0gZWxlbWVudF90ZXh0KGZhY2U9J2JvbGQnKSkKICB9CiAgbXVsdGlwbG90KHBsb3RsaXN0PXBhcl9wbG90cywgY29scyA9IHBfY29scykKfQoKYGBgCgpgYGB7ciBlY2hvID0gRkFMU0UsIG1lc3NhZ2UgPSBGQUxTRSwgd2FybmluZyA9IEZBTFNFfQpjdXN0b21faGlzdCgndl9hZ2UnLCBjb21iX3JlcyRzdGFuX2ZpdCkKYGBgCgpgYGB7ciBlY2hvID0gRkFMU0UsIG1lc3NhZ2UgPSBGQUxTRSwgd2FybmluZyA9IEZBTFNFfQpjdXN0b21faGlzdCgndl9wYXJlbnQnLCBjb21iX3JlcyRzdGFuX2ZpdCkKYGBgCgpCZWxvdywgd2UgY2FuIHNlZSB0aGUgYXZlcmFnZSBhZHZlcnRpc2luZyBlZmZlY3RpdmVuZXNzIGZvciBlYWNoIG9mIHRoZSA5IGFkIHBsYXRmb3JtcyBhY3Jvc3MgYWxsIGZpbG1zIGluIHRoZSBjb2hvcnQgKCRcbXVfe2FkfSQpLiBOb3RlIHRoZXNlIGFyZSB0aGUgYXZlcmFnZXMgYWNyb3NzIHRoZSBjb2hvcnQsIHNvIGVhY2ggaW5kaXZpZHVhbCBmaWxtIHdpbGwgaGF2ZSBpdHMgb3duIHNldCBvZiBhZCBwbGF0Zm9ybSBlZmZlY3RpdmVuZXNzIHBhcmFtZXRlcnMgdGhhdCB3aWxsIGluY29ycG9yYXRlIHRoZSBwYXJ0aWFsbHkgcG9vbGVkIGluZm9ybWF0aW9uIGZyb20gZmlsbSBnZW5yZSwgYW5kIHRoZSBzdXJ2ZXkgZGF0YSBwb2ludHMgZm9yIHRoYXQgcGFydGljdWxhciBtb3ZpZS4gCgpPbiBhdmVyYWdlLCBhZCBwbGF0Zm9ybSBudW1iZXIgMiBpcyBub3RhYmx5IGxlc3MgZWZmZWN0aXZlIHRoYW4gdGhlIG90aGVyIHBsYXRmb3JtcyB3aGVuIGNvbXBhcmluZyB0aGUgbWVkaWFucyBvZiB0aGUgcG9zdGVyaW9yICh0aGUgc2lnbmlmaWNhbmNlIG9mIHRoaXMgZGlmZmVyZW5jZSBpcyBzdWJzdGFudGlhbGx5IGluY3JlYXNlZCBpbiBvdXIgZnVsbCBkYXRhIHNldCkuIFNpbWlsYXJseSwgd2UgY2FuIHNlZSB0aGF0IHBsYXRmb3JtcyAxLCA2LCA3LCBhbmQgOCBzZWVtIHRvIGJlIG1vcmUgZWZmZWN0aXZlIHdoZW4gY29tcGFyaW5nIG1lZGlhbiB2YWx1ZXMgb2YgdGhpcyBtZWFuIHBhcmFtZXRlci4KCmBgYHtyIHdhcm5pbmc9RkFMU0UsIG1lc3NhZ2U9RkFMU0UsIGVjaG89RkFMU0V9CnN0YW5fcGxvdChjb21iX3JlcyRzdGFuX2ZpdCwgJ3ZfYWRfcGxhdGZvcm1fbWVhbicpICsgCiAgbGFicyh4ID0gJ1BhcmFtZXRlciB2YWx1ZScsIHRpdGxlID0gJ1Bvc3RlcmlvciBvZiBhZCBwbGF0Zm9ybSBtZWFucycpICsKICB0aGVtZShheGlzLnRpdGxlID0gZWxlbWVudF90ZXh0KCksIGF4aXMudGl0bGUueSA9IGVsZW1lbnRfYmxhbmsoKSkKYGBgCgpBbiBhZGRlZCBiZW5lZml0IG9mIHVzaW5nIGEgaGllcmFyY2hpY2FsIG1vZGVsIGlzIHRoYXQgd2UgY2FuIGFsc28gbG9vayBhdCB0aGUgbW9kZWwgcGFyYW1ldGVycyBhdCBkaWZmZXJlbnQgbGV2ZWxzIG9mIHRoZSBoaWVyYXJjaHkuIEluIHRoaXMgY2FzZSwgaXQgbWF5IHJldmVhbCBkaWZmZXJlbmNlcyBhY3Jvc3MgZ2VucmVzIHRoYXQgY291bGQgYmUgdXNlZnVsIHRvIHVuZGVyc3RhbmQgaG93IGFkdmVydGlzaW5nIGVmZmVjdGl2ZW5lc3MgbWlnaHQgdmFyeSBhY3Jvc3MgZ2VucmVzLCBvciB3aGV0aGVyIGNlcnRhaW4gZGVtb2dyYXBoaWMgZ3JvdXBzIGFyZSBhdHRyYWN0ZWQgdG8gcGFydGljdWxhciBtb3ZpZSBnZW5yZXMuIExvb2tpbmcgYXQgdGhlIGdlbnJlLWxldmVsIHBhcmFtZXRlciBmb3IgYWdlIGJlbG93LCB3ZSBjYW4gc2VlIHRoYXQgeW91bmdlciBwZW9wbGUgYXJlIG1vcmUgbGlrZWx5IHRvIHZpZXcgbW92aWVzIGluIGdlbnJlIDEsIHdoaWxlIG9sZGVyIHZpZXdlcnMgYXJlIG1vcmUgbGlrZWx5IHRvIHZpZXcgbW92aWVzIGluIGdlbnJlIDIuCgoKYGBge3Igd2FybmluZz1GQUxTRSwgbWVzc2FnZT1GQUxTRSwgZWNobz1GQUxTRX0Kc3Rhbl9wbG90KGNvbWJfcmVzJHN0YW5fZml0LCAndl9hZ2VfZycpICsgCiAgbGFicyh4ID0gJ1BhcmFtZXRlciB2YWx1ZScsIHRpdGxlID0gJ1Bvc3RlcmlvciBvZiBnZW5yZS1sZXZlbCBhZ2UgcGFyYW1ldGVyJykgKwogIHRoZW1lKGF4aXMudGl0bGUgPSBlbGVtZW50X3RleHQoKSwgYXhpcy50aXRsZS55ID0gZWxlbWVudF9ibGFuaygpKQpgYGAKCgojIEFuYWx5emluZyB0aGUgbW9kZWwKSW4gb3JkZXIgdG8gZW5zdXJlIHRoZSBtb2RlbCBpcyBhcHByb3ByaWF0ZSBhbmQgc3RhYmxlLCB3ZSBjb25zaWRlcjoKCjEuIE1DTUMgZGlhZ25vc3RpY3M7IGFuZAoyLiBQb3N0ZXJpb3IgcHJlZGljdGl2ZSBjaGVja3MuCgojIyBNQ01DIERpYWdub3N0aWNzCgpBcyBhIHN0YXJ0aW5nIHBvaW50LCB3ZSB3YW50IHRvIHNlZSBpZiB0aGUgY2hhaW5zIGFyZSBjb252ZXJnaW5nIHRvIHRoZSB0YXJnZXQgZGlzdHJpYnV0aW9uIChvciBhdCBsZWFzdCB0byBzb21lIGVxdWlsaWJyaXVtIGRpc3RyaWJ1dGlvbikuIFRoZXJlIGFyZSBtdWx0aXBsZSB3YXlzIG9mIGRvaW5nIHRoaXMsIGJ1dCB3ZSBmb2N1cyBvbiB0aGUgcG90ZW50aWFsIHNjYWxlIHJlZHVjdGlvbiBzdGF0aXN0aWMsICRcaGF0e1J9JCwgYXMgcHJvcG9zZWQgYnkgR2VsbWFuIGFuZCBSdWJpbi5bQGdlbG1hbjE5OTJpbmZlcmVuY2VdIFRoaXMgY29tcGFyZXMgdGhlIGF2ZXJhZ2UgdmFyaWFuY2Ugd2l0aGluIGVhY2ggY2hhaW4gdG8gdGhlIHBvb2xlZCB2YXJpYW5jZSBhY3Jvc3MgYWxsIGNoYWlucy4gVGhlIHByb3Bvc2VkIHJ1bGUgb2YgdGh1bWIgYnkgR2VsbWFuIGFuZCBSdWJpbiBpcyB0byBjb250aW51ZSBzYW1wbGluZyB1bnRpbCBhbGwgJFxoYXR7Un0kIHZhbHVlcyBhcmUgYmVsb3cgMS4xLiBXZSBub3RlIHRoZXJlIGFyZSBzb21lIHN0cm9uZyBhc3N1bXB0aW9ucyBiZWhpbmQgdGhpcyBzdGF0aXN0aWMsIGFuZCB0aGVyZSBpcyBhZGRpdGlvbmFsIGNvbXBsZXhpdHkgYmVoaW5kIGFzc2Vzc2luZyB3aGV0aGVyIGNvbnZlcmdlbmNlIGhhcyBhY3R1YWxseSBvY2N1cnJlZCwgYnV0IHdlIGtlZXAgaXQgc2ltcGxlIGhlcmUgZm9yIHRoZSBzYWtlIG9mIGJyZXZpdHkuCgpBcyBzZWVuIGJlbG93LCBhbGwgJFxoYXR7Un0kIHN0YXRpc3RpY3MgYXJlIGNsZWFybHkgYmVsb3cgMS4xLCBzdWdnZXN0aW5nIHRoYXQgZXF1aWxpYnJpdW0gaGFzIGJlZW4gYWNoaWV2ZWQuIE5vdGUgd2Ugb25seSB1c2UgNCBjaGFpbnMgaGVyZSwgYnV0IGFnYWluLCBpbiBwcmFjdGljZSB3ZSB3b3VsZCBoYXZlIG1hbnkgbW9yZSBpbiBvcmRlciB0byBpbmNyZWFzZSB0aGUgbGlrZWxpaG9vZCB0aGF0IHRoZSBwb3N0ZXJpb3Igc3BhY2UgaXMgd2VsbC1leHBsb3JlZC4gVGhlIGRhbmdlciB3aXRoIG9ubHkgaGF2aW5nIGEgZmV3IGNoYWlucyBpcyB0aGF0IGNvbnZlcmdlbmNlIGNvdWxkIGFwcGVhciB0byBoYXZlIGJlZW4gYWNoaWV2ZWQsIHdoZW4gaW4gZmFjdCB0aGVyZSBjb3VsZCBiZSBlbnRpcmVseSB1bmV4cGxvcmVkIHNwYWNlcyBpbiB0aGUgcG9zdGVyaW9yIGR1ZSB0byB0aGUgcGFydGljdWxhciByYW5kb20gaW5pdGlhbGl6YXRpb25zIG9mIGVhY2ggY2hhaW4uIEluIGdlbmVyYWwsIHRoZXJlIGlzIG5vIHdheSBvZiBndWFyYW50ZWVpbmcgdGhpcyBkb2VzIG5vdCBoYXBwZW4gZXZlbiB3aXRoIGEgbGFyZ2UgbnVtYmVyIG9mIGNoYWlucywgYnV0IG1vcmUgY2hhaW5zIGRlY3JlYXNlcyB0aGUgbGlrZWxpaG9vZCBvZiB0aGlzIGhhcHBlbmluZy4KCmBgYHtyIHdhcm5pbmcgPSBGQUxTRSwgbWVzc2FnZSA9IEZBTFNFLCBlY2hvID0gRkFMU0V9CnBhcmFtX3N1bW1hcnkgPSBzdW1tYXJ5KGNvbWJfcmVzJHN0YW5fZml0KSRzdW1tYXJ5CnN0YW5fcmhhdChjb21iX3JlcyRzdGFuX2ZpdCkgKyAKICBsYWJzKHRpdGxlID0gJ1JoYXQgZm9yIGFsbCBwYXJhbWV0ZXJzJywgc3VidGl0bGUgPSBwYXN0ZTAoJ01heGltdW0gUmhhdCA9ICcsIHJvdW5kKG1heChwYXJhbV9zdW1tYXJ5WywgJ1JoYXQnXSksIDQpKSkKYGBgCgpXZSBzaG91bGQgYWxzbyBjb25zaWRlciB0aGUgRWZmZWN0aXZlIFNhbXBsZSBTaXplIChFU1MpIHdoaWNoIGFjY291bnRzIGZvciBhdXRvY29ycmVsYXRpb24gYmV0d2VlbiBzYW1wbGVzLiBUaGlzIGlzIGltcG9ydGFudCwgZm9yIGV4YW1wbGUsIHdoZW4gY29uc2lkZXJpbmcgc3RhbmRhcmQgZXJyb3IgbWVhc3VyZW1lbnRzIGFyaXNpbmcgZnJvbSB0aGUgY2VudHJhbCBsaW1pdCB0aGVvcmVtIHdoaWNoIGFzc3VtZXMgaW5kZXBlbmRlbnQgc2FtcGxlczsgY2FsY3VsYXRpb25zIHVzaW5nIHRoZSBzdGFuZGFyZCBzYW1wbGUgc2l6ZSBhcmUgaW5zdGVhZCByZXBsYWNlZCB3aXRoIEVTUy5bQHN0YW5tYW51YWxdIEhpZ2hseSBjb3JyZWxhdGVkIHNhbXBsZXMgd2lsbCBoYXZlIGEgbXVjaCBsb3dlciBFU1MgY29tcGFyZWQgdG8gdGhlIGFjdHVhbCBzYW1wbGUgc2l6ZS4gVGhlIGFic29sdXRlIEVTUyB2YWx1ZSBtYXR0ZXJzIGFsc28gc2luY2UgZXN0aW1hdGlvbiBlcnJvciBpcyBwcm9wb3J0aW9uYWwgdG8gJDEvXHNxcnR7Tl97ZWZmfX0kLCBzbyBkZXBlbmRpbmcgb24gdGhlIGFjY2VwdGFibGUgbGV2ZWwgb2YgZXJyb3IsIHdlIG1heSBuZWVkIHRvIGluY2x1ZGUgbW9yZSBzYW1wbGVzLiBUaGUgRVNTIGlzIGZhaXJseSBsb3cgZm9yIHNvbWUgcGFyYW1ldGVycyBpbiB0aGlzIHNtYWxsIGV4YW1wbGUsIGJ1dCBpbiBwcmFjdGljZSB0aGVyZSBzaG91bGQgYmUgbW9yZSBzYW1wbGVzICh1c3VhbGx5LCBhdCBsZWFzdCBzZXZlcmFsIHRob3VzYW5kKS4KCmBgYHtyIGVjaG8gPSBGQUxTRSwgbWVzc2FnZSA9IEZBTFNFLCB3YXJuaW5nID0gRkFMU0V9CnN0YW5fZXNzKGNvbWJfcmVzJHN0YW5fZml0KSArIAogIGxhYnModGl0bGUgPSAnRWZmZWN0aXZlIFNhbXBsZSBTaXplIHJhdGlvIGZvciBhbGwgcGFyYW1ldGVycycsIHN1YnRpdGxlID0gcGFzdGUwKCdFZmZlY3RpdmUgU2FtcGxlIFNpemUgcmFuZ2UgPSBbJywgcm91bmQobWluKHBhcmFtX3N1bW1hcnlbLCAnbl9lZmYnXSkpLCAnLCAnLHJvdW5kKG1heChwYXJhbV9zdW1tYXJ5WywgJ25fZWZmJ10pKSwnXScpKQpgYGAKCiMjIFBvc3RlcmlvciBQcmVkaWN0aXZlIENoZWNrcwpBIGJhc2ljIHdheSB0byBjaGVjayB3aGV0aGVyIHRoZSBtb2RlbCBpcyBwZXJmb3JtaW5nIHJlYXNvbmFibHkgYW5kIGlzIGFwcHJvcHJpYXRlIGZvciB0aGUgcHJvYmxlbSwgaXMgdG8gc2ltdWxhdGUgaG93IHdlbGwgaXQgaXMgYWJsZSB0byByZWNyZWF0ZSB0aGUgdHJhaW5pbmcgZGF0YS5bQGdlbG1hbjIwMTRiYXllc2lhbl0gU3BlY2lmaWNhbGx5LCB3ZSB3YW50IHRvIGNvbXBhcmUgdGhlIHBvc3RlcmlvciBwcmVkaWN0aXZlIGRpc3RyaWJ1dGlvbiBvZiB0aGUgZGVwZW5kZW50IHZhcmlhYmxlIGZvciBlYWNoIGRhdGEgcG9pbnQgdG8gdGhlIGFjdHVhbCBvYnNlcnZlZCB2YWx1ZS4gSWYgdGhlIGFjdHVhbCBvYnNlcnZlZCB2YWx1ZSBpcyB0b3dhcmRzIHRoZSBleHRyZW1lIGVuZHMgb2YgdGhlIHBvc3RlcmlvciBwcmVkaWN0aXZlIGRpc3RyaWJ1dGlvbiAob3Igb3V0c2lkZSB0aGUgcmFuZ2UgYWx0b2dldGhlciksIHRoYXQgbWF5IHN1Z2dlc3Qgb3VyIG1vZGVsIG5lZWRzIHRvIGJlIGltcHJvdmVkLiBGb3IgZXhhbXBsZSwgcGVyaGFwcyB3ZSBhcmUgbm90IG1vZGVsaW5nIGhpZ2hlci1vcmRlciBpbnRlcmFjdGlvbiB0ZXJtcywgb3Igd2UgYXJlIG9taXR0aW5nIGVzc2VudGlhbCBkYXRhIGZyb20gb3VyIG1vZGVsLgoKT2YgY291cnNlLCB0aGUgdHJ1ZSBwb3N0ZXJpb3IgZGlzdHJpYnV0aW9uIGlzIHVua25vd24gc28gdGhlIE1DTUMgc2FtcGxlcyB3aWxsIGZvcm0gdGhlIGVzdGltYXRlLiBTcGVjaWZpY2FsbHksIHRoZSBwb3N0ZXJpb3IgcHJlZGljdGl2ZSBkaXN0cmlidXRpb24gaXM6CiQkCnAoXHRpbGRle3l9IHwgXGJvbGRzeW1ib2x7WH0sIFxib2xkc3ltYm9se3l9KSA9IFxpbnR7IHAoXHRpbGRle3l9IHwgXHRoZXRhKSBwKFx0aGV0YXxcYm9sZHN5bWJvbHtYfSwgXGJvbGRzeW1ib2x7eX0pIGRcdGhldGF9CiQkClVzaW5nICRTJCBwb3N0ZXJpb3Igc2FtcGxlcyBhcyBhIHN1YnN0aXR1dGUgZm9yIHRoZSB0cnVlIHBvc3RlcmlvciBkaXN0cmlidXRpb24sIHdpdGggdGhlICRrJC10aCBwb3N0ZXJpb3Igc2FtcGxlIGRlbm90ZWQgYnkgJFx0aGV0YV5rJDoKJCQKcChcdGlsZGV7eX0gfCAgXGJvbGRzeW1ib2x7WH0sIFxib2xkc3ltYm9se3l9KSBcYXBwcm94IFxmcmFjezF9e1N9IFxzdW1fe2s9MX1ee1N9eyBwKFx0aWxkZXt5fSB8IFx0aGV0YV5rKSB9CiQkCgpJbiBvcmRlciB0byBjcmVhdGUgcmVwbGljYXRpb25zIG9mIHRoZSB0cmFpbmluZyBkYXRhIHNldCwgZWFjaCBwb3N0ZXJpb3Igc2FtcGxlIHdpbGwgY3JlYXRlIGEgcmVwbGljYXRpb24gYmFzZWQgb24gdGhlIGRpc3RyaWJ1dGlvbiBvZiAkXHRpbGRle3lfaV5rfSQgZm9yIHRoZSAkaSQtdGggZGF0YSBwb2ludCBhbmQgJGskLXRoIHNhbXBsZS4gU2luY2UgdGhlIGRlcGVuZGVudCB2YXJpYWJsZSBpcyBhIEJlcm5vdWxsaSByYW5kb20gdmFyaWFibGUsIGVhY2ggcmVwbGljYXRpb24gaXMgYSBkcmF3IGZyb20gdGhlIEJlcm5vdWxsaSBkaXN0cmlidXRpb24gd2l0aCBtZWFuICRwKFx0aWxkZXt5X2lea30gPSAxIHwgXHRoZXRhXmspJC4gTGV0IHRoZSBjb25jcmV0ZSByZXBsaWNhdGlvbiBmb3IgZGF0YSBwb2ludCAkaSQgYW5kIHNhbXBsZSAkayQgYmUgJHlfe3ByZWQsIGl9XntrfSBcaW4gXGxlZnRcezAsIDFccmlnaHRcfSQuCgpSYXRoZXIgdGhhbiBsb29rIGF0IGVhY2ggaW5kaXZpZHVhbCBkYXRhIHBvaW50LCBsb29raW5nIGF0IHRoZSBkaXN0cmlidXRpb24gb2YgcHJlZGljdGlvbnMgYWNyb3NzIGNlcnRhaW4gZ3JvdXBzIG1pZ2h0IHN1Z2dlc3QgbW9yZSBtZWFuaW5nZnVsIGlkZWFzIGZvciBtb2RlbCBpbXByb3ZlbWVudC4gSXQgY291bGQgYmUsIGZvciBleGFtcGxlLCB0aGF0IHRoZSBtb2RlbCBvdmVyZXN0aW1hdGVzIHRoZSBhZ2UgZWZmZWN0IGZvciBwZW9wbGUgd2hvIGFyZSB2ZXJ5IHlvdW5nIG9yIHZlcnkgb2xkIGR1ZSB0byB0aGUgbGluZWFyIGVmZmVjdCBpbXBsaWVkIGluIHRoZSBtb2RlbCwgbGVhZGluZyB0byBwb29yIHJlcGxpY2F0ZWQgcmVzdWx0cyBmb3IgdGhvc2UgYWdlIGdyb3Vwcy4gT3IgcGVyaGFwcyB0aGUgbW9kZWwgcGVyZm9ybXMgcG9vcmx5IGZvciBwZW9wbGUgd2hvIGFyZSBub3QgcGFyZW50cy4KCklmIHdlIGNvbnNpZGVyIGEgc3BsaXQgb2YgdGhlIGRhdGEgYnkgcGFyZW50IHN0YXR1cyBhbmQgbW92aWUgZ2VucmUsIHRoZSBib3ggcGxvdHMgYmVsb3cgc2hvdyB0aGF0IHRoZSBhY3R1YWwgcHJvcG9ydGlvbiBvZiBtb3ZpZS1nb2luZyBmYWxscyB3aXRoaW4gdGhlIGZpcnN0IGFuZCB0aGlyZCBxdWFydGlsZSBvZiBhbGwgc2V0cyBvZiByZXBsaWNhdGlvbnMuIE1vcmUgZ2VuZXJhbGx5LCBpdCBpcyBhbHNvIHBvc3NpYmxlIHRvIGNhbGN1bGF0ZSBhIHRlc3Qgc3RhdGlzdGljIHRvIGNvbXBhcmUgdGhlIHJlcGxpY2F0aW9ucyBhZ2FpbnN0IHRoZSBhY3R1YWwgb2JzZXJ2ZWQgdmFsdWVzLCBhcyB3ZWxsIGFzIGFuIGFjY29tcGFueWluZyAicC12YWx1ZS4iIEluIHRoaXMgY2FzZSwgdGhlIHRlc3Qgc3RhdGlzdGljIGlzIGp1c3QgdGhlIHByb3BvcnRpb24gb2YgJHlfe3ByZWQsIGl9XntrfSA9IDEkIGZvciBhbGwgJGkkIGluIGEgcGFydGljdWxhciBzZXQgKGUuZy4gcGFyZW50cykgYWNyb3NzIHRoZSAkayQgcmVwbGljYXRpb25zLiBIZXJlLCBvbmUgcG9zc2libGUgcC12YWx1ZSBmb3JtdWxhdGlvbiBpcyAkcCggVCh5X3twcmVkLCBHfSkgPiBUKHlfRykgKSQgZm9yIGEgZ3JvdXBpbmcgb2YgZGF0YSBwb2ludHMsICRHJC4gVGhlc2UgcmVzdWx0cyBzbyBmYXIgZG8gbm90IGluZGljYXRlIGFueSBwcm9ibGVtcyB3aXRoIHRoZSBwZXJmb3JtYW5jZSBvZiB0aGUgbW9kZWwsIHNpbmNlIG91ciBtb2RlbC1iYXNlZCByZXBsaWNhdGlvbnMgY2FuIG9mdGVuIHByb2R1Y2Ugb3V0Y29tZXMgc2ltaWxhciB0byB0aGUgYWN0dWFsIG91dGNvbWUgb2JzZXJ2ZWQuCgpgYGB7cn0KIyAtLS0tIFBsb3R0aW5nIHV0aWxpdHkgZnVuY3Rpb25zIC0tLS0tLS0tLS0tLQoKbGlicmFyeShkcGx5cikKCiMnIFV0aWxpdHkgZnVuY3Rpb24gdGhhdCByZXR1cm5zIHRoZSByZXN1bHQgb2YgQmVybm91bGxpIGRyYXdzCiMnIAojJyBHaXZlbiBzb21lIGlucHV0IG1hdHJpeCwgcmVwZWF0ZWRseSBtYWtlIGEgc2luZ2xlIGRyYXcgZnJvbSBhIEJlcm5vdWxsaSAKIycgZGlzdHJpYnV0aW9uIHdpdGggcHJvYmFiaWxpdHkgZ2l2ZW4gYnkgZWFjaCBlbGVtZW50IGluIHRoZSBpbnB1dCBtYXRyaXguIFRoZQojJyByZXN1bHQgaXMgYSBtYXRyaXggb2YgdGhlIHNhbWUgc2l6ZSBhcyB0aGUgaW5wdXQgbWF0cml4LgojJyAKIycgQHBhcmFtIHRoZXRhIEEgbWF0cml4IG9mIGVsZW1lbnRzIGluIFxpbiBbMCwgMV0gcmVwcmVzZW50aW5nIHRoZSBwcm9iYWJpbGl0eQojJyAgIG9mIHN1Y2Nlc3MgaW4gYSBCZXJub3VsbGkgZGlzdHJpYnV0aW9uLgojJyBAcmV0dXJuIEEgbWF0cml4IG9mIGVsZW1lbnRzIGluIFxpbiB7MCwgMX0gcmVwcmVzZW50aW5nIHdoZXRoZXIgdGhlCiMnICAgQmVybm91bGxpIGRyYXcgd2FzIHN1Y2Nlc3NmdWwgZm9yIHRoYXQgcGFydGljdWxhciBtYXRyaXggZWxlbWVudC4KIycgCiMnIEBleHBvcnQKZ2V0X3lfcmVwX2Jlcm5vdWxsaSA8LSBmdW5jdGlvbih0aGV0YSkgewogIG51bVNhbXBsZXM9IGRpbSh0aGV0YSlbMV0KICBudW1EYXRhUG9pbnRzID0gZGltKHRoZXRhKVsyXQogIAogIHVuaWZfZHJhd3MgPSBtYXRyaXgoIHJ1bmlmKG51bVNhbXBsZXMgKiBudW1EYXRhUG9pbnRzKSwgbnVtU2FtcGxlcywgbnVtRGF0YVBvaW50cyApCiAgcmF3X3NlZW5fcHJvcCA9ICh0aGV0YSA+IHVuaWZfZHJhd3MpICMgRmluZCB3aGljaCBiZXJub3VsbGkgdHJpYWxzIHdlcmUgc3VjY2Vzc2Z1bAogIAogIHJldHVybiAocmF3X3NlZW5fcHJvcCkKfQoKIycgVXRpbGl0eSBmdW5jdGlvbiBmb3IgZ2V0dGluZyB0aGUgcHJvcG9ydGlvbnMgb2YgeT0xIGZvciBhIGdpdmVuIGZpZWxkCiMnIAojJyBGb3Igc29tZSBnaXZlbiBmaWVsZCBnaXZlbiBieSB0aGUgXGNvZGV7ZmllbGR9IHN0cmluZywgdGhlIHJlbGV2YW50IHZlY3RvciBpbiB0aGUKIycgbmVzdGVkIGxpc3QgXGNvZGV7ZGF0YX0gaXMgZXh0cmFjdGVkLiBXZSBncm91cCBieSB0aGUgdmFsdWVzIGluIHRoaXMgdmVjdG9yIGFuZCB0YWtlCiMnIHRoZSBwcm9wb3J0aW9uIG9mIGVsZW1lbnRzIGZvciB3aGljaCB0aGUgcmVzcG9uc2UgdmFyaWFibGUgaXMgMS4KIycgCiMnIEBwYXJhbSBkYXRhIFRoZSBuZXN0ZWQgbGlzdGVkIGNvbnRhaW5pbmcgdGhlIGRhdGEgdG8gYmUgcXVlcmllZC4KIycgQHBhcmFtIGZpZWxkIFRoZSBzdHJpbmcgcmVwcmVzZW50aW5nIHRoZSBmaWVsZCBvZiBpbnRlcmVzdCBpbiBhIG5lc3RlZCBsaXN0LgojJyBAcGFyYW0gcmVzcCBUaGUgc3RyaW5nIHJlcHJlc2VudGluZyB0aGUgcmVzcG9uc2UgdmFyaWFibGUgaW4gYSBuZXN0ZWQgbGlzdC4KIycgCiMnIEBleHBvcnQKCmdldF9hY3R1YWxfcHJvcHMgPSBmdW5jdGlvbihkYXRhLCBmaWVsZCwgcmVzcD0neScpIHsKICBkZiA9IGRhdGEuZnJhbWUodmFsID0gZGF0YVtbZmllbGRdXSwgeT1kYXRhW1tyZXNwXV0pCiAgcmV0ID0gZGYgJT4lCiAgICBncm91cF9ieSh2YWwpICU+JQogICAgc3VtbWFyaXNlX2VhY2goZnVucyhtZWFuKSkgJT4lCiAgICBhcnJhbmdlKHZhbCkKICAKICByZXR1cm4ocmV0JHkpCn0KCiMnIFV0aWxpdHkgZnVuY3Rpb24gdG8gY3JlYXRlIGEgbWF0cml4IGJhc2VkIG9uIHRoZSB2YWx1ZXMgaW4gYW5vdGhlciB2ZWN0b3IKIycgCiMnIFRha2Ugc29tZSBcY29kZXtkYXRhfSBtYXRyaXggYW5kIGNob29zZSB0byBzcGxpdCBpdCBiYXNlZCBvbiBhIHZlY3RvciAKIycgXGNvZGV7c3BsaXRfYXR0cn0uIEZvciBlYWNoIHZhbHVlIGluIHRoZSB2ZWN0b3IgXGNvZGV7c3BsaXRfYXR0cn0sIGEgYm9vbGVhbiAKIycgdmVjdG9yIGlzIGNyZWF0ZWQgd2hlcmUgYW4gZWxlbWVudCBpbiB0aGlzIG5ldyBib29sZWFuIHZlY3RvciBpcyBcY29kZXtUUlVFfSAKIycgd2hlcmUgdGhlIGNvcnJlc3BvbmRpbmcgZWxlbWVudCBpbiBcY29kZXtzcGxpdF9hdHRyfSBpcyBleGFjdGx5IGVxdWFsIHRvIHRoaXMKIycgdmFsdWUuIFRoZSBib29sZWFuIHZlY3RvciBpcyB0aGVuIHVzZWQgdG8gc3Vic2V0IFxjb2Rle2RhdGF9IGJ5IGNvbHVtbiBvciByb3cKIycgYmFzZWQgb24gdGhlIGZsYWcgdmFyaWFibGUgXGNvZGV7YnlfY29sfS4gVGhlIHJldHVybiB2YWx1ZSBpcyBhIGRhdGFmcmFtZSAKIycgd2l0aCB0aGUgbWVhbnMgb2YgdGhlIGVsZW1lbnRzIGJlbG9uZ2luZyB0byBlYWNoIHZhbHVlIGluIFxjb2Rle3NwbGl0X2F0dHJ9LgojJyAKIycgQHBhcmFtIHNwbGl0X2F0dHIgQSB2ZWN0b3IgY29udGFpbmluZyB0aGUgdmFsdWVzIHRvIGRldGVybWluZSB0aGUgc3BsaXQgb2YgCiMnICAgdGhlIGRhdGEgbWF0cml4LgojJyBAcGFyYW0gZGF0YSBBIG1hdHJpeCBjb250YWluaW5nIHRoZSBkYXRhIHRvIGJlIHN1YnNldC4KIycgQHBhcmFtIGJ5X2NvbCBXaGV0aGVyIHRoZSBzdWJzZXQgb2YgXGNvZGV7ZGF0YX0gc2hvdWxkIGJlIGRvbmUgYnkgY29sdW1uIG9yIAojJyAgIHJvdy4KIycgICAKIycgQHJldHVybiBhdHRyX3N1bW1hcnkgQSBkYXRhZnJhbWUgd2l0aCBhbiBhdHRyaWJ1dGUgY29sdW1uIGFuZCBhIGNvbHVtbiB3aXRoCiMnICAgdGhlIG1lYW4gb2YgdGhlIHZhbHVlcy4KIycgICAKIycgQGV4cG9ydAoKc3BsaXRfdGhldGFfYnlfZmllbGQgPC0gZnVuY3Rpb24oc3BsaXRfYXR0ciwgZGF0YSwgYnlfY29sID0gVCkgewogIGRmID0gaWYoYnlfY29sKSBkYXRhLmZyYW1lKHQoZGF0YSkpIGVsc2UgZGF0YS5mcmFtZShkYXRhKSAjIENyZWF0ZSBhIGRhdGFmcmFtZSBmcm9tIHRoZSBkYXRhIG1hdHJpeAogIGRmJGF0dHIgPSBzcGxpdF9hdHRyICMgQWRkIHRoZSBhdHRyaWJ1dGUgY29sdW1uCiAgbnVtUm93cyA9IGRpbShkZilbMV0KICAKICBhdHRyX3N1bW1hcnkgPSBkZiAlPiUKICAgIGdyb3VwX2J5KGF0dHIpICU+JQogICAgc3VtbWFyaXNlX2VhY2goZnVucyhtZWFuKSkKICAKICByZXR1cm4oYXR0cl9zdW1tYXJ5KQp9CgoKIycgUGxvdCBwcm9wb3J0aW9ucyBvZiB5PTEgYmFzZWQgb24gYSBkaXNjcmV0ZSB2YXJpYWJsZSBvZiBpbnRlcmVzdAojJyAKIycgVGFrZXMgYW4gTnhNIG1hdHJpeCBcY29kZXtyYXdfc2Vlbl9wcm9wfSBvZiB7MCwxfSB3aXRoIGVhY2ggcm93IAojJyByZXByZXNlbnRpbmcgYSBCZXJub3VsbGkgZHJhdyBhY3Jvc3MgXGNvZGV7TX0gZGF0YSBwb2ludHMgYmFzZWQgb24gYSBzaW5nbGUKIycgc2FtcGxlIGZyb20gdGhlIHBvc3Rlcmlvci4gVGhpcyBtYXRyaXggaXMgc3BsaXQgYWNyb3NzIGEgZGlzY3JldGUgdmFyaWFibGUgCiMnIG9mIGludGVyZXN0IHRvIHBsb3QgdGhlIHByb3BvcnRpb25zIG9mIHk9MSBmb3IgZWFjaCBvZiB0aGUgdW5pcXVlIHZhbHVlcyBvZgojJyB0aGUgZGlzY3JldGUgdmFyaWFibGUsIGFjcm9zcyBhbGwgdGhlIFxjb2Rle059IHBvc3RlcmlvciBzYW1wbGVzLgojJyAKIycgQHBhcmFtIHJhd19zZWVuX3Byb3AgQW4gTnhNIG1hdHJpeCBvZiB7MCwxfSB3aGljaCByZXByZXNlbnRzIHdoZXRoZXIgYSAKIycgICBwYXJ0aWN1bGFyIGRhdGEgcG9pbnQgaGFkIGEgcmVzcG9uc2Ugb2YgeT0xIGZvciB0aGF0IHBhcnRpY3VsYXIgcG9zdGVyaW9yCiMnICAgc2FtcGxlLgojJyBAcGFyYW0gc3Rhbl9kYXRhIFRoZSBuZXN0ZWQgbGlzdCBvZiBkYXRhLiBNdXN0IGluY2x1ZGUgdGhlIGZpZWxkIG9mIAojJyAgIGludGVyZXN0LgojJyBAcGFyYW0gZmllbGQgVGhlIG5hbWUgb2YgdGhlIGZpZWxkIGluIFxjb2Rle3N0YW5fZGF0YX0gdGhhdCBpcyB0aGUgZmllbGQgCiMnICAgb2YgaW50ZXJlc3QuCiMnIEBwYXJhbSBuYW1lcyBUaGUgeC1heGlzIGxhYmVscyBvZiB0aGUgYm94IHBsb3QgKHdpbGwgdXNlIHRoZSBkaXNjcmV0ZQojJyAgIHZhbHVlcyBvZiB0aGUgdmFyaWFibGUgb2YgaW50ZXJlc3QgYnkgZGVmYXVsdCkuCiMnIEBwYXJhbSBhdHRyX25hbWUgU29tZSBkZXNjcmlwdGl2ZSB3b3JkIHRvIGRlc2NyaWJlIHRoZSBhdHRyaWJ1dGUgYmVpbmcgCiMnICAgYW5hbHl6ZWQgKGUuZy4gZ2VuZGVyKS4KIycgICAKIycgQGV4cG9ydAoKcGxvdF9wcm9wb3J0aW9uc19kaXNjcmV0ZSA9IGZ1bmN0aW9uKHJhd19zZWVuX3Byb3AsIHN0YW5fZGF0YSwgZmllbGQsIG5hbWVzPU5VTEwsIGF0dHJfbmFtZT0nYXR0cmlidXRlJykgewogIGlmKCAhKGZpZWxkICVpbiUgbmFtZXMoc3Rhbl9kYXRhKSApICkgewogICAgd2FybmluZyhwYXN0ZSgnRXJyb3I6JywgZmllbGQsICdpcyBub3QgaW4gc3RhbiBkYXRhISBDYW5cJ3QgcGxvdCBkaXNjcmV0ZSB2YWx1ZXMsIHJldHVybmluZy4uLicpKQogICAgcmV0dXJuKC0xKQogIH0KICAKICBwcm9wcyA9IGdldF9hY3R1YWxfcHJvcHMoc3Rhbl9kYXRhLCBmaWVsZCkgIyBHZXQgdGhlIGFjdHVhbCBwcm9wb3J0aW9ucyBvZiB0aGUgcmVzcG9uc2UgdmFyaWFibGUgYnkgdGhlIGRpc2NyZXRlIHZhcmlhYmxlCiAgbnVtRmFjdG9ycyA9IGxlbmd0aChwcm9wcykgIyBOdW1iZXIgb2YgZGlmZmVyZW50IHZhbHVlcyB0aGUgZGlzY3JldGUgdmFyaWFibGUgY2FuIHRha2UKICAKICBkZiA9IHNwbGl0X3RoZXRhX2J5X2ZpZWxkKHN0YW5fZGF0YVtbZmllbGRdXSwgcmF3X3NlZW5fcHJvcCkKICBhcnJhbmdlKGRmLCBhdHRyKSAjIFNvIHdlIGdldCAwLCAxIGV0Yy4gc28gdGhlIG5hbWVzIGxpbmUgdXAKICBhdHRyX2NvbD0gZGYkYXR0cgogIG5hbWVzID0gaWYoaXMubnVsbChuYW1lcykpIGF0dHJfY29sIGVsc2UgbmFtZXMgIyBOYW1lcyBmb3IgdGhlIGNvcnJlc3BvbmRpbmcgdmFyaWFibGUgaW4gc29ydGVkIG9yZGVyCiAgZGYgPSBzZWxlY3QoZGYsc2VsZWN0PS1hdHRyKSAjIERyb3AgdGhlIGF0dHJpYnV0ZSBjb2x1bW4gd2hlbiBwbG90dGluZwogIAogICMgR2V0IHRoZSBwLXZhbHVlcyBmb3IgZWFjaCBhdHRyaWJ1dGUgdmFsdWUgKGUuZy4gcGFyZW50IGFuZCBub24tcGFyZW50KQogIGZvciggciBpbiAxOmxlbmd0aChhdHRyX2NvbCkgKSB7CiAgICBwX3ZhbCA9IHN1bShkZltyLCBdID4gcHJvcHNbcl0pL2xlbmd0aChkZltyLCBdKQogICAgcHJpbnQoIHBhc3RlMCgicC12YWx1ZSBmb3IgIiwgYXR0cl9uYW1lLCAiID0gIiwgYXR0cl9jb2xbcl0sIjogIiwgcF92YWwpICkKICB9CiAgCiAgIyBDcmVhdGUgdGhlIGJveCBwbG90CiAgYm94cGxvdCh0KGRmKSwgbmFtZXM9bmFtZXMsIG1haW49cGFzdGUoIlByb3BvcnRpb24gb2YgbW92aWUtZ29lcnMgYnkiLCBhdHRyX25hbWUpLCB4bGFiPWF0dHJfbmFtZSwgeWxhYj0iUHJvcG9ydGlvbiIsIGxhcz0yKQogIAogIGZvciggc19wIGluIDE6bnVtRmFjdG9ycyApIHsKICAgIHNlZ21lbnRzKDAuNSsoc19wLTEpLCBwcm9wc1tzX3BdLCAxLjUrKHNfcC0xKSwgcHJvcHNbc19wXSwgY29sPSdyZWQnLCBsdHk9MikgIyBEcmF3IHRoZSBhY3R1YWwgcHJvcG9ydGlvbnMgYXMgcmVkIGRhc2hlZCBsaW5lcwogIH0KICAKICBsZWdlbmQoInRvcHJpZ2h0IiwgbGVnZW5kPWMoJ0FjdHVhbCcpLCBsdHk9YygyKSwgbHdkPWMoMi41KSxjb2w9YygicmVkIikpCiAgCn0KCmBgYAoKYGBge3J9Cm1lYW5zX2tfaSA9IGNvbWJfcmVzJHBhcmFtX3RoZXRhJHRoZXRhICAjIE1hdHJpeCBvZiB2YWx1ZXMgZm9yIHAoIHlfaV5rID0gMSB8IHRoZXRhXmsgKQpyZXBzID0gZ2V0X3lfcmVwX2Jlcm5vdWxsaSggbWVhbnNfa19pICkgICMgR2VuZXJhdGUgdGhlIHJlcGxpY2F0aW9ucwpwbG90X3Byb3BvcnRpb25zX2Rpc2NyZXRlKHJlcHMsIGNvbWJfcmVzJGRhdGEsICd4X3BhcmVudCcsIG5hbWVzID0gYygnTm90IFBhcmVudCcsICdQYXJlbnQnKSwgYXR0cl9uYW1lID0gJ1BhcmVudCBzdGF0dXMnKQpwbG90X3Byb3BvcnRpb25zX2Rpc2NyZXRlKHJlcHMsIGNvbWJfcmVzJGRhdGEsICd4X21nJywgbmFtZXMgPSBjKCdHZW5yZSAxJywgJ0dlbnJlIDInKSwgYXR0cl9uYW1lID0gJ0dlbnJlJykKYGBgCgoKCiMgTW9kZWwgc2VsZWN0aW9uCiMjIE92ZXJ2aWV3Ck9uZSBvZiB0aGUgaW50ZXJlc3RpbmcgaXNzdWVzIHdpdGggYWR2ZXJ0aXNpbmcgYXR0cmlidXRpb24gaXMgdGhhdCB0aGVyZSBhcmUgbWFueSBjb21wZXRpbmcgbW9kZWxzIGZvciBob3cgdG8gYXNzaWduIGNyZWRpdCBmb3IgY29udmVyc2lvbnMgKGUuZy4gbGFzdCB0b3VjaCBhdHRyaWJ1dGlvbiwgZXF1YWwgd2VpZ2h0ZWQgYXR0cmlidXRpb24gZXRjKS4gT25lIG1ldGhvZCBpcyB0byBjb21wYXJlIG1vZGVsIHBlcmZvcm1hbmNlIG9uIHNvbWUgdW5zZWVuIHZhbGlkYXRpb24gc2V0IHRvIHNlZSB3aGljaCBtb2RlbCBwZXJmb3JtcyBiZXN0LCBhbmQgdGhlbiBhc3Nlc3NpbmcgdGhhdCBiZXN0IG1vZGVsIG9uIGFub3RoZXIgdW5zZWVuIHRlc3Qgc2V0IHRvIGdldCBhIHRydWUgdW5iaWFzZWQgZXN0aW1hdGUgb2YgYWN0dWFsIHBlcmZvcm1hbmNlLiBXaGlsZSB0aGlzIGlzIGdyZWF0IGZvciBsYXJnZSBkYXRhIHNldHMsIHdpdGggdGhlIGtpbmQgb2Ygc21hbGwtc2NhbGUgc3VydmV5IGRhdGEgd2UgaGF2ZSBoZXJlLCB0aGlzIGtpbmQgb2YgZGF0YSBzZWdtZW50YXRpb24gc2V2ZXJlbHkgbGltaXRzIHRoZSBhbW91bnQgb2YgdHJhaW5pbmcgZGF0YSB3ZSBoYXZlIGxlZnQuIEluIGFkZGl0aW9uLCB0aGUgc2l6ZSBvZiB0aGUgdmFsaWRhdGlvbiBzZXQgbWF5IGJlIHRvbyBzbWFsbCBsZWFkaW5nIHRvIGhpZ2ggdmFyaWFuY2UgaW4gcGVyZm9ybWFuY2UgYW5kIHVucmVsaWFibGUgZXN0aW1hdGVzIG9mIHdoaWNoIG1vZGVsIGFjdHVhbGx5IGhhcyB0aGUgYmVzdCBwZXJmb3JtYW5jZS4KCldlIGNhbiBhZGRyZXNzIHNvbWUgb2YgdGhlc2UgcHJvYmxlbXMgd2l0aCAkSyQtZm9sZCBjcm9zcy12YWxpZGF0aW9uLiBUaGlzIGlzIGEgdGVjaG5pcXVlIHRoYXQgcmFuZG9tbHkgc3Vic2V0cyB0aGUgdHJhaW5pbmcgZGF0YSBzZXQgaW50byAkSyQgcGFydHMuIFVzaW5nICRLJCBzZXBhcmF0ZSBmaXR0aW5ncyBvZiB0aGUgbW9kZWwsIGVhY2ggZml0dGluZyB1c2VzICRLLTEkIHBhcnRzIGFuZCBwZXJmb3JtYW5jZSBpcyBhc3Nlc3NlZCBvbiB0aGUgJDEkIGhlbGQtb3V0IHBhcnQuIFRoaXMgYWxsb3dzIGZvciBhIG1vcmUgZWNvbm9taWNhbCB1c2Ugb2YgbGltaXRlZCB0cmFpbmluZyBkYXRhLCBhbmQgc2hvdWxkIGFsc28gbG93ZXIgdGhlIHZhcmlhbmNlIGluIHBlcmZvcm1hbmNlIHRoYXQgbWlnaHQgYXJpc2UgZnJvbSB0cnlpbmcgdG8gYXNzZXNzIG9uIGEgc2luZ2xlIHZhbGlkYXRpb24gc2V0LgoKPGRpdiBzdHlsZT0idGV4dC1hbGlnbjpjZW50ZXI7IG1hcmdpbjoxMnB0IDA7Ij48aW1nIHNyYz0iaW1hZ2VzL2N2LnBuZyIgd2lkdGg9Ijc1JSIgaGVpZ2h0PSI3NSUiIC8+PC9kaXY+CgpXaXRoIGxpbWl0ZWQgZGF0YSB0aG91Z2gsIHNvbWV0aW1lcyBldmVuIHVzaW5nICRLLTEkIHBhcnRzIG9mIHRoZSB0cmFpbmluZyBkYXRhIHRvIGZpdCB0aGUgbW9kZWwgaXMgbm90IGVub3VnaCBpZiAkSyQgaXMgdG9vIHNtYWxsIHNpbmNlIHRoZSB2YXJpYW5jZSBjYW4gc3RpbGwgYmUgaGlnaDsgY2VydGFpbiBtb2RlbHMgbWlnaHQgYmUgc2lnbmlmaWNhbnRseSBhbHRlcmVkIGlmIGV2ZW4gYSBzbWFsbCBudW1iZXIgb2YgZGF0YSBwb2ludHMgYXJlIGxlZnQgb3V0IG9mIHRoZSBsaW1pdGVkIHRyYWluaW5nIGRhdGEgc2V0LltAdmVodGFyaTIwMTZwcmFjdGljYWwsIHBwLjctOF0gSXQgZm9sbG93cyB0aGVuLCB0aGF0IHBlcmhhcHMgd2UgbmVlZCAkTiQtZm9sZCBjcm9zcy12YWxpZGF0aW9uLCB3aGVyZSBlYWNoIHRpbWUgd2Ugb21pdCBvbmx5IGEgc2luZ2xlIGRhdGEgcG9pbnQgZnJvbSBiZWluZyB1c2VkIGZvciB0cmFpbmluZywgYW5kIHRoZW4gYXNzZXNzIG1vZGVsIHBlcmZvcm1hbmNlIG9uIHRoYXQgc2luZ2xlIGxlZnQtb3V0IGRhdGEgcG9pbnQuIFRoaXMgaXMgYWxzbyBrbm93biBhcyAiTGVhdmUgT25lIE91dCBDcm9zcyBWYWxpZGF0aW9uIiAoTE9PLUNWKS4gVGhpcyB0ZWNobmlxdWUgaXMgZ2VuZXJhbGx5IGNvbXB1dGF0aW9uYWxseSBleHBlbnNpdmUgc2luY2UgaXQgcmVxdWlyZXMgJE4kIG1vZGVsIGZpdHRpbmdzLCBidXQgaXQgbWF5IGJlIHBvc3NpYmxlIGZvciBjZXJ0YWluIG1vZGVscyB0aGF0IGNhbiBiZSBmaXQgcXVpY2tseS4KCkhvd2V2ZXIsIGZvciBtb3N0IEJheWVzaWFuIG1vZGVscyB0aGF0IHJlbHkgb24gTUNNQywgdGhpcyBpcyB0eXBpY2FsbHkgZ29pbmcgdG8gYmUgY29tcHV0YXRpb25hbGx5IGluZmVhc2libGUgZm9yIGFueXRoaW5nIGxhcmdlciB0aGFuIHRyaXZpYWxseSBzbWFsbCBkYXRhIHNldHMuIEZvcnR1bmF0ZWx5LCBhIG1ldGhvZCB3YXMgZGV2ZWxvcGVkIGNhbGxlZCBQU0lTLUxPTyB3aGljaCB1c2VzIFBhcmV0byBzbW9vdGhlZCBpbXBvcnRhbmNlIHNhbXBsaW5nIHRvIGFwcHJveGltYXRlIHRoZSBleHBlY3RlZCBsb2cgcG9pbnQtd2lzZSBwcmVkaWN0aXZlIGRlbnNpdHkgb2YgTE9PLUNWIGluIEJheWVzaWFuIG1vZGVscyB1c2luZyBvbmx5IGEgc2luZ2xlIG1vZGVsIGZpdHRpbmcuW0B2ZWh0YXJpMjAxNnByYWN0aWNhbF0KCiMjIEJheWVzaWFuIExlYXZlLU9uZS1PdXQgQ3Jvc3MtVmFsaWRhdGlvbiAoTE9PLUNWKQoKVGhlcmUgYXJlIGEgZmV3IHBvc3NpYmxlIG1vZGVscyB0byBjb21wYXJlIGJldHdlZW4sIHN1Y2ggYXMgcGFydGlhbCBwb29saW5nIHZlcnN1cyBubyBwb29saW5nLCBvciBkaWZmZXJlbnQgYWQgcGxhdGZvcm0gYXR0cmlidXRpb24gc2NoZW1lcy4gSGVyZSwgd2UgZm9jdXMgb24gY29tcGFyaW5nIGJldHdlZW4gTGFzdCBUb3VjaCBBdHRyaWJ1dGlvbiwgYW5kIEVxdWFsIFdlaWdodGVkIEF0dHJpYnV0aW9uIChib3RoIGFyZSBwYXJ0aWFsbHkgcG9vbGVkKS4gRmlyc3QsIGxldCdzIGZpdCBhbm90aGVyIG1vZGVsIHRvIHRoZSBzYW1lIGRhdGEgdXNpbmcgTGFzdCBUb3VjaCBBdHRyaWJ1dGlvbi4gVGhlIHVuZGVybHlpbmcgZGF0YSBpcyB0aGUgc2FtZSwgYnV0IG5vdyB0aGUgYWQgZXhwb3N1cmVzIGFyZSBhIG9uZS1ob3QgZW5jb2RpbmcgcmVwcmVzZW50aW5nIHRoZSBsYXN0IHBsYXRmb3JtIG9uIHdoaWNoIGFuIGFkIHdhcyBzZWVuLiBUaGUgbW9kZWwgaXMgYWxzbyB0aGUgc2FtZSBhcyBmb3IgRXF1YWwgV2VpZ2h0ZWQgQXR0cmlidXRpb24uCgpgYGB7ciwgbWVzc2FnZT1GQUxTRSwgd2FybmluZz1GQUxTRX0KY29tYl9yZXNfbHRhID0gY3JlYXRlX3N0YW5fbW9kZWwoJ3N0YW5jb25fZGF0YV9sdGEucmRhJywgJ3N0YW5jb25fbW9kZWwuc3RhbicsIHBhcnM9YygndGhldGEnLCAnbG9nX2xpaycpLCBpdGVyID0gNzUwKQpgYGAKCgpOb3cgdGhhdCB3ZSBoYXZlIHR3byBkaWZmZXJlbnQgbW9kZWxzLCB3ZSBjYW4gY29tcGFyZSBhbiBhcHByb3hpbWF0aW9uIG9mIHRoZWlyIExPTy1DViBwZXJmb3JtYW5jZSBieSB1c2luZyBQU0lTLUxPTyB0aHJvdWdoIHRoZSBgbG9vYCBwYWNrYWdlLiBVc2luZyB0aGUgYGxvb2AgbGlicmFyeSBtYWtlcyBpdCBzdHJhaWdodC1mb3J3YXJkIHRvIHVzZSB0aGlzIGluIHByYWN0aWNlLCB0aG91Z2ggaXQgcmVxdWlyZXMgdGhlIGxvZy1saWtlbGlob29kIG1hdHJpeCB3aGljaCBjb250YWlucyB0aGUgcG9pbnQtd2lzZSBsb2ctbGlrZWxpaG9vZCBvZiBhbGwgZGF0YSBwb2ludHMgYWNyb3NzIGFsbCBNQ01DIHNhbXBsZXMuIFRoaXMgcmVxdWlyZXMgZXhwbGljaXQgc3BlY2lmaWNhdGlvbiBvZiAkcCh5X2kgfCBcdGhldGFecykkIGluIHRoZSBTdGFuIG1vZGVsIGZvciBlYWNoIGRhdGEgcG9pbnQuIFRoZSBsb2ctbGlrZWxpaG9vZCBtYXRyaXggY2FuIGJlIGltcGxlbWVudGVkIGluIFN0YW4gaW4gdGhlIGBnZW5lcmF0ZWQgcXVhbnRpdGllc2AgYmxvY2sgd2hpY2ggaXMgZXZhbHVhdGVkIGFmdGVyIGVhY2ggc2FtcGxlLgoKCmBgYHtyfQpsaWJyYXJ5KGxvbykgICMgTm90ZWJvb2sgcnVuIHdpdGggdmVyc2lvbiAwLjEuNgoKbG9vX2x0YSA9IGxvbyggY29tYl9yZXNfbHRhW1sncGFyYW1fbG9nX2xpayddXSRsb2dfbGlrICkKbG9vX2V3YSA9IGxvbyggY29tYl9yZXNbWydwYXJhbV9sb2dfbGlrJ11dJGxvZ19saWsgKQpjb21wYXJlX2x0YV9ld2EgPSBjb21wYXJlKCBsb29fbHRhLCBsb29fZXdhICkKYGBgCgpgYGB7ciwgZWNobz1GQUxTRSwgbWVzc2FnZT1GQUxTRSwgd2FybmluZz1GQUxTRX0KIyBQbG90IHRoZSBlbHBkX2xvbyB2YWx1ZXMgZm9yIExUQSBhbmQgRVdBCmRmID0gZGF0YS5mcmFtZSggZWxwZCA9IHJvdW5kKCBjKGxvb19sdGEkZWxwZF9sb28sIGxvb19ld2EkZWxwZF9sb28pLCAyKSwgZWxwZF9zZSA9IHJvdW5kKCBjKGxvb19sdGEkc2VfZWxwZF9sb28sIGxvb19ld2Ekc2VfZWxwZF9sb28pLCAyKSwgbW9kZWwgPSBjKCdMYXN0IFRvdWNoJywgJ0VxdWFsIFdlaWdodGVkJykgKQpkZgpnZ3Bsb3QoZGYsIGFlcyh4ID0gbW9kZWwsIHkgPSBlbHBkKSkgKwogIGdlb21fYmFyKHN0YXQgPSAnaWRlbnRpdHknLCB3aWR0aCA9IDAuOSkgKwogIGdlb21fZXJyb3JiYXIoIGFlcyh5bWluID0gZWxwZCAtIGVscGRfc2UsIHltYXggPSBlbHBkICsgZWxwZF9zZSksIHdpZHRoID0gMC41ICkgKwogIHRoZW1lX21pbmltYWwoKSArCiAgbGFicyh0aXRsZSA9ICdFTFBEIE1vZGVsIFBlcmZvcm1hbmNlJywgc3VidGl0bGU9J1VzaW5nIFBTSVMtTE9PIHRvIGFwcHJveGltYXRlIHByZWRpY3RpdmUgcGVyZm9ybWFuY2UnLCB4ID0gJ01vZGVsJywgeSA9ICdFTFBEIChIaWdoZXIgaXMgYmV0dGVyKScpCgpgYGAKClRoZXJlIGlzIG5vIHN0cmFpZ2h0LWZvcndhcmQgaW50ZXJwcmV0YXRpb24gb2YgdGhlIGV4cGVjdGVkIGxvZyBwcmVkaWN0aXZlIGRlbnNpdHkgdmFsdWUgKEVMUEQpLCBidXQgdGhlIHJlbGF0aXZlIHZhbHVlcyBjYW4gYmUgdXNlZCB0byBjb21wYXJlIG1vZGVscyBhY3Jvc3MgdGhlIHNhbWUgZGF0YSBzZXQuIFRoZSBoaWdoZXIgdGhlIGBlbHBkX2xvb2AgdmFsdWUgKG9yIGxvd2VyIHRoZSBgbG9vaWNgIHZhbHVlKSwgdGhlIGJldHRlciB0aGUgYXBwcm94aW1hdGUgcHJlZGljdGl2ZSBwZXJmb3JtYW5jZSBvZiB0aGUgbW9kZWwgb24gdW5zZWVuIGRhdGEuIEl0IGFwcGVhcnMgRXF1YWwgV2VpZ2h0ZWQgQXR0cmlidXRpb24gaXMgc2lnbmlmaWNhbnRseSBiZXR0ZXIgdGhhbiBMYXN0IFRvdWNoIEF0dHJpYnV0aW9uIG9uIHRoaXMgbWV0cmljLiBXZSBjYW4gZ2V0IGEgYmV0dGVyIGVzdGltYXRlIGZvciB0aGUgc2lnbmlmaWNhbmNlIG9mIHRoZSBFTFBEIGRpZmZlcmVuY2UgYmV0d2VlbiB0d28gbW9kZWxzIGJ5IHVzaW5nIHRoZSBgbG9vYCBsaWJyYXJ5IGZ1bmN0aW9uLCBgY29tcGFyZWA7IHdoZW4gcHJvdmlkZWQgd2l0aCB0aGUgbG9nLWxpa2VsaWhvb2QgbWF0cml4IGZvciB0d28gbW9kZWxzIGZpdHRlZCBvbiB0aGUgc2FtZSBkYXRhIHNldCwgdGhpcyBmdW5jdGlvbiBjYWxjdWxhdGVzIHRoZSBzdGFuZGFyZCBlcnJvciBvZiB0aGUgRUxQRCBkaWZmZXJlbmNlIG92ZXIgdGhlIHBhaXJlZCBkYXRhIHBvaW50cyB0byB5aWVsZCBhIGJldHRlciBzdGFuZGFyZCBlcnJvciBlc3RpbWF0ZS4KCmBgYHtyLCBlY2hvPUZBTFNFLCBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFfQojIFBsb3QgdGhlIGNvbXBhcmlzb24gZmlndXJlcwpkZiA9IGRhdGEuZnJhbWUoIGVscGRfZGlmZiA9IHJvdW5kKGNvbXBhcmVfbHRhX2V3YVsnZWxwZF9kaWZmJ10sIDIpLCBzZSA9IHJvdW5kKGNvbXBhcmVfbHRhX2V3YVsnc2UnXSwyKSwgY29tcGFyaXNvbiA9ICdMVEEgdnMgRVdBJywgcm93Lm5hbWVzID0gTlVMTCApCmRmCmdncGxvdChkZiwgYWVzKHggPSBjb21wYXJpc29uLCB5ID0gZWxwZF9kaWZmKSkgKwogIGdlb21fYmFyKHN0YXQgPSAnaWRlbnRpdHknLCB3aWR0aCA9IDAuNSkgKwogIGdlb21fZXJyb3JiYXIoIGFlcyh5bWluID0gZWxwZF9kaWZmIC0gc2UsIHltYXggPSBlbHBkX2RpZmYgKyBzZSksIHdpZHRoID0gMC4yNSApICsKICB0aGVtZV9taW5pbWFsKCkgKwogIGxhYnModGl0bGUgPSAnRUxQRCBQYWlyLXdpc2UgTW9kZWwgQ29tcGFyaXNvbicsIHN1YnRpdGxlPSdVc2luZyBQU0lTLUxPTyB0byBhcHByb3hpbWF0ZSBwcmVkaWN0aXZlIHBlcmZvcm1hbmNlICgybmQgbW9kZWwgaXMgYmV0dGVyIGZvciBwb3NpdGl2ZSBkaWZmZXJlbmNlcyknLCB4ID0gJ01vZGVsIENvbXBhcmlzb24nLCB5ID0gJ0VMUEQgRGlmZmVyZW5jZScpCmBgYAoKVGhlIHJlc3VsdHMgc2hvdyB0aGF0IHVzaW5nIEVxdWFsIFdlaWdodGVkIEF0dHJpYnV0aW9uIGlzIGV4cGVjdGVkIHRvIHBlcmZvcm0gYmV0dGVyIG9uIHVuc2VlbiBkYXRhIGFjY29yZGluZyB0byB0aGlzIGFwcHJveGltYXRpb24sIHNpbmNlIHRoZSBgZWxwZF9kaWZmYCBpcyBzaWduaWZpY2FudGx5IHBvc2l0aXZlIG1lYW5pbmcgdGhlIHNlY29uZCBhcmd1bWVudCB0byBgY29tcGFyZWAgaGFzIGJldHRlciBleHBlY3RlZCBwcmVkaWN0aXZlIHBlcmZvcm1hbmNlLiBPZiBjb3Vyc2UsIHRoaXMgaXMgb25seSBhIHNpbmdsZSBtZWFzdXJlLCBhbmQgcHJlZGljdGl2ZSBwZXJmb3JtYW5jZSBpcyBvbmx5IG9uZSBhc3BlY3QgdG8gY29uc2lkZXIgd2hlbiBtYWtpbmcgbW9kZWwgc2VsZWN0aW9uIGRlY2lzaW9ucy4KCiMgQ29uY2x1c2lvbgpXZSBwcmVzZW50IGEgQmF5ZXNpYW4gbWV0aG9kIGZvciBpbmZlcnJpbmcgYWR2ZXJ0aXNpbmcgcGxhdGZvcm0gZWZmZWN0aXZlbmVzcyBhcyBhcHBsaWVkIHRvIHRoZSBtb3ZpZSBpbmR1c3RyeSwgYW5kIHNob3cgc29tZSBwb3NzaWJpbGl0aWVzIGZvciBkcmF3aW5nIGluZmVyZW5jZXMgYnkgYW5hbHl6aW5nIG1vZGVsIHBhcmFtZXRlcnMgYXQgZGlmZmVyZW50IGxldmVscyBvZiB0aGUgaGllcmFyY2h5LiBJbiBhZGRpdGlvbiwgd2Ugc2hvdyBzb21lIGNvbW1vbiB3YXlzIHRvIGNoZWNrIG1vZGVsIGVmZmljYWN5LCBhbmQgcG9zc2liaWxpdGllcyBmb3IgY29tcGFyaW5nIGJldHdlZW4gZGlmZmVyZW50IG1vZGVscy4KCiMgQWNrbm93bGVkZ21lbnRzClRoZSBhdXRob3JzIHdvdWxkIGxpa2UgdG8gYWNrbm93bGVkZ2UgdGhlIHdvcmsgb2YgSm9zZXBoIFNjaGVub3NreSBhbmQgS2l0dHkgQ2hldW5nLCB3aG8gd2VyZSBpbnZvbHZlZCB3aXRoIGVsZW1lbnRzIG9mIHRoZSBzdXJ2ZXkgZGVzaWduIGFuZCBleGVjdXRpb24uCgojIExpY2Vuc2UKQlNEICgzIGNsYXVzZSkgKGNvZGUpLCBDQyBCWSA0LjAgKHRleHQpLCBDQyBCWS1OQyA0LjAgKGRhdGEpCgojIFJlZmVyZW5jZXM=