3.2. Distribusi Kontinu untuk Memodelkan Tingkat Keparahan dari
Kerugian
Metode yang akan dibahas:
- Gamma
- Pareto
- Weibull
- Generalized beta distribution of the second kind
3.2.1. Gamma Distribution
Pendekatan konvensional dalam memodelkan kerugian adalah dengan
membuat model terpisah untuk frekuensi dan tingkat keparahan klaim.
Ketika frekuensi dan tingkat keparahan dimodelkan secara terpisah,
biasanya para aktuaris menggunakan distribusi Poisson untuk jumlah klaim
dan distribusi gamma untuk memodelkan tingkat keparahan dari kerugian
itu sendiri. Namun, dengan perkembangan, menjadi popule metode dengan
membuat model tunggal untuk premi murni (biaya klaim secara rata-rata).
Rumus gamma density function:

Dengan nilai \(a\)>0 dan \(θ\)>0 juga. Variabel kontinu \(X\) yang merupakan fungsi adalah variable
yang mewakilkan distribusi gamma dengan shape parameter \(a\) dan scale parameter \(θ\). Perubahan dari perubahan scale dan
shape parameter untuk gamma density function tertuang dalam grafik:

Apabila \(a\)=1 gamma akan mereduksi
menjadi distribusi eksponensial, apabila \(a\)=\(\frac{n}2\) dan \(θ\)=2 maka gamma akan mereduksi menjadi
distribusi chi-square dengan nilai n sebagai derajat kebebesan pada
distribusi.Fungsi distribusi dari model gamma merupakan bentuk tidak
sempurna atau lengkap dari fungsi gamma, dan dianotasikan sebagai \(Γ(a;\frac{x}θ)\),, dan bentuk persamaannya
adalah:

Sedangkan, untuk momen pada suatu \(K\) dari variable acak berdistribusi gamma
untuk k positif dituliskan dengan persamaan:

Karena semua momen ada untuk setiap \(K\) positif distribusi gamma dianggap
sebagai distribusi berekor ringan, yang mungkin tidak cocok untuk
memodelkan aset berisiko karena tidak akan memberikan penilaian yang
realistis tentang kemungkinan kerugian yang parah.
3.2.2. Distribusi Pareto
Distribusi Pareto, yang dinamai menurut nama ekonom Italia Vilfredo
Pareto (1843-1923), yang memiliki banyak kontribusi pada aplikasi
ekonomi dan keuangan. Distribusi ini memiliki kemiringan positif dan
heavy tailed yang membuatnya cocok untuk memodelkan pendapatan, klaim
asuransi berisiko tinggi, dan tingkat keparahan kerugian korban yang
besar.
Fungsi survival dari distribusi Pareto yang meluruh perlahan-lahan
menuju nol pertama kali digunakan untuk menggambarkan distribusi
pendapatan di mana sebagian kecil dari populasi memiliki proporsi yang
besar dari total kekayaan. Untuk klaim asuransi yang ekstrim, ekor dari
distribusi keparahan (kerugian yang melebihi ambang batas) dapat
dimodelkan dengan menggunakan distribusi Pareto yang digeneralisasi.
Variabel kontinu \(X\) dikatakan
memiliki dua parameter pada distribusi pareto, dimana ada shape
parameter \(a\) dan scale parameter
\(θ\), yang persamaannya adalah

Grafis di bawah menggambarkan efek dari perubahan scale dan shape
parameter pada pareto density function.

Fungsi distribusi dari distribusi pareto adalah:

Hazard function dari distribusi pareto adalah fungsi penurunan dari
fungsi \(x\), indikasi ini menunjukkan
bahwa distribusi pareto heavy tailed menggunakan analogi dari pendapatan
populasi, apabila hazard function menurun seiring waktu, populasi akan
habis pada suatu waktu penurunan yang menghasilkan heavier tail pada
distribusi. Hazard function juga memberikan informasi tentang tail
distribution yang digunakan untuk distribusi model data pada analisis
survival. Hazard function ini juga dapat diartikan sebagai potensi
sesaat bahwa suatu event yang menarik dapat terjadi dalam jangka waktu
yang sangat sempit.
Model \(K\) pada distribusi parretto
dalam suatu keadaan random variable, jika \(a\)>\(k\), yang dapat ditulis sebagai:

3.2.3. Distribusi Weibull
Distribusi ini diambil dari nama pemiliknya yang merupakan fisikawan
Swedish Waloddi Weibull (1887 – 1979) yang secara luas digunakan dalam
keandalan, analisis data kehidupan, prakiraan cuaca, dan klaim asuransi
umum. Data terpotong sering muncul dalam studi asuransi. Distribusi
Weibull telah digunakan untuk memodelkan kelebihan perjanjian kerugian
atas asuransi mobil serta waktu antar kedatangan gempa bumi.
Variabel kontinu \(X\) dikatakan
memiliki distribusi weibul dengan syarat memiliki 2 parameter yang
digunakan, yaitu scale parameter \(a\)
dan shape parameter \(θ\). Yang
persamaannay turun dari:

Pada grafik menunjukkan efek dari scale dan shape parameter pada
perubahan weibul density function.

Fungsi distribusi dari weibul distribusi diberikan sebagai:

Dari rumus dapat ditarik kesimpulan bahwa \(a\) mendeskripsikan bentuk dari hazard
function dari weibul distribution. Dimana hazard function akan menjadi
fungsi penurunan apabila \(a\)<1
(heavy tailed distribution), akan konstan Ketika \(a\)=1 dan akan menjadi fungsi naik Ketika
\(a\)>1 (light tailed distribution).
Sifat dari hazard function ini membuat weibul distribusi cocok untuk
digunakan pada model yang variety yang luas, contohnya fenomena alam,
forecast cuaca, Teknik industry, model asuransi, dan analisis resiko
financial.
Momen \(K\) pada weibul dianotasikan
dalam :

Contoh Soal
Misalkan distribusi probabilitas masa hidup penderita AIDS (dalam
bulan) dari saat diagnosis digambarkan oleh distribusi Weibull dengan
parameter bentuk 1.2 dan parameter skala 33.33.
- Temukan probabilitas bahwa orang yang dipilih secara acak dari
populasi ini bertahan setidaknya 12 bulan.
- Sebuah sampel acak dari 10 pasien akan dipilih dari populasi ini.
Berapa peluang bahwa paling banyak dua orang akan meninggal dalam waktu
satu tahun setelah diagnosis.
- Temukan persentil ke-99 dari distribusi masa hidup.
Solusi
- Biarkan X menjadi seumur hidup pasien AIDS (dalam bulan) memiliki
distribusi Weibull dengan parameter \((1.2,33.33)\). Kita punya,
\(\Pr \left( X \geq 12 \right) = S_{X}
\left( 12 \right) = e^{- \left( \frac{12}{33.33} \right)^{1.2}} =
0.746.\)
Biarkan \(Y\) adalah jumlah
pasien yang meninggal dalam waktu satu tahun diagnosis. Lalu, \(Y\)∼ \(Bin(10,
0,254)\) dan \(Pr(Y≤2)=0,514\).
Misalkan \(π0,99\) menunjukkan
persentil ke-99 dari distribusi ini. Kemudian,
\(S_{X}\left( \pi_{0.99} \right) =
\exp\left\{- \left( \frac{\pi_{0.99}}{33.33} \right)^{1.2}\right\} =
0.01.\)
Memecahkan untuk \(π_{0,99}\) kita
mendapatkan \(π_{0,99}=118,99\).
3.2.4. Distribusi Beta Umum Jenis Kedua
Generalized Beta Distribution of the Second Kind (GB2) diperkenalkan
oleh Venter (1983) dalam konteks pemodelan kerugian asuransi dan oleh
McDonald (1984) sebagai distribusi pendapatan dan kekayaan. Ini adalah
distribusi empat parameter, sangat fleksibel, yang dapat memodelkan
distribusi miring positif dan negatif.
Variabel kontinu \(X\) dikatakan
memiliki distribusi GB2 dengan parameter \(σ\), \(θ\), \(a_1\) dan \(a_2\) jika pdf-nya diberikan oleh :

GB2 menyediakan model untuk data berekor berat dan ringan. Ini
termasuk eksponensial, gamma, Weibull, Burr, Lomax, F, chi-square,
Rayleigh, lognormal dan log-logistik sebagai kasus khusus atau terbatas.
Misalnya dengan mengatur parameter \(σ=α_1=α_2=1\), GB2 direduksi menjadi
distribusi logistik log. Ketika \(σ=1\)
dan \(α_2→∞\), ini direduksi menjadi
distribusi gamma, dan ketika \(α=1\)
dan \(α_2→∞\) itu direduksi menjadi
distribusi Weibull.
Variabel acak GB2 dapat dibangun sebagai berikut. Misalkan \(G_1\) dan \(G_2\) adalah variabel acak independen di
mana \(G_i\) memiliki distribusi gamma
dengan parameter bentuk \(α_i\) dan
parameter skala 1. Kemudian, dapat ditunjukkan bahwa variabel acak \(X=θ(\frac{G_1}{G_2})^σ\) memiliki
distribusi GB2. Hasil teoritis ini memiliki beberapa implikasi. Sebagai
contoh, ketika momen-momen itu ada, dapat ditunjukkan bahwa \(k\) momen mentah ke-th dari variabel acak
terdistribusi GB2 diberikan oleh :
\(\mathrm{E}\left( X^{k} \right) =
\frac{\theta^{k}~\mathrm{B}\left( \alpha_1 +k \sigma,\alpha_2 - k \sigma
\right)}{\mathrm{B}\left( \alpha_1,\alpha_2 \right)}, \ \ \ k >
0.\)
Seperti yang sudah dijelaskan, GB2 juga terkait dengan \(F\)-distribusi, hasil yang dapat berguna
dalam simulasi dan analisis residual. Aplikasi GB2 sebelumnya adalah
pada data pendapatan dan baru-baru ini telah digunakan untuk memodelkan
data klaim berekor panjang. GB2 telah digunakan untuk memodelkan
berbagai jenis klaim asuransi mobil, tingkat kerugian akibat kebakaran,
serta data klaim asuransi kesehatan.
LS0tDQp0aXRsZTogIlRFT1JJIFJFU0lLTyAiDQpzdWJ0aXRsZTogIlR1Z2FzIDMiDQphdXRob3I6ICJNdWhhbW1hZCBOYXVmYWwgQXJkaWFuc3lhaCAoMjAyMDQ5MjAwMTcpIg0KZGF0ZTogICJgciBmb3JtYXQoU3lzLkRhdGUoKSwgJyVCICVkLCAlWScpYCINCm91dHB1dDoNCiAgcm1kZm9ybWF0czo6cm9ib2Jvb2s6ICAgIyBodHRwczovL2dpdGh1Yi5jb20vanViYS9ybWRmb3JtYXRzDQogICAgc2VsZl9jb250YWluZWQ6IHRydWUNCiAgICB0aHVtYm5haWxzOiB0cnVlDQogICAgbGlnaHRib3g6IHRydWUNCiAgICBnYWxsZXJ5OiB0cnVlDQogICAgbGliX2RpcjogbGlicw0KICAgIGRmX3ByaW50OiAicGFnZWQiDQogICAgY29kZV9mb2xkaW5nOiAic2hvdyINCiAgICBjb2RlX2Rvd25sb2FkOiB5ZXMNCiAgICBjc3M6ICJzdHlsZS5jc3MiDQoNCi0tLQ0KDQoNCg0KDQo8YnI+DQoNCg0KPGltZyBzdHlsZT0iZmxvYXQ6IHJpZ2h0OyBtYXJnaW46IC01MHB4IDUwcHggMHB4IDUwcHg7IHdpZHRoOjI1JSIgc3JjPSJuYXVmYWwuanBlZyIvPiANCg0KfA0KOi0tLS0gfDotLS0tDQoqS29udGFrfCAqOiAqJFxkb3duYXJyb3ckKg0KRW1haWx8IG5hdWZhbDM0MzNAZ21haWwuY29tDQpJbnN0YWdyYW0gfCBodHRwczovL3d3dy5pbnN0YWdyYW0uY29tL21fbmF1ZmFsYXJkaWFuc3lhaC8gDQpSUHVicyAgfCBodHRwczovL3JwdWJzLmNvbS9tdWhhbWFkX25hdWZhbC8gDQoNCioqKg0KDQojIDMuMi4gIERpc3RyaWJ1c2kgS29udGludSB1bnR1ayBNZW1vZGVsa2FuIFRpbmdrYXQgS2VwYXJhaGFuIGRhcmkgS2VydWdpYW4NCg0KTWV0b2RlIHlhbmcgYWthbiBkaWJhaGFzOg0KDQotIEdhbW1hDQotCVBhcmV0bw0KLQlXZWlidWxsDQotCUdlbmVyYWxpemVkIGJldGEgZGlzdHJpYnV0aW9uIG9mIHRoZSBzZWNvbmQga2luZA0KDQojIyAzLjIuMS4gR2FtbWEgRGlzdHJpYnV0aW9uDQoNClBlbmRla2F0YW4ga29udmVuc2lvbmFsIGRhbGFtIG1lbW9kZWxrYW4ga2VydWdpYW4gYWRhbGFoIGRlbmdhbiBtZW1idWF0IG1vZGVsIHRlcnBpc2FoIHVudHVrIGZyZWt1ZW5zaSBkYW4gdGluZ2thdCBrZXBhcmFoYW4ga2xhaW0uIEtldGlrYSBmcmVrdWVuc2kgZGFuIHRpbmdrYXQga2VwYXJhaGFuIGRpbW9kZWxrYW4gc2VjYXJhIHRlcnBpc2FoLCBiaWFzYW55YSBwYXJhIGFrdHVhcmlzIG1lbmdndW5ha2FuIGRpc3RyaWJ1c2kgUG9pc3NvbiB1bnR1ayBqdW1sYWgga2xhaW0gZGFuIGRpc3RyaWJ1c2kgZ2FtbWEgdW50dWsgbWVtb2RlbGthbiB0aW5na2F0IGtlcGFyYWhhbiBkYXJpIGtlcnVnaWFuIGl0dSBzZW5kaXJpLiBOYW11biwgZGVuZ2FuIHBlcmtlbWJhbmdhbiwgbWVuamFkaSBwb3B1bGUgbWV0b2RlIGRlbmdhbiBtZW1idWF0IG1vZGVsIHR1bmdnYWwgdW50dWsgcHJlbWkgbXVybmkgKGJpYXlhIGtsYWltIHNlY2FyYSByYXRhLXJhdGEpLiBSdW11cyBnYW1tYSBkZW5zaXR5IGZ1bmN0aW9uOg0KDQpgYGB7ciBpbWFnZTEsIGVjaG89RkFMU0UsIGZpZy5jYXA9IiIsZmlnLmFsaWduPSdjZW50ZXInLCBvdXQud2lkdGggPSAnMzAlJ30NCmtuaXRyOjppbmNsdWRlX2dyYXBoaWNzKCJyLnMuMS5wbmciKQ0KYGBgDQoNCkRlbmdhbiBuaWxhaSAkYSQ+MCBkYW4gJM64JD4wIGp1Z2EuDQpWYXJpYWJlbCBrb250aW51ICRYJCB5YW5nIG1lcnVwYWthbiBmdW5nc2kgYWRhbGFoIHZhcmlhYmxlIHlhbmcgbWV3YWtpbGthbiBkaXN0cmlidXNpIGdhbW1hIGRlbmdhbiBzaGFwZSBwYXJhbWV0ZXIgJGEkIGRhbiBzY2FsZSBwYXJhbWV0ZXIgJM64JC4NClBlcnViYWhhbiBkYXJpIHBlcnViYWhhbiBzY2FsZSBkYW4gc2hhcGUgcGFyYW1ldGVyIHVudHVrIGdhbW1hIGRlbnNpdHkgZnVuY3Rpb24gdGVydHVhbmcgZGFsYW0gZ3JhZmlrOg0KDQpgYGB7ciBpbWFnZTIsIGVjaG89RkFMU0UsIGZpZy5jYXA9IiIsZmlnLmFsaWduPSdjZW50ZXInLCBvdXQud2lkdGggPSAnMzAlJ30NCmtuaXRyOjppbmNsdWRlX2dyYXBoaWNzKCJyLnMuMi5wbmciKQ0KYGBgDQoNCkFwYWJpbGEgJGEkPTEgZ2FtbWEgYWthbiBtZXJlZHVrc2kgbWVuamFkaSBkaXN0cmlidXNpIGVrc3BvbmVuc2lhbCwgYXBhYmlsYSAkYSQ9JFxmcmFje259MiQgZGFuICTOuCQ9MiBtYWthIGdhbW1hIGFrYW4gbWVyZWR1a3NpIG1lbmphZGkgZGlzdHJpYnVzaSBjaGktc3F1YXJlIGRlbmdhbiBuaWxhaSBuIHNlYmFnYWkgZGVyYWphdCBrZWJlYmVzYW4gcGFkYSBkaXN0cmlidXNpLkZ1bmdzaSBkaXN0cmlidXNpIGRhcmkgbW9kZWwgZ2FtbWEgbWVydXBha2FuIGJlbnR1ayB0aWRhayBzZW1wdXJuYSBhdGF1IGxlbmdrYXAgZGFyaSBmdW5nc2kgZ2FtbWEsIGRhbiBkaWFub3Rhc2lrYW4gc2ViYWdhaSAkzpMoYTtcZnJhY3t4fc64KSQsLCBkYW4gYmVudHVrIHBlcnNhbWFhbm55YSBhZGFsYWg6DQoNCmBgYHtyIGltYWdlMywgZWNobz1GQUxTRSwgZmlnLmNhcD0iIixmaWcuYWxpZ249J2NlbnRlcicsIG91dC53aWR0aCA9ICczMCUnfQ0Ka25pdHI6OmluY2x1ZGVfZ3JhcGhpY3MoInIucy4zLnBuZyIpDQpgYGANCg0KU2VkYW5na2FuLCB1bnR1ayBtb21lbiBwYWRhIHN1YXR1ICRLJCBkYXJpIHZhcmlhYmxlIGFjYWsgYmVyZGlzdHJpYnVzaSBnYW1tYSB1bnR1ayBrIHBvc2l0aWYgZGl0dWxpc2thbiBkZW5nYW4gcGVyc2FtYWFuOg0KDQpgYGB7ciBpbWFnZTQsIGVjaG89RkFMU0UsIGZpZy5jYXA9IiIsZmlnLmFsaWduPSdjZW50ZXInLCBvdXQud2lkdGggPSAnMzAlJ30NCmtuaXRyOjppbmNsdWRlX2dyYXBoaWNzKCJyLnMuNC5wbmciKQ0KYGBgDQoNCkthcmVuYSBzZW11YSBtb21lbiBhZGEgdW50dWsgc2V0aWFwICRLJCBwb3NpdGlmIGRpc3RyaWJ1c2kgZ2FtbWEgZGlhbmdnYXAgc2ViYWdhaSBkaXN0cmlidXNpIGJlcmVrb3IgcmluZ2FuLCB5YW5nIG11bmdraW4gdGlkYWsgY29jb2sgdW50dWsgbWVtb2RlbGthbiBhc2V0IGJlcmlzaWtvIGthcmVuYSB0aWRhayBha2FuIG1lbWJlcmlrYW4gcGVuaWxhaWFuIHlhbmcgcmVhbGlzdGlzIHRlbnRhbmcga2VtdW5na2luYW4ga2VydWdpYW4geWFuZyBwYXJhaC4NCg0KIyMgMy4yLjIuIERpc3RyaWJ1c2kgUGFyZXRvDQoNCkRpc3RyaWJ1c2kgUGFyZXRvLCB5YW5nIGRpbmFtYWkgbWVudXJ1dCBuYW1hIGVrb25vbSBJdGFsaWEgVmlsZnJlZG8gUGFyZXRvICgxODQzLTE5MjMpLCB5YW5nIG1lbWlsaWtpIGJhbnlhayBrb250cmlidXNpIHBhZGEgYXBsaWthc2kgZWtvbm9taSBkYW4ga2V1YW5nYW4uIERpc3RyaWJ1c2kgaW5pIG1lbWlsaWtpIGtlbWlyaW5nYW4gcG9zaXRpZiBkYW4gaGVhdnkgdGFpbGVkIHlhbmcgbWVtYnVhdG55YSBjb2NvayB1bnR1ayBtZW1vZGVsa2FuIHBlbmRhcGF0YW4sIGtsYWltIGFzdXJhbnNpIGJlcmlzaWtvIHRpbmdnaSwgZGFuIHRpbmdrYXQga2VwYXJhaGFuIGtlcnVnaWFuIGtvcmJhbiB5YW5nIGJlc2FyLiANCg0KRnVuZ3NpIHN1cnZpdmFsIGRhcmkgZGlzdHJpYnVzaSBQYXJldG8geWFuZyBtZWx1cnVoIHBlcmxhaGFuLWxhaGFuIG1lbnVqdSBub2wgcGVydGFtYSBrYWxpIGRpZ3VuYWthbiB1bnR1ayBtZW5nZ2FtYmFya2FuIGRpc3RyaWJ1c2kgcGVuZGFwYXRhbiBkaSBtYW5hIHNlYmFnaWFuIGtlY2lsIGRhcmkgcG9wdWxhc2kgbWVtaWxpa2kgcHJvcG9yc2kgeWFuZyBiZXNhciBkYXJpIHRvdGFsIGtla2F5YWFuLiBVbnR1ayBrbGFpbSBhc3VyYW5zaSB5YW5nIGVrc3RyaW0sIGVrb3IgZGFyaSBkaXN0cmlidXNpIGtlcGFyYWhhbiAoa2VydWdpYW4geWFuZyBtZWxlYmloaSBhbWJhbmcgYmF0YXMpIGRhcGF0IGRpbW9kZWxrYW4gZGVuZ2FuIG1lbmdndW5ha2FuIGRpc3RyaWJ1c2kgUGFyZXRvIHlhbmcgZGlnZW5lcmFsaXNhc2kuDQoNClZhcmlhYmVsIGtvbnRpbnUgJFgkIGRpa2F0YWthbiBtZW1pbGlraSBkdWEgcGFyYW1ldGVyIHBhZGEgZGlzdHJpYnVzaSBwYXJldG8sIGRpbWFuYSBhZGEgc2hhcGUgcGFyYW1ldGVyICRhJCBkYW4gc2NhbGUgcGFyYW1ldGVyICTOuCQsIHlhbmcgcGVyc2FtYWFubnlhIGFkYWxhaA0KDQpgYGB7ciBpbWFnZTUsIGVjaG89RkFMU0UsIGZpZy5jYXA9IiIsZmlnLmFsaWduPSdjZW50ZXInLCBvdXQud2lkdGggPSAnMzAlJ30NCmtuaXRyOjppbmNsdWRlX2dyYXBoaWNzKCJyLnMuNS5wbmciKQ0KYGBgDQoNCkdyYWZpcyBkaSBiYXdhaCBtZW5nZ2FtYmFya2FuIGVmZWsgZGFyaSBwZXJ1YmFoYW4gc2NhbGUgZGFuIHNoYXBlIHBhcmFtZXRlciBwYWRhIHBhcmV0byBkZW5zaXR5IGZ1bmN0aW9uLiANCg0KYGBge3IgaW1hZ2U2LCBlY2hvPUZBTFNFLCBmaWcuY2FwPSIiLGZpZy5hbGlnbj0nY2VudGVyJywgb3V0LndpZHRoID0gJzMwJSd9DQprbml0cjo6aW5jbHVkZV9ncmFwaGljcygici5zLjYucG5nIikNCmBgYA0KDQpGdW5nc2kgZGlzdHJpYnVzaSBkYXJpIGRpc3RyaWJ1c2kgcGFyZXRvIGFkYWxhaDoNCg0KYGBge3IgaW1hZ2U3LCBlY2hvPUZBTFNFLCBmaWcuY2FwPSIiLGZpZy5hbGlnbj0nY2VudGVyJywgb3V0LndpZHRoID0gJzMwJSd9DQprbml0cjo6aW5jbHVkZV9ncmFwaGljcygici5zLjcucG5nIikNCmBgYA0KDQpIYXphcmQgZnVuY3Rpb24gZGFyaSBkaXN0cmlidXNpIHBhcmV0byBhZGFsYWggZnVuZ3NpIHBlbnVydW5hbiBkYXJpIGZ1bmdzaSAkeCQsIGluZGlrYXNpIGluaSBtZW51bmp1a2thbiBiYWh3YSBkaXN0cmlidXNpIHBhcmV0byBoZWF2eSB0YWlsZWQgbWVuZ2d1bmFrYW4gYW5hbG9naSBkYXJpIHBlbmRhcGF0YW4gcG9wdWxhc2ksIGFwYWJpbGEgaGF6YXJkIGZ1bmN0aW9uIG1lbnVydW4gc2VpcmluZyB3YWt0dSwgcG9wdWxhc2kgYWthbiBoYWJpcyBwYWRhIHN1YXR1IHdha3R1IHBlbnVydW5hbiB5YW5nIG1lbmdoYXNpbGthbiBoZWF2aWVyIHRhaWwgcGFkYSBkaXN0cmlidXNpLiBIYXphcmQgZnVuY3Rpb24ganVnYSBtZW1iZXJpa2FuIGluZm9ybWFzaSB0ZW50YW5nIHRhaWwgZGlzdHJpYnV0aW9uIHlhbmcgZGlndW5ha2FuIHVudHVrIGRpc3RyaWJ1c2kgbW9kZWwgZGF0YSBwYWRhIGFuYWxpc2lzIHN1cnZpdmFsLiBIYXphcmQgZnVuY3Rpb24gaW5pIGp1Z2EgZGFwYXQgZGlhcnRpa2FuIHNlYmFnYWkgcG90ZW5zaSBzZXNhYXQgYmFod2Egc3VhdHUgZXZlbnQgeWFuZyBtZW5hcmlrIGRhcGF0IHRlcmphZGkgZGFsYW0gamFuZ2thIHdha3R1IHlhbmcgc2FuZ2F0IHNlbXBpdC4NCg0KTW9kZWwgJEskIHBhZGEgZGlzdHJpYnVzaSBwYXJyZXR0byBkYWxhbSBzdWF0dSBrZWFkYWFuIHJhbmRvbSB2YXJpYWJsZSwgamlrYSAkYSQ+JGskLCB5YW5nIGRhcGF0IGRpdHVsaXMgc2ViYWdhaToNCg0KYGBge3IgaW1hZ2U4LCBlY2hvPUZBTFNFLCBmaWcuY2FwPSIiLGZpZy5hbGlnbj0nY2VudGVyJywgb3V0LndpZHRoID0gJzMwJSd9DQprbml0cjo6aW5jbHVkZV9ncmFwaGljcygici5zLjgucG5nIikNCmBgYA0KDQojIyAzLjIuMy4gRGlzdHJpYnVzaSBXZWlidWxsDQoNCkRpc3RyaWJ1c2kgaW5pIGRpYW1iaWwgZGFyaSBuYW1hIHBlbWlsaWtueWEgeWFuZyBtZXJ1cGFrYW4gZmlzaWthd2FuIFN3ZWRpc2ggV2Fsb2RkaSBXZWlidWxsICgxODg3IOKAkyAxOTc5KSB5YW5nIHNlY2FyYSBsdWFzIGRpZ3VuYWthbiBkYWxhbSAga2VhbmRhbGFuLCBhbmFsaXNpcyBkYXRhIGtlaGlkdXBhbiwgcHJha2lyYWFuIGN1YWNhLCBkYW4ga2xhaW0gYXN1cmFuc2kgdW11bS4gRGF0YSB0ZXJwb3Rvbmcgc2VyaW5nIG11bmN1bCBkYWxhbSBzdHVkaSBhc3VyYW5zaS4gRGlzdHJpYnVzaSBXZWlidWxsIHRlbGFoIGRpZ3VuYWthbiB1bnR1ayBtZW1vZGVsa2FuIGtlbGViaWhhbiBwZXJqYW5qaWFuIGtlcnVnaWFuIGF0YXMgYXN1cmFuc2kgbW9iaWwgc2VydGEgd2FrdHUgYW50YXIga2VkYXRhbmdhbiBnZW1wYSBidW1pLg0KDQpWYXJpYWJlbCBrb250aW51ICRYJCBkaWthdGFrYW4gbWVtaWxpa2kgZGlzdHJpYnVzaSB3ZWlidWwgZGVuZ2FuIHN5YXJhdCBtZW1pbGlraSAyIHBhcmFtZXRlciB5YW5nIGRpZ3VuYWthbiwgeWFpdHUgc2NhbGUgcGFyYW1ldGVyICRhJCBkYW4gc2hhcGUgcGFyYW1ldGVyICTOuCQuIFlhbmcgcGVyc2FtYWFubmF5IHR1cnVuIGRhcmk6DQoNCmBgYHtyIGltYWdlOSwgZWNobz1GQUxTRSwgZmlnLmNhcD0iIixmaWcuYWxpZ249J2NlbnRlcicsIG91dC53aWR0aCA9ICczMCUnfQ0Ka25pdHI6OmluY2x1ZGVfZ3JhcGhpY3MoInIucy45LnBuZyIpDQpgYGANCg0KUGFkYSBncmFmaWsgbWVudW5qdWtrYW4gZWZlayBkYXJpIHNjYWxlIGRhbiBzaGFwZSBwYXJhbWV0ZXIgcGFkYSBwZXJ1YmFoYW4gd2VpYnVsIGRlbnNpdHkgZnVuY3Rpb24uDQoNCmBgYHtyIGltYWdlMTAsIGVjaG89RkFMU0UsIGZpZy5jYXA9IiIsZmlnLmFsaWduPSdjZW50ZXInLCBvdXQud2lkdGggPSAnMzAlJ30NCmtuaXRyOjppbmNsdWRlX2dyYXBoaWNzKCJyLnMuMTAucG5nIikNCmBgYA0KDQpGdW5nc2kgZGlzdHJpYnVzaSBkYXJpIHdlaWJ1bCBkaXN0cmlidXNpIGRpYmVyaWthbiBzZWJhZ2FpOg0KDQpgYGB7ciBpbWFnZTExLCBlY2hvPUZBTFNFLCBmaWcuY2FwPSIiLGZpZy5hbGlnbj0nY2VudGVyJywgb3V0LndpZHRoID0gJzMwJSd9DQprbml0cjo6aW5jbHVkZV9ncmFwaGljcygici5zLjExLnBuZyIpDQpgYGANCg0KRGFyaSBydW11cyBkYXBhdCBkaXRhcmlrIGtlc2ltcHVsYW4gYmFod2EgJGEkIG1lbmRlc2tyaXBzaWthbiBiZW50dWsgZGFyaSBoYXphcmQgZnVuY3Rpb24gZGFyaSB3ZWlidWwgZGlzdHJpYnV0aW9uLiBEaW1hbmEgaGF6YXJkIGZ1bmN0aW9uIGFrYW4gbWVuamFkaSBmdW5nc2kgcGVudXJ1bmFuIGFwYWJpbGEgJGEkPDEgKGhlYXZ5IHRhaWxlZCBkaXN0cmlidXRpb24pLCBha2FuIGtvbnN0YW4gS2V0aWthICRhJD0xIGRhbiBha2FuIG1lbmphZGkgZnVuZ3NpIG5haWsgS2V0aWthICRhJD4xIChsaWdodCB0YWlsZWQgZGlzdHJpYnV0aW9uKS4gU2lmYXQgZGFyaSBoYXphcmQgZnVuY3Rpb24gaW5pIG1lbWJ1YXQgd2VpYnVsIGRpc3RyaWJ1c2kgY29jb2sgdW50dWsgZGlndW5ha2FuIHBhZGEgbW9kZWwgeWFuZyB2YXJpZXR5IHlhbmcgbHVhcywgY29udG9obnlhIGZlbm9tZW5hIGFsYW0sIGZvcmVjYXN0IGN1YWNhLCBUZWtuaWsgaW5kdXN0cnksIG1vZGVsIGFzdXJhbnNpLCBkYW4gYW5hbGlzaXMgcmVzaWtvIGZpbmFuY2lhbC4NCg0KTW9tZW4gJEskIHBhZGEgd2VpYnVsIGRpYW5vdGFzaWthbiBkYWxhbSA6DQoNCmBgYHtyIGltYWdlMTIsIGVjaG89RkFMU0UsIGZpZy5jYXA9IiIsZmlnLmFsaWduPSdjZW50ZXInLCBvdXQud2lkdGggPSAnMzAlJ30NCmtuaXRyOjppbmNsdWRlX2dyYXBoaWNzKCJyLnMuMTIucG5nIikNCmBgYA0KDQojIyMgQ29udG9oIFNvYWwNCg0KTWlzYWxrYW4gZGlzdHJpYnVzaSBwcm9iYWJpbGl0YXMgbWFzYSBoaWR1cCBwZW5kZXJpdGEgQUlEUyAoZGFsYW0gYnVsYW4pIGRhcmkgc2FhdCBkaWFnbm9zaXMgZGlnYW1iYXJrYW4gb2xlaCBkaXN0cmlidXNpIFdlaWJ1bGwgZGVuZ2FuIHBhcmFtZXRlciBiZW50dWsgMS4yIGRhbiBwYXJhbWV0ZXIgc2thbGEgMzMuMzMuDQoNCmEuIFRlbXVrYW4gcHJvYmFiaWxpdGFzIGJhaHdhIG9yYW5nIHlhbmcgZGlwaWxpaCBzZWNhcmEgYWNhayBkYXJpIHBvcHVsYXNpIGluaSBiZXJ0YWhhbiBzZXRpZGFrbnlhIDEyIGJ1bGFuLg0KYi4gU2VidWFoIHNhbXBlbCBhY2FrIGRhcmkgMTAgcGFzaWVuIGFrYW4gZGlwaWxpaCBkYXJpIHBvcHVsYXNpIGluaS4gQmVyYXBhIHBlbHVhbmcgYmFod2EgcGFsaW5nIGJhbnlhayBkdWEgb3JhbmcgYWthbiBtZW5pbmdnYWwgZGFsYW0gd2FrdHUgc2F0dSB0YWh1biBzZXRlbGFoIGRpYWdub3Npcy4NCmMuIFRlbXVrYW4gcGVyc2VudGlsIGtlLTk5IGRhcmkgZGlzdHJpYnVzaSBtYXNhIGhpZHVwLg0KDQojIyMgU29sdXNpDQoNCmEuIEJpYXJrYW4gWCBtZW5qYWRpIHNldW11ciBoaWR1cCBwYXNpZW4gQUlEUyAoZGFsYW0gYnVsYW4pIG1lbWlsaWtpIGRpc3RyaWJ1c2kgV2VpYnVsbCBkZW5nYW4gcGFyYW1ldGVyICQoMS4yLDMzLjMzKSQuIEtpdGEgcHVueWEsDQoNCiRcUHIgXGxlZnQoIFggXGdlcSAxMiBccmlnaHQpID0gU197WH0gXGxlZnQoIDEyIFxyaWdodCkgPSBlXnstIFxsZWZ0KCBcZnJhY3sxMn17MzMuMzN9IFxyaWdodCleezEuMn19ID0gMC43NDYuJA0KDQpiLiBCaWFya2FuICRZJCBhZGFsYWgganVtbGFoIHBhc2llbiB5YW5nIG1lbmluZ2dhbCBkYWxhbSB3YWt0dSBzYXR1IHRhaHVuIGRpYWdub3Npcy4gTGFsdSwgJFkk4oi8ICRCaW4oMTAsIDAsMjU0KSQgZGFuICRQcihZ4omkMik9MCw1MTQkLg0KDQpjLiBNaXNhbGthbiAkz4AwLDk5JCBtZW51bmp1a2thbiBwZXJzZW50aWwga2UtOTkgZGFyaSBkaXN0cmlidXNpIGluaS4gS2VtdWRpYW4sDQoNCiRTX3tYfVxsZWZ0KCBccGlfezAuOTl9IFxyaWdodCkgPSBcZXhwXGxlZnRcey0gXGxlZnQoIFxmcmFje1xwaV97MC45OX19ezMzLjMzfSBccmlnaHQpXnsxLjJ9XHJpZ2h0XH0gPSAwLjAxLiQNCg0KTWVtZWNhaGthbiB1bnR1ayAkz4BfezAsOTl9JCBraXRhIG1lbmRhcGF0a2FuICTPgF97MCw5OX09MTE4LDk5JC4NCg0KIyMgMy4yLjQuIERpc3RyaWJ1c2kgQmV0YSBVbXVtIEplbmlzIEtlZHVhDQoNCkdlbmVyYWxpemVkIEJldGEgRGlzdHJpYnV0aW9uIG9mIHRoZSBTZWNvbmQgS2luZCAoR0IyKSBkaXBlcmtlbmFsa2FuIG9sZWggVmVudGVyICgxOTgzKSBkYWxhbSBrb250ZWtzIHBlbW9kZWxhbiBrZXJ1Z2lhbiBhc3VyYW5zaSBkYW4gb2xlaCBNY0RvbmFsZCAoMTk4NCkgc2ViYWdhaSBkaXN0cmlidXNpIHBlbmRhcGF0YW4gZGFuIGtla2F5YWFuLiBJbmkgYWRhbGFoIGRpc3RyaWJ1c2kgZW1wYXQgcGFyYW1ldGVyLCBzYW5nYXQgZmxla3NpYmVsLCB5YW5nIGRhcGF0IG1lbW9kZWxrYW4gZGlzdHJpYnVzaSBtaXJpbmcgcG9zaXRpZiBkYW4gbmVnYXRpZi4NCg0KVmFyaWFiZWwga29udGludSAkWCQgZGlrYXRha2FuIG1lbWlsaWtpIGRpc3RyaWJ1c2kgR0IyIGRlbmdhbiBwYXJhbWV0ZXIgJM+DJCwgJM64JCwgJGFfMSQgZGFuICRhXzIkIGppa2EgcGRmLW55YSBkaWJlcmlrYW4gb2xlaCA6DQoNCmBgYHtyIGltYWdlMTMsIGVjaG89RkFMU0UsIGZpZy5jYXA9IiIsZmlnLmFsaWduPSdjZW50ZXInLCBvdXQud2lkdGggPSAnMzAlJ30NCmtuaXRyOjppbmNsdWRlX2dyYXBoaWNzKCJyLnMuMTMucG5nIikNCmBgYA0KDQpHQjIgbWVueWVkaWFrYW4gbW9kZWwgdW50dWsgZGF0YSBiZXJla29yIGJlcmF0IGRhbiByaW5nYW4uIEluaSB0ZXJtYXN1ayBla3Nwb25lbnNpYWwsIGdhbW1hLCBXZWlidWxsLCBCdXJyLCBMb21heCwgRiwgY2hpLXNxdWFyZSwgUmF5bGVpZ2gsIGxvZ25vcm1hbCBkYW4gbG9nLWxvZ2lzdGlrIHNlYmFnYWkga2FzdXMga2h1c3VzIGF0YXUgdGVyYmF0YXMuIE1pc2FsbnlhIGRlbmdhbiBtZW5nYXR1ciBwYXJhbWV0ZXIgJM+DPc6xXzE9zrFfMj0xJCwgR0IyIGRpcmVkdWtzaSBtZW5qYWRpIGRpc3RyaWJ1c2kgbG9naXN0aWsgbG9nLiBLZXRpa2EgJM+DPTEkIGRhbiAkzrFfMuKGkuKIniQsIGluaSBkaXJlZHVrc2kgbWVuamFkaSBkaXN0cmlidXNpIGdhbW1hLCBkYW4ga2V0aWthICTOsT0xJCBkYW4gJM6xXzLihpLiiJ4kIGl0dSBkaXJlZHVrc2kgbWVuamFkaSBkaXN0cmlidXNpIFdlaWJ1bGwuDQoNClZhcmlhYmVsIGFjYWsgR0IyIGRhcGF0IGRpYmFuZ3VuIHNlYmFnYWkgYmVyaWt1dC4gTWlzYWxrYW4gJEdfMSQgZGFuICRHXzIkIGFkYWxhaCB2YXJpYWJlbCBhY2FrIGluZGVwZW5kZW4gZGkgbWFuYSAkR19pJCBtZW1pbGlraSBkaXN0cmlidXNpIGdhbW1hIGRlbmdhbiBwYXJhbWV0ZXIgYmVudHVrICTOsV9pJCBkYW4gcGFyYW1ldGVyIHNrYWxhIDEuIEtlbXVkaWFuLCBkYXBhdCBkaXR1bmp1a2thbiBiYWh3YSB2YXJpYWJlbCBhY2FrICRYPc64KFxmcmFje0dfMX17R18yfSlez4MkIG1lbWlsaWtpIGRpc3RyaWJ1c2kgR0IyLiBIYXNpbCB0ZW9yaXRpcyBpbmkgbWVtaWxpa2kgYmViZXJhcGEgaW1wbGlrYXNpLiBTZWJhZ2FpIGNvbnRvaCwga2V0aWthIG1vbWVuLW1vbWVuIGl0dSBhZGEsIGRhcGF0IGRpdHVuanVra2FuIGJhaHdhICRrJCBtb21lbiBtZW50YWgga2UtdGggZGFyaSB2YXJpYWJlbCBhY2FrIHRlcmRpc3RyaWJ1c2kgR0IyIGRpYmVyaWthbiBvbGVoIDoNCg0KJFxtYXRocm17RX1cbGVmdCggWF57a30gXHJpZ2h0KSA9IFxmcmFje1x0aGV0YV57a31+XG1hdGhybXtCfVxsZWZ0KCBcYWxwaGFfMSArayBcc2lnbWEsXGFscGhhXzIgLSBrIFxzaWdtYSBccmlnaHQpfXtcbWF0aHJte0J9XGxlZnQoIFxhbHBoYV8xLFxhbHBoYV8yIFxyaWdodCl9LCBcIFwgXCBrID4gMC4kDQoNClNlcGVydGkgeWFuZyBzdWRhaCBkaWplbGFza2FuLCBHQjIganVnYSB0ZXJrYWl0IGRlbmdhbiAkRiQtZGlzdHJpYnVzaSwgaGFzaWwgeWFuZyBkYXBhdCBiZXJndW5hIGRhbGFtIHNpbXVsYXNpIGRhbiBhbmFsaXNpcyByZXNpZHVhbC4gQXBsaWthc2kgR0IyIHNlYmVsdW1ueWEgYWRhbGFoIHBhZGEgZGF0YSBwZW5kYXBhdGFuIGRhbiBiYXJ1LWJhcnUgaW5pIHRlbGFoIGRpZ3VuYWthbiB1bnR1ayBtZW1vZGVsa2FuIGRhdGEga2xhaW0gYmVyZWtvciBwYW5qYW5nLiBHQjIgdGVsYWggZGlndW5ha2FuIHVudHVrIG1lbW9kZWxrYW4gYmVyYmFnYWkgamVuaXMga2xhaW0gYXN1cmFuc2kgbW9iaWwsIHRpbmdrYXQga2VydWdpYW4gYWtpYmF0IGtlYmFrYXJhbiwgc2VydGEgZGF0YSBrbGFpbSBhc3VyYW5zaSBrZXNlaGF0YW4uDQoNCg0K