5.5. Pengaruh Modifikasi Cakupan
5.5.1. Dampak Exposure terhadap Frekuensi
Bagian ini membahas tentang model risiko individu untuk jumlah klaim.
Model risiko individu melibatkan nilai \(n\) dari jumlah kontrak dan variabel acak
kerugian independen \(X_i\).
Pertimbangkan jumlah klaim dari kelompok nilai \(n\):
\(S=X_1+\cdots+X_n ,\)
Dengan asumsi \(X_i\) adalah iid
yang merepresentasikan nilai klaim dari policy \(i\). Pada kasus ini, exposure dari
portofolio dilambangkan dengan \(n\),
dan menggunakan policy sebagai dasar exposure. Maka PGF dari
\(S\) adalah:
\(\begin{aligned}P_{S}(z)&={\rm
E}(z^S)={\rm E}\left(z^{\sum_{i=1}^nX_i}\right)\\&=\prod_{i=1}^n{\rm
E}(z^{X_i})=[P_X(z)]^n .\end{aligned}\)
Kasus spesial:Poisson. Jika \(X_i\)~Poi\((λ)\), hal ini berarti pgf \(P_X(z)=e^{\lambda(z-1)}.\) Kemudian
pgf dari \(S\) adalah \(P_{S}(z)=[e^{\lambda(z-1)}]^n=e^{n\lambda(z-1)}.\)
Jadi nilai \(S\)~Poi(\(nλ\)) adalah jumlah dari \(n\) variabel acak Poisson independen
masing- masing dengan mean \(λ\), yang
memiliki distribusi Poisson dengan mean \(nλ\).
Kasus Spesial:Negatif Binomial JIka \(X_i\) ~ \(NB\)(\(β\),\(r\)), Nilai pgf adalah \(P_X(z)=[1-\beta(z-1)]^{-r}.\) Kemudian
pgf dari \(S\) adalah \(P_{S}(z)=[[1-\beta(z-1)]^{-r}]^n=[1-\beta(z-1)]^{-nr}.\)
Jadi, \(S\)~\(NB\)(\(β\),\(r\)).
5.5.2. Dampak dari Deductible pada Frekuensi Klaim
Bagian ini membahas pengaruh dari deductible pada frekuensi klaim.
Secara analisis, dapat ditarik hipotesis awal bahwa klaim yang diajukan
akan lebih sedikit apabila kebijakan deductible diberlakukan karena
kerugian di bawah tingkat deductible kemungkinan akan tidak menghasilkan
klaim. Bahkan jika klien tertanggung mengajukan klaim, hal ini mungkin
tidak akan menghasilkan pembayaran dari policy, karena klaim dapat
ditolak atau dapat pula jumlah kerugian dapat ditentukan di bawah yang
dapat dikurangkan. Nilai \(N^L\)
menunjukkan jumlah kerugian (klaim yang tidak dapat dikurangi), dan
\(N^p\) menunjukkan jumlah pembayaran
ketika deductible \(d\) diberlakukan.
Tujuan bagian ini adalah untuk mengidentifikasi distribusi \(N^p\) mengingt pembagian dari \(N^L\). Hubungan antara \(N^L\) dan \(N^P\) dapat dibentuk dalam kerangka model
risiko agregat. Terkadang perubahan deductible akan memengaruhi perilaku
klaim pemegang polis. Tetapi diasumsikan bahwa hal ini tidak benar,
karena distribusi kerugian yang mendasari untuk frekuensi dan tingkat
kerugian tetap tidak berubah ketika deductible berubah.
\(N^L\) adalah kerugian, maka \(X_1,X_2…,X_{N^L}\) adalah jumlah kerugian
yang terkait. Maka untuk \(j=1,…,{N^L}\) dapat dituliskan sebagai:
\(\begin{eqnarray*}I_j&=&\left
\{\begin{array}{cc}1 & \text{if} ~X_j>d\\0 &
\text{otherwise}\\\end{array}\right..\end{eqnarray*}\)
Lalu dapat pula ditarik,
\(N^P=I_1+I_2+\cdots+I_{N^L},\)
yaitu jumlah total pembayaran sama dengan jumlah kerugian di atas
tingkat yang dapat dikurangkan. Mengingat bahwa \(I_j\) adalah variabel acak Bernoulli
independen dengan probabilitas keberhasilan \(v=Pr(X>d)\) maka jumlah dari sejumlah
variabel tersebut adalah variabel acak binomial. Dengan demikian,
pengkondisian pada \(N^L\) DAN \(N^P\) memiliki distribusi binomial, yaitu
\(N^P\)|\(N^L\)∼\(Bin({N^L},v)\) dengan \(v = Pr(X>d)\). Hal ini menyiratkan
bahwa
\(\begin{aligned}\mathrm{E}\left(z^{N^P}|N^L\right)&=
\left[1+v(z-1)\right]^{N^L} \end{aligned}\)
Jadi nilai Pgf terhadap \(N^P\) adalah
\(\begin{aligned}P_{N^P}(z)&=\mathrm{E}_{N^P}\left(z^{N^P}\right)=\mathrm{E}_{N^L}\left[\mathrm{E}_{N^P}\left(z^{N^P}|N^L\right)\right]\\&=\mathrm{E}_{N^L}\left[(1+v(z-1))^{N^L}\right]\\&=
P_{N^L}\left(1+v(z-1)\right) .\end{aligned}\)
Dengan demikian, kita dapat menulis pgf dari \(N^P\) sebagai pgf dari \(N^L\) yang dievaluasi pada sebuah argumen
baru \(z^* = 1+v(z-1)\). Artinya, \(P_{N^P}(z)=P_{N^L}(z^*)\).
5.5.3. Dampak Modifikasi Kebijakan terhadap Klaim Agregat
Pada bagian ini, kami memeriksa bagaimana perubahan dalam deductible
mempengaruhi pembayaran agregat dari portofolio asuransi. Kami
mengasumsikan bahwa adanya batasan polis \((u)\), asuransi bersama (coinsurance) \((α)\), dan inflasi \((r)\) tidak berpengaruh pada distribusi
frekuensi pembayaran yang dilakukan oleh perusahaan asuransi. Seperti
pada bagian sebelumnya, kami mengasumsikan bahwa perubahan deductible
tidak mempengaruhi distribusi yang mendasari kerugian baik untuk
frekuensi maupun tingkat keparahan.
Ingat notasi \(N^L\) untuk jumlah
kerugian. Dengan jumlah kerugian awal \(X\) dan deductible polis \(d\) kita menggunakan \(N^P\) untuk jumlah pembayaran (seperti yang
didefinisikan di bagian 5.5.2 sebelumnya). Juga, tentukan jumlah
pembayaran berdasarkan per-kerugian sebagai
\(\begin{eqnarray*}X^{L}&=\left\{\begin{array}{ll}0
~, & \text{if } ~X<\cfrac{d}{1+r} \\\alpha[(1+r)X-d]~, &
\text{if } ~\cfrac{d}{1+r}\leq X<\cfrac{u}{1+r} \\\alpha(u-d)~, &
\text{if } ~X
\ge\cfrac{u}{1+r}\\\end{array}\right.,\end{eqnarray*}\)
dan jumlah pembayaran berdasarkan basis per pembayaran sebagai
\(\begin{eqnarray*}X^{P}&=\left\{\begin{array}{ll}{\rm
undefined} ~, & \text{if }~ X<\cfrac{d}{1+r} \\\alpha[(1+r)X-d]~,
& \text{if }~ \cfrac{d}{1+r}\leq X<\cfrac{u}{1+r} \\\alpha(u-d)~,
& \text{if } ~ X \ge \cfrac{u}{1+r}
.\\\end{array}\right..\end{eqnarray*}\)
Dalam persamaan di atas, \(r\),
\(u\) dan \(α\) masing-masing mewakili tingkat inflasi,
batas polis, dan koinsuransi. Oleh karena itu, biaya agregat (jumlah
pembayaran) dapat dinyatakan berdasarkan per kerugian atau per
pembayaran:
\(\begin{aligned}S &= X^L_1 + \cdots +
X^L_{N^L} \\&=X^P_1 + \cdots + X^P_{N^P}
~.\end{aligned}\)
(Ingatlah bahwa ketika kami memperkenalkan basis per-kerugian dan
per-pembayaran di Bagian 3.4, kami menggunakan huruf \(Y\) untuk membedakan kerugian dari
pembayaran asuransi, atau klaim. Pada titik ini dalam pengembangan kita,
kita menggunakan huruf \(X\) untuk
mengurangi kerumitan notasi).
Dasar-dasar mengenai model risiko kolektif sudah siap untuk
diterapkan. Sebagai contoh, kami telah melakukannya:
\(\begin{aligned}{\rm E}(S) &= {\rm
E}\left(N^L\right) {\rm E}\left(X^L\right) = {\rm E}\left(N^P\right)
{\rm E}\left(X^P\right)\\{\rm Var}(S) &= {\rm E}\left(N^L\right)
{\rm Var}\left(X^L\right) + \left[{\rm E}\left(X^L\right)\right]^2 {\rm
Var}(N^L) \\&= {\rm E}\left(N^P\right) {\rm Var}\left(X^P\right) +
\left[{\rm E}\left(X^P\right)\right]^2 {\rm
Var}(N^P)\\M_S(z)&=P_{N^L}\left[M_{X^L}(z)\right]=P_{N^P}\left[M_{X^P}(z)\right]
.\end{aligned}\)
LS0tDQp0aXRsZTogIlRlb3JpIFJlc2lrbyAiDQpzdWJ0aXRsZTogIlR1Z2FzIDUiDQphdXRob3I6ICJNdWhhbW1hZCBOYXVmYWwgQXJkaWFuc3lhaCAoMjAyMDQ5MjAwMTcpIg0KZGF0ZTogICJgciBmb3JtYXQoU3lzLkRhdGUoKSwgJyVCICVkLCAlWScpYCINCm91dHB1dDoNCiAgcm1kZm9ybWF0czo6cm9ib2Jvb2s6ICAgIyBodHRwczovL2dpdGh1Yi5jb20vanViYS9ybWRmb3JtYXRzDQogICAgc2VsZl9jb250YWluZWQ6IHRydWUNCiAgICB0aHVtYm5haWxzOiB0cnVlDQogICAgbGlnaHRib3g6IHRydWUNCiAgICBnYWxsZXJ5OiB0cnVlDQogICAgbGliX2RpcjogbGlicw0KICAgIGRmX3ByaW50OiAicGFnZWQiDQogICAgY29kZV9mb2xkaW5nOiAic2hvdyINCiAgICBjb2RlX2Rvd25sb2FkOiB5ZXMNCiAgICBjc3M6ICJzdHlsZS5jc3MiDQoNCi0tLQ0KDQoNCg0KDQo8YnI+DQoNCg0KPGltZyBzdHlsZT0iZmxvYXQ6IHJpZ2h0OyBtYXJnaW46IC01MHB4IDUwcHggMHB4IDUwcHg7IHdpZHRoOjI1JSIgc3JjPSJuYXVmYWwuanBlZyIvPiANCg0KfA0KOi0tLS0gfDotLS0tDQoqS29udGFrfCAqOiAqJFxkb3duYXJyb3ckKg0KRW1haWx8IG5hdWZhbDM0MzNAZ21haWwuY29tDQpJbnN0YWdyYW0gfCBodHRwczovL3d3dy5pbnN0YWdyYW0uY29tL21fbmF1ZmFsYXJkaWFuc3lhaC8gDQpSUHVicyAgfCBodHRwczovL3JwdWJzLmNvbS9tdWhhbWFkX25hdWZhbC8gDQoNCioqKg0KDQojIDUuNS4gUGVuZ2FydWggTW9kaWZpa2FzaSBDYWt1cGFuIA0KDQojIyA1LjUuMS4gRGFtcGFrIEV4cG9zdXJlIHRlcmhhZGFwIEZyZWt1ZW5zaQ0KDQpCYWdpYW4gaW5pIG1lbWJhaGFzIHRlbnRhbmcgbW9kZWwgcmlzaWtvIGluZGl2aWR1IHVudHVrIGp1bWxhaCBrbGFpbS4gTW9kZWwgcmlzaWtvIGluZGl2aWR1IG1lbGliYXRrYW4gbmlsYWkgJG4kIGRhcmkganVtbGFoIGtvbnRyYWsgZGFuIHZhcmlhYmVsIGFjYWsga2VydWdpYW4gaW5kZXBlbmRlbiAkWF9pJC4gUGVydGltYmFuZ2thbiBqdW1sYWgga2xhaW0gZGFyaSBrZWxvbXBvayBuaWxhaSAkbiQ6DQoNCiRTPVhfMStcY2RvdHMrWF9uICwkDQoNCkRlbmdhbiBhc3Vtc2kgJFhfaSQgYWRhbGFoIGlpZCB5YW5nIG1lcmVwcmVzZW50YXNpa2FuIG5pbGFpIGtsYWltIGRhcmkgcG9saWN5ICRpJC4gUGFkYSBrYXN1cyBpbmksIGV4cG9zdXJlIGRhcmkgcG9ydG9mb2xpbyBkaWxhbWJhbmdrYW4gZGVuZ2FuICRuJCwgZGFuIG1lbmdndW5ha2FuIHBvbGljeSBzZWJhZ2FpIGRhc2FyIGV4cG9zdXJlLiBNYWthICpQR0YqIGRhcmkgJFMkIGFkYWxhaDoNCg0KJFxiZWdpbnthbGlnbmVkfVBfe1N9KHopJj17XHJtIEV9KHpeUyk9e1xybSBFfVxsZWZ0KHpee1xzdW1fe2k9MX1eblhfaX1ccmlnaHQpXFwmPVxwcm9kX3tpPTF9Xm57XHJtIEV9KHpee1hfaX0pPVtQX1goeildXm4gLlxlbmR7YWxpZ25lZH0kDQoNCioqS2FzdXMgc3Blc2lhbDpQb2lzc29uLioqDQpKaWthICRYX2kkfipQb2kqJCjOuykkLCBoYWwgaW5pIGJlcmFydGkgKnBnZiogJFBfWCh6KT1lXntcbGFtYmRhKHotMSl9LiQgS2VtdWRpYW4gKnBnZiogZGFyaSAkUyQgYWRhbGFoICRQX3tTfSh6KT1bZV57XGxhbWJkYSh6LTEpfV1ebj1lXntuXGxhbWJkYSh6LTEpfS4kDQoNCkphZGkgbmlsYWkgJFMkfipQb2kqKCRuzrskKSBhZGFsYWgganVtbGFoIGRhcmkgJG4kIHZhcmlhYmVsIGFjYWsgUG9pc3NvbiBpbmRlcGVuZGVuIG1hc2luZy0gbWFzaW5nIGRlbmdhbiBtZWFuICTOuyQsIHlhbmcgbWVtaWxpa2kgZGlzdHJpYnVzaSBQb2lzc29uIGRlbmdhbiBtZWFuICRuzrskLg0KDQoqKioNCg0KKipLYXN1cyBTcGVzaWFsOk5lZ2F0aWYgQmlub21pYWwqKg0KSklrYSAkWF9pJCB+ICROQiQoJM6yJCwkciQpLCBOaWxhaSAqcGdmKiBhZGFsYWggJFBfWCh6KT1bMS1cYmV0YSh6LTEpXV57LXJ9LiQgS2VtdWRpYW4gKnBnZiogZGFyaSAkUyQgYWRhbGFoICRQX3tTfSh6KT1bWzEtXGJldGEoei0xKV1eey1yfV1ebj1bMS1cYmV0YSh6LTEpXV57LW5yfS4kDQpKYWRpLCAkUyR+JE5CJCgkzrIkLCRyJCkuDQoNCioqKg0KDQojIyA1LjUuMi4gRGFtcGFrIGRhcmkgRGVkdWN0aWJsZSBwYWRhIEZyZWt1ZW5zaSBLbGFpbQ0KDQpCYWdpYW4gaW5pIG1lbWJhaGFzIHBlbmdhcnVoIGRhcmkgZGVkdWN0aWJsZSBwYWRhIGZyZWt1ZW5zaSBrbGFpbS4gU2VjYXJhIGFuYWxpc2lzLCBkYXBhdCBkaXRhcmlrIGhpcG90ZXNpcyBhd2FsIGJhaHdhIGtsYWltIHlhbmcgZGlhanVrYW4gYWthbiBsZWJpaCBzZWRpa2l0IGFwYWJpbGEga2ViaWpha2FuIGRlZHVjdGlibGUgZGliZXJsYWt1a2FuIGthcmVuYSBrZXJ1Z2lhbiBkaSBiYXdhaCB0aW5na2F0IGRlZHVjdGlibGUga2VtdW5na2luYW4gYWthbiB0aWRhayBtZW5naGFzaWxrYW4ga2xhaW0uIEJhaGthbiBqaWthIGtsaWVuIHRlcnRhbmdndW5nIG1lbmdhanVrYW4ga2xhaW0sIGhhbCBpbmkgbXVuZ2tpbiB0aWRhayBha2FuIG1lbmdoYXNpbGthbiBwZW1iYXlhcmFuIGRhcmkgcG9saWN5LCBrYXJlbmEga2xhaW0gZGFwYXQgZGl0b2xhayBhdGF1IGRhcGF0IHB1bGEganVtbGFoIGtlcnVnaWFuIGRhcGF0IGRpdGVudHVrYW4gZGkgYmF3YWggeWFuZyBkYXBhdCBkaWt1cmFuZ2thbi4gTmlsYWkgJE5eTCQgbWVudW5qdWtrYW4ganVtbGFoIGtlcnVnaWFuIChrbGFpbSB5YW5nIHRpZGFrIGRhcGF0IGRpa3VyYW5naSksIGRhbiAkTl5wJCBtZW51bmp1a2thbiBqdW1sYWggcGVtYmF5YXJhbiBrZXRpa2EgZGVkdWN0aWJsZSAkZCQgZGliZXJsYWt1a2FuLiBUdWp1YW4gYmFnaWFuIGluaSBhZGFsYWggdW50dWsgbWVuZ2lkZW50aWZpa2FzaSBkaXN0cmlidXNpICROXnAkIG1lbmdpbmd0IHBlbWJhZ2lhbiBkYXJpICROXkwkLiBIdWJ1bmdhbiBhbnRhcmEgJE5eTCQgZGFuICROXlAkIGRhcGF0IGRpYmVudHVrIGRhbGFtIGtlcmFuZ2thIG1vZGVsIHJpc2lrbyBhZ3JlZ2F0LiBUZXJrYWRhbmcgcGVydWJhaGFuIGRlZHVjdGlibGUgYWthbiBtZW1lbmdhcnVoaSBwZXJpbGFrdSBrbGFpbSBwZW1lZ2FuZyBwb2xpcy4gVGV0YXBpIGRpYXN1bXNpa2FuIGJhaHdhIGhhbCBpbmkgdGlkYWsgYmVuYXIsIGthcmVuYSBkaXN0cmlidXNpIGtlcnVnaWFuIHlhbmcgbWVuZGFzYXJpIHVudHVrIGZyZWt1ZW5zaSBkYW4gdGluZ2thdCBrZXJ1Z2lhbiB0ZXRhcCB0aWRhayBiZXJ1YmFoIGtldGlrYSBkZWR1Y3RpYmxlIGJlcnViYWguDQoNCiROXkwkIGFkYWxhaCBrZXJ1Z2lhbiwgbWFrYSAkWF8xLFhfMuKApixYX3tOXkx9JCBhZGFsYWgganVtbGFoIGtlcnVnaWFuIHlhbmcgdGVya2FpdC4gTWFrYSB1bnR1ayAkaj0xLOKApix7Tl5MfSQgZGFwYXQgZGl0dWxpc2thbiBzZWJhZ2FpOg0KDQokXGJlZ2lue2VxbmFycmF5Kn1JX2omPSZcbGVmdCBce1xiZWdpbnthcnJheX17Y2N9MSAmIFx0ZXh0e2lmfSB+WF9qPmRcXDAgJiBcdGV4dHtvdGhlcndpc2V9XFxcZW5ke2FycmF5fVxyaWdodC4uXGVuZHtlcW5hcnJheSp9JA0KDQpMYWx1IGRhcGF0IHB1bGEgZGl0YXJpaywNCg0KJE5eUD1JXzErSV8yK1xjZG90cytJX3tOXkx9LCQNCg0KeWFpdHUganVtbGFoIHRvdGFsIHBlbWJheWFyYW4gc2FtYSBkZW5nYW4ganVtbGFoIGtlcnVnaWFuIGRpIGF0YXMgdGluZ2thdCB5YW5nIGRhcGF0IGRpa3VyYW5na2FuLiBNZW5naW5nYXQgYmFod2EgJElfaiQgYWRhbGFoIHZhcmlhYmVsIGFjYWsgQmVybm91bGxpIGluZGVwZW5kZW4gZGVuZ2FuIHByb2JhYmlsaXRhcyBrZWJlcmhhc2lsYW4gJHY9UHIoWD5kKSQgbWFrYSBqdW1sYWggZGFyaSBzZWp1bWxhaCB2YXJpYWJlbCB0ZXJzZWJ1dCBhZGFsYWggdmFyaWFiZWwgYWNhayBiaW5vbWlhbC4gRGVuZ2FuIGRlbWlraWFuLCBwZW5na29uZGlzaWFuIHBhZGEgJE5eTCQgREFOICROXlAkIG1lbWlsaWtpIGRpc3RyaWJ1c2kgYmlub21pYWwsIHlhaXR1ICROXlAkfCROXkwk4oi8JEJpbih7Tl5MfSx2KSQgZGVuZ2FuICR2ID0gUHIoWD5kKSQuIEhhbCBpbmkgbWVueWlyYXRrYW4gYmFod2ENCg0KJFxiZWdpbnthbGlnbmVkfVxtYXRocm17RX1cbGVmdCh6XntOXlB9fE5eTFxyaWdodCkmPSBcbGVmdFsxK3Yoei0xKVxyaWdodF1ee05eTH0gXGVuZHthbGlnbmVkfSQNCg0KSmFkaSBuaWxhaSAqUGdmKiB0ZXJoYWRhcCAkTl5QJCBhZGFsYWgNCg0KJFxiZWdpbnthbGlnbmVkfVBfe05eUH0oeikmPVxtYXRocm17RX1fe05eUH1cbGVmdCh6XntOXlB9XHJpZ2h0KT1cbWF0aHJte0V9X3tOXkx9XGxlZnRbXG1hdGhybXtFfV97Tl5QfVxsZWZ0KHpee05eUH18Tl5MXHJpZ2h0KVxyaWdodF1cXCY9XG1hdGhybXtFfV97Tl5MfVxsZWZ0WygxK3Yoei0xKSlee05eTH1ccmlnaHRdXFwmPSBQX3tOXkx9XGxlZnQoMSt2KHotMSlccmlnaHQpIC5cZW5ke2FsaWduZWR9JA0KDQpEZW5nYW4gZGVtaWtpYW4sIGtpdGEgZGFwYXQgbWVudWxpcyAqcGcqZiBkYXJpICROXlAkIHNlYmFnYWkgKnBnZiogZGFyaSAkTl5MJCB5YW5nIGRpZXZhbHVhc2kgcGFkYSBzZWJ1YWggYXJndW1lbiBiYXJ1ICR6XiogPSAxK3Yoei0xKSQuIEFydGlueWEsICRQX3tOXlB9KHopPVBfe05eTH0oel4qKSQuDQoNCiMjIDUuNS4zLiBEYW1wYWsgTW9kaWZpa2FzaSBLZWJpamFrYW4gdGVyaGFkYXAgS2xhaW0gQWdyZWdhdA0KDQpQYWRhIGJhZ2lhbiBpbmksIGthbWkgbWVtZXJpa3NhIGJhZ2FpbWFuYSBwZXJ1YmFoYW4gZGFsYW0gZGVkdWN0aWJsZSBtZW1wZW5nYXJ1aGkgcGVtYmF5YXJhbiBhZ3JlZ2F0IGRhcmkgcG9ydG9mb2xpbyBhc3VyYW5zaS4gS2FtaSBtZW5nYXN1bXNpa2FuIGJhaHdhIGFkYW55YSBiYXRhc2FuIHBvbGlzICQodSkkLCBhc3VyYW5zaSBiZXJzYW1hIChjb2luc3VyYW5jZSkgJCjOsSkkLCBkYW4gaW5mbGFzaSAkKHIpJCB0aWRhayBiZXJwZW5nYXJ1aCBwYWRhIGRpc3RyaWJ1c2kgZnJla3VlbnNpIHBlbWJheWFyYW4geWFuZyBkaWxha3VrYW4gb2xlaCBwZXJ1c2FoYWFuIGFzdXJhbnNpLiBTZXBlcnRpIHBhZGEgYmFnaWFuIHNlYmVsdW1ueWEsIGthbWkgbWVuZ2FzdW1zaWthbiBiYWh3YSBwZXJ1YmFoYW4gZGVkdWN0aWJsZSB0aWRhayBtZW1wZW5nYXJ1aGkgZGlzdHJpYnVzaSB5YW5nIG1lbmRhc2FyaSBrZXJ1Z2lhbiBiYWlrIHVudHVrIGZyZWt1ZW5zaSBtYXVwdW4gdGluZ2thdCBrZXBhcmFoYW4uDQoNCkluZ2F0IG5vdGFzaSAkTl5MJCB1bnR1ayBqdW1sYWgga2VydWdpYW4uIERlbmdhbiBqdW1sYWgga2VydWdpYW4gYXdhbCAkWCQgZGFuIGRlZHVjdGlibGUgcG9saXMgJGQkIGtpdGEgbWVuZ2d1bmFrYW4gJE5eUCQgdW50dWsganVtbGFoIHBlbWJheWFyYW4gKHNlcGVydGkgeWFuZyBkaWRlZmluaXNpa2FuIGRpIGJhZ2lhbiA1LjUuMiBzZWJlbHVtbnlhKS4gSnVnYSwgdGVudHVrYW4ganVtbGFoIHBlbWJheWFyYW4gYmVyZGFzYXJrYW4gcGVyLWtlcnVnaWFuIHNlYmFnYWkNCg0KJFxiZWdpbntlcW5hcnJheSp9WF57TH0mPVxsZWZ0XHtcYmVnaW57YXJyYXl9e2xsfTAgfiwgJiBcdGV4dHtpZiB9IH5YPFxjZnJhY3tkfXsxK3J9IFxcXGFscGhhWygxK3IpWC1kXX4sICYgXHRleHR7aWYgfSB+XGNmcmFje2R9ezErcn1cbGVxIFg8XGNmcmFje3V9ezErcn0gXFxcYWxwaGEodS1kKX4sICYgIFx0ZXh0e2lmIH0gflggXGdlXGNmcmFje3V9ezErcn1cXFxlbmR7YXJyYXl9XHJpZ2h0LixcZW5ke2VxbmFycmF5Kn0kDQoNCmRhbiBqdW1sYWggcGVtYmF5YXJhbiBiZXJkYXNhcmthbiBiYXNpcyBwZXIgcGVtYmF5YXJhbiBzZWJhZ2FpDQoNCiRcYmVnaW57ZXFuYXJyYXkqfVhee1B9Jj1cbGVmdFx7XGJlZ2lue2FycmF5fXtsbH17XHJtIHVuZGVmaW5lZH0gfiwgJiBcdGV4dHtpZiB9fiBYPFxjZnJhY3tkfXsxK3J9IFxcXGFscGhhWygxK3IpWC1kXX4sICYgXHRleHR7aWYgfX4gXGNmcmFje2R9ezErcn1cbGVxIFg8XGNmcmFje3V9ezErcn0gXFxcYWxwaGEodS1kKX4sICYgIFx0ZXh0e2lmIH0gfiBYIFxnZSBcY2ZyYWN7dX17MStyfSAuXFxcZW5ke2FycmF5fVxyaWdodC4uXGVuZHtlcW5hcnJheSp9JA0KDQpEYWxhbSBwZXJzYW1hYW4gZGkgYXRhcywgJHIkLCAkdSQgZGFuICTOsSQgbWFzaW5nLW1hc2luZyBtZXdha2lsaSB0aW5na2F0IGluZmxhc2ksIGJhdGFzIHBvbGlzLCBkYW4ga29pbnN1cmFuc2kuIE9sZWgga2FyZW5hIGl0dSwgYmlheWEgYWdyZWdhdCAoanVtbGFoIHBlbWJheWFyYW4pIGRhcGF0IGRpbnlhdGFrYW4gYmVyZGFzYXJrYW4gcGVyIGtlcnVnaWFuIGF0YXUgcGVyIHBlbWJheWFyYW46DQoNCiRcYmVnaW57YWxpZ25lZH1TICY9IFheTF8xICsgXGNkb3RzICsgWF5MX3tOXkx9IFxcJj1YXlBfMSArIFxjZG90cyArIFheUF97Tl5QfSB+LlxlbmR7YWxpZ25lZH0kDQoNCihJbmdhdGxhaCBiYWh3YSBrZXRpa2Ega2FtaSBtZW1wZXJrZW5hbGthbiBiYXNpcyBwZXIta2VydWdpYW4gZGFuIHBlci1wZW1iYXlhcmFuIGRpIEJhZ2lhbiAzLjQsIGthbWkgbWVuZ2d1bmFrYW4gaHVydWYgJFkkIHVudHVrIG1lbWJlZGFrYW4ga2VydWdpYW4gZGFyaSBwZW1iYXlhcmFuIGFzdXJhbnNpLCBhdGF1IGtsYWltLiBQYWRhIHRpdGlrIGluaSBkYWxhbSBwZW5nZW1iYW5nYW4ga2l0YSwga2l0YSBtZW5nZ3VuYWthbiBodXJ1ZiAkWCQgdW50dWsgbWVuZ3VyYW5naSBrZXJ1bWl0YW4gbm90YXNpKS4NCg0KRGFzYXItZGFzYXIgbWVuZ2VuYWkgbW9kZWwgcmlzaWtvIGtvbGVrdGlmIHN1ZGFoIHNpYXAgdW50dWsgZGl0ZXJhcGthbi4gU2ViYWdhaSBjb250b2gsIGthbWkgdGVsYWggbWVsYWt1a2FubnlhOg0KDQokXGJlZ2lue2FsaWduZWR9e1xybSBFfShTKSAmPSB7XHJtIEV9XGxlZnQoTl5MXHJpZ2h0KSB7XHJtIEV9XGxlZnQoWF5MXHJpZ2h0KSA9IHtccm0gRX1cbGVmdChOXlBccmlnaHQpIHtccm0gRX1cbGVmdChYXlBccmlnaHQpXFx7XHJtIFZhcn0oUykgJj0ge1xybSBFfVxsZWZ0KE5eTFxyaWdodCkge1xybSBWYXJ9XGxlZnQoWF5MXHJpZ2h0KSArIFxsZWZ0W3tccm0gRX1cbGVmdChYXkxccmlnaHQpXHJpZ2h0XV4yIHtccm0gVmFyfShOXkwpIFxcJj0ge1xybSBFfVxsZWZ0KE5eUFxyaWdodCkge1xybSBWYXJ9XGxlZnQoWF5QXHJpZ2h0KSArIFxsZWZ0W3tccm0gRX1cbGVmdChYXlBccmlnaHQpXHJpZ2h0XV4yIHtccm0gVmFyfShOXlApXFxNX1MoeikmPVBfe05eTH1cbGVmdFtNX3tYXkx9KHopXHJpZ2h0XT1QX3tOXlB9XGxlZnRbTV97WF5QfSh6KVxyaWdodF0gLlxlbmR7YWxpZ25lZH0kDQoNCg0K