Ước lượng cho lượng vệ tinh bình quân cho một con cua cái có mức
chiều rộng x là:
3.4 Suy diễn và kiểm định mô hình
Sau khi giới thiệu hai GLM chính cho dữ liệu định tính, bây giờ chúng
ta chú ý tới suy luận thống kê và kiểm tra mô hình cho GLM. Chúng ta
minh họa cho GLM có thành phần ngẫu nhiên Poisson. Chương sau trình bày
các phương pháp tương tự cho GLM có thành phần ngẫu nhiên nhị phân.
Đối với hầu hết GLM cho các biến đáp ứng định tính, việc tính toán
các ước lượng theo phương pháp ML cho các tham số rất phức tạp về mặt
tính toán, chúng ta không thể tính toán thủ công hay trên máy tính bỏ
túi mà phải sử dụng các phần mềm thống kê như phần mềm GLM. Các ước
lượng của ML có phân phối xấp xỉ phân phối chuẩn khi các mẫu lớn.
Như vậy, khoảng tin cậy cho một tham số \(\beta\) của mô hình là \(\hat\beta \pm z_{a/2}ASE\), trong đó ASE là
sai số chuẩn xấp xỉ của \(\hat\beta\)
3.4.1 Bộ ba kiểm định Wals,tỷ số hợp lý và
điểm
Có ba phương pháp để thực hiện kiểm định ý nghĩa của giả thuyết \(H_{0}:\beta=0\) về các tham số trong GLM.
Phương pháp đơn giản nhất sử dụng tính chuẩn mẫu lớn của các ước lượng
ML. Thống kê kiểm định
\[Z=\hat\beta/ASE\]
có phân phối chuẩn chính tắc khi \(\beta=0\).Giá trị của Z và P-value của
thống kê này được cung cấp bởi phần mềm. Tiêu chuần bác bỏ giả thuyết
\(H_{0}\) ở mức ý nghĩa \(\alpha\) là: \(-value<\alpha\)
Một cách tương đương, sử dụng thống kê thay thế là \(Z^2\) có phân phối chibình phương với bậc
tự do \(df=1\); \(P–value\) được tra từ bảng giá trị tới hạn
của phân phối chi bình phương. Thống kê này được gọi là thống kê \(Wald\).
Phương pháp thứ hai sử dụng hàm hợp lý thông qua tỷ lệ của hai cực
đại của nó: (1) mức tối đa đối với các giá trị tham số có thể giả định
giả thuyết không, (2) giá trị lớn nhất trong tập các giá trị tham số có
thể có cho mô hình đầy đủ, cho phép giả thuyết không hoặc giả thuyết đối
là đúng. Ký hiệu \(l_{1}\) là giá trị
tối đa của hàm hợp lý cho mô hình đầy đủ, và \(l_{0}\) là giá trị tối đa cho mô hình đơn
giản hơn,đại diện cho giả thuyết không. Ví dụ, khi dự báo tuyến tính
\(\alpha+\beta x\) là và giả thuyết
không là \(H_{0}:\beta=0,l_{1}\) là hàm
hợp lý được tính tại \((\alpha,\beta)\)
mà dữ liệu có thể có nhiều khả năng nhất ; \(l_{0}\) là hàm hợp lý tính tại giá trị
\(\alpha\) mà dữ liệu có thể có nhiều
nhất, khi \(\beta=0\) .
Thống kê kiểm định tỷ số hợp lý là
\[-2log(l_{0}/l_{1})=-2(logl_{0}-logl_{1})=-2(L_{0}-L_{1})\]
trong đó \(L_{0}\) và \(L_{1}\) là log của hàm hợp lý, thống kê này
có phân phối xấp xỉ phân phối chi-bình phương. Hầu hết các phần mềm cho
GLM đều cung cấp các giá trị log – likelihood cực đại và số liệu thống
kê tỷ số tỷ lệ \(-2
(L_{0}-L_{1})\).
Một số phần mềm cho GLM cũng đưa ra phương pháp chi – bình phương thứ
3, sử dụng thống kê điểm, đôi khi còn được gọi là thống kê điểm hiệu
quả. Chúng ta không đi sâu vào kiểm định này. Kiểm định Wald, tỷ số hợp
lý và điểm là ba loại kiểm định thống kê chính cho GLM. Đối với các mẫu
rất lớn, chúng được thực hiện tương tự. Đối với cỡ mẫu được sử dụng
trong thực tế, kiểm định tỉ số hợp lý thường là đáng tin cậy hơn so với
kiểm định Wald. Sự khác biệt trong các giá trị của ba thống kê chỉ ra
rằng phân phối của \(\beta\) có thể
khác nhiều so với phân phối chuẩn. Trong trường hợp đó, các phương pháp
áp dụng cho trường hợp mẫu nhỏ phù hợp hơn so với phương pháp áp dụng
cho mẫu lớn. Đối với GLM phổ biến nhất là hồi quy cho dữ liệu chuẩn sử
dụng liên kết đồng nhất, ba kiểm định cho kết quả giống nhau.
\(\textit{Ví dụ 6}\): Để minh họa
cho các kiểm định Wald và tỷ lệ hợp lý cho mô hình log – linear Poisson
được áp dụng vào dữ liệu cua móng ngựa của mục 3.3.2. Từ bảng 3.8, ước
lượng ML ảnh hưởng của chiều rộng là \(\hat\beta=0,164045\) , với ASE=0,020082.
Kiểm định Wald \(H_{0}:\beta=0\) xét
\(Z=\hat\beta/ASE=0,164045/0,020082=8,16880\)(Z
là thống kê chuẩn chính tắc) hoặc \(z^2=66,730274\) (\(Z^2\) là thống kê chi-bình phương với bậc
tự do \(df = 1\).Điều này là bằng chứng
mạnh mẽ về tác động tích cực của chiều rộng khi có sự hiện diện của vệ
tinh \(( P – value < 0,0000… <
0,0001)\). Chúng ta có được bằng chứng mạnh tương tự từ kiểm định
tỷ lệ hợp lý có thể so sánh mô hình này với mô hình đơn giản hơn có
\(\beta=0\), đó là:
\[-2(L_{0}-L_{1})= LR Statistic =
64,91309 với P-value =0,000000… < 0,00001).\]
3.4.2 Kiểm định mô hình Poisson
GLM đưa ra các mô tả và suy luận có chính xác cao cho một bộ dữ liệu
chỉ khi nó là bộ dữ liệu tốt. Tóm tắt số liệu thống kê phù hợp tốt và
phần dư giúp chúng ta nghiên cứu đầy đủ tính phù hợp của GLM. Chúng ta
minh hoạ cho GLM với thành phần ngẫu nhiên Poisson. Đầu tiên chúng ta
kiểm định giả thuyết không: thành phần ngẫu nhiên của GLM có phân phối
Poisson (mô hình phù hợp). Giả sử biến giải thích có N giá trị quan sát
khác nhau, ký hiệu yi là tần số tương ứng với giá trị thứ i trong N quan
sát trên, và giá trị tính từ mô hình. Các thống kê phù hợp tốt
(goodness-of-fit) có 2 dạng là Pearson và loglikelihood-ratio:
\[\chi^2=\sum\frac{(y_{i}-\hat\mu_{i})^2}{\hat\mu_{i}}\]
\[G^2=2\sum
y_{i}log(\frac{y_{i}}{\hat\mu_{i}})\]
Khi các giá trị \(\hat\mu_i\) là
tương đối lớn \(( > 5)\) và N cố
định, các kiểm định thống kê này có \(\chi^2\) phân phối xấp xỉ chi bình phương
với bậc tự do \(df\) bằng số lượng các
ô trừ đi số tham số mô hình.
\(\textit{Ví dụ 7}\): Chúng ta minh
họa bằng mô hình log – linear Poisson cho số lượng vệ tinh của một con
cua móng ngựa cái, sử dụng chiều rộng của nó như là biến dự báo. Ta có N
= 66 độ rộng khác biệt mỗi độ rộng có tần số \(Y_{i}\) (tổng số vệ tinh ứng với độ rộng
thứ i) và giá trị \(\hat\mu_i\) . Từ số
liệu và mô hình Poisson liên kết log ước lượng, ta có các giá trị thống
kê \(\chi^2=174,3\) và \(G^2=190,0\) (có thể tính nhờ phần mềm) với
\(df = 66 – 2 = 64\). Kết quả này cho
thấy sự phù hợp của mô hình.Tuy nhiên, lý thuyết chi-bình phương mẫu lớn
cho các thống kê này bị vi phạm do nhiều tần số quan sát được là nhỏ,
thậm chí có một vài giá trị bằng không. Do đó, các kiểm định \(\chi^2\) và \(G^2\) không đáng tin cậy.
Trong trường hợp này chúng ta khắc phục bằng cách điều chỉnh mẫu sao
cho các tần số tương ứng tăng lên. Chúng ta chia chiều rộng thành tám
nhóm được trình bày trong Bảng 3.3. Đối với cua cái trong mỗi loại chiều
rộng, chúng ta quan sát tổng số vệ tinh trong mỗi nhóm và tổng các giá
trị được xác lập, cho ta một bộ mới gồm tám cặp (\(y_{i},\hat\mu_{i}\)có giá trị lớn hơn nhiều
giá trị ở 66 cặp ban đầu (giá trị \(x_{i}\) lúc này là độ rộng trung bình của
mỗi nhóm).Thay vào ta nhận được \(\chi^2=6.5\) và \(G^2=6.9\) với \(df=\)(số lượng đáp ứng - số tham số)\(=8-2=6\).Các số liệu thống kê cho thấy sự
phù hợp ( \(P – value > 0,3\)).
Phương pháp nhóm là tùy tiện, nhưng trong thực hành thường phân thành
khoảng từ 6 đến 10 nhóm là đủ. Các giá trị thiết lập phải thỏa mãn \(\hat\mu_{i} \geqslant 5\) cho mỗi loại
Một cách tiếp cận đơn giản hơn sẽ nhận được từ việc điều chỉnh lại mô
hình cho cách tính cho các nhóm. Điều này đòi hỏi phải gán điểm số cho
các loại độ rộng bằng cách đơn giản là gán chiều rộng trung bình của tất
cả các con cua cái trong mỗi loại cho chính loại đó, ta được kết quả:
(22,69, 23,84, 24,77, 25,84, 26,79, 27,74, 28,67, 30,41). Cách làm này
sẽ thô hơn vì coi tất cả tất cả các con cua trong một loại chỉ có một độ
rộng. Bằng cách đó ta có \(\hat\alpha\)
= -3,535 và \(\hat\beta\) =0,173 (ASE =
0,021). Chẳng hạn, tại điểm số chiều rộng nhỏ nhất là x = 22,69 thì ước
lượng số lượng vệ tinh trung bình cho mỗi cua cái là \(exp[-3,535+0,173.(22,69)]=1,47\). Từ 14 con
cua cái có điểm số đó, loại này có giá trị là \(\hat\mu_{1}\)=14.1,47=20,5 vệ tinh; ngược
lại, số lượng vệ tinh quan sát được trong loại chiều rộng đầu tiên là
\(y_{i}\)=14. Một sự so sánh các giá
trị quan sát và giá trị được ước lượng cho 8 loại mang lại \(\chi^2=6,2 G^2=6,5\) với \(d𝑓= 6 (P-value>0,3)\). Kết quả này cũng
cho thấy không có bằng chứng về mô hình thiếu phù hợp.
3.5. Sự phù hợp cho các mô hình tuyến tính tổng
quát
Đầu tiên chúng ta mô tả sơ lược về một thuật toán được sử dụng để ước
lượng các tham số của mô hình bằng phương pháp ML. Sau đó chúng ta cung
cấp thêm chi tiết về cách suy luận cơ bản bằng cách sử dụng hàm hợp lý.
Cuối cùng, chúng ta thảo luận về độ đo, được gọi là độ lệch, tóm tắt sự
phù hợp của GLM.
3.5.1. Sơ lược về thuật toán Newton-Raphson
Đối với hầu hết GLM, các phương trình xác định các ước lượng tham số
MLlà phi tuyến và các ước lượng không có biểu thức dạng đóng. Phần mềm
tính toán các ước lượng sử dụng một thuật toán lặp đi lặp lại để giải
các phương trình phi tuyến. Thuật toán đòi hỏi một dự đoán ban đầu cho
các giá trị tham số hàm hợp lý cực đại. Các xấp xỉ tiếp theo được tạo ra
bởi thuật toán có xu hướng rơi gần với ước lượng của ML. Một thuật toán
phổ biến để làm việc này, được gọi là điểm Fisher, lần đầu tiên được đề
xuất bởi R. A. Fisher để ước lượng các mô hình probit.Đối với hồi quy
logistic và các mô hình loglinear Poisson, Fisher tính đơn giản hóa cho
một mục đích chung gọi là thuật toán Newton-Raphson. Phương pháp
Newton-Raphson sử dụng ma trận, được gọi là ma trận thông tin, cung cấp
các giá trị cho các ước lượng tham số. Ma trận đó dựa trên độ cong của
hàm log - hợp lý tại ước lượng ML. Độ cong càng lớn thì thông tin về giá
trị tham số càng lớn. Các sai số chuẩn là căn bậc hai của các phần tử
đường chéo đối với ma trận nghịch đảo. Độ cong của hàm log - hợp lý càng
lớn thì sai số chuẩn càng nhỏ.
3.5.2. Suy luận bằng cách sử dụng hàm hợp lý
Phần 3.4.1 giới thiệu ba phương pháp để kiểm định \(H_{0}: \beta= 0\) cho tham số mô hình GLM:
kiểm định Wald, kiểm định tỷ số hợp lý và kiểm định điểm số hiệu
quả.
Kiểm định tỉ lệ hợp lý so sánh giá trị hàm log-hợp lý \(L_{1}\) tại \(\hat\beta\) và \(L_{0}\) tại, bằng việc sử dụng thống kê
Chi-bình phương \(-2(L_{0}-L_{1})\).
Trong một nghĩa nào đó, thống kê này sử dụng hầu hết các thông tin của
ba loại kiểm định thống kê và thường là đáng tin cậy nhất
3.5.3. Độ lệch
Ký hiệu \(L_{M}\) là giá trị
log-likelyhood cực đại cho mô hình M quan tâm. Cho \(L_{S}\) biểu thị giá trị log-likelyhood cực
đại cho mô hình phức tạp nhất, mà nó có một tham số riêng tại mỗi biến
giải thích: Mô hình đó được cho là bão hòa. Sự sai lệch của mô hình được
định nghĩa là:
\[Độ lệch = -2(L_{M}-L_{S})\]
Sự sai lệch là thống kê tỷ số hợp lý để so sánh mô hình với mô hình
bão hòa; đó là thống kê để kiểm định giả thuyết rằng tất cả các tham số
trong mô hình bão hòa mà chúng không có mặt trong mô hình là bằng
không.
Đối với nhiều GLM, độ lệch có phân phối xấp xỉ chi bình phương. Chẳng
hạn hồi quy Poisson với một số mức độ giải thích cố định và số đếm tương
đối lớn. Một ví dụ khác là các mô hình hồi quy nhị phân với một số mức
độ giải thích cố định và số lượng thành công và thất bại tương đối lớn.
Đối với các mô hình như vậy, người ta có thể sử dụng sai lệch để kiểm
tra phù hợp với mô hình. Trong cả hai trường hợp, bậc tự do df bằng số
lượng phản ứng (số đếm Poisson hoặc tổng số thành công của nhị phân) trừ
đi số lượng các tham số mô hình không thừa. Các thành phần của độ lệch
được gọi là các phần dư độ lệch, cung cấp các phương pháp chẩn đoán sự
thiếu phù hợp cho các quan sát riêng biệt. Chúng là những lựa chọn thay
thế cho các phần dư Pearson và các phần dư được hiệu chỉnh.
Đối với hai mô hình, giả sử rằng (\(M_{0}\)) là một trường hợp đặc biệt của
(\(M_{1}\)).Giả sử rằng mô hình phức
tạp hơn được cố định, thống kê tỷ số hợp lý cho cáckiểm định mà mô hình
đơn giản hơn được chọn là
\[-2(L_{0} - L_{1}) = 2(L_{0} - L_{S}) -
{-2(L_{1} - L_{S})} = độ lệch (M_{0}) - độ lệch (M_{1})\]
Người ta có thể so sánh các mô hình bằng cách so sánh độ lệch của
chúng. Đối với các mẫu lớn, đây là một thống kê xấp xỉ chi-bình phương,
với df bằng sự chênh lệch giữa các giá trị bậc tự do df đối với các mô
hình riêng biệt. Giá trị \(df\) này
bằng số lượng các tham số bổ sung trong \(M_{1}\) nhưng không ở \(M_{0}\)
LS0tDQp0aXRsZTogIkdpYW8gdHLDrG5oIHRyYW5nIDc2LTgwIg0KZGF0ZTogImByIGZvcm1hdChTeXMudGltZSgpLCAnJUg6JU06JVMsICVkIC0gJW0gLSAlWScpYCINCm91dHB1dDoNCiAgaHRtbF9kb2N1bWVudDoNCiAgICB0b2M6IFRSVUUNCiAgICB0b2NfZmxvYXQ6IFRSVUUNCiAgICBkZl9wcmludDogcGFnZWQNCiAgICBjb2RlX2Rvd25sb2FkOiB0cnVlDQogICAgY29kZV9mb2xkaW5nOiBoaWRlDQogIHBkZl9kb2N1bWVudDoNCiAgICBleHRyYV9kZXBlbmRlbmNpZXM6DQogICAgICB2aWV0bmFtOiB1dGY4DQogICAgdG9jOiB5ZXMNCiAgICBudW1iZXJfc2VjdGlvbnM6IHllcw0KICB3b3JkX2RvY3VtZW50Og0KICAgIHRvYzogeWVzDQogICAgbnVtYmVyX3NlY3Rpb25zOiB5ZXMNCmdlb21ldHJ5Og0KICAgICAgLSBpbm5lcj0zY20NCiAgICAgIC0gb3V0ZXI9NGNtDQogICAgICAtIHRvcD0zY20NCiAgICAgIC0gYm90dG9tPTRjbQ0KICAgICAgLSBoZWFkc2VwPTIycHQNCiAgICAgIC0gaGVhZGhlaWdodD0xMXB0DQogICAgICAtIGZvb3Rza2lwPTMzcHQNCiAgICAgIC0gaWdub3JlaGVhZA0KICAgICAgLSBpZ25vcmVmb290DQogICAgICAtIGhlaWdodHJvdW5kZWQNCi0tLQ0KDQpgYGB7ciBzZXR1cCwgaW5jbHVkZT1GQUxTRX0NCmtuaXRyOjpvcHRzX2NodW5rJHNldChlY2hvID0gVFJVRSwgb3B0aW9ucyhkaWdpdHMgPSA0KSwgIGF0dHIuc291cmNlPScubnVtYmVyTGluZXMnKQ0KYGBgDQpDaOG6oXkgaOG7k2kgcXV5IGNobyBtw7QgaMOsbmggdOG7tyBs4buHIDogXChsb2dbXG11KHgpL3RdPVxhbHBoYSArIFxiZXRhIHhcKSAsIG5o4bqtbiDEkcaw4bujYyBr4bq/dCBxdeG6oyBo4buTaSBxdXkgbMOgIGLhuqNuZyAzLjEwIGTGsOG7m2kgxJHDonkuIFThu6sgxJHDsyBuaOG6rW4gxJHGsOG7o2MgbcO0IGjDrG5oIMaw4bubYyBsxrDhu6NuZyA6IA0KDQogXFtsb2dbXGZyYWN7XGhhdFxtdSh4KX17dH1dPS00LDE3OTczMiArIDAsMTk2MjQzLnhcXQ0KICANCiAgfCBWYXJpYWJsZSB8IENvZWZmaWNpZW50IHwgU3RkLiBFcnJvciB8IHotU3RhdGlzdGljIHwgUHJvYi4gfA0KfCA6LS0tIHwgLS0tOiB8IDotLS0gfCA6LS0tIHwgOi0tLSB8DQp8IEMgfCAtNC4xNzk3MzIgfCAzLjAyODAyMCB8IC0xLjM4MDM1MSB8IDAuMTY3NSB8DQp8IFgxIHwgMC4xOTYyNDMgfCAwLjExMDgxNSB8IDEuNzcwOTAzIHwgMC4wNzY2IHwNCnwgU3VtIHNxdWFyZWQgcmVzaWQgfCAwLjY3MjYxMiB8IFF1YXNpLWxvZyBsaWtlbGlob29kIHwgMy44NzEyNzEgfCAgfA0KfCBEZXZpYW5jZSB8IDAuMjk4ODg2IHwgRGV2aWFuY2Ugc3RhdGlzdGljIHwgMC4wNDk4MTQgfCAgfA0KfCBSZXN0ci4gZGV2aWFuY2UgfCA0Ljc0MDU4NiB8IFF1YXNpLUxSIHN0YXRpc3RpYyB8IDQuNDQxNjk5IHwgIHwNCnwgUHJvYihRdWFzaS1MUiBzdGF0KSB8IDAuMDM1MDcxIHwgUGVhcnNvbiBTU1IgfCAwLjI5NzUzNCB8ICB8DQp8IFBlYXJzb24gc3RhdGlzdGljIHwgMC4wNDk1ODkgfCBEaXNwZXJzaW9uIHwgMS4wMDAwMDAgfCAgfA0KICANCiANCiDGr+G7m2MgbMaw4bujbmcgY2hvIGzGsOG7o25nIHbhu4cgdGluaCBiw6xuaCBxdcOibiBjaG8gbeG7mXQgY29uIGN1YSBjw6FpIGPDsyBt4bupYyBjaGnhu4F1IHLhu5luZyB4IGzDoDoNCiANCiAgXFtcaGF0XG11KHgpID0gdC5lcHhcey00LDE3OTczMiswLDE5NjI0My54XH1cXQ0KICANCiAgVuG7m2kga2hv4bqjbmcgY2hp4buBdSBy4buZbmcgxJHhuqd1IHRpw6puOiBcKHhfezF9PTIyLDc1LCB0X3sxfT0xNFwpLA0KICANCiAgXFtcaGF0IHUoMjIsNzUpPTE0LmVweFx7LTQsMTc5NzMyKzAsMTk2MjQzLjIyLDc1XH09MTgsNjEyODc2XF0NCiAgDQojIyAqKjMuNCBTdXkgZGnhu4VuIHbDoCBraeG7g20gxJHhu4tuaCBtw7QgaMOsbmgqKg0KDQogIFNhdSBraGkgZ2nhu5tpIHRoaeG7h3UgaGFpIEdMTSBjaMOtbmggY2hvIGThu68gbGnhu4d1IMSR4buLbmggdMOtbmgsIGLDonkgZ2nhu50gY2jDum5nIHRhIGNow7oNCsO9IHThu5tpIHN1eSBsdeG6rW4gdGjhu5FuZyBrw6ogdsOgIGtp4buDbSB0cmEgbcO0IGjDrG5oIGNobyBHTE0uIENow7puZyB0YSBtaW5oIGjhu41hIGNobw0KR0xNIGPDsyB0aMOgbmggcGjhuqduIG5n4bqrdSBuaGnDqm4gUG9pc3Nvbi4gQ2jGsMahbmcgc2F1IHRyw6xuaCBiw6B5IGPDoWMgcGjGsMahbmcgcGjDoXANCnTGsMahbmcgdOG7sSBjaG8gR0xNIGPDsyB0aMOgbmggcGjhuqduIG5n4bqrdSBuaGnDqm4gbmjhu4sgcGjDom4uDQoNCsSQ4buRaSB24bubaSBo4bqndSBo4bq/dCBHTE0gY2hvIGPDoWMgYmnhur9uIMSRw6FwIOG7qW5nIMSR4buLbmggdMOtbmgsIHZp4buHYyB0w61uaCB0b8OhbiBjw6FjIMaw4bubYyBsxrDhu6NuZw0KdGhlbyBwaMawxqFuZyBwaMOhcCBNTCBjaG8gY8OhYyB0aGFtIHPhu5EgcuG6pXQgcGjhu6ljIHThuqFwIHbhu4EgbeG6t3QgdMOtbmggdG/DoW4sIGNow7puZyB0YQ0Ka2jDtG5nIHRo4buDIHTDrW5oIHRvw6FuIHRo4bunIGPDtG5nIGhheSB0csOqbiBtw6F5IHTDrW5oIGLhu48gdMO6aSBtw6AgcGjhuqNpIHPhu60gZOG7pW5nIGPDoWMgcGjhuqduDQpt4buBbSB0aOG7kW5nIGvDqiBuaMawIHBo4bqnbiBt4buBbSBHTE0uIEPDoWMgxrDhu5tjIGzGsOG7o25nIGPhu6dhIE1MIGPDsyBwaMOibiBwaOG7kWkgeOG6pXAgeOG7iQ0KcGjDom4gcGjhu5FpIGNodeG6qW4ga2hpIGPDoWMgbeG6q3UgbOG7m24uDQoNCiAgTmjGsCB24bqteSwga2hv4bqjbmcgdGluIGPhuq15IGNobyBt4buZdCB0aGFtIHPhu5EgJFxiZXRhJCBj4bunYSBtw7QgaMOsbmggbMOgIFwoXGhhdFxiZXRhIFxwbSB6X3thLzJ9QVNFXCksDQp0cm9uZyDEkcOzIEFTRSBsw6Agc2FpIHPhu5EgY2h14bqpbiB44bqlcCB44buJIGPhu6dhICRcaGF0XGJldGEkDQoNCiMjIyAqKjMuNC4xIELhu5kgYmEga2nhu4NtIMSR4buLbmggV2Fscyx04bu3IHPhu5EgaOG7o3AgbMO9IHbDoCDEkWnhu4NtKiogDQogDQogIEPDsyBiYSBwaMawxqFuZyBwaMOhcCDEkeG7gyB0aOG7sWMgaGnhu4duIGtp4buDbSDEkeG7i25oIMO9IG5naMSpYSBj4bunYSBnaeG6oyB0aHV54bq/dCBcKEhfezB9OlxiZXRhPTBcKSB24buBIGPDoWMgdGhhbSBz4buRIHRyb25nIEdMTS4gUGjGsMahbmcgcGjDoXAgxJHGoW4gZ2nhuqNuIG5o4bqldCBz4butIGThu6VuZyB0w61uaCBjaHXhuqluIG3huqt1IGzhu5tuIGPhu6dhIGPDoWMgxrDhu5tjIGzGsOG7o25nIE1MLiBUaOG7kW5nIGvDqiBraeG7g20gxJHhu4tuaA0KICANCiAgIFxbWj1caGF0XGJldGEvQVNFXF0gICANCiAgIA0KY8OzIHBow6JuIHBo4buRaSBjaHXhuqluIGNow61uaCB04bqvYyBraGkgXChcYmV0YT0wXCkuR2nDoSB0cuG7iyBj4bunYSBaIHbDoCBQLXZhbHVlIGPhu6dhIHRo4buRbmcga8OqIG7DoHkgxJHGsOG7o2MgY3VuZyBj4bqlcCBi4bufaSBwaOG6p24gbeG7gW0uIFRpw6p1IGNodeG6p24gYsOhYyBi4buPIGdp4bqjIHRodXnhur90ICRIX3swfSQg4bufIG3hu6ljIMO9IG5naMSpYSBcKFxhbHBoYVwpIGzDoDogXCgtdmFsdWU8XGFscGhhXCkNCg0KICBN4buZdCBjw6FjaCB0xrDGoW5nIMSRxrDGoW5nLCBz4butIGThu6VuZyB0aOG7kW5nIGvDqiB0aGF5IHRo4bq/IGzDoCAkWl4yJCBjw7MgcGjDom4gcGjhu5FpIGNoaWLDrG5oIHBoxrDGoW5nIHbhu5tpIGLhuq1jIHThu7EgZG8gXChkZj0xXCk7IFwoUOKAk3ZhbHVlXCkgxJHGsOG7o2MgdHJhIHThu6sgYuG6o25nIGdpw6EgdHLhu4sgdOG7m2kgaOG6oW4gY+G7p2EgcGjDom4gcGjhu5FpIGNoaSBiw6xuaCBwaMawxqFuZy4gVGjhu5FuZyBrw6ogbsOgeSDEkcaw4bujYyBn4buNaSBsw6AgdGjhu5FuZyBrw6ogXChXYWxkXCkuDQogIA0KICANCiAgUGjGsMahbmcgcGjDoXAgdGjhu6kgaGFpIHPhu60gZOG7pW5nIGjDoG0gaOG7o3AgbMO9IHRow7RuZyBxdWEgdOG7tyBs4buHIGPhu6dhIGhhaSBj4buxYyDEkeG6oWkgY+G7p2EgbsOzOiAoMSkgbeG7qWMgdOG7kWkgxJFhIMSR4buRaSB24bubaSBjw6FjIGdpw6EgdHLhu4sgdGhhbSBz4buRIGPDsyB0aOG7gyBnaeG6oyDEkeG7i25oIGdp4bqjIHRodXnhur90IGtow7RuZywgKDIpIGdpw6EgdHLhu4sgbOG7m24gbmjhuqV0IHRyb25nIHThuq1wIGPDoWMgZ2nDoSB0cuG7iyB0aGFtIHPhu5EgY8OzIHRo4buDIGPDsyBjaG8gbcO0IGjDrG5oIMSR4bqneSDEkeG7pywgY2hvIHBow6lwIGdp4bqjIHRodXnhur90IGtow7RuZyBob+G6t2MgZ2nhuqMgdGh1eeG6v3QgxJHhu5FpIGzDoCDEkcO6bmcuIEvDvSBoaeG7h3UgJGxfezF9JCBsw6AgZ2nDoSB0cuG7iyB04buRaSDEkWEgY+G7p2EgaMOgbSBo4bujcCBsw70gY2hvIG3DtCBow6xuaCDEkeG6p3kgxJHhu6csIHbDoCAkbF97MH0kIGzDoCBnacOhIHRy4buLIHThu5FpIMSRYSBjaG8gbcO0IGjDrG5oIMSRxqFuIGdp4bqjbiBoxqFuLMSR4bqhaSBkaeG7h24gY2hvIGdp4bqjIHRodXnhur90IGtow7RuZy4gVsOtIGThu6UsIGtoaSBk4buxIGLDoW8gdHV54bq/biB0w61uaCBcKFxhbHBoYStcYmV0YSB4XCkgbMOgIHbDoCBnaeG6oyB0aHV54bq/dCBraMO0bmcgbMOgIFwoSF97MH06XGJldGE9MCxsX3sxfVwpIGzDoCBow6BtIGjhu6NwIGzDvSDEkcaw4bujYyB0w61uaCB04bqhaSBcKChcYWxwaGEsXGJldGEpXCkgbcOgIGThu68gbGnhu4d1IGPDsyB0aOG7gyBjw7Mgbmhp4buBdSBraOG6oyBuxINuZyBuaOG6pXQgOyAkbF97MH0kIGzDoCBow6BtIGjhu6NwIGzDvSB0w61uaCB04bqhaSBnacOhIHRy4buLICRcYWxwaGEkIG3DoCBk4buvIGxp4buHdSBjw7MgdGjhu4MgY8OzIG5oaeG7gXUgbmjhuqV0LCBraGkgXChcYmV0YT0wXCkgLg0KDQoNClRo4buRbmcga8OqIGtp4buDbSDEkeG7i25oIHThu7cgc+G7kSBo4bujcCBsw70gbMOgDQoNCg0KIFxbLTJsb2cobF97MH0vbF97MX0pPS0yKGxvZ2xfezB9LWxvZ2xfezF9KT0tMihMX3swfS1MX3sxfSlcXQ0KICANCiAgDQp0cm9uZyDEkcOzICRMX3swfSQgdsOgICRMX3sxfSQgbMOgIGxvZyBj4bunYSBow6BtIGjhu6NwIGzDvSwgdGjhu5FuZyBrw6ogbsOgeSBjw7MgcGjDom4gcGjhu5FpIHjhuqVwIHjhu4kgcGjDom4gcGjhu5FpIGNoaS1iw6xuaCBwaMawxqFuZy4gSOG6p3UgaOG6v3QgY8OhYyBwaOG6p24gbeG7gW0gY2hvIEdMTSDEkeG7gXUgY3VuZyBj4bqlcCBjw6FjIGdpw6EgdHLhu4sgbG9nIOKAkyBsaWtlbGlob29kIGPhu7FjIMSR4bqhaSB2w6Agc+G7kSBsaeG7h3UgdGjhu5FuZyBrw6ogdOG7tyBz4buRIHThu7cgbOG7hyBcKC0yIChMX3swfS1MX3sxfSlcKS4NCg0KICBN4buZdCBz4buRIHBo4bqnbiBt4buBbSBjaG8gR0xNIGPFqW5nIMSRxrBhIHJhIHBoxrDGoW5nIHBow6FwIGNoaSDigJMgYsOsbmggcGjGsMahbmcgdGjhu6kgMywgc+G7rSBk4bulbmcgdGjhu5FuZyBrw6ogxJFp4buDbSwgxJHDtGkga2hpIGPDsm4gxJHGsOG7o2MgZ+G7jWkgbMOgIHRo4buRbmcga8OqIMSRaeG7g20gaGnhu4d1IHF14bqjLiBDaMO6bmcgdGEga2jDtG5nIMSRaSBzw6J1IHbDoG8ga2nhu4NtIMSR4buLbmggbsOgeS4gS2nhu4NtIMSR4buLbmggV2FsZCwgdOG7tyBz4buRIGjhu6NwIGzDvSB2w6AgxJFp4buDbSBsw6AgYmEgbG/huqFpIGtp4buDbSDEkeG7i25oIHRo4buRbmcga8OqIGNow61uaCBjaG8gR0xNLiDEkOG7kWkgduG7m2kgY8OhYyBt4bqrdSBy4bqldCBs4bubbiwgY2jDum5nIMSRxrDhu6NjIHRo4buxYyBoaeG7h24gdMawxqFuZyB04buxLiDEkOG7kWkgduG7m2kgY+G7oSBt4bqrdSDEkcaw4bujYyBz4butIGThu6VuZyB0cm9uZyB0aOG7sWMgdOG6vywga2nhu4NtIMSR4buLbmggdOG7iSBz4buRIGjhu6NwIGzDvSB0aMaw4budbmcgbMOgIMSRw6FuZyB0aW4gY+G6rXkgaMahbiBzbyB24bubaSBraeG7g20gxJHhu4tuaCBXYWxkLiBT4buxIGtow6FjIGJp4buHdCB0cm9uZyBjw6FjIGdpw6EgdHLhu4sNCmPhu6dhIGJhIHRo4buRbmcga8OqIGNo4buJIHJhIHLhurFuZyBwaMOibiBwaOG7kWkgY+G7p2EgJFxiZXRhJCBjw7MgdGjhu4Mga2jDoWMgbmhp4buBdSBzbyB24bubaSBwaMOibiBwaOG7kWkgY2h14bqpbi4gVHJvbmcgdHLGsOG7nW5nIGjhu6NwIMSRw7MsIGPDoWMgcGjGsMahbmcgcGjDoXAgw6FwIGThu6VuZyBjaG8gdHLGsOG7nW5nIGjhu6NwIG3huqt1IG5o4buPDQpwaMO5IGjhu6NwIGjGoW4gc28gduG7m2kgcGjGsMahbmcgcGjDoXAgw6FwIGThu6VuZyBjaG8gbeG6q3UgbOG7m24uIMSQ4buRaSB24bubaSBHTE0gcGjhu5UgYmnhur9uIG5o4bqldCBsw6AgaOG7k2kgcXV5IGNobyBk4buvIGxp4buHdSBjaHXhuqluIHPhu60gZOG7pW5nIGxpw6puIGvhur90IMSR4buTbmcgbmjhuqV0LCBiYSBraeG7g20gxJHhu4tuaCBjaG8ga+G6v3QgcXXhuqMgZ2nhu5FuZyBuaGF1Lg0KDQogIFwoXHRleHRpdHtWw60gZOG7pSA2fVwpOiDEkOG7gyBtaW5oIGjhu41hIGNobyBjw6FjIGtp4buDbSDEkeG7i25oIFdhbGQgdsOgIHThu7cgbOG7hyBo4bujcCBsw70gY2hvIG3DtCBow6xuaCBsb2cg4oCTIGxpbmVhciBQb2lzc29uIMSRxrDhu6NjIMOhcCBk4bulbmcgdsOgbyBk4buvIGxp4buHdSBjdWEgbcOzbmcgbmfhu7FhIGPhu6dhIG3hu6VjIDMuMy4yLiBU4burIGLhuqNuZyAzLjgsIMaw4bubYyBsxrDhu6NuZyBNTCDhuqNuaCBoxrDhu59uZyBj4bunYSBjaGnhu4F1IHLhu5luZyBsw6AgXChcaGF0XGJldGE9MCwxNjQwNDVcKSAsIHbhu5tpIEFTRT0wLDAyMDA4Mi4gS2nhu4NtIMSR4buLbmggV2FsZCBcKEhfezB9OlxiZXRhPTBcKSB4w6l0IFwoWj1caGF0XGJldGEvQVNFPTAsMTY0MDQ1LzAsMDIwMDgyPTgsMTY4ODBcKShaIGzDoCB0aOG7kW5nIGvDqiBjaHXhuqluIGNow61uaCB04bqvYykgaG/hurdjIFwoel4yPTY2LDczMDI3NFwpICgkWl4yJCBsw6AgdGjhu5FuZyBrw6ogY2hpLWLDrG5oIHBoxrDGoW5nIHbhu5tpIGLhuq1jIHThu7EgZG8gXChkZiA9IDFcKS7EkGnhu4F1IG7DoHkgbMOgIGLhurFuZyBjaOG7qW5nIG3huqFuaCBt4bq9IHbhu4EgdMOhYyDEkeG7mW5nIHTDrWNoIGPhu7FjIGPhu6dhIGNoaeG7gXUgcuG7mW5nIGtoaSBjw7Mgc+G7sSBoaeG7h24gZGnhu4duIGPhu6dhIHbhu4cgdGluaCBcKCggUCDigJMgdmFsdWUgPCAwLDAwMDDigKYgPCAwLDAwMDEpXCkuIENow7puZyB0YSBjw7MgxJHGsOG7o2MgYuG6sW5nIGNo4bupbmcgbeG6oW5oIHTGsMahbmcgdOG7sSB04burIGtp4buDbSDEkeG7i25oIHThu7cgbOG7hyBo4bujcCBsw70gY8OzIHRo4buDIHNvIHPDoW5oIG3DtCBow6xuaCBuw6B5IHbhu5tpIG3DtCBow6xuaCDEkcahbiBnaeG6o24gaMahbiBjw7MgXChcYmV0YT0wXCksIMSRw7MgbMOgOg0KDQoNCiAgXFstMihMX3swfS1MX3sxfSk9IExSIFN0YXRpc3RpYyA9IDY0LDkxMzA5ICB24bubaSAgUC12YWx1ZSA9MCwwMDAwMDDigKYgPCAwLDAwMDAxKS5cXQ0KICANCiMjIyAqKjMuNC4yIEtp4buDbSDEkeG7i25oIG3DtCBow6xuaCBQb2lzc29uKioNCg0KICBHTE0gxJHGsGEgcmEgY8OhYyBtw7QgdOG6oyB2w6Agc3V5IGx14bqtbiBjw7MgY2jDrW5oIHjDoWMgY2FvIGNobyBt4buZdCBi4buZIGThu68gbGnhu4d1IGNo4buJDQpraGkgbsOzIGzDoCBi4buZIGThu68gbGnhu4d1IHThu5F0LiBUw7NtIHThuq90IHPhu5EgbGnhu4d1IHRo4buRbmcga8OqIHBow7kgaOG7o3AgdOG7kXQgdsOgIHBo4bqnbiBkxrAgZ2nDunAgY2jDum5nIHRhIG5naGnDqm4gY+G7qXUgxJHhuqd5IMSR4bunIHTDrW5oIHBow7kgaOG7o3AgY+G7p2EgR0xNLiBDaMO6bmcgdGEgbWluaCBob+G6oSBjaG8gR0xNIHbhu5tpDQp0aMOgbmggcGjhuqduIG5n4bqrdSBuaGnDqm4gUG9pc3Nvbi4gxJDhuqd1IHRpw6puIGNow7puZyB0YSBraeG7g20gxJHhu4tuaCBnaeG6oyB0aHV54bq/dCBraMO0bmc6IHRow6BuaCBwaOG6p24gbmfhuqt1IG5oacOqbiBj4bunYSBHTE0gY8OzIHBow6JuIHBo4buRaSBQb2lzc29uIChtw7QgaMOsbmggcGjDuSBo4bujcCkuIEdp4bqjIHPhu60NCmJp4bq/biBnaeG6o2kgdGjDrWNoIGPDsyBOIGdpw6EgdHLhu4sgcXVhbiBzw6F0IGtow6FjIG5oYXUsIGvDvSBoaeG7h3UgeWkgbMOgIHThuqduIHPhu5EgdMawxqFuZyDhu6luZyB24bubaSBnacOhIHRy4buLIHRo4bupIGkgdHJvbmcgTiBxdWFuIHPDoXQgdHLDqm4sIHbDoCBnacOhIHRy4buLIHTDrW5oIHThu6sgbcO0IGjDrG5oLiBDw6FjIHRo4buRbmcga8OqIHBow7kgaOG7o3AgdOG7kXQgKGdvb2RuZXNzLW9mLWZpdCkgY8OzIDIgZOG6oW5nIGzDoCBQZWFyc29uIHbDoCBsb2dsaWtlbGlob29kLXJhdGlvOg0KDQogIFxbXGNoaV4yPVxzdW1cZnJhY3soeV97aX0tXGhhdFxtdV97aX0pXjJ9e1xoYXRcbXVfe2l9fVxdICAgDQogIFxbR14yPTJcc3VtIHlfe2l9bG9nKFxmcmFje3lfe2l9fXtcaGF0XG11X3tpfX0pXF0NCiAgDQogIEtoaSBjw6FjIGdpw6EgdHLhu4sgXChcaGF0XG11X2lcKSBsw6AgdMawxqFuZyDEkeG7kWkgbOG7m24gXCgoID4gNSlcKSB2w6AgTiBj4buRIMSR4buLbmgsIGPDoWMga2nhu4NtIMSR4buLbmggdGjhu5FuZyBrw6ogbsOgeSBjw7MgJFxjaGleMiQgcGjDom4gcGjhu5FpIHjhuqVwIHjhu4kgY2hpIGLDrG5oIHBoxrDGoW5nIHbhu5tpIGLhuq1jIHThu7EgZG8gXChkZlwpIGLhurFuZyBz4buRIGzGsOG7o25nIGPDoWMgw7QgdHLhu6sgxJFpIHPhu5EgdGhhbSBz4buRIG3DtCBow6xuaC4NCiAgDQogIFwoXHRleHRpdHtWw60gZOG7pSA3fVwpOiBDaMO6bmcgdGEgbWluaCBo4buNYSBi4bqxbmcgbcO0IGjDrG5oIGxvZyDigJMgbGluZWFyIFBvaXNzb24gY2hvIHPhu5EgbMaw4bujbmcNCnbhu4cgdGluaCBj4bunYSBt4buZdCBjb24gY3VhIG3Ds25nIG5n4buxYSBjw6FpLCBz4butIGThu6VuZyBjaGnhu4F1IHLhu5luZyBj4bunYSBuw7MgbmjGsCBsw6AgYmnhur9uIGThu7ENCmLDoW8uIFRhIGPDsyBOID0gNjYgxJHhu5kgcuG7mW5nIGtow6FjIGJp4buHdCBt4buXaSDEkeG7mSBy4buZbmcgY8OzIHThuqduIHPhu5EgJFlfe2l9JCAodOG7lW5nIHPhu5EgduG7hyB0aW5oIOG7qW5nIHbhu5tpIMSR4buZIHLhu5luZyB0aOG7qSBpKSB2w6AgZ2nDoSB0cuG7iyAkXGhhdFxtdV9pJCAgLiBU4burIHPhu5EgbGnhu4d1IHbDoCBtw7QgaMOsbmggUG9pc3NvbiBsacOqbiBr4bq/dCBsb2cgxrDhu5tjIGzGsOG7o25nLCB0YSBjw7MgY8OhYyBnacOhIHRy4buLIHRo4buRbmcga8OqIFwoXGNoaV4yPTE3NCwzXCkgIHbDoCAgXChHXjI9MTkwLDBcKSAoY8OzIHRo4buDIHTDrW5oIG5o4budIHBo4bqnbiBt4buBbSkgduG7m2kgXChkZiA9IDY2IOKAkyAyID0gNjRcKS4gS+G6v3QgcXXhuqMgbsOgeSBjaG8gdGjhuqV5IHPhu7EgcGjDuSBo4bujcCBj4bunYSBtw7QgaMOsbmguVHV5IG5oacOqbiwgbMO9IHRodXnhur90IGNoaS1iw6xuaCBwaMawxqFuZyBt4bqrdSBs4bubbiBjaG8gY8OhYyB0aOG7kW5nIGvDqiBuw6B5IGLhu4sgdmkgcGjhuqFtIGRvIG5oaeG7gXUgdOG6p24gc+G7kSBxdWFuIHPDoXQgxJHGsOG7o2MgbMOgIG5o4buPLCB0aOG6rW0gY2jDrSBjw7MgbeG7mXQgdsOgaSBnacOhIHRy4buLIGLhurFuZyBraMO0bmcuIERvIMSRw7MsIGPDoWMga2nhu4NtIMSR4buLbmggJFxjaGleMiQgdsOgICRHXjIkIGtow7RuZyDEkcOhbmcgdGluIGPhuq15Lg0KDQogIFRyb25nIHRyxrDhu51uZyBo4bujcCBuw6B5IGNow7puZyB0YSBraOG6r2MgcGjhu6VjIGLhurFuZyBjw6FjaCDEkWnhu4F1IGNo4buJbmggbeG6q3Ugc2FvIGNobw0KY8OhYyB04bqnbiBz4buRIHTGsMahbmcg4bupbmcgdMSDbmcgbMOqbi4gQ2jDum5nIHRhIGNoaWEgY2hp4buBdSBy4buZbmcgdGjDoG5oIHTDoW0gbmjDs20gxJHGsOG7o2MNCnRyw6xuaCBiw6B5IHRyb25nIELhuqNuZyAzLjMuIMSQ4buRaSB24bubaSBjdWEgY8OhaSB0cm9uZyBt4buXaSBsb+G6oWkgY2hp4buBdSBy4buZbmcsIGNow7puZyB0YSBxdWFuIHPDoXQgdOG7lW5nIHPhu5EgduG7hyB0aW5oIHRyb25nIG3hu5dpIG5ow7NtIHbDoCB04buVbmcgY8OhYyBnacOhIHRy4buLIMSRxrDhu6NjIHjDoWMgbOG6rXAsIGNobyB0YSBt4buZdCBi4buZIG3hu5tpIGfhu5NtIHTDoW0gY+G6t3AgKFwoeV97aX0sXGhhdFxtdV97aX1cKWPDsyBnacOhIHRy4buLIGzhu5tuIGjGoW4gbmhp4buBdSBnacOhIHRy4buLIOG7nyA2NiBj4bq3cCBiYW4gxJHhuqd1IChnacOhIHRy4buLICR4X3tpfSQgbMO6YyBuw6B5IGzDoCDEkeG7mSBy4buZbmcgdHJ1bmcgYsOsbmggY+G7p2EgbeG7l2kgbmjDs20pLlRoYXkgdsOgbyB0YSBuaOG6rW4gxJHGsOG7o2MgXChcY2hpXjI9Ni41XCkgdsOgIFwoR14yPTYuOVwpIHbhu5tpIFwoZGY9XCkoc+G7kSBsxrDhu6NuZyDEkcOhcCDhu6luZyAtIHPhu5EgdGhhbSBz4buRKVwoPTgtMj02XCkuQ8OhYyBz4buRIGxp4buHdSB0aOG7kW5nIGvDqiBjaG8gdGjhuqV5IHPhu7EgcGjDuSBo4bujcCAoIFwoUCDigJMgdmFsdWUgPiAwLDNcKSkuIFBoxrDGoW5nIHBow6FwIG5ow7NtIGzDoCB0w7l5IHRp4buHbiwgbmjGsG5nIHRyb25nIHRo4buxYyBow6BuaCB0aMaw4budbmcgcGjDom4gdGjDoG5oIGtob+G6o25nIHThu6sgNiDEkeG6v24gMTAgbmjDs20gbMOgIMSR4bunLiBDw6FjIGdpw6EgdHLhu4sgdGhp4bq/dCBs4bqtcCBwaOG6o2kgdGjhu49hIG3Do24gXChcaGF0XG11X3tpfSBcZ2Vxc2xhbnQgNVwpIGNobyBt4buXaSBsb+G6oWkgDQoNCiAgTeG7mXQgY8OhY2ggdGnhur9wIGPhuq1uIMSRxqFuIGdp4bqjbiBoxqFuIHPhur0gbmjhuq1uIMSRxrDhu6NjIHThu6sgdmnhu4djIMSRaeG7gXUgY2jhu4luaCBs4bqhaSBtw7QgaMOsbmgNCmNobyBjw6FjaCB0w61uaCBjaG8gY8OhYyBuaMOzbS4gxJBp4buBdSBuw6B5IMSRw7JpIGjhu49pIHBo4bqjaSBnw6FuIMSRaeG7g20gc+G7kSBjaG8gY8OhYyBsb+G6oWkgxJHhu5kNCnLhu5luZyBi4bqxbmcgY8OhY2ggxJHGoW4gZ2nhuqNuIGzDoCBnw6FuIGNoaeG7gXUgcuG7mW5nIHRydW5nIGLDrG5oIGPhu6dhIHThuqV0IGPhuqMgY8OhYyBjb24gY3VhIGPDoWkNCnRyb25nIG3hu5dpIGxv4bqhaSBjaG8gY2jDrW5oIGxv4bqhaSDEkcOzLCB0YSDEkcaw4bujYyBr4bq/dCBxdeG6ozogKDIyLDY5LCAyMyw4NCwgMjQsNzcsIDI1LDg0LA0KMjYsNzksIDI3LDc0LCAyOCw2NywgMzAsNDEpLiBDw6FjaCBsw6BtIG7DoHkgc+G6vSB0aMO0IGjGoW4gdsOsIGNvaSB04bqldCBj4bqjIHThuqV0IGPhuqMgY8OhYyBjb24NCmN1YSB0cm9uZyBt4buZdCBsb+G6oWkgY2jhu4kgY8OzIG3hu5l0IMSR4buZIHLhu5luZy4gQuG6sW5nIGPDoWNoIMSRw7MgdGEgY8OzICRcaGF0XGFscGhhJCA9IC0zLDUzNSB2w6AgJFxoYXRcYmV0YSQgPTAsMTczIChBU0UgPSAwLDAyMSkuIENo4bqzbmcgaOG6oW4sIHThuqFpIMSRaeG7g20gc+G7kSBjaGnhu4F1IHLhu5luZyBuaOG7jyBuaOG6pXQgbMOgIHggPSAyMiw2OSB0aMOsIMaw4bubYyBsxrDhu6NuZyBz4buRIGzGsOG7o25nIHbhu4cgdGluaCB0cnVuZyBiw6xuaCBjaG8gbeG7l2kgY3VhIGPDoWkgbMOgIFwoZXhwWy0zLDUzNSswLDE3My4oMjIsNjkpXT0xLDQ3XCkuIFThu6sgMTQgY29uIGN1YSBjw6FpIGPDsyDEkWnhu4NtIHPhu5EgxJHDsywgbG/huqFpIG7DoHkgY8OzIGdpw6EgdHLhu4sgbMOgICRcaGF0XG11X3sxfSQ9MTQuMSw0Nz0yMCw1IHbhu4cgdGluaDsgbmfGsOG7o2MgbOG6oWksIHPhu5EgbMaw4bujbmcgduG7hyB0aW5oIHF1YW4gc8OhdCDEkcaw4bujYyB0cm9uZyBsb+G6oWkgY2hp4buBdSBy4buZbmcgxJHhuqd1IHRpw6puIGzDoCAkeV97aX0kPTE0LiBN4buZdCBz4buxIHNvIHPDoW5oIGPDoWMgZ2nDoSB0cuG7iyBxdWFuIHPDoXQgdsOgIGdpw6EgdHLhu4sgxJHGsOG7o2MgxrDhu5tjIGzGsOG7o25nIGNobyA4IGxv4bqhaSBtYW5nIGzhuqFpIFwoXGNoaV4yPTYsMiBHXjI9Niw1XCkgduG7m2kgXChk8J2Rkz0gNiAoUC12YWx1ZT4wLDMpXCkuIEvhur90IHF14bqjIG7DoHkgY8WpbmcgY2hvIHRo4bqleSBraMO0bmcgY8OzIGLhurFuZyBjaOG7qW5nIHbhu4EgbcO0IGjDrG5oIHRoaeG6v3UgcGjDuSBo4bujcC4gDQoNCiMjICoqMy41LiBT4buxIHBow7kgaOG7o3AgY2hvIGPDoWMgbcO0IGjDrG5oIHR1eeG6v24gdMOtbmggdOG7lW5nIHF1w6F0KioNCg0KICDEkOG6p3UgdGnDqm4gY2jDum5nIHRhIG3DtCB04bqjIHPGoSBsxrDhu6NjIHbhu4EgbeG7mXQgdGh14bqtdCB0b8OhbiDEkcaw4bujYyBz4butIGThu6VuZyDEkeG7gyDGsOG7m2MgbMaw4bujbmcgY8OhYyB0aGFtIHPhu5EgY+G7p2EgbcO0IGjDrG5oIGLhurFuZyBwaMawxqFuZyBwaMOhcCBNTC4gU2F1IMSRw7MgY2jDum5nIHRhIGN1bmcgY+G6pXAgdGjDqm0gY2hpIHRp4bq/dCB24buBIGPDoWNoIHN1eSBsdeG6rW4gY8ahIGLhuqNuIGLhurFuZyBjw6FjaCBz4butIGThu6VuZyBow6BtIGjhu6NwIGzDvS4gQ3Xhu5FpIGPDuW5nLCBjaMO6bmcgdGEgdGjhuqNvIGx14bqtbiB24buBIMSR4buZIMSRbywgxJHGsOG7o2MgZ+G7jWkgbMOgIMSR4buZIGzhu4djaCwgdMOzbSB04bqvdCBz4buxIHBow7kgaOG7o3AgY+G7p2EgR0xNLg0KDQojIyMgKiozLjUuMS4gU8ahIGzGsOG7o2MgduG7gSB0aHXhuq10IHRvw6FuIE5ld3Rvbi1SYXBoc29uKioNCg0KICDEkOG7kWkgduG7m2kgaOG6p3UgaOG6v3QgR0xNLCBjw6FjIHBoxrDGoW5nIHRyw6xuaCB4w6FjIMSR4buLbmggY8OhYyDGsOG7m2MgbMaw4bujbmcgdGhhbSBz4buRIE1MbMOgIHBoaSB0dXnhur9uIHbDoCBjw6FjIMaw4bubYyBsxrDhu6NuZyBraMO0bmcgY8OzIGJp4buDdSB0aOG7qWMgZOG6oW5nIMSRw7NuZy4gUGjhuqduIG3hu4FtIHTDrW5oIHRvw6FuIGPDoWMgxrDhu5tjIGzGsOG7o25nIHPhu60gZOG7pW5nIG3hu5l0IHRodeG6rXQgdG/DoW4gbOG6t3AgxJFpIGzhurdwIGzhuqFpIMSR4buDIGdp4bqjaSBjw6FjIHBoxrDGoW5nIHRyw6xuaCBwaGkgdHV54bq/bi4gVGh14bqtdCB0b8OhbiDEkcOyaSBo4buPaSBt4buZdCBk4buxIMSRb8OhbiBiYW4gxJHhuqd1IGNobyBjw6FjIGdpw6EgdHLhu4sgdGhhbSBz4buRIGjDoG0gaOG7o3AgbMO9IGPhu7FjIMSR4bqhaS4gQ8OhYyB44bqlcCB44buJIHRp4bq/cCB0aGVvIMSRxrDhu6NjIHThuqFvIHJhIGLhu59pIHRodeG6rXQgdG/DoW4gY8OzIHh1IGjGsOG7m25nIHLGoWkgZ+G6p24gduG7m2kNCsaw4bubYyBsxrDhu6NuZyBj4bunYSBNTC4gTeG7mXQgdGh14bqtdCB0b8OhbiBwaOG7lSBiaeG6v24gxJHhu4MgbMOgbSB2aeG7h2MgbsOgeSwgxJHGsOG7o2MgZ+G7jWkgbMOgIMSRaeG7g20gRmlzaGVyLCBs4bqnbiDEkeG6p3UgdGnDqm4gxJHGsOG7o2MgxJHhu4EgeHXhuqV0IGLhu59pIFIuIEEuIEZpc2hlciDEkeG7gyDGsOG7m2MgbMaw4bujbmcgY8OhYyBtw7QgaMOsbmggcHJvYml0LsSQ4buRaSB24bubaSBo4buTaSBxdXkgbG9naXN0aWMgdsOgIGPDoWMgbcO0IGjDrG5oIGxvZ2xpbmVhciBQb2lzc29uLCBGaXNoZXIgdMOtbmggxJHGoW4gZ2nhuqNuIGjDs2EgY2hvIG3hu5l0IG3hu6VjIMSRw61jaCBjaHVuZyBn4buNaSBsw6AgdGh14bqtdCB0b8OhbiBOZXd0b24tUmFwaHNvbi4gUGjGsMahbmcgcGjDoXAgTmV3dG9uLVJhcGhzb24gc+G7rSBk4bulbmcgbWEgdHLhuq1uLCDEkcaw4bujYyBn4buNaSBsw6AgbWEgdHLhuq1uIHRow7RuZyB0aW4sIGN1bmcgY+G6pXAgY8OhYyBnacOhDQp0cuG7iyBjaG8gY8OhYyDGsOG7m2MgbMaw4bujbmcgdGhhbSBz4buRLiBNYSB0cuG6rW4gxJHDsyBk4buxYSB0csOqbiDEkeG7mSBjb25nIGPhu6dhIGjDoG0gbG9nIC0gaOG7o3AgbMO9IHThuqFpIMaw4bubYyBsxrDhu6NuZyBNTC4gxJDhu5kgY29uZyBjw6BuZyBs4bubbiB0aMOsIHRow7RuZyB0aW4gduG7gSBnacOhIHRy4buLIHRoYW0gc+G7kSBjw6BuZyBs4bubbi4gQ8OhYyBzYWkgc+G7kSBjaHXhuqluIGzDoCBjxINuIGLhuq1jIGhhaSBj4bunYSBjw6FjIHBo4bqnbiB04butIMSRxrDhu51uZyBjaMOpbyDEkeG7kWkgduG7m2kgbWEgdHLhuq1uIG5naOG7i2NoIMSR4bqjby4gxJDhu5kgY29uZyBj4bunYSBow6BtIGxvZyAtIGjhu6NwIGzDvSBjw6BuZyBs4bubbiB0aMOsIHNhaSBz4buRIGNodeG6qW4gY8Ogbmcgbmjhu48uDQoNCiMjIyAqKjMuNS4yLiBTdXkgbHXhuq1uIGLhurFuZyBjw6FjaCBz4butIGThu6VuZyBow6BtIGjhu6NwIGzDvSoqDQoNCiAgUGjhuqduIDMuNC4xIGdp4bubaSB0aGnhu4d1IGJhIHBoxrDGoW5nIHBow6FwIMSR4buDIGtp4buDbSDEkeG7i25oIFwoSF97MH06IFxiZXRhPSAwXCkgY2hvIHRoYW0gc+G7kSBtw7QgaMOsbmggR0xNOiBraeG7g20gxJHhu4tuaCBXYWxkLCBraeG7g20gxJHhu4tuaCB04bu3IHPhu5EgaOG7o3AgbMO9IHbDoCBraeG7g20gxJHhu4tuaCDEkWnhu4NtIHPhu5EgaGnhu4d1DQpxdeG6oy4NCg0KICBLaeG7g20gxJHhu4tuaCB04buJIGzhu4cgaOG7o3AgbMO9IHNvIHPDoW5oIGdpw6EgdHLhu4sgaMOgbSBsb2ctaOG7o3AgbMO9ICRMX3sxfSQgdOG6oWkgJFxoYXRcYmV0YSQgdsOgICRMX3swfSQgdOG6oWksIGLhurFuZyB2aeG7h2Mgc+G7rSBk4bulbmcgdGjhu5FuZyBrw6ogQ2hpLWLDrG5oIHBoxrDGoW5nIFwoLTIoTF97MH0tTF97MX0pXCkuIFRyb25nIG3hu5l0IG5naMSpYSBuw6BvIMSRw7MsIHRo4buRbmcga8OqIG7DoHkgc+G7rSBk4bulbmcgaOG6p3UgaOG6v3QgY8OhYyB0aMO0bmcgdGluIGPhu6dhIGJhIGxv4bqhaSBraeG7g20gxJHhu4tuaCB0aOG7kW5nIGvDqiB2w6AgdGjGsOG7nW5nIGzDoCDEkcOhbmcgdGluIGPhuq15IG5o4bqldA0KICANCiMjIyAqKjMuNS4zLiDEkOG7mSBs4buHY2gqKg0KDQogIEvDvSBoaeG7h3UgJExfe019JCBsw6AgZ2nDoSB0cuG7iyBsb2ctbGlrZWx5aG9vZCBj4buxYyDEkeG6oWkgY2hvIG3DtCBow6xuaCBNIHF1YW4gdMOibS4gQ2hvICRMX3tTfSQgYmnhu4N1IHRo4buLIGdpw6EgdHLhu4sgbG9nLWxpa2VseWhvb2QgY+G7sWMgxJHhuqFpIGNobyBtw7QgaMOsbmggcGjhu6ljIHThuqFwIG5o4bqldCwgbcOgIG7DsyBjw7MgbeG7mXQgdGhhbSBz4buRIHJpw6puZyB04bqhaSBt4buXaSBiaeG6v24gZ2nhuqNpIHRow61jaDogTcO0IGjDrG5oIMSRw7MgxJHGsOG7o2MgY2hvIGzDoCBiw6NvIGjDsmEuIFPhu7Egc2FpIGzhu4djaCBj4bunYSBtw7QgaMOsbmggxJHGsOG7o2MgxJHhu4tuaCBuZ2jEqWEgbMOgOg0KICANCiAgXFvEkOG7mSBs4buHY2ggPSAtMihMX3tNfS1MX3tTfSlcXQ0KICANCiAgU+G7sSBzYWkgbOG7h2NoIGzDoCB0aOG7kW5nIGvDqiB04bu3IHPhu5EgaOG7o3AgbMO9IMSR4buDIHNvIHPDoW5oIG3DtCBow6xuaCB24bubaSBtw7QgaMOsbmggYsOjbw0KaMOyYTsgxJHDsyBsw6AgdGjhu5FuZyBrw6ogxJHhu4Mga2nhu4NtIMSR4buLbmggZ2nhuqMgdGh1eeG6v3QgcuG6sW5nIHThuqV0IGPhuqMgY8OhYyB0aGFtIHPhu5EgdHJvbmcgbcO0IGjDrG5oDQpiw6NvIGjDsmEgbcOgIGNow7puZyBraMO0bmcgY8OzIG3hurd0IHRyb25nIG3DtCBow6xuaCBsw6AgYuG6sW5nIGtow7RuZy4NCg0KICDEkOG7kWkgduG7m2kgbmhp4buBdSBHTE0sIMSR4buZIGzhu4djaCBjw7MgcGjDom4gcGjhu5FpIHjhuqVwIHjhu4kgY2hpIGLDrG5oIHBoxrDGoW5nLiBDaOG6s25nDQpo4bqhbiBo4buTaSBxdXkgUG9pc3NvbiB24bubaSBt4buZdCBz4buRIG3hu6ljIMSR4buZIGdp4bqjaSB0aMOtY2ggY+G7kSDEkeG7i25oIHbDoCBz4buRIMSR4bq/bSB0xrDGoW5nIMSR4buRaSBs4bubbi4NCk3hu5l0IHbDrSBk4bulIGtow6FjIGzDoCBjw6FjIG3DtCBow6xuaCBo4buTaSBxdXkgbmjhu4sgcGjDom4gduG7m2kgbeG7mXQgc+G7kSBt4bupYyDEkeG7mSBnaeG6o2kgdGjDrWNoIGPhu5ENCsSR4buLbmggdsOgIHPhu5EgbMaw4bujbmcgdGjDoG5oIGPDtG5nIHbDoCB0aOG6pXQgYuG6oWkgdMawxqFuZyDEkeG7kWkgbOG7m24uIMSQ4buRaSB24bubaSBjw6FjIG3DtCBow6xuaCBuaMawDQp24bqteSwgbmfGsOG7nWkgdGEgY8OzIHRo4buDIHPhu60gZOG7pW5nIHNhaSBs4buHY2ggxJHhu4Mga2nhu4NtIHRyYSBwaMO5IGjhu6NwIHbhu5tpIG3DtCBow6xuaC4gVHJvbmcgY+G6ow0KaGFpIHRyxrDhu51uZyBo4bujcCwgYuG6rWMgdOG7sSBkbyBkZiBi4bqxbmcgc+G7kSBsxrDhu6NuZyBwaOG6o24g4bupbmcgKHPhu5EgxJHhur9tIFBvaXNzb24gaG/hurdjIHThu5VuZw0Kc+G7kSB0aMOgbmggY8O0bmcgY+G7p2Egbmjhu4sgcGjDom4pIHRy4burIMSRaSBz4buRIGzGsOG7o25nIGPDoWMgdGhhbSBz4buRIG3DtCBow6xuaCBraMO0bmcgdGjhu6thLiBDw6FjDQp0aMOgbmggcGjhuqduIGPhu6dhIMSR4buZIGzhu4djaCDEkcaw4bujYyBn4buNaSBsw6AgY8OhYyBwaOG6p24gZMawIMSR4buZIGzhu4djaCwgY3VuZyBj4bqlcCBjw6FjIHBoxrDGoW5nIHBow6FwDQpjaOG6qW4gxJFvw6FuIHPhu7EgdGhp4bq/dSBwaMO5IGjhu6NwIGNobyBjw6FjIHF1YW4gc8OhdCByacOqbmcgYmnhu4d0LiBDaMO6bmcgbMOgIG5o4buvbmcgbOG7sWEgY2jhu41uDQp0aGF5IHRo4bq/IGNobyBjw6FjIHBo4bqnbiBkxrAgUGVhcnNvbiB2w6AgY8OhYyBwaOG6p24gZMawIMSRxrDhu6NjIGhp4buHdSBjaOG7iW5oLg0KDQogIMSQ4buRaSB24bubaSBoYWkgbcO0IGjDrG5oLCBnaeG6oyBz4butIHLhurFuZyAoJE1fezB9JCkgbMOgIG3hu5l0IHRyxrDhu51uZyBo4bujcCDEkeG6t2MgYmnhu4d0IGPhu6dhICgkTV97MX0kKS5HaeG6oyBz4butIHLhurFuZyBtw7QgaMOsbmggcGjhu6ljIHThuqFwIGjGoW4gxJHGsOG7o2MgY+G7kSDEkeG7i25oLCB0aOG7kW5nIGvDqiB04bu3IHPhu5EgaOG7o3AgbMO9IGNobyBjw6Fja2nhu4NtIMSR4buLbmggbcOgIG3DtCBow6xuaCDEkcahbiBnaeG6o24gaMahbiDEkcaw4bujYyBjaOG7jW4gbMOgDQogIA0KICBcWy0yKExfezB9IC0gTF97MX0pID0gMihMX3swfSAtIExfe1N9KSAtIHstMihMX3sxfSAtIExfe1N9KX0gPSDEkeG7mSBs4buHY2ggKE1fezB9KSAtIMSR4buZIGzhu4djaCAoTV97MX0pXF0NCiAgDQogIE5nxrDhu51pIHRhIGPDsyB0aOG7gyBzbyBzw6FuaCBjw6FjIG3DtCBow6xuaCBi4bqxbmcgY8OhY2ggc28gc8OhbmggxJHhu5kgbOG7h2NoIGPhu6dhIGNow7puZy4NCsSQ4buRaSB24bubaSBjw6FjIG3huqt1IGzhu5tuLCDEkcOieSBsw6AgbeG7mXQgdGjhu5FuZyBrw6ogeOG6pXAgeOG7iSBjaGktYsOsbmggcGjGsMahbmcsIHbhu5tpIGRmIGLhurFuZw0Kc+G7sSBjaMOqbmggbOG7h2NoIGdp4buvYSBjw6FjIGdpw6EgdHLhu4sgYuG6rWMgdOG7sSBkbyBkZiDEkeG7kWkgduG7m2kgY8OhYyBtw7QgaMOsbmggcmnDqm5nIGJp4buHdC4gR2nDoSB0cuG7iyBcKGRmXCkgbsOgeSBi4bqxbmcgc+G7kSBsxrDhu6NuZyBjw6FjIHRoYW0gc+G7kSBi4buVIHN1bmcgdHJvbmcgJE1fezF9JCBuaMawbmcga2jDtG5nIOG7nyAkTV97MH0kDQogICA=