We wszystkich trzech zaprezentowanych wcześniej przykładach — przewidywaniu oceny filmu, klasyfikacji tematycznej i regresji ceny mieszkań — wydajność modelu podczas przetwarzania odłożonego na bok walidacyjnego zbioru danych zawsze po kilku epokach osiągała wartość szczytową, a następnie ulegała degradacji — modele zaczynały ulegać nadmiernemu dopasowaniu do danych treningowych. Do nadmiernego dopasowania może dojść podczas pracy nad dowolnym problemem uczenia maszynowego. Pracując z algorytmami uczenia maszynowego, musimy wiedzieć, jak radzić sobie z tym problemem.

Podstawowym problemem uczenia maszynowego jest kompromis między optymalizacją a uogólnianiem. Optymalizacja jest procesem dostrajania modelu w celu uzyskania najlepszej możliwej wydajności na danych treningowych (jest to proces uczenia, od którego wzięła się nazwa uczenie maszynowe), a uogólnianie odwołuje się do tego, jak dobrze wytrenowany model sprawdza się podczas przetwarzania danych, których nigdy nie widział. Oczywiście chcemy uzyskać jak najlepszą zdolność modelu do uogólniania, ale nie mamy na to wpływu w sposób bezpośredni, ponieważ model możemy modyfikować tylko na danych treningowych.

Na początku trenowania optymalizacja i uogólnianie są ze sobą skorelowane — im mniejsza strata na danych treningowych, tym mniejsza strata na danych testowych. Gdy taka sytuacja ma miejsce, mamy do czynienia ze zbyt słabym dopasowaniem — model może zostać lepiej dopasowany, ponieważ sieć nie dokonała jeszcze modelowania wszystkich wzorców znajdujących się w danych treningowych, ale po pewnej liczbie iteracji algorytmu przetwarzającego dane treningowe uogólnianie przestaje ulegać poprawie, a metryka walidacji przyjmuje wartość stałą lub pogarsza się — wówczas model zaczyna dopasowywać się nadmiernie, a więc zaczyna uczyć się wzorców, które są specyficzne dla danych treningowych i wprowadzają w błąd lub są nieprzydatne podczas przetwarzania nowych danych.

Aby zapobiec uczeniu się przez model błędnych lub zbędnych wzorców treningowego zbioru danych, najlepiej jest zebrać więcej danych treningowych. To dość oczywiste, że model trenowany na większej liczbie obserwacji będzie zdolny do lepszego uogólniania. Jeśli takie rozwiązanie nie jest możliwe, możemy modulować ilość informacji, które model może przechowywać, lub dodać ograniczenia co do możliwości przechowywania informacji przez model. Jeżeli sieć może zapamiętać tylko niewielką liczbę wzorców, to proces optymalizacji wymusi skupienie się na najważniejszych wzorcach, które najprawdopodobniej lepiej sprawdzą się przy uogólnianiu.

Proces walki z nadmiernym dopasowaniem określamy mianem regularyzacji. Chciałbym opisać najpopularniejsze techniki regularyzacji i zastosować je w praktyce w celu poprawy działania modelu klasyfikacji filmów opisanego w podrozdziale 3.4.

Uwaga: W tym notatniku w roli zbioru walidacyjnego użyjemy zbioru testowego IMDB, ale nie ma to tuaj znaczneia.

Przygotujmy dane za pomocą kodu z podrozdizału 3.5:

rr library(keras) imdb <- dataset_imdb(num_words = 10000) c(c(train_data, train_labels), c(test_data, test_labels)) %<-% imdb vectorize_sequences <- function(sequences, dimension = 10000) { # Create an all-zero matrix of shape (len(sequences), dimension) results <- matrix(0, nrow = length(sequences), ncol = dimension) for (i in 1:length(sequences)) # Sets specific indices of results[i] to 1s results[i, sequences[[i]]] <- 1 results } # Our vectorized training data x_train <- vectorize_sequences(train_data) # Our vectorized test data x_test <- vectorize_sequences(test_data) # Our vectorized labels y_train <- as.numeric(train_labels) y_test <- as.numeric(test_labels)

Przeciwdziałanie nadmiernemu dopasowaniu

Redukcja rozmiaru sieci

Najprostszym sposobem zapobiegania powstawaniu nadmiernego dopasowania jest zmniejszenie rozmiaru modelu: zmniejszenie liczby uczonych parametrów, na którą wpływa liczba warstw i liczba jednostek je tworzących. W uczeniu głębokim uczone parametry modelu często określa się mianem pojemności modelu. Model dysponujący większą liczbą parametrów charakteryzuje się większą pojemnością pamięci, a więc może łatwiej uczyć się doskonałego mapowania danych przypominającego swym działaniem słownik. Mapowanie takie nie ma żadnej zdolności uogólniania. Przykładowy model z 500 000 parametrów binarnych mógłby z łatwością nauczyć się klasy każdej cyfry wchodzącej w skład treningowego zbioru danych MNIST: każda z 50 000 cyfr mogłaby zostać opisana przy użyciu zaledwie 10 parametrów binarnych, ale taki model byłby zupełnie nieprzydatny podczas klasyfikacji nowych próbek. Musisz pamiętać o tym, że modele uczenia głębokiego mają tendencję do dopasowywania się do danych treningowych, ale Twoim celem jest osiągnięcie modelu zdolnego do jak najlepszych uogólnień, a nie modelu maksymalnie dopasowanego do danych treningowych.

Jeżeli sieć dysponuje zbyt małą zdolnością zapamiętywania, to nie będzie w stanie tak łatwo nauczyć się bezpośredniego mapowania, a więc w celu minimalizacji strat będzie musiała uczyć się skompresowanych reprezentacji, co pozwoli modelowi nabyć umiejętności przewidywania, a o to nam właśnie chodzi. Jednocześnie należy pamiętać o tym, że modele powinny mieć na tyle dużo parametrów, aby nie ulec zbyt słabemu dopasowaniu — model nie powinien cierpieć z powodu braku możliwości zapamiętywania kolejnych cech. Trzeba znaleźć kompromis między zbyt dużą pojemnością a zbyt małą pojemnością.

Niestety nie ma żadnego magicznego wzoru umożliwiającego określenie właściwej liczby warstw i odpowiednich rozmiarów poszczególnych warstw. W celu znalezienia modelu optymalnego z punktu widzenia analizowanych danych należy sprawdzić działanie zestawu różnych architektur (oczywiście trzeba to robić na zbiorze walidacyjnym, a nie testowym). Szukanie odpowiedniego modelu należy zacząć od niewielkiej liczby warstw i parametrów, a następnie zwiększać rozmiary istniejących warstw i stopniowo dodawać nowe, obserwując spadek wartości straty określanej w procesie walidacji.

Spróbujmy zastosować to rozwiązanie w kontekście sieci klasyfikującej recenzje filmów. Oto kod oryginalnej sieci:

rr original_model <- keras_model_sequential() %>% layer_dense(units = 16, activation = , input_shape = c(10000)) %>% layer_dense(units = 16, activation = ) %>% layer_dense(units = 1, activation = ) original_model %>% compile( optimizer = , loss = _crossentropy, metrics = c() )

Spróbujmy zastąpić ten model prostszą siecią neuronową:

rr smaller_model <- keras_model_sequential() %>% layer_dense(units = 4, activation = , input_shape = c(10000)) %>% layer_dense(units = 4, activation = ) %>% layer_dense(units = 1, activation = ) smaller_model %>% compile( optimizer = , loss = _crossentropy, metrics = c() )

Wytrenujmy obie sieci:

Funkcja pomomagajaca w porównaniu strat:

rr library(ggplot2) library(tidyr) plot_training_losses <- function(losses) { loss_names <- names(losses) losses <- as.data.frame(losses) losses$epoch <- seq_len(nrow(losses)) losses %>% gather(model, loss, loss_names[[1]], loss_names[[2]]) %>% ggplot(aes(x = epoch, y = loss, colour = model)) + geom_point() }

Oto porównanie strat walidacji oryginalnej sieci i mniejszej sieci.

rr plot_training_losses(losses = list( original_model = original_hist\(metrics\)val_loss, smaller_model = smaller_model_hist\(metrics\)val_loss ))

Jak widać, mniejsza sieć zaczęła ulegać nadmiernemu dopasowaniu (przeuczeniu) później niż nasz początkowy model (po sześciu, a nie po czterech epokach), a dodatkowo po przekroczeniu punktu przeuczenia wydajność mniejszego modelu ulega wolniejszej degradacji.

Spróbujmy przeanalizować w tym kontekście działanie sieci o znacznie większej pojemności (przekraczającej potrzeby problemu).

rr bigger_model <- keras_model_sequential() %>% layer_dense(units = 512, activation = , input_shape = c(10000)) %>% layer_dense(units = 512, activation = ) %>% layer_dense(units = 1, activation = ) bigger_model %>% compile( optimizer = , loss = _crossentropy, metrics = c(‘acc’) )

Oto porównanie wydajność zbyt dużej sieci i naszego początkowego modelu:

rr plot_training_losses(losses = list( original_model = original_hist\(metrics\)val_loss, bigger_model = bigger_model_hist\(metrics\)val_loss ))

Większa sieć praktycznie od razu ulega nadmiernemu dopasowaniu — po zaledwie jednej epoce. Dodatkowo jej nadmierne dopasowanie jest jeszcze większe, a strata walidacji bardziej zaszumiona.

Porównajmy straty procesu trenowania dwóch sieci

rr plot_training_losses(losses = list( original_model = original_hist\(metrics\)loss, bigger_model = bigger_model_hist\(metrics\)loss ))

Widać, że większa sieć bardzo szybko uzyskuje praktycznie zerową wartość straty treningowej. Im większa jest pojemność sieci, tym szybciej modelowane są dane treningowe (uzyskiwana jest niska wartość straty treningowej), ale wzrasta wówczas podatność na nadmierne dopasowanie (powstaje duża różnica między stratą treningową a stratą walidacji).

Dodawanie regularyzacji wag

Czy znasz zasadę brzytwy Ockhama? Według niej, jeżeli istnieją dwa wyjaśnienia jakiejś teorii, to najprawdopodobniej poprawnym wyjaśnieniem jest to, które jest prostsze — to, które czyni mniej założeń. Zasada ta sprawdza się również w kontekście modeli sieci neuronowych: jeżeli mamy dane treningowe, architekturę sieci i wiele zbiorów wartości wag (wiele modeli) opisujących dane, to prostsze modele są mniej podatne na nadmierne dopasowanie od tych, które są bardziej złożone.

Przyjmijmy, że za prostszy model uważamy model, którego rozkład wartości parametrów charakteryzuje się mniejszą entropią, lub model, który ma mniej parametrów. W związku z tym popularną techniką unikania nadmiernego dopasowania jest wymuszenie na modelu ograniczenia złożoności poprzez przyjmowanie tylko małych wartości wag, co sprawia, że rozkład wartości wag jest bardziej regularny. Zabieg ten określamy mianem regularyzacji wag. Implementuje się go poprzez dodanie do funkcji straty sieci kosztu związanego z dużymi wartościami wag. W praktyce można to zrobić na dwa sposoby:

  • Regularyzacja L1 — koszt jest dodawany proporcjonalnie do bezwzględnej wartości współczynników wag (normy L1 wag).
  • Regularyzacja L2 — koszt jest dodawany proporcjonalnie do kwadratu wartości współczynników wag (normy L2 wag). W kontekście sieci neuronowych regularyzacja L2 jest również określana mianem rozkładu wag. Pomimo innej nazwy jest to ten sam proces, który w matematyce określamy jako regularyzacja L2.

W pakiecie Keras regularyzację wag dodaje się poprzez przekazanie instancji regularyzatora wagi do warstw sieci za pomocą argumentu w formie słowa kluczowego. Dodajmy regularyzację L2 wag do sieci klasyfikatora recenzji filmów.

rr l2_model <- keras_model_sequential() %>% layer_dense(units = 16, kernel_regularizer = regularizer_l2(0.001), activation = , input_shape = c(10000)) %>% layer_dense(units = 16, kernel_regularizer = regularizer_l2(0.001), activation = ) %>% layer_dense(units = 1, activation = ) l2_model %>% compile( optimizer = , loss = _crossentropy, metrics = c() )

Argument regularizer_l2(0.001) oznacza, że każdy współczynnik macierzy wag warstwy doda wartość równą 0.001 * weight_coefficient_value (0,001 razy wartość współczynnika wagi) do całkowitej straty sieci. Kara ta jest dodawana tylko podczas trenowania, a więc strata sieci w czasie trenowania będzie o wiele wyższa niż w czasie testowania.

Wpływ kary w postaci regularyzacji L2:

rr plot_training_losses(losses = list( original_model = original_hist\(metrics\)val_loss, l2_model = l2_model_hist\(metrics\)val_loss ))

Jak widać, model z regularyzacją L2 stał się o wiele bardziej odporny na nadmierne dopasowanie od modelu referencyjnego pomimo tego, że oba modele charakteryzują się identyczną liczbą parametrów.

Zamiast regularyzacji L2 możesz korzystać również z innych mechanizmów regularyzacji obsługiwanych przez pakiet Keras.

rr # L1 regularization regularizer_l1(0.001) # L1 and L2 regularization at the same time regularizer_l1_l2(l1 = 0.001, l2 = 0.001)

Porzucanie — technika dropout

# Podczas trenowania porzucane jest 50% jednostek wyjściowych.
layer_output <- layer_output * sample(0:1, length(layer_output),
                                      replace = TRUE)  

Podczas testowania skalujemy wartości wyjściowe o współczynnik porzucania. W tym przypadku przeprowadzamy skalowanie o współczynnik 0,5 (wcześniej odrzucaliśmy połowę jednostek):

# W czasie testowania.
layer_output <- layer_output * 0.5 

Zauważ, że proces ten można zaimplementować, wykonując obie operacje podczas trenowania i pozostawiając dane wyjściowe bez zmian w czasie testowania. Rozwiązanie takie jest często używane w praktyce:

# W czasie trenowania.
layer_output <- layer_output * sample(0:1, length(layer_output),
                                      replace = TRUE) 

# layer_output <- layer_output / 0.5
layer_output <- layer_output / 0.5

Technika ta może wydawać się dziwna i chaotyczna. Jak ma pomóc w zmniejszeniu nadmiernego dopasowania? Hinton tworząc ją, inspirował się mechanizmami zapobiegającymi nadużyciom stosowanym przez banki. Stwierdził: „Pewnego dnia, gdy poszedłem do banku, zauważyłem, że osoby w okienkach często zmieniają swoje miejsca; pracownicy banku nie potrafili powiedzieć, dlaczego to robią, ale doszedłem do wniosku, że przy takiej rotacji wyłudzenie pieniędzy z banku wymagałoby współpracy wielu pracowników; wówczas zdałem sobie sprawę, że losowe usuwanie różnych podzbiorów neuronów podczas przetwarzania każdego przykładu zapobiegnie konspiracji i zredukuje nadmierne dopasowanie” . Główną ideą tej techniki jest wprowadzenie szumu do wartości wyjściowych warstwy w celu pozbycia się nieznaczących wzorców (Hinton określił je mianem „konspiracji”) — wprowadzenie szumu zapobiega zapamiętywaniu takich wzorców przez sieć.

W pakiecie Keras technikę tę można zastosować przy użyciu warstwy dropout, którą umieszcza się bezpośrednio za wyjściem znajdującej się wcześniej warstwy:

rr layer_dropout(rate = 0.5)

Dodajmy dwie warstwy dropout do sieci IMDB i zobaczmy, czy pomogą one w zredukowaniu nadmiernego dopasowania.

rr dpt_model <- keras_model_sequential() %>% layer_dense(units = 16, activation = , input_shape = c(10000)) %>% layer_dropout(rate = 0.5) %>% layer_dense(units = 16, activation = ) %>% layer_dropout(rate = 0.5) %>% layer_dense(units = 1, activation = ) dpt_model %>% compile( optimizer = , loss = _crossentropy, metrics = c() )

rr dpt_model_hist <- dpt_model %>% fit( x_train, y_train, epochs = 20, batch_size = 512, validation_data = list(x_test, y_test) )

Porównajmy wyniki na wykresie:

rr plot_training_losses(losses = list( original_model = original_hist\(metrics\)val_loss, dpt_model = dpt_model_hist\(metrics\)val_loss ))

Ponownie widać poprawę względem sieci referencyjnej.

Reasumując, oto najczęściej stosowane techniki mające zapobiec nadmiernemu dopasowaniu sieci neuronowych:

  • Zdobycie większej ilości danych treningowych.
  • Redukcja pojemności sieci.
  • Dodanie regularyzacji wag.
  • Dodanie mechanizmu porzucania.
LS0tDQp0aXRsZTogIk5hZG1pZXJuZSBkb3Bhc293YW5pZSINCm91dHB1dDogDQogIGh0bWxfbm90ZWJvb2s6IA0KICAgIHRoZW1lOiBjZXJ1bGVhbg0KICAgIGhpZ2hsaWdodDogdGV4dG1hdGUNCi0tLQ0KDQpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0NCmtuaXRyOjpvcHRzX2NodW5rJHNldCh3YXJuaW5nID0gRkFMU0UsIG1lc3NhZ2UgPSBGQUxTRSkNCmBgYA0KDQoNCldlIHdzenlzdGtpY2ggdHJ6ZWNoIHphcHJlemVudG93YW55Y2ggd2N6ZcWbbmllaiBwcnp5a8WCYWRhY2gg4oCUIHByemV3aWR5d2FuaXUgb2NlbnkgZmlsbXUsIGtsYXN5ZmlrYWNqaSB0ZW1hdHljem5laiBpIHJlZ3Jlc2ppIGNlbnkgbWllc3prYcWEIOKAlCB3eWRham5vxZvEhyBtb2RlbHUgcG9kY3phcyBwcnpldHdhcnphbmlhIG9kxYJvxbxvbmVnbyBuYSBib2sgd2FsaWRhY3lqbmVnbyB6YmlvcnUgZGFueWNoIHphd3N6ZSBwbyBraWxrdSBlcG9rYWNoIG9zacSFZ2HFgmEgd2FydG/Fm8SHIHN6Y3p5dG93xIUsIGEgbmFzdMSZcG5pZSB1bGVnYcWCYSBkZWdyYWRhY2ppIOKAlCBtb2RlbGUgemFjenluYcWCeSB1bGVnYcSHIG5hZG1pZXJuZW11IGRvcGFzb3dhbml1IGRvIGRhbnljaCB0cmVuaW5nb3d5Y2guIERvIG5hZG1pZXJuZWdvIGRvcGFzb3dhbmlhIG1vxbxlIGRvasWbxIcgcG9kY3phcyBwcmFjeSBuYWQgZG93b2xueW0gcHJvYmxlbWVtIHVjemVuaWEgbWFzenlub3dlZ28uIFByYWN1asSFYyB6IGFsZ29yeXRtYW1pIHVjemVuaWEgbWFzenlub3dlZ28sIG11c2lteSB3aWVkemllxIcsIGphayByYWR6acSHIHNvYmllIHogdHltIHByb2JsZW1lbS4NCg0KUG9kc3Rhd293eW0gcHJvYmxlbWVtIHVjemVuaWEgbWFzenlub3dlZ28gamVzdCBrb21wcm9taXMgbWnEmWR6eSBvcHR5bWFsaXphY2rEhSBhIHVvZ8OzbG5pYW5pZW0uIE9wdHltYWxpemFjamEgamVzdCBwcm9jZXNlbSBkb3N0cmFqYW5pYSBtb2RlbHUgdyBjZWx1IHV6eXNrYW5pYSBuYWpsZXBzemVqIG1vxbxsaXdlaiB3eWRham5vxZtjaSBuYSBkYW55Y2ggdHJlbmluZ293eWNoIChqZXN0IHRvIHByb2NlcyB1Y3plbmlhLCBvZCBrdMOzcmVnbyB3emnEmcWCYSBzacSZIG5hendhIHVjemVuaWUgbWFzenlub3dlKSwgYSB1b2fDs2xuaWFuaWUgb2R3b8WCdWplIHNpxJkgZG8gdGVnbywgamFrIGRvYnJ6ZSB3eXRyZW5vd2FueSBtb2RlbCBzcHJhd2R6YSBzacSZIHBvZGN6YXMgcHJ6ZXR3YXJ6YW5pYSBkYW55Y2gsIGt0w7NyeWNoIG5pZ2R5IG5pZSB3aWR6aWHFgi4gT2N6eXdpxZtjaWUgY2hjZW15IHV6eXNrYcSHIGphayBuYWpsZXBzesSFIHpkb2xub8WbxIcgbW9kZWx1IGRvIHVvZ8OzbG5pYW5pYSwgYWxlIG5pZSBtYW15IG5hIHRvIHdwxYJ5d3UgdyBzcG9zw7NiIGJlenBvxZtyZWRuaSwgcG9uaWV3YcW8IG1vZGVsIG1vxbxlbXkgbW9keWZpa293YcSHIHR5bGtvIG5hIGRhbnljaCB0cmVuaW5nb3d5Y2guDQoNCk5hIHBvY3rEhXRrdSB0cmVub3dhbmlhIG9wdHltYWxpemFjamEgaSB1b2fDs2xuaWFuaWUgc8SFIHplIHNvYsSFIHNrb3JlbG93YW5lIOKAlCBpbSBtbmllanN6YSBzdHJhdGEgbmEgZGFueWNoIHRyZW5pbmdvd3ljaCwgdHltIG1uaWVqc3phIHN0cmF0YSBuYSBkYW55Y2ggdGVzdG93eWNoLiBHZHkgdGFrYSBzeXR1YWNqYSBtYSBtaWVqc2NlLCBtYW15IGRvIGN6eW5pZW5pYSB6ZSB6Ynl0IHPFgmFieW0gZG9wYXNvd2FuaWVtIOKAlCBtb2RlbCBtb8W8ZSB6b3N0YcSHIGxlcGllaiBkb3Bhc293YW55LCBwb25pZXdhxbwgc2llxIcgbmllIGRva29uYcWCYSBqZXN6Y3plIG1vZGVsb3dhbmlhIHdzenlzdGtpY2ggd3pvcmPDs3cgem5hamR1asSFY3ljaCBzacSZIHcgZGFueWNoIHRyZW5pbmdvd3ljaCwgYWxlIHBvIHBld25laiBsaWN6YmllIGl0ZXJhY2ppIGFsZ29yeXRtdSBwcnpldHdhcnphasSFY2VnbyBkYW5lIHRyZW5pbmdvd2UgdW9nw7NsbmlhbmllIHByemVzdGFqZSB1bGVnYcSHIHBvcHJhd2llLCBhIG1ldHJ5a2Egd2FsaWRhY2ppIHByenlqbXVqZSB3YXJ0b8WbxIcgc3RhxYLEhSBsdWIgcG9nYXJzemEgc2nEmSDigJQgd8Ozd2N6YXMgbW9kZWwgemFjenluYSBkb3Bhc293eXdhxIcgc2nEmSBuYWRtaWVybmllLCBhIHdpxJljIHphY3p5bmEgdWN6ecSHIHNpxJkgd3pvcmPDs3csIGt0w7NyZSBzxIUgc3BlY3lmaWN6bmUgZGxhIGRhbnljaCB0cmVuaW5nb3d5Y2ggaSB3cHJvd2FkemFqxIUgdyBixYLEhWQgbHViIHPEhSBuaWVwcnp5ZGF0bmUgcG9kY3phcyBwcnpldHdhcnphbmlhIG5vd3ljaCBkYW55Y2guDQoNCkFieSB6YXBvYmllYyB1Y3plbml1IHNpxJkgcHJ6ZXogbW9kZWwgYsWCxJlkbnljaCBsdWIgemLEmWRueWNoIHd6b3Jjw7N3IHRyZW5pbmdvd2VnbyB6YmlvcnUgZGFueWNoLCBuYWpsZXBpZWogamVzdCB6ZWJyYcSHIHdpxJljZWogZGFueWNoIHRyZW5pbmdvd3ljaC4gVG8gZG/Fm8SHIG9jenl3aXN0ZSwgxbxlIG1vZGVsIHRyZW5vd2FueSBuYSB3acSZa3N6ZWogbGljemJpZSBvYnNlcndhY2ppIGLEmWR6aWUgemRvbG55IGRvIGxlcHN6ZWdvIHVvZ8OzbG5pYW5pYS4gSmXFm2xpIHRha2llIHJvendpxIV6YW5pZSBuaWUgamVzdCBtb8W8bGl3ZSwgbW/FvGVteSBtb2R1bG93YcSHIGlsb8WbxIcgaW5mb3JtYWNqaSwga3TDs3JlIG1vZGVsIG1vxbxlIHByemVjaG93eXdhxIcsIGx1YiBkb2RhxIcgb2dyYW5pY3plbmlhIGNvIGRvIG1vxbxsaXdvxZtjaSBwcnplY2hvd3l3YW5pYSBpbmZvcm1hY2ppIHByemV6IG1vZGVsLiBKZcW8ZWxpIHNpZcSHIG1vxbxlIHphcGFtacSZdGHEhyB0eWxrbyBuaWV3aWVsa8SFIGxpY3pixJkgd3pvcmPDs3csIHRvIHByb2NlcyBvcHR5bWFsaXphY2ppIHd5bXVzaSBza3VwaWVuaWUgc2nEmSBuYSBuYWp3YcW8bmllanN6eWNoIHd6b3JjYWNoLCBrdMOzcmUgbmFqcHJhd2RvcG9kb2JuaWVqIGxlcGllaiBzcHJhd2R6xIUgc2nEmSBwcnp5IHVvZ8OzbG5pYW5pdS4NCg0KUHJvY2VzIHdhbGtpIHogbmFkbWllcm55bSBkb3Bhc293YW5pZW0gb2tyZcWbbGFteSBtaWFuZW0gcmVndWxhcnl6YWNqaS4gQ2hjaWHFgmJ5bSBvcGlzYcSHIG5hanBvcHVsYXJuaWVqc3plIHRlY2huaWtpIHJlZ3VsYXJ5emFjamkgaSB6YXN0b3Nvd2HEhyBqZSB3IHByYWt0eWNlIHcgY2VsdSBwb3ByYXd5IGR6aWHFgmFuaWEgbW9kZWx1IGtsYXN5ZmlrYWNqaSBmaWxtw7N3IG9waXNhbmVnbyB3IHBvZHJvemR6aWFsZSAzLjQuDQoNCg0KVXdhZ2E6IFcgdHltIG5vdGF0bmlrdSB3IHJvbGkgemJpb3J1IHdhbGlkYWN5am5lZ28gdcW8eWplbXkgemJpb3J1IHRlc3Rvd2VnbyBJTURCLCBhbGUgbmllIG1hIHRvIHR1YWogem5hY3puZWlhLg0KDQpQcnp5Z290dWpteSBkYW5lIHphIHBvbW9jxIUga29kdSB6IHBvZHJvemRpemHFgnUgMy41Og0KDQpgYGB7cn0NCmxpYnJhcnkoa2VyYXMpDQoNCmltZGIgPC0gZGF0YXNldF9pbWRiKG51bV93b3JkcyA9IDEwMDAwKQ0KYyhjKHRyYWluX2RhdGEsIHRyYWluX2xhYmVscyksIGModGVzdF9kYXRhLCB0ZXN0X2xhYmVscykpICU8LSUgaW1kYg0KDQp2ZWN0b3JpemVfc2VxdWVuY2VzIDwtIGZ1bmN0aW9uKHNlcXVlbmNlcywgZGltZW5zaW9uID0gMTAwMDApIHsNCiAgIyBUd29yenlteSBtYWNpZXJ6IG8ga3N6dGHFgmNpZSAobGVuKHNlcXVlbmNlcyksIGRpbWVuc2lvbikuDQogIHJlc3VsdHMgPC0gbWF0cml4KDAsIG5yb3cgPSBsZW5ndGgoc2VxdWVuY2VzKSwgbmNvbCA9IGRpbWVuc2lvbikNCiAgZm9yIChpIGluIDE6bGVuZ3RoKHNlcXVlbmNlcykpDQogICAgIyBQcnp5cGlzdWplIHdhcnRvxZvEhyAxd3licmFueW0gaW5kZWtzb20gcmVzdWx0c1tpXS4NCiAgICByZXN1bHRzW2ksIHNlcXVlbmNlc1tbaV1dXSA8LSAxDQogIHJlc3VsdHMNCn0NCg0KIyBXZWt0b3IgZGFueWNoIHRyZW5pbmdvd3ljaC4NCnhfdHJhaW4gPC0gdmVjdG9yaXplX3NlcXVlbmNlcyh0cmFpbl9kYXRhKQ0KIyBXZWt0b3IgZGFueWNoIHRlc3Rvd3ljaA0KeF90ZXN0IDwtIHZlY3Rvcml6ZV9zZXF1ZW5jZXModGVzdF9kYXRhKQ0KDQojIFdla3RvciBldHlraWV0Lg0KeV90cmFpbiA8LSBhcy5udW1lcmljKHRyYWluX2xhYmVscykNCnlfdGVzdCA8LSBhcy5udW1lcmljKHRlc3RfbGFiZWxzKQ0KYGBgDQoNCiMgUHJ6ZWNpd2R6aWHFgmFuaWUgbmFkbWllcm5lbXUgZG9wYXNvd2FuaXUNCg0KIyMgUmVkdWtjamEgcm96bWlhcnUgc2llY2kNCg0KTmFqcHJvc3RzenltIHNwb3NvYmVtIHphcG9iaWVnYW5pYSBwb3dzdGF3YW5pdSBuYWRtaWVybmVnbyBkb3Bhc293YW5pYSBqZXN0IHptbmllanN6ZW5pZSByb3ptaWFydSBtb2RlbHU6IHptbmllanN6ZW5pZSBsaWN6YnkgdWN6b255Y2ggcGFyYW1ldHLDs3csIG5hIGt0w7NyxIUgd3DFgnl3YSBsaWN6YmEgd2Fyc3R3IGkgbGljemJhIGplZG5vc3RlayBqZSB0d29yesSFY3ljaC4gVyB1Y3plbml1IGfFgsSZYm9raW0gdWN6b25lIHBhcmFtZXRyeSBtb2RlbHUgY3rEmXN0byBva3JlxZtsYSBzacSZIG1pYW5lbSBwb2plbW5vxZtjaSBtb2RlbHUuIE1vZGVsIGR5c3BvbnVqxIVjeSB3acSZa3N6xIUgbGljemLEhSBwYXJhbWV0csOzdyBjaGFyYWt0ZXJ5enVqZSBzacSZIHdpxJlrc3rEhSBwb2plbW5vxZtjacSFIHBhbWnEmWNpLCBhIHdpxJljIG1vxbxlIMWCYXR3aWVqIHVjennEhyBzacSZIGRvc2tvbmHFgmVnbyBtYXBvd2FuaWEgZGFueWNoIHByenlwb21pbmFqxIVjZWdvIHN3eW0gZHppYcWCYW5pZW0gc8WCb3duaWsuIE1hcG93YW5pZSB0YWtpZSBuaWUgbWEgxbxhZG5laiB6ZG9sbm/Fm2NpIHVvZ8OzbG5pYW5pYS4gUHJ6eWvFgmFkb3d5IG1vZGVsIHogNTAwIDAwMCBwYXJhbWV0csOzdyBiaW5hcm55Y2ggbcOzZ8WCYnkgeiDFgmF0d2/Fm2NpxIUgbmF1Y3p5xIcgc2nEmSBrbGFzeSBrYcW8ZGVqIGN5ZnJ5IHdjaG9kesSFY2VqIHcgc2vFgmFkIHRyZW5pbmdvd2VnbyB6YmlvcnUgZGFueWNoIE1OSVNUOiBrYcW8ZGEgeiA1MCAwMDAgY3lmciBtb2fFgmFieSB6b3N0YcSHIG9waXNhbmEgcHJ6eSB1xbx5Y2l1IHphbGVkd2llIDEwIHBhcmFtZXRyw7N3IGJpbmFybnljaCwgYWxlIHRha2kgbW9kZWwgYnnFgmJ5IHp1cGXFgm5pZSBuaWVwcnp5ZGF0bnkgcG9kY3phcyBrbGFzeWZpa2Fjamkgbm93eWNoIHByw7NiZWsuIE11c2lzeiBwYW1pxJl0YcSHIG8gdHltLCDFvGUgbW9kZWxlIHVjemVuaWEgZ8WCxJlib2tpZWdvIG1hasSFIHRlbmRlbmNqxJkgZG8gZG9wYXNvd3l3YW5pYSBzacSZIGRvIGRhbnljaCB0cmVuaW5nb3d5Y2gsIGFsZSBUd29pbSBjZWxlbSBqZXN0IG9zacSFZ25pxJljaWUgbW9kZWx1IHpkb2xuZWdvIGRvIGphayBuYWpsZXBzenljaCB1b2fDs2xuaWXFhCwgYSBuaWUgbW9kZWx1IG1ha3N5bWFsbmllIGRvcGFzb3dhbmVnbyBkbyBkYW55Y2ggdHJlbmluZ293eWNoLg0KDQpKZcW8ZWxpIHNpZcSHIGR5c3BvbnVqZSB6Ynl0IG1hxYLEhSB6ZG9sbm/Fm2NpxIUgemFwYW1pxJl0eXdhbmlhLCB0byBuaWUgYsSZZHppZSB3IHN0YW5pZSB0YWsgxYJhdHdvIG5hdWN6ecSHIHNpxJkgYmV6cG/Fm3JlZG5pZWdvIG1hcG93YW5pYSwgYSB3acSZYyB3IGNlbHUgbWluaW1hbGl6YWNqaSBzdHJhdCBixJlkemllIG11c2lhxYJhIHVjennEhyBzacSZIHNrb21wcmVzb3dhbnljaCByZXByZXplbnRhY2ppLCBjbyBwb3p3b2xpIG1vZGVsb3dpIG5hYnnEhyB1bWllasSZdG5vxZtjaSBwcnpld2lkeXdhbmlhLCBhIG8gdG8gbmFtIHfFgmHFm25pZSBjaG9kemkuIEplZG5vY3plxZtuaWUgbmFsZcW8eSBwYW1pxJl0YcSHIG8gdHltLCDFvGUgbW9kZWxlIHBvd2lubnkgbWllxIcgbmEgdHlsZSBkdcW8byBwYXJhbWV0csOzdywgYWJ5IG5pZSB1bGVjIHpieXQgc8WCYWJlbXUgZG9wYXNvd2FuaXUg4oCUIG1vZGVsIG5pZSBwb3dpbmllbiBjaWVycGllxIcgeiBwb3dvZHUgYnJha3UgbW/FvGxpd2/Fm2NpIHphcGFtacSZdHl3YW5pYSBrb2xlam55Y2ggY2VjaC4gVHJ6ZWJhIHpuYWxlxbrEhyBrb21wcm9taXMgbWnEmWR6eSB6Ynl0IGR1xbzEhSBwb2plbW5vxZtjacSFIGEgemJ5dCBtYcWCxIUgcG9qZW1ub8WbY2nEhS4NCg0KTmllc3RldHkgbmllIG1hIMW8YWRuZWdvIG1hZ2ljem5lZ28gd3pvcnUgdW1vxbxsaXdpYWrEhWNlZ28gb2tyZcWbbGVuaWUgd8WCYcWbY2l3ZWogbGljemJ5IHdhcnN0dyBpIG9kcG93aWVkbmljaCByb3ptaWFyw7N3IHBvc3pjemVnw7NsbnljaCB3YXJzdHcuIFcgY2VsdSB6bmFsZXppZW5pYSBtb2RlbHUgb3B0eW1hbG5lZ28geiBwdW5rdHUgd2lkemVuaWEgYW5hbGl6b3dhbnljaCBkYW55Y2ggbmFsZcW8eSBzcHJhd2R6acSHIGR6aWHFgmFuaWUgemVzdGF3dSByw7PFvG55Y2ggYXJjaGl0ZWt0dXIgKG9jenl3acWbY2llIHRyemViYSB0byByb2JpxIcgbmEgemJpb3J6ZSB3YWxpZGFjeWpueW0sIGEgbmllIHRlc3Rvd3ltKS4gU3p1a2FuaWUgb2Rwb3dpZWRuaWVnbyBtb2RlbHUgbmFsZcW8eSB6YWN6xIXEhyBvZCBuaWV3aWVsa2llaiBsaWN6Ynkgd2Fyc3R3IGkgcGFyYW1ldHLDs3csIGEgbmFzdMSZcG5pZSB6d2nEmWtzemHEhyByb3ptaWFyeSBpc3RuaWVqxIVjeWNoIHdhcnN0dyBpIHN0b3BuaW93byBkb2Rhd2HEhyBub3dlLCBvYnNlcnd1asSFYyBzcGFkZWsgd2FydG/Fm2NpIHN0cmF0eSBva3JlxZtsYW5laiB3IHByb2Nlc2llIHdhbGlkYWNqaS4NCg0KU3Byw7NidWpteSB6YXN0b3Nvd2HEhyB0byByb3p3acSFemFuaWUgdyBrb250ZWvFm2NpZSBzaWVjaSBrbGFzeWZpa3VqxIVjZWogcmVjZW56amUgZmlsbcOzdy4gT3RvIGtvZCBvcnlnaW5hbG5laiBzaWVjaToNCg0KDQpgYGB7cn0NCm9yaWdpbmFsX21vZGVsIDwtIGtlcmFzX21vZGVsX3NlcXVlbnRpYWwoKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gMTYsIGFjdGl2YXRpb24gPSAicmVsdSIsIGlucHV0X3NoYXBlID0gYygxMDAwMCkpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSAxNiwgYWN0aXZhdGlvbiA9ICJyZWx1IikgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDEsIGFjdGl2YXRpb24gPSAic2lnbW9pZCIpDQoNCm9yaWdpbmFsX21vZGVsICU+JSBjb21waWxlKA0KICBvcHRpbWl6ZXIgPSAicm1zcHJvcCIsDQogIGxvc3MgPSAiYmluYXJ5X2Nyb3NzZW50cm9weSIsDQogIG1ldHJpY3MgPSBjKCJhY2N1cmFjeSIpDQopDQpgYGANCg0KU3Byw7NidWpteSB6YXN0xIVwacSHIHRlbiBtb2RlbCBwcm9zdHN6xIUgc2llY2nEhSBuZXVyb25vd8SFOg0KDQpgYGB7cn0NCnNtYWxsZXJfbW9kZWwgPC0ga2VyYXNfbW9kZWxfc2VxdWVudGlhbCgpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSA0LCBhY3RpdmF0aW9uID0gInJlbHUiLCBpbnB1dF9zaGFwZSA9IGMoMTAwMDApKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gNCwgYWN0aXZhdGlvbiA9ICJyZWx1IikgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDEsIGFjdGl2YXRpb24gPSAic2lnbW9pZCIpDQoNCnNtYWxsZXJfbW9kZWwgJT4lIGNvbXBpbGUoDQogIG9wdGltaXplciA9ICJybXNwcm9wIiwNCiAgbG9zcyA9ICJiaW5hcnlfY3Jvc3NlbnRyb3B5IiwNCiAgbWV0cmljcyA9IGMoImFjY3VyYWN5IikNCikNCmBgYA0KDQpXeXRyZW51am15IG9iaWUgc2llY2k6DQoNCmBgYHtyLCBlY2hvPUZBTFNFLCByZXN1bHRzPSdoaWRlJ30NCm9yaWdpbmFsX2hpc3QgPC0gb3JpZ2luYWxfbW9kZWwgJT4lIGZpdCgNCiAgeF90cmFpbiwgeV90cmFpbiwNCiAgZXBvY2hzID0gMjAsDQogIGJhdGNoX3NpemUgPSA1MTIsDQogIHZhbGlkYXRpb25fZGF0YSA9IGxpc3QoeF90ZXN0LCB5X3Rlc3QpDQopDQpgYGANCg0KYGBge3IsIGVjaG89RkFMU0UsIHJlc3VsdHM9J2hpZGUnfQ0Kc21hbGxlcl9tb2RlbF9oaXN0IDwtIHNtYWxsZXJfbW9kZWwgJT4lIGZpdCgNCiAgeF90cmFpbiwgeV90cmFpbiwNCiAgZXBvY2hzID0gMjAsDQogIGJhdGNoX3NpemUgPSA1MTIsDQogIHZhbGlkYXRpb25fZGF0YSA9IGxpc3QoeF90ZXN0LCB5X3Rlc3QpDQopDQpgYGANCg0KDQpGdW5rY2phIHBvbW9tYWdhamFjYSB3IHBvcsOzd25hbml1IHN0cmF0Og0KDQpgYGB7cn0NCmxpYnJhcnkoZ2dwbG90MikNCmxpYnJhcnkodGlkeXIpDQpwbG90X3RyYWluaW5nX2xvc3NlcyA8LSBmdW5jdGlvbihsb3NzZXMpIHsNCiAgbG9zc19uYW1lcyA8LSBuYW1lcyhsb3NzZXMpDQogIGxvc3NlcyA8LSBhcy5kYXRhLmZyYW1lKGxvc3NlcykNCiAgbG9zc2VzJGVwb2NoIDwtIHNlcV9sZW4obnJvdyhsb3NzZXMpKQ0KICBsb3NzZXMgJT4lIA0KICAgIGdhdGhlcihtb2RlbCwgbG9zcywgbG9zc19uYW1lc1tbMV1dLCBsb3NzX25hbWVzW1syXV0pICU+JSANCiAgICBnZ3Bsb3QoYWVzKHggPSBlcG9jaCwgeSA9IGxvc3MsIGNvbG91ciA9IG1vZGVsKSkgKw0KICAgIGdlb21fcG9pbnQoKQ0KfQ0KYGBgYA0KDQpPdG8gcG9yw7N3bmFuaWUgc3RyYXQgd2FsaWRhY2ppIG9yeWdpbmFsbmVqIHNpZWNpIGkgbW5pZWpzemVqIHNpZWNpLiANCg0KYGBge3J9DQpwbG90X3RyYWluaW5nX2xvc3Nlcyhsb3NzZXMgPSBsaXN0KA0KICBvcmlnaW5hbF9tb2RlbCA9IG9yaWdpbmFsX2hpc3QkbWV0cmljcyR2YWxfbG9zcywNCiAgc21hbGxlcl9tb2RlbCA9IHNtYWxsZXJfbW9kZWxfaGlzdCRtZXRyaWNzJHZhbF9sb3NzDQopKQ0KYGBgDQoNCg0KSmFrIHdpZGHEhywgbW5pZWpzemEgc2llxIcgemFjesSZxYJhIHVsZWdhxIcgbmFkbWllcm5lbXUgZG9wYXNvd2FuaXUgKHByemV1Y3plbml1KSBww7PFum5pZWogbmnFvCBuYXN6IHBvY3rEhXRrb3d5IG1vZGVsIChwbyBzemXFm2NpdSwgYSBuaWUgcG8gY3p0ZXJlY2ggZXBva2FjaCksIGEgZG9kYXRrb3dvIHBvIHByemVrcm9jemVuaXUgcHVua3R1IHByemV1Y3plbmlhIHd5ZGFqbm/Fm8SHIG1uaWVqc3plZ28gbW9kZWx1IHVsZWdhIHdvbG5pZWpzemVqIGRlZ3JhZGFjamkuDQoNClNwcsOzYnVqbXkgcHJ6ZWFuYWxpem93YcSHIHcgdHltIGtvbnRla8WbY2llIGR6aWHFgmFuaWUgc2llY2kgbyB6bmFjem5pZSB3acSZa3N6ZWogcG9qZW1ub8WbY2kgKHByemVrcmFjemFqxIVjZWogcG90cnplYnkgcHJvYmxlbXUpLg0KDQpgYGB7cn0NCmJpZ2dlcl9tb2RlbCA8LSBrZXJhc19tb2RlbF9zZXF1ZW50aWFsKCkgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDUxMiwgYWN0aXZhdGlvbiA9ICJyZWx1IiwgaW5wdXRfc2hhcGUgPSBjKDEwMDAwKSkgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDUxMiwgYWN0aXZhdGlvbiA9ICJyZWx1IikgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDEsIGFjdGl2YXRpb24gPSAic2lnbW9pZCIpDQoNCmJpZ2dlcl9tb2RlbCAlPiUgY29tcGlsZSgNCiAgb3B0aW1pemVyID0gInJtc3Byb3AiLA0KICBsb3NzID0gImJpbmFyeV9jcm9zc2VudHJvcHkiLA0KICBtZXRyaWNzID0gYygnYWNjJykNCikNCmBgYA0KDQpgYGB7ciwgZWNobz1GQUxTRSwgcmVzdWx0cz0naGlkZSd9DQpiaWdnZXJfbW9kZWxfaGlzdCA8LSBiaWdnZXJfbW9kZWwgJT4lIGZpdCgNCiAgeF90cmFpbiwgeV90cmFpbiwNCiAgZXBvY2hzID0gMjAsDQogIGJhdGNoX3NpemUgPSA1MTIsDQogIHZhbGlkYXRpb25fZGF0YSA9IGxpc3QoeF90ZXN0LCB5X3Rlc3QpDQopDQpgYGANCg0KT3RvIHBvcsOzd25hbmllIHd5ZGFqbm/Fm8SHIHpieXQgZHXFvGVqIHNpZWNpIGkgbmFzemVnbyBwb2N6xIV0a293ZWdvIG1vZGVsdToNCg0KYGBge3J9DQpwbG90X3RyYWluaW5nX2xvc3Nlcyhsb3NzZXMgPSBsaXN0KA0KICBvcmlnaW5hbF9tb2RlbCA9IG9yaWdpbmFsX2hpc3QkbWV0cmljcyR2YWxfbG9zcywNCiAgYmlnZ2VyX21vZGVsID0gYmlnZ2VyX21vZGVsX2hpc3QkbWV0cmljcyR2YWxfbG9zcw0KKSkNCmBgYA0KDQpXacSZa3N6YSBzaWXEhyBwcmFrdHljem5pZSBvZCByYXp1IHVsZWdhIG5hZG1pZXJuZW11IGRvcGFzb3dhbml1IOKAlCBwbyB6YWxlZHdpZSBqZWRuZWogZXBvY2UuIERvZGF0a293byBqZWogbmFkbWllcm5lIGRvcGFzb3dhbmllIGplc3QgamVzemN6ZSB3acSZa3N6ZSwgYSBzdHJhdGEgd2FsaWRhY2ppIGJhcmR6aWVqIHphc3p1bWlvbmEuDQoNClBvcsOzd25ham15IHN0cmF0eSBwcm9jZXN1IHRyZW5vd2FuaWEgZHfDs2NoIHNpZWNpDQoNCmBgYHtyfQ0KcGxvdF90cmFpbmluZ19sb3NzZXMobG9zc2VzID0gbGlzdCgNCiAgb3JpZ2luYWxfbW9kZWwgPSBvcmlnaW5hbF9oaXN0JG1ldHJpY3MkbG9zcywNCiAgYmlnZ2VyX21vZGVsID0gYmlnZ2VyX21vZGVsX2hpc3QkbWV0cmljcyRsb3NzDQopKQ0KYGBgDQoNCldpZGHEhywgxbxlIHdpxJlrc3phIHNpZcSHIGJhcmR6byBzenlia28gdXp5c2t1amUgcHJha3R5Y3puaWUgemVyb3fEhSB3YXJ0b8WbxIcgc3RyYXR5IHRyZW5pbmdvd2VqLiBJbSB3acSZa3N6YSBqZXN0IHBvamVtbm/Fm8SHIHNpZWNpLCB0eW0gc3p5YmNpZWogbW9kZWxvd2FuZSBzxIUgZGFuZSB0cmVuaW5nb3dlICh1enlza2l3YW5hIGplc3Qgbmlza2Egd2FydG/Fm8SHIHN0cmF0eSB0cmVuaW5nb3dlaiksIGFsZSB3enJhc3RhIHfDs3djemFzIHBvZGF0bm/Fm8SHIG5hIG5hZG1pZXJuZSBkb3Bhc293YW5pZSAocG93c3RhamUgZHXFvGEgcsOzxbxuaWNhIG1pxJlkenkgc3RyYXTEhSB0cmVuaW5nb3fEhSBhIHN0cmF0xIUgd2FsaWRhY2ppKS4NCg0KIyMgRG9kYXdhbmllIHJlZ3VsYXJ5emFjamkgd2FnDQoNCg0KQ3p5IHpuYXN6IHphc2FkxJkgYnJ6eXR3eSBPY2toYW1hPyBXZWTFgnVnIG5pZWosIGplxbxlbGkgaXN0bmllasSFIGR3YSB3eWphxZtuaWVuaWEgamFraWVqxZsgdGVvcmlpLCB0byBuYWpwcmF3ZG9wb2RvYm5pZWogcG9wcmF3bnltIHd5amHFm25pZW5pZW0gamVzdCB0bywga3TDs3JlIGplc3QgcHJvc3RzemUg4oCUIHRvLCBrdMOzcmUgY3p5bmkgbW5pZWogemHFgm/FvGXFhC4gWmFzYWRhIHRhIHNwcmF3ZHphIHNpxJkgcsOzd25pZcW8IHcga29udGVrxZtjaWUgbW9kZWxpIHNpZWNpIG5ldXJvbm93eWNoOiBqZcW8ZWxpIG1hbXkgZGFuZSB0cmVuaW5nb3dlLCBhcmNoaXRla3R1csSZIHNpZWNpIGkgd2llbGUgemJpb3LDs3cgd2FydG/Fm2NpIHdhZyAod2llbGUgbW9kZWxpKSBvcGlzdWrEhWN5Y2ggZGFuZSwgdG8gcHJvc3RzemUgbW9kZWxlIHPEhSBtbmllaiBwb2RhdG5lIG5hIG5hZG1pZXJuZSBkb3Bhc293YW5pZSBvZCB0eWNoLCBrdMOzcmUgc8SFIGJhcmR6aWVqIHrFgm/FvG9uZS4NCg0KUHJ6eWptaWpteSwgxbxlIHphIHByb3N0c3p5IG1vZGVsIHV3YcW8YW15IG1vZGVsLCBrdMOzcmVnbyByb3prxYJhZCB3YXJ0b8WbY2kgcGFyYW1ldHLDs3cgY2hhcmFrdGVyeXp1amUgc2nEmSBtbmllanN6xIUgZW50cm9wacSFLCBsdWIgbW9kZWwsIGt0w7NyeSBtYSBtbmllaiBwYXJhbWV0csOzdy4gVyB6d2nEhXprdSB6IHR5bSBwb3B1bGFybsSFIHRlY2huaWvEhSB1bmlrYW5pYSBuYWRtaWVybmVnbyBkb3Bhc293YW5pYSBqZXN0IHd5bXVzemVuaWUgbmEgbW9kZWx1IG9ncmFuaWN6ZW5pYSB6xYJvxbxvbm/Fm2NpIHBvcHJ6ZXogcHJ6eWptb3dhbmllIHR5bGtvIG1hxYJ5Y2ggd2FydG/Fm2NpIHdhZywgY28gc3ByYXdpYSwgxbxlIHJvemvFgmFkIHdhcnRvxZtjaSB3YWcgamVzdCBiYXJkemllaiByZWd1bGFybnkuIFphYmllZyB0ZW4gb2tyZcWbbGFteSBtaWFuZW0gcmVndWxhcnl6YWNqaSB3YWcuIEltcGxlbWVudHVqZSBzacSZIGdvIHBvcHJ6ZXogZG9kYW5pZSBkbyBmdW5rY2ppIHN0cmF0eSBzaWVjaSBrb3N6dHUgendpxIV6YW5lZ28geiBkdcW8eW1pIHdhcnRvxZtjaWFtaSB3YWcuIFcgcHJha3R5Y2UgbW/FvG5hIHRvIHpyb2JpxIcgbmEgZHdhIHNwb3NvYnk6DQoNCiogUmVndWxhcnl6YWNqYSBMMSDigJQga29zenQgamVzdCBkb2Rhd2FueSBwcm9wb3Jjam9uYWxuaWUgZG8gYmV6d3pnbMSZZG5laiB3YXJ0b8WbY2kgd3Nww7PFgmN6eW5uaWvDs3cgd2FnIChub3JteSBMMSB3YWcpLg0KKiBSZWd1bGFyeXphY2phIEwyIOKAlCBrb3N6dCBqZXN0IGRvZGF3YW55IHByb3BvcmNqb25hbG5pZSBkbyBrd2FkcmF0dSB3YXJ0b8WbY2kgd3Nww7PFgmN6eW5uaWvDs3cgd2FnIChub3JteSBMMiB3YWcpLiBXIGtvbnRla8WbY2llIHNpZWNpIG5ldXJvbm93eWNoIHJlZ3VsYXJ5emFjamEgTDIgamVzdCByw7N3bmllxbwgb2tyZcWbbGFuYSBtaWFuZW0gcm96a8WCYWR1IHdhZy4gUG9taW1vIGlubmVqIG5hend5IGplc3QgdG8gdGVuIHNhbSBwcm9jZXMsIGt0w7NyeSB3IG1hdGVtYXR5Y2Ugb2tyZcWbbGFteSBqYWtvIHJlZ3VsYXJ5emFjamEgTDIuDQoNClcgcGFraWVjaWUgS2VyYXMgcmVndWxhcnl6YWNqxJkgd2FnIGRvZGFqZSBzacSZIHBvcHJ6ZXogcHJ6ZWthemFuaWUgaW5zdGFuY2ppIHJlZ3VsYXJ5emF0b3JhIHdhZ2kgZG8gd2Fyc3R3IHNpZWNpIHphIHBvbW9jxIUgYXJndW1lbnR1IHcgZm9ybWllIHPFgm93YSBrbHVjem93ZWdvLiBEb2Rham15IHJlZ3VsYXJ5emFjasSZIEwyIHdhZyBkbyBzaWVjaSBrbGFzeWZpa2F0b3JhIHJlY2VuemppIGZpbG3Ds3cuDQoNCmBgYHtyfQ0KbDJfbW9kZWwgPC0ga2VyYXNfbW9kZWxfc2VxdWVudGlhbCgpICU+JSANCiAgbGF5ZXJfZGVuc2UodW5pdHMgPSAxNiwga2VybmVsX3JlZ3VsYXJpemVyID0gcmVndWxhcml6ZXJfbDIoMC4wMDEpLA0KICAgICAgICAgICAgICBhY3RpdmF0aW9uID0gInJlbHUiLCBpbnB1dF9zaGFwZSA9IGMoMTAwMDApKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gMTYsIGtlcm5lbF9yZWd1bGFyaXplciA9IHJlZ3VsYXJpemVyX2wyKDAuMDAxKSwNCiAgICAgICAgICAgICAgYWN0aXZhdGlvbiA9ICJyZWx1IikgJT4lIA0KICBsYXllcl9kZW5zZSh1bml0cyA9IDEsIGFjdGl2YXRpb24gPSAic2lnbW9pZCIpDQoNCmwyX21vZGVsICU+JSBjb21waWxlKA0KICBvcHRpbWl6ZXIgPSAicm1zcHJvcCIsDQogIGxvc3MgPSAiYmluYXJ5X2Nyb3NzZW50cm9weSIsDQogIG1ldHJpY3MgPSBjKCJhY2MiKQ0KKQ0KYGBgDQoNCkFyZ3VtZW50IHJlZ3VsYXJpemVyX2wyKDAuMDAxKSBvem5hY3phLCDFvGUga2HFvGR5IHdzcMOzxYJjenlubmlrIG1hY2llcnp5IHdhZyB3YXJzdHd5IGRvZGEgd2FydG/Fm8SHIHLDs3duxIUgMC4wMDEgKiB3ZWlnaHRfY29lZmZpY2llbnRfdmFsdWUgKDAsMDAxIHJhenkgd2FydG/Fm8SHIHdzcMOzxYJjenlubmlrYSB3YWdpKSBkbyBjYcWCa293aXRlaiBzdHJhdHkgc2llY2kuIEthcmEgdGEgamVzdCBkb2Rhd2FuYSB0eWxrbyBwb2RjemFzIHRyZW5vd2FuaWEsIGEgd2nEmWMgc3RyYXRhIHNpZWNpIHcgY3phc2llIHRyZW5vd2FuaWEgYsSZZHppZSBvIHdpZWxlIHd5xbxzemEgbmnFvCB3IGN6YXNpZSB0ZXN0b3dhbmlhLg0KDQpXcMWCeXcga2FyeSB3IHBvc3RhY2kgcmVndWxhcnl6YWNqaSBMMjoNCg0KYGBge3IsIGVjaG89RkFMU0UsIHJlc3VsdHM9J2hpZGUnfQ0KbDJfbW9kZWxfaGlzdCA8LSBsMl9tb2RlbCAlPiUgZml0KA0KICB4X3RyYWluLCB5X3RyYWluLA0KICBlcG9jaHMgPSAyMCwNCiAgYmF0Y2hfc2l6ZSA9IDUxMiwNCiAgdmFsaWRhdGlvbl9kYXRhID0gbGlzdCh4X3Rlc3QsIHlfdGVzdCkNCikNCmBgYA0KDQpgYGB7cn0NCnBsb3RfdHJhaW5pbmdfbG9zc2VzKGxvc3NlcyA9IGxpc3QoDQogIG9yaWdpbmFsX21vZGVsID0gb3JpZ2luYWxfaGlzdCRtZXRyaWNzJHZhbF9sb3NzLA0KICBsMl9tb2RlbCA9IGwyX21vZGVsX2hpc3QkbWV0cmljcyR2YWxfbG9zcw0KKSkNCmBgYA0KDQpKYWsgd2lkYcSHLCBtb2RlbCB6IHJlZ3VsYXJ5emFjasSFIEwyIHN0YcWCIHNpxJkgbyB3aWVsZSBiYXJkemllaiBvZHBvcm55IG5hIG5hZG1pZXJuZSBkb3Bhc293YW5pZSBvZCBtb2RlbHUgcmVmZXJlbmN5am5lZ28gcG9taW1vIHRlZ28sIMW8ZSBvYmEgbW9kZWxlIGNoYXJha3Rlcnl6dWrEhSBzacSZIGlkZW50eWN6bsSFIGxpY3pixIUgcGFyYW1ldHLDs3cuDQoNClphbWlhc3QgcmVndWxhcnl6YWNqaSBMMiBtb8W8ZXN6IGtvcnp5c3RhxIcgcsOzd25pZcW8IHogaW5ueWNoIG1lY2hhbml6bcOzdyByZWd1bGFyeXphY2ppIG9ic8WCdWdpd2FueWNoIHByemV6IHBha2lldCBLZXJhcy4NCg0KYGBge3IsIGVjaG89VFJVRSwgcmVzdWx0cz0naGlkZSd9DQojIFJlZ3VsYXJ5emFjamEgTDEuDQpyZWd1bGFyaXplcl9sMSgwLjAwMSkNCg0KIyBKZWRub2N6ZXNuYSByZWd1bGFyeXphY2phIEwxIGkgTDIuDQpyZWd1bGFyaXplcl9sMV9sMihsMSA9IDAuMDAxLCBsMiA9IDAuMDAxKQ0KYGBgDQoNCiMjIFBvcnp1Y2FuaWUg4oCUIHRlY2huaWthIGRyb3BvdXQNCg0KYGBge3IsIGV2YWw9RkFMU0V9DQojIFBvZGN6YXMgdHJlbm93YW5pYSBwb3J6dWNhbmUgamVzdCA1MCUgamVkbm9zdGVrIHd5asWbY2lvd3ljaC4NCmxheWVyX291dHB1dCA8LSBsYXllcl9vdXRwdXQgKiBzYW1wbGUoMDoxLCBsZW5ndGgobGF5ZXJfb3V0cHV0KSwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmVwbGFjZSA9IFRSVUUpICANCmBgYA0KDQpQb2RjemFzIHRlc3Rvd2FuaWEgc2thbHVqZW15IHdhcnRvxZtjaSB3eWrFm2Npb3dlIG8gd3Nww7PFgmN6eW5uaWsgcG9yenVjYW5pYS4gVyB0eW0gcHJ6eXBhZGt1IHByemVwcm93YWR6YW15IHNrYWxvd2FuaWUgbyB3c3DDs8WCY3p5bm5payAwLDUgKHdjemXFm25pZWogb2RyenVjYWxpxZtteSBwb8WCb3fEmSBqZWRub3N0ZWspOg0KDQpgYGB7ciwgZXZhbD1GQUxTRX0NCiMgVyBjemFzaWUgdGVzdG93YW5pYS4NCmxheWVyX291dHB1dCA8LSBsYXllcl9vdXRwdXQgKiAwLjUgDQpgYGANCg0KWmF1d2HFvCwgxbxlIHByb2NlcyB0ZW4gbW/FvG5hIHphaW1wbGVtZW50b3dhxIcsIHd5a29udWrEhWMgb2JpZSBvcGVyYWNqZSBwb2RjemFzIHRyZW5vd2FuaWEgaSBwb3pvc3Rhd2lhasSFYyBkYW5lIHd5asWbY2lvd2UgYmV6IHptaWFuIHcgY3phc2llIHRlc3Rvd2FuaWEuIFJvendpxIV6YW5pZSB0YWtpZSBqZXN0IGN6xJlzdG8gdcW8eXdhbmUgdyBwcmFrdHljZToNCg0KYGBge3IsIGV2YWw9RkFMU0V9DQojIFcgY3phc2llIHRyZW5vd2FuaWEuDQpsYXllcl9vdXRwdXQgPC0gbGF5ZXJfb3V0cHV0ICogc2FtcGxlKDA6MSwgbGVuZ3RoKGxheWVyX291dHB1dCksDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJlcGxhY2UgPSBUUlVFKSANCg0KIyBsYXllcl9vdXRwdXQgPC0gbGF5ZXJfb3V0cHV0IC8gMC41DQpsYXllcl9vdXRwdXQgPC0gbGF5ZXJfb3V0cHV0IC8gMC41DQpgYGANCg0KVGVjaG5pa2EgdGEgbW/FvGUgd3lkYXdhxIcgc2nEmSBkeml3bmEgaSBjaGFvdHljem5hLiBKYWsgbWEgcG9tw7NjIHcgem1uaWVqc3plbml1IG5hZG1pZXJuZWdvIGRvcGFzb3dhbmlhPyBIaW50b24gdHdvcnrEhWMgasSFLCBpbnNwaXJvd2HFgiBzacSZIG1lY2hhbml6bWFtaSB6YXBvYmllZ2FqxIVjeW1pIG5hZHXFvHljaW9tIHN0b3Nvd2FueW0gcHJ6ZXogYmFua2kuIFN0d2llcmR6acWCOiDigJ5QZXduZWdvIGRuaWEsIGdkeSBwb3N6ZWTFgmVtIGRvIGJhbmt1LCB6YXV3YcW8ecWCZW0sIMW8ZSBvc29ieSB3IG9raWVua2FjaCBjesSZc3RvIHptaWVuaWFqxIUgc3dvamUgbWllanNjYTsgcHJhY293bmljeSBiYW5rdSBuaWUgcG90cmFmaWxpIHBvd2llZHppZcSHLCBkbGFjemVnbyB0byByb2JpxIUsIGFsZSBkb3N6ZWTFgmVtIGRvIHduaW9za3UsIMW8ZSBwcnp5IHRha2llaiByb3RhY2ppIHd5xYJ1ZHplbmllIHBpZW5pxJlkenkgeiBiYW5rdSB3eW1hZ2HFgm9ieSB3c3DDs8WCcHJhY3kgd2llbHUgcHJhY293bmlrw7N3OyB3w7N3Y3phcyB6ZGHFgmVtIHNvYmllIHNwcmF3xJksIMW8ZSBsb3Nvd2UgdXN1d2FuaWUgcsOzxbxueWNoIHBvZHpiaW9yw7N3IG5ldXJvbsOzdyBwb2RjemFzIHByemV0d2FyemFuaWEga2HFvGRlZ28gcHJ6eWvFgmFkdSB6YXBvYmllZ25pZSBrb25zcGlyYWNqaSBpIHpyZWR1a3VqZSBuYWRtaWVybmUgZG9wYXNvd2FuaWXigJ0gLiBHxYLDs3duxIUgaWRlxIUgdGVqIHRlY2huaWtpIGplc3Qgd3Byb3dhZHplbmllIHN6dW11IGRvIHdhcnRvxZtjaSB3eWrFm2Npb3d5Y2ggd2Fyc3R3eSB3IGNlbHUgcG96YnljaWEgc2nEmSBuaWV6bmFjesSFY3ljaCB3em9yY8OzdyAoSGludG9uIG9rcmXFm2xpxYIgamUgbWlhbmVtIOKAnmtvbnNwaXJhY2pp4oCdKSDigJQgd3Byb3dhZHplbmllIHN6dW11IHphcG9iaWVnYSB6YXBhbWnEmXR5d2FuaXUgdGFraWNoIHd6b3Jjw7N3IHByemV6IHNpZcSHLg0KDQpXIHBha2llY2llIEtlcmFzIHRlY2huaWvEmSB0xJkgbW/FvG5hIHphc3Rvc293YcSHIHByenkgdcW8eWNpdSB3YXJzdHd5IGRyb3BvdXQsIGt0w7NyxIUgdW1pZXN6Y3phIHNpxJkgYmV6cG/Fm3JlZG5pbyB6YSB3eWrFm2NpZW0gem5hamR1asSFY2VqIHNpxJkgd2N6ZcWbbmllaiB3YXJzdHd5Og0KDQoNCmBgYHtyLCBlY2hvPVRSVUUsIHJlc3VsdHM9J2hpZGUnfQ0KbGF5ZXJfZHJvcG91dChyYXRlID0gMC41KQ0KYGBgDQoNCkRvZGFqbXkgZHdpZSB3YXJzdHd5IGRyb3BvdXQgZG8gc2llY2kgSU1EQiBpIHpvYmFjem15LCBjenkgcG9tb2fEhSBvbmUgdyB6cmVkdWtvd2FuaXUgbmFkbWllcm5lZ28gZG9wYXNvd2FuaWEuDQoNCmBgYHtyfQ0KZHB0X21vZGVsIDwtIGtlcmFzX21vZGVsX3NlcXVlbnRpYWwoKSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gMTYsIGFjdGl2YXRpb24gPSAicmVsdSIsIGlucHV0X3NoYXBlID0gYygxMDAwMCkpICU+JSANCiAgbGF5ZXJfZHJvcG91dChyYXRlID0gMC41KSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gMTYsIGFjdGl2YXRpb24gPSAicmVsdSIpICU+JSANCiAgbGF5ZXJfZHJvcG91dChyYXRlID0gMC41KSAlPiUgDQogIGxheWVyX2RlbnNlKHVuaXRzID0gMSwgYWN0aXZhdGlvbiA9ICJzaWdtb2lkIikNCg0KZHB0X21vZGVsICU+JSBjb21waWxlKA0KICBvcHRpbWl6ZXIgPSAicm1zcHJvcCIsDQogIGxvc3MgPSAiYmluYXJ5X2Nyb3NzZW50cm9weSIsDQogIG1ldHJpY3MgPSBjKCJhY2MiKQ0KKQ0KYGBgDQoNCmBgYHtyLCBlY2hvPVRSVUUsIHJlc3VsdHM9J2hpZGUnfQ0KZHB0X21vZGVsX2hpc3QgPC0gZHB0X21vZGVsICU+JSBmaXQoDQogIHhfdHJhaW4sIHlfdHJhaW4sDQogIGVwb2NocyA9IDIwLA0KICBiYXRjaF9zaXplID0gNTEyLA0KICB2YWxpZGF0aW9uX2RhdGEgPSBsaXN0KHhfdGVzdCwgeV90ZXN0KQ0KKQ0KYGBgDQoNClBvcsOzd25ham15IHd5bmlraSBuYSB3eWtyZXNpZToNCg0KYGBge3J9DQpwbG90X3RyYWluaW5nX2xvc3Nlcyhsb3NzZXMgPSBsaXN0KA0KICBvcmlnaW5hbF9tb2RlbCA9IG9yaWdpbmFsX2hpc3QkbWV0cmljcyR2YWxfbG9zcywNCiAgZHB0X21vZGVsID0gZHB0X21vZGVsX2hpc3QkbWV0cmljcyR2YWxfbG9zcw0KKSkNCmBgYA0KDQpQb25vd25pZSB3aWRhxIcgcG9wcmF3xJkgd3pnbMSZZGVtIHNpZWNpIHJlZmVyZW5jeWpuZWouDQoNClJlYXN1bXVqxIVjLCBvdG8gbmFqY3rEmcWbY2llaiBzdG9zb3dhbmUgdGVjaG5pa2kgbWFqxIVjZSB6YXBvYmllYyBuYWRtaWVybmVtdSBkb3Bhc293YW5pdSBzaWVjaSBuZXVyb25vd3ljaDoNCg0KKiBaZG9ieWNpZSB3acSZa3N6ZWogaWxvxZtjaSBkYW55Y2ggdHJlbmluZ293eWNoLg0KKiBSZWR1a2NqYSBwb2plbW5vxZtjaSBzaWVjaS4NCiogRG9kYW5pZSByZWd1bGFyeXphY2ppIHdhZy4NCiogRG9kYW5pZSBtZWNoYW5pem11IHBvcnp1Y2FuaWEu