From 9e02c8720bd175a4592904569105f6b0b4ee594d Mon Sep 17 00:00:00 2001 From: noah Date: Mon, 16 Jan 2023 16:38:13 -0600 Subject: [PATCH] Abstract v1 --- Schrick-Noah_CG-Network_Theory.aux | 24 +++--- Schrick-Noah_CG-Network_Theory.log | 116 +++++++++++++---------------- Schrick-Noah_CG-Network_Theory.pdf | Bin 201082 -> 202591 bytes Schrick-Noah_CG-Network_Theory.tex | 6 +- 4 files changed, 67 insertions(+), 79 deletions(-) diff --git a/Schrick-Noah_CG-Network_Theory.aux b/Schrick-Noah_CG-Network_Theory.aux index 6c63173..e62020e 100644 --- a/Schrick-Noah_CG-Network_Theory.aux +++ b/Schrick-Noah_CG-Network_Theory.aux @@ -24,23 +24,23 @@ \citation{newman2010networks} \citation{Mieghem2018DirectedGA} \citation{Mieghem2018DirectedGA} -\citation{10.1145/3491257} -\citation{Guo2017HermitianAM} -\citation{Mieghem2018DirectedGA} -\citation{Brualdi2010SpectraOD} \babel@aux{nil}{} \@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{section.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {I-A}}Compliance Graphs}{1}{subsection.1.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {I-B}}Difficulties of Attack and Compliance Graph Analysis}{1}{subsection.1.2}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {II}Related Works}{1}{section.2}\protected@file@percent } +\citation{10.1145/3491257} +\citation{Guo2017HermitianAM} +\citation{Mieghem2018DirectedGA} +\citation{Brualdi2010SpectraOD} \citation{noauthor_health_1996} \citation{PCI} \citation{PMID:30064421} +\@writefile{toc}{\contentsline {section}{\numberline {II}Related Works}{2}{section.2}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {III}Experimental Networks}{2}{section.3}\protected@file@percent } +\newlabel{sec:networks}{{III}{2}{Experimental Networks}{section.3}{}} \@writefile{lot}{\contentsline {table}{\numberline {I}{\ignorespaces Network Properties for the Three Networks Utilized\relax }}{2}{table.1}\protected@file@percent } \providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}} \newlabel{table:networks}{{I}{2}{Network Properties for the Three Networks Utilized\relax }{table.1}{}} -\@writefile{toc}{\contentsline {section}{\numberline {III}Experimental Networks}{2}{section.3}\protected@file@percent } -\newlabel{sec:networks}{{III}{2}{Experimental Networks}{section.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {IV}Centralities and their Contextualizations to Compliance Graphs}{2}{section.4}\protected@file@percent } \newlabel{sec:centralities}{{IV}{2}{Centralities and their Contextualizations to Compliance Graphs}{section.4}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-A}}Introduction}{2}{subsection.4.1}\protected@file@percent } @@ -59,28 +59,28 @@ \newlabel{eq:kpe}{{4}{3}{K-Path Edge}{equation.4.4}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-F}}Adapted Page Rank}{3}{subsection.4.6}\protected@file@percent } \newlabel{eq:PR}{{5}{3}{Adapted Page Rank}{equation.4.5}{}} -\newlabel{eq:APC}{{6}{3}{Adapted Page Rank}{equation.4.6}{}} \citation{li_combining_2019} \citation{zeng_cyber_2017} \citation{dominance} +\newlabel{eq:APC}{{6}{4}{Adapted Page Rank}{equation.4.6}{}} \@writefile{toc}{\contentsline {section}{\numberline {V}Transitive Closure}{4}{section.5}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {V-A}}Introduction and Application}{4}{subsection.5.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {VI}Dominant Tree}{4}{section.6}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-A}}Introduction and Application}{4}{subsection.6.1}\protected@file@percent } -\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Example of Transitive Closure\relax }}{4}{figure.caption.1}\protected@file@percent } -\newlabel{fig:TC}{{1}{4}{Example of Transitive Closure\relax }{figure.caption.1}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Transitive Closure Illustration\relax }}{4}{figure.caption.1}\protected@file@percent } +\newlabel{fig:TC}{{1}{4}{Transitive Closure Illustration\relax }{figure.caption.1}{}} \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Example Network for Illustrating Dominance\relax }}{5}{figure.caption.2}\protected@file@percent } \newlabel{fig:domNet}{{2}{5}{Example Network for Illustrating Dominance\relax }{figure.caption.2}{}} \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Dominant Tree Derived from the Network Displayed in Figure \ref {fig:domNet}\relax }}{5}{figure.caption.3}\protected@file@percent } \newlabel{fig:domTree}{{3}{5}{Dominant Tree Derived from the Network Displayed in Figure \ref {fig:domNet}\relax }{figure.caption.3}{}} \@writefile{lot}{\contentsline {table}{\numberline {II}{\ignorespaces Top 15 Nodes with Degree Centrality\relax }}{5}{table.2}\protected@file@percent } \newlabel{table:car-deg}{{II}{5}{Top 15 Nodes with Degree Centrality\relax }{table.2}{}} -\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces Top 15 Nodes with Katz Centrality\relax }}{5}{table.3}\protected@file@percent } -\newlabel{table:car-katz}{{III}{5}{Top 15 Nodes with Katz Centrality\relax }{table.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {VII}Results and Result Analysis}{5}{section.7}\protected@file@percent } \newlabel{sec:results}{{VII}{5}{Results and Result Analysis}{section.7}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VII-A}}Results}{5}{subsection.7.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VII-B}}Result Analysis}{5}{subsection.7.2}\protected@file@percent } +\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces Top 15 Nodes with Katz Centrality\relax }}{6}{table.3}\protected@file@percent } +\newlabel{table:car-katz}{{III}{6}{Top 15 Nodes with Katz Centrality\relax }{table.3}{}} \@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Top 15 Nodes with K-path Edge Centrality\relax }}{6}{table.4}\protected@file@percent } \newlabel{table:car-kpe}{{IV}{6}{Top 15 Nodes with K-path Edge Centrality\relax }{table.4}{}} \@writefile{lot}{\contentsline {table}{\numberline {V}{\ignorespaces Top 15 Nodes with PageRank Centrality\relax }}{6}{table.5}\protected@file@percent } diff --git a/Schrick-Noah_CG-Network_Theory.log b/Schrick-Noah_CG-Network_Theory.log index e9b1411..04cb1ff 100644 --- a/Schrick-Noah_CG-Network_Theory.log +++ b/Schrick-Noah_CG-Network_Theory.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.11.8) 16 JAN 2023 15:15 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.11.8) 16 JAN 2023 16:35 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -541,145 +541,131 @@ LaTeX Info: Redefining \nameref on input line 36. \openout3 = `Schrick-Noah_CG-Network_Theory.out'. -Underfull \hbox (badness 10000) in paragraph at lines 67--69 +Underfull \hbox (badness 2922) in paragraph at lines 64--67 +[]\OT1/ptm/b/it/9 Abstract\OT1/ptm/b/n/9 ---Compliance graphs are generated gra +phs (or + [] + + +Underfull \hbox (badness 1371) in paragraph at lines 64--67 +\OT1/ptm/b/n/9 can be used to identify possible correction or mitigation + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 69--71 []\OT1/ptm/b/it/9 Index Terms\OT1/ptm/b/n/9 ---Attack Graph; Compliance Graph; [] -Underfull \hbox (badness 3128) in paragraph at lines 75--76 +Underfull \hbox (badness 3128) in paragraph at lines 77--78 \OT1/ptm/m/n/10 compliance graphs is focused less on certain security [] -Underfull \hbox (badness 1365) in paragraph at lines 80--81 +Underfull \hbox (badness 1365) in paragraph at lines 82--83 \OT1/ptm/m/n/10 involved compared to their undirected counterparts. The [] - -Underfull \hbox (badness 1688) in paragraph at lines 83--84 -\OT1/ptm/m/n/10 work examining directed, undirected, and mixed graphs - [] - [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} ] -Underfull \hbox (badness 2698) in paragraph at lines 86--87 +Underfull \hbox (badness 1688) in paragraph at lines 85--86 +\OT1/ptm/m/n/10 work examining directed, undirected, and mixed graphs + [] + + +Underfull \hbox (badness 2698) in paragraph at lines 88--89 []\OT1/ptm/m/n/10 The work conducted in this approach utilized three [] LaTeX Warning: No positions in optional float specifier. - Default added (so using `tbp') on input line 88. + Default added (so using `tbp') on input line 90. LaTeX Font Info: External font `cmex10' loaded for size -(Font) <7> on input line 91. +(Font) <7> on input line 93. LaTeX Font Info: External font `cmex10' loaded for size -(Font) <5> on input line 91. +(Font) <5> on input line 93. -Underfull \hbox (badness 1448) in paragraph at lines 104--105 +Underfull \hbox (badness 1448) in paragraph at lines 106--107 \OT1/ptm/m/n/10 importance in networks. By determining the importance [] - -Underfull \vbox (badness 10000) has occurred while \output is active [] - - [2] +[2] LaTeX Font Info: Trying to load font information for U+dsrom on input line 1 -54. - -(/usr/share/texmf-dist/tex/latex/doublestroke/Udsrom.fd +56. + (/usr/share/texmf-dist/tex/latex/doublestroke/Udsrom.fd File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions ) [3] -<./images/TC.png, id=179, 378.41376pt x 522.95375pt> +<./images/TC.png, id=177, 378.41376pt x 522.95375pt> File: ./images/TC.png Graphic file (type png) -Package pdftex.def Info: ./images/TC.png used on input line 169. +Package pdftex.def Info: ./images/TC.png used on input line 171. (pdftex.def) Requested size: 227.05pt x 313.77466pt. -<./images/dom_net.png, id=182, 319.1925pt x 432.61626pt> +<./images/dom_net.png, id=180, 319.1925pt x 432.61626pt> File: ./images/dom_net.png Graphic file (type png) -Package pdftex.def Info: ./images/dom_net.png used on input line 185. +Package pdftex.def Info: ./images/dom_net.png used on input line 187. (pdftex.def) Requested size: 191.51697pt x 259.57176pt. -<./images/dom_tree.png, id=183, 352.31625pt x 312.16624pt> +<./images/dom_tree.png, id=181, 352.31625pt x 312.16624pt> File: ./images/dom_tree.png Graphic file (type png) -Package pdftex.def Info: ./images/dom_tree.png used on input line 192. +Package pdftex.def Info: ./images/dom_tree.png used on input line 194. (pdftex.def) Requested size: 211.39137pt x 187.3012pt. - -Underfull \vbox (badness 10000) has occurred while \output is active [] - [4 <./images/TC.png>] LaTeX Warning: No positions in optional float specifier. - Default added (so using `tbp') on input line 205. + Default added (so using `tbp') on input line 207. LaTeX Warning: No positions in optional float specifier. - Default added (so using `tbp') on input line 238. + Default added (so using `tbp') on input line 240. LaTeX Warning: No positions in optional float specifier. - Default added (so using `tbp') on input line 271. + Default added (so using `tbp') on input line 273. LaTeX Warning: No positions in optional float specifier. - Default added (so using `tbp') on input line 304. + Default added (so using `tbp') on input line 306. LaTeX Warning: No positions in optional float specifier. - Default added (so using `tbp') on input line 337. + Default added (so using `tbp') on input line 339. -Underfull \hbox (badness 10000) in paragraph at lines 371--372 +Underfull \hbox (badness 10000) in paragraph at lines 373--374 []\OT1/ptm/m/n/10 When viewing the results of the car networks, [] -Underfull \hbox (badness 1997) in paragraph at lines 371--372 +Underfull \hbox (badness 1997) in paragraph at lines 373--374 \OT1/ptm/m/n/10 based on additional metrics, such as severity, cost, or [] [5 <./images/dom_net.png> <./images/dom_tree.png>] -Underfull \hbox (badness 3428) in paragraph at lines 373--374 +Underfull \hbox (badness 3428) in paragraph at lines 375--376 \OT1/ptm/m/n/10 their original compliance graph rankings. As expected [] -Underfull \hbox (badness 1789) in paragraph at lines 375--376 +Underfull \hbox (badness 1789) in paragraph at lines 377--378 []\OT1/ptm/m/n/10 For the dominant tree representation, it was initially [] -Underfull \hbox (badness 3009) in paragraph at lines 375--376 +Underfull \hbox (badness 3009) in paragraph at lines 377--378 \OT1/ptm/m/n/10 hypothesized that nodes ranked highly in the original [] - -Underfull \hbox (badness 2781) in paragraph at lines 379--380 -\OT1/ptm/m/n/10 prior knowledge of the network and the overhead of +[6] +Underfull \hbox (badness 1688) in paragraph at lines 381--382 +\OT1/ptm/m/n/10 correction measures. In addition, transitive closures and [] -Underfull \hbox (badness 1442) in paragraph at lines 379--380 -\OT1/ptm/m/n/10 implementing correction measures. In addition, transitive - [] - - -Underfull \hbox (badness 1354) in paragraph at lines 379--380 -\OT1/ptm/m/n/10 closure representations and dominant trees were derived - [] - - -Underfull \hbox (badness 2269) in paragraph at lines 379--380 -\OT1/ptm/m/n/10 determining which nodes are most important when an - [] - - -Underfull \vbox (badness 10000) has occurred while \output is active [] - - [6] -Underfull \hbox (badness 2591) in paragraph at lines 382--383 +Underfull \hbox (badness 2591) in paragraph at lines 384--385 \OT1/ptm/m/n/10 different networks along with various node importance [] @@ -743,11 +729,11 @@ changed. Here is how much of TeX's memory you used: 13113 strings out of 478238 218238 string characters out of 5850456 - 577312 words of memory out of 5000000 + 581314 words of memory out of 5000000 31115 multiletter control sequences out of 15000+600000 503172 words of font info for 89 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 67i,9n,77p,1799b,342s stack positions out of 5000i,500n,10000p,200000b,80000s + 67i,9n,77p,1799b,338s stack positions out of 5000i,500n,10000p,200000b,80000s {/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc} -Output written on Schrick-Noah_CG-Network_Theory.pdf (7 pages, 201082 bytes). +Output written on Schrick-Noah_CG-Network_Theory.pdf (7 pages, 202591 bytes). PDF statistics: 291 PDF objects out of 1000 (max. 8388607) 248 compressed objects within 3 object streams diff --git a/Schrick-Noah_CG-Network_Theory.pdf b/Schrick-Noah_CG-Network_Theory.pdf index 24f86fa7d583cc24219faafaf672c860e6bf18f4..d09f7406d63f3171792d5b6328494cf3306cd5fc 100644 GIT binary patch delta 55320 zcmZs?Q*bT}(50JX$F{X&+qP}nwv#uuZQHi7W81dvWWMvCnz@;&>WjYYo385h^jaT< zu)DRe6r>6wVzi8Otk9%$OCxL0j0|jq421SZR?s{=(DX87-3Iek22c}s#wzx3abS_O?JLFy0M2>Bq)GYqi zy3NIo+J{nxt}w#zHv7&mpX8G&GC&=@@3Qo5Td!4a$@>g!o_lVWZC4zKhrS9p_1F7b zTnvUuY?f&j1i#|~O``5YDaq8>b}vC^1LnUOiPv53*~eB-^<&{>HePgtLf+N!LY6=C z2!1EUmYtrEJmeC8G;ejY2uwrtadq1{+*I!s)$iD`@Rs8|0|;F}*f)4QdI2b84K#P{ zlRgTr4NdNP&AhF)wBIj;`VQu}GUg2@#>m=#6hx!I{YsUC&?ZJboeg-4-a6O?sw6*B<6z$bb0Y(@)Z!bd0MA zK;^DNvlyHQ*V4{^nHCj)3jj9XoDjx*?rB{5r?k3Kn7{NMSziR6(q#`@Pnm7zX0f++ z1hFu=TMqAXFcIMne_DupjQu)t4;SEgf*Vjga%sLVDhN8eF_SMW82{$uJQ8U|BJscZ zHL9#l!L-dPtl?jWqgtMpXmcB2FCGU`n%ew>X(QMgv*qTrKI5_!G6$H-RbWnkY@<}R zc}r}0aN|A-YBf%3^7UAvZs~vIwBb!v{Hg(s1gbn)PL6z?Hkj3zGwJ*lSneW_@EO}e z>}bHTX`t_o!g~dI*MSqa%%C?{zB8Psj`e)B@fsQIedB8xnol5$P_|cdYt@PT@;EU& zBA2#%(4gOIL@pK*PXyS?9rX5~x~iTHk3{Z$B6JaM^akel8lK#^Vr!0paeASM?jTM! zI((WOalfoV)D)!Ht0Hq(4vBi5w%%5iX*EQ(HXQ}b!yZcK-&SB(o?_7Fb7Uq39LpD8 z8=i{u&`KQCSh^K-eUpsZWue&aOiCC#I0=6uG}C-W9%+HsV*L&BF$|`?BTC&gi;^x4A&Pd6;;YGIh>)A`2ALry;n10~)} z9e4w_%;0thRY=YI6fhT&rmh^A0sVquN z&x?%y6YjxC-oxE`oPFs?opg}!<-^OKSn$wuYbt;SSO8KvSI(v#;vmDy@w7M+CN}CK z6azJjfPCaAv@c*LWJZ((UUhT+*iW@4@&*-$A*x5g=BA2{`$9MMMk4lO&-=(^X}X70 z^S9Ca?qCf=+^$o(?;xGXDltljqf~t;UKxl?nKSxJj$1md1=sW!rR)gMP2Jkp%Y#%U z%eYWL4``M^B~!P~ry0;w;%mOYW$3t~?2Eytb*2hn{`*GR#MiA}Ko1GmGGOB55J5)Y4MhMyEmFUkaIjC=mAab+Gjpa$? zs_0qP{vzl?Y%P zPk2_L6=d6kXr^P>=s!Q8g(?vfgc)yACez3F0(49Xn`7N!-kg6yN`H|{%NI710eg0l zgsH0f(Y|$$b)N12KB#-a9Xk<^(@CgChvhX!&gvOsnsX!S68Vu2)=p>5=>LSmg}30* zIKa+2B3ZLM85bOb1~a{(-?a%LKUbd29e=x?8&O$y+ZsSlJ0wNoC-l`X=E%@eF-F<2 zK{Ii|fekjJfJ7;n{n63!?9$9-1pIrLa;{QVJxCe7!2$$l6i5_HoqM#7M-LPIFJ~0eaXP} zk`HTN235E_()@5^K~AIPC8|s2+n`grnfe=lL&yh+tEE_RVPNMCJ+yFAihJ>W^{K*o zHdx#71qW=ByCjx`pu%gOxgqvZEifEtpzie=nH+;2R6uX=vQUjtrQKU~l9fnHYK$s1 zl4TJ_Y7xwqssACp6b1lu2KbaZ;%o8p|I84Gk}>T#jHx2WlX@pMPJOY*BK#r+h_Kj)$5moAmmzFHO0f^|8nxT-gxy~H* z>Tk@Ar@%R7%@XeXN?q=l%s{hJV`{rf@aYv0^ff;4zFLN%Wk^?6G%%ruH@zA@j$r1(nF;R(4PYK(eX%K-`-GC}bOQc^ z;V}q#<8K6+N^~&>HAI1!*NQ=*5614bVV6m+Um9yp;Tk=LEE^Nzs>d20pNR^sf2sr~=kUN*ivh2c(mzEcC)Q{$$5xi>@TcieJ1y(CR}(8(;P^70fXF@t zv!-H2jtttUIpZYmgc>UM*OL%O3u%67FF~NyD-fb@0W9FD7`B?Fu()#m+JToMTEA@61YIwj6oK7nv2! z16TkB0@N8%%ESEuPYpG!Gj8;Er@o?|Sjc6)hezCL+%5FUOf;4&g*3~&C!zoAjkWjz zqG-~&$Z@pjvpUmPa!%TYX4;7z=JyaxtN<^kJik7b^B#YWk6FZ0oMOQiM72iQ8Y?e= zw5U2?6PC^Rdp4^RZnrvHayIiKiss>MpE#?cL(QA74>s5>4+_Eh>^4>QCLGuouT(aTNt7l4HKB zyiygxr;buItRDd}Xn=&Gc%~xH$_gu6GDu0Zc_~naX}WxlgX7@j2>dnnqC~+^gR*JW z0ARUFLi93#?0vjATki+6jk2^B-{Ne^(ZnF~!}(*rsil&mk3|w!(BvSmL@S`mGLM^; z0iKU~9qy4q2KUf8a9qP0!t1^qv4|l89iH4N6~pX998IfTPmxaBKr5L7vMRF^IVqap zg@-r&&179z9jEK@3Tx0j@p}YzUM$OO0PuCf{vo>NBzoq7Vmo^Xl1?*bzO{2_p5^@M)&PLxOX`5NgV`i&}qeN+(F4PgDxt z5ULPl0 ziOPyN*RaKLMVoFq?zws%7?t$oFZs|!)9T@)Q2qtlm`7J_!}ozE9;AskNbUX8N36)a zMCDyix}Um>df(o@x~FCbgxs+{dBynv#DqcZlGoy+;|3Q#YV&pAQCWR?Dd_U-)FyHS zI)Rk_^%0D%)|{3@4;B-M_2~67wYLCsyet24jd$I`WW>YgI0~ zTVe`dOT&yXD~0QX_gPX;54#o7VbK)-w$AHZl+wveCUdnV4bXBO>3&!80wgL*^Lf$t zt%nzbNtQOi-d8M9n9l*L)=vHK0U7rlopRBS!Q7ZyRDx-^3{oOhe@LK{9?stEfT_vY zNVxk{Q58^E4jyYfQGK&zdn*a+Ra=X$#Be4aKHEuIx5`!J?u~aw$5$l+Wk^wpTewfs zv2ta*<}#_b&@K_-$dNl24^c(_BN5Hb%xqbW zQl%VBJQAo1MT6BXor0-xpqxuxyG8X{2==I@DbUT*DM-vevsV*I1g%%lSt7nvymGkO zT$Rz+UAcC$2J0Xo=zFJMV~TxGnwLVsWa9k4wJ-}SC-eVk;Tmmi_d_u!zdZecwCwm( z3CK>I)$VEA)d??iyg0TUluZOgsEDz6AUJ>g$v(f!s!DKR=wx>$ufLsDx67{ARH0E} zqU~>wRSJFfcKY9=c?%8+5S~U!BiG+V6Xlq+N~eJg`dfDB{B%*%zi5|@dUZ10K03Nx zOLVWIeN26reT=H80Puu?j=<=bPj_|i?=^^~eS z``;)wH(Qzb(FmHp9rP|;O@4z43fMH;_sNDqqH>$c&y<+7S5xhk9{q z$6AcHAsESPMX;7 zR3yn`z=>WjzfopDYPq`;{2LZt({X@;So)QTMxU*8j%&3360e`HI1v@$2ll4RBK3z( zAh?a0<9=7=R{lZy0?-$liDI*=^Hp)d*{9LBBsRguL4Aqz5i|i3@4qa;q52H0!s?eW z-HtNgZab52xALd7!ryPHsMWB--9nqxTXuvJKwy*>M9&Utm|^H`zy65uyRRYu`Xu~; z7m3w122S5UX25k13tX0sAdYReW-1woxprkR-NL|STn1zf(YmIgECUXaJmB84t-~gu z_m5TujYZD_IHyUk4m)dljn#!55WecW(;_;@)2UV^Xz9ifG)7xTe@5`!GrH|6W6W7N zVEUDVglg)H0_CK<{LMYd(xK0xJ1tlhGtivLf2Xz2~)hj>N$w*Of^N5q-K_Q#s*nsavh z@ph3v)-{EPVW^k^UOl-+T%N(Vl$TomsVwD?<)cWT=xnB`neu00E&M2+t3~<*fcO~K z{eUHuNw1`U8!?+BXrDjCajkh-Saiebm4czyeb9RCBVRU$LnT(K#TRre!gqeRKY-P z16Hei-cZG5{|B+7b{RB0ssH3&6vw~_synXy6Q`x;uD2E3{b{O+cz*k|BOw!;_}*lzYC!W9hirF~W> zS!k^WX@nmc#mPT)_!&}GK-&5+Y0yd#&Td08h@~4|7m}|eM~9L>U1J8h!`MK$M0lA{ z0pHE7#>T>TqauVx6Os!D?{7O`{d2QBQStMzwr=SwQf2ADdeA|Qh!t@!6@HCCdj--Y z9V(m-gbfx;AfTT=8$AhMY)_SZS*Wt`IO0Blr~g${G_b*pD}8+sa0c6+pFCyT0YbHW zNNSr%-xku!;z}9fIxkf~_`M*lh>Gy>8No)HL5f59Yf{r?{dd>QeW)?^L!=&#fgVPV z>TZMLORqI1`DM8l6|}=}H#Rlr3P&~to|p1R$sCQH)&z~WDet)fO&*#~Q+%+cTd7U1 z)wG{k#L?wV?qWCzFnw=W<)_!8ek;!k&P6e`;Bzb}j?^-ZNMXl8MxS5tNef9sHgrVD zP>NfL!+o*%-rBncw(!%5p)pPbil|AzP+dnX;jPr9nYsYc#uWs|CQ99^t$WizkH%<^ zhv~VUSfgu2&gM%~(N$0eoiU0gnOOBWzy)n&>!OUo5f&o_Xs{7YS$Kv_Ru>JZt$rc1 z{0DpW;KEQn{$P22gmZm$iYtcDEdn03(aD91F0;rtqs>9?M~uT|R^;Qnm11KguFNOa zl_I}9t}bJ5Q&Z-L_AXj5U$u~Pbr%TqjW)iSu)M$on-UNvYkj@6S*6Zv0I490&S%31iN^_ z-e@ED36)IUEoiiHdU!nu9p(t4K9QOdw+OFG83x0v5X2VCyRDt4#I9oTr*&-uWelJi z=E`t#y%<*r8EzZM{}5JS?SzbNsqUJPfLQLp>7>>IM&pyj%bdysD9`eYW>VFb7FSBk z<5XFUX1i+VgS;bJ6Y$9+&=D4-bxm^(!pe%&JmQeJrOAm8@TQKZqU+e3oO&{_^zBQj z=U*FWwAQ}PG;!I5h(IyEOvsyg58>BYh)B0B&tqHCiIrEi*S~&3OJ9pNFF;A^z$qAN z8RBIC#`D$*(2P{^&%1lseU*6}T^Mmnr#<@aGw4f$s22jOJx?4gX#6<9?VPQFZTF~N zymUBrNE+GZVXQ5UGL5H9<8(PbB4qQ7mttQEK(k;;Ign)FGSQKfPvwKAn9%qyaK?&Y z?ROr0$g2K+uPOOx7+ne}J0SXKNf%3usn<#t}I42TC!WhsXc59N-b$rRb+Z&c* zpT_=6xr?Ce9>DX8RH=B10fsv48RSlDziVF9^10j7#N9UZ+E(Z138v4hlMV*O^8i>B zwMrsnw`rkBYDH_TM_Y_-v6U)0guBkGx9^m8aaM`F@S5%2E5z$yru;n2;&TPMF13zf_1 zovI+d1WA)g8{z(sO)$=@ruR)XI%219$*$t%V#$=x!qUaOzu)b?;oXkM8eu?aCjaoe zu?UB;h~u8>ONJG|6*Bx7Ey)0cja|}diaHJmXH$H4Bi-Ete)No%x4;Wr7gcSOv&_eC z!BWBAN$K+FtZi~lX6JULtFt=#H_jUk4Tiq3h&~TY&BLQl>J1-UMN*Fp1+MN~SMf?* z{Dhr>e?N9SA2R6@H=?R*irF+bxjtbldWIX3D6ySetIzWxqdmuWcEomC~VX#H#597|s zFCbB3Y%s{&x{Ey07W56}$QvH>6oeR`SVI5bV30BY9a2})kk?KpvBY>b#6+p#8mxGu zg+JygCw!34Zgh}n5P+GSk|H0>KtVpp<3pLZ9;}c^yHFc6lGONRBu91r5pLjdncZk6 zZ9A8nGGI~^GeJ}Y$BMS50BV#R(sm!rYe~091iHxy06B{H4eW1~dDO$W<3D9TTscJ1 zB?c5A=>tNjrV9E;`kRkB;W7D_WA;0*HUEMNP-}U0GW77lEx_#CDSzahFMp<1Vf3!d zL%SDxEPsPTVG#V4rSyH0)<^@Ut$M4}eITVx1D-@G@nMYv`l;o%gn|5l1A?L@vBTzoJST$6u`YltST<`r^GelK?KSZr}*@A953P2K{mcTvr8m6lb# zAKU+JRHjT|>tEW)f*PMy*(ltkM{>pO5Hk6Iq8RO+t;savoCZZAL&Uzwg;!nS^8C)d0x!twfwAWJAy25VPP3OvXivjCqwwQ1^>)xzPEieoitIeHe##(6Q*6r*E97goeuQQk6jQ z>wu(QQhsR1rchH{as~&$2{TYD*l98Hl^A&r20@t#Zzt&G5%L|hl`9UAotT8MZ{mba zNX0!V^zL4zDO1-~rf$a~-=mYTTxP6XW+fpJW*$rY13R`6m!fslWM3juHgFObzi#m$ zIw8O2U$`Qf4i}DV+~te$s@l4X7Ua5^P(V@aFl~Qkp}{tTLtx_>)P%%GC7)Q;)D4{# zMxHi`wVfOU3@nBhd)Veab7)LrjG;_m+9+_c|%Pc@?!Q-grdMAb(M6(zh;eX%NRsZ)Lx3E1 zl@?Q!Xcdyc&h(+ALzH+9a$CiH*md_YD2Y~GA5rJunPTAbc& z{8cV_a)oi8C(w%i-VS67fM6zdP+3Gd9qJ7#L%GY}8yJi@>Y|bi*n&+1z|^~TO=V1MIh1T;(|sntNVy<$;E8vA_2qVnR%XaJ`Bs%p3QI6!y`oI4a7 z=KZZ6V*(j1ITl+LRHK?9*+RNWX_LJEVg3g!}KF{GFo_g{sD6C z)YW64`3gxx%=`fFB1HaBJoui1!mc~zW}@a5MV$h~B4EW4Ow28k3_!*X3!457GpRC? z`|~tLK-me*Mp9LdO9IUCfMI2M&y^7QCnNuISj6po@9)gG$nR>={Iz+)F2S$0#Uq|oXas~c%`cbQIC=oUp3dL7(OEHP~;1M1xIgp9pY3ihA*?0Q>yE+=W zoMFlxW$15&)t=BdSCm9!`s*KgWAZ1^w1cf*(6{K4^8bNGtW5t8XvD$H`ajTUSz9{k zusxyowQf!kt@hwR_F->mjoa;MV?Ss6T*H2N3ReTUYS=PjDPBo^75Amho)0K7pHS7? zZ3SLmgb+9YiZEg9i-}Tgmb&5Nkb6I`@AK|P|0h05H6ul?V>zrWg)-kltz#vFLY<(s z>UO2iyT_ZMQ-k2M^fF8N(RmTT$9&ve)ev8|X{U`4pqA7A8&ol^Z})zTS6^D=PxlPSX}pwoU#Pu& z86Mtu`~C*)U(-VFR9&Z z#dq+~t!2Mk>D^#2Q?DMX^!jjSK8%u#0r-6{b`*{Ts7K@UeZ+1Y1-AE|8tS{TPN8lH za4pGjB_n6JqI;ou$J_##FbLBmjfKK0x5>l;usWxJDYXs>P=eO0m)!0#T!{=b= zY)4aUAA^+vAfcO!yo;G`lb7>0v&*@bdLkX`aZQhZT3ZMje?4Y(D0uT)#+Xf``bS@d ztaqgcTqboermCnNr7|eLqcfM1i^oh1)gSGKhT$Uzf|N|jQYQh<7jhhE#9J;JB65wv z&F3D3DX|dj@dA1`0nJoN8(TZ$La|Aq!ikt7X2xMlI;yF0UGB42(a1=3^#P{MeI5bJ zUnQPoCVcw4w;^Z|?ibZ#qwfGISQEpdhX`_N6y~WWWN@@au>)Ll98HtP=x2?!?hc}K zwzyxt9|0_yovEh^n)Syxn8Nicfhz^-}m!|e~l~rEg@tqIFXuMAW-HfD%Ggljt;e`@Q`k4cwpeUqRmeuZy!p*1_s? zyK->5FFgR{a#Jp=1C_jQ8?XIba{oW^Uj#NMe}x?Ru3B@VDyyC!JI`~emf|mmS?J*= z&OQi*0KPMwY6Mr-Z12uRr}JATLiR9X3KSNq_5c?dx__Va;x!BIr>A&rNdcit`ELGV z|2dGn$P8ho>7+G`Rkiw@G&1XOSNQj7b)MlgjTHc+0jlTSdc+f!62Hsxv#;2R*)HX{ zF?zRI!p?)dbN}Kw!-fksS3lM19xnunR-4`H4P^Q?o%6(7TiQX?h|`to{D$Xu{8QH! zq@2KD;HZmW8h!+BX&o9ePfJO)N$6J%zuVzL!1K!HI3eLu+gPD>CbiW+N=oJa@P~N~ zg!Tc<$97UrD&NCwsSJPqerLX`Q*nGBc{v;T=R%!qm4#!RPjhbJ>^J+HWd!h|1FV3JigC&20#PApE$s;urqUz0=AvKNY4xH$^oA~%&X?qu*oTWbIaCaF!PDf*6W2f4fnEE{wC zb8IX1wC-e`dg^HiKQzx|fRbear*b8jEVK{%PmkSglTJnRiH%`Eps{by)#<%+Y2xwn zWZ{DtGZ1WYopo_>V1W)yU3V?#DjkR8*2EGWzv$iBRcN^`8}s%#psMQvo&^Sw1uaw2 z@bwN!6*)kDw*8Rg($;u9r6kbEUQ;hTIy;XvER~{hmpl)NW1ASMjp61*A1}W$sg<$k zO%+3C6gKf_x|d3R0|K{c8x)ySD`82QXmCnWYmb-lnV%d32v>4n_F?06^!Hj1(;U>&kyq_E}jngxKgMLT5^!WjakBbQLlhw8-Wv{LG2rLdX=fw@43;f^=%qn!?0pC8c z$C66rM`K`2GVmu`OoaiUAzUN;9mFqE2g>%DeA#qd1by0FN9~amf}Jt&szbI23u6JP zc`RYLl>4FqR}e0Rl-G>=G@5~w!BL(dsd>hVlj!xWRODO*&8nm^Ei_<_Nkhj1n`qX_ z;MnNofNo~tpwz;}vEszkXR*|GbHQdL98;RiK9@#j8!Uo)HFXF;X+!YoJAM(Ap45gQ zWn$Zpa7^{4qa)%7*$X)02~J#7gD>|tNG)0YHbq=s*!(AAgy*wk-?2ZRG%Nh=vcnvc z?d+iku9R==E^>CTb>N~bm`<+Z;qaX;4-0$5#^t{DQgQx5LiT5scMgabVVOD!-*TY43?@(&heot#a3t$jEv~MepeADlmE1BAK_G-+W zi)^#SHgv)>=P1Gif=buEsbS!6w5LW;D}7!eT`Wx=Pp1Iz`1e`wL3e4}^q-Fr*lU%k z$5QYCekW!)l-SG4#F~RwxH-SXXk&{);tV#siWS;hy9mk7iWlq{HgDEd`w;owQgA}N zFZnIZ1DN^dZk78_E3mtw;W0|!@TY<-0Az)b~?l}+V;@$hYm^9VTw~CLKeeW$mkG9yo`(jdD(v zV~*Xtw_5ZjL77pkuOVk`gspZ4gqx2l%~6;mS>go{N*l|^m})>Y?DdM5xz4}3>0Qh0 z++=W9I)u}11^G{4@X#8%n}JF>3G9s#Z`hc6$rQbF zpNh_Md!sm<5OdV`Inu}^C+x?DuNF(FvrY!P!1zi6108)Z(KsWOr(qZ)v1;;*3Oh51 zoK_sLc^@D7JmJZZ-CAa{PO&|bnNmcOtQYHlV88w)JFJi;bM9F8;}nwd5ST%sRuKuZ zB5caGCrCVeZiZO)hBct&zO;(c*wG-nza>K` zn?PM<=mU9kzCe$(ZETEh3g?D*BRznhNss@yHjAX3oiKJN)#L z60rOdd$(9fZV49QLJ@$`p2)I;*2n~FXUqswe_3Cn!5FFWrDI~IJfW5Z5ges$Nu2>y zGqyFO+pM7aNgARXydZ_X0kMax_^AQpxE?$O$8!CYeWtVzl0Yzw=GG(;BrbltbWm6K zPdQJel#r)!{eGme{oH04=d^c%^IA-b)ss!5aYjcQRbFVT+k#=#(KBYI>)eI`^Z4IG zaUPD`ydZ3`Ko;638OZN7Pms0+;+_Cv-od>A|APJ$_QCJ(mG4QFst%3Us&Y&j)Dz%e zCg+zaRts1=R$T=kRA>h8UL3dbTkK!#8Mpw(JleA& zsJOBApPzB>4IR@fP-*U$9<(+KA=`9@_uC8UE4B9EYhDw-b#Mq*_NmWdn$UrC6XPEe&}>88Qd* zmh}f$!RKDUFdKfQL!J|Ik&w)TEn500b5%>YI{ z(`}LAc#TtKf<++?w+|7wjpPX6LGr<`qbLywL+d&HfGv)YVRA%*Y_qfx>7oc3=jz11 zYp8)25A`o#LIAKDeuvEORJ_tmk1d#!^Hm{IgAjxu1PSVv=Hr&grcP#!TOmxe%N)Iv z@||V#8>tvP{To0+Ujy#(Xvud{mzNW z-)z`@r;!M&)eJ%ni=&B*EL`(NmmD28pZ@kC5;rf>y%mH$nw^Sc?Kl}Ta3|)p#>;au zBs3XDBP?l65LvEuO>p z{sk-@fmF^*FBYL-Z0Q%zN1&S|!0z?En%D{QiU`SX*?QN0Tj(;KejmYwSv6IJ6?oc| zzS$fU;iEIk`Kuf&B!>rQa^#KEBChtaqD_+J(*Vm5 z;#!)R1-xqOf0S1{uouu+QXETKrBwKrw*t_}nRK3^_kk{Adsth8#tf7><4RyMRL4ruCL{s1W8+idPiWAr|HmUtd(ngLLZ z@qfSEClp3jY+WnuIJ%N)KySFnVbHSQBWC9-hoF5&g5`Mm9v8SpL?Yqvi|}oFsblZf@y+DASg*^%oOl!|0iU`#Pq)znU<~n zCI|A*js8Gf7X+>>{4T}_h~5WrN6gjkbq=!1buAs^JL3;-L5%mRxGl%oAxvO z>t7?11ZIRhtQlBJ>w;huF(~@x1tKWhH-5o?`}%@{P_`k?9!SAa7KL|w&`5&VHY|9b2b(o;46XBJ%%)EgumZAXQwo5#lXK=ubNhNlho6fo{lkVMbV57db! zGAPV-u%ACLh2(Lh2002bVGtEem?9L?8yp&o4#1OHE{_MbV8mu24PnCu3@DQ!h7^R} zF%{(fB}JxSKui?~ST>7inDO*i$HWxC%<32E-_z6>@d2q_1}YC2#YU`AMO*>@3d+!i zU_IMsFy(n6M0#x5X;eTwM+sI!WfQ^gSK)#LLm#DLap7{>3hO6xv7Fn(MUmdye55ck zf&={%E1mlda#M&FeK6MuU_{oEk;8G2ttSiiFcOCx#NjzQ1rH6f?K$>*fVun@;BJL4 z3Zd^G_6PO;gjCx9%Ydk{f{4lT38V)RdBtNx4YY(V=9K&ESdYCH#6Mu82FDT{y5tf% z;DH>?GB|UkO@#f1pdvcd1mQhT;xe#lQGf|ucswrb=5l8)5kL3!dXt0IUnOtB z#1AJZJsz=9QCIq<@cZ$+8-kcZ2J8nZUBKy6^-jGp?MqLmN%u~@J0fgLE%_v1h7b&Vg90xT0s#)Q`oMIkRY=0{@@EcfNUH#_s%Bph%^zB1^=Z8d8&9;g<5TVU{hI&ynx z4380U0!N|8mYMsw?6`NPPma6HYRPTOsy7B4j`@B)OWpXr{c<3t)#(-_!!8%g+`~z{ zGj_=@pN)(G6l+t3yY&)kf`&_S%vGGU_t`$&@W(@9i@N8O)5x|cT*Niv%NR~9AhtN0?=o&3#Q52^1F z3$+PAo-W4W!&PB#4^CXJ$4Mu#xF8cBx^Vgya==S7WgfwR{aK0*NsYD08 z@qE0SLK#LIG1U};0BF>T%52|ia`wd^!VH6AXdkP1so0_8>2As=C@q z?fgiHA}EuTw7S=iAyeCUIxVCgmH>n&1-vf8#3ZqEdx2*PkFUeLU*x&OZZu%)sRK^{ zD?yw*yK9WBI!53Vp-osVnPtY<)zUIIR?hX670YnQ7O`Xb~DORJI>x;CYcsm*cG2${zM zQTzX?MBQe)`47DyT1_ki0E9i_L?((2?H|!Ca>?GI`{qE|Y8>n=AlfI)Nn9Nkv3;Fn zpJthzL1PXtP|#g?k-AgXRKd5B?5$Wc2_SF#&zLW$-t%x1hKh*)niGMv*BbyjYy3@# zs*ePoY4G}<`GUxv60q5I|FaVl{l7Hg*oNC1LMx@O>pg9Q^Aj=v1amCY*Rqhb5sMgd z-JwLH1#h{gBOe{ch#7xHm@2m*`cL#Sq&X2p7pI(H1M&0Hh>x4D{7mhn5l^YT|kgt3<7yd$1n-$f`-(T*%^? z@jCTJO|mBCvzKj%(<^m9`(p#v9ADw#wW72oO2!-`V}_0?N7sa_Ys|$h;k;VE*>L`! z{iM$|rs$Z%c>OJs&Co7qj|}08u^>gC8(wnXY}87F13wf1;S$50uG3F$=MAQH`yfANP)ZF0Q>eVW9l|i6X_50;Fd* za`*|qIzcl=Gt{bB)v0%g%v>C-@n6+sRpY1)bPdu*(8+`ZOw^q4_+6TA^5*5^d1f7O zj{&2>2xSgHJw|Y#%F zHF)g>@c2XR<^%qyv^d_#za3M@u)w=&1PS>mR8Gx@I2zaA9!-rKr#;x?;PGJ(64N?a3ZDK@meqZprf-#w># z=5UT9$RiCsg0Ia*1pheA=tO0!DsX`!V3q)}*VPzVwolo{_f6S@i8=ziUN3EuEUH?k z414@sw#wkj4OB~P^5ql5ws*wqi-z7F=_(SYKWV3eo7x#7?%dzffW$Gm+tw{bckWu; zOY`dR@=Nhj9xFO|HH1!Qkwr&Nd>#9;(b+bl2(M4Z-tXsq0>a}QM8}k4n#nBrQ!f_Z zFyBRW8@?@5QM6C7(YC|UU6OFhPz!!X=Ig{7LHIg;ahtHfEG51xq&XrBZuu>`mM2zn>N2)h{B1awc ztY8)#^W#qcFui*Y*4Dc~4A=%ZI)){3mC{GY?Vllw$8cB{syMwK z_;4~&9g^dztcZMt5ais`S#4GH`P+bw363oGk2;r72d5CkEZms}Exi5__6Vw9f?mnm zUMTyWtgtM306T?NBNC3{c>BgtN3?SZ+w}d(P~Es0gswx>K{FM5Uc`NS0u!C{QkUD~ z;&hx%f?CwL$Z*93n`dfZ=tHKiK${49kbA?(Xgo2pZg7g1ZL^!9sAoK#<_>?(Po3gS)%CyW7tD+yCx4d(M8CFFkXfuCA`C zo~LeC-Qiw{y>8u^tQC?Q;Hy8m_xEF5OT<4@-}&cv)!1(Z_|Gb|C-!psSszg(e{nmb zy>R>(S<7lzBI{>)Kt9;-+VwCVb~}U{%a1bn>Uo;z{{%IiJ)rh;;Yz#Kzd{`_;}5(w z2`Knh`H`R2AJ7w05q~u%JH|UeN~(uikbVB%;NpX54{`t5*e`T0 zYrMZh9ZljBY*YVhHvk{d5D>{&-Ep%l%PD}CC-m!0xr$^N;&yC8=q#A`_AQXkvnR9F z*4(5Dc z513BM=g4E>sSCk3A@q!si=zj{t{AH5^o$)IKd$bX;vtUrIDqy!vv9xfUGmPg3}$yY zhUu~sQAo|7t}5NqEs!jQddiz;Sq~=2!`1H9!QBfnL90m3Iu${#14Lowwik|0YB$4N z>kP+db-C|J6nn4fUSi4NGNbyUuJh9W*`vo2cs7{s9gVVq^ zt3~L0?YVLuE6^vW<|)KU7K+?*LdlO-(AkojmVGmpMNDgx zd_tWM1xO?Z!DP3%A$`9zO+y|3V)2AK)^UAg;Q$v8 zM+`Pi8G6EpxBcei)}`DL4>e4)vtLT~4IYEq41lo-g@(e?cRNMQ6-7}28`|c%THJz0 zj{QYPd=QlClvSNnev2ObkMbbP(g{;LmTJEg&a`43BOMmgsLm#EN|}qaTen%>^=CN} ze}nUH=}&3PD4xjc7asWI(qe7CQ;&^uY>1n=DbV+ID?4hQe~Ot~BF z%hSF|^w&#&7Ne5+E{8tdOIc4kO&9+M<$!>_5no#;IhTUi040Jes$QFt!J!n>&*2+A zNhtHf!$Z<=^Ims23KrQt1p__TBw$(MmjPY=_J;}404mq*{Wp6V_EDQ&R*qiwOE4*P zqiqZ3G~wb`y}DfT8CY`qn%@DVyB6NlgiJ1kDDB}*yjvu-+PbbnK|9x>e;4oG_b^&PXn=oNtuCA! z`n|C-Z0DzOPm<6Z^26aG?41W}eebqEXC1x7NRmG4!JtzL?3IF=bga1?H}*@ z`|qtksgw2`Vl_XKWX_$@3XvW7yQzvMXlUU?-iCHC38FLlaE^LJU#6x=FtNsi*<$>( zFfZZuqi8Y2QHB+k%51vP+C@ofy%Yn8 zX06QlDvA%<2K}hXn>+*p&M14hBHefLqSnm3A)ughqF$;^^CUII{t4JJPTd(RO8Zh| zsD;kJg80Ks)ookrLAu6$ZQ~Ul@Uaj+%gB1L`+POh)WnJR({`7ZWkmatBzTb5<$?g% zy4L*!`O)B7g7wDdXwOSf_BQf<&CKJ&xW;`=%uM6_Q??&D{eL|Dk%j?PM zEz1UQn)vO;slj<`xdJ?byU(18ILoe^h@yRu9Nv~tm{9*fWkxAY_=>!8GI`>C0H zB<|T52mU=>@F8&s+Puc;)k_UQ*#SbP|;*K11*2r?=8=f>q>Gc$=WG*^GWITEo>aDx>Ij#@k3RfM!!{p60 zr>1q~6FyfwR{;+UIuvDYU|)U{OpN31C@3>|A4j$4<`vKch5tQ}aoS+f-wewb>#pZ7 zThsrPjvKE6Z@!n9TDB|Z2)_9ielFNso0b)r9|lR&ul03V_t#sO6NcVi896IU;a^if zURvwam<_|}z*yt5{cTE)z`Va%f$P%9P4qcpJKmjC3Nyj$h(&$aL0D?EUlpp5XoqdG}8V&b4W`2 zQ~Z#`|BgG&D1+l8|IY<()OpMH;kCY**F49pe)@AaTlrYxhb*>_KJ?~EZ6=Lni5k4< zatE-&@d@u0`ZT)^?tEsl&nNNx^Oyb1&bksq$nPKMA`a7c@@p-i-<)%S4C!0i5|j*X z;v;Bg*d3!yN&eWj%v$ZD5iRay3ZktC6X~jq10GIRs|>x?e1(q1pa4nwhGE=`36O}3 zP-pquLv-Lj&dZxSN8h3GA_g6rx!c-E!EhSZ%MGTVWYO&2g52~7!VG&35X{tVr9*GiOnbc{Wj1Hk0%1&T~+FI6iN3 zhYN!|S0;oN%{^0mm|YPM4XO3@w@qA|(?%%cB^hBw`<4*;<iJp*1WLl2JL zY9(GL?Z!NsnL7=(;^Ttb>!oFj=c=aL^*1g776QfPbJx*kdwzvgo2D0^!{Hn|Qnmx{ zwz9NZ9gUF|+`2B}Kw+2?51}(#O))zo*KRO<% z|CiWNJu70$pQ@|xiiEc*GImK~GzJ<=wWVcA`ZQTd3N&+s92ada!6hbYTLv?qW_jk{ zb{f5c^s=+EhqS`GlNoHp*NiR2^zPT{>F_$YzreITH0<~v5XibW%D~W+h}5jm)L%TW zJ&>J7uWREq8|+W6OAD9`w~7I6l^zO0bG`kM?gbS}DX2O7QY;-1C#ZChY z_M_p#s$gBuP0P2hXzGQr_Kmik7m3VYEz09~sjN~B%`!%Lb4tQZGoUvTtUfo4f5SQz z)r%11fMtM(NjLhUKW>nNS`dn~mhg+Rq}67Wmqrp+Lv)bU27V@b+^uXBK3G1tm{H2C zu&@^B6@9E{c2l)`pfCnZIU&*w5Z-ALsVLV<9sMoeI#8(f1D73U%nI z{UTo3Wfdql!Q~Zjeo8wk0_XfQ)ezP|S6R&DvxA+{B!ZKOaJU8HdwMAGix}GzpOcEZ z+9iedu!4Hd@~iWt>7ZOHW`Cr*Q8068etf_%USi>~b9L?@ZmbND`PF>sM7wWNebQFa z!K~EZWAB7Hqv|ELfRoj@`7w~$ygEH#i4IYoEm|NcktPLJJ2dB5``HMZz{&2CvO zNd7Z5iM*QpZ|1&eXJ*A9t}a#Rv6zAoT4pS5--0@4OKpEXvlyd6)zYppGvY*5x9Wx{ zSIRwzc+)?8@d8r-7PX|ZGxbvMvMN=zw29E4rZG@_551M!FQ4_}bi6c)NcHYo! zR@O*chz$rRgiobXknSb)KeAaONX|x0HF^x9GY`cUm`04kx%{5Yms|@{_^eK%&~c2A zOgR|I_EhU=orO_|pNm>pQX!gbI@s!*$;!`z7R4!vPGZGJxPY!`IWj&8?QE9R1Kp9s zjsr)VijnvWPL0%;A*l5Ckd`2X8uStdtr0hhH$EvKKHJUN;CwD?8o&@#{(C5CFDHtW z@=qiiNrW|gVV$|9u|Jo8o6P5=E>f zf$H%v${$vIwa&Pv@@m*R@-q_LD9pFuT~3W0;1Zd6s%5pBc2@S;Dx*o*tNt>!Ga2tl zx#kL#NsvC$vxb)Dfdvy)gVvEHFsUw19%RQzPR}joOE2s%rSw%p)(MVdO@pH?!q25r zl7=Gc`A=Et*^!*>mt|6Nz*$_Mds{yE;C*S$AJhRA;g_P)8QnoEVVFs$d+Fe&XPExq zNX-8sz2vOVYGb5kQWi%FkVF7Be~Q4Xbo1wfZo8C>Q^mwBcIc4ISC?WxTIbyJTWC;G zC;19ieI{7-0#CL2frVi7$fA-O#>)}IW?Xle^uq54cwqrCH7G0b3e)t0Og(04RBtLGlUlR4q^SLGmRHT zcq7hB40miv>FIw;6p-Y7$_-U%O89)L*rLDkzw>2t{y*NMKZHbKN)S^2Zzn###q*^{ z49F7EuRMak=K4zRR8tJ~-PF=Idjy6=SdHm7$l%lQC9lc;;6z_2m7w%*f}R6~DFU}m zxA_AUJIjr5jvpn=Jf52D7Fk!rKJGLcF{flNIc38n=>?otKdp0==H(MPlR5e6opaBQ zgIgJz+)hf@1nsQrCT8P>oc4BtjF(u`JOI5h+p^P@j23i?-6wqJg z1hh4FxLS#g*`Au=2-#bE*N9~&TU>E0e6e_vOKpd2Jfn1PkM=}NMhXmVv4JqAZUl{c zq;FY?S{}da9>|Eby0%bPjG`Yp7sWn!waoZi1-T*WawZdjXnTHje)ag_m2g*Xz+-z@#R zutqN79yP-=EdOM;J8%oyKzqYNz5+?Sv{4!hW2DV?u5(RS zz7}2=W?L!rS<~Z2F44>NCT_ji-8 zJ@L?;T8(Y2YT*tvBP;=TM$U&cdU~w!fy;XOP{>bSfS1_%w+i*f+|r~GuWH$+T6WW< z-;qKe`Q?1PGTwOcR_2HFMb=BsvXx35qV;FIB>IPm*}&;AU&oXC-+v5i zuX`SogjyRA`!->D8~b~r41VsjxLZ_a!1kozHdhyWqvo!!#m<-sgWE1~`4l8|R*dm2 zh8^@v8|=;@AfHBebqN{pVU1434ItxYHGE59dB4p69d?h0zd)(aY|99u( ziVTCel|kpAi#w)$S{$W>fb7o8n6|Y$zQhbUUY!JQlNW#f-nr^g3OeeB(EEiVq6o)X zMSnP`J5P>(zGlK-K%}_{*-!JXWEaP6A8u+!0zMyGW1Vju6&KH?_D+ruTS;w=C4Als zsf9mug?Fyb?aR;}+I74i-hg+vkMU-}?K1&C53J8$!Fb_@BS$0PeVxoqa`8=6?T zQA>ZGd42`w15N6L$rjqqo<`n;gZ;rswxE61#Rg}M?(Km?s5Hb*)oHSv+m09^FiIQkE`4I`NE51 zIo&+pEQf~j1!IN2ifDb=GcAyQGU76)tJUZtdGfE}{ivU3ue3wUAp!bxRoI11!3r+q zS?e%2WAMBDDhOz~xckxmLOlej?O&b8Ki64kH#h6UVO(r$aMxg{`^6Jl8@j@IE=9}s zr|pZ}Q#-N$U0Zq02ov2FE^AN2&kh6w9?2dqZ$U4776Ys!lRB04mq{SLgm9)0$0WY} zh{%7*HQ}T+T}Nwp)dg8pWB#$%*wL?@0Uvs)q;%dp@)j=oy-^*$oV&DkcwgIjg&w}{ z^Sk(MuDYJ{nr&F(w<_iztsTd&x=gjjwq=F(6u3`k6>l9_EI(FOa3PY-REBSH=lmr> zjC%2=bGBjVGPU%QE(w4gbQnmxk$$DvUlN{HC;l_j3L-8`zoFi4TD7;9h04w=#+(=! zxRmGHSz`+e21pi@W{@Blr0hb^a@!~dPstFEuD20jjP5%OTc9pV4jl_U%>7*r>7BXI z@MR}Wc|PH3r~V>D?A9T|s5B8(%wKpp_5oM8qh=g474=)|7M9tEK^w=)FgQw4gAyd=YSgl( zsWJU!Db358e#Dbwf=1x-vC9goB;o1ZU}QQPw|KqCWr$S3(#((sI6kOf^nQt*a(?xtND z?S@JGYQHv6i9jE^YdrqZsyTaRY+UL<_8-uQl$?#jV5laHn_~=jkH~t(;xSUworyv|f-SBqqA)YBt^CqO0 z!Ygl;K^&@uAOoGLlAx81Xmka32J>+s89IAf_5#`S1ql;cmb5@dgCNH;xT{v0U>;tO zA3i}~n5XP;%Jj5Bx&t9^xRRLH(%T687hbfZ?VN6h)9l7Qd>3_;>VCL1h|x3N^vpI2 zUFMozvQ!R1%LqgJe6c|L>Sus&tkjbx4i{LO`9a}(#U&hSJVRx1JE&jtPY*zZtGzb( zi7Su4EMdXu5eI)c*aip-7FY11$z`VLCC9%*chyQUG{!_q!P8qg)o9Q};C`#(x>n?L zUh)=EdgvfSZ1LR<-xwIAq$3Uoft^ZpTn5^=Rsx}+x!rRz;36@Qv$ER=(^aB&SKSU5>{Ae`ixx|83auoT zy*3*>3Zpms`Z<1Wh`WgVD{stf%VK&gKT^)ZesQ6$6Ss+vfH9U7b~677Ud>tI0Mxtr z)6XtfR_oOFtE-*;v|!lf%90-%E^-@CV`V2zdtZVIetsI zcxWihC6Pg}l%;t&emc$@?3~s4d<<lqvFZV9e{fR76z-r2S-)IcKyO{E~xZc5E9mMQR$5GD4iQaQ- zU1874U24TdcT1n-SjAPlcIgx&RanwWc;KK8_LLWc!Kph6wkn<++ocxg zvYsYqFi4sHoYM`D0(rEVihp_xJjgr*^Y|?8H##M6{2T)#bat)SuM8V>NZw3xg&1An ze2nG4NSSs1T_8#Kg!k#hJQl|GVajH~aT@0auDH8U96%6B_Iv=osD z%&b!jrz6tHDk6yT5$Eq7ax{_f#~?O>Bt$e<3oY(P`b|lla`p7~R3%Db1isY>t!@EA3vR zgz$etp>peKBJnrf4V*xIR(5Uymz&OK-~Tr(pKpy+PlM%%R~WVioO^Jnpc55`xyx=} z7|5oX7HFSn{ZS-otq%C}q8%D(R}qVVTpJGw*+gM1Y35DxM5u6QchJnSQ`T7RiMDkOW z`YzZ`3i?+Q;r$BI@b?*Mg2_i!a>G=ux5}n|ohC@;AnXi}&mT2jc`FavinN}UC4S;4 zUOB)=mx%>Oz%SqkC~lS0gd>J7n^UedMGi_pi9Ip%LkGt{CiPp(&v(mY8xjU9_5=W< zn}KMv=;{Mg!(0cMKqfJ-uW~8m%HEx0Ch*W)c&E9>4NA6Z%RmZ{7C5K1R@1u9x7KW2Nk+*VKL55^YHpMFjae;NE` z+HMm>ku=UKS^L`iLAP=2@=+7|;q8WqL{b=;c6U_$F!2bS_;4}LePr;w3|s+EATrXd z{-BT7-WP`J3!i6(@H_P*O@QdY%V(K*z%N^z39l-Yqp|4G?fLfR=+V^#cD&$_ zrUgYeXnekY^fOm5*XN5sXE_knOK3gXtPzAjs70_0U*?c(uZ7m;*?=g{H1GlN5@+>B zVyt65Ze4XZwX9S=pgGtBJgPJ8r#lXB*G?XuHFZ^Ai+X$K@gDKBWOzK?gibGgR0h@n zZM?Rt5~E)K$|$34wN7HR2_DVU`KrI;PCk0J-ZW%QFL$5DWfDCe0YLj7+Y)pNGN(ek^|@swoGn`M5}?cvpKF~<+NS4xVxbhLj6+>h0M|UZvX<979O|o zjWVmBC*ql=ieST)*eKerbZxg)R#?G1$yU2UBl%PdAQ5`*8U6mP^SS;jkr#i*&i=mA zhR1$?e^iu^Pk%7)mDInHue(*A?NjQpsOFhF5{nK|D>K!be58O_&o`TO){&bn&W`Ju zk)zXv3&&S`{O8Kf%Bsuto!w{`kJ~q$jTlbXh>Nd`6|})itYqdN2i29Y!HXXOEY)rS z-e2l=TML=Jc{rzCP-Aa?l$WX78ew%=KeIj7Gs!uj*w#08Gka`kwyR`=3{PAW3#~#+ z>$dQa2$4$0UCw~X-*5XM!-H12lb$ijHfvc(){9DC8}+>2v-m1mGp@!8rz$q}gU+sc zJ1a^iq~F>BLgA3pRVAygYGvcVIYsq+!1%)Uunz4%N~g->Rcl07Ijzz@o9oLw)_wL< z_l}>5mE-|Q1x&JAG)L%HB~mX@4fA_fCGRU9-Yb0YjVeIz<~Z_-Vi0?b6}rs^O0$-_ zd?6TADS(9O<8Ma=Ucky-Lc#}7-jT63Zdg#RP;nIv&g$XH$ zVw+jXU7!{#oKfb$JWp=heTiPAnUN?VpsaK#3)d_MT^*A#%;~H^9NS+`h(_I({|Fu? zyH@FlFws^_d8ja+&-n&_1RUrT+;3|!^ciK2&6DJEJ(dctvo$msP;@iin=O(+>Z%M; zu4fsWn7(q1dkso!e}+CKsOc2M^X>dMVy+HQkt7f2luvshbF|%_m9&?u%G$7&LCffw zCr#JS9ZmdjLGYtVxsKLSp@mMgX)V@7;)bX$SHmS>J_+c$e|Mi5A9$!$0@1&4W(|)D z;rx53Ri=4rXT~OXP6!+}wWSlT)&Z|MV7S*%G6!87^Eg+R3Ld7bR++&?>c4Stw@*_e zG?01DHH)5n5hbFjmrijku@NpJdgrj1c}i7W))F%|q`cT(NmZ^gJTro`N(D{;q_KBX z*{^*{Z7mJWOE9g-+TZqCq65WyxBj_F@M8RPW1fY0?WIE}g2;3dZ{DfoV_K&K&wLag z+!@M8QJp^{*`PFu;A@_tT3(I?_%E*vABUMH7-RVkaT^3YgKsDYJl87Hlyu}{QHIZb z*K66QJZ+3oIuR|-Q^dolR$DL~q=k2>XZX6*pw^o?2v&=Sr~B~v?!|1Z68fndA7zwH z=Cd;vCZZ@!j$zEXyjVj1ORTcwRR>rpaS4%M-McQ#;QmC284nc;Ai4n8)iP2P)n>Dj z4Hd@Npb@D(hR$3ScxHkGQ##-vAOcc(srV`0h`W@0FDZgC&CF|^l}ID{VMHnc`n^`gH(QgN z5#>k5Ib4kjJOG~Qpf~jYh|sf!0nbd7K=<*#0d?GiRRp6vban0@LeJpY|Gb0Ev=#uH zsRa{Jf<>d!!|%oa8FZehtVQtUR#$hh(5~C665Km5^3u11+qsc0Y|s7j zw(su5>^EdN9!#=ZDF-YX*M-r5|;eaShX>qkFfDiabys<8O#^9 z5}o>%@2)JeaQkaG(JOqYdR~&c%p_anvkr^fJ@wkSur=^I)qPs(O40(*i9sx%%G1ro zn8k=2|Dz}H@IycjX)wzt=JWz4czBB=IZS^YK9TyeDO-&;?kJar9$Q89!^Nt$e7P(#;A z(_nO;Vvw(Z|M=D!H2mC0hop(RKGoMl0;d&rrxaw^JOcocSZNN2_EQXhSyFR{c7JIQ zt!Mn1)I6YpCBXOx-Xcnl-G7Nnq?ySxKB$emM+6-{USPP_v8eL8S{lUc9aiH3gbU@ zV^qb|Dga?H^OpefSaGWie=+!7waRmB(rPWk{Ht+n#vrhRI6#(g@2Euzfe@lPUque5@_XSc_&RAl+r<~O z@s)fF_60MJ{PJ_?D3JCwy*whWfEf8uUb$*F)&B_7HtQdX;!_n|UcnZ{r9A&+S3T*5+w(?kh~;Cv1Bv<)SD7?>%_=y2D# zX&K4Nv4#C7J|$TE7VD&f136)AFyWB}Pk*~I0&nvr3;X#3uMhDPn2f1vmTiI)PL@Qf zg>DLvB02@wrDd9Y|C3&hMzp&elYBivLvF_)0ZR%;tT-P~C1ortP}=}8m&M~St&V{F zV&!xy{N>r`#t9vnN25;EThSRxailYN;W}--PBIJLL`H8#cTY`C z4(HLE1hjS%xKXZ!KgSQbEdWAkhnzy4_K!6NC7Xw<68ulcmc^}wN!F=0{j!L5nT%!tDCcPh`E$BSNh2j-kd%d~A1i?Gp76@PWJpn~rZUd~iz>mB2 zmN|y;M_wY?)rP+u>n~@IG~=P*;>0osx$$T3_3~aH{QL9yz67VodZac3>);GdTF;jQ zQvug>(&-jGIXpXqTG^nb&s&~=+sx6-xmRi7B+#7US#FK^u4y%6a*t11IUR2)47Br; zY^!5lof_S7z3D8duHU@zTdppQal9tkMPCAqqUl!CT?d!1QRRU|!iP!@zZUIjg-E}i zTn0^01g@e)wt-nfz&4f%9pcx21?2|Fkf>N&U6`2&Ivu@OS2#Xj5ung&gLT{o?`Mr~ zKHyLR@e_jY8@46yWxqhJK#&gSy+q<3C?uc2ma`ffu-+2m0 z+&K)*6eb;Z$yVOlcva^k2wQTgo-V8nLxp}8i~euvZibE0-?%Iz_h)a%m*cyafBZwM z%=bHSD{XOXG;9L0{#|#qaVvL2T9z~WFK0)T;aEjhdn--uYYE=&$I|0jMF8zD#7#9z z4X(9GT(Mc)m&U`;)`^$e5}2lu1>LlZ2T7&1^3e0!s1-EMjKI%!xP9#3LtqV$Z}lcU zQ|jzo%rh3+b60ZF{{-Qeb~pwe7v`fz=@v?})X9#t6|U{QO>M>?ci4Sb4Wma)Z&Tah zeJZ(_Vn2dAflGaXWjp0RW&<{4OYG*S*_`HotKLRv5j7ejoAR;0f7A zZS&MB|Gq7H$Xn)h7~0S^0{3)0t=X3n?`|j>&AVVM*TK-Sd&g5k7`#304e<%0G;N86 ze16Hhj4c@gjxFb9xf1`2;Z;hP{ORPRyvc&oH*s_Xr>9CR&}knYRwh6ocqy<=&*;B+ zw{sX!cr4{N+%Nq7Md09is4C3%F1_jdplL?4&NjgxF0KbE@!p?sSzqyLF1)rknr^Mr zqmV!PFHw4vUOltTyrKifpYpHT9Ey7pPet%Bpz2j-Fblc)=*^k4+T^9}x zlRt!ocIbuEmy|}f-Re8#hof19MPp^P0Qzj@pyX$0r_ABC4n`M=f7=QTlql#MwOFHq z;|4Q6Sg#$n345=mCvVlz`BMuy zl{qg%bSQV_Qsy>i=V-ZGX`Ah`t=)ieq;B(f%~}04)MurfzeGPNU)fZZ{)~a-g+p}z zPFDtLpHx{IOA?r4tg=ino5EwUf@kBp&UmpMdZml5f96^Kt0cG9NWjRJ%DJu@BHK18 zpt~=OM%?q=fk>9pMy56umI?2MxEzrb(nA+v|#iIAte)_ z{QZS*+i~+l5teNdDy>FP?lfer<|a+$@nd+8EOyXPF5)n^Y@yj^_W+Yk5LxrtfZsT* z8?RKSXQolPf#_Q1v>Qj7FW(8@DDxYem;^1=!CtD9z+aK;Eg0j1STxpR^-omR<k#gKwI5QNB_=1@w0q$9FQXFI1hu7ExaC@)G%S ztrY0?{LGU;n5La1xZrDDNh|c~kl@gJN(=_^SHsvzgfg{UjBYRm z@8G{t=+@v$Ru>yQ_JcK1)SQ~7G)SKwYI`%xCjg2>2Xch&>(egDjg^JW2-ifoK2;iZ zJ7#1{|75_|Y-Ot=#8V+QX-yDLeTrXkG_QLR%gOzhWw@t+(s0Z_AhfTWSnC|I?i;cu zJeSZ2%Lf_TGI(fd6_^v}92rL3)IL3_^tWnl9@$+S*}7A6B2$!Bq-g&3e^M$o`*t8> z-+=F&>x`zkL# zhnUAL%nk2WKLO~*L#<3s_lgS%BXV2>{0p}%rI@NqOdcW4rq(#ru+reS-$s-=Ss0_B z#m@TO|3JDn*@2(OEDl8u^nm#_cxnEkbPX7t&K7o|l;lUYBoj9$(~DygW%^p2@Al1) zhqtDj#?mb>W;pB#+(kR%*w2P|3g3!*$_?nPeB5x}EHQSRPL(h{N{#)(4bvH)4FZ{v zVD;B7jhdcxn#VXAS8B@q73C5WZN#9}eEIS7d&|qd&O>B9oz6~9^je_-a>e-R^Dn?r z&eM*hU7<;k|2kNi^o;_0c4H)y!*^;HWGaj${vw^1_@*iMrddzsrzVxdT!CE}H@Sa$ znoH04(?-bhSRUm~_set`HB!+*0hWRxSG0uhg8-F?v=CdaauPt!h`jYiW`t$Y9-UWYBY#sVJ4R2W)=GWjA(9ax2r6{ip>7`N|n=(k`hJPuPCMz zgu9%`ls494j7RqPlDlg2qJ-$Oe92K-iLtB7FtnOTbjFHBQ!$jCGKH4;b5QEM>pi-@ zL-1eD@|Vs2{KQ+xbBhzf>=y4*y~6c2mk4=~%%JJP7j+9SnPr zst-_(uG7htd-rxVUJl@!j*k>;Fp&mUhNJ{kmK&H?gcOr|Q=@OkmE*d@j4cp1MP6iQ_y@igC_oRwV0OW@GX}) zWl^2+Z__ejpo*SDh&VtGlDCyn>heHek^uM5KfuDuvG1Eii>iS5@oxY%DqU|Ajew*S zy9CslEy?+X3k^p4@Eh)$&sTboiy&6!KNYbK?P5NuIK5*iSVE>6L?ijRM5PjHdBGuY zRT0-Wk*PufMA-l{4+{~?I`kXSd^g`&+oJL8f0C(|W0*XJ1ZqI%?Hsp}1!j1NbUXCad)jmUP!b5o?qPHrw?B_ynqyDNoFE#`3R=S~ z0{wKsrQK(it>a(-4DXhQ^Fyx%vD%`VZjQ=3p6lA45G+~42Ya z=6Z9*i0`^n`}pVBF47yY@%9C~Y0XjgVuxeCCJlSo@IwHIw?>@(5jg@+_x#(}^)eiu z5>+Pwwx~xJKbrXQHV!!<-!8xtqMU1LlXs-V4YoWmc?AYMfI!JvB7T+eh+T4G=J{#L(LGYDL?@T$R^Q&B$LC0bV zZE&m0nev?i7Jp{=rdjwpqFug5hBI?g!n0Z+OodrngYxZT{V_>gFyULikP zS(k84j7X&ehA2uf`U%mtA%7tkJ8NZa0ez9WKNL7<1&vm32PfzITuy{UTGMhWD(GmN zJTh+_nNT-1Lz`A|t;qK411^Ggp*r(XW)6)_Vv7!_oS_^~)4dceA3l)ol2qdzDmQq} zqP48Sg>c&2ThC1`=uv1g#vJ%C1X}$VX(Qo7jX=1!|AfUcHOAJX>GY3 znfmLm!!4THrAMfHbzPFqw*dcY+Ze>)c85Hb^CRfFn2*M+YVM!ErFy|ot=snbi>!jn zH|_1yNxq1rXi{un)4YDMek43v4j>US0XGO$qbDmdNj4KVsuwn5TWm%<7SVfJA!S)k3)|Eg#25dzX8?C0{b97zRxGQZ{Q1 z<6>>d>S2`*?^fj9QhWXmjXE)4{!R`kbWke~($t>l`@aB9K(fD{WP`e%IR1>k$}NT1 zNaQ-B|G}hWo=N*v+3BF2j@G$k)yU7^yk1i*gH?8~X$ib}7q_qe`wGv1yc2U0c^*F} z3L}cX{FBx0)z?3~lQq@RsBW00C-+Rbe>(}>EQLC#PHtZPeSG>i(V`wj;eJ3p8P^YW zs_$-YX2zuT#-aKD7}NJ%TtFR-`Dd{37slPM?;eYkPf8&UA6YhIp7%Y7W#`=%riwif zoFYZvkYlm^p0A7T;$Nf;JtzOZ78=j_x6*vczvr86xwvXJ+kBnxw2NP~`j?`vf6L9; zb0YN_;X@kG@j)`Yl8jHi&4qNIiqWz7DT_NBf2G4REK3`b&e?8~$Sh7@G(cvwKh~Igiuf>a7Ea91 z6Sp_cT;G3Wf6RP-1$sUv&G2j9e?J2#{5luxm{SEFxn?-+F~5UbTYnu@PcytkqZwYb zq`0_|3lpjOA^-HLQoimUB-WSCzU6avJ)z_IvRxljQ=?fAG8pyHn)EA4f9x`C76nhX zH*zB{dbGX4%jP1AeCM5huZreO-ql_x=6%t&d7Ga}>1T^Ahur}y2aOt?YxS3MwJJ#g z7gg0L&Ge{Iv7WpgtDZajs%kDerxgl?LS&q9B# z8-5(e>SiH#_~Onf-IVt>fB*HA<32*=;6;uH-eZoNAO_1#WNZF2)Z>BjA9I{y<`CK6 zBaY9f32yjCkfM@Su1Gai3DifevKOIeQUufF86^|veY1Oz8diJs&E-?&VrYv+N1>xO z;Mj3rv=VFn)en3}NYwYm@;R2-J*ILP176GHuM;e{pM@;Ec19xgr39W_h4$@L zBsZYO>7*o2vqE{-NZ+Ad3i#;BGV1hlA7E2I>Xm{DBqOv|e>>gNdF0Ekr@WNiTJ?=? z*bANlY|ohdLjdYpgVJx^X)f5Edu&hVA$i#$@J%)ok+LSEs!2rpM1vU$15NT+xSr32 zg;^xIurP}cRt(rjxiFwa!)0>!g$9}n14^^dOMU1H)aQLszx^nbW7DhaO9Aw%bWUvz zd)$M=XN;XKf9_5jWWYF+2-ND3W=D~qQKqatxwaaRc>G^HG~_&m2R4jJX>@U{1Vj%h z`E;Ig!a0F9zK1)$L(zLTc||$%--v|F-(yLby&*8MYr^CaS6@n?Mb5uT`M5Pe+bqk| zrA?miF5)0{)@8nF^WF4b4(Qo?Ig+Z_jJEL_lh4V>W5YXXb}a(d>7P@8!hc3$`&1gh zyJA(ye_d@%v}OSX0X#Xinc7huXgcqU9Op#;)g~#*(*B$6^2^2I{PKc+?70B;;1fvc zNc?9ke?sn*?@#3WQP&}Nt*)TZPKDubQ6|qhkS)>K%H7-|B8vpf|Z?#3s}X$PQig&jzJ!1W(9b+e?g?65Oo3?J6k!}iy1ouc>tO~Gk_R> z&=kPR3Si;p=0>Cdh&q5goUAM?odMM9Dw;HOboBqU{1pN)@%T^AdnVY*!X7~R{>2q& z>j1I?+B?5P{I3&Lfk1$>B@ke4WeWs|Dk^D9D@X#UB^A^Gl0bW)ld&y8$;HIh$`l}H zWeT(h18D%}4o(2ue;fd&4)$hNf3*gGW_-sI1_O)%U=YyM>OBqUZVCkb<)R0GfKGN+ zVDS5QfE5^E;bd&@{5}I`2Y{8msjZ9IUj*Lm<_>=o0y#OnN7%jl-oca{z|LS(Co7OM z;JvDnn8ZJLI$Ih$|5Y1o_3j2Zn7>DwIheZq)zaU-cbIptv$2&u7~l+acmAt?mI)AG zW(5Y>8hgCgeg^|NS^Z7J1#D$+@lOWy04Jb@v6GoC5Db2YdB^^1I{)kw@ZY*O27zon z{?2yzJLc4h|=ADGGnS;Hp2fz$yj>x2c;NbjT5dPF0muRVdT3ni{;w2cJ1bj{|5wt#Mr#89 z!B)h<*6d$>($2>3BN4W@c$bBlk@+7+E3kx>JJ3wY%GuNsU~X*tKCi!j?dtYsKqp%( zd*HjSe~%Qvz{1S@FFrL(D^nZ$zXbU54;Rqh>|g1>OZ7K-CQ(fV6%}#1|KV}{J5cF; z37pkDK=0iCqZN4vv;R8$1tTKj;12L&VBz2bFtD++yx+ZdLfjn8KL10>zkyi(d6qYJ zcCvB@=)U*O%<^~l|MB^M=SlxxV8rcB9nAh(8&zjxd$adV`!B;^Zc`U0r+0z>zWnc9 z|L6Jdod*Klfu@Lyza30@gRRrEGMsDi@`gsmbo+W(poc<0r44Guh5pqJ-G1re8{FTF zo@+uF8^?KGTRrBEKrcHow7WlgaBZo&Q-Nm%L_Xv+y@eR7l6)>f>-a&>JBzYm1JK zDU%NF@2CbwhKB~bFJXIk2r* zj0t8w=VQVN-S8$P(u`=uR&AK@;Qc7MBP)7d%j03F zo;+BxM({wy8@F2ejh(T(ma27QQOU6S#!vV*AB4~N>k*P@wq#09s~hCwSuQ$df%A#tvSg z@7^4KLKHWRm6rZ4Se*gz-PsXpr;J2eQ{&>e33Nh#(<(w$SGj|eZVg$S~jNde*4UP1s9o18A;r`t91}!sk6@GAz&jBB`n{f$ zEY8{=JgwhB=)da3-Xt`6XUEs9n{!Gc`TyGZ#w1oeC|I9$co}6$8)Eos-u;6KlverE zF7xYuO~b8n)8*VA3TcIFkl+H##?N&HO&RNt`x!w1nJ+ z{t)AM8YAM=(=s-fKA zG)M>g)$BlRsfrL?win$$_0YeQUf#C*K6V>_;I0>&`6MtHU61qWYoswlzol6^%Z!)q zIv|w`^n6(Gzi@}`iaNx+4J$KQBvRU`Yih4?mmG&^jh5#jx3FlY!=dlBY-o*#f!K!y zoT27|{kK^AR{7)=L8qp_7)?Je`cGX%zJ2t=umQ`eG(2c0?qImQF3fX~MLzqYWJi^M zi;toPg!7 zYm3x5<~|teS+}p$PU@Xvb+$&4KNy{VeKF-th)v_MfKr2dSs^9O%wy?sk0W1d|5(EQ ztQhcXq{9ld84TCegV5}m<`2&f)ot4-OWB`5$BCTb>wu}Rx=*=!?af_y8L4qP->wt5BDA*)^2Wp_e@4;qyO%x-C==?1CnG#7-hzz{JANWt+F? zTNm1qzZ|+aJYtIiC`@NRL*Kpu37uwkTTrMu*0%*b6L(5jR5!^EPrP{-!#ZU5CC3w8 z%{U!xsF}dlX9S8)V6k8M@&rhK)7OraaukW9%P8^JJYpv~1~Us>L775XKfhZ{FbHDq zvJ2^se%F5Z8nn@??LoT~h#@pk;~^ilic6cJ*}{jNyH;?Gzv#y)?WU7Li(9XXC-H^4g)EQK=K`4vCBLhSs&ZUjittucraMoS< z&>wh%Y7bi~3?~WQ)Q;E%Qxh%g@>QlL1mXt0f};B=*Y)!HAuE}G0Bc{IP@KSA?K7|@ zn<<3Dfo(vOUwZI`%G9z*RW*~8q1ebA@nG4afvCb)jN{Q|Q>TN3*xrrG^UR|y#&t5< znS~`2!!#1|pT*uAHQ&FMN;!uVx=d-Jh+pp;?qk1Q&&fa8d!BCVEzY*78_aQj9%XSU zBJ71&(K7G5;>Tcrcv1bWZ3%fj zu==T;Q1XdZIrp)ziG6-oTF_UFZUr?3XAysSlg^vjn4^l3h*~dJoj40j?BuSd?1ZMy z{-^hnyZLlSIP{Mwfg0Hme^Q5UsQp4vKVcOHhvyM_ws6OP4`}V2v@ldpUkLw2@7HEi z_Lo2WL<-6pUN0%uMy;^C$d311#^>g0sWIRA|P7!k$=Ut`->P2&u;wCO~`> zKLe$D=HieK!%Wq0gpjPwBWL9aw5py78AhzChIzM~2s3+H`VVg10@lA$4ALuTE3b;M zliu{wyRR32QRAXMR|@rcsGsgKiv^Gn>z@zvq!3}WTb7(GQz@eCrxj@h42d-FU3Bee zW60szI)}L94wls+Bo6y&NQo0iHXx#^)SInb>R4JDm>oep4iH2M`7msv#w{i4pY8kf z{t2#^+16}4aM+%~s=!7WL)S!N3t$h`CF1c~`St04CEK-F%t2tAMqO~j(>u8}JrDvC ziFz^Hx^YjN*Sgui8oyQ+`@9dRoJA~OwPHyz1Y%2*YvR1)A^`B9g)gUE)^oZ+ctlTT5XIh&8k9+(|8)kP`x6Uq~u6q_V3e61sD zlNI)DFoNVL56VG=Y6K?fOluxPJOC|!M>gXvrrYaHu|4ZcP!)CD^~hszrRuBZ$8Ar9 zj|f&~KQRVTP8AV_0&%o@5+{`SPPMA|y%w0t<8|YP2iff3QojCct_Gh5R z^wA{<$mp`l&D9CXFQ-a(Mh4s4%*;4Nwz)K7y4NQEt-J&A%c${_ktpVe^|Xn4&)V}%HUX!c zhs45*#G)PjS3Q`vnx|=yq3&q|U(L{P`bW#v@AYRLKq`$KfA8^KNgK;X=B#j!!WB)Q zhnqTz9;sX^a-jrK9S$;wpTfO=i#$d@b>yjgd6DNfisE;V(Pr4$ub(clsmy<{!pSh$ zWXy>Y{?xm?4AsW)P}FJeyUauS?yGUat;dhIK(L$O?7=uw9`SO%ForAO?iPGUwJ(zdNasy%>>fVt z+h-7w>uaGup9j7MBF!AK8e4q)vU+JjHHwJA2n(FrOoT|zS4u&D&tLv+GN`Ep*F;&R zFP$+M8OchE?cX`Hfe7Wa{Rr6Dfe4Co48xppUaX$KDATbb4QglQ>TrusSn$=y*YEUx z%3QR^+#_)Iy71&dM5$*D!lV=9lNH*j!tSI~V|IaBey+KWRxB(SlsOL}b1YU!IjDjvV1RwOdM^#fNj z%BCi{{%JnBxt&@hcW9dJGwB5lg`Fq0uXK#CqvcsPtJC{$NmVDh^(zbWjFCfBQeYl* z!XG-d?!#(-wUex{aJ+SEF}Z6lgW}oL4?$+s4vK>U*<$4b%exVc1i$?g2p)nn!m^F! zvvOfeGzQ$vQ??8aAC|4K(wQtjfBN)D3FtG+S$W992Lk=!dZNUTE7zF%3A$32kN>ow z%d4pCG?=(WaXP$gfNKOgzMry~u0VtQtEjZ&cNwmKg8Vdimts-qivFz7(lu+*dYzh~ z)RnDJw=xg&Czst#k9Z1;gNXyAbnz2Oc45xBec`O740(x>NojJq%DGeXk3HEmPqt;Z zet!CO4(oHiO_|B6TxYMBtS#YN=QKbBqD5DuqhulDQgaPzim34`lun!& z=IM>>mrfs5n9!KjMECsK)%CWd1EZ&A4m&Q@UVx-QBevi4MhebMD6 zZLNqWCYSxn+9sM^W;?Zn>nTup?w_*lXFY!-f*;lRK8}K_Y+5p?#n?yi@}q?K!U)!X zCfQ>z%0xSln(NNKFw6WPhK1c~9q=4DGs$SSG`oDVlyQ}Gaf!tHVqk)N=|muH4bkC! z9jsoN$(T+q`f&B>Dd;3GYB&?j@|Ag&wlILWdA$U^@G=%5bJ=j6bQjwKVRD&udiic( zjKg_?`M3$1cZt@!kFZD@LdwktoD&&;g9>khA)?1SLQG%ywOcAm0Kw3s8e2+wnV9es&`rm{k92780i}FIX|TNirm( zKI@b>T(Gw5K1ANquR>y{fclDz{Cew|bcf2t55UJ(`WYl$&zh~{f#hqN=icU3QF7%= z#z|cr&spOk!xE(a15eA;i>C~K>8--9u^>5xSYvE#zM9J>w*coQ@0=gcufjxA+PQ>8i7%1czgE(UmBd+pLji(>zzoS!^onMoq1R@*v$P$~jNy*1)k}pVr{A zj%5+aCKRh|AHEZ^c7E-Lzp|zvm;8-y@K|-rtu4#+;7yOJjPJ~>BX^*Glie^$2ciL| zGm1)G$|YY7GolZUHaZ4XuXE*a+puLVU?$h`VLX7u>^OelErd!sKWyX^F`->t28hV_E>u&yTp9khQ1;~Z-(zptA%Ru z@V?IGNAbXO%1w?7PS9k3W)%x_UXlQ`XiY|Yppc7)YgD|Kqb(S< z^L*IqZ=p95a@9Cv`y~IpCPn89oNN6+1nP}wPfDDMaG)x}tJklwd92_@eCI;~-v|MY zsNjUX{H2#qyA@CnXx!>Vy}v;xGV<9^rXP1RF8N_zC4GehWn7_u0wE<+Zj3Moqz)M^ zpb0-d_vQ9Kim@qt2{`Lw4m=kn|7KruIH)}VtB%g86Ri&95&E4>gGxw_KNhNWvto!A zFrqKNSgzcPPmGqnbl-B{qn4&bfSIV0V>d?!UDzInj)2Iv^7BK+qioZY0vPYP6?9kS z7TB#pmWT3FJ)PKp1usU0khRTB27T42Xw=GoK)qdmb>2d@qLt0yb-M)te=}QHFpk9+ zoB_mFWVM+%9zC>c;Uu_f#Edl)`W}@>Ucwo5szJG}_u>#!D>R^{{WiaYYG~cJ8fUq?_FGgJ(-7Qj=&4=i^KOt?)vVAxXvtp{+BiAtyL17v>!bP%;IzI z-;sb>?z9l}7$xo_r26(p^`@H9glTOo@HRSHzl<#-FDD$R)mPC5to^awP{23zMNyu5 zMQ@HUCXD{DZIIQRG_c0=7kWv~;eBhD-QMk2eOlaaEUR|STg(Y%wi%L6L`l5I4Kf%T z&6OT_hK(kFflz!(_SSIfawpOf&e<#J=z-w~LIn1(D<0Liv%+klUNaLuj_Jtp+CBB@ zL&PuCUM}pmTxP8VK;(`xlqtm)TMt;P$|8EAoko04qAT^QKD@yK!y8T&24($K1oG)Igq{s#mO#&N#D*lO{SYfQ^;M$(b)n+S*XL;l_ zZfc_?iooh&`?G@Hsy2+o=zXP1vWMX7cYq@xi`A3zSi!f|Gf}Fe&fGT^q<&5&Z1e|Dl^v##Aaalg<4os5t_WkXJY0PFl6lMvtJ0#(+f_YflXFrA&ZU&$X@iid^zXVg;jUqS zC)pp6y`)*)9gqC4+sCy>L|mNc^Eh`#8dC?rH~Kq50a@(EoqgTEp4SOPEsgkXBH%}i zq&4>2j9SxV5b49=adAoH&}ov++r1_de#L>~RLG4Lge8wOnNAKc6(yO`J8x#(Hj13V zeGSWn^2FZo7Q*W{va{yHAE=BgD)zR21(t|S`wBH80#mavLFwJL?_0M0~b=^LyPM{s}7_V(5L$y*a!q*SBXXCaCIqf;Af` z7nixU=W>p*ozkh7-Gf9G<&ih{)B}Tr@?ETQBQ9pkO{@Dp|KuR&!kZSOXVdn7?g=P^ z-#jl%&#v#sHH$``r%RQnaRABuYwpnH(WPB2Ryw@IpHTv$@B_vMmWfp7hNx9$KOB#W z_xS!;My4ebvw`08hWGD=AaR%&n1!{>%(e&b$e>oN-TjN!HP3GktR?x|f;D)WuU`ws zDO=Rai%Whs)t39G6$htwR>2T|C`L%H;%aSisnSVf42Nd);Y)H-Yh=@w6IOHHacK&m zZ<$Op+@EV)8W#DwSs&Y>M~<`;q1hiq4uq1gT##HNPZe5s$Z@n-4|G8eiYq{qw?qZK zK>6=AMg8zt0m~C>F0Mb%^S->~ML6I;{P@A8z5mRdUeOsEFa1Gg-Hd#HKt$n6GGJt7 z3579@EO4y?ZR1ZzRUZv{j-;>H9tDL667UldZ&^XLQTwKE(^^YA>DiZYQsG+gOz{9S zzJtk6;)4X)FlO=qCeB~evf4NqPSw(`;#H_&KkP2RsFMAY+`(w0<=d6~IAf2X*2(yS z@{caC(zOXZgDu?)T^?M2q1N&JpM*r4De=^+v4X>b+%Jb{V{f*$wD{C3*rC|GZQmXS zn!-OH6QYbMgNg)+Eat>PMerHQak6oxKAmkuaO=fsIUKLy2Z1!7lJtWr)I%$7Pd{4* zhm~TE_MGMF6G~HC-o!>w45<&-+pk5!dU6vHK`Am8{BVev+Dm(XKENfW7$0%?6U<9; zUGWp2JXmy)0&KV=civmzl(DX>BVS_xGGm6pR=Sb0a6E0rVVd|s#m<|IH{RGCQs^}R z*+2_$iJ$JTocJ~2_%^)rKo$HjB*7s5!Txh*h+i*1dt?5jy`{iBDsR-r$r<;cxJL23 zzJs#(;3Adbc4GN!2_ zPNa6vw4I7snWfm3j^^eo?bBpTTvVw2JrJJZ9%=UXOmrWw56fjV2NOgOy8%*0Jd~fcWkSw@}bX zdCZ{trZ@&+=o@4jAe&Pmh_<`c9$cHD`8W{;sOZ5oGT3Ir?9DHkz%vtFq87$x9-!sN zGQahIgZzBv9RzBr>MEz-Fo8&j6xfUl51dq&$V%j>XpsH%KyIOt-S3ghtCvHapmkeq1ok=GU|2{JwSr5HM*b_4=0ne<`L7wr;`}!=!_2Ez zz&`25vR1V}`@*okORRZtNGHVl&^&u#Scl4gpZF%_07vRdsp5`IqPLYZmDQoHeBY#g zVxSqcJ2VgDpC1Djt^qK4gDk${c!x4M0(!&Cf0$`>!c1SeQE7r_zxSgerQ*SDHcc_`LRqvR+W?2X@yYrsf< zjr*=a%a4jVLqJt^72F@;kNyhyyd61*GLDrd)==!jvm+`bRg-MSx0aA(6mijSFbqE% zH`CBOZ}u@OLXsl6dHoGPE^F(z(IxjV%DMZhWm6%ECUTsd$$T$+hK?*&IwI?BR5$PK zpTeOTC?bux(}GeluJdK2ZyM?yP^Z0rKKnO_P>GK`{i>|%TeZkXv+*`VP=_aMQkHUU zTW?BxoOz_CBuE}>Tsq5GsE#FJMM?SzTbHM|@~%mw%*GKOwtQc7GwQBJk*$XDSBthK z!KVAk+vq>{(m!LA?~0-&DJ-s^mr{5q*)MF&5p&TB>X(u^yvB=IP47G}HcP zFqPe`qyhN{ekUoAVx$$dUScI1E&E0yq@M~(b zb;jKBg7^^#NPZ?Mfr!7x<@4zXU(CrD{^^G6mcyq;+&9Gh)w3U!N?HhiNj@{`NQq9B zAZ60I)QmxUpp2ScL*KMh`MJU;YV_GHu^?EwPJ;~3&@-D}?QM+SSo&!VdtH(n4As>++vxIG|`TRi1%3rhEd7J4F25VfL3Hd zYu9*PjJx3-uVQcJKnN9ojdw=M&_(yLpl;8rcyquopHf?<@WQqfR6mP5g6Pzc#nDJU zp|NX~>($JzvA?~I;4J&gCTrIDZvGDiZa3BhUb7U z*un**2#=bC$WIsBllR?G&Pv>>Dn5-qU@=A~w$NPMMcZ%U6$~VQBRT~>4Yj3?DNiyL zWMqGj{VFkR)(HqNI)~KP?M66%r1^`Ap$!;xG2^CR-EPKCb-*xp}ohK~oE zK5!_j6DY&yp+Q{%;ePfxoCNbyVL+G_DYb00DV78;Ao>M^gcY0V2^XbVgjOpUhd^9$ zpSqdE+)p9$`?A@8Is7liiq|q!TFFK>s9C z?))%sHYt86y=91geJ)XZWC6V+x`1s@ zr9F-*j4-Cz8r`G|^anGav20`_qf)2f=xL9d#Xo}2)`XNfm-Q0q+0%a2fa|K4ZSTRd z?m`gEb$t1Men)~G1Ag%+FBPfox`;}@LtG%aj6~C?h^ACCkzd%I^cq?tTpgB%RVUFv z>{6OPLqzyc6VbyWln&=Tc@Yiw>hT66!(!iA1hQb&pTf!KbBvUm|>2_~gmdt4l&`s(12TjMPmc zO2%r-O6rr)B#ckUVuAIu=I~rCd5>gKr@X?gKI2BpAz{!coloi~N>LyQ(b4#cD?zV^TfBf;F=;(;2-P={PCfZ0jxam@> z4WWCLKw`5qGi55eyg|XSx^iP-kIHAtAz9ZS?NnNeBRJVP9ftJShoPV%vOQc6 zK%Wu20Q@{~tYU;l?cvaI!H(h`_D-)Aq=VY6b4;)&=}`CxN+=3Jzwt%}DqaelfaDwt z>YAh!qm6J@&Gt~o5D9&Tp((!(uV${+yY<#-*{`T}*q^>k8Ey1N4PC1Z&=QKMW z3-iK(zdshHV)^l_*;UHq;v?D($wUEaMI`^tlp3BnnAHKY4ekip!G>h% z%q7o2d^Um6-%VJJg)^thh(UiBX=XAm z?h}LEo3R-s!)Wcv{oOWy|1#Y+=@28zz^`#l&GsfpA;o^Y@Qujt{dA$MK8ph87V83= zCUJBpr-PrPU`uf0@S0+*LY)O>DGJs9l-{K77+%tl%iS{hosmha+x(QT6jp5Q$KW_Q z@6mX`3>`};H>AP9a;%p_6P1<=C$i|dbMwDwUi6Hx^WwREg)9|+Lom~g(u5yqwP9#2 zpAFp%kh-zOWlNcQNge3w3x0MTk@vPPLwIh(BH&MuB;tZxcK^q zbD8-o-ah5pPTB2=p@(2A8oU$nes$(qw=5 zuE$yy;a!bol|REHi~}X|8a^{1TSqBM*t>rFqLCJwYSN}j{Jd(F=F<2<@aIQX_N{Mz zznTV%+2^wyU`ui7WZN{7`B1p8e|(L~+fm&0ex0oMGQ|3SNl`*oxZ+3n<4>OmO(%I= zY{b_Hs4fYBQRjjfCek&A+Kd_+Z_KH4POo*Y+J{0B$sGl`OFY?nX0=mD%xYu`;Gg>^=MuR`FyB$R(UT-aJp4W2q+s~bY(bm_QTH4CW0O%n1h+8TO(j1;*yBVCz- zWK{J193&~_STHlKc}&WYQILBnzm3-5SwIWdLc*oS13s9Gh?j4U+UMyDD5kKG#oCV~ zoKoR@xT1glkvh=6w^1rwdz4OS@fLT~v-cU1cjC8y#|NShY&bgNz0;E|ZfLUkMsS5_ zuRpmwdra!LFsSvPD7!eUSGu8m?moBMj9UF9xWIvL46x85yWi(%2uJ^9VJGw}w*hT@ zhHpd|%6%_7PM0J3nk_vIZX8e9=TSe#Kp6~4Nv9P0A|o!T<)?U-v(mY-hNDItsuq8# z>qf?Zg|gc{Tm=p|@s&9UFGymSe;GuC=i&yU!#8U0Ql^GqW_$4VYQjk42x{im#Y=`z0~!!`%lVp zc4sdP5etHDZovsZOK5S^RnnnqBoEvt@{7DX3l=f8@iFBe|y0J=U_0k*3le zg#dl={2G-~J!N*JTv+WM@JVGE5ri7n{t()hfm~VWhbh&w*-z3kf&n9QP1T27SxsSo z=;x|P-t{%0MN0s`kG`Gxq-hDzdNUNXRMbJ07epe$^U;v7aDo0_&{C-KQ8XJB)6`uA zwX2E9b5p|14@ zsUhiBLQ@(UgJr!bRo+COidJxA#>d?y4F^|S8X7;!(jPV&p0Iyog1iWWe6}prxLnFz zqKR0jX2BVUo1`w$li-bWrQ2Jg3I^K!T&SU(2X4w{HVIiOhuMx=XJV1*ut89NfhG^d z%^aH5$o!f5*5)ya^tdBzC2u*aSyTpZ;j%6E+kPW%CtwXGci z8C5+(4B@3Uud0RzI_l4z)32h^!^}W^}^=YH1S%zN+VW-7veMk8lB8U{?R6tp6HDE((6oMdf3h ztAUqSl)iNAB)M7EBHT`FPn{HW!bspc>9KY$cj{N2?N+y2lgLtk!UNuYhlElptK#Hj zb(+3iy?Tq)B4dfW%D7A258bI2ZjD*GWc9P9WZqgVS@Pi`w!^?HtjQUH9gDYzw}{hn z%>bU4j}t40q*}X>{1M0`k;g*FOpf5?k|?Cz;Qd(O6QDp6`1#FS+r^E+tmST7ancUJ z?T5+RAugex_sgMw#qnAj**P)8)xkRZhTfgHqvrR-kg?mn6192Ho9NJ=hK0PCsc8wm zYjPb4$?e^t8iQl|9I=UmrH*Fb;ojn`xqAXQ8<*fR(Sad(^ha^&oxAAohT@?YX+ETA zU7VTC%eh&rVe^RjdZ&5O<`X@ug(gRQinQx(AffHvy*r+N&rOA6jbdEC6pV79S-I+j zz$`nGjWFkSiu9?sdM{>&NtjsQZ0Md6;ge&Lb_T2O6NBp+3mGffVtuWx#Hgo7T4yb+ zy^?SdjuASl3 zy|u{=(uLaAOnhUa&ZL^+Z(1xsVcG;XvUf`B)-d{#wsBmde^J#PbTy@i@Hl1jY(@X$ z0=cck9G3SOBuFdTqhm7gxau(%V+1~?OW+{dRr4u-d9k9ACD{)`xWm)!N38;F6f{%b znQN`ghAd0%1QRj6{L_!o$38CJu8|7v!3^m$IFlLo zozG(D>HQZ5?A%hwiSqXry_{E4KUCa$G4?a(KPE0Kzz9`meZJ5A3O|M{%sGWqgBlHI%E-0lIDpe2k6Bh(MqzmUb>|7vm& zRj6xoM#vHt(mb5Pdev%+BIp8Gd&-h{^Xg?u`IFp=g3}zsG>58Y)}0O4@{MG@B$2yW zB&^n-VQk-vd=3aTI@pEXYnG6axKL{cotO)MT76;38S|~bQihr50Ik@n^05fsgtyTW z-+nR)7tsa7TS8%wL*J`?v%?9tLQC z`o`zU=CVzcf;zp7tQDF}kwlr~l7Jxxs(V?G=+7Mi5mM+s2P!t?g(|N-H~g+a$x~Wd zFHjj|xbh=+b74w7yFX(EPHq#yC2RcV9|I9+%pBCK*ScqIdi8iOaZ@3F>WfV#6lTxf zd=FQv?i-vvL9Spe=g3?b4wf$a{VT11XGSRMQmMk(y}HHX1;Fg}rgEAB*8~FrC+@r= zX_i&OnMjRDY>Iv+QmJ~B&*!mGlIQOT`_M7Got8a3FvOEgWO6XS7cXd9Zt~%|&^5q0 zXqs7gGG3qi0w$R8Yd}_~B=W4Lc6(F5(U);JXZtOvEtGI8c;N`$i7ni9OV|2;?sU@< z!_~Q}PD-?U6K;NN{sD_9yKJ;P%Gl9#ca;)@uPy=m(7M6Frl_kpG6da}HJ+cjiaOwR z1hlK6NWOtYVBeY;4b($#$kbmxtn3VTiA{1av~{N)2NRZ7QrW5_>wy=_t3UQLT83w_ zQWuBahjhcml{!ycq+{=Ipo8XGBHK7ndMsWd{i$Y52XN6;h4ZaV_ecsljjx!-Wz%y} zSigMkDgi4%jGu=lbQs8Ml#2A?c79NO`4XhR(iq^@dcXa+>fF=p2CH$$TwuasOs#VJ ze*mzua3_~RlL8dCA1eaqz5y_o?gj%J8Zj_13NJ=!a&vSbI5{&4FHB`_XLM*FG%zuf zA?qoBy<2H>+eQ-ou3v$VyOlBqbI(+zw#t?*M~>{+k`rI$+M*~(VnUG$NqO!3`h9P3 z2;d=+v35%)j+w^bb@%J;832~fW<@4#kr|uG5HeMmO!|=Nh-MQrV|Xqz8*uJb=9R); zXTe46(N{6Gi4mHyG*$PEx3j9n&ZSw1xJ;1ri(O&!2uLi zg~dUL7};f7YMnWcJ=BJ#S}C0YhgRv@BGZt-ZP8;44=|e5=z`+fLRTdr>=f<~eYNv{ z1%{28_GnfTmwQ*>045CzS3wOOc?XC@+!iXC0)sL$kTZt1g(-}sS2ZrThAp_<(#j4kPKP}S9L5EA1MVXugae%vAsh=2op@k>VE}N#(m%8u4ydKUfp&XJSvXo!#(_f?MpAHj zfX5W%Z1g;cnNx-y1q%X62z9)sjWu22*k!U%;64gkfO~RJp*tiPrpO|JE2FZgNfC?{ z9T)^=WHDIEK!Kuwz6w;Ag@O(W$Yo(7+sNYpVk!WX66W7i7FS3I>L}6-tRj7X(FOq6 z@(N`^1xXq!M?>4heOek0mn!m}w3jX_>eEY!my&MsVeiKu_r%lelf;dS>^KweKYS!f za!apUnHPo1CO6~p=e>XZD+wP=CyVUIA2V^_sYR$RJMdH_)+b6QboGf!0PB+?VXRIP z^kx7!iTLWCm=vgcT+)Fjz#v|K&!)qZa*=(?#OtRAnRr`%U1Tl1x8JTybPO)aJ+Tj{ z1;7)LN z4G>%hhv4oBEcJHlUAL+aeds=SSJ&VFSE5@|IBMr{>53oo08XeJ9j!!+njdU6Du1T_ zrwu=Lv1%_!OZ5t-nB}`yPRfh3rQlzp)ud?*RkUF%5Ueh$xaseeD88zc`@N3`YQ+)` z9}A_)Bzked*@ttc_C6C-o%V;Cm!=ysER}lDoeHZzpcKi2KWWsB9!8>q%(|%2a|;Wc zY(|!E9C$t`M_3b~u}Gmd6TnTzmV#mJYvAC{&{|dqGnNjQ6= z7rTb;wym8)3PA7nn$z|T?bO3~*Xr8*$fESv^uK{|+og-rEliC#4f9Y)urwGA+qCnL zv6~Lb6e^%#=de2lg8JxmsFlpmBJ>R@wk!%0Ig+12d-4;Y=4&a02-d5fH#g^Wn0b9Q z-Aw9VkhMbWs^|B7gesiYrcq$_5CAblarD&~YE&<0ehrUKrlS(uX?>-W?o-mynnMHW zJ!}b*x8Y&8mz-m7r3^DvoHa^w$t-@Z*Iu|zch|3K`aZ9R{n772WtmUf<1%l~r%z}^ zgsRYq(Fqqc;RqNvFrO1M@M@R&#fa*_>sVuBb`u`p@8Oq1K_DV8lv;79ca|C_ypSM_ zBVA2B^d`?vY(#Ztl{ioBOd~!HTZ{|pety{(QXg$O0-r8KDUK4Lgprfg3Q@YpRa~@W zSL*0-ELT}IN`9!lqFAQcC%K&^V&=cg`9f+d7=H-zRWk$_s_6Eo_EnP4I5Ro{&*LOr znaFCj5<-;B4?KyQ2b|1Z{d2Po&11uBVhjP6!R39a3!Fu3sbav7N;=MH%Xw}>?eu`y zsB~S!r?BgyyouC45{PH_kI*(ZfAeOZhAZF(VYpN+GOe#M_F8s{m|#p?)NjUkYvmpo z@dJpfqG_R5SHDL}!tye#7CF%}*yuKRs)?eZVK2LK=%fvHB|@Bi&Ezp+Ojtxu5gC;2 zKcFztaVLPKM=)$K18xbr8r#`S#6owVK}WiEz{N5&&T#?%;AzNoim0)g(edad4ET(d z=o-kUCwkW8W@dO{)BI@#YUKTNT%l3Hf&=>DtrSLZgln)|-hKC7yH?RVXjQjNom_X- zOZS0~)A7r%#FZjT2-3f{9p|QW?6A9fV-A?ZpMd7plECv2)$^HiR%$ zuT|^ZH)#BXG1HrPHflNSQ89D_F<&RYPh2oy;*DUF35)drqg>*6Zt*SnQ6rKI16R9# zDD!^XWn&%pgDO+^6q=(ugf?QRx!?*-w0?XpYQ4nJ)U7qPv@Wn$W$yE{cKWjmvyvYO zRhmcd|Ju$hTJLSo3?}U1<&2m`3u^!+?;%Kc%@hKVI;|2Ioootr76$R153$77*{soZ zi|n=`WpvJo>Oc+e$T?&MWhV&%EfQtoQ9Z!M2p6P2RoaOzOGafzch`FWOgPQ^Kwq90!^Q-*dv$1 z6aEfgcvzGy03ov^tz_cvi+>s@E3_&D1y#iEm!2zV6f+NRW8^X`unV-bFnB7^)$%W2 z^oXYOhtFh5uxCu@0g-1*gF-J7b-*xXJ!{~L1m`U)NQ%-g8boN+rM(8 zu&qGpP)nX}e7tfywzU9It(a>^@&zy9mym(Q6z99x!OUyA;X7z!Y@ zPjFL*;Am#NUypOgeh==^^rN}<#eFKh3EXxA630ixGZO85 z&t`;N9q~`#-wixJ0Vb${J$q(D-k0J7fA^1=gT37Npr-LC8!!4>0>oPZA-`t)&wO%C z#Jitw_cG(BkN371I)8?m9HNu=N2Ux`8L&gEP1yg$*?b3O8~>tEnEkUqFSkws3BJ@K zi>3tHe!?p~i;)ib9UIGkWutXWRl}xKzAO_EolqQ`a=#6pwtqb_Ej*th@fW{(k z_d=b&YBnI&;v|itDZin;#{wa!x`9!=>%ORQ?3(PNDNIy6=<0i$%SGN*EPBRgN(pVs zbGOY+F>j*nny#h*B4=z^_v>wQZrc-;F}nh9%_K8o4Cv z`_tqIEUfrAF)6{@Iyv3@64?0W?412O;&DWP^Ay9&(IQv;s6 zzb!$RI)5YFL!To>Ol+fTz&At8?;u~GK%n7G(GV%w3!z)-kEOHJ<(w|Rr-$3`u;IPIU*vP! zEDzBJNp zo3@gh7{;my)ay|$Y3RL(_egBfrqsot;U3M#64wkAEYlAV>+9zDAwUVaKK#X6cL%y! zy|orBJ3u1{W~9~1wAc3JyK3p*Xqa`!vr}QtAaDRN2`)b|Yg~N|BuZoU!;GJ%7M_B+Hy#B=#)ND+JeKdXBE5p9W>plXNzqg%f5P}Z8t&V>Ky0v| zU7*E%XxAs#?3R>k2k~3uy3WHze9#Zuq^%n#o>nlm+`$38coF--GGmHcEca<9UE1MN z=cN$E8(!R@k%ku*O&ykWLp2F-w{V^j!(~!0-}cjJ=hDfP;kG3P-iNPd^1>}f)v+F# zq+9>?t=CR^0-e*piaQGXR*qx)pQ93m&@Ur8Xlp;n7XY58Dt6C5$SgXg%YCJhZF zvYLPT{bix*0h9DkBK6NE!{oyyDq#YcMMb-%z{);K_&w7Xp z>PAH3DCBm+Ox7-(m9p1^N7XK6$F6T6BVvzRrY%z~d1H#&QxozZ%bBJpcoqyKK5kxa zo-|Hm1d9JlHIWgf;QrSxJ4Mggb(Ih2<;=7<{xo7}TUZbuX-43*jln*l=?^%c6F<}Q z=Zc2S`03#r@L4PEtrQdOhx}x`a)SH}YNKt3s9mbUEITOf&_^JZ zB^0;NZEqlSLeZj;o{*K>g<;67D25oWf@@Riqh++2)g(Qf>lhm&D6c?Dqo7BnJf??I zJA*D=UsIB9$=;q3{se;L#m)>@kV@6&&_K29*=3lFIfX$q`dhl8zNj zrCjd>PlBe`qbTXFjLwSss?f&@Hp|;hKnsz;GoMDT{|I4LYJmfOEsz=FWTFo>5HgRz z?d?tYpb{p-K_y`aLQ;>V>jUR}kcVgi3!^4F#&8rqAR|_naV8y1G0tLR-^VGNYFmqD zbZu-byx@g-aJGk%D-CoA0o6_m$bC^0f&_225Qpa|7>;SQr z4s?|;aq_)gHtwP~QY|L(50s=we9>Y(ZYNihBVE1rP-laHJdnOuCI*#?r6Qq{bCz`e z8H7;w1iE{^++E!x!uY+rRLlq?(^F!A(u|bAhVx!05ZQIbvTMWaF~S7DOQY(hcBG#^ z#^Qk6pl{Foa(usNFvvY8EHKQ18<0_l%JoVy;)VJsWZJrJ6`*qpmj~^+UFhWyk?we2 zwP>XU>BWN(HJU1lemOuLQ+XF-o^G$@0RgN?h5N5T-nJ0NoT*`rN7(7Hw|YS)W8BYm zne7YK8zQ!JRzJeq72MUy5vDq}TsTMHPVd)E1(NHfmikR-YztJ!fA0m;EWkbHbenh{ zGV9N0F4L!pteSdrBbXUS?l&{3nTdNcHn3#RlL;cviP+(j9lzvWP%ZYBX9yT=yAabA zCJk1l5NRkXK`EY})+%teq+!fmNN6>F*}_O>a~Yy%Sj7REO{0#g5vdUD;FRMkflmpR!7dVeZa~Jp%8e za05gvHB7|FKc6-vu*J5zYjw`@6*OTA3P3>BSFvA(_mcD*{qDLZn{PFxG6P1EWYyc> zL$lTVx^g|tnMB;awtWcG32vJ>cWlnu!F*ug=mvKQ${PL~KNU0OKySIWJwIPBfbE~# z5KGJO)!Y;Oxvg<&XF8(cQ04d?`ian$IwY81+_ajEVfxp4P=GqPAMPo?|DfN16w(2D ziKx>`-miD75N?L!w9#>bt1|2ola*4o@(R8~-Wm*9OmnsAzF^gq;*3@#XQ8#(7I+Nk z936iwSXrx~+*Eg(qaWjsO>%0t*6$7a!q+Uj+;jQCDJ$R06pnjR^6;o;{%#ygdZ28K zd1KLc-Y4YXikAl)hLwoTo)kn@;YgHxxE2k)vL85`0inbt8F7OPOi-l)zL9kyq^6xNCD zxwi|weCJ!(^J_i(AQthUiS%49)G)qWFEo&YG{*TGai!GE9YL3W;k8}v5mdXe!e#N! z^GlN@|I=Kx^Lri+>z4|XhI$|8ZWLl*(_&mNADdC(kQru&tqY3W1YK8S_8#xrkWSM6 z8;z(W?rc`(#_wQtP}%RwxOLp&@a?{58>jWUq)B=ik)`2|5Jx3}~^<0!2Y6Tw7P zmY+{jMpi&tfL9Xu=J6-V%_A$t599~FAsl#Rq-6NSs6_tX6660KuKCk`!{Av!^httt z+UoeS=l;NJe(|K=bWs1e4|6iy{{$Q@_WjigfmN}c;ZzGvE8p;DvifEedsT24!@xMW zh)7>UQ>bVLnwz@yPP)$n4`9AiV$@-b!s@8%wbPBbYQc3XS_K#~d6YHqDabxw;5raW zy%OLeF767sBngR!SUy>QCF2YQ=|+qpp>am*Mz3IA^$^3vwD5Mnx_5Mz!mFX`Tqvr^ z<`GwJpGu+`828VX1JstUFK(cG2U!vpOJ>5gx3sqpTjukS zYXGXITIfd?<(D^Qw|Q{qR5>n%xI9~pTZd4nB)W-kj!QkkAKrBrQo93CB9;hm9)ee> z^d_eOe47Nn03hy5a(IFkR=`IbxZ4gQYj7>yH?Za$(-FRRbXzn93S*Cg8z2kWwnyI$ zOBpPQK8oe+Phpe?DDhC)%Nh%m;P|tX$i#_h)5DsMaBT+18cJV_!G2XeS*fOKP}-Hx z#<69L%(4l{d2!exdBZQ1ASKrn{FHz@M?s)MLS}n9f*ZtS=@%p(-#jd#2|m!e5?lo&o|*r}u#gqc9i@$-Vy6n(AJ^L}z&INvAS zK!LUC;!jQv?Q*qMl5I`x#lB@w%qd$Ha{%I`BU_LzjZqzaWpynGPralOW|5jRLtAAf zZK~3q?IV2ZvvPW~7}>+ARx+P~%Ly3jY0*D4ozLVv?xN+jZ@Mya7&}>TEVFMwq1WKH znR=<2ga$vb@!H-Ux6O4d=Vof46MBcF82q#gGIkg(c;3?(Cv@(@APgRftJ5al(bSKb z+5vX0#a%iBhvLPXh=o^sXYewC1^2+2+@X<`X*(;ha$enH)*{$I4dqA@!4C2Bo1Xri rae<9NLyh@)?a#ILOA6WJEy^gne6}=oTm%Yq;M=AKpr@Brl>___-+6#_ delta 53820 zcmZs?Q;aT5*sj^OZQHi3)wXS|w%@jG+uf^e+qP}nnD5_{*?TgXq>`#UXO%jrTsL-W z;64iBsK^z?BN1h>@8d@iCEcLn3L)Yr~tz_ zlZl5d_cyh3^vWqi@q3+4;~(8GD#GZ$7qdR?gkb`$Yzr*6!~<|5r7W_<>tQLEFMM zxPgW(JXHcTvx%y+8i*;jtscT_)tDsqt?yTc$ijauF$7sXxbZ-CJTO5l^fFsd!YRT^ zXj!6o;D3=>yIZ>jSVA}hkZNLEDg>awo2mE9X-Gl-q6`^zaEsAMJw!wET>)f5Iy>6d zJE^t_K6{S+euoT>X4r5p>rzcXbWFC;kz&-S#p0Z*^EyvRM;(dkdctX<#Fp&`jH>5Z0Wq(oui2C9*Nny&me-hX2Ngj8jkt zk*V-~Q?e31LmFMa;$T0H>jSi}Pw91K62BQevVI9YVap;14l-LUjALP1!ww@UIdyv$ zMb^X`gquOTN&P~UkOtuK66wN=!liq?@Fc3Ll-zP^D25zOlwgXX?m0`GggXjkG$GOZ zHC{eDs-{o3i6>ZwIgPKZ?yBQOP-i-{_m{b>=g4wpUiJtVv~Z)IsQ}FMw1FgX9FWHC zSZR|*^+6RBuo~cE3uL{80lqBoYaSN4WvN&GhWZ)UVE%AVF9VYyUGZx{wQ`VnwpJ;h zRg4WpvMMZK(!?0&?D24|M90)V`m;$7`BQ^Xl;YH9VNO1toxDhdh+0j)t-Mst-YH#N0t<%y>DJRD!Hr zi%knz=K}bv7LcVJAno`|`MA(dg>HUk5NdRia4x#!7oYtGCoqvT7>%-et1LlyoKLzP z1Pc}R-jISymrZ>vh^Ka=JGs2)iu1KvpmOb7+>a~vd?V=f2tZip@AJT5`KT3><5+RD z<>ebb!=RA+X zfp3hLZEhU>7a(Q}KaRzw+2)LWC+p3{mga7nhS5yi=?YS+o<6}rJ;wPu791WL)@1Ic1z z)3x+io!LH(SWuw9I8Tl1kN(7<2ey#Vc>V19!K*NGDZwFLdk)~ak}Y7}rQQu*Z3x1r zb5E{ep@6w)PU2zYDO61)-RTVN=yDAuX`D32%%mH`5@3GxSqVqi<0}l$5#~gT%+2gf z43{7##Tz6kiv5`>^Qg))CFadKwh2t!P|&zBJ0?`NhYIYtz*&FFMirz!rfU1#x>r-W z5d%=rVZOc?Yn>$D5l^ZXf*MebeychwfnstmIKY>=PSHINQs4=83eaXRUe*efrUfG?1@n79yRk!hK@cNq0YJIg&xWcX3f zxHI8a#h@Os58-AMjwR6Mu$9GaDaPgG@$+f?#iGv+ZriG>N9BwS6tEtZ8{pbTBcka) z2dG8-#*u8q6!EW_zcilW=J0qeOeOI4y4i#Pan`M-Iu499ZssH)@}!GQ=@mcw3_b2~ z^zwgY4T?`cUE{1FaA7JN9HDmXd+9Kbx3psrz=9AwkZ$T`dQ?d4j3s8)<9ee zwZebjdb7}&BU5#PdbgaO4=IX~{=2VwwoOeE`wNw(I~ok-t{rAF-B(x2k)!De1~~jC zN?*n!mXqW5K1Y69_ZsnpBaYsu!Y*9;SXVrXhL9LQBbfipd^`8u88_l9HX$YI7`to0Rl*-(L6RVzSmUI3Dfsbt0O}+QSpl*hpq+f z`J4M+em}AcF;eEMF32RPGkwF+rNZ+EDdiT@eOGe}Tu_&=4BI^k09Nj7qHdDmWOH+xTKgN6 z0aR>S;iG#**qeKq=e)E8ro}qdgUx}Cw7y*OsZfxF@SyS?Bj2P_WVi(z02_DvvkG0h z>Iv9-#Lxn5h&bCDk8Goxw>1h#k}OHQ$nnRoiN|g9KO8hsK}-V&s#sz*=|FIV+!#e< z@9f7OwbR`GKq`?W+Dush7MvM12`gDX9UKiPJV8(o63C zxOm*lGNOMmi7OB)+hKd40L~#J7ouKrJ`%>#?Nq%{QU>7zHLVH7(5Sz-sY76O3$%%+ zE)mp@ZI@;iYxNLq*jbSwe69mIQ=Btk25z}pe4B(9eDS$TCkk|<7@~=GRfN=DhXVno zv&pZM6m7H>V3RKBnKpq@L?w+`*@|- zW_>Uc+nS2z2dEMzS6DPpNY4KGHQc<5Y{A)`=s6r{o76Zq&s zEzD>Ya10>ZyZYrZC|bid6dXXqw7NlxP}QiVhBUDVK#o|WAemOh5VWR(%#+x$knS0C8s+!<)O}s*Z5c5|r(f?RO0h;j?f-Rv+(#3n79FzAcTBZBqL8vrF zy=V{Qf4NvOH_6BxuH{`_5zklcQ$e|>OK9MsMrmN1R>;4nyE#hp2>kl&k?xX5@#izP15z_oa&cPCxf#4gOwH26j0*f=}vQ`+F^Mt;s&V!YJ zIA?8B(8IT~A&(M(k4|e;J!ZmoAoga#ARkGq9qSFy)nY%(BO1u4PJm1&fg^E62hcsT z{w$mP@Xng_C=2J3-7x>+dZhwH5ua<_;!Pg2zB!*hn<*J$7l~q6IlnPyLCh4zSbhCo z0Fp<3#V_87^P*^&0W#b>43E#h?POS>T=-+$1H-pD2&Mw~W3ZTM@OZU&B3z zwW7L$Jlnwsd1F`9KF<9Y+}*wy0NpFG{H5LYFMm)5{J#G65W}$8aIDMey}mB&JaADn z-hMD`%m&DHgeJeG!#r;*f|<;~R>qHyP3Mlk$C$9(|x6N zj>nz`e3_;3`&`DRdn}xLX6owP8p#4wq-LE+Bn_-m(toe_ubl>MVoW> z{P}zGuxahFR_+Mcb|b{T|Lz!5?W?QBYFl?#bDh^2`(<7V`*^L~`to^9 zi%RL~_I$pi1vhL{u3|%YSgTgf0c&Te+P+_o6AY_D+4yOI0Zp=~f-K~#QO$)g$^`Y% z^!0cayup&rcZ5R+x60<{gixeSXG|qdx2PX%q=PGjlTZa{85X8{p0Gf^Hfr`R&`4E` zt}4{9F_B8om^;XF1y6dKthp2#nD2n`h*>=L(BF1Hn$I!D{Wsu)LCZcf-r=-cRP8K~ zhy_%JjZUXXA3iG>;r&2UKkG`);8Iy9760<- zPgW!ZNi7*!?2JK55|5j-($mY1ugFWAom$d4f&tEOd8v(zd9NZfC~G1Zm$gZaZ19PE z-#px)UZ75?6+#xsw?Chpx58DU`yW||gt^GgnCW`hppfm^{GReN`o=S42#I&LlNVad z-T_*a%+3}uAW8ft%)LH4vdlrmg?yhV%%9bRnOJjwv>5EA>NkTFu&Z3X!^l1JeTU2S zmH}{je~B1@vtrfelRqgIsVotjHviT_G7DJFDtiXxCZkf%tY! zn1S??A5rq@LJQV>P2YNGH)!4a()z@y8S`3MbR{@t_MaD#~BEo9`!#98a zfxD!?JlSatRbjq*S#v`djq_`*jct>zjt7{;_CZ4|+<&0PLfB@MTfObdhqVxV_$#e0 zv|1MP<#b@YU&-glZH9GbT3i|z^%D=~wUoMoV7z+r;d{VPR9$>lu8WDm=_txfBi+K=^HxdKCqw&_I;@nB+NQNqF}GL?c!R2|A(RUlHIELX9Zx= zC^Y2b1BG|F8y=^8%=+>NS~5CFQmG5#ha|pwS8W@4YxP-?GzeKGxfhM7iWl!Op+dN{ z|htB5ZR-92nL2nqvKw-ONKpfp-op>PNcrJeX7Wgna2fMXOw#piBFgV%ix&-(;L7p0Z{=ab!NLK(xWn67h;5gc3WOA*og=Eta& zu=96o$PsVLrLlIShQ|qf8CrR}g>(Y3kgv6Glrph3oC<+nS->%cL9aOJ`~k4i>9t4E z<#;HRz0GoBWRMhYND7Vj1WLgc-SMvt?~`&Fck`f-&IS)%KKT-e|HXB-*#!Kc0~9<^ z)W3eou%)JN&TPPy=}hSOr?4jAfc}MuKM%qaho(Ud`VD}iE~59_+&&Nt`bCp3@dg>V zi~8mM#vZJ3=>YBA$ZYNVXAiJj+HXM$qMtjSg8!v6`(*h<5!lK?5&Ns4*`N>L{3l%d zEAxh!YgMCa8YoplyJmxgOMi}z)4#E-;43u-b+w)dN)HW?7%};Qq)+45y$B z@2L%T)?dz*0O2&>2)C;@(b=Vy+|Bq8^`Cgx4CdI5e)6lpKi3;KX~K~qWryBZCOv^z zJx;|^;+0*RY{Ge?)nVZ!p&m*(<<~TcE^f9IaDi?4@iWzspa){*68`1teFA!H$GnPd zls-)h*_zArQ3oXH%s7YW=>(;DtOn%iK_j>GS(34r*4uHLJW2#TUF9|shq=nkFMGG$VG1Dg!XiNghx zFW-~Z^cvGgdT2WbboFm!9}|;|`g@pnJElLthCwryPFxMEo?@z)-Grc_2!J+o2@Jmg z*Xx=2N|J68ZNM-W=<$M`fD&Ylhj^V~X+ImDkZxlDRq%N9dW=&mpf^!kh~IwV!}# z|Mtz4Vyp}nVKPnv;&GzD(RiH!;F2ms);!hE*I_Y$@X@{0*D&k* zfjxW<0v4{ZhU{a^VVPjb1k`u!@Ha1yOz5d*xM69nZZ+Eg){+>SooW?SC0o0#jGt5% z$@L(MHyAH&yi`Su;iGmCL0g*g+&QOsH57J5x^BAk7zi!lG*X%o4V4&UXK3+(YQpRS z5b3_g(N+m_?=$KwsYaZN8sa}9Mr_ohs8calRWo%Ynf}NN`Uk0FdUYk7QNbDrXP&>@ zeXB1KdaQxLtlG^mnm^BCm~_IJXTe`sA4MdJTwKfPWI<7|;b?uq7AY`jg6^lQwFu8a za{U^}@kGc76*H`(%#Rpy$$$Mi>Lj-r@KNl7yd4X9zHwtHq6)1L4nzJJ@BXMLA=?2r zUsfZ4q4y`VKR>iGc$JJrh$jP_*c}ddi5hUwPVA8jErwsl&jpQidLy+#oZSX~dUA;V zF0>Xag0v|W%tP0WD<%vEZUmR5M>M=SIL?)tJqT)LOgzxGPxC=!7 zCiQTT45$LGh0P+jVFxPj!}sQkXc}4hZ9QLKJ!RMX!`5^4r`Na0#<{)JmA#~i!1c`LJg}#L<@hx;lth{{oqlQ;8!4`T% zp6+^p`a!MG1Bbot^4J_Ke?=Jra^DH_FMPe<1lM(v8Cwn!-ig6RP$tp396Wpz2w*9DGR9}m#DMbNzPR~?}Zr$83GG@=YkcI z#KVMZj4{~jp)aco?wzBKTwwSx58xhROzL)PyyVP9{)kx4b7(1POl1O)#3&)tR%=>w znF!Bs-caD*XL&U=XuN%n(CeY;-{GsdHsgtPD1AJP`Q(+V^3skUsZWuk%-fHCpjJ?p=BBa^d@9#!z3^@hkQXroGhMw;@@yBBNGZF zHBX_Kvh0t2Rcg$3B9RM7M-4p`qEds72`@3}ngbSIx|C$N9?Oo`fVNS);6psgh+J5v zIA(*VDE{L#B5SG3*NzluOiv^(h=e>d39HViuOI%l)&Iu_J9#W$)pJd0i{F^sDD?cH1H1~L`D>qa*G{%yZ|5aX zVmo?VbIrsFxKWy*Ihu!dXkxj1^&p}-fI}vcl7b>BLz#$!m-QP=MvDT$iPj%SGPwc; zCt~{77d4zIsO6NchtCJ+$q76c2{DjNi#VTw#v>Cbx{i5PPCQftBLa>&gnA>PkA>iT zbT=I_oI9ZseDMYNj&aU(HyM=`i+l-Y5#VU{pj_LL$)cs!{8ep*WZn~#>M4+;UTdnir~^XH1u7uRYY$cU`0EP^Hsq5YT@}L&t}+l_sdmI5@yY=l#YPRP4>f{I#yj6?qThtq z?Q%Ex89^q>{wwe2?WU(%SQ&|@jiBl&GM^D6O}wGlqxra!KcgyUPktu%>M#vo!}LH! ze$|I~zKnejK}8V86$qvu#8b1rHeG7(H^W(>Rt!WT>l!LL>F>L@M_d-R{E`WB&*b6# zBMw{ApaKmT-IewbkhKX5>ot?{;*g5LXF&NAMa8Sx4?pv0%yYd$+1zD~Z8FEhek4fqR4Hn`)NtHH<~d9%r9Bkt2tQQqLzPL~V>TT#WM;!#x5AQx^PA3J zha>;}z6c+OvnegWt^Z~d?a#gw0~xHcCJ2b_r+~+K?>zEIz#@{VvM;~S^X}aYmRma5 z2Qqzo2UY@KWoE8!c=ja^eko>)Vouc5pXA~Lye>)Ep!D1{Bs z5takIWQXu-y|Uk;_hmllG2<$}I3=w=8JcnMv(PnZqLi;&3kxvY!N`6%0N0=Jl<{&TH&6&E!-N2Yqc&Dwy=66H7sfa>SfIt|5vg}9CZ(5@ zeo*N-NE^!h`lafqg*(J7LP;R@GbMWNJ>)wW*t^W0t`t6y;I zH){J8LWxQewpLI7v}^_>X2a@PH@IrB5tfY081yhTYGSfRJ!Q8{mOZ7-%J8xvMRox~ z(hclCczdSym6w?UCj+Az{ehSOBHha}uOJ4nNL=WytE^}4R^m2id?~MgJCu25XY_N+ zAfWV!2|}X;9N~3WyPs~`57GLSI&g7n+L69N=2VnqubU6_q70s>B)nqM>-l(chjEO`H#Gi2md-#oK6sw4%mZZ zQ3o)fam)1HdpkCxVw0vQD0ZU!2L5RIDFx<#XB!smW7r@8XM=%BWB$}jm#y7NbJ94^ z3W;VjTn<9`bpmaf(vjy%;$_2}ZFEZZ--JA^*6;X=-6sN*N^1x>vHAspTORS%HqFxJdUI*g`eSzH3@V|z0{L6 zjDtiKH3J<@S--WfohQ{F+(2UY*)NzX=<1#F-3{XKA$FBZUqCD_arib$$AlP;w~3y2 z;it-pSd0>0;%WD0G!feCLF58dPBdNK^j2k1*6jf@+^D9^`8SwtEah*q{7 zK|7m7j9rR7->!7FmHpBiN}J*o4wJqFFKQZ|bjW@mc$6wK9WTCU80D5E@wLh`D(RU& zlm8g64U_dkpI^>675y!Sl z*9uj0BipX&5PN4Eu3u<4q^dYAS!Hh;pt?4RhpB;7X>@?^D9#9iayspH)9)_4hC-a* z<^=27$k>7P{iq{n*`euI(E7sKx&X3=2RPMgP_x2Q1r`+*gshyjM`2Z_oLGli9;qa& zVES4MlnC-D(mj(e2WNn0XJg=K5lUKrxdFd(CQ(+|*AX^VXp+nc`@P`7OiMaMdu}@w zpSwH@tZL1daCsH1ZW5vV2@^tDE$zU2qoG&Q!N7^+%q+QVpo>7KLawVM@Y_);k;lbs z(Jx}&D7)wXk08a)@qYxV1Ux7(HZE4q{}oHP)|pN_ZP1U%;`)25}gGt>dL zgJxi|Y6+63qQ~3y4ma1ecvH|Dg6qoz4k3inal#ef!-l9Bk`_WC0C_ihmUmSSOa?K0 zs3p4NB$EMh|NKz2DZLspXrC{DF^ZaUH{*IT!atMVtyeB6jl_+0HMh3tu(RAvS+$M| zfL%!Hr#l@4yFQO|in&2o+h?km>rwzLi#57-2)BM;TGcIz@24qaE?U(BDvN_Mz@HGS zp1mLY+r9OwVqaq-rXu5N3~Ch7o|nq$@5<34ugmW5J~YZyZ(-U2eHF&q=-e~bFM{l! zyFm-&W4RzobVh}-zaM|xUJXMue@k%uOil{>nINYs@E{&}W#|c`=Pv(jBj^E|9YQhb zvYt5F8W2AgObWN7k~N0 zB`*hAs7zEh=_^-aj4ZTk5?)jay1T}akCT$Lb7#kHD>i3k(mJXZw~o@cqR+MP=H|KU z8eG51@v9BaxUV$HRffYNv(5olK(G`;v?KBY`sZSCIr(rzD*FD+xF;i{au@A# zJ7uBCB(zaVgRRmbM8g1=!MZknDiang${m9piZY=&hz&)`)$8{=O?SCcP)I8-$M}-R zqob$Q)wgM3&)6%!9Mjblrx6C$q3ywp9lz>5K0D1&E1HJ7j24#Mi2|IC6Ik00nhC2` zk{E}`srB=~1fKEe$c+6PA09Z@OYwLph2lS)pfYVV;IwSjYifY~+U&ZAwLBY!&`0UT zdQbJtVOy{Xkl7#>mcu6-dGl?fgeK;eKrv|Jte@@IX=j~J2Ao}}R~G6CB8_)i$U-*f z_QD&E(UyOlqFCT;sk@}RS7vSdgl)?5e_|%fv%(+TQ(<7V zYWo8;ilD>rCK%PYmv&maS1QKhLe$}ZK>+a)vBi`5py2S$Q7-aRDdSFtKkPMzfMBv3 zv^wV9+i=>PV@y8r7Tio*^0NWDR&&o>%o8R&dQgt~h!p_Q25C}?$UfYNI;YzvgQ^yr zb}n}O6(<~J+F*%#ZdjJ=r6dy=Y-*!TX<1N-9!yO~9j_5Anr5cs&iDcy8Rt)$wa{{H zHrDNPZdB(50vl`=j9dlt?=ct+%&dU26fF_*=`Xa&*ZUVFFaDVnwNtx^$4@ObOrSR&egU+b1qiK4ZbzDdjp)$kzK!IOP#e zx{Y{RqbMusQc$gRzbO~)#BE(Xjz@K=lvbjeG5HYK)Xp#vnLq|zrxt#riVgeIoMbRo z%>;1n3F+~?F#@}GKj%$mPE-!#{Mc`D=yK^a{@zk6(*w+=>{yPPvriL2oB82n* zPU|?9w9?nU`}c3Lt!y&Kd%aG_GxR4#4c+58-dFGvaB2KS;bj#I1k09CWzrP+Cwd(u zC?*P$r8n`s{-6}%yt9lRZCW5^e#d`0&ITBS!x2&ER>o>B<5%|`D^wmzP7V6uVkJR^ zWM`p7VH_o`!0xYX3;8c%A1x}f*i)p<(y2Z!y&p}4p{ED}J= zF3JTgDGlReKy@B^iM!}!PKLvTkR#L~w2yr|c+g(mI{hCBL!OPMo&)~CCc59* zlc{IVsgUXno?{n+v!gGbNC+D<{;gS|vbBqmXsdWeOJ~N4y6y z-`aCx^dI65wUE`vD~3eZ@ZC^?!dyejrCYo zhu=q+^6-%^K$9@DW_cDMUy?v*pVxe(?3Zz`Hv}A0L6l&U-l=uckN~aB}zy$aOOfeb^8t)Qx19n#p z78KPAQ01k9@1^SY`{6wu4ej+tgUIoq%fpsk9#ycX@mDY8YXH0qq27uZbxked;<3Xh z-b|icYNc%uH|TwZDy@6gNh!mY`a8}RRzMm7tK>(xZhb%cy!ks#pgi@U^|H_n`fKk9 zUEm6QWZfrQXlZivZ22n;JREg}pjQmNc<77c{(L!bYh!g)UALwA8W(G<*nj$Ib?j_Y zqYhToF*7n;8Uc`IS8$L6B6BXX+a;__YWC+fJ~i|WQn(5P&U6YQ=JC!QV5p0vhSG!r zj8IF9fIL$C!(n+ZN5$WrL=@s#=NWV;3Yu{2hp$z(hpTLp=+>?XKAUl(TB=DbmRLmV ziYpr?2WW4GD7n*}`KRfsc(v?x!`U=#b8f!~LT+TyEM?!*rt6( z%fGOW%XCqtQd0LXVWHVULa?a?0;ciXeyseU8c|I<+j;h~#U2EDA9FOEF~J<(fzW?u zCIDkki5-)&khF0S{>z`Sc4V^PuRW_YBBO-G6@M*>XpDZl!`^Ej^CL?RWgU$iLRQbn zlQ(`W)yBcB(DNZQE(jh4RuHnGk4rmO<2x8HqcsGD9LTHik6X3Ra~PL0s1DTq`wabm zbcKe8MMSARqu>>}HWyG-SSvuX57EjUyZ|P%XstoPXl5Htp!sKH1WhlW_8L{IC*41e zgcwo|B3=>K8L+l-I*AVU&it-#Wrz2kw~u8vP(P=W6|p!~u8>Khf8}jgPCt+}lxr30 zpq>US24VAZ0+OW2_ggB`d9(H~bZ*|cF}*V-UyaZOA+0w|M5s_v2ySDT+c*zL3<2}B zaIBjopqVbR!dApjLwCe|>Znt|A)}QlU?8>a7hR(G9$DnyC+hKgH%ey9%YSHJ)-OS4m6uFP-ykGJq-WBr5-d;v0`C-bn+bF^ngqU*RM(2Ru*mES0ts3y_+ikilq zJXsa5g|X8j_bC*RPD@iTRp{dr%pX6Geaw0$uOy9?nx9WO1Hy zaKOfj4*JvT%=#*+R+~^Q_^2KIvfVV;LH1W)CP;LUPNj2e@)v2$RX@WJ|4p}biCxb^ z&ftw}hD@dI^yPJS%(Q(Y!UJ|6R0!R=nyolyOhxE#1~j3$u`68Za?KJOSXYfJB^{V;F*?8*`e3QGM=Wv!OJv2)ejxUKlY-6YcBcKT4&e_z5QuU=M&GowK$T^Cu3`mWfa- zk1)yD0txue3pH8?OC|S*wo`{O4^6xMSL>sy-j=1A%7%7R49G54`HTN=vJqs&42^@HJdw# zLe#M=M*pK*6~O=auL;_L#P{tMEhn;h)4JTAs}qe1?1u*u1|9D?;@ooCD4@qsq?TZ@ z>j?ol!8iz#+Gm;Ow;7>y_Br83rLF6gn%<4)W$2L~KnYGtIExR?nG&vx)E6uu(O63X zev11ThE^h;_5tgM{CptT!sB#t%lM@uYR`%yc(t&r4wyIY&xQI8l`B^XgX0TUNTi}8 z_UQ}2*5=le`885M2ep`7M^O%=FC!2}slQF%JI=H+GWy;ouTS?(TpJoh7(Qx6^$aKk zG7Bg?a#5l5`Pxgjl=T4TzZ(Y6P<&A1+aPTk`fV z`{@g)4}?7fLdM6F&96cA{xc-$i`cDiHRm7uxi*;rR$Jt7@5rEF9Pod3JL!@|P(f2(B6+I9+CQYb$Hy@i4|xi0+QKTeVA zBuEWP4DR7X+p>Z2z>IHLwr(TN(C^Q$$;|xe_Z}3u78oGn#Vd0v$rm7DyD(B>H! zQ_R$4QF7KFanyGAj4Jv}R_V4E8iU`sOS z=!*cHj%16C_>aD(Fy(>_1WP?r2^Oo646G0gP~2!c=7s=)vU`G$Y)H7X#~o%^U*Y_a z9;iBu4-y`&0dh2Flz-}|Wmtwl72>dF2y>RYa20SuMo?y=h6JHJA>Kh4jNO!j@Q-t+ zMWGRL;3bs6A0z}2#&B1Cs`Ngl`Qoy3XyAa2eC&*BA+!$bkThf`ZDa2;Yg<1zqpm()v2gL?DiK22nPQa#;VCn%x z!Ypm(Kq8sKH5^A6O@XblRu+Xo2#HzxP9j&1^@6k!0offmi+( z{9m&5AR6o}1U*hqFf-191L0kvHQ}Uf^kWfCiTz$(4QNG<{321{Z!yNO`x{_{`q*WY4M*X^TZw_C*993JdK0nPPOjo58-JdbP537ek z$!q+dFG=Dd+>T_IigT7SS@AU44!U!vgdL1?yZ6HnqRB@#`CX~cibs0An==+!?Z)6D zY=*K)Nh7f4TGR%*=dRL8V_2Bx*aM=NH`xv}t2Hx_=7!dQ29L-x8GgdNs}cZ%Yv4Ln zmnThg!~Mhg;jNGyq(%l9&cE03Tw~NQ`T+hXd`h^+;%50-9`kR~40Z)MIJnYPNN@49 z+3^Oxa~c#aPfi~Vb%DY+okVLe0bhKoM&jtlT&*P6Zw@peT#y3!pGlQdPe5_9-hp7* zrWs-~qn-x39(@!$)Utc*%s#-%#;=vljDsS4B({o8**VK$ei^lo(L0dwc0^%4Cf;u8 z3G8UI#=X~e-jLJsja4tUql2gYNUiYG8k1-1gUefbkcNnZEDk-ss=1Bl24ZLW(WEQX*x~-64P$EC677n*yG#Y)5&oZum@Vf5Py_OEc(Fi!>kV{lkrs^;= zH(MmlO{&e1x%thY6I5lz=b}wxYWmVmsnPBK7HNFIi`@pK1fM8`ivLr*X;zG z8tl|IFIw2`Y_eWl7KGQzv*dOeXD?5FYQ;TSGkU5|(%!p-NdWR?f(pBGuYZGp<)J^t zrv;?qjxNtgrH)cxN`#$lx0>N~Wnt_2U$($8#d98iv-K<*zpe^9y0g%=JQMO#md(^p zV>CvDG1yn1rVGVOgZFT7PyWr#G-|mTWdHZdlRoOn?+0?w*rTAOXcX06K&7I^amu%>vrk_jsQ1ha;vEb^ED1;;3@76@i3w1)&3+{ncU2aEy(8zOffuEyK>KBO*QQqY# z^qXhI9Kh+HSoy9t$ywBy=*_F$ry;j5g0H3BW{Xp0ii**ccEH#G9>SEwZ1Zro8$^%l zlo1NFAd{6oBdr|Pud_fey|rpoxBFpg1XP$#*qW$%DGTzx)}<1I+}ofzi%%#}+?2H` z&bk;*CAcFt-zsRE{!H5XRYShZ*AGJF$@(s04*)#X)?WFb=v~1AKap0XsQn>16gdDPQ}i_ud^zzJay+Etgdp#p=;!9x*r3a{JS`3^ItIha`{7L!Ij zA0Uw>v>r;kR|j$lBc6cQp7>pT)XUH~!`ZFYQu>&qH>s%cQef=SCPmepRNa5%?xp!u zZ|o72=x`M~fKoD6wH^FVVuB%&RUpuADLQQTyqtvsjfVFNku~f`C{DYo+ zx}!PKeA84$xU8{73c*0)&~G#2wN9KM4y&%GFbL^8hOZZO-Xc^(cT1l4IEMan?p^c*)iCQcR0 zwc=b0$owHD0+SK)5h8b{`jxq%)z`}vm1whvt7l4_RD`fhDXC5vv^+o%(vhlYdKNg| z?c=cM^vDp6ir8@x4*)A~@g){oyiD2RqvLBbLa(pcFb6GAMo5zHrqojxh;*b?ga8jO&9QJiOsA zF4C)ynbGwPZB$tU6$6$$YpvD8nbE$R)qdSOv{ROGM2vSMacI$}IuO1Qney>j8aosH zRj7zjz@c}`5WZFnf6G#?=Tvx^*Ds_on~?GU%S9yme{${ItpCSG{ND{{HfHw!WhFLi z%O)MRAotwX&M8$c%z+t@IO}+?ju)fw)>B>vU4w=VNQILtQ&2mM^a^Z$vs1}{a+fWs zLdQrH0kh$J9}GopljwiF>s4Q;DcttFd7&~^meV8}-#;~s$$&HtQ~W7v)8@0o6l7?9 zDdUpY?$qNaGwaw|F@Y~{rA=aVuLAgJz3QyqU}e#bb`Lw+jLy=cGIsu?L8X^<;{vg7 zzt@3x+hh%TRyl{33NV%B<^9Ou`Y=&cK7edm+6u1J=N#A_zhM2?ZrcmiFtcQ5@y|U2O|{)Zz%DV`waPpkTj)i;&AKOpY_7uEZi;2R^+-kMjm`UWPB#?j@&-`3(i*? zsThKmxzQc%c5|M+@OqPPnEck>T)kg)eyPH4llivY%XwF?$F|D8kHP~!8xMR5Z?LW~ zn&CD4XX#zOS7`$KU00pG4$LM-K4n4#B>LNq5SdXg=LV#uh}VXQB0%vP9l=>h=9-~s zo_dzG^ukocQ$)p)nnR)WAR1#7*$JflDAL94S!L3(_Xqo=1K5wgAK~$<^qs%p`0Z%K zVRO#fQSPBe06S;GxU#|>r_s~Dx)I}Fl()_*@WgcxM2bx@D+$Oy6XoT~cb>Ch(TB$- zyf0OB25y_qhm6t1Yk*4I-8^~7)jgWso1B9GinN7Jpe+hjYz8l`vfAfw*WR?sXzvZ& zE`#l9@)9sE7uSZHfBOt$%)3}yTOpSzbE8u!@A(DJI8Gv)v;Gnt&`qY!*8Ka_=nFCf z9f{9Q4k&$bu@!1aCTv8g$M}1>TO*#<)U&=id$TvP8t>Goe*!4}X6GEgPW3q2sAD~` zX*EGcZXIu?^GiNIp^IKmjVpV^dH~ORRj=tH@m^0F z=eanf4&v;0@rpt&CvfFhKSrL671~ouHJ(MR>3RHd_x0Uq^!#(KK0Jn2p{a7?{eQ9b zmr-$b!PY2DaCdii2=4B#jXS~JEkNV$E`i|g7Tn$4-Ge&>z5Sf?j(hJXzZhfDUDTSp zYSx;2?<#D^>jcbftaJM8hwxE>#rTut$%XPALxyjnS6Pw%QTG{faLF}Ifz=81b%Je( z+g#S#@tQLn1iVRF*7}~rv(?#&R*hb5QeTVz%1h&5y%>c}9plQF;z197J1+bh1MDcYKrV@|!h3 z-XaLDve(HR_&u8Oih*~5WjSJNgF416SC-K9rN`y=*Uj5}A1X<$*Byg%ZdX}0sa;b{ z=x%OtB7kIT&NR-7)8ye2n6LiBF0X?ePu5Pvz*|{>UehN+Yyxxmu%i^C#%5cT4!m=32mZ7YrhfQ^|bdzHBLT>PN2XPpv(aIod{zeyr4gRnwko;}! z>Lp@Rl`fzYlOo<4JHRl#;S@_g5Vjscs6gjNfcg`(+|_BL zZGkGrs_}fG*tzQ$!=<_lE5d2AK&~9=8O;*|_Qci#b#}H|)$ixIeJQE|@%-GLp6pg- z(DUuNkE@C#_&jAs__d}U!rFEBkyK%ZPU7hCo@36H#UdexMWRGTH<1Tp$ujEr?VGl< z<>IH;K}1?f>(F}@aAECFSgGB%LZrwm1be95;xmt^eb}?BFpjNWxRVJw>{iVyhpYb`5F%PpqAK z?DyxIDG2p!7_}1&sai3($*ZeYD0f^{{4 z8Bo~^UDcL=1gslwm!I{#&7ug=TRt%Ng?2^A^~E&B>t zvUyIIvRtgHW-pMgLa!s?t)p+5L=tMi6FCu0JIxU;|EbLT3;s-8S~Eu6BQge%D&LJd z@9W&McqG=hdY^Q+Z1wUFs~XxQYzqcYTFs`ARl6!*i|_{aNRP(ldt0(}&Rk)>ogEmh zFFW$n0VdEQ(clw5SSixtk^5@A-byK!S)uesGJgnMY?Q4al#7w>A@YVm2@(!)@bOFn8Tl{SSOYElTC7eb5sVjB zRLrKsQK~caKo`GWnF8P#NU6@JrRp67+u0OB>QoS|7z%z>52aL*E%psXMQ$m++wNV( zToq_iVf)A3pkZ|0?jM9@Pn-sYyz5sKtYbieR+8NIJW}~q9_BE?+xPF zt)Y|DN{0PQm9?gdnN(jB#hBb&%8lVXM0@wXT+v_rGKCFaB!O*cGI&X=`b<^AD99G) zqSX#5W^oh7rff31@3L({6cGpBxZiSUjUj<m`fIlTfo-#yma zpd#1CDwu#TAFL^h!62iYmJw{7ql|~i?&7!mS=q_q&XFWIle1<2cKerzAl1ucv@D4! zGFno~zo&?Mm2l_dm6_fQKp$=6Bo;4Ql(Y9S*DLnFn&FD z%&JBm`VpUNEEIzx5or+&ccSyX<(dkNw7@Bj(=Q?OESjK(^RWi+7K=JZkmPE~%7Gpr zF!56l-|x6d9-e`1C!WF7lw{nhWQa|Pp(H9dvs<0D%wuIx$cIcONeG&`<769%G%)dQ ztUAVzfgG$>9jrVZlE`wA$&FxI(`MDZUn{{Eax=*vcyX3oQaf6x^n06{Y3Py50a3mn z?1&QKIGzDNx3(+ z4OFY1$d!z!{42}I-@pey$q}To-gB(hcV0xnWJLW({H<&1`_6CI zFXzNS%jj!d>1xkNlkQ`cLSFY^ai@u{nZc#76c|s%y;@CSc|fJQoCGq^phMiv;f7Tk z!iuC@S>5uE@v+e|lb ze)$ost1)uc4{^ozsrzDrbHr!S9ljU>gLRnUZqM6D!I`&us?)n6+>(Z?rIvy{nR@qq7EDUE7Gz9EQ@gl z%#Vyn;2mA8qrQuA$w>_}sZ|uPxfV?GO|#9LymNYBfHN4Qr`{f>rLo~GD7C~ z%iKnERmh#bt@~DnQSKUMq`lvQK?+H-xfO@RWH6AKYdW2TeK|^DyuyBzVx{APMVEw6 zCcZ;}MxwYb?d{h+V^ay5^90)%c2UNzg40RLmIOzkJ87gqUY8@{y)Ta5j(ikQB5l#h zQA>SDnU=75nI1m_2OxOhf_Wm<{^SN?69=OJ?h__o&bj|(vr(c)4#GHO_#Q1PY?cZP#Lx`t~ z8Wup`ypA2b(jXNV{Q!Q$&nC(Jf9bRTk!Mh#zGH6Q0-5ACS*!f_1na6XXUN^pu?p&*1s8D3Ht}a;^I}A)Sj#iIy zk)f}7JO7Ej+PGGnC*H?Xh=&Fl`SJ9GhHydLpyR8}5iQ(fr9@2i?uhNOr#IJRV^W1x ztr30Rfz#84S_5PieCTLG{J3QLQ&nfXq1SWOS&ilDP?w?=#Hd;xZ zr|9W-8S&6mu_91Zt7tOUIAHfM_H6i~RwCGE7r$C~`QGn5ZjIP;3;e6+_tzb>@b3AV zsXO@i@Lz4+bRa<<`FL$z^TU1W?C#mPSnfD?csyS+BGCX7>TVlv^QcZpu(l4qK~lx> z;1QWi$`~ zb}HI$56uH{>7jCg8<%;?cHAQ~g>50jUrgL7X|p83dR|8o4DNQNM*jBL+&AQa=vjMh z-?JT`KPpmD#`}RALwZ*Cd}t&W{qhu@NC5Jir~HC&jxZsUXrcUAtOnKuP1HKU#ktBy z6DwdC-*t7^pOEjp%hp~8UJctmbN!Z*sgISZ+!G%@o~wl1^)R2rUqfMc9{(<%K5y!b z#_9;^a^Tc>PApQVA*t{!wdE}HuJKoviy1aU?hwr{C)m|U5lEoqrtFw6Y7)YlFDI|o zX-)9?Yo|0QbWvpcr2Vsn`U{FEx|Y21cbR~U0EW=pmf=rptB~JX)w(r*P*PY3bpoax znthbUV&}=Vr-C?j2Tm3blPoiN8c?fXpLn7EsKNd9&e{|!U0POT@=9}X!Imlt<^UWV z%bu)Daj;}$=;A0+5v`(B|IHKTCkktyoflvtLRb zB*9M4Bhz3RqdI_1=P5f?lNCHbhrl+VFHdrcgotEbqM|a`?=6tmXhdgbWoeYh!U%&) za>ol#YbDt;A7 z69OK}@_fW7po>D~om-tM6O?F`WjHeV$kB?(Vsq#cHE!T~4-!Isz2iy9k;u>>Fp22% zEh)2J!epz(U*eY5MDN^BwLJp=Gtrc+&$ERhPD_r5ZWT`Z;=jNCiM?#vmlNv7T2&5Sq9x9j{amOeSE%@F$^|m z71fd?A1P{RyR`DbxLCgi1wxgSa%KiP3>fSYZz_)qfnWBf0T$Ux>!}UaY#xKuG6OTI zaIayHY0@Rb2!AohF<~=#%4pSP1t~BfxF!ImMDFarAfnio%!xXZfTL{A#;PUgm1TM; zh_j3fvK?w{io)9mak!_>B6B4R9#nQ&aej8{3WcidrD;_tEIdd8Tu@YqHP!Qh zt*IkolG$=+c-gphz>-9<{=9;IImKVUw9CrW4YW7V`9L0(q7y_UW595nyUo|7C?(fZ z@QLD2PwCs39W*G9v3HpHQBX3cFN%UbtD;&8LWc(0Zn=C=?(SkxR5ItRUsw5bFi?^E z@vPtG>|s!3N+_p^@o2&9B0@PKERCHetBR9FUFyoTfT0!o2+=vkEs4a7R&^ zut7zA&?MB)e~?TbTWxTUT`ul~7nxCtP>IpoBa#9^9JB-LvH)>x8+=*KMJX9Yui*g2A7fc^Ji~zsg=0~8J&M6MQ4ra~$yjNy zJcq{n5e=sJXy7LEX26RG*@UpHj=}z3S~WJNdKM|Tou(P>4^V`r%GvySA_bWC7RXVh zMsS;nf_`GWCQ<-E)Fua_HhK`X$zfpt$N*U}M5?kda}{ltRHGf1x<)1(gc&PZD)}9Z z001caRU^Me(`%Sh0ro{eCKkl;L*xjx0p!au40q6+D$&BF05Cb;)9T5CDo; zX;A`Zpya17L(8fI<^D2Y5lJ5E&IOc?3t?1lpyaPoR~VQ!P|p{P>0+9}*CoPFWXRD? zoCcT7hCjv2#4Xb)36g^X5;w5S6*u^h;ebF{bTg$d2NYq#utx)$t;IKovXzK#VdoQE z(>1I{T&s%=0u=sPR*C;sln9jD#|tJ@E;9)&5<{|tP|ZOv3n|^qj2={12`x%{oT9R@ zJqxodTZqs0G$=Aa?9OTv(A0w}RLr2i-5I6S8fShH0ibQlVil{>I0Vy zm7~>1Kuv6C)E4+i(Wbx1fyh#<*htkS69A(5+H;B#xH7zMZnUr!fx%~1yA{cD*iaLN984TwHfSZBt zKNeGJ^$Ia6zZr6}a1=Sir5Qkevo4yQiKr&!nU?P;mt&!AuUR3S5hxfmFUL5Sk`#*M$ zle7~~)y4!4&|yIJy?*hz-btiUo~Bx^jRTK=AH8VqG}BeK!rmAZCWbOYI?n0X-njC= z(zVORilgK@Kpf1h0eEhbXB<6L8!9p|?JJQ)#!AabJ2EbiD~**a;{X!9X%}aN-LtPC z(2*De#@XYGz!%FEq6K0oH0vAw@8I9|FRMHBtglmY)5(zf zueiPsjeP=VxhoN9(jE7DbUz!vzCPqeMhBbpem459U4PYoeesoQ11c|j23d-Eh9AW6 z4aha(Q#kLO$1AWDzr-^>0>4YEd)WI!n5l-QY+Y-W=zMmF7?fO+A!(>E8~1)!c*jy~ ztxNS%KQpfyfIh3^7qE*DPuzUe8xUnvR5ZLIMbHE?#sA43sB=H9iO+u9(i&)d+j_dM zYgQh6Qhp`DCyF}{i#>N=Z)5X*{&BuFRd>7aCw*Y} z{EuUJY=MWmjo;qEaEHSMjr`7z@Zh2wMp%2m$li!DL67g-&Fw);$GOMIS%dgaik6i`4$;cWopQXN_oo$Cjh3vmUuZ;n*DU#v)x3~v(pW{Cjp+W zXLtXtZsNWc-d=4%liP9|=V}T5^_C5++TMAxd7S$5^)YbCZ@#`14+MVABzOVO*O#v7 z>|inczZyD7P{{sy`}x9_3-|oQr~MfCC}l0`CipY*QKv)Fv-x@c@q3#2D*V~;^Eo!a z>?egojEw?~BcFA)VOe&^2=~{E)=yWIw@M_xIU7Y36R) zVY7;s`qhX$x*T1s^}q(p?W z^=Xl~>lnU&eAt(2y_x*fCRzDYVDJ$JtV`l+e06B#7r1r|)l<}_$;Y%kBtI`Y1x;MV zJ}+8~4f_an-?=7U*)aKu_ynofC8!SlSd!S!$QF@Bk7=UNQw1z0rV% z&+5k6OCv2h8Rp*_t@(lGUNfheQt*XMzkB_sOCKrw1fLO6D*$OL;*-+@;q-wp*=B{y zkD-=Rzx4b0tnnF6)fF87As{l%Wppt-3qMDfi~rw_bSe# za#Z+CZgdRCk*0GY9m}3HsTJ+Rr`|C&D}n=~?cL5!8`vg`?y;Br*fDwiR2;d+T`l*x ztXAk!ZPW@8Z}3ux6>x?6nv*{U$z*X;(<-`y(1Pvy%MyUq#)J8?xL8PIVANPKHOqn{ zuu-#JdSQv2EG0JBF;%ucSh0Uxa>=1(3uu!&!O()Of@rzja>ywBBNrGHR(VnB(mU{?~Q1;R>VQ?c@XCvB@HSwdwTMlX2-4o7?+QgR4?l&;vFl)iERq3qn-M z)_Ju0PHom)6W!WbYqRBkt zoZp=W^Rjrx&6|InfV|!pB`!ERj_crw}&4C!6p*>Zx*%YJ+tll_8|0UMhV zE<2c|OaMVm3WE9wKQJ|YBB)nDmasrV&API@lXX8qkrHc(?~zL|aWG$wG6#1I<_ z=@%t!|GK#mBA)FxuQV;GlHig}cyigvWDwGnAf#nLNK+m)6mU_4kOj&XSC>>K43f%! zQD8N+a8ZKRWQwbsJ!@Aca)TiyY3nbR5?S#r3K@;S@fJ99N<5_f{1*r{p{x9rE@g$LPN>CJ#%Kc_PthkTw*1?1;=vOMHM`SIV zKS9K~Pyln5K^FasvhwM2}@g3Hyv1s9Cw z#NZFjyuV?@p>&gDsJvjrRy@?NW6N*UPwb_es!DP#KIP@^=h6~X^$LwPUa|5l+=J)m z{!8lB1>9Bs(_a;)e6SOCS!;AjP?lq_TYnMReFZqEGP^-qeEF#LsJ%t%GFLJ?tDf`tLNs&EnoTkILhwoy zIvSI``s|3rF_7-`YONBD@L(^U5_lEwMN)*x|F?vzG(a3}_kh&7>;isuCeH(d9HnyE zAbq~RlW0C8j`UzT>u&YVqXirp$#*I}u}mN=a7NaNXt%hF<_n4u)c|!8mK*(G5FO56 z53D~M)W(&39WTWoY=2-ZoUQIIHC2se9~Z;=6g;J8`HydsJ^Y`^Gg9pJ8MKY(opPh& zB_ubdfqK(qax7Q{Q;QTSkQl)>L3HV01>WJUxaCXI5WnYxmc>VF^Ypd3<(gBdeOy;YeyV!pkF8fWDw< zqlK5j1N!Pd@`{dWf+8bUL$mVhf3_MdB#)B2&&_9ag2?lT)9Wd3dOU~vlL9=BZ45Z` zLAgL{o+Y9NH2;7>o|8~BDF?|IOEjtkwmAes5UIwwEUj14W2^R;m1(GY8+vt}@k-Wh zJWk{`Rd$E}qeYN-$*gH=R^n3w8A3hEa*x85z>uIxo9?OJN2Q8znd6g0tavz*$k%mU z*qx;e8<(pVb!$Gu6W0!!o9NCC;H8}uXM&Na7y;^}R=CeXf_S~C47E!HEtuZK&F1_a zAC<8pu~6(0TpFWrl?d&E^`Q!ARv;I>~f4SK|)w&T;m+HF#n8MYy(A! ztO#CSwM;JqG6G@=M&HRi#9yR3`c7E>g$$$Lo9_nW#FJUZIXA}A89)sBAFCqZu6f7s z0IVI-E2GZvy$Ks0it-b3fNs@Fl+I=7vgT7Qshm+Y>4G$HQK&9!H2iYzEJWts$weIG zM>ZJ5rjep4+T)V>w-x_;;W6}1{Br*%WFEog5gR~};4$C9R}Z2=##Bx{^S_{ila>d2 zXo4n>jvwyC$hZg7QC*|x9YF>CU;K3Sq6gcU{vFf=y-0-~PG6r=X=ofN%2f~IGCpmZ zwEyC%!J?886xq}0nE68uGodLeEHvicur(p}ztEb!QR+cZGlHPj20_jEAJm}`(f=Q2 z+W&vd%z-Ewp&a{jY&UbixqZ%0EBgsmZUV>|S)_jtE;}KKAyZu3aQ6@=ngS|ashn|X zmDDjVOR_NMA!xz0s(>ur;#1uv*ND6jCB~omltdiT19zDT7v>aA6^dTupi+xgDAp8* z7EbT%W?K0R=rK}&FUrT-0*xNdmt6^*Vp&Cn@gR3Y0*Jq7Atq#^aO|U092N?R7 zcEVDu;XJ#hcFGf$3R+Q&ZlO~IJ=lu8ybdre-1P&L6Y%Pl|C1AJ8e1C2?u?+SZeo*K z0Af(OAo6uhV65$48`O&^?<8BkDo0lgih>Yg`0eMDfo1!WLv)V==jKjr{P~v0YRLNt zXteAO(RNt%!2OoE3{tq$JJ6&v6t^f9DQ0Yo*b!5It;4E5y~l_o zZsrYT;K`xWuQW&JQfR-{fT)`=?tmi7^vW5>W##$csrB=P>Tvt=>FpNzJ7=!zGmB8c z2F2Ao3vpbi={xPwO{Y-7P)TZKypw8zN+p>cP`5|B0qN(i)}P9qWgtilqBUhZ?UHzU z?VfBp30&CoocIq`DZe=*O7CD9rj`CNUfo~n#ZrHfI(V>o*dt)&=3l#BL)kD|*-#Fz z7y*4Xnv)J-KfsDRmp@>KxG3R0~gH*^^gOtG)`$Xe5gNJxAjF=c^fx z_nKrmJOQ68+(5>=5cqY?<8Y0#_kK`At5W;Xvy@w%9bl7$U zGmoqw5km1y5L&LuSndLVi)`7A4iuQ;4qj7GWEoeD%;bbpu|A zZQD{W8j7p82raMfv`F-m*>}?s!>2Vx4#Ey$KcrTm%|o<_h{LBW`nfhZtDQJEj5+>d z5hd(=r(MdX2LpC)9W2xtk$5=2c`;~qWIQxOMiLn+o8i_{=`X)}u79xNF5!Ls7FCtc zNBj#;mvO^ryJoJqbz+Hi-N7MX`HVPqD`W>rVlTj&`mgTu0aZ=MlWh)=_p7>=h~QP} z)K?rYVebumvacJAy`_(du(6KhR%!UzM5_~WHQCdsl?G^wpKm!5ygV`{1cd{$f_z{i>pRT$*^|m_Qh*`*ScZa#65lebFk<1VFUH@FvZis zn8J!Z&pUw5p=G@gq1i*7Rev^@xWWVULvWo zs8{Nko;mN~%c^IsNpvxBS9LW&pXTAz3KMCR+dnC-g>$TQgZa9FBi6{^Kb_Vm*yj2+ z;0z}?te;$4PY9hij5kD%@HH(a?B09?M;#~cRN{Qh8Ad=xFn0^!WzH#7qOdgL5)l1E zTHp)}a*&nz5fn#(U7f^o$!UNW?J@2eobdy#x&LiAckp$|CYK#qXKP(5B3d*yk`-Ha zpfl^x8R+-OvcUaQG2gvGv~X%?z#vWyNJ3=t&}St&R8=}P zk(M~`Tgj>%45Eq4tPiSUCwbT~-G_iaY62L1%XtM*st)GKVVV~-fTM+zi>7Som_&#t z;f_;wz>6U!LGLWKHgMfyG{TD@nBvm}q(O2jfd)0mX1|Py&$qAhfX)r?DYyQ>)M~IM z{nQt_eQqrm6x*ld%1r8@ZlMZia4T8u14vYH zj&+IIV${}1Qe;)JGQ?*+$q3Oj+;I)}P%>oMpt8CqkWbXADYoOFzeJkFGA`LMMv4u3 z7eX}_Lt4HcpC%5sV2(bc1t0hm{nFFLJQWgD1_J@ZZyL?g2>%^9YHa99L5F3T&|<6v z9uByo0wqN#O6WOAHD;UamZ$G?L3P7$MO4nQ7&3@^R&(OuI}SK|R<`VX$cp_SZz?6A zK(eWyR;w8+hKCZauzwz2iZH9ju}KJSSD>xLYCl4h(-~04)lv%t!CVD`SycZZ1P!z) z4q}6tz-$qa&Po`^ZEbjR3KUHf8Q185mmy4oR5P*upOXjO$}fEtjzEyy6QMUX<8FtZ z4{H6-oxs>g$~dQ{2NE^3xMcvf2V((RQ8I4p{8aED8G$IhIKfQtAUU2WJyQ-$q$GO~ zz)Hyj825j6KAKyl4sI>0{{!4w)%XAs9pnq78gXn(W#Ay09BC?OwXD@a$b8c3FdS7_K$F~f$)%Fmr_zX_45RZXy1Y3daFg!qco03<&a}L) zMu#haQ8R8+sXz%!j&-#SoVVC!`6(9w}3V zJYuzxyzBr%Lo0%p#YF2-S=C$Zm$Ee7X+Q*1?y0Zp>{+&v&$*HfJNH}Gn+Bb@#2iS> zXpQhFUHIB39F#wysNt4D!^7fy88|ITp2$}g1eYo&MC-T^4f}Sr-!og>=EZk>Q1E4# z;(y@Y;`jl%ZF}khJa-@WiwloSKW-kJyngO;@Dl=&J31bn5aa5P2ieyxkY8F?-T)5! zHM?P*U+5lwo7cpp@8Y7?T|Is$n9NaipG{8)Ogu+-@=rfM9zzW%*F&Zpk@q5Y3tu_5 z_m-4o1Sf0M^Q@=96fQis%eUzCi~CLx_bl0wNyOm=!^O|~euf_W{bMRgmB;;^xpkM@ zVwoRUN7KD-9DVV+G-K;ncTsRIa2$%zUzGoSq57@wF^tN;uk@Tw}_F)kL56%!Q9$WbbDSrP(mTv8dH<|beHj(}odU9o121hlA z2Pn|lg312l-PYYneerc<(iOR)m*w1p023lf`2INj3nlq-@Q=&GZx8yK^lyhV<k->YD?}?LPhP-JrD9Ka=p7JHE^?N>mEAW0H=h}L=tfoC#@OQx~D=?`oP(;f&O;Q z#2gWrWVBn7nUrgkBr}nQJ&Ec)mqCQHh5D}w`fi{?C}X^Y!)bBCPP*mfo*?^iQ7Y5U zBUsNnbk{?bOlr+HF8B@Tr4vr);TE3oaA^TQ`%U>JrqUC4rq$Yh8!nXS9B99aR?|=n zmAu|+tVS@*+(SWV@`0~Ic5bG&rZh?8e1(IL{Hf%jy=+c|P3X34BD#IxMDl!$J?RFv z)*$X@IFLbP)9U^`c7z1W(g5_l_Ftx-hs7^LWu~2@bV)X7DgGU@%`of*pEp+iO>vpd znAldyX6uKuPhR4^bS+jBCLr_68d&-dMswk-r{}`2Yh#<@^ms2%;eJL~)KF?5w?Mcz zY|+Oil7FGKr~gf;y|8DOAI*CdR)x_=h&#J4{#V#myf8W4YxRtYB9_cvjAg-`IMV#( zeROlgr>`!#;c$*?5hKz5s?D)c9bruW|C|1^ZB z3qgIugyi7m{jbG|E*%K<4FR~w%Qdi{-KCCBb4jTrP`}`3G2fL(skP5x3=}6L%3R#{Yx^} zl7DP%>+B-?apQvAsj4#BDBJ(?yFa@^vyoHE>Tv4^z>x+UV?7S%8P>=F!BYWP{PZolktI{_e77v?U~^x`^|8asJj} ztO&6Mp!)0@d}nEC5^~w-AN|45FN4$f;Z<4G(Rbj~X0P0N=b06vaFo^JTg7$>lf5X| zCAEFCtZF-T$2B}1Mgv!kmG!@mABHthbya74dUre-o4mjN=r~vb*#(S^ndYIh#Z)bd zsm4kt*FQ?YtkS$Snb{@R=ZGT%S^(Ev@U@L44C@v)+i&gb=#~8mPpSE+tb0Ez3Qe+` zvu&1S4(NM+x8=M4USi*=pN7gvV-TIn_z6bDh^aW?=CV^+HFaihIKOFfp^cJFNRg*q zdgMuNNYQMe?mh$$H2=Yb>8)ki6vwA0t5F`d&k^f6sJX9n0lEC#0A5HEW!F3nc2|97 zn3aJ{OKA5Ew{r>&{?R0`Us=T5@1=w_vvzt#H*Amx-YkCma&yhnK=h4>htv3d%&xq(h0e@^s zx~9%)n-)P3xkEQ&xYshMF5D z#poO-t7521L&%_v1}2I?fcn#sC}1V>Ey5eSaYkJGC_j~zf&DMN&ndUDfEFTb+?SeW zd4kZyimPP;$uwp0@bo`&5h^YLj~&wSHdza%5u&;1=K*kGg5*le;3K$drV|9^hKD6x zXH8JRJGr;yNcur)@YfJU#CW>`ONnKHwZE0WBoo)rdD=;L5yMfM>&2vU zuo?vS_U7nE?~%|Ah8P|%w>|8&W@L1%zIH4lCx-7z3A?mRtGg(h4rd?s#RImDOlTb$ z;eP&MhO1(gZVR;krVB~Yq_(O{RGBn@|G<%R_bOwaq;s`uASc4zqm`nVU27?EwEcwv z#2fIupw1U+l`ShH$cTv)=u@c=%(FC$@aM4Ib|_kQ02~qNOqc!nrAvKVtNs+Is^X~&g^T1t(YF3ZUM<88Xoc%|Qwn)Rvvod-w|NeWtWQUZEeQ5>9NL#E zlFdkPbEg}XIq$s2HK46t5!^+_H9^6wW)M%1E_}Qr8WY1LwcX1FX{bUVT z7nsZwXTo%2Cu)MoP4%#i6Mriq4jO+a!{wn+l$5DfXbMDFQLsl@>2!=60x48QU&P#z z(JSqD(YoIP+)bt2BPIBe3NE~J+y7Zv>)w*Uu7wZvwU*?hj^rI)WtqjRa!o+I-SFQdq_L@B<|*YCPDiFloGW5`e^_kc^{- zAubgvNRx*^^EhcWPl>+<09JHfHe=BTx9sDODAF=EQSg4NR5HU@vc|DXslC}UL^SxC z#m@_cS`u_}#_LvoXziAR>cz7!=r8yFghhb%PcUfHw3lp49>I-}UvAeV%p;>L{NL2Ocf?a{JM{8T3Cbb>Xxd_2 zpG;0tCi^h{F6p%Rhj!7033|i~0%|Rm^u<2&(vz_M%1=c|LjFa_ZVOHd^E6AuM7fX0 z1MKiUMr~f1ov`e9v0K%)iyciEXW(B@td1mP{0eU2UUFJ-sY*L8jl|7lqw7 zpu(*IO4A>szoeaAm>*{*G=FAli`M)QdkfGU*7AS&Z6a@0%$;tu`=#!?h_|5AB~B(?)Fmlm2nl_!t87;nRAwdBTaVN} zc0gu&2kXQvJ)=56wgv4ArS{6Rldu+AA4C zT8sB^S^va&MM2s!~`_J>UIABRx_E(u&If#7KW2#6XkMM<>K8YLiRCZ<^}daU|m)+9QdmSD)a ziv{|dHd3ro!}RS`wg5$XfjI1eKfFON%+mVcXAJ&TNZ(cxtzAHEVJ3n^$x%dGirmJpaB8 z^C`P@ydDkZA?jP`GejH@7yy#hLGMsCLvG&>rbG+2X#+n~i*p3CM{MQ$nZC5b2A6?9 z@C>NWsv6m27Q&%701xACn2b3e6eE4VxyK$yMq`Ou&y8u&@=K=l)01Fqu-Km69r_2q z+wd8NL4`R3)QU4woE*CDHE$u}u5a6<2a^LJ4j1#)!^`cxKo;6hiRY`#Pwln|yb-zxJkPB)Eh7*jKqc`LT`-hmu7_!nXBGeIoedhop0J{ zAlZDV;NNZW_R1RO_{N%Rn_F0JwXO{_(Bxk@roHuU9Dz!t17k;%f`xmuja)e7R8axh zukRd&3arEWJ+)`dOqx7QW%Yv;#AWK=ZXRje&t?BrQHF(eKARAbjB%ATPit23QtJR= zMImW%N&%ys1|n~;mpp9Y$6nIV4&_=Y$zdT958mSYZSXsnn1@-bv&>>EoZGoIG;&-4 z8oWg|Y_b}Ob4>v{T!w^wdS^Db|H_H=xMAPk^pSqtT(wDrSDcLpA7=zqbDekHhOA~$ z!bwl}5QKtm=0Qy(UoP;V{S~ECX#xNrsSaLns96P}q36;Zf6IGK0G|}^brw%N@5v1? z&)`Y;va?&ZID0yM|J~ex36C0{yTaeyzTU}G&W~aFw!L-xd*3??$vZKLjB>>GoMS^V zog9^HVTZ?JFdq@`P`@YtK;1B7MrlrP&ixZf?Lz02610M&e^=S=l8JKy4+8{JW%;CR zHjozA?Z-H2)X2y#$FGCaJRCn_2`HLu{~f1ba}_~&w0W% zrAYjX_z9C-U`>6Q=3SV~#i#cpS%X3t_~9a1kLa=1S;WM0%Y1G4{tUGZ&1-qgm{*4H z7z6&jj%Y+s&%wy|ZGl%$l|m6{`zGuA)LXW}KBHuM8oYn;G$b7UtVO|j_R@0TBLKLt z3HUsI@-S6fcRJ1fN|!ZQ8HQTyD*}4sT!q$qR=)kncadcZ`AoEDKeoOO&fs$7V$r+^ z-X)}aNz;#>ig!!3Xa1Bto2{QGVd!(N0y0deKS;N4AL6Vm`6SoOS0e*&E4jY1Qq8-C zfO2I*=j!1*mNH>DNwDfgBloc@U@5pFq(1Q(ZTo@Qhv3unqYB5QC7X6#@h)j5fEo>V!X&mU|dPTeIH!{Y{ zDnb+In6X+zKs2`P<`0!6M7ecCW)J*TNc*0J;5J$g9;eT~`IPW`q}nH*NU;>puzwEm zyN{Zg{#a-v$45#yU($k5@{)jD)AwLM3U|({`sZK;A~)ggxGK+^lxB*bYQm4VJWx`DrE-qf->Hn4 zUDf(@Q~^=!LN)*#>ndNa7kSHX#?QK4jYOfn{!f&dqkj&( zyqI3|t6ruEE3*-RZ38&rO1H=j>OKuhyjSGfPq{~}Cxot>US!%1LET5f2E2r{&lv}p zoNuGBBu>73s!kK!L73@_E|L}Hasfg%>OeFfW(^iaLoGI!bM;iK&8JYmGDP=qnhxI3X;vC!jOWCDQYl>I*yr(dt7ou znYjkJAD>JRd8_bzVmcZ(^*EJD$V}u|Um61WHXB`zaZ;07CDqFD1QR$mYAx$xHR0aM z^NZE+m?cIO)29PVet$2q%${>Z`@q3WCui>9zS-=&Tl01O_=9b>9(TzrqUpV&eAMsf zVw^To+rCFYN|pE2Rt=fx^jv_FSm5C<-U2~K`)wA|CZQm7ltKNJQcsI@Mb6@8E7kt> zs^!0sTD9`F>9gWn$C^RFS$G58&QapNHi#EO7M}M&@k4B}i0_g~C)j@Z3 z9{CRJ)cFu7_Kc?h+cTv95Q5shL1{PkI2&wFy}_sR5Iye@xF(s1Nm-Lo(aI)5P~O}E26IDE#?+TiZALJo{`i2yD4iFQ=MczjcBEjpwg{}&GpIZytc z4MSQQLmVmr(L;(p78p6? z0Mdap0QY&8)2)r4?S@`#t@3nTr`z$(9Ke$|b0k%v8EoSX7N3%l2f-WZb|V7T=zmrK z!e2@7<$sl;@FrVka(5dNuDO7M0GyoKMD3_fG^X`sigQxRb0kSp=JHxOwywThUd*p9 z>8C#zfbM+)sU3*_gyoOOopRlgd>;+%^U&%F3htP&{|FL!&VhW1u2yd6E&{ShfPNZ3 z2BD~Vc;kusr+@KnhN6GHo%fybvc#6J@jP}Ryc}534(|8*Mg_p^2@sy z{|C0VBc_*;P689R{TTtJ-~%x+G?yUR0Tcx>GC4IklToiHf30|BP+aYnF7ED51Hs*$ z5ZpDmOQTJ91C6_c1eXLScnA^*?(R;4OYq?C5bW}OXJ*dSxpV)_JwJBUewRLLJ?mXn zdo$8$>2kiYg;)a>AYd3LFBgv(K*Q0++QVH3;-Uc&RpV3#+ByPWc5dGQ2-AW#<|81@q4f9A=>ZG^a0J_cJZ%30@FKT^{0#`|26?e?dC|QD z(}K9e+-=+(p)kNpRxLS&f8c~USi%0v?e6%Z20-jyENvk+9)Feex9%m(ixy_(2zCd+ zfZnjbe{xv^0k)3rP>_|+OYWCoP&dcFVR*PZg6;o_fCJzLw6}7z1p(dNU&6e^{;NCx ztP}9xs<(ndK|X(bL;kk)lw|B%~y zK>t(c33U6rK`ejG4C@OBD_aN{o6_{WX`yet_jFyLj+0Mr0~EgBD(|I5Y7#S!H5 z|8n|QYXjgv(8@qSw*RVAhFQI| zf55gtH;^M3_`>VoEd_A$^6>nN?yZBPjWhT!0tEk|0)lP-75)oVe}m^%kWqMJq|E+5 zEZ4scwO)n*_SOgbg6%&_QHR+6*Ws@)GBOZvfFCEXkO+X2Ux4@J?!5pK72*l_A5#7u zi1(jobt{;gqc_0hrEVVHzpMX`=btCDe}4%h54M5W{xvqbFe|X_%cT96;4ig}hnw3A z!GB-=m#Y8s{P)ZQf!;tHjD=Z+rs?d3P?v# z+J`mKGRueW@3?Bm#h#jcX7-_vzg5__20KYW%pEDf<2!aE_=0y)E)Z;DuZfGYrticSP`N2f5uAw-AHmTL|#I1O> za0HbF`v*)PcWX?uL%ovc!H zMQZ5nouP)SNywlpLH?tc(0LPE2Sa*4w0({7LzqX9yAoN2|664vOQd}#VdNehCoNL3 zs<%MGkgp`4VDdy^NR@Swct~cpQT1s?!6?7F{+L{;)pSFn&WbwR zcIIjomu~bI3X*2Lto`N?>_ONTg4U50`Sys5%JAp7JV_$E^rViof1jfgzxffm`Eo)U z=*RO}@ z=-uFsQK^M#@b3NUHJsU#aolBMoqtxs_fE^Dr|f9uYckNG%tDQSz>=X>5+C9qmjryLdYdnGwhO1@^Rbh}xkcqQG~A)~vNbI)AC|m!c0Gv2k|-8 z0j4tkbqj)7BGrjHAAIVK+#bD0aP_{}dVxyocU4`>cW=dUxTY9&F$R14dUj%tE{B?? z1SGf}WWX^_wtMgfU-zD^%Ev|V#0 zS!;=crwkp>I7% z;#8hQLT?igX4{x|UxaVfj#dkuf3oB83S(|xOxEd7e}76MR-bw7?<8lXO3FN94n8-; z>R-WkUj!aBLq>*L9ii*tDD9o-^}eaWXaWcwpjuU?oJVJBRO$sK++pPCm5%aG0- zZnU4^d`++=AZ;?*Xmnc?w$^3j!?qZTFWvjyM?HF(ge~2mL4qiIr2u!AulL^Twa%t* zrighI%N>du0M&?GuOS9&W@T*h&smbG_U5jwr1aRG-|A6 zf7?*Fo6TVGaxL~7AQFpy{3E%uT-HiD9sP-O3;G>hQQi+X4VlWFXAl zxtTGOB5&|o-b-cH#e}t7CJ2f%|6F;Z*(S245REEbzAGbc-u7D(t zfR@Yn3S<#{OFnh`-)*qLQWC+L7j+UUU$jD zK)B!q|EGEzfyY0RR2tg)evipcmQBdwSgtoBRws6Eb*HU5y#&Z8y}##GIiKg8 zp=24GpMXkC42LRp&ctKwy|>Z3l*V+ji<(xaFf4zdmKq_4ONJ!v3FUrC-iss;l`r`q<{nX!X|x$QpOT`xtnbO7f% zPW)n$+3`+5*Prlel}&@%UC8DXVJQ*z7@h$pe~3VY36+@NuMyhEe=N^JIf&FItKRE1 zU;j@{X`yiNm@ErfPPN-c;!gF!737twL?;zUhdO->VP{eOuk-Ks{p!9kE5?Fwh=Emk zG}8=6R(=nIu|miaYfV{_c>b-^#^sUAry)dX$%Sj|3OQ7K zK_~Uy@n)8+ImPJ7e-oxxhCG~2k(6W;+8(ymr3n2IVi}8LvLeu_CYh;UkBH22@5kQG5HR{uYib)NLPATq$T%2ADpaC!hD`}If zw+h`VPw^evC6f6?tIcibH{j`6pQgxs=<@E$MigqvS|Oe6f7-(*>aA~p4@YLg7iZoD zMl|fuYsKlWwxg)t}{6E#N&KH7jhc9=w;EP6|ZpHJ@|>8lHZ{bOpv zQ4#iEqyVNgnyeod^UGmcl6a994}{t0S`Tc_AwD{VSk?uEnGqUw=M@r!;_dlnRD=f^Q}gM7c92{48_HhoCHI1=%Gh*ki7F+N>{Z)eJ32J^E zku;)I7+-0PUgtx8?u(?^&q095Fb^SpJT{!emk+`Hf2^AR9NXddtl5$&7*@^_e=&3y z{!RDEfNawjoebU4b{M}8`$!W*I+WP3GigFg;>fUE(r=!-B*7$pppPH?oKi%ItqbD6FwwpasO2vdvZKg_EeJMq`Eh-%BJT(PtuWwqK>B7CTfiDt^#f-L9H-Hz2 z{cK57f7qRe;}Gzb{v9(TS{zxxlt9+*>(r^Q^y`a5HrvhWWhJc`f}>XVma+t>tEm&! zzLh8I{8Db8ZH)>w!hGW@1%e?iQ0*jSyVOB`!vtsr6R0C!42;Nt#_ zh}mwC4@HI3IekW!a@h3jEW!xiN7J~z`z!~uF;M?d)KrpmF<5k1sIx;BS8{bajUi}Lg8d4fAIHpHAr97EC^5`50BLn$^8bp-C^VT%=~*4)AK$|+wi ze@nmnqrW8n>V^@8Wd$9%g2FwMj<|i+iIRwSyNDNrMVv8MYlt1 zHUvegs8ICmVXRcy$<(?Jl2g%V+nqIjLB_CrNRT~25# zgNo8=Er_R}R7-#freRj*Bz%?qBpR9@f8D>ec+`e=)Y{sjuQK6xrfRp)x}I%GyAtO& z4sUBgw4)+q;AZ4Fk5(Nlm2clQzHdtY4Hq-&j}N~m_R+!xvne)7i{VhST+IhnaIqpl zIp@dP*53UNIGu{Y%n6dxN=a9jTx27=q>9boM@Tv)v8dx9z0LdD!^v9TjvSPP#>t5-te ze4rV*S)2cT#sZjNn*!!{>MMqUUCo<{61)F+sD#9}xKFWyfd==PYcp3)bo_5P z{@b~IUefaXiNt=rz>Omlwbe3Kf6uwJv^t%ASrogXW&$Eo^A(-#`bQJ0l6K5ux>ueQ{R!(maI5cAK&+^)MOl}5Ke^Q31%!PAG zdg=KG!`JlOw5k&|-!B0#ZPYPMdw2J*^E$4-O_erQ_zB6s3$5*LS00;jTr30QkV?85 zMq!aV-HLp|UN>McJIZCSb9oyj8j%WmpgUz{bn#^gRE~Y)>TsOJ=l1d~sq4nRdTwu* zKD38J2h2fC{KNjXW3S@ve_`hP52UM3a%vYM=7rNKsA0A&5Y0ZREV+{2rLD+XirL^q ziret?_gPlznc2u+^n1PRk~hrvZkHSh)3_a8(bC>A0lIBJ|GLd22LgjpI-}*VzO8Wg zP_!p69sFs)Q`gZmuCext7KS{oxqp{xZ9L+&`Gp7#E@w7M*y217e+$wVUyQ?MFZlC| zjlJHG&F{z-yQ=sXOB2t4Kzc0FU@19QKu#U4(vMf4#9_HvSTGh@p zs0wC&-5pb6-Q0w6XnoeBZDeiGZu`5Eay1!&)SEU7JncJ+;ePj4f@~C8?%a^hA}26J znj0-G@t$Jke}_QaX|ZhEetp%kAdku*H8S!>Q?GCDv2}XAgYDV9gNmo3hes5tpt&{H znHz<&6I`qRMY!I#46ZZ=+1qp4`>?~D=z$D(-Xfl5w)_z4`qeLZ`DbzH8A}$cbX!FB z=s%YDCYP>z$An-LJO_1%;)`tl-IN8&a7tbQ?w_M#e{s;9@nuZKhp0L7i#n9j2gU(& zB+9A*g%%q!A#GicR`6$~^yxf)d zdeE%m8Yg4px~^VVuMWYmE80;64u@v{78%1}Y0;t1BwTQAnIhAD;L=Pe9z&sYh5u?FD=hf zlK0E{@}mVk%W<2!#k`YC#~#*(SvjTvBSH}t*3*^m$7>uBNdP&K)^M0|HD8vo4`!fE zj(4+P>6i0BdSRA|1mW*KD!gHOgQSKweqzO#f6t{ZwRxYCsrARk<|;&-v-5}_b50~l zgGw!p${H+s4UxVamL-%jDwiMcCqfSJWPe3_TxAYD*yMOJO%pLY)fyNkmV}u^GtKxS zHieFj(5|3l9;jl_PiU5dZW}52+KPJ6&Yc(;6lclJ@5--4ja0dB{W);7$zeRkYP-f+ ze>FeYp{(v{T(U}MYM;&rxbXT$YhA-CRz*IGI`e1F6MU+Yz`rYb>z_HPaqwer=BTvb zNI+0gNiZs6I!BGj6a;9AXMbPY>EPa;LLVn8q=yFV%axs*)v4j>>vZzP@`x?lL_DX$ zt4Hfftwd<>@xRED#P%U|%l;G}o@l_se<$}I!W+gf!j-?Z^Ui6%y-Q6;zv&b1Eu&fj zO0DLN8e86|i|_45PXmXgw5R?tKdpM>_he&16wm73NSsUA&g6KVH=(-dPktj~bA;iw z2$FO@yUeg7=C{P-p=0p>8b(dOQ?0w# za3_6ef?k(b00H&)KV%Hu0N3Z8o5j zuV=k^9nTx+o(?3}_AVJ77N{4|1Kl%kr>F?q8Tk^dkq?4qY5AkXS-c?c(~9y2>_Tf5Zv;+@$FK zaVMq^m?;74`K^Go)Mo$MXOy~|lDX`U?qvm+HTTL`=v7RNSuuZl&gTz6!|u{%VCCRu zO`b%*pr$&@FVh*y*!LWJ&3$}!bfMpUNASLU-n(gPciFxwGGikt<6U;C-{46s2Bj;y zQGFCYs8PXRtN-RhYEf$)e~KWX1$IKwQ#({vfMxwk!wda@E=>VO{^e6~HT{M^!f$FK zz%>mk!Kkx3t)Kdl#m_?kBx2h{0mN!8#{Q|<0P;b0{8qq0^}Ci_nCe{byqmNy&*D;8 zhf~|EbU+vSc4LlIfEzfU@{|NWia*v$q8;HE@IfL$=}Un#Jgx!}e?r1N2ermn=k5iV z+0%I=Ol)cBDE{YKLo|is?dB^D(`6$hh0&XDI-h(@E=$7nXQg-IsnG7sFIyF6`)ZOQ zncZX)8-(8MpV8eX!3!zJ|1J6{WnM*_;hC`;)j+lj<6V7&FmqWDZq z$p9@**Q^VSIvLG6e*%$MsvF=p4#$qMIHk7FxUB>Dt&aeO-S|uE|SM6BB8*850P;mz?}gf8#9cu$v+5ka~jnC0!Z%LX!M>us6PQOHwvf0A0 zn9Z&`3{WnRe}4$vV)-fadAsfhU$l%H4as=8apVa99;!|0b-y(GEgh06VAa;$G4ilV zA?si%=^TkRWT~vb(`?z4s)E7s0gZ%&Mh%bk<4KF(MB+%id%O;VmBt&zeFN^pT>?!- z9=x{8DX+Bxn0t54QocI1KbrlU)l1cBy8%>YtJ2c#e@&@HYMbtSgSZEARMGmarv9Ve zAqFpe1K)l_dCv$ASb?@odYEbQ)|sd!mORY#z$5Y%=sDuE9(NusZ{w6ddw%J>5j>D}at!Yuk( zY$cQx!q*}OQg|EIlbkmv`ezmefnH7rE_hKxEmXMR-KgFOhF_;N7g#^@om$m|8k~CD z;rrw@5E&Yx!yXZWx9g$@eSW#CQyVO-KFo&a9;V(+RDI9G5W+1yGO21robFbk>?vQ4^M26f)E!5$=Z9!G?r6#8 zH%a2LJ8097guD_m4`k)aM6tdacOu=)e_F=m6yeU+-{5YB&Nx&7myh{9bMH3P>%1Nuj)m+^Q>+Je+{^n?5mCD<2BDTbNW(bFU~OGvbK=pIHS)}r@C19 zO#>O1)7U1ZM@#EIgMK}`B)3>Uqq5V5k{!F94rQ!zJi*mL)a95Pjz8uj2D&q?f+{mM~W1kT}{GcMC&^k_<_H zj7bl31LfeJy?|1G|Iu~0VvH*Ewz=y*Xo#GKR0Oc!_+{ER7>+0AijPr3yJ>qPa8rU( zl9qmxisb53<&vtgJ{n`Pf4FL-Xke0@N8t_bS23F)1y=&@yv8OqUkgm95lIn)Gb)Yh?leQ*0|y6@FT&h~B42-SvU#l~BGu(Pn3)=T zFN`7tZoC#3SIAMoo{g5*=LUU6n2R~@HmcCo%Tt(dV=;6-#gqB8e`oG=?eC|DyRHx& z?3YC1Kcg>9+DT7p~1JD)%K$Db@%~$GukMyVRXKX0xxEi0U*oOHt9RfrT%+ zd7c3qy;<;5E@51&OFdq5S^iB{zxf-L2l`=^@|+6&n)-fbjss^jH{O}`JqR^jw#bTy z2$=*ot@N!{mHWVcf8Zq49D2>}OZDgRq-1Qla6<`)FV}-v3f!2%ijBLBRA*I{ecZAjoVx2jZi{UY%uOXWQphiINJ*Hq z{NPlyEDEuY%Mr*O!6%&p{1ms%P4o4=0T73+8!|20Hjt%%f0Z!Mgf#oc?iu5K8fd6~ z-=lpq&~ZZa>-f1f!)&pcedC_I#Zzd*S`j@lYIC4*q;#|@f;YTWNQYA6j|VU0#u3kJ zNSSv`9F7Hfj@!&UuzA-y1mNI)7yjN*7N>>cF-URD zinaPN=K{xef5d;`lUv|GX1)NjGLCe2r%3VVc_npKe9a49HjAt|au^;hNF=MQKa+tH zk(Up6rv*akrnI(vm!Hr!!2k&nBQ_K(t6}y`!i#0(%4Chxyaytz-^JJXqa(H&rzZ$x z{j|tA?5%B_RzSC-8AE8-8nNSO5=EVgzdf#IJV-cMfB%r^b9!a%oYY{e4J|4X65Vu? zVmJl`P+VX?gv|WVOE-RtuD{ldj?^$xbM-dX$E)DL0Ce;{X}f=7@!%6tES|=Vvg8J` ziu>F<@VGkA@u6u`ogQAr`b$gIJ=Oxq+bA7QmhhwW4fjkOnl+V^L~sd|CeyBISENJTVhI-dvBQUK9hLB$kQPOY`(#%W6V zO6G&=1Sg1m!7#&j2pu6v!T2DV;~(wBb1ZZ7g5~1bf6$^1M33n_-V}BPoaGWsM!MWj zF;lEBSyyCFf7wAy(`grrL?!l)4A$uayJLT_e-SqNI3nj|G^z#S-r(K>W)J0tfGVaK zo;sSHRe(7}=N4yw8?Qc`By5JFhfaqqSa0I1Dhk_+kLLYg-_Tqd5T?# zh95V6_Ls}4o~JB`{q`&)=6j=zB<1=afB(2FRU_^Agm+n?4>+BC6_fdooS#C7j!PPp zD`TNsgDa<~;;f!wwR%gPec4>b{l&mw7{ zP1G(WoY9|61~V56qb`K~)Ff=U#?;k}P>Kr*uf1_@iB|o*9dUJiFyMTNe<}jF*d9RfGEL!GP65ZPv3_i9M!6@x`Qd zRq-3z-l8*jJoU*HbT@h$n5Fayf7NK*>6T38y?}ntawE6ndF+uA-ipx+oe#dbKI*1Wxe}9vn$xOEc zS-f_wKCllr!fP3?E>ys$WW46={kjGY96K{wFSH7L#wRlCHXg53T4wNRUK+fTz+0m` zvTHT*uQ2$LU^1!9IA|b-szOSGy))=SFmy_jN&)EvbXxJTd$LjAA9WpwS}L85-xKKI z-ibM0-<1+b9F`;06TD`ef80uqMcz9)^^1d8730gTDt%2Ul*%_3X!bmFpx_I=d7z^q zeK^Sya{Nfn!@rOOE^M^*nmB3H6$0|a4QcqqtsTIe8AkGH^OF%@;hg8^w8_EM*`^w1 zFuPk^G#y}2?gDI?h82s9`?W)xtdauO(mJE;er~?LQekbgc~b2be_A@|3Q3-Be$AOh zS&}m`&{c}e8`=5&eP|D^X6p<*_NV0nWQPHrh!(ecg7>59ye&O_{mAlc)XDTeo$L)% zw}LOQF;};)++@r2&4Is6XP;{-T>#1vY93>Uk{_6M9T428g-gyVR{fI<-jVm)q%ky~ zzlxfXD-3n_vA8{ie~1o}8i1dk#?$wpU`s+3+hc#B6B zG6q== zge53BN@)@y;xWfjn%KjiC9Z+LgLuyLb2RZjA;HWhQy!t%WXK!Q%^1~TpY9+CMCqUl z9;36RnLX#Jl$H(_zVQ5KDH~X=uS|A<%Ja1&FkE*)e^Re*6l}g)J*i`3wvoisur4sW zftqWVyqg2?*VZ1K@4VuYfAhwEydio5da2%i1Fi(UsQaU?pBGeeLC&4xgf7*mP1|UTa524MTZOl#U^i8@HFo$(JnWkK&0O0J5D4PYuCz3#hom4MYyiwgZo*6 z)1$IiW_U&4wzj@JM-RUHvzGBmK`D75f4t-Ow-oLie@4v({w#|CAY-NpIOPl@hlJ)k z`@ZH7?ZOOJzd3_-18Ko}O?X(!44LAP9+$V-H-Ime=r%$dwMynVLMYg`oPXg}^#{SX zow#?bGl04)HBF#vgPu;1uHVynh|%*OCFpxbV{odI#@UTq))F~P(326`m-RN-fAIJa z?&j0Up^(S6lxvxxXkN(nmZ6|WKG`8_7m9h-mA8=AUSOXY;{9|DLelj8ftIwEj$AaU zl8;KT{HygOIZnPTHtm%zeqUdw%ie82X}?&L_(mQSjq-R}sV3xoz!B9GH=!h%iRF)d z0foyyq`>!r!;9=XfjLiZLtLHDe_VF>;?za;q&S$wj^Y+kI3(kFI+i|$Tl-U(j5!^6 z6b()=ks-v{omQyB#Lr6DT(*Z zOsmrI@MH>%Duz!+#OrILHBCe3%-lZ@#KznSe*6>GK~Q|eanG@e<}N@2f1~p1$%v$x zGF*AO93s}$RLmG{N?*A8Irn@aPUS7OT8~P(n%@cUP-yRX#f2N<=a3%3;x)0%{wp+!f8zE>9{BfV-`yrg`8l%+P3tu9YDOyJr%LMc!xJPQ1g>4P}M8D@uR5yHI*rWSu3RXQWMI-OYH4h=8dL8u#gZerQ~ZaIrW zLqrI+o=sPxx8lI@e;~3RnO>1%W}g^5jxe?fd8%GSVEP%G8f}US_nq@W5Ls=QF>n3T z6<=uXskNVJcqU1x2KO(G+$TQc>#B^|kH5@R8bcl0batv~yOBNnWgRI(?G%!_0 z%j{(!Cy{jEV|1CjqRD6Sgv9@?$#>N}(ed!?S~Z1sG$;il0Ya)+>r7<7fj|_3vH9zP z(ozx`-;p`Vr{TdV^0%%!14ME2AWd}lm>A1*wkDVpwQfYZGi z4JO$K(OK#qf8LWMkHS(0gkr~RPg_p77@T*1DAy(`OABVEFLMz3MD8Q=^98JaVjfb# zdH+~`O7HC<{ie-%7_PRpbHLZja>e^RY+?M{ldD=45;340{ZLV`?;&hwSJHAQ^b35O z1~arYEm<#|*6d{9XtJu^V-J-ad3|nDVDqZPR>^=*e;W>mWhy!*d*C$2c_sQiNI+C$ zUx_t&wL@`h-TanTsD5-=s^g)UjBl8Gs!#AiGVPY8gp%YM0(D1ZU0QG1@Hl z&ZoNHvR+xnw5JIq0F2&&FP{Nn1FH9t21A$LEp;lt$+camV+^~XR&L~&j2Bt_CEZhr zD}A2re{ohZlk8pOJ?pKPv5HD!@rBchY4?Tx2FId>)kFodMQp4BxC_@OT-fR4c-DWe ziQ1K6n7Xqv50GHGMZxzsN82AOxWnwUZA;+l%)6=CnyuC~g4JqmOSjL;wmChf&!-Zu zU3m9{K$07F!`C?!*LK3?k|{D$c9l?8m-Ffy*lVBwsV{XX+(wUEZ?vveTr`eGhQq(HoITM(C|H_r#I< z0-*)cx?jxw8El_lb)=YPzh{ezsF0yc1T))TIn7YpArX(dWB_qz;u|JY9`D`l72(A2 zD9PWySM4ii@6Qjr2<*rCQsvXt^9YM|e>Mt27%(OnKzC0VmEvS?ucEJN)bY)&E-F6p zQZ}CVV~F+|kb?8e6wD@}ZTT({Bb$709f(mPykLr0Hdr#a4CA8qTIz>W?VD)|%V z>iT(YlD?g#3wo+;^~$#HWWesU2u|hveq#fBOOznsmj33t#&H;*M1!@v@(%__f8x^} z?kS<`>Mi)Vha5JcbRd#;Y@lA)byWgF^2;cp^JFzOD`7=Wf(FV8o`a2B%eWh&=8oOp z)dr}^F8p#BRcp4hsH`i+F|4fc2pIIGk$(%jtgipb-+O?Dc(y3}ML;H_KC}XQ6VXB* z>X-bGG42rJAY30nlVU?%l|Z1}e~D_lI^Qe>uWTIodZ-rN_0JVgG+hmkzP%c2S)HEf zG{iY*H$tqBi7>XmVpN#WfV6ArV?f@myi2nLW<Kv}Lc2x>0lj5;G&QpO_X4pTZ|Wr)nhshm@g%RxOz&Qlw|um7$|1fBrufgph(P zcApr>Q-GKF;Q287O*>zxhX982dPvMzn~k$y0SXzkT>W>Jc*mt?=2GSl6?5kW&wlL- z`R|~@;UP{0AIT5YN<^MQ>2!KO2FRDsAqe!Q2r%2k}e=RNv?DuRm0ymw*^owCA2M=2k_gbjgIf?bm4cbb^Tt1}8 zSEq&bRfetIxIL;H;0VmwNY#o)ckk_EoAHI;-Gtl*p_+wGN;yms&bOztr`xJZ*(x92bd z=e_|lm(TA4Cl5F{3NK7$ZfA68ATv2PIFqrVD1W_MS#R6M8hzKV;N!h0Le9Pb#RalC zb?T%^oHmOQ6tYY^YGuil|&5ZH~?qTz+9(HqfiZKi~lnT>dQJHU!cN-Q7IA-R5(nNlL48wD*DCPJ67oDqX; zL;-v#k6AEPrh+pl;EHJ!h@({lB^(OTaTzcQbdFCz^)k~EgTbICcS?v%D}~vxnAVmB zlWAknB|&4jnsk}A+6)w!(iS2B>P$OD_K&LKZq= zRf!QsfSQaO;q*YFVx*v8B?=U~QYesDEMXLdt33)7wZ?F**@EGk;x-s=6xD&@#-YW5 z#!5Mm4m8%H#e>FCTj1X~Fef7>bTKI=GhVX=#6C~}=n4t~AdC>n9AHGDP%tP+F@I3X zW>yE%xXgMDAt}!Sl%zstgJB_Nj_g8_kiWxltujwRE3GqcG`nDMfr=T5_LZE`&DGQ?!&;*v{P^Rbc$A$; zOe3;aS@HJWd)S)HBMiqnkvo{n^m;P+F!+tL2-P2x=i(>@$}C@@nAMTE9Z$%@uB#sI4mBX$W)hO(Tv8+GM|ipAI&aL$J6oj;&&v0c!!v*$)&F_F-R!q za=7!?G5u2l%jnB#IVU3jJ&4wHrfu$FJlX&OUD){CBQk2Ma;^PVL<@|hvh>}-K(z62 zb1h@efER79kZrUIxqnf&gD`g}3#k#lxG6#CW5flR$XxAm6}~2KD5}b_NPU#ci!Ai+iW>Jm^8@TJ2nQpQaKa$+h0!q zp!i96c*&#^Z%^i+LjHdEm87nOT2JcShTlz64|Ng`6;z%UI?4IFV`a$G`AEpzV4H(j z>A1;3@CrKu_J3NERd?u_!sa5TGg;1^zGVpIIUqzNwCw?6IXs<|cM75o4=so$K718~ zTXRev`T9EMDsANyUWwe|fYFB*j+Uz+Z>Mb?2*g6Ee#92L31fUeVw`7li~V;$V#EDQ z&zU6{)!0h(a(W(0U7rX*wbr8!FL5{s`cA@u+}Pvue1E-9IOs@2_7Cr?w6zuOQuY>F zi=>33;qA1yTG2OX^r1DH^Qzlv zvCGc2i9FyQw$z=I$> z)bLGe9_w<|_dWM|&d!}HS&cnieP=xwI6R^tU4JM@OFRy7KJyO2F7p~8DGNAw#F~=t z4=_Hk9Mb!9av}v{SExxiZ8bbCfU_;m23j`LS2XD^C5{(irO8FrV(;>?$y3$BiLKyb zHzjRNt~&kosMP9&z`bgTkU~8}OI!8VT0*pNb@`^RVxuZo_p~Z>8-N|F>qu@=+2Vw~ zt$*C-4g(AAuzd&jn!0}M?&+?*+Oslrwaw!Muj~6QgLJZsW(?#X>N`#wmc-Qqd+!rz zuo<){q_@A-J75T1WXY*;KI9$yKP*_4+1K|{ojIy|Zt4WvH4=!XJjn?CmA;{qdXpgG3l0%MaC+D-25X5H z=Pg?R*FYFfClJn(R(h1F6tEzuC4)F&kxv}&E+%hFEBLfpiWW{JZ;Ga-wuq>f?|*E$ zLTUr05i~e#6_8PtB@33lPN_7rOTBCfDv)uE*AN^tJK2^(i1k}nwfh*xx^eh+hMN+l z21~GLvy3HPQZYeQu`?+TQ4P^F5P8s4gn=X>L*QjFWUO$3))PJBZV;ODR6H5(Pm^WY zLq^KktlO`w;NHxvHUVoQ$-KDzUNX1A;eJaL%qbjYZ8F{XRq^V~Uh}1A^ zBt2@nAx6rYj=wsFlvhF%H$yT^z6Wn(sAPLGO&TI}=94ZHrB6O?lS`N=k{j5Z5j$mp zz_?4Bf~*+_2t4qWapy{E@YQc(tn;aSe^s~hcyV)~J!&Wwdk5!ydNySwbboqpx^!sb zP)L1HL`9o6gf*R_m%5dC5+mJ76L23YAVIdk5=hG&WZGx9y&Y4RLtSqA+c6=wbhci* z5kTsX^>4a(LbF-**RIqUO;=`B1LkWh-M^O7-VA3Hp#bZv6=)-vjzAkhhY)Y%M1j_0 zl0Z9k(lujvt;o}hRe9Dtw|~5^$+IyYRV%rbXTuU@$)D%zKF*OaB@SD8)mrUpiC2Zg zr61pt^lHth^t0Rcztk^HYvM-TprOWnXa0s8uJFAs!8w{Mxr7p}gj)^P^+rnxUn3Fl zM|@q{=GjQRsV6$N*H+s|m`_t%>n;s;d22M-w0A9is|M>ih>_3QTYsp@8cCx`qTAG@ zbtbE%(%911G|9KPtpP(1yznMP_^Kwk!nbO&wP(J+sW0M;N^baHBmJ%>b?txazSwGR z%@=vKL9iaz^+n@itI4hgH+->+z3YqHEVZM_ZL!Tz-YoO$A0yXd8!2v&Z6Uo|zxive zq!Zc_VGN>mXM!Mc_3X0Mve$oE&pWc{T6H&Vm5J1Cq^;;bbY6b(fcmIhjOOF3`l)GKhzO({g=^Git zSCQg|Ef-CfFBf!&Gs(^_XZNIOc=Ku}Z}*Fb#iQb|I4XvdtB=Ftv|J90vvPv_#Sm;4 zb$*r^TmLw&Ff)Jv@B({Kadq^=g-Djc8OW;`i{?8m)^vxhns<9!`qcv@FsWEtB$m zS(WCbF0Llmixpmt+=tg+-aI*c@Ql3f(4g{-3K>oBfK?xFQQ&{@YwRwIe^$BG`*3^k z_U*5~{RD20-|dV>F}s(75q}Nv)mJ2gjG=>AL#%3PT5nM@R4PCx&); zpannt7*tuF0M%Xavs;7X>G^m%UVf<T;D>*TLiMxLT}h;)G127@cDc&NUV-J{!NL7^hd(?YU!GnsUd=9_&*ITN z{u;DHbuMK0G`~b;a)(iNd0N$7?B+%#;tsatiYdCa1o9xIkjKRn#L-v9>*6=K<7qJ} z&Wf@qFVCRD;-dJN63HZ`l38)JBPf+~LMi6OqF9ud`od-78)l zy?Xrfv$tDBNPc&CG=zs_jQwVWWjNE3VhF325pI(rT&b0#T9Kn#mE$2~cOy9pigH-4 zrCPgRD_9j_NY)SDCi5%d~VmOefe5$5w2&oCDYnzgT#R zP<~WAgB^eUQoMjI9YZ3&!k*p~Z;N-udq`(Ex?YyWa0xM;&WEEv%Vn~mx?EY&sHp5_ zG~@mySz&4~r^y!2i}Nx5eJYFdNpU{Ao+s=4_~q(jIj#2rm6=Y*$R@KYr|h)X@$9Vl ztN81Bwk*$1CyAh`R5Ynp6)Us;RB|)*xk$kc>Ro?+oR?*>{CifL`RC$G@lWwjIiIcS zeXjt2|M=+fR=w}GcYYFrw4FZAUe`VM86DlT+6no3r@_-^TJ0OTTl-zzzbIa|x_?u9 z#JWarl-NsowVqa0(O>jilFsAlXm&Q9UO*7z^YfD543~@SL?v94O#3F7Wjb~j-eyM- zP0fE=%}9;6vJk>ad=O`aI9YAtJ{eLnsmjI^+m*1|0Gc^NkNKLrz1-q(9Usf0UU9Q5 z`cAYuuS5JFD?$FRTFxEm^2^y<+$ED%G>%&34!&}z-2TI+@prz0Vj~Rf!EjNg-#s^u zkSo5D{u4v`s^VZgUo2^s8N>L|uv2+6K3ji&T%`Xukw{<9ew{+3XEcc&3H&xd>u0}p zKw%w_lpR1)xelVZfvEbg0DB@@J&3IVGGZN&w_QN8E26LoNbV14?Fh9FNUa0nzN7`j zeMyVQZ{kt=<5@lCtiv(4!ok6(gU4**(fi|BKZvX&+OX*^Akl%NH{qCXfU|mxSVt!l zZbM^D2aer@WA}%%vE5$-WH$_&N0Js1D=i|miO4mG{tuesf#a8P;D2O3GBTGv3Wy1ADYw!SbEnrj{TnJ@M5sb{aB;ZZC;eP~F zR7gq`*h!TT_@gS31T&{p5D9jvG!p@K8jJP@5LHVeH0YUzv`7`xDUpd&X(B1ZfChdDJ$dFaD~Q3LwdZ)U%r|9G8m@AkW!a(i8x%NJL6l~0`O z-0qfD{!o_{mJRK_0eN2S>eKtIB0QZ;FSGW6N(lUGzN+tcKpAap&x&Qa%72SBNRmeK zq5N3nAhf_->O`+zeFxslo3o3n-y(R=>ueLjEDkX%8DfS`K4E6xg4ujO<~Q?S=Ck() zm~ZTQAHk~*@v;!E4&jP#fSV@Y4|jHZc@~9xgkn7knXv#e{}#w}2>E@sw!6vnwA=$g zHG${K!Y|xIocl$-+L1quLw^GMLeh*Hf{zG-KRJD$tO zXvF8;zTV^ox;f%V+f5`6_d@s3f=Rq*UT-Wh?HrjA)AH%DcF&dl2Y1qt$HtX;*JQ+1 zx5{h#uLskMqfHk_t6rSWvk4<2p3-}=sHe-Rb;Of)o~a(eu5^f<27hz2!_#owrf4~S z!TQP4)F%_YWL-h;;_s}Av{bbTpFZD>ePjwf?J+SgmyX8Pna>u-+&HS%^=y?r)ONMN7w}D1e149H{y_h_+Gm?p z4sZVC_Q5XeDtk8vn`ZU2HgESO=+mEVwax21D`r<{kp>nQ5Wl`(oUPUtRLwU12`bCM z;Q;;6;nQKQjekW}f5liKkgMFT@9h@A=y_fNTDy8X!-`p8^#1f5M9p&SL|5nYpLmie zAs9tv$Uw+U=#*_X+pJhD%k9JF5sqRD1_3Zxa#&q}cg!_j=UuibAM?d}pRcSt?tn2h z*ku!dS(V$o$ciP>YeL0ei~DS2n^ZX(EQ)fK)o4dU>VGyl+T7(u1IJ}BVG9fU1u)}0 zC~W_bAP5BsGuO0h^UIAs`Yw+Iqkww8VHaL&JGLdW9lpi(48EKlW7nVDKjDvNJPN{ z0mNi9v;dYEYZuxM)-a_00pm1bLS$Xa&}@LK)nT=~7u1z2`y#||`Xb284jiEdN&6zG zLJsD6kUB6tiVzC#8s3TYbCPy=_IExWMoc4Otbd3OOF5?p`LGx83w^B)IgN14butYj5zn@)5n2PuhOM zH)~&X?y9aCRXety>&@q-yQUj?(Z^P8o1pn9bGLfU*xo<1Br`3>*4i=Hx`nIN7_5Q! z-0r}L>BwE%X;#B)Y&~i2FP^SCx~qxcc<0*1v_JW-?Nzz5(~mp*bdT}w!4@-D2Qfa| ze|&4ff|rpK194F?G(ti#I5tE>G(kZ(I50LsGDAd0MMN_(LO3%wI7Ko(AUrWNLP9Y( zHbg@-K|wb-Fg8LmLqtYJL^Cl$I5RgmMKV5J3NK7$ZfA68AU7~Fmm$~!DSsuDIZstl z6ot>e4;~^9kV%}7c@|J{g2(8Hk9i(MQH+1X!h+hw(!|i%?U-m~f{mS(AtVqJ5(`b7 z=q!vTCV0Ok#h3Ngz4z>M&R&}k!t4DggeX|({2EZ{Sf?sc1|radcM_EVS)doM0+kJt zpbzf^DhC_@!+6J0x!@oe!Dc&#$^$7digy&14+_8--VszGI0VM=%27q27_8tOMwNh4 zu!>iP5_syIGo`0mfR()nPoJqcyYgZ@t*ni6A}_&HNgbNo@KQYON*7jzSB0nTR)ZS6 zYCN5&7S!R@;OVIKpaJg`mtYkG6n`__ZX0Oll@2^LpaYx+XTVv|3C@A@-~zY^E`dRC z8C(JV7DA!2(Z!+>P!76L26VB+!YSkwatb+xoI`*0W5+ga0@K6fDSWhq3WfItAC^(tb)6E z!aaV1=st@1a4Ckw)1U|RfdL7?on@gntyM^(msxoBPCxs>0HC2x^t{}{`h=d6Y*(_$vn$V) z7T)i~JNUk>SCl_e=XDnLa)0F!R##YwsFM3tK(sX&V>=V$!&HpjwHO~aVn%#=9OKJ_7=QMI zC6arw`ui=${#N`m+RzvzK@QNr0?odLy%yAgde8tGK@(^OEkKv3nbz!U*gGtd{XDLb c|0etc>#L&Pmo^sz9t$urGBgS$B}Gq03QH#vCIA2c diff --git a/Schrick-Noah_CG-Network_Theory.tex b/Schrick-Noah_CG-Network_Theory.tex index fab1725..f117ceb 100644 --- a/Schrick-Noah_CG-Network_Theory.tex +++ b/Schrick-Noah_CG-Network_Theory.tex @@ -62,6 +62,8 @@ \maketitle \begin{abstract} + Compliance graphs are generated graphs (or networks) that represent systems' compliance or regulation standings at present, with expected changes, or both. These graphs are generated as directed acyclic graphs (DAGs), and can be used to identify possible correction or mitigation schemes for environments necessitating compliance to mandates or regulations. + DAGs complicate the analysis process due to their underlying graph structures and asymmetry. This work presents network science centralities compatible with DAGs, and structure variations as a means to analyze three different example compliance graphs. Each centrality measure and structural change offers a unique importance ranking that can be used for prioritizing correction or mitigation schemes. \end{abstract} \begin{IEEEkeywords} @@ -169,7 +171,7 @@ Section \ref{sec:networks}, and this transitive closure was then analyzed throug \includegraphics[scale=0.6]{"./images/TC.png"} \centering \vspace{.2truein} \centerline{} - \caption{Example of Transitive Closure} + \caption{Transitive Closure Illustration} \label{fig:TC} \end{figure} @@ -376,7 +378,7 @@ For the dominant tree representation, it was initially hypothesized that nodes r \section{Conclusions and Future Work} \subsection{Conclusions} -Each centrality measure implemented in this work provides various information that is useful for identifying correction schemes based on a network science approach. The results from the centrality methods differ, and each network can determine which rankings should be preferred based on prior knowledge of the network and the overhead of implementing correction measures. In addition, transitive closure representations and dominant trees were derived from the original compliance graphs, and unique rankings were identified. Transitive closure rankings are useful for determining which nodes are most important when an adversarial action can be considered to have infinite time and resources to perform changes to the original system. Dominant tree rankings are useful for determining which nodes are most important from an information flow perspective, where adversarial actions must pass though a series of nodes to reach any other node in the network. By applying correction schemes to the bottlenecks of the network, it may be possible to eliminate branches of the dominant tree entirely, leading to a removal of nodes in the original compliance graph. +Each centrality measure implemented in this work provides various information that is useful for identifying correction schemes based on a network science approach. The results from the centrality methods differ, and each network can determine which rankings should be preferred based on prior knowledge of the network and the overhead of implementing correction measures. In addition, transitive closures and dominant trees were derived from the original compliance graphs, and unique rankings were identified. Transitive closure rankings are useful for determining which nodes are most important when an adversarial action can be considered to have infinite time and resources to perform changes to the original system. Dominant tree rankings are useful for determining which nodes are most important from an information flow perspective, where adversarial actions must pass though a series of nodes to reach any other node in the network. By applying correction schemes to the bottlenecks of the network, it may be possible to eliminate branches of the dominant tree entirely, leading to a removal of nodes in the original compliance graph. \subsection{Future Work} Based on the results of this work, there is ample room to continue investigation of centrality methods for compliance graphs. With three compliance graphs generated for three different networks along with various node importance rankings, it would be useful to artificially implement correction schemes based on the rankings to see their effects on the compliance graph. Likewise, using a user-defined data matrix in centrality methods like PageRank, further research could examine how node importance varies based on user-defined metrics. Edge weights could also be assigned to the original compliance graphs to represent the probability that a given change in the network could occur. Edge weights would be reflected in the adjacency matrices of the graphs, and centrality methods could be reexamined to determine node importance when state transition probabilities are given. Transitive closures and dominant trees derived from the compliance graphs present a new approach for examining compliance graphs. Further research can be conducted to determine the effects of correction schemes when employed on nodes ranked highly in their respective centrality measures in these formats.