9.1 Pengantar Aplikasi Teori Kredibilitas
Berapa premi yang harus dibebankan untuk menyediakan asuransi?
Jawabannya tergantung pada eksposur risiko kerugian. Metode yang umum
digunakan untuk menghitung premi asuransi adalah dengan menilai
tertanggung menggunakan
rencana
peringkat klasifikasi. Rencana klasifikasi digunakan
untuk memilih tarif asuransi berdasarkan karakteristik peringkat
tertanggung seperti wilayah geografis, usia, dll. Semua rencana
pemeringkatan klasifikasi menggunakan seperangkat kriteria terbatas
untuk mengelompokkan tertanggung ke dalam “kelas” dan akan ada variasi
risiko kerugian di antara tertanggung di dalam kelas tersebut.
Rencana pemeringkatan pengalaman mencoba untuk menangkap beberapa
variasi dalam risiko kerugian di antara tertanggung dalam kelas
pemeringkatan dengan menggunakan pengalaman kerugian tertanggung sendiri
untuk melengkapi tingkat dari rencana pemeringkatan klasifikasi. Salah
satu cara untuk melakukan hal ini adalah dengan menggunakan
bobot
kredibilitas \(Z\)
dengan \(0\leq Z \leq 1\) untuk
menghitung
\[\hat{R}=Z\bar{X}+(1-Z)M,\] \[\begin{eqnarray*}
\hat{R}&=&\textrm{tingkat bobot kredibilitas untuk risiko,}\\
\bar{X}&=&\textrm{kerugian rata-rata untuk risiko
selama periode waktu tertentu,}\\
M&=&\textrm{tingkat untuk kelompok
klasifikasi, sering disebut tingkat manual.}\\
\end{eqnarray*}\]
Untuk risiko yang pengalaman kerugiannya stabil dari tahun ke tahun,
\(Z\) mungkin mendekati \(1\). Untuk risiko yang kerugiannya sangat
bervariasi dari tahun ke tahun, \(Z\)
mungkin mendekati \(0\).
Teori kredibilitas juga digunakan untuk menghitung tingkat untuk
masing-masing kelas dalam rencana peringkat klasifikasi. Ketika tingkat
rencana klasifikasi sedang ditentukan, beberapa atau banyak kelompok
mungkin tidak memiliki data yang cukup untuk menghasilkan tingkat yang
stabil dan dapat diandalkan. Pengalaman kerugian aktual untuk suatu
kelompok akan diberi bobot kredibilitas \(Z\) dan
komplemen
kredibilitas \(1-Z\)
dapat diberikan pada pengalaman rata-rata untuk risiko di seluruh kelas.
Atau, jika rencana pemeringkatan kelas sedang diperbarui, komplemen
kredibilitas dapat diberikan pada
tingkat
kelas saat ini. Teori kredibilitas juga dapat
diterapkan pada perhitungan frekuensi dan tingkat keparahan yang
diharapkan.
Menghitung nilai numerik untuk \(Z\)
membutuhkan analisis dan pemahaman data. Apa saja varians dalam jumlah
kerugian dan ukuran kerugian untuk risiko? Berapa varians antara nilai
yang diharapkan di seluruh risiko?
9.2 Limited Fluctuation Credibility
Di bagian ini, kita akan mempelajari cara:
- Hitung standar kredibilitas penuh untuk jumlah klaim, ukuran
rata-rata klaim, dan kerugian agregat.
- Pelajari bagaimana hubungan antara sarana dan varians distribusi
yang mendasari mempengaruhi standar kredibilitas penuh.
- Menentukan bobot kredibilitas \(Z\)
menggunakan rumus kredibilitas parsial akar kuadrat.
Kredibilitas
fluktuasi terbatas, juga disebut “kredibilitas klasik”
dan “kredibilitas Amerika”, diberi nama ini karena metode ini secara
eksplisit mencoba untuk membatasi fluktuasi dalam estimasi frekuensi
klaim, tingkat keparahan, atau kerugian. Sebagai contoh, anggaplah Anda
ingin memperkirakan jumlah klaim yang diharapkan sebanyak \(N\) untuk sekelompok risiko dalam suatu
kelas peringkat asuransi. Berapa banyak risiko yang diperlukan dalam
kelas tersebut untuk memastikan bahwa tingkat akurasi tertentu dapat
dicapai dalam estimasi? Pertama, pertanyaan ini akan dipertimbangkan
dari perspektif berapa banyak klaim yang dibutuhkan.
9.2.1 Kredibilitas Penuh untuk Frekuensi Klaim
Misalkan N adalah variabel acak yang mewakili jumlah klaim untuk
sekelompok risiko, misalnya, risiko dalam klasifikasi peringkat
tertentu. Jumlah klaim yang teramati akan digunakan untuk mengestimasi
\(\mu_N=\mathrm{E}[N]\), jumlah klaim
yang diharapkan. Seberapa besar \(μ_N\)
yang dibutuhkan untuk mendapatkan estimasi yang baik? Salah satu cara
untuk mengukur keakuratan estimasi adalah dengan pernyataan seperti:
“Nilai \(N\) yang teramati harus berada
dalam rentang 5% dari μN setidaknya 90% dari waktu.” Menuliskan ini
sebagai ekspresi matematis akan menghasilkan \(\Pr[0.95 \mu_N \leq N \leq 1.05 \mu_N] \geq
0.90\). Menggeneralisasi pernyataan ini dengan membiarkan
parameter rentang k menggantikan 5% dan tingkat probabilitas \(p\) menggantikan 0,90 memberikan
persamaan
\[\begin{equation}
\Pr[(1-k) \mu_N \leq N \leq (1+k) \mu_N] \geq p .
\tag{9.1}
\end{equation}\]
Jumlah klaim yang diharapkan yang diperlukan agar probabilitas di
sisi kiri (9.1) sama dengan \(p\)
disebut standar kredibilitas penuh.
Jika jumlah klaim yang diharapkan lebih besar atau sama dengan
standar kredibilitas penuh maka kredibilitas penuh dapat diberikan pada
data sehingga \(Z = 1\) . Biasanya
nilai yang diharapkan \(μ_N\) tidak
diketahui sehingga kredibilitas penuh akan diberikan pada data jika
jumlah klaim aktual yang diamati \(n\)
lebih besar atau sama dengan standar kredibilitas penuh. Nilai \(k\) dan \(p\) harus dipilih dan aktuaris dapat
mengandalkan pengalaman, penilaian, dan faktor-faktor lain dalam membuat
pilihan.
Mengurangkan \(μ_N\) dari setiap
suku dalam (9.1) dan membaginya dengan deviasi standar \(σ_N\) dari \(N\) memberikan
\[\begin{equation}
\Pr\left[\frac{-k\mu_N}{\sigma_N}\leq \frac{N-\mu_N}{\sigma_N} \leq
\frac{k\mu_N}{\sigma_N}\right] \geq p.
\tag{9.2}
\end{equation}\]
Dalam kredibilitas fluktuasi terbatas, distribusi normal standar
digunakan untuk mendekati distribusi \((N-\mu_N)/\sigma_N\) . Jika \(N\) adalah jumlah dari banyak klaim dari
sekelompok besar risiko yang sama dan klaim-klaim tersebut independen,
maka perkiraannya mungkin masuk akal.
Biarkan \(y_p\) adalah nilai yang
sedemikian rupa sehingga
\[\Pr[-y_p\leq \frac{N-\mu_N}{\sigma_N}
\leq y_p]=\Phi(y_p)-\Phi(-y_p)=p\]
di mana \(Φ()\) adalah
fungsi
distribusi kumulatif dari normal standar. Karena \(\Phi(-y_p)=1-\Phi(y_p)\) persamaan tersebut
dapat ditulis ulang sebagai \(2\Phi(y_p)-1=p\) . Penyelesaian untuk \(y_p\) memberikan \(y_p=\Phi^{-1}((p+1)/2)\) dimana \(\Phi^{-1}( )\) adalah kebalikan dari \(Φ()\) .
Persamaan (9.2) akan terpenuhi jika \(k\mu_N/\sigma_N \geq y_p\) dengan
mengasumsikan aproksimasi normal. Pertama, kita akan mempertimbangkan
ketidaksamaan ini untuk kasus ketika \(N\) memiliki distribusi Poisson: \(\Pr[N=n] =
\lambda^n\textrm{e}^{-\lambda}/n!\) . Karena \(\lambda=\mu_N=\sigma_N^2\) untuk Poisson,
mengambil akar kuadrat menghasilkan \(\mu_N^{1/2}=\sigma_N\) . Jadi, \(k\mu_N/\mu_N^{1/2} \geq y_p\) yang setara
dengan \(\mu_N \geq (y_p/k)^2\) . Mari
kita definisikan \(\lambda_{kp}\)
sebagai nilai dari \(μ_N\) yang mana
kesetaraan berlaku. Maka standar kredibilitas penuh untuk distribusi
Poisson adalah
\[\begin{equation}
\lambda_{kp} = \left(\frac{y_p}{k}\right)^2 \textrm{with }
y_p=\Phi^{-1}((p+1)/2).
\tag{9.3}
\end{equation}\]
Jika jumlah klaim yang diharapkan \(μ_N\) lebih besar atau sama dengan \(\lambda_{kp}\) maka persamaan (9.1)
diasumsikan berlaku dan kredibilitas penuh dapat diberikan pada data.
Sebagaimana disebutkan sebelumnya, karena \(μ_N\) biasanya tidak diketahui,
kredibilitas penuh diberikan jika jumlah klaim yang diamati \(n\) memenuhi \(n≥\lambda_{kp}\).
Contoh 9.2.1. Standar kredibilitas penuh ditetapkan
sehingga jumlah klaim yang teramati berada dalam kisaran 5% dari nilai
yang diharapkan dengan probabilitas \(p =
0.95\) . Jika jumlah klaim berdistribusi Poisson, tentukan jumlah
klaim yang dibutuhkan untuk kredibilitas penuh.
Solusi. Mengacu pada tabel distribusi normal
standar, \(y_p=\Phi^{-1}((p+1)/2)=\Phi^{-1}((0.95+1)/2)\)\(\Phi^{-1}(0.975)=1.960\). Dengan
menggunakan nilai ini dan \(k=.05\)
lalu \(\lambda_{kp} =
(y_p/k)^{2}=(1.960/0.05)^{2}=1,536.64\). Setelah dibulatkan,
standar kredibilitas penuhnya adalah 1.537.
9.2.2 Kredibilitas Penuh untuk Kerugian Agregat dan Premi Murni
Kerugian agregat adalah total dari semua jumlah kerugian untuk risiko
atau kelompok risiko. Membiarkan \(S\)
mewakili kerugian agregat
\[S=X_1+X_2+\cdots+X_N.\]
Variabel acak \(N\) mewakili jumlah
kerugian dan variabel acak \(X_1,
X_2,\ldots,X_N\) adalah jumlah kerugian individu. Pada bagian ini
diasumsikan bahwa \(N\) tidak
bergantung pada jumlah kerugian dan bahwa \(X_1, X_2,\ldots,X_N\) adalah Independen dan
berdistribusi identik.
Rata-rata dan varians dari \(S\)
adalah
\[\mu_S=\mathrm{E}(S)=\mathrm{E}(N)\mathrm{E}(X)=\mu_N\mu_X\]
dan
\[\sigma^{2}_S=\mathrm{Var}(S)=\mathrm{E}(N)\mathrm{Var}(X)+[\mathrm{E}(X)]^{2}\mathrm{Var}(N)=\mu_N\sigma^{2}_X+\mu^{2}_X\sigma^{2}_N
,\]
dimana \(X\) adalah jumlah kerugian
tunggal. Lihat diskusi tentang model risiko kolektif
Kerugian yang teramati \(S\) akan
digunakan untuk mengestimasi kerugian yang diharapkan \(μ_S = E(S)\) . Seperti halnya model
frekuensi pada bagian sebelumnya, kerugian yang teramati harus mendekati
kerugian yang diharapkan seperti yang dikuantifikasikan dalam
persamaan
\[\Pr[(1-k)\mu_S\leq S \leq(1+k)\mu_S]
\geq p.\]
Setelah mengurangi rata-rata dan membaginya dengan deviasi
standar,
\[\Pr\left[\frac{-k\mu_S}{\sigma_S}\leq
(S-\mu_S)/\sigma_S \leq \frac{k\mu_S}{\sigma_S}\right] \geq p
.\]
Seperti yang dilakukan pada bagian sebelumnya, diasumsikan bahwa
distribusi \((S-\mu_S)/\sigma_S\)
adalah standar normal dan \(k\mu_S/\sigma_S=y_p=\Phi^{-1}((p+1)/2)\).
Persamaan ini dapat ditulis ulang sebagai \(\mu_S^2=(y_p/k)^2\sigma_S^2\). Dengan
menggunakan rumus sebelumnya untuk \(μ_S\) dan \(\sigma_{S}^2\), maka didapatkan \((\mu_N\mu_X)^2=(y_p/k)^2(\mu_N\sigma^{2}_X+\mu^{2}_X\sigma^{2}_N)\).
Dengan membagi kedua sisi dengan \(\mu_N\mu_X^2\) dan mengurutkan sisi kanan,
maka didapatkan standar kredibilitas penuh \(n_S\) untuk kerugian agregat.
\[\begin{equation}
n_S=\left(\frac{y_p}{k}\right)^2\left[\left(\frac{\sigma_N^2}{\mu_N}\right)+\left(\frac{\sigma_X}{\mu_X}\right)^2\right]=\lambda_{kp}\left[\left(\frac{\sigma_N^2}{\mu_N}\right)+\left(\frac{\sigma_X}{\mu_X}\right)^2\right].
\tag{9.5}
\end{equation}\]
Contoh 9.2.5. Jumlah klaim memiliki distribusi
Poisson. Jumlah kerugian individu didistribusikan secara independen dan
identik dengan distribusi Pareto \(F(x)=1-[\theta/(x+\theta)]^{\alpha}\).
Jumlah klaim dan jumlah kerugian adalah independen. Jika kerugian
agregat yang diamati harus berada dalam 5% dari nilai yang diharapkan
dengan probabilitas \(p=0.95\), berapa
banyak kerugian yang diperlukan untuk kredibilitas penuh?
Solusi. Karena jumlah klaim berdistribusi Poisson,
maka \((\sigma_N^2/\mu_N)=1\).
Rata-rata dari distribusi Pareto adalah \(\mu_X=\theta/(\alpha-1)\) dan variansinya
adalah \(\sigma_X^2=\theta^{2}\alpha/[(\alpha-1)^{2}(\alpha-2)]\),
sehingga \((\sigma_X/\mu_X)^2=\alpha/(\alpha-2)\).
Menggabungkan istilah frekuensi dan severity memberikan \([(\sigma_N^2/\mu_N)+(\sigma_X/\mu_X)^2]=2(\alpha-1)/(\alpha-2)\).
Dari tabel distribusi normal standar, didapatkan \(y_p=\Phi^{-1}((0.95+1)/2)=1.960\). Standar
kredibilitas penuh adalah \(n_S=(1.96/0.05)^{2}[2(\alpha-1)/(\alpha-2)]=3,073.28(\alpha-1)/(\alpha-2)\).
Jika \(α=3\) maka \(n_S=6,146.56\) untuk standar kredibilitas
penuh sebesar 6.147. Perlu diperhatikan bahwa jumlah klaim yang jauh
lebih banyak diperlukan untuk kredibilitas penuh untuk kerugian agregat
dibandingkan dengan frekuensi saja.
9.2.3 Kredibilitas Penuh untuk Tingkat Keparahan
Misalkan X adalah variabel acak yang merepresentasikan besarnya satu
klaim. Severity klaim adalah \(\mu_X=\mathrm{E}(X)\). Anggaplah \({X_1,X_2, \ldots, X_n}\) adalah sampel acak
dari n klaim yang akan digunakan untuk mengestimasi severity klaim \(μ_X\). Klaim-klaim tersebut diasumsikan
iid. Nilai rata-rata dari sampel adalah
\[\bar{X}=\frac{1}{n}\left(X_1+X_2+\cdots+X_n\right).\]
Seberapa besar nilai n yang diperlukan untuk mendapatkan estimasi
yang baik? Perhatikan bahwa n bukanlah variabel acak sedangkan di model
kerugian agregat ia adalah variabel acak.
Pada Bagian 9.2.1, akurasi sebuah estimator untuk frekuensi
didefinisikan dengan menentukan agar jumlah klaim berada di dalam
interval tertentu sekitar rata-rata jumlah klaim dengan probabilitas
tertentu. Untuk severity, persyaratan ini adalah
\[\Pr[(1-k)\mu_X\leq \bar{X}
\leq(1+k)\mu_X ]\geq p ,\]
dimana \(k\) dan \(p\) harus ditentukan. Dengan mengikuti
langkah-langkah pada Bagian 9.2.1, rata-rata severity klaim \(μ_X\) dikurangi dari setiap termin dan
simpangan baku estimator severity klaim \(\sigma_{\bar{X}}\) dibagi ke dalam setiap
termin sehingga diperoleh
\[\Pr\left[\frac{-k~\mu_X}{\sigma_{\bar{X}}}\leq
(\bar{X}-\mu_X)/\sigma_{\bar{X}} \leq
\frac{k~\mu_X}{\sigma_{\bar{X}}}\right] \geq p .\]
Seperti pada bagian sebelumnya, diasumsikan bahwa \((\bar{X}-\mu_X)/\sigma_{\bar{X}}\) secara
kasar terdistribusi normal dan persamaan sebelumnya terpenuhi jika \(k\mu_X/\sigma_{\bar{X}}\geq y_p\) dengan
\(y_p=\Phi^{-1}((p+1)/2)\). Karena
\(\bar{X}\) adalah rata-rata klaim
individual \(X_1, X_2,\dots, X_n\),
simpangan baku X¯ sama dengan simpangan baku klaim individual dibagi
\(\sigma_{\bar{X}}=\sigma_X/\sqrt{n}\).
Sehingga, \(k\mu_X/(\sigma_X/\sqrt{n})\geq
y_p\) dan dengan sedikit aljabar, persamaan ini dapat dituliskan
ulang sebagai \(n \geq
(y_p/k)^2(\sigma_X/\mu_X)^2\). Standar kredibilitas penuh untuk
keparahan adalah
\[\begin{equation}
n_X=\left(\frac{y_p}{k}\right)^2\left(\frac{\sigma_X}{\mu_X}\right)^2=\lambda_{kp}\left(\frac{\sigma_X}{\mu_X}\right)^2.
\tag{9.6}
\end{equation}\]
Perhatikan bahwa istilah \(\sigma_X/\mu_X\) adalah koefisien variasi
untuk klaim individual. Meskipun \(\lambda_{kp}\) adalah standar kredibilitas
penuh untuk frekuensi dengan diasumsikan distribusi Poisson, tidak ada
asumsi tentang distribusi untuk jumlah klaim.
Contoh 9.2.6. Besaran klaim individual
didistribusikan secara independen dan identik dengan distribusi Pareto
Tipe \(F(x)=1-[\theta/(x+\theta)]^{\alpha}\).
Berapa banyak klaim yang dibutuhkan agar rata-rata keparahan klaim yang
diamati berada dalam 5% dari nilai harapan dengan probabilitas \(p=0.95\)?
Solusi. Rata-rata Pareto adalah \(\mu_X=\theta/(\alpha-1)\) dan variansnya
adalah \(\sigma_X^2=\theta^{2}\alpha/[(\alpha-1)^{2}(\alpha-2)]\)
sehingga \((\sigma_X/\mu_X)^2=\alpha/(\alpha-2)\).
Dari tabel distribusi normal standar, kita dapat menggunakan \(y_p=\Phi^{-1}((0.95+1)/2)=1.960\). Standar
kredibilitas penuh adalah \(n_X=(1.96/0.05)^{2}[\alpha/(\alpha-2)]=1,536.64\alpha/(\alpha-2)\).
Misalkan \(α=3\) maka \(n_X=4,609.92\) untuk standar kredibilitas
penuh sebesar 4.610.
9.2.4 Kredibilitas parsial
Pada bagian sebelumnya, standar kredibilitas penuh dihitung untuk
memperkirakan frekuensi (\(n_f\)),
premi murni (\(n_{PP}\)), dan tingkat
keparahan (\(n_X\)) - pada bagian ini,
standar kredibilitas penuh ini akan ditandai dengan \(n_0\). Dalam setiap kasus, standar
kredibilitas penuh adalah jumlah klaim yang diharapkan untuk mencapai
tingkat akurasi tertentu saat menggunakan data empiris untuk
memperkirakan nilai yang diharapkan. Jika jumlah klaim yang diamati
lebih besar atau sama dengan standar kredibilitas penuh, maka bobot
kredibilitas penuh \(Z = 1\) diberikan
pada data.
Dalam kredibilitas fluktuasi terbatas, bobot kredibilitas \(Z\) yang ditugaskan pada data adalah:
\[Z=
\left\{
\begin{array}{ll}
\sqrt{n /n_{0}} &\textrm{if } n < n_{0} \\
1 & \textrm{if } n \ge n_{0} ,
\end{array}
\right.\]
Di mana \(n_0\) merupakan standar
kredibilitas penuh. Jumlah klaim \(n\)
merupakan jumlah klaim untuk data yang digunakan untuk memperkirakan
frekuensi yang diharapkan, tingkat keparahan, atau premi murni.
Contoh 9.2.7. Jumlah klaim memiliki distribusi
Poisson. Jumlah kerugian individu didistribusikan secara independen dan
identik dengan distribusi Pareto Tipe II \(F(x)=1-[\theta/(x+\theta)]^{\alpha}\).
Dalam hal ini, \(α=3\). Jumlah klaim
dan jumlah kerugian adalah independen. Standar kredibilitas penuh adalah
bahwa premi murni yang diamati harus berada dalam 5% dari nilai yang
diharapkan dengan probabilitas \(p=0.95\). Berapa kredibilitas \(Z\) yang diberikan untuk premi murni yang
dihitung dari 1.000 klaim?
Solusi. Karena jumlah klaim adalah Poisson, \[\frac{\mathrm{E}(X^2)}{[\mathrm{E}~(X)]^2}
=\frac{\sigma_N^2}{\mu_N}+\left(\frac{\sigma_X}{\mu_X}\right)^2.\]
Rata-rata dari Pareto adalah \(μX=θ/(α−1)\) dan momen kedua adalah \(\mathrm{E}(X^2)=2\theta^{2}/[(\alpha-1)(\alpha-2)]\)
sehingga \(\mathrm{E}(X^2)/[\mathrm{E}~(X)]^2=2(\alpha-1)/(\alpha-2)\).
Dari tabel distribusi normal standar, \(y_p=\Phi^{-1}((0.95+1)/2)=1.960\). Standar
kredibilitas penuh adalah \[n_{PP}=(1.96/0.05)^{2}[2(\alpha-1)/(\alpha-2)]=3,073.28(\alpha-1)/(\alpha-2)\]
dan jika \(α=3\), maka \(n_0=n_{PP}=6,146.56\) atau 6.147 jika
dibulatkan ke atas. Kredibilitas yang diberikan untuk 1.000 klaim adalah
\(Z=(1,000/6,147)^{1/2}=0.40\).
Kredibilitas fluktuasi terbatas menggunakan rumus \(Z=\sqrt{n/n_0}\) untuk membatasi fluktuasi
dalam perkiraan yang diboboti kredibilitas untuk sesuai dengan fluktuasi
yang diizinkan untuk data dengan jumlah klaim yang diharapkan pada
standar kredibilitas penuh. Varians atau simpangan baku digunakan
sebagai ukuran fluktuasi. Selanjutnya, kami akan menunjukkan contoh
untuk menjelaskan mengapa rumus akar kuadrat digunakan.
Misalkan tingkat keparahan klaim rata-rata sedang diestimasi dari
sampel ukuran \(n\) yang lebih kecil
dari standar kredibilitas penuh \(n_0=n_X\). Dengan menerapkan teori
kredibilitas, perkiraan \(\hat{\mu}_X\)
akan menjadi:
\[\hat{\mu}_X=Z\bar{X}+(1-Z)M_X
,\]
dengan \(\bar{X}=(X_1+X_2+\cdots+X_n)/n\) dan
variabel acak iid \(X_i\) yang mewakili
ukuran klaim individu. Kredibilitas komplementer diterapkan pada \(M_X\) yang bisa menjadi perkiraan tingkat
keparahan rata-rata tahun lalu yang disesuaikan dengan inflasi,
rata-rata tingkat keparahan untuk kumpulan risiko yang jauh lebih besar,
atau kuantitas relevan lainnya yang dipilih oleh aktuaris. Diasumsikan
bahwa varians dari \(M_X\) adalah nol
atau bisa diabaikan. Dengan asumsi ini,
\[\mathrm{Var}(\hat{\mu}_X)=\mathrm{Var}(Z\bar{X})=Z^2\mathrm{Var}(\bar{X})=\frac{n}{n_0}\mathrm{Var}(\bar{X}).\]
Karena \(\bar{X}=(X_1+X_2+\cdots+X_n)/n\) maka
berlaku bahwa \(\mathrm{Var}(\bar{X})=\mathrm{Var}(X_i)/n\)
di mana variabel acak \(X_i\) adalah
satu klaim. Oleh karena itu,
\[\mathrm{Var}(\hat{\mu}_X)=\frac{n}{n_0}\mathrm{Var}(\bar{X})=\frac{n}{n_0}\frac{\mathrm{Var}(X_i)}{n}=\frac{\mathrm{Var}(X_i)}{n_0}.\]
Term terakhir adalah varians tepat dari rata-rata sampel \(\bar{X}\) ketika ukuran sampel sama dengan
standar kredibilitas penuh \(n_0=n_X\).
LS0tDQp0aXRsZTogIlRlb3JpIFJpc2lrbyINCnN1YnRpdGxlOiAiRXhwZXJpZW5jZSBSYXRpbmcgVXNpbmcgQ3JlZGliaWxpdHkgVGhlb3J5Ig0KYXV0aG9yOiAiWW9zaWEiDQpkYXRlOiAgIjEwLzA0LzIwMjMiDQpvdXRwdXQ6DQogIHJtZGZvcm1hdHM6OnJvYm9ib29rOiAgICMgaHR0cHM6Ly9naXRodWIuY29tL2p1YmEvcm1kZm9ybWF0cw0KICAgIHNlbGZfY29udGFpbmVkOiB0cnVlDQogICAgaGlnaGxpZ2h0OiBweWdtZW50cw0KICAgIHRoZW1lOiBzYW5kc3RvbmUNCiAgICB0aHVtYm5haWxzOiB0cnVlDQogICAgbGlnaHRib3g6IHRydWUNCiAgICBnYWxsZXJ5OiB0cnVlDQogICAgbGliX2RpcjogbGlicw0KICAgIGRmX3ByaW50OiAicGFnZWQiDQogICAgY29kZV9mb2xkaW5nOiAic2hvdyINCiAgICBjb2RlX2Rvd25sb2FkOiB5ZXMNCiAgICBjc3M6ICJzdHlsZS5jc3MiDQoNCi0tLQ0KDQo8Qk9EWSB7DQogdXNlci1zZWxlY3Q6bm9uZTsNCiAtbW96LXVzZXItc2VsZWN0Om5vbmU7DQogLW1zLXVzZXItc2VsZWN0Om5vbmU7DQogLWtodG1sLXVzZXItc2VsZWN0Om5vbmU7DQogLXdlYmtpdC11c2VyLXNlbGVjdDpub25lDQp9Lz4NCg0KPGJyPg0KDQo8aW1nIHN0eWxlPSJmbG9hdDogcmlnaHQ7IG1hcmdpbjogLTUwcHggNTBweCAwcHggNTBweDsgd2lkdGg6MzAlIiBzcmM9ImRvd25sb2FkLnBuZyIvPiANCg0KfA0KOi0tLS0gfDotLS0tDQoqKktvbnRhayoqfCAqKjogJFxkb3duYXJyb3ckKioNCkVtYWlsfCB5b3NpYS55b3NpYUBzdHVkZW50Lm1hdGFuYXVuaXZlcnNpdHkuYWMuaWQNCkluc3RhZ3JhbSB8IFt5eW9zaWFdKGh0dHBzOi8vd3d3Lmluc3RhZ3JhbS5jb20veXlvc2lhLykgDQpSUHVicyAgfCBodHRwczovL3JwdWJzLmNvbS95b3NpYS8NCg0KKioqDQpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0NCmtuaXRyOjpvcHRzX2NodW5rJHNldChlY2hvID0gVFJVRSkNCmxpYnJhcnkodGlwcHkpDQpgYGANCg0KIyA5LjEgUGVuZ2FudGFyIEFwbGlrYXNpIFRlb3JpIEtyZWRpYmlsaXRhcw0KDQpCZXJhcGEgcHJlbWkgeWFuZyBoYXJ1cyBkaWJlYmFua2FuIHVudHVrIG1lbnllZGlha2FuIGFzdXJhbnNpPyBKYXdhYmFubnlhIHRlcmdhbnR1bmcgcGFkYSBla3Nwb3N1ciByaXNpa28ga2VydWdpYW4uIE1ldG9kZSB5YW5nIHVtdW0gZGlndW5ha2FuIHVudHVrIG1lbmdoaXR1bmcgcHJlbWkgYXN1cmFuc2kgYWRhbGFoIGRlbmdhbiBtZW5pbGFpIHRlcnRhbmdndW5nIG1lbmdndW5ha2FuIDxhYmJyIHRpdGxlPSJSZW5jYW5hIHBlbWVyaW5na2F0YW4geWFuZyBtZW5nZ3VuYWthbiBrYXJha3RlcmlzaXRpayByaXNpa28gdGVydGFuZ2d1bmcgdW50dWsgbWVuZW50dWthbiI+KipyZW5jYW5hIHBlcmluZ2thdCBrbGFzaWZpa2FzaSoqLjwvYWJicj4gIFJlbmNhbmEga2xhc2lmaWthc2kgZGlndW5ha2FuIHVudHVrIG1lbWlsaWggdGFyaWYgYXN1cmFuc2kgYmVyZGFzYXJrYW4ga2FyYWt0ZXJpc3RpayBwZXJpbmdrYXQgdGVydGFuZ2d1bmcgc2VwZXJ0aSB3aWxheWFoIGdlb2dyYWZpcywgdXNpYSwgZGxsLiBTZW11YSByZW5jYW5hIHBlbWVyaW5na2F0YW4ga2xhc2lmaWthc2kgbWVuZ2d1bmFrYW4gc2VwZXJhbmdrYXQga3JpdGVyaWEgdGVyYmF0YXMgdW50dWsgbWVuZ2Vsb21wb2trYW4gdGVydGFuZ2d1bmcga2UgZGFsYW0gImtlbGFzIiBkYW4gYWthbiBhZGEgdmFyaWFzaSByaXNpa28ga2VydWdpYW4gZGkgYW50YXJhIHRlcnRhbmdndW5nIGRpIGRhbGFtIGtlbGFzIHRlcnNlYnV0Lg0KDQpSZW5jYW5hIHBlbWVyaW5na2F0YW4gcGVuZ2FsYW1hbiBtZW5jb2JhIHVudHVrIG1lbmFuZ2thcCBiZWJlcmFwYSB2YXJpYXNpIGRhbGFtIHJpc2lrbyBrZXJ1Z2lhbiBkaSBhbnRhcmEgdGVydGFuZ2d1bmcgZGFsYW0ga2VsYXMgcGVtZXJpbmdrYXRhbiBkZW5nYW4gbWVuZ2d1bmFrYW4gcGVuZ2FsYW1hbiBrZXJ1Z2lhbiB0ZXJ0YW5nZ3VuZyBzZW5kaXJpIHVudHVrIG1lbGVuZ2thcGkgdGluZ2thdCBkYXJpIHJlbmNhbmEgcGVtZXJpbmdrYXRhbiBrbGFzaWZpa2FzaS4gU2FsYWggc2F0dSBjYXJhIHVudHVrIG1lbGFrdWthbiBoYWwgaW5pIGFkYWxhaCBkZW5nYW4gbWVuZ2d1bmFrYW4gPGFiYnIgdGl0bGU9IkJvYm90IHlhbmcgZGliZXJpa2FuIHBhZGEgcGVuZ2FsYW1hbiBrZXJ1Z2lhbiBoaXN0b3JpcyB0ZXJ0YW5nZ3VuZyB1bnR1ayB0dWp1YW4gbWVuZW50dWthbiBwcmVtaSBtZXJla2EgZGFsYW0gcmVuY2FuYSBwZW1lcmluZ2thdGFuIHBlbmdhbGFtYW4iPioqYm9ib3Qga3JlZGliaWxpdGFzKiogPC9hYmJyPiAkWiQgZGVuZ2FuICQwXGxlcSBaIFxsZXEgMSQgdW50dWsgbWVuZ2hpdHVuZyANCg0KJCRcaGF0e1J9PVpcYmFye1h9KygxLVopTSwkJA0KJCRcYmVnaW57ZXFuYXJyYXkqfQ0KXGhhdHtSfSY9Jlx0ZXh0cm17dGluZ2thdCBib2JvdCBrcmVkaWJpbGl0YXMgdW50dWsgcmlzaWtvLH1cXA0KICAgICAgICAgICBcYmFye1h9Jj0mXHRleHRybXtrZXJ1Z2lhbiByYXRhLXJhdGEgdW50dWsgcmlzaWtvIHNlbGFtYSBwZXJpb2RlIHdha3R1IHRlcnRlbnR1LH1cXA0KICAgICAgICAgICAgICAgICAgTSY9Jlx0ZXh0cm17dGluZ2thdCB1bnR1ayBrZWxvbXBvayBrbGFzaWZpa2FzaSwgc2VyaW5nIGRpc2VidXQgdGluZ2thdCBtYW51YWwufVxcDQpcZW5ke2VxbmFycmF5Kn0kJA0KDQpVbnR1ayByaXNpa28geWFuZyBwZW5nYWxhbWFuIGtlcnVnaWFubnlhIHN0YWJpbCBkYXJpIHRhaHVuIGtlIHRhaHVuLCAkWiQgbXVuZ2tpbiBtZW5kZWthdGkgJDEkLiBVbnR1ayByaXNpa28geWFuZyBrZXJ1Z2lhbm55YSBzYW5nYXQgYmVydmFyaWFzaSBkYXJpIHRhaHVuIGtlIHRhaHVuLCAkWiQgbXVuZ2tpbiBtZW5kZWthdGkgJDAkLg0KDQpUZW9yaSBrcmVkaWJpbGl0YXMganVnYSBkaWd1bmFrYW4gdW50dWsgbWVuZ2hpdHVuZyB0aW5na2F0IHVudHVrIG1hc2luZy1tYXNpbmcga2VsYXMgZGFsYW0gcmVuY2FuYSBwZXJpbmdrYXQga2xhc2lmaWthc2kuIEtldGlrYSB0aW5na2F0IHJlbmNhbmEga2xhc2lmaWthc2kgc2VkYW5nIGRpdGVudHVrYW4sIGJlYmVyYXBhIGF0YXUgYmFueWFrIGtlbG9tcG9rIG11bmdraW4gdGlkYWsgbWVtaWxpa2kgZGF0YSB5YW5nIGN1a3VwIHVudHVrIG1lbmdoYXNpbGthbiB0aW5na2F0IHlhbmcgc3RhYmlsIGRhbiBkYXBhdCBkaWFuZGFsa2FuLiBQZW5nYWxhbWFuIGtlcnVnaWFuIGFrdHVhbCB1bnR1ayBzdWF0dSBrZWxvbXBvayBha2FuIGRpYmVyaSBib2JvdCBrcmVkaWJpbGl0YXMgJFokIGRhbiA8YWJiciB0aXRsZT0iU2lzYSBib2JvdCB5YW5nIHRpZGFrIGRpYmVyaWthbiBwYWRhIHBlbmdhbGFtYW4ga2VydWdpYW4gaGlzdG9yaXMgdGVydGFuZ2d1bmcgZGFsYW0gcmVuY2FuYSBwZW1lcmluZ2thdGFuIHBlbmdhbGFtYW4iPioqa29tcGxlbWVuIGtyZWRpYmlsaXRhcyoqIDwvYWJicj4gJDEtWiQgZGFwYXQgZGliZXJpa2FuIHBhZGEgcGVuZ2FsYW1hbiByYXRhLXJhdGEgdW50dWsgcmlzaWtvIGRpIHNlbHVydWgga2VsYXMuIEF0YXUsIGppa2EgcmVuY2FuYSBwZW1lcmluZ2thdGFuIGtlbGFzIHNlZGFuZyBkaXBlcmJhcnVpLCBrb21wbGVtZW4ga3JlZGliaWxpdGFzIGRhcGF0IGRpYmVyaWthbiBwYWRhIDxhYmJyIHRpdGxlPSJUaW5na2F0IHJhdGEtcmF0YSBwZXIgZWtzcG9zdXIgdW50dWsgdGVydGFuZ2d1bmcgZGFsYW0ga2Vsb21wb2sga2xhc2lmaWthc2kgdGVydGVudHUiPioqdGluZ2thdCBrZWxhcyoqIDwvYWJicj4gc2FhdCBpbmkuIFRlb3JpIGtyZWRpYmlsaXRhcyBqdWdhIGRhcGF0IGRpdGVyYXBrYW4gcGFkYSBwZXJoaXR1bmdhbiBmcmVrdWVuc2kgZGFuIHRpbmdrYXQga2VwYXJhaGFuIHlhbmcgZGloYXJhcGthbi4NCg0KTWVuZ2hpdHVuZyBuaWxhaSBudW1lcmlrIHVudHVrICRaJCBtZW1idXR1aGthbiBhbmFsaXNpcyBkYW4gcGVtYWhhbWFuIGRhdGEuIEFwYSBzYWphIHZhcmlhbnMgZGFsYW0ganVtbGFoIGtlcnVnaWFuIGRhbiB1a3VyYW4ga2VydWdpYW4gdW50dWsgcmlzaWtvPyBCZXJhcGEgdmFyaWFucyBhbnRhcmEgbmlsYWkgeWFuZyBkaWhhcmFwa2FuIGRpIHNlbHVydWggcmlzaWtvPw0KDQojIDkuMiBMaW1pdGVkIEZsdWN0dWF0aW9uIENyZWRpYmlsaXR5DQoNCkRpIGJhZ2lhbiBpbmksIGtpdGEgYWthbiBtZW1wZWxhamFyaSBjYXJhOg0KDQotIEhpdHVuZyBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCB1bnR1ayBqdW1sYWgga2xhaW0sIHVrdXJhbiByYXRhLXJhdGEga2xhaW0sIGRhbiBrZXJ1Z2lhbiBhZ3JlZ2F0Lg0KLSBQZWxhamFyaSBiYWdhaW1hbmEgaHVidW5nYW4gYW50YXJhIHNhcmFuYSBkYW4gdmFyaWFucyBkaXN0cmlidXNpIHlhbmcgbWVuZGFzYXJpIG1lbXBlbmdhcnVoaSBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aC4NCi0gTWVuZW50dWthbiBib2JvdCBrcmVkaWJpbGl0YXMgICRaJCBtZW5nZ3VuYWthbiBydW11cyBrcmVkaWJpbGl0YXMgcGFyc2lhbCBha2FyIGt1YWRyYXQuDQoNCjxhYmJyIHRpdGxlPSJNZXRvZGUga3JlZGliaWxpdGFzIHlhbmcgYmVydXBheWEgbWVtYmF0YXNpIGZsdWt0dWFzaSBkYWxhbSBwZXJraXJhYW5ueWEiPioqS3JlZGliaWxpdGFzIGZsdWt0dWFzaSB0ZXJiYXRhcyoqPC9hYmJyPiwganVnYSBkaXNlYnV0ICJrcmVkaWJpbGl0YXMga2xhc2lrIiBkYW4gImtyZWRpYmlsaXRhcyBBbWVyaWthIiwgZGliZXJpIG5hbWEgaW5pIGthcmVuYSBtZXRvZGUgaW5pIHNlY2FyYSBla3NwbGlzaXQgbWVuY29iYSB1bnR1ayBtZW1iYXRhc2kgZmx1a3R1YXNpIGRhbGFtIGVzdGltYXNpIGZyZWt1ZW5zaSBrbGFpbSwgdGluZ2thdCBrZXBhcmFoYW4sIGF0YXUga2VydWdpYW4uIFNlYmFnYWkgY29udG9oLCBhbmdnYXBsYWggQW5kYSBpbmdpbiBtZW1wZXJraXJha2FuIGp1bWxhaCBrbGFpbSB5YW5nIGRpaGFyYXBrYW4gc2ViYW55YWsgJE4kIHVudHVrIHNla2Vsb21wb2sgcmlzaWtvIGRhbGFtIHN1YXR1IGtlbGFzIHBlcmluZ2thdCBhc3VyYW5zaS4gQmVyYXBhIGJhbnlhayByaXNpa28geWFuZyBkaXBlcmx1a2FuIGRhbGFtIGtlbGFzIHRlcnNlYnV0IHVudHVrIG1lbWFzdGlrYW4gYmFod2EgdGluZ2thdCBha3VyYXNpIHRlcnRlbnR1IGRhcGF0IGRpY2FwYWkgZGFsYW0gZXN0aW1hc2k/IFBlcnRhbWEsIHBlcnRhbnlhYW4gaW5pIGFrYW4gZGlwZXJ0aW1iYW5na2FuIGRhcmkgcGVyc3Bla3RpZiBiZXJhcGEgYmFueWFrIGtsYWltIHlhbmcgZGlidXR1aGthbi4NCg0KIyMgOS4yLjEgS3JlZGliaWxpdGFzIFBlbnVoIHVudHVrIEZyZWt1ZW5zaSBLbGFpbQ0KDQpNaXNhbGthbiBOIGFkYWxhaCB2YXJpYWJlbCBhY2FrIHlhbmcgbWV3YWtpbGkganVtbGFoIGtsYWltIHVudHVrIHNla2Vsb21wb2sgcmlzaWtvLCBtaXNhbG55YSwgcmlzaWtvIGRhbGFtIGtsYXNpZmlrYXNpIHBlcmluZ2thdCB0ZXJ0ZW50dS4gSnVtbGFoIGtsYWltIHlhbmcgdGVyYW1hdGkgYWthbiBkaWd1bmFrYW4gdW50dWsgbWVuZ2VzdGltYXNpICRcbXVfTj1cbWF0aHJte0V9W05dJCwganVtbGFoIGtsYWltIHlhbmcgZGloYXJhcGthbi4gU2ViZXJhcGEgYmVzYXIgJM68X04kIHlhbmcgZGlidXR1aGthbiB1bnR1ayBtZW5kYXBhdGthbiBlc3RpbWFzaSB5YW5nIGJhaWs/IFNhbGFoIHNhdHUgY2FyYSB1bnR1ayBtZW5ndWt1ciBrZWFrdXJhdGFuIGVzdGltYXNpIGFkYWxhaCBkZW5nYW4gcGVybnlhdGFhbiBzZXBlcnRpOiAiTmlsYWkgJE4kIHlhbmcgdGVyYW1hdGkgaGFydXMgYmVyYWRhIGRhbGFtIHJlbnRhbmcgNSUgZGFyaSDOvE4gc2V0aWRha255YSA5MCUgZGFyaSB3YWt0dS4iIE1lbnVsaXNrYW4gaW5pIHNlYmFnYWkgZWtzcHJlc2kgbWF0ZW1hdGlzIGFrYW4gbWVuZ2hhc2lsa2FuICRcUHJbMC45NSBcbXVfTiBcbGVxIE4gXGxlcSAxLjA1IFxtdV9OXSBcZ2VxIDAuOTAkLiBNZW5nZ2VuZXJhbGlzYXNpIHBlcm55YXRhYW4gaW5pIGRlbmdhbiBtZW1iaWFya2FuIHBhcmFtZXRlciByZW50YW5nIGsgbWVuZ2dhbnRpa2FuIDUlIGRhbiB0aW5na2F0IHByb2JhYmlsaXRhcyAkcCQgbWVuZ2dhbnRpa2FuIDAsOTAgbWVtYmVyaWthbiBwZXJzYW1hYW4NCg0KJCRcYmVnaW57ZXF1YXRpb259DQpcUHJbKDEtaykgXG11X04gXGxlcSBOIFxsZXEgKDEraykgXG11X05dIFxnZXEgcCAuDQpcdGFnezkuMX0NClxlbmR7ZXF1YXRpb259JCQNCg0KSnVtbGFoIGtsYWltIHlhbmcgZGloYXJhcGthbiB5YW5nIGRpcGVybHVrYW4gYWdhciBwcm9iYWJpbGl0YXMgZGkgc2lzaSBraXJpICg5LjEpIHNhbWEgZGVuZ2FuICRwJCBkaXNlYnV0IHN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoLg0KDQpKaWthIGp1bWxhaCBrbGFpbSB5YW5nIGRpaGFyYXBrYW4gbGViaWggYmVzYXIgYXRhdSBzYW1hIGRlbmdhbiBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCBtYWthIGtyZWRpYmlsaXRhcyBwZW51aCBkYXBhdCBkaWJlcmlrYW4gcGFkYSBkYXRhIHNlaGluZ2dhICRaID0gMSQgLiBCaWFzYW55YSBuaWxhaSB5YW5nIGRpaGFyYXBrYW4gJM68X04kIHRpZGFrIGRpa2V0YWh1aSBzZWhpbmdnYSBrcmVkaWJpbGl0YXMgcGVudWggYWthbiBkaWJlcmlrYW4gcGFkYSBkYXRhIGppa2EganVtbGFoIGtsYWltIGFrdHVhbCB5YW5nIGRpYW1hdGkgJG4kIGxlYmloIGJlc2FyIGF0YXUgc2FtYSBkZW5nYW4gc3RhbmRhciBrcmVkaWJpbGl0YXMgcGVudWguIE5pbGFpICRrJCBkYW4gJHAkIGhhcnVzIGRpcGlsaWggZGFuIGFrdHVhcmlzIGRhcGF0IG1lbmdhbmRhbGthbiBwZW5nYWxhbWFuLCBwZW5pbGFpYW4sIGRhbiBmYWt0b3ItZmFrdG9yIGxhaW4gZGFsYW0gbWVtYnVhdCBwaWxpaGFuLg0KDQpNZW5ndXJhbmdrYW4gJM68X04kIGRhcmkgc2V0aWFwIHN1a3UgZGFsYW0gKDkuMSkgZGFuIG1lbWJhZ2lueWEgZGVuZ2FuIGRldmlhc2kgc3RhbmRhciAkz4NfTiQgZGFyaSAkTiQgbWVtYmVyaWthbg0KDQokJFxiZWdpbntlcXVhdGlvbn0NClxQclxsZWZ0W1xmcmFjey1rXG11X059e1xzaWdtYV9OfVxsZXEgXGZyYWN7Ti1cbXVfTn17XHNpZ21hX059IFxsZXEgXGZyYWN7a1xtdV9OfXtcc2lnbWFfTn1ccmlnaHRdIFxnZXEgcC4NClx0YWd7OS4yfQ0KXGVuZHtlcXVhdGlvbn0kJA0KDQpEYWxhbSBrcmVkaWJpbGl0YXMgZmx1a3R1YXNpIHRlcmJhdGFzLCBkaXN0cmlidXNpIG5vcm1hbCBzdGFuZGFyIGRpZ3VuYWthbiB1bnR1ayBtZW5kZWthdGkgZGlzdHJpYnVzaSAkKE4tXG11X04pL1xzaWdtYV9OJCAuIEppa2EgJE4kIGFkYWxhaCBqdW1sYWggZGFyaSBiYW55YWsga2xhaW0gZGFyaSBzZWtlbG9tcG9rIGJlc2FyIHJpc2lrbyB5YW5nIHNhbWEgZGFuIGtsYWltLWtsYWltIHRlcnNlYnV0IGluZGVwZW5kZW4sIG1ha2EgcGVya2lyYWFubnlhIG11bmdraW4gbWFzdWsgYWthbC4NCg0KQmlhcmthbiAkeV9wJCBhZGFsYWggbmlsYWkgeWFuZyBzZWRlbWlraWFuIHJ1cGEgc2VoaW5nZ2ENCg0KJCRcUHJbLXlfcFxsZXEgXGZyYWN7Ti1cbXVfTn17XHNpZ21hX059IFxsZXEgeV9wXT1cUGhpKHlfcCktXFBoaSgteV9wKT1wJCQNCg0KZGkgbWFuYSAkzqYoKSQgYWRhbGFoIDxhYmJyIHRpdGxlPSJGdW5nc2kgZGVuc2l0YXMga3VtdWxhdGlmIHVudHVrIGRpc3RyaWJ1c2kgbm9ybWFsIGRlbmdhbiBtZWFuIDAgZGFuIHN0YW5kYXIgZGV2aWFzaSAxIj4qKmZ1bmdzaSBkaXN0cmlidXNpIGt1bXVsYXRpZiAgZGFyaSBub3JtYWwgc3RhbmRhcioqPC9hYmJyPi4gS2FyZW5hICRcUGhpKC15X3ApPTEtXFBoaSh5X3ApJCBwZXJzYW1hYW4gdGVyc2VidXQgZGFwYXQgZGl0dWxpcyB1bGFuZyBzZWJhZ2FpICQyXFBoaSh5X3ApLTE9cCQgLiBQZW55ZWxlc2FpYW4gdW50dWsgJHlfcCQgbWVtYmVyaWthbiAkeV9wPVxQaGleey0xfSgocCsxKS8yKSQgZGltYW5hICRcUGhpXnstMX0oICkkIGFkYWxhaCBrZWJhbGlrYW4gZGFyaSAkzqYoKSQgLg0KDQpQZXJzYW1hYW4gKDkuMikgYWthbiB0ZXJwZW51aGkgamlrYSAka1xtdV9OL1xzaWdtYV9OIFxnZXEgeV9wJCBkZW5nYW4gbWVuZ2FzdW1zaWthbiBhcHJva3NpbWFzaSBub3JtYWwuIFBlcnRhbWEsIGtpdGEgYWthbiBtZW1wZXJ0aW1iYW5na2FuIGtldGlkYWtzYW1hYW4gaW5pIHVudHVrIGthc3VzIGtldGlrYSAkTiQgbWVtaWxpa2kgZGlzdHJpYnVzaSBQb2lzc29uOiAkXFByW049bl0gPSBcbGFtYmRhXm5cdGV4dHJte2V9XnstXGxhbWJkYX0vbiEkIC4gS2FyZW5hICRcbGFtYmRhPVxtdV9OPVxzaWdtYV9OXjIkIHVudHVrIFBvaXNzb24sIG1lbmdhbWJpbCBha2FyIGt1YWRyYXQgbWVuZ2hhc2lsa2FuICRcbXVfTl57MS8yfT1cc2lnbWFfTiQgLiBKYWRpLCAka1xtdV9OL1xtdV9OXnsxLzJ9IFxnZXEgeV9wJCB5YW5nIHNldGFyYSBkZW5nYW4gJFxtdV9OIFxnZXEgKHlfcC9rKV4yJCAuIE1hcmkga2l0YSBkZWZpbmlzaWthbiAkXGxhbWJkYV97a3B9JCBzZWJhZ2FpIG5pbGFpIGRhcmkgJM68X04kIHlhbmcgbWFuYSBrZXNldGFyYWFuIGJlcmxha3UuIE1ha2Egc3RhbmRhciBrcmVkaWJpbGl0YXMgcGVudWggdW50dWsgZGlzdHJpYnVzaSBQb2lzc29uIGFkYWxhaA0KDQokJFxiZWdpbntlcXVhdGlvbn0NClxsYW1iZGFfe2twfSA9IFxsZWZ0KFxmcmFje3lfcH17a31ccmlnaHQpXjIgXHRleHRybXt3aXRoIH0geV9wPVxQaGleey0xfSgocCsxKS8yKS4NClx0YWd7OS4zfQ0KXGVuZHtlcXVhdGlvbn0kJA0KDQpKaWthIGp1bWxhaCBrbGFpbSB5YW5nIGRpaGFyYXBrYW4gJM68X04kIGxlYmloIGJlc2FyIGF0YXUgc2FtYSBkZW5nYW4gJFxsYW1iZGFfe2twfSQgbWFrYSBwZXJzYW1hYW4gKDkuMSkgZGlhc3Vtc2lrYW4gYmVybGFrdSBkYW4ga3JlZGliaWxpdGFzIHBlbnVoIGRhcGF0IGRpYmVyaWthbiBwYWRhIGRhdGEuIFNlYmFnYWltYW5hIGRpc2VidXRrYW4gc2ViZWx1bW55YSwga2FyZW5hICTOvF9OJCBiaWFzYW55YSB0aWRhayBkaWtldGFodWksIGtyZWRpYmlsaXRhcyBwZW51aCBkaWJlcmlrYW4gamlrYSBqdW1sYWgga2xhaW0geWFuZyBkaWFtYXRpICRuJCBtZW1lbnVoaSAkbuKJpVxsYW1iZGFfe2twfSQuDQogDQoqKkNvbnRvaCA5LjIuMSoqLiBTdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCBkaXRldGFwa2FuIHNlaGluZ2dhIGp1bWxhaCBrbGFpbSB5YW5nIHRlcmFtYXRpIGJlcmFkYSBkYWxhbSBraXNhcmFuIDUlIGRhcmkgbmlsYWkgeWFuZyBkaWhhcmFwa2FuIGRlbmdhbiBwcm9iYWJpbGl0YXMgJHAgPSAwLjk1JCAuIEppa2EganVtbGFoIGtsYWltIGJlcmRpc3RyaWJ1c2kgUG9pc3NvbiwgdGVudHVrYW4ganVtbGFoIGtsYWltIHlhbmcgZGlidXR1aGthbiB1bnR1ayBrcmVkaWJpbGl0YXMgcGVudWguDQoNCioqU29sdXNpKiouIE1lbmdhY3UgcGFkYSB0YWJlbCBkaXN0cmlidXNpIG5vcm1hbCBzdGFuZGFyLA0KJHlfcD1cUGhpXnstMX0oKHArMSkvMik9XFBoaV57LTF9KCgwLjk1KzEpLzIpJCRcUGhpXnstMX0oMC45NzUpPTEuOTYwJC4gRGVuZ2FuIG1lbmdndW5ha2FuIG5pbGFpIGluaSBkYW4gJGs9LjA1JCBsYWx1ICRcbGFtYmRhX3trcH0gPSAoeV9wL2spXnsyfT0oMS45NjAvMC4wNSleezJ9PTEsNTM2LjY0JC4gU2V0ZWxhaCBkaWJ1bGF0a2FuLCBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aG55YSBhZGFsYWggMS41MzcuDQoNCiMjIDkuMi4yIEtyZWRpYmlsaXRhcyBQZW51aCB1bnR1ayBLZXJ1Z2lhbiBBZ3JlZ2F0IGRhbiBQcmVtaSBNdXJuaQ0KDQpLZXJ1Z2lhbiBhZ3JlZ2F0IGFkYWxhaCB0b3RhbCBkYXJpIHNlbXVhIGp1bWxhaCBrZXJ1Z2lhbiB1bnR1ayByaXNpa28gYXRhdSBrZWxvbXBvayByaXNpa28uIE1lbWJpYXJrYW4gICRTJCBtZXdha2lsaSBrZXJ1Z2lhbiBhZ3JlZ2F0DQoNCiQkUz1YXzErWF8yK1xjZG90cytYX04uJCQNCg0KVmFyaWFiZWwgYWNhayAkTiQgbWV3YWtpbGkganVtbGFoIGtlcnVnaWFuIGRhbiB2YXJpYWJlbCBhY2FrICRYXzEsIFhfMixcbGRvdHMsWF9OJCBhZGFsYWgganVtbGFoIGtlcnVnaWFuIGluZGl2aWR1LiBQYWRhIGJhZ2lhbiBpbmkgZGlhc3Vtc2lrYW4gYmFod2EgJE4kIHRpZGFrIGJlcmdhbnR1bmcgcGFkYSBqdW1sYWgga2VydWdpYW4gZGFuIGJhaHdhICRYXzEsIFhfMixcbGRvdHMsWF9OJCBhZGFsYWggSW5kZXBlbmRlbiBkYW4gYmVyZGlzdHJpYnVzaSBpZGVudGlrLg0KDQpSYXRhLXJhdGEgZGFuIHZhcmlhbnMgZGFyaSAkUyQgYWRhbGFoDQoNCiQkXG11X1M9XG1hdGhybXtFfShTKT1cbWF0aHJte0V9KE4pXG1hdGhybXtFfShYKT1cbXVfTlxtdV9YJCQNCg0KZGFuDQoNCiQkXHNpZ21hXnsyfV9TPVxtYXRocm17VmFyfShTKT1cbWF0aHJte0V9KE4pXG1hdGhybXtWYXJ9KFgpK1tcbWF0aHJte0V9KFgpXV57Mn1cbWF0aHJte1Zhcn0oTik9XG11X05cc2lnbWFeezJ9X1grXG11XnsyfV9YXHNpZ21hXnsyfV9OICwkJA0KDQpkaW1hbmEgJFgkIGFkYWxhaCBqdW1sYWgga2VydWdpYW4gdHVuZ2dhbC4gTGloYXQgZGlza3VzaSB0ZW50YW5nIG1vZGVsIHJpc2lrbyBrb2xla3RpZg0KDQpLZXJ1Z2lhbiB5YW5nIHRlcmFtYXRpICRTJCBha2FuIGRpZ3VuYWthbiB1bnR1ayBtZW5nZXN0aW1hc2kga2VydWdpYW4geWFuZyBkaWhhcmFwa2FuICTOvF9TID0gRShTKSQgLiBTZXBlcnRpIGhhbG55YSBtb2RlbCBmcmVrdWVuc2kgcGFkYSBiYWdpYW4gc2ViZWx1bW55YSwga2VydWdpYW4geWFuZyB0ZXJhbWF0aSBoYXJ1cyBtZW5kZWthdGkga2VydWdpYW4geWFuZyBkaWhhcmFwa2FuIHNlcGVydGkgeWFuZyBkaWt1YW50aWZpa2FzaWthbiBkYWxhbSBwZXJzYW1hYW4NCg0KJCRcUHJbKDEtaylcbXVfU1xsZXEgUyBcbGVxKDEraylcbXVfU10gXGdlcSBwLiQkDQoNClNldGVsYWggbWVuZ3VyYW5naSByYXRhLXJhdGEgZGFuIG1lbWJhZ2lueWEgZGVuZ2FuIGRldmlhc2kgc3RhbmRhciwNCg0KJCRcUHJcbGVmdFtcZnJhY3sta1xtdV9TfXtcc2lnbWFfU31cbGVxIChTLVxtdV9TKS9cc2lnbWFfUyBcbGVxIFxmcmFje2tcbXVfU317XHNpZ21hX1N9XHJpZ2h0XSBcZ2VxIHAgLiQkDQoNClNlcGVydGkgeWFuZyBkaWxha3VrYW4gcGFkYSBiYWdpYW4gc2ViZWx1bW55YSwgZGlhc3Vtc2lrYW4gYmFod2EgZGlzdHJpYnVzaSAkKFMtXG11X1MpL1xzaWdtYV9TJCBhZGFsYWggc3RhbmRhciBub3JtYWwgZGFuICRrXG11X1MvXHNpZ21hX1M9eV9wPVxQaGleey0xfSgocCsxKS8yKSQuIFBlcnNhbWFhbiBpbmkgZGFwYXQgZGl0dWxpcyB1bGFuZyBzZWJhZ2FpICRcbXVfU14yPSh5X3AvayleMlxzaWdtYV9TXjIkLiBEZW5nYW4gbWVuZ2d1bmFrYW4gcnVtdXMgc2ViZWx1bW55YSB1bnR1ayAkzrxfUyQgZGFuICRcc2lnbWFfe1N9XjIkLCBtYWthIGRpZGFwYXRrYW4gJChcbXVfTlxtdV9YKV4yPSh5X3AvayleMihcbXVfTlxzaWdtYV57Mn1fWCtcbXVeezJ9X1hcc2lnbWFeezJ9X04pJC4gRGVuZ2FuIG1lbWJhZ2kga2VkdWEgc2lzaSBkZW5nYW4gJFxtdV9OXG11X1heMiQgZGFuIG1lbmd1cnV0a2FuIHNpc2kga2FuYW4sIG1ha2EgZGlkYXBhdGthbiBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCAkbl9TJCB1bnR1ayBrZXJ1Z2lhbiBhZ3JlZ2F0Lg0KDQokJFxiZWdpbntlcXVhdGlvbn0NCm5fUz1cbGVmdChcZnJhY3t5X3B9e2t9XHJpZ2h0KV4yXGxlZnRbXGxlZnQoXGZyYWN7XHNpZ21hX05eMn17XG11X059XHJpZ2h0KStcbGVmdChcZnJhY3tcc2lnbWFfWH17XG11X1h9XHJpZ2h0KV4yXHJpZ2h0XT1cbGFtYmRhX3trcH1cbGVmdFtcbGVmdChcZnJhY3tcc2lnbWFfTl4yfXtcbXVfTn1ccmlnaHQpK1xsZWZ0KFxmcmFje1xzaWdtYV9YfXtcbXVfWH1ccmlnaHQpXjJccmlnaHRdLg0KXHRhZ3s5LjV9DQpcZW5ke2VxdWF0aW9ufSQkDQoNCioqQ29udG9oIDkuMi41KiouIEp1bWxhaCBrbGFpbSBtZW1pbGlraSBkaXN0cmlidXNpIFBvaXNzb24uIEp1bWxhaCBrZXJ1Z2lhbiBpbmRpdmlkdSBkaWRpc3RyaWJ1c2lrYW4gc2VjYXJhIGluZGVwZW5kZW4gZGFuIGlkZW50aWsgZGVuZ2FuIGRpc3RyaWJ1c2kgUGFyZXRvICRGKHgpPTEtW1x0aGV0YS8oeCtcdGhldGEpXV57XGFscGhhfSQuIEp1bWxhaCBrbGFpbSBkYW4ganVtbGFoIGtlcnVnaWFuIGFkYWxhaCBpbmRlcGVuZGVuLiBKaWthIGtlcnVnaWFuIGFncmVnYXQgeWFuZyBkaWFtYXRpIGhhcnVzIGJlcmFkYSBkYWxhbSA1JSBkYXJpIG5pbGFpIHlhbmcgZGloYXJhcGthbiBkZW5nYW4gcHJvYmFiaWxpdGFzICRwPTAuOTUkLCBiZXJhcGEgYmFueWFrIGtlcnVnaWFuIHlhbmcgZGlwZXJsdWthbiB1bnR1ayBrcmVkaWJpbGl0YXMgcGVudWg/DQoNCioqU29sdXNpKiouIEthcmVuYSBqdW1sYWgga2xhaW0gYmVyZGlzdHJpYnVzaSBQb2lzc29uLCBtYWthICQoXHNpZ21hX05eMi9cbXVfTik9MSQuIFJhdGEtcmF0YSBkYXJpIGRpc3RyaWJ1c2kgUGFyZXRvIGFkYWxhaCAkXG11X1g9XHRoZXRhLyhcYWxwaGEtMSkkIGRhbiB2YXJpYW5zaW55YSBhZGFsYWggJFxzaWdtYV9YXjI9XHRoZXRhXnsyfVxhbHBoYS9bKFxhbHBoYS0xKV57Mn0oXGFscGhhLTIpXSQsIHNlaGluZ2dhICQoXHNpZ21hX1gvXG11X1gpXjI9XGFscGhhLyhcYWxwaGEtMikkLiBNZW5nZ2FidW5na2FuIGlzdGlsYWggZnJla3VlbnNpIGRhbiBzZXZlcml0eSBtZW1iZXJpa2FuICRbKFxzaWdtYV9OXjIvXG11X04pKyhcc2lnbWFfWC9cbXVfWCleMl09MihcYWxwaGEtMSkvKFxhbHBoYS0yKSQuIERhcmkgdGFiZWwgZGlzdHJpYnVzaSBub3JtYWwgc3RhbmRhciwgZGlkYXBhdGthbiAkeV9wPVxQaGleey0xfSgoMC45NSsxKS8yKT0xLjk2MCQuIFN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoIGFkYWxhaCAkbl9TPSgxLjk2LzAuMDUpXnsyfVsyKFxhbHBoYS0xKS8oXGFscGhhLTIpXT0zLDA3My4yOChcYWxwaGEtMSkvKFxhbHBoYS0yKSQuIEppa2EgJM6xPTMkIG1ha2EgJG5fUz02LDE0Ni41NiQgdW50dWsgc3RhbmRhciBrcmVkaWJpbGl0YXMgcGVudWggc2ViZXNhciA2LjE0Ny4gUGVybHUgZGlwZXJoYXRpa2FuIGJhaHdhIGp1bWxhaCBrbGFpbSB5YW5nIGphdWggbGViaWggYmFueWFrIGRpcGVybHVrYW4gdW50dWsga3JlZGliaWxpdGFzIHBlbnVoIHVudHVrIGtlcnVnaWFuIGFncmVnYXQgZGliYW5kaW5na2FuIGRlbmdhbiBmcmVrdWVuc2kgc2FqYS4NCg0KIyMgOS4yLjMgS3JlZGliaWxpdGFzIFBlbnVoIHVudHVrIFRpbmdrYXQgS2VwYXJhaGFuDQoNCk1pc2Fsa2FuIFggYWRhbGFoIHZhcmlhYmVsIGFjYWsgeWFuZyBtZXJlcHJlc2VudGFzaWthbiBiZXNhcm55YSBzYXR1IGtsYWltLiBTZXZlcml0eSBrbGFpbSBhZGFsYWggJFxtdV9YPVxtYXRocm17RX0oWCkkLiBBbmdnYXBsYWggJHtYXzEsWF8yLCBcbGRvdHMsIFhfbn0kIGFkYWxhaCBzYW1wZWwgYWNhayBkYXJpIG4ga2xhaW0geWFuZyBha2FuIGRpZ3VuYWthbiB1bnR1ayBtZW5nZXN0aW1hc2kgc2V2ZXJpdHkga2xhaW0gJM68X1gkLiBLbGFpbS1rbGFpbSB0ZXJzZWJ1dCBkaWFzdW1zaWthbiBpaWQuIE5pbGFpIHJhdGEtcmF0YSBkYXJpIHNhbXBlbCBhZGFsYWgNCg0KJCRcYmFye1h9PVxmcmFjezF9e259XGxlZnQoWF8xK1hfMitcY2RvdHMrWF9uXHJpZ2h0KS4kJA0KDQpTZWJlcmFwYSBiZXNhciBuaWxhaSBuIHlhbmcgZGlwZXJsdWthbiB1bnR1ayBtZW5kYXBhdGthbiBlc3RpbWFzaSB5YW5nIGJhaWs/IFBlcmhhdGlrYW4gYmFod2EgbiBidWthbmxhaCB2YXJpYWJlbCBhY2FrIHNlZGFuZ2thbiBkaSBtb2RlbCBrZXJ1Z2lhbiBhZ3JlZ2F0IGlhIGFkYWxhaCB2YXJpYWJlbCBhY2FrLg0KDQpQYWRhIEJhZ2lhbiA5LjIuMSwgYWt1cmFzaSBzZWJ1YWggZXN0aW1hdG9yIHVudHVrIGZyZWt1ZW5zaSBkaWRlZmluaXNpa2FuIGRlbmdhbiBtZW5lbnR1a2FuIGFnYXIganVtbGFoIGtsYWltIGJlcmFkYSBkaSBkYWxhbSBpbnRlcnZhbCB0ZXJ0ZW50dSBzZWtpdGFyIHJhdGEtcmF0YSBqdW1sYWgga2xhaW0gZGVuZ2FuIHByb2JhYmlsaXRhcyB0ZXJ0ZW50dS4gVW50dWsgc2V2ZXJpdHksIHBlcnN5YXJhdGFuIGluaSBhZGFsYWgNCg0KJCRcUHJbKDEtaylcbXVfWFxsZXEgXGJhcntYfSBcbGVxKDEraylcbXVfWCBdXGdlcSBwICwkJA0KDQpkaW1hbmEgJGskIGRhbiAkcCQgaGFydXMgZGl0ZW50dWthbi4gRGVuZ2FuIG1lbmdpa3V0aSBsYW5na2FoLWxhbmdrYWggcGFkYSBCYWdpYW4gOS4yLjEsIHJhdGEtcmF0YSBzZXZlcml0eSBrbGFpbSAkzrxfWCQgZGlrdXJhbmdpIGRhcmkgc2V0aWFwIHRlcm1pbiBkYW4gc2ltcGFuZ2FuIGJha3UgZXN0aW1hdG9yIHNldmVyaXR5IGtsYWltICRcc2lnbWFfe1xiYXJ7WH19JCBkaWJhZ2kga2UgZGFsYW0gc2V0aWFwIHRlcm1pbiBzZWhpbmdnYSBkaXBlcm9sZWgNCg0KJCRcUHJcbGVmdFtcZnJhY3sta35cbXVfWH17XHNpZ21hX3tcYmFye1h9fX1cbGVxIChcYmFye1h9LVxtdV9YKS9cc2lnbWFfe1xiYXJ7WH19IFxsZXEgXGZyYWN7a35cbXVfWH17XHNpZ21hX3tcYmFye1h9fX1ccmlnaHRdIFxnZXEgcCAuJCQNCg0KU2VwZXJ0aSBwYWRhIGJhZ2lhbiBzZWJlbHVtbnlhLCBkaWFzdW1zaWthbiBiYWh3YSAkKFxiYXJ7WH0tXG11X1gpL1xzaWdtYV97XGJhcntYfX0kIHNlY2FyYSBrYXNhciB0ZXJkaXN0cmlidXNpIG5vcm1hbCBkYW4gcGVyc2FtYWFuIHNlYmVsdW1ueWEgdGVycGVudWhpIGppa2EgJGtcbXVfWC9cc2lnbWFfe1xiYXJ7WH19XGdlcSB5X3AkIGRlbmdhbiAkeV9wPVxQaGleey0xfSgocCsxKS8yKSQuIEthcmVuYSAkXGJhcntYfSQgYWRhbGFoIHJhdGEtcmF0YSBrbGFpbSBpbmRpdmlkdWFsICRYXzEsIFhfMixcZG90cywgWF9uJCwgc2ltcGFuZ2FuIGJha3UgWMKvIHNhbWEgZGVuZ2FuIHNpbXBhbmdhbiBiYWt1IGtsYWltIGluZGl2aWR1YWwgZGliYWdpICRcc2lnbWFfe1xiYXJ7WH19PVxzaWdtYV9YL1xzcXJ0e259JC4gU2VoaW5nZ2EsICRrXG11X1gvKFxzaWdtYV9YL1xzcXJ0e259KVxnZXEgeV9wJCBkYW4gZGVuZ2FuIHNlZGlraXQgYWxqYWJhciwgcGVyc2FtYWFuIGluaSBkYXBhdCBkaXR1bGlza2FuIHVsYW5nIHNlYmFnYWkgJG4gXGdlcSAoeV9wL2spXjIoXHNpZ21hX1gvXG11X1gpXjIkLiBTdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCB1bnR1ayBrZXBhcmFoYW4gYWRhbGFoDQoNCiQkXGJlZ2lue2VxdWF0aW9ufQ0Kbl9YPVxsZWZ0KFxmcmFje3lfcH17a31ccmlnaHQpXjJcbGVmdChcZnJhY3tcc2lnbWFfWH17XG11X1h9XHJpZ2h0KV4yPVxsYW1iZGFfe2twfVxsZWZ0KFxmcmFje1xzaWdtYV9YfXtcbXVfWH1ccmlnaHQpXjIuDQpcdGFnezkuNn0NClxlbmR7ZXF1YXRpb259JCQNCg0KUGVyaGF0aWthbiBiYWh3YSBpc3RpbGFoICRcc2lnbWFfWC9cbXVfWCQgYWRhbGFoIGtvZWZpc2llbiB2YXJpYXNpIHVudHVrIGtsYWltIGluZGl2aWR1YWwuIE1lc2tpcHVuICRcbGFtYmRhX3trcH0kIGFkYWxhaCBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCB1bnR1ayBmcmVrdWVuc2kgZGVuZ2FuIGRpYXN1bXNpa2FuIGRpc3RyaWJ1c2kgUG9pc3NvbiwgdGlkYWsgYWRhIGFzdW1zaSB0ZW50YW5nIGRpc3RyaWJ1c2kgdW50dWsganVtbGFoIGtsYWltLg0KDQoqKkNvbnRvaCA5LjIuNioqLiBCZXNhcmFuIGtsYWltIGluZGl2aWR1YWwgZGlkaXN0cmlidXNpa2FuIHNlY2FyYSBpbmRlcGVuZGVuIGRhbiBpZGVudGlrIGRlbmdhbiBkaXN0cmlidXNpIFBhcmV0byBUaXBlICRGKHgpPTEtW1x0aGV0YS8oeCtcdGhldGEpXV57XGFscGhhfSQuIEJlcmFwYSBiYW55YWsga2xhaW0geWFuZyBkaWJ1dHVoa2FuIGFnYXIgcmF0YS1yYXRhIGtlcGFyYWhhbiBrbGFpbSB5YW5nIGRpYW1hdGkgYmVyYWRhIGRhbGFtIDUlIGRhcmkgbmlsYWkgaGFyYXBhbiBkZW5nYW4gcHJvYmFiaWxpdGFzICRwPTAuOTUkPw0KDQoqKlNvbHVzaSoqLiBSYXRhLXJhdGEgUGFyZXRvIGFkYWxhaCAkXG11X1g9XHRoZXRhLyhcYWxwaGEtMSkkIGRhbiB2YXJpYW5zbnlhIGFkYWxhaCAkXHNpZ21hX1heMj1cdGhldGFeezJ9XGFscGhhL1soXGFscGhhLTEpXnsyfShcYWxwaGEtMildJCBzZWhpbmdnYSAkKFxzaWdtYV9YL1xtdV9YKV4yPVxhbHBoYS8oXGFscGhhLTIpJC4gRGFyaSB0YWJlbCBkaXN0cmlidXNpIG5vcm1hbCBzdGFuZGFyLCBraXRhIGRhcGF0IG1lbmdndW5ha2FuICR5X3A9XFBoaV57LTF9KCgwLjk1KzEpLzIpPTEuOTYwJC4gU3RhbmRhciBrcmVkaWJpbGl0YXMgcGVudWggYWRhbGFoICRuX1g9KDEuOTYvMC4wNSleezJ9W1xhbHBoYS8oXGFscGhhLTIpXT0xLDUzNi42NFxhbHBoYS8oXGFscGhhLTIpJC4gTWlzYWxrYW4gJM6xPTMkIG1ha2EgJG5fWD00LDYwOS45MiQgdW50dWsgc3RhbmRhciBrcmVkaWJpbGl0YXMgcGVudWggc2ViZXNhciA0LjYxMC4NCg0KIyMgOS4yLjQgS3JlZGliaWxpdGFzIHBhcnNpYWwNCg0KUGFkYSBiYWdpYW4gc2ViZWx1bW55YSwgc3RhbmRhciBrcmVkaWJpbGl0YXMgcGVudWggZGloaXR1bmcgdW50dWsgbWVtcGVya2lyYWthbiBmcmVrdWVuc2kgKCRuX2YkKSwgcHJlbWkgbXVybmkgKCRuX3tQUH0kKSwgZGFuIHRpbmdrYXQga2VwYXJhaGFuICgkbl9YJCkgLSBwYWRhIGJhZ2lhbiBpbmksIHN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoIGluaSBha2FuIGRpdGFuZGFpIGRlbmdhbiAkbl8wJC4gRGFsYW0gc2V0aWFwIGthc3VzLCBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aCBhZGFsYWgganVtbGFoIGtsYWltIHlhbmcgZGloYXJhcGthbiB1bnR1ayBtZW5jYXBhaSB0aW5na2F0IGFrdXJhc2kgdGVydGVudHUgc2FhdCBtZW5nZ3VuYWthbiBkYXRhIGVtcGlyaXMgdW50dWsgbWVtcGVya2lyYWthbiBuaWxhaSB5YW5nIGRpaGFyYXBrYW4uIEppa2EganVtbGFoIGtsYWltIHlhbmcgZGlhbWF0aSBsZWJpaCBiZXNhciBhdGF1IHNhbWEgZGVuZ2FuIHN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoLCBtYWthIGJvYm90IGtyZWRpYmlsaXRhcyBwZW51aCAkWiA9IDEkIGRpYmVyaWthbiBwYWRhIGRhdGEuDQoNCkRhbGFtIGtyZWRpYmlsaXRhcyBmbHVrdHVhc2kgdGVyYmF0YXMsIGJvYm90IGtyZWRpYmlsaXRhcyAkWiQgeWFuZyBkaXR1Z2Fza2FuIHBhZGEgZGF0YSBhZGFsYWg6DQoNCiQkWj0NClxsZWZ0XHsNClxiZWdpbnthcnJheX17bGx9DQpcc3FydHtuIC9uX3swfX0gJlx0ZXh0cm17aWYgfSAgIG4gPCBuX3swfSBcXCANCjEgJiBcdGV4dHJte2lmIH0gICBuIFxnZSBuX3swfSAsDQpcZW5ke2FycmF5fQ0KXHJpZ2h0LiQkDQoNCkRpIG1hbmEgJG5fMCQgbWVydXBha2FuIHN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoLiBKdW1sYWgga2xhaW0gJG4kIG1lcnVwYWthbiBqdW1sYWgga2xhaW0gdW50dWsgZGF0YSB5YW5nIGRpZ3VuYWthbiB1bnR1ayBtZW1wZXJraXJha2FuIGZyZWt1ZW5zaSB5YW5nIGRpaGFyYXBrYW4sIHRpbmdrYXQga2VwYXJhaGFuLCBhdGF1IHByZW1pIG11cm5pLg0KDQoqKkNvbnRvaCA5LjIuNyoqLiBKdW1sYWgga2xhaW0gbWVtaWxpa2kgZGlzdHJpYnVzaSBQb2lzc29uLiBKdW1sYWgga2VydWdpYW4gaW5kaXZpZHUgZGlkaXN0cmlidXNpa2FuIHNlY2FyYSBpbmRlcGVuZGVuIGRhbiBpZGVudGlrIGRlbmdhbiBkaXN0cmlidXNpIFBhcmV0byBUaXBlIElJICRGKHgpPTEtW1x0aGV0YS8oeCtcdGhldGEpXV57XGFscGhhfSQuIERhbGFtIGhhbCBpbmksICTOsT0zJC4gSnVtbGFoIGtsYWltIGRhbiBqdW1sYWgga2VydWdpYW4gYWRhbGFoIGluZGVwZW5kZW4uIFN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoIGFkYWxhaCBiYWh3YSBwcmVtaSBtdXJuaSB5YW5nIGRpYW1hdGkgaGFydXMgYmVyYWRhIGRhbGFtIDUlIGRhcmkgbmlsYWkgeWFuZyBkaWhhcmFwa2FuIGRlbmdhbiBwcm9iYWJpbGl0YXMgJHA9MC45NSQuIEJlcmFwYSBrcmVkaWJpbGl0YXMgJFokIHlhbmcgZGliZXJpa2FuIHVudHVrIHByZW1pIG11cm5pIHlhbmcgZGloaXR1bmcgZGFyaSAxLjAwMCBrbGFpbT8NCg0KKipTb2x1c2kqKi4gS2FyZW5hIGp1bWxhaCBrbGFpbSBhZGFsYWggUG9pc3NvbiwNCiQkXGZyYWN7XG1hdGhybXtFfShYXjIpfXtbXG1hdGhybXtFfX4oWCldXjJ9DQo9XGZyYWN7XHNpZ21hX05eMn17XG11X059K1xsZWZ0KFxmcmFje1xzaWdtYV9YfXtcbXVfWH1ccmlnaHQpXjIuJCQNClJhdGEtcmF0YSBkYXJpIFBhcmV0byBhZGFsYWggJM68WD3OuC8ozrHiiJIxKSQgZGFuIG1vbWVuIGtlZHVhIGFkYWxhaCAkXG1hdGhybXtFfShYXjIpPTJcdGhldGFeezJ9L1soXGFscGhhLTEpKFxhbHBoYS0yKV0kIHNlaGluZ2dhICRcbWF0aHJte0V9KFheMikvW1xtYXRocm17RX1+KFgpXV4yPTIoXGFscGhhLTEpLyhcYWxwaGEtMikkLiBEYXJpIHRhYmVsIGRpc3RyaWJ1c2kgbm9ybWFsIHN0YW5kYXIsICR5X3A9XFBoaV57LTF9KCgwLjk1KzEpLzIpPTEuOTYwJC4gU3RhbmRhciBrcmVkaWJpbGl0YXMgcGVudWggYWRhbGFoDQokJG5fe1BQfT0oMS45Ni8wLjA1KV57Mn1bMihcYWxwaGEtMSkvKFxhbHBoYS0yKV09MywwNzMuMjgoXGFscGhhLTEpLyhcYWxwaGEtMikkJCBkYW4gamlrYSAkzrE9MyQsIG1ha2EgJG5fMD1uX3tQUH09NiwxNDYuNTYkIGF0YXUgNi4xNDcgamlrYSBkaWJ1bGF0a2FuIGtlIGF0YXMuIEtyZWRpYmlsaXRhcyB5YW5nIGRpYmVyaWthbiB1bnR1ayAxLjAwMCBrbGFpbSBhZGFsYWggJFo9KDEsMDAwLzYsMTQ3KV57MS8yfT0wLjQwJC4NCg0KS3JlZGliaWxpdGFzIGZsdWt0dWFzaSB0ZXJiYXRhcyBtZW5nZ3VuYWthbiBydW11cyAkWj1cc3FydHtuL25fMH0kIHVudHVrIG1lbWJhdGFzaSBmbHVrdHVhc2kgZGFsYW0gcGVya2lyYWFuIHlhbmcgZGlib2JvdGkga3JlZGliaWxpdGFzIHVudHVrIHNlc3VhaSBkZW5nYW4gZmx1a3R1YXNpIHlhbmcgZGlpemlua2FuIHVudHVrIGRhdGEgZGVuZ2FuIGp1bWxhaCBrbGFpbSB5YW5nIGRpaGFyYXBrYW4gcGFkYSBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aC4gVmFyaWFucyBhdGF1IHNpbXBhbmdhbiBiYWt1IGRpZ3VuYWthbiBzZWJhZ2FpIHVrdXJhbiBmbHVrdHVhc2kuIFNlbGFuanV0bnlhLCBrYW1pIGFrYW4gbWVudW5qdWtrYW4gY29udG9oIHVudHVrIG1lbmplbGFza2FuIG1lbmdhcGEgcnVtdXMgYWthciBrdWFkcmF0IGRpZ3VuYWthbi4NCg0KTWlzYWxrYW4gdGluZ2thdCBrZXBhcmFoYW4ga2xhaW0gcmF0YS1yYXRhIHNlZGFuZyBkaWVzdGltYXNpIGRhcmkgc2FtcGVsIHVrdXJhbiAkbiQgeWFuZyBsZWJpaCBrZWNpbCBkYXJpIHN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoICRuXzA9bl9YJC4gRGVuZ2FuIG1lbmVyYXBrYW4gdGVvcmkga3JlZGliaWxpdGFzLCBwZXJraXJhYW4gJFxoYXR7XG11fV9YJCBha2FuIG1lbmphZGk6DQoNCg0KJCRcaGF0e1xtdX1fWD1aXGJhcntYfSsoMS1aKU1fWCAsJCQNCg0KZGVuZ2FuICRcYmFye1h9PShYXzErWF8yK1xjZG90cytYX24pL24kIGRhbiB2YXJpYWJlbCBhY2FrIGlpZCAkWF9pJCB5YW5nIG1ld2FraWxpIHVrdXJhbiBrbGFpbSBpbmRpdmlkdS4gS3JlZGliaWxpdGFzIGtvbXBsZW1lbnRlciBkaXRlcmFwa2FuIHBhZGEgJE1fWCQgeWFuZyBiaXNhIG1lbmphZGkgcGVya2lyYWFuIHRpbmdrYXQga2VwYXJhaGFuIHJhdGEtcmF0YSB0YWh1biBsYWx1IHlhbmcgZGlzZXN1YWlrYW4gZGVuZ2FuIGluZmxhc2ksIHJhdGEtcmF0YSB0aW5na2F0IGtlcGFyYWhhbiB1bnR1ayBrdW1wdWxhbiByaXNpa28geWFuZyBqYXVoIGxlYmloIGJlc2FyLCBhdGF1IGt1YW50aXRhcyByZWxldmFuIGxhaW5ueWEgeWFuZyBkaXBpbGloIG9sZWggYWt0dWFyaXMuIERpYXN1bXNpa2FuIGJhaHdhIHZhcmlhbnMgZGFyaSAkTV9YJCBhZGFsYWggbm9sIGF0YXUgYmlzYSBkaWFiYWlrYW4uIERlbmdhbiBhc3Vtc2kgaW5pLA0KDQokJFxtYXRocm17VmFyfShcaGF0e1xtdX1fWCk9XG1hdGhybXtWYXJ9KFpcYmFye1h9KT1aXjJcbWF0aHJte1Zhcn0oXGJhcntYfSk9XGZyYWN7bn17bl8wfVxtYXRocm17VmFyfShcYmFye1h9KS4kJA0KDQpLYXJlbmEgJFxiYXJ7WH09KFhfMStYXzIrXGNkb3RzK1hfbikvbiQgbWFrYSBiZXJsYWt1IGJhaHdhICRcbWF0aHJte1Zhcn0oXGJhcntYfSk9XG1hdGhybXtWYXJ9KFhfaSkvbiQgZGkgbWFuYSB2YXJpYWJlbCBhY2FrICRYX2kkIGFkYWxhaCBzYXR1IGtsYWltLiBPbGVoIGthcmVuYSBpdHUsDQoNCiQkXG1hdGhybXtWYXJ9KFxoYXR7XG11fV9YKT1cZnJhY3tufXtuXzB9XG1hdGhybXtWYXJ9KFxiYXJ7WH0pPVxmcmFje259e25fMH1cZnJhY3tcbWF0aHJte1Zhcn0oWF9pKX17bn09XGZyYWN7XG1hdGhybXtWYXJ9KFhfaSl9e25fMH0uJCQNCg0KVGVybSB0ZXJha2hpciBhZGFsYWggdmFyaWFucyB0ZXBhdCBkYXJpIHJhdGEtcmF0YSBzYW1wZWwgJFxiYXJ7WH0kIGtldGlrYSB1a3VyYW4gc2FtcGVsIHNhbWEgZGVuZ2FuIHN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoICRuXzA9bl9YJC4NCg0KIyBMaW5rIFZpZGVvDQoNCmh0dHBzOi8vZHJpdmUuZ29vZ2xlLmNvbS9maWxlL2QvMUtWX0VSVFltaTNKUDU4bjc1RDhwNHV5d0N1eERjcWU1L3ZpZXc/dXNwPXNoYXJpbmcNCg==
