1 Intro

Inference was only correct if distributional assumptions were satisfied

  • e.g Normal distribution
  • equal variance

  • The \(p\)-value: \(\text{P}_0\left[ \vert T\vert \geq \vert t \vert \right]\).

    • Calculated using the null distribution of \(T\) that we derived under the assumptions
    • In correct if assumptions are violated
  • \(95\%\) CI also builds upon these assumptions. If they are invalid then the intervals will not contain the population parameter with 95% probability.

  • Asymptotic theory is more difficult to place: the \(t\)-test ais symptotically non-parametric because for very large samples the distributional assumptions of normality are no longer important.

  • If assumptions hold the parametric approach

    • more efficient: larger power with same sample size + smaller CI.
    • more flexible: easier to analyse data with complex designs

1.1 Cholestorol voorbeeld

  • Cholestorol concentration in blood measured for
  • 5 patients (groep=1) two days upon a stroke
  • 5 healty subject (groep=2).

  • Is cholestorol concentration of hartpatients and healthy subjects on average different?

chol <- read_tsv("https://raw.githubusercontent.com/GTPB/PSLS20/master/data/chol.txt")
chol$group <- as.factor(chol$group)
nGroups <- table(chol$group)
n <- sum(nGroups)
chol
# A tibble: 10 x 2
   group cholest
   <fct>   <dbl>
 1 1         244
 2 1         206
 3 1         242
 4 1         278
 5 1         236
 6 2         188
 7 2         212
 8 2         186
 9 2         198
10 2         160

  • Possibly outliers
  • Difficult to assess distributional assumptions when only 5 observations are available.

2 Rank Tests

  • Important group of non-parametric test
  • Non-parametric,
  • Exact \(p\)-values using a permutatie null distribution.
  • No need for separate permutation distribution for each new dataset.
  • Permutation null distribution of rank tests only depends on sample size
  • Robust to outliers

3 Ranks

Rank tests start from rank-transformed data.

  • Let \(Y_1, \ldots, Y_n\).
  • In the absence of ties \[R_i=R(Y_i) = \#\{Y_j: Y_j\leq Y_i; j=1,\ldots, n\}\]
  • Smallest observation has rank 1, second smallest rank 2, … , largest observation gets rank \(n\)
chol$cholest
 [1] 244 206 242 278 236 188 212 186 198 160
rank(chol$cholest)
 [1]  9  5  8 10  7  3  6  2  4  1

3.1 ties

Sometimes ties occur: two observations with identical values

withTies=c(403,507,507,610,651,651,651,830,900)
rank(withTies)
[1] 1.0 2.5 2.5 4.0 6.0 6.0 6.0 8.0 9.0
  • Ties: 507 occurs twice, 651 occurs 3 times
  • If ties occur midranks are used.

  • midrank of observation \(Y_i\) becomes \[\begin{eqnarray*} R_i &=& \frac{ \#\{Y_j: Y_j\leq Y_i\} + ( \#\{Y_j: Y_j < Y_i\} +1)}{2}. \end{eqnarray*}\]

3.2 Ranks of pooled sample

  • Let \(Y_{ij}\), \(i=1,\ldots, n_j\) be observations from two treatment groups \(j=1,2\).
  • They can also be represened by \(Z_1,\ldots, Z_n\) (\(n=n_1+n_2\)), the outcomes of the pooled sample
t(chol)
        [,1]  [,2]  [,3]  [,4]  [,5]  [,6]  [,7]  [,8]  [,9]  [,10]
group   "1"   "1"   "1"   "1"   "1"   "2"   "2"   "2"   "2"   "2"  
cholest "244" "206" "242" "278" "236" "188" "212" "186" "198" "160"
z=chol$cholest
z
 [1] 244 206 242 278 236 188 212 186 198 160
rank(z)
 [1]  9  5  8 10  7  3  6  2  4  1

4 Wilcoxon-Mann-Whitney Test

Simultaneously developed by Wilcoxon, and, Mann and Whitney: Wilcoxon-Mann-Whitney, Wilcoxon rank sum test or Mann-Whitney U test

4.1 hypotheses

Under \(H_0\) the distributions of the two groups are equal \[H_0: f_1=f_2\]

Under the alternative \(H_1\) the distributions differ in location \[H_1: \mu_1\neq \mu_2\]

\(H_1\) assumes location-shift, we will relax this assumption later on.

4.2 Test statistic

Classic T-test: difference in sample means \(\bar{Y}_1-\bar{Y}_2\).

Here: Difference in sample means based on rank transformed data

Ranks based on the poolde sample (upon joining the observations from the two groups): \(R_{ij}=R(Y_{ij})\) is de rank of observation \(Y_{ij}\) in the pooled sample.

\[ T = \frac{1}{n_1}\sum_{i=1}^{n_1} R(Y_{i1}) - \frac{1}{n_2}\sum_{i=1}^{n_2} R(Y_{i2}) . \]

  • Under \(H_0\) we expect the average rank of the first group to be close to that of the second group so \(T\) is close to zero.

  • Under \(H_1\) we expect the mean ranks to differ so that \(T\) deviates from zero.

  • It is sufficient to only calculate \[S_1=\sum_{i=1}^{n_1} R(Y_{i1})\].

  • \(S_1\) is the sum of the ranks of the first group: rank sum test.

  • This holds because \[ S_1+S_2 = \text{sum of all ranks} = 1+2+\cdots + n=\frac{1}{2}n(n+1). \]

  • \(S_1\) (or \(S_2\)) is a good test statistic

  • Use permutations to determine the exact permutation distribution. (Permute the ranks between the groups)

  • For a given \(n\) and no ties the rank transformed data is always \[1, 2, \ldots, n\]
  • For given \(n_1\) en \(n_2\) the permutation distribution is always the same!
  • With current computing power this is not so important any more.

4.3 Standardized statistic

Often the standardized test statistic is used \[ T = \frac{S_1-\text{E}_{0}\left[S_1\right]}{\sqrt{\text{Var}_{0}\left[S_1\right]}}, \]

  • with \(\text{E}_{0}\left[S_1\right]\) and \(\text{Var}_{0}\left[S_1\right]\) the expect mean and variance of S1 under \(H_0\).

  • Under \(H_0\) \[ \text{E}_{0}\left[S_1\right]= \frac{1}{2}n_1(n+1) \;\;\;\;\text{ en }\;\;\;\; \text{Var}_{0}\left[S_1\right]=\frac{1}{12}n_1n_2(n+1). \]

  • Under \(H_0\) and when \(\min(n_1,n_2)\rightarrow \infty\) \[ T = \frac{S_1-\text{E}_{0}\left[S_1\right]}{\sqrt{\text{Var}_{0}\left[S_1\right]}} \rightarrow N(0,1). \]

Asymptotically the standardised statistic follows a standard normal distribution!

4.4 Cholestorol example

We illustrate the result for the cholestorol example using the R function wilcox.test.

wilcox.test(cholest~group,data=chol)

    Wilcoxon rank sum test

data:  cholest by group
W = 24, p-value = 0.01587
alternative hypothesis: true location shift is not equal to 0
  • We reject \(H_0\) (\(p=\) 0.016 \(<0.05\))

  • The output shows \(W=\) 24?

  • Lets calculate

S1 <- sum(rank(chol$cholest)[chol$group==1])
S1
[1] 39
S2 <- sum(rank(chol$cholest)[chol$group==2]) 
S2
[1] 16
  • Where does \(W=\) 24 comes from?

4.5 Mann and Whitney test

Mann and Whitney test in absence of ties: \[ U_1 = \sum_{i=1}^{n_1}\sum_{k=1}^{n_2} \text{I}\left\{Y_{i1}\geq Y_{k2}\right\}. \]

  • with \(\text{I}\left\{.\right\}\) an indicator that equals 1 if the expression is true and is zero otherwise.

  • U counts how many times an observation of the first group is larger or equal to an observation from the second group.

y1=subset(chol,group==1)$cholest
y2=subset(chol,group==2)$cholest
u1Hlp=sapply(y1,function(y1i,y2) {y1i>=y2},y2=y2)
colnames(u1Hlp)=y1;rownames(u1Hlp)=y2
u1Hlp
     244   206  242  278  236
188 TRUE  TRUE TRUE TRUE TRUE
212 TRUE FALSE TRUE TRUE TRUE
186 TRUE  TRUE TRUE TRUE TRUE
198 TRUE  TRUE TRUE TRUE TRUE
160 TRUE  TRUE TRUE TRUE TRUE
U1=sum(u1Hlp); U1
[1] 24

It can be shown that \(U_1 = S_1 - \frac{1}{2}n_1(n_1+1).\)

S1-nGroups[1]*(nGroups[1]+1)/2
 1 
24 
  1. \(U_1\) en \(S_1\) contain the same information
  2. \(U_1\) is also a rankstatistiek, and
  3. Exact testen based on \(U_1\) and \(S_1\) are equivalent.

4.6 Probabilistic index

  • \(U_1\) has a better interpretation feature
  • Let \(Y_j\) a random observation from group \(j\) (\(j=1,2\)). Then \[\begin{eqnarray*} \frac{1}{n_1n_2}\text{E}\left[U_1\right] &=& \text{P}\left[Y_1 \geq Y_2\right]. \end{eqnarray*}\]

So we can estimate the probability by calculating the mean of all indicator variable values \(\text{I}\left\{Y_{i1}\geq Y_{k2}\right\}\). Note, that we did \(n_1 \times n_2\) comparisons

mean(u1Hlp)
[1] 0.96
U1/(nGroups[1]*nGroups[2])
   1 
0.96 
  • Probability \(\text{P}\left[Y_1 \geq Y_2\right]\) is referred to as the probabilistic index.
  • It is the probability that a random observation of the first group is larger or equal than a random observation of the second group
  • If \(H_0\) holds \(\text{P}\left[Y_1 \geq Y_2\right]=\frac{1}{2}\).

  • R function wilcox.test does not return the Wilcoxon rank sum statistic. It returns the Mann-Whitney statistiek \(U_1\).
  • Lets revisit the result

wTest<-wilcox.test(cholest~group,data=chol) 
wTest

    Wilcoxon rank sum test

data:  cholest by group
W = 24, p-value = 0.01587
alternative hypothesis: true location shift is not equal to 0
U1
[1] 24
probInd=wTest$statistic/prod(nGroups) 
probInd
   W 
0.96 

Because \(p=\) 0.0159 \(<0.05\) we conclude at the \(5\%\) significance level that the mean cholestorol level of hartpatients is larger then that of healthy subjects.

  • Note that we have assumed that the location-shift model is valid in this conclusion.
  • We also know that higher cholestorol level are more likely for hartpatients then for healthy subjects and this probability is \(U1/(n_1\times n_2)=\) 96%.
  • We should assess the location shift assumption. But this is not possible with only 5 observations.

Without the location-shift assumption the conclusion in terms of the probabilistic index remains valid!

  • So when we do not assume location shift we test for

\[H_0: F_1=F_2 \text{ vs } H_1: P[Y_1 \geq Y_2] \neq 0.5.\]

4.7 Conclusion

There is a significant difference in the distribution of the cholestorol concentration of hartpatients two days upon a stroke and that of healthy subject ((\(p=\) 0.0159). It is more likely to observe higher cholestorol levels for hartpatients then for healthy subjects. The point estimator for this probability is 96%.

LS0tCnRpdGxlOiAiOS4gTm9ucGFyYW1ldHJpYyBTdGF0aXN0aWNzIC0gV2lsY294b24tTWFubi1XaXRobmV5IHRlc3QiICAKYXV0aG9yOiAiTGlldmVuIENsZW1lbnQiCmRhdGU6ICJzdGF0T21pY3MsIEdoZW50IFVuaXZlcnNpdHkgKGh0dHBzOi8vc3RhdG9taWNzLmdpdGh1Yi5pbykiCm91dHB1dDoKICAgIGh0bWxfZG9jdW1lbnQ6CiAgICAgIGNvZGVfZG93bmxvYWQ6IHRydWUgICAgCiAgICAgIHRoZW1lOiBjb3NtbwogICAgICB0b2M6IHRydWUKICAgICAgdG9jX2Zsb2F0OiB0cnVlCiAgICAgIGhpZ2hsaWdodDogdGFuZ28KICAgICAgbnVtYmVyX3NlY3Rpb25zOiB0cnVlCi0tLQoKYGBge3Igc2V0dXAsIGluY2x1ZGU9RkFMU0V9CmtuaXRyOjpvcHRzX2NodW5rJHNldChpbmNsdWRlID0gVFJVRSwgY29tbWVudCA9IE5BLCBlY2hvID0gVFJVRSwKICAgICAgICAgICAgICAgICAgICAgIG1lc3NhZ2UgPSBGQUxTRSwgd2FybmluZyA9IEZBTFNFKQpsaWJyYXJ5KHRpZHl2ZXJzZSkKbGlicmFyeShSbWlzYykKc2V0LnNlZWQoMTQwKQpgYGAKCgojSW50cm8KCkluZmVyZW5jZSB3YXMgb25seSBjb3JyZWN0IGlmIGRpc3RyaWJ1dGlvbmFsIGFzc3VtcHRpb25zIHdlcmUgc2F0aXNmaWVkIAoKLSBlLmcgTm9ybWFsIGRpc3RyaWJ1dGlvbiAKLSBlcXVhbCB2YXJpYW5jZSAKIAotICBUaGUgJHAkLXZhbHVlOiAkXHRleHR7UH1fMFxsZWZ0WyBcdmVydCBUXHZlcnQgXGdlcSBcdmVydCB0IFx2ZXJ0IFxyaWdodF0kLiAKICAJCgktIENhbGN1bGF0ZWQgdXNpbmcgdGhlIG51bGwgZGlzdHJpYnV0aW9uIG9mICRUJCB0aGF0IHdlIGRlcml2ZWQgdW5kZXIgdGhlIGFzc3VtcHRpb25zCgktIEluIGNvcnJlY3QgaWYgYXNzdW1wdGlvbnMgYXJlIHZpb2xhdGVkICAKCQotICAkOTVcJSQgQ0kgYWxzbyBidWlsZHMgdXBvbiB0aGVzZSBhc3N1bXB0aW9ucy4gSWYgdGhleSBhcmUgaW52YWxpZCB0aGVuIHRoZSBpbnRlcnZhbHMgd2lsbCBub3QgY29udGFpbiB0aGUgcG9wdWxhdGlvbiBwYXJhbWV0ZXIgd2l0aCA5NSUgcHJvYmFiaWxpdHkuCgotIEFzeW1wdG90aWMgdGhlb3J5IGlzIG1vcmUgZGlmZmljdWx0IHRvIHBsYWNlOiB0aGUgJHQkLXRlc3QgYWlzIHN5bXB0b3RpY2FsbHkgbm9uLXBhcmFtZXRyaWMgYmVjYXVzZSBmb3IgdmVyeSBsYXJnZSBzYW1wbGVzIHRoZSBkaXN0cmlidXRpb25hbCBhc3N1bXB0aW9ucyBvZiBub3JtYWxpdHkgYXJlIG5vIGxvbmdlciBpbXBvcnRhbnQuIAoKLSBJZiBhc3N1bXB0aW9ucyBob2xkIHRoZSBwYXJhbWV0cmljIGFwcHJvYWNoCgoJLSBtb3JlIGVmZmljaWVudDogbGFyZ2VyIHBvd2VyIHdpdGggc2FtZSBzYW1wbGUgc2l6ZSArIHNtYWxsZXIgQ0kuICAKCS0gbW9yZSBmbGV4aWJsZTogZWFzaWVyIHRvIGFuYWx5c2UgZGF0YSB3aXRoIGNvbXBsZXggZGVzaWducyAgCgkKCiMjIENob2xlc3Rvcm9sIHZvb3JiZWVsZAoKLSBDaG9sZXN0b3JvbCBjb25jZW50cmF0aW9uIGluIGJsb29kIG1lYXN1cmVkIGZvciAKICAtIDUgcGF0aWVudHMgKGdyb2VwPTEpIHR3byBkYXlzIHVwb24gYSBzdHJva2UKICAtIDUgaGVhbHR5IHN1YmplY3QgKGdyb2VwPTIpLiAKCi0gSXMgY2hvbGVzdG9yb2wgY29uY2VudHJhdGlvbiBvZiBoYXJ0cGF0aWVudHMgYW5kIGhlYWx0aHkgc3ViamVjdHMgb24gYXZlcmFnZSBkaWZmZXJlbnQ/IAoKYGBge3J9CmNob2wgPC0gcmVhZF90c3YoImh0dHBzOi8vcmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbS9HVFBCL1BTTFMyMC9tYXN0ZXIvZGF0YS9jaG9sLnR4dCIpCmNob2wkZ3JvdXAgPC0gYXMuZmFjdG9yKGNob2wkZ3JvdXApCm5Hcm91cHMgPC0gdGFibGUoY2hvbCRncm91cCkKbiA8LSBzdW0obkdyb3VwcykKY2hvbApgYGAKCi0tLQoKCmBgYHtyLCBlY2hvPUZBTFNFLCBmaWcuYWxpZ249J2NlbnRlcid9CmNob2wgJT4lICBnZ3Bsb3QoYWVzKHg9Z3JvdXAseT1jaG9sZXN0KSkgKyBnZW9tX2JveHBsb3Qob3V0bGllci5zaGFwZT1OQSkgKyBnZW9tX3BvaW50KHBvc2l0aW9uPSJqaXR0ZXIiKQoKY2hvbCAlPiUgZ2dwbG90KGFlcyhzYW1wbGU9Y2hvbGVzdCkpICsgCiAgZ2VvbV9xcSgpICsKICBnZW9tX3FxX2xpbmUoKSArCiAgZmFjZXRfd3JhcCh+Z3JvdXApIApgYGAKCi0gUG9zc2libHkgb3V0bGllcnMKLSBEaWZmaWN1bHQgdG8gYXNzZXNzIGRpc3RyaWJ1dGlvbmFsIGFzc3VtcHRpb25zIHdoZW4gb25seSA1IG9ic2VydmF0aW9ucyBhcmUgYXZhaWxhYmxlLiAKCgojUmFuayBUZXN0cwoKLSBJbXBvcnRhbnQgZ3JvdXAgb2Ygbm9uLXBhcmFtZXRyaWMgdGVzdAogIC0gTm9uLXBhcmFtZXRyaWMsIAogIC0gRXhhY3QgJHAkLXZhbHVlcyB1c2luZyBhIHBlcm11dGF0aWUgbnVsbCBkaXN0cmlidXRpb24uIAogIC0gTm8gbmVlZCBmb3Igc2VwYXJhdGUgcGVybXV0YXRpb24gZGlzdHJpYnV0aW9uIGZvciBlYWNoIG5ldyBkYXRhc2V0LiAgCiAgLSBQZXJtdXRhdGlvbiBudWxsIGRpc3RyaWJ1dGlvbiBvZiByYW5rIHRlc3RzIG9ubHkgZGVwZW5kcyBvbiBzYW1wbGUgc2l6ZSAKICAtIFJvYnVzdCB0byBvdXRsaWVycyAKICAKI1JhbmtzCgpSYW5rIHRlc3RzIHN0YXJ0IGZyb20gcmFuay10cmFuc2Zvcm1lZCBkYXRhLiAKCi0gTGV0ICRZXzEsIFxsZG90cywgWV9uJC4gCi0gSW4gdGhlIGFic2VuY2Ugb2YgKnRpZXMqIAogICQkUl9pPVIoWV9pKSA9IFwjXHtZX2o6IFlfalxsZXEgWV9pOyBqPTEsXGxkb3RzLCBuXH0kJAotIFNtYWxsZXN0IG9ic2VydmF0aW9uIGhhcyByYW5rIDEsIHNlY29uZCBzbWFsbGVzdCByYW5rIDIsIC4uLiAsIGxhcmdlc3Qgb2JzZXJ2YXRpb24gZ2V0cyByYW5rICRuJCAKCmBgYHtyfQpjaG9sJGNob2xlc3QKcmFuayhjaG9sJGNob2xlc3QpCmBgYAoKIyMgdGllcyAKClNvbWV0aW1lcyAqdGllcyogb2NjdXI6IHR3byBvYnNlcnZhdGlvbnMgd2l0aCBpZGVudGljYWwgdmFsdWVzIAoKYGBge3J9CndpdGhUaWVzPWMoNDAzLDUwNyw1MDcsNjEwLDY1MSw2NTEsNjUxLDgzMCw5MDApCnJhbmsod2l0aFRpZXMpCmBgYAoKLSBUaWVzOiA1MDcgb2NjdXJzIHR3aWNlLCA2NTEgb2NjdXJzIDMgdGltZXMKLSBJZiB0aWVzIG9jY3VyICptaWRyYW5rcyogYXJlIHVzZWQuIAoKLSAqKm1pZHJhbmsqKiBvZiBvYnNlcnZhdGlvbiAkWV9pJCBiZWNvbWVzCiAgXGJlZ2lue2VxbmFycmF5Kn0KICAgUl9pICY9JiBcZnJhY3sgXCNce1lfajogWV9qXGxlcSBZX2lcfSArICggXCNce1lfajogWV9qIDwgWV9pXH0gKzEpfXsyfS4KICAgXGVuZHtlcW5hcnJheSp9CgojIyBSYW5rcyBvZiBwb29sZWQgc2FtcGxlCgotIExldCAkWV97aWp9JCwgJGk9MSxcbGRvdHMsIG5faiQgYmUgb2JzZXJ2YXRpb25zIGZyb20gdHdvIHRyZWF0bWVudCBncm91cHMgJGo9MSwyJC4KLSBUaGV5IGNhbiBhbHNvIGJlIHJlcHJlc2VuZWQgYnkgJFpfMSxcbGRvdHMsIFpfbiQgKCRuPW5fMStuXzIkKSwgdGhlIG91dGNvbWVzIG9mIHRoZSBwb29sZWQgc2FtcGxlCgpgYGB7cn0KdChjaG9sKQp6PWNob2wkY2hvbGVzdAp6CnJhbmsoeikKYGBgCgojIFdpbGNveG9uLU1hbm4tV2hpdG5leSBUZXN0CgogU2ltdWx0YW5lb3VzbHkgZGV2ZWxvcGVkIGJ5IFdpbGNveG9uLCBhbmQsICBNYW5uIGFuZCBXaGl0bmV5OiAgKipXaWxjb3hvbi1NYW5uLVdoaXRuZXkqKiwgKipXaWxjb3hvbiByYW5rIHN1bSB0ZXN0KiogIG9yICoqTWFubi1XaGl0bmV5IFUgdGVzdCoqCgojIyBoeXBvdGhlc2VzCiAgClVuZGVyICRIXzAkIHRoZSBkaXN0cmlidXRpb25zIG9mIHRoZSB0d28gZ3JvdXBzIGFyZSBlcXVhbCAKJCRIXzA6IGZfMT1mXzIkJAogIAoKVW5kZXIgdGhlIGFsdGVybmF0aXZlICRIXzEkIHRoZSBkaXN0cmlidXRpb25zIGRpZmZlciBpbiBsb2NhdGlvbiAkJEhfMTogXG11XzFcbmVxIFxtdV8yJCQKICAKJEhfMSQgYXNzdW1lcyAqKmxvY2F0aW9uLXNoaWZ0KiosIHdlIHdpbGwgcmVsYXggdGhpcyBhc3N1bXB0aW9uIGxhdGVyIG9uLiAgCgojIyBUZXN0IHN0YXRpc3RpYwoKQ2xhc3NpYyBULXRlc3Q6IGRpZmZlcmVuY2UgaW4gc2FtcGxlIG1lYW5zICRcYmFye1l9XzEtXGJhcntZfV8yJC4KCkhlcmU6IERpZmZlcmVuY2UgaW4gc2FtcGxlIG1lYW5zIGJhc2VkIG9uIHJhbmsgdHJhbnNmb3JtZWQgZGF0YSAKClJhbmtzIGJhc2VkIG9uIHRoZSBwb29sZGUgc2FtcGxlICh1cG9uIGpvaW5pbmcgdGhlIG9ic2VydmF0aW9ucyBmcm9tIHRoZSB0d28gZ3JvdXBzKTogJFJfe2lqfT1SKFlfe2lqfSkkIGlzIGRlIHJhbmsgb2Ygb2JzZXJ2YXRpb24gJFlfe2lqfSQgaW4gdGhlIHBvb2xlZCBzYW1wbGUuIAoKXFsKICBUID0gXGZyYWN7MX17bl8xfVxzdW1fe2k9MX1ee25fMX0gUihZX3tpMX0pIC0gXGZyYWN7MX17bl8yfVxzdW1fe2k9MX1ee25fMn0gUihZX3tpMn0pIC4KXF0KCi0gVW5kZXIgJEhfMCQgd2UgZXhwZWN0IHRoZSBhdmVyYWdlIHJhbmsgb2YgdGhlIGZpcnN0IGdyb3VwIHRvIGJlIGNsb3NlIHRvIHRoYXQgb2YgdGhlIHNlY29uZCBncm91cCBzbyAkVCQgaXMgY2xvc2UgdG8gemVyby4KCi0gVW5kZXIgJEhfMSQgd2UgZXhwZWN0IHRoZSBtZWFuIHJhbmtzIHRvIGRpZmZlciBzbyB0aGF0ICRUJCBkZXZpYXRlcyBmcm9tIHplcm8uIAoKLSBJdCBpcyBzdWZmaWNpZW50IHRvIG9ubHkgY2FsY3VsYXRlIAogICQkU18xPVxzdW1fe2k9MX1ee25fMX0gUihZX3tpMX0pJCQuCgotICRTXzEkIGlzIHRoZSBzdW0gb2YgdGhlIHJhbmtzIG9mIHRoZSBmaXJzdCBncm91cDogKnJhbmsgc3VtIHRlc3QqLgoKLSBUaGlzIGhvbGRzIGJlY2F1c2UgClxbCiAgU18xK1NfMiA9IFx0ZXh0e3N1bSBvZiBhbGwgcmFua3N9ID0gMSsyK1xjZG90cyArIG49XGZyYWN7MX17Mn1uKG4rMSkuClxdCgoKLSAkU18xJCAob3IgJFNfMiQpIGlzIGEgZ29vZCB0ZXN0IHN0YXRpc3RpYwoKLSBVc2UgcGVybXV0YXRpb25zIHRvIGRldGVybWluZSB0aGUgZXhhY3QgcGVybXV0YXRpb24gZGlzdHJpYnV0aW9uLiAoUGVybXV0ZSB0aGUgcmFua3MgYmV0d2VlbiB0aGUgZ3JvdXBzKSAKCi0gRm9yIGEgZ2l2ZW4gJG4kIGFuZCBubyAqdGllcyogdGhlIHJhbmsgdHJhbnNmb3JtZWQgZGF0YSBpcyBhbHdheXMgCiAgJCQxLCAyLCBcbGRvdHMsIG4kJCAKLSBGb3IgZ2l2ZW4gJG5fMSQgZW4gJG5fMiQgdGhlIHBlcm11dGF0aW9uIGRpc3RyaWJ1dGlvbiBpcyBhbHdheXMgdGhlIHNhbWUhIAotIFdpdGggY3VycmVudCBjb21wdXRpbmcgcG93ZXIgdGhpcyBpcyBub3Qgc28gaW1wb3J0YW50IGFueSBtb3JlLiAKCiMjIFN0YW5kYXJkaXplZCBzdGF0aXN0aWMgCgpPZnRlbiB0aGUgc3RhbmRhcmRpemVkIHRlc3Qgc3RhdGlzdGljIGlzIHVzZWQKXFsKICBUID0gXGZyYWN7U18xLVx0ZXh0e0V9X3swfVxsZWZ0W1NfMVxyaWdodF19e1xzcXJ0e1x0ZXh0e1Zhcn1fezB9XGxlZnRbU18xXHJpZ2h0XX19LApcXQoKLSB3aXRoICRcdGV4dHtFfV97MH1cbGVmdFtTXzFccmlnaHRdJCBhbmQgJFx0ZXh0e1Zhcn1fezB9XGxlZnRbU18xXHJpZ2h0XSQgdGhlIGV4cGVjdCBtZWFuIGFuZCB2YXJpYW5jZSBvZiBTMSB1bmRlciAkSF8wJC4gCgotIFVuZGVyICRIXzAkCiBcWwogICBcdGV4dHtFfV97MH1cbGVmdFtTXzFccmlnaHRdPSBcZnJhY3sxfXsyfW5fMShuKzEpIFw7XDtcO1w7XHRleHR7IGVuIH1cO1w7XDtcOyBcdGV4dHtWYXJ9X3swfVxsZWZ0W1NfMVxyaWdodF09XGZyYWN7MX17MTJ9bl8xbl8yKG4rMSkuCiBcXQoKLSBVbmRlciAkSF8wJCBhbmQgd2hlbiAkXG1pbihuXzEsbl8yKVxyaWdodGFycm93IFxpbmZ0eSQKIFxbCiAgICBUID0gXGZyYWN7U18xLVx0ZXh0e0V9X3swfVxsZWZ0W1NfMVxyaWdodF19e1xzcXJ0e1x0ZXh0e1Zhcn1fezB9XGxlZnRbU18xXHJpZ2h0XX19IFxyaWdodGFycm93IE4oMCwxKS4gIAogXF0KCkFzeW1wdG90aWNhbGx5IHRoZSBzdGFuZGFyZGlzZWQgc3RhdGlzdGljIGZvbGxvd3MgYSBzdGFuZGFyZCBub3JtYWwgZGlzdHJpYnV0aW9uISAKCiMjIENob2xlc3Rvcm9sIGV4YW1wbGUgCgpXZSBpbGx1c3RyYXRlIHRoZSByZXN1bHQgZm9yIHRoZSBjaG9sZXN0b3JvbCBleGFtcGxlIHVzaW5nIHRoZSBSIGZ1bmN0aW9uIGB3aWxjb3gudGVzdGAuIApgYGB7cn0Kd2lsY294LnRlc3QoY2hvbGVzdH5ncm91cCxkYXRhPWNob2wpCmBgYAoKLSBXZSByZWplY3QgJEhfMCQgKCRwPSQgYHIgZm9ybWF0KHdpbGNveC50ZXN0KGNob2xlc3R+Z3JvdXAsZGF0YT1jaG9sKSRwLnZhbHVlLGRpZ2l0cz0yKWAgJDwwLjA1JCkKCi0gVGhlIG91dHB1dCBzaG93cyAkVz0kIGByIHdpbGNveC50ZXN0KGNob2xlc3R+Z3JvdXAsZGF0YT1jaG9sKSRzdGF0aXN0aWNgPyAKCi0gTGV0cyBjYWxjdWxhdGUgCmBgYHtyfQpTMSA8LSBzdW0ocmFuayhjaG9sJGNob2xlc3QpW2Nob2wkZ3JvdXA9PTFdKQpTMQpTMiA8LSBzdW0ocmFuayhjaG9sJGNob2xlc3QpW2Nob2wkZ3JvdXA9PTJdKSAKUzIKYGBgCgotIFdoZXJlIGRvZXMgJFc9JCBgciB3aWxjb3gudGVzdChjaG9sZXN0fmdyb3VwLGRhdGE9Y2hvbCkkc3RhdGlzdGljYCBjb21lcyBmcm9tPyAKCiMjIE1hbm4gYW5kIFdoaXRuZXkgdGVzdAoKTWFubiBhbmQgV2hpdG5leSB0ZXN0IGluIGFic2VuY2Ugb2YgdGllczoKXFsKIFVfMSA9IFxzdW1fe2k9MX1ee25fMX1cc3VtX3trPTF9XntuXzJ9IFx0ZXh0e0l9XGxlZnRce1lfe2kxfVxnZXEgWV97azJ9XHJpZ2h0XH0uClxdCgotIHdpdGggJFx0ZXh0e0l9XGxlZnRcey5ccmlnaHRcfSQgYW4gaW5kaWNhdG9yIHRoYXQgZXF1YWxzIDEgIGlmIHRoZSBleHByZXNzaW9uIGlzIHRydWUgYW5kIGlzIHplcm8gb3RoZXJ3aXNlLiAKCi0gVSBjb3VudHMgaG93IG1hbnkgdGltZXMgYW4gb2JzZXJ2YXRpb24gb2YgdGhlIGZpcnN0IGdyb3VwIGlzIGxhcmdlciBvciBlcXVhbCB0byBhbiBvYnNlcnZhdGlvbiBmcm9tIHRoZSBzZWNvbmQgZ3JvdXAuCgpgYGB7cn0KeTE9c3Vic2V0KGNob2wsZ3JvdXA9PTEpJGNob2xlc3QKeTI9c3Vic2V0KGNob2wsZ3JvdXA9PTIpJGNob2xlc3QKdTFIbHA9c2FwcGx5KHkxLGZ1bmN0aW9uKHkxaSx5Mikge3kxaT49eTJ9LHkyPXkyKQpjb2xuYW1lcyh1MUhscCk9eTE7cm93bmFtZXModTFIbHApPXkyCmBgYAoKYGBge3J9CnUxSGxwClUxPXN1bSh1MUhscCk7IFUxCmBgYAoKSXQgY2FuIGJlIHNob3duIHRoYXQgJFVfMSA9IFNfMSAtIFxmcmFjezF9ezJ9bl8xKG5fMSsxKS4kCgpgYGB7cn0KUzEtbkdyb3Vwc1sxXSoobkdyb3Vwc1sxXSsxKS8yCmBgYAoKMS4gJFVfMSQgZW4gJFNfMSQgY29udGFpbiB0aGUgc2FtZSBpbmZvcm1hdGlvbiAKMi4gJFVfMSQgaXMgYWxzbyBhIHJhbmtzdGF0aXN0aWVrLCBhbmQgCjMuIEV4YWN0IHRlc3RlbiBiYXNlZCBvbiAkVV8xJCBhbmQgJFNfMSQgYXJlIGVxdWl2YWxlbnQuIAoKIyMgUHJvYmFiaWxpc3RpYyBpbmRleAoKLSAkVV8xJCBoYXMgYSBiZXR0ZXIgaW50ZXJwcmV0YXRpb24gZmVhdHVyZQotIExldCAkWV9qJCBhIHJhbmRvbSBvYnNlcnZhdGlvbiBmcm9tIGdyb3VwICRqJCAoJGo9MSwyJCkuIFRoZW4gClxiZWdpbntlcW5hcnJheSp9CiAgXGZyYWN7MX17bl8xbl8yfVx0ZXh0e0V9XGxlZnRbVV8xXHJpZ2h0XSAKICAgICAmPSYgXHRleHR7UH1cbGVmdFtZXzEgXGdlcSBZXzJccmlnaHRdLgpcZW5ke2VxbmFycmF5Kn0KClNvIHdlIGNhbiBlc3RpbWF0ZSB0aGUgcHJvYmFiaWxpdHkgYnkgY2FsY3VsYXRpbmcgdGhlIG1lYW4gb2YgYWxsIGluZGljYXRvciB2YXJpYWJsZSB2YWx1ZXMgJFx0ZXh0e0l9XGxlZnRce1lfe2kxfVxnZXEgWV97azJ9XHJpZ2h0XH0kLiBOb3RlLCB0aGF0IHdlIGRpZCAkbl8xIFx0aW1lcyBuXzIkIGNvbXBhcmlzb25zCgpgYGB7cn0KbWVhbih1MUhscCkKVTEvKG5Hcm91cHNbMV0qbkdyb3Vwc1syXSkKYGBgCgotIFByb2JhYmlsaXR5ICRcdGV4dHtQfVxsZWZ0W1lfMSBcZ2VxIFlfMlxyaWdodF0kIGlzIHJlZmVycmVkIHRvIGFzIHRoZSAqcHJvYmFiaWxpc3RpYyBpbmRleCouIAotIEl0IGlzIHRoZSBwcm9iYWJpbGl0eSB0aGF0IGEgcmFuZG9tIG9ic2VydmF0aW9uIG9mIHRoZSBmaXJzdCBncm91cCBpcyBsYXJnZXIgb3IgZXF1YWwgdGhhbiBhIHJhbmRvbSBvYnNlcnZhdGlvbiBvZiB0aGUgc2Vjb25kIGdyb3VwICAKLSBJZiAkSF8wJCBob2xkcyAkXHRleHR7UH1cbGVmdFtZXzEgXGdlcSBZXzJccmlnaHRdPVxmcmFjezF9ezJ9JC4KCi0gUiBmdW5jdGlvbiBgd2lsY294LnRlc3RgIGRvZXMgbm90IHJldHVybiB0aGUgV2lsY294b24gcmFuayBzdW0gc3RhdGlzdGljLiBJdCByZXR1cm5zIHRoZSBNYW5uLVdoaXRuZXkgc3RhdGlzdGllayAkVV8xJC4KLSBMZXRzIHJldmlzaXQgdGhlIHJlc3VsdCAKYGBge3J9CndUZXN0PC13aWxjb3gudGVzdChjaG9sZXN0fmdyb3VwLGRhdGE9Y2hvbCkgCndUZXN0ClUxCnByb2JJbmQ9d1Rlc3Qkc3RhdGlzdGljL3Byb2Qobkdyb3VwcykgCnByb2JJbmQKYGBgCgpCZWNhdXNlICRwPSQgYHIgZm9ybWF0KHdUZXN0JHAudmFsdWUsZGlnaXRzPTMpYCAkPDAuMDUkIHdlIGNvbmNsdWRlIGF0IHRoZSAkNVwlJCBzaWduaWZpY2FuY2UgbGV2ZWwgdGhhdCB0aGUgbWVhbiBjaG9sZXN0b3JvbCBsZXZlbCBvZiBoYXJ0cGF0aWVudHMgaXMgbGFyZ2VyIHRoZW4gdGhhdCBvZiBoZWFsdGh5IHN1YmplY3RzLiAKCiAgLSBOb3RlIHRoYXQgd2UgaGF2ZSBhc3N1bWVkIHRoYXQgdGhlIGxvY2F0aW9uLXNoaWZ0IG1vZGVsIGlzIHZhbGlkIGluIHRoaXMgY29uY2x1c2lvbi4gCiAgLSBXZSBhbHNvIGtub3cgdGhhdCBoaWdoZXIgY2hvbGVzdG9yb2wgbGV2ZWwgYXJlIG1vcmUgbGlrZWx5IGZvciBoYXJ0cGF0aWVudHMgdGhlbiBmb3IgaGVhbHRoeSBzdWJqZWN0cyBhbmQgdGhpcyBwcm9iYWJpbGl0eSBpcyAKJFUxLyhuXzFcdGltZXMgbl8yKT0kIGByIHByb2JJbmQqMTAwYCUuIAogIC0gV2Ugc2hvdWxkIGFzc2VzcyB0aGUgbG9jYXRpb24gc2hpZnQgYXNzdW1wdGlvbi4gQnV0IHRoaXMgaXMgbm90IHBvc3NpYmxlIHdpdGggb25seSA1IG9ic2VydmF0aW9ucy4gCgpXaXRob3V0IHRoZSBsb2NhdGlvbi1zaGlmdCBhc3N1bXB0aW9uIHRoZSBjb25jbHVzaW9uIGluIHRlcm1zIG9mIHRoZSBwcm9iYWJpbGlzdGljIGluZGV4IHJlbWFpbnMgdmFsaWQhIAoKICAtIFNvIHdoZW4gd2UgZG8gbm90IGFzc3VtZSBsb2NhdGlvbiBzaGlmdCB3ZSB0ZXN0IGZvciAKClxbSF8wOiBGXzE9Rl8yIFx0ZXh0eyB2cyB9IEhfMTogUFtZXzEgXGdlcSBZXzJdIFxuZXEgMC41LlxdCgoKCiMjIENvbmNsdXNpb24KClRoZXJlIGlzIGEgc2lnbmlmaWNhbnQgZGlmZmVyZW5jZSBpbiB0aGUgZGlzdHJpYnV0aW9uIG9mIHRoZSBjaG9sZXN0b3JvbCBjb25jZW50cmF0aW9uIG9mIGhhcnRwYXRpZW50cyB0d28gZGF5cyB1cG9uIGEgc3Ryb2tlIGFuZCB0aGF0IG9mIGhlYWx0aHkgc3ViamVjdCAoKCRwPSQgYHIgZm9ybWF0KHdUZXN0JHAudmFsdWUsZGlnaXRzPTMpYCkuIEl0IGlzIG1vcmUgbGlrZWx5IHRvIG9ic2VydmUgaGlnaGVyIGNob2xlc3Rvcm9sIGxldmVscyBmb3IgaGFydHBhdGllbnRzIHRoZW4gZm9yIGhlYWx0aHkgc3ViamVjdHMuIFRoZSBwb2ludCBlc3RpbWF0b3IgZm9yIHRoaXMgcHJvYmFiaWxpdHkgaXMgYHIgcHJvYkluZCoxMDBgJS4KCgo=