Dlaczego kwantylowa?

Dlaczego potrzebujemy regresji kwantylowej (QR)?

W szczególności, QR:

  • jest odporna na punkty odstające i wpływowe

  • nie zakłada stałej wariancji (znanej jako homoskedastyczność) dla zmiennej odpowiedzi lub reszt

  • nie zakłada normalności ale główną zaletą QR w porównaniu z regresją liniową (LR) jest to, że QR bada różne wartości zmiennej odpowiedzi, a nie tylko średnią, i dostarcza w związku z tym pełniejszego obrazu związków między zmiennymi!

Wprowadzenie

Regresja kwantylowa (ang. quantile regression) została zaproponowana przez Koenkera i Bassetta (1978). Szczególny przypadek regresji kwantylowej dla kwantyla rzędu 0,5 (czyli mediany) jest równoważny estymatorowi LAD (ang. Least Absolute Deviation) – minimalizuje sumę bezwzględnych błędów.
Wprowadzenie różnych kwantyli regresji daje pełniejszy opis rozkładów warunkowych zwłaszcza w przypadku rozkładów asymetrycznych lub uciętych.

Regresja kwantylowa jest kolejną wariacją na temat najmniejszych kwadratów . Stratą jest współczynnik \(l_1\) funkcji:

\[ \phi(u) = \tau\max(u,0) - (1-\tau)\max(-u,0) = \frac{1}{2}|u| + \left(\tau - \frac{1}{2}\right)u, \]

gdzie \(\tau \in (0,1)\) oznacza konkretny kwantyl. Problemem jak poprzednio jest minimalizacja całkowitej straty resztowej. Model ten jest powszechnie stosowany w ekologii, ochronie zdrowia i innych dziedzinach, gdzie sama średnia nie wystarcza do uchwycenia złożonych zależności między zmiennymi.

Wymagania

Wymagana jest jedna liczbowa zmienna zależna. Zmienna przewidywana musi być zmienną ilościową. Predyktory mogą być zmiennymi ilościowymi lub sztucznymi zmiennymi w przypadku predyktorów jakościowych. Aby można było uruchomić analizę, wymagany jest wyraz wolny lub co najmniej jeden predyktor.

Regresja kwantylowa nie czyni założeń dotyczących rozkładu zmiennej przewidywanej i jest odporna na wpływ obserwacji odstających.

Analiza kwantylowa jest pokrewna regresji metodą najmniejszych kwadratów.

Przykład 1.

Wykorzystamy przykład z pakietu quantreg.

Jaki jest związek między całkowitym dochodem gospodarstwa domowego a odsetkiem dochodów wydatkowanych na żywność? Prawo Engela w ekonomii głosi, że w miarę wzrostu dochodów, część dochodów wydatkowanych na żywność spada, nawet jeśli wydatki na żywność bezwzględnie rosną. Stosując regresję kwantylową do tych danych, można określić, jakie wydatki na żywność ponosi 90% rodzin (dla 100 rodzin z danym dochodem), gdy nie interesują nas średnie wydatki na żywność.

Dane, które wykorzystamy - to zbiór “engel” - dane dotyczące wydatków na żywność. Jest to zbiór danych regresyjnych składający się z 235 obserwacji dotyczących dochodów i wydatków na żywność dla belgijskich gospodarstw domowych klasy robotniczej.

Powyższy wykres przedstawia dopasowanie regresji kwantylowej dla \(\tau = (0.1, 0.25, 0.5, 0.75, 0.90, 0.95)\). Dopasowanie KMNK to gruba czarna linia.

Poniżej znajduje się tabela z oszacowanymi współczynnikami.

knitr::kable(fits, format = "html", caption = "Oszacowania z KMNK oraz `quantreg`") %>%
    kable_styling("striped") %>%
    column_spec(1:8, background = "grey")
Oszacowania z KMNK oraz quantreg
OLS \(\tau_{0.10}\) \(\tau_{0.25}\) \(\tau_{0.50}\) \(\tau_{0.75}\) \(\tau_{0.90}\) \(\tau_{0.95}\)
(Intercept) 147.4753885 110.1415742 95.4835396 81.4822474 62.3965855 67.3508721 64.1039632
income 0.4851784 0.4017658 0.4741032 0.5601806 0.6440141 0.6862995 0.7090685

Ok, możemy to zrobić bardziej przejrzyście i sformatować w ładnej tabeli wyników:

## 
## Wyniki regresji kwantylowych
## ==========================================
##                   Dependent variable:     
##              -----------------------------
##                         foodexp           
##                 (1)       (2)       (3)   
## ------------------------------------------
## income       0.474***  0.560***  0.644*** 
##               (0.029)   (0.028)   (0.023) 
##                                           
## Constant     95.484*** 81.482*** 62.397***
##              (21.392)  (19.251)  (16.305) 
##                                           
## ------------------------------------------
## Observations    235       235       235   
## ==========================================
## Note:          *p<0.1; **p<0.05; ***p<0.01

Finalnie, zaprezentujmy wyłącznie te 3 modele na wykresie:

Przykład 2.

Tutaj przeprowadzimy testy użycia pakietu quantreg, wykorzystując wbudowany zbiór danych “mtcars”. Zmienna “mpg” oznacza spalanie samochodów (mile/galon).

Zamodulejmy zależność regresyjną dla tej zmiennej od kilku predyktorów.

Najpierw oszacujmy regresję KMNK:

kmnk <- lm(mpg ~ disp + hp + factor(am) + factor(vs), data = mtcars)
summary(kmnk)
## 
## Call:
## lm(formula = mpg ~ disp + hp + factor(am) + factor(vs), data = mtcars)
## 
## Residuals:
##     Min      1Q  Median      3Q     Max 
## -4.7981 -1.9532  0.0111  1.5665  5.6321 
## 
## Coefficients:
##              Estimate Std. Error t value Pr(>|t|)    
## (Intercept) 24.832119   2.890418   8.591 3.32e-09 ***
## disp        -0.008304   0.010087  -0.823  0.41757    
## hp          -0.037623   0.013846  -2.717  0.01135 *  
## factor(am)1  4.419257   1.493243   2.960  0.00634 ** 
## factor(vs)1  2.052472   1.627096   1.261  0.21794    
## ---
## Signif. codes:  0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
## 
## Residual standard error: 2.812 on 27 degrees of freedom
## Multiple R-squared:  0.8104, Adjusted R-squared:  0.7823 
## F-statistic: 28.85 on 4 and 27 DF,  p-value: 2.13e-09

Teraz oszacujmy warunkowe regresje kwantylowe na różnych kwantylach, błąd standardowy uzyskany przez bootstrap.

Zauważ, że istnieje gradient we współczynnikach kwantylowych hp, jak również disp. Znak disp odwraca się, również współczynnik na czynniku am jest różny w zależności od kwantyli:

kwantyle <- c(0.25, 0.50, 0.75)
reg_kwantylowa <- rq(mpg ~ disp + hp + factor(am),tau = kwantyle,data = mtcars)
summary(reg_kwantylowa, se = "boot")
## 
## Call: rq(formula = mpg ~ disp + hp + factor(am), tau = kwantyle, data = mtcars)
## 
## tau: [1] 0.25
## 
## Coefficients:
##             Value    Std. Error t value  Pr(>|t|)
## (Intercept) 25.34665  1.61361   15.70804  0.00000
## disp        -0.02441  0.00733   -3.32863  0.00245
## hp          -0.01672  0.01598   -1.04617  0.30443
## factor(am)1  1.39719  1.54190    0.90615  0.37259
## 
## Call: rq(formula = mpg ~ disp + hp + factor(am), tau = kwantyle, data = mtcars)
## 
## tau: [1] 0.5
## 
## Coefficients:
##             Value    Std. Error t value  Pr(>|t|)
## (Intercept) 27.49722  1.82032   15.10570  0.00000
## disp        -0.02253  0.01694   -1.33012  0.19421
## hp          -0.02713  0.02517   -1.07793  0.29026
## factor(am)1  3.37328  2.02224    1.66809  0.10644
## 
## Call: rq(formula = mpg ~ disp + hp + factor(am), tau = kwantyle, data = mtcars)
## 
## tau: [1] 0.75
## 
## Coefficients:
##             Value    Std. Error t value  Pr(>|t|)
## (Intercept) 28.06384  1.54506   18.16363  0.00000
## disp         0.00445  0.01366    0.32591  0.74692
## hp          -0.06662  0.01868   -3.56550  0.00133
## factor(am)1  7.91402  2.42736    3.26034  0.00292

Testy współczynników

Użyjemy funkcji rq.anova z pakietu regresji kwantylowej, aby przeprowadzić test WALDA. Pamiętaj, że test WALDA mówi, że biorąc pod uwagę nieograniczone oszacowania modelu, przetestujemy hipotezę zerową mówiącą, że współczynniki spełniają pewne liniowe ograniczenia.

Aby ją przetestować, użyjemy obiektu zwróconego z uruchomienia rq z różnymi liczbami kwantyli i ustawimy opcję joint na true lub false. Gdy joint jest true: “równość współczynników kierunkowych powinna być wykonana jako wspólne testy na wszystkich parametrach nachylenia”, gdy joint jest false: “należy zgłaszać oddzielne testy na każdym z parametrów nachylenia”.

Zauważ, że testy kwantylowe są testami “linii równoległej”. Oznacza to, że powinniśmy wyjąć różne x-wyrazy_wolne dla każdego kwantyla, ponieważ reprezentują one poziomy rozkładów warunkowych. Jeśli jednak współczynniki kwantyli dla współczynnikow są takie same, to nie ma efektów specyficznych dla kwantyli, wystarczą efekty średnie.

Badanie statystycznej różnicy między 25. i 50. kwantylem warunkowym:

Biorąc pod uwagę powyższe oszacowania kwantyli, różnica między kwantylami 0,25 i 0,50 istnieje, ale czy są one wystarczająco duże, aby być statystycznie różne? Jaka jest wartość p? Przeglądając poniższe wyniki, nie są one statystycznie różne!

Po pierwsze, joint = TRUE. To nie jest testowanie, czy współczynnik na disp jest taki sam jak współczynnik na hp. To jest wspólne testowanie, czy współczynniki dla różnych kwantyli disp i różnych kwantyli hp są takie same dla każdej zmiennej.

kwantyle <- c(0.25, 0.50)
reg_kwantylowa <- rq(mpg ~ disp + hp + factor(am),tau = kwantyle, data = mtcars)
anova(reg_kwantylowa, test = "Wald", joint=TRUE)
## Quantile Regression Analysis of Deviance Table
## 
## Model: mpg ~ disp + hp + factor(am)
## Joint Test of Equality of Slopes: tau in {  0.25 0.5  }
## 
##   Df Resid Df F value Pr(>F)
## 1  3       61  0.8421 0.4761

Po drugie, joint = False:

anova(reg_kwantylowa, test = "Wald", joint=FALSE)
## Quantile Regression Analysis of Deviance Table
## 
## Model: mpg ~ disp + hp + factor(am)
## Tests of Equality of Distinct Slopes: tau in {  0.25 0.5  }
## 
##             Df Resid Df F value Pr(>F)
## disp         1       63  0.0305 0.8619
## hp           1       63  0.5461 0.4627
## factor(am)1  1       63  1.3500 0.2497

Badanie statystycznej różnicy między 25, 50 i 75 kwantylem warunkowym:

Pierwszy kwartyl i mediana nie wydają się być statystycznie różne, teraz dołączymy trzeci kwartyl. Jak widać wcześniej, kwartyle wspólnie wykazują gradient. Teraz możemy zobaczyć, że disp, hp i am są oddzielnie statystycznie różne.

Po pierwsze, joint = TRUE:

kwantyle <- c(0.25, 0.50, 0.75)

reg_kwantylowa <- rq(mpg ~ disp + hp + factor(am),tau = kwantyle, data = mtcars)

anova(reg_kwantylowa, test = "Wald", joint=TRUE)
## Quantile Regression Analysis of Deviance Table
## 
## Model: mpg ~ disp + hp + factor(am)
## Joint Test of Equality of Slopes: tau in {  0.25 0.5 0.75  }
## 
##   Df Resid Df F value   Pr(>F)   
## 1  6       90  3.3173 0.005367 **
## ---
## Signif. codes:  0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1

Po drugie, joint = False:

anova(reg_kwantylowa, test = "Wald", joint=FALSE)
## Quantile Regression Analysis of Deviance Table
## 
## Model: mpg ~ disp + hp + factor(am)
## Tests of Equality of Distinct Slopes: tau in {  0.25 0.5 0.75  }
## 
##             Df Resid Df F value   Pr(>F)   
## disp         2       94  5.4903 0.005558 **
## hp           2       94  6.7221 0.001868 **
## factor(am)1  2       94  7.2758 0.001154 **
## ---
## Signif. codes:  0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1

Dobroć dopasowania

Możemy obliczyć współczynniki dobroci dopasowania regresji kwantylowej z wykorzystaniem reszt i reszt bezwarunkowych:

goodfit(resid, resid_nl, tau)

Miara dobroci dopasowania dla regresji kwantylowej jest szacowana jako 1 minus stosunek sumy odchyleń bezwzględnych w modelach w pełni sparametryzowanych do sumy odchyleń bezwzględnych w zerowym (bezwarunkowym) modelu kwantylowym.

Wartości te są przydatne do porównań między modelami kwantylowymi, ale nie są porównywalne ze standardowymi współczynnikami determinacji. Te ostatnie oparte są na wariancji odchyleń kwadratowych, natomiast wartości dobroci dopasowania dla regresji kwantylowej oparte są na odchyleniach bezwzględnych. Wartości dobroci dopasowania zawsze będą mniejsze niż wartości R2.

## model kwantylowy
model1 <- rq(mpg ~ disp + hp + factor(am),tau = 0.5, data = mtcars)
reszty1 <- resid(model1)

## bezwarunkowy (pusty) model kwantylowy
model2 <- rq(mpg ~ 1, tau = 0.5,data=mtcars)
reszty2 <- resid(model2)

goodfit(reszty1, reszty2, 0.5)
## [1] 0.5403311
## r2 modelu KMNK dla porównania
model_lm <- lm(mpg ~ disp + hp + factor(am), data = mtcars)

summary(model_lm)$r.squared
## [1] 0.7992061

Zadanie

Teraz Wasza kolej ;-)

Waszym zadaniem dzisiaj jest zamodelowanie - porównanie KMNK oraz regresji kwantylowej (różno-poziomowej) dla zmiennej “earnings” - wynagrodzenia.

Dobierz i przetestuj predyktory, kwantyle dla modeli. Wykonaj testy różnic współczynnikow dla finalnych modeli.

W przypadku problemów - obejrzyj video tutorial (włącz polskie napisy) oraz wejdź na jego stronę ze źródłami. Możesz również wykorzystać w/w przykłady.

Dane

CPSSW9298 zawiera dane o wynagrodzeniach.

data("CPSSW9298")
dane <- CPSSW9298

Wizualizacja danych

Rozkład wynagrodzen:

wykres0 <- ggplot(dane, aes(x=earnings)) + 
           geom_histogram(bins=30, color="black", fill="pink") +
           xlab("Zarobki") + ylab("Czstosc") +
           ggtitle("Histogram rozkLadu wynagrodzen") +
           xlab("Wynagrodzenia") + ylab("Czestosc")
print(wykres0)

Wynagordzenia o wartości poniżej średniej przeważają w badanej próbie (asymetria prawostr.)

Wynagrodzenia kobiet i mężczyzn:

wykres1 <- ggplot(dane, aes(y=earnings, x=gender, fill=gender)) + 
           geom_boxplot() +
           ggtitle("Wynagrodzenia w podziale na kobiety i mężczyzn") +
           xlab("Płeć") + ylab("Wynagrodzenia") +
           labs(fill="Płeć") 
print(wykres1)

Z wykresu wnioskujemy, że mężczyźni mają wyższe wynagrodzenia względem kobiet.

Wynagrodzenia w zależności od wykształcenia:

wykres2 <- ggplot(dane, aes(y=earnings, x=degree, fill= degree)) + 
           geom_boxplot() +
           ggtitle("Porowanie wynagrodzen w zaleznosci od wyksztalcenia") +
           xlab("Wyksztalcenie") + ylab("Wynagrodzenia") +
           labs(fill="Wyksztalcenie")
print(wykres2)

Osoby z wykształceniem dającym tytuł licencjata dostają wyższe wynagrodzenia względem osób, które ukończyły jedynie szkołę.

Wynagrodzenia w zależności od płci i wykształcenia:

wykres3 <- ggplot(dane, aes(y=earnings, x=degree, fill=gender)) + 
           geom_boxplot() +
           ggtitle("Porówanie wynagrodzeń kobiet i mężczyzn w zależności od wykształcenia") +
           xlab("Wykształcenie") + ylab("Wynagrodzenia") +
           labs(fill="Płeć")
print(wykres3)

Najwyższe wynagrodzenia dostają mężczyźni majacy licencjat, a najniższe kobiety, które skończyły szkołę średnią.

Regresja KMNK

Model MNK: Zmienną objaśniana to wynagrodzenia, zmienne objaśniające to wiek, stopień wykształcenia oraz płeć.

kmnk <- lm(earnings ~ age + degree + gender, data = dane)
summary(kmnk)
## 
## Call:
## lm(formula = earnings ~ age + degree + gender, data = dane)
## 
## Residuals:
##     Min      1Q  Median      3Q     Max 
## -15.023  -3.735  -0.819   2.755  33.526 
## 
## Coefficients:
##                Estimate Std. Error t value Pr(>|t|)    
## (Intercept)     1.70477    0.52435   3.251  0.00115 ** 
## age             0.33245    0.01740  19.106  < 2e-16 ***
## degreebachelor  4.91123    0.09938  49.418  < 2e-16 ***
## genderfemale   -2.24217    0.09902 -22.643  < 2e-16 ***
## ---
## Signif. codes:  0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
## 
## Residual standard error: 5.665 on 13497 degrees of freedom
## Multiple R-squared:  0.1877, Adjusted R-squared:  0.1876 
## F-statistic:  1040 on 3 and 13497 DF,  p-value: < 2.2e-16

Z wyników można odczytać, iż na poziom wyngrodzeń statystycznie istotnie wpływają: wiek, posiadanie ukończonych studiów z końcowym tytułem licencjackim oraz płeć kobieca.

Regresja kwantylowa

Model regresji kwantylowej: Dla pierwszego (Q1=0,25), drugiego (Q2=0,5) i trzeciego kwartyla (Q3=0,75). Zmienne takie same jak w modelu wyżej.

kwantyle <- c(0.25, 0.50, 0.75)
reg_kwantylowa <- rq(earnings ~ age + degree + gender , tau = kwantyle, data = dane)
summary(reg_kwantylowa, se = "boot")
## 
## Call: rq(formula = earnings ~ age + degree + gender, tau = kwantyle, 
##     data = dane)
## 
## tau: [1] 0.25
## 
## Coefficients:
##                Value     Std. Error t value   Pr(>|t|) 
## (Intercept)      2.67308   0.42567    6.27969   0.00000
## age              0.17308   0.01479   11.69994   0.00000
## degreebachelor   3.59188   0.08994   39.93727   0.00000
## genderfemale    -1.32265   0.07598  -17.40751   0.00000
## 
## Call: rq(formula = earnings ~ age + degree + gender, tau = kwantyle, 
##     data = dane)
## 
## tau: [1] 0.5
## 
## Coefficients:
##                Value     Std. Error t value   Pr(>|t|) 
## (Intercept)      1.45427   0.51928    2.80054   0.00511
## age              0.31389   0.01768   17.75384   0.00000
## degreebachelor   4.70043   0.11855   39.65025   0.00000
## genderfemale    -2.12970   0.10951  -19.44804   0.00000
## 
## Call: rq(formula = earnings ~ age + degree + gender, tau = kwantyle, 
##     data = dane)
## 
## tau: [1] 0.75
## 
## Coefficients:
##                Value     Std. Error t value   Pr(>|t|) 
## (Intercept)      1.53846   0.84470    1.82131   0.06858
## age              0.43269   0.02791   15.50048   0.00000
## degreebachelor   5.75962   0.16538   34.82567   0.00000
## genderfemale    -2.97009   0.13562  -21.89938   0.00000

Poziom istotności statystycznej 5%. Dla pierwszego, jak i drugiego kwartyla wszystkie zmienne wpływają istotnie statystcznie, w przypadku trzeciego kwartyla wiek okazał się być staystycznie nieistony.

Weryfikacja statystyczna istotności różnic między pierwszym, drugim i trzecim kwartylem

anova(reg_kwantylowa, test = "Wald", joint=TRUE)
## Quantile Regression Analysis of Deviance Table
## 
## Model: earnings ~ age + degree + gender
## Joint Test of Equality of Slopes: tau in {  0.25 0.5 0.75  }
## 
##   Df Resid Df F value    Pr(>F)    
## 1  6    40497   90.65 < 2.2e-16 ***
## ---
## Signif. codes:  0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1

Pierwszy, drugi i trzeci kwartyl łącznie istotnie różnią się od siebie.

anova(reg_kwantylowa, test = "Wald", joint=FALSE)
## Quantile Regression Analysis of Deviance Table
## 
## Model: earnings ~ age + degree + gender
## Tests of Equality of Distinct Slopes: tau in {  0.25 0.5 0.75  }
## 
##                Df Resid Df F value    Pr(>F)    
## age             2    40501  72.465 < 2.2e-16 ***
## degreebachelor  2    40501 117.817 < 2.2e-16 ***
## genderfemale    2    40501  88.771 < 2.2e-16 ***
## ---
## Signif. codes:  0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1

Uwzględnione w badaniu predyktory wynagrodzeń są oddzielnie różne.

Dobroć dopasowania

Współczynniki dobroci dopasowania regresji kwantylowej (reszty i reszty bezwarunkowej):

# Testy reszt:
reszty0 <- resid(kmnk)

# Bezwarunkowy (pusty) model kwantylowy dla Q2 = 0.5
model2 <- rq(earnings ~ 1, tau = 0.5,data=dane)
reszty2 <- resid(model2)

goodfit(reszty0, reszty2, 0.5)
## [1] 0.09465109
# Bezwarunkowy (pusty) model kwantylowy dla Q3 = 0.75
model3 <- rq(earnings ~ 1, tau = 0.75,data=dane)
reszty3 <- resid(model3)

goodfit(reszty0, reszty3, 0.75)
## [1] 0.01350041
# Współczynnik dterminacji modelu KMNK dla porównania
summary(kmnk)$r.squared
## [1] 0.1877333

Współczynnik determinacji dla regresji liniowej osiągnął najwyższą wartość czyli model najlepiej wyjaśnia badane zjawisko.

LS0tDQp0aXRsZTogIk5pZWtsYXN5Y3puZSBtZXRvZHkgc3RhdHlzdHlraSINCmF1dGhvcjogIkFsaWNqYSBQxJlrYWN6Ig0KZGF0ZTogImByIFN5cy5EYXRlKClgIg0Kb3V0cHV0Og0KICBodG1sX2RvY3VtZW50Og0KICAgIHRoZW1lOiBjZXJ1bGVhbg0KICAgIGhpZ2hsaWdodDogdGV4dG1hdGUNCiAgICBmb250c2l6ZTogMTBwdA0KICAgIHRvYzogeWVzDQogICAgY29kZV9kb3dubG9hZDogeWVzDQogICAgdG9jX2Zsb2F0Og0KICAgICAgY29sbGFwc2VkOiBubw0KICAgIGRmX3ByaW50OiBkZWZhdWx0DQogICAgdG9jX2RlcHRoOiA1DQogIHBkZl9kb2N1bWVudDoNCiAgICB0b2M6IHllcw0KICAgIHRvY19kZXB0aDogJzUnDQpzdWJ0aXRsZTogUmVncmVzamEga3dhbnR5bG93YQ0KZWRpdG9yX29wdGlvbnM6DQogIG1hcmtkb3duOg0KICAgIHdyYXA6IDcyDQotLS0NCg0KYGBge3IgcHJlcmVxcywgbWVzc2FnZSA9IEZBTFNFLCBlY2hvID0gRkFMU0UsIHdhcm5pbmc9RkFMU0V9DQpsaWJyYXJ5KENWWFIpDQpsaWJyYXJ5KEFFUikNCmxpYnJhcnkoc3RhcmdhemVyKQ0KbGlicmFyeShXUlREU3RpZGFsKQ0KbGlicmFyeShoYXJkaGF0KQ0KbGlicmFyeSh0aWR5dmVyc2UpDQpsaWJyYXJ5KGthYmxlRXh0cmEpDQpsaWJyYXJ5KHF1YW50cmVnKQ0KbGlicmFyeShQb2dyb21jeURhbnljaCkNCg0KYGBgDQoNCiMjIERsYWN6ZWdvIGt3YW50eWxvd2E/DQoNCkRsYWN6ZWdvIHBvdHJ6ZWJ1amVteSByZWdyZXNqaSBrd2FudHlsb3dlaiAoUVIpPw0KDQpXIHN6Y3plZ8OzbG5vxZtjaSwgUVI6DQoNCi0gICBqZXN0IG9kcG9ybmEgbmEgcHVua3R5IG9kc3RhasSFY2UgaSB3cMWCeXdvd2UNCg0KLSAgIG5pZSB6YWvFgmFkYSBzdGHFgmVqIHdhcmlhbmNqaSAoem5hbmVqIGpha28gaG9tb3NrZWRhc3R5Y3pub8WbxIcpIGRsYQ0KICAgIHptaWVubmVqIG9kcG93aWVkemkgbHViIHJlc3p0DQoNCi0gICBuaWUgemFrxYJhZGEgbm9ybWFsbm/Fm2NpIGFsZSBnxYLDs3duxIUgemFsZXTEhSBRUiB3IHBvcsOzd25hbml1IHogcmVncmVzasSFDQogICAgbGluaW93xIUgKExSKSBqZXN0IHRvLCDFvGUgUVIgYmFkYSByw7PFvG5lIHdhcnRvxZtjaSB6bWllbm5laiBvZHBvd2llZHppLA0KICAgIGEgbmllIHR5bGtvIMWbcmVkbmnEhSwgaSBkb3N0YXJjemEgdyB6d2nEhXprdSB6IHR5bSBwZcWCbmllanN6ZWdvIG9icmF6dQ0KICAgIHp3acSFemvDs3cgbWnEmWR6eSB6bWllbm55bWkhDQoNCiMjIFdwcm93YWR6ZW5pZQ0KDQpSZWdyZXNqYSBrd2FudHlsb3dhIChhbmcuIHF1YW50aWxlIHJlZ3Jlc3Npb24pIHpvc3RhxYJhIHphcHJvcG9ub3dhbmENCnByemV6IEtvZW5rZXJhIGkgQmFzc2V0dGEgKDE5NzgpLiBTemN6ZWfDs2xueSBwcnp5cGFkZWsgcmVncmVzamkNCmt3YW50eWxvd2VqIGRsYSBrd2FudHlsYSByesSZZHUgMCw1IChjenlsaSBtZWRpYW55KSBqZXN0IHLDs3dub3dhxbxueQ0KZXN0eW1hdG9yb3dpIExBRCAoYW5nLiBMZWFzdCBBYnNvbHV0ZSBEZXZpYXRpb24pIC0tIG1pbmltYWxpenVqZSBzdW3EmQ0KYmV6d3pnbMSZZG55Y2ggYsWCxJlkw7N3LlwNCldwcm93YWR6ZW5pZSByw7PFvG55Y2gga3dhbnR5bGkgcmVncmVzamkgZGFqZSBwZcWCbmllanN6eSBvcGlzIHJvemvFgmFkw7N3DQp3YXJ1bmtvd3ljaCB6d8WCYXN6Y3phIHcgcHJ6eXBhZGt1IHJvemvFgmFkw7N3IGFzeW1ldHJ5Y3pueWNoIGx1YiB1Y2nEmXR5Y2guDQoNClJlZ3Jlc2phIGt3YW50eWxvd2EgamVzdCBrb2xlam7EhSB3YXJpYWNqxIUgbmEgdGVtYXQgbmFqbW5pZWpzenljaA0Ka3dhZHJhdMOzdyBcY2l0ZXB7cXVhbnRpbGV9LiBTdHJhdMSFIGplc3Qgd3Nww7PFgmN6eW5uaWsgJGxfMSQgZnVua2NqaToNCg0KJCQNCiAgICBccGhpKHUpID0gXHRhdVxtYXgodSwwKSAtICgxLVx0YXUpXG1heCgtdSwwKSA9IFxmcmFjezF9ezJ9fHV8ICsgXGxlZnQoXHRhdSAtIFxmcmFjezF9ezJ9XHJpZ2h0KXUsDQokJA0KDQpnZHppZSAkXHRhdSBcaW4gKDAsMSkkIG96bmFjemEga29ua3JldG55IGt3YW50eWwuIFByb2JsZW1lbSBqYWsNCnBvcHJ6ZWRuaW8gamVzdCBtaW5pbWFsaXphY2phIGNhxYJrb3dpdGVqIHN0cmF0eSByZXN6dG93ZWouIE1vZGVsIHRlbg0KamVzdCBwb3dzemVjaG5pZSBzdG9zb3dhbnkgdyBla29sb2dpaSwgb2Nocm9uaWUgemRyb3dpYSBpIGlubnljaA0KZHppZWR6aW5hY2gsIGdkemllIHNhbWEgxZtyZWRuaWEgbmllIHd5c3RhcmN6YSBkbyB1Y2h3eWNlbmlhIHrFgm/FvG9ueWNoDQp6YWxlxbxub8WbY2kgbWnEmWR6eSB6bWllbm55bWkuDQoNCiMjIFd5bWFnYW5pYQ0KDQpXeW1hZ2FuYSBqZXN0IGplZG5hIGxpY3pib3dhIHptaWVubmEgemFsZcW8bmEuIFptaWVubmEgcHJ6ZXdpZHl3YW5hIG11c2kNCmJ5xIcgem1pZW5uxIUgaWxvxZtjaW93xIUuIFByZWR5a3RvcnkgbW9nxIUgYnnEhyB6bWllbm55bWkgaWxvxZtjaW93eW1pIGx1Yg0Kc3p0dWN6bnltaSB6bWllbm55bWkgdyBwcnp5cGFka3UgcHJlZHlrdG9yw7N3IGpha2/Fm2Npb3d5Y2guIEFieSBtb8W8bmENCmJ5xYJvIHVydWNob21pxIcgYW5hbGl6xJksIHd5bWFnYW55IGplc3Qgd3lyYXogd29sbnkgbHViIGNvIG5ham1uaWVqIGplZGVuDQpwcmVkeWt0b3IuDQoNClJlZ3Jlc2phIGt3YW50eWxvd2EgbmllIGN6eW5pIHphxYJvxbxlxYQgZG90eWN6xIVjeWNoIHJvemvFgmFkdSB6bWllbm5lag0KcHJ6ZXdpZHl3YW5laiBpIGplc3Qgb2Rwb3JuYSBuYSB3cMWCeXcgb2JzZXJ3YWNqaSBvZHN0YWrEhWN5Y2guDQoNCkFuYWxpemEga3dhbnR5bG93YSBqZXN0IHBva3Jld25hIHJlZ3Jlc2ppIG1ldG9kxIUgbmFqbW5pZWpzenljaA0Ka3dhZHJhdMOzdy4NCg0KIyMgUHJ6eWvFgmFkIDEuDQoNCld5a29yenlzdGFteSBwcnp5a8WCYWQgeiBwYWtpZXR1IHF1YW50cmVnLg0KDQpKYWtpIGplc3QgendpxIV6ZWsgbWnEmWR6eSBjYcWCa293aXR5bSBkb2Nob2RlbSBnb3Nwb2RhcnN0d2EgZG9tb3dlZ28gYQ0Kb2RzZXRraWVtIGRvY2hvZMOzdyB3eWRhdGtvd2FueWNoIG5hIMW8eXdub8WbxIc/IFByYXdvIEVuZ2VsYSB3IGVrb25vbWlpDQpnxYJvc2ksIMW8ZSB3IG1pYXLEmSB3enJvc3R1IGRvY2hvZMOzdywgY3rEmcWbxIcgZG9jaG9kw7N3IHd5ZGF0a293YW55Y2ggbmENCsW8eXdub8WbxIcgc3BhZGEsIG5hd2V0IGplxZtsaSB3eWRhdGtpIG5hIMW8eXdub8WbxIcgYmV6d3pnbMSZZG5pZSByb3NuxIUuDQpTdG9zdWrEhWMgcmVncmVzasSZIGt3YW50eWxvd8SFIGRvIHR5Y2ggZGFueWNoLCBtb8W8bmEgb2tyZcWbbGnEhywgamFraWUNCnd5ZGF0a2kgbmEgxbx5d25vxZvEhyBwb25vc2kgOTAlIHJvZHppbiAoZGxhIDEwMCByb2R6aW4geiBkYW55bSBkb2Nob2RlbSksDQpnZHkgbmllIGludGVyZXN1asSFIG5hcyDFm3JlZG5pZSB3eWRhdGtpIG5hIMW8eXdub8WbxIcuDQoNCkRhbmUsIGt0w7NyZSB3eWtvcnp5c3RhbXkgLSB0byB6YmnDs3IgImVuZ2VsIiAtIGRhbmUgZG90eWN6xIVjZSB3eWRhdGvDs3cgbmENCsW8eXdub8WbxIcuIEplc3QgdG8gemJpw7NyIGRhbnljaCByZWdyZXN5am55Y2ggc2vFgmFkYWrEhWN5IHNpxJkgeiAyMzUNCm9ic2Vyd2FjamkgZG90eWN6xIVjeWNoIGRvY2hvZMOzdyBpIHd5ZGF0a8OzdyBuYSDFvHl3bm/Fm8SHIGRsYSBiZWxnaWpza2ljaA0KZ29zcG9kYXJzdHcgZG9tb3d5Y2gga2xhc3kgcm9ib3RuaWN6ZWouDQoNCmBgYHtyIGVjaG89RkFMU0V9DQpkYXRhKGVuZ2VsKSAjZGFuZSANCnAgPC0gZ2dwbG90KGRhdGEgPSBlbmdlbCkgKw0KICAgIGdlb21fcG9pbnQobWFwcGluZyA9IGFlcyh4ID0gaW5jb21lLCB5ID0gZm9vZGV4cCksIGNvbG9yID0gImJsdWUiKQ0KdGF1cyA8LSBjKDAuMSwgMC4yNSwgMC41LCAwLjc1LCAwLjkwLCAwLjk1KQ0KZml0cyA8LSBkYXRhLmZyYW1lKA0KICAgIGNvZWYobG0oZm9vZGV4cCB+IGluY29tZSwgZGF0YSA9IGVuZ2VsKSksDQogICAgc2FwcGx5KHRhdXMsIGZ1bmN0aW9uKHgpIGNvZWYocnEoZm9ybXVsYSA9IGZvb2RleHAgfiBpbmNvbWUsIGRhdGEgPSBlbmdlbCwgdGF1ID0geCkpKSkNCm5hbWVzKGZpdHMpIDwtIGMoIk9MUyIsIHNwcmludGYoIiRcXHRhdV97JTAuMmZ9JCIsIHRhdXMpKQ0KbmYgPC0gbmNvbChmaXRzKQ0KY29sb3JzIDwtIGNvbG9yUmFtcFBhbGV0dGUoY29sb3JzID0gYygiYmxhY2siLCAicmVkIikpKG5mKQ0KcCA8LSBwICsgZ2VvbV9hYmxpbmUoaW50ZXJjZXB0ID0gZml0c1sxLCAxXSwgc2xvcGUgPSBmaXRzWzIsIDFdLCBjb2xvciA9IGNvbG9yc1sxXSwgbGluZXdpZHRoID0gMS41KQ0KZm9yIChpIGluIHNlcV9sZW4obmYpWy0xXSkgew0KICAgIHAgPC0gcCArIGdlb21fYWJsaW5lKGludGVyY2VwdCA9IGZpdHNbMSwgaV0sIHNsb3BlID0gZml0c1syLCBpXSwgY29sb3IgPSBjb2xvcnNbaV0pDQp9DQpwDQpgYGANCg0KUG93ecW8c3p5IHd5a3JlcyBwcnplZHN0YXdpYSBkb3Bhc293YW5pZSByZWdyZXNqaSBrd2FudHlsb3dlaiBkbGENCiRcdGF1ID0gKDAuMSwgMC4yNSwgMC41LCAwLjc1LCAwLjkwLCAwLjk1KSQuIERvcGFzb3dhbmllIEtNTksgdG8gZ3J1YmENCmN6YXJuYSBsaW5pYS4NCg0KUG9uacW8ZWogem5hamR1amUgc2nEmSB0YWJlbGEgeiBvc3phY293YW55bWkgd3Nww7PFgmN6eW5uaWthbWkuDQoNCmBgYHtyfQ0Ka25pdHI6OmthYmxlKGZpdHMsIGZvcm1hdCA9ICJodG1sIiwgY2FwdGlvbiA9ICJPc3phY293YW5pYSB6IEtNTksgb3JheiBgcXVhbnRyZWdgIikgJT4lDQogICAga2FibGVfc3R5bGluZygic3RyaXBlZCIpICU+JQ0KICAgIGNvbHVtbl9zcGVjKDE6OCwgYmFja2dyb3VuZCA9ICJncmV5IikNCmBgYA0KDQpPaywgbW/FvGVteSB0byB6cm9iacSHIGJhcmR6aWVqIHByemVqcnp5xZtjaWUgaSBzZm9ybWF0b3dhxIcgdyDFgmFkbmVqIHRhYmVsaQ0Kd3luaWvDs3c6DQoNCmBgYHtyIGVjaG89RkFMU0UsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIHBhZ2VkLnByaW50PVRSVUV9DQpxMjUgPC0gcnEoZm9vZGV4cCB+IGluY29tZSwgZGF0YSA9IGVuZ2VsLCB0YXUgPSAwLjI1KQ0KcTUwIDwtIHJxKGZvb2RleHAgfiBpbmNvbWUsIGRhdGEgPSBlbmdlbCwgdGF1ID0gMC41MCkNCnE3NSA8LSBycShmb29kZXhwIH4gaW5jb21lLCBkYXRhID0gZW5nZWwsIHRhdSA9IDAuNzUpDQoNCiMgVGFiZWxhIHogcG9yw7N3bmFuaWVtIHd5bmlrw7N3IHRyemVjaCBtb2RlbGk6IA0KDQpzdGFyZ2F6ZXIocTI1LCBxNTAsIHE3NSwgdGl0bGUgPSAiV3luaWtpIHJlZ3Jlc2ppIGt3YW50eWxvd3ljaCIsIHR5cGUgPSAidGV4dCIpDQpgYGANCg0KRmluYWxuaWUsIHphcHJlemVudHVqbXkgd3nFgsSFY3puaWUgdGUgMyBtb2RlbGUgbmEgd3lrcmVzaWU6DQoNCmBgYHtyIGVjaG89RkFMU0V9DQpteV9xciA8LSBycShmb29kZXhwIH4gaW5jb21lLCBkYXRhID0gZW5nZWwsIHRhdSA9IHNlcSgwLjI1LCAwLjc1LCAwLjI1KSkNCg0KaW50ZXJjZXB0X3Nsb3BlIDwtIG15X3FyICU+JSANCiAgY29lZigpICU+JSANCiAgdCgpICU+JSANCiAgZGF0YS5mcmFtZSgpICU+JSANCiAgcmVuYW1lKGludGVyY2VwdCA9IFguSW50ZXJjZXB0Liwgc2xvcGUgPSBpbmNvbWUpICU+JSANCiAgbXV0YXRlKHF1YW50aWxlID0gcm93Lm5hbWVzKC4pKQ0KDQpnZ3Bsb3QoKSArIA0KICBnZW9tX3BvaW50KGRhdGEgPSBlbmdlbCwgYWVzKGluY29tZSwgZm9vZGV4cCksIGFscGhhID0gMC41KSArIA0KICBnZW9tX2FibGluZShkYXRhID0gaW50ZXJjZXB0X3Nsb3BlLCBhZXMoaW50ZXJjZXB0ID0gaW50ZXJjZXB0LCBzbG9wZSA9IHNsb3BlLCBjb2xvciA9IHF1YW50aWxlKSkgKyANCiAgdGhlbWVfbWluaW1hbCgpICsgDQogIGxhYnMoeCA9ICJEb2Now7NkIiwgeSA9ICJXeWRhdGtpIG5hIMW8eXdub8WbxIciLCB0aXRsZSA9ICJSZWdyZXNqZSBrd2FudHlsb3dlIHogdGF1ID0gMC4yNSwgMC41MCBvcmF6IDAuNzUiLCANCiAgICAgICBjYXB0aW9uID0gIsW5csOzZMWCbyBkYW55Y2g6IEtvZW5rZXIgYW5kIEJhc3NldHQgKDE5ODIpIikNCmBgYA0KDQojIyBQcnp5a8WCYWQgMi4NCg0KVHV0YWogcHJ6ZXByb3dhZHppbXkgdGVzdHkgdcW8eWNpYSBwYWtpZXR1IHF1YW50cmVnLCB3eWtvcnp5c3R1asSFYw0Kd2J1ZG93YW55IHpiacOzciBkYW55Y2ggIioqbXRjYXJzKioiLiBabWllbm5hICIqKm1wZyoqIiBvem5hY3phIHNwYWxhbmllDQpzYW1vY2hvZMOzdyAoKm1pbGUvZ2Fsb24qKS4NCg0KWmFtb2R1bGVqbXkgemFsZcW8bm/Fm8SHIHJlZ3Jlc3lqbsSFIGRsYSB0ZWogem1pZW5uZWogb2Qga2lsa3UgcHJlZHlrdG9yw7N3Lg0KDQpOYWpwaWVydyBvc3phY3VqbXkgcmVncmVzasSZIEtNTks6DQoNCmBgYHtyfQ0Ka21uayA8LSBsbShtcGcgfiBkaXNwICsgaHAgKyBmYWN0b3IoYW0pICsgZmFjdG9yKHZzKSwgZGF0YSA9IG10Y2FycykNCnN1bW1hcnkoa21uaykNCmBgYA0KDQpUZXJheiBvc3phY3VqbXkgd2FydW5rb3dlIHJlZ3Jlc2plIGt3YW50eWxvd2UgbmEgcsOzxbxueWNoIGt3YW50eWxhY2gsDQpixYLEhWQgc3RhbmRhcmRvd3kgdXp5c2thbnkgcHJ6ZXogKioqYm9vdHN0cmFwKioqLg0KDQpaYXV3YcW8LCDFvGUgaXN0bmllamUgZ3JhZGllbnQgd2Ugd3Nww7PFgmN6eW5uaWthY2gga3dhbnR5bG93eWNoICoqaHAqKiwgamFrDQpyw7N3bmllxbwgKipkaXNwKiouIFpuYWsgKipkaXNwKiogb2R3cmFjYSBzacSZLCByw7N3bmllxbwgd3Nww7PFgmN6eW5uaWsgbmENCmN6eW5uaWt1ICoqYW0qKiBqZXN0IHLDs8W8bnkgdyB6YWxlxbxub8WbY2kgb2Qga3dhbnR5bGk6DQoNCmBgYHtyfQ0Ka3dhbnR5bGUgPC0gYygwLjI1LCAwLjUwLCAwLjc1KQ0KcmVnX2t3YW50eWxvd2EgPC0gcnEobXBnIH4gZGlzcCArIGhwICsgZmFjdG9yKGFtKSx0YXUgPSBrd2FudHlsZSxkYXRhID0gbXRjYXJzKQ0Kc3VtbWFyeShyZWdfa3dhbnR5bG93YSwgc2UgPSAiYm9vdCIpDQpgYGANCg0KIyMjIFRlc3R5IHdzcMOzxYJjenlubmlrw7N3DQoNClXFvHlqZW15IGZ1bmtjamkgcnEuYW5vdmEgeiBwYWtpZXR1IHJlZ3Jlc2ppIGt3YW50eWxvd2VqLCBhYnkNCnByemVwcm93YWR6acSHIHRlc3QgV0FMREEuIFBhbWnEmXRhaiwgxbxlIHRlc3QgV0FMREEgbcOzd2ksIMW8ZSBiaW9yxIVjIHBvZA0KdXdhZ8SZIG5pZW9ncmFuaWN6b25lIG9zemFjb3dhbmlhIG1vZGVsdSwgcHJ6ZXRlc3R1amVteSBoaXBvdGV6xJkgemVyb3fEhQ0KbcOzd2nEhWPEhSwgxbxlIHdzcMOzxYJjenlubmlraSBzcGXFgm5pYWrEhSBwZXduZSBsaW5pb3dlIG9ncmFuaWN6ZW5pYS4NCg0KQWJ5IGrEhSBwcnpldGVzdG93YcSHLCB1xbx5amVteSBvYmlla3R1IHp3csOzY29uZWdvIHogdXJ1Y2hvbWllbmlhICoqKnJxKioqDQp6IHLDs8W8bnltaSBsaWN6YmFtaSBrd2FudHlsaSBpIHVzdGF3aW15IG9wY2rEmSAqKipqb2ludCoqKiBuYSB0cnVlIGx1Yg0KZmFsc2UuIEdkeSAqKipqb2ludCoqKiBqZXN0IHRydWU6ICJyw7N3bm/Fm8SHIHdzcMOzxYJjenlubmlrw7N3IGtpZXJ1bmtvd3ljaA0KcG93aW5uYSBiecSHIHd5a29uYW5hIGpha28gd3Nww7NsbmUgdGVzdHkgbmEgd3N6eXN0a2ljaCBwYXJhbWV0cmFjaA0KbmFjaHlsZW5pYSIsIGdkeSAqKipqb2ludCoqKiBqZXN0IGZhbHNlOiAibmFsZcW8eSB6Z8WCYXN6YcSHIG9kZHppZWxuZQ0KdGVzdHkgbmEga2HFvGR5bSB6IHBhcmFtZXRyw7N3IG5hY2h5bGVuaWEiLg0KDQpaYXV3YcW8LCDFvGUgdGVzdHkga3dhbnR5bG93ZSBzxIUgdGVzdGFtaSAibGluaWkgcsOzd25vbGVnxYJlaiIuIE96bmFjemEgdG8sDQrFvGUgcG93aW5uacWbbXkgd3lqxIXEhyByw7PFvG5lIHgtd3lyYXp5X3dvbG5lIGRsYSBrYcW8ZGVnbyBrd2FudHlsYSwgcG9uaWV3YcW8DQpyZXByZXplbnR1asSFIG9uZSBwb3ppb215IHJvemvFgmFkw7N3IHdhcnVua293eWNoLiBKZcWbbGkgamVkbmFrDQp3c3DDs8WCY3p5bm5pa2kga3dhbnR5bGkgZGxhIHdzcMOzxYJjenlubmlrb3cgc8SFIHRha2llIHNhbWUsIHRvIG5pZSBtYQ0KZWZla3TDs3cgc3BlY3lmaWN6bnljaCBkbGEga3dhbnR5bGksIHd5c3RhcmN6xIUgZWZla3R5IMWbcmVkbmllLg0KDQoqKkJhZGFuaWUgc3RhdHlzdHljem5laiByw7PFvG5pY3kgbWnEmWR6eSAyNS4gaSA1MC4ga3dhbnR5bGVtIHdhcnVua293eW06KioNCg0KQmlvcsSFYyBwb2QgdXdhZ8SZIHBvd3nFvHN6ZSBvc3phY293YW5pYSBrd2FudHlsaSwgcsOzxbxuaWNhIG1pxJlkenkNCmt3YW50eWxhbWkgMCwyNSBpIDAsNTAgaXN0bmllamUsIGFsZSBjenkgc8SFIG9uZSB3eXN0YXJjemFqxIVjbyBkdcW8ZSwgYWJ5DQpiecSHIHN0YXR5c3R5Y3puaWUgcsOzxbxuZT8gSmFrYSBqZXN0IHdhcnRvxZvEhyBwPyBQcnplZ2zEhWRhasSFYyBwb25pxbxzemUNCnd5bmlraSwgbmllIHPEhSBvbmUgc3RhdHlzdHljem5pZSByw7PFvG5lIQ0KDQpQbyBwaWVyd3N6ZSwgam9pbnQgPSBUUlVFLiBUbyBuaWUgamVzdCB0ZXN0b3dhbmllLCBjenkgd3Nww7PFgmN6eW5uaWsgbmENCmRpc3AgamVzdCB0YWtpIHNhbSBqYWsgd3Nww7PFgmN6eW5uaWsgbmEgaHAuIFRvIGplc3Qgd3Nww7NsbmUgdGVzdG93YW5pZSwNCmN6eSB3c3DDs8WCY3p5bm5pa2kgZGxhIHLDs8W8bnljaCBrd2FudHlsaSBkaXNwIGkgcsOzxbxueWNoIGt3YW50eWxpIGhwIHPEhQ0KdGFraWUgc2FtZSBkbGEga2HFvGRlaiB6bWllbm5lai4NCg0KYGBge3J9DQprd2FudHlsZSA8LSBjKDAuMjUsIDAuNTApDQpyZWdfa3dhbnR5bG93YSA8LSBycShtcGcgfiBkaXNwICsgaHAgKyBmYWN0b3IoYW0pLHRhdSA9IGt3YW50eWxlLCBkYXRhID0gbXRjYXJzKQ0KYW5vdmEocmVnX2t3YW50eWxvd2EsIHRlc3QgPSAiV2FsZCIsIGpvaW50PVRSVUUpDQpgYGANCg0KUG8gZHJ1Z2llLCBqb2ludCA9IEZhbHNlOg0KDQpgYGB7cn0NCmFub3ZhKHJlZ19rd2FudHlsb3dhLCB0ZXN0ID0gIldhbGQiLCBqb2ludD1GQUxTRSkNCmBgYA0KDQoqKkJhZGFuaWUgc3RhdHlzdHljem5laiByw7PFvG5pY3kgbWnEmWR6eSAyNSwgNTAgaSA3NSBrd2FudHlsZW0NCndhcnVua293eW06KioNCg0KUGllcndzenkga3dhcnR5bCBpIG1lZGlhbmEgbmllIHd5ZGFqxIUgc2nEmSBiecSHIHN0YXR5c3R5Y3puaWUgcsOzxbxuZSwgdGVyYXoNCmRvxYLEhWN6eW15IHRyemVjaSBrd2FydHlsLiBKYWsgd2lkYcSHIHdjemXFm25pZWosIGt3YXJ0eWxlIHdzcMOzbG5pZQ0Kd3lrYXp1asSFIGdyYWRpZW50LiBUZXJheiBtb8W8ZW15IHpvYmFjennEhywgxbxlICoqZGlzcCoqLCAqKmhwKiogaSAqKmFtKioNCnPEhSBvZGR6aWVsbmllIHN0YXR5c3R5Y3puaWUgcsOzxbxuZS4NCg0KUG8gcGllcndzemUsIGpvaW50ID0gVFJVRToNCg0KYGBge3IgbWVzc2FnZT1GQUxTRSwgd2FybmluZz1GQUxTRX0NCmt3YW50eWxlIDwtIGMoMC4yNSwgMC41MCwgMC43NSkNCg0KcmVnX2t3YW50eWxvd2EgPC0gcnEobXBnIH4gZGlzcCArIGhwICsgZmFjdG9yKGFtKSx0YXUgPSBrd2FudHlsZSwgZGF0YSA9IG10Y2FycykNCg0KYW5vdmEocmVnX2t3YW50eWxvd2EsIHRlc3QgPSAiV2FsZCIsIGpvaW50PVRSVUUpDQpgYGANCg0KUG8gZHJ1Z2llLCBqb2ludCA9IEZhbHNlOg0KDQpgYGB7ciBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFfQ0KYW5vdmEocmVnX2t3YW50eWxvd2EsIHRlc3QgPSAiV2FsZCIsIGpvaW50PUZBTFNFKQ0KYGBgDQoNCiMjIyBEb2Jyb8SHIGRvcGFzb3dhbmlhDQoNCk1vxbxlbXkgb2JsaWN6ecSHIHdzcMOzxYJjenlubmlraSBkb2Jyb2NpIGRvcGFzb3dhbmlhIHJlZ3Jlc2ppIGt3YW50eWxvd2VqIHoNCnd5a29yenlzdGFuaWVtIHJlc3p0IGkgcmVzenQgYmV6d2FydW5rb3d5Y2g6DQoNCmBgYCByDQpnb29kZml0KHJlc2lkLCByZXNpZF9ubCwgdGF1KQ0KYGBgDQoNCk1pYXJhIGRvYnJvY2kgZG9wYXNvd2FuaWEgZGxhIHJlZ3Jlc2ppIGt3YW50eWxvd2VqIGplc3Qgc3phY293YW5hIGpha28gMQ0KbWludXMgc3Rvc3VuZWsgc3VteSBvZGNoeWxlxYQgYmV6d3pnbMSZZG55Y2ggdyBtb2RlbGFjaCB3IHBlxYJuaQ0Kc3BhcmFtZXRyeXpvd2FueWNoIGRvIHN1bXkgb2RjaHlsZcWEIGJlend6Z2zEmWRueWNoIHcgemVyb3d5bQ0KKGJlendhcnVua293eW0pIG1vZGVsdSBrd2FudHlsb3d5bS4NCg0KV2FydG/Fm2NpIHRlIHPEhSBwcnp5ZGF0bmUgZG8gcG9yw7N3bmHFhCBtacSZZHp5IG1vZGVsYW1pIGt3YW50eWxvd3ltaSwgYWxlDQpuaWUgc8SFIHBvcsOzd255d2FsbmUgemUgc3RhbmRhcmRvd3ltaSB3c3DDs8WCY3p5bm5pa2FtaSBkZXRlcm1pbmFjamkuIFRlDQpvc3RhdG5pZSBvcGFydGUgc8SFIG5hIHdhcmlhbmNqaSBvZGNoeWxlxYQga3dhZHJhdG93eWNoLCBuYXRvbWlhc3QNCndhcnRvxZtjaSBkb2Jyb2NpIGRvcGFzb3dhbmlhIGRsYSByZWdyZXNqaSBrd2FudHlsb3dlaiBvcGFydGUgc8SFIG5hDQpvZGNoeWxlbmlhY2ggYmV6d3pnbMSZZG55Y2guIFdhcnRvxZtjaSBkb2Jyb2NpIGRvcGFzb3dhbmlhIHphd3N6ZSBixJlkxIUNCm1uaWVqc3plIG5pxbwgd2FydG/Fm2NpIFJeMl4uDQoNCmBgYHtyIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0V9DQojIyBtb2RlbCBrd2FudHlsb3d5DQptb2RlbDEgPC0gcnEobXBnIH4gZGlzcCArIGhwICsgZmFjdG9yKGFtKSx0YXUgPSAwLjUsIGRhdGEgPSBtdGNhcnMpDQpyZXN6dHkxIDwtIHJlc2lkKG1vZGVsMSkNCg0KIyMgYmV6d2FydW5rb3d5IChwdXN0eSkgbW9kZWwga3dhbnR5bG93eQ0KbW9kZWwyIDwtIHJxKG1wZyB+IDEsIHRhdSA9IDAuNSxkYXRhPW10Y2FycykNCnJlc3p0eTIgPC0gcmVzaWQobW9kZWwyKQ0KDQpnb29kZml0KHJlc3p0eTEsIHJlc3p0eTIsIDAuNSkNCg0KIyMgcjIgbW9kZWx1IEtNTksgZGxhIHBvcsOzd25hbmlhDQptb2RlbF9sbSA8LSBsbShtcGcgfiBkaXNwICsgaHAgKyBmYWN0b3IoYW0pLCBkYXRhID0gbXRjYXJzKQ0KDQpzdW1tYXJ5KG1vZGVsX2xtKSRyLnNxdWFyZWQNCmBgYA0KDQojIyBaYWRhbmllDQoNClRlcmF6IFdhc3phIGtvbGVqIDstKQ0KDQpXYXN6eW0gemFkYW5pZW0gZHppc2lhaiBqZXN0IHphbW9kZWxvd2FuaWUgLSBwb3LDs3duYW5pZSBLTU5LIG9yYXoNCnJlZ3Jlc2ppIGt3YW50eWxvd2VqIChyw7PFvG5vLXBvemlvbW93ZWopIGRsYSB6bWllbm5laiAiZWFybmluZ3MiIC0NCnd5bmFncm9kemVuaWEuDQoNCkRvYmllcnogaSBwcnpldGVzdHVqIHByZWR5a3RvcnksIGt3YW50eWxlIGRsYSBtb2RlbGkuIFd5a29uYWogdGVzdHkNCnLDs8W8bmljIHdzcMOzxYJjenlubmlrb3cgZGxhIGZpbmFsbnljaCBtb2RlbGkuDQoNClcgcHJ6eXBhZGt1IHByb2JsZW3Ds3cgLSBvYmVqcnp5aiB2aWRlbyB0dXRvcmlhbCAod8WCxIVjeiBwb2xza2llIG5hcGlzeSkNCm9yYXogd2VqZMW6IG5hIGplZ28gc3Ryb27EmSB6ZSDFunLDs2TFgmFtaS4gTW/FvGVzeiByw7N3bmllxbwgd3lrb3J6eXN0YcSHIHcvdw0KcHJ6eWvFgmFkeS4NCg0KDQojIyMgRGFuZQ0KDQpDUFNTVzkyOTggemF3aWVyYSBkYW5lIG8gd3luYWdyb2R6ZW5pYWNoLg0KDQpgYGB7cn0NCmRhdGEoIkNQU1NXOTI5OCIpDQpkYW5lIDwtIENQU1NXOTI5OA0KDQpgYGANCg0KDQojIyMgV2l6dWFsaXphY2phIGRhbnljaA0KDQpSb3prxYJhZCB3eW5hZ3JvZHplbjoNCg0KYGBge3J9DQp3eWtyZXMwIDwtIGdncGxvdChkYW5lLCBhZXMoeD1lYXJuaW5ncykpICsgDQogICAgICAgICAgIGdlb21faGlzdG9ncmFtKGJpbnM9MzAsIGNvbG9yPSJibGFjayIsIGZpbGw9InBpbmsiKSArDQogICAgICAgICAgIHhsYWIoIlphcm9ia2kiKSArIHlsYWIoIkN6c3Rvc2MiKSArDQogICAgICAgICAgIGdndGl0bGUoIkhpc3RvZ3JhbSByb3prTGFkdSB3eW5hZ3JvZHplbiIpICsNCiAgICAgICAgICAgeGxhYigiV3luYWdyb2R6ZW5pYSIpICsgeWxhYigiQ3plc3Rvc2MiKQ0KcHJpbnQod3lrcmVzMCkNCg0KYGBgDQpXeW5hZ29yZHplbmlhIG8gd2FydG/Fm2NpIHBvbmnFvGVqIMWbcmVkbmllaiBwcnpld2HFvGFqxIUgdyBiYWRhbmVqIHByw7NiaWUgKGFzeW1ldHJpYSBwcmF3b3N0ci4pDQoNCld5bmFncm9kemVuaWEga29iaWV0IGkgbcSZxbxjenl6bjoNCg0KYGBge3J9DQp3eWtyZXMxIDwtIGdncGxvdChkYW5lLCBhZXMoeT1lYXJuaW5ncywgeD1nZW5kZXIsIGZpbGw9Z2VuZGVyKSkgKyANCiAgICAgICAgICAgZ2VvbV9ib3hwbG90KCkgKw0KICAgICAgICAgICBnZ3RpdGxlKCJXeW5hZ3JvZHplbmlhIHcgcG9kemlhbGUgbmEga29iaWV0eSBpIG3EmcW8Y3p5em4iKSArDQogICAgICAgICAgIHhsYWIoIlDFgmXEhyIpICsgeWxhYigiV3luYWdyb2R6ZW5pYSIpICsNCiAgICAgICAgICAgbGFicyhmaWxsPSJQxYJlxIciKSANCnByaW50KHd5a3JlczEpDQoNCmBgYA0KWiB3eWtyZXN1IHduaW9za3VqZW15LCDFvGUgbcSZxbxjennFum5pIG1hasSFIHd5xbxzemUgd3luYWdyb2R6ZW5pYSB3emdsxJlkZW0ga29iaWV0Lg0KDQpXeW5hZ3JvZHplbmlhIHcgemFsZcW8bm/Fm2NpIG9kIHd5a3N6dGHFgmNlbmlhOg0KDQpgYGB7cn0NCnd5a3JlczIgPC0gZ2dwbG90KGRhbmUsIGFlcyh5PWVhcm5pbmdzLCB4PWRlZ3JlZSwgZmlsbD0gZGVncmVlKSkgKyANCiAgICAgICAgICAgZ2VvbV9ib3hwbG90KCkgKw0KICAgICAgICAgICBnZ3RpdGxlKCJQb3Jvd2FuaWUgd3luYWdyb2R6ZW4gdyB6YWxlem5vc2NpIG9kIHd5a3N6dGFsY2VuaWEiKSArDQogICAgICAgICAgIHhsYWIoIld5a3N6dGFsY2VuaWUiKSArIHlsYWIoIld5bmFncm9kemVuaWEiKSArDQogICAgICAgICAgIGxhYnMoZmlsbD0iV3lrc3p0YWxjZW5pZSIpDQpwcmludCh3eWtyZXMyKQ0KDQpgYGANCk9zb2J5IHogd3lrc3p0YcWCY2VuaWVtIGRhasSFY3ltIHR5dHXFgiBsaWNlbmNqYXRhIGRvc3RhasSFIHd5xbxzemUgd3luYWdyb2R6ZW5pYSB3emdsxJlkZW0gb3PDs2IsIGt0w7NyZSB1a2/FhGN6ecWCeSBqZWR5bmllIHN6a2/FgsSZLg0KDQpXeW5hZ3JvZHplbmlhIHcgemFsZcW8bm/Fm2NpIG9kIHDFgmNpIGkgd3lrc3p0YcWCY2VuaWE6DQoNCmBgYHtyfQ0Kd3lrcmVzMyA8LSBnZ3Bsb3QoZGFuZSwgYWVzKHk9ZWFybmluZ3MsIHg9ZGVncmVlLCBmaWxsPWdlbmRlcikpICsgDQogICAgICAgICAgIGdlb21fYm94cGxvdCgpICsNCiAgICAgICAgICAgZ2d0aXRsZSgiUG9yw7N3YW5pZSB3eW5hZ3JvZHplxYQga29iaWV0IGkgbcSZxbxjenl6biB3IHphbGXFvG5vxZtjaSBvZCB3eWtzenRhxYJjZW5pYSIpICsNCiAgICAgICAgICAgeGxhYigiV3lrc3p0YcWCY2VuaWUiKSArIHlsYWIoIld5bmFncm9kemVuaWEiKSArDQogICAgICAgICAgIGxhYnMoZmlsbD0iUMWCZcSHIikNCnByaW50KHd5a3JlczMpDQoNCmBgYA0KTmFqd3nFvHN6ZSB3eW5hZ3JvZHplbmlhIGRvc3RhasSFIG3EmcW8Y3p5xbpuaSBtYWphY3kgbGljZW5jamF0LCBhIG5ham5pxbxzemUga29iaWV0eSwga3TDs3JlIHNrb8WEY3p5xYJ5IHN6a2/FgsSZIMWbcmVkbmnEhS4NCg0KDQojIyMgUmVncmVzamEgS01OSw0KDQpNb2RlbCBNTks6IA0KWm1pZW5uxIUgb2JqYcWbbmlhbmEgdG8gd3luYWdyb2R6ZW5pYSwgem1pZW5uZSBvYmphxZtuaWFqxIVjZSB0byB3aWVrLCBzdG9waWXFhCB3eWtzenRhxYJjZW5pYSBvcmF6IHDFgmXEhy4NCg0KYGBge3J9DQprbW5rIDwtIGxtKGVhcm5pbmdzIH4gYWdlICsgZGVncmVlICsgZ2VuZGVyLCBkYXRhID0gZGFuZSkNCnN1bW1hcnkoa21uaykNCg0KYGBgDQpaIHd5bmlrw7N3IG1vxbxuYSBvZGN6eXRhxIcsIGnFvCBuYSBwb3ppb20gd3luZ3JvZHplxYQgc3RhdHlzdHljem5pZSBpc3RvdG5pZSB3cMWCeXdhasSFOiB3aWVrLCBwb3NpYWRhbmllIHVrb8WEY3pvbnljaCBzdHVkacOzdyB6IGtvxYRjb3d5bSB0eXR1xYJlbSBsaWNlbmNqYWNraW0gb3JheiBwxYJlxIcga29iaWVjYS4NCg0KIyMjIFJlZ3Jlc2phIGt3YW50eWxvd2ENCg0KTW9kZWwgcmVncmVzamkga3dhbnR5bG93ZWo6DQpEbGEgcGllcndzemVnbyAoUTE9MCwyNSksIGRydWdpZWdvIChRMj0wLDUpIGkgdHJ6ZWNpZWdvIGt3YXJ0eWxhIChRMz0wLDc1KS4gWm1pZW5uZSB0YWtpZSBzYW1lIGphayB3IG1vZGVsdSB3ecW8ZWouDQoNCmBgYHtyfQ0Ka3dhbnR5bGUgPC0gYygwLjI1LCAwLjUwLCAwLjc1KQ0KcmVnX2t3YW50eWxvd2EgPC0gcnEoZWFybmluZ3MgfiBhZ2UgKyBkZWdyZWUgKyBnZW5kZXIgLCB0YXUgPSBrd2FudHlsZSwgZGF0YSA9IGRhbmUpDQpzdW1tYXJ5KHJlZ19rd2FudHlsb3dhLCBzZSA9ICJib290IikNCg0KYGBgDQpQb3ppb20gaXN0b3Rub8WbY2kgc3RhdHlzdHljem5laiA1JS4gRGxhIHBpZXJ3c3plZ28sIGphayBpIGRydWdpZWdvIGt3YXJ0eWxhIHdzenlzdGtpZSB6bWllbm5lIHdwxYJ5d2FqxIUgaXN0b3RuaWUgc3RhdHlzdGN6bmllLCB3IHByenlwYWRrdSB0cnplY2llZ28ga3dhcnR5bGEgd2llayBva2F6YcWCIHNpxJkgYnnEhyBzdGF5c3R5Y3puaWUgbmllaXN0b255Lg0KDQojIyMgV2VyeWZpa2FjamEgc3RhdHlzdHljem5hIGlzdG90bm/Fm2NpIHLDs8W8bmljIG1pxJlkenkgcGllcndzenltLCBkcnVnaW0gaSB0cnplY2ltIGt3YXJ0eWxlbQ0KDQoNCmBgYHtyfQ0KYW5vdmEocmVnX2t3YW50eWxvd2EsIHRlc3QgPSAiV2FsZCIsIGpvaW50PVRSVUUpDQoNCmBgYA0KUGllcndzenksIGRydWdpIGkgdHJ6ZWNpIGt3YXJ0eWwgxYLEhWN6bmllIGlzdG90bmllIHLDs8W8bmnEhSBzacSZIG9kIHNpZWJpZS4NCg0KDQpgYGB7cn0NCmFub3ZhKHJlZ19rd2FudHlsb3dhLCB0ZXN0ID0gIldhbGQiLCBqb2ludD1GQUxTRSkNCg0KYGBgDQpVd3pnbMSZZG5pb25lIHcgYmFkYW5pdSBwcmVkeWt0b3J5IHd5bmFncm9kemXFhCBzxIUgb2RkemllbG5pZSByw7PFvG5lLg0KDQoNCiMjIyBEb2Jyb8SHIGRvcGFzb3dhbmlhDQoNCldzcMOzxYJjenlubmlraSBkb2Jyb2NpIGRvcGFzb3dhbmlhIHJlZ3Jlc2ppIGt3YW50eWxvd2VqIChyZXN6dHkgaSByZXN6dHkgYmV6d2FydW5rb3dlaik6DQoNCmBgYHtyfQ0KDQojIFRlc3R5IHJlc3p0Og0KcmVzenR5MCA8LSByZXNpZChrbW5rKQ0KDQojIEJlendhcnVua293eSAocHVzdHkpIG1vZGVsIGt3YW50eWxvd3kgZGxhIFEyID0gMC41DQptb2RlbDIgPC0gcnEoZWFybmluZ3MgfiAxLCB0YXUgPSAwLjUsZGF0YT1kYW5lKQ0KcmVzenR5MiA8LSByZXNpZChtb2RlbDIpDQoNCmdvb2RmaXQocmVzenR5MCwgcmVzenR5MiwgMC41KQ0KDQoNCiMgQmV6d2FydW5rb3d5IChwdXN0eSkgbW9kZWwga3dhbnR5bG93eSBkbGEgUTMgPSAwLjc1DQptb2RlbDMgPC0gcnEoZWFybmluZ3MgfiAxLCB0YXUgPSAwLjc1LGRhdGE9ZGFuZSkNCnJlc3p0eTMgPC0gcmVzaWQobW9kZWwzKQ0KDQpnb29kZml0KHJlc3p0eTAsIHJlc3p0eTMsIDAuNzUpDQoNCg0KIyBXc3DDs8WCY3p5bm5payBkdGVybWluYWNqaSBtb2RlbHUgS01OSyBkbGEgcG9yw7N3bmFuaWENCnN1bW1hcnkoa21uaykkci5zcXVhcmVkDQoNCmBgYA0KV3Nww7PFgmN6eW5uaWsgZGV0ZXJtaW5hY2ppIGRsYSByZWdyZXNqaSBsaW5pb3dlaiBvc2nEhWduxIXFgiBuYWp3ecW8c3rEhSB3YXJ0b8WbxIcgY3p5bGkgbW9kZWwgbmFqbGVwaWVqIHd5amHFm25pYSBiYWRhbmUgemphd2lza28uIA0KDQoNCg==