Creative Commons License

1 Smelly armpit example

  • Smelly armpits are not caused by sweat, itself. The smell is caused by specific micro-organisms belonging to the group of Corynebacterium spp. that metabolise sweat. Another group of abundant bacteria are the Staphylococcus spp., these bacteria do not metabolise sweat in smelly compounds.

  • The CMET-group at Ghent University does research to on transplanting the armpit microbiome to save people with smelly armpits.

  • Proposed Therapy:

    1. Remove armpit-microbiome with antibiotics
    2. Influence armpit microbiome with microbial transplant (https://youtu.be/9RIFyqLXdVw)
  • Experiment:

    • 20 subjects with smelly armpits are attributed to one of two treatment groups
    • placebo (only antibiotics)
    • transplant (antibiotica followed by microbial transplant).
    • The microbiome is sampled 6 weeks upon the treatment
    • The relative abundance of Staphylococcus spp. on Corynebacterium spp. + Staphylococcus spp. in the microbiome is measured via DGGE (Denaturing Gradient Gel Electrophoresis).

1.1 Import the data

ap <- read_csv("https://raw.githubusercontent.com/GTPB/PSLS20/master/data/armpit.csv")
ap

1.2 Data exploration

We plot the direct relative abundances in function of the treatment group. With the ggplot2 library we can easily build plots by adding layers.

ap %>% ggplot(aes(x = trt, y = rel)) +
  geom_boxplot(outlier.shape = NA) +
  geom_point(position = "jitter")

ap %>% ggplot(aes(sample = rel)) +
  geom_qq() +
  geom_qq_line() +
  facet_wrap(~trt)


2 Two sample T-test

2.1 Notation

Suppose that \(Y_{ij}\) is the response for subjects \(i=1,\ldots, n_j\) from population \(j=1,2\).

Use of the term treatment or group instead of population

Here the treatment is \(j=1\) microbial transplant vs \(j=2\) placebo.

We assume

\[Y_{ij}\text{ i.i.d. } N(\mu_j,\sigma^2)\;\;\;i=1,\ldots,n_i\;j=1,2.\]

Note, that we assume equal variances homoscedastic

(Unequal variances are referred to as heteroscedastic)


2.2 Hypotheses

Test \[ H_0: \mu_1 = \mu_2 \] against \[ H_1: \mu_1 \neq \mu_2 .\]

\(H_1\) is again the research hypothesis: the average relative abundance of Staphylococcus spp. is different upon microbial transplant then upon placebo treatment.

\(H_0\) and \(H_1\) can also be specified in terms of the effect size between the two treatments, \(\mu_1-\mu_2\) \[H_0: \mu_1-\mu_2 = 0,\] \[H_1: \mu_1-\mu_2 \neq 0.\]

We can estimate the effect size using the difference in sample means: \[\hat \mu_1-\hat \mu_2=\bar Y_1 -\bar Y_2.\]


2.3 Variance estimator

The experimental units are independent so the sample means are also independent and the variance on the difference is \[\text{Var}_{\bar Y_1 -\bar Y_2}=\frac{\sigma^2}{n_1}+\frac{\sigma^2}{n_2}=\sigma^2 \left(\frac{1}{n_1}+\frac{1}{n_2}\right).\]

And the standard error becomes \[\sigma_{\bar Y_1 -\bar Y_2}=\sigma\sqrt{\frac{1}{n_1}+\frac{1}{n_2}}.\]

The variance can be estimated within each group using the sample variance:

\[S_1^2 = \frac{1}{n_1-1}\sum_{i=1}^{n_1} (Y_{i1}-\bar{Y}_1)^2.\]

\[S_2^2 = \frac{1}{n_2-1}\sum_{i=1}^{n_2} (Y_{i2}-\bar{Y}_2)^2.\]

But, if we assume equal variances \(\sigma_1^2=\sigma_2^2=\sigma^2\) than we can estimate the variance more precise by using all observations in both groups. This variance estimator is also referred to as the pooled variance estimator: \(S^2_p\).

So \(S_1^2\) en \(S_2^2\) are estimators of the same parameter \(\sigma^2\).

And we can combine them into one estimator based on all \(n_1+n_2\) observations:

\[ S_p^2 = \frac{n_1-1}{n_1+n_2-2} S_1^2 + \frac{n_2-1}{n_1+n_2-2} S_2^2 = \frac{1}{n_1+n_2-2}\sum_{j=1}^2\sum_{i=1}^{n_j} (Y_{ij} - \bar{Y}_j)^2.\]

\[ S_p^2= \sum\limits_{j=1}^2\sum\limits_{i=1}^{n_j} \frac{(Y_{ij}-\bar{Y}_{.j})^2}{n_1+n_2-2}\]

The pooled variance estimator uses the squared deviations of the observations from their group mean and has \(n_1+n_2-2\) degrees of freedom.


2.4 Test statistic

Two-sample \(t\)-teststatistiek:

\[T = \frac{\bar{Y}_1-\bar{Y}_2}{\sqrt{\frac{S_p^2}{n_1}+\frac{S_p^2}{n_2}}} = \frac{\bar{Y}_1 - \bar{Y}_2}{S_p\sqrt{\frac{1}{n_1}+\frac{1}{n_2}}}.\]

The statistic T follows a t-distribution with \(n_1+n_2-2\) under \(H_0\) is all data are independent, normally distributed and have equal variances.


2.5 Armpit example

We can implement the test in R:

t.test(rel ~ trt, data = ap, var.equal = TRUE)

    Two Sample t-test

data:  rel by trt
t = -5.0334, df = 18, p-value = 8.638e-05
alternative hypothesis: true difference in means between group placebo and group transplant is not equal to 0
95 percent confidence interval:
 -31.53191 -12.96072
sample estimates:
   mean in group placebo mean in group transplant 
                44.15496                 66.40127 

On the \(5\%\) significance level we reject the null hypothesis in favor of the alternative hypothesis and conclude that the relative abundance of Staphylococcus spp. is on average extreme significant larger is in transplantation group than in the placebo group.

If there is no effect of the transplant we have a probability of less then 9 in \(100000\) to observe a test statistic in a random sample that is at least as extreme as what we observed in the armpit experiment.

This is extremely rare under \(H_0\).

If \(H_1\) is correct, we expect that the test statistic is larger in absolute value and expect small p-values. Hence we decide that there is a lot of evidence against \(H_0\) in favour of \(H_1\).

Good statistical practice is to report the \(p\)-value, but also effect size along with its confidence interval. So that we can judge the statistical significance and the biological relevance.

2.5.1 Conclusion

On average the relative abundance of Staphylococcus spp. in the microbiome of the armpit in the transplant group is extremely significantly different from that in the placebo group (\(p<<0.001\)). The relative abundance of Staphylococcus spp. is on average 22.2% larger in the transplant group than in the placebo group (95% CI [13.0,31.5]%).


3 Assumptions

Validity of t-test depends on distributional assumptions:

  • Independence (design)
  • One-sample t-test: normality of the observations
  • Paired t-test: normality of the difference
  • Two-sample t-test: Normality of the observations in both groups, and equal variances.

If the assumptions are not met, the null distribution does not follow a t-distribution, and, the p-values and critical values are incorrect.

To construct confidence intervals we also rely on these assumptions.

  • We used quantiles from the t-distribution to calculate the lower and upper limit.

  • The correct coverage of the CI depends on these assumptions


3.1 Evaluate normality

  • Boxplots and histograms: shape of distribution and outliers

  • QQ-plots

There also exist hypothesis tests (goodness-of-fit test), but their null hypothesis is that the data are normally distributed so we make a weak conclusion!

  • Kolmogorov-Smirnov, Shapiro-Wilk en Anderson-Darling.
  • In small samples they have a low power
  • In large samples they often flag very small deviations as significant

Recommendation

  • Start with graphical exploration of the data and keep the sample size in mind to avoid overinterpretation of the plots.

  • If you have doubts, use simulation where you simulate data with the same sample size from a Normal distribution with the same mean and variance as the one that you observed in the sample

  • If you observed deviations of normality check in the literature how sensitive your method is such deviations of normality. (e.g. T-tests for instance are rather insensitive to deviations as long as the distribution of the data is symmetric.)

  • In large samples you can resort to the central limit theorem.

  • You might resort to transformations of the response.


3.2 Homoscedasticity

  • Boxplots: The box size is the inter quartile range (IQR) a robust estimator of the variance.

  • If the differences are not large \(\rightarrow\) homoscedasticiteit

  • Again you can use simulation to get insight in the differences you can expect.

  • Formal F-test can be used to compare the variances, but again under the null you assume equal variances, so the same criticism as for normality tests applies here.


3.3 Welch modified t-test

If the data are heteroscedastic, you can use a Welch two-sample T-test, which no longer uses the pooled variance estimator.

\[T = \frac{\bar{Y}_1 - \bar{Y}_2}{\sqrt{\frac{S^2_1}{n_1}+\frac{S^2_2}{n_2}}}\] with \(S^2_1\) en \(S^2_2\) the sample variances in both groups.

This statistic follows approximately a t-distribution with a number of degrees of freedom between \(\text{min}(n_1-1,n_2-1)\) and \(n_1+n_2-2\).

In R the degrees of freedom are estimated using the Welch- Satterthwaite approximation. You can do this by using the t.test function with argument var.equal=FALSE.

t.test(rel ~ trt, data = ap, var.equal = FALSE)

    Welch Two Sample t-test

data:  rel by trt
t = -5.0334, df = 15.892, p-value = 0.0001249
alternative hypothesis: true difference in means between group placebo and group transplant is not equal to 0
95 percent confidence interval:
 -31.62100 -12.87163
sample estimates:
   mean in group placebo mean in group transplant 
                44.15496                 66.40127 

Note that you can see that the Welch T-test is adopted in the title. The adjusted degrees of freedom are \(df = 17.876\) \(\pm\) to that of the conventional T-test, because the variances are approximately equal.


4 How to report?

  • In the scientific literature there is too much attention for p-values

  • It is much more informative to combine an estimate with its confidence interval.

Rule of thumb:

Report an estimate together with its confidence interval (and its p-value)

  1. The result of the test can be derived of the confidence interval
  2. It allows the reader to judge scientific relevance.
t.test(rel ~ trt, data = ap)

    Welch Two Sample t-test

data:  rel by trt
t = -5.0334, df = 15.892, p-value = 0.0001249
alternative hypothesis: true difference in means between group placebo and group transplant is not equal to 0
95 percent confidence interval:
 -31.62100 -12.87163
sample estimates:
   mean in group placebo mean in group transplant 
                44.15496                 66.40127 

The result of an \(\alpha\)-level t-test is equivalent with comparing the effect size under \(H_0\) with the \(1-\alpha\) CI.

An effect can be extremely statistically significant, but scientifically irrelevant. With a CI you will spot this.

LS0tCnRpdGxlOiAiNS4gU3RhdGlzdGljYWwgSW5mZXJlbmNlOiBUd28tc2FtcGxlIHQtdGVzdCIKYXV0aG9yOiAiTGlldmVuIENsZW1lbnQiCmRhdGU6ICJzdGF0T21pY3MsIEdoZW50IFVuaXZlcnNpdHkgKGh0dHBzOi8vc3RhdG9taWNzLmdpdGh1Yi5pbykiCi0tLQoKPGEgcmVsPSJsaWNlbnNlIiBocmVmPSJodHRwczovL2NyZWF0aXZlY29tbW9ucy5vcmcvbGljZW5zZXMvYnktbmMtc2EvNC4wIj48aW1nIGFsdD0iQ3JlYXRpdmUgQ29tbW9ucyBMaWNlbnNlIiBzdHlsZT0iYm9yZGVyLXdpZHRoOjAiIHNyYz0iaHR0cHM6Ly9pLmNyZWF0aXZlY29tbW9ucy5vcmcvbC9ieS1uYy1zYS80LjAvODh4MzEucG5nIiAvPjwvYT4KCmBgYHtyIHNldHVwLCBpbmNsdWRlPUZBTFNFLCBjYWNoZT1GQUxTRX0Ka25pdHI6Om9wdHNfY2h1bmskc2V0KAogIGluY2x1ZGUgPSBUUlVFLCBjb21tZW50ID0gTkEsIGVjaG8gPSBUUlVFLAogIG1lc3NhZ2UgPSBGQUxTRSwgd2FybmluZyA9IEZBTFNFLCBjYWNoZSA9IFRSVUUKKQpsaWJyYXJ5KHRpZHl2ZXJzZSkKYGBgCgojIFNtZWxseSBhcm1waXQgZXhhbXBsZQoKLSBTbWVsbHkgYXJtcGl0cyBhcmUgbm90IGNhdXNlZCBieSBzd2VhdCwgaXRzZWxmLiBUaGUgc21lbGwgaXMgY2F1c2VkIGJ5IHNwZWNpZmljIG1pY3JvLW9yZ2FuaXNtcyBiZWxvbmdpbmcgdG8gdGhlIGdyb3VwIG9mICpDb3J5bmViYWN0ZXJpdW0gc3BwLiogdGhhdCBtZXRhYm9saXNlIHN3ZWF0LgpBbm90aGVyIGdyb3VwIG9mIGFidW5kYW50IGJhY3RlcmlhIGFyZSB0aGUgKlN0YXBoeWxvY29jY3VzIHNwcC4qLCB0aGVzZSBiYWN0ZXJpYSBkbyBub3QgbWV0YWJvbGlzZSBzd2VhdCBpbiBzbWVsbHkgY29tcG91bmRzLgoKLSBUaGUgQ01FVC1ncm91cCBhdCBHaGVudCBVbml2ZXJzaXR5IGRvZXMgcmVzZWFyY2ggdG8gb24gdHJhbnNwbGFudGluZyB0aGUgYXJtcGl0IG1pY3JvYmlvbWUgdG8gc2F2ZSBwZW9wbGUgd2l0aCBzbWVsbHkgYXJtcGl0cy4KCi0gUHJvcG9zZWQgVGhlcmFweToKICAJMS4gUmVtb3ZlIGFybXBpdC1taWNyb2Jpb21lIHdpdGggYW50aWJpb3RpY3MKICAgIDIuIEluZmx1ZW5jZSBhcm1waXQgbWljcm9iaW9tZSB3aXRoIG1pY3JvYmlhbCAgdHJhbnNwbGFudCAoaHR0cHM6Ly95b3V0dS5iZS85UklGeXFMWGRWdykKCi0gRXhwZXJpbWVudDoKCiAgICAtIDIwIHN1YmplY3RzIHdpdGggc21lbGx5IGFybXBpdHMgYXJlIGF0dHJpYnV0ZWQgdG8gb25lIG9mIHR3byB0cmVhdG1lbnQgZ3JvdXBzCiAgICAtIHBsYWNlYm8gKG9ubHkgYW50aWJpb3RpY3MpCiAgICAtIHRyYW5zcGxhbnQgKGFudGliaW90aWNhIGZvbGxvd2VkIGJ5IG1pY3JvYmlhbCB0cmFuc3BsYW50KS4KICAgIC0gVGhlIG1pY3JvYmlvbWUgaXMgc2FtcGxlZCA2IHdlZWtzIHVwb24gdGhlIHRyZWF0bWVudAogICAgLSBUaGUgcmVsYXRpdmUgYWJ1bmRhbmNlIG9mICpTdGFwaHlsb2NvY2N1cyBzcHAuKiBvbiAqQ29yeW5lYmFjdGVyaXVtIHNwcC4qICsgKlN0YXBoeWxvY29jY3VzIHNwcC4qIGluIHRoZSBtaWNyb2Jpb21lIGlzIG1lYXN1cmVkIHZpYSBER0dFICgqRGVuYXR1cmluZyBHcmFkaWVudCBHZWwgRWxlY3Ryb3Bob3Jlc2lzKikuCgotLS0KCiMjIEltcG9ydCB0aGUgZGF0YQoKYGBge3J9CmFwIDwtIHJlYWRfY3N2KCJodHRwczovL3Jhdy5naXRodWJ1c2VyY29udGVudC5jb20vR1RQQi9QU0xTMjAvbWFzdGVyL2RhdGEvYXJtcGl0LmNzdiIpCmFwCmBgYAoKIyMgRGF0YSBleHBsb3JhdGlvbgoKV2UgcGxvdCB0aGUgZGlyZWN0IHJlbGF0aXZlIGFidW5kYW5jZXMgaW4gZnVuY3Rpb24gb2YgdGhlIHRyZWF0bWVudCBncm91cC4gV2l0aCB0aGUgZ2dwbG90MiBsaWJyYXJ5IHdlIGNhbiBlYXNpbHkgYnVpbGQgcGxvdHMgYnkgYWRkaW5nIGxheWVycy4KCmBgYHtyfQphcCAlPiUgZ2dwbG90KGFlcyh4ID0gdHJ0LCB5ID0gcmVsKSkgKwogIGdlb21fYm94cGxvdChvdXRsaWVyLnNoYXBlID0gTkEpICsKICBnZW9tX3BvaW50KHBvc2l0aW9uID0gImppdHRlciIpCgphcCAlPiUgZ2dwbG90KGFlcyhzYW1wbGUgPSByZWwpKSArCiAgZ2VvbV9xcSgpICsKICBnZW9tX3FxX2xpbmUoKSArCiAgZmFjZXRfd3JhcCh+dHJ0KQpgYGAKCi0tLQoKIyBUd28gc2FtcGxlIFQtdGVzdAojIyBOb3RhdGlvbgoKU3VwcG9zZSB0aGF0ICRZX3tpan0kIGlzIHRoZSByZXNwb25zZSBmb3Igc3ViamVjdHMgJGk9MSxcbGRvdHMsIG5faiQgZnJvbSBwb3B1bGF0aW9uICRqPTEsMiQuCgpVc2Ugb2YgdGhlIHRlcm0gKip0cmVhdG1lbnQqKiBvciAqKmdyb3VwKiogaW5zdGVhZCBvZiBwb3B1bGF0aW9uCgpIZXJlIHRoZSB0cmVhdG1lbnQgaXMgJGo9MSQgbWljcm9iaWFsIHRyYW5zcGxhbnQgdnMgJGo9MiQgcGxhY2Viby4KCldlIGFzc3VtZQoKJCRZX3tpan1cdGV4dHsgaS5pLmQuIH0gTihcbXVfaixcc2lnbWFeMilcO1w7XDtpPTEsXGxkb3RzLG5faVw7aj0xLDIuJCQKCk5vdGUsIHRoYXQgd2UgYXNzdW1lIGVxdWFsIHZhcmlhbmNlcyAqKmhvbW9zY2VkYXN0aWMqKgoKKFVuZXF1YWwgdmFyaWFuY2VzIGFyZSByZWZlcnJlZCB0byBhcyAgKipoZXRlcm9zY2VkYXN0aWMqKikKCi0tLQoKIyMgSHlwb3RoZXNlcwoKVGVzdCAkJCBIXzA6IFxtdV8xID0gXG11XzIgJCQKYWdhaW5zdAokJCAgSF8xOiBcbXVfMSBcbmVxIFxtdV8yIC4kJAoKJEhfMSQgaXMgYWdhaW4gdGhlIHJlc2VhcmNoIGh5cG90aGVzaXM6IHRoZSBhdmVyYWdlIHJlbGF0aXZlIGFidW5kYW5jZSBvZiAqU3RhcGh5bG9jb2NjdXMgc3BwLiogaXMgZGlmZmVyZW50IHVwb24gbWljcm9iaWFsIHRyYW5zcGxhbnQgdGhlbiB1cG9uIHBsYWNlYm8gdHJlYXRtZW50LgoKJEhfMCQgYW5kICRIXzEkIGNhbiBhbHNvIGJlIHNwZWNpZmllZCBpbiB0ZXJtcyBvZiB0aGUgZWZmZWN0IHNpemUgYmV0d2VlbiB0aGUgdHdvIHRyZWF0bWVudHMsICRcbXVfMS1cbXVfMiQKJCRIXzA6IFxtdV8xLVxtdV8yID0gMCwkJAokJEhfMTogXG11XzEtXG11XzIgXG5lcSAwLiQkCgpXZSBjYW4gZXN0aW1hdGUgdGhlIGVmZmVjdCBzaXplIHVzaW5nIHRoZSBkaWZmZXJlbmNlIGluIHNhbXBsZSBtZWFuczoKJCRcaGF0IFxtdV8xLVxoYXQgXG11XzI9XGJhciBZXzEgLVxiYXIgWV8yLiQkCgotLS0KCiMjIFZhcmlhbmNlIGVzdGltYXRvcgoKVGhlIGV4cGVyaW1lbnRhbCB1bml0cyBhcmUgaW5kZXBlbmRlbnQgc28gdGhlIHNhbXBsZSBtZWFucyBhcmUgYWxzbyBpbmRlcGVuZGVudCBhbmQgdGhlIHZhcmlhbmNlIG9uIHRoZSBkaWZmZXJlbmNlIGlzCiQkXHRleHR7VmFyfV97XGJhciBZXzEgLVxiYXIgWV8yfT1cZnJhY3tcc2lnbWFeMn17bl8xfStcZnJhY3tcc2lnbWFeMn17bl8yfT1cc2lnbWFeMiBcbGVmdChcZnJhY3sxfXtuXzF9K1xmcmFjezF9e25fMn1ccmlnaHQpLiQkCgpBbmQgdGhlIHN0YW5kYXJkIGVycm9yIGJlY29tZXMKJCRcc2lnbWFfe1xiYXIgWV8xIC1cYmFyIFlfMn09XHNpZ21hXHNxcnR7XGZyYWN7MX17bl8xfStcZnJhY3sxfXtuXzJ9fS4kJAoKVGhlIHZhcmlhbmNlIGNhbiBiZSBlc3RpbWF0ZWQgd2l0aGluIGVhY2ggZ3JvdXAgdXNpbmcgdGhlIHNhbXBsZSB2YXJpYW5jZToKCiQkU18xXjIgPSBcZnJhY3sxfXtuXzEtMX1cc3VtX3tpPTF9XntuXzF9IChZX3tpMX0tXGJhcntZfV8xKV4yLiQkCgokJFNfMl4yID0gXGZyYWN7MX17bl8yLTF9XHN1bV97aT0xfV57bl8yfSAoWV97aTJ9LVxiYXJ7WX1fMileMi4kJAoKQnV0LCBpZiB3ZSBhc3N1bWUgZXF1YWwgdmFyaWFuY2VzICRcc2lnbWFfMV4yPVxzaWdtYV8yXjI9XHNpZ21hXjIkIHRoYW4gd2UgY2FuIGVzdGltYXRlIHRoZSB2YXJpYW5jZSBtb3JlIHByZWNpc2UgYnkgdXNpbmcgYWxsIG9ic2VydmF0aW9ucyBpbiBib3RoIGdyb3Vwcy4gVGhpcyB2YXJpYW5jZSBlc3RpbWF0b3IgaXMgYWxzbyByZWZlcnJlZCB0byBhcyB0aGUgKnBvb2xlZCB2YXJpYW5jZSBlc3RpbWF0b3I6ICRTXjJfcCQqLgoKU28gJFNfMV4yJCBlbiAkU18yXjIkIGFyZSBlc3RpbWF0b3JzIG9mIHRoZSBzYW1lIHBhcmFtZXRlciAkXHNpZ21hXjIkLgoKQW5kIHdlIGNhbiBjb21iaW5lIHRoZW0gaW50byBvbmUgZXN0aW1hdG9yIGJhc2VkIG9uIGFsbCAkbl8xK25fMiQgb2JzZXJ2YXRpb25zOgoKJCQgIFNfcF4yID0gXGZyYWN7bl8xLTF9e25fMStuXzItMn0gU18xXjIgKyBcZnJhY3tuXzItMX17bl8xK25fMi0yfSBTXzJeMiA9IFxmcmFjezF9e25fMStuXzItMn1cc3VtX3tqPTF9XjJcc3VtX3tpPTF9XntuX2p9IChZX3tpan0gLSBcYmFye1l9X2opXjIuJCQKCiQkIFNfcF4yPSBcc3VtXGxpbWl0c197aj0xfV4yXHN1bVxsaW1pdHNfe2k9MX1ee25fan0gXGZyYWN7KFlfe2lqfS1cYmFye1l9X3suan0pXjJ9e25fMStuXzItMn0kJAoKClRoZSBwb29sZWQgdmFyaWFuY2UgZXN0aW1hdG9yIHVzZXMgdGhlIHNxdWFyZWQgZGV2aWF0aW9ucyBvZiB0aGUgb2JzZXJ2YXRpb25zIGZyb20gdGhlaXIgZ3JvdXAgbWVhbiBhbmQgaGFzICRuXzErbl8yLTIkIGRlZ3JlZXMgb2YgZnJlZWRvbS4KCi0tLQoKIyMgVGVzdCBzdGF0aXN0aWMKVHdvLXNhbXBsZSAkdCQtdGVzdHN0YXRpc3RpZWs6CgokJFQgPSBcZnJhY3tcYmFye1l9XzEtXGJhcntZfV8yfXtcc3FydHtcZnJhY3tTX3BeMn17bl8xfStcZnJhY3tTX3BeMn17bl8yfX19ID0KICBcZnJhY3tcYmFye1l9XzEgLSBcYmFye1l9XzJ9e1NfcFxzcXJ0e1xmcmFjezF9e25fMX0rXGZyYWN7MX17bl8yfX19LiQkCgpUaGUgc3RhdGlzdGljIFQgZm9sbG93cyBhIHQtZGlzdHJpYnV0aW9uIHdpdGggJG5fMStuXzItMiQgdW5kZXIgJEhfMCQgaXMgYWxsIGRhdGEgYXJlIGluZGVwZW5kZW50LCBub3JtYWxseSBkaXN0cmlidXRlZCBhbmQgaGF2ZSBlcXVhbCB2YXJpYW5jZXMuCgotLS0KCiMjIEFybXBpdCBleGFtcGxlCgpXZSBjYW4gaW1wbGVtZW50IHRoZSB0ZXN0IGluIFI6CgpgYGB7cn0KdC50ZXN0KHJlbCB+IHRydCwgZGF0YSA9IGFwLCB2YXIuZXF1YWwgPSBUUlVFKQpgYGAKCk9uIHRoZSAkNVwlJCBzaWduaWZpY2FuY2UgbGV2ZWwgd2UgcmVqZWN0IHRoZSBudWxsIGh5cG90aGVzaXMgaW4gZmF2b3Igb2YgdGhlIGFsdGVybmF0aXZlIGh5cG90aGVzaXMgYW5kIGNvbmNsdWRlIHRoYXQgdGhlIHJlbGF0aXZlIGFidW5kYW5jZSBvZiAgKlN0YXBoeWxvY29jY3VzIHNwcC4qIGlzIG9uIGF2ZXJhZ2UgZXh0cmVtZSBzaWduaWZpY2FudCBsYXJnZXIgaXMgaW4gdHJhbnNwbGFudGF0aW9uIGdyb3VwIHRoYW4gaW4gdGhlIHBsYWNlYm8gZ3JvdXAuCgpJZiB0aGVyZSBpcyBubyBlZmZlY3Qgb2YgdGhlIHRyYW5zcGxhbnQgd2UgaGF2ZSBhIHByb2JhYmlsaXR5IG9mIGxlc3MgdGhlbiA5IGluICQxMDAwMDAkIHRvIG9ic2VydmUgYSB0ZXN0IHN0YXRpc3RpYyBpbiBhIHJhbmRvbSBzYW1wbGUgdGhhdCBpcyBhdCBsZWFzdCBhcyBleHRyZW1lIGFzIHdoYXQgd2Ugb2JzZXJ2ZWQgaW4gdGhlIGFybXBpdCBleHBlcmltZW50LgoKVGhpcyBpcyBleHRyZW1lbHkgcmFyZSB1bmRlciAkSF8wJC4KCklmICRIXzEkIGlzIGNvcnJlY3QsIHdlIGV4cGVjdCB0aGF0IHRoZSB0ZXN0IHN0YXRpc3RpYyBpcyBsYXJnZXIgaW4gYWJzb2x1dGUgdmFsdWUgYW5kIGV4cGVjdCBzbWFsbCBwLXZhbHVlcy4gSGVuY2Ugd2UgZGVjaWRlIHRoYXQgdGhlcmUgaXMgYSBsb3Qgb2YgZXZpZGVuY2UgYWdhaW5zdCAkSF8wJCBpbiBmYXZvdXIgb2YgJEhfMSQuCgoqKkdvb2Qgc3RhdGlzdGljYWwgcHJhY3RpY2UqKiBpcyB0byByZXBvcnQgdGhlICRwJC12YWx1ZSwgYnV0IGFsc28gIGVmZmVjdCBzaXplIGFsb25nIHdpdGggaXRzIGNvbmZpZGVuY2UgaW50ZXJ2YWwuIFNvIHRoYXQgd2UgY2FuIGp1ZGdlIHRoZSBzdGF0aXN0aWNhbCBzaWduaWZpY2FuY2UgYW5kIHRoZSBiaW9sb2dpY2FsIHJlbGV2YW5jZS4KCiMjIyBDb25jbHVzaW9uCgpPbiBhdmVyYWdlIHRoZSByZWxhdGl2ZSBhYnVuZGFuY2Ugb2YgKlN0YXBoeWxvY29jY3VzIHNwcC4qIGluIHRoZSBtaWNyb2Jpb21lIG9mIHRoZSBhcm1waXQgaW4gdGhlIHRyYW5zcGxhbnQgZ3JvdXAgaXMgZXh0cmVtZWx5IHNpZ25pZmljYW50bHkgZGlmZmVyZW50IGZyb20gdGhhdCBpbiB0aGUgcGxhY2VibyBncm91cCAoJHA8PDAuMDAxJCkuIFRoZSByZWxhdGl2ZSBhYnVuZGFuY2Ugb2YgKlN0YXBoeWxvY29jY3VzIHNwcC4qIGlzIG9uIGF2ZXJhZ2UgYHIgcm91bmQoZGlmZih0LnRlc3QocmVsfnRydCxkYXRhPWFwLHZhci5lcXVhbD1UUlVFKSRlc3RpbWF0ZSksMSlgJSBsYXJnZXIgaW4gdGhlIHRyYW5zcGxhbnQgZ3JvdXAgdGhhbiBpbiB0aGUgcGxhY2VibyBncm91cCAoOTVcJSBDSSBbYHIgcGFzdGUoZm9ybWF0KC10LnRlc3QocmVsfnRydCxkYXRhPWFwLHZhci5lcXVhbD1UUlVFKSRjb25mLmludFsyOjFdLGRpZ2l0cz0yLG5zbWFsbD0xKSxjb2xsYXBzZT0iLCIpYF0lKS4KCi0tLQoKIyBBc3N1bXB0aW9ucwoKVmFsaWRpdHkgb2YgdC10ZXN0IGRlcGVuZHMgb24gZGlzdHJpYnV0aW9uYWwgYXNzdW1wdGlvbnM6CgotIEluZGVwZW5kZW5jZSAoZGVzaWduKQotIE9uZS1zYW1wbGUgdC10ZXN0OiBub3JtYWxpdHkgb2YgdGhlIG9ic2VydmF0aW9ucwotIFBhaXJlZCB0LXRlc3Q6IG5vcm1hbGl0eSBvZiB0aGUgZGlmZmVyZW5jZQotIFR3by1zYW1wbGUgdC10ZXN0OiBOb3JtYWxpdHkgb2YgdGhlIG9ic2VydmF0aW9ucyBpbiBib3RoIGdyb3VwcywgYW5kIGVxdWFsIHZhcmlhbmNlcy4KCklmIHRoZSBhc3N1bXB0aW9ucyBhcmUgbm90IG1ldCwgdGhlIG51bGwgZGlzdHJpYnV0aW9uIGRvZXMgbm90IGZvbGxvdyBhIHQtZGlzdHJpYnV0aW9uLCBhbmQsIHRoZSBwLXZhbHVlcyBhbmQgY3JpdGljYWwgdmFsdWVzIGFyZSBpbmNvcnJlY3QuCgpUbyBjb25zdHJ1Y3QgY29uZmlkZW5jZSBpbnRlcnZhbHMgd2UgYWxzbyByZWx5IG9uIHRoZXNlIGFzc3VtcHRpb25zLgoKLSBXZSB1c2VkIHF1YW50aWxlcyBmcm9tIHRoZSB0LWRpc3RyaWJ1dGlvbiB0byBjYWxjdWxhdGUgdGhlIGxvd2VyIGFuZCB1cHBlciBsaW1pdC4KCi0gVGhlIGNvcnJlY3QgY292ZXJhZ2Ugb2YgdGhlIENJIGRlcGVuZHMgb24gdGhlc2UgYXNzdW1wdGlvbnMKCi0tLQoKIyMgRXZhbHVhdGUgbm9ybWFsaXR5CgogLSBCb3hwbG90cyBhbmQgaGlzdG9ncmFtczogc2hhcGUgb2YgZGlzdHJpYnV0aW9uIGFuZCBvdXRsaWVycwoKIC0gUVEtcGxvdHMKClRoZXJlIGFsc28gZXhpc3QgaHlwb3RoZXNpcyB0ZXN0cyAoZ29vZG5lc3Mtb2YtZml0IHRlc3QpLCBidXQgdGhlaXIgbnVsbCBoeXBvdGhlc2lzIGlzIHRoYXQgdGhlIGRhdGEgYXJlIG5vcm1hbGx5IGRpc3RyaWJ1dGVkIHNvIHdlIG1ha2UgYSB3ZWFrIGNvbmNsdXNpb24hCgogIC0gS29sbW9nb3Jvdi1TbWlybm92LCBTaGFwaXJvLVdpbGsgZW4gQW5kZXJzb24tRGFybGluZy4KICAtIEluIHNtYWxsIHNhbXBsZXMgdGhleSBoYXZlIGEgbG93IHBvd2VyCiAgLSBJbiBsYXJnZSBzYW1wbGVzIHRoZXkgb2Z0ZW4gZmxhZyB2ZXJ5IHNtYWxsIGRldmlhdGlvbnMgYXMgc2lnbmlmaWNhbnQKClJlY29tbWVuZGF0aW9uCgotIFN0YXJ0IHdpdGggZ3JhcGhpY2FsIGV4cGxvcmF0aW9uIG9mIHRoZSBkYXRhIGFuZCBrZWVwIHRoZSBzYW1wbGUgc2l6ZSBpbiBtaW5kIHRvIGF2b2lkIG92ZXJpbnRlcnByZXRhdGlvbiBvZiB0aGUgcGxvdHMuCgotIElmIHlvdSBoYXZlIGRvdWJ0cywgdXNlIHNpbXVsYXRpb24gd2hlcmUgeW91IHNpbXVsYXRlIGRhdGEgd2l0aCB0aGUgc2FtZSBzYW1wbGUgc2l6ZSBmcm9tIGEgTm9ybWFsIGRpc3RyaWJ1dGlvbiB3aXRoIHRoZSBzYW1lIG1lYW4gYW5kIHZhcmlhbmNlIGFzIHRoZSBvbmUgdGhhdCB5b3Ugb2JzZXJ2ZWQgaW4gdGhlIHNhbXBsZQoKLSBJZiB5b3Ugb2JzZXJ2ZWQgZGV2aWF0aW9ucyBvZiBub3JtYWxpdHkgY2hlY2sgaW4gdGhlIGxpdGVyYXR1cmUgaG93IHNlbnNpdGl2ZSB5b3VyIG1ldGhvZCBpcyBzdWNoIGRldmlhdGlvbnMgb2Ygbm9ybWFsaXR5LiAoZS5nLiBULXRlc3RzIGZvciBpbnN0YW5jZSBhcmUgcmF0aGVyIGluc2Vuc2l0aXZlIHRvIGRldmlhdGlvbnMgYXMgbG9uZyBhcyB0aGUgZGlzdHJpYnV0aW9uIG9mIHRoZSBkYXRhIGlzIHN5bW1ldHJpYy4pCgotIEluIGxhcmdlIHNhbXBsZXMgeW91IGNhbiByZXNvcnQgdG8gdGhlIGNlbnRyYWwgbGltaXQgdGhlb3JlbS4KCi0gWW91IG1pZ2h0IHJlc29ydCB0byB0cmFuc2Zvcm1hdGlvbnMgb2YgdGhlIHJlc3BvbnNlLgoKLS0tCgojIyBIb21vc2NlZGFzdGljaXR5CgotIEJveHBsb3RzOiBUaGUgYm94IHNpemUgaXMgdGhlIGludGVyIHF1YXJ0aWxlIHJhbmdlIChJUVIpIGEgcm9idXN0IGVzdGltYXRvciBvZiB0aGUgdmFyaWFuY2UuCgotIElmIHRoZSBkaWZmZXJlbmNlcyBhcmUgbm90IGxhcmdlICRccmlnaHRhcnJvdyQgaG9tb3NjZWRhc3RpY2l0ZWl0CgotIEFnYWluIHlvdSBjYW4gdXNlIHNpbXVsYXRpb24gdG8gZ2V0IGluc2lnaHQgaW4gdGhlIGRpZmZlcmVuY2VzIHlvdSBjYW4gZXhwZWN0LgoKLSBGb3JtYWwgRi10ZXN0IGNhbiBiZSB1c2VkIHRvIGNvbXBhcmUgdGhlIHZhcmlhbmNlcywgYnV0IGFnYWluIHVuZGVyIHRoZSBudWxsIHlvdSBhc3N1bWUgZXF1YWwgdmFyaWFuY2VzLCBzbyB0aGUgc2FtZSBjcml0aWNpc20gYXMgZm9yIG5vcm1hbGl0eSB0ZXN0cyBhcHBsaWVzIGhlcmUuCgotLS0KCiMjIFdlbGNoIG1vZGlmaWVkIHQtdGVzdAoKSWYgdGhlIGRhdGEgYXJlIGhldGVyb3NjZWRhc3RpYywgeW91IGNhbiB1c2UgYSBXZWxjaCB0d28tc2FtcGxlIFQtdGVzdCwgd2hpY2ggbm8gbG9uZ2VyIHVzZXMgdGhlIHBvb2xlZCB2YXJpYW5jZSBlc3RpbWF0b3IuCgokJFQgPSAgXGZyYWN7XGJhcntZfV8xIC0gXGJhcntZfV8yfXtcc3FydHtcZnJhY3tTXjJfMX17bl8xfStcZnJhY3tTXjJfMn17bl8yfX19JCQKd2l0aCAkU14yXzEkIGVuICRTXjJfMiQgdGhlIHNhbXBsZSB2YXJpYW5jZXMgaW4gYm90aCBncm91cHMuCgpUaGlzIHN0YXRpc3RpYyBmb2xsb3dzIGFwcHJveGltYXRlbHkgYSB0LWRpc3RyaWJ1dGlvbiB3aXRoIGEgbnVtYmVyIG9mIGRlZ3JlZXMgb2YgZnJlZWRvbSBiZXR3ZWVuICAkXHRleHR7bWlufShuXzEtMSxuXzItMSkkIGFuZCAkbl8xK25fMi0yJC4KCkluIFIgdGhlIGRlZ3JlZXMgb2YgZnJlZWRvbSBhcmUgZXN0aW1hdGVkIHVzaW5nIHRoZSBXZWxjaC0gU2F0dGVydGh3YWl0ZSBhcHByb3hpbWF0aW9uLiBZb3UgY2FuIGRvIHRoaXMgYnkgdXNpbmcgdGhlIGB0LnRlc3RgIGZ1bmN0aW9uIHdpdGggYXJndW1lbnQgYHZhci5lcXVhbD1GQUxTRWAuCgpgYGB7cn0KdC50ZXN0KHJlbCB+IHRydCwgZGF0YSA9IGFwLCB2YXIuZXF1YWwgPSBGQUxTRSkKYGBgCgpOb3RlIHRoYXQgeW91IGNhbiBzZWUgdGhhdCB0aGUgV2VsY2ggVC10ZXN0IGlzIGFkb3B0ZWQgaW4gdGhlIHRpdGxlLiBUaGUgYWRqdXN0ZWQgZGVncmVlcyBvZiBmcmVlZG9tIGFyZSAkZGYgPSAxNy44NzYkICRccG0kIHRvIHRoYXQgb2YgdGhlIGNvbnZlbnRpb25hbCBULXRlc3QsIGJlY2F1c2UgdGhlIHZhcmlhbmNlcyBhcmUgYXBwcm94aW1hdGVseSBlcXVhbC4KCi0tLQoKIyBIb3cgdG8gcmVwb3J0PwoKLSBJbiB0aGUgc2NpZW50aWZpYyBsaXRlcmF0dXJlIHRoZXJlIGlzIHRvbyBtdWNoIGF0dGVudGlvbiBmb3IgcC12YWx1ZXMKCi0gSXQgaXMgbXVjaCBtb3JlIGluZm9ybWF0aXZlIHRvIGNvbWJpbmUgYW4gZXN0aW1hdGUgd2l0aCBpdHMgY29uZmlkZW5jZSBpbnRlcnZhbC4KCioqUnVsZSBvZiB0aHVtYioqOgoKUmVwb3J0IGFuIGVzdGltYXRlIHRvZ2V0aGVyIHdpdGggaXRzICBjb25maWRlbmNlIGludGVydmFsIChhbmQgaXRzIHAtdmFsdWUpCgoxLiBUaGUgcmVzdWx0IG9mIHRoZSB0ZXN0IGNhbiBiZSBkZXJpdmVkIG9mIHRoZSBjb25maWRlbmNlIGludGVydmFsCjIuIEl0IGFsbG93cyB0aGUgcmVhZGVyIHRvIGp1ZGdlICoqc2NpZW50aWZpYyByZWxldmFuY2UqKi4KCmBgYHtyfQp0LnRlc3QocmVsIH4gdHJ0LCBkYXRhID0gYXApCmBgYAoKVGhlIHJlc3VsdCBvZiBhbiAkXGFscGhhJC1sZXZlbCB0LXRlc3QgaXMgZXF1aXZhbGVudCB3aXRoIGNvbXBhcmluZyB0aGUgZWZmZWN0IHNpemUgdW5kZXIgJEhfMCQgd2l0aCB0aGUgJDEtXGFscGhhJCBDSS4KCkFuIGVmZmVjdCBjYW4gYmUgZXh0cmVtZWx5IHN0YXRpc3RpY2FsbHkgc2lnbmlmaWNhbnQsIGJ1dCBzY2llbnRpZmljYWxseSBpcnJlbGV2YW50LiBXaXRoIGEgQ0kgeW91IHdpbGwgc3BvdCB0aGlzLgo=