W poprzednim podrozdziale przedstawiłem klasyfikację wektorów przy podziale na dwie rozłączne klasy za pomocą ściśle połączonej sieci neuronowej. Co się dzieje, gdy mamy więcej klas?
W tym podrozdziale zbudujemy sieć klasyfikującą doniesienia prasowe Agencji Reutera na 46 niezależnych tematów. Podział ma być dokonany na wiele grup, a więc mamy tym razem do czynienia z problemem klasyfikacji wieloklasowej. Każdy element zbioru danych może być przypisany tylko do jednej kategorii, a więc problem ten możemy określić mianem jednoetykietowej klasyfikacji wieloklasowej. Gdyby element zbioru danych mógł należeć jednocześnie do wielu kategorii (w tym przypadku do wielu tematów), to mielibyśmy do czynienia z problemem wieloetykietowej klasyfikacji wieloklasowej.
Zbiór danych Agencji Reutera
W tym podrozdziale będziemy pracować nad zbiorem danych Agencji Reutera — zestawem krótkich informacji prasowych dotyczących określonego tematu, które zostały opublikowane przez tę agencję w 1986 r. Jest to prosty i popularny zbiór danych, doskonale nadający się do eksperymentowania z klasyfikacją tekstu. Zbiór ten zawiera 46 różnych tematów. Do niektórych z nich należy o wiele więcej informacji prasowych niż do innych, ale każdy z tematów ma przynajmniej 10 przykładów w treningowym zbiorze danych.
Zbiór Agencji Reutera, podobnie jak zbiory IMDB i MNIST, wchodzi w skład pakietu Keras. Przyjrzyjmy się jego zawartości.
library(keras)
reuters <- dataset_reuters(num_words = 10000)
c(c(train_data, train_labels), c(test_data, test_labels)) %<-% reuters
Podobnie jak w przypadku zbioru IMDB stosujemy argument num_words=10000, który ogranicza nasze działania do 10 000 słów występujących najczęściej w analizowanym zbiorze danych.
Dysponujemy 8982 przykładami treningowymi i 2246 przykładami testowymi:
length(train_data)
length(test_data)
Każdy przykład jest listą wartości całkowitoliczbowych (indeksów słów) — takie samo rozwiązanie zostało zaprezentowane w przykładzie zbioru IMDB:
train_data[[1]]
Poniższy kod umożliwia odkodowanie słów (możesz go uruchomić w celu zaspokojenia swojej ciekawości dotyczącej treści):
word_index <- dataset_reuters_word_index()
reverse_word_index <- names(word_index)
names(reverse_word_index) <- word_index
decoded_newswire <- sapply(train_data[[1]], function(index) {
# Kod dekodujący recenzję. Zauważ, że indeksy są przesunięte o 3, ponieważ na początku znajdują się indeksy
# symbolizujące „wypełnienie”, „początek sekwencji” i „nieznane słowo”.
word <- if (index >= 3) reverse_word_index[[as.character(index - 3)]]
if (!is.null(word)) word else "?"
})
cat(decoded_newswire)
Tabela etykiet przykładów zawiera wartości całkowitoliczbowe znajdujące się w zakresie od 0 do 45 (są to indeksy tematów):
train_labels[[1]]
Przygotowywanie danych
Dane możemy zamienić na wektory za pomocą tego samego kodu, z którego korzystaliśmy w poprzednim przykładzie:
vectorize_sequences <- function(sequences, dimension = 10000) {
results <- matrix(0, nrow = length(sequences), ncol = dimension)
for (i in 1:length(sequences))
results[i, sequences[[i]]] <- 1
results
}
x_train <- vectorize_sequences(train_data)
x_test <- vectorize_sequences(test_data)
Operację przekształcania etykiet na wektor można przeprowadzić na dwa sposoby: poprzez rzutowanie listy etykiet na tensor wartości całkowitoliczbowych lub poprzez kodowanie z gorącą jedynką. Kodowanie z gorącą jedynką jest używane zwykle w przypadku danych kategorialnych — często określa się je mianem kodowania kategorialnego. Szczegółowe wyjaśnienie tego algorytmu kodowania znajdziesz w podrozdziale 6.1. W tym przypadku kodowanie z gorącą jedynką przeprowadzone na zbiorze etykiet będzie polegało na osadzeniu każdej etykiety w formie wektora wypełnionego samymi zerami z liczbą 1 umieszczoną w miejscu indeksu etykiety. Przyjrzyj się kodowi implementującemu ten sposób kodowania:
to_one_hot <- function(labels, dimension = 46) {
results <- matrix(0, nrow = length(labels), ncol = dimension)
for (i in 1:length(labels))
results[i, labels[[i]] + 1] <- 1
results
}
one_hot_train_labels <- to_one_hot(train_labels)
one_hot_test_labels <- to_one_hot(test_labels)
Operację tę można wykonać za pomocą kodu wbudowanego w pakiet Keras (jego działanie widzieliśmy już podczas pracy nad zbiorem MNIST):
one_hot_train_labels <- to_categorical(train_labels)
one_hot_test_labels <- to_categorical(test_labels)
Budowanie sieci
Problem klasyfikacji tematów przypomina nieco problem klasyfikacji recenzji filmów: w obu sytuacjach próbujemy dokonać klasyfikacji krótkiego fragmentu tekstu. Tym razem mamy dodatkowe ograniczenie: liczba klas wyjściowych wzrosła z 2 do 46. W związku z tym przestrzeń wyjściowa ma o wiele więcej wymiarów.
W przypadku stosowanego wcześniej stosu warstw dense każda warstwa ma dostęp tylko do informacji wygenerowanych przez poprzednią warstwę. Jeżeli jakaś informacja ważna z punktu widzenia klasyfikacji zostanie pominięta przez którąś z warstw, to nie ma możliwości jej odzyskania przez kolejne warstwy. Każda warstwa może potencjalnie stać się informacyjnym wąskim gardłem. W poprzednim przykładzie stosowaliśmy warstwy pośrednie o 16 wymiarach, ale przestrzeń 16 wymiarów może być zbyt ograniczona, aby nauczyć się rozdzielania danych na 46 różnych klas. Tak małe warstwy mogą stać się wąskimi gardłami, przez które nie będą przechodziły dalej ważne informacje.
W związku z tym będziemy tworzyli większe warstwy. Zacznijmy od 64 jednostek.
model <- keras_model_sequential() %>%
layer_dense(units = 64, activation = "relu", input_shape = c(10000)) %>%
layer_dense(units = 64, activation = "relu") %>%
layer_dense(units = 46, activation = "softmax")
Warto zwrócić uwagę na jeszcze dwie rzeczy związane z tą architekturą:
Sieć jest zakończona warstwą dense o rozmiarze równym 46. W związku z tym każda próbka danych wejściowych spowoduje wygenerowanie przez sieć wektora o 46 wymiarach. Każdy element tego wektora (każdy jego wymiar) będzie zawierał informację odwołującą się do innej klasy.
W ostatniej warstwie zastosowano funkcję aktywacji softmax. Rozwiązanie to widzieliśmy w przykładzie zbioru MNIST. Dzięki niemu sieć będzie zwracała rozkład prawdopodobieństwa 46 różnych klas — dla każdej próbki wejściowej sieć wygeneruje 46-wymiarowy wektor wyjściowy, w którym element output[[i]] jest prawdopodobieństwem tego, że próbka należy do klasy i. Wszystkie 46 wyników po zsumowaniu da wartość 1.
W tej sytuacji najlepiej jest skorzystać z funkcji straty w postaci kategorialnej entropii krzyżowej (categorical_crossentropy). Funkcja ta mierzy odległość między dwoma rozkładami prawdopodobieństw: rozkładem prawdopodobieństw zwróconych przez sieć i rozkładem prawdopodobieństw określanym przez etykiety. Minimalizacja odległości między tymi rozkładami pozwala na trenowanie sieci w celu zwracania wartości jak najbardziej zbliżonych do prawdziwych etykiet.
model %>% compile(
optimizer = "rmsprop",
loss = "categorical_crossentropy",
metrics = c("accuracy")
)
Walidacja modelu
Odłączmy 1000 próbek od treningowego zbioru danych w celu użycia ich w charakterze zbioru kontrolnego.
val_indices <- 1:1000
x_val <- x_train[val_indices,]
partial_x_train <- x_train[-val_indices,]
y_val <- one_hot_train_labels[val_indices,]
partial_y_train = one_hot_train_labels[-val_indices,]
Czas uruchomić trenowanie sieci trwające 20 epok:
Teraz możemy wyświetlić wykresy krzywych strat i dokładności:
plot(history)
Po dziewięciu epokach sieć zaczyna ulegać przeuczeniu. Spróbujmy uruchomić jeszcze raz proces uczenia sieci, ale tym razem ograniczymy jego działanie do 9 epok. Następnie sprawdzimy działanie sieci na testowym zbiorze danych.
results
Uzyskaliśmy dokładność na poziomie zbliżonym do 80%. W wyważonej klasyfikacji binarnej losowy klasyfikator uzyskałby wynik 50%, ale w tym przypadku jego wynik byłby zbliżony do 19%. Dokładność naszego klasyfikatora wydaje się całkiem dobra, jeżeli porówna się ją z klasyfikatorem przyporządkowującym etykiety w sposób losowy:
test_labels_copy <- test_labels
test_labels_copy <- sample(test_labels_copy)
length(which(test_labels == test_labels_copy)) / length(test_labels)
Generowanie przewidywań dotyczących nowych danych
Możemy zweryfikować zwracanie przez metodę predict naszej instancji modelu rozkładu prawdopodobieństwa wszystkich 46 tematów. Wygenerujmy przewidywania dla wszystkich elementów testowego zbioru danych.
predictions <- model %>% predict(x_test)
Każdy element zmiennej predictions jest wektorem o długości równej 46:
dim(predictions)
Suma wszystkich wartości tego wektora wynosi 1:
sum(predictions[1,])
Najwyższa wartość wektora wskazuje przewidywaną klasę — klasę, do której najprawdopodobniej należy dana próbka:
which.max(predictions[1,])
Inne sposoby obsługi etykiet i funkcji straty
Wcześniej pisałem o tym, że drugim sposobem kodowania etykiet jest rzutowanie ich jako tensory całkowitoliczbowe. Skorzystanie z tego rozwiązania wymaga wprowadzenia jednej zmiany w modelu — wybrania innej funkcji straty. Wybraliśmy funkcję categorical_crossentropy, która wymaga podawania etykiet zakodowanych kategorialnie. Przy etykietach mających postać liczb całkowitych powinniśmy użyć funkcji sparse_categorical_crossentropy:
model %>% compile(
optimizer = "rmsprop",
loss = "sparse_categorical_crossentropy",
metrics = c("accuracy")
)
Nowa funkcja straty z punktu widzenia matematyki działa tak samo jak funkcja categorical_crossentropy, ale wyposażono ją w inny interfejs.
Dlaczego warto tworzyć odpowiednio duże warstwy pośrednie?
Stwierdziłem wcześniej, że sieć generuje dane wyjściowe mające 46 wymiarów, a więc powinniśmy unikać warstw pośrednich mających mniej niż 46 ukrytych jednostek. Sprawdźmy, co się stanie, jeżeli wprowadzimy do sieci takie informacyjne wąskie gardło. Wprowadźmy do sieci warstwy pośrednie mające mniej niż 46 wymiarów: zacznijmy od przykładowej warstwy z 4 wymiarami.
Dokładność sieci w procesie walidacji osiąga teraz wartość szczytową na poziomie około 71%, a więc dokładność spadła w skali bezwzględnej o 8%. Wynika to głównie z tego, że sieć stara się skompresować wiele informacji w zbyt małej liczbie wymiarów warstwy pośredniej. Co prawda sieć jest w stanie dokonać podziału na 46 klas, a więc może ona zakodować większość niezbędnych informacji w formie ośmiowymiarowych reprezentacji, ale przestrzeń taka jest zbyt mała, aby umieścić w niej wszystkie informacje.
Dalsze eksperymenty
- Spróbuj tworzyć większe lub mniejsze warstwy: warstwy zawierające np. po 32 lub 128 jednostek.
- Korzystaliśmy z dwóch ukrytych warstw. Spróbuj utworzyć sieć zawierającą jedną taką warstwę, a następnie sieć składającą się z trzech takich warstw.
Wnioski
Oto wnioski, które należy wynieść z tego przykładu:
- Podczas klasyfikacji danych na N klas sieć powinna kończyć się warstwą dense o rozmiarze równym N.
- W razie wystąpienia problemu wieloklasowej klasyfikacji elementów opisywanych przy użyciu jednej etykiety sieć powinna kończyć się funkcją aktywacji softmax, która umożliwi wygenerowanie rozkładu wartości prawdopodobieństw N klas.
- Kategorialna entropia krzyżowa jest prawie zawsze funkcją straty — powinna być używana podczas pracy z tego typu problemami. Minimalizuje ona odległość między rozkładem prawdopodobieństwa wygenerowanym przez sieć a rozkładem wartości docelowych.
- Podczas klasyfikacji wieloklasowej można korzystać z jednego z dwóch sposobów obsługi etykiet:
- Kodowania etykiet za pomocą kodowania kategorycznego (kodowania z gorącą jedynką) i używania funkcji categorical_crossentropy jako funkcji straty.
- Kodowania etykiet za pomocą wartości całkowitoliczbowych i używania funkcji sparse_categorical_crossentropy jako funkcji straty.
- Jeżeli musisz podzielić dane na dużą liczbę kategorii, to staraj się unikać tworzenia wąskich gardeł blokujących przepływ informacji w postaci zbyt małych warstw pośrednich.
LS0tDQp0aXRsZTogIktsYXN5ZmlrYWNqYSBrcsOzdGtpY2ggYXJ0eWt1xYLDs3cgcHJhc293eWNoIg0Kb3V0cHV0OiANCiAgaHRtbF9ub3RlYm9vazogDQogICAgdGhlbWU6IGNlcnVsZWFuDQogICAgaGlnaGxpZ2h0OiB0ZXh0bWF0ZQ0KLS0tDQoNCmBgYHtyIHNldHVwLCBpbmNsdWRlPUZBTFNFfQ0Ka25pdHI6Om9wdHNfY2h1bmskc2V0KHdhcm5pbmcgPSBGQUxTRSwgbWVzc2FnZSA9IEZBTFNFKQ0KYGBgDQoNCg0KVyBwb3ByemVkbmltIHBvZHJvemR6aWFsZSBwcnplZHN0YXdpxYJlbSBrbGFzeWZpa2FjasSZIHdla3RvcsOzdyBwcnp5IHBvZHppYWxlIG5hIGR3aWUgcm96xYLEhWN6bmUga2xhc3kgemEgcG9tb2PEhSDFm2NpxZtsZSBwb8WCxIVjem9uZWogc2llY2kgbmV1cm9ub3dlai4gQ28gc2nEmSBkemllamUsIGdkeSBtYW15IHdpxJljZWoga2xhcz8NCg0KVyB0eW0gcG9kcm96ZHppYWxlIHpidWR1amVteSBzaWXEhyBrbGFzeWZpa3VqxIVjxIUgZG9uaWVzaWVuaWEgcHJhc293ZSBBZ2VuY2ppIFJldXRlcmEgbmEgNDYgbmllemFsZcW8bnljaCB0ZW1hdMOzdy4gUG9kemlhxYIgbWEgYnnEhyBkb2tvbmFueSBuYSB3aWVsZSBncnVwLCBhIHdpxJljIG1hbXkgdHltIHJhemVtIGRvIGN6eW5pZW5pYSB6IHByb2JsZW1lbSBrbGFzeWZpa2Fjamkgd2llbG9rbGFzb3dlai4gS2HFvGR5IGVsZW1lbnQgemJpb3J1IGRhbnljaCBtb8W8ZSBiecSHIHByenlwaXNhbnkgdHlsa28gZG8gamVkbmVqIGthdGVnb3JpaSwgYSB3acSZYyBwcm9ibGVtIHRlbiBtb8W8ZW15IG9rcmXFm2xpxIcgbWlhbmVtIGplZG5vZXR5a2lldG93ZWoga2xhc3lmaWthY2ppIHdpZWxva2xhc293ZWouIEdkeWJ5IGVsZW1lbnQgemJpb3J1IGRhbnljaCBtw7NnxYIgbmFsZcW8ZcSHIGplZG5vY3plxZtuaWUgZG8gd2llbHUga2F0ZWdvcmlpICh3IHR5bSBwcnp5cGFka3UgZG8gd2llbHUgdGVtYXTDs3cpLCB0byBtaWVsaWJ5xZtteSBkbyBjenluaWVuaWEgeiBwcm9ibGVtZW0gd2llbG9ldHlraWV0b3dlaiBrbGFzeWZpa2Fjamkgd2llbG9rbGFzb3dlai4NCg0KIyMgWmJpw7NyIGRhbnljaCBBZ2VuY2ppIFJldXRlcmENCg0KDQpXIHR5bSBwb2Ryb3pkemlhbGUgYsSZZHppZW15IHByYWNvd2HEhyBuYWQgemJpb3JlbSBkYW55Y2ggQWdlbmNqaSBSZXV0ZXJhIOKAlCB6ZXN0YXdlbSBrcsOzdGtpY2ggaW5mb3JtYWNqaSBwcmFzb3d5Y2ggZG90eWN6xIVjeWNoIG9rcmXFm2xvbmVnbyB0ZW1hdHUsIGt0w7NyZSB6b3N0YcWCeSBvcHVibGlrb3dhbmUgcHJ6ZXogdMSZIGFnZW5jasSZIHcgMTk4NiByLiBKZXN0IHRvIHByb3N0eSBpIHBvcHVsYXJueSB6YmnDs3IgZGFueWNoLCBkb3Nrb25hbGUgbmFkYWrEhWN5IHNpxJkgZG8gZWtzcGVyeW1lbnRvd2FuaWEgeiBrbGFzeWZpa2FjasSFIHRla3N0dS4gWmJpw7NyIHRlbiB6YXdpZXJhIDQ2IHLDs8W8bnljaCB0ZW1hdMOzdy4gRG8gbmlla3TDs3J5Y2ggeiBuaWNoIG5hbGXFvHkgbyB3aWVsZSB3acSZY2VqIGluZm9ybWFjamkgcHJhc293eWNoIG5pxbwgZG8gaW5ueWNoLCBhbGUga2HFvGR5IHogdGVtYXTDs3cgbWEgcHJ6eW5ham1uaWVqIDEwIHByenlrxYJhZMOzdyB3IHRyZW5pbmdvd3ltIHpiaW9yemUgZGFueWNoLg0KDQpaYmnDs3IgQWdlbmNqaSBSZXV0ZXJhLCBwb2RvYm5pZSBqYWsgemJpb3J5IElNREIgaSBNTklTVCwgd2Nob2R6aSB3IHNrxYJhZCBwYWtpZXR1IEtlcmFzLiBQcnp5anJ6eWpteSBzacSZIGplZ28gemF3YXJ0b8WbY2kuDQoNCmBgYHtyfQ0KbGlicmFyeShrZXJhcykNCg0KcmV1dGVycyA8LSBkYXRhc2V0X3JldXRlcnMobnVtX3dvcmRzID0gMTAwMDApDQpjKGModHJhaW5fZGF0YSwgdHJhaW5fbGFiZWxzKSwgYyh0ZXN0X2RhdGEsIHRlc3RfbGFiZWxzKSkgJTwtJSByZXV0ZXJzDQpgYGANCg0KUG9kb2JuaWUgamFrIHcgcHJ6eXBhZGt1IHpiaW9ydSBJTURCIHN0b3N1amVteSBhcmd1bWVudCBudW1fd29yZHM9MTAwMDAsIGt0w7NyeSBvZ3JhbmljemEgbmFzemUgZHppYcWCYW5pYSBkbyAxMCAwMDAgc8WCw7N3IHd5c3TEmXB1asSFY3ljaCBuYWpjesSZxZtjaWVqIHcgYW5hbGl6b3dhbnltIHpiaW9yemUgZGFueWNoLg0KDQpEeXNwb251amVteSA4OTgyIHByenlrxYJhZGFtaSB0cmVuaW5nb3d5bWkgaSAyMjQ2IHByenlrxYJhZGFtaSB0ZXN0b3d5bWk6DQoNCmBgYHtyfQ0KbGVuZ3RoKHRyYWluX2RhdGEpDQpgYGANCg0KYGBge3J9DQpsZW5ndGgodGVzdF9kYXRhKQ0KYGBgDQoNCkthxbxkeSBwcnp5a8WCYWQgamVzdCBsaXN0xIUgd2FydG/Fm2NpIGNhxYJrb3dpdG9saWN6Ym93eWNoIChpbmRla3PDs3cgc8WCw7N3KSDigJQgdGFraWUgc2FtbyByb3p3acSFemFuaWUgem9zdGHFgm8gemFwcmV6ZW50b3dhbmUgdyBwcnp5a8WCYWR6aWUgemJpb3J1IElNREI6DQoNCmBgYHtyfQ0KdHJhaW5fZGF0YVtbMV1dDQpgYGANCg0KUG9uacW8c3p5IGtvZCB1bW/FvGxpd2lhIG9ka29kb3dhbmllIHPFgsOzdyAobW/FvGVzeiBnbyB1cnVjaG9tacSHIHcgY2VsdSB6YXNwb2tvamVuaWEgc3dvamVqIGNpZWthd2/Fm2NpIGRvdHljesSFY2VqIHRyZcWbY2kpOg0KDQpgYGB7cn0NCndvcmRfaW5kZXggPC0gZGF0YXNldF9yZXV0ZXJzX3dvcmRfaW5kZXgoKQ0KcmV2ZXJzZV93b3JkX2luZGV4IDwtIG5hbWVzKHdvcmRfaW5kZXgpDQpuYW1lcyhyZXZlcnNlX3dvcmRfaW5kZXgpIDwtIHdvcmRfaW5kZXgNCmRlY29kZWRfbmV3c3dpcmUgPC0gc2FwcGx5KHRyYWluX2RhdGFbWzFdXSwgZnVuY3Rpb24oaW5kZXgpIHsNCiAgIyBLb2QgZGVrb2R1asSFY3kgcmVjZW56asSZLiBaYXV3YcW8LCDFvGUgaW5kZWtzeSBzxIUgcHJ6ZXN1bmnEmXRlIG8gMywgcG9uaWV3YcW8IG5hIHBvY3rEhXRrdSB6bmFqZHVqxIUgc2nEmSBpbmRla3N5DQogICMgc3ltYm9saXp1asSFY2Ug4oCed3lwZcWCbmllbmll4oCdLCDigJ5wb2N6xIV0ZWsgc2Vrd2VuY2pp4oCdIGkg4oCebmllem5hbmUgc8WCb3dv4oCdLg0KICB3b3JkIDwtIGlmIChpbmRleCA+PSAzKSByZXZlcnNlX3dvcmRfaW5kZXhbW2FzLmNoYXJhY3RlcihpbmRleCAtIDMpXV0NCiAgaWYgKCFpcy5udWxsKHdvcmQpKSB3b3JkIGVsc2UgIj8iDQp9KQ0KYGBgDQoNCmBgYHtyfQ0KY2F0KGRlY29kZWRfbmV3c3dpcmUpDQpgYGANCg0KVGFiZWxhIGV0eWtpZXQgcHJ6eWvFgmFkw7N3IHphd2llcmEgd2FydG/Fm2NpIGNhxYJrb3dpdG9saWN6Ym93ZSB6bmFqZHVqxIVjZSBzacSZIHcgemFrcmVzaWUgb2QgMCBkbyA0NSAoc8SFIHRvIGluZGVrc3kgdGVtYXTDs3cpOg0KDQpgYGB7cn0NCnRyYWluX2xhYmVsc1tbMV1dDQpgYGANCg0KIyMgUHJ6eWdvdG93eXdhbmllIGRhbnljaA0KDQpEYW5lIG1vxbxlbXkgemFtaWVuacSHIG5hIHdla3RvcnkgemEgcG9tb2PEhSB0ZWdvIHNhbWVnbyBrb2R1LCB6IGt0w7NyZWdvIGtvcnp5c3RhbGnFm215IHcgcG9wcnplZG5pbSBwcnp5a8WCYWR6aWU6DQoNCmBgYHtyfQ0KdmVjdG9yaXplX3NlcXVlbmNlcyA8LSBmdW5jdGlvbihzZXF1ZW5jZXMsIGRpbWVuc2lvbiA9IDEwMDAwKSB7DQogIHJlc3VsdHMgPC0gbWF0cml4KDAsIG5yb3cgPSBsZW5ndGgoc2VxdWVuY2VzKSwgbmNvbCA9IGRpbWVuc2lvbikNCiAgZm9yIChpIGluIDE6bGVuZ3RoKHNlcXVlbmNlcykpDQogICAgcmVzdWx0c1tpLCBzZXF1ZW5jZXNbW2ldXV0gPC0gMQ0KICByZXN1bHRzDQp9DQoNCnhfdHJhaW4gPC0gdmVjdG9yaXplX3NlcXVlbmNlcyh0cmFpbl9kYXRhKQ0KeF90ZXN0IDwtIHZlY3Rvcml6ZV9zZXF1ZW5jZXModGVzdF9kYXRhKQ0KYGBgDQoNCk9wZXJhY2rEmSBwcnpla3N6dGHFgmNhbmlhIGV0eWtpZXQgbmEgd2VrdG9yIG1vxbxuYSBwcnplcHJvd2FkemnEhyBuYSBkd2Egc3Bvc29ieTogcG9wcnpleiByenV0b3dhbmllIGxpc3R5IGV0eWtpZXQgbmEgdGVuc29yIHdhcnRvxZtjaSBjYcWCa293aXRvbGljemJvd3ljaCBsdWIgcG9wcnpleiBrb2Rvd2FuaWUgeiBnb3LEhWPEhSBqZWR5bmvEhS4gS29kb3dhbmllIHogZ29yxIVjxIUgamVkeW5rxIUgamVzdCB1xbx5d2FuZSB6d3lrbGUgdyBwcnp5cGFka3UgZGFueWNoIGthdGVnb3JpYWxueWNoIOKAlCBjesSZc3RvIG9rcmXFm2xhIHNpxJkgamUgbWlhbmVtIGtvZG93YW5pYSBrYXRlZ29yaWFsbmVnby4gU3pjemVnw7PFgm93ZSB3eWphxZtuaWVuaWUgdGVnbyBhbGdvcnl0bXUga29kb3dhbmlhIHpuYWpkemllc3ogdyBwb2Ryb3pkemlhbGUgNi4xLiBXIHR5bSBwcnp5cGFka3Uga29kb3dhbmllIHogZ29yxIVjxIUgamVkeW5rxIUgcHJ6ZXByb3dhZHpvbmUgbmEgemJpb3J6ZSBldHlraWV0IGLEmWR6aWUgcG9sZWdhxYJvIG5hIG9zYWR6ZW5pdSBrYcW8ZGVqIGV0eWtpZXR5IHcgZm9ybWllIHdla3RvcmEgd3lwZcWCbmlvbmVnbyBzYW15bWkgemVyYW1pIHogbGljemLEhSAxIHVtaWVzemN6b27EhSB3IG1pZWpzY3UgaW5kZWtzdSBldHlraWV0eS4gUHJ6eWpyenlqIHNpxJkga29kb3dpIGltcGxlbWVudHVqxIVjZW11IHRlbiBzcG9zw7NiIGtvZG93YW5pYToNCg0KYGBge3J9DQp0b19vbmVfaG90IDwtIGZ1bmN0aW9uKGxhYmVscywgZGltZW5zaW9uID0gNDYpIHsNCiAgcmVzdWx0cyA8LSBtYXRyaXgoMCwgbnJvdyA9IGxlbmd0aChsYWJlbHMpLCBuY29sID0gZGltZW5zaW9uKQ0KICBmb3IgKGkgaW4gMTpsZW5ndGgobGFiZWxzKSkNCiAgICByZXN1bHRzW2ksIGxhYmVsc1tbaV1dICsgMV0gPC0gMQ0KICByZXN1bHRzDQp9DQoNCm9uZV9ob3RfdHJhaW5fbGFiZWxzIDwtIHRvX29uZV9ob3QodHJhaW5fbGFiZWxzKQ0Kb25lX2hvdF90ZXN0X2xhYmVscyA8LSB0b19vbmVfaG90KHRlc3RfbGFiZWxzKQ0KYGBgDQoNCk9wZXJhY2rEmSB0xJkgbW/FvG5hIHd5a29uYcSHIHphIHBvbW9jxIUga29kdSB3YnVkb3dhbmVnbyB3IHBha2lldCBLZXJhcyAoamVnbyBkemlhxYJhbmllIHdpZHppZWxpxZtteSBqdcW8IHBvZGN6YXMgcHJhY3kgbmFkIHpiaW9yZW0gTU5JU1QpOg0KDQpgYGB7cn0NCm9uZV9ob3RfdHJhaW5fbGFiZWxzIDwtIHRvX2NhdGVnb3JpY2FsKHRyYWluX2xhYmVscykNCm9uZV9ob3RfdGVzdF9sYWJlbHMgPC0gdG9fY2F0ZWdvcmljYWwodGVzdF9sYWJlbHMpDQpgYGANCg0KIyMgQnVkb3dhbmllIHNpZWNpDQoNCg0KUHJvYmxlbSBrbGFzeWZpa2FjamkgdGVtYXTDs3cgcHJ6eXBvbWluYSBuaWVjbyBwcm9ibGVtIGtsYXN5ZmlrYWNqaSByZWNlbnpqaSBmaWxtw7N3OiB3IG9idSBzeXR1YWNqYWNoIHByw7NidWplbXkgZG9rb25hxIcga2xhc3lmaWthY2ppIGtyw7N0a2llZ28gZnJhZ21lbnR1IHRla3N0dS4gVHltIHJhemVtIG1hbXkgZG9kYXRrb3dlIG9ncmFuaWN6ZW5pZTogbGljemJhIGtsYXMgd3lqxZtjaW93eWNoIHd6cm9zxYJhIHogMiBkbyA0Ni4gVyB6d2nEhXprdSB6IHR5bSBwcnplc3RyemXFhCB3eWrFm2Npb3dhIG1hIG8gd2llbGUgd2nEmWNlaiB3eW1pYXLDs3cuDQoNClcgcHJ6eXBhZGt1IHN0b3Nvd2FuZWdvIHdjemXFm25pZWogc3Rvc3Ugd2Fyc3R3IGRlbnNlIGthxbxkYSB3YXJzdHdhIG1hIGRvc3TEmXAgdHlsa28gZG8gaW5mb3JtYWNqaSB3eWdlbmVyb3dhbnljaCBwcnpleiBwb3ByemVkbmnEhSB3YXJzdHfEmS4gSmXFvGVsaSBqYWthxZsgaW5mb3JtYWNqYSB3YcW8bmEgeiBwdW5rdHUgd2lkemVuaWEga2xhc3lmaWthY2ppIHpvc3RhbmllIHBvbWluacSZdGEgcHJ6ZXoga3TDs3LEhcWbIHogd2Fyc3R3LCB0byBuaWUgbWEgbW/FvGxpd2/Fm2NpIGplaiBvZHp5c2thbmlhIHByemV6IGtvbGVqbmUgd2Fyc3R3eS4gS2HFvGRhIHdhcnN0d2EgbW/FvGUgcG90ZW5jamFsbmllIHN0YcSHIHNpxJkgaW5mb3JtYWN5am55bSB3xIVza2ltIGdhcmTFgmVtLiBXIHBvcHJ6ZWRuaW0gcHJ6eWvFgmFkemllIHN0b3Nvd2FsacWbbXkgd2Fyc3R3eSBwb8WbcmVkbmllIG8gMTYgd3ltaWFyYWNoLCBhbGUgcHJ6ZXN0cnplxYQgMTYgd3ltaWFyw7N3IG1vxbxlIGJ5xIcgemJ5dCBvZ3Jhbmljem9uYSwgYWJ5IG5hdWN6ecSHIHNpxJkgcm96ZHppZWxhbmlhIGRhbnljaCBuYSA0NiByw7PFvG55Y2gga2xhcy4gVGFrIG1hxYJlIHdhcnN0d3kgbW9nxIUgc3RhxIcgc2nEmSB3xIVza2ltaSBnYXJkxYJhbWksIHByemV6IGt0w7NyZSBuaWUgYsSZZMSFIHByemVjaG9kemnFgnkgZGFsZWogd2HFvG5lIGluZm9ybWFjamUuDQoNClcgendpxIV6a3UgeiB0eW0gYsSZZHppZW15IHR3b3J6eWxpIHdpxJlrc3plIHdhcnN0d3kuIFphY3puaWpteSBvZCA2NCBqZWRub3N0ZWsuDQoNCmBgYHtyfQ0KbW9kZWwgPC0ga2VyYXNfbW9kZWxfc2VxdWVudGlhbCgpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSA2NCwgYWN0aXZhdGlvbiA9ICJyZWx1IiwgaW5wdXRfc2hhcGUgPSBjKDEwMDAwKSkgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDY0LCBhY3RpdmF0aW9uID0gInJlbHUiKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gNDYsIGFjdGl2YXRpb24gPSAic29mdG1heCIpDQpgYGANCg0KV2FydG8gendyw7NjacSHIHV3YWfEmSBuYSBqZXN6Y3plIGR3aWUgcnplY3p5IHp3acSFemFuZSB6IHTEhSBhcmNoaXRla3R1csSFOg0KDQoqIFNpZcSHIGplc3QgemFrb8WEY3pvbmEgd2Fyc3R3xIUgZGVuc2UgbyByb3ptaWFyemUgcsOzd255bSA0Ni4gVyB6d2nEhXprdSB6IHR5bSBrYcW8ZGEgcHLDs2JrYSBkYW55Y2ggd2VqxZtjaW93eWNoIHNwb3dvZHVqZSB3eWdlbmVyb3dhbmllIHByemV6IHNpZcSHIHdla3RvcmEgbyA0NiB3eW1pYXJhY2guIEthxbxkeSBlbGVtZW50IHRlZ28gd2VrdG9yYSAoa2HFvGR5IGplZ28gd3ltaWFyKSBixJlkemllIHphd2llcmHFgiBpbmZvcm1hY2rEmSBvZHdvxYJ1asSFY8SFIHNpxJkgZG8gaW5uZWoga2xhc3kuDQoNCiogVyBvc3RhdG5pZWogd2Fyc3R3aWUgemFzdG9zb3dhbm8gZnVua2NqxJkgYWt0eXdhY2ppIHNvZnRtYXguIFJvendpxIV6YW5pZSB0byB3aWR6aWVsacWbbXkgdyBwcnp5a8WCYWR6aWUgemJpb3J1IE1OSVNULiBEemnEmWtpIG5pZW11IHNpZcSHIGLEmWR6aWUgendyYWNhxYJhIHJvemvFgmFkIHByYXdkb3BvZG9iaWXFhHN0d2EgNDYgcsOzxbxueWNoIGtsYXMg4oCUIGRsYSBrYcW8ZGVqIHByw7Nia2kgd2VqxZtjaW93ZWogc2llxIcgd3lnZW5lcnVqZSA0Ni13eW1pYXJvd3kgd2VrdG9yIHd5asWbY2lvd3ksIHcga3TDs3J5bSBlbGVtZW50IG91dHB1dFtbaV1dIGplc3QgcHJhd2RvcG9kb2JpZcWEc3R3ZW0gdGVnbywgxbxlIHByw7Nia2EgbmFsZcW8eSBkbyBrbGFzeSBpLiBXc3p5c3RraWUgNDYgd3luaWvDs3cgcG8genN1bW93YW5pdSBkYSB3YXJ0b8WbxIcgMS4NCg0KDQpXIHRlaiBzeXR1YWNqaSBuYWpsZXBpZWogamVzdCBza29yenlzdGHEhyB6IGZ1bmtjamkgc3RyYXR5IHcgcG9zdGFjaSBrYXRlZ29yaWFsbmVqIGVudHJvcGlpIGtyennFvG93ZWogKGNhdGVnb3JpY2FsX2Nyb3NzZW50cm9weSkuIEZ1bmtjamEgdGEgbWllcnp5IG9kbGVnxYJvxZvEhyBtacSZZHp5IGR3b21hIHJvemvFgmFkYW1pIHByYXdkb3BvZG9iaWXFhHN0dzogcm96a8WCYWRlbSBwcmF3ZG9wb2RvYmllxYRzdHcgendyw7Njb255Y2ggcHJ6ZXogc2llxIcgaSByb3prxYJhZGVtIHByYXdkb3BvZG9iaWXFhHN0dyBva3JlxZtsYW55bSBwcnpleiBldHlraWV0eS4gTWluaW1hbGl6YWNqYSBvZGxlZ8WCb8WbY2kgbWnEmWR6eSB0eW1pIHJvemvFgmFkYW1pIHBvendhbGEgbmEgdHJlbm93YW5pZSBzaWVjaSB3IGNlbHUgendyYWNhbmlhIHdhcnRvxZtjaSBqYWsgbmFqYmFyZHppZWogemJsacW8b255Y2ggZG8gcHJhd2R6aXd5Y2ggZXR5a2lldC4NCg0KYGBge3J9DQptb2RlbCAlPiUgY29tcGlsZSgNCiAgb3B0aW1pemVyID0gInJtc3Byb3AiLA0KICBsb3NzID0gImNhdGVnb3JpY2FsX2Nyb3NzZW50cm9weSIsDQogIG1ldHJpY3MgPSBjKCJhY2N1cmFjeSIpDQopDQpgYGANCg0KIyMgV2FsaWRhY2phIG1vZGVsdQ0KDQpPZMWCxIVjem15IDEwMDAgcHLDs2JlayBvZCB0cmVuaW5nb3dlZ28gemJpb3J1IGRhbnljaCB3IGNlbHUgdcW8eWNpYSBpY2ggdyBjaGFyYWt0ZXJ6ZSB6YmlvcnUga29udHJvbG5lZ28uDQoNCmBgYHtyfQ0KdmFsX2luZGljZXMgPC0gMToxMDAwDQoNCnhfdmFsIDwtIHhfdHJhaW5bdmFsX2luZGljZXMsXQ0KcGFydGlhbF94X3RyYWluIDwtIHhfdHJhaW5bLXZhbF9pbmRpY2VzLF0NCg0KeV92YWwgPC0gb25lX2hvdF90cmFpbl9sYWJlbHNbdmFsX2luZGljZXMsXQ0KcGFydGlhbF95X3RyYWluID0gb25lX2hvdF90cmFpbl9sYWJlbHNbLXZhbF9pbmRpY2VzLF0NCmBgYA0KDQpDemFzIHVydWNob21pxIcgdHJlbm93YW5pZSBzaWVjaSB0cndhasSFY2UgMjAgZXBvazoNCg0KYGBge3IgZWNobz1UUlVFLCByZXN1bHRzPSdoaWRlJ30NCmhpc3RvcnkgPC0gbW9kZWwgJT4lIGZpdCgNCiAgcGFydGlhbF94X3RyYWluLA0KICBwYXJ0aWFsX3lfdHJhaW4sDQogIGVwb2NocyA9IDIwLA0KICBiYXRjaF9zaXplID0gNTEyLA0KICB2YWxpZGF0aW9uX2RhdGEgPSBsaXN0KHhfdmFsLCB5X3ZhbCkNCikNCmBgYA0KDQpUZXJheiBtb8W8ZW15IHd5xZt3aWV0bGnEhyB3eWtyZXN5IGtyenl3eWNoIHN0cmF0IGkgZG9rxYJhZG5vxZtjaToNCg0KYGBge3J9DQpwbG90KGhpc3RvcnkpDQpgYGANCg0KUG8gZHppZXdpxJljaXUgZXBva2FjaCBzaWXEhyB6YWN6eW5hIHVsZWdhxIcgcHJ6ZXVjemVuaXUuIFNwcsOzYnVqbXkgdXJ1Y2hvbWnEhyBqZXN6Y3plIHJheiBwcm9jZXMgdWN6ZW5pYSBzaWVjaSwgYWxlIHR5bSByYXplbSBvZ3JhbmljenlteSBqZWdvIGR6aWHFgmFuaWUgZG8gOSBlcG9rLiBOYXN0xJlwbmllIHNwcmF3ZHppbXkgZHppYcWCYW5pZSBzaWVjaSBuYSB0ZXN0b3d5bSB6YmlvcnplIGRhbnljaC4NCg0KYGBge3IsIGVjaG89VFJVRSwgcmVzdWx0cz0naGlkZSd9DQptb2RlbCA8LSBrZXJhc19tb2RlbF9zZXF1ZW50aWFsKCkgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDY0LCBhY3RpdmF0aW9uID0gInJlbHUiLCBpbnB1dF9zaGFwZSA9IGMoMTAwMDApKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gNjQsIGFjdGl2YXRpb24gPSAicmVsdSIpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSA0NiwgYWN0aXZhdGlvbiA9ICJzb2Z0bWF4IikNCiAgDQptb2RlbCAlPiUgY29tcGlsZSgNCiAgb3B0aW1pemVyID0gInJtc3Byb3AiLA0KICBsb3NzID0gImNhdGVnb3JpY2FsX2Nyb3NzZW50cm9weSIsDQogIG1ldHJpY3MgPSBjKCJhY2N1cmFjeSIpDQopDQoNCmhpc3RvcnkgPC0gbW9kZWwgJT4lIGZpdCgNCiAgcGFydGlhbF94X3RyYWluLA0KICBwYXJ0aWFsX3lfdHJhaW4sDQogIGVwb2NocyA9IDksDQogIGJhdGNoX3NpemUgPSA1MTIsDQogIHZhbGlkYXRpb25fZGF0YSA9IGxpc3QoeF92YWwsIHlfdmFsKQ0KKQ0KDQpyZXN1bHRzIDwtIG1vZGVsICU+JSBldmFsdWF0ZSh4X3Rlc3QsIG9uZV9ob3RfdGVzdF9sYWJlbHMpDQpgYGANCg0KYGBge3J9DQpyZXN1bHRzDQpgYGANCg0KVXp5c2thbGnFm215IGRva8WCYWRub8WbxIcgbmEgcG96aW9taWUgemJsacW8b255bSBkbyA4MCUuIFcgd3l3YcW8b25laiBrbGFzeWZpa2FjamkgYmluYXJuZWogbG9zb3d5IGtsYXN5ZmlrYXRvciB1enlza2HFgmJ5IHd5bmlrIDUwJSwgYWxlIHcgdHltIHByenlwYWRrdSBqZWdvIHd5bmlrIGJ5xYJieSB6YmxpxbxvbnkgZG8gMTklLiBEb2vFgmFkbm/Fm8SHIG5hc3plZ28ga2xhc3lmaWthdG9yYSB3eWRhamUgc2nEmSBjYcWCa2llbSBkb2JyYSwgamXFvGVsaSBwb3LDs3duYSBzacSZIGrEhSB6IGtsYXN5ZmlrYXRvcmVtIHByenlwb3J6xIVka293dWrEhWN5bSBldHlraWV0eSB3IHNwb3PDs2IgbG9zb3d5Og0KDQpgYGB7cn0NCnRlc3RfbGFiZWxzX2NvcHkgPC0gdGVzdF9sYWJlbHMNCnRlc3RfbGFiZWxzX2NvcHkgPC0gc2FtcGxlKHRlc3RfbGFiZWxzX2NvcHkpDQpsZW5ndGgod2hpY2godGVzdF9sYWJlbHMgPT0gdGVzdF9sYWJlbHNfY29weSkpIC8gbGVuZ3RoKHRlc3RfbGFiZWxzKQ0KYGBgDQoNCiMjIEdlbmVyb3dhbmllIHByemV3aWR5d2HFhCBkb3R5Y3rEhWN5Y2ggbm93eWNoIGRhbnljaA0KDQpNb8W8ZW15IHp3ZXJ5Zmlrb3dhxIcgendyYWNhbmllIHByemV6IG1ldG9kxJkgcHJlZGljdCBuYXN6ZWogaW5zdGFuY2ppIG1vZGVsdSByb3prxYJhZHUgcHJhd2RvcG9kb2JpZcWEc3R3YSB3c3p5c3RraWNoIDQ2IHRlbWF0w7N3LiBXeWdlbmVydWpteSBwcnpld2lkeXdhbmlhIGRsYSB3c3p5c3RraWNoIGVsZW1lbnTDs3cgdGVzdG93ZWdvIHpiaW9ydSBkYW55Y2guDQoNCmBgYHtyfQ0KcHJlZGljdGlvbnMgPC0gbW9kZWwgJT4lIHByZWRpY3QoeF90ZXN0KQ0KYGBgDQoNCkthxbxkeSBlbGVtZW50IHptaWVubmVqIHByZWRpY3Rpb25zIGplc3Qgd2VrdG9yZW0gbyBkxYJ1Z2/Fm2NpIHLDs3duZWogNDY6DQoNCmBgYHtyfQ0KZGltKHByZWRpY3Rpb25zKQ0KYGBgDQoNClN1bWEgd3N6eXN0a2ljaCB3YXJ0b8WbY2kgdGVnbyB3ZWt0b3JhIHd5bm9zaSAxOg0KDQpgYGB7cn0NCnN1bShwcmVkaWN0aW9uc1sxLF0pDQpgYGANCg0KTmFqd3nFvHN6YSB3YXJ0b8WbxIcgd2VrdG9yYSB3c2thenVqZSBwcnpld2lkeXdhbsSFIGtsYXPEmSDigJQga2xhc8SZLCBkbyBrdMOzcmVqIG5hanByYXdkb3BvZG9ibmllaiBuYWxlxbx5IGRhbmEgcHLDs2JrYToNCg0KYGBge3J9DQp3aGljaC5tYXgocHJlZGljdGlvbnNbMSxdKQ0KYGBgDQoNCiMjIElubmUgc3Bvc29ieSBvYnPFgnVnaSBldHlraWV0IGkgZnVua2NqaSBzdHJhdHkNCg0KV2N6ZcWbbmllaiBwaXNhxYJlbSBvIHR5bSwgxbxlIGRydWdpbSBzcG9zb2JlbSBrb2Rvd2FuaWEgZXR5a2lldCBqZXN0IHJ6dXRvd2FuaWUgaWNoIGpha28gdGVuc29yeSBjYcWCa293aXRvbGljemJvd2UuIFNrb3J6eXN0YW5pZSB6IHRlZ28gcm96d2nEhXphbmlhIHd5bWFnYSB3cHJvd2FkemVuaWEgamVkbmVqIHptaWFueSB3IG1vZGVsdSDigJQgd3licmFuaWEgaW5uZWogZnVua2NqaSBzdHJhdHkuIFd5YnJhbGnFm215IGZ1bmtjasSZIGNhdGVnb3JpY2FsX2Nyb3NzZW50cm9weSwga3TDs3JhIHd5bWFnYSBwb2Rhd2FuaWEgZXR5a2lldCB6YWtvZG93YW55Y2gga2F0ZWdvcmlhbG5pZS4gUHJ6eSBldHlraWV0YWNoIG1hasSFY3ljaCBwb3N0YcSHIGxpY3piIGNhxYJrb3dpdHljaCBwb3dpbm5pxZtteSB1xbx5xIcgZnVua2NqaSBzcGFyc2VfY2F0ZWdvcmljYWxfY3Jvc3NlbnRyb3B5Og0KDQpgYGB7cn0NCm1vZGVsICU+JSBjb21waWxlKA0KICBvcHRpbWl6ZXIgPSAicm1zcHJvcCIsDQogIGxvc3MgPSAic3BhcnNlX2NhdGVnb3JpY2FsX2Nyb3NzZW50cm9weSIsDQogIG1ldHJpY3MgPSBjKCJhY2N1cmFjeSIpDQopDQpgYGANCg0KDQpOb3dhIGZ1bmtjamEgc3RyYXR5IHogcHVua3R1IHdpZHplbmlhIG1hdGVtYXR5a2kgZHppYcWCYSB0YWsgc2FtbyBqYWsgZnVua2NqYSBjYXRlZ29yaWNhbF9jcm9zc2VudHJvcHksIGFsZSB3eXBvc2HFvG9ubyBqxIUgdyBpbm55IGludGVyZmVqcy4NCg0KIyMgRGxhY3plZ28gd2FydG8gdHdvcnp5xIcgb2Rwb3dpZWRuaW8gZHXFvGUgd2Fyc3R3eSBwb8WbcmVkbmllPw0KDQoNClN0d2llcmR6acWCZW0gd2N6ZcWbbmllaiwgxbxlIHNpZcSHIGdlbmVydWplIGRhbmUgd3lqxZtjaW93ZSBtYWrEhWNlIDQ2IHd5bWlhcsOzdywgYSB3acSZYyBwb3dpbm5pxZtteSB1bmlrYcSHIHdhcnN0dyBwb8WbcmVkbmljaCBtYWrEhWN5Y2ggbW5pZWogbmnFvCA0NiB1a3J5dHljaCBqZWRub3N0ZWsuIFNwcmF3ZMW6bXksIGNvIHNpxJkgc3RhbmllLCBqZcW8ZWxpIHdwcm93YWR6aW15IGRvIHNpZWNpIHRha2llIGluZm9ybWFjeWpuZSB3xIVza2llIGdhcmTFgm8uIFdwcm93YWTFum15IGRvIHNpZWNpIHdhcnN0d3kgcG/Fm3JlZG5pZSBtYWrEhWNlIG1uaWVqIG5pxbwgNDYgd3ltaWFyw7N3OiB6YWN6bmlqbXkgb2QgcHJ6eWvFgmFkb3dlaiB3YXJzdHd5IHogNCB3eW1pYXJhbWkuDQoNCmBgYHtyLCBlY2hvPVRSVUUsIHJlc3VsdHM9J2hpZGUnfQ0KbW9kZWwgPC0ga2VyYXNfbW9kZWxfc2VxdWVudGlhbCgpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSA2NCwgYWN0aXZhdGlvbiA9ICJyZWx1IiwgaW5wdXRfc2hhcGUgPSBjKDEwMDAwKSkgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDQsIGFjdGl2YXRpb24gPSAicmVsdSIpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSA0NiwgYWN0aXZhdGlvbiA9ICJzb2Z0bWF4IikNCiAgDQptb2RlbCAlPiUgY29tcGlsZSgNCiAgb3B0aW1pemVyID0gInJtc3Byb3AiLA0KICBsb3NzID0gImNhdGVnb3JpY2FsX2Nyb3NzZW50cm9weSIsDQogIG1ldHJpY3MgPSBjKCJhY2N1cmFjeSIpDQopDQoNCm1vZGVsICU+JSBmaXQoDQogIHBhcnRpYWxfeF90cmFpbiwNCiAgcGFydGlhbF95X3RyYWluLA0KICBlcG9jaHMgPSAyMCwNCiAgYmF0Y2hfc2l6ZSA9IDEyOCwNCiAgdmFsaWRhdGlvbl9kYXRhID0gbGlzdCh4X3ZhbCwgeV92YWwpDQopDQpgYGANCg0KRG9rxYJhZG5vxZvEhyBzaWVjaSB3IHByb2Nlc2llIHdhbGlkYWNqaSBvc2nEhWdhIHRlcmF6IHdhcnRvxZvEhyBzemN6eXRvd8SFIG5hIHBvemlvbWllIG9rb8WCbyA3MSUsIGEgd2nEmWMgZG9rxYJhZG5vxZvEhyBzcGFkxYJhIHcgc2thbGkgYmV6d3pnbMSZZG5laiBvIDglLiBXeW5pa2EgdG8gZ8WCw7N3bmllIHogdGVnbywgxbxlIHNpZcSHIHN0YXJhIHNpxJkgc2tvbXByZXNvd2HEhyB3aWVsZSBpbmZvcm1hY2ppIHcgemJ5dCBtYcWCZWogbGljemJpZSB3eW1pYXLDs3cgd2Fyc3R3eSBwb8WbcmVkbmllai4gQ28gcHJhd2RhIHNpZcSHIGplc3QgdyBzdGFuaWUgZG9rb25hxIcgcG9kemlhxYJ1IG5hIDQ2IGtsYXMsIGEgd2nEmWMgbW/FvGUgb25hIHpha29kb3dhxIcgd2nEmWtzem/Fm8SHIG5pZXpixJlkbnljaCBpbmZvcm1hY2ppIHcgZm9ybWllIG/Fm21pb3d5bWlhcm93eWNoIHJlcHJlemVudGFjamksIGFsZSBwcnplc3RyemXFhCB0YWthIGplc3QgemJ5dCBtYcWCYSwgYWJ5IHVtaWXFm2NpxIcgdyBuaWVqIHdzenlzdGtpZSBpbmZvcm1hY2plLg0KDQojIyBEYWxzemUgZWtzcGVyeW1lbnR5DQoNCiogU3Byw7NidWogdHdvcnp5xIcgd2nEmWtzemUgbHViIG1uaWVqc3plIHdhcnN0d3k6IHdhcnN0d3kgemF3aWVyYWrEhWNlIG5wLiBwbyAzMiBsdWIgMTI4IGplZG5vc3Rlay4NCiogS29yenlzdGFsacWbbXkgeiBkd8OzY2ggdWtyeXR5Y2ggd2Fyc3R3LiBTcHLDs2J1aiB1dHdvcnp5xIcgc2llxIcgemF3aWVyYWrEhWPEhSBqZWRuxIUgdGFrxIUgd2Fyc3R3xJksIGEgbmFzdMSZcG5pZSBzaWXEhyBza8WCYWRhasSFY8SFIHNpxJkgeiB0cnplY2ggdGFraWNoIHdhcnN0dy4NCg0KIyMgV25pb3NraQ0KDQoNCk90byB3bmlvc2tpLCBrdMOzcmUgbmFsZcW8eSB3eW5pZcWbxIcgeiB0ZWdvIHByenlrxYJhZHU6DQoNCiogUG9kY3phcyBrbGFzeWZpa2FjamkgZGFueWNoIG5hIE4ga2xhcyBzaWXEhyBwb3dpbm5hIGtvxYRjennEhyBzacSZIHdhcnN0d8SFIGRlbnNlIG8gcm96bWlhcnplIHLDs3dueW0gTi4NCiogVyByYXppZSB3eXN0xIVwaWVuaWEgcHJvYmxlbXUgd2llbG9rbGFzb3dlaiBrbGFzeWZpa2FjamkgZWxlbWVudMOzdyBvcGlzeXdhbnljaCBwcnp5IHXFvHljaXUgamVkbmVqIGV0eWtpZXR5IHNpZcSHIHBvd2lubmEga2/FhGN6ecSHIHNpxJkgZnVua2NqxIUgYWt0eXdhY2ppIHNvZnRtYXgsIGt0w7NyYSB1bW/FvGxpd2kgd3lnZW5lcm93YW5pZSByb3prxYJhZHUgd2FydG/Fm2NpIHByYXdkb3BvZG9iaWXFhHN0dyBOIGtsYXMuDQoqIEthdGVnb3JpYWxuYSBlbnRyb3BpYSBrcnp5xbxvd2EgamVzdCBwcmF3aWUgemF3c3plIGZ1bmtjasSFIHN0cmF0eSDigJQgcG93aW5uYSBiecSHIHXFvHl3YW5hIHBvZGN6YXMgcHJhY3kgeiB0ZWdvIHR5cHUgcHJvYmxlbWFtaS4gTWluaW1hbGl6dWplIG9uYSBvZGxlZ8WCb8WbxIcgbWnEmWR6eSByb3prxYJhZGVtIHByYXdkb3BvZG9iaWXFhHN0d2Egd3lnZW5lcm93YW55bSBwcnpleiBzaWXEhyBhIHJvemvFgmFkZW0gd2FydG/Fm2NpIGRvY2Vsb3d5Y2guDQoqIFBvZGN6YXMga2xhc3lmaWthY2ppIHdpZWxva2xhc293ZWogbW/FvG5hIGtvcnp5c3RhxIcgeiBqZWRuZWdvIHogZHfDs2NoIHNwb3NvYsOzdyBvYnPFgnVnaSBldHlraWV0Og0KICAgICogS29kb3dhbmlhIGV0eWtpZXQgemEgcG9tb2PEhSBrb2Rvd2FuaWEga2F0ZWdvcnljem5lZ28gKGtvZG93YW5pYSB6IGdvcsSFY8SFIGplZHlua8SFKSBpIHXFvHl3YW5pYSBmdW5rY2ppIGNhdGVnb3JpY2FsX2Nyb3NzZW50cm9weSBqYWtvIGZ1bmtjamkgc3RyYXR5Lg0KICAgICogS29kb3dhbmlhIGV0eWtpZXQgemEgcG9tb2PEhSB3YXJ0b8WbY2kgY2HFgmtvd2l0b2xpY3pib3d5Y2ggaSB1xbx5d2FuaWEgZnVua2NqaSBzcGFyc2VfY2F0ZWdvcmljYWxfY3Jvc3NlbnRyb3B5IGpha28gZnVua2NqaSBzdHJhdHkuDQoqIEplxbxlbGkgbXVzaXN6IHBvZHppZWxpxIcgZGFuZSBuYSBkdcW8xIUgbGljemLEmSBrYXRlZ29yaWksIHRvIHN0YXJhaiBzacSZIHVuaWthxIcgdHdvcnplbmlhIHfEhXNraWNoIGdhcmRlxYIgYmxva3VqxIVjeWNoIHByemVwxYJ5dyBpbmZvcm1hY2ppIHcgcG9zdGFjaSB6Ynl0IG1hxYJ5Y2ggd2Fyc3R3IHBvxZtyZWRuaWNoLg0K