前言:從交易記錄到顧客價值
善用商業數據分析的工具和技巧,光靠一份最簡單的交易紀錄(只有顧客ID、交易日期和交易金額三個欄位),我們就可以做一系列很深入、很有價值的顧客價值分析和行銷策略規劃,包括:
- 交易記錄分析:
- 顧客群組與標籤:
- 集群分析
- 群組屬性分析
- 組間流動機率
- 顧客(個人)流動機率
從這一些分析我們可以看到公司主要的營收和獲利的重要來源,我們也可以看到這一些產生獲利的群組是不是有成長或者衰退的趨勢;據此我們可以設定行銷的重點,決定行銷的策略,和規劃行銷的工具。除了上述的敘述統計、集群分析、和資料視覺化之外,我們還可以利用這些簡單的交易紀錄:
- 建立預測性模型,預測每一位顧客的:
- 保留機率
- 預期營收
- 組間變換機率
- 下次可能購買時間
利用這一些預測我們就可以進行全面客製化的:
- 顧客價值管理:
- 顧客終生價值
- 顧客吸收策略
- 顧客發展策略
- 顧客保留策略
- 針對性行銷:
Setup
Sys.setlocale("LC_ALL","C")
packages = c(
"dplyr","ggplot2","googleVis","devtools","magrittr","caTools","ROCR","caTools")
existing = as.character(installed.packages()[,1])
for(pkg in packages[!(packages %in% existing)]) install.packages(pkg)
if(!is.element("chorddiag", existing))
devtools::install_github("mattflor/chorddiag")
Library
rm(list=ls(all=T))
options(digits=4, scipen=12)
library(dplyr)
library(ggplot2)
library(caTools)
library(ROCR)
library(googleVis)
library(chorddiag)
1 1. 資料整理
1.1 交易資料 (X)
X = read.table(
'purchases.txt', header=FALSE, sep='\t', stringsAsFactors=F)
names(X) = c('cid','amount','date')
X$date = as.Date(X$date)
summary(X) # 交易次數 51243
cid amount date
Min. : 10 Min. : 5 Min. :2005-01-02
1st Qu.: 57720 1st Qu.: 25 1st Qu.:2009-01-17
Median :102440 Median : 30 Median :2011-11-23
Mean :108935 Mean : 62 Mean :2011-07-14
3rd Qu.:160525 3rd Qu.: 60 3rd Qu.:2013-12-29
Max. :264200 Max. :4500 Max. :2015-12-31
par(cex=0.8)
hist(X$date, "years", las=2, freq=T, xlab="", main="No. Transaction by Year")

n_distinct(X$cid) # 顧客數 18417
[1] 18417
1.2 顧客資料 (A)
A = X %>%
mutate(days = as.integer(as.Date("2016-01-01") - date)) %>%
group_by(cid) %>% summarise(
recent = min(days), # 最近購買距今天數
freq = n(), # 購買次數
money = mean(amount), # 平均購買金額
senior = max(days), # 第一次購買距今天數
since = min(date) # 第一次購買日期
) %>% data.frame
1.4 顧客資料摘要
rr summary(A)
cid recent freq money senior since
Min. : 10 Min. : 1 Min. : 1.00 Min. : 5 Min. : 1 Min. :2005-01-02
1st Qu.: 81990 1st Qu.: 244 1st Qu.: 1.00 1st Qu.: 22 1st Qu.: 988 1st Qu.:2007-10-23
Median :136430 Median :1070 Median : 2.00 Median : 30 Median :2087 Median :2010-04-15
Mean :137574 Mean :1253 Mean : 2.78 Mean : 58 Mean :1984 Mean :2010-07-26
3rd Qu.:195100 3rd Qu.:2130 3rd Qu.: 3.00 3rd Qu.: 50 3rd Qu.:2992 3rd Qu.:2013-04-18
Max. :264200 Max. :4014 Max. :45.00 Max. :4500 Max. :4016 Max. :2015-12-31
1.5 變數的分布狀況
p0 = par(cex=0.8, mfrow=c(2,2), mar=c(3,3,4,2))
Warning messages:
1: In scan(file = file, what = what, sep = sep, quote = quote, dec = dec, :
EOF within quoted string
2: In scan(file = file, what = what, sep = sep, quote = quote, dec = dec, :
EOF within quoted string
hist(A$recent,20,main="recency",ylab="",xlab="")
hist(pmin(A$freq, 10),0:10,main="frequency",ylab="",xlab="")
hist(A$senior,20,main="seniority",ylab="",xlab="")
hist(log(A$money,10),main="log(money)",ylab="",xlab="")

2. 層級式集群分析
2.1 RFM顧客分群
set.seed(111)
A$grp = kmeans(scale(A[,2:4]),10)$cluster
table(A$grp) # 族群大小
1 2 3 4 5 6 7 8 9 10
1073 2266 1296 2237 3207 1942 1781 2392 2096 127
2.2 顧客群組屬性
group_by(A, grp) %>% summarise(
recent=mean(recent),
freq=mean(freq),
money=mean(money),
size=n() ) %>%
mutate( revenue = size*money/1000 ) %>%
filter(size > 1) %>%
ggplot(aes(x=freq, y=money)) +
geom_point(aes(size=revenue, col=recent),alpha=0.5) +
scale_size(range=c(4,30)) +
scale_color_gradient(low="green",high="red") +
scale_x_log10() + scale_y_log10(limits=c(30,3000)) +
geom_text(aes(label = size ),size=3) +
theme_bw() + guides(size=F) +
labs(title="Customer Segements",
subtitle="(bubble_size:revenue_contribution; text:group_size)",
color="Recency") +
xlab("Frequency (log)") + ylab("Average Transaction Amount (log)")
Warning messages:
1: In scan(file = file, what = what, sep = sep, quote = quote, dec = dec, :
EOF within quoted string
2: In scan(file = file, what = what, sep = sep, quote = quote, dec = dec, :
EOF within quoted string

3. 規則分群
3.1 顧客分群規則
STS = c("N1","N2","R1","R2","S1","S2","S3")
Warning message:
In scan(file = file, what = what, sep = sep, quote = quote, dec = dec, :
EOF within quoted string
Status = function(rx,fx,mx,sx,K) {factor(
ifelse(sx < 2*K,
ifelse(fx*mx > 50, "N2", "N1"),
ifelse(rx < 2*K,
ifelse(sx/fx < 0.75*K,"R2","R1"),
ifelse(rx < 3*K,"S1",
ifelse(rx < 4*K,"S2","S3")))), STS)}
3.2 平均購買週期
K = as.integer(sum(A$senior[A$freq>1]) / sum(A$freq[A$freq>1])); K
Warning message:
In scan(file = file, what = what, sep = sep, quote = quote, dec = dec, :
EOF within quoted string
[1] 521
回購顧客的平均購買週期 K = 521 days
3.3 滑動資料窗格
Y = list() # 建立一個空的LIST
Warning message:
In scan(file = file, what = what, sep = sep, quote = quote, dec = dec, :
EOF within quoted string
for(y in 2010:2015) { # 每年年底將顧客資料彙整成一個資料框
D = as.Date(paste0(c(y, y-1),"-12-31")) # 當期、前期的期末日期
Y[[paste0("Y",y)]] = X %>% # 從交易資料做起
filter(date <= D[1]) %>% # 將資料切齊到期末日期
mutate(days = 1 + as.integer(D[1] - date)) %>% # 交易距期末天數
group_by(cid) %>% summarise( # 依顧客彙總 ...
recent = min(days), # 最後一次購買距期末天數
freq = n(), # 購買次數 (至期末為止)
money = mean(amount), # 平均購買金額 (至期末為止)
senior = max(days), # 第一次購買距期末天數
status = Status(recent,freq,money,senior,K), # 期末狀態
since = min(date), # 第一次購買日期
y_freq = sum(date > D[2]), # 當期購買次數
y_revenue = sum(amount[date > D[2]]) # 當期購買金額
) %>% data.frame }
head(Y$Y2015)
3.4 每年年底的累計顧客人數
sapply(Y, nrow)
Y2010 Y2011 Y2012 Y2013 Y2014 Y2015
10407 11674 13562 15468 16905 18417
3.5 族群大小變化趨勢
cols = c("gold","orange","blue","green","pink","magenta","darkred")
sapply(Y, function(df) table(df$status)) %>% barplot(col=cols)
legend("topleft",rev(STS),fill=rev(cols))

3.6 族群屬性動態分析
CustSegments = do.call(rbind, lapply(Y, function(d) {
group_by(d, status) %>% summarise(
average_frequency = mean(freq),
average_amount = mean(money),
total_revenue = sum(y_revenue),
total_no_orders = sum(y_freq),
average_recency = mean(recent),
average_seniority = mean(senior),
group_size = n()
)})) %>% ungroup %>%
mutate(year=rep(2010:2015, each=7)) %>% data.frame
head(CustSegments)
plot( gvisMotionChart(
CustSegments, "status", "year",
options=list(width=900, height=600) ) )
3.7 族群屬性動態分析
df = merge(Y$Y2014[,c(1,6)], Y$Y2015[,c(1,6)],
by="cid", all.x=T)
tx = table(df$status.x, df$status.y) %>%
as.data.frame.matrix() %>% as.matrix()
tx # 流量矩陣
N1 N2 R1 R2 S1 S2 S3
N1 1705 381 144 45 831 0 0
N2 0 1131 267 430 263 0 0
R1 0 0 1240 43 819 0 0
R2 0 0 199 1742 75 0 0
S1 0 0 115 3 819 1026 0
S2 0 0 78 1 0 692 1339
S3 0 0 97 0 0 0 3420
tx %>% prop.table(1) %>% round(3) # 流量矩陣(%)
N1 N2 R1 R2 S1 S2 S3
N1 0.549 0.123 0.046 0.014 0.268 0.000 0.000
N2 0.000 0.541 0.128 0.206 0.126 0.000 0.000
R1 0.000 0.000 0.590 0.020 0.390 0.000 0.000
R2 0.000 0.000 0.099 0.864 0.037 0.000 0.000
S1 0.000 0.000 0.059 0.002 0.417 0.523 0.000
S2 0.000 0.000 0.037 0.000 0.000 0.328 0.635
S3 0.000 0.000 0.028 0.000 0.000 0.000 0.972
3.8 互動式流量分析
chorddiag(tx, groupColors=cols)
4. 建立模型
在這個案例裡面,我們的資料是收到Y2015年底,所以我們可以假設現在的時間是Y2015年底,我們想要用現有的資料建立模型,來預測每一位顧客:
- 在Y2016年是否會來購買 (保留率:Retain)
- 她來購買的話,會買多少錢 (購買金額:Revenue)
但是,我們並沒有Y2016的資料,為了要建立模型,我們需要先把時間回推一期,也就是說:
- 用Y2014年底以前的資料整理出預測變數(X)
- 用Y2015年的資料整理出目標變數(Y)
假如Y2016的情況(跟Y2015比)沒有太大的變化的話,接下來我們就可以
- 使用該模型,以Y2015年底的資料,預測Y2016的狀況
4.1 準備資料
我們用Y2014年底的資料做自變數,Y2015年的資料做應變數
CX = left_join(Y$Y2014, Y$Y2015[,c(1,8,9)], by="cid")
head(CX)
names(CX)[8:11] = c("freq0","revenue0","Retain", "Revenue")
CX$Retain = CX$Retain > 0
head(CX)
table(CX$Retain) %>% prop.table() # 平均保留機率 = 22.54%
FALSE TRUE
0.7701 0.2299
4.2 建立類別模型
rr mRet = glm(Retain ~ ., CX[,c(2:3,6,8:10)], family=binomial()) summary(mRet)
Call:
glm(formula = Retain ~ ., family = binomial(), data = CX[, c(2:3,
6, 8:10)])
Deviance Residuals:
Min 1Q Median 3Q Max
-3.689 -0.473 -0.298 -0.142 3.386
Coefficients:
Estimate Std. Error z value Pr(>|z|)
(Intercept) -1.074007 0.089431 -12.01 < 2e-16 ***
recent -0.002067 0.000131 -15.73 < 2e-16 ***
freq 0.095217 0.013882 6.86 0.0000000000069 ***
statusN2 0.669429 0.070234 9.53 < 2e-16 ***
statusR1 0.488321 0.084389 5.79 0.0000000071864 ***
statusR2 1.290002 0.110841 11.64 < 2e-16 ***
statusS1 0.670604 0.146532 4.58 0.0000047279944 ***
statusS2 1.353554 0.208210 6.50 0.0000000000798 ***
statusS3 2.573689 0.275786 9.33 < 2e-16 ***
freq0 0.566557 0.065532 8.65 < 2e-16 ***
revenue0 -0.000132 0.000135 -0.98 0.33
---
Signif. codes: 0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
(Dispersion parameter for binomial family taken to be 1)
Null deviance: 18228 on 16904 degrees of freedom
Residual deviance: 11766 on 16894 degrees of freedom
AIC: 11788
Number of Fisher Scoring iterations: 6
4.3 估計類別模型的準確性
rr # 瘛瑟 (Confusion Matrix)
rr table(pred>0.5,CX$Retain) %>% {sum(diag(.))/sum(.)} # 甇蝣箇<8e><87>(ACC): 85.19%
[1] 0.8519
rr colAUC(pred,CX$Retain) # 颲航<8e><87>(AUC): 87.92%
[,1]
FALSE vs. TRUE 0.8792

4.4 建立數量模型
rr dx = subset(CX, Revenue > 0) # 撠<9c>頃鞎瑞<9a>犖<81>芋<9e>nmRev = lm(log(Revenue) ~ recent + freq + log(1+money) + senior + status + freq0 + log(1+revenue0), dx)
summary(mRev) # 摰嚗2 = 0.713
Call:
lm(formula = log(Revenue) ~ recent + freq + log(1 + money) +
senior + status + freq0 + log(1 + revenue0), data = dx)
Residuals:
Min 1Q Median 3Q Max
-3.245 -0.209 -0.067 0.205 3.435
Coefficients:
Estimate Std. Error t value Pr(>|t|)
(Intercept) 0.0587930 0.0458344 1.28 0.1997
recent 0.0003541 0.0000507 6.98 0.00000000000337 ***
freq 0.0526850 0.0046504 11.33 < 2e-16 ***
log(1 + money) 0.9320818 0.0135203 68.94 < 2e-16 ***
senior -0.0001369 0.0000182 -7.52 0.00000000000007 ***
statusN2 0.0127716 0.0262656 0.49 0.6268
statusR1 0.1927532 0.0407579 4.73 0.00000233405019 ***
statusR2 0.0297685 0.0352479 0.84 0.3984
statusS1 0.0082406 0.0630355 0.13 0.8960
statusS2 -0.2406398 0.0865731 -2.78 0.0055 **
statusS3 -0.3667341 0.1181061 -3.11 0.0019 **
freq0 0.0103133 0.0172551 0.60 0.5501
log(1 + revenue0) 0.0632756 0.0094003 6.73 0.00000000001930 ***
---
Signif. codes: 0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
Residual standard error: 0.463 on 3873 degrees of freedom
Multiple R-squared: 0.713, Adjusted R-squared: 0.712
F-statistic: 802 on 12 and 3873 DF, p-value: <2e-16
rr plot(log(dx$Revenue), predict(mRev), col=‘pink’, cex=0.65) abline(0,1,col=‘red’)

5. 估計顧客終生價值
5.1 Y2016的預測值
使用模型對Y2015年底的資料做預測,對資料中的每一位顧客,預測她們在Y2016的保留率和購買金額。

5.2 估計顧客終生價值(CLV)
顧客\(i\)的終生價值
\[ V_i = \sum_{t=0}^N g \times m_i \frac{r_i^t}{(1+d)^t} = g \times m_i \sum_{t=0}^N (\frac{r_i}{1+d})^t \]
\(m_i\)、\(r_i\):顧客\(i\)的預期(每期)營收貢獻、保留機率
\(g\)、\(d\):公司的(稅前)營業利潤利率、資金成本
rr g = 0.5 # (蝔<89><8d>)<8e>nN = 5 # <9c> = 5 d = 0.1 # <8e><87> = 10% CX\(CLV = g * CX\)PredRevenue * rowSums(sapply( 0:N, function(i) (CX\(ProbRetain/(1+d))^i ) ) summary(CX\)CLV)
Min. 1st Qu. Median Mean 3rd Qu. Max.
3 16 24 51 45 5094

5.3 比較各族群的價值
rr # <90><97>黎<9a>像<9d><87>鞎Y<95><8e><94>墦nsapply(CX[,10:12], tapply, CX$status, mean)
ProbRetain PredRevenue CLV
N1 0.20269 31.98 20.17
N2 0.44075 131.23 110.89
R1 0.34150 69.85 54.60
R2 0.74925 91.27 136.31
S1 0.05724 56.10 29.66
S2 0.03475 49.48 25.58
S3 0.02326 49.36 25.17

7. 選擇行銷對象
給定某一行銷工具的成本和預期效益,選擇可以施行這項工具的對象。
7.1 對R2族群進行保留
R2族群的預測保留率和購買金額

7.2 估計預期報酬
假設行銷工具的成本和預期效益為
rr cost = 10 # <88> effect = 0.75 # <95><9b><9c><9a>頃鞎瑟<8e>n
估計這項行銷工具對每一位R2顧客的預期報酬
這一項工具對R2顧客的預期報酬是負的
7.3 選擇行銷對象
但是,我們還是可以挑出許多預期報酬很大的行銷對象
rr Target %>% arrange(desc(ExpReturn)) %>% select(cid, ExpReturn) %>% head(15)
cid ExpReturn
1 141340 646.85
2 164930 609.02
3 2190 323.38
4 172750 305.75
5 156280 289.41
6 190570 236.91
7 134030 199.29
8 141430 150.73
9 123480 134.52
10 65830 110.61
11 150890 107.18
12 134590 99.48
13 72000 92.55
14 133080 84.54
15 147510 77.18
rr sum(Target$ExpReturn > 0) # 撖行撠情嚗<9a>258
[1] 258
在R2之中,有258人的預期報酬大於零,如果對這258人使用這項工具,我們的期望報酬是:
rr sum(Target\(ExpReturn[Target\)ExpReturn > 0]) # <9c>嚗<9a>6464
[1] 6464
QUIZ:
我們可以算出對所有的族群實施這項工具的期望報酬 …
rr Target = CX Target\(ExpReturn = (effect - Target\)ProbRetain) * Target\(PredRevenue - cost filter(Target, Target\)ExpReturn > 0) %>% group_by(status) %>% summarise( No.Target = n(), AvgROI = mean(ExpReturn), TotalROI = sum(ExpReturn) ) %>% data.frame
status No.Target AvgROI TotalROI
1 N1 2211 9.973 22049
2 N2 1459 47.238 68920
3 R1 1596 25.459 40633
4 R2 258 25.054 6464
5 S1 2645 30.592 80915
6 S2 1609 27.134 43658
7 S3 4495 27.598 124052
這個結果是合理的嗎? 你想要怎麼修正這項分析的程序呢?
LS0tDQp0aXRsZTogIkNWTe+8mumhp+WuouWDueWAvOeuoeeQhiAiDQphdXRob3I6ICLlionogrLpipggTTA2NDAyMDAyNSwgMjAxOC8wNy8yOSINCm91dHB1dDogaHRtbF9ub3RlYm9vaw0KLS0tDQoNCjxicj4NCg0KIyMjIOWJjeiogO+8muW+nuS6pOaYk+iomOmMhOWIsOmhp+WuouWDueWAvA0KDQrlloTnlKjllYbmpa3mlbjmk5rliIbmnpDnmoTlt6XlhbflkozmioDlt6fvvIzlhYnpnaDkuIDku73mnIDnsKHllq7nmoTkuqTmmJPntIDpjIQo5Y+q5pyJ6aGn5a6iSUTjgIHkuqTmmJPml6XmnJ/lkozkuqTmmJPph5HpoY3kuInlgIvmrITkvY0p77yM5oiR5YCR5bCx5Y+v5Lul5YGa5LiA57O75YiX5b6I5rex5YWl44CB5b6I5pyJ5YO55YC855qE6aGn5a6i5YO55YC85YiG5p6Q5ZKM6KGM6Yq3562W55Wl6KaP5YqD77yM5YyF5ous77yaDQoNCisgKirkuqTmmJPoqJjpjITliIbmnpAqKu+8mg0KICAgICsg5pWY6L+w57Wx6KiIDQogICAgKyDotqjli6LjgIHkuqTlj4nliIbmnpANCiAgICArIOizh+aWmeimluimuuWMlg0KDQorICoq6aGn5a6i576k57WE6IiH5qiZ57GkKirvvJoNCiAgICArIOmbhue+pOWIhuaekA0KICAgICsg576k57WE5bGs5oCn5YiG5p6QDQogICAgKyDntYTplpPmtYHli5XmqZ/njocNCiAgICArIOmhp+WuoijlgIvkurop5rWB5YuV5qmf546HDQoNCg0KPGNlbnRlcj4NCg0KIVvlnJbkuIDjgIHpoaflrqLlg7nlgLznrqHnkIbnmoTlsaTmrKFdKGZpZy9maWcxLnBuZykNCg0KPC9jZW50ZXI+DQoNCjxicj7lvp7pgJnkuIDkupvliIbmnpDmiJHlgJHlj6/ku6XnnIvliLDlhazlj7jkuLvopoHnmoTnh5/mlLblkoznjbLliKnnmoTph43opoHkvobmupDvvIzmiJHlgJHkuZ/lj6/ku6XnnIvliLDpgJnkuIDkupvnlKLnlJ/njbLliKnnmoTnvqTntYTmmK/kuI3mmK/mnInmiJDplbfmiJbogIXoobDpgIDnmoTotqjli6LvvJvmk5rmraTmiJHlgJHlj6/ku6XoqK3lrprooYzpirfnmoTph43pu57vvIzmsbrlrprooYzpirfnmoTnrZbnlaXvvIzlkozopo/lioPooYzpirfnmoTlt6XlhbfjgILpmaTkuobkuIrov7DnmoTmlZjov7DntbHoqIjjgIHpm4bnvqTliIbmnpDjgIHlkozos4fmlpnoppboprrljJbkuYvlpJbvvIzmiJHlgJHpgoTlj6/ku6XliKnnlKjpgJnkupvnsKHllq7nmoTkuqTmmJPntIDpjITvvJoNCg0KKyAqKuW7uueri+mgkOa4rOaAp+aooeWeiyoq77yM6aCQ5ris5q+P5LiA5L2N6aGn5a6i55qE77yaDQogICAgKyDkv53nlZnmqZ/njocNCiAgICArIOmgkOacn+eHn+aUtg0KICAgICsg57WE6ZaT6K6K5o+b5qmf546HDQogICAgKyDkuIvmrKHlj6/og73os7zosrfmmYLplpMNCg0KPGJyPuWIqeeUqOmAmeS4gOS6m+mgkOa4rOaIkeWAkeWwseWPr+S7pemAsuihjOWFqOmdouWuouijveWMlueahO+8miANCg0KKyAqKumhp+WuouWDueWAvOeuoeeQhioq77yaDQogICAgKyDpoaflrqLntYLnlJ/lg7nlgLwNCiAgICArIOmhp+WuouWQuOaUtuetlueVpQ0KICAgICsg6aGn5a6i55m85bGV562W55WlDQogICAgKyDpoaflrqLkv53nlZnnrZbnlaUNCg0KKyAqKumHneWwjeaAp+ihjOmKtyoq77yaDQogICAgKyDoqK3oqIjooYzpirfmlrnmoYgNCiAgICArIOmBuOaTh+ihjOmKt+aWueahiA0KICAgICsg6YG45pOH6KGM6Yq35bCN6LGhDQoNCg0KPGNlbnRlcj4NCg0KIVvlnJbkuozjgIHpoaflrqLlg7nlgLznrqHnkIbmtYHnqItdKGZpZy9maWcyLnBuZykNCg0KPC9jZW50ZXI+DQoNCg0KDQo8YnI+PGhyPg0KDQojIyMjIyBTZXR1cCANCmBgYHtyfQ0KU3lzLnNldGxvY2FsZSgiTENfQUxMIiwiQyIpDQpwYWNrYWdlcyA9IGMoDQogICJkcGx5ciIsImdncGxvdDIiLCJnb29nbGVWaXMiLCJkZXZ0b29scyIsIm1hZ3JpdHRyIiwiY2FUb29scyIsIlJPQ1IiLCJjYVRvb2xzIikNCmV4aXN0aW5nID0gYXMuY2hhcmFjdGVyKGluc3RhbGxlZC5wYWNrYWdlcygpWywxXSkNCmZvcihwa2cgaW4gcGFja2FnZXNbIShwYWNrYWdlcyAlaW4lIGV4aXN0aW5nKV0pIGluc3RhbGwucGFja2FnZXMocGtnKQ0KDQppZighaXMuZWxlbWVudCgiY2hvcmRkaWFnIiwgZXhpc3RpbmcpKQ0KICBkZXZ0b29sczo6aW5zdGFsbF9naXRodWIoIm1hdHRmbG9yL2Nob3JkZGlhZyIpDQpgYGANCg0KIyMjIyMgTGlicmFyeQ0KYGBge3IgZWNobz1ULCBtZXNzYWdlPUYsIGNhY2hlPUYsIHdhcm5pbmc9Rn0NCnJtKGxpc3Q9bHMoYWxsPVQpKQ0Kb3B0aW9ucyhkaWdpdHM9NCwgc2NpcGVuPTEyKQ0KbGlicmFyeShkcGx5cikNCmxpYnJhcnkoZ2dwbG90MikNCmxpYnJhcnkoY2FUb29scykNCmxpYnJhcnkoUk9DUikNCmxpYnJhcnkoZ29vZ2xlVmlzKQ0KbGlicmFyeShjaG9yZGRpYWcpDQpgYGANCjxicj48aHI+DQoNCiMjIyAxIDEuIOizh+aWmeaVtOeQhg0KDQojIyMjIyAxLjEg5Lqk5piT6LOH5paZIChYKQ0KYGBge3J9DQpYID0gcmVhZC50YWJsZSgNCiAgJ3B1cmNoYXNlcy50eHQnLCBoZWFkZXI9RkFMU0UsIHNlcD0nXHQnLCBzdHJpbmdzQXNGYWN0b3JzPUYpDQpuYW1lcyhYKSA9IGMoJ2NpZCcsJ2Ftb3VudCcsJ2RhdGUnKQ0KWCRkYXRlID0gYXMuRGF0ZShYJGRhdGUpDQpzdW1tYXJ5KFgpICAgICAgICAgICAgICAgICAgIyDkuqTmmJPmrKHmlbggNTEyNDMNCmBgYA0KDQpgYGB7ciBmaWcuaGVpZ2h0PTMsIGZpZy53aWR0aD03LjJ9DQpwYXIoY2V4PTAuOCkNCmhpc3QoWCRkYXRlLCAieWVhcnMiLCBsYXM9MiwgZnJlcT1ULCB4bGFiPSIiLCBtYWluPSJOby4gVHJhbnNhY3Rpb24gYnkgWWVhciIpDQpgYGANCg0KDQpgYGB7cn0NCm5fZGlzdGluY3QoWCRjaWQpICAgICAgICAgICAjIOmhp+WuouaVuCAxODQxNw0KYGBgDQoNCiMjIyMjIDEuMiDpoaflrqLos4fmlpkgKEEpDQpgYGB7cn0NCkEgPSBYICU+JSANCiAgbXV0YXRlKGRheXMgPSBhcy5pbnRlZ2VyKGFzLkRhdGUoIjIwMTYtMDEtMDEiKSAtIGRhdGUpKSAlPiUgDQogIGdyb3VwX2J5KGNpZCkgJT4lIHN1bW1hcmlzZSgNCiAgICByZWNlbnQgPSBtaW4oZGF5cyksICAgICAjIOacgOi/keizvOiyt+i3neS7iuWkqeaVuA0KICAgIGZyZXEgPSBuKCksICAgICAgICAgICAgICMg6LO86LK35qyh5pW4DQogICAgbW9uZXkgPSBtZWFuKGFtb3VudCksICAgIyDlubPlnYfos7zosrfph5HpoY0NCiAgICBzZW5pb3IgPSBtYXgoZGF5cyksICAgICAjIOesrOS4gOasoeizvOiyt+i3neS7iuWkqeaVuA0KICAgIHNpbmNlID0gbWluKGRhdGUpICAgICAgICMg56ys5LiA5qyh6LO86LK35pel5pyfDQogICkgJT4lIGRhdGEuZnJhbWUNCmBgYA0KDQojIyMjIyAxLjQg6aGn5a6i6LOH5paZ5pGY6KaBDQpgYGB7cn0NCnN1bW1hcnkoQSkNCmBgYA0KDQojIyMjIyAxLjUg6K6K5pW455qE5YiG5biD54uA5rOBDQpgYGB7ciBmaWcuaGVpZ2h0PTQsIGZpZy53aWR0aD04fQ0KcDAgPSBwYXIoY2V4PTAuOCwgbWZyb3c9YygyLDIpLCBtYXI9YygzLDMsNCwyKSkNCmhpc3QoQSRyZWNlbnQsMjAsbWFpbj0icmVjZW5jeSIseWxhYj0iIix4bGFiPSIiKQ0KaGlzdChwbWluKEEkZnJlcSwgMTApLDA6MTAsbWFpbj0iZnJlcXVlbmN5Iix5bGFiPSIiLHhsYWI9IiIpDQpoaXN0KEEkc2VuaW9yLDIwLG1haW49InNlbmlvcml0eSIseWxhYj0iIix4bGFiPSIiKQ0KaGlzdChsb2coQSRtb25leSwxMCksbWFpbj0ibG9nKG1vbmV5KSIseWxhYj0iIix4bGFiPSIiKQ0KYGBgDQo8YnI+PGhyPg0KDQojIyMgMi4g5bGk57Sa5byP6ZuG576k5YiG5p6QDQoNCiMjIyMjIDIuMSBSRk3poaflrqLliIbnvqQNCmBgYHtyfQ0KI07lvojlpKfmmYLvvIxQcmVmZXIgS21lYW5zIHRoYW4gSGllcmFyY2hpY2FsDQpzZXQuc2VlZCgxMTEpDQpBJGdycCA9IGttZWFucyhzY2FsZShBWywyOjRdKSwxMCkkY2x1c3Rlcg0KdGFibGUoQSRncnApICAjIOaXj+e+pOWkp+Wwjw0KYGBgDQoNCiMjIyMjIDIuMiDpoaflrqLnvqTntYTlsazmgKcNCmBgYHtyIGZpZy5oZWlnaHQ9NC41LCBmaWcud2lkdGg9OH0NCmdyb3VwX2J5KEEsIGdycCkgJT4lIHN1bW1hcmlzZSgNCiAgcmVjZW50PW1lYW4ocmVjZW50KSwgDQogIGZyZXE9bWVhbihmcmVxKSwgDQogIG1vbmV5PW1lYW4obW9uZXkpLCANCiAgc2l6ZT1uKCkgKSAlPiUgDQogIG11dGF0ZSggcmV2ZW51ZSA9IHNpemUqbW9uZXkvMTAwMCApICAlPiUgDQogIGZpbHRlcihzaXplID4gMSkgJT4lIA0KICBnZ3Bsb3QoYWVzKHg9ZnJlcSwgeT1tb25leSkpICsNCiAgZ2VvbV9wb2ludChhZXMoc2l6ZT1yZXZlbnVlLCBjb2w9cmVjZW50KSxhbHBoYT0wLjUpICsNCiAgc2NhbGVfc2l6ZShyYW5nZT1jKDQsMzApKSArDQogIHNjYWxlX2NvbG9yX2dyYWRpZW50KGxvdz0iZ3JlZW4iLGhpZ2g9InJlZCIpICsNCiAgc2NhbGVfeF9sb2cxMCgpICsgc2NhbGVfeV9sb2cxMChsaW1pdHM9YygzMCwzMDAwKSkgKyANCiAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IHNpemUgKSxzaXplPTMpICsNCiAgdGhlbWVfYncoKSArIGd1aWRlcyhzaXplPUYpICsNCiAgbGFicyh0aXRsZT0iQ3VzdG9tZXIgU2VnZW1lbnRzIiwNCiAgICAgICBzdWJ0aXRsZT0iKGJ1YmJsZV9zaXplOnJldmVudWVfY29udHJpYnV0aW9uOyB0ZXh0Omdyb3VwX3NpemUpIiwNCiAgICAgICBjb2xvcj0iUmVjZW5jeSIpICsNCiAgeGxhYigiRnJlcXVlbmN5IChsb2cpIikgKyB5bGFiKCJBdmVyYWdlIFRyYW5zYWN0aW9uIEFtb3VudCAobG9nKSIpDQpgYGANCjxicj48aHI+DQoNCiMjIyAzLiDopo/liYfliIbnvqQNCg0KIyMjIyMgMy4xIOmhp+WuouWIhue+pOimj+WJhw0KYGBge3J9DQpTVFMgPSBjKCJOMSIsIk4yIiwiUjEiLCJSMiIsIlMxIiwiUzIiLCJTMyIpDQpTdGF0dXMgPSBmdW5jdGlvbihyeCxmeCxteCxzeCxLKSB7ZmFjdG9yKA0KICBpZmVsc2Uoc3ggPCAyKkssDQogICAgICAgICBpZmVsc2UoZngqbXggPiA1MCwgIk4yIiwgIk4xIiksDQogICAgICAgICBpZmVsc2UocnggPCAyKkssDQogICAgICAgICAgICAgICAgaWZlbHNlKHN4L2Z4IDwgMC43NSpLLCJSMiIsIlIxIiksDQogICAgICAgICAgICAgICAgaWZlbHNlKHJ4IDwgMypLLCJTMSIsDQogICAgICAgICAgICAgICAgICAgICAgIGlmZWxzZShyeCA8IDQqSywiUzIiLCJTMyIpKSkpLCBTVFMpfQ0KYGBgDQoNCjxjZW50ZXI+DQoNCiFb5ZyW5LiJ44CB6aGn5a6i5YiG576k6KaP5YmHXShmaWcvZmlnMy5qZmlmKQ0KDQo8L2NlbnRlcj4NCg0KIyMjIyMgMy4yIOW5s+Wdh+izvOiyt+mAseacnw0KYGBge3J9DQpLID0gYXMuaW50ZWdlcihzdW0oQSRzZW5pb3JbQSRmcmVxPjFdKSAvIHN1bShBJGZyZXFbQSRmcmVxPjFdKSk7IEsNCmBgYA0K5Zue6LO86aGn5a6i55qE5bmz5Z2H6LO86LK36YCx5pyfIGBLID0gNTIxIGRheXNgDQoNCiMjIyMjIDMuMyDmu5Hli5Xos4fmlpnnqpfmoLwNCmBgYHtyfQ0KWSA9IGxpc3QoKSAgICAgICAgICAgICAgIyDlu7rnq4vkuIDlgIvnqbrnmoRMSVNUDQpmb3IoeSBpbiAyMDEwOjIwMTUpIHsgICAjIOavj+W5tOW5tOW6leWwh+mhp+Wuouizh+aWmeW9meaVtOaIkOS4gOWAi+izh+aWmeahhg0KICBEID0gYXMuRGF0ZShwYXN0ZTAoYyh5LCB5LTEpLCItMTItMzEiKSkgIyDnlbbmnJ/jgIHliY3mnJ/nmoTmnJ/mnKvml6XmnJ8gDQogIFlbW3Bhc3RlMCgiWSIseSldXSA9IFggJT4lICAgICAgICAjIOW+nuS6pOaYk+izh+aWmeWBmui1tw0KICAgIGZpbHRlcihkYXRlIDw9IERbMV0pICU+JSAgICAgICAgIyDlsIfos4fmlpnliIfpvYrliLDmnJ/mnKvml6XmnJ8NCiAgICBtdXRhdGUoZGF5cyA9IDEgKyBhcy5pbnRlZ2VyKERbMV0gLSBkYXRlKSkgJT4lICAgIyDkuqTmmJPot53mnJ/mnKvlpKnmlbgNCiAgICBncm91cF9ieShjaWQpICU+JSBzdW1tYXJpc2UoICAgICMg5L6d6aGn5a6i5b2Z57i9IC4uLg0KICAgICAgcmVjZW50ID0gbWluKGRheXMpLCAgICAgICAgICAgIyAgIOacgOW+jOS4gOasoeizvOiyt+i3neacn+acq+WkqeaVuCAgIA0KICAgICAgZnJlcSA9IG4oKSwgICAgICAgICAgICAgICAgICAgIyAgIOizvOiyt+asoeaVuCAo6Iez5pyf5pyr54K65q2iKSAgIA0KICAgICAgbW9uZXkgPSBtZWFuKGFtb3VudCksICAgICAgICAgIyAgIOW5s+Wdh+izvOiyt+mHkemhjSAo6Iez5pyf5pyr54K65q2iKQ0KICAgICAgc2VuaW9yID0gbWF4KGRheXMpLCAgICAgICAgICAgIyAgIOesrOS4gOasoeizvOiyt+i3neacn+acq+WkqeaVuA0KICAgICAgc3RhdHVzID0gU3RhdHVzKHJlY2VudCxmcmVxLG1vbmV5LHNlbmlvcixLKSwgICMg5pyf5pyr54uA5oWLDQogICAgICBzaW5jZSA9IG1pbihkYXRlKSwgICAgICAgICAgICAgICAgICAgICAgIyDnrKzkuIDmrKHos7zosrfml6XmnJ8NCiAgICAgIHlfZnJlcSA9IHN1bShkYXRlID4gRFsyXSksICAgICAgICAgICAgICAjIOeVtuacn+izvOiyt+asoeaVuA0KICAgICAgeV9yZXZlbnVlID0gc3VtKGFtb3VudFtkYXRlID4gRFsyXV0pICAgICMg55W25pyf6LO86LK36YeR6aGNDQogICAgKSAlPiUgZGF0YS5mcmFtZSB9DQpgYGANCg0KYGBge3J9DQpoZWFkKFkkWTIwMTUpDQojY2lkOiAgIEN1c3RvbWVySUQNCiNyZWNlbnQ65pyA6L+R5LiA5qyh6LO86LK36Led5LuK5aSp5pW4DQojZnJlcTros7zosrfmrKHmlbgNCiNzZW5pb3I6IOesrOS4gOasoeizvOiyt+i3neS7iuWkqeaVuA0KI3N0YXR1czog6aGn5a6i5YiG576kDQojeV9mcmVxOiDnlbbmnJ/mmK/lkKbmnInos7zosrcNCg0KYGBgDQoNCiMjIyMjIDMuNCDmr4/lubTlubTlupXnmoTntK/oqIjpoaflrqLkurrmlbgNCmBgYHtyfQ0Kc2FwcGx5KFksIG5yb3cpDQpgYGANCg0KIyMjIyMgMy41IOaXj+e+pOWkp+Wwj+iuiuWMlui2qOWLog0KYGBge3IgZmlnLmhlaWdodD00LCBmaWcud2lkdGg9OH0NCmNvbHMgPSBjKCJnb2xkIiwib3JhbmdlIiwiYmx1ZSIsImdyZWVuIiwicGluayIsIm1hZ2VudGEiLCJkYXJrcmVkIikNCnNhcHBseShZLCBmdW5jdGlvbihkZikgdGFibGUoZGYkc3RhdHVzKSkgJT4lIGJhcnBsb3QoY29sPWNvbHMpDQpsZWdlbmQoInRvcGxlZnQiLHJldihTVFMpLGZpbGw9cmV2KGNvbHMpKQ0KYGBgDQoNCiMjIyMjIDMuNiDml4/nvqTlsazmgKfli5XmhYvliIbmnpANCmBgYHtyfQ0KQ3VzdFNlZ21lbnRzID0gZG8uY2FsbChyYmluZCwgbGFwcGx5KFksIGZ1bmN0aW9uKGQpIHsNCiAgZ3JvdXBfYnkoZCwgc3RhdHVzKSAlPiUgc3VtbWFyaXNlKA0KICAgIGF2ZXJhZ2VfZnJlcXVlbmN5ID0gbWVhbihmcmVxKSwNCiAgICBhdmVyYWdlX2Ftb3VudCA9IG1lYW4obW9uZXkpLA0KICAgIHRvdGFsX3JldmVudWUgPSBzdW0oeV9yZXZlbnVlKSwNCiAgICB0b3RhbF9ub19vcmRlcnMgPSBzdW0oeV9mcmVxKSwNCiAgICBhdmVyYWdlX3JlY2VuY3kgPSBtZWFuKHJlY2VudCksDQogICAgYXZlcmFnZV9zZW5pb3JpdHkgPSBtZWFuKHNlbmlvciksDQogICAgZ3JvdXBfc2l6ZSA9IG4oKQ0KICApfSkpICU+JSB1bmdyb3VwICU+JSANCiAgbXV0YXRlKHllYXI9cmVwKDIwMTA6MjAxNSwgZWFjaD03KSkgJT4lIGRhdGEuZnJhbWUNCmhlYWQoQ3VzdFNlZ21lbnRzKQ0KYGBgDQoNCmBgYHtyIGV2YWw9Rn0NCnBsb3QoIGd2aXNNb3Rpb25DaGFydCgNCiAgQ3VzdFNlZ21lbnRzLCAic3RhdHVzIiwgInllYXIiLA0KICBvcHRpb25zPWxpc3Qod2lkdGg9OTAwLCBoZWlnaHQ9NjAwKSApICkNCmBgYA0KDQo8Y2VudGVyPg0KDQohW+WcluWbm+OAgemhp+WuouWIhue+pOimj+WJh10oZmlnL2ZpZzQuamZpZikNCg0KPC9jZW50ZXI+DQoNCg0KIyMjIyMgMy43IOaXj+e+pOWxrOaAp+WLleaFi+WIhuaekA0KYGBge3J9DQpkZiA9IG1lcmdlKFkkWTIwMTRbLGMoMSw2KV0sIFkkWTIwMTVbLGMoMSw2KV0sDQogICAgICAgICAgIGJ5PSJjaWQiLCBhbGwueD1UKQ0KdHggPSB0YWJsZShkZiRzdGF0dXMueCwgZGYkc3RhdHVzLnkpICU+JSANCiAgYXMuZGF0YS5mcmFtZS5tYXRyaXgoKSAlPiUgYXMubWF0cml4KCkNCnR4ICAgICMg5rWB6YeP55+p6ZmjDQpgYGANCg0KYGBge3J9DQp0eCAlPiUgcHJvcC50YWJsZSgxKSAlPiUgcm91bmQoMykgICAjIOa1gemHj+efqemZoyglKQ0KYGBgDQoNCiMjIyMjIDMuOCDkupLli5XlvI/mtYHph4/liIbmnpANCmBgYHtyfQ0KY2hvcmRkaWFnKHR4LCBncm91cENvbG9ycz1jb2xzKQ0KYGBgDQoNCiFbXShmaWcvY2hvcmQuanBnKQ0KDQo8YnI+PGhyPg0KDQojIyMgNC4g5bu656uL5qih5Z6LDQoNCuWcqOmAmeWAi+ahiOS+i+ijoemdou+8jOaIkeWAkeeahOizh+aWmeaYr+aUtuWIsFkyMDE15bm05bqV77yM5omA5Lul5oiR5YCR5Y+v5Lul5YGH6Kit54++5Zyo55qE5pmC6ZaT5pivWTIwMTXlubTlupXvvIzmiJHlgJHmg7PopoHnlKjnj77mnInnmoTos4fmlpnlu7rnq4vmqKHlnovvvIzkvobpoJDmuKzmr4/kuIDkvY3poaflrqLvvJoNCg0KKyDlnKhZMjAxNuW5tOaYr+WQpuacg+S+huizvOiytyAo5L+d55WZ546H77yaUmV0YWluKQ0KKyDlpbnkvobos7zosrfnmoToqbHvvIzmnIPosrflpJrlsJHpjKIgKOizvOiyt+mHkemhje+8mlJldmVudWUpDQoNCuS9huaYr++8jOaIkeWAkeS4puaykuaciVkyMDE255qE6LOH5paZ77yM54K65LqG6KaB5bu656uL5qih5Z6L77yM5oiR5YCR6ZyA6KaB5YWI5oqK5pmC6ZaT5Zue5o6o5LiA5pyf77yM5Lmf5bCx5piv6Kqq77yaDQoNCisg55SoWTIwMTTlubTlupXku6XliY3nmoTos4fmlpnmlbTnkIblh7rpoJDmuKzorormlbgoWCkgDQorIOeUqFkyMDE15bm055qE6LOH5paZ5pW055CG5Ye655uu5qiZ6K6K5pW4KFkpIA0KDQrlgYflpoJZMjAxNueahOaDheazgSjot59ZMjAxNeavlCnmspLmnInlpKrlpKfnmoTororljJbnmoToqbHvvIzmjqXkuIvkvobmiJHlgJHlsLHlj6/ku6UNCg0KKyDkvb/nlKjoqbLmqKHlnovvvIzku6VZMjAxNeW5tOW6leeahOizh+aWme+8jOmgkOa4rFkyMDE255qE54uA5rOBDQoNCiMjIyMjIDQuMSDmupblgpnos4fmlpkNCuaIkeWAkeeUqFkyMDE05bm05bqV55qE6LOH5paZ5YGa6Ieq6K6K5pW477yMWTIwMTXlubTnmoTos4fmlpnlgZrmh4norormlbgNCg0KYGBge3J9DQpDWCA9IGxlZnRfam9pbihZJFkyMDE0LCBZJFkyMDE1WyxjKDEsOCw5KV0sIGJ5PSJjaWQiKQ0KaGVhZChDWCkNCmBgYA0KDQpgYGB7cn0NCm5hbWVzKENYKVs4OjExXSA9IGMoImZyZXEwIiwicmV2ZW51ZTAiLCJSZXRhaW4iLCAiUmV2ZW51ZSIpDQpDWCRSZXRhaW4gPSBDWCRSZXRhaW4gPiAwDQpoZWFkKENYKQ0KYGBgDQoNCmBgYHtyfQ0KdGFibGUoQ1gkUmV0YWluKSAlPiUgcHJvcC50YWJsZSgpICAjIOW5s+Wdh+S/neeVmeapn+eOhyA9IDIyLjU0JQ0KYGBgDQoNCiMjIyMjIDQuMiDlu7rnq4vpoZ7liKXmqKHlnosNCmBgYHtyfQ0KbVJldCA9IGdsbShSZXRhaW4gfiAuLCBDWFssYygyOjMsNiw4OjEwKV0sIGZhbWlseT1iaW5vbWlhbCgpKQ0Kc3VtbWFyeShtUmV0KQ0KYGBgDQoNCiMjIyMjIDQuMyDkvLDoqIjpoZ7liKXmqKHlnovnmoTmupbnorrmgKcNCmBgYHtyfQ0KcHJlZCA9IHByZWRpY3QobVJldCx0eXBlPSJyZXNwb25zZSIpDQp0YWJsZShwcmVkPjAuNSxDWCRSZXRhaW4pIA0KIyDmt7fmt4bnn6npmaMgKENvbmZ1c2lvbiBNYXRyaXgpICANCmBgYA0KYGBge3J9DQp0YWJsZShwcmVkPjAuNSxDWCRSZXRhaW4pICU+JSANCiAge3N1bShkaWFnKC4pKS9zdW0oLil9ICAgICAgICAgICAgIyDmraPnorrnjocoQUNDKTogODUuMTklIA0KYGBgDQpgYGB7cn0NCmNvbEFVQyhwcmVkLENYJFJldGFpbikgICAgICAgICAgICAgIyDovq/orZjnjocoQVVDKTogODcuOTIlDQpgYGANCmBgYHtyIGZpZy5oZWlnaHQ9NCwgZmlnLndpZHRoPTR9DQpwcmVkaWN0aW9uKHByZWQsIENYJFJldGFpbikgJT4lICAgICMgUk9DIENVUlZFIA0KICBwZXJmb3JtYW5jZSgidHByIiwgImZwciIpICU+JSANCiAgcGxvdChwcmludC5jdXRvZmZzLmF0PXNlcSgwLDEsMC4xKSkNCmBgYA0KDQojIyMjIyA0LjQg5bu656uL5pW46YeP5qih5Z6LDQpgYGB7cn0NCmR4ID0gc3Vic2V0KENYLCBSZXZlbnVlID4gMCkgICMg5Y+q5bCN5pyJ5L6G6LO86LK355qE5Lq65YGa5qih5Z6LDQptUmV2ID0gbG0obG9nKFJldmVudWUpIH4gcmVjZW50ICsgZnJlcSArIGxvZygxK21vbmV5KSArIHNlbmlvciArDQogICAgICAgICAgc3RhdHVzICsgZnJlcTAgKyBsb2coMStyZXZlbnVlMCksIGR4KSAgDQpzdW1tYXJ5KG1SZXYpICAgICAgICAgICAgICAgICAjIOWIpOWumuS/guaVuO+8mlIyID0gMC43MTMNCmBgYA0KYGBge3IgZmlnLmhlaWdodD00LjUsIGZpZy53aWR0aD00LjV9DQpwbG90KGxvZyhkeCRSZXZlbnVlKSwgcHJlZGljdChtUmV2KSwgY29sPSdwaW5rJywgY2V4PTAuNjUpDQphYmxpbmUoMCwxLGNvbD0ncmVkJykgDQpgYGANCjxicj48aHI+DQoNCiMjIyA1LiDkvLDoqIjpoaflrqLntYLnlJ/lg7nlgLwNCg0KIyMjIyMgNS4xIFkyMDE255qE6aCQ5ris5YC8DQrkvb/nlKjmqKHlnovlsI1ZMjAxNeW5tOW6leeahOizh+aWmeWBmumgkOa4rO+8jOWwjeizh+aWmeS4reeahOavj+S4gOS9jemhp+Wuou+8jOmgkOa4rOWlueWAkeWcqFkyMDE255qE5L+d55WZ546H5ZKM6LO86LK36YeR6aGN44CCDQpgYGB7cn0NCkNYID0gWSRZMjAxNQ0KbmFtZXMoQ1gpWzg6OV0gPSBjKCJmcmVxMCIsInJldmVudWUwIikNCg0KIyDpoJDmuKxZMjAxNuS/neeVmeeOhw0KQ1gkUHJvYlJldGFpbiA9IHByZWRpY3QobVJldCxDWCx0eXBlPSdyZXNwb25zZScpDQoNCiMg6aCQ5risWTIwMTbos7zosrfph5HpoY0NCkNYJFByZWRSZXZlbnVlID0gZXhwKHByZWRpY3QobVJldixDWCkpDQpgYGANCg0KYGBge3IgZmlnLmhlaWdodD0yLjUsIGZpZy53aWR0aD04fQ0KcGFyKG1mcm93PWMoMSwyKSwgbWFyPWMoNCwzLDMsMiksIGNleD0wLjgpDQpoaXN0KENYJFByb2JSZXRhaW4sbWFpbj0iUHJvYlJldGFpbiIsIHlsYWI9IiIpDQpoaXN0KGxvZyhDWCRQcmVkUmV2ZW51ZSwxMCksbWFpbj0ibG9nKFByZWRSZXZlbnVlKSIsIHlsYWI9IiIpDQpgYGANCjxicj4NCg0KIyMjIyMgNS4yIOS8sOioiOmhp+Wuoue1gueUn+WDueWAvChDTFYpDQoNCjxjZW50ZXI+6aGn5a6iJGkk55qE57WC55Sf5YO55YC8PC9jZW50ZXI+DQoNCiQkIFZfaSA9IFxzdW1fe3Q9MH1eTiBnIFx0aW1lcyBtX2kgXGZyYWN7cl9pXnR9eygxK2QpXnR9ID0gZyBcdGltZXMgbV9pIFxzdW1fe3Q9MH1eTiAoXGZyYWN7cl9pfXsxK2R9KV50ICAkJA0KDQo8Y2VudGVyPiRtX2kk44CBJHJfaSTvvJrpoaflrqIkaSTnmoTpoJDmnJ8o5q+P5pyfKeeHn+aUtuiyoueNu+OAgeS/neeVmeapn+eOhzwvY2VudGVyPg0KDQo8Y2VudGVyPiRnJOOAgSRkJO+8muWFrOWPuOeahCjnqIXliY0p54ef5qWt5Yip5r2k5Yip546H44CB6LOH6YeR5oiQ5pysPC9jZW50ZXI+DQoNCmBgYHtyfQ0KZyA9IDAuNSAgICMgKOeoheWJjSnnjbLliKnnjocNCk4gPSA1ICAgICAjIOacn+aVuCA9IDUNCmQgPSAwLjEgICAjIOWIqeeOhyA9IDEwJQ0KQ1gkQ0xWID0gZyAqIENYJFByZWRSZXZlbnVlICogcm93U3VtcyhzYXBwbHkoDQogIDA6TiwgZnVuY3Rpb24oaSkgKENYJFByb2JSZXRhaW4vKDErZCkpXmkgKSApDQoNCnN1bW1hcnkoQ1gkQ0xWKQ0KYGBgDQoNCmBgYHtyIGZpZy5oZWlnaHQ9Mi41LCBmaWcud2lkdGg9Ny4yfQ0KcGFyKG1hcj1jKDIsMiwzLDEpLCBjZXg9MC44KQ0KaGlzdChsb2coQ1gkQ0xWLDEwKSwgeGxhYj0iIiwgeWxhYj0iIikNCmBgYA0KDQojIyMjIyA1LjMg5q+U6LyD5ZCE5peP576k55qE5YO55YC8DQoNCmBgYHtyfQ0KIyDlkITml4/nvqTnmoTlubPlnYfnh5/mlLbosqLnjbvjgIHkv53nlZnmqZ/njofjgIHntYLnlJ/lg7nlgLwNCnNhcHBseShDWFssMTA6MTJdLCB0YXBwbHksIENYJHN0YXR1cywgbWVhbikNCmBgYA0KDQoNCmBgYHtyfQ0KcGFyKG1hcj1jKDMsMyw0LDIpLCBjZXg9MC44KQ0KYm94cGxvdChsb2coQ0xWKX5zdGF0dXMsIENYLCBtYWluPSJDTFYgYnkgR3JvdXBzIikNCg0KYGBgDQo8YnI+PGhyPg0KDQojIyMgNi4g6Kit5a6a6KGM6Yq3562W55Wl44CB6KaP5YqD6KGM6Yq35bel5YW3DQoNCjxicj48aHI+DQoNCiMjIyA3LiDpgbjmk4fooYzpirflsI3osaENCg0K57Wm5a6a5p+Q5LiA6KGM6Yq35bel5YW355qE5oiQ5pys5ZKM6aCQ5pyf5pWI55uK77yM6YG45pOH5Y+v5Lul5pa96KGM6YCZ6aCF5bel5YW355qE5bCN6LGh44CCIA0KDQojIyMjIyA3LjEg5bCNUjLml4/nvqTpgLLooYzkv53nlZkNClIy5peP576k55qE6aCQ5ris5L+d55WZ546H5ZKM6LO86LK36YeR6aGNDQpgYGB7ciBmaWcuaGVpZ2h0PTIuNSwgZmlnLndpZHRoPTh9DQpwYXIobWZyb3c9YygxLDIpLCBtYXI9Yyg0LDMsMywyKSwgY2V4PTAuOCkNCmhpc3QoQ1gkUHJvYlJldGFpbltDWCRzdGF0dXM9PSJSMiJdLG1haW49IlByb2JSZXRhaW4iLHhsYWI9IiIpDQpoaXN0KGxvZyhDWCRQcmVkUmV2ZW51ZVtDWCRzdGF0dXM9PSJSMiJdLDEwKSxtYWluPSJQcmVkUmV2ZW51ZSIseGxhYj0iIikNCmBgYA0KDQojIyMjIyA3LjIg5Lyw6KiI6aCQ5pyf5aCx6YWsDQrlgYfoqK3ooYzpirflt6XlhbfnmoTmiJDmnKzlkozpoJDmnJ/mlYjnm4rngroNCmBgYHtyfQ0KY29zdCA9IDEwICAgICAgICAjIOaIkOacrA0KZWZmZWN0ID0gMC43NSAgICAjIOaViOebiu+8muS4i+S4gOacn+eahOizvOiyt+apn+eOhw0KYGBgDQoNCuS8sOioiOmAmemgheihjOmKt+W3peWFt+Wwjeavj+S4gOS9jVIy6aGn5a6i55qE6aCQ5pyf5aCx6YWsDQpgYGB7cn0NClRhcmdldCA9IHN1YnNldChDWCwgc3RhdHVzPT0iUjIiKQ0KVGFyZ2V0JEV4cFJldHVybiA9IChlZmZlY3QgLSBUYXJnZXQkUHJvYlJldGFpbikgKiBUYXJnZXQkUHJlZFJldmVudWUgLSBjb3N0DQpzdW1tYXJ5KFRhcmdldCRFeHBSZXR1cm4pDQpgYGANCumAmeS4gOmgheW3peWFt+WwjVIy6aGn5a6i55qE6aCQ5pyf5aCx6YWs5piv6LKg55qEDQoNCiMjIyMjIDcuMyDpgbjmk4fooYzpirflsI3osaENCuS9huaYr++8jOaIkeWAkemChOaYr+WPr+S7peaMkeWHuuioseWkmumgkOacn+WgsemFrOW+iOWkp+eahOihjOmKt+WwjeixoQ0KYGBge3J9DQpUYXJnZXQgJT4lIGFycmFuZ2UoZGVzYyhFeHBSZXR1cm4pKSAlPiUgc2VsZWN0KGNpZCwgRXhwUmV0dXJuKSAlPiUgaGVhZCgxNSkNCmBgYA0KDQpgYGB7cn0NCnN1bShUYXJnZXQkRXhwUmV0dXJuID4gMCkgICAgICAgICAgICAgICAgICMg5Y+v5a+m5pa95bCN6LGh77yaMjU4DQpgYGANCuWcqFIy5LmL5Lit77yM5pyJMjU45Lq655qE6aCQ5pyf5aCx6YWs5aSn5pa86Zu277yM5aaC5p6c5bCN6YCZMjU45Lq65L2/55So6YCZ6aCF5bel5YW377yM5oiR5YCR55qE5pyf5pyb5aCx6YWs5piv77yaDQpgYGB7cn0NCnN1bShUYXJnZXQkRXhwUmV0dXJuW1RhcmdldCRFeHBSZXR1cm4gPiAwXSkgICAjIOmgkOacn+WgsemFrO+8mjY0NjQNCmBgYA0KDQojIyMjIyBRVUlaOg0K5oiR5YCR5Y+v5Lul566X5Ye65bCN5omA5pyJ55qE5peP576k5a+m5pa96YCZ6aCF5bel5YW355qE5pyf5pyb5aCx6YWsIC4uLg0KYGBge3J9DQpUYXJnZXQgPSBDWA0KVGFyZ2V0JEV4cFJldHVybiA9IChlZmZlY3QgLSBUYXJnZXQkUHJvYlJldGFpbikgKiBUYXJnZXQkUHJlZFJldmVudWUgLSBjb3N0DQpmaWx0ZXIoVGFyZ2V0LCBUYXJnZXQkRXhwUmV0dXJuID4gMCkgJT4lDQogIGdyb3VwX2J5KHN0YXR1cykgJT4lIHN1bW1hcmlzZSgNCiAgICBOby5UYXJnZXQgPSBuKCksDQogICAgQXZnUk9JID0gbWVhbihFeHBSZXR1cm4pLA0KICAgIFRvdGFsUk9JID0gc3VtKEV4cFJldHVybikgKSAlPiUgZGF0YS5mcmFtZQ0KYGBgDQrpgJnlgIvntZDmnpzmmK/lkIjnkIbnmoTll47vvJ8g5L2g5oOz6KaB5oCO6bq85L+u5q2j6YCZ6aCF5YiG5p6Q55qE56iL5bqP5ZGi77yfDQoNCisNCisNCg0KPGJyPjxicj48aHI+DQoNCiMjIyA4LiDntZDoq5YNCg0K5aaC5p6c5L2g5Y+q5pyJ6aGn5a6iSUTjgIHkuqTmmJPml6XmnJ/jgIHkuqTmmJPph5HpoY3kuInlgIvmrITkvY3nmoToqbHvvIzkvaDlj6/ku6XlgZrnmoTliIbmnpDljIXmi6zvvJoNCg0KKyDlhajpq5TpoaflrqLlkozmr4/kuIDlgIvpoaflrqLliIbnvqTnmoTvvJoNCiAgICArIOaXj+e+pOWkp+Wwj+iIh+aIkOmVt+i2qOWLog0KICAgICsg5peP576k5bGs5oCn5YiG5p6Q77ya5aaC5bmz5Z2HQ0xW44CB5bmz5Z2H54ef5pS26LKi542744CB5oiQ6ZW3546H44CB5q+b5Yip546HKOmcgOimgeacieaIkOacrOizh+aWmSnnrYnnrYkNCiAgICArIOe1hOmWk+a1gemHj+WSjOW5s+Wdh+a1geWLleapn+eOhw0KDQorIOavj+S4gOWAi+mhp+WuoueahO+8mg0KICAgICsg5L+d55WZ546H44CB6aCQ5pyf6LO86LK36YeR6aGN44CB57WC6Lqr5YO55YC8DQogICAgKyDnm67liY3miYDlnKjnvqTntYTvvIzku6Xlj4rkuIvkuIDmnJ/mnIPovYnliLDlgIvnvqTntYTnmoTmqZ/njocNCiAgICArIOWmguaenOacieihjOmKt+W3peWFt+eahOS9v+eUqOe0gOmMhOeahOipse+8jOaIkeWAkeS5n+WPr+S7peS8sOioiOavj+S4gOaoo+ihjOmKt+W3peWFt+OAgeWwjeavj+S4gOS9jemhp+WuoueahOaIkOWKn+apn+eOhw0KDQrkuIDoiKzogIzoqIDvvIzpgJnkuIDkupvliIbmnpDnmoTntZDmnpzvvIzotrPlpKDorpPmiJHlgJHliLblrprpoaflrqLnmbzlsZXlkozpoaflrqLkv53nlZnnrZbnlaXvvJvoh7PmlrzpoaflrqLlkLjmlLbnrZbnlaXvvIzmiJHlgJHpgJrluLjpgoTpnIDopoHlvp5DUk3mkojlh7rpoaflrqLlgIvkurrlsazmgKfos4fmlpnmiY3og73lgZrliLDjgIIgDQoNCg0KPGJyPjxicj48aHI+PGJyPjxicj48YnI+DQoNCjxzdHlsZT4NCi5jYXB0aW9uIHsNCiAgY29sb3I6ICM3Nzc7DQogIG1hcmdpbi10b3A6IDEwcHg7DQp9DQpwIGNvZGUgew0KICB3aGl0ZS1zcGFjZTogaW5oZXJpdDsNCn0NCnByZSB7DQogIHdvcmQtYnJlYWs6IG5vcm1hbDsNCiAgd29yZC13cmFwOiBub3JtYWw7DQogIGxpbmUtaGVpZ2h0OiAxOw0KfQ0KcHJlIGNvZGUgew0KICB3aGl0ZS1zcGFjZTogaW5oZXJpdDsNCn0NCnAsbGkgew0KICBmb250LWZhbWlseTogIlRyZWJ1Y2hldCBNUyIsICLlvq7ou5/mraPpu5Hpq5QiLCAiTWljcm9zb2Z0IEpoZW5nSGVpIjsNCn0NCg0KLnJ7DQogIGxpbmUtaGVpZ2h0OiAxLjI7DQp9DQoNCnRpdGxlew0KICBjb2xvcjogI2NjMDAwMDsNCiAgZm9udC1mYW1pbHk6ICJUcmVidWNoZXQgTVMiLCAi5b6u6Luf5q2j6buR6auUIiwgIk1pY3Jvc29mdCBKaGVuZ0hlaSI7DQp9DQoNCmJvZHl7DQogIGZvbnQtZmFtaWx5OiAiVHJlYnVjaGV0IE1TIiwgIuW+rui7n+ato+m7kemrlCIsICJNaWNyb3NvZnQgSmhlbmdIZWkiOw0KfQ0KDQpoMSxoMixoMyxoNCxoNXsNCiAgY29sb3I6ICMwMDg4MDA7DQogIGZvbnQtZmFtaWx5OiAiVHJlYnVjaGV0IE1TIiwgIuW+rui7n+ato+m7kemrlCIsICJNaWNyb3NvZnQgSmhlbmdIZWkiOw0KfQ0KDQpoM3sNCiAgY29sb3I6ICMwMDg4MDA7DQogIGJhY2tncm91bmQ6ICNlNmZmZTY7DQogIGxpbmUtaGVpZ2h0OiAyOw0KICBmb250LXdlaWdodDogYm9sZDsNCn0NCg0KaDV7DQogIGNvbG9yOiAjMDA2MDAwOw0KICBiYWNrZ3JvdW5kOiAjZjhmOGY4Ow0KICBsaW5lLWhlaWdodDogMS41Ow0KICBmb250LXdlaWdodDogYm9sZDsNCn0NCg0KZW17DQogIGNvbG9yOiAjMDAwMGMwOw0KICBiYWNrZ3JvdW5kOiAjZjBmMGYwOw0KICB9DQo8L3N0eWxlPg0KDQo=