Ejercicio en Clase: Poblacion

Instalar paquetes y llamar librerias

# install.packages("forecast")
library(forecast)
# install.packages("tidyverse")
library(tidyverse)
# install.packages("ggplot2")
library(ggplot2)
# install.packages("maps")
library(maps)

Importar la base de datos

#file.choose()
poblacion <- read.csv("C:\\Users\\sesa777394\\Downloads\\population.csv")

Entendiendo la base de datos

summary(poblacion)
##     state                year        population      
##  Length:6020        Min.   :1900   Min.   :   43000  
##  Class :character   1st Qu.:1930   1st Qu.:  901483  
##  Mode  :character   Median :1960   Median : 2359000  
##                     Mean   :1960   Mean   : 3726003  
##                     3rd Qu.:1990   3rd Qu.: 4541883  
##                     Max.   :2019   Max.   :39512223
str(poblacion)
## 'data.frame':    6020 obs. of  3 variables:
##  $ state     : chr  "AK" "AK" "AK" "AK" ...
##  $ year      : int  1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 ...
##  $ population: int  135000 158000 189000 205000 215000 222000 224000 231000 224000 224000 ...
head(poblacion)
##   state year population
## 1    AK 1950     135000
## 2    AK 1951     158000
## 3    AK 1952     189000
## 4    AK 1953     205000
## 5    AK 1954     215000
## 6    AK 1955     222000

Serie de Tiempo en Texas

poblacion_texas <- poblacion %>% filter(state=="TX")
ggplot(poblacion_texas, aes(x=year, y=population)) + 
  geom_line() +
  labs(title="Poblacion de Texas", x = "Año", y = "Poblacion")

ts_texas <- ts(poblacion_texas$population, start=1900, frequency = 1) #Serie de Tiempo Anual
# ts_texas <- ts(poblacion_texas$population, start=1900, 4, frequency = 4) #Serie de Tiempo Trimestral, 4 significa que arranca el cuarto trimestre
# ts_texas <- ts(poblacion_texas$population, start=1900, 8, frequency = 12) #Serie de Tiempo Mensual, 8 significa que arranca en agosto
arima_texas <- auto.arima(ts_texas)
summary(arima_texas)
## Series: ts_texas 
## ARIMA(0,2,2) 
## 
## Coefficients:
##           ma1      ma2
##       -0.5950  -0.1798
## s.e.   0.0913   0.0951
## 
## sigma^2 = 1.031e+10:  log likelihood = -1527.14
## AIC=3060.28   AICc=3060.5   BIC=3068.6
## 
## Training set error measures:
##                    ME     RMSE      MAE       MPE      MAPE      MASE
## Training set 12147.62 99818.31 59257.39 0.1046163 0.5686743 0.2672197
##                     ACF1
## Training set -0.02136734
pronostico_texas <- forecast(arima_texas, level = 95, h = 20)
pronostico_texas
##      Point Forecast    Lo 95    Hi 95
## 2020       29398472 29199487 29597457
## 2021       29806827 29463665 30149990
## 2022       30215183 29742956 30687410
## 2023       30623538 30024100 31222977
## 2024       31031894 30303359 31760429
## 2025       31440249 30579246 32301253
## 2026       31848605 30851090 32846119
## 2027       32256960 31118581 33395339
## 2028       32665316 31381587 33949044
## 2029       33073671 31640070 34507272
## 2030       33482027 31894047 35070007
## 2031       33890382 32143561 35637204
## 2032       34298738 32388674 36208801
## 2033       34707093 32629456 36784730
## 2034       35115449 32865983 37364914
## 2035       35523804 33098330 37949278
## 2036       35932160 33326573 38537746
## 2037       36340515 33550788 39130242
## 2038       36748871 33771046 39726695
## 2039       37157226 33987418 40327034
plot(pronostico_texas)

Crear un mapa

# Instalar y/o cargar librerías necesarias
# install.packages(c("dplyr", "ggplot2", "forecast", "maps"))
library(dplyr)
library(ggplot2)
library(forecast)
library(maps)

# 1) Cargar los datos ----------------------------------------
poblacion <- read.csv("population.csv")

# 2) Generar pronósticos para cada estado hasta el año 2050 ---
#    y combinarlos con los datos originales

# Creamos un dataset extendido que inicialmente es igual al original
poblacion_extendida <- poblacion

# Identificamos los estados únicos
estados <- unique(poblacion$state)

# Para cada estado, entrenamos un modelo ARIMA y hacemos forecast hasta 2050
for(st in estados){
  
  # Filtrar datos de ese estado y ordenarlos por año
  datos_st <- poblacion %>%
    filter(state == st) %>%
    arrange(year)
  
  # Determinar el último año disponible
  ultimo_anio <- max(datos_st$year)
  
  # Crear serie de tiempo
  ts_st <- ts(datos_st$population,
              start = min(datos_st$year),
              end   = ultimo_anio,
              frequency = 1)  # Anual
  
  # Entrenar el modelo ARIMA
  modelo_st <- auto.arima(ts_st)
  
  # Calcular cuántos años hay que pronosticar
  # (solo hacemos forecast si el ultimo_anio es < 2050)
  h_years <- 2050 - ultimo_anio
  
  if(h_years > 0){
    # Hacemos el pronóstico
    pronostico <- forecast(modelo_st, h = h_years)
    
    # Creamos un data frame con los resultados
    anios_pronostico <- (ultimo_anio + 1):2050
    poblacion_pronosticada <- as.numeric(pronostico$mean)
    
    df_forecast <- data.frame(
      state = st,
      year  = anios_pronostico,
      population = poblacion_pronosticada
    )
    
    # Agregamos filas con la población pronosticada
    poblacion_extendida <- rbind(poblacion_extendida, df_forecast)
  }
}

# 3) Función para graficar el mapa para un año dado ------------
plot_map <- function(year) {
  
  # Filtramos los datos para el año solicitado
  data_year <- poblacion_extendida %>%
    filter(year == !!year)
  
  # Cargar datos geográficos de EE.UU.
  states_map <- map_data("state")
  
  # Necesitamos relacionar la sigla (state) con el nombre en minúsculas
  # R trae dos vectores auxiliares: state.abb (siglas) y state.name (nombres completos)
  data_year <- data_year %>%
    mutate(region = tolower(state.name[match(state, state.abb)])) %>%
    right_join(states_map, by = "region")
  
  # Graficar
  ggplot(data_year, aes(x = long, y = lat, group = group, fill = population)) +
    geom_polygon(color = "black") +
    # Gradiente verde -> rojo
    scale_fill_gradient(
      low = "green",   # color mínimo
      high = "red",    # color máximo
      name = "Población"
    ) +
    labs(
      title = paste("Población por Estado en", year)
    ) +
    theme_void() +
    theme(
      legend.position = "right",
      plot.title = element_text(size = 16, face = "bold")
    )
}

# 4) Graficar el mapa cada década entre 1900 y 2050 -------------
for(year in seq(1900, 2050, by = 10)) {
  print(plot_map(year))
}

Actividad 2: Caso Hershey

Importar la base de datos

Hershey <- read.csv("C:\\Users\\sesa777394\\Downloads\\Ventas_Históricas_Lechitas.csv")
Hershey
##       Mes   Ventas
## 1  ene-17 25520.51
## 2  feb-17 23740.11
## 3  mar-17 26253.58
## 4  abr-17 25868.43
## 5  may-17 27072.87
## 6  jun-17 27150.50
## 7  jul-17 27067.10
## 8  ago-17 28145.25
## 9  sep-17 27546.29
## 10 oct-17 28400.37
## 11 nov-17 27441.98
## 12 dic-17 27852.47
## 13 ene-18 28463.69
## 14 feb-18 26996.11
## 15 mar-18 29768.20
## 16 abr-18 29292.51
## 17 may-18 29950.68
## 18 jun-18 30099.17
## 19 jul-18 30851.26
## 20 ago-18 32271.76
## 21 sep-18 31940.74
## 22 oct-18 32995.93
## 23 nov-18 32197.12
## 24 dic-18 31984.82
## 25 ene-19 32496.44
## 26 feb-19 31287.28
## 27 mar-19 33376.02
## 28 abr-19 32949.77
## 29 may-19 34004.11
## 30 jun-19 33757.89
## 31 jul-19 32927.30
## 32 ago-19 34324.12
## 33 sep-19 35151.28
## 34 oct-19 36133.07
## 35 nov-19 34799.91
## 36 dic-19 34846.17

1. Modelo AUTO.ARIMA

ts_ventas <- ts(Hershey$Ventas, start=c(2017,1), frequency = 12)
autoplot(ts_ventas) + labs(title = "Ventas de Leche Saborizada Hersheys", x="Tiempo", y="Miles de Dólares")

arima_ventas <- auto.arima(ts_ventas)
summary(arima_ventas)
## Series: ts_ventas 
## ARIMA(1,0,0)(1,1,0)[12] with drift 
## 
## Coefficients:
##          ar1     sar1     drift
##       0.6383  -0.5517  288.8980
## s.e.  0.1551   0.2047   14.5026
## 
## sigma^2 = 202700:  log likelihood = -181.5
## AIC=371   AICc=373.11   BIC=375.72
## 
## Training set error measures:
##                    ME    RMSE      MAE        MPE      MAPE       MASE
## Training set 25.22163 343.863 227.1699 0.08059942 0.7069541 0.06491041
##                   ACF1
## Training set 0.2081043
pronostico_ventas<- forecast(arima_ventas, level = 95, h = 12)
pronostico_ventas
##          Point Forecast    Lo 95    Hi 95
## Jan 2020       35498.90 34616.48 36381.32
## Feb 2020       34202.17 33155.29 35249.05
## Mar 2020       36703.01 35596.10 37809.92
## Apr 2020       36271.90 35141.44 37402.36
## May 2020       37121.98 35982.07 38261.90
## Jun 2020       37102.65 35958.91 38246.40
## Jul 2020       37151.04 36005.74 38296.35
## Aug 2020       38564.65 37418.71 39710.59
## Sep 2020       38755.23 37609.03 39901.42
## Oct 2020       39779.03 38632.73 40925.33
## Nov 2020       38741.63 37595.29 39887.97
## Dec 2020       38645.86 37499.50 39792.22
autoplot(pronostico_ventas) + labs(title = "Ventas de Leche Saborizada Hersheys 2020", x="Tiempo", y="Miles de Dólares")

2. Modelo Regresion Lineal

Hershey$mes <- 1:36
regresion_Hershey <- lm(Ventas ~ mes, data = Hershey)
summary(regresion_Hershey)
## 
## Call:
## lm(formula = Ventas ~ mes, data = Hershey)
## 
## Residuals:
##      Min       1Q   Median       3Q      Max 
## -2075.79  -326.41    33.74   458.41  1537.04 
## 
## Coefficients:
##             Estimate Std. Error t value Pr(>|t|)    
## (Intercept) 24894.67     275.03   90.52   <2e-16 ***
## mes           298.37      12.96   23.02   <2e-16 ***
## ---
## Signif. codes:  0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
## 
## Residual standard error: 808 on 34 degrees of freedom
## Multiple R-squared:  0.9397, Adjusted R-squared:  0.9379 
## F-statistic: 529.8 on 1 and 34 DF,  p-value: < 2.2e-16
años_prediccion <- data.frame(mes = 37:48)
prediccion_regresion <- predict(regresion_Hershey, años_prediccion)
prediccion_regresion
##        1        2        3        4        5        6        7        8 
## 35934.49 36232.86 36531.23 36829.61 37127.98 37426.35 37724.73 38023.10 
##        9       10       11       12 
## 38321.47 38619.85 38918.22 39216.59
plot(Hershey$mes, Hershey$Ventas,
     main = "Pronostico de Ventas 2020 de Leche Saborizada Hersheys", 
     xlab="Tiempo", 
     xlim=c(1,50),
     ylim=range(c(Hershey$Ventas, prediccion_regresion)))
abline(regresion_Hershey, col = "blue")
points(años_prediccion$mes, prediccion_regresion, col = "red")

## Recomendaciones

# El arima es un modelo de prediccion más certero ya que tiene un MAPE menor.
# El mejor modelo que se adapta a la serie es el **SARIMA** con un MAPE de 0.71%, comparado con la Regresion Lineal que su MAPE es de 2.01%.
# Segun el modelo SARIMA, para el siguiente año la proyeccion de ventas es la siguiente:
Mes y año escenario esperado escenario pesimista escenario optimista
Jan 2020 35498.90 34616.48 36381.32
Feb 2020 34202.17 33155.28 35249.05
Mar 2020 36703.01 35596.10 37809.92
Apr 2020 36271.90 35141.44 37402.36
May 2020 37121.98 35982.07 38261.90
Jun 2020 37102.65 35958.90 38246.40
Jul 2020 37151.04 36005.73 38296.34
Aug 2020 38564.64 37418.70 39710.58
Sep 2020 38755.22 37609.03 39901.42
Oct 2020 39779.02 38632.72 40925.32
# Una recomendación para la empresa podría ser prepararse para un crecimeinto de ventas en el próximo año, de tal forma que se invierta en mejorar la maquinaria, aumentar o capacitar mejor al personal y así tener las herrameintas necesarias para elevar la producción 
ventas_por_año <- read.csv("C:\\Users\\sesa777394\\Downloads\\ventas_por_anio.csv")
ggplot(ventas_por_año, aes(x=mes, y=ventas, col=as.factor(anio), group=anio)) + 
  geom_line() +
  labs(title = "Ventas de leche saborizada Hershey´s por año", x = "Mes", y = "Miles de dólares") +
  scale_x_continuous(breaks = 1:12)

# Ademas de la recomendacion de Hershey en polvo para leche con chocolate caliente en los primeros meses frios del año, seria monitorear cerca las ventas en unidades ya que la cantidad monetaria podria darnos la impresion de que vendemos más pero podria ser la inflacion. 
LS0tDQp0aXRsZTogIkFjdGl2aWRhZCAyLiBHZW5lcmFjacOzbiBkZSBlc2NlbmFyaW9zIGZ1dHVyb3MgY29uIG1vZGVsb3MgZGUgcHJvbsOzc3RpY29zIGVuIHNlcmllcyBkZSB0aWVtcG8uIg0KYXV0aG9yOiAiQTAwODMxOTM4IENlc2FyIFJvbWVvIFZlZ2EgUm9kcmlndWV6Ig0KZGF0ZTogIjIwMjUtMDItMTciDQpvdXRwdXQ6IA0KICBodG1sX2RvY3VtZW50Og0KICAgIHRvYzogVFJVRQ0KICAgIHRvY19mbG9hdDogVFJVRQ0KICAgIGNvZGVfZG93bmxvYWQ6IFRSVUUNCiAgICB0aGVtZTogam91cm5hbA0KICAgIHRvY19kZXB0aDogMg0KLS0tDQoNCiMgRWplcmNpY2lvIGVuIENsYXNlOiBQb2JsYWNpb24NCg0KIVtdKEM6L1VzZXJzL3Nlc2E3NzczOTQvRG93bmxvYWRzLzQwMHB4LVNvdXRoX2tvcmVhX3BvcHVsYXRpb25fcHlyYW1pZF8xOTYwLTIwMjAuZ2lmKQ0KDQojIyBJbnN0YWxhciBwYXF1ZXRlcyB5IGxsYW1hciBsaWJyZXJpYXMNCmBgYHtyIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0V9DQojIGluc3RhbGwucGFja2FnZXMoImZvcmVjYXN0IikNCmxpYnJhcnkoZm9yZWNhc3QpDQojIGluc3RhbGwucGFja2FnZXMoInRpZHl2ZXJzZSIpDQpsaWJyYXJ5KHRpZHl2ZXJzZSkNCiMgaW5zdGFsbC5wYWNrYWdlcygiZ2dwbG90MiIpDQpsaWJyYXJ5KGdncGxvdDIpDQojIGluc3RhbGwucGFja2FnZXMoIm1hcHMiKQ0KbGlicmFyeShtYXBzKQ0KYGBgDQoNCiMjIEltcG9ydGFyIGxhIGJhc2UgZGUgZGF0b3MNCmBgYHtyfQ0KI2ZpbGUuY2hvb3NlKCkNCnBvYmxhY2lvbiA8LSByZWFkLmNzdigiQzpcXFVzZXJzXFxzZXNhNzc3Mzk0XFxEb3dubG9hZHNcXHBvcHVsYXRpb24uY3N2IikNCmBgYA0KDQojIyBFbnRlbmRpZW5kbyBsYSBiYXNlIGRlIGRhdG9zIA0KYGBge3J9DQpzdW1tYXJ5KHBvYmxhY2lvbikNCnN0cihwb2JsYWNpb24pDQpgYGANCg0KYGBge3J9DQpoZWFkKHBvYmxhY2lvbikNCmBgYA0KDQpgYGB7ciBldmFsPUZBTFNFLCBpbmNsdWRlPUZBTFNFfQ0KdW5pcXVlKHBvYmxhY2lvbikNCmBgYA0KIyMgU2VyaWUgZGUgVGllbXBvIGVuIFRleGFzDQpgYGB7cn0NCnBvYmxhY2lvbl90ZXhhcyA8LSBwb2JsYWNpb24gJT4lIGZpbHRlcihzdGF0ZT09IlRYIikNCmdncGxvdChwb2JsYWNpb25fdGV4YXMsIGFlcyh4PXllYXIsIHk9cG9wdWxhdGlvbikpICsgDQogIGdlb21fbGluZSgpICsNCiAgbGFicyh0aXRsZT0iUG9ibGFjaW9uIGRlIFRleGFzIiwgeCA9ICJBw7FvIiwgeSA9ICJQb2JsYWNpb24iKQ0KdHNfdGV4YXMgPC0gdHMocG9ibGFjaW9uX3RleGFzJHBvcHVsYXRpb24sIHN0YXJ0PTE5MDAsIGZyZXF1ZW5jeSA9IDEpICNTZXJpZSBkZSBUaWVtcG8gQW51YWwNCiMgdHNfdGV4YXMgPC0gdHMocG9ibGFjaW9uX3RleGFzJHBvcHVsYXRpb24sIHN0YXJ0PTE5MDAsIDQsIGZyZXF1ZW5jeSA9IDQpICNTZXJpZSBkZSBUaWVtcG8gVHJpbWVzdHJhbCwgNCBzaWduaWZpY2EgcXVlIGFycmFuY2EgZWwgY3VhcnRvIHRyaW1lc3RyZQ0KIyB0c190ZXhhcyA8LSB0cyhwb2JsYWNpb25fdGV4YXMkcG9wdWxhdGlvbiwgc3RhcnQ9MTkwMCwgOCwgZnJlcXVlbmN5ID0gMTIpICNTZXJpZSBkZSBUaWVtcG8gTWVuc3VhbCwgOCBzaWduaWZpY2EgcXVlIGFycmFuY2EgZW4gYWdvc3RvDQphcmltYV90ZXhhcyA8LSBhdXRvLmFyaW1hKHRzX3RleGFzKQ0Kc3VtbWFyeShhcmltYV90ZXhhcykNCnByb25vc3RpY29fdGV4YXMgPC0gZm9yZWNhc3QoYXJpbWFfdGV4YXMsIGxldmVsID0gOTUsIGggPSAyMCkNCnByb25vc3RpY29fdGV4YXMNCnBsb3QocHJvbm9zdGljb190ZXhhcykNCmBgYA0KDQojIyBDcmVhciB1biBtYXBhDQpgYGB7cn0NCiMgSW5zdGFsYXIgeS9vIGNhcmdhciBsaWJyZXLDrWFzIG5lY2VzYXJpYXMNCiMgaW5zdGFsbC5wYWNrYWdlcyhjKCJkcGx5ciIsICJnZ3Bsb3QyIiwgImZvcmVjYXN0IiwgIm1hcHMiKSkNCmxpYnJhcnkoZHBseXIpDQpsaWJyYXJ5KGdncGxvdDIpDQpsaWJyYXJ5KGZvcmVjYXN0KQ0KbGlicmFyeShtYXBzKQ0KDQojIDEpIENhcmdhciBsb3MgZGF0b3MgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KcG9ibGFjaW9uIDwtIHJlYWQuY3N2KCJwb3B1bGF0aW9uLmNzdiIpDQoNCiMgMikgR2VuZXJhciBwcm9uw7NzdGljb3MgcGFyYSBjYWRhIGVzdGFkbyBoYXN0YSBlbCBhw7FvIDIwNTAgLS0tDQojICAgIHkgY29tYmluYXJsb3MgY29uIGxvcyBkYXRvcyBvcmlnaW5hbGVzDQoNCiMgQ3JlYW1vcyB1biBkYXRhc2V0IGV4dGVuZGlkbyBxdWUgaW5pY2lhbG1lbnRlIGVzIGlndWFsIGFsIG9yaWdpbmFsDQpwb2JsYWNpb25fZXh0ZW5kaWRhIDwtIHBvYmxhY2lvbg0KDQojIElkZW50aWZpY2Ftb3MgbG9zIGVzdGFkb3Mgw7puaWNvcw0KZXN0YWRvcyA8LSB1bmlxdWUocG9ibGFjaW9uJHN0YXRlKQ0KDQojIFBhcmEgY2FkYSBlc3RhZG8sIGVudHJlbmFtb3MgdW4gbW9kZWxvIEFSSU1BIHkgaGFjZW1vcyBmb3JlY2FzdCBoYXN0YSAyMDUwDQpmb3Ioc3QgaW4gZXN0YWRvcyl7DQogIA0KICAjIEZpbHRyYXIgZGF0b3MgZGUgZXNlIGVzdGFkbyB5IG9yZGVuYXJsb3MgcG9yIGHDsW8NCiAgZGF0b3Nfc3QgPC0gcG9ibGFjaW9uICU+JQ0KICAgIGZpbHRlcihzdGF0ZSA9PSBzdCkgJT4lDQogICAgYXJyYW5nZSh5ZWFyKQ0KICANCiAgIyBEZXRlcm1pbmFyIGVsIMO6bHRpbW8gYcOxbyBkaXNwb25pYmxlDQogIHVsdGltb19hbmlvIDwtIG1heChkYXRvc19zdCR5ZWFyKQ0KICANCiAgIyBDcmVhciBzZXJpZSBkZSB0aWVtcG8NCiAgdHNfc3QgPC0gdHMoZGF0b3Nfc3QkcG9wdWxhdGlvbiwNCiAgICAgICAgICAgICAgc3RhcnQgPSBtaW4oZGF0b3Nfc3QkeWVhciksDQogICAgICAgICAgICAgIGVuZCAgID0gdWx0aW1vX2FuaW8sDQogICAgICAgICAgICAgIGZyZXF1ZW5jeSA9IDEpICAjIEFudWFsDQogIA0KICAjIEVudHJlbmFyIGVsIG1vZGVsbyBBUklNQQ0KICBtb2RlbG9fc3QgPC0gYXV0by5hcmltYSh0c19zdCkNCiAgDQogICMgQ2FsY3VsYXIgY3XDoW50b3MgYcOxb3MgaGF5IHF1ZSBwcm9ub3N0aWNhcg0KICAjIChzb2xvIGhhY2Vtb3MgZm9yZWNhc3Qgc2kgZWwgdWx0aW1vX2FuaW8gZXMgPCAyMDUwKQ0KICBoX3llYXJzIDwtIDIwNTAgLSB1bHRpbW9fYW5pbw0KICANCiAgaWYoaF95ZWFycyA+IDApew0KICAgICMgSGFjZW1vcyBlbCBwcm9uw7NzdGljbw0KICAgIHByb25vc3RpY28gPC0gZm9yZWNhc3QobW9kZWxvX3N0LCBoID0gaF95ZWFycykNCiAgICANCiAgICAjIENyZWFtb3MgdW4gZGF0YSBmcmFtZSBjb24gbG9zIHJlc3VsdGFkb3MNCiAgICBhbmlvc19wcm9ub3N0aWNvIDwtICh1bHRpbW9fYW5pbyArIDEpOjIwNTANCiAgICBwb2JsYWNpb25fcHJvbm9zdGljYWRhIDwtIGFzLm51bWVyaWMocHJvbm9zdGljbyRtZWFuKQ0KICAgIA0KICAgIGRmX2ZvcmVjYXN0IDwtIGRhdGEuZnJhbWUoDQogICAgICBzdGF0ZSA9IHN0LA0KICAgICAgeWVhciAgPSBhbmlvc19wcm9ub3N0aWNvLA0KICAgICAgcG9wdWxhdGlvbiA9IHBvYmxhY2lvbl9wcm9ub3N0aWNhZGENCiAgICApDQogICAgDQogICAgIyBBZ3JlZ2Ftb3MgZmlsYXMgY29uIGxhIHBvYmxhY2nDs24gcHJvbm9zdGljYWRhDQogICAgcG9ibGFjaW9uX2V4dGVuZGlkYSA8LSByYmluZChwb2JsYWNpb25fZXh0ZW5kaWRhLCBkZl9mb3JlY2FzdCkNCiAgfQ0KfQ0KDQojIDMpIEZ1bmNpw7NuIHBhcmEgZ3JhZmljYXIgZWwgbWFwYSBwYXJhIHVuIGHDsW8gZGFkbyAtLS0tLS0tLS0tLS0NCnBsb3RfbWFwIDwtIGZ1bmN0aW9uKHllYXIpIHsNCiAgDQogICMgRmlsdHJhbW9zIGxvcyBkYXRvcyBwYXJhIGVsIGHDsW8gc29saWNpdGFkbw0KICBkYXRhX3llYXIgPC0gcG9ibGFjaW9uX2V4dGVuZGlkYSAlPiUNCiAgICBmaWx0ZXIoeWVhciA9PSAhIXllYXIpDQogIA0KICAjIENhcmdhciBkYXRvcyBnZW9ncsOhZmljb3MgZGUgRUUuVVUuDQogIHN0YXRlc19tYXAgPC0gbWFwX2RhdGEoInN0YXRlIikNCiAgDQogICMgTmVjZXNpdGFtb3MgcmVsYWNpb25hciBsYSBzaWdsYSAoc3RhdGUpIGNvbiBlbCBub21icmUgZW4gbWluw7pzY3VsYXMNCiAgIyBSIHRyYWUgZG9zIHZlY3RvcmVzIGF1eGlsaWFyZXM6IHN0YXRlLmFiYiAoc2lnbGFzKSB5IHN0YXRlLm5hbWUgKG5vbWJyZXMgY29tcGxldG9zKQ0KICBkYXRhX3llYXIgPC0gZGF0YV95ZWFyICU+JQ0KICAgIG11dGF0ZShyZWdpb24gPSB0b2xvd2VyKHN0YXRlLm5hbWVbbWF0Y2goc3RhdGUsIHN0YXRlLmFiYildKSkgJT4lDQogICAgcmlnaHRfam9pbihzdGF0ZXNfbWFwLCBieSA9ICJyZWdpb24iKQ0KICANCiAgIyBHcmFmaWNhcg0KICBnZ3Bsb3QoZGF0YV95ZWFyLCBhZXMoeCA9IGxvbmcsIHkgPSBsYXQsIGdyb3VwID0gZ3JvdXAsIGZpbGwgPSBwb3B1bGF0aW9uKSkgKw0KICAgIGdlb21fcG9seWdvbihjb2xvciA9ICJibGFjayIpICsNCiAgICAjIEdyYWRpZW50ZSB2ZXJkZSAtPiByb2pvDQogICAgc2NhbGVfZmlsbF9ncmFkaWVudCgNCiAgICAgIGxvdyA9ICJncmVlbiIsICAgIyBjb2xvciBtw61uaW1vDQogICAgICBoaWdoID0gInJlZCIsICAgICMgY29sb3IgbcOheGltbw0KICAgICAgbmFtZSA9ICJQb2JsYWNpw7NuIg0KICAgICkgKw0KICAgIGxhYnMoDQogICAgICB0aXRsZSA9IHBhc3RlKCJQb2JsYWNpw7NuIHBvciBFc3RhZG8gZW4iLCB5ZWFyKQ0KICAgICkgKw0KICAgIHRoZW1lX3ZvaWQoKSArDQogICAgdGhlbWUoDQogICAgICBsZWdlbmQucG9zaXRpb24gPSAicmlnaHQiLA0KICAgICAgcGxvdC50aXRsZSA9IGVsZW1lbnRfdGV4dChzaXplID0gMTYsIGZhY2UgPSAiYm9sZCIpDQogICAgKQ0KfQ0KDQojIDQpIEdyYWZpY2FyIGVsIG1hcGEgY2FkYSBkw6ljYWRhIGVudHJlIDE5MDAgeSAyMDUwIC0tLS0tLS0tLS0tLS0NCmZvcih5ZWFyIGluIHNlcSgxOTAwLCAyMDUwLCBieSA9IDEwKSkgew0KICBwcmludChwbG90X21hcCh5ZWFyKSkNCn0NCmBgYA0KDQojIDxzcGFuIHN0eWxlPSJjb2xvcjogYnJvd247Ij4gQWN0aXZpZGFkIDI6IENhc28gSGVyc2hleSA8L3NwYW4+DQoNCg0KIVtdKEM6L1VzZXJzL3Nlc2E3NzczOTQvRG93bmxvYWRzL2hlcnNoZXkuZ2lmKQ0KDQoNCiMjIDxzcGFuIHN0eWxlPSJjb2xvcjogYnJvd247Ij4gSW1wb3J0YXIgbGEgYmFzZSBkZSBkYXRvcyA8L3NwYW4+DQpgYGB7cn0NCkhlcnNoZXkgPC0gcmVhZC5jc3YoIkM6XFxVc2Vyc1xcc2VzYTc3NzM5NFxcRG93bmxvYWRzXFxWZW50YXNfSGlzdMOzcmljYXNfTGVjaGl0YXMuY3N2IikNCmBgYA0KDQpgYGB7cn0NCkhlcnNoZXkNCmBgYA0KDQojIyA8c3BhbiBzdHlsZT0iY29sb3I6IGJyb3duOyI+IDEuIE1vZGVsbyBBVVRPLkFSSU1BIDwvc3Bhbj4NCmBgYHtyfQ0KdHNfdmVudGFzIDwtIHRzKEhlcnNoZXkkVmVudGFzLCBzdGFydD1jKDIwMTcsMSksIGZyZXF1ZW5jeSA9IDEyKQ0KYXV0b3Bsb3QodHNfdmVudGFzKSArIGxhYnModGl0bGUgPSAiVmVudGFzIGRlIExlY2hlIFNhYm9yaXphZGEgSGVyc2hleXMiLCB4PSJUaWVtcG8iLCB5PSJNaWxlcyBkZSBEw7NsYXJlcyIpDQphcmltYV92ZW50YXMgPC0gYXV0by5hcmltYSh0c192ZW50YXMpDQpzdW1tYXJ5KGFyaW1hX3ZlbnRhcykNCnByb25vc3RpY29fdmVudGFzPC0gZm9yZWNhc3QoYXJpbWFfdmVudGFzLCBsZXZlbCA9IDk1LCBoID0gMTIpDQpwcm9ub3N0aWNvX3ZlbnRhcw0KYXV0b3Bsb3QocHJvbm9zdGljb192ZW50YXMpICsgbGFicyh0aXRsZSA9ICJWZW50YXMgZGUgTGVjaGUgU2Fib3JpemFkYSBIZXJzaGV5cyAyMDIwIiwgeD0iVGllbXBvIiwgeT0iTWlsZXMgZGUgRMOzbGFyZXMiKQ0KYGBgDQoNCg0KIyMgPHNwYW4gc3R5bGU9ImNvbG9yOiBicm93bjsiPiAyLiBNb2RlbG8gUmVncmVzaW9uIExpbmVhbCA8L3NwYW4+DQpgYGB7cn0NCkhlcnNoZXkkbWVzIDwtIDE6MzYNCnJlZ3Jlc2lvbl9IZXJzaGV5IDwtIGxtKFZlbnRhcyB+IG1lcywgZGF0YSA9IEhlcnNoZXkpDQpzdW1tYXJ5KHJlZ3Jlc2lvbl9IZXJzaGV5KQ0KYcOxb3NfcHJlZGljY2lvbiA8LSBkYXRhLmZyYW1lKG1lcyA9IDM3OjQ4KQ0KcHJlZGljY2lvbl9yZWdyZXNpb24gPC0gcHJlZGljdChyZWdyZXNpb25fSGVyc2hleSwgYcOxb3NfcHJlZGljY2lvbikNCnByZWRpY2Npb25fcmVncmVzaW9uDQpwbG90KEhlcnNoZXkkbWVzLCBIZXJzaGV5JFZlbnRhcywNCiAgICAgbWFpbiA9ICJQcm9ub3N0aWNvIGRlIFZlbnRhcyAyMDIwIGRlIExlY2hlIFNhYm9yaXphZGEgSGVyc2hleXMiLCANCiAgICAgeGxhYj0iVGllbXBvIiwgDQogICAgIHhsaW09YygxLDUwKSwNCiAgICAgeWxpbT1yYW5nZShjKEhlcnNoZXkkVmVudGFzLCBwcmVkaWNjaW9uX3JlZ3Jlc2lvbikpKQ0KYWJsaW5lKHJlZ3Jlc2lvbl9IZXJzaGV5LCBjb2wgPSAiYmx1ZSIpDQpwb2ludHMoYcOxb3NfcHJlZGljY2lvbiRtZXMsIHByZWRpY2Npb25fcmVncmVzaW9uLCBjb2wgPSAicmVkIikNCmBgYA0KIyMgPHNwYW4gc3R5bGU9ImNvbG9yOiBicm93bjsiPiBSZWNvbWVuZGFjaW9uZXMgPC9zcGFuPg0KYGBge3J9DQojIEVsIGFyaW1hIGVzIHVuIG1vZGVsbyBkZSBwcmVkaWNjaW9uIG3DoXMgY2VydGVybyB5YSBxdWUgdGllbmUgdW4gTUFQRSBtZW5vci4NCmBgYA0KDQpgYGB7cn0NCiMgRWwgbWVqb3IgbW9kZWxvIHF1ZSBzZSBhZGFwdGEgYSBsYSBzZXJpZSBlcyBlbCAqKlNBUklNQSoqIGNvbiB1biBNQVBFIGRlIDAuNzElLCBjb21wYXJhZG8gY29uIGxhIFJlZ3Jlc2lvbiBMaW5lYWwgcXVlIHN1IE1BUEUgZXMgZGUgMi4wMSUuDQpgYGANCg0KYGBge3J9DQojIFNlZ3VuIGVsIG1vZGVsbyBTQVJJTUEsIHBhcmEgZWwgc2lndWllbnRlIGHDsW8gbGEgcHJveWVjY2lvbiBkZSB2ZW50YXMgZXMgbGEgc2lndWllbnRlOg0KYGBgDQoNCnwgTWVzIHkgYcOxbyB8IGVzY2VuYXJpbyBlc3BlcmFkbyB8IGVzY2VuYXJpbyBwZXNpbWlzdGEgfCBlc2NlbmFyaW8gb3B0aW1pc3RhIA0KfC0tLS0tLS0tLS0tfC0tLS0tLS0tLS0tLS0tLS0tLS0tfC0tLS0tLS0tLS0tLS0tLS0tLS0tLXwtLS0tLS0tLS0tLS0tLS0tLS0tLQ0KfCBKYW4gMjAyMAl8IDM1NDk4LjkwCSAgICAgICAgIHwgMzQ2MTYuNDgJICAgICAgICAgICB8IDM2MzgxLjMyCQ0KfCBGZWIgMjAyMAl8IDM0MjAyLjE3CSAgICAgICAgIHwgMzMxNTUuMjgJICAgICAgICAgICB8IDM1MjQ5LjA1CQ0KfCBNYXIgMjAyMAl8IDM2NzAzLjAxCSAgICAgICAgIHwgMzU1OTYuMTAJICAgICAgICAgICB8IDM3ODA5LjkyCQ0KfCBBcHIgMjAyMAl8IDM2MjcxLjkwCSAgICAgICAgIHwgMzUxNDEuNDQJICAgICAgICAgICB8IDM3NDAyLjM2CQ0KfCBNYXkgMjAyMAl8IDM3MTIxLjk4CSAgICAgICAgIHwgMzU5ODIuMDcJICAgICAgICAgICB8IDM4MjYxLjkwCQ0KfCBKdW4gMjAyMAl8IDM3MTAyLjY1CSAgICAgICAgIHwgMzU5NTguOTAJICAgICAgICAgICB8IDM4MjQ2LjQwCQ0KfCBKdWwgMjAyMAl8IDM3MTUxLjA0CSAgICAgICAgIHwgMzYwMDUuNzMJICAgICAgICAgICB8IDM4Mjk2LjM0CQ0KfCBBdWcgMjAyMAl8IDM4NTY0LjY0CSAgICAgICAgIHwgMzc0MTguNzAJICAgICAgICAgICB8IDM5NzEwLjU4CQ0KfCBTZXAgMjAyMAl8IDM4NzU1LjIyCSAgICAgICAgIHwgMzc2MDkuMDMJICAgICAgICAgICB8IDM5OTAxLjQyCQ0KfCBPY3QgMjAyMAl8IDM5Nzc5LjAyCSAgICAgICAgIHwgMzg2MzIuNzIJICAgICAgICAgICB8IDQwOTI1LjMyCQ0KDQpgYGB7cn0NCiMgVW5hIHJlY29tZW5kYWNpw7NuIHBhcmEgbGEgZW1wcmVzYSBwb2Ryw61hIHNlciBwcmVwYXJhcnNlIHBhcmEgdW4gY3JlY2ltZWludG8gZGUgdmVudGFzIGVuIGVsIHByw7N4aW1vIGHDsW8sIGRlIHRhbCBmb3JtYSBxdWUgc2UgaW52aWVydGEgZW4gbWVqb3JhciBsYSBtYXF1aW5hcmlhLCBhdW1lbnRhciBvIGNhcGFjaXRhciBtZWpvciBhbCBwZXJzb25hbCB5IGFzw60gdGVuZXIgbGFzIGhlcnJhbWVpbnRhcyBuZWNlc2FyaWFzIHBhcmEgZWxldmFyIGxhIHByb2R1Y2Npw7NuIA0KYGBgDQoNCmBgYHtyfQ0KdmVudGFzX3Bvcl9hw7FvIDwtIHJlYWQuY3N2KCJDOlxcVXNlcnNcXHNlc2E3NzczOTRcXERvd25sb2Fkc1xcdmVudGFzX3Bvcl9hbmlvLmNzdiIpDQpnZ3Bsb3QodmVudGFzX3Bvcl9hw7FvLCBhZXMoeD1tZXMsIHk9dmVudGFzLCBjb2w9YXMuZmFjdG9yKGFuaW8pLCBncm91cD1hbmlvKSkgKyANCiAgZ2VvbV9saW5lKCkgKw0KICBsYWJzKHRpdGxlID0gIlZlbnRhcyBkZSBsZWNoZSBzYWJvcml6YWRhIEhlcnNoZXnCtHMgcG9yIGHDsW8iLCB4ID0gIk1lcyIsIHkgPSAiTWlsZXMgZGUgZMOzbGFyZXMiKSArDQogIHNjYWxlX3hfY29udGludW91cyhicmVha3MgPSAxOjEyKQ0KYGBgDQoNCmBgYHtyfQ0KIyBBZGVtYXMgZGUgbGEgcmVjb21lbmRhY2lvbiBkZSBIZXJzaGV5IGVuIHBvbHZvIHBhcmEgbGVjaGUgY29uIGNob2NvbGF0ZSBjYWxpZW50ZSBlbiBsb3MgcHJpbWVyb3MgbWVzZXMgZnJpb3MgZGVsIGHDsW8sIHNlcmlhIG1vbml0b3JlYXIgY2VyY2EgbGFzIHZlbnRhcyBlbiB1bmlkYWRlcyB5YSBxdWUgbGEgY2FudGlkYWQgbW9uZXRhcmlhIHBvZHJpYSBkYXJub3MgbGEgaW1wcmVzaW9uIGRlIHF1ZSB2ZW5kZW1vcyBtw6FzIHBlcm8gcG9kcmlhIHNlciBsYSBpbmZsYWNpb24uIA0KYGBgDQo=