\(\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)\) là \(\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}\) là \(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)\) là \(\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)\)
là \(\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\) là \(\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à \(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==