PHẦN 1: TÌM HIỂU VÀ CHUẨN BỊ DỮ LIỆU

1.1 ĐỌC DỮ LIỆU

  • Tệp Supermarket Transactions được lưu dưới định dạng csv. Đọc bộ dữ liệu này vào phần mềm R

  • Sau khi đọc, bộ dữ liệu được gán vào biến data để dễ dàng thao tác.

1.1.1 Đọc file dữ liệu gốc

data <- read.csv("~/Downloads/Supermarket Transactions.csv", header = T)

1.1.2 Lựa chọn các biến định tính

Giải thích:

  • c(““): tạo vecto
  • dat <- data[, dldt]: lấy trong bộ dữ liệu data các cột trong dldt vừa tạo ra (các biến định tính), và lấy tất cả các hàng (full quan sát)
# Chọn các biến định tính
dldt <- c("Gender", "MaritalStatus", "Homeowner", "AnnualIncome", "City", "StateorProvince", "Country", "ProductFamily", "ProductDepartment", "ProductCategory")

# Tạo bộ dữ liệu mới chỉ chứa định tính
dat <- data[, dldt]

1.2. TỔNG QUAN VỀ DỮ LIỆU

1.2.1 Nội dung dữ liệu

  • Bộ dữ liệu Supermarket Transactions này gồm 14,059 giao dịch mua hàng tại siêu thị, với các thông tin liên quan đến khách hàng và sản phẩm bao gồm mã định danh khách hàng và các thông tin liên quan, vị trí địa lý, chi tiết các sản phẩm được mua.

  • Dữ liệu này có thể được sử dụng để phân tích hành vi mua sắm của khách hàng, phân khúc thị trường, hoặc đánh giá hiệu quả kinh doanh theo từng sản phẩm, từng khu vực và từng nhóm đối tượng.

1.2.2 Danh sách các biến và mô tả

Cấu trúc bộ dữ liệu Supermarket Transactions

str(data)
## '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 ...
  • Nhưng với yêu cầu chỉ sử dụng các biến định tính để phân tính nên chúng ta chỉ quan tâm đến các biến như sau :

    • Gender: Giới tính (F - Nữ, M - Nam)
    • MaritalStatus: Tình trạng hôn nhân (S - Độc thân, M - Đã kết hôn)
    • Homeowner: Có sở hữu nhà hay không (Y - Có, N - Không)
    • AnnualIncome: Thu nhập hàng năm (được biểu thị dưới dạng các khoảng)
    • City, StateorProvince, Country: Thông tin địa lý
    • ProductFamily, ProductDepartment, ProductCategory: Phân loại sản phẩm

1.2.3 Số biến và số quan sát

dim(dat)
## [1] 14059    10
  • Bộ dữ liệu dat chứa tổng cộng 14.059 quan sát cùng với 10 biến đặc trưng tương ứng là biến định tính.
  • Mỗi quan sát sẽ tưởng ứng với mỗi giao dịch mua hàng tại siêu thị.

1.2.4 Hiển thị dữ liệu

1.2.4.1 Hiển thị vài dòng đầu
head(dat)
##   Gender MaritalStatus Homeowner  AnnualIncome          City StateorProvince
## 1      F             S         Y   $30K - $50K   Los Angeles              CA
## 2      M             M         Y   $70K - $90K   Los Angeles              CA
## 3      F             M         N   $50K - $70K     Bremerton              WA
## 4      M             M         Y   $30K - $50K      Portland              OR
## 5      F             S         Y $130K - $150K Beverly Hills              CA
## 6      F             M         Y   $10K - $30K Beverly Hills              CA
##   Country ProductFamily ProductDepartment      ProductCategory
## 1     USA          Food       Snack Foods          Snack Foods
## 2     USA          Food           Produce           Vegetables
## 3     USA          Food       Snack Foods          Snack Foods
## 4     USA          Food            Snacks                Candy
## 5     USA         Drink         Beverages Carbonated Beverages
## 6     USA          Food              Deli          Side Dishes
1.2.4.2 Hiển thị vài dòng cuối
tail(dat)
##       Gender MaritalStatus Homeowner AnnualIncome        City StateorProvince
## 14054      F             M         N  $10K - $30K      Yakima              WA
## 14055      F             M         Y  $10K - $30K   Bremerton              WA
## 14056      F             M         Y  $10K - $30K Walla Walla              WA
## 14057      M             S         Y  $30K - $50K    Portland              OR
## 14058      F             S         N  $50K - $70K     Spokane              WA
## 14059      M             S         N  $50K - $70K    Portland              OR
##       Country  ProductFamily ProductDepartment      ProductCategory
## 14054     USA Non-Consumable         Household       Paper Products
## 14055     USA           Food      Baking Goods         Baking Goods
## 14056     USA           Food      Frozen Foods           Vegetables
## 14057     USA          Drink         Beverages Pure Juice Beverages
## 14058     USA          Drink             Dairy                Dairy
## 14059     USA Non-Consumable         Household           Electrical

1.2.5 Kiểm tra dữ liệu

1.2.5.1 Kiểm tra số lượng NA trong cột định tính

Giải thích:

sapply(dat, …): áp dụng hàm cho từng cột trong dữ liệu dat.

sum(is.na(x)): đếm số lượng NA trong từng cột.

# Kiểm tra số lượng NA trong mỗi cột định tính
na_counts <- sapply(dat, function(x) sum(is.na(x)))
na_counts
##            Gender     MaritalStatus         Homeowner      AnnualIncome 
##                 0                 0                 0                 0 
##              City   StateorProvince           Country     ProductFamily 
##                 0                 0                 0                 0 
## ProductDepartment   ProductCategory 
##                 0                 0

Nhận xét - Kết quả thu được cho thấy rằng tất cả các cột định tính đều không có giá trị thiếu (NA) vì số lượng NA trong các cột đều hiển thị là 0

1.2.5.2 Chuyển đổi các cột sang factor nếu chúng chưa phải là factor

Giải thích:

  • lapply(dat, function(x) { … }): Áp dụng hàm cho từng cột của dat. Trong R, lapply() hoạt động trên list (và data frame về bản chất là list các cột).

  • if (!is.factor(x)): Nếu cột đó chưa phải là factor.

  • as.factor(x): Chuyển cột đó thành kiểu factor.

  • return(x): Nếu đã là factor rồi thì giữ nguyên.

  • as.data.frame(…): Vì lapply() trả về một list, nên ta gói lại thành data.frame để đảm bảo giữ đúng cấu trúc bảng dữ liệu ban đầu.

# Chuyển đổi các cột sang factor nếu chưa phải là factor
dat <- as.data.frame(lapply(dat, function(x) {
  if (!is.factor(x)) {
    return(as.factor(x))
  } else {
    return(x)
  }
}))

Kiểm tra lại sau khi chuyển đổi

Giải thích:

  • sapply(dat, class): Áp dụng hàm class() cho từng cột để kiểm tra kiểu dữ liệu. Kết quả trả về là một vector hiển thị tên cột và loại dữ liệu tương ứng.

  • Nếu kết quả là “factor” cho tất cả các cột → chuyển đổi thành công.

sapply(dat, class)
##            Gender     MaritalStatus         Homeowner      AnnualIncome 
##          "factor"          "factor"          "factor"          "factor" 
##              City   StateorProvince           Country     ProductFamily 
##          "factor"          "factor"          "factor"          "factor" 
## ProductDepartment   ProductCategory 
##          "factor"          "factor"

Nhận xét : Kết quả thu được toàn bộ các biến đã được chuyển đổi thành dạng factor.

PHẦN 2: PHÂN TÍCH MÔ TẢ BIẾN ĐỊNH TÍNH

2.1. GENDER

2.1.1 Thống kê tần suất và trực quan hóa

Giải thích:

  • Sử dụng hàm table() để đếm số lần xuất hiện (tần suất) của từng giá trị trong biến định tính.

  • prop.table(tab_gender) tạo bảng tỷ lệ phần trăm (theo dạng thập phân). Nhân với 100 để ra phần trăm.

  • round(…, 2) làm tròn 2 chữ số sau dấu phẩy.

  • barplot() tạo biểu đồ cột từ bảng tần suất.

  • main: tiêu đề biểu đồ.

  • col: màu sắc cột (ở đây là màu “steelblue”).

  • las = 2: xoay nhãn trục hoành (X) theo chiều dọc để dễ đọc.

tab_gender <- table(dat$Gender)
tab_gender
## 
##    F    M 
## 7170 6889
table(dat$Gender)/sum(nrow(dat))
## 
##         F         M 
## 0.5099936 0.4900064
barplot(tab_gender, main = "Tần suất - Gender", col = "steelblue", las = 2)

2.1.2 Nhận xét

  • Dữ liệu cho thấy có 7170 khách hàng là nữ (50.9993598%) và 6889 là khách hàng nam (49.0006402%).

  • Phân bố giới tính gần như đồng đều, không có sự chênh lệch lớn.

  • Điều này phản ánh rằng chuỗi siêu thị không nhắm đến một giới tính cụ thể, mà phục vụ tốt cả hai nhóm.

  • Ngoài ra, tỷ lệ nữ hơi cao hơn có thể do phụ nữ thường đảm nhận vai trò mua sắm thực phẩm và tiêu dùng gia đình, nên khả năng cao họ là người đứng tên giao dịch nhiều hơn trong hóa đơn.

2.2 MARITALSTATUS

2.2.1 Thống kê tuần suất và trực quan hóa

tab_MaritalStatus <- table(dat$MaritalStatus)
tab_MaritalStatus
## 
##    M    S 
## 6866 7193
table(dat$MaritalStatus)/sum(nrow(dat))
## 
##         M         S 
## 0.4883704 0.5116296
barplot(tab_MaritalStatus, main = "Tình trạng hôn nhân - MaritalStatus", col = "coral", las = 2) 

2.2.2 Nhận xét

  • Số lượng khách hàng độc thân (Single – ký hiệu S) là 6866 người (chiếm 48.8370439%), còn người đã kết hôn (Married – M) là 1, 0 người (chiếm 51.1629561%)

  • Mặc dù tỷ lệ khá cân bằng, nhưng nhóm độc thân chiếm tỷ lệ cao hơn một chút.

  • Giải thích hợp lý cho điều này có thể là:

    • Những người độc thân có xu hướng tự đi mua sắm nhiều hơn, không dựa vào bạn đời.

    • Ngoài ra, người trẻ độc thân thường sống ở thành thị và sử dụng dịch vụ siêu thị thường xuyên hơn, trong khi người đã kết hôn có thể mua theo nhóm hoặc theo hộ gia đình lớn và ít giao dịch hơn trên mỗi cá nhân.

2.3 HOMEOWNER

2.3.1 Thống kê tần suất và trực quan hóa

tab_Homeowner <- table(dat$Homeowner)
tab_Homeowner
## 
##    N    Y 
## 5615 8444
table(dat$Homeowner)/sum(nrow(dat))
## 
##         N         Y 
## 0.3993883 0.6006117
barplot(tab_Homeowner, main = "Sở hữu nhà - Homeowner", col = "darkseagreen", las = 2)

2.3.2 Nhận xét

  • Từ kết quả thu được ta thấy có 5615 khách hàng (chiếm 39.9388292%) không sở hữu nhà, còn 8444 khách hàng (chiếm 60.0611708%) là chủ sở hữu nhà.

  • Đây là một chỉ báo quan trọng về sự ổn định tài chính của khách hàng.

  • Người sở hữu nhà thường có:

    • Chi tiêu ổn định hơn.

    • Nhu cầu mua sắm nhiều hơn cho gia đình (thực phẩm, đồ gia dụng).

  • Trong khi đó, người không sở hữu nhà (có thể thuê nhà hoặc sống tạm thời) có thể:

    • Chi tiêu dè dặt hơn.

    • Ít mua hàng số lượng lớn, hoặc ưu tiên hàng nhỏ gọn, dễ vận chuyển.

2.4 ANNUALINCOME

2.4.1 Thống kê tần suất và trực quan hóa

tab_AnnualIncome <- table(dat$AnnualIncome)
tab_AnnualIncome
## 
##   $10K - $30K $110K - $130K $130K - $150K       $150K +   $30K - $50K 
##          3090           643           760           273          4601 
##   $50K - $70K   $70K - $90K  $90K - $110K 
##          2370          1709           613
table(dat$AnnualIncome)/sum(nrow(dat))
## 
##   $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
barplot(tab_AnnualIncome, main = "Thu nhập/tháng - AnnualIncome", col = "lightblue", las = 2)

2.4.2 Nhận xét

  • Nhóm $30K - $50K chiếm đa số với 3090 khách hàng (chiếm 32.7263675%), theo sau là:

    • Nhóm $10K - $30K (21.9788036%)

    • Nhóm $50K - $70K (16.857529%)

  • Rất ít khách hàng có thu nhập trên $150K (1.9418166%)

  • Điều này cho thấy rằng chuỗi siêu thị chủ yếu phục vụ nhóm thu nhập trung bình và thấp – phù hợp với chiến lược giá rẻ, hàng hóa thiết yếu.

  • Chiến lược marketing, khuyến mãi, và chính sách giá nên tập trung vào nhóm này (ví dụ: combo tiết kiệm, chiết khấu theo số lượng).

2.5. CITY

2.5.1 Thống kê tần suất và trực quan hóa

tab_City <- table(dat$City)
tab_City
## 
##      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
table(dat$City)/sum(nrow(dat))
## 
##      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
barplot(tab_City, main = "Thành phố - City", col = "pink", las = 2)

2.5.2 Nhận xét

  • Các thành phố có tỷ lệ giao dịch cao là:

    • Salem là thành phố có tỉ lệ khách hàng mua sản phẩm cao nhất với 1386 khách hàng và chiếm hết (9.8584537%)

    • Theo sau là thành phố Tacoma (1.2518671%)

    • Kế tiếp là thành phố Los Angeles (6.5865282%) và ta thấy thành phố Seattle với 6.5580767% xấp xỉ bằng với thành phố Los Angeles. Qua đó ta nhìn nhận được rằng 2 thành phố này có lượng khách hàng mua sắm gần như nhau.

  • Có thể nhận thấy sự tập trung mạnh tại các thành phố bờ Tây Hoa Kỳ, đặc biệt ở các bang Washington, Oregon và California.

  • Điều này gợi ý rằng:

    • Các chi nhánh ở các thành phố này có lưu lượng khách hàng lớn, hoặc

    • Các thành phố này có mật độ dân cư cao, nhu cầu tiêu dùng thường xuyên.

2.6. STATEORPROVINCE

2.6.1 Thống kê tần suất và trực quan hóa

tab_StateorProvince <- table(dat$StateorProvince)
tab_StateorProvince
## 
##        BC        CA        DF  Guerrero   Jalisco        OR  Veracruz        WA 
##       809      2733       815       383        75      2262       464      4567 
##   Yucatan Zacatecas 
##       654      1297
table(dat$StateorProvince)/sum(nrow(dat))
## 
##          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
barplot(tab_StateorProvince, main = "Bang/Tỉnh - StateorProvince", col = "goldenrod", las = 2)

2.6.2 Nhận xét

  • Phân bố:

    • Washington(WA): 32.4845295%

    • California(CA): 19.4395049%

    • Oregon(OR): 16.0893378%

  • Ba bang này đều ở bờ Tây Hoa Kỳ, và là những bang có:

    • Dân số đông, thị trường bán lẻ phát triển.

    • Thói quen tiêu dùng hiện đại, sử dụng dịch vụ siêu thị nhiều hơn so với các khu vực nông thôn.

  • Việc mở rộng kinh doanh hoặc đầu tư thêm vào các bang này là chiến lược khả thi.

2.7. COUNTRY

2.7.1 Thống kê tần suất và trực quan hóa

tab_Country <- table(dat$Country)
tab_Country
## 
## Canada Mexico    USA 
##    809   3688   9562
table(dat$Country)/sum(nrow(dat))
## 
##     Canada     Mexico        USA 
## 0.05754321 0.26232307 0.68013372
barplot(tab_Country, main = "Quốc gia - Country", col = "orchid", las = 2)

2.7.2 Nhận xét

  • Tỷ lệ khách hàng theo quốc gia phân bổ theo trình tự giảm dần:

    • Cao nhất là USA: 68.0133722%

    • Kế tiếp là Mexico: 26.2323067%

    • Thấp nhất là Canada: 5.7543211%

  • US Hoa Kỳ rõ ràng là thị trường trọng điểm với tỷ lệ khách hàng giao dịch cao nhất trong 3 quốc gia. Điều này chứng tỏ Hoa Kỳ là một quốc gia phát triển mạnh với nhu cầu tiêu dùng chiến phần lớn.

  • Tuy nhiên, sự hiện diện tại Mexico (hơn 1/4 số giao dịch) cho thấy đây là thị trường thứ cấp tiềm năng, có thể mở rộng hoặc tăng nhận diện thương hiệu.

2.8. PRODUCTFAMILY

2.8.1 Thống kê tần suất và trực quan hóa

tab_ProductFamily <- table(dat$ProductFamily)
tab_ProductFamily
## 
##          Drink           Food Non-Consumable 
##           1250          10153           2656
table(dat$ProductFamily)/sum(nrow(dat))
## 
##          Drink           Food Non-Consumable 
##     0.08891102     0.72217085     0.18891813
barplot(tab_ProductFamily, main = "Nhóm sản phẩm - ProductFamily", col = "mediumvioletred", las = 2)

2.8.2 Nhận xét

  • Thực phẩm (Food) chiếm đa số (72.2170851%), cao vượt trội so với:

    • Non-Consumables chiếm 18.8918131%

    • Nhóm đồ uống chiếm 8.8911018%

  • Điều này cho thấy khách hàng mua sắm chủ yếu là để phục vụ nhu cầu ăn uống hàng ngày.

  • Siêu thị nên tiếp tục đầu tư mạnh vào:

    • Nguồn cung thực phẩm tươi,

    • Các sản phẩm thiết yếu giá tốt,

    • Chính sách ưu đãi số lượng lớn cho thực phẩm.

2.9. PRODUCTDEPARTMENT

2.9.1 Thống kê tần suất và trực quan hóa

tab_ProductDepartment <- table(dat$ProductDepartment)
tab_ProductDepartment
## 
## 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
table(dat$ProductDepartment)/sum(nrow(dat))
## 
## 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
barplot(tab_ProductDepartment, main = "Bộ phận sản phẩm - ProductDepartment", col = "dodgerblue", las = 2)

2.9.2 Nhận xét

  • Các bộ phân chiếm đa số trong toàn bộ các bộ phận được thống kê:

    • Produce (Rau quả): 14.1830856%

    • Snack Foods: 11.3806103%

    • Household: 10.1002916%

  • Khách hàng mua nhiều các mặt hàng:

    • Tươi sống, dễ hỏng (produce) -> yêu cầu bảo quản và chuỗi cung ứng tốt.

    • Đồ ăn vặt và hàng gia dụng -> phản ánh thói quen tiêu dùng nhanh, tiện lợi.

  • Đây là cơ hội để tăng cường marketing nhóm sản phẩm tiện lợi, combo bữa ăn, sản phẩm cho hộ gia đình.

2.10. PRODUCTCATEGORY

2.10.1 Thống kê tuần suất và trực quan hóa

tab_ProductCategory <- table(dat$ProductCategory)
tab_ProductCategory
## 
##         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
table(dat$ProductCategory)/sum(nrow(dat))
## 
##         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
barplot(tab_ProductCategory, main = "Danh mục sản phẩm - ProductCategory", col = "seagreen", las = 2)

2.10.2 Nhận xét

  • Các loại thực phẩm phổ biến được quan sát từ biểu đồ:

    • Vegetables (Rau): với số lượng là 1728 khách hàng và chiếm hết (12.2910591%)

    • Snack Foods: 1600 khách hàng và chiếm hết (11.3806103%)

    • Dairy (Sữa): 903 khách hàng và chiếm hết (6.4229319%)

    • Fruit, Meat, Frozen Foods…

  • Đây là những mặt hàng tiêu dùng nhanh, có vòng đời ngắn.

  • Việc khách hàng mua chủ yếu các mặt hàng thiết yếu cho thấy siêu thị hoạt động tốt trong việc phục vụ nhu cầu cơ bản, chứ không phải sản phẩm xa xỉ hay không thường xuyên.

PHẦN 3: ƯỚC LƯỢNG KHOẢNG VÀ KIỂM ĐỊNH GIẢ THUYẾT CHO TỶ LỆ (MỘT BIẾN)

  • table(): Thống kê số lượng từng loại trong biến định tính
  • sum(…): Đếm bao nhiêu dòng thỏa điều kiện (giá trị quan tâm)
  • length(…): Tổng số mẫu
  • prop.test(…): Tính khoảng tin cậy và kiểm định giả thuyết cho tỷ lệ
  • p = … : Tỷ lệ giả định trong giả thuyết H0
  • alternative = …: Kiểm định hai phía (“two.sided”), một phía lớn hơn (“greater”), nhỏ hơn (“less”)

3.1 Biến Gender và hạng mục đề cập là Female

# Xác định hạng mục quan tâm
table(dat$Gender)
## 
##    F    M 
## 7170 6889
# Số lượng và tổng số 
slfemale <- sum(dat$Gender == "F")
totalgender <- length(dat$Gender)
# Ước lượng khoảng tin cậy 95% cho tỷ lệ "Female"
prop.test(slfemale, totalgender, conf.level = 0.95)
## 
##  1-sample proportions test with continuity correction
## 
## data:  slfemale out of totalgender, null probability 0.5
## X-squared = 5.5765, df = 1, p-value = 0.0182
## alternative hypothesis: true p is not equal to 0.5
## 95 percent confidence interval:
##  0.5016931 0.5182886
## sample estimates:
##         p 
## 0.5099936
# Kiểm định giả thuyết: tỷ lệ Female = 0.5
prop.test(slfemale, totalgender, p = 0.5, alternative = "two.sided", conf.level = 0.95)
## 
##  1-sample proportions test with continuity correction
## 
## data:  slfemale out of totalgender, null probability 0.5
## X-squared = 5.5765, df = 1, p-value = 0.0182
## alternative hypothesis: true p is not equal to 0.5
## 95 percent confidence interval:
##  0.5016931 0.5182886
## sample estimates:
##         p 
## 0.5099936

Giả thuyết

  • H0: p = 0.5

  • H1: p ≠ 0.5

Đọc kết quả và kết luận

  • Tổng số cá thể trong mẫu là 14.059 người, trong đó có 7.170 người là nữ và 6.889 người là nam. Tỷ lệ nữ giới trong mẫu là 50.99936%.

  • Kết quả kiểm định tỷ lệ một mẫu với giả thuyết tỷ lệ nữ trong tổng thể là 50% (H₀: p = 0.5) cho thấy giá trị thống kê Chi-squared = 5.5765 với 1 bậc tự do, và p-value = 0.0182. Với mức ý nghĩa thông thường α = 0.05, ta bác bỏ giả thuyết không, cho thấy tỷ lệ nữ giới trong mẫu có sự khác biệt có ý nghĩa thống kê so với tỷ lệ 50%.

  • Khoảng tin cậy 95% cho tỷ lệ nữ trong quần thể nằm trong khoảng từ 50.16931% đến 51.82886%, cho thấy tỷ lệ này chỉ hơi cao hơn 50%.

Tóm lại

  • Tuy tỷ lệ nữ giới trong mẫu chỉ nhỉnh hơn nam giới không quá cao (50.99936%), nhưng sự chênh lệch này là có ý nghĩa thống kê. Do đó, có thể kết luận rằng nữ giới chiếm ưu thế nhẹ nhưng đáng kể về mặt thống kê trong mẫu khảo sát này.

Kết luận

  • Tỷ lệ nữ trong tổng mẫu là 50.999%, khác có ý nghĩa thống kê so với 50%.
  • Với p-value = 0.0182, bạn bác bỏ giả thuyết rằng tỷ lệ nữ là 50% ở mức ý nghĩa 5%.
  • Tuy nhiên, sự chênh lệch dù có ý nghĩa thống kê, nhưng rất nhỏ về mặt thực tế (~1%)

3.2 Biến Homeowner với hạng mục đề cập là “Y”

# Xác định hạng mục quan tâm
table(dat$Homeowner)
## 
##    N    Y 
## 5615 8444
slshn <- sum(dat$Homeowner == "Y")
totalhomeowner <- length(dat$Homeowner)

# Ước lượng khoảng tin cậy
prop.test(slshn, totalhomeowner, conf.level = 0.95)
## 
##  1-sample proportions test with continuity correction
## 
## data:  slshn out of totalhomeowner, null probability 0.5
## X-squared = 568.86, df = 1, p-value < 2.2e-16
## alternative hypothesis: true p is not equal to 0.5
## 95 percent confidence interval:
##  0.5924537 0.6087145
## sample estimates:
##         p 
## 0.6006117
# Kiểm định giả thuyết H0: tỷ lệ chủ nhà = 0.6
prop.test(slshn, totalhomeowner, p = 0.6, alternative = "two.sided", conf.level = 0.95)
## 
##  1-sample proportions test with continuity correction
## 
## data:  slshn out of totalhomeowner, null probability 0.6
## X-squared = 0.019445, df = 1, p-value = 0.8891
## alternative hypothesis: true p is not equal to 0.6
## 95 percent confidence interval:
##  0.5924537 0.6087145
## sample estimates:
##         p 
## 0.6006117

Giả thuyết 1

  • H0: p = 0.5

  • H1: p ≠ 0.5

Đọc kết quả và kết luận

  • Kết quả phân tích tỷ lệ một mẫu cho thấy tỷ lệ đối tượng chọn lựa trong tổng thể mẫu là 60.06%. Khi tiến hành kiểm định giả thuyết với tỷ lệ chuẩn là 50%, ta thu được giá trị thống kê Chi-squared là 568.86 với một bậc tự do, và p-value < 2.2e-16. Với mức ý nghĩa thông thường (α = 0.05), ta bác bỏ giả thuyết không (H₀: p = 0.5). Điều này cho thấy tỷ lệ thực tế khác biệt một cách có ý nghĩa thống kê so với 50%.

Giả thuyết 2

  • H0: p = 0.6

  • H1: p ≠ 0.6

Đọc kết quả và kết luận

  • Ngược lại, khi kiểm định với tỷ lệ giả định là 60%, giá trị thống kê Chi-squared chỉ là 0.019445 với p-value = 0.8891. Do p-value lớn hơn đáng kể so với mức ý nghĩa 0.05, ta không bác bỏ giả thuyết không (H₀: p = 0.6). Điều này cho thấy không có bằng chứng thống kê cho thấy tỷ lệ thực tế khác biệt so với 60%.

Tóm lại:

  • Tỷ lệ lựa chọn trong mẫu khảo sát là khoảng 60.06% và khác biệt có ý nghĩa thống kê so với tỷ lệ giả định 50%, nhưng không khác biệt đáng kể so với tỷ lệ 60%. Đây là cơ sở để giả định rằng tỷ lệ lựa chọn trong quần thể có thể vào khoảng 60%.

3.3 Biến ProductFamily với hạng mục đề cập là “Food”

# Xác định hạng mục đề cập
table(dat$ProductFamily)
## 
##          Drink           Food Non-Consumable 
##           1250          10153           2656
slfood <- sum(dat$ProductFamily == "Food")
totalproduct <- length(dat$ProductFamily)
# Ước lượng khoảng tin cậy
prop.test(slfood, totalproduct, conf.level = 0.95)
## 
##  1-sample proportions test with continuity correction
## 
## data:  slfood out of totalproduct, null probability 0.5
## X-squared = 2774.9, df = 1, p-value < 2.2e-16
## alternative hypothesis: true p is not equal to 0.5
## 95 percent confidence interval:
##  0.7146709 0.7295489
## sample estimates:
##         p 
## 0.7221709
# Kiểm định giả thuyết H0: tỷ lệ >= 0.7 (alternative = "greater": kiểm định 1 phía (>))
prop.test(slfood, totalproduct, p = 0.7, alternative = "greater", conf.level = 0.95)
## 
##  1-sample proportions test with continuity correction
## 
## data:  slfood out of totalproduct, null probability 0.7
## X-squared = 32.802, df = 1, p-value = 5.101e-09
## alternative hypothesis: true p is greater than 0.7
## 95 percent confidence interval:
##  0.7158789 1.0000000
## sample estimates:
##         p 
## 0.7221709

Giả thuyết 1

  • H0: p = 0.5

  • H1: p ≠ 0.5

Đọc kết quả và kết luận

  • Kết quả kiểm định tỷ lệ một mẫu cho giả thuyết rằng tỷ lệ sản phẩm thuộc nhóm Food bằng 50% (H₀: p = 0.5) cho thấy:

    • Giá trị thống kê Chi-squared = 2774.9, df = 1

    • p-value < 2.2e-16

  • Với mức ý nghĩa là 0.05, ta bác bỏ giả thuyết H0, nghĩa là tỷ lệ sản phẩm nhóm Food không chiếm 50% trong tổng số “ProductFamily”.

  • Khoảng tin cậy 95% cho tỷ lệ này nằm trong khoảng từ 71.47% đến 72.95%.

Giả thuyết 2

  • H0: p = 0.7

  • H1: p > 0.7

Đọc kết quả và kết luận

  • Kết quả kiểm định tiếp theo kiểm tra xem liệu tỷ lệ sản phẩm nhóm Food có cao hơn 70% hay không, cho thấy:

    • Giá trị Chi-squared = 32.802, df = 1

    • p-value = 5.101e-09

  • Với mức ý nghĩa 0.05, ta tiếp tục bác bỏ giả thuyết không, và chấp nhận giả thuyết đối (H₁: p > 0.7). Điều này chứng tỏ tỷ lệ sản phẩm nhóm Food lớn hơn 70% với ý nghĩa thống kê cao.

  • Khoảng tin cậy 95% cho tỷ lệ này nằm trong khoảng từ 71.58% đến 100%.

PHẦN 4: PHÂN TÍCH MỐI QUAN HỆ GIỮA HAI BIẾN ĐỊNH TÍNH

  • Chọn lần lượt các cặp biến có mối tương quan thú vị làm ảnh hưởng đến hành vi mua hàng, giao dịch của khách hàng.
install.packages("tidyverse", repos = "https://cran.r-project.org")
## 
## The downloaded binary packages are in
##  /var/folders/r1/mpp_jg0902scdzcs9r73nnmr0000gn/T//RtmplLxOLs/downloaded_packages
install.packages("janitor", repos = "https://cran.r-project.org")
## 
##   There is a binary version available but the source version is later:
##         binary source needs_compilation
## janitor  2.2.0  2.2.1             FALSE
## installing the source package 'janitor'
install.packages("gmodels", repos = "https://cran.r-project.org")
## 
##   There is a binary version available but the source version is later:
##           binary source needs_compilation
## gmodels 2.18.1.1 2.19.1             FALSE
## installing the source package 'gmodels'
install.packages("ggplot2", repos = "https://cran.r-project.org")
## 
##   There is a binary version available but the source version is later:
##         binary source needs_compilation
## ggplot2  3.4.4  3.5.2             FALSE
## installing the source package 'ggplot2'
install.packages("scales", repos = "https://cran.r-project.org")
## 
##   There is a binary version available but the source version is later:
##        binary source needs_compilation
## scales  1.3.0  1.4.0             FALSE
## installing the source package 'scales'
library(tidyverse)
## ── Attaching core tidyverse packages ──────────────────────── tidyverse 2.0.0 ──
## ✔ dplyr     1.1.4     ✔ readr     2.1.5
## ✔ forcats   1.0.0     ✔ stringr   1.5.1
## ✔ ggplot2   3.5.2     ✔ tibble    3.2.1
## ✔ lubridate 1.9.4     ✔ tidyr     1.3.1
## ✔ purrr     1.0.4
## ── Conflicts ────────────────────────────────────────── tidyverse_conflicts() ──
## ✖ dplyr::filter() masks stats::filter()
## ✖ dplyr::lag()    masks stats::lag()
## ℹ Use the conflicted package (<http://conflicted.r-lib.org/>) to force all conflicts to become errors
library(janitor)
## 
## Attaching package: 'janitor'
## 
## The following objects are masked from 'package:stats':
## 
##     chisq.test, fisher.test
library(gmodels)
library(ggplot2)
library(scales)
## 
## Attaching package: 'scales'
## 
## The following object is masked from 'package:purrr':
## 
##     discard
## 
## The following object is masked from 'package:readr':
## 
##     col_factor

4.1 Gender và ProductFamily

4.1.1 Bảng tần suất chéo

tab1 <- table(dat$Gender, dat$ProductFamily)
tab1 
##    
##     Drink Food Non-Consumable
##   F   669 5149           1352
##   M   581 5004           1304
prop.table(tab1, 1) # theo hàng
##    
##          Drink       Food Non-Consumable
##   F 0.09330544 0.71813110     0.18856346
##   M 0.08433735 0.72637538     0.18928727
  • Dựa trên bảng tần suất chéo giữa Giới tính (Gender) và Nhóm sản phẩm (ProductFamily):

  • Nữ giới (F) có xu hướng chọn sản phẩm Food nhiều nhất, chiếm khoảng 71.8% trong tổng số sản phẩm mà nữ giới chọn. Tiếp theo là nhóm Non-Consumable (18.9%) và Drink (9.3%).

  • Nam giới (M) cũng có xu hướng tương tự khi lựa chọn nhiều nhất là Food (72.6%), kế đến là Non-Consumable (18.9%) và ít nhất là Drink (8.4%).

  • So sánh giới tính:

    • Cả hai giới đều ưu tiên nhóm sản phẩm Food với tỷ lệ cao nhất, trên 70%.

    • Tỷ lệ chọn Drink của nữ cao hơn nam một chút (9.3% so với 8.4%).

    • Tỷ lệ chọn Non-Consumable gần như tương đương giữa hai giới (18.9%).

Kết luận:

Sở thích về nhóm sản phẩm không có sự khác biệt đáng kể giữa nam và nữ. Nhóm sản phẩm Food chiếm ưu thế trong lựa chọn của cả hai giới, trong khi nhóm Drink là ít được chọn nhất.

4.1.2 Trực quan hóa

ggplot(dat, aes(x = Gender, fill = ProductFamily)) +
  geom_bar(position = "fill") +
  labs(title = "Tỷ lệ ProductFamily theo  Gender", y = "Tỷ lệ", x = "Gender") +
  scale_y_continuous(labels = scales::percent) +
  theme_minimal()

4.1.3 Nhận xét

  • Dựa trên bảng tần suất chéo giữa Giới tính (Gender) và Nhóm sản phẩm (ProductFamily):

  • Nữ giới (F) có xu hướng chọn sản phẩm Food nhiều nhất, chiếm khoảng 71.8% trong tổng số sản phẩm mà nữ giới chọn. Tiếp theo là nhóm Non-Consumable (18.9%) và Drink (9.3%).

  • Nam giới (M) cũng có xu hướng tương tự khi lựa chọn nhiều nhất là Food (72.6%), kế đến là Non-Consumable (18.9%) và ít nhất là Drink (8.4%).

  • So sánh giới tính:

    • Cả hai giới đều ưu tiên nhóm sản phẩm Food với tỷ lệ cao nhất, trên 70%.

    • Tỷ lệ chọn Drink của nữ cao hơn nam một chút (9.3% so với 8.4%).

    • Tỷ lệ chọn Non-Consumable gần như tương đương giữa hai giới (18.9%).

Kết luận:

  • Sở thích về nhóm sản phẩm không có sự khác biệt đáng kể giữa nam và nữ. Nhóm sản phẩm Food chiếm ưu thế trong lựa chọn của cả hai giới, trong khi nhóm Drink là ít được chọn nhất.

4.1.4 Kiểm định Chi-bình phương

chi_result1 <- chisq.test(tab1)
chi_result1
## 
##  Pearson's Chi-squared test
## 
## data:  tab1
## X-squared = 3.5185, df = 2, p-value = 0.1722
# Giá trị thống kê Chi-squared
chi_result1$statistic
## X-squared 
##   3.51849
# Bậc tự do 
chi_result1$parameter
## df 
##  2
# Giá trị p
chi_result1$p.value
## [1] 0.1721748

Giả thuyết

  • Giả thuyết H0: Giới tính (Gender) và Nhóm sản phẩm (ProductFamily) là độc lập, không có mối liên hệ.

  • Giả thuyết H1: Giới tính và Nhóm sản phẩm có liên hệ với nhau.

Kết quả kiểm định:

  • Giá trị thống kê Chi-squared: X-squared = 3.51849

  • Bậc tự do: df = 2

  • Giá trị p: p = 0.1721748

Kết luận:

  • Với mức ý nghĩa 0.05, p_value = 0.1722 >= 0.05 → không đủ bằng chứng để bác bỏ H0, tức là không có mối liên hệ giữa 2 biến Gender và ProductFamily.

4.2 MaritalStatus và Homeowner

4.2.1 Bảng tần suất chéo

tab2 <- table(dat$MaritalStatus, dat$Homeowner)
tab2 
##    
##        N    Y
##   M 1719 5147
##   S 3896 3297
prop.table(tab2, 1)
##    
##             N         Y
##   M 0.2503641 0.7496359
##   S 0.5416377 0.4583623

4.2.2 Trực quan hóa

ggplot(dat, aes(x = MaritalStatus, fill = Homeowner)) +
  geom_bar(position = "fill") +
  labs(title = "Tỷ lệ Homeowner theo Marital Status", y = "Tỷ lệ", x = "Marital Status") +
  scale_y_continuous(labels = scales::percent) +
  theme_minimal()

4.2.3 Nhận xét

4.2.4 Kiểm định Chi-bình phương

chi_result2 <- chisq.test(tab2)
chi_result2
## 
##  Pearson's Chi-squared test with Yates' continuity correction
## 
## data:  tab2
## X-squared = 1241.2, df = 1, p-value < 2.2e-16
# Giá trị thống kê Chi-squared
chi_result2$statistic
## X-squared 
##  1241.218
# Bậc tự do 
chi_result2$parameter
## df 
##  1
# Giá trị p
chi_result2$p.value
## [1] 6.724506e-272

Giả thuyết

  • Giả thuyết H0: Tình trạng hôn nhân (MaritalStatus) và sở hữu nhà (Homeowwner) là độc lập, không có mối liên hệ.

  • Giả thuyết H1: Tình trạng hôn nhân (MaritalStatus) và sở hữu nhà (Homeowwner) có liên hệ với nhau.

Kết quả kiểm định:

  • Giá trị thống kê Chi-squared: X-squared = 1241.22

  • Bậc tự do: df = 1

  • Giá trị p: p < 2.2e-16

Kết luận:

  • Với mức ý nghĩa 0.05, p_value < 0.05 → ta đủ điều kiện để bác bỏ H0, tức là có mối liên hệ giữa 2 biến MaritalStatus và Homeowner. Có thể hiểu rằng tình trạng hôn nhân có ảnh hưởng đến việc một người có sở hữu nhà hay không (hoặc ngược lại).

4.3 AnnualIncome và ProductCategory

4.3.1 Bảng tần suất chéo

tab3 <- table(dat$AnnualIncome, dat$ProductDepartment)
tab3 
##                
##                 Alcoholic Beverages Baked Goods Baking Goods Beverages
##   $10K - $30K                    80         108          256       148
##   $110K - $130K                  14          23           49        35
##   $130K - $150K                  15          24           54        25
##   $150K +                         3          10           19        20
##   $30K - $50K                   121         134          336       228
##   $50K - $70K                    61          63          189        97
##   $70K - $90K                    39          50          130        91
##   $90K - $110K                   23          13           39        36
##                
##                 Breakfast Foods Canned Foods Canned Products Carousel Checkout
##   $10K - $30K                54          203              29        8       20
##   $110K - $130K               3           49               4        1        2
##   $130K - $150K              11           46               6        3        9
##   $150K +                     3           21               0        1        1
##   $30K - $50K                63          335              37       30       21
##   $50K - $70K                31          170              18        8       22
##   $70K - $90K                19          120              11        7        5
##   $90K - $110K                4           33               4        1        2
##                
##                 Dairy Deli Eggs Frozen Foods Health and Hygiene Household Meat
##   $10K - $30K     174  147   37          327                201       313   24
##   $110K - $130K    38   33    9           66                 33        63    5
##   $130K - $150K    49   45   15           84                 51        76    4
##   $150K +          17   13    4           26                 19        27    2
##   $30K - $50K     299  233   67          442                292       432   27
##   $50K - $70K     160  107   36          212                134       272   17
##   $70K - $90K     126   96   20          151                120       182    7
##   $90K - $110K     40   25   10           74                 43        55    3
##                
##                 Periodicals Produce Seafood Snack Foods Snacks Starchy Foods
##   $10K - $30K            49     420      17         329     76            70
##   $110K - $130K          17      77       3          85     16            18
##   $130K - $150K           9     109       8          83     19            15
##   $150K +                 1      33       5          35      8             5
##   $30K - $50K            65     650      44         533    127            85
##   $50K - $70K            36     344      11         274     60            48
##   $70K - $90K            18     264      12         184     29            28
##   $90K - $110K            7      97       2          77     17             8
prop.table(tab3, 1)
##                
##                 Alcoholic Beverages Baked Goods Baking Goods   Beverages
##   $10K - $30K           0.025889968 0.034951456  0.082847896 0.047896440
##   $110K - $130K         0.021772939 0.035769829  0.076205288 0.054432348
##   $130K - $150K         0.019736842 0.031578947  0.071052632 0.032894737
##   $150K +               0.010989011 0.036630037  0.069597070 0.073260073
##   $30K - $50K           0.026298631 0.029124103  0.073027603 0.049554445
##   $50K - $70K           0.025738397 0.026582278  0.079746835 0.040928270
##   $70K - $90K           0.022820363 0.029256875  0.076067876 0.053247513
##   $90K - $110K          0.037520392 0.021207178  0.063621533 0.058727569
##                
##                 Breakfast Foods Canned Foods Canned Products    Carousel
##   $10K - $30K       0.017475728  0.065695793     0.009385113 0.002588997
##   $110K - $130K     0.004665630  0.076205288     0.006220840 0.001555210
##   $130K - $150K     0.014473684  0.060526316     0.007894737 0.003947368
##   $150K +           0.010989011  0.076923077     0.000000000 0.003663004
##   $30K - $50K       0.013692676  0.072810259     0.008041730 0.006520322
##   $50K - $70K       0.013080169  0.071729958     0.007594937 0.003375527
##   $70K - $90K       0.011117613  0.070216501     0.006436513 0.004095963
##   $90K - $110K      0.006525285  0.053833605     0.006525285 0.001631321
##                
##                    Checkout       Dairy        Deli        Eggs Frozen Foods
##   $10K - $30K   0.006472492 0.056310680 0.047572816 0.011974110  0.105825243
##   $110K - $130K 0.003110420 0.059097978 0.051321928 0.013996890  0.102643857
##   $130K - $150K 0.011842105 0.064473684 0.059210526 0.019736842  0.110526316
##   $150K +       0.003663004 0.062271062 0.047619048 0.014652015  0.095238095
##   $30K - $50K   0.004564225 0.064985873 0.050641165 0.014562052  0.096066073
##   $50K - $70K   0.009282700 0.067510549 0.045147679 0.015189873  0.089451477
##   $70K - $90K   0.002925688 0.073727326 0.056173201 0.011702750  0.088355764
##   $90K - $110K  0.003262643 0.065252855 0.040783034 0.016313214  0.120717781
##                
##                 Health and Hygiene   Household        Meat Periodicals
##   $10K - $30K          0.065048544 0.101294498 0.007766990 0.015857605
##   $110K - $130K        0.051321928 0.097978227 0.007776050 0.026438569
##   $130K - $150K        0.067105263 0.100000000 0.005263158 0.011842105
##   $150K +              0.069597070 0.098901099 0.007326007 0.003663004
##   $30K - $50K          0.063464464 0.093892632 0.005868290 0.014127364
##   $50K - $70K          0.056540084 0.114767932 0.007172996 0.015189873
##   $70K - $90K          0.070216501 0.106495026 0.004095963 0.010532475
##   $90K - $110K         0.070146819 0.089722675 0.004893964 0.011419250
##                
##                     Produce     Seafood Snack Foods      Snacks Starchy Foods
##   $10K - $30K   0.135922330 0.005501618 0.106472492 0.024595469   0.022653722
##   $110K - $130K 0.119751166 0.004665630 0.132192846 0.024883359   0.027993779
##   $130K - $150K 0.143421053 0.010526316 0.109210526 0.025000000   0.019736842
##   $150K +       0.120879121 0.018315018 0.128205128 0.029304029   0.018315018
##   $30K - $50K   0.141273636 0.009563138 0.115844382 0.027602695   0.018474245
##   $50K - $70K   0.145147679 0.004641350 0.115611814 0.025316456   0.020253165
##   $70K - $90K   0.154476302 0.007021650 0.107665301 0.016968988   0.016383850
##   $90K - $110K  0.158238173 0.003262643 0.125611746 0.027732463   0.013050571

4.3.2 Trực quan hóa

ggplot(dat, aes(x = AnnualIncome, fill = ProductDepartment)) +
  geom_bar(position = "fill") +
  labs(title = "Tỷ lệ ProductDepartment theo Annual Income", y = "Tỷ lệ", x = "Annual Income") +
  scale_y_continuous(labels = scales::percent) +
  theme_minimal()

4.3.3 Nhận xét

4.3.4 Kiểm định chi - bình phương

chi_result3 <- chisq.test(tab3)
## Warning in stats::chisq.test(x, y, ...): Chi-squared approximation may be
## incorrect
chi_result3
## 
##  Pearson's Chi-squared test
## 
## data:  tab3
## X-squared = 170.16, df = 147, p-value = 0.09276
# Giá trị thống kê Chi-squared
chi_result3$statistic
## X-squared 
##  170.1572
# Bậc tự do 
chi_result3$parameter
##  df 
## 147
# Giá trị p
chi_result3$p.value
## [1] 0.0927647

Giả thuyết

  • Giả thuyết H0: Thu nhập hàng tháng (AnnualIncome) và ProductDepartment là độc lập, không có mối liên hệ.

  • Giả thuyết H1: Thu nhập hàng tháng (AnnualIncome) và ProductDepartment có liên hệ với nhau.

Kết quả kiểm định:

  • Giá trị thống kê Chi-squared: X-squared = 170.16

  • Bậc tự do: df = 147

  • Giá trị p: p = 0.0927647

Kết luận:

  • Với mức ý nghĩa 0.05 p_value = 0.09276 > 0.05 → ta không đủ điều kiện để bác bỏ H0, tức là không có mối liên hệ giữa 2 biến AnnualIncome và ProductDepartment.

4.4 Homeowner và AnnualIncome

4.4.1 Bảng tần suất chéo

tab4 <- table(dat$Homeowner, dat$AnnualIncome)
tab4
##    
##     $10K - $30K $110K - $130K $130K - $150K $150K + $30K - $50K $50K - $70K
##   N        1359           119           136      48        2087        1063
##   Y        1731           524           624     225        2514        1307
##    
##     $70K - $90K $90K - $110K
##   N         686          117
##   Y        1023          496
prop.table(tab4, 1)
##    
##     $10K - $30K $110K - $130K $130K - $150K     $150K + $30K - $50K $50K - $70K
##   N 0.242030276   0.021193232   0.024220837 0.008548531 0.371682992 0.189314337
##   Y 0.204997631   0.062055898   0.073898626 0.026646139 0.297726196 0.154784462
##    
##     $70K - $90K $90K - $110K
##   N 0.122172752  0.020837044
##   Y 0.121151113  0.058739934

4.4.2 Trực quan hóa

ggplot(dat, aes(x = AnnualIncome, fill = Homeowner)) +
  geom_bar(position = "fill") +
  labs(title = "Tỷ lệ Homeowner theo Annual Income", y = "Tỷ lệ", x = "Annual Income") +
  scale_y_continuous(labels = scales::percent) +
  theme_minimal()

4.4.3 Nhận xét

4.4.4 Kiểm định chi - bình phương

chi_result4 <- chisq.test(tab4)
chi_result4
## 
##  Pearson's Chi-squared test
## 
## data:  tab4
## X-squared = 546.37, df = 7, p-value < 2.2e-16
# Giá trị thống kê Chi-squared
chi_result4$statistic
## X-squared 
##  546.3723
# Bậc tự do 
chi_result4$parameter
## df 
##  7
# Giá trị p
chi_result4$p.value
## [1] 8.517274e-114

Giả thuyết

  • Giả thuyết H0: Thu nhập hàng tháng (AnnualIncome) và tình trạng sở hữu nhà (Homeowner) là độc lập, không có mối liên hệ.

  • Giả thuyết H1: Thu nhập hàng tháng (AnnualIncome) và tình trạng sở hữu nhà (Homeowner) có liên hệ với nhau.

Kết quả kiểm định:

  • Giá trị thống kê Chi-squared: X-squared = 546.37

  • Bậc tự do: df = 7

  • Giá trị p: p <2.2e-16

Kết luận:

  • Với mức ý nghĩa 0.05 p_value < 0.05 → ta có đủ điều kiện để bác bỏ H0, tức là có mối liên hệ giữa 2 thu nhập hàng tháng và tình trạng sở hữu nhà.

** PHẦN 5: RELATIVE RISK **

5.1 Giới thiệu

Trong phân tích thống kê định lượng, bảng ngẫu nhiên (contingency table) là một công cụ cơ bản để khảo sát mối liên hệ giữa hai biến phân loại. Trong trường hợp đơn giản nhất, bảng ngẫu nhiên 2x2 biểu diễn sự phân bố của hai biến nhị phân, giúp xác định và đo lường mối liên hệ giữa chúng. Các chỉ số như hiệu tỷ lệ (risk difference), tỷ số nguy cơ (Relative Risk - RR) và tỷ số chênh (Odds Ratio - OR) đóng vai trò quan trọng trong việc lượng hóa mối quan hệ đó. Bài viết này sẽ trình bày chi tiết cấu trúc xác suất sinh ra bảng ngẫu nhiên, phương pháp so sánh hai tỷ lệ, cách xây dựng khoảng tin cậy cho Odds Ratio, và kết thúc bằng một ví dụ thực tiễn trong lĩnh vực kinh doanh.

5.2 Cấu trúc và xác suất của bảng ngẫu nhiên

5.2.1 Phân phối Poisson

5.2.2 Phân phối Multinomial

5.3 Các chỉ số đo mối liên hệ

**5.3.1 Hiệu tỷ lệ (Risk Diference - RD)

**5.3.2 Tỷ số nguy cơ (Relative Risk - RR)

**5.3.3 Tỷ số chênh (Odds Ratio - OR)

**5.4 Khoảng ước lượng tin cậy cho Odds Ratio

5.5 GENDER VÀ MARITALSTATUS

5.5.1 Tạo bảng chéo

# Tạo bảng chéo giữa Gender và MaritalStatus
table_gender_marital <- table(dat$Gender, dat$MaritalStatus)
addmargins(table_gender_marital)  # Thêm hàng và cột tổng
##      
##           M     S   Sum
##   F    3602  3568  7170
##   M    3264  3625  6889
##   Sum  6866  7193 14059

5.5.2 Tính toán Relative Risk

# Trích xuất số liệu từ bảng chéo
A <- table_gender_marital["F","S"] # nữ độc thân
B <- table_gender_marital["F","M"] # nữ kết hôn
C <- table_gender_marital["M","S"] # nam độc thân
D <- table_gender_marital["M","M"] # nam kết hôn

# Tính RR
RR <- (A/(A+B))/(C/(C+D))
RR
## [1] 0.945701
# Trong đó: A/(A+B) là tỷ lệ phụ nữ độc thân trong tổng số nữ
# Và: C/(C+D) là tỷ lệ nam giới độc thân trong tổng số nam

5.5.3 Ý nghĩa

  • RR = 1: Không có sự khác biệt về tỷ lệ độc thân giữa hai giới tính.
  • RR > 1: Nam giới có tỷ lệ độc thân cao hơn phụ nữ.
  • RR < 1: Phụ nữ có tỷ lệ độc thân cao hơn nam giới.

5.5.4 Nhận xét

  • Tỷ lệ phụ nữ độc thân bằng khoảng 94.57% tỷ lệ nam giới độc thân. Điều này cho thấy không có sự khác biệt lớn về tỷ lệ độc thân giữa hai giới tính trong dữ liệu.
install.packages("epitools", repos = "https://cran.rstudio.com/")
## 
## The downloaded binary packages are in
##  /var/folders/r1/mpp_jg0902scdzcs9r73nnmr0000gn/T//RtmplLxOLs/downloaded_packages
library(epitools)
riskratio(table_gender_marital, method="wald")
## $data
##        
##            M    S Total
##   F     3602 3568  7170
##   M     3264 3625  6889
##   Total 6866 7193 14059
## 
## $measure
##    risk ratio with 95% C.I.
##     estimate    lower    upper
##   F 1.000000       NA       NA
##   M 1.057417 1.023813 1.092123
## 
## $p.value
##    two-sided
##       midp.exact fisher.exact   chi.square
##   F           NA           NA           NA
##   M 0.0007045092 0.0007373895 0.0007038837
## 
## $correction
## [1] FALSE
## 
## attr(,"method")
## [1] "Unconditional MLE & normal approximation (Wald) CI"

Nhận xét

  • Relative Risk (RR)

    • F (Female): 1.000000
    • M (Male): 1.057417 (CI: 1.023813 - 1.092123)
  • Nhận xét về RR:

    • RR của nhóm F (Phụ nữ) là 1 vì nhóm này được lấy làm nhóm tham chiếu.
    • RR của nhóm M (Nam giới) là 1.0574, điều này cho thấy nam giới có tỷ lệ kết hôn (M) cao hơn một chút so với phụ nữ, với tỷ lệ 1.0574 lần so với nhóm phụ nữ. Sự khác biệt này có thể là không lớn, nhưng nó chỉ ra rằng nam giới có một khả năng kết hôn cao hơn phụ nữ trong mẫu nghiên cứu này.
    • Confidence Interval (CI) của RR cho nhóm M là [1.0238, 1.0921], nghĩa là khoảng tin cậy của RR không bao gồm giá trị 1. Điều này cho thấy sự khác biệt giữa hai nhóm F và M là có ý nghĩa thống kê và không phải ngẫu nhiên.
  • Kết luận về RR:

    • RR cho thấy nam giới có xu hướng kết hôn cao hơn so với phụ nữ, với RR = 1.0574.
    • Confidence Interval không bao gồm giá trị 1, điều này hỗ trợ cho giả thuyết rằng sự khác biệt giữa tỷ lệ kết hôn của nam và nữ có ý nghĩa thống kê.
  • p-value từ các kiểm định:

    • Chi-square test: p-value = 0.0007038837
    • Fisher’s exact test: p-value = 0.0007373895
    • Midpoint exact test: p-value = 0.0007045092
  • Nhận xét về p-value:

    • Các p-value từ các kiểm định đều nhỏ hơn mức ý nghĩa thông thường là 0.05, nghĩa là có đủ bằng chứng để bác bỏ giả thuyết null hypothesis (giả thuyết không có sự khác biệt giữa nam và nữ).
    • Điều này chỉ ra rằng có sự khác biệt có ý nghĩa thống kê giữa tỷ lệ kết hôn ở phụ nữ và nam giới.
  • Tóm tắt và nhận xét tổng quát

    • Relative Risk (RR): Tỷ lệ kết hôn của nam giới là 1.0574 lần so với phụ nữ, điều này cho thấy nam giới có khả năng kết hôn cao hơn phụ nữ trong mẫu nghiên cứu này.
    • Confidence Interval (C.I.): Khoảng tin cậy [1.0238, 1.0921] không bao gồm giá trị 1, điều này có nghĩa là sự khác biệt giữa tỷ lệ kết hôn của nam và nữ là có ý nghĩa thống kê.
    • p-value: Các p-value từ Chi-square, Fisher’s exact test và midp.exact đều nhỏ hơn 0.05, cho thấy có sự khác biệt đáng kể giữa tỷ lệ kết hôn của nam và nữ.
  • Kết luận

    • Tỷ lệ kết hôn giữa nam và nữ có sự khác biệt có ý nghĩa thống kê. Cụ thể, nam giới có tỷ lệ kết hôn cao hơn phụ nữ.
    • Relative Risk cho thấy nam giới có khả năng kết hôn cao hơn phụ nữ (với RR = 1.0574), và kết quả này có ý nghĩa thống kê rõ ràng, vì p-value đều rất nhỏ.
    • Khoảng tin cậy 95% của RR không bao gồm giá trị 1, điều này càng củng cố kết luận về sự khác biệt giữa tỷ lệ kết hôn của hai giới.

5.6 GENDER VÀ HOMEOWNER

Câu hỏi nghiên cứu: Liệu có sự khác biệt về tỷ lệ sở hữu nhà giữa nam và nữ không?

5.6.1 Tạo bảng chéo

# Tạo bảng chéo giữa Gender và Homeowner
table_gender_homeowner <- table(dat$Gender, dat$Homeowner)
addmargins(table_gender_homeowner)  # Thêm hàng và cột tổng
##      
##           N     Y   Sum
##   F    2826  4344  7170
##   M    2789  4100  6889
##   Sum  5615  8444 14059

5.6.2 Tính toán RR

# Trích xuất số liệu từ bảng chéo
A <- table_gender_homeowner["F", "Y"]  # nữ sở hữu nhà
B <- table_gender_homeowner["F", "N"]   # nữ không sở hữu nhà
C <- table_gender_homeowner["M", "Y"]  # nam sở hữu nhà
D <- table_gender_homeowner["M", "N"]   # nam không sở hữu nhà

# Tính RR
RR <- (A / (A + B)) / (C / (C + D))
RR
## [1] 1.017989
# Trong đó:
# A / (A + B): Tỷ lệ nữ sở hữu nhà trong tổng số nữ.
# C / (C + D): Tỷ lệ nam sở hữu nhà trong tổng số nam.
riskratio(table_gender_homeowner, method="wald")
## $data
##        
##            N    Y Total
##   F     2826 4344  7170
##   M     2789 4100  6889
##   Total 5615 8444 14059
## 
## $measure
##    risk ratio with 95% C.I.
##      estimate     lower    upper
##   F 1.0000000        NA       NA
##   M 0.9823291 0.9561812 1.009192
## 
## $p.value
##    two-sided
##     midp.exact fisher.exact chi.square
##   F         NA           NA         NA
##   M   0.195158    0.1964833  0.1950884
## 
## $correction
## [1] FALSE
## 
## attr(,"method")
## [1] "Unconditional MLE & normal approximation (Wald) CI"

5.6.3 Nhận xét

  • Nhóm nữ (F) được chọn làm nhóm tham chiếu, nên RR = 1. Điều này có nghĩa chúng ta so sánh nguy cơ sở hữu nhà của nhóm nam (M) với nhóm nữ.

  • Nhóm nam (M) có RR = 0.9823 nghĩa là:

    • Tỷ lệ sở hữu nhà ở nam bằng khoảng 98.23% so với nữ. Hay nói cách khác, nguy cơ (xác suất) sở hữu nhà của nam thấp hơn nữ khoảng 1.77%.
  • Khoảng tin cậy 95% của RR là (0.9562 – 1.0092):

    • Khoảng này bao gồm số 1, nghĩa là giá trị RR thực sự có thể là 1 (không có khác biệt).

    • Khoảng tin cậy cho ta biết mức độ chính xác của ước lượng RR; khoảng rộng và bao gồm 1 cho thấy sự không chắc chắn và thiếu bằng chứng về sự khác biệt thực sự.

  • Ta có giả thuyết:

    • H₀: Tỷ lệ sở hữu nhà ở Nam và Nữ không khác nhau, tức là RR = 1

    • H₁: Tỷ lệ sở hữu nhà ở Nam và Nữ khác nhau, RR ≠ 1

  • p-value từ các kiểm định:

    • Chi-square test: p-value = 0.1950884
    • Fisher’s exact test: p-value = 0.1964833
    • Midpoint exact test: p-value = 0.195158
  • Nhận xét về p-value:

    • Các giá trị p-value từ chi-square, Fisher’s exact, và midp.exact đều lớn hơn mức ý nghĩa thông thường là 0.05.
    • Điều này có nghĩa là không có đủ bằng chứng để bác bỏ giả thuyết null hypothesis, tức là không có sự khác biệt đáng kể về tỉ lệ tình trạng hôn nhân có (Y) giữa nhóm nam và nữ. Sự khác biệt giữa hai nhóm có thể là do ngẫu nhiên.

Nhận xét tổng quát

  • Relative Risk cho thấy rằng tỷ lệ sự kiện giữa hai nhóm giới tính F (phụ nữ) và M (nam giới) rất gần nhau, với RR của nhóm M là 0.9823, cho thấy không có sự khác biệt rõ rệt giữa tỷ lệ tình trạng hôn nhân có (Y) giữa hai nhóm.

  • Confidence Interval cho nhóm nam giới (M) bao gồm giá trị 1, điều này hỗ trợ giả thuyết rằng không có sự khác biệt thống kê đáng kể giữa tỷ lệ sự kiện ở nam và nữ.

  • Các kiểm định thống kê (Chi-square, Fisher’s exact test) đều cho p-value lớn hơn 0.05, điều này có nghĩa là không có sự khác biệt ý nghĩa giữa hai nhóm giới tính về tỷ lệ tình trạng hôn nhân có (Y).

  • Tóm lại, các kết quả này cho thấy không có sự khác biệt rõ rệt và có ý nghĩa giữa tỷ lệ tình trạng hôn nhân có (Y) ở phụ nữ và nam giới.

Kết luận

Dựa trên các kết quả từ Relative Risk và các kiểm định thống kê, chúng ta có thể kết luận rằng không có sự khác biệt đáng kể giữa nam và nữ về tỷ lệ tình trạng hôn nhân có (Y). Dữ liệu cho thấy rằng tỷ lệ hôn nhân có (Y) ở nam và nữ là khá tương đồng và không có sự khác biệt thống kê đáng kể.

5.7 GENDER VÀ COUNTRY

5.7.1 Tạo bảng chéo

# Tạo bảng chéo giữa Giới tính và Quốc gia
table_gender_country <- table(dat$Gender, dat$Country)
addmargins(table_gender_country)  # Thêm hàng và cột tổng
##      
##       Canada Mexico   USA   Sum
##   F      373   2056  4741  7170
##   M      436   1632  4821  6889
##   Sum    809   3688  9562 14059

5.7.2 Tính toán RR

# Trích xuất số liệu cho từng quốc gia
F_canada <- table_gender_country["F", "Canada"]  # Nữ ở Canada
M_canada <- table_gender_country["M", "Canada"]  # Nam ở Canada

F_mexico <- table_gender_country["F", "Mexico"]  # Nữ ở Mexico
M_mexico <- table_gender_country["M", "Mexico"]  # Nam ở Mexico

F_usa <- table_gender_country["F", "USA"]  # Nữ ở USA
M_usa <- table_gender_country["M", "USA"]  # Nam ở USA

# Tính RR cho Canada
RR_canada <- (F_canada / (F_canada + M_canada)) / (M_canada / (F_canada + M_canada))
print(paste("RR ở Canada:", RR_canada))
## [1] "RR ở Canada: 0.855504587155963"
# Tính RR cho Mexico
RR_mexico <- (F_mexico / (F_mexico + M_mexico)) / (M_mexico / (F_mexico + M_mexico))
print(paste("RR ở Mexico:", RR_mexico))
## [1] "RR ở Mexico: 1.25980392156863"
# Tính RR cho USA
RR_usa <- (F_usa / (F_usa + M_usa)) / (F_usa / (M_usa + M_usa))
print(paste("RR ở USA:", RR_usa))
## [1] "RR ở USA: 1.00836645053336"

5.7.3 Nhận xét

  • Canada: RR = 0.8555
    • Giải thích: Phụ nữ ở Canada có tỷ lệ sống ở thành phố thấp hơn so với nam giới.
    • Ý nghĩa: Giới tính có thể là yếu tố bảo vệ đối với việc sống ở thành phố tại Canada.
  • Mexico: RR = 1.2598
    • Giải thích: Phụ nữ ở Mexico có tỷ lệ sống ở thành phố cao hơn so với nam giới.
    • Ý nghĩa: Giới tính có thể là yếu tố nguy cơ đối với việc sống ở thành phố tại Mexico.
  • USA: RR = 0.9834
    • Giải thích: Tỷ lệ sống ở thành phố giữa nam và nữ ở USA gần như tương đương.
    • Ý nghĩa: Giới tính không có ảnh hưởng đáng kể đến việc sống ở thành phố tại USA.
riskratio(table_gender_country, method="wald")
## $data
##        
##         Canada Mexico  USA Total
##   F        373   2056 4741  7170
##   M        436   1632 4821  6889
##   Total    809   3688 9562 14059
## 
## $measure
##    risk ratio with 95% C.I.
##      estimate     lower     upper
##   F 1.0000000        NA        NA
##   M 0.9323394 0.9066093 0.9587997
## 
## $p.value
##    two-sided
##       midp.exact fisher.exact   chi.square
##   F           NA           NA           NA
##   M 6.627844e-07 2.511379e-11 2.627719e-11
## 
## $correction
## [1] FALSE
## 
## attr(,"method")
## [1] "Unconditional MLE & normal approximation (Wald) CI"
LS0tCnRpdGxlOiAiTkhJ4buGTSBW4bukIFRV4bqmTiAyIgphdXRob3I6ICJU4bqhIEPDtG5nIMSQ4bqhdCIKZGF0ZTogIjIwMjUtMDUtMjMiCm91dHB1dDoKICBodG1sX2RvY3VtZW50OiAKICAgIGNvZGVfZG93bmxvYWQ6IHRydWUKICAgIGNvZGVfZm9sZGluZzogaGlkZQogICAgdG9jX2RlcHRoOiA0CiAgICB0b2NfZmxvYXQ6IHRydWUKICAgIHRvYzogdHJ1ZQogIHBkZl9kb2N1bWVudDoKICAgIGxhdGV4X2VuZ2luZTogeGVsYXRleAotLS0KCmBgYHtyIHNldHVwLCBpbmNsdWRlPUZBTFNFfQprbml0cjo6b3B0c19jaHVuayRzZXQoZWNobyA9IFRSVUUpCmBgYAoKIyMgKipQSOG6pk4gMTogVMOMTSBISeG7glUgVsOAIENIVeG6qE4gQuG7iiBE4buuIExJ4buGVSoqCgojIyMgKioxLjEgxJDhu4xDIEThu64gTEnhu4ZVKioKCi0gVOG7h3AgKipTdXBlcm1hcmtldCBUcmFuc2FjdGlvbnMqKiDEkcaw4bujYyBsxrB1IGTGsOG7m2kgxJHhu4tuaCBk4bqhbmcgKipjc3YqKi4gxJDhu41jIGLhu5kgZOG7ryBsaeG7h3UgbsOgeSB2w6BvIHBo4bqnbiBt4buBbSBSICAKCi0gU2F1IGtoaSDEkeG7jWMsIGLhu5kgZOG7ryBsaeG7h3UgxJHGsOG7o2MgZ8OhbiB2w6BvIGJp4bq/biAqKmRhdGEqKiDEkeG7gyBk4buFIGTDoG5nIHRoYW8gdMOhYy4gCgoKIyMjIyAqKjEuMS4xIMSQ4buNYyBmaWxlIGThu68gbGnhu4d1IGfhu5FjKioKCmBgYHtyfQpkYXRhIDwtIHJlYWQuY3N2KCJ+L0Rvd25sb2Fkcy9TdXBlcm1hcmtldCBUcmFuc2FjdGlvbnMuY3N2IiwgaGVhZGVyID0gVCkKYGBgCgojIyMjICoqMS4xLjIgTOG7sWEgY2jhu41uIGPDoWMgYmnhur9uIMSR4buLbmggdMOtbmgqKgoKR2nhuqNpIHRow61jaDoKCi0gYygiIik6IHThuqFvIHZlY3RvCi0gZGF0IDwtIGRhdGFbLCBkbGR0XTogbOG6pXkgdHJvbmcgYuG7mSBk4buvIGxp4buHdSBkYXRhIGPDoWMgY+G7mXQgdHJvbmcgZGxkdCB24burYSB04bqhbyByYSAoY8OhYyBiaeG6v24gxJHhu4tuaCB0w61uaCksIHbDoCBs4bqleSB04bqldCBj4bqjIGPDoWMgaMOgbmcgKGZ1bGwgcXVhbiBzw6F0KQoKYGBge3J9CiMgQ2jhu41uIGPDoWMgYmnhur9uIMSR4buLbmggdMOtbmgKZGxkdCA8LSBjKCJHZW5kZXIiLCAiTWFyaXRhbFN0YXR1cyIsICJIb21lb3duZXIiLCAiQW5udWFsSW5jb21lIiwgIkNpdHkiLCAiU3RhdGVvclByb3ZpbmNlIiwgIkNvdW50cnkiLCAiUHJvZHVjdEZhbWlseSIsICJQcm9kdWN0RGVwYXJ0bWVudCIsICJQcm9kdWN0Q2F0ZWdvcnkiKQoKIyBU4bqhbyBi4buZIGThu68gbGnhu4d1IG3hu5tpIGNo4buJIGNo4bupYSDEkeG7i25oIHTDrW5oCmRhdCA8LSBkYXRhWywgZGxkdF0KYGBgCgoKIyMjICoqMS4yLiBU4buUTkcgUVVBTiBW4buAIEThu64gTEnhu4ZVKioKCiMjIyMgKioxLjIuMSBO4buZaSBkdW5nIGThu68gbGnhu4d1KioKCi0gQuG7mSBk4buvIGxp4buHdSAqU3VwZXJtYXJrZXQgVHJhbnNhY3Rpb25zKiBuw6B5IGfhu5NtIDE0LDA1OSBnaWFvIGThu4tjaCBtdWEgaMOgbmcgdOG6oWkgc2nDqnUgdGjhu4ssIHbhu5tpIGPDoWMgdGjDtG5nIHRpbiBsacOqbiBxdWFuIMSR4bq/biBraMOhY2ggaMOgbmcgdsOgIHPhuqNuIHBo4bqpbSBiYW8gZ+G7k20gKiptw6MgxJHhu4tuaCBkYW5oIGtow6FjaCBow6BuZyB2w6AgY8OhYyB0aMO0bmcgdGluIGxpw6puIHF1YW4qKiwgKip24buLIHRyw60gxJHhu4thIGzDvSoqLCAqKmNoaSB0aeG6v3QgY8OhYyBz4bqjbiBwaOG6qW0gxJHGsOG7o2MgbXVhKiouCgotIEThu68gbGnhu4d1IG7DoHkgY8OzIHRo4buDIMSRxrDhu6NjIHPhu60gZOG7pW5nIMSR4buDICoqcGjDom4gdMOtY2ggaMOgbmggdmkgbXVhIHPhuq9tIGPhu6dhIGtow6FjaCBow6BuZyoqLCAqKnBow6JuIGtow7pjIHRo4buLIHRyxrDhu51uZyoqLCBob+G6t2MgKirEkcOhbmggZ2nDoSBoaeG7h3UgcXXhuqMga2luaCBkb2FuaCoqIHRoZW8gdOG7q25nIHPhuqNuIHBo4bqpbSwgdOG7q25nIGtodSB24buxYyB2w6AgdOG7q25nIG5ow7NtIMSR4buRaSB0xrDhu6NuZy4gCgojIyMjICoqMS4yLjIgRGFuaCBzw6FjaCBjw6FjIGJp4bq/biB2w6AgbcO0IHThuqMqKgoKKipD4bqldSB0csO6YyBi4buZIGThu68gbGnhu4d1IFN1cGVybWFya2V0IFRyYW5zYWN0aW9ucyoqCgpgYGB7cn0Kc3RyKGRhdGEpCmBgYAoKLSBOaMawbmcgduG7m2kgecOqdSBj4bqndSBjaOG7iSBz4butIGThu6VuZyBjw6FjIGJp4bq/biDEkeG7i25oIHTDrW5oIMSR4buDIHBow6JuIHTDrW5oIG7Dqm4gY2jDum5nIHRhIGNo4buJIHF1YW4gdMOibSDEkeG6v24gY8OhYyBiaeG6v24gbmjGsCBzYXUgOiAKCiAgLSBHZW5kZXI6IEdp4bubaSB0w61uaCAoRiAtIE7hu68sIE0gLSBOYW0pCiAgLSBNYXJpdGFsU3RhdHVzOiBUw6xuaCB0cuG6oW5nIGjDtG4gbmjDom4gKFMgLSDEkOG7mWMgdGjDom4sIE0gLSDEkMOjIGvhur90IGjDtG4pCiAgLSBIb21lb3duZXI6IEPDsyBz4bufIGjhu691IG5ow6AgaGF5IGtow7RuZyAoWSAtIEPDsywgTiAtIEtow7RuZykKICAtIEFubnVhbEluY29tZTogVGh1IG5o4bqtcCBow6BuZyBuxINtICjEkcaw4bujYyBiaeG7g3UgdGjhu4sgZMaw4bubaSBk4bqhbmcgY8OhYyBraG/huqNuZykKICAtIENpdHksIFN0YXRlb3JQcm92aW5jZSwgQ291bnRyeTogVGjDtG5nIHRpbiDEkeG7i2EgbMO9CiAgLSBQcm9kdWN0RmFtaWx5LCBQcm9kdWN0RGVwYXJ0bWVudCwgUHJvZHVjdENhdGVnb3J5OiBQaMOibiBsb+G6oWkgc+G6o24gcGjhuqltCiAgCiMjIyMgKioxLjIuMyBT4buRIGJp4bq/biB2w6Agc+G7kSBxdWFuIHPDoXQqKgoKYGBge3J9CmRpbShkYXQpCmBgYAoKLSBC4buZIGThu68gbGnhu4d1ICoqZGF0KiogY2jhu6lhIHThu5VuZyBj4buZbmcgKioxNC4wNTkgcXVhbiBzw6F0KiogY8O5bmcgduG7m2kgKioxMCBiaeG6v24qKiDEkeG6t2MgdHLGsG5nIHTGsMahbmcg4bupbmcgbMOgIGJp4bq/biDEkeG7i25oIHTDrW5oLgotIE3hu5dpIHF1YW4gc8OhdCBz4bq9IHTGsOG7n25nIOG7qW5nIHbhu5tpIG3hu5dpIGdpYW8gZOG7i2NoIG11YSBow6BuZyB04bqhaSBzacOqdSB0aOG7iy4KCiMjIyMgKioxLjIuNCBIaeG7g24gdGjhu4sgZOG7ryBsaeG7h3UqKgoKIyMjIyMgKioxLjIuNC4xIEhp4buDbiB0aOG7iyB2w6BpIGTDsm5nIMSR4bqndSoqCgpgYGB7cn0KaGVhZChkYXQpCmBgYAoKIyMjIyMgKioxLjIuNC4yIEhp4buDbiB0aOG7iyB2w6BpIGTDsm5nIGN14buRaSoqCgpgYGB7cn0KdGFpbChkYXQpCmBgYAoKIyMjIyAqKjEuMi41IEtp4buDbSB0cmEgZOG7ryBsaeG7h3UqKgoKIyMjIyMgKioxLjIuNS4xIEtp4buDbSB0cmEgc+G7kSBsxrDhu6NuZyBOQSB0cm9uZyBj4buZdCDEkeG7i25oIHTDrW5oKioKCkdp4bqjaSB0aMOtY2g6CgpzYXBwbHkoZGF0LCAuLi4pOiDDoXAgZOG7pW5nIGjDoG0gY2hvIHThu6tuZyBj4buZdCB0cm9uZyBk4buvIGxp4buHdSAqKmRhdCoqLgoKc3VtKGlzLm5hKHgpKTogxJHhur9tIHPhu5EgbMaw4bujbmcgTkEgdHJvbmcgdOG7q25nIGPhu5l0LgoKYGBge3J9CiMgS2nhu4NtIHRyYSBz4buRIGzGsOG7o25nIE5BIHRyb25nIG3hu5dpIGPhu5l0IMSR4buLbmggdMOtbmgKbmFfY291bnRzIDwtIHNhcHBseShkYXQsIGZ1bmN0aW9uKHgpIHN1bShpcy5uYSh4KSkpCm5hX2NvdW50cwpgYGAKCioqTmjhuq1uIHjDqXQqKiAKLSBL4bq/dCBxdeG6oyB0aHUgxJHGsOG7o2MgY2hvIHRo4bqleSBy4bqxbmcgdOG6pXQgY+G6oyBjw6FjIGPhu5l0IMSR4buLbmggdMOtbmggxJHhu4F1IGtow7RuZyBjw7MgZ2nDoSB0cuG7iyB0aGnhur91IChOQSkgdsOsIHPhu5EgbMaw4bujbmcgTkEgdHJvbmcgY8OhYyBj4buZdCDEkeG7gXUgaGnhu4NuIHRo4buLIGzDoCAwCgojIyMjIyAqKjEuMi41LjIgQ2h1eeG7g24gxJHhu5VpIGPDoWMgY+G7mXQgc2FuZyBmYWN0b3IgbuG6v3UgY2jDum5nIGNoxrBhIHBo4bqjaSBsw6AgZmFjdG9yKioKCkdp4bqjaSB0aMOtY2g6CgotIGxhcHBseShkYXQsIGZ1bmN0aW9uKHgpIHsgLi4uIH0pOiDDgXAgZOG7pW5nIGjDoG0gY2hvIHThu6tuZyBj4buZdCBj4bunYSBkYXQuIFRyb25nIFIsIGxhcHBseSgpIGhv4bqhdCDEkeG7mW5nIHRyw6puIGxpc3QgKHbDoCBkYXRhIGZyYW1lIHbhu4EgYuG6o24gY2jhuqV0IGzDoCBsaXN0IGPDoWMgY+G7mXQpLgoKLSBpZiAoIWlzLmZhY3Rvcih4KSk6IE7hur91IGPhu5l0IMSRw7MgY2jGsGEgcGjhuqNpIGzDoCBmYWN0b3IuCgotIGFzLmZhY3Rvcih4KTogQ2h1eeG7g24gY+G7mXQgxJHDsyB0aMOgbmgga2nhu4N1IGZhY3Rvci4KCi0gcmV0dXJuKHgpOiBO4bq/dSDEkcOjIGzDoCBmYWN0b3IgcuG7k2kgdGjDrCBnaeG7ryBuZ3V5w6puLgoKLSBhcy5kYXRhLmZyYW1lKC4uLik6IFbDrCBsYXBwbHkoKSB0cuG6oyB24buBIG3hu5l0IGxpc3QsIG7Dqm4gdGEgZ8OzaSBs4bqhaSB0aMOgbmggZGF0YS5mcmFtZSDEkeG7gyDEkeG6o20gYuG6o28gZ2nhu68gxJHDum5nIGPhuqV1IHRyw7pjIGLhuqNuZyBk4buvIGxp4buHdSBiYW4gxJHhuqd1LgoKYGBge3J9CiMgQ2h1eeG7g24gxJHhu5VpIGPDoWMgY+G7mXQgc2FuZyBmYWN0b3IgbuG6v3UgY2jGsGEgcGjhuqNpIGzDoCBmYWN0b3IKZGF0IDwtIGFzLmRhdGEuZnJhbWUobGFwcGx5KGRhdCwgZnVuY3Rpb24oeCkgewogIGlmICghaXMuZmFjdG9yKHgpKSB7CiAgICByZXR1cm4oYXMuZmFjdG9yKHgpKQogIH0gZWxzZSB7CiAgICByZXR1cm4oeCkKICB9Cn0pKQpgYGAKCioqS2nhu4NtIHRyYSBs4bqhaSBzYXUga2hpIGNodXnhu4NuIMSR4buVaSoqCgpHaeG6o2kgdGjDrWNoOgoKLSBzYXBwbHkoZGF0LCBjbGFzcyk6IMOBcCBk4bulbmcgaMOgbSBjbGFzcygpIGNobyB04burbmcgY+G7mXQgxJHhu4Mga2nhu4NtIHRyYSBraeG7g3UgZOG7ryBsaeG7h3UuIEvhur90IHF14bqjIHRy4bqjIHbhu4EgbMOgIG3hu5l0IHZlY3RvciBoaeG7g24gdGjhu4sgdMOqbiBj4buZdCB2w6AgbG/huqFpIGThu68gbGnhu4d1IHTGsMahbmcg4bupbmcuCgotIE7hur91IGvhur90IHF14bqjIGzDoCAiZmFjdG9yIiBjaG8gdOG6pXQgY+G6oyBjw6FjIGPhu5l0IOKGkiBjaHV54buDbiDEkeG7lWkgdGjDoG5oIGPDtG5nLgoKYGBge3J9CnNhcHBseShkYXQsIGNsYXNzKQpgYGAKCioqTmjhuq1uIHjDqXQqKiA6IEvhur90IHF14bqjIHRodSDEkcaw4bujYyB0b8OgbiBi4buZIGPDoWMgYmnhur9uIMSRw6MgxJHGsOG7o2MgY2h1eeG7g24gxJHhu5VpIHRow6BuaCBk4bqhbmcgZmFjdG9yLgoKIyMgKipQSOG6pk4gMjogUEjDgk4gVMONQ0ggTcOUIFThuqIgQknhur5OIMSQ4buKTkggVMONTkgqKgoKIyMjICoqMi4xLiBHRU5ERVIqKgoKIyMjIyAqKjIuMS4xIFRo4buRbmcga8OqIHThuqduIHN14bqldCB2w6AgdHLhu7FjIHF1YW4gaMOzYSoqCgpHaeG6o2kgdGjDrWNoOgoKLSBT4butIGThu6VuZyBow6BtIHRhYmxlKCkgxJHhu4MgxJHhur9tIHPhu5EgbOG6p24geHXhuqV0IGhp4buHbiAodOG6p24gc3XhuqV0KSBj4bunYSB04burbmcgZ2nDoSB0cuG7iyB0cm9uZyBiaeG6v24gxJHhu4tuaCB0w61uaC4KCi0gcHJvcC50YWJsZSh0YWJfZ2VuZGVyKSB04bqhbyBi4bqjbmcgdOG7tyBs4buHIHBo4bqnbiB0csSDbSAodGhlbyBk4bqhbmcgdGjhuq1wIHBow6JuKS4gTmjDom4gduG7m2kgMTAwIMSR4buDIHJhIHBo4bqnbiB0csSDbS4KCi0gcm91bmQoLi4uLCAyKSBsw6BtIHRyw7JuIDIgY2jhu68gc+G7kSBzYXUgZOG6pXUgcGjhuql5LgoKLSBiYXJwbG90KCkgdOG6oW8gYmnhu4N1IMSR4buTIGPhu5l0IHThu6sgYuG6o25nIHThuqduIHN14bqldC4KCi0gbWFpbjogdGnDqnUgxJHhu4EgYmnhu4N1IMSR4buTLgoKLSBjb2w6IG3DoHUgc+G6r2MgY+G7mXQgKOG7nyDEkcOieSBsw6AgbcOgdSAic3RlZWxibHVlIikuCgotIGxhcyA9IDI6IHhvYXkgbmjDo24gdHLhu6VjIGhvw6BuaCAoWCkgdGhlbyBjaGnhu4F1IGThu41jIMSR4buDIGThu4UgxJHhu41jLgoKCgpgYGB7cn0KdGFiX2dlbmRlciA8LSB0YWJsZShkYXQkR2VuZGVyKQp0YWJfZ2VuZGVyCnRhYmxlKGRhdCRHZW5kZXIpL3N1bShucm93KGRhdCkpCmJhcnBsb3QodGFiX2dlbmRlciwgbWFpbiA9ICJU4bqnbiBzdeG6pXQgLSBHZW5kZXIiLCBjb2wgPSAic3RlZWxibHVlIiwgbGFzID0gMikKYGBgCgoKIyMjIyAqKjIuMS4yIE5o4bqtbiB4w6l0KioKCi0gROG7ryBsaeG7h3UgY2hvIHRo4bqleSBjw7MgYHIgdGFibGUoZGF0JEdlbmRlcilbMV1gIGtow6FjaCBow6BuZyBsw6AgbuG7ryAoYHIgdGFibGUoZGF0JEdlbmRlcilbMV0vc3VtKG5yb3coZGF0KSkqMTAwYFwlKSB2w6AgYHIgdGFibGUoZGF0JEdlbmRlcilbMl1gIGzDoCBraMOhY2ggaMOgbmcgbmFtIChgciB0YWJsZShkYXQkR2VuZGVyKVsyXS9zdW0obnJvdyhkYXQpKSoxMDBgXCUpLgoKLSBQaMOibiBi4buRIGdp4bubaSB0w61uaCBn4bqnbiBuaMawIMSR4buTbmcgxJHhu4F1LCBraMO0bmcgY8OzIHPhu7EgY2jDqm5oIGzhu4djaCBs4bubbi4KCi0gxJBp4buBdSBuw6B5IHBo4bqjbiDDoW5oIHLhurFuZyBjaHXhu5dpIHNpw6p1IHRo4buLIGtow7RuZyBuaOG6r20gxJHhur9uIG3hu5l0IGdp4bubaSB0w61uaCBj4bulIHRo4buDLCBtw6AgcGjhu6VjIHbhu6UgdOG7kXQgY+G6oyBoYWkgbmjDs20uCgotIE5nb8OgaSByYSwgdOG7tyBs4buHIG7hu68gaMahaSBjYW8gaMahbiBjw7MgdGjhu4MgZG8gcGjhu6UgbuG7ryB0aMaw4budbmcgxJHhuqNtIG5o4bqtbiB2YWkgdHLDsiBtdWEgc+G6r20gdGjhu7FjIHBo4bqpbSB2w6AgdGnDqnUgZMO5bmcgZ2lhIMSRw6xuaCwgbsOqbiBraOG6oyBuxINuZyBjYW8gaOG7jSBsw6AgbmfGsOG7nWkgxJHhu6luZyB0w6puIGdpYW8gZOG7i2NoIG5oaeG7gXUgaMahbiB0cm9uZyBow7NhIMSRxqFuLgoKIyMjICoqMi4yIE1BUklUQUxTVEFUVVMqKgoKIyMjIyAqKjIuMi4xIFRo4buRbmcga8OqIHR14bqnbiBzdeG6pXQgdsOgIHRy4buxYyBxdWFuIGjDs2EqKgoKYGBge3J9CnRhYl9NYXJpdGFsU3RhdHVzIDwtIHRhYmxlKGRhdCRNYXJpdGFsU3RhdHVzKQp0YWJfTWFyaXRhbFN0YXR1cwp0YWJsZShkYXQkTWFyaXRhbFN0YXR1cykvc3VtKG5yb3coZGF0KSkKYmFycGxvdCh0YWJfTWFyaXRhbFN0YXR1cywgbWFpbiA9ICJUw6xuaCB0cuG6oW5nIGjDtG4gbmjDom4gLSBNYXJpdGFsU3RhdHVzIiwgY29sID0gImNvcmFsIiwgbGFzID0gMikgCmBgYAoKIyMjIyAqKjIuMi4yIE5o4bqtbiB4w6l0KioKCi0gU+G7kSBsxrDhu6NuZyBraMOhY2ggaMOgbmcgxJHhu5ljIHRow6JuIChTaW5nbGUg4oCTIGvDvSBoaeG7h3UgUykgbMOgIGByIHRhYmxlKGRhdCRNYXJpdGFsU3RhdHVzKVsxXWAgbmfGsOG7nWkgKGNoaeG6v20gYHIgdGFibGUoZGF0JE1hcml0YWxTdGF0dXMpWzFdL3N1bShucm93KGRhdCkpKjEwMGBcJSksIGPDsm4gbmfGsOG7nWkgxJHDoyBr4bq/dCBow7RuIChNYXJyaWVkIOKAkyBNKSBsw6AgYHIgdGFibGUoZGF0JE1hcml0YWxTdGF0dXNbMl0pYCBuZ8aw4budaSAoY2hp4bq/bSBgciB0YWJsZShkYXQkTWFyaXRhbFN0YXR1cylbMl0vc3VtKG5yb3coZGF0KSkqMTAwYFwlKQotIE3hurdjIGTDuSB04bu3IGzhu4cga2jDoSBjw6JuIGLhurFuZywgbmjGsG5nIG5ow7NtIMSR4buZYyB0aMOibiBjaGnhur9tIHThu7cgbOG7hyBjYW8gaMahbiBt4buZdCBjaMO6dC4KCi0gR2nhuqNpIHRow61jaCBo4bujcCBsw70gY2hvIMSRaeG7gXUgbsOgeSBjw7MgdGjhu4MgbMOgOgoKICAtIE5o4buvbmcgbmfGsOG7nWkgxJHhu5ljIHRow6JuIGPDsyB4dSBoxrDhu5tuZyB04buxIMSRaSBtdWEgc+G6r20gbmhp4buBdSBoxqFuLCBraMO0bmcgZOG7sWEgdsOgbyBi4bqhbiDEkeG7nWkuCgogIC0gTmdvw6BpIHJhLCBuZ8aw4budaSB0cuG6uyDEkeG7mWMgdGjDom4gdGjGsOG7nW5nIHPhu5FuZyDhu58gdGjDoG5oIHRo4buLIHbDoCBz4butIGThu6VuZyBk4buLY2ggduG7pSBzacOqdSB0aOG7iyB0aMaw4budbmcgeHV5w6puIGjGoW4sIHRyb25nIGtoaSBuZ8aw4budaSDEkcOjIGvhur90IGjDtG4gY8OzIHRo4buDIG11YSB0aGVvIG5ow7NtIGhv4bq3YyB0aGVvIGjhu5kgZ2lhIMSRw6xuaCBs4bubbiB2w6Agw610IGdpYW8gZOG7i2NoIGjGoW4gdHLDqm4gbeG7l2kgY8OhIG5ow6JuLgogIAojIyMgKioyLjMgSE9NRU9XTkVSKioKCiMjIyMgKioyLjMuMSBUaOG7kW5nIGvDqiB04bqnbiBzdeG6pXQgdsOgIHRy4buxYyBxdWFuIGjDs2EqKgoKYGBge3J9CnRhYl9Ib21lb3duZXIgPC0gdGFibGUoZGF0JEhvbWVvd25lcikKdGFiX0hvbWVvd25lcgp0YWJsZShkYXQkSG9tZW93bmVyKS9zdW0obnJvdyhkYXQpKQpiYXJwbG90KHRhYl9Ib21lb3duZXIsIG1haW4gPSAiU+G7nyBo4buvdSBuaMOgIC0gSG9tZW93bmVyIiwgY29sID0gImRhcmtzZWFncmVlbiIsIGxhcyA9IDIpCmBgYAoKIyMjIyAqKjIuMy4yIE5o4bqtbiB4w6l0KioKCi0gVOG7qyBr4bq/dCBxdeG6oyB0aHUgxJHGsOG7o2MgdGEgdGjhuqV5IGPDsyBgciB0YWJsZShkYXQkSG9tZW93bmVyKVsxXWAga2jDoWNoIGjDoG5nIChjaGnhur9tIGByIHRhYmxlKGRhdCRIb21lb3duZXIpWzFdL3N1bShucm93KGRhdCkpKjEwMGBcJSkga2jDtG5nIHPhu58gaOG7r3UgbmjDoCwgY8OybiBgciB0YWJsZShkYXQkSG9tZW93bmVyKVsyXWAga2jDoWNoIGjDoG5nIChjaGnhur9tIGByIHRhYmxlKGRhdCRIb21lb3duZXIpWzJdL3N1bShucm93KGRhdCkpKjEwMGBcJSkgbMOgIGNo4bunIHPhu58gaOG7r3UgbmjDoC4KCi0gxJDDonkgbMOgIG3hu5l0IGNo4buJIGLDoW8gcXVhbiB0cuG7jW5nIHbhu4Egc+G7sSDhu5VuIMSR4buLbmggdMOgaSBjaMOtbmggY+G7p2Ega2jDoWNoIGjDoG5nLgoKLSBOZ8aw4budaSBz4bufIGjhu691IG5ow6AgdGjGsOG7nW5nIGPDszoKCiAgLSBDaGkgdGnDqnUg4buVbiDEkeG7i25oIGjGoW4uCgogIC0gTmh1IGPhuqd1IG11YSBz4bqvbSBuaGnhu4F1IGjGoW4gY2hvIGdpYSDEkcOsbmggKHRo4buxYyBwaOG6qW0sIMSR4buTIGdpYSBk4bulbmcpLgoKLSBUcm9uZyBraGkgxJHDsywgbmfGsOG7nWkga2jDtG5nIHPhu58gaOG7r3UgbmjDoCAoY8OzIHRo4buDIHRodcOqIG5ow6AgaG/hurdjIHPhu5FuZyB04bqhbSB0aOG7nWkpIGPDsyB0aOG7gzoKCiAgLSBDaGkgdGnDqnUgZMOoIGThurd0IGjGoW4uCgogIC0gw410IG11YSBow6BuZyBz4buRIGzGsOG7o25nIGzhu5tuLCBob+G6t2MgxrB1IHRpw6puIGjDoG5nIG5o4buPIGfhu41uLCBk4buFIHbhuq1uIGNodXnhu4NuLgogIAojIyMgKioyLjQgQU5OVUFMSU5DT01FKioKCiMjIyMgKioyLjQuMSBUaOG7kW5nIGvDqiB04bqnbiBzdeG6pXQgdsOgIHRy4buxYyBxdWFuIGjDs2EqKgoKYGBge3J9CnRhYl9Bbm51YWxJbmNvbWUgPC0gdGFibGUoZGF0JEFubnVhbEluY29tZSkKdGFiX0FubnVhbEluY29tZQp0YWJsZShkYXQkQW5udWFsSW5jb21lKS9zdW0obnJvdyhkYXQpKQpiYXJwbG90KHRhYl9Bbm51YWxJbmNvbWUsIG1haW4gPSAiVGh1IG5o4bqtcC90aMOhbmcgLSBBbm51YWxJbmNvbWUiLCBjb2wgPSAibGlnaHRibHVlIiwgbGFzID0gMikKYGBgCgojIyMjICoqMi40LjIgTmjhuq1uIHjDqXQqKgoKLSBOaMOzbSAkMzBLIC0gJDUwSyBjaGnhur9tIMSRYSBz4buRIHbhu5tpIGByIHRhYmxlKGRhdCRBbm51YWxJbmNvbWUpWzFdYCBraMOhY2ggaMOgbmcgIChjaGnhur9tIGByIHRhYmxlKGRhdCRBbm51YWxJbmNvbWUpWzVdL3N1bShucm93KGRhdCkpKjEwMGBcJSksIHRoZW8gc2F1IGzDoDoKCiAgLSBOaMOzbSAkMTBLIC0gJDMwSyAoYHIgdGFibGUoZGF0JEFubnVhbEluY29tZSlbMV0vc3VtKG5yb3coZGF0KSkqMTAwYFwlKQoKICAtIE5ow7NtICQ1MEsgLSAkNzBLIChgciB0YWJsZShkYXQkQW5udWFsSW5jb21lKVs2XS9zdW0obnJvdyhkYXQpKSoxMDBgXCUpCgotIFLhuqV0IMOtdCBraMOhY2ggaMOgbmcgY8OzIHRodSBuaOG6rXAgdHLDqm4gJDE1MEsgKGByIHRhYmxlKGRhdCRBbm51YWxJbmNvbWUpWzRdL3N1bShucm93KGRhdCkpKjEwMGBcJSkKCi0gxJBp4buBdSBuw6B5IGNobyB0aOG6pXkgcuG6sW5nIGNodeG7l2kgc2nDqnUgdGjhu4sgY2jhu6cgeeG6v3UgcGjhu6VjIHbhu6UgbmjDs20gdGh1IG5o4bqtcCB0cnVuZyBiw6xuaCB2w6AgdGjhuqVwIOKAkyBwaMO5IGjhu6NwIHbhu5tpIGNoaeG6v24gbMaw4bujYyBnacOhIHLhurssIGjDoG5nIGjDs2EgdGhp4bq/dCB54bq/dS4KCi0gQ2hp4bq/biBsxrDhu6NjIG1hcmtldGluZywga2h1eeG6v24gbcOjaSwgdsOgIGNow61uaCBzw6FjaCBnacOhIG7Dqm4gdOG6rXAgdHJ1bmcgdsOgbyBuaMOzbSBuw6B5ICh2w60gZOG7pTogY29tYm8gdGnhur90IGtp4buHbSwgY2hp4bq/dCBraOG6pXUgdGhlbyBz4buRIGzGsOG7o25nKS4KCiMjIyAqKjIuNS4gQ0lUWSoqCgojIyMjICoqMi41LjEgVGjhu5FuZyBrw6ogdOG6p24gc3XhuqV0IHbDoCB0cuG7sWMgcXVhbiBow7NhKioKCmBgYHtyfQp0YWJfQ2l0eSA8LSB0YWJsZShkYXQkQ2l0eSkKdGFiX0NpdHkKdGFibGUoZGF0JENpdHkpL3N1bShucm93KGRhdCkpCmJhcnBsb3QodGFiX0NpdHksIG1haW4gPSAiVGjDoG5oIHBo4buRIC0gQ2l0eSIsIGNvbCA9ICJwaW5rIiwgbGFzID0gMikKYGBgCgojIyMjICoqMi41LjIgTmjhuq1uIHjDqXQqKgoKLSBDw6FjIHRow6BuaCBwaOG7kSBjw7MgdOG7tyBs4buHIGdpYW8gZOG7i2NoIGNhbyBsw6A6CgogIC0gU2FsZW0gbMOgIHRow6BuaCBwaOG7kSBjw7MgdOG7iSBs4buHIGtow6FjaCBow6BuZyBtdWEgc+G6o24gcGjhuqltIGNhbyBuaOG6pXQgduG7m2kgYHIgdGFibGUoZGF0JENpdHkpWzEzXWAga2jDoWNoIGjDoG5nIHbDoCBjaGnhur9tIGjhur90IChgciB0YWJsZShkYXQkQ2l0eSlbMTNdL3N1bShucm93KGRhdCkpKjEwMGBcJSkKCiAgLSBUaGVvIHNhdSBsw6AgdGjDoG5oIHBo4buRIFRhY29tYSAoYHIgdGFibGUoZGF0JENpdHkpWzIxXS9zdW0obnJvdyhkYXQpKSoxMDBgXCUpCgogIC0gS+G6vyB0aeG6v3AgbMOgIHRow6BuaCBwaOG7kSBMb3MgQW5nZWxlcyAoYHIgdGFibGUoZGF0JENpdHkpWzhdL3N1bShucm93KGRhdCkpKjEwMGBcJSkgdsOgIHRhIHRo4bqleSB0aMOgbmggcGjhu5EgU2VhdHRsZSB24bubaSBgciB0YWJsZShkYXQkQ2l0eSlbMTddL3N1bShucm93KGRhdCkpKjEwMGBcJSB44bqlcCB44buJIGLhurFuZyB24bubaSB0aMOgbmggcGjhu5EgTG9zIEFuZ2VsZXMuIFF1YSDEkcOzIHRhIG5ow6xuIG5o4bqtbiDEkcaw4bujYyBy4bqxbmcgMiB0aMOgbmggcGjhu5EgbsOgeSBjw7MgbMaw4bujbmcga2jDoWNoIGjDoG5nIG11YSBz4bqvbSBn4bqnbiBuaMawIG5oYXUuIAoKLSBDw7MgdGjhu4Mgbmjhuq1uIHRo4bqleSBz4buxIHThuq1wIHRydW5nIG3huqFuaCB04bqhaSBjw6FjIHRow6BuaCBwaOG7kSBi4budIFTDonkgSG9hIEvhu7MsIMSR4bq3YyBiaeG7h3Qg4bufIGPDoWMgYmFuZyBXYXNoaW5ndG9uLCBPcmVnb24gdsOgIENhbGlmb3JuaWEuCgotIMSQaeG7gXUgbsOgeSBn4bujaSDDvSBy4bqxbmc6CgogIC0gQ8OhYyBjaGkgbmjDoW5oIOG7nyBjw6FjIHRow6BuaCBwaOG7kSBuw6B5IGPDsyBsxrB1IGzGsOG7o25nIGtow6FjaCBow6BuZyBs4bubbiwgaG/hurdjCgogIC0gQ8OhYyB0aMOgbmggcGjhu5EgbsOgeSBjw7MgbeG6rXQgxJHhu5kgZMOibiBjxrAgY2FvLCBuaHUgY+G6p3UgdGnDqnUgZMO5bmcgdGjGsOG7nW5nIHh1ecOqbi4KICAKIyMjICoqMi42LiBTVEFURU9SUFJPVklOQ0UqKgoKIyMjIyAqKjIuNi4xIFRo4buRbmcga8OqIHThuqduIHN14bqldCB2w6AgdHLhu7FjIHF1YW4gaMOzYSoqCgpgYGB7cn0KdGFiX1N0YXRlb3JQcm92aW5jZSA8LSB0YWJsZShkYXQkU3RhdGVvclByb3ZpbmNlKQp0YWJfU3RhdGVvclByb3ZpbmNlCnRhYmxlKGRhdCRTdGF0ZW9yUHJvdmluY2UpL3N1bShucm93KGRhdCkpCmJhcnBsb3QodGFiX1N0YXRlb3JQcm92aW5jZSwgbWFpbiA9ICJCYW5nL1Thu4luaCAtIFN0YXRlb3JQcm92aW5jZSIsIGNvbCA9ICJnb2xkZW5yb2QiLCBsYXMgPSAyKQpgYGAKCiMjIyMgKioyLjYuMiBOaOG6rW4geMOpdCoqCgotIFBow6JuIGLhu5E6CgogIC0gV2FzaGluZ3RvbihXQSk6IGByIHRhYmxlKGRhdCRTdGF0ZW9yUHJvdmluY2UpWzhdL3N1bShucm93KGRhdCkpKjEwMGBcJQoKICAtIENhbGlmb3JuaWEoQ0EpOiBgciB0YWJsZShkYXQkU3RhdGVvclByb3ZpbmNlKVsyXS9zdW0obnJvdyhkYXQpKSoxMDBgXCUKCiAgLSBPcmVnb24oT1IpOiBgciB0YWJsZShkYXQkU3RhdGVvclByb3ZpbmNlKVs2XS9zdW0obnJvdyhkYXQpKSoxMDBgXCUKCi0gQmEgYmFuZyBuw6B5IMSR4buBdSDhu58gYuG7nSBUw6J5IEhvYSBL4buzLCB2w6AgbMOgIG5o4buvbmcgYmFuZyBjw7M6CgogIC0gRMOibiBz4buRIMSRw7RuZywgdGjhu4sgdHLGsOG7nW5nIGLDoW4gbOG6uyBwaMOhdCB0cmnhu4NuLgoKICAtIFRow7NpIHF1ZW4gdGnDqnUgZMO5bmcgaGnhu4duIMSR4bqhaSwgc+G7rSBk4bulbmcgZOG7i2NoIHbhu6Ugc2nDqnUgdGjhu4sgbmhp4buBdSBoxqFuIHNvIHbhu5tpIGPDoWMga2h1IHbhu7FjIG7DtG5nIHRow7RuLgoKLSBWaeG7h2MgbeG7nyBy4buZbmcga2luaCBkb2FuaCBob+G6t2MgxJHhuqd1IHTGsCB0aMOqbSB2w6BvIGPDoWMgYmFuZyBuw6B5IGzDoCBjaGnhur9uIGzGsOG7o2Mga2jhuqMgdGhpLgoKIyMjICoqMi43LiBDT1VOVFJZKioKCiMjIyMgKioyLjcuMSBUaOG7kW5nIGvDqiB04bqnbiBzdeG6pXQgdsOgIHRy4buxYyBxdWFuIGjDs2EqKgoKYGBge3J9CnRhYl9Db3VudHJ5IDwtIHRhYmxlKGRhdCRDb3VudHJ5KQp0YWJfQ291bnRyeQp0YWJsZShkYXQkQ291bnRyeSkvc3VtKG5yb3coZGF0KSkKYmFycGxvdCh0YWJfQ291bnRyeSwgbWFpbiA9ICJRdeG7kWMgZ2lhIC0gQ291bnRyeSIsIGNvbCA9ICJvcmNoaWQiLCBsYXMgPSAyKQpgYGAKCiMjIyMgKioyLjcuMiBOaOG6rW4geMOpdCoqCgotIFThu7cgbOG7hyBraMOhY2ggaMOgbmcgdGhlbyBxdeG7kWMgZ2lhIHBow6JuIGLhu5UgdGhlbyB0csOsbmggdOG7sSBnaeG6o20gZOG6p246CgogIC0gQ2FvIG5o4bqldCBsw6AgVVNBOiBgciB0YWJsZShkYXQkQ291bnRyeSlbM10vc3VtKG5yb3coZGF0KSkqMTAwYFwlCgogIC0gS+G6vyB0aeG6v3AgbMOgIE1leGljbzogYHIgdGFibGUoZGF0JENvdW50cnkpWzJdL3N1bShucm93KGRhdCkpKjEwMGBcJQoKICAtIFRo4bqlcCBuaOG6pXQgbMOgIENhbmFkYTogYHIgdGFibGUoZGF0JENvdW50cnkpWzFdL3N1bShucm93KGRhdCkpKjEwMGBcJQogIAotIFVTIEhvYSBL4buzIHLDtSByw6BuZyBsw6AgdGjhu4sgdHLGsOG7nW5nIHRy4buNbmcgxJFp4buDbSB24bubaSB04bu3IGzhu4cga2jDoWNoIGjDoG5nIGdpYW8gZOG7i2NoICBjYW8gbmjhuqV0IHRyb25nIDMgcXXhu5FjIGdpYS4gxJBp4buBdSBuw6B5IGNo4bupbmcgdOG7jyBIb2EgS+G7syBsw6AgbeG7mXQgcXXhu5FjIGdpYSBwaMOhdCB0cmnhu4NuIG3huqFuaCB24bubaSBuaHUgY+G6p3UgdGnDqnUgZMO5bmcgY2hp4bq/biBwaOG6p24gbOG7m24uIAoKLSBUdXkgbmhpw6puLCBz4buxIGhp4buHbiBkaeG7h24gdOG6oWkgTWV4aWNvIChoxqFuIDEvNCBz4buRIGdpYW8gZOG7i2NoKSBjaG8gdGjhuqV5IMSRw6J5IGzDoCB0aOG7iyB0csaw4budbmcgdGjhu6kgY+G6pXAgdGnhu4FtIG7Eg25nLCBjw7MgdGjhu4MgbeG7nyBy4buZbmcgaG/hurdjIHTEg25nIG5o4bqtbiBkaeG7h24gdGjGsMahbmcKaGnhu4d1LgoKIyMjICoqMi44LiBQUk9EVUNURkFNSUxZKioKCiMjIyMgKioyLjguMSBUaOG7kW5nIGvDqiB04bqnbiBzdeG6pXQgdsOgIHRy4buxYyBxdWFuIGjDs2EqKgoKYGBge3J9CnRhYl9Qcm9kdWN0RmFtaWx5IDwtIHRhYmxlKGRhdCRQcm9kdWN0RmFtaWx5KQp0YWJfUHJvZHVjdEZhbWlseQp0YWJsZShkYXQkUHJvZHVjdEZhbWlseSkvc3VtKG5yb3coZGF0KSkKYmFycGxvdCh0YWJfUHJvZHVjdEZhbWlseSwgbWFpbiA9ICJOaMOzbSBz4bqjbiBwaOG6qW0gLSBQcm9kdWN0RmFtaWx5IiwgY29sID0gIm1lZGl1bXZpb2xldHJlZCIsIGxhcyA9IDIpCmBgYAoKIyMjIyAqKjIuOC4yIE5o4bqtbiB4w6l0KioKCi0gVGjhu7FjIHBo4bqpbSAoRm9vZCkgY2hp4bq/bSDEkWEgc+G7kSAoYHIgdGFibGUoZGF0JFByb2R1Y3RGYW1pbHkpWzJdL3N1bShucm93KGRhdCkpKjEwMGBcJSksIGNhbyB2xrDhu6N0IHRy4buZaSBzbyB24bubaToKCiAgLSBOb24tQ29uc3VtYWJsZXMgY2hp4bq/bSBgciB0YWJsZShkYXQkUHJvZHVjdEZhbWlseSlbM10vc3VtKG5yb3coZGF0KSkqMTAwYFwlCgogIC0gTmjDs20gxJHhu5MgdeG7kW5nIGNoaeG6v20gYHIgdGFibGUoZGF0JFByb2R1Y3RGYW1pbHkpWzFdL3N1bShucm93KGRhdCkpKjEwMGBcJQoKLSDEkGnhu4F1IG7DoHkgY2hvIHRo4bqleSBraMOhY2ggaMOgbmcgbXVhIHPhuq9tIGNo4bunIHnhur91IGzDoCDEkeG7gyBwaOG7pWMgduG7pSBuaHUgY+G6p3UgxINuIHXhu5FuZyBow6BuZyBuZ8OgeS4KCi0gU2nDqnUgdGjhu4sgbsOqbiB0aeG6v3AgdOG7pWMgxJHhuqd1IHTGsCBt4bqhbmggdsOgbzoKCiAgLSBOZ3Xhu5NuIGN1bmcgdGjhu7FjIHBo4bqpbSB0xrDGoWksCgogIC0gQ8OhYyBz4bqjbiBwaOG6qW0gdGhp4bq/dCB54bq/dSBnacOhIHThu5F0LAoKICAtIENow61uaCBzw6FjaCDGsHUgxJHDo2kgc+G7kSBsxrDhu6NuZyBs4bubbiBjaG8gdGjhu7FjIHBo4bqpbS4KCiMjIyAqKjIuOS4gUFJPRFVDVERFUEFSVE1FTlQqKgoKIyMjIyAqKjIuOS4xIFRo4buRbmcga8OqIHThuqduIHN14bqldCB2w6AgdHLhu7FjIHF1YW4gaMOzYSoqCgpgYGB7cn0KdGFiX1Byb2R1Y3REZXBhcnRtZW50IDwtIHRhYmxlKGRhdCRQcm9kdWN0RGVwYXJ0bWVudCkKdGFiX1Byb2R1Y3REZXBhcnRtZW50CnRhYmxlKGRhdCRQcm9kdWN0RGVwYXJ0bWVudCkvc3VtKG5yb3coZGF0KSkKYmFycGxvdCh0YWJfUHJvZHVjdERlcGFydG1lbnQsIG1haW4gPSAiQuG7mSBwaOG6rW4gc+G6o24gcGjhuqltIC0gUHJvZHVjdERlcGFydG1lbnQiLCBjb2wgPSAiZG9kZ2VyYmx1ZSIsIGxhcyA9IDIpCmBgYAoKIyMjIyAqKjIuOS4yIE5o4bqtbiB4w6l0ICoqCgotIEPDoWMgYuG7mSBwaMOibiBjaGnhur9tIMSRYSBz4buRIHRyb25nIHRvw6BuIGLhu5kgY8OhYyBi4buZIHBo4bqtbiDEkcaw4bujYyB0aOG7kW5nIGvDqjoKCiAgLSBQcm9kdWNlIChSYXUgcXXhuqMpOiBgciB0YWJsZShkYXQkUHJvZHVjdERlcGFydG1lbnQpWzE4XS9zdW0obnJvdyhkYXQpKSoxMDBgXCUKCiAgLSBTbmFjayBGb29kczogYHIgdGFibGUoZGF0JFByb2R1Y3REZXBhcnRtZW50KVsyMF0vc3VtKG5yb3coZGF0KSkqMTAwYFwlCgogIC0gSG91c2Vob2xkOiBgciB0YWJsZShkYXQkUHJvZHVjdERlcGFydG1lbnQpWzE1XS9zdW0obnJvdyhkYXQpKSoxMDBgXCUKCi0gS2jDoWNoIGjDoG5nIG11YSBuaGnhu4F1IGPDoWMgbeG6t3QgaMOgbmc6CgogIC0gVMawxqFpIHPhu5FuZywgZOG7hSBo4buPbmcgKHByb2R1Y2UpIC0+IHnDqnUgY+G6p3UgYuG6o28gcXXhuqNuIHbDoCBjaHXhu5dpIGN1bmcg4bupbmcgdOG7kXQuCgogIC0gxJDhu5MgxINuIHbhurd0IHbDoCBow6BuZyBnaWEgZOG7pW5nIC0+IHBo4bqjbiDDoW5oIHRow7NpIHF1ZW4gdGnDqnUgZMO5bmcgbmhhbmgsIHRp4buHbiBs4bujaS4KCi0gxJDDonkgbMOgIGPGoSBo4buZaSDEkeG7gyB0xINuZyBjxrDhu51uZyBtYXJrZXRpbmcgbmjDs20gc+G6o24gcGjhuqltIHRp4buHbiBs4bujaSwgY29tYm8gYuG7r2EgxINuLCBz4bqjbiBwaOG6qW0gY2hvIGjhu5kgZ2lhIMSRw6xuaC4KCiMjIyAqKjIuMTAuIFBST0RVQ1RDQVRFR09SWSoqCgojIyMjICoqMi4xMC4xIFRo4buRbmcga8OqIHR14bqnbiBzdeG6pXQgdsOgIHRy4buxYyBxdWFuIGjDs2EqKgoKYGBge3J9CnRhYl9Qcm9kdWN0Q2F0ZWdvcnkgPC0gdGFibGUoZGF0JFByb2R1Y3RDYXRlZ29yeSkKdGFiX1Byb2R1Y3RDYXRlZ29yeQp0YWJsZShkYXQkUHJvZHVjdENhdGVnb3J5KS9zdW0obnJvdyhkYXQpKQpiYXJwbG90KHRhYl9Qcm9kdWN0Q2F0ZWdvcnksIG1haW4gPSAiRGFuaCBt4bulYyBz4bqjbiBwaOG6qW0gLSBQcm9kdWN0Q2F0ZWdvcnkiLCBjb2wgPSAic2VhZ3JlZW4iLCBsYXMgPSAyKQpgYGAKCiMjIyMgKioyLjEwLjIgTmjhuq1uIHjDqXQqKgoKLSBDw6FjIGxv4bqhaSB0aOG7sWMgcGjhuqltIHBo4buVIGJp4bq/biDEkcaw4bujYyBxdWFuIHPDoXQgdOG7qyBiaeG7g3UgxJHhu5M6CgogIC0gVmVnZXRhYmxlcyAoUmF1KTogduG7m2kgc+G7kSBsxrDhu6NuZyBsw6AgYHIgdGFibGUoZGF0JFByb2R1Y3RDYXRlZ29yeSlbNDVdYCBraMOhY2ggaMOgbmcgdsOgIGNoaeG6v20gaOG6v3QgKGByIHRhYmxlKGRhdCRQcm9kdWN0Q2F0ZWdvcnkpWzQ1XS9zdW0obnJvdyhkYXQpKSoxMDBgXCUpCgogIC0gU25hY2sgRm9vZHM6IGByIHRhYmxlKGRhdCRQcm9kdWN0Q2F0ZWdvcnkpWzQyXWAga2jDoWNoIGjDoG5nIHbDoCBjaGnhur9tIGjhur90IChgciB0YWJsZShkYXQkUHJvZHVjdENhdGVnb3J5KVs0Ml0vc3VtKG5yb3coZGF0KSkqMTAwYFwlKQoKICAtIERhaXJ5IChT4buvYSk6IGByIHRhYmxlKGRhdCRQcm9kdWN0Q2F0ZWdvcnkpWzE4XWAga2jDoWNoIGjDoG5nIHbDoCBjaGnhur9tIGjhur90IChgciB0YWJsZShkYXQkUHJvZHVjdENhdGVnb3J5KVsxOF0vc3VtKG5yb3coZGF0KSkqMTAwYFwlKQoKICAtIEZydWl0LCBNZWF0LCBGcm96ZW4gRm9vZHMuLi4KCi0gxJDDonkgbMOgIG5o4buvbmcgbeG6t3QgaMOgbmcgdGnDqnUgZMO5bmcgbmhhbmgsIGPDsyB2w7JuZyDEkeG7nWkgbmfhuq9uLgoKLSBWaeG7h2Mga2jDoWNoIGjDoG5nIG11YSBjaOG7pyB54bq/dSBjw6FjIG3hurd0IGjDoG5nIHRoaeG6v3QgeeG6v3UgY2hvIHRo4bqleSBzacOqdSB0aOG7iyBob+G6oXQgxJHhu5luZyB04buRdCB0cm9uZyB2aeG7h2MgcGjhu6VjIHbhu6Ugbmh1IGPhuqd1IGPGoSBi4bqjbiwgY2jhu6kga2jDtG5nIHBo4bqjaSBz4bqjbiBwaOG6qW0geGEgeOG7iSBoYXkga2jDtG5nIHRoxrDhu51uZyB4dXnDqm4uCgojIyAqKlBI4bqmTiAzOiDGr+G7mkMgTMav4buiTkcgS0hP4bqiTkcgVsOAIEtJ4buCTSDEkOG7ik5IIEdJ4bqiIFRIVVnhur5UIENITyBU4bu2IEzhu4YgKE3hu5hUIEJJ4bq+TikqKgoKLSB0YWJsZSgpOglUaOG7kW5nIGvDqiBz4buRIGzGsOG7o25nIHThu6tuZyBsb+G6oWkgdHJvbmcgYmnhur9uIMSR4buLbmggdMOtbmgKLSBzdW0oLi4uKToJxJDhur9tIGJhbyBuaGnDqnUgZMOybmcgdGjhu49hIMSRaeG7gXUga2nhu4duIChnacOhIHRy4buLIHF1YW4gdMOibSkKLSBsZW5ndGgoLi4uKToJVOG7lW5nIHPhu5EgbeG6q3UKLSBwcm9wLnRlc3QoLi4uKToJVMOtbmgga2hv4bqjbmcgdGluIGPhuq15IHbDoCBraeG7g20gxJHhu4tuaCBnaeG6oyB0aHV54bq/dCBjaG8gdOG7tyBs4buHCi0gcCA9IC4uLgk6IFThu7cgbOG7hyBnaeG6oyDEkeG7i25oIHRyb25nIGdp4bqjIHRodXnhur90IEgwCi0gYWx0ZXJuYXRpdmUgPSAuLi46CUtp4buDbSDEkeG7i25oIGhhaSBwaMOtYSAoInR3by5zaWRlZCIpLCBt4buZdCBwaMOtYSBs4bubbiBoxqFuICgiZ3JlYXRlciIpLCBuaOG7jyBoxqFuICgibGVzcyIpCgojIyMgKiozLjEgQmnhur9uIEdlbmRlciB2w6AgaOG6oW5nIG3hu6VjIMSR4buBIGPhuq1wIGzDoCBGZW1hbGUqKgoKYGBge3J9CiMgWMOhYyDEkeG7i25oIGjhuqFuZyBt4bulYyBxdWFuIHTDom0KdGFibGUoZGF0JEdlbmRlcikKIyBT4buRIGzGsOG7o25nIHbDoCB04buVbmcgc+G7kSAKc2xmZW1hbGUgPC0gc3VtKGRhdCRHZW5kZXIgPT0gIkYiKQp0b3RhbGdlbmRlciA8LSBsZW5ndGgoZGF0JEdlbmRlcikKIyDGr+G7m2MgbMaw4bujbmcga2hv4bqjbmcgdGluIGPhuq15IDk1JSBjaG8gdOG7tyBs4buHICJGZW1hbGUiCnByb3AudGVzdChzbGZlbWFsZSwgdG90YWxnZW5kZXIsIGNvbmYubGV2ZWwgPSAwLjk1KQojIEtp4buDbSDEkeG7i25oIGdp4bqjIHRodXnhur90OiB04bu3IGzhu4cgRmVtYWxlID0gMC41CnByb3AudGVzdChzbGZlbWFsZSwgdG90YWxnZW5kZXIsIHAgPSAwLjUsIGFsdGVybmF0aXZlID0gInR3by5zaWRlZCIsIGNvbmYubGV2ZWwgPSAwLjk1KQpgYGAKCioqR2nhuqMgdGh1eeG6v3QqKgoKLSBIMDogcCA9IDAuNQoKLSBIMTogcCDiiaAgMC41CgoqKsSQ4buNYyBr4bq/dCBxdeG6oyB2w6Aga+G6v3QgbHXhuq1uICoqCgotIFThu5VuZyBz4buRIGPDoSB0aOG7gyB0cm9uZyBt4bqrdSBsw6AgMTQuMDU5IG5nxrDhu51pLCB0cm9uZyDEkcOzIGPDsyA3LjE3MCBuZ8aw4budaSBsw6AgbuG7ryB2w6AgNi44ODkgbmfGsOG7nWkgbMOgIG5hbS4gVOG7tyBs4buHIG7hu68gZ2nhu5tpIHRyb25nIG3huqt1IGzDoCA1MC45OTkzNiUuCgotIEvhur90IHF14bqjIGtp4buDbSDEkeG7i25oIHThu7cgbOG7hyBt4buZdCBt4bqrdSB24bubaSBnaeG6oyB0aHV54bq/dCB04bu3IGzhu4cgbuG7ryB0cm9uZyB04buVbmcgdGjhu4MgbMOgIDUwJSAoSOKCgDogcCA9IDAuNSkgY2hvIHRo4bqleSBnacOhIHRy4buLIHRo4buRbmcga8OqIENoaS1zcXVhcmVkID0gNS41NzY1IHbhu5tpIDEgYuG6rWMgdOG7sSBkbywgdsOgIHAtdmFsdWUgPSAwLjAxODIuIFbhu5tpIG3hu6ljIMO9IG5naMSpYSB0aMO0bmcgdGjGsOG7nW5nIM6xID0gMC4wNSwgdGEgYsOhYyBi4buPIGdp4bqjIHRodXnhur90IGtow7RuZywgY2hvIHRo4bqleSB04bu3IGzhu4cgbuG7ryBnaeG7m2kgdHJvbmcgbeG6q3UgY8OzIHPhu7Ega2jDoWMgYmnhu4d0IGPDsyDDvSBuZ2jEqWEgdGjhu5FuZyBrw6ogc28gduG7m2kgdOG7tyBs4buHIDUwJS4KCi0gS2hv4bqjbmcgdGluIGPhuq15IDk1JSBjaG8gdOG7tyBs4buHIG7hu68gdHJvbmcgcXXhuqduIHRo4buDIG7hurFtIHRyb25nIGtob+G6o25nIHThu6sgNTAuMTY5MzElIMSR4bq/biA1MS44Mjg4NiUsIGNobyB0aOG6pXkgdOG7tyBs4buHIG7DoHkgY2jhu4kgaMahaSBjYW8gaMahbiA1MCUuCgoqKlTDs20gbOG6oWkqKgoKLSBUdXkgdOG7tyBs4buHIG7hu68gZ2nhu5tpIHRyb25nIG3huqt1IGNo4buJIG5o4buJbmggaMahbiBuYW0gZ2nhu5tpIGtow7RuZyBxdcOhIGNhbyAgKDUwLjk5OTM2JSksIG5oxrBuZyBz4buxIGNow6puaCBs4buHY2ggbsOgeSBsw6AgY8OzIMO9IG5naMSpYSB0aOG7kW5nIGvDqi4gRG8gxJHDsywgY8OzIHRo4buDIGvhur90IGx14bqtbiBy4bqxbmcgbuG7ryBnaeG7m2kgY2hp4bq/bSDGsHUgdGjhur8gbmjhurkgbmjGsG5nIMSRw6FuZyBr4buDIHbhu4EgbeG6t3QgdGjhu5FuZyBrw6ogdHJvbmcgbeG6q3Uga2jhuqNvIHPDoXQgbsOgeS4KCioqS+G6v3QgbHXhuq1uKioKCi0gVOG7tyBs4buHIG7hu68gdHJvbmcgdOG7lW5nIG3huqt1IGzDoCA1MC45OTklLCBraMOhYyBjw7Mgw70gbmdoxKlhIHRo4buRbmcga8OqIHNvIHbhu5tpIDUwJS4KLSBW4bubaSBwLXZhbHVlID0gMC4wMTgyLCBi4bqhbiBiw6FjIGLhu48gZ2nhuqMgdGh1eeG6v3QgcuG6sW5nIHThu7cgbOG7hyBu4buvIGzDoCA1MCUg4bufIG3hu6ljIMO9IG5naMSpYSA1JS4KLSBUdXkgbmhpw6puLCBz4buxIGNow6puaCBs4buHY2ggZMO5IGPDsyDDvSBuZ2jEqWEgdGjhu5FuZyBrw6osIG5oxrBuZyBy4bqldCBuaOG7jyB24buBIG3hurd0IHRo4buxYyB04bq/ICh+MSUpCgojIyMgKiozLjIgQmnhur9uIEhvbWVvd25lciB24bubaSBo4bqhbmcgbeG7pWMgxJHhu4EgY+G6rXAgbMOgICJZIioqCgpgYGB7cn0KIyBYw6FjIMSR4buLbmggaOG6oW5nIG3hu6VjIHF1YW4gdMOibQp0YWJsZShkYXQkSG9tZW93bmVyKQpzbHNobiA8LSBzdW0oZGF0JEhvbWVvd25lciA9PSAiWSIpCnRvdGFsaG9tZW93bmVyIDwtIGxlbmd0aChkYXQkSG9tZW93bmVyKQoKIyDGr+G7m2MgbMaw4bujbmcga2hv4bqjbmcgdGluIGPhuq15CnByb3AudGVzdChzbHNobiwgdG90YWxob21lb3duZXIsIGNvbmYubGV2ZWwgPSAwLjk1KQoKIyBLaeG7g20gxJHhu4tuaCBnaeG6oyB0aHV54bq/dCBIMDogdOG7tyBs4buHIGNo4bunIG5ow6AgPSAwLjYKcHJvcC50ZXN0KHNsc2huLCB0b3RhbGhvbWVvd25lciwgcCA9IDAuNiwgYWx0ZXJuYXRpdmUgPSAidHdvLnNpZGVkIiwgY29uZi5sZXZlbCA9IDAuOTUpCmBgYAoKKipHaeG6oyB0aHV54bq/dCAxKioKCi0gSDA6IHAgPSAwLjUKCi0gSDE6IHAg4omgIDAuNQoKKirEkOG7jWMga+G6v3QgcXXhuqMgdsOgIGvhur90IGx14bqtbioqCgotIEvhur90IHF14bqjIHBow6JuIHTDrWNoIHThu7cgbOG7hyBt4buZdCBt4bqrdSBjaG8gdGjhuqV5IHThu7cgbOG7hyDEkeG7kWkgdMaw4bujbmcgY2jhu41uIGzhu7FhIHRyb25nIHThu5VuZyB0aOG7gyBt4bqrdSBsw6AgNjAuMDYlLiBLaGkgdGnhur9uIGjDoG5oIGtp4buDbSDEkeG7i25oIGdp4bqjIHRodXnhur90IHbhu5tpIHThu7cgbOG7hyBjaHXhuqluIGzDoCA1MCUsIHRhIHRodSDEkcaw4bujYyBnacOhIHRy4buLIHRo4buRbmcga8OqIENoaS1zcXVhcmVkIGzDoCA1NjguODYgduG7m2kgbeG7mXQgYuG6rWMgdOG7sSBkbywgdsOgIHAtdmFsdWUgPCAyLjJlLTE2LiBW4bubaSBt4bupYyDDvSBuZ2jEqWEgdGjDtG5nIHRoxrDhu51uZyAozrEgPSAwLjA1KSwgdGEgYsOhYyBi4buPIGdp4bqjIHRodXnhur90IGtow7RuZyAoSOKCgDogcCA9IDAuNSkuIMSQaeG7gXUgbsOgeSBjaG8gdGjhuqV5IHThu7cgbOG7hyB0aOG7sWMgdOG6vyBraMOhYyBiaeG7h3QgbeG7mXQgY8OhY2ggY8OzIMO9IG5naMSpYSB0aOG7kW5nIGvDqiBzbyB24bubaSA1MCUuCgoqKkdp4bqjIHRodXnhur90IDIqKgoKLSBIMDogcCA9IDAuNgoKLSBIMTogcCDiiaAgMC42CgoqKsSQ4buNYyBr4bq/dCBxdeG6oyB2w6Aga+G6v3QgbHXhuq1uKioKCi0gTmfGsOG7o2MgbOG6oWksIGtoaSBraeG7g20gxJHhu4tuaCB24bubaSB04bu3IGzhu4cgZ2nhuqMgxJHhu4tuaCBsw6AgNjAlLCBnacOhIHRy4buLIHRo4buRbmcga8OqIENoaS1zcXVhcmVkIGNo4buJIGzDoCAwLjAxOTQ0NSB24bubaSBwLXZhbHVlID0gMC44ODkxLiBEbyBwLXZhbHVlIGzhu5tuIGjGoW4gxJHDoW5nIGvhu4Mgc28gduG7m2kgbeG7qWMgw70gbmdoxKlhIDAuMDUsIHRhIGtow7RuZyBiw6FjIGLhu48gZ2nhuqMgdGh1eeG6v3Qga2jDtG5nIChI4oKAOiBwID0gMC42KS4gxJBp4buBdSBuw6B5IGNobyB0aOG6pXkga2jDtG5nIGPDsyBi4bqxbmcgY2jhu6luZyB0aOG7kW5nIGvDqiBjaG8gdGjhuqV5IHThu7cgbOG7hyB0aOG7sWMgdOG6vyBraMOhYyBiaeG7h3Qgc28gduG7m2kgNjAlLgoKKipUw7NtIGzhuqFpOioqCgotIFThu7cgbOG7hyBs4buxYSBjaOG7jW4gdHJvbmcgbeG6q3Uga2jhuqNvIHPDoXQgbMOgIGtob+G6o25nIDYwLjA2JSB2w6Aga2jDoWMgYmnhu4d0IGPDsyDDvSBuZ2jEqWEgdGjhu5FuZyBrw6ogc28gduG7m2kgdOG7tyBs4buHIGdp4bqjIMSR4buLbmggNTAlLCBuaMawbmcga2jDtG5nIGtow6FjIGJp4buHdCDEkcOhbmcga+G7gyBzbyB24bubaSB04bu3IGzhu4cgNjAlLiDEkMOieSBsw6AgY8ahIHPhu58gxJHhu4MgZ2nhuqMgxJHhu4tuaCBy4bqxbmcgdOG7tyBs4buHIGzhu7FhIGNo4buNbiB0cm9uZyBxdeG6p24gdGjhu4MgY8OzIHRo4buDIHbDoG8ga2hv4bqjbmcgNjAlLgoKIyMjICoqMy4zIEJp4bq/biBQcm9kdWN0RmFtaWx5IHbhu5tpIGjhuqFuZyBt4bulYyDEkeG7gSBj4bqtcCBsw6AgIkZvb2QiKioKCmBgYHtyfQojIFjDoWMgxJHhu4tuaCBo4bqhbmcgbeG7pWMgxJHhu4EgY+G6rXAKdGFibGUoZGF0JFByb2R1Y3RGYW1pbHkpCnNsZm9vZCA8LSBzdW0oZGF0JFByb2R1Y3RGYW1pbHkgPT0gIkZvb2QiKQp0b3RhbHByb2R1Y3QgPC0gbGVuZ3RoKGRhdCRQcm9kdWN0RmFtaWx5KQojIMav4bubYyBsxrDhu6NuZyBraG/huqNuZyB0aW4gY+G6rXkKcHJvcC50ZXN0KHNsZm9vZCwgdG90YWxwcm9kdWN0LCBjb25mLmxldmVsID0gMC45NSkKIyBLaeG7g20gxJHhu4tuaCBnaeG6oyB0aHV54bq/dCBIMDogdOG7tyBs4buHID49IDAuNyAoYWx0ZXJuYXRpdmUgPSAiZ3JlYXRlciI6IGtp4buDbSDEkeG7i25oIDEgcGjDrWEgKD4pKQpwcm9wLnRlc3Qoc2xmb29kLCB0b3RhbHByb2R1Y3QsIHAgPSAwLjcsIGFsdGVybmF0aXZlID0gImdyZWF0ZXIiLCBjb25mLmxldmVsID0gMC45NSkKCgpgYGAKCioqR2nhuqMgdGh1eeG6v3QgMSoqCgotIEgwOiBwID0gMC41CgotIEgxOiBwIOKJoCAwLjUKCioqxJDhu41jIGvhur90IHF14bqjIHbDoCBr4bq/dCBsdeG6rW4qKgoKLSBL4bq/dCBxdeG6oyBraeG7g20gxJHhu4tuaCB04bu3IGzhu4cgbeG7mXQgbeG6q3UgY2hvIGdp4bqjIHRodXnhur90IHLhurFuZyB04bu3IGzhu4cgc+G6o24gcGjhuqltIHRodeG7mWMgbmjDs20gRm9vZCBi4bqxbmcgNTAlIChI4oKAOiBwID0gMC41KSBjaG8gdGjhuqV5OgoKICAtIEdpw6EgdHLhu4sgdGjhu5FuZyBrw6ogQ2hpLXNxdWFyZWQgPSAyNzc0LjksIGRmID0gMQoKICAtIHAtdmFsdWUgPCAyLjJlLTE2CgotIFbhu5tpIG3hu6ljIMO9IG5naMSpYSBsw6AgMC4wNSwgdGEgYsOhYyBi4buPIGdp4bqjIHRodXnhur90IEgwLCBuZ2jEqWEgbMOgIHThu7cgbOG7hyBz4bqjbiBwaOG6qW0gbmjDs20gRm9vZCBraMO0bmcgY2hp4bq/bSA1MCUgdHJvbmcgdOG7lW5nIHPhu5EgIlByb2R1Y3RGYW1pbHkiLgoKLSBLaG/huqNuZyB0aW4gY+G6rXkgOTUlIGNobyB04bu3IGzhu4cgbsOgeSBu4bqxbSB0cm9uZyBraG/huqNuZyB04burIDcxLjQ3JSDEkeG6v24gNzIuOTUlLgoKKipHaeG6oyB0aHV54bq/dCAyKioKCi0gSDA6IHAgPSAwLjcKCi0gSDE6IHAgPiAwLjcKCioqxJDhu41jIGvhur90IHF14bqjIHbDoCBr4bq/dCBsdeG6rW4qKgoKLSBL4bq/dCBxdeG6oyBraeG7g20gxJHhu4tuaCB0aeG6v3AgdGhlbyBraeG7g20gdHJhIHhlbSBsaeG7h3UgdOG7tyBs4buHIHPhuqNuIHBo4bqpbSBuaMOzbSBGb29kIGPDsyBjYW8gaMahbiA3MCUgaGF5IGtow7RuZywgY2hvIHRo4bqleToKCiAgLSBHacOhIHRy4buLIENoaS1zcXVhcmVkID0gMzIuODAyLCBkZiA9IDEKCiAgLSBwLXZhbHVlID0gNS4xMDFlLTA5CgotIFbhu5tpIG3hu6ljIMO9IG5naMSpYSAwLjA1LCB0YSB0aeG6v3AgdOG7pWMgYsOhYyBi4buPIGdp4bqjIHRodXnhur90IGtow7RuZywgdsOgIGNo4bqlcCBuaOG6rW4gZ2nhuqMgdGh1eeG6v3QgxJHhu5FpIChI4oKBOiBwID4gMC43KS4gxJBp4buBdSBuw6B5IGNo4bupbmcgdOG7jyB04bu3IGzhu4cgc+G6o24gcGjhuqltIG5ow7NtIEZvb2QgbOG7m24gaMahbiA3MCUgduG7m2kgw70gbmdoxKlhIHRo4buRbmcga8OqIGNhby4KCi0gS2hv4bqjbmcgdGluIGPhuq15IDk1JSBjaG8gdOG7tyBs4buHIG7DoHkgbuG6sW0gdHJvbmcga2hv4bqjbmcgdOG7qyA3MS41OCUgxJHhur9uIDEwMCUuCgoKIyMgKipQSOG6pk4gNDogUEjDgk4gVMONQ0ggTeG7kEkgUVVBTiBI4buGIEdJ4buuQSBIQUkgQknhur5OIMSQ4buKTkggVMONTkgqKgoKLSBDaOG7jW4gbOG6p24gbMaw4bujdCBjw6FjIGPhurdwIGJp4bq/biBjw7MgbeG7kWkgdMawxqFuZyBxdWFuIHRow7ogduG7iyBsw6BtIOG6o25oIGjGsOG7n25nIMSR4bq/biBow6BuaCB2aSBtdWEgaMOgbmcsIGdpYW8gZOG7i2NoIGPhu6dhIGtow6FjaCBow6BuZy4KCgpgYGB7cn0KaW5zdGFsbC5wYWNrYWdlcygidGlkeXZlcnNlIiwgcmVwb3MgPSAiaHR0cHM6Ly9jcmFuLnItcHJvamVjdC5vcmciKQppbnN0YWxsLnBhY2thZ2VzKCJqYW5pdG9yIiwgcmVwb3MgPSAiaHR0cHM6Ly9jcmFuLnItcHJvamVjdC5vcmciKQppbnN0YWxsLnBhY2thZ2VzKCJnbW9kZWxzIiwgcmVwb3MgPSAiaHR0cHM6Ly9jcmFuLnItcHJvamVjdC5vcmciKQppbnN0YWxsLnBhY2thZ2VzKCJnZ3Bsb3QyIiwgcmVwb3MgPSAiaHR0cHM6Ly9jcmFuLnItcHJvamVjdC5vcmciKQppbnN0YWxsLnBhY2thZ2VzKCJzY2FsZXMiLCByZXBvcyA9ICJodHRwczovL2NyYW4uci1wcm9qZWN0Lm9yZyIpCmxpYnJhcnkodGlkeXZlcnNlKQpsaWJyYXJ5KGphbml0b3IpCmxpYnJhcnkoZ21vZGVscykKbGlicmFyeShnZ3Bsb3QyKQpsaWJyYXJ5KHNjYWxlcykKYGBgCgoKIyMjICoqNC4xIEdlbmRlciB2w6AgUHJvZHVjdEZhbWlseSoqCgojIyMjICoqNC4xLjEgQuG6o25nIHThuqduIHN14bqldCBjaMOpbyoqCgpgYGB7cn0KdGFiMSA8LSB0YWJsZShkYXQkR2VuZGVyLCBkYXQkUHJvZHVjdEZhbWlseSkKdGFiMSAKcHJvcC50YWJsZSh0YWIxLCAxKSAjIHRoZW8gaMOgbmcKYGBgCgoKLSBE4buxYSB0csOqbiBi4bqjbmcgdOG6p24gc3XhuqV0IGNow6lvIGdp4buvYSBHaeG7m2kgdMOtbmggKEdlbmRlcikgdsOgIE5ow7NtIHPhuqNuIHBo4bqpbSAoUHJvZHVjdEZhbWlseSk6CgotIE7hu68gZ2nhu5tpIChGKSBjw7MgeHUgaMaw4bubbmcgY2jhu41uIHPhuqNuIHBo4bqpbSBGb29kIG5oaeG7gXUgbmjhuqV0LCBjaGnhur9tIGtob+G6o25nIDcxLjglIHRyb25nIHThu5VuZyBz4buRIHPhuqNuIHBo4bqpbSBtw6AgbuG7ryBnaeG7m2kgY2jhu41uLiBUaeG6v3AgdGhlbyBsw6AgbmjDs20gTm9uLUNvbnN1bWFibGUgKDE4LjklKSB2w6AgRHJpbmsgKDkuMyUpLgoKLSBOYW0gZ2nhu5tpIChNKSBjxaluZyBjw7MgeHUgaMaw4bubbmcgdMawxqFuZyB04buxIGtoaSBs4buxYSBjaOG7jW4gbmhp4buBdSBuaOG6pXQgbMOgIEZvb2QgKDcyLjYlKSwga+G6vyDEkeG6v24gbMOgIE5vbi1Db25zdW1hYmxlICgxOC45JSkgdsOgIMOtdCBuaOG6pXQgbMOgIERyaW5rICg4LjQlKS4KCi0gU28gc8OhbmggZ2nhu5tpIHTDrW5oOgoKICAtIEPhuqMgaGFpIGdp4bubaSDEkeG7gXUgxrB1IHRpw6puIG5ow7NtIHPhuqNuIHBo4bqpbSBGb29kIHbhu5tpIHThu7cgbOG7hyBjYW8gbmjhuqV0LCB0csOqbiA3MCUuCgogIC0gVOG7tyBs4buHIGNo4buNbiBEcmluayBj4bunYSBu4buvIGNhbyBoxqFuIG5hbSBt4buZdCBjaMO6dCAoOS4zJSBzbyB24bubaSA4LjQlKS4KCiAgLSBU4bu3IGzhu4cgY2jhu41uIE5vbi1Db25zdW1hYmxlIGfhuqduIG5oxrAgdMawxqFuZyDEkcawxqFuZyBnaeG7r2EgaGFpIGdp4bubaSAoMTguOSUpLgoKKipL4bq/dCBsdeG6rW46KioKClPhu58gdGjDrWNoIHbhu4EgbmjDs20gc+G6o24gcGjhuqltIGtow7RuZyBjw7Mgc+G7sSBraMOhYyBiaeG7h3QgxJHDoW5nIGvhu4MgZ2nhu69hIG5hbSB2w6AgbuG7ry4gTmjDs20gc+G6o24gcGjhuqltIEZvb2QgY2hp4bq/bSDGsHUgdGjhur8gdHJvbmcgbOG7sWEgY2jhu41uIGPhu6dhIGPhuqMgaGFpIGdp4bubaSwgdHJvbmcga2hpIG5ow7NtIERyaW5rIGzDoCDDrXQgxJHGsOG7o2MgY2jhu41uIG5o4bqldC4KCiMjIyMgKio0LjEuMiBUcuG7sWMgcXVhbiBow7NhKioKCmBgYHtyfQpnZ3Bsb3QoZGF0LCBhZXMoeCA9IEdlbmRlciwgZmlsbCA9IFByb2R1Y3RGYW1pbHkpKSArCiAgZ2VvbV9iYXIocG9zaXRpb24gPSAiZmlsbCIpICsKICBsYWJzKHRpdGxlID0gIlThu7cgbOG7hyBQcm9kdWN0RmFtaWx5IHRoZW8gIEdlbmRlciIsIHkgPSAiVOG7tyBs4buHIiwgeCA9ICJHZW5kZXIiKSArCiAgc2NhbGVfeV9jb250aW51b3VzKGxhYmVscyA9IHNjYWxlczo6cGVyY2VudCkgKwogIHRoZW1lX21pbmltYWwoKQpgYGAKCgojIyMjICoqNC4xLjMgTmjhuq1uIHjDqXQqKgoKLSBE4buxYSB0csOqbiBi4bqjbmcgdOG6p24gc3XhuqV0IGNow6lvIGdp4buvYSBHaeG7m2kgdMOtbmggKEdlbmRlcikgdsOgIE5ow7NtIHPhuqNuIHBo4bqpbSAoUHJvZHVjdEZhbWlseSk6CgotIE7hu68gZ2nhu5tpIChGKSBjw7MgeHUgaMaw4bubbmcgY2jhu41uIHPhuqNuIHBo4bqpbSBGb29kIG5oaeG7gXUgbmjhuqV0LCBjaGnhur9tIGtob+G6o25nIDcxLjglIHRyb25nIHThu5VuZyBz4buRIHPhuqNuIHBo4bqpbSBtw6AgbuG7ryBnaeG7m2kgY2jhu41uLiBUaeG6v3AgdGhlbyBsw6AgbmjDs20gTm9uLUNvbnN1bWFibGUgKDE4LjklKSB2w6AgRHJpbmsgKDkuMyUpLgoKLSBOYW0gZ2nhu5tpIChNKSBjxaluZyBjw7MgeHUgaMaw4bubbmcgdMawxqFuZyB04buxIGtoaSBs4buxYSBjaOG7jW4gbmhp4buBdSBuaOG6pXQgbMOgIEZvb2QgKDcyLjYlKSwga+G6vyDEkeG6v24gbMOgIE5vbi1Db25zdW1hYmxlICgxOC45JSkgdsOgIMOtdCBuaOG6pXQgbMOgIERyaW5rICg4LjQlKS4KCi0gU28gc8OhbmggZ2nhu5tpIHTDrW5oOgoKICAtIEPhuqMgaGFpIGdp4bubaSDEkeG7gXUgxrB1IHRpw6puIG5ow7NtIHPhuqNuIHBo4bqpbSBGb29kIHbhu5tpIHThu7cgbOG7hyBjYW8gbmjhuqV0LCB0csOqbiA3MCUuCgogIC0gVOG7tyBs4buHIGNo4buNbiBEcmluayBj4bunYSBu4buvIGNhbyBoxqFuIG5hbSBt4buZdCBjaMO6dCAoOS4zJSBzbyB24bubaSA4LjQlKS4KCiAgLSBU4bu3IGzhu4cgY2jhu41uIE5vbi1Db25zdW1hYmxlIGfhuqduIG5oxrAgdMawxqFuZyDEkcawxqFuZyBnaeG7r2EgaGFpIGdp4bubaSAoMTguOSUpLgoKKipL4bq/dCBsdeG6rW46KioKCi0gU+G7nyB0aMOtY2ggduG7gSBuaMOzbSBz4bqjbiBwaOG6qW0ga2jDtG5nIGPDsyBz4buxIGtow6FjIGJp4buHdCDEkcOhbmcga+G7gyBnaeG7r2EgbmFtIHbDoCBu4buvLiBOaMOzbSBz4bqjbiBwaOG6qW0gRm9vZCBjaGnhur9tIMawdSB0aOG6vyB0cm9uZyBs4buxYSBjaOG7jW4gY+G7p2EgY+G6oyBoYWkgZ2nhu5tpLCB0cm9uZyBraGkgbmjDs20gRHJpbmsgbMOgIMOtdCDEkcaw4bujYyBjaOG7jW4gbmjhuqV0LgoKIyMjIyAqKjQuMS40IEtp4buDbSDEkeG7i25oIENoaS1iw6xuaCBwaMawxqFuZyoqCgpgYGB7cn0KY2hpX3Jlc3VsdDEgPC0gY2hpc3EudGVzdCh0YWIxKQpjaGlfcmVzdWx0MQoKIyBHacOhIHRy4buLIHRo4buRbmcga8OqIENoaS1zcXVhcmVkCmNoaV9yZXN1bHQxJHN0YXRpc3RpYwojIELhuq1jIHThu7EgZG8gCmNoaV9yZXN1bHQxJHBhcmFtZXRlcgojIEdpw6EgdHLhu4sgcApjaGlfcmVzdWx0MSRwLnZhbHVlCmBgYAoKKipHaeG6oyB0aHV54bq/dCoqCgotIEdp4bqjIHRodXnhur90IEgwOiBHaeG7m2kgdMOtbmggKEdlbmRlcikgdsOgIE5ow7NtIHPhuqNuIHBo4bqpbSAoUHJvZHVjdEZhbWlseSkgbMOgIMSR4buZYyBs4bqtcCwga2jDtG5nIGPDsyBt4buRaSBsacOqbiBo4buHLgoKLSBHaeG6oyB0aHV54bq/dCBIMTogR2nhu5tpIHTDrW5oIHbDoCBOaMOzbSBz4bqjbiBwaOG6qW0gY8OzIGxpw6puIGjhu4cgduG7m2kgbmhhdS4KCioqS+G6v3QgcXXhuqMga2nhu4NtIMSR4buLbmg6KioKCi0gR2nDoSB0cuG7iyB0aOG7kW5nIGvDqiBDaGktc3F1YXJlZDogWC1zcXVhcmVkID0gMy41MTg0OQoKLSBC4bqtYyB04buxIGRvOiBkZiA9IDIKCi0gR2nDoSB0cuG7iyBwOiBwID0gMC4xNzIxNzQ4CgoqKkvhur90IGx14bqtbjoqKgoKLSBW4bubaSBt4bupYyDDvSBuZ2jEqWEgMC4wNSwgcF92YWx1ZSA9IDAuMTcyMiA+PSAwLjA1IOKGkiBraMO0bmcgxJHhu6cgYuG6sW5nIGNo4bupbmcgxJHhu4MgYsOhYyBi4buPIEgwLCB04bupYyBsw6Aga2jDtG5nIGPDsyBt4buRaSBsacOqbiBo4buHIGdp4buvYSAyIGJp4bq/biBHZW5kZXIgdsOgIFByb2R1Y3RGYW1pbHkuCgoKIyMjICoqNC4yIE1hcml0YWxTdGF0dXMgdsOgIEhvbWVvd25lcioqCgojIyMjICoqNC4yLjEgQuG6o25nIHThuqduIHN14bqldCBjaMOpbyoqCgpgYGB7cn0KdGFiMiA8LSB0YWJsZShkYXQkTWFyaXRhbFN0YXR1cywgZGF0JEhvbWVvd25lcikKdGFiMiAKcHJvcC50YWJsZSh0YWIyLCAxKQpgYGAKCiMjIyMgKio0LjIuMiBUcuG7sWMgcXVhbiBow7NhKioKCmBgYHtyfQpnZ3Bsb3QoZGF0LCBhZXMoeCA9IE1hcml0YWxTdGF0dXMsIGZpbGwgPSBIb21lb3duZXIpKSArCiAgZ2VvbV9iYXIocG9zaXRpb24gPSAiZmlsbCIpICsKICBsYWJzKHRpdGxlID0gIlThu7cgbOG7hyBIb21lb3duZXIgdGhlbyBNYXJpdGFsIFN0YXR1cyIsIHkgPSAiVOG7tyBs4buHIiwgeCA9ICJNYXJpdGFsIFN0YXR1cyIpICsKICBzY2FsZV95X2NvbnRpbnVvdXMobGFiZWxzID0gc2NhbGVzOjpwZXJjZW50KSArCiAgdGhlbWVfbWluaW1hbCgpCmBgYAoKIyMjIyAqKjQuMi4zIE5o4bqtbiB4w6l0KioKCiMjIyMgKio0LjIuNCBLaeG7g20gxJHhu4tuaCBDaGktYsOsbmggcGjGsMahbmcqKgoKYGBge3J9CmNoaV9yZXN1bHQyIDwtIGNoaXNxLnRlc3QodGFiMikKY2hpX3Jlc3VsdDIKCiMgR2nDoSB0cuG7iyB0aOG7kW5nIGvDqiBDaGktc3F1YXJlZApjaGlfcmVzdWx0MiRzdGF0aXN0aWMKIyBC4bqtYyB04buxIGRvIApjaGlfcmVzdWx0MiRwYXJhbWV0ZXIKIyBHacOhIHRy4buLIHAKY2hpX3Jlc3VsdDIkcC52YWx1ZQpgYGAKCioqR2nhuqMgdGh1eeG6v3QqKgoKLSBHaeG6oyB0aHV54bq/dCBIMDogVMOsbmggdHLhuqFuZyBow7RuIG5ow6JuIChNYXJpdGFsU3RhdHVzKSB2w6Agc+G7nyBo4buvdSBuaMOgIChIb21lb3d3bmVyKSBsw6AgxJHhu5ljIGzhuq1wLCBraMO0bmcgY8OzIG3hu5FpIGxpw6puIGjhu4cuCgotIEdp4bqjIHRodXnhur90IEgxOiBUw6xuaCB0cuG6oW5nIGjDtG4gbmjDom4gKE1hcml0YWxTdGF0dXMpIHbDoCBz4bufIGjhu691IG5ow6AgKEhvbWVvd3duZXIpIGPDsyBsacOqbiBo4buHIHbhu5tpIG5oYXUuCgoqKkvhur90IHF14bqjIGtp4buDbSDEkeG7i25oOioqCgotIEdpw6EgdHLhu4sgdGjhu5FuZyBrw6ogQ2hpLXNxdWFyZWQ6IFgtc3F1YXJlZCA9IDEyNDEuMjIKCi0gQuG6rWMgdOG7sSBkbzogZGYgPSAxCgotIEdpw6EgdHLhu4sgcDogcCA8IDIuMmUtMTYKCioqS+G6v3QgbHXhuq1uOioqCgotIFbhu5tpIG3hu6ljIMO9IG5naMSpYSAwLjA1LCBwX3ZhbHVlIDwgMC4wNSDihpIgdGEgxJHhu6cgxJFp4buBdSBraeG7h24gxJHhu4MgYsOhYyBi4buPIEgwLCB04bupYyBsw6AgY8OzIG3hu5FpIGxpw6puIGjhu4cgZ2nhu69hIDIgYmnhur9uIE1hcml0YWxTdGF0dXMgdsOgIEhvbWVvd25lci4gQ8OzIHRo4buDIGhp4buDdSBy4bqxbmcgdMOsbmggdHLhuqFuZyBow7RuIG5ow6JuIGPDsyDhuqNuaCBoxrDhu59uZyDEkeG6v24gdmnhu4djIG3hu5l0IG5nxrDhu51pIGPDsyBz4bufIGjhu691IG5ow6AgaGF5IGtow7RuZyAoaG/hurdjIG5nxrDhu6NjIGzhuqFpKS4KCiMjIyAqKjQuMyBBbm51YWxJbmNvbWUgdsOgIFByb2R1Y3RDYXRlZ29yeSoqCgojIyMjICoqNC4zLjEgQuG6o25nIHThuqduIHN14bqldCBjaMOpbyoqCgpgYGB7cn0KdGFiMyA8LSB0YWJsZShkYXQkQW5udWFsSW5jb21lLCBkYXQkUHJvZHVjdERlcGFydG1lbnQpCnRhYjMgCnByb3AudGFibGUodGFiMywgMSkKYGBgCgojIyMjICoqNC4zLjIgVHLhu7FjIHF1YW4gaMOzYSoqCgpgYGB7cn0KZ2dwbG90KGRhdCwgYWVzKHggPSBBbm51YWxJbmNvbWUsIGZpbGwgPSBQcm9kdWN0RGVwYXJ0bWVudCkpICsKICBnZW9tX2Jhcihwb3NpdGlvbiA9ICJmaWxsIikgKwogIGxhYnModGl0bGUgPSAiVOG7tyBs4buHIFByb2R1Y3REZXBhcnRtZW50IHRoZW8gQW5udWFsIEluY29tZSIsIHkgPSAiVOG7tyBs4buHIiwgeCA9ICJBbm51YWwgSW5jb21lIikgKwogIHNjYWxlX3lfY29udGludW91cyhsYWJlbHMgPSBzY2FsZXM6OnBlcmNlbnQpICsKICB0aGVtZV9taW5pbWFsKCkKYGBgCgojIyMjICoqNC4zLjMgTmjhuq1uIHjDqXQqKgoKIyMjIyAqKjQuMy40IEtp4buDbSDEkeG7i25oIGNoaSAtIGLDrG5oIHBoxrDGoW5nKioKCmBgYHtyfQpjaGlfcmVzdWx0MyA8LSBjaGlzcS50ZXN0KHRhYjMpCmNoaV9yZXN1bHQzCgojIEdpw6EgdHLhu4sgdGjhu5FuZyBrw6ogQ2hpLXNxdWFyZWQKY2hpX3Jlc3VsdDMkc3RhdGlzdGljCiMgQuG6rWMgdOG7sSBkbyAKY2hpX3Jlc3VsdDMkcGFyYW1ldGVyCiMgR2nDoSB0cuG7iyBwCmNoaV9yZXN1bHQzJHAudmFsdWUKYGBgCgoqKkdp4bqjIHRodXnhur90KioKCi0gR2nhuqMgdGh1eeG6v3QgSDA6IFRodSBuaOG6rXAgaMOgbmcgdGjDoW5nIChBbm51YWxJbmNvbWUpIHbDoCBQcm9kdWN0RGVwYXJ0bWVudCBsw6AgxJHhu5ljIGzhuq1wLCBraMO0bmcgY8OzIG3hu5FpIGxpw6puIGjhu4cuCgotIEdp4bqjIHRodXnhur90IEgxOiBUaHUgbmjhuq1wIGjDoG5nIHRow6FuZyAoQW5udWFsSW5jb21lKSB2w6AgUHJvZHVjdERlcGFydG1lbnQgY8OzIGxpw6puIGjhu4cgduG7m2kgbmhhdS4KCioqS+G6v3QgcXXhuqMga2nhu4NtIMSR4buLbmg6KioKCi0gR2nDoSB0cuG7iyB0aOG7kW5nIGvDqiBDaGktc3F1YXJlZDogWC1zcXVhcmVkID0gMTcwLjE2CgotIELhuq1jIHThu7EgZG86IGRmID0gMTQ3CgotIEdpw6EgdHLhu4sgcDogcCA9IDAuMDkyNzY0NwoKKipL4bq/dCBsdeG6rW46KioKCi0gVuG7m2kgbeG7qWMgw70gbmdoxKlhIDAuMDUgcF92YWx1ZSA9IDAuMDkyNzYgPiAwLjA1IOKGkiB0YSBraMO0bmcgxJHhu6cgxJFp4buBdSBraeG7h24gxJHhu4MgYsOhYyBi4buPIEgwLCB04bupYyBsw6Aga2jDtG5nIGPDsyBt4buRaSBsacOqbiBo4buHIGdp4buvYSAyIGJp4bq/biBBbm51YWxJbmNvbWUgdsOgIFByb2R1Y3REZXBhcnRtZW50LiAKCiMjIyAqKjQuNCBIb21lb3duZXIgdsOgIEFubnVhbEluY29tZSoqCgojIyMjICoqNC40LjEgQuG6o25nIHThuqduIHN14bqldCBjaMOpbyoqCmBgYHtyfQp0YWI0IDwtIHRhYmxlKGRhdCRIb21lb3duZXIsIGRhdCRBbm51YWxJbmNvbWUpCnRhYjQKcHJvcC50YWJsZSh0YWI0LCAxKQoKYGBgCgojIyMjICoqNC40LjIgVHLhu7FjIHF1YW4gaMOzYSoqCgpgYGB7cn0KZ2dwbG90KGRhdCwgYWVzKHggPSBBbm51YWxJbmNvbWUsIGZpbGwgPSBIb21lb3duZXIpKSArCiAgZ2VvbV9iYXIocG9zaXRpb24gPSAiZmlsbCIpICsKICBsYWJzKHRpdGxlID0gIlThu7cgbOG7hyBIb21lb3duZXIgdGhlbyBBbm51YWwgSW5jb21lIiwgeSA9ICJU4bu3IGzhu4ciLCB4ID0gIkFubnVhbCBJbmNvbWUiKSArCiAgc2NhbGVfeV9jb250aW51b3VzKGxhYmVscyA9IHNjYWxlczo6cGVyY2VudCkgKwogIHRoZW1lX21pbmltYWwoKQpgYGAKCiMjIyMgKio0LjQuMyBOaOG6rW4geMOpdCoqCgojIyMjICoqNC40LjQgS2nhu4NtIMSR4buLbmggY2hpIC0gYsOsbmggcGjGsMahbmcqKgoKYGBge3J9CmNoaV9yZXN1bHQ0IDwtIGNoaXNxLnRlc3QodGFiNCkKY2hpX3Jlc3VsdDQKCiMgR2nDoSB0cuG7iyB0aOG7kW5nIGvDqiBDaGktc3F1YXJlZApjaGlfcmVzdWx0NCRzdGF0aXN0aWMKIyBC4bqtYyB04buxIGRvIApjaGlfcmVzdWx0NCRwYXJhbWV0ZXIKIyBHacOhIHRy4buLIHAKY2hpX3Jlc3VsdDQkcC52YWx1ZQpgYGAKCioqR2nhuqMgdGh1eeG6v3QqKgoKLSBHaeG6oyB0aHV54bq/dCBIMDogVGh1IG5o4bqtcCBow6BuZyB0aMOhbmcgKEFubnVhbEluY29tZSkgdsOgIHTDrG5oIHRy4bqhbmcgc+G7nyBo4buvdSBuaMOgIChIb21lb3duZXIpIGzDoCDEkeG7mWMgbOG6rXAsIGtow7RuZyBjw7MgbeG7kWkgbGnDqm4gaOG7hy4KCi0gR2nhuqMgdGh1eeG6v3QgSDE6IFRodSBuaOG6rXAgaMOgbmcgdGjDoW5nIChBbm51YWxJbmNvbWUpIHbDoCB0w6xuaCB0cuG6oW5nIHPhu58gaOG7r3UgbmjDoCAoSG9tZW93bmVyKSBjw7MgbGnDqm4gaOG7hyB24bubaSBuaGF1LgoKKipL4bq/dCBxdeG6oyBraeG7g20gxJHhu4tuaDoqKgoKLSBHacOhIHRy4buLIHRo4buRbmcga8OqIENoaS1zcXVhcmVkOiBYLXNxdWFyZWQgPSA1NDYuMzcKCi0gQuG6rWMgdOG7sSBkbzogZGYgPSA3CgotIEdpw6EgdHLhu4sgcDogcCA8Mi4yZS0xNgoKKipL4bq/dCBsdeG6rW46KioKCi0gVuG7m2kgbeG7qWMgw70gbmdoxKlhIDAuMDUgcF92YWx1ZSA8IDAuMDUg4oaSIHRhIGPDsyDEkeG7pyDEkWnhu4F1IGtp4buHbiDEkeG7gyBiw6FjIGLhu48gSDAsIHThu6ljIGzDoCAgY8OzIG3hu5FpIGxpw6puIGjhu4cgZ2nhu69hIDIgdGh1IG5o4bqtcCBow6BuZyB0aMOhbmcgdsOgIHTDrG5oIHRy4bqhbmcgc+G7nyBo4buvdSBuaMOgLiAKCiMjICoqIFBI4bqmTiA1OiBSRUxBVElWRSBSSVNLICoqCgojIyMgKio1LjEgR2nhu5tpIHRoaeG7h3UqKgoKVHJvbmcgcGjDom4gdMOtY2ggdGjhu5FuZyBrw6ogxJHhu4tuaCBsxrDhu6NuZywgYuG6o25nIG5n4bqrdSBuaGnDqm4gKGNvbnRpbmdlbmN5IHRhYmxlKSBsw6AgbeG7mXQgY8O0bmcgY+G7pSBjxqEgYuG6o24gxJHhu4Mga2jhuqNvIHPDoXQgbeG7kWkgbGnDqm4gaOG7hyBnaeG7r2EgaGFpIGJp4bq/biBwaMOibiBsb+G6oWkuIFRyb25nIHRyxrDhu51uZyBo4bujcCDEkcahbiBnaeG6o24gbmjhuqV0LCBi4bqjbmcgbmfhuqt1IG5oacOqbiAyeDIgYmnhu4N1IGRp4buFbiBz4buxIHBow6JuIGLhu5EgY+G7p2EgaGFpIGJp4bq/biBuaOG7iyBwaMOibiwgZ2nDunAgeMOhYyDEkeG7i25oIHbDoCDEkW8gbMaw4budbmcgbeG7kWkgbGnDqm4gaOG7hyBnaeG7r2EgY2jDum5nLiBDw6FjIGNo4buJIHPhu5EgbmjGsCBoaeG7h3UgdOG7tyBs4buHIChyaXNrIGRpZmZlcmVuY2UpLCB04bu3IHPhu5Egbmd1eSBjxqEgKFJlbGF0aXZlIFJpc2sgLSBSUikgdsOgIHThu7cgc+G7kSBjaMOqbmggKE9kZHMgUmF0aW8gLSBPUikgxJHDs25nIHZhaSB0csOyIHF1YW4gdHLhu41uZyB0cm9uZyB2aeG7h2MgbMaw4bujbmcgaMOzYSBt4buRaSBxdWFuIGjhu4cgxJHDsy4gQsOgaSB2aeG6v3QgbsOgeSBz4bq9IHRyw6xuaCBiw6B5IGNoaSB0aeG6v3QgY+G6pXUgdHLDumMgeMOhYyBzdeG6pXQgc2luaCByYSBi4bqjbmcgbmfhuqt1IG5oacOqbiwgcGjGsMahbmcgcGjDoXAgc28gc8OhbmggaGFpIHThu7cgbOG7hywgY8OhY2ggeMOieSBk4buxbmcga2hv4bqjbmcgdGluIGPhuq15IGNobyBPZGRzIFJhdGlvLCB2w6Aga+G6v3QgdGjDumMgYuG6sW5nIG3hu5l0IHbDrSBk4bulIHRo4buxYyB0aeG7hW4gdHJvbmcgbMSpbmggduG7sWMga2luaCBkb2FuaC4KCiMjIyAqKjUuMiBD4bqldSB0csO6YyB2w6AgeMOhYyBzdeG6pXQgY+G7p2EgYuG6o25nIG5n4bqrdSBuaGnDqm4qKgoKCiMjIyMgKio1LjIuMSBQaMOibiBwaOG7kWkgUG9pc3NvbioqCgoKIyMjIyAqKjUuMi4yIFBow6JuIHBo4buRaSBNdWx0aW5vbWlhbCoqCgojIyMgKio1LjMgQ8OhYyBjaOG7iSBz4buRIMSRbyBt4buRaSBsacOqbiBo4buHKioKCiMjIyMgKio1LjMuMSBIaeG7h3UgdOG7tyBs4buHIChSaXNrIERpZmVyZW5jZSAtIFJEKQoKIyMjIyAqKjUuMy4yIFThu7cgc+G7kSBuZ3V5IGPGoSAoUmVsYXRpdmUgUmlzayAtIFJSKQoKIyMjIyAqKjUuMy4zIFThu7cgc+G7kSBjaMOqbmggKE9kZHMgUmF0aW8gLSBPUikKCiMjIyAqKjUuNCBLaG/huqNuZyDGsOG7m2MgbMaw4bujbmcgdGluIGPhuq15IGNobyBPZGRzIFJhdGlvCgojIyMgKio1LjUgR0VOREVSIFbDgCBNQVJJVEFMU1RBVFVTKioKCiMjIyMgKio1LjUuMSBU4bqhbyBi4bqjbmcgY2jDqW8qKgoKYGBge3J9CiMgVOG6oW8gYuG6o25nIGNow6lvIGdp4buvYSBHZW5kZXIgdsOgIE1hcml0YWxTdGF0dXMKdGFibGVfZ2VuZGVyX21hcml0YWwgPC0gdGFibGUoZGF0JEdlbmRlciwgZGF0JE1hcml0YWxTdGF0dXMpCmFkZG1hcmdpbnModGFibGVfZ2VuZGVyX21hcml0YWwpICAjIFRow6ptIGjDoG5nIHbDoCBj4buZdCB04buVbmcKYGBgCgojIyMjICoqNS41LjIgVMOtbmggdG/DoW4gUmVsYXRpdmUgUmlzayoqCgpgYGB7cn0KIyBUcsOtY2ggeHXhuqV0IHPhu5EgbGnhu4d1IHThu6sgYuG6o25nIGNow6lvCkEgPC0gdGFibGVfZ2VuZGVyX21hcml0YWxbIkYiLCJTIl0gIyBu4buvIMSR4buZYyB0aMOibgpCIDwtIHRhYmxlX2dlbmRlcl9tYXJpdGFsWyJGIiwiTSJdICMgbuG7ryBr4bq/dCBow7RuCkMgPC0gdGFibGVfZ2VuZGVyX21hcml0YWxbIk0iLCJTIl0gIyBuYW0gxJHhu5ljIHRow6JuCkQgPC0gdGFibGVfZ2VuZGVyX21hcml0YWxbIk0iLCJNIl0gIyBuYW0ga+G6v3QgaMO0bgoKIyBUw61uaCBSUgpSUiA8LSAoQS8oQStCKSkvKEMvKEMrRCkpClJSCiMgVHJvbmcgxJHDszogQS8oQStCKSBsw6AgdOG7tyBs4buHIHBo4bulIG7hu68gxJHhu5ljIHRow6JuIHRyb25nIHThu5VuZyBz4buRIG7hu68KIyBWw6A6IEMvKEMrRCkgbMOgIHThu7cgbOG7hyBuYW0gZ2nhu5tpIMSR4buZYyB0aMOibiB0cm9uZyB04buVbmcgc+G7kSBuYW0KYGBgCgojIyMjICoqNS41LjMgw50gbmdoxKlhKioKCi0gUlIgPSAxOiBLaMO0bmcgY8OzIHPhu7Ega2jDoWMgYmnhu4d0IHbhu4EgdOG7tyBs4buHIMSR4buZYyB0aMOibiBnaeG7r2EgaGFpIGdp4bubaSB0w61uaC4KLSBSUiA+IDE6IE5hbSBnaeG7m2kgY8OzIHThu7cgbOG7hyDEkeG7mWMgdGjDom4gY2FvIGjGoW4gcGjhu6UgbuG7ry4KLSBSUiA8IDE6IFBo4bulIG7hu68gY8OzIHThu7cgbOG7hyDEkeG7mWMgdGjDom4gY2FvIGjGoW4gbmFtIGdp4bubaS4KCiMjIyMgKio1LjUuNCBOaOG6rW4geMOpdCoqCgotIFThu7cgbOG7hyBwaOG7pSBu4buvIMSR4buZYyB0aMOibiBi4bqxbmcga2hv4bqjbmcgOTQuNTclIHThu7cgbOG7hyBuYW0gZ2nhu5tpIMSR4buZYyB0aMOibi4gxJBp4buBdSBuw6B5IGNobyB0aOG6pXkga2jDtG5nIGPDsyBz4buxIGtow6FjIGJp4buHdCBs4bubbiB24buBIHThu7cgbOG7hyDEkeG7mWMgdGjDom4gZ2nhu69hIGhhaSBnaeG7m2kgdMOtbmggdHJvbmcgZOG7ryBsaeG7h3UuIAoKYGBge3J9Cmluc3RhbGwucGFja2FnZXMoImVwaXRvb2xzIiwgcmVwb3MgPSAiaHR0cHM6Ly9jcmFuLnJzdHVkaW8uY29tLyIpCmxpYnJhcnkoZXBpdG9vbHMpCnJpc2tyYXRpbyh0YWJsZV9nZW5kZXJfbWFyaXRhbCwgbWV0aG9kPSJ3YWxkIikKYGBgCioqTmjhuq1uIHjDqXQqKgoKLSBSZWxhdGl2ZSBSaXNrIChSUikKCiAgLSBGIChGZW1hbGUpOiAxLjAwMDAwMAogIC0gTSAoTWFsZSk6IDEuMDU3NDE3IChDSTogMS4wMjM4MTMgLSAxLjA5MjEyMykKICAKLSBOaOG6rW4geMOpdCB24buBIFJSOgoKICAtIFJSIGPhu6dhIG5ow7NtIEYgKFBo4bulIG7hu68pIGzDoCAxIHbDrCBuaMOzbSBuw6B5IMSRxrDhu6NjIGzhuqV5IGzDoG0gbmjDs20gdGhhbSBjaGnhur91LgogIC0gUlIgY+G7p2EgbmjDs20gTSAoTmFtIGdp4bubaSkgbMOgIDEuMDU3NCwgxJFp4buBdSBuw6B5IGNobyB0aOG6pXkgbmFtIGdp4bubaSBjw7MgdOG7tyBs4buHIGvhur90IGjDtG4gKE0pIGNhbyBoxqFuIG3hu5l0IGNow7p0IHNvIHbhu5tpIHBo4bulIG7hu68sIHbhu5tpIHThu7cgbOG7hyAxLjA1NzQgbOG6p24gc28gduG7m2kgbmjDs20gcGjhu6UgbuG7ry4gU+G7sSBraMOhYyBiaeG7h3QgbsOgeSBjw7MgdGjhu4MgbMOgIGtow7RuZyBs4bubbiwgbmjGsG5nIG7DsyBjaOG7iSByYSBy4bqxbmcgbmFtIGdp4bubaSBjw7MgbeG7mXQga2jhuqMgbsSDbmcga+G6v3QgaMO0biBjYW8gaMahbiBwaOG7pSBu4buvIHRyb25nIG3huqt1IG5naGnDqm4gY+G7qXUgbsOgeS4KICAtIENvbmZpZGVuY2UgSW50ZXJ2YWwgKENJKSBj4bunYSBSUiBjaG8gbmjDs20gTSBsw6AgWzEuMDIzOCwgMS4wOTIxXSwgbmdoxKlhIGzDoCBraG/huqNuZyB0aW4gY+G6rXkgY+G7p2EgUlIga2jDtG5nIGJhbyBn4buTbSBnacOhIHRy4buLIDEuIMSQaeG7gXUgbsOgeSBjaG8gdGjhuqV5IHPhu7Ega2jDoWMgYmnhu4d0IGdp4buvYSBoYWkgbmjDs20gRiB2w6AgTSBsw6AgY8OzIMO9IG5naMSpYSB0aOG7kW5nIGvDqiB2w6Aga2jDtG5nIHBo4bqjaSBuZ+G6q3Ugbmhpw6puLgotIEvhur90IGx14bqtbiB24buBIFJSOgoKICAtIFJSIGNobyB0aOG6pXkgbmFtIGdp4bubaSBjw7MgeHUgaMaw4bubbmcga+G6v3QgaMO0biBjYW8gaMahbiBzbyB24bubaSBwaOG7pSBu4buvLCB24bubaSBSUiA9IDEuMDU3NC4KICAtIENvbmZpZGVuY2UgSW50ZXJ2YWwga2jDtG5nIGJhbyBn4buTbSBnacOhIHRy4buLIDEsIMSRaeG7gXUgbsOgeSBo4buXIHRy4bujIGNobyBnaeG6oyB0aHV54bq/dCBy4bqxbmcgc+G7sSBraMOhYyBiaeG7h3QgZ2nhu69hIHThu7cgbOG7hyBr4bq/dCBow7RuIGPhu6dhIG5hbSB2w6AgbuG7ryBjw7Mgw70gbmdoxKlhIHRo4buRbmcga8OqLgogIAotIHAtdmFsdWUgdOG7qyBjw6FjIGtp4buDbSDEkeG7i25oOgoKICAtIENoaS1zcXVhcmUgdGVzdDogcC12YWx1ZSA9IDAuMDAwNzAzODgzNwogIC0gRmlzaGVyJ3MgZXhhY3QgdGVzdDogcC12YWx1ZSA9IDAuMDAwNzM3Mzg5NQogIC0gTWlkcG9pbnQgZXhhY3QgdGVzdDogcC12YWx1ZSA9IDAuMDAwNzA0NTA5MgotIE5o4bqtbiB4w6l0IHbhu4EgcC12YWx1ZToKCiAgLSBDw6FjIHAtdmFsdWUgdOG7qyBjw6FjIGtp4buDbSDEkeG7i25oIMSR4buBdSBuaOG7jyBoxqFuIG3hu6ljIMO9IG5naMSpYSB0aMO0bmcgdGjGsOG7nW5nIGzDoCAwLjA1LCBuZ2jEqWEgbMOgIGPDsyDEkeG7pyBi4bqxbmcgY2jhu6luZyDEkeG7gyBiw6FjIGLhu48gZ2nhuqMgdGh1eeG6v3QgbnVsbCBoeXBvdGhlc2lzIChnaeG6oyB0aHV54bq/dCBraMO0bmcgY8OzIHPhu7Ega2jDoWMgYmnhu4d0IGdp4buvYSBuYW0gdsOgIG7hu68pLgogIC0gxJBp4buBdSBuw6B5IGNo4buJIHJhIHLhurFuZyBjw7Mgc+G7sSBraMOhYyBiaeG7h3QgY8OzIMO9IG5naMSpYSB0aOG7kW5nIGvDqiBnaeG7r2EgdOG7tyBs4buHIGvhur90IGjDtG4g4bufIHBo4bulIG7hu68gdsOgIG5hbSBnaeG7m2kuCiAgCi0gVMOzbSB04bqvdCB2w6Agbmjhuq1uIHjDqXQgdOG7lW5nIHF1w6F0CiAgLSBSZWxhdGl2ZSBSaXNrIChSUik6IFThu7cgbOG7hyBr4bq/dCBow7RuIGPhu6dhIG5hbSBnaeG7m2kgbMOgIDEuMDU3NCBs4bqnbiBzbyB24bubaSBwaOG7pSBu4buvLCDEkWnhu4F1IG7DoHkgY2hvIHRo4bqleSBuYW0gZ2nhu5tpIGPDsyBraOG6oyBuxINuZyBr4bq/dCBow7RuIGNhbyBoxqFuIHBo4bulIG7hu68gdHJvbmcgbeG6q3UgbmdoacOqbiBj4bupdSBuw6B5LgogIC0gQ29uZmlkZW5jZSBJbnRlcnZhbCAoQy5JLik6IEtob+G6o25nIHRpbiBj4bqteSBbMS4wMjM4LCAxLjA5MjFdIGtow7RuZyBiYW8gZ+G7k20gZ2nDoSB0cuG7iyAxLCDEkWnhu4F1IG7DoHkgY8OzIG5naMSpYSBsw6Agc+G7sSBraMOhYyBiaeG7h3QgZ2nhu69hIHThu7cgbOG7hyBr4bq/dCBow7RuIGPhu6dhIG5hbSB2w6AgbuG7ryBsw6AgY8OzIMO9IG5naMSpYSB0aOG7kW5nIGvDqi4KICAtIHAtdmFsdWU6IEPDoWMgcC12YWx1ZSB04burIENoaS1zcXVhcmUsIEZpc2hlcidzIGV4YWN0IHRlc3QgdsOgIG1pZHAuZXhhY3QgxJHhu4F1IG5o4buPIGjGoW4gMC4wNSwgY2hvIHRo4bqleSBjw7Mgc+G7sSBraMOhYyBiaeG7h3QgxJHDoW5nIGvhu4MgZ2nhu69hIHThu7cgbOG7hyBr4bq/dCBow7RuIGPhu6dhIG5hbSB2w6AgbuG7ry4KICAKLSBL4bq/dCBsdeG6rW4KICAtIFThu7cgbOG7hyBr4bq/dCBow7RuIGdp4buvYSBuYW0gdsOgIG7hu68gY8OzIHPhu7Ega2jDoWMgYmnhu4d0IGPDsyDDvSBuZ2jEqWEgdGjhu5FuZyBrw6ouIEPhu6UgdGjhu4MsIG5hbSBnaeG7m2kgY8OzIHThu7cgbOG7hyBr4bq/dCBow7RuIGNhbyBoxqFuIHBo4bulIG7hu68uCiAgLSBSZWxhdGl2ZSBSaXNrIGNobyB0aOG6pXkgbmFtIGdp4bubaSBjw7Mga2jhuqMgbsSDbmcga+G6v3QgaMO0biBjYW8gaMahbiBwaOG7pSBu4buvICh24bubaSBSUiA9IDEuMDU3NCksIHbDoCBr4bq/dCBxdeG6oyBuw6B5IGPDsyDDvSBuZ2jEqWEgdGjhu5FuZyBrw6ogcsO1IHLDoG5nLCB2w6wgcC12YWx1ZSDEkeG7gXUgcuG6pXQgbmjhu48uCiAgLSBLaG/huqNuZyB0aW4gY+G6rXkgOTUlIGPhu6dhIFJSIGtow7RuZyBiYW8gZ+G7k20gZ2nDoSB0cuG7iyAxLCDEkWnhu4F1IG7DoHkgY8OgbmcgY+G7p25nIGPhu5Ega+G6v3QgbHXhuq1uIHbhu4Egc+G7sSBraMOhYyBiaeG7h3QgZ2nhu69hIHThu7cgbOG7hyBr4bq/dCBow7RuIGPhu6dhIGhhaSBnaeG7m2kuCiAgCiMjIyAqKjUuNiBHRU5ERVIgVsOAIEhPTUVPV05FUioqCgpDw6J1IGjhu49pIG5naGnDqm4gY+G7qXU6IExp4buHdSBjw7Mgc+G7sSBraMOhYyBiaeG7h3QgduG7gSB04bu3IGzhu4cgc+G7nyBo4buvdSBuaMOgIGdp4buvYSBuYW0gdsOgIG7hu68ga2jDtG5nPwoKIyMjIyAqKjUuNi4xIFThuqFvIGLhuqNuZyBjaMOpbyoqCgpgYGB7cn0KIyBU4bqhbyBi4bqjbmcgY2jDqW8gZ2nhu69hIEdlbmRlciB2w6AgSG9tZW93bmVyCnRhYmxlX2dlbmRlcl9ob21lb3duZXIgPC0gdGFibGUoZGF0JEdlbmRlciwgZGF0JEhvbWVvd25lcikKYWRkbWFyZ2lucyh0YWJsZV9nZW5kZXJfaG9tZW93bmVyKSAgIyBUaMOqbSBow6BuZyB2w6AgY+G7mXQgdOG7lW5nCmBgYAoKIyMjIyAqKjUuNi4yIFTDrW5oIHRvw6FuIFJSKioKYGBge3J9CiMgVHLDrWNoIHh14bqldCBz4buRIGxp4buHdSB04burIGLhuqNuZyBjaMOpbwpBIDwtIHRhYmxlX2dlbmRlcl9ob21lb3duZXJbIkYiLCAiWSJdICAjIG7hu68gc+G7nyBo4buvdSBuaMOgCkIgPC0gdGFibGVfZ2VuZGVyX2hvbWVvd25lclsiRiIsICJOIl0gICAjIG7hu68ga2jDtG5nIHPhu58gaOG7r3UgbmjDoApDIDwtIHRhYmxlX2dlbmRlcl9ob21lb3duZXJbIk0iLCAiWSJdICAjIG5hbSBz4bufIGjhu691IG5ow6AKRCA8LSB0YWJsZV9nZW5kZXJfaG9tZW93bmVyWyJNIiwgIk4iXSAgICMgbmFtIGtow7RuZyBz4bufIGjhu691IG5ow6AKCiMgVMOtbmggUlIKUlIgPC0gKEEgLyAoQSArIEIpKSAvIChDIC8gKEMgKyBEKSkKUlIKCiMgVHJvbmcgxJHDszoKIyBBIC8gKEEgKyBCKTogVOG7tyBs4buHIG7hu68gc+G7nyBo4buvdSBuaMOgIHRyb25nIHThu5VuZyBz4buRIG7hu68uCiMgQyAvIChDICsgRCk6IFThu7cgbOG7hyBuYW0gc+G7nyBo4buvdSBuaMOgIHRyb25nIHThu5VuZyBz4buRIG5hbS4KCgpgYGAKCmBgYHtyfQpyaXNrcmF0aW8odGFibGVfZ2VuZGVyX2hvbWVvd25lciwgbWV0aG9kPSJ3YWxkIikKYGBgCgoKIyMjIyAqKjUuNi4zIE5o4bqtbiB4w6l0ICoqCgotIE5ow7NtIG7hu68gKEYpIMSRxrDhu6NjIGNo4buNbiBsw6BtIG5ow7NtIHRoYW0gY2hp4bq/dSwgbsOqbiBSUiA9IDEuIMSQaeG7gXUgbsOgeSBjw7MgbmdoxKlhIGNow7puZyB0YSBzbyBzw6FuaCBuZ3V5IGPGoSBz4bufIGjhu691IG5ow6AgY+G7p2EgbmjDs20gbmFtIChNKSB24bubaSBuaMOzbSBu4buvLgoKLSBOaMOzbSBuYW0gKE0pIGPDsyBSUiA9IDAuOTgyMyBuZ2jEqWEgbMOgOgoKICAtIFThu7cgbOG7hyBz4bufIGjhu691IG5ow6Ag4bufIG5hbSBi4bqxbmcga2hv4bqjbmcgOTguMjMlIHNvIHbhu5tpIG7hu68uCkhheSBuw7NpIGPDoWNoIGtow6FjLCBuZ3V5IGPGoSAoeMOhYyBzdeG6pXQpIHPhu58gaOG7r3UgbmjDoCBj4bunYSBuYW0gdGjhuqVwIGjGoW4gbuG7ryBraG/huqNuZyAxLjc3JS4KCi0gS2hv4bqjbmcgdGluIGPhuq15IDk1JSBj4bunYSBSUiBsw6AgKDAuOTU2MiDigJMgMS4wMDkyKToKCiAgLSBLaG/huqNuZyBuw6B5IGJhbyBn4buTbSBz4buRIDEsIG5naMSpYSBsw6AgZ2nDoSB0cuG7iyBSUiB0aOG7sWMgc+G7sSBjw7MgdGjhu4MgbMOgIDEgKGtow7RuZyBjw7Mga2jDoWMgYmnhu4d0KS4KCiAgLSBLaG/huqNuZyB0aW4gY+G6rXkgY2hvIHRhIGJp4bq/dCBt4bupYyDEkeG7mSBjaMOtbmggeMOhYyBj4bunYSDGsOG7m2MgbMaw4bujbmcgUlI7IGtob+G6o25nIHLhu5luZyB2w6AgYmFvIGfhu5NtIDEgY2hvIHRo4bqleSBz4buxIGtow7RuZyBjaOG6r2MgY2jhuq9uIHbDoCB0aGnhur91IGLhurFuZyBjaOG7qW5nIHbhu4Egc+G7sSBraMOhYyBiaeG7h3QgdGjhu7FjIHPhu7EuCgotIFRhIGPDsyBnaeG6oyB0aHV54bq/dDoKCiAgLSBI4oKAOiBU4bu3IGzhu4cgc+G7nyBo4buvdSBuaMOgIOG7nyBOYW0gdsOgIE7hu68ga2jDtG5nIGtow6FjIG5oYXUsIHThu6ljIGzDoCBSUiA9IDEKCiAgLSBI4oKBOiBU4bu3IGzhu4cgc+G7nyBo4buvdSBuaMOgIOG7nyBOYW0gdsOgIE7hu68ga2jDoWMgbmhhdSwgUlIg4omgIDEKCi0gcC12YWx1ZSB04burIGPDoWMga2nhu4NtIMSR4buLbmg6CgogIC0gQ2hpLXNxdWFyZSB0ZXN0OiBwLXZhbHVlID0gMC4xOTUwODg0CiAgLSBGaXNoZXIncyBleGFjdCB0ZXN0OiBwLXZhbHVlID0gMC4xOTY0ODMzCiAgLSBNaWRwb2ludCBleGFjdCB0ZXN0OiBwLXZhbHVlID0gMC4xOTUxNTgKICAKLSBOaOG6rW4geMOpdCB24buBIHAtdmFsdWU6CgogIC0gQ8OhYyBnacOhIHRy4buLIHAtdmFsdWUgdOG7qyBjaGktc3F1YXJlLCBGaXNoZXIncyBleGFjdCwgdsOgIG1pZHAuZXhhY3QgxJHhu4F1IGzhu5tuIGjGoW4gbeG7qWMgw70gbmdoxKlhIHRow7RuZyB0aMaw4budbmcgbMOgIDAuMDUuCiAgLSDEkGnhu4F1IG7DoHkgY8OzIG5naMSpYSBsw6Aga2jDtG5nIGPDsyDEkeG7pyBi4bqxbmcgY2jhu6luZyDEkeG7gyBiw6FjIGLhu48gZ2nhuqMgdGh1eeG6v3QgbnVsbCBoeXBvdGhlc2lzLCB04bupYyBsw6Aga2jDtG5nIGPDsyBz4buxIGtow6FjIGJp4buHdCDEkcOhbmcga+G7gyB24buBIHThu4kgbOG7hyB0w6xuaCB0cuG6oW5nIGjDtG4gbmjDom4gY8OzIChZKSBnaeG7r2EgbmjDs20gbmFtIHbDoCBu4buvLiBT4buxIGtow6FjIGJp4buHdCBnaeG7r2EgaGFpIG5ow7NtIGPDsyB0aOG7gyBsw6AgZG8gbmfhuqt1IG5oacOqbi4KCioqTmjhuq1uIHjDqXQgdOG7lW5nIHF1w6F0KioKCi0gUmVsYXRpdmUgUmlzayBjaG8gdGjhuqV5IHLhurFuZyB04bu3IGzhu4cgc+G7sSBraeG7h24gZ2nhu69hIGhhaSBuaMOzbSBnaeG7m2kgdMOtbmggRiAocGjhu6UgbuG7rykgdsOgIE0gKG5hbSBnaeG7m2kpIHLhuqV0IGfhuqduIG5oYXUsIHbhu5tpIFJSIGPhu6dhIG5ow7NtIE0gbMOgIDAuOTgyMywgY2hvIHRo4bqleSBraMO0bmcgY8OzIHPhu7Ega2jDoWMgYmnhu4d0IHLDtSBy4buHdCBnaeG7r2EgdOG7tyBs4buHIHTDrG5oIHRy4bqhbmcgaMO0biBuaMOibiBjw7MgKFkpIGdp4buvYSBoYWkgbmjDs20uCgotIENvbmZpZGVuY2UgSW50ZXJ2YWwgY2hvIG5ow7NtIG5hbSBnaeG7m2kgKE0pIGJhbyBn4buTbSBnacOhIHRy4buLIDEsIMSRaeG7gXUgbsOgeSBo4buXIHRy4bujIGdp4bqjIHRodXnhur90IHLhurFuZyBraMO0bmcgY8OzIHPhu7Ega2jDoWMgYmnhu4d0IHRo4buRbmcga8OqIMSRw6FuZyBr4buDIGdp4buvYSB04bu3IGzhu4cgc+G7sSBraeG7h24g4bufIG5hbSB2w6AgbuG7ry4KCi0gQ8OhYyBraeG7g20gxJHhu4tuaCB0aOG7kW5nIGvDqiAoQ2hpLXNxdWFyZSwgRmlzaGVyJ3MgZXhhY3QgdGVzdCkgxJHhu4F1IGNobyBwLXZhbHVlIGzhu5tuIGjGoW4gMC4wNSwgxJFp4buBdSBuw6B5IGPDsyBuZ2jEqWEgbMOgIGtow7RuZyBjw7Mgc+G7sSBraMOhYyBiaeG7h3Qgw70gbmdoxKlhIGdp4buvYSBoYWkgbmjDs20gZ2nhu5tpIHTDrW5oIHbhu4EgdOG7tyBs4buHIHTDrG5oIHRy4bqhbmcgaMO0biBuaMOibiBjw7MgKFkpLgoKLSBUw7NtIGzhuqFpLCBjw6FjIGvhur90IHF14bqjIG7DoHkgY2hvIHRo4bqleSBraMO0bmcgY8OzIHPhu7Ega2jDoWMgYmnhu4d0IHLDtSBy4buHdCB2w6AgY8OzIMO9IG5naMSpYSBnaeG7r2EgdOG7tyBs4buHIHTDrG5oIHRy4bqhbmcgaMO0biBuaMOibiBjw7MgKFkpIOG7nyBwaOG7pSBu4buvIHbDoCBuYW0gZ2nhu5tpLgoKKipL4bq/dCBsdeG6rW4qKgoKROG7sWEgdHLDqm4gY8OhYyBr4bq/dCBxdeG6oyB04burIFJlbGF0aXZlIFJpc2sgdsOgIGPDoWMga2nhu4NtIMSR4buLbmggdGjhu5FuZyBrw6osIGNow7puZyB0YSBjw7MgdGjhu4Mga+G6v3QgbHXhuq1uIHLhurFuZyBraMO0bmcgY8OzIHPhu7Ega2jDoWMgYmnhu4d0IMSRw6FuZyBr4buDIGdp4buvYSBuYW0gdsOgIG7hu68gduG7gSB04bu3IGzhu4cgdMOsbmggdHLhuqFuZyBow7RuIG5ow6JuIGPDsyAoWSkuIEThu68gbGnhu4d1IGNobyB0aOG6pXkgcuG6sW5nIHThu7cgbOG7hyBow7RuIG5ow6JuIGPDsyAoWSkg4bufIG5hbSB2w6AgbuG7ryBsw6Aga2jDoSB0xrDGoW5nIMSR4buTbmcgdsOgIGtow7RuZyBjw7Mgc+G7sSBraMOhYyBiaeG7h3QgdGjhu5FuZyBrw6ogxJHDoW5nIGvhu4MuCgojIyMgKio1LjcgR0VOREVSIFbDgCBDT1VOVFJZKioKCiMjIyMgKio1LjcuMSBU4bqhbyBi4bqjbmcgY2jDqW8qKgoKYGBge3J9CiMgVOG6oW8gYuG6o25nIGNow6lvIGdp4buvYSBHaeG7m2kgdMOtbmggdsOgIFF14buRYyBnaWEKdGFibGVfZ2VuZGVyX2NvdW50cnkgPC0gdGFibGUoZGF0JEdlbmRlciwgZGF0JENvdW50cnkpCmFkZG1hcmdpbnModGFibGVfZ2VuZGVyX2NvdW50cnkpICAjIFRow6ptIGjDoG5nIHbDoCBj4buZdCB04buVbmcKYGBgCgojIyMjICoqNS43LjIgVMOtbmggdG/DoW4gUlIqKgpgYGB7cn0KIyBUcsOtY2ggeHXhuqV0IHPhu5EgbGnhu4d1IGNobyB04burbmcgcXXhu5FjIGdpYQpGX2NhbmFkYSA8LSB0YWJsZV9nZW5kZXJfY291bnRyeVsiRiIsICJDYW5hZGEiXSAgIyBO4buvIOG7nyBDYW5hZGEKTV9jYW5hZGEgPC0gdGFibGVfZ2VuZGVyX2NvdW50cnlbIk0iLCAiQ2FuYWRhIl0gICMgTmFtIOG7nyBDYW5hZGEKCkZfbWV4aWNvIDwtIHRhYmxlX2dlbmRlcl9jb3VudHJ5WyJGIiwgIk1leGljbyJdICAjIE7hu68g4bufIE1leGljbwpNX21leGljbyA8LSB0YWJsZV9nZW5kZXJfY291bnRyeVsiTSIsICJNZXhpY28iXSAgIyBOYW0g4bufIE1leGljbwoKRl91c2EgPC0gdGFibGVfZ2VuZGVyX2NvdW50cnlbIkYiLCAiVVNBIl0gICMgTuG7ryDhu58gVVNBCk1fdXNhIDwtIHRhYmxlX2dlbmRlcl9jb3VudHJ5WyJNIiwgIlVTQSJdICAjIE5hbSDhu58gVVNBCgojIFTDrW5oIFJSIGNobyBDYW5hZGEKUlJfY2FuYWRhIDwtIChGX2NhbmFkYSAvIChGX2NhbmFkYSArIE1fY2FuYWRhKSkgLyAoTV9jYW5hZGEgLyAoRl9jYW5hZGEgKyBNX2NhbmFkYSkpCnByaW50KHBhc3RlKCJSUiDhu58gQ2FuYWRhOiIsIFJSX2NhbmFkYSkpCgojIFTDrW5oIFJSIGNobyBNZXhpY28KUlJfbWV4aWNvIDwtIChGX21leGljbyAvIChGX21leGljbyArIE1fbWV4aWNvKSkgLyAoTV9tZXhpY28gLyAoRl9tZXhpY28gKyBNX21leGljbykpCnByaW50KHBhc3RlKCJSUiDhu58gTWV4aWNvOiIsIFJSX21leGljbykpCgojIFTDrW5oIFJSIGNobyBVU0EKUlJfdXNhIDwtIChGX3VzYSAvIChGX3VzYSArIE1fdXNhKSkgLyAoRl91c2EgLyAoTV91c2EgKyBNX3VzYSkpCnByaW50KHBhc3RlKCJSUiDhu58gVVNBOiIsIFJSX3VzYSkpCmBgYAoKIyMjIyAqKjUuNy4zIE5o4bqtbiB4w6l0KioKCi0gQ2FuYWRhOiBSUiA9IDAuODU1NQogIC0gR2nhuqNpIHRow61jaDogUGjhu6UgbuG7ryDhu58gQ2FuYWRhIGPDsyB04bu3IGzhu4cgc+G7kW5nIOG7nyB0aMOgbmggcGjhu5EgdGjhuqVwIGjGoW4gc28gduG7m2kgbmFtIGdp4bubaS4KICAtIMOdIG5naMSpYTogR2nhu5tpIHTDrW5oIGPDsyB0aOG7gyBsw6AgeeG6v3UgdOG7kSBi4bqjbyB24buHIMSR4buRaSB24bubaSB2aeG7h2Mgc+G7kW5nIOG7nyB0aMOgbmggcGjhu5EgdOG6oWkgQ2FuYWRhLgogIAotIE1leGljbzogUlIgPSAxLjI1OTgKICAtIEdp4bqjaSB0aMOtY2g6IFBo4bulIG7hu68g4bufIE1leGljbyBjw7MgdOG7tyBs4buHIHPhu5FuZyDhu58gdGjDoG5oIHBo4buRIGNhbyBoxqFuIHNvIHbhu5tpIG5hbSBnaeG7m2kuCiAgLSDDnSBuZ2jEqWE6IEdp4bubaSB0w61uaCBjw7MgdGjhu4MgbMOgIHnhur91IHThu5Egbmd1eSBjxqEgxJHhu5FpIHbhu5tpIHZp4buHYyBz4buRbmcg4bufIHRow6BuaCBwaOG7kSB04bqhaSBNZXhpY28uCiAgCi0gVVNBOiBSUiA9IDAuOTgzNAogIC0gR2nhuqNpIHRow61jaDogVOG7tyBs4buHIHPhu5FuZyDhu58gdGjDoG5oIHBo4buRIGdp4buvYSBuYW0gdsOgIG7hu68g4bufIFVTQSBn4bqnbiBuaMawIHTGsMahbmcgxJHGsMahbmcuCiAgLSDDnSBuZ2jEqWE6IEdp4bubaSB0w61uaCBraMO0bmcgY8OzIOG6o25oIGjGsOG7n25nIMSRw6FuZyBr4buDIMSR4bq/biB2aeG7h2Mgc+G7kW5nIOG7nyB0aMOgbmggcGjhu5EgdOG6oWkgVVNBLgoKYGBge3J9CnJpc2tyYXRpbyh0YWJsZV9nZW5kZXJfY291bnRyeSwgbWV0aG9kPSJ3YWxkIikKYGBgCgoK