\[\begin{array}{lrllr}
\hline
\text{Dependent Variable:} \mathrm{Y} \\
\text{Method: ML - Binary Logit (Quadratic hill climbing)} \\
\text{Sample:} 1173 & & & & \\
\hline
\text{Variable} & \text{Coefficient} & \text{Std. Error} &
\text{z-Statistic} & \text{Prob.} \\
\hline\hline
\text{C} & -2.639057:& 1.035087 & -2.549599 & 0.0108 \\
\text{X2} & 5.278115 & 1.463835 & ~~~3.605676 & 0.0003
\\
\hline\hline
\text{McFadden R-squared} & 0.646641 & \text{Mean dependent var}
& & 0.50000 & \\
\text{Akaike info criterion} & 0.623193 & \text{Sum squared
resid} & & 1.866667 & \\
\text{Schwarz criterion} & 0.716607 & \text{Log likelihood}
& & -7.347901 & \\
\text{Hannan-Quinn criter.} & 0.653077 & \text{Deviance} &
& 14.69580 & \\
\text{Restr. deviance} & -41.58883 & \text{Restr. log
likelihood} & & -20.79442 & \\
\text{LR statistic} & 26.89303 & \text{Avg. log likelihood}
& & -0.244930 & \\
\text{Prob(LR statistic)} & 0.000000 & & & \\
\hline
\end{array}\]
Bảng 4.8. Kết quả hồi quy ước lượng cho mô hình logistic (e) Từ đó
nhận được mô hình hồi quy logistic ước lượng cho (e): \[
\log \left( \frac{\hat{\pi}(x)}{1 - \hat{\pi}(x)} \right) = -2.639057 +
5.278115 \cdot x
\]
Hệ số \(\beta_1 = 5.278115 >
0\), cho thấy nguy cơ tử vong cao hơn ở bệnh nhân bị huyết áp
thấp.
Xác suất tử vong ước đoán đối với những bệnh nhân nhiễm trùng máu
có huyết áp thấp là: \(\hat{\pi}(1) =
93.333\%\);
Xác suất tử vong ước đoán đối với những bệnh nhân nhiễm trùng máu
không bị huyết áp thấp là: \(\hat{\pi}(0) =
6.667\%\);
Từ: \(\text{Odds}(1) =
\frac{\hat{\pi}(1)}{1 - \hat{\pi}(1)} = 13.99925\), cho thấy đối
với bệnh nhân nhiễm trùng máu bị huyết áp thấp có nguy cơ tử vong ước
đoán cao gấp gần 14 lần khả năng không tử vong.
Từ: \(\text{Odds}(0) =
\frac{\hat{\pi}(0)}{1 - \hat{\pi}(0)} = 0.071432\), cho thấy đối
với bệnh nhân nhiễm trùng máu không bị huyết áp thấp có nguy cơ tử vong
ước đoán chỉ bằng 7.1432% khả năng không tử vong, hay là khả năng sống
cao gấp gần 14 lần nguy cơ tử vong.
Ví dụ 4. Chúng ta trở lại với dữ liệu về cua móng
ngựa được giới thiệu trong phần 3.3.2. Vấn đề đặt ra là việc một con cua
cái có hay không có vệ tinh phụ thuộc như thế nào vào độ rộng của mai
cua? Vậy là khi quan sát chiều rộng \(X_1\) của một con cua cái, biến đáp ứng có
hai loại: có vệ tinh và không có vệ tinh. Khi đó, ta gán \(Y = 1\) nếu con cua cái được quan sát có ít
nhất một vệ tinh, và gán \(Y = 0\) nếu
nó không có vệ tinh. Xác suất để một con cua cái với độ rộng mai là
\(X_1 = x\) có vệ tinh là: \(\pi(x) = P(Y = 1|X_1 = x) = E(Y|X_1 = x)\).
Để trả lời cho câu hỏi trên, ta cần xây dựng mô hình hồi quy cho xác
suất \(\pi(x)\) theo độ rộng mai
cua.
Như trước đây, chia độ rộng thành 8 khoảng và thống kê tổng số cua
cái và tổng số vệ tinh của những con cua cái, tính tỷ lệ vệ tinh trong
mỗi khoảng độ rộng, ta có bảng: \[
\begin{array}{|c|c|c|c|}
\hline
\text{Khoảng độ rộng} & \text{Số cua cái} & \text{Số vẹ tinh}
& \text{Tỷ lệ có vẹ tinh} \\
\hline
< 23.25 & 14 & 5 & 0.3571 \\
23.25-24.25 & 14 & 4 & 0.2857 \\
24.25-25.25 & 28 & 17 & 0.6071 \\
25.25-26.25 & 39 & 21 & 0.5385 \\
26.25-27.25 & 22 & 15 & 0.6818 \\
27.25-28.25 & 24 & 20 & 0.8333 \\
28.25-29.25 & 18 & 15 & 0.8333 \\
> 29.25 & 14 & 14 & 1.0000 \\
\hline
\end{array}
\]
\[
\text{Bảng 4.9 Phân nhóm độ rộng của các con cua cái}
\]
Bảng 4.9 cho thấy xu hướng tăng của tỷ lệ có vẹ tinh của con cua cái
khi độ rộng tăng lên. Chúng ta chọn mô hình logistic để biểu diễn sự phụ
thuộc của \(\pi(x)\) là xác suất có vẹ
tinh của một con cua cái có chiều rộng mai là \(x\):
\[
\log \left[ \frac{\pi(x)}{1 - \pi(x)} \right] = \beta_0 + \beta_1 \cdot
x \tag{h}
\]
Với phương pháp ước lượng (ML), phần mềm Eviews cho bảng hồi quy:
\[
\begin{array}{lrllr}
\hline
\text{Dependent Variable:} & \text{Y} \\
\text{Method:} & \text{ML - Binary Logit (Quadratic hill climbing)}
\\
\text{Sample:} & 1173 & & & \\
\hline
\text{Variable} & \text{Coefficient} & \text{Std. Error} &
\text{z-Statistic} & \text{Prob.} \\
\hline\hline
\text{C} & -12.35082 & 2.628731 & -4.698395 & 0.0000 \\
\text{X1} & 0.497231 & 0.101736 & 4.887455 & 0.0000 \\
\hline\hline
\text{McFadden R-squared} & 0.138670 & \text{Mean dependent var}
& & 0.641618 \\
\text{S.D. dependent var} & 0.480917 & \text{S.E. of regression}
& & 0.441662 \\
\text{Akaike info criterion} & 1.147125 & \text{Sum squared
resid} & & 33.35622 \\
\text{Schwarz criterion} & 1.183579 & \text{Log likelihood}
& & -97.22633 \\
\text{Hannan-Quinn criter.} & 1.161914 & \text{Deviance} &
& 194.4527 \\
\text{Restr. deviance} & 225.7585 & \text{Restr. log likelihood}
& & -112.8793 \\
\text{LR statistic} & 31.30586 & \text{Avg. log likelihood}
& & -0.562002 \\
\text{Prob(LR statistic)} & 0.000000 & & & \\
\hline
\text{Obs with Dep=0} & 62 & \text{Total obs} & & 173 \\
\text{Obs with Dep=1} & 111 & & & \\
\hline
\end{array}
\]
Từ đó nhận được mô hình ước lượng cho (h):
\[
\log \left( \frac{\hat{\pi}(x)}{1 - \hat{\pi}(x)} \right) = -12.35082 +
0.497231 \cdot x \tag{i}
\]
hay là:
\[
\hat{\pi}(x) = \left\{ 1 + e^{-12.35082 + 0.497231 \cdot x}
\right\}^{-1} \tag{k}
\]
\[
\hat{\beta}_1 = 0.497231 > 0, \text{ cho thấy xu hướng xác suất dự
đoán tăng theo độ rộng của mai cua, tức là con cua cái có độ rộng mai
càng lớn thì càng có nhiều khả năng có vẹ tinh hơn.}
\] Dự đoán về xác suất có vẹ tinh của mỗi con cua cái cho từng
khoảng độ rộng của mai và số vẹ tinh dự đoán trên mỗi khoảng tương ứng
được tính như sau:
Chẳng hạn: Khoảng thứ nhất, với độ rộng mai bình quân: \(x = 22.75\):
Xác suất dự đoán: \(\hat{\pi}(22.75) =
0.2614\) và số vẹ tinh dự đoán: \(14
\times 0.2614 = 3.6596\)
Ý nghĩa: Xác suất để một con cua cái với độ rộng mai dưới 23.75 cm có
vẹ tinh, được dự báo qua mô hình (k) là 26.14% và số vẹ tinh của những
con cua cái này được dự báo là khoảng 3.6596 (con).
Bảng 4.11 trình bày các kết quả tính toán ở trên. Bảng 4.12 tính xác
suất dự đoán có vẹ tinh của mỗi con trong 173 con.
\[
\begin{array}{|c|c|c|c|c|c|}
\hline
\text{Khoảng độ rộng} & \text{Số cua cái} & \text{Số vẹ tinh}
& \text{Tỷ lệ mẫu vẹ tinh} & \text{Xác suất dự đoán} &
\text{Số vẹ tinh dự đoán} \\
\hline
< 23.25 & 14 & 5 & 0.3571 & 0.2614 &
3.6596 \\
23.25-24.25 & 14 & 4 & 0.2857 & 0.3678 & 5.1492
\\
24.25-25.25 & 28 & 17 & 0.6071 & 0.4889 & 13.6892
\\
25.25-26.25 & 39 & 21 & 0.5385 & 0.6113 & 23.8407
\\
26.25-27.25 & 22 & 15 & 0.6818 & 0.7211 & 15.8642
\\
27.25-28.25 & 24 & 20 & 0.8333 & 0.8096 & 19.4304
\\
28.25-29.25 & 18 & 15 & 0.8333 & 0.8749 & 15.7482
\\
> 29.25 & 14 & 14 & 1.0000 & 0.9200 &
12.8800 \\
\hline
\end{array}
\]
\[
\text{Bảng 4.11: Xác suất dự đoán có vẹ tinh của mỗi con trong 173 con}
\] - Tại mức trung bình mẫu chiều rộng là 26,30cm, xác suất dự
đoán có vẹ tinh bằng 0.6740. Tốc độ tăng của xác suất được xác định tại
mức đó là:
\[
\hat{\beta}_1 \hat{\pi} (1 - \hat{\pi}) = 0.497231 \cdot 0.674 \cdot
0.326 = 0.1093
\]
Như vậy tại mức này, khi chiều rộng mai cua cái tăng thêm 1cm thì xác
suất ước đoán có vẹ tinh của con cua cái tăng thêm 10.93%.
- Mức hiệu quả trung bình là chiều rộng mà tại đó xác suất dự đoán
bằng 0.5, là:
\[
x = EL_{50} = -\frac{\hat{\beta}_0}{\hat{\beta}_1} =
\frac{-12.35082}{0.497231} = 24.8392
\]
Tốc độ tăng của xác suất dự đoán tại đó, như đã biết, là lớn nhất và
bằng:
\[
\hat{\beta}_1 \hat{\pi} (1 - \hat{\pi}) = 0.497231 \cdot 0.5 \cdot 0.5 =
0.1243
\]
Như vậy tại mức này, khi chiều rộng mai cua cái tăng thêm 1cm thì xác
suất ước đoán có vẹ tinh của con cua cái tăng thêm 12.43%, đây là mức
tăng lớn nhất.
Khác với mô hình xác suất tuyến tính, xác suất “Thành công” trong mô
hình hồi quy logistic có tốc độ biến thiên thay đổi theo mức x của biến
giải thích.
4.2. Suy luận cho mô hình logistic
Xét mô hình hồi quy logistic:
\[
\log \left( \frac{\pi(x)}{1 - \pi(x)} \right) = \beta_0 + \beta_1 \cdot
x \tag{4.2.1}
\]
trong đó \(\pi(x) = P(Y = 1|X = x) = E(Y|X
= x)\) là xác suất thành công (\(Y =
1\)) trong điều kiện biến giải thích \(X\) nhận giá trị \(x\), \(Y\)
là số “thành công” của biến đáp ứng nhị phân.
4.2.1. Tìm khoảng tin cậy cho các hệ số hồi quy
- Khoảng tin cậy (với độ tin cậy \(\gamma =
1 - \alpha\)) cho tham số \(\beta_0\):
\[
\left( \hat{\beta}_0 - u \left( \frac{\alpha}{2} \right) \cdot
se(\hat{\beta}_0); \hat{\beta}_0 + u \left( \frac{\alpha}{2} \right)
\cdot se(\hat{\beta}_0) \right) \tag{4.2.2}
\]
trong đó \(se(\hat{\beta}_0)\) là
sai số chuẩn ước lượng của \(\hat{\beta}_0\), được tính bởi các phần mềm
(trong bảng hồi quy là giá trị ở hàng C và cột Std. error), \(u(\lambda)\) là giá trị tới hạn của phân
phối chuẩn.
- Khoảng tin cậy (với độ tin cậy \(\gamma =
1 - \alpha\)) cho tham số \(\beta_1\):
\[
\left( \hat{\beta}_1 - u \left( \frac{\alpha}{2} \right) \cdot
se(\hat{\beta}_1); \hat{\beta}_1 + u \left( \frac{\alpha}{2} \right)
\cdot se(\hat{\beta}_1) \right) \tag{4.2.3}
\]
trong đó \(se(\hat{\beta}_1)\) là
sai số chuẩn ước lượng của \(\hat{\beta}_1\), được tính bởi các phần mềm
(trong bảng hồi quy là giá trị ở hàng \(X_1\) và cột Std. error).
- Khoảng tin cậy cho tỷ lệ cược trên mỗi đơn vị tăng của biến giải
thích:
\[
\left( \exp \left( \hat{\beta}_1 - u \left( \frac{\alpha}{2} \right)
\cdot se(\hat{\beta}_1) \right) ; \exp \left( \hat{\beta}_1 + u \left(
\frac{\alpha}{2} \right) \cdot se(\hat{\beta}_1) \right) \right)
\tag{4.2.4}
\]
Tiến hành tìm khoảng tin cậy:
- Tra bảng tìm giá trị tới hạn \(u \left(
\frac{\alpha}{2} \right)\) và lấy thông tin về \(\hat{\beta}_1, se(\hat{\beta}_1)\) mà bảng
hồi quy cung cấp để thay vào công thức khoảng tin cậy.
- Đối với khoảng tin cậy 90%, 95%, 99% cho các tham số \(\beta_0, \beta_1\), có thể chạy trực tiếp
trên phần mềm, sau khi đã có bảng hồi quy.
Ví dụ 5. Để minh họa, chúng ta trở lại với hồi quy logistic
về dữ liệu cua móng ngựa đã xét ở trên, thực hiện trực tiếp trên Eviews,
nhận được:
\[
\text{Bảng 4.13 Ước lượng khoảng tin cậy cho các hệ số hồi quy}
\]
- Khoảng tin cậy 95% cho \(\beta_1\)
là: (0,296410; 0,698051).
- Khoảng tin cậy cho tỷ lệ cược trên mỗi cm tăng của chiều rộng mai
cua là: \[
(\exp(0,296410); \exp(0,698051)) = (1,345022; 2,009832)
\] Điều này cho thấy rằng: với mỗi cm chiều rộng mai cua tăng lên
thì tỷ lệ cược để con cua cái có vẹ tinh tăng thêm từ 34,5022% đến
100,9832%.
- Số hạng \(\beta\pi(x)[1 - \pi(x)]\)
xấp xỉ sự thay đổi xác suất trên mỗi đơn vị thay đổi trong \(x\). Chẳng hạn, tại \(\pi = 0,5\), tỷ lệ thay đổi dự báo là \(\hat{\beta}_1 \cdot 0,5 \cdot 0,5 = 0,497231 \cdot
0,25 = 0,124308\). Khoảng tin cậy 95% cho sự thay đổi xác suất
này là: \[
(0,25 \cdot 0,296410; 0,25 \cdot 0,698051) = (0,074102; 0,174513)
\] Theo mô hình hồi quy logistic này, với các giá trị \(x\) gần chiều rộng mà tại đó \(\pi = 0,5\), tỷ lệ tăng xác suất của một vẹ
tinh trên mỗi cm tăng chiều rộng rơi vào khoảng từ 0,0741 đến
0,1745.
Chú ý: Đối với việc tìm khoảng tin cậy \((\hat{\pi}_1, \hat{\pi}_2)\) cho xác suất
thành công \(\pi(x)\) ứng với mức \(x\) được tiến hành như sau:
- Tìm \(cov(\hat{\beta}_0,
\hat{\beta}_1)\) từ ma trận covariance do phần mềm cung cấp, từ
đó tính: \[
se(\hat{\beta}_0 + \hat{\beta}_1 x) = \sqrt{var(\hat{\beta}_0 +
\hat{\beta}_1 x)} = \sqrt{var(\hat{\beta}_0) + x^2 var(\hat{\beta}_1) +
2x \cdot cov(\hat{\beta}_0, \hat{\beta}_1)}
\]
- Suy ra khoảng tin cậy cho \(\logit(\pi(x))\): \[
\left( \hat{\beta}_0 + \hat{\beta}_1 x - u \left( \frac{\alpha}{2}
\right) \cdot se(\hat{\beta}_0 + \hat{\beta}_1 x); \hat{\beta}_0 +
\hat{\beta}_1 x + u \left( \frac{\alpha}{2} \right) \cdot
se(\hat{\beta}_0 + \hat{\beta}_1 x) \right)
\]
- Tính: \[
\hat{\pi}_1 = \frac{1}{1 + \exp \left\{ -\left( \hat{\beta}_0 -
\hat{\beta}_1 x + u \left( \frac{\alpha}{2} \right) \cdot
se(\hat{\beta}_0 + \hat{\beta}_1 x) \right) \right\}}
\]
LS0tDQp0aXRsZTogIsSQw4JZIEzDgCBGSUxFIFRFU1QgTEFURVggVFLDik4gUk1BUktET1dOIg0KZGF0ZTogImByIGZvcm1hdChTeXMudGltZSgpLCAnJUg6JU06JVMsICVkIC0gJW0gLSAlWScpYCINCm91dHB1dDoNCiAgaHRtbF9kb2N1bWVudDoNCiAgICB0b2M6IFRSVUUNCiAgICB0b2NfZmxvYXQ6IFRSVUUNCiAgICBkZl9wcmludDogcGFnZWQNCiAgICBjb2RlX2Rvd25sb2FkOiB0cnVlDQogICAgY29kZV9mb2xkaW5nOiBoaWRlDQogIHBkZl9kb2N1bWVudDoNCiAgICBleHRyYV9kZXBlbmRlbmNpZXM6DQogICAgICB2aWV0bmFtOiB1dGY4DQogICAgdG9jOiB5ZXMNCiAgICBudW1iZXJfc2VjdGlvbnM6IHllcw0KICB3b3JkX2RvY3VtZW50Og0KICAgIHRvYzogeWVzDQogICAgbnVtYmVyX3NlY3Rpb25zOiB5ZXMNCmdlb21ldHJ5Og0KICAgICAgLSBpbm5lcj0zY20NCiAgICAgIC0gb3V0ZXI9NGNtDQogICAgICAtIHRvcD0zY20NCiAgICAgIC0gYm90dG9tPTRjbQ0KICAgICAgLSBoZWFkc2VwPTIycHQNCiAgICAgIC0gaGVhZGhlaWdodD0xMXB0DQogICAgICAtIGZvb3Rza2lwPTMzcHQNCiAgICAgIC0gaWdub3JlaGVhZA0KICAgICAgLSBpZ25vcmVmb290DQogICAgICAtIGhlaWdodHJvdW5kZWQNCi0tLQ0KDQpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0NCmtuaXRyOjpvcHRzX2NodW5rJHNldChlY2hvID0gVFJVRSwgb3B0aW9ucyhkaWdpdHMgPSA0KSwgIGF0dHIuc291cmNlPScubnVtYmVyTGluZXMnKQ0KYGBgDQoNClxiZWdpbnthcnJheX17bHJsbHJ9DQpcaGxpbmUNClx0ZXh0e0RlcGVuZGVudCBWYXJpYWJsZTp9IFxtYXRocm17WX0gIFxcDQpcdGV4dHtNZXRob2Q6IE1MIC0gQmluYXJ5IExvZ2l0IChRdWFkcmF0aWMgaGlsbCBjbGltYmluZyl9IFxcDQpcdGV4dHtTYW1wbGU6fSAxMTczICYgJiAmICYgXFwNClxobGluZQ0KXHRleHR7VmFyaWFibGV9ICYgXHRleHR7Q29lZmZpY2llbnR9ICYgXHRleHR7U3RkLiBFcnJvcn0gJiBcdGV4dHt6LVN0YXRpc3RpY30gJiBcdGV4dHtQcm9iLn0gXFwNClxobGluZVxobGluZQ0KXHRleHR7Q30gJiAtMi42MzkwNTc6JiAxLjAzNTA4NyAmIC0yLjU0OTU5OSAmIDAuMDEwOCBcXA0KXHRleHR7WDJ9ICYgNS4yNzgxMTUgJiAxLjQ2MzgzNSAmIH5+fjMuNjA1Njc2ICYgMC4wMDAzIFxcDQpcaGxpbmVcaGxpbmUNClx0ZXh0e01jRmFkZGVuIFItc3F1YXJlZH0gJiAwLjY0NjY0MSAmIFx0ZXh0e01lYW4gZGVwZW5kZW50IHZhcn0gJiAmIDAuNTAwMDAgJiAgXFwNClx0ZXh0e0FrYWlrZSBpbmZvIGNyaXRlcmlvbn0gJiAwLjYyMzE5MyAmIFx0ZXh0e1N1bSBzcXVhcmVkIHJlc2lkfSAmICYgMS44NjY2NjcgJiAgXFwNClx0ZXh0e1NjaHdhcnogY3JpdGVyaW9ufSAmIDAuNzE2NjA3ICYgXHRleHR7TG9nIGxpa2VsaWhvb2R9ICYgJiAtNy4zNDc5MDEgJiAgXFwNClx0ZXh0e0hhbm5hbi1RdWlubiBjcml0ZXIufSAmIDAuNjUzMDc3ICYgXHRleHR7RGV2aWFuY2V9ICYgJiAxNC42OTU4MCAmICBcXA0KXHRleHR7UmVzdHIuIGRldmlhbmNlfSAmIC00MS41ODg4MyAmIFx0ZXh0e1Jlc3RyLiBsb2cgbGlrZWxpaG9vZH0gJiAmIC0yMC43OTQ0MiAmICBcXA0KXHRleHR7TFIgc3RhdGlzdGljfSAmIDI2Ljg5MzAzICYgXHRleHR7QXZnLiBsb2cgbGlrZWxpaG9vZH0gJiAmIC0wLjI0NDkzMCAmICBcXA0KXHRleHR7UHJvYihMUiBzdGF0aXN0aWMpfSAmIDAuMDAwMDAwICYgICYgICYgIFxcDQpcaGxpbmUNClxlbmR7YXJyYXl9DQoNCkLhuqNuZyA0LjguIEvhur90IHF14bqjIGjhu5NpIHF1eSDGsOG7m2MgbMaw4bujbmcgY2hvIG3DtCBow6xuaCBsb2dpc3RpYyAoZSkNClThu6sgxJHDsyBuaOG6rW4gxJHGsOG7o2MgbcO0IGjDrG5oIGjhu5NpIHF1eSBsb2dpc3RpYyDGsOG7m2MgbMaw4bujbmcgY2hvIChlKToNClxbDQpcbG9nIFxsZWZ0KCBcZnJhY3tcaGF0e1xwaX0oeCl9ezEgLSBcaGF0e1xwaX0oeCl9IFxyaWdodCkgPSAtMi42MzkwNTcgKyA1LjI3ODExNSBcY2RvdCB4DQpcXQ0KDQotIEjhu4cgc+G7kSBcKFxiZXRhXzEgPSA1LjI3ODExNSA+IDBcKSwgY2hvIHRo4bqleSBuZ3V5IGPGoSB04butIHZvbmcgY2FvIGjGoW4g4bufIGLhu4duaCBuaMOibiBi4buLIGh1eeG6v3Qgw6FwIHRo4bqlcC4NCg0KLSBYw6FjIHN14bqldCB04butIHZvbmcgxrDhu5tjIMSRb8OhbiDEkeG7kWkgduG7m2kgbmjhu69uZyBi4buHbmggbmjDom4gbmhp4buFbSB0csO5bmcgbcOhdSBjw7MgaHV54bq/dCDDoXAgdGjhuqVwIGzDoDogXChcaGF0e1xwaX0oMSkgPSA5My4zMzNcJVwpOw0KDQotIFjDoWMgc3XhuqV0IHThu60gdm9uZyDGsOG7m2MgxJFvw6FuIMSR4buRaSB24bubaSBuaOG7r25nIGLhu4duaCBuaMOibiBuaGnhu4VtIHRyw7luZyBtw6F1IGtow7RuZyBi4buLIGh1eeG6v3Qgw6FwIHRo4bqlcCBsw6A6IFwoXGhhdHtccGl9KDApID0gNi42NjdcJVwpOw0KDQotIFThu6s6IFwoXHRleHR7T2Rkc30oMSkgPSBcZnJhY3tcaGF0e1xwaX0oMSl9ezEgLSBcaGF0e1xwaX0oMSl9ID0gMTMuOTk5MjVcKSwgY2hvIHRo4bqleSDEkeG7kWkgduG7m2kgYuG7h25oIG5ow6JuIG5oaeG7hW0gdHLDuW5nIG3DoXUgYuG7iyBodXnhur90IMOhcCB0aOG6pXAgY8OzIG5ndXkgY8ahIHThu60gdm9uZyDGsOG7m2MgxJFvw6FuIGNhbyBn4bqlcCBn4bqnbiAxNCBs4bqnbiBraOG6oyBuxINuZyBraMO0bmcgdOG7rSB2b25nLg0KDQotIFThu6s6IFwoXHRleHR7T2Rkc30oMCkgPSBcZnJhY3tcaGF0e1xwaX0oMCl9ezEgLSBcaGF0e1xwaX0oMCl9ID0gMC4wNzE0MzJcKSwgY2hvIHRo4bqleSDEkeG7kWkgduG7m2kgYuG7h25oIG5ow6JuIG5oaeG7hW0gdHLDuW5nIG3DoXUga2jDtG5nIGLhu4sgaHV54bq/dCDDoXAgdGjhuqVwIGPDsyBuZ3V5IGPGoSB04butIHZvbmcgxrDhu5tjIMSRb8OhbiBjaOG7iSBi4bqxbmcgNy4xNDMyXCUga2jhuqMgbsSDbmcga2jDtG5nIHThu60gdm9uZywgaGF5IGzDoCBraOG6oyBuxINuZyBz4buRbmcgY2FvIGfhuqVwIGfhuqduIDE0IGzhuqduIG5ndXkgY8ahIHThu60gdm9uZy4NCg0KKipWw60gZOG7pSA0LioqIENow7puZyB0YSB0cuG7nyBs4bqhaSB24bubaSBk4buvIGxp4buHdSB24buBIGN1YSBtw7NuZyBuZ+G7sWEgxJHGsOG7o2MgZ2nhu5tpIHRoaeG7h3UgdHJvbmcgcGjhuqduIDMuMy4yLiBW4bqlbiDEkeG7gSDEkeG6t3QgcmEgbMOgIHZp4buHYyBt4buZdCBjb24gY3VhIGPDoWkgY8OzIGhheSBraMO0bmcgY8OzIHbhu4cgdGluaCBwaOG7pSB0aHXhu5ljIG5oxrAgdGjhur8gbsOgbyB2w6BvIMSR4buZIHLhu5luZyBj4bunYSBtYWkgY3VhPyBW4bqteSBsw6Aga2hpIHF1YW4gc8OhdCBjaGnhu4F1IHLhu5luZyBcKFhfMVwpIGPhu6dhIG3hu5l0IGNvbiBjdWEgY8OhaSwgYmnhur9uIMSRw6FwIOG7qW5nIGPDsyBoYWkgbG/huqFpOiBjw7MgduG7hyB0aW5oIHbDoCBraMO0bmcgY8OzIHbhu4cgdGluaC4gS2hpIMSRw7MsIHRhIGfDoW4gXChZID0gMVwpIG7hur91IGNvbiBjdWEgY8OhaSDEkcaw4bujYyBxdWFuIHPDoXQgY8OzIMOtdCBuaOG6pXQgbeG7mXQgduG7hyB0aW5oLCB2w6AgZ8OhbiBcKFkgPSAwXCkgbuG6v3UgbsOzIGtow7RuZyBjw7MgduG7hyB0aW5oLiBYw6FjIHN14bqldCDEkeG7gyBt4buZdCBjb24gY3VhIGPDoWkgduG7m2kgxJHhu5kgcuG7mW5nIG1haSBsw6AgXChYXzEgPSB4XCkgY8OzIHbhu4cgdGluaCBsw6A6IFwoXHBpKHgpID0gUChZID0gMXxYXzEgPSB4KSA9IEUoWXxYXzEgPSB4KVwpLiDEkOG7gyB0cuG6oyBs4budaSBjaG8gY8OidSBo4buPaSB0csOqbiwgdGEgY+G6p24geMOieSBk4buxbmcgbcO0IGjDrG5oIGjhu5NpIHF1eSBjaG8geMOhYyBzdeG6pXQgXChccGkoeClcKSB0aGVvIMSR4buZIHLhu5luZyBtYWkgY3VhLg0KDQpOaMawIHRyxrDhu5tjIMSRw6J5LCBjaGlhIMSR4buZIHLhu5luZyB0aMOgbmggOCBraG/huqNuZyB2w6AgdGjhu5FuZyBrw6ogdOG7lW5nIHPhu5EgY3VhIGPDoWkgdsOgIA0KdOG7lW5nIHPhu5EgduG7hyB0aW5oIGPhu6dhIG5o4buvbmcgY29uIGN1YSBjw6FpLCB0w61uaCB04bu3IGzhu4cgduG7hyB0aW5oIHRyb25nIG3hu5dpIGtob+G6o25nIMSR4buZIHLhu5luZywgDQp0YSBjw7MgYuG6o25nOg0KXFsNClxiZWdpbnthcnJheX17fGN8Y3xjfGN8fQ0KXGhsaW5lDQpcdGV4dHtLaG/huqNuZyDEkeG7mSBy4buZbmd9ICYgXHRleHR7U+G7kSBjdWEgY8OhaX0gJiBcdGV4dHtT4buRIHbhurkgdGluaH0gJiBcdGV4dHtU4bu3IGzhu4cgY8OzIHbhurkgdGluaH0gXFwNClxobGluZQ0KPCAyMy4yNSAgICAgICYgMTQgICYgNSAgJiAwLjM1NzEgXFwNCjIzLjI1LTI0LjI1ICAmIDE0ICAmIDQgICYgMC4yODU3IFxcDQoyNC4yNS0yNS4yNSAgJiAyOCAgJiAxNyAmIDAuNjA3MSBcXA0KMjUuMjUtMjYuMjUgICYgMzkgICYgMjEgJiAwLjUzODUgXFwNCjI2LjI1LTI3LjI1ICAmIDIyICAmIDE1ICYgMC42ODE4IFxcDQoyNy4yNS0yOC4yNSAgJiAyNCAgJiAyMCAmIDAuODMzMyBcXA0KMjguMjUtMjkuMjUgICYgMTggICYgMTUgJiAwLjgzMzMgXFwNCj4gMjkuMjUgICAgICAmIDE0ICAmIDE0ICYgMS4wMDAwIFxcDQpcaGxpbmUNClxlbmR7YXJyYXl9DQpcXQ0KDQpcWw0KXHRleHR7QuG6o25nIDQuOSBQaMOibiBuaMOzbSDEkeG7mSBy4buZbmcgY+G7p2EgY8OhYyBjb24gY3VhIGPDoWl9DQpcXQ0KDQoNCkLhuqNuZyA0LjkgY2hvIHRo4bqleSB4dSBoxrDhu5tuZyB0xINuZyBj4bunYSB04bu3IGzhu4cgY8OzIHbhurkgdGluaCBj4bunYSBjb24gY3VhIGPDoWkga2hpIMSR4buZIHLhu5luZyB0xINuZyBsw6puLiBDaMO6bmcgdGEgY2jhu41uIG3DtCBow6xuaCBsb2dpc3RpYyDEkeG7gyBiaeG7g3UgZGnhu4VuIHPhu7EgcGjhu6UgdGh14buZYyBj4bunYSAkXHBpKHgpJCBsw6AgeMOhYyBzdeG6pXQgY8OzIHbhurkgdGluaCBj4bunYSBt4buZdCBjb24gY3VhIGPDoWkgY8OzIGNoaeG7gXUgcuG7mW5nIG1haSBsw6AgJHgkOg0KDQokJA0KXGxvZyBcbGVmdFsgXGZyYWN7XHBpKHgpfXsxIC0gXHBpKHgpfSBccmlnaHRdID0gXGJldGFfMCArIFxiZXRhXzEgXGNkb3QgeCBcdGFne2h9DQokJA0KDQoNClbhu5tpIHBoxrDGoW5nIHBow6FwIMaw4bubYyBsxrDhu6NuZyAoTUwpLCBwaOG6p24gbeG7gW0gRXZpZXdzIGNobyBi4bqjbmcgaOG7k2kgcXV5Og0KDQpcWw0KXGJlZ2lue2FycmF5fXtscmxscn0NClxobGluZQ0KXHRleHR7RGVwZW5kZW50IFZhcmlhYmxlOn0gJiBcdGV4dHtZfSAgXFwNClx0ZXh0e01ldGhvZDp9ICYgXHRleHR7TUwgLSBCaW5hcnkgTG9naXQgKFF1YWRyYXRpYyBoaWxsIGNsaW1iaW5nKX0gXFwNClx0ZXh0e1NhbXBsZTp9ICYgMTE3MyAmICYgJiBcXA0KXGhsaW5lDQpcdGV4dHtWYXJpYWJsZX0gJiBcdGV4dHtDb2VmZmljaWVudH0gJiBcdGV4dHtTdGQuIEVycm9yfSAmIFx0ZXh0e3otU3RhdGlzdGljfSAmIFx0ZXh0e1Byb2IufSBcXA0KXGhsaW5lXGhsaW5lDQpcdGV4dHtDfSAmIC0xMi4zNTA4MiAmIDIuNjI4NzMxICYgLTQuNjk4Mzk1ICYgMC4wMDAwIFxcDQpcdGV4dHtYMX0gJiAwLjQ5NzIzMSAgJiAwLjEwMTczNiAmIDQuODg3NDU1ICAmIDAuMDAwMCBcXA0KXGhsaW5lXGhsaW5lDQpcdGV4dHtNY0ZhZGRlbiBSLXNxdWFyZWR9ICYgMC4xMzg2NzAgJiBcdGV4dHtNZWFuIGRlcGVuZGVudCB2YXJ9ICYgJiAwLjY0MTYxOCBcXA0KXHRleHR7Uy5ELiBkZXBlbmRlbnQgdmFyfSAmIDAuNDgwOTE3ICYgXHRleHR7Uy5FLiBvZiByZWdyZXNzaW9ufSAmICYgMC40NDE2NjIgXFwNClx0ZXh0e0FrYWlrZSBpbmZvIGNyaXRlcmlvbn0gJiAxLjE0NzEyNSAmIFx0ZXh0e1N1bSBzcXVhcmVkIHJlc2lkfSAmICYgMzMuMzU2MjIgXFwNClx0ZXh0e1NjaHdhcnogY3JpdGVyaW9ufSAmIDEuMTgzNTc5ICYgXHRleHR7TG9nIGxpa2VsaWhvb2R9ICYgJiAtOTcuMjI2MzMgXFwNClx0ZXh0e0hhbm5hbi1RdWlubiBjcml0ZXIufSAmIDEuMTYxOTE0ICYgXHRleHR7RGV2aWFuY2V9ICYgJiAxOTQuNDUyNyBcXA0KXHRleHR7UmVzdHIuIGRldmlhbmNlfSAmIDIyNS43NTg1ICYgXHRleHR7UmVzdHIuIGxvZyBsaWtlbGlob29kfSAmICYgLTExMi44NzkzIFxcDQpcdGV4dHtMUiBzdGF0aXN0aWN9ICYgMzEuMzA1ODYgJiBcdGV4dHtBdmcuIGxvZyBsaWtlbGlob29kfSAmICYgLTAuNTYyMDAyIFxcDQpcdGV4dHtQcm9iKExSIHN0YXRpc3RpYyl9ICYgMC4wMDAwMDAgJiAgJiAgJiAgXFwNClxobGluZQ0KXHRleHR7T2JzIHdpdGggRGVwPTB9ICYgNjIgJiBcdGV4dHtUb3RhbCBvYnN9ICYgJiAxNzMgXFwNClx0ZXh0e09icyB3aXRoIERlcD0xfSAmIDExMSAmICYgJiBcXA0KXGhsaW5lDQpcZW5ke2FycmF5fQ0KXF0NCg0KDQpU4burIMSRw7Mgbmjhuq1uIMSRxrDhu6NjIG3DtCBow6xuaCDGsOG7m2MgbMaw4bujbmcgY2hvIChoKToNCg0KXFsNClxsb2cgXGxlZnQoIFxmcmFje1xoYXR7XHBpfSh4KX17MSAtIFxoYXR7XHBpfSh4KX0gXHJpZ2h0KSA9IC0xMi4zNTA4MiArIDAuNDk3MjMxIFxjZG90IHggXHRhZ3tpfQ0KXF0NCg0KaGF5IGzDoDoNCg0KXFsNClxoYXR7XHBpfSh4KSA9IFxsZWZ0XHsgMSArIGVeey0xMi4zNTA4MiArIDAuNDk3MjMxIFxjZG90IHh9IFxyaWdodFx9XnstMX0gXHRhZ3trfQ0KXF0NCg0KXFsNClxoYXR7XGJldGF9XzEgPSAwLjQ5NzIzMSA+IDAsIFx0ZXh0eyBjaG8gdGjhuqV5IHh1IGjGsOG7m25nIHjDoWMgc3XhuqV0IGThu7EgxJFvw6FuIHTEg25nIHRoZW8gxJHhu5kgcuG7mW5nIGPhu6dhIG1haSBjdWEsIHThu6ljIGzDoCBjb24gY3VhIGPDoWkgY8OzIMSR4buZIHLhu5luZyBtYWkgY8OgbmcgbOG7m24gdGjDrCBjw6BuZyBjw7Mgbmhp4buBdSBraOG6oyBuxINuZyBjw7MgduG6uSB0aW5oIGjGoW4ufQ0KXF0NCkThu7EgxJFvw6FuIHbhu4EgeMOhYyBzdeG6pXQgY8OzIHbhurkgdGluaCBj4bunYSBt4buXaSBjb24gY3VhIGPDoWkgY2hvIHThu6tuZyBraG/huqNuZyDEkeG7mSBy4buZbmcgY+G7p2EgbWFpIHbDoCBz4buRIHbhurkgdGluaCBk4buxIMSRb8OhbiB0csOqbiBt4buXaSBraG/huqNuZyB0xrDGoW5nIOG7qW5nIMSRxrDhu6NjIHTDrW5oIG5oxrAgc2F1Og0KXGJlZ2lue2l0ZW1pemV9DQogICAgXGl0ZW0gTOG6pXkgxJHhu5kgcuG7mW5nIHRydW5nIGLDrG5oIGPhu6dhIGPDoWMga2hv4bqjbmcsIG5o4bqtbiDEkcaw4bujYyB4w6FjIHN14bqldCBk4buxIGLDoW8uDQogICAgXGl0ZW0gTOG6pXkgeMOhYyBzdeG6pXQgZOG7sSBiw6FvIG5ow6JuIHbhu5tpIHPhu5EgY3VhIGPDoWkgdHJvbmcga2hv4bqjbmcgxJHhu5kgcuG7mW5nLCBuaOG6rW4gxJHGsOG7o2Mgc+G7kSB24bq5IHRpbmggZOG7sSBiw6FvIGNobyBt4buXaSBraG/huqNuZy4NClxlbmR7aXRlbWl6ZX0NCg0KQ2jhurNuZyBo4bqhbjogS2hv4bqjbmcgdGjhu6kgbmjhuqV0LCB24bubaSDEkeG7mSBy4buZbmcgbWFpIGLDrG5oIHF1w6JuOiAkeCA9IDIyLjc1JDoNCg0KWMOhYyBzdeG6pXQgZOG7sSDEkW/DoW46ICRcaGF0e1xwaX0oMjIuNzUpID0gMC4yNjE0JCB2w6Agc+G7kSB24bq5IHRpbmggZOG7sSDEkW/DoW46ICQxNCBcdGltZXMgMC4yNjE0ID0gMy42NTk2JA0KDQrDnSBuZ2jEqWE6IFjDoWMgc3XhuqV0IMSR4buDIG3hu5l0IGNvbiBjdWEgY8OhaSB24bubaSDEkeG7mSBy4buZbmcgbWFpIGTGsOG7m2kgMjMuNzUgY20gY8OzIHbhurkgdGluaCwgxJHGsOG7o2MgZOG7sSBiw6FvIHF1YSBtw7QgaMOsbmggKGspIGzDoCAyNi4xNFwlIHbDoCBz4buRIHbhurkgdGluaCBj4bunYSBuaOG7r25nIGNvbiBjdWEgY8OhaSBuw6B5IMSRxrDhu6NjIGThu7EgYsOhbyBsw6Aga2hv4bqjbmcgMy42NTk2IChjb24pLg0KDQpC4bqjbmcgNC4xMSB0csOsbmggYsOgeSBjw6FjIGvhur90IHF14bqjIHTDrW5oIHRvw6FuIOG7nyB0csOqbi4gQuG6o25nIDQuMTIgdMOtbmggeMOhYyBzdeG6pXQgZOG7sSDEkW/DoW4gY8OzIHbhurkgdGluaCBj4bunYSBt4buXaSBjb24gdHJvbmcgMTczIGNvbi4NCg0KXFsNClxiZWdpbnthcnJheX17fGN8Y3xjfGN8Y3xjfH0NClxobGluZQ0KXHRleHR7S2hv4bqjbmcgxJHhu5kgcuG7mW5nfSAmIFx0ZXh0e1Phu5EgY3VhIGPDoWl9ICYgXHRleHR7U+G7kSB24bq5IHRpbmh9ICYgXHRleHR7VOG7tyBs4buHIG3huqt1IHbhurkgdGluaH0gJiBcdGV4dHtYw6FjIHN14bqldCBk4buxIMSRb8Ohbn0gJiBcdGV4dHtT4buRIHbhurkgdGluaCBk4buxIMSRb8Ohbn0gXFwNClxobGluZQ0KPCAyMy4yNSAgICAgICYgMTQgICYgNSAgJiAwLjM1NzEgJiAwLjI2MTQgJiAzLjY1OTYgXFwNCjIzLjI1LTI0LjI1ICAmIDE0ICAmIDQgICYgMC4yODU3ICYgMC4zNjc4ICYgNS4xNDkyIFxcDQoyNC4yNS0yNS4yNSAgJiAyOCAgJiAxNyAmIDAuNjA3MSAmIDAuNDg4OSAmIDEzLjY4OTIgXFwNCjI1LjI1LTI2LjI1ICAmIDM5ICAmIDIxICYgMC41Mzg1ICYgMC42MTEzICYgMjMuODQwNyBcXA0KMjYuMjUtMjcuMjUgICYgMjIgICYgMTUgJiAwLjY4MTggJiAwLjcyMTEgJiAxNS44NjQyIFxcDQoyNy4yNS0yOC4yNSAgJiAyNCAgJiAyMCAmIDAuODMzMyAmIDAuODA5NiAmIDE5LjQzMDQgXFwNCjI4LjI1LTI5LjI1ICAmIDE4ICAmIDE1ICYgMC44MzMzICYgMC44NzQ5ICYgMTUuNzQ4MiBcXA0KPiAyOS4yNSAgICAgICYgMTQgICYgMTQgJiAxLjAwMDAgJiAwLjkyMDAgJiAxMi44ODAwIFxcDQpcaGxpbmUNClxlbmR7YXJyYXl9DQpcXQ0KDQpcWw0KXHRleHR7QuG6o25nIDQuMTE6IFjDoWMgc3XhuqV0IGThu7EgxJFvw6FuIGPDsyB24bq5IHRpbmggY+G7p2EgbeG7l2kgY29uIHRyb25nIDE3MyBjb259DQpcXQ0KLSBU4bqhaSBt4bupYyB0cnVuZyBiw6xuaCBt4bqrdSBjaGnhu4F1IHLhu5luZyBsw6AgMjYsMzBjbSwgeMOhYyBzdeG6pXQgZOG7sSDEkW/DoW4gY8OzIHbhurkgdGluaCBi4bqxbmcgMC42NzQwLiBU4buRYyDEkeG7mSB0xINuZyBj4bunYSB4w6FjIHN14bqldCDEkcaw4bujYyB4w6FjIMSR4buLbmggdOG6oWkgbeG7qWMgxJHDsyBsw6A6DQoNCiQkDQpcaGF0e1xiZXRhfV8xIFxoYXR7XHBpfSAoMSAtIFxoYXR7XHBpfSkgPSAwLjQ5NzIzMSBcY2RvdCAwLjY3NCBcY2RvdCAwLjMyNiA9IDAuMTA5Mw0KJCQNCg0KTmjGsCB24bqteSB04bqhaSBt4bupYyBuw6B5LCBraGkgY2hp4buBdSBy4buZbmcgbWFpIGN1YSBjw6FpIHTEg25nIHRow6ptIDFjbSB0aMOsIHjDoWMgc3XhuqV0IMaw4bubYyDEkW/DoW4gY8OzIHbhurkgdGluaCBj4bunYSBjb24gY3VhIGPDoWkgdMSDbmcgdGjDqm0gMTAuOTNcJS4NCg0KLSBN4bupYyBoaeG7h3UgcXXhuqMgdHJ1bmcgYsOsbmggbMOgIGNoaeG7gXUgcuG7mW5nIG3DoCB04bqhaSDEkcOzIHjDoWMgc3XhuqV0IGThu7EgxJFvw6FuIGLhurFuZyAwLjUsIGzDoDoNCg0KJCQNCnggPSBFTF97NTB9ID0gLVxmcmFje1xoYXR7XGJldGF9XzB9e1xoYXR7XGJldGF9XzF9ID0gXGZyYWN7LTEyLjM1MDgyfXswLjQ5NzIzMX0gPSAyNC44MzkyDQokJA0KDQpU4buRYyDEkeG7mSB0xINuZyBj4bunYSB4w6FjIHN14bqldCBk4buxIMSRb8OhbiB04bqhaSDEkcOzLCBuaMawIMSRw6MgYmnhur90LCBsw6AgbOG7m24gbmjhuqV0IHbDoCBi4bqxbmc6DQoNCiQkDQpcaGF0e1xiZXRhfV8xIFxoYXR7XHBpfSAoMSAtIFxoYXR7XHBpfSkgPSAwLjQ5NzIzMSBcY2RvdCAwLjUgXGNkb3QgMC41ID0gMC4xMjQzDQokJA0KDQpOaMawIHbhuq15IHThuqFpIG3hu6ljIG7DoHksIGtoaSBjaGnhu4F1IHLhu5luZyBtYWkgY3VhIGPDoWkgdMSDbmcgdGjDqm0gMWNtIHRow6wgeMOhYyBzdeG6pXQgxrDhu5tjIMSRb8OhbiBjw7MgduG6uSB0aW5oIGPhu6dhIGNvbiBjdWEgY8OhaSB0xINuZyB0aMOqbSAxMi40M1wlLCDEkcOieSBsw6AgbeG7qWMgdMSDbmcgbOG7m24gbmjhuqV0Lg0KDQpLaMOhYyB24bubaSBtw7QgaMOsbmggeMOhYyBzdeG6pXQgdHV54bq/biB0w61uaCwgeMOhYyBzdeG6pXQg4oCcVGjDoG5oIGPDtG5n4oCdIHRyb25nIG3DtCBow6xuaCBo4buTaSBxdXkgbG9naXN0aWMgY8OzIHThu5FjIMSR4buZIGJp4bq/biB0aGnDqm4gdGhheSDEkeG7lWkgdGhlbyBt4bupYyB4IGPhu6dhIGJp4bq/biBnaeG6o2kgdGjDrWNoLg0KDQojIyA0LjIuIFN1eSBsdeG6rW4gY2hvIG3DtCBow6xuaCBsb2dpc3RpYw0KDQpYw6l0IG3DtCBow6xuaCBo4buTaSBxdXkgbG9naXN0aWM6DQoNCiQkDQpcbG9nIFxsZWZ0KCBcZnJhY3tccGkoeCl9ezEgLSBccGkoeCl9IFxyaWdodCkgPSBcYmV0YV8wICsgXGJldGFfMSBcY2RvdCB4IFx0YWd7NC4yLjF9DQokJA0KDQp0cm9uZyDEkcOzICRccGkoeCkgPSBQKFkgPSAxfFggPSB4KSA9IEUoWXxYID0geCkkIGzDoCB4w6FjIHN14bqldCB0aMOgbmggY8O0bmcgKCRZID0gMSQpIHRyb25nIMSRaeG7gXUga2nhu4duIGJp4bq/biBnaeG6o2kgdGjDrWNoICRYJCBuaOG6rW4gZ2nDoSB0cuG7iyAkeCQsICRZJCBsw6Agc+G7kSAidGjDoG5oIGPDtG5nIiBj4bunYSBiaeG6v24gxJHDoXAg4bupbmcgbmjhu4sgcGjDom4uDQoNCiMjIyA0LjIuMS4gVMOsbSBraG/huqNuZyB0aW4gY+G6rXkgY2hvIGPDoWMgaOG7hyBz4buRIGjhu5NpIHF1eQ0KDQotIEtob+G6o25nIHRpbiBj4bqteSAoduG7m2kgxJHhu5kgdGluIGPhuq15ICRcZ2FtbWEgPSAxIC0gXGFscGhhJCkgY2hvIHRoYW0gc+G7kSAkXGJldGFfMCQ6DQoNCiQkDQpcbGVmdCggXGhhdHtcYmV0YX1fMCAtIHUgXGxlZnQoIFxmcmFje1xhbHBoYX17Mn0gXHJpZ2h0KSBcY2RvdCBzZShcaGF0e1xiZXRhfV8wKTsgXGhhdHtcYmV0YX1fMCArIHUgXGxlZnQoIFxmcmFje1xhbHBoYX17Mn0gXHJpZ2h0KSBcY2RvdCBzZShcaGF0e1xiZXRhfV8wKSBccmlnaHQpIFx0YWd7NC4yLjJ9DQokJA0KDQp0cm9uZyDEkcOzICRzZShcaGF0e1xiZXRhfV8wKSQgbMOgIHNhaSBz4buRIGNodeG6qW4gxrDhu5tjIGzGsOG7o25nIGPhu6dhICRcaGF0e1xiZXRhfV8wJCwgxJHGsOG7o2MgdMOtbmggYuG7n2kgY8OhYyBwaOG6p24gbeG7gW0gKHRyb25nIGLhuqNuZyBo4buTaSBxdXkgbMOgIGdpw6EgdHLhu4sg4bufIGjDoG5nIEMgdsOgIGPhu5l0IFN0ZC4gZXJyb3IpLCAkdShcbGFtYmRhKSQgbMOgIGdpw6EgdHLhu4sgdOG7m2kgaOG6oW4gY+G7p2EgcGjDom4gcGjhu5FpIGNodeG6qW4uDQoNCi0gS2hv4bqjbmcgdGluIGPhuq15ICh24bubaSDEkeG7mSB0aW4gY+G6rXkgJFxnYW1tYSA9IDEgLSBcYWxwaGEkKSBjaG8gdGhhbSBz4buRICRcYmV0YV8xJDoNCg0KJCQNClxsZWZ0KCBcaGF0e1xiZXRhfV8xIC0gdSBcbGVmdCggXGZyYWN7XGFscGhhfXsyfSBccmlnaHQpIFxjZG90IHNlKFxoYXR7XGJldGF9XzEpOyBcaGF0e1xiZXRhfV8xICsgdSBcbGVmdCggXGZyYWN7XGFscGhhfXsyfSBccmlnaHQpIFxjZG90IHNlKFxoYXR7XGJldGF9XzEpIFxyaWdodCkgXHRhZ3s0LjIuM30NCiQkDQoNCnRyb25nIMSRw7MgJHNlKFxoYXR7XGJldGF9XzEpJCBsw6Agc2FpIHPhu5EgY2h14bqpbiDGsOG7m2MgbMaw4bujbmcgY+G7p2EgJFxoYXR7XGJldGF9XzEkLCDEkcaw4bujYyB0w61uaCBi4bufaSBjw6FjIHBo4bqnbiBt4buBbSAodHJvbmcgYuG6o25nIGjhu5NpIHF1eSBsw6AgZ2nDoSB0cuG7iyDhu58gaMOgbmcgJFhfMSQgdsOgIGPhu5l0IFN0ZC4gZXJyb3IpLg0KDQotIEtob+G6o25nIHRpbiBj4bqteSBjaG8gdOG7tyBs4buHIGPGsOG7o2MgdHLDqm4gbeG7l2kgxJHGoW4gduG7iyB0xINuZyBj4bunYSBiaeG6v24gZ2nhuqNpIHRow61jaDoNCg0KJCQNClxsZWZ0KCBcZXhwIFxsZWZ0KCBcaGF0e1xiZXRhfV8xIC0gdSBcbGVmdCggXGZyYWN7XGFscGhhfXsyfSBccmlnaHQpIFxjZG90IHNlKFxoYXR7XGJldGF9XzEpIFxyaWdodCkgOyBcZXhwIFxsZWZ0KCBcaGF0e1xiZXRhfV8xICsgdSBcbGVmdCggXGZyYWN7XGFscGhhfXsyfSBccmlnaHQpIFxjZG90IHNlKFxoYXR7XGJldGF9XzEpIFxyaWdodCkgXHJpZ2h0KSBcdGFnezQuMi40fQ0KJCQNCg0KVGnhur9uIGjDoG5oIHTDrG0ga2hv4bqjbmcgdGluIGPhuq15Og0KDQotIFRyYSBi4bqjbmcgdMOsbSBnacOhIHRy4buLIHThu5tpIGjhuqFuICR1IFxsZWZ0KCBcZnJhY3tcYWxwaGF9ezJ9IFxyaWdodCkkIHbDoCBs4bqleSB0aMO0bmcgdGluIHbhu4EgJFxoYXR7XGJldGF9XzEsIHNlKFxoYXR7XGJldGF9XzEpJCBtw6AgYuG6o25nIGjhu5NpIHF1eSBjdW5nIGPhuqVwIMSR4buDIHRoYXkgdsOgbyBjw7RuZyB0aOG7qWMga2hv4bqjbmcgdGluIGPhuq15Lg0KLSDEkOG7kWkgduG7m2kga2hv4bqjbmcgdGluIGPhuq15IDkwXCUsIDk1XCUsIDk5XCUgY2hvIGPDoWMgdGhhbSBz4buRICRcYmV0YV8wLCBcYmV0YV8xJCwgY8OzIHRo4buDIGNo4bqheSB0cuG7sWMgdGnhur9wIHRyw6puIHBo4bqnbiBt4buBbSwgc2F1IGtoaSDEkcOjIGPDsyBi4bqjbmcgaOG7k2kgcXV5Lg0KDQoqVsOtIGThu6UgNS4qIMSQ4buDIG1pbmggaOG7jWEsIGNow7puZyB0YSB0cuG7nyBs4bqhaSB24bubaSBo4buTaSBxdXkgbG9naXN0aWMgduG7gSBk4buvIGxp4buHdSBjdWEgbcOzbmcgbmfhu7FhIMSRw6MgeMOpdCDhu58gdHLDqm4sIHRo4buxYyBoaeG7h24gdHLhu7FjIHRp4bq/cCB0csOqbiBFdmlld3MsIG5o4bqtbiDEkcaw4bujYzoNCg0KDQoNCiQkDQpcdGV4dHtC4bqjbmcgNC4xMyDGr+G7m2MgbMaw4bujbmcga2hv4bqjbmcgdGluIGPhuq15IGNobyBjw6FjIGjhu4cgc+G7kSBo4buTaSBxdXl9DQokJA0KDQotIEtob+G6o25nIHRpbiBj4bqteSA5NVwlIGNobyAkXGJldGFfMSQgbMOgOiAoMCwyOTY0MTA7IDAsNjk4MDUxKS4NCi0gS2hv4bqjbmcgdGluIGPhuq15IGNobyB04bu3IGzhu4cgY8aw4bujYyB0csOqbiBt4buXaSBjbSB0xINuZyBj4bunYSBjaGnhu4F1IHLhu5luZyBtYWkgY3VhIGzDoDoNCiQkDQooXGV4cCgwLDI5NjQxMCk7IFxleHAoMCw2OTgwNTEpKSA9ICgxLDM0NTAyMjsgMiwwMDk4MzIpDQokJA0KxJBp4buBdSBuw6B5IGNobyB0aOG6pXkgcuG6sW5nOiB24bubaSBt4buXaSBjbSBjaGnhu4F1IHLhu5luZyBtYWkgY3VhIHTEg25nIGzDqm4gdGjDrCB04bu3IGzhu4cgY8aw4bujYyDEkeG7gyBjb24gY3VhIGPDoWkgY8OzIHbhurkgdGluaCB0xINuZyB0aMOqbSB04burIDM0LDUwMjJcJSDEkeG6v24gMTAwLDk4MzJcJS4NCi0gU+G7kSBo4bqhbmcgJFxiZXRhXHBpKHgpWzEgLSBccGkoeCldJCB44bqlcCB44buJIHPhu7EgdGhheSDEkeG7lWkgeMOhYyBzdeG6pXQgdHLDqm4gbeG7l2kgxJHGoW4gduG7iyB0aGF5IMSR4buVaSB0cm9uZyAkeCQuIENo4bqzbmcgaOG6oW4sIHThuqFpICRccGkgPSAwLDUkLCB04bu3IGzhu4cgdGhheSDEkeG7lWkgZOG7sSBiw6FvIGzDoCAkXGhhdHtcYmV0YX1fMSBcY2RvdCAwLDUgXGNkb3QgMCw1ID0gMCw0OTcyMzEgXGNkb3QgMCwyNSA9IDAsMTI0MzA4JC4gS2hv4bqjbmcgdGluIGPhuq15IDk1XCUgY2hvIHPhu7EgdGhheSDEkeG7lWkgeMOhYyBzdeG6pXQgbsOgeSBsw6A6DQokJA0KKDAsMjUgXGNkb3QgMCwyOTY0MTA7IDAsMjUgXGNkb3QgMCw2OTgwNTEpID0gKDAsMDc0MTAyOyAwLDE3NDUxMykNCiQkDQpUaGVvIG3DtCBow6xuaCBo4buTaSBxdXkgbG9naXN0aWMgbsOgeSwgduG7m2kgY8OhYyBnacOhIHRy4buLICR4JCBn4bqnbiBjaGnhu4F1IHLhu5luZyBtw6AgdOG6oWkgxJHDsyAkXHBpID0gMCw1JCwgdOG7tyBs4buHIHTEg25nIHjDoWMgc3XhuqV0IGPhu6dhIG3hu5l0IHbhurkgdGluaCB0csOqbiBt4buXaSBjbSB0xINuZyBjaGnhu4F1IHLhu5luZyByxqFpIHbDoG8ga2hv4bqjbmcgdOG7qyAwLDA3NDEgxJHhur9uIDAsMTc0NS4NCg0KKipDaMO6IMO9OioqIMSQ4buRaSB24bubaSB2aeG7h2MgdMOsbSBraG/huqNuZyB0aW4gY+G6rXkgJChcaGF0e1xwaX1fMSwgXGhhdHtccGl9XzIpJCBjaG8geMOhYyBzdeG6pXQgdGjDoG5oIGPDtG5nICRccGkoeCkkIOG7qW5nIHbhu5tpIG3hu6ljICR4JCDEkcaw4bujYyB0aeG6v24gaMOgbmggbmjGsCBzYXU6DQoNCi0gVMOsbSAkY292KFxoYXR7XGJldGF9XzAsIFxoYXR7XGJldGF9XzEpJCB04burIG1hIHRy4bqtbiBjb3ZhcmlhbmNlIGRvIHBo4bqnbiBt4buBbSBjdW5nIGPhuqVwLCB04burIMSRw7MgdMOtbmg6DQokJA0Kc2UoXGhhdHtcYmV0YX1fMCArIFxoYXR7XGJldGF9XzEgeCkgPSBcc3FydHt2YXIoXGhhdHtcYmV0YX1fMCArIFxoYXR7XGJldGF9XzEgeCl9ID0gXHNxcnR7dmFyKFxoYXR7XGJldGF9XzApICsgeF4yIHZhcihcaGF0e1xiZXRhfV8xKSArIDJ4IFxjZG90IGNvdihcaGF0e1xiZXRhfV8wLCBcaGF0e1xiZXRhfV8xKX0NCiQkDQotIFN1eSByYSBraG/huqNuZyB0aW4gY+G6rXkgY2hvICRcbG9naXQoXHBpKHgpKSQ6DQokJA0KXGxlZnQoIFxoYXR7XGJldGF9XzAgKyBcaGF0e1xiZXRhfV8xIHggLSB1IFxsZWZ0KCBcZnJhY3tcYWxwaGF9ezJ9IFxyaWdodCkgXGNkb3Qgc2UoXGhhdHtcYmV0YX1fMCArIFxoYXR7XGJldGF9XzEgeCk7IFxoYXR7XGJldGF9XzAgKyBcaGF0e1xiZXRhfV8xIHggKyB1IFxsZWZ0KCBcZnJhY3tcYWxwaGF9ezJ9IFxyaWdodCkgXGNkb3Qgc2UoXGhhdHtcYmV0YX1fMCArIFxoYXR7XGJldGF9XzEgeCkgXHJpZ2h0KQ0KJCQNCi0gVMOtbmg6DQokJA0KXGhhdHtccGl9XzEgPSBcZnJhY3sxfXsxICsgXGV4cCBcbGVmdFx7IC1cbGVmdCggXGhhdHtcYmV0YX1fMCAtIFxoYXR7XGJldGF9XzEgeCArIHUgXGxlZnQoIFxmcmFje1xhbHBoYX17Mn0gXHJpZ2h0KSBcY2RvdCBzZShcaGF0e1xiZXRhfV8wICsgXGhhdHtcYmV0YX1fMSB4KSBccmlnaHQpIFxyaWdodFx9fQ0KJCQ=