Klasyfikacja dzieląca na dwie grupy (klasyfikacja binarna) jest najczęściej spotykanym problemem uczenia maszynowego. Analizując ten przykład, nauczysz się klasyfikować recenzje filmów — dzielić je na pozytywne i negatywne na podstawie ich treści.
Zbiór danych IMDB
Będziemy pracować ze zbiorem IMDB: zbiorem 50 000 bardzo spolaryzowanych recenzji opublikowanych w serwisie Internet Movie Database. Recenzje zostały podzielone na zbiór treningowy (25 000 recenzji) i zbiór testowy (25 000 recenzji). Każdy z tych zbiorów składa się w połowie z recenzji pozytywnych i w połowie z recenzji negatywnych.
Dlaczego korzystamy z oddzielnych zbiorów? Wynika to z tego, że nigdy nie powinno się testować modelu uczenia maszynowego na tych samych danych, które były używane do jego trenowania! To, że model dobrze klasyfikuje dane treningowe, wcale nie oznacza tego, że będzie równie dobrze klasyfikował nowe dane, a tak naprawdę interesuje nas wydajność modelu podczas klasyfikacji nowych danych (znamy etykiety próbek treningowego zbioru danych, a więc to oczywiste, że nie musimy ich przewidywać za pomocą modelu). Model mógłby po prostu zapamiętać etykiety treningowego zbioru danych i być zupełnie nieprzydatny podczas przewidywania etykiet nowych recenzji. Zagadnienie to zostanie opisane w sposób bardziej szczegółowy w kolejnym rozdziale.
Zbiór IMDB, podobnie jak zbiór MNIST, jest dołączony do pakietu Keras. Zbiór ten został już przygotowany do analizy: recenzje (sekwencje słów) zostały zamienione na sekwencje wartości całkowitoliczbowych, w których każda wartość symbolizuje obecność w recenzji wybranego słowa ze słownika.
Poniższy kod załaduje zbiór danych (podczas uruchamiania go po raz pierwszy na dysk twardy Twojego komputera pobranych zostanie około 80 MB danych).
Argument num_words=10000 oznacza, że w treningowym zbiorze danych zostanie zachowanych tylko 10 000 słów, występujących najczęściej w tym zbiorze danych. Słowa występujące rzadziej zostaną pominięte. Rozwiązanie to umożliwia pracę z wektorem danych o rozmiarze umożliwiającym jego przetwarzanie.
Zmienne train_data i test_data są listami recenzji. Każda recenzja jest listą indeksów słów (zakodowaną sekwencją słów). Zmienne train_labels i test_labels zawierają etykiety w postaci zer i jedynek: 0 oznacza recenzję negatywną, a 1 oznacza recenzję pozytywną:
str(train_data[[1]])
train_labels[[1]]
Ograniczamy się do 10 000 najczęściej występujących słów, a więc będziemy mieli 10 000 wartości indeksów słów:
max(sapply(train_data, max))
Dla ciekawskich — oto sposób na szybkie odkodowanie jednej z recenzji i odczytanie jej treści w języku angielskim:
# Słownik word_index przypisuje słowom wartości indeksów.
word_index <- dataset_imdb_word_index()
# Odwracajac go, możemy przypisać indeksy do słów.
reverse_word_index <- names(word_index)
names(reverse_word_index) <- word_index
# Kod dekodujący recenzję. Zauważ, że indeksy są przesunięte o 3, ponieważ pod trzema pierwszymi indeksami
# znajdują się indeksy symbolizujące „wypełnienie”, „początek sekwencji” i „nieznane słowo”.
decoded_review <- sapply(train_data[[1]], function(index) {
word <- if (index >= 3) reverse_word_index[[as.character(index - 3)]]
if (!is.null(word)) word else "?"
})
cat(decoded_review)
Przygotowywanie danych
List wartości całkowitoliczbowych nie można przekazać bezpośrednio do sieci neuronowej. Trzeba je zamienić na listę tensorów. Można to zrobić na dwa sposoby:
- Można dopełnić listy tak, aby miały takie same długości, i zamienić je na tensor wartości całkowitoliczbowych mający kształt (próbki, indeksy_słów), a następnie w roli pierwszej warstwy sieci neuronowej zastosować warstwę mogącą przetwarzać tensory wartości całkowitoliczbowych (warstwę Embedding — więcej informacji na jej temat znajdziesz w dalszej części tej książki).
- Można zakodować listy tak, aby zamienić je w wektory zer i jedynek. Oznacza to np. zamienienie sekwencji [3, 5] na wektor mający 10 000 wymiarów, który będzie wypełniony samymi zerami, a tylko pod indeksami o numerach 3 i 5 znajdą się jedynki. W takiej sytuacji pierwszą warstwą naszej sieci mogłaby być warstwa Dense, która potrafi obsłużyć wektory danych zmiennoprzecinkowych.
Skorzystajmy z drugiego rozwiązania i zamieńmy dane na wektory. W celu zachowania przejrzystości kodu zrobimy to ręcznie.
vectorize_sequences <- function(sequences, dimension = 10000) {
# Tworzy macierz wypełnioną zerami o kształcie (length(sequences), dimension).
results <- matrix(0, nrow = length(sequences), ncol = dimension)
for (i in 1:length(sequences))
# Pod wybranymi indeksami umieszcza wartość 1.
results[i, sequences[[i]]] <- 1
results
}
# Zbiór treningowy w postaci wektora.
x_train <- vectorize_sequences(train_data)
# Zbiór testowy w postaci wektora.
x_test <- vectorize_sequences(test_data)
Teraz próbki wyglądają tak:
str(x_train[1,])
Musimy jeszcze wykonać operację zamiany etykiet próbek na wektory:
y_train <- as.numeric(train_labels)
y_test <- as.numeric(test_labels)
Teraz dane mogą zostać przetworzone przez sieć neuronową.
Budowa sieci neuronowej
Dane wejściowe są wektorami, a etykiety mają formę wartości skalarnych (jedynek i zer): to najprostsza sytuacja, z jaką można mieć do czynienia. Tego typu problemy najlepiej jest rozwiązywać za pomocą sieci prostego stosu w pełni połączonych warstw (dense) z aktywacjami layer_dense (units = 16, activation = “relu”).
Argument przekazywany do każdej warstwy dense (16) jest liczbą ukrytych jednostek warstwy. Jednostka ukryta jest wymiarem przestrzeni reprezentacji warstwy. W rozdziale 2. pisałem o tym, że każda warstwa Dense z aktywacją relu implementuje następujący łańcuch operacji tensorowych:
output = relu(dot(W, input) + b)
Przy 16 ukrytych jednostkach macierz wag W będzie miała kształt (wymiar_wejściowy, 16): iloczyn skalarny macierzy W będzie rzutował dane wejściowe na 16-wymiarową przestrzeń reprezentacji (następnie dodawany jest wektor wartości progowych b i wykonywana jest operacja relu). Wymiary przestrzeni reprezentacji danych można rozumieć jako „stopień swobody, jaką dysponuje sieć podczas nauki wewnętrznych reprezentacji danych”. Zwiększenie liczby ukrytych jednostek (zwiększenie liczby wymiarów przestrzeni reprezentacji) pozwala sieci na uczenie się bardziej skomplikowanych reprezentacji, ale działanie takiej sieci będzie wymagało większej mocy obliczeniowej i może prowadzić do wytrenowania niechcianych parametrów (prawidłowości, które poprawią wydajność przetwarzania treningowego zbioru danych, ale będą bezużyteczne podczas przetwarzania danych testowych).
Pracując z warstwami dense, należy odpowiedzieć sobie na dwa pytania dotyczące architektury sieci:
- Ile warstw należy zastosować?
- Ile ukrytych jednostek należy wybrać w każdej z warstw?
Warstwy pośrednie będą korzystały z funkcji aktywacji relu, a ostatnia warstwa będzie korzystała z funkcji aktywacji sigmoid, co pozwoli na wygenerowanie wartości znajdującej się w zakresie od 0 do 1 określającej prawdopodobieństwo tego, że dana recenzja jest pozytywna. Funkcja relu (wyprostowana jednostka liniowa) jest funkcją, która ma wyzerowywać negatywne wartości (patrz rysunek 3.4), a funkcja sigmoid „upycha” wartości tak, aby znalazły się w zakresie od 0 do 1 (patrz rysunek 3.5), co pozwala sieci na generowanie wartości, które można interpretować jako prawdopodobieństwo.
Here’s what our network looks like:
Oto kod implementacji sieci za pomocą pakietu Keras (przypomina on implementację sieci z zaprezentowanego wcześniej przykładu przetwarzania zbioru MNIST:
library(keras)
model <- keras_model_sequential() %>%
layer_dense(units = 16, activation = "relu", input_shape = c(10000)) %>%
layer_dense(units = 16, activation = "relu") %>%
layer_dense(units = 1, activation = "sigmoid")
Na koniec musimy wybrać funkcję straty i optymalizator. Pracujemy nad problemem klasyfikacji binarnej, a sieć zwraca wartości prawdopodobieństwa (na końcu sieci znajduje się warstwa jednej jednostki z funkcją aktywacji sigmoid), a więc najlepiej jest skorzystać z funkcji straty binary_crossentropy (binarnej entropii krzyżowej). Nie jest to jedyna opcja, z której możemy skorzystać. Możemy również użyć np. funkcji średniego błędu kwadratowego mean_squared_error, ale entropia krzyżowa jest zwykle najlepszą opcją w przypadku modeli zwracających wartości prawdopodobieństwa. Termin entropia krzyżowa wywodzi się z teorii informacji. Jest to miara odległości między rozkładami prawdopodobieństwa a w tym przypadku rozkładem prawdziwych wartości i rozkładem przewidywanych wartości.
Oto kod konfigurujący model. Wybieramy w nim optymalizator rmsprop i funkcję straty binary_crossentropy. Zauważ, że podczas trenowania monitorować będziemy również dokładność (accuracy).
model %>% compile(
optimizer = "rmsprop",
loss = "binary_crossentropy",
metrics = c("accuracy")
)
Metryka, optymalizator i funkcja straty są definiowane za pomocą łańcuchów. Jest to możliwe, ponieważ rmsprop, binary_crossentropy i accuracy to pakiety wchodzące w skład biblioteki Keras. Czasami zachodzi konieczność skonfigurowania parametrów optymalizatora lub przekazania samodzielnie wykonanej funkcji straty lub funkcji metryki. Można to zrobić, przekazując instancję klasy optymalizatora jako argument optimizer i przekazując funkcję obiektów jako argumenty loss i metrics.
model %>% compile(
optimizer = optimizer_rmsprop(lr=0.001),
loss = "binary_crossentropy",
metrics = c("accuracy")
)
model %>% compile(
optimizer = optimizer_rmsprop(lr = 0.001),
loss = loss_binary_crossentropy,
metrics = metric_binary_accuracy
)
Walidacja modelu
W celu monitorowania dokładności modelu w czasie trenowania utworzymy zbiór danych, które nie były używane do trenowania modelu. Zrobimy to, odtłaczając 10 000 próbek od treningowego zbioru danych.
val_indices <- 1:10000
x_val <- x_train[val_indices,]
partial_x_train <- x_train[-val_indices,]
y_val <- y_train[val_indices]
partial_y_train <- y_train[-val_indices]
Teraz będziemy trenować model przez 20 epok (wykonamy 20 iteracji wszystkich próbek znajdujących się w tensorach x_train i y_train) z podziałem na wsady po 512 próbek. Jednocześnie będziemy monitorować funkcje straty i dokładności modelu przy przetwarzaniu 10 000 próbek, które przed chwilą odłożyliśmy na bok. W tym celu musimy przekazać zbiór walidacyjny (kontrolny) jako argument validation_data:
W przypadku trenowania na procesorze CPU przetworzenie jednej epoki procesu zajmuje mniej niż 2 sekundy — cały proces trwa około 20 sekund. Pod koniec każdej epoki algorytm zatrzymuje się na chwilę, ponieważ model oblicza stratę i dokładność, korzystając z 10 000 próbek walidacyjnego zbioru danych.
Zwróć uwagę na to, że wywołanie metody fit() zwraca obiekt history (historia). Przyjrzyjmy się mu:
str(history)
plot(history)
W górnej części rysunku przedstawiono dokładność, a w dolnej stratę. Uzyskane przez Ciebie wartości mogą nieco odbiegać od tych widocznych na moim zrzucie z powodu losowego charakteru procesu inicjalizacji sieci.ork.
Jak widać, strata trenowania spada z każdą kolejną epoką, a dokładność trenowania wzrasta. Tego oczekujemy od optymalizacji algorytmem spadku gradientu — wartość, którą staramy się minimalizować, powinna maleć w każdej kolejnej iteracji, ale w czwartej epoce strata walidacji i dokładność walidacji rosną. To właśnie przykład sytuacji, przed którą ostrzegałem wcześniej — model sprawdzający się lepiej na treningowym zbiorze danych wcale nie musi sprawdzać się lepiej podczas przetwarzania nowych danych. W praktyce jest to przykład nadmiernego dopasowania — po drugiej epoce model jest zbytnio optymalizowany na treningowym zbiorze danych i uczy się konkretnej reprezentacji treningowego zbioru danych, a nie ogólnej wizji sprawdzającej się również poza treningowym zbiorem danych.
W tym przypadku nadmiernemu dopasowaniu możemy zapobiec, przerywając działanie algorytmu po 3 epokach, ale możemy skorzystać z wielu technik zapobiegających nadmiernemu dopasowaniu modelu, które opiszę w kolejnym rozdziale.
Przeprowadźmy trenowanie nowej sieci od podstaw (zróbmy to przez cztery epoki), a następnie dokonajmy ewaluacji na podstawie testowego zbioru danych.
results
To dość naiwne rozwiązanie pozwoliło uzyskać dokładność na poziomie 88%. Dopracowane modele powinny zbliżyć się do 95%.
Używanie wytrenowanej sieci do generowania przewidywań dotyczących nowych danych
Po wytrenowaniu sieci możemy jej użyć w celu zrobienia czegoś praktycznego. Aby wygenerować wartość określającą prawdopodobieństwo tego, że recenzja jest pozytywna, wystarczy skorzystać z metody predict:
model %>% predict(x_test[1:10,])
Jak widać, w przypadku nowych próbek sieć jest bardzo pewna swojego werdyktu (generuje wartości zbliżone do 0,99 lub 0,01), ale w przypadku innych generuje o wiele mniej pewne wyniki, takie jak 0,6 lub 0,4.
Dalsze eksperymenty
Oto eksperymenty, które pomogą Ci utwierdzić się w przekonaniu, że wybraliśmy całkiem sensowną architekturę, z tym że można ją jeszcze usprawnić:
- Korzystaliśmy z dwóch warstw ukrytych. Spróbuj dodać jedną lub trzy warstwy ukryte i sprawdź, jak wpłynie to na dokładność walidacji i testu.
- Spróbuj użyć warstw z większą lub mniejszą liczbą ukrytych jednostek: wypróbuj warstwy z np. 32 i 64 jednostkami.
- Zamiast funkcji straty binary_crossentropy skorzystaj z funkcji straty mse.
- Wypróbuj działanie funkcji aktywacji tanh (funkcja ta była popularna na początku rozwoju sieci neuronowych) — zastąp nią funkcję relu.
Wnioski
Oto wnioski, które należy wynieść z tego przykładu:
- Zwykle dane wymagają przeprowadzenia wstępnej obróbki, po której można skierować je w formie tensorów do wejścia sieci neuronowej. Sekwencja słów może być przedstawiona w formie wektorów wartości binarnych, ale można to zrobić również na inne sposoby.
- Stosy warstw dense z aktywacją relu mogą służyć do rozwiązywania różnych problemów (między innymi klasyfikacji tonu wypowiedzi). W związku z tym najprawdopodobniej będziesz często korzystać z nich w przyszłości.
- W przypadku problemu klasyfikacji binarnej (dwie klasy wyjściowe) na końcu sieci powinna znajdować się warstwa dense z jedną jednostką i funkcją aktywacji sigmoid — wartości wyjściowe generowane przez sieć powinny być skalarami znajdującymi się w zakresie od 0 do 1 (powinny określać prawdopodobieństwo).
- W takiej konfiguracji warstwy wyjściowej sieci funkcją straty powinna być binarna entropia krzyżowa (binary_crossentropy).
- Optymalizator rmsprop jest — ogólnie rzecz biorąc — dobrym wyborem do każdego problemu. W związku z tym masz o jedną rzecz mniej do przeanalizowania.
- Sieci neuronowe wraz z coraz lepszym poznawaniem danych treningowych zaczynają się nadmiernie do nich dopasowywać, co prowadzi do pogorszenia rezultatów przetwarzania nowych danych. Musisz stale monitorować wydajność sieci podczas przetwarzania danych niewchodzących w skład zbioru treningowego.
LS0tDQp0aXRsZTogIktsYXN5ZmlrYWNqYSByZWNlbnpqaSBmaWxtw7N3Ig0Kb3V0cHV0OiANCiAgaHRtbF9ub3RlYm9vazogDQogICAgdGhlbWU6IGNlcnVsZWFuDQogICAgaGlnaGxpZ2h0OiB0ZXh0bWF0ZQ0KLS0tDQoNCmBgYHtyIHNldHVwLCBpbmNsdWRlPUZBTFNFfQ0Ka25pdHI6Om9wdHNfY2h1bmskc2V0KHdhcm5pbmcgPSBGQUxTRSwgbWVzc2FnZSA9IEZBTFNFKQ0KYGBgDQoNCg0KDQpLbGFzeWZpa2FjamEgZHppZWzEhWNhIG5hIGR3aWUgZ3J1cHkgKGtsYXN5ZmlrYWNqYSBiaW5hcm5hKSBqZXN0IG5hamN6xJnFm2NpZWogc3BvdHlrYW55bSBwcm9ibGVtZW0gdWN6ZW5pYSBtYXN6eW5vd2Vnby4gQW5hbGl6dWrEhWMgdGVuIHByenlrxYJhZCwgbmF1Y3p5c3ogc2nEmSBrbGFzeWZpa293YcSHIHJlY2VuemplIGZpbG3Ds3cg4oCUIGR6aWVsacSHIGplIG5hIHBvenl0eXduZSBpIG5lZ2F0eXduZSBuYSBwb2RzdGF3aWUgaWNoIHRyZcWbY2kuDQoNCiMjIFpiacOzciBkYW55Y2ggSU1EQg0KDQoNCkLEmWR6aWVteSBwcmFjb3dhxIcgemUgemJpb3JlbSBJTURCOiB6YmlvcmVtIDUwIDAwMCBiYXJkem8gc3BvbGFyeXpvd2FueWNoIHJlY2VuemppIG9wdWJsaWtvd2FueWNoIHcgc2Vyd2lzaWUgSW50ZXJuZXQgTW92aWUgRGF0YWJhc2UuIFJlY2VuemplIHpvc3RhxYJ5IHBvZHppZWxvbmUgbmEgemJpw7NyIHRyZW5pbmdvd3kgKDI1IDAwMCByZWNlbnpqaSkgaSB6YmnDs3IgdGVzdG93eSAoMjUgMDAwIHJlY2VuemppKS4gS2HFvGR5IHogdHljaCB6YmlvcsOzdyBza8WCYWRhIHNpxJkgdyBwb8WCb3dpZSB6IHJlY2VuemppIHBvenl0eXdueWNoIGkgdyBwb8WCb3dpZSB6IHJlY2VuemppIG5lZ2F0eXdueWNoLg0KDQpEbGFjemVnbyBrb3J6eXN0YW15IHogb2RkemllbG55Y2ggemJpb3LDs3c/IFd5bmlrYSB0byB6IHRlZ28sIMW8ZSBuaWdkeSBuaWUgcG93aW5ubyBzacSZIHRlc3Rvd2HEhyBtb2RlbHUgdWN6ZW5pYSBtYXN6eW5vd2VnbyBuYSB0eWNoIHNhbXljaCBkYW55Y2gsIGt0w7NyZSBiecWCeSB1xbx5d2FuZSBkbyBqZWdvIHRyZW5vd2FuaWEhIFRvLCDFvGUgbW9kZWwgZG9icnplIGtsYXN5ZmlrdWplIGRhbmUgdHJlbmluZ293ZSwgd2NhbGUgbmllIG96bmFjemEgdGVnbywgxbxlIGLEmWR6aWUgcsOzd25pZSBkb2JyemUga2xhc3lmaWtvd2HFgiBub3dlIGRhbmUsIGEgdGFrIG5hcHJhd2TEmSBpbnRlcmVzdWplIG5hcyB3eWRham5vxZvEhyBtb2RlbHUgcG9kY3phcyBrbGFzeWZpa2Fjamkgbm93eWNoIGRhbnljaCAoem5hbXkgZXR5a2lldHkgcHLDs2JlayB0cmVuaW5nb3dlZ28gemJpb3J1IGRhbnljaCwgYSB3acSZYyB0byBvY3p5d2lzdGUsIMW8ZSBuaWUgbXVzaW15IGljaCBwcnpld2lkeXdhxIcgemEgcG9tb2PEhSBtb2RlbHUpLiBNb2RlbCBtw7NnxYJieSBwbyBwcm9zdHUgemFwYW1pxJl0YcSHIGV0eWtpZXR5IHRyZW5pbmdvd2VnbyB6YmlvcnUgZGFueWNoIGkgYnnEhyB6dXBlxYJuaWUgbmllcHJ6eWRhdG55IHBvZGN6YXMgcHJ6ZXdpZHl3YW5pYSBldHlraWV0IG5vd3ljaCByZWNlbnpqaS4gWmFnYWRuaWVuaWUgdG8gem9zdGFuaWUgb3Bpc2FuZSB3IHNwb3PDs2IgYmFyZHppZWogc3pjemVnw7PFgm93eSB3IGtvbGVqbnltIHJvemR6aWFsZS4NCg0KWmJpw7NyIElNREIsIHBvZG9ibmllIGphayB6YmnDs3IgTU5JU1QsIGplc3QgZG/FgsSFY3pvbnkgZG8gcGFraWV0dSBLZXJhcy4gWmJpw7NyIHRlbiB6b3N0YcWCIGp1xbwgcHJ6eWdvdG93YW55IGRvIGFuYWxpenk6IHJlY2VuemplIChzZWt3ZW5jamUgc8WCw7N3KSB6b3N0YcWCeSB6YW1pZW5pb25lIG5hIHNla3dlbmNqZSB3YXJ0b8WbY2kgY2HFgmtvd2l0b2xpY3pib3d5Y2gsIHcga3TDs3J5Y2gga2HFvGRhIHdhcnRvxZvEhyBzeW1ib2xpenVqZSBvYmVjbm/Fm8SHIHcgcmVjZW56amkgd3licmFuZWdvIHPFgm93YSB6ZSBzxYJvd25pa2EuDQoNClBvbmnFvHN6eSBrb2QgemHFgmFkdWplIHpiacOzciBkYW55Y2ggKHBvZGN6YXMgdXJ1Y2hhbWlhbmlhIGdvIHBvIHJheiBwaWVyd3N6eSBuYSBkeXNrIHR3YXJkeSBUd29qZWdvIGtvbXB1dGVyYSBwb2JyYW55Y2ggem9zdGFuaWUgb2tvxYJvIDgwIE1CIGRhbnljaCkuDQoNCmBgYHtyLCByZXN1bHRzPSdoaWRlJ30NCmxpYnJhcnkoa2VyYXMpDQoNCmltZGIgPC0gZGF0YXNldF9pbWRiKG51bV93b3JkcyA9IDEwMDAwKQ0KYyhjKHRyYWluX2RhdGEsIHRyYWluX2xhYmVscyksIGModGVzdF9kYXRhLCB0ZXN0X2xhYmVscykpICU8LSUgaW1kYg0KYGBgDQoNCkFyZ3VtZW50IG51bV93b3Jkcz0xMDAwMCBvem5hY3phLCDFvGUgdyB0cmVuaW5nb3d5bSB6YmlvcnplIGRhbnljaCB6b3N0YW5pZSB6YWNob3dhbnljaCB0eWxrbyAxMCAwMDAgc8WCw7N3LCB3eXN0xJlwdWrEhWN5Y2ggbmFqY3rEmcWbY2llaiB3IHR5bSB6YmlvcnplIGRhbnljaC4gU8WCb3dhIHd5c3TEmXB1asSFY2UgcnphZHppZWogem9zdGFuxIUgcG9taW5pxJl0ZS4gUm96d2nEhXphbmllIHRvIHVtb8W8bGl3aWEgcHJhY8SZIHogd2VrdG9yZW0gZGFueWNoIG8gcm96bWlhcnplIHVtb8W8bGl3aWFqxIVjeW0gamVnbyBwcnpldHdhcnphbmllLg0KDQpabWllbm5lIHRyYWluX2RhdGEgaSB0ZXN0X2RhdGEgc8SFIGxpc3RhbWkgcmVjZW56amkuIEthxbxkYSByZWNlbnpqYSBqZXN0IGxpc3TEhSBpbmRla3PDs3cgc8WCw7N3ICh6YWtvZG93YW7EhSBzZWt3ZW5jasSFIHPFgsOzdykuIFptaWVubmUgdHJhaW5fbGFiZWxzIGkgdGVzdF9sYWJlbHMgemF3aWVyYWrEhSBldHlraWV0eSB3IHBvc3RhY2kgemVyIGkgamVkeW5lazogMCBvem5hY3phIHJlY2VuemrEmSBuZWdhdHl3bsSFLCBhIDEgb3puYWN6YSByZWNlbnpqxJkgcG96eXR5d27EhToNCg0KYGBge3J9DQpzdHIodHJhaW5fZGF0YVtbMV1dKQ0KYGBgDQoNCmBgYHtyfQ0KdHJhaW5fbGFiZWxzW1sxXV0NCmBgYA0KDQpPZ3JhbmljemFteSBzacSZIGRvIDEwIDAwMCBuYWpjesSZxZtjaWVqIHd5c3TEmXB1asSFY3ljaCBzxYLDs3csIGEgd2nEmWMgYsSZZHppZW15IG1pZWxpIDEwIDAwMCB3YXJ0b8WbY2kgaW5kZWtzw7N3IHPFgsOzdzoNCg0KYGBge3J9DQptYXgoc2FwcGx5KHRyYWluX2RhdGEsIG1heCkpDQpgYGANCg0KRGxhIGNpZWthd3NraWNoIOKAlCBvdG8gc3Bvc8OzYiBuYSBzenlia2llIG9ka29kb3dhbmllIGplZG5laiB6IHJlY2VuemppIGkgb2Rjenl0YW5pZSBqZWogdHJlxZtjaSB3IGrEmXp5a3UgYW5naWVsc2tpbToNCg0KYGBge3J9DQojIFPFgm93bmlrIHdvcmRfaW5kZXggcHJ6eXBpc3VqZSBzxYJvd29tIHdhcnRvxZtjaSBpbmRla3PDs3cuDQp3b3JkX2luZGV4IDwtIGRhdGFzZXRfaW1kYl93b3JkX2luZGV4KCkNCiMgT2R3cmFjYWphYyBnbywgbW/FvGVteSBwcnp5cGlzYcSHIGluZGVrc3kgZG8gc8WCw7N3Lg0KcmV2ZXJzZV93b3JkX2luZGV4IDwtIG5hbWVzKHdvcmRfaW5kZXgpDQpuYW1lcyhyZXZlcnNlX3dvcmRfaW5kZXgpIDwtIHdvcmRfaW5kZXgNCiMgS29kIGRla29kdWrEhWN5IHJlY2VuemrEmS4gWmF1d2HFvCwgxbxlIGluZGVrc3kgc8SFIHByemVzdW5pxJl0ZSBvIDMsIHBvbmlld2HFvCBwb2QgdHJ6ZW1hIHBpZXJ3c3p5bWkgaW5kZWtzYW1pICANCiMgem5hamR1asSFIHNpxJkgaW5kZWtzeSBzeW1ib2xpenVqxIVjZSDigJ53eXBlxYJuaWVuaWXigJ0sIOKAnnBvY3rEhXRlayBzZWt3ZW5jamnigJ0gaSDigJ5uaWV6bmFuZSBzxYJvd2/igJ0uDQpkZWNvZGVkX3JldmlldyA8LSBzYXBwbHkodHJhaW5fZGF0YVtbMV1dLCBmdW5jdGlvbihpbmRleCkgew0KICB3b3JkIDwtIGlmIChpbmRleCA+PSAzKSByZXZlcnNlX3dvcmRfaW5kZXhbW2FzLmNoYXJhY3RlcihpbmRleCAtIDMpXV0NCiAgaWYgKCFpcy5udWxsKHdvcmQpKSB3b3JkIGVsc2UgIj8iDQp9KQ0KYGBgDQoNCmBgYHtyfQ0KY2F0KGRlY29kZWRfcmV2aWV3KQ0KYGBgDQoNCiMjIFByenlnb3Rvd3l3YW5pZSBkYW55Y2gNCg0KDQpMaXN0IHdhcnRvxZtjaSBjYcWCa293aXRvbGljemJvd3ljaCBuaWUgbW/FvG5hIHByemVrYXphxIcgYmV6cG/Fm3JlZG5pbyBkbyBzaWVjaSBuZXVyb25vd2VqLiBUcnplYmEgamUgemFtaWVuacSHIG5hIGxpc3TEmSB0ZW5zb3LDs3cuIE1vxbxuYSB0byB6cm9iacSHIG5hIGR3YSBzcG9zb2J5Og0KDQoqIE1vxbxuYSBkb3BlxYJuacSHIGxpc3R5IHRhaywgYWJ5IG1pYcWCeSB0YWtpZSBzYW1lIGTFgnVnb8WbY2ksIGkgemFtaWVuacSHIGplIG5hIHRlbnNvciB3YXJ0b8WbY2kgY2HFgmtvd2l0b2xpY3pib3d5Y2ggbWFqxIVjeSBrc3p0YcWCdCAocHLDs2JraSwgaW5kZWtzeV9zxYLDs3cpLCBhIG5hc3TEmXBuaWUgdyByb2xpIHBpZXJ3c3plaiB3YXJzdHd5IHNpZWNpIG5ldXJvbm93ZWogemFzdG9zb3dhxIcgd2Fyc3R3xJkgbW9nxIVjxIUgcHJ6ZXR3YXJ6YcSHIHRlbnNvcnkgd2FydG/Fm2NpIGNhxYJrb3dpdG9saWN6Ym93eWNoICh3YXJzdHfEmSBFbWJlZGRpbmcg4oCUIHdpxJljZWogaW5mb3JtYWNqaSBuYSBqZWogdGVtYXQgem5hamR6aWVzeiB3IGRhbHN6ZWogY3rEmcWbY2kgdGVqIGtzacSFxbxraSkuDQoqIE1vxbxuYSB6YWtvZG93YcSHIGxpc3R5IHRhaywgYWJ5IHphbWllbmnEhyBqZSB3IHdla3RvcnkgemVyIGkgamVkeW5lay4gT3puYWN6YSB0byBucC4gemFtaWVuaWVuaWUgc2Vrd2VuY2ppIFszLCA1XSBuYSB3ZWt0b3IgbWFqxIVjeSAxMCAwMDAgd3ltaWFyw7N3LCBrdMOzcnkgYsSZZHppZSB3eXBlxYJuaW9ueSBzYW15bWkgemVyYW1pLCBhIHR5bGtvIHBvZCBpbmRla3NhbWkgbyBudW1lcmFjaCAzIGkgNSB6bmFqZMSFIHNpxJkgamVkeW5raS4gVyB0YWtpZWogc3l0dWFjamkgcGllcndzesSFIHdhcnN0d8SFIG5hc3plaiBzaWVjaSBtb2fFgmFieSBiecSHIHdhcnN0d2EgRGVuc2UsIGt0w7NyYSBwb3RyYWZpIG9ic8WCdcW8ecSHIHdla3RvcnkgZGFueWNoIHptaWVubm9wcnplY2lua293eWNoLg0KDQpTa29yenlzdGFqbXkgeiBkcnVnaWVnbyByb3p3acSFemFuaWEgaSB6YW1pZcWEbXkgZGFuZSBuYSB3ZWt0b3J5LiBXIGNlbHUgemFjaG93YW5pYSBwcnplanJ6eXN0b8WbY2kga29kdSB6cm9iaW15IHRvIHLEmWN6bmllLg0KDQpgYGB7cn0NCnZlY3Rvcml6ZV9zZXF1ZW5jZXMgPC0gZnVuY3Rpb24oc2VxdWVuY2VzLCBkaW1lbnNpb24gPSAxMDAwMCkgew0KICAjIFR3b3J6eSBtYWNpZXJ6IHd5cGXFgm5pb27EhSB6ZXJhbWkgbyBrc3p0YcWCY2llIChsZW5ndGgoc2VxdWVuY2VzKSwgZGltZW5zaW9uKS4NCiAgcmVzdWx0cyA8LSBtYXRyaXgoMCwgbnJvdyA9IGxlbmd0aChzZXF1ZW5jZXMpLCBuY29sID0gZGltZW5zaW9uKQ0KICBmb3IgKGkgaW4gMTpsZW5ndGgoc2VxdWVuY2VzKSkNCiAgICAjIFBvZCB3eWJyYW55bWkgaW5kZWtzYW1pIHVtaWVzemN6YSB3YXJ0b8WbxIcgMS4NCiAgICByZXN1bHRzW2ksIHNlcXVlbmNlc1tbaV1dXSA8LSAxDQogIHJlc3VsdHMNCn0NCg0KIyBaYmnDs3IgdHJlbmluZ293eSB3IHBvc3RhY2kgd2VrdG9yYS4NCnhfdHJhaW4gPC0gdmVjdG9yaXplX3NlcXVlbmNlcyh0cmFpbl9kYXRhKQ0KIyBaYmnDs3IgdGVzdG93eSB3IHBvc3RhY2kgd2VrdG9yYS4NCnhfdGVzdCA8LSB2ZWN0b3JpemVfc2VxdWVuY2VzKHRlc3RfZGF0YSkNCmBgYA0KDQpUZXJheiBwcsOzYmtpIHd5Z2zEhWRhasSFIHRhazoNCg0KYGBge3J9DQpzdHIoeF90cmFpblsxLF0pDQpgYGANCg0KTXVzaW15IGplc3pjemUgd3lrb25hxIcgb3BlcmFjasSZIHphbWlhbnkgZXR5a2lldCBwcsOzYmVrIG5hIHdla3Rvcnk6DQoNCmBgYHtyfQ0KeV90cmFpbiA8LSBhcy5udW1lcmljKHRyYWluX2xhYmVscykNCnlfdGVzdCA8LSBhcy5udW1lcmljKHRlc3RfbGFiZWxzKQ0KYGBgDQoNClRlcmF6IGRhbmUgbW9nxIUgem9zdGHEhyBwcnpldHdvcnpvbmUgcHJ6ZXogc2llxIcgbmV1cm9ub3fEhS4NCg0KIyMgQnVkb3dhIHNpZWNpIG5ldXJvbm93ZWoNCg0KRGFuZSB3ZWrFm2Npb3dlIHPEhSB3ZWt0b3JhbWksIGEgZXR5a2lldHkgbWFqxIUgZm9ybcSZIHdhcnRvxZtjaSBza2FsYXJueWNoIChqZWR5bmVrIGkgemVyKTogdG8gbmFqcHJvc3RzemEgc3l0dWFjamEsIHogamFrxIUgbW/FvG5hIG1pZcSHIGRvIGN6eW5pZW5pYS4gVGVnbyB0eXB1IHByb2JsZW15IG5hamxlcGllaiBqZXN0IHJvendpxIV6eXdhxIcgemEgcG9tb2PEhSBzaWVjaSBwcm9zdGVnbyBzdG9zdSB3IHBlxYJuaSBwb8WCxIVjem9ueWNoIHdhcnN0dyAoZGVuc2UpIHogYWt0eXdhY2phbWkgbGF5ZXJfZGVuc2UNCih1bml0cyA9IDE2LCBhY3RpdmF0aW9uID0gInJlbHUiKS4NCg0KQXJndW1lbnQgcHJ6ZWthenl3YW55IGRvIGthxbxkZWogd2Fyc3R3eSBkZW5zZSAoMTYpIGplc3QgbGljemLEhSB1a3J5dHljaCBqZWRub3N0ZWsgd2Fyc3R3eS4gSmVkbm9zdGthIHVrcnl0YSBqZXN0IHd5bWlhcmVtIHByemVzdHJ6ZW5pIHJlcHJlemVudGFjamkgd2Fyc3R3eS4gVyByb3pkemlhbGUgMi4gcGlzYcWCZW0gbyB0eW0sIMW8ZSBrYcW8ZGEgd2Fyc3R3YSBEZW5zZSB6IGFrdHl3YWNqxIUgcmVsdSBpbXBsZW1lbnR1amUgbmFzdMSZcHVqxIVjeSDFgmHFhGN1Y2ggb3BlcmFjamkgdGVuc29yb3d5Y2g6DQoNCmBvdXRwdXQgPSByZWx1KGRvdChXLCBpbnB1dCkgKyBiKWANCg0KUHJ6eSAxNiB1a3J5dHljaCBqZWRub3N0a2FjaCBtYWNpZXJ6IHdhZyBXIGLEmWR6aWUgbWlhxYJhIGtzenRhxYJ0ICh3eW1pYXJfd2VqxZtjaW93eSwgMTYpOiBpbG9jenluIHNrYWxhcm55IG1hY2llcnp5IFcgYsSZZHppZSByenV0b3dhxYIgZGFuZSB3ZWrFm2Npb3dlIG5hIDE2LXd5bWlhcm93xIUgcHJ6ZXN0cnplxYQgcmVwcmV6ZW50YWNqaSAobmFzdMSZcG5pZSBkb2Rhd2FueSBqZXN0IHdla3RvciB3YXJ0b8WbY2kgcHJvZ293eWNoIGIgaSB3eWtvbnl3YW5hIGplc3Qgb3BlcmFjamEgcmVsdSkuIFd5bWlhcnkgcHJ6ZXN0cnplbmkgcmVwcmV6ZW50YWNqaSBkYW55Y2ggbW/FvG5hIHJvenVtaWXEhyBqYWtvIOKAnnN0b3BpZcWEIHN3b2JvZHksIGpha8SFIGR5c3BvbnVqZSBzaWXEhyBwb2RjemFzIG5hdWtpIHdld27EmXRyem55Y2ggcmVwcmV6ZW50YWNqaSBkYW55Y2jigJ0uIFp3acSZa3N6ZW5pZSBsaWN6YnkgdWtyeXR5Y2ggamVkbm9zdGVrICh6d2nEmWtzemVuaWUgbGljemJ5IHd5bWlhcsOzdyBwcnplc3RyemVuaSByZXByZXplbnRhY2ppKSBwb3p3YWxhIHNpZWNpIG5hIHVjemVuaWUgc2nEmSBiYXJkemllaiBza29tcGxpa293YW55Y2ggcmVwcmV6ZW50YWNqaSwgYWxlIGR6aWHFgmFuaWUgdGFraWVqIHNpZWNpIGLEmWR6aWUgd3ltYWdhxYJvIHdpxJlrc3plaiBtb2N5IG9ibGljemVuaW93ZWogaSBtb8W8ZSBwcm93YWR6acSHIGRvIHd5dHJlbm93YW5pYSBuaWVjaGNpYW55Y2ggcGFyYW1ldHLDs3cgKHByYXdpZMWCb3dvxZtjaSwga3TDs3JlIHBvcHJhd2nEhSB3eWRham5vxZvEhyBwcnpldHdhcnphbmlhIHRyZW5pbmdvd2VnbyB6YmlvcnUgZGFueWNoLCBhbGUgYsSZZMSFIGJlenXFvHl0ZWN6bmUgcG9kY3phcyBwcnpldHdhcnphbmlhIGRhbnljaCB0ZXN0b3d5Y2gpLg0KDQpQcmFjdWrEhWMgeiB3YXJzdHdhbWkgZGVuc2UsIG5hbGXFvHkgb2Rwb3dpZWR6aWXEhyBzb2JpZSBuYSBkd2EgcHl0YW5pYSBkb3R5Y3rEhWNlIGFyY2hpdGVrdHVyeSBzaWVjaToNCg0KKiBJbGUgd2Fyc3R3IG5hbGXFvHkgemFzdG9zb3dhxIc/DQoqIElsZSB1a3J5dHljaCBqZWRub3N0ZWsgbmFsZcW8eSB3eWJyYcSHIHcga2HFvGRlaiB6IHdhcnN0dz8NCg0KV2Fyc3R3eSBwb8WbcmVkbmllIGLEmWTEhSBrb3J6eXN0YcWCeSB6IGZ1bmtjamkgYWt0eXdhY2ppIHJlbHUsIGEgb3N0YXRuaWEgd2Fyc3R3YSBixJlkemllIGtvcnp5c3RhxYJhIHogZnVua2NqaSBha3R5d2Fjamkgc2lnbW9pZCwgY28gcG96d29saSBuYSB3eWdlbmVyb3dhbmllIHdhcnRvxZtjaSB6bmFqZHVqxIVjZWogc2nEmSB3IHpha3Jlc2llIG9kIDAgZG8gMSBva3JlxZtsYWrEhWNlaiBwcmF3ZG9wb2RvYmllxYRzdHdvIHRlZ28sIMW8ZSBkYW5hIHJlY2VuemphIGplc3QgcG96eXR5d25hLiBGdW5rY2phIHJlbHUgKHd5cHJvc3Rvd2FuYSBqZWRub3N0a2EgbGluaW93YSkgamVzdCBmdW5rY2rEhSwga3TDs3JhIG1hIHd5emVyb3d5d2HEhyBuZWdhdHl3bmUgd2FydG/Fm2NpIChwYXRyeiByeXN1bmVrIDMuNCksIGEgZnVua2NqYSBzaWdtb2lkIOKAnnVweWNoYeKAnSB3YXJ0b8WbY2kgdGFrLCBhYnkgem5hbGF6xYJ5IHNpxJkgdyB6YWtyZXNpZSBvZCAwIGRvIDEgKHBhdHJ6IHJ5c3VuZWsgMy41KSwgY28gcG96d2FsYSBzaWVjaSBuYSBnZW5lcm93YW5pZSB3YXJ0b8WbY2ksIGt0w7NyZSBtb8W8bmEgaW50ZXJwcmV0b3dhxIcgamFrbyBwcmF3ZG9wb2RvYmllxYRzdHdvLg0KDQpIZXJlJ3Mgd2hhdCBvdXIgbmV0d29yayBsb29rcyBsaWtlOg0KDQohWzMtbGF5ZXIgbmV0d29ya10oaW1nXDNfNC5wbmcpDQoNCk90byBrb2QgaW1wbGVtZW50YWNqaSBzaWVjaSB6YSBwb21vY8SFIHBha2lldHUgS2VyYXMgKHByenlwb21pbmEgb24gaW1wbGVtZW50YWNqxJkgc2llY2kgeiB6YXByZXplbnRvd2FuZWdvIHdjemXFm25pZWogcHJ6eWvFgmFkdSBwcnpldHdhcnphbmlhIHpiaW9ydSBNTklTVDoNCg0KYGBge3J9DQpsaWJyYXJ5KGtlcmFzKQ0KDQptb2RlbCA8LSBrZXJhc19tb2RlbF9zZXF1ZW50aWFsKCkgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDE2LCBhY3RpdmF0aW9uID0gInJlbHUiLCBpbnB1dF9zaGFwZSA9IGMoMTAwMDApKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gMTYsIGFjdGl2YXRpb24gPSAicmVsdSIpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSAxLCBhY3RpdmF0aW9uID0gInNpZ21vaWQiKQ0KYGBgDQoNCk5hIGtvbmllYyBtdXNpbXkgd3licmHEhyBmdW5rY2rEmSBzdHJhdHkgaSBvcHR5bWFsaXphdG9yLiBQcmFjdWplbXkgbmFkIHByb2JsZW1lbSBrbGFzeWZpa2FjamkgYmluYXJuZWosIGEgc2llxIcgendyYWNhIHdhcnRvxZtjaSBwcmF3ZG9wb2RvYmllxYRzdHdhIChuYSBrb8WEY3Ugc2llY2kgem5hamR1amUgc2nEmSB3YXJzdHdhIGplZG5laiBqZWRub3N0a2kgeiBmdW5rY2rEhSBha3R5d2Fjamkgc2lnbW9pZCksIGEgd2nEmWMgbmFqbGVwaWVqIGplc3Qgc2tvcnp5c3RhxIcgeiBmdW5rY2ppIHN0cmF0eSBiaW5hcnlfY3Jvc3NlbnRyb3B5IChiaW5hcm5laiBlbnRyb3BpaSBrcnp5xbxvd2VqKS4gTmllIGplc3QgdG8gamVkeW5hIG9wY2phLCB6IGt0w7NyZWogbW/FvGVteSBza29yenlzdGHEhy4gTW/FvGVteSByw7N3bmllxbwgdcW8ecSHIG5wLiBmdW5rY2ppIMWbcmVkbmllZ28gYsWCxJlkdSBrd2FkcmF0b3dlZ28gbWVhbl9zcXVhcmVkX2Vycm9yLCBhbGUgZW50cm9waWEga3J6ecW8b3dhIGplc3Qgend5a2xlIG5hamxlcHN6xIUgb3BjasSFIHcgcHJ6eXBhZGt1IG1vZGVsaSB6d3JhY2FqxIVjeWNoIHdhcnRvxZtjaSBwcmF3ZG9wb2RvYmllxYRzdHdhLiBUZXJtaW4gZW50cm9waWEga3J6ecW8b3dhIHd5d29kemkgc2nEmSB6IHRlb3JpaSBpbmZvcm1hY2ppLiBKZXN0IHRvIG1pYXJhIG9kbGVnxYJvxZtjaSBtacSZZHp5IHJvemvFgmFkYW1pIHByYXdkb3BvZG9iaWXFhHN0d2EgYSB3IHR5bSBwcnp5cGFka3Ugcm96a8WCYWRlbSBwcmF3ZHppd3ljaCB3YXJ0b8WbY2kgaSByb3prxYJhZGVtIHByemV3aWR5d2FueWNoIHdhcnRvxZtjaS4NCg0KT3RvIGtvZCBrb25maWd1cnVqxIVjeSBtb2RlbC4gV3liaWVyYW15IHcgbmltIG9wdHltYWxpemF0b3Igcm1zcHJvcCBpIGZ1bmtjasSZIHN0cmF0eSBiaW5hcnlfY3Jvc3NlbnRyb3B5LiBaYXV3YcW8LCDFvGUgcG9kY3phcyB0cmVub3dhbmlhIG1vbml0b3Jvd2HEhyBixJlkemllbXkgcsOzd25pZcW8IGRva8WCYWRub8WbxIcgKGFjY3VyYWN5KS4NCg0KYGBge3J9DQptb2RlbCAlPiUgY29tcGlsZSgNCiAgb3B0aW1pemVyID0gInJtc3Byb3AiLA0KICBsb3NzID0gImJpbmFyeV9jcm9zc2VudHJvcHkiLA0KICBtZXRyaWNzID0gYygiYWNjdXJhY3kiKQ0KKQ0KYGBgDQoNCk1ldHJ5a2EsIG9wdHltYWxpemF0b3IgaSBmdW5rY2phIHN0cmF0eSBzxIUgZGVmaW5pb3dhbmUgemEgcG9tb2PEhSDFgmHFhGN1Y2jDs3cuIEplc3QgdG8gbW/FvGxpd2UsIHBvbmlld2HFvCBybXNwcm9wLCBiaW5hcnlfY3Jvc3NlbnRyb3B5IGkgYWNjdXJhY3kgdG8gcGFraWV0eSB3Y2hvZHrEhWNlIHcgc2vFgmFkIGJpYmxpb3Rla2kgS2VyYXMuIEN6YXNhbWkgemFjaG9kemkga29uaWVjem5vxZvEhyBza29uZmlndXJvd2FuaWEgcGFyYW1ldHLDs3cgb3B0eW1hbGl6YXRvcmEgbHViIHByemVrYXphbmlhIHNhbW9kemllbG5pZSB3eWtvbmFuZWogZnVua2NqaSBzdHJhdHkgbHViIGZ1bmtjamkgbWV0cnlraS4gTW/FvG5hIHRvIHpyb2JpxIcsIHByemVrYXp1asSFYyBpbnN0YW5jasSZIGtsYXN5IG9wdHltYWxpemF0b3JhIGpha28gYXJndW1lbnQgb3B0aW1pemVyICBpIHByemVrYXp1asSFYyBmdW5rY2rEmSBvYmlla3TDs3cgamFrbyBhcmd1bWVudHkgbG9zcyBpIG1ldHJpY3MuDQoNCg0KYGBge3J9DQptb2RlbCAlPiUgY29tcGlsZSgNCiAgb3B0aW1pemVyID0gb3B0aW1pemVyX3Jtc3Byb3AobHI9MC4wMDEpLA0KICBsb3NzID0gImJpbmFyeV9jcm9zc2VudHJvcHkiLA0KICBtZXRyaWNzID0gYygiYWNjdXJhY3kiKQ0KKSANCmBgYA0KDQoNCmBgYHtyfQ0KbW9kZWwgJT4lIGNvbXBpbGUoDQogIG9wdGltaXplciA9IG9wdGltaXplcl9ybXNwcm9wKGxyID0gMC4wMDEpLA0KICBsb3NzID0gbG9zc19iaW5hcnlfY3Jvc3NlbnRyb3B5LA0KICBtZXRyaWNzID0gbWV0cmljX2JpbmFyeV9hY2N1cmFjeQ0KKSANCmBgYA0KDQojIyBXYWxpZGFjamEgbW9kZWx1DQoNClcgY2VsdSBtb25pdG9yb3dhbmlhIGRva8WCYWRub8WbY2kgbW9kZWx1IHcgY3phc2llIHRyZW5vd2FuaWEgdXR3b3J6eW15IHpiacOzciBkYW55Y2gsIGt0w7NyZSBuaWUgYnnFgnkgdcW8eXdhbmUgZG8gdHJlbm93YW5pYSBtb2RlbHUuIFpyb2JpbXkgdG8sIG9kdMWCYWN6YWrEhWMgMTAgMDAwIHByw7NiZWsgb2QgdHJlbmluZ293ZWdvIHpiaW9ydSBkYW55Y2guDQoNCmBgYHtyfQ0KdmFsX2luZGljZXMgPC0gMToxMDAwMA0KDQp4X3ZhbCA8LSB4X3RyYWluW3ZhbF9pbmRpY2VzLF0NCnBhcnRpYWxfeF90cmFpbiA8LSB4X3RyYWluWy12YWxfaW5kaWNlcyxdDQoNCnlfdmFsIDwtIHlfdHJhaW5bdmFsX2luZGljZXNdDQpwYXJ0aWFsX3lfdHJhaW4gPC0geV90cmFpblstdmFsX2luZGljZXNdDQpgYGANCg0KVGVyYXogYsSZZHppZW15IHRyZW5vd2HEhyBtb2RlbCBwcnpleiAyMCBlcG9rICh3eWtvbmFteSAyMCBpdGVyYWNqaSB3c3p5c3RraWNoIHByw7NiZWsgem5hamR1asSFY3ljaCBzacSZIHcgdGVuc29yYWNoIHhfdHJhaW4gaSB5X3RyYWluKSB6IHBvZHppYcWCZW0gbmEgd3NhZHkgcG8gNTEyIHByw7NiZWsuIEplZG5vY3plxZtuaWUgYsSZZHppZW15IG1vbml0b3Jvd2HEhyBmdW5rY2plIHN0cmF0eSBpIGRva8WCYWRub8WbY2kgbW9kZWx1IHByenkgcHJ6ZXR3YXJ6YW5pdSAxMCAwMDAgcHLDs2Jlaywga3TDs3JlIHByemVkIGNod2lsxIUgb2TFgm/FvHlsacWbbXkgbmEgYm9rLiBXIHR5bSBjZWx1IG11c2lteSBwcnpla2F6YcSHIHpiacOzciB3YWxpZGFjeWpueSAoa29udHJvbG55KSBqYWtvIGFyZ3VtZW50IHZhbGlkYXRpb25fZGF0YToNCg0KYGBge3IsIGVjaG89VFJVRSwgcmVzdWx0cz0naGlkZSd9DQptb2RlbCAlPiUgY29tcGlsZSgNCiAgb3B0aW1pemVyID0gInJtc3Byb3AiLA0KICBsb3NzID0gImJpbmFyeV9jcm9zc2VudHJvcHkiLA0KICBtZXRyaWNzID0gYygiYWNjdXJhY3kiKQ0KKQ0KDQpoaXN0b3J5IDwtIG1vZGVsICU+JSBmaXQoDQogIHBhcnRpYWxfeF90cmFpbiwNCiAgcGFydGlhbF95X3RyYWluLA0KICBlcG9jaHMgPSAyMCwNCiAgYmF0Y2hfc2l6ZSA9IDUxMiwNCiAgdmFsaWRhdGlvbl9kYXRhID0gbGlzdCh4X3ZhbCwgeV92YWwpDQopDQpgYGANCg0KVyBwcnp5cGFka3UgdHJlbm93YW5pYSBuYSBwcm9jZXNvcnplIENQVSBwcnpldHdvcnplbmllIGplZG5laiBlcG9raSBwcm9jZXN1IHpham11amUgbW5pZWogbmnFvCAyIHNla3VuZHkg4oCUIGNhxYJ5IHByb2NlcyB0cndhIG9rb8WCbyAyMCBzZWt1bmQuIFBvZCBrb25pZWMga2HFvGRlaiBlcG9raSBhbGdvcnl0bSB6YXRyenltdWplIHNpxJkgbmEgY2h3aWzEmSwgcG9uaWV3YcW8IG1vZGVsIG9ibGljemEgc3RyYXTEmSBpIGRva8WCYWRub8WbxIcsIGtvcnp5c3RhasSFYyB6IDEwIDAwMCBwcsOzYmVrIHdhbGlkYWN5am5lZ28gemJpb3J1IGRhbnljaC4NCg0KWndyw7PEhyB1d2FnxJkgbmEgdG8sIMW8ZSB3eXdvxYJhbmllIG1ldG9keSBmaXQoKSB6d3JhY2Egb2JpZWt0IGhpc3RvcnkgKGhpc3RvcmlhKS4gUHJ6eWpyenlqbXkgc2nEmSBtdToNCg0KYGBge3J9DQpzdHIoaGlzdG9yeSkNCmBgYA0KDQpgYGB7cn0NCnBsb3QoaGlzdG9yeSkNCmBgYA0KDQpXIGfDs3JuZWogY3rEmcWbY2kgcnlzdW5rdSBwcnplZHN0YXdpb25vIGRva8WCYWRub8WbxIcsIGEgdyBkb2xuZWogc3RyYXTEmS4gVXp5c2thbmUgcHJ6ZXogQ2llYmllIHdhcnRvxZtjaSBtb2fEhSBuaWVjbyBvZGJpZWdhxIcgb2QgdHljaCB3aWRvY3pueWNoIG5hIG1vaW0genJ6dWNpZSB6IHBvd29kdSBsb3Nvd2VnbyBjaGFyYWt0ZXJ1IHByb2Nlc3UgaW5pY2phbGl6YWNqaSBzaWVjaS5vcmsuDQoNCkphayB3aWRhxIcsIHN0cmF0YSB0cmVub3dhbmlhIHNwYWRhIHoga2HFvGTEhSBrb2xlam7EhSBlcG9rxIUsIGEgZG9rxYJhZG5vxZvEhyB0cmVub3dhbmlhIHd6cmFzdGEuIFRlZ28gb2N6ZWt1amVteSBvZCBvcHR5bWFsaXphY2ppIGFsZ29yeXRtZW0gc3BhZGt1IGdyYWRpZW50dSDigJQgd2FydG/Fm8SHLCBrdMOzcsSFIHN0YXJhbXkgc2nEmSBtaW5pbWFsaXpvd2HEhywgcG93aW5uYSBtYWxlxIcgdyBrYcW8ZGVqIGtvbGVqbmVqIGl0ZXJhY2ppLCBhbGUgdyBjendhcnRlaiBlcG9jZSBzdHJhdGEgd2FsaWRhY2ppIGkgZG9rxYJhZG5vxZvEhyB3YWxpZGFjamkgcm9zbsSFLiBUbyB3xYJhxZtuaWUgcHJ6eWvFgmFkIHN5dHVhY2ppLCBwcnplZCBrdMOzcsSFIG9zdHJ6ZWdhxYJlbSB3Y3plxZtuaWVqIOKAlCBtb2RlbCBzcHJhd2R6YWrEhWN5IHNpxJkgbGVwaWVqIG5hIHRyZW5pbmdvd3ltIHpiaW9yemUgZGFueWNoIHdjYWxlIG5pZSBtdXNpIHNwcmF3ZHphxIcgc2nEmSBsZXBpZWogcG9kY3phcyBwcnpldHdhcnphbmlhIG5vd3ljaCBkYW55Y2guIFcgcHJha3R5Y2UgamVzdCB0byBwcnp5a8WCYWQgbmFkbWllcm5lZ28gZG9wYXNvd2FuaWEg4oCUIHBvIGRydWdpZWogZXBvY2UgbW9kZWwgamVzdCB6Ynl0bmlvIG9wdHltYWxpem93YW55IG5hIHRyZW5pbmdvd3ltIHpiaW9yemUgZGFueWNoIGkgdWN6eSBzacSZIGtvbmtyZXRuZWogcmVwcmV6ZW50YWNqaSB0cmVuaW5nb3dlZ28gemJpb3J1IGRhbnljaCwgYSBuaWUgb2fDs2xuZWogd2l6amkgc3ByYXdkemFqxIVjZWogc2nEmSByw7N3bmllxbwgcG96YSB0cmVuaW5nb3d5bSB6YmlvcmVtIGRhbnljaC4NCg0KVyB0eW0gcHJ6eXBhZGt1IG5hZG1pZXJuZW11IGRvcGFzb3dhbml1IG1vxbxlbXkgemFwb2JpZWMsIHByemVyeXdhasSFYyBkemlhxYJhbmllIGFsZ29yeXRtdSBwbyAzIGVwb2thY2gsIGFsZSBtb8W8ZW15IHNrb3J6eXN0YcSHIHogd2llbHUgdGVjaG5payB6YXBvYmllZ2FqxIVjeWNoIG5hZG1pZXJuZW11IGRvcGFzb3dhbml1IG1vZGVsdSwga3TDs3JlIG9waXN6xJkgdyBrb2xlam55bSByb3pkemlhbGUuDQoNClByemVwcm93YWTFum15IHRyZW5vd2FuaWUgbm93ZWogc2llY2kgb2QgcG9kc3RhdyAoenLDs2JteSB0byBwcnpleiBjenRlcnkgZXBva2kpLCBhIG5hc3TEmXBuaWUgZG9rb25ham15IGV3YWx1YWNqaSBuYSBwb2RzdGF3aWUgdGVzdG93ZWdvIHpiaW9ydSBkYW55Y2guDQoNCmBgYHtyLCBlY2hvPVRSVUUsIHJlc3VsdHM9J2hpZGUnfQ0KbW9kZWwgPC0ga2VyYXNfbW9kZWxfc2VxdWVudGlhbCgpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSAxNiwgYWN0aXZhdGlvbiA9ICJyZWx1IiwgaW5wdXRfc2hhcGUgPSBjKDEwMDAwKSkgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDE2LCBhY3RpdmF0aW9uID0gInJlbHUiKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gMSwgYWN0aXZhdGlvbiA9ICJzaWdtb2lkIikNCg0KbW9kZWwgJT4lIGNvbXBpbGUoDQogIG9wdGltaXplciA9ICJybXNwcm9wIiwNCiAgbG9zcyA9ICJiaW5hcnlfY3Jvc3NlbnRyb3B5IiwNCiAgbWV0cmljcyA9IGMoImFjY3VyYWN5IikNCikNCg0KbW9kZWwgJT4lIGZpdCh4X3RyYWluLCB5X3RyYWluLCBlcG9jaHMgPSA0LCBiYXRjaF9zaXplID0gNTEyKQ0KcmVzdWx0cyA8LSBtb2RlbCAlPiUgZXZhbHVhdGUoeF90ZXN0LCB5X3Rlc3QpDQpgYGANCg0KYGBge3J9DQpyZXN1bHRzDQpgYGANCg0KVG8gZG/Fm8SHIG5haXduZSByb3p3acSFemFuaWUgcG96d29sacWCbyB1enlza2HEhyBkb2vFgmFkbm/Fm8SHIG5hIHBvemlvbWllIDg4JS4gRG9wcmFjb3dhbmUgbW9kZWxlIHBvd2lubnkgemJsacW8ecSHIHNpxJkgZG8gOTUlLg0KDQojIyBVxbx5d2FuaWUgd3l0cmVub3dhbmVqIHNpZWNpIGRvIGdlbmVyb3dhbmlhIHByemV3aWR5d2HFhCBkb3R5Y3rEhWN5Y2ggbm93eWNoIGRhbnljaA0KDQpQbyB3eXRyZW5vd2FuaXUgc2llY2kgbW/FvGVteSBqZWogdcW8ecSHIHcgY2VsdSB6cm9iaWVuaWEgY3plZ2/FmyBwcmFrdHljem5lZ28uIEFieSB3eWdlbmVyb3dhxIcgd2FydG/Fm8SHIG9rcmXFm2xhasSFY8SFIHByYXdkb3BvZG9iaWXFhHN0d28gdGVnbywgxbxlIHJlY2VuemphIGplc3QgcG96eXR5d25hLCB3eXN0YXJjenkgc2tvcnp5c3RhxIcgeiBtZXRvZHkgcHJlZGljdDoNCg0KYGBge3J9DQptb2RlbCAlPiUgcHJlZGljdCh4X3Rlc3RbMToxMCxdKQ0KYGBgDQoNCkphayB3aWRhxIcsIHcgcHJ6eXBhZGt1IG5vd3ljaCBwcsOzYmVrIHNpZcSHIGplc3QgYmFyZHpvIHBld25hIHN3b2plZ28gd2VyZHlrdHUgKGdlbmVydWplIHdhcnRvxZtjaSB6YmxpxbxvbmUgZG8gMCw5OSBsdWIgMCwwMSksIGFsZSB3IHByenlwYWRrdSBpbm55Y2ggZ2VuZXJ1amUgbyB3aWVsZSBtbmllaiBwZXduZSB3eW5pa2ksIHRha2llIGphayAwLDYgbHViIDAsNC4NCg0KIyMgRGFsc3plIGVrc3BlcnltZW50eQ0KDQpPdG8gZWtzcGVyeW1lbnR5LCBrdMOzcmUgcG9tb2fEhSBDaSB1dHdpZXJkemnEhyBzacSZIHcgcHJ6ZWtvbmFuaXUsIMW8ZSB3eWJyYWxpxZtteSBjYcWCa2llbSBzZW5zb3duxIUgYXJjaGl0ZWt0dXLEmSwgeiB0eW0gxbxlIG1vxbxuYSBqxIUgamVzemN6ZSB1c3ByYXduacSHOg0KDQoqIEtvcnp5c3RhbGnFm215IHogZHfDs2NoIHdhcnN0dyB1a3J5dHljaC4gU3Byw7NidWogZG9kYcSHIGplZG7EhSBsdWIgdHJ6eSB3YXJzdHd5IHVrcnl0ZSBpIHNwcmF3ZMW6LCBqYWsgd3DFgnluaWUgdG8gbmEgZG9rxYJhZG5vxZvEhyB3YWxpZGFjamkgaSB0ZXN0dS4NCiogU3Byw7NidWogdcW8ecSHIHdhcnN0dyB6IHdpxJlrc3rEhSBsdWIgbW5pZWpzesSFIGxpY3pixIUgdWtyeXR5Y2ggamVkbm9zdGVrOiB3eXByw7NidWogd2Fyc3R3eSB6IG5wLiAzMiBpIDY0IGplZG5vc3RrYW1pLg0KKiBaYW1pYXN0IGZ1bmtjamkgc3RyYXR5IGJpbmFyeV9jcm9zc2VudHJvcHkgc2tvcnp5c3RhaiB6IGZ1bmtjamkgc3RyYXR5IG1zZS4NCiogV3lwcsOzYnVqIGR6aWHFgmFuaWUgZnVua2NqaSBha3R5d2FjamkgdGFuaCAoZnVua2NqYSB0YSBiecWCYSBwb3B1bGFybmEgbmEgcG9jesSFdGt1IHJvendvanUgc2llY2kgbmV1cm9ub3d5Y2gpIOKAlCB6YXN0xIVwIG5pxIUgZnVua2NqxJkgcmVsdS4NCg0KDQojIyBXbmlvc2tpDQoNCg0KT3RvIHduaW9za2ksIGt0w7NyZSBuYWxlxbx5IHd5bmllxZvEhyB6IHRlZ28gcHJ6eWvFgmFkdToNCg0KKiBad3lrbGUgZGFuZSB3eW1hZ2FqxIUgcHJ6ZXByb3dhZHplbmlhIHdzdMSZcG5laiBvYnLDs2JraSwgcG8ga3TDs3JlaiBtb8W8bmEgc2tpZXJvd2HEhyBqZSB3IGZvcm1pZSB0ZW5zb3LDs3cgZG8gd2VqxZtjaWEgc2llY2kgbmV1cm9ub3dlai4gU2Vrd2VuY2phIHPFgsOzdyBtb8W8ZSBiecSHIHByemVkc3Rhd2lvbmEgdyBmb3JtaWUgd2VrdG9yw7N3IHdhcnRvxZtjaSBiaW5hcm55Y2gsIGFsZSBtb8W8bmEgdG8genJvYmnEhyByw7N3bmllxbwgbmEgaW5uZSBzcG9zb2J5Lg0KKiBTdG9zeSB3YXJzdHcgZGVuc2UgeiBha3R5d2FjasSFIHJlbHUgbW9nxIUgc8WCdcW8ecSHIGRvIHJvendpxIV6eXdhbmlhIHLDs8W8bnljaCBwcm9ibGVtw7N3IChtacSZZHp5IGlubnltaSBrbGFzeWZpa2FjamkgdG9udSB3eXBvd2llZHppKS4gVyB6d2nEhXprdSB6IHR5bSBuYWpwcmF3ZG9wb2RvYm5pZWogYsSZZHppZXN6IGN6xJlzdG8ga29yenlzdGHEhyB6IG5pY2ggdyBwcnp5c3rFgm/Fm2NpLg0KKiBXIHByenlwYWRrdSBwcm9ibGVtdSBrbGFzeWZpa2FjamkgYmluYXJuZWogKGR3aWUga2xhc3kgd3lqxZtjaW93ZSkgbmEga2/FhGN1IHNpZWNpIHBvd2lubmEgem5hamRvd2HEhyBzacSZIHdhcnN0d2EgZGVuc2UgeiBqZWRuxIUgamVkbm9zdGvEhSBpIGZ1bmtjasSFIGFrdHl3YWNqaSBzaWdtb2lkIOKAlCB3YXJ0b8WbY2kgd3lqxZtjaW93ZSBnZW5lcm93YW5lIHByemV6IHNpZcSHIHBvd2lubnkgYnnEhyBza2FsYXJhbWkgem5hamR1asSFY3ltaSBzacSZIHcgemFrcmVzaWUgb2QgMCBkbyAxIChwb3dpbm55IG9rcmXFm2xhxIcgcHJhd2RvcG9kb2JpZcWEc3R3bykuDQoqIFcgdGFraWVqIGtvbmZpZ3VyYWNqaSB3YXJzdHd5IHd5asWbY2lvd2VqIHNpZWNpIGZ1bmtjasSFIHN0cmF0eSBwb3dpbm5hIGJ5xIcgYmluYXJuYSBlbnRyb3BpYSBrcnp5xbxvd2EgKGJpbmFyeV9jcm9zc2VudHJvcHkpLg0KKiBPcHR5bWFsaXphdG9yIHJtc3Byb3AgamVzdCDigJQgb2fDs2xuaWUgcnplY3ogYmlvcsSFYyDigJQgZG9icnltIHd5Ym9yZW0gZG8ga2HFvGRlZ28gcHJvYmxlbXUuIFcgendpxIV6a3UgeiB0eW0gbWFzeiBvIGplZG7EhSByemVjeiBtbmllaiBkbyBwcnplYW5hbGl6b3dhbmlhLg0KKiBTaWVjaSBuZXVyb25vd2Ugd3JheiB6IGNvcmF6IGxlcHN6eW0gcG96bmF3YW5pZW0gZGFueWNoIHRyZW5pbmdvd3ljaCB6YWN6eW5hasSFIHNpxJkgbmFkbWllcm5pZSBkbyBuaWNoIGRvcGFzb3d5d2HEhywgY28gcHJvd2FkemkgZG8gcG9nb3JzemVuaWEgcmV6dWx0YXTDs3cgcHJ6ZXR3YXJ6YW5pYSBub3d5Y2ggZGFueWNoLiBNdXNpc3ogc3RhbGUgbW9uaXRvcm93YcSHIHd5ZGFqbm/Fm8SHIHNpZWNpIHBvZGN6YXMgcHJ6ZXR3YXJ6YW5pYSBkYW55Y2ggbmlld2Nob2R6xIVjeWNoIHcgc2vFgmFkIHpiaW9ydSB0cmVuaW5nb3dlZ28uDQoNCg==