Let’s start by loading the survey package. It gives us an easy way to declare survey designs and to create and operate with weighted data.

library(survey)

The population file

All sampling starts with a population that we want to study. Let’s assume for the moment that we have access to a file that lists all the individuals in the population with some auxiliary information. This will be our sampling frame. Think for a second about the resources that we have available that most resemble this file.

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

The frame represents the Spanish population. We see that, for instance, we have one row per individual:

nrow(frame)

And this is how our data looks like:

head(frame)

Notice that we have very little information. Some information about their place of residence, their gender, age, education, occupation, and a weight factor called pbweight, in addition to a unique identifier (id).

Methods with known probabilities

Simple random sampling

Let’s start with the sampling that we all know where everybody has the same probability of being selected. We will start by selecting a sample of 1,000 individuals.

srs <- sample(1:nrow(frame), size=1000)
srs <- frame[srs, ]

We are now interested in seeing how well the sample represents the population where we are not very specific about the meaning of “representation.” We can see whether the gender split in our sample matches that of the population:

prop.table(table(srs$gender))
prop.table(table(frame$gender))

The calculation for the frame took longer (sampling saves costs everywhere!) but the two numbers are not that far apart.

To make the computation we used the Base functions table and prop.table and we relied implicitly on the fact that we didn’t need weights because we were interested in a proportion. Let’s try to use survey and see its value.

Let’s, first of all, create a weight variable.

srs$weight <- nrow(frame)/1000

In survey, we always start by declaring a “design” object which captures the sampling design. In our case, it can be declared as:

svysrs <- svydesign(id= ~1, weights= ~weight, data=srs)
svysrs

With this object, we can now compute the same table for proportions:

svytable(~ gender, svysrs, Ntotal=100)

Why the Ntotal argument? Because without it we would get an estimate of the totals, implied by the weights. This is something we are rarely interested in when doing public opinion (why?) but it is a convenient tool to known. Let’s just check the totals for a moment:

svytable(~ gender, svysrs)
table(frame$gender)

Margin of error

We said that the values we got from the survey were close enough. We should define proximity a little bit better, maybe through a measure of uncertainty:

1.96*SE(svymean(~ gender, svysrs))

Notice here that I am calculating the mean of the variable gender using a formula and then extracting the standard error with with SE function.

Let’s build upon this link between sample size and uncertainty. Let’s take several samples out of the frame with sizes ranging between 50 and 10,000:

N <- seq(50, 10000, by=50)
srs <- lapply(N, function(i) frame[sample(1:nrow(frame), size=i), ])

We are going to declare each of the samples as a svydesign object. I am now omitting the weights because I do not really care about population totals anymore.

svysrs <- lapply(srs, function(i) svydesign(id= ~1, weights= ~1, data=i))

Let’s compute our margin of error around our estimate for the gender split in each of the surveys.

margins <- lapply(svysrs, function(i) 1.96*SE(svymean(~ gender, i)))
margins <- do.call(rbind, margins)

And voila! We have our relation between sample size and MoE:

plot(N, margins[, 1], type='l',
     xlab="Sample size",
     ylab="Margin of error",
     main="Math works!")

Stratified random sampling

Simple random sampling is not too interesting. But more importantly, it carries some issues that we should consider before moving forward. Consider, for instance, our sample of 1,000 in all of Spain. We have been able to estimate gender with some accuracy but we wouldn’t be able to estimate gender for each of the CCAA. Is the problem that we don’t have enough cases?

Imagine that we take a much larger sample size, enough to get around 1,000 cases in each CCAA plus the two Autonomous Cities.

srs <- frame[sample(1:nrow(frame), size=1900), ]
svysrs <- svydesign(id= ~1, weights= ~1, data=srs)

Now let’s estimate the gender split. This is also a good opportunity to learn a new function in survey:

svyby(~ gender, by=~ ccaa, design=svysrs, FUN=svymean)

These are the numbers in the population:

prop.table(table(frame$ccaa, frame$gender), 1)

The numbers are more or less fine but SE vary wildly. Yes, the problem is that we didn’t use our sample in a better way:

svytable(~ ccaa, svysrs)

A posible solution is to distribute the sample so that we had 1,000 cases in each CCAA (Is this always a good idea?). This is a key idea: we could have allocated the sample in a different way taking advantage of the information we know about the population: the allocation of units to CCAA.

Let’s just do that. Let’s take a 1,000 cases from each CCAA:

stratif <- split(frame, frame$ccaa)
stratif <- lapply(stratif, function(i) i[sample(1:nrow(i), size=100), ])
stratif <- do.call(rbind, stratif)

The survey package let’s us declare this design following the same idea as before:

svystratif <- svydesign(id= ~1, weights= ~1, data=stratif, strata= ~ccaa)

Let’s now compute the gender split again:

svyby(~ gender, by=~ ccaa, design=svystratif, FUN=svymean)

We can also compute the split at the national level:

svymean(~ gender, design=svystratif)

Cluster sampling and PPS

Using stratification we solved one problem but the solution can become impractical. Imagine that we conduct our interviews in person and that we, for the sake of the argument, insist in having all 19 strata represented. We could very well end up in a situation in which all the individuals are distant from one another. Wouldn’t it be nice to sample individuals that are in close proximity to one another? We can accomplish this by dividing our stratum in “clusters” and selecting a sample of those clusters from which we then select individuals in a multistage design. If we do this, and if our clusters have different sizes, we often want to make sure that the larger clusters have a higher probability of selection (it is easier to see if you think about population totals and the relative contribution of large versus small units). This is what we call “probability proportional to size” sampling (PPS).

Methods with unknown probabilities

Quota methods

We have been relying on the idea that we had access to the population file. Wouldn’t that just be convenient? Think for a second on how the population file would need to look like for an opinion poll. Sometimes we do have a list of all the members of the population or we can proceed as if we had it, but more often than not this is not how polling is conducted. We will see more about why in the next section.

A common workaround is to use an idea that resembles stratified sampling. We will define quotas based on known population values and we will interview people until those quotas are filled. We first start by defining what are the cells that we want to fill out. For instance, age and gender (why these two?).

quotas <- prop.table(table(frame$fage, frame$gender))
quotas <- as.data.frame(quotas); names(quotas) <- c("fage", "gender", "freq")
quotas$n <- round(quotas$freq*1000)
quotas

Let’s now simulate the process of collecting this sample. We are going to make a key simplifying assumption. We are just going to run through the sample after sorting it at random and we will just add a person to our sample if the person doesn’t belong to a full quota. In other words, anyone we select will respond.

oo <- sample(1:nrow(frame))
xframe <- frame[oo, ]
xframe <- xframe[complete.cases(xframe), ]

N <- 1; i <- 1
squota <- list()

while (N < 1001) {
    if (i %% 500 == 0) {
        print(sprintf("Scanned %s cases. Collected %s interviews", i, N))
    }
    available <- quotas[quotas$fage %in% xframe$fage[i] &
                        quotas$gender %in% xframe$gender[i], "n"]
    if (available > 0) {
        squota[[N]] <- xframe[i, ]
        N <- N + 1
        quotas[quotas$fage %in% xframe$fage[i] &
               quotas$gender %in% xframe$gender[i], "n"] <- available - 1
    }
    i <- i + 1
}
squota <- do.call(rbind, squota)

We can now declare a design for it. It is not exactly a stratified sample and it is definitely not a simple random sample but we can make an argument that our best guess given the random sorting is to assume that the probability of selection is constant (keep this idea in mind for a second).

svyquota <- svydesign(id= ~1, weights= ~1, data=squota)

With this design, we can now compute the distribution of, for instance, education.

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

It doesn’t look bad at all, but let’s take a look again at our key assumption and how we can get around deviation from it in the different designs we have discussed.

Nonresponse

Let’s assume that not everybody cooperates with our interview and, even more realistically, that not all groups, as defined by their sociodemographic characteristics, answer at the same rate.

xb <- -.9 +
    1.5*(frame$gender == "male") +
    -.045*(frame$age - 18) +
    .002*((frame$age - 18)^2) +
    -.05*(frame$gender == "male")*(frame$age - 18) +
    -.02*(frame$gender == "male")*(frame$age - 18) +
    -2.7*(frame$feduc == "primary") +
    -1.2*(frame$feduc == "secondary") +
    1.4*(frame$feduc == "hs")  +
    2.1*(frame$feduc == "possecondary")

frame$p <- 1/(1 + exp(-xb))

What happens now? Let’s take another sample that uses those response probabilities.

frame_completes <- frame[complete.cases(frame), ]
srs <- frame_completes[sample(1:nrow(frame_completes),
                              size=1000,
                              prob=frame_completes$p), ]
saveRDS(srs, file.path(DATADIR, "weighted-sample.RDS"))
svysrs <- svydesign(id= ~1, weights= ~1, data=srs)

And let’s try now compute the same quantities as before.

svymean(~ gender, svysrs, na.rm=TRUE)
prop.table(table(frame_completes$gender))

Unsurprisingly, the numbers are off. In this case, we have all we need in order to make the necessary adjustments: we know the probability with which each group/individual didn’t answer. Let’s try it:

srs$weight <- 1/srs$p
srs$weight <- srs$weight/mean(srs$weight)

A thing to notice is the distribution of weights:

summary(srs$weight)

We now can use put these weights into a new design object and obtain our estimates again:

svysrs <- svydesign(id= ~1, weights= ~weight, data=srs)
svymean(~ gender, svysrs, na.rm=TRUE)

It works!

This last step, when we used as weights the response probability of individuals felt a bit like cheating. In real applications we don’t have this piece of information and, more important, we cannot estimate it by looking only at the people who did participate. However, when we think about samples extracted from an enumeration with some auxiliary variables we can start making reasonable guesses. Think now about our quota sample. All we see is that some people don’t answer but we cannot collect any attribute from those we selected (beyond guesses). Also, in the probability framework we know the probability with which each candidate was selected, which we can combine with our probability of nonresponse. But what about our quota method?

Think now about a specific type of sample, such as an Internet poll through the concepts that we have just discussed. Think, for instance, about the selection probability in the case of a survey link posted on Twitter. In particular, about the people with zero probability of selection (What are the different steps that make someone have a non-zero probability?) and about how much you know about those with non-zero probability. As a thought experiment, think about the ideal data you would need in order to recover something like the weight we used above.

LS0tIAp0aXRsZTogIlRoZSB2ZXJ5IGJhc2ljcyBvZiBzYW1wbGluZyIKZGF0ZTogImByIGZvcm1hdChTeXMudGltZSgpLCAnJUIgJWQsICVZJylgIgotLS0KCmBgYHtyIHNldHVwLCBpbmNsdWRlPUZBTFNFLCBjYWNoZT1GQUxTRX0Ka25pdHI6Om9wdHNfY2h1bmskc2V0KGV2YWwgPSBGQUxTRSkKa25pdHI6Om9wdHNfY2h1bmskc2V0KGZpZy5wYXRoID0gJy4vYXNzZXRzLycpCkRBVEFESVIgPC0gIi4vLi4vZHRhIgpgYGAKCkxldCdzIHN0YXJ0IGJ5IGxvYWRpbmcgdGhlIGBzdXJ2ZXlgIHBhY2thZ2UuIEl0IGdpdmVzIHVzIGFuIGVhc3kgd2F5CnRvIGRlY2xhcmUgc3VydmV5IGRlc2lnbnMgYW5kIHRvIGNyZWF0ZSBhbmQgb3BlcmF0ZSB3aXRoIHdlaWdodGVkCmRhdGEuCgpgYGB7cn0KbGlicmFyeShzdXJ2ZXkpCmBgYAoKIyBUaGUgcG9wdWxhdGlvbiBmaWxlCgpBbGwgc2FtcGxpbmcgc3RhcnRzIHdpdGggYSBwb3B1bGF0aW9uIHRoYXQgd2Ugd2FudCB0byBzdHVkeS4gTGV0J3MKYXNzdW1lIGZvciB0aGUgbW9tZW50IHRoYXQgd2UgaGF2ZSBhY2Nlc3MgdG8gYSBmaWxlIHRoYXQgbGlzdHMgYWxsIHRoZQppbmRpdmlkdWFscyBpbiB0aGUgcG9wdWxhdGlvbiB3aXRoIHNvbWUgYXV4aWxpYXJ5IGluZm9ybWF0aW9uLiBUaGlzCndpbGwgYmUgb3VyIHNhbXBsaW5nIGZyYW1lLiBUaGluayBmb3IgYSBzZWNvbmQgYWJvdXQgdGhlIHJlc291cmNlcwp0aGF0IHdlIGhhdmUgYXZhaWxhYmxlIHRoYXQgbW9zdCByZXNlbWJsZSB0aGlzIGZpbGUuCgpgYGB7cn0KZnJhbWUgPC0gcmVhZFJEUyhmaWxlLnBhdGgoREFUQURJUiwgImZyYW1lLlJEUyIpKQojIyBTb3J0Cm9vIDwtIHNhbXBsZSgxOm5yb3coZnJhbWUpLCByZXBsYWNlPUZBTFNFKQpmcmFtZSA8LSBmcmFtZVtvbywgXQpgYGAKClRoZSBmcmFtZSByZXByZXNlbnRzIHRoZSBTcGFuaXNoIHBvcHVsYXRpb24uIFdlIHNlZSB0aGF0LCBmb3IKaW5zdGFuY2UsIHdlIGhhdmUgb25lIHJvdyBwZXIgaW5kaXZpZHVhbDoKCmBgYHtyfQpucm93KGZyYW1lKQpgYGAKCkFuZCB0aGlzIGlzIGhvdyBvdXIgZGF0YSBsb29rcyBsaWtlOgoKYGBge3J9CmhlYWQoZnJhbWUpCmBgYAoKTm90aWNlIHRoYXQgd2UgaGF2ZSB2ZXJ5IGxpdHRsZSBpbmZvcm1hdGlvbi4gU29tZSBpbmZvcm1hdGlvbiBhYm91dAp0aGVpciBwbGFjZSBvZiByZXNpZGVuY2UsIHRoZWlyIGdlbmRlciwgYWdlLCBlZHVjYXRpb24sIG9jY3VwYXRpb24sCmFuZCBhIHdlaWdodCBmYWN0b3IgY2FsbGVkIGBwYndlaWdodGAsIGluIGFkZGl0aW9uIHRvIGEgdW5pcXVlCmlkZW50aWZpZXIgKGBpZGApLgoKIyBNZXRob2RzIHdpdGgga25vd24gcHJvYmFiaWxpdGllcwoKIyMgU2ltcGxlIHJhbmRvbSBzYW1wbGluZwoKTGV0J3Mgc3RhcnQgd2l0aCB0aGUgc2FtcGxpbmcgdGhhdCB3ZSBhbGwga25vdyB3aGVyZSBldmVyeWJvZHkgaGFzIHRoZQpzYW1lIHByb2JhYmlsaXR5IG9mIGJlaW5nIHNlbGVjdGVkLiBXZSB3aWxsIHN0YXJ0IGJ5IHNlbGVjdGluZyBhCnNhbXBsZSBvZiAxLDAwMCBpbmRpdmlkdWFscy4KCmBgYHtyfQpzcnMgPC0gc2FtcGxlKDE6bnJvdyhmcmFtZSksIHNpemU9MTAwMCkKc3JzIDwtIGZyYW1lW3NycywgXQpgYGAKCldlIGFyZSBub3cgaW50ZXJlc3RlZCBpbiBzZWVpbmcgaG93IHdlbGwgdGhlIHNhbXBsZSBfcmVwcmVzZW50c18gdGhlCnBvcHVsYXRpb24gd2hlcmUgd2UgYXJlIG5vdCB2ZXJ5IHNwZWNpZmljIGFib3V0IHRoZSBtZWFuaW5nIG9mCiJyZXByZXNlbnRhdGlvbi4iIFdlIGNhbiBzZWUgd2hldGhlciB0aGUgZ2VuZGVyIHNwbGl0IGluIG91ciBzYW1wbGUKbWF0Y2hlcyB0aGF0IG9mIHRoZSBwb3B1bGF0aW9uOgoKYGBge3J9CnByb3AudGFibGUodGFibGUoc3JzJGdlbmRlcikpCnByb3AudGFibGUodGFibGUoZnJhbWUkZ2VuZGVyKSkKYGBgCgpUaGUgY2FsY3VsYXRpb24gZm9yIHRoZSBmcmFtZSB0b29rIGxvbmdlciAoc2FtcGxpbmcgc2F2ZXMgY29zdHMKZXZlcnl3aGVyZSEpIGJ1dCB0aGUgdHdvIG51bWJlcnMgYXJlIF9ub3QgdGhhdCBmYXIgYXBhcnQuXwoKVG8gbWFrZSB0aGUgY29tcHV0YXRpb24gd2UgdXNlZCB0aGUgYEJhc2VgIGZ1bmN0aW9ucyBgdGFibGVgIGFuZApgcHJvcC50YWJsZWAgYW5kIHdlIHJlbGllZCBpbXBsaWNpdGx5IG9uIHRoZSBmYWN0IHRoYXQgd2UgZGlkbid0IG5lZWQKd2VpZ2h0cyBiZWNhdXNlIHdlIHdlcmUgaW50ZXJlc3RlZCBpbiBhIHByb3BvcnRpb24uIExldCdzIHRyeSB0byB1c2UKYHN1cnZleWAgYW5kIHNlZSBpdHMgdmFsdWUuIAoKTGV0J3MsIGZpcnN0IG9mIGFsbCwgY3JlYXRlIGEgd2VpZ2h0IHZhcmlhYmxlLiAKCmBgYHtyfQpzcnMkd2VpZ2h0IDwtIG5yb3coZnJhbWUpLzEwMDAKYGBgCgpJbiBgc3VydmV5YCwgd2UgYWx3YXlzIHN0YXJ0IGJ5IGRlY2xhcmluZyBhICJkZXNpZ24iIG9iamVjdCB3aGljaApjYXB0dXJlcyB0aGUgc2FtcGxpbmcgZGVzaWduLiBJbiBvdXIgY2FzZSwgaXQgY2FuIGJlIGRlY2xhcmVkIGFzOgoKYGBge3J9CnN2eXNycyA8LSBzdnlkZXNpZ24oaWQ9IH4xLCB3ZWlnaHRzPSB+d2VpZ2h0LCBkYXRhPXNycykKc3Z5c3JzCmBgYAoKV2l0aCB0aGlzIG9iamVjdCwgd2UgY2FuIG5vdyBjb21wdXRlIHRoZSBzYW1lIHRhYmxlIGZvciBwcm9wb3J0aW9uczoKCmBgYHtyfQpzdnl0YWJsZSh+IGdlbmRlciwgc3Z5c3JzLCBOdG90YWw9MTAwKQpgYGAKCldoeSB0aGUgYE50b3RhbGAgYXJndW1lbnQ/IEJlY2F1c2Ugd2l0aG91dCBpdCB3ZSB3b3VsZCBnZXQgYW4gZXN0aW1hdGUKb2YgdGhlIHRvdGFscywgaW1wbGllZCBieSB0aGUgd2VpZ2h0cy4gVGhpcyBpcyBzb21ldGhpbmcgd2UgYXJlIHJhcmVseQppbnRlcmVzdGVkIGluIHdoZW4gZG9pbmcgcHVibGljIG9waW5pb24gKHdoeT8pIGJ1dCBpdCBpcyBhIGNvbnZlbmllbnQKdG9vbCB0byBrbm93bi4gTGV0J3MganVzdCBjaGVjayB0aGUgdG90YWxzIGZvciBhIG1vbWVudDoKCmBgYHtyfQpzdnl0YWJsZSh+IGdlbmRlciwgc3Z5c3JzKQp0YWJsZShmcmFtZSRnZW5kZXIpCmBgYAoKIyMgTWFyZ2luIG9mIGVycm9yCgpXZSBzYWlkIHRoYXQgdGhlIHZhbHVlcyB3ZSBnb3QgZnJvbSB0aGUgc3VydmV5IHdlcmUgX2Nsb3NlIGVub3VnaC5fIFdlCnNob3VsZCBkZWZpbmUgcHJveGltaXR5IGEgbGl0dGxlIGJpdCBiZXR0ZXIsIG1heWJlIHRocm91Z2ggYSBtZWFzdXJlCm9mIHVuY2VydGFpbnR5OiAKCmBgYHtyfQoxLjk2KlNFKHN2eW1lYW4ofiBnZW5kZXIsIHN2eXNycykpCmBgYAoKTm90aWNlIGhlcmUgdGhhdCBJIGFtIGNhbGN1bGF0aW5nIHRoZSBtZWFuIG9mIHRoZSB2YXJpYWJsZSBgZ2VuZGVyYAp1c2luZyBhIGZvcm11bGEgYW5kIHRoZW4gZXh0cmFjdGluZyB0aGUgc3RhbmRhcmQgZXJyb3Igd2l0aCB3aXRoIGBTRWAKZnVuY3Rpb24uCgpMZXQncyBidWlsZCB1cG9uIHRoaXMgbGluayBiZXR3ZWVuIHNhbXBsZSBzaXplIGFuZCB1bmNlcnRhaW50eS4gTGV0J3MKdGFrZSBzZXZlcmFsIHNhbXBsZXMgb3V0IG9mIHRoZSBmcmFtZSB3aXRoIHNpemVzIHJhbmdpbmcgYmV0d2VlbiA1MAphbmQgMTAsMDAwOgoKYGBge3J9Ck4gPC0gc2VxKDUwLCAxMDAwMCwgYnk9NTApCnNycyA8LSBsYXBwbHkoTiwgZnVuY3Rpb24oaSkgZnJhbWVbc2FtcGxlKDE6bnJvdyhmcmFtZSksIHNpemU9aSksIF0pCmBgYAoKV2UgYXJlIGdvaW5nIHRvIGRlY2xhcmUgZWFjaCBvZiB0aGUgc2FtcGxlcyBhcyBhIGBzdnlkZXNpZ25gIG9iamVjdC4gSQphbSBub3cgb21pdHRpbmcgdGhlIHdlaWdodHMgYmVjYXVzZSBJIGRvIG5vdCByZWFsbHkgY2FyZSBhYm91dApwb3B1bGF0aW9uIHRvdGFscyBhbnltb3JlLgoKYGBge3J9CnN2eXNycyA8LSBsYXBwbHkoc3JzLCBmdW5jdGlvbihpKSBzdnlkZXNpZ24oaWQ9IH4xLCB3ZWlnaHRzPSB+MSwgZGF0YT1pKSkKYGBgCgpMZXQncyBjb21wdXRlIG91ciBtYXJnaW4gb2YgZXJyb3IgYXJvdW5kIG91ciBlc3RpbWF0ZSBmb3IgdGhlIGdlbmRlcgpzcGxpdCBpbiBlYWNoIG9mIHRoZSBzdXJ2ZXlzLgoKYGBge3J9Cm1hcmdpbnMgPC0gbGFwcGx5KHN2eXNycywgZnVuY3Rpb24oaSkgMS45NipTRShzdnltZWFuKH4gZ2VuZGVyLCBpKSkpCm1hcmdpbnMgPC0gZG8uY2FsbChyYmluZCwgbWFyZ2lucykKYGBgCgpBbmQgdm9pbGEhIFdlIGhhdmUgb3VyIHJlbGF0aW9uIGJldHdlZW4gc2FtcGxlIHNpemUgYW5kIE1vRToKCmBgYHtyfQpwbG90KE4sIG1hcmdpbnNbLCAxXSwgdHlwZT0nbCcsCiAgICAgeGxhYj0iU2FtcGxlIHNpemUiLAogICAgIHlsYWI9Ik1hcmdpbiBvZiBlcnJvciIsCiAgICAgbWFpbj0iTWF0aCB3b3JrcyEiKQpgYGAKCiMjIFN0cmF0aWZpZWQgcmFuZG9tIHNhbXBsaW5nCgpTaW1wbGUgcmFuZG9tIHNhbXBsaW5nIGlzIG5vdCB0b28gaW50ZXJlc3RpbmcuIEJ1dCBtb3JlIGltcG9ydGFudGx5LAppdCBjYXJyaWVzIHNvbWUgaXNzdWVzIHRoYXQgd2Ugc2hvdWxkIGNvbnNpZGVyIGJlZm9yZSBtb3ZpbmcgZm9yd2FyZC4KQ29uc2lkZXIsIGZvciBpbnN0YW5jZSwgb3VyIHNhbXBsZSBvZiAxLDAwMCBpbiBhbGwgb2YgU3BhaW4uIFdlIGhhdmUKYmVlbiBhYmxlIHRvIGVzdGltYXRlIGdlbmRlciB3aXRoIHNvbWUgYWNjdXJhY3kgYnV0IHdlIHdvdWxkbid0IGJlCmFibGUgdG8gZXN0aW1hdGUgZ2VuZGVyIGZvciBlYWNoIG9mIHRoZSBDQ0FBLiBJcyB0aGUgcHJvYmxlbSB0aGF0IHdlCmRvbid0IGhhdmUgZW5vdWdoIGNhc2VzPwoKSW1hZ2luZSB0aGF0IHdlIHRha2UgYSBtdWNoIGxhcmdlciBzYW1wbGUgc2l6ZSwgZW5vdWdoIHRvIGdldCBhcm91bmQKMSwwMDAgY2FzZXMgaW4gZWFjaCBDQ0FBIHBsdXMgdGhlIHR3byBBdXRvbm9tb3VzIENpdGllcy4KCmBgYHtyfQpzcnMgPC0gZnJhbWVbc2FtcGxlKDE6bnJvdyhmcmFtZSksIHNpemU9MTkwMCksIF0Kc3Z5c3JzIDwtIHN2eWRlc2lnbihpZD0gfjEsIHdlaWdodHM9IH4xLCBkYXRhPXNycykKYGBgCgpOb3cgbGV0J3MgZXN0aW1hdGUgdGhlIGdlbmRlciBzcGxpdC4gVGhpcyBpcyBhbHNvIGEgZ29vZCBvcHBvcnR1bml0eQp0byBsZWFybiBhIG5ldyBmdW5jdGlvbiBpbiBgc3VydmV5YDoKCmBgYHtyfQpzdnlieSh+IGdlbmRlciwgYnk9fiBjY2FhLCBkZXNpZ249c3Z5c3JzLCBGVU49c3Z5bWVhbikKYGBgCgpUaGVzZSBhcmUgdGhlIG51bWJlcnMgaW4gdGhlIHBvcHVsYXRpb246CgpgYGB7cn0KcHJvcC50YWJsZSh0YWJsZShmcmFtZSRjY2FhLCBmcmFtZSRnZW5kZXIpLCAxKQpgYGAKClRoZSBudW1iZXJzIGFyZSBtb3JlIG9yIGxlc3MgZmluZSBidXQgU0UgdmFyeSB3aWxkbHkuIFllcywgdGhlIHByb2JsZW0KaXMgdGhhdCB3ZSBkaWRuJ3QgdXNlIG91ciBzYW1wbGUgaW4gYSBiZXR0ZXIgd2F5OgoKYGBge3J9CnN2eXRhYmxlKH4gY2NhYSwgc3Z5c3JzKQpgYGAKCkEgcG9zaWJsZSBzb2x1dGlvbiBpcyB0byBkaXN0cmlidXRlIHRoZSBzYW1wbGUgc28gdGhhdCB3ZSBoYWQgMSwwMDAKY2FzZXMgaW4gZWFjaCBDQ0FBIChJcyB0aGlzIGFsd2F5cyBhIGdvb2QgaWRlYT8pLiBUaGlzIGlzIGEga2V5IGlkZWE6CndlIGNvdWxkIGhhdmUgYWxsb2NhdGVkIHRoZSBzYW1wbGUgaW4gYSBkaWZmZXJlbnQgd2F5IHRha2luZyBhZHZhbnRhZ2UKb2YgdGhlIGluZm9ybWF0aW9uIHdlICprbm93KiBhYm91dCB0aGUgcG9wdWxhdGlvbjogdGhlIGFsbG9jYXRpb24gb2YKdW5pdHMgdG8gQ0NBQS4KCkxldCdzIGp1c3QgZG8gdGhhdC4gTGV0J3MgdGFrZSBhIDEsMDAwIGNhc2VzIGZyb20gZWFjaCBDQ0FBOgoKYGBge3J9CnN0cmF0aWYgPC0gc3BsaXQoZnJhbWUsIGZyYW1lJGNjYWEpCnN0cmF0aWYgPC0gbGFwcGx5KHN0cmF0aWYsIGZ1bmN0aW9uKGkpIGlbc2FtcGxlKDE6bnJvdyhpKSwgc2l6ZT0xMDApLCBdKQpzdHJhdGlmIDwtIGRvLmNhbGwocmJpbmQsIHN0cmF0aWYpCmBgYAoKVGhlIGBzdXJ2ZXlgIHBhY2thZ2UgbGV0J3MgdXMgZGVjbGFyZSB0aGlzIGRlc2lnbiBmb2xsb3dpbmcgdGhlIHNhbWUKaWRlYSBhcyBiZWZvcmU6CgpgYGB7cn0Kc3Z5c3RyYXRpZiA8LSBzdnlkZXNpZ24oaWQ9IH4xLCB3ZWlnaHRzPSB+MSwgZGF0YT1zdHJhdGlmLCBzdHJhdGE9IH5jY2FhKQpgYGAKCkxldCdzIG5vdyBjb21wdXRlIHRoZSBnZW5kZXIgc3BsaXQgYWdhaW46CgpgYGB7cn0Kc3Z5YnkofiBnZW5kZXIsIGJ5PX4gY2NhYSwgZGVzaWduPXN2eXN0cmF0aWYsIEZVTj1zdnltZWFuKQpgYGAKCldlIGNhbiBhbHNvIGNvbXB1dGUgdGhlIHNwbGl0IGF0IHRoZSBuYXRpb25hbCBsZXZlbDoKCmBgYHtyfQpzdnltZWFuKH4gZ2VuZGVyLCBkZXNpZ249c3Z5c3RyYXRpZikKYGBgCgojIyBDbHVzdGVyIHNhbXBsaW5nIGFuZCBQUFMKClVzaW5nIHN0cmF0aWZpY2F0aW9uIHdlIHNvbHZlZCBvbmUgcHJvYmxlbSBidXQgdGhlIHNvbHV0aW9uIGNhbiBiZWNvbWUKaW1wcmFjdGljYWwuIEltYWdpbmUgdGhhdCB3ZSBjb25kdWN0IG91ciBpbnRlcnZpZXdzIGluIHBlcnNvbiBhbmQgdGhhdAp3ZSwgZm9yIHRoZSBzYWtlIG9mIHRoZSBhcmd1bWVudCwgaW5zaXN0IGluIGhhdmluZyBhbGwgMTkgc3RyYXRhCnJlcHJlc2VudGVkLiBXZSBjb3VsZCB2ZXJ5IHdlbGwgZW5kIHVwIGluIGEgc2l0dWF0aW9uIGluIHdoaWNoIGFsbCB0aGUKaW5kaXZpZHVhbHMgYXJlIGRpc3RhbnQgZnJvbSBvbmUgYW5vdGhlci4gV291bGRuJ3QgaXQgYmUgbmljZSB0bwpzYW1wbGUgaW5kaXZpZHVhbHMgdGhhdCBhcmUgaW4gY2xvc2UgcHJveGltaXR5IHRvIG9uZSBhbm90aGVyPyBXZSBjYW4KYWNjb21wbGlzaCB0aGlzIGJ5IGRpdmlkaW5nIG91ciBzdHJhdHVtIGluICJjbHVzdGVycyIgYW5kIHNlbGVjdGluZyBhCnNhbXBsZSBvZiB0aG9zZSBjbHVzdGVycyBmcm9tIHdoaWNoIHdlIHRoZW4gc2VsZWN0IGluZGl2aWR1YWxzIGluIGEKX211bHRpc3RhZ2VfIGRlc2lnbi4gSWYgd2UgZG8gdGhpcywgYW5kIGlmIG91ciBjbHVzdGVycyBoYXZlIGRpZmZlcmVudApzaXplcywgd2Ugb2Z0ZW4gd2FudCB0byBtYWtlIHN1cmUgdGhhdCB0aGUgbGFyZ2VyIGNsdXN0ZXJzIGhhdmUgYQpoaWdoZXIgcHJvYmFiaWxpdHkgb2Ygc2VsZWN0aW9uIChpdCBpcyBlYXNpZXIgdG8gc2VlIGlmIHlvdSB0aGluawphYm91dCBwb3B1bGF0aW9uIHRvdGFscyBhbmQgdGhlIHJlbGF0aXZlIGNvbnRyaWJ1dGlvbiBvZiBsYXJnZSB2ZXJzdXMKc21hbGwgdW5pdHMpLiBUaGlzIGlzIHdoYXQgd2UgY2FsbCAicHJvYmFiaWxpdHkgcHJvcG9ydGlvbmFsIHRvIHNpemUiCnNhbXBsaW5nIChQUFMpLgoKIyBNZXRob2RzIHdpdGggdW5rbm93biBwcm9iYWJpbGl0aWVzCgojIyBRdW90YSBtZXRob2RzCgpXZSBoYXZlIGJlZW4gcmVseWluZyBvbiB0aGUgaWRlYSB0aGF0IHdlIGhhZCBhY2Nlc3MgdG8gdGhlIHBvcHVsYXRpb24KZmlsZS4gV291bGRuJ3QgdGhhdCBqdXN0IGJlIGNvbnZlbmllbnQ/IFRoaW5rIGZvciBhIHNlY29uZCBvbiBob3cgdGhlCnBvcHVsYXRpb24gZmlsZSB3b3VsZCBuZWVkIHRvIGxvb2sgbGlrZSBmb3IgYW4gb3BpbmlvbiBwb2xsLiBTb21ldGltZXMKd2UgZG8gaGF2ZSBhIGxpc3Qgb2YgYWxsIHRoZSBtZW1iZXJzIG9mIHRoZSBwb3B1bGF0aW9uIG9yIHdlIGNhbgpwcm9jZWVkIF9hcyBpZl8gd2UgaGFkIGl0LCBidXQgbW9yZSBvZnRlbiB0aGFuIG5vdCB0aGlzIGlzIG5vdCBob3cKcG9sbGluZyBpcyBjb25kdWN0ZWQuIFdlIHdpbGwgc2VlIG1vcmUgYWJvdXQgd2h5IGluIHRoZSBuZXh0IHNlY3Rpb24uIAoKQSBjb21tb24gd29ya2Fyb3VuZCBpcyB0byB1c2UgYW4gaWRlYSB0aGF0IF9yZXNlbWJsZXNfIHN0cmF0aWZpZWQKc2FtcGxpbmcuIFdlIHdpbGwgZGVmaW5lIHF1b3RhcyBiYXNlZCBvbiBrbm93biBwb3B1bGF0aW9uIHZhbHVlcyBhbmQKd2Ugd2lsbCBpbnRlcnZpZXcgcGVvcGxlIHVudGlsIHRob3NlIHF1b3RhcyBhcmUgZmlsbGVkLiBXZSBmaXJzdCBzdGFydApieSBkZWZpbmluZyB3aGF0IGFyZSB0aGUgY2VsbHMgdGhhdCB3ZSB3YW50IHRvIGZpbGwgb3V0LiBGb3IgaW5zdGFuY2UsCmFnZSBhbmQgZ2VuZGVyICh3aHkgdGhlc2UgdHdvPykuCgpgYGB7cn0KcXVvdGFzIDwtIHByb3AudGFibGUodGFibGUoZnJhbWUkZmFnZSwgZnJhbWUkZ2VuZGVyKSkKcXVvdGFzIDwtIGFzLmRhdGEuZnJhbWUocXVvdGFzKTsgbmFtZXMocXVvdGFzKSA8LSBjKCJmYWdlIiwgImdlbmRlciIsICJmcmVxIikKcXVvdGFzJG4gPC0gcm91bmQocXVvdGFzJGZyZXEqMTAwMCkKcXVvdGFzCmBgYAoKTGV0J3Mgbm93IHNpbXVsYXRlIHRoZSBwcm9jZXNzIG9mIGNvbGxlY3RpbmcgdGhpcyBzYW1wbGUuIFdlIGFyZSBnb2luZwp0byBtYWtlIGEga2V5IHNpbXBsaWZ5aW5nIGFzc3VtcHRpb24uIFdlIGFyZSBqdXN0IGdvaW5nIHRvIHJ1biB0aHJvdWdoCnRoZSBzYW1wbGUgYWZ0ZXIgc29ydGluZyBpdCBhdCByYW5kb20gYW5kIHdlIHdpbGwganVzdCBhZGQgYSBwZXJzb24gdG8Kb3VyIHNhbXBsZSBpZiB0aGUgcGVyc29uIGRvZXNuJ3QgYmVsb25nIHRvIGEgZnVsbCBxdW90YS4gSW4gb3RoZXIKd29yZHMsIGFueW9uZSB3ZSBzZWxlY3Qgd2lsbCByZXNwb25kLgoKYGBge3J9Cm9vIDwtIHNhbXBsZSgxOm5yb3coZnJhbWUpKQp4ZnJhbWUgPC0gZnJhbWVbb28sIF0KeGZyYW1lIDwtIHhmcmFtZVtjb21wbGV0ZS5jYXNlcyh4ZnJhbWUpLCBdCgpOIDwtIDE7IGkgPC0gMQpzcXVvdGEgPC0gbGlzdCgpCgp3aGlsZSAoTiA8IDEwMDEpIHsKICAgIGlmIChpICUlIDUwMCA9PSAwKSB7CiAgICAgICAgcHJpbnQoc3ByaW50ZigiU2Nhbm5lZCAlcyBjYXNlcy4gQ29sbGVjdGVkICVzIGludGVydmlld3MiLCBpLCBOKSkKICAgIH0KICAgIGF2YWlsYWJsZSA8LSBxdW90YXNbcXVvdGFzJGZhZ2UgJWluJSB4ZnJhbWUkZmFnZVtpXSAmCiAgICAgICAgICAgICAgICAgICAgICAgIHF1b3RhcyRnZW5kZXIgJWluJSB4ZnJhbWUkZ2VuZGVyW2ldLCAibiJdCiAgICBpZiAoYXZhaWxhYmxlID4gMCkgewogICAgICAgIHNxdW90YVtbTl1dIDwtIHhmcmFtZVtpLCBdCiAgICAgICAgTiA8LSBOICsgMQogICAgICAgIHF1b3Rhc1txdW90YXMkZmFnZSAlaW4lIHhmcmFtZSRmYWdlW2ldICYKICAgICAgICAgICAgICAgcXVvdGFzJGdlbmRlciAlaW4lIHhmcmFtZSRnZW5kZXJbaV0sICJuIl0gPC0gYXZhaWxhYmxlIC0gMQogICAgfQogICAgaSA8LSBpICsgMQp9CnNxdW90YSA8LSBkby5jYWxsKHJiaW5kLCBzcXVvdGEpCmBgYAoKV2UgY2FuIG5vdyBkZWNsYXJlIGEgZGVzaWduIGZvciBpdC4gSXQgaXMgbm90IGV4YWN0bHkgYSBzdHJhdGlmaWVkCnNhbXBsZSBhbmQgaXQgaXMgZGVmaW5pdGVseSBub3QgYSBzaW1wbGUgcmFuZG9tIHNhbXBsZSBidXQgd2UgY2FuIG1ha2UKYW4gYXJndW1lbnQgdGhhdCBvdXIgYmVzdCBndWVzcyBnaXZlbiB0aGUgcmFuZG9tIHNvcnRpbmcgaXMgdG8gYXNzdW1lCnRoYXQgdGhlIHByb2JhYmlsaXR5IG9mIHNlbGVjdGlvbiBpcyBjb25zdGFudCAoa2VlcCB0aGlzIGlkZWEgaW4gbWluZApmb3IgYSBzZWNvbmQpLgoKYGBge3J9CnN2eXF1b3RhIDwtIHN2eWRlc2lnbihpZD0gfjEsIHdlaWdodHM9IH4xLCBkYXRhPXNxdW90YSkKYGBgCgpXaXRoIHRoaXMgZGVzaWduLCB3ZSBjYW4gbm93IGNvbXB1dGUgdGhlIGRpc3RyaWJ1dGlvbiBvZiwgZm9yCmluc3RhbmNlLCBlZHVjYXRpb24uCgpgYGB7cn0Kc3Z5bWVhbih+IGZlZHVjLCBzdnlxdW90YSkKcHJvcC50YWJsZSh0YWJsZShmcmFtZSRmZWR1YykpCmBgYAoKSXQgZG9lc24ndCBsb29rIGJhZCBhdCBhbGwsIGJ1dCBsZXQncyB0YWtlIGEgbG9vayBhZ2FpbiBhdCBvdXIga2V5CmFzc3VtcHRpb24gYW5kIGhvdyB3ZSBjYW4gZ2V0IGFyb3VuZCBkZXZpYXRpb24gZnJvbSBpdCBpbiB0aGUKZGlmZmVyZW50IGRlc2lnbnMgd2UgaGF2ZSBkaXNjdXNzZWQuIAoKIyBOb25yZXNwb25zZQoKTGV0J3MgYXNzdW1lIHRoYXQgbm90IGV2ZXJ5Ym9keSBjb29wZXJhdGVzIHdpdGggb3VyIGludGVydmlldyBhbmQsCmV2ZW4gbW9yZSByZWFsaXN0aWNhbGx5LCB0aGF0IG5vdCBhbGwgZ3JvdXBzLCBhcyBkZWZpbmVkIGJ5IHRoZWlyCnNvY2lvZGVtb2dyYXBoaWMgY2hhcmFjdGVyaXN0aWNzLCBhbnN3ZXIgYXQgdGhlIHNhbWUgcmF0ZS4gCgpgYGB7cn0KeGIgPC0gLS45ICsKICAgIDEuNSooZnJhbWUkZ2VuZGVyID09ICJtYWxlIikgKwogICAgLS4wNDUqKGZyYW1lJGFnZSAtIDE4KSArCiAgICAuMDAyKigoZnJhbWUkYWdlIC0gMTgpXjIpICsKICAgIC0uMDUqKGZyYW1lJGdlbmRlciA9PSAibWFsZSIpKihmcmFtZSRhZ2UgLSAxOCkgKwogICAgLS4wMiooZnJhbWUkZ2VuZGVyID09ICJtYWxlIikqKGZyYW1lJGFnZSAtIDE4KSArCiAgICAtMi43KihmcmFtZSRmZWR1YyA9PSAicHJpbWFyeSIpICsKICAgIC0xLjIqKGZyYW1lJGZlZHVjID09ICJzZWNvbmRhcnkiKSArCiAgICAxLjQqKGZyYW1lJGZlZHVjID09ICJocyIpICArCiAgICAyLjEqKGZyYW1lJGZlZHVjID09ICJwb3NzZWNvbmRhcnkiKQoKZnJhbWUkcCA8LSAxLygxICsgZXhwKC14YikpCmBgYAoKV2hhdCBoYXBwZW5zIG5vdz8gTGV0J3MgdGFrZSBhbm90aGVyIHNhbXBsZSB0aGF0IHVzZXMgdGhvc2UgcmVzcG9uc2UKcHJvYmFiaWxpdGllcy4KCmBgYHtyfQpmcmFtZV9jb21wbGV0ZXMgPC0gZnJhbWVbY29tcGxldGUuY2FzZXMoZnJhbWUpLCBdCnNycyA8LSBmcmFtZV9jb21wbGV0ZXNbc2FtcGxlKDE6bnJvdyhmcmFtZV9jb21wbGV0ZXMpLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICBzaXplPTEwMDAsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHByb2I9ZnJhbWVfY29tcGxldGVzJHApLCBdCnNhdmVSRFMoc3JzLCBmaWxlLnBhdGgoREFUQURJUiwgIndlaWdodGVkLXNhbXBsZS5SRFMiKSkKc3Z5c3JzIDwtIHN2eWRlc2lnbihpZD0gfjEsIHdlaWdodHM9IH4xLCBkYXRhPXNycykKYGBgCgpBbmQgbGV0J3MgdHJ5IG5vdyBjb21wdXRlIHRoZSBzYW1lIHF1YW50aXRpZXMgYXMgYmVmb3JlLgoKYGBge3J9CnN2eW1lYW4ofiBnZW5kZXIsIHN2eXNycywgbmEucm09VFJVRSkKcHJvcC50YWJsZSh0YWJsZShmcmFtZV9jb21wbGV0ZXMkZ2VuZGVyKSkKYGBgCgpVbnN1cnByaXNpbmdseSwgdGhlIG51bWJlcnMgYXJlIG9mZi4gSW4gdGhpcyBjYXNlLCB3ZSBoYXZlIGFsbCB3ZSBuZWVkCmluIG9yZGVyIHRvIG1ha2UgdGhlIG5lY2Vzc2FyeSBhZGp1c3RtZW50czogd2Uga25vdyB0aGUgcHJvYmFiaWxpdHkKd2l0aCB3aGljaCBlYWNoIGdyb3VwL2luZGl2aWR1YWwgZGlkbid0IGFuc3dlci4gTGV0J3MgdHJ5IGl0OgoKYGBge3J9CnNycyR3ZWlnaHQgPC0gMS9zcnMkcApzcnMkd2VpZ2h0IDwtIHNycyR3ZWlnaHQvbWVhbihzcnMkd2VpZ2h0KQpgYGAKCkEgdGhpbmcgdG8gbm90aWNlIGlzIHRoZSBkaXN0cmlidXRpb24gb2Ygd2VpZ2h0czoKCmBgYHtyfQpzdW1tYXJ5KHNycyR3ZWlnaHQpCmBgYAoKV2Ugbm93IGNhbiB1c2UgcHV0IHRoZXNlIHdlaWdodHMgaW50byBhIG5ldyBkZXNpZ24gb2JqZWN0IGFuZCBvYnRhaW4Kb3VyIGVzdGltYXRlcyBhZ2FpbjoKCmBgYHtyfQpzdnlzcnMgPC0gc3Z5ZGVzaWduKGlkPSB+MSwgd2VpZ2h0cz0gfndlaWdodCwgZGF0YT1zcnMpCnN2eW1lYW4ofiBnZW5kZXIsIHN2eXNycywgbmEucm09VFJVRSkKYGBgCgpJdCB3b3JrcyEgCgpUaGlzIGxhc3Qgc3RlcCwgd2hlbiB3ZSB1c2VkIGFzIHdlaWdodHMgdGhlIHJlc3BvbnNlIHByb2JhYmlsaXR5IG9mCmluZGl2aWR1YWxzIGZlbHQgYSBiaXQgbGlrZSBjaGVhdGluZy4gSW4gcmVhbCBhcHBsaWNhdGlvbnMgd2UgZG9uJ3QKaGF2ZSB0aGlzIHBpZWNlIG9mIGluZm9ybWF0aW9uIGFuZCwgbW9yZSBpbXBvcnRhbnQsIHdlIGNhbm5vdCBlc3RpbWF0ZQppdCBieSBsb29raW5nIG9ubHkgYXQgdGhlIHBlb3BsZSB3aG8gZGlkIHBhcnRpY2lwYXRlLiBIb3dldmVyLCB3aGVuIHdlCnRoaW5rIGFib3V0IHNhbXBsZXMgZXh0cmFjdGVkIGZyb20gYW4gZW51bWVyYXRpb24gd2l0aCBzb21lIGF1eGlsaWFyeQp2YXJpYWJsZXMgd2UgY2FuIHN0YXJ0IG1ha2luZyByZWFzb25hYmxlIGd1ZXNzZXMuIFRoaW5rIG5vdyBhYm91dCBvdXIKcXVvdGEgc2FtcGxlLiBBbGwgd2Ugc2VlIGlzIHRoYXQgc29tZSBwZW9wbGUgZG9uJ3QgYW5zd2VyIGJ1dCB3ZQpjYW5ub3QgY29sbGVjdCBhbnkgYXR0cmlidXRlIGZyb20gdGhvc2Ugd2Ugc2VsZWN0ZWQgKGJleW9uZCBndWVzc2VzKS4KQWxzbywgaW4gdGhlIHByb2JhYmlsaXR5IGZyYW1ld29yayB3ZSBrbm93IHRoZSBwcm9iYWJpbGl0eSB3aXRoIHdoaWNoCmVhY2ggY2FuZGlkYXRlIHdhcyBzZWxlY3RlZCwgd2hpY2ggd2UgY2FuIGNvbWJpbmUgd2l0aCBvdXIgcHJvYmFiaWxpdHkKb2Ygbm9ucmVzcG9uc2UuIEJ1dCB3aGF0IGFib3V0IG91ciBxdW90YSBtZXRob2Q/IAoKVGhpbmsgbm93IGFib3V0IGEgc3BlY2lmaWMgdHlwZSBvZiBzYW1wbGUsIHN1Y2ggYXMgYW4gSW50ZXJuZXQgcG9sbAp0aHJvdWdoIHRoZSBjb25jZXB0cyB0aGF0IHdlIGhhdmUganVzdCBkaXNjdXNzZWQuIFRoaW5rLCBmb3IgaW5zdGFuY2UsCmFib3V0IHRoZSBzZWxlY3Rpb24gcHJvYmFiaWxpdHkgaW4gdGhlIGNhc2Ugb2YgYSBzdXJ2ZXkgbGluayBwb3N0ZWQgb24KVHdpdHRlci4gSW4gcGFydGljdWxhciwgYWJvdXQgdGhlIHBlb3BsZSB3aXRoIHplcm8gcHJvYmFiaWxpdHkgb2YKc2VsZWN0aW9uIChXaGF0IGFyZSB0aGUgZGlmZmVyZW50IHN0ZXBzIHRoYXQgbWFrZSBzb21lb25lIGhhdmUgYQpub24temVybyBwcm9iYWJpbGl0eT8pIGFuZCBhYm91dCBob3cgbXVjaCB5b3Uga25vdyBhYm91dCB0aG9zZSB3aXRoCm5vbi16ZXJvIHByb2JhYmlsaXR5LiBBcyBhIHRob3VnaHQgZXhwZXJpbWVudCwgdGhpbmsgYWJvdXQgdGhlIGlkZWFsCmRhdGEgeW91IHdvdWxkIG5lZWQgaW4gb3JkZXIgdG8gcmVjb3ZlciBzb21ldGhpbmcgbGlrZSB0aGUgd2VpZ2h0IHdlCnVzZWQgYWJvdmUuIAoKCg==