Phần 1: Tìm hiểu và Chuẩn bị dữ liệu

# Đọc bộ dữ liệu
d <- read.csv("D:/naaaaaa/PTDLDT/Supermarket Transactions.csv", header = T)

1. Cấu trúc bộ dữ liệu

# Cấu trúc bộ dữ liệu
str(d)
## 'data.frame':    14059 obs. of  16 variables:
##  $ X                : int  1 2 3 4 5 6 7 8 9 10 ...
##  $ PurchaseDate     : chr  "2007-12-18" "2007-12-20" "2007-12-21" "2007-12-21" ...
##  $ CustomerID       : int  7223 7841 8374 9619 1900 6696 9673 354 1293 7938 ...
##  $ Gender           : chr  "F" "M" "F" "M" ...
##  $ MaritalStatus    : chr  "S" "M" "M" "M" ...
##  $ Homeowner        : chr  "Y" "Y" "N" "Y" ...
##  $ Children         : int  2 5 2 3 3 3 2 2 3 1 ...
##  $ AnnualIncome     : chr  "$30K - $50K" "$70K - $90K" "$50K - $70K" "$30K - $50K" ...
##  $ City             : chr  "Los Angeles" "Los Angeles" "Bremerton" "Portland" ...
##  $ StateorProvince  : chr  "CA" "CA" "WA" "OR" ...
##  $ Country          : chr  "USA" "USA" "USA" "USA" ...
##  $ ProductFamily    : chr  "Food" "Food" "Food" "Food" ...
##  $ ProductDepartment: chr  "Snack Foods" "Produce" "Snack Foods" "Snacks" ...
##  $ ProductCategory  : chr  "Snack Foods" "Vegetables" "Snack Foods" "Candy" ...
##  $ UnitsSold        : int  5 5 3 4 4 3 4 6 1 2 ...
##  $ Revenue          : num  27.38 14.9 5.52 4.44 14 ...

Tập dữ liệu “Supermarket Transactions” gồm tổng cộng 14.059 dòng dữ liệu, tương ứng với 14.059 giao dịch mua hàng được ghi nhận tại siêu thị. Mỗi dòng dữ liệu đại diện cho một giao dịch riêng lẻ và bao gồm thông tin chi tiết về khách hàng, sản phẩm, cũng như các đặc điểm liên quan đến hành vi tiêu dùng. Bộ dữ liệu này có tổng cộng 16 biến (cột), bao gồm cả biến định tính và định lượng, phản ánh đầy đủ các yếu tố nhân khẩu học, địa lý và kết quả kinh doanh từ mỗi giao dịch.

# Hiện thị các dòng đầu của bộ dữ liệu
head(d)
##   X PurchaseDate CustomerID Gender MaritalStatus Homeowner Children
## 1 1   2007-12-18       7223      F             S         Y        2
## 2 2   2007-12-20       7841      M             M         Y        5
## 3 3   2007-12-21       8374      F             M         N        2
## 4 4   2007-12-21       9619      M             M         Y        3
## 5 5   2007-12-22       1900      F             S         Y        3
## 6 6   2007-12-22       6696      F             M         Y        3
##    AnnualIncome          City StateorProvince Country ProductFamily
## 1   $30K - $50K   Los Angeles              CA     USA          Food
## 2   $70K - $90K   Los Angeles              CA     USA          Food
## 3   $50K - $70K     Bremerton              WA     USA          Food
## 4   $30K - $50K      Portland              OR     USA          Food
## 5 $130K - $150K Beverly Hills              CA     USA         Drink
## 6   $10K - $30K Beverly Hills              CA     USA          Food
##   ProductDepartment      ProductCategory UnitsSold Revenue
## 1       Snack Foods          Snack Foods         5   27.38
## 2           Produce           Vegetables         5   14.90
## 3       Snack Foods          Snack Foods         3    5.52
## 4            Snacks                Candy         4    4.44
## 5         Beverages Carbonated Beverages         4   14.00
## 6              Deli          Side Dishes         3    4.37
# Hiển thị các dòng cuối của bộ dữ liệu
tail(d)
##           X PurchaseDate CustomerID Gender MaritalStatus Homeowner Children
## 14054 14054   2009-12-29       2032      F             M         N        3
## 14055 14055   2009-12-29       9102      F             M         Y        2
## 14056 14056   2009-12-29       4822      F             M         Y        3
## 14057 14057   2009-12-31        250      M             S         Y        1
## 14058 14058   2009-12-31       6153      F             S         N        4
## 14059 14059   2009-12-31       3656      M             S         N        3
##       AnnualIncome        City StateorProvince Country  ProductFamily
## 14054  $10K - $30K      Yakima              WA     USA Non-Consumable
## 14055  $10K - $30K   Bremerton              WA     USA           Food
## 14056  $10K - $30K Walla Walla              WA     USA           Food
## 14057  $30K - $50K    Portland              OR     USA          Drink
## 14058  $50K - $70K     Spokane              WA     USA          Drink
## 14059  $50K - $70K    Portland              OR     USA Non-Consumable
##       ProductDepartment      ProductCategory UnitsSold Revenue
## 14054         Household       Paper Products         5   14.50
## 14055      Baking Goods         Baking Goods         3    9.64
## 14056      Frozen Foods           Vegetables         3    7.45
## 14057         Beverages Pure Juice Beverages         4    3.24
## 14058             Dairy                Dairy         2    4.00
## 14059         Household           Electrical         5   25.53

2. Kiểm tra dữ liệu thiếu

# Kiểm tra dữ liệu thiếu
sum(is.na(d))
## [1] 0

3. Chuyển dạng dữ liệu

d$Gender <- as.factor(d$Gender)
d$MaritalStatus <- as.factor(d$MaritalStatus)
d$Homeowner <- as.factor(d$Homeowner)
d$AnnualIncome <- as.factor(d$AnnualIncome)
# Tạo biến định tính
bdt <- c( "PurchaseDate",
"CustomerID", "Gender", "MaritalStatus", "Homeowner", "AnnualIncome", "City", "StateorProvince","Country", "ProductFamily", "ProductDepartment", "ProductCategory" )

# Tạo bộ dữ liệu mới chỉ có biến định tính
dt <- d[, bdt]

# Xuất bộ dữ liệu định tính
head(dt)
##   PurchaseDate CustomerID Gender MaritalStatus Homeowner  AnnualIncome
## 1   2007-12-18       7223      F             S         Y   $30K - $50K
## 2   2007-12-20       7841      M             M         Y   $70K - $90K
## 3   2007-12-21       8374      F             M         N   $50K - $70K
## 4   2007-12-21       9619      M             M         Y   $30K - $50K
## 5   2007-12-22       1900      F             S         Y $130K - $150K
## 6   2007-12-22       6696      F             M         Y   $10K - $30K
##            City StateorProvince Country ProductFamily ProductDepartment
## 1   Los Angeles              CA     USA          Food       Snack Foods
## 2   Los Angeles              CA     USA          Food           Produce
## 3     Bremerton              WA     USA          Food       Snack Foods
## 4      Portland              OR     USA          Food            Snacks
## 5 Beverly Hills              CA     USA         Drink         Beverages
## 6 Beverly Hills              CA     USA          Food              Deli
##        ProductCategory
## 1          Snack Foods
## 2           Vegetables
## 3          Snack Foods
## 4                Candy
## 5 Carbonated Beverages
## 6          Side Dishes

Phần 2: Phân tích mô tả một biến Định tính

1. Gender

# Lập bảng tần số
gioitinh <- table(dt$Gender)
gioitinh
## 
##    F    M 
## 7170 6889
# Lập bảng tần suất
table(dt$Gender)/sum(nrow(dt))
## 
##         F         M 
## 0.5099936 0.4900064
library(ggplot2)

# Đưa về dạng data frame
df_gioitinh <- as.data.frame(gioitinh)
colnames(df_gioitinh) <- c("Gender", "Count")

# Tính phần trăm và thêm vào data frame
df_gioitinh$Percent <- round(df_gioitinh$Count / sum(df_gioitinh$Count) * 100, 1)

# Tạo nhãn ghép với %
df_gioitinh$Label <- paste0(df_gioitinh$Percent, "%")

# Vẽ biểu đồ tròn
ggplot(df_gioitinh, aes(x = "", y = Count, fill = Gender)) +
  geom_bar(stat = "identity", width = 1) +
  coord_polar(theta = "y") +
  geom_text(aes(label = Label), position = position_stack(vjust = 0.5)) +
  labs(title = "Biểu đồ 1: Biểu đồ phân bố giới tính") +  # 👈 Tiêu đề
  theme_void() + # bỏ đi các viền, mấy cái chú thích x, y đồ á
  theme(plot.title = element_text(hjust = 0.5, size = 14, face = "bold"))  # 👈 Cho hiện và chỉnh tiêu đề

Vậy trong bộ dữ liệu này có 7170 khách hàng là nữ chiếm tỉ lệ 51% và 6889 khách hàng là nam chiếm tỉ lệ 49% .

2. MarialStatus

# Lập bảng tần số
honnhan <- table(dt$MaritalStatus)
honnhan
## 
##    M    S 
## 6866 7193
# Lập bảng tần suất
table(dt$MaritalStatus)/sum(nrow(dt))
## 
##         M         S 
## 0.4883704 0.5116296
library(ggplot2)

df_honnhan <- as.data.frame(honnhan)
colnames(df_honnhan) <- c("MaritalStatus", "Count")

df_honnhan$Percent <- round(df_honnhan$Count / sum(df_honnhan$Count) * 100, 1)
df_honnhan$Label <- paste0(df_honnhan$Percent, "%")

ggplot(df_honnhan, aes(x = "", y = Count, fill = MaritalStatus)) +
  geom_bar(stat = "identity", width = 1) +
  coord_polar(theta = "y") +
  geom_text(aes(label = Label), position = position_stack(vjust = 0.5)) +
  labs(title = "Biểu đồ 2: Biểu đồ phân bố tình trạng hôn nhân") +
  theme_void() +
   scale_fill_manual(
    values = c("M" = "red", "S" = "green"),
    labels = c("M" = "Đã kết hôn", "S" = "Độc thân")
  ) +
  theme (plot.title = element_text(hjust = 0.5, size = 14, face = "bold"))

Vậy trong bộ dữ liệu này có 6866 khách hàng đã kết hôn chiếm tỉ lệ 48.8% và 7193 khách hàng độc thân chiếm tỉ lệ 51.2%.

3. Homeowner

# Lập bảng tần số
nha <- table(dt$Homeowner)
nha
## 
##    N    Y 
## 5615 8444
# Lập bảng tần suất
table(dt$Homeowner)/sum(nrow(dt))
## 
##         N         Y 
## 0.3993883 0.6006117
# Đưa về dạng data.frame
df_nha <- as.data.frame(nha)
colnames(df_nha) <- c("Homeowner", "Count")

df_nha$Percent <- round(df_nha$Count / sum(df_nha$Count) * 100, 1)
df_nha$Label <- paste0(df_nha$Percent, "%")

ggplot(df_nha, aes(x = "", y = Count, fill = Homeowner)) +
  geom_bar(stat = "identity", width = 1) +
  coord_polar(theta = "y") +
  geom_text(aes(label = Label), position = position_stack(vjust = 0.5)) +
  labs(title = "Biểu đồ 3: Biểu đồ thể hiện tình trạng nhà ở") +
  theme_void() +
  scale_fill_manual(
    values = c("Y" = "steelblue", "N" = "tomato"),
    labels = c("Y" = "Đã có nhà", "N" = "Chưa có nhà")
  ) +
  theme(plot.title = element_text(hjust = 0.5, size = 14, face = "bold"))

Vậy trong bộ dữ liệu này có 5615 khách hàng chưa có nhà chiếm tỉ lệ 39.9% và 8444 khách hàng đã có nhà chiếm tỉ lệ 60.1%.

4. AnnualIncome

# Lập bảng tần số
thunhap <- table(dt$AnnualIncome)
thunhap
## 
##   $10K - $30K $110K - $130K $130K - $150K       $150K +   $30K - $50K 
##          3090           643           760           273          4601 
##   $50K - $70K   $70K - $90K  $90K - $110K 
##          2370          1709           613
# Lập bảng tần suất
table(dt$AnnualIncome)/sum(nrow(dt))
## 
##   $10K - $30K $110K - $130K $130K - $150K       $150K +   $30K - $50K 
##    0.21978804    0.04573583    0.05405790    0.01941817    0.32726367 
##   $50K - $70K   $70K - $90K  $90K - $110K 
##    0.16857529    0.12155914    0.04360196
library(ggplot2)

# Chuyển sang dạng data frame
df_thunhap <- as.data.frame(thunhap)
colnames(df_thunhap) <- c("AnnualIncome", "Count")

df_thunhap$Percent <- round(df_thunhap$Count / sum(df_thunhap$Count) * 100, 1)
df_thunhap$Label <- paste0(df_thunhap$Percent, "%")

# Vẽ biểu đồ cột
ggplot(df_thunhap, aes(x = AnnualIncome, y = Count, fill = AnnualIncome)) +
  geom_col(width = 0.6) +
  geom_text(aes(label = Count), vjust = -0.5) +
  labs(title = "Biểu đồ 4: Biểu đồ phân bố mức thu nhập",
       x = "Khoảng thu nhập theo nhóm",
       y = "Số người") +
  theme_minimal() +
  theme(plot.title = element_text(hjust = 0.5, face = "bold", size = 14),
        legend.position = "none")  # Ẩn chú thích màu vì đã hiện trên trục x

Vậy trong bộ dữ liệu này có:

  • 3090 khách hàng thuộc nhóm thu nhập $10K - $30K, chiếm tỷ lệ 22%.
  • 643 khách hàng thuộc nhóm thu nhập $110K - $130K, chiếm tỷ lệ 4.6%.
  • 760 khách hàng thuộc nhóm thu nhập $120K - $150K, chiếm tỷ lệ 5.4%.
  • 273 khách hàng thuộc nhóm thu nhập $150K + , chiếm tỷ lệ 1.9%.
  • 4601 khách hàng thuộc nhóm thu nhập $30K - $50K, chiếm tỷ lệ 32.7%.
  • 2370 khách hàng thuộc nhóm thu nhập $50K - $70K, chiếm tỷ lệ 16.9%.
  • 1709 khách hàng thuộc nhóm thu nhập $70K - $90K, chiếm tỷ lệ 12.2%.
  • 613 khách hàng thuộc nhóm thu nhập $90K - $110K, chiếm tỷ lệ 4.4%.

5. City

# Lập bảng tần số
thanhpho <- table(dt$City)
thanhpho
## 
##      Acapulco    Bellingham Beverly Hills     Bremerton       Camacho 
##           383           143           811           834           452 
##   Guadalajara       Hidalgo   Los Angeles        Merida   Mexico City 
##            75           845           926           654           194 
##       Orizaba      Portland         Salem    San Andres     San Diego 
##           464           876          1386           621           866 
## San Francisco       Seattle       Spokane        Tacoma     Vancouver 
##           130           922           875          1257           633 
##      Victoria   Walla Walla        Yakima 
##           176           160           376
# Lập bảng tần suất
table(dt$City)/sum(nrow(dt))
## 
##      Acapulco    Bellingham Beverly Hills     Bremerton       Camacho 
##   0.027242336   0.010171420   0.057685468   0.059321431   0.032150224 
##   Guadalajara       Hidalgo   Los Angeles        Merida   Mexico City 
##   0.005334661   0.060103848   0.065865282   0.046518245   0.013798990 
##       Orizaba      Portland         Salem    San Andres     San Diego 
##   0.033003770   0.062308841   0.098584537   0.044170994   0.061597553 
## San Francisco       Seattle       Spokane        Tacoma     Vancouver 
##   0.009246746   0.065580767   0.062237712   0.089408920   0.045024539 
##      Victoria   Walla Walla        Yakima 
##   0.012518671   0.011380610   0.026744434
library(ggplot2)

# Chuyển sang dạng data frame
df_thanhpho <- as.data.frame(thanhpho)
colnames(df_thanhpho) <- c("City", "Count")

df_thanhpho$Percent <- round(df_thanhpho$Count / sum(df_thanhpho$Count) * 100, 1)
df_thanhpho$Label <- paste0(df_thanhpho$Percent, "%")

# Vẽ biểu đồ cột
ggplot(df_thanhpho, aes(x = City, y = Count, fill = City)) +
  geom_col(width = 0.8) +
  geom_text(aes(label = Count), vjust = -0.5) +
  labs(title = "Biểu đồ 5: Biểu đồ phân bố theo thành phố",
       x = "Thành phố", 
       y = "Số người",
       fill = "City") + 
  theme_minimal() +
  theme(
    plot.title = element_text(hjust = 0.5, face = "bold", size = 14),
    axis.text.x = element_blank(), # Ẩn chữ dưới trục X
    legend.position = "bottom")

Trong bộ dữ liệu này có tổng cộng 23 thành phố. Trong đó:

  • Thành phố có số lượng khách hàng nhiều nhất là Salem với 1386 người chiếm tỉ lệ 9.9%,

  • Tiếp theo là Tacoma với 8.9% , Los Angeles và Seattle với tỉ lệ lần lượt là 6.6% và 6.6%.

Các thành phố còn lại chiếm tỷ lệ nhỏ hơn, dao động từ r df_thanhpho\(Label[4] đến r df_thanhpho\)Label[10].

6. StateorProvince

# Lập bảng tần số
tinh <- table(dt$StateorProvince)
tinh
## 
##        BC        CA        DF  Guerrero   Jalisco        OR  Veracruz        WA 
##       809      2733       815       383        75      2262       464      4567 
##   Yucatan Zacatecas 
##       654      1297
# Lập bảng tần suất
table(dt$StateorProvince)/sum(nrow(dt))
## 
##          BC          CA          DF    Guerrero     Jalisco          OR 
## 0.057543211 0.194395049 0.057969984 0.027242336 0.005334661 0.160893378 
##    Veracruz          WA     Yucatan   Zacatecas 
## 0.033003770 0.324845295 0.046518245 0.092254072
library(ggplot2)

# Chuyển sang dạng data frame
df_tinh <- as.data.frame(tinh)
colnames(df_tinh) <- c("StateorProvince", "Count")

df_tinh$Percent <- round(df_tinh$Count / sum(df_tinh$Count) * 100, 1)
df_tinh$Label <- paste0(df_tinh$Percent, "%")

# Vẽ biểu đồ cột
ggplot(df_tinh, aes(x = StateorProvince, y = Count, fill = StateorProvince)) +
  geom_col(width = 0.8) +
  geom_text(aes(label = Count), vjust = -0.5) +
  labs(title = "Biểu đồ 6: Biểu đồ phân bố theo tỉnh",
       x = "Tỉnh", 
       y = "Số người",
       fill = "StateorProvince") + 
  theme_minimal() +
  theme(
    plot.title = element_text(hjust = 0.5, face = "bold", size = 14),
    axis.text.x = element_blank()) # Ẩn chữ dưới trục X

Trong bộ dữ liệu này có tổng cộng 10 tỉnh. Trong đó:

  • Tỉnh có số lượng khách hàng nhiều nhất là WA với 4567 người chiếm tỉ lệ 32.5%,

  • Tiếp theo là CA, OR và Zacatecas với tỉ lệ lần lượt là 19.4%, 16.1%, 9.2%.

  • Các tỉnh còn lại chiếm tỷ lệ nhỏ hơn, dao động từ 0.5% đến 5.8%.

7. Country

# Lập bảng tần số
quocgia <- table(dt$Country)
quocgia
## 
## Canada Mexico    USA 
##    809   3688   9562
# Lập bảng tần suất
table(dt$Country)/sum(nrow(dt))
## 
##     Canada     Mexico        USA 
## 0.05754321 0.26232307 0.68013372
library(ggplot2)
# Bước 1: Đưa về data.frame
df_quocgia <- as.data.frame(quocgia)
colnames(df_quocgia) <- c("Country", "Count")

# Bước 2: Tính phần trăm và nhãn
df_quocgia$Percent <- round(df_quocgia$Count / sum(df_quocgia$Count) * 100, 1)
df_quocgia$Label <- paste0(df_quocgia$Percent, "%")

# Bước 3: Vẽ biểu đồ tròn
ggplot(df_quocgia, aes(x = "", y = Count, fill = Country)) +
  geom_bar(stat = "identity", width = 1) +
  coord_polar(theta = "y") +
  geom_text(aes(label = Label), position = position_stack(vjust = 0.5)) +
  labs(title = "Biểu đồ 7: Biểu đồ thể hiện nơi cư trú theo quốc gia") +
  theme_void() +
  scale_fill_manual(
    values = c("beige","darkgreen","darkred")
  ) +
  theme(plot.title = element_text(hjust = 0.5, size = 14, face = "bold"))

Vậy trong bộ dữ liệu này có

  • 809 khách hàng đến từ quốc gia Canada chiếm tỉ lệ 5.8%,
  • 3688 khách hàng đến từ quốc gia Mexico chiếm tỉ lệ 26.2%,
  • 9562 khách hàng đến từ quốc gia USA chiếm tỉ lệ 68%.

8. ProductFamily

# Lập bảng tần số
family <- table(dt$ProductFamily)
family
## 
##          Drink           Food Non-Consumable 
##           1250          10153           2656
# Lập bảng tần suất
table(dt$ProductFamily)/sum(nrow(dt))
## 
##          Drink           Food Non-Consumable 
##     0.08891102     0.72217085     0.18891813
# Tạo bảng và đưa về dạng data.frame
df_family <- as.data.frame(family)
colnames(df_family) <- c("ProductFamily", "Count")

# Tính phần trăm và nhãn
df_family$Percent <- round(df_family$Count / sum(df_family$Count) * 100, 1)
df_family$Label <- paste0(df_family$Percent, "%")

# Vẽ biểu đồ tròn
ggplot(df_family, aes(x = "", y = Count, fill = ProductFamily)) +
  geom_bar(stat = "identity", width = 1) +
  coord_polar(theta = "y") +
  geom_text(aes(label = Label), position = position_stack(vjust = 0.5)) +
  labs(title = "Biểu đồ 8: Phân bố nhóm sản phẩm") +
  theme_void() +
  theme(plot.title = element_text(hjust = 0.5, size = 14, face = "bold"))

Vậy trong bộ dữ liệu này có

  • 1250 khách hàng mua sản phẩm thuộc nhóm chiếm tỉ lệ 8.9%,
  • 10153 khách hàng mua sản phẩm thuộc nhóm chiếm tỉ lệ 72.2%,
  • 2656 khách hàng mua sản phẩm thuộc nhóm chiếm tỉ lệ 18.9%.

9. ProductDepartment

# Lập bảng tần số
department <- table(dt$ProductDepartment)
department
## 
## Alcoholic Beverages         Baked Goods        Baking Goods           Beverages 
##                 356                 425                1072                 680 
##     Breakfast Foods        Canned Foods     Canned Products            Carousel 
##                 188                 977                 109                  59 
##            Checkout               Dairy                Deli                Eggs 
##                  82                 903                 699                 198 
##        Frozen Foods  Health and Hygiene           Household                Meat 
##                1382                 893                1420                  89 
##         Periodicals             Produce             Seafood         Snack Foods 
##                 202                1994                 102                1600 
##              Snacks       Starchy Foods 
##                 352                 277
# Lập bảng tần suất
table(dt$ProductDepartment)/sum(nrow(dt))
## 
## Alcoholic Beverages         Baked Goods        Baking Goods           Beverages 
##         0.025321858         0.030229746         0.076250089         0.048367594 
##     Breakfast Foods        Canned Foods     Canned Products            Carousel 
##         0.013372217         0.069492852         0.007753041         0.004196600 
##            Checkout               Dairy                Deli                Eggs 
##         0.005832563         0.064229319         0.049719041         0.014083505 
##        Frozen Foods  Health and Hygiene           Household                Meat 
##         0.098300021         0.063518031         0.101002916         0.006330464 
##         Periodicals             Produce             Seafood         Snack Foods 
##         0.014368020         0.141830856         0.007255139         0.113806103 
##              Snacks       Starchy Foods 
##         0.025037343         0.019702682
library(ggplot2)

# Chuyển sang dạng data frame
df_department <- as.data.frame(department)
colnames(df_department) <- c("ProductDepartment", "Count")

df_department$Percent <- round(df_department$Count / sum(df_department$Count) * 100, 1)
df_department$Label <- paste0(df_department$Percent, "%")

# Vẽ biểu đồ cột
ggplot(df_department, aes(x = ProductDepartment, y = Count, fill = ProductDepartment)) +
  geom_col(width = 0.8) +
  geom_text(aes(label = Count), vjust = -0.5) +
  labs(title = "Biểu đồ 9: Biểu đồ phân bố bộ phận sản phẩm",
       x = "Các bộ phận sản phẩm", 
       y = "Số người",
       fill = "ProductDepartment") + 
  theme_minimal() +
  theme(
    plot.title = element_text(hjust = 0.5, face = "bold", size = 14),
    axis.text.x = element_blank(), # Ẩn nhãn dưới trục X nếu cần
    legend.position = "bottom"
  )

Trong bộ dữ liệu này có tổng cộng 22 bộ phận sản phẩm. Trong đó:

🔶 Nhóm bộ phận sản phẩm có số lượng khách hàng nhiều nhất gồm:

Produce với 1994 người chiếm tỷ lệ 14.2%,

Snack Foods với 1600 người chiếm tỷ lệ 11.4%.

🟠 Nhóm bộ phận sản phẩm có số lượng khách hàng trung bình gồm:

Household,Frozen Foods, Baking Goods, Canned Foods, Dairy, Health and Hygiene với tỉ lệ giao động từ 6.4% đến 10.1%.

🟢 Nhóm bộ phận sản phẩm có số lượng khách hàng ít nhất gồm:

Các bộ phận sản phẩm còn lại với số khách hàng rất ít giao động ở mức 0.4% đến 4.8%.

10. ProductCategory

# Lập bảng tần số
category <- table(dt$ProductCategory)
category
## 
##         Baking Goods    Bathroom Products        Beer and Wine 
##                  484                  365                  356 
##                Bread      Breakfast Foods              Candles 
##                  425                  417                   45 
##                Candy     Canned Anchovies         Canned Clams 
##                  352                   44                   53 
##       Canned Oysters      Canned Sardines        Canned Shrimp 
##                   35                   40                   38 
##          Canned Soup          Canned Tuna Carbonated Beverages 
##                  404                   87                  154 
##    Cleaning Supplies        Cold Remedies                Dairy 
##                  189                   93                  903 
##        Decongestants               Drinks                 Eggs 
##                   85                  135                  198 
##           Electrical      Frozen Desserts       Frozen Entrees 
##                  355                  323                  118 
##                Fruit             Hardware        Hot Beverages 
##                  765                  129                  226 
##              Hygiene     Jams and Jellies     Kitchen Products 
##                  197                  588                  217 
##            Magazines                 Meat        Miscellaneous 
##                  202                  761                   42 
##  Packaged Vegetables       Pain Relievers       Paper Products 
##                   48                  192                  345 
##                Pizza     Plastic Products Pure Juice Beverages 
##                  194                  141                  165 
##              Seafood          Side Dishes          Snack Foods 
##                  102                  153                 1600 
##            Specialty        Starchy Foods           Vegetables 
##                  289                  277                 1728
# Lập bảng tần suất
table(dt$ProductCategory)/sum(nrow(dt))
## 
##         Baking Goods    Bathroom Products        Beer and Wine 
##          0.034426346          0.025962017          0.025321858 
##                Bread      Breakfast Foods              Candles 
##          0.030229746          0.029660716          0.003200797 
##                Candy     Canned Anchovies         Canned Clams 
##          0.025037343          0.003129668          0.003769827 
##       Canned Oysters      Canned Sardines        Canned Shrimp 
##          0.002489508          0.002845153          0.002702895 
##          Canned Soup          Canned Tuna Carbonated Beverages 
##          0.028736041          0.006188207          0.010953837 
##    Cleaning Supplies        Cold Remedies                Dairy 
##          0.013443346          0.006614980          0.064229319 
##        Decongestants               Drinks                 Eggs 
##          0.006045949          0.009602390          0.014083505 
##           Electrical      Frozen Desserts       Frozen Entrees 
##          0.025250729          0.022974607          0.008393200 
##                Fruit             Hardware        Hot Beverages 
##          0.054413543          0.009175617          0.016075112 
##              Hygiene     Jams and Jellies     Kitchen Products 
##          0.014012376          0.041823743          0.015434953 
##            Magazines                 Meat        Miscellaneous 
##          0.014368020          0.054129028          0.002987410 
##  Packaged Vegetables       Pain Relievers       Paper Products 
##          0.003414183          0.013656732          0.024539441 
##                Pizza     Plastic Products Pure Juice Beverages 
##          0.013798990          0.010029163          0.011736254 
##              Seafood          Side Dishes          Snack Foods 
##          0.007255139          0.010882709          0.113806103 
##            Specialty        Starchy Foods           Vegetables 
##          0.020556227          0.019702682          0.122910591
library(ggplot2)

# Đưa dữ liệu về dạng data frame
df_category <- as.data.frame(category)
colnames(df_category) <- c("ProductCategory", "Count")

# Vẽ biểu đồ với nhiều màu
ggplot(df_category, aes(x = reorder(ProductCategory, Count), y = Count, fill = ProductCategory)) +
  geom_col() +
  coord_flip() +
  labs(title = "Biểu đồ 10: Tần suất giao dịch theo Product Category",
       x = "Loại sản phẩm",
       y = "Số giao dịch") +
  theme_minimal() +
  theme(
    plot.title = element_text(hjust = 0.5, face = "bold", size = 14),
    legend.position = "none"  # Ẩn chú thích màu nếu không cần
  )

Phần 3: Ước lượng Khoảng và Kiểm định Giả thuyết cho Tỷ lệ (Một biến)

3.1. Gender (Female)

Kiểm định giả thuyết: H0: tỷ lệ Female = 0.5

H1: tỷ lệ Female ≠ 0.5

# Lấy số lượng Female và tổng số quan sát
count_female <- gioitinh["F"]
n <- sum(gioitinh)

# 1. Ước lượng khoảng tin cậy 95% cho tỷ lệ Female
prop.test_female <- prop.test(count_female, n, conf.level = 0.95)

# Kết quả khoảng tin cậy
cat("Khoảng tin cậy 95% cho tỷ lệ Female là: ",
    round(prop.test_female$conf.int[1],3), " đến ", round(prop.test_female$conf.int[2],3), "\n")
## Khoảng tin cậy 95% cho tỷ lệ Female là:  0.502  đến  0.518
# 2. Kiểm định giả thuyết H0: p = 0.5
# prop.test cũng trả luôn p-value
cat("Giá trị p của kiểm định là: ", prop.test_female$p.value, "\n")
## Giá trị p của kiểm định là:  0.01820308
if (prop.test_female$p.value < 0.05) {
  cat("=> Bác bỏ H0, tỷ lệ Female khác 0.5 với mức ý nghĩa 0.05\n")
} else {
  cat("=> Không bác bỏ H0, không có đủ bằng chứng để khẳng định tỷ lệ Female khác 0.5\n")
}
## => Bác bỏ H0, tỷ lệ Female khác 0.5 với mức ý nghĩa 0.05

3.2. Homeowner

# Lấy số người có nhà ("Y")
count_yes <- nha["Y"]
n_home <- sum(nha)

# Tính khoảng tin cậy 95%
prop.test_yes  <- prop.test(count_yes, n_home, conf.level = 0.95)

# Kết quả khoảng tin cậy
cat("Khoảng tin cậy 95% cho tỷ lệ người có nhà:\n")
## Khoảng tin cậy 95% cho tỷ lệ người có nhà:
cat("Từ", round(prop.test_yes$conf.int[1], 3), "đến", round(prop.test_yes$conf.int[2], 3), "\n")
## Từ 0.592 đến 0.609
cat("Tỷ lệ ước lượng:", round(prop.test_yes$estimate, 3), "\n\n")
## Tỷ lệ ước lượng: 0.601
# Kiểm định H₀: p = 0.5 (tỷ lệ người có nhà bằng 50%)
test_home <- prop.test(count_yes, n_home, p = 0.5, conf.level = 0.95)

# Kết quả kiểm định
cat("Kết quả kiểm định giả thuyết H0: tỷ lệ người có nhà = 0.5\n")
## Kết quả kiểm định giả thuyết H0: tỷ lệ người có nhà = 0.5
cat("Giá trị p-value:", round(test_home$p.value, 4), "\n")
## Giá trị p-value: 0
if (test_home$p.value < 0.05) {
  cat("=> Bác bỏ H0: Tỷ lệ người có nhà khác 0.5 (có ý nghĩa thống kê ở mức 5%)\n")
} else {
  cat("=> Không bác bỏ H0: Không có đủ bằng chứng để kết luận tỷ lệ người có nhà khác 0.5\n")
}
## => Bác bỏ H0: Tỷ lệ người có nhà khác 0.5 (có ý nghĩa thống kê ở mức 5%)

3.3. MaritalStatus

count_married <- honnhan["M"]
n_marital <- sum(honnhan)


prop.test_married <- prop.test(count_married, n_marital, conf.level = 0.95)

cat("Khoảng tin cậy 95% cho tỷ lệ người đã kết hôn:\n")
## Khoảng tin cậy 95% cho tỷ lệ người đã kết hôn:
cat("Từ", round(prop.test_married$conf.int[1], 3), "đến", round(prop.test_married$conf.int[2], 3), "\n")
## Từ 0.48 đến 0.497
cat("Tỷ lệ ước lượng:", round(prop.test_married$estimate, 3), "\n\n")
## Tỷ lệ ước lượng: 0.488
test_married <- prop.test(count_married, n_marital, p = 0.5, conf.level = 0.95)

cat("Kết quả kiểm định 
giả thuyết H0: tỷ lệ người đã kết hôn = 0.5\n",
    "giả thuyết H1: tỷ lệ người đã kết hôn ≠ 0.5\n")
## Kết quả kiểm định 
## giả thuyết H0: tỷ lệ người đã kết hôn = 0.5
##  giả thuyết H1: tỷ lệ người đã kết hôn ≠ 0.5
cat("Giá trị p-value:", round(test_married$p.value, 4), "\n")
## Giá trị p-value: 0.006
if (test_married$p.value < 0.05) {
  cat("=> Bác bỏ H0: Tỷ lệ người đã kết hôn khác 0.5 (có ý nghĩa thống kê ở mức 5%)\n")
} else {
  cat("=> Không bác bỏ H0: Không có đủ bằng chứng để kết luận tỷ lệ người đã kết hôn khác 0.5\n")
}
## => Bác bỏ H0: Tỷ lệ người đã kết hôn khác 0.5 (có ý nghĩa thống kê ở mức 5%)

Phần 4: Phân tích mối quan hệ giữa hai biến Định tính

4.1. Mối quan hệ giữa Gender và Homeowner

# Bảng tần suất chéo giữa Gender và Homeowner
table_gender_home <- table(dt$Gender, dt$Homeowner)
table_gender_home
##    
##        N    Y
##   F 2826 4344
##   M 2789 4100
# Tỷ lệ phần trăm theo hàng (trong từng giới tính, có nhà chiếm bao nhiêu %)
prop_gender_home_row <- prop.table(table_gender_home, 1) * 100
round(prop_gender_home_row, 2)
##    
##         N     Y
##   F 39.41 60.59
##   M 40.48 59.52
library(ggplot2)

# Chuyển bảng sang data frame
df_gender_home <- as.data.frame(table_gender_home)
colnames(df_gender_home) <- c("Gender", "Homeowner", "Count")

# Vẽ biểu đồ cột nhóm
ggplot(df_gender_home, aes(x = Gender, y = Count, fill = Homeowner)) +
  geom_bar(stat = "identity", position = "dodge") +
  labs(title = "Mối quan hệ giữa Gender và Homeowner",
       x = "Gender", y = "Số lượng", fill = "Homeowner") +
  theme_minimal()

chi_gender_home <- chisq.test(table_gender_home)
chi_gender_home
## 
##  Pearson's Chi-squared test with Yates' continuity correction
## 
## data:  table_gender_home
## X-squared = 1.6344, df = 1, p-value = 0.2011
cat("Giá trị Chi-squared:", round(chi_gender_home$statistic, 2), "\n")
## Giá trị Chi-squared: 1.63
cat("Bậc tự do:", chi_gender_home$parameter, "\n")
## Bậc tự do: 1
cat("P-value:", round(chi_gender_home$p.value, 4), "\n")
## P-value: 0.2011
if (chi_gender_home$p.value < 0.05) {
  cat("=> Bác bỏ H0: Có mối liên hệ có ý nghĩa thống kê giữa Gender và Homeowner\n")
} else {
  cat("=> Không bác bỏ H0: Không có bằng chứng thống kê về mối liên hệ giữa Gender và Homeowner\n")
}
## => Không bác bỏ H0: Không có bằng chứng thống kê về mối liên hệ giữa Gender và Homeowner

4.2. MaritalStatus và Homeowner

# Bảng tần suất chéo giữa MaritalStatus và Homeowner
table_marital_home <- table(dt$MaritalStatus, dt$Homeowner)
table_marital_home
##    
##        N    Y
##   M 1719 5147
##   S 3896 3297
# Tỷ lệ phần trăm theo hàng
prop_marital_home_row <- prop.table(table_marital_home, 1) * 100
round(prop_marital_home_row, 2)
##    
##         N     Y
##   M 25.04 74.96
##   S 54.16 45.84
library(ggplot2)

# Chuyển sang data frame
df_marital_home <- as.data.frame(table_marital_home)
colnames(df_marital_home) <- c("MaritalStatus", "Homeowner", "Count")

# Vẽ biểu đồ
ggplot(df_marital_home, aes(x = MaritalStatus, y = Count, fill = Homeowner)) +
  geom_bar(stat = "identity", position = "dodge") +
  labs(title = "Mối quan hệ giữa MaritalStatus và Homeowner",
       x = "Tình trạng hôn nhân", y = "Số lượng", fill = "Có nhà") +
  theme_minimal()

chi_marital_home <- chisq.test(table_marital_home)
chi_marital_home
## 
##  Pearson's Chi-squared test with Yates' continuity correction
## 
## data:  table_marital_home
## X-squared = 1241.2, df = 1, p-value < 2.2e-16

4.3.

# Tạo bảng tần suất chéo giữa Gender và MaritalStatus
table_gender_marital <- table(dt$Gender, dt$MaritalStatus)
table_gender_marital
##    
##        M    S
##   F 3602 3568
##   M 3264 3625
# Theo hàng: trong từng giới tính, tỉ lệ từng tình trạng hôn nhân
prop_gender_marital_row <- prop.table(table_gender_marital, 1) * 100
round(prop_gender_marital_row, 2)
##    
##         M     S
##   F 50.24 49.76
##   M 47.38 52.62
library(ggplot2)

df_gender_marital <- as.data.frame(table_gender_marital)
colnames(df_gender_marital) <- c("Gender", "MaritalStatus", "Count")

ggplot(df_gender_marital, aes(x = Gender, y = Count, fill = MaritalStatus)) +
  geom_bar(stat = "identity", position = "fill") +  # hoặc "dodge" nếu muốn số lượng
  labs(title = "Tỷ lệ MaritalStatus theo Gender",
       x = "Gender", y = "Tỷ lệ", fill = "Tình trạng hôn nhân") +
  scale_y_continuous(labels = scales::percent) +
  theme_minimal()

chi_gender_marital <- chisq.test(table_gender_marital)
chi_gender_marital
## 
##  Pearson's Chi-squared test with Yates' continuity correction
## 
## data:  table_gender_marital
## X-squared = 11.365, df = 1, p-value = 0.0007485
cat("Giá trị Chi-squared:", round(chi_gender_marital$statistic, 2), "\n")
## Giá trị Chi-squared: 11.36
cat("Bậc tự do:", chi_gender_marital$parameter, "\n")
## Bậc tự do: 1
cat("P-value:", round(chi_gender_marital$p.value, 4), "\n")
## P-value: 7e-04
if (chi_gender_marital$p.value < 0.05) {
  cat("=> Bác bỏ H₀: Có mối liên hệ có ý nghĩa thống kê giữa Gender và MaritalStatus\n")
} else {
  cat("=> Không bác bỏ H₀: Không có bằng chứng thống kê về mối liên hệ giữa Gender và MaritalStatus\n")
}
## => Bác bỏ H₀: Có mối liên hệ có ý nghĩa thống kê giữa Gender và MaritalStatus
LS0tDQp0aXRsZTogIk5oaeG7h20gduG7pSB0deG6p24gMiINCmF1dGhvcjogIkh14buzbmggTmfhu41jIERp4buHcC0yMjIxMDAwMjk1Ig0KZGF0ZTogImByIGZvcm1hdChTeXMudGltZSgpLCAnJUg6JU06JVMsICVkIC0gJW0gLSAlWScpYCINCm91dHB1dDoNCiAgaHRtbF9kb2N1bWVudDogDQogICAgY29kZV9kb3dubG9hZDogdHJ1ZQ0KICAgIGNvZGVfZm9sZGluZzogaGlkZQ0KICAgIHRvY19kZXB0aDogNA0KICAgIHRvY19mbG9hdDogdHJ1ZQ0KICAgIHRvYzogdHJ1ZQ0KICBwZGZfZG9jdW1lbnQ6DQogICAgbGF0ZXhfZW5naW5lOiB4ZWxhdGV4DQotLS0NCg0KDQo8c3R5bGU+DQpib2R5IHsNCiAgZm9udC1mYW1pbHk6ICJUaW1lcyBOZXcgUm9tYW4iLCBzYW5zLXNlcmlmOw0KICBmb250LXNpemU6IDE2cHg7DQogIHRleHQtYWxpZ246IGp1c3RpZnk7DQogIGxpbmUtaGVpZ2h0OiAxLjU7DQp9DQpoMSB7DQogIGNvbG9yOiByZWQ7DQogICAgZm9udC13ZWlnaHQ6IGJvbGQ7DQp9DQpoMiB7DQogIGNvbG9yOiBibGFjazsNCiAgZm9udC13ZWlnaHQ6IGJvbGQ7DQp9DQpoMyB7DQogIGNvbG9yOiBibGFjazsNCiAgZm9udC13ZWlnaHQ6IGJvbGQ7DQp9DQpoNCB7DQogIGNvbG9yOiBibGFjazsNCiAgZm9udC13ZWlnaHQ6IGJvbGQ7DQp9DQo8L3N0eWxlPg0KDQojIyBQaOG6p24gMTogVMOsbSBoaeG7g3UgdsOgIENodeG6qW4gYuG7iyBk4buvIGxp4buHdQ0KYGBge3J9DQojIMSQ4buNYyBi4buZIGThu68gbGnhu4d1DQpkIDwtIHJlYWQuY3N2KCJEOi9uYWFhYWFhL1BURExEVC9TdXBlcm1hcmtldCBUcmFuc2FjdGlvbnMuY3N2IiwgaGVhZGVyID0gVCkNCmBgYA0KIyMjIDEuIEPhuqV1IHRyw7pjIGLhu5kgZOG7ryBsaeG7h3UNCmBgYHtyfQ0KIyBD4bqldSB0csO6YyBi4buZIGThu68gbGnhu4d1DQpzdHIoZCkNCmBgYA0KDQpU4bqtcCBk4buvIGxp4buHdSAiU3VwZXJtYXJrZXQgVHJhbnNhY3Rpb25zIiBn4buTbSB04buVbmcgY+G7mW5nIDE0LjA1OSBkw7JuZyBk4buvIGxp4buHdSwgdMawxqFuZyDhu6luZyB24bubaSAxNC4wNTkgZ2lhbyBk4buLY2ggbXVhIGjDoG5nIMSRxrDhu6NjIGdoaSBuaOG6rW4gdOG6oWkgc2nDqnUgdGjhu4suIE3hu5dpIGTDsm5nIGThu68gbGnhu4d1IMSR4bqhaSBkaeG7h24gY2hvIG3hu5l0IGdpYW8gZOG7i2NoIHJpw6puZyBs4bq7IHbDoCBiYW8gZ+G7k20gdGjDtG5nIHRpbiBjaGkgdGnhur90IHbhu4Ega2jDoWNoIGjDoG5nLCBz4bqjbiBwaOG6qW0sIGPFqW5nIG5oxrAgY8OhYyDEkeG6t2MgxJFp4buDbSBsacOqbiBxdWFuIMSR4bq/biBow6BuaCB2aSB0acOqdSBkw7luZy4gQuG7mSBk4buvIGxp4buHdSBuw6B5IGPDsyB04buVbmcgY+G7mW5nIDE2IGJp4bq/biAoY+G7mXQpLCBiYW8gZ+G7k20gY+G6oyBiaeG6v24gxJHhu4tuaCB0w61uaCB2w6AgxJHhu4tuaCBsxrDhu6NuZywgcGjhuqNuIMOhbmggxJHhuqd5IMSR4bunIGPDoWMgeeG6v3UgdOG7kSBuaMOibiBraOG6qXUgaOG7jWMsIMSR4buLYSBsw70gdsOgIGvhur90IHF14bqjIGtpbmggZG9hbmggdOG7qyBt4buXaSBnaWFvIGThu4tjaC4NCg0KYGBge3J9DQojIEhp4buHbiB0aOG7iyBjw6FjIGTDsm5nIMSR4bqndSBj4bunYSBi4buZIGThu68gbGnhu4d1DQpoZWFkKGQpDQpgYGANCmBgYHtyfQ0KIyBIaeG7g24gdGjhu4sgY8OhYyBkw7JuZyBjdeG7kWkgY+G7p2EgYuG7mSBk4buvIGxp4buHdQ0KdGFpbChkKQ0KYGBgDQojIyMgMi4gS2nhu4NtIHRyYSBk4buvIGxp4buHdSB0aGnhur91DQoNCmBgYHtyfQ0KIyBLaeG7g20gdHJhIGThu68gbGnhu4d1IHRoaeG6v3UNCnN1bShpcy5uYShkKSkNCmBgYA0KDQojIyMgMy4gQ2h1eeG7g24gZOG6oW5nIGThu68gbGnhu4d1DQpgYGB7cn0NCmQkR2VuZGVyIDwtIGFzLmZhY3RvcihkJEdlbmRlcikNCmQkTWFyaXRhbFN0YXR1cyA8LSBhcy5mYWN0b3IoZCRNYXJpdGFsU3RhdHVzKQ0KZCRIb21lb3duZXIgPC0gYXMuZmFjdG9yKGQkSG9tZW93bmVyKQ0KZCRBbm51YWxJbmNvbWUgPC0gYXMuZmFjdG9yKGQkQW5udWFsSW5jb21lKQ0KYGBgDQoNCg0KYGBge3J9DQojIFThuqFvIGJp4bq/biDEkeG7i25oIHTDrW5oDQpiZHQgPC0gYyggIlB1cmNoYXNlRGF0ZSIsDQoiQ3VzdG9tZXJJRCIsICJHZW5kZXIiLCAiTWFyaXRhbFN0YXR1cyIsICJIb21lb3duZXIiLCAiQW5udWFsSW5jb21lIiwgIkNpdHkiLCAiU3RhdGVvclByb3ZpbmNlIiwiQ291bnRyeSIsICJQcm9kdWN0RmFtaWx5IiwgIlByb2R1Y3REZXBhcnRtZW50IiwgIlByb2R1Y3RDYXRlZ29yeSIgKQ0KDQojIFThuqFvIGLhu5kgZOG7ryBsaeG7h3UgbeG7m2kgY2jhu4kgY8OzIGJp4bq/biDEkeG7i25oIHTDrW5oDQpkdCA8LSBkWywgYmR0XQ0KDQojIFh14bqldCBi4buZIGThu68gbGnhu4d1IMSR4buLbmggdMOtbmgNCmhlYWQoZHQpDQoNCmBgYA0KIyMgUGjhuqduIDI6ICBQaMOibiB0w61jaCBtw7QgdOG6oyBt4buZdCBiaeG6v24gxJDhu4tuaCB0w61uaCANCg0KIyMjIDEuIEdlbmRlcg0KDQpgYGB7cn0NCiMgTOG6rXAgYuG6o25nIHThuqduIHPhu5ENCmdpb2l0aW5oIDwtIHRhYmxlKGR0JEdlbmRlcikNCmdpb2l0aW5oDQpgYGANCg0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBzdeG6pXQNCnRhYmxlKGR0JEdlbmRlcikvc3VtKG5yb3coZHQpKQ0KYGBgDQoNCmBgYHtyfQ0KbGlicmFyeShnZ3Bsb3QyKQ0KDQojIMSQxrBhIHbhu4EgZOG6oW5nIGRhdGEgZnJhbWUNCmRmX2dpb2l0aW5oIDwtIGFzLmRhdGEuZnJhbWUoZ2lvaXRpbmgpDQpjb2xuYW1lcyhkZl9naW9pdGluaCkgPC0gYygiR2VuZGVyIiwgIkNvdW50IikNCg0KIyBUw61uaCBwaOG6p24gdHLEg20gdsOgIHRow6ptIHbDoG8gZGF0YSBmcmFtZQ0KZGZfZ2lvaXRpbmgkUGVyY2VudCA8LSByb3VuZChkZl9naW9pdGluaCRDb3VudCAvIHN1bShkZl9naW9pdGluaCRDb3VudCkgKiAxMDAsIDEpDQoNCiMgVOG6oW8gbmjDo24gZ2jDqXAgduG7m2kgJQ0KZGZfZ2lvaXRpbmgkTGFiZWwgPC0gcGFzdGUwKGRmX2dpb2l0aW5oJFBlcmNlbnQsICIlIikNCg0KIyBW4bq9IGJp4buDdSDEkeG7kyB0csOybg0KZ2dwbG90KGRmX2dpb2l0aW5oLCBhZXMoeCA9ICIiLCB5ID0gQ291bnQsIGZpbGwgPSBHZW5kZXIpKSArDQogIGdlb21fYmFyKHN0YXQgPSAiaWRlbnRpdHkiLCB3aWR0aCA9IDEpICsNCiAgY29vcmRfcG9sYXIodGhldGEgPSAieSIpICsNCiAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IExhYmVsKSwgcG9zaXRpb24gPSBwb3NpdGlvbl9zdGFjayh2anVzdCA9IDAuNSkpICsNCiAgbGFicyh0aXRsZSA9ICJCaeG7g3UgxJHhu5MgMTogQmnhu4N1IMSR4buTIHBow6JuIGLhu5EgZ2nhu5tpIHTDrW5oIikgKyAgIyDwn5GIIFRpw6p1IMSR4buBDQogIHRoZW1lX3ZvaWQoKSArICMgYuG7jyDEkWkgY8OhYyB2aeG7gW4sIG3huqV5IGPDoWkgY2jDuiB0aMOtY2ggeCwgeSDEkeG7kyDDoQ0KICB0aGVtZShwbG90LnRpdGxlID0gZWxlbWVudF90ZXh0KGhqdXN0ID0gMC41LCBzaXplID0gMTQsIGZhY2UgPSAiYm9sZCIpKSAgIyDwn5GIIENobyBoaeG7h24gdsOgIGNo4buJbmggdGnDqnUgxJHhu4ENCmBgYA0KDQpW4bqteSB0cm9uZyBi4buZIGThu68gbGnhu4d1IG7DoHkgY8OzIGByIGdpb2l0aW5oWzFdYCBraMOhY2ggaMOgbmcgbMOgIG7hu68gY2hp4bq/bSB04buJIGzhu4cgYHIgZGZfZ2lvaXRpbmgkTGFiZWxbMV1gIHbDoCBgciBnaW9pdGluaFsyXWAga2jDoWNoIGjDoG5nIGzDoCBuYW0gY2hp4bq/bSB04buJIGzhu4cgYHIgZGZfZ2lvaXRpbmgkTGFiZWxbMl1gIC4NCg0KDQojIyMgMi4gTWFyaWFsU3RhdHVzDQoNCmBgYHtyfQ0KIyBM4bqtcCBi4bqjbmcgdOG6p24gc+G7kQ0KaG9ubmhhbiA8LSB0YWJsZShkdCRNYXJpdGFsU3RhdHVzKQ0KaG9ubmhhbg0KDQpgYGANCmBgYHtyfQ0KIyBM4bqtcCBi4bqjbmcgdOG6p24gc3XhuqV0DQp0YWJsZShkdCRNYXJpdGFsU3RhdHVzKS9zdW0obnJvdyhkdCkpDQpgYGANCmBgYHtyfQ0KbGlicmFyeShnZ3Bsb3QyKQ0KDQpkZl9ob25uaGFuIDwtIGFzLmRhdGEuZnJhbWUoaG9ubmhhbikNCmNvbG5hbWVzKGRmX2hvbm5oYW4pIDwtIGMoIk1hcml0YWxTdGF0dXMiLCAiQ291bnQiKQ0KDQpkZl9ob25uaGFuJFBlcmNlbnQgPC0gcm91bmQoZGZfaG9ubmhhbiRDb3VudCAvIHN1bShkZl9ob25uaGFuJENvdW50KSAqIDEwMCwgMSkNCmRmX2hvbm5oYW4kTGFiZWwgPC0gcGFzdGUwKGRmX2hvbm5oYW4kUGVyY2VudCwgIiUiKQ0KDQpnZ3Bsb3QoZGZfaG9ubmhhbiwgYWVzKHggPSAiIiwgeSA9IENvdW50LCBmaWxsID0gTWFyaXRhbFN0YXR1cykpICsNCiAgZ2VvbV9iYXIoc3RhdCA9ICJpZGVudGl0eSIsIHdpZHRoID0gMSkgKw0KICBjb29yZF9wb2xhcih0aGV0YSA9ICJ5IikgKw0KICBnZW9tX3RleHQoYWVzKGxhYmVsID0gTGFiZWwpLCBwb3NpdGlvbiA9IHBvc2l0aW9uX3N0YWNrKHZqdXN0ID0gMC41KSkgKw0KICBsYWJzKHRpdGxlID0gIkJp4buDdSDEkeG7kyAyOiBCaeG7g3UgxJHhu5MgcGjDom4gYuG7kSB0w6xuaCB0cuG6oW5nIGjDtG4gbmjDom4iKSArDQogIHRoZW1lX3ZvaWQoKSArDQogICBzY2FsZV9maWxsX21hbnVhbCgNCiAgICB2YWx1ZXMgPSBjKCJNIiA9ICJyZWQiLCAiUyIgPSAiZ3JlZW4iKSwNCiAgICBsYWJlbHMgPSBjKCJNIiA9ICLEkMOjIGvhur90IGjDtG4iLCAiUyIgPSAixJDhu5ljIHRow6JuIikNCiAgKSArDQogIHRoZW1lIChwbG90LnRpdGxlID0gZWxlbWVudF90ZXh0KGhqdXN0ID0gMC41LCBzaXplID0gMTQsIGZhY2UgPSAiYm9sZCIpKQ0KDQoNCmBgYA0KDQoNClbhuq15IHRyb25nIGLhu5kgZOG7ryBsaeG7h3UgbsOgeSBjw7MgYHIgaG9ubmhhblsxXWAga2jDoWNoIGjDoG5nIMSRw6Mga+G6v3QgaMO0biBjaGnhur9tIHThu4kgbOG7hyBgciBkZl9ob25uaGFuJExhYmVsWzFdYCB2w6AgYHIgaG9ubmhhblsyXWAga2jDoWNoIGjDoG5nIMSR4buZYyB0aMOibiBjaGnhur9tIHThu4kgbOG7hyBgciBkZl9ob25uaGFuJExhYmVsWzJdYC4NCg0KIyMjIDMuIEhvbWVvd25lcg0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBz4buRDQpuaGEgPC0gdGFibGUoZHQkSG9tZW93bmVyKQ0KbmhhDQpgYGANCmBgYHtyfQ0KIyBM4bqtcCBi4bqjbmcgdOG6p24gc3XhuqV0DQp0YWJsZShkdCRIb21lb3duZXIpL3N1bShucm93KGR0KSkNCmBgYA0KDQpgYGB7cn0NCiMgxJDGsGEgduG7gSBk4bqhbmcgZGF0YS5mcmFtZQ0KZGZfbmhhIDwtIGFzLmRhdGEuZnJhbWUobmhhKQ0KY29sbmFtZXMoZGZfbmhhKSA8LSBjKCJIb21lb3duZXIiLCAiQ291bnQiKQ0KDQpkZl9uaGEkUGVyY2VudCA8LSByb3VuZChkZl9uaGEkQ291bnQgLyBzdW0oZGZfbmhhJENvdW50KSAqIDEwMCwgMSkNCmRmX25oYSRMYWJlbCA8LSBwYXN0ZTAoZGZfbmhhJFBlcmNlbnQsICIlIikNCg0KZ2dwbG90KGRmX25oYSwgYWVzKHggPSAiIiwgeSA9IENvdW50LCBmaWxsID0gSG9tZW93bmVyKSkgKw0KICBnZW9tX2JhcihzdGF0ID0gImlkZW50aXR5Iiwgd2lkdGggPSAxKSArDQogIGNvb3JkX3BvbGFyKHRoZXRhID0gInkiKSArDQogIGdlb21fdGV4dChhZXMobGFiZWwgPSBMYWJlbCksIHBvc2l0aW9uID0gcG9zaXRpb25fc3RhY2sodmp1c3QgPSAwLjUpKSArDQogIGxhYnModGl0bGUgPSAiQmnhu4N1IMSR4buTIDM6IEJp4buDdSDEkeG7kyB0aOG7gyBoaeG7h24gdMOsbmggdHLhuqFuZyBuaMOgIOG7nyIpICsNCiAgdGhlbWVfdm9pZCgpICsNCiAgc2NhbGVfZmlsbF9tYW51YWwoDQogICAgdmFsdWVzID0gYygiWSIgPSAic3RlZWxibHVlIiwgIk4iID0gInRvbWF0byIpLA0KICAgIGxhYmVscyA9IGMoIlkiID0gIsSQw6MgY8OzIG5ow6AiLCAiTiIgPSAiQ2jGsGEgY8OzIG5ow6AiKQ0KICApICsNCiAgdGhlbWUocGxvdC50aXRsZSA9IGVsZW1lbnRfdGV4dChoanVzdCA9IDAuNSwgc2l6ZSA9IDE0LCBmYWNlID0gImJvbGQiKSkNCg0KYGBgDQoNClbhuq15IHRyb25nIGLhu5kgZOG7ryBsaeG7h3UgbsOgeSBjw7MgYHIgbmhhWzFdYCBraMOhY2ggaMOgbmcgY2jGsGEgY8OzIG5ow6AgY2hp4bq/bSB04buJIGzhu4cgYHIgZGZfbmhhJExhYmVsWzFdYCB2w6AgYHIgbmhhWzJdYCBraMOhY2ggaMOgbmcgxJHDoyBjw7MgbmjDoCBjaGnhur9tIHThu4kgbOG7hyBgciBkZl9uaGEkTGFiZWxbMl1gLg0KDQoNCiMjIyA0LiBBbm51YWxJbmNvbWUNCg0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBz4buRDQp0aHVuaGFwIDwtIHRhYmxlKGR0JEFubnVhbEluY29tZSkNCnRodW5oYXANCmBgYA0KDQpgYGB7cn0NCiMgTOG6rXAgYuG6o25nIHThuqduIHN14bqldA0KdGFibGUoZHQkQW5udWFsSW5jb21lKS9zdW0obnJvdyhkdCkpDQpgYGANCg0KYGBge3J9DQpsaWJyYXJ5KGdncGxvdDIpDQoNCiMgQ2h1eeG7g24gc2FuZyBk4bqhbmcgZGF0YSBmcmFtZQ0KZGZfdGh1bmhhcCA8LSBhcy5kYXRhLmZyYW1lKHRodW5oYXApDQpjb2xuYW1lcyhkZl90aHVuaGFwKSA8LSBjKCJBbm51YWxJbmNvbWUiLCAiQ291bnQiKQ0KDQpkZl90aHVuaGFwJFBlcmNlbnQgPC0gcm91bmQoZGZfdGh1bmhhcCRDb3VudCAvIHN1bShkZl90aHVuaGFwJENvdW50KSAqIDEwMCwgMSkNCmRmX3RodW5oYXAkTGFiZWwgPC0gcGFzdGUwKGRmX3RodW5oYXAkUGVyY2VudCwgIiUiKQ0KDQojIFbhur0gYmnhu4N1IMSR4buTIGPhu5l0DQpnZ3Bsb3QoZGZfdGh1bmhhcCwgYWVzKHggPSBBbm51YWxJbmNvbWUsIHkgPSBDb3VudCwgZmlsbCA9IEFubnVhbEluY29tZSkpICsNCiAgZ2VvbV9jb2wod2lkdGggPSAwLjYpICsNCiAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IENvdW50KSwgdmp1c3QgPSAtMC41KSArDQogIGxhYnModGl0bGUgPSAiQmnhu4N1IMSR4buTIDQ6IEJp4buDdSDEkeG7kyBwaMOibiBi4buRIG3hu6ljIHRodSBuaOG6rXAiLA0KICAgICAgIHggPSAiS2hv4bqjbmcgdGh1IG5o4bqtcCB0aGVvIG5ow7NtIiwNCiAgICAgICB5ID0gIlPhu5EgbmfGsOG7nWkiKSArDQogIHRoZW1lX21pbmltYWwoKSArDQogIHRoZW1lKHBsb3QudGl0bGUgPSBlbGVtZW50X3RleHQoaGp1c3QgPSAwLjUsIGZhY2UgPSAiYm9sZCIsIHNpemUgPSAxNCksDQogICAgICAgIGxlZ2VuZC5wb3NpdGlvbiA9ICJub25lIikgICMg4bqobiBjaMO6IHRow61jaCBtw6B1IHbDrCDEkcOjIGhp4buHbiB0csOqbiB0cuG7pWMgeA0KDQpgYGANCg0KVuG6rXkgdHJvbmcgYuG7mSBk4buvIGxp4buHdSBuw6B5IGPDszoNCg0KLSBgciB0aHVuaGFwWzFdYCBraMOhY2ggaMOgbmcgdGh14buZYyBuaMOzbSB0aHUgbmjhuq1wICQxMEsgLSAkMzBLLCBjaGnhur9tIHThu7cgbOG7hyBgciBkZl90aHVuaGFwJExhYmVsWzFdYC4NCi0gYHIgdGh1bmhhcFsyXWAga2jDoWNoIGjDoG5nIHRodeG7mWMgbmjDs20gdGh1IG5o4bqtcCAkMTEwSyAtICQxMzBLLCBjaGnhur9tIHThu7cgbOG7hyBgciBkZl90aHVuaGFwJExhYmVsWzJdYC4NCi0gYHIgdGh1bmhhcFszXWAga2jDoWNoIGjDoG5nIHRodeG7mWMgbmjDs20gdGh1IG5o4bqtcCAkMTIwSyAtICQxNTBLLCBjaGnhur9tIHThu7cgbOG7hyBgciBkZl90aHVuaGFwJExhYmVsWzNdYC4NCi0gYHIgdGh1bmhhcFs0XWAga2jDoWNoIGjDoG5nIHRodeG7mWMgbmjDs20gdGh1IG5o4bqtcCAkMTUwSyArICwgY2hp4bq/bSB04bu3IGzhu4cgYHIgZGZfdGh1bmhhcCRMYWJlbFs0XWAuDQotIGByIHRodW5oYXBbNV1gIGtow6FjaCBow6BuZyB0aHXhu5ljIG5ow7NtIHRodSBuaOG6rXAgJDMwSyAtICQ1MEssIGNoaeG6v20gdOG7tyBs4buHIGByIGRmX3RodW5oYXAkTGFiZWxbNV1gLg0KLSBgciB0aHVuaGFwWzZdYCBraMOhY2ggaMOgbmcgdGh14buZYyBuaMOzbSB0aHUgbmjhuq1wICQ1MEsgLSAkNzBLLCBjaGnhur9tIHThu7cgbOG7hyBgciBkZl90aHVuaGFwJExhYmVsWzZdYC4NCi0gYHIgdGh1bmhhcFs3XWAga2jDoWNoIGjDoG5nIHRodeG7mWMgbmjDs20gdGh1IG5o4bqtcCAkNzBLIC0gJDkwSywgY2hp4bq/bSB04bu3IGzhu4cgYHIgZGZfdGh1bmhhcCRMYWJlbFs3XWAuDQotIGByIHRodW5oYXBbOF1gIGtow6FjaCBow6BuZyB0aHXhu5ljIG5ow7NtIHRodSBuaOG6rXAgJDkwSyAtICQxMTBLLCBjaGnhur9tIHThu7cgbOG7hyBgciBkZl90aHVuaGFwJExhYmVsWzhdYC4NCg0KIyMjIDUuIENpdHkNCg0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBz4buRDQp0aGFuaHBobyA8LSB0YWJsZShkdCRDaXR5KQ0KdGhhbmhwaG8NCmBgYA0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBzdeG6pXQNCnRhYmxlKGR0JENpdHkpL3N1bShucm93KGR0KSkNCmBgYA0KDQpgYGB7cn0NCmxpYnJhcnkoZ2dwbG90MikNCg0KIyBDaHV54buDbiBzYW5nIGThuqFuZyBkYXRhIGZyYW1lDQpkZl90aGFuaHBobyA8LSBhcy5kYXRhLmZyYW1lKHRoYW5ocGhvKQ0KY29sbmFtZXMoZGZfdGhhbmhwaG8pIDwtIGMoIkNpdHkiLCAiQ291bnQiKQ0KDQpkZl90aGFuaHBobyRQZXJjZW50IDwtIHJvdW5kKGRmX3RoYW5ocGhvJENvdW50IC8gc3VtKGRmX3RoYW5ocGhvJENvdW50KSAqIDEwMCwgMSkNCmRmX3RoYW5ocGhvJExhYmVsIDwtIHBhc3RlMChkZl90aGFuaHBobyRQZXJjZW50LCAiJSIpDQoNCiMgVuG6vSBiaeG7g3UgxJHhu5MgY+G7mXQNCmdncGxvdChkZl90aGFuaHBobywgYWVzKHggPSBDaXR5LCB5ID0gQ291bnQsIGZpbGwgPSBDaXR5KSkgKw0KICBnZW9tX2NvbCh3aWR0aCA9IDAuOCkgKw0KICBnZW9tX3RleHQoYWVzKGxhYmVsID0gQ291bnQpLCB2anVzdCA9IC0wLjUpICsNCiAgbGFicyh0aXRsZSA9ICJCaeG7g3UgxJHhu5MgNTogQmnhu4N1IMSR4buTIHBow6JuIGLhu5EgdGhlbyB0aMOgbmggcGjhu5EiLA0KICAgICAgIHggPSAiVGjDoG5oIHBo4buRIiwgDQogICAgICAgeSA9ICJT4buRIG5nxrDhu51pIiwNCiAgICAgICBmaWxsID0gIkNpdHkiKSArIA0KICB0aGVtZV9taW5pbWFsKCkgKw0KICB0aGVtZSgNCiAgICBwbG90LnRpdGxlID0gZWxlbWVudF90ZXh0KGhqdXN0ID0gMC41LCBmYWNlID0gImJvbGQiLCBzaXplID0gMTQpLA0KICAgIGF4aXMudGV4dC54ID0gZWxlbWVudF9ibGFuaygpLCAjIOG6qG4gY2jhu68gZMaw4bubaSB0cuG7pWMgWA0KICAgIGxlZ2VuZC5wb3NpdGlvbiA9ICJib3R0b20iKQ0KDQoNCmBgYA0KDQpUcm9uZyBi4buZIGThu68gbGnhu4d1IG7DoHkgY8OzIHThu5VuZyBj4buZbmcgMjMgdGjDoG5oIHBo4buRLiBUcm9uZyDEkcOzOg0KDQotIFRow6BuaCBwaOG7kSBjw7Mgc+G7kSBsxrDhu6NuZyBraMOhY2ggaMOgbmcgbmhp4buBdSBuaOG6pXQgbMOgIGByIGRmX3RoYW5ocGhvJENpdHlbMTNdYCB24bubaSBgciB0aGFuaHBob1sxM11gIG5nxrDhu51pIGNoaeG6v20gdOG7iSBs4buHIGByIGRmX3RoYW5ocGhvJExhYmVsWzEzXWAsDQoNCi0gVGnhur9wIHRoZW8gbMOgIGByIGRmX3RoYW5ocGhvJENpdHlbMTldYCB24bubaSBgciBkZl90aGFuaHBobyRMYWJlbFsxOV1gICwgYHIgZGZfdGhhbmhwaG8kQ2l0eVs4XWAgdsOgIGByIGRmX3RoYW5ocGhvJENpdHlbMTddYCB24bubaSB04buJIGzhu4cgbOG6p24gbMaw4bujdCBsw6AgYHIgZGZfdGhhbmhwaG8kTGFiZWxbOF1gIHbDoCBgciBkZl90aGFuaHBobyRMYWJlbFsxN11gLg0KDQpDw6FjIHRow6BuaCBwaOG7kSBjw7JuIGzhuqFpIGNoaeG6v20gdOG7tyBs4buHIG5o4buPIGjGoW4sIGRhbyDEkeG7mW5nIHThu6sgciBkZl90aGFuaHBobyRMYWJlbFs0XSDEkeG6v24gciBkZl90aGFuaHBobyRMYWJlbFsxMF0uDQoNCg0KIyMjIDYuIFN0YXRlb3JQcm92aW5jZQ0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBz4buRDQp0aW5oIDwtIHRhYmxlKGR0JFN0YXRlb3JQcm92aW5jZSkNCnRpbmgNCmBgYCANCg0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBzdeG6pXQNCnRhYmxlKGR0JFN0YXRlb3JQcm92aW5jZSkvc3VtKG5yb3coZHQpKQ0KYGBgDQpgYGB7cn0NCmxpYnJhcnkoZ2dwbG90MikNCg0KIyBDaHV54buDbiBzYW5nIGThuqFuZyBkYXRhIGZyYW1lDQpkZl90aW5oIDwtIGFzLmRhdGEuZnJhbWUodGluaCkNCmNvbG5hbWVzKGRmX3RpbmgpIDwtIGMoIlN0YXRlb3JQcm92aW5jZSIsICJDb3VudCIpDQoNCmRmX3RpbmgkUGVyY2VudCA8LSByb3VuZChkZl90aW5oJENvdW50IC8gc3VtKGRmX3RpbmgkQ291bnQpICogMTAwLCAxKQ0KZGZfdGluaCRMYWJlbCA8LSBwYXN0ZTAoZGZfdGluaCRQZXJjZW50LCAiJSIpDQoNCiMgVuG6vSBiaeG7g3UgxJHhu5MgY+G7mXQNCmdncGxvdChkZl90aW5oLCBhZXMoeCA9IFN0YXRlb3JQcm92aW5jZSwgeSA9IENvdW50LCBmaWxsID0gU3RhdGVvclByb3ZpbmNlKSkgKw0KICBnZW9tX2NvbCh3aWR0aCA9IDAuOCkgKw0KICBnZW9tX3RleHQoYWVzKGxhYmVsID0gQ291bnQpLCB2anVzdCA9IC0wLjUpICsNCiAgbGFicyh0aXRsZSA9ICJCaeG7g3UgxJHhu5MgNjogQmnhu4N1IMSR4buTIHBow6JuIGLhu5EgdGhlbyB04buJbmgiLA0KICAgICAgIHggPSAiVOG7iW5oIiwgDQogICAgICAgeSA9ICJT4buRIG5nxrDhu51pIiwNCiAgICAgICBmaWxsID0gIlN0YXRlb3JQcm92aW5jZSIpICsgDQogIHRoZW1lX21pbmltYWwoKSArDQogIHRoZW1lKA0KICAgIHBsb3QudGl0bGUgPSBlbGVtZW50X3RleHQoaGp1c3QgPSAwLjUsIGZhY2UgPSAiYm9sZCIsIHNpemUgPSAxNCksDQogICAgYXhpcy50ZXh0LnggPSBlbGVtZW50X2JsYW5rKCkpICMg4bqobiBjaOG7ryBkxrDhu5tpIHRy4bulYyBYDQpgYGANCg0KVHJvbmcgYuG7mSBk4buvIGxp4buHdSBuw6B5IGPDsyB04buVbmcgY+G7mW5nIDEwIHThu4luaC4gVHJvbmcgxJHDszoNCg0KLSBU4buJbmggY8OzIHPhu5EgbMaw4bujbmcga2jDoWNoIGjDoG5nIG5oaeG7gXUgbmjhuqV0IGzDoCBgciBkZl90aW5oJFN0YXRlb3JQcm92aW5jZVs4XWAgduG7m2kgYHIgdGluaFs4XWAgbmfGsOG7nWkgY2hp4bq/bSB04buJIGzhu4cgYHIgZGZfdGluaCRMYWJlbFs4XWAsDQoNCi0gVGnhur9wIHRoZW8gbMOgIGByIGRmX3RpbmgkU3RhdGVvclByb3ZpbmNlWzJdYCwgYHIgZGZfdGluaCRTdGF0ZW9yUHJvdmluY2VbNl1gIHbDoCBgciBkZl90aW5oJFN0YXRlb3JQcm92aW5jZVsxMF1gIHbhu5tpIHThu4kgbOG7hyBs4bqnbiBsxrDhu6N0IGzDoCBgciBkZl90aW5oJExhYmVsWzJdYCwgYHIgZGZfdGluaCRMYWJlbFs2XWAsIGByIGRmX3RpbmgkTGFiZWxbMTBdYC4NCg0KLSBDw6FjIHThu4luaCBjw7JuIGzhuqFpIGNoaeG6v20gdOG7tyBs4buHIG5o4buPIGjGoW4sIGRhbyDEkeG7mW5nIHThu6sgYHIgZGZfdGluaCRMYWJlbFs1XWAgxJHhur9uIGByIGRmX3RpbmgkTGFiZWxbM11gLg0KDQoNCiMjIyA3LiBDb3VudHJ5DQoNCmBgYHtyfQ0KIyBM4bqtcCBi4bqjbmcgdOG6p24gc+G7kQ0KcXVvY2dpYSA8LSB0YWJsZShkdCRDb3VudHJ5KQ0KcXVvY2dpYQ0KYGBgDQpgYGB7cn0NCiMgTOG6rXAgYuG6o25nIHThuqduIHN14bqldA0KdGFibGUoZHQkQ291bnRyeSkvc3VtKG5yb3coZHQpKQ0KYGBgDQoNCmBgYHtyfQ0KbGlicmFyeShnZ3Bsb3QyKQ0KIyBCxrDhu5tjIDE6IMSQxrBhIHbhu4EgZGF0YS5mcmFtZQ0KZGZfcXVvY2dpYSA8LSBhcy5kYXRhLmZyYW1lKHF1b2NnaWEpDQpjb2xuYW1lcyhkZl9xdW9jZ2lhKSA8LSBjKCJDb3VudHJ5IiwgIkNvdW50IikNCg0KIyBCxrDhu5tjIDI6IFTDrW5oIHBo4bqnbiB0csSDbSB2w6AgbmjDo24NCmRmX3F1b2NnaWEkUGVyY2VudCA8LSByb3VuZChkZl9xdW9jZ2lhJENvdW50IC8gc3VtKGRmX3F1b2NnaWEkQ291bnQpICogMTAwLCAxKQ0KZGZfcXVvY2dpYSRMYWJlbCA8LSBwYXN0ZTAoZGZfcXVvY2dpYSRQZXJjZW50LCAiJSIpDQoNCiMgQsaw4bubYyAzOiBW4bq9IGJp4buDdSDEkeG7kyB0csOybg0KZ2dwbG90KGRmX3F1b2NnaWEsIGFlcyh4ID0gIiIsIHkgPSBDb3VudCwgZmlsbCA9IENvdW50cnkpKSArDQogIGdlb21fYmFyKHN0YXQgPSAiaWRlbnRpdHkiLCB3aWR0aCA9IDEpICsNCiAgY29vcmRfcG9sYXIodGhldGEgPSAieSIpICsNCiAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IExhYmVsKSwgcG9zaXRpb24gPSBwb3NpdGlvbl9zdGFjayh2anVzdCA9IDAuNSkpICsNCiAgbGFicyh0aXRsZSA9ICJCaeG7g3UgxJHhu5MgNzogQmnhu4N1IMSR4buTIHRo4buDIGhp4buHbiBuxqFpIGPGsCB0csO6IHRoZW8gcXXhu5FjIGdpYSIpICsNCiAgdGhlbWVfdm9pZCgpICsNCiAgc2NhbGVfZmlsbF9tYW51YWwoDQogICAgdmFsdWVzID0gYygiYmVpZ2UiLCJkYXJrZ3JlZW4iLCJkYXJrcmVkIikNCiAgKSArDQogIHRoZW1lKHBsb3QudGl0bGUgPSBlbGVtZW50X3RleHQoaGp1c3QgPSAwLjUsIHNpemUgPSAxNCwgZmFjZSA9ICJib2xkIikpDQoNCmBgYA0KDQoNClbhuq15IHRyb25nIGLhu5kgZOG7ryBsaeG7h3UgbsOgeSBjw7MgDQoNCi0gYHIgcXVvY2dpYVsxXWAga2jDoWNoIGjDoG5nIMSR4bq/biB04burIHF14buRYyBnaWEgYHIgZGZfcXVvY2dpYSRDb3VudHJ5WzFdYCBjaGnhur9tIHThu4kgbOG7hyBgciBkZl9xdW9jZ2lhJExhYmVsWzFdYCwgIA0KLSBgciBxdW9jZ2lhWzJdYCBraMOhY2ggaMOgbmcgxJHhur9uIHThu6sgcXXhu5FjIGdpYSBgciBkZl9xdW9jZ2lhJENvdW50cnlbMl1gIGNoaeG6v20gdOG7iSBs4buHIGByIGRmX3F1b2NnaWEkTGFiZWxbMl1gLCAgDQotIGByIHF1b2NnaWFbM11gIGtow6FjaCBow6BuZyDEkeG6v24gdOG7qyBxdeG7kWMgZ2lhIGByIGRmX3F1b2NnaWEkQ291bnRyeVszXWAgY2hp4bq/bSB04buJIGzhu4cgYHIgZGZfcXVvY2dpYSRMYWJlbFszXWAuDQoNCg0KIyMjIDguIFByb2R1Y3RGYW1pbHkNCg0KYGBge3J9DQojIEzhuq1wIGLhuqNuZyB04bqnbiBz4buRDQpmYW1pbHkgPC0gdGFibGUoZHQkUHJvZHVjdEZhbWlseSkNCmZhbWlseQ0KYGBgDQoNCmBgYHtyfQ0KIyBM4bqtcCBi4bqjbmcgdOG6p24gc3XhuqV0DQp0YWJsZShkdCRQcm9kdWN0RmFtaWx5KS9zdW0obnJvdyhkdCkpDQpgYGANCg0KYGBge3J9DQojIFThuqFvIGLhuqNuZyB2w6AgxJHGsGEgduG7gSBk4bqhbmcgZGF0YS5mcmFtZQ0KZGZfZmFtaWx5IDwtIGFzLmRhdGEuZnJhbWUoZmFtaWx5KQ0KY29sbmFtZXMoZGZfZmFtaWx5KSA8LSBjKCJQcm9kdWN0RmFtaWx5IiwgIkNvdW50IikNCg0KIyBUw61uaCBwaOG6p24gdHLEg20gdsOgIG5ow6NuDQpkZl9mYW1pbHkkUGVyY2VudCA8LSByb3VuZChkZl9mYW1pbHkkQ291bnQgLyBzdW0oZGZfZmFtaWx5JENvdW50KSAqIDEwMCwgMSkNCmRmX2ZhbWlseSRMYWJlbCA8LSBwYXN0ZTAoZGZfZmFtaWx5JFBlcmNlbnQsICIlIikNCg0KIyBW4bq9IGJp4buDdSDEkeG7kyB0csOybg0KZ2dwbG90KGRmX2ZhbWlseSwgYWVzKHggPSAiIiwgeSA9IENvdW50LCBmaWxsID0gUHJvZHVjdEZhbWlseSkpICsNCiAgZ2VvbV9iYXIoc3RhdCA9ICJpZGVudGl0eSIsIHdpZHRoID0gMSkgKw0KICBjb29yZF9wb2xhcih0aGV0YSA9ICJ5IikgKw0KICBnZW9tX3RleHQoYWVzKGxhYmVsID0gTGFiZWwpLCBwb3NpdGlvbiA9IHBvc2l0aW9uX3N0YWNrKHZqdXN0ID0gMC41KSkgKw0KICBsYWJzKHRpdGxlID0gIkJp4buDdSDEkeG7kyA4OiBQaMOibiBi4buRIG5ow7NtIHPhuqNuIHBo4bqpbSIpICsNCiAgdGhlbWVfdm9pZCgpICsNCiAgdGhlbWUocGxvdC50aXRsZSA9IGVsZW1lbnRfdGV4dChoanVzdCA9IDAuNSwgc2l6ZSA9IDE0LCBmYWNlID0gImJvbGQiKSkNCg0KYGBgDQoNCg0KVuG6rXkgdHJvbmcgYuG7mSBk4buvIGxp4buHdSBuw6B5IGPDsw0KDQotIGByIGZhbWlseVsxXWAga2jDoWNoIGjDoG5nIG11YSBz4bqjbiBwaOG6qW0gdGh14buZYyBuaMOzbSBgciBkZl9mYW1pbHkkRmFtaWx5U3RhdHVzWzFdYCBjaGnhur9tIHThu4kgbOG7hyBgciBkZl9mYW1pbHkkTGFiZWxbMV1gLCAgDQotIGByIGZhbWlseVsyXWAga2jDoWNoIGjDoG5nIG11YSBz4bqjbiBwaOG6qW0gdGh14buZYyBuaMOzbSBgciBkZl9mYW1pbHkkRmFtaWx5U3RhdHVzWzJdYCBjaGnhur9tIHThu4kgbOG7hyBgciBkZl9mYW1pbHkkTGFiZWxbMl1gLCAgDQotIGByIGZhbWlseVszXWAga2jDoWNoIGjDoG5nIG11YSBz4bqjbiBwaOG6qW0gdGh14buZYyBuaMOzbSBgciBkZl9mYW1pbHkkRmFtaWx5U3RhdHVzWzNdYCBjaGnhur9tIHThu4kgbOG7hyBgciBkZl9mYW1pbHkkTGFiZWxbM11gLg0KDQoNCiMjIyA5LiBQcm9kdWN0RGVwYXJ0bWVudA0KDQpgYGB7cn0NCiMgTOG6rXAgYuG6o25nIHThuqduIHPhu5ENCmRlcGFydG1lbnQgPC0gdGFibGUoZHQkUHJvZHVjdERlcGFydG1lbnQpDQpkZXBhcnRtZW50DQpgYGANCg0KDQpgYGB7cn0NCiMgTOG6rXAgYuG6o25nIHThuqduIHN14bqldA0KdGFibGUoZHQkUHJvZHVjdERlcGFydG1lbnQpL3N1bShucm93KGR0KSkNCmBgYA0KDQpgYGB7cn0NCmxpYnJhcnkoZ2dwbG90MikNCg0KIyBDaHV54buDbiBzYW5nIGThuqFuZyBkYXRhIGZyYW1lDQpkZl9kZXBhcnRtZW50IDwtIGFzLmRhdGEuZnJhbWUoZGVwYXJ0bWVudCkNCmNvbG5hbWVzKGRmX2RlcGFydG1lbnQpIDwtIGMoIlByb2R1Y3REZXBhcnRtZW50IiwgIkNvdW50IikNCg0KZGZfZGVwYXJ0bWVudCRQZXJjZW50IDwtIHJvdW5kKGRmX2RlcGFydG1lbnQkQ291bnQgLyBzdW0oZGZfZGVwYXJ0bWVudCRDb3VudCkgKiAxMDAsIDEpDQpkZl9kZXBhcnRtZW50JExhYmVsIDwtIHBhc3RlMChkZl9kZXBhcnRtZW50JFBlcmNlbnQsICIlIikNCg0KIyBW4bq9IGJp4buDdSDEkeG7kyBj4buZdA0KZ2dwbG90KGRmX2RlcGFydG1lbnQsIGFlcyh4ID0gUHJvZHVjdERlcGFydG1lbnQsIHkgPSBDb3VudCwgZmlsbCA9IFByb2R1Y3REZXBhcnRtZW50KSkgKw0KICBnZW9tX2NvbCh3aWR0aCA9IDAuOCkgKw0KICBnZW9tX3RleHQoYWVzKGxhYmVsID0gQ291bnQpLCB2anVzdCA9IC0wLjUpICsNCiAgbGFicyh0aXRsZSA9ICJCaeG7g3UgxJHhu5MgOTogQmnhu4N1IMSR4buTIHBow6JuIGLhu5EgYuG7mSBwaOG6rW4gc+G6o24gcGjhuqltIiwNCiAgICAgICB4ID0gIkPDoWMgYuG7mSBwaOG6rW4gc+G6o24gcGjhuqltIiwgDQogICAgICAgeSA9ICJT4buRIG5nxrDhu51pIiwNCiAgICAgICBmaWxsID0gIlByb2R1Y3REZXBhcnRtZW50IikgKyANCiAgdGhlbWVfbWluaW1hbCgpICsNCiAgdGhlbWUoDQogICAgcGxvdC50aXRsZSA9IGVsZW1lbnRfdGV4dChoanVzdCA9IDAuNSwgZmFjZSA9ICJib2xkIiwgc2l6ZSA9IDE0KSwNCiAgICBheGlzLnRleHQueCA9IGVsZW1lbnRfYmxhbmsoKSwgIyDhuqhuIG5ow6NuIGTGsOG7m2kgdHLhu6VjIFggbuG6v3UgY+G6p24NCiAgICBsZWdlbmQucG9zaXRpb24gPSAiYm90dG9tIg0KICApDQoNCmBgYA0KDQpUcm9uZyBi4buZIGThu68gbGnhu4d1IG7DoHkgY8OzIHThu5VuZyBj4buZbmcgMjIgYuG7mSBwaOG6rW4gc+G6o24gcGjhuqltLiBUcm9uZyDEkcOzOg0KDQrwn5S2IE5ow7NtIGLhu5kgcGjhuq1uIHPhuqNuIHBo4bqpbSBjw7Mgc+G7kSBsxrDhu6NuZyBraMOhY2ggaMOgbmcgbmhp4buBdSBuaOG6pXQgZ+G7k206DQoNCmByIGRmX2RlcGFydG1lbnQkUHJvZHVjdERlcGFydG1lbnRbMThdYCB24bubaSBgciBkZXBhcnRtZW50WzE4XWAgbmfGsOG7nWkgY2hp4bq/bSB04bu3IGzhu4cgYHIgZGZfZGVwYXJ0bWVudCRMYWJlbFsxOF1gLA0KDQpgciBkZl9kZXBhcnRtZW50JFByb2R1Y3REZXBhcnRtZW50WzIwXWAgduG7m2kgYHIgZGVwYXJ0bWVudFsyMF1gIG5nxrDhu51pIGNoaeG6v20gdOG7tyBs4buHIGByIGRmX2RlcGFydG1lbnQkTGFiZWxbMjBdYC4NCg0K8J+foCBOaMOzbSBi4buZIHBo4bqtbiBz4bqjbiBwaOG6qW0gY8OzIHPhu5EgbMaw4bujbmcga2jDoWNoIGjDoG5nIHRydW5nIGLDrG5oIGfhu5NtOg0KDQpgciBkZl9kZXBhcnRtZW50JFByb2R1Y3REZXBhcnRtZW50WzE1XWAsYHIgZGZfZGVwYXJ0bWVudCRQcm9kdWN0RGVwYXJ0bWVudFsxM11gLCBgciBkZl9kZXBhcnRtZW50JFByb2R1Y3REZXBhcnRtZW50WzNdYCwgYHIgZGZfZGVwYXJ0bWVudCRQcm9kdWN0RGVwYXJ0bWVudFs2XWAsIGByIGRmX2RlcGFydG1lbnQkUHJvZHVjdERlcGFydG1lbnRbMTBdYCwgYHIgZGZfZGVwYXJ0bWVudCRQcm9kdWN0RGVwYXJ0bWVudFsxNF1gIHbhu5tpIHThu4kgbOG7hyBnaWFvIMSR4buZbmcgdOG7qyAgYHIgZGZfZGVwYXJ0bWVudCRMYWJlbFsxNF1gIMSR4bq/biBgciBkZl9kZXBhcnRtZW50JExhYmVsWzE1XWAuDQoNCvCfn6IgTmjDs20gYuG7mSBwaOG6rW4gc+G6o24gcGjhuqltIGPDsyBz4buRIGzGsOG7o25nIGtow6FjaCBow6BuZyDDrXQgbmjhuqV0IGfhu5NtOg0KDQpDw6FjIGLhu5kgcGjhuq1uIHPhuqNuIHBo4bqpbSBjw7JuIGzhuqFpIHbhu5tpIHPhu5Ega2jDoWNoIGjDoG5nIHLhuqV0IMOtdCBnaWFvIMSR4buZbmcg4bufIG3hu6ljIGByIGRmX2RlcGFydG1lbnQkTGFiZWxbOF1gIMSR4bq/biBgciBkZl9kZXBhcnRtZW50JExhYmVsWzRdYC4NCg0KDQojIyMgMTAuIFByb2R1Y3RDYXRlZ29yeQ0KDQpgYGB7cn0NCiMgTOG6rXAgYuG6o25nIHThuqduIHPhu5ENCmNhdGVnb3J5IDwtIHRhYmxlKGR0JFByb2R1Y3RDYXRlZ29yeSkNCmNhdGVnb3J5DQpgYGANCmBgYHtyfQ0KIyBM4bqtcCBi4bqjbmcgdOG6p24gc3XhuqV0DQp0YWJsZShkdCRQcm9kdWN0Q2F0ZWdvcnkpL3N1bShucm93KGR0KSkNCmBgYA0KDQpgYGB7cn0NCmxpYnJhcnkoZ2dwbG90MikNCg0KIyDEkMawYSBk4buvIGxp4buHdSB24buBIGThuqFuZyBkYXRhIGZyYW1lDQpkZl9jYXRlZ29yeSA8LSBhcy5kYXRhLmZyYW1lKGNhdGVnb3J5KQ0KY29sbmFtZXMoZGZfY2F0ZWdvcnkpIDwtIGMoIlByb2R1Y3RDYXRlZ29yeSIsICJDb3VudCIpDQoNCiMgVuG6vSBiaeG7g3UgxJHhu5MgduG7m2kgbmhp4buBdSBtw6B1DQpnZ3Bsb3QoZGZfY2F0ZWdvcnksIGFlcyh4ID0gcmVvcmRlcihQcm9kdWN0Q2F0ZWdvcnksIENvdW50KSwgeSA9IENvdW50LCBmaWxsID0gUHJvZHVjdENhdGVnb3J5KSkgKw0KICBnZW9tX2NvbCgpICsNCiAgY29vcmRfZmxpcCgpICsNCiAgbGFicyh0aXRsZSA9ICJCaeG7g3UgxJHhu5MgMTA6IFThuqduIHN14bqldCBnaWFvIGThu4tjaCB0aGVvIFByb2R1Y3QgQ2F0ZWdvcnkiLA0KICAgICAgIHggPSAiTG/huqFpIHPhuqNuIHBo4bqpbSIsDQogICAgICAgeSA9ICJT4buRIGdpYW8gZOG7i2NoIikgKw0KICB0aGVtZV9taW5pbWFsKCkgKw0KICB0aGVtZSgNCiAgICBwbG90LnRpdGxlID0gZWxlbWVudF90ZXh0KGhqdXN0ID0gMC41LCBmYWNlID0gImJvbGQiLCBzaXplID0gMTQpLA0KICAgIGxlZ2VuZC5wb3NpdGlvbiA9ICJub25lIiAgIyDhuqhuIGNow7ogdGjDrWNoIG3DoHUgbuG6v3Uga2jDtG5nIGPhuqduDQogICkNCg0KYGBgDQoNCg0KDQoNCg0KDQojIyBQaOG6p24gMzogxq/hu5tjIGzGsOG7o25nIEtob+G6o25nIHbDoCBLaeG7g20gxJHhu4tuaCBHaeG6oyB0aHV54bq/dCBjaG8gVOG7tyBs4buHIChN4buZdCBiaeG6v24pDQoNCiMjIyAzLjEuIEdlbmRlciAoRmVtYWxlKQ0KDQoNCktp4buDbSDEkeG7i25oIGdp4bqjIHRodXnhur90Og0KSDA6IHThu7cgbOG7hyBGZW1hbGUgPSAwLjUNCg0KSDE6IHThu7cgbOG7hyBGZW1hbGUg4omgIDAuNQ0KDQpgYGB7cn0NCg0KIyBM4bqleSBz4buRIGzGsOG7o25nIEZlbWFsZSB2w6AgdOG7lW5nIHPhu5EgcXVhbiBzw6F0DQpjb3VudF9mZW1hbGUgPC0gZ2lvaXRpbmhbIkYiXQ0KbiA8LSBzdW0oZ2lvaXRpbmgpDQoNCiMgMS4gxq/hu5tjIGzGsOG7o25nIGtob+G6o25nIHRpbiBj4bqteSA5NSUgY2hvIHThu7cgbOG7hyBGZW1hbGUNCnByb3AudGVzdF9mZW1hbGUgPC0gcHJvcC50ZXN0KGNvdW50X2ZlbWFsZSwgbiwgY29uZi5sZXZlbCA9IDAuOTUpDQoNCiMgS+G6v3QgcXXhuqMga2hv4bqjbmcgdGluIGPhuq15DQpjYXQoIktob+G6o25nIHRpbiBj4bqteSA5NSUgY2hvIHThu7cgbOG7hyBGZW1hbGUgbMOgOiAiLA0KICAgIHJvdW5kKHByb3AudGVzdF9mZW1hbGUkY29uZi5pbnRbMV0sMyksICIgxJHhur9uICIsIHJvdW5kKHByb3AudGVzdF9mZW1hbGUkY29uZi5pbnRbMl0sMyksICJcbiIpDQoNCiMgMi4gS2nhu4NtIMSR4buLbmggZ2nhuqMgdGh1eeG6v3QgSDA6IHAgPSAwLjUNCiMgcHJvcC50ZXN0IGPFqW5nIHRy4bqjIGx1w7RuIHAtdmFsdWUNCmNhdCgiR2nDoSB0cuG7iyBwIGPhu6dhIGtp4buDbSDEkeG7i25oIGzDoDogIiwgcHJvcC50ZXN0X2ZlbWFsZSRwLnZhbHVlLCAiXG4iKQ0KDQppZiAocHJvcC50ZXN0X2ZlbWFsZSRwLnZhbHVlIDwgMC4wNSkgew0KICBjYXQoIj0+IELDoWMgYuG7jyBIMCwgdOG7tyBs4buHIEZlbWFsZSBraMOhYyAwLjUgduG7m2kgbeG7qWMgw70gbmdoxKlhIDAuMDVcbiIpDQp9IGVsc2Ugew0KICBjYXQoIj0+IEtow7RuZyBiw6FjIGLhu48gSDAsIGtow7RuZyBjw7MgxJHhu6cgYuG6sW5nIGNo4bupbmcgxJHhu4Mga2jhurNuZyDEkeG7i25oIHThu7cgbOG7hyBGZW1hbGUga2jDoWMgMC41XG4iKQ0KfQ0KDQpgYGANCiMjIyAzLjIuIEhvbWVvd25lcg0KDQpgYGB7cn0NCg0KIyBM4bqleSBz4buRIG5nxrDhu51pIGPDsyBuaMOgICgiWSIpDQpjb3VudF95ZXMgPC0gbmhhWyJZIl0NCm5faG9tZSA8LSBzdW0obmhhKQ0KDQojIFTDrW5oIGtob+G6o25nIHRpbiBj4bqteSA5NSUNCnByb3AudGVzdF95ZXMgIDwtIHByb3AudGVzdChjb3VudF95ZXMsIG5faG9tZSwgY29uZi5sZXZlbCA9IDAuOTUpDQoNCiMgS+G6v3QgcXXhuqMga2hv4bqjbmcgdGluIGPhuq15DQpjYXQoIktob+G6o25nIHRpbiBj4bqteSA5NSUgY2hvIHThu7cgbOG7hyBuZ8aw4budaSBjw7MgbmjDoDpcbiIpDQpjYXQoIlThu6siLCByb3VuZChwcm9wLnRlc3RfeWVzJGNvbmYuaW50WzFdLCAzKSwgIsSR4bq/biIsIHJvdW5kKHByb3AudGVzdF95ZXMkY29uZi5pbnRbMl0sIDMpLCAiXG4iKQ0KY2F0KCJU4bu3IGzhu4cgxrDhu5tjIGzGsOG7o25nOiIsIHJvdW5kKHByb3AudGVzdF95ZXMkZXN0aW1hdGUsIDMpLCAiXG5cbiIpDQoNCiMgS2nhu4NtIMSR4buLbmggSOKCgDogcCA9IDAuNSAodOG7tyBs4buHIG5nxrDhu51pIGPDsyBuaMOgIGLhurFuZyA1MCUpDQp0ZXN0X2hvbWUgPC0gcHJvcC50ZXN0KGNvdW50X3llcywgbl9ob21lLCBwID0gMC41LCBjb25mLmxldmVsID0gMC45NSkNCg0KIyBL4bq/dCBxdeG6oyBraeG7g20gxJHhu4tuaA0KY2F0KCJL4bq/dCBxdeG6oyBraeG7g20gxJHhu4tuaCBnaeG6oyB0aHV54bq/dCBIMDogdOG7tyBs4buHIG5nxrDhu51pIGPDsyBuaMOgID0gMC41XG4iKQ0KY2F0KCJHacOhIHRy4buLIHAtdmFsdWU6Iiwgcm91bmQodGVzdF9ob21lJHAudmFsdWUsIDQpLCAiXG4iKQ0KDQppZiAodGVzdF9ob21lJHAudmFsdWUgPCAwLjA1KSB7DQogIGNhdCgiPT4gQsOhYyBi4buPIEgwOiBU4bu3IGzhu4cgbmfGsOG7nWkgY8OzIG5ow6Aga2jDoWMgMC41IChjw7Mgw70gbmdoxKlhIHRo4buRbmcga8OqIOG7nyBt4bupYyA1JSlcbiIpDQp9IGVsc2Ugew0KICBjYXQoIj0+IEtow7RuZyBiw6FjIGLhu48gSDA6IEtow7RuZyBjw7MgxJHhu6cgYuG6sW5nIGNo4bupbmcgxJHhu4Mga+G6v3QgbHXhuq1uIHThu7cgbOG7hyBuZ8aw4budaSBjw7MgbmjDoCBraMOhYyAwLjVcbiIpDQp9DQoNCmBgYA0KDQoNCiMjIyAzLjMuIE1hcml0YWxTdGF0dXMNCg0KDQpgYGB7cn0NCmNvdW50X21hcnJpZWQgPC0gaG9ubmhhblsiTSJdDQpuX21hcml0YWwgPC0gc3VtKGhvbm5oYW4pDQoNCg0KcHJvcC50ZXN0X21hcnJpZWQgPC0gcHJvcC50ZXN0KGNvdW50X21hcnJpZWQsIG5fbWFyaXRhbCwgY29uZi5sZXZlbCA9IDAuOTUpDQoNCmNhdCgiS2hv4bqjbmcgdGluIGPhuq15IDk1JSBjaG8gdOG7tyBs4buHIG5nxrDhu51pIMSRw6Mga+G6v3QgaMO0bjpcbiIpDQpjYXQoIlThu6siLCByb3VuZChwcm9wLnRlc3RfbWFycmllZCRjb25mLmludFsxXSwgMyksICLEkeG6v24iLCByb3VuZChwcm9wLnRlc3RfbWFycmllZCRjb25mLmludFsyXSwgMyksICJcbiIpDQpjYXQoIlThu7cgbOG7hyDGsOG7m2MgbMaw4bujbmc6Iiwgcm91bmQocHJvcC50ZXN0X21hcnJpZWQkZXN0aW1hdGUsIDMpLCAiXG5cbiIpDQoNCnRlc3RfbWFycmllZCA8LSBwcm9wLnRlc3QoY291bnRfbWFycmllZCwgbl9tYXJpdGFsLCBwID0gMC41LCBjb25mLmxldmVsID0gMC45NSkNCg0KY2F0KCJL4bq/dCBxdeG6oyBraeG7g20gxJHhu4tuaCANCmdp4bqjIHRodXnhur90IEgwOiB04bu3IGzhu4cgbmfGsOG7nWkgxJHDoyBr4bq/dCBow7RuID0gMC41XG4iLA0KICAgICJnaeG6oyB0aHV54bq/dCBIMTogdOG7tyBs4buHIG5nxrDhu51pIMSRw6Mga+G6v3QgaMO0biDiiaAgMC41XG4iKQ0KY2F0KCJHacOhIHRy4buLIHAtdmFsdWU6Iiwgcm91bmQodGVzdF9tYXJyaWVkJHAudmFsdWUsIDQpLCAiXG4iKQ0KDQppZiAodGVzdF9tYXJyaWVkJHAudmFsdWUgPCAwLjA1KSB7DQogIGNhdCgiPT4gQsOhYyBi4buPIEgwOiBU4bu3IGzhu4cgbmfGsOG7nWkgxJHDoyBr4bq/dCBow7RuIGtow6FjIDAuNSAoY8OzIMO9IG5naMSpYSB0aOG7kW5nIGvDqiDhu58gbeG7qWMgNSUpXG4iKQ0KfSBlbHNlIHsNCiAgY2F0KCI9PiBLaMO0bmcgYsOhYyBi4buPIEgwOiBLaMO0bmcgY8OzIMSR4bunIGLhurFuZyBjaOG7qW5nIMSR4buDIGvhur90IGx14bqtbiB04bu3IGzhu4cgbmfGsOG7nWkgxJHDoyBr4bq/dCBow7RuIGtow6FjIDAuNVxuIikNCn0NCg0KDQpgYGANCg0KIyMgUGjhuqduIDQ6IFBow6JuIHTDrWNoIG3hu5FpIHF1YW4gaOG7hyBnaeG7r2EgaGFpIGJp4bq/biDEkOG7i25oIHTDrW5oIA0KDQojIyMgNC4xLiBN4buRaSBxdWFuIGjhu4cgZ2nhu69hIEdlbmRlciB2w6AgSG9tZW93bmVyDQoNCmBgYHtyfQ0KIyBC4bqjbmcgdOG6p24gc3XhuqV0IGNow6lvIGdp4buvYSBHZW5kZXIgdsOgIEhvbWVvd25lcg0KdGFibGVfZ2VuZGVyX2hvbWUgPC0gdGFibGUoZHQkR2VuZGVyLCBkdCRIb21lb3duZXIpDQp0YWJsZV9nZW5kZXJfaG9tZQ0KYGBgDQpgYGB7cn0NCiMgVOG7tyBs4buHIHBo4bqnbiB0csSDbSB0aGVvIGjDoG5nICh0cm9uZyB04burbmcgZ2nhu5tpIHTDrW5oLCBjw7MgbmjDoCBjaGnhur9tIGJhbyBuaGnDqnUgJSkNCnByb3BfZ2VuZGVyX2hvbWVfcm93IDwtIHByb3AudGFibGUodGFibGVfZ2VuZGVyX2hvbWUsIDEpICogMTAwDQpyb3VuZChwcm9wX2dlbmRlcl9ob21lX3JvdywgMikNCg0KYGBgDQoNCmBgYHtyfQ0KbGlicmFyeShnZ3Bsb3QyKQ0KDQojIENodXnhu4NuIGLhuqNuZyBzYW5nIGRhdGEgZnJhbWUNCmRmX2dlbmRlcl9ob21lIDwtIGFzLmRhdGEuZnJhbWUodGFibGVfZ2VuZGVyX2hvbWUpDQpjb2xuYW1lcyhkZl9nZW5kZXJfaG9tZSkgPC0gYygiR2VuZGVyIiwgIkhvbWVvd25lciIsICJDb3VudCIpDQoNCiMgVuG6vSBiaeG7g3UgxJHhu5MgY+G7mXQgbmjDs20NCmdncGxvdChkZl9nZW5kZXJfaG9tZSwgYWVzKHggPSBHZW5kZXIsIHkgPSBDb3VudCwgZmlsbCA9IEhvbWVvd25lcikpICsNCiAgZ2VvbV9iYXIoc3RhdCA9ICJpZGVudGl0eSIsIHBvc2l0aW9uID0gImRvZGdlIikgKw0KICBsYWJzKHRpdGxlID0gIk3hu5FpIHF1YW4gaOG7hyBnaeG7r2EgR2VuZGVyIHbDoCBIb21lb3duZXIiLA0KICAgICAgIHggPSAiR2VuZGVyIiwgeSA9ICJT4buRIGzGsOG7o25nIiwgZmlsbCA9ICJIb21lb3duZXIiKSArDQogIHRoZW1lX21pbmltYWwoKQ0KDQpgYGANCg0KDQpgYGB7cn0NCmNoaV9nZW5kZXJfaG9tZSA8LSBjaGlzcS50ZXN0KHRhYmxlX2dlbmRlcl9ob21lKQ0KY2hpX2dlbmRlcl9ob21lDQpjYXQoIkdpw6EgdHLhu4sgQ2hpLXNxdWFyZWQ6Iiwgcm91bmQoY2hpX2dlbmRlcl9ob21lJHN0YXRpc3RpYywgMiksICJcbiIpDQpjYXQoIkLhuq1jIHThu7EgZG86IiwgY2hpX2dlbmRlcl9ob21lJHBhcmFtZXRlciwgIlxuIikNCmNhdCgiUC12YWx1ZToiLCByb3VuZChjaGlfZ2VuZGVyX2hvbWUkcC52YWx1ZSwgNCksICJcbiIpDQoNCmBgYA0KYGBge3J9DQppZiAoY2hpX2dlbmRlcl9ob21lJHAudmFsdWUgPCAwLjA1KSB7DQogIGNhdCgiPT4gQsOhYyBi4buPIEgwOiBDw7MgbeG7kWkgbGnDqm4gaOG7hyBjw7Mgw70gbmdoxKlhIHRo4buRbmcga8OqIGdp4buvYSBHZW5kZXIgdsOgIEhvbWVvd25lclxuIikNCn0gZWxzZSB7DQogIGNhdCgiPT4gS2jDtG5nIGLDoWMgYuG7jyBIMDogS2jDtG5nIGPDsyBi4bqxbmcgY2jhu6luZyB0aOG7kW5nIGvDqiB24buBIG3hu5FpIGxpw6puIGjhu4cgZ2nhu69hIEdlbmRlciB2w6AgSG9tZW93bmVyXG4iKQ0KfQ0KDQpgYGANCg0KIyMjIDQuMi4gTWFyaXRhbFN0YXR1cyB2w6AgSG9tZW93bmVyDQoNCmBgYHtyfQ0KIyBC4bqjbmcgdOG6p24gc3XhuqV0IGNow6lvIGdp4buvYSBNYXJpdGFsU3RhdHVzIHbDoCBIb21lb3duZXINCnRhYmxlX21hcml0YWxfaG9tZSA8LSB0YWJsZShkdCRNYXJpdGFsU3RhdHVzLCBkdCRIb21lb3duZXIpDQp0YWJsZV9tYXJpdGFsX2hvbWUNCg0KYGBgDQoNCmBgYHtyfQ0KIyBU4bu3IGzhu4cgcGjhuqduIHRyxINtIHRoZW8gaMOgbmcNCnByb3BfbWFyaXRhbF9ob21lX3JvdyA8LSBwcm9wLnRhYmxlKHRhYmxlX21hcml0YWxfaG9tZSwgMSkgKiAxMDANCnJvdW5kKHByb3BfbWFyaXRhbF9ob21lX3JvdywgMikNCg0KYGBgDQoNCmBgYHtyfQ0KbGlicmFyeShnZ3Bsb3QyKQ0KDQojIENodXnhu4NuIHNhbmcgZGF0YSBmcmFtZQ0KZGZfbWFyaXRhbF9ob21lIDwtIGFzLmRhdGEuZnJhbWUodGFibGVfbWFyaXRhbF9ob21lKQ0KY29sbmFtZXMoZGZfbWFyaXRhbF9ob21lKSA8LSBjKCJNYXJpdGFsU3RhdHVzIiwgIkhvbWVvd25lciIsICJDb3VudCIpDQoNCiMgVuG6vSBiaeG7g3UgxJHhu5MNCmdncGxvdChkZl9tYXJpdGFsX2hvbWUsIGFlcyh4ID0gTWFyaXRhbFN0YXR1cywgeSA9IENvdW50LCBmaWxsID0gSG9tZW93bmVyKSkgKw0KICBnZW9tX2JhcihzdGF0ID0gImlkZW50aXR5IiwgcG9zaXRpb24gPSAiZG9kZ2UiKSArDQogIGxhYnModGl0bGUgPSAiTeG7kWkgcXVhbiBo4buHIGdp4buvYSBNYXJpdGFsU3RhdHVzIHbDoCBIb21lb3duZXIiLA0KICAgICAgIHggPSAiVMOsbmggdHLhuqFuZyBow7RuIG5ow6JuIiwgeSA9ICJT4buRIGzGsOG7o25nIiwgZmlsbCA9ICJDw7MgbmjDoCIpICsNCiAgdGhlbWVfbWluaW1hbCgpDQoNCmBgYA0KDQpgYGB7cn0NCmNoaV9tYXJpdGFsX2hvbWUgPC0gY2hpc3EudGVzdCh0YWJsZV9tYXJpdGFsX2hvbWUpDQpjaGlfbWFyaXRhbF9ob21lDQoNCmBgYA0KIyMjIDQuMy4NCg0KYGBge3J9DQojIFThuqFvIGLhuqNuZyB04bqnbiBzdeG6pXQgY2jDqW8gZ2nhu69hIEdlbmRlciB2w6AgTWFyaXRhbFN0YXR1cw0KdGFibGVfZ2VuZGVyX21hcml0YWwgPC0gdGFibGUoZHQkR2VuZGVyLCBkdCRNYXJpdGFsU3RhdHVzKQ0KdGFibGVfZ2VuZGVyX21hcml0YWwNCg0KYGBgDQoNCg0KYGBge3J9DQojIFRoZW8gaMOgbmc6IHRyb25nIHThu6tuZyBnaeG7m2kgdMOtbmgsIHThu4kgbOG7hyB04burbmcgdMOsbmggdHLhuqFuZyBow7RuIG5ow6JuDQpwcm9wX2dlbmRlcl9tYXJpdGFsX3JvdyA8LSBwcm9wLnRhYmxlKHRhYmxlX2dlbmRlcl9tYXJpdGFsLCAxKSAqIDEwMA0Kcm91bmQocHJvcF9nZW5kZXJfbWFyaXRhbF9yb3csIDIpDQoNCmBgYA0KDQpgYGB7cn0NCmxpYnJhcnkoZ2dwbG90MikNCg0KZGZfZ2VuZGVyX21hcml0YWwgPC0gYXMuZGF0YS5mcmFtZSh0YWJsZV9nZW5kZXJfbWFyaXRhbCkNCmNvbG5hbWVzKGRmX2dlbmRlcl9tYXJpdGFsKSA8LSBjKCJHZW5kZXIiLCAiTWFyaXRhbFN0YXR1cyIsICJDb3VudCIpDQoNCmdncGxvdChkZl9nZW5kZXJfbWFyaXRhbCwgYWVzKHggPSBHZW5kZXIsIHkgPSBDb3VudCwgZmlsbCA9IE1hcml0YWxTdGF0dXMpKSArDQogIGdlb21fYmFyKHN0YXQgPSAiaWRlbnRpdHkiLCBwb3NpdGlvbiA9ICJmaWxsIikgKyAgIyBob+G6t2MgImRvZGdlIiBu4bq/dSBtdeG7kW4gc+G7kSBsxrDhu6NuZw0KICBsYWJzKHRpdGxlID0gIlThu7cgbOG7hyBNYXJpdGFsU3RhdHVzIHRoZW8gR2VuZGVyIiwNCiAgICAgICB4ID0gIkdlbmRlciIsIHkgPSAiVOG7tyBs4buHIiwgZmlsbCA9ICJUw6xuaCB0cuG6oW5nIGjDtG4gbmjDom4iKSArDQogIHNjYWxlX3lfY29udGludW91cyhsYWJlbHMgPSBzY2FsZXM6OnBlcmNlbnQpICsNCiAgdGhlbWVfbWluaW1hbCgpDQoNCmBgYA0KDQpgYGB7cn0NCmNoaV9nZW5kZXJfbWFyaXRhbCA8LSBjaGlzcS50ZXN0KHRhYmxlX2dlbmRlcl9tYXJpdGFsKQ0KY2hpX2dlbmRlcl9tYXJpdGFsDQoNCmBgYA0KDQpgYGB7cn0NCmNhdCgiR2nDoSB0cuG7iyBDaGktc3F1YXJlZDoiLCByb3VuZChjaGlfZ2VuZGVyX21hcml0YWwkc3RhdGlzdGljLCAyKSwgIlxuIikNCmNhdCgiQuG6rWMgdOG7sSBkbzoiLCBjaGlfZ2VuZGVyX21hcml0YWwkcGFyYW1ldGVyLCAiXG4iKQ0KY2F0KCJQLXZhbHVlOiIsIHJvdW5kKGNoaV9nZW5kZXJfbWFyaXRhbCRwLnZhbHVlLCA0KSwgIlxuIikNCg0KaWYgKGNoaV9nZW5kZXJfbWFyaXRhbCRwLnZhbHVlIDwgMC4wNSkgew0KICBjYXQoIj0+IELDoWMgYuG7jyBI4oKAOiBDw7MgbeG7kWkgbGnDqm4gaOG7hyBjw7Mgw70gbmdoxKlhIHRo4buRbmcga8OqIGdp4buvYSBHZW5kZXIgdsOgIE1hcml0YWxTdGF0dXNcbiIpDQp9IGVsc2Ugew0KICBjYXQoIj0+IEtow7RuZyBiw6FjIGLhu48gSOKCgDogS2jDtG5nIGPDsyBi4bqxbmcgY2jhu6luZyB0aOG7kW5nIGvDqiB24buBIG3hu5FpIGxpw6puIGjhu4cgZ2nhu69hIEdlbmRlciB2w6AgTWFyaXRhbFN0YXR1c1xuIikNCn0NCg0KYGBgDQoNCg==