Dwa poprzednie przykłady były problemami klasyfikacji, w których celem było przewidzenie etykiety opisującej dane wejściowe. Innym spotykanym często problemem uczenia maszynowego jest regresja, która polega na przewidywaniu wartości o charakterze ciągłym, a nie dyskretnej etykiety. Przykładem regresji jest przewidywanie jutrzejszej temperatury na podstawie zgromadzonych danych meteorologicznych lub przewidywanie czasu potrzebnego na skończenie oprogramowania na podstawie jego specyfikacji..

Nie myl regresji z algorytmem regresji logistycznej. Regresja logistyczna wbrew swej nazwie nie jest algorytmem regresji. Jest algorytmem klasyfikacji.

Zbiór cen mieszkań w Bostonie

Będziemy starali się przewidzieć medianę cen mieszkań w podmiejskich dzielnicach Bostonu w połowie lat 70. XX w. na podstawie danych określających konkretną dzielnicę, takich jak współczynnik przestępczości czy lokalny podatek od nieruchomości. Tym razem będziemy korzystali ze zbioru danych, który różni się od wcześniejszych zbiorów dwiema rzeczami. Ma dość mało elementów: tylko 506 (podzielono je na zbiór treningowy zawierający 404 próbki i zbiór testowy zawierający 102 próbki). Każda cecha danych wejściowych (przykładem cechy jest współczynnik przestępczości) jest wyrażona w innej skali. Niektóre wartości są ułamkami przyjmującymi wartości od 0 do 1, inne przyjmują wartości z zakresu od 1 do 12, a jeszcze inne — od 0 do 100 itd.

Przyjrzyjmy się danym:

library(keras)

dataset <- dataset_boston_housing()
c(c(train_data, train_targets), c(test_data, test_targets)) %<-% dataset
str(train_data)
str(test_data)

Jak widać, zbiór treningowy składa się z 404 próbek, a zbiór testowy ze 102 próbek. Każda próbka jest opisana za pomocą 13 cech numerycznych:

  1. Współczynnik przestępczości
  2. Część działek o powierzchni przekraczającej 2300 metrów kwadratowych.
  3. Część powierzchni działek działalności gospodarczych nie zajmujących się sprzedażą.
  4. Sztuczna zmienna rzeki Charles River (= 1 jeżeli działka znajduje się przy rzece; 0 w pozostałych przypadkach).
  5. Stopień koncentracji tlenków azotu(cząstek na 10 milionów).
  6. Średnia liczba pokoi w budynku.
  7. Część mieszkań zajętych przez właścicieli, które zostały wybudowane przed rokiem 1940.
  8. Średnia ważona odległości od pięciu stref, w których znajduje się najwięcej zakładów pracy.
  9. Indeks dostępności dróg szybkiego ruchu
  10. Pełny podatek od nieruchomości za 10000 $.
  11. Stosunek liczby uczniów do liczby nauczycieli.
  12. 1000 * (Bk - 0.63) ** 2, gdzie Bk ułamkiem czarnoskórej ludności miasta.
  13. % niższego statusu populacji.

Celem jest określenie median wartości domów zamieszkanych przez właścicieli — wyrażonych w tysiącach dolarów:

str(train_targets)

Ceny zwykle wahają się od 10 000 dolarów do 50 000 dolarów. Tanio? Pamiętaj o tym, że to wartości z połowy lat 70. Ceny w tym zbiorze nie uwzględniają inflacji.

Przygotowywanie danych

Ładowanie do sieci neuronowej wartości należących do kilku różnych zakresów może sprawić problem. Niektóre sieci są w stanie automatycznie dopasować do siebie tak różne dane, ale z pewnością utrudni to proces uczenia. Najlepszą praktyką podczas pracy z takimi danymi jest przeprowadzenie normalizacji poszczególnych cech: w przypadku każdej cechy danych wejściowych (kolumny macierzy danych wejściowych) należy przeprowadzić operację odejmowania od wartości średniej i dzielenia przez odchylenie standardowe — wówczas wartości cech zostaną wyśrodkowane wokół zera i będą charakteryzowały się jednostkowym odchyleniem standardowym. Operację tę można z łatwością przeprowadzić dzięki funkcji scale().

mean <- apply(train_data, 2, mean)
std <- apply(train_data, 2, sd)
train_data <- scale(train_data, center = mean, scale = std)
test_data <- scale(test_data, center = mean, scale = std)

Zwróć uwagę na to, że wielkości używane podczas normalizacji testowego zbioru danych są obliczane na podstawie treningowego zbioru danych. Nigdy nie powinniśmy korzystać z wartości obliczonych na podstawie treningowego zbioru danych. Dotyczy to nawet tak prostych zadań jak normalizacja danych.

Budowanie sieci

Dysponujemy małą liczbą próbek, a więc zbudujemy bardzo małą sieć zawierającą dwie warstwy ukryte, składające się z 64 jednostek każda. Ogólnie rzecz biorąc, im mniejszą ilością danych treningowych dysponujemy, tym bardziej jesteśmy narażeni na nadmierne dopasowanie sieci. W celu zminimalizowania efektu nadmiernego dopasowania można między innymi korzystać z małej sieci.

# Będziemy tworzyć wiele instancji tego samego modelu, 
# a więc konstruując je, będziemy korzystać z funkcji.
build_model <- function() {
  model <- keras_model_sequential() %>% 
    layer_dense(units = 64, activation = "relu", 
                input_shape = dim(train_data)[[2]]) %>% 
    layer_dense(units = 64, activation = "relu") %>% 
    layer_dense(units = 1) 
    
  model %>% compile(
    optimizer = "rmsprop", 
    loss = "mse", 
    metrics = c("mae")
  )
}

Sieć kończy się pojedynczą jednostką bez funkcji aktywacji (jest to warstwa liniowa). To typowe rozwiązanie stosowane w regresji skalarnej (regresji, w której próbuje się przewidzieć jedną wartość o charakterze ciągłym). Zastosowanie funkcji aktywacji ograniczyłoby zakres wartości wyjściowych możliwych do wygenerowania. Gdybyśmy zastosowali w ostatniej warstwie tej sieci funkcję aktywacji sigmoid, to sieć mogłaby generować tylko wartości znajdujące się w zakresie od 0 do 1. W praktyce zastosowaliśmy ostatnią warstwę o charakterze liniowym, a więc możemy przewidywać dowolne wartości.

Zwróć uwagę na to, że sieć jest kompilowana z funkcją straty mse (średniego błędu kwadratowego). Funkcja ta oblicza kwadrat różnicy między wartościami przewidywanymi przez sieć i wartościami docelowymi. Ta funkcja straty jest często używana w czasie rozwiązywania problemów regresji.

Podczas trenowania monitorowana jest nowa metryka: średni błąd bezwzględny (mae). Jest to bezwzględna wartość różnicy między wartościami przewidywanymi przez sieć a wartościami docelowymi. Średnia wartość błędu bezwzględnego o wartości równej np. 0,5 w przypadku tego problemu oznacza, że przewidywane ceny średnio odbiegają od wartości docelowych o 500 dolarów.

K-składowa walidacja krzyżowa

W celu oceny sprawności działania sieci podczas dostrajania jej parametrów, takich jak liczba epok trenowania, możemy tak jak wcześniej podzielić dane treningowe na podzbiór treningowy i podzbiór walidacyjny, ale nasz zbiór jest na tyle mały, że podzbiór walidacyjny utworzony w ten sposób byłby bardzo mały (zawierałby np. tylko 100 elementów). W związku z tym wynik walidacji mógłby ulegać dużej zmianie w zależności od tego, które elementy treningowego zbioru danych byłyby używane podczas walidacji, a które podczas trenowania. Wyniki walidacji mogłyby charakteryzować się dużą wariancją zależną od podziału zbioru testowego na podzbiór testowy i walidacyjny. W takiej sytuacji nie można przeprowadzić wiarygodnej walidacji.

W takim przypadku najlepiej jest skorzystać z walidacji krzyżowej k-składowych (patrz rysunek 3.11). Polega ona na podziale dostępnych danych na k części (zwykle 4 lub 5), utworzeniu k identycznych modeli i trenowaniu każdego z nich na k – 1 częściach zbioru oraz przeprowadzaniu ewaluacji na pozostałej, nieużytej wcześniej części zbioru dostępnych danych. Wynik walidacji modelu jest średnią wyników walidacji wszystkich składowych modeli. Kod implementujący to rozwiązanie jest dość prosty:

all_scores
mean(all_scores)

Podczas poszczególnych iteracji uzyskujemy dość zróżnicowane wartości walidacji (od 2,1 do 2,8). Średnia wartość (2,4) jest wartością, na której można o wiele bardziej polegać niż na poszczególnych wynikach walidacji składowych — właśnie to chcieliśmy uzyskać, stosując k-składową walidację krzyżową. W tym przypadku odchodzimy od wartości docelowych średnio o 2400 dolarów, co jest znaczącą kwotą przy cenach znajdujących się w zakresie od 10 000 do 50 000 dolarów. Spróbujmy wydłużyć proces trenowania do 500 epok. W celu obserwacji wydajności modelu w każdej epoce zmodyfikujemy pętlę treningową tak, aby zapisywała wynik walidacji poszczególnych epok w dzienniku pracy:

# Some memory clean-up
k_clear_session()

Teraz możemy obliczyć średni wynik walidacji wszystkich składowych poszczególnych epok.

average_mae_history <- data.frame(
  epoch = seq(1:ncol(all_mae_histories)),
  validation_mae = apply(all_mae_histories, 2, mean)
)

Przedstawmy te dane na wykresie:

library(ggplot2)
ggplot(average_mae_history, aes(x = epoch, y = validation_mae)) + geom_line()

Wykres może okazać się dość trudny do przeanalizowania z powodu skali i dużej wariancji. Spróbujmy uzyskać bardziej czytelny obraz za pomocą funkcji geom_smooth():

ggplot(average_mae_history, aes(x = epoch, y = validation_mae)) + geom_smooth()

Z ostatniego wykresu wynika, że średni błąd bezwzględny przestaje ulegać poprawie po 125 epokach. Po przekroczeniu tego punktu model zaczyna ulegać przeuczeniu.

Po zakończeniu dostrajania pozostałych parametrów modelu (poza liczbą epok możemy zmienić również rozmiar warstw ukrytych) przeprowadzamy trenowanie ostatecznej wersji modelu na całym zbiorze danych treningowych (w procesie tym korzystamy z optymalnych parametrów), a następnie sprawdzamy jego wydajność na zbiorze testowym.

result

We are still off by about $2,680.

Wnioski

Oto wnioski, które należy wynieść z tego przykładu:

LS0tDQp0aXRsZTogIlByemV3aWR5d2FuaWUgY2VuIG1pZXN6a2HFhCINCm91dHB1dDogDQogIGh0bWxfbm90ZWJvb2s6IA0KICAgIHRoZW1lOiBjZXJ1bGVhbg0KICAgIGhpZ2hsaWdodDogdGV4dG1hdGUNCi0tLQ0KDQpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0NCmtuaXRyOjpvcHRzX2NodW5rJHNldCh3YXJuaW5nID0gRkFMU0UsIG1lc3NhZ2UgPSBGQUxTRSkNCmBgYA0KDQoNCkR3YSBwb3ByemVkbmllIHByenlrxYJhZHkgYnnFgnkgcHJvYmxlbWFtaSBrbGFzeWZpa2FjamksIHcga3TDs3J5Y2ggY2VsZW0gYnnFgm8gcHJ6ZXdpZHplbmllIGV0eWtpZXR5IG9waXN1asSFY2VqIGRhbmUgd2VqxZtjaW93ZS4gSW5ueW0gc3BvdHlrYW55bSBjesSZc3RvIHByb2JsZW1lbSB1Y3plbmlhIG1hc3p5bm93ZWdvIGplc3QgcmVncmVzamEsIGt0w7NyYSBwb2xlZ2EgbmEgcHJ6ZXdpZHl3YW5pdSB3YXJ0b8WbY2kgbyBjaGFyYWt0ZXJ6ZSBjacSFZ8WCeW0sIGEgbmllIGR5c2tyZXRuZWogZXR5a2lldHkuIFByenlrxYJhZGVtIHJlZ3Jlc2ppIGplc3QgcHJ6ZXdpZHl3YW5pZSBqdXRyemVqc3plaiB0ZW1wZXJhdHVyeSBuYSBwb2RzdGF3aWUgemdyb21hZHpvbnljaCBkYW55Y2ggbWV0ZW9yb2xvZ2ljem55Y2ggbHViIHByemV3aWR5d2FuaWUgY3phc3UgcG90cnplYm5lZ28gbmEgc2tvxYRjemVuaWUgb3Byb2dyYW1vd2FuaWEgbmEgcG9kc3Rhd2llIGplZ28gc3BlY3lmaWthY2ppLi4NCg0KTmllIG15bCByZWdyZXNqaSB6IGFsZ29yeXRtZW0gcmVncmVzamkgbG9naXN0eWN6bmVqLiBSZWdyZXNqYSBsb2dpc3R5Y3puYSB3YnJldyBzd2VqIG5hendpZSBuaWUgamVzdCBhbGdvcnl0bWVtIHJlZ3Jlc2ppLiBKZXN0IGFsZ29yeXRtZW0ga2xhc3lmaWthY2ppLg0KDQojIyBaYmnDs3IgY2VuIG1pZXN6a2HFhCB3IEJvc3RvbmllDQoNCg0KQsSZZHppZW15IHN0YXJhbGkgc2nEmSBwcnpld2lkemllxIcgbWVkaWFuxJkgY2VuIG1pZXN6a2HFhCB3IHBvZG1pZWpza2ljaCBkemllbG5pY2FjaCBCb3N0b251IHcgcG/Fgm93aWUgbGF0IDcwLiBYWCB3LiBuYSBwb2RzdGF3aWUgZGFueWNoIG9rcmXFm2xhasSFY3ljaCBrb25rcmV0bsSFIGR6aWVsbmljxJksIHRha2ljaCBqYWsgd3Nww7PFgmN6eW5uaWsgcHJ6ZXN0xJlwY3pvxZtjaSBjenkgbG9rYWxueSBwb2RhdGVrIG9kIG5pZXJ1Y2hvbW/Fm2NpLiBUeW0gcmF6ZW0gYsSZZHppZW15IGtvcnp5c3RhbGkgemUgemJpb3J1IGRhbnljaCwga3TDs3J5IHLDs8W8bmkgc2nEmSBvZCB3Y3plxZtuaWVqc3p5Y2ggemJpb3LDs3cgZHdpZW1hIHJ6ZWN6YW1pLiBNYSBkb8WbxIcgbWHFgm8gZWxlbWVudMOzdzogdHlsa28gNTA2IChwb2R6aWVsb25vIGplIG5hIHpiacOzciB0cmVuaW5nb3d5IHphd2llcmFqxIVjeSA0MDQgcHLDs2JraSBpIHpiacOzciB0ZXN0b3d5IHphd2llcmFqxIVjeSAxMDIgcHLDs2JraSkuIEthxbxkYSBjZWNoYSBkYW55Y2ggd2VqxZtjaW93eWNoIChwcnp5a8WCYWRlbSBjZWNoeSBqZXN0IHdzcMOzxYJjenlubmlrIHByemVzdMSZcGN6b8WbY2kpIGplc3Qgd3lyYcW8b25hIHcgaW5uZWogc2thbGkuIE5pZWt0w7NyZSB3YXJ0b8WbY2kgc8SFIHXFgmFta2FtaSBwcnp5am11asSFY3ltaSB3YXJ0b8WbY2kgb2QgMCBkbyAxLCBpbm5lIHByenlqbXVqxIUgd2FydG/Fm2NpIHogemFrcmVzdSBvZCAxIGRvIDEyLCBhIGplc3pjemUgaW5uZSDigJQgb2QgMCBkbyAxMDAgaXRkLg0KDQpQcnp5anJ6eWpteSBzacSZIGRhbnltOg0KDQpgYGB7cn0NCmxpYnJhcnkoa2VyYXMpDQoNCmRhdGFzZXQgPC0gZGF0YXNldF9ib3N0b25faG91c2luZygpDQpjKGModHJhaW5fZGF0YSwgdHJhaW5fdGFyZ2V0cyksIGModGVzdF9kYXRhLCB0ZXN0X3RhcmdldHMpKSAlPC0lIGRhdGFzZXQNCmBgYA0KDQpgYGB7cn0NCnN0cih0cmFpbl9kYXRhKQ0KYGBgDQoNCmBgYHtyfQ0Kc3RyKHRlc3RfZGF0YSkNCmBgYA0KDQpKYWsgd2lkYcSHLCB6YmnDs3IgdHJlbmluZ293eSBza8WCYWRhIHNpxJkgeiA0MDQgcHLDs2JlaywgYSB6YmnDs3IgdGVzdG93eSB6ZSAxMDIgcHLDs2Jlay4gS2HFvGRhIHByw7Nia2EgamVzdCBvcGlzYW5hIHphIHBvbW9jxIUgMTMgY2VjaCBudW1lcnljem55Y2g6DQoNCiAxLiAgICBXc3DDs8WCY3p5bm5payBwcnplc3TEmXBjem/Fm2NpDQogMi4gICAgQ3rEmcWbxIcgZHppYcWCZWsgbyBwb3dpZXJ6Y2huaSBwcnpla3JhY3phasSFY2VqIDIzMDAgbWV0csOzdyBrd2FkcmF0b3d5Y2guDQogMy4gICAgQ3rEmcWbxIcgcG93aWVyemNobmkgZHppYcWCZWsgZHppYcWCYWxub8WbY2kgZ29zcG9kYXJjenljaCBuaWUgemFqbXVqxIVjeWNoIHNpxJkgc3ByemVkYcW8xIUuDQogNC4gICAgU3p0dWN6bmEgem1pZW5uYSByemVraSBDaGFybGVzIFJpdmVyICg9IDEgamXFvGVsaSBkemlhxYJrYSB6bmFqZHVqZSBzacSZIHByenkgcnplY2U7IDAgdyBwb3pvc3RhxYJ5Y2ggcHJ6eXBhZGthY2gpLg0KIDUuICAgIFN0b3BpZcWEIGtvbmNlbnRyYWNqaSB0bGVua8OzdyBhem90dShjesSFc3RlayBuYSAxMCBtaWxpb27Ds3cpLg0KIDYuICAgIMWacmVkbmlhIGxpY3piYSBwb2tvaSB3IGJ1ZHlua3UuDQogNy4gICAgQ3rEmcWbxIcgbWllc3prYcWEIHphasSZdHljaCBwcnpleiB3xYJhxZtjaWNpZWxpLCBrdMOzcmUgem9zdGHFgnkgd3lidWRvd2FuZSBwcnplZCByb2tpZW0gMTk0MC4NCiA4LiAgICDFmnJlZG5pYSB3YcW8b25hIG9kbGVnxYJvxZtjaSBvZCBwacSZY2l1IHN0cmVmLCB3IGt0w7NyeWNoIHpuYWpkdWplIHNpxJkgbmFqd2nEmWNlaiB6YWvFgmFkw7N3IHByYWN5Lg0KIDkuICAgIEluZGVrcyBkb3N0xJlwbm/Fm2NpIGRyw7NnIHN6eWJraWVnbyBydWNodQ0KMTAuICAgIFBlxYJueSBwb2RhdGVrIG9kIG5pZXJ1Y2hvbW/Fm2NpIHphIDEwMDAwICQuDQoxMS4gICAgU3Rvc3VuZWsgbGljemJ5IHVjem5pw7N3IGRvIGxpY3pieSBuYXVjenljaWVsaS4NCjEyLiAgICAxMDAwICogKEJrIC0gMC42MykgKiogMiwgZ2R6aWUgQmsgdcWCYW1raWVtIGN6YXJub3Nrw7NyZWogbHVkbm/Fm2NpIG1pYXN0YS4NCjEzLiAgICAlIG5pxbxzemVnbyBzdGF0dXN1IHBvcHVsYWNqaS4NCg0KDQpDZWxlbSBqZXN0IG9rcmXFm2xlbmllIG1lZGlhbiB3YXJ0b8WbY2kgZG9tw7N3IHphbWllc3prYW55Y2ggcHJ6ZXogd8WCYcWbY2ljaWVsaSDigJQgd3lyYcW8b255Y2ggdyB0eXNpxIVjYWNoIGRvbGFyw7N3Og0KDQpgYGB7cn0NCnN0cih0cmFpbl90YXJnZXRzKQ0KYGBgDQoNCkNlbnkgend5a2xlIHdhaGFqxIUgc2nEmSBvZCAxMCAwMDAgZG9sYXLDs3cgZG8gNTAgMDAwIGRvbGFyw7N3LiBUYW5pbz8gUGFtacSZdGFqIG8gdHltLCDFvGUgdG8gd2FydG/Fm2NpIHogcG/Fgm93eSBsYXQgNzAuIENlbnkgdyB0eW0gemJpb3J6ZSBuaWUgdXd6Z2zEmWRuaWFqxIUgaW5mbGFjamkuDQoNCiMjIFByenlnb3Rvd3l3YW5pZSBkYW55Y2gNCg0KDQrFgWFkb3dhbmllIGRvIHNpZWNpIG5ldXJvbm93ZWogd2FydG/Fm2NpIG5hbGXFvMSFY3ljaCBkbyBraWxrdSByw7PFvG55Y2ggemFrcmVzw7N3IG1vxbxlIHNwcmF3acSHIHByb2JsZW0uIE5pZWt0w7NyZSBzaWVjaSBzxIUgdyBzdGFuaWUgYXV0b21hdHljem5pZSBkb3Bhc293YcSHIGRvIHNpZWJpZSB0YWsgcsOzxbxuZSBkYW5lLCBhbGUgeiBwZXdub8WbY2nEhSB1dHJ1ZG5pIHRvIHByb2NlcyB1Y3plbmlhLiBOYWpsZXBzesSFIHByYWt0eWvEhSBwb2RjemFzIHByYWN5IHogdGFraW1pIGRhbnltaSBqZXN0IHByemVwcm93YWR6ZW5pZSBub3JtYWxpemFjamkgcG9zemN6ZWfDs2xueWNoIGNlY2g6IHcgcHJ6eXBhZGt1IGthxbxkZWogY2VjaHkgZGFueWNoIHdlasWbY2lvd3ljaCAoa29sdW1ueSBtYWNpZXJ6eSBkYW55Y2ggd2VqxZtjaW93eWNoKSBuYWxlxbx5IHByemVwcm93YWR6acSHIG9wZXJhY2rEmSBvZGVqbW93YW5pYSBvZCB3YXJ0b8WbY2kgxZtyZWRuaWVqIGkgZHppZWxlbmlhIHByemV6IG9kY2h5bGVuaWUgc3RhbmRhcmRvd2Ug4oCUIHfDs3djemFzIHdhcnRvxZtjaSBjZWNoIHpvc3RhbsSFIHd5xZtyb2Rrb3dhbmUgd29rw7PFgiB6ZXJhIGkgYsSZZMSFIGNoYXJha3Rlcnl6b3dhxYJ5IHNpxJkgamVkbm9zdGtvd3ltIG9kY2h5bGVuaWVtIHN0YW5kYXJkb3d5bS4gT3BlcmFjasSZIHTEmSBtb8W8bmEgeiDFgmF0d2/Fm2NpxIUgcHJ6ZXByb3dhZHppxIcgZHppxJlraSBmdW5rY2ppIHNjYWxlKCkuDQoNCmBgYHtyfQ0KbWVhbiA8LSBhcHBseSh0cmFpbl9kYXRhLCAyLCBtZWFuKQ0Kc3RkIDwtIGFwcGx5KHRyYWluX2RhdGEsIDIsIHNkKQ0KdHJhaW5fZGF0YSA8LSBzY2FsZSh0cmFpbl9kYXRhLCBjZW50ZXIgPSBtZWFuLCBzY2FsZSA9IHN0ZCkNCnRlc3RfZGF0YSA8LSBzY2FsZSh0ZXN0X2RhdGEsIGNlbnRlciA9IG1lYW4sIHNjYWxlID0gc3RkKQ0KYGBgDQoNClp3csOzxIcgdXdhZ8SZIG5hIHRvLCDFvGUgd2llbGtvxZtjaSB1xbx5d2FuZSBwb2RjemFzIG5vcm1hbGl6YWNqaSB0ZXN0b3dlZ28gemJpb3J1IGRhbnljaCBzxIUgb2JsaWN6YW5lIG5hIHBvZHN0YXdpZSB0cmVuaW5nb3dlZ28gemJpb3J1IGRhbnljaC4gTmlnZHkgbmllIHBvd2lubmnFm215IGtvcnp5c3RhxIcgeiB3YXJ0b8WbY2kgb2JsaWN6b255Y2ggbmEgcG9kc3Rhd2llIHRyZW5pbmdvd2VnbyB6YmlvcnUgZGFueWNoLiBEb3R5Y3p5IHRvIG5hd2V0IHRhayBwcm9zdHljaCB6YWRhxYQgamFrIG5vcm1hbGl6YWNqYSBkYW55Y2guDQoNCiMjIEJ1ZG93YW5pZSBzaWVjaQ0KDQpEeXNwb251amVteSBtYcWCxIUgbGljemLEhSBwcsOzYmVrLCBhIHdpxJljIHpidWR1amVteSBiYXJkem8gbWHFgsSFIHNpZcSHIHphd2llcmFqxIVjxIUgZHdpZSB3YXJzdHd5IHVrcnl0ZSwgc2vFgmFkYWrEhWNlIHNpxJkgeiA2NCBqZWRub3N0ZWsga2HFvGRhLiBPZ8OzbG5pZSByemVjeiBiaW9yxIVjLCBpbSBtbmllanN6xIUgaWxvxZtjacSFIGRhbnljaCB0cmVuaW5nb3d5Y2ggZHlzcG9udWplbXksIHR5bSBiYXJkemllaiBqZXN0ZcWbbXkgbmFyYcW8ZW5pIG5hIG5hZG1pZXJuZSBkb3Bhc293YW5pZSBzaWVjaS4gVyBjZWx1IHptaW5pbWFsaXpvd2FuaWEgZWZla3R1IG5hZG1pZXJuZWdvIGRvcGFzb3dhbmlhIG1vxbxuYSBtacSZZHp5IGlubnltaSBrb3J6eXN0YcSHIHogbWHFgmVqIHNpZWNpLg0KDQpgYGB7cn0NCiMgQsSZZHppZW15IHR3b3J6ecSHIHdpZWxlIGluc3RhbmNqaSB0ZWdvIHNhbWVnbyBtb2RlbHUsIA0KIyBhIHdpxJljIGtvbnN0cnV1asSFYyBqZSwgYsSZZHppZW15IGtvcnp5c3RhxIcgeiBmdW5rY2ppLg0KYnVpbGRfbW9kZWwgPC0gZnVuY3Rpb24oKSB7DQogIG1vZGVsIDwtIGtlcmFzX21vZGVsX3NlcXVlbnRpYWwoKSAlPiUgDQogICAgbGF5ZXJfZGVuc2UodW5pdHMgPSA2NCwgYWN0aXZhdGlvbiA9ICJyZWx1IiwgDQogICAgICAgICAgICAgICAgaW5wdXRfc2hhcGUgPSBkaW0odHJhaW5fZGF0YSlbWzJdXSkgJT4lIA0KICAgIGxheWVyX2RlbnNlKHVuaXRzID0gNjQsIGFjdGl2YXRpb24gPSAicmVsdSIpICU+JSANCiAgICBsYXllcl9kZW5zZSh1bml0cyA9IDEpIA0KICAgIA0KICBtb2RlbCAlPiUgY29tcGlsZSgNCiAgICBvcHRpbWl6ZXIgPSAicm1zcHJvcCIsIA0KICAgIGxvc3MgPSAibXNlIiwgDQogICAgbWV0cmljcyA9IGMoIm1hZSIpDQogICkNCn0NCmBgYA0KDQpTaWXEhyBrb8WEY3p5IHNpxJkgcG9qZWR5bmN6xIUgamVkbm9zdGvEhSBiZXogZnVua2NqaSBha3R5d2FjamkgKGplc3QgdG8gd2Fyc3R3YSBsaW5pb3dhKS4gVG8gdHlwb3dlIHJvendpxIV6YW5pZSBzdG9zb3dhbmUgdyByZWdyZXNqaSBza2FsYXJuZWogKHJlZ3Jlc2ppLCB3IGt0w7NyZWogcHLDs2J1amUgc2nEmSBwcnpld2lkemllxIcgamVkbsSFIHdhcnRvxZvEhyBvIGNoYXJha3RlcnplIGNpxIVnxYJ5bSkuIFphc3Rvc293YW5pZSBmdW5rY2ppIGFrdHl3YWNqaSBvZ3JhbmljennFgm9ieSB6YWtyZXMgd2FydG/Fm2NpIHd5asWbY2lvd3ljaCBtb8W8bGl3eWNoIGRvIHd5Z2VuZXJvd2FuaWEuIEdkeWJ5xZtteSB6YXN0b3Nvd2FsaSB3IG9zdGF0bmllaiB3YXJzdHdpZSB0ZWogc2llY2kgZnVua2NqxJkgYWt0eXdhY2ppIHNpZ21vaWQsIHRvIHNpZcSHIG1vZ8WCYWJ5IGdlbmVyb3dhxIcgdHlsa28gd2FydG/Fm2NpIHpuYWpkdWrEhWNlIHNpxJkgdyB6YWtyZXNpZSBvZCAwIGRvIDEuIFcgcHJha3R5Y2UgemFzdG9zb3dhbGnFm215IG9zdGF0bmnEhSB3YXJzdHfEmSBvIGNoYXJha3RlcnplIGxpbmlvd3ltLCBhIHdpxJljIG1vxbxlbXkgcHJ6ZXdpZHl3YcSHIGRvd29sbmUgd2FydG/Fm2NpLg0KDQpad3LDs8SHIHV3YWfEmSBuYSB0bywgxbxlIHNpZcSHIGplc3Qga29tcGlsb3dhbmEgeiBmdW5rY2rEhSBzdHJhdHkgbXNlICjFm3JlZG5pZWdvIGLFgsSZZHUga3dhZHJhdG93ZWdvKS4gRnVua2NqYSB0YSBvYmxpY3phIGt3YWRyYXQgcsOzxbxuaWN5IG1pxJlkenkgd2FydG/Fm2NpYW1pIHByemV3aWR5d2FueW1pIHByemV6IHNpZcSHIGkgd2FydG/Fm2NpYW1pIGRvY2Vsb3d5bWkuIFRhIGZ1bmtjamEgc3RyYXR5IGplc3QgY3rEmXN0byB1xbx5d2FuYSB3IGN6YXNpZSByb3p3acSFenl3YW5pYSBwcm9ibGVtw7N3IHJlZ3Jlc2ppLg0KDQpQb2RjemFzIHRyZW5vd2FuaWEgbW9uaXRvcm93YW5hIGplc3Qgbm93YSBtZXRyeWthOiDFm3JlZG5pIGLFgsSFZCBiZXp3emdsxJlkbnkgKG1hZSkuIEplc3QgdG8gYmV6d3pnbMSZZG5hIHdhcnRvxZvEhyByw7PFvG5pY3kgbWnEmWR6eSB3YXJ0b8WbY2lhbWkgcHJ6ZXdpZHl3YW55bWkgcHJ6ZXogc2llxIcgYSB3YXJ0b8WbY2lhbWkgZG9jZWxvd3ltaS4gxZpyZWRuaWEgd2FydG/Fm8SHIGLFgsSZZHUgYmV6d3pnbMSZZG5lZ28gbyB3YXJ0b8WbY2kgcsOzd25laiBucC4gMCw1IHcgcHJ6eXBhZGt1IHRlZ28gcHJvYmxlbXUgb3puYWN6YSwgxbxlIHByemV3aWR5d2FuZSBjZW55IMWbcmVkbmlvIG9kYmllZ2FqxIUgb2Qgd2FydG/Fm2NpIGRvY2Vsb3d5Y2ggbyA1MDAgZG9sYXLDs3cuDQoNCiMjIEstc2vFgmFkb3dhIHdhbGlkYWNqYSBrcnp5xbxvd2ENCg0KVyBjZWx1IG9jZW55IHNwcmF3bm/Fm2NpIGR6aWHFgmFuaWEgc2llY2kgcG9kY3phcyBkb3N0cmFqYW5pYSBqZWogcGFyYW1ldHLDs3csIHRha2ljaCBqYWsgbGljemJhIGVwb2sgdHJlbm93YW5pYSwgbW/FvGVteSB0YWsgamFrIHdjemXFm25pZWogcG9kemllbGnEhyBkYW5lIHRyZW5pbmdvd2UgbmEgcG9kemJpw7NyIHRyZW5pbmdvd3kgaSBwb2R6YmnDs3Igd2FsaWRhY3lqbnksIGFsZSBuYXN6IHpiacOzciBqZXN0IG5hIHR5bGUgbWHFgnksIMW8ZSBwb2R6YmnDs3Igd2FsaWRhY3lqbnkgdXR3b3J6b255IHcgdGVuIHNwb3PDs2IgYnnFgmJ5IGJhcmR6byBtYcWCeSAoemF3aWVyYcWCYnkgbnAuIHR5bGtvIDEwMCBlbGVtZW50w7N3KS4gVyB6d2nEhXprdSB6IHR5bSB3eW5payB3YWxpZGFjamkgbcOzZ8WCYnkgdWxlZ2HEhyBkdcW8ZWogem1pYW5pZSB3IHphbGXFvG5vxZtjaSBvZCB0ZWdvLCBrdMOzcmUgZWxlbWVudHkgdHJlbmluZ293ZWdvIHpiaW9ydSBkYW55Y2ggYnnFgnlieSB1xbx5d2FuZSBwb2RjemFzIHdhbGlkYWNqaSwgYSBrdMOzcmUgcG9kY3phcyB0cmVub3dhbmlhLiBXeW5pa2kgd2FsaWRhY2ppIG1vZ8WCeWJ5IGNoYXJha3Rlcnl6b3dhxIcgc2nEmSBkdcW8xIUgd2FyaWFuY2rEhSB6YWxlxbxuxIUgb2QgcG9kemlhxYJ1IHpiaW9ydSB0ZXN0b3dlZ28gbmEgcG9kemJpw7NyIHRlc3Rvd3kgaSB3YWxpZGFjeWpueS4gVyB0YWtpZWogc3l0dWFjamkgbmllIG1vxbxuYSBwcnplcHJvd2FkemnEhyB3aWFyeWdvZG5laiB3YWxpZGFjamkuDQoNClcgdGFraW0gcHJ6eXBhZGt1IG5hamxlcGllaiBqZXN0IHNrb3J6eXN0YcSHIHogd2FsaWRhY2ppIGtyennFvG93ZWogay1za8WCYWRvd3ljaCAocGF0cnogcnlzdW5layAzLjExKS4gUG9sZWdhIG9uYSBuYSBwb2R6aWFsZSBkb3N0xJlwbnljaCBkYW55Y2ggbmEgayBjesSZxZtjaSAoend5a2xlIDQgbHViIDUpLCB1dHdvcnplbml1IGsgaWRlbnR5Y3pueWNoIG1vZGVsaSBpIHRyZW5vd2FuaXUga2HFvGRlZ28geiBuaWNoIG5hIGsg4oCTIDEgY3rEmcWbY2lhY2ggemJpb3J1IG9yYXogcHJ6ZXByb3dhZHphbml1IGV3YWx1YWNqaSBuYSBwb3pvc3RhxYJlaiwgbmlldcW8eXRlaiB3Y3plxZtuaWVqIGN6xJnFm2NpIHpiaW9ydSBkb3N0xJlwbnljaCBkYW55Y2guIFd5bmlrIHdhbGlkYWNqaSBtb2RlbHUgamVzdCDFm3JlZG5pxIUgd3luaWvDs3cgd2FsaWRhY2ppIHdzenlzdGtpY2ggc2vFgmFkb3d5Y2ggbW9kZWxpLiBLb2QgaW1wbGVtZW50dWrEhWN5IHRvIHJvendpxIV6YW5pZSBqZXN0IGRvxZvEhyBwcm9zdHk6DQoNCg0KYGBge3IsIGVjaG89VFJVRSwgcmVzdWx0cz0naGlkZSd9DQprIDwtIDQNCmluZGljZXMgPC0gc2FtcGxlKDE6bnJvdyh0cmFpbl9kYXRhKSkNCmZvbGRzIDwtIGN1dCgxOmxlbmd0aChpbmRpY2VzKSwgYnJlYWtzID0gaywgbGFiZWxzID0gRkFMU0UpIA0KDQpudW1fZXBvY2hzIDwtIDEwMA0KYWxsX3Njb3JlcyA8LSBjKCkNCmZvciAoaSBpbiAxOmspIHsNCiAgY2F0KCJwcm9jZXNzaW5nIGZvbGQgIyIsIGksICJcbiIpDQogICMgUHJ6eWdvdHVqIGRhbmUgd2FsaWRhY3lqbmU6IGRhbmUgeiBrLXRlaiBza8WCYWRvd2VqLg0KICB2YWxfaW5kaWNlcyA8LSB3aGljaChmb2xkcyA9PSBpLCBhcnIuaW5kID0gVFJVRSkgDQogIHZhbF9kYXRhIDwtIHRyYWluX2RhdGFbdmFsX2luZGljZXMsXQ0KICB2YWxfdGFyZ2V0cyA8LSB0cmFpbl90YXJnZXRzW3ZhbF9pbmRpY2VzXQ0KICANCiAgIyBQcnp5Z290dWogZGFuZSB0cmVuaW5nb3dlOiBkYW5lIHogcG96b3N0YcWCeWNoIHNrxYJhZG93eWNoLg0KICBwYXJ0aWFsX3RyYWluX2RhdGEgPC0gdHJhaW5fZGF0YVstdmFsX2luZGljZXMsXQ0KICBwYXJ0aWFsX3RyYWluX3RhcmdldHMgPC0gdHJhaW5fdGFyZ2V0c1stdmFsX2luZGljZXNdDQogIA0KICAjIFpidWR1aiBtb2RlbCBLZXJhcyAobW9kZWwgem9zdGHFgiBza29tcGlsb3dhbnkgd2N6ZcWbbmllaikuDQogIG1vZGVsIDwtIGJ1aWxkX21vZGVsKCkNCiAgDQogICMgVHJlbnVqIG1vZGVsIHcgdHJ5YmllIGNpY2h5bSAocGFyYW1ldHIgdmVyYm9zZSA9IDApLg0KICBtb2RlbCAlPiUgZml0KHBhcnRpYWxfdHJhaW5fZGF0YSwgcGFydGlhbF90cmFpbl90YXJnZXRzLA0KICAgICAgICAgICAgICAgIGVwb2NocyA9IG51bV9lcG9jaHMsIGJhdGNoX3NpemUgPSAxLCB2ZXJib3NlID0gMCkNCiAgICAgICAgICAgICAgICANCiAgIyBQcnplcHJvd2FkxbogZXdhbHVhY2rEmSBtb2RlbHUgcHJ6eSB1xbx5Y2l1IGRhbnljaCB3YWxpZGFjeWpueWNoLg0KICByZXN1bHRzIDwtIG1vZGVsICU+JSBldmFsdWF0ZSh2YWxfZGF0YSwgdmFsX3RhcmdldHMsIHZlcmJvc2UgPSAwKQ0KICBhbGxfc2NvcmVzIDwtIGMoYWxsX3Njb3JlcywgcmVzdWx0cyRtZWFuX2Fic29sdXRlX2Vycm9yKQ0KfSAgDQpgYGANCg0KYGBge3J9DQphbGxfc2NvcmVzDQpgYGANCg0KYGBge3J9DQptZWFuKGFsbF9zY29yZXMpDQpgYGANCg0KUG9kY3phcyBwb3N6Y3plZ8OzbG55Y2ggaXRlcmFjamkgdXp5c2t1amVteSBkb8WbxIcgenLDs8W8bmljb3dhbmUgd2FydG/Fm2NpIHdhbGlkYWNqaSAob2QgMiwxIGRvIDIsOCkuIMWacmVkbmlhIHdhcnRvxZvEhyAoMiw0KSBqZXN0IHdhcnRvxZtjacSFLCBuYSBrdMOzcmVqIG1vxbxuYSBvIHdpZWxlIGJhcmR6aWVqIHBvbGVnYcSHIG5pxbwgbmEgcG9zemN6ZWfDs2xueWNoIHd5bmlrYWNoIHdhbGlkYWNqaSBza8WCYWRvd3ljaCDigJQgd8WCYcWbbmllIHRvIGNoY2llbGnFm215IHV6eXNrYcSHLCBzdG9zdWrEhWMgay1za8WCYWRvd8SFIHdhbGlkYWNqxJkga3J6ecW8b3fEhS4gVyB0eW0gcHJ6eXBhZGt1IG9kY2hvZHppbXkgb2Qgd2FydG/Fm2NpIGRvY2Vsb3d5Y2ggxZtyZWRuaW8gbyAyNDAwIGRvbGFyw7N3LCBjbyBqZXN0IHpuYWN6xIVjxIUga3dvdMSFIHByenkgY2VuYWNoIHpuYWpkdWrEhWN5Y2ggc2nEmSB3IHpha3Jlc2llIG9kIDEwIDAwMCBkbyA1MCAwMDAgZG9sYXLDs3cuDQpTcHLDs2J1am15IHd5ZMWCdcW8ecSHIHByb2NlcyB0cmVub3dhbmlhIGRvIDUwMCBlcG9rLiBXIGNlbHUgb2JzZXJ3YWNqaSB3eWRham5vxZtjaSBtb2RlbHUgdyBrYcW8ZGVqIGVwb2NlIHptb2R5ZmlrdWplbXkgcMSZdGzEmSB0cmVuaW5nb3fEhSB0YWssIGFieSB6YXBpc3l3YcWCYSB3eW5payB3YWxpZGFjamkgcG9zemN6ZWfDs2xueWNoIGVwb2sgdyBkemllbm5pa3UgcHJhY3k6DQoNCmBgYHtyfQ0KIyBTb21lIG1lbW9yeSBjbGVhbi11cA0Ka19jbGVhcl9zZXNzaW9uKCkNCmBgYA0KDQpgYGB7ciwgZWNobz1UUlVFLCByZXN1bHRzPSdoaWRlJ30NCm51bV9lcG9jaHMgPC0gNTAwDQphbGxfbWFlX2hpc3RvcmllcyA8LSBOVUxMDQpmb3IgKGkgaW4gMTprKSB7DQogIGNhdCgicHJvY2Vzc2luZyBmb2xkICMiLCBpLCAiXG4iKQ0KICANCiAgIyBQcnp5Z290b3d1amUgZGFuZSB3YWxpZGFjeWpuZTogZGFuZSB6IGstdGVqIHNrxYJhZG93ZWouDQogIHZhbF9pbmRpY2VzIDwtIHdoaWNoKGZvbGRzID09IGksIGFyci5pbmQgPSBUUlVFKQ0KICB2YWxfZGF0YSA8LSB0cmFpbl9kYXRhW3ZhbF9pbmRpY2VzLF0NCiAgdmFsX3RhcmdldHMgPC0gdHJhaW5fdGFyZ2V0c1t2YWxfaW5kaWNlc10NCiAgDQogICMgUHJ6eWdvdG93dWplIGRhbmUgdHJlbmluZ293ZTogZGFuZSB6IHBvem9zdGHFgnljaCBza8WCYWRvd3ljaC4NCiAgcGFydGlhbF90cmFpbl9kYXRhIDwtIHRyYWluX2RhdGFbLXZhbF9pbmRpY2VzLF0NCiAgcGFydGlhbF90cmFpbl90YXJnZXRzIDwtIHRyYWluX3RhcmdldHNbLXZhbF9pbmRpY2VzXQ0KICANCiAgIyBCdWR1amUgbW9kZWwgS2VyYXMgKG1vZGVsIHpvc3RhxYIgc2tvbXBpbG93YW55IHdjemXFm25pZWopLg0KICBtb2RlbCA8LSBidWlsZF9tb2RlbCgpDQogIA0KICAjIFByemVwcm93YWR6YSBld2FsdWFjasSZIG1vZGVsdSBwcnp5IHXFvHljaXUgZGFueWNoIHdhbGlkYWN5am55Y2guDQogIGhpc3RvcnkgPC0gbW9kZWwgJT4lIGZpdCgNCiAgICBwYXJ0aWFsX3RyYWluX2RhdGEsIHBhcnRpYWxfdHJhaW5fdGFyZ2V0cywNCiAgICB2YWxpZGF0aW9uX2RhdGEgPSBsaXN0KHZhbF9kYXRhLCB2YWxfdGFyZ2V0cyksDQogICAgZXBvY2hzID0gbnVtX2Vwb2NocywgYmF0Y2hfc2l6ZSA9IDEsIHZlcmJvc2UgPSAwDQogICkNCiAgbWFlX2hpc3RvcnkgPC0gaGlzdG9yeSRtZXRyaWNzJHZhbF9tZWFuX2Fic29sdXRlX2Vycm9yDQogIGFsbF9tYWVfaGlzdG9yaWVzIDwtIHJiaW5kKGFsbF9tYWVfaGlzdG9yaWVzLCBtYWVfaGlzdG9yeSkNCn0NCmBgYA0KDQpUZXJheiBtb8W8ZW15IG9ibGljennEhyDFm3JlZG5pIHd5bmlrIHdhbGlkYWNqaSB3c3p5c3RraWNoIHNrxYJhZG93eWNoIHBvc3pjemVnw7NsbnljaCBlcG9rLg0KDQpgYGB7cn0NCmF2ZXJhZ2VfbWFlX2hpc3RvcnkgPC0gZGF0YS5mcmFtZSgNCiAgZXBvY2ggPSBzZXEoMTpuY29sKGFsbF9tYWVfaGlzdG9yaWVzKSksDQogIHZhbGlkYXRpb25fbWFlID0gYXBwbHkoYWxsX21hZV9oaXN0b3JpZXMsIDIsIG1lYW4pDQopDQpgYGANCg0KUHJ6ZWRzdGF3bXkgdGUgZGFuZSBuYSB3eWtyZXNpZToNCg0KYGBge3J9DQpsaWJyYXJ5KGdncGxvdDIpDQpnZ3Bsb3QoYXZlcmFnZV9tYWVfaGlzdG9yeSwgYWVzKHggPSBlcG9jaCwgeSA9IHZhbGlkYXRpb25fbWFlKSkgKyBnZW9tX2xpbmUoKQ0KYGBgDQoNCld5a3JlcyBtb8W8ZSBva2F6YcSHIHNpxJkgZG/Fm8SHIHRydWRueSBkbyBwcnplYW5hbGl6b3dhbmlhIHogcG93b2R1IHNrYWxpIGkgZHXFvGVqIHdhcmlhbmNqaS4gU3Byw7NidWpteSB1enlza2HEhyBiYXJkemllaiBjenl0ZWxueSBvYnJheiB6YSBwb21vY8SFIGZ1bmtjamkgZ2VvbV9zbW9vdGgoKToNCg0KYGBge3J9DQpnZ3Bsb3QoYXZlcmFnZV9tYWVfaGlzdG9yeSwgYWVzKHggPSBlcG9jaCwgeSA9IHZhbGlkYXRpb25fbWFlKSkgKyBnZW9tX3Ntb290aCgpDQpgYGANCg0KWiBvc3RhdG5pZWdvIHd5a3Jlc3Ugd3luaWthLCDFvGUgxZtyZWRuaSBixYLEhWQgYmV6d3pnbMSZZG55IHByemVzdGFqZSB1bGVnYcSHIHBvcHJhd2llIHBvIDEyNSBlcG9rYWNoLiBQbyBwcnpla3JvY3plbml1IHRlZ28gcHVua3R1IG1vZGVsIHphY3p5bmEgdWxlZ2HEhyBwcnpldWN6ZW5pdS4NCg0KUG8gemFrb8WEY3plbml1IGRvc3RyYWphbmlhIHBvem9zdGHFgnljaCBwYXJhbWV0csOzdyBtb2RlbHUgKHBvemEgbGljemLEhSBlcG9rIG1vxbxlbXkgem1pZW5pxIcgcsOzd25pZcW8IHJvem1pYXIgd2Fyc3R3IHVrcnl0eWNoKSBwcnplcHJvd2FkemFteSB0cmVub3dhbmllIG9zdGF0ZWN6bmVqIHdlcnNqaSBtb2RlbHUgbmEgY2HFgnltIHpiaW9yemUgZGFueWNoIHRyZW5pbmdvd3ljaCAodyBwcm9jZXNpZSB0eW0ga29yenlzdGFteSB6IG9wdHltYWxueWNoIHBhcmFtZXRyw7N3KSwgYSBuYXN0xJlwbmllIHNwcmF3ZHphbXkgamVnbyB3eWRham5vxZvEhyBuYSB6YmlvcnplIHRlc3Rvd3ltLg0KDQpgYGB7ciwgZWNobz1GQUxTRSwgcmVzdWx0cz0naGlkZSd9DQojIFV0d8Ozcnogbm93xIUsIHNrb21waWxvd2FuxIUgd2Vyc2rEmSBtb2RlbHUuDQptb2RlbCA8LSBidWlsZF9tb2RlbCgpDQoNCiMgVHJlbnVqIG1vZGVsIG5hIGNhxYJ5bSB6YmlvcnplIGRhbnljaCB0cmVuaW5nb3d5Y2guDQptb2RlbCAlPiUgZml0KHRyYWluX2RhdGEsIHRyYWluX3RhcmdldHMsDQogICAgICAgICAgZXBvY2hzID0gODAsIGJhdGNoX3NpemUgPSAxNiwgdmVyYm9zZSA9IDApDQoNCnJlc3VsdCA8LSBtb2RlbCAlPiUgZXZhbHVhdGUodGVzdF9kYXRhLCB0ZXN0X3RhcmdldHMpDQpgYGANCg0KYGBge3J9DQpyZXN1bHQNCmBgYA0KDQpXZSBhcmUgc3RpbGwgb2ZmIGJ5IGFib3V0IFwkMiw2ODAuDQoNCiMjIFduaW9za2kNCg0KDQpPdG8gd25pb3NraSwga3TDs3JlIG5hbGXFvHkgd3luaWXFm8SHIHogdGVnbyBwcnp5a8WCYWR1Og0KDQoqIFJlZ3Jlc2rEmSBwcnplcHJvd2FkemEgc2nEmSBwcnp5IHXFvHljaXUgaW5uZWogZnVua2NqaSBzdHJhdHkgb2QgdGVqLCB6IGt0w7NyZWoga29yenlzdGFsacWbbXkgcG9kY3phcyBrbGFzeWZpa2FjamkuIFcgY3phc2llIHJvendpxIV6eXdhbmlhIHByb2JsZW3Ds3cgZG90eWN6xIVjeWNoIHJlZ3Jlc2ppIGN6xJlzdG8gc3Rvc3VqZSBzacSZIGZ1bmtjasSZIHN0cmF0eSBtc2UgKMWbcmVkbmllZ28gYsWCxJlkdSBrd2FkcmF0b3dlZ28pLg0KKiBQb2RjemFzIHByYWN5IG5hZCBwcm9ibGVtZW0gcmVncmVzamkgc3Rvc3VqZSBzacSZIHLDs3duaWXFvCBpbm5lIG1ldHJ5a2kgZXdhbHVhY3lqbmUgKG5pZSB1xbx5d2Egc2nEmSB0eWNoIHNhbXljaCBtZXRyeWssIGt0w7NyZSBzxIUgc3Rvc293YW5lIHcgcHJvYmxlbWFjaCBrbGFzeWZpa2FjamkpLiBPY3p5d2nFm2NpZSB3eW5pa2EgdG8geiB0ZWdvLCDFvGUga29uY2VwY2phIGRva8WCYWRub8WbY2kgbmllIG9kbm9zaSBzacSZIGRvIHJlZ3Jlc2ppLiBNZXRyeWvEhSBzdG9zb3dhbsSFIHcgcmVncmVzamkgamVzdCDFm3JlZG5pIGLFgsSFZCBiZXp3emdsxJlkbnkgcmVhbGl6b3dhbnkgcHJ6ZXogZnVua2NqxJkgbWFlLg0KKiBKZcW8ZWxpIGNlY2h5IGRhbnljaCB3ZWrFm2Npb3d5Y2ggcHJ6eWptdWrEhSB3YXJ0b8WbY2kgbyByw7PFvG55Y2ggemFrcmVzYWNoLCB0byBrYcW8ZGEgY2VjaGEgcG93aW5uYSB6b3N0YcSHIG5pZXphbGXFvG5pZSBwcnplc2thbG93YW5hIHBvZGN6YXMgd3N0xJlwbmVqIG9icsOzYmtpIGRhbnljaC4NCiogVyBwcmFjeSB6IG1hxYJ5bSB6YmlvcmVtIGRhbnljaCBld2FsdWFjasSZIG1vZGVsdSB3YXJ0byBqZXN0IG9jZW5pYcSHIHByenkgdcW8eWNpdSB0ZWNobmlraSBrLXNrxYJhZG93ZWogd2FsaWRhY2ppIGtyennFvG93ZWouDQoqIFcgcHJhY3kgeiBtYcWCeW0gemJpb3JlbSBkYW55Y2ggbGVwaWVqIGplc3Qga29yenlzdGHEhyB6IG1hxYJlaiBzaWVjaSB6IGtpbGtvbWEgd2Fyc3R3YW1pIHVrcnl0eW1pICh6d3lrbGUgc3Rvc3VqZSBzacSZIG9kIDEgZG8gMiB3YXJzdHcpLCBjbyBwb3p3b2xpIHVuaWtuxIXEhyBwcnpldWN6ZW5pYSBtb2RlbHUuDQo=