Angenommen Sie haben einen Cousin in Spanien mit dem Sie regen Kontakt haben und den Sie auch immer wieder besuchen.
Sie kommen bei einem Besuch in Spanien auf die aktuelle Lage in seinem Heimatland zu sprechen. Ihr Cousin berichtet über die sehr hohe Arbeitslosigkeit, insbesondere Jugendarbeitslosigkeit in seinem Land. Er behauptet, dass Sie dies nicht nachvollziehen könnten, da es in Deutschland praktisch keine Arbeitslosigkeit gibt. Daheim angekommen schauen Sie sich die Daten zur Arbeitslosigkeit im Euro-Raum an (was Sie auch im 2. - 4. RTutor Problem Set machen) und sehen in der Tat, dass Deutschland eine der niedrigsten Arbeitslosenquoten aller Euro-Länder hat und Spanien deutlich höhere Arbeitslosenquoten aufweist. Doch hat ihr Cousin recht, wenn er davon spricht, dass Deutschland keine Arbeitslosigkeit kennt? Gilt dies für alle Regionen in Deutschland, oder gibt es auch in Deutschland Regionen mit hohen Arbeitslosenquoten? Wenn Sie regionale Unterschiede finden, welche Gründe könnte dies haben?
Dem wollen wir in dieser Case-Study auf den Grund gehen.
Ziele der Case Study
Diese Case-Study besteht aus mehreren Teilen und wird Sie durch die komplette Vorlesung als konkretes Anschauungsobjekt begleiten. Hierbei dient die Case-Study hauptsächlich dazu, ihnen an einem konkreten und umfangreichen Beispiel die Kenntnisse für eine erfolgreiche Projektarbeit zu vermitteln und diese Kenntnisse zu vertiefen. Natürlich können Sie die Case-Study auch als Referenz heranziehen, wenn Sie ihre eigene Projektarbeit anfertigen.
Daten beschaffen
Wir wollen uns in diesem Tutorial mit der Pro-Kopf Verschuldung, der Arbeitslosigkeit und dem BIP in einzelnen Regionen in Deutschland beschäftigen und hier mögliche regionale Unterschiede aufdecken.
Im Ersten Schritt ist es wichtig sich zu überlegen, woher Sie ihre Datensätze beziehen. Um makroökonomische Informationen zum BIP oder der Arbeitslosigkeit zu erhalten empfiehlt es sich immer auf die Seiten des Statistischen Bundesamtes oder der Bundesagentur für Arbeit zu schauen. Hier finden Sie z.B. Quartalsinformationen zu BIP und Arbeitslosigkeit für ganz Deutschland.
In dieser Case-Study wollen wir jedoch etwas feingranularere Informationenen sammeln, und zwar auf Landkreis-, Verwaltungs-, bzw. Gemeindeebene.
Uns interessieren die Pro-Kopf Verschulung, Arbeitslosigkeit und das BIP.
Nötige Pakete laden
Bevor wir mit der Analyse starten sollten wir einige Pakete in R laden, welche wir später verwenden möchten, da sie uns bei der Analyse unterstützen können. Dies geschieht mit dem library()
Befehl.
(Alternative: Vor jeden Befehl das dazugehörige Paket schreiben, d.h. statt read_xlsx
könnten wir auch readxl::read_xlsx
. Jedoch wollen wir dies in dem Projektkurs nicht tun.)
library(readxl)
library(tidyverse)
library(skimr)
Daten herunterladen
Mit den Befehlen aus dem readxl
und readr
Paketen könnten Sie direkt URLs einlesen, wenn sich dahinter Text,- bzw. Excel Datei verbergen, was bei uns der Fall ist. Allerdings sollten wir davon nur selten Gebrauch machen, denn es könnte immer sein das die Daten im Internet modifiziert oder unter der vorherigen URL nicht mehr auffindbar sind. Daher wollen wir die gewünschten Daten, welche wir zur Analyse benötigen immer in einem Unterordner data
abspeichern und dann aus diesem Ordner einlesen. So stellen wir sicher, dass wir immer auf die Daten zurückgreifen können, auch wenn diese aus dem Netz gelöscht oder modifiziert werden.
Daten können innerhalb von R mit dem Befehl download.file()
heruntergeladen werden:
# Zuerst sollten Sie prüfen ob der Unterordner "data" bereits bei ihnen exisitert, und falls er nicht existiert sollten Sie diesen erstellen.
# Dies können Sie beispielsweise mit dem folgenden Befehl machen, wenn der Ordner schon existiert wird eine Warnmeldung ausgegeben:
dir.create(file.path(".", "data"))
# Durch die if-Bedingung prüfen Sie, ob die Datei bereits im "data"-Ordner vorhanden ist
# Verschuldung
if (!file.exists("./data/Schulden_2017.xlsx")){
download.file("https://www.statistikportal.de/sites/default/files/2018-11/Schulden_2018.xlsx", "./data/Schulden_2017.xlsx")
}
# Arbeitslose
if (!file.exists("./data/Arbeitslose_2017.xlsx.zip")){
download.file("https://statistik.arbeitsagentur.de/Statistikdaten/Detail/201712/iiia4/gem-jz/gem-jz-dlk-0-201712-zip.zip", "./data/Arbeitslose_2017.xlsx.zip")
}
# BIP pro Gemeinde
#Daten nicht mehr verfügbar auf der angegebenen Seite
if (!file.exists("./data/BIP_2017.xlsx.zip")){
download.file("https://www.statistik-bw.de/VGRdL/tbls/RV2014/R2B1.zip", "./data/BIP_2017.xlsx.zip")
}
Die Daten zur Verschuldung wollen wir absichtlich nicht unter “Schulden_2018.xlsx” abspeichern, sondern unter “Schulden_2017.xlsx”, da die Tabelle zwar in 2018 generiert wurde, sich aber auf das Jahr 2017 bezieht.
Die if
-Bedingung prüft ob der angegebene Datensatz bereits in unserem “data” Ordner enthalten ist. Wenn dies der Fall ist, so werden sie nicht mehr erneut heruntergeladen.
Daten einlesen
Im nächsten Schritt sollten wir die Daten in R einlesen. Beim Download haben wir schon an den URLs und auch an den heruntergeladenen Dateien gesehen, dass es sich bei zwei Downloads um ZIP-Archive (BIP und Anzahl an Arbeitslosen) handelt. Diese ZIP-Archive können wir mittels R extrahieren, diese anschließend einlesen und die extrahierte Datei wieder löschen. Dies hat den Vorteil, dass Sie ihre Dateien platzsparend auf ihrer Festplatte abspeichern und nur bei Bedarf entsprechend entpacken.
Anzahl an Arbeitslosen
Im ersten Schritt wollen wir uns mit den Daten zu den Arbeitslosen beschäftigen und die in dem ZIP-Archiv enthaltenen Dateien in R einlesen.
ZIP-Archiv entpacken
# Öffnen des ZIP-Archivs
alo_name <- as.character(unzip("./data/Arbeitslose_2017.xlsx.zip", list = TRUE)$Name)
unzip("./data/Arbeitslose_2017.xlsx.zip", alo_name)
Ok, nun haben wir die Daten entzipped und sehen, dass es sich um eine Excel-Datei handelt. Doch diese hat sehr viele unterschiedliche Tabellenblätter. Wie wissen wir, welches Tabellenblatt für uns von Interesse ist?
Dies können wir zum Einen mit excel_sheets
herausfinden, wenn die Tabellenblätter gut benannt sind:
excel_sheets(alo_name)
## [1] "Deckblatt" "Impressum" "Inhalt"
## [4] "Hinweis" "5" "6"
## [7] "7" "8" "9"
## [10] "Statistik-Infoseite"
Da die Tabellenblätter jedoch nicht unbedingt vielsagend beschriftet sind sollten wir das Tabellenblatt “Inhalt” einlesen und uns dieses anschauen. Eventuell werden wir hier schlauer.
alo_inhalt <- read_xlsx(alo_name, sheet = "Inhalt")
head(alo_inhalt, 15)
## # A tibble: 15 x 4
## ...1 ...2 ...3 `Arbeitslose nach Gemeinden Ja…
## <chr> <chr> <lgl> <chr>
## 1 <NA> <NA> NA <NA>
## 2 Inhaltsverzeichnis <NA> NA <NA>
## 3 <NA> <NA> NA <NA>
## 4 Berichtsmonat: Jahre… <NA> NA <NA>
## 5 <NA> <NA> NA <NA>
## 6 Arbeitslose nach Gem… <NA> NA <NA>
## 7 <NA> Impressum NA 2
## 8 <NA> Inhaltsverze… NA 3
## 9 <NA> Hinweise NA 4
## 10 Zugang <NA> NA <NA>
## 11 <NA> Insgesamt NA 5
## 12 Bestand <NA> NA <NA>
## 13 <NA> Insgesamt NA 6
## 14 <NA> Männer NA 7
## 15 <NA> Frauen NA 8
Hier erhalten wir einen Überblick über die Tabellenblätter und wo welche Informationen abgespeichert sind. Da wir uns für den Bestand an Arbeitslosen interessieren und hier nicht nach Frauen und Männern unterscheiden möchten, ist das Tabellenblatt 6
für uns das richtige.
Alternative: Schauen Sie sich die Excel-Datei in Excel oder LibreOffice an und entscheiden Sie dann, welches Tabellenblatt Sie einlesen möchten.
Entpackte Datei einlesen
Nun wissen wir, welches Tabellenblatt die für uns wichtige Information enthält:
alo <- read_xlsx(alo_name, sheet="6")
head(alo,10)
## # A tibble: 10 x 32
## ...1 ...2 ...3 ...4 ...5 ...6 ...7 ...8 ...9 ...10 ...11 ...12 ...13
## <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr>
## 1 Best… <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 2 Länd… <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 3 Beri… <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 4 <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 5 <NA> <NA> "Rec… <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> "Rec…
## 6 <NA> "Bun… "ins… "aus… <NA> <NA> <NA> daru… "aus… <NA> <NA> <NA> "ins…
## 7 <NA> "Reg… <NA> "unt… unte… "50 … "55 … <NA> "unt… unte… "50 … "55 … <NA>
## 8 Schl… "Gem… "1" "2" 3 "4" "5" 6 "7" 8 "9" "10" "11"
## 9 <NA> "Deu… "253… "478… 2306… "839… "529… 6552… "140… 71133 "136… "732… "855…
## 10 01 "Sch… "924… "207… 9703 "301… "187… 18688 "437" 2297 "347… "190… "309…
## # … with 19 more variables: ...14 <chr>, ...15 <chr>, ...16 <chr>, ...17 <chr>,
## # ...18 <chr>, ...19 <chr>, ...20 <chr>, ...21 <chr>, ...22 <chr>,
## # ...23 <chr>, ...24 <chr>, ...25 <chr>, ...26 <chr>, ...27 <chr>,
## # ...28 <chr>, ...29 <chr>, ...30 <chr>, ...31 <chr>, `Arbeitslose nach
## # Gemeinden Jahreszahlen 2017` <chr>
Ok. Hier ist es wohl nicht vorteilhaft von der ersten Zeile ab die Informationen aus dem Tabellenblatt einzulesen. So wie es aussieht sind in den ersten 3 Zeilen Informationen zum Tabellenblatt und dem Berichtsjahr enthalten, dann kommt eine leere Zeile und dann kommen die eigentlichen Spaltenbeschriftungen. Diese sind dann jedoch wiederum in 4 Zeilen unterteilt. Was sind denn hier nun die Spaltenüberschriften, d.h. die Variablennamen im Datensatz?
Spezifizieren welche Spalten eingelesen werden sollen
Hierzu überlegen wir uns folgendes:
- Welche Information benötigen wir aus der Tabelle
- Die Anzahl aller Arbeitslosen pro Gemeinde (d.h. SGB II und III gemeinsam)
- Die Anzahl der Arbeitslosen pro Gemeinde für einen bestimmten Rechtskreis (z.B. nur SGB II)
- Die Anzahl der Arbeitslosen pro Gemeinde für einen bestimmten Rechtskreis und ein bestimmtes Alter (z.B. SGB II alle unter 25 Jahre)
- Wie können wir die von uns benötigte Information möglichst einfach extrahieren
In unserem Fall benötigen wir die Information zur Anzahl aller Arbeitslosen pro Gemeinde, d.h. uns interessiert Spalte ...3
. Weiterhin benötigen wir den Schlüssel
um diese Datenquelle später mit anderen Datenquellen verbinden zu können. Außerdem wäre der Name der Gemeinde noch eine ganz nett Information. Der einfachste Weg an diese Information zu gelangen ist die ersten acht Zeilen abzuschneiden und die Daten erst ab dort einzulesen. Anschließend behalten wir nur die ersten 3 Spalten, da uns nur diese interessieren.
Das wollen wir nun machen:
# Daten einlesen von Tabellenblatt 6, ohne die ersten 8 Zeilen
alo <- read_xlsx(alo_name, sheet = "6", skip = 8)
# Die entzippte Datei wieder löschen
unlink(alo_name)
# Nun beschränken wir uns auf die ersten drei Spalten und benennen die Spalte `Schlüssel` noch in "Regionalschluessel", wie auch die Spalte `1` in "alo" um
# Weiterhin löschen wir alle Zeilen, für die "alo" auf NA gesetzt ist und die erste Zeile, die alle Arbeitslosen in ganz Deutschland beinhaltet
# Wir speichern den Datensatz als `data_alo` ab
data_alo <- alo %>%
select(c(`Schlüssel`, Gemeinde, `1`)) %>%
rename(Regionalschluessel = `Schlüssel`,
alo = `1`) %>%
filter(!is.na(alo) & Gemeinde!= "Deutschland")
Konsistenzcheck
Nun sollten wir noch die Daten auf Konsistenz prüfen. D.h. machen die Angaben Sinn und sind die Daten in sich konsistent? Hierfür sollten wir zum Einen externe Datenquellen untersuchen und zum Anderen die Daten intern auf konsistenz prüfen.
Wir haben hier sehr feingranulare Informationen über die Arbeitslosenzahl in 2017 vorliegen, jedoch können wir die Daten auch auf eine höhere Ebene aggregieren und damit leicht mit anderen Quellen vergleichen. Dies wollen wir hier tun:
- Zunächst lassen wir uns die Anzahl an Arbeitslosen für jedes Bundesland in 2017 ausgeben. In unserem Datensatz sind dies alle Datenpunkte mit einem zweistelligen
Regionalschluessel
. Wir müssen hier beachten, dass die Regionalschluessel
in der Klasse character
vorliegen, d.h. als Strings und nicht als Zahl. Deshalb können wir die Anzahl an “Buchstaben” für jeden Regionalschluessel
zählen. Dies geschieht über den Befehl nchar()
(number of characters)
- Nun sollten wir eine andere Datenquelle heranziehen und die Informationen gegenchecken. Bspw. könnten wir die Anzahl der Arbeitslosen für das Jahr 2017 unterteilt nach Ländern heranziehen. (Tabellenblatt 8)
check_alo_bundesland <- data_alo %>%
filter(nchar(Regionalschluessel) == 2) %>%
rename(bundesland = Regionalschluessel)
check_alo_bundesland
## # A tibble: 16 x 3
## bundesland Gemeinde alo
## <chr> <chr> <dbl>
## 1 01 Schleswig-Holstein 92434
## 2 02 Hamburg 69248
## 3 03 Niedersachsen 244260
## 4 04 Bremen 35687
## 5 05 Nordrhein-Westfalen 701219
## 6 06 Hessen 166286
## 7 07 Rheinland-Pfalz 106299
## 8 08 Baden-Württemberg 212837
## 9 09 Bayern 231353
## 10 10 Saarland 34672
## 11 11 Berlin 168991
## 12 12 Brandenburg 92648
## 13 13 Mecklenburg-Vorpommern 70982
## 14 14 Sachsen 140348
## 15 15 Sachsen-Anhalt 96960
## 16 16 Thüringen 68614
Wenn wir die Überprüfung mit der anderen Tabelle der Bundesagentur für Arbeit machen, dann sind beide Datenreihen identisch (lediglich Hessen weicht um eine Person ab).
Nun wollen wir noch die interne Konsistenz überprüfen. Hierfür berechnen wir die Anzahl an Arbeitslosen für jedes Bundesland als Summe der Arbeitslosen einer jeden Gemeinde.
# Nur Gemeindedaten nutzen, dann auf Bundeslandebende die Summe aus den Gemeindedaten berechnen
alo_meta <- data_alo %>%
filter(nchar(Regionalschluessel) == 8) %>%
mutate(landkreis = str_extract(Regionalschluessel, "^.{5}"),
bundesland = str_extract(Regionalschluessel, "^.{2}"))
alo_bundesland <- alo_meta %>%
group_by(bundesland) %>%
summarise(total_alo = sum(alo))
alo_landkreis <- alo_meta %>%
group_by(landkreis) %>%
summarise(total_alo = sum(alo)) %>%
rename(Regionalschluessel = landkreis)
Um einen besseren Überblick zu erhalten können wir unsere berechneten und die von der Agentur für Arbeit angegebenen Werte miteinander verbinden und die Differenz zwischen den beiden Tabellen berechnen:
check_consitency <- left_join(check_alo_bundesland, alo_bundesland, by = "bundesland")
check_consitency <- check_consitency %>%
mutate(diff = alo - total_alo)
check_consitency
## # A tibble: 16 x 5
## bundesland Gemeinde alo total_alo diff
## <chr> <chr> <dbl> <dbl> <dbl>
## 1 01 Schleswig-Holstein 92434 92449 -15
## 2 02 Hamburg 69248 69248 0
## 3 03 Niedersachsen 244260 244277 -17
## 4 04 Bremen 35687 35687 0
## 5 05 Nordrhein-Westfalen 701219 701212 7
## 6 06 Hessen 166286 166296 -10
## 7 07 Rheinland-Pfalz 106299 106287 12
## 8 08 Baden-Württemberg 212837 212835 2
## 9 09 Bayern 231353 231355 -2
## 10 10 Saarland 34672 34675 -3
## 11 11 Berlin 168991 168991 0
## 12 12 Brandenburg 92648 92644 4
## 13 13 Mecklenburg-Vorpommern 70982 70989 -7
## 14 14 Sachsen 140348 140348 0
## 15 15 Sachsen-Anhalt 96960 96960 0
## 16 16 Thüringen 68614 68609 5
Es scheint so, als ob es tatsächlich kleinere Differenzen zwischen den von der Agentur für Arbeit auf Bundeslandebene postulierten Zahlen zur Arbeitslosigkeit und den auf Basis der einzelnen Gemeinden berechneten Werten gibt. Diese Unterschiede sind jedoch marginal (Werte zwischen [-17,12]) und werden von uns im folgenden nicht näher untersucht.
Pro-Kopf Verschuldung
Der nächste Datensatz beinhaltet die Pro-Kopf-Verschuldung der deutschen Gemeinden. Hier handelt es sich wieder um Querschnittsdaten auf Gemeindeebene aus dem Jahr 2017.
Diesen Datensatz können wir von der Homepage des Statistischen Bundesamtes direkt als Excel-Tabelle herunterladen und müssen kein ZIP-Archiv entpacken. Allerdings sehen wir sehr schnell, das auch dieser Datensatz seine Tücken beim Einlesen bereithält, insbesondere wenn wir schauen, welche Tabellenblätter für unsere Analyse relevant sind:
excel_sheets("./data/Schulden_2017.xlsx")
## [1] "Titel" "Impressum" "Inhalt"
## [4] "Abkürzungen" "Erläuterungen" "SH"
## [7] "NI" "NW" "HE"
## [10] "RP" "BW" "BY"
## [13] "SL" "BB" "MV"
## [16] "SN" "ST" "TH"
## [19] "Statistische Ämter"
Mehrere Tabellenblätter einlesen
Nun sind nicht mehr alle Informationen in einem Tabellenblatt enthalten, sondern jedes Bundesland hat sein eigenes Tabellenblatt bekommen. Sprich, wir müssen eine Möglichkeit finden alle Tabellenblätter nacheinander einzulesen und zu verarbeiten.
Dies wollen wir mit einer for
-Schleife lösen, doch zuerst schauen wir uns an, welche Informationen wir aus den Tabellenblättern benötigen:
sh <- read_xlsx("./data/Schulden_2017.xlsx", sheet = "SH")
head(sh,20)
## # A tibble: 20 x 16
## `Zurück zum Inh… ...2 ...3 ...4 ...5 ...6 ...7 ...8 ...9 ...10 ...11
## <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr>
## 1 <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 2 <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 3 "Tabelle 1: … <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 4 "nach Höhe der … <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA>
## 5 "Regional-\r\ns… Geme… Verw… "Ein… Schu… "Sch… Schu… <NA> <NA> <NA> <NA>
## 6 <NA> <NA> <NA> <NA> <NA> <NA> zusa… Schu… ante… <NA> <NA>
## 7 <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> zusa… davo… <NA>
## 8 <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> <NA> 100% 50% …
## 9 <NA> <NA> <NA> <NA> EUR <NA> <NA> <NA> <NA> <NA> <NA>
## 10 <NA> <NA> <NA> <NA> 1 "2" 3 4 5 6 7
## 11 "010010000000" Flen… krei… "877… 5082… "579… 2979… 1126… 1853… 1822… 2906…
## 12 "010020000000" Kiel… krei… "247… 9488… "383… 5632… 5626… 5701… 4437… 0
## 13 "010030000000" Lübe… krei… "216… 1206… "556… 6014… 5938… 7606… 7027… 0
## 14 "010040000000" Neum… krei… "787… 4260… "540… 1233… 1152… 8176… 8103… 0
## 15 "01051" Krei… Krei… "{13… 6517… "487… 4309… 4302… 72975 0 0
## 16 "010510011011" Brun… amts… "127… 3493… "273… 5707… 5195… 5125… 0 0
## 17 "010510044044" Heid… amts… "215… 3705… "172… 2237… 1999… 2375… 0 1863…
## 18 "010515163" Amts… Amts… "{15… 1047… "66.… 1047… 9742… 72975 0 0
## 19 "010515163003" Aver… amts… "576" 1197… "207… 7796… 6325… 1471… 0 0
## 20 "010515163010" Bric… amts… "219" 4962… "226… 3336… 1865… 1471… 0 0
## # … with 5 more variables: ...12 <chr>, ...13 <chr>, ...14 <chr>, `Zurück zum
## # Inhalt...15` <chr>, ...16 <chr>
Für uns wichtig sind die Infos bzgl. des “Regionalschlüssels”, der “Gemeindename”, die “Einwohner” und die “Schuldes des öffentlichen Bereichs insgesamt”. Zur Überprüfung unserer Ergebnisse nehmen wir noch die “Schulden je Einwohner” mit in unseren Datensatz auf, d.h. die ersten sechs Spalten. Weiterhin stehen unsere Variablenbezeichnungen in Zeile 5, d.h. wir ignorieren die ersten 4 Zeilen beim Einlesen.
Der Übersicht halber wollen wir noch eine Spalte hinzufügen, welche den Namen des Tabellenblattes enthält, welches wir gerade eingelesen haben.
# Einlesen des Tabellenblattes "SH" ohne die ersten 5 Zeilen und nur die Spalten 1-6
schulden_individuell <- read_xlsx("./data/Schulden_2017.xlsx", sheet = "SH", skip = 5)[1:6]
# Umbenennen der ersten 6 Spalten
colnames(schulden_individuell) <- c("Regionalschluessel", "Gemeinde",
"Verwaltungsform", "Einwohner", "Schulden_gesamt", "Schulden_pro_kopf")
# Zusätzliche Spalte hinzufügen mit dem Namen des Tabellenblattes
schulden_individuell$Bundesland <- "SH"
Ok, nun haben wir die Daten für Schleswig-Holstein eingelesen und können mit einer for
-Schleife alle weiteren Bundesländer (Tabellenblätter) in der gleichen Form durchgehen:
# Daten mit for-Schleife einlesen (Struktur gleich wie im vorherigen Chunk)
sheet_names <- excel_sheets("./data/Schulden_2017.xlsx")
# Einlesen der Tabellenblätter 7-18 (alle Bundesländer)
sheet_read <- sheet_names[7:18]
for (i in 1:length(sheet_read)){
tmp <- read_xlsx("./data/Schulden_2017.xlsx", sheet = sheet_read[i], skip = 5)[1:6]
tmp$Bundesland <- sheet_read[i]
colnames(tmp) <- c("Regionalschluessel", "Gemeinde", "Verwaltungsform",
"Einwohner", "Schulden_gesamt", "Schulden_pro_kopf", "Bundesland")
# Daten aller weiteren Tabellenblätter unter den aktuellen Datensatz anheften
schulden_individuell <- bind_rows(schulden_individuell, tmp)
}
Variablen umformen
head(schulden_individuell,30)
## # A tibble: 30 x 7
## Regionalschlues… Gemeinde Verwaltungsform Einwohner Schulden_gesamt
## <chr> <chr> <chr> <chr> <chr>
## 1 <NA> <NA> <NA> <NA> <NA>
## 2 <NA> <NA> <NA> <NA> <NA>
## 3 <NA> <NA> <NA> <NA> <NA>
## 4 <NA> <NA> <NA> <NA> EUR
## 5 <NA> <NA> <NA> <NA> 1
## 6 010010000000 Flensbu… kreisfreie Sta… 87770 508281539
## 7 010020000000 Kiel, L… kreisfreie Sta… 247135 948848421
## 8 010030000000 Lübeck,… kreisfreie Sta… 216739 1206620094
## 9 010040000000 Neumüns… kreisfreie Sta… 78759 426019276
## 10 01051 Kreisve… Kreisverwaltung {133 684} 65179097
## # … with 20 more rows, and 2 more variables: Schulden_pro_kopf <chr>,
## # Bundesland <chr>
Wir sehen, es gibt immer noch einige Probleme:
- Die Werte unserer Variablen stehen nicht direkt unter dem Variablennamen, das ist für uns nicht optimal und ist der Anordnung in der Excel Datei geschuldet.
- Dies können wir am einfachsten bereinigen indem wir alle
NA
s im Regionalschlüssel entfernen (kein Regionalschlüssel bedeutet keine Zuordnung zu einer Region und damit für uns nicht nachvollziehbar).
- Die Variablen “Einwohner”, “Schulden_gesamt” und “Schulden_pro_Kopf” sind alle als
character
hinterlegt (<chr>
unter dem Variablennamen in der vorherigen Tabelle), wir wollen diese jedoch in numerischer Form um Berechnungen durchführen zu können
- Der Grund dür die Klasse
character
kann z.B. in Zeile 28 beobachtet werden. Hier wurden geschweifte Klammern verwendet um die Summe aller Variablen eines Amtsgebiets, Landkreis, Region etc. zu kennzeichnen.
- Im ersten Schritt wollen wir diese Summen einfach ignorieren da wir die jeweiligen Summen auch selbst berechnen können.
Anschließend wollen wir noch den landkreis
als die ersten 5 Zeichen im Regionalschlüssel definieren.
# Die Daten wurden noch nicht schön eingelesen, in der Excel Tabelle
# waren die Variablennamen über mehrere Reihen gezogen, dies müssen wir noch ausgleichen
schulden_bereinigt <- schulden_individuell %>%
filter(!is.na(Regionalschluessel)) %>%
mutate(Schulden_gesamt = as.numeric(Schulden_gesamt),
Einwohner = as.numeric(Einwohner),
Schulden_pro_kopf = as.numeric(Schulden_pro_kopf)) %>%
mutate(landkreis = str_extract(Regionalschluessel, "^.{5}"),
landkreis = ifelse(landkreis == "10575", "01057", landkreis)) #bei der Gemeinde Selent wurde in der Excel Tabelle die "0" vergessen, dies wird hier behoben
Es wurden immer noch einige NA
s erzeugt. Diese wollen wir uns noch näher anschauen:
filter(schulden_bereinigt, is.na(Einwohner))
## # A tibble: 2,400 x 8
## Regionalschlues… Gemeinde Verwaltungsform Einwohner Schulden_gesamt
## <chr> <chr> <chr> <dbl> <dbl>
## 1 01051 Kreisve… Kreisverwaltung NA 65179097
## 2 010515163 Amtsver… Amtsverwaltung NA 1047175
## 3 010515163_Summe… Burg-Sa… Amtsgebiet NA NA
## 4 010515166 Amtsver… Amtsverwaltung NA 3654294
## 5 010515166_Summe… Marne-N… Amtsgebiet NA NA
## 6 010515169 Amtsver… Amtsverwaltung NA 8632641
## 7 010515169_Summe… Eider Amtsgebiet NA NA
## 8 010515172 Amtsver… Amtsverwaltung NA 1867573
## 9 010515172_Summe… Heider … Amtsgebiet NA NA
## 10 010515175 Amtsver… Amtsverwaltung NA 896103
## # … with 2,390 more rows, and 3 more variables: Schulden_pro_kopf <dbl>,
## # Bundesland <chr>, landkreis <chr>
Wir müssen wohl noch mehr ausschließen als nur NA
s beim Regionalschlüssel, insgesamt 2400 Einträge bei denen die Variable “Einwohner” nicht vorhanden ist. Wir hatten bereits gesehen, dass die Summe aller Einwohner eines Landkreisen mit { Zahl }
in der Excel-Datei hervorgehoben wird. Wenn wir hier in R eine Typumwandlung erzwingen, dann kann R mit den {}
nichts anfangen und gibt uns deshalb ein NA
aus. Wir hier alle Einträge bei denen die Einwohner ein NA
stehen haben löschen, da wir die Daten selbst auf Basis der Informationen zu den Gemeinden des Landkreises berechnen können.
schulden_bereinigt <- schulden_bereinigt %>%
filter( !is.na( Einwohner ) )
Konsistenzcheck
Berechnung der Schulden pro Kopf von Hand
Um die interne Validität unserer Daten beurteilen zu können wollen wir im ersten Schritt eine Variable Schulden_pro_Kopf_new
generieren, welche die Schulden_pro_Kopf
von Hand berechnet. Wie schon im Abschnitt Variablen umformen erwähnt, müssen wir hierfür jedoch erst folgendes beachten, bevor wir Berechnungen durchführen können: - Wir müssen die geschweiften Klammern entfernen (mit str_remove_all
), als auch die Leerzeichen innerhalb der Zahlen (z.B. 15 653), was wir mit gsub("[[:space:]]")
erreichen. Tun wir das nicht, so würden wir wieder NA
s im Datensatz erhalten - Durch die ifelse Bedingung wird der Befehl str_remove_all
nur angewendet, wenn tatsächlich geschweifte Klammern vorhanden sind
# Erstellen der Vergleichstabelle
schulden_consistency <- schulden_individuell %>%
filter( !is.na(Einwohner) & !is.na(Regionalschluessel) ) %>%
mutate(Schulden_gesamt = ifelse(is.na(as.numeric(Schulden_gesamt))==TRUE,
as.numeric(gsub("[[:space:]]", "", str_remove_all(Schulden_gesamt, "[{}]"))),
as.numeric(Schulden_gesamt)),
Schulden_pro_kopf = ifelse(is.na(as.numeric(Schulden_pro_kopf))==TRUE,
as.numeric(gsub("[[:space:]]", "", str_remove_all(Schulden_pro_kopf, "[{}]"))),
as.numeric(Schulden_pro_kopf)),
Einwohner_num = ifelse(is.na(as.numeric(Einwohner))==TRUE,
as.numeric(gsub("[[:space:]]", "", str_remove_all(Einwohner, "[{}]"))),
as.numeric(Einwohner)),
Schulden_pro_kopf_new = round(Schulden_gesamt / Einwohner_num,2)) %>%
mutate(landkreis = str_extract(Regionalschluessel, "^.{5}"),
differenz = Schulden_pro_kopf - Schulden_pro_kopf_new)
Nun können wir uns anschauen, ob die von uns berechneten und die vom Statistischen Bundesamt angegebenen Werte zu den “Schulden_pro_Kopf” signifikant voneinander abweichen:
# range(schulden_consistency$differenz)
# oder schöne skim
skim_without_charts(schulden_consistency$differenz)
Data summary
Name |
schulden_consistency$diff… |
Number of rows |
13421 |
Number of columns |
1 |
_______________________ |
|
Column type frequency: |
|
numeric |
1 |
________________________ |
|
Group variables |
None |
Variable type: numeric
data |
12 |
1 |
0 |
0.09 |
-0.49 |
0 |
0 |
0 |
0.5 |
Die Differenzen liegen zwischen +/- 50 Cent und können vermutlich auf Rundungsfehler zurückgeführt werden. D.h. hier können wir die vom statistischen Bundesamt herausgegebenen Berechnungen auf Gemeindeebene verifizieren. Die angegebenen 12 nicht verfügbaren Werte sollten wir noch untersuchen, da hier keine Differenz berechnet werden konnte:
filter(schulden_consistency, is.na(differenz))
## # A tibble: 12 x 11
## Regionalschlues… Gemeinde Verwaltungsform Einwohner Schulden_gesamt
## <chr> <chr> <chr> <chr> <dbl>
## 1 033519501_Summe… Lohheid… Samtgemeindege… {768} NA
## 2 033589501_Summe… Osterhe… Samtgemeindege… {2 884} NA
## 3 052 Landsch… Landschaftsver… X 736700545
## 4 056 Landsch… Landschaftsver… X 671832895
## 5 058 Regiona… Kommunalverband X 132203729
## 6 067 Verwalt… Landeswohlfahr… X 30001419
## 7 074 Bezirks… Bezirksverband X 140470575
## 8 081a Landesw… Landeswohlfahr… X 5323363
## 9 081b Kommuna… Landeswohlfahr… X 0
## 10 091785127_Summe… Allersh… Verwaltungsgem… {7 190} NA
## 11 095725512_Summe… Auracht… Verwaltungsgem… {4 368} NA
## 12 144 Kommuna… Landeswohlfahr… X 10043701
## # … with 6 more variables: Schulden_pro_kopf <dbl>, Bundesland <chr>,
## # Einwohner_num <dbl>, Schulden_pro_kopf_new <dbl>, landkreis <chr>,
## # differenz <dbl>
Hier gibt es meist keine Angaben zu den Einwohnern, oder keine Angaben zu den Schulden. Der Großteil der angegebenen Verwaltungsformen sind Verbände und interessieren uns nicht. Daher müssen wir den fehlenden Werten keine gesonderte Beachtung schenken.
Vergleich der Schulden pro Kopf auf Landkreisebene
In einem weiteren Konsistenzcheck wollen wir die durchschnittliche Verschuldung pro Kopf auf Landkreisebene selbst berechnen und diese mit den vom Statistischen Bundesamt angegebenen Werten in der Tabelle abgleichen.
Hierfür entnehmen wir der Tabelle zuerst alle Informationen bzgl. Anzahl der “Einwohner”, “Schulden_gesamt” und “Schulden_pro_Kopf” für die Landkreise. Im Datensatz sehen wir, dass die Regionalschluessel für Landkreise die Worte “Summe” und “Kreis” enthalten, wenn das Statistische Bundesamt die Daten auf Landkreisebene aggregiert. Das wollen wir im folgenden nutzen:
# Wir filtern alle Reihen heraus, welche "_Summe" oder "Kreis" im Regionalschlüssel aufweisen
# Anschließend berechnen wir die durchschnittliche Verschuldung auf Landkreisebene
avg_versch_kreis <- schulden_consistency %>%
filter(str_detect(Regionalschluessel, "_Summe") & str_detect(Regionalschluessel, "Kreis")) %>%
group_by(landkreis, Gemeinde) %>%
summarise(avg_verschuldung = Schulden_pro_kopf, einwohner = Einwohner_num,
Gesamtschuld = Schulden_gesamt) %>%
arrange(desc(avg_verschuldung))
# Hier berechnen wir die Daten selbst
avg_versch_kreis_calc <- schulden_consistency %>%
# Ersetze Einwohner_num mit 0 für alle Regionalschlüssel kleiner als 12
mutate(Einwohner_num = ifelse(nchar(Regionalschluessel)<12,0, Einwohner_num)) %>%
# Nur Gemeinden betrachten
filter(nchar(Regionalschluessel)>=5 & str_detect(Regionalschluessel, "_Summe")==FALSE) %>%
# Auf Landkreisebene gruppieren
group_by(landkreis) %>%
summarise(einwohner_calc = sum(Einwohner_num), Gesamtschuld_calc = sum(Schulden_gesamt),
avg_verschuldung_calc = round(Gesamtschuld_calc/einwohner_calc,2)) %>%
arrange(desc(avg_verschuldung_calc))
# Verbinde beide Datensätze und berechne ob es siginfikante Abweichungen zwischen
# den ausgegebenen und berechneten Werten gibt
new <- left_join(avg_versch_kreis, avg_versch_kreis_calc, by="landkreis") %>%
mutate(differenz = avg_verschuldung - avg_verschuldung_calc) %>%
arrange( desc(differenz) )
# Ergebnis anschauen
#range(new$differenz)
# oder mit skim
skim_without_charts(new$differenz)
Data summary
Name |
new$differenz |
Number of rows |
294 |
Number of columns |
1 |
_______________________ |
|
Column type frequency: |
|
numeric |
1 |
________________________ |
|
Group variables |
None |
Variable type: numeric
data |
0 |
1 |
0.1 |
1.81 |
-0.49 |
-0.22 |
-0.01 |
0.23 |
30.58 |
Die Differenzen liegen auch hier zwischen +/- 50 Cent und können vermutlich auf Rundungsfehler zurückgeführt werden. D.h. hier können wir die vom statistischen Bundesamt herausgegebenen Berechnungen auf Landkreisebene verifizieren. Der Landkreis Plön bildet hier eine Ausnahme, dies liegt aber vermutlich an der Zuordnung einzelner Teilgemeinden zum Landkreis, welche sich in 2007 geändert hat (siehe Fußnote 2 im Excel-Tabellenblatt “SH”).
Bruttoinlandsprodukt
Im nächsten Schritt wollen wir uns die Daten zum Bruttoinlandsprodukt einzelner Landkreise anschauen und diese in R einlesen. Da diese wieder als ZIP-Archiv heruntergeladen wurden können wir unser vorheriges Schema auch auf diese Daten anwenden. Weiterhin beziehen wir aus diesem Excel-File die Anzahl an Erwerbstätigen, mit dem wir später die Arbeitslosenquote berechnen können und die Anzahl an Einwohner, mit denen wir das BIP-pro-Kopf anrechnen können.
ZIP-Archiv entpacken und nur einzelne Spalten einlesen
Folgende Schritte wollen wir in einem Chunk erledigen:
- Betrachten der entzippten Daten
- Tabellenblatt “1.1” ist für unsere Analyse ausschlaggebend (für das BIP)
- Tabellenblatt “3.1” ist für die Anzahl an Erwerbstätigen ausschlaggebend
- Tabellenblatt “5.” ist für die Anzahl an Einwohnern ausschlaggebend
- Die ersten vier Zeilen benötigen wir nicht
- Die letzte Zeile enthält eine kurze Beschreibung die wir nicht benötigen -> Behalte alle Zeilen, welche bei der
Lfd. Nr.
numerisch sind
- Die folgenden Variablen benötigen wir nicht für unsere Analyse und können entfernt werden:
Lfd. Nr.
, EU-Code
, NUTS 1
, NUTS 2
, NUTS 3
, Land
, Gebietseinheit
# Einlesen der Daten mit anschließendem aufräumen
bip_name <- as.character(unzip("./data/BIP_2017.xlsx.zip", list = TRUE)$Name)
unzip("./data/BIP_2017.xlsx.zip", bip_name)
# Blatt 1.1 einlesen und die ersten 4 Zeilen skippen
bip <- read_xlsx(bip_name, sheet="1.1", skip = 4)
erwerb <- read_xlsx(bip_name, sheet="3.1", skip = 4)
einwohner <- read_xlsx(bip_name, sheet = "5.", skip = 4)
unlink(bip_name)
# Zeile löschen in der die `Lfd. Nr.` nicht nummerisch ist
# Zusätzliche Spalten löschen
bip_wide <- bip %>%
filter(is.na(as.numeric(`Lfd. Nr.`))==FALSE) %>%
select(-c(`Lfd. Nr.`, `EU-Code`, `NUTS 1`, `NUTS 2`, `NUTS 3`, Land, Gebietseinheit)) %>%
rename(Regionalschluessel = `Regional-schlüssel`)
# Zeile löschen in der die `Lfd. Nr.` nicht nummerisch ist
# Zusätzliche Spalten löschen
erwerb_wide <- erwerb %>%
filter(is.na(as.numeric(`Lfd. Nr.`))==FALSE) %>%
select(-c(`Lfd. Nr.`, `EU-Code`, `NUTS 1`, `NUTS 2`, `NUTS 3`, Land, Gebietseinheit)) %>%
rename(Regionalschluessel = `Regional-schlüssel`)
einwohner_wide <- einwohner %>%
filter(is.na(as.numeric(`Lfd. Nr.`))==FALSE) %>%
select(-c(`Lfd. Nr.`, `EU-Code`, `NUTS 1`, `NUTS 2`, `NUTS 3`, Land, Gebietseinheit)) %>%
rename(Regionalschluessel = `Regional-schlüssel`)
head(bip_wide)
## # A tibble: 6 x 26
## Regionalschlues… `1992` `1994` `1995` `1996` `1997` `1998` `1999` `2000`
## <chr> <chr> <chr> <chr> <chr> <chr> <chr> <chr> <dbl>
## 1 08 25493… 26274… 27240… 27745… 28310… 29167… 30138… 3.10e5
## 2 081 10985… 11086… 11474… 11624… 12040… 12321… 12714… 1.30e5
## 3 08111 32014… 30887… 31479… 31988… 33589… 32711… 34128… 3.43e4
## 4 08115 11977… 11750… 11867… 12025… 13820… 13545… 14308… 1.38e4
## 5 08116 12212… 12462… 12748… 13166… 13291… 13937… 14189… 1.44e4
## 6 08117 5119.… 5264.… 5546.… 5746.7 5775.… 5944.… 6032.… 6.12e3
## # … with 17 more variables: `2001` <dbl>, `2002` <dbl>, `2003` <dbl>,
## # `2004` <dbl>, `2005` <dbl>, `2006` <dbl>, `2007` <dbl>, `2008` <dbl>,
## # `2009` <dbl>, `2010` <dbl>, `2011` <dbl>, `2012` <dbl>, `2013` <dbl>,
## # `2014` <dbl>, `2015` <dbl>, `2016` <dbl>, `2017` <dbl>
Dieser Datensatz ist ein sogenanntes Panel. In den vorherigen Datensätzen zur Anzahl der Arbeitslosen und der Pro-Kopf-Verschuldung hatten wir nur das Jahr 2017 gegeben. Nun haben wir die Entwicklung des BIP, die Anzahl an Erwerbstätigen und die Anzahl an Einwohnern seit 1992 bis 2017 für alle Landkreise in Deutschland.
Daten in das long
-Format überführen
Allerdings sind die Datensätze im wide
-Format, d.h. nicht tidy
und damit nicht so, wie wir ihn gerne hätten. Erinnern wir uns noch an die Bedingungen damit ein Datensätzen tidy
ist?
Im nächsten Schritt wollen wir den Datensatz nun ins long
-Format überführen und nutzen hierfür die Funktion pivot_longer
:
bip_long <- pivot_longer(bip_wide, cols = c("1992":"2017") , names_to = "Jahr", values_to = "BIP")
# Produziert den folgenden Fehler:
# Fehler: No common type for `1992` <character> and `2000` <double>.
Leider ist es hier nicht möglich die Datensätze direkt in das long
-Format zu überführen, insbesondere da die Klassen der Variablen 1992 bis 1999 character
sind und ab 2000 dann double
. Dies sagt uns die erscheinende Fehlermeldung:
Da wir wissen, dass das BIP, die Anzahl an Erwerbstätigen und die Anzahl an Einwohnern normalerweise numerisch wiedergegeben wird, ist wohl die Klasse double
korrekt und wir sollten die Spalten von 1992 bis 1999 entsprechend umformatieren.
#BIP von 1992 - 1999 umformen (als numerische Variable)
bip_double <- bip_wide %>%
select(`1992`:`1999`) %>%
mutate_if(is.character, as.double)
# Erwerbstätige von 1992 - 1999 umformen (als numerische Variable)
erwerb_double <- erwerb_wide %>%
select(`1992`:`1999`) %>%
mutate_if(is.character, as.double)
# Einwohner von 1992 - 1999 umformen (als numerische Variable)
einwohner_double <- einwohner_wide %>%
select(`1992`:`1999`) %>%
mutate_if(is.character, as.double)
Wir bekommen hier eine Warnmeldung das NA
s bei der Umwandlung erzeugt wurden. Derartige Warnungen sollten wir beachten und auf den Grund gehen. Nur so wissen wir, ob die Warnung für uns später unbeabsichtigte Auswirkungen hat.
Hierfür verbinden wir den neuen Datensatz bip_double
mit unserem bisher bestehenden bip_wide
und betrachten die Spalten in denen bip_double
NA
s enthält:
bip_wide_test <- bip_wide %>%
bind_cols(bip_double)
head(filter(bip_wide_test, is.na(`1992...27`)))
## # A tibble: 6 x 33
## Regionalschlues… `1992...2` `1994...3` `1995...4` `1996...5` `1997...6`
## <chr> <chr> <chr> <chr> <chr> <chr>
## 1 13003 . . . . .
## 2 13004 . . . . .
## 3 13071 . . . . .
## 4 13072 . . . . .
## 5 13073 . . . . .
## 6 13074 . . . . .
## # … with 27 more variables: `1998...7` <chr>, `1999...8` <chr>, `2000` <dbl>,
## # `2001` <dbl>, `2002` <dbl>, `2003` <dbl>, `2004` <dbl>, `2005` <dbl>,
## # `2006` <dbl>, `2007` <dbl>, `2008` <dbl>, `2009` <dbl>, `2010` <dbl>,
## # `2011` <dbl>, `2012` <dbl>, `2013` <dbl>, `2014` <dbl>, `2015` <dbl>,
## # `2016` <dbl>, `2017` <dbl>, `1992...27` <dbl>, `1994...28` <dbl>,
## # `1995...29` <dbl>, `1996...30` <dbl>, `1997...31` <dbl>, `1998...32` <dbl>,
## # `1999...33` <dbl>
Hier sehen wir bereits warum die Klasse der Variablen 1992
bis 1999
character
war und nicht double
. Für diese Jahre gab es für einige Regionen (Mecklenburg-Vorpommern und Niedersachen) keine Angaben zum BIP, den Erwerbstätigen oder den Einwohnern und daher wurden in der Excel Tabelle -
eingefügt. Daher ist für uns die Umwandlung zu NA
folgerichtig und wir können die Warnmeldung ignorieren und nur die transformierten Variablen mit der Klasse double
verwenden:
bip_wide <- bip_wide %>%
select(-(`1992`:`1999`)) %>%
bind_cols(bip_double)
erwerb_wide <- erwerb_wide %>%
select(-(`1992`:`1999`)) %>%
bind_cols(erwerb_double)
einwohner_wide <- einwohner_wide %>%
select(-(`1992`:`1999`)) %>%
bind_cols(einwohner_double)
Nun können wir den Datensatz ins long
-Format transferieren und nach dem Jahr sortieren. Da die Einwohner und Erwerbstätigen in 1000 Personen angegeben sind multiplizieren wir unsere Erwerbstätigen und Einwohner mit 1000. Das BIP ist in 1 Mio. Euro angegeben, daher die Multiplikation mit 1 Mio.:
# BIP ins long-Format
bip_long <- pivot_longer(bip_wide, cols = c("2000":"1999") , names_to = "Jahr", values_to = "bip") %>%
mutate( Jahr = as.numeric(Jahr),
bip = bip * 1000000) %>%
arrange( Jahr )
# Anzahl der Erwerbstätigen ins long-Format
erwerb_long <- pivot_longer(erwerb_wide, cols = c("2000":"1999") , names_to = "Jahr", values_to = "erw") %>%
mutate( Jahr = as.numeric(Jahr),
erw = erw * 1000) %>%
arrange( Jahr )
# Anzahl der Einwohner ins long-Format
einwohner_long <- pivot_longer(einwohner_wide, cols = c("2000":"1999") , names_to = "Jahr", values_to = "einwohner") %>%
mutate( Jahr = as.numeric(Jahr),
einwohner = einwohner * 1000) %>%
arrange( Jahr )
Konsistenzchecks
Wir haben die bereits in dem Abschnitt “Pro-Kopf Verschuldung” die Einwohner zur Berechnung der Pro-Kopf-Verschuldung für 2017 eingelesen. Für eine längerfristige Betrachtung haben wir in diesem Kapitel dann die Anzahl der Einwohner seit 1992 bis 2017 eingelesen. In diesem Konsistenzcheck wollen wir untersuchen ob die Anzahl der Einwohner aus beiden Datenquellen identisch ist. Hierbei ist es natürlich wichtig, wann die Daten zur Einwohnerzahl erhoben wurden und deshalb könnten diese auch geringfügig abweichen. Aber dem gehen wir nun auf den Grund:
schulden_check <- schulden_bereinigt %>%
group_by(landkreis) %>%
summarise( Schulden_pro_kopf_lk = sum(Schulden_gesamt)/sum(Einwohner), Einwohner = sum(Einwohner), Schulden_gesamt = sum(Schulden_gesamt)) %>%
rename(Regionalschluessel = landkreis)
einwohner_check <- left_join(schulden_check, filter(einwohner_long, Jahr == 2017), by=c("Regionalschluessel")) %>%
mutate(diff = Einwohner - einwohner) %>%
arrange(desc(diff))
Die Differenz liegt immer bei +/- 2000 Einwohnern, was im Toleranzbereich bei den großen Städte mit mehr als 120.000 Einwohnern ist. Der einzige extreme Ausreiser ist die Landeshauptstadt München. Hier gehen die Einwohnerzahlen um 10 181 Personen auseinander. Laut Wikipedia hat sich jedoch auch die Einwohnerzahl zwischen dem 31.12.2017 und dem 31.12.2018 um 15 000 Personen erhöht. Wenn die erste Quelle die Einwohnerzahlen von Anfang/Mitte 2018 hat und die zweite eher von Anfang/Mitte 2017 dann ist diese Abweichung also durchaus denkbar. Schauen wir uns hierzu die Quellen etwas näher an: Veröffentlichungsdatum der BIP Zahlen war August 2018, die Zahlen zu den Einkommen aus dem Report zu den Integrierten Schulden der Gemeinden stammen vom 30.06.2017, d.h. die Abweichungen in den Einwohnerzahlen könnten gut im Zeitpunkt der Erhebung der Einwohnerzahlen begründet sein. Daher werden wir den Differenzen nicht weiter nachgehen.
Um die langfristigen Entwicklungen des BIP pro Kopf zu visualisieren werden wir die dazugehörigen Einwohnerzahlen aus der Datenquelle zum BIP verwenden. Für die Pro-Kopf-Verschuldung jedoch die in der “Integrierten Schulden der Gemeinden” angegebenen Einwohnerzahl.
Kartenmaterial hinzufügen (optional)
Für eine spätere Visualisierung der Daten mittels einer Deutschlandkarte sollten wir uns noch Informationen zu den einzelnen Verwaltunsgrenzen als SHAPE-File herunterladen. Diese Informationen sind über das OpenData Portal des Bundesamts für Kartographie und Geodäsie verfügbar.
Die Dokumentation der Daten sollten wir uns immer zuerst anschauen, bevor wir die Datenquelle herunterladen. Dies gilt nicht nur für die Geodaten, sondern allgemein für alle Datenreihen.
Wir extrahieren uns hier die Informationen zu den Grenzen der Gemeinden, Verwaltungseinheiten, Landkreise und Bundesländer und speichern diese jeweils entsprechend ab. Um Geometriedaten einzulesen und diese später schön als Karte darstellen zu können müssen wir hier die Funktion st_read
aus dem sf
-Paket verwenden:
Da wir nur die Informationen zur Geometrie, z.B. der Landkreisgrenzen möchten, können wir die anderen Variablen auch aus dem Datensätz löschen. Wir behalten den Regionalschlüssel (RS), den Namen des Kreises/der Gemeinde (GEN) und die Geometrie (geometry).
Wir müssen uns zusätzlich noch etwas mit der Dokumentation des Kartenmaterials beschäftigen. Da wir nur die Verwaltungseinheiten ohne die Nord- und Ostsee und ohne den Bodensee darstellen möchten, so müssen wir noch auf GF = 4 filtern, wie auf Seite 9 der Dokumentation beschrieben wird (tun wir dies nicht, so hätten wir die Nordseegebiete doppelt drin):
Grundsätzlich gilt: Jede Verwaltungseinheit besitzt genau einen Attributsatz mit dem GF-Wert 4. Zusätzlich kann eine Verwaltungseinheit einen Attributsatz mit dem GF-Wert 2 besitzen.
# Auf GF == 4 filtern und RS als String speichern (ist aktuell als factor abgespeichert)
landkreise <- landkreise %>%
filter( GF==4 ) %>%
select(RS, GEN, geometry) %>%
mutate(Regionalschluessel = as.character(RS))
gemeinden <- gemeinden %>%
filter( GF==4 ) %>%
select(RS, GEN, geometry) %>%
mutate(Regionalschluessel = as.character(RS))
bundesland <- bundesland %>%
filter( GF==4 ) %>%
select(RS, GEN, geometry) %>%
mutate(Regionalschluessel = as.character(RS))
Datensätze zusammenführen
In diesem letzten Abschnitt möchten wir alles für die nächsten Schritte der Case Study vorbereiten. Genauer: Neben den einzelnen Datensätzen wollen wir zusätzlich die Informationen aus den verschiedenen Datensätzen kombinieren. Hierfür müssen wir zuerst die Informationen zur Verschuldung auf Landkreisebene aggregieren und die Daten zum BIP auf das Jahr 2017 einschränken. Anschließend können wir die Datensätze anhand des Regionalschlüssels miteinander verbinden.
Weiterhin wollen wir die geografischen Daten separat abspeichern und bei Bedarf anhand des Regionalschlüssels zu unserem Datensatz hinzumergen.
# Schulden auf Landkreisebene
schulden_kombi <- schulden_bereinigt %>%
group_by(landkreis) %>%
summarise( Schulden_pro_kopf_lk = sum(Schulden_gesamt)/sum(Einwohner), Einwohner = sum(Einwohner), Schulden_gesamt = sum(Schulden_gesamt)) %>%
rename(Regionalschluessel = landkreis)
# Anzahl an Erwerbstätigen für das Jahr 2017
erwerb_kombi <- erwerb_long %>%
filter(nchar(Regionalschluessel) == 5 & Jahr == 2017) %>%
select(-Jahr)
# Anzahl an Einwohner für das Jahr 2017
einwohner_kombi <- einwohner_long %>%
filter(nchar(Regionalschluessel) == 5 & Jahr == 2017) %>%
select(-Jahr)
# Namen der Landkreise
landkreis_name <- landkreise %>%
st_drop_geometry() %>%
select(-RS) %>%
mutate(bundesland = str_extract(Regionalschluessel, "^.{2}")) %>%
rename(landkreis_name = GEN)
# Namen der Bundesländer
bundesland_name <- bundesland %>%
st_drop_geometry() %>%
select(-RS) %>%
rename(bundesland = Regionalschluessel,
bundesland_name = GEN)
# Anzahl der Einwohner mit dem BIP verbinden um das BIP pro Kopf berechnen zu können
bip_zeitreihe <- left_join(bip_long, einwohner_long, by=c("Regionalschluessel", "Jahr")) %>%
mutate(bip_pro_kopf = bip / einwohner)
# BIP auf Landkreisebene im Jahr 2017
bip_kombi <- bip_zeitreihe %>%
filter(nchar(Regionalschluessel) == 5 & Jahr == 2017) %>%
select(-c(Jahr, einwohner))
# Datensätze zusammenführen
# Basisdatensatz -> Arbeitslosenzahlen pro Landkreis
# Name der Landkreise zumergen
daten1 <- left_join(alo_landkreis, landkreis_name, by = "Regionalschluessel")
# Namen der Bundesländer zumergen
daten1 <- daten1 %>% mutate(bundesland = str_extract(Regionalschluessel, "^.{2}"))
daten1 <- left_join(daten1, bundesland_name, by = "bundesland")
# Schulden zumergen
daten2 <- left_join(daten1, schulden_kombi, by = "Regionalschluessel")
# BIP zumergen
daten3 <- left_join(daten2, bip_kombi, by = "Regionalschluessel")
# Zahl der Erwerbstätigen zumergen
gesamtdaten <- left_join(daten3, erwerb_kombi, by = "Regionalschluessel")
saveRDS(gesamtdaten, "data/gesamtdaten.rds")
saveRDS(schulden_bereinigt, "data/schulden_bereinigt.rds")
saveRDS(bip_zeitreihe, "data/bip_zeitreihe.rds")
saveRDS(bundesland, "data/bundesland.rds")
saveRDS(gemeinden, "data/gemeinden.rds")
saveRDS(landkreise, "data/landkreise.rds")
Übungsaufgaben
Laden Sie sich das durchschnittliche Arbeitnehmerentgelt pro Arbeitnehmer und Landkreis auf der Seite der Statistischen Ämter des Bundes und der Länder herunter und lesen Sie diesen in R ein.
Finden Sie in dem heruntergeladenen Datensatz heraus, was der Unterschied zwischen Arbeitnehmerentgelt und Bruttolöhne- und Gehälter ist.
Lesen Sie die für Sie relevante Tabelle Bruttolöhne- und Gehälter in R ein.
Bereinigen Sie die Tabelle, d.h. der Datensatz sollte danach tidy
sein.
Berechnen Sie die Bruttolöhne pro Bundesland mit den Bruttolöhnen der einzelnen Landkreise als Konsistenzcheck.
Vergleichen Sie ihren Datensatz mit dem auf Github bereitgestellten Datensatz. Stimmen diese überein?
Verbinden Sie die Informationen zu den durchschnittlichen Einkommen mit dem gesamtdatensatz aus dem vorherigen Abschnitt.
LS0tCnRpdGxlOiAiQ2FzZSBTdHVkeSBmw7xyIERldXRzY2hsYW5kIgpvdXRwdXQ6IAogIGh0bWxfZG9jdW1lbnQ6CiAgICB0aGVtZTogY29zbW8KICAgIGNvZGVfZG93bmxvYWQ6IHRydWUKICAgIGNvZGVfZm9sZGluZzogaGlkZQogICAgdG9jOiB0cnVlCiAgICB0b2NfZmxvYXQ6IHRydWUKLS0tCgpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0Ka25pdHI6Om9wdHNfY2h1bmskc2V0KGVjaG8gPSBUUlVFLCBtZXNzYWdlPUZBTFNFKQpgYGAKCkFuZ2Vub21tZW4gU2llIGhhYmVuIGVpbmVuIENvdXNpbiBpbiBTcGFuaWVuIG1pdCBkZW0gU2llIHJlZ2VuIEtvbnRha3QgaGFiZW4gdW5kIGRlbiBTaWUgYXVjaCBpbW1lciB3aWVkZXIgYmVzdWNoZW4uCgpTaWUga29tbWVuIGJlaSBlaW5lbSBCZXN1Y2ggaW4gU3BhbmllbiBhdWYgZGllIGFrdHVlbGxlIExhZ2UgaW4gc2VpbmVtIEhlaW1hdGxhbmQgenUgc3ByZWNoZW4uIElociBDb3VzaW4gYmVyaWNodGV0IMO8YmVyIGRpZSBzZWhyIGhvaGUgQXJiZWl0c2xvc2lna2VpdCwgaW5zYmVzb25kZXJlIEp1Z2VuZGFyYmVpdHNsb3NpZ2tlaXQgaW4gc2VpbmVtIExhbmQuIEVyIGJlaGF1cHRldCwgZGFzcyBTaWUgZGllcyBuaWNodCBuYWNodm9sbHppZWhlbiBrw7ZubnRlbiwgZGEgZXMgaW4gRGV1dHNjaGxhbmQgcHJha3Rpc2NoIGtlaW5lIEFyYmVpdHNsb3NpZ2tlaXQgZ2lidC4gCkRhaGVpbSBhbmdla29tbWVuIHNjaGF1ZW4gU2llIHNpY2ggZGllIERhdGVuIHp1ciBBcmJlaXRzbG9zaWdrZWl0IGltIEV1cm8tUmF1bSBhbiAod2FzIFNpZSBhdWNoIGltIDIuIC0gNC4gUlR1dG9yIFByb2JsZW0gU2V0IG1hY2hlbikgdW5kIHNlaGVuIGluIGRlciBUYXQsIGRhc3MgRGV1dHNjaGxhbmQgZWluZSBkZXIgbmllZHJpZ3N0ZW4gQXJiZWl0c2xvc2VucXVvdGVuIGFsbGVyIEV1cm8tTMOkbmRlciBoYXQgdW5kIFNwYW5pZW4gZGV1dGxpY2ggaMO2aGVyZSBBcmJlaXRzbG9zZW5xdW90ZW4gYXVmd2Vpc3QuIApEb2NoIGhhdCBpaHIgQ291c2luIHJlY2h0LCB3ZW5uIGVyIGRhdm9uIHNwcmljaHQsIGRhc3MgRGV1dHNjaGxhbmQga2VpbmUgQXJiZWl0c2xvc2lna2VpdCBrZW5udD8gR2lsdCBkaWVzIGbDvHIgYWxsZSBSZWdpb25lbiBpbiBEZXV0c2NobGFuZCwgb2RlciBnaWJ0IGVzIGF1Y2ggaW4gRGV1dHNjaGxhbmQgUmVnaW9uZW4gbWl0IGhvaGVuIEFyYmVpdHNsb3NlbnF1b3Rlbj8gV2VubiBTaWUgcmVnaW9uYWxlIFVudGVyc2NoaWVkZSBmaW5kZW4sIHdlbGNoZSBHcsO8bmRlIGvDtm5udGUgZGllcyBoYWJlbj8KCkRlbSB3b2xsZW4gd2lyIGluIGRpZXNlciBDYXNlLVN0dWR5IGF1ZiBkZW4gR3J1bmQgZ2VoZW4uCgojIFppZWxlIGRlciBDYXNlIFN0dWR5CgpEaWVzZSBDYXNlLVN0dWR5IGJlc3RlaHQgYXVzIG1laHJlcmVuIFRlaWxlbiB1bmQgd2lyZCBTaWUgZHVyY2ggZGllIGtvbXBsZXR0ZSBWb3JsZXN1bmcgYWxzIGtvbmtyZXRlcyBBbnNjaGF1dW5nc29iamVrdCBiZWdsZWl0ZW4uIEhpZXJiZWkgZGllbnQgZGllIENhc2UtU3R1ZHkgaGF1cHRzw6RjaGxpY2ggZGF6dSwgaWhuZW4gYW4gZWluZW0ga29ua3JldGVuIHVuZCB1bWZhbmdyZWljaGVuIEJlaXNwaWVsIGRpZSBLZW5udG5pc3NlIGbDvHIgZWluZSBlcmZvbGdyZWljaGUgUHJvamVrdGFyYmVpdCB6dSB2ZXJtaXR0ZWxuIHVuZCBkaWVzZSBLZW5udG5pc3NlIHp1IHZlcnRpZWZlbi4gTmF0w7xybGljaCBrw7ZubmVuIFNpZSBkaWUgQ2FzZS1TdHVkeSBhdWNoIGFscyBSZWZlcmVueiBoZXJhbnppZWhlbiwgd2VubiBTaWUgaWhyZSBlaWdlbmUgUHJvamVrdGFyYmVpdCBhbmZlcnRpZ2VuLiAKCiMgRGF0ZW4gYmVzY2hhZmZlbgoKV2lyIHdvbGxlbiB1bnMgaW4gZGllc2VtIFR1dG9yaWFsIG1pdCBkZXIgUHJvLUtvcGYgVmVyc2NodWxkdW5nLCBkZXIgQXJiZWl0c2xvc2lna2VpdCB1bmQgZGVtIEJJUCBpbiBlaW56ZWxuZW4gUmVnaW9uZW4gaW4gRGV1dHNjaGxhbmQgYmVzY2jDpGZ0aWdlbiB1bmQgaGllciBtw7ZnbGljaGUgcmVnaW9uYWxlIFVudGVyc2NoaWVkZSBhdWZkZWNrZW4uCgpJbSBFcnN0ZW4gU2Nocml0dCBpc3QgZXMgd2ljaHRpZyBzaWNoIHp1IMO8YmVybGVnZW4sIHdvaGVyIFNpZSBpaHJlIERhdGVuc8OkdHplIGJlemllaGVuLiBVbSBtYWtyb8O2a29ub21pc2NoZSBJbmZvcm1hdGlvbmVuIHp1bSBCSVAgb2RlciBkZXIgQXJiZWl0c2xvc2lna2VpdCB6dSBlcmhhbHRlbiBlbXBmaWVobHQgZXMgc2ljaCBpbW1lciBhdWYgZGllIFNlaXRlbiBkZXMgU3RhdGlzdGlzY2hlbiBCdW5kZXNhbXRlcyBvZGVyIGRlciBCdW5kZXNhZ2VudHVyIGbDvHIgQXJiZWl0IHp1IHNjaGF1ZW4uIEhpZXIgZmluZGVuIFNpZSB6LkIuIFF1YXJ0YWxzaW5mb3JtYXRpb25lbiB6dSBCSVAgdW5kIEFyYmVpdHNsb3NpZ2tlaXQgZsO8ciBnYW56IERldXRzY2hsYW5kLgoKSW4gZGllc2VyIENhc2UtU3R1ZHkgd29sbGVuIHdpciBqZWRvY2ggZXR3YXMgZmVpbmdyYW51bGFyZXJlIEluZm9ybWF0aW9uZW5lbiBzYW1tZWxuLCB1bmQgendhciBhdWYgTGFuZGtyZWlzLSwgVmVyd2FsdHVuZ3MtLCBiencuIEdlbWVpbmRlZWJlbmUuCgpVbnMgaW50ZXJlc3NpZXJlbiBkaWUgKipQcm8tS29wZiBWZXJzY2h1bHVuZyoqLCAqKkFyYmVpdHNsb3NpZ2tlaXQqKiB1bmQgZGFzICoqQklQKiouCgotIERpZSBJbmZvcm1hdGlvbmVuIMO8YmVyIGRpZSBWZXJzY2h1bGR1bmcgZGVyICoqR2VtZWluZGVuKiogZmluZGVuIHdpciBhdWYgZGVuIFNlaXRlbiBkZXMgU3RhdGlzdGlzY2hlbiBCdW5kZXNhbXRzIGltIFJlcG9ydDogW0ludGVncmllcnRlIFNjaHVsZGVuIGRlciBHZW1laW5kZW4gdW5kIEdlbWVpbmRldmVyYsOkbmRlXShodHRwczovL3d3dy5zdGF0aXN0aWtwb3J0YWwuZGUvZGUvdmVyb2VmZmVudGxpY2h1bmdlbi9pbnRlZ3JpZXJ0ZS1zY2h1bGRlbi1kZXItZ2VtZWluZGVuLXVuZC1nZW1laW5kZXZlcmJhZW5kZSkuCi0gRGllIEluZm9ybWF0aW9uZW4genVyIEFyYmVpdHNsb3NpZ2tlaXQgYXVmICoqVmVyd2FsdHVuZ3NnZW1laW5zY2hhZnRzZWJlbmUqKiBmaW5kZW4gd2lyIGF1ZiBkZW4gU2VpdGVuIGRlciBbQnVuZGVzYWdlbnR1ciBmw7xyIEFyYmVpdF0oaHR0cHM6Ly9zdGF0aXN0aWsuYXJiZWl0c2FnZW50dXIuZGUvTmF2aWdhdGlvbi9TdGF0aXN0aWsvU3RhdGlzdGlrLW5hY2gtVGhlbWVuL0FyYmVpdHNsb3NlLXVuZC1nZW1lbGRldGVzLVN0ZWxsZW5hbmdlYm90L0FyYmVpdHNsb3NlL0FyYmVpdHNsb3NlLU5hdi5odG1sKS4KLSBEaWUgSW5mb3JtYXRpb25lbiB6dW0gQklQIGF1ZiAqKkxhbmRrcmVpc2ViZW5lKiogZmluZGVuIHdpciBhdWYgZGVuIFNlaXRlbiBkZXIgW1N0YXRpc3Rpc2NoZW4gw4RtdGVyIGRlcyBCdW5kZXMgdW5kIGRlciBMw6RuZGVyXShodHRwczovL3d3dy5zdGF0aXN0aWtwb3J0YWwuZGUvZGUvdmdyZGwpLgoKIyMgTsO2dGlnZSBQYWtldGUgbGFkZW4KCkJldm9yIHdpciBtaXQgZGVyIEFuYWx5c2Ugc3RhcnRlbiBzb2xsdGVuIHdpciBlaW5pZ2UgUGFrZXRlIGluIFIgbGFkZW4sIHdlbGNoZSB3aXIgc3DDpHRlciB2ZXJ3ZW5kZW4gbcO2Y2h0ZW4sIGRhIHNpZSB1bnMgYmVpIGRlciBBbmFseXNlIHVudGVyc3TDvHR6ZW4ga8O2bm5lbi4gRGllcyBnZXNjaGllaHQgbWl0IGRlbSBgbGlicmFyeSgpYCBCZWZlaGwuCgooKipBbHRlcm5hdGl2ZToqKiBWb3IgamVkZW4gQmVmZWhsIGRhcyBkYXp1Z2Vow7ZyaWdlIFBha2V0IHNjaHJlaWJlbiwgZC5oLiBzdGF0dCBgcmVhZF94bHN4YCBrw7ZubnRlbiB3aXIgYXVjaCBgcmVhZHhsOjpyZWFkX3hsc3hgLiBKZWRvY2ggd29sbGVuIHdpciBkaWVzIGluIGRlbSBQcm9qZWt0a3VycyBuaWNodCB0dW4uKSAKCmBgYHtyfQpsaWJyYXJ5KHJlYWR4bCkKbGlicmFyeSh0aWR5dmVyc2UpCmxpYnJhcnkoc2tpbXIpCmBgYAoKIyMgRGF0ZW4gaGVydW50ZXJsYWRlbgoKTWl0IGRlbiBCZWZlaGxlbiBhdXMgZGVtIGByZWFkeGxgIHVuZCBgcmVhZHJgIFBha2V0ZW4ga8O2bm50ZW4gU2llIGRpcmVrdCBVUkxzIGVpbmxlc2VuLCB3ZW5uIHNpY2ggZGFoaW50ZXIgVGV4dCwtIGJ6dy4gRXhjZWwgRGF0ZWkgdmVyYmVyZ2VuLCB3YXMgYmVpIHVucyBkZXIgRmFsbCBpc3QuIEFsbGVyZGluZ3Mgc29sbHRlbiB3aXIgZGF2b24gbnVyIHNlbHRlbiBHZWJyYXVjaCBtYWNoZW4sIGRlbm4gZXMga8O2bm50ZSBpbW1lciBzZWluIGRhcyBkaWUgRGF0ZW4gaW0gSW50ZXJuZXQgbW9kaWZpemllcnQgb2RlciB1bnRlciBkZXIgdm9yaGVyaWdlbiBVUkwgbmljaHQgbWVociBhdWZmaW5kYmFyIHNpbmQuIERhaGVyIHdvbGxlbiB3aXIgZGllIGdld8O8bnNjaHRlbiBEYXRlbiwgd2VsY2hlIHdpciB6dXIgQW5hbHlzZSBiZW7DtnRpZ2VuIGltbWVyIGluIGVpbmVtIFVudGVyb3JkbmVyIGBkYXRhYCBhYnNwZWljaGVybiB1bmQgZGFubiBhdXMgZGllc2VtIE9yZG5lciBlaW5sZXNlbi4gU28gc3RlbGxlbiB3aXIgc2ljaGVyLCBkYXNzIHdpciBpbW1lciBhdWYgZGllIERhdGVuIHp1csO8Y2tncmVpZmVuIGvDtm5uZW4sIGF1Y2ggd2VubiBkaWVzZSBhdXMgZGVtIE5ldHogZ2Vsw7ZzY2h0IG9kZXIgbW9kaWZpemllcnQgd2VyZGVuLiAKCkRhdGVuIGvDtm5uZW4gaW5uZXJoYWxiIHZvbiBSIG1pdCBkZW0gQmVmZWhsIGBkb3dubG9hZC5maWxlKClgIGhlcnVudGVyZ2VsYWRlbiB3ZXJkZW46CgpgYGB7ciAiRG93bmxvYWRfRGF0YSIsIGV2YWw9RkFMU0V9CiMgWnVlcnN0IHNvbGx0ZW4gU2llIHByw7xmZW4gb2IgZGVyIFVudGVyb3JkbmVyICJkYXRhIiBiZXJlaXRzIGJlaSBpaG5lbiBleGlzaXRlcnQsIHVuZCBmYWxscyBlciBuaWNodCBleGlzdGllcnQgc29sbHRlbiBTaWUgZGllc2VuIGVyc3RlbGxlbi4KIyBEaWVzIGvDtm5uZW4gU2llIGJlaXNwaWVsc3dlaXNlIG1pdCBkZW0gZm9sZ2VuZGVuIEJlZmVobCBtYWNoZW4sIHdlbm4gZGVyIE9yZG5lciBzY2hvbiBleGlzdGllcnQgd2lyZCBlaW5lIFdhcm5tZWxkdW5nIGF1c2dlZ2ViZW46CgpkaXIuY3JlYXRlKGZpbGUucGF0aCgiLiIsICJkYXRhIikpCgojIER1cmNoIGRpZSBpZi1CZWRpbmd1bmcgcHLDvGZlbiBTaWUsIG9iIGRpZSBEYXRlaSBiZXJlaXRzIGltICJkYXRhIi1PcmRuZXIgdm9yaGFuZGVuIGlzdAoKIyBWZXJzY2h1bGR1bmcKaWYgKCFmaWxlLmV4aXN0cygiLi9kYXRhL1NjaHVsZGVuXzIwMTcueGxzeCIpKXsKICBkb3dubG9hZC5maWxlKCJodHRwczovL3d3dy5zdGF0aXN0aWtwb3J0YWwuZGUvc2l0ZXMvZGVmYXVsdC9maWxlcy8yMDE4LTExL1NjaHVsZGVuXzIwMTgueGxzeCIsICIuL2RhdGEvU2NodWxkZW5fMjAxNy54bHN4IikKfQoKIyBBcmJlaXRzbG9zZQppZiAoIWZpbGUuZXhpc3RzKCIuL2RhdGEvQXJiZWl0c2xvc2VfMjAxNy54bHN4LnppcCIpKXsKICBkb3dubG9hZC5maWxlKCJodHRwczovL3N0YXRpc3Rpay5hcmJlaXRzYWdlbnR1ci5kZS9TdGF0aXN0aWtkYXRlbi9EZXRhaWwvMjAxNzEyL2lpaWE0L2dlbS1qei9nZW0tanotZGxrLTAtMjAxNzEyLXppcC56aXAiLCAiLi9kYXRhL0FyYmVpdHNsb3NlXzIwMTcueGxzeC56aXAiKQp9CgojIEJJUCBwcm8gR2VtZWluZGUKI0RhdGVuIG5pY2h0IG1laHIgdmVyZsO8Z2JhciBhdWYgZGVyIGFuZ2VnZWJlbmVuIFNlaXRlCmlmICghZmlsZS5leGlzdHMoIi4vZGF0YS9CSVBfMjAxNy54bHN4LnppcCIpKXsKICBkb3dubG9hZC5maWxlKCJodHRwczovL3d3dy5zdGF0aXN0aWstYncuZGUvVkdSZEwvdGJscy9SVjIwMTQvUjJCMS56aXAiLCAiLi9kYXRhL0JJUF8yMDE3Lnhsc3guemlwIikKfQpgYGAKCkRpZSBEYXRlbiB6dXIgVmVyc2NodWxkdW5nIHdvbGxlbiB3aXIgYWJzaWNodGxpY2ggbmljaHQgdW50ZXIgIlNjaHVsZGVuXzIwMTgueGxzeCIgYWJzcGVpY2hlcm4sIHNvbmRlcm4gdW50ZXIgIlNjaHVsZGVuXzIwMTcueGxzeCIsIGRhIGRpZSBUYWJlbGxlIHp3YXIgaW4gMjAxOCBnZW5lcmllcnQgd3VyZGUsIHNpY2ggYWJlciBhdWYgZGFzIEphaHIgMjAxNyBiZXppZWh0LgoKRGllIGBpZmAtQmVkaW5ndW5nIHByw7xmdCBvYiBkZXIgYW5nZWdlYmVuZSBEYXRlbnNhdHogYmVyZWl0cyBpbiB1bnNlcmVtICJkYXRhIiBPcmRuZXIgZW50aGFsdGVuIGlzdC4gV2VubiBkaWVzIGRlciBGYWxsIGlzdCwgc28gd2VyZGVuIHNpZSBuaWNodCBtZWhyIGVybmV1dCBoZXJ1bnRlcmdlbGFkZW4uCgojIERhdGVuIGVpbmxlc2VuCgpJbSBuw6RjaHN0ZW4gU2Nocml0dCBzb2xsdGVuIHdpciBkaWUgRGF0ZW4gaW4gUiBlaW5sZXNlbi4KQmVpbSBEb3dubG9hZCBoYWJlbiB3aXIgc2Nob24gYW4gZGVuIFVSTHMgdW5kIGF1Y2ggYW4gZGVuIGhlcnVudGVyZ2VsYWRlbmVuIERhdGVpZW4gZ2VzZWhlbiwgZGFzcyBlcyBzaWNoIGJlaSB6d2VpIERvd25sb2FkcyB1bSBaSVAtQXJjaGl2ZSAoQklQIHVuZCBBbnphaGwgYW4gQXJiZWl0c2xvc2VuKSBoYW5kZWx0LiBEaWVzZSBaSVAtQXJjaGl2ZSBrw7ZubmVuIHdpciBtaXR0ZWxzIFIgZXh0cmFoaWVyZW4sIGRpZXNlIGFuc2NobGllw59lbmQgZWlubGVzZW4gdW5kIGRpZSBleHRyYWhpZXJ0ZSBEYXRlaSB3aWVkZXIgbMO2c2NoZW4uIERpZXMgaGF0IGRlbiBWb3J0ZWlsLCBkYXNzIFNpZSBpaHJlIERhdGVpZW4gcGxhdHpzcGFyZW5kIGF1ZiBpaHJlciBGZXN0cGxhdHRlIGFic3BlaWNoZXJuIHVuZCBudXIgYmVpIEJlZGFyZiBlbnRzcHJlY2hlbmQgZW50cGFja2VuLgoKIyBBbnphaGwgYW4gQXJiZWl0c2xvc2VuCgpJbSBlcnN0ZW4gU2Nocml0dCB3b2xsZW4gd2lyIHVucyBtaXQgZGVuIERhdGVuIHp1IGRlbiBBcmJlaXRzbG9zZW4gYmVzY2jDpGZ0aWdlbiB1bmQgZGllIGluIGRlbSBaSVAtQXJjaGl2IGVudGhhbHRlbmVuIERhdGVpZW4gaW4gUiBlaW5sZXNlbi4KCiMjIFpJUC1BcmNoaXYgZW50cGFja2VuCgpgYGB7cn0KIyDDlmZmbmVuIGRlcyBaSVAtQXJjaGl2cwphbG9fbmFtZSA8LSBhcy5jaGFyYWN0ZXIodW56aXAoIi4vZGF0YS9BcmJlaXRzbG9zZV8yMDE3Lnhsc3guemlwIiwgbGlzdCA9IFRSVUUpJE5hbWUpCnVuemlwKCIuL2RhdGEvQXJiZWl0c2xvc2VfMjAxNy54bHN4LnppcCIsIGFsb19uYW1lKQpgYGAKCk9rLCBudW4gaGFiZW4gd2lyIGRpZSBEYXRlbiBlbnR6aXBwZWQgdW5kIHNlaGVuLCBkYXNzIGVzIHNpY2ggdW0gZWluZSBFeGNlbC1EYXRlaSBoYW5kZWx0LiBEb2NoIGRpZXNlIGhhdCBzZWhyIHZpZWxlIHVudGVyc2NoaWVkbGljaGUgVGFiZWxsZW5ibMOkdHRlci4gV2llIHdpc3NlbiB3aXIsIHdlbGNoZXMgVGFiZWxsZW5ibGF0dCBmw7xyIHVucyB2b24gSW50ZXJlc3NlIGlzdD8KCkRpZXMga8O2bm5lbiB3aXIgenVtIEVpbmVuIG1pdCBgZXhjZWxfc2hlZXRzYCBoZXJhdXNmaW5kZW4sIHdlbm4gZGllIFRhYmVsbGVuYmzDpHR0ZXIgZ3V0IGJlbmFubnQgc2luZDoKCmBgYHtyfQpleGNlbF9zaGVldHMoYWxvX25hbWUpCmBgYAoKRGEgZGllIFRhYmVsbGVuYmzDpHR0ZXIgamVkb2NoIG5pY2h0IHVuYmVkaW5ndCB2aWVsc2FnZW5kIGJlc2NocmlmdGV0IHNpbmQgc29sbHRlbiB3aXIgZGFzIFRhYmVsbGVuYmxhdHQgIkluaGFsdCIgZWlubGVzZW4gdW5kIHVucyBkaWVzZXMgYW5zY2hhdWVuLiBFdmVudHVlbGwgd2VyZGVuIHdpciBoaWVyIHNjaGxhdWVyLgoKYGBge3IsIG1lc3NhZ2U9RkFMU0V9CmFsb19pbmhhbHQgPC0gcmVhZF94bHN4KGFsb19uYW1lLCBzaGVldCA9ICJJbmhhbHQiKQpoZWFkKGFsb19pbmhhbHQsIDE1KQpgYGAKCkhpZXIgZXJoYWx0ZW4gd2lyIGVpbmVuIMOcYmVyYmxpY2sgw7xiZXIgZGllIFRhYmVsbGVuYmzDpHR0ZXIgdW5kIHdvIHdlbGNoZSBJbmZvcm1hdGlvbmVuIGFiZ2VzcGVpY2hlcnQgc2luZC4KRGEgd2lyIHVucyBmw7xyIGRlbiBCZXN0YW5kIGFuIEFyYmVpdHNsb3NlbiBpbnRlcmVzc2llcmVuIHVuZCBoaWVyIG5pY2h0IG5hY2ggRnJhdWVuIHVuZCBNw6RubmVybiB1bnRlcnNjaGVpZGVuIG3DtmNodGVuLCBpc3QgZGFzIFRhYmVsbGVuYmxhdHQgYDZgIGbDvHIgdW5zIGRhcyByaWNodGlnZS4KCioqQWx0ZXJuYXRpdmU6KiogU2NoYXVlbiBTaWUgc2ljaCBkaWUgRXhjZWwtRGF0ZWkgaW4gRXhjZWwgb2RlciBMaWJyZU9mZmljZSBhbiB1bmQgZW50c2NoZWlkZW4gU2llIGRhbm4sIHdlbGNoZXMgVGFiZWxsZW5ibGF0dCBTaWUgZWlubGVzZW4gbcO2Y2h0ZW4uCgojIyBFbnRwYWNrdGUgRGF0ZWkgZWlubGVzZW4KCk51biB3aXNzZW4gd2lyLCB3ZWxjaGVzIFRhYmVsbGVuYmxhdHQgZGllIGbDvHIgdW5zIHdpY2h0aWdlIEluZm9ybWF0aW9uIGVudGjDpGx0OgoKYGBge3IsIG1lc3NhZ2U9RkFMU0V9CmFsbyA8LSByZWFkX3hsc3goYWxvX25hbWUsIHNoZWV0PSI2IikKCmhlYWQoYWxvLDEwKQpgYGAKCk9rLiBIaWVyIGlzdCBlcyB3b2hsIG5pY2h0IHZvcnRlaWxoYWZ0IHZvbiBkZXIgZXJzdGVuIFplaWxlIGFiIGRpZSBJbmZvcm1hdGlvbmVuIGF1cyBkZW0gVGFiZWxsZW5ibGF0dCBlaW56dWxlc2VuLiBTbyB3aWUgZXMgYXVzc2llaHQgc2luZCBpbiBkZW4gZXJzdGVuIDMgWmVpbGVuIEluZm9ybWF0aW9uZW4genVtIFRhYmVsbGVuYmxhdHQgdW5kIGRlbSBCZXJpY2h0c2phaHIgZW50aGFsdGVuLCBkYW5uIGtvbW10IGVpbmUgbGVlcmUgWmVpbGUgdW5kIGRhbm4ga29tbWVuIGRpZSBlaWdlbnRsaWNoZW4gU3BhbHRlbmJlc2NocmlmdHVuZ2VuLiBEaWVzZSBzaW5kIGRhbm4gamVkb2NoIHdpZWRlcnVtIGluIDQgWmVpbGVuIHVudGVydGVpbHQuIFdhcyBzaW5kIGRlbm4gaGllciBudW4gZGllIFNwYWx0ZW7DvGJlcnNjaHJpZnRlbiwgZC5oLiBkaWUgVmFyaWFibGVubmFtZW4gaW0gRGF0ZW5zYXR6PyAKCiMjIFNwZXppZml6aWVyZW4gd2VsY2hlIFNwYWx0ZW4gZWluZ2VsZXNlbiB3ZXJkZW4gc29sbGVuCgpIaWVyenUgw7xiZXJsZWdlbiB3aXIgdW5zIGZvbGdlbmRlczoKCi0gV2VsY2hlIEluZm9ybWF0aW9uIGJlbsO2dGlnZW4gd2lyIGF1cyBkZXIgVGFiZWxsZQogIC0gRGllIEFuemFobCBhbGxlciBBcmJlaXRzbG9zZW4gcHJvIEdlbWVpbmRlIChkLmguIFNHQiBJSSB1bmQgSUlJIGdlbWVpbnNhbSkKICAtIERpZSBBbnphaGwgZGVyIEFyYmVpdHNsb3NlbiBwcm8gR2VtZWluZGUgZsO8ciBlaW5lbiBiZXN0aW1tdGVuIFJlY2h0c2tyZWlzICh6LkIuIG51ciBTR0IgSUkpCiAgLSBEaWUgQW56YWhsIGRlciBBcmJlaXRzbG9zZW4gcHJvIEdlbWVpbmRlIGbDvHIgZWluZW4gYmVzdGltbXRlbiBSZWNodHNrcmVpcyB1bmQgZWluIGJlc3RpbW10ZXMgQWx0ZXIgKHouQi4gU0dCIElJIGFsbGUgdW50ZXIgMjUgSmFocmUpCi0gV2llIGvDtm5uZW4gd2lyIGRpZSB2b24gdW5zIGJlbsO2dGlndGUgSW5mb3JtYXRpb24gbcO2Z2xpY2hzdCBlaW5mYWNoIGV4dHJhaGllcmVuCgpJbiB1bnNlcmVtIEZhbGwgYmVuw7Z0aWdlbiB3aXIgZGllIEluZm9ybWF0aW9uIHp1ciBBbnphaGwgYWxsZXIgQXJiZWl0c2xvc2VuIHBybyBHZW1laW5kZSwgZC5oLiB1bnMgaW50ZXJlc3NpZXJ0IFNwYWx0ZSBgLi4uM2AuCldlaXRlcmhpbiBiZW7DtnRpZ2VuIHdpciBkZW4gYFNjaGzDvHNzZWxgIHVtIGRpZXNlIERhdGVucXVlbGxlIHNww6R0ZXIgbWl0IGFuZGVyZW4gRGF0ZW5xdWVsbGVuIHZlcmJpbmRlbiB6dSBrw7ZubmVuLiBBdcOfZXJkZW0gd8OkcmUgZGVyIE5hbWUgZGVyIEdlbWVpbmRlIG5vY2ggZWluZSBnYW56IG5ldHQgSW5mb3JtYXRpb24uIERlciBlaW5mYWNoc3RlIFdlZyBhbiBkaWVzZSBJbmZvcm1hdGlvbiB6dSBnZWxhbmdlbiBpc3QgZGllIGVyc3RlbiBhY2h0IFplaWxlbiBhYnp1c2NobmVpZGVuIHVuZCBkaWUgRGF0ZW4gZXJzdCBhYiBkb3J0IGVpbnp1bGVzZW4uCkFuc2NobGllw59lbmQgYmVoYWx0ZW4gd2lyIG51ciBkaWUgZXJzdGVuIDMgU3BhbHRlbiwgZGEgdW5zIG51ciBkaWVzZSBpbnRlcmVzc2llcmVuLgoKRGFzIHdvbGxlbiB3aXIgbnVuIG1hY2hlbjoKYGBge3J9CiMgRGF0ZW4gZWlubGVzZW4gdm9uIFRhYmVsbGVuYmxhdHQgNiwgb2huZSBkaWUgZXJzdGVuIDggWmVpbGVuCmFsbyA8LSByZWFkX3hsc3goYWxvX25hbWUsIHNoZWV0ID0gIjYiLCBza2lwID0gOCkKCiMgRGllIGVudHppcHB0ZSBEYXRlaSB3aWVkZXIgbMO2c2NoZW4KdW5saW5rKGFsb19uYW1lKQoKIyBOdW4gYmVzY2hyw6Rua2VuIHdpciB1bnMgYXVmIGRpZSBlcnN0ZW4gZHJlaSBTcGFsdGVuIHVuZCBiZW5lbm5lbiBkaWUgU3BhbHRlIGBTY2hsw7xzc2VsYCBub2NoIGluICJSZWdpb25hbHNjaGx1ZXNzZWwiLCB3aWUgYXVjaCBkaWUgU3BhbHRlIGAxYCBpbiAiYWxvIiB1bQojIFdlaXRlcmhpbiBsw7ZzY2hlbiB3aXIgYWxsZSBaZWlsZW4sIGbDvHIgZGllICJhbG8iIGF1ZiBOQSBnZXNldHp0IGlzdCB1bmQgZGllIGVyc3RlIFplaWxlLCBkaWUgYWxsZSBBcmJlaXRzbG9zZW4gaW4gZ2FueiBEZXV0c2NobGFuZCBiZWluaGFsdGV0CiMgV2lyIHNwZWljaGVybiBkZW4gRGF0ZW5zYXR6IGFscyBgZGF0YV9hbG9gIGFiCmRhdGFfYWxvIDwtIGFsbyAlPiUgCiAgc2VsZWN0KGMoYFNjaGzDvHNzZWxgLCBHZW1laW5kZSwgYDFgKSkgJT4lCiAgcmVuYW1lKFJlZ2lvbmFsc2NobHVlc3NlbCA9IGBTY2hsw7xzc2VsYCwKICAgICAgICAgYWxvID0gYDFgKSAlPiUKICBmaWx0ZXIoIWlzLm5hKGFsbykgJiBHZW1laW5kZSE9ICJEZXV0c2NobGFuZCIpCmBgYAoKIyMgS29uc2lzdGVuemNoZWNrCgpOdW4gc29sbHRlbiB3aXIgbm9jaCBkaWUgRGF0ZW4gYXVmIEtvbnNpc3RlbnogcHLDvGZlbi4gRC5oLiBtYWNoZW4gZGllIEFuZ2FiZW4gU2lubiB1bmQgc2luZCBkaWUgRGF0ZW4gaW4gc2ljaCBrb25zaXN0ZW50PwpIaWVyZsO8ciBzb2xsdGVuIHdpciB6dW0gRWluZW4gZXh0ZXJuZSBEYXRlbnF1ZWxsZW4gdW50ZXJzdWNoZW4gdW5kIHp1bSBBbmRlcmVuIGRpZSBEYXRlbiBpbnRlcm4gYXVmIGtvbnNpc3RlbnogcHLDvGZlbi4KCldpciBoYWJlbiBoaWVyIHNlaHIgZmVpbmdyYW51bGFyZSBJbmZvcm1hdGlvbmVuIMO8YmVyIGRpZSBBcmJlaXRzbG9zZW56YWhsIGluIDIwMTcgdm9ybGllZ2VuLCBqZWRvY2gga8O2bm5lbiB3aXIgZGllIERhdGVuIGF1Y2ggYXVmIGVpbmUgaMO2aGVyZSBFYmVuZSBhZ2dyZWdpZXJlbiB1bmQgZGFtaXQgbGVpY2h0IG1pdCBhbmRlcmVuIFF1ZWxsZW4gdmVyZ2xlaWNoZW4uIERpZXMgd29sbGVuIHdpciBoaWVyIHR1bjoKCi0gWnVuw6RjaHN0IGxhc3NlbiB3aXIgdW5zIGRpZSBBbnphaGwgYW4gQXJiZWl0c2xvc2VuIGbDvHIgamVkZXMgQnVuZGVzbGFuZCBpbiAyMDE3IGF1c2dlYmVuLiBJbiB1bnNlcmVtIERhdGVuc2F0eiBzaW5kIGRpZXMgYWxsZSBEYXRlbnB1bmt0ZSBtaXQgZWluZW0gendlaXN0ZWxsaWdlbiBgUmVnaW9uYWxzY2hsdWVzc2VsYC4gV2lyIG3DvHNzZW4gaGllciBiZWFjaHRlbiwgZGFzcyBkaWUgYFJlZ2lvbmFsc2NobHVlc3NlbGAgaW4gZGVyIEtsYXNzZSBgY2hhcmFjdGVyYCB2b3JsaWVnZW4sIGQuaC4gYWxzIFN0cmluZ3MgdW5kIG5pY2h0IGFscyBaYWhsLiBEZXNoYWxiIGvDtm5uZW4gd2lyIGRpZSBBbnphaGwgYW4gIkJ1Y2hzdGFiZW4iIGbDvHIgamVkZW4gYFJlZ2lvbmFsc2NobHVlc3NlbGAgesOkaGxlbi4gRGllcyBnZXNjaGllaHQgw7xiZXIgZGVuIEJlZmVobCBgbmNoYXIoKWAgKG51bWJlciBvZiBjaGFyYWN0ZXJzKQotIE51biBzb2xsdGVuIHdpciBlaW5lIGFuZGVyZSBEYXRlbnF1ZWxsZSBoZXJhbnppZWhlbiB1bmQgZGllIEluZm9ybWF0aW9uZW4gZ2VnZW5jaGVja2VuLiBCc3B3LiBrw7ZubnRlbiB3aXIgW2RpZSBBbnphaGwgZGVyIEFyYmVpdHNsb3NlbiBmw7xyIGRhcyBKYWhyIDIwMTcgdW50ZXJ0ZWlsdCBuYWNoIEzDpG5kZXJuIGhlcmFuemllaGVuXShodHRwczovL3N0YXRpc3Rpay5hcmJlaXRzYWdlbnR1ci5kZS9TdGF0aXN0aWtkYXRlbi9EZXRhaWwvMjAxNzEyL2lpaWE0L2FrdC1kYXQtanovYWt0LWRhdC1qei1kLTAtMjAxNzEyLXhsc3gueGxzeCkuIChUYWJlbGxlbmJsYXR0IDgpCgpgYGB7cn0KY2hlY2tfYWxvX2J1bmRlc2xhbmQgPC0gZGF0YV9hbG8gJT4lCiAgZmlsdGVyKG5jaGFyKFJlZ2lvbmFsc2NobHVlc3NlbCkgPT0gMikgJT4lCiAgcmVuYW1lKGJ1bmRlc2xhbmQgPSBSZWdpb25hbHNjaGx1ZXNzZWwpCgpjaGVja19hbG9fYnVuZGVzbGFuZApgYGAKCldlbm4gd2lyIGRpZSDDnGJlcnByw7xmdW5nIG1pdCBkZXIgYW5kZXJlbiBUYWJlbGxlIGRlciBCdW5kZXNhZ2VudHVyIGbDvHIgQXJiZWl0IG1hY2hlbiwgZGFubiBzaW5kIGJlaWRlIERhdGVucmVpaGVuIGlkZW50aXNjaCAobGVkaWdsaWNoIEhlc3NlbiB3ZWljaHQgdW0gZWluZSBQZXJzb24gYWIpLgoKTnVuIHdvbGxlbiB3aXIgbm9jaCBkaWUgaW50ZXJuZSBLb25zaXN0ZW56IMO8YmVycHLDvGZlbi4gSGllcmbDvHIgYmVyZWNobmVuIHdpciBkaWUgQW56YWhsIGFuIEFyYmVpdHNsb3NlbiBmw7xyIGplZGVzIEJ1bmRlc2xhbmQgYWxzIFN1bW1lIGRlciBBcmJlaXRzbG9zZW4gZWluZXIgamVkZW4gR2VtZWluZGUuCgpgYGB7cn0KIyBOdXIgR2VtZWluZGVkYXRlbiBudXR6ZW4sIGRhbm4gYXVmIEJ1bmRlc2xhbmRlYmVuZGUgZGllIFN1bW1lIGF1cyBkZW4gR2VtZWluZGVkYXRlbiBiZXJlY2huZW4KYWxvX21ldGEgPC0gZGF0YV9hbG8gJT4lIAogIGZpbHRlcihuY2hhcihSZWdpb25hbHNjaGx1ZXNzZWwpID09IDgpICU+JQogIG11dGF0ZShsYW5ka3JlaXMgPSBzdHJfZXh0cmFjdChSZWdpb25hbHNjaGx1ZXNzZWwsICJeLns1fSIpLAogICAgICAgICBidW5kZXNsYW5kID0gc3RyX2V4dHJhY3QoUmVnaW9uYWxzY2hsdWVzc2VsLCAiXi57Mn0iKSkKCmFsb19idW5kZXNsYW5kIDwtIGFsb19tZXRhICU+JQogIGdyb3VwX2J5KGJ1bmRlc2xhbmQpICU+JQogIHN1bW1hcmlzZSh0b3RhbF9hbG8gPSBzdW0oYWxvKSkKCmFsb19sYW5ka3JlaXMgPC0gYWxvX21ldGEgJT4lCiAgZ3JvdXBfYnkobGFuZGtyZWlzKSAlPiUKICBzdW1tYXJpc2UodG90YWxfYWxvID0gc3VtKGFsbykpICU+JQogIHJlbmFtZShSZWdpb25hbHNjaGx1ZXNzZWwgPSBsYW5ka3JlaXMpCmBgYAoKVW0gZWluZW4gYmVzc2VyZW4gw5xiZXJibGljayB6dSBlcmhhbHRlbiBrw7ZubmVuIHdpciB1bnNlcmUgYmVyZWNobmV0ZW4gdW5kIGRpZSB2b24gZGVyIEFnZW50dXIgZsO8ciBBcmJlaXQgYW5nZWdlYmVuZW4gV2VydGUgbWl0ZWluYW5kZXIgdmVyYmluZGVuIHVuZCBkaWUgRGlmZmVyZW56IHp3aXNjaGVuIGRlbiBiZWlkZW4gVGFiZWxsZW4gYmVyZWNobmVuOgoKYGBge3J9CmNoZWNrX2NvbnNpdGVuY3kgPC0gbGVmdF9qb2luKGNoZWNrX2Fsb19idW5kZXNsYW5kLCBhbG9fYnVuZGVzbGFuZCwgYnkgPSAiYnVuZGVzbGFuZCIpCgpjaGVja19jb25zaXRlbmN5IDwtIGNoZWNrX2NvbnNpdGVuY3kgJT4lCiAgbXV0YXRlKGRpZmYgPSBhbG8gLSB0b3RhbF9hbG8pCgpjaGVja19jb25zaXRlbmN5CmBgYAoKRXMgc2NoZWludCBzbywgYWxzIG9iIGVzIHRhdHPDpGNobGljaCBrbGVpbmVyZSBEaWZmZXJlbnplbiB6d2lzY2hlbiBkZW4gdm9uIGRlciBBZ2VudHVyIGbDvHIgQXJiZWl0IGF1ZiBCdW5kZXNsYW5kZWJlbmUgcG9zdHVsaWVydGVuIFphaGxlbiB6dXIgQXJiZWl0c2xvc2lna2VpdCB1bmQgZGVuIGF1ZiBCYXNpcyBkZXIgZWluemVsbmVuIEdlbWVpbmRlbiBiZXJlY2huZXRlbiBXZXJ0ZW4gZ2lidC4KRGllc2UgVW50ZXJzY2hpZWRlIHNpbmQgamVkb2NoIG1hcmdpbmFsIChXZXJ0ZSB6d2lzY2hlbiBbLTE3LDEyXSkgdW5kIHdlcmRlbiB2b24gdW5zIGltIGZvbGdlbmRlbiBuaWNodCBuw6RoZXIgdW50ZXJzdWNodC4KCiMgUHJvLUtvcGYgVmVyc2NodWxkdW5nCgpEZXIgbsOkY2hzdGUgRGF0ZW5zYXR6IGJlaW5oYWx0ZXQgZGllIFByby1Lb3BmLVZlcnNjaHVsZHVuZyBkZXIgZGV1dHNjaGVuIEdlbWVpbmRlbi4KSGllciBoYW5kZWx0IGVzIHNpY2ggd2llZGVyIHVtIFF1ZXJzY2huaXR0c2RhdGVuIGF1ZiBHZW1laW5kZWViZW5lIGF1cyBkZW0gSmFociAyMDE3LgoKRGllc2VuIERhdGVuc2F0eiBrw7ZubmVuIHdpciB2b24gZGVyIEhvbWVwYWdlIGRlcyBTdGF0aXN0aXNjaGVuIEJ1bmRlc2FtdGVzIGRpcmVrdCBhbHMgRXhjZWwtVGFiZWxsZSBoZXJ1bnRlcmxhZGVuIHVuZCBtw7xzc2VuIGtlaW4gWklQLUFyY2hpdiBlbnRwYWNrZW4uIApBbGxlcmRpbmdzIHNlaGVuIHdpciBzZWhyIHNjaG5lbGwsIGRhcyBhdWNoIGRpZXNlciBEYXRlbnNhdHogc2VpbmUgVMO8Y2tlbiBiZWltIEVpbmxlc2VuIGJlcmVpdGjDpGx0LCBpbnNiZXNvbmRlcmUgd2VubiB3aXIgc2NoYXVlbiwgd2VsY2hlIFRhYmVsbGVuYmzDpHR0ZXIgZsO8ciB1bnNlcmUgQW5hbHlzZSByZWxldmFudCBzaW5kOgoKYGBge3J9CmV4Y2VsX3NoZWV0cygiLi9kYXRhL1NjaHVsZGVuXzIwMTcueGxzeCIpCmBgYAoKIyMgTWVocmVyZSBUYWJlbGxlbmJsw6R0dGVyIGVpbmxlc2VuCgpOdW4gc2luZCBuaWNodCBtZWhyIGFsbGUgSW5mb3JtYXRpb25lbiBpbiAqKmVpbmVtIFRhYmVsbGVuYmxhdHQqKiBlbnRoYWx0ZW4sIHNvbmRlcm4gamVkZXMgQnVuZGVzbGFuZCBoYXQgc2VpbiBlaWdlbmVzIFRhYmVsbGVuYmxhdHQgYmVrb21tZW4uIFNwcmljaCwgd2lyIG3DvHNzZW4gZWluZSBNw7ZnbGljaGtlaXQgZmluZGVuIGFsbGUgVGFiZWxsZW5ibMOkdHRlciBuYWNoZWluYW5kZXIgZWluenVsZXNlbiB1bmQgenUgdmVyYXJiZWl0ZW4uCgpEaWVzIHdvbGxlbiB3aXIgbWl0IGVpbmVyIGBmb3JgLVNjaGxlaWZlIGzDtnNlbiwgZG9jaCB6dWVyc3Qgc2NoYXVlbiB3aXIgdW5zIGFuLCB3ZWxjaGUgSW5mb3JtYXRpb25lbiB3aXIgYXVzIGRlbiBUYWJlbGxlbmJsw6R0dGVybiBiZW7DtnRpZ2VuOgoKYGBge3IsIG1lc3NhZ2U9RkFMU0V9CnNoIDwtIHJlYWRfeGxzeCgiLi9kYXRhL1NjaHVsZGVuXzIwMTcueGxzeCIsIHNoZWV0ID0gIlNIIikKaGVhZChzaCwyMCkKYGBgCgpGw7xyIHVucyB3aWNodGlnIHNpbmQgZGllIEluZm9zIGJ6Z2wuIGRlcyAiUmVnaW9uYWxzY2hsw7xzc2VscyIsIGRlciAiR2VtZWluZGVuYW1lIiwgZGllICJFaW53b2huZXIiIHVuZCBkaWUgIlNjaHVsZGVzIGRlcyDDtmZmZW50bGljaGVuIEJlcmVpY2hzIGluc2dlc2FtdCIuIFp1ciDDnGJlcnByw7xmdW5nIHVuc2VyZXIgRXJnZWJuaXNzZSBuZWhtZW4gd2lyIG5vY2ggZGllICJTY2h1bGRlbiBqZSBFaW53b2huZXIiIG1pdCBpbiB1bnNlcmVuIERhdGVuc2F0eiBhdWYsIGQuaC4gZGllIGVyc3RlbiBzZWNocyBTcGFsdGVuLgpXZWl0ZXJoaW4gc3RlaGVuIHVuc2VyZSBWYXJpYWJsZW5iZXplaWNobnVuZ2VuIGluIFplaWxlIDUsIGQuaC4gd2lyIGlnbm9yaWVyZW4gZGllIGVyc3RlbiA0IFplaWxlbiBiZWltIEVpbmxlc2VuLgoKRGVyIMOcYmVyc2ljaHQgaGFsYmVyIHdvbGxlbiB3aXIgbm9jaCBlaW5lIFNwYWx0ZSBoaW56dWbDvGdlbiwgd2VsY2hlIGRlbiBOYW1lbiBkZXMgVGFiZWxsZW5ibGF0dGVzIGVudGjDpGx0LCB3ZWxjaGVzIHdpciBnZXJhZGUgZWluZ2VsZXNlbiBoYWJlbi4KCmBgYHtyLCBtZXNzYWdlPUZBTFNFfQojIEVpbmxlc2VuIGRlcyBUYWJlbGxlbmJsYXR0ZXMgIlNIIiBvaG5lIGRpZSBlcnN0ZW4gNSBaZWlsZW4gdW5kIG51ciBkaWUgU3BhbHRlbiAxLTYKc2NodWxkZW5faW5kaXZpZHVlbGwgPC0gcmVhZF94bHN4KCIuL2RhdGEvU2NodWxkZW5fMjAxNy54bHN4Iiwgc2hlZXQgPSAiU0giLCBza2lwID0gNSlbMTo2XQojIFVtYmVuZW5uZW4gZGVyIGVyc3RlbiA2IFNwYWx0ZW4KY29sbmFtZXMoc2NodWxkZW5faW5kaXZpZHVlbGwpIDwtIGMoIlJlZ2lvbmFsc2NobHVlc3NlbCIsICJHZW1laW5kZSIsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAiVmVyd2FsdHVuZ3Nmb3JtIiwgIkVpbndvaG5lciIsICJTY2h1bGRlbl9nZXNhbXQiLCAiU2NodWxkZW5fcHJvX2tvcGYiKQoKIyBadXPDpHR6bGljaGUgU3BhbHRlIGhpbnp1ZsO8Z2VuIG1pdCBkZW0gTmFtZW4gZGVzIFRhYmVsbGVuYmxhdHRlcwpzY2h1bGRlbl9pbmRpdmlkdWVsbCRCdW5kZXNsYW5kIDwtICJTSCIKYGBgCgpPaywgbnVuIGhhYmVuIHdpciBkaWUgRGF0ZW4gZsO8ciBTY2hsZXN3aWctSG9sc3RlaW4gZWluZ2VsZXNlbiB1bmQga8O2bm5lbiBtaXQgZWluZXIgYGZvcmAtU2NobGVpZmUgYWxsZSB3ZWl0ZXJlbiBCdW5kZXNsw6RuZGVyIChUYWJlbGxlbmJsw6R0dGVyKSBpbiBkZXIgZ2xlaWNoZW4gRm9ybSBkdXJjaGdlaGVuOiAKCmBgYHtyLCBtZXNzYWdlPUZBTFNFfQojIERhdGVuIG1pdCBmb3ItU2NobGVpZmUgZWlubGVzZW4gKFN0cnVrdHVyIGdsZWljaCB3aWUgaW0gdm9yaGVyaWdlbiBDaHVuaykKc2hlZXRfbmFtZXMgPC0gZXhjZWxfc2hlZXRzKCIuL2RhdGEvU2NodWxkZW5fMjAxNy54bHN4IikKIyBFaW5sZXNlbiBkZXIgVGFiZWxsZW5ibMOkdHRlciA3LTE4IChhbGxlIEJ1bmRlc2zDpG5kZXIpCnNoZWV0X3JlYWQgPC0gc2hlZXRfbmFtZXNbNzoxOF0KZm9yIChpIGluIDE6bGVuZ3RoKHNoZWV0X3JlYWQpKXsKICB0bXAgPC0gcmVhZF94bHN4KCIuL2RhdGEvU2NodWxkZW5fMjAxNy54bHN4Iiwgc2hlZXQgPSBzaGVldF9yZWFkW2ldLCBza2lwID0gNSlbMTo2XQogIHRtcCRCdW5kZXNsYW5kIDwtIHNoZWV0X3JlYWRbaV0KICBjb2xuYW1lcyh0bXApIDwtIGMoIlJlZ2lvbmFsc2NobHVlc3NlbCIsICJHZW1laW5kZSIsICJWZXJ3YWx0dW5nc2Zvcm0iLCAKICAgICAgICAgICAgICAgICAgICAgIkVpbndvaG5lciIsICJTY2h1bGRlbl9nZXNhbXQiLCAiU2NodWxkZW5fcHJvX2tvcGYiLCAiQnVuZGVzbGFuZCIpCiAgIyBEYXRlbiBhbGxlciB3ZWl0ZXJlbiBUYWJlbGxlbmJsw6R0dGVyIHVudGVyIGRlbiBha3R1ZWxsZW4gRGF0ZW5zYXR6IGFuaGVmdGVuCiAgc2NodWxkZW5faW5kaXZpZHVlbGwgPC0gYmluZF9yb3dzKHNjaHVsZGVuX2luZGl2aWR1ZWxsLCB0bXApCn0KYGBgCgojIyBWYXJpYWJsZW4gdW1mb3JtZW4KCmBgYHtyfQpoZWFkKHNjaHVsZGVuX2luZGl2aWR1ZWxsLDMwKQpgYGAKCldpciBzZWhlbiwgZXMgZ2lidCBpbW1lciBub2NoIGVpbmlnZSBQcm9ibGVtZToKCi0gRGllIFdlcnRlIHVuc2VyZXIgVmFyaWFibGVuIHN0ZWhlbiBuaWNodCBkaXJla3QgdW50ZXIgZGVtIFZhcmlhYmxlbm5hbWVuLCBkYXMgaXN0IGbDvHIgdW5zIG5pY2h0IG9wdGltYWwgdW5kIGlzdCBkZXIgQW5vcmRudW5nIGluIGRlciBFeGNlbCBEYXRlaSBnZXNjaHVsZGV0LiAKICAtIERpZXMga8O2bm5lbiB3aXIgYW0gZWluZmFjaHN0ZW4gYmVyZWluaWdlbiBpbmRlbSB3aXIgYWxsZSBgTkFgcyBpbSBSZWdpb25hbHNjaGzDvHNzZWwgZW50ZmVybmVuIChrZWluIFJlZ2lvbmFsc2NobMO8c3NlbCBiZWRldXRldCBrZWluZSBadW9yZG51bmcgenUgZWluZXIgUmVnaW9uIHVuZCBkYW1pdCBmw7xyIHVucyBuaWNodCBuYWNodm9sbHppZWhiYXIpLgotIERpZSBWYXJpYWJsZW4gIkVpbndvaG5lciIsICJTY2h1bGRlbl9nZXNhbXQiIHVuZCAiU2NodWxkZW5fcHJvX0tvcGYiIHNpbmQgYWxsZSBhbHMgYGNoYXJhY3RlcmAgaGludGVybGVndCAoYDxjaHI+YCB1bnRlciBkZW0gVmFyaWFibGVubmFtZW4gaW4gZGVyIHZvcmhlcmlnZW4gVGFiZWxsZSksIHdpciB3b2xsZW4gZGllc2UgamVkb2NoIGluIG51bWVyaXNjaGVyIEZvcm0gdW0gQmVyZWNobnVuZ2VuIGR1cmNoZsO8aHJlbiB6dSBrw7ZubmVuCiAgLSBEZXIgR3J1bmQgZMO8ciBkaWUgS2xhc3NlIGBjaGFyYWN0ZXJgIGthbm4gei5CLiBpbiBaZWlsZSAyOCBiZW9iYWNodGV0IHdlcmRlbi4gSGllciB3dXJkZW4gZ2VzY2h3ZWlmdGUgS2xhbW1lcm4gdmVyd2VuZGV0IHVtIGRpZSBTdW1tZSBhbGxlciBWYXJpYWJsZW4gZWluZXMgQW10c2dlYmlldHMsIExhbmRrcmVpcywgUmVnaW9uIGV0Yy4genUga2VubnplaWNobmVuLgogIC0gSW0gZXJzdGVuIFNjaHJpdHQgd29sbGVuIHdpciBkaWVzZSBTdW1tZW4gZWluZmFjaCBpZ25vcmllcmVuIGRhIHdpciBkaWUgamV3ZWlsaWdlbiBTdW1tZW4gYXVjaCBzZWxic3QgYmVyZWNobmVuIGvDtm5uZW4uCgpBbnNjaGxpZcOfZW5kIHdvbGxlbiB3aXIgbm9jaCBkZW4gYGxhbmRrcmVpc2AgYWxzIGRpZSBlcnN0ZW4gNSBaZWljaGVuIGltIFJlZ2lvbmFsc2NobMO8c3NlbCBkZWZpbmllcmVuLgoKYGBge3IsIHdhcm5pbmc9RkFMU0UsIG1lc3NhZ2U9RkFMU0V9CiMgRGllIERhdGVuIHd1cmRlbiBub2NoIG5pY2h0IHNjaMO2biBlaW5nZWxlc2VuLCBpbiBkZXIgRXhjZWwgVGFiZWxsZSAKIyB3YXJlbiBkaWUgVmFyaWFibGVubmFtZW4gw7xiZXIgbWVocmVyZSBSZWloZW4gZ2V6b2dlbiwgZGllcyBtw7xzc2VuIHdpciBub2NoIGF1c2dsZWljaGVuCnNjaHVsZGVuX2JlcmVpbmlndCA8LSBzY2h1bGRlbl9pbmRpdmlkdWVsbCAlPiUKICBmaWx0ZXIoIWlzLm5hKFJlZ2lvbmFsc2NobHVlc3NlbCkpICU+JQogIG11dGF0ZShTY2h1bGRlbl9nZXNhbXQgPSBhcy5udW1lcmljKFNjaHVsZGVuX2dlc2FtdCksCiAgICAgICAgIEVpbndvaG5lciA9IGFzLm51bWVyaWMoRWlud29obmVyKSwKICAgICAgICAgU2NodWxkZW5fcHJvX2tvcGYgPSBhcy5udW1lcmljKFNjaHVsZGVuX3Byb19rb3BmKSkgJT4lCiAgbXV0YXRlKGxhbmRrcmVpcyA9IHN0cl9leHRyYWN0KFJlZ2lvbmFsc2NobHVlc3NlbCwgIl4uezV9IiksCiAgICAgICAgIGxhbmRrcmVpcyA9IGlmZWxzZShsYW5ka3JlaXMgPT0gIjEwNTc1IiwgIjAxMDU3IiwgbGFuZGtyZWlzKSkgI2JlaSBkZXIgR2VtZWluZGUgU2VsZW50IHd1cmRlIGluIGRlciBFeGNlbCBUYWJlbGxlIGRpZSAiMCIgdmVyZ2Vzc2VuLCBkaWVzIHdpcmQgaGllciBiZWhvYmVuCgpgYGAKCkVzIHd1cmRlbiBpbW1lciBub2NoIGVpbmlnZSBgTkFgcyBlcnpldWd0LiBEaWVzZSB3b2xsZW4gd2lyIHVucyBub2NoIG7DpGhlciBhbnNjaGF1ZW46CgpgYGB7cn0KZmlsdGVyKHNjaHVsZGVuX2JlcmVpbmlndCwgaXMubmEoRWlud29obmVyKSkKYGBgCgpXaXIgbcO8c3NlbiB3b2hsIG5vY2ggbWVociBhdXNzY2hsaWXDn2VuIGFscyBudXIgYE5BYHMgYmVpbSBSZWdpb25hbHNjaGzDvHNzZWwsIGluc2dlc2FtdCAyNDAwIEVpbnRyw6RnZSBiZWkgZGVuZW4gZGllIFZhcmlhYmxlICJFaW53b2huZXIiIG5pY2h0IHZvcmhhbmRlbiBpc3QuIFdpciBoYXR0ZW4gYmVyZWl0cyBnZXNlaGVuLCBkYXNzIGRpZSBTdW1tZSBhbGxlciBFaW53b2huZXIgZWluZXMgTGFuZGtyZWlzZW4gbWl0IGB7IFphaGwgfWAgaW4gZGVyIEV4Y2VsLURhdGVpIGhlcnZvcmdlaG9iZW4gd2lyZC4gV2VubiB3aXIgaGllciBpbiBSIGVpbmUgVHlwdW13YW5kbHVuZyBlcnp3aW5nZW4sIGRhbm4ga2FubiBSIG1pdCBkZW4gYHt9YCBuaWNodHMgYW5mYW5nZW4gdW5kIGdpYnQgdW5zIGRlc2hhbGIgZWluIGBOQWAgYXVzLiBXaXIgaGllciBhbGxlIEVpbnRyw6RnZSBiZWkgZGVuZW4gZGllIEVpbndvaG5lciBlaW4gYE5BYCBzdGVoZW4gaGFiZW4gbMO2c2NoZW4sIGRhIHdpciBkaWUgRGF0ZW4gc2VsYnN0IGF1ZiBCYXNpcyBkZXIgSW5mb3JtYXRpb25lbiB6dSBkZW4gR2VtZWluZGVuIGRlcyBMYW5ka3JlaXNlcyBiZXJlY2huZW4ga8O2bm5lbi4KCmBgYHtyfQpzY2h1bGRlbl9iZXJlaW5pZ3QgPC0gc2NodWxkZW5fYmVyZWluaWd0ICU+JQogIGZpbHRlciggIWlzLm5hKCBFaW53b2huZXIgKSApCmBgYAoKIyMgS29uc2lzdGVuemNoZWNrCgojIyMgQmVyZWNobnVuZyBkZXIgU2NodWxkZW4gcHJvIEtvcGYgdm9uIEhhbmQKClVtIGRpZSBpbnRlcm5lIFZhbGlkaXTDpHQgdW5zZXJlciBEYXRlbiBiZXVydGVpbGVuIHp1IGvDtm5uZW4gd29sbGVuIHdpciBpbSBlcnN0ZW4gU2Nocml0dCBlaW5lIFZhcmlhYmxlIGBTY2h1bGRlbl9wcm9fS29wZl9uZXdgIGdlbmVyaWVyZW4sIHdlbGNoZSBkaWUgYFNjaHVsZGVuX3Byb19Lb3BmYCB2b24gSGFuZCBiZXJlY2huZXQuIApXaWUgc2Nob24gW2ltIEFic2Nobml0dCBWYXJpYWJsZW4gdW1mb3JtZW5dKCN2YXJpYWJsZW5fdW1mb3JtZW4pIGVyd8OkaG50LCBtw7xzc2VuIHdpciBoaWVyZsO8ciBqZWRvY2ggZXJzdCBmb2xnZW5kZXMgYmVhY2h0ZW4sIGJldm9yIHdpciBCZXJlY2hudW5nZW4gZHVyY2hmw7xocmVuIGvDtm5uZW46CiAgLSBXaXIgbcO8c3NlbiBkaWUgZ2VzY2h3ZWlmdGVuIEtsYW1tZXJuIGVudGZlcm5lbiAobWl0IGBzdHJfcmVtb3ZlX2FsbGApLCBhbHMgYXVjaCBkaWUgTGVlcnplaWNoZW4gaW5uZXJoYWxiIGRlciBaYWhsZW4gKHouQi4gMTUgNjUzKSwgd2FzIHdpciBtaXQgYGdzdWIoIltbOnNwYWNlOl1dIilgIGVycmVpY2hlbi4gVHVuIHdpciBkYXMgbmljaHQsIHNvIHfDvHJkZW4gd2lyIHdpZWRlciBgTkFgcyBpbSBEYXRlbnNhdHogZXJoYWx0ZW4KICAtIER1cmNoIGRpZSBpZmVsc2UgQmVkaW5ndW5nIHdpcmQgZGVyIEJlZmVobCBgc3RyX3JlbW92ZV9hbGxgIG51ciBhbmdld2VuZGV0LCB3ZW5uIHRhdHPDpGNobGljaCBnZXNjaHdlaWZ0ZSBLbGFtbWVybiB2b3JoYW5kZW4gc2luZAoKYGBge3IsIHdhcm5pbmc9RkFMU0UsIG1lc3NhZ2U9RkFMU0V9CiMgRXJzdGVsbGVuIGRlciBWZXJnbGVpY2hzdGFiZWxsZQpzY2h1bGRlbl9jb25zaXN0ZW5jeSA8LSBzY2h1bGRlbl9pbmRpdmlkdWVsbCAlPiUKICBmaWx0ZXIoICFpcy5uYShFaW53b2huZXIpICYgIWlzLm5hKFJlZ2lvbmFsc2NobHVlc3NlbCkgKSAlPiUKICBtdXRhdGUoU2NodWxkZW5fZ2VzYW10ID0gaWZlbHNlKGlzLm5hKGFzLm51bWVyaWMoU2NodWxkZW5fZ2VzYW10KSk9PVRSVUUsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYXMubnVtZXJpYyhnc3ViKCJbWzpzcGFjZTpdXSIsICIiLCBzdHJfcmVtb3ZlX2FsbChTY2h1bGRlbl9nZXNhbXQsICJbe31dIikpKSwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhcy5udW1lcmljKFNjaHVsZGVuX2dlc2FtdCkpLAogICAgICAgICBTY2h1bGRlbl9wcm9fa29wZiA9IGlmZWxzZShpcy5uYShhcy5udW1lcmljKFNjaHVsZGVuX3Byb19rb3BmKSk9PVRSVUUsIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhcy5udW1lcmljKGdzdWIoIltbOnNwYWNlOl1dIiwgIiIsIHN0cl9yZW1vdmVfYWxsKFNjaHVsZGVuX3Byb19rb3BmLCAiW3t9XSIpKSksIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBhcy5udW1lcmljKFNjaHVsZGVuX3Byb19rb3BmKSksCiAgICAgICAgIEVpbndvaG5lcl9udW0gPSBpZmVsc2UoaXMubmEoYXMubnVtZXJpYyhFaW53b2huZXIpKT09VFJVRSwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYXMubnVtZXJpYyhnc3ViKCJbWzpzcGFjZTpdXSIsICIiLCBzdHJfcmVtb3ZlX2FsbChFaW53b2huZXIsICJbe31dIikpKSwgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYXMubnVtZXJpYyhFaW53b2huZXIpKSwKICAgICAgICAgU2NodWxkZW5fcHJvX2tvcGZfbmV3ID0gcm91bmQoU2NodWxkZW5fZ2VzYW10IC8gRWlud29obmVyX251bSwyKSkgJT4lCiAgbXV0YXRlKGxhbmRrcmVpcyA9IHN0cl9leHRyYWN0KFJlZ2lvbmFsc2NobHVlc3NlbCwgIl4uezV9IiksCiAgICAgICAgIGRpZmZlcmVueiA9IFNjaHVsZGVuX3Byb19rb3BmIC0gU2NodWxkZW5fcHJvX2tvcGZfbmV3KSAKYGBgCgpOdW4ga8O2bm5lbiB3aXIgdW5zIGFuc2NoYXVlbiwgb2IgZGllIHZvbiB1bnMgYmVyZWNobmV0ZW4gdW5kIGRpZSB2b20gU3RhdGlzdGlzY2hlbiBCdW5kZXNhbXQgYW5nZWdlYmVuZW4gV2VydGUgenUgZGVuICJTY2h1bGRlbl9wcm9fS29wZiIgc2lnbmlmaWthbnQgdm9uZWluYW5kZXIgYWJ3ZWljaGVuOgoKYGBge3J9CiMgcmFuZ2Uoc2NodWxkZW5fY29uc2lzdGVuY3kkZGlmZmVyZW56KQojIG9kZXIgc2Now7ZuZSBza2ltCnNraW1fd2l0aG91dF9jaGFydHMoc2NodWxkZW5fY29uc2lzdGVuY3kkZGlmZmVyZW56KQpgYGAKCkRpZSBEaWZmZXJlbnplbiBsaWVnZW4gendpc2NoZW4gKy8tIDUwIENlbnQgdW5kIGvDtm5uZW4gdmVybXV0bGljaCBhdWYgUnVuZHVuZ3NmZWhsZXIgenVyw7xja2dlZsO8aHJ0IHdlcmRlbi4gRC5oLiBoaWVyIGvDtm5uZW4gd2lyIGRpZSB2b20gc3RhdGlzdGlzY2hlbiBCdW5kZXNhbXQgaGVyYXVzZ2VnZWJlbmVuIEJlcmVjaG51bmdlbiBhdWYgR2VtZWluZGVlYmVuZSB2ZXJpZml6aWVyZW4uCkRpZSBhbmdlZ2ViZW5lbiAxMiBuaWNodCB2ZXJmw7xnYmFyZW4gV2VydGUgc29sbHRlbiB3aXIgbm9jaCB1bnRlcnN1Y2hlbiwgZGEgaGllciBrZWluZSBEaWZmZXJlbnogYmVyZWNobmV0IHdlcmRlbiBrb25udGU6CgpgYGB7cn0KZmlsdGVyKHNjaHVsZGVuX2NvbnNpc3RlbmN5LCBpcy5uYShkaWZmZXJlbnopKQpgYGAKCkhpZXIgZ2lidCBlcyBtZWlzdCBrZWluZSBBbmdhYmVuIHp1IGRlbiBFaW53b2huZXJuLCBvZGVyIGtlaW5lIEFuZ2FiZW4genUgZGVuIFNjaHVsZGVuLiBEZXIgR3Jvw590ZWlsIGRlciBhbmdlZ2ViZW5lbiBWZXJ3YWx0dW5nc2Zvcm1lbiBzaW5kIFZlcmLDpG5kZSB1bmQgaW50ZXJlc3NpZXJlbiB1bnMgbmljaHQuIERhaGVyIG3DvHNzZW4gd2lyIGRlbiBmZWhsZW5kZW4gV2VydGVuIGtlaW5lIGdlc29uZGVydGUgQmVhY2h0dW5nIHNjaGVua2VuLgogIAojIyMgVmVyZ2xlaWNoIGRlciBTY2h1bGRlbiBwcm8gS29wZiBhdWYgTGFuZGtyZWlzZWJlbmUKCkluIGVpbmVtIHdlaXRlcmVuIEtvbnNpc3RlbnpjaGVjayB3b2xsZW4gd2lyIGRpZSBkdXJjaHNjaG5pdHRsaWNoZSBWZXJzY2h1bGR1bmcgcHJvIEtvcGYgYXVmIExhbmRrcmVpc2ViZW5lIHNlbGJzdCBiZXJlY2huZW4gdW5kIGRpZXNlIG1pdCBkZW4gdm9tIFN0YXRpc3Rpc2NoZW4gQnVuZGVzYW10IGFuZ2VnZWJlbmVuIFdlcnRlbiBpbiBkZXIgVGFiZWxsZSBhYmdsZWljaGVuLgoKSGllcmbDvHIgZW50bmVobWVuIHdpciBkZXIgVGFiZWxsZSB6dWVyc3QgYWxsZSBJbmZvcm1hdGlvbmVuIGJ6Z2wuIEFuemFobCBkZXIgIkVpbndvaG5lciIsICJTY2h1bGRlbl9nZXNhbXQiIHVuZCAiU2NodWxkZW5fcHJvX0tvcGYiIGbDvHIgZGllIExhbmRrcmVpc2UuIEltIERhdGVuc2F0eiBzZWhlbiB3aXIsIGRhc3MgZGllIFJlZ2lvbmFsc2NobHVlc3NlbCBmw7xyIExhbmRrcmVpc2UgZGllIFdvcnRlICJTdW1tZSIgdW5kICJLcmVpcyIgZW50aGFsdGVuLCB3ZW5uIGRhcyBTdGF0aXN0aXNjaGUgQnVuZGVzYW10IGRpZSBEYXRlbiBhdWYgTGFuZGtyZWlzZWJlbmUgYWdncmVnaWVydC4gRGFzIHdvbGxlbiB3aXIgaW0gZm9sZ2VuZGVuIG51dHplbjoKCmBgYHtyfQojIFdpciBmaWx0ZXJuIGFsbGUgUmVpaGVuIGhlcmF1cywgd2VsY2hlICJfU3VtbWUiIG9kZXIgIktyZWlzIiBpbSBSZWdpb25hbHNjaGzDvHNzZWwgYXVmd2Vpc2VuCiMgQW5zY2hsaWXDn2VuZCBiZXJlY2huZW4gd2lyIGRpZSBkdXJjaHNjaG5pdHRsaWNoZSBWZXJzY2h1bGR1bmcgYXVmIExhbmRrcmVpc2ViZW5lCmF2Z192ZXJzY2hfa3JlaXMgPC0gc2NodWxkZW5fY29uc2lzdGVuY3kgJT4lCiAgZmlsdGVyKHN0cl9kZXRlY3QoUmVnaW9uYWxzY2hsdWVzc2VsLCAiX1N1bW1lIikgJiBzdHJfZGV0ZWN0KFJlZ2lvbmFsc2NobHVlc3NlbCwgIktyZWlzIikpICU+JQogIGdyb3VwX2J5KGxhbmRrcmVpcywgR2VtZWluZGUpICU+JQogIHN1bW1hcmlzZShhdmdfdmVyc2NodWxkdW5nID0gU2NodWxkZW5fcHJvX2tvcGYsIGVpbndvaG5lciA9IEVpbndvaG5lcl9udW0sIAogICAgICAgICAgICBHZXNhbXRzY2h1bGQgPSBTY2h1bGRlbl9nZXNhbXQpICU+JQogIGFycmFuZ2UoZGVzYyhhdmdfdmVyc2NodWxkdW5nKSkKCiMgSGllciBiZXJlY2huZW4gd2lyIGRpZSBEYXRlbiBzZWxic3QKYXZnX3ZlcnNjaF9rcmVpc19jYWxjIDwtIHNjaHVsZGVuX2NvbnNpc3RlbmN5ICU+JQogICMgRXJzZXR6ZSBFaW53b2huZXJfbnVtIG1pdCAwIGbDvHIgYWxsZSBSZWdpb25hbHNjaGzDvHNzZWwga2xlaW5lciBhbHMgMTIKICBtdXRhdGUoRWlud29obmVyX251bSA9IGlmZWxzZShuY2hhcihSZWdpb25hbHNjaGx1ZXNzZWwpPDEyLDAsIEVpbndvaG5lcl9udW0pKSAlPiUKICAjIE51ciBHZW1laW5kZW4gYmV0cmFjaHRlbgogIGZpbHRlcihuY2hhcihSZWdpb25hbHNjaGx1ZXNzZWwpPj01ICYgc3RyX2RldGVjdChSZWdpb25hbHNjaGx1ZXNzZWwsICJfU3VtbWUiKT09RkFMU0UpICU+JQogICMgQXVmIExhbmRrcmVpc2ViZW5lIGdydXBwaWVyZW4KICBncm91cF9ieShsYW5ka3JlaXMpICU+JQogIHN1bW1hcmlzZShlaW53b2huZXJfY2FsYyA9IHN1bShFaW53b2huZXJfbnVtKSwgR2VzYW10c2NodWxkX2NhbGMgPSBzdW0oU2NodWxkZW5fZ2VzYW10KSwgCiAgICAgICAgICAgIGF2Z192ZXJzY2h1bGR1bmdfY2FsYyA9IHJvdW5kKEdlc2FtdHNjaHVsZF9jYWxjL2VpbndvaG5lcl9jYWxjLDIpKSAlPiUKICBhcnJhbmdlKGRlc2MoYXZnX3ZlcnNjaHVsZHVuZ19jYWxjKSkKCiMgVmVyYmluZGUgYmVpZGUgRGF0ZW5zw6R0emUgdW5kIGJlcmVjaG5lIG9iIGVzIHNpZ2luZmlrYW50ZSBBYndlaWNodW5nZW4gendpc2NoZW4gCiMgZGVuIGF1c2dlZ2ViZW5lbiB1bmQgYmVyZWNobmV0ZW4gV2VydGVuIGdpYnQKbmV3IDwtIGxlZnRfam9pbihhdmdfdmVyc2NoX2tyZWlzLCBhdmdfdmVyc2NoX2tyZWlzX2NhbGMsIGJ5PSJsYW5ka3JlaXMiKSAlPiUKICBtdXRhdGUoZGlmZmVyZW56ID0gYXZnX3ZlcnNjaHVsZHVuZyAtIGF2Z192ZXJzY2h1bGR1bmdfY2FsYykgJT4lCiAgYXJyYW5nZSggZGVzYyhkaWZmZXJlbnopICkKYGBgCgpgYGB7cn0KIyBFcmdlYm5pcyBhbnNjaGF1ZW4KI3JhbmdlKG5ldyRkaWZmZXJlbnopCiMgb2RlciBtaXQgc2tpbQpza2ltX3dpdGhvdXRfY2hhcnRzKG5ldyRkaWZmZXJlbnopCmBgYAoKRGllIERpZmZlcmVuemVuIGxpZWdlbiBhdWNoIGhpZXIgendpc2NoZW4gKy8tIDUwIENlbnQgdW5kIGvDtm5uZW4gdmVybXV0bGljaCBhdWYgUnVuZHVuZ3NmZWhsZXIgenVyw7xja2dlZsO8aHJ0IHdlcmRlbi4gRC5oLiBoaWVyIGvDtm5uZW4gd2lyIGRpZSB2b20gc3RhdGlzdGlzY2hlbiBCdW5kZXNhbXQgaGVyYXVzZ2VnZWJlbmVuIEJlcmVjaG51bmdlbiBhdWYgTGFuZGtyZWlzZWJlbmUgdmVyaWZpemllcmVuLiBEZXIgTGFuZGtyZWlzIFBsw7ZuIGJpbGRldCBoaWVyIGVpbmUgQXVzbmFobWUsIGRpZXMgbGllZ3QgYWJlciB2ZXJtdXRsaWNoIGFuIGRlciBadW9yZG51bmcgZWluemVsbmVyIFRlaWxnZW1laW5kZW4genVtIExhbmRrcmVpcywgd2VsY2hlIHNpY2ggaW4gMjAwNyBnZcOkbmRlcnQgaGF0IChzaWVoZSBGdcOfbm90ZSAyIGltIEV4Y2VsLVRhYmVsbGVuYmxhdHQgIlNIIikuCgoKIyBCcnV0dG9pbmxhbmRzcHJvZHVrdAoKSW0gbsOkY2hzdGVuIFNjaHJpdHQgd29sbGVuIHdpciB1bnMgZGllIERhdGVuIHp1bSBCcnV0dG9pbmxhbmRzcHJvZHVrdCBlaW56ZWxuZXIgTGFuZGtyZWlzZSBhbnNjaGF1ZW4gdW5kIGRpZXNlIGluIFIgZWlubGVzZW4uIERhIGRpZXNlIHdpZWRlciBhbHMgWklQLUFyY2hpdiBoZXJ1bnRlcmdlbGFkZW4gd3VyZGVuIGvDtm5uZW4gd2lyIHVuc2VyIHZvcmhlcmlnZXMgU2NoZW1hIGF1Y2ggYXVmIGRpZXNlIERhdGVuIGFud2VuZGVuLiAKV2VpdGVyaGluIGJlemllaGVuIHdpciBhdXMgZGllc2VtIEV4Y2VsLUZpbGUgZGllIEFuemFobCBhbiBFcndlcmJzdMOkdGlnZW4sIG1pdCBkZW0gd2lyIHNww6R0ZXIgZGllIEFyYmVpdHNsb3NlbnF1b3RlIGJlcmVjaG5lbiBrw7ZubmVuIHVuZCBkaWUgQW56YWhsIGFuIEVpbndvaG5lciwgbWl0IGRlbmVuIHdpciBkYXMgQklQLXByby1Lb3BmIGFucmVjaG5lbiBrw7ZubmVuLgoKIyMgWklQLUFyY2hpdiBlbnRwYWNrZW4gdW5kIG51ciBlaW56ZWxuZSBTcGFsdGVuIGVpbmxlc2VuCgpGb2xnZW5kZSBTY2hyaXR0ZSB3b2xsZW4gd2lyIGluIGVpbmVtIENodW5rIGVybGVkaWdlbjoKCi0gQmV0cmFjaHRlbiBkZXIgZW50emlwcHRlbiBEYXRlbiAKICAtIFRhYmVsbGVuYmxhdHQgIjEuMSIgaXN0IGbDvHIgdW5zZXJlIEFuYWx5c2UgYXVzc2NobGFnZ2ViZW5kIChmw7xyIGRhcyBCSVApCiAgLSBUYWJlbGxlbmJsYXR0ICIzLjEiIGlzdCBmw7xyIGRpZSBBbnphaGwgYW4gRXJ3ZXJic3TDpHRpZ2VuIGF1c3NjaGxhZ2dlYmVuZAogIC0gVGFiZWxsZW5ibGF0dCAiNS4iIGlzdCBmw7xyIGRpZSBBbnphaGwgYW4gRWlud29obmVybiBhdXNzY2hsYWdnZWJlbmQKLSBEaWUgZXJzdGVuIHZpZXIgWmVpbGVuIGJlbsO2dGlnZW4gd2lyIG5pY2h0Ci0gRGllIGxldHp0ZSBaZWlsZSBlbnRow6RsdCBlaW5lIGt1cnplIEJlc2NocmVpYnVuZyBkaWUgd2lyIG5pY2h0IGJlbsO2dGlnZW4gLT4gQmVoYWx0ZSBhbGxlIFplaWxlbiwgd2VsY2hlIGJlaSBkZXIgYExmZC4gTnIuYCBudW1lcmlzY2ggc2luZAotIERpZSBmb2xnZW5kZW4gVmFyaWFibGVuIGJlbsO2dGlnZW4gd2lyIG5pY2h0IGbDvHIgdW5zZXJlIEFuYWx5c2UgdW5kIGvDtm5uZW4gZW50ZmVybnQgd2VyZGVuOiBgTGZkLiBOci5gLCBgRVUtQ29kZWAsIGBOVVRTIDFgLCBgTlVUUyAyYCwgYE5VVFMgM2AsIGBMYW5kYCwgYEdlYmlldHNlaW5oZWl0YAoKYGBge3IsIHdhcm5pbmc9RkFMU0UsIG1lc3NhZ2U9RkFMU0V9CiMgRWlubGVzZW4gZGVyIERhdGVuIG1pdCBhbnNjaGxpZcOfZW5kZW0gYXVmcsOkdW1lbgpiaXBfbmFtZSA8LSBhcy5jaGFyYWN0ZXIodW56aXAoIi4vZGF0YS9CSVBfMjAxNy54bHN4LnppcCIsIGxpc3QgPSBUUlVFKSROYW1lKQp1bnppcCgiLi9kYXRhL0JJUF8yMDE3Lnhsc3guemlwIiwgYmlwX25hbWUpCgojIEJsYXR0IDEuMSBlaW5sZXNlbiB1bmQgZGllIGVyc3RlbiA0IFplaWxlbiBza2lwcGVuCmJpcCA8LSByZWFkX3hsc3goYmlwX25hbWUsIHNoZWV0PSIxLjEiLCBza2lwID0gNCkKZXJ3ZXJiIDwtIHJlYWRfeGxzeChiaXBfbmFtZSwgc2hlZXQ9IjMuMSIsIHNraXAgPSA0KQplaW53b2huZXIgPC0gcmVhZF94bHN4KGJpcF9uYW1lLCBzaGVldCA9ICI1LiIsIHNraXAgPSA0KQp1bmxpbmsoYmlwX25hbWUpCgojIFplaWxlIGzDtnNjaGVuIGluIGRlciBkaWUgYExmZC4gTnIuYCBuaWNodCBudW1tZXJpc2NoIGlzdAojIFp1c8OkdHpsaWNoZSBTcGFsdGVuIGzDtnNjaGVuCmJpcF93aWRlIDwtIGJpcCAlPiUgCiAgZmlsdGVyKGlzLm5hKGFzLm51bWVyaWMoYExmZC4gTnIuYCkpPT1GQUxTRSkgJT4lCiAgc2VsZWN0KC1jKGBMZmQuIE5yLmAsIGBFVS1Db2RlYCwgYE5VVFMgMWAsIGBOVVRTIDJgLCBgTlVUUyAzYCwgTGFuZCwgR2ViaWV0c2VpbmhlaXQpKSAlPiUKICByZW5hbWUoUmVnaW9uYWxzY2hsdWVzc2VsID0gYFJlZ2lvbmFsLXNjaGzDvHNzZWxgKQoKIyBaZWlsZSBsw7ZzY2hlbiBpbiBkZXIgZGllIGBMZmQuIE5yLmAgbmljaHQgbnVtbWVyaXNjaCBpc3QKIyBadXPDpHR6bGljaGUgU3BhbHRlbiBsw7ZzY2hlbgplcndlcmJfd2lkZSA8LSBlcndlcmIgJT4lIAogIGZpbHRlcihpcy5uYShhcy5udW1lcmljKGBMZmQuIE5yLmApKT09RkFMU0UpICU+JQogIHNlbGVjdCgtYyhgTGZkLiBOci5gLCBgRVUtQ29kZWAsIGBOVVRTIDFgLCBgTlVUUyAyYCwgYE5VVFMgM2AsIExhbmQsIEdlYmlldHNlaW5oZWl0KSkgJT4lCiAgcmVuYW1lKFJlZ2lvbmFsc2NobHVlc3NlbCA9IGBSZWdpb25hbC1zY2hsw7xzc2VsYCkKCmVpbndvaG5lcl93aWRlIDwtIGVpbndvaG5lciAlPiUKICBmaWx0ZXIoaXMubmEoYXMubnVtZXJpYyhgTGZkLiBOci5gKSk9PUZBTFNFKSAlPiUKICBzZWxlY3QoLWMoYExmZC4gTnIuYCwgYEVVLUNvZGVgLCBgTlVUUyAxYCwgYE5VVFMgMmAsIGBOVVRTIDNgLCBMYW5kLCBHZWJpZXRzZWluaGVpdCkpICU+JQogIHJlbmFtZShSZWdpb25hbHNjaGx1ZXNzZWwgPSBgUmVnaW9uYWwtc2NobMO8c3NlbGApCgpoZWFkKGJpcF93aWRlKQpgYGAKCkRpZXNlciBEYXRlbnNhdHogaXN0IGVpbiBzb2dlbmFubnRlcyBQYW5lbC4gSW4gZGVuIHZvcmhlcmlnZW4gRGF0ZW5zw6R0emVuIHp1ciBBbnphaGwgZGVyIEFyYmVpdHNsb3NlbiB1bmQgZGVyIFByby1Lb3BmLVZlcnNjaHVsZHVuZyBoYXR0ZW4gd2lyIG51ciBkYXMgSmFociAyMDE3IGdlZ2ViZW4uIE51biBoYWJlbiB3aXIgZGllIEVudHdpY2tsdW5nIGRlcyBCSVAsIGRpZSBBbnphaGwgYW4gRXJ3ZXJic3TDpHRpZ2VuIHVuZCBkaWUgQW56YWhsIGFuIEVpbndvaG5lcm4gc2VpdCAxOTkyIGJpcyAyMDE3IGbDvHIgYWxsZSBMYW5ka3JlaXNlIGluIERldXRzY2hsYW5kLgoKIyMgRGF0ZW4gaW4gZGFzIGBsb25nYC1Gb3JtYXQgw7xiZXJmw7xocmVuCgpBbGxlcmRpbmdzIHNpbmQgZGllIERhdGVuc8OkdHplIGltIGB3aWRlYC1Gb3JtYXQsIGQuaC4gbmljaHQgYHRpZHlgIHVuZCBkYW1pdCBuaWNodCBzbywgd2llIHdpciBpaG4gZ2VybmUgaMOkdHRlbi4gRXJpbm5lcm4gd2lyIHVucyBub2NoIGFuIGRpZSBCZWRpbmd1bmdlbiBkYW1pdCBlaW4gRGF0ZW5zw6R0emVuIGB0aWR5YCBpc3Q/CgpJbSBuw6RjaHN0ZW4gU2Nocml0dCB3b2xsZW4gd2lyIGRlbiBEYXRlbnNhdHogbnVuIGlucyBgbG9uZ2AtRm9ybWF0IMO8YmVyZsO8aHJlbiB1bmQgbnV0emVuIGhpZXJmw7xyIGRpZSBGdW5rdGlvbiBgcGl2b3RfbG9uZ2VyYDoKCmBgYHtyLCBldmFsPUZBTFNFfQpiaXBfbG9uZyA8LSBwaXZvdF9sb25nZXIoYmlwX3dpZGUsIGNvbHMgPSBjKCIxOTkyIjoiMjAxNyIpICwgbmFtZXNfdG8gPSAiSmFociIsIHZhbHVlc190byA9ICJCSVAiKQoKIyBQcm9kdXppZXJ0IGRlbiBmb2xnZW5kZW4gRmVobGVyOgojIEZlaGxlcjogTm8gY29tbW9uIHR5cGUgZm9yIGAxOTkyYCA8Y2hhcmFjdGVyPiBhbmQgYDIwMDBgIDxkb3VibGU+LgpgYGAKCkxlaWRlciBpc3QgZXMgaGllciBuaWNodCBtw7ZnbGljaCBkaWUgRGF0ZW5zw6R0emUgZGlyZWt0IGluIGRhcyBgbG9uZ2AtRm9ybWF0IHp1IMO8YmVyZsO8aHJlbiwgaW5zYmVzb25kZXJlIGRhIGRpZSBLbGFzc2VuIGRlciBWYXJpYWJsZW4gMTk5MiBiaXMgMTk5OSBgY2hhcmFjdGVyYCBzaW5kIHVuZCBhYiAyMDAwIGRhbm4gYGRvdWJsZWAuIERpZXMgc2FndCB1bnMgZGllIGVyc2NoZWluZW5kZSBGZWhsZXJtZWxkdW5nOgoKLS0tCkZlaGxlcjogTm8gY29tbW9uIHR5cGUgZm9yIGAxOTkyYCA8Y2hhcmFjdGVyPiBhbmQgYDIwMDBgIDxkb3VibGU+LgotLS0KCkRhIHdpciB3aXNzZW4sIGRhc3MgZGFzIEJJUCwgZGllIEFuemFobCBhbiBFcndlcmJzdMOkdGlnZW4gdW5kIGRpZSBBbnphaGwgYW4gRWlud29obmVybiBub3JtYWxlcndlaXNlIG51bWVyaXNjaCB3aWVkZXJnZWdlYmVuIHdpcmQsIGlzdCB3b2hsIGRpZSBLbGFzc2UgYGRvdWJsZWAga29ycmVrdCB1bmQgd2lyIHNvbGx0ZW4gZGllIFNwYWx0ZW4gdm9uIDE5OTIgYmlzIDE5OTkgZW50c3ByZWNoZW5kIHVtZm9ybWF0aWVyZW4uIAoKYGBge3IsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0V9CiNCSVAgdm9uIDE5OTIgLSAxOTk5IHVtZm9ybWVuIChhbHMgbnVtZXJpc2NoZSBWYXJpYWJsZSkKYmlwX2RvdWJsZSA8LSBiaXBfd2lkZSAlPiUKICBzZWxlY3QoYDE5OTJgOmAxOTk5YCkgJT4lCiAgbXV0YXRlX2lmKGlzLmNoYXJhY3RlciwgYXMuZG91YmxlKQoKIyBFcndlcmJzdMOkdGlnZSB2b24gMTk5MiAtIDE5OTkgdW1mb3JtZW4gKGFscyBudW1lcmlzY2hlIFZhcmlhYmxlKQplcndlcmJfZG91YmxlIDwtIGVyd2VyYl93aWRlICU+JQogIHNlbGVjdChgMTk5MmA6YDE5OTlgKSAlPiUKICBtdXRhdGVfaWYoaXMuY2hhcmFjdGVyLCBhcy5kb3VibGUpCgojIEVpbndvaG5lciB2b24gMTk5MiAtIDE5OTkgdW1mb3JtZW4gKGFscyBudW1lcmlzY2hlIFZhcmlhYmxlKQplaW53b2huZXJfZG91YmxlIDwtIGVpbndvaG5lcl93aWRlICU+JQogIHNlbGVjdChgMTk5MmA6YDE5OTlgKSAlPiUKICBtdXRhdGVfaWYoaXMuY2hhcmFjdGVyLCBhcy5kb3VibGUpCmBgYAoKV2lyIGJla29tbWVuIGhpZXIgZWluZSBXYXJubWVsZHVuZyBkYXMgYE5BYHMgYmVpIGRlciBVbXdhbmRsdW5nIGVyemV1Z3Qgd3VyZGVuLiBEZXJhcnRpZ2UgV2FybnVuZ2VuIHNvbGx0ZW4gd2lyIGJlYWNodGVuIHVuZCBhdWYgZGVuIEdydW5kIGdlaGVuLiBOdXIgc28gd2lzc2VuIHdpciwgb2IgZGllIFdhcm51bmcgZsO8ciB1bnMgc3DDpHRlciB1bmJlYWJzaWNodGlndGUgQXVzd2lya3VuZ2VuIGhhdC4KCkhpZXJmw7xyIHZlcmJpbmRlbiB3aXIgZGVuIG5ldWVuIERhdGVuc2F0eiBgYmlwX2RvdWJsZWAgbWl0IHVuc2VyZW0gYmlzaGVyIGJlc3RlaGVuZGVuIGBiaXBfd2lkZWAgdW5kIGJldHJhY2h0ZW4gZGllIFNwYWx0ZW4gaW4gZGVuZW4gYGJpcF9kb3VibGVgIGBOQWBzIGVudGjDpGx0OgoKYGBge3J9CmJpcF93aWRlX3Rlc3QgPC0gYmlwX3dpZGUgJT4lCiAgYmluZF9jb2xzKGJpcF9kb3VibGUpCgpoZWFkKGZpbHRlcihiaXBfd2lkZV90ZXN0LCBpcy5uYShgMTk5Mi4uLjI3YCkpKQpgYGAKCkhpZXIgc2VoZW4gd2lyIGJlcmVpdHMgd2FydW0gZGllIEtsYXNzZSBkZXIgVmFyaWFibGVuIGAxOTkyYCBiaXMgYDE5OTlgIGBjaGFyYWN0ZXJgIHdhciB1bmQgbmljaHQgYGRvdWJsZWAuIEbDvHIgZGllc2UgSmFocmUgZ2FiIGVzIGbDvHIgZWluaWdlIFJlZ2lvbmVuIChNZWNrbGVuYnVyZy1Wb3Jwb21tZXJuIHVuZCBOaWVkZXJzYWNoZW4pIGtlaW5lIEFuZ2FiZW4genVtIEJJUCwgZGVuIEVyd2VyYnN0w6R0aWdlbiBvZGVyIGRlbiBFaW53b2huZXJuIHVuZCBkYWhlciB3dXJkZW4gaW4gZGVyIEV4Y2VsIFRhYmVsbGUgYC1gIGVpbmdlZsO8Z3QuIERhaGVyIGlzdCBmw7xyIHVucyBkaWUgVW13YW5kbHVuZyB6dSBgTkFgIGZvbGdlcmljaHRpZyB1bmQgd2lyIGvDtm5uZW4gZGllIFdhcm5tZWxkdW5nIGlnbm9yaWVyZW4gdW5kIG51ciBkaWUgdHJhbnNmb3JtaWVydGVuIFZhcmlhYmxlbiBtaXQgZGVyIEtsYXNzZSBgZG91YmxlYCB2ZXJ3ZW5kZW46CgpgYGB7cn0KYmlwX3dpZGUgPC0gYmlwX3dpZGUgJT4lCiAgc2VsZWN0KC0oYDE5OTJgOmAxOTk5YCkpICU+JQogIGJpbmRfY29scyhiaXBfZG91YmxlKSAKCmVyd2VyYl93aWRlIDwtIGVyd2VyYl93aWRlICU+JQogIHNlbGVjdCgtKGAxOTkyYDpgMTk5OWApKSAlPiUKICBiaW5kX2NvbHMoZXJ3ZXJiX2RvdWJsZSkgCgplaW53b2huZXJfd2lkZSA8LSBlaW53b2huZXJfd2lkZSAlPiUKICBzZWxlY3QoLShgMTk5MmA6YDE5OTlgKSkgJT4lCiAgYmluZF9jb2xzKGVpbndvaG5lcl9kb3VibGUpIApgYGAKCk51biBrw7ZubmVuIHdpciBkZW4gRGF0ZW5zYXR6IGlucyBgbG9uZ2AtRm9ybWF0IHRyYW5zZmVyaWVyZW4gdW5kIG5hY2ggZGVtIEphaHIgc29ydGllcmVuLgpEYSBkaWUgRWlud29obmVyIHVuZCBFcndlcmJzdMOkdGlnZW4gaW4gMTAwMCBQZXJzb25lbiBhbmdlZ2ViZW4gc2luZCBtdWx0aXBsaXppZXJlbiB3aXIgdW5zZXJlIEVyd2VyYnN0w6R0aWdlbiB1bmQgRWlud29obmVyIG1pdCAxMDAwLiBEYXMgQklQIGlzdCBpbiAxIE1pby4gRXVybyBhbmdlZ2ViZW4sIGRhaGVyIGRpZSBNdWx0aXBsaWthdGlvbiBtaXQgMSBNaW8uOgoKYGBge3J9CiMgQklQIGlucyBsb25nLUZvcm1hdApiaXBfbG9uZyA8LSBwaXZvdF9sb25nZXIoYmlwX3dpZGUsIGNvbHMgPSBjKCIyMDAwIjoiMTk5OSIpICwgbmFtZXNfdG8gPSAiSmFociIsIHZhbHVlc190byA9ICJiaXAiKSAlPiUKICBtdXRhdGUoIEphaHIgPSBhcy5udW1lcmljKEphaHIpLAogICAgICAgICAgYmlwID0gYmlwICogMTAwMDAwMCkgJT4lCiAgYXJyYW5nZSggSmFociApCgojIEFuemFobCBkZXIgRXJ3ZXJic3TDpHRpZ2VuIGlucyBsb25nLUZvcm1hdAplcndlcmJfbG9uZyA8LSBwaXZvdF9sb25nZXIoZXJ3ZXJiX3dpZGUsIGNvbHMgPSBjKCIyMDAwIjoiMTk5OSIpICwgbmFtZXNfdG8gPSAiSmFociIsIHZhbHVlc190byA9ICJlcnciKSAlPiUKICBtdXRhdGUoIEphaHIgPSBhcy5udW1lcmljKEphaHIpLAogICAgICAgICAgZXJ3ID0gZXJ3ICogMTAwMCkgJT4lCiAgYXJyYW5nZSggSmFociApCgojIEFuemFobCBkZXIgRWlud29obmVyIGlucyBsb25nLUZvcm1hdAplaW53b2huZXJfbG9uZyA8LSBwaXZvdF9sb25nZXIoZWlud29obmVyX3dpZGUsIGNvbHMgPSBjKCIyMDAwIjoiMTk5OSIpICwgbmFtZXNfdG8gPSAiSmFociIsIHZhbHVlc190byA9ICJlaW53b2huZXIiKSAlPiUKICBtdXRhdGUoIEphaHIgPSBhcy5udW1lcmljKEphaHIpLAogICAgICAgICAgZWlud29obmVyID0gZWlud29obmVyICogMTAwMCkgJT4lCiAgYXJyYW5nZSggSmFociApCmBgYAoKIyMgS29uc2lzdGVuemNoZWNrcwoKV2lyIGhhYmVuIGRpZSBiZXJlaXRzIGluIGRlbSBBYnNjaG5pdHQgIlByby1Lb3BmIFZlcnNjaHVsZHVuZyIgZGllIEVpbndvaG5lciB6dXIgQmVyZWNobnVuZyBkZXIgUHJvLUtvcGYtVmVyc2NodWxkdW5nIGbDvHIgMjAxNyBlaW5nZWxlc2VuLgpGw7xyIGVpbmUgbMOkbmdlcmZyaXN0aWdlIEJldHJhY2h0dW5nIGhhYmVuIHdpciBpbiBkaWVzZW0gS2FwaXRlbCBkYW5uIGRpZSBBbnphaGwgZGVyIEVpbndvaG5lciBzZWl0IDE5OTIgYmlzIDIwMTcgZWluZ2VsZXNlbi4KSW4gZGllc2VtIEtvbnNpc3RlbnpjaGVjayB3b2xsZW4gd2lyIHVudGVyc3VjaGVuIG9iIGRpZSBBbnphaGwgZGVyIEVpbndvaG5lciBhdXMgYmVpZGVuIERhdGVucXVlbGxlbiBpZGVudGlzY2ggaXN0LiBIaWVyYmVpIGlzdCBlcyBuYXTDvHJsaWNoIHdpY2h0aWcsIHdhbm4gZGllIERhdGVuIHp1ciBFaW53b2huZXJ6YWhsIGVyaG9iZW4gd3VyZGVuIHVuZCBkZXNoYWxiIGvDtm5udGVuIGRpZXNlIGF1Y2ggZ2VyaW5nZsO8Z2lnIGFid2VpY2hlbi4gQWJlciBkZW0gZ2VoZW4gd2lyIG51biBhdWYgZGVuIEdydW5kOgoKYGBge3J9CnNjaHVsZGVuX2NoZWNrIDwtIHNjaHVsZGVuX2JlcmVpbmlndCAlPiUKICBncm91cF9ieShsYW5ka3JlaXMpICU+JQogIHN1bW1hcmlzZSggU2NodWxkZW5fcHJvX2tvcGZfbGsgPSBzdW0oU2NodWxkZW5fZ2VzYW10KS9zdW0oRWlud29obmVyKSwgRWlud29obmVyID0gc3VtKEVpbndvaG5lciksIFNjaHVsZGVuX2dlc2FtdCA9IHN1bShTY2h1bGRlbl9nZXNhbXQpKSAlPiUKICByZW5hbWUoUmVnaW9uYWxzY2hsdWVzc2VsID0gbGFuZGtyZWlzKQoKZWlud29obmVyX2NoZWNrIDwtIGxlZnRfam9pbihzY2h1bGRlbl9jaGVjaywgZmlsdGVyKGVpbndvaG5lcl9sb25nLCBKYWhyID09IDIwMTcpLCBieT1jKCJSZWdpb25hbHNjaGx1ZXNzZWwiKSkgJT4lCiAgbXV0YXRlKGRpZmYgPSBFaW53b2huZXIgLSBlaW53b2huZXIpICU+JQogIGFycmFuZ2UoZGVzYyhkaWZmKSkKYGBgCgpEaWUgRGlmZmVyZW56IGxpZWd0IGltbWVyIGJlaSArLy0gMjAwMCBFaW53b2huZXJuLCB3YXMgaW0gVG9sZXJhbnpiZXJlaWNoIGJlaSBkZW4gZ3Jvw59lbiBTdMOkZHRlIG1pdCBtZWhyIGFscyAxMjAuMDAwIEVpbndvaG5lcm4gaXN0LiBEZXIgZWluemlnZSBleHRyZW1lIEF1c3JlaXNlciBpc3QgZGllIExhbmRlc2hhdXB0c3RhZHQgTcO8bmNoZW4uIEhpZXIgZ2VoZW4gZGllIEVpbndvaG5lcnphaGxlbiB1bSAxMCAxODEgUGVyc29uZW4gYXVzZWluYW5kZXIuIExhdXQgW1dpa2lwZWRpYV0oaHR0cHM6Ly9kZS53aWtpcGVkaWEub3JnL3dpa2kvRWlud29obmVyZW50d2lja2x1bmdfdm9uX00lQzMlQkNuY2hlbikgaGF0IHNpY2ggamVkb2NoIGF1Y2ggZGllIEVpbndvaG5lcnphaGwgendpc2NoZW4gZGVtIDMxLjEyLjIwMTcgdW5kIGRlbSAzMS4xMi4yMDE4IHVtIDE1IDAwMCBQZXJzb25lbiBlcmjDtmh0LiBXZW5uIGRpZSBlcnN0ZSBRdWVsbGUgZGllIEVpbndvaG5lcnphaGxlbiB2b24gQW5mYW5nL01pdHRlIDIwMTggaGF0IHVuZCBkaWUgendlaXRlIGVoZXIgdm9uIEFuZmFuZy9NaXR0ZSAyMDE3IGRhbm4gaXN0IGRpZXNlIEFid2VpY2h1bmcgYWxzbyBkdXJjaGF1cyBkZW5rYmFyLiBTY2hhdWVuIHdpciB1bnMgaGllcnp1IGRpZSBRdWVsbGVuIGV0d2FzIG7DpGhlciBhbjogVmVyw7ZmZmVudGxpY2h1bmdzZGF0dW0gZGVyIEJJUCBaYWhsZW4gd2FyIEF1Z3VzdCAyMDE4LCBkaWUgWmFobGVuIHp1IGRlbiBFaW5rb21tZW4gYXVzIGRlbSBSZXBvcnQgenUgZGVuIEludGVncmllcnRlbiBTY2h1bGRlbiBkZXIgR2VtZWluZGVuIHN0YW1tZW4gdm9tIDMwLjA2LjIwMTcsIGQuaC4gZGllIEFid2VpY2h1bmdlbiBpbiBkZW4gRWlud29obmVyemFobGVuIGvDtm5udGVuIGd1dCBpbSBaZWl0cHVua3QgZGVyIEVyaGVidW5nIGRlciBFaW53b2huZXJ6YWhsZW4gYmVncsO8bmRldCBzZWluLiBEYWhlciB3ZXJkZW4gd2lyIGRlbiBEaWZmZXJlbnplbiBuaWNodCB3ZWl0ZXIgbmFjaGdlaGVuLgoKVW0gZGllIGxhbmdmcmlzdGlnZW4gRW50d2lja2x1bmdlbiBkZXMgQklQIHBybyBLb3BmIHp1IHZpc3VhbGlzaWVyZW4gd2VyZGVuIHdpciBkaWUgZGF6dWdlaMO2cmlnZW4gRWlud29obmVyemFobGVuIGF1cyBkZXIgRGF0ZW5xdWVsbGUgenVtIEJJUCB2ZXJ3ZW5kZW4uIEbDvHIgZGllIFByby1Lb3BmLVZlcnNjaHVsZHVuZyBqZWRvY2ggZGllIGluIGRlciAiSW50ZWdyaWVydGVuIFNjaHVsZGVuIGRlciBHZW1laW5kZW4iIGFuZ2VnZWJlbmVuIEVpbndvaG5lcnphaGwuCgojIEthcnRlbm1hdGVyaWFsIGhpbnp1ZsO8Z2VuIChvcHRpb25hbCkKCkbDvHIgZWluZSBzcMOkdGVyZSBWaXN1YWxpc2llcnVuZyBkZXIgRGF0ZW4gbWl0dGVscyBlaW5lciBEZXV0c2NobGFuZGthcnRlIHNvbGx0ZW4gd2lyIHVucyBub2NoIEluZm9ybWF0aW9uZW4genUgZGVuIGVpbnplbG5lbiBWZXJ3YWx0dW5zZ3JlbnplbiBhbHMgU0hBUEUtRmlsZSBoZXJ1bnRlcmxhZGVuLgpEaWVzZSBJbmZvcm1hdGlvbmVuIHNpbmQgw7xiZXIgZGFzIFtPcGVuRGF0YSBQb3J0YWwgZGVzIEJ1bmRlc2FtdHMgZsO8ciBLYXJ0b2dyYXBoaWUgdW5kIEdlb2TDpHNpZV0oaHR0cHM6Ly9nZHouYmtnLmJ1bmQuZGUvaW5kZXgucGhwL2RlZmF1bHQvb3Blbi1kYXRhL3ZlcndhbHR1bmdzZ2ViaWV0ZS0xLTI1MC0wMDAtZWJlbmVuLXN0YW5kLTAxLTAxLXZnMjUwLWViZW5lbi0wMS0wMS5odG1sKSB2ZXJmw7xnYmFyLgoKW0RpZSBEb2t1bWVudGF0aW9uIGRlciBEYXRlbl0oaHR0cHM6Ly9zZy5nZW9kYXRlbnplbnRydW0uZGUvd2ViX3B1YmxpYy9nZHovZG9rdW1lbnRhdGlvbi9kZXUvdmcyNTAucGRmKSBzb2xsdGVuIHdpciB1bnMgaW1tZXIgenVlcnN0IGFuc2NoYXVlbiwgYmV2b3Igd2lyIGRpZSBEYXRlbnF1ZWxsZSBoZXJ1bnRlcmxhZGVuLiBEaWVzIGdpbHQgbmljaHQgbnVyIGbDvHIgZGllIEdlb2RhdGVuLCBzb25kZXJuIGFsbGdlbWVpbiBmw7xyIGFsbGUgRGF0ZW5yZWloZW4uCgpXaXIgZXh0cmFoaWVyZW4gdW5zIGhpZXIgZGllIEluZm9ybWF0aW9uZW4genUgZGVuIEdyZW56ZW4gZGVyIEdlbWVpbmRlbiwgVmVyd2FsdHVuZ3NlaW5oZWl0ZW4sIExhbmRrcmVpc2UgdW5kIEJ1bmRlc2zDpG5kZXIgdW5kIHNwZWljaGVybiBkaWVzZSBqZXdlaWxzIGVudHNwcmVjaGVuZCBhYi4gVW0gR2VvbWV0cmllZGF0ZW4gZWluenVsZXNlbiB1bmQgZGllc2Ugc3DDpHRlciBzY2jDtm4gYWxzIEthcnRlIGRhcnN0ZWxsZW4genUga8O2bm5lbiBtw7xzc2VuIHdpciBoaWVyIGRpZSBGdW5rdGlvbiBgc3RfcmVhZGAgYXVzIGRlbSBgc2ZgLVBha2V0IHZlcndlbmRlbjoKCmBgYHtyLCBtZXNzYWdlPUZBTFNFLCBpbmNsdWRlPUZBTFNFfQpsaWJyYXJ5KHNmKQoKIyBLYXJ0ZW5tYXRlcmlhbCBHZW1laW5kZWViZW5lCmlmICghZmlsZS5leGlzdHMoIi4vZGF0YS9LYXJ0ZW5tYXRlcmlhbF9EZXV0c2NobGFuZC56aXAiKSl7CiAgZG93bmxvYWQuZmlsZSgiaHR0cHM6Ly9kYXRlbi5nZHouYmtnLmJ1bmQuZGUvcHJvZHVrdGUvdmcvdmcyNTBfZWJlbmVuXzAxMDEvYWt0dWVsbC92ZzI1MF8wMS0wMS5nazMuc2hhcGUuZWJlbmVuLnppcCIsICIuL2RhdGEvS2FydGVubWF0ZXJpYWxfRGV1dHNjaGxhbmQuemlwIikKfQoKIyDDlmZmbmVuIGRlcyBaSVAtT3JkbmVycwprYXJ0ZW5fb3JkbmVyIDwtIGFzLmNoYXJhY3Rlcih1bnppcCgiLi9kYXRhL0thcnRlbm1hdGVyaWFsX0RldXRzY2hsYW5kLnppcCIsIGxpc3QgPSBUUlVFKSROYW1lKQoKIyBXaXIgd29sbGVuIG51ciBkaWUgRGF0ZWkgZW50emlwcGVuCnVuemlwKCIuL2RhdGEvS2FydGVubWF0ZXJpYWxfRGV1dHNjaGxhbmQuemlwIikKCiMgSW5mb3JtYXRpb25lbiB6dSBkZW4gR2VtZWluZGVuIGVpbmxlc2VuIChHRU0pCmdlbWVpbmRlbiA8LSBzdF9yZWFkKGthcnRlbl9vcmRuZXJbNDRdKQoKIyBJbmZvcm1hdGlvbmVuIHp1IFZlcndhbHR1bmdzZWJlbmVuIGVpbmxlc2VuIChWV0cpCnZlcndhbHR1bmcgPC0gc3RfcmVhZChrYXJ0ZW5fb3JkbmVyWzQ4XSkKCiMgSW5mb3JtYXRpb25lbiB6dSBkZW4gTGFuZGtyZWlzZW4gZWlubGVzZW4gKEtSUykKbGFuZGtyZWlzZSA8LSBzdF9yZWFkKGthcnRlbl9vcmRuZXJbNTJdKQoKYnVuZGVzbGFuZCA8LSBzdF9yZWFkKGthcnRlbl9vcmRuZXJbOV0pCgojIE51biBrw7ZubmVuIHdpciBkZW4gZW50emlwcHRlbiBPcmRuZXIgd2llZGVyIGzDtnNjaGVuCnVubGluayhrYXJ0ZW5fb3JkbmVyWzFdLCByZWN1cnNpdmUgPSBUUlVFKQpgYGAKCkRhIHdpciBudXIgZGllIEluZm9ybWF0aW9uZW4genVyIEdlb21ldHJpZSwgei5CLiBkZXIgTGFuZGtyZWlzZ3JlbnplbiBtw7ZjaHRlbiwga8O2bm5lbiB3aXIgZGllIGFuZGVyZW4gVmFyaWFibGVuIGF1Y2ggYXVzIGRlbSBEYXRlbnPDpHR6IGzDtnNjaGVuLiBXaXIgYmVoYWx0ZW4gZGVuIFJlZ2lvbmFsc2NobMO8c3NlbCAoUlMpLCBkZW4gTmFtZW4gZGVzIEtyZWlzZXMvZGVyIEdlbWVpbmRlIChHRU4pIHVuZCBkaWUgR2VvbWV0cmllIChnZW9tZXRyeSkuCgpXaXIgbcO8c3NlbiB1bnMgenVzw6R0emxpY2ggbm9jaCBldHdhcyBtaXQgZGVyIERva3VtZW50YXRpb24gZGVzIEthcnRlbm1hdGVyaWFscyBiZXNjaMOkZnRpZ2VuLiBEYSB3aXIgbnVyIGRpZSBWZXJ3YWx0dW5nc2VpbmhlaXRlbiBvaG5lIGRpZSBOb3JkLSB1bmQgT3N0c2VlIHVuZCBvaG5lIGRlbiBCb2RlbnNlZSBkYXJzdGVsbGVuIG3DtmNodGVuLCBzbyBtw7xzc2VuIHdpciBub2NoIGF1ZiBHRiA9IDQgZmlsdGVybiwgd2llIGF1ZiBTZWl0ZSA5IGRlciBEb2t1bWVudGF0aW9uIGJlc2NocmllYmVuIHdpcmQgKHR1biB3aXIgZGllcyBuaWNodCwgc28gaMOkdHRlbiB3aXIgZGllIE5vcmRzZWVnZWJpZXRlIGRvcHBlbHQgZHJpbik6CgotLS0KCioqR3J1bmRzw6R0emxpY2ggZ2lsdDoqKgpKZWRlIFZlcndhbHR1bmdzZWluaGVpdCBiZXNpdHp0IGdlbmF1IGVpbmVuIEF0dHJpYnV0c2F0eiBtaXQgZGVtIEdGLVdlcnQgNC4gWnVzw6R0emxpY2gga2FubiBlaW5lIFZlcndhbHR1bmdzZWluaGVpdCBlaW5lbiBBdHRyaWJ1dHNhdHogbWl0IGRlbSBHRi1XZXJ0IDIgYmVzaXR6ZW4uCgotLS0KCmBgYHtyfQojIEF1ZiBHRiA9PSA0IGZpbHRlcm4gdW5kIFJTIGFscyBTdHJpbmcgc3BlaWNoZXJuIChpc3QgYWt0dWVsbCBhbHMgZmFjdG9yIGFiZ2VzcGVpY2hlcnQpCmxhbmRrcmVpc2UgPC0gbGFuZGtyZWlzZSAlPiUKICBmaWx0ZXIoIEdGPT00ICkgJT4lIAogIHNlbGVjdChSUywgR0VOLCBnZW9tZXRyeSkgJT4lCiAgbXV0YXRlKFJlZ2lvbmFsc2NobHVlc3NlbCA9IGFzLmNoYXJhY3RlcihSUykpCgpnZW1laW5kZW4gPC0gZ2VtZWluZGVuICU+JQogIGZpbHRlciggR0Y9PTQgKSAlPiUKICBzZWxlY3QoUlMsIEdFTiwgZ2VvbWV0cnkpICU+JQogIG11dGF0ZShSZWdpb25hbHNjaGx1ZXNzZWwgPSBhcy5jaGFyYWN0ZXIoUlMpKQoKYnVuZGVzbGFuZCA8LSBidW5kZXNsYW5kICU+JQogIGZpbHRlciggR0Y9PTQgKSAlPiUKICBzZWxlY3QoUlMsIEdFTiwgZ2VvbWV0cnkpICU+JQogIG11dGF0ZShSZWdpb25hbHNjaGx1ZXNzZWwgPSBhcy5jaGFyYWN0ZXIoUlMpKQoKYGBgCgoKIyBEYXRlbnPDpHR6ZSB6dXNhbW1lbmbDvGhyZW4KCkluIGRpZXNlbSBsZXR6dGVuIEFic2Nobml0dCBtw7ZjaHRlbiB3aXIgYWxsZXMgZsO8ciBkaWUgbsOkY2hzdGVuIFNjaHJpdHRlIGRlciBDYXNlIFN0dWR5IHZvcmJlcmVpdGVuLiBHZW5hdWVyOiBOZWJlbiBkZW4gZWluemVsbmVuIERhdGVuc8OkdHplbiB3b2xsZW4gd2lyIHp1c8OkdHpsaWNoIGRpZSBJbmZvcm1hdGlvbmVuIGF1cyBkZW4gdmVyc2NoaWVkZW5lbiBEYXRlbnPDpHR6ZW4ga29tYmluaWVyZW4uIEhpZXJmw7xyIG3DvHNzZW4gd2lyIHp1ZXJzdCBkaWUgSW5mb3JtYXRpb25lbiB6dXIgVmVyc2NodWxkdW5nIGF1ZiBMYW5ka3JlaXNlYmVuZSBhZ2dyZWdpZXJlbiB1bmQgZGllIERhdGVuIHp1bSBCSVAgYXVmIGRhcyBKYWhyIDIwMTcgZWluc2NocsOkbmtlbi4gQW5zY2hsaWXDn2VuZCBrw7ZubmVuIHdpciBkaWUgRGF0ZW5zw6R0emUgYW5oYW5kIGRlcyBSZWdpb25hbHNjaGzDvHNzZWxzIG1pdGVpbmFuZGVyIHZlcmJpbmRlbi4KCldlaXRlcmhpbiB3b2xsZW4gd2lyIGRpZSBnZW9ncmFmaXNjaGVuIERhdGVuIHNlcGFyYXQgYWJzcGVpY2hlcm4gdW5kIGJlaSBCZWRhcmYgYW5oYW5kIGRlcyBSZWdpb25hbHNjaGzDvHNzZWxzIHp1IHVuc2VyZW0gRGF0ZW5zYXR6IGhpbnp1bWVyZ2VuLgoKYGBge3J9CiMgU2NodWxkZW4gYXVmIExhbmRrcmVpc2ViZW5lCnNjaHVsZGVuX2tvbWJpIDwtIHNjaHVsZGVuX2JlcmVpbmlndCAlPiUKICBncm91cF9ieShsYW5ka3JlaXMpICU+JQogIHN1bW1hcmlzZSggU2NodWxkZW5fcHJvX2tvcGZfbGsgPSBzdW0oU2NodWxkZW5fZ2VzYW10KS9zdW0oRWlud29obmVyKSwgRWlud29obmVyID0gc3VtKEVpbndvaG5lciksIFNjaHVsZGVuX2dlc2FtdCA9IHN1bShTY2h1bGRlbl9nZXNhbXQpKSAlPiUKICByZW5hbWUoUmVnaW9uYWxzY2hsdWVzc2VsID0gbGFuZGtyZWlzKQoKCiMgQW56YWhsIGFuIEVyd2VyYnN0w6R0aWdlbiBmw7xyIGRhcyBKYWhyIDIwMTcKZXJ3ZXJiX2tvbWJpIDwtIGVyd2VyYl9sb25nICU+JQogIGZpbHRlcihuY2hhcihSZWdpb25hbHNjaGx1ZXNzZWwpID09IDUgJiBKYWhyID09IDIwMTcpICU+JQogIHNlbGVjdCgtSmFocikKCiMgQW56YWhsIGFuIEVpbndvaG5lciBmw7xyIGRhcyBKYWhyIDIwMTcKZWlud29obmVyX2tvbWJpIDwtIGVpbndvaG5lcl9sb25nICU+JQogIGZpbHRlcihuY2hhcihSZWdpb25hbHNjaGx1ZXNzZWwpID09IDUgJiBKYWhyID09IDIwMTcpICU+JQogIHNlbGVjdCgtSmFocikKCiMgTmFtZW4gZGVyIExhbmRrcmVpc2UKbGFuZGtyZWlzX25hbWUgPC0gbGFuZGtyZWlzZSAlPiUgCiAgc3RfZHJvcF9nZW9tZXRyeSgpICU+JQogIHNlbGVjdCgtUlMpICU+JQogIG11dGF0ZShidW5kZXNsYW5kID0gc3RyX2V4dHJhY3QoUmVnaW9uYWxzY2hsdWVzc2VsLCAiXi57Mn0iKSkgJT4lCiAgcmVuYW1lKGxhbmRrcmVpc19uYW1lID0gR0VOKQoKIyBOYW1lbiBkZXIgQnVuZGVzbMOkbmRlcgpidW5kZXNsYW5kX25hbWUgPC0gYnVuZGVzbGFuZCAlPiUKICBzdF9kcm9wX2dlb21ldHJ5KCkgJT4lCiAgc2VsZWN0KC1SUykgJT4lCiAgcmVuYW1lKGJ1bmRlc2xhbmQgPSBSZWdpb25hbHNjaGx1ZXNzZWwsCiAgICAgICAgIGJ1bmRlc2xhbmRfbmFtZSA9IEdFTikKCiMgQW56YWhsIGRlciBFaW53b2huZXIgbWl0IGRlbSBCSVAgdmVyYmluZGVuIHVtIGRhcyBCSVAgcHJvIEtvcGYgYmVyZWNobmVuIHp1IGvDtm5uZW4KYmlwX3plaXRyZWloZSA8LSBsZWZ0X2pvaW4oYmlwX2xvbmcsIGVpbndvaG5lcl9sb25nLCBieT1jKCJSZWdpb25hbHNjaGx1ZXNzZWwiLCAiSmFociIpKSAlPiUKICBtdXRhdGUoYmlwX3Byb19rb3BmID0gYmlwIC8gZWlud29obmVyKQoKIyBCSVAgYXVmIExhbmRrcmVpc2ViZW5lIGltIEphaHIgMjAxNwpiaXBfa29tYmkgPC0gYmlwX3plaXRyZWloZSAlPiUKICBmaWx0ZXIobmNoYXIoUmVnaW9uYWxzY2hsdWVzc2VsKSA9PSA1ICYgSmFociA9PSAyMDE3KSAlPiUKICBzZWxlY3QoLWMoSmFociwgZWlud29obmVyKSkKCiMgRGF0ZW5zw6R0emUgenVzYW1tZW5mw7xocmVuCgojIEJhc2lzZGF0ZW5zYXR6IC0+IEFyYmVpdHNsb3NlbnphaGxlbiBwcm8gTGFuZGtyZWlzCiMgTmFtZSBkZXIgTGFuZGtyZWlzZSB6dW1lcmdlbgpkYXRlbjEgPC0gbGVmdF9qb2luKGFsb19sYW5ka3JlaXMsIGxhbmRrcmVpc19uYW1lLCBieSA9ICJSZWdpb25hbHNjaGx1ZXNzZWwiKQojIE5hbWVuIGRlciBCdW5kZXNsw6RuZGVyIHp1bWVyZ2VuCmRhdGVuMSA8LSBkYXRlbjEgJT4lIG11dGF0ZShidW5kZXNsYW5kID0gc3RyX2V4dHJhY3QoUmVnaW9uYWxzY2hsdWVzc2VsLCAiXi57Mn0iKSkKZGF0ZW4xIDwtIGxlZnRfam9pbihkYXRlbjEsIGJ1bmRlc2xhbmRfbmFtZSwgYnkgPSAiYnVuZGVzbGFuZCIpCiMgU2NodWxkZW4genVtZXJnZW4KZGF0ZW4yIDwtIGxlZnRfam9pbihkYXRlbjEsIHNjaHVsZGVuX2tvbWJpLCBieSA9ICJSZWdpb25hbHNjaGx1ZXNzZWwiKQojIEJJUCB6dW1lcmdlbgpkYXRlbjMgPC0gbGVmdF9qb2luKGRhdGVuMiwgYmlwX2tvbWJpLCBieSA9ICJSZWdpb25hbHNjaGx1ZXNzZWwiKQojIFphaGwgZGVyIEVyd2VyYnN0w6R0aWdlbiB6dW1lcmdlbgpnZXNhbXRkYXRlbiA8LSBsZWZ0X2pvaW4oZGF0ZW4zLCBlcndlcmJfa29tYmksIGJ5ID0gIlJlZ2lvbmFsc2NobHVlc3NlbCIpCgpzYXZlUkRTKGdlc2FtdGRhdGVuLCAiZGF0YS9nZXNhbXRkYXRlbi5yZHMiKQpzYXZlUkRTKHNjaHVsZGVuX2JlcmVpbmlndCwgImRhdGEvc2NodWxkZW5fYmVyZWluaWd0LnJkcyIpCnNhdmVSRFMoYmlwX3plaXRyZWloZSwgImRhdGEvYmlwX3plaXRyZWloZS5yZHMiKQpzYXZlUkRTKGJ1bmRlc2xhbmQsICJkYXRhL2J1bmRlc2xhbmQucmRzIikKc2F2ZVJEUyhnZW1laW5kZW4sICJkYXRhL2dlbWVpbmRlbi5yZHMiKQpzYXZlUkRTKGxhbmRrcmVpc2UsICJkYXRhL2xhbmRrcmVpc2UucmRzIikKYGBgCgoKCiMgw5xidW5nc2F1ZmdhYmVuCgpMYWRlbiBTaWUgc2ljaCBkYXMgZHVyY2hzY2huaXR0bGljaGUgW0FyYmVpdG5laG1lcmVudGdlbHQgcHJvIEFyYmVpdG5laG1lciB1bmQgTGFuZGtyZWlzXShodHRwczovL3d3dy5zdGF0aXN0aWtwb3J0YWwuZGUvZGUvdmVyb2VmZmVudGxpY2h1bmdlbi9hcmJlaXRuZWhtZXJlbnRnZWx0KSBhdWYgZGVyIFNlaXRlIGRlciBTdGF0aXN0aXNjaGVuIMOEbXRlciBkZXMgQnVuZGVzIHVuZCBkZXIgTMOkbmRlciBoZXJ1bnRlciB1bmQgbGVzZW4gU2llIGRpZXNlbiBpbiBSIGVpbi4KCjEuIEZpbmRlbiBTaWUgaW4gZGVtIGhlcnVudGVyZ2VsYWRlbmVuIERhdGVuc2F0eiBoZXJhdXMsIHdhcyBkZXIgVW50ZXJzY2hpZWQgendpc2NoZW4gX0FyYmVpdG5laG1lcmVudGdlbHRfIHVuZCBfQnJ1dHRvbMO2aG5lLSB1bmQgR2Vow6RsdGVyXyBpc3QuCgoyLiBMZXNlbiBTaWUgZGllIGbDvHIgU2llIHJlbGV2YW50ZSBUYWJlbGxlIF9CcnV0dG9sw7ZobmUtIHVuZCBHZWjDpGx0ZXJfIGluIFIgZWluLgoKMy4gQmVyZWluaWdlbiBTaWUgZGllIFRhYmVsbGUsIGQuaC4gZGVyIERhdGVuc2F0eiBzb2xsdGUgZGFuYWNoIGB0aWR5YCBzZWluLgoKNC4gQmVyZWNobmVuIFNpZSBkaWUgQnJ1dHRvbMO2aG5lIHBybyBCdW5kZXNsYW5kIG1pdCBkZW4gQnJ1dHRvbMO2aG5lbiBkZXIgZWluemVsbmVuIExhbmRrcmVpc2UgYWxzIEtvbnNpc3RlbnpjaGVjay4KCjUuIFZlcmdsZWljaGVuIFNpZSBpaHJlbiBEYXRlbnNhdHogbWl0IGRlbSBhdWYgR2l0aHViIGJlcmVpdGdlc3RlbGx0ZW4gRGF0ZW5zYXR6LiBTdGltbWVuIGRpZXNlIMO8YmVyZWluPwoKNi4gVmVyYmluZGVuIFNpZSBkaWUgSW5mb3JtYXRpb25lbiB6dSBkZW4gZHVyY2hzY2huaXR0bGljaGVuIEVpbmtvbW1lbiBtaXQgZGVtIF9nZXNhbXRkYXRlbnNhdHpfIGF1cyBkZW0gdm9yaGVyaWdlbiBBYnNjaG5pdHQuCgo=