From 52d960530e170f5ed683c5156f7030867e46b250 Mon Sep 17 00:00:00 2001 From: noah Date: Sun, 23 Apr 2023 17:00:51 -0500 Subject: [PATCH] Checkpointing --- Schrick-Noah_AG-CG-CR.aux | 22 +++--- Schrick-Noah_AG-CG-CR.log | 51 +++++++++----- Schrick-Noah_AG-CG-CR.out | 17 ++--- Schrick-Noah_AG-CG-CR.pdf | Bin 110939 -> 133124 bytes Schrick-Noah_AG-CG-CR.tex | 19 +++-- images/checkpoint | 145 ++++++++++++++++++++++++++++++++++++++ images/checkpoint.png | Bin 0 -> 53009 bytes 7 files changed, 215 insertions(+), 39 deletions(-) create mode 100644 images/checkpoint create mode 100644 images/checkpoint.png diff --git a/Schrick-Noah_AG-CG-CR.aux b/Schrick-Noah_AG-CG-CR.aux index 167d6a0..159de4c 100644 --- a/Schrick-Noah_AG-CG-CR.aux +++ b/Schrick-Noah_AG-CG-CR.aux @@ -44,9 +44,13 @@ \citation{li_concurrency_2019} \citation{li_combining_2019} \citation{zhang_boosting_2017} -\@writefile{toc}{\contentsline {section}{\numberline {III}Implementation}{2}{section.3}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}Memory Constraint Difficulties}{2}{subsection.3.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Checkpointing}{2}{subsection.3.2}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {III}Methodology}{2}{section.3}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}Checkpointing}{2}{subsection.3.1}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces An Attack or Compliance Graph Undergoing Generation}}{2}{figure.1}\protected@file@percent } +\newlabel{fig:cr}{{1}{2}{An Attack or Compliance Graph Undergoing Generation}{figure.1}{}} +\newlabel{sec:mem-constraint}{{\mbox {III-A}1}{2}{Memory Constraint Difficulties}{subsubsection.3.1.1}{}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {III-A}1}Memory Constraint Difficulties}{2}{subsubsection.3.1.1}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {III-A}2}Implementation}{2}{subsubsection.3.1.2}\protected@file@percent } \bibdata{Bibliography} \bibcite{schneier_modeling_1999}{1} \bibcite{j_hale_compliance_nodate}{2} @@ -59,14 +63,14 @@ \bibcite{hursey2010coordinated}{9} \bibcite{SCR}{10} \bibcite{dmtcp}{11} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {III-A}3}Portability}{3}{subsubsection.3.1.3}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Restarting}{3}{subsection.3.2}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {IV}Results}{3}{section.4}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusions and Future Work}{3}{section.5}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{References}{3}{section*.1}\protected@file@percent } \bibcite{BLCR}{12} \bibcite{cook_scalable_2016}{13} \bibcite{li_concurrency_2019}{14} \bibcite{li_combining_2019}{15} \bibstyle{ieeetr} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {III-B}1}Portability}{3}{subsubsection.3.2.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-C}}Restarting}{3}{subsection.3.3}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {IV}Results}{3}{section.4}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusions and Future Work}{3}{section.5}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{References}{3}{section*.1}\protected@file@percent } -\gdef \@abspage@last{3} +\gdef \@abspage@last{4} diff --git a/Schrick-Noah_AG-CG-CR.log b/Schrick-Noah_AG-CG-CR.log index e3bf1cc..175d3ad 100644 --- a/Schrick-Noah_AG-CG-CR.log +++ b/Schrick-Noah_AG-CG-CR.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.4.3) 23 APR 2023 16:27 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.4.3) 23 APR 2023 17:00 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -513,9 +513,26 @@ Underfull \hbox (badness 1960) in paragraph at lines 70--75 \OT1/ptm/m/n/10 scalability to mitigate state space explosion or lengthy [] -[2] -Underfull \hbox (badness 4660) in paragraph at lines 117--122 - \OT1/ptm/m/it/10 1) Portability: [][][] \OT1/ptm/m/n/10 The checkpointing proc +<./images/checkpoint.png, id=91, 755.82375pt x 402.50375pt> +File: ./images/checkpoint.png Graphic file (type png) + +Package pdftex.def Info: ./images/checkpoint.png used on input line 83. +(pdftex.def) Requested size: 252.0pt x 134.19624pt. + +Underfull \hbox (badness 3158) in paragraph at lines 89--94 + \OT1/ptm/m/it/10 1) Memory Constraint Difficulties: [][][] \OT1/ptm/m/n/10 Whi +le the design + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 102--108 + \OT1/ptm/m/it/10 2) Implementation: [][][] \OT1/ptm/m/n/10 Rather than only a +static + [] + +[2 <./images/checkpoint.png>] +Underfull \hbox (badness 4660) in paragraph at lines 125--130 + \OT1/ptm/m/it/10 3) Portability: [][][] \OT1/ptm/m/n/10 The checkpointing proc ess is greatly [] @@ -535,7 +552,7 @@ Underfull \hbox (badness 5091) in paragraph at lines 54--56 []\OT1/ptm/m/n/8 J. Ansel, K. Arya, and G. Cooperman, ``Dmtcp: Transparent [] -) +[3]) ** Conference Paper ** Before submitting the final camera ready copy, remember to: @@ -547,18 +564,20 @@ Before submitting the final camera ready copy, remember to: uses only Type 1 fonts and that every step in the generation process uses the appropriate paper size. -[3] (./Schrick-Noah_AG-CG-CR.aux) +[4 + +] (./Schrick-Noah_AG-CG-CR.aux) Package rerunfilecheck Info: File `Schrick-Noah_AG-CG-CR.out' has not changed. -(rerunfilecheck) Checksum: 6E2DC49B6AC85A528B419E5F14917A57;1246. +(rerunfilecheck) Checksum: CC85FF3DB94FE8393E2ED734D36908F3;1379. ) Here is how much of TeX's memory you used: - 12024 strings out of 476025 - 190058 string characters out of 5796533 + 12042 strings out of 476025 + 190409 string characters out of 5796533 1871388 words of memory out of 5000000 - 32293 multiletter control sequences out of 15000+600000 + 32305 multiletter control sequences out of 15000+600000 544489 words of font info for 89 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 75i,8n,76p,1314b,452s stack positions out of 5000i,500n,10000p,200000b,80000s + 75i,8n,76p,1314b,588s stack positions out of 5000i,500n,10000p,200000b,80000s < /usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb> -Output written on Schrick-Noah_AG-CG-CR.pdf (3 pages, 110939 bytes). +Output written on Schrick-Noah_AG-CG-CR.pdf (4 pages, 133124 bytes). PDF statistics: - 148 PDF objects out of 1000 (max. 8388607) - 125 compressed objects within 2 object streams - 29 named destinations out of 1000 (max. 500000) - 81 words of extra memory for PDF output out of 10000 (max. 10000000) + 163 PDF objects out of 1000 (max. 8388607) + 137 compressed objects within 2 object streams + 32 named destinations out of 1000 (max. 500000) + 94 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/Schrick-Noah_AG-CG-CR.out b/Schrick-Noah_AG-CG-CR.out index 7bcba8e..7c57e40 100644 --- a/Schrick-Noah_AG-CG-CR.out +++ b/Schrick-Noah_AG-CG-CR.out @@ -1,10 +1,11 @@ \BOOKMARK [1][-]{section.1}{\376\377\000I\000n\000t\000r\000o\000d\000u\000c\000t\000i\000o\000n}{}% 1 \BOOKMARK [1][-]{section.2}{\376\377\000R\000e\000l\000a\000t\000e\000d\000\040\000W\000o\000r\000k}{}% 2 -\BOOKMARK [1][-]{section.3}{\376\377\000I\000m\000p\000l\000e\000m\000e\000n\000t\000a\000t\000i\000o\000n}{}% 3 -\BOOKMARK [2][-]{subsection.3.1}{\376\377\000M\000e\000m\000o\000r\000y\000\040\000C\000o\000n\000s\000t\000r\000a\000i\000n\000t\000\040\000D\000i\000f\000f\000i\000c\000u\000l\000t\000i\000e\000s}{section.3}% 4 -\BOOKMARK [2][-]{subsection.3.2}{\376\377\000C\000h\000e\000c\000k\000p\000o\000i\000n\000t\000i\000n\000g}{section.3}% 5 -\BOOKMARK [3][-]{subsubsection.3.2.1}{\376\377\000P\000o\000r\000t\000a\000b\000i\000l\000i\000t\000y}{subsection.3.2}% 6 -\BOOKMARK [2][-]{subsection.3.3}{\376\377\000R\000e\000s\000t\000a\000r\000t\000i\000n\000g}{section.3}% 7 -\BOOKMARK [1][-]{section.4}{\376\377\000R\000e\000s\000u\000l\000t\000s}{}% 8 -\BOOKMARK [1][-]{section.5}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n\000s\000\040\000a\000n\000d\000\040\000F\000u\000t\000u\000r\000e\000\040\000W\000o\000r\000k}{}% 9 -\BOOKMARK [1][-]{section*.1}{\376\377\000R\000e\000f\000e\000r\000e\000n\000c\000e\000s}{}% 10 +\BOOKMARK [1][-]{section.3}{\376\377\000M\000e\000t\000h\000o\000d\000o\000l\000o\000g\000y}{}% 3 +\BOOKMARK [2][-]{subsection.3.1}{\376\377\000C\000h\000e\000c\000k\000p\000o\000i\000n\000t\000i\000n\000g}{section.3}% 4 +\BOOKMARK [3][-]{subsubsection.3.1.1}{\376\377\000M\000e\000m\000o\000r\000y\000\040\000C\000o\000n\000s\000t\000r\000a\000i\000n\000t\000\040\000D\000i\000f\000f\000i\000c\000u\000l\000t\000i\000e\000s}{subsection.3.1}% 5 +\BOOKMARK [3][-]{subsubsection.3.1.2}{\376\377\000I\000m\000p\000l\000e\000m\000e\000n\000t\000a\000t\000i\000o\000n}{subsection.3.1}% 6 +\BOOKMARK [3][-]{subsubsection.3.1.3}{\376\377\000P\000o\000r\000t\000a\000b\000i\000l\000i\000t\000y}{subsection.3.1}% 7 +\BOOKMARK [2][-]{subsection.3.2}{\376\377\000R\000e\000s\000t\000a\000r\000t\000i\000n\000g}{section.3}% 8 +\BOOKMARK [1][-]{section.4}{\376\377\000R\000e\000s\000u\000l\000t\000s}{}% 9 +\BOOKMARK [1][-]{section.5}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n\000s\000\040\000a\000n\000d\000\040\000F\000u\000t\000u\000r\000e\000\040\000W\000o\000r\000k}{}% 10 +\BOOKMARK [1][-]{section*.1}{\376\377\000R\000e\000f\000e\000r\000e\000n\000c\000e\000s}{}% 11 diff --git a/Schrick-Noah_AG-CG-CR.pdf b/Schrick-Noah_AG-CG-CR.pdf index 1dbcd098408d64791492e22c50e3502062fb1f42..3ef74ba76af4d953dda7bcfb59e6f8fd516b07a1 100644 GIT binary patch delta 57818 zcmagFWk6M37cFc{N~b7Dqe!=Or;?I_G>CMEYy?CQ5D6*ikdiJzLMiD+5eexOq$DK1 zdB8XCd++Cu=TQ!4@3q&ObIdWuocsIKCI44wcy!8=(zn@JxH0H@2b+g6czBBO+HueE z^MvCOoabTZk9?}hgy?EJ&a{MkCmVeFY<3~&)05p$N7;DnwrKPBsdif4XPz4Iiu394 zDXP?aZ+3Jx^htidicy@$LEvmM`+$43YrUm*?Bl26nMjN?e zkG{C#?AX4tacTXonjP@fkgF@Y1uwpb|I0b*_`0f~Ax2km*w~$^OGD`V?qiREk$VB9Ow!lT znVW2Fmu@1tOOL#2L(~0ADMpmmpb@0Goj~u^fTxu19Q+%k;c~) zEV4n+ z-?vywkfau(D5m`w9LeN;$5rFb71wi5JAb}2zIV=c?a-tV5m~KO#m%rQE4RZmV=N2A)^~1fQk$(`C)GS}MZ~GS~C2R!zL9q5o#4?zYQU zdUUAC8R9O2AIdOTBI5bpC$Q^V+)k7PGj)WBv0bZ*_yJ3o=V|1e7I3^}Z6j@z86R9l>AWUOm6# zf_KzSEgH8Y-EytD1q~@npI+M`mZ|P@vOe@+H7Al}dF;#eZkxxii0tTAO3xDpjG5&^ z{xHwv_biVcZ{=G)ye+P_qL5&!?8+hG;MAyf&9<#a*Ien5ruuNJ{pwT0pcIwDQaYIymgw#ky)@*Z~C&kubSI_?a znUTaaYdX5E13$~)mwt4<9nslhY8tf_x}4qJ9<1_{KYRzZ(g+V|(=5yz5~ z{4tCbA10n`{2FZg&Uje+Tvfc7p4Qm4w!&kWOqxL5NfV}E3Aon}R{F zO%}Ac1}h_$N-18erG8Ks8~YLVmYX7pg^NqcFu?H6k2N)YYIR0J#igoSLcEy|w%+NH&gLzTa?vXX4`O&F1&Lujbu2N zKf9_?o1ELF&y>5*^)ym-E{!W6{{nAuB%K(BZ)=-s+6$q?)`>Vqr-qq1Z>gr2p^H40 zeP$fOTfct!UD(N^>S-zc`0^(HH z?urzRB>!^N%U9FS`HTb73b{6P!kEt%(#?_b8o$x{dFe{Vg_(PN#Gnecb5H9?1S~G>*wYo&q$-U zob6;{QR5(D6irqVzFQk`zToYMXdt)oAC8q5k+YYqZ&F{pi5+_HDLda~1ns3V8;QMY zV}UPTKCVpzI#r9>gwp2+R-Ia<9Tj)Gy1~9+jYTEe7Cnr z1ZEitPmQ(rF79p2v9i;qB`2GeM!X7g5Q-%dagJ!JbeZLBPM=X&C`5Lj9v_9?NS>=e zcEfM+ zyR!!Gq#mP-0VPHCI}VE{PkiVOjyOHo(ecbmi*NtBN70{t(Tq}8*0YI8ocHkg$LhA@ z?D(Y~eveWA)@xvMg=l(uSjm)Txdi}=P@46>W54dPVNT!YU+D#<5O+^RgJX6_xxbb7~6Hv&7W%`OKy$c+?UtYeYZo2%rOVUbBs+^Olp{& zs92LJL!HRglp7Q}w=6udCdc|&c~T|gX(!d>=Z7w>v;=wM7tjbMCj=rwoDJ{ZO(#;# zcb;3QC^bo6ysCCTO;E0kIj--|xhwM^Ye+6L(lDXj|#@J7gQbFa5XHixp-W6v~#U$eWwH$M6Hro}O z8o!fqx-osiCoQ#K_ETBpImfrJrMSL~pcxHG%M{@_-+rjXdFBJNYxe!v2&+}R;?-x? z2SJJTS}=MVy(|%-xXj*-<_tIxp@KE%dv2MwNEs z#Odof&TP!tj!GMk)@g#@^@k&T=uGGL@TnuWcJCJ5yCzPu*PwNiBa~MB9mW}pIrd0p zhqrEJAfs6Og{NTm?8n^%BDU?u#;hf> z0cw9HT+P@?);mmrB!6DcoAcb+pH;s>*BHx8Kq^~uxs9Zz$#t~z`;xxp3*=F6r&7Nk z)kaejdLTA0xl9KMGM(33-+HE*`CMvReY#P6PGFY9*C32lOQA5LFhrMazIPpaOFiWb zI~sjVvbnBp3*S`Ytgp>5Hn}(ddh`9ct`Dztm29iJBsKG#9Kv$K`N=&hTdmt)T}n;t z6G}6-3HSbKfL=yUXCAnrl8q2QxbV=52`%L!9yOUkPj*R3+ovZrE!}Y*m{_WWYOF;h zEB5BUx2yK#sP-hMSf8f*+>T#Md1hpG=?D2X%fwZ^9?cSgkDt9q3XR#;4zcJ<-#Wju zK@2Y1WOepe4dSp(gruh4`SDt{a$s`fe%;>We3(G@(5;7UpU&SEN&dk|i#VU5vSlPS zEhU##xm5p#^Xv}~4Faui)H=VjccxrCk#YOUgu+Q{bk+=OyLWOQNnUHb2~}?V@-j!8 zX`8vy!%>96Tf4!=s`8u`Q9XOlfWJ_Da!X*f70o+3#)+l0Pju(Szt<#*@)Tyx(HFY< zM-(~gqT{_{0hfT6V|2nad)MC1)r2tE;vPBF z-W6M1#eb8MRcO~cxDs!Ahd&#m$)gmX^}Ot2|G7<-h3Ca326id z)WpgBYV=(6u=tak^RyjGWj(xoD-G<0f~kQ6&hKS~M(i}iW&6acB6}_*?ycnH?^9%1 z{Ru57r?l8y@08+1I*x+%KHnQI-EH#_bqZo4be7XK&InS;vAbgT`r0Db<}CuUpF=6k zp}!;DS3MksOzne4XL|al)IW#+Mi_Kk?emrFrmb&0$Bh>lm$QA~q^(I?IGo8hb@*Au zW7lV?%dPsjV2Mf7q?0#t=M_&1cjIU5jYRQ}mtJ+be)Q21nhf7@&F4O}As_zK%u=7D zTTfc-YUgmTt;o6KvX8|tp^0zkvL;rACIQAb>Z|Tc%7_~1pfe*I)r%i5 zeAMdhW88SkI@A}bnAeYVI-A3DWD@-BOSXX^k3E{idslX)KJs)E$pW zYHC3%)2R4?(Vg$=-H&vQzTZ|{IFbABa{>n_HvdR6PmxQ$uTHzDI;ldc~g9$#>gOTEAtT)$Y^%G1c1+DeGJaNhbcaGmr9Y znUcoZtk@SrvuxPJJ9YvSM;9}^rn3>k<5`w(1KES$tDFLVuQL65N#ageSM+YSJ1ug> zKxlMuWEP`ogylzB$<%{F=aNRCAYqgwMX%Vr?A}3;Q822u-rjQ75Dl~)Lv|QUExF-#%viWZmW8yZOm^y zN{l2t5<=+#s}MTe;^l({G!afZtPUiRYnG2jpu5|f+u)9*&ghRDONKT>U!>Emk|Xry zZWdaP56|2&`ptB?cT$BwxAk5c(dD$bKNfNv&!Y#YHjehY0%i{F7c6UdhS1)LyVe># z{5F;pkmtYl} zH1eD&<(1TGGpVedT9xkX{BxcMjUv>@VtfFfb|=mi<3z&NnuQOBxQu_Y?>y}>7)S`D znx&$Ro5)-8_V(IAD3hnYW0=~QI666)8d{_NW^42agP)y>jSBS_K|u^wb$2^cDpsv~ zMvqL5oiJF{oQ<4Lej;aWXl{zZs%dHBWI@Ht&56M(Yien3;Y7v7#x9G&DsJiIsBG#W zVQXz?Yh!BTM8$`}Dq;KB)(TkCw7E3*i&E zvXOL3t4LDB;IgYYVoP)p5@MEf+-R;n<9K6Kbbl;ne!sgJCzLQYj?;X#hf=Tc&V0?h z``RC&dH1=_1jnPj=eXi%H~jy{e~|z6!~f^c`WU>PJTdV6S^gY{QWXPr*`kcI-@biY zSlXEFP=AfO$G&d=#;3-v^(v&vzl6~5W`Ynd?d0#(9@~!|KBO8c&X*1)&(|tWd;ebRaP{}k@4A&X*6_#Fbg0a7U?@*>Knb-> zy3k*R`T6-DK76RG+?i~AUT9EX=Zq}hS5s4qy4CPOChR&l56>$6x~gh_<%IVKr$yB} zcRpOXCh#MF0y%!N(3`rj^v1TXt+iDY^F`#+P+odOP-v)-(*iDWfodj(0J1UD*75ij zD{JB1L;>zcgIX1jwT+CXhKr5+_M({7{9QE*^n#E-TZ^UUJxS*;UkM@OymX9s?=NO? zMZvBa%AL=>pZ}uz+;))1(}D*d;^X3oh>54R8IrwxpD83+isj>zk?rlS8`mTWx;wP7 zCMjn>9DDNTcMeGsyYVGrz9;)z9k#c)xit=L!mbM`PtMHGPt+rnL*Zdz_u8Ir{rvuQ zbX1U+Hzo-mHiOwx*^JAwKVt?tmo6RJaIVsJqGcH#eR})XWMiRT)rOa5rhNSTw<5#y z#IlNtUUAmkw&OKsUGc0duy`S@$KOg!aTIW`UJY*f`Mq*L?PPzk+e2PnyA!P^y4xbd z_eVuteXCD~GA=GIRf;7hj8f#NHJrvYip%P2f%Vsd#9xh9QHP5(`}_OHd?Q{W!@&t7 zX*rmUF{t~^%4|@V@OPcKm!lEPiNdo~b z%P$`fS7sIzteN@1&d%<()0-;cCS=-9Skv9vNjUD{;$kygWZ34Lp+s8gTY)4%*-lItR>D85EA+$^F7HBe{!$ohce_M zs~qRkOh5XZZO~3Esif0uf?N=SFk@;TlHJ@$?EwSuC&iMa8rT-@Y{SO=qG~6IV{aF7>G&VJ>r9SGIT9Ho?0VfdD5D`$6 zf%;gh|CQ!V%UwDq_=hS+G?#}?Kcakcd+i7_Jc!}W2><{3KUc6B-fd-db*J^IX1~ig z1pqDG3H-)*2*ty9^78fT?{Bhtb9z5|_I!odkth6E`BJ}icAq`=n zus!#4)cN`O(_Y}NQ{8L|K*M85lj`JpiQB*|SBi!wD<_AJff3PW^7QFbIXO8GJkBY} zG9-{JoW?s|_GIl%uY!Vut+uf;Rkf9sQ(V_+%p_T`&KjqtqP8wx3M+JB!J$!wKeM4xq@YJGF2_DtgaFfnNm$R%d+c-#D5_;dCc%j&z?PN z48UH75@crfRt%eBx;dNucLXmxJ!~8YY+YKG*NQgDSuOKekF1Q8D`4%5B4i8aU-N0e4$^W3 z2gd#Q@uR4SE%AA=?S!zg@iYK_zJ9F$95J8;gyZ*0TM|FX-pe=bb5VzCL5z2MXLSq$ zzpJBTz?~LC)wX861*+xkgFgVX^h)uA`MQyvS_d^tw-dTBJ}giYXpAE%IG@w4S(;z;CBi8MQG@dJL%2W7?F1K-HCKp>;J6Y z;VRH77RM47qqAs6mpIuT$%OY+Rf!^q{=A{2q~t?ggxiEq|%5^e{DmMnqQ&RebY>_;o2RSsKS6S*t%T&@3F+wXN0A(_;?!<b#ZD9Pr{4z(1rUa+4<8D3%H?y^(;C>h zxq+IzlJ%c@Vu{KRDmY%U^-&?M>__8Ib{;I7@9yuv&B#CkCF#b6V*iF^Qu2rG%+0-H;FQp&vU1sN2L<}BWGkxOicLr5&q`SpVctVTuZsc z^{>xdGqSSo+_@toBXjlr73DJmqS$xQ|E{P{jf0c3wzjr;vq<)*U$Mm5g^z8bux+KZ zUDO^*hK7?xhK3QdVTwg0Qh^HgcQBhGTDO7Qa#H6ILQBfHre&Pv%#OyQ?8!nNNgnuAGAN3pw z%N`J;H}UaxMcybpJApbG3SqC^!<`A4B`Eg$nF=xbmSg`_H&Pi#ij6-*;yZERJ|@wX z!3w-^S`UsLn`vZT4!+ZN9Lm*5z(S!q0$3OxdX=}r`g?_3B)y7?3NXcjhqgI6IpN{q zM@L8hUc<84S@hngr0(`{?ti{tbo(*h_vSBn=c(O?3c3^T%+Jm7xUTATgCs%i^?m~o zQxayaUoBT{ofi8q(mkc;34i_i^{ZEGR$rJ0Ngb+2o0^)2kfCz5th=x(EKE$bo3Dd{ zf|!_?$jHb*&{S1b0U@Ka{T}?)LhR0XGlv#_hw<%q!Pk3nJS37A$PSHf4c~7rd{FIu z=&}4IUqW1*PvW$e1SSBtMDeq?Z{IRvmAPl$Q&H(_4kp35F8JPNteW3(F61h20T8LW zI;3uOb(MvM<;s;S9C27GhCJkCWRtA==@);xk#sziV-71XV(}0aS-^gB-y;FOztETd z87MkG3b9Y}F=1uwL#6B5IP8<5p&_r$D6aXd&ABd2Y-~VGsI;J|a(8*{PsxWYU5U%j z5#rlAT(;wa0s=ZSsR#>@-TkdaqrjQzFcBLd<^|sKig0l#2ia9X09U@1CMG0!?5rMk z@lGsAbwXgq0j|3J4sQv)dc4uWnxOC(+ML97bVjmO(iIgITf!)l!^2Z$!dVUK4&b`P z_XOc&3+s=dQHk`(Nx=yL%DwSA+(y1aWpTE**DiYa2@Y(Vyo0P z;c_bybCOeHri7yIuWxDcfN%jJ*)R~i6~%4!1$313W0jv{AHI%^ctD*_u!IHS$4hZF zL3EmR#;WA&l>7LcK^LUILr-tk6o^NSwE`D%UK-Q}{!5lcadP$W_E}JB5&>An6%|*| z(fdY!x|b{J>5T%nZzco0KAc-!6^6*^76Kqb@1lO)@Fib&;>pff<+#W4Ce*G!YxS92 zWnFK0fvhW+P0r5ERoG4(HR6cO(9)ii5mlRw&CM8Q?Wv`ukyMH2z{cfX+9N>W0S8DN z{qH3U!v++_F0-5laN6uw10<2pKJE2ujfW3Y%2*l4i;ZO<>6$3#fhc}(`T2r6GBOf! zNW8SQ!w%2~2)JgU{u7`f5WNwUYak*$ey`+^q=FtD`u_b-`|Dc?nWuZx{tz|_GSmfe zbu}n|q|qj$uJESTbH`=*i;_Xw17M1vbob!o9IEk83O$pQjm>I}`({F7V)!@L)lo}} zMiHllUeC4KESa-~+NEzjwwLhVdnKK4Jz3NBfqNoPeto*!($WHz34o%^@Wrn&*NJl5 z3H^GbyRx!u92_HcPwvbkY$v-<#^?EaW$|07Ih@r)|ED7RdvF*(N6H626xAR8{{Cnv zH|SVw{*(rCHG%ei!)-M;J6mouCXjpfZUSFluEwn=AqSmtoY>@CT4fe^N~e3?IJv*Q z41PndcBvU`9e4vWVuJ|+&bd;-#2(~cE-na9?ttaM+di3-Q;iU0xR->5fdM7v&q8__ zpo)x`JnC88-P{&z4|dij)<&x~AqOq#PL?f)Dh#wA;Ms5Mlr2Dfr%|!a9PDiZpncg< z!2*Jlstj6cK>76QSSZ{rHj)C#J?=h#?X|p=7}7r1@C?(TO3&@d;lA_XwbtGBX;f6z z)ChXWpQOqD-TU{y4CbiifjQ8#0-s&G$m9n*^%Y>WBlleY3k^!h(=4njI)uOhI#p6!9LHhW4v55r3?dQX;f7{r0UJGF zue7(fkB(9tPnFk&SwX$&?(PO4E<@1+@lr_zS=qqwaFv`E2=YI>yFj*X>sG9M^1H0Q zI7`O%&&R<*ggxrTZ`tI)tei{6w^ zo@+>L%&S+TPuf4hVqp10j{SXoDjX6D^70MpeaozUsQOC9r4T{O!0;wE7R?;r`)F?- zoq%3TOAG5N&&qR3?-V{F!_HXth9L4d#R`X6c_!?i5IcA8-Zk)AzxaUuB=y4WfCB@e z5aadQa?9F zrkUAUY*Mx#ed#i)*M3ZY4ue4Fhs=oxg#%67Mo#ikL+r(i7cBZUZohtfa$f$@1vVbI z7EtQ9x3`^LU0s0+*x9{mGZ7~$ zO+R4vqbnBt5)sf1dA_;1NpQ1rt?tj2QVXEZgK;OvsUP(2-8+B8-yc$A@6Vr(SqDPe zf`WoX0cUc42NNx=Sk)Xraz!~gFuYnJ5W2crOjA2=Se6YGMv_SKKeTX0$-3q1A|m$|L4!whKr{m6UaxXJ*1C^ zF)E(jHu^9uVD#$ugRj|}x7Y!40|NgD7 zuYcpl4LQ{#C+DkCg=`YTQxm3P?@n$red)-ePC(8yMiEqN2Ke zTgm9lLrGE+>F4aK=1YpO03@1LmHXDMTX_cc-onDd{kycfEev{~jE9D-MYB1bqa(V( z-%ZsvlE_gX85xn5k|GOK0%{zrqIPhdwD|(ug8BAs;4I7m4^`FF zW*zwbL4ZZcZaw7y%_}E84>hsn>({TJKBYoM>Wb$Me)*E+=FPP3*WH>1Pll?Ut-vsb z;#B$go5R3cCBV~&zBq8yxD@=&E?&O;{MoZb!4Rl0{s95;v9TbHHPsP1Y#(7|IdXx* z2Oo$xK$mmfyou6p6`$$}=oM4CUw4dFIo@~-vbg?WqXQOL@n{I+*n6Xm;UAZNY&Q16 zwP$dUieE5&nFq~45=?3rZQitWqLENXju3OgA(y}l&2ZsFn*QA8A0toZY&d#Hw zKekJVUeE_3+Mm6te*0yeP^!tfEFPMgZiCH?zMzPvKpsygUit-GlZPMAuuD1|?5;0= zEj->_Aqg?MWqC&3_x^stCfq(fE$#Q(gh7e@)mSU-MzUC2W+k^A#N7OI9(P*61e za*Thm{EyX)j*fOGi}Xayi9D6>m6sR5gjNIIBQT}k2w3^TpOuvrc#fNd7> zg>^JlmC8!Y&&-%~PC~_rd5m@CinOtjQQF^q2Q#4kA=Ch?6lu@44+NYrl#rw#lG z6nH^&r^z5@rYIW%)1dW^F0CN98>@+$Mcq}ou2r(?Z8k!l|h(lx_$20=mG1Hw!sH6ha9prx$ zp1%NV)M}QQk#XVT#Ws_Yj~_o~WYE?IlG#)1G=;R{iTneF#Y-=Ms(}bQwGnvTem#6G zPgmiYPjg-J*)Z-6uy_OG{_$|B+N`wyRj&~!*eGlIf4I#5_N{x59z8NK$pF7RJ>3{K zhX_N;&5iG68wrbEZ!htG*#W8lI6#a0&Hwb;iC?z;Rs8=c_>upm_#I#T-x*G{;dr1Q zEbWx>(Mw55k+A9u0&%N$UIyjGX*2r1?#ZA1{rzfa4ZMHP$H&)d!U6tX`Tc(BMbub7Ny;$ayFoCl|Jip0ryTF6JF~GhQ97iV~LqiTf7Ptu>?99kPZ{ zGF>1~Jr|M*2x~UL5s+P=7+3l19;&NHZLMz0oH!soj<8dpc)}?7BUIH{vhF2IM@Z$~ z&e;Two*g3Xe2KBo+8VL`T4;bwHax?=$`f+!&X>kU3HnH9@QS&(oWR-z4`eX()cMKb z@Y?+a{k^3nBZ9?Zvo3N)@q^56fj($SPJ{X(88j z<0m1@u%iavd!`_O^YZeb&61o91ZNZc|Lyhe7NCIr%o~Ehj_K*?p_!FRI6J+^D%RfX z4t|WfV!D7INb8Q-4IJU!A8nBg#}%D`Z1@BOS&DJ}1rP4Psjwofg}~=lF2=AtNE~ScGbvp_a&M;Jm-

WpkzFgPziPRxC1(rjCwfIF4DZL+}DF<6OtW!C3>&4EKSm8Gu7s2TBzh57iPV z3j?1YgfZf=oL}j7FO0)&h*d1R^oldFR=sy^XsA;2TC>0WrS+6tF>7P62L<5J__N)W z_j*|Y8ZDyHKCMrTj(UN65jExBen^Mr{N;7`xfoUhKz-NeSFUv@3F$IjJ6iut2@#RN zZX5u;vS-hv;EwQ+_4d;(ot=s!GO=_BtOExo2@0UDNJ?JFR90I@t)sx{eyLG21_fg@ ztAYNaP%@vr5pn95qv!RiopK-@c7Mn*eS|E!wXA@< z^o}5LC_%`xLgM)qa5n0^_Dbe{CxT*CjAi@O(b3V=lmUblfnxj(5*7l(g8k%L3?SHX z$hoqisRdne9+PX*Vb>p28TcxjCobqkKo))*9tP*o!b1Y=IN7^*lSGiZ3W zbDps52H^S`e|tmkJoxaAT&x~pDYhkQbtBsTbquao_sL7{1WkuY-rdaZ5g9k1a~N-8+yf$XR6^m9xMjY&QJx0~_Q)NskCJP__teiMn%u3GS%AT4sV)sH9 zPjn9cb>^bKX5D2*i>J_`XliKz5c?<2A^!q8K`uO0Yp(sNYED^k@wY0+EUo~WTvRl6 z=e&b&$NvYmp}mJ71|vrYlr5Z_dk8hEi&!Jb7cIcYXE7!HPDeTc6*Obif})e)eC4Aq z@e~3B)Za}uw%(y3BFC1V9>n(OV6UyM4V-2{efATJU6luXQmbI%+w^x6vRThgqlICJ z9Tv9MUr6m1ka5IO?&SiP7kZru9H#Q%0)j>d|D9ejw#c+28m4B}KQ^N}bM805Y(n)k zpvUa(UDqm6>$-ORi-fj270e18-DPe3_K4bL1RSAQTF~wu`>0U9EdUYo zwhB2u0$XXmGj0GpO2{WDL)etUUZA+ZniqV_4xwk-3eNQ9Z!WX#ucri^sWNmx#M;6; zZ;FW>&wrhHhH57`kVw<{d0f)KesooxFWXW1XUd$|Y~%D*l=&Rc0*3|`Ga}%=VPc;o zfD4&|TE!D=Jm)Vr!0nM~VckCSOyu~$5jy{>2FZm-Bki>}8-pfIKHr~HdPPoFR@8yydPY;> zxO^Gf`*E?cWmd>noAxLsAVCmQKT^X`&mmU=$m{9(2S5{)Cd}~clIm(FPM1#p?+(Vl z8W^ql(C>&Pg4Ep&KF_Mt`_i=-E4pbz3v)T`@|NHD*48FH?CsKJ#uR^oIxF20lOSRz zq{S+HK@Yr>gakq4$P4BPnx>bQ$o~nWfxWDULvh*>Al&(3Xn==@XSeL-S0LWI2X)Y$ z-f)JN&NG~5s4LKti|Lq^P2_WPSsJtisDO5ed?r36zM85k2M0$0lxM zM@xseLN+mHv%{y)P`N<`)fY6q&T~^Eu_sw1OfQTSMQHc|8_fOvJ^p|{EKnSjgVunFeAV0={mz$fLgG1HrjQu}I>n?!LNfXQBl(i!N>|z0J-E%K6 zs24VBLKAa5TLT@Tx7`g)?@;wLAi!mzSByRqY-k{9unE6STY_)af^j|jon@Z0loq56 zKX8F9Xm+8AP?VRJ-g3`7Ah~{NdTQ#@6$%Sm+qKzQB7A&b<7P-GCw%^j;Cz}(lD=-Z z2$2!NPiwjC(%)i>7M7Oi#+hi@r2yIYyAY%=rdA z8Gq|$;osNNB6V;AM9o#t@r^+BX$GsX3iNBqDJeyu;RCwSu%N3 z>->j1XMf|aBv^D+cUf4GwC=Qv_S6W7E|vM1nf2+T4KvwVR|qUKVnV`& zv0hwGYLWn-Vr6rQ-YTqY$4tA)hKq!3@OwlBh#-D83=b~3ES+33@I_f!Sy53DuvIW* zpNWSjBrrb}GbAL%l%`FZ=TtSf_I1m4oaF$c8pb#xDy=0`g`Jnw|9<)TNt?O{nq4z` ziyBt{^7(E#sLP!7<9G{D>edIIHGu1f>S|SU=)XpDNz$5tZRkXDD9uF5m2a0^;ycZ19p!`5i)xW=0^7prXCXFM1CG%vYcWm+}0Q6JZZr?Q~hQ)6hqQnKR9B1>)KoJ1i?;==Y`Q@ z({127pg8S;3B~pUK8^Y`kMv{0`%H#Q`>g&td5LnG;sw$!p7T~kM$v^=%FN2f- z7PSvJKd9~a&IB00N1#b9q)UN`%K_2<$Lc*cs9Rl?LtWy!gh6^xn1t*|lj%~mD z%g~|@>b8oMhD{<0*IsF6zJEX5+A50`j%L8Wx4)lT=zzLed;V)TCvc#vz4jb(44kh} z3R8GaLDFSAnubS2oRb?H8&fzU-AxY@7N=>yy7UemaP0v=ESzG{?V=6KW@ZF%Y+)_y z_T;TB*sQr@oM+-sBQCK@Zg}D>KFQUf868Dg5a0vu!elPh;$=!N3T$0;a5kV*ptIlZG6;yfDw3R&5H+p7jlu5v$`nVF%j z@FQKj-U)SvvRG(Z&R=%%o5Wz8vibTczD42S2?yz_%dVmKoxoc7-ygpT3`Bb-E_O{H zE$XT8Dd4^1K8>OmKj!Bv?Iy*SlrjEckRpTHZ%%QI=mrCW3`9k2BT?xeLd);Aba40u1V%nO`<&|)b99wTKLunIT1yU?n3;Ka zdcvIDz(b;s!>MPSQc#~FY9Omm@fsBnAe3RuGVd*pA2stl+oO;NcPb_S{VJFzGhDji zf~NN{A7+rUN-Lop*|*)*ryMcIsidR?I{x$1(~(d)Ck>69NNHfy>!jJ0Q`&u+xLlH8 zh-YP)gAYD{^!L;9aD^~ZQJsNVQK>Y}sT2F~>ig3YmAMHWUub$w8p{IXhd~(V>k?r+ z;}Uj8%r$AfM9!qrV{=-TsG5~xY7(fAI;z6y4h8r&nOTiE) zjQ5I(Jsl6da?01qR*I4I2X>X2)vWORGcNlm2_= z%UJU7%vT`^`$<0zTkUiW6sC#*q}M1Y22DF5cJ=F?!{jK$Ex0q^zkS2LE~u5MsfN=!Wv8;=^rh_<_#P!+l~b@Ajx4j2{}7eN6Mw8z2=7T}QBz(2q)EPPn$?(Pn* z8w{A0!MhY28yM*5-~KW3CH)^GUvv*CQC0h!sM85%>bC-DtF(Z2y!^)!wCF7)FJzAw zdTqej4i68nUAqP~rBIm>W-{&H{jYgt+#rAJOw@KMXq`T(30Wz;sIihNPPX~!GUem3 z>TLicohvjT2XEXk{PIpaP?9AEMhD(kSO2>%;DEt>IyyQUgoXy@0(f~VQ&Li9e)6u9 z-?sStLF)u=p^LX?O?8kE{Ywj5!?QZ zHV|~qsx46{82SGbN*r;WgM;cqyuZkABmc+kBEP7ahc7=iF_BExj}JD% z2hz;Duf%9vx4)DJZ_g|(+9^j&igH1O0ay*_b=gDN0tj?k9o+-xNL>OGoGi5qUF%SD zL3(<6dO~NDVrV)^$P;D%^^^4X_eUel+SF0(Ft_j0K;~r=J!%V z_F&=$xan_zdRa3ckOiQnafA(X)NhXDTe>*}$OeHLS4&l{*%|i)%GFbU>uGKPj6ciy zL^9mNFja)Y0AHmZw@|B_PVB?oF!Un5uD^2@t#ux^!>nK@*RJienQMefhZ27$?I3Azpf zhEmW?Iox}zAlFb1)tbCO3Ns~P`ezPv3oe8p{d^H>|r<ivU^y@MIs4jSCZLT{pn4<*}1!fn(Ct)@|BA7&1 zg0bEo1aL}g{1UWn9U{{{8rV1Jm{?fu%E^h54dkdXfb*3a@~HqiC=Xt2CjUZL67Xj* z58P_)?DQHkrzpw|KVy3AV)1+B+c8o>JwBxa5?G3i;QDp_dhaK>Dy!xG3|z3E36Ct? zZ%@uB!p3D^`Wi8=vsSy4WJ5!kOFsFPdrRStRdI&~0rirk4BX20SXtz?;y32bETq+Xz`5H?xoP)2d>~DAF!vwnkljZI;Jtmk`0-kyB%{)0Zgq@Sq zYOETT07L4@Q|cFBFT3~;8VdK|P^g8Xnj$W|w92H1g6=g8Vfg|JKz|kHH@6@50 zc0v)T-$Ul!92|JP*vu`n=sUOc`tjsNB^@)EBH)NynYi1HON|YkV?Jm+Mc>wao0S#J zBYU5F#PIj=tMOj2N{%>!h1@qTm|_u%k{LgGGy)wlGETFikQ^#_Re*aE&fOmwBH@B} zuQq(?fBph_B4G!GX3_xCB!ZTXF4M3P3HbEs(-hA3UhW*|TWFbN1kH$?4zo#-nRddM zPB6zD*tgv5?0D_5z*VU?RjXe({v6?sQ>51mKkPYXu^{I(Q*?3RY3?J(c-8>1GBQH` zSrK&$6R-|Je}K){ALFB-!3{6TfR~aMmVpJFdZ5BuS4|BWnCp5I^B6hUWp9rK;Sc?~ z^pH;+;1iEl+ERAJ%4b3QLiX*jBMQ6fQi4h>B7sP2=BQpIMw5n|?Xv>;r;&u zpz(UGoUg;}y`yeVyO;NH@Fv(F4ew1jw1LDuI$KVM9NmrQ3Yx;Lod(Lo7Xd?!YP*`6J$%`c&~M_j`yo2W*|5s* zFe6*t8S$17n#Eu-(sAbG8-UMT0WcW}UO`n>)bMslFH1)DwW2=YqazD&a2o_)!E z*_@P&?9;`2_jVb0?6cikRjuPxqfQFgw$Ir-v~66Kw%H^=dG+IHT^jE|MB(~KyhsCx-b$fxNC5CcXxLW?(R-t zaCe8`l3>Bz3GN;sxCHm$dOLgX?>pz*bN;GZ_20Tv)G)&|JuR!(de$Rv%Vk~thnpP) z0=4SJ_0?5W(2ZUJy;fLgC{5}pAW{J=@%+)ht?U54K3cfsWni!eXkZ|(0a#3ULD>Uc z0r91OZ+4jAzohg;m?~LM@c+O<64(b2Ta~^GI$VGeXsbE#``uR{ls21DO3jcj0}Q;O zKfeG5vemm1m017}01U9`M=7Zx0EyFKL|t550C^Zaz>pLq0H6Y2K%1RLPfzKt>$ON7iFNu!$u%x3sjhwT+hj0s`0) zVCw)9;R?7A4C|gN2CGyGhl8#19kR9N@K06stSx^zy)DsWTdK^WFXJ~myeKC>KSb* z^#DRYA3h8YWcfiqp$Yy-iqE>O_+RO_vUtxhk?{yU9EicfukC2Sf^NOcTa`ud(7%HA zWV8Nr3eL%_=a01mc4xMz=J4-T0&8Rz#%5QUC8wnH@$rFv_pZ34MCOD#5Y<=@Fq2SU zDgUPhLE6}~&BcIC;_vuNJUi_yE3F3L|HIt>_5An#h1AC};hfQHBCuh|zv zdFem<0eopbJaASpu&|KuIV*vXug_if-TNRQWrO28@|o-CeVZ`$L6Grxogu$GM%Yp& zzw%+Hj?PZdAIMQNgdX$Z{ecJG92Bq=0{SHH*^^sAowSmYCy<^AMgA)R^w<9*=`*u) zAGe&(g^rT`+ZYIg^@ki}FZgqc5Bj0Rg6rd+1ocr$?~8JPJ(M(-`x>n$t_>;Qj=TD>8xdKdgIUnJGXrB7)fu{KO zccCeNG-zxTd4Svk@wy#2J>NUCoG6EFit6bRPKX7ksTm?0lw%D)A;;x^{%n$JP(keL2s`>CzLv31`uFu7UM0xcU8N0 zFHtG%z!(RNy}TRMFo<{|_f&vZ2rLSK1o=!5>i|G2HMb}Iu?n)c!6mi?km2ZA0XY!W zvOl6a;JN@HgmgI`T>Hg-9_aRL4gZ&HEFMR$P$i(Ae*+{KAb1ju%>*Prfo?xoDl1Ji zoDm0)cl8bsynz{`UWFzDU{Y3vSz%q@?y7F|djoK*cu{il956)z1OiaaIT^z?*;hru z87tQfCQljH^K}6L@d5t#waFzw2!&S!FlC7uS#s199qE z*WT&r)2?{cRwYoL;1aK@O<7w>OmoY*t^EeTZMA1+E(23IIYPt)EP!{UKJ_!ypY1p* zQTm7PoV+^*oVo;swJ@o61pHpilEuHpnZN*}Wf(7ZBs|b>g=_*7GNxs2>sfO4sNHtx zvbGxAMaC_@AJ~LHlrTY08NGB&J z_X!VkB=HZUi|EdXhK+`X#_S3-MzuO;;22u1cKUMZPyab207VG>0(4l~b)eeP(qX^~ zF)syX-C|@FVYb0kl>T4|GDz>6uC6Wt%02YSUFO@C}4eIA4>q12xqF=k+3KzwAsOm;ji<3g%E0AkJ?nFOOgVr0g>p z4|Zz+s)6RZvO?w*;7{ z!kaL<;~xP=JN7Ew#;ARmhH-!;o|~Nok_MrRK$8lG2hLeOJTFh>7A)oJYQEVHkS73q zpHDZ(mc)7UnpU__Sw0;B^;YiCi;)R~P0$QLB~u&*6%_RO zy#aLpQKp5B%@GjE>sYTdm&0{*-dOzE6+e}sybh%H%hao0-U#?S#)WVFZc3DxT05lA zK0Zy=f3yb*R;>2*_07(rO@22d=*i>vCJpP03tSbr&$H}Kc>=P+fSFv+$<6K0LAr>> zYs=>WY?FXJ76ce*Ld^j?Oc1gZ;6GU60D3OfqjeEg7odyU>WWv2W6E|17(B**dWJDC zPe9sUy?aAU2)0e(#laKUI(aB7$gD`0I4`KM$H{ za(D^3xo0OQ0HbaX+7uK8KTy8fv-lbEzpo0ghylWNCYvQ*WjqcahVllQI2G`1|3(NR z`m^d6vs8hA@(R$T0BOH4jbsjR!m&UqI0r@yfUNq=@_*0*ehd86hJMYqAML*rz?Z0h z$(AZ0z`yy=atA@ZZTXQ&(EnCLsd#vFzEl1~AxAOu{|muLVI#~z-4x{jzzOxg)Evl& z#6cYl1+v4W$f^I@nHi{HcM)`oSYbD}20ccg7Q<|*I?MYQD6-k=yv8{w&_BD=W)#3^ zRaJ}{@t+GIAd&uE0AXg%Tlzn?QlvHiFiDaaU@xhur74r4prI)#C=Np-|73P8#N+NM zoSgnayV>q;y~29aiZWyg|AwGo&Mh-Eyu)3TX0xNfNMj z1U3DS-rfJnx~moO|83pHa{MCl=P(ij$0g7ztFW*z8XLq!$nWI@7*qk$9T$Krzyt+& z0J@nzfW-(1%vdwa$_{O-JAu4*NcaEb;FU4{3sL?7$fJF9pwH$!#5`_ia`+we{#HO*MwO>d6`6x_h_QLJ2(nZSzf|N_EuSs_sbP~85O3n;b z1C1?Mi`yVwy=dD*Cx)n=zux|N=gg4C{@1U67SRQg4}Wd>|Fx$C*tr=Sb`1y>~C=pg#wUA z9ix8+NF?C$k8*Sa{2~-`SuVc;-y*Lxu%!viYZ8vqjlhGzp5fl7994v?gw8UP6y1p;QTu>;CWK-PyThtE@T z3|Z(oz*FS|z&IWNS^PJ^PaCRRVkYAXFpKK+z<>cvKllN5L|#57I$93E+9=4qXtSi{h>mDJS?z5%Cp&kx^(3V)P^z*1nh!v3!rG9R6wErsIA@cdy(P-WbE053UEvj%8onDo|3NlDXnKvAfq z=x>JIgt6bv6)T5yEJ{agB3uapY1V5I- z4tV2B_1kaZ<^B|nLXaz0r@d(hW)-mS-}5?cg8g&-tDDF`0xCkxARx{F+~98j(Vqe8 z@oNsCmUMqpEiXp(N3OS7psjqGie}tyYG?qQ-BP&q)^n6Vp5l3oDfiE{sd`9(_-FiB z?`Ta;#XO4rQ@sU9X2)m%r=?U$xmo+;N1(;M=3%edoChNdqBt~a6@erX#k~N=I0?MI z_^%G>|MHXg|6O~JjfDeJ28N+z$&- z9bcqgZ$4)lYJwLF#}XBfj`FH_TVk$755eDU-{NbHaUpMfx)X$B`s;=r+s3}AU*3gb z%b;*OcwE-B-q$Uqtj+yO&3lNhJCCwy7pJJ^dY`Y&r4K^3T4_Ld7u|HQQrB`_G|)Zz zI5Vzt!gspJ=_}mPKig2Wx<3V`Iq++P$iMj1z&kftqSm4OV3gBPW8jwt3T1TH7OR1q z-yALNx$;@~4U)1>(OlOO*D0G*-JkMf8`dTwGb~ zWBpoxUUrcATG6lLs#5TUfwqIT?6kO|P{>uspIMAQ3#xvl;JiFMvbte6pQqJF&vtFc zeA!8UkxlK_-#w+6xa2;8H%R}y=#6Nkkv~Rq-e%H=jyACaH__QcVFJ?-BmdTp->Sv) z_%PC7xO=Z-*YAuYqU&`mKgX+`9U|umebb+)u1P9TpAEzcd=zU4C?2ve||8WofLSC!F`R3ue-2uqmpG<;0Y zMd`bU4+NWnb}X7W(Wqo9`_vHDo$pt*Gf1406Hj8?RA84|XFl5O6S^Z5KKdKl$v%o} zD#utwPt-8F&C4d{J{i{YKjuc#^^+aa+VWQT=+ig0NgVRllJcgcX&Psb`hSU)dNK}K z10icEW{7%j@h0}Mo>q)Ar&RkwW+p`&)wW%)4b=SVTYLWvokIp;H8GVGtMhFm&;9#T zk|6A+P9WqIqj%Fk_NJSA%u1=3WQ#AYAA6UqeBVuxi;iPnXMY2hrM|FrO0 zEpQoLLCVVWZFW_4wt_#B*j}2K-=oF=PXW2q)8J01Vv2*KqanH|s(bL{!H9bmnKsZ2 zp=5o^LFSKy>>#*WZ5E^U!yFA*;;$w$*EAdvHrL0%-wc8ZnF(*@{GcHoJm7HvqmmP1 zhve7F^p>D>Vxe=H+qiUIJhVtINNDFTZi9Z+|5!hP%-3LlC1^;2Z2s%-`hT9Qh8Zr!crD)QiG zJtIsceG`1da$K>FQh>9hX5)_n{+|^H_RKD3$Ie||GbrBB6wBFR zom{Hj;%tJ3VOwx4^R~zHT32kOE6N}OPi9uKoZn(yjJ~F!#Vd<)@#$!ELTix@^}+KO zJYV57O$$qCWGYBApOKu9`36{$8&4*FsvHnwD8U@arrOGCJk4^DZKU zMsBh9QQgjPEuk>(Bb*>JHI)cvPf-&IQDn(7Ash!3nZ)Pj3mRe zoWGQ;)y|XgRD7nP)Uo=Vz9I29Oc)zLv7d&Gmt=e+AG}SH)*|nJLOvG)C#~m=_$YG$ znMH=qgc>#9g;Xow^8rE18Paur9O(pHim=t&tl!7knbfc~_LBSJK)Mt}suWvPO?z0n zLxb$RL&sQnWfR2XH+wzsI{g_X{xVM-{%P>{4&#mmPUjdO7@hN3OJCbEQ8|PlTJuFV zMZ0?S2+}c(s~!FGv~%Fs*|BNkfS%H<8Yb0Lq?eLNNp+ZLKMy~n}8NIOrPW(vuc&@SWOA9+^8gUv< zBpae(b*u+y%$dQe=t{}K#IR{DwsvD_bb`!AtL3~496eY(&#KRauw%4xr_)MJ;}NNC zPYrn!LSabndDXCkYliSqQuJLc_>>iL9RjXVIf=Q+MG@FgE<{m4rQPOCXI8UJw2JeU zzkQ@wdv2P4iy(=bc{=}2@4nb$iz?^%6I+^t8z*)%wPLI9P5AR_4~@(0)sf z+vFNUHNqhP8cFXRw}v41NNqP+WDC@!$7TMEv6V)k{mXB#hK&>VM2WL!A}nR!Bm?oV z$U_NYl4>{H3G79gCkHG7Lu|r2ITFTu2?tr#9)Y%nGO@3cS(YHtC;P#&M<7ZAZsU|a z!Nr(c%~S}M1sWAemmFHw_*YApb(DiQYv~d{tILlG(2P}eiEHd9)9AEPX?22!^-Kq_ zn=_He<|xyqljVpjBN>`|rans7L*_^N?;eeHxRYS~nvgb!JDIMO-q?#?dNY^H*~a`W zqaxfYl6v?Q^m@c+2g<1D0`o`q+%U>;FMnRXsT zTAc%#8nYNo`zq;x;cwC%C}Hu43B?Mgx37(nY7SGb^Luizd<-d?P^p8TJc@DSsn3+u ztMj%dVcL{@O$S&)jrJEFwu>GnttBQG%)|2D?J|*_%l$C!cl%I9W>3~-2?e&lLpv2e z=j6?gxDhaJf$1OYi3eS~(0iFe$8A2|Z^BNs1j@p5DxFR$5qiBf`e=7v$PXpEFXKMNM>3bXzsq&d~s!^;|sDKg%?61ScGTVrgknQ?sqt` z*OdIybmAE>n4C;Y}DG$IuhgC(I6Rc&!sW8?l6Ekr7MD`2*N5!KIQ zAsq%ajhNGx+X|gjS;hyS>u_RPCO3E}5nJ&&*0)wT!^Xnz-n(BY`{v3?Y%>{^w-ZFY zB}r$d$J5Gdgdu9UqbNhwC#G}W0m}pLdhuVZ#2#NQq9Sl_wIg{f5e$;mXc=g6e#CXS11hh$i{O59 z(JS)FJ!uyVJ^*Dpzl1M_=3m$7`$`Q zqWe`UWgg+3nArX4Fpx0&eoA6;AA_qu4AbxAn2yp#ls=T0W`5pE%%JGCZw(RUIO=z1 z5#_DIRXqOI1ncalpZv?$Jc=Eq!+QjvEhhpzS^hK6YiBltE&oV~ik(pNNGTwp%pENOZ2_cm_ z0=xQiP)Hn%e3H`qC-i-6XQFg3_X9 zFC(QxIvCQgrenZ=5J!-fL0rbE+U1Tm;q;>$YvWS!x-O5ZCu7s3Dei4PfREnGQ!pzTSQY5~xkp7%JcjSP z<=Qg)`e7fcbO+HF^o^KfFY*De>4SAz$dZNwT7&l)^ z7nMclVrK3sF>pz1Go_YgHInzfpY|_Z$d>JxN48-j@pnv#mw-ArMxXlE%_7mw*cl5G zSf=;k`0Xwi<&vm#12?BUjJC}pk4O3xSS148-^<7itOv<+SsxnydYeiImr@h%*1Mzq z<@sgna&(Tvaqq`<_HezUh|mac_wXCO&Vgln*YX(5gU~I;Ct<;!8?%d*%$LNxBkwMq zqnB|DlOe>)fDXia*&5b_m0e(JoBAY8MN-WJ583661kg6vg!Ty%S+1&HXa@vQJ8T{i{bfE zVS{F_O68JJl1k-C>aw2*5;j440#Tmxi7+J_DjACI7b3ub7OhHk!%(uGey_X1k)I+)EW~PSuS#f=i!AZzF0zTIRR`bkqvK) z1HqK1A~J*9CtWAr=V&2cGoh~o8{4@{Z`c$HGQJd(x}+t|8*$b-4TNdTVdcJUjYI%W>D#qWl}xb&I|8E}#0w zLcF>D_(djmNF2T{qHz1zFjd=1XCqd9vKe~yrP0Q>q3eQm7EJ$dRQ}2h#h?da!e}pj8f&A=I#(WGaklU;U&ugmW=B5TVsvsb(`|J#n}jw7~z+6ZsHHQ z>=V;dN;wzODw|Ggy8~Na%Fv4sQD?fu_m#M0fcs2YHpundMLk(BHar+4E|G)dBr2bj zF?^bL%#w8U#)X_B;qjwMD9$oh!ahHDsIH#O0kLg3%4p856S^d6y|B+<>saMkqfpBl zFQnnS5x7p0gw9lK`vxpV^)4{ntYnpGX75qPDK}f!p+5x$pUbzCIxe6q$j-=7=Uh-lDt}WBJ!274SQ(tys~i+^!I$*x@D+{w1xdz#YOQu z9Hc8|Ext!Eye@Q(te}PDtFFNQoZGC7wXi4aN#+CHX4bvPWj=qdd6tFK<}mZPI>94j zmnHRP5=jys4B6v}j#LsOA+~X-@?^kY9=*%qZj8g5Yi?z+9s*H&TzAH9W?`%}KBb1^ z)k3Z%|5UpsJN))kTSg(RI7{}cS0hTM86?rY4%f#b>K!lA%E;R{q`!e=%g?kgeIw&K zifP!?IVcIIWX>@RZ;-g*W3O`bF?l!TET*mXI$|l?8Yu~?0nwlG3yn%8>)OSOlkj=t zf-V!>2NiXeS5{eTkCXV8^;CSl7w-81x-j;*54?M(NtE^EFG8Hf&Mo)s!{r`dtX#Fu7qi{URSF!mzHhf~rLrRlzH> z^p$JBVT9fRR-rA5w{H&=!c8ryLwujMsJw%IhfG26>e7jFaouGcedKy2oQ5~pJj}$7 z^AFjCdO=D!LhRHXI+;VPR(c>qOaw_6qNT~PB9_5b{vvd8!LPoH&biFBjM2p7_UG1s z=NF!bfD}Qg*M#Ermf^|Cxr1KIa$V7%{3&lYZ9|Cibv5X-U$Po` z-68VLv&4fwWIhx14;mh!AYQaescxvJDhchb?3VG!-57&9vNAKO*vism6c|d9n6Se` zkk{SWhchH4b<`qC%7}`qD251UxRk!qX&P%wFT8gh3=a;9Y&M~!-(WX;i}vG$R5DK_ zftZz`d;8vWj+c%nAJqDsl|M+E4N`f1 zUJ1f>zYCH$T}1FEvsrb-8Kf%&T`BJ-3QEm=mWa*;4^WAyC+o9BL?J*oo)o_r9oG^X z^5!rIsW6^pyuR12hWm&mn#T3A1%?ai4L-CpO$uEQ2=M}ZAirlCm>o7m*1hSR-ARXf zHzq%BdQ%xy>tUB~765o(%`BH1V^t6Wu`{2jcgb6xD_tEL6vNV2Q@^S{)u(yU#aH&M zU3=PiU zdlV~29jebuY-KV7UFQ4wD9c}hD6sm^9yj835s`W?=k+T0HJb(3eHla@_e0m$G`Ml! zR`vWI=;S)+H+7^tCw|CX1+d{q>=5s+?=ARJPNlqFfb2BC(w=)y7N%4}fF{Kxt2F2; zaJQ?)DtX>xkAfnUt8vv&)n7N0*zTu$_2+z{P^c7|xILu_nkq|J?N2X>-|yOgvfIfpi6yWf_=?H+#_veAtI9_|z@Ewqb$L<^6(8pByExbD|GHoR4$entmgaNejM?WjGI{!@V{9X6)Rz$~Vz!gdX3rI3fr*V=vVLi?a<0L9;O zmGc6-KTzem{)LJr5UInCa?~rq?CY2I+g=ppmVT*fZZ(8MQ!RPjb?d8{)L>k^gIL#I zZ>(K!|Mfd`4W`)U&lP$7A^64VG*aL+^^v@-1nEtI;OO-lTI2ZXRMFs6C|o?8{}v8e zd6-#%i;)^Mplj>6GK%_AWmrp;jHPq>1pW?Nnt+=np&{@?gY}2L1oOckvGlkpZoX@V z8*Fke5+gp-k+VI->AOglQ~Vyc^yVY)>gD10GBA=PC>#4R)xK{h(Zmks6Cn%C;i(4V zmSrT3YcHrp@!)3Gjq9+-c?Wxv{T4}>H6k!DA(8$9LX4JVIn}wgfVi&qyF zqtcDo7APw;AA}6O8W&y{tp*o{S!5UEG(Xg z?zC(q$RDQ=p`jP$lnmYsM-tvF1HBWhF9?>N8z}(BeZ&VNQX4N}c6|=za)*KoGH5qBXOq>egh{POg##HCM8cap!ib8A<%db(rq|ysCrgt# z(x@D%22ybD*6d-HB0Mjm>pAtE zVy@!{aRI{J6h)|jIgV~^Q{_?>iu&v8b|69r^L_F6gK-Yw~&_<&u2!W9ft!4{6r`hcLVU&g$0I-s9eS`? zrx5Y5c(QX(s56zEADu8*uno+#Uo>yty=46urn5+TOk^)zN@))La5?%cFp0PK04g6Z z&Ep??tFz{$@4VnJOs&XdTTLw5r)~|(se8S&@)sF3>^iv-5?IBqd~0a7DrO2ztU?VO6GW!-x4O*={Q>}Co}>$lsRKl{Uv zSD80hE@dYXNu>RgRa`}ONu2?TgSesRf%jhsC{x@LdR{@x%y9PISI z!?hPL_6&sRv5{*ZW+tR?d73_o8M$NbMDAFKxL-fL9iEYl`VOyG%p={})$@~K+)`=? zLeTXBZRO@6oXHD~c&v6jxV0p71ohTaf}cKup}jf<^oX`XXV#56Ur=8tftw*6p0%nsZzm3ZIKW0K`!sLVttxw z$lkE9l<^$C_jc$#k45GWV7GN_DS3g&#+qk}B61<1NhK+uHhMe_zfKki<-sm2&Ox(5 zZ;DcJVRrAi){}mEtA^4gsit@~*(CZ&Y=fafo+iP9-3<}nzb%@{0I3Dier^yQ^!@1~ zx%m^^s;wm(5oV`%A%i#)a&TO>7=hS(AhtA09js8eVl?j8*}?U|a^Z847dJ7Q_yB%p zB6qJqd9NUObF_;lKd~Z&3SG4nI=#c9y*fkJ?+3#-N!F_aE9{dN5x8vn!JTOPLXt?` zVkVDqeQ^#fpd$*I86FFh0W z)4FU|27Y*`)v>}ym$Wb2OIMy5aaH42gpNV9Fv-gTfp~&7uQMQ>H-*a~EA8wqzlldG zI|Ih3z61hwJx3Ji9d5ti$Xs8MykvgLGo&up-FTZMtb>Bh0gE&(YQN|6fuU$}c z=8HIPf4F!}2$?D@m#w+zK|~e22g8S=B3(3a48MGQA;}3O;VHE&*S?mK_Q7!9W)C3K zyT@$Az*sZ=qUH{2juK3UCXbX|So3PMY_&G#-OZ}32^5Jtuxd$O8p_XpzlvXDcIi?t_e<}fQh zwKU9`tnmC2B89dHo7D0LMwJ%4+fwyQztwL|1zeo=pXI4^aLH*csc2KWE*2L{Uuz2_ zqWnWpCSnyqLXqE+sYqq=-u!R)LgO&2ni=<<8ig96Jrpq!dRjczT(+>wea`MMTK0sx z5^>a93$jEZa$P1v+UVqc@Nm|_dok;1zm8*Sgsi|{ppMTq{f{J{hG1pw((O;maVv)e z{P^awnm1a*du1QI&N9z)d~e}g&z)Irpy2~**UT{eMovq$h$Hp6I^&uu2HlezgXWOG zD!u=C#+~yKyS4Km$9J=bHDHsmx)NH)Xnh-3Q}GdV*=Y)b0VwCT`F;Rij{W6&?2zmo zC+GOVFz7@54`D%^6nG;D8!Uk)A$nK^pX_b*d+M(FefuOa`@TY`Dq)X=kdkV+rJdR2 zeAqyRw$jA{lU_PH%i=GkiedLSocPjL;s+wf?z5%u8i+YN9-sFPY_aQyaV6g3h5a&! zQ?tcJVA)wQtx339FFQE!9%8z#iW;x|aKek`2V`cEu(@emC9+^L0yHDWdDe`xjebtB2sIOD_ z)|V0PM)*l7BkA1#1OlufhOk^1eyh;4A@M2{*t`m zf*Zb(f^WV_w(A9^19=9OkM&JFD_wh2l-}wec2A}Tixd2#N_TDEDCI}KpH%afpHegI zhx}Imm2`JBe3FAcyNkhP6B$N&_VE$l)+&Sul!I1W#50?sOzO)mRnz5Im~z2E80c3} z1y6^X!s^@6s^oIrG5K?_Z$69nW3xn!{YUiPJ#W4_F3Fl7GxJmgpJ_j*e5U>QXeRBa zPxl#NOw?R_310$l%eN@QHB%625oRk!Rxryqc7H`>{$}-KUO119?eBy*J+R}upTDPD zGC)O3aqC6iOM~mV;h*aoFb5ReClb03vtCQ4h8x=?(b|u7r8m6NLGEGf=BI@NcMZbEr!m_iRLn@9p*sT?-@*8 z;3%4dlZL13Ulnu^_9T{xup5Iy@YAt!09>9J7lWV9R0Oh{LGQT`TJ$t!y%ND>-eVB;dpR zNC#AykQ^9^ve&R%;iPS{SGW6&Sszrr-U-|Q)4A(RXl;K8Zzr>jvdVj^b~rLs{V-JF zG&T_J)`RhS96_ER3`*{!sg@f8@;*?RMER=XzFj#L)A5WC=3 z5DMTX!suY|@Bx{hL7(yC2#9UYHxJFM9kw9yRkdb{zm$|bDNP75f|*Xe)jY?#HL*8C zDnGwCLH=CgTY@;%dlh{)geivz1jB|W?irtjhDFg(pH0(Dc&98wTM9`Y=pjr+h98hr zQ5#zVCpE_58UpR0ZjhnRG#6@dLna+DXoUB2L!u$0>)nZj1PUy49@#( zS_sJvmSe||lk?^eNuLA0rzq*c2(sKXL9S_Ft99mh`5Mse!}bKi+}$*LTkN~7K4r>C z>a35hk4!EJhTnA5q+p2zEgqT}?_Mc6SdMjD1avMNDyjLRFM@O*(@&Yk4J)D(OLEwH zpboaKlo(BkK|S-c%e{lcza7uIjgS=6-e~(4mS-oQh3N7jxxpu5v*qmrCMQA0uO@G7 zId3QE7u{}-yPHNk57kyrAn%tcJbL}?Ku!w;r*V3aYgWtiguR0`%+UQ*mGnyHGGs>P z>o+cU_j}~e_|u1mkcE$ymZfi4#%4B-mOF6FP+7e!Aljw&X9c+Y$8OWit?u~UH|VIh zkFc+f1$S?;t8b$-Z&wj-h8w>@p=nNywJOYYFYRD&T`U3JQiH=t7k86jyI^kwc=%*r z-wb0Czm>%9ztJ3Z``ALf>7TuU%l{lWIM)t29e-2p>+iXCEGelEDS??*ADJEKhcL1* z`|WA*2AZu{$%M$UqdyG*wZ1HBgI|x!%fAhLu`sqavA;uxJ9*;-Kb3#8g#jHtYQ4m4 z*O{Od{%m;r4Ee+)Rni^3S-5w2(cJVl6Wh^w_=fQsh>BW!2j(@$=IR7~pwp7^*45n& zF$a=%ghjE(XeG5ER(>^G zKuy%VJl63LxHn@cY>ezhoz>XCJc!-6GuY#9zockf%WV|ETJY-R7**w!y~wP+f0-G{ zCFpv{D(2`nb|c{m%>RLzW2j7?BPgVT6dNChaJMdcOSC<+H`tr>8_)RROEx-HyB8j> z0DIOa(XLi!-Z#BbhlNTJ8CB1_?@#q7vLNwWoc8F!Z07-4t5*sHpC0lCI|8cXS3Y_S z!L$-?m4G-a(d+cA7=ORTy6XYjp-1yzFr_y4AGDs86wl6T^L1vt)+|rAR8i2W3G>q? zX^K`sWhv0;*e+ppO_CUIOo~lDdLk~)fsQJo?yozkBfg>(ERQ*iLa@g7zQW}Tvmlsb zSH_eBse6XrL(`1-H8LWC2cXVO!#7cD#=^Y(4RzWj6R5ifr(V_OEM^JXuiyM9<10l( z;lFSVc@)jJjlBvITl)3Ei6#E5vnSn-Oq(R@zH3#QaXfulUrT13B#dYwwz@wy%a>_# zLmsSm7XMhj|GrocOOsfWWFwtHVjr}ZFFgc2}ylwnp1=f|NL4xh@^|VrCFT z-!sR7zb6>_Ip0U*=$%QaRPjx7=+YLidZzQV6r`jp>|O`2s$|E$Xz~oFW?lztc8H&h&&9CE9-C>A|{Wc_T1Iw;PB0Mwy1*$Fev-t%r|J5r0d}VXq zZe1$XX`st))=Wp8U_<9Z(wAZl-9CR+L<$!klZBI};U@5cU(h6kH{dg^O61fCLB?vo3?~?IJW!1 z$Iz~z+IF6WO0|i7D$;o0V5i{f{&ntEOS3`9)xF#(eqG>0 zDAjGZ(C?MH;521sbB)gsZD@%hX)erG$3znn1J98tQc4$cO_;-9K>Xl>7WE8~d4l)5 zDpWRGo)4XJrXhW62_%P2us+*WftGBd-;&mi9npVbU^geN;lCrB-dZ7xd%<;OnR6RR zL@O`*^y?ATWZFgc9=s5%TsgYAa?^j`L?_~2L8F5W6-9!&`g=_;osER7_h?1t`>7yD zfA0>piilJvyLR82QqVV4q=c~C-KxOs`n8ToAvK0$cuvRP4x*UBbV)vbXXCIJEs(DW zME(eA4d1KHCTik4y89001B4^5Zf_v-p;VjA6i<7l5jKQWuCM~zI=C*vXOb==3aI)U z(GR4DI>$wtvYd~@dE)js&#<5BFEe~K;^@f0P5toN40R^ya6w?-UryUUe#|dRzN|3b zOsiVL_nZ~w0>1+L(JD#DlrG({65pta@MR0X;7AM^PJTY#{ zTG5dP-Cy~DH^*Bh%bXbT3+vc0GadFxuA350cS;^bbABvhx2n#08q45g zoaw#CyNw-IzbthRno#4LTO_f_YK|DnTF0PC`omuf9CjrS3gwLotlTB@Bgdiy6y2pw&ZpMl zKJisO(#ZzICDeD+heMIyZs;lq2^^QjNCSAj zSHGgd@r^*7LAG}oqMzDbafYr52D8Hp6((b34t~TAhPDf!ipG~V!GqaL?b-T^6YOnt z*cN+}A;oaF+pkY8EEI^aQX$Tmm{R@D5U05bubYDiaOl-8DWkVz5e& z=9mzatKs7K6mWevwC`QZ9yEt3*C&YycR<)E6AB~`79MV#)9 z8lcAykqupo$pQ88^YTN3-u7oh%k&?Dgx0N>s1{w@-aE!KvVJ(y^qi%Tqrzm5kGl1H zy!f#5XiYd?cP$cx?GEP0u(*w7@6{ikn=L2!gReQU#}za@9hyOxC*Q@yrkr#LI%}X zTM=#RI94O?A>EFKy0B4k(afG!z(6$?k4}u6l&UkOj+705Q^VDMB1T94F$al zj|y+712hBaMefi?gMpumJX{r3xrie%t zZN3=(b`{h6mDrO>*0U&jwjoGx-okUHaCt3SLtr7UMKQ@EHKeg}RxVu;NawC3@I4PK z?*!B$h_HmAZ(v9glk$%NJ$Uzvll9b|On)RM?OG=Vnv-frlopQgiFVn9C)OgFe378| zj#==+CI{YncvF5pgT8vfb=|6R(;;@3)i+{hr~D|_)cTL4%3G8>cYmmLHJgHs@THA( znKNKC0dw`!eIgNV5&twDzW!9#;E!SWfgGei;D@SCHJ`j< zt6DQ=CjZ zY=}I5-LQEVQ!=SZ0ed`Khm3rCK?I{O31zLGH6q^ZZKs%h{48B}#0jfQxX6PF=0=ne zN|9Fe)kpU17BWM(i#(Pe@IiX6Aio&%a7l2EgQ5d+Q``=(i7mi}D$uq;pnn(~c4C5D zh0O}xVOV`f+VYtpiYW>P(HzfTpvRWE=InqN*HB47yn&rDhk~*Lp(ThOr1M^~=B}_@ zSAPQRaE%@k@^Xfn__D-53W#PC2r{N6Pzw0jj6K24%bL+NkM`GWaMB65aBLQ6A9@wX z$xe3p+rh1|v zx#eUNl4!=DJqbth)(gJe06OE3+8}JlbGT>yPq_dRg)a>I2E5xsN77k9Py1f+3I)a1 z!_J~hduZ~h?~Ns%V|k@Kn=SZ-#;&7YoRQSKh}@8qkRM3r7eZ4GWPe?AA{X)duK^Fs za)YZH!fC@sJp9;j}7z0`)j4Af@U}RlSj$@8Z$D-`~5;@a$N&&ItjW&o`0#qhEtfbu@4n{ju~27 zBpW;}ZAD8ylVVtzb3}e7N2%ddI+GI=M^GXNWP_-*a>dver*0e8jEzT225xi7^~#n) z6tg25f5D_!t#)^?ld#fk9$FK30fZ&Q;=(0AP5dtv*9sNCXg=fo8nV)Fxj(Rg=iRQ; z@0sXB5P}N|Wq&+x3@|f8;Gs8CVHshTd2OitS81^2u62N9-nX}5+sVU1WK`1REKtv1 zKaQJ~fIbPm%$UD@%=QHopX9E7vH&?Ih+MDmMo|R8%+I|jKE#~D(Dw_9&`x7&$;OLq z_j5VTO=DB>*lahQN}Xh2G@+w285VM0=X`)|2^^(U2!AOG2oh&^+#sVf2{n!@BAn+a zR3={Ld{5^HfuYwK{`ez{-&_6n@pW8G=j`2^R5&`*ajtlx<$UolgueZZ%uptDzy6r1 zjeMH9VQWn{KCi3<=>~f=^Xkv%0}Y?eJDhv(t6N}~3x}r`Z8tL}BaLYw(JTt%<><+b zRNqAbK7X7pj9su3Uujkb$tZ@m`!TL~^YU@m$o7P0k`+6Oxiv1NUO#yTcEH7D4$3|^ zNT%Q;kl}*fOFjqp2BW8}*ylC;M1%H3*Ki-r$anL&h!iN=&YOi`TC}NeY#B_fT~*y7 zfS);#s)oM}Eyb~pcyAN)%%EyocYhD?ik=&^c~w@5pL`PJV$E!igF!&wv%0r~;bi%DQhi+bdHM0_!vt#Gsxp~FGjZ1*S*XC(iC!uHB zZmnwg>{1buit1GJ(W+3$A2L>}6}kJ=BrxQZIOb3612@Ybwl_u69f0*4>cAwq{7v6! zqAu|JU~Sa7lg7zQ)yey#7uP||QwyR8zkf!&j-GpRyc|NiK2140x{~oONxk-)lVq*1 zRy>LqU1o;4R6;$Q8{##Fzif5eVvVp2I&!$(SBy$5hV;y7KA#CKaLV=qJ2f7`@B{)7JAo+v*pO>wmb% z1M6;6^vck^6@FqA*D45xr7tINc(JM?+BEnCr@(^cJSNDx0_0a%k#qa(hP4aLVkVHG zsCSyXW~adyF0Tgs__yi3AMOlmf&NWGM&^XYYq9Y}tZn7JNNGi@KM>>tmiKca43zrS z87HslUwK>)>L6@9OhZ{>{@xmy9JwhObplahPj6tfp7-D0Z4>%JA_4 zpR;K`N1TH0NV=$?O>g1HCER`He8cue7=zpd~+IBL7qI!uKuS3Js)4ommc(Klip za;8mbUNxHS+Y>q?yzXPXeSgM)W6M$dG5WHMj}s>q`=v}qCwE!R^Dwhli0J%| zBX;MzqQ@UJR-*_dp?1~zON}s_QN|t1bGO8G&=Qz|FNf5}0f*;dSS2~fKFwzR&%bR_UNL+)_CXbF*6l{6Pae?N4&OP*k zB2%EoLlbs?OZJEnSLj=VosL-L+h>Q@RV5b`Q5e1 zyYJr4^+;eC6b@-Kxo0_ymo8}+nOfbovBx*u{^SwF&yA7LM}OC~e21RYdxYinS@*;8 z-+qBY{88)Tl29jQ=Tl4>;wdqIKfBKW8huL((Qx_6Gu0NWud=njh7yS-nc!=cM~qKE z3{Q&@$6WnWqJ^&y{`Z0gSK%p!7GxJxBuJ~~^6O?{jT%f4%9RJb1+6l^x>wr}+L?ZN z%NCCf>UkRGvVX&;n1pe9{G1HYv(1J=`~DZR!WyiwR440(+u>8^Qp=@VWj~*pAy>U8 zVz%8cM%I?a%R|^3)TKz*g5qm^E!fZvqpRt(aj#RNLim;UItNu|f^K_3XXqbW+|qBh zgOt^beH!Jh>8cHMILs6$T;OAZL#^G}n`#4ph)h&3wtxC47ZSfO&_@twx<_wv9laXk z2^adbeV%^x7rskf%xh6`@@7qhi44MNHAwQXHuzkha84fb+@|f z3$Luy(SL^|kA6yQ_M9wd`24YO&n=&>qmKP6X+W#MA~gpzn8sL9qp9==Y1J5vvK`9+sYf+n%C-! z@kf_+LBpIll@fK&yqh_O2OcTh)r5QxLSpjw))e`?Wh}7AihxZ7-7p&}V2+CvIDkf* z`hSMMJ&Wbptt`2=XIK!tO8L)@%6QBXdUXwNN<}aQ=fi3liLh7Jf zSAFwSdlgf@$5b?AET?e~I>Uf+3>{iI*+18WxS?EhQiB#Y&kX4y zb}=%ER~ThkenbokCfmZ5Y{*rvtc^VkB2sZ;z@+R7o*d;=ReyoHQ(hyN zZrh)i9ci4O)(Fd%-AtpB==wb=*<4M!0~a_YMaa3Lc+Zu&psI&xthT&*DUMWd(1z!| zZ;{rjL|&>Wg;-r^RpvfjPIYBA4Sdf5b9CeCZVPdgfD^BLt=elc1m<}p^^XX_;4pB_ zJcUL=TNxVxJ5>)P&9uIiMSsz@2#7DgeH+9K>ry1+G+b0^(%!gA!4#^0gyF$)&|wX( zO*(%B&j&fU;}SCNR8h|*M2uR0vRVIC`HIOgOXTIYrAF4;0w{xGlB=;FMnYVO;nuy+ z8BHC%q{JfL<0bfYZvfTYtJ`VK&<^9MsJO+RW}>CfEhUUy=dYxQw|_y+O8jfCAwjSK zYqW{L3AKLxC%(Kp!e>Iklk|#VKg)+Zn4%Y)LJYzmN&_|a`>h1LJ%Yx7KHO{wQw`>i zT>LP6J-URS+yyaFIm0F<{0^D%IYvTcPFbB)WP^OfW~kSvfga2CFbvoap(aGzZZ#hz z6f`&rlR|c*%sQf$Dt{XF&r19(d~s8Ik4`gc$XDacuU?-Nju^I}=1pQ%V3v3RZPnBqX8b>EtG{+qELuf6BAR z3|=g!^pp>A<35vo!CfR-4&EA+PVHg4 z{kii91~V}3JEbC;pbKBXAcCma#XZbQ-?|)dgrZd|jbgd-Ow70=*@_QOD4K2nUn zB#~dR4otU-E5{}SvrO|V$et}roEb+6K56O3l1ce5N`Ea7c0TET-guzRq2&T`=SEVt zlc)6@v_*wmciF~_C3+-!YwsTLhF+HXk-xLi{=!ii^|azG=|`S9HulG zp)dw4yFN%#PAK#U&q|DJTHnnjG)v;n1k4ZvK;3p;Mg>lYOkQKa3Mz2pi1Rzt*R(V| ziU}4(zJF!D9Kx&0Ibyc3+tSZJLotz3(4w04P30@NSzpAu?tAj2yGcnG$e=oEE)E2! zAo^xSxRtdN$N5Zb`&4+BF;LGGR>kc3{X)_JtLCRZBCYe`gD*ib>NqaH$6_pbkfosyyGekOF_})6Lk}v7f=o|o3 zkb8j&Lk<+`ohjrkF_53Z*qd`3Ai}iW#HVe|a$Wq!1&Ls$Rmdl7rc|)Lg|(+1+!$CO zHGjW@RyP+aC4x0$hr$%Dp&i23^GBr2B!WU9?K>P+Yu4U~vI(q1dycjSF|S_5A^|4i zM<@C=A^8g@`Oa@|h~e7{n}-CseLYCTy}b_y^!UfaRr)17s_E6Kv$KP&4lrF%hLDE( ze)1u0QO~%jq|t;rdyK5kv!W_Oq-_>Z(|_0Kx`bBck{_XSI!LFeujSjSP>qw|e7U}r z9r0>vwc2OP7}#|tVB?i*#o=-!G{OG zhg&yY+HTn;YB9dO=g5Ts7t`En{?hVUP#e z5Y<62Uo1D=+*As{sig_522JI>*rD1Z>?F*( zk;I?}$SIf6)N=N!>wIH~ExAY{1{O0_%yNiG-dtmZ+x{`y<3zqyIQnu%g%mj_w@5B< zU>k0p-w=xUEpu8@Sva$k-zLrnq3b$z!_g?O`hq-Ah_mmek7SKoHo6kCe1Ao`6K^2p za;)dsZ^Vhr(jyJVEcGKR%$tYKE;3!{^nuuiM%Aj&@h79$ZwF4-DA&i!>Bq0p$>d37 zxG>}b?A__<-v*zVe084Q$QUOvrEYt&9)&8OilN(e-36wLkWmtRT~uVQrpt;GsZGa^ zVi~((=;;j7+Srh}Pf^^)6n~W$N9UnWY2@~u+Ex9dDvR1nAzQzPJ!#!?}7J9EX6RHJRz&if5eNWl?LM{27gwSl2#6CTbcn= zT5pisQO?J;Ky-$5zPnmw;yDs|-YpB6S1gjpJ)SiEAr{#t)F6m~jYL`IX3Ga^>D4w{ z@_T2hSzQXXd3JvH!SoH8QpkA%PTriG&oPi9X04Ibre1LGG@tZhDL=ZZ)92i-2ZLP) zSQqug@!_;303i0((SIa(Yo)%td09)mu4n{u^U%K^Au$BUBUZv^n6Xgs+_F3$H@dK| z;dk99O-h*Nz5Hgc;Ps`f=;d~nRsAIl*LYv}E<{;N7seyf&-3L>GnLiGdl$;^qloJF z#Q1j~B>3kvvGWuTLA8?lyahk7z^}f3_Z(+IRiY;&E`sr(ZGS4QlY}n-R)J2u5`t!? zfe|1llSqj(yrYwu_Ydp+1T@Qd@L>9e#gEz0(2RX3^*3S&gcK680KA!*X1dS=GgGF+ z&%ta-G2?TrjU~Rb&pLV)qwh&yD~Zu@wq%VxiOQ7}FT1j-{O8)dXK7M>%Ix&-@i ztf_7*otdwSJ%6aRYT=8GkImGjMUo1F2tyW@Y%HQKA(Sv+Ky2CGc7b-s?n&xcHB4|s zA-6>#S|BerLPcO3 z*HQFiYL_-19bM7H0oy|0w{NfCv>}D)x_&x+g7|FO&Sq6Pes^~}pd?lz``L#!rG8UX zXrWC5mS6GW>@XE@)E~0JU>M)ha3+ZbCwwtGW$RdIdNYA}0do>yX|TGW>8?hbuPG)l zM0-$mQ?YsV@- zJr4a@ngk_{n%9%_K@=$2DBq=J=8=)p`&2+PjE@~4qQ>H{L(ccvz^9)-eWPpqn!{G< z=e!2yR10fqQRRAnd(jB5w`I%y;_7}DH*XR4TrUcThMbb#Hy_jutK45l2g*P!yeuXvf zJu+kTwZC8NTAV5jgn6AqLP18?Hq|7O_YKIiz*Dr=**m1f1Z zR>RA(@#rPMAcEprj5p&Ylvq3&!Ed84fPXTasZt$c86@LkJ|IglZ3J7lAK(xTZQvgI zXEMjUX&{aEQxTGZ9*oNOX;WV`SZv@Fh89W=%S)fhCU&+5p}lN=Q2bw7I4y1J3dNY( z>rqWMp#FZF;Q|%fjxIaR7eu^~3+FQc>XM6O5M`PT+N8nDTrVt6{Of(Rn!g^jo+ zcGG6u%NZ@k=?e(nyN_bol!}o@8Y=T3AI`hhx84gjv}Fq<=P`XpJhS!M?3rLt~Inw{!UyD%4cpIyU#YA8v-+GWzi<{S(%+ZxuwWV>2FaF{^ykzI(c+6;&bO zs@a?CGolZ;W5b7XrPFKiX9{AfSB@$TWXVgC3J&ckeWmx9&6o?)NOH9@ z&;2w)3J$OU*n$y3trU--<`vm5kxRD8J8(3pn!)dfIe8@+qm>@ysKQMaGV6>mBC^#q zZl3U+*k@%tJVQtt!C^o70)H&JV*?#KbTX-!k%>>hz+n85tswX2eDvR>Lf)eYY&|do z-G8j-jQHDSrL4rd8m~qp#m4nWsuy`|!_qj|DMCK6kwNZYk#+_$O#FY+YLHGoIvO#zB8!q&x0Rb}mKmW`E#FnhVrpkIa#; zAdWquU+}>Bn<}gH>8(^w!VTIf-5;5s4h7MghoejX!rUpF!-$ptvS+{(jHPF zh+r3FEeI9cg`2JDQNHcUM#JW(JvP5Ek)0I{S>?v#nuPI9>pIp9v|^7^S3WjEv(IqB zwV_`P$T15Yo@zxT)PL^|;cN(G6z;~DOW)xipmpm6ylgJ_)|R-8WsLw>9t;P5R^MT# zX{x*R&`Iys6suG=;|7HFdx8?56yQl%NPgDr*0fQnOXD!Z`1H%PONI}kJEUo*6;s3` zz@hyPka>oD%$@;%R3O=}7hV$f8#=P)gi{5GweX`21%Q(83V+(QByv;-1Jtp%)Qaiouev*rG?rJ5Rn-ej@sj0Xdz9ZQCdJSc?x;SU zs*ZyDb((Crl&qw?w8Xbi^iED=lBvPvV!g9_ip)`*e@6^M=9sXGZo4%|5Ie9FH4)fjy*uF>c5#NvvBTx|3nuI>-L*;b8uuFKRoo(UGwCD!Nr3vZ*z8Y^;Lq zj}vyi?K9$;zqaU^_^TN4qguv0MM z{B!dTOMl|FO90X8zKHSLsnla#apL(;&B4@+NmrcvM+atn7-(6(cLm~_@)67c4o;(0 z@CxyC4Q{@@{w6$LZ!dMNtOdr(n%>_?J_NhcIe}0e5y45^KS@w$A!14Ew;;zNW{H>H zd7M0p*$%qEY=3^I(fXpIAX4A~I@AJ--q56G zwA{Au57gI%K#)w0DHYV~ZXi7E-Neu5uA({@)*}zdfyjMKI)7K>W@g=nK2#I*h<^eY z%k;W(X@a1Q*Mf=10*V4|c=OD?$3I)kXJbXZ__jhb8yGTNQ8=z=nwH`KG3^2 z)|Ou}mhSmtUz=uJ$qcUpaB*_Z%8?RT4K8~y3^S?Ix?9A)n>150IKu<16J z3@EA3`!W%u-xnP34x^Kz9W^2KB}0hWwESztxx8P)%#(6MDhMh6U5jT9Rye8ON|sZ~0yi?ls1*!pp!y zH{vLzXG&q><4hDJxjKqA{UFAxMeloVLmhZ_-|=8{(#{OeY!g0Pc&b3xgMVI#q*1s* z5_x?GYnH(hSb~28;ZeT3EuKC! zc>SBg5O|Q(4A3RtA)rI9oylkbLj=jSLZUf0N(I7e-*B)@MR58)(SXWW5Io796@RH-EzP(;fv{c4 z>@y`Medu7BU3aGhmn=2}Kw-9b)c)GN&Zg14qwD8SVsEM;+c1oa@h4mn@p{IC%F$!< zZ8lbl<%(IxP_yUYItGPYPBQpu8Nm)UP5xk`?Q1~4+k)D*rO4~TAzJ=qok!$kBD}-j z1nEUCr#0i(wMOh|38VQa`Fq#nF9l zN1iC(IW!BjDJSOx{ zN~iWxT2W;NbO zn%~j)UFnh3b3>J3cN(dzB9``_UA=X(C1lCDu|;N3xz#wg_{=x|x5Xd#se);8EzAvUoX-Mn z6wpD0%zuxWt+OXHVlrSSh*Y&|K6_f$z&DkKBh2p#N9#b%+5R>(i zCV?(&$mQ1(nb$LymDokq(!f5P!Z7HGAz{B|tAE#?T(yF5Sg_j=Mcso744I{Mbn?#d zLQ(3pFP{{U-@i6RwUz)Oh=`RVtNxs*Z>2e|#|sEdUyQ9k7`r-G6?w`?c7%`gfMSlZ z2MSV#uNCEBc%w87n|d|^a`Wu+jgf?XeT&je5X>d1C}Wox{+}nR_#0X^(ccs7++iFL znSZ#Iu47}Mt1m8C$FkohysvfqO<_BPXUsvS&FT{vp*y}YlxFi2Hb zx>W&d)kOy(vYiROaZt)S1tbHxxjWSv3irfUxAwa{Jx*03s z)P{O@s#ZCF1ZKhb_0|#&exsbATYscK#cxcARNE4oq!%$Bzj+dH;OU~(9TnHjM< z{jid8m|h_0K;Aw0=8k0gDtK?17%fz-Vmttc5iBYX?ju?09%sunL*28n25~5}@PSo0 z0n8DV~n0H|wBrvm)i}W()x#Nq6o1sDD#Ac>Uq1 zrUoxTrjZTNUN@l|obu;Q7vbo^w>a_m*C!HFtfsB^yaq!@AlV2It+DqzBE__9rGrVB?=J&j|6 zsEz8)t6tY#3~}cSNbz@aWPfOZt7msDLXAl9JldrSTVh=N#6)H*xV>0-C8-Y?4aInV zlt5AkZ$>^slZ%5*2Chn;A48+U&2_v|3?{rhh-R{6gj@lFeo=% zy|06H*m5;;{rTzAV0MFkM_F(uI5d=}FWt-uN2PF?MAteTFwWVCR| z;X){l>LO8VwLUew42PLwrHxdFa1SKJ$V(Kfv*QI3C_&)ah_Y1C=^Hkt4`VA7#iE*q z@-bzXrL3&hVSim~GZ3prdANO>ycwC{{=+!QnM)mT>gILLNLK%9oJ=65%^3Ga)pwb& zVl$kJ1a!g%4nsEi4$Tqh@qZFLn~3AYcc=>aTAHW3d2~k!Gfye%5mr`crI=@EFf#1F zY&e*YGD2w}8$PDzy@9}*rZOnEfWM0^hvvxK;3QFhdwi5vW=A|6HO^*MHi*9Hjtygs^4^bIb2=gEyj;gsSz@#W_L!8YxIgi zIxBEJ(Hs4{J60CtsA2j15S`7PL2e+lE!QV~nQ3qIC}7(vHsdSPliZ~Y--~Mv$0F;; zMd&o4JAZlI})JyKT<_U8Dq(NjLwBrRadnjjU zG|sPvLS`vPSt=%3AI~@VwkZfwklF4Z4T<~yIDZYMtWz~U=CTt6`P41^PHzthd-KR; zKd=V%{O#1r@HZQv9MsU*n%iVID0EE!u$1c`r3Qps^;8DKJu@>>FO%IE+%Rgp%8r4g z>u8$BW5jQYyZM$%q-7SUOQ|>{FU6Xfag0=|n!HO57+tEa$U~^j)R zS$~T<@Vm=mcl#aI+Mcq+h-q8dv9r_vJZgyquP`aAF5%55M+M`5wsxk+O~^r<^I>nL zZ8&WPTr4{fV|z7q_#zYcA(LJ;u;eJ;V#z#1+Km^8Iav-1rgb>QDXP!T>q~oQS*|#w zsHu`sM$qsBvUfx29ILOy1vrMWY<$zAFMk#@ypim&@De5n0paw-%C!3 zYGcj;XRE*~FIZs%9J|5Eh;(wkw^@4KksBF(-tGC-*xSunzz=o?Kx6=qft!ne5!4*P zj?o|!&sl;?Y)Rw0qhA;~FBvSXy9#j3jnYEgls_()kJn@p3he`9nNMx0Z*N@!D}S@? z6{+&s!`w23tI}TgUpt2ifh^4!;U9~H5I;BbFeAN_y2+krE?CHH=}xOYCj-&BlXNko z^BYc7m-++n*r~Mt*$(Xwb$?G5rKaXfMxZC2Ba$K6SPzbOM)E^2E$wBRqUwA`zx=0V zb+3iXwuuU1*>J$;ot^wtFM@#@2K@?WHfc&~m?p zP3Iax!y9#RsE>^K8FUeU2oOq8kHVYXF8bL?pXV(N7jgZ%Q%qumJu$l*Neuv9t$!+k z-#rm%uQ@$hFdzvnnF_yqOfs8BX*TH)WNkwkLh(gZWhJ8oEe~pY_~COg$$!c&2L=NE zg?ieHAdo26YqHMiAZ5enf4^K4^q{>&+y(z3N)K;msE>j6A!O3_qGzArZ7;O*h?U-* z>hM9=8kV$^WN&2%8{oXH45>G?3_=_%?|%6#?4_*-%StNXNo|F~P=bB^~xsFu#6 z7gH_axWWLwf5W|gnaZ>nN`I_B%v&9UR@6lja6 zm7l=yDwzbHwru2hst2zZR(C`CoRz8Z2b4K{HVXH+zE`_~9EKo;&<-C{mbXu2rR8$y zafZYIhK9`Ff4sr&y9?36l3)ytgqh;4wHlE3!1>69W_>ZR=K*cOKY!B&2_edBhhbWf zL=DX|(#QKxzpV$VRj5`pg42A&Y*3F2N|V8L2n6-7Rtt}Rd);S#QL?xWtEzy;#AWtr zO~uUQxrxRd<_ma}eHYtben^-xsQA{WL}iJ7JU01Yj&UtN50zn^?gcFhO5m6Z{`{e{ zoGzs6)eslAkc8Ud$$tdKD{Eao(eiT)J|_%O>3cqG_?jM_^^*_AGWxB4Q3$;aeZ{RC z`f8FKH>jrtxqnV~=AY-;ppS2wiwk6FsFH*spp4LH#fQU8)5i?9-*KjdN7A{{L?$b> zrRhi#3qX;SXOTso7MNszN$o3+x~~%Aom*)xlo?S!_qgbopMMDq4C7l4@?(187{V+T zI@3>%=VPU8aS!k#wZL|8c13lsmgh>aDI)8GK@33HRG@~0*k@6~LyG`#ADb_zmZRfH z3-2wabhV2mY^QX#I2NoZpKJU#anxgzPG6kG5MlK?@fzl$2L|gwoPJ|$X993nHu$di zANvRzq}LwJEPo8`k?_acXt}>{5^#HTjOXgvyO&v?QPc=khUV@`9E%a0sj3XtwQux_Lsgm zOu@Ws1e^Jw?4~~VhXyTk`3hj+pij-BBh5>{WjmBmy`DBOidoYjY=j$)FSgt_~bmiraP^2v6{ zLT3x2m@_bS=-FEt%Ysi=!=w6p;&h%X1jRNe^@B53i^n9fDI)?W95FVHR3*~~t$F&9oM+)QnTk`|TG0sO8wEvzkqlKp>VLv3xA#vNPn?|_#MgFZ9I{s7jXkztdR>|4^|N&OTq-?4Pg3))RMH&+$0dqX)JVP*JEFCuNBVC#Pu_+%kk4b>bvg3+eV zCEgm_!{fT}g^cV#%&1^Jv(UNQ?ec1+S;59+0L0x}a+XCr1?+syzLaX zEo{j~6seY+aCj|qHVqAj*N!W_qiWr&T;PO)#4HYN+$xQ%!iGXf!;lt4Okfbd5h(KX z3dJ{a5#}J~R6)D{7sU4NkIXBHcl0P5w|_Ef-1I_$eotT9-%Cv7?O4YFn>7D@QRv$Q zF^HCmn|9!@bI;$b-ZRWdW4^wk05zd2TWgn=$k9F{vjturg?Y6zi`%Q#%xoB$&9nOW zo3#l&WsfqET)CNIoXKOptcviO{L+j@-cbG>{xMD035!19V~@kO|4MG{0%2Zx?tiQF zC#bT@d`4gfc`5Pk^l*RPihn&UYN(tL4Gqr)4f}_|r z*O9}`*)-_}j*eCm-_G)_@rIZBChd8n*+k{GWp?QlPFGy~Wp?Dpqd7wo0ON?YV-5a` z^HdrCr^y6}4IIXJ8Ubo3Tt&eBCV#5vNcPX^6ofi0+JYoSfXB>C)5teoyRC6J*v(7) zL8Us7Nwmpk$sDb9IDAQXf;vic6uFzJ?Plri;*xZdZeUcfL~8Gr#I%YwP_&I|*nh=<64NBe zve3|_!7gERPjs!>a@Sh1B1#KLHbheu$x?euP2D9=Q2|9*Z!I6 zq|x7(EK$jzN{ZzR##i+dk|5jEUe4f28>XT}pah$?RF%U#3!N++mLzp*_|F?NCVsf~ zD5tTfyla|85cs{PUfMe6EPsUYG;iHaV6-o(` z&m;C1)D8KVnV@G-oYLjEi{j8CiHW7ZjzFT6Kns?}->wG}lNh^Kq3t~jFh$mT_{_3L zdbdXxfrTIJs~=WXM}K!OJ-%RBs`u8vc#FRi7DkiDdJ?Dc+N)Zp?PJfu_g(rKwkXHF z9ajmLI@sH)d+?!x$JK59&MjW??yMPKyaBD$ro^3f>@s3AjM4W;d{Aws{VoqK%>F|g zFaN~;Dzu9MW08JPPxEuD(KMMcpQeQz>8Da41J_M4cB;~g?SD7~5Ir+kXY^r@8I%Lj zY|u+RxtC}N8y^?pDoceYN@^K9aO{)Y1NnI(hC9eHBH*w?hr2)MicDBA=P8#g#V0rpc z{<-k=N(0FYK!2I!noPwJj1o;tMWw(STLemQdIk>T>CFG}>|JI8hiN0~<`_odMmYOB zy*IH)lxoB-Qe(@=(pZgg^Se|dPo{~Y*{)cB1C|Z|C*37BmmuLz;zu1YJwyn+U?;X_1Z35N0J(FNS6L?5x4WaQsMWg*KYV_O zK%^gpo_~_d&kTe^o!W+)mA`lV*nh4g-~G*9B|jRsEoTHj!gy_bb!g!M9&rnWo0ubuKJy-<@%}#K4ta}iF@V|pZZuL)H^B4s zh*+uQJ-Po&e@XywVnAcdwUu!H?(kj*<-AFCUVr7#Rmcm99gOAVHw3omDQvIn{)K@# z3UaTJadui^ra{e)a%UgqGjH|^^zjDAa}8ZJa`WR$A2#q=YTI*Nyxp(g_w!4q$l`u% zid<;%&{+&st?f2z)pwZi2j*I;NEFQt(;%?^Z)aTPYq0(Y($c1wLtZF2VxIz!XEC5q zK7X=f8kbshKEXz9{EUknw-u0S$ut~HS@^ld6H`w|uFIBS4{mM+Ew<22@joUcDkn+< zJZ>S1J)QJ@a=RLYgj-=TifaNSlRZV!A5|IEX#s~Z4B~FVUpO+<%Za5X-Y}aK@eQ&1 zXpJ~8jeOokx|TAx>+{CoSM($~4Y*dL_J4iebysE5EX8{093hsWN=b}YW~ac%3WV~SoH}ohH^}_b^7+1OhU^!W6b%jHtaDS=KF#V4RFS;@&Uu0><@3yhWj|CixH2|HEM0I@t-hW#c z2zQgcLyQbOkwv09RV{+IhGIej++a@!8vS9(`jtG}MM=xpE!{$AdOpu`wTk_oTI7H^ zq8eDTm8)wpRsOm(RBy*yeGIG393K)~@rAp1#!tpud7WGm{vP>G;~9C0vURhPNdDCX z7^|!ipev>NPvx<(6y*P*fL1R(zJL5*VB~kQ(F=X!ut3w+ps_A_B1iZ>9?q-XQ9BsDGmj-J2r{Qa$ z_G?QD^Mvs-LS_NGv9Cy$61X{MwXbwfWl`rK_>9C10_QgWj^T zcdue?SVZB==H|oxa`L`4vpJiskjcfF^QsBNm1)YU_ZZxnj%=noZJgd%mzjy9CMy2? z76+g`YQ>FBw&SN1UVpGS`YvDdM0Dk67vtidvUQ1rMy(NjPaCtlVAQZT_f6tG%ppTm zQCANt)nL!WM0hiIA+%Fa!!st8!-voL-YbGDpZ2>UaGBfdXv^p!?#=>6Id zA;R0(sZ>T8AanJ|Cjq5Um<#F&)?o@!gB;#InHBbZAg-VK^+RH12E@Ydk$r55qcA-q z30>M*{DHiGwl zGLwLg6t_}G0c1J?G&GknqX87R%z**(0s=HOx50z~G6MoMHkZMK0TZ_fhyfo1mq)1q z4!2I30muWF=&k_`mpr2ZPq%WN0k8rBG&z^SgaH$mP^JMdw`QOL$pQj3Ft;(I0SW^G zH8GdLgaH$`P^JO+0s=NNmrAJtgD5vJFflYOFf}JIFefPrFHLV`L}7GgASgsSGB7eT zFf=kVF*h(UF*KL;sR6bcGdBt^Mrm?$bRaV@HwrIIWo~D5Xdp2-IX9DmS15m-SX*z~ zIt+f#uh8RqhD?@Z*%mMi=ymOBdQ022-2u}HEcP%Ij-w<#OYF>cx^}<*Q1YenC0R3| zs4Yq)Ka!s$I)qVVA;LJK7K5jYY|DeEK(0d(u?Zp;fdw{9atbdLq=G83g(wvQ!5_74 zuGS&SJ<$^$qAr+qDWab1B9|a$af%#&4>1aIM<8ZfAZLhi℞}bKswCBj#EH5WrKd zb`bMys|Pwv5M>RXF1WQ}2@C*^ZGn5@Ae(R(upyg*9S_;efjKZpVU{y^@ccg;6+%yj~{#Z=4B}nK8mA%>_DbL z5-zhi>FM#gzkr$H>A~&Y?)&|-p$p=LkQ*ifmmyT5vVU56%3TZb@^*B5ZM;N z^od=D17%+q&P6>Kdz)Y$t{(0$Pu`!0i_t0_#*6b<4Ekqs9CimrfQ5agHv!NcLNv=% zk4z1#$fzaOl!?>=b83O@;(dI8KjUM3g3s_J9^xDP1^ak}102MQg^$O7SYo*t`{@i% z@Fc`jJj1h>h$q8CAm*{ zm1bH?Gp(oj1QMI4RV7q^K$X7Bz!*>p^p3 z22Gqb%<{MqvEFt@#Cw`rhxn+V*T47_4}fIn_yUM_1ys9+oZJH4?(jW+z+WLheg-KT zC4TTjW|~UHdrl@rNyQ$6m|8BQS9(suCy6KVDyb9ozly3+7)juNYYhL_b5;dja(6jj zr9j}Ht2mS6(Oj=C2f2bC<*zx-pTK7tK36o)W{H&QOf(6Pf6JtPNWvwwMfGp4249b_ zI;y{(^#tw|xCX5Jf~_;a5j6&=p>b-mwX|2vsW@PhKXE|S|FWw6U3Jvd>$?7=c~klH zk+W@4UOEaw+XXp)jDmO^MpH;nIGIRr8^{!WqktG%h>|?eHJAvxfWjSbYZZ*pEPzixxnZGxjFnYdXzmM<+&4*fyXg6sW7{{GPSG$D)D2H+-UYE+ooZ^10K z$GoX$Y2dZV<`kQ7oj1Vc*7k7!bjda$vyG6c$qN1!$Q_?em;O|yaLvXm00{T{X*h=a zC#O3S+N%00DxP}WI7ly6*&Hs5w7`jqS}UBWIOYm}^G>B0!cBmRGY9XY;${ReiMs97 z_jEo^O~=rr9oT7=K1w%eS_X9Lb(pDANxV)oxn>6dQYDYrok45O+C@;o(d;Pi(3~B8 z)-Ydx<&;<(YU7!{9Me}Bfc90wD16bnuc`>nCL$W12yN%1st4&dq7`cuP^~xYws!|{ z(7(?7B-=r*jupKN!c2bH8|)8vAbiJ=?GO9ctK><(>>!UA^6Px5ZHW9ZN`J*kHhY{V z{&Mz6E#iO&VJsQRBzdW(Ef=QUe2?QnxCpa<2D&v$-funrKIrsknqG76#7ohkrA`4Y|GJ0n?VpgRwGT@)vyfSlPK`uOh zlLu)qi)1L1#|50@bLEZ*0Y+T2+P`N$OpM|<%?d!OnuV81I9(<315u8PTrD9UC2-u% zm^)FIO07V(obEs`Zy0CbE#Jk3z*d4{MJj_VjH7=P1e?`lO4N{m=@!h=r?IGotDMqM z>LvjU<8=`SQL#JH)u__dY2zJoaL&kotGuS7m0EN%@N}xQ186M*r#nan#Xl(QZ4G$=&U#nZa$-WP5Q9SMCO^W)tU7w?6 z!(p7PI$7$6?&9E`$}`w0_%@ZV-O0sLM!OmUdi}ikAMo<%HVS2KWOHaGDHe>OB-3NKS>dSxInHZ%$^S0Gz4ATuB_T?#K!Z*O!UF*Y$EFd$M2 zFG+4@Zy+%?G9WM@QVK6gL?Bx{F)>6&F)~9oH8(dzH9S8n_S zCVmIEx-}+l*pav}F~-EC35iC}e>T57nS0JXckUb!k$;g$Bq|@j3Mn73G)WMO*#h0p-SxpsTJB_l3Euj2`RWst&`La z9WX`BlRxks)6{&4ztm6j&+zZ_5BH9|)m}IQeQ*}~;T)WY3}j&dF2M+l!jOt2{r?Se zE-je1kR#Ec(W-eL_uxLvz%0zcJS;#B9zX%c;4)l+B3y+MTvN%E{P2r#9VTE{CAEL= z4{mTc|K1piF&^`I+)~-A`jUt62v%Sf9>W?e!X1_81z%i&by!k)^}=h*umN>=0#7-} z@5VFOge}-sd7blZJ1XxRo_1Bfyd{~a{(TwlpF delta 35564 zcmXt|mwS@QuOu_MCJBy* z-rR>oCRY-Zpl4=ahb5m|8eW6tV5vu*Kmz4TL;eSf3c=3A#+0_V4@w2Z=<3E@a3uQ8 z)}E&Q*z(_;|7_5r`<<9QWtw2xzzu(BWKOWe(Mdm)il=uhce3i>`-o27uB-4gOrwEL z9a+VD_V@aTq3wMVGl0L>>tlb?;r_5@D@8kbn_pm;Jj8!ok6^Sjzss9%>(kfy&->@v z^E0BfvTdlz30|L1V=W}$PFR|i)>4_1uxYW-^L2MZ&zu+c_$5_m|5SEs*j+h!q&A7< zy2-coeSZs>3LqM_(Jn?i@VCEHZGXTq{-(sHMF^T+>%10#uppg!je)y<2nfkZHqV4Q@P~Mf0B5Rhv{-DIJrZm;bdU+2p!0NCLJ^w*SaM7U# zPK>>-PC3|O_~8?W>6Wffd{dDZ;NzBKpExac6(fWtf^_GLl_VP4bX1&jN0fF`FbxXN|*qQ0(wdS2*D}KP<=?aBX z9wViDD&jon#Ly8CqPSM*XjtU@>4EbQV!1MrWcTLm$}?_G0ZM@|(a4Z^`D>Je9D44p zrgr++nO|sW!dBIUJ&9%a;iZFhWoX4w_Jd9OHzP%P4(?qx4RVC>eIPYxuVBY#ZCZ!lOO&-CV{7rD9#r;I;80tO7Tfl8m!=)`5YkiJSI@ zUjr#h?Qj<0wsp#!^dkJlcpq>_7+!&J6|(d z&sA%A)xpo>blR7*o8Pu4i=iQdDcxOrHVtffaMK9iCirQmaTrmbuEM|YD>GhTP?5P za@J2q(RYuHeQv ztj+yXsdp>NZuINfGRBuc}oGCKBUrrEW0gFJqeCeo0a96Q4>WAm@25I+n)#zq~fbd({0~mn>nj^ZUF-Y zyIK}RnxEiOl&f9g+=0~Eo{pT6Lb>%&h{_mt0uMeKKG}N9SdhnHv#+dHQw{&T?qv0Q zSN!chHA;!ReXh61pAa;-S%biYY*YWRPh$WZI5}hYIa9|rB(%{C;z9WZGym-?eTc^YBXqxvS`4ZF3wv ztX>^Ji(wGU!#;*Ce(xpc^FAYCLZ$1=x>3$HTEZ$gxX2RNVXcxA_K{a4bh9=Xs!s*o}_+iw}eAo#GW$iW}A%*-`uo{u7VT@F#wa1norQS?ukE zz-T<+w|J@N@vsODT+)O)seHiE1R0l$1bj?au>_4|n4^P%RiKwR;25*`;&Pm@da1W- zfcUbhg^xsg2~U6CPJii zakUau46$@Q^{@uAJ+dmd$Oc}@zxev|d-yfKbYvf*GL)ZeUm9p%YbCcuPjwWH#s05$5bSHmhytKrO+#$G)sy$vl`r58Z{g*1mB;zPRq)B zW^*6=>+^{X`H&eKvLTp~2V~S|2!Xy|Rv2B<;X%`_LI$kJUCH*+DEI;FheayN`9Vpy z^_!Z=ScIE&QMy z-H-X$K{Gro&*N8xeGu%n;Pt(}U1GDIw-j>e<~?{>hAm;}L6qT6s@QI`S7DL`%lo7+ zKgQm@=G zzkm|U*a{}E4kjcB_}jftN;a_|!v!M>==}JUE^-ml>PdsV%d%eDjRlZs@+yJVlecGT zf-YDu=fIW@m{iO8aM>iKlBsAA=wIQl98LG*KYFR=)}|Sk{4YB8QwMyuk@aa zM$(G|-+~MreKQ34x*G1a^bab~Kd7c`--t~&phX(X(;YEO9wf8mCPo@c~ivcWe6DZjbwGT%FyA zwGD}T$8ynr6@0hIBc|Ml9Wq|AjGgFD;+_pZ*GO(*{D8sW1|~OMlrk~U!_r6Fpo^Jn zB~|A;m)wTL)e_vEedldmIa-#0{8fB6TR{C$K;Vh_8tuCQW8=>;SY z2_lP74mfS@DX>Q@3a|M&JW0sO%IO;N661$UAYgP#GMmKSz-2%$~8v9-8=?xGR91A|*e zal~4_G1pgyAZpO)Hbh(w-si{jq_V8kt*yw?888}!Q=7p4z0)8}jci!5&yyy!MCI`V zEk9@&c??0+A3JNrRvtmr%3pcb`Uh~`>)}SN4~ZKHM#M;HQ1@MKDgI&OQ*V)jB0XLWpBLka<1`RasE|h zs6ScOyFvSLNU)7qwwM+^-{$g&{o~6lnq`92`5Px^UQD5YGT2>?Py6Gt>?9!ueD z$FhXqe*rBV)@UTiD`?+rUG}0wrZnro!r<9TwM<+M^>LW1jL<=D_#2W^GXs2nVk`C^r+{rPzls|^2VDQaF}?02m3zkb zc3rb}#cp27@G))hisP+!2MXhpT_01ikx?5W|MS0Ua-9$@2sVP<3J*r*VbCb`EMoEkfw{Fr86GP%C&4ZbguDSG5fa&cMWT$ zSM|QiT`<_a>4`}r24%H!gzHvijiX}pJaK7Uv6?CnSv~a9;c{Vz;S9w`?fr`iM>IBm z`JQrrBX0HfL8q2J#0V`|gT4!CQ%m@-6+%2|*-GE}OG>oW^|{r;7JwuPWA<%}YbNT# z8Hvce_eYO8U#CJPU%tBU%>xR!l$$`ZVoTy+&8o&Ld^j@Qk@)1)X#!1jKF#Dr3Z97nIv(3MK~kY6=Uh?7A4 zkCl~id*JWVgUkM&12BN{a6b9SL`FX)4(5^hRw6zk)gX1Y4xMXFP}|6kx4Dy`c~L`8 zYaXIu8FQd$ePd*a$*dv6bEbn1jhV+*4?AdO)y#ZR{I-acVkf9)+|>>?T@w}DdZ03r z?Kr}u3KnsakP(o7tP;;b?A+}59*@sovp|AW%OG4uJ?zpl1$6h1S8SXN)o`!lQ}zo+ zh>D5u$Nz+v|0JgMFByawRI^a2aqCX^slen|q8at-BkuD|IAm3M4T25m%{KZ0=EDgV zU+G{l{!M!P{e?HV3xrQDTnmB>gusfR6Do0JV}R-FA20A4t(>ekw)|vp8CyZT+JREw z2oYshqsnE90`9|jbP`MgIq6~nl5|8c9j7|z34}nN3!@X^TvT&Y8<;ZK5+s9-i9~6G zVeQ8KwL79@%m?~3?T?n$S)z2=RIP*N@)-d*C^H>MrB5z2e9)KaXDSfX0@@y&j0^Z; zydLNQ^=WpH{@0|!1+a!&7ei-ec{bNf5HT^vnZL>nK=j*lxq{9Pld?Lsf__iB|1H8jhX5vax;|8NFFYn31jh5^=Lz+MS_1fesVStR=)Twtp#vOLGoy zNdaOMdTt0Dy_$%l+iGKZIYD~Owa$({_@7LVT*YRd+vHrCpuDXCTCVAlT;JVmn`%ia z-`O<>;4ZIEkH@{d12=Ty&Z~0Q`fYa8tWTJ~1tNxVu~Mla{ryZO6rj$x-fixNFZ8pT ze@BGdHS1q1ZlY;79x`oTyibL<=KyKAEfG?>mKn+xwFsS+82-T>sjkiR_A6ufA>}w8 zRw_V`&a=UreA1+ir0EB&+V{tF(oRS0SE#HV;I2Utq?=BI`@T^Uor;b#X)=7PZ_01u zU5k$ZV%MUobT6*dQf*4g=irL12EVdm6Bf<$+s;%uKleIU%(69dggCzh z+*2QE4PWDztQKTv6Tz!ntT9WPs98QpYsDmiN7q7$dn&~XS+&v~@JqVC zkrM~4#Ep+y5&9uEfBT2b?vs#_O2WZC)!rkEEb>H+Hqz>4 z$c~@8B`!9W?%1f9uWWFPD)$4y>oU#gH1^@<5}s4;+BnT50$NTQeFe-OX@)lrkm!Sg zS46TKsAfi7%{gz(nf#-NGL-yw9$#rBiS-dSvN(LKYs--4GGo|UygVxwHP0kAdtzKG zGh;!L>TryTx#+XvldoTja0q`E8y~_qcKRF?_Mu9U*nCg5(CLzR8UgWNSJ?^OAA(x6)H2(PzKX=kQNWyQPe!A-3q_l2tm+9SK&$6# zf@Zb8VIZryhn&r0Ju5|zetsXmDI~Tp@VPFs;P+_$L8-;ae<+rkqN@NLM`;-CP15HR zKWyqJ+`r0D-{LfeP}LJ;pDa0PzX&khg@s4$J4t8EVBEI&8JI^P#{Hn8cO<@pC&`@je>)zYGOP%qHbplu_zl}&)=!Lpqyc-_VhTFVkkSM|(@bnU~=& zT33!odGO!+%|U~4aRwiRT2FDINlZ>?m@Gt0L=MK*uzY;5jB;l77A}@V>}+ft|BL;k z-8ZEYdsb`b%=Cq8sj=Sov*D-n@kA}j+yaAn(|BaduD_g72cSx)61`0Iw|O%Gse5EIS-e9zE9iMomG>w zj30fi1X*6RO0Cp7Lb=VAQ5B2lK*y`&HIK$h)emAjADlvar=ZGWgVuTB&dY)+Ofb&Z zc3d6B6XFr7`xgH1(N7DV^N@=TE3EOr^U?b#qTkhly|K$nTIeP^{d^qUr6y|R2Du97 z=M}Vf$9zBOb<)?WZBF`f>fZ>EHCInX% z5udKt7x{eP(KBxoY**IRa#{VAZCO}%F) z0_N&~Z;k4vAF}}z2gd$8fN3=dBDY2mWTjUp?LEV2s8SGfluviM?tl=-E}@1@-KeRF zDP<>_6e@K9$8X_4?{Y)B907mH!B{@Y;AePkyccTL@ioAe;$iMYDcK|*b$2>c@8`9kgvpVJl>M8D)WQ8<`GUKf_^4LJPLvl9}jh58iJ@IB^|UYgaa=E zhq1g@*Q>_V`P146LG&miYR9^Q;ulXvj#>{RK5QF#_bGu3;5|r)%^@1j*4uM_zmucyC0B#9H7 zxnm9Q+DEsbwhS@00^W%XadsL(fTCeo;OXJzfT(GF?Yx`?dh zyOhBpMZKyL{OUs7P}Zx)2I7)ur+Uc)ZQ3Y3e=R?j3im+5i-xM0;nD^!DgU3Y5c=r! z^iIUXglph%u;>y&iXnTZzUFJH(R*PtOL8Hx8%_&AyqPXsF&N3pCU!WC2bO4rwv042 zH3fW6K`$c-p)lE>(J^JnD7;lK>xONK-#^xopbtf?S^8<-!NF^77uK`rK$efGn7@Zz zKtqY8$k}xh9hJu5hER)ZnRr1-)cwx~Y4j-E7tLfMnp9N$NSD;t_nxssW=WPC#wZ-Q=CnoyDZIYHjA>hxnS^!P zhu0KXOwEhHYBxjv&9$U36t1XTeu~-eOI1_EFZpS-f79iZ&c!(8nc|cgFT7TT@~7Z4 z$n$F`Zcoa!d%*WD`!D}(#;0Lnq7qIBT^$)DU{wM_S%6WeZsuQ(zG%iavM3_cNkIuj zJ!Tr$rKs{rl{#)}4mB3K3{a7vUD`-Z0v^ayM1QGFe}gDbQo{YDqEu3rR@bvaABGW& zz_$M03!Y)B`oo~^|F?x7z1{tKM-0llDkuhWX@#Yz&A|KM++%*nqs)aAIX0W|hz7DA zV09YwARsEe&!74j0O1`QaTO&z{&2+dc@85sZfneazS%E_^kcK!x17LYex>80%fHCM zBmOJWJIA;Y#SZP7&V>VKw{;cA+lZh(h&B{Xi<*2nt_4EZN&s3ylun3U`fg)Pp>Q_|aL`IQOAv zkZiMezE`L67$(A>u`lM|M%*(dn;<;L3G>IZ-pd?{HGq0Iz%a$t zm#u3fQWsy9HKt@x6EePhEv2Wq3TFGhEO9=)AAp_`yY`0%G1}xl`d04S6aBOLhT(iP zsx}ni(B6-l>V;h!NzfJ2A(VgF>pk8zFzkbF>7HJ;KZDf#l0w%;_Ueb7J1z z@{#v7vyZ2kKTWURWc(i~YZ$#N-~;wRPCm^nrTk1!$u$?}<6vxV3elFW?%c&#gYO7K z-8k3$>!cS%NezbNDGuu~AqlB~R|XAMwX+^0d8lh7XkQ}KTWRi~r34-ha*ooK=azw) zt2AoK7VJ;7U_@Y50~IfIVjz_aXg!1ujuWX7k5f{)u@DC?zFn$^B{4b*z>@oq)%Asn zEh=iM6uczMY~jzDXpk;TsG__=mVwl8#Z>vTj_lMpPrRXm%BZa`|4VfcSA=4}J#JP2 zC*gr*;&e9iCWBn)*c?5pkLZl7GRF3#F1}$VLW~Np3z*K_sW;is>E*c7eo`95QXLr@ z?B~K4Yw_M%Shy;0_&)eOP?u`hK_W>;8N1W!8q#K1(@c^dux?0inatq7-R9RE7kAfP z#E^F4XRQZ-kkmJ*tInRNn!(8T-+M1L`C1wEVyfUI3WUqRI>Ms3d1de~BTCB=oDz{h z?Fa0O7ZY~4t!VTHIo*E*5eMuMx5MW3o$Kyv8;3@*$Bi-zXeurM*l@xHRKeW}91bY3ZklLG=*5h4kIl+!G>rkZm`^Tqx)1i)fyl8MrXTJDS>a{Dr$(#g_P8 zMXsqB?OiOa<)wBf6yGo zpGexE?6|jAeoch)TP00CsU!;YZ2U7?Tfr*^lim0ci!e9R#M)h1lLG0UMg(QUygL;6 z^O2l4CRZ9roblQIGfL$i zGp~A2M2B#KT!f%|y%HmEdugjdpK7?wx|;nr$2JdwT-qzehs`t@EUcYOej#-Gvv9|n z*lh1^-Lxzs#)o^SZ#9{nNe=Xlq{%-1S5rxVJ`x>J%#nm>V_w6-Mpj%b7m!>xA$XLV z8BPg}%4|s7pkG)C%|=j{f3!)u_X9*mOhk$%JUA?ZF1JU1r_lmT%QGzB)*hLQt0DQz zLoM`47$@3B$~Wm>LO%1Od>zq`2#SIgj0M$$O{4q4tIF5h1eeWN+-z|p+c3ZUz^)q; z2rD+=4U0;y5E>0CN2o-LKYZ*3CIMN14QBd{G5PK?c4a8sX$lkWp3O6rDSyhWNXjSbzoSL5$YR$ruaB7312W;- z!C8YdPec z)6;~QJ5iH5ZnZ(~`mdb4tmj^@k>S1%D(MBb@aus)-`gyx~Z zQ$5`3!-uc=>5{@P0LXIZdr0G!Db39xz}wpj7;eFRS-iiq)WuSpnW=h?FAdbbmgbN@ z=5ovSf`E8XpZU7}GU;7+KgZFzdBGMjq}R-%VT8O#L}UBXY)C!&ozpTkj*S`@dVa$h z&NP-fVv8Rba58GwZe&ck^IPR+{9hYTQ=-~aOGw~1;^VdZjQv!6jq9PzN-5(l4Vk(^ z-eHxwah}FaearW1<{`!ciCJ7KqkFgr$0q%2x#eO#ObpI8jw0Lb`+7R@l69o$@2x6@ zqU2cmZl*5`0mrT6y^8rPoNxr90(`G^mM+`4TgDSqdF}6Q?NfCU_Sa1JEH8SXjw(ya zNl2~7%X2IXZs)~iyT0n(%~^rjnRln0PJ4HKP*@KF&E?yiF@>oiU7-t<=6l0|&}rHJ zj3j(pJiAz?)1gwqyFH?iZ#3o$mi<%P+OK|CNN@S^-Z(S_Eb)4VZQ@8(V_UIz>B8BCv^6gU|o*k97t0~a(2n)^m~77 zOLpP_-toZQK#XP4^_L$|Nr9lU*s$jRD_b4Dz%SzDyFOQ{xr>wb>-{*vBg4q9Xynb#0!wacO@IS+;+?6v|ha3OlV=o=L0 zjm7rPK8+OYb_l;>d|LDz?q$+Q#!7d`)V+~Vl!U3sdU8VUR#!$9+@|0ownbL|Nw!{Q z?~&QzX#DA$RBr<6QQpRw)iK@@nJkV%#BU5M(+pYcr@89&2^Y1UM`}n9U-jdyi)c`1R3)8xe!5Wg%=BcN~$Fng(0&H z;uyTDK078p5~~?s<($mAcveD9Bgy93eMonpiK!n+rLJUoPssY&;=YDOIxgK>Kypz@M_4fAHx#6=+UNf; z?DrPB7HNk<-jAT=>S3r?*0TlUQ<)oqJf9p!TJf$`r+@U$x(?4fXJ1kyqET!4PIWGa zVk1Bw@%#G(xeNe0&3cQqJf6o=#Fvfcxw2cm-6Imrp*U<~$hC%a2q#->U7`_)v-rXf z>UzZ3SEH$aaIVW*zj=m}b0_^Mt2Kircm$5(Ng|2(m4x4C!VmPhzJ^bFCJgEel}%A& zo@ZHe`DedF&||EAhVkw>3&EuaC&^6816vuibWKv$vT1W{M$oZ8H1|qNhI%I+My45X{}#(~ z-^4bA{c37bS(auM9yIbvCHnpuLa52q#DlEfaDbIB%vHK!`^x-VCI-j?iqlSM&7+bK zBO;n#MScTLytSAy)s8t9bQ=4c`b^6(r+qx2{x_0yFn&nZkPA(Di776_26z35+Sk}v zWMqvk;~d`!KjBh(XrA2bWanK?i)pG^&O!g}-WTF)(?nO>RKFzi%m1?`1pS2wevlxo zeH?=AZrFI9e3a$wi8Ykl}P zeH^7PN{wDhy{#z>2ro&8`zBGOM)FtQ?+rq=>+{Wt3dvt0Mt*cn#~tQUp+gOavjL8I;a1cqc^-43@#z-oI1WVSya-J* z?>YfKNW3sut1)F9lY;vyVI+s92FE>Rl-+glmmg(4R*(Ae22OZ{aMXXfpe1e^%t0wa zh!{(l#$dtcGMvNnPi9nREEw(FNQr;krazLeCVVTC=0%zqHTN~YL1g-HW{ISp%>&)t z$|yHfW4LVKqu}S4P9(VoebO|5f@<3sg$Izd1`)6&-&|V9oHWC#9426m@y09p@T|89 zhj@C!(+CC9`FF9;;KGYPTK33hB+1e0+&Z!TdgElA+HsO`5IU=rBeLIJ)LE7s2FB;c zWvV%K{9j`2-7iaT%ZTTXYZ;F$W6B$$t(MGA|IU5f-jOVzEgDjZa7#(x%5Zls;=daq zhKccO8LO5&8h#8`?&%1I+a%PEA;qh{h^ak>+Tyd>n*09>Y7(-z>yGssGycVAB#`C0 zt|DiMSBZC^g5}H)q}Acp=l*=x9R(E@C6awn|4?Mvgy>{qUS-hW{yI#58H+3f`=b|R z#uumc{^FlCe@USuuAC{)fy!vhK`x*sQWdbJ`H}~w%qWAnw##1*s8ALTH+i-ry+rl1 zGiDT~&#OpA6Co7?V^(A|R^Z3mcC8!TDR=yVDHN4DpK(#5ezE3Bciz&LN#3bogac}$ zKO=p8+Ok?_^}4g}N`lAF9MgTsw0E}`GwO*RZV@5P+L1h@Vha9^`#i!{WB`0)OHb#- z9xG6Gol7@*^k@)2VRw$c&!a+jds+k0brpoH>;nxb526b!NPaf``$D1DAGZl9KW@gt z<1a@MN(*aaf5X2%>aJy4m`YJ;X4_TY~xK}S;iR+8rVV60lkvukK!Lgpfs<0fGie zYmrAabvvG4A|NGc(1?I|Nm@(6qg|S&X0Oy_0quJsh+MMY6uMpS-~j{53>gV!210dc z=3hx2p_p+*hCAJzU;{?Ss|WIN+B8w*SAyH$vKC;D1jZw(%+m(0>PVfJ^~FYz_f#+c zSQuN9$ha}yf>hae5uXJ=34ahDn8TXcn>xEVnHkyrkM$pvg@9#dW=-qY1x0HVh-=3K zV`l$<0={Y-7o3@y^Z%*(MG0ImX72y*x{1IAV`2Uuf!udU*OA1#Pq)=5i>XIe-Xk0pp-yWi;0W5UMmIOrrUL$@n%boTJ~1G z-DZp3W_cuSi=A4w+Q;&JkMG+9m%(%1^}R`4{pt|A<23toDUq^D2_{D~C#1~UX8Rl~ zE7L6q8l7E?UXJ>u9r|Va(W$!sagBeklN%Q-tTJVOLR3k2PI>}dJXAgm+mCQic@R1} z5OcuZ-kuBA|4(;NSyD-R2%Nu+o_JDbYU;Hh`FA=+>+YrOAyU zT$A%F+%0hR2NnYC7o9%{t1K>&keafzu8uH@5P5k%LOjFfks1jqFDFUg6BsXP;e`AErH|E48|qI~bgXaQV-{^ZLXy=?hxI{aTC zKoL!Z^armZCLC!RV9cxgr4D{M{iTz+k=6F4y3p$a7=2mmMblkngE9yq{uhA_fPlq_ zMp_nR75(IdAyxI}#Z~mDp8E;JD);XkIY@ylf8$U7{PrdL=2ZIF75N9ib$>e?erd*j zrOAGLd*yx8HU(G4!~`Z>?Sj5M$AW(7u}HZ2_j*GTLA_YauVHb2e)~k*(%bQUE9!qQ z>!7~exO^iTE-**{ns&@l6-@@GZjgf~PP8QXs6Oc0eZiTh9cr&1VkzMV*vrtP}NJU;O_}ryi1F&g6 z@gXqT6~lVlKjW+qujIc^_6V_%k-ZW9Ir&+kF#U5wqF!%4-?NZ7;j(VNDGq!6)4%WO z91izQ&p==P5qkr&l_5s;8v9v+){xM})S>=(2~)ub%zCHuAk z{iuEuocYf5CYl4c1Z!=vbr`@kPD#i)Tky{jWTAfg90g&0k@_R**{CC}ER^Hh3rGwx zxHs>4`%;NcvdvnQoh-Buju!l!o?in=oo@YN`+Fk-X25dZ50EU;PuMGL6cI^$It@+1 zO=I0$h_~ZI<0DYS6m?6Rp?@~GQw^NiYfz?NSe%2fv=)N=yrYC76HIz2^_U_^#z1Nc z-M@#MI9xm_a}Yf!A|3o}jSmWYY4W_SL+g@Q^D93gqh`nrRY07k$cwMF&z@nI<-W>v z{WE@kt^eXM3DgW7#yNJLPGx9Ti5(jZ)XG3M#Yz2`&!BXmlMwkuPCOZ&PAPX=X2c zwcuLExrLw}`Vn6kf&(^Esqz#oWAfOk=M!Q0@-Ae(46yid9P3lf$Nkd{TpVQ~?3Co^ zx?_fcvC<8h|24!X+*_g6Fbs2jzZXzq*K8P}Ca=9b6;~xJ0%zVd@>saiIr$}!Z|FM= zFPXB@U`Ko$kuX!%_S~+x>~QnFvzbObLlE3XWXa`xS0vtIi#XEgDW+R-16wSDp+Tfj z&=*Iq4xH?RTg|umwUvZidq0$4+q3&Aq)F+x0cfLsu#83=f6p@EZSof6mAaYiz?i2< zCvdEY?b|@*&G8=Q{pYjCkL5}g;96k%Hmgx%?zgMX6pfPG=(W0T&vSdX-j^tvPI1#i z1+`?F-_3=~MA^tg20^RhvUHzRM1=k5Db|GC*TG<~R^k9UI9)wN8~k{YoTzvcfVSpOSvX-Z6UT;8B#O@+DZ=Jq#0QOEIMbqz?%+}anDj4H(;3E|?@tIB7j@5KtCnP4@x;sgp zFky-6Mx9VeK--(altRl%qdntpP+at=Jqf;PQ|G;3I9AIqF zg((v%zlF-yX3pT`nDxy%Z0PGBA+3f!HFvz#DAKmTU9(!ZOJx06iRJ=jZGws^B_$um z`-ceex`sS8;xOYnamSr`e6COy#8`Fe;0#}37`NlACrp{f=A9TH zlIp~4g-bXsJ`5I)EU5@B(~3Su3Gjmom^a!<=LtZd%~M(O1; z`ulZaydDlgzudK$fHeGvaiETv)_Pdxb)r%mb~do~>$NMXGF<()ZKrpgC2*C15FeV0 zRwJC<*xe<~Zj~AnlGXakX%tDEGX5#xZXW!y72q%!Mkpw|xu@Aswl2A|yXQh7lrQE9 z1qnI_W~Iwg_GDNbdXx9(HA+Zt2lr(VOWI?o4mI%&=I7yo-?5?Y^vmPmFG*+I=cvzh zh^lVu(UgR~dQkZ7THBKpIRIq->uI~1er{>}WthoQR`W82*RvoE=?LnnU4oY}O)5I; zMu(ST@gMxxR~K@BR5{-AC+PvrNCAv@)nLoB)anUZS!*(kAeBqdOc&WSOFX0lXh5gi z#+`9iS&QR~Z#Uf)dzNBfv5%!M-dp}-8YX2&V$BSS!DR*MmRe(&I$-SAI6`K2&ZweU zu)zDo^Rb`c&Hl{`Lq(LJ@nRu1V@>kyCcp?`IdcvB`Zo!dLA-XKrnIoTi~26=Cm&yW zUb3MEqqP|9_KfJ79rEUA-Ughjj-X&NjeKtixt&s*GqvTKrm^a9(Gv`Z;uW1>*c$bY zF@cSj>LHiC6|7;V08kqzs~ElX>6u!vRIbbusvei_DRzrxG3WfY)Y{hVMr`6P18V!* z>B6XJ6>RY8(DRNqV8pLEyqI7S1UF=;u8^X2eO8=+B5_5=XT(vf&zm3J$wuwp{J*LwsG^c>pvm!ZU^fldSo~fCbKi0Up^2w)%k7MfGphVB% z<`ie}#|%^nwdw$UL^ij|l*tu2;&#TB7xfgnmy4B{lp zaoNBL`1|%1G}W$kXkGZP)>DLcg_`WhisTr58M}?N$~nQz+`%fVrD{RN<;b>85!*hI zL@cNNvvX}Z*^X`^vOS0EGGX69!{O;9)izf!9$Fr0-+wQ zeIMJ|W@hxudI(G!UU_yu#AO|`q^5JVh{LrRP=CV@>FQZc3-65Ek{KQGw7Z^Nr@@zD z+OgvzT6OP$b%-NoK|fyky+A5UiOv@n`sI865C8tnir_!!FC2(@1vR3RJ52xfFC3Bo zN19KzyFP2d$ya;<9E|2j>*s3yznCnl`GsnNX%|JteQu@sMAq7r%XNJ~m`%zBsfdLh z;Pa%w109|9Cx=4DVrU4Ogx5t)Y0+ml%C)_yIZt-dZQ3}jox)TG4M?al&&m*r%HZJE zp89DqE8XOSOK4k!&%aB|yVgWnogZy}4#^_5S>m&P@l;$O+8?-N_7!H!8!1SZlToeF zxzVO&dwea(c3)bjOZ&l0Oh{K1Re?bSxacxb1gKifOBX%)PY7Tqxczr2h8KUoFDAW~ zcjKW&;76hD@?|p|?s;1q%mWjCz$z=~$hgjiywTi&5GlUG6=}rGnObKkU3nd>2gww8 z_1_E4Bp8$?g@OQbLC@p)7DNdAi88GG z!hUUCOzG||BdcJFV?Qkzz-cTDph%t-?Wl`UHlAU}L@Hj3e-?02(=rqX>6aSp2kl7W zK~x)kpjMjUiZVCUR$G^fA}7#{_%QE3(zJZjmNQ0mIVeBaipKxziaC+nyVGfkofG*L zb%zY#Jy9Y``FF0)E zq(~LT&D9M$`wfwVes{%Q}9{tLi z>Q`*;u}Az^QzC!k0HD!=1{G}UD(kcpcz;&zN=bsUiouxeDY}f_3(lEL{&IE`nzH$0 zO7s<%!yGnn2VOuPE^v77cej%Jk8c%3BpW(LKqV43v?KVgnDd8NBMb!gq6*cIK)jKj z_!YBhtW3#w8xF2BF+MI1xCg}Ui32ps&cLfgD3B@k<-DW&55Q&KAuksBl`?gIdMt(8 ziFpT36go*gvJJemQ#1)#f@`T8waRIdnxdFFy5Acm7VQet$1}iXgz&MSEB55~>|35w zKryUA`jh-it9Yzwqkqp#cOtsXM0Hq>c-l-|vT84`tj}m9jVFihKe!k@$!-tQa(Co* zVoG8l{+cm375Ft4x_e)+;y(C zaa)aF+#d+l2~PNeM?7ox#L0O2Kv~~*Yp1)`}ca0rDujMu?AFl-bH@zOo!6YoxT)Ab|6c>dSqK6vB^uavuSxIt^&~sFw`-YUr z>>*&v5qH{}Hqb<1ZQJgfsovDoq&21|0x!+-1K(v+$^y+9N0KDZK5)3Z!Cd>K%P66Vm<@gzn--hOWqhGNWp&t0TJ$5TJWg{B#*TiH4pPPGe0PtZ*?Bq z5F2o!kmpC&wWn1hWLO++8IC_E(Kn8jD07tcdDs`NaqB()`$=2s@Nn@afoqSj0Gc|| z)W=rTo#+%bo=I;V)+bv_u20vHn_%4H78?V6-n83d`II!I1S$_jlo9c>*$mWL!k97# z5D{PDPvqz}3eUomqjl0oGT<32W43QL^Xw9fgyxomEyUFD(#>y}Cp0?jGPBby9#X^$ z{v1guF@s2`3SCY?qna`H`DW4~aBlS$TFpQB(p3RljCnafWmD&m$Y#v({rlQC-zY$j z0W4RiX>lq&o3157t&uA`t%#9U#upPEc=_GIcG95+=G_nkW zA>1Qu`K7ZmKo{f6#6EW6J?B#S5}Fpi=isLMuy`h-D;(L=Fw{EC##-lG!h)z3P zK{4=n(4ehMeEM!kgeftZf7RkO)Kt0C^l)FMX3Y4&z3;Yp9166G>nP|gmu*aUz`~j` zuMX&UFj}PupzwD&v;}vC5rM-1C-oSQs_@FixDW;>?b%f`2B3VbRwe2VI!h$4>9sG< z7l6u4TilEyeb~*9qhZ6L!37d>6RrhIZ~v{4UH)l7TX>O;in&a;)f#;v>Czq_Dqu)GmUnvmAYj^z*ND<&lylkOjG7^ zrk$RxP9AFLwAEmtHF(m+75y`MhY_2Fq~=rUdhkBDJ300P6_F1CwbGbH%W`nMSF^JS zKYNgg(qvYa#JnU(v8p$g;M`@isDRpM>-zr#IzYw0RLsiD+J`tr{*=fBu^{xT4dtw4||2>JVzJljl*REOHGEdN1v)P(Spn!8i; zyE!5S+23QhL{u;nR`zW5)1;2XJ8xKbVHg<)?|Gr&LpHoX(-oYiALS~)i3lDsbZd%oK-Erk_r zQJKY-mm!E5odukO-(z-Rj3EV(N8t9%R3-RU)0E}Wz!GFf8WCf89KSL`OTKETsBi~m zgQ&pZdCOuer7W3(K^SBS#M7JG9(Cpar9+TRvJ#Sf|d&3)A26 zw7%Gjf}w-X2D`G7%{keT4oIaM`-3PKu6$Yn3}tacE}H={^us#uN?31nQnlz9YN!lN z%Hm=#!Whx@(to^n@p1u5C~?@_nZ~;f1bVMxVOClxmtQ5jDCQ#YNh824<1jV6%)SJA zlSQm|BR$6nB0*wUl-YVtZFUwwgF1vlso`$1QF2ga*3RyRj0oXh` zLFm3)c=$#+dHKV;x}C`0NOhFR)U60-i2AKR@$7qk(2wDab@DJi4!zvi(NnVZU(#$v zl0U(@Z{;~r{B!Ky)kx;}_k?m@O{LPT2d?W+X-qNa${X2t3+Jpv>AKN|^8^SmhT66C zdoAd7On+^f-6b!{R*WkQ;bJpMZfXn4&-4<6_03s?ST8FjxFmgaN(IcKng(mxl!n9S zF!5V$ehhYtzqQdAn#Bz##uQ>O5qfZ}+thLFEc&SLz0syl^UFAGEpFAL;>G?|s9e;9Asv$;e9p+wdbaN-z1b<2%`2TU4 z-ma5bv%sWt@PV9vZzQM_3Pt#~eT?_}C5)6B@Ytg6$u9>2wwM6Q-fchKL`Tn8Ue_D# zw=|J&#SOP&(Wb|&@ADOq={W*n?96T~*%M4=s4Mb1or&13aJ{m~pdwVC!G!MuWQe& zc}6w#TF()DMb)TmT@JL4$M$KhH4^&O%zvx?8cwkNK~)^{%fhlq8?@x?s0axtChfxS z`_mTuVf*lqFi}ov!mUAd_HcOCyBJ$}))IN?V_)eTBzO*hNAQDXxZOf%!I=x3 zm)lu~O>4`8S8G%MR&5>o3t??ME25taKe@`LU{~r*hz_yD;bT1`Sp+qfhg%Q}u7AB? znqsuyTxku9Ko?SH_qvEfRhO4OA^FCRiE=uF=;5)L!Wej@THAG@Re4lpI&Pfzsir(M>oD`&uMye#*fV7xI2#%eJ*>NNNGqK^ zNfb1u({@;>m|e3}UH#gqJ{us4EPw3?;#B%?U#_rRGrOOsustmXyqHWskf2#f1ym9tXm9lMmIEOw-Kv_LgFh4;qoMT<7+b)E!LI5qM8Mq>Gv46C{6Q=yC4uZzE(@FwczBI~Yey*eg#y1^QKm7QvL$7Dq}7+%1y|n<}wS(@QOSCJFP(`x3Fr@_+Y!uhs*XM(}NzISE#= zhwqD1)T0xw{lm$mMz6tf6?d-UTFiZe{Zx{mJ^$2=M@Xb(e~UrF6f z%>j*=Sbz68D3169Rxw>G8IaqPEYuR2@jSlT%h|Fb=AbyN{Hn|Dayn&rNtEZgvc*&9 z)@v6FHVt?jpyAaW_=wkL8CjQ^a5j(5`%EC$Q9R>RAIk>iA7UW$sHTo0cKb1jIx@d( z0N(O|XFJ-&Roh3~k#dfKpHo7OE?r2boL=d$(0{!FA#tE}1HrR2djQ34OiMMG153u} zb(GEn7l4JGB$)O<{(Sa=nIOqY*~0q=iE;oVB=7+Qm4_|yaraRVeBG^gZxZ(Kg%k<# zU18?CXdeEbHr47iPE7dFng_}ne%ONDC>R7N(t&3}^pMxKt(afDiJlK3 zS)6D%RqM@uyNNx29m&j~*M*dvY_^oNyMOM!gu{4?ILGrM*K_x$CmqVQtB@D^Q^*P- z#KOi3L*>)tp`R2ARZApohbo9}%l9f7w<6;g0;Bm|cm$}(76cx20eBF_2}dxe%U{H^ zBqW53<6sA;`;2TT_7lOk#ID=POg*9lOUfjp&&?V~nY@Ys4tXN#-5|}RYR&cV4}Ylu z`O;c*!|&V>5Y?YHOvkR7J2DM_AsBU z-pgiT+Hl9Of}@SBJ?l~Dvd1{GX@9H(s@bmr78C5DHra*6=jMJfaYO~*CpOq?y?fsl zW(T5U+*Ehj#$AgzdmzG;6)jZ|q@M*OR-vs+PV46##m^-&9_9RQ)s!#>1FxrY7`mJU zKX(SnOSQ7VTimmTDB9$brP0~l&Gm3?x(?Pg9^0mgIU`tcA3JH3jR^~K6n{bP-T-$K zBXs;6h@kOe!g+5XklpdBfr>u6NOHPJH0~#uI^d=H-$RBt+==)CZ2hk`MZ>ogQkGsf zDw6eEa%Tzn2>>jCjIwj`qbqGOgk!Mi-CC+1Xw9_@%dW z?#)OMsn#`2{1EO9V9PpaddFmI%GxMANHx{FmJK++2;jZ3Tr*4TK7XS4gPXw4$2O2s z2$@k_beufJkfNrU{Ob2F7vv&KUimxAJuXy_wm$-Tv*G)MqW_d*#7N`bfBAAKGmoNh zk%)d=sspPlCnV=*LT=Nje)R>IkWr)M3RLCJM17wP0A7d@o$J#@CFs-Yf2U~8TvEw6 z?z1P)tH^`CGHbn4JAe4fItBTYu#OlZ*Q9o^=6-0D6)TYX^M|Qgj2)RYYTt-Pd*wYs zC38jHYyuf`+g|8+jyNcCxcPX8d&Nqve;sb$%X<@>1Mw(YfYfw6X<}XaHJvQEgvj@4 z{JWwqxs`s6vO>g5!|_1zqQGIXKV3XgYg1J{uLUqNhHjOwYJcc2vAt{Jf*smK)_(C&_~;eOe!DC#|~9Y?IfI zT?M4{(Jh^DLquKmLVb94oj2&td=Fg9S&+w|vo}d+<+z(h4LR}lgncCfhw7B!8JBdt-#+BH>s7%?bOZQu(V|$uU^2ilco%-2 zwX%!Ah~9F7c@{~YK4#Sr_(YKUEFBW#WKdR)Q1<;$XMY_`IG?QW_PKo=#76tujNu*R zsF$df*iAhfgin@7{Cu=BR1}H=9HY9N5?kC``5^0(WTB@CCk3U|2KZ!Cc0+Ppeo+ADPY|%$+c;kPT}t!C-&E=6Y&+O# z3N?Izpno46b$UalA7+N4$RekqW2>AfHyP`C^ysq&Y=kY&g3)e6ja4Qilg;mZL)~I65{5a23+vPzEbh=^Z@h?i*6_Ev80YmF-C=E!EhEVe zoGp*DCcS6Huf2@%C&3R4hq@MbdlU;xo&fQ?$A6*EQn=sh%+?oM7Tmr#;#6U-vC`Af zB0gz#mw)(FO4OA-ra_)-A_B35%em_UzvS(@SfsVi-Rz?M@#+({Kw!43ud2E6e;3y-G zoaD7}z9I`RJZ3>Fd7%O&yx%+c)-e}r+dxe=h$mWlcF@n8cK6ubLDXWHM6%(ak$MO{ ztaA{KE)pH_lQlioYAi?37j-M=+26;K2!E+VaMf;Sdna8qFJ2hYA>Bg{4WR@J52)d5 zJDPkx>u)V*EwwgOys|Rzr{7AFB zE09fmSW>^4(AsrH<;05aHQ+!dp^;Lex%9JzNVcO8yE4NVKLA*hCly#(opzgRK7YBI z-X@)!ykt7Z(Rm2pJ)wY-$dz(g^^q%HrEk*_?sYP4F(o&M&Cb5(6A`|BX4m_>rjOo{ zSfNS5OtO#rLFq-3L%?oykBPuA!_gF*W3_V><2Ay;-LB+u65Thfhq-DsXY?kve{iYn z=4u%yTgPQ)bjFX%1>>*)`{ngeP=E5Low``rzTB8mftV7_TKVe8+VEf>n7;C%7+~KD zcY6EtCgK2YnE_hqdwHdz7%QR(ehcW7;VhBHnzkVl|3>33vU>pqOI~W{>mqH~H-4t+ zfFbfZeLW*K0or=Zd?{XQjCH)1bp$T=B@yl_kU_!W*PXZd%z#Y=5a=zl2EQ zletRcqk;!$olfS(%@(QN`uG;iuNiYC@fq7hE-v?CG)A7`Sv*_HrOIRm0tljL-#N3S z3JKLWdLD}Sdfwf7;rPyKBQ~aT$~c^OY|$!Fd-{^_O#?^6)!KX(vNYRB=!4T$P%~IF z_18t9`!QSkW>S)Uj3i8ijW zo^MZ0sJ)^ZiHgn@joxW8Ik6GG8tMdshxEUXx1SgL737yZRTbB%r+59Jc7lz#@Uz2^ zx$+c8^7KztZOPzSMT8Xgu8LN0qvMVy>Qg7;J64wCpl#0VmCt-Y4SyxXLA1>lOTY3r zFn^bFs2Vq|gc~0UtTCCcQDYT!dX2(2bHVQ%N^V`Z!P2PBqu(i~stqPv-n{5U#dXFP zPU@Q;(4-6-e;0{)^=I=mR+T$LqxU>JNPV2>Xfg5NK4c=L8<}Kqib@yl4lrgdrI=Cc z@=g08U%XyQSTKW=$bTtlerUQ1>7#$^Pax1vSJ&n81zZyN#;_Y9^E53$NUNJE zN|=54x|A%4Y==goznaq)Y}njT3YQWO`SHwdM>2%-nB4^LOMe+4Jc7^@Cj9ySeTd>+ zbbklX>3Oj#mcsA-<;4>BqB-_K&f+j4FLVyfA%_i!=qs{*ET{O?0MjF$5{Sf3j>6gA zK}&kVPGX3V52t2qOXIZRMcSY(>GXn~`;E}-<;ZiOZpP5KtjPw?NflENq~5c$HbITm zDho#}%bQv)(tr0c`(tYrz?ks0s+|F9AZx~Ik$@6gG>VSrd|&kaE50D~cL^<8)%p%* z;3QT0a701=28OA>CVbzK-soN3JdauMjJ;y~rpHo;Ilbq?ok7YNg5ql4p}3)=9w2HM z+>Z_>sGx`wFGirBAsM1)5q~n7p3+kBl-P#bBd*oOpzMbmrW=U9Bh|_I?zJ5Cq-?xEr1A%j39eid`uwt-c+e|H6 zSTXwX&0^1t6|;qDj%Slv24XdMB!MZLax};Wvo$!p$4#JL)-bj1Tk6O8pDkh<94~lu zOn;7Vm_^u(nSFsvkf(m^PlC!kpGsKwZ@uq2P({czyz@sR&Y;yCkF*R#E9PV9ugQ&+%X`4>pi+ zlQ2S+iuv0s1t?s#{Vh0`wTK+1Awddx1b=3UCGODS^|iM$Sz$V}=&Y-e>2N#D#{J7m zaMqLEe;oIm*~vsCXs@3L|$ev7wuS+T{}Lp zM<>HAwqBNzygIjuRXr_xhWc@gsj>pybH+KgF=rHk>$cBZ%pQEMtswRmy`%YR3W=#C;F z3CxSBcz<0uKSYsxSup3&;`tfj&^+M_v~|CKXNKdaY^#0VYA(HFF6tG9ETWoS-DQI7 z&lfhwJF-gR$F1C)`Q*HEt2h540K4gr|H*PMMJoa16q(?VP z8KD)9Md`! z9J@h@G7tEf>PjvK=Az4z(v`v8oj@gGa6($Y<$nd(8OnJLUxlZ1JzI@>MNPSl*7sXr zYMw-l@vlZcMmyf0mn3h{p!*0M#}h7`hDS$I+9DuW@*2hYoeT(Xu7B`N&o*76`jV>4=Ubs&S>-QU{h7TJA=dnc}20njnM^n^+a?8yMHDYuy<=wD+=2B>xk-Le0Q`FUHO#N7QyhcQX0ILlCg&m$^94d z_s%0~NIq<1M>0;|iNK<_(3~z(wc#Wkj$O!vP_-9*k&L&waRF>Wp{{|?RQmuhp49Tv z)!MhtP~<|dJzmEHD-a$pFkuJ~WjMsL`=(Ohh*_i>r&S)x?0-zt1DL3^Mi?a16Nk_i zgQ&&$QHNo(FYe9s4}$YCj(mT5wJfZt>hSPw57^Y+=?^G|@0?3Z^vdQdC8I-%rx5p+ z)paDVTlY_$LHN9~h&uF`7F8$kGBZ!(^Lw$QfsxkmWKGe~g0poYXOYqIvOGz2vJQ>( zAI`zF(jDEx0)KF_SDJ+OG1PBCy!UGegF+{l&R*V`RX6%+2XG!2=v-@X#-|`)h|Ts} z7*S34b=e+^{A)h=75B5=ceNq)(q<7mxXd3*R}qHQjKWo`S&UC3Rf1jI^yn7fr5z(& zi|_^<=DUA10b~cia#$7vF zWc}cdiY{BFvMk4M>|m_cJk^LmUu8hnZO%&w;1QGKA45E5jUJ*ruTi}fTS4N)j=e*?K`lMb^8$Aq&igN9@9^oE(-gwg-|%c76;9I@;mr?T5~ zHn`>4UVlR}uQ~g6S*?yyz85;uL1JE(Bn|U64%}#SUN0|d20D$>J{ZA`1>Sw|fPw$} z^~Q0@GZB4_Ac5XfL@puUn~sbB@@>Ifan)g^pM_loyMUc5ZLMG>~PqEp^7 z+7(DxJ8Q+ub&!yU0pehpF~v?v-*lV`CsV+;ynhr^jAm93h(&|O-d{+E6?+H>ebC8GQQ%t$h;t_$IC5rwfuev|DvkU4?0=P|J z5V%O?g~(glL)sDSqe^Si`o62@3J_38#0hrJ#ir`Z13CyoxE4i>YZLYBmx;OCD$^wGvsStG!lFGqkwFV3cAY-jW?E z>X2A4zV#n>^@Y+phTalLbKT}Z9wV~q&${@_9owEpRD@+?>>PdR%wffuv|oYXBpY5r zJe8rIi>d%oczeyDqC-_fZZRJrh@a{1YJaGr!K|^~k3gW)+sR*%c$Z+Y(tbbnk zJt-8Q?Nik^L|jVeCsV0IoB6=kTE8E;<^W5zla%gurOL~QH4?E+cwFS!*Z5D-@|PKE zdAQNR$O~V_C1$i-ooe(VXTK^11rgu&?Y6p=OhLlwF@O z?ZdJTts{iJ-oV>0B7!8lGp*r@Q}js>jGCrC>BW{aKc#PRuplR!KNxUCz<zgPk+AK+#+f~~$Crm3g4Pwt{lR7KNh`snP z;Elq&(EBDo@no};KgXe~$V?gKLhqsqu4>f69<5;VxIxif zts)7${EN}HpX-;?tB71I8GoV6e}KItKR(Y~z_?Sa88RoaTRh18k>z+bi4@w4qG(id zWYK%+bs@^TgG*~~WHRQe z^NbJW_Y{aw`YxUF)g=9~`=Gg?59+gTIRp><^$l!cf@b!diYh{jbARFoH`NsuIIHjh zy!39p(|z|)C=i^3#bQ3gzrHE61H%NI0+HitjQuuGt~*Y0k+g zU{#IOw#ZzUF+%GqMz)m6#kx&_eC86XSrmr$0$PQU_><1A&7sEP-V|4uofu_k)B(h| zcIQGpskj4Sc0&g`fUJArp)XAL_Cja))MZa#OPQ!{Na!^^sefT?P$?yJ*yWq+-bu;z zmXUaDw$0Y0GcwNNsNMUv19}DoYVc}I{%0nL>STRuRB#wa5{*1e%hguvWJI~O2hVG2 z8bgX37~T1z`sx}!m|=mrEzHw;B5mfB|DNQkU`kyGID+)HI{F4XdqA{Q=jG&78)rUZvjt#uljss!i%m5_7^ST;uAzP_)a_epTKkE z`5*~a2k&k2oNQX{F%s{Y68Szl_4K&6F9T{>Jw(s1G=HU#v{MMjB$G`yJtetg&Vpk? z3<3DJK9OiAEEc?6^MR;7RttiN z5!Q`Sx_>=7kd7bR`RZ=~)dwDb4(u;Is}CANeo>=p?i}n#g%;Ldw(Jjx&5Lm~3IUJ> z**%VvC13WZ`SaWF9d?XR;0Mc`obK*{YOshO+z6g@QC(qZ^##SpaR;OR4`dLVW*t56 zFMEP7T+A?WD~0bqVAkC-@mWq-P}yYW+CZ)aVhU2{YlP^^JCBnGpD zsC0&~;|Aev9>##w(n+Kq|eN+3Io9|19 z8${2*>X!#sbq)S_Y6(y?vI<$n)~YPXwM2pDALya?YAJrVBOJjnh7)Frj72zlBCKMb zKcXpNj9%G(tT+ar!I%C_`<$u>-`Hp1PYk7A=*MwO?Ih*dgZ$39Ft*KVQF}BpV1M6r zPb_YdX+}#CNuR#Xi1fV?h6qtk9gNyaS9^^&8$@pqjUYS$B%-xZT{Lb~XiGQR))#Gd zE{N^sYj_XD7UWM;d)dcN))g&00QntAtWj?Jkjb91%Y5w=6#6Cc$_S&!b4-nY2?xI| zJC155@+u~WLIJHp=t)KyY5QCU41cS!8N7Nhk(I>~{;zz+<-SG2grqH%xM7z%UJU!4 zFo${p`Yx8>#bRdd@q1+}kQTIvm^FZp#`Ac~#Zuaz?sHv`--zA@ zJEy7jTqb(ykXHk0s!S%|xCi6lrpT3y3hx)11$>k23opztA%?EYcSK=5z<;KM;6H{9 zL+i@OMSNUFe{-w{_BHxkAfyNL!w1r`+;>pbJ8CEoB@_Sb9zwUjF*TbXnP5#H8Vo8S zc}x2-5*}s8)}$XPG!hDdzLA2j&D8#TKa!Gklwtfdq`>O5dg~L7iYV+-qk1-#ZVwt* z&d`DY4aQxcM=k!Qd7W9PYJd6}`lwD2=d<#GHy3)1>Z|O`RP1}Z9bv3SNSMCj_WPK0a&b5w$N_O{ z`8jUmE78nJ#+md)jlSR^!&3KC*-~;;(ltoT9%nOKM=&bmcVHc?QQ-pB zwl`PV;zKi)6{0FzpC*~xUO{xyGV9GUvi?-*I{z?)%XaALjyh(I9gmh~X)hn5TWeo`=@l=Y-GB3yCbN%kZLyW~1J1^@ zARx01(@Iy_;em11%Id?&p=Ft9g%ITACefr_6oy0MbcFxs<876!Inwy3du{t>x(^16?1OIOS`sO{vMYZI{*HgXb+xi2y`mB zpr=R1pVcPsbAJit9wC4Fi)5!&5me?mBB z@CqOfbKAukskc5mwpJ$*b8CAZ)T!v+g(KF{PrKy{7)b4^!Y+2h^2P{d%LMdsae}B@ zKQU(wv(0N}EYx%g3J~ovt4*QpQrV70z`Ngjfq5SYEvNxd_&G~LG2PvbNwc)ytCDia zzOKw-)qk6tB!0Gw=R(NXa1;@!8ejHOG9BU4O(FE&H>V5sVnY)jF%Vq?dZln{PP1%r z3cB{c4W8sgWzJZn^+0_oUL?oU9usyVQS~0uco3>TjAbC3?r39d?=9Y5;-ywcyD!TJ z+(A8PG!?~t4be!L9Id3FdlU8M{L23X2d~G6F@MrY5MUb?js-iFiy#@%g3OVz7-{zS zpbI>nLSPz{}i~h2r2=clOd_0sBJ-LAp5B= zcE3D6lQO164%IQ+N#9)O@tA{8$31M5N`G5ic2nyp^}hB1v( zTA&pN?hY#U)JK@;il$voWdZLh+!R%)#cFpS2*KuOZk!S;J48xzM+fDzDOd5+8@+55 zy1Qqv&00DTiR;M}D~sgZ)~vPZS=p-~ci%&QZn9m$MInAa?Y8_!6T|$cY#u_-!XhE8h%U&NYwcyb=htLsU!7=AQ-D5PX zCW)Pkl>(_ZohvDJ9k@bQKp6;2C+;S%m)&1HLOL&R`}ySQG3cURvFv~M0l2l&ffdD~ zQndDn1YFyyFhH(YyhKQZUT13a27fisQ%4*CocCfkOjI*g9ic{?oS5*@j{4~aH?%xA zJ#avm%~9Q|&dnSg-$?ZGa_jsn@nLd!jbFZS24*(aJMt85cm+)U?O4?Pe?q0W`hyes zAp{)8ycq&a`;UPzOHAN)-?p9KZPxs-Qcz6jAt=S0&%zdHFjLA{UEhwN;C~TGbWRYZ zx+FZi{pU0 zLAG#zR(L9@i_W6imVYsfio~Y<(A03;`g=N|3{!x%AOv@G9%ta3)l_;sz-!vNi&g?uR zijAq4*F~bQ;Vt#Vr4Y!<9_+d&cH^by!SG_B55tRTP+#O1G&N3MtR0GC(TaKg zZO~uy6-N#AVOg45#gNknJ9_ynsWlUGYwq*G-v42BVCYIAh8sI-~J97gTnir_sZm}zHNv?ZT>d(sXPB{n^A9Vq~f9Y@K zlqG0h7$?mMwDEuPxDWv6kQ~LMX{k<%B`~f1{>Eiyi+C@GWN5#p!g_G6<8`@Tq~=&i zBHRnA-EC|DKL8oTXW=}p62zNBduQ(Y>er}l(c+AHD}S`Cve8FtQEl*Ih2lQpY+fpp zDAkkp&F9|yVa!&)K}cL%(Lqi9Jy0?Ko0=Mu&WEZMkL`b?Z9WaQ_4g~H#9P3(6%Gkk z3HeF%1dxAubHyJXbxjpx@5rWP(Sh*jVo8eG{9jOk+YDPgZoRW`>t#|zuZv(b3OB`< zS;cHhzkeHtskWKQmYZ4uz>KDyg#i})Y8N#fcA3^G4{T9+>abTf8EU`BafLeHK7BQc zSZ)DEZmGz2K1*{DT0!;Gao1l&EdQnkTA56g`T707M!PPf9;1IH!?BB}D#_=c-S~H> z7LTC@YN-E1S3s_iGC<|JX2e2-DSss$A4_2i5Y(85V5BmI|5h@r(--F?EzCJ z$4mGsrOKUV2|%5l5Ey30sO6onmIh+B6i?KE4Q@?CtjqYWhHM1{+ztBYNRIGcW}kqd ze;@V^OR4s)@&^qcW0OMIHACTEQTdF_9d&cg`;wpU!oi7tVe0p^>aRQVXJF2W@n78L zM}NsSwRU$imS3)I{J(P3ES2+6`Yjszmbdmt3ULSn6z*_QiaMX+blrY;ioUZvNfq328pkehM|3>QIf;;1}q+Pr~O%PwLk;n*@JQwoe5p= zgHyAx%ZNbQ2)~GlVy(nmQ`BjEi`v6z8B3iNcy!o@h=O3sj$_frgpCWkiFs}G(Z=Dd zUvIwMfL(R>{|BVo2yEpz0MjKvtyvO=?v&pfVks?@@)%8X_jl!sHb(n6vQJ?Wq zB78I@Osul#RuYyhZ&QdMM}KYinW>{y1I_U}jdGw<`!l>xTEjPX6SG^F21k20sjqyS z^nZ$2P68n8^LB{P3XH~U|A_}W*9s0rq-u!U*4%!UZb(%7vX4*vDSUHs%~?%%}|SK)UvGrfs-<~;+esN5wLZRqAC{LccU$HT$yxfzvxA%7h>AIv%5u}o*5 z&{C7#rX!MY%y)D4n^Y!EuA~;6mI1~rJYG#?;j;S|{l=FT8&4dC4>CHguPlvIi&h(S zh~cvbuAVp}JNAEYJX=2}Hf|w}7QUVBpClW4OK=c7T~3~@L;2mJ#TWfV$W=v`k$9vz zL__uh7yXibX1G76FMqFV0}x!4&95fJ!S!!lIFb(1Do6N~~_Q zlZ7<)<&zbUDYs>)0c1Lp_p1}P+~NWD0s=EIx76hUG6R#F(-XHD=>Z`Flh(&45I8U} z3NK7$ZfA68ATu;MIG5q#0VsdPT5EIDMi>6>U$GzCw-fFCq8X+$5D3r)3Q1aS&14)~ zNn9K&m2FD;>)+?BE|!e#IMgiz*6Ol4`<(kZt4Jo8Wm+)Dq>wCSQcIjMB`i*v(ijZW z5|2I87S95+_$kS()jg${Qz=uHIfub9j~8&mdqG44h-uA&!(dn{K*E2s6h9rXNUE3t zL8)}lD2%}{qnT7#%or?-Wek?LploP;rJ3;n;P4y>gp|x+QE34Qh_xVSOc|T@tO6L} zm<0>odS(q!2?fl61!C5Lr&KdM(i$M02Ec$3_pJiM7@TK#>ZIrqdKHm-jSNP(bnkYWI%9z+5dNQLQvQ7Zs3SO88_7E%BOOJK-?Fjxj) z2u$L>@gDL6a3!OLtRs~Of=+^`(L)blF_4BZAvgu}07v2mg%m469X3tD5P^lTJ@h8P zj@JwT1@i`@w+#QCQljS_Mu%$;(ZC#hzzE@`m}i7wDdrhSBE^3^1Nb2AEU6gtEW`k& zoP!)C<~o>0PYS&0BXqp#NzYJ^7qA5hoSwu8i=Y$OAg$<#VMxRWQo4k+w4ggsLjV#9 zD*=bP2fJaZ0x${5rv^wQtTOe`wk#1q*;0{xL-jZ#(+i-7BhiI^QnEgaBgtNR7$-~v zbc5l(-IxDV{-m9+67K%A<=#QJT`1JM;#`Grhn|2o| zw&bKDZtf(#q>kx&T6T^67dA3zXw4h?qZMXU8%n>q-EpXchQh2lD;m`IcDw(r(&9o2 z7tLAGb-91R2Fv__z$(}g;|HVJDG`70pvO;cZ!*ST^)Is?-_IwrY%-f7ywk)UKgy>0 zyclG-Bg;E4vf-%zDF4hp2;6Xpls;9bJrF4HCPOxk(;iMHIp}<#Tunu?fR?(u))`S~nfAC4v;d;C#e46`C)7N`6f zf6n)Dfu&A~$-#_$a3)d6QOd%9kN~|*6jFe42u9Lj)yh5 z#-qvQ8FF?SRkssZGIfchY?Z1+BcUpx6XDBIoAtQ_cgeBcB_2&~C z&}I0L1eCZa?h}i^h>A7|>Ko|~HXi$h3KD_>-0yBk|FWdub0MX6#vwK-YJZY|{s7%c zBBcHAV}Vw%>)0qlKGdIS1W_24MKBlN0*^#;AW8^A=Mz zlApo2X{weoNj-IyA<=G$>;WpT$mf3nHQS~t)2Pw5^*NenU!S9aE^8;e&R-Sz;5dUM zQN}$!VEiQeJX@}cmg>6@mg~FVzOKHrB@SEGaIUQ3e0deht58;Sp{(daDUwj~80;=< zIEDD=4edHO_!(2FPrQ({=>Rv|P?H?*AMLO%a!6kmqC>g|dn$+|Zfn5j5to0~gBV`V z1~p+#-qbs3Ij_fC=_FSv9wj=5rU}#0UVQli@=9^ z+5-rM;*>U=LPDEC6p2H6SJ~Qvw9EXd&}_g$G-_3W4g`@;;L@O=O~VFFjYlZ&Cxdwb z&m7zmrXBVj4#5ghLIqD&i*SE~I49vzffCn$pFvUZP}HvBq#`lYbKC{zUlkGh!o)8y zNd;4i8{FG~x;`IGs#1D~khDeYK@LT|VN*l<(uqjP`z%_t@YVG_GFk9jr_#>UDnFvD zrv23|rYiDCwV7(2N(~$*AlYn@O0|H|ROg6CsjSaEZSYp-nznYAQ}2IQrdVp)mvSua zci$t)E_kP{{cWY+om;l#=(D9@i!-Z5f_BZ~9)i4O9x>jdsP=SMBjsQ{)K<&~mrx&vYLgkb1$`ZaCQxw0 zui&o&cT!-ND9<&~aSAIq`s|m|GjHQOsX@`Au?HW4W{`CwJ{o_z6BHq^krq95Ob0}o z&Jn>*lm|n35;hz#kLoN%-$98Y{19ah9HHF7aI|57t_u|-luVe7l+`>J(<*&rC6`2i zf|OdTk<4hL6r-grHu|XN;@4Z|Fev>8=A+_m5M%qMct|Jg+j~ZA6NxM$;vAY`E_nUXB^H81F&zpAuRJWc*P?Z4U zb5t%$i8#UrTDs`SzAdxz27SM;FWUc_nRf9yEG7!D`Za$7tp(E(Xf5av(uJHzpw&B3 zpsj0~SHDBQjy%2S%Cq9R;eAP-wehG*$&EZ~mO|XkE$3D8jhG^bjl3$YwzahI3Fj$D zMd?+Vxzi`4X-wRx1sc-0Z_%&0p%wnAOAw9v7hOV$M#7B-tLs`z5nnA4@E5AM(9xij zjl}EgIFEnsS5{j~m_}1s>pBg#d8;*8-)~#`N)1*t>iC4;s>lXpDK)FQ3$wOVX!nfBMJU;I-MCBN{!TJmiz>dN<){jky6k{{Bq34qmmZ9gC`kuJR_p`L(9C<0NVh;l$$4nYoxAWb@dloCM1gGd4hqJoHmib-g~p~nEBs3@3( zE(QoFMJWkEE;H|$dGFl&;eK1|*=uHfS+n;%GkbnZ=+m(~q{WAF69emyYtg=&uh!-k zI3qz+ob7UZ+?uzrwcM8R(}8<%Wy&ZPt>18xTi7L_XI-6KD&8*$fp6_t3=`jfl`%?l zD!W%Wys2Tc|0n&<$uwL6Eg}=q6k$z!38d*H@UCv)-%B~X6I z=r-eg#oX1ldv7KVO;G5!3c4F#Wsxdka^=s#wLSn{Mb-4kMX!di>L*8oWJ&9_53PJy z%gIFuE@$mkxUy7KidpzV5NdK^rSy8|eZOJm@~c)_PWvH!oH6>r18cB8b!Al7^+~94 zOiyllVq%NGU}FY|jdP`QO+O)SNR``PTxd|lus9k=O!<;Pl_QLg9I$QKyZ z*_;NZob$wvFhkgpP6V+a*UBp&H4wSY;sJ*^$AN+Jw@MYVJQ>?rZJx#C{CrZ!0nSED z`Jwo?q$LcHKr!B?WcjV@r^F;i6`tPC0_Flz2DPo{E%XPAfhjCSM`hhMzVm5PiO(HD zj%E4kV$s6jb}29mtPS(63;Um7fAmHv{G zei}Jh&>%@-XL-g@c#1a-DXx5)#rY1Gc~OLw#0=7xpp}#aUP|^##d2g@C(*sy5LI8i z=~MM06b=|pDA0r(C=t;uN2qrm2iwdXD2(6j0a!Q_B7r9>$GB3&fMVD62fm2`v?=@F zcI5@4eSaQMA$gisvRh3xVa~)dyyx2;Iu=tZTY;8u@11uXJGJ+xXbh|bTQ{mm-8g~@ z9m6NWAD}U9z|ap*b88hUeZ!H1Y}G@fj_m>IW=|`IZ|4uc%rU6Q`fMKiEB0cvedQYu zvTc0w_AmO9%p1S(A5svpyC6-A=32n@yy5Ohp#Eicy%YNS$nUB7v7Vsdy$cl_i_;Gm z*)hqbbk}6)^tgv^qyAx{dXP=A==#i`kwR;^Mn*91^}kNj4?ucO?J(lr5gH_G`Eo>o z^Nfpq*D1jnZ2~T->NV-ao};G`3h{HAkrxu|?wykHUNWJTs+GTas!w$9IC?3p*KK0W z0nfdt(~?yZvLmONW?Qp5N{pLRYwx^MM1H*a6*g6xvMBOmMLAk}bFlkJ1Bj3!ZSgYMT?EgKA#e`uC!VfIvXZ^h^S7p7Vm3Wqh?EQ3e* z3%0&X6RbDEE{&n9;JSTlXx6Cw11!Q%zzc(=8}|=5`=L|3_7un85zeR2Jfyc}#PO z%$1G9t+_`-dmdFwO9(i(GPQ1x(d(5=@2i_&i|go&$B*p2wiXeU;wZXTz*bkCWhrO= z%c|UYq>F^)^l>5NEHpG?_B?MykVny2w*nihLruDLv)|7_1axk_D+irrPivp(J!p?+ zox2I^Fj3%BTEy_fuc%9ys%`O><- zG6f4A4^!e(RSd38w#AH7)>N~0YWiKNWgayjOzR~Tx9r^xPS}t4MXxbuSsUBee}O(i zzmGk3j*8d0kazEm0-Q{1)uA#qv@y#~1wA1=wXv@a9q)1VOUPtk5c_ORw?#*Om|Gd4^7>L1f2XTFBq+3r)i>C=%KgV__|v zq@Amvt@Fjpf`4&zBd3`IxyNDr$>OBFNEU~Rn|jq=ZZh0cr7$gKMELwRaJW;ne(W9#VDYAVD`9Ru`4@EWMH!*=DSHr(aTt=T^ zR%_1-bDJOPLsvV!>v5`; ze8&)BCCiYoJ04?tf0qzkeDj?B5BAo$@AJoSeR1Ypmp;O72YLL^+tbZECY6a#4zq3! zbirQaRRHUeE#q^2m=^3|KGAhULSgTZfU(o|%bV;Mi)ZG1@!Fwifn7_bya-ewH?jCj z#6#(m)dRIXRV3#EA0i_=)1U!Inj|cOubO{r=og7_2+EnUQbxJxj_N3S9tR8?h4iXI zfX{szC<^TSm7n$&b>r9FT57SGLHEz71U%o42IkVbGq2Fik-oZ696H(srcZ&442DBUlG&M5 zg!8yynb?QVe@lLU=k&Kkuhdj0#vc)DUiV*8bFJgCz16k}QW{B93(WJLA0l3f{SkvJr2sBbIz3qMW=+m~=4fv#@$G417CI6~A?zxH5@S_p8XdiaHvZ%}*njLmUjBjQ_ zjbmHHcaHg=7Z5>g6)ZsrgYX>@Gqv&&Ha;Jm5U2_@wIbw0_@qNk&G$E)x(OS*gk28b zS1ta@98@n^+u0#a&F$b0j+QVdM@u^=M=K|&6Vl$&!OjVWv@(MpSN-25`~Ch|n+msp z5vFIsx`5_~KD6{%3F=z0`hE5Nx9<--;f$L|$+P#4)XBKg3kUo4XaFckT&wlxiPfPS zJv}|?%1sd)D$obbQC~qT2;bwJK;Ox`#oFqTvJygBY!{?+nX;_9u7IkYp|f7vfmOVh z;WI@&|13s;o2GjwBE+mRB<^5v$Q|d*7kOt%7XU=Z8RaLJnah!hpXAIC&Eo7CezO)L zSV2t`J+137EpOTxm4$?pJ4F7>kR#h6TGKt=@%!jWk$ox61ia-Hmjl_ER$lY9#`3*g zC*^QLy`36!7~uppq2yHsE(RnxV-sDI{)-_pc`g5m&F75dqD=Xs467m>WLuzHZ*A`> zP&o}Z=#nz%7O(BlOS*B>mEF;hd_fm$_~M!3TZ0!hJWC?^kz0-z!=2+nCO?V1Pa?l4 zL0{rlad-Ro+P~O7n7uu3@I|*QVW|5-Idu3{<$P?8QeHc&s4ak-SB$v)y{I{Wl~>%7 l#de$wZ)wFRI_O$u|JzIuSO@r|M4={dC{$Qe(-G|?{4c|T3{C(5 diff --git a/Schrick-Noah_AG-CG-CR.tex b/Schrick-Noah_AG-CG-CR.tex index e163d6c..10002da 100644 --- a/Schrick-Noah_AG-CG-CR.tex +++ b/Schrick-Noah_AG-CG-CR.tex @@ -73,12 +73,20 @@ to quadratic time and reduced the number of nodes in the resulting graph to $\ma presented by the authors of \cite{cook_scalable_2016} represents a description of systems and their qualities and topologies as a state, with a queue of unexplored states. This work was continued by the authors of \cite{li_concurrency_2019} by implementing a hash table among other features. Each of these works demonstrates an improvement in scalability through refining the desirable information output. -\section{Implementation} +\section{Methodology} +\subsection{Checkpointing} Previous works with RAGE have been designed around maximizing performance to limit the longer runtime caused by the state space explosion, such as the works seen by the authors of \cite{cook_rage_2018}, -\cite{li_concurrency_2019}, and \cite{li_combining_2019}. To this end, the output graph is contained in memory during the generation process to minimize disk writing and reading. RAGE does incorporate PostgreSQL as an initial and final storage mechanism to write the starting and resulting graph information, but no intermediate storage is otherwise conducted. Based on the inclusion of PostgreSQL in RAGE, the C/R approach was based around this dependency. +\cite{li_concurrency_2019}, and \cite{li_combining_2019}. To this end, the output graph is contained in memory during the generation process to minimize disk writing and reading. RAGE does incorporate PostgreSQL as an initial and final storage mechanism to write the starting and resulting graph information, but no intermediate storage is otherwise conducted. Based on the inclusion of PostgreSQL in RAGE, the C/R approach was based around this dependency. Figure \ref{fig:cr} shows an image of an attack or compliance graph that is undergoing the generation process. All nodes and edges within the ``instance" box have been fully explored, and all information is stored in memory. All nodes within the ``frontier" box have their information stored in memory, but they have not yet undergone exploration. To checkpoint at this point in time, both the instance and the frontier need to be saved. Additionally, since the instance will no longer be used, it can be fully removed from memory. Section \ref{sec:mem-constraint} highlights the advantages and necessities of this removal. -\subsection{Memory Constraint Difficulties} - While the design decision to not use intermediate storage maximizes performance for graph generation, it introduces a few complications. When generating large graphs, the system runs the risk +\begin{figure}[htp] + \centering + \includegraphics[width=\linewidth]{"./images/checkpoint.png"} + \caption{An Attack or Compliance Graph Undergoing Generation} + \label{fig:cr} +\end{figure} + +\subsubsection{Memory Constraint Difficulties} \label{sec:mem-constraint} + While the design decision to store all graph generation information in memory maximizes performance, it introduces a few complications. When generating large graphs, the system runs the risk of running out of memory. This typically does not occur when generation is conducted on small graphs, and is especially true when relatively small graphs are generated on an HPC system with substantial amounts of memory. However, when running on local systems or when the graph is large, memory can quickly be depleted due to state space explosion. The memory depletion is due to two primary memory consumption points: the frontier which contains all of the states that still need to be explored, and the graph instance which holds all of the states and their information, @@ -90,7 +98,7 @@ Previous works with RAGE have been designed around maximizing performance to lim qualities, the size of each state becomes noticeably larger. With some graphs containing millions of nodes and billions of edges like those mentioned by the authors of \cite{zhang_boosting_2017}, it becomes increasingly unlikely that the graph can be fully contained within system memory. Checkpointing provides an additional benefit to the generation process to relieve its memory strain. -\subsection{Checkpointing} + \subsubsection{Implementation} Rather than only a static implementation of storing to the database on disk at a set interval or a set size, the goal was to also allow for dynamically storing to the database only when necessary. This would allow for proper utilization of systems with greater memory, and would reduce fine-tuning of a maximum size variable before database writes on different systems. Since there is an associated cost with preparing the writes to disk, the communication cost across nodes, the writing to disk itself, and a cost for retrieving items from disk, it may be desirable to store as much in memory for as long as possible and only checkpoint when necessary. When running RAGE, a new argument can be passed \textit{(-a $<$double$>$)} to specify the amount of memory the tool should use before writing to disk. This argument is a value between 0 and 0.99 to specify a percentage. Alternatively, an integer greater than or equal to 1 can be passed, which allows for a discrete number of states to be held in memory before checkpointing. @@ -120,7 +128,6 @@ Previous works with RAGE have been designed around maximizing performance to lim by using a job scheduler argument such as Slurm's ``--exclusive" option, but this may not be desirable. Instead, a user could pass in the amount of total memory to use (and can be reused from a job scheduler's memory allocation request option), and the checkpointing process would function in the same fashion. Since PostgreSQL is used for the checkpointing, no file system dependencies are necessary for the cluster. - \subsection{Restarting} diff --git a/images/checkpoint b/images/checkpoint new file mode 100644 index 0000000..6c73fdd --- /dev/null +++ b/images/checkpoint @@ -0,0 +1,145 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/images/checkpoint.png b/images/checkpoint.png new file mode 100644 index 0000000000000000000000000000000000000000..b4837e577a0df98e18c71735f55146c4f122488a GIT binary patch literal 53009 zcmeFa2RzpA{y#3MsBDtG$=)m3WlPy4BV>l`y|NotqD4wZ$OuuoNp?d-WY3gM8BzRS z@7sO%>C^dq&-k75Ip^E?{?G9^agX=)eqYyXJYUb}>$*dg;NTFdsUFtB z!NFa?!P%C8zY|`WW}D`Kf3~^ns3_vxe?|8Z{=jorRMW$U{{-M$N8{jVKlV6cf_5(M9_%8A*@cBIU0wOD?JaHHEYG;}JKK1`OYr^~7i;^|_BPgA zpAi-m7U2^Vd!BI3wbG*tDpG}(of z;CCl`M;rJ@#m36f1^J4Sotw)Uctu%ANSI#``7gYvYkAtz&Hjf=AkSdqVQIT{|6XU* z#g81dH&9kkJ*{o*>ZI-BVYqeQUN&y-_Abtt#}wih<`>#}!^79rX6sdJ8!vk+7*Lp9 z#{;pLZVx@W$nB5ijszID@&)peAUq2+QV+^vyx(%+e1FBYGZF}haFi+5cAF%OYDa+FSy%TTDy2} zeINbOkE^mZkJ#CCb8&&|{jg|1zK#9R86PDZCuFj*^N1M-jOic$?)TYn`|b|^)aA}f zxoGmK^BJGkbeGUnHqtn)?~FAsFH0v+%;d5Qi#x%CDxP)$9~2gJ_wdC`yZBj8WCqZ0 z@VTRn0(y23DHU^y_nqPLyBhmEeQ zC3uL)VQ(;Ac+Jk^j1&B|<@Jd5ftPvMU~PHpVy>3IO%Zz5{`xxowpuDS;Qk(NzHnL0 z6-C4`bByr~A*@w-|7L05?aA&3E5m-y5@X!9-!F~a^xtCu@EMH#{Po*MBJWRTCiF*Z z3*(~a>rYr)nB-q@ZG}aDzqZ06n7@C$wZ#PNKf`a~(!b!^ic0?1tSu%x{~2ow@!%I+ z+n;0dFYLDxe_l+6OaFpvEB=$;ieN$JuNRZCcm8KMuH-MdxI!XgTlS6tQzBBoY{G@I z^G`!lQorQl3XA{uEbgBPmBHkH!MH3U_209)ea`%^A`lne_}NRcJm7^uGmlP^^N_;GTp?zL9rD+8pg-cZ{v{5C zD7OEo1N|>|A2gBh*8|s<6aBAtpPyie5SD?*+VY>^K0gil-JP&Q{<`jij;PR-@T187 zFL58itz_~KW}yF&17T+2Z{{B%bUFXadk_{zViOQn*1($cpWs114f(y50XyWc>p_3S z&i)5I=s$+xFg)h}6(9PE>G(HPLBc-|iS?;p--rH)1OMlI=zC4`=VX+>ZRKeC=vU7a zqCXej{|2mut%fkk>AThc`c{tNP5!rFt^Zi2z+}w-BR(XI^%<-||6F_j325u*A+bL7 z>-*3j>1qF5roi%L|3JO+FJ!*{ZeKuaO}~0R5yn;;SYN<)Fk=n#Pw<7Ghs62@cF141 z^7te9@t^aB|1@g)uP|~ktWjf){AY{%*BiMAR)fI~i8cCP-^l++hW+P^92@ZeANbw> z7-ZTao`ePeHfBN-`@edg_%1DD?fK_Y_fK%4pGuwYF7@lX(7#;l{;o0p1DFXdEB=R7 zMhtlT+fIZQm410A!WJ4>C&KbaSd0D>oam<^zxy$E$X^z0VRQQb`Qlv&laT+m6G4{# z^~HJ-?80N6=;u=UPjI52hWy?!`RhB;pC;D-BWmNnuzJT-V1L^e{wtJsk)LJoe?wvO z(~#fY@z?hSba?zvEARgaUqFjJzdX3YRwUTG@N>oeC**~nhWzf1zrHX09UA)Y+im~G zNgHs)kCT#%lZzYl5<0s$BWH8Cd$_qc+8AO^!4QR4wru~;J&r>NYZe$Y5fa5b>JJ@> z;@Hab$FAPLXfgWFpT{BcM=I@BANxOj*ovC7yN9JSaZngOBOt&8~Ao^YG zDRNtHV7`DH*SB@}SmP7tL>wF@9JRv=dOl{;Hwh|^>aRC2Dp?<;vpSm9`{CyqK3wp$pjXOoSA#1b82PyUhi~DsS?q@) zp6zXzP5kkGaE=@b{NXm>i+fq+NnKK(cAxxl46<9%*~Gtp5K9<>P-OpOjUR6gmtx`b z?{1Dv@B+?}D$AW#-fA#RjRxNA<2hO5$6f_rm%7Z|rV1YV+1t^f=crp99@n7C=?3~S zhEC(%AX$*x{Q6+5HQhXD?IY)s1o~q>p>RE_{3apfZbCAUPt8?tqDmb)V_61{FoJ+COWIdoVt&h`HoXI-;jFHk!PrVh3~|^lX7QzN*7lKgY!14z30sI zT}B%&F7~=qtKB!P9NSo*OUY1*YN7Y;BMsEjS#$sV;kfU|yD1$qtv97PckJ1B*)~1U z;E~5i7A~F4XlM70uU~|{rj6c}Ii{Fa2c4Wntvl-z2OA+qAs+?LNW}h@89kLn5%K{n zvKm)-xuF*|~CjpC@Dg#tkWV<=M&!hDwi*iJ#{N&1;`Mv-z?(zPQ}$qA@q{#OCvd zwtG(`1_N|s)|4;OZ~w6u)|J8B{NR9p{M4;~DWv z*Ws|k%F5gdGd#pHpX15i!x~)f$kolGoFipb#y6<`X86kRzG<$(++(j9Zu|Dk8B7K4;Mq)-l&?$SF+BQhB6HdH`4v8$;#2h>#D$u>A9?0o zJJwfmR%vmp`3?tl_vA@S7bkbg$CAO{3wC>`XxNJj&V7dcEtSSnKIV+Q? zs@6?BPth*8u%5C!)BF7M$2U881|ALuJvJGh?JmAkYX3&LpxkO)8by{Kt&RWo#Z?h~ ze!UVIQD^wbSaT9V53c!krb+YQZ=Rjrn~QBKjLmPf<@i3me@Tw-w-1?- z3Tp7nwOwe}mw%1V#x}wnU3`1ioXL;5Pdi<dg&*O6@p(x4P^*1=_M-4qp>LL&G=Xxt1hidz3OMt`LVH zxjBhbW8&3KmloQyo2!a7ipZ1x=C6ii_=oG(cj6t7lk|-a`WiUd!DZid|EA`3aV`BA z?Yio<$vkf7Z}0&6w`rL9@!Os%zoRnqVSdNLkRgG;T|Ea3>BvFP$;^@Yska5RE@A=4 z<+rRkge6UOD}oKF;~GT!Y=&A=J~`7{F6_VTRMuRkm#ec7yILEuC$HNtygE}onfnnz zUGvIJuY@rRN-<)$gZ^fm+(vX8M@h$5@G*yEhT_%e85Lf+kvU_;S(qyE_8(0$b*s9B z4jfDtxS`QLbx*T3uj=e1qT7FmaSpY9zh$lDRQ+z>q0n8KFsIyv!&45OLF}kpKt%}RhA*i- z9gUN_Uwft~v5;pZkc;Ea?b{vP>nFYY+4Bqw4TRQHRV|Vk#|s_~Bu=CUo88mT%Tn|$ zv3bq`OQ6ejV5+N7V9!2Y*Rq%0QebM{B)6iyqv*T$AZCZJhRl=G;hU0YZ?|j1 zj3zgzNDwYDuMP^kAbbGdMqygIU3p|Mp@(#YL6Je|v#M=O-$Jx*@ch$V`Ws$#U0u1l zDh0QuVtxAd3`>!0N=|=lmD{`wOQr@9=dxX+;dXO{n`vf@9xkiKO{tW3t5Gp9HWHaU7$|^G7P4Yn_iO)| zx4Ur5@5^{f*|rjvA5cKZ6TF?o3{G=|d!25w$ZjK*vu+~U{<4`r>3a?jd5ABcbiA&y zjO)muBUKO6JT66IAG$^t=5bVl6L}+>!Gq|xH%`DCTq9*NG(rm-!=if&+LRk(e*+67 zf}!09FAR&GO>kp3vtmyZsR>Cxf*3dU#{_TWgy!Ao?C9)IcBB^Uzbyzp5v+#HtZB@I zdR1C>(Z1iFL{dJ4#f(@Oxs|{Eh8fCLgrq4@2Pie(Xu!ghKN3JN}xjm#5#ueezW zt-HwbT)ug=SwT1A_miD@oJ&((hUPoah$RHCPX!jZm4jk|V!Ji4=mFAHO2TCTtFE8}pd!Dok%Fll7Um zxL@UHM8WfERY>8|dIGD8@JiKA5d#D`hRP$$Oqz*VX5ni!m$`H^T?SFYPThhZ+wY!l zvm#KQ;5>Tc!1kSc<00LsHD01W*S2FI2^m!}67hpvE{q>sU<-Mp-CO3!$*G-2fq(pl zQ%m9@T*;VyeMYM(FVmW2f%R{S-LB@IkM*XX$jv%hB;Qs8q)Sk|v@NZp{Q>{Okm0zBV_eDQ?}_E9N9XL=uM+)=&==dX+88@U{` zURJPc2dr?{>0Qa&!4N*AmXXINhZPo)#jcbPp4Uvz-J^!|azRxGFJ7)^z?JMQKk?9c zlA=308sFc!)&R*iOnAujP~XJfBR+1ncKQ`C>paR;!1^?8wn@@b2tr}04*KRtuxF2m z?}2G)~lFvVc3Y zFe~9E6WVr11yJe<>wzlY`*V3+2fIt{b#wJ{6Ja779hF9XkOWnO{#Fxq1x&Suni5zM z^!KhhxEf;DU}xacTpu7peaYS8BW6%SsHgB3pjd{^hpCOv4?jbKOw5G~m*?kQlODZ7 zAu|;+1*PKD)o|=Hcj7$)WNrN5w0`#aYdTl>PjZ7xr})oSsvPwA!1S=s?feVCBN15v zi_M(vnQG*^k+;`kbX@_2Sl5OVC@)>V$&T3hLsG=U@UipnNN_{i`zV4!z_^YDU)L#e z`vx`B^E4TMHi*dgdLgJB=b{A|#UuCaa}prFmdnFUS4C{u;El;SfYP*YT(-*NJ}4c` zT3N6`Nw=S!`5STZTP7 zXf5~9+J`$r8(;DYQHkqw)#l@sDyi{m<4;xwk|3bwyfH=N&k(#sB=p76{`UM#ygR7v z)h{0yM&G0G$Ex|-J&RE9=H>Hm?6~fJo=Sip>P*T^7t!45{>O&#xjU^awrV|92ITIX ze|TUYH@d~kvVneG%R*j_kwo`608>r!R;BK36}T>73; zI=^X!#sBoYi8U8#B|6?~XWEM9UZ56H9@iVJ@_o?fKleoF5eibslKyZ#mHB0;z*0qd zJG&re(AW}>GCg<(mYjy5HCr=mJnJG8Jj=duj#!qYZc)IfNS;Q_f#MvWTO(`3=1Yme z%M)q-ugdyHr}i6;Tok5~2A*I@2XTbR46GyYZ6miDA*PeOMU?G_RLYjx8$0smR_7!G z%TLwE-XCW$Z`@Dra=Ee_S-BM8Ai6~M{x-|0sW*2DCJ-|ef5lI4zRZ<0a^A=-Gp+8a z_F(Yl6MzG?=)oVn*>A(|bp`zCE)rYzDq&*FxCt)D`7~)uG}}$)sXr>iF4_soRg8Iz#fB3{`Nvi|%W=dD1h*uPlYhC@I;= zIW*_Hn)a&Duh>0`n9;ye0dhYX1H)`RvzsP5 z+8{iSOviT<;tbI}me95%`(cTs22OVA$e8gM%67}z@DXl?K@K|vE54}RYx#Qy1>E1( zmPBq>n|&CAkYfWRM~TnEDS^FFRtOLdy@d|9+pu#$iWgr}41OnUQG;XuuH-Ihpm=2x z05k*N*#vt|UfvgD8AWsG8>2y1KMR;7H0}_NtN}!o>D>QFIOwa7{oDMjLf^y-?l1;_ zE%umts|DeagOrps%QO8OI>>aPXPyu{>T$esmqGrEG-5hDi;yEE?#*#{c=eRpJM0J= zu8o*{&5f?DnYN)LUh(%Nc&P?z$pexvDR*&S+%HsHvGKU<*|+tT6#YB{AbQ+00h~F{ zaI7CefI|a%M0)Iq33&I-o^a3flqDr`YPZzIkaHc}Uc|z2-hUVi!W0JXP2x_VY}yVMK_0bP3x<91eMWE%2Gk9@E`I_EZnVw{mA95~GK2 zV`nL?=IOaz`jgE-st_EdD$vinvS3x>kAswd*+cJ}5|rZAO8`H54JOVYMS*-1vO4Zy z0zYGp*@{sjYEip*y_{oDMXVk;FahS!UB`DNo2m)jeiy1V1F@H0Ta^(RGjiwO!)_XL zk^LJE-}RY?a7}ZTOFGdlaFmp)3<|x z35FvOBIA3WSk#QJHF+;ddRng#vH+IundV1>qZ;%q(dN- zaqkqdeWjP;G1;Lev|rjQzi02)X3q3^#|VDSx2#C!*@MiL!uQop#KGe>=wIOUp6yew zklR=tUASZe3#Q)m>ZY_I!uvpsPmUy{rIB*Jc~ropR2A?d=ckF*6!OA7GB6BEbUjKBJG2+b2Cb?`ov9Kuvq_=#%mYnlw6Fi^Ivq-`cKr&JuAL3248pH9(lK?~6 zdv6n3Bw1{lJojxoFEXM$?lO|itu(M<(gD|qJ<>vad!)pbCRj93u1||wlJiMos zPAlQ8hbsj+T_;PEn(O4F(#yQYIa?036svn$z#PRJJrPCHSjWcAtv;`hBQ+ZbbST_i640wT6!Auu0;Uy36g&o+ zuukj{h8#{=su)oBQ7JMcZFdT=*$SUUX-N3g#kyJ-Nr=(%8H4)Mn$g}8<9^jp#*)1y z=_ctRL6HoQ43UhGjFG%2`9LyBGEFiI9B@2L-vI?;OX5)C4C1H6!*K*S9Jr|@7NYam(EJr-~|jI2?HB7%$BvDT=-IX|9a&b_b!pH*pmJOM=C zhi@gfw?B&_rivc5d=_ckc7yc{6CpbXYm=#!%7;YOb3NRQy$#z1)}gfNLwd6X?2lI$EGHwebS==-3&)N~$0yrjdnRXTM;~E)+4l zQ7rNw#}5UDFt=|ux@`Gwbe*zRVG2+H&$Z>gvAI+&L?$TJH{UNrt=%JAY>Iq_CNkOL z0}zv$#)caw_K@unMT?iF`DGV^AawQmX-kO7+PAa4d+c3Uwe_N#gmD7<^C+!hu zWOXNmiKVN<+=mBpA1|=?!OI#_L>g^?|8^H+z_FMW@J{2ms2IX0>$8t1adLrwY^k56jqG{?DA1To=PwkiN_1r8%xw0x)Ud> z!!sxOxru7-lF|jE4OYOxj7`8K@~`&tj04-PtB5)rL$>(-x{IHU5gnSN?mh~pM=XSy z8G}Up8*;(22M1)#Q32{z5)jSR&V=jOn8!9iqV3jwh6?)jh-?v_Y^ejUURQa<0?f`7 zO%(#66fC;XG(>GLKyswIA6adJu)g?;&)a>fV}Lvf8pM zyvDcdq>oY@arTa0F|Blq5G0+7xW)f1$-q)Fj3u(zi>%Tl`tlG1;AoN(}!~sFA$*#>N7S#B74j@!#u$9HjD|rAhlLO z%L7EXOS9AJB4oyqg^*<^LSn2nk{doDD z%$HBCayuq=Gx2eWqe{?MIe=W{0fr&)Dcwgz73Q-!9L0EB_b^aJop-V~_)TLAXQqvEg)d%p-9?CYkr>mU}bg zc+L+!{qS`b(ZWo8t3kCm1pgOtQG&quA^@psp@9};ts}W79^Q|Q2_8>29D^c@f-ZBZ zj$AucsshJf#&t;kDOb7b5#tKiVVo1A_ZTQ{}zIXJ?}^_V8Md8tKdX- zo%CT+#7yTNP4QF39T0s~?%2i8Wsa%>mBh>$G&(8I$;+mXy|fT!)pv0$0WwO|&S*U4 zFKbhUc?3iTV?xcANHPpPhCoJJ`>l04YhM7^hoJ5i&8 zdmNvDbGJY7_pS{1;#P`(2yjWu?6w87Tk_l3`x2JU)!)P`%Bb*J7;#&g?EF9kY@zPa z8v}aj0-yR3^jle z)LY$Q;C$97UZ8p%5o7B7$6Jz5zIF8Cl*KKgG`LYr6Ze{COucbZutX9uOZvE zE4Ih1iqR&#S6)3XjBCiO7M zGN)rtKm<0e@;QFSG{UZt;EJjo6iMox*FhA_-Fz?oj?5F$#gXFh;DG~&4w*vfD*#fu zo~Q8*W|EvhC?^UyY@*{D4I$2z9C#XgE)GNTX9aEw*#Je{@hQx7F?BUysnd}A+{?a7 z_s*xrUX(pu{3TA%FHwWeL{wWTk^O3!YYmyAc|3Ul(EJXR-x?W%^=fHwX%%V1XlwW4 z5-Jjg5!Mpo5-Ade5!JpjWO~ay%{8m&{?lO=cE{W$3^zB{i=0xtB7HzkWh@E(F-^AKF)52;9C^lyvZiQVZ^x$`3YwzvC>N-69O@bDc}NqFRR;ww z=`(fgnVAYAHUetHW2Q$RY1|MKs!z!?H1j>Owmfs)Zo+=>FljM#y2z8Di#HIF5c{h( zFQb8h9Mx*;2A0vIWagDo``jN=GYbGJ`TL-q9G zigV8ZaZi_5-IczfPDAr#L~ndu;y&@J-j3YT0Xj(Bt5z}s`JT2a18i_&gD|x#Wy>@- za?8ACOp*z=(@rosCotaupxo1S-GG$S=F}S|4ss1K8?83|T!aV*|y9uZ^^<2}OMCYh6Y27EGwi>`dp>|-MhJKwJ`n<&qr(A(NTQ?k1bOjwe>G^eaVNz6QpFjSPUM~=3xw;mtEG*NNYKIEiQLk=g1>PK{%YTgb z9QBk&U`_+q86li(31e4D$QOPmW=#4LII>@_nSS@6GxjSq4zcs{^1hq-V5Yi0nOKs= zFylz5^00iQG_b!V^c%~zY_x8a9Zf7mI`}^*8_TrqsB+dz?%R91eBU1(Xj5B1D8)Z; z9DAPl%l(~!&sb>ou98UevXI3o$Z$YGi4%vZ9GeNnvda z5lQ*r$&Smo$D=kz+`ZBc`Hp>PyVDTsBiP7Qas2pkVar;)=UNuG0~0hDuO_ry=3<4? zwY1OeIUl+O2%^T0(a=?q+}9|ff`}(f+jkM^aXA5wXX(0sQrF(FdSlH|fu?czS=4oF zvlHp&cjSv6unplL_R$2B%QS+tlz|~70lAY?t;Ge5qyeof!d=UKoj+Fvm5TEDRp8E4 zp=`wqwtaQuov=u%ojILi#6{E)1P`K0D1a%6zj{ae1r*nWa{`5P#}$LVEg60R_`{}kP1NgpeaZ4nNudqBwG!J9y7Fnrj3$Qe z1gnO<#;AbG0BCjbGaF7cfdrf=Jy)f>`2J;{!KfD1LQT)@BYQxizhvTDelOK-5E1h8 zjUND8&%)iG8~pKg#yKYK6=o) z>$Bu^1`!@t!6M6cC$Y}FMoBaVd|UJMTzv<#GX|Xo%JubD)?VFRq>W=*sx^Yh>hHXR zJYyVTa+B)0*6yr*h0s1TbU15|)8_~Ge4e6Y_aS|VJ#`mW7nzkJjUt+gz3c`nasjtNPn zS6K!|Ss0#us#PyAJX}T3gMNHxW(MaqcFGO$PJ4cwSlUB@*C^D#n|@;E5Ka=*@Rt`Ba09x&m* ze`I~b@dm;qLbH@!wpfp*7Mxfr|oADa8X>t|{1&3t%DBs~5yEenlRdIkKj&Q;a7inp2 zyriccDR4kOqC-|`7uv$AVtnf?ue8dpYo2L3@&)j^J})0pu;Q!_1s$6%=(94~-fDc( zi<;N%%&obfQsIq-LRR&!di!)|7xYF|*17rh-wNCu50_zFEg3oCsSJ&diaa>FfWZ#yJBy_RAZ>Wy&`g=&~}OQCZ9^3vY?c>+hSLXU)6#f3bl zhk+Nj*AgX#yhLgw9NoI8=;%g4Oxidul*{{ytcI%q+@376>p|XYlvjdQ)yXaN;aZF0 z_+&Y#R^xy;=3&UVs&!U5(MtD$R$lm0vDDW~Ult#MC|3?i>HQJQW!GK%mhH_au1fo= zaL!DPRrm;yxr!hbG6m^2HCm;d%Gy)m3RRLg;bi55b%&Q}GACSVK5nJT7t2KGYy2W4aj;_&*=rI;|-7{`cEA8^rXFs(L_v$=Kg&dcDr?&d0SI{bi_krC7dkNl8DJ_&S?Qg$# zVtQ&H!}Kl!ymJVM^MnwzZ(;u$l)asyYS8GRr;@Qt*JH9W-``O|)ca%m5oo{S0)jXN z;^VF-4@wI?IsQigWm>l$DQD9{@v-+|;qGmrBsOX^+cZN+u89H%_OZLzs-55KmN>vT z>mCWgAm{3ynPpFDx#c*#d_-baxeNeZ_S%oi7iT^wUujeku1Hm$r|aqty_0TWY~fpBj}OO?zU$Ak{U^Bfa&Ap%G3z=0LD$WT z5B7s~T1VD7UNw!;aP)Rr&qCA32Sf>EMR?fsTiHxX&*1)%@~gel-S+;AO{LvD-iQPS zp-B~VpbM|2mDU?P1A7eTqMmh_n3WXfid$5xVS2hrf2s@$K{!M3j9R*E;O#EoyS4S_ zsdnrICO0<{W|_0Th9_eAZs3!V=L;8~O|=%LoM|kM;71I%cZ(5ekt=(9|72b`bbYzs zg*K#i=p?c4F3MP5%F;J2wM%$$T|)bPYq|iW9YgX|aQ$oIduKMPR!+ zu35{U7=p&0dKgy0a0+_1!rtsutx#cqYv&USZ)}@qlIf~163;Hh2wztdaW9sZs6F?-#!>DS# zA(rU?%bN@88T4#uaU0&}1*&s*PN1}a?AeiUCkTe(PTfq<$C?5Zf*O!99T?&2ov%M@ zPgdYXLERE*wRH|!dI9L)EJ71FrdtF~TYj16l!5U>=bKJYITMWSr4~jv+d=P~!#Ssg zk@~xKZMUx#7#s2l3+sU6Ws7IdLhGE@bT=~&M9V8QsK&rC4-?@YM>vUnh0N+adSDcX+ogwSP`Q1=!BQ5jnKmsO8dpjpP z(&r6ATulbHB8LD+{B;&AS;NO{$%xND%7qa+l8iumadJ-1fv5La-1-=SD!D{2&4F}5 z0`rzf>2>4qiQjq$b7CT{yFcP2e>j@bhPuS+{W-F<@J@xV2%=xW4v4~u-COH<%Cf+* z>pqtyVJKk+;Zwq4!fiy%L<&TfM4?0(L{Eu^XL$gT8Pqc1GAc5LG1fAY<7nauGS}4M zkmG4m2wJKpb0$hE zfs>GTIaBygCQ8p%CkfPdu;UsinAWVe_?iL4Ik-5)c1`3T_ zMawMh^w~tSV%lbAoMEC+=q8dvL~DI=*>#q$1X0I}Q#F`m*H4M2=3HcuF&TipAIaM$ zfy*{nx1C=Bk%~mAL#Z3)zuy#pS_%k?5+wCnV)`UgI{nr@W{(5PNBY(cZEMa_i+6e0 zPIly~*C>$gYLM&dWrLF|=-Oo`T)^J};}c2}fQJciE7c<3`(t;7GeK8IQI5tAkj*gN2KApk0` zlYMVq&zPJVrj%eEec%F|)Lm#R&)Cye&q`c}+W!{B>C5rvKoXfGH-2n=wBwyykv{MDAeCFIk%HA5lT#M=GLk=PlZfx!F)`K z&Ct?aUmNT^y1q6m0u@sk_a-P)-ERDNiyiBQZ__2uvcPN;-8ltBpetHpcHfFg^arf==8~Q0Fn{8Q*nxN(BB~f^Kv0iE_m-z+?>CvsP7l&i+(`4EO?Wuq_x$zo zit65O%?kpI1oQ*eUHEq9kDD5tB#f4q=ITMP?+mA7<|p|C8?C%g&j)#jR)5*E4qZGd z=l#rMpC9sFlpGKkh{vl!cmLhS1TohFL@#HKd&5-BjBG!W@DZJzI(XDHB2{gAp5w9K z(e<7q%Y$C$&J1?np_L7&XffT+94EpOX1uXBCGZaR%UtMQ>vew2*We)I){Tfu(18P} zM__Ai7vu|4%>2~$@tfw1j6rYaR4C~VZ~Vc4PZv!Bp)y=AMWej+~EORn}TJ8QtSt<}%&31YJTh&m}*WL4o>q@4$#bys*eJ z%zV?@L_wovoFX?Cu|6Hv(K*G)I5ch~YjD$6h!e4flR z@j@%fm8wUAplBp_(rdk8b`kWdj=Cz?9Oj@e3l)9nHrFACfbn^%W!Qst;em-utt6d% z{fTfiH}?#qy)-%uA6CKt5=+UmTiCpa?I=#|_K!Of{0C>Uv)WNHy&_(ONz=5C=aBAB z#UP}p(nkSjrM8Qtj^`4C42^Bs0F~dU##w3x28KF@#kXujyayFztC)S_4Q+iqzzwiU_q&-zVs6c;5nzBmD9z({WnB|Ku9*FdLilJ3Zy!x66zd4G| z>H)983_w#xtFp9R@2)zWTt2b2hYrD8(0sk%S`hSYt(nR^AR{~gaEr{L_Do{JtL8;( zv+w7x)+qzv(`?$ad{O3L-7Tv(Q=q*R8jR;bM{er*{R?wYzqI8osk(oG_NSb4IbS7S zo`x(DU0js(mr-!R1fN*p!lCf5Ag)g?v`rGWj?Kq*vt|a4_Vj5iUu?Z|_MU*j_<||% zenI)xkA(LkE?1I#+9+PauUw#7l017Q0#6f7A&YI@I66tG(YukL(;z7nY3+w z>{Yetd^78egaSPhsEH5I>+7Ju0r(Fl9H?>UfIi+Sa#ZS{I{m`Oi{e9i z5gRm)-pU4wnfqj)Dm57b=rV(?Y1(mqb3-0{e!KBw{rv7=)^^nUC>8dJjJo%p znlBQba9rm2fY4HKxkH~I+w9m)p-QAps#mwfb#^?*rH^k^;@#;KQGmhISVCT=!447q>l+9TE_s!DC6MFT zx!0&rGSN?KK%nKl5Hm_fXuqrHii)~a8z&i0#F5(u+VchSECZQaI)BM27LN?zQo1B- z$5wCRWs(A*$6Rvv`{I95VeqXZrzqOZxNjeas#VnJZ@nzf#`%CSU zAcv{tl6>+ZGTLCD2MxQyxF9Ner8S(KlvKf#&4LFp^QtW~$0+i(j?l@=4ZEeP7TAh* z$N29Ne-^OFm=^C)pyGZkFD#7zrwia#P>Oe301$**y9MfR#0nwK{;p-bC7{1%I14 z-}&x@%ahJTubWQc%UTRGz%b?zOhe0ka{P*olVUev-M7bcC?41;V7*8~oRG&f_ALUk zO~a*vMh=sGWUmp4St&+nVL|8irw>xvId3Q5J;+A3#t?h~jDEzb8~W~B>~x{|*6{XI z?f~FE*+97uW9)uB`$z*i%?^O>O;uMhLM#_^{x#~phq=l@F#ro?+{8~Wy)5);kcOsr zNrEMSc$Ypu<&pUEF+2TK^cs?vvdcf8Nqw2b8D|*z{H&2?$U#lw1BN4&WXK*J%5yl2 zN2?cGcqUagGNKrCHlZbe>gqwydrT1-H+SHEg(mH=b557&q*##tveCx4J+j|Mn|$f! z-Ik|~m&S*nOND!xK50+1_gHA7gAp{W?64FCH8&n=1XU1_I^Uz{q})`YHbJV0us4he zk%gexOkO+2UFvecSo*!u!d``@QO#|dPQ|<9Yjym@C>O1IKArbI zKHce8<^9!g>iK0Za=}3h36guuW!I!(EstZ?vOp4VAD>C4c-5(TqL0)(`uEtRy=N)# zPO|i_6$_abAdY83cEWk!L zUR4!>v2}vEN;1sSPE|b1oq~A z2;@zbnykbab~Ra0qJT{%qo%&fdn#H@C5K4S-8JAKMm5#HzXtQ2SL$<=>VhpaxWNWs z2C?H$>u||&zQ#8np(4nY;8#$OhNrc|ngDbd25DZ{9h-v^&XN zvz?qfAZWY)cIe)plL@wrE0P0G$*kHGBxMw~j%K>t7^}E$qHw&B5F)_Qtq4$SLO>=z z%~|qxDB3;W)oT0$y35CwF;c zdN|8YnP(rR7n=os%AaFJd}iv*dP5M3iL99A!o`=tUl&v^1UFFeX<7#=CbkxSbIAtS zUr(~M8n)lRY(VZ#d~n=8*zFFortWzr*d7|6*)a45wcIO_Aq^R#7$eBOja9M$%4iXs z0Ac9$ns(z=6?VY>ErL(0EfB58p`^J2|L!RZ?u)Hn;X&`BWEZ{=z9PR! z*Z?(v)%i83m2zKMl0|xRbC~<=QfRVD7&{#?H!;*LwtNzH=S^d*EuYt#v&soGA??ST%M#?LgkNx_wLCd&bC@p*d8~TLLim2ViH3 zcqHk}^@?1(!8+=zrqA%!N4&p+D6em8#Uyh8b!o&xI`jRJE7aECM%JZH@m&)r(A?J}2|c zs`}VTlRb$fjea`IIRIXs>pA##p0PB!c@TGg;CKT6}M4i*p~Sjy7eFw z2nVix-k<$~qp-fF@OI#K+YgSR%Vn4D(w?{-*l$NUwKi572)62k?Q5ls!ZCCBVJn=1 z;y%(3gVohY`{vD5>KAIHGmZ%gR$@x)JhZk+Rks=;XNW@TYNwBdF= zV8ygaUSSEjGm-EShi4wj9yZGB1TTOvFK8-+?V}@rH)vm@UWs@wUMek2D!o~q zauPi}J9hYkS^j`sgdusiyQa!RN5oy&M2d7e_0DRp_e6@fMIv1$)F(ri#d-o_yatHY zb?P`{PwHdwU7_b#6DgNTY0fmHvzx27r;v^O2W7o8 zzPZOS%YkDFDu6iI7fNcnZiDJ%^s4#(PW!>t<}}#ucGK=q@J0Xt$_sugOn1+~=C)1+ zun1FPU3^DfJn}(=2W|4M5Z)nw`V` zu<3W{VayJJI%ud-16CIAouTH5m|gDqhZS#(xCCew-Ai>CgbpEf-~c<~o=^cGeiIul zhRE*Yu$L+c_E{)zvg-7XoD6?C00g6W!)FL_S-5w|*wqjCYu`L5wy?)k@0kNE%@j4J zBS*2~Es)4~d8~{JXupuN{VGkVuoz$mIf1CK#kDt`fbo&@wAPwtY- zpp2paU}SF&iFgWwlkvN1bMuL1 zS8qWz-XOUfC3p?!0WE_smlcZ7>r31XBpY#o|~{1cE$X>!s~wEN*AFy^Ev1Ua2s51a0*T3x8+_$8$h}t2sqv& z>DcmoXTGs+Aag$)`cj-E#xnyEZ^h&L#I(dSpEIF;mVG8ER^Y-;9$%zVnSAt-g&}Nb zl03)HR)IR)%Lcl{3Djz@u~8rE$;;~cNYtv?_BP_UO;Mi zzO@Hw_>4-r3IHyl%(1H_aHXFU_HrP*7aF>2dH|-gj}=qh29hG{YD%lip?#n_ZiS;vXE`gAg5MN|ZOELo^1^JBs zgT}U$bAHfwiEM|vlV%F5;?8WE4-Kj9Am>0j*4axN1m`?B2;dQMPW3;Qm~s4&qLV%x zwE4|D*>ehE%VGBhtxaq9&9cQW5OdvkV8X<(2}gtGpnI!KnCrFcly8XeYK`(QRDLc7 zFKaarCyg{@She!#QK92O__=ynis%kv3slD;YI<#U<+wRUrsWrtoJ1_ zN|u2Bld}b4z-Ln`K7cKLqp!T8WoWjH!TP%~2n+cWw6|N{u>t~r4Qbhyg`PTv94*j& zE|laazatLVF42Z6VpOz&&V@VTQfs?w&$*I~K{B$2UNmHDP*2zEX&nHe`o^it)9+Zl z`#lXy>C=5i2$E;_S&Bmk>)k-Yvcgu^?zwp&_MSrv1{)N(%I`$HYzqPqa8-%n`omrM zbU#Hm+6uq18Yy_8G(Bo{JCKwd>4?bN9$bURQ{Fwj4owm{gmECx=eO9MGRX+se6auM z5-(7AJ)5C=uz};fUeX+#9ia{s(l~H5!Y`{1O)xW@XXbecJ;-|dSl*o9vOI~cEyC*f zUBXL;wF_f>^0e_jF9>y_f;YZo@4l)aehuItzQJ(9&NAqG=WZ=^5qZEB#}AEnI>@$W zl{6y zaq{M^D5^aguK395GPiHv*5fVe1R499U3>4HE%;++o|K>b8D(+?u~Aygy+Y})ZVN4; z`fu^`Ba30b=R1$0ZIq1(QBhGRg4}z$+%nZ1;+M6^_(!?lpc=07s?nD}Ln0Cfc2lMf zSHEi_OG$7MdatO#Jw3HEW2L{>-fsnJm79$OK19A42j_;+nXJD({^@@-rk(kUOHIdF&d9(eE;SU@XtEXUg{Zr6wA}XS}Om!iy}IdQ;a594fNfYytY%Ocg6U(nv_YbEW|nEqh9vN}bokyoMqN>IGT}ZT@bMSTTHAqQYCh2v z^r^<#%q(o_rDH6cQnu&vmkLM8$60=loM+74|Ju@^5jMNv5`yGTqxb%9W9soW1Jx}~%GEJaRM9fo$w-3@u zhedh@Lwl&LjIur?TFs1^8v$+iLk`bB?f@;Ucs)y$3+QFU`3oqh>^qnS-=BR#FD*XA z!8ToR0E7=)Yru{WS1I!dLm;wWOcHa=J>?2qJSxHxs^P?~&HH?9BBaudhE>H8H<2kf z{69w8-jA~bGZ=*-9FYNV(^*)Mg)1J*T?@jj6W zXh3RL4P%>u!XKYk5iCD3HKmJhysLS`5{7T*PaYRs>HBP~dYFlZhQ=&sKT2Xrg(d-r zO~*BBLu!z=WnYPr5sYM>W>AZi`gzEibn^->ARaL1^x1UsuV0O)PPIw7Xm(jUJYm|u z_iw^aMak9gYA%-6;~eZSzY)Nj75;fMf=VZ~yaP1};oP0@w&@QkgD%JZ2jp+g_Xj-z zLg9X#)*;*$A{2^k1n9vESV&7oo{~-MO?!0CrnSPIip6a$)8=Y5g)ddvJ5?YT^ zTYtajWU~QKrR^U+dX9dN?w0=Q5N?GzF$Ik6ennFNR@7K5+hgPq>Lv74bWfi_To-^* zrcp@Wc_8&)kpDdzNNMCW1VQx?8&n49Pe`@-cYY(#^pMyR+Y#FnI}ke(I}tk*yAZn)yAit+dk}jX1!aVnhBt+G zhfjpBw4v}Q@zsg>FE*j@DUYbrAvsvD&_G!raG3EGX+>gh?dJaNy_Cr{?dv~gJ25?+ zxIB|249Uy7^WVGc#S9w7TE`s50ELL1k_v^?Faz)X&A~f>In43r04Q@c(uHOjJp{_k zj%qUJnNI!Xr#;Rbzfi_z#NO}^I8cP?bleW*kp}-Tgo>zN=T$bWO*MB9$`-;uVC%g~ zr~K4|%h$~xtVVhiR)s&a+J0gU>4sVzJ1RHe;1|+}rZtGUeJr%8#(C~m4n=JYrz|-iv-#*?n?Og&;=NmlrjmdgQkCqnB_)w$q ziyMeSqiN%1wMdM|ufhJ%pTOt1T`WGIWF>dQo?nym7ISJmHyC zF$wSjEi2a=jGGA%L&|J`D62*yMF3mAG5*x@qeNU_0t!7(iXRjvJVqH%+*XH)A0nlWb3BLbic4p#M+0o_@HWbmZVZ#6f>2K zVILPjVC|i#B+oI54tc}`=*pi#3N}ET5Mjxx+@3{l?lxI@Kr1~l4j~CI%MS?Lhg)ed9RLfC>^n81SNVi9r)6@o~LSx6)h3UN`xV4?n{o*i*&mT6}1Y4V?Y z>s<kxIZ#d4NJmW3C9nHUjZ5 zYcbpXXe*S={hP`>k!`2)Yb$U3R0CJyh@N9f3?Z=N*LkE0Zs?+7Z>=0MA% zoNz3P!kRaWv@(P3*#QO$WVuenU1$3BednF_7}lP*Zx5Ixy-E|qQwqzjVr?UE=CR+D z5cS|cKkn@7&^X{lkWPO^DkI*zl1a zAzyBpd~j#GrILMXKqhx=PD9kt+^RpxANQ4rdOIrkgft0bqkaGWkmd>r|CSU^*qBU( zMTcUwgOsQm=~-cXhVK5CmKdZm+DQQjy-AV)V!~sP*&?1{ zcfjAQm|phGog(LxZi#N8Y+pFTN}ru>?^#OElL7|k<`RAQRIP2&zIXLz=KU<HJC}2|0@Z4ian&y_AYn(a z4zYd#P?ymxM+%$?2F8=lb4B7w*UQ6t!b*_Zn(}<)U=^$qfR!M`D4|KvgYt)#e&tTu zS#2)PiLq3I$MVt}3?eNu3JsZ;?67P=U7fa@`M$bEvib^q9yXfQ5Z*f& z>CNU^u+L08Z-t+FE~9{zt1}zNCv|wOpIIO5$d~R%P+9A^$td#+T<)^RC|S^FEDIJ| zJQTl;e_!@_6FmnzVuq%1y}t7UncYyywRZM&$pFtu?g<*7BRjt`BRqd}9)C6_BY5e`6dZ49d0R z)91f&*4`BRNw%RZCG6tDWEzUA`m`j?nm$Bup4;&|AJbKAtvYtxbKEbEM~A0!j#a&cecvjU z?M}yITsWmsG~}jW532uCRAB<3W}BR`fXaG68q^ARLnTaC^hPm(^p>NJS+YJ6Gt}|( zxMODHggKq_s^CcpeJ(a=JzXnX1~))Auy@4Od{r@C)3xClZAkW?y{Uj2L{$-C7qrF@%X zf_(*`Sl-nJ5D6oF`<-J;3G%GV)K^+%qNomhx$YbKW9-ZxRA1$gd<}SjDwv1G3+@4k zs_3Y=`OUUOugvt}U(r;Hs`97)>WFYeFz;d9Jv2Sl!NW^9#|R(G)+ZTBZLuk)l-{66 z{0)uP^PIWm=ZTVXlqaa7)B{&$ij|={anP=eEYm(b&A~BUZTFdNsCIoKgzRY6&APlJ zs3cPX@(A$N(t1^YQM*w;$SS&?yb@9Zh&Pwa+l_N`q>ETj{bosl?e=rr)3F zoC`g~xklFY6A!9M1nq~fudqirovJ(TWK1bf)&_h(AjGX~O#rEKg+B;!_N^Z*+liuc z;Y-AY`T_)+aQWxL%dR>}H%#;+aKT(h=xTE+civx*4PbQc`t@z?TW1gNBKSPOjBg!^ zQ0sBndKrRFM(8;tw}8?x4bilR-Vz`f%dLqapYsHWgD@nWzi});`gIzbv~N^)mr;PPdtZ$)Egw^?4M29XkUD9S+hd?I+u5P0%~p-SZ0Pm%2)($Q6@`JBjyB1JRwdB1Iw3(a zJAqFr9@+({xWc`@QiS3bjn|NB%6A1)tNvhyjz8O-&1OA3?b3V&q0}(A0T_fLR)@D< zyQz+?B0Vk8d`UQYetB~YLIR1_0@Px|L&53-4Fq40k~g}}Xg2dOJlH0gxHJWNKU7sC zz`T7Hm-m87Gc{I&;H8tVyn@9O1f(~e0As=|)5g;Bumq1ie)cLx&68(-d9Ups1VBxpPbmQvrbl3=6WE z=_bU3cJPH?nhJ#PpT~tTOW^QOQlWU`L`OyOYw7rdWYgK}uBVdkrPvVp* z^|Iq$8v8C&Lw1-AI7r-suE5pBZ-itAqF!~qZt^zj>x3o4!ps_uZmzW-0LM^Njs;}_(ybUFzl&Ra`C&z}ODHV2tE^YPK zAK#Zvq?(VFeS@l7VPGv71zzB(r#hspPLP*e-%Z7hoFkAU>yd^+wmF#Ee*}FQv2;?D z2&3I=D(HGu#^w*P*v9n-uz>GChfXa*fuG%<{^b&a+W!@(n+VL<+lWc&{VOXQVh^>FYP`H2(dO}QGCfD&R2nc#q~O&E9wLrgm+QI-DI;w9B9!Xt-DcZiU%cY zdXL)1i9=exaM3hi>L&?{sa8dI=;&q8c}JWd;Lc&weJam^S5`}wNqMjxcf0BZ8;j%Z9YsF<0W4pj-HOE&zD8?QdB*RXpc#fRr zZf;5}N9VN%$vvmu!QaP|#>iwahYr_vMXj!hO}b*YUp&WB84li%qg(}0PrEJAOo2xe zQvlKr#$|!5VMXE8znxaw^`j-L4f!@gYG`tqSN!lwh?Qhkc6L85t*-iYY@dZEly4(r zpj{Q^Ji%>9bM~4dV*?U~YsYO{D;w=cgy}C?JY*R>ubE^!T2tn1rc(G8nJ1CmWE7TE z$AsjY$>f`(JfdQkd$B*l-nc5t5KGB8sbkq^tiTKOdX&9+^Vbfa$&X zcXF?dd?KT$_E|W!5t4mreUjR6gOG3d-Mfpce#vgbhQ3j=M49tMQ4u&`OQ}Ft4#_tm zaY@YXC0*rp>KHyGayGN>CL_4SxX;4xZ}@7M*MEZA2W89Pn|}227v3)NeU^&-CSCIA z>lm;$L%itnr~IAE&t6$0p5QQ05B#IiiFWR=TQhK5;@JsuFZ@9?P$u|_Gk(9xe92)} zVmxm^zj=Bl!e3SfFNo?Ov`W!3ZxwTs@(hzC!y#;%+{(4?*8vIA$OdqR6R^>Xrq>i@ zO55Cj5N$aL73uWuH3>F2%=3-sZRueve!t!dxyou6KBkB53(vWcYR5$6OaOF@R(q)_ zwaA!9={iHEDzq`K=XJfR>?T{NJh9(o*pOS{aGyEpO>fcu^lqPFXVMx&4@|CKsB^Td zfVyA%e*@Jd89F<1cq?&EXZKl1N+oagFZxfIY($-Sw5+YnU(h@Gvv%%;t;l%GqJLm0 zcU2)4SRw}bH%f|iCxB-6!{W5}Ge^XykarEymw-*%;KNA&iNdq9L?72Y=Ep|oh#bD% zQES9WyAND*@PqN&2(kK_Mlhm(aQ<;IR^)H1#QbZj<)R9BFSsGGM_NoC-@{IMW-?pJ zme(BHZ!*mY6P~#&!%vlC`})K7i}hTmDVR+e%tJhf<&@${U0`K{7#9x+PeccZ&CE&htRWDG{1YMA04;OTJ)P z^90yub)Y>64xuP*tOh0RTAw!N9Y9Ciz|FR$FgWhe|KIp_$N)X%K3-{QCdn%gaNf_m z=BZn#cl9aHEl6E5%G5tT`az_cB@FP~kKxJ!7M&5`{Y=%r4 z)BpHVUkmzb9%~V|=T$fNnliuM-4f2N!|*{Fr%A&MrI+MJx5C=bne?`@NKM9S`cLP( zV$b?#tV=^JRU+QBhFA*$XXi})TI0b!M#&LMyB7Nk89P%nGNn4$sc?Qs-8w{bsj?gQ zASvyO#sPimT+(NxHm{FZIhgVxf8}i_dPD?#-MG|~&=n5JvqXG#E5XJIS->&k;Y3bi z;Dkl<80a$kkXo9h#^f<`Ed3G{dJX-@a?)9IFej6BtHNGj|w2)eYKgO3W?*! zFzLT?$$6hDrv3CY`n~1(va7F~$tdR85B9&K)VWOLsc5Y1CGwZ-X#Nb}#X)_GK^*og2PKE`kfPXZr;--njEO zg~dSqv@;SKOiQ|B093C{g(V|?-aSZy5t+G58>43uKSRIrdmGnp9XY?k_?=%T%@P5g zln9l~*~}{Mbqm!e0y%Gv9-ILhfPuSGM3U+~|CpM}WD&>WhS$av(dY^wFkpEnoy7$j zK25ac0dKhHq|ENZ%ef|@LY^@|N+ZYliG_j}iR9?Y^Bk-@cB#V2Oqm(d;=x+41Bybl zGIqYtxnMPTpW(>_(d*@2BpteUtxg22go>@=r=)ffBo7kvZ(u3rmcxr0Av0BoB-dO= zb_egtiz6yFPcE8;1tTs@T$`UV`rA5ATZBYQ?>s-JSITl(CPs&d=q%vYj;-oyzJyRs z+)GZ9+~4SpdMVUH#;^Z2d-0LT7cJ|Sz2mxuNK2`bjrlz~XPPd~-^tZx2o=SAJoLTE zH-1*~=!Y19!V>}iZM8!4K1jl`P9J+xGinh0gUI2Isam7Dce?-DJMOh1v*@#hUTKq* ztK#mXc8SK)%3QdhrCll`e)85)Fe;_{-fDWRA(*{FjBZ$Ia2qZcp!C1v_TJ4hyT&$Y3u+&mYR|!!!+3Vgk z$~GyqPaWB8XO9+rbSY!Ehiqe&lVg%xEu=&+!Y`Z;mk5L`Re+*$ppEEEgTJwC7x2M& zCul!weTz}uH=T=Pa{qjecANdA?g>(-+x>_-NyQ}M^5{WGHZGMS$uE`29Ist5s7d0g})n+^a`m(?)M@$gGjOB`Z}k)D%K`9VmNgqs zPVu(WF?XvWhxMSs(EzD@=|37VCWc)B8#dLV*JeUA1WYOV<9FxJb50VSJZ0YJ)vX^& z!it&zenHgs*maqv86$J1W;Hxte4{M%@`=?bKc;qr5IU>)WBan>1|<8l6L^(i%Fzz} zUxcpVd`dB*AIJd3li$Yvoe#e0bHr}2a$jEMPiODlV>!#_4{V-bQEx@LiNe!%Ztkum zxy+*vugC%$f@pFZ=DmXjbDksax?zoz2{qY1oRHFj+XfoA;l0ljN%O#vIVE(#jfO0= zcZH(BujouzZ{=2NuwYCZbzcvC^vuB z*4|N}5vUTmobek1DRH9dYFsmRKk10vH;d9*ZBO3RpkBA0;(JQz9P>-(=3sPG8tD(! zSltrU^LKZO?`*26sj2Utz*d?IkWSi6Ua9qE!1Sti_x@BL-8mCK80+Y)WkgX@FI4e7 zLfA7IY};-uGg%0b%4Bwp6B}cWvffrAFeTLgayDQl1 z>xKYgt&YSzv+5=Sk;IVKz&K@8U9@D=R7l9mZ}s`Uuby zWpb@b7n&KIZh{WNsHRD>W|nyafaY7!SE-I|cqjufzF_=@IEbxCASJ1og zE;^1(;(q_pjLNjlw?z-kf!^$(Ls9=cS7ID6?^oGh^5T9lw)j3G+^o&j)JT^evtQ^d zzjI~VbRMGF#P`-+-H4FaK45!f?~qmf`o6!FAkA|)?&1q#3X>QyTRUv6rK2Myvv=_7=oHJ?>h;DPFj!1Jl9}*z zQcr-9$en9dM^#-Qa$H-oeoseBYvS>bEc45)BsYJ< zG9OL!B<|qAIWpw^PTRLx__M|fH%!{v`+n=ztz!1cK+)%CV|JSARMD78_dqB`YQ(U^ z^$8S3fgaY2kh_5}R(zOn&_!^P#r3uk$rfU<8$co3{;w znnBTsf<(SWc#*2S$-BQ_WLC9~R7+Ra0_?jzYZ+`_2&;(_4F9E;!e!O}aB_0eiS$#1 zL1f6~389GstQ=u!IWEgNI^AQEV+fnadasxRJbW`3}IE)S3 zM`(>iS;{f-wZD!CnGlQ&nK zc?LR_wj)Uw%|@wWu#ew2uUZCZyvG03mmL>JQ40jpdMT614CmX*41yo|ZZuE17uY+ZKN)aa5QfJt)PytLeQy1( z0H{^NyDzy&Pkp(Em3#Z4eD(BaI-<`*n5$`&Q`T=QU#^O?k-G4b=38`gVDxxf!+&u| zCwM~3P1t!-QQ~`&nH|tA1|Vw-o45Qa(g2wP@A>nUYilmGFg6RImwo^G5*O**^0mnf z|Eya$#S2)u3maxhGwogmjSd(7bF03=dXB*|09y=zS3@mWXnG469m(QGA&2Dot$z>^ z2D`viz0cvIL+;(Iq;zCd)UW7>HV;tik*`s77V^XecHdkUi#LX0<0&v^9^Jw5CL(q8uTfhcQ`Y(kkif|Dzx^*)Rr1}`Kle(02*-Dtf)5vD5 z65LXLB=SBC)|K6?(n~I#PARS%d8)UoxT5j^c@Thlq{|K%*B9g*pa5V5WecLM+77k@ zc1(2CCkhG+ z1;;9F9_@lAVi=$XJ1|Pry?XU)S}9~$JyB9ydf;y`RajFqG^S_%HhHN5OXxgt1#@pi zbCTtjkxkc0{Nk+9*_oY>aiY&LXP5$(-6@Pte}(SnB84sIkXl886Yr`nL9ya3l2;V2 zoU>|u38lQwgQR+|)8BP=x<=Mh_;T*3;SzB3M`c9_UbA*T3UWZZWo4WWgDKpaC1R~~ zEl`w&jzg9KO++kc7&!lYHSDt%p))$#u#YPvGR|FfFO7mX2s75SOG=lQ!1>eco zyovWBK>d3=_>FKo`*VB-5B~kXfw5Rh)IaY8-}d5?rC8Pv@40p8mQ^Mr54{LV5}shY z@U7K_|J)%SfkwWtms&Ap`fIzBf`?v>1&s;f(m5^38ISW4j@4y7{8agPs*_&+cR;=tc$(as z-D7PBkEr^dm(pBQT&t)J3S=hn=Wtn64qlCcFQ*&$#m9>uh~A>*SmjvlN2y#>g)i?n zi9E99^5qoa=J!N7NF(3gK9WSa+`Pw~9P#gGBl~~dq9uITY3_6%4h?%CM;hI~Ln+&I z2|v!OOZ?&YLnA0lfjRMKERh$Vc!H-|XUTZk_0SYxiR3=PEoJmaV@F z0GBoNAS#h|g|&Z3^zUIb55ZIQ72aT*fgubc;fTXQTx>T0dobI2u*$81BZ;I+&2n${ zT;Z!X2fV2olDg>|usAKC8Cea)75*_B90M|gWNC;BljxNYvy9M>@liZr;v+sT)$0h-F+~b`ekoWC@(+<&6 zWyH3me$*1Ma8u7w=kSEY#M-msh)81}LML=VvLSbZJV3VaBT?KlR5$KVaS*ALNfjYcxxXRuZ zWL^~@h8X-PbKqM$mtSB9O@}JragHEJCt?tR6akfcWo=9^A(D?lDEm71YC7(U9Wbjr z;9%lm=&0I*Rlw46M@Pp3h-fN1I@CO~oSN{7YC`KQC>mjxmjFK67=yP){n-l_svuc; zjq(S|`%+j|X=yj(?x<^5B^(qr1T8KHBqqb@yr0Gd;Q$Q|W1V~jWRD^?fNj$1>Ky!~ zz_Ey^f3UzRe+yPi9Wv?(To7rQ?1fXA$n=q3qv%P@5 zBMe6vBA1cQ<=>T3jVzYqhSro_$gf>mt`Rca?{Q823gM{nA50p zO+b6rt@kR063IST&5e%RCTrMugQ8)q*MW0EZIn`V52Q?X-~jtB+F_`)S&Fq0GMz;L z`P3yMfg)M34>`yd0Fz74a%f$^vfT)xtxhF}As;0BSaR}N7h+^<4a$JMI3zBc359My z7Nkf~g7pQKf5~R5rs!7`w8U-;;FtXD^8pb4!p{LpPtNrh-(b4BW7>trEa3dLcj6#% zwFBs1&EE~OHizL(4UsYPd<^GP?o~LuMEFDG_-%x@n-Z7x%oWz-h4qP-Y%XFX@NPn| zNN&wLe}pAJM`hKXioj=9cozcjsIy_ z4088-v=9;-$;1fZBhX@b&S9wWsk6*L|8k1d*~n$E_(0BLDh8Fl`GeDOSiYN8?=RFY z2=w}TOC=0mDX$$_P{m9kmPpl~;|(oQSoeqYePAxSnALM*wd>zPAW2BTqa$j6Ewdh`e_cyxI?(tC%lL=zkk3a?8H U#y59l;=vD9B~8U*dE?;!1H