Traditional methods

frame <- readRDS(file.path(DATADIR, "frame.RDS"))
## Sort
oo <- sample(1:nrow(frame), replace=FALSE)
frame <- frame[oo, ]

ws <- readRDS(file.path(DATADIR, "weighted-sample.RDS"))
svysrs <- svydesign(id= ~1, weights= ~1, data=ws)

Poststratification

In the previous session we saw the concept of stratification as a way introducing some information into our design to ensure that some groups (strata) are represented in a given way. Poststratification follows the same idea but, as the name says, it is an adjustment that we make after the sample is collected. It is best thought of as a way of benchmarking our survey against known quantities from the population.

Let’s apply this idea to our sample with nonresponse. Remember that we have information in the frame about the gender and age of individuals. Think of these as our strata.

gender_age <- data.frame(prop.table(table(frame$gender,
                                          frame$fage)))
names(gender_age)[c(1, 2)] <- c("gender", "fage")
gender_age$Freq <- gender_age$Freq * nrow(srs)

What the gender_age object tells us is the proportion of cases in each cell that we have in the population. If we want to make the proportion of cases in each cell in our sample match that of the population we can divide one over the other and use that as a correction factor. With our data declared as a design object we can use the postStratify function. Notice that we declare the strata using a formula interface and we pass as population a data.frame with the expected counts in the population.

svyps <- postStratify(svysrs,
                      strata=~ gender * fage,
                      population=gender_age)

We can now retrieve the weights from the new object:

head(weights(svyps))

And compare the calculations that we would obtain from the poststratified sample and the raw sample.

svymean(~ gender, svyps)
svymean(~ gender, svysrs)

More importantly, we can see that not only the marginals match, the cross-breaks also match!

svymean(~ interaction(gender, fage), svyps)
svymean(~ interaction(gender, fage), svysrs)
prop.table(table(frame$gender, frame$fage))

Well, at least for the variables that we poststratified on:

svymean(~ feduc, svyps)
prop.table(table(frame$feduc))

Raking

Poststratification presents one main limitation. Mainly, the assumption that we know the cross-breaks for the same variables in the population. Sometimes, we only have partial information. Maybe we know the marginal distribution of one variable (say, the proportion of men and women) and the marginal distribution of another variable (say, the proportion of people by age group) but not the joint distribution (how many men and women belong to each age group). This type of situation often appears when we have several variables that we want to benchmark. For those cases, we can use a different strategy.

Imagine that in the previous example we have access to the joint distribution of age and gender, but we only have the marginal distribution of education.

educ <- data.frame(prop.table(table(frame$feduc)))
names(educ)[1] <- "feduc"
educ$Freq <- educ$Freq * nrow(srs)

The function rake is very similar to postStratify: we pass the sample margins and the population margins and it returns back a design object that incorporates weights.

svyrake <- rake(svysrs,
                sample.margins=list(~ gender * fage, ~ feduc),
                population.margins=list(gender_age, educ))

We can look again at the weights

head(ww <- weights(svyrake))

but something to notice is that, because the unbalance in education was relatively large, we have now a fairly askew distribution of weights:

quantile(ww)

What does that mean for us? To avoid that some individual units have too much influence on the estimation we can trim the weights:

svyrake <- trimWeights(svyrake, upper=5, lower=0)

We can now check the new estimates

svymean(~ gender, svyrake)
svymean(~ gender, svyps)
prop.table(table(frame$gender))

Calibration

What to do with continuous variables? One option is to use a GREG estimator that generalizes both poststratification and raking and uses an approach similar to a linear model. Calibration is a very flexible approach but the basic idea is similar to what we have seen.

pop_totals <- c(`(Intercept)`=nrow(frame),
                `log(age)`=sum(log(frame$age)),
                `gendermale`=sum(frame$gender == "male"))

svycal <- calibrate(svysrs,
                    formula=~ log(age) + gender,
                    population=pop_totals)

We can now compare some of the estimates:

svymean(~ log(age) + gender, svycal)
svymean(~ log(age) + gender, svyps)
svymean(~ log(age) + gender, svysrs)

Methods from the causal inference literature

The methods that we discussed above take the view that the sample was extracted from a population and that maybe there are some remaining unbalances that need to be addressed. These unbalances can be fixed by benchmarking the sample against known population statistics and so the only question is about the type of information that is available to the analyst. More recently, the literature has taken a different approach, borrowing from the causal inference literature. There are two main methods in this literature. One tries to address the problem of selection into the sample by estimating the inclusion probabilities, i.e., by creating propensity scores that can then be used as weights. The other approach, the “superpopulation” approach is far less common.

Pseudo-inclusion probabilities

The method of pseudo-inclusion probabilities is simple. All we need to do is estimate, for each individual, the probability with which it was selected into the sample. Of course, this is more easily said than done. In our case, we do have a reasonable pseudo-frame for the sample so the first thing we will do is assign a treatment arm to frame and sample. Here, we will take the sample as the treatment group.

ws$y <- 1
frame$y <- 0
## To reduce computation time
N <- 250000
frame <- frame[1:N, ]
combined <- plyr:::rbind.fill(ws, frame)

The next step is to estimate the model that assigns cases from the frame to the sample. The process here is identical to that of propensity score matching, for instance and consists on identifying a model that produces a reasonable balance between covariates in the sample relative to the frame (Why?). Back in the day, one would try many different specifications of a choice model but it is more common now to rely on machine learning models. For instance, it is common to use tree-based models because they also have the advantage of creating weighting cells if we need them.

library(partykit)
mod <- ctree(y ~ gender + age + feduc + foccup,
             data=combined,
             control = ctree_control(mincriterion=0.005,
                                     minsplit=0,
                                     minbucket=0))

Is this a good model? What would be a good way of testing whether we should keep searching?

Let’s assume for now that the model is what we want. The remaining steps consist on estimating the predicted probabilities for each case in the sample and treat them as weights.

phat <- predict(mod, newdata=ws)
weights <- 1/phat
weights <- weights/mean(weights) ## Too large

We can now use those weights and check whether the distribution of a known variable has improved relative to our benchmark.

prop.table(xtabs(weights ~ fage, data=ws))
prop.table(xtabs(        ~ fage, data=ws))
prop.table(xtabs(        ~ fage, data=frame))

Calibration using matching

If the goal is to create weights such that some covariates are balanced between treatment and control, we can take the inverse approach—rather than starting with a model to find the weights, we can just think of it as an optimization problem and find those weights directly. If we come at it from that point of view, the problem is very similar to that of covariate matching. There are many different methods to perform matching and there is no clear reason to prefer one over the other.

One possibility is to use an entropy-based approach.

library(WeightIt)

## ATC is important
out <- weightit(y ~ gender + fage + feduc + foccup, data=combined,
                method="ebal",
                estimand="ATC")
summary(out)

At this point we probably want to perform the same sanity checks as in the pseudo-inclusion approach, to make sure that the model balances correctly on the covariates that we are interested in.

Whenever we are satisfied with the approach, we can then follow the same strategy as before:

ww <- out$weights[combined$y == 1]
ww <- ww/mean(ww)

prop.table(xtabs(ww ~ fage, data=ws))
prop.table(xtabs(       ~ fage, data=frame))
prop.table(xtabs(       ~ fage, data=ws))

However, it is important to keep in mind that matching is still a sort of model and that, therefore, it will only fix the issues that we tell it to fix.

## But careful!
prop.table(xtabs(ww ~ fage + feduc, data=ws))
prop.table(xtabs(   ~ fage + feduc, data=frame)) 
LS0tIAp0aXRsZTogIldlaWdodGluZyIKZGF0ZTogImByIGZvcm1hdChTeXMudGltZSgpLCAnJUIgJWQsICVZJylgIiAKLS0tCgpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRSwgY2FjaGU9RkFMU0V9CmxpYnJhcnkoc3VydmV5KQprbml0cjo6b3B0c19jaHVuayRzZXQoZXZhbCA9IEZBTFNFKQprbml0cjo6b3B0c19jaHVuayRzZXQoZmlnLnBhdGggPSAnLi9hc3NldHMvJykKREFUQURJUiA8LSAiLi8uLi9kdGEiCmBgYAoKIyBUcmFkaXRpb25hbCBtZXRob2RzCgpgYGB7cn0KZnJhbWUgPC0gcmVhZFJEUyhmaWxlLnBhdGgoREFUQURJUiwgImZyYW1lLlJEUyIpKQojIyBTb3J0Cm9vIDwtIHNhbXBsZSgxOm5yb3coZnJhbWUpLCByZXBsYWNlPUZBTFNFKQpmcmFtZSA8LSBmcmFtZVtvbywgXQoKd3MgPC0gcmVhZFJEUyhmaWxlLnBhdGgoREFUQURJUiwgIndlaWdodGVkLXNhbXBsZS5SRFMiKSkKc3Z5c3JzIDwtIHN2eWRlc2lnbihpZD0gfjEsIHdlaWdodHM9IH4xLCBkYXRhPXdzKQpgYGAKCiMjIFBvc3RzdHJhdGlmaWNhdGlvbgoKSW4gdGhlIHByZXZpb3VzIHNlc3Npb24gd2Ugc2F3IHRoZSBjb25jZXB0IG9mIHN0cmF0aWZpY2F0aW9uIGFzIGEgd2F5CmludHJvZHVjaW5nIHNvbWUgaW5mb3JtYXRpb24gaW50byBvdXIgZGVzaWduIHRvIGVuc3VyZSB0aGF0IHNvbWUKZ3JvdXBzIChzdHJhdGEpIGFyZSByZXByZXNlbnRlZCBpbiBhIGdpdmVuIHdheS4gUG9zdHN0cmF0aWZpY2F0aW9uCmZvbGxvd3MgdGhlIHNhbWUgaWRlYSBidXQsIGFzIHRoZSBuYW1lIHNheXMsIGl0IGlzIGFuIGFkanVzdG1lbnQgdGhhdAp3ZSBtYWtlIGFmdGVyIHRoZSBzYW1wbGUgaXMgY29sbGVjdGVkLiBJdCBpcyBiZXN0IHRob3VnaHQgb2YgYXMgYSB3YXkKb2YgYmVuY2htYXJraW5nIG91ciBzdXJ2ZXkgYWdhaW5zdCBrbm93biBxdWFudGl0aWVzIGZyb20gdGhlCnBvcHVsYXRpb24uCgpMZXQncyBhcHBseSB0aGlzIGlkZWEgdG8gb3VyIHNhbXBsZSB3aXRoIG5vbnJlc3BvbnNlLiBSZW1lbWJlciB0aGF0IHdlCmhhdmUgaW5mb3JtYXRpb24gaW4gdGhlIGZyYW1lIGFib3V0IHRoZSBnZW5kZXIgYW5kIGFnZSBvZiBpbmRpdmlkdWFscy4KVGhpbmsgb2YgdGhlc2UgYXMgb3VyIHN0cmF0YS4KCmBgYHtyfQpnZW5kZXJfYWdlIDwtIGRhdGEuZnJhbWUocHJvcC50YWJsZSh0YWJsZShmcmFtZSRnZW5kZXIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZyYW1lJGZhZ2UpKSkKbmFtZXMoZ2VuZGVyX2FnZSlbYygxLCAyKV0gPC0gYygiZ2VuZGVyIiwgImZhZ2UiKQpnZW5kZXJfYWdlJEZyZXEgPC0gZ2VuZGVyX2FnZSRGcmVxICogbnJvdyhzcnMpCmBgYAoKV2hhdCB0aGUgYGdlbmRlcl9hZ2VgIG9iamVjdCB0ZWxscyB1cyBpcyB0aGUgcHJvcG9ydGlvbiBvZiBjYXNlcyBpbgplYWNoIGNlbGwgdGhhdCB3ZSBoYXZlIGluIHRoZSBwb3B1bGF0aW9uLiBJZiB3ZSB3YW50IHRvIG1ha2UgdGhlCnByb3BvcnRpb24gb2YgY2FzZXMgaW4gZWFjaCBjZWxsIGluIG91ciBzYW1wbGUgbWF0Y2ggdGhhdCBvZiB0aGUKcG9wdWxhdGlvbiB3ZSBjYW4gZGl2aWRlIG9uZSBvdmVyIHRoZSBvdGhlciBhbmQgdXNlIHRoYXQgYXMgYQpjb3JyZWN0aW9uIGZhY3Rvci4gV2l0aCBvdXIgZGF0YSBkZWNsYXJlZCBhcyBhIGRlc2lnbiBvYmplY3Qgd2UgY2FuCnVzZSB0aGUgYHBvc3RTdHJhdGlmeWAgZnVuY3Rpb24uIE5vdGljZSB0aGF0IHdlIGRlY2xhcmUgdGhlIGBzdHJhdGFgCnVzaW5nIGEgZm9ybXVsYSBpbnRlcmZhY2UgYW5kIHdlIHBhc3MgYXMgYHBvcHVsYXRpb25gIGEgYGRhdGEuZnJhbWVgCndpdGggdGhlIGV4cGVjdGVkIGNvdW50cyBpbiB0aGUgcG9wdWxhdGlvbi4KCmBgYHtyfQpzdnlwcyA8LSBwb3N0U3RyYXRpZnkoc3Z5c3JzLAogICAgICAgICAgICAgICAgICAgICAgc3RyYXRhPX4gZ2VuZGVyICogZmFnZSwKICAgICAgICAgICAgICAgICAgICAgIHBvcHVsYXRpb249Z2VuZGVyX2FnZSkKYGBgCgpXZSBjYW4gbm93IHJldHJpZXZlIHRoZSB3ZWlnaHRzIGZyb20gdGhlIG5ldyBvYmplY3Q6CgpgYGB7cn0KaGVhZCh3ZWlnaHRzKHN2eXBzKSkKYGBgCgpBbmQgY29tcGFyZSB0aGUgY2FsY3VsYXRpb25zIHRoYXQgd2Ugd291bGQgb2J0YWluIGZyb20gdGhlCnBvc3RzdHJhdGlmaWVkIHNhbXBsZSBhbmQgdGhlIHJhdyBzYW1wbGUuIAoKYGBge3J9CnN2eW1lYW4ofiBnZW5kZXIsIHN2eXBzKQpzdnltZWFuKH4gZ2VuZGVyLCBzdnlzcnMpCmBgYAoKTW9yZSBpbXBvcnRhbnRseSwgd2UgY2FuIHNlZSB0aGF0IG5vdCBvbmx5IHRoZSBtYXJnaW5hbHMgbWF0Y2gsIHRoZQpjcm9zcy1icmVha3MgYWxzbyBtYXRjaCEKCmBgYHtyfQpzdnltZWFuKH4gaW50ZXJhY3Rpb24oZ2VuZGVyLCBmYWdlKSwgc3Z5cHMpCnN2eW1lYW4ofiBpbnRlcmFjdGlvbihnZW5kZXIsIGZhZ2UpLCBzdnlzcnMpCnByb3AudGFibGUodGFibGUoZnJhbWUkZ2VuZGVyLCBmcmFtZSRmYWdlKSkKYGBgCgpXZWxsLCBhdCBsZWFzdCBmb3IgdGhlIHZhcmlhYmxlcyB0aGF0IHdlIHBvc3RzdHJhdGlmaWVkIG9uOgoKYGBge3J9CnN2eW1lYW4ofiBmZWR1Yywgc3Z5cHMpCnByb3AudGFibGUodGFibGUoZnJhbWUkZmVkdWMpKQpgYGAKCiMjIFJha2luZwoKUG9zdHN0cmF0aWZpY2F0aW9uIHByZXNlbnRzIG9uZSBtYWluIGxpbWl0YXRpb24uIE1haW5seSwgdGhlCmFzc3VtcHRpb24gdGhhdCB3ZSBrbm93IHRoZSBjcm9zcy1icmVha3MgZm9yIHRoZSBzYW1lIHZhcmlhYmxlcyBpbiB0aGUKcG9wdWxhdGlvbi4gU29tZXRpbWVzLCB3ZSBvbmx5IGhhdmUgcGFydGlhbCBpbmZvcm1hdGlvbi4gTWF5YmUgd2Uga25vdwp0aGUgbWFyZ2luYWwgZGlzdHJpYnV0aW9uIG9mIG9uZSB2YXJpYWJsZSAoc2F5LCB0aGUgcHJvcG9ydGlvbiBvZiBtZW4KYW5kIHdvbWVuKSBhbmQgdGhlIG1hcmdpbmFsIGRpc3RyaWJ1dGlvbiBvZiBhbm90aGVyIHZhcmlhYmxlIChzYXksIHRoZQpwcm9wb3J0aW9uIG9mIHBlb3BsZSBieSBhZ2UgZ3JvdXApIGJ1dCBub3QgdGhlIGpvaW50IGRpc3RyaWJ1dGlvbiAoaG93Cm1hbnkgbWVuIGFuZCB3b21lbiBiZWxvbmcgdG8gZWFjaCBhZ2UgZ3JvdXApLiBUaGlzIHR5cGUgb2Ygc2l0dWF0aW9uCm9mdGVuIGFwcGVhcnMgd2hlbiB3ZSBoYXZlIHNldmVyYWwgdmFyaWFibGVzIHRoYXQgd2Ugd2FudCB0bwpiZW5jaG1hcmsuIEZvciB0aG9zZSBjYXNlcywgd2UgY2FuIHVzZSBhIGRpZmZlcmVudCBzdHJhdGVneS4gCgpJbWFnaW5lIHRoYXQgaW4gdGhlIHByZXZpb3VzIGV4YW1wbGUgd2UgaGF2ZSBhY2Nlc3MgdG8gdGhlIGpvaW50CmRpc3RyaWJ1dGlvbiBvZiBhZ2UgYW5kIGdlbmRlciwgYnV0IHdlIG9ubHkgaGF2ZSB0aGUgbWFyZ2luYWwKZGlzdHJpYnV0aW9uIG9mIGVkdWNhdGlvbi4gCgpgYGB7cn0KZWR1YyA8LSBkYXRhLmZyYW1lKHByb3AudGFibGUodGFibGUoZnJhbWUkZmVkdWMpKSkKbmFtZXMoZWR1YylbMV0gPC0gImZlZHVjIgplZHVjJEZyZXEgPC0gZWR1YyRGcmVxICogbnJvdyhzcnMpCmBgYAoKVGhlIGZ1bmN0aW9uIGByYWtlYCBpcyB2ZXJ5IHNpbWlsYXIgdG8gYHBvc3RTdHJhdGlmeWA6IHdlIHBhc3MgdGhlCnNhbXBsZSBtYXJnaW5zIGFuZCB0aGUgcG9wdWxhdGlvbiBtYXJnaW5zIGFuZCBpdCByZXR1cm5zIGJhY2sgYSBkZXNpZ24Kb2JqZWN0IHRoYXQgaW5jb3Jwb3JhdGVzIHdlaWdodHMuIAoKYGBge3J9CnN2eXJha2UgPC0gcmFrZShzdnlzcnMsCiAgICAgICAgICAgICAgICBzYW1wbGUubWFyZ2lucz1saXN0KH4gZ2VuZGVyICogZmFnZSwgfiBmZWR1YyksCiAgICAgICAgICAgICAgICBwb3B1bGF0aW9uLm1hcmdpbnM9bGlzdChnZW5kZXJfYWdlLCBlZHVjKSkKYGBgCgpXZSBjYW4gbG9vayBhZ2FpbiBhdCB0aGUgd2VpZ2h0cwoKYGBge3J9CmhlYWQod3cgPC0gd2VpZ2h0cyhzdnlyYWtlKSkKYGBgCgpidXQgc29tZXRoaW5nIHRvIG5vdGljZSBpcyB0aGF0LCBiZWNhdXNlIHRoZSB1bmJhbGFuY2UgaW4gZWR1Y2F0aW9uCndhcyByZWxhdGl2ZWx5IGxhcmdlLCB3ZSBoYXZlIG5vdyBhIGZhaXJseSBhc2tldyBkaXN0cmlidXRpb24gb2YKd2VpZ2h0czoKCmBgYHtyfQpxdWFudGlsZSh3dykKYGBgCgpXaGF0IGRvZXMgdGhhdCBtZWFuIGZvciB1cz8gVG8gYXZvaWQgdGhhdCBzb21lIGluZGl2aWR1YWwgdW5pdHMgaGF2ZQp0b28gbXVjaCBpbmZsdWVuY2Ugb24gdGhlIGVzdGltYXRpb24gd2UgY2FuIHRyaW0gdGhlIHdlaWdodHM6CgpgYGB7cn0Kc3Z5cmFrZSA8LSB0cmltV2VpZ2h0cyhzdnlyYWtlLCB1cHBlcj01LCBsb3dlcj0wKQpgYGAKCldlIGNhbiBub3cgY2hlY2sgdGhlIG5ldyBlc3RpbWF0ZXMKCmBgYHtyfSAKc3Z5bWVhbih+IGdlbmRlciwgc3Z5cmFrZSkKc3Z5bWVhbih+IGdlbmRlciwgc3Z5cHMpCnByb3AudGFibGUodGFibGUoZnJhbWUkZ2VuZGVyKSkKYGBgCgojIyBDYWxpYnJhdGlvbgoKV2hhdCB0byBkbyB3aXRoIGNvbnRpbnVvdXMgdmFyaWFibGVzPyBPbmUgb3B0aW9uIGlzIHRvIHVzZSBhIEdSRUcKZXN0aW1hdG9yIHRoYXQgZ2VuZXJhbGl6ZXMgYm90aCBwb3N0c3RyYXRpZmljYXRpb24gYW5kIHJha2luZyBhbmQgdXNlcwphbiBhcHByb2FjaCBzaW1pbGFyIHRvIGEgbGluZWFyIG1vZGVsLiBDYWxpYnJhdGlvbiBpcyBhIHZlcnkgZmxleGlibGUKYXBwcm9hY2ggYnV0IHRoZSBiYXNpYyBpZGVhIGlzIHNpbWlsYXIgdG8gd2hhdCB3ZSBoYXZlIHNlZW4uIAoKYGBge3J9CnBvcF90b3RhbHMgPC0gYyhgKEludGVyY2VwdClgPW5yb3coZnJhbWUpLAogICAgICAgICAgICAgICAgYGxvZyhhZ2UpYD1zdW0obG9nKGZyYW1lJGFnZSkpLAogICAgICAgICAgICAgICAgYGdlbmRlcm1hbGVgPXN1bShmcmFtZSRnZW5kZXIgPT0gIm1hbGUiKSkKCnN2eWNhbCA8LSBjYWxpYnJhdGUoc3Z5c3JzLAogICAgICAgICAgICAgICAgICAgIGZvcm11bGE9fiBsb2coYWdlKSArIGdlbmRlciwKICAgICAgICAgICAgICAgICAgICBwb3B1bGF0aW9uPXBvcF90b3RhbHMpCmBgYAoKV2UgY2FuIG5vdyBjb21wYXJlIHNvbWUgb2YgdGhlIGVzdGltYXRlczoKCmBgYHtyfQpzdnltZWFuKH4gbG9nKGFnZSkgKyBnZW5kZXIsIHN2eWNhbCkKc3Z5bWVhbih+IGxvZyhhZ2UpICsgZ2VuZGVyLCBzdnlwcykKc3Z5bWVhbih+IGxvZyhhZ2UpICsgZ2VuZGVyLCBzdnlzcnMpCmBgYAoKIyBNZXRob2RzIGZyb20gdGhlIGNhdXNhbCBpbmZlcmVuY2UgbGl0ZXJhdHVyZQoKVGhlIG1ldGhvZHMgdGhhdCB3ZSBkaXNjdXNzZWQgYWJvdmUgdGFrZSB0aGUgdmlldyB0aGF0IHRoZSBzYW1wbGUgd2FzCmV4dHJhY3RlZCBmcm9tIGEgcG9wdWxhdGlvbiBhbmQgdGhhdCBtYXliZSB0aGVyZSBhcmUgc29tZSByZW1haW5pbmcKdW5iYWxhbmNlcyB0aGF0IG5lZWQgdG8gYmUgYWRkcmVzc2VkLiBUaGVzZSB1bmJhbGFuY2VzIGNhbiBiZSBmaXhlZCBieQpiZW5jaG1hcmtpbmcgdGhlIHNhbXBsZSBhZ2FpbnN0IGtub3duIHBvcHVsYXRpb24gc3RhdGlzdGljcyBhbmQgc28gdGhlCm9ubHkgcXVlc3Rpb24gaXMgYWJvdXQgdGhlIHR5cGUgb2YgaW5mb3JtYXRpb24gdGhhdCBpcyBhdmFpbGFibGUgdG8KdGhlIGFuYWx5c3QuIE1vcmUgcmVjZW50bHksIHRoZSBsaXRlcmF0dXJlIGhhcyB0YWtlbiBhIGRpZmZlcmVudAphcHByb2FjaCwgYm9ycm93aW5nIGZyb20gdGhlIGNhdXNhbCBpbmZlcmVuY2UgbGl0ZXJhdHVyZS4gVGhlcmUgYXJlCnR3byBtYWluIG1ldGhvZHMgaW4gdGhpcyBsaXRlcmF0dXJlLiBPbmUgdHJpZXMgdG8gYWRkcmVzcyB0aGUgcHJvYmxlbQpvZiBzZWxlY3Rpb24gaW50byB0aGUgc2FtcGxlIGJ5IGVzdGltYXRpbmcgdGhlIGluY2x1c2lvbgpwcm9iYWJpbGl0aWVzLCBpLmUuLCBieSBjcmVhdGluZyBwcm9wZW5zaXR5IHNjb3JlcyB0aGF0IGNhbiB0aGVuIGJlCnVzZWQgYXMgd2VpZ2h0cy4gVGhlIG90aGVyIGFwcHJvYWNoLCB0aGUgInN1cGVycG9wdWxhdGlvbiIgYXBwcm9hY2ggaXMKZmFyIGxlc3MgY29tbW9uLiAKCiMjIFBzZXVkby1pbmNsdXNpb24gcHJvYmFiaWxpdGllcyAKClRoZSBtZXRob2Qgb2YgcHNldWRvLWluY2x1c2lvbiBwcm9iYWJpbGl0aWVzIGlzIHNpbXBsZS4gX0FsbF8gd2UgbmVlZAp0byBkbyBpcyBlc3RpbWF0ZSwgZm9yIGVhY2ggaW5kaXZpZHVhbCwgdGhlIHByb2JhYmlsaXR5IHdpdGggd2hpY2ggaXQKd2FzIHNlbGVjdGVkIGludG8gdGhlIHNhbXBsZS4gT2YgY291cnNlLCB0aGlzIGlzIG1vcmUgZWFzaWx5IHNhaWQgdGhhbgpkb25lLiBJbiBvdXIgY2FzZSwgd2UgZG8gaGF2ZSBhIHJlYXNvbmFibGUgcHNldWRvLWZyYW1lIGZvciB0aGUgc2FtcGxlCnNvIHRoZSBmaXJzdCB0aGluZyB3ZSB3aWxsIGRvIGlzIGFzc2lnbiBhIHRyZWF0bWVudCBhcm0gdG8gZnJhbWUgYW5kCnNhbXBsZS4gSGVyZSwgd2Ugd2lsbCB0YWtlIHRoZSBzYW1wbGUgYXMgdGhlIHRyZWF0bWVudCBncm91cC4gCgpgYGB7cn0Kd3MkeSA8LSAxCmZyYW1lJHkgPC0gMAojIyBUbyByZWR1Y2UgY29tcHV0YXRpb24gdGltZQpOIDwtIDI1MDAwMApmcmFtZSA8LSBmcmFtZVsxOk4sIF0KY29tYmluZWQgPC0gcGx5cjo6OnJiaW5kLmZpbGwod3MsIGZyYW1lKQpgYGAKClRoZSBuZXh0IHN0ZXAgaXMgdG8gZXN0aW1hdGUgdGhlIG1vZGVsIHRoYXQgYXNzaWducyBjYXNlcyBmcm9tIHRoZQpmcmFtZSB0byB0aGUgc2FtcGxlLiBUaGUgcHJvY2VzcyBoZXJlIGlzIGlkZW50aWNhbCB0byB0aGF0IG9mCnByb3BlbnNpdHkgc2NvcmUgbWF0Y2hpbmcsIGZvciBpbnN0YW5jZSBhbmQgY29uc2lzdHMgb24gaWRlbnRpZnlpbmcgYQptb2RlbCB0aGF0IHByb2R1Y2VzIGEgcmVhc29uYWJsZSBiYWxhbmNlIGJldHdlZW4gY292YXJpYXRlcyBpbiB0aGUKc2FtcGxlIHJlbGF0aXZlIHRvIHRoZSBmcmFtZSAoV2h5PykuIEJhY2sgaW4gdGhlIGRheSwgb25lIHdvdWxkIHRyeQptYW55IGRpZmZlcmVudCBzcGVjaWZpY2F0aW9ucyBvZiBhIGNob2ljZSBtb2RlbCBidXQgaXQgaXMgbW9yZSBjb21tb24Kbm93IHRvIHJlbHkgb24gbWFjaGluZSBsZWFybmluZyBtb2RlbHMuIEZvciBpbnN0YW5jZSwgaXQgaXMgY29tbW9uIHRvCnVzZSB0cmVlLWJhc2VkIG1vZGVscyBiZWNhdXNlIHRoZXkgYWxzbyBoYXZlIHRoZSBhZHZhbnRhZ2Ugb2YgY3JlYXRpbmcKd2VpZ2h0aW5nIGNlbGxzIGlmIHdlIG5lZWQgdGhlbS4gCgpgYGB7cn0KbGlicmFyeShwYXJ0eWtpdCkKbW9kIDwtIGN0cmVlKHkgfiBnZW5kZXIgKyBhZ2UgKyBmZWR1YyArIGZvY2N1cCwKICAgICAgICAgICAgIGRhdGE9Y29tYmluZWQsCiAgICAgICAgICAgICBjb250cm9sID0gY3RyZWVfY29udHJvbChtaW5jcml0ZXJpb249MC4wMDUsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBtaW5zcGxpdD0wLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbWluYnVja2V0PTApKQpgYGAKCklzIHRoaXMgYSBnb29kIG1vZGVsPyBXaGF0IHdvdWxkIGJlIGEgZ29vZCB3YXkgb2YgdGVzdGluZyB3aGV0aGVyIHdlCnNob3VsZCBrZWVwIHNlYXJjaGluZz8KCkxldCdzIGFzc3VtZSBmb3Igbm93IHRoYXQgdGhlIG1vZGVsIGlzIHdoYXQgd2Ugd2FudC4gVGhlIHJlbWFpbmluZwpzdGVwcyBjb25zaXN0IG9uIGVzdGltYXRpbmcgdGhlIHByZWRpY3RlZCBwcm9iYWJpbGl0aWVzIGZvciBlYWNoIGNhc2UKaW4gdGhlIHNhbXBsZSBhbmQgdHJlYXQgdGhlbSBhcyB3ZWlnaHRzLiAKCmBgYHtyfQpwaGF0IDwtIHByZWRpY3QobW9kLCBuZXdkYXRhPXdzKQp3ZWlnaHRzIDwtIDEvcGhhdAp3ZWlnaHRzIDwtIHdlaWdodHMvbWVhbih3ZWlnaHRzKSAjIyBUb28gbGFyZ2UKYGBgCgpXZSBjYW4gbm93IHVzZSB0aG9zZSB3ZWlnaHRzIGFuZCBjaGVjayB3aGV0aGVyIHRoZSBkaXN0cmlidXRpb24gb2YgYQprbm93biB2YXJpYWJsZSBoYXMgaW1wcm92ZWQgcmVsYXRpdmUgdG8gb3VyIGJlbmNobWFyay4gCgpgYGB7cn0KcHJvcC50YWJsZSh4dGFicyh3ZWlnaHRzIH4gZmFnZSwgZGF0YT13cykpCnByb3AudGFibGUoeHRhYnMoICAgICAgICB+IGZhZ2UsIGRhdGE9d3MpKQpwcm9wLnRhYmxlKHh0YWJzKCAgICAgICAgfiBmYWdlLCBkYXRhPWZyYW1lKSkKYGBgCgojIyBDYWxpYnJhdGlvbiB1c2luZyBtYXRjaGluZwoKYGBge3IgaW5jbHVkZT1GQUxTRX0KbGlicmFyeShIbWlzYykKY2MgPC0gYXJlZ0ltcHV0ZSh+IGdlbmRlciArIGZhZ2UgKyBmZWR1YyArIGZvY2N1cCwKICAgICAgICAgICAgICAgICBkYXRhPWNvbWJpbmVkLAogICAgICAgICAgICAgICAgIG4uaW1wdXRlPTEsCiAgICAgICAgICAgICAgICAgdHlwZT0icG1tIikKCmNvbWJpbmVkJGZlZHVjW2lzLm5hKGNvbWJpbmVkJGZlZHVjKV0gPC0gZmFjdG9yKGNjJGltcHV0ZWQkZmVkdWMsIGxhYmVscz1sZXZlbHMoY29tYmluZWQkZmVkdWMpKQpjb21iaW5lZCRmb2NjdXBbaXMubmEoY29tYmluZWQkZm9jY3VwKV0gPC0gZmFjdG9yKGNjJGltcHV0ZWQkZm9jY3VwLCBsYWJlbHM9bGV2ZWxzKGNvbWJpbmVkJGZvY2N1cCkpCmBgYAoKSWYgdGhlIGdvYWwgaXMgdG8gY3JlYXRlIHdlaWdodHMgc3VjaCB0aGF0IHNvbWUgY292YXJpYXRlcyBhcmUKYmFsYW5jZWQgYmV0d2VlbiB0cmVhdG1lbnQgYW5kIGNvbnRyb2wsIHdlIGNhbiB0YWtlIHRoZSBpbnZlcnNlCmFwcHJvYWNoLS0tcmF0aGVyIHRoYW4gc3RhcnRpbmcgd2l0aCBhIG1vZGVsIHRvIGZpbmQgdGhlIHdlaWdodHMsIHdlCmNhbiBqdXN0IHRoaW5rIG9mIGl0IGFzIGFuIG9wdGltaXphdGlvbiBwcm9ibGVtIGFuZCBmaW5kIHRob3NlIHdlaWdodHMKZGlyZWN0bHkuIElmIHdlIGNvbWUgYXQgaXQgZnJvbSB0aGF0IHBvaW50IG9mIHZpZXcsIHRoZSBwcm9ibGVtIGlzCnZlcnkgc2ltaWxhciB0byB0aGF0IG9mIGNvdmFyaWF0ZSBtYXRjaGluZy4gVGhlcmUgYXJlIG1hbnkgZGlmZmVyZW50Cm1ldGhvZHMgdG8gcGVyZm9ybSBtYXRjaGluZyBhbmQgdGhlcmUgaXMgbm8gY2xlYXIgcmVhc29uIHRvIHByZWZlciBvbmUKb3ZlciB0aGUgb3RoZXIuIAoKT25lIHBvc3NpYmlsaXR5IGlzIHRvIHVzZSBhbiBlbnRyb3B5LWJhc2VkIGFwcHJvYWNoLiAKCmBgYHtyfQpsaWJyYXJ5KFdlaWdodEl0KQoKIyMgQVRDIGlzIGltcG9ydGFudApvdXQgPC0gd2VpZ2h0aXQoeSB+IGdlbmRlciArIGZhZ2UgKyBmZWR1YyArIGZvY2N1cCwgZGF0YT1jb21iaW5lZCwKICAgICAgICAgICAgICAgIG1ldGhvZD0iZWJhbCIsCiAgICAgICAgICAgICAgICBlc3RpbWFuZD0iQVRDIikKc3VtbWFyeShvdXQpCmBgYAoKQXQgdGhpcyBwb2ludCB3ZSBwcm9iYWJseSB3YW50IHRvIHBlcmZvcm0gdGhlIHNhbWUgc2FuaXR5IGNoZWNrcyBhcyBpbgp0aGUgcHNldWRvLWluY2x1c2lvbiBhcHByb2FjaCwgdG8gbWFrZSBzdXJlIHRoYXQgdGhlIG1vZGVsIGJhbGFuY2VzCmNvcnJlY3RseSBvbiB0aGUgY292YXJpYXRlcyB0aGF0IHdlIGFyZSBpbnRlcmVzdGVkIGluLiAKCldoZW5ldmVyIHdlIGFyZSBzYXRpc2ZpZWQgd2l0aCB0aGUgYXBwcm9hY2gsIHdlIGNhbiB0aGVuIGZvbGxvdyB0aGUKc2FtZSBzdHJhdGVneSBhcyBiZWZvcmU6CgpgYGB7cn0Kd3cgPC0gb3V0JHdlaWdodHNbY29tYmluZWQkeSA9PSAxXQp3dyA8LSB3dy9tZWFuKHd3KQoKcHJvcC50YWJsZSh4dGFicyh3dyB+IGZhZ2UsIGRhdGE9d3MpKQpwcm9wLnRhYmxlKHh0YWJzKCAgICAgICB+IGZhZ2UsIGRhdGE9ZnJhbWUpKQpwcm9wLnRhYmxlKHh0YWJzKCAgICAgICB+IGZhZ2UsIGRhdGE9d3MpKQpgYGAKCkhvd2V2ZXIsIGl0IGlzIGltcG9ydGFudCB0byBrZWVwIGluIG1pbmQgdGhhdCBtYXRjaGluZyBpcyBzdGlsbCBhIHNvcnQKb2YgbW9kZWwgYW5kIHRoYXQsIHRoZXJlZm9yZSwgaXQgd2lsbCBvbmx5IGZpeCB0aGUgaXNzdWVzIHRoYXQgd2UgdGVsbAppdCB0byBmaXguCgpgYGB7cn0KIyMgQnV0IGNhcmVmdWwhCnByb3AudGFibGUoeHRhYnMod3cgfiBmYWdlICsgZmVkdWMsIGRhdGE9d3MpKQpwcm9wLnRhYmxlKHh0YWJzKCAgIH4gZmFnZSArIGZlZHVjLCBkYXRhPWZyYW1lKSkgCmBgYAo=