9.3 Bühlmann Credibility
Dalam bagian ini, kita akan mempelajari:
- Menghitung perkiraan yang ditimbang kredibilitas untuk kerugian yang
diharapkan untuk suatu risiko atau kelompok risiko.
- Menentukan kredibilitas \(Z\) yang
diberikan kepada pengamatan.
- Menghitung nilai yang diperlukan dalam kredibilitas Bühlmann,
termasuk Nilai Harapan Variansi Proses \(( EPV
)\), Variansi Rata-rata Hipotetis \((
VHM )\) dan rata-rata kolektif \(μ\) .
- Mengenali situasi di mana model Bühlmann sesuai.
Rencana peringkat klasifikasi mengelompokkan pemegang polis ke dalam
kelas berdasarkan karakteristik risiko. Meskipun pemegang polis dalam
satu kelas memiliki kesamaan, mereka tidak identik dan kerugian yang
diharapkan tidak akan sama persis. Rencana peringkat pengalaman dapat
melengkapi rencana peringkat kelas dengan menimbang kredibilitas
pengalaman kerugian individu pemegang polis dengan tarif kelas untuk
menghasilkan tarif yang lebih akurat bagi pemegang polis.
Dalam penyajian kredibilitas Bühlmann, disarankan untuk menetapkan
parameter risiko \(θ\) untuk setiap
pemegang polis. Kerugian \(X\) untuk
pemegang polis akan memiliki fungsi distribusi yang umum \(Fθ(x)\) dengan rata-rata \(μ(θ)=E(X|θ)\) dan varians \(σ2(θ)=Var(X|θ)\). Kerugian \(X\) dapat mewakili premi murni, kerugian
agregat, jumlah klaim, keparahan klaim, atau ukuran kerugian lainnya
untuk periode waktu, seringkali selama satu tahun. Parameter risiko
\(θ\) dapat bersifat kontinu atau
diskrit dan dapat multivariat tergantung pada model yang digunakan.
Jika seorang pemegang polis dengan parameter risiko \(θ\) mengalami kerugian \(X1,...,Xn\) selama \(n\) periode waktu, maka tujuannya adalah
untuk menemukan \(E(μ(θ)|X1,...,Xn)\),
yaitu ekspektasi bersyarat dari \(μ(θ)\) yang diberikan \(X1,...,Xn\). Perkiraan yang ditimbang
kredibilitas Bühlmann untuk \(E(μ(θ)|X1,...,Xn)\) untuk pemegang polis
adalah sebagai berikut:
\[\begin{equation}\hat{\mu}(\theta)=Z\bar{X}+(1-Z)\mu
\tag{9.7}\end{equation}\]
Dengan :
\[\begin{eqnarray*}
\theta&=&\textrm{a risk parameter that identifies a
policyholder's risk level}\\
\hat{\mu}(\theta)&=&\textrm{estimated expected loss for a
policyholder with parameter }\theta\\
& & \textrm{and loss experience } \bar{X}\\
\bar{X}&=&(X_1+\cdots+X_n)/n \textrm{ is the average of $n$
observations of the policyholder } \\
Z&=&\textrm{credibility assigned to $n$ observations } \\
\mu&=&\textrm{the expected loss for a randomly chosen
policyholder in the class.}\\
\end{eqnarray*}\]
Untuk pemegang polis yang dipilih, asumsi variabel acak \(Xj\) dianggap iid untuk \(j=1,...,n\) karena diasumsi8kan bahwa
paparan pemegang polis terhadap kerugian tidak berubah dari waktu ke
waktu. Kuantitas \(\bar{X}\) adalah
rata-rata dari \(n\) pengamatan dan
\(E(\bar{X}|θ)=E(Xj|θ)=μ(θ)\).
Jika seorang pemegang polis dipilih secara acak dari kelas dan tidak
ada informasi kerugian tentang risiko, maka kerugian yang diharapkan
adalah \(μ=E(μ(θ))\) di mana harapan
diambil dari semua \(θ\) dalam kelas.
Dalam situasi ini, \(Z=0\) dan kerugian
yang diharapkan adalah \(μ^(θ)=μ\)
untuk risiko tersebut. Kuantitas \(μ\)
juga dapat ditulis sebagai \(μ=E(Xj)\)
atau \(μ=E(\bar{X})\) dan sering
disebut sebagai mean keseluruhan atau collective mean. Perhatikan bahwa
\(E(Xj)\) dievaluasi dengan hukum total
ekspektasi: \(E(Xj)=E(E[Xj|θ])\).
Example 9.3.1 Jumlah klaim \(X\) untuk seorang tertanggung dalam suatu
kelas memiliki distribusi Poisson dengan mean \(θ>0\). Parameter risiko \(θ\) didistribusikan secara eksponensial di
dalam kelas dengan pdf \(f(θ)=e−θ\).
Berapakah jumlah klaim yang diharapkan untuk seorang tertanggung yang
dipilih secara acak dari kelas tersebut?
Solusi Variabel acak \(X\) memiliki distribusi Poisson dengan
parameter \(θ\) dan \(E(X|θ)=θ\). Jumlah klaim yang diharapkan
untuk seorang tertanggung yang dipilih secara acak adalah \(μ=E(μ(θ))=E(E(X|θ))=E(θ)=∫∞0θe−θdθ=1\).
Pada contoh di atas, parameter risiko \(θ\) adalah variabel acak dengan distribusi
eksponensial. Pada contoh berikutnya, terdapat tiga jenis risiko dan
parameter risiko memiliki distribusi diskrit.
Example 9.3.2 Untuk setiap risiko (pemegang polis)
dalam populasi, jumlah kerugian \(N\)
dalam setahun memiliki distribusi Poisson dengan parameter \(λ\). Jumlah kerugian individu \(Xi\) untuk sebuah risiko independen dari
\(N\) dan identik dan memiliki
distribusi Pareto Tipe II dengan \(F(x) = 1 -
[θ / (x + θ)]α\). Ada tiga jenis risiko dalam populasi sebagai
berikut:
\[\small{
\begin{array}{|c|c|c|c|}
\hline
\text{Risk } & \text{Percentage} & \text{Poisson} &
\text{Pareto} \\
\text{Type} & \text{of Population} & \text{Parameter} &
\text{Parameters} \\
\hline
A & 50\% & \lambda=0.5 & \theta=1000, \alpha=2.0 \\
B & 30\% & \lambda=1.0 & \theta=1500, \alpha=2.0 \\
C & 20\% & \lambda=2.0 & \theta=2000, \alpha=2.0
\\
\hline
\end{array}
}\]
Jika sebuah risiko dipilih secara acak dari populasi tersebut, berapa
kerugian total yang diharapkan dalam setahun?
Solusi Untuk suatu risiko, jumlah klaim yang
diharapkan adalah \(E(N|λ) = λ\). Nilai
harapan dari suatu variabel acak yang didistribusikan Pareto adalah
\(E(X|θ,α) = θ/(α-1)\). Nilai harapan
dari variabel acak kehilangan agregat \(S = X1
+⋯+XN\) untuk risiko dengan parameter \(λ\), \(α\), dan \(θ\) adalah \(E(S)
= E(N)E(X) = λθ/(α-1)\). Kerugian agregat yang diharapkan untuk
suatu risiko jenis A adalah \(E(SA) =
(0,5)(1000)/(2-1) = 500\). Kerugian agregat yang diharapkan untuk
suatu risiko yang dipilih secara acak dari populasi adalah \(E(S) =
0,5[(0,5)(1000)]+0,3[(1,0)(1500)]+0,2[(2,0)(2000)] = 1500\).
Berapa parameter risiko untuk suatu risiko (pemegang polis) pada
contoh sebelumnya? Dapat dikatakan bahwa parameter risiko memiliki tiga
komponen \((λ, θ, α)\) dengan nilai
mungkin (0,5, 1000, 2,0), (1,0, 1500, 2,0), dan (2,0, 2000, 2,0)
tergantung pada jenis risiko.
Perlu diperhatikan bahwa pada kedua contoh tersebut, parameter risiko
adalah kuantitas acak dengan distribusi probabilitasnya sendiri. Kita
tidak tahu nilai parameter risiko untuk risiko yang dipilih secara
acak.
Meskipun formula (9.7) diperkenalkan dengan menggunakan rating
pengalaman sebagai contoh, model kredibilitas Bühlmann memiliki aplikasi
yang lebih luas. Misalkan ada rencana rating dengan beberapa kelas.
Formula kredibilitas (9.7) dapat digunakan untuk menentukan tarif kelas
individu. Rata-rata keseluruhan \(μ\)
akan menjadi rata-rata kerugian untuk semua kelas yang digabungkan,
\(\bar{X}\) akan menjadi pengalaman
untuk kelas individu, dan \(μ^(θ)\)
akan menjadi perkiraan kerugian untuk kelas tersebut.
9.3.1 Credibility Z, EPV, and VHM
Ketika menghitung estimasi kredibilitas \(μ^(θ)=Z\bar{X}+(1−Z)μ\), berapa bobot \(Z\) yang harus diberikan pada pengalaman
\(\bar{X}\) dan berapa bobot \((1−Z)\) pada rata-rata keseluruhan \(μ\)? Dalam kredibilitas Bühlmann, terdapat
tiga faktor yang perlu dipertimbangkan:
- Berapa variasi dalam satu pengamatan \(Xj\) untuk risiko yang dipilih? Dengan
\(\bar{X} = (X1 + ⋯ + Xn) / n\) dan
dengan asumsi bahwa pengamatan adalah iid kondisional pada \(θ\), maka mengikuti bahwa \(Var(\bar{X}|θ) = Var(Xj|θ) / n\). Untuk
\(Var(\bar{X}|θ)\) yang lebih besar,
bobot kredibilitas \(Z\) yang lebih
kecil harus diberikan pada pengalaman \(\bar{X}\). Nilai Harapan dari Varians
Proses, disingkat \(EPV\), adalah nilai
harapan dari \(Var(Xj|θ)\) di seluruh
risiko:
\(EPV =
\mathrm{E}(\mathrm{Var}(X_j|\theta)).\)
karena \(Var(\bar{X}|θ) =
Var(Xj|θ)/n)\) maka berlaku bahwa \(E(Var(\bar{X}|θ))=EPV/n\).
- Seberapa homogen populasi risiko yang pengalaman kerugiannya
digabungkan untuk menghitung rata-rata keseluruhan \(μ\)? Jika semua risiko memiliki potensi
kerugian yang serupa, maka bobot yang lebih besar \((1-Z)\) diberikan pada rata-rata
keseluruhan \(μ\) karena \(μ\) adalah rata-rata untuk sekelompok
risiko yang serupa dan rata-rata \(μ(θ)\) tidak terlalu jauh. Homogenitas atau
heterogenitas populasi diukur dengan Variance of the Hypothetical Means
dengan singkatan \(VHM\):
\[VHM=\mathrm{Var}(\mathrm{E}(X_j|\theta))=\mathrm{Var}(\mathrm{E}(\bar{X}|\theta)).\]
Perhatikan bahwa kita menggunakan \(E(\bar{X}|θ)=E(Xj|θ)\) untuk kesamaan
kedua.
- Berapa banyak pengamatan n yang digunakan untuk menghitung \(\bar{X}\)? Sampel yang lebih besar akan
menghasilkan \(Z\) yang lebih
besar.
Example 9.3.3 Jumlah klaim \(N\) dalam setahun untuk suatu risiko dalam
populasi memiliki distribusi Poisson dengan mean \(λ>0\). Parameter risiko \(λ\) didistribusikan secara seragam di
selang (0,2). Hitung \(EPV\) dan \(VHM\) untuk populasi.
Solusi
Variabel acak N berdistribusi Poisson dengan parameter λ sehingga
Var(N|λ)=λ . Nilai harapan dari varian proses adalah EPV=E(Var(N|λ)) =
E(λ)=∫20λ12dλ=1 . Varians dari rata-rata hipotetis adalah \(VHM=Var(E(N|λ)) = Var(λ)=E(λ^2)−(E(λ))^2 =
\int_{0}^{2}\lambda^2 \frac{1}{2}
d\lambda-(1)^2=\frac{1}{3}\)
Formula kepercayaan Bühlmann meliputi nilai untuk \(n\), \(EPV\), dan \(VHM\):
\[\begin{equation}
Z=\frac{n}{n+K} \quad , \quad K =\frac{EPV}{VHM}.
\tag{9.8}
\end{equation}\]
Jika \(VHM\) meningkat maka \(Z\) juga meningkat. Jika \(EPV\) meningkat maka \(Z\) menjadi lebih kecil. Berbeda dengan
kredibilitas fluktuasi terbatas di mana \(Z=1\) ketika jumlah klaim yang diharapkan
lebih besar dari standar kredibilitas penuh, \(Z\) dapat mendekati tetapi tidak sama
dengan 1 ketika jumlah pengamatan n mendekati tak hingga.
Jika Anda mengalikan pembilang dan penyebut rumus \(Z\) dengan \((
VHM/n )\), maka \(Z\) dapat
ditulis kembali sebagai:
\[Z=\frac{VHM}{VHM+(EPV/n)} .\]
Jumlah pengamatan \(n\) tertangkap
dalam istilah \((EPV/n)\). Seperti yang
ditunjukkan di bullet (1) di awal bagian, \(E(Var(\bar{X}|θ)) = EPV/n\). Seiring dengan
bertambahnya jumlah pengamatan, varians yang diharapkan dari \(\bar{X}\) menjadi lebih kecil dan
kredibilitas \(Z\) meningkat sehingga
lebih banyak bobot diberikan pada \(\bar{X}\) dalam perkiraan yang dibobotkan
kredibilitas \(μ^(θ)\).
9.4 Bühlmann-Straub Credibility
Di bagian ini, Anda akan belajar cara:
- Menghitung perkiraan bobot kredibilitas untuk kerugian yang
diharapkan untuk risiko atau kelompok risiko menggunakan model
Bühlmann-Straub.
- Menentukan kredibilitas \(Z\) yang
diberikan kepada pengamatan.
- Menghitung nilai yang dibutuhkan termasuk Expected Value of the
Process Variance \((EPV)\), Variance of
the Hypothetical Means \((VHM)\), dan
mean kolektif \(μ\).
- Mengenali situasi di mana model Bühlmann-Straub sesuai.
Dengan kredibilitas Bühlmann standar atau least-squares seperti yang
dijelaskan pada bagian sebelumnya, kerugian \(X1,…,Xn\) yang timbul dari pemegang polis
yang dipilih diasumsikan sebagai iid. Jika subskrip menunjukkan tahun 1,
tahun 2, dan seterusnya hingga tahun \(n\), maka asumsi iid berarti bahwa pemegang
polis memiliki paparan kerugian yang sama setiap tahun.
Misalkan ada pemegang polis komersial yang menggunakan armada
kendaraan dalam bisnisnya. Pada tahun 1, ada \(m1\) kendaraan dalam armada, \(m2\) kendaraan pada tahun 2, .., dan \(mn\) kendaraan pada tahun n. Paparan
kerugian dari kepemilikan dan penggunaan armada ini akan tidak konstan
dari tahun ke tahun. Kerugian tahunan untuk armada tersebut tidak dapat
didefinisikan sebagai iid. Maka untuk permisalan tersebut \(Yjk\) didefinisikan sebagai kerugian untuk
kendaraan ke-k dalam armada untuk tahun ke-j. Kemudian, total kerugian
untuk armada pada tahun ke-j adalah \(Yj1+⋯+Yjmj\), di mana kita menambahkan
kerugian untuk masing-masing dari \(mj\) kendaraan.
Sedangkan dalam model Bühlmann-Straub, diasumsikan bahwa variabel
acak \(Yjk\), iid di semua kendaraan
dan tahun untuk pemegang polis. Dengan asumsi ini, rata-rata \(E(Yjk|θ)=μ(θ)\) dan variansi \(Var(Yjk|θ)=σ2(θ)\) sama untuk semua
kendaraan dan tahun. Jumlah \(μ(θ)\)
adalah kerugian yang diharapkan dan \(σ2(θ)\) adalah varians pada kerugian untuk
satu tahun untuk satu kendaraan untuk pemegang polis dengan parameter
risiko \(θ\).
Jika \(Xj\) adalah kerugian
rata-rata per unit paparan pada tahun ke-j, \(Xj=(Yj1+⋯+Yjmj)/mj\), maka \(E(Xj|θ)=μ(θ)\) dan \(Var(Xj|θ)=σ^2(θ)/mj\) untuk pemegang polis
dengan parameter risiko \(θ\). Kerugian
rata-rata per kendaraan untuk seluruh periode \(n\) tahun adalah:
\[\begin{equation*}
\bar{X}= \frac{1}{m} \sum_{j=1}^{n} m_j X_{j} \quad ,
\quad m=\sum_{j=1}^{n} m_j.
\end{equation*}\]
Maka berikutnya \(E
(\bar{X}|θ)=μ(θ)\) dan \(Var(\bar{X}|θ)=σ2(θ)/m\) di mana \(μ(θ)\) dan \(σ^2(θ)\) adalah rata-rata dan varians untuk
satu kendaraan selama satu tahun untuk pemegang polis.
Example 9.4.1 Prove that \(Var(\bar{X}|θ)=σ^2(θ)/m\) for a risk with
risk parameter \(θ\).
Solusi
\[\begin{eqnarray*}
\mathrm{Var}(\bar{X}|\theta)&=&\mathrm{Var}\left(\frac{1}{m}
\sum_{j=1}^{n} m_j X_j|\theta \right)\\
&=&\frac{1}{m^2}\sum_{j=1}^{n}
\mathrm{Var}(m_j X_{j}|\theta)=\frac{1}{m^2}\sum_{j=1}^{n} m_j^2
\mathrm{Var}(X_j|\theta)\\
&=&\frac{1}{m^2}\sum_{j=1}^{n}
m_j^2 (\sigma^2(\theta)/m_j)=\frac{\sigma^2(\theta)}{m^2}\sum_{j=1}^{n}
m_j=\sigma^2(\theta)/m.\\
\end{eqnarray*}\]
Dimana Buhlmann-Straub credibility adalah:
\[\begin{equation}\hat{\mu}(\theta)=Z\bar{X}+(1-Z)\mu
\tag{9.9}
\end{equation}\]
Dengan :
\[\begin{eqnarray*}
\theta&=&\textrm{a risk parameter that identifies a
policyholder's risk level}\\
\hat{\mu}(\theta)&=&\textrm{estimated expected loss for one
exposure for the policyholder}\\
& & \textrm{with loss experience } \bar{X}\\
\bar{X}&=& \frac{1}{m} \sum_{j=1}^{n} m_j X_j \textrm{ is the
average loss per exposure for $m$ exposures.}\\
& & \textrm{$X_j$ is the average loss per exposure and $m_j$ is
the number of exposures in year $j$.} \\
Z&=&\textrm{credibility assigned to $m$ exposures } \\
\mu&=&\textrm{expected loss for one exposure for randomly
chosen}\\
& & \textrm{ policyholder from population.}\\
\end{eqnarray*}\]
Perlu diperhatikan bahwa \(μ^(θ)\)
merupakan estimator untuk kerugian yang diharapkan untuk satu paparan.
Jika pemegang polis memiliki mj paparan maka kerugian yang diharapkan
adalah \(mjμ^(θ)\).
LS0tDQp0aXRsZTogIlRlb3JpIFJlc2lrbyAiDQpzdWJ0aXRsZTogIlR1Z2FzIDkiDQphdXRob3I6ICJNdWhhbW1hZCBOYXVmYWwgQXJkaWFuc3lhaCAoMjAyMDQ5MjAwMTcpIg0KZGF0ZTogICJgciBmb3JtYXQoU3lzLkRhdGUoKSwgJyVCICVkLCAlWScpYCINCm91dHB1dDoNCiAgcm1kZm9ybWF0czo6cm9ib2Jvb2s6ICAgIyBodHRwczovL2dpdGh1Yi5jb20vanViYS9ybWRmb3JtYXRzDQogICAgc2VsZl9jb250YWluZWQ6IHRydWUNCiAgICB0aHVtYm5haWxzOiB0cnVlDQogICAgbGlnaHRib3g6IHRydWUNCiAgICBnYWxsZXJ5OiB0cnVlDQogICAgbGliX2RpcjogbGlicw0KICAgIGRmX3ByaW50OiAicGFnZWQiDQogICAgY29kZV9mb2xkaW5nOiAic2hvdyINCiAgICBjb2RlX2Rvd25sb2FkOiB5ZXMNCiAgICBjc3M6ICJzdHlsZS5jc3MiDQoNCi0tLQ0KDQoNCg0KDQo8YnI+DQoNCg0KPGltZyBzdHlsZT0iZmxvYXQ6IHJpZ2h0OyBtYXJnaW46IC01MHB4IDUwcHggMHB4IDUwcHg7IHdpZHRoOjI1JSIgc3JjPSJuYXVmYWwuanBlZyIvPiANCg0KfA0KOi0tLS0gfDotLS0tDQoqS29udGFrfCAqOiAqJFxkb3duYXJyb3ckKg0KRW1haWx8IG5hdWZhbDM0MzNAZ21haWwuY29tDQpJbnN0YWdyYW0gfCBodHRwczovL3d3dy5pbnN0YWdyYW0uY29tL21fbmF1ZmFsYXJkaWFuc3lhaC8gDQpSUHVicyAgfCBodHRwczovL3JwdWJzLmNvbS9tdWhhbWFkX25hdWZhbC8gDQoNCioqKg0KDQojIDkuMyBCw7xobG1hbm4gQ3JlZGliaWxpdHkNCg0KKioqDQoNCkRhbGFtIGJhZ2lhbiBpbmksIGtpdGEgYWthbiBtZW1wZWxhamFyaToNCg0KLSBNZW5naGl0dW5nIHBlcmtpcmFhbiB5YW5nIGRpdGltYmFuZyBrcmVkaWJpbGl0YXMgdW50dWsga2VydWdpYW4geWFuZyBkaWhhcmFwa2FuIHVudHVrIHN1YXR1IHJpc2lrbyBhdGF1IGtlbG9tcG9rIHJpc2lrby4NCi0gTWVuZW50dWthbiBrcmVkaWJpbGl0YXMgJFokIHlhbmcgZGliZXJpa2FuIGtlcGFkYSBwZW5nYW1hdGFuLg0KLSBNZW5naGl0dW5nIG5pbGFpIHlhbmcgZGlwZXJsdWthbiBkYWxhbSBrcmVkaWJpbGl0YXMgQsO8aGxtYW5uLCB0ZXJtYXN1ayBOaWxhaSBIYXJhcGFuIFZhcmlhbnNpIFByb3NlcyAkKCBFUFYgKSQsIFZhcmlhbnNpIFJhdGEtcmF0YSBIaXBvdGV0aXMgJCggVkhNICkkIGRhbiByYXRhLXJhdGEga29sZWt0aWYgJM68JCAuDQotIE1lbmdlbmFsaSBzaXR1YXNpIGRpIG1hbmEgbW9kZWwgQsO8aGxtYW5uIHNlc3VhaS4NCg0KKioqDQoNClJlbmNhbmEgcGVyaW5na2F0IGtsYXNpZmlrYXNpIG1lbmdlbG9tcG9ra2FuIHBlbWVnYW5nIHBvbGlzIGtlIGRhbGFtIGtlbGFzIGJlcmRhc2Fya2FuIGthcmFrdGVyaXN0aWsgcmlzaWtvLiBNZXNraXB1biBwZW1lZ2FuZyBwb2xpcyBkYWxhbSBzYXR1IGtlbGFzIG1lbWlsaWtpIGtlc2FtYWFuLCBtZXJla2EgdGlkYWsgaWRlbnRpayBkYW4ga2VydWdpYW4geWFuZyBkaWhhcmFwa2FuIHRpZGFrIGFrYW4gc2FtYSBwZXJzaXMuIFJlbmNhbmEgcGVyaW5na2F0IHBlbmdhbGFtYW4gZGFwYXQgbWVsZW5na2FwaSByZW5jYW5hIHBlcmluZ2thdCBrZWxhcyBkZW5nYW4gbWVuaW1iYW5nIGtyZWRpYmlsaXRhcyBwZW5nYWxhbWFuIGtlcnVnaWFuIGluZGl2aWR1IHBlbWVnYW5nIHBvbGlzIGRlbmdhbiB0YXJpZiBrZWxhcyB1bnR1ayBtZW5naGFzaWxrYW4gdGFyaWYgeWFuZyBsZWJpaCBha3VyYXQgYmFnaSBwZW1lZ2FuZyBwb2xpcy4NCg0KRGFsYW0gcGVueWFqaWFuIGtyZWRpYmlsaXRhcyBCw7xobG1hbm4sIGRpc2FyYW5rYW4gdW50dWsgbWVuZXRhcGthbiBwYXJhbWV0ZXIgcmlzaWtvICTOuCQgdW50dWsgc2V0aWFwIHBlbWVnYW5nIHBvbGlzLiBLZXJ1Z2lhbiAkWCQgdW50dWsgcGVtZWdhbmcgcG9saXMgYWthbiBtZW1pbGlraSBmdW5nc2kgZGlzdHJpYnVzaSB5YW5nIHVtdW0gJEbOuCh4KSQgZGVuZ2FuIHJhdGEtcmF0YSAkzrwozrgpPUUoWHzOuCkkIGRhbiB2YXJpYW5zICTPgzIozrgpPVZhcihYfM64KSQuIEtlcnVnaWFuICRYJCBkYXBhdCBtZXdha2lsaSBwcmVtaSBtdXJuaSwga2VydWdpYW4gYWdyZWdhdCwganVtbGFoIGtsYWltLCBrZXBhcmFoYW4ga2xhaW0sIGF0YXUgdWt1cmFuIGtlcnVnaWFuIGxhaW5ueWEgdW50dWsgcGVyaW9kZSB3YWt0dSwgc2VyaW5na2FsaSBzZWxhbWEgc2F0dSB0YWh1bi4gUGFyYW1ldGVyIHJpc2lrbyAkzrgkIGRhcGF0IGJlcnNpZmF0IGtvbnRpbnUgYXRhdSBkaXNrcml0IGRhbiBkYXBhdCBtdWx0aXZhcmlhdCB0ZXJnYW50dW5nIHBhZGEgbW9kZWwgeWFuZyBkaWd1bmFrYW4uDQoNCkppa2Egc2VvcmFuZyBwZW1lZ2FuZyBwb2xpcyBkZW5nYW4gcGFyYW1ldGVyIHJpc2lrbyAkzrgkIG1lbmdhbGFtaSBrZXJ1Z2lhbiAkWDEsLi4uLFhuJCBzZWxhbWEgJG4kIHBlcmlvZGUgd2FrdHUsIG1ha2EgdHVqdWFubnlhIGFkYWxhaCB1bnR1ayBtZW5lbXVrYW4gJEUozrwozrgpfFgxLC4uLixYbikkLCB5YWl0dSBla3NwZWt0YXNpIGJlcnN5YXJhdCBkYXJpICTOvCjOuCkkIHlhbmcgZGliZXJpa2FuICRYMSwuLi4sWG4kLiBQZXJraXJhYW4geWFuZyBkaXRpbWJhbmcga3JlZGliaWxpdGFzIELDvGhsbWFubiB1bnR1ayAkRSjOvCjOuCl8WDEsLi4uLFhuKSQgdW50dWsgcGVtZWdhbmcgcG9saXMgYWRhbGFoIHNlYmFnYWkgYmVyaWt1dDoNCg0KJCRcYmVnaW57ZXF1YXRpb259XGhhdHtcbXV9KFx0aGV0YSk9WlxiYXJ7WH0rKDEtWilcbXUgXHRhZ3s5Ljd9XGVuZHtlcXVhdGlvbn0kJA0KDQpEZW5nYW4gOg0KDQokJFxiZWdpbntlcW5hcnJheSp9IA0KXHRoZXRhJj0mXHRleHRybXthIHJpc2sgcGFyYW1ldGVyIHRoYXQgaWRlbnRpZmllcyBhIHBvbGljeWhvbGRlcidzIHJpc2sgbGV2ZWx9XFwNClxoYXR7XG11fShcdGhldGEpJj0mXHRleHRybXtlc3RpbWF0ZWQgZXhwZWN0ZWQgbG9zcyBmb3IgYSBwb2xpY3lob2xkZXIgd2l0aCBwYXJhbWV0ZXIgfVx0aGV0YVxcDQogJiAmIFx0ZXh0cm17YW5kIGxvc3MgZXhwZXJpZW5jZSB9IFxiYXJ7WH1cXA0KXGJhcntYfSY9JihYXzErXGNkb3RzK1hfbikvbiBcdGV4dHJteyBpcyB0aGUgYXZlcmFnZSBvZiAkbiQgb2JzZXJ2YXRpb25zIG9mIHRoZSBwb2xpY3lob2xkZXIgfSBcXA0KIFomPSZcdGV4dHJte2NyZWRpYmlsaXR5IGFzc2lnbmVkIHRvICRuJCBvYnNlcnZhdGlvbnMgfSBcXA0KXG11Jj0mXHRleHRybXt0aGUgZXhwZWN0ZWQgbG9zcyBmb3IgYSByYW5kb21seSBjaG9zZW4gcG9saWN5aG9sZGVyIGluIHRoZSBjbGFzcy59XFwNClxlbmR7ZXFuYXJyYXkqfSQkDQoNClVudHVrIHBlbWVnYW5nIHBvbGlzIHlhbmcgZGlwaWxpaCwgYXN1bXNpIHZhcmlhYmVsIGFjYWsgJFhqJCBkaWFuZ2dhcCBpaWQgdW50dWsgJGo9MSwuLi4sbiQga2FyZW5hIGRpYXN1bXNpOGthbiBiYWh3YSBwYXBhcmFuIHBlbWVnYW5nIHBvbGlzIHRlcmhhZGFwIGtlcnVnaWFuIHRpZGFrIGJlcnViYWggZGFyaSB3YWt0dSBrZSB3YWt0dS4gS3VhbnRpdGFzICRcYmFye1h9JCBhZGFsYWggcmF0YS1yYXRhIGRhcmkgJG4kIHBlbmdhbWF0YW4gZGFuICRFKFxiYXJ7WH18zrgpPUUoWGp8zrgpPc68KM64KSQuDQoNCkppa2Egc2VvcmFuZyBwZW1lZ2FuZyBwb2xpcyBkaXBpbGloIHNlY2FyYSBhY2FrIGRhcmkga2VsYXMgZGFuIHRpZGFrIGFkYSBpbmZvcm1hc2kga2VydWdpYW4gdGVudGFuZyByaXNpa28sIG1ha2Ega2VydWdpYW4geWFuZyBkaWhhcmFwa2FuIGFkYWxhaCAkzrw9RSjOvCjOuCkpJCBkaSBtYW5hIGhhcmFwYW4gZGlhbWJpbCBkYXJpIHNlbXVhICTOuCQgZGFsYW0ga2VsYXMuIERhbGFtIHNpdHVhc2kgaW5pLCAkWj0wJCBkYW4ga2VydWdpYW4geWFuZyBkaWhhcmFwa2FuIGFkYWxhaCAkzrxeKM64KT3OvCQgdW50dWsgcmlzaWtvIHRlcnNlYnV0LiBLdWFudGl0YXMgJM68JCBqdWdhIGRhcGF0IGRpdHVsaXMgc2ViYWdhaSAkzrw9RShYaikkIGF0YXUgJM68PUUoXGJhcntYfSkkIGRhbiBzZXJpbmcgZGlzZWJ1dCBzZWJhZ2FpIG1lYW4ga2VzZWx1cnVoYW4gYXRhdSBjb2xsZWN0aXZlIG1lYW4uIFBlcmhhdGlrYW4gYmFod2EgJEUoWGopJCBkaWV2YWx1YXNpIGRlbmdhbiBodWt1bSB0b3RhbCBla3NwZWt0YXNpOiAkRShYaik9RShFW1hqfM64XSkkLg0KDQoqKkV4YW1wbGUgOS4zLjEqKiBKdW1sYWgga2xhaW0gJFgkIHVudHVrIHNlb3JhbmcgdGVydGFuZ2d1bmcgZGFsYW0gc3VhdHUga2VsYXMgbWVtaWxpa2kgZGlzdHJpYnVzaSBQb2lzc29uIGRlbmdhbiBtZWFuICTOuD4wJC4gUGFyYW1ldGVyIHJpc2lrbyAkzrgkIGRpZGlzdHJpYnVzaWthbiBzZWNhcmEgZWtzcG9uZW5zaWFsIGRpIGRhbGFtIGtlbGFzIGRlbmdhbiBwZGYgJGYozrgpPWXiiJLOuCQuIEJlcmFwYWthaCBqdW1sYWgga2xhaW0geWFuZyBkaWhhcmFwa2FuIHVudHVrIHNlb3JhbmcgdGVydGFuZ2d1bmcgeWFuZyBkaXBpbGloIHNlY2FyYSBhY2FrIGRhcmkga2VsYXMgdGVyc2VidXQ/DQoNCioqU29sdXNpKioNClZhcmlhYmVsIGFjYWsgJFgkIG1lbWlsaWtpIGRpc3RyaWJ1c2kgUG9pc3NvbiBkZW5nYW4gcGFyYW1ldGVyICTOuCQgZGFuICRFKFh8zrgpPc64JC4gSnVtbGFoIGtsYWltIHlhbmcgZGloYXJhcGthbiB1bnR1ayBzZW9yYW5nIHRlcnRhbmdndW5nIHlhbmcgZGlwaWxpaCBzZWNhcmEgYWNhayBhZGFsYWggJM68PUUozrwozrgpKT1FKEUoWHzOuCkpPUUozrgpPeKIq+KInjDOuGXiiJLOuGTOuD0xJC4NCg0KUGFkYSBjb250b2ggZGkgYXRhcywgcGFyYW1ldGVyIHJpc2lrbyAkzrgkIGFkYWxhaCB2YXJpYWJlbCBhY2FrIGRlbmdhbiBkaXN0cmlidXNpIGVrc3BvbmVuc2lhbC4gUGFkYSBjb250b2ggYmVyaWt1dG55YSwgdGVyZGFwYXQgdGlnYSBqZW5pcyByaXNpa28gZGFuIHBhcmFtZXRlciByaXNpa28gbWVtaWxpa2kgZGlzdHJpYnVzaSBkaXNrcml0Lg0KDQoqKkV4YW1wbGUgOS4zLjIqKiBVbnR1ayBzZXRpYXAgcmlzaWtvIChwZW1lZ2FuZyBwb2xpcykgZGFsYW0gcG9wdWxhc2ksIGp1bWxhaCBrZXJ1Z2lhbiAkTiQgZGFsYW0gc2V0YWh1biBtZW1pbGlraSBkaXN0cmlidXNpIFBvaXNzb24gZGVuZ2FuIHBhcmFtZXRlciAkzrskLiBKdW1sYWgga2VydWdpYW4gaW5kaXZpZHUgJFhpJCB1bnR1ayBzZWJ1YWggcmlzaWtvIGluZGVwZW5kZW4gZGFyaSAkTiQgZGFuIGlkZW50aWsgZGFuIG1lbWlsaWtpIGRpc3RyaWJ1c2kgUGFyZXRvIFRpcGUgSUkgZGVuZ2FuICRGKHgpID0gMSAtIFvOuCAvICh4ICsgzrgpXc6xJC4gQWRhIHRpZ2EgamVuaXMgcmlzaWtvIGRhbGFtIHBvcHVsYXNpIHNlYmFnYWkgYmVyaWt1dDoNCg0KJCRcc21hbGx7DQpcYmVnaW57YXJyYXl9e3xjfGN8Y3xjfH0NClxobGluZQ0KXHRleHR7UmlzayB9ICYgXHRleHR7UGVyY2VudGFnZX0gJiBcdGV4dHtQb2lzc29ufSAmIFx0ZXh0e1BhcmV0b30gXFwNClx0ZXh0e1R5cGV9ICYgXHRleHR7b2YgUG9wdWxhdGlvbn0gJiBcdGV4dHtQYXJhbWV0ZXJ9ICYgXHRleHR7UGFyYW1ldGVyc30gXFwNClxobGluZQ0KQSAmIDUwXCUgJiBcbGFtYmRhPTAuNSAmIFx0aGV0YT0xMDAwLCBcYWxwaGE9Mi4wIFxcDQpCICYgMzBcJSAmIFxsYW1iZGE9MS4wICYgXHRoZXRhPTE1MDAsIFxhbHBoYT0yLjAgXFwgIA0KQyAmIDIwXCUgJiBcbGFtYmRhPTIuMCAmIFx0aGV0YT0yMDAwLCBcYWxwaGE9Mi4wIFxcICAgICAgICAgICAgICANClxobGluZQ0KXGVuZHthcnJheX0NCn0kJA0KDQpKaWthIHNlYnVhaCByaXNpa28gZGlwaWxpaCBzZWNhcmEgYWNhayBkYXJpIHBvcHVsYXNpIHRlcnNlYnV0LCBiZXJhcGEga2VydWdpYW4gdG90YWwgeWFuZyBkaWhhcmFwa2FuIGRhbGFtIHNldGFodW4/DQoNCioqU29sdXNpKioNClVudHVrIHN1YXR1IHJpc2lrbywganVtbGFoIGtsYWltIHlhbmcgZGloYXJhcGthbiBhZGFsYWggJEUoTnzOuykgPSDOuyQuIE5pbGFpIGhhcmFwYW4gZGFyaSBzdWF0dSB2YXJpYWJlbCBhY2FrIHlhbmcgZGlkaXN0cmlidXNpa2FuIFBhcmV0byBhZGFsYWggJEUoWHzOuCzOsSkgPSDOuC8ozrEtMSkkLiBOaWxhaSBoYXJhcGFuIGRhcmkgdmFyaWFiZWwgYWNhayBrZWhpbGFuZ2FuIGFncmVnYXQgJFMgPSBYMSAr4ouvK1hOJCB1bnR1ayByaXNpa28gZGVuZ2FuIHBhcmFtZXRlciAkzrskLCAkzrEkLCBkYW4gJM64JCBhZGFsYWggJEUoUykgPSBFKE4pRShYKSA9IM67zrgvKM6xLTEpJC4gS2VydWdpYW4gYWdyZWdhdCB5YW5nIGRpaGFyYXBrYW4gdW50dWsgc3VhdHUgcmlzaWtvIGplbmlzIEEgYWRhbGFoICRFKFNBKSA9ICgwLDUpKDEwMDApLygyLTEpID0gNTAwJC4gS2VydWdpYW4gYWdyZWdhdCB5YW5nIGRpaGFyYXBrYW4gdW50dWsgc3VhdHUgcmlzaWtvIHlhbmcgZGlwaWxpaCBzZWNhcmEgYWNhayBkYXJpIHBvcHVsYXNpIGFkYWxhaCAkRShTKSA9IDAsNVsoMCw1KSgxMDAwKV0rMCwzWygxLDApKDE1MDApXSswLDJbKDIsMCkoMjAwMCldID0gMTUwMCQuDQoNCioqKg0KDQpCZXJhcGEgcGFyYW1ldGVyIHJpc2lrbyB1bnR1ayBzdWF0dSByaXNpa28gKHBlbWVnYW5nIHBvbGlzKSBwYWRhIGNvbnRvaCBzZWJlbHVtbnlhPyBEYXBhdCBkaWthdGFrYW4gYmFod2EgcGFyYW1ldGVyIHJpc2lrbyBtZW1pbGlraSB0aWdhIGtvbXBvbmVuICQozrssIM64LCDOsSkkIGRlbmdhbiBuaWxhaSBtdW5na2luICgwLDUsIDEwMDAsIDIsMCksICgxLDAsIDE1MDAsIDIsMCksIGRhbiAoMiwwLCAyMDAwLCAyLDApIHRlcmdhbnR1bmcgcGFkYSBqZW5pcyByaXNpa28uDQoNClBlcmx1IGRpcGVyaGF0aWthbiBiYWh3YSBwYWRhIGtlZHVhIGNvbnRvaCB0ZXJzZWJ1dCwgcGFyYW1ldGVyIHJpc2lrbyBhZGFsYWgga3VhbnRpdGFzIGFjYWsgZGVuZ2FuIGRpc3RyaWJ1c2kgcHJvYmFiaWxpdGFzbnlhIHNlbmRpcmkuIEtpdGEgdGlkYWsgdGFodSBuaWxhaSBwYXJhbWV0ZXIgcmlzaWtvIHVudHVrIHJpc2lrbyB5YW5nIGRpcGlsaWggc2VjYXJhIGFjYWsuDQoNCk1lc2tpcHVuIGZvcm11bGEgKDkuNykgZGlwZXJrZW5hbGthbiBkZW5nYW4gbWVuZ2d1bmFrYW4gcmF0aW5nIHBlbmdhbGFtYW4gc2ViYWdhaSBjb250b2gsIG1vZGVsIGtyZWRpYmlsaXRhcyBCw7xobG1hbm4gbWVtaWxpa2kgYXBsaWthc2kgeWFuZyBsZWJpaCBsdWFzLiBNaXNhbGthbiBhZGEgcmVuY2FuYSByYXRpbmcgZGVuZ2FuIGJlYmVyYXBhIGtlbGFzLiBGb3JtdWxhIGtyZWRpYmlsaXRhcyAoOS43KSBkYXBhdCBkaWd1bmFrYW4gdW50dWsgbWVuZW50dWthbiB0YXJpZiBrZWxhcyBpbmRpdmlkdS4gUmF0YS1yYXRhIGtlc2VsdXJ1aGFuICTOvCQgYWthbiBtZW5qYWRpIHJhdGEtcmF0YSBrZXJ1Z2lhbiB1bnR1ayBzZW11YSBrZWxhcyB5YW5nIGRpZ2FidW5na2FuLCAkXGJhcntYfSQgYWthbiBtZW5qYWRpIHBlbmdhbGFtYW4gdW50dWsga2VsYXMgaW5kaXZpZHUsIGRhbiAkzrxeKM64KSQgYWthbiBtZW5qYWRpIHBlcmtpcmFhbiBrZXJ1Z2lhbiB1bnR1ayBrZWxhcyB0ZXJzZWJ1dC4NCg0KIyMgOS4zLjEgQ3JlZGliaWxpdHkgWiwgRVBWLCBhbmQgVkhNDQoNCktldGlrYSBtZW5naGl0dW5nIGVzdGltYXNpIGtyZWRpYmlsaXRhcyAkzrxeKM64KT1aXGJhcntYfSsoMeKIklopzrwkLCBiZXJhcGEgYm9ib3QgJFokIHlhbmcgaGFydXMgZGliZXJpa2FuIHBhZGEgcGVuZ2FsYW1hbiAkXGJhcntYfSQgZGFuIGJlcmFwYSBib2JvdCAkKDHiiJJaKSQgcGFkYSByYXRhLXJhdGEga2VzZWx1cnVoYW4gJM68JD8gRGFsYW0ga3JlZGliaWxpdGFzIELDvGhsbWFubiwgdGVyZGFwYXQgdGlnYSBmYWt0b3IgeWFuZyBwZXJsdSBkaXBlcnRpbWJhbmdrYW46DQoNCjEuIEJlcmFwYSB2YXJpYXNpIGRhbGFtIHNhdHUgcGVuZ2FtYXRhbiAkWGokIHVudHVrIHJpc2lrbyB5YW5nIGRpcGlsaWg/IERlbmdhbiAkXGJhcntYfSA9IChYMSArIOKLryArIFhuKSAvIG4kIGRhbiBkZW5nYW4gYXN1bXNpIGJhaHdhIHBlbmdhbWF0YW4gYWRhbGFoIGlpZCBrb25kaXNpb25hbCBwYWRhICTOuCQsIG1ha2EgbWVuZ2lrdXRpIGJhaHdhICRWYXIoXGJhcntYfXzOuCkgPSBWYXIoWGp8zrgpIC8gbiQuIFVudHVrICRWYXIoXGJhcntYfXzOuCkkIHlhbmcgbGViaWggYmVzYXIsIGJvYm90IGtyZWRpYmlsaXRhcyAkWiQgeWFuZyBsZWJpaCBrZWNpbCBoYXJ1cyBkaWJlcmlrYW4gcGFkYSBwZW5nYWxhbWFuICRcYmFye1h9JC4gTmlsYWkgSGFyYXBhbiBkYXJpIFZhcmlhbnMgUHJvc2VzLCBkaXNpbmdrYXQgJEVQViQsIGFkYWxhaCBuaWxhaSBoYXJhcGFuIGRhcmkgJFZhcihYanzOuCkkIGRpIHNlbHVydWggcmlzaWtvOg0KDQokRVBWID0gXG1hdGhybXtFfShcbWF0aHJte1Zhcn0oWF9qfFx0aGV0YSkpLiQNCg0Ka2FyZW5hICRWYXIoXGJhcntYfXzOuCkgPSBWYXIoWGp8zrgpL24pJCBtYWthIGJlcmxha3UgYmFod2EgJEUoVmFyKFxiYXJ7WH18zrgpKT1FUFYvbiQuDQoNCjIuIFNlYmVyYXBhIGhvbW9nZW4gcG9wdWxhc2kgcmlzaWtvIHlhbmcgcGVuZ2FsYW1hbiBrZXJ1Z2lhbm55YSBkaWdhYnVuZ2thbiB1bnR1ayBtZW5naGl0dW5nIHJhdGEtcmF0YSBrZXNlbHVydWhhbiAkzrwkPyBKaWthIHNlbXVhIHJpc2lrbyBtZW1pbGlraSBwb3RlbnNpIGtlcnVnaWFuIHlhbmcgc2VydXBhLCBtYWthIGJvYm90IHlhbmcgbGViaWggYmVzYXIgJCgxLVopJCBkaWJlcmlrYW4gcGFkYSByYXRhLXJhdGEga2VzZWx1cnVoYW4gJM68JCBrYXJlbmEgJM68JCBhZGFsYWggcmF0YS1yYXRhIHVudHVrIHNla2Vsb21wb2sgcmlzaWtvIHlhbmcgc2VydXBhIGRhbiByYXRhLXJhdGEgJM68KM64KSQgdGlkYWsgdGVybGFsdSBqYXVoLiBIb21vZ2VuaXRhcyBhdGF1IGhldGVyb2dlbml0YXMgcG9wdWxhc2kgZGl1a3VyIGRlbmdhbiBWYXJpYW5jZSBvZiB0aGUgSHlwb3RoZXRpY2FsIE1lYW5zIGRlbmdhbiBzaW5na2F0YW4gJFZITSQ6DQoNCiQkVkhNPVxtYXRocm17VmFyfShcbWF0aHJte0V9KFhfanxcdGhldGEpKT1cbWF0aHJte1Zhcn0oXG1hdGhybXtFfShcYmFye1h9fFx0aGV0YSkpLiQkDQoNClBlcmhhdGlrYW4gYmFod2Ega2l0YSBtZW5nZ3VuYWthbiAkRShcYmFye1h9fM64KT1FKFhqfM64KSQgdW50dWsga2VzYW1hYW4ga2VkdWEuDQoNCjMuIEJlcmFwYSBiYW55YWsgcGVuZ2FtYXRhbiBuIHlhbmcgZGlndW5ha2FuIHVudHVrIG1lbmdoaXR1bmcgJFxiYXJ7WH0kPyBTYW1wZWwgeWFuZyBsZWJpaCBiZXNhciBha2FuIG1lbmdoYXNpbGthbiAkWiQgeWFuZyBsZWJpaCBiZXNhci4NCg0KKipFeGFtcGxlIDkuMy4zKiogSnVtbGFoIGtsYWltICROJCBkYWxhbSBzZXRhaHVuIHVudHVrIHN1YXR1IHJpc2lrbyBkYWxhbSBwb3B1bGFzaSBtZW1pbGlraSBkaXN0cmlidXNpIFBvaXNzb24gZGVuZ2FuIG1lYW4gJM67PjAkLiBQYXJhbWV0ZXIgcmlzaWtvICTOuyQgZGlkaXN0cmlidXNpa2FuIHNlY2FyYSBzZXJhZ2FtIGRpIHNlbGFuZyAoMCwyKS4gSGl0dW5nICRFUFYkIGRhbiAkVkhNJCB1bnR1ayBwb3B1bGFzaS4NCg0KKipTb2x1c2kqKg0KDQpWYXJpYWJlbCBhY2FrIE4gYmVyZGlzdHJpYnVzaSBQb2lzc29uIGRlbmdhbiBwYXJhbWV0ZXIgzrsgc2VoaW5nZ2EgVmFyKE58zrspPc67IC4gTmlsYWkgaGFyYXBhbiBkYXJpIHZhcmlhbiBwcm9zZXMgYWRhbGFoIEVQVj1FKFZhcihOfM67KSkgPSBFKM67KT3iiKsyMM67MTJkzrs9MSAuIFZhcmlhbnMgZGFyaSByYXRhLXJhdGEgaGlwb3RldGlzIGFkYWxhaCAkVkhNPVZhcihFKE58zrspKSA9IFZhcijOuyk9RSjOu14yKeKIkihFKM67KSleMiA9IFxpbnRfezB9XnsyfVxsYW1iZGFeMiBcZnJhY3sxfXsyfSBkXGxhbWJkYS0oMSleMj1cZnJhY3sxfXszfSQNCg0KRm9ybXVsYSBrZXBlcmNheWFhbiBCw7xobG1hbm4gbWVsaXB1dGkgbmlsYWkgdW50dWsgJG4kLCAkRVBWJCwgZGFuICRWSE0kOg0KDQokJFxiZWdpbntlcXVhdGlvbn0NClo9XGZyYWN7bn17bitLfSBccXVhZCAsIFxxdWFkIEsgPVxmcmFje0VQVn17VkhNfS4gDQpcdGFnezkuOH0gDQpcZW5ke2VxdWF0aW9ufSQkDQoNCkppa2EgJFZITSQgbWVuaW5na2F0IG1ha2EgJFokIGp1Z2EgbWVuaW5na2F0LiBKaWthICRFUFYkIG1lbmluZ2thdCBtYWthICRaJCBtZW5qYWRpIGxlYmloIGtlY2lsLiBCZXJiZWRhIGRlbmdhbiBrcmVkaWJpbGl0YXMgZmx1a3R1YXNpIHRlcmJhdGFzIGRpIG1hbmEgJFo9MSQga2V0aWthIGp1bWxhaCBrbGFpbSB5YW5nIGRpaGFyYXBrYW4gbGViaWggYmVzYXIgZGFyaSBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCwgJFokIGRhcGF0IG1lbmRla2F0aSB0ZXRhcGkgdGlkYWsgc2FtYSBkZW5nYW4gMSBrZXRpa2EganVtbGFoIHBlbmdhbWF0YW4gbiBtZW5kZWthdGkgdGFrIGhpbmdnYS4NCg0KSmlrYSBBbmRhIG1lbmdhbGlrYW4gcGVtYmlsYW5nIGRhbiBwZW55ZWJ1dCBydW11cyAkWiQgZGVuZ2FuICQoIFZITS9uICkkLCBtYWthICRaJCBkYXBhdCBkaXR1bGlzIGtlbWJhbGkgc2ViYWdhaToNCg0KJCRaPVxmcmFje1ZITX17VkhNKyhFUFYvbil9IC4kJA0KDQpKdW1sYWggcGVuZ2FtYXRhbiAkbiQgdGVydGFuZ2thcCBkYWxhbSBpc3RpbGFoICQoRVBWL24pJC4gU2VwZXJ0aSB5YW5nIGRpdHVuanVra2FuIGRpIGJ1bGxldCAoMSkgZGkgYXdhbCBiYWdpYW4sICRFKFZhcihcYmFye1h9fM64KSkgPSBFUFYvbiQuIFNlaXJpbmcgZGVuZ2FuIGJlcnRhbWJhaG55YSBqdW1sYWggcGVuZ2FtYXRhbiwgdmFyaWFucyB5YW5nIGRpaGFyYXBrYW4gZGFyaSAkXGJhcntYfSQgbWVuamFkaSBsZWJpaCBrZWNpbCBkYW4ga3JlZGliaWxpdGFzICRaJCBtZW5pbmdrYXQgc2VoaW5nZ2EgbGViaWggYmFueWFrIGJvYm90IGRpYmVyaWthbiBwYWRhICRcYmFye1h9JCBkYWxhbSBwZXJraXJhYW4geWFuZyBkaWJvYm90a2FuIGtyZWRpYmlsaXRhcyAkzrxeKM64KSQuDQoNCiMgOS40IELDvGhsbWFubi1TdHJhdWIgQ3JlZGliaWxpdHkNCg0KKioqDQoNCkRpIGJhZ2lhbiBpbmksIEFuZGEgYWthbiBiZWxhamFyIGNhcmE6DQoNCi0gTWVuZ2hpdHVuZyBwZXJraXJhYW4gYm9ib3Qga3JlZGliaWxpdGFzIHVudHVrIGtlcnVnaWFuIHlhbmcgZGloYXJhcGthbiB1bnR1ayByaXNpa28gYXRhdSBrZWxvbXBvayByaXNpa28gbWVuZ2d1bmFrYW4gbW9kZWwgQsO8aGxtYW5uLVN0cmF1Yi4NCi0gTWVuZW50dWthbiBrcmVkaWJpbGl0YXMgJFokIHlhbmcgZGliZXJpa2FuIGtlcGFkYSBwZW5nYW1hdGFuLg0KLSBNZW5naGl0dW5nIG5pbGFpIHlhbmcgZGlidXR1aGthbiB0ZXJtYXN1ayBFeHBlY3RlZCBWYWx1ZSBvZiB0aGUgUHJvY2VzcyBWYXJpYW5jZSAkKEVQVikkLCBWYXJpYW5jZSBvZiB0aGUgSHlwb3RoZXRpY2FsIE1lYW5zICQoVkhNKSQsIGRhbiBtZWFuIGtvbGVrdGlmICTOvCQuDQotIE1lbmdlbmFsaSBzaXR1YXNpIGRpIG1hbmEgbW9kZWwgQsO8aGxtYW5uLVN0cmF1YiBzZXN1YWkuDQoNCioqKg0KDQpEZW5nYW4ga3JlZGliaWxpdGFzIELDvGhsbWFubiBzdGFuZGFyIGF0YXUgbGVhc3Qtc3F1YXJlcyBzZXBlcnRpIHlhbmcgZGlqZWxhc2thbiBwYWRhIGJhZ2lhbiBzZWJlbHVtbnlhLCBrZXJ1Z2lhbiAkWDEs4oCmLFhuJCB5YW5nIHRpbWJ1bCBkYXJpIHBlbWVnYW5nIHBvbGlzIHlhbmcgZGlwaWxpaCBkaWFzdW1zaWthbiBzZWJhZ2FpIGlpZC4gSmlrYSBzdWJza3JpcCBtZW51bmp1a2thbiB0YWh1biAxLCB0YWh1biAyLCBkYW4gc2V0ZXJ1c255YSBoaW5nZ2EgdGFodW4gJG4kLCBtYWthIGFzdW1zaSBpaWQgYmVyYXJ0aSBiYWh3YSBwZW1lZ2FuZyBwb2xpcyBtZW1pbGlraSBwYXBhcmFuIGtlcnVnaWFuIHlhbmcgc2FtYSBzZXRpYXAgdGFodW4uDQoNCk1pc2Fsa2FuIGFkYSBwZW1lZ2FuZyBwb2xpcyBrb21lcnNpYWwgeWFuZyBtZW5nZ3VuYWthbiBhcm1hZGEga2VuZGFyYWFuIGRhbGFtIGJpc25pc255YS4gUGFkYSB0YWh1biAxLCBhZGEgJG0xJCBrZW5kYXJhYW4gZGFsYW0gYXJtYWRhLCAkbTIkIGtlbmRhcmFhbiBwYWRhIHRhaHVuIDIsIC4uLCBkYW4gJG1uJCBrZW5kYXJhYW4gcGFkYSB0YWh1biBuLiBQYXBhcmFuIGtlcnVnaWFuIGRhcmkga2VwZW1pbGlrYW4gZGFuIHBlbmdndW5hYW4gYXJtYWRhIGluaSBha2FuIHRpZGFrIGtvbnN0YW4gZGFyaSB0YWh1biBrZSB0YWh1bi4gS2VydWdpYW4gdGFodW5hbiB1bnR1ayBhcm1hZGEgdGVyc2VidXQgdGlkYWsgZGFwYXQgZGlkZWZpbmlzaWthbiBzZWJhZ2FpIGlpZC4gTWFrYSB1bnR1ayBwZXJtaXNhbGFuIHRlcnNlYnV0ICAkWWprJCBkaWRlZmluaXNpa2FuIHNlYmFnYWkga2VydWdpYW4gdW50dWsga2VuZGFyYWFuIGtlLWsgZGFsYW0gYXJtYWRhIHVudHVrIHRhaHVuIGtlLWouIEtlbXVkaWFuLCB0b3RhbCBrZXJ1Z2lhbiB1bnR1ayBhcm1hZGEgcGFkYSB0YWh1biBrZS1qIGFkYWxhaCAkWWoxK+KLrytZam1qJCwgZGkgbWFuYSBraXRhIG1lbmFtYmFoa2FuIGtlcnVnaWFuIHVudHVrIG1hc2luZy1tYXNpbmcgZGFyaSAkbWokIGtlbmRhcmFhbi4NCg0KU2VkYW5na2FuIGRhbGFtIG1vZGVsIELDvGhsbWFubi1TdHJhdWIsIGRpYXN1bXNpa2FuIGJhaHdhIHZhcmlhYmVsIGFjYWsgJFlqayQsIGlpZCBkaSBzZW11YSBrZW5kYXJhYW4gZGFuIHRhaHVuIHVudHVrIHBlbWVnYW5nIHBvbGlzLiBEZW5nYW4gYXN1bXNpIGluaSwgcmF0YS1yYXRhICRFKFlqa3zOuCk9zrwozrgpJCBkYW4gdmFyaWFuc2kgJFZhcihZamt8zrgpPc+DMijOuCkkIHNhbWEgdW50dWsgc2VtdWEga2VuZGFyYWFuIGRhbiB0YWh1bi4gSnVtbGFoICTOvCjOuCkkIGFkYWxhaCBrZXJ1Z2lhbiB5YW5nIGRpaGFyYXBrYW4gZGFuICTPgzIozrgpJCBhZGFsYWggdmFyaWFucyBwYWRhIGtlcnVnaWFuIHVudHVrIHNhdHUgdGFodW4gdW50dWsgc2F0dSBrZW5kYXJhYW4gdW50dWsgcGVtZWdhbmcgcG9saXMgZGVuZ2FuIHBhcmFtZXRlciByaXNpa28gJM64JC4NCg0KSmlrYSAkWGokIGFkYWxhaCBrZXJ1Z2lhbiByYXRhLXJhdGEgcGVyIHVuaXQgcGFwYXJhbiBwYWRhIHRhaHVuIGtlLWosICRYaj0oWWoxK+KLrytZam1qKS9taiQsIG1ha2EgJEUoWGp8zrgpPc68KM64KSQgZGFuICRWYXIoWGp8zrgpPc+DXjIozrgpL21qJCB1bnR1ayBwZW1lZ2FuZyBwb2xpcyBkZW5nYW4gcGFyYW1ldGVyIHJpc2lrbyAkzrgkLiBLZXJ1Z2lhbiByYXRhLXJhdGEgcGVyIGtlbmRhcmFhbiB1bnR1ayBzZWx1cnVoIHBlcmlvZGUgJG4kIHRhaHVuIGFkYWxhaDoNCg0KJCRcYmVnaW57ZXF1YXRpb24qfQ0KXGJhcntYfT0gXGZyYWN7MX17bX0gXHN1bV97aj0xfV57bn0gbV9qIFhfe2p9IFxxdWFkICwgXHF1YWQgIG09XHN1bV97aj0xfV57bn0gIG1fai4gDQpcZW5ke2VxdWF0aW9uKn0kJA0KDQpNYWthIGJlcmlrdXRueWEgJEUgKFxiYXJ7WH18zrgpPc68KM64KSQgZGFuICRWYXIoXGJhcntYfXzOuCk9z4MyKM64KS9tJCBkaSBtYW5hICTOvCjOuCkkIGRhbiAkz4NeMijOuCkkIGFkYWxhaCByYXRhLXJhdGEgZGFuIHZhcmlhbnMgdW50dWsgc2F0dSBrZW5kYXJhYW4gc2VsYW1hIHNhdHUgdGFodW4gdW50dWsgcGVtZWdhbmcgcG9saXMuIA0KDQoqKkV4YW1wbGUgOS40LjEqKiBQcm92ZSB0aGF0ICRWYXIoXGJhcntYfXzOuCk9z4NeMijOuCkvbSQgZm9yIGEgcmlzayB3aXRoIHJpc2sgcGFyYW1ldGVyICTOuCQuDQoNCioqU29sdXNpKioNCg0KJCRcYmVnaW57ZXFuYXJyYXkqfQ0KXG1hdGhybXtWYXJ9KFxiYXJ7WH18XHRoZXRhKSY9JlxtYXRocm17VmFyfVxsZWZ0KFxmcmFjezF9e219IFxzdW1fe2o9MX1ee259IG1faiBYX2p8XHRoZXRhIFxyaWdodClcXA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICY9JlxmcmFjezF9e21eMn1cc3VtX3tqPTF9XntufSBcbWF0aHJte1Zhcn0obV9qIFhfe2p9fFx0aGV0YSk9XGZyYWN7MX17bV4yfVxzdW1fe2o9MX1ee259IG1fal4yIFxtYXRocm17VmFyfShYX2p8XHRoZXRhKVxcDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgJj0mXGZyYWN7MX17bV4yfVxzdW1fe2o9MX1ee259IG1fal4yIChcc2lnbWFeMihcdGhldGEpL21faik9XGZyYWN7XHNpZ21hXjIoXHRoZXRhKX17bV4yfVxzdW1fe2o9MX1ee259IG1faj1cc2lnbWFeMihcdGhldGEpL20uXFwNClxlbmR7ZXFuYXJyYXkqfSQkDQoNCioqKg0KDQpEaW1hbmEgQnVobG1hbm4tU3RyYXViIGNyZWRpYmlsaXR5IGFkYWxhaDoNCg0KJCRcYmVnaW57ZXF1YXRpb259XGhhdHtcbXV9KFx0aGV0YSk9WlxiYXJ7WH0rKDEtWilcbXUgDQpcdGFnezkuOX0gDQpcZW5ke2VxdWF0aW9ufSQkDQoNCkRlbmdhbiA6DQoNCiQkXGJlZ2lue2VxbmFycmF5Kn0gDQpcdGhldGEmPSZcdGV4dHJte2EgcmlzayBwYXJhbWV0ZXIgdGhhdCBpZGVudGlmaWVzIGEgcG9saWN5aG9sZGVyJ3MgcmlzayBsZXZlbH1cXA0KXGhhdHtcbXV9KFx0aGV0YSkmPSZcdGV4dHJte2VzdGltYXRlZCBleHBlY3RlZCBsb3NzIGZvciBvbmUgZXhwb3N1cmUgZm9yIHRoZSBwb2xpY3lob2xkZXJ9XFwNCiAmICYgXHRleHRybXt3aXRoIGxvc3MgZXhwZXJpZW5jZSB9IFxiYXJ7WH1cXA0KXGJhcntYfSY9JiBcZnJhY3sxfXttfSBcc3VtX3tqPTF9XntufSBtX2ogWF9qIFx0ZXh0cm17IGlzIHRoZSBhdmVyYWdlIGxvc3MgcGVyIGV4cG9zdXJlIGZvciAkbSQgZXhwb3N1cmVzLn1cXA0KICYgJiBcdGV4dHJteyRYX2okIGlzIHRoZSBhdmVyYWdlIGxvc3MgcGVyIGV4cG9zdXJlIGFuZCAkbV9qJCBpcyB0aGUgbnVtYmVyIG9mIGV4cG9zdXJlcyBpbiB5ZWFyICRqJC59IFxcDQpaJj0mXHRleHRybXtjcmVkaWJpbGl0eSBhc3NpZ25lZCB0byAkbSQgZXhwb3N1cmVzIH0gXFwNCiBcbXUmPSZcdGV4dHJte2V4cGVjdGVkIGxvc3MgZm9yIG9uZSBleHBvc3VyZSBmb3IgcmFuZG9tbHkgY2hvc2VufVxcDQogJiAmIFx0ZXh0cm17IHBvbGljeWhvbGRlciBmcm9tIHBvcHVsYXRpb24ufVxcDQpcZW5ke2VxbmFycmF5Kn0kJA0KDQpQZXJsdSBkaXBlcmhhdGlrYW4gYmFod2EgJM68XijOuCkkIG1lcnVwYWthbiBlc3RpbWF0b3IgdW50dWsga2VydWdpYW4geWFuZyBkaWhhcmFwa2FuIHVudHVrIHNhdHUgcGFwYXJhbi4gSmlrYSBwZW1lZ2FuZyBwb2xpcyBtZW1pbGlraSBtaiBwYXBhcmFuIG1ha2Ega2VydWdpYW4geWFuZyBkaWhhcmFwa2FuIGFkYWxhaCAkbWrOvF4ozrgpJC4NCg0KDQoNCg0K