\(\frac{dln(P(Y,p))}{dp} =0 \iff \frac{Y}{P}- \frac{n-Y}{1-p} = 0 \iff p = \hat{p} = \frac{Y}{n} = f(A)\)

Tại \(p=\hat{p}=\frac{Y}{n}\), \(\operatorname{có} \frac{d^2 \ln (P(Y, p))}{d p^2}=-\frac{Y}{p^2}-\frac{n-Y}{(1-p)^2}<0\), nên \(P(Y, p)\) đạt cực đại đại duy nhất và do đó là đạt trị lớn nhất tại đó.

Như vậy hai cách giải (dựa trên cùng một ý tưởng) đều cho kết quả như nhau.

Bài toán 2: Tìm ước lượng hợp lý cực đại cho xác suất thành công \(p=P(A)\) trong phân phối Nhị thức \(B(n,p)\).

Giải: Với biến quan sát X có phân phối Nhị thức \(B(N,p)\) (là biến rời rạc), tham ẩn cần ước lượng là \(\theta=p\), mẫu ngẫu nhiên \(W_n = (X_1,X_2,… , X_n)\) về biến quan sát X bao gồm các biến ngẫu nhiên \(X_1,X_2,… , X_n\) đđộc lập, cùng phân phối B (n,p), có hàm hợp lý là: \[ L(p)=q\left(X_1, p\right) . q\left(X_2, p\right) \ldots q\left(X_n, p\right)=\prod_{k=1}^n C_N^{X_k} p^{X_k}(1-p)^{N-X_k} \] Vì vậy: \(\quad l(p)=\ln L(p)=\sum_{k=1}^n\left[\left(\ln C_N^{X_k}+X_k \ln p+\left(N-X_k\right) \ln (1-p)\right)\right]\) phương trình hợp lý là: \[ \frac{d l(p)}{d p}=0 \Leftrightarrow \frac{1}{p} \sum_{k=1}^n X_k-\frac{1}{1-p} \sum_{k=1}^n\left(N-X_k\right)=0 \Leftrightarrow \frac{1}{p(1-p)} \sum_{k=1}^n X_k-\frac{n \cdot N \cdot p}{p(1-p)}=0 \]

Phương trình này có nghiệm duy nhất: \(\hat{p}=\frac{1}{n \cdot N} \sum_{k=1}^n X_k=\frac{1}{N} \cdot \bar{X}\), trong đó \(\bar{X}=\) \(\frac{1}{n} \sum_{k=1}^n X_k\) là trung bình mẫu của biến quan sát \(X\). Vi tại \(p=\hat{p}=\frac{1}{N} \bar{X}\), có: \[ \frac{d^2 l(\hat{p})}{d p^2}=-\frac{1}{p^2} \sum_{k=1}^n X_k-\frac{1}{(1-p)^2} \sum_{k=1}^n\left(N-X_k\right)<0, \] nên hàm \(l(p)\) và do đó hàm hợp lý \(L(p)\) đạt cực đại duy nhất tại \(p=\hat{p}=\frac{1}{N} \bar{X}\) tức là \(L(p)\) đạt trị lớn nhất tại \(\hat{p}\). Tóm lại ước lượng hợp lý cực đại của tham số \(p\) trong phân phối \(B(N, p)\)\(\hat{p}=\frac{1}{N} \bar{X}\).

Chú ý: Tương tự như bài toán 1 , có thể đi tới lời giải bài toán 2 , bằng cách từ mẫu về \(\mathrm{X}\)\(W_n=\left(X_1, X_2, \ldots, X_n\right)\), biến ngẫu nhiên \(Y=X_1+X_2+\cdots+X_n\) có phân phối Nhị thức \(B(n . N, p)\), nên thay vì xét hàm hợp lý \(L(p)=\) \(\prod_{k=1}^n C_N^{X_k} p^{X_k}(1-p)^{N-X_k}, \quad\) có thể xét hàm:

\[ P(y, p)=P(Y=y)=C_{n N}^y p^y(1-p)^{n N-y}, y=0,1, \ldots, n N . \] và cho cùng lời giải: Ước lượng hợp lý cực đại của tham số \(p\) trong phân phối nhị thức \(B(N, p)\)\(\hat{p}=\frac{Y}{N n}=\frac{X_1+X_2+\cdots+X_n}{N n}=\frac{\bar{X}}{N}\).

Bài toán 3: Tìm ước lượng hợp lý cực đại cho tham số \(\lambda\) trong phân phối Poisson \(P(\lambda)\).

Giải: Với biến quan sát \(X\) có phân phối Poisson \(P(\lambda)\) (là biến rời rac), tham ẩn cần ước lượng là \(\theta=\lambda\), mẫu ngấu nhiên \(W_n=\left(X_1, X_2, \ldots, X_n\right)\) về biến quan sát \(X\) bao gồm các biến ngấu nhiên \(X_1, X_2, \ldots, X_n\) độc lập, cùng phân phối \(P(\lambda)\), có hàm hợp lý là: \[ L(\lambda)=q\left(X_1, \lambda\right) \cdot q\left(X_2, \lambda\right) \ldots q\left(X_n, \lambda\right)=\prod_{k=1}^n \frac{\lambda^{x_{k e}-\lambda}}{X_{k}!}, \]

Vì vậy: \(l(\lambda)=\ln L(\lambda)=\sum_{k=1}^n\left[\left(X_k \ln \lambda-\lambda-\ln \left(X_{k}!\right)\right)\right]\), phương trình hợp lý là: \[ \frac{d l(\lambda)}{d \lambda}=0 \Leftrightarrow \frac{1}{\lambda} \sum_{k=1}^n X_k-n=0 \]

Phương trình này có nghiệm duy nhất: \(\hat{\lambda}=\frac{1}{n} \sum_{k=1}^n X_k=\bar{X}\), trong đó \(\bar{X}=\) \(\frac{1}{n} \sum_{k=1}^n X_k\) là trung bình mẫu của biến quan sát \(X\). Vì tại \(\hat{\lambda}=\bar{X}\), có: \[ \frac{d^2 l(\hat{\lambda})}{d \lambda^2}=-\frac{1}{\lambda^2} \sum_{k=1}^n X_k<0, \] nên hàm \(l(\lambda)\) và do đó hàm hợp lý \(L(\lambda)\) đạt cục đại duy nhất tại \(\lambda=\hat{\lambda}=\bar{X}\) tức là \(L(\lambda)\) đạt trị lớn nhất tại \(\hat{\lambda}\). Tóm lại ước lượng hợ lý cực đại của tham số \(\lambda\) trong phân phối Poisson \(P(\lambda)\)\(\hat{\lambda}=\bar{X}\).

Chú ý: Từ mẫu \(W_n=\left(X_1, X_2, \ldots, X_n\right)\) về biến quan sát \(X\) có phân phối Poisson \(P(\lambda)\), ta có biến ngẫu nhiên \(Y=X_1+X_2+\cdots+X_n\) có phân phối Poisson \(P(n \lambda)\), do đó có thể thay hàm hợp lý trên bằng \[ P(y, \lambda)=P(Y=y)=\frac{(n \lambda)^y e^{-n \lambda}}{y!}, y=0,1,2, \ldots \] và phương trình hợp lý là: \(\frac{d \ln P(Y, p)}{d \lambda}=0 \Leftrightarrow \frac{Y}{\lambda}-n=0 \Leftrightarrow \lambda=\frac{Y}{n}=\bar{X}\) và tương tự như lời giải trên, ta nhận được củng một kết quả: ước lượng hợp lý cực đại cho \(\lambda\)\(\hat{\lambda}=\bar{X}\).

Bài toán 4: Tìm ước lượng hợp lý nhất cho giá trị trung bình tổng thể \(\mu=\) \(E X\) của biến quan sát \(X\) có phân phối chuẩn \(N\left(\mu, \sigma^2\right)\), trong đó phương sai \(\sigma^2=\) \(\operatorname{Var} X\) đã biết.

Với chú ý \(X\) là biến ngẫu nhiên liên tục có hàm mật độ xác suất \(q(x, \mu)=\) \(\frac{1}{\sigma \sqrt{2 \pi}} e^{-\frac{1}{2}\left(\frac{x-\mu}{\sigma}\right)^2}\) và với \(W_n=\left(X_1, X_2, \ldots, X_n\right)\) là mẫu ngẫu nhiên về biến quan sát \(X\), tiê̂n hành tương tự như các ví dụ trên, nhận được ước lượng hợp lý nhất của trung bình tổng thể \(\mu=E X\) của biến quan sát \(X\) có phân phối chuẩn trong trường hợp phương sai đã biết là trung bình mẫu: \[ \hat{\mu}=\bar{X}=\frac{1}{n} \sum_{k=1}^n X_k \]

1.5.Suy luận cho tỷ lệ

Trong thực tế, các tham số trong mô hình lấy mẫu Nhị thức và Poisson và nhị thức thường chưa biết. Sử dụng dữ liệu mẫu, chúng ta ước lượng các tham số. Chúng ta minh họa phương pháp này bằng cách áp dụng nó để suy luận cho các tham số tỳ lệ \(p\).

1.5.1.Ước lượng hợp lý cực đại cho tỷ lệ

Về phương diện lý thuyết, khi giải bài toán 1 , chúng ta nhận được lời giải duy nhất: ước lượng hợp lý cực đại cho tỷ lệ tổng thể \(p=P(A)\) là tỷ lệ trên mẫu: \(\hat{p}=f(A)\). Đối với mô hinh mẫu cụ thể, chúng ta có thể thay thế dự liệu mẫu vào xác suất và sau đó xem xác suất đó như là một hàm của tham số \(p\) để minh họa cho kết quá trên.

Ví dụ 1: Chẳng hạn, tiến hành 10 lần thử nghiệm \((\mathrm{n}=10)\) để quan sát biến cố \(\mathrm{A}\), ta có \(Y\) là số lần xuất hiện \(\mathrm{A}\) là biến ngẫu nhiên có phân phối Nhị thức \((10, p): P(Y=k)=C_{10}^k p^k(1-p)^{10-k}\).

  • Với \(k=0\), có \(\hat{p}=f(A)=\frac{0}{10}=0\), và khi đó:\(P(Y=0)=(1-p)^{10}=L(0, p)\) đạt trị lớn nhất khi \(p=0=f(A)\).

  • Với \(k=1\), có \(\hat{p}=f(A)=\frac{1}{10}\), và khi đó:\(P(Y=1)=10 \cdot p(1-p)^9=L(1, p)\) đạt trị lớn nhất khi \(p=\frac{1}{10}=f(A)\).

  • Với \(k=10\), có \(\hat{p}=f(A)=\frac{10}{10}=1\), và khi đó: \(P(Y=10)=p^{10}=L(10, p)\) đạt trị lớn nhất khi \(p=1=f(A)\)

Từ hàm này, ví dụ, xác suất \(Y=0\)\(L(0,0.4)=(1-0.4)^10=0.006\) nếu \(p=0.4\), \(l(0,0.2)=(1-0.2)^{10}=0.107\) nếu nếu \(p=0.2\), và \(l(0,0)=(1-0)^{10}=1.0\) nếu \(p\) \(=0.0 . l(0, p)=(1-p)^{10}\) có giá trị cực đại tại \(p=0.0\), cho thấy khi 10 thứ nghiệm có 0 thành công, ước tính giá trị hợp lý nhất của \(p\) bằng 0,0 .

1.5.2.Kiểm định một tỷ lệ

Bây giờ chúng ta sử dụng ước lượng ML của tỷ lệ tổng thể \(p\) là tỷ lệ mẫu \(f\) trong suy luận thống kê cho tham số \(p\). Ta biết rằng tỷ lệ mẫu \(f\) là biến ngẫu nhiên có trung bình và sai số tiêu chuẩn \[ E(f)=p, \quad \sigma(f)=\sqrt{\frac{p(1-p)}{n}} . \]

Khi số lần thử nghiệm \(n\) tăng lên, sai số chuẩn của \(f\) giảm dần về 0 ; có nghĩa là, tỷ lệ mẫu có xu hướng gần với giá trị tỷ lệ tổng thể \(p\).

1.5.2.1.Trường hợp mẫu lớn

Để kiểm định giả thuyết \(H_0: p=p_0\) cho rằng tỷ lệ tổng thể p bằng một giá trị đã biết \(p_0\), ta dùng thống kê kiểm định

\[ T = \frac{f - p_0}{\sqrt{\frac{p_0 (1 - p_0)}{n}}} \tag{1.4.2} \]

là tỷ số giữa sự khác biệt giữa tỷ lệ mẫu \(f\) với giá trị giả thuyết \(p_0\), và sai số chuẩn của \(f\). Sai số chuẩn được tính theo giả định giả thuyết không là đúng. Đối với các mẫu lớn, phân phối mẫu của thống kê kiểm định \(T\) là chuẩn chính tắc, có trung bình là 0 và độ lệch chuẩn là 1.

Tiêu chuẩn bác bỏ giả thuyết \(H_0\) với mức ý nghĩa \(\alpha\) cho trước là: \[ |T| \ge u(\alpha/2), \tag{1.4.3} \]

trong đó \(u(\alpha)\) là giá trị tới hạn mức \(\lambda\) của phân phối chuẩn chính tắc, được xác định bởi hệ thức: \(\Phi(u(\alpha)) = 1 - \alpha\) (\(\Phi(t)\) là hàm phân phối chuẩn chính tắc, giá trị hàm này được cho ở các bảng phụ lục)

Nếu \(|T| < u(\alpha/2)\) thì chấp nhận giả thuyết \(H_0\).

Nếu \(|T| \ge u(\alpha/2)\) thì bác bỏ giả thuyết \(H_0\). Trong đó: Khi \(T < -u(\alpha/2)\) thì chấp nhận: \(p < p_0\). Khi \(T \ge u(\alpha/2)\), thì chấp nhận \(p > p_0\).

Thông thường người ta lấy mức ý nghĩa \(\alpha = 5\%\) và khi kiểm định đúng mà không nói gì tới mức ý nghĩa thì mặc định mức ý nghĩa là 5%.

Ví dụ 2: Để minh hoạ, chúng ta xác minh xem có bao nhiêu số người lớn ở Hoa Kỳ tin rằng một phụ nữ nên tha hồ có thể được phá thai, thông qua câu điều tra sau đây:

Vấn đề khảo sát ý kiến về việc một phụ nữ mang thai có thể được phá thai hay không nằm trong số rất nhiều Khảo sát Xã hội Tổng quát năm 1991, được tiến hành bởi Trung Tâm Nghiên cứu Ý kiến Quốc gia (NORC) tại Đại học Chicago. Câu hỏi thăm dò là: “Xin vui lòng cho tôi biết liệu bạn có tin rằng một phụ nữ nên có thể phá thai hợp pháp nếu bà lập gia đình không muốn có thêm con nữa”. Trong số 950 người được hỏi trả lời câu hỏi này (năm 1991), có 424 trả lời là “có” và 526 trả lời “không”.

Ký hiệu \(p\) là tỷ lệ số dư trong thống kê mẫu trả lời “có” cho câu hỏi. Chúng ta kiểm tra \(H_0: p = 0.5\) với giả thuyết thay thế hai phía, \(H_a: p \neq 0.5\).

Tỷ lệ trả lời “có” trên mẫu và giá trị thống kê \(T\) là:

\[ f = \frac{424}{950} = 0.446, \quad T = \frac{(0.446 -3.329- 0.5)\sqrt{950}}{\sqrt{0.5*0.5}} = -3.329 < -u(\frac{\alpha}{2}) = -1.96 \]

Vậy ta bác bỏ \(H_0: p = 0.5\) và cho rằng có hơn một nửa số người Mỹ tin rằng một phụ nữ nên có thể được phá thai trong tình huống này.

1.5.2.2. Trường hợp mẫu nhỏ

Khi cỡ mẫu nhỏ, không thể xấp xỉ phân phối của thống kê \(T\) với phân phối chuẩn. Khi đó ta lưu ý rằng mẫu có phân phối nhị thức \(B(n, p)\). Vì thế nếu giả thuyết \(p = p_0\) là đúng, thì tán suất mẫu \(f\) có bằng phân phối xác suất là:

\[ \begin{array}{|c|c|c|c|c|c|c|} \hline f & 0 &\frac{1}{n} & \frac{2}{n} & \cdots & \frac{n-1}{n} & 1 & \sum \\ \hline P & p_0 & p_1 & p_2 & \cdots & p_{n-1} & p_n & 1 \\ \hline \end{array} \]

Trong đó: \(q_x = P\left( f = \frac{x}{n} \right) = C_n^x p_0^x (1-p_0)^{n-x}, x = 0, 1, 2, \ldots, n\)

Ký hiệu \(x_c\) là giá trị tới hạn mức c của phân phối nhị thức \(B(n, p)\), tức là:

\[ P(X \ge x_c) = c, \quad \text{trong đó } X \sim B(n, p) \]

Vì riêng \(X\) nhận giá trị nguyên, không âm, nên \(x_c\) được xác định là số nguyên nhỏ nhất sao cho: \[ \sum_{x = x_\alpha}^n C_n^x p_0^x (1-p_0)^{n-x} \leq \alpha \]

khi đó giá trị tới hạn mức c là \(\frac{x_\alpha}{n}\)

a. Kiểm định giả thuyết \(H_0: p = P_0\) với đối thuyết \(H_1: p > P_0\)

Khi đó những quan sát trên mẫu \(f > p_0\) là bằng chứng ủng hộ nhận \(H_1\), tức là bác bỏ \(H_0\), và f càng lớn xa \(p_0\) thì bằng chứng càng mạnh mẽ. Tuy nhiên để biết mức xa đến đâu là đủ, ta cần đến mức ý nghĩa \(\alpha\), tức là mức khống chế xác suất sai lầm loại 1: Xác suất bác bỏ \(H_0\) trong điều kiện \(H_0\) đúng. Mức đó chính là\(\frac{x_\alpha}{n}\) Vì thế: Với mức ý nghĩa \(\alpha\), tiêu chuẩn bác bỏ giả thuyết \(H_0\) là: \(f \geq\frac{x_\alpha}{n}\)

b. Kiểm định giả thuyết \(H_0: p = P_0\) với đối thuyết \(H_1: p < P_0\)

Lập luận tương tự như trên, với mức ý nghĩa \(\alpha\), tiêu chuẩn bác bỏ giả thuyết \(H_0: f \leq \frac{\bar{x}_\alpha}{n}\), là số nguyên lớn nhất sao cho:

\[ \sum_{x=0}^{\bar{x}_\alpha} C_n^x p_0^x (1-p_0)^{n-x} \leq \alpha \]

c. Kiểm định giả thuyết \(H_0: p = p_0\), với đối thuyết \(H_1: p \neq p_0\)

Lúc này những quan sát trên mẫu \(f \neq p_0\) là bằng chứng chống lại \(H_0\) và chấp nhận \(H_1\). Lập luận tương tự như trên với mức ý nghĩa \(\alpha\), tiêu chuẩn bác bỏ giả thuyết \(H_0\) là:

\[ f \geq \frac{x_\frac{\alpha}{2}}{n}, \quad \text{hoặc } f \leq \frac{\bar{x_\frac{\alpha}{2}}}{n} \]

Ví dụ 3: Một khách hàng vào hệ dịch vụ A có thể chọn một trong hai mức phí dịch vụ. Qua theo dõi ngẫu nhiên 15 khách hàng vào hệ dịch vụ A, thấy có 8 khách hàng chọn mức phí thứ nhất và 7 khách hàng chọn mức phí thứ hai. Hãy xác minh ở mức ý nghĩa 5% xem liệu có sự khác nhau về tỷ lệ khách hàng chọn hai mức phí này không

Giải: Gọi \(p\) là tỷ lệ khách chọn một dịch vụ nhất trong số 15 khách hàng. Khi điều tra như vậy, thì \(1-p\) là tỷ lệ khách chọn một dịch vụ thứ hai. Bài toán yêu cầu:

LS0tDQp0aXRsZTogIkdJw4FPIFRSw4xOSCBUUkFORyAxMS0xNSAiDQpkYXRlOiAiYHIgZm9ybWF0KFN5cy50aW1lKCksICclSDolTTolUywgJWQgLSAlbSAtICVZJylgIg0Kb3V0cHV0Og0KICBodG1sX2RvY3VtZW50Og0KICAgIHRvYzogVFJVRQ0KICAgIHRvY19mbG9hdDogVFJVRQ0KICAgIGRmX3ByaW50OiBwYWdlZA0KICAgIGNvZGVfZG93bmxvYWQ6IHRydWUNCiAgICBjb2RlX2ZvbGRpbmc6IGhpZGUNCiAgcGRmX2RvY3VtZW50Og0KICAgIGV4dHJhX2RlcGVuZGVuY2llczoNCiAgICAgIHZpZXRuYW06IHV0ZjgNCiAgICB0b2M6IHllcw0KICAgIG51bWJlcl9zZWN0aW9uczogeWVzDQogIHdvcmRfZG9jdW1lbnQ6DQogICAgdG9jOiB5ZXMNCiAgICBudW1iZXJfc2VjdGlvbnM6IHllcw0KZ2VvbWV0cnk6DQogICAgICAtIGlubmVyPTNjbQ0KICAgICAgLSBvdXRlcj00Y20NCiAgICAgIC0gdG9wPTNjbQ0KICAgICAgLSBib3R0b209NGNtDQogICAgICAtIGhlYWRzZXA9MjJwdA0KICAgICAgLSBoZWFkaGVpZ2h0PTExcHQNCiAgICAgIC0gZm9vdHNraXA9MzNwdA0KICAgICAgLSBpZ25vcmVoZWFkDQogICAgICAtIGlnbm9yZWZvb3QNCiAgICAgIC0gaGVpZ2h0cm91bmRlZA0KLS0tDQoNCmBgYHtyIHNldHVwLCBpbmNsdWRlPUZBTFNFfQ0Ka25pdHI6Om9wdHNfY2h1bmskc2V0KGVjaG8gPSBUUlVFLCBvcHRpb25zKGRpZ2l0cyA9IDQpLCAgYXR0ci5zb3VyY2U9Jy5udW1iZXJMaW5lcycpDQpgYGANCiRcZnJhY3tkbG4oUChZLHApKX17ZHB9ID0wIFxpZmYgXGZyYWN7WX17UH0tIFxmcmFje24tWX17MS1wfSA9IDAgXGlmZiBwID0gXGhhdHtwfSA9IFxmcmFje1l9e259ID0gZihBKSQNCg0KVOG6oWkgJHA9XGhhdHtwfT1cZnJhY3tZfXtufSQsICRcb3BlcmF0b3JuYW1le2NvzIF9IFxmcmFje2ReMiBcbG4gKFAoWSwgcCkpfXtkIHBeMn09LVxmcmFje1l9e3BeMn0tXGZyYWN7bi1ZfXsoMS1wKV4yfTwwJCwgbsOqbiAkUChZLCBwKSQgxJHhuqF0IGPhu7FjIMSR4bqhaSDEkeG6oWkgZHV5IG5o4bqldCB2w6AgZG8gxJHDsyBsw6AgxJHhuqF0IHRy4buLIGzhu5tuIG5o4bqldCB04bqhaSDEkcOzLg0KDQpOaMawIHbhuq15IGhhaSBjw6FjaCBnaeG6o2kgKGThu7FhIHRyw6puIGPDuW5nIG3hu5l0IMO9IHTGsOG7n25nKSDEkeG7gXUgY2hvIGvhur90IHF14bqjIG5oxrAgbmhhdS4NCg0KKkLDoGkgdG/DoW4gMio6IFTDrG0gxrDhu5tjIGzGsOG7o25nIGjhu6NwIGzDvSBj4buxYyDEkeG6oWkgY2hvIHjDoWMgc3XhuqV0IHRow6BuaCBjw7RuZyAkcD1QKEEpJCB0cm9uZyBwaMOibiBwaOG7kWkgTmjhu4sgdGjhu6ljICRCKG4scCkkLg0KDQoqR2nhuqNpKjogVuG7m2kgYmnhur9uIHF1YW4gc8OhdCBYIGPDsyBwaMOibiBwaOG7kWkgTmjhu4sgdGjhu6ljICRCKE4scCkkIChsw6AgYmnhur9uIHLhu51pIHLhuqFjKSwgdGhhbSDhuqluIGPhuqduIMaw4bubYyBsxrDhu6NuZyBsw6AgJFx0aGV0YT1wJCwgbeG6q3Ugbmfhuqt1IG5oacOqbiAkV19uID0gKFhfMSxYXzIs4oCmICwgWF9uKSQgduG7gSBiaeG6v24gcXVhbiBzw6F0IFggYmFvIGfhu5NtIGPDoWMgYmnhur9uIG5n4bqrdSBuaGnDqm4gJFhfMSxYXzIs4oCmICwgWF9uJCDEkcSR4buZYyBs4bqtcCwgY8O5bmcgcGjDom4gcGjhu5FpIEIgKG4scCksIGPDsyBow6BtIGjhu6NwIGzDvSBsw6A6DQokJA0KTChwKT1xXGxlZnQoWF8xLCBwXHJpZ2h0KSAuIHFcbGVmdChYXzIsIHBccmlnaHQpIFxsZG90cyBxXGxlZnQoWF9uLCBwXHJpZ2h0KT1ccHJvZF97az0xfV5uIENfTl57WF9rfSBwXntYX2t9KDEtcClee04tWF9rfQ0KJCQNClbDrCB24bqteTogJFxxdWFkIGwocCk9XGxuIEwocCk9XHN1bV97az0xfV5uXGxlZnRbXGxlZnQoXGxuIENfTl57WF9rfStYX2sgXGxuIHArXGxlZnQoTi1YX2tccmlnaHQpIFxsbiAoMS1wKVxyaWdodClccmlnaHRdJCBwaMawxqFuZyB0csOsbmggaOG7o3AgbMO9IGzDoDoNCiQkDQpcZnJhY3tkIGwocCl9e2QgcH09MCBcTGVmdHJpZ2h0YXJyb3cgXGZyYWN7MX17cH0gXHN1bV97az0xfV5uIFhfay1cZnJhY3sxfXsxLXB9IFxzdW1fe2s9MX1eblxsZWZ0KE4tWF9rXHJpZ2h0KT0wIFxMZWZ0cmlnaHRhcnJvdyBcZnJhY3sxfXtwKDEtcCl9IFxzdW1fe2s9MX1ebiBYX2stXGZyYWN7biBcY2RvdCBOIFxjZG90IHB9e3AoMS1wKX09MA0KJCQNCg0KUGjGsMahbmcgdHLDrG5oIG7DoHkgY8OzIG5naGnhu4dtIGR1eSBuaOG6pXQ6ICRcaGF0e3B9PVxmcmFjezF9e24gXGNkb3QgTn0gXHN1bV97az0xfV5uIFhfaz1cZnJhY3sxfXtOfSBcY2RvdCBcYmFye1h9JCwgdHJvbmcgxJHDsyAkXGJhcntYfT0kICRcZnJhY3sxfXtufSBcc3VtX3trPTF9Xm4gWF9rJCBsw6AgdHJ1bmcgYsOsbmggbeG6q3UgY+G7p2EgYmnhur9uIHF1YW4gc8OhdCAkWCQuIFZpIHThuqFpICRwPVxoYXR7cH09XGZyYWN7MX17Tn0gXGJhcntYfSQsIGPDszoNCiQkDQpcZnJhY3tkXjIgbChcaGF0e3B9KX17ZCBwXjJ9PS1cZnJhY3sxfXtwXjJ9IFxzdW1fe2s9MX1ebiBYX2stXGZyYWN7MX17KDEtcCleMn0gXHN1bV97az0xfV5uXGxlZnQoTi1YX2tccmlnaHQpPDAsDQokJA0KbsOqbiBow6BtICRsKHApJCB2w6AgZG8gxJHDsyBow6BtIGjhu6NwIGzDvSAkTChwKSQgxJHhuqF0IGPhu7FjIMSR4bqhaSBkdXkgbmjhuqV0IHThuqFpICRwPVxoYXR7cH09XGZyYWN7MX17Tn0gXGJhcntYfSQgdOG7qWMgbMOgICRMKHApJCDEkeG6oXQgdHLhu4sgbOG7m24gbmjhuqV0IHThuqFpICRcaGF0e3B9JC4gVMOzbSBs4bqhaSDGsOG7m2MgbMaw4bujbmcgaOG7o3AgbMO9IGPhu7FjIMSR4bqhaSBj4bunYSB0aGFtIHPhu5EgJHAkIHRyb25nIHBow6JuIHBo4buRaSAkQihOLCBwKSQgbMOgICRcaGF0e3B9PVxmcmFjezF9e059IFxiYXJ7WH0kLg0KDQoqKkNow7ogw706KiogVMawxqFuZyB04buxIG5oxrAgYsOgaSB0b8OhbiAxICwgY8OzIHRo4buDIMSRaSB04bubaSBs4budaSBnaeG6o2kgYsOgaSB0b8OhbiAyICwgYuG6sW5nIGPDoWNoIHThu6sgbeG6q3UgduG7gSAkXG1hdGhybXtYfSQgbMOgICRXX249XGxlZnQoWF8xLCBYXzIsIFxsZG90cywgWF9uXHJpZ2h0KSQsIGJp4bq/biBuZ+G6q3Ugbmhpw6puICRZPVhfMStYXzIrXGNkb3RzK1hfbiQgY8OzIHBow6JuIHBo4buRaSBOaOG7iyB0aOG7qWMgJEIobiAuIE4sIHApJCwgbsOqbiB0aGF5IHbDrCB4w6l0IGjDoG0gaOG7o3AgbMO9ICRMKHApPSQgJFxwcm9kX3trPTF9Xm4gQ19OXntYX2t9IHBee1hfa30oMS1wKV57Ti1YX2t9LCBccXVhZCQgY8OzIHRo4buDIHjDqXQgaMOgbToNCg0KJCQNClAoeSwgcCk9UChZPXkpPUNfe24gTn1eeSBwXnkoMS1wKV57biBOLXl9LCB5PTAsMSwgXGxkb3RzLCBuIE4gLg0KJCQNCnbDoCBjaG8gY8O5bmcgbOG7nWkgZ2nhuqNpOiDGr+G7m2MgbMaw4bujbmcgaOG7o3AgbMO9IGPhu7FjIMSR4bqhaSBj4bunYSB0aGFtIHPhu5EgJHAkIHRyb25nIHBow6JuIHBo4buRaSBuaOG7iyB0aOG7qWMgJEIoTiwgcCkkIGzDoCAkXGhhdHtwfT1cZnJhY3tZfXtOIG59PVxmcmFje1hfMStYXzIrXGNkb3RzK1hfbn17TiBufT1cZnJhY3tcYmFye1h9fXtOfSQuDQoNCiAgKkLDoGkgdG/DoW4gMzoqIFTDrG0gxrDhu5tjIGzGsOG7o25nIGjhu6NwIGzDvSBj4buxYyDEkeG6oWkgY2hvIHRoYW0gc+G7kSAkXGxhbWJkYSQgdHJvbmcgcGjDom4gcGjhu5FpIFBvaXNzb24gJFAoXGxhbWJkYSkkLg0KDQogIEdp4bqjaTogVuG7m2kgYmnhur9uIHF1YW4gc8OhdCAkWCQgY8OzIHBow6JuIHBo4buRaSBQb2lzc29uICRQKFxsYW1iZGEpJCAobMOgIGJp4bq/biBy4budaSByYWMpLCB0aGFtIOG6qW4gY+G6p24gxrDhu5tjIGzGsOG7o25nIGzDoCAkXHRoZXRhPVxsYW1iZGEkLCBt4bqrdSBuZ+G6pXUgbmhpw6puICRXX249XGxlZnQoWF8xLCBYXzIsIFxsZG90cywgWF9uXHJpZ2h0KSQgduG7gSBiaeG6v24gcXVhbiBzw6F0ICRYJCBiYW8gZ+G7k20gY8OhYyBiaeG6v24gbmfhuqV1IG5oacOqbiAkWF8xLCBYXzIsIFxsZG90cywgWF9uJCDEkeG7mWMgbOG6rXAsIGPDuW5nIHBow6JuIHBo4buRaSAkUChcbGFtYmRhKSQsIGPDsyBow6BtIGjhu6NwIGzDvSBsw6A6DQokJA0KTChcbGFtYmRhKT1xXGxlZnQoWF8xLCBcbGFtYmRhXHJpZ2h0KSBcY2RvdCBxXGxlZnQoWF8yLCBcbGFtYmRhXHJpZ2h0KSBcbGRvdHMgcVxsZWZ0KFhfbiwgXGxhbWJkYVxyaWdodCk9XHByb2Rfe2s9MX1ebiBcZnJhY3tcbGFtYmRhXnt4X3trIGV9LVxsYW1iZGF9fXtYX3trfSF9LA0KJCQNCg0KVsOsIHbhuq15OiAkbChcbGFtYmRhKT1cbG4gTChcbGFtYmRhKT1cc3VtX3trPTF9Xm5cbGVmdFtcbGVmdChYX2sgXGxuIFxsYW1iZGEtXGxhbWJkYS1cbG4gXGxlZnQoWF97a30hXHJpZ2h0KVxyaWdodClccmlnaHRdJCwgcGjGsMahbmcgdHLDrG5oIGjhu6NwIGzDvSBsw6A6DQokJA0KXGZyYWN7ZCBsKFxsYW1iZGEpfXtkIFxsYW1iZGF9PTAgXExlZnRyaWdodGFycm93IFxmcmFjezF9e1xsYW1iZGF9IFxzdW1fe2s9MX1ebiBYX2stbj0wDQokJA0KDQpQaMawxqFuZyB0csOsbmggbsOgeSBjw7MgbmdoaeG7h20gZHV5IG5o4bqldDogJFxoYXR7XGxhbWJkYX09XGZyYWN7MX17bn0gXHN1bV97az0xfV5uIFhfaz1cYmFye1h9JCwgdHJvbmcgxJHDsyAkXGJhcntYfT0kICRcZnJhY3sxfXtufSBcc3VtX3trPTF9Xm4gWF9rJCBsw6AgdHJ1bmcgYsOsbmggbeG6q3UgY+G7p2EgYmnhur9uIHF1YW4gc8OhdCAkWCQuIFbDrCB04bqhaSAkXGhhdHtcbGFtYmRhfT1cYmFye1h9JCwgY8OzOg0KJCQNClxmcmFje2ReMiBsKFxoYXR7XGxhbWJkYX0pfXtkIFxsYW1iZGFeMn09LVxmcmFjezF9e1xsYW1iZGFeMn0gXHN1bV97az0xfV5uIFhfazwwLA0KJCQNCm7Dqm4gaMOgbSAkbChcbGFtYmRhKSQgdsOgIGRvIMSRw7MgaMOgbSBo4bujcCBsw70gJEwoXGxhbWJkYSkkIMSR4bqhdCBj4bulYyDEkeG6oWkgZHV5IG5o4bqldCB04bqhaSAkXGxhbWJkYT1caGF0e1xsYW1iZGF9PVxiYXJ7WH0kIHThu6ljIGzDoCAkTChcbGFtYmRhKSQgxJHhuqF0IHRy4buLIGzhu5tuIG5o4bqldCB04bqhaSAkXGhhdHtcbGFtYmRhfSQuIFTDs20gbOG6oWkgxrDhu5tjIGzGsOG7o25nIGjhu6MgbMO9IGPhu7FjIMSR4bqhaSBj4bunYSB0aGFtIHPhu5EgJFxsYW1iZGEkIHRyb25nIHBow6JuIHBo4buRaSBQb2lzc29uICRQKFxsYW1iZGEpJCBsw6AgJFxoYXR7XGxhbWJkYX09XGJhcntYfSQuDQoNCkNow7ogw706IFThu6sgbeG6q3UgJFdfbj1cbGVmdChYXzEsIFhfMiwgXGxkb3RzLCBYX25ccmlnaHQpJCB24buBIGJp4bq/biBxdWFuIHPDoXQgJFgkIGPDsyBwaMOibiBwaOG7kWkgUG9pc3NvbiAkUChcbGFtYmRhKSQsIHRhIGPDsyBiaeG6v24gbmfhuqt1IG5oacOqbiAkWT1YXzErWF8yK1xjZG90cytYX24kIGPDsyBwaMOibiBwaOG7kWkgUG9pc3NvbiAkUChuIFxsYW1iZGEpJCwgZG8gxJHDsyBjw7MgdGjhu4MgdGhheSBow6BtIGjhu6NwIGzDvSB0csOqbiBi4bqxbmcNCiQkDQpQKHksIFxsYW1iZGEpPVAoWT15KT1cZnJhY3sobiBcbGFtYmRhKV55IGVeey1uIFxsYW1iZGF9fXt5IX0sIHk9MCwxLDIsIFxsZG90cw0KJCQNCnbDoCBwaMawxqFuZyB0csOsbmggaOG7o3AgbMO9IGzDoDogJFxmcmFje2QgXGxuIFAoWSwgcCl9e2QgXGxhbWJkYX09MCBcTGVmdHJpZ2h0YXJyb3cgXGZyYWN7WX17XGxhbWJkYX0tbj0wIFxMZWZ0cmlnaHRhcnJvdyBcbGFtYmRhPVxmcmFje1l9e259PVxiYXJ7WH0kDQp2w6AgdMawxqFuZyB04buxIG5oxrAgbOG7nWkgZ2nhuqNpIHRyw6puLCB0YSBuaOG6rW4gxJHGsOG7o2MgY+G7p25nIG3hu5l0IGvhur90IHF14bqjOiDGsOG7m2MgbMaw4bujbmcgaOG7o3AgbMO9IGPhu7FjIMSR4bqhaSBjaG8gJFxsYW1iZGEkIGzDoCAkXGhhdHtcbGFtYmRhfT1cYmFye1h9JC4NCg0KKkLDoGkgdG/DoW4gNDoqIFTDrG0gxrDhu5tjIGzGsOG7o25nIGjhu6NwIGzDvSBuaOG6pXQgY2hvIGdpw6EgdHLhu4sgdHJ1bmcgYsOsbmggdOG7lW5nIHRo4buDICRcbXU9JCAkRSBYJCBj4bunYSBiaeG6v24gcXVhbiBzw6F0ICRYJCBjw7MgcGjDom4gcGjhu5FpIGNodeG6qW4gJE5cbGVmdChcbXUsIFxzaWdtYV4yXHJpZ2h0KSQsIHRyb25nIMSRw7MgcGjGsMahbmcgc2FpICRcc2lnbWFeMj0kICRcb3BlcmF0b3JuYW1le1Zhcn0gWCQgxJHDoyBiaeG6v3QuDQoNClbhu5tpIGNow7ogw70gJFgkIGzDoCBiaeG6v24gbmfhuqt1IG5oacOqbiBsacOqbiB04bulYyBjw7MgaMOgbSBt4bqtdCDEkeG7mSB4w6FjIHN14bqldCAkcSh4LCBcbXUpPSQgJFxmcmFjezF9e1xzaWdtYSBcc3FydHsyIFxwaX19IGVeey1cZnJhY3sxfXsyfVxsZWZ0KFxmcmFje3gtXG11fXtcc2lnbWF9XHJpZ2h0KV4yfSQgdsOgIHbhu5tpICRXX249XGxlZnQoWF8xLCBYXzIsIFxsZG90cywgWF9uXHJpZ2h0KSQgbMOgIG3huqt1IG5n4bqrdSBuaGnDqm4gduG7gSBiaeG6v24gcXVhbiBzw6F0ICRYJCwgdGnDqsyCbiBow6BuaCB0xrDGoW5nIHThu7EgbmjGsCBjw6FjIHbDrSBk4bulIHRyw6puLCBuaOG6rW4gxJHGsOG7o2MgxrDhu5tjIGzGsOG7o25nIGjhu6NwIGzDvSBuaOG6pXQgY+G7p2EgdHJ1bmcgYsOsbmggdOG7lW5nIHRo4buDICRcbXU9RSBYJCBj4bunYSBiaeG6v24gcXVhbiBzw6F0ICRYJCBjw7MgcGjDom4gcGjhu5FpIGNodeG6qW4gdHJvbmcgdHLGsOG7nW5nIGjhu6NwIHBoxrDGoW5nIHNhaSDEkcOjIGJp4bq/dCBsw6AgdHJ1bmcgYsOsbmggbeG6q3U6DQokJA0KXGhhdHtcbXV9PVxiYXJ7WH09XGZyYWN7MX17bn0gXHN1bV97az0xfV5uIFhfaw0KJCQNCg0KIyAqKjEuNS5TdXkgbHXhuq1uIGNobyB04bu3IGzhu4cqKg0KDQpUcm9uZyB0aOG7sWMgdOG6vywgY8OhYyB0aGFtIHPhu5EgdHJvbmcgbcO0IGjDrG5oIGzhuqV5IG3huqt1IE5o4buLIHRo4bupYyB2w6AgUG9pc3NvbiB2w6Agbmjhu4sgdGjhu6ljIHRoxrDhu51uZyBjaMawYSBiaeG6v3QuIFPhu60gZOG7pW5nIGThu68gbGnhu4d1IG3huqt1LCBjaMO6bmcgdGEgxrDhu5tjIGzGsOG7o25nIGPDoWMgdGhhbSBz4buRLiBDaMO6bmcgdGEgbWluaCBo4buNYSBwaMawxqFuZyBwaMOhcCBuw6B5IGLhurFuZyBjw6FjaCDDoXAgZOG7pW5nIG7DsyDEkeG7gyBzdXkgbHXhuq1uIGNobyBjw6FjIHRoYW0gc+G7kSB04buzIGzhu4cgJHAkLg0KDQojIyAqKjEuNS4xLsav4bubYyBsxrDhu6NuZyBo4bujcCBsw70gY+G7sWMgxJHhuqFpIGNobyB04bu3IGzhu4cqKg0KDQpW4buBIHBoxrDGoW5nIGRp4buHbiBsw70gdGh1eeG6v3QsIGtoaSBnaeG6o2kgYsOgaSB0b8OhbiAxICwgY2jDum5nIHRhIG5o4bqtbiDEkcaw4bujYyBs4budaSBnaeG6o2kgZHV5IG5o4bqldDogxrDhu5tjIGzGsOG7o25nIGjhu6NwIGzDvSBj4buxYyDEkeG6oWkgY2hvIHThu7cgbOG7hyB04buVbmcgdGjhu4MgJHA9UChBKSQgbMOgIHThu7cgbOG7hyB0csOqbiBt4bqrdTogJFxoYXR7cH09ZihBKSQuIMSQ4buRaSB24bubaSBtw7QgaGluaCBt4bqrdSBj4bulIHRo4buDLCBjaMO6bmcgdGEgY8OzIHRo4buDIHRoYXkgdGjhur8gZOG7sSBsaeG7h3UgbeG6q3UgdsOgbyB4w6FjIHN14bqldCB2w6Agc2F1IMSRw7MgeGVtIHjDoWMgc3XhuqV0IMSRw7MgbmjGsCBsw6AgbeG7mXQgaMOgbSBj4bunYSB0aGFtIHPhu5EgJHAkIMSR4buDIG1pbmggaOG7jWEgY2hvIGvhur90IHF1w6EgdHLDqm4uDQoNCipWw60gZOG7pSAxOiogQ2jhurNuZyBo4bqhbiwgdGnhur9uIGjDoG5oIDEwIGzhuqduIHRo4butIG5naGnhu4dtICQoXG1hdGhybXtufT0xMCkkIMSR4buDIHF1YW4gc8OhdCBiaeG6v24gY+G7kSAkXG1hdGhybXtBfSQsIHRhIGPDsyAkWSQgbMOgIHPhu5EgbOG6p24geHXhuqV0IGhp4buHbiAkXG1hdGhybXtBfSQgbMOgIGJp4bq/biBuZ+G6q3Ugbmhpw6puIGPDsyBwaMOibiBwaOG7kWkgTmjhu4sgdGjhu6ljICQoMTAsIHApOiBQKFk9ayk9Q197MTB9XmsgcF5rKDEtcCleezEwLWt9JC4NCg0KLSBW4bubaSAkaz0wJCwgY8OzICRcaGF0e3B9PWYoQSk9XGZyYWN7MH17MTB9PTAkLCB2w6Aga2hpIMSRw7M6JFAoWT0wKT0oMS1wKV57MTB9PUwoMCwgcCkkIMSR4bqhdCB0cuG7iyBs4bubbiBuaOG6pXQga2hpICRwPTA9ZihBKSQuDQoNCi0gVuG7m2kgJGs9MSQsIGPDsyAkXGhhdHtwfT1mKEEpPVxmcmFjezF9ezEwfSQsIHbDoCBraGkgxJHDszokUChZPTEpPTEwIFxjZG90IHAoMS1wKV45PUwoMSwgcCkkIMSR4bqhdCB0cuG7iyBs4bubbiBuaOG6pXQga2hpICRwPVxmcmFjezF9ezEwfT1mKEEpJC4NCg0KLSBW4bubaSAkaz0xMCQsIGPDsyAkXGhhdHtwfT1mKEEpPVxmcmFjezEwfXsxMH09MSQsIHbDoCBraGkgxJHDszogJFAoWT0xMCk9cF57MTB9PUwoMTAsIHApJCDEkeG6oXQgdHLhu4sgbOG7m24gbmjhuqV0IGtoaSAkcD0xPWYoQSkkDQoNClThu6sgaMOgbSBuw6B5LCB2w60gZOG7pSwgeMOhYyBzdeG6pXQgJFk9MCQgbMOgICRMKDAsMC40KT0oMS0wLjQpXjEwPTAuMDA2JCBu4bq/dSAkcD0wLjQkLCAkbCgwLDAuMik9KDEtMC4yKV57MTB9PTAuMTA3JCBu4bq/dSBu4bq/dSAkcD0wLjIkLCB2w6AgJGwoMCwwKT0oMS0wKV57MTB9PTEuMCQgbuG6v3UgJHAkICQ9MC4wIC4gbCgwLCBwKT0oMS1wKV57MTB9JCBjw7MgZ2nDoSB0cuG7iyBj4buxYyDEkeG6oWkgdOG6oWkgJHA9MC4wJCwgY2hvIHRo4bqleSBraGkgMTAgdGjhu6kgbmdoaeG7h20gY8OzIDAgdGjDoG5oIGPDtG5nLCDGsOG7m2MgdMOtbmggZ2nDoSB0cuG7iyBo4bujcCBsw70gbmjhuqV0IGPhu6dhICRwJCBi4bqxbmcgMCwwIC4NCg0KIyMgKioxLjUuMi5LaeG7g20gxJHhu4tuaCBt4buZdCB04bu3IGzhu4cqKg0KDQpCw6J5IGdp4budIGNow7puZyB0YSBz4butIGThu6VuZyDGsOG7m2MgbMaw4bujbmcgTUwgY+G7p2EgdOG7tyBs4buHIHThu5VuZyB0aOG7gyAkcCQgbMOgIHThu7cgbOG7hyBt4bqrdSAkZiQgdHJvbmcgc3V5IGx14bqtbiB0aOG7kW5nIGvDqiBjaG8gdGhhbSBz4buRICRwJC4gVGEgYmnhur90IHLhurFuZyB04bu3IGzhu4cgbeG6q3UgJGYkIGzDoCBiaeG6v24gbmfhuqt1IG5oacOqbiBjw7MgdHJ1bmcgYsOsbmggdsOgIHNhaSBz4buRIHRpw6p1IGNodeG6qW4NCiQkDQpFKGYpPXAsIFxxdWFkIFxzaWdtYShmKT1cc3FydHtcZnJhY3twKDEtcCl9e259fSAuDQokJA0KDQpLaGkgc+G7kSBs4bqnbiB0aOG7rSBuZ2hp4buHbSAkbiQgdMSDbmcgbMOqbiwgc2FpIHPhu5EgY2h14bqpbiBj4bunYSAkZiQgZ2nhuqNtIGThuqduIHbhu4EgMCA7IGPDsyBuZ2jEqWEgbMOgLCB04bu3IGzhu4cgbeG6q3UgY8OzIHh1IGjGsOG7m25nIGfhuqduIHbhu5tpIGdpw6EgdHLhu4sgdOG7tyBs4buHIHThu5VuZyB0aOG7gyAkcCQuDQoNCiMjIyAqKjEuNS4yLjEuVHLGsOG7nW5nIGjhu6NwIG3huqt1IGzhu5tuKioNCg0KxJDhu4Mga2nhu4NtIMSR4buLbmggZ2nhuqMgdGh1eeG6v3QgJEhfMDogcD1wXzAkIGNobyBy4bqxbmcgdOG7tyBs4buHIHThu5VuZyB0aOG7gyBwIGLhurFuZyBt4buZdCBnacOhIHRy4buLIMSRw6MgYmnhur90ICRwXzAkLCB0YSBkw7luZyB0aOG7kW5nIGvDqiBraeG7g20gxJHhu4tuaA0KDQpcWw0KVCA9IFxmcmFje2YgLSBwXzB9e1xzcXJ0e1xmcmFje3BfMCAoMSAtIHBfMCl9e259fX0gXHRhZ3sxLjQuMn0NClxdDQoNCmzDoCB04bu3IHPhu5EgZ2nhu69hIHPhu7Ega2jDoWMgYmnhu4d0IGdp4buvYSB04bu3IGzhu4cgbeG6q3UgXCggZiBcKSB24bubaSBnacOhIHRy4buLIGdp4bqjIHRodXnhur90IFwoIHBfMCBcKSwgdsOgIHNhaSBz4buRIGNodeG6qW4gY+G7p2EgXCggZiBcKS4gU2FpIHPhu5EgY2h14bqpbiDEkcaw4bujYyB0w61uaCB0aGVvIGdp4bqjIMSR4buLbmggZ2nhuqMgdGh1eeG6v3Qga2jDtG5nIGzDoCDEkcO6bmcuIMSQ4buRaSB24bubaSBjw6FjIG3huqt1IGzhu5tuLCBwaMOibiBwaOG7kWkgbeG6q3UgY+G7p2EgdGjhu5FuZyBrw6oga2nhu4NtIMSR4buLbmggXCggVCBcKSBsw6AgY2h14bqpbiBjaMOtbmggdOG6r2MsIGPDsyB0cnVuZyBiw6xuaCBsw6AgMCB2w6AgxJHhu5kgbOG7h2NoIGNodeG6qW4gbMOgIDEuDQoNClRpw6p1IGNodeG6qW4gYsOhYyBi4buPIGdp4bqjIHRodXnhur90IFwoIEhfMCBcKSB24bubaSBt4bupYyDDvSBuZ2jEqWEgXChcYWxwaGFcKSBjaG8gdHLGsOG7m2MgbMOgOg0KXFsNCnxUfCBcZ2UgdShcYWxwaGEvMiksIFx0YWd7MS40LjN9DQpcXQ0KDQp0cm9uZyDEkcOzIFwoIHUoXGFscGhhKSBcKSBsw6AgZ2nDoSB0cuG7iyB04bubaSBo4bqhbiBt4bupYyBcKFxsYW1iZGFcKSBj4bunYSBwaMOibiBwaOG7kWkgY2h14bqpbiBjaMOtbmggdOG6r2MsIMSRxrDhu6NjIHjDoWMgxJHhu4tuaCBi4bufaSBo4buHIHRo4bupYzogXCggXFBoaSh1KFxhbHBoYSkpID0gMSAtIFxhbHBoYSBcKSAoXChcUGhpKHQpXCkgbMOgIGjDoG0gcGjDom4gcGjhu5FpIGNodeG6qW4gY2jDrW5oIHThuq9jLCBnacOhIHRy4buLIGjDoG0gbsOgeSDEkcaw4bujYyBjaG8g4bufIGPDoWMgYuG6o25nIHBo4bulIGzhu6VjKQ0KDQogIE7hur91IFwoIHxUfCA8IHUoXGFscGhhLzIpIFwpIHRow6wgY2jhuqVwIG5o4bqtbiBnaeG6oyB0aHV54bq/dCBcKCBIXzAgXCkuDQogIA0KICBO4bq/dSBcKCB8VHwgXGdlIHUoXGFscGhhLzIpIFwpIHRow6wgYsOhYyBi4buPIGdp4bqjIHRodXnhur90IFwoIEhfMCBcKS4gVHJvbmcgxJHDszogS2hpIFwoIFQgPCAtdShcYWxwaGEvMikgXCkgdGjDrCBjaOG6pXAgbmjhuq1uOiBcKCBwIDwgcF8wIFwpLiBLaGkgXCggVCBcZ2UgdShcYWxwaGEvMikgXCksIHRow6wgY2jhuqVwIG5o4bqtbiBcKCBwID4gcF8wIFwpLg0KDQoNClRow7RuZyB0aMaw4budbmcgbmfGsOG7nWkgdGEgbOG6pXkgbeG7qWMgw70gbmdoxKlhIFwoXGFscGhhID0gNVwlXCkgdsOgIGtoaSBraeG7g20gxJHhu4tuaCDEkcO6bmcgbcOgIGtow7RuZyBuw7NpIGfDrCB04bubaSBt4bupYyDDvSBuZ2jEqWEgdGjDrCBt4bq3YyDEkeG7i25oIG3hu6ljIMO9IG5naMSpYSBsw6AgNVwlLg0KDQogKlbDrSBk4bulIDI6KiDEkOG7gyBtaW5oIGhv4bqhLCBjaMO6bmcgdGEgeMOhYyBtaW5oIHhlbSBjw7MgYmFvIG5oacOqdSBz4buRIG5nxrDhu51pIGzhu5tuIOG7nyBIb2EgS+G7syB0aW4gcuG6sW5nIG3hu5l0IHBo4bulIG7hu68gbsOqbiB0aGEgaOG7kyBjw7MgdGjhu4MgxJHGsOG7o2MgcGjDoSB0aGFpLCB0aMO0bmcgcXVhIGPDonUgxJFp4buBdSB0cmEgc2F1IMSRw6J5Og0KDQogIFbhuqVuIMSR4buBIGto4bqjbyBzw6F0IMO9IGtp4bq/biB24buBIHZp4buHYyBt4buZdCBwaOG7pSBu4buvIG1hbmcgdGhhaSBjw7MgdGjhu4MgxJHGsOG7o2MgcGjDoSB0aGFpIGhheSBraMO0bmcgbuG6sW0gdHJvbmcgc+G7kSBy4bqldCBuaGnhu4F1IEto4bqjbyBzw6F0IFjDoyBo4buZaSBU4buVbmcgcXXDoXQgbsSDbSAxOTkxLCDEkcaw4bujYyB0aeG6v24gaMOgbmggYuG7n2kgVHJ1bmcgVMOibSBOZ2hpw6puIGPhu6l1IMOdIGtp4bq/biBRdeG7kWMgZ2lhIChOT1JDKSB04bqhaSDEkOG6oWkgaOG7jWMgQ2hpY2Fnby4gQ8OidSBo4buPaSB0aMSDbSBkw7IgbMOgOiAiWGluIHZ1aSBsw7JuZyBjaG8gdMO0aSBiaeG6v3QgbGnhu4d1IGLhuqFuIGPDsyB0aW4gcuG6sW5nIG3hu5l0IHBo4bulIG7hu68gbsOqbiBjw7MgdGjhu4MgcGjDoSB0aGFpIGjhu6NwIHBow6FwIG7hur91IGLDoCBs4bqtcCBnaWEgxJHDrG5oIGtow7RuZyBtdeG7kW4gY8OzIHRow6ptIGNvbiBu4buvYSIuIFRyb25nIHPhu5EgOTUwIG5nxrDhu51pIMSRxrDhu6NjIGjhu49pIHRy4bqjIGzhu51pIGPDonUgaOG7j2kgbsOgeSAobsSDbSAxOTkxKSwgY8OzIDQyNCB0cuG6oyBs4budaSBsw6AgImPDsyIgdsOgIDUyNiB0cuG6oyBs4budaSAia2jDtG5nIi4NCg0KS8O9IGhp4buHdSBcKCBwIFwpIGzDoCB04bu3IGzhu4cgc+G7kSBkxrAgdHJvbmcgdGjhu5FuZyBrw6ogbeG6q3UgdHLhuqMgbOG7nWkgImPDsyIgY2hvIGPDonUgaOG7j2kuIENow7puZyB0YSBraeG7g20gdHJhIFwoIEhfMDogcCA9IDAuNSBcKSB24bubaSBnaeG6oyB0aHV54bq/dCB0aGF5IHRo4bq/IGhhaSBwaMOtYSwgXCggSF9hOiBwIFxuZXEgMC41IFwpLg0KDQpU4bu3IGzhu4cgdHLhuqMgbOG7nWkgImPDsyIgdHLDqm4gbeG6q3UgdsOgIGdpw6EgdHLhu4sgdGjhu5FuZyBrw6ogXCggVCBcKSBsw6A6DQoNClxbDQpmID0gXGZyYWN7NDI0fXs5NTB9ID0gMC40NDYsIFxxdWFkIFQgPSBcZnJhY3soMC40NDYgLTMuMzI5LSAwLjUpXHNxcnR7OTUwfX17XHNxcnR7MC41KjAuNX19ID0gLTMuMzI5IDwgLXUoXGZyYWN7XGFscGhhfXsyfSkgPSAtMS45Ng0KXF0NCg0KVuG6rXkgdGEgYsOhYyBi4buPIFwoIEhfMDogcCA9IDAuNSBcKSB2w6AgY2hvIHLhurFuZyBjw7MgaMahbiBt4buZdCBu4butYSBz4buRIG5nxrDhu51pIE3hu7kgdGluIHLhurFuZyBt4buZdCBwaOG7pSBu4buvIG7Dqm4gY8OzIHRo4buDIMSRxrDhu6NjIHBow6EgdGhhaSB0cm9uZyB0w6xuaCBodeG7kW5nIG7DoHkuDQoNCiMjIyAqKjEuNS4yLjIuIFRyxrDhu51uZyBo4bujcCBt4bqrdSBuaOG7jyoqDQoNCktoaSBj4buhIG3huqt1IG5o4buPLCBraMO0bmcgdGjhu4MgeOG6pXAgeOG7iSBwaMOibiBwaOG7kWkgY+G7p2EgdGjhu5FuZyBrw6ogXCggVCBcKSB24bubaSBwaMOibiBwaOG7kWkgY2h14bqpbi4gS2hpIMSRw7MgdGEgbMawdSDDvSBy4bqxbmcgbeG6q3UgY8OzIHBow6JuIHBo4buRaSBuaOG7iyB0aOG7qWMgXCggQihuLCBwKSBcKS4gVsOsIHRo4bq/IG7hur91IGdp4bqjIHRodXnhur90IFwoIHAgPSBwXzAgXCkgbMOgIMSRw7puZywgdGjDrCB0w6FuIHN14bqldCBt4bqrdSBcKCBmIFwpIGPDsyBi4bqxbmcgcGjDom4gcGjhu5FpIHjDoWMgc3XhuqV0IGzDoDoNCg0KXFsNClxiZWdpbnthcnJheX17fGN8Y3xjfGN8Y3xjfGN8fQ0KXGhsaW5lDQpmICYgMCAmXGZyYWN7MX17bn0gJiBcZnJhY3syfXtufSAmIFxjZG90cyAmIFxmcmFje24tMX17bn0gJiAxICYgXHN1bSBcXA0KXGhsaW5lDQpQICYgcF8wICYgcF8xICYgcF8yICYgXGNkb3RzICYgcF97bi0xfSAmIHBfbiAmIDEgXFwNClxobGluZQ0KXGVuZHthcnJheX0NClxdDQoNClRyb25nIMSRw7M6IFwocV94ID0gUFxsZWZ0KCBmID0gXGZyYWN7eH17bn0gXHJpZ2h0KSA9IENfbl54IHBfMF54ICgxLXBfMClee24teH0sIHggPSAwLCAxLCAyLCBcbGRvdHMsIG5cKQ0KDQpLw70gaGnhu4d1IFwoeF9jXCkgbMOgIGdpw6EgdHLhu4sgdOG7m2kgaOG6oW4gbeG7qWMgYyBj4bunYSBwaMOibiBwaOG7kWkgbmjhu4sgdGjhu6ljIFwoQihuLCBwKVwpLCB04bupYyBsw6A6DQoNClxbDQpQKFggXGdlIHhfYykgPSBjLCBccXVhZCBcdGV4dHt0cm9uZyDEkcOzIH0gWCBcc2ltIEIobiwgcCkNClxdDQoNClbDrCByacOqbmcgXChYXCkgbmjhuq1uIGdpw6EgdHLhu4sgbmd1ecOqbiwga2jDtG5nIMOibSwgbsOqbiBcKHhfY1wpIMSRxrDhu6NjIHjDoWMgxJHhu4tuaCBsw6Agc+G7kSBuZ3V5w6puIG5o4buPIG5o4bqldCBzYW8gY2hvOg0KXFsNClxzdW1fe3ggPSB4X1xhbHBoYX1ebiBDX25eeCBwXzBeeCAoMS1wXzApXntuLXh9IFxsZXEgXGFscGhhDQpcXQ0KDQpraGkgxJHDsyBnacOhIHRy4buLIHThu5tpIGjhuqFuIG3hu6ljIGMgbMOgIFwoXGZyYWN7eF9cYWxwaGF9e259XCkNCg0KKiphLiBLaeG7g20gxJHhu4tuaCBnaeG6oyB0aHV54bq/dCBcKEhfMDogcCA9IFBfMFwpIHbhu5tpIMSR4buRaSB0aHV54bq/dCBcKEhfMTogcCA+IFBfMFwpKioNCg0KS2hpIMSRw7Mgbmjhu69uZyBxdWFuIHPDoXQgdHLDqm4gbeG6q3UgXChmID4gcF8wXCkgbMOgIGLhurFuZyBjaOG7qW5nIOG7p25nIGjhu5kgbmjhuq1uIFwoSF8xXCksIHThu6ljIGzDoCBiw6FjIGLhu48gXChIXzBcKSwgdsOgIGYgY8OgbmcgbOG7m24geGEgXCggcF8wXCkgdGjDrCBi4bqxbmcgY2jhu6luZyBjw6BuZyBt4bqhbmggbeG6vS4gVHV5IG5oacOqbiDEkeG7gyBiaeG6v3QgbeG7qWMgeGEgxJHhur9uIMSRw6J1IGzDoCDEkeG7pywgdGEgY+G6p24gxJHhur9uIG3hu6ljIMO9IG5naMSpYSBcKFxhbHBoYVwpLCB04bupYyBsw6AgbeG7qWMga2jhu5FuZyBjaOG6vyB4w6FjIHN14bqldCBzYWkgbOG6p20gbG/huqFpIDE6IFjDoWMgc3XhuqV0IGLDoWMgYuG7jyBcKEhfMFwpIHRyb25nIMSRaeG7gXUga2nhu4duIFwoSF8wXCkgxJHDum5nLiBN4bupYyDEkcOzIGNow61uaCBsw6BcKFxmcmFje3hfXGFscGhhfXtufVwpDQpWw6wgdGjhur86IFbhu5tpIG3hu6ljIMO9IG5naMSpYSBcKFxhbHBoYVwpLCB0acOqdSBjaHXhuqluIGLDoWMgYuG7jyBnaeG6oyB0aHV54bq/dCBcKEhfMFwpIGzDoDogXChmIFxnZXFcZnJhY3t4X1xhbHBoYX17bn1cKQ0KDQoNCioqYi4gS2nhu4NtIMSR4buLbmggZ2nhuqMgdGh1eeG6v3QgXChIXzA6IHAgPSBQXzBcKSB24bubaSDEkeG7kWkgdGh1eeG6v3QgXChIXzE6IHAgPCBQXzBcKSoqDQoNCkzhuq1wIGx14bqtbiB0xrDGoW5nIHThu7EgbmjGsCB0csOqbiwgduG7m2kgbeG7qWMgw70gbmdoxKlhIFwoXGFscGhhXCksIHRpw6p1IGNodeG6qW4gYsOhYyBi4buPIGdp4bqjIHRodXnhur90IFwoSF8wOiBmIFxsZXEgXGZyYWN7XGJhcnt4fV9cYWxwaGF9e259XCksIGzDoCBz4buRIG5ndXnDqm4gbOG7m24gbmjhuqV0IHNhbyBjaG86DQoNClxbDQpcc3VtX3t4PTB9XntcYmFye3h9X1xhbHBoYX0gQ19uXnggcF8wXnggKDEtcF8wKV57bi14fSBcbGVxIFxhbHBoYQ0KXF0NCg0KKipjLiBLaeG7g20gxJHhu4tuaCBnaeG6oyB0aHV54bq/dCBcKEhfMDogcCA9IHBfMFwpLCB24bubaSDEkeG7kWkgdGh1eeG6v3QgXChIXzE6IHAgXG5lcSBwXzBcKSoqDQoNCkzDumMgbsOgeSBuaOG7r25nIHF1YW4gc8OhdCB0csOqbiBt4bqrdSBcKGYgXG5lcSBwXzBcKSBsw6AgYuG6sW5nIGNo4bupbmcgY2jhu5FuZyBs4bqhaSBcKEhfMFwpIHbDoCBjaOG6pXAgbmjhuq1uIFwoSF8xXCkuIEzhuq1wIGx14bqtbiB0xrDGoW5nIHThu7EgbmjGsCB0csOqbiB24bubaSBt4bupYyDDvSBuZ2jEqWEgXChcYWxwaGFcKSwgdGnDqnUgY2h14bqpbiBiw6FjIGLhu48gZ2nhuqMgdGh1eeG6v3QgXChIXzBcKSBsw6A6DQoNCg0KXFsNCmYgXGdlcSBcZnJhY3t4X1xmcmFje1xhbHBoYX17Mn19e259LCBccXVhZCBcdGV4dHtob+G6t2MgfSBmIFxsZXEgXGZyYWN7XGJhcnt4X1xmcmFje1xhbHBoYX17Mn19fXtufQ0KXF0NCg0KICpWw60gZOG7pSAzOiogIE3hu5l0IGtow6FjaCBow6BuZyB2w6BvIGjhu4cgZOG7i2NoIHbhu6UgQSBjw7MgdGjhu4MgY2jhu41uIG3hu5l0IHRyb25nIGhhaSBt4bupYyBwaMOtIGThu4tjaCB24bulLiBRdWEgdGhlbyBkw7VpIG5n4bqrdSBuaGnDqm4gMTUga2jDoWNoIGjDoG5nIHbDoG8gaOG7hyBk4buLY2ggduG7pSBBLCB0aOG6pXkgY8OzIDgga2jDoWNoIGjDoG5nIGNo4buNbiBt4bupYyBwaMOtIHRo4bupIG5o4bqldCB2w6AgNyBraMOhY2ggaMOgbmcgY2jhu41uIG3hu6ljIHBow60gdGjhu6kgaGFpLiBIw6N5IHjDoWMgbWluaCDhu58gbeG7qWMgw70gbmdoxKlhIDUlIHhlbSBsaeG7h3UgY8OzIHPhu7Ega2jDoWMgbmhhdSB24buBIHThu7cgbOG7hyBraMOhY2ggaMOgbmcgY2jhu41uIGhhaSBt4bupYyBwaMOtIG7DoHkga2jDtG5nDQoNCg0KR2nhuqNpOiBH4buNaSBcKHBcKSBsw6AgdOG7tyBs4buHIGtow6FjaCBjaOG7jW4gbeG7mXQgZOG7i2NoIHbhu6UgbmjhuqV0IHRyb25nIHPhu5EgMTUga2jDoWNoIGjDoG5nLiBLaGkgxJFp4buBdSB0cmEgbmjGsCB24bqteSwgdGjDrCBcKDEtcFwpIGzDoCB04bu3IGzhu4cga2jDoWNoIGNo4buNbiBt4buZdCBk4buLY2ggduG7pSB0aOG7qSBoYWkuIELDoGkgdG/DoW4gecOqdSBj4bqndToNCg==