Teori Resiko

~ Tugas Teori Resiko ~


Kontak : \(\downarrow\)
Email
Instagram https://www.instagram.com/dsciencelabs/
RPubs https://rpubs.com/dsciencelabs/

Bayesian Inference and Bühlmann Credibility

Pada subbab ini, saya akan menjelaskan konsep teorema bayes, menentukan distribusi posterior untuk model bayesian gamma poisson dan beta binomial serta memahami hubungan antara estimasi Bühlmann dan Bayesian untuk model gamma-Poisson dan beta-binomial.
Resiko dengan parameter risiko \(\theta\) memiliki kerugian yang diharapkan \(\mu (\theta) = E(X|\theta)\) dengan random variabel \(X\) sebagai pure premium, aggregate loss, number of claims, claim severity atau beberapa ukuran kerugian lainnya selama periode waktu tertentu. Jika risiko memiliki \(N\) kerugian \(X_1,...,X_n\) selama n dipisahkan pada periode waktu, maka kerugian yang didapat dapat diasumsikan menjadi \(iid\) untuk setiap pemegang polis dan \(\mu(\theta)=E(X_i|\theta)\) untuk \(i=1,...,n\).
Jika resiko memiliki \(n\) kerugian \(x_1,...,x_n\) maka \(E(\mu(\theta)|x_1,...,x_n)\): \[ E(\mu(\theta)|x_1,...,x_n)= \int \mu( \theta )\pi(\theta|x_1,...,x_n)d\theta \] \[ \mu(\theta)=E(X|\theta)=\int xf(x|\theta)dx \]

Maka, distribusi posterior untuk teorema bayes adalah \[ \pi(\theta|x_1,...,x_n)=\frac{\sqcap^{n}_{j=1}f(x_j|\theta)}{f(x_1,...,x_n)}\pi(\theta) \]

\(\sqcap^{n}_{j=1}f(x_j|\theta)\) berada di right-hand side yang disebut dengan kemungkinan dan \(f(x_1,...,x_n)\) adalah joint density function untuk \(n\) kerugian \(x_1,...,x_n\).

Gamma Poisson

Pada model ini, angka pada klaim \(X\) memiliki distribusi poisson \(Pr(X=x|\lambda)=\lambda^xe^{-\lambda}/x!\) untuk resiko dengan resiko parameter \(\lambda\). Mean pada model ini adalah \(E(\lambda)=\alpha/\beta\) dengan varians \(Var(\lambda)=\alpha/\beta^2\). Pada sesi ini kita akan mengasumsikan \(\lambda\) sebagai ekspetasi angka untuk klaim per tahun yang akan kita pilih pada interval waktu yang berbeda.
Jika resiko memilih secara acak pada populasi kemudian ekspetasi sebuah klaim dalam 1 tahun adalah \(E(N)=E(E[N|\lambda])=E(\lambda)=\alpha/\beta\). Jika kita tidak memiliki ibservasi terhadap resiko yang dipilih maka ekspetasi untuk sebuah klaim pada resiko adalah \(\alpha/\beta\).
Selama \(n\) tahun, angka untuk setiap klaim setiap tahunnya di observasi secara acak berdasarkan resiko \(x_1,...,x_n\). Maka, teorema bayesnya untuk distribusi posterior adalah \[ \pi(\lambda|x_1,...,x_n)=\frac{\sqcap^{n}_{j=1}(\lambda^{x_j}e^{-\lambda}/x_j!)}{Pr(X_1=x_1,...,X_n)=x_n)}\beta^\alpha \lambda^{\alpha-1}e^{-\beta\lambda}/\gamma(\alpha) \] Jika dikombinasikan dengan \(\lambda\) dan gabungkan semua dalam konstan \(C\) maka, \[ \pi(\lambda|x_1,...,x_n)=C\lambda^{\alpha+\sum^{n}_{j=1}x_j-1}e^{-(\beta+n)\lambda} \]

Beta-Binomial Model

Model ini berguna untuk memodelkan probabilitas suatu event. Kita asumsikan bahwa random variabel \(X\) adalah angka kesuksesan untuk percobaan ke- \(n\) dan \(X\) adalah binomial distribusi \(Pr(X=x|p)=(^n_x)p^x(1-p)^{n-x}\). Dalam model ini distribusi untuk probabilitas \(p\) adalah distribusi beta dengan \(pdf\) \[ \pi(p)=\frac{\gamma(\alpha+\beta)}{\gamma(\alpha)+\gamma(\beta)}p^{\alpha-1}(1-p)^{\beta-1},0<p<1,\alpha>o,\beta>0 \] distribusi posterior untuk \(p\) diberikan hasil untuk \(x\) sukses dalam percobaan ke- \(n\) adalah \[ \pi(p|x)=\frac{\gamma(\alpha+\beta)}{\gamma(\alpha)\gamma(\beta)}p^{\alpha-1}(1-p)^{\beta-1}, o<p<1, \alpha>0,\beta>0 \]

Mengkombinasikan persamaan diatas yang memiliki \(p\) dsan gabung semuanya dalam konstan \(C\) sebagai \[ \pi(p|x)=Cp^{\alpha+x-1}(1-p)^{\beta+(n-x)-1} \] Ini adalah distribusi beta dengan parameter baru \(\alpha'=\alpha+x\) dan \(\beta'=\beta+(n-x)\). Jadi konstannya adalah \[ C=\frac{\gamma(\alpha+\beta+n)}{\gamma(\alpha+x)\gamma(\beta+n-x)} \]

Mean untuk distribusi beta dengan parameter \(\alpha\) dan \(\beta\) adalah \(E(p)=\alpha/(\alpha+\beta)\). Jika \(x\) sukes pada percobaan ke- \(n\) pada model beta-binomial maka mean untuk distribusi posterior adalah \[ E(p|x)=\frac{\alpha+x}{\alpha+\beta+n} \] angka pada percobaan ke- \(n\) dan sukses x meningkat maka ekspetasi value untuk pendekatan \(p\) adalah \(x/n\).

Exact Credibility

estimasi kredibilitas Bühlmann untuk model gamma-Poisson dan beta-binomial sama persis dengan hasil analisis Bayesian. Istilah kredibilitas yang tepat diterapkan dalam situasi ini. Kredibilitas yang tepat dapat terjadi jika distribusi probabilitas untuk XJ adalah dalam keluarga eksponensial linier dan distribusi sebelumnya adalah konjugasi sebelumnya. Selain kedua model tersebut, contoh kredibilitas eksak juga mencakup model Gamma-Exponential dan Normal-Normal model.

Estimating Credibility Parameters

Pada subbab ini, saya kan menjelaskan tentang estimasi non parametrik dengan model kredibilitas Bühlmann dan Bühlmann-Straub, mengidentifikasi situasi ketika estimasi semiparametrik sesuai, menggunakan data untuk memperkirakan \(EPV\) dan \(VHM\) dan menyeimbangkan estimasi dengan bobot kredibilitas.

Full Credibility Standard for Limited Fluctuation Credibility

Limited-fluctuation credibility membutuhkan standar kredibilitas penuh. Rumus umum untuk kerugian agregat atau premi murni sebagai berikut,

$$

N_s=()^2[()+(()^2)]

$$

dengan \(N\) mewakili jumlah klaim dan \(X\) besarnya klaim. Jika seseorang berasumsi \(\sigma X=0\) kemudian standar kredibilitas penuh untuk hasil frekuensi. Jika $ N = 0$ maka rumus kredibilitas penuh untuk keparahan berikut. Kemungkinan P Dan k nilai sering dipilih menggunakan pertimbangan dan pengalaman.

Nonparametric Estimation for Bühlmann and Bühlmann-Straub Models

Analisis Bayesian seperti yang dijelaskan sebelumnya membutuhkan asumsi tentang distribusi dan kemungkinan sebelumnya. Hal ini dimungkinkan untuk menghasilkan perkiraan tanpa asumsi ini dan metode ini sering disebut sebagai metode Bayes empiris . Kredibilitas Bühlmann dan Bühlmann-Straub dengan parameter yang diestimasi dari data termasuk dalam kategori metode Bayes empiris.
Pertama kita akan membuat asumsi sederhana pada model Bühlmann. Asumsikan bahwa \(r\) resiko dalam sebuah populasi. Untuk resiko \(i\) dengan resiko parameter \(\theta_i\) kerugian untuk periode ke - \(n\) dengan \(X_{i1},...,X_{in}\). Kerugian untuk risiko yang diberikan adalah \(iid\) sepanjang periode seperti yang diasumsikan dalam model Bühlmann. Untuk resiko \(i\) dengan sampel mean nya adalah \(X-_i=\sum^n_{j=1}X_{ij}/n\) dan unbiased proses sampel varians nya adalah \(s^2_i=\sum^n_{j=1}(X_{ij}-x-_i)^2/(n-1)\). Estimasi unbiaes untuk EPV bisa dihitung dengan average \(s^2_i\) untuk resiko populasi:

function

Resiko tunggal menas \(X_i\) untuk \(i=1,...,r\) bisa digunakan untuk mengestimasi VHM.

function


Example: Dua pemegang polis memiliki klaim selama periode tiga tahun seperti yang ditunjukkan pada tabel di bawah ini. Perkirakan jumlah klaim yang diharapkan untuk setiap pemegang polis menggunakan kredibilitas Bühlmann dan hitung parameter yang diperlukan dari data tersebut.

example

Semiparametric Estimation for Bühlmann and Bühlmann-Straub Models

Contoh estimasi semiparametrik adalah asumsi distribusi Poisson saat memperkirakan frekuensi klaim. Distribusi Poisson memiliki sifat bahwa rata-rata dan variannya identik dan sifat ini dapat mempermudah perhitungan. Contoh sederhana berikut berasal dari bagian sebelumnya tetapi sekarang termasuk asumsi Poisson tentang frekuensi klaim.
Contoh: Dua pemegang polis memiliki klaim selama periode tiga tahun seperti yang ditunjukkan pada tabel di bawah ini. Asumsikan bahwa jumlah klaim untuk setiap risiko berdistribusi Poisson. Perkirakan jumlah klaim yang diharapkan untuk setiap pemegang polis menggunakan kredibilitas Bühlmann dan hitung parameter yang diperlukan dari data tersebut.

function

Balancing Credibility Estimators

Model tertimbang kredibilitas \(\mu(\theta_i)=Z_iX_i+(1-Z_i)\) dimana \(X_i\) adalah kerugian per eksposur untuk risk dan \(X\) adalah kerugian untuk per eksposur populasi, jadi bisa digunakan untuk mengestimasi ekspetasi kerugian untuk resiko \(i\).
Agar estimator bobot kredibilitas seimbang seperti yang kita inginkan

function

Jika persamaan ini terpenuhi maka perkiraan kerugian untuk setiap risiko akan bertambah menjadi total populasi, tujuan penting dalam pembuatan tarif, tetapi hal ini mungkin tidak terjadi jika komplemen kredibilitas diterapkan pada \(X¯\)
Untuk mencapai keseimbangan, kami akan mengatur M^X sebagai jumlah yang diterapkan pada pelengkap kredibilitas dan dengan demikian menganalisis persamaan berikut:

function dan

function

Menggunakan nilai ini untuk M^X akan membawa estimator berbobot kredibilitas menjadi seimbang.
Jumlah ketika diterapkan pada komplemen kredibilitas yang akan membawa estimator berbobot kredibilitas menjadi seimbang dengan kerugian rata-rata keseluruhan per eksposur adalah

function
Contoh: Contoh dari bagian Bühlmann-Straub nonparametrik memiliki data berikut untuk dua risiko. Temukan jumlah yang terkait dengan komplemen kredibilitas, M^X, yang akan menghasilkan estimasi berbobot kredibilitas yang seimbang.

function

LS0tDQp0aXRsZTogIlRlb3JpIFJlc2lrbyINCnN1YnRpdGxlOiAifiBUdWdhcyBUZW9yaSBSZXNpa28gfiINCnN5YnN1YnRpdGxlOiAiS2FyZW4gTmF0YWxpZSgyMDIwNDkyMDAxNSkiDQpkYXRlOiAgImByIGZvcm1hdChTeXMuRGF0ZSgpLCAnJUIgJWQsICVZJylgIg0Kb3V0cHV0OiANCiBybWRmb3JtYXRzOjpyb2JvYm9vazogICAjIGh0dHBzOi8vZ2l0aHViLmNvbS9qdWJhL3JtZGZvcm1hdHMNCiAgICBzZWN0aW9uX251bWJlcjogeWVzDQogICAgc2VsZl9jb250YWluZWQ6IHRydWUNCiAgICB0aHVtYm5haWxzOiB0cnVlDQogICAgbGlnaHRib3g6IHRydWUNCiAgICBnYWxsZXJ5OiB0cnVlDQogICAgbGliX2RpcjogbGlicw0KICAgIGRmX3ByaW50OiAicGFnZWQiDQogICAgY29kZV9mb2xkaW5nOiAic2hvdyINCiAgICBjb2RlX2Rvd25sb2FkOiB5ZXMNCiAgICBjc3M6ICJzdHlsZS5jc3MiDQotLS0NCg0KYGBge3Igc2V0dXAsIGluY2x1ZGU9RkFMU0V9DQprbml0cjo6b3B0c19jaHVuayRzZXQoY2xhc3Muc291cmNlID0gIm5vY29weSIsDQogICAgICAgICAgICAgICAgICAgICAgY2xhc3Mub3V0cHV0ID0gIm5vY29weSIsDQogICAgICAgICAgICAgICAgICAgICAgbWVzc2FnZSA9IEYsDQogICAgICAgICAgICAgICAgICAgICAgd2FybmluZyA9IEYpDQpgYGANCg0KPGJyPg0KPGltZyBzdHlsZT0iZmxvYXQ6IHJpZ2h0OyBtYXJnaW46IC01MHB4IDUwcHggMHB4IDUwcHg7IHdpZHRoOjMwJSIgc3JjPSJrYXJlbm5hdGFsaWUucG5nIi8+IA0KDQp8DQo6LS0tLSB8Oi0tLS0NCioqS29udGFrKip8ICoqOiAkXGRvd25hcnJvdyQqKg0KRW1haWx8IGRzY2llbmNlbGFic0BvdXRsb29rLmNvbQ0KSW5zdGFncmFtIHwgaHR0cHM6Ly93d3cuaW5zdGFncmFtLmNvbS9kc2NpZW5jZWxhYnMvIA0KUlB1YnMgIHwgaHR0cHM6Ly9ycHVicy5jb20vZHNjaWVuY2VsYWJzLyANCg0KKioqKg0KDQojIEJheWVzaWFuIEluZmVyZW5jZSBhbmQgQsO8aGxtYW5uIENyZWRpYmlsaXR5DQoNClBhZGEgc3ViYmFiIGluaSwgc2F5YSBha2FuIG1lbmplbGFza2FuIGtvbnNlcCB0ZW9yZW1hIGJheWVzLCBtZW5lbnR1a2FuIGRpc3RyaWJ1c2kgcG9zdGVyaW9yIHVudHVrIG1vZGVsIGJheWVzaWFuIGdhbW1hIHBvaXNzb24gZGFuIGJldGEgYmlub21pYWwgc2VydGEgbWVtYWhhbWkgaHVidW5nYW4gYW50YXJhIGVzdGltYXNpIELDvGhsbWFubiBkYW4gQmF5ZXNpYW4gdW50dWsgbW9kZWwgZ2FtbWEtUG9pc3NvbiBkYW4gYmV0YS1iaW5vbWlhbC4NCjxicj4NClJlc2lrbyBkZW5nYW4gcGFyYW1ldGVyIHJpc2lrbyAkXHRoZXRhJCBtZW1pbGlraSBrZXJ1Z2lhbiB5YW5nIGRpaGFyYXBrYW4gJFxtdSAoXHRoZXRhKSA9IEUoWHxcdGhldGEpJCBkZW5nYW4gcmFuZG9tIHZhcmlhYmVsICRYJCBzZWJhZ2FpIHB1cmUgcHJlbWl1bSwgYWdncmVnYXRlIGxvc3MsIG51bWJlciBvZiBjbGFpbXMsIGNsYWltIHNldmVyaXR5IGF0YXUgYmViZXJhcGEgdWt1cmFuIGtlcnVnaWFuIGxhaW5ueWEgc2VsYW1hIHBlcmlvZGUgd2FrdHUgdGVydGVudHUuIEppa2EgcmlzaWtvIG1lbWlsaWtpICROJCBrZXJ1Z2lhbiAkWF8xLC4uLixYX24kIHNlbGFtYSBuIGRpcGlzYWhrYW4gcGFkYSBwZXJpb2RlIHdha3R1LCBtYWthIGtlcnVnaWFuIHlhbmcgZGlkYXBhdCBkYXBhdCBkaWFzdW1zaWthbiBtZW5qYWRpICRpaWQkIHVudHVrIHNldGlhcCBwZW1lZ2FuZyBwb2xpcyBkYW4gJFxtdShcdGhldGEpPUUoWF9pfFx0aGV0YSkkIHVudHVrICRpPTEsLi4uLG4kLg0KPGJyPg0KSmlrYSByZXNpa28gbWVtaWxpa2kgJG4kIGtlcnVnaWFuICR4XzEsLi4uLHhfbiQgbWFrYSAkRShcbXUoXHRoZXRhKXx4XzEsLi4uLHhfbikkOg0KJCQNCkUoXG11KFx0aGV0YSl8eF8xLC4uLix4X24pPSBcaW50IFxtdSggXHRoZXRhIClccGkoXHRoZXRhfHhfMSwuLi4seF9uKWRcdGhldGENCiQkDQokJA0KXG11KFx0aGV0YSk9RShYfFx0aGV0YSk9XGludCB4Zih4fFx0aGV0YSlkeA0KJCQNCg0KTWFrYSwgZGlzdHJpYnVzaSBwb3N0ZXJpb3IgdW50dWsgdGVvcmVtYSBiYXllcyBhZGFsYWgNCiQkDQpccGkoXHRoZXRhfHhfMSwuLi4seF9uKT1cZnJhY3tcc3FjYXBee259X3tqPTF9Zih4X2p8XHRoZXRhKX17Zih4XzEsLi4uLHhfbil9XHBpKFx0aGV0YSkNCiQkDQoNCiRcc3FjYXBee259X3tqPTF9Zih4X2p8XHRoZXRhKSQgYmVyYWRhIGRpIHJpZ2h0LWhhbmQgc2lkZSB5YW5nIGRpc2VidXQgZGVuZ2FuIGtlbXVuZ2tpbmFuIGRhbiAkZih4XzEsLi4uLHhfbikkIGFkYWxhaCBqb2ludCBkZW5zaXR5IGZ1bmN0aW9uIHVudHVrICRuJCBrZXJ1Z2lhbiAkeF8xLC4uLix4X24kLg0KDQojIyBHYW1tYSBQb2lzc29uDQoNClBhZGEgbW9kZWwgaW5pLCBhbmdrYSBwYWRhIGtsYWltICRYJCBtZW1pbGlraSBkaXN0cmlidXNpIHBvaXNzb24gJFByKFg9eHxcbGFtYmRhKT1cbGFtYmRhXnhlXnstXGxhbWJkYX0veCEkIHVudHVrIHJlc2lrbyBkZW5nYW4gcmVzaWtvIHBhcmFtZXRlciAkXGxhbWJkYSQuIE1lYW4gcGFkYSBtb2RlbCBpbmkgYWRhbGFoICRFKFxsYW1iZGEpPVxhbHBoYS9cYmV0YSQgZGVuZ2FuIHZhcmlhbnMgJFZhcihcbGFtYmRhKT1cYWxwaGEvXGJldGFeMiQuIFBhZGEgc2VzaSBpbmkga2l0YSBha2FuIG1lbmdhc3Vtc2lrYW4gJFxsYW1iZGEkIHNlYmFnYWkgZWtzcGV0YXNpIGFuZ2thIHVudHVrIGtsYWltIHBlciB0YWh1biB5YW5nIGFrYW4ga2l0YSBwaWxpaCBwYWRhIGludGVydmFsIHdha3R1IHlhbmcgYmVyYmVkYS4gDQo8YnI+DQpKaWthIHJlc2lrbyBtZW1pbGloIHNlY2FyYSBhY2FrIHBhZGEgcG9wdWxhc2kga2VtdWRpYW4gZWtzcGV0YXNpIHNlYnVhaCBrbGFpbSBkYWxhbSAxIHRhaHVuIGFkYWxhaCAkRShOKT1FKEVbTnxcbGFtYmRhXSk9RShcbGFtYmRhKT1cYWxwaGEvXGJldGEkLiBKaWthIGtpdGEgdGlkYWsgbWVtaWxpa2kgaWJzZXJ2YXNpIHRlcmhhZGFwIHJlc2lrbyB5YW5nIGRpcGlsaWggbWFrYSBla3NwZXRhc2kgdW50dWsgc2VidWFoIGtsYWltIHBhZGEgcmVzaWtvIGFkYWxhaCAkXGFscGhhL1xiZXRhJC4NCjxicj4NClNlbGFtYSAkbiQgdGFodW4sIGFuZ2thIHVudHVrIHNldGlhcCBrbGFpbSBzZXRpYXAgdGFodW5ueWEgZGkgb2JzZXJ2YXNpIHNlY2FyYSBhY2FrIGJlcmRhc2Fya2FuIHJlc2lrbyAkeF8xLC4uLix4X24kLiBNYWthLCB0ZW9yZW1hIGJheWVzbnlhIHVudHVrIGRpc3RyaWJ1c2kgcG9zdGVyaW9yIGFkYWxhaA0KJCQNClxwaShcbGFtYmRhfHhfMSwuLi4seF9uKT1cZnJhY3tcc3FjYXBee259X3tqPTF9KFxsYW1iZGFee3hfan1lXnstXGxhbWJkYX0veF9qISl9e1ByKFhfMT14XzEsLi4uLFhfbik9eF9uKX1cYmV0YV5cYWxwaGEgXGxhbWJkYV57XGFscGhhLTF9ZV57LVxiZXRhXGxhbWJkYX0vXGdhbW1hKFxhbHBoYSkNCiQkDQpKaWthIGRpa29tYmluYXNpa2FuIGRlbmdhbiAkXGxhbWJkYSQgZGFuIGdhYnVuZ2thbiBzZW11YSBkYWxhbSBrb25zdGFuICRDJCBtYWthLA0KJCQgDQpccGkoXGxhbWJkYXx4XzEsLi4uLHhfbik9Q1xsYW1iZGFee1xhbHBoYStcc3VtXntufV97aj0xfXhfai0xfWVeey0oXGJldGErbilcbGFtYmRhfQ0KJCQNCg0KIyMgQmV0YS1CaW5vbWlhbCBNb2RlbA0KDQpNb2RlbCBpbmkgYmVyZ3VuYSB1bnR1ayBtZW1vZGVsa2FuIHByb2JhYmlsaXRhcyBzdWF0dSBldmVudC4gS2l0YSBhc3Vtc2lrYW4gYmFod2EgcmFuZG9tIHZhcmlhYmVsICRYJCBhZGFsYWggYW5na2Ega2VzdWtzZXNhbiB1bnR1ayBwZXJjb2JhYW4ga2UtICRuJCBkYW4gJFgkIGFkYWxhaCBiaW5vbWlhbCBkaXN0cmlidXNpICRQcihYPXh8cCk9KF5uX3gpcF54KDEtcClee24teH0kLiBEYWxhbSBtb2RlbCBpbmkgZGlzdHJpYnVzaSB1bnR1ayBwcm9iYWJpbGl0YXMgJHAkIGFkYWxhaCBkaXN0cmlidXNpIGJldGEgZGVuZ2FuICRwZGYkDQokJA0KXHBpKHApPVxmcmFje1xnYW1tYShcYWxwaGErXGJldGEpfXtcZ2FtbWEoXGFscGhhKStcZ2FtbWEoXGJldGEpfXBee1xhbHBoYS0xfSgxLXApXntcYmV0YS0xfSwwPHA8MSxcYWxwaGE+byxcYmV0YT4wDQokJA0KZGlzdHJpYnVzaSBwb3N0ZXJpb3IgdW50dWsgJHAkIGRpYmVyaWthbiBoYXNpbCB1bnR1ayAkeCQgc3Vrc2VzIGRhbGFtIHBlcmNvYmFhbiBrZS0gJG4kIGFkYWxhaA0KJCQNClxwaShwfHgpPVxmcmFje1xnYW1tYShcYWxwaGErXGJldGEpfXtcZ2FtbWEoXGFscGhhKVxnYW1tYShcYmV0YSl9cF57XGFscGhhLTF9KDEtcClee1xiZXRhLTF9LCBvPHA8MSwgXGFscGhhPjAsXGJldGE+MA0KJCQNCg0KTWVuZ2tvbWJpbmFzaWthbiBwZXJzYW1hYW4gZGlhdGFzIHlhbmcgbWVtaWxpa2kgJHAkIGRzYW4gZ2FidW5nIHNlbXVhbnlhIGRhbGFtIGtvbnN0YW4gJEMkIHNlYmFnYWkNCiQkDQpccGkocHx4KT1DcF57XGFscGhhK3gtMX0oMS1wKV57XGJldGErKG4teCktMX0NCiQkDQpJbmkgYWRhbGFoIGRpc3RyaWJ1c2kgYmV0YSBkZW5nYW4gcGFyYW1ldGVyIGJhcnUgJFxhbHBoYSc9XGFscGhhK3gkIGRhbiAkXGJldGEnPVxiZXRhKyhuLXgpJC4gSmFkaSBrb25zdGFubnlhIGFkYWxhaA0KJCQNCkM9XGZyYWN7XGdhbW1hKFxhbHBoYStcYmV0YStuKX17XGdhbW1hKFxhbHBoYSt4KVxnYW1tYShcYmV0YStuLXgpfQ0KJCQNCg0KTWVhbiB1bnR1ayBkaXN0cmlidXNpIGJldGEgZGVuZ2FuIHBhcmFtZXRlciAkXGFscGhhJCBkYW4gJFxiZXRhJCBhZGFsYWggJEUocCk9XGFscGhhLyhcYWxwaGErXGJldGEpJC4gSmlrYSAkeCQgc3VrZXMgcGFkYSBwZXJjb2JhYW4ga2UtICRuJCBwYWRhIG1vZGVsIGJldGEtYmlub21pYWwgbWFrYSBtZWFuIHVudHVrIGRpc3RyaWJ1c2kgcG9zdGVyaW9yIGFkYWxhaA0KJCQNCkUocHx4KT1cZnJhY3tcYWxwaGEreH17XGFscGhhK1xiZXRhK259DQokJA0KYW5na2EgcGFkYSBwZXJjb2JhYW4ga2UtICRuJCBkYW4gc3Vrc2VzIHggbWVuaW5na2F0IG1ha2EgZWtzcGV0YXNpIHZhbHVlIHVudHVrIHBlbmRla2F0YW4gJHAkIGFkYWxhaCAkeC9uJC4NCg0KIyMgRXhhY3QgQ3JlZGliaWxpdHkNCg0KZXN0aW1hc2kga3JlZGliaWxpdGFzIELDvGhsbWFubiB1bnR1ayBtb2RlbCBnYW1tYS1Qb2lzc29uIGRhbiBiZXRhLWJpbm9taWFsIHNhbWEgcGVyc2lzIGRlbmdhbiBoYXNpbCBhbmFsaXNpcyBCYXllc2lhbi4gSXN0aWxhaCBrcmVkaWJpbGl0YXMgeWFuZyB0ZXBhdCBkaXRlcmFwa2FuIGRhbGFtIHNpdHVhc2kgaW5pLiBLcmVkaWJpbGl0YXMgeWFuZyB0ZXBhdCBkYXBhdCB0ZXJqYWRpIGppa2EgZGlzdHJpYnVzaSBwcm9iYWJpbGl0YXMgdW50dWsgWEogYWRhbGFoIGRhbGFtIGtlbHVhcmdhIGVrc3BvbmVuc2lhbCBsaW5pZXIgZGFuIGRpc3RyaWJ1c2kgc2ViZWx1bW55YSBhZGFsYWgga29uanVnYXNpIHNlYmVsdW1ueWEuIFNlbGFpbiBrZWR1YSBtb2RlbCB0ZXJzZWJ1dCwgY29udG9oIGtyZWRpYmlsaXRhcyBla3NhayBqdWdhIG1lbmNha3VwIG1vZGVsIEdhbW1hLUV4cG9uZW50aWFsIGRhbiBOb3JtYWwtTm9ybWFsIG1vZGVsLiANCg0KIyBFc3RpbWF0aW5nIENyZWRpYmlsaXR5IFBhcmFtZXRlcnMNCg0KUGFkYSBzdWJiYWIgaW5pLCBzYXlhIGthbiBtZW5qZWxhc2thbiB0ZW50YW5nIGVzdGltYXNpIG5vbiBwYXJhbWV0cmlrIGRlbmdhbiBtb2RlbCBrcmVkaWJpbGl0YXMgQsO8aGxtYW5uIGRhbiBCw7xobG1hbm4tU3RyYXViLCBtZW5naWRlbnRpZmlrYXNpIHNpdHVhc2kga2V0aWthIGVzdGltYXNpIHNlbWlwYXJhbWV0cmlrIHNlc3VhaSwgbWVuZ2d1bmFrYW4gZGF0YSB1bnR1ayBtZW1wZXJraXJha2FuICRFUFYkIGRhbiAkVkhNJCBkYW4gbWVueWVpbWJhbmdrYW4gZXN0aW1hc2kgZGVuZ2FuIGJvYm90IGtyZWRpYmlsaXRhcy4gDQoNCiMjIEZ1bGwgQ3JlZGliaWxpdHkgU3RhbmRhcmQgZm9yIExpbWl0ZWQgRmx1Y3R1YXRpb24gQ3JlZGliaWxpdHkNCg0KTGltaXRlZC1mbHVjdHVhdGlvbiBjcmVkaWJpbGl0eSBtZW1idXR1aGthbiBzdGFuZGFyIGtyZWRpYmlsaXRhcyBwZW51aC4gUnVtdXMgdW11bSB1bnR1ayBrZXJ1Z2lhbiBhZ3JlZ2F0IGF0YXUgcHJlbWkgbXVybmkgc2ViYWdhaSBiZXJpa3V0LA0KDQokJA0KDQpOX3M9KFxmcmFje3lwfXtrfSleMlsoXGZyYWN7XHNpZ21hXjJOfXtcbXVOfSkrKFxmcmFje1xzaWdtYVh9KFxtdVgpXjIpXQ0KDQokJA0KDQpkZW5nYW4gJE4kIG1ld2FraWxpIGp1bWxhaCBrbGFpbSBkYW4gJFgkIGJlc2FybnlhIGtsYWltLiBKaWthIHNlc2VvcmFuZyBiZXJhc3Vtc2kgJFxzaWdtYSBYPTAkIGtlbXVkaWFuIHN0YW5kYXIga3JlZGliaWxpdGFzIHBlbnVoIHVudHVrIGhhc2lsIGZyZWt1ZW5zaS4gSmlrYSAkIFxzaWdtYSBOID0gMCQgbWFrYSBydW11cyBrcmVkaWJpbGl0YXMgcGVudWggdW50dWsga2VwYXJhaGFuIGJlcmlrdXQuIEtlbXVuZ2tpbmFuIFAgRGFuIGsNCm5pbGFpIHNlcmluZyBkaXBpbGloIG1lbmdndW5ha2FuIHBlcnRpbWJhbmdhbiBkYW4gcGVuZ2FsYW1hbi4NCg0KIyMgTm9ucGFyYW1ldHJpYyBFc3RpbWF0aW9uIGZvciBCw7xobG1hbm4gYW5kIELDvGhsbWFubi1TdHJhdWIgTW9kZWxzDQoNCkFuYWxpc2lzIEJheWVzaWFuIHNlcGVydGkgeWFuZyBkaWplbGFza2FuIHNlYmVsdW1ueWEgbWVtYnV0dWhrYW4gYXN1bXNpIHRlbnRhbmcgZGlzdHJpYnVzaSBkYW4ga2VtdW5na2luYW4gc2ViZWx1bW55YS4gSGFsIGluaSBkaW11bmdraW5rYW4gdW50dWsgbWVuZ2hhc2lsa2FuIHBlcmtpcmFhbiB0YW5wYSBhc3Vtc2kgaW5pIGRhbiBtZXRvZGUgaW5pIHNlcmluZyBkaXNlYnV0IHNlYmFnYWkgbWV0b2RlIEJheWVzIGVtcGlyaXMgLiBLcmVkaWJpbGl0YXMgQsO8aGxtYW5uIGRhbiBCw7xobG1hbm4tU3RyYXViIGRlbmdhbiBwYXJhbWV0ZXIgeWFuZyBkaWVzdGltYXNpIGRhcmkgZGF0YSB0ZXJtYXN1ayBkYWxhbSBrYXRlZ29yaSBtZXRvZGUgQmF5ZXMgZW1waXJpcy4NCjxicj4NClBlcnRhbWEga2l0YSBha2FuIG1lbWJ1YXQgYXN1bXNpIHNlZGVyaGFuYSBwYWRhIG1vZGVsIELDvGhsbWFubi4gQXN1bXNpa2FuIGJhaHdhICRyJCByZXNpa28gZGFsYW0gc2VidWFoIHBvcHVsYXNpLiBVbnR1ayByZXNpa28gJGkkIGRlbmdhbiByZXNpa28gcGFyYW1ldGVyICRcdGhldGFfaSQga2VydWdpYW4gdW50dWsgcGVyaW9kZSBrZSAtICRuJCBkZW5nYW4gJFhfe2kxfSwuLi4sWF97aW59JC4gS2VydWdpYW4gdW50dWsgcmlzaWtvIHlhbmcgZGliZXJpa2FuIGFkYWxhaCAkaWlkJCBzZXBhbmphbmcgcGVyaW9kZSBzZXBlcnRpIHlhbmcgZGlhc3Vtc2lrYW4gZGFsYW0gbW9kZWwgQsO8aGxtYW5uLiBVbnR1ayByZXNpa28gJGkkIGRlbmdhbiBzYW1wZWwgbWVhbiBueWEgYWRhbGFoICRYLV9pPVxzdW1ebl97aj0xfVhfe2lqfS9uJCBkYW4gdW5iaWFzZWQgcHJvc2VzIHNhbXBlbCB2YXJpYW5zIG55YSBhZGFsYWggJHNeMl9pPVxzdW1ebl97aj0xfShYX3tpan0teC1faSleMi8obi0xKSQuIEVzdGltYXNpIHVuYmlhZXMgdW50dWsgRVBWIGJpc2EgZGloaXR1bmcgZGVuZ2FuIGF2ZXJhZ2UgJHNeMl9pJCB1bnR1ayByZXNpa28gcG9wdWxhc2k6DQoNCiFbZnVuY3Rpb25dKDEyLnBuZykNCg0KUmVzaWtvIHR1bmdnYWwgbWVuYXMgJFhfaSQgdW50dWsgJGk9MSwuLi4sciQgYmlzYSBkaWd1bmFrYW4gdW50dWsgbWVuZ2VzdGltYXNpIFZITS4gDQoNCiFbZnVuY3Rpb25dKDEzLnBuZykNCg0KPGJyPg0KRXhhbXBsZTogRHVhIHBlbWVnYW5nIHBvbGlzIG1lbWlsaWtpIGtsYWltIHNlbGFtYSBwZXJpb2RlIHRpZ2EgdGFodW4gc2VwZXJ0aSB5YW5nIGRpdHVuanVra2FuIHBhZGEgdGFiZWwgZGkgYmF3YWggaW5pLiBQZXJraXJha2FuIGp1bWxhaCBrbGFpbSB5YW5nIGRpaGFyYXBrYW4gdW50dWsgc2V0aWFwIHBlbWVnYW5nIHBvbGlzIG1lbmdndW5ha2FuIGtyZWRpYmlsaXRhcyBCw7xobG1hbm4gZGFuIGhpdHVuZyBwYXJhbWV0ZXIgeWFuZyBkaXBlcmx1a2FuIGRhcmkgZGF0YSB0ZXJzZWJ1dC4NCg0KIVtleGFtcGxlXSgxNC5wbmcpDQoNCiMjIFNlbWlwYXJhbWV0cmljIEVzdGltYXRpb24gZm9yIELDvGhsbWFubiBhbmQgQsO8aGxtYW5uLVN0cmF1YiBNb2RlbHMNCg0KQ29udG9oIGVzdGltYXNpIHNlbWlwYXJhbWV0cmlrIGFkYWxhaCBhc3Vtc2kgZGlzdHJpYnVzaSBQb2lzc29uIHNhYXQgbWVtcGVya2lyYWthbiBmcmVrdWVuc2kga2xhaW0uIERpc3RyaWJ1c2kgUG9pc3NvbiBtZW1pbGlraSBzaWZhdCBiYWh3YSByYXRhLXJhdGEgZGFuIHZhcmlhbm55YSBpZGVudGlrIGRhbiBzaWZhdCBpbmkgZGFwYXQgbWVtcGVybXVkYWggcGVyaGl0dW5nYW4uIENvbnRvaCBzZWRlcmhhbmEgYmVyaWt1dCBiZXJhc2FsIGRhcmkgYmFnaWFuIHNlYmVsdW1ueWEgdGV0YXBpIHNla2FyYW5nIHRlcm1hc3VrIGFzdW1zaSBQb2lzc29uIHRlbnRhbmcgZnJla3VlbnNpIGtsYWltLg0KPGJyPg0KQ29udG9oOiBEdWEgcGVtZWdhbmcgcG9saXMgbWVtaWxpa2kga2xhaW0gc2VsYW1hIHBlcmlvZGUgdGlnYSB0YWh1biBzZXBlcnRpIHlhbmcgZGl0dW5qdWtrYW4gcGFkYSB0YWJlbCBkaSBiYXdhaCBpbmkuIEFzdW1zaWthbiBiYWh3YSBqdW1sYWgga2xhaW0gdW50dWsgc2V0aWFwIHJpc2lrbyBiZXJkaXN0cmlidXNpIFBvaXNzb24uIFBlcmtpcmFrYW4ganVtbGFoIGtsYWltIHlhbmcgZGloYXJhcGthbiB1bnR1ayBzZXRpYXAgcGVtZWdhbmcgcG9saXMgbWVuZ2d1bmFrYW4ga3JlZGliaWxpdGFzIELDvGhsbWFubiBkYW4gaGl0dW5nIHBhcmFtZXRlciB5YW5nIGRpcGVybHVrYW4gZGFyaSBkYXRhIHRlcnNlYnV0Lg0KDQohW2Z1bmN0aW9uXSgxMS5wbmcpDQoNCiMjIEJhbGFuY2luZyBDcmVkaWJpbGl0eSBFc3RpbWF0b3JzDQoNCk1vZGVsIHRlcnRpbWJhbmcga3JlZGliaWxpdGFzICRcbXUoXHRoZXRhX2kpPVpfaVhfaSsoMS1aX2kpJCBkaW1hbmEgJFhfaSQgYWRhbGFoIGtlcnVnaWFuIHBlciBla3Nwb3N1ciB1bnR1ayByaXNrIGRhbiAkWCQgYWRhbGFoIGtlcnVnaWFuIHVudHVrIHBlciBla3Nwb3N1ciBwb3B1bGFzaSwgamFkaSBiaXNhIGRpZ3VuYWthbiB1bnR1ayBtZW5nZXN0aW1hc2kgZWtzcGV0YXNpIGtlcnVnaWFuIHVudHVrIHJlc2lrbyAkaSQuIA0KPGJyPg0KQWdhciBlc3RpbWF0b3IgYm9ib3Qga3JlZGliaWxpdGFzIHNlaW1iYW5nIHNlcGVydGkgeWFuZyBraXRhIGluZ2lua2FuDQoNCiFbZnVuY3Rpb25dKDE1LnBuZykNCg0KSmlrYSBwZXJzYW1hYW4gaW5pIHRlcnBlbnVoaSBtYWthIHBlcmtpcmFhbiBrZXJ1Z2lhbiB1bnR1ayBzZXRpYXAgcmlzaWtvIGFrYW4gYmVydGFtYmFoIG1lbmphZGkgdG90YWwgcG9wdWxhc2ksIHR1anVhbiBwZW50aW5nIGRhbGFtIHBlbWJ1YXRhbiB0YXJpZiwgdGV0YXBpIGhhbCBpbmkgbXVuZ2tpbiB0aWRhayB0ZXJqYWRpIGppa2Ega29tcGxlbWVuIGtyZWRpYmlsaXRhcyBkaXRlcmFwa2FuIHBhZGEgJFjCryQNCjxicj4NClVudHVrIG1lbmNhcGFpIGtlc2VpbWJhbmdhbiwga2FtaSBha2FuIG1lbmdhdHVyIE1eWCBzZWJhZ2FpIGp1bWxhaCB5YW5nIGRpdGVyYXBrYW4gcGFkYSBwZWxlbmdrYXAga3JlZGliaWxpdGFzIGRhbiBkZW5nYW4gZGVtaWtpYW4gbWVuZ2FuYWxpc2lzIHBlcnNhbWFhbiBiZXJpa3V0Og0KDQohW2Z1bmN0aW9uXSgxMTEucG5nKQ0KZGFuDQoNCiFbZnVuY3Rpb25dKDEyMS5wbmcpDQoNCk1lbmdndW5ha2FuIG5pbGFpIGluaSB1bnR1ayBNXlggYWthbiBtZW1iYXdhIGVzdGltYXRvciBiZXJib2JvdCBrcmVkaWJpbGl0YXMgbWVuamFkaSBzZWltYmFuZy4NCjxicj4NCkp1bWxhaCBrZXRpa2EgZGl0ZXJhcGthbiBwYWRhIGtvbXBsZW1lbiBrcmVkaWJpbGl0YXMgeWFuZyBha2FuIG1lbWJhd2EgZXN0aW1hdG9yIGJlcmJvYm90IGtyZWRpYmlsaXRhcyBtZW5qYWRpIHNlaW1iYW5nIGRlbmdhbiBrZXJ1Z2lhbiByYXRhLXJhdGEga2VzZWx1cnVoYW4gcGVyIGVrc3Bvc3VyIGFkYWxhaA0KDQohW2Z1bmN0aW9uXSgyMS5wbmcpDQo8YnI+DQpDb250b2g6IENvbnRvaCBkYXJpIGJhZ2lhbiBCw7xobG1hbm4tU3RyYXViIG5vbnBhcmFtZXRyaWsgbWVtaWxpa2kgZGF0YSBiZXJpa3V0IHVudHVrIGR1YSByaXNpa28uIFRlbXVrYW4ganVtbGFoIHlhbmcgdGVya2FpdCBkZW5nYW4ga29tcGxlbWVuIGtyZWRpYmlsaXRhcywgTV5YLCB5YW5nIGFrYW4gbWVuZ2hhc2lsa2FuIGVzdGltYXNpIGJlcmJvYm90IGtyZWRpYmlsaXRhcyB5YW5nIHNlaW1iYW5nLg0KDQohW2Z1bmN0aW9uXSgyMi5wbmcpDQoNCg0KDQoNCg0KDQo=