GIÁO TRÌNH TRANG 106 - 110

và \(\pi(x)=\pi\left(x_1, x_2, x_3\right)=E(Y \mid X=x)=P\left(Y=1 \mid X_1=x_1, X_2=x_2, X_3=x_3\right)\) là xác suất để một con cua móng ngựa cái với độ rộng mai là \(x_1\), trọng lượng \(x_2\), số gai \(x_3\) có vệ tinh. Với bảng dữ liệu 3.3, bằng phương pháp ML, Eviews cho kết quả hồi quy: Từ đó nhận được mô hình hồi quy ước lượng: \[ \log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=-10,00407+0,313281 \cdot x_1+0,845092 \cdot x_2+0,182420 \cdot x_3 \] \(\hat{\beta}_1=0,313281>0, \hat{\beta}_2=0,845092>0, \hat{\beta}_0=0,182420>0\) cho thấy khả năng có vệ tinh tăng theo độ rộng mai, theo trọng lượng và theo số gai cột sống của cua cái.

Từ công thức ước đoán xác suất có vệ tinh:

\(\hat{\pi}\left(x_1, x_2, x_3\right)=\{1+\) \(\left.\exp \left(10,00407-0,313281 \cdot x_1-0,845092 \cdot x_2-0,182420 . x_3\right)\right\}^{-1}\), ta tính xác suất có vệ tinh ước đoán cho một số con cua cái (cột fitted)

4.4.3. Mô hình logistic có biến giải thích là biến định tính

Để đưa một biến giải thích là biến định tính vào mô hình hồi quy logistic, người ta thường sử dụng một trong hai phương pháp sau:

a. Phương pháp gán điểm số cho các thuộc tính Khi biến định tính có các thuộc tính có thứ tự hay mức độ so sánh

Ví dụ 3. Hồi quy logistic về ảnh hưởng của chiều rộng mai \(X_1\), màu sắc COLOR (biến định tính có cấp độ thứ tự) đối với sự xuất hiện vệ tinh cho cua cái, trong đó biến màu sắc được gán điểm \(\{1,2,3,4\}\) tăng dần theo cấp độ tối của màu: \[ \log \left(\frac{\pi(x)}{1-\pi(x)}\right)=\beta_0+\beta_1 \cdot x_1+\beta_2 . \text { COLOR } \] Kết quả hồi quy theo phương pháp ML: Từ đó nhận được mô hình hồi quy ước lượng: \[ \log \left[\frac{\widehat{\pi}(x)}{1-\widehat{\pi}(x)}\right]=-10,07084+0,458310 \cdot x_1+0,509047 . \text { COLOR } \] Kết quả hồi quy cho thấy cả độ rộng mai cua \(X_1\) và màu sắc (COLOR) đều thực sự có ảnh hường đến xác suất có vệ tinh của con cua cái. \(\hat{\beta}_2=-0,509047<0\) và từ cách gán điểm cho biến định tính COLOR tăng dần theo độ tối của màu, cho thấy xác suất có vệ tinh của con cua cái giảm đi theo sự tăng dần của độ tối mai cua.

  • Mô hình hồi quy logistic ước lượng đối với những con cua cái có màu sáng trung bình \((\mathrm{COLOR}=1)\) là: \(\log \left[\frac{\widehat{\pi}(x)}{1-\widehat{\pi}(x)}\right]=-9,561793+\) \(0,458310 . x_1\) do đó xác suất có vệ tinh của nhóm cua màu sáng trung bình ưóc tính là: \(\hat{\pi}\left(x_1, 1\right)=\left[1+\exp \left(9,561793-0,458310 . x_1\right)\right]^{-1}\)

  • Mô hình uớc lượng đối với những con cua cái có màu trung bình \((\) COLOR \(=2)\) là: \(\log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=-9,052746+0,458310 . x_1\) do đó xác suất có vệ tỉh của nhóm cua màu sáng trung bình uớc tính là: \(\hat{\pi}\left(x_1, 1\right)=\) \(\left[1+\exp \left(9,052746-0,458310 . x_1\right)\right]^{-1}\)

  • Mô hình uớc lượng đối với những con cua cái có màu đen vừa \((C O L O R=\) 3) là: \(\log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=-8,543699+0,458310 . x_1\) do đó xác suất có vệ tíh của nhóm cua màu đen vừa uớc tính là: \(\hat{\pi}\left(x_1, 1\right)=[1+\) \(\left.\exp \left(8,543699-0,458310 . x_1\right)\right]^{-1}\)

  • Mô hình hồi quy logistic ước lượng đối với những con cua cái có màu tối \((\) COLOR \(=4)\) là: \(\log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=-8,034652+0,458310 . x_1\) do đó xác suất có vệ tỉh của nhóm cua màu tối uớc tính là: \(\hat{\pi}\left(x_1, 1\right)=\) \(\left[1+\exp \left(8,034652-0,458310 . x_1\right)\right]^{-1}\)

  • Ma trận nhầm lẫn của mô hình này là:

  • Độ chính xác toàn thể: \(\frac{29+97}{173}=72,83 \%\), độ nhạy: \(\frac{97}{14+97}=87,38 \%\) và độ đặc hiệu là: \(\frac{29}{62}=46,77 \%\).

b. Phương pháp dùng biến giả nhị phân

Với biến định tính có k thuộc tính thì sử dụng k – 1 biến giả nhị phân k - 1 biến giả nhị phân

Ví du 4. Hồi quy logistic về ảnh hưởng của chiểu rộng mai \(\mathrm{X}_1\), màu sằc đối với sự xuất hiện vệ tinh cho cua cái, trong đó biến màu sắc được được đại diện bời 3 biến giả nhị phân \[ \begin{aligned} D_1 & = \begin{cases}1 & \text { nếu cua có màu } 1 \\ 0 & \text { nếu có màu khác }\end{cases} \\ D_2 & = \begin{cases}1 & \text { nếu cua có màu } 2 \\ 0 & \text { nếu có màu khác }\end{cases} \\ D_1 & = \begin{cases}1 & \text { nếu cua có màu } 3 \\ 0 & \text { nếu có màu khác }\end{cases} \\ \log \left(\frac{\pi(x)}{1-\pi(x)}\right) & =\beta_0+\beta_1 \cdot x_1+c_1 \cdot D_1+c_2 \cdot D_2+c_3 \cdot D_3 \end{aligned} \]

Kết quả hồi quy theo phương pháp ML:

Từ đó nhận được mô hình hồi quy ước lượng: \[ \begin{gathered} \log \left[\frac{\tilde{\pi}(x)}{1-\hat{\pi}(x)}\right]=-12,71511+0,467956 x_1+1,329911 D_1+1,402336 D_2+ \\ 1,106121 D_3 \text { (b) } \end{gathered} \] - Mô hình uớc lượng đối với những con cua cái có màu sáng trung bình là: \(\log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=-11,385199+0,467956 x_1\) do đó xác suất có vệ tinh của nhóm cua màu sáng trung bình ước tính là: \(\hat{\pi}\left(x_1, 1\right)=[1+\exp (11,385199-\) \(\left.\left.0,467956 x_1\right)\right]^{-1}\) - Mô hình uớc lượng đối với những con cua cái có màu trung bình là: \(\log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=-11,312774+0,467956 x_1\) do đó xác suất có vệ tinh của nhóm cua màu sáng trung bình ước tính là: \(\hat{\pi}\left(x_1, 1\right)=[1+\) \(\left.\exp \left(11,312774-0,467956 x_1\right)\right]^{-1}\) - Mô hình ước lượng đối với những con cua cái có màu đen vừa là: \(\log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=-11,608989+0,467956 x_1\) do đó xác suất có vệ tỉh của nhóm cua màu đen vừa ước tính là: \(\hat{\pi}\left(x_1, 1\right)=[1+\exp (11,608989-\) \(\left.\left.0,467956 x_1\right)\right]^{-1}\) - Mô hình uớc lượng đối với những con cua cái có màu tối là: \(\log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]==-12,71511+0,467956 x_1\) do đó xác suất có vệ tinh của nhóm cua màu tối uớc tính là: \(\hat{\pi}\left(x_1, 1\right)=[1+\exp (12,71511-\) \(\left.\left.0,467956 x_1\right)\right]^{-1}\) - Ma trận nhầm lẫn cúa mô hình này là:
  • Độ chính xác toàn thể: \(\frac{31+96}{173}=73,41 \%\), độ nhạy: \(\frac{96}{15+96}=86,49 \%\) và độ đặc hiệu là: \(\frac{31}{62}=50 \%\).

Chú ý: - Phương pháp biến giả áp dụng cho mọi biến dự báo định tính và nếu dung mô hình để dự báo thì mô hình có biến giả tốt hơn. - Phương pháp gán điểm chỉ áp dụng được cho biến dự báo định tính là biến định tính thứ bậc. Mô hình nhận được đơn giản hơn và dễ phân tích.

Ví du 5. Xét hai mô hình (a) và (b) nhận được trong ví dụ 4 cùng phản ánh sự tác fộng của màu sặc và độ rộng mai cua tới sự hiện diện của vệ tinh: Mô hình (a) \(\mathrm{AIC}=1,127868\) Độ chính xác toàn thể: \(=72,83 \%\), \(73,41 \%\) Độ nhạy: \(=87,38 \%\) Độ đặc hiệu: \(=46,77 \%\), Mô hình (b) \(-\mathrm{AIC}=1,141370\) - Độ chính xác toàn thể: \(=\) - Độ nhạy: \(=86,49 \%\) - Độ đặc hiệu: \(=50 \%\)

4.5. Suy luận cho mô hình logistic nhiều biến.

Xét mô hình hồi quy logistic đa biến: \[ \log \left(\frac{\pi(x)}{1-\pi(x)}\right)=\beta_0+\beta_1 \cdot x_1+\cdots+\beta_m \cdot x_m \] trong đó \(\mathrm{Y}\) là biến đáp ứng nhị phân với tập giá trị \(\{0,1\}\) và \[ \begin{aligned} \pi(x)=P(Y= & \left.1 \mid\left(X_1=x_1, X_2=x_2, \ldots, X_m=x_m\right)\right) \\ & =E\left(Y \mid X_1=x_1, X_2=x_2, \ldots, X_m=x_m\right) \end{aligned} \]

Bằng phương pháp \(\mathrm{ML}\), ta có mô hình logistic ước lượng: \[ \log \left[\frac{\hat{\pi}(x)}{1-\hat{\pi}(x)}\right]=\hat{\beta}_0+\hat{\beta}_1 \cdot x_1+\cdots+\hat{\beta}_m \cdot x_m \]

4.5.1. Khoảng tin cậy cho các hệ số hồi quy

Bài toán này được giải quyết tương tự như trường hợp bồi quy 2 biến, tuy nhiên việc xây dựng khoảng tin cậy cho hệ số hồi quy của một biến giải thích chỉ đặt ra khi kiểm soát các biến giài thích khác. Xét mô hình hồi quy logistic đa biến: Bằng phương pháp ML, ta có mô hình logistic ước lượng

LS0tDQp0aXRsZTogIsSQw4JZIEzDgCBGSUxFIFRFU1QgTEFURVggVFLDik4gUk1BUktET1dOIg0KZGF0ZTogImByIGZvcm1hdChTeXMudGltZSgpLCAnJUg6JU06JVMsICVkIC0gJW0gLSAlWScpYCINCm91dHB1dDoNCiAgaHRtbF9kb2N1bWVudDoNCiAgICB0b2M6IFRSVUUNCiAgICB0b2NfZmxvYXQ6IFRSVUUNCiAgICBkZl9wcmludDogcGFnZWQNCiAgICBjb2RlX2Rvd25sb2FkOiB0cnVlDQogICAgY29kZV9mb2xkaW5nOiBoaWRlDQogIHBkZl9kb2N1bWVudDoNCiAgICBleHRyYV9kZXBlbmRlbmNpZXM6DQogICAgICB2aWV0bmFtOiB1dGY4DQogICAgdG9jOiB5ZXMNCiAgICBudW1iZXJfc2VjdGlvbnM6IHllcw0KICB3b3JkX2RvY3VtZW50Og0KICAgIHRvYzogeWVzDQogICAgbnVtYmVyX3NlY3Rpb25zOiB5ZXMNCmdlb21ldHJ5Og0KICAgICAgLSBpbm5lcj0zY20NCiAgICAgIC0gb3V0ZXI9NGNtDQogICAgICAtIHRvcD0zY20NCiAgICAgIC0gYm90dG9tPTRjbQ0KICAgICAgLSBoZWFkc2VwPTIycHQNCiAgICAgIC0gaGVhZGhlaWdodD0xMXB0DQogICAgICAtIGZvb3Rza2lwPTMzcHQNCiAgICAgIC0gaWdub3JlaGVhZA0KICAgICAgLSBpZ25vcmVmb290DQogICAgICAtIGhlaWdodHJvdW5kZWQNCi0tLQ0KDQpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0NCmtuaXRyOjpvcHRzX2NodW5rJHNldChlY2hvID0gVFJVRSwgb3B0aW9ucyhkaWdpdHMgPSA0KSwgIGF0dHIuc291cmNlPScubnVtYmVyTGluZXMnKQ0KYGBgDQoqKkdJw4FPIFRSw4xOSCBUUkFORyAxMDYgLSAxMTAqKg0KDQp2w6AgICRccGkoeCk9XHBpXGxlZnQoeF8xLCB4XzIsIHhfM1xyaWdodCk9RShZIFxtaWQgWD14KT1QXGxlZnQoWT0xIFxtaWQgWF8xPXhfMSwgWF8yPXhfMiwgWF8zPXhfM1xyaWdodCkkICBsw6AgeMOhYyBzdeG6pXQgxJHhu4MgbeG7mXQgY29uIGN1YSBtw7NuZyBuZ+G7sWEgY8OhaSB24bubaSDEkeG7mSBy4buZbmcgbWFpIGzDoCAkeF8xJCwgdHLhu41uZyBsxrDhu6NuZyAkeF8yJCwgc+G7kSBnYWkgJHhfMyQgY8OzIHbhu4cgdGluaC4NClbhu5tpIGLhuqNuZyBk4buvIGxp4buHdSAzLjMsIGLhurFuZyBwaMawxqFuZyBwaMOhcCBNTCwgRXZpZXdzIGNobyBr4bq/dCBxdeG6oyBo4buTaSBxdXk6IA0KVOG7qyDEkcOzIG5o4bqtbiDEkcaw4bujYyBtw7QgaMOsbmggaOG7k2kgcXV5IMaw4bubYyBsxrDhu6NuZzogDQokJA0KXGxvZyBcbGVmdFtcZnJhY3tcaGF0e1xwaX0oeCl9ezEtXGhhdHtccGl9KHgpfVxyaWdodF09LTEwLDAwNDA3KzAsMzEzMjgxIFxjZG90IHhfMSswLDg0NTA5MiBcY2RvdCB4XzIrMCwxODI0MjAgXGNkb3QgeF8zDQokJA0KJFxoYXR7XGJldGF9XzE9MCwzMTMyODE+MCwgXGhhdHtcYmV0YX1fMj0wLDg0NTA5Mj4wLCBcaGF0e1xiZXRhfV8wPTAsMTgyNDIwPjAkIGNobyB0aOG6pXkga2jhuqMgbsSDbmcgY8OzIHbhu4cgdGluaCB0xINuZyB0aGVvIMSR4buZIHLhu5luZyBtYWksIHRoZW8gdHLhu41uZyBsxrDhu6NuZyB2w6AgdGhlbyBz4buRIGdhaSBj4buZdCBz4buRbmcgY+G7p2EgY3VhIGPDoWkuIA0KDQpU4burIGPDtG5nIHRo4bupYyDGsOG7m2MgxJFvw6FuIHjDoWMgc3XhuqV0IGPDsyB24buHIHRpbmg6DQoNCiRcaGF0e1xwaX1cbGVmdCh4XzEsIHhfMiwgeF8zXHJpZ2h0KT1cezErJCAkXGxlZnQuXGV4cCBcbGVmdCgxMCwwMDQwNy0wLDMxMzI4MSBcY2RvdCB4XzEtMCw4NDUwOTIgXGNkb3QgeF8yLTAsMTgyNDIwIC4geF8zXHJpZ2h0KVxyaWdodFx9XnstMX0kLCB0YSB0w61uaCB4w6FjIHN14bqldCBjw7MgduG7hyB0aW5oIMaw4bubYyDEkW/DoW4gY2hvIG3hu5l0IHPhu5EgY29uIGN1YSBjw6FpIChj4buZdCBmaXR0ZWQpDQoNCiMjIyAqKjQuNC4zLiBNw7QgaMOsbmggbG9naXN0aWMgY8OzIGJp4bq/biBnaeG6o2kgdGjDrWNoIGzDoCBiaeG6v24gxJHhu4tuaCB0w61uaCoqDQoNCsSQ4buDIMSRxrBhIG3hu5l0IGJp4bq/biBnaeG6o2kgdGjDrWNoIGzDoCBiaeG6v24gxJHhu4tuaCB0w61uaCB2w6BvIG3DtCBow6xuaCBo4buTaSBxdXkgbG9naXN0aWMsIG5nxrDhu51pIHRhIHRoxrDhu51uZyBz4butIGThu6VuZyBt4buZdCB0cm9uZyBoYWkgcGjGsMahbmcgcGjDoXAgc2F1Og0KDQojIyMjICoqYS4gUGjGsMahbmcgcGjDoXAgZ8OhbiDEkWnhu4NtIHPhu5EgY2hvIGPDoWMgdGh14buZYyB0w61uaCBLaGkgYmnhur9uIMSR4buLbmggdMOtbmggY8OzIGPDoWMgdGh14buZYyB0w61uaCBjw7MgdGjhu6kgdOG7sSBoYXkgbeG7qWMgxJHhu5kgc28gc8OhbmgqKg0KDQoqVsOtIGThu6UgMyouIEjhu5NpIHF1eSBsb2dpc3RpYyB24buBIOG6o25oIGjGsOG7n25nIGPhu6dhIGNoaeG7gXUgcuG7mW5nIG1haSAkWF8xJCwgbcOgdSBz4bqvYyBDT0xPUiAoYmnhur9uIMSR4buLbmggdMOtbmggY8OzIGPhuqVwIMSR4buZIHRo4bupIHThu7EpIMSR4buRaSB24bubaSBz4buxIHh14bqldCBoaeG7h24gduG7hyB0aW5oIGNobyBjdWEgY8OhaSwgdHJvbmcgxJHDsyBiaeG6v24gbcOgdSBz4bqvYyDEkcaw4bujYyBnw6FuIMSRaeG7g20gJFx7MSwyLDMsNFx9JCB0xINuZyBk4bqnbiB0aGVvIGPhuqVwIMSR4buZIHThu5FpIGPhu6dhIG3DoHU6DQokJA0KXGxvZyBcbGVmdChcZnJhY3tccGkoeCl9ezEtXHBpKHgpfVxyaWdodCk9XGJldGFfMCtcYmV0YV8xIFxjZG90IHhfMStcYmV0YV8yIC4gXHRleHQgeyBDT0xPUiB9DQokJA0KS+G6v3QgcXXhuqMgaOG7k2kgcXV5IHRoZW8gcGjGsMahbmcgcGjDoXAgTUw6IA0KVOG7qyDEkcOzIG5o4bqtbiDEkcaw4bujYyBtw7QgaMOsbmggaOG7k2kgcXV5IMaw4bubYyBsxrDhu6NuZzogDQokJA0KXGxvZyBcbGVmdFtcZnJhY3tcd2lkZWhhdHtccGl9KHgpfXsxLVx3aWRlaGF0e1xwaX0oeCl9XHJpZ2h0XT0tMTAsMDcwODQrMCw0NTgzMTAgXGNkb3QgeF8xKzAsNTA5MDQ3IC4gXHRleHQgeyBDT0xPUiB9DQokJA0KS+G6v3QgcXXhuqMgaOG7k2kgcXV5IGNobyB0aOG6pXkgY+G6oyDEkeG7mSBy4buZbmcgbWFpIGN1YSAkWF8xJCB2w6AgbcOgdSBz4bqvYyAoQ09MT1IpIMSR4buBdSB0aOG7sWMgc+G7sSBjw7Mg4bqjbmggaMaw4budbmcgxJHhur9uIHjDoWMgc3XhuqV0IGPDsyB24buHIHRpbmggY+G7p2EgY29uIGN1YSBjw6FpLg0KJFxoYXR7XGJldGF9XzI9LTAsNTA5MDQ3PDAkIHbDoCB04burIGPDoWNoIGfDoW4gxJFp4buDbSBjaG8gYmnhur9uIMSR4buLbmggdMOtbmggQ09MT1IgdMSDbmcgZOG6p24gdGhlbyDEkeG7mSB04buRaSBj4bunYSBtw6B1LCBjaG8gdGjhuqV5IHjDoWMgc3XhuqV0IGPDsyB24buHIHRpbmggY+G7p2EgY29uIGN1YSBjw6FpIGdp4bqjbSDEkWkgdGhlbyBz4buxIHTEg25nIGThuqduIGPhu6dhIMSR4buZIHThu5FpIG1haSBjdWEuDQoNCi0gTcO0IGjDrG5oIGjhu5NpIHF1eSBsb2dpc3RpYyDGsOG7m2MgbMaw4bujbmcgxJHhu5FpIHbhu5tpIG5o4buvbmcgY29uIGN1YSBjw6FpIGPDsyBtw6B1IHPDoW5nIHRydW5nIGLDrG5oICQoXG1hdGhybXtDT0xPUn09MSkkIGzDoDogJFxsb2cgXGxlZnRbXGZyYWN7XHdpZGVoYXR7XHBpfSh4KX17MS1cd2lkZWhhdHtccGl9KHgpfVxyaWdodF09LTksNTYxNzkzKyQNCiQwLDQ1ODMxMCAuIHhfMSQgZG8gxJHDsyB4w6FjIHN14bqldCBjw7MgduG7hyB0aW5oIGPhu6dhIG5ow7NtIGN1YSBtw6B1IHPDoW5nIHRydW5nIGLDrG5oIMaww7NjIHTDrW5oIGzDoDogJFxoYXR7XHBpfVxsZWZ0KHhfMSwgMVxyaWdodCk9XGxlZnRbMStcZXhwIFxsZWZ0KDksNTYxNzkzLTAsNDU4MzEwIC4geF8xXHJpZ2h0KVxyaWdodF1eey0xfSQNCg0KLSBNw7QgaMOsbmggdeG7m2MgbMaw4bujbmcgxJHhu5FpIHbhu5tpIG5o4buvbmcgY29uIGN1YSBjw6FpIGPDsyBtw6B1IHRydW5nIGLDrG5oICQoJCBDT0xPUiAkPTIpJCBsw6A6ICRcbG9nIFxsZWZ0W1xmcmFje1xoYXR7XHBpfSh4KX17MS1caGF0e1xwaX0oeCl9XHJpZ2h0XT0tOSwwNTI3NDYrMCw0NTgzMTAgLiB4XzEkIGRvIMSRw7MgeMOhYyBzdeG6pXQgY8OzIHbhu4cgdOG7iWggY+G7p2EgbmjDs20gY3VhIG3DoHUgc8OhbmcgdHJ1bmcgYsOsbmggdeG7m2MgdMOtbmggbMOgOiAkXGhhdHtccGl9XGxlZnQoeF8xLCAxXHJpZ2h0KT0kICRcbGVmdFsxK1xleHAgXGxlZnQoOSwwNTI3NDYtMCw0NTgzMTAgLiB4XzFccmlnaHQpXHJpZ2h0XV57LTF9JA0KDQotIE3DtCBow6xuaCB14bubYyBsxrDhu6NuZyDEkeG7kWkgduG7m2kgbmjhu69uZyBjb24gY3VhIGPDoWkgY8OzIG3DoHUgxJFlbiB24burYSAkKEMgTyBMIE8gUj0kIDMpIGzDoDogJFxsb2cgXGxlZnRbXGZyYWN7XGhhdHtccGl9KHgpfXsxLVxoYXR7XHBpfSh4KX1ccmlnaHRdPS04LDU0MzY5OSswLDQ1ODMxMCAuIHhfMSQgZG8gxJHDsyB4w6FjIHN14bqldCBjw7MgduG7hyB0w61oIGPhu6dhIG5ow7NtIGN1YSBtw6B1IMSRZW4gduG7q2EgdeG7m2MgdMOtbmggbMOgOiAkXGhhdHtccGl9XGxlZnQoeF8xLCAxXHJpZ2h0KT1bMSskICRcbGVmdC5cZXhwIFxsZWZ0KDgsNTQzNjk5LTAsNDU4MzEwIC4geF8xXHJpZ2h0KVxyaWdodF1eey0xfSQNCg0KLSBNw7QgaMOsbmggaOG7k2kgcXV5IGxvZ2lzdGljIMaw4bubYyBsxrDhu6NuZyDEkeG7kWkgduG7m2kgbmjhu69uZyBjb24gY3VhIGPDoWkgY8OzIG3DoHUgdOG7kWkgJCgkIENPTE9SICQ9NCkkIGzDoDogJFxsb2cgXGxlZnRbXGZyYWN7XGhhdHtccGl9KHgpfXsxLVxoYXR7XHBpfSh4KX1ccmlnaHRdPS04LDAzNDY1MiswLDQ1ODMxMCAuIHhfMSQgZG8gxJHDsyB4w6FjIHN14bqldCBjw7MgduG7hyB04buJaCBj4bunYSBuaMOzbSBjdWEgbcOgdSB04buRaSB14bubYyB0w61uaCBsw6A6ICRcaGF0e1xwaX1cbGVmdCh4XzEsIDFccmlnaHQpPSQgJFxsZWZ0WzErXGV4cCBcbGVmdCg4LDAzNDY1Mi0wLDQ1ODMxMCAuIHhfMVxyaWdodClccmlnaHRdXnstMX0kDQoNCi0gTWEgdHLhuq1uIG5o4bqnbSBs4bqrbiBj4bunYSBtw7QgaMOsbmggbsOgeSBsw6A6DQpcYmVnaW57dGFidWxhcn17Y2N8Y2NjfSANCiYgJiAmICRcaGF0e1l9JCAmIFxcDQpDb3VudCAmICYgMCAmIDEgJiBUb3RhbCBcXA0KXGhsaW5lIFxtdWx0aXJvd3szfXsqfXskXG1hdGhybXtZfSR9ICYgMCAmIDI5ICYgMzMgJiA2MiBcXA0KJiAxICYgMTQgJiA5NyAmIDExMSBcXA0KJiBUb3RhbCAmIDQzICYgMTMwICYgMTczDQpcZW5ke3RhYnVsYXJ9DQoNCi0gxJDhu5kgY2jDrW5oIHjDoWMgdG/DoG4gdGjhu4M6ICRcZnJhY3syOSs5N317MTczfT03Miw4MyBcJSQsIMSR4buZIG5o4bqheTogJFxmcmFjezk3fXsxNCs5N309ODcsMzggXCUkIHbDoCDEkeG7mSDEkeG6t2MgaGnhu4d1IGzDoDogJFxmcmFjezI5fXs2Mn09NDYsNzcgXCUkLg0KDQojIyMjICoqYi4gUGjGsMahbmcgcGjDoXAgZMO5bmcgYmnhur9uIGdp4bqjIG5o4buLIHBow6JuKioNCg0KVuG7m2kgYmnhur9uIMSR4buLbmggdMOtbmggY8OzIGsgdGh14buZYyB0w61uaCB0aMOsIHPhu60gZOG7pW5nIGsg4oCTIDEgYmnhur9uIGdp4bqjIG5o4buLIHBow6JuIGsgLSAxIGJp4bq/biBnaeG6oyBuaOG7iyBwaMOibiAgDQoNCipWw60gZHUgNCouIEjhu5NpIHF1eSBsb2dpc3RpYyB24buBIOG6o25oIGjGsOG7n25nIGPhu6dhIGNoaeG7g3UgcuG7mW5nIG1haSAkXG1hdGhybXtYfV8xJCwgbcOgdSBz4bqxYyDEkeG7kWkgduG7m2kgc+G7sSB4deG6pXQgaGnhu4duIHbhu4cgdGluaCBjaG8gY3VhIGPDoWksIHRyb25nIMSRw7MgYmnhur9uIG3DoHUgc+G6r2MgxJHGsOG7o2MgxJHGsOG7o2MgxJHhuqFpIGRp4buHbiBi4budaSAzIGJp4bq/biBnaeG6oyBuaOG7iyBwaMOibg0KJCQNClxiZWdpbnthbGlnbmVkfQ0KRF8xICYgPSBcYmVnaW57Y2FzZXN9MSAmIFx0ZXh0IHsgbuG6v3UgY3VhIGPDsyBtw6B1IH0gMSBcXA0KMCAmIFx0ZXh0IHsgbuG6v3UgY8OzIG3DoHUga2jDoWMgfVxlbmR7Y2FzZXN9IFxcDQpEXzIgJiA9IFxiZWdpbntjYXNlc30xICYgXHRleHQgeyBu4bq/dSBjdWEgY8OzIG3DoHUgfSAyIFxcDQowICYgXHRleHQgeyBu4bq/dSBjw7MgbcOgdSBraMOhYyB9XGVuZHtjYXNlc30gXFwNCkRfMSAmID0gXGJlZ2lue2Nhc2VzfTEgJiBcdGV4dCB7IG7hur91IGN1YSBjw7MgbcOgdSB9IDMgXFwNCjAgJiBcdGV4dCB7IG7hur91IGPDsyBtw6B1IGtow6FjIH1cZW5ke2Nhc2VzfSBcXA0KXGxvZyBcbGVmdChcZnJhY3tccGkoeCl9ezEtXHBpKHgpfVxyaWdodCkgJiA9XGJldGFfMCtcYmV0YV8xIFxjZG90IHhfMStjXzEgXGNkb3QgRF8xK2NfMiBcY2RvdCBEXzIrY18zIFxjZG90IERfMw0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KDQoNCkvhur90IHF14bqjIGjhu5NpIHF1eSB0aGVvIHBoxrDGoW5nIHBow6FwIE1MOg0KDQpU4burIMSRw7Mgbmjhuq1uIMSRxrDhu6NjIG3DtCBow6xuaCBo4buTaSBxdXkgxrDhu5tjIGzGsOG7o25nOg0KJCQNClxiZWdpbntnYXRoZXJlZH0NClxsb2cgXGxlZnRbXGZyYWN7XHRpbGRle1xwaX0oeCl9ezEtXGhhdHtccGl9KHgpfVxyaWdodF09LTEyLDcxNTExKzAsNDY3OTU2IHhfMSsxLDMyOTkxMSBEXzErMSw0MDIzMzYgRF8yKyBcXA0KMSwxMDYxMjEgRF8zIFx0ZXh0IHsgKGIpIH0NClxlbmR7Z2F0aGVyZWR9DQokJA0KLSBNw7QgaMOsbmggdeG7m2MgbMaw4bujbmcgxJHhu5FpIHbhu5tpIG5o4buvbmcgY29uIGN1YSBjw6FpIGPDsyBtw6B1IHPDoW5nIHRydW5nIGLDrG5oIGzDoDogJFxsb2cgXGxlZnRbXGZyYWN7XGhhdHtccGl9KHgpfXsxLVxoYXR7XHBpfSh4KX1ccmlnaHRdPS0xMSwzODUxOTkrMCw0Njc5NTYgeF8xJCBkbyDEkcOzIHjDoWMgc3XhuqV0IGPDsyB24buHIHRpbmggY+G7p2EgbmjDs20gY3VhIG3DoHUgc8OhbmcgdHJ1bmcgYsOsbmggxrDhu5tjIHTDrW5oIGzDoDogJFxoYXR7XHBpfVxsZWZ0KHhfMSwgMVxyaWdodCk9WzErXGV4cCAoMTEsMzg1MTk5LSQgJFxsZWZ0LlxsZWZ0LjAsNDY3OTU2IHhfMVxyaWdodClccmlnaHRdXnstMX0kDQotIE3DtCBow6xuaCB14bubYyBsxrDhu6NuZyDEkeG7kWkgduG7m2kgbmjhu69uZyBjb24gY3VhIGPDoWkgY8OzIG3DoHUgdHJ1bmcgYsOsbmggbMOgOiAkXGxvZyBcbGVmdFtcZnJhY3tcaGF0e1xwaX0oeCl9ezEtXGhhdHtccGl9KHgpfVxyaWdodF09LTExLDMxMjc3NCswLDQ2Nzk1NiB4XzEkIGRvIMSRw7MgeMOhYyBzdeG6pXQgY8OzIHbhu4cgdGluaCBj4bunYSBuaMOzbSBjdWEgbcOgdSBzw6FuZyB0cnVuZyBiw6xuaCDGsOG7m2MgdMOtbmggbMOgOiAkXGhhdHtccGl9XGxlZnQoeF8xLCAxXHJpZ2h0KT1bMSskICRcbGVmdC5cZXhwIFxsZWZ0KDExLDMxMjc3NC0wLDQ2Nzk1NiB4XzFccmlnaHQpXHJpZ2h0XV57LTF9JA0KLSBNw7QgaMOsbmggxrDhu5tjIGzGsOG7o25nIMSR4buRaSB24bubaSBuaOG7r25nIGNvbiBjdWEgY8OhaSBjw7MgbcOgdSDEkWVuIHbhu6thIGzDoDogJFxsb2cgXGxlZnRbXGZyYWN7XGhhdHtccGl9KHgpfXsxLVxoYXR7XHBpfSh4KX1ccmlnaHRdPS0xMSw2MDg5ODkrMCw0Njc5NTYgeF8xJCBkbyDEkcOzIHjDoWMgc3XhuqV0IGPDsyB24buHIHThu4loIGPhu6dhIG5ow7NtIGN1YSBtw6B1IMSRZW4gduG7q2EgxrDhu5tjIHTDrW5oIGzDoDogJFxoYXR7XHBpfVxsZWZ0KHhfMSwgMVxyaWdodCk9WzErXGV4cCAoMTEsNjA4OTg5LSQgJFxsZWZ0LlxsZWZ0LjAsNDY3OTU2IHhfMVxyaWdodClccmlnaHRdXnstMX0kDQotIE3DtCBow6xuaCB14bubYyBsxrDhu6NuZyDEkeG7kWkgduG7m2kgbmjhu69uZyBjb24gY3VhIGPDoWkgY8OzIG3DoHUgdOG7kWkgbMOgOiAkXGxvZyBcbGVmdFtcZnJhY3tcaGF0e1xwaX0oeCl9ezEtXGhhdHtccGl9KHgpfVxyaWdodF09PS0xMiw3MTUxMSswLDQ2Nzk1NiB4XzEkIGRvIMSRw7MgeMOhYyBzdeG6pXQgY8OzIHbhu4cgdGluaCBj4bunYSBuaMOzbSBjdWEgbcOgdSB04buRaSB14bubYyB0w61uaCBsw6A6ICRcaGF0e1xwaX1cbGVmdCh4XzEsIDFccmlnaHQpPVsxK1xleHAgKDEyLDcxNTExLSQgJFxsZWZ0LlxsZWZ0LjAsNDY3OTU2IHhfMVxyaWdodClccmlnaHRdXnstMX0kDQotIE1hIHRy4bqtbiBuaOG6p20gbOG6q24gY8O6YSBtw7QgaMOsbmggbsOgeSBsw6A6DQpcYmVnaW57dGFidWxhcn17Y2N8Y2NjfSANCiYgJiAmICRcaGF0e1l9JCAmIFxcDQpDb3VudCAmICYgMCAmIDEgJiBUb3RhbCBcXA0KXGhsaW5lICRcbWF0aHJte1l9JCAmIDAgJiAzMSAmIDMxICYgNjIgXFwNCiYgMSAmIDE1ICYgOTYgJiAxMTEgXFwNCiYgVG90YWwgJiA0NiAmIDEyNyAmIDE3Mw0KXGVuZHt0YWJ1bGFyfQ0KLSDEkOG7mSBjaMOtbmggeMOhYyB0b8OgbiB0aOG7gzogJFxmcmFjezMxKzk2fXsxNzN9PTczLDQxIFwlJCwgxJHhu5kgbmjhuqF5OiAkXGZyYWN7OTZ9ezE1Kzk2fT04Niw0OSBcJSQgdsOgIMSR4buZIMSR4bq3YyBoaeG7h3UgbMOgOiAkXGZyYWN7MzF9ezYyfT01MCBcJSQuDQoNCioqQ2jDuiDDvToqKg0KLSBQaMawxqFuZyBwaMOhcCBiaeG6v24gZ2nhuqMgw6FwIGThu6VuZyBjaG8gbeG7jWkgYmnhur9uIGThu7EgYsOhbyDEkeG7i25oIHTDrW5oIHbDoCBu4bq/dSBkdW5nIG3DtCBow6xuaCDEkeG7gyBk4buxIGLDoW8gdGjDrCBtw7QgaMOsbmggY8OzIGJp4bq/biBnaeG6oyB04buRdCBoxqFuLg0KLSBQaMawxqFuZyBwaMOhcCBnw6FuIMSRaeG7g20gY2jhu4kgw6FwIGThu6VuZyDEkcaw4bujYyBjaG8gYmnhur9uIGThu7EgYsOhbyDEkeG7i25oIHTDrW5oIGzDoCBiaeG6v24gxJHhu4tuaCB0w61uaCB0aOG7qSBi4bqtYy4gTcO0IGjDrG5oIG5o4bqtbiDEkcaw4bujYyDEkcahbiBnaeG6o24gaMahbiB2w6AgZOG7hSBwaMOibiB0w61jaC4NCg0KKlbDrSBkdSA1LiogWMOpdCBoYWkgbcO0IGjDrG5oIChhKSB2w6AgKGIpIG5o4bqtbiDEkcaw4bujYyB0cm9uZyB2w60gZOG7pSA0IGPDuW5nIHBo4bqjbiDDoW5oIHPhu7EgdMOhYyBm4buZbmcgY+G7p2EgbcOgdSBz4bq3YyB2w6AgxJHhu5kgcuG7mW5nIG1haSBjdWEgdOG7m2kgc+G7sSBoaeG7h24gZGnhu4duIGPhu6dhIHbhu4cgdGluaDoNCk3DtCBow6xuaCAoYSkNCiRcbWF0aHJte0FJQ309MSwxMjc4NjgkDQrEkOG7mSBjaMOtbmggeMOhYyB0b8OgbiB0aOG7gzogJD03Miw4MyBcJSQsDQokNzMsNDEgXCUkDQrEkOG7mSBuaOG6oXk6ICQ9ODcsMzggXCUkDQrEkOG7mSDEkeG6t2MgaGnhu4d1OiAkPTQ2LDc3IFwlJCwNCk3DtCBow6xuaCAoYikNCiQtXG1hdGhybXtBSUN9PTEsMTQxMzcwJA0KLSDEkOG7mSBjaMOtbmggeMOhYyB0b8OgbiB0aOG7gzogJD0kDQotIMSQ4buZIG5o4bqheTogJD04Niw0OSBcJSQNCi0gxJDhu5kgxJHhurdjIGhp4buHdTogJD01MCBcJSQNCg0KDQojIyAqKjQuNS4gU3V5IGx14bqtbiBjaG8gbcO0IGjDrG5oIGxvZ2lzdGljIG5oaeG7gXUgYmnhur9uLioqDQoNCljDqXQgbcO0IGjDrG5oIGjhu5NpIHF1eSBsb2dpc3RpYyDEkWEgYmnhur9uOg0KJCQNClxsb2cgXGxlZnQoXGZyYWN7XHBpKHgpfXsxLVxwaSh4KX1ccmlnaHQpPVxiZXRhXzArXGJldGFfMSBcY2RvdCB4XzErXGNkb3RzK1xiZXRhX20gXGNkb3QgeF9tDQokJA0KdHJvbmcgxJHDsyAkXG1hdGhybXtZfSQgbMOgIGJp4bq/biDEkcOhcCDhu6luZyBuaOG7iyBwaMOibiB24bubaSB04bqtcCBnacOhIHRy4buLICRcezAsMVx9JCB2w6ANCiQkDQpcYmVnaW57YWxpZ25lZH0NClxwaSh4KT1QKFk9ICYgXGxlZnQuMSBcbWlkXGxlZnQoWF8xPXhfMSwgWF8yPXhfMiwgXGxkb3RzLCBYX209eF9tXHJpZ2h0KVxyaWdodCkgXFwNCiYgPUVcbGVmdChZIFxtaWQgWF8xPXhfMSwgWF8yPXhfMiwgXGxkb3RzLCBYX209eF9tXHJpZ2h0KQ0KXGVuZHthbGlnbmVkfQ0KJCQNCg0KQuG6sW5nIHBoxrDGoW5nIHBow6FwICRcbWF0aHJte01MfSQsIHRhIGPDsyBtw7QgaMOsbmggbG9naXN0aWMgxrDhu5tjIGzGsOG7o25nOg0KJCQNClxsb2cgXGxlZnRbXGZyYWN7XGhhdHtccGl9KHgpfXsxLVxoYXR7XHBpfSh4KX1ccmlnaHRdPVxoYXR7XGJldGF9XzArXGhhdHtcYmV0YX1fMSBcY2RvdCB4XzErXGNkb3RzK1xoYXR7XGJldGF9X20gXGNkb3QgeF9tDQokJA0KDQojIyMgKio0LjUuMS4gS2hv4bqjbmcgdGluIGPhuq15IGNobyBjw6FjIGjhu4cgc+G7kSBo4buTaSBxdXkqKg0KDQpCw6BpIHRvw6FuIG7DoHkgxJHGsOG7o2MgZ2nhuqNpIHF1eeG6v3QgdMawxqFuZyB04buxIG5oxrAgdHLGsOG7nW5nIGjhu6NwIGLhu5NpIHF1eSAyIGJp4bq/biwgdHV5IG5oacOqbiB2aeG7h2MgeMOieSBk4buxbmcga2hv4bqjbmcgdGluIGPhuq15IGNobyBo4buHIHPhu5EgaOG7k2kgcXV5IGPhu6dhIG3hu5l0IGJp4bq/biBnaeG6o2kgdGjDrWNoIGNo4buJIMSR4bq3dCByYSBraGkga2nhu4NtIHNvw6F0IGPDoWMgYmnhur9uIGdpw6BpIHRow61jaCBraMOhYy4NCljDqXQgbcO0IGjDrG5oIGjhu5NpIHF1eSBsb2dpc3RpYyDEkWEgYmnhur9uOiANCkLhurFuZyBwaMawxqFuZyBwaMOhcCBNTCwgdGEgY8OzIG3DtCBow6xuaCBsb2dpc3RpYyDGsOG7m2MgbMaw4bujbmcNCg==