\[\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=