TEORI RESIKO

Tugas 3


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

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.

  1. Temukan probabilitas bahwa orang yang dipilih secara acak dari populasi ini bertahan setidaknya 12 bulan.
  2. 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.
  3. Temukan persentil ke-99 dari distribusi masa hidup.

Solusi

  1. 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.\)

  1. Biarkan \(Y\) adalah jumlah pasien yang meninggal dalam waktu satu tahun diagnosis. Lalu, \(Y\)\(Bin(10, 0,254)\) dan \(Pr(Y≤2)=0,514\).

  2. 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