Code
5.3 Collective Risk Model
Teori Resiko
5.3.1 Moments and Distribution
Jadi model risiko keleksif \(SN=X_1+...+X_N\) dengan {xi} adalah iid, dan tidak bergantung pada N Misalkan \(μ = E(X_i)\) dan \(σ^2=Var(X_i)\) untuk semua \(i\)
Dengan demikian, bersyarat pada N kita memiliki ekspektasi jumlah adalah jumlah ekspektasi dan varians.
\[
\begin{aligned}
{\rm E}(S|N) &= {\rm E}(X_1 + \cdots + X_N|N) = \mu N \\
{\rm Var}(S|N) &= {\rm Var}(X_1 + \cdots + X_N|N) = \sigma^2 N.
\end{aligned}
\]
Dengan menggunakan hukum ekspektasi berulang,rata-rata kerugian agregat adalah
\({\rm E}(S_N)={\rm E}_N[{\rm E}_S(S|N)] = {\rm E}_N(N\mu) = \mu ~{\rm E}(N).\)
Dengan menggunakan hukum varians total, varians dari kerugian agregat adalah
\[
\begin{aligned}
{\rm Var}(S_N) &= {\rm E}_N[{\rm Var}(S_N|N)] + {\rm Var}_N[{\rm E}(S_N|N)] \\
&= \mathrm{E}_N \left[ \sigma^2 N \right] + \mathrm{Var}_N\left[ \mu N \right] \\
&=\sigma^2~{\rm E}[N] + \mu^2~ {\rm Var}[N] .
\end{aligned}
\]
Kasus Khusus: Frekuensi Berdistribusi Poisson. Jika \(N∼Poi(λ)\) maka
\[
\begin{aligned}
\mathrm{E}(N) &= \mathrm{Var}(N) = \lambda\\
\mathrm{E}(S_N) &= \lambda ~\mathrm{E}(X)\\
\mathrm{Var}(S_N) &= \lambda (\sigma^2 + \mu^2) = \lambda ~\mathrm{E} (X^2).
\end{aligned}
\]
Example 5.3.1 Actuarial Exam Question
Jumlah kecelakaan mengikuti distribusi Poisson dengan rata-rata 12. Setiap kecelakaan menghasilkan 1, 2, atau 3 penuntut dengan probabilitas masing-masing 1/2, 1/3, dan 1/6. Hitunglah varians dalam jumlah total penuntut.
JAWABAN
\[
\begin{aligned}
& \mathrm{E}(X^2) = 1^2 \left( \frac{1}{2}\right) + 2^2\left(\frac{1}{3} \right) + 3^2\left(\frac{1}{6}\right)
= \frac{10}{3} \\
\Rightarrow &\mathrm{Var}(S_N) = \lambda \ \mathrm{E}(X^2) = 12\left(\frac{10}{3}\right) = 40 .
\end{aligned}
\]
Sebagai alternatif, Dapat menggunakan pendekatan umum, \(\mathrm{Var}(S_N) = \sigma^2 \mathrm{E}(N) + \mu^2 \mathrm{Var}(N)\) , Dimana
\[
\begin{aligned}
\mathrm{E}(N) &= \mathrm{Var}(N) = 12 \\
\mu &= \mathrm{E}(X) = 1\left(\frac{1}{2}\right) + 2\left(\frac{1}{3}\right) + 3\left(\frac{1}{6}\right)
= \frac{5}{3} \\
\sigma^2 &= \mathrm{E}(X^2) - [\mathrm{E}(X)]^2 = \frac{10}{3} - \frac{25}{9}
= \frac{5}{9} \\
\Rightarrow \ \mathrm{Var}(S_N) &= \left(\frac{5}{9}\right)\left(12\right) + \left(\frac{5}{3}\right)^2\left(12\right) = 40 .
\end{aligned}
\]
Secara umum, momen-momen SN dapat diturunkan dari fungsi pembangkit momen (mgf). Karena \(X_i\) adalah iid, dapat dinyatakan mgf dari X sebagai \(M_{X(t)}= E(e^{tX})\) . Dengan menggunakan hukum ekspektasi yang diiterasi, mgf dari \(S_N\) adalah
\[
\begin{aligned}
M_{S_N}(t) &= \mathrm{E}(e^{t S_N})=\mathrm{E}_N[\mathrm{E}(e^{tS_N}|N)]\\
&= \mathrm{E}_N \left[ ~\mathrm{E}\left( e^{t(X_1+\cdots+X_N)}\right) ~\right] =
\mathrm{E}_N \left[ \mathrm{E}(e^{tX_1})\cdots\mathrm{E}(e^{tX_N}) \right] ~~ \text{since } X_i \text{'s are independent} \\
&= \mathrm{E}N[~(M{X}(t))^N~] .
\end{aligned}
\]
Lalu dapat melihat fungsi pembangkit probabilitas(pgf) dari N adalah \(P_N(z)= E(Z^N)\) . Dengan menyatakan \(M_X(t)=z\) , lalu mengganti ke dalam ekspresi untuk mgf dari SN di atas, maka diperoleh
\[
\begin{aligned}
M_{S_N}(t) = \mathrm{E~}(z^N) = P_{N}(z) = P_{N}[M_{X}(t)].
\end{aligned}
\] Demikian pula, jika \(S_N\) merupakan diskrit, dapat menunjukkan juga pgf dari \(S_N\) adalah
\[
\begin{aligned}
P_{S_N}(z) = P_{N}[P_{X}(z)] .
\end{aligned}
\]
Untuk mendapatkan \(E(S_N) = M′S_N(0)\) dapat menggunakan aturan rantai:
\(M_{S_N}'(t) = \frac{\partial}{\partial t} P_{N}(M_{X}(t)) = P_{N}'(M_{X}(t)) M_{X}'(t)\\\)
Lalu Memanggil
\(M_{X}(0) = 1, M_{X}'(0) = \mathrm{E}(X) = \mu, P_{N}'(1) = \mathrm{E}(N)\)
Jadi,
\(\mathrm{E}(S_N) = M_{S_N}'(0) = P_{N}'(M_{X}(0)) M_{X}'(0) = \mu {\rm E}(N) .\)
Demikian pula, dapat menggunakan relasi \(E(S^2_N) = M′′_{S_N}(0)\) untuk mendapatkan
\(\mathrm{Var}(S_N) = \sigma^2 \mathrm{E}(N) + \mu^2 \mathrm{Var}(N).\)
Special Case. Poisson Frequency.
Misalkan \(N∼Poi(λ)\) dengan demikian, pgf dari \(N\) adalah \(P_N(z) = e^{λ(z-1)}\) dan mgf dari \(S_N\) adalah
\[
\begin{aligned}
M_{S_N}(t) &= P_N[M_X(t)] = e^{\lambda(M_{X}(t) - 1)}.
\end{aligned}
\]
Mengambil hasil turunan
\[
\begin{aligned}
M_{S_N}'(t) &= e^{\lambda(M_{X}(t) - 1)}~ \lambda~ M_{X}'(t) = M_{S_N}(t) ~\lambda ~M_{X}'(t)\\
M_{S_N}''(t) &= M_{S_N}(t) ~\lambda~ M_{X}''(t) + [~M_{S_N}(t)~\lambda~ M_{X}'(t)~] ~\lambda~ M_{X}'(t) .
\end{aligned}
\] Mengevaluasi hal ini pada t = 0 menghasilkan
\[
\begin{aligned}
\mathrm{E}(S_N) &= M_{S_N}'(0) = \lambda \mathrm{E}(X) = \lambda \mu
\end{aligned}
\]
Lalu
\[
\begin{aligned} M_{S_N}''(0) &= \lambda \mathrm{E}(X^2) + \lambda^2 \mu^2\\
\Rightarrow \mathrm{Var}(S_N) &= \lambda \mathrm{E}(X^2) + \lambda^2 \mu^2 - (\lambda \mu)^2 = \lambda~ \mathrm{E}(X^2).
\end{aligned}
\]
Example 5.3.2. Actuarial Exam Question Dimisalkan produser acara kuis televisi yang memberikan hadiah uang tunai. Jumlah hadiah(N) dan jumlah hadiah(X) memiliki distribusi sebagai berikut:
Sehingga Anggaran untuk hadiah sama dengan jumlah hadiah uang tunai yang diharapkan ditambah dengan deviasi standar dari jumlah hadiah uang tunai. Hitung anggaran!
JAWABAN
Diperlukan untuk menghitung rata-rata dan standar deviasi dari agregat (jumlah) hadiah uang tunai. Momen-momen dari distribusi frekuensi N adalah
\[
\begin{aligned}
\mathrm{E}(N) &= 1 (0.8) + 2 (0.2) =1.2\\
\mathrm{E}(N^2) &= 1^2 (0.8) + 2^2 (0.2) =1.6\\
\mathrm{Var}(N) &= \mathrm{E}(N^2) - \left[ \mathrm{E}(N) \right]^2= 0.16 .
\end{aligned}
\] Momen-momen dari distribusi tingkat keparahan X adalah
\[
\begin{aligned}
\mathrm{E}(X) &= 0 (0.2) + 100 (0.7) + 1000 (0.1) = 170 = \mu\\
\mathrm{E}(X^2) &= 0^2 (0.2) + 100^2 (0.7) + 1000^2 (0.1) = 107,000\\
\mathrm{Var}(X) &= \mathrm{E}(X^2) - \left[ \mathrm{E}(X) \right]^2=78,100 = \sigma^2 .
\end{aligned}
\]
Dengan demikian, rata-rata dan varians dari keseluruhan hadiah uang tunai adalah
\[
\begin{aligned}
\mathrm{E}(S_N) &= \mu \mathrm{E}(N) = 170 (1.2) = 204 \\
\mathrm{Var}(S_N) &= \sigma^2 \mathrm{E}(N) + \mu^2 \mathrm{Var}(N)\\
&= 78,100 (1.2) + 170^2 (0.16) = 98,344 .
\end{aligned}
\]
Sehingga anggaran yang dibutuhkan sebagai berikut
\[
\begin{aligned}
Budget &= \mathrm{E}(S_N) + \sqrt{\mathrm{Var}(S_N)} \\
&= 204 + \sqrt{98,344} = 517.60 .
\end{aligned}
\]
Distribusi \(S_N\) disebut distribusi majemuk, dan dapat diturunkan berdasarkan konvolusi \(F_X\) sebagai berikut:
\[
\begin{aligned}
F_{S_N}(s) &= \Pr \left(X_1 + \cdots + X_N \le s \right) \\
&= \mathrm{E} \left[ \Pr \left(X_1 + \cdots + X_N \le s|N=n \right) \right]\\
&= \mathrm{E} \left[ F_{X}^{\ast N}(s) \right] \\
&= p_0 + \sum_{n=1}^{\infty }p_n F_{X}^{\ast n}(s) .
\end{aligned}
\]
Ketika \(E(N)\) dan \(Var(N)\) diketahui, kita juga dapat menggunakan suatu jenis teorema limit pusat untuk mengestimasi distribusi \(S_N\) seperti pada model risiko individu. Yaitu, \(\frac{S_N - \mathrm{E}(S_N)}{\sqrt{\mathrm{Var}(S_N)}}\) kira-kira mengikuti distribusi normal standar \(N(0,1)\) . Dari jenis teorema limit pusat ini, aproksimasi bekerja dengan baik jika \(E[N]\) cukup besar.
5.3.2 Stop-loss Insurance
Modifikasi pertanggungan pada tingkat polis perorangan Pertanggungan atas kerugian agregat \(S_N\) , yang dikenakan sebuah deductible \(d\) disebut dengan . Nilai yang diharapkan dari jumlah kerugian agregat yang melebihi deductible,
\[
\begin{eqnarray*}
\mathrm{E}[(S-d)_+]
\end{eqnarray*}
\]
dikenal sebagai premi stop-loss bersih. Untuk menghitung premi stop-loss neto, kita memiliki
\[
\begin{eqnarray*}
\mathrm{E}(S_N-d)_+
&=&
\left\{\begin{array}{ll}
\int_{d}^{\infty}(s-d) f_{S_N}(s) ds& \text{for continuous } S_N\\
\sum_{s>d}(s-d) f_{S_N}(s) & \text{for discrete } S_N\\
\end{array}\right.\\
&=& \mathrm{E}(S_N) - \mathrm{E}(S_N\wedge d)\\
\end{eqnarray*}
\] ## Example 5.3.6. Actuarial Exam Question
Dalam satu minggu tertentu, jumlah proyek yang mengharuskan Anda bekerja lembur memiliki distribusi geometris dengan \(β = 2\) . Untuk setiap proyek, distribusi jumlah jam lembur dalam seminggu, X adalah sebagai berikut
Jumlah proyek dan jumlah jam lembur tidak bergantung. Anda akan dibayar untuk jam lembur yang melebihi 15 jam dalam seminggu. Hitunglah jumlah jam lembur yang akan diterima dalam seminggu.
JAWABAN
Jumlah proyek dalam seminggu yang membutuhkan kerja lembur memiliki distribusi \(N∼Geo(β=2)\) sedangkan jumlah jam kerja lembur per proyek memiliki distribusi \(X\) seperti yang telah dijelaskan di atas. Jumlah keseluruhan jam lembur dalam seminggu adalah SN dan oleh karena itu kita mencari
\(\mathrm{E}(S_N-15)_+ = \mathrm{E}(S_N) - \mathrm{E}(S_N \wedge 15).\)
Untuk mencari \(\mathrm{E}(S_N) = \mathrm{E}(X) ~\mathrm{E}(N)\) , maka akan didapat
\[
\begin{aligned}
&\mathrm{E}(X) = 5(0.2) + 10(0.3)+ 20(0.5)= 14 \\
&\mathrm{E}(N) = 2 \\
\Rightarrow \ &\mathrm{E}(S) = \mathrm{E}(X) ~ \mathrm{E}(N) = 14(2) = 28 .
\end{aligned}
\]
Untuk mencari \(\mathrm{E} (S_N \wedge 15) = 0 \Pr (S_N=0) + 5 \Pr(S_N=5) + 10 \Pr(S_N=10) + 15 \Pr(S_N \geq 15))\) , maka akan didapat
\[
\begin{aligned}
\Pr(S_N=0) &= \Pr(N=0) = \frac{1}{1+\beta} = \frac{1}{3} \\
\Pr(S_N=5) &= \Pr(X=5, \ N=1) = 0.2 \left(\frac{2}{9} \right)= \frac{0.4}{9}\\
\Pr(S_N=10) &= \Pr(X=10, \ N=1) + \Pr(X_1=X_2=5, N=2) \\
&= 0.3 \left(\frac{2}{9} \right) + (0.2)(0.2) \left( \frac{4}{27} \right)= 0.0726 \\
\Pr(S_N \geq 15) &= 1 - \left(\frac{1}{3} + \frac{0.4}{9} + 0.0726 \right) = 0.5496\\
\Rightarrow \mathrm{E}(S_N \wedge 15) &= 0 \Pr (S_N=0) + 5 \Pr(S_N=5) + 10 \Pr(S_N=10) + 15 \Pr(S_N \geq 15) \\
&= 0 \left( \frac{1}{3} \right) + 5
\left( \frac{0.4}{9} \right) + 10 (0.0726) + 15 (0.5496) = 9.193 .\\
\end{aligned}
\]
Oleh Karena itu:
\[
\begin{aligned}
\mathrm{E}(S_N-15)_+ &= \mathrm{E}(S_N) - \mathrm{E}(S_N \wedge 15) \\
&= 28 - 9.193 = 18.807 .
\end{aligned}
\]
Recursive Net Stop-Loss Premium Calculation
Untuk kasus diskrit, ini dapat dihitung secara rekursif sebagai
\[
\begin{aligned}
\mathrm{E}\left[ \left( S_N-(j+1)h \right) _{+} \right]=\mathrm{E}\left[ ( S_N-jh )_{+} \right] -h \left( 1-F_{S_N}(jh)
\right) .
\end{aligned}
\]
Ini mengasumsikan bahwa dukungan \(S_N\) tersebar secara merata di atas unit-unit h.
Untuk menetapkan ini, kita mengasumsikan bahwa \(h = 1\) Kita memiliki
\[
\begin{aligned}
\mathrm{E}\left[ \left( S_N-(j+1) \right) _{+} \right] &=\mathrm{E}(S_N) - \mathrm{E}[S_N\wedge (j+1)] \ ,\ \text{ and } \\
\mathrm{E}\left[ \left( S_N - j \right)_+ \right] &=\mathrm{E}(S_N) - \mathrm{E}[S_N\wedge j]
\end{aligned}
\]
Jadi,
\[
\begin{aligned}
\mathrm{E}\left[ \left(S_N-(j+1) \right) _{+}\right] - \mathrm{E}\left[ ( S_N-j )_{+} \right]
&= \left\{\mathrm{E}(S_N) - \mathrm{E}(S_N\wedge (j+1)) \right\} - \left\{\mathrm{E}(S_N) - \mathrm{E}(S_N\wedge j) \right\} \\
&= \mathrm{E}\left(S_N \wedge j \right) - \mathrm{E}\left[ S \wedge (j+1) \right]
\end{aligned}
\]
Maka kita dapat menulis
\[
\begin{aligned}
\mathrm{E}\left[S_N\wedge (j+1)\right] &= \sum_{x=0}^{j}xf_{S_N}(x) + (j+1)~\Pr(S_N \ge j+1) \\
&= \sum_{x=0}^{j-1}x f_{S_N}(x) + j~\Pr(S_N=j) + (j+1)~\Pr(S_N \ge j+1)
\end{aligned}
\]
Demikian pula,
\[
\begin{aligned}
\mathrm{E}(S_N\wedge j) = \sum_{x=0}^{j-1}xf_{S_N}(x) + j~\Pr(S_N\ge j)
\end{aligned}
\]
Dengan ekspresi ini, kami memiliki
\[
\begin{aligned}
& \mathrm{E}\left[ \left( S_N-(j+1) \right) _{+} \right] - \mathrm{E~}\left[ ( S_N-j )_{+} \right] \\
&= \mathrm{E}\left(S_N \wedge j \right) - \mathrm{E}\left[ S \wedge (j+1) \right] \\
&= \left\{ \sum_{x=0}^{j-1}xf_{S_N}(x) + j~\Pr(S_N\ge j) \right\}
- \left\{ \sum_{x=0}^{j-1}x f_{S_N}(x) + j~\Pr(S_N=j) + (j+1)~\Pr(S_N \ge j+1) \right\} \\
&= j~\left[\Pr(S_N \geq j) - \Pr(S_N=j) \right]- (j+1)~\Pr(S_N \ge j+1) \\
&= j~\Pr( S_N > j) - (j+1)~\Pr(S_N \ge j+1) ~~~~ \text{ (note } \Pr(S_N > j) = \Pr(S_N \geq j+1) \text{)} \\
&= -\Pr(S_N\ge j+1) = -\left[1 - F_{S_N}(j)\right],
\end{aligned}
\] sesuai kebutuhan.
Example 5.3.7. Actuarial Exam Question - Continued
Ingatlah bahwa tujuan dari pertanyaan ini adalah untuk menghitung \(E(S_N-15)_+\) . Perhatikan bahwa dukungan dari \(S_N\) berjarak sama dengan satuan 5, sehingga pertanyaan ini juga dapat dikerjakan secara rekursif, menggunakan ekspresi di atas dengan langkah-langkah \(h=5\) :
\[
\begin{aligned}
\mathrm{E~}(S_N-5)_+ &= \mathrm{E}(S_N) - 5 [1-\Pr(S_N \leq 0) ]\\ %\Pr (S_N\geq 5) \\
&= 28 - 5 \left(1 - \frac{1}{3}\right) = \frac{74}{3}=24.6667 .
\end{aligned}
\]
\[
\begin{aligned}
\mathrm{E~}(S_N-10)_+ &= \mathrm{E~}(S_N-5)_+ - 5 [1-\Pr(S_N \leq 5)]\\ %\Pr (S_N\ge 10) \\
&= \frac{74}{3} - 5\left( 1 - \frac{1}{3} - \frac{0.4}{9}\right) = 21.555 .
\end{aligned}
\]
\[
\begin{aligned}
\mathrm{E~}(S_N-15)_+ &= \mathrm{E~}(S_N-10)_+ - 5 [1-\Pr(S_N \leq 10)] \\ %\Pr (S_N\ge 15) \\
&= \mathrm{E~}(S_N-10)_+ - 5\Pr (S_N\ge 15) \\
&= 21.555 - 5 (0.5496) = 18.807 .
\end{aligned}
\]
5.3.4 Analytic Results
Terdapat beberapa kombinasi distribusi frekuensi klaim dan tingkat keparahan yang menghasilkan distribusi yang mudah dihitung untuk kerugian agregat. Bagian ini memberikan beberapa contoh sederhana. Meskipun contoh-contoh ini mudah dihitung, namun pada umumnya terlalu sederhana untuk digunakan dalam praktik.
Example 5.3.8
Salah satunya adalah ekspresi bentuk tertutup untuk distribusi kerugian agregat dengan mengasumsikan distribusi frekuensi geometris dan distribusi tingkat keparahan eksponensial.
Asumsikan bahwa jumlah klaim \(N\) adalah geometrik dengan rata-rata \(E(N)=β\) dan jumlah klaim \(X\) adalah eksponensial dengan \(E(X)=θ\) .Dapat diingat bahwa pgf dari N dan pgf dari X adalah:
\[
\begin{aligned}
P_N (z) &=\frac{1}{1- \beta (z-1)}\\
M_{X}(t) &=\frac{1}{1-\theta t} .
\end{aligned}
\]
Dengan demikian, mgf dari kerugian agregat \(S_N\) dapat dinyatakan dengan dua cara
\[
\begin{eqnarray}
M_{S_N}(t) &=& P_N [M_{X}(t)] = \frac{1}{1 - \beta \left( \frac{1}{1-\theta t} - 1\right)} \nonumber\\
&=& 1+ \frac{\beta}{1+\beta} \left([1-\theta(1+\beta)t]^{-1}-1 \right)\\
&=& \frac{1}{1+\beta}(1) +\frac{\beta}{1+\beta}
\left( \frac{1}{1-\theta (1+\beta)t}\right) .
\end{eqnarray}
\]
Sehingga, \(S_N\) ekuivalen dengan distribusi majemuk \(S_N=X^∗_1+⋯+X^∗_N∗\) dengan \(N^∗\) adalah Bernoulli dengan rata-rata \(β/(1+β)\) dan \(X^∗\) adalah eksponensial dengan mean \(θ(1+β)\) . Untuk melihat hal ini, kita periksa mgf dari S :
\[
\begin{aligned}
M_{S_N}(t) = P_N [M_{X}(t)] = P_{N^{*}} [M_{X^{*}}(t)],
\end{aligned}
\]
Dimana,
\[
\begin{aligned}
P_{N^*} (z) &=1+ \frac{\beta}{1+ \beta} (z-1),\\
M_{X^*} (t) &=\frac{1}{1- {{\theta(1+\beta)}} t}.
\end{aligned}
\]
\(S_N\) juga ekuivalen dengan campuran dua titik dari 0 dan \(X^∗\) . Secara khusus,
\[
\begin{array}{cl}
S_N &=
\left\{
\begin{array}{cl}
0 & {\rm with~ probability ~Pr}(N^*=0) = 1/(1+\beta) \\
Y^{*} & {\rm with~ probability ~Pr}(N^*=1) = \beta/(1+\beta) .
\end{array}
\right.
\end{array}
\]
Fungsi distribusi \(S_N\) dalah
\[
\begin{eqnarray*}
\Pr(S_N=0) &=& \frac{1}{1+\beta}\\
\Pr(S_N>s) &=& \Pr(X^*>s) =\frac{\beta}{1+\beta} \exp\left( -\frac{s}{
\theta (1+\beta)}\right)
\end{eqnarray*}
\]
dengan pdf untuk \(s>0\)
\[
\begin{eqnarray*}
f_{S_N}(s) = \frac{\beta}{\theta (1+\beta)^2}\exp\left( -\frac{s}{
\theta (1+\beta)}\right) .
\end{eqnarray*}
\]
5.3.4 Tweedie Distribution
Pada bagian ini, kita akan membahas distribusi gabungan tertentu di mana jumlah klaim memiliki distribusi Poisson dan jumlah klaim memiliki distribusi gamma. Spesifikasi ini menghasilkan apa yang dikenal sebagai distribusi Tweedie. Distribusi Tweedie memiliki probabilitas massa pada nol dan komponen kontinu untuk nilai positif. Karena fitur ini, distribusi ini banyak digunakan dalam pemodelan klaim asuransi, di mana massa nol ditafsirkan sebagai tidak ada klaim dan komponen positif sebagai jumlah klaim.
Secara khusus, pertimbangkan model risiko kolektif \(S_N = X_1 + ⋯ + X_N\) . Dengan menganggap bahwa N memiliki distribusi Poisson dengan mean \(λ\) dan masing-masing \(X_i\) memiliki distribusi gamma dengan parameter bentuk \(α\) dan parameter skala \(γ\) . Distribusi Tweedie diturunkan sebagai jumlah Poisson dari variabel gamma. Untuk memahami distribusi \(S_N\) pertama-tama kita akan melihat probabilitas massa pada nilai nol. Kerugian agregat adalah nol ketika tidak ada klaim yang terjadi, yaitu
\({\rm Pr}(S_N=0)= {\rm Pr}(N=0)=e^{-\lambda}.\)
Selain itu, perhatikan bahwa \(S_N\) bersyarat pada N = n yang dinotasikan dengan \(S_n = X_1 + ⋯ + X_n\) mengikuti distribusi gamma dengan bentuk \(nα\) dan skala \(γ\) . Dengan demikian, untuk \(s>0\) densitas dari distribusi Tweedie dapat dihitung sebagai
\[
\begin{aligned}
f_{S_N}(s)&=\sum_{n=1}^{\infty} p_n f_{S_n}(s)\\
&=\sum_{n=1}^{\infty}e^{-\lambda}\frac{(\lambda)^n}{n!}\frac{\gamma^{na}}{\Gamma(n\alpha)}s^{n\alpha-1}e^{-s\gamma} .
\end{aligned}
\]
Dengan demikian, distribusi Tweedie dapat dianggap sebagai campuran antara distribusi nol dan distribusi bernilai positif, yang membuatnya menjadi alat yang mudah digunakan untuk memodelkan klaim asuransi dan untuk menghitung premi murni. Rata-rata dan varians dari model Poisson gabungan Tweedie adalah:
\({\rm E} (S_N)=\lambda\frac{\alpha}{\gamma}~~~~{\rm and}~~~~{\rm Var} (S_N)=\lambda\frac{\alpha(1+\alpha)}{\gamma^2}.\)
Sebagai fitur penting lainnya, distribusi Tweedie adalah kasus khusus dari model dispersi eksponensial, sebuah kelas model yang digunakan untuk menggambarkan komponen acak dalam model linier umum. Untuk melihat hal ini, kami mempertimbangkan reparameterisasi berikut:
\[
\begin{equation*}
\lambda=\frac{\mu^{2-p}}{\phi(2-p)},~~~~\alpha=\frac{2-p}{p-1},~~~~\frac{1}{\gamma}=\phi(p-1)\mu^{p-1} .
\end{equation*}
\]
Dengan hubungan di atas, kita dapat menunjukkan bahwa distribusi \(S_N\) adalah
\(f_{S_N}(s)=\exp\left[\frac{1}{\phi}\left(\frac{-s}{(p-1)\mu^{p-1}}-\frac{\mu^{2-p}}{2-p}\right)+C(s;\phi)\right]\)
Dimana
\[
C(s;\phi)=\left\{\begin{array}{ll}
\displaystyle 0 & {\rm if}~ s=0 \\
\displaystyle \log \sum\limits_{n \ge 1} \left\{\frac{(1/\phi)^{1/(p-1)}s^{(2-p)/(p-1)}}{(2-p)(p-1)^{(2-p)/(p-1)}}\right\}^{n}\frac{1}{n!~\Gamma[n(2-p)/(p-1)]s} & {\rm if}~ s>0 .
\end{array}\right.
\]
Oleh karena itu, distribusi \(S_N\) termasuk ke dalam keluarga eksponensial dengan parameter \(μ\) , \(ϕ\) , dan \(1<p<2\) , dan kita memiliki
\({\rm E} (S_N)=\mu~~~~{\rm and}~~~~{\rm Var} (S_N)=\phi\mu^{p}.\)
Hal ini memungkinkan kita untuk menggunakan distribusi Tweedie dengan model linear umum untuk memodelkan klaim. Perlu juga disebutkan dua kasus pembatas dari model Tweedie: \(p→1\) menghasilkan distribusi Poisson dan \(p → 2\) menghasilkan distribusi gamma. Dengan demikian, model Tweedie mengakomodasi situasi di antara distribusi gamma dan Poisson, yang secara intuitif masuk akal karena merupakan jumlah Poisson dari variabel acak gamma.
LS0tDQp0aXRsZTogIjUuMyBDb2xsZWN0aXZlIFJpc2sgTW9kZWwiDQpzdWJ0aXRsZTogIlRlb3JpIFJlc2lrbyINCmF1dGhvcjogIkNsYXJhIERlbGxhIEV2YW5pYSAoMjAyMDQ5MjAwMTgpIg0KZGF0ZTogICJgciBmb3JtYXQoU3lzLkRhdGUoKSwgJyVCICVkLCAlWScpYCINCm91dHB1dDoNCiAgcm1kZm9ybWF0czo6cm9ib2Jvb2s6ICAgIyBodHRwczovL2dpdGh1Yi5jb20vanViYS9ybWRmb3JtYXRzDQogICAgc2VsZl9jb250YWluZWQ6IHRydWUNCiAgICB0aHVtYm5haWxzOiB0cnVlDQogICAgbGlnaHRib3g6IHRydWUNCiAgICBnYWxsZXJ5OiB0cnVlDQogICAgbGliX2RpcjogbGlicw0KICAgIGRmX3ByaW50OiAicGFnZWQiDQogICAgY29kZV9mb2xkaW5nOiAic2hvdyINCiAgICBjb2RlX2Rvd25sb2FkOiB5ZXMNCiAgICBjc3M6ICJzdHlsZS5jc3MiDQoNCi0tLQ0KDQoNCmBgYHtyIGluY2x1ZGU9RkFMU0V9DQprbml0cjo6b3B0c19jaHVuayRzZXQoY2xhc3Muc291cmNlID0gIm5vY29weSIsDQogICAgICAgICAgICAgICAgICAgICAgY2xhc3Mub3V0cHV0ID0gIm5vY29weSIsDQogICAgICAgICAgICAgICAgICAgICAgbWVzc2FnZSA9IEYsDQogICAgICAgICAgICAgICAgICAgICAgd2FybmluZyA9IEYpDQoNCmBgYA0KDQo8YnI+DQoNCg0KPGltZyBzdHlsZT0iZmxvYXQ6IHJpZ2h0OyBtYXJnaW46IC01MHB4IDUwcHggMHB4IDUwcHg7IHdpZHRoOjI1JSIgc3JjPSJtZS5qcGVnIi8+IA0KDQp8DQo6LS0tLSB8Oi0tLS0NCktvbnRha3wgOiAkXGRvd25hcnJvdyQNCkVtYWlsfCBjbGFyYS5ldmFuaWFAc3R1ZGVudC5tYXRhbmF1bml2ZXJzaXR5LmFjLmlkDQpJbnN0YWdyYW0gfCBodHRwczovL3d3dy5pbnN0YWdyYW0uY29tL2NsYXJhZXZhbmlhLyANClJQdWJzICB8IGh0dHBzOi8vcnB1YnMuY29tL2NsYXJhZGVsbGFldmFuaWEvIA0KDQoNCiMgNS4zLjEgTW9tZW50cyBhbmQgRGlzdHJpYnV0aW9uDQoNCkphZGkgbW9kZWwgcmlzaWtvIGtlbGVrc2lmICRTTj1YXzErLi4uK1hfTiQgZGVuZ2FuIHt4aX0gYWRhbGFoIGlpZCwgZGFuIHRpZGFrIGJlcmdhbnR1bmcgcGFkYSBODQpNaXNhbGthbiAkzrwgPSBFKFhfaSkkIGRhbiAkz4NeMj1WYXIoWF9pKSQgdW50dWsgc2VtdWEgJGkkDQoNCkRlbmdhbiBkZW1pa2lhbiwgYmVyc3lhcmF0IHBhZGEgYE5gIGtpdGEgbWVtaWxpa2kgZWtzcGVrdGFzaSBqdW1sYWggYWRhbGFoIGp1bWxhaCBla3NwZWt0YXNpIGRhbiB2YXJpYW5zLg0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQp7XHJtIEV9KFN8TikgJj0ge1xybSBFfShYXzEgKyBcY2RvdHMgKyBYX058TikgPSBcbXUgTiBcXA0Ke1xybSBWYXJ9KFN8TikgJj0ge1xybSBWYXJ9KFhfMSArIFxjZG90cyArIFhfTnxOKSA9IFxzaWdtYV4yIE4uDQpcZW5ke2FsaWduZWR9DQokJA0KDQpEZW5nYW4gbWVuZ2d1bmFrYW4gaHVrdW0gZWtzcGVrdGFzaSBiZXJ1bGFuZyxyYXRhLXJhdGEga2VydWdpYW4gYWdyZWdhdCBhZGFsYWgNCg0KJHtccm0gRX0oU19OKT17XHJtIEV9X05be1xybSBFfV9TKFN8TildID0ge1xybSBFfV9OKE5cbXUpID0gXG11IH57XHJtIEV9KE4pLiQNCg0KRGVuZ2FuIG1lbmdndW5ha2FuIGh1a3VtIHZhcmlhbnMgdG90YWwsIHZhcmlhbnMgZGFyaSBrZXJ1Z2lhbiBhZ3JlZ2F0IGFkYWxhaA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQp7XHJtIFZhcn0oU19OKSAmPSB7XHJtIEV9X05be1xybSBWYXJ9KFNfTnxOKV0gKyB7XHJtIFZhcn1fTlt7XHJtIEV9KFNfTnxOKV0gXFwNCiY9IFxtYXRocm17RX1fTiBcbGVmdFsgXHNpZ21hXjIgTiBccmlnaHRdICsgXG1hdGhybXtWYXJ9X05cbGVmdFsgXG11IE4gXHJpZ2h0XSBcXA0KJj1cc2lnbWFeMn57XHJtIEV9W05dICsgXG11XjJ+IHtccm0gVmFyfVtOXSAuDQpcZW5ke2FsaWduZWR9DQokJA0KDQpLYXN1cyBLaHVzdXM6IEZyZWt1ZW5zaSBCZXJkaXN0cmlidXNpIFBvaXNzb24uIEppa2EgJE7iiLxQb2kozrspJCBtYWthDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0NClxtYXRocm17RX0oTikgJj0gXG1hdGhybXtWYXJ9KE4pID0gXGxhbWJkYVxcDQpcbWF0aHJte0V9KFNfTikgJj0gXGxhbWJkYSB+XG1hdGhybXtFfShYKVxcDQpcbWF0aHJte1Zhcn0oU19OKSAmPSBcbGFtYmRhIChcc2lnbWFeMiArIFxtdV4yKSA9IFxsYW1iZGEgflxtYXRocm17RX0gKFheMikuDQpcZW5ke2FsaWduZWR9DQokJA0KDQojIyBFeGFtcGxlIDUuMy4xIEFjdHVhcmlhbCBFeGFtIFF1ZXN0aW9uDQoNCkp1bWxhaCBrZWNlbGFrYWFuIG1lbmdpa3V0aSBkaXN0cmlidXNpIFBvaXNzb24gZGVuZ2FuIHJhdGEtcmF0YSAxMi4gU2V0aWFwIGtlY2VsYWthYW4gbWVuZ2hhc2lsa2FuIDEsIDIsIGF0YXUgMyBwZW51bnR1dCBkZW5nYW4gcHJvYmFiaWxpdGFzIG1hc2luZy1tYXNpbmcgMS8yLCAxLzMsIGRhbiAxLzYuIEhpdHVuZ2xhaCB2YXJpYW5zIGRhbGFtIGp1bWxhaCB0b3RhbCBwZW51bnR1dC4NCg0KKkpBV0FCQU4qDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0gDQomIFxtYXRocm17RX0oWF4yKSA9IDFeMiBcbGVmdCggXGZyYWN7MX17Mn1ccmlnaHQpICsgMl4yXGxlZnQoXGZyYWN7MX17M30gXHJpZ2h0KSArIDNeMlxsZWZ0KFxmcmFjezF9ezZ9XHJpZ2h0KQ0KPSBcZnJhY3sxMH17M30gXFwNClxSaWdodGFycm93ICZcbWF0aHJte1Zhcn0oU19OKSA9IFxsYW1iZGEgXCBcbWF0aHJte0V9KFheMikgPSAxMlxsZWZ0KFxmcmFjezEwfXszfVxyaWdodCkgPSA0MCAuDQpcZW5ke2FsaWduZWR9DQokJA0KDQpTZWJhZ2FpIGFsdGVybmF0aWYsIERhcGF0IG1lbmdndW5ha2FuIHBlbmRla2F0YW4gdW11bSwNCiRcbWF0aHJte1Zhcn0oU19OKSA9IFxzaWdtYV4yIFxtYXRocm17RX0oTikgKyBcbXVeMiBcbWF0aHJte1Zhcn0oTikkLCBEaW1hbmENCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KXG1hdGhybXtFfShOKSAmPSBcbWF0aHJte1Zhcn0oTikgPSAxMiBcXA0KXG11ICY9IFxtYXRocm17RX0oWCkgPSAxXGxlZnQoXGZyYWN7MX17Mn1ccmlnaHQpICsgMlxsZWZ0KFxmcmFjezF9ezN9XHJpZ2h0KSArIDNcbGVmdChcZnJhY3sxfXs2fVxyaWdodCkNCj0gXGZyYWN7NX17M30gXFwNClxzaWdtYV4yICY9IFxtYXRocm17RX0oWF4yKSAtIFtcbWF0aHJte0V9KFgpXV4yID0gXGZyYWN7MTB9ezN9IC0gXGZyYWN7MjV9ezl9DQo9IFxmcmFjezV9ezl9IFxcDQpcUmlnaHRhcnJvdyBcIFxtYXRocm17VmFyfShTX04pICY9IFxsZWZ0KFxmcmFjezV9ezl9XHJpZ2h0KVxsZWZ0KDEyXHJpZ2h0KSArIFxsZWZ0KFxmcmFjezV9ezN9XHJpZ2h0KV4yXGxlZnQoMTJccmlnaHQpID0gNDAgLg0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KU2VjYXJhIHVtdW0sIG1vbWVuLW1vbWVuIFNOIGRhcGF0IGRpdHVydW5rYW4gZGFyaSBmdW5nc2kgcGVtYmFuZ2tpdCBtb21lbiAobWdmKS4gS2FyZW5hICRYX2kkIGFkYWxhaCBpaWQsIGRhcGF0IGRpbnlhdGFrYW4gbWdmIGRhcmkgWCBzZWJhZ2FpICRNX3tYKHQpfT0gRShlXnt0WH0pJCAuIERlbmdhbiBtZW5nZ3VuYWthbiBodWt1bSBla3NwZWt0YXNpIHlhbmcgZGlpdGVyYXNpLCBtZ2YgZGFyaSAkU19OJCBhZGFsYWgNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KTV97U19OfSh0KSAmPSBcbWF0aHJte0V9KGVee3QgU19OfSk9XG1hdGhybXtFfV9OW1xtYXRocm17RX0oZV57dFNfTn18TildXFwNCiY9IFxtYXRocm17RX1fTiBcbGVmdFsgflxtYXRocm17RX1cbGVmdCggZV57dChYXzErXGNkb3RzK1hfTil9XHJpZ2h0KSB+XHJpZ2h0XSA9IA0KXG1hdGhybXtFfV9OIFxsZWZ0WyBcbWF0aHJte0V9KGVee3RYXzF9KVxjZG90c1xtYXRocm17RX0oZV57dFhfTn0pIFxyaWdodF0gfn4gXHRleHR7c2luY2UgfSBYX2kgXHRleHR7J3MgYXJlIGluZGVwZW5kZW50fSBcXA0KJj0gXG1hdGhybXtFfU5bfihNe1h9KHQpKV5Ofl0gLg0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KTGFsdSBkYXBhdCBtZWxpaGF0IGZ1bmdzaSBwZW1iYW5na2l0IHByb2JhYmlsaXRhcyhwZ2YpIGRhcmkgYE5gIGFkYWxhaCAkUF9OKHopPSBFKFpeTikkLiBEZW5nYW4gbWVueWF0YWthbiAkTV9YKHQpPXokLCBsYWx1IG1lbmdnYW50aSBrZSBkYWxhbSBla3NwcmVzaSB1bnR1ayBtZ2YgZGFyaSBTTiBkaSBhdGFzLCBtYWthIGRpcGVyb2xlaA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpNX3tTX059KHQpID0gXG1hdGhybXtFfn0oel5OKSAgPSBQX3tOfSh6KSA9IFBfe059W01fe1h9KHQpXS4NClxlbmR7YWxpZ25lZH0NCiQkDQpEZW1pa2lhbiBwdWxhLCBqaWthICRTX04kIG1lcnVwYWthbiBkaXNrcml0LCBkYXBhdCBtZW51bmp1a2thbiBqdWdhIHBnZiBkYXJpICRTX04kIGFkYWxhaA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpQX3tTX059KHopID0gUF97Tn1bUF97WH0oeildIC4NClxlbmR7YWxpZ25lZH0NCiQkDQoNClVudHVrIG1lbmRhcGF0a2FuICRFKFNfTikgPSBN4oCyU19OKDApJCBkYXBhdCBtZW5nZ3VuYWthbiBhdHVyYW4gcmFudGFpOg0KDQokTV97U19OfScodCkgPSBcZnJhY3tccGFydGlhbH17XHBhcnRpYWwgdH0gUF97Tn0oTV97WH0odCkpID0gUF97Tn0nKE1fe1h9KHQpKSBNX3tYfScodClcXCQNCg0KTGFsdSBNZW1hbmdnaWwNCg0KJE1fe1h9KDApID0gMSwgTV97WH0nKDApID0gXG1hdGhybXtFfShYKSA9IFxtdSwgUF97Tn0nKDEpID0gXG1hdGhybXtFfShOKSQNCg0KSmFkaSwNCg0KJFxtYXRocm17RX0oU19OKSA9IE1fe1NfTn0nKDApID0gUF97Tn0nKE1fe1h9KDApKSBNX3tYfScoMCkgPSBcbXUge1xybSBFfShOKSAuJA0KDQpEZW1pa2lhbiBwdWxhLCBkYXBhdCBtZW5nZ3VuYWthbiByZWxhc2kgJEUoU14yX04pID0gTeKAsuKAsl97U19OfSgwKSQgdW50dWsgbWVuZGFwYXRrYW4NCg0KJFxtYXRocm17VmFyfShTX04pID0gXHNpZ21hXjIgXG1hdGhybXtFfShOKSArIFxtdV4yIFxtYXRocm17VmFyfShOKS4kDQoNCioqU3BlY2lhbCBDYXNlLiBQb2lzc29uIEZyZXF1ZW5jeS4qKg0KDQpNaXNhbGthbiAkTuKIvFBvaSjOuykkIGRlbmdhbiBkZW1pa2lhbiwgcGdmIGRhcmkgJE4kIGFkYWxhaCAkUF9OKHopID0gZV57zrsoei0xKX0kIGRhbiBtZ2YgZGFyaSAkU19OJCBhZGFsYWgNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KTV97U19OfSh0KSAmPSBQX05bTV9YKHQpXSA9IGVee1xsYW1iZGEoTV97WH0odCkgLSAxKX0uDQpcZW5ke2FsaWduZWR9DQokJA0KDQpNZW5nYW1iaWwgaGFzaWwgdHVydW5hbg0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpNX3tTX059Jyh0KSAmPSBlXntcbGFtYmRhKE1fe1h9KHQpIC0gMSl9fiBcbGFtYmRhfiBNX3tYfScodCkgPSBNX3tTX059KHQpIH5cbGFtYmRhIH5NX3tYfScodClcXA0KTV97U19OfScnKHQpICY9IE1fe1NfTn0odCkgflxsYW1iZGF+IE1fe1h9JycodCkgKyBbfk1fe1NfTn0odCl+XGxhbWJkYX4gTV97WH0nKHQpfl0gflxsYW1iZGF+IE1fe1h9Jyh0KSAuIA0KXGVuZHthbGlnbmVkfQ0KJCQNCk1lbmdldmFsdWFzaSBoYWwgaW5pIHBhZGEgdCA9IDAgbWVuZ2hhc2lsa2FuDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0NClxtYXRocm17RX0oU19OKSAmPSBNX3tTX059JygwKSA9ICBcbGFtYmRhIFxtYXRocm17RX0oWCkgPSBcbGFtYmRhIFxtdQ0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KTGFsdQ0KDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0gTV97U19OfScnKDApICY9IFxsYW1iZGEgXG1hdGhybXtFfShYXjIpICsgXGxhbWJkYV4yIFxtdV4yXFwNClxSaWdodGFycm93IFxtYXRocm17VmFyfShTX04pICY9IFxsYW1iZGEgXG1hdGhybXtFfShYXjIpICsgXGxhbWJkYV4yIFxtdV4yIC0gKFxsYW1iZGEgXG11KV4yID0gXGxhbWJkYX4gXG1hdGhybXtFfShYXjIpLg0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KIyMgKipFeGFtcGxlIDUuMy4yLiBBY3R1YXJpYWwgRXhhbSBRdWVzdGlvbioqDQoNCkRpbWlzYWxrYW4gcHJvZHVzZXIgYWNhcmEga3VpcyB0ZWxldmlzaSB5YW5nIG1lbWJlcmlrYW4gaGFkaWFoIHVhbmcgdHVuYWkuIEp1bWxhaCBoYWRpYWgoTikgZGFuIGp1bWxhaCBoYWRpYWgoWCkgbWVtaWxpa2kgZGlzdHJpYnVzaSBzZWJhZ2FpIGJlcmlrdXQ6DQoNCmBgYHtyIGltYWdlMSwgZWNobz1GQUxTRSwgZmlnLmNhcD0iIixmaWcuYWxpZ249J2NlbnRlcicsIG91dC53aWR0aCA9ICczMCUnfQ0Ka25pdHI6OmluY2x1ZGVfZ3JhcGhpY3MoIjUxLnBuZyIpDQpgYGANCg0KU2VoaW5nZ2EgQW5nZ2FyYW4gdW50dWsgaGFkaWFoIHNhbWEgZGVuZ2FuIGp1bWxhaCBoYWRpYWggdWFuZyB0dW5haSB5YW5nIGRpaGFyYXBrYW4gZGl0YW1iYWggZGVuZ2FuIGRldmlhc2kgc3RhbmRhciBkYXJpIGp1bWxhaCBoYWRpYWggdWFuZyB0dW5haS4gSGl0dW5nIGFuZ2dhcmFuIQ0KDQoqKkpBV0FCQU4qKg0KDQpEaXBlcmx1a2FuIHVudHVrIG1lbmdoaXR1bmcgcmF0YS1yYXRhIGRhbiBzdGFuZGFyIGRldmlhc2kgZGFyaSBhZ3JlZ2F0IChqdW1sYWgpIGhhZGlhaCB1YW5nIHR1bmFpLiBNb21lbi1tb21lbiBkYXJpIGRpc3RyaWJ1c2kgZnJla3VlbnNpIE4gYWRhbGFoDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0NClxtYXRocm17RX0oTikgJj0gMSAoMC44KSArIDIgKDAuMikgPTEuMlxcDQpcbWF0aHJte0V9KE5eMikgJj0gIDFeMiAoMC44KSArIDJeMiAoMC4yKSA9MS42XFwNClxtYXRocm17VmFyfShOKSAmPSBcbWF0aHJte0V9KE5eMikgLSBcbGVmdFsgXG1hdGhybXtFfShOKSBccmlnaHRdXjI9IDAuMTYgLg0KXGVuZHthbGlnbmVkfQ0KJCQNCk1vbWVuLW1vbWVuIGRhcmkgZGlzdHJpYnVzaSB0aW5na2F0IGtlcGFyYWhhbiBYIGFkYWxhaA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpcbWF0aHJte0V9KFgpICY9IDAgKDAuMikgKyAxMDAgKDAuNykgKyAxMDAwICgwLjEpID0gMTcwID0gXG11XFwNClxtYXRocm17RX0oWF4yKSAmPSAwXjIgKDAuMikgKyAxMDBeMiAoMC43KSArIDEwMDBeMiAoMC4xKSA9IDEwNywwMDBcXA0KXG1hdGhybXtWYXJ9KFgpICY9IFxtYXRocm17RX0oWF4yKSAtIFxsZWZ0WyBcbWF0aHJte0V9KFgpIFxyaWdodF1eMj03OCwxMDAgPSBcc2lnbWFeMiAuDQpcZW5ke2FsaWduZWR9DQokJA0KDQpEZW5nYW4gZGVtaWtpYW4sIHJhdGEtcmF0YSBkYW4gdmFyaWFucyBkYXJpIGtlc2VsdXJ1aGFuIGhhZGlhaCB1YW5nIHR1bmFpIGFkYWxhaA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpcbWF0aHJte0V9KFNfTikgICY9IFxtdSBcbWF0aHJte0V9KE4pID0gMTcwICgxLjIpID0gMjA0IFxcDQpcbWF0aHJte1Zhcn0oU19OKSAmPSBcc2lnbWFeMiBcbWF0aHJte0V9KE4pICsgXG11XjIgXG1hdGhybXtWYXJ9KE4pXFwNCiY9IDc4LDEwMCAoMS4yKSArIDE3MF4yICgwLjE2KSA9IDk4LDM0NCAuDQpcZW5ke2FsaWduZWR9DQokJA0KDQpTZWhpbmdnYSBhbmdnYXJhbiB5YW5nIGRpYnV0dWhrYW4gc2ViYWdhaSBiZXJpa3V0DQoNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KQnVkZ2V0ICY9IFxtYXRocm17RX0oU19OKSArIFxzcXJ0e1xtYXRocm17VmFyfShTX04pfSBcXA0KJj0gMjA0ICsgXHNxcnR7OTgsMzQ0fSA9IDUxNy42MCAuDQpcZW5ke2FsaWduZWR9DQokJA0KDQoNCkRpc3RyaWJ1c2kgJFNfTiQgZGlzZWJ1dCBkaXN0cmlidXNpIG1hamVtdWssIGRhbiBkYXBhdCBkaXR1cnVua2FuIGJlcmRhc2Fya2FuIGtvbnZvbHVzaSAkRl9YJCBzZWJhZ2FpIGJlcmlrdXQ6DQoNCiQkDQpcYmVnaW57YWxpZ25lZH0NCkZfe1NfTn0ocykgJj0gXFByIFxsZWZ0KFhfMSArIFxjZG90cyArIFhfTiBcbGUgcyBccmlnaHQpIFxcDQomPSAgXG1hdGhybXtFfSBcbGVmdFsgXFByIFxsZWZ0KFhfMSArIFxjZG90cyArIFhfTiAgXGxlIHN8Tj1uIFxyaWdodCkgXHJpZ2h0XVxcDQomPSAgXG1hdGhybXtFfSBcbGVmdFsgRl97WH1ee1xhc3QgTn0ocykgXHJpZ2h0XSBcXA0KJj0gIHBfMCArIFxzdW1fe249MX1ee1xpbmZ0eSB9cF9uIEZfe1h9XntcYXN0IG59KHMpIC4NClxlbmR7YWxpZ25lZH0NCiQkDQoNCg0KS2V0aWthICRFKE4pJCBkYW4gJFZhcihOKSQgZGlrZXRhaHVpLCBraXRhIGp1Z2EgZGFwYXQgbWVuZ2d1bmFrYW4gc3VhdHUgamVuaXMgdGVvcmVtYSBsaW1pdCBwdXNhdCB1bnR1ayBtZW5nZXN0aW1hc2kgZGlzdHJpYnVzaSAkU19OJCBzZXBlcnRpIHBhZGEgbW9kZWwgcmlzaWtvIGluZGl2aWR1LiBZYWl0dSwgJFxmcmFje1NfTiAtIFxtYXRocm17RX0oU19OKX17XHNxcnR7XG1hdGhybXtWYXJ9KFNfTil9fSQga2lyYS1raXJhIG1lbmdpa3V0aSBkaXN0cmlidXNpIG5vcm1hbCBzdGFuZGFyICROKDAsMSkkIC4gRGFyaSBqZW5pcyB0ZW9yZW1hIGxpbWl0IHB1c2F0IGluaSwgYXByb2tzaW1hc2kgYmVrZXJqYSBkZW5nYW4gYmFpayBqaWthICRFW05dJCBjdWt1cCBiZXNhci4NCg0KIyA1LjMuMiBTdG9wLWxvc3MgSW5zdXJhbmNlDQoNCk1vZGlmaWthc2kgcGVydGFuZ2d1bmdhbiBwYWRhIHRpbmdrYXQgcG9saXMgcGVyb3JhbmdhbiBQZXJ0YW5nZ3VuZ2FuIGF0YXMga2VydWdpYW4gYWdyZWdhdCAkU19OJCAsIHlhbmcgZGlrZW5ha2FuIHNlYnVhaCBkZWR1Y3RpYmxlICRkJCBkaXNlYnV0IGRlbmdhbiAuIE5pbGFpIHlhbmcgZGloYXJhcGthbiBkYXJpIGp1bWxhaCBrZXJ1Z2lhbiBhZ3JlZ2F0IHlhbmcgbWVsZWJpaGkgZGVkdWN0aWJsZSwNCg0KJCQNClxiZWdpbntlcW5hcnJheSp9DQpcbWF0aHJte0V9WyhTLWQpXytdDQpcZW5ke2VxbmFycmF5Kn0NCiQkDQoNCmRpa2VuYWwgc2ViYWdhaSBwcmVtaSBzdG9wLWxvc3MgYmVyc2loLiBVbnR1ayBtZW5naGl0dW5nIHByZW1pIHN0b3AtbG9zcyBuZXRvLCBraXRhIG1lbWlsaWtpDQoNCiQkDQpcYmVnaW57ZXFuYXJyYXkqfQ0KXG1hdGhybXtFfShTX04tZClfKyANCiY9Jg0KXGxlZnRce1xiZWdpbnthcnJheX17bGx9DQpcaW50X3tkfV57XGluZnR5fShzLWQpIGZfe1NfTn0ocykgZHMmIFx0ZXh0e2ZvciBjb250aW51b3VzIH0gU19OXFwNCiBcc3VtX3tzPmR9KHMtZCkgZl97U19OfShzKSAmIFx0ZXh0e2ZvciBkaXNjcmV0ZSB9IFNfTlxcDQogXGVuZHthcnJheX1ccmlnaHQuXFwNCiY9JiBcbWF0aHJte0V9KFNfTikgLSBcbWF0aHJte0V9KFNfTlx3ZWRnZSBkKVxcDQpcZW5ke2VxbmFycmF5Kn0NCiQkDQojIyAqRXhhbXBsZSA1LjMuNi4gQWN0dWFyaWFsIEV4YW0gUXVlc3Rpb24qDQoNCkRhbGFtIHNhdHUgbWluZ2d1IHRlcnRlbnR1LCBqdW1sYWggcHJveWVrIHlhbmcgbWVuZ2hhcnVza2FuIEFuZGEgYmVrZXJqYSBsZW1idXIgbWVtaWxpa2kgZGlzdHJpYnVzaSBnZW9tZXRyaXMgZGVuZ2FuICTOsiA9IDIkIC4gVW50dWsgc2V0aWFwIHByb3llaywgZGlzdHJpYnVzaSBqdW1sYWggamFtIGxlbWJ1ciBkYWxhbSBzZW1pbmdndSwgWCBhZGFsYWggc2ViYWdhaSBiZXJpa3V0DQoNCmBgYHtyIGltYWdlMiwgZWNobz1GQUxTRSwgZmlnLmNhcD0iIixmaWcuYWxpZ249J2NlbnRlcicsIG91dC53aWR0aCA9ICczMCUnfQ0Ka25pdHI6OmluY2x1ZGVfZ3JhcGhpY3MoIjUyLnBuZyIpDQpgYGANCg0KSnVtbGFoIHByb3llayBkYW4ganVtbGFoIGphbSBsZW1idXIgdGlkYWsgYmVyZ2FudHVuZy4gQW5kYSBha2FuIGRpYmF5YXIgdW50dWsgamFtIGxlbWJ1ciB5YW5nIG1lbGViaWhpIDE1IGphbSBkYWxhbSBzZW1pbmdndS4gSGl0dW5nbGFoIGp1bWxhaCBqYW0gbGVtYnVyIHlhbmcgYWthbiAgZGl0ZXJpbWEgZGFsYW0gc2VtaW5nZ3UuDQoNCioqSkFXQUJBTioqDQoNCkp1bWxhaCBwcm95ZWsgZGFsYW0gc2VtaW5nZ3UgeWFuZyBtZW1idXR1aGthbiBrZXJqYSBsZW1idXIgbWVtaWxpa2kgZGlzdHJpYnVzaSAkTuKIvEdlbyjOsj0yKSQgc2VkYW5na2FuIGp1bWxhaCBqYW0ga2VyamEgbGVtYnVyIHBlciBwcm95ZWsgbWVtaWxpa2kgZGlzdHJpYnVzaSAkWCQgc2VwZXJ0aSB5YW5nIHRlbGFoIGRpamVsYXNrYW4gZGkgYXRhcy4gSnVtbGFoIGtlc2VsdXJ1aGFuIGphbSBsZW1idXIgZGFsYW0gc2VtaW5nZ3UgYWRhbGFoIFNOIGRhbiBvbGVoIGthcmVuYSBpdHUga2l0YSBtZW5jYXJpDQoNCiRcbWF0aHJte0V9KFNfTi0xNSlfKyA9IFxtYXRocm17RX0oU19OKSAtIFxtYXRocm17RX0oU19OIFx3ZWRnZSAxNSkuJA0KDQpVbnR1ayBtZW5jYXJpICRcbWF0aHJte0V9KFNfTikgPSBcbWF0aHJte0V9KFgpIH5cbWF0aHJte0V9KE4pJCwgbWFrYSBha2FuIGRpZGFwYXQNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KJlxtYXRocm17RX0oWCkgPSA1KDAuMikgKyAxMCgwLjMpKyAyMCgwLjUpPSAxNCBcXA0KJlxtYXRocm17RX0oTikgPSAyIFxcDQpcUmlnaHRhcnJvdyBcICZcbWF0aHJte0V9KFMpID0gXG1hdGhybXtFfShYKSB+IFxtYXRocm17RX0oTikgPSAxNCgyKSA9IDI4IC4NClxlbmR7YWxpZ25lZH0NCiQkDQoNClVudHVrIG1lbmNhcmkgJFxtYXRocm17RX0gKFNfTiBcd2VkZ2UgMTUpID0gMCBcUHIgKFNfTj0wKSArIDUgXFByKFNfTj01KSArIDEwIFxQcihTX049MTApICsgMTUgXFByKFNfTiBcZ2VxIDE1KSkkLCBtYWthIGFrYW4gZGlkYXBhdA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpcUHIoU19OPTApICY9IFxQcihOPTApID0gXGZyYWN7MX17MStcYmV0YX0gPSBcZnJhY3sxfXszfSBcXA0KXFByKFNfTj01KSAmPSBcUHIoWD01LCBcIE49MSkgPSAwLjIgXGxlZnQoXGZyYWN7Mn17OX0gXHJpZ2h0KT0gXGZyYWN7MC40fXs5fVxcDQpcUHIoU19OPTEwKSAmPSBcUHIoWD0xMCwgXCBOPTEpICsgXFByKFhfMT1YXzI9NSwgTj0yKSBcXA0KJj0gMC4zIFxsZWZ0KFxmcmFjezJ9ezl9IFxyaWdodCkgKyAoMC4yKSgwLjIpIFxsZWZ0KCBcZnJhY3s0fXsyN30gXHJpZ2h0KT0gMC4wNzI2IFxcDQpcUHIoU19OIFxnZXEgMTUpICY9IDEgLSBcbGVmdChcZnJhY3sxfXszfSArIFxmcmFjezAuNH17OX0gKyAwLjA3MjYgXHJpZ2h0KSA9IDAuNTQ5NlxcDQpcUmlnaHRhcnJvdyBcbWF0aHJte0V9KFNfTiBcd2VkZ2UgMTUpICY9IDAgXFByIChTX049MCkgKyA1IFxQcihTX049NSkgKyAxMCBcUHIoU19OPTEwKSArIDE1IFxQcihTX04gXGdlcSAxNSkgXFwNCiY9IDAgXGxlZnQoIFxmcmFjezF9ezN9IFxyaWdodCkgKyA1DQpcbGVmdCggXGZyYWN7MC40fXs5fSBccmlnaHQpICsgMTAgKDAuMDcyNikgKyAxNSAoMC41NDk2KSA9IDkuMTkzIC5cXA0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KT2xlaCBLYXJlbmEgaXR1Og0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpcbWF0aHJte0V9KFNfTi0xNSlfKyAmPSBcbWF0aHJte0V9KFNfTikgLSBcbWF0aHJte0V9KFNfTiBcd2VkZ2UgMTUpIFxcDQomPSAyOCAtIDkuMTkzID0gMTguODA3IC4NClxlbmR7YWxpZ25lZH0NCiQkDQoNCioqUmVjdXJzaXZlIE5ldCBTdG9wLUxvc3MgUHJlbWl1bSBDYWxjdWxhdGlvbioqDQoNClVudHVrIGthc3VzIGRpc2tyaXQsIGluaSBkYXBhdCBkaWhpdHVuZyBzZWNhcmEgcmVrdXJzaWYgc2ViYWdhaQ0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpcbWF0aHJte0V9XGxlZnRbIFxsZWZ0KCBTX04tKGorMSloIFxyaWdodCkgX3srfSBccmlnaHRdPVxtYXRocm17RX1cbGVmdFsgKCBTX04tamggKV97K30gXHJpZ2h0XSAtaCBcbGVmdCggMS1GX3tTX059KGpoKQ0KXHJpZ2h0KSAuDQpcZW5ke2FsaWduZWR9DQokJA0KDQpJbmkgbWVuZ2FzdW1zaWthbiBiYWh3YSBkdWt1bmdhbiAkU19OJCB0ZXJzZWJhciBzZWNhcmEgbWVyYXRhIGRpIGF0YXMgdW5pdC11bml0IGguDQoNClVudHVrIG1lbmV0YXBrYW4gaW5pLCBraXRhIG1lbmdhc3Vtc2lrYW4gYmFod2EgJGggPSAxJCBLaXRhIG1lbWlsaWtpDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0NClxtYXRocm17RX1cbGVmdFsgXGxlZnQoIFNfTi0oaisxKSBccmlnaHQpIF97K30gXHJpZ2h0XSAmPVxtYXRocm17RX0oU19OKSAtIFxtYXRocm17RX1bU19OXHdlZGdlIChqKzEpXSBcICxcIFx0ZXh0eyBhbmQgfSBcXA0KXG1hdGhybXtFfVxsZWZ0WyBcbGVmdCggU19OIC0gaiBccmlnaHQpXysgXHJpZ2h0XSAmPVxtYXRocm17RX0oU19OKSAtIFxtYXRocm17RX1bU19OXHdlZGdlIGpdDQpcZW5ke2FsaWduZWR9DQokJA0KDQpKYWRpLA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpcbWF0aHJte0V9XGxlZnRbIFxsZWZ0KFNfTi0oaisxKSBccmlnaHQpIF97K31ccmlnaHRdIC0gXG1hdGhybXtFfVxsZWZ0WyAoIFNfTi1qIClfeyt9IFxyaWdodF0gDQomPSBcbGVmdFx7XG1hdGhybXtFfShTX04pIC0gXG1hdGhybXtFfShTX05cd2VkZ2UgKGorMSkpIFxyaWdodFx9ICAgLSAgXGxlZnRce1xtYXRocm17RX0oU19OKSAtIFxtYXRocm17RX0oU19OXHdlZGdlIGopIFxyaWdodFx9IFxcDQomPSBcbWF0aHJte0V9XGxlZnQoU19OIFx3ZWRnZSBqIFxyaWdodCkgLSBcbWF0aHJte0V9XGxlZnRbIFMgXHdlZGdlIChqKzEpIFxyaWdodF0NClxlbmR7YWxpZ25lZH0NCiQkDQoNCk1ha2Ega2l0YSBkYXBhdCBtZW51bGlzDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0NClxtYXRocm17RX1cbGVmdFtTX05cd2VkZ2UgKGorMSlccmlnaHRdICY9IFxzdW1fe3g9MH1ee2p9eGZfe1NfTn0oeCkgKyAoaisxKX5cUHIoU19OIFxnZSBqKzEpIFxcDQomPSBcc3VtX3t4PTB9XntqLTF9eCBmX3tTX059KHgpICsgan5cUHIoU19OPWopICsgKGorMSl+XFByKFNfTiBcZ2UgaisxKQ0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KRGVtaWtpYW4gcHVsYSwNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KXG1hdGhybXtFfShTX05cd2VkZ2UgaikgPSBcc3VtX3t4PTB9XntqLTF9eGZfe1NfTn0oeCkgKyBqflxQcihTX05cZ2UgaikNClxlbmR7YWxpZ25lZH0NCiQkDQoNCkRlbmdhbiBla3NwcmVzaSBpbmksIGthbWkgbWVtaWxpa2kNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KJiBcbWF0aHJte0V9XGxlZnRbIFxsZWZ0KCBTX04tKGorMSkgXHJpZ2h0KSBfeyt9IFxyaWdodF0gLSBcbWF0aHJte0V+fVxsZWZ0WyAoIFNfTi1qIClfeyt9IFxyaWdodF0gIFxcDQomPSBcbWF0aHJte0V9XGxlZnQoU19OIFx3ZWRnZSBqIFxyaWdodCkgLSBcbWF0aHJte0V9XGxlZnRbIFMgXHdlZGdlIChqKzEpIFxyaWdodF0gXFwNCiY9IFxsZWZ0XHsgXHN1bV97eD0wfV57ai0xfXhmX3tTX059KHgpICsgan5cUHIoU19OXGdlIGopIFxyaWdodFx9DQotIFxsZWZ0XHsgXHN1bV97eD0wfV57ai0xfXggZl97U19OfSh4KSArIGp+XFByKFNfTj1qKSArIChqKzEpflxQcihTX04gXGdlIGorMSkgXHJpZ2h0XH0gXFwNCiY9IGp+XGxlZnRbXFByKFNfTiBcZ2VxIGopIC0gXFByKFNfTj1qKSBccmlnaHRdLSAoaisxKX5cUHIoU19OIFxnZSBqKzEpIFxcDQomPSBqflxQciggU19OID4gaikgLSAoaisxKX5cUHIoU19OIFxnZSBqKzEpIH5+fn4gXHRleHR7IChub3RlIH0gXFByKFNfTiA+IGopID0gXFByKFNfTiBcZ2VxIGorMSkgXHRleHR7KX0gXFwNCiY9IC1cUHIoU19OXGdlIGorMSkgPSAtXGxlZnRbMSAtIEZfe1NfTn0oailccmlnaHRdLA0KXGVuZHthbGlnbmVkfQ0KJCQNCnNlc3VhaSBrZWJ1dHVoYW4uDQoNCiMjIEV4YW1wbGUgNS4zLjcuIEFjdHVhcmlhbCBFeGFtIFF1ZXN0aW9uIC0gQ29udGludWVkDQoNCkluZ2F0bGFoIGJhaHdhIHR1anVhbiBkYXJpIHBlcnRhbnlhYW4gaW5pIGFkYWxhaCB1bnR1ayBtZW5naGl0dW5nICRFKFNfTi0xNSlfKyQgLiBQZXJoYXRpa2FuIGJhaHdhIGR1a3VuZ2FuIGRhcmkgJFNfTiQgYmVyamFyYWsgc2FtYSBkZW5nYW4gc2F0dWFuIDUsIHNlaGluZ2dhIHBlcnRhbnlhYW4gaW5pIGp1Z2EgZGFwYXQgZGlrZXJqYWthbiBzZWNhcmEgcmVrdXJzaWYsIG1lbmdndW5ha2FuIGVrc3ByZXNpIGRpIGF0YXMgZGVuZ2FuIGxhbmdrYWgtbGFuZ2thaCAkaD01JCA6DQoNCi0gU3RlcCAxOg0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQogIFxtYXRocm17RX59KFNfTi01KV8rICY9IFxtYXRocm17RX0oU19OKSAtIDUgWzEtXFByKFNfTiBcbGVxIDApIF1cXCAlXFByIChTX05cZ2VxIDUpIFxcDQogICY9IDI4IC0gNSBcbGVmdCgxIC0gXGZyYWN7MX17M31ccmlnaHQpID0gXGZyYWN7NzR9ezN9PTI0LjY2NjcgLg0KICBcZW5ke2FsaWduZWR9DQokJA0KDQotIFN0ZXAgMjoNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KICBcbWF0aHJte0V+fShTX04tMTApXysgJj0gXG1hdGhybXtFfn0oU19OLTUpXysgLSA1IFsxLVxQcihTX04gXGxlcSA1KV1cXCAlXFByIChTX05cZ2UgMTApIFxcDQogICY9IFxmcmFjezc0fXszfSAtIDVcbGVmdCggMSAtIFxmcmFjezF9ezN9IC0gXGZyYWN7MC40fXs5fVxyaWdodCkgPSAyMS41NTUgLg0KICBcZW5ke2FsaWduZWR9DQokJA0KDQotIFN0ZXAgMzoNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KICBcbWF0aHJte0V+fShTX04tMTUpXysgJj0gXG1hdGhybXtFfn0oU19OLTEwKV8rIC0gNSBbMS1cUHIoU19OIFxsZXEgMTApXSBcXCAlXFByIChTX05cZ2UgMTUpICBcXA0KICAmPSBcbWF0aHJte0V+fShTX04tMTApXysgLSA1XFByIChTX05cZ2UgMTUpIFxcDQogICY9IDIxLjU1NSAtIDUgKDAuNTQ5NikgPSAxOC44MDcgLg0KICBcZW5ke2FsaWduZWR9DQokJA0KDQojIDUuMy40IEFuYWx5dGljIFJlc3VsdHMNCg0KVGVyZGFwYXQgYmViZXJhcGEga29tYmluYXNpIGRpc3RyaWJ1c2kgZnJla3VlbnNpIGtsYWltIGRhbiB0aW5na2F0IGtlcGFyYWhhbiB5YW5nIG1lbmdoYXNpbGthbiBkaXN0cmlidXNpIHlhbmcgbXVkYWggZGloaXR1bmcgdW50dWsga2VydWdpYW4gYWdyZWdhdC4gQmFnaWFuIGluaSBtZW1iZXJpa2FuIGJlYmVyYXBhIGNvbnRvaCBzZWRlcmhhbmEuIE1lc2tpcHVuIGNvbnRvaC1jb250b2ggaW5pIG11ZGFoIGRpaGl0dW5nLCBuYW11biBwYWRhIHVtdW1ueWEgdGVybGFsdSBzZWRlcmhhbmEgdW50dWsgZGlndW5ha2FuIGRhbGFtIHByYWt0aWsuDQoNCiMjIEV4YW1wbGUgNS4zLjgNClNhbGFoIHNhdHVueWEgYWRhbGFoIGVrc3ByZXNpIGJlbnR1ayB0ZXJ0dXR1cCB1bnR1ayBkaXN0cmlidXNpIGtlcnVnaWFuIGFncmVnYXQgZGVuZ2FuIG1lbmdhc3Vtc2lrYW4gZGlzdHJpYnVzaSBmcmVrdWVuc2kgZ2VvbWV0cmlzIGRhbiBkaXN0cmlidXNpIHRpbmdrYXQga2VwYXJhaGFuIGVrc3BvbmVuc2lhbC4NCg0KDQpBc3Vtc2lrYW4gYmFod2EganVtbGFoIGtsYWltICROJCBhZGFsYWggZ2VvbWV0cmlrIGRlbmdhbiByYXRhLXJhdGEgJEUoTik9zrIkIGRhbiBqdW1sYWgga2xhaW0gJFgkIGFkYWxhaCBla3Nwb25lbnNpYWwgZGVuZ2FuICRFKFgpPc64JCAuRGFwYXQgZGlpbmdhdCBiYWh3YSBwZ2YgZGFyaSBOIGRhbiBwZ2YgZGFyaSBYIGFkYWxhaDoNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KUF9OICh6KSAmPVxmcmFjezF9ezEtIFxiZXRhICh6LTEpfVxcDQpNX3tYfSh0KSAmPVxmcmFjezF9ezEtXHRoZXRhIHR9IC4NClxlbmR7YWxpZ25lZH0NCiQkDQoNCkRlbmdhbiBkZW1pa2lhbiwgbWdmIGRhcmkga2VydWdpYW4gYWdyZWdhdCAkU19OJCBkYXBhdCBkaW55YXRha2FuIGRlbmdhbiBkdWEgY2FyYQ0KDQokJA0KXGJlZ2lue2VxbmFycmF5fQ0KTV97U19OfSh0KSAmPSYgUF9OIFtNX3tYfSh0KV0gPSBcZnJhY3sxfXsxIC0gXGJldGEgXGxlZnQoIFxmcmFjezF9ezEtXHRoZXRhIHR9IC0gMVxyaWdodCl9IFxub251bWJlclxcDQomPSYgMSsgXGZyYWN7XGJldGF9ezErXGJldGF9IFxsZWZ0KFsxLVx0aGV0YSgxK1xiZXRhKXRdXnstMX0tMSBccmlnaHQpXFwNCiY9JiBcZnJhY3sxfXsxK1xiZXRhfSgxKSArXGZyYWN7XGJldGF9ezErXGJldGF9DQpcbGVmdCggXGZyYWN7MX17MS1cdGhldGEgKDErXGJldGEpdH1ccmlnaHQpIC4NClxlbmR7ZXFuYXJyYXl9DQokJA0KDQpTZWhpbmdnYSwgJFNfTiQgZWt1aXZhbGVuIGRlbmdhbiBkaXN0cmlidXNpIG1hamVtdWsgJFNfTj1YXuKIl18xK+KLrytYXuKIl19O4oiXJCBkZW5nYW4gJE5e4oiXJCBhZGFsYWggQmVybm91bGxpIGRlbmdhbiByYXRhLXJhdGEgJM6yLygxK86yKSQgZGFuICRYXuKIlyQgYWRhbGFoIGVrc3BvbmVuc2lhbCBkZW5nYW4gbWVhbiAkzrgoMSvOsikkLiBVbnR1ayBtZWxpaGF0IGhhbCBpbmksIGtpdGEgcGVyaWtzYSBtZ2YgZGFyaSBTIDoNCg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KTV97U19OfSh0KSA9IFBfTiBbTV97WH0odCldID0gUF97Tl57Kn19IFtNX3tYXnsqfX0odCldLA0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KRGltYW5hLA0KDQokJA0KXGJlZ2lue2FsaWduZWR9DQpQX3tOXip9ICh6KSAmPTErIFxmcmFje1xiZXRhfXsxKyBcYmV0YX0gKHotMSksXFwNCk1fe1heKn0gKHQpICY9XGZyYWN7MX17MS0ge3tcdGhldGEoMStcYmV0YSl9fSB0fS4NClxlbmR7YWxpZ25lZH0NCiQkDQoNCiRTX04kIGp1Z2EgZWt1aXZhbGVuIGRlbmdhbiBjYW1wdXJhbiBkdWEgdGl0aWsgZGFyaSAwIGRhbiAkWF7iiJckLiBTZWNhcmEga2h1c3VzLA0KDQokJA0KXGJlZ2lue2FycmF5fXtjbH0NClNfTiAmPQ0KXGxlZnRcew0KXGJlZ2lue2FycmF5fXtjbH0NCjAgJiB7XHJtIHdpdGh+IHByb2JhYmlsaXR5IH5Qcn0oTl4qPTApID0gMS8oMStcYmV0YSkgXFwNClleeyp9ICYge1xybSB3aXRofiBwcm9iYWJpbGl0eSB+UHJ9KE5eKj0xKSA9IFxiZXRhLygxK1xiZXRhKSAuDQpcZW5ke2FycmF5fQ0KXHJpZ2h0Lg0KXGVuZHthcnJheX0NCiQkDQoNCkZ1bmdzaSBkaXN0cmlidXNpICRTX04kIGRhbGFoDQoNCiQkDQpcYmVnaW57ZXFuYXJyYXkqfQ0KXFByKFNfTj0wKSAmPSYgXGZyYWN7MX17MStcYmV0YX1cXA0KXFByKFNfTj5zKSAmPSYgXFByKFheKj5zKSA9XGZyYWN7XGJldGF9ezErXGJldGF9IFxleHBcbGVmdCggLVxmcmFje3N9ew0KXHRoZXRhICgxK1xiZXRhKX1ccmlnaHQpDQpcZW5ke2VxbmFycmF5Kn0NCiQkDQoNCmRlbmdhbiBwZGYgdW50dWsgJHM+MCQNCg0KJCQNClxiZWdpbntlcW5hcnJheSp9DQpmX3tTX059KHMpID0gXGZyYWN7XGJldGF9e1x0aGV0YSAoMStcYmV0YSleMn1cZXhwXGxlZnQoIC1cZnJhY3tzfXsNClx0aGV0YSAoMStcYmV0YSl9XHJpZ2h0KSAuDQpcZW5ke2VxbmFycmF5Kn0NCiQkDQoNCiMgNS4zLjQgVHdlZWRpZSBEaXN0cmlidXRpb24NClBhZGEgYmFnaWFuIGluaSwga2l0YSBha2FuIG1lbWJhaGFzIGRpc3RyaWJ1c2kgZ2FidW5nYW4gdGVydGVudHUgZGkgbWFuYSBqdW1sYWgga2xhaW0gbWVtaWxpa2kgZGlzdHJpYnVzaSBQb2lzc29uIGRhbiBqdW1sYWgga2xhaW0gbWVtaWxpa2kgZGlzdHJpYnVzaSBnYW1tYS4gU3Blc2lmaWthc2kgaW5pIG1lbmdoYXNpbGthbiBhcGEgeWFuZyBkaWtlbmFsIHNlYmFnYWkgZGlzdHJpYnVzaSBUd2VlZGllLiBEaXN0cmlidXNpIFR3ZWVkaWUgbWVtaWxpa2kgcHJvYmFiaWxpdGFzIG1hc3NhIHBhZGEgbm9sIGRhbiBrb21wb25lbiBrb250aW51IHVudHVrIG5pbGFpIHBvc2l0aWYuIEthcmVuYSBmaXR1ciBpbmksIGRpc3RyaWJ1c2kgaW5pIGJhbnlhayBkaWd1bmFrYW4gZGFsYW0gcGVtb2RlbGFuIGtsYWltIGFzdXJhbnNpLCBkaSBtYW5hIG1hc3NhIG5vbCBkaXRhZnNpcmthbiBzZWJhZ2FpIHRpZGFrIGFkYSBrbGFpbSBkYW4ga29tcG9uZW4gcG9zaXRpZiBzZWJhZ2FpIGp1bWxhaCBrbGFpbS4gDQoNCg0KU2VjYXJhIGtodXN1cywgcGVydGltYmFuZ2thbiBtb2RlbCByaXNpa28ga29sZWt0aWYgJFNfTiA9IFhfMSArIOKLryArIFhfTiQuIERlbmdhbiBtZW5nYW5nZ2FwIGJhaHdhIE4gbWVtaWxpa2kgZGlzdHJpYnVzaSBQb2lzc29uIGRlbmdhbiBtZWFuICTOuyQgZGFuIG1hc2luZy1tYXNpbmcgJFhfaSQgbWVtaWxpa2kgZGlzdHJpYnVzaSBnYW1tYSBkZW5nYW4gcGFyYW1ldGVyIGJlbnR1ayAkzrEkIGRhbiBwYXJhbWV0ZXIgc2thbGEgJM6zJCAuIERpc3RyaWJ1c2kgVHdlZWRpZSBkaXR1cnVua2FuIHNlYmFnYWkganVtbGFoIFBvaXNzb24gZGFyaSB2YXJpYWJlbCBnYW1tYS4gVW50dWsgbWVtYWhhbWkgZGlzdHJpYnVzaSAkU19OJCBwZXJ0YW1hLXRhbWEga2l0YSBha2FuIG1lbGloYXQgcHJvYmFiaWxpdGFzIG1hc3NhIHBhZGEgbmlsYWkgbm9sLiBLZXJ1Z2lhbiBhZ3JlZ2F0IGFkYWxhaCBub2wga2V0aWthIHRpZGFrIGFkYSBrbGFpbSB5YW5nIHRlcmphZGksIHlhaXR1DQoNCiR7XHJtIFByfShTX049MCk9IHtccm0gUHJ9KE49MCk9ZV57LVxsYW1iZGF9LiQNCg0KU2VsYWluIGl0dSwgcGVyaGF0aWthbiBiYWh3YSAkU19OJCBiZXJzeWFyYXQgcGFkYSBOID0gbiB5YW5nIGRpbm90YXNpa2FuIGRlbmdhbiAkU19uID0gWF8xICsg4ouvICsgWF9uJCBtZW5naWt1dGkgZGlzdHJpYnVzaSBnYW1tYSBkZW5nYW4gYmVudHVrICRuzrEkIGRhbiBza2FsYSAkzrMkIC4gRGVuZ2FuIGRlbWlraWFuLCB1bnR1ayAkcz4wJCBkZW5zaXRhcyBkYXJpIGRpc3RyaWJ1c2kgVHdlZWRpZSBkYXBhdCBkaWhpdHVuZyBzZWJhZ2FpDQoNCiQkDQpcYmVnaW57YWxpZ25lZH0NCmZfe1NfTn0ocykmPVxzdW1fe249MX1ee1xpbmZ0eX0gcF9uIGZfe1Nfbn0ocylcXA0KJj1cc3VtX3tuPTF9XntcaW5mdHl9ZV57LVxsYW1iZGF9XGZyYWN7KFxsYW1iZGEpXm59e24hfVxmcmFje1xnYW1tYV57bmF9fXtcR2FtbWEoblxhbHBoYSl9c157blxhbHBoYS0xfWVeey1zXGdhbW1hfSAuDQpcZW5ke2FsaWduZWR9DQokJA0KDQpEZW5nYW4gZGVtaWtpYW4sIGRpc3RyaWJ1c2kgVHdlZWRpZSBkYXBhdCBkaWFuZ2dhcCBzZWJhZ2FpIGNhbXB1cmFuIGFudGFyYSBkaXN0cmlidXNpIG5vbCBkYW4gZGlzdHJpYnVzaSBiZXJuaWxhaSBwb3NpdGlmLCB5YW5nIG1lbWJ1YXRueWEgbWVuamFkaSBhbGF0IHlhbmcgbXVkYWggZGlndW5ha2FuIHVudHVrIG1lbW9kZWxrYW4ga2xhaW0gYXN1cmFuc2kgZGFuIHVudHVrIG1lbmdoaXR1bmcgcHJlbWkgbXVybmkuIFJhdGEtcmF0YSBkYW4gdmFyaWFucyBkYXJpIG1vZGVsIFBvaXNzb24gZ2FidW5nYW4gVHdlZWRpZSBhZGFsYWg6DQoNCiR7XHJtIEV9IChTX04pPVxsYW1iZGFcZnJhY3tcYWxwaGF9e1xnYW1tYX1+fn5+e1xybSBhbmR9fn5+fntccm0gVmFyfSAoU19OKT1cbGFtYmRhXGZyYWN7XGFscGhhKDErXGFscGhhKX17XGdhbW1hXjJ9LiQNCg0KU2ViYWdhaSBmaXR1ciBwZW50aW5nIGxhaW5ueWEsIGRpc3RyaWJ1c2kgVHdlZWRpZSBhZGFsYWgga2FzdXMga2h1c3VzIGRhcmkgbW9kZWwgZGlzcGVyc2kgZWtzcG9uZW5zaWFsLCBzZWJ1YWgga2VsYXMgbW9kZWwgeWFuZyBkaWd1bmFrYW4gdW50dWsgbWVuZ2dhbWJhcmthbiBrb21wb25lbiBhY2FrIGRhbGFtIG1vZGVsIGxpbmllciB1bXVtLiBVbnR1ayBtZWxpaGF0IGhhbCBpbmksIGthbWkgbWVtcGVydGltYmFuZ2thbiByZXBhcmFtZXRlcmlzYXNpIGJlcmlrdXQ6DQoNCiQkDQpcYmVnaW57ZXF1YXRpb24qfQ0KXGxhbWJkYT1cZnJhY3tcbXVeezItcH19e1xwaGkoMi1wKX0sfn5+flxhbHBoYT1cZnJhY3syLXB9e3AtMX0sfn5+flxmcmFjezF9e1xnYW1tYX09XHBoaShwLTEpXG11XntwLTF9IC4NClxlbmR7ZXF1YXRpb24qfQ0KJCQNCg0KRGVuZ2FuIGh1YnVuZ2FuIGRpIGF0YXMsIGtpdGEgZGFwYXQgbWVudW5qdWtrYW4gYmFod2EgZGlzdHJpYnVzaSAkU19OJCBhZGFsYWgNCg0KJGZfe1NfTn0ocyk9XGV4cFxsZWZ0W1xmcmFjezF9e1xwaGl9XGxlZnQoXGZyYWN7LXN9eyhwLTEpXG11XntwLTF9fS1cZnJhY3tcbXVeezItcH19ezItcH1ccmlnaHQpK0MocztccGhpKVxyaWdodF0kDQoNCkRpbWFuYQ0KDQokJA0KQyhzO1xwaGkpPVxsZWZ0XHtcYmVnaW57YXJyYXl9e2xsfQ0KICAgICAgICAgICAgICAgICAgICBcZGlzcGxheXN0eWxlIDAgJiB7XHJtIGlmfX4gcz0wIFxcDQogICAgICAgICAgICAgICAgICAgXGRpc3BsYXlzdHlsZSBcbG9nIFxzdW1cbGltaXRzX3tuIFxnZSAxfSBcbGVmdFx7XGZyYWN7KDEvXHBoaSleezEvKHAtMSl9c157KDItcCkvKHAtMSl9fXsoMi1wKShwLTEpXnsoMi1wKS8ocC0xKX19XHJpZ2h0XH1ee259XGZyYWN7MX17biF+XEdhbW1hW24oMi1wKS8ocC0xKV1zfSAmIHtccm0gaWZ9fiBzPjAgLg0KICAgICAgICAgICAgICAgICAgXGVuZHthcnJheX1ccmlnaHQuDQokJA0KDQpPbGVoIGthcmVuYSBpdHUsIGRpc3RyaWJ1c2kgJFNfTiQgdGVybWFzdWsga2UgZGFsYW0ga2VsdWFyZ2EgZWtzcG9uZW5zaWFsIGRlbmdhbiBwYXJhbWV0ZXIgJM68JCAsICTPlSQgLCBkYW4gJDE8cDwyJCAsIGRhbiBraXRhIG1lbWlsaWtpDQoNCiR7XHJtIEV9IChTX04pPVxtdX5+fn57XHJtIGFuZH1+fn5+e1xybSBWYXJ9IChTX04pPVxwaGlcbXVee3B9LiQNCg0KSGFsIGluaSBtZW11bmdraW5rYW4ga2l0YSB1bnR1ayBtZW5nZ3VuYWthbiBkaXN0cmlidXNpIFR3ZWVkaWUgZGVuZ2FuIG1vZGVsIGxpbmVhciB1bXVtIHVudHVrIG1lbW9kZWxrYW4ga2xhaW0uIFBlcmx1IGp1Z2EgZGlzZWJ1dGthbiBkdWEga2FzdXMgcGVtYmF0YXMgZGFyaSBtb2RlbCBUd2VlZGllOiAkcOKGkjEkIG1lbmdoYXNpbGthbiBkaXN0cmlidXNpIFBvaXNzb24gZGFuICRwIOKGkiAyJCBtZW5naGFzaWxrYW4gZGlzdHJpYnVzaSBnYW1tYS4gRGVuZ2FuIGRlbWlraWFuLCBtb2RlbCBUd2VlZGllIG1lbmdha29tb2Rhc2kgc2l0dWFzaSBkaSBhbnRhcmEgZGlzdHJpYnVzaSBnYW1tYSBkYW4gUG9pc3NvbiwgeWFuZyBzZWNhcmEgaW50dWl0aWYgbWFzdWsgYWthbCBrYXJlbmEgbWVydXBha2FuIGp1bWxhaCBQb2lzc29uIGRhcmkgdmFyaWFiZWwgYWNhayBnYW1tYS4NCg0KICAgICAgICAgICAgICAgICAgDQogICAgICAgICAgICAgICAgICANCg0KDQoNCiMgUmVmZXJlbnNpIA0KLSBodHRwczovL29wZW5hY3R0ZXh0cy5naXRodWIuaW8vTG9zcy1EYXRhLUFuYWx5dGljcy9DaGFwRnJlcXVlbmN5LU1vZGVsaW5nLmh0bWwjUzpnb29kbmVzcy1vZi1maXQ=
