Intentemos capturar ahora datos relacionados con Seguridad y Defensa para cada municipio en Colombia. Como vamos a obtener datos de endpoints de diferentes bases de datos, lo que haremos será usar un pequeño archivo de texto que contiene las URL de las que queremos extraer información. También crearemos una pequeña base de datos que nos sirva de referencia.

library(readr)
library(httr)
library(jsonlite)
library(plyr); library(dplyr)

rl <- readLines("endpoints.txt")
dbase <- gsub(".*Seguridad-y-Defensa/(.*)-2017/(.*)", "\\1", rl)
endpoint <- gsub(".*Seguridad-y-Defensa/(.*)-2017/(.*)", "\\2", rl)

endpoints <- data.frame("endpoint"=endpoint, "database"=dbase)
head(endpoints)

Ahora recogeremos los datos de cada uno de esos endpoints. Para ello usaremos un par de funciones que nos ayudarán en el proceso.

creds <- readLines("./credentials-datos-abiertos.txt")
baseurl <- "https://www.datos.gov.co/resource/%s.json"

pasar_pagina <- function(i, block=1000) {
    return(list("$limit"=block,
                "$offset"=block*(i - 1))) 
}

collect_data <- function(url, maxpag=10) {
    status <- TRUE
    i <- 1
    res <- list()
    while (status) {
        print(sprintf("Recogiendo datos de pagina %s", i))
        r <- GET(url,
                 query=pasar_pagina(i),
                 add_headers("X-App-Token"=creds))
        status <- status_code(r) == 200
        if (status) {
            print("...Guardando datos")
            if (length(content(r)) > 0) {
                res[[i]] <- fromJSON(content(r, "text"))
            } else {
                print("I'm stopping now!")
                status <- FALSE
            }
        }
        if (i >= maxpag | !status) { ## Para no eternizarnos
            status <- FALSE
        }
        ## Sys.sleep(2)
        i <- i + 1
    }
    return(do.call(rbind.fill, res))
}

Lo que haremos será llamar cada uno de esos endpoints, recoger hasta 5 páginas de información y agrupar la información por departamento y municipio en diferentes elementos de una lista:

out <- list()
for (i in 1:nrow(endpoints)) {
    URL <- sprintf(baseurl, endpoints$endpoint[i])
    out[[i]] <- as.data.frame(collect_data(URL, 5))
    out[[i]] <- out[[i]] %>%
        group_by(departamento, municipio) %>%
        summarize(n=n())
    out[[i]]$var <- endpoints$database[i]
}
str(out)

Ahora juntamos todas las bases en un único data.frame

out <- do.call(rbind, out)

y lo reorganizamos de tal manera que cada variable sea una nueva columna

dt <- reshape2::dcast(out, departamento ~ var, value.var="n", fun.aggregate=sum)
departamento <- dt$departamento
dt$departamento <- NULL

Lo que hemos conseguido después de estos pasos es una base datos en los que cada fila es una fila y cada columna representa un tipo de incidente.

Como hemos visto, los algoritmos de conglomerado, en esencia, lo que hacen es estructurar una matriz de distancias entre observaciones, poniendo juntos casos que están cerca y separando casos que están lejos. Para ver la intuición detrás de este proceso, podemos empezar por calcular las distancias entre tres observaciones de la base de datos.

dist(dt[1:3, ])

Como vemos el par 1/3 está “cerca”, pero el par 1/2 y el par 2/3 está “lejos”. Esto parece consistente con los datos en bruto. Si calculamos la distancia para cada una de las variables vemos que efectivamente hay poca discrepancia entre 1 y 3 en casi todas las dimensiones:

dt[1, ] - dt[3, ]

Pero que sin embargo, los otros dos pares muestran diferencias mucho más elevadas.

dt[1, ] - dt[2, ]
dt[2, ] - dt[3, ]

Una observación que no debería pasar desapercibida es que algunos de estos delitos son mucho más frecuentes que otros. Por ejemplo, hurto de motocicletas es mucho más frecuente que delitos de terrorismo. Por eso, la distancia entre dos casos sigue implícitamente lo que ocurra en esa variable. Sin embargo, eso no tiene en cuenta que una diferencia de 5 delitos de terrorismo es mucho más significativa que una diferencia en 5 hurtos de motocicleta, simplemente porque un delito de terrorismo ocurre con muy escasa frecuencia.

Parece más razonable estandarizar los datos de tal manera que todas las variables estén en la misma escala. R provee la función scale, pero podemos hacerlo manualmente para que sea más claro:

sdt <- apply(dt, 2, function(x) (x-mean(x))/sd(x))
head(sdt)

Ahora podemos recalcular las mismas distancias que antes

dist(sdt[1:3, ])

Vemos que la misma jerarquía se mantiene pero ahora las distancias se acortan mucho.

Análisis de conglomerados

Métodos aglomerativos y divisivos

Ahora podemos pasar al análisis de nuestros datos

library(cluster)

Empezaremos por construir nuestros aglomerados usando un método que empieza cada observación como unidad independiente y va agrupando casos en función de su similitud:

agmodel <- agnes(sdt)
agmodel

Vemos la ordenación de los objetos y un resume de la altura, pero quizás lo más práctico sea mirar el dendrograma resultante:

plot(agmodel, ask=FALSE, which.plot=2)

Vemso que dos grupos aparecen con mucha claridad. Por una parte, los departamentos 2, 30 y 14, que, sin ser del todo parecidos entre ellos, son muy diferentes a los demás. Por otra, todas las demás observaciones.

departamento[c(2, 30, 14)]

Podemos comprobar manualmente la lógica de esta diferencia. He añadido dos observacioens más para hacer más clara la diferencia:

dist(sdt[c(2, 30, 14, 1, 3), ])

Estamos por tanto ante tres departamentos con relativamente pocos delitos.

El mismo proceso lo podemos hacer a la inversa, empezando con un único grupo y dividiendolo hasta llegar a observaciones individuales

dimodel <- diana(sdt)
dimodel
plot(dimodel, ask=FALSE, 3)

Como vemos no hace ninguna diferencia práctica, como suele ser el caso.

Método de k-medias

En el modelo anterior, hemos obtenido el número de grupos inspeccionando el dendrograma después de calcular distancias entre cada observación. Otra alternativa es fijar de antemano el número de conglomerados y decidir cómo se dividirían las observaciones en ese caso.

La función kmeans nso permite pasar una matriz de datos y un número de grupos (o un vector de centros) y calcula la división óptima de los casos asumiendo ese número como correcto.

Asumamos que existan 4 grupos en la población.

kmeans(sdt, 4)

La función nos ofrece, en primer lugar, el centro de cada uno de los grupos (que se leería como el vector fila). También nos dice a qué grupo pertenece cada observación y datos sobre la suma de cuadrados explicada por esta asignación.

¿Cómo decidir si nuestro supuesto es correcto? El mejor modo es hacer diferentes análisis bajo diferentes supuestos y comprobar los resultados. Por ejemplo, podemos clasificar los datos en una secuencia de 1 a 10 grupos:

K <- 10
m <- vector("list", K)
for (k in 1:K) {
    m[[k]] <- kmeans(sdt, centers=k)
}

Ahora podemos ver cómo evoluciona la descomposición de la suma de cuadrados:

bw <- ldply(m, function(x) data.frame("b"=x$betweenss, "w"=x$tot.withinss))
plot(1:K, bw$b, "l", col="blue")
lines(1:K, bw$w, col="red")

Vemos que a partir de dos grupos, el incremento marginal en la coherencia de los grupos y la distancia entre los mismos es mucho menor. Es decir, a partir de 2 grupos, no merece la pena seguir dividiendo.

Hay otros criterios para tomar esta decisión.

library(fpc)
model <- kmeansruns(sdt, krange=1:10, criterion="ch")
model$crit
model$bestk

o

model <- kmeansruns(sdt, krange=1:10, criterion="asw")
model$crit
model$bestk

Lo que vemos es que da igual qué criterio escojamos, dos grupos son suficientes para representar la estructura de los datos. Además, si usamos este modelo, con sus centros, para predecir qué observación cae en cada grupo vemos que

m <- kmeans(dt, 2)
which(m$cluster == 2)

que son las mismas observaciones que vimos antes.

saveRDS(dt, "dta/datos-criminalidad.RDS")
LS0tCnRpdGxlOiAiQW7DoWxpc2lzIGRlIGNvbmdsb21lcmFkb3MiCmRhdGU6ICJgciBmb3JtYXQoU3lzLnRpbWUoKSwgJyVCICVkLCAlWScpYCIKLS0tCgpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRSwgY2FjaGU9RkFMU0V9CmtuaXRyOjpvcHRzX2NodW5rJHNldChldmFsID0gRkFMU0UpCmtuaXRyOjpvcHRzX2NodW5rJHNldChmaWcucGF0aCA9ICcuL2Fzc2V0cy8nKQpgYGAKCkludGVudGVtb3MgY2FwdHVyYXIgYWhvcmEgZGF0b3MgcmVsYWNpb25hZG9zIGNvbiBTZWd1cmlkYWQgeSBEZWZlbnNhIHBhcmEgY2FkYQptdW5pY2lwaW8gZW4gQ29sb21iaWEuIENvbW8gdmFtb3MgYSBvYnRlbmVyIGRhdG9zIGRlIF9lbmRwb2ludHNfIGRlIGRpZmVyZW50ZXMKYmFzZXMgZGUgZGF0b3MsIGxvIHF1ZSBoYXJlbW9zIHNlcsOhIHVzYXIgdW4gcGVxdWXDsW8gYXJjaGl2byBkZSB0ZXh0byBxdWUKY29udGllbmUgbGFzIFVSTCBkZSBsYXMgcXVlIHF1ZXJlbW9zIGV4dHJhZXIgaW5mb3JtYWNpw7NuLiBUYW1iacOpbiBjcmVhcmVtb3MgdW5hCnBlcXVlw7FhIGJhc2UgZGUgZGF0b3MgcXVlIG5vcyBzaXJ2YSBkZSByZWZlcmVuY2lhLiAKCmBgYHtyfQpsaWJyYXJ5KHJlYWRyKQpsaWJyYXJ5KGh0dHIpCmxpYnJhcnkoanNvbmxpdGUpCmxpYnJhcnkocGx5cik7IGxpYnJhcnkoZHBseXIpCgpybCA8LSByZWFkTGluZXMoImVuZHBvaW50cy50eHQiKQpkYmFzZSA8LSBnc3ViKCIuKlNlZ3VyaWRhZC15LURlZmVuc2EvKC4qKS0yMDE3LyguKikiLCAiXFwxIiwgcmwpCmVuZHBvaW50IDwtIGdzdWIoIi4qU2VndXJpZGFkLXktRGVmZW5zYS8oLiopLTIwMTcvKC4qKSIsICJcXDIiLCBybCkKCmVuZHBvaW50cyA8LSBkYXRhLmZyYW1lKCJlbmRwb2ludCI9ZW5kcG9pbnQsICJkYXRhYmFzZSI9ZGJhc2UpCmhlYWQoZW5kcG9pbnRzKQpgYGAKCkFob3JhIHJlY29nZXJlbW9zIGxvcyBkYXRvcyBkZSBjYWRhIHVubyBkZSBlc29zIF9lbmRwb2ludHNfLiBQYXJhIGVsbG8gdXNhcmVtb3MKdW4gcGFyIGRlIGZ1bmNpb25lcyBxdWUgbm9zIGF5dWRhcsOhbiBlbiBlbCBwcm9jZXNvLiAKCmBgYHtyfQpjcmVkcyA8LSByZWFkTGluZXMoIi4vY3JlZGVudGlhbHMtZGF0b3MtYWJpZXJ0b3MudHh0IikKYmFzZXVybCA8LSAiaHR0cHM6Ly93d3cuZGF0b3MuZ292LmNvL3Jlc291cmNlLyVzLmpzb24iCgpwYXNhcl9wYWdpbmEgPC0gZnVuY3Rpb24oaSwgYmxvY2s9MTAwMCkgewogICAgcmV0dXJuKGxpc3QoIiRsaW1pdCI9YmxvY2ssCiAgICAgICAgICAgICAgICAiJG9mZnNldCI9YmxvY2sqKGkgLSAxKSkpIAp9Cgpjb2xsZWN0X2RhdGEgPC0gZnVuY3Rpb24odXJsLCBtYXhwYWc9MTApIHsKICAgIHN0YXR1cyA8LSBUUlVFCiAgICBpIDwtIDEKICAgIHJlcyA8LSBsaXN0KCkKICAgIHdoaWxlIChzdGF0dXMpIHsKICAgICAgICBwcmludChzcHJpbnRmKCJSZWNvZ2llbmRvIGRhdG9zIGRlIHBhZ2luYSAlcyIsIGkpKQogICAgICAgIHIgPC0gR0VUKHVybCwKICAgICAgICAgICAgICAgICBxdWVyeT1wYXNhcl9wYWdpbmEoaSksCiAgICAgICAgICAgICAgICAgYWRkX2hlYWRlcnMoIlgtQXBwLVRva2VuIj1jcmVkcykpCiAgICAgICAgc3RhdHVzIDwtIHN0YXR1c19jb2RlKHIpID09IDIwMAogICAgICAgIGlmIChzdGF0dXMpIHsKICAgICAgICAgICAgcHJpbnQoIi4uLkd1YXJkYW5kbyBkYXRvcyIpCiAgICAgICAgICAgIGlmIChsZW5ndGgoY29udGVudChyKSkgPiAwKSB7CiAgICAgICAgICAgICAgICByZXNbW2ldXSA8LSBmcm9tSlNPTihjb250ZW50KHIsICJ0ZXh0IikpCiAgICAgICAgICAgIH0gZWxzZSB7CiAgICAgICAgICAgICAgICBwcmludCgiSSdtIHN0b3BwaW5nIG5vdyEiKQogICAgICAgICAgICAgICAgc3RhdHVzIDwtIEZBTFNFCiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICAgICAgaWYgKGkgPj0gbWF4cGFnIHwgIXN0YXR1cykgeyAjIyBQYXJhIG5vIGV0ZXJuaXphcm5vcwogICAgICAgICAgICBzdGF0dXMgPC0gRkFMU0UKICAgICAgICB9CiAgICAgICAgIyMgU3lzLnNsZWVwKDIpCiAgICAgICAgaSA8LSBpICsgMQogICAgfQogICAgcmV0dXJuKGRvLmNhbGwocmJpbmQuZmlsbCwgcmVzKSkKfQpgYGAKCkxvIHF1ZSBoYXJlbW9zIHNlcsOhIGxsYW1hciBjYWRhIHVubyBkZSBlc29zIF9lbmRwb2ludHNfLCByZWNvZ2VyIGhhc3RhIDUgcMOhZ2luYXMKZGUgaW5mb3JtYWNpw7NuIHkgYWdydXBhciBsYSBpbmZvcm1hY2nDs24gcG9yIGRlcGFydGFtZW50byB5IG11bmljaXBpbyBlbgpkaWZlcmVudGVzIGVsZW1lbnRvcyBkZSB1bmEgbGlzdGE6CgpgYGB7cn0Kb3V0IDwtIGxpc3QoKQpmb3IgKGkgaW4gMTpucm93KGVuZHBvaW50cykpIHsKICAgIFVSTCA8LSBzcHJpbnRmKGJhc2V1cmwsIGVuZHBvaW50cyRlbmRwb2ludFtpXSkKICAgIG91dFtbaV1dIDwtIGFzLmRhdGEuZnJhbWUoY29sbGVjdF9kYXRhKFVSTCwgNSkpCiAgICBvdXRbW2ldXSA8LSBvdXRbW2ldXSAlPiUKICAgICAgICBncm91cF9ieShkZXBhcnRhbWVudG8sIG11bmljaXBpbykgJT4lCiAgICAgICAgc3VtbWFyaXplKG49bigpKQogICAgb3V0W1tpXV0kdmFyIDwtIGVuZHBvaW50cyRkYXRhYmFzZVtpXQp9CnN0cihvdXQpCmBgYAoKQWhvcmEganVudGFtb3MgdG9kYXMgbGFzIGJhc2VzIGVuIHVuIMO6bmljbyBgZGF0YS5mcmFtZWAKCmBgYHtyfQpvdXQgPC0gZG8uY2FsbChyYmluZCwgb3V0KQpgYGAKCnkgbG8gcmVvcmdhbml6YW1vcyBkZSB0YWwgbWFuZXJhIHF1ZSBjYWRhIHZhcmlhYmxlIHNlYSB1bmEgbnVldmEgY29sdW1uYQoKYGBge3J9CmR0IDwtIHJlc2hhcGUyOjpkY2FzdChvdXQsIGRlcGFydGFtZW50byB+IHZhciwgdmFsdWUudmFyPSJuIiwgZnVuLmFnZ3JlZ2F0ZT1zdW0pCmRlcGFydGFtZW50byA8LSBkdCRkZXBhcnRhbWVudG8KZHQkZGVwYXJ0YW1lbnRvIDwtIE5VTEwKYGBgCgpMbyBxdWUgaGVtb3MgY29uc2VndWlkbyBkZXNwdcOpcyBkZSBlc3RvcyBwYXNvcyBlcyB1bmEgYmFzZSBkYXRvcyBlbiBsb3MgcXVlIGNhZGEKZmlsYSBlcyB1bmEgZmlsYSB5IGNhZGEgY29sdW1uYSByZXByZXNlbnRhIHVuIHRpcG8gZGUgaW5jaWRlbnRlLiAKCkNvbW8gaGVtb3MgdmlzdG8sIGxvcyBhbGdvcml0bW9zIGRlIGNvbmdsb21lcmFkbywgZW4gZXNlbmNpYSwgbG8gcXVlIGhhY2VuIGVzCmVzdHJ1Y3R1cmFyIHVuYSBtYXRyaXogZGUgZGlzdGFuY2lhcyBlbnRyZSBvYnNlcnZhY2lvbmVzLCBwb25pZW5kbyBqdW50b3MgY2Fzb3MKcXVlIGVzdMOhbiBjZXJjYSB5IHNlcGFyYW5kbyBjYXNvcyBxdWUgZXN0w6FuIGxlam9zLiBQYXJhIHZlciBsYSBpbnR1aWNpw7NuIGRldHLDoXMKZGUgZXN0ZSBwcm9jZXNvLCBwb2RlbW9zIGVtcGV6YXIgcG9yIGNhbGN1bGFyIGxhcyBkaXN0YW5jaWFzIGVudHJlIHRyZXMKb2JzZXJ2YWNpb25lcyBkZSBsYSBiYXNlIGRlIGRhdG9zLiAKCmBgYHtyfQpkaXN0KGR0WzE6MywgXSkKYGBgCgpDb21vIHZlbW9zIGVsIHBhciAxLzMgZXN0w6EgImNlcmNhIiwgcGVybyBlbCBwYXIgMS8yIHkgZWwgcGFyIDIvMyBlc3TDoSAibGVqb3MiLgpFc3RvIHBhcmVjZSBjb25zaXN0ZW50ZSBjb24gbG9zIGRhdG9zIGVuIGJydXRvLiBTaSBjYWxjdWxhbW9zIGxhIGRpc3RhbmNpYSBwYXJhCmNhZGEgdW5hIGRlIGxhcyB2YXJpYWJsZXMgdmVtb3MgcXVlIGVmZWN0aXZhbWVudGUgaGF5IHBvY2EgZGlzY3JlcGFuY2lhIGVudHJlIDEKeSAzIGVuIGNhc2kgdG9kYXMgbGFzIGRpbWVuc2lvbmVzOgoKYGBge3J9CmR0WzEsIF0gLSBkdFszLCBdCmBgYAoKUGVybyBxdWUgc2luIGVtYmFyZ28sIGxvcyBvdHJvcyBkb3MgcGFyZXMgbXVlc3RyYW4gZGlmZXJlbmNpYXMgbXVjaG8gbcOhcwplbGV2YWRhcy4gCgpgYGB7cn0KZHRbMSwgXSAtIGR0WzIsIF0KZHRbMiwgXSAtIGR0WzMsIF0KYGBgCgpVbmEgb2JzZXJ2YWNpw7NuIHF1ZSBubyBkZWJlcsOtYSBwYXNhciBkZXNhcGVyY2liaWRhIGVzIHF1ZSBhbGd1bm9zIGRlIGVzdG9zCmRlbGl0b3Mgc29uIG11Y2hvIG3DoXMgZnJlY3VlbnRlcyBxdWUgb3Ryb3MuIFBvciBlamVtcGxvLCBfaHVydG8gZGUgbW90b2NpY2xldGFzXwplcyBtdWNobyBtw6FzIGZyZWN1ZW50ZSBxdWUgX2RlbGl0b3MgZGUgdGVycm9yaXNtb18uIFBvciBlc28sIGxhIGRpc3RhbmNpYSBlbnRyZQpkb3MgY2Fzb3Mgc2lndWUgaW1wbMOtY2l0YW1lbnRlIGxvIHF1ZSBvY3VycmEgZW4gZXNhIHZhcmlhYmxlLiBTaW4gZW1iYXJnbywgZXNvCm5vIHRpZW5lIGVuIGN1ZW50YSBxdWUgdW5hIGRpZmVyZW5jaWEgZGUgNSBkZWxpdG9zIGRlIHRlcnJvcmlzbW8gZXMgbXVjaG8gbcOhcwpzaWduaWZpY2F0aXZhIHF1ZSB1bmEgZGlmZXJlbmNpYSBlbiA1IGh1cnRvcyBkZSBtb3RvY2ljbGV0YSwgc2ltcGxlbWVudGUgcG9ycXVlCnVuIGRlbGl0byBkZSB0ZXJyb3Jpc21vIG9jdXJyZSBjb24gbXV5IGVzY2FzYSBmcmVjdWVuY2lhLiAKClBhcmVjZSBtw6FzIHJhem9uYWJsZSBlc3RhbmRhcml6YXIgbG9zIGRhdG9zIGRlIHRhbCBtYW5lcmEgcXVlIHRvZGFzIGxhcwp2YXJpYWJsZXMgZXN0w6luIGVuIGxhIG1pc21hIGVzY2FsYS4gYFJgIHByb3ZlZSBsYSBmdW5jacOzbiBgc2NhbGVgLCBwZXJvIHBvZGVtb3MKaGFjZXJsbyBtYW51YWxtZW50ZSBwYXJhIHF1ZSBzZWEgbcOhcyBjbGFybzoKCmBgYHtyfQpzZHQgPC0gYXBwbHkoZHQsIDIsIGZ1bmN0aW9uKHgpICh4LW1lYW4oeCkpL3NkKHgpKQpoZWFkKHNkdCkKYGBgCgpBaG9yYSBwb2RlbW9zIHJlY2FsY3VsYXIgbGFzIG1pc21hcyBkaXN0YW5jaWFzIHF1ZSBhbnRlcwpgYGB7cn0KZGlzdChzZHRbMTozLCBdKQpgYGAKClZlbW9zIHF1ZSBsYSBtaXNtYSBqZXJhcnF1w61hIHNlIG1hbnRpZW5lIHBlcm8gYWhvcmEgbGFzIGRpc3RhbmNpYXMgc2UgYWNvcnRhbgptdWNoby4gCgojIyBBbsOhbGlzaXMgZGUgY29uZ2xvbWVyYWRvcwoKIyMjIE3DqXRvZG9zIGFnbG9tZXJhdGl2b3MgeSBkaXZpc2l2b3MKCkFob3JhIHBvZGVtb3MgcGFzYXIgYWwgYW7DoWxpc2lzIGRlIG51ZXN0cm9zIGRhdG9zCmBgYHtyfQpsaWJyYXJ5KGNsdXN0ZXIpCmBgYAoKRW1wZXphcmVtb3MgcG9yIGNvbnN0cnVpciBudWVzdHJvcyBhZ2xvbWVyYWRvcyB1c2FuZG8gdW4gbcOpdG9kbyBxdWUgZW1waWV6YSBjYWRhCm9ic2VydmFjacOzbiBjb21vIHVuaWRhZCBpbmRlcGVuZGllbnRlIHkgdmEgYWdydXBhbmRvIGNhc29zIGVuIGZ1bmNpw7NuIGRlIHN1IHNpbWlsaXR1ZDoKCmBgYHtyfQphZ21vZGVsIDwtIGFnbmVzKHNkdCkKYWdtb2RlbApgYGAKVmVtb3MgbGEgb3JkZW5hY2nDs24gZGUgbG9zIG9iamV0b3MgeSB1biByZXN1bWUgZGUgbGEgYWx0dXJhLCBwZXJvIHF1aXrDoXMgbG8gbcOhcwpwcsOhY3RpY28gc2VhIG1pcmFyIGVsIGRlbmRyb2dyYW1hIHJlc3VsdGFudGU6CgpgYGB7cn0KcGxvdChhZ21vZGVsLCBhc2s9RkFMU0UsIHdoaWNoLnBsb3Q9MikKYGBgCgpWZW1zbyBxdWUgZG9zIGdydXBvcyBhcGFyZWNlbiBjb24gbXVjaGEgY2xhcmlkYWQuIFBvciB1bmEgcGFydGUsIGxvcwpkZXBhcnRhbWVudG9zIDIsIDMwIHkgMTQsIHF1ZSwgc2luIHNlciBkZWwgdG9kbyBwYXJlY2lkb3MgZW50cmUgZWxsb3MsIHNvbiBtdXkKZGlmZXJlbnRlcyBhIGxvcyBkZW3DoXMuIFBvciBvdHJhLCB0b2RhcyBsYXMgZGVtw6FzIG9ic2VydmFjaW9uZXMuIAoKYGBge3J9CmRlcGFydGFtZW50b1tjKDIsIDMwLCAxNCldCmBgYAoKUG9kZW1vcyBjb21wcm9iYXIgbWFudWFsbWVudGUgbGEgbMOzZ2ljYSBkZSBlc3RhIGRpZmVyZW5jaWEuIEhlIGHDsWFkaWRvIGRvcwpvYnNlcnZhY2lvZW5zIG3DoXMgcGFyYSBoYWNlciBtw6FzIGNsYXJhIGxhIGRpZmVyZW5jaWE6CgpgYGB7cn0KZGlzdChzZHRbYygyLCAzMCwgMTQsIDEsIDMpLCBdKQpgYGAKCkVzdGFtb3MgcG9yIHRhbnRvIGFudGUgdHJlcyBkZXBhcnRhbWVudG9zIGNvbiByZWxhdGl2YW1lbnRlIHBvY29zIGRlbGl0b3MuIAoKRWwgbWlzbW8gcHJvY2VzbyBsbyBwb2RlbW9zIGhhY2VyIGEgbGEgaW52ZXJzYSwgZW1wZXphbmRvIGNvbiB1biDDum5pY28gZ3J1cG8geQpkaXZpZGllbmRvbG8gaGFzdGEgbGxlZ2FyIGEgb2JzZXJ2YWNpb25lcyBpbmRpdmlkdWFsZXMKCmBgYHtyfQpkaW1vZGVsIDwtIGRpYW5hKHNkdCkKZGltb2RlbApwbG90KGRpbW9kZWwsIGFzaz1GQUxTRSwgMykKYGBgCgpDb21vIHZlbW9zIG5vIGhhY2UgbmluZ3VuYSBkaWZlcmVuY2lhIHByw6FjdGljYSwgY29tbyBzdWVsZSBzZXIgZWwgY2Fzby4gCgojIyMgTcOpdG9kbyBkZSBrLW1lZGlhcwoKRW4gZWwgbW9kZWxvIGFudGVyaW9yLCBoZW1vcyBvYnRlbmlkbyBlbCBuw7ptZXJvIGRlIGdydXBvcyBpbnNwZWNjaW9uYW5kbyBlbApkZW5kcm9ncmFtYSBkZXNwdcOpcyBkZSBjYWxjdWxhciBkaXN0YW5jaWFzIGVudHJlIGNhZGEgb2JzZXJ2YWNpw7NuLiBPdHJhCmFsdGVybmF0aXZhIGVzIGZpamFyIGRlIGFudGVtYW5vIGVsIG7Dum1lcm8gZGUgY29uZ2xvbWVyYWRvcyB5IGRlY2lkaXIgY8OzbW8gc2UKZGl2aWRpcsOtYW4gbGFzIG9ic2VydmFjaW9uZXMgZW4gZXNlIGNhc28uIAoKTGEgZnVuY2nDs24gYGttZWFuc2AgbnNvIHBlcm1pdGUgcGFzYXIgdW5hIG1hdHJpeiBkZSBkYXRvcyB5IHVuIG7Dum1lcm8gZGUgZ3J1cG9zCihvIHVuIHZlY3RvciBkZSBjZW50cm9zKSB5IGNhbGN1bGEgbGEgZGl2aXNpw7NuIMOzcHRpbWEgZGUgbG9zIGNhc29zIGFzdW1pZW5kbyBlc2UKbsO6bWVybyBjb21vIGNvcnJlY3RvLiAKCkFzdW1hbW9zIHF1ZSBleGlzdGFuIDQgZ3J1cG9zIGVuIGxhIHBvYmxhY2nDs24uIApgYGB7cn0Ka21lYW5zKHNkdCwgNCkKYGBgCgpMYSBmdW5jacOzbiBub3Mgb2ZyZWNlLCBlbiBwcmltZXIgbHVnYXIsIGVsIGNlbnRybyBkZSBjYWRhIHVubyBkZSBsb3MgZ3J1cG9zIChxdWUKc2UgbGVlcsOtYSBjb21vIGVsIHZlY3RvciBmaWxhKS4gVGFtYmnDqW4gbm9zIGRpY2UgYSBxdcOpIGdydXBvIHBlcnRlbmVjZSBjYWRhCm9ic2VydmFjacOzbiB5IGRhdG9zIHNvYnJlIGxhIHN1bWEgZGUgY3VhZHJhZG9zIGV4cGxpY2FkYSBwb3IgZXN0YSBhc2lnbmFjacOzbi4gCgrCv0PDs21vIGRlY2lkaXIgc2kgbnVlc3RybyBzdXB1ZXN0byBlcyBjb3JyZWN0bz8gRWwgbWVqb3IgbW9kbyBlcyBoYWNlciBkaWZlcmVudGVzCmFuw6FsaXNpcyBiYWpvIGRpZmVyZW50ZXMgc3VwdWVzdG9zIHkgY29tcHJvYmFyIGxvcyByZXN1bHRhZG9zLiBQb3IgZWplbXBsbywKcG9kZW1vcyBjbGFzaWZpY2FyIGxvcyBkYXRvcyBlbiB1bmEgc2VjdWVuY2lhIGRlIDEgYSAxMCBncnVwb3M6CgpgYGB7cn0KSyA8LSAxMAptIDwtIHZlY3RvcigibGlzdCIsIEspCmZvciAoayBpbiAxOkspIHsKICAgIG1bW2tdXSA8LSBrbWVhbnMoc2R0LCBjZW50ZXJzPWspCn0KYGBgCgpBaG9yYSBwb2RlbW9zIHZlciBjw7NtbyBldm9sdWNpb25hIGxhIGRlc2NvbXBvc2ljacOzbiBkZSBsYSBzdW1hIGRlIGN1YWRyYWRvczoKCmBgYHtyfQpidyA8LSBsZHBseShtLCBmdW5jdGlvbih4KSBkYXRhLmZyYW1lKCJiIj14JGJldHdlZW5zcywgInciPXgkdG90LndpdGhpbnNzKSkKcGxvdCgxOkssIGJ3JGIsICJsIiwgY29sPSJibHVlIikKbGluZXMoMTpLLCBidyR3LCBjb2w9InJlZCIpCmBgYAoKVmVtb3MgcXVlIGEgcGFydGlyIGRlIGRvcyBncnVwb3MsIGVsIGluY3JlbWVudG8gbWFyZ2luYWwgZW4gbGEgY29oZXJlbmNpYSBkZSBsb3MKZ3J1cG9zIHkgbGEgZGlzdGFuY2lhIGVudHJlIGxvcyBtaXNtb3MgZXMgbXVjaG8gbWVub3IuIEVzIGRlY2lyLCBhIHBhcnRpciBkZSAyCmdydXBvcywgbm8gbWVyZWNlIGxhIHBlbmEgc2VndWlyIGRpdmlkaWVuZG8uIAoKSGF5IG90cm9zIGNyaXRlcmlvcyBwYXJhIHRvbWFyIGVzdGEgZGVjaXNpw7NuLiAKCmBgYHtyfQpsaWJyYXJ5KGZwYykKbW9kZWwgPC0ga21lYW5zcnVucyhzZHQsIGtyYW5nZT0xOjEwLCBjcml0ZXJpb249ImNoIikKbW9kZWwkY3JpdAptb2RlbCRiZXN0awpgYGAKCm8KCmBgYHtyfQptb2RlbCA8LSBrbWVhbnNydW5zKHNkdCwga3JhbmdlPTE6MTAsIGNyaXRlcmlvbj0iYXN3IikKbW9kZWwkY3JpdAptb2RlbCRiZXN0awpgYGAKCkxvIHF1ZSB2ZW1vcyBlcyBxdWUgZGEgaWd1YWwgcXXDqSBjcml0ZXJpbyBlc2NvamFtb3MsIGRvcyBncnVwb3Mgc29uIHN1ZmljaWVudGVzCnBhcmEgcmVwcmVzZW50YXIgbGEgZXN0cnVjdHVyYSBkZSBsb3MgZGF0b3MuIEFkZW3DoXMsIHNpIHVzYW1vcyBlc3RlIG1vZGVsbywgY29uCnN1cyBjZW50cm9zLCBwYXJhIHByZWRlY2lyIHF1w6kgb2JzZXJ2YWNpw7NuIGNhZSBlbiBjYWRhIGdydXBvIHZlbW9zIHF1ZQoKYGBge3J9Cm0gPC0ga21lYW5zKGR0LCAyKQp3aGljaChtJGNsdXN0ZXIgPT0gMikKYGBgCgpxdWUgc29uIGxhcyBtaXNtYXMgb2JzZXJ2YWNpb25lcyBxdWUgdmltb3MgYW50ZXMuIAoKYGBge3J9CnNhdmVSRFMoZHQsICJkdGEvZGF0b3MtY3JpbWluYWxpZGFkLlJEUyIpCmBgYAo=