Teori Resiko

~ Tugas Teori Resiko ~


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

Frequency Modeling

Frequency Distributions

Pada dasarnya frekuensi distribusi yang kita ketahui adalah menjelaskan tentang jumlah pengamatan untuk setiap nilai dari sebuah variabel yang digambarkan menggunakan grafik dan tabel frekuensi atau dengan kata lain, tampilan visual yang menyajikan jumlah frekuensi di setiap rentang atau persentase penhgamatan sehingga informasi dapat diartikan lebih mudah.

Bagaimana Frekuensi menambah infromasi pada tingkat keparahan suatu kejadian

Basic Terminology

Loss menunjukkan jumlah kerugian finansial yang diderita oleh tertanggung dimana klaim digunakan untik menunjukkan ganti rugi atas terjadinya peristiwwa yang diasuransikan sehingga jumlah yahg dibayarkan oleh perusahaan asuransi. Frekuensi mewakili seberapa sering peristiwa yang diasuransikan terjadi, biasanya dalam kontrak polis(menghitung variabel acak yang mewakili jumlah klaim, yaitu seberapa sering suatu peristiwa terjadi). Serevity menunjukkan jumlah, atau ukuran, dari setiap pembayaran untuk kejadian yang diasuransikan.

Pentingnya Frekuensi

Frekuensi disini dijelaskan bahwa setiap biaya yang diharapkan untuk asuransi dapat ditentukan sebagai jumlah klaim yuang diharapkan dikalikan jumlah per klaim, artinya adalah frekuensi x tingkat keparahan. dalam asuransi, penetapan harga dimulai dengan biaya yang diharapkan kemudian memperhitungkan keberesikoan produk, biaya yang dikeluarkan untuk melayani produk dan tunjangan surplus untuk perusahaan asuransi. Jadi frekuensi difokuskan pada perhitungan klaim yang memungkinkan penanggung untuk mempertimbangkan faktor-faktor yang secara langsung mempengaruhi terjadinya kerugian, sehingga berpotensi menimbulkan klaim.

Mengapa perlu memeriksa informasi frekuensi?

  • Kontraktual
    Dalam kontrak asuransi, deductible tertentu dan batasan polis biasanya dicantumkan dan digunakan untuk setiap kejadian yang diasuransikan.Data jumlah klaim yang dihasilkan akan menunjukkan jumlah klaim yang memenuhi kriteria tersebut, menunjukkan ukuran frekuensi klaim. Jadi model total kerugian yang diasuransikan perlu memperhitungkan deductible dan batasan polis untuk setiap kejadian yang diasuransikan.
  • Perilaku
    Dalam mempertimbangkan faktor-faktor yang memengaruhi frekuensi kerugian, perilaku pengambilan risiko dan pengurangan risiko individu dan perusahaan harus dipertimbangkan.
    Misalnya dalam perawatan kesehatan, keputusan untuk menggunakan perawatan kesehatan oleh individu, dan meminimalkan penggunaan perawatan kesehatan tersebut melalui perawatan preventif dan tindakan kesehatan, terutama terkait dengan karakteristik pribadinya. Jadi perhatian dapat difokuskan dari frekuensi kunjungan perawatan kesehatan dan keparahan biaya perawatan kesehatan.
  • Database
    Penanggung dapat menyimpan file data terpisah yang menyarankan pengembangan model frekuensi dan keparahan terpisah. Misalnya, file pemegang polis dibuat saat kebijakan ditulis (berisi informasi penjamin tentang tertanggung). Proses pencatatan ini kemudian dapat diperluas ke perusahaan asuransi yang memodelkan frekuensi dan keparahan sebagai proses terpisah.
  • Regulasi dan Administratif
    regulator secara rutin mewajibkan pelaporan nomor dan jumlah klaim. Pemantauan seperti melihat potensi kesalahan saat melaporkan nomor klaim berkurang membantu memastikan stabilitas keuangan perusahaan asuransi ini.

Distribusi Frekuensi Dasar

Variabel acak jumlah klaim dilambangkan dengan \(N\), digunakan untuk mengasumsikan nilai bilangan bulat non-negatif \({0,1,...}\)

Formula

\(N\) adalah variabel acak diskrit yang memiliki nilai {0,1,…}. Deskripsi yang paling dasar dari distribusinya adalah spesifikasi probabilitas yang diasumsikan dengan masing-masing nilai bilangan bulat non-negatif, ini adalah konsep probability mass function (pmf) yaitu fungsi yang memberikan probabilitas bahwa variabel acak diskrit sama persis dengan suatu nilai yang dialmbangkan sebagai \(P_N(.)\) \[ P_N(k)=Pr(N=k), k=0,1,... \]

Dari formula diatas adalah deskripsi lengkap alternatif dari distribusi \(N\), misal fungsi distribusi (peluang bahwa variabel acak kurang dari atau sama dengan x) dari \(N\) didefinisikan oleh \(F_N(x)=Pr(N ≤ x)\) yang dideterminasikan sebagai:

function

[.] menunjukkan fungsi dasar, [x] menunjukkan bilangan bulat terbesar kurang dari satu sama dengan \(X\). ini menunjkkan fungsi distribusi kumulatif deskriptor yaitu alternatif yang digunakan untuk menyatakann fungsi distribusi. Survival function dari \(N\) dilambangkan sebagai \(S_N(.)\) yaitu pelengkap satuan dari \(F_N(.)\) yaitu \(S_N(.)=1-F_N(.)\).

ada banyak ukuran yang berbeda yang biasanya digunakan untuk mengukurnya, dari jumlah tersebut average maksud dari \(N\) dilambangkan dengan \(\mu N\) didefinisikan: function

\(\mu N\) adalah nilai yang diharapkan dari variabel acak \(N\) yaitu \(\mu N=E[N]\) yang mengarah pada momen distribusi (nilai rata-rata dari variabel acak yang dipangkatkan ke-r). \(r\)-th adalah \(N\) dimana \(r>0\) didefinisikan sebagai \(E[N^R]\) dan dilambangkan dengan \(\mu'_N(r)\). ” ’ ” tidak menunjukkan diferensiasi.

Fungsi Pembangkit Momen dan Probabilitas

  • Teorema 1
    \(N\) menjadi alat hitung variabel acak sehingga \(E[e^{t*N}]\) terbatas untuk bbeerapa \(T*>0\):
  1. semua momen \(N\) terbatas: \[ E[N^r]< \infty, r>0 \]

  2. mgf dapat digunakan untuk: function

  3. mgf \(M_N(.)\) mencirikan distribusi
    mgf sangat berguna untuk dua variabel acak independen x dan y karena keduanya ada disekitar 0.

  • Teorema 2
    \(N\) adalah alat hitung variabel acak sehingga \(E(s*)^N\) sehingga \(s*>1\) memiliki:
  1. semua momen \(N\), yaitu: \[ E N^r<\infty, r>0 \]

  2. \(pmf\) dari \(N\) bisa diturunkan dari \(pgf\) sebagai betikut: function

  3. momen faktorial dari \(N\) dapat diturunkan sebagai berikut: function

  4. \(pgf P_N(.)\) mencirikan distribusi.

Binomial Distribusi

Misal, eksperimen pelemparan koin (bias atau tidak bias) dengan hasil berupa kepala atau ekor. Jadi jika \(N\) menunjukkan jumlah kepala dalam urutan \(M\) eksperimen pelemparan koin independen dengan koin identik yang menghasilkan probabilitas \(Q\) maka distribusi dari \(N\) disebut distribusi binomial dengan parameter \((m,q)\) dengan \(M\) bilangan bulat positif dan \(Q\in [0,1]\). ketika \(Q=0\) maka distribusinya merosot dengan \(N=0\) dengan probabilitas = 1. dengan pmf diberikan: function

dimana

function


Alasan pmf adalah karena mengambil nilai di antara istilah -istilah yang muncul dari perluasan binomial \((q+(1-q))^m\). Realisasi ini kemudian mengarah pada ekspresi berikut untuk PGF dari distribusi binomial: function Perhatikan bahwa ekspresi di atas untuk PGF mengkonfirmasi fakta bahwa distribusi binomial adalah konvolusi M dari distribusi Bernoulli, yang merupakan distribusi binomial dengan \(m=1\) dan pgf \((1+q(z-1))\)
ekspetasi dari binomial distribusi: function Varians dari jumlah variabel acak independen adalah jumlah variannya: function

Poisson Distribution

Distribusi Poisson diparametrikan dengan parameter tunggal yang biasanya dilamnbangkan dengan \(\lambda\) yang memasukkan nilai \((0, \infty)\) dimana pmf: function

formula diatas untuk setiap sukunya jelas tidak negatif dan jumlahnya menjadi satu emngikuti perluasan deret taylor tak terbatas dari \(e^\lambda\). pgf dapat diturunkan dengan \(P_N(.)\) sebagai berikut: function dari formula diatas didapatkan mgf nya: function

jadi penurunan rata-rata untuk distribusi poisson nya adalah: function bentuk ekspetasi dari poisson: function dengan menggunakan teorema 1 kita dapat melihat bahwa: function jadi, varians nya sebagai berikut: function

distribusi binomial negatif

distribusi binomial muncul sebagai jumlah keberhasilan dalam \(M\) pengulangan independen dari percobaan dengan hasil biner, Jika ingin mempertimbangkan jumlah keberhasilan sampai kita mengamati \(R\) adalah kegagalan dalam pengulangan independen dari percobaan dengan hasil biner, maka distribusinya adalah distribusi binomial negatif. Bentuk binomial adalah, bentuk koefisien binomial umum yaitu: function jadi, function jika \(s=-r\) maka: function jika kita ingin mendefinisikan \(P_k\) sebagai function

untuk \(r>0\) dan \(\beta >-0\) lalu mendefinisikan pmf yang valid. distribusi yang ditentukan seperti diatas disebut distribusi binomial negatif dengan parameter \((r,\beta)\) dengan \(r>0\) dan \(\beta >-0\)

LS0tDQp0aXRsZTogIlRlb3JpIFJlc2lrbyINCnN1YnRpdGxlOiAifiBUdWdhcyBUZW9yaSBSZXNpa28gfiINCnN5YnN1YnRpdGxlOiAiS2FyZW4gTmF0YWxpZSgyMDIwNDkyMDAxNSkiDQpkYXRlOiAgImByIGZvcm1hdChTeXMuRGF0ZSgpLCAnJUIgJWQsICVZJylgIg0Kb3V0cHV0OiANCiBybWRmb3JtYXRzOjpyb2JvYm9vazogICAjIGh0dHBzOi8vZ2l0aHViLmNvbS9qdWJhL3JtZGZvcm1hdHMNCiAgICBzZWN0aW9uX251bWJlcjogeWVzDQogICAgc2VsZl9jb250YWluZWQ6IHRydWUNCiAgICB0aHVtYm5haWxzOiB0cnVlDQogICAgbGlnaHRib3g6IHRydWUNCiAgICBnYWxsZXJ5OiB0cnVlDQogICAgbGliX2RpcjogbGlicw0KICAgIGRmX3ByaW50OiAicGFnZWQiDQogICAgY29kZV9mb2xkaW5nOiAic2hvdyINCiAgICBjb2RlX2Rvd25sb2FkOiB5ZXMNCiAgICBjc3M6ICJzdHlsZS5jc3MiDQotLS0NCg0KYGBge3Igc2V0dXAsIGluY2x1ZGU9RkFMU0V9DQprbml0cjo6b3B0c19jaHVuayRzZXQoY2xhc3Muc291cmNlID0gIm5vY29weSIsDQogICAgICAgICAgICAgICAgICAgICAgY2xhc3Mub3V0cHV0ID0gIm5vY29weSIsDQogICAgICAgICAgICAgICAgICAgICAgbWVzc2FnZSA9IEYsDQogICAgICAgICAgICAgICAgICAgICAgd2FybmluZyA9IEYpDQpgYGANCg0KPGJyPg0KPGltZyBzdHlsZT0iZmxvYXQ6IHJpZ2h0OyBtYXJnaW46IC01MHB4IDUwcHggMHB4IDUwcHg7IHdpZHRoOjMwJSIgc3JjPSJrYXJlbm5hdGFsaWUucG5nIi8+IA0KDQp8DQo6LS0tLSB8Oi0tLS0NCioqS29udGFrKip8ICoqOiAkXGRvd25hcnJvdyQqKg0KRW1haWx8IGRzY2llbmNlbGFic0BvdXRsb29rLmNvbQ0KSW5zdGFncmFtIHwgaHR0cHM6Ly93d3cuaW5zdGFncmFtLmNvbS9kc2NpZW5jZWxhYnMvIA0KUlB1YnMgIHwgaHR0cHM6Ly9ycHVicy5jb20vZHNjaWVuY2VsYWJzLyANCg0KKioqKg0KDQojIEZyZXF1ZW5jeSBNb2RlbGluZw0KDQojIEZyZXF1ZW5jeSBEaXN0cmlidXRpb25zDQoNClBhZGEgZGFzYXJueWEgZnJla3VlbnNpIGRpc3RyaWJ1c2kgeWFuZyBraXRhIGtldGFodWkgYWRhbGFoIG1lbmplbGFza2FuIHRlbnRhbmcganVtbGFoIHBlbmdhbWF0YW4gdW50dWsgc2V0aWFwIG5pbGFpIGRhcmkgc2VidWFoIHZhcmlhYmVsIHlhbmcgZGlnYW1iYXJrYW4gbWVuZ2d1bmFrYW4gZ3JhZmlrIGRhbiB0YWJlbCBmcmVrdWVuc2kgYXRhdSBkZW5nYW4ga2F0YSBsYWluLCB0YW1waWxhbiB2aXN1YWwgeWFuZyBtZW55YWppa2FuIGp1bWxhaCBmcmVrdWVuc2kgZGkgc2V0aWFwIHJlbnRhbmcgYXRhdSBwZXJzZW50YXNlIHBlbmhnYW1hdGFuIHNlaGluZ2dhIGluZm9ybWFzaSBkYXBhdCBkaWFydGlrYW4gbGViaWggbXVkYWguIA0KDQojIyBCYWdhaW1hbmEgRnJla3VlbnNpIG1lbmFtYmFoIGluZnJvbWFzaSBwYWRhIHRpbmdrYXQga2VwYXJhaGFuIHN1YXR1IGtlamFkaWFuDQoNCiMjIyBCYXNpYyBUZXJtaW5vbG9neQ0KDQpMb3NzIG1lbnVuanVra2FuIGp1bWxhaCBrZXJ1Z2lhbiBmaW5hbnNpYWwgeWFuZyBkaWRlcml0YSBvbGVoIHRlcnRhbmdndW5nIGRpbWFuYSBrbGFpbSBkaWd1bmFrYW4gdW50aWsgbWVudW5qdWtrYW4gZ2FudGkgcnVnaSBhdGFzIHRlcmphZGlueWEgcGVyaXN0aXd3YSB5YW5nIGRpYXN1cmFuc2lrYW4gc2VoaW5nZ2EganVtbGFoIHlhaGcgZGliYXlhcmthbiBvbGVoIHBlcnVzYWhhYW4gYXN1cmFuc2kuIEZyZWt1ZW5zaSBtZXdha2lsaSBzZWJlcmFwYSBzZXJpbmcgcGVyaXN0aXdhIHlhbmcgZGlhc3VyYW5zaWthbiB0ZXJqYWRpLCBiaWFzYW55YSBkYWxhbSBrb250cmFrIHBvbGlzKG1lbmdoaXR1bmcgdmFyaWFiZWwgYWNhayB5YW5nIG1ld2FraWxpIGp1bWxhaCBrbGFpbSwgeWFpdHUgc2ViZXJhcGEgc2VyaW5nIHN1YXR1IHBlcmlzdGl3YSB0ZXJqYWRpKS4gU2VyZXZpdHkgbWVudW5qdWtrYW4ganVtbGFoLCBhdGF1IHVrdXJhbiwgZGFyaSBzZXRpYXAgcGVtYmF5YXJhbiB1bnR1ayBrZWphZGlhbiB5YW5nIGRpYXN1cmFuc2lrYW4uDQoNCiMjIyBQZW50aW5nbnlhIEZyZWt1ZW5zaQ0KDQpGcmVrdWVuc2kgZGlzaW5pIGRpamVsYXNrYW4gYmFod2Egc2V0aWFwIGJpYXlhIHlhbmcgZGloYXJhcGthbiB1bnR1ayBhc3VyYW5zaSBkYXBhdCBkaXRlbnR1a2FuIHNlYmFnYWkganVtbGFoIGtsYWltIHl1YW5nIGRpaGFyYXBrYW4gZGlrYWxpa2FuIGp1bWxhaCBwZXIga2xhaW0sIGFydGlueWEgYWRhbGFoIGZyZWt1ZW5zaSB4IHRpbmdrYXQga2VwYXJhaGFuLiBkYWxhbSBhc3VyYW5zaSwgcGVuZXRhcGFuIGhhcmdhIGRpbXVsYWkgZGVuZ2FuIGJpYXlhIHlhbmcgZGloYXJhcGthbiBrZW11ZGlhbiBtZW1wZXJoaXR1bmdrYW4ga2ViZXJlc2lrb2FuIHByb2R1aywgYmlheWEgeWFuZyBkaWtlbHVhcmthbiB1bnR1ayBtZWxheWFuaSBwcm9kdWsgZGFuIHR1bmphbmdhbiBzdXJwbHVzIHVudHVrIHBlcnVzYWhhYW4gYXN1cmFuc2kuIEphZGkgZnJla3VlbnNpIGRpZm9rdXNrYW4gcGFkYSBwZXJoaXR1bmdhbiBrbGFpbSB5YW5nIG1lbXVuZ2tpbmthbiBwZW5hbmdndW5nIHVudHVrIG1lbXBlcnRpbWJhbmdrYW4gZmFrdG9yLWZha3RvciB5YW5nIHNlY2FyYSBsYW5nc3VuZyBtZW1wZW5nYXJ1aGkgdGVyamFkaW55YSBrZXJ1Z2lhbiwgc2VoaW5nZ2EgYmVycG90ZW5zaSBtZW5pbWJ1bGthbiBrbGFpbS4NCg0KIyMjIE1lbmdhcGEgcGVybHUgbWVtZXJpa3NhIGluZm9ybWFzaSBmcmVrdWVuc2k/DQoNCiogS29udHJha3R1YWwgPGJyPg0KRGFsYW0ga29udHJhayBhc3VyYW5zaSwgZGVkdWN0aWJsZSB0ZXJ0ZW50dSBkYW4gYmF0YXNhbiBwb2xpcyBiaWFzYW55YSBkaWNhbnR1bWthbiBkYW4gZGlndW5ha2FuIHVudHVrIHNldGlhcCBrZWphZGlhbiB5YW5nIGRpYXN1cmFuc2lrYW4uRGF0YSBqdW1sYWgga2xhaW0geWFuZyBkaWhhc2lsa2FuIGFrYW4gbWVudW5qdWtrYW4ganVtbGFoIGtsYWltIHlhbmcgbWVtZW51aGkga3JpdGVyaWEgdGVyc2VidXQsIG1lbnVuanVra2FuIHVrdXJhbiBmcmVrdWVuc2kga2xhaW0uIEphZGkgbW9kZWwgdG90YWwga2VydWdpYW4geWFuZyBkaWFzdXJhbnNpa2FuIHBlcmx1IG1lbXBlcmhpdHVuZ2thbiBkZWR1Y3RpYmxlIGRhbiBiYXRhc2FuIHBvbGlzIHVudHVrIHNldGlhcCBrZWphZGlhbiB5YW5nIGRpYXN1cmFuc2lrYW4uDQo8YnI+DQoqIFBlcmlsYWt1IDxicj4NCkRhbGFtIG1lbXBlcnRpbWJhbmdrYW4gZmFrdG9yLWZha3RvciB5YW5nIG1lbWVuZ2FydWhpIGZyZWt1ZW5zaSBrZXJ1Z2lhbiwgcGVyaWxha3UgcGVuZ2FtYmlsYW4gcmlzaWtvIGRhbiBwZW5ndXJhbmdhbiByaXNpa28gaW5kaXZpZHUgZGFuIHBlcnVzYWhhYW4gaGFydXMgZGlwZXJ0aW1iYW5na2FuLjxicj4gDQpNaXNhbG55YSBkYWxhbSBwZXJhd2F0YW4ga2VzZWhhdGFuLCBrZXB1dHVzYW4gdW50dWsgbWVuZ2d1bmFrYW4gcGVyYXdhdGFuIGtlc2VoYXRhbiBvbGVoIGluZGl2aWR1LCBkYW4gbWVtaW5pbWFsa2FuIHBlbmdndW5hYW4gcGVyYXdhdGFuIGtlc2VoYXRhbiB0ZXJzZWJ1dCBtZWxhbHVpIHBlcmF3YXRhbiBwcmV2ZW50aWYgZGFuIHRpbmRha2FuIGtlc2VoYXRhbiwgdGVydXRhbWEgdGVya2FpdCBkZW5nYW4ga2FyYWt0ZXJpc3RpayBwcmliYWRpbnlhLiBKYWRpIHBlcmhhdGlhbiBkYXBhdCBkaWZva3Vza2FuIGRhcmkgZnJla3VlbnNpIGt1bmp1bmdhbiBwZXJhd2F0YW4ga2VzZWhhdGFuIGRhbiBrZXBhcmFoYW4gYmlheWEgcGVyYXdhdGFuIGtlc2VoYXRhbi4gDQo8YnI+DQoqIERhdGFiYXNlIDxicj4NCiBQZW5hbmdndW5nIGRhcGF0IG1lbnlpbXBhbiBmaWxlIGRhdGEgdGVycGlzYWggeWFuZyBtZW55YXJhbmthbiBwZW5nZW1iYW5nYW4gbW9kZWwgZnJla3VlbnNpIGRhbiBrZXBhcmFoYW4gdGVycGlzYWguIE1pc2FsbnlhLCBmaWxlIHBlbWVnYW5nIHBvbGlzIGRpYnVhdCBzYWF0IGtlYmlqYWthbiBkaXR1bGlzIChiZXJpc2kgaW5mb3JtYXNpIHBlbmphbWluIHRlbnRhbmcgdGVydGFuZ2d1bmcpLiBQcm9zZXMgcGVuY2F0YXRhbiBpbmkga2VtdWRpYW4gZGFwYXQgZGlwZXJsdWFzIGtlIHBlcnVzYWhhYW4gYXN1cmFuc2kgeWFuZyBtZW1vZGVsa2FuIGZyZWt1ZW5zaSBkYW4ga2VwYXJhaGFuIHNlYmFnYWkgcHJvc2VzIHRlcnBpc2FoLg0KPGJyPg0KKiBSZWd1bGFzaSBkYW4gQWRtaW5pc3RyYXRpZiA8YnI+DQpyZWd1bGF0b3Igc2VjYXJhIHJ1dGluIG1ld2FqaWJrYW4gcGVsYXBvcmFuIG5vbW9yIGRhbiBqdW1sYWgga2xhaW0uIFBlbWFudGF1YW4gc2VwZXJ0aSBtZWxpaGF0IHBvdGVuc2kga2VzYWxhaGFuIHNhYXQgbWVsYXBvcmthbiBub21vciBrbGFpbSBiZXJrdXJhbmcgbWVtYmFudHUgbWVtYXN0aWthbiBzdGFiaWxpdGFzIGtldWFuZ2FuIHBlcnVzYWhhYW4gYXN1cmFuc2kgaW5pLg0KDQojIyBEaXN0cmlidXNpIEZyZWt1ZW5zaSBEYXNhcg0KDQpWYXJpYWJlbCBhY2FrIGp1bWxhaCBrbGFpbSBkaWxhbWJhbmdrYW4gZGVuZ2FuICROJCwgZGlndW5ha2FuIHVudHVrIG1lbmdhc3Vtc2lrYW4gbmlsYWkgYmlsYW5nYW4gYnVsYXQgbm9uLW5lZ2F0aWYgJHswLDEsLi4ufSQNCg0KIyMjIEZvcm11bGENCg0KJE4kIGFkYWxhaCB2YXJpYWJlbCBhY2FrIGRpc2tyaXQgeWFuZyBtZW1pbGlraSBuaWxhaSB7MCwxLC4uLn0uIERlc2tyaXBzaSB5YW5nIHBhbGluZyBkYXNhciBkYXJpIGRpc3RyaWJ1c2lueWEgYWRhbGFoIHNwZXNpZmlrYXNpIHByb2JhYmlsaXRhcyB5YW5nIGRpYXN1bXNpa2FuIGRlbmdhbiBtYXNpbmctbWFzaW5nIG5pbGFpIGJpbGFuZ2FuIGJ1bGF0IG5vbi1uZWdhdGlmLCBpbmkgYWRhbGFoIGtvbnNlcCBwcm9iYWJpbGl0eSBtYXNzIGZ1bmN0aW9uIChwbWYpIHlhaXR1IGZ1bmdzaSB5YW5nIG1lbWJlcmlrYW4gcHJvYmFiaWxpdGFzIGJhaHdhIHZhcmlhYmVsIGFjYWsgZGlza3JpdCBzYW1hIHBlcnNpcyBkZW5nYW4gc3VhdHUgbmlsYWkgeWFuZyBkaWFsbWJhbmdrYW4gc2ViYWdhaSAkUF9OKC4pJA0KJCQNClBfTihrKT1QcihOPWspLCBrPTAsMSwuLi4NCiQkDQoNCkRhcmkgZm9ybXVsYSBkaWF0YXMgYWRhbGFoIGRlc2tyaXBzaSBsZW5na2FwIGFsdGVybmF0aWYgZGFyaSBkaXN0cmlidXNpICROJCwgbWlzYWwgZnVuZ3NpIGRpc3RyaWJ1c2kgKHBlbHVhbmcgYmFod2EgdmFyaWFiZWwgYWNhayBrdXJhbmcgZGFyaSBhdGF1IHNhbWEgZGVuZ2FuIHgpIGRhcmkgJE4kIGRpZGVmaW5pc2lrYW4gb2xlaCAkRl9OKHgpPVByKE4g4omkIHgpJCB5YW5nIGRpZGV0ZXJtaW5hc2lrYW4gc2ViYWdhaToNCg0KIVtmdW5jdGlvbl0oZi5wbmcpDQoNClsuXSBtZW51bmp1a2thbiBmdW5nc2kgZGFzYXIsIFt4XSBtZW51bmp1a2thbiBiaWxhbmdhbiBidWxhdCB0ZXJiZXNhciBrdXJhbmcgZGFyaSBzYXR1IHNhbWEgZGVuZ2FuICRYJC4gaW5pIG1lbnVuamtrYW4gZnVuZ3NpIGRpc3RyaWJ1c2kga3VtdWxhdGlmIGRlc2tyaXB0b3IgeWFpdHUgYWx0ZXJuYXRpZiB5YW5nIGRpZ3VuYWthbiB1bnR1ayBtZW55YXRha2FubiBmdW5nc2kgZGlzdHJpYnVzaS4gU3Vydml2YWwgZnVuY3Rpb24gZGFyaSAkTiQgZGlsYW1iYW5na2FuIHNlYmFnYWkgJFNfTiguKSQgeWFpdHUgcGVsZW5na2FwIHNhdHVhbiBkYXJpICRGX04oLikkIHlhaXR1ICRTX04oLik9MS1GX04oLikkLg0KPGJyPg0KDQphZGEgYmFueWFrIHVrdXJhbiB5YW5nIGJlcmJlZGEgeWFuZyBiaWFzYW55YSBkaWd1bmFrYW4gdW50dWsgbWVuZ3VrdXJueWEsIGRhcmkganVtbGFoIHRlcnNlYnV0IGF2ZXJhZ2UgbWFrc3VkIGRhcmkgJE4kIGRpbGFtYmFuZ2thbiBkZW5nYW4gJFxtdSBOJCBkaWRlZmluaXNpa2FuOg0KIVtmdW5jdGlvbl0oYS5wbmcpDQoNCiRcbXUgTiQgYWRhbGFoIG5pbGFpIHlhbmcgZGloYXJhcGthbiBkYXJpIHZhcmlhYmVsIGFjYWsgJE4kIHlhaXR1ICRcbXUgTj1FW05dJCB5YW5nIG1lbmdhcmFoIHBhZGEgbW9tZW4gZGlzdHJpYnVzaSAobmlsYWkgcmF0YS1yYXRhIGRhcmkgdmFyaWFiZWwgYWNhayB5YW5nIGRpcGFuZ2thdGthbiBrZS1yKS4gJHIkLXRoIGFkYWxhaCAkTiQgZGltYW5hICRyPjAkIGRpZGVmaW5pc2lrYW4gc2ViYWdhaSAkRVtOXlJdJCBkYW4gZGlsYW1iYW5na2FuIGRlbmdhbiAkXG11J19OKHIpJC4gIiAnICIgdGlkYWsgbWVudW5qdWtrYW4gZGlmZXJlbnNpYXNpLg0KDQojIyMgRnVuZ3NpIFBlbWJhbmdraXQgTW9tZW4gZGFuIFByb2JhYmlsaXRhcw0KDQoqIFRlb3JlbWEgMSA8YnI+DQokTiQgbWVuamFkaSBhbGF0IGhpdHVuZyB2YXJpYWJlbCBhY2FrIHNlaGluZ2dhICRFW2Vee3QqTn1dJCB0ZXJiYXRhcyB1bnR1ayBiYmVlcmFwYSAkVCo+MCQ6DQo8YnI+DQphLiBzZW11YSBtb21lbiAkTiQgdGVyYmF0YXM6DQokJA0KRVtOXnJdPCBcaW5mdHksIHI+MA0KJCQNCg0KYi4gbWdmIGRhcGF0IGRpZ3VuYWthbiB1bnR1azoNCiFbZnVuY3Rpb25dKHEucG5nKQ0KPGJyPg0KYy4gbWdmICRNX04oLikkIG1lbmNpcmlrYW4gZGlzdHJpYnVzaQ0KPGJyPg0KbWdmIHNhbmdhdCBiZXJndW5hIHVudHVrIGR1YSB2YXJpYWJlbCBhY2FrIGluZGVwZW5kZW4geCBkYW4geSBrYXJlbmEga2VkdWFueWEgYWRhIGRpc2VraXRhciAwLg0KPGJyPg0KKiBUZW9yZW1hIDIgPGJyPg0KJE4kIGFkYWxhaCBhbGF0IGhpdHVuZyB2YXJpYWJlbCBhY2FrIHNlaGluZ2dhICRFKHMqKV5OJCBzZWhpbmdnYSAkcyo+MSQgbWVtaWxpa2k6DQo8YnI+DQphLiBzZW11YSBtb21lbiAkTiQsIHlhaXR1Og0KJCQNCkUgTl5yPFxpbmZ0eSwgcj4wDQokJA0KYi4gJHBtZiQgZGFyaSAkTiQgYmlzYSBkaXR1cnVua2FuIGRhcmkgJHBnZiQgc2ViYWdhaSBiZXRpa3V0Og0KIVtmdW5jdGlvbl0oZy5wbmcpDQpjLiBtb21lbiBmYWt0b3JpYWwgZGFyaSAkTiQgZGFwYXQgZGl0dXJ1bmthbiBzZWJhZ2FpIGJlcmlrdXQ6DQohW2Z1bmN0aW9uXSh4LnBuZykgDQoNCmQuICRwZ2YgUF9OKC4pJCBtZW5jaXJpa2FuIGRpc3RyaWJ1c2kuDQoNCiMjIyBCaW5vbWlhbCBEaXN0cmlidXNpDQoNCk1pc2FsLCBla3NwZXJpbWVuIHBlbGVtcGFyYW4ga29pbiAoYmlhcyBhdGF1IHRpZGFrIGJpYXMpIGRlbmdhbiBoYXNpbCBiZXJ1cGEga2VwYWxhIGF0YXUgZWtvci4gSmFkaSBqaWthICROJCBtZW51bmp1a2thbiBqdW1sYWgga2VwYWxhIGRhbGFtIHVydXRhbiAkTSQgZWtzcGVyaW1lbiBwZWxlbXBhcmFuIGtvaW4gaW5kZXBlbmRlbiBkZW5nYW4ga29pbiBpZGVudGlrIHlhbmcgbWVuZ2hhc2lsa2FuIHByb2JhYmlsaXRhcyAkUSQgbWFrYSBkaXN0cmlidXNpIGRhcmkgJE4kIGRpc2VidXQgZGlzdHJpYnVzaSBiaW5vbWlhbCBkZW5nYW4gcGFyYW1ldGVyICQobSxxKSQgZGVuZ2FuICRNJCBiaWxhbmdhbiBidWxhdCBwb3NpdGlmIGRhbiAkUVxpbiBbMCwxXSQuIGtldGlrYSAkUT0wJCBtYWthIGRpc3RyaWJ1c2lueWEgbWVyb3NvdCBkZW5nYW4gJE49MCQgZGVuZ2FuIHByb2JhYmlsaXRhcyA9IDEuIGRlbmdhbiBwbWYgZGliZXJpa2FuOg0KIVtmdW5jdGlvbl0obi5wbmcpDQoNCmRpbWFuYQ0KDQohW2Z1bmN0aW9uXShtLnBuZykNCg0KPGJyPg0KQWxhc2FuIHBtZiBhZGFsYWgga2FyZW5hIG1lbmdhbWJpbCBuaWxhaSBkaSBhbnRhcmEgaXN0aWxhaCAtaXN0aWxhaCB5YW5nIG11bmN1bCBkYXJpIHBlcmx1YXNhbiBiaW5vbWlhbCAkKHErKDEtcSkpXm0kLiBSZWFsaXNhc2kgaW5pIGtlbXVkaWFuIG1lbmdhcmFoIHBhZGEgZWtzcHJlc2kgYmVyaWt1dCB1bnR1ayBQR0YgZGFyaSBkaXN0cmlidXNpIGJpbm9taWFsOg0KIVtmdW5jdGlvbl0oYi5wbmcpDQpQZXJoYXRpa2FuIGJhaHdhIGVrc3ByZXNpIGRpIGF0YXMgdW50dWsgUEdGIG1lbmdrb25maXJtYXNpIGZha3RhIGJhaHdhIGRpc3RyaWJ1c2kgYmlub21pYWwgYWRhbGFoIGtvbnZvbHVzaSBNIGRhcmkgZGlzdHJpYnVzaSBCZXJub3VsbGksIHlhbmcgbWVydXBha2FuIGRpc3RyaWJ1c2kgYmlub21pYWwgZGVuZ2FuICRtPTEkIGRhbiBwZ2YgJCgxK3Eoei0xKSkkDQo8YnI+DQpla3NwZXRhc2kgZGFyaSBiaW5vbWlhbCBkaXN0cmlidXNpOg0KIVtmdW5jdGlvbl0oY2MucG5nKQ0KVmFyaWFucyBkYXJpIGp1bWxhaCB2YXJpYWJlbCBhY2FrIGluZGVwZW5kZW4gYWRhbGFoIGp1bWxhaCB2YXJpYW5ueWE6DQohW2Z1bmN0aW9uXSh6ei5wbmcpDQoNCiMjIyBQb2lzc29uIERpc3RyaWJ1dGlvbg0KDQpEaXN0cmlidXNpIFBvaXNzb24gZGlwYXJhbWV0cmlrYW4gZGVuZ2FuIHBhcmFtZXRlciB0dW5nZ2FsIHlhbmcgYmlhc2FueWEgZGlsYW1uYmFuZ2thbiBkZW5nYW4gJFxsYW1iZGEkIHlhbmcgbWVtYXN1a2thbiBuaWxhaSAkKDAsIFxpbmZ0eSkkIGRpbWFuYSBwbWY6DQohW2Z1bmN0aW9uXShzcy5wbmcpDQoNCmZvcm11bGEgZGlhdGFzIHVudHVrIHNldGlhcCBzdWt1bnlhIGplbGFzIHRpZGFrIG5lZ2F0aWYgZGFuIGp1bWxhaG55YSBtZW5qYWRpIHNhdHUgZW1uZ2lrdXRpIHBlcmx1YXNhbiBkZXJldCB0YXlsb3IgdGFrIHRlcmJhdGFzIGRhcmkgJGVeXGxhbWJkYSQuIHBnZiBkYXBhdCBkaXR1cnVua2FuIGRlbmdhbiAkUF9OKC4pJCBzZWJhZ2FpIGJlcmlrdXQ6DQohW2Z1bmN0aW9uXShxcS5wbmcpDQpkYXJpIGZvcm11bGEgZGlhdGFzIGRpZGFwYXRrYW4gbWdmIG55YToNCiFbZnVuY3Rpb25dKGhoLnBuZykNCg0KamFkaSBwZW51cnVuYW4gcmF0YS1yYXRhIHVudHVrIGRpc3RyaWJ1c2kgcG9pc3NvbiBueWEgYWRhbGFoOg0KIVtmdW5jdGlvbl0oYXMucG5nKQ0KYmVudHVrIGVrc3BldGFzaSBkYXJpIHBvaXNzb246DQohW2Z1bmN0aW9uXShhei5wbmcpDQpkZW5nYW4gbWVuZ2d1bmFrYW4gdGVvcmVtYSAxIGtpdGEgZGFwYXQgbWVsaWhhdCBiYWh3YToNCiFbZnVuY3Rpb25dKHhjLnBuZykNCmphZGksIHZhcmlhbnMgbnlhIHNlYmFnYWkgYmVyaWt1dDoNCiFbZnVuY3Rpb25dKHF3LnBuZykNCg0KIyMjIGRpc3RyaWJ1c2kgYmlub21pYWwgbmVnYXRpZg0KDQpkaXN0cmlidXNpIGJpbm9taWFsIG11bmN1bCBzZWJhZ2FpIGp1bWxhaCBrZWJlcmhhc2lsYW4gZGFsYW0gJE0kIHBlbmd1bGFuZ2FuIGluZGVwZW5kZW4gZGFyaSBwZXJjb2JhYW4gZGVuZ2FuIGhhc2lsIGJpbmVyLCBKaWthIGluZ2luIG1lbXBlcnRpbWJhbmdrYW4ganVtbGFoIGtlYmVyaGFzaWxhbiBzYW1wYWkga2l0YSBtZW5nYW1hdGkgJFIkIGFkYWxhaCBrZWdhZ2FsYW4gZGFsYW0gcGVuZ3VsYW5nYW4gaW5kZXBlbmRlbiBkYXJpIHBlcmNvYmFhbiBkZW5nYW4gaGFzaWwgYmluZXIsIG1ha2EgZGlzdHJpYnVzaW55YSBhZGFsYWggZGlzdHJpYnVzaSBiaW5vbWlhbCBuZWdhdGlmLiBCZW50dWsgYmlub21pYWwgYWRhbGFoLA0KYmVudHVrIGtvZWZpc2llbiBiaW5vbWlhbCB1bXVtIHlhaXR1Og0KIVtmdW5jdGlvbl0odnYucG5nKQ0KamFkaSwNCiFbZnVuY3Rpb25dKGNkLnBuZykNCmppa2EgJHM9LXIkIG1ha2E6DQohW2Z1bmN0aW9uXShzci5wbmcpDQpqaWthIGtpdGEgaW5naW4gbWVuZGVmaW5pc2lrYW4gJFBfayQgc2ViYWdhaQ0KIVtmdW5jdGlvbl0ocGsucG5nKQ0KDQp1bnR1ayAkcj4wJCBkYW4gJFxiZXRhID4tMCQgbGFsdSBtZW5kZWZpbmlzaWthbiBwbWYgeWFuZyB2YWxpZC4gZGlzdHJpYnVzaSB5YW5nIGRpdGVudHVrYW4gc2VwZXJ0aSBkaWF0YXMgZGlzZWJ1dCBkaXN0cmlidXNpIGJpbm9taWFsIG5lZ2F0aWYgZGVuZ2FuIHBhcmFtZXRlciAkKHIsXGJldGEpJCBkZW5nYW4gJHI+MCQgZGFuICRcYmV0YSA+LTAk