From fd7e9daf97d8f1066984786244114e622ab4aeaa Mon Sep 17 00:00:00 2001 From: noah Date: Tue, 11 Oct 2022 17:07:20 -0500 Subject: [PATCH] Incorporating Dr. Hawrylak's changes --- Schrick-Noah_AG-CG-SyncFire.aux | 27 +++-- Schrick-Noah_AG-CG-SyncFire.log | 177 +++++++++++++++++--------------- Schrick-Noah_AG-CG-SyncFire.pdf | Bin 909764 -> 909151 bytes Schrick-Noah_AG-CG-SyncFire.tex | 87 +++++++++------- texput.log | 21 ++++ 5 files changed, 176 insertions(+), 136 deletions(-) create mode 100644 texput.log diff --git a/Schrick-Noah_AG-CG-SyncFire.aux b/Schrick-Noah_AG-CG-SyncFire.aux index 38df682..6c3acfa 100644 --- a/Schrick-Noah_AG-CG-SyncFire.aux +++ b/Schrick-Noah_AG-CG-SyncFire.aux @@ -21,14 +21,11 @@ \citation{phillips_graph-based_1998} \citation{schneier_modeling_1999} \citation{ou_scalable_2006} -\citation{CPSIOT} -\citation{ming_jo} +\citation{CPSIOT,ming_jo} \citation{10.1145/3105760} \citation{8290918} \citation{centrality_based} -\citation{j_hale_compliance_nodate} -\citation{baloyi_guidelines_2019} -\citation{allman_complying_2006} +\citation{j_hale_compliance_nodate,baloyi_guidelines_2019,allman_complying_2006} \citation{sheyner_automated_2002} \citation{ou_scalable_2006} \citation{zhang_boosting_2017} @@ -51,14 +48,14 @@ \newlabel{fig:non-sync_ex}{{1}{2}{A network without Synchronous Firing generating infeasible states}{figure.1}{}} \citation{cook_rage_2018} \citation{louthan_hybrid_2011} +\citation{nichols_2018} +\citation{cook_rage_2018} \@writefile{toc}{\contentsline {section}{\numberline {IV}Implementing Synchronous Firing}{3}{section.4}\protected@file@percent } \newlabel{sec:implementing}{{IV}{3}{Implementing Synchronous Firing}{section.4}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-A}}GNU Bison and Flex}{3}{subsection.4.1}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Inclusion of Synchronous Firing into GNU Bison, GNU Flex, and the overall program}}{3}{figure.2}\protected@file@percent } \newlabel{fig:bison-flex}{{2}{3}{Inclusion of Synchronous Firing into GNU Bison, GNU Flex, and the overall program}{figure.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-B}}PostgreSQL}{3}{subsection.4.2}\protected@file@percent } -\citation{nichols_2018} -\citation{cook_rage_2018} \citation{cook_rage_2018} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-C}}Compound Operators}{4}{subsection.4.3}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-D}}Graph Generation}{4}{subsection.4.4}\protected@file@percent } @@ -78,16 +75,16 @@ \@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {V-B}2}Results for a Grouped Environment}{6}{subsubsection.5.2.2}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Speedup (Amdahl's) Obtained When Using Synchronous Firing}}{6}{figure.6}\protected@file@percent } \newlabel{fig:Sync-Spd}{{6}{6}{Speedup (Amdahl's) Obtained When Using Synchronous Firing}{figure.6}{}} -\@writefile{lot}{\contentsline {table}{\numberline {I}{\ignorespaces Tabled Results for the Non-Synchronous Firing Testing}}{6}{table.1}\protected@file@percent } -\newlabel{table:NS-Table}{{I}{6}{Tabled Results for the Non-Synchronous Firing Testing}{table.1}{}} -\@writefile{lot}{\contentsline {table}{\numberline {II}{\ignorespaces Tabled Results for the Synchronous Firing Testing}}{7}{table.2}\protected@file@percent } -\newlabel{table:S-Table}{{II}{7}{Tabled Results for the Synchronous Firing Testing}{table.2}{}} -\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces Tabled Results for the Comprehensive Services without Synchronous Firing}}{7}{table.3}\protected@file@percent } -\newlabel{table:Non-Sync-Comp-Table}{{III}{7}{Tabled Results for the Comprehensive Services without Synchronous Firing}{table.3}{}} +\@writefile{lot}{\contentsline {table}{\numberline {I}{\ignorespaces Results for the Non-Synchronous Firing Testing}}{6}{table.1}\protected@file@percent } +\newlabel{table:NS-Table}{{I}{6}{Results for the Theoretical Environment}{table.1}{}} +\@writefile{lot}{\contentsline {table}{\numberline {II}{\ignorespaces Results for the Synchronous Firing Testing}}{7}{table.2}\protected@file@percent } +\newlabel{table:S-Table}{{II}{7}{Results for the Theoretical Environment}{table.2}{}} +\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces Results for the Comprehensive Services without Synchronous Firing}}{7}{table.3}\protected@file@percent } +\newlabel{table:Non-Sync-Comp-Table}{{III}{7}{Results for a Grouped Environment}{table.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {VI}Future Works}{7}{section.6}\protected@file@percent } \newlabel{sec:fw}{{VI}{7}{Future Works}{section.6}{}} -\@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Tabled Results for the Comprehensive Services with Synchronous Firing}}{7}{table.4}\protected@file@percent } -\newlabel{table:Sync-Comp-Table}{{IV}{7}{Tabled Results for the Comprehensive Services with Synchronous Firing}{table.4}{}} +\@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Results for the Comprehensive Services with Synchronous Firing}}{7}{table.4}\protected@file@percent } +\newlabel{table:Sync-Comp-Table}{{IV}{7}{Results for a Grouped Environment}{table.4}{}} \@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Synchronous Firing on Runtime}}{7}{figure.7}\protected@file@percent } \newlabel{fig:Comp-Sync-RT}{{7}{7}{Synchronous Firing on Runtime}{figure.7}{}} \@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing with Comprehensive Services on State Space}}{7}{figure.8}\protected@file@percent } diff --git a/Schrick-Noah_AG-CG-SyncFire.log b/Schrick-Noah_AG-CG-SyncFire.log index eb982ac..347a766 100644 --- a/Schrick-Noah_AG-CG-SyncFire.log +++ b/Schrick-Noah_AG-CG-SyncFire.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.4.29) 11 OCT 2022 11:57 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.4.29) 11 OCT 2022 16:51 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -261,6 +261,8 @@ Package: float 2001/11/08 v1.3d Float enhancements (AL) \@float@everytoks=\toks26 \@floatcapt=\box55 ) +\@float@every@table=\toks27 + (/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2021/10/31 v2.13 LaTeX color extensions (UK) @@ -409,7 +411,7 @@ Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 ) \Hy@SectionHShift=\skip55 ) -Package hyperref Info: Option `colorlinks' set `true' on input line 26. +Package hyperref Info: Option `colorlinks' set `true' on input line 30. (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2022-04-14 L3 backend support: PDF output (pdfTeX) @@ -419,24 +421,24 @@ File: l3backend-pdftex.def 2022-04-14 L3 backend support: PDF output (pdfTeX) (./Schrick-Noah_AG-CG-SyncFire.aux) \openout1 = `Schrick-Noah_AG-CG-SyncFire.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. -LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 28. -LaTeX Font Info: ... okay on input line 28. +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. -- Lines per column: 56 (exact). (/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii @@ -446,12 +448,12 @@ LaTeX Font Info: ... okay on input line 28. \scratchbox=\box57 \nofMPsegments=\count297 \nofMParguments=\count298 -\everyMPshowfont=\toks27 +\everyMPshowfont=\toks28 \MPscratchCnt=\count299 \MPscratchDim=\dimen179 \MPnumerator=\count300 \makeMPintoPDFobject=\count301 -\everyMPtoPDFconversion=\toks28 +\everyMPtoPDFconversion=\toks29 ) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 @@ -461,7 +463,7 @@ Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) -Package hyperref Info: Link coloring ON on input line 28. +Package hyperref Info: Link coloring ON on input line 32. (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2021-04-02 v2.47 Cross-referencing by name of section @@ -474,26 +476,26 @@ Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) ) \c@section@level=\count302 ) -LaTeX Info: Redefining \ref on input line 28. -LaTeX Info: Redefining \pageref on input line 28. -LaTeX Info: Redefining \nameref on input line 28. +LaTeX Info: Redefining \ref on input line 32. +LaTeX Info: Redefining \pageref on input line 32. +LaTeX Info: Redefining \nameref on input line 32. (./Schrick-Noah_AG-CG-SyncFire.out) (./Schrick-Noah_AG-CG-SyncFire.out) \@outlinefile=\write3 \openout3 = `Schrick-Noah_AG-CG-SyncFire.out'. -Underfull \hbox (badness 10000) in paragraph at lines 59--61 +Underfull \hbox (badness 10000) in paragraph at lines 63--65 []\OT1/ptm/b/it/9 Index Terms\OT1/ptm/b/n/9 ---Attack Graph; Compliance Graph; [] -Underfull \hbox (badness 10000) in paragraph at lines 59--61 +Underfull \hbox (badness 10000) in paragraph at lines 63--65 \OT1/ptm/b/n/9 Synchronous Firing; High-Performance Computing; [] -Underfull \hbox (badness 2261) in paragraph at lines 73--77 +Underfull \hbox (badness 2261) in paragraph at lines 77--81 \OT1/ptm/m/n/10 Similar difficulties arise in related fields, where social [] @@ -501,170 +503,179 @@ Underfull \hbox (badness 2261) in paragraph at lines 73--77 ] -LaTeX Font Info: Trying to load font information for U+msa on input line 79. +LaTeX Font Info: Trying to load font information for U+msa on input line 83. (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) -LaTeX Font Info: Trying to load font information for U+msb on input line 79. +LaTeX Font Info: Trying to load font information for U+msb on input line 83. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) -Underfull \hbox (badness 2662) in paragraph at lines 81--86 +Underfull \hbox (badness 2662) in paragraph at lines 85--90 \OT1/ptm/m/n/10 functionality discussed by the author is similar: firing [] -Underfull \hbox (badness 2088) in paragraph at lines 81--86 +Underfull \hbox (badness 2088) in paragraph at lines 85--90 \OT1/ptm/m/n/10 an exploit should be performed on all possible assets [] -Underfull \hbox (badness 1394) in paragraph at lines 81--86 +Underfull \hbox (badness 1394) in paragraph at lines 85--90 \OT1/ptm/m/n/10 and group features, and grouped exploits could not be [] -<./images/non-sync_ex.drawio.png, id=114, 1014.79124pt x 400.49625pt> +<./images/non-sync_ex.drawio.png, id=112, 1014.79124pt x 400.49625pt> File: ./images/non-sync_ex.drawio.png Graphic file (type png) -Package pdftex.def Info: ./images/non-sync_ex.drawio.png used on input line 96 -. +Package pdftex.def Info: ./images/non-sync_ex.drawio.png used on input line 10 +0. (pdftex.def) Requested size: 252.0pt x 99.4516pt. [2 <./images/non-sync_ex.drawio.png>] LaTeX Font Info: Trying to load font information for OT1+pcr on input line 1 -12. +16. (/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) -Underfull \hbox (badness 10000) in paragraph at lines 114--118 +Underfull \hbox (badness 10000) in paragraph at lines 118--122 [] -Underfull \hbox (badness 10000) in paragraph at lines 119--123 +Underfull \hbox (badness 10000) in paragraph at lines 123--127 [] -Underfull \hbox (badness 10000) in paragraph at lines 124--130 +Underfull \hbox (badness 10000) in paragraph at lines 128--134 [] -<./images/vert_Bison-Flex.drawio.png, id=136, 551.05875pt x 710.655pt> +<./images/vert_Bison-Flex.drawio.png, id=133, 551.05875pt x 710.655pt> File: ./images/vert_Bison-Flex.drawio.png Graphic file (type png) Package pdftex.def Info: ./images/vert_Bison-Flex.drawio.png used on input lin -e 132. +e 136. (pdftex.def) Requested size: 252.0pt x 324.98593pt. -[3 <./images/vert_Bison-Flex.drawio.png>] -Underfull \hbox (badness 2205) in paragraph at lines 144--147 + +Underfull \hbox (badness 2205) in paragraph at lines 148--151 []\OT1/ptm/m/n/10 Many of the graphs previously generated by RAGE [] -Underfull \hbox (badness 2351) in paragraph at lines 144--147 +Underfull \hbox (badness 2351) in paragraph at lines 148--151 \OML/cmm/m/it/10 true=false\OT1/cmr/m/n/10 "$\OT1/ptm/m/n/10 , $\OT1/cmr/m/n/10 \\OML/cmm/m/it/10 root \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 true=false\OT1/cmr/m /n/10 "$\OT1/ptm/m/n/10 , or other general [] - -Underfull \hbox (badness 1895) in paragraph at lines 154--155 +[3 <./images/vert_Bison-Flex.drawio.png>] +Underfull \hbox (badness 1895) in paragraph at lines 158--159 []\OT1/ptm/m/n/10 Other changes involved updating classes (namely the [] -<./images/Sync-Fire.png, id=149, 489.83pt x 1053.9375pt> +<./images/Sync-Fire.png, id=146, 489.83pt x 1053.9375pt> File: ./images/Sync-Fire.png Graphic file (type png) -Package pdftex.def Info: ./images/Sync-Fire.png used on input line 161. +Package pdftex.def Info: ./images/Sync-Fire.png used on input line 165. (pdftex.def) Requested size: 244.9144pt x 526.96747pt. -Underfull \hbox (badness 7451) in paragraph at lines 179--180 +Underfull \hbox (badness 7451) in paragraph at lines 186--187 \OT1/ptm/m/n/10 All nodes are connected with a 10Gbps Infiniband [] [4] [5 <./images/Sync-Fire.png>] -<./images/Sync-Runtime-Bar.png, id=176, 602.25pt x 238.491pt> +<./images/Sync-Runtime-Bar.png, id=173, 602.25pt x 238.491pt> File: ./images/Sync-Runtime-Bar.png Graphic file (type png) -Package pdftex.def Info: ./images/Sync-Runtime-Bar.png used on input line 215. +Package pdftex.def Info: ./images/Sync-Runtime-Bar.png used on input line 222. (pdftex.def) Requested size: 252.0pt x 99.7907pt. -<./images/Sync-Runtime.png, id=177, 549.69pt x 236.301pt> +<./images/Sync-Runtime.png, id=174, 549.69pt x 236.301pt> File: ./images/Sync-Runtime.png Graphic file (type png) -Package pdftex.def Info: ./images/Sync-Runtime.png used on input line 216. +Package pdftex.def Info: ./images/Sync-Runtime.png used on input line 223. (pdftex.def) Requested size: 252.0pt x 108.32838pt. -<./images/Sync-StateSpace-Bar.png, id=178, 608.163pt x 223.38pt> +<./images/Sync-StateSpace-Bar.png, id=175, 608.163pt x 223.38pt> File: ./images/Sync-StateSpace-Bar.png Graphic file (type png) Package pdftex.def Info: ./images/Sync-StateSpace-Bar.png used on input line 2 -23. +30. (pdftex.def) Requested size: 252.0pt x 92.5578pt. -<./images/Sync-StateSpace.png, id=179, 557.574pt x 229.512pt> +<./images/Sync-StateSpace.png, id=176, 557.574pt x 229.512pt> File: ./images/Sync-StateSpace.png Graphic file (type png) -Package pdftex.def Info: ./images/Sync-StateSpace.png used on input line 224. +Package pdftex.def Info: ./images/Sync-StateSpace.png used on input line 231. (pdftex.def) Requested size: 252.0pt x 103.7312pt. -<./images/Sync_Speedup.png, id=180, 533.265pt x 236.301pt> +<./images/Sync_Speedup.png, id=177, 533.265pt x 236.301pt> File: ./images/Sync_Speedup.png Graphic file (type png) -Package pdftex.def Info: ./images/Sync_Speedup.png used on input line 231. +Package pdftex.def Info: ./images/Sync_Speedup.png used on input line 238. (pdftex.def) Requested size: 252.0pt x 111.66722pt. -Underfull \hbox (badness 2245) in paragraph at lines 283--284 +Overfull \hbox (8.37878pt too wide) in paragraph at lines 247--265 + [][]\OT1/ptm/m/n/10 `' + [] + + +Underfull \hbox (badness 2245) in paragraph at lines 292--293 \OT1/ptm/m/n/10 and resulting graphs presented in Section [][][]1[][] depict [] -Underfull \hbox (badness 2173) in paragraph at lines 289--290 +Underfull \hbox (badness 2173) in paragraph at lines 298--299 \OT1/ptm/m/n/10 in state space and an improvement in runtime. When [] [6 <./images/Sync-Runtime-Bar.png> <./images/Sync-Runtime.png> <./images/Sync-S tateSpace-Bar.png> <./images/Sync-StateSpace.png> <./images/Sync_Speedup.png>] -<./images/Comp-Sync-Runtime-Bar.png, id=196, 602.25pt x 238.491pt> +Overfull \hbox (2.73875pt too wide) in paragraph at lines 328--347 + [][] + [] + +<./images/Comp-Sync-Runtime-Bar.png, id=195, 602.25pt x 238.491pt> File: ./images/Comp-Sync-Runtime-Bar.png Graphic file (type png) Package pdftex.def Info: ./images/Comp-Sync-Runtime-Bar.png used on input line - 340. + 351. (pdftex.def) Requested size: 252.0pt x 99.7907pt. -<./images/Comp-Sync-Runtime.png, id=197, 549.69pt x 236.301pt> +<./images/Comp-Sync-Runtime.png, id=196, 549.69pt x 236.301pt> File: ./images/Comp-Sync-Runtime.png Graphic file (type png) -Package pdftex.def Info: ./images/Comp-Sync-Runtime.png used on input line 341 +Package pdftex.def Info: ./images/Comp-Sync-Runtime.png used on input line 352 . (pdftex.def) Requested size: 252.0pt x 108.32838pt. -<./images/Comp-Sync-StateSpace-Bar.png, id=198, 600.717pt x 230.607pt> +<./images/Comp-Sync-StateSpace-Bar.png, id=197, 600.717pt x 230.607pt> File: ./images/Comp-Sync-StateSpace-Bar.png Graphic file (type png) Package pdftex.def Info: ./images/Comp-Sync-StateSpace-Bar.png used on input l -ine 348. +ine 359. (pdftex.def) Requested size: 252.0pt x 96.73814pt. -<./images/Comp-Sync-StateSpace.png, id=199, 532.17pt x 236.739pt> +<./images/Comp-Sync-StateSpace.png, id=198, 532.17pt x 236.739pt> File: ./images/Comp-Sync-StateSpace.png Graphic file (type png) Package pdftex.def Info: ./images/Comp-Sync-StateSpace.png used on input line -349. +360. (pdftex.def) Requested size: 252.0pt x 112.1054pt. -<./images/Comp-Sync_Speedup.png, id=200, 533.265pt x 236.301pt> +<./images/Comp-Sync_Speedup.png, id=199, 533.265pt x 236.301pt> File: ./images/Comp-Sync_Speedup.png Graphic file (type png) -Package pdftex.def Info: ./images/Comp-Sync_Speedup.png used on input line 356 +Package pdftex.def Info: ./images/Comp-Sync_Speedup.png used on input line 367 . (pdftex.def) Requested size: 252.0pt x 111.66722pt. -Underfull \hbox (badness 2277) in paragraph at lines 364--365 +Underfull \hbox (badness 2277) in paragraph at lines 375--376 \OT1/ptm/m/n/10 reduction due to the increased number of unattainable [] [7 <./images/Comp-Sync-Runtime-Bar.png> <./images/Comp-Sync-Runtime.png> <./ima ges/Comp-Sync-StateSpace-Bar.png> <./images/Comp-Sync-StateSpace.png>] -Underfull \hbox (badness 10000) in paragraph at lines 368--369 +Underfull \hbox (badness 10000) in paragraph at lines 379--380 []\OT1/ptm/m/n/10 Introducing service heuristics could improve the [] @@ -703,11 +714,11 @@ nged. (rerunfilecheck) Checksum: E85A8F1655CAD9A16113AB5056440CB9;2460. ) Here is how much of TeX's memory you used: - 12190 strings out of 478238 - 194376 string characters out of 5850456 - 522026 words of memory out of 5000000 - 30190 multiletter control sequences out of 15000+600000 - 507907 words of font info for 102 fonts, out of 8000000 for 9000 + 12171 strings out of 478238 + 194196 string characters out of 5850456 + 520953 words of memory out of 5000000 + 30179 multiletter control sequences out of 15000+600000 + 503083 words of font info for 88 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 60i,14n,63p,1233b,387s stack positions out of 5000i,500n,10000p,200000b,80000s {/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc} -Output written on Schrick-Noah_AG-CG-SyncFire.pdf (8 pages, 909764 bytes). +Output written on Schrick-Noah_AG-CG-SyncFire.pdf (8 pages, 909151 bytes). PDF statistics: - 282 PDF objects out of 1000 (max. 8388607) - 223 compressed objects within 3 object streams + 280 PDF objects out of 1000 (max. 8388607) + 221 compressed objects within 3 object streams 56 named destinations out of 1000 (max. 500000) 194 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/Schrick-Noah_AG-CG-SyncFire.pdf b/Schrick-Noah_AG-CG-SyncFire.pdf index 56fa1e127c0a414e99e94f2ff8a0a10f269f8718..0f3dcf68b4a5779070bc86be5686e2a4bcb4959a 100644 GIT binary patch delta 55107 zcmZshLv$_-upndGwr$(CZCf|~V%xTD+qRwD*miQ~pEu|2X4$>!MQ^H3jSO?{_i-YV zD~Uq>M#%D)&F5(>2{(0$Gw(^!VhgXP0O-wl|I*|S=CH~~AR`q-oLbALVLEN?XItfQl%|q?1q^O~|4VFlt74*Z zh@79vp}KDy2Upy4`k1S*Mx7KD&YnOy)I|COmNv?!=;PfQPdC1<-mS=1zA>;>`Hll$er5!UgRKN>obz1|sHz`6psJ zL6@q=?4FE12XD&rH}fHqX!9bPD3%Gz$+LU(dJL@|bnjqVRkztN1mpW&P-G&IJP4(! zUU_UQO2?ahHv2*>#|04-A^<@+hg)MeV*sgJ&zob-N*mc(-A45ep0hbbEFb`~Pb{9V zeHU8fdh}O8qKR(Y}glnNTj_b4aP|8 z?9kw~DvppRfr3S!D&k*1tquSb`asC0i5VOhvVC4kiU&A;31U|xXWLEL;fqI!us5@e zJr(Js6PFGY5Crh!2F%PVf2?s{EMZ5PQCw8IG@^sPwT)K8H5{w*zf9<7;on?^&ZhLDsA^+^LhYGS8FDUaupai z9M!_;<|nj4E15|%#es0XLbX3+sv40+%(=Z0M~)0SLtm{FB_gUU&cV)Jedps&fQf$T z5GLzxh!R+6qe;i4>n;A1?rG#$AmMjh$ z1oXA-CcjUd_N0$N$)HIeq({U3kwmIVytkj_fb_}AYP5mRC5Qs#NhE9y$t+Vn{#G~B zD~1_tBb@5Jpw}aU*-vzi37_YpT)CB${6^ua&4~492qU?lmDzMF11@vtPWd-YbTRplrUa#XXS+jflRi}FEme;sE!%yMvL-$M(5OKjLRTXN9W`OqoU4{CI zb9HO3uNYZEl`sSF&Y>2O8>^OJj1I)o7Q7C{aIhSMBQLPYa3&ILf+E8?$IWi#4%+-B z!#=xEckOU5#tJf82W#NK+G#RAxu{J8YFt4v94J<0ousl#5F1#Zxc`4^=&k)yf0x@kCI;p~?peIMKfPH--Ow z#dO+!#>vYy1E)wk$h^4Y{QRATe_Z9oyl%*-!M zkyZ{M2$Y{uIxmA{l+B-iD%fFsA{r@RDitGj$@$Lgf#gyY82Mtwr+EAw$sojfq8-l1 zV9UqG$jS$3wzbexOEMsDSo-Hs(!v$!vQhV%vP0dQz&U7=Hg(jMcaD{E}h-dwkYV^<21_JJQx5^ z7yvJR#{NKJ2g&$!R)i==?r7#byZWLJw@e5@T(|?&Qft8vgn}z;lCU(`c=pd>j}&X? z*yOs48IC-{>3(W^;P@~f_LT*Z1|Qhu>gDN4rL5L_@u zeHZ&mG5cw`+QmCMx`!};WS)GKd)F1g^ZFvK-;wN-SXkUxHQ!A;)j)K#{JKlXfjyNzL$NsDz0N z7Hks2Wn3hZA=v0RqEzb1E?=BXbt=_9bplt4caEat{!`OwUT09rqus|dWv5|&*-Ze8 z&xrm-;^wraXYphXv~#P~3Msj5tpQ41Z^Kj$I#TP)pes4qiU9FlD+ngBybUnxvqWwG zSyW2Vn#L<$a*`W-={L;42ZePvXH>jRlZi?S+Gl%zo<{W(A%f9tcj6Gwm`^c%roZJW z*sOw*B`D^nqxjh2H%*E)a>LN%(QZt$u0W88&;}&2AkmVByh{ja^uszriMV5hS_NFE z>5E0KWHCAyj~ihYj%zQ&o&h*jYgJ0vMspjg5mo5`m7`NC3~y1(d7Y`yEC zl>SY|^zK@V%6j?swg;hXcUA8Th-qI#8b2l!80nt68iYm+t}vN)1%((Q*VPI$?Q3E- zp>ynvl0$l~P5O>rnc2n+^ps!XlCM%?OGqp49D?}kCx7pjd~B6))&qEWQLGG!xpu46 zLAEt-(m%u{dt(G%c50PtCcu4?YmOzz1x(_QkeT{I$-3#q4e?YuJi*+iokk{e3XoLesF#uaM+JkYxSL{O#bbfK95}64rfDE{ zx|SWP`!JE4h{caAl>lk$cso|r^#s(20HV9J= z*|}-SFiQzw3QxO2!W^ZU#&KoF3vZa`b)HIV4LDaSIxFj0HON(rskI8>4JvD@uVWCz znxpSym@Ep&rP<=rwR9|GK=M;=-EV!~3o6GYDJ^q3_93I~i7Tm{#Sk&(W~^RSf*yDZ zN^XhH0FIChEUv)c&-gsGc08?Z{Jod?zZM#lH06O#NGWN*#8eGJ_vKNR>DJC8ff&ev z8=?jj6tf@-=~Hb%(jLAN!AVgsP-zDBKGTSUwN>k@tF`w@QRF^?xQNd*CWpS4D|>}2VKc`Oq0vkukyexiWU{3TrWIAqAL;vJM6*)ScNN};c60~Wt&=16QhNbc8 zRRSM$WVLDEWgay!s_ZJ)y2hkCi2B*PqPXwJtI>~S`-ZT zaw}|)OTzH}E%ztwLI2G1L9QE?x8Y*Be<(Z^`Xh6eU7w@#6UTVXiKvHNy7V54y%jxn zaVptB%LSuGJ{?u$4mJP&s-i!`TVfCYLQ%E~;{0^3ie)302E>J);Rd#T z5->)0M!KpF6w8q8luIn%tQ?a-2i*Iey$fnG+{RD~|C=_A+eb)e3}QaH5>!JodvX*a zN`eXp#vDR||CmFj2#MR49Bt(tfh+!f83{G^lbkp;M8MMH`zV$VJimptwFvvp@|=O3 z19?k_IsvX;A4L`SN802V*BtIO9}X|x4SYC$V}|ddLCHi$(wlZg!^1HqPrwrOhA%8o z{NeNtLx?=GVK*av zn9z&UkhP-T)hhya;Zc$fuT!c+B>oaDSUp3JXQ#{ee0+-5oH!B)em_>T?5!y4myDi1 zcqMCsoo2I47j^9M5pew5iSy`kd)oEWNZD?a)V4PqJN3;0d+W@N4+8MF>aQd89)(*{ zmv?5~kn#U|z1@uq(&d*=CSPMb-ARS<6X@cPpq}fUSvWEWdGAw7t7VH|Sl^*E|J-%r zQs@lq_EIm=hZWnEoM(TqaNyHyzFxfi@*#vz`=?3Npr81*fZRi%xAfv?V?TWoay%Mm zSvZzkhrcYge+B~;^8?_umg4RIkz^Q)WiGlbd47@lhrKqmv^A%+)~)T?wqL-OWr z8B9=4!`2A*g%IjkN$So#ntidb!A+h9Sf6%o{v+bjrXqeDzSwD%?{DXcQRGN6=qJ2Y zY5uW$sD9c%dGMgrw`MnW;)gH1dy0y)}dC6Z5t+oKLC&x2oi4pC@aZ%-_nfF z{{85{_HiAs+T|QX^%_!Gis^86FuaAc-zETi`mpi|eD%o5)}Woos2OBaP}SyJuov8P zW#v%JjRh;Fi_E-5;pu+}UwA{jY3Y|s&e3N0nu5_8&xGp5lsLlZB>M31zIhvWJ`ayZ z(0--SGj97A^%vl#W-ys*6)1afgXN|$6`D3FBMahaEnQ*RKnbKzZm$#G8N6-H%RD!4 zw>8pb4I<`AmBuM&eub1CDHXk0#m1s8qPnJ>n#OVhs^6~#xB!Af-!Ej9tzoH}<_a8< zS+1CI)j>r3bo-y{evBmj{Fy1VAtA3mD7AngbfEeU5|ka%d{YILD;C0VXOtSK z6h5NaCr-eUp7)Z={4iR|&Ql{X17k#et}l(03=cSH&&}Ix=0*gjKHVFrNxMFIa*VA{ z(Wo?|_TYMa86uONC2mojv~&!-3c;4;Ojvi@xL07ufT&zS&a3=7U#mWE|K4J53>YlT z;+f$to-e$ci3SC=8C~SMs}nYnxj|Ax(Ul;gpASH?_XU*K`eQ~VO_&_XIet|6*u0A$ zZb_^dd{Ng4Ug?P_gA#`|{uwnC;~r>M6SIcAk}IC%I&@vmzAhBGi|LCa8DX1HSCJpj zBj^-2Zjp`f=67Mv1oJ+j0gU)Jym~fgG#EyGF?gN<~d2*P$1tu28k-o76*Dl!*XKEz>_NY zVBjarZ!8U$Dd8Vg_v?s&7t*hEuG| zO~*xfX=!=%@KrUNR1j67!;`gScI*S@;&>ooDDQx(hPf4KDI$T8a*)Bho>9J*FS!`p78s7CYBay6hy?U1`Ws^$IMO zNk%E}Cc?Ejiop9~%7D8a(X8bWT^xSM0l~mQhhVcn-tnS_*U}NgE*QY1ZA~4G55aat z80KrE%D6uGpzyWKyUj;05LMZ{{lw%>lZ9eWDSONZM<#0sJ}8neQ(CFEQB$WcRSH2L zbhepyUYsyQVvdTwSxJLxlq0n-J&Y>XH%({XoHY(6vq5aGs*Jy}S_3F^Fbh>wmU4Vp zI}l(Zlv4t^mXlNA!32n-a|NhRqpg=4IJsSvwVMhJxV3|*y(eXdRX}nmFia?3A81a# zmg44VwWLb(ba0<%unfBkjE@FVF z!VCpdW&2F5LY4O16}~?@#2}B{2I^d$hVWP_(qB@~0J>tWHv+tRtD?S;2Kc}@Z1Bo7 zBxS^I&ZZ3I&C(?(#5pKV1!^jzxe>JZ9f(SgS|RY5k^QhHNuhqp2TbE)qVD1vUB16EB84klEpprV5455`3G6b>wxtn_!sMt~%##{O7>;c(N zBrzFRqg$ihr-8C1Te;t*JO%TGGmlfM7F;!!H}uY~Hm_&zbXjpkk*`WmQpbMiJ4|6x zjgE69p@1coIG|FyKjjm}xh=bXbo8kCc2-A>AP2tT>NV$Bx#9u&+*#_{$19GzzDGG7 zBRe4lPpJ@d=Yvfo);?~*T^3p3UA^Gv7_S9t9u^Yzt}c@6yufV7cnw>27~GI#v`j;O zo1xki;XMNl!I&IZ5Ek|Yo4N&k`+ZC4pZZ#q(EtpoTyqfjt~q$gR6P&_mO=gH<`yCm1Fu>Y(fQcbDg?h^3o+vbGH<@;5` z)vMLctOI{)p-FvorGWjVCyPexhnizgtWl-bI@H*iVBJ7qrRbqahEKLA7BJnQB^Lx*=S9hO!^UP# z_BkX%lv7y)P~6Iga^OS!!wwN>x9ZY-v?HnXU(t(q`xkU0+p^Vh!+h*?*Id)$dIW-O z=OtwVenrr&H$RmK4a8I|l6ULhhh!UYH7Z6E-K78}bU??lefInUAo_DBj@$Kt9%2zxkU~x;ulj?j z?3xZ4oV5o&7-&eHtyUvapmXuM&pKCJE#p=uQ0y#|`=w@iW3I8+G4io7N2w@u41Q%D z6du%_lD+sbH!tHQXBb(bH>Uyty!dA5<56XDPJuqf7>Mh_;G=8yrby%e>9GxDqT6_* zlfWeamN8Ue4>;@kx8Wr3*Vf6g!x@$PNqCSHqWfJLx#SB7iz*4(*b6?;g+I$)>2Bg6 zu`F-{KU*R1j}251LM;eTNgtp^hyS7AJeZ-~afp~b zf-HVPIq=HVERoHU9fOlZ2nXwq3#V{YPJ>ZC4}>gy)|wNICRe%p^7H@s+U3fn?A=cS z)Q?adS}0d<=)}~&XQMU@CHTWSoNOay4W{eCsW&-qx6e~3lYS4O!ugYdN9Na3z?Y`v zVcE*tY4s_QL>z^T0;P2J0fy;an9k>?vKVY3^A@dtY39XT`{0P{Z#tH))IOS&m>=CQ zDNYe!h1_`fN1{ceK1Lsmsrtd9q(xc6MPonxJLRd5YObI<$h@Eiw~mAoMsY#WX{F z96x^Bs2k0jXqS$1n@&lWYQP^B70?naI$H*9OeJBGT-C{>7`ooov@09f2_a{T=88ct;ASb?0BjVg3L`)4> zsIU5H@?&M&dw3w)jxH@Tl^cHcI@r_K#@uW7GjYcIf&1kK+u+dwbf+*f!O7%!B22)O zK*CaEQG(ap_6r)UBI$KzS38PV8HD*Q$-S4iIGeSO++q&>>9QH`=5mRvRC3pGvtJ)r z@Lu)3vBAt*0Y1&s<2O9}qzFh-2jd&oS{|HUrn3Y;QL;Thbp?I7af{$M5tM%&B%&7m zJRalnW{4@?c0E+ZBTAspQlsoh(guJTWkqt`H1Fp9w)!r3L`W*xRVs|VA8kF&=32LE zGK+kcjf^%8Z2yWp;1Z5oqzAQoghA?kM{7N7zq?q-CVtX1>BJpvWNl+%SCw{^EKX;| zg_|%X!lE^Qp&(Pt=&J$tOgD|<^{=QiQ}PXLr(!%I3doUs(uz`CZExllK)5C)mv)dS-6SoC zJz6R-Mx>2DDS<*Woe?bbJv0ok0Rx*LbKqC+>yIl)Y+R3&0T#xNf@T@|JDyZTJZPxS>KI% znROJ>>n$6h8wPD@qW`TX&WcST{PWs;RyJ7U^=AR@-mf_V3x)P?v5y-nlG zwgeJzA^rCM!$GSOEz%)>Famm~u9566ue}fn#!J048w=#mNeI&|GO1rk&n?5$|LcT+ zS<;>BftivuNX3EKnsZ1k!hzZTcf*xlw*n5|>{-1HjK#`L#6;w1Vgtj+2g4|5?qKO= zMa0U=#QgtEQYntD;||B8kN+r1zS)2Vnesddd_s%ITsWI_vi&WBJ@Q0%iza4m3wmkS zTz$Wnay&aGyc1Ic4np{`6Bi=_e$B1M;N?rQP+$F;VxGSFVAXvzn~dhwwt5aIRy|AU zcY#)Id$r+zjl#{Qc#gQi{t@RhLasnG%H4c3(}UYGK=w?5)u|kJH`Q;IW5>bK3k?a2 znAvaB_OGkyEU4&R9sQN_#N8DDBpTEB98-EKW&ws~mhWl7&O?8@C0JPO@&^MZ_kN`-yyP4P>a@c@FMd_ta6f1*_W( zHb-_Ep#KkkLj|vc-PVusxwY~}ziFqut#?AIjLBW`9+ImNJHgSV=4IFK@z9>8`>bet z>LwgSX(CyZ@yJ|>a(g&`G#JnQ%Ki48R1i?4*1SGl8hnKm80DWJ;p@+5ENmFSMr~qv z|CHaVl>|~el-m}ZyJLrQ|MDz0JU-lHsx<8dpw05`pmB&*9;BWR@6u-2GWesgTf@@{4SHZ*N@gwjLmVT-ieLE{QWyeuIU|3L zVQIogvET84^O*tKf^XOnx}W0RJIsrJPGHj_>s=gab5oFKP4P$QB<(=3`NE&*o$&b! z08EDNbqDn?jp^?E4fFHoT!-t?G7m4`;!j3-W9ppnvmOe0Y!JUlzyiACx3ZG{TzsttZ z12Jardg@dG_m&uy$f&zEL3mi~r|#Mk@WhSQyohTLH+txwwCaQj3xdRsi)Q6bA3V^@=L=qs3c1I}-cDu0gO9-z0;*Cb5K_csuAESoiz>nB^uNxjVLM%+(*vaeH+}78H01%0=}DEV{RW zHpy&&e%`i`3c}qid90LPTtQ~eNtG`z6Tq@jQv~k0pBPgf@Qnb^7TP{QVOm03vF>2K zhFjz;H&(ef4xaN@Hm+JMt8*Tel6jL%Y)RGC+=e2)>KW-R&U6HoBKkz;(L(jCI|2?5 z>uF3eX+L^E?_dzn<~|w2Yjtb^nbu;uX4HGCkuBA zJ;;%kk^6@6L&2C9;~D#2Y+$S28(WjL2;DKAHlKCk3Q`r+R4jFARYB$fP>H}nWWnNR zsaVLx#%*a2ga$>*J$=vmPYP4xjLFNc;(&2Gn1>e$+n)|9C9b}$? z7ndDzEpQdp3xc_&Tevr3cYstca*rLpaGN4fSuLsaCiDe7&5_b7Kd1J$)Zq6lRT~4M z34vVwTSF<-TpTJI&j>t#%n*VfodeN+J-$2UKuO*m!+XH!+#YBlCI?GzhTKP3i7#k7 z_m!zg><{Ky=3DUmKK0m1W~%4u+;~H<-d>Ii_BjwU1P>&v=|;B{2@K&o^J-s}GJR4+ zQ&Al~C+{tZD+4^|=OZi!^Ieezts#OPGA_F5vmKW=C?xGciEt+1&8=K1%6FJ58p6jUZ@(-UyPD1>xQoH&*TMzDt093KA>rfJPt=i^HuQ*MvNYb-Q84P~E zcw*Pp)*+D4j9=WS@2&Q>GJNjGkF>WXi!5@eZ<50Vrb#p$SRZFrzl*yptaLWA$jco! zq0IQX2A(uDQiTG5-EgU(RbUEjWQ<5c{SS)B`xw%UWm1C$t7GKvpbN9uy@`mu-M4N= zP#TbW)*XhWWB+{JqZ>vIk>(sz`207W^31jCtZX09RU8q5|J&}{!5pxsg5{W#>g@|G zL_W$V^$qSR^@_5a7tIrYs&*B9g_yhUg#v|>L8?D&(g8QXQ&I~u=uKQd^B4SJ=uUsr zx#XK9MRDTq9k*~S=oM^G&U0M2q>XT}+AiMGHnU~dt z;rDKc9XJ+=ivN8L}b7No214!y^)DD;d~=c)=4!(34U$sb zvmOIDi`19(k-|#igvZQfW;_`aZKh`IG=Ak%xZSsQoL7B_r|V>URAXPVRTvI4rGwVy zfdoCNhsD?D$lM;bvO*;3iA>Dc?!Le!L5cVr0*?SE*~)X@uiz{0QWdTf-YY!ZroWMp zVifVVdC;Lie&POQ}XStW@>B01OPWCU|Q(dKjqdpjsodFP6 zxuYn~T62miCCP@Y6`QTyl-UJ|6IYD2CeEJXBq6TAhz-(cRwR-`EA}PM+d1o{H+9@7 zn8ImdSrR*CUamUMTtThTQsyIxhl(EH_83l|VTdeD&Ecz=d+BcvFEXt+8m6Xl)i+U$ zrghRsWYVXsHPb(eS!ywDm?(tzMqS7Rcs=ws5KXNc+eVo#6Rn5q!Zp#XvjvKNG&nJ! zF@O36b>=Eqy+cJR=Y$r0+#d&UQa$@SNvQbEHHn5ShvZI{atm2aH$nfn`68h6vmx+- z{d--4>9H2Q+4B0~>@A74jsUWM$%O~)UB>iA@_y=M+$XWioYZ`bw|(&Ctc(miqE1fC zFk|-u)u6U3IsoGlm?MpqO=X-&+!w=OK*CHffWk>EJ^=e6P&ZRGf%piBIrAY;-F!pF7a*>i|&TiRper*6?Dp8TH-Ci1wBDLEs;=Eqn{)#Ft&d zRqT)0}7mk;NZ>N~UQXsIegyeP|%&G46b7?!)1{3wD#7 z4>9Dl=@2iN4+DJ_p^-7VAd_V{tehggVo}kVBO|0ibUrL+{~)6t+AbQ8BJl|a;IbV@ z50_fFYg(j(4_^SVsSwX=5zuU=9-L}Z+h5lpxYn_&U&F9E`?qfliNtLIkttBzZBl`h z*;sCDLvcd|*C$Y_esmzVO71x>^qR`eE-vIJuvF-h6#VTjalF6%Hf~={b$xO5z9SEL z#2RbZFJ$UsiZf(-@-9E)U|9uwGG;!d#xC^4mbB958M=VrY01rycpGcu+sz3HaLp`` z=#K>CT+aleX@POh4^Mx+6$qa_-@=zh_FFP=^lbH8Rpvk6I>KeX#qQmFuT`S4rolNd zE7WV)x(>l(ujq|H@V3Zpy{nKl&YamW&2)HSRl)oTUhEJX`7oomBrj}xe<;=ye!dY6 z7`A_5%pH=^NRfb9(+@|WnUnXr#DH0wNxKo{{&(j5AB<`*hXkGl#$@~da1{H07$pn< zqXx9<$|i41B=ucsGM$bfBr^pJxsv!Mm`fLDK2%t)K1DS62_+k$+M*NyFVw!)@6UWU z1%TlGS2te4DyOEtOilek{}~+~GVJj?yn5U2#x(4g9u~hnklY^%o*viM7y8+ zR1%st+(l>k@bA_vvuSbg{(esT8-m;~V3hlXKUUH^4tajquI6+Hdw5b^HPL^%MEk$N z{MM&)CieS&Wvw@8U9|`woHQzQ7q+&mOEzaPrC5J#zp$x|n>YK`eDW7`H=WPZ9{`By zYtNOp7M8$Y48k{a5qlUI(q29yLcN+G06agux0%@|&KvyeX4ucAyVFw@=huo=B5|t$ zYcyM=sy*jQ)Nc1lZLWZdF8-H1ZBfl7fg`Zx$G3D>=ZeoL&M9@f6xrc(J?=jz9;2g5 z(j!87N&UAeAWoE-+Qap}1*3<09)Ka$k4FUEc>b#n35MtF%-ovc2~UcQrFKVa-pxlne^E=kcWPwS*Y#9ZSFuXV zra&V=M&dqntA^|Jb8mv!jbH&c#s=HZjFs_e>8Yv@0t;i5X!OIEgGa8#Z;~2rADs`C zhzKI9YE3ZNOOTi%*@sKkH$c!aq+F3DnmG!ub|2AGwmDehB7H)E3t_rP*W^Thb;Y$f z%s?jRqY_lU$2VmYFdviX)A#Z1pc>75&W70C+kLnktPSN1@( z8@a9AyWTFNz>Q2J^b@qJ{xlA~9K*TE?94`0+-%ulonu(3jdaz~(=M*va4@%4OF>sI zZtWx(__w9I^JK02+yYX74ir_XKU*7=Ml@vpm@%ndEEXm0e1(vchJydhJNR;y7F{Rg{2QqxAz!XZp31?yzzPI$*M%Y2+Jj~;-O zKP7>?f@GGS0LbT)8qOy&EJ!&oNPC%v0e$(Z61677f5XvJci3WkdF{C%HYB1wt^qr6 zEi!zO16iQfc;nOfm(}l0r?+OBND_Ao#!(maZm>lq7GrfonvZAk z^GKm}3w(&u8yzL>I1R%gM4nZubnrHcp_@IhSu+ayq5|S~x?U@;fm^=V{P6bZGcEC? z!o|X2jAMoS6MhI1Uf*%rfT9^{@O(r6DpaUNEw;~Cm@rq`#-imgUFTh~xu74d$4m}c zJzEFa4S?OHLZIK8&GYmaUc6*$z&|n`be)*`3zw$isXx54+e4J>9?Qb2V^Ej!5;jAy zZBgf*%}A6boBZyJXAXEyU3PdS0H?WrNvnd%j= zqiOQ7G~j^b6u~PTtx%*K*8Am9+R*1%?UVN)2iPel)gBA!%PbDs*jtI21HSvOYvA8u zf+IH4r_K^{MrIOu>APfhgQdbv>-nM$aWYbH zyOS4DswC_wG%NQ9A|~Z{tB^ww2TF_6Rm`n~I#xYPX)l5Go5&<-tct!91ysBBylEGf-b}s9dIC_gET4T~;cc0N_vCUm5;G>Lk(i{g|>}if;#qXjnPJqxv#_ zcARdeumHRZt86uCN6eYop&dpiN7eo4~riKg(w{? z4VBsqah2M2UsW@~MtFBCZu;UWUI32I8Il1%W3x0tTd@fNeJpVtAlKVvPC`G0tgK^TZ~+K1cV`jR&}3pNL;A1l=QvZ68c#JvJe+KDoKUp4$k_r}xgA!RPy zpZ$tz`y85q?n)&uvAAUNK?yWY5}gvD-ZW1Hn1yE#sTI#JF1g(g5 z)3-*)60EA5EqEF+D*||k(;}p3@_=d*^#OH)nK4Quibt;DQcB1qSS|?g_wpVLOR^gV++O;+kbqoZ*n#oH2B_R&SJ;{SNH1Gw^wqi&aIAw z;G|@Txs~jm?<#C;0IQ^PVbOdLQMf`4X+6Oeb$^mZKJoDH>t=(zg3wLcH|h3OmVng!H>>0@}LbMrfD?TZ73o>hC+& zM=Xvm#f~*@pSS<=+U3yN(3!q|T;0H!XKSCbuuR*zo5RBeskv5eYLkIiOpg#*t!BRL zD%6)xqMotBCLiW;xUEgxcMZ1FdX$fOuTNopsuxAc)c7m3ZV5tOTC~@r^ zu$fwAaM%8oMwu!!47d=L?D;l2LD13QpwXSh+PvJyhGBei8Cdg(MdB#s26iOlzDt?q z$b3MbkHUpyeIipd7-d$aP)d7xZg{j3!PVx5P*C^oo{0?I&Dd*Aw%L9kHgx9is z9|{Uh@z+i#atnf1y9|;6gk`f2SZDBKg{nInw(WZlaHdQwi*A`@zrzH%gRvtav7`>> z)CGSAT8FnImbSGFDx6NdER${dQt?#XjH-SzKv6(RPQ+#!9f8A0SV#B($2u2g*ivC# z!Up{{Z^?rS(<`G1$$po?Zw7nVTL_Caw*rx8mbXj3@WV)FIz<&;-!i3=j)xqiz2;i$B5CrwYuodgRTUjZgP%{oEVN6 zuq`3JV??hT0+Mg)EP?|aiM~_;?~=ulnsI6GTB-Cpbn2*qr1xmA;VR&c6EcUZWJ3k} z-nIEGL4g~#xI9BKSo(|yy5yBE5`&JCR|1A8KdejEdtSy0_lN?9FP3I}Wa>@zFZu)h zm#9!aE;@Uh_ubYSu2a-V`CRGtm8ro6uvzd2?v}sH^<@EFQa9)}>Cq{gp(50P5sKW> z+*?;=X8gC``wN>V09X!(LAD#bnA!(IMk*O6WRbW7ph;Zh zk7W)S(8a1sr?+wuDm3i~3jXZ?d5&&w7`GCG{0=9*iUo;knv`l`CXN+6GB?ANnF;Ik zQV{?v!f;{I(q1-vWNS^)ol8VkJc>~*3f``yM%1?{PzXgha}Gxfe$*7*O~i>}fUo+< zz8){lkalkYq79gRL*&Vw3U)~bd<8-XHM)2J^|Bn`?F#cI`i1-p!qXFqx}3t5K@Z$` zzYis-j(fw#J>hg1u<0z>WU`^7ji3~@=0Is_HhIFK+_iP``G-A7Oo>6PjH2xw_Q*EL z{1WNTkD9GO2K6CM8!!@sDzzfO=PLHFfbigK4!m=vFCDy+3qreQ zzQ(XB{^67KLo3x20+KERu&ZviN0~QY%^W?nx-Ghx-0%8L!g*X8Q8bxO#trUpFs8NY z#BlCJ_41ot1tou<5v>FoY_n@8J1Xe3XWWs^+Uch_yKxw?tN)@xmGy;g{X{0Jm0u$3 zazBYM!GaajqZ}Cp*RJ9V-BTgT)K+*5mwnl=$v*01MNqXRGp)e@kg0gr=}A<||G9X! z$Pj7e!;BIJ%iN8q##e6T>bCelY<*L7CSlWUY}?7iwr$(CZ6|MR+qN;WZF6EL6WciR z{Wv%0tkpN&RjZy}ebcq8cI|3U{x}Tj>GMY&jSkVAHoZ<1)0d1X;`O~N*t^G0zj+%{ znRp@muFw^ZdHe>QJi1I3D>oK&@v{cDf%Et!_A>yZzx^$ePBaSwLJ!pRRMxooT6ZmT z`~XOQejB~Wh(Lb_oG)ijaUD+3)KG#KUjCr_!wns=R8Nnkn-|lJxm-C=PLjNl@Q9el zVo9_iZ7>E6Y_Aok?lTrG6N#`tQ6+_CVjcryWFP;)X7Lvv(LUL~q^=-c=+vaBAorab z_0>Od?r!z^MWTei07#M*4!V@icY3{Fvf%7%E_^f3(`Q@&f%oBgr6(lRKPltyFS;); z$BkC`j|r&v+s!xC4o_5s`=OY`l-4YBAS-67suGmxn+Kihxf70*g7%a^P@iot

2H zMa1Xly%~TkorR88?!6V;nBgQT+hqazBPC|wqUaB8aiOq4m`_V-G-Km>JX0{a5C?Ax zGkw@-io08YL!4F*U!)r7ZmilHaVxgNp^2XpIk=Zd?2jH)k>44X?DhQVLHU4hG-3G< zkr9V|r;TUC$o^jryKBgSeGKT{NBjvtlKUH8d@uiFD~C_*9x2ghW0f;-ld}(KX&jsd zRR#D>^UK_NHTCyB`$Nz%+2=K6?p;e;ly;HCT`P2>b0T9R zsLes)ySAr0^MIt2XIqTV&*pZw$abSu3)BGOnU5o+}f{s)SB1dC)$Iaj3e zBY#e~ue61ak0s@;cJ_6EWZ3uIZDzUUn^j_zm`{sTVoi$}af+Gh&aNHlHZ|`|+tCEXafjoPdp*hzRuQxP zI{4DfZB4{m3)PP?AcD9F_K@uUjv@w~*7@r1_Pi3x zd^HsO<58f3u(PHM;sc|BuyXx3C89^`UoEd4xp%I9-ma25@+7;+;qcP)P_-(_^LO?T zH)KQz=`h*^QbFoOy@CKx)S_c+Q{Fn8TCn)xfOs(>q4vN*0~Ch9HaLeJ)K9QjyCjJK z)qz+Bx<3+m^u6m#J&!=C&?XYiA6rkM1cxxf3!nZSic_5}pHe}$->vGCiuib{wL%+{T z^-2G4>vlGYiD8AFv$(XB*vn9*+T4e=Ub@oNDS++Iqby<_88mF)xMJQHag+;T=uA*7 zp#^mGs~L7_-dQS`SCO0~Gr&-WnP>s7Johrw{$T{-OV0lmpt>kY4GKHWm={&GMu_276v+Fh;hk(bXgX=d+pDxf! zRE}3PFs1sLl}|3{TTv$hIfW2CUgQ>2VnNxsFg@N4n2Cf`S2m5QCO6r(pWds?gek_S zZ$C6pC=L>Za&9SU(9KN(sa>gkw^f+P86K=Zs%b*!;aa|)k3mmSk;BMT$c*9jXq&CE*<4y!MJ&E1-?JL7dTaMl2CnDcuTnvKya-F9;dHro z3WgFc0)QF`N5Elksh}RR$u#&eAp8>sfaH4Xl`xRvhQ*m5ycZbb(GhbPjYli(rW5HA zxh>4%cy0Gor@CtBVY!MNZL8H$Ab`y zlyr1<13oF1(mdt7llLqJ19qetS#DVI=I}?$@?LOsO9;-aG~xTEV__<%qu1$DdtZT8 zkAoZIJFzWQd2DUPmI&QkS%_~4NNV-BJO+v=mGQ<78GSZ7#eG+7wp=B{3DUEoVqyar zU^)1ZntPh*6#yMG$@hLK1+Y0}wNl3XgdrdSpI%paiqAis^h9c^HIQoXMPU)WaY924 zbl@~u{dAB8VEFX{Own+h(Bzq59hazrl1c=p{Prd6y92X#%(-(Qk9>1FFF`6R8e?^Z&YqfhKhM+e^l%-F?IRk)X%hwwR%sW#sQ<_MInOsoe zz?s8Qm2XtgM#6jXxrtB+nhD@|__WZ~cpH*Kyd1UGWZ;#u-{APkv(KS*vyg+5{zB!? za~3@0UYZzpSe@l^;u#?|xC6gI&1`GQuhB5uXUK5j9ZHStS5YxY1Q_;Zg@S&Z8ie9| ze=scw83O1=>e6;sZ}Eue*!P}ry7j-tjFb%*$W)R-<(F{CZ)GD86Tf9djEdGdWi~y- zVHhNH}|q>aXhh8)gy(^+W{~QiKut{P8>p5Cx=8Ny0M9$j?=*J6G;+h7kv7 z8iu;0Ktvw`!CqGhT6@@8QBup)5fEc1DgnmoCjeno;TVT=LPQg5@k%DPK4DvF+g*uk zWc>b9JZ{g_qiQ0kn#ZcNUG-OkG$X9Ic1U!@_EWV*$X%7s@RI_Z(?3=IvAKZSbpup5 zz$YEn>rX2_5@{AxQ=DKD6d?sy_p#l008utb!UyG(BCa2(_6_hEpVf%ha*r(vAbG5t z8}Nx%vOfc%mBT_V5=88d;lOAKg2=fjI9uuUSSSSfUi5C3G}w%9VC+!4r2#|B?vIfF zoBC5r<=kacB_j?b1EriJHSpA-n-+K16TA1*?N2p+CEFCXH^_%l8huNQN9Sv5SijX? z&Be#5iKfTiaZYK#nY9sA&+JjfM0qpV7GU1crjeN0os>7jb0}P{Jt4?NAL-vnJ5gTS zLF$*M1Y6z96}gR2SCmx zJ^|Qepe#6?Bi=>XcUa5zK?+AN0Ms1`9!^&*DDN=OOz%TBNL3XX#JL+vJ0hNj)ZJZG z#)``tW4BuaQjqd}6)1`HA?Z|hb#Z#@aaCGTe$U~}D6cRDe`AAegVstQI78_HZ;(q; zv(QL$;7P~1D}?6w4-1HIyZKJ{3BaOcG-)Xuk;VA1zblP^l&eogQ$%-woB8@6&ylRD zNrJ`9HACX^b7?T0Mx02FL17C9Uc4`YYl(97YboO8bS5z}+e9Y&u%SicBrkq3&VUPg zwu=+mj^*R;0A;{3Sb8$!JpuZf^dN5jP~(*Qda%Xvu{EyAsiPi*x`H4(JRsm-?Pv$e zB*gkQ%}75_hs-FFo??7Qhkxa#z)ss9*viCl6Om0p4IV<~MJPkD&HK6kBx0Xg`qxp~ z@w`nLm1600VgQ`Gzs!RcWra{WVZBCk{UIu&xZaFv*0VAeBO|rpnEavShGd2&V%t7l z9@?-8F0zS*EURA(DJPNjHh>xYCZRB8#abU$S2fbGr3jK-k!K1xa{QC}`Wtn=We_y= z8W>ELJ_l%k9C0`mA%UqH)Z$KWtxeMz_)xOPIziU)jaN*de>AV(eg1slLf)NTN-#Pu zjRbG6Ag>nfg8_2D!ibD=Z<~3jCMC>uS^ycWu1Q~zK9R_93?J^Z2td2p+eB|%y};-S zs2XnkHp(o^GoQ@|@0`g@8qlpY36~f8i+=#&kc{kzCo@?0cSz4NhuTQsIex z><=ex*PJI8-zI>pr@{4F)mWt$Sj+;1d$FzFhp-b0R8o`qlRGRw3X;!B6-EN}su|80 z){ztupCgi3f~Y?u4481BVY!&%7)x$g+lXRU%WGKKy5<~Jp*FT16C@*F`b7-9VlogM zl!bo~fXpKzGI;Dmo49uF$jTu=-+>bKL;^PkZ1Kd}5CDliTmNsMdT>Cd1H9u9fj_=U z-sxz07PLV|4TY%$T;*kFP2gOad6B@X`FD0(bj{_$IIK^ThNvmxZN!m*>5Rpe+C@g2SX; zGz;(=iM_PIAlv^*;=t^OxBp-~QfwP>XP)Bw-MPSk7XoPv2ApC0Je{4k#Ee^$n6(Zg zPxx|X#+R1cKpbN=3ze!r*xshl(CED-8E)LJ$f+M8@Zobk^nBeXkb{bzj!XfJ2F(5+ zwyS0O+y(?JC=)w-TMh;AayT%1+rOv#APDULm+Z>S&dUDZncax?f5@&FU;KSRgqz@L z#9nV;K_HPTKJdTg*xfz4vav=zYu1xvBu05RJOO@lsiv`Ph%=_uq!6@mq*1)x40%3e zbSaKODYwEjbV>6icQRPVw<=h|Cg56IP(dJBlsQX-mitA7SR}spgPh2>Id{aQB(f+A zU<9oD#EFtS023&<3-nRJ?0NA*HZLQlTm)}Jc=AEjG>TzYi~zj6!_1!hK`L3h8pn{; z;+B{ND9m~B-^dv`n0bxBnUDx3!M6x@5g;PiMWnp%D)WQIeJ-2|gJAHVnl8g~Tg2da z15k?@ya`08+e8g$4LLwoT)b!vB?XO!w5$ieWQ|gP0ib|ngv%udQHD_)!9bvLw9&h^rA0M?!dzbd6U;wttDS^v5XO2}h72twa5* zgxo?kB6Tp-kZQB@+5D2%M~)$dpp-E=%b3R|G4!mEERJ;wut**RDZDKKnZp!aR1AM+ zlmP8oK+vO=OhK}n;-JHBx zGSQbQ1O9b)jc&JjUce zRQ}JwaD#mLyCQ7Qov_DsqjlYmoq*P)iE_Sx*7cPO^Ik8K(d^bi>ASCFM1d=8Kr|md z+hKi5d(y*6ls;R}ed_?-hC1Ia=*V>f;LE!IV-)URZf2Fe%nk(EQGemQ>(%@!#bW(p zyu~i^-njgNVHE4ZHP(>%;MCK{+B1m&s2PccmsmFn*;MV`I!&%`3u$_>1M=`GG3M8q zhNM05a`7Uo4?o#=3UAe(Z>_v!>93VKxVtZ6`lCM2=U_m;aox2zXxWARxla2AcyTY$ z2`zN<;T8osk&!fP->+|W7wy>XrFd>0^>*`jF&nchHrTv(znb=G9hyg%*U(qo5@ zQuMuQmw&VQi_BrJ%>)wwn^!iBn}{EeiOKugY!Q6^VgFL6HoNrB&% zQ$o+g>4-D?c9 z#4i$_nK;LwNCr=>;!sbU?sVvhNO^5?d1H_XurQmH#DcoB7u^~g3s(Ij!2P#7Z)VKR zX*x&q{@2xReb~e2yK*_2OzcyT+!!TS@jSn@S!ONIgfFLPrtvzw9e-!;$)T^imxk_X z^4(*YQ|Y(kFQMd|*?=lgL=+C7gB*nqBJ|Ad{;1<)U)CJBdh$0iXPDjMij*V*E`7$u zG%D?cykyQK(=U5LiTXKtfI;pH)DRFv%nNcDFdS*^hv8OZ96#FEegji~6_?!8BFWJ2 zi8S@A2w*o$Nt(#zMYE6;cFz?;V$z#MpvZsC7Zz6S!L@*SAt(G%JUL~lmoqhtJbBt| zoJct(l*R2HN%07~=6%y{&vx3L9tlZDNBR@ZMHJ^#kPy-_G8mFnz+%@gzxHnY!F2JF z?JrZ_oVfcbDO`SP%)aMD-dq3PfZNnlWv!bOKk%gdA zBWVoK%x;&FaUCAQse}(5J1DP-Ds4v1yobTxzz(xA?9fvQ+BqyeMn);Ro*jPP7^XpI zXUOmwjJl0Gb7bk=0dBEo8Wt@v)Od@jt_iCj?rSEFK`75m>^GJ+Ac3_!onyP|!xF{= z$F0`&qlbSkw3xW3e&Ha+q>mBv%n8t~dfc#`6uRk_6X=3`;9Wa0)1ZHo>X!>OQhu_ z1Fgu8UXN-gw=*R=$f|Iy8&U$$Ga4}AA08Es!Q=3wj;9U?q#Zv%z0jHfSn)p&-um)h zCi2nFfQ_vs0m@ElgpD!8cu3YR`#SR!35GLIE>=h~nKNAB2~kJ$?c0vzBhJ869o>HI zS+QJk*4u={W12aPM9lPD`%*XwF19OiiyT42ttiNZ=X8)b2?M2HIt;n zC$NQ+q)0H0ipQ8#&edM8WU77iME7X{koE*2q7$$Z(~Kw(;-^=96A{DXQ*g?H(!B+- zF0)G*EI&*~GMx(*ZZCiIkp1WYvQUyVAie>Cv!PNOGAXl@7_?Rb;sZNzz~0-Z!9Mw@ z=Ecv|FdlDIoV%u(ErM%PcxZK&tack4J1;E;p-3-GfY(MIPhQr+jNF04IGE$>mPR8S z=0De3ysn;rv)kABTKCiizgODvCv0H0VXW@pK~*iqw=vSCKjh5DXHp>{<+x?*D-C^+ zR5LNYir_Gd@Ilq$+K8|ta*zwo<>~OQ@SxXQGMD_wbX-pLv-+mPVLB1ofMDhG2$t*=fmrOugg zPLwO3QE^kKAYHPjIym%CW0kluh=-gUZuI@W_+`|Im}Q2~uYb`_N3e#m)m*z*=NG>m zn{@A37Lvd#&^(;kEf5Wf?y`<7<$Xk1k99jtO)^#Auq_~7S31>JcNWoHR2_f62l5E` z*0p|=0qV|^Z#)gy&7Ru7pRNflQB<-b$38!=Qp3elO zaqVBuMjda3RErKW!Sk=>bwooZo6b-}!I~84LP43wF2Z{al0=PvZ#fF!!j#{qfhW+4?uDWM(tD@akA-S;vx80adYz5|`X|R3wf8q2sTdE+=Z*I=bZ~k+32@91 ziHt-EP3pUrhk##(OXp{3BM8*iXSIq$^=D9maQN47D!(1<6znSSUW2M^&rKy75YX+*{P|YA{-Z~o4JG&4V|pI>8>YO4PcDx)CFo_ z+=Q?ca5lHajgem-ltS{0X@M_Hvj`Yvq!4VSZQ7omLlsY?5i%Dqy`OWnHvdG?Uv!N# zsvK-#J1`GHE(X+rkbI6G)q*Hg+uS|13Jl10NQev+^&|M-&sazdc%CIwk4JOE0y34z zhz05Hv!qCr02j-wCJ?j^3qYX8$Wn4UjlxU7IgYF_9rCKMgXb~weY>)eQE}`Wz_+{W z(a@*F9DJ5M}P}$!OH0zSQV+nPgmoD-sAOg#gljR+#(Pd z77`L0p0K-~DCi5Rv&RM=(W_&zx82&c48{BM!LpmFIwn4ke0yq;3|K+n1`cRPuj5~s zKa|G7w!rT7)bs$s^&svn4XyC(WHg&og(qT6)~lcCsoa+gE1J z{XyK2t(TmhyThCYvA6?6%Tg1q;>0AW&L~t1DV&+IM9F_{b)ik2U< z0-aUHI`Pc2&c~H01z=MqF%*$py213GealKD4s%K3(M;%!vpli-5^F&ngD)?k@EayQ z)>oE~o%g^}q{Ch@!*+FPi}Jww3(h07;Q9s+Di+f7Mt59{V_$e7QD#8uYYMUzi{+G= z*JyJpIPA$77-&`tT`B2$P+#QogWi&vLIfb1ovW6*02v6{Bi=4(%he@w z1u*|${Jp>Gw$EHkRkD= zB!kHpP=JmtD@SwoAK{Q-)PBh+B0NQkA&bU5p;r`U0O(*ivx`|trqC;hvrh=(F;1>D zPx25ZvMdM#STMjPdC22w8rTndpKn;AI<6Lj1qsl&W#xMCw3;r2H|w+*Wk!^D(kRE` z5P%)Q@N0>@QF5tKmb3gsd(O}ocmO9MS(jd25_D&tg~&kIS@MvCMWS$p{Y@g3Bz{K*g92bK;vwmj1HZmL%GlfOzcVM>qN93m#%r#I4-s^THW%VxmYq9oAKG* zMduCe!#YU?>Z|(%>Xy0D4V}v9CUemBus&lK#udUWd!_x`ixSaEML1Q(X(%Jk^A1?a zuM4#Qgw@>vTCT&^b@S5q;_cMaa%~@k{_`^OOrkKoRwN#~Qc6$%96;ZV1R*!CIc}k5 zrl_W;;dVY-ZQd4CH`eLIlE)3#bPaFa?(!wHGG1H+d9;e|?4NWsHCNSgEFm?>A(0cziUOvFofjjzGA3Rm+QxR+1Hi==%@Bt#by5@^p`s^%|xa zlq_>hzyG$lA%c1nnlG$#xd#lMRBr5VBYQeExgSS7K`D4bI+WmK>`Er+7&|C+ye|jk ztDuhXUQ+zljcg1W>hwFz0hrwO7OiaSQV9`_f#|}JJ3G_zc6O3*`Y57ApGsg1@7^8N zj~aZuAozO<&=MAnM`u()?EQ|_vZE`q9y4d~ppf=ySjWBQyHT0Png+m8rKdtZ6EP6| z3_79?3OIQs$P3>Ful{00MF99BoQ#|l3PuE7Iec!=>8W^Pld2P_%Jkg(1SrH3WtGj(KJge&+v*hahi~D znVRhhGu&p|`hADG2MTH7F*cku)L7D$#A(-UDP9ykNMjZ9r)CQtE ze4V$;P73w#&)sJF_3-zz8-|$H!MgSEO_I3AamNajmW@zjaK8&j_WYxl`!1S__+$}k zN&iTXKO74b%Zo@K@;((GDy9w;q}Ws3chP(aa^m9YDfO5u4}bE`A;h+Qa%O`ib3;TN zPEwpD`;%*<|65iO!W_|lQkV2BTGQ*obMJmIhY}eubOq1i87@bR?J{QACJ)7T%UMhz z6*jr=Ik8ocbN;Y$1RnI~Mk)sl-T-)(&Nks*7^9!EC=j?nKPW&!;5ez`uYB@$%6TDQ&4;%SH!P)Bd zUfxnFduV}$_NYf4TneOd{>8}kdOBFvi??_hDVXo90D_dn%2j*ze#~j4VajwSc7oji7tN6w|?*r zE5iI6K>CR(;DOowA8ZB8@t+ATmUIDE5RU(;|8sJ-6-@zKRRD9Q8!dyfwEZ)I!~KsS zM!Nk3DA)h`afNpWfV6c7fCfmWe|7`Ir~B3elePWxcz^+B`!D^B^jCkd|8?hLZ2Pke zdR>_=v}1)EMi^-p@keHondze1+xPXQx^pGJYTokoG{Nu|TNf-txJvrfXK ziv)nMr2oN#6-n<106}US-39mBP3M~cW&Y2@|B~oHXtTb9)rG-gWcmMKMGlVtA*77x zY9;@}ivBP4^Tn!c!j6PqQ%v$)*&DXD6kd||L^6*NxUm%p%6O-14jc$k%L#Zi!YjQI z?Gg10XNVG@Xt{jTXP4QSto;8bx(=Gt!)EcEvM&B?zOc+hrn#Gkkm=6s*qirF@6zXF z0Pc=GUZP7CUBAy)PJi8YTFQ5spaO_*s=2}9Hi^M@e7EY`+*<188^@=b=wA?jeYzW+ zbz8<|+-`0<=mcKx_P!p12NUHsX1a=Ufi_VZ=jPNB8hqa4=Gqb6Y+{oQ{`muGaPKrq zMv~qdpk5xep2nXrb9>Ufl z^57Zdqn#U}kXZ=2nHiE6RJj3m{bOc`sLDtbHXVG0vZx~mn>><*xWAYGD*o6cuwO9+ znomc(`tDDkvKS%ms~Kq8I4fX5i}X-8D6^y2^d-ONPMMC(NcnlhyN5e%B|vl$NkR-G z5shS3KWns*lD&M0ld2wqfD{e$lU-RG6f~y8Dq%5A607)kv8WAp*4$`i25_R1csr_} zIRs(EH$G*1!7sW z9HEL_UcQ+M(%x7_qi^_5irK8+Zen>r?KUiDPZ?o-xDDr$Pm4e4vb}WJ$3N zmd@Ny&g^DX$nwUT=?p}{?v^+(AD)Ps%?#A$dJbY!6p~w@f&kbWE{9c9sJ*WX^OJ_~ z)Hb&#NnvcDN7sTPGh!go(?y6ur3N)7R>fR^X?TGaHVcpoIcH13VwbDH>yK2_Gi@N@ zlB$5~rz`C2Z)lrW37HJchH_glPCH?U$p7jf7vr zg>^&1T-}nHRRmz(BNu;ij8uG4RbZrsbTn4Q#C|?rQc;E2OHyh3JzjbO%HRXaKqsf8xG?=6`&l4&QS=Kw^wkO_UzXR|Gt7L z^XsUat7etytQ14otI{to9Y@4$8aoX~W?iOI%JX4`X>~pX=Xs@37qi-7>Rsa~1gU_ZERP(&JqK>5PhMVoNSnsBPF&8%_H`ujAf(yI}=a?DOIm!P#VZ-)u- zsOWl82r!3=-LNV6d5BRups0e!M0C3Hk)TMlXiz;iRA+fDylAcQ78ke|e%~G&x!=O= z{o$wm=2=1GD-iLac^O|qA#OT4w`nMWSM{&?{kxJ)KEuq*q1D?ge{qjgC?#%S#j^|GSI1f}~ISdx#KJo4A zIB+rm#&iOW1G3LGU(Gax*)RbiDfyJkGrX$rF%efN95XAhceh1tj_y;kN-jDW0W2o& z3WzY%#z)Z9X&^G%`ds!r95CdB9Tjxby%Kf=c>A96;0{Vc8rdqUpf0YiShYb9c--05 zpA(b!)>n@ern$I<*X5R$^mkM9j^r}k(}&FAWB(Qc?W#aP1h)}>(13Cqg^WqN!{%9n z^ix3i+qZ$<6@Mp*NA~n<{%@D_E`dJs!x)vq}T;TkKl=1EQJx z`AQQ{$k%&~h_P^N*9?;P$&?ZH5`LWtwVE%;@Uu`KzqLS!@XcD2A;WDI7BI?N z4~Zm_UFZNWCpTKqM&gHjD>u_9&I5tYm(rUZ z8qvl9=3p~8tUiMER>h6~X&9Jj2+-H;6;KsXXRhxm6dI(dpfXW%Km)NTEuu13UW6=@ zKsWT(wZCoOLV6HU3Z9OaDiDw-lY}?XLEdcSf?r(PbbLvInRfN34!fr9wlgZigyT5^ zW1J^)3Od;i{k=q>rYi1pSNgf}3kahkIf>D7 z&~_QcdKPixMrd(8H=f)x!zKG7#!%M~&G;K^8|bgf(hw-?<|xnE%t7~z{w@Kg3eJOr z6F$P!vu9S^tWSh-g)00Lc063ZyU-ZMc-DP!OsEQ+TX&$v<{a)r;ju)PTOno*M9uy5 z-MlxRJhs$`PfX8V*`Ri`0XXWn$U&)V#}p(77I!%BkCWj^1J|Gez?X#cxT`^W<3r5S zHZ(Mv;J`&d6E8vB+*ie&$44e>xP|;uw^)FJj0F-m_`Rc-3)?YzeJ&cOOSf3yCE${F zPb(5b^sZg&DuE4(Z_LUHla~}81_16VZD(IJ6z)-ax@a2MUT_Lx1++zlq$uH;p@fuO zV1&tBkYl;9PpTz+v+ z3#p_&io1kA!`{W9d1|R&IE~eiXGLPKDV9cn9%B0BNC}i>cd%ch9!g`IBe^uTMkL#5 z9?}^RF;*EIeE8+00|WvYv2j+M#hr{}V)3O1{3$q-K{*!6qNm7A%%j-30#IE#`{AZH z0+iptT$l|h?p+JN_~xPSb>Vp|KWyJ0zrDWuw%Yv5Sp6i0HwP3hDFA@@c6Z)yWO}P z+dfFR!_JI`FB>Ju=`_@-`VE;FLLtU$!M{R(J(O-L2w)=Sdvje5m z;o@buyz33E0M$#nVf@(Xvm}gYcuev$9A?e@Y_Tt%osRN>a~xt9qgVL#{kRP#gxrRK z>HM}TPkiD1sQKD2NMvsX=SPFo&#yhhcun(0QBwQ5Ly%LdpO-&X@^_EoR!j^#hXk*D zP=vXLFV#=(<9`=lG%eTiqWX#Ulo+Wzg%G-`o|_Dl0Bg7q%9(oDy0m8xLmms6L4SMk zH4hVL9Ga<=y3UsNPlR>&$vPB#kB$Q)mw&Mhzt0ZAj9i% zUR-bm0#Mfuhw;;Yl^=(L)cJ*`;PoEoJN}pR{?72sv4ZB(G5@77Mr9uSwN7)N33R2m z9*%9l9r&PNrc=|4-tae{;eBHB2TwN&Z0QgjT-;k<*A33`wj)x+t9aQD^A~viUI0+{m!R|T z9||EG^+vpQ6b;SAXD5jqKV@m-iYX8pI@`j#Az>L$XQka+y*$?x#Y72Kq{ugiPwpak z?vFBoX_XwW7dwbVv>F1VU;ajTCWI$s{s4V=-f3Dcy%CCe6)obFZnKL36TIs{Hl*1y z)FQx%jV)KU5cOV7>uX2oolk6KJgN5N4g!r)LE8aHnw2zJ_MR<-?p}?1Q+%`sSYWk# zP!e{6(HwPXk08OfY*Fd;^(*I>Zk(=0h_q{ z^_es_b&u}nF*~zqP1rc8l(3ryWJ&dq)64RT&+eKzW_J#V-VM@`g$gIyqvio}F;|1m za(A<(S%$U{N5kv-!9tMEL5*!gt^W)~B$h#q|B}8M$N9rjx22yXRZOc#z@2Hh(pwT9yLBD#}SDJxO#6XE;!9Z0LOI*dUP z>Z4Y}>^-t;%tgxQpK1w?k4}&b!i}hf1t4js{ST8G6)h^0T)TM-Drh$VG@Z!^43k&6 zy*LAn0eNG(FeD^jifoU|GhDec$cf|FAlGvJ0rf)b{6;S}e5nH~fw^tk=K; ztkv#58$#IME8yo32TctIL>iH2n z7WK>S%&P*vFoh18TAMTf&cyT&Np!}wDWpk^dAgtNkAt7B{q-To9V{3edHLVu*=yJL zAD|<6BGh!H4G6S!fj$W4bbeQm{{q!;AdH-C+Zzz6Gr)}h7tVvhrJHU*u%tUofc~!& zS2#%vWE)8fl$YQ?N5^_#rncE9s0Wzz>feyesSnU%z>IBNz|a*#{|(7IG9Q5(mF1KtAc~Z>qd$V1a_5h3T>i z`-=bv3Tte<{lgf2&Ev_|S$17=I+yGnDc2WOn{5B;O-pT**}my3e`@VqCBkL1m&~jFakLaJw))d^lfI? zeUSFlkv~8sWYWwA|Lr>P-ub;zR@bVql;y=GD}|ot&7#g2P_5Tec}-X{EK)vsB{&aw z<+T5c9ofL9Oa_CzPT~y)PraW7`WGswAss>D93b#iKp?py6>KSY_wGH3Y$1fHd~gMBJ9Wlpv9zq$7!I7ixrae z_1_B~si-Q^#)6IQ$vd^ukcADCksTgtOK3I3@Jy$5#D6WpAXKth{~nJZKh9VI4w_0k z)1Ap{! zdQ5ODu?X5|dL5(?k;YJ7#p8|(>}k_O8pfE@i5W0+C!9|=a}gX1R#U$sS=X=HK-iZP z_Ioa@S4LEcSk$-bb*NNJef#PGEF%eZmhIU*It!JkAG-@ysgCpQd6!OBkc$Mvl*ytE z?8P=so5E=0B~*>f&X!Wk*}cSHDz%+tOOq_*4fG`G!pen5gsgNIq;={Ldy~dCm4(K$ zbc|0-hYh;Pu?CA}mlJg8!uR+C>P|Z`1QxoXz?>(rRho0~O z3t3JZBDNDZHEJ~x^1{RH+oS1r`6}$7U7^cAD|-Sw&DWP~-gu;nzH89Fq}J^h6vL9u z@tOiH5TAKJKcg7{@F9)Q-PYeE*AM6xdAQt8Sx87+iE=@Xmm(4@QC+A%0XV9;6X9G^ zLfj>~+AsTdBt=p!Iw%nzD%{X%t0vanGwByiuZZRN#`l*^GhuFqczEj@>x6Ipsthy| zq0)V5U{VOdU;%eb4^zd*MQ>vZTsjFLfja6ZtUOj;jfk6osGj_cVjEx19Mt(N0x4{$ zt;PGUkCrRu(mB=;RwGj?*m>?=wZBjYE5W`myzz?zP0-17HqMt|I}&-i#g#Ee!c+bV zvPV31m^q?Gmm&TI_dvyh-VKI5$TUJCt1A>?EWLq6umlBlIs4#c1JnbZC%WG~pUMrJ{ zOrz?VYxO$$Li0!wUwW+k7-HShh_zZi$>p6aJoD(}cL#iFQd}GQvBsH`>kVmF` z1YUIzhN_M1$QCJqD`ruGj>`y4-CG>A8ZXnO|CD`?R&rIhfZ zAqOV*LF7ioKvG9nk6L}EY<&%e9(YgkM!muKy(~bPK^!I`s1fiEomOEz$+vVjn-zja z$v7w5jCrw(o)_^DO1VhG$-*g}<#F6d^hN#Vj&`PzV+gR=b_lTw>5^jamVc?fl>B03 ztQTkmT(psrPM>)mm^$(@l`v|!7Vfr<_)%au)&uoA>ijS{(_{!!Ccbqt(jj%zA)ujoaohRa&-?BOF0Utqir< z2S2nKJ>2e{ls864f|izHE3-In^(#MQsY~N{W}de5S(&E9*P!;v7$q`vb>{D7p)#?Z zH>)}IsbRbwva;p07-)1wf<6itxuI$G2jSR37xO%Iy`3(O1SDloIQWJp|o?Pq-zOAowXWxFNh9Fa`EyNY#0c zSj`)@5}h(Jyf;I@SbP;~ALGu*g@N7|ew)Y2eMHnIP!C~=b@L(E+v1T8hYvMk|bhgmF-ifm->wuAi6Z>BqUo|t@x!va#Or(_I|t8a8}H*iLGFT^HZ7V4asAv& z=7L2~_E8dXg7_cOrfgN`()uGIC@$0Hzb(!+SVQT&X{u$>`&Vk6Q6qvixLAJ~u)qh> zG8AdlHaW{`)Flt+C)hunWd9GWjJ?_WVlF`MZ=mo?#>TpS*koU|UigcEcYPai;0Xj< zFIuGkIPNJpBtlrgdkf+1Wy_Y7!$ykh({T21TNgT_GWZegsVr{}qBfL8<{0?zE{f-R zIr;g!7U96b z`H=ODlCc{55=|Zu{J_YNSaeJnKXwu?J#pb?NwSBSSGd@9BBIsVzN)N#NZ-q<{2{#q z$HNu|y`#YP4#*E4^rmC|F_->tcnu_lob@Uxx~?;=I@c=krn*(J%(Z_;(-Ge6LYutS zoxJaMoeEwUIbk}MJMhp2U;7{o#g$vD&l_w~!Ryr@qx*0oU?ZoIELXuU|6Oc3`Gjso zsaHu)@rUsu$9R26Fj8x_Zg_4t&_Lp}mW}l-Ndc)nkvCVQt5mKYvsIWn!5<3p~BAvAwukLyc3$y6{~A?fTt*yH9qzA%Yq|5EhpHJdY_-YM!|>#Uj! z_)kZw-V}-uy$g&seqVH2HH=TF!8ocoBIw9WG|iR|-lRV6``6V~%AK?mO!ltbY z7F@=YD^lj#LoRx8L2l!YV5UJ4SC@ja90lCy4bsr)mYOHuX2gF<-Bt?3ntmmkpB3>F z0TD^1-z$x)i;D{x;e2Vs-a{or+R1;K8=}KFB?;3Meo_*-=~Gt0L{4;Il)ogC3}U?@ zTr!jPSV7!zJw3#W$Ty_T=Xz7^NTciSN6{$mQX4PUSy|{H{mu8QedVsG?HoPN^pdT2 z-^cjH`b9SWx0!zdy>hayC_fsiY~CO%zxG*!gJ4%r*!<1e-)87KQH`7aoZYo*J)I;l zThA!!ttYY3-tsbjYxAg<5YsPCkEo+-<-uLoNncckIElyii+TL9>jm%JWecgep(vT2L9vxeIC>x0b4ih04VLD96FU{xc8yXC90 zf2}1oHwZOyCjYvugg@?WM>uX?Iu)4)sS}!!BKCh`_W2iIyRY4kOnU2v{C-2?<4X{v zLyS&!==YB_(%$dq;t^LreM(5IPWPrWj&Q_6Ltg1-v(4DRQ=!)y5AuS7-xY9zfGUT4 z%7|ARF?-rJlB+bsT!oi9G63JJ8TK4G{RHjRUzhq6yM`LQo*pK5=>tN%uk z3q`(LXNvi(nD@nQM@LmES}#Zf9mXgBEx>L4{anz!;-0~4){KzzqIzD<3EDp7oFtJ?&)n>$O3&jBNTrpXr4;k<5P`7oSt;WAn8NO3Ms2t%PPoCAw^;3Km#E$Rx zXNNsXPlQ5%{Mnfx9+@H_`LT_wk7kG6j8!Qw7FU;V;2E3?BkFv^6^kX!?0YB^`9s!3 zkz)(`zQq!Xe6u>!)v(o(Fmb!p+f;vQcPTF;2s*E&_F*b2Ft}LqM#%^2!i)>RxG@;l zX5OXkC`al=^W%Zzqz#!)m+t*2H=UhtRXO32!y844PWp>nZ+WT4emyGm^;XIffbXwa z*Q|@L+Mkn0npf8z!|SXg+&p@v8~gF0FCY6;Ss`vYodY$o<9XrH94I=n2jzdOSAz*s z*h^r>IZz#HNY>W}8FizHPdua9XVig}oL06{;(_9uP;qhUc+pVB@gTS?z$DLI zqo`r}Qr4?IhwB}tH1XbdpVGuTk9|rLb)2*(tnru`4d3seV&wCn#hpAv_J=+X@CQE6 zW2bLYA5Sswbh48f&nNSl{Z)UhicAW^mj1r>W0h~_lZiv0;9dsVt>hm~h(pOvIQsvN z7@4_{<=Ju~s(SM}Wtsxch3(G`9riv8N=)^7rHUlxmU_u=J5ee#;cyZ#Yqs81;Is zL5|hSNo)@M1BrVk6lX}zM4!x4f?TiP^e@00NmYb+tfB7>ek%vRx~Q8+@5XPS6S_^4 z?NzFGNY}u3g47&v<#aOcSF9?9FjQZsh#LAt)Lx)JpTk65Uc8h}yl4QQGiF2mJyHOZ zJRmt*^dy(!MR||kB20g9q90Je>kVj@;%*T%3plB!G{YP>_8q$y(N4W_>f`@F$Kgg{xj6Rh-Bhhr-Wc-s|a5^U4bNe9eGWBpJaQyvc-Tx08XCIu1{a)NW`(M@} z6;YQ_+6EMtv(O1Nm)jf*LIN>4w;vq~($fJkmvFBEF}HBP2BQiAGnQ@*7PsB|3y><8 z$NLKvw}K`NJtdcICJYs~)JqIU8<)RJ3>CL9XAJxsml|gb7Pmr!467TLErSddw*sFG z2{4!Ko(vWdGBye?Ol59obZ9alF)}nZHJ3qW3={=1Gcq|bmtnF2Cx5MYWl)^mmM-qW zgG&c@5AN>n4o&0GxVyUsmk=aqaCZmXJ*dSxpV)_JwLkY-AkXfp0!ui zZpu%}YK$UgU{jDJ*xrSam5GHHplD@h>guctwo?T2$TKQ{%&Y+K^3O<=lwwXG6BjG6 zy|{@Bh!>y*G6RT%fPVlsHUKLR4-XP0Kn(2Q>11VL=>nk9P}QQPr)T)50 z9zc-8Un&NG1IWqF%Gvq-8(`%Ouy8W5cX{uD3m9N!543eP`wPIk+#LKjAO|P#yM^7m z?md_?*xAJy=w#*K0(j4=EH3#EoGz9oE`Q~Awt80sz~=9kW?-P}UnTvmdk^!jbuqEB zcLunCJY4?DWq%3+m{~bH*qV60=Y9|7;AHhT3|D6>dy9V}U;sFQEKHotY(dV>?_u6! z|J9v;)(QA;)tfjt*n0l$4gTBezc5(2ID>4>nUGl7-g5$7-g8@6*&{LkH7hdq=3oFT z%Rl61t`7gHa|1d3-5{F3W`_11gozp0-qsUf1~NxtRtp5Xyr%@v{O?$1`j>jq3>$xz zbhWirG_iXhfPd^5!26Ohu?M{G8Gt;dp*WaZ=rFtT&7zTdrfKs=l*zW+nYzXP%U^Q>Uv;$-Ck(0i|& zh4t_1|Ks=1lfl1)k+27X&Hfr2H5U_mv-e5+FTr1GpsSP9JHdZn{`ac?^ZbAJ%!5E4 zARyAxJQ&CqVx69q;ZlwJ_1CDlUT-%m^si8d;yU%h{D4Yumw$T122Z*1b5$r){W$My zi|5>t!^@5=-R@vFjxBXpD(LhZkuN!IPd>&PRT~%mZV`n-0ceH;2b|3jN;bFQlL_R3BnMKj1CM%3>1ySR#L)xmU)lp{=2U*CTmF+^QL=BHBF zM~#H;yVwR7nDC*!Tck-Yme0)9u(IqG)y*`K7Ts8phY*aUFeP#x90@~S0&JgCCJF;< zO#MD9J`0*=?nZ+;u6qt4c}2r`PGEF0y%x^{2hmL7mW#B@_z^BhVlraRlz`7dftCYTKXZ$EK|=%saiUh zCj|~At9i_ny!{pRAkRQofvgUqex)cE!eYnC>EHEAP6))=QGfPqnA-V-n|(O_g()Th^Wj|*a-5Ia%ux_~?Yl+=muBq`p4M+6 z3|@8Pt`i%4vJmK~%c zT^6dx{-XC-3q7Cw^0wWJ*JX&aUTEf<$Y^{u&TpWZ#sdA8X6Yh3Uc3uNE*0#CUko_+ zfbEPv#JqnAFEL#rQr@X)Xshy&8i#0!QQ#%FuxOgZ^>TqNuG-6}FZzdW<`QL8|c&WfWzqmIe**ogcXRnw89O`VXFK(0O7 zuzP<@otII9RH20Q3+KhIH#KG30E)czd|}MR19CZ}V%_V@r&{?_$lto=gLOcPAcl*< zgF%BOxo=oM81^0(7>yf4J+4YCUx``;mrosi=rUexvau`6!sUe78G|}?PV%ZxUr7Qu zz+BYP@YH65>>qsuwII(SH!7s=^zNE1EBmsJB|2u}iy71TlXk zy3i>~uoo3lv*_{&vVsqo2~Ygl9?oc#Abo9_slDD%lLz|>wndF@={r9fFyoZ@8? zP0m7ms-KtjZ%9;ve?BSfP6$<4gnNs*pLOuzvu#feHQsn++g_OX1j$@hZb-wm{jova zd+N!oZ52!soVL+kV|H?Z{JHg2Ysi1EdJ%66=va|5l-xyUs<%!o^H^7Pt{9HVDA`yg zU3Or7X^yViLx$zS-P}rYD3b>Mkb=+P&Vcz9s#D$iPC4SD0E!g7p>y@2%3mDqNtZ>x zwY{uZB>nVY60`p4M3Pj8o~V37Oi{4VLm|g~YodP~xHfyV+-R!&$3vkGlBa*U{+v-8 zF4Z{;9DR?0hsBbFh|jg8V?8WnMiS0qNNs!tM>gK_rhFDoOWAZ@$#^%?rQE^ZX{^)4 zXZAJQ052`W@7v+AmE5N=PwJlpM>+V99cn!*8sgA@G|cB`YaQ}z3e{=td%Qwlw!OoT zHpKmwe^6x*kFHe$8e_5swRz|Y88Mik);Jq$&7a~vhF{i`z+rr@jUyg ziamDuluz04^yxclFD7H&OHo}}xT!zA6>jHS)bf?b+|7F|C7M|A2!#MYs8j{QD!dFD zaPs%K9B6m`;iB~gEzPVTd##o1tM&da-l4-UNIe9TQnJ#E)KGFPVPk&|X$Euf6D4u8 z{@f*M1(0B;sy4Jvzhdpm4YF$;IdTzlwxxW#N(-atWf@%F+d*+w!b&e0~I81Tf>kC`~rezLW!ocMoX{ppKc)k0mjZX|1C zl*NC+btANq zF9+xQNM&rn^f2jKZ9tLxV&4WZH;1Lbf+!Ua8t(a=^?4tET`pA#2^fLTqWFzesG2Xy zgHl&`tb(hq%uv&Q5v#9bfB$2))^wR!Xv3m{6VeurhW)|@bsU@0PvT#!M>L!;F(&T@8UVkEorQ06_qXdiUpBOr=df{X`-*Hrq<^hWN;` zV?S?NYn7BOMvB!@be*Y8}sqeaXEF}7;1ki9Ge?()Lb;{AISFybxm*6R&kA>Kmw8da=-wV zu0p}-C)dC*c-liHSOTDVu(FKb^Hq3Rq~5WD6x;{4t*F}S{pKM(=w3W|Po)oQg@y7S zm_L6DXi?juW>ZbDs!VXs;;KRgI2;qmnRZisZ-OZ*?fHP<7@)iJ8bOS)?~~LcW3A<` z$AQdPvclv7HB^o54;!dMDz6Pf)dI=_z3sw8!qbVYQ#0UeO|D zq22hP*E_qH=63v8t|q*_7`WoRNt>PlvCt&pvZkafDRb@dTqBX{C6siK43E4ulDB_a z*UJkWrfR8@P#GT<6%HSeE1m0E=)n(lU*tYPd}i;=Pgj|Q>$plTpL?l?BuUQQjnzf> z%HMkYq{g{3Ufs%<)7b}5D?b_Ys?)Rn)9c;|6xuZI_e5eS3*Zt_NAk7L8VD=@_>0~5 z1dV|=bT>q!fy~oRr{~a&xa2UrTakY+Sy2=v=M!N&-t_ab1V?Dj)bKuNQg?^)^p?6M5;MXd85?_qi7L>!%gNx+|KWmW9v? zR%t!=cMI&RV{UX*rA<+PikAkI;42QM_}oK$2Fd1rih~uL@oz`1g(;g>dt;CPqf^cB zem!{~$8OIQqac|}mlmWGdsDuv=?y38a-Hr(4m=x*la0XBWF)eZn-_o6cl;vYjvVRr zvK>Hyp1c+LQ6A)J5?k`z1C+jm*1pE$!mksRCXbdpgcXyP0NS+E$GeXaeP>?St@2bk z!dszh7Qk}foNF)gE4|}RWLg*dc+xuyEMln<)C7y8%N47!fb+M$jZGkKuP=G%Np1Oe zl^aVP!NxpOGT+qB-3WgK{X{T)bR^eJ*2sFh4@oS6i!-kAsO*pEhc2WEjzq~R+~r|u z`@w8l2$HO8J`*EA4PJ{purXTJ)VhabxR_AxW{NcsJzj!BRD#li8)l0!Lb@mt=! zs_B$xO-E7qb!sS&}CeyEK=Otv5!V}IIM}B zU(c49V$*v?8s#+li)b^V1iBcD!&D7P_U`QGDDhT`Bax~a{-MU|c5@sF{9F-Saivj* zV5nJ$;5QkPwLj0`H|@H$Es2Y+{f9-+v{|tP{rR{y8{dB;Bi*9^JPo<*i486M*#H|l zC7_}2;Iv%%dq@Pc?xTfUXT6)g{Q|N{{Ql=DBayo@q?4YHRa)QKP~tgCkikg=PCKB; zQG}!L(}{J?X8dYrxUpDw3ib!41M%;xklJ!V_}noDF;x7WLq=3V?V2(J)qF_}zIivD zkvGeVYa)NOE4|9tW$81M#R#WQf%*Lx>WL3KaiW+s^i3Vl8uh9SJaWA1B07QP+4;at zQ|2T6(ll4-6x$yh0(E=7W{an^+Y-O+l$zyesvkoD(*H8&MiGop{ja!Q(ud{q3iH;H|pUjqRl}KnonQHE)+2sN^u*G1XCZf zSP?k#el25V7KIi!0U!oym)~yXB_ttatB?ALv()rUcv)JS*d>Le^Y%7y$XUzfmvTa0 zRZo90U8@c76QY1f3KmnpcO~OIsgDceuQa|Oov-tqmUcjXL9is|SoYN?=_NEShQ}^0 z3(&xGHN4OyJB=GMan0Ry=@5pcIduL07%KgZR+U)tV0*HEB;SnE!;U(A0V;AK5#Z{} zg*Eu>1axB>S0F{_BYe^mw%aB3xW2ejvLf|{p(SIF=bP% zicaS+bi{6mIRiQs{U~%_M1=90R9@$`x$=T!U`krp?HW!dlOD50ZL$(SWFhX7CpU}^ zaFqzZzEwfiZ;V$bPg7?MtoP&FW{1u@)Gz$9TRTi9tvU*jd|;~zh-KM`k-e=Ld>DWE zcqb8m>G*TCm?ski^99%oZs-v&RRx-r?57gP;AE3$=3P;~#S*!-J>UooVxtIl6E^uJ zyLfR#tBQg2ox_Bn!X3a3a&kYG5K^|DF40xii7>k_TPXz5sotLAwL5}Ecu$==^sj+o z^J#hx+YnIW)!0fj)~nhOjYKbFDp-F~q;O|lqRLKkF}qG{^m&Rk6Q6`-llQ+^o1DTX zaT>@%GRW)#C2`BC&O2)OPJbRkG&Qkt4`Gk?5erXy-}LCm(Mm9%A-Iw>23q9*3>bu{ z+W0dH(HpNdc_CCECsT=JNsDV9M}1Lcmi0xecZDoeX3Wa}V-9RwO2A7j=G1?=m-{Hw z6AdFfiu#YROls{@@wr14D&{pM=HQG`Q348GZS2ERlZ| zS|ZmdM~#t;P%=Op*${m|D64-P9dIC| zFU+NBSy=XkxL^@M6vlL^F_-4=k%nESNz?&2GQuQ1=#41?j*{cGy+AO&vzDS z?p7jVW6j)Arn9ETYAS!eX#KrY;P}#`Lt?vMmT5cs>$upbqtBkn!i7&{H&EH#{&C|T zrHYLA&26I@!+pnR^C1OL8^x11By z?1e@yi&5(GC|z|1dB_L&xSeN$h(L`@0ZjYpUhat9Jp$hR=to*c)lG$)VEJgp;h&k? z9f%$^gK9hq4R?R)@mx>(T1Kw-)dU&9M#C#q;%eoKnX58y5ZaB#6x)=xPDm@96t^J# z+Icj5u8Kn17eY)8A-l@FI*sfVgNvUboWXC&S|O9KQrr759~#u;YS~O&qj@%v@mStk z)W>Lm5rHf9Ll8!q@}|#zuARNP#+>e10hWkd85N7FZWe#2DW1c0tK3iXn^?6%E1*P& znlG~$Q-2m(UrX{?NHUCU_MnVgs499PNkSN{Kbxu?ASJ(k$1`hxOz z-#78FG?&#Y>#y3qGyd5#uM*W7M2qy7< znsS-;rlZ3|J7>O;C+&_2raw6;@s6PYN9N@ifY^U+P2oeQwx?UQ>(@sA5d2{;4q203 zWp@j*gUI^)tn``2j6tWG>j$K9eh{PSO(^WaaZQ-MfU_g?O1|~Wo=lVNsZvo9@kWS| z(GG-)7*}8ew7V>rnaMc2QqjpNrfcH_TOIKz(5G`zY2P(BKm%EJ=XmBacen@x)BR$r z9kPG=!AU)*Tg^JElimSfLe<&FcN;D!v6-i7&*O{rRj8$b4WG0?pEjI(5fMR#dSh9j zUcIJsaZGSPjS4T0k&}hl&9IG&(`QBa*!j9sUurW;&B(70!*6|16WQ{KYn`7jXJjYK z3*!YaW_mAD`*hQsl1kcNh2bDR2^z7O;ZuLK4@|shczgDg4PgEnPcl;e3Z*0__p6+^ z2)8XTYsbx%0y|++D&YsgKynAoGaef2HR31iTk!|=@xg(Q^p*I=dX{QOo=x{)%pwXk zi?}<4FD^=mp5O3j?X*`7rP7-f;29s88y4>1rfn=OATNVBRt=Ltk+E*^nX8;0lnj53 z$uyfqzZ${HR9A)*vAV^AH68%`+3YQ6=@v;usuT$@0n=9oz@{Du!~Jo2BjGwmkJRt` zL3rsG-BB7eX}PQ;%IGdwJ6|&8NR3Zn;kbfSyfYb-lw^rmA*2a%)ei~EC?>4>Zi{Mj z--FZazQ^BwnR=oM&IFK825GUzMVCG_UQ_w&Q*4K(PTDZ_f9 zQkSTyjZNZC0E?UWq^n28b&p~Pef6=(NaC1*y2pHG(lI32I=SmWxICN7_WOTE>hNf2 zoNGNvA(Dgtz%$sN_VW}AA}|~knFB?We=g~qQdrW88awfuLgF{7ny9m6$*rsvo2C_y z@+r;GW9pW!;MuAGeK;j~Sr~f6Rot>3C-l-v4rHj551B;Y#fk%k(iW~ie}2ujk6tqS zJV91c5&dh!qp!||r7EJ}UWI>c8G@2jSCMxqS86-O3?0UuJ1kFj`St=bn6OZ*Q;)ArJkybY{RwJXvxuZt+7G(t5$-`RED5em^OS-zl&!fgDzB}g z`Q`YCX6RkXWS7hsh$%b9Hj^m%yobUf<~YC0PchsDg^89pwsCxMEL(rm$EnnYnp!+L zE&taMyYnddTsTJPF2>{K=m1>+ZKCHWG`fd7Jb`q8B}~lcOPS)ihsO@Y$dYr&=+CI` zc#X;I@C@3J)sedLzK#UMgAfNx#c&&ZtP0e9{0L1=q|abY~#USY`hjh(IcwFPnegj?Tre*r62|fW*~! z(y$vB*q(3kiCF+B)ak-ZD|jC;)q?HiQ-*9SJySl%E3Ax53WBNcU6%{~cI>WgvLgWd zZF*#ddzn{duv;;XrF0nc+zgnOhVce+am5u+r8Vb(O|10`&D)E=TO^j;gg}ftvDj(q z!$!llhKocpJb!-{3nE5AIcooG1TuMjfv_K7hq=ph#P7XL!?eTwvRgk$bagi@Z?rl} zUN=r|7j9K%B3W2bT5TzWsz^UgXpEuDqwQX^!yHw4jHMznm=h-cqr4zlU2^qT5c@z! z;|yas4&Ehf&?aYk2Exvh&@wypUb|m=j8MX#-Q^9n7HogCB6CbbHSZ5D5~L#YC7CyTPkFupfF zG75U|d}@F9BXzSCjFcDIPoDAii(BIZDuyYfLVXKOa%gFG?1uVCT$RZJ(Brc?cbdtK znB6ycmo&)+Y^?T+QYIuA%_-;~fyqIo$0PuP`5OS2*M@>I;uW?Q@+5c+q)k1lLWp|! zK%h|J(PNRfJB}BTy-_a<{SiS)U#kImSkqcMW#NBV$bZF9gfBJA3XU!|tPGKS;|h!d z{Wb5VkUVrt(5HMS0juL~{p(4KivhnYSEcI(3ps)87y15dlT#q{rHTgDhZ~)Xj!^c8 z3%;u-U1PAF$}I6V;=Q#Yl?W+7e2{mq6w5T;>Ni)Q1o{!wS| zkIsMbP25K1V1~DYllhw>N1^<-N%W29!n2JRUsWchAB_#=%UloELLVGyTl>B%;G4)) zK*`Q32=cLi{i#%j=_Nk|gqB=E!qlt%KG6ds{h)^H8;r15m*9C8++Ko7PKehFIQ2vA zqIJrbV>vdj5%{BP;JXqLwkL)Y=D3JLXy<>I&*&J35+;+m>gdCB?28>Q;T?i)%9OrW zyG!#B8C&JvRb?k?G`;qQ5A)Xd#9cXdlt_tl6%_R)U>-L$K~^)j6C%S6-bF)qSb$@R z4+lr+X`2hp?ZJUU;ude>&#FYplAU)jJpX=pVs{f#nGnVyJg!fX#6-7dbT$%|Lz{n) z_?(j$8tzF~RxBix#uq6FO;?t(v2&->xu_0fO@9_&`##5qEa*{h!$9Fx_&WeWx{(qLC!Oeysy~t^v;xLnBB6Hv~+4zJ<+VEj<19BHpyc^~Q`yo?P>;k10Vg3d;JL zi>$~ADZF(SwHpw8KyK6;w~p9c)5g#)UBN7B7^u9F--|nD)EWtz;1*Jn-CKW7pE4na z-OXL04?5n>r}M}e+ucuh)&+upgvk*Uadu+GQ1BEBryhJQp-1w+}~JcPVab)Aqo-tb6! zgRyhm)AW7X;tAA|>2no>FK>VG8$t|S_GS;ueDd&+#oI!CCrERK3q#GSVPYEe*cX@T zXAW->_4EaPvA$zqq|WpNykyjTBk_r#C=-dC%F7V4dv zt>bJU*k{AbCdS4e=1dij3G7#GjyG#9h|MEbGQ@Ew1>ZCceh?v8QkZ}DbK?6$gTodTj77GTtW(ng0#I*Jz|GF;wU)OguA{Gpo5pitPzfH z{IWA!Zd&e_Nd1gs3+#0+iz2!iRjZ@K+1#5W&-_?!5bKeIV=1 zxGGf4&!1P>U{xu=g*<=we%}q^5JiwOTJobt<0y*tPi;y<9=SQ)<=HGCSS!veM#tm#cm9;_f~;qlM5?OSKO=k_CNYtevTs?!yqY^#%CH)ml{xdX zpOZ`;7Eq;YiKuX6l|(~87yXC5+&ad|29h8#kc3zK?px@1P;ID0lWp*6uXEenpeNVT zGFJiyt@J!0pHP2p>5JGF|1y1X79FC!WG#K|BFL3iH~5%OHjfPTT$Nn=36KtNmxy^Q z@h!ERM2xY4UYvU;EK~}l7{fF;TImbVH1*u!)S53ijdW$bs@W08Z-lN-YFk}yrTdn| z)%n>iD&wJ~KEG&k13cp_*k_@1{(RqKK2sK|u7Vn^0vYhC#nWixR zwQB!Je@6pHO+h3c677q8z0f65h^R|r7B~=rtZRk#7H+`aJa<*@4I-=SN?-zmqHsg0 zd8lPZc(HeQ8;3DkJzuXuRT`HM4!=@x&hU&U``a=4v1_+?529C&i*~C&Iwsf6fh+}% zB6BwD>U@7f;87D&e@~sNHd%w7C9|wn>(({t@~xAI09WA%;cwcU%D()3&1LEEq*!a~ zR1w)oo9u*5U^?PCV9-is4tjL$8@(UON@1fv3F%5_z|~#LIr{7PD)@Q zSt6w)gU8_+O%zb(r%`8w@d2f4Dvd*P%p^q+zH3a}=}V0^&b=c=)%0n~R=1zZ;PqpR z3!w~T&dk>c6UIArlsX6DW2$n^yz`0Bvy4>LB?XB*Hq&U7Y+4@{Qw|;wiG4C`*=VtV zRLFlxao?7>+fJERhcPmgrILY4Vskc7K$EWZCz6VqvLwSS`7fPB4nAk~hP&T?Kr$bs zVHxe)!~@fZw7{|0Cqlni1TkjE1aw*&WSpO4y*J3z?1!c1i&Q1u`d@w|Qx|>3$Y1pA=0EK!SbSsEQ8lA{^zX8{ ztOV$@O`~?hRzQY-nJUV26JyA}Ds#tWmldlp_gq!%;BQS0PS~N-2~8lH%y9@HrnphL zUCWKZ;{r;@Y(pG9&#|IFh@TA&{p3!oB&f!g}`2b7#xE+7_t-7}N zu?e-3tSLV~6J5$HFWvQ?qIGa#-0$9Ah#cmNmz(S45=r03g&s2qR>-0{eZf3=dhJJX zQDOh{Uqq7E90CD}u$+o4bBW!;N4#bJ&$m<(l(aV9XQPO8It*$S3h5rmWQ&2!Gvv+( zCWv-cFB;v$5QRF;WQxyH!A*bojs~tY<_r4SR5bgl5jI6#FA^`YePpaKGIuU89-;Ss zgfU~i<3S4sp575n#1E_mOJzhRD=JZ9!tq2oqdw{)YFc9GZQW<{1A$`bl)W$*Z9WA| z-(MYIF;O&FTcjY2U}ftLfw`gv^F~5WBRLp6Sm@fwTdn<%^0jNlvMGNr9&+fM2vy6W zDAMKRw(6D2OQ&IG&5nIfX?~GOXm$ZQYA_lPJ=Yo+V%mvds#U*_Kt*euvBP zjdk9&MKdL&&gaX}D@*@q8hVSqa<}!wmXG=>*TC399FRC*aXEjR!bt!nU<>?k@Q`Oo zNe9|i7V|5pQyk44jtqljNnRO+enx@{bG)`PtNDRiQuh76@aCY10qguZZg}wKEM$Y< zxYGfPp1)-Gcd}@c_-Uk9_?V&jc$*l@O?=N~$QeEFcu_Yr1?Zhw-0Elv;+CDJvARYML4~$dt z25P!)moS>1b)hA(VJQmOsoI$5`wT+oZ9hqm-J95WF|4tp8nsbQT+qE)8pp$A@(nSSjn zwbvmXM_EH)9TQZHfO03~GrI(sAy4yEuX3D2A*S(!%?{ouMo}Q%A;$b|op^AWDY5N9 zVNf;h>uh4|U{8A@#q6=~WCgO`bY%q$Spm#>u~UCf%<6;O&nV7%0~C;iDKC^(~0?G)bgsW34 zYMp=Ep+Xr%oIKjw;eK>%UJ3Obnh@2XmEEu6o;}T6(hTTw`s!f}i2E1Ix{US|yG6R$;q!W^EFB+D@(*V8oORMA`=%I4440wiguhYzuRz`!yG)1`0$N30oA> z&VWR$EYhB*yHR*#0J^d_>JH(%k({dsmZIhiz6_3f+D$_Dj|hB3Ue}V$1RUDWhgB*t`cV zB`2*=?*aD+R`L4Me|UoQsa9*#CbeOXN4Q%X5&BO&dIpnDj%g(6<^z!zrJqng`cpMh z>x785P?qHj^O2$VxVBc3-E&Co)aZZa-1b>hV*7_0*{s1?4h~6j;(SZwmHVya*!B}|GHE}P=m-2tk38jI~O5IpQU`~!`miNvu--<`ycVa}5r>cy7LYVEBH zb$BZE9!Gn%+GKC_*ch>|Lm)nJq=n@-55BCjzc#Se_XvBr+o`{UEFB*{WX8w^&{AwzQT7-$j=oEI{CaWi-o`u>Z2C*9g zGU_{?mu@`cta&W{&xY?+IPDeAz|2~VD{H4<8%y~b8DY5!c38cBbj?|15%MsNd;EzYO*AVYwWDl?Zph+aYk$%6VN7zxqQ zV$h$pZLC%fdWxF|%$b+tG>#W)_uJ9*xNNcxW+CijiE!FI^@dcB)ULo_e(>itGgo%! zH@L|S7Xs-psD6pu7+Jv3xiL+EM5A2qfQ?I%i%$rfs&Z}v3wh|pG~j;#>moWHlyY}R z_r@a<*>}xXvTr+*QE%3=lq%+vrl0dHYCLgQ<&J^V_LB0oUEr(kqs!>^1SqFHcBPo8 z^2)H12{Ab?e$JBZ2*NqG(E%|)m~IJ6k{UHg%Z>w4FcV%hmgQH^x2ihpOeAV~^#eUV z@pCMx&#=)e8F9|3noWNbP{AUjDX#>7?tV_deARdFV;*a5p@=1ZiO;&6$=e$l3OPZm zsx7VS(;7iL5J7rb$S7te4#{cux_prFfJu50L{KxQ-gGH4?VF^Y>S+)oQiBqi^?1dN zsB(+fU@JwH`L>QfaZ*x;gus4gLeZZAR;Zu#T&IwGv1phd*YbaeFCZPNP*wbXiZ4=- zJdA4=y_Yc`=5+9frwx;f)8!+h9nJ4Y<24O7aAQqJw7}qIDtpE;TjI4pAb|EIA!koz zv=ToxC#r1gG8)Q!j5N!^*YtrlKBAkPnGSK{avm)Z7M+jjO~PKoRnD`L-JxiJLDd1C zUyk90x{yA6L7RUWBYgy~-rxtEZYRZB2O&Ak_HpLceZrtUR=IeF?rq{dc%?l{+gOcjFzT9@j8>HR`zdpD&#<|-C=H4x@LkbZbaT~Ykb|url=$3Y(}U^fjNJVrwPNMn1^TtU46oYJ!=Ly z8bn5Rom?XK(4KJ*p5Z+#2KInofxdciP$4$%hxOGG6S~^!jxS4@i)Js2i1PV!A8=HW z3Y`>X+pE*RlAifA@$aOpGT&p3-I^w)WNjN}9{7{gnp$E3WP@Dmc5};kGrdMt713tw|R1Z{<|F^xwG<{twn1fcls5 zAPp3k3(pJ|w_O7bs2!I_0}U3p8zBwkOqT>94Hvf-ZVk^nmTnCaxA&`z7387mb(oWm%GLdF1HrJ4WAekGms`6H3AZ4`4Tb`j z)4&Zwx9P?Wrvd>nmyyX0C=M_RFHB`_XLM*FGd4IjmjS*FD1Yr**>c=QvVG@Q)Z~cnCSfR#)VDpsne6#E_4^$o%c?kaR6p2 zhKpYzJSGI0Pxb|ng_vkPz%20}c%~RL8WsrAPxsr%l!>UI)2b*Otm!&J>ZR$&`eUsv zJNjdYdk_)!ndDlcej<^jYhi4E5e^X+S*R(sz&^55Aev3~4;AOUTqaV%60MVpk)mZ5gUhtQ6Bm&dUjvx26s0bAtDi^JmZWPKyFUP_`n2G+# zO!Qv78M_m&9+xb#QjZ1GMX^l6(m2iKcewu|x#t9WDEfQt&GDEHT-Og!T43bOx|A`2 zz1nQBi&p3KPdoN~jBW~|7SI#fJC`4_cRm*22Y<;d0phFMscvxAm)N3qroYc>t_>lN z{P9U^1i-M))vC>BZK5k5pC+p>bqS$=f6%{MUB&IvWC=IV#U~+d+S(6eq6S8c7r?7`R78b_<@rSQ>^Rj`f_FuowXv z#)D2QY+^Y?cn#x;ssNS zjOrd>J=85GD7!L#MR`|xAz<{d1I9mZ&PkrXF>XYO^NZAZ=2dnaVUlJOVa< z0!$Jlp8X!PmN;J;Yp^j^e(OE{A=Q&@HDib& z{V(Fe;laorGFbO;I3B)Nh zRGx#bFGG2b9G(+ULRX7F^RnyUF_t${Sj=q)IP&~!ce-#tZslFigTP^hi5PAxC%Un-ysQ!b|UahuLIX+(s4R|@>|*b%JvbuZ4f8xGr6Uj;u*lE4e9rZNdxE*<47sfi{>Pi#sXyJmX-s!F=}8k=sWxmho&DfY*w z3-PXcdTbKUae?>g{dhGDo(Tsi*%bJmwr(R@EW2n$VMoIE-wH?k8=ftssmnSV(5*(R zJFUz8^gmQG+me%IGO0K}LDtukOr4(i3q7wlA8Kt#AckB>Gu12EZFVEhyGd5uqgzF* zUs>!jtzS&0#xJi|JWi30^9ZU5;fzs9VaRt*y$~-I75x6i%PP-dX(<{oWYLdHaO8O8 z@M|tIx+{MDdZhPqaIVFEcqR7GWn&|*J?qi+BJO8R4LOes9NY{Oda2f;dPJFR*PUHb zJD*-VJ+5%Smbm=95x4*6*!`ZXzgyHq&T+V|(M+~lvv)PUR!{0^k@zPvHfry7{-Z!- zhwc3y%=_zy#D%d;llykyxZ#eC=~%=3#34{vP-W0{q}RWbYs0eR=qhRSO6JQcwuPp0 zlxf>K-^2M4zc{pt{N0T#G+&Jvu{oVkhv+_Kz{a7eT24fsgCbOogF)+9k^(p3RN7RNKimq%9+;0tKQ zHPB0mvMuu~!+YXQ;hx7V3Fnj#-wamRh;3fo#o2doAN3?#)D(t1hRq(5-4{cBeIHJS z=XwPc$pJno6e)KPDiViJ(ggu7SJ>usob43_x4$#>m^Cu1*D>*ocx73J-|B4koypK+ z^hI`dTfkh6pAP5Cppsu$X#+7AX8GTSVp5z`g0M4SnfPYb#{`PAdUS8O?o=Ld<^n$2 z-r^l!R7kD`Znpom7<2YtYe#+=+pve7jFBmt4FM{t?Wuzl+UM^nbxnB{Xh%atrotTz zqUP+|_$-UwPKLD_<`FHSFlQ$)4Q%#~?JJ)hZM<3pKo8T(4=0}HDgKb`*U28}C}HHI zm&S(AWUxoz-SOG>dCHI3ERwS+CR(E1Dl1uuV$*@(kbjM`=Ft!?K1xhF+Miq66TA0f z1Nhy%H?w4ZkdoU5czPG^#SuC?!VnhPf;O-I><~86SXiVsg6>tXV1+K3LWub^xa6ip zeJG>R9q&G`p97x*9d9uf?`Jh*zDb_>m)l%Xi3md{cB6DTM<`ezc?xAB_;rXzz3r%f ziQf!1nHBwRY|~*+5;lEa>1qwgT<4bq37@$tzh29H?kk|wVkw>}PkM94Z$X(Vm;p(; zUsn$apLmw9^f^#+&RcA+;PuTN_`cRpI$JP>VrfWz*WKWYYQ)nk5C6IrvjSr2Py1nW zqc6SDa*AP#=~K5P=h-PYL7GhQVl+9$U}-1vIA7`P!AP4XnSoTEi#1eOh?L#r9=sk*RojUfb?S6{I3`5F^et?Tcy&FPLiS3-=>wP!5n`oH8+NQsG;5!+y(vs@WCSj)+K#2!r)p^Gc z%SP4N*f^$5MVS|z92@jbj#NmO|Y2etS?9MdkqIWQjA!n zVTl6CyiitVKt-tbd^a$_x;Tud{{ouhBjL80$s&-T0mUoo66zFzOC!Tv;1L|boQh;{ z{#6q)9`@)++mSbu>~IO%&NL8Txd6Nq?Gp}0Hwy))=Fe!h8cI3)-?_Sxbn+5_4K*gQ z4#l0WF*!bsRwI^?({DX#*n9p83bR(fhWQpM#LgT1M8E=(&C+yx&QWSMm4|dP`3{V| zO!Ierto!$a&*$;QS2!kNjksO2X48YZyKKg zII&z1KF%J?GkFl*)Gnc>Z6Xp-l4VW+;aMa`$JjKeLDveVzEtNs^jSE+xLTT+5i4B~ zt&&Igso^uZOc`s4R;we8=FQ(pXXiDklg`Df3F?6eTC_c!TvN)CBAEgm%2hK%oZqvmACgD58wMnMd|%NbYVdu zi8{6J_MNe`1{zxFL~m7cP2xWRCRzHmqkAhE{X2#iAdX6 zP8fK`S3pWpAPJlPmc>pnY)KbH;+xBg_HEW!Pl%Nb4dGrfWIV3x91g>^Uo02!KPNYt zZ0%-Lu>Bb1EUfg4AOqSlOo1T_9j@yx%LRzY8Vz1%7P=<=FN zqVe}84v`Vo_k2KV|CHaiu;+Ll;xC|C>Q zW^>Q)&=4o|1|M$@PuxS-%Y#Ut-ffUQ`(53v0+xAaeCTB_ogjS4_Gawj?a8)+xa^3G zkB!LUbaTRGzPI<)p`B=}Q9h#`%nEQJ#99>)YV&)o4T*I$ucm6NfS60V+6vCxGpwIB z5i%`oQ<2@oiT6DuCVr3mYd3p0*2qFVu3hd+q#VvzdXLsdej)R}6(Ch^1)C!Eafy)R z-vtc5;7dE-cg$dke+mDJ*%ZVq%={mtzO%DCGgw^WAKkk?zMz_uwevp>@?TAn*;HCW zL0Dc%QAkutTv-9EB%%zGR~8jfl#oysg9?c$2t!^l|Nky#1pilA#D!BITM2mqj!88~ zEj{|)mHzYaDH11u4s;Q-Jw#7`ctH zqTqNg?|;}=Ql!Y^@rO}Xk{NZ_bBBVB2@Ka>cP{HfWIQ{ZK2jP;B>zb|oGLf$;74X5L4FkD#P^i^bCL5!Hc zY*+2qp_{kaCs*UETSWuB&g2CD5>1jhR8_VZ$MeIfWWXgCzp2hx5-@JTysVcF-&lXB zJ0^$Qmw%|(MX<1()Gw;Jv@NNPPlCAqaj8qGT~Aw<(vxk(bE_yoXw`$JFf?04S-~Lq zvtD+ItW__crQcqV%aJ4ShIovo*c_@`Oo!D%{l4GVdq8b>Wf0IFe-SMavGHn_gC3LP zdpbvgxR01kQE+tWJAb)6FZ;XJ_K)|if`<^bFIB{-F4KreDs}$rvf%_zjsp|UDke5D zmG~rPo)s;%Pl=oyTI%UZB0P5ElEtaBnsG}D%*SghMxyF1`NJsA2;!A$6m0Doqv;gu zF`Z4Bee%_9sS&(RZF~PnV}XPJ4loP*z{O}h#k0EPpxrr^kzEy+eO$aXR=d^TxHac7 zy3R3r`YAj0-ZSH#jZpo{C;agr*>qk!zFj;KC|m*8jTxOL9uF2z2q6m`IG1TNcYj2S Y{daJhnz2gAgbxw};d5{(=_up>4;;ro?*IS* delta 55791 zcmV(~K+nJ5zBk0fHxVUJL`E$!E;R}z(A34)3OF;75flPBIF~WW1}TwH3xCiNO&ITo z=i=Gfm39>JYD3*CA0!>nWRZjh1Sk|RJ=CvvewkSy*j+9A;_wMoSy``qXBMKn!(DXu zyYHe`-|wHk`?ueg(Or^;bsVL4Py4$f36mtdE0ZWJi|X!aclVdzacU-Wze)2bcsw^- zZT|S}+zqxJdg=aWJGF=VJb!4W1+*VVY5buX@8c>sn9bw1>CFA#o_>F~sl&W1?lwso zR&_2LeVnFd`$gt7{Z1O6hSRxgo8ImFyRkVRt+ao&ZGX^{UHa{D9Qt9lynb9|VVUas zg{;p%?Q zu*&OO;itr~IH#2u@vlizI<3r-LbNhV%3!xSD}OO2+O7k$HT$`ffr&U` z1-!pc@__6EUp|Y%s;poVY9|=m%d;7++0G-Ayo?gryNuF6mOsp0GYz8-!qniqJ{NGC zzUeNuwV@0XPpxn~lI>Kx-SKmhBU%0|A8Yzaz!Ss)4J+m_uTz!+fEpdS*vXuvjRP%1 zX<&^m2d7AjF;wOb;YCcoJEg$zbVrC%2;$jY3>iFmX8G>wqZ=#w#cGjZ0#2v*~|B9 zI}qR4Y@_>%mv1?P6|=m$6*%gjh)ToVLDe2sQ#`DMe%1huYL^cilxgZNC+wH+&?T z+V-#JPJhGHbRJ&x^XVDqP3oBWnK*4AF=il>2#v1&!lZm5(RdI3wh8BzHH8mbRtf=re8Ij zX(9C?T-Ajw$xaA}I}^rUu-GtukzU(Rg1eguTYq4UOgSNlQo;Z{neDM}|1tYa7DZAW z)Gn>ax^VEri*f)&z$Ex<6eXj`AaGue#;Gs5EFaP&t1?|F zx_>3m6qm768wE=dtMBqZEwxF85`ao06LH}jaKlT5bJUzq@jlo%4Wh}tssEi z;Fju#Ng5=1ncA7AYj@&F66akQVKN7Cdg!vdSdZ%o>9!iZzLrY$);WtDeWUuub^@-v zM-!9=O4CuSA;f{)@oofu$2hvxJtDETgntR?jnFu7;ND)U<@0bng9p@vWEa7#$B zp|CeDHS74?@65OROxsN_YElU3iM)6!=RF^^vrdZEqa02Z6@^pr4S!o6 zUmJ)djx$YxK5#D$ergZL%`c#~88tjR$qtMx!87B(rTC|Hxb{Ivb(6SJUu+9C{v`gM zc&?a_XG78K`GY5hu8Oe8DU+fAJpq}RppeY~R+c`Wmq}$^ah=rX0COU|)o3nRy66UNozNV`HW9Yz#as zlG;fi;%TWtDYDs9);h^J)C1tHqxFL2a%PdPn35{ZnRjN}?8E_Ar8;10e4RTe)^pqO zd1TD_EA&po&UB)e)Z??FA!kL4_V3z%k|HR#*PBWhm5IONq@Uxf6skoEVt-}SVKwbe z8XRaaR;wt61&!`Eg#!3vuPfPkd(=(bNj(Q?&gXGxfSIP`RiNM$&|qWqM~dP#f=9QJ zkBicQ$rXy#kWo}l?`V7pe*vV+vCZ(DgDq-HE}1avC^(s>2TRZvv9Dn|w{#P<;eGbd zF0GZ+925-FV%b2WCv1CNV}HG?S{AcA03(ZXk({Vd$%-`o3#I+zSGZ^vLh7+t5~^uN zjtLi#ivVe?6OIxnuImU_L7P4OH!|^8AG{_4WvL0fiJXIsykI#VI5|jj#0bReW^5%w z$%`ARQI{EQ1(&G-SaTKtQI2MRZ8>DZ$ZMMDA=ZN5vimKQg>&3lJbxqxM#H+3mm0hZ zcB}JNfgANC9izsx@$GC`b<+GQDAcKxp9FP_S%IJD=dQI!A&!JRGS|p>Gb7Ki0+n(@ z75wEU<)=;K*MPr;GK0es&new0z|tgh2|Xo<;#e8BB>Wi@2rXhjYqzsS3~hDBUQtAw z(c(BBE!AEu<~_x9WPei_!_@T@2Tvdax*!9-B8k)xGDw?uj6GCH-caE|X2@;lPFIIm z>srscKG|P0j>fBBoMh(-s|UWSF*%thk@8W=fkBSc=nE+x`^~Po=wv5ud3r4~5d6(0 zQXeaU`TfO5Lb1!u*+SBc>|Gi|IODL?K7=Dwi{a(vlPMntqnt zx>T#woLY7rb+L#tja{#Wf#-&85e7JIu8YMP0Jc3g{lVc5n$>{IUJ2%OfT&e2W$Prn z*1-V3wTFOcdViZOel~N*pA1EbJ6U5=9F8ft{`U)$!!lDnXL)p9DywP=e)H(lFOT$z z0jONv!s!%2K2we{_V9H8vsMw5EJlA=E%JGI!Xgg>(N$dO#G@^<0{9!T^gj_S?3bT6$xH7@J=6O6sUZvhQqDdANhK zO9pczJ|7n@Df^Ka_Y|pd_~Bw3)Hnu3bdOeXxoAHo%IjCWwomd{6s#2HbGUK{ zN2e^5#67vDEJJXQEeDn}dJisaHPYA*+gT%ImVY6@{06>n#!>jjN|%UDLJ42AWfx!!9(SOKEj{ZlQP@DAziqhy9M#!_vKoPMhDqpz`Nvu&HM zyMOr2raqA5vB(S>3uoE zJK?rTTCq-GK&v(@o0w>2AKy1xS9_H^^+mCfAJy3b@0{3U!ZAey)d%lY-=}Lzspd7^ zqhRfII+HCCes(1=I_&r!WYUV)Jl6VUjDMzE68K)3u}s$)3TJ%VbEq0s|B4zY{w>r1ZYRkUfu)uip_J5V^$<=S zkfm<8Gbc%>qUv3#^BAu}A6ARVJ(*l1N*6OO^}w`PaX%xg>2iUt^3;V~Co7_H+Vf-++Ts1NOBK^uKL_g8- z(aPkFF-I|`>zwU>kRiOdpj^-8;eTAq1ZdE%u>YM}3@%y|cm%yhf9Z%hk|*hFw}{&I zO`STqG3)4lx*1Nc*%Xa|dY;`V^*Oax%g=>-fKK?atC<8S$qqHRPL=QznE-IMlgqKv z!r8z4COJ4VZ)726okz%?^{)XZ)OoZvHLIUpCil<5t(UXcQ7Db{gmv{`MDkj{pRl$a+V`6Xeg1@g{C%4us}BmqAQ06@&1TDEH;3sgR8rUXzuBXT|O=SS04TSOSZYE~LL3dGHq)q?ilkx;Dv417b9sx?SAP=w} zBFOJNWHzn|oxZQ(`!>8td>LZmUWw7#;r)_h4e3wI4m&Az_7i8s>wVyzT6^=0!5hz9 zR;wDNODY~@Kw~{L#R^k{U#wVgspH=E%F_Ag5{_v*Pz*jY<$a|~muwW38b-9(`xMJz z`{YaX{Mv%) zvuP^z4SZ4a3Vpirkqw!?k)p8(EIKS9^!;Cy59N?6Bk~|qSARU~1)>bRNY9?s&?0x3 zu7w(3HCeK~+699sqfs!=kRzp`RzO;-tAbqmZ;JF7yR@cLv?ZM)T;9U7HMU7Byg_xH zJfl#DUqnLrXW_rtrT}WU>dnwu^7Sga=IeyckrhYQY-gnNPK`-wyqsUx{9-?nUiU`I z*nsI@D5<7LDSss}o%;z^z&Dg-2>(!}!HQ1w+wzR!9sKUlPV>%4SF-9;YB$XmvlD>ESpPOswSq6W;FY!;~`nfTs1pkMIB5VG~h~w3M z=Nc}AAsn)u6I2KTw=b4HA7bpJzf^J6SxZ;N@;?JNSAYK#pihD5_6tiUQU^mc<_i~* z`vrx9f3LfEq{t5}+m!e#pk>8}q1}S;s7YBFYKUb{l)ftFy4wG^q4)K0v=KK*q!NJxgWQ?3#kjR%27qn~iRdD+C9uRp|E{^s$+FTX0| zO&!&RDK?MKo2()*+mvY<#r5X#u=(e9w9}=V@9xv0+_pW+YWp%a=i?-}&+U8^?0>24 zx_0OlKRio0&CP5l>G99Ie?R_V`8-XYq_>!VM>6d3*yoi7c9zoib35AZ zRce?1V8>J23;ASufi=jN@IwpjXp3oZw?r(`zClIPuPh`i5utk}A8jwt-i~wAYUSC2HJHZ6 z$l`%+`^lc0v3crjBp78$%ygH~`Heq>zJF+^{bicu%relx@ z+)mqxaeijgd90fzK!k^4dBaq;4sn@?w3w|jQC=l9WgS(flqnzR`o;Q72ar?o9Xhkb zDxeErx<3Y{yHBz>DicFM9@TLwqy9`ZXwM*N5hn}tOsJaeQ6&Pdmvm_RnS~Sh z7WE%-|8NKw9YTjR4$b~(C+UFG0~znJko5XwR;CaJ%CbeE0u-(Qc*PZw;2!xLGm=`D z`8bS|U`3#00coDSk$>jWla_lPrl91Wj}38oL457xQ$bSFDHz~wzi-aOM!e`^xgQX_ z?JAjMT-y^ZPI}1-zJ4@)fMGk^5Os4yVr-D|&^}`}+_gQ<3&aH;Vglu~Z@T8G?b`YE zj_zb6SWt*Q|LW%8YoHUeGBJ>`Bwo+KWq_1fNy3V*|2*{V9e?%K5A3AnGfPex8NF}=0Pw|G-e*@Ckid#0h+HaSW8lI9!1y-ujO@qEsW5G*|(W= z*#6jh>fx{xG~aNHruk_1hjtdbfQN)72=T}4cTH*O({Z?T2Z4Eq09d}4$yQg&npB9Q zJ!cZ8mzSed8h;vhT-6p~o-dI0p(R{xHA{*`?nYAO+W=s>4XE%DQu+2aD%oIo|n2)Ys-pjtm1tfP$5%N|}7 zHCj5aiENNY4k4snn+bF_X}ZM~Gbx>t#c2b>Qv!9cXMan!OTX8gR6EshoxLPt-fg;pa*gQ*uq2T&EAd22LK>;6a

  • rh(@}qPGpuJy6+TlFuvgR2 zkz#Z=4Z#IAx~uy3dSyb zo{}!sWsVIpl791InlXa!6O|1Le{)9F;EC2KRZ$!} z?LSF5oT0Z4`kCMnW8GrN=dly|1c)Us@bo&-mwy18RYQ@eXIBOKeAY2SpjfVHBp_Rz zAuD^~p%j7x_Z#*ZTW-KW{-f;L6WfuA+St-Ivv)wa{&ISQ*GWGZQeZvM4L+&Ar!) zK7W_&#OyIy9+~`_JS+oc9^A9K24{{Rr26zKrQ8z& zMA*Hx8H@E^6?w?OE8fVzope<*1t7SM%YR8qqQrh|pV*qsa(A_c;ivn(YFXnLXb~F_c)n=YT_Wl8H!(QS@{SSV^C3bXH~v6MTG0zmP;+nD zFPmM|C5P%oA;A=lei(Hk39mZ{UOe2QByk%cw|d#YPFl2!S%nF(KJyA@uYWf+Q9lB> zr{IRYqXa97*_hr;DeT$I0_o)F_M{wm6-7bkLE8sD6eC7+&>2LW&S1UQz>+>MP)hP25$(@b0*lwT%^&{K{oB!4tWL?O^lKDVA> zrkhP`w(6|xM0e|Bx6R6X5ZaAvs67Z4< z?wX#&#*6i}u1anoG`q!{GO4z^9i!tgbb^vEy$v@w-@iR^OeLw*M$Hmm!~j3quC>}C ziHBdqkAgipF zFY9EAjI&NA)vVJuy_L}FiBp{%pgo^0+yxHbJ}XWy)@_VdgSqKdiuk%y%0AZ;MKEuI zvn|9*Wq(vF9GeT72J3_xC{$b#D@e@g_P^UDQ*Jj0-P@YCsr-ttZGes zCne&)EvFX<&q8mBaaI0j5;X*XUVV0;g@s>ribe_-;Nvee!Pw|CkK;KZXD_oaaLsid z-iTB{*+?OA{O+RRJ`9AsQSLjk-)p*+uA;5NUCOlt^7 z+Sz){RWYEW_bh@N)~U1uWJb>qE;!ipj>INiMn(+Bd`)Ro+NG>bc7kf0d>mXS73Rn{ zG~FwCHj&_k;R!D(AI5zN6(ne#yInHmaPM=jv~&IffoyqCVg>8oyj;)90SW-Hra}(y zet*6Yhk*ITQYBW^11GDKxs~ulu8y3!cE1xmi&MfsjV)=uIMw0M0(3YmF=I(A0sXyd zuq#D%n-hGv)nlyKJ04(|O$F-L9>9}($vhOAfPYMK z2~!XPVTySqrVqzN5A9wbE|71{R~%LYZb9Xu>(sEWj4I1A2wsxO71ArSj*~@H$$G8$ z1_oWJUWXO+>IS9k{J4ZOwSZWHmgB15kcUvrl#z7%3P&cd!)pKhg13M@M4D{bWoC$O zjpQwJ=OPl0%)*PP98UBdq+LQ*xqnNT72By{Pm@rm0TN>;Xy!j)!_i9h89_GrHYh3d z5$sAHs;rS^J}99N4rI1xJsXLcT%F_lY5LE{*2zTa4cA;GK5(NwsfuSIs^V`}#Qrks zF~o&iOI-3=el18z!g1e5r#zAL4+lEznbZuwUQ-q@m75l5&T?0}P9TKdfPcUOk+i=5 z%+9!nap>kt7Bqy*HNT%}i) zD**{0#mgsMh)eDFar}@oHFpBKBX*?Y5qiY_ylfK$h@clW*Jqb`vi-4T%PKdH!c!AT zU0?O(iT_y5sEc7laOU3Y$$xx#9STr)ohM=m02K}_PnI7a=K6>>FScK`FUsMbs^uQZ zt^VD~NR5+Xu&lXcT|fnibj~PCPO|h?Tdu1uAOpqQ5?8K#H|+04=Zt0`jY}Y!Vqx)O zai}AyeT23IFddr%yRiBK7#8XzRn`XpI4pgzkWRt(3#$c${ny13`G2T21_yu@TwN?O zsrFtR*9CL?*iQDk^P(4cVEBdDwZW3ZBXEW!zsv(h$iQv0lsCd2sIj5Vi@ZnmLD6hs zA^|^;(y^kDdCuGQ6bnxy`f1#gi7ZuvGIN3W%v=#onif+uW5fA0*-rK}=^WCep80H_ zFTvRNDtwq1(=~R7%747Pfm`or3^_u)6T-wUNch}X*Ev6XM}Z6`5eoXF6$t{wK552s}FyWzuM>Cer3?4?X-BM?io~;@wl_`|Cg&8GG%xyd`n$;p%Nq6myXV zkW9GQr_xQ_r;IXMAl{IaStSeoc9`aSWwhnRxcnzYzPc5|d3}c7=p*yne_2?bu4mUb z?Y(f1EH{#Xh$>Y?PZp+6DnF~hVG|_(+vit}rSyuX8-K{2G+=$QR5?2VkiMx4a^bTi z{9Kxg02d^X+WP+*s4YS)cb@|GDzveVk;=M-|C9N`WxF^0;W?!ATNrpc%oTw>e32E>~R!JTioDxjWV zy|G7AZ7(0ljf1{#4m&|KQmlbtKM;==I9=jR-Mn%_qZfQGOEt3y{bYloZ4xB^1A_cv zC6_V21``4?G?y{T0Wgyft2mR+x(os`HnVsmW`_Ybmodr#FtZPJxbCmN zc`YCE3Jneh#M#;5aCdgz>tMB81* zbU(C0TM7xT9mh}BPLr1NZ0+*}B)kCJ3CPJCYTfs`to2=G5CbdfFG3IZbjjm~eaTa) zr+=%iVW@6;o-OO`(DHhTf*-pU)@@qXhquk)IP|nG6p_kPKy|&3VB&o=Tf5@%WLLis z)$Pwuv5EIkR>GwyyY0|*JitAmAZTJHrK&j|P*i6mqSgTj5ao=J2>%jCAd_pw^b)KYufJ z-xB-}`u%Wm6-C}V!oMZVJNo^Jem}ZC9Qm_mA0GF8Yd`Y^djcWHeg^PWn1JkJ z`w7s6rUfUVtiu7IJRB>78fu-65~riWiD=<75Ha}-9F1y==X{0hP)j`mM&wdJ0Urc{ zx0<14+_5bWx_xBycCYK5>3D`rfPa9ZC~<)u6ZL!D&-gi1w>DeTb;vbMP`lzZ5N8QO zqvdx!V^OaWsd>oXm#LbkSP+1y*q}huD|rcg%Hv<)c;djjWEv!PET}WvhISLg$QS58 zUqoOa75fR?SfIQE7-e}xD?++S7BC}-ePL^ zkv=_jz|pCv8Trd*z@-xQh(5h(yGtHxJ5lMbuO5Y6=h`s}6dd*_P;%b<q}E)f`4GA(acVRr8|6uPA~|(H*bGpC;GbV8tY#v765Pqx&dnQ zr^D>6;mvG*!>R#MOPn!|F#grWu|@%hV1r18S+6!ROu z4H3E;3d`J@gUc_Jb>B9)5;{)|ofH${$ufX&Yh{p&>dhuo5(e5MlYauYhVdU>p?$r% z_IbE*TjcWVQO=GJpYqWtSNu`LP2a+iuBrz0EXo?bD4uwa@ zLcj$Fs` zfGr+p{aR}qeEyT zV-ShqhSsX1g%1FAFfAzU!8pZ%9$`_JSdTE(B$2}-qz;dOln-UUKVis6cdVLHN+8}1 zVjpFpg)MUa!KOAl1c|qfmBVpEvH^A?BxFCdfRdYvWL1>*U zBHLy-GU!^?C4ZAkN(@A!WE~3K)M$(#br{3hH~{v806IP>#0@{66k&+e z{J5v72Of|w&60BoNm1S-F)HX5vkqDmlyMRi4as878Ge|ZEka=G_V)DLeSVk14^q_Q zx&ZrY6e-#;05Q+IHtq7*l*i=gYD`TL21is`!}HGYQ-5l1fT*q^2%SpLW{7X>g>={Q z6ab2u42!JH&k{)iUKsx5%ZsZpg6!h!ufKu90e}~xbO_h_U|ur#oY2o{-@qqVCo%iE z@Ov&?%6|fsu)Hr#D-4`w`D>5_FCYTJcOWIYsvtLe3ApeZSNRetKM(DLUVq>MA`Wco z7_b`g+mV_#VRAnJ+mo{Cg@Zo`C(bQ_2mv{x5L^t`{(2o+`j>ylkd+$wv1IU&(IMfI zIYzd1W!G`KAEUVqh$wsk*M5=3{;1bRVWbrBHMUqN61 zJ)uMxg6?1JFf-dXfN7SO!_O_-0$--CfvBot7NS|iU36d(lv@3}`E=AphuRbcVe)Cy zJT|@l^lj5NRi!_DfBi)|B}z5s)ViJ1}W>OsZDcUP{M0weVdCl$O1l_&H4p6l-e_O zhi|56q3+$)B`4WPNn*ztyBWY)(>qlv%vnLYm@kFY>%+$wL(3@jV zqj>*#G>qwbNyf8a%t`~Bm2w$jWRo7?LTB8S;Kym*A{;%T-$Q__-N?C?;NP)&llWEtLrp9J4733b6p zs{cc)yPEL$`8VLl_r^=D9Mo=hDoIdq_$M+SkIAVW4-`5r^`bcRzJD3KmXI-SIXxKgO~o9tFS(ix5hn9;ynr?lbCkDWwGicbS2%QGdQUt=V;` zl30%|#hFeccG72_v<*n|HzWo?j;+M8EqRiTC+8ZA9p>LgxwhaO)}^hCQX4!Lu~}a%%toy z=BC^Y+(uuNb}$n?MJmV)E7+T@V+6{n>$pxq5&@F3V`^B4QM-aNy^K3Ih-g~Zu6A9(}!72;Z7WvifAzFRcJo^#;EYmB?^=ih}-WyLBJ(em;V?WO9bxpZL9|ZMs z1kbesqeA8BBxzZ5aD(T^Mau~gH>Jclyul@bB9@w_2w2H3kTVhEaMql|JMH-$GUdf5 z@+PE6cp>1Y4R00s!GAhqey^qB{hsnmyw$i+nTIzUXS&-FoN4N-L@w7~(S}2>Gvti` zD&^@`Xq-7!Xu7ot$CfXWuwOzhQ-cvk_r?_VD=budF$BO5kZ)B}pF3JA-*>v#ce*n^ zCwc$E$V$FxmQ63WMvib-}j{f=(3Gut0O zceg&aO5>2dZ%nyrPnEb0i7{o_^N@o{4qsw(m9QX=Jz5lEy6xT^w7k$*YWD38e?1-^ zco7goH5^EmFn=H;hNonx3AY9|*ZVv!>BwOZv#}WX8*6C zcw0y?_Uox8z>5bP=zON+j1Om~OP-N4I-PTh7p+rB_$o~i5eKsnioB4y0o%1sKlc(lI4#dw@2} z2y49B8GYKOIq>Z;g>HLIOn|jVylGaUT=m2U(W1+Fg${qn;ze_5+$MHnAcB8i%F!uiwo4vVZ~`lr%Bx7osXF>&nW? zv*_PE-1s-IpZWUz{_feguQLCp@QO4{Z|?RtaZbhfCW|7^FK+I3H$ScV^8RSnx0^JG zSLJS3^;J`sN7T0mv;BWi)eoqBybb(S*>NRVolU!M+LPI#t#9x(bvLv|VFyFSU+(^k z7PAQguSil%DFZdbk^B1j>YnlaY*ja?pUbwdWC>K+5A}9j64iI+Z0enLb%Ys$2=daIH0^p%7&xa1>GZBurQ8hz% z)D91(Hf`B6#kt?Tg8%ybHuhJqU&>}Tc3Nl0TUvWtbu>#9hB7UGyPk&XxE!rMR{a6c zy(xP-zYewjQ1*W)ZE5L(dauLmha<0xi>4kNK#D8-(QFFNUXveB*=JPyou#8buU4qH!X!v25pTy1XyYG$G`Knl8WjD5$4#;N#8vXMcgvnN1vKkr#wC zQsQMrXsLg(iPBZoEbXT7f+V&J{cd3=n=p>ND45f?CovG_tHFFnXB?1RD6zlJEX)yS zUX+gn`;UeDJEPWmX_>wk(pCExXpRLoO}{W&n0s0DxjhHD7bl^`_+vM_$#P%Bs(ktG zp@>lgwp>1l?k!bnZ_rsRVl{KnctF#xSadYM=o0fYf`GvTRl7bdzYP6A2Buk^B ztcV(|&h-HP$HC$b=Uv&0!Nh1KfTC*GORJzI$mNQPgvnK-M2bYmC}J6dU^v`IMQ!la zw(e}U74LnEE+gBo?Z^fN*Q)rein`szVF7=oA4fhLW*|R9@3r;R>||1=4I{BV!f@%t z-xJZkN87kUL8iu@&TV)&Eb8i>7@%w!F$ktJq*~~n8aH;s_JD@6TawTTmE%#9eDmGX z6-r2zWtVb3budydDMsnw`~Jd2nU}@I#a+*?B7DUp(UL@Q#pYK`0)n;6s-(y-*ZY5O z%muTLlydGRBz$Lg{GH2knz%}yi`*N#oB1`~Q5y3Z~TSi+*8kxTr z7^z}Gbuu;GK9xKAX@o>@F! z{UkP(b;YP5$S)zkc(@J!iTh#;}?$8syGRUjYRs_%{Vs`UHrk%(1$sNC^(7FIA$ zLA$b31c7_CPLt`-$0xQ`srBl~VW%E~aEo}I5}=Q~P@ zhq8`g=mma^;qEY8;P4gK99H70(2Ksk#U3e?D23?zH5AghR96P%iFegQ&5G`t=ZY!W zS#9<`*j?yGerVZl55%+EerSI$9NWoh1b>1-CtZ}rM77A(9ygJ`?_0F zd(iKsf3^n_Fdmwoclauu!Wo@*Rkt0w&WMB=2W9hVfd%KrNSgBs2M%)NftWbvxZ`oS z;p3rV705;1DbQpQ3@tlxOBwd&2kk^Rt*!2Pj-lrjea1XeF%*T?EDL|r$x86h05+nA zv6FyxrKnULP-0Z?tG?4=c?Tpv4myc7^%e;umS4;kA%EBo>e*djh)7-f2C3HVh4X;= z9^!(VAQKspu$A(2FMd%2okBC6%{i(E6P{9#&l>9 zamAo+XwSr3fP$g~73w?v0X#2NJ{O7a@GH>?ATHjQe$iSu)$Uvou48*xu8G{|qNk)8cI0#f%g}*>3RsUfkv0)N}4^_?b zf&sK8E)+B8UK)RR0in2Cw3Z#pOmb;NAF>{FT#0&nD8J$fm#;j58aE>4kJ zuKRlZf?yi&+;m+1B*bFLEiI9#=W z8Ci(L1zzWZ7;&k<4mYCJ34B!s*l0C@+_iF(8bNd?%I*U|Fly*>oX>6ZsXC1weXja; zffyP~IX0x(hjLUP{M!0cl~#+-ZQzGz(t^|2~}G0_uN*(^D4*~$-S`*uR45p)t*Nd!)ZA7ixxv^ zohewf>>}}u>@>}ehqFqh^{UjFa`{qv+Oh0a=25CzfQ5L`~%Y3os zsM?xNb|A3Ul*bLUH@8Xf#wfl_mRYkm^Hp{T2uFX&z}lGIvapA8NL4u`V-%@K$EGnZ zGx<1)C^2pXUs9oID-wTDNXhC03lCwo$BlE`jHudj;eJ5wlQoPzh&bXsbbz+zSXt=> z$B`~>UmdI8p^3xL`jMoPtKW@c?g1H_E(X79z(q;yvP2*|CYYLNTvQE7Vxrv{?P8rt zHFPAj{w#Pwm+4hOhyReM=?zcqQa?^IXLn~zCqQI580#sv!D2C z{}yV?7Aqs(M5%c&5+JRd1Y_thWc53i_9C0GR2+Jxb51vb#oljK+teJn=xE|V6bPBn zJy2{gz!BBdsz;oUc|8V-89=a>tb;G5MR9+{_axILXjfQ zraN4%=GEupp^*aV z?DgB@J8qmSsw@+>_v_snWgBSbG6K!4b!80zB(s1_)RWUs%`U2%+7`qj5N_TMtW&+E)j-S# zsW|Gb4OFIu=Hn_$Lv!N_**XrI-cbl_PG^-o_u4wS@D$XLEY z53LmelADW;m6ydcE03x$(FMzfn3iG>yp41jq z%{vE@$3jW2u#5ME4C%~-u%1~ct$C<#X5MN}lzh0+A>&E~@y!CiIYN^0YmFpu5<}AI z$j7anSh>{Y$;dm8WC~1frin+|{6&LNxJw~9z%SWjHoK<{@8pFFv8m~a62C8@{CVIOu)~FPh`7@FPu3Kh&r^Av7>KjeB|>o5ysUOXHVCf5c0{$ zLN)BdN=4F7+$13%f{;yJ_npEdW9oD6qNfw+)&Rq6Vz>k+fXcSvqIiFJBQcz0^wTBa zld`VlD^%&e67ij6Tsaq-PI4n5Qia@OJP8JlWLzRKAF#S$$EMs#)&@2!e^nd{Na9~v zYGaH^MjB~HsvDWUky3;)#!$J!ysq%_A~~D7ne0a!-*%ll8>?}{C@=$2Ceh51kZUiy zGOq|TO!9+1?Rt%;Tu6UuP?c?QJnkAZ`%fNr@vV&IrNJb`c|VsarzFb|extTowwfDk zwpzO?`bbp-L7oT#CDAOnlBIUvsE9$YWs6Yab1KhVNHj!5dY}=_WzUlfvM{4iwkMY( zA#js9P1g+PPTlEcolgy>gw>wUQ%(6ej2>q`bCad#45{x0?DFi^2B{0;N(=g z@?=X8#8Mug2MB7Zc@v@JVtCQMZR`>7Aw5eTt~wXwL6-nd1P~8f2|(>?n+ts8WHhNA z&MjA`caC+;o!Ngaa%Rju);O3Qs{q`Clnfe+8cmp0m!oZmRy>sj=>Z0avT$YW7NRVI zL7s(h&awyrfe_rQ5HTqjWe zgfWI_VnBlG%HvSI0!iey zzi@HLje>u3m&TT!p}e`8bUio0j!tc0lpti}tpSpl9zitV$Guqy80`s=(rMxH2r>BJ z;AM*Q&}+S9y<>1-(b5GPPi)(s*tU&{Iq}3!Cdr9y+qNdQt%>bqVjC~_-mmIay;s%0 z_U`K1=hx|8y?S-O2Dn#Q@!~c7XnjpcvBpBbZ}XM{tY&RK#dh_{l%$w3B@sp1=r&}Z zA6Z@##ShtdY59jfxCq_*PTGInTV{|U>8J`(F`ik-EP_BRR;phL#9l^n%3GlKeYQ{k z!q)yHU`vK*0P;59whWPXc_7Tu44+*QcYTAFrkkV*B}t!ZW4DiN^88@=96>`ku;6A= zdBgfz(;%8Xt``}Op_he9;r_?O#I4jWV{g{NF$c|sy~{tV#vgj2Z3Smg&=K8q0{k}A zoqlS0ClJ`sbI}?>dPk7WbELiJ*q6(1uP+8OQVKgz^^R`kx+_m)61N^FymOSE+gsLw{WgHD z1Ss~Nzf~AToB}GlmL7cqvGi-}rE*D;)F_pdqrycTM_j7vLw1nK*OkDKpK30r354wS z%NG{BwG2j!(4?JvsEpD_9LDF!Ra6@iL&hOO8RJ_b{YStto{TU)u1#){S^Oo2n=iH^ ztm>raOx}iv^Pe(Wz5OoRyfd?GiqXCEfttBO;>*hGEqLL^7?J=jV{aOLRx1(ausZ`v zYm`Yhgr60B0w2|r@9uVI?IdA;ln=U4;&M*gd#*QT@+8jM$FKUKdiW*Z{vCm+^1vQSNzmZkQ`t6!pvCfQY2> zpViXMV6|8ytpdj&{y}4Qe7-OhcCCLp7swMr*>vg#fhe&7a@U?hO4r=YW(|8Fgf$)| z@;9}fQLt&DOYt$>UYUHZlC1|I>xhOPDSM!3V@k^)zec(DB#H}olnTT*^BgDP$XWV? z6QTy(&q)Z^o&9$aPEPGT@XMw)fHKnW55!?Qdrj3ovi9PUATAVBbx2nZC0~jzedLWfvOb<1}ugeqJpTU7!)68ypr9;$NkXD z;Dd?zvdVw73{*k?fm8&A&oUzZi|Ju=a1t{S+ZkKI^6|kk%9+}lJ6jO5u(7lLj~CIY zCF`^{g3@)Wan)pq0g1F3Xy^E2)sa?xMN`I6^N0x|nA{lIkjWS0V5!6a+#kJgOuJ52 zJw3YyFF-=E+pH9`JxKe_v4~*^GwU>lhe4~xaU#=q#(ej+u1%oPkMVR2N@A^P8#vfG>$2Z{i>D9KsYvN zx2gB%Hf2dUzXN(mj^^^CjOIaatuerKNN+)XGWuWnPTdwBrO&@R2gX86xsum%j5LGx zCZ&E!>k};~g`YeGlTH;N- zHJzb}9nI!(ArHkqJVUrnAGH|KP1US}3b}^8IqCj4NRY zqZh~iazW_l@n&lz`?((DSTvK)`imsl!Zx5vqqtX|q>HN4$L zPu}G$k=9gZv{%5F#s$WZHQd885yx4LP5F~p4lkf!B&E0#b_37o@q0gzp#b!nn${IC zR0)>Alo3gkVeQ6d%}Ykw1Yf144|on}jiZ@oV!$=n)nhXv*;cA8Ut1NtWeVJBX}LdW zF%?bs#Z@8<+`SrxZ-pd}fz{2cEvDzY&WD|6E#Waw_rr^Ml5;0*FcBrYGiHW+Ol-9*Qub)Xo%41|aUZ@-kq1Rud_(fXj z2<;&ooqj_9OTpDg^VW+Ey;ORYk*-->r;Kr`x^6@#pFML76ReobqJE)gT1Y6EEv2DQ z)s)M8u4|qRrXkmFCyzJugM2DYoRV5W0nEUGlI)Z6=O4vZv%#s# z$JcI(sg?Qho(8_PQx(IpwbS(m+(%n?zxm6jX2TH$-{Nw>lwC2pj_9n6 z&-Cqn4{_Sib-e%^uDgB-G7v$ZaermA8_+=OXMZ4bppsXVQ=KRM&4x~PxYt^WESVGJWdXs;xt z0Y6!>oAz&S!SU{~2xz z_^6BwFB)mbStwxqn;YwHa8j~6#ubn|A?!ds-TVzaFaHRiP*X?6P)$>n{{kpw^d$NY zciTNj&Nbtde^rjyDP^3j#LWJ-hTV3lrg2X=q$^6aKq_guta#f>7DkRdN5myu&EmAI z=~92UlP+qWthUlM(YV)ndy~|DKU!+*{%pSVCEXE=J4I%L+0jG|_Q9^EFc(Ue&-HsX zIaB&V^-U*oIcK){SHe$Ac;^d!;zwNMue2z72f=9Y)yuF%{Z(9XtC)X*1rKi%hAT|2 zuR)O=|62HdZ8C?So7{~xI8C2g^G+X;iSTJv_RxAjqZk4!mcQ@OKb-%oWA`|OEFJ|v z(q>j2kB!Q))}iN`unobk!w;v~=^D?0M1LEgtFb$Dx9NwwT>`VObWwaik@HCJ;tz&C zb4a{E_CsLj-`+qtMMUQ4pmwr5TmX;5n!o+=X2N-aI3m#YyJj2>Zl2m5+$x#+qQ~J( zGmm2PY5SQEW?3>$Qk%@E={QlxJ@crP1y&)0$vAVB0rl5mG)zXa=NS8)edh%;{GvS& z%5PQPcq;aWR%>ff8~qC3ev1%Wl8&g-)>Oqe;_F5I2zI*v=YnmF)GmY|@;!{IcpU|Q zJV=J^1e%;3TTaBJbj|IN?>UfbD117`zj%?K1&UA(mVa$liBf9k*c#p{b8Lg2*lhu^ z4deGel#%cwp~iLiOx?Dq>6#t=ZxGu6fn?({%`MaB&rgfA!)z+`f^^VwZnx+9f!_=A z@4A=B{>OXxTm^0|h@CM+=ID~oNc+N4dEIqU7FLhzLDzD(O6mEmULQd?tC(0v5u70F zE)a9K)glb`X?%a2^Y(W4iaaxO5CeAm=E5(c8cQB-%zPpe!38~wsEv5>bxFw?ss6Yv$D zpFAnO&FCQXS>G3r2|Hxh73c|pHf`kUpD^|;_mQl1s^PD>PpPdVf;3JfkdpCvOa~`H zV&cgNKOc3#mGFdx$Q--lOFjc7+WU}bGd)1}E6|9S>HN6d1VQv0Kr_kPF&Xu?k<;A| z3{$sR=_vH@_u)+Z^^p!9i0gF(jwyGYo)UlYTTnI+Hn_EBf;0XVgx(75eySEGc;Q%W+9?)7?-aL*cD$ob%DYmILSDlRr6P?P-BF{$!%hF*U<6I^T z^VTcCdO=}}Z9LhMK6mc`cK?Qy$B|xGL-UopNqOz^gpzk&$-%OBcVwi!LPi%P*N42B zp^eyaFv&y+C52X(6gq@~EfES4T5`HS3QNmtW-^f;SxB{{BNSFuY;@J+m^oDrp!{Jb z5x2+(TLKCCsY~UxCO+|Z5-xuaR={bcc!az07GdRII8=>B!tJR#rHC^XeOIq&Ilg;y zzwRzhuQXIi>%iY|^EnB@*TIK}os;g6B^dAjW^yUtVL%a5_;KMVQtWC#|Hpjg;BK~} z0-X;@VaA1HZvHy114Cf{f73h;_7tX3C|W@Ki~Kr*@m_7fOymaV%vQsTM65~duxRPK zA&=XB-V{bM!t#?fPFyr*qoup+C?4H(47G?&?xq(%o^UerHTCy&RvxBIY^{uYUJ|CX zMTG-ZB;e?@8Hq-e z)DgJpW#0+#5C>s*5xo2!rJ+@FzL&M!AW495i^>RW06LZ%it387f>@8K&&s$pkX;%9 z>=)=N^bF>XsjrkU6$-J%b31jW|2&`+_t!mCh6@fuEOdW{1}fBym=o9To6wmieU;Yy z04Idj9~9++duv3x&@C%SON6>j=v`5_^n2mtR|sLkpO%mfVhK<)Rk`Szt+izwUf@RZ z&rm~-z95~V-<5KMGdG8+bBhg`VF|$@{?<}Sn2rlM%)a^sANu!MYxfV~iu3{&)=sY2 z)YElZhW~_M(0Uh1gdWrHF-T&A7Yh7cjEtd=XF_HuS!d4Z=))RX{N~`be=R@fio#V` zxa&Cc(d&}EeAVeZd8$#|#>Qbx#wtvIprQ*^aeGil4du8D{q>AkxyWKgqD`Jlu1fX| z-4N8N9QlxjpwmBt1mf-y+~fh8YlIq@%E;aXDr0xbV8-xU5%`=4BFq(&G%VIK0A28% z?P(_qfe_fqQaPb8F!R#7F`Y{BXVmc0x;CAAuqlb zeLCF_%SP%Haqn<)fy@Fg%ZmrZBE+E6_E3k-s>2qqQf+JN`DWbj+U@DDH0#GuC?3CH z^0E3~x?jBO_2&x_;7Y(c;f5Vl$FFrm{>O+W*>f=a`J1BZgLaF+9F784IMH_ee@Anh zyopJdI{15LQ-3}$oDC>pI%#t zG+MvA__f}?LpP(^4P3Dq=wEFsX2S;`J-Ve~cM%$x2kb~Q>zFkhfLX`zA_m*li`S(q zvUD&nWEeD5c)bCYPvo1l%Jtd|tPD`thS3K8&*~f5Q)ZAu9^>oTB@lm(C`-#{)qj=` z{fMf-E&tNRz}QuaLM>M|W*-~Or4ZphFm!Kf(@mc4-fxHr*l95KNt%?cJu!Z2-WlJ4 zA!Pc5l;zY4Zyx%crj&nNXu7LHshK8Z6UD+(9O|Pu*c1m)KC>jaaXvezZ+(|oy1m|* zG+-Q#IJ1K2!;|g5_m>~0Zta^9kU8jCL6c6zqP8*#Hxg_d+&4=;Sn+b!(KY?+2H^m97BTsBL3J0h<(*dt9$3j?TaS44=yKMavA!}_8kQv~v0i>T$bYQKfm zI|(9J6-wA}HkR52XuN}pfFyuoFj-Q8PneKtQ$r6n-sxpWifB_1ylTiJ6e>@W5TgY) zKf9+hUP>OwTq4EY%4jDxOop`$`2k+1bYluU|W3FS+w{ z5=_%3ZQPchazfW-(3N;(z-7ZRN@gDNbK{v_HIeCWnLM%vo?csNt@rtBM2_Eu(s|Ge zTHOGls!j0l-_WErI(&qveLf$7Ksc#_jebV=e@KY{xQc=0n*n&YT}U);W_!B00Rj@wAoiHA2T zuT_R}9tebBcBW!gv^xTIlkvvlq3$_#R(imO%En6@f(zbh6KW_Yc107RWJcQ`q%;+p zA5li`9DF%3<`KM5T&-CB2@N~9XE9#!ogUY6@CM-rUP<@;7|53Fk*IQDHL#j^`Zs14 z_ONxP-KX!5W|8+ETIdm`f0SH~<9cG_Nv? zvR^&vFikQtb?eJ9n%Slb;l*TnIiI(dIhhK64a7|$PPEE62-k!Jxj% zh;@{zBGMCs7xmK|Rrs?Qs(UHam6ZXBYNG_zWnIDN2I z|G_T!`I!fx=m-e!iAccd+F-?{p$`tv;=_c`dZF+y9*Fj%D}fb`P=#*~dYL5@GEUc_ z`nRlwm3ULmA;HdXXP)8H4-N}*^Z{0cxR0d=-aeh_<|=l|=mHD8$pwwCKPG^FG8>Zb z&X0d^eWIOF*`BDt+}+G)2+ha$7-E@ug8yE9(Ns^rxmVWRgXg^9Jchn74L-jw9DG}( zjCr_8Rz%k0d>3Zqnja;>-6#A@yoQ9Zi#8eFJkK}0$TzguG4ekPW?X}@`knPK&?^44 zZzxV($)FuTY9e;x?6U;q-2RIBXJi_s8 zqCXzeG0-~~Xor&4l+U@W)E90)B)zMMPLIhdgCjd9{yFLYm|P_!ORCAK;h7zC+6#}5 znj_wEcc>F2tI}cDZ-AH!nMD!A!q)5Oo-*YkKK><)Ar}2s_RR_y4_xV`FdYyv{UCa@ zKhdM+(p{YnU2&D17=qokiTL?~%FNC^vy}g1hf&_$Zn;%7>(s=sGO00Y*M1WBxgwmP z?!!Uqh<*Dv%s&&tAZL}&tzba_S7pddW7zS_uwK{yJa*KLx9M>RDU=dt-*}ix*yzTx2tNIgUFU~MD2?fG3!f~jL)|-xPh!cJYzq|gxKaE0m$Z&&i_;WF*UM* zP2uZ;g8s@_nX1si+1dUlNDScW+3iVOcmqLO=WVTrK9;APgC565MaN@XChc z!>_w)ugIE1p4qrybIRLe`B~yVvC9nOc4KYj?>LWnmG}ivf?7W zeqqf96@%qv6`n^hm%vzYC1H(E_bXL8gu0AYQd?U(9a+9&dpR8^qB-B~>{`1hXBl5a zlnj)hrKzXjeePpIScC4qwJOcef+!g4bcGk$K^Y`w!}#@wj}zgC6i}>l4|50D3GmH_ z(ry#m9;}jgimE7zW6y2ITi`Z@;Pn*qi3`a#VsP1^u@GNB9-v`>;SvfoTW#-HwYeZD zWwa52m7*)C`o+;M%wCwdknbRVy84Syuxe~DyjOgqN2ST-kM;9;N&Ri1?SW@e0{PT$ zZ~>0{BsM0bMYbhcJZGWQNRVmFlzEnkCN&Pnaml5j$Tz<#gv}Lzh#l#U<|U{zrc875gvhZ=O1{?P}Qg-Uz^)Tg406colnp) zyEX|}c2p>>_A(lhNXWnd+!F}!>#`2NEGr^t{{0wX~jEQ8nIA5GH{iTOs-s@m4_|DH2sS(F$-uS zyS;BcA>ucze9zmIL9$>Tqc8x^Ib{+G>pp|}TIXdg^&4MQF4_KJW-!rNin z{%Xs(L9hLkMscn$@uKsa?@mYz0UGyrwb*#|MKaEt#-1>quK4>Dl z$*pEQc(7U?DoY%Mkxcbkz(8xMa7%f4B)ulWn35^jM^P_rV0+@BmEZ=*=C z2h2%d7Qa*H1e>p(X{6uWs)NyGcS~oZsW&>WInK&2GNJv66tS`4kWB(PZ|K^toh$6x z#uj4WLa&^Y`Ca*?v4?@*8R$X0>oJ%Y&&RPd{1F?- z(oH5P;=})^XVyP5*f#|AW^hcdMl#Fnnlm#0uV(Q{BO#2YP+6S1oCSuZ@iGnTPvEM3 z7_X?tv9dQaIAd|3Z&lgS1CAASeGP8Pg zQ*_q5=OT&ldzW#1fg{6&U~L5PK_G79$vCRmEnezAZB4o8>N!0psh}}Xjm8fnP&oPe zB>`>i6pWNrD#Bt&snDN{oV&|mDy2LLLcxk&9X3tY!B|ySh~W&zsbzJdoGmDnkMQmY zjw6+N&YB)O++Qvy^eiPjD|+;fEutG`d2Z+`%O$NRcuwMlsA)f}r^|PQ1gHg%<5B+? z)+1nWB2e2Ol&%}0>gNsGimCZE=Ex~6$3T*Nc0D3sa3fF;J_-d_h!*#*QukN5Y`&F- zcXXG$Q*JDobV}~x_9$%RE1W>RXxxtzdO^aKBUu7c-o)~tI9h&`6|C4bNmpvlQ9~+G zn5r1bhv)c^5k!igCJ|_Hz*jg`;V{}voMqAoR)@4igq$Lt%dc?%d7VJ5Xk06pAU@LB zZ4sg$flSbL(n?w4*XyqIeijmrCrKPaiIG#uT-}Nz#qn!9X8zk3GwD`4b5<+fov6{z zI;#7TGP)u%6n4h>a6Qu%I3jmbgOn#lbEA7&Q0EO=hdUAW2!!R$i{aXooJtv8?In8c>mwb#7YSh$O{3=BS>hPI%$kA$ktoDd8K77a8u^$ut~-w*qBK9nDZwpfdM zB%*wX+VC#OdN4Um8E0!8KX`WU7x+V)~oukvk~*hJt;AgG34%+xb>D-p8k8F7+{k2SHd#{d!IZLbj}A&S~Y*tL>cP zN^N+CKI~gJj{$+iKUq4L6<=2G7=BM1;{JirVLYQpu_l3s1Y z%HZU>SZ-~I#yG!PEjE!LjBq4fW$LJwrh8>TFRDZ2Qu=tkXJIwUG?W-{FkAe@Qv`01 z2#dC{hfq1Aycg~QQ_hIJf!{Q>jo+3INoueLW~|zrJ=yja>EqzML3?%60M0KQ2Q43& znh`?74@-O#juMOFkzzXp+P=;W^>jisIrH0q0Na0vuK8*GM(j*ksZ$=sA|mRRZwvu& zfd;8Ri{7*|XIWJ*P&b`>6o{;T(z>1arGL37OSt*lQ-cW(7@ejA_0oHWS;n7jg-u~z zd6;RjU79(_=YY}k*=s0lHwQT>_M)#ajv|A}gJh^2F<<(CywCu(Sb=c(=Wt-QmrMb1 z{c<`_*~*BSlg4b|fXDtLMQWWBg1iG*|0X}98EUR>T2szbePU7r-j3nCF&`CyQ%HAB zIIM)-%w&y~t0US8Aw8BYCwJLgh@=OyYzG4G1SLsu${$xIpxGs-?rfk+hB@=VFULiz zB$`?4fcqo%0Bf|@4%~mAkPjq?~yhVInXO4 ze#hXYQ_X9BK6hS6X4n)#?1V#M(dx>Xx8Slx`5{xvcUVkEVZn4!P2K#U8`FTjq*cJ^E{tqw6L^tu7 z27KE&;w$3bw){L?i8?khBkO_4HV?!3^H^)p=X3{Q;p7KQZI-ffoN;9dYAy?^>FHVk z8%{MroJPQrYqTQTQyIlAhGE@B4yRFg3~vZwmDsihAzle@z|#gYi^KWH=;2-hU6a&vZ-ePQpY&T^@1a|5xc!`eZiCHp&C@20=bmf=Wa>hOv zt^L~wf)A9vk1+{^x?L`OCW%7L4<&z8nK(N%n#G&j=el7&mM4)?e_8vJ|E< zP}U|N2n)FXG)ul>{e}Er4~3g8WIGI^c{>c!O8S43Zp_VJmt(MCTulE7#hg-o0r!8d z?9JVqkilCi49id~&0oj)uwT=1CbGYy9(EXlK}#rt7z+PNvP7?`9+nVJ%K!Lu{hg%&CDzp;9FSaCyY zM-B%pco)I5w00Y#rvab)vj&aesVk!~GYuj$ImdjEUTE3CG`;WUfNpXv8AI1+{ zFqfc7O-XdeLs8-F3G&n+*EvJ(yIQMIaBMN=CmHX@OO$M$?R>z zSiDE|eI6ENT|ifj%c&MKp1W2|zUU;H`ckAtp+&=+4jN12{TtAXiV{<^;ZcuQ)T{u_ zo9|D>)IxZ8{k$*gP!xQCdB1fg;z%ysxigV+!0#xfIuKeWWy?iL3>8bxz5%dWA+gcu z1-h!8ffJN`dC5av6w{b_c=h?n+A@$ziH)?Mn!hAcooTJ2A&1Io#O9_@Cv{;+l@E`8 z2-*us6@vM;l;hC8ghpCY1gEKiaWDgAa1~j#R;khyhG+?%FD|;hGMs&dU?blX+D5{; zC_?`0R0apvPR&12n4s*$7VCu?M}MrBq#4HsKQ_vyiiBp#V@Rrk6xaV@X(CMvN;m5g z12x806d%P@24ZWXf~4_l58uc&Q2K8iTEfeSm_5f=_}VyW?^jgTp+Z$a*@-XLYBk+N z2)t<^z3_WSXgXKWh!L&)H|w%_ar9MbPLU$8+AtYCO@_3w3tF@!*liK4IbO?eDaung z?(76RbI!-fvU(N>cHXXmvXF*oDW2(+jwXN`i&ZrAs(b-zkVZRc1u7SkxupTGNYSY8 z_oTMaA50{}rECNo%4M8@lBnKP&Se=J0jF|V#CXw6WWN}XMA7KXm){Jo{*1)e&42ui zmHM!g6vQS`gs&{eEG zdKUWLh=A7pYKpJ_X_H9QJO@G^>Tl7ySnZ&QL1*^YB(LA{KOLLr8BTWC~2II#IjWA(xuQ=zILT`^`-l^P2(rPn~?VK zbeV;kfI}au318#)b?x?Gf1hVV*Kv5L$ZQv1RS%ZRa$A|gwFU^LEzzL!~H2|luY2kN=Mur7(rRDBr1r)C!A$3z~!Pp7k-Ois7 zP6(Jg(J~hUD}utQk>>t+oLH?9D>qJqf&3J0=!2pM8+|K!_Bski_D!RhBFdf7aqlxD zEKg0lhspehrpNo&jAwzQ6B~n!+4uK?L_po?ZKvu>7$GoZ)uxk=ex~tyb5LG2$3gww zbx19UFznB7`=tJR`LmLg(V)d_HzLc441|HLEw*;0)rH^mBUZO0YV)CYuWw)3*yWVy zg4Z9Ii^B4l$q&jO!Nc*dPi=<}w(Y$~0WHnF$t-r@d7E5zWczznbADlEo9CbPyhLurEub#bD9 zx)beS9r=ZMmE!Yuko8AzsWL^SHZUMF{Z|RP8)t6_3J~Q@h*dhZ$t1Ixwu*P5;*_q4 zNe#~#E_NjxiePf+`3_z_@LOBm%r}4xX0N<|>J=IDoqQiI)0NIV~-E;t3a-wiCPE| z87eSAY=GGQ67cSWu1fBk_@*NAj zK|O<`m%85SbKkyxP=?;?E>|t5$P0R%kZE=aLfwS8vABm#JkdWrM&|y$*2?&l&eR); zLpd#OHrLL<1w(Ozzyt77_=fIBc^9=380@nKZ+bpAq@7jrm-6%58dk=XTphEmvmJO& z(V=p3l=nSX;@XNHeogV%=s{?M`N~iu0iwUx;=k48FXY{^S1u@i4j~kp0}?N1Pwbqk zY*IT>qh-)X-ZY`G+L-}gxI@r3)iEYqHs$mx~1v( zQFf35l?Pk>y9(%(3m^1xKQ?NE+GfNCR=y8Kb!!bDJOeNjG)(!)+}q>+5f%!t3Vb7( zsHI`tdTI{zJo_3jOM7BP!f$n>~Zp#oH7H|6G?hBJik*>2>BNB9n zIezy3Czf3nymt7F?&D+Llf4jyTXia|XL%}dParAos89P!d&S`7R>k3w=^Dqx2njWZ zhT>U+T!2Vc&I$$_cGGJcVOE^dmm?13gArz@T*G5n{ZabJt;#h)VhexenNWRuwP!9t z(Bvh!H8HHKA?V_R;QXcbFB}wFz#%rSIA{2wXEdl_ile?Jtg=8!xoLwAzAG=0f*T1| zFwkvx%Ar0ZyVHw?q?#%a_6^CqLwe&eUmgjpsV$*Y7IexcJZ2GlrJQL#WY)bBww2Yu zdhYzOcVUvm3_1x@{T)SV0|CV>fIh2n_qnN&rd?g3X#xr+dnIwT3>q| z5#au1tE26@VJi)pGpmH$GZSP)9Zsfknc0p$zOe`x&z=h%6<{eTWEe5BRk%4Y$$9 zh%u-xOuJ}QNB|B>x?CL%I~B}MS($NF(Rw8{U%`z6owRg zS7t7Oyw2(LaZS)nvB@40uD&5L3F0c4!mdxuud}h=zT|HYlYG@{hm7#c?RL)07s6ai z`VVpXBh#gL-H{50gWrG3Zc`4qIm&W%;eg|1&X@ZOB zy+s+yhR-0&xC#rmj7%bqofpTHse+G7R1D8;?w}({fh>^#qfQmj;sL%}MdI)1fi5Sz z>1mn;<&kyJ`BfOE_ma`-=?=4#wJN#h>%nY`wKLRC5ZTK%(t)haRl`N(yhqPmm@M=C zod5axTA|pU8N)>i2`knMOG?!CDL^<5y5xM3V^1IAM)qhuR+ottBkh3SisYxh7`9$Q zl7ri-0myF)pcT6rLIb}WlRR#&3-hSox9s_7uqN8fQNX26ONeZ}s85&7#aQIRb_lZa z?fg060l$ANS>=N59WD)w96gnntI^CBA)o(3n!Rc1OwSs=zfii@P-t7=@csxL<@ILu zTz?iv#hZYEy>8#1@Iv#Y|NFQG1_!7+& zryZxV(Y9>0&6Ya!Gv7}{sJ)O)#P#0!N|Pl-dUF%snI9$9QA(pDHq6cphU|?KO%hEq z<+ev&%Ojyi0fb}-IxD>w;{`5lmJg*>e$YIzJEiKD&-CxphzMzm+dL<``<$>ARa8TZt*?DeF{I^rp2JVuIke{8b zE|}!DxRB;?m#wR^Q;V-ypB_6NhJ6IAMLPYh&ZmDiXIX=`xW7-%E_$uWyeVad#0 zMsDQ+!~GondFhxAy#lDZ8UFr;|gtX4jQq zzepm}I>t7y{)BQLAcu2ZSumARX-vL9)*$_l&E_9C?0AW(_tuBZuDv0Snj1=BuPAqg z=(tm>!4e1bw3pQxY+A=XdsylP3a9p;6I7e$#iYE?h{rQ=Sk{?6bp$)WY>cW+^t(-O zN+^2&{Z(mEe3;DeXkFAUzmEM8-bp(GVHi(yNj{-Dq-~WcM|9GQGW3U#Ap##mM5VUu z?=_QcBfSx@X5=3Z*{zw#ET7N(@o`T&Vj|*rqN}&Vq>XY1xdgeMThcD1yzjr_FZv# zNeWbZM^>3x%-Xk0ZdGf^^pp`E?)|JvtRu<5j~F4I@oVcv-w?Qw&V?~BhN`J{TE8_? z>z)1Q>Rc=k3S`I9nhPgSg@1lBTa#N9hBWybUo8SC>Bk-4WHE@&)`)wc{{Go(JsqOy z)RT?s1-(3WpGVMK?1P&429+q^UEbcgEZ$V|ep8ttKxrm+27 zD<^P@v*=rX&sdycbMQ3)SPkBddXL8a^^?K+;KYvTITN4ONJDBou3*da6cDIJEFuCa z9x*>=LcUvQR0KBHR$3*4Troyd++bL7?izZ7it!;g4g9o@54E@gePn@sRGdD8LmZiu zJyt&05Yk^?3tGt(&vDh;zq2%w8Y(YqU{CjBlJk}IAme{Mi}U*p2uJb_#gSwCey3H^ zS@gvJJO9d^9XVk3PgXcpxPH`{SeNLeepA3PB3U6y9TcK6=It;I|p334su!lpmdG_dy3OX^C$3@1&hB6c&-;??0h- z*pKs;-9ZG1BxYFP>nBA@OMK0zUh>96g|JSdK?z~D>%;>EfN@fZ-Qw-mQQ^`R7Q+Vj z?UgKxZ@KmzNIjA^jyc7-NSFw`=PzLa};VAj>7wp6DufG47pBy<@B*RMw4 zfP0ZQ6lC!V$4q`CS+n*hyZZODT5CEEJHjXKfjYK`MuOR0=i5pAjCNct==dCS`Db^; z@|JB^$(ulA_b0F@lOK+2ftS!a+2|Q2Sv!_RkjwPtMw8FPfU}51`Rp&KZ~=rI)l;wl z`ctqCAk(F>sTLd)JQs3rd-4{{49Fz1`bMC ztmw`4&F9H8vUB-%@9zLO1LqbNYK*UiH{EJxUsIwrm1~UkaI#ov*r2NwX@Pl@QeU+L zzXCgLFr}FC&%WTRZBRKeIa{3cj^sP2K-DM&wsf6DUrjAo!7wMAxdLZ=Ljp1uxcVJ5LGhwM+{w)dBjW6rZCt*HH zKy_?WRfSZsQH9&g0!DXI~|BSKg;tp_W5sgf2Cs^Bx;0u_KwPb(}7BTH$IKAck-}^+a-j4(2D# z9Yct^oUD%K`Iw8m=CloAc}l~&d2p%+sK15KA}|MfYiY$JL^B(paGqI3HE(U8~G3H7EWi8rM#KL%*t&xoQWX|5-aEHTpe zP=Z1tyo~hxG%*!KF=-ok;Z;~yk;Xs4m#htk5vlmkkOA$+3y0en(!*In#H_ZChSwup zW(@hgt@fCI)Bhg;bU=&0p4?3DNQ}1)MxG}MNPa9V@F6<0$cT7DM(m=jGFH>-Vl02v z#f6Ngm;?t`C{eyqiMeHAhTsbadgkdmvWEh|glAQ4z z6Y4Ek2wa%y0a{$p@#r5@Pzs?;VHp8dMyv)HUG*i3z$Yu{ zf*W%y_)gPTXfvksP6R48>2<0H(kn~~5JB8RV4cwr&s> z2(#>5zSrl|T4KhJ7A+ z%){5dME;w!*=F40JofO#flz-_+tiF)FEG@+g`I*0UgtR;n6$jgN3x0ExUtIDeKWk^ zmZ~%j_Gg=7yB87p<2=<=u-(;%83w8lXdT7orF>{{p&`mlym)f@_7zLSb?LIG+|qlR zj$3aP>|i04>4OZ36?|qCr-D~$nqY($d0;wshIIO*PWMSwZla7Xz;mg}nYyZ}L(Km!U;I?7!RL>CUt4QDNdHS{quuX^e2;{5SRe z{Y!kGRBhj31XTBpR2`4V9s$*paHKjd0TkkI$Ls)z;rmmenlL~ILf5Kxm41$7!oSb{ zEXn>!JPDj%d)!47vcP``@-51gz^`kR`p1!|FqUgs(D^|IEnV*Tu!hh*uNI88^bDIT zh~^~A=oJ9vQ!yW)<+%?j+6PHtcy)Wj>$-XXYWcClRndPS3AkVfPdv)*Dg43~ zlQF^4*M8qu_Q5Px%S23PlsEBRJ$}=ICy)Xn;QJA3pdW;y)@Hmd7TWWoA5pkqR(h5$ zAN<^%LuMuLvgGIWF8f|D82%uAH}_4pEB1o@S+bZU||mqqjU^#H}xF@ zE4(rRW>2x_gJFa13qylq-wC5{o8oJ>o|8A@7M^hy)^30KfK;}j)6`k5ZeOZo!B|Yn zK5`+B5&r|$l)UPKM}Gta0wq6%Qd?nr)dswloQx{7FK7f^hOrtTy zSu&#@L^wYn{^6|ne;{M5ocG0ofg#?&#?Ki!>*le{zDPgI7Xa^uF&w}Hh+@6!u>41P zPr*fcCEtG*Vzig7J1`C?0oU02_EcHk=f1Z#E_ znAriu!PabG>-PoEe?xl!Eu^Yf1=)3zN!L=kIGXA=#X6TBDMu*hN`_p@m%Q%}y(nH7 zxnVlhJCva-I_SYP6wl-ETnL=iP*hNZ`6Kj@P6XuSB$K5s^vi!2dn!KRw4##3qvzy9 ztH^)VYDfttX3g~3e7i#n#6c_Fy`tC>43PK}zS{-1O7!ZfScRzzVUs0SIOQl*@&x@? zUk+LyA4^q?N;8ePKF6~{g>EYZoBanx+;p%PCXw?mL0|63ogwO-p#HVX>IH-Ubh+zI zAqcj+h>^kXi(b0y`~(I}vx*anj+KeF-4lP~b?W0~fL%?=V?dcc;tCMLwrdJfT*5;r zQspv(Pl56D+~ggBBS{f;SBx?eg*cX|rxsVto#*T`kfeUk4G>MgX3I~8_?d(Vw9+4p z#?95$6|b;do3!`X$bfb7pO=Q{I8RB!G{rb6iM;eVub?A0I&#XNlUV^V(U1>h0_%UV zL3Q`jDV|ln1#7-w#3z>r-S*#$R&ducc(u!_LKb0~0`m3Pc_GE@zYl3n4j{+p`5tsOc+kC*jkJDJ776jSqQ5TCd@OsCXT z-Yhvk(it(N&soVyUcqfPO@T#RZ2WTWLtxu|H+3S7<%1vbiTQ#TKvG}#1?7L@RPF~H zmsbFIlXZCA65Ri-x!Z%sc55WiBM%wb^orjUCvF&p(`@nlB8C}naaz5`lcE@JXjY6S z<{fMvVK4JYhSIm=*qgyP#&X9Kv3Fz~E#bz_*}TA;>}$2Wxm?}cu}6KW(pL;U$rjK9 z(>a1NS8@SZ)qS^PaQV;_R62jefj3p#6r%c z7x&y@s*w}JuupaKDO+Hy*W z*Co3>85{9YnkK2jyE(i7ovUecH%y}_vYC0R(Di}N0-tlCken$UAID=vkbm@fpU*i_ zm=ed&I#H|mB*ngg$WO}&399E&WToZ{c)#LuG5R!0f*z}(+~mhTn|O+eMnkDbtDY_X)hlq7(EM<65)S#;{39!n`}Ql`buO* zEcrMfkf*Qf+FZtnlks$HdV@NaJ41L5c6+_NIK_JjgfXTv(Gmn*at=erC^gqU3AB^+ z6tCv)>*kTW*8M#i1_YOa$?#qdj(adm-8Xr*nf@BazNdhxa)kGI@~m0!o|CH}c71=~ z9eyLv#8e0&-?@Ka#1mJ9NV;s}$&Ffjnl>ior`65%8;lH=EQsI8EH|UGvQdfR+vSKF(zY8V{D#r1$_+NN^F*UW|fk zD(^gYQX^H-;&kFT>qF+trDGiBrOt9M#tAPuyb&bZq`!Y4^yZst6xU;i+}=t_1MvAv z*0;Oji_E9uk<`^?hJBoMLYgO6cw;|4j^$&2t|~+$=WC!kc9jZG)z~N z7L;ASg`UF z9AlT0SRcg)ocGKa&Jco$p_nHGx!t`PZh*I3stED2hTJ#!t+IZS(X>zQjo+b7=*u=6 zO{#x7rfcB4L8_0Wa=sY%3+^gKWvIW*5jFIIsDna(TB3`(zIw%zXwwLM%18|5$4UXZ zWQ*iDVjwv;uc|HnP+>+A{QwePWzj6fvqhv?Kt(m78NTDr++$Y}e5sn2KK>7MOnyka z=WABx*w;@Lmq_roL9yP|WjjaKSaaS#l~qlgY!eO_v1JweCA0zi$H9&=KLh0(FW9rf zOO__UPWcWc;xnmx1BJb0`qN;PbbRS3?N-@k?&3<|`r~2U|C?kVal|~Y?q2*aY{xNf zmyu))69OCKwBn&+zm!)J36}MhV3`ZN6w}1>4x4L8u{2P~coD3GX%zzB58<&;L z3>LSIoD2vsmH7=8m#fSS4;wNx3NK7$ZfA68GaxVuFHB`_XLM*FF*7nXF_-bv11Ep2 zcx6ys?UF782=4A15AGh^-QC%2+}+)s;7)LNcMa|mBm{!HyI#KU%*>fOckZ9L=f|pA zZ|l?j^xIWyQIIIA&_Y@O+u8JKtg@)kD6E>6mJHu84dvh;Ew6AQqHoE?sW zLc|edQ`VrSrKS6) zt3J3&nHU|MrEv!KR5d}ppDR~LN z7YTVafCR`E*n=ExES#J^-T@X)05eA;Tj!4+INJd%Y=PD;CVv6=kek~5 z4anZn?!&_7L-!F((ay=)3Fv5H?+p0JswgV{51h{CM$UibcCz?T1MEycEKTfyE`OEu zx9%g%ht}E1!qy4k403n=E0=#U2w-C2WN&Tc@sax@n7yOL-!NR9ENspGiGU8^2r@Hr zG_eLbIemori2YZ0{#hsBzg2H!Z*T4Kx3}HjR{w>;!r2LAZOQ=0%<_>F==_n}%)%Cq z@vm8tvNg2>Ff;u_ZsKD9pE_5N1q3 zSZ4V5k^FC<_}@bCzlGlaKXU(-qyKh^|9|iEzlIifv9^{sviTT*f9x2*$C5F!1$^uo zfGpszMdM=gf4LahSXg`fznuQnS_AYCw8D1QCjY9FayI&CiIA}HoPp*5QzPq-e*J$fSF<$%Ia*uTfTmFjit@7R@{+Xw!*c!GQ1N33oK-#SKd}8rDROou|8@8)jIgksJHU&cnS%>J z&&tO9arZs|adR;F{0}Mr4#fP=vz(E$qlG&_=c8^W=D(}|kLQ1%C%u0OBW4S`9G@u&-33i4+6P^fN(2Ic0k@>%e2gN=UVLC9}}WF z{k_Z(KSJzF8dMAO{j2SI{L;cVxho7`YC;$qr+D7lJQk1aUw5Qwc1L=#tf_iZKxf|x ze8{N#@=@0*J2-!7cLN#qOAynKHKM)F7i2dewKYlzPvDT8`ai|@UUX>x`P8{NBuo8e?)XRL*i zX05Dk{Ssl;iymI%P#-IZ=A6k1?sx#I|Szu4&^?D z)XMN&z6gI9K{o!pTBKS273PvSMy#>prwh&`m0ws|4v%ae_p0ZYi{B&0!)XwCXrBdd zcoV)+k7~wNZ5s1nj}+aJ7QFn<<)N>hIasxX^?<{kvRGZhNZMC^eo0lSZ;rZsANA*!)><44$$F(K}*zkkZJim z!`;+}J+O|I1OCT?vS2thE$=in?T~1Jp$}7{p2qoEj!nU02`xEqe@!*eBfy0(vx{Iz zA<`MY#9?OcccX$M3}IH}$(|KMC$C_uH;11f#Z6Ay0vY?lRB&+@@tp0j@n)S^4te&Jt%V2E~Z@lIFow$i89&Zdog}Ri1q3)c6TJr7Z zr@OwOH3qJHXy^EBr=t#21lWGto(cYy1>1w?jXN;CH|^M)geLE-_?itGb@y!ZG z(ZV5t`pm=2D07++gE!Nj5k~ve$}yXa;+ublTcxJU^)nWF6}Fo3N?icDCzTfm)K~Av&zDI#2ZwONp=V+x<8_`dEJ( zg(f};^oG|{U-i^enIPU%&7GyEN_Oqw%lLbtm;Eo?p}M0E(Qd;^jaLX1cj}rtYTPBJ zz}lkac*xAmnrSiV`pg^J;vvEIp#Wz{IZpmtEdA?WpPAY-Tw9Qxxm9PV;Kd-iZ9!>^P~Sps7qoSTVi%WE&#QR=N$ZB2Hm%Yfs`**mdd4`7O=jzX7Zxf~yd6%11e*!lj zKiM+IiOIvp44wt8oN1G07q$6agyKlXWF{g_03~!fqG#)bfs9qNO9Ou^Dk0#S(_h^W zG`D4<-+y_cMV-J()Pyx1SGHclQEjz3VU+cp@}r9NppchhEX$>2(&XV~1|2ZspZc*p zo_|pQ_pxTA@_a{192qRw7B;w}?Z(t~=!eQYb5SpXwxT$1){N>G4)IW6ps50P8` z{2u+VVDHUq-I)?%xcPs?vi)Q$x*#d>9(NcyoB#qi65PsAuq-M=1d{6vwTwV8C=JIhOi($0SlX3!d+PsNF~XbCDd zMdbMl-Q}{~wx)-sfa?oKtIfuWC+>0$;M}c^7xbE+Q=BsGq8?Cj(3!r$;&QHNS&j*q z5QQ=6QyE@=CY@?~S3D1+rf9jSroSKWQS4&vHq>h2HObA=!%0o|{eF0CAwv@CK{bGP zl#Tn;rP8;iCJKLXqGr0ZP;Z}SRj5jB+vgeby6qKqv?=Pl`nwj|q#&k3_?ugcyA{TE zG)FSE^0$dIjRKH4yd=Ldso^ea<^v*%_v-x$_lu9R$WxDZ#jF+gpss`Faw6J;1m(4v ztLpQ6;dZ`RJ#R(y{gV4if{_KcKrj$dsU`qQ?sY_u<7WF$FWNP#p!^3I^J!dJx-Jf^S^R1G@z603wVO<)-$zH}qYZ5mt>O z2TpvBj^yvxsiEZkOe3p%J19F(#M+mVSR%MkdN-|TF77c9sHL$I838lKk{jY9(jnbq z^JXe|iDZA2`uAgW^)YVR)N1 zV&*l3b~DR%5DbJ4=F~KJ`MQGYh+Pgc&Yx8;`OJ3gEn&(kd9^hSiVK zK%aoW<`AzcR{8cAFF$k*VAj20ljP=$n)dd8pETOEK0TIe{yUe3B7GJ|c{L^# z&aQl^Ck-Q3t!;50Cr*6e@guNbxvRpPz@x9MiwuBi9UnJXo2#u$Md9Rs7w(`I3A*Z= z`w`y_^M{&T2DiUhX z*xwmvk6uK!|8+oH;TH^UrM2T~D~-~8wBc9ui(*<@*@>gl{wjnoqg3&!2^plS%zT2? z-q@U2{pWguz!(NpM|-?UQavj>zfiB z478^wht-q~!%wqe7+ip()}jT!DDIOpL7IN-*tSaIA9+NLMGTl(T{9{%s5P7vNFVHR;=;pMJ7j5YCEb&BNZ@z1EG|7QjRIacb^Dc&^uXe8#Jfv$+ zdGl%GIs2gy+hq;jRjq4tHot!n`;DyHOunGtDJpnAzFt#-+gv~JjcsU^9$=WR&W%&+MG?a-b4G)V7#}3F8E_BRv zphtTzbDqK2S-bPolx9A6T_;v7zBYmrCFbnLXrp-MZ#|KyaO_Ogw)19p4+2ywPA5GZ zbSzK$-MWDSe+-8_;OKwK{W*nH;e2c}heIncf3W(TBGd7N>;|hfk$Tu@^&OfJmL7)n z%JU}53nOHc;CJH8y=)~#xHHhVEb^W`1|Q@wv7n&}Y)*);?5YI`#~9gd2gxj)ilrO4 z!jRe@OR@IJ)J#8GGA`l0C{*@@k*?oFDg{0_w;m8~95%&{Cvty-5@mJsA$c>A)D`%o z6t>PCjHG!I7jPFqpYct(J)SSb%i&Bl1X%c?@=dD2J)Zb%l;=p{_ovBZ($AUiI(sV{ z*0~P$ZYYH=`Qb~){dGNJ>)u&DKRFHZyg)}6vv{a!9L##hXN(?JK92Dd&|hyZHl>fx zR^lPl?a-%%8p?mzw_W9H`)JsG|A{!tJ~@BBJGtuhYlg*jLiNw6Qw~(FSEujPJM;M4 zrOwYrtLMGxyfhN(CT*&H&gK2aIr-4u%GT#q0px;T)E@i01-7-(w_3`Q#z+IAW&WkO z@*~OK4`A#d=^T<+DE@iBPNaIs@;Q}v*0>X`TDp(x$@70Sd3P=!3C>uy@>4RQKe<>% zXY89c=h;rg@Qc1E={WS4^aN%y(-PXQA9!35pnePw538kN74eQ*ihr)*-3cmzJAY>Qrax-;QF&Yf1flk=uo}dJ6xNyDP}Hz&s%>|7JSdnDh&F{b=E4?3HvL@q4A6b zpyF$uVDWnA@9Mmn{MD4Q@Q3uue?>U-uebTSJX2m>)3UuRk}h z$);7ZG?sO6^{4zs_*p(olYXtVO#WcQIuX%jzbN35)WLWSPz>M$O_UKxK>d9Bs}qpw~F<2w_axxYl`JLj^sEsl+% zdBVhR+$vv+@^W0Ch3lT4W;S$@3Sa)rf*kguhXIl7-!yn|R-srN9L}iyWair4=&Eb` z6W%CppMBOq=)N58v=6gJqnHIDj;$2l?i-%t4k%&*<|yoJdV`}Cx7O+NWQ-d*>mz@| zfoSnBa7~#&T&`%nXv(kMqXv|Lo$6A}Hyn@0A$sMS%V^mrWlb(> zqzF7s93$ewdM}0NTz!CWDC-+^3*9y3X=%#PV|u%N1!XilpHY%FaEQRs12c( z^loxPU_PeBEgheiiZ6-}81l0!c3|htk0&|$Ml_hNBZ4gJ2`(p3g!EAoMu;$5YL%om+lQPbSYKGejDu5R4s` zT3T4RMlmJ^2?gi8Zu@j&sl^!2VO)rs1I+RV{71lQHcuwN`s05zW-bL9W2LI$%&DgTGOjB? zWIe0diB$hq#Wb24X3m3*ne6884NR$fO9F5TW}&P>W3r+>E`eocUCB`^o#OZ77R0W- zxhYc~DxEC&BXsP}3to7D zS_Xd~n(bUaSNQH89#4MM6E(f^AGzBg*(mw3fsE}gSogXS6>hnvd(}A3XI%{gmxo%s zbYQdoH4ZeI-lZwN|bo?wA-MwMP&DlJp22I?pD=Dx4zal9h;>tW~YBa zgNemu`1blXT?m@*f7hPA$>eu|otw)!k%hpb&Gc%TepPOF{D$81GT4R1=X!=53;i4s z+pH`EZasl$*?7UkUKLJOwo~lBG^0uKJVusnq%+J{0hU0$gQAXSiV(UEj#4O(RKKHZ z4IbArqxXKq*cbtz+rxe!X>TnpAQFF?Kw;wl#zQjeJm*D2gNA&;cq>cX8y!S@dRpog zO>P&Fm#qh4wKj$hncbdi*KAy$IKew%EeT$i{>ADVXaknX{-VJC#e`0)ma_`nFh7vq z_%;OU;J7YSm(R%oVlChDbx*3r`b?pyh;TF5z+eYVNrW??3BpaR z+-#m#-ZmiNvg!TBL)xD)H;!n$;_Z`yh|G@)!XoUBfXp3N7jlgF8HxBRyy3*IFE2RA z%r~$k7KSe*9?G!1m^`~RBOZe;D0k{iU zTTYT~;;@v-Vs>~8xpaU(Iv`ZHr`65)n`j+k-{OO?vLx+^FUXQInMV{+Jy142q>2%0 zB%xv0{FFTN=`$3h3Fv>p#PKqgr>@am9bzi5hvQsYb^3PGAJ) zdYh$xW1IiYSN#8KXa)w+e8~2fWWGHpu3>_>W3<;hM zLH+CEw+jkEaSJMpgzs_*-zn=N&lAPBGS{qH*4!&*)kBV{+IoT(YW#ISE67Si(!&12 zF7Im_bl1QW7AL`tydJ{VmHjYQ=c^)0V1qMLO?bhB63Z$W z1+lg~&q|KOcCrZyq#IXgp7iS7C3p~ir+Q)vu7Xh5+n5=mq`ZMfFFblPz1oF?TJIJ` zIP&S^df)__0N87qs{O!Gb0lvA$DSp?0r|b2TF3NiYFvLk1tw_#-BRD zV*&!j-3=N~(%&31n*B2n{i)^Boc&T5-(`!_8mQHV!O2sR5uj!OO3XV|F|2 z`E|iA^p$@K4yc0xL)XxnR7#yBTf5~G2>GbDaOlw5osTzyV9x z%d|<@J>T#>TFKOhy{-o{Ipxd3G*YI|MT*DDk~)8TX*Iwt$xY8Cm|0jFopADkdEK9i zlYKgp-2sr3)kEtbJc%>gkjS&b}q~?LdDx&gRpm-PnN6d@~Y8KA=FiGb1(sga2$B zhNpKqytU+f#UhWOA~rDyvax?dCg}UIo2JnYAJq4`@ineh9;K09`B7;NmR*-pzK1~P`_=Lk6cix-hVLIi}PPId#3 z(c3GS?Jz6keVzku|6MAY4R+FQ;|Rg^{g|x5uL-h-DKeWdi*h6J!pgE*a{(lI+Btkf zRBdiex4Iq1$m(NsC83e*P|>Q2f<#sEUq62WS%+5%IiN31hq4h!I9u!I@%7iq|M2gVNl|DF*9#XO0VQZDrT2-d)dEt&lXQT4s`K*B z@PLwT7Oqg&Oq~ouk`<$=F#=m@rU3NxV#<|jbSq->9ojinya@xn^RkQq4pMyORu@jHpb-$5&+UBhH z)rGU#<&udEPdZ6T z=1bxE=Btk~gF;nvQ^hLhqon|%19kggu^g_EROKh>1v!3R*4zPwax_obQ6Pl)8XTHV zeerZ3q~xOtwoeeuUPHXcc~F06DH<6*PCwwx7paHZF<*x1*tCxCL|e~iEj)Bj1S`~G z83EtMH=o`i79mtByGslz3_NoNlmmS7>K7?J+*K6<#bXf#+>bWYk7lYq zam=aGNA{y_(12JNvMu&s3+ zbe)owjKcZ>iktcU*pmkB5uj-<0R`#3)wEe7La5!Gm2N1a97}rPP3a{iXlcLJv#Mb8 z@OyF;ZT*7=+#!pNuk*bscN6`eCq^Voi|pceg5|IFk&mgudrpv z(;sZ`a;%B2ig$nD9ud_*Qna>?!f)2x#Ai%3JyGAH?i}~E6wjGGgSs-jucL8g&3=Q4 zph(~Dp_|Se9x{2EsqO@-&vT-xSTs$~fu06qQ+!RK%_5(ZpqCrFhQ}L>PeBg*-OS=4 z-Z5R6fPCUUxX$ zuD8Lqj$23(#-0{@SJ$f|fH5aG9pb?CgRm2kH2vz@xQjPP41|zpfZkaPKY=JY18jwz zP&x+}5Cm#^BDu$mxyO>TsR;Ib$3wAO6|salzV*$@XuEBDSRwW`j480yx+)6qrB|+v z6lHO1jW~bzWx7p3oMt3{4jdnE@Y(Kmw!TIr?M}Zgl+Vv!QrcuzD!>LmD1PV#u?fRs zak@2*j8h+xw)H(Wv$^)O;j1V7Du!wC<_b7 z*sQWXK2C@x#h+16te<*&>X2%D$$>!_6;2ltFanu9JZPv8UEJ_zdBx+BPGaX%65nGa zqa&^Ok7$>@F0NTjqp|y$xP5!E7@Bq4TpnrRRz~~MwGM69207boQ4og8fqizQWOHb3 zsQ`Z*NiyAdADt;=CL$UV?VONkdOZK`(ieDfFBnF&B$Is`a~kGFG!;Vf?(L0c`=-HZ z0&XJuppv11ltS9mgzJ?Y)g@QAWfV$9{t=8@(gS=4qXcMg-lA`9ETJqN{Tf&B^nTox zMOFKjJ8+gaDeDcrciatcoKR^PK4fp?_e*~V^t|0wDI>2eGV)^dFhufegx3SZ55JgM z>D6pY;a!Rt#xk+WG2T@Tj&a^Yhp#s-QXy@R_@ywQD4p_gp+P-#gp zoF0X$oOZVOEv0{qUlrzfSpG$R8OsNWA#gq(uH5mywsK!i01 zHDRWoNMtjTLf?KH6J}jn`ei;{SqPx?ZmMYS`5P1X7`_nD zI-d=#K}_EJtut5C$oP~oxuoy=@?d|d;nbcOIL$lc(pAQub@nrxP+VFTV;o&FW3>YnfD^py%StaZt zPNZKU&lv|fhws#%kU4YJDfd`nyZK1XToJtO?)(ovZxO9(A z;D~xntKteKZvBKw89Sd~!Ra`#=Ba)9+Dh7ri@CK4nXW<`hSoozHK5cbx$WvjEy0~8 zNfj9dc9_TgM0f_T?O0~HW<7s8zW0ZdibiFFaJ8)|=y-Q_Jz;(G)uP+y5A5rfcOH>~ z4HnyqrEeZN{JHI6$Hn;zBK7VS=A`~gr`E7|O(=Um#a=Kfah_AiLfxmG-_*IIu0a{B zz}R;Cr0NXMa`J0uOC?d8Ud4oOa~h+lYB8dmw$silrAobwy{hyk+pK?DLE0fZ^o&;t zmY2SYLKV-Mk}I<_xW^d&;V+l@S#eOpe<1NT0@F@?O-$GX(U#%?`s8b-ZFIp#i?RLK zNYB}Q!orkaJ)ThW3VwQLYpaAFzcm$3(%F%X9%%N>J{1rvR+o~$vB!#QfOlkpG80L}2fV zbJj}NN=JW-LlK+0JTkQ_l*lY^JO|SDN!r5a6%0D1e1vr|y4GZ4&%9!Wpn|OfWqqBh ze^lVdZZ86B4_!`-dkPXwO7abEubb%`D4A8XY_h4-;()QXD>-9N8CfgVaA34*a>?8i zqvgjO=TJhFH7$Sa*ju1z?^`*S`=Mpl=#qY}zvgWT`v^eTeq!ImZ2O_2Lm-uN-BFaN zlWtT9tj)<&as(Xec=?39 zlm+YVAF|mbnGP$sGiKv7#&srIFSZWKhE?)sD5uO`EhR`V!S1*Dzp$~Mp5R}z<5^vw zU$H02t-hqtJ1cS|6Lk0R4xF{WAh|a8GXIFHSQ!DG$-N7=jA}$A9@0%<`83#UxfA~w zkal>s=^=k@6)J3YMxKc}Y?(`mwce`Cvw~qCM!&Ce4FfRBouqdK4DCsr_hPJcAh4)L zZHc7TZC`oc#)Y~Bo?&@-O8`!cF~XJw-7TecCY;6K74^MSizIeuG6YQ~?;7H@6L81kLdAvf?6)SbTeD~0B#5hBQ^N2Yvz4Xy7o(%!z0UZCR=4Tr|En;Q-oo2u ziq>eAd0_>=qq~LNor-+)67T$RF)MK__zaUFrulsYA_*HADr)3hiYL}EdR9OrJW*6k zv3P%vxbQ&jC#v=a{buBSLjX8IuXuvh=RoXq`d(j;Be^9`Um5mFX;_lhut4rf2h7LC zcfqktw{)~-7YNXE+Iq3YZ|htq>I<0N>=xF+L}_7bB7??gaR@QC+#E@{B#6ZyvQpQ3 zG71Y?m$uAd36m@Y>=;1ma97F^oD3Nd9{hiPO0zDd@10Gdc1NcR;d!gAEA%(-KjIw# zkPT~Y)3G;|M*2IpK6(OdD3(JmScoasnrGj$K5d+%%`~;w$@4Gweh|C*+wBQL+A^iK z2%1QIZ|^r9ZoyjFD1&kz$%u!1a@t9Ux5cGUBcpsM){)XE&#FxV;Uf*#MMqoJLQQ`_ z>WiL97;1)os?M9e;eD5GU+ZbfV*c~tH^(Ofu^sI;)QppH2{i%J1)rTWmH-G5nV@U` zu`osFKfBb+WDK;e3rJg?l>>Z97a`qO?yK<_#84KaOIiyxyd>LylE+tvvOrqlm7{aO zqcQ3q)hM#c)VOSB6H%4)Mpu(P5>z;*6RF3 zX8E<2@pgZ13O3~%`Zf^DLjyx`(`X1O+Nn)F=YKnP5!G`_eFMw*LP*@-t!KhuNbo=IKc=*c$h>p4_sWAjwhEFYIA25~@;JgBkhnmK9!c?c9&w8!Ati%)DGk zIyVP#*Z9-(H_64WqO9YtHW9Lzw@2yqFs+=c`B!>h@C}4kl4r`I$&naI4;t=t(u121 zg?<+-v=NnFP2-HWI5ltnw%vbSE#>CT<;yBM#{1OK{(VK%rOTM=J$RKK4^FR{Ig<~ix{DpF z1^F=87Unuzv0?iJWpvKQ?R}@O@^KJWp0TM$cKZQpC3488qBw=|@aBJ+!<5p2*L6P) zYTGq<$mAWo5?sc0Bb`+T6{EXZNsvzTyIUy+@A|Ms`M{q>Kvojb+DDlYsr_Ro5O4|- za%yYiy)KHad(qDMKY*v9i>o?5+E?RX7qmH==t&aWJk(z^U-~=kPCSz`%gYglR2pPw zeTKzirpqE^+}5bEphti2;4J+%LbOVRp#K$$+^wbSmcl=Vx6ODW*N)`-7h;!OL1`PqDU}3KFSr z;rnDg67Zpv404BFh@#lVi6{P~Tg0E2j6rf25IMpD2$b*+;~_u$bs6HoMhZqjFocFK zD&~wKlJjOmjEH|%4qfvH=0Jq!5I@r?Z^l_BAN33521Muwm(S+PbC>Y-8$1TAl4~3M z1nHSwA9LZ*5MO>_2NQYXT%*|6<3B5c`MK&wWWYNHi3 zKrdpVTfXQ?s_U?NXT3p28Y^q%5?5^M_YM?+X$F(;KD2*o6kaEm)!byz)Z_|sbvU1W z(KJT%1NSNz)cJiS9pfu+m0iP!x{41>W#UEI%Zh68KBx;kqD%0^h%n@fpATHsuJu!0 z4t%vXx^rwm&8H{y>9RTtuXKEX@KauQepTC@xN@LG$k&i56wS&1GnR!e87@~{OyHg5 zT{!?e7;1kti&}K`*Cwu!yS!h)%|9)+4r_D$w4(>3;b#EptW7cFiuc{&aUsmSoF*44 z`y#mOZqXe6Rp)+>Eu}{=!{T)14 z_j4ok$C*V;RwIOrv*+aS?S@7J*&30WMvG7Hy)YQ}sqMDgOL_>yg?(o@9NyEm5~8i%JB!s>ETWg_ zy+tQ_4?+C&)q8KNmmoxM!7qB*h~7KVSuLWM6(0ZheXjr4=X^Q$%r)Q6Tyvc>bLO7g z?)|vYJK&iI@Ydar>JkuyDdEoL0>!VqZxgU}Ju3RTuv79@=Uv%{V?^qgS&w7u2;wd_ zlDCk8&feYmYQp$6b%zaiNxd~zlU8F%kq)11R_mhHxtgQ}$9eCZqg%1u4n9|_B4$}u zW|=s<_X)U|S1BSk)vrD#(ECf<;ve>3_trg$%yc_?k@6C;-~TBrDc zxN$Y3Ug5dIOZpqIc0?Id%5mJ-g%QDz0Yi1&z1-bQ`%yG;aD?=ftQOgPbcogyaLjQJ zer6aAiFb#Ej^UBQ+UNn~Z3L)*N;+7R%L^Q*2kffDvMK;1ZG$d=S#j80?F+1`0NkL# zup3`sa}|II9rml`1s>D_n9*U)?JtnF5zvng%kKb?z+T|@w(4&HEOc08H-N0|XFFgH z4d&hlFloE#03@No3$4O9FR0OtliNygmG1XgZCk{R^M0{*(ZK&zc&s?cuiHHECa1ZY{krJR&W~W<4 zjj`sfTSB|D_<#Yt+1v-G`qr+)wLZ5M^`<<@k(t~M{hVy1_|-Wrhy1z5&db0X-;y~+FSi3_EApnTY*+F!VMPNL@P!K zVZ3x$R1*Cui^R$NNsPTfS4{*5_ATVvao-a)azp^+1Qp$k7@or8Dj*?@%Ext7;UC8B z*EihX1X?Y{#hy z6dVa1tX%z+cOeFtT1;%)9B-LqLUGkHUh&1$7Dq5CZsDk}rjin*xuyzJqiAMPkY8%* zQn&C6F+izj-G2(%a436NmA{{Mji-#&+v`;!18EHxfV6z>kUeKOKZ=ru((m!1ZK6d( zH(MT$cG1##>U{BsPDu@8lXqOfy+uWFOG{fII6S`~%pj-4Y2J@5=97s7y|yw?poDw3 zunD9^2_3o{9Y$jB1e{ddZwBhyZadr@*NfjhL$MT%axmh$SFk_=KzRb-E|9uJAxrNA zDjMd$80VRLV!BMTvh|Q{XWy=D@*IuYC7TK~Cq4&I0`%b#L~M>p9M(TF$(tsYv;woE%m8Tj!;bi& zQBZ%cCkC{{AGB*>8(4!6zg7=-x6M&ysGuEflXu8%WPTauBHYVop|H9Qv9>jNerGLF z#6+e95dt<3Tl?#bS#u_vE5Y|X{&u3vas^TK%-EzJENR&_E&(g z*8!P$2C!*?(t=b7{@$O35wFO>{%g=j&SM!1*U!SWIc{BK;LOR&KdZcXugkCvIE8O1 zb(%%l1ZMTf7ZBY|SmGzM57@^c!!ltnE+@Zlr)7-ugyjDa;Z=aKK_ar(V0SM0Hy&Pc zc*t;bKy~^#0J~If6alqUkhY?*#yJDIR=z@TIvPlEhkXuc?2E#Yb8p9`C? zGCOH1ZZnIk-@IdQe*!{wzxJt?PWWij;dtdzKA2kM(GDMxD&QlZ&!xpf8XB1d$MI0E zS)Y_G{K!)(rX2$9vq{9f#=_qt6gabtr1aUcOZyXkm2B55zJY3IIT~f8ekN_MwB*6X zZ=4LQQ%;7@BsI1mrX?Ld=W9j*kTpWj5IE9tE=BbOGz>v|s7X=G7urd4ZcZMhylaT6HH0i%wE&C5_zRnO=kH$Mm?5enTv%ItEH=5vFzI3@aLY6_?e$h3R6f}ZNO{rGwQ_R!po z)=eGVcsHRwV^OIyR%s3$p^oz~AzwPQH;VpOb}vFnD1YJ_@*c%gihg7<@XtBDb#X?y z4^OmkXvR@&QkkkteJPWLP?Q4jP(z$_@t~!LO3xg5^u2o{A+&_^Uy8&kl$hIaUZ{Vu zrIxK2#Y>7uZ)^k~;X-}bqd3DIJu4@R@=gie5ulFd2xw92=!-?E{qa^NU3hrj2I07M zcp+SvIhlAyC*gAO(>aYs!UcwnDyG|~9g@fNzn;WiHSAg9qZUZ=HnNU>(cbl#mc);GZO-YLoXrYSKs z&GOmVjGAC2%AS07*)%qK?na1yp;0IY{^?$U2>6K;HGVZ+?#HvswmBzC-nYJ#Oxg7vMu@>vh)B0lP6fDsW zFQDl8>vyq*fE_3)y=ERtoZj^R;mvW*-EFvJkajxKzH-#QF!LqYN7kLfHDvd)Z@t>u zHz@pz;Sw|HUYEJ72*G~%^q=j+JAeJ+*L2Xcefa5X(S(^E>PSh}j5WM3`bW=$$@d_s zO^VJ={ozZuWfmd$!sJ&aD@2cqIlq40|M>uP#LW z+pNAsgnFIF6U&>j-&0Pw6;^w>oFRj0yNSguQ#(1=zlY{Oc_ z+3L7YiO>V+B{a@Soc${NVr6w_fMBSeGee85Z7AKNU5zhZ1jS8q)xadC4qpHwO#985P9JFF@;p6znE+1y|9D8=cS!LAwvWS>UMp`+WDtyzEV z9HP(QA`(#H$6x%=U_l-nDTXB8c+N}x)ZS;~bWi#g-GURS*jm81D9Su^x#Ah6a#?sL zA}xHREP{4UeS!BI6wDl>50GqWPo~fN*%(aM?mT(CZ|qi4^83*>JM$*c+hL%_*xoXM zj}10(4r!pWFemfn|10Lp38Yg}Ka3JokDN>TG&i7YIa7DlcF}ZEB9xgB_aUved_MIw z^sS?mbfII zn8*)%sW7B30S!+-N~27EN$YXR`85J$Qm{6;RxvC<-GR+;{dkC`>8SPmz0%Piu#6@E z5xD}3NUW_PN2cnAxf-oZ)A`ajwfzY4+@3u0+A>q1bO9ROWY$HwT*z#$V8-P&y(MoA zi&#D~;YOoaDdACryhD-_svuxXv5C`tS8}bu&*LrDBNWr8cUlZdgUwYFUmiZUKa72U zsJU_-1@3-PnkzCh*uZd|-8u&EQA}PBsT44|lV1|yL>pr;R{vpq%&w*W*6qJZ$chqU z7IZWSrzvNk28U2pR=I<0I#ih*yVc(H~q=6@kq<=j9{7mzYLg!dE zNk6q@&3VTju_n%CaFeEHLF##qVjb0TZ^i1L`Gu@W^_|An;{5#F+r8bBk)#Jq>%GOQ zicX$h-i%<;|1x^K zke$F9I{=)}pm(cDtHPv#w}yYfrtfWjaiGeEz%eo6geinpyGcW3Mr&&H$pI?7N5Mf8 zsg69K8X0_8@h7P!5*%a0NK}30^yS)F5-K7FvUU4~won8#BZOI)bbA?e<_PN`IwrmI zgr$fm7xvOL)D&X2hJKkIG~y4GgdEr+`TXf<9Yhh(^4tMHvGyyGI1i>q%&ZJrMND>5 zHQ}`o&P-+|Z)c2WV#g`$_0E8{4@4>#UnlmDrpPy`# z>sX;(_nVhP^#yLut#WY!!?z2>Uw=ik`RQ%NmeGp6%r(Q`okueoREyc-;Yg z&C02ZrnS3SedDYMPhKo)7H-R2H{h+wiF17LX0NW2_+~u4G`rPEz-8kUhh&;48z=b2 zWu8tKR1^@ZKo~Hx^Etd@PTOX(Kw9p-W29%Ga3CaOdVKxnn&m0FH_r7SXch2LARNhe zveh%Xz1BOSq^!Z10ffII&R%ZOL9>M-Ug=^r8ZcCwSRlzU`|*Ce2^zc(%4Z{Cmt`-I zNfAGgUB~tTKd9RZDW(UOTz^`2nU^z8wxLf`@Xn4RCJHe|u%Jz;Qga<8R$|G}xSsp8 z*Zos#jOA?pE3^9vo9Bp;={?ps;UBjzSpHUemH!Av_9kn4xt-7G?D52AhvuF`<#0G9 zzTb4xU|b)ogBVe{Tkf8WEjD{eF5gSp{3MJTNFa(9M)H5YUC>^s_mA(2%RZ zIsE4i^C*#q2-t3rXy%)JNF7gsABBwvde z1&_cTqdSmn(DM7e5B_dcv^`Oso`Bhzd$*~H#+37zBv1Trg1Sg%iRd5E$)m%mr_HCE zNR!R4r6Iom;=eAPJg9qKQXEQ=f=UcT>8Wl>^;cLSm5%G+Q$C*8dhQX3^Uf>ueLD)A z{}(b|2DqaFNnly4079ssIS!wmlfNCKfapssFl00ZGYT?-UzED;?%pp-{ueTNT^v4@ z5BBaa68L|mw~VF|5Qwa-fS|0v8zEs~1);Zc!h-xF!Vm?B99U6SK~7Lmit+z8F~|FF zUQI;sg~n(Nzy%$4PqZQ(IzQ-a>$*H{Z9^|F|1|v$KsToE^v#54rRr-`78`fOTch~F ziGFFuM&@ZzT|H)5J?zX3j5J<6B3zoj{vTDb{@p|S>0T278<$eIr)LXq4(!nn&_EZ( z3p$WHF``mptl~`L3{Et^sUO@$BMsF7Im-s7gwYoEKBiE#w5iE4;R;4T_}ED*(^x2Q z>_nf6J*1SLu7op!o7ToBtqLp7=}l%~F;A$j3I5lC7B8!pKhQHwD+1YC9Vkh&x)^&c zY9X&N$Qn|7I6R8q6Y0y5aYxa5nD!oo*=YkH+PI@7`0sjEjWAqFbn-`+7A?oa@q1-g z{Hy-*qeMePu1Easx|%GE>uU@bxQ;Wgosq6;=*WdW|0NU}D-zczo+&)j5{%Z^(Y+H# zm-irVIdP#_uI!fTRlgq=OXyu=J~18gyZOR$BrnCC8E1#XF!L#ZCP zxh;8=${?*S&pxTLgSEJr?Jg$-iL&;=%QghQExZ3Kbl9ejET4|GpR6DPH7b=p`mjly z{T7F+WNtLA{_G-tH?Dg1X~F(Ruwl(~Dz?p}lR)j{#t(EZz4$i^W?8`EAhk+oYZe># zPL)&4UXZ!|jmqCAHy$cofwITp3`P!F-LSG(D%fcs(A89`%j~&@R@e^h9BNjW4u5~F zUSSRTK30XVV)?b%xuVSdv876H#{HBb(np2T)TzxG7GXeC{hd_;xmZPyt<>`d`x ::= "group" "exploit" , ()= \end{spverbatim} @@ -145,13 +149,13 @@ Many of the graphs previously generated by RAGE comprise of states with features To expand on the types and complexities of graphs that can be generated and to allow for synchronous firing, compound operators have been added to RAGE. When updating a state, rather than setting a quality to a specific value, the previous value can now be modified by an amount specified through standard compound operators such as $\mathrel{+}=$, $\mathrel{-}=$, $\mathrel{*}=$, or $\mathrel{/}=$. Previous work on an attack graph generator included the implementation of compound operators, as seen by the author of \cite{nichols_2018}. However, this work was conducted on the previous iteration of an attack graph generator written in Python. This attack graph generator has since been rewritten in C++ by the author of \cite{cook_rage_2018}, and compound operators were not included in the latest version of RAGE. -The work conducted by the author of \cite{cook_rage_2018} when designing the software architecture of RAGE included specifications for a quality encoding scheme. As the author discusses, qualities have four fields, which include the asset ID, attributes, operator, and value. The operator field is 4 bits, which allows for a total of 16 operators. Since the only operator in use at the time was the $``\mathrel{=}"$ operator, the addition of four compound operators does not surpass the 16 operator limit, and no encoding scheme changes were necessary. This also allows for additional compound operators to be incorporated in the future. +The work conducted by the author of \cite{cook_rage_2018} when designing the software architecture of RAGE included specifications for a quality encoding scheme. As they discuss, qualities have four fields, which include the asset ID, attributes, operator, and value. The operator field is 4 bits, which allows for a total of 16 operators. Since the only operator in use at the time was the $``\mathrel{=}"$ operator, the addition of four compound operators does not surpass the 16 operator limit, and no encoding scheme changes were necessary. This also allows for additional compound operators to be incorporated in the future. A few changes were necessary to allow for the addition of compound operators. Before the generation of an attack graph begins, all values are stored in a hash table. For previous networks generated by RAGE, this was not a concern since all values could be fully enumerated and all possible values were known. When using compound operators however, not all values can be fully known. The task of approximating which exploits will be applicable and what absolute minimum or maximum value bounds will be prior to generation is difficult, and not all values can be enumerated and stored into the hash table. As a result, real-time updates to the hash table needed to be added to the generator. The original key-value scheme for hash tables relied on utilizing the size of the hash table for values. Since the order in which updates happen may not always remain consistent (and is especially true in distributed computing environments), it is possible for states to receive different hash values with the original hashing scheme. To prevent this, the hashing scheme was adjusted so that the new value of the compound operator is inserted into the hash table values if it was not found, rather than the size of the hash table. Previously, there was no safety check for the hash table, so if the value was not found, the program would end execution. The assertion that the new value can be inserted into the hash table is safe to make, since compound operators are conducted on numeric values, and matches the numeric type of the hash table. -Other changes involved updating classes (namely the Quality, EncodedQuality, ParameterizedQuality, NetworkState, and Keyvalue classes) to include a new member for the operator in question. Auxiliary functions related to this new member, such as prints and getters, were also added. In addition, preconditions were altered to include operator overloads to check the asset identifier, quality name, and quality values for the update process. +Other changes involved updating classes (namely the Quality, EncodedQuality, ParameterizedQuality, NetworkState, and Keyvalue classes) to include a new member for the operator in question. In addition, preconditions were altered to include operator overloads to check the asset identifier, quality name, and quality values for the update process. \subsection{Graph Generation} The implementation of synchronous firing in the graph generation process relies on a map to hold the fired status of groups. Previously, each iteration of the applicable exploit vector loop generated a new state. With synchronous firing, all assets should be updating the same state, rather than each independently creating a new state. To implement this, each iteration of the applicable exploit vector checks if the current loop element is in a group and if that group has fired. If the element is in a group, the group has not been fired, and all group members are ready to fire, then all group members will loop through an update process to alter the single converged state. Otherwise, the loop will either continue to the next iteration if group conditions are not met, or will create a single state if it is not in a group. Figure \ref{fig:sync-fire} displays the synchronous fire approach. @@ -170,25 +174,28 @@ The implementation of synchronous firing in the graph generation process relies \subsection{Experimental Networks and Computing Platform} \label{sec:test-platform} All data was collected on a 13 node cluster, with 12 nodes serving as dedicated compute nodes, and 1 node serving as the login node. Each compute node has a configuration as follows: \begin{itemize} -\item{OS: CentOS release 6.9} -\item{CPU: Two Intel Xeon E5-2620 v3} -\item{Two Intel Xeon Phi Co-Processors} -\item{One FPGA (Nallatech PCIE-385n A7 Altera Stratix V)} -\item{Memory: 64318MiB} + \item{OS: CentOS release 6.9} + \item{CPU: Two 8-core Intel Xeon E5-2620 v3} + \begin{itemize} + \item{With hyperthreading: 2 threads/process per core} + \end{itemize} + \item{Two Intel Xeon Phi Co-Processors} + \item{One FPGA (Nallatech PCIE-385n A7 Altera Stratix V)} + \item{Memory: 64318MiB} \end{itemize} All nodes are connected with a 10Gbps Infiniband interconnect. The example networks for testing the effectiveness of synchronous firing follow the compliance graph generation approach. These networks analyze two assets, both of which are identical 2006 Toyota Corolla cars with identical qualities. The generation examines both cars at their current states, and proceeds to advance in time by a pre-determined amount, up to a pre-determined limit. Each time increment updates each car by an identical amount of mileage. During the generation process, it is determined if a car is out of compliance either through mileage or time since its last maintenance in accordance with the Toyota Corolla Maintenance Schedule manual. -In addition, the tests employ the use of ``services", where if a car is out of compliance, it will go through a correction process and reset the mileage and time since last service. Each test varies in the number of services used. The 1 Service test only employs one service, and it is dedicated to brake pads. The 2 Service test employs two services, where the first service is dedicated to the brake pads, and the second is for exhaust pipes. This process extends to the 3, 4, 5, and 6 Service tests. -The testing information is as follows: +In addition, the tests employ the use of ``services", where if a car is out of compliance, it will go through a correction process and reset the mileage and time since last service. Each test varies in the number of services used. The 1 Service case only employs one service, and it is dedicated to brake pads. The 2-Service case employs two services, where the first service is dedicated to the brake pads, and the second is for exhaust pipes. This process extends to the 3-, 4-, 5-, and 6-Service cases. +The experimental setup is as follows: \begin{itemize} - \item{All tests ran for 12 months, with time steps of 1 month.} - \item{All tests had the same number of compliance checks: brake pads, exhaust pipes, vacuum pumps, AC filters, oil changes, and driveshaft boots.} + \item{All cases ran for 12 months, with time steps of 1 month.} + \item{All cases had the same number of compliance checks: brake pads, exhaust pipes, vacuum pumps, AC filters, oil changes, and driveshaft boots.} \item{There were 12 base exploits, and an additional 6 exploits were individually added in the form of services for each test.} - \item{All tests used the same network model.} - \item{All tests used the same exploit file, with the exception of the ``group" keyword being present in the synchronous firing testing.} - \item{Services must be performed prior to advancing time, if services are applicable.} + \item{All cases used the same network model.} + \item{All cases used the same exploit file, with the exception of the ``group" keyword being present in the synchronous firing testing.} + \item{All services must be performed prior to advancing time, if services are applicable.} \item{Graph visualization was not timed. Only the generation and database operation time was measured.} \end{itemize} @@ -204,11 +211,11 @@ The compliance checks are as follows: \subsection{Results and Analysis} \subsubsection{Results for the Theoretical Environment} \label{sec:theo_res} -Using the testing setup described in Section \ref{sec:test-platform} on the platform described at the beginning of Section \ref{sec:test-platform}, results were collected in regards to the effect of synchronous firing on both state space and runtime. There was also a collection of the graphs' edge to state ratio (E/S Ratio). These results can be seen in Figures \ref{fig:Sync-RT} and \ref{fig:Sync-State}. The respective tables are seen in Tables \ref{table:NS-Table} and \ref{table:S-Table}. Both figures show a decrease in the number of states and a decrease in the runtime when synchronous firing is utilized. Since synchronous firing prevents the generation of unattainable states, there is no meaningful information loss that occurs in the graphs generated with the synchronous firing feature. Since the resulting number of states was also reduced, there will be increased justification for the synchronous firing approach due to a reduced runtime for the analysis process. Figure \ref{fig:Sync-Spd} displays the speedup (according to Amdahl's Law) obtained when using synchronous firing instead of non-synchronous firing for identical setups. +Using the experimental setup described in Section \ref{sec:test-platform} on the platform described at the beginning of Section \ref{sec:test-platform}, results were collected in regards to the effect of synchronous firing on both state space and runtime. The graphs' edge to state ratio (E/S Ratio) was computed as well. These results can be seen in Figures \ref{fig:Sync-RT} and \ref{fig:Sync-State}. The respective tables are seen in Tables \ref{table:NS-Table} and \ref{table:S-Table}. Both figures show a decrease in the number of states and a decrease in the runtime when synchronous firing is utilized. Since synchronous firing prevents the generation of unattainable states, there is no meaningful information loss that occurs in the graphs generated with the synchronous firing feature. Since the resulting number of states was also reduced, there will be increased justification for the synchronous firing approach due to a reduced runtime for the analysis process. Figure \ref{fig:Sync-Spd} displays the speedup (according to Amdahl's Law) obtained when using synchronous firing instead of non-synchronous firing for identical setups. When examining the E/S Ratio for the non-synchronous graphs, it is both expected and observed that the ratio slightly increases as the number of services increases. When more applicable exploits are used during the generation process, the number of permutations increases, which corresponds with the growing number of states and edges. However, the increase in the number of services also increases the relation between states and the new permutations. -When comparing the E/S Ratio for the non-synchronous graphs to the E/S Ratio for the synchronous graphs, it is observed that the ratio does not remain constant. For example, for the 5 service case, the non-synchronous graph has an E/S Ratio of 6.398, and the synchronous graph has an E/S Ratio of 7.209. While the number of states and the number of edges is reduced when using synchronous firing, the ratio of edges to states is not necessarily constant or reduced. +When comparing the E/S Ratio for the non-synchronous graphs to the E/S Ratio for the synchronous graphs, it is observed that the ratio does not remain constant. For example, for the 5-Service case, the non-synchronous graph has an E/S Ratio of 6.398, and the synchronous graph has an E/S Ratio of 7.209. While the number of states and the number of edges is reduced when using synchronous firing, the ratio of edges to states is not necessarily constant or reduced. \begin{figure} \centering @@ -236,6 +243,7 @@ When comparing the E/S Ratio for the non-synchronous graphs to the E/S Ratio for \begin{table}[htp] \centering + \setlength\tabcolsep{4pt} \begin{tabular}{|c|c|c|c|c|} \hline \multicolumn{5}{|c|}{Non-Synchronous Firing} \\ \hline @@ -252,12 +260,13 @@ When comparing the E/S Ratio for the non-synchronous graphs to the E/S Ratio for 5 & 209944 & 1254784 & 588336.01 & 5.977 \\ \hline 6 & 423940 & 2712165 & 1581697.61 & 6.398 \\ \hline \end{tabular}`' - \caption{Tabled Results for the Non-Synchronous Firing Testing} + \caption{Results for the Non-Synchronous Firing Testing} \label{table:NS-Table} \end{table} \begin{table}[htp] \centering + \setlength\tabcolsep{4pt} \begin{tabular}{|c|c|c|c|c|c|} \hline \multicolumn{6}{|c|}{Synchronous Firing} \\ \hline @@ -268,21 +277,21 @@ When comparing the E/S Ratio for the non-synchronous graphs to the E/S Ratio for & \textbf{\begin{tabular}[c]{@{}c@{}}E/S\\Ratio\end{tabular}} & \textbf{\begin{tabular}[c]{@{}c@{}}Speedup\end{tabular}} \\ \hline - 1 & 6277 & 34569 & 14872.86 & 5.507 & 5.87 \\ \hline - 2 & 11653 & 69385 & 29251.56 & 5.954 & 3.96 \\ \hline - 3 & 25317 & 160041 & 66799.18 & 6.321 & 2.76 \\ \hline - 4 & 36949 & 241577 & 102216.30 & 6.538 & 2.47 \\ \hline - 5 & 83134 & 570930 & 243612.05 & 6.868 & 2.42 \\ \hline - 6 & 186679 & 1345818 & 581840.76 & 7.209 & 2.72 \\ \hline + 1 & 6277 & 3.46E04 & 1.48E04 & 5.507 & 5.87 \\ \hline + 2 & 11653 & 6.94E04 & 2.92E04 & 5.954 & 3.96 \\ \hline + 3 & 25317 & 1.60E05 & 6.68E04 & 6.321 & 2.76 \\ \hline + 4 & 36949 & 2.42E05 & 1.02E05 & 6.538 & 2.47 \\ \hline + 5 & 83134 & 5.71E05 & 2.44E05 & 6.868 & 2.42 \\ \hline + 6 & 186679 & 1.35E06 & 5.82E05 & 7.209 & 2.72 \\ \hline \end{tabular} - \caption{Tabled Results for the Synchronous Firing Testing} + \caption{Results for the Synchronous Firing Testing} \label{table:S-Table} \end{table} \subsubsection{Results for a Grouped Environment} The environment and resulting graphs presented in Section \ref{sec:theo_res} depict the possible states of the two cars in compliance graph formats. While these graphs demonstrated accurate, exhaustive depictions of the cars and their compliance standings, they may not be realistic representations of the most likely outcomes. If a car was due for two compliance checks at the same time, it is unlikely that the car would be taken for one maintenance, returned to its original destination, then driven immediately back for maintenance, and finally to its original destination once more. The more realistic scenario is that the car is taken for maintenance, both services are performed at the same visit, and then the car is returned to its original destination. -Another set of graphs were generated using only the 3 service case. These services were for a driveshaft boot check, an AC filter change, and an oil change. This set of graphs used `comprehensive services", where a car would undergo multiple services simultaneously. With three services used, there are a total of three permutations: all three services are done individually, two services are performed simultaneously while the other is performed later, and all three services are performed simultaneously. +Another set of graphs were generated using only the 3-Service case. These services were for a driveshaft boot check, an AC filter change, and an oil change. This set of graphs used `comprehensive services", where a car would undergo multiple services simultaneously. With three services used, there are a total of three permutations: all three services are done individually, two services are performed simultaneously while the other is performed later, and all three services are performed simultaneously. For this set of examples, all compliance checks have the same time requirements. This work does not introduce any heuristics or methodologies for intentionally performing services early or late. If Service A was required no later than every 6 months, but Service B was required no later than every 8 months, then joining Service A and Service B together would either mean: 1. Service B was completed 2 months earlier than it needed to be, or 2. Service A was completed 2 months later than it needed to be. This was considered out of scope for this approach, but this is noted in the Future Works Section (Section \ref{sec:fw}). @@ -292,14 +301,15 @@ Leveraging comprehensive services with synchronous firing enables users to signi \begin{table}[htp] \centering + \setlength\tabcolsep{4pt} \begin{tabular}{|c|c|c|c|c|} \hline \multicolumn{5}{|c|}{Comprehensive Services with Non-Synchronous Firing} \\ \hline \textbf{Permutation} & \textbf{\begin{tabular}[c]{@{}c@{}}States\end{tabular}} & \textbf{\begin{tabular}[c]{@{}c@{}}Edges\end{tabular}} - & \textbf{\begin{tabular}[c]{@{}c@{}}Runtime\\ (ms)\end{tabular}} - & \textbf{\begin{tabular}[c]{@{}c@{}}E/S\\ Ratio\end{tabular}} + & \textbf{\begin{tabular}[c]{@{}c@{}}Runtime\\(ms)\end{tabular}} + & \textbf{\begin{tabular}[c]{@{}c@{}}E/S\\Ratio\end{tabular}} \\ \hline \begin{tabular}[c]{@{}c@{}}All \\ Disjoint\end{tabular} & 72489 & 405236 & 184634.34 & 5.590 \\ \hline @@ -308,12 +318,13 @@ Leveraging comprehensive services with synchronous firing enables users to signi \begin{tabular}[c]{@{}c@{}}All \\ Conjoined\end{tabular} & 19764 & 87024 & 47126.42 & 4.403 \\ \hline \end{tabular} - \caption{Tabled Results for the Comprehensive Services without Synchronous Firing} + \caption{Results for the Comprehensive Services without Synchronous Firing} \label{table:Non-Sync-Comp-Table} \end{table} \begin{table}[htp] \centering + \setlength\tabcolsep{4pt} \begin{tabular}{|c|c|c|c|c|c|} \hline \multicolumn{6}{|c|}{Comprehensive Services with Synchronous Firing} \\ \hline @@ -331,7 +342,7 @@ Leveraging comprehensive services with synchronous firing enables users to signi \begin{tabular}[c]{@{}c@{}}All \\ Conjoined\end{tabular} & 3774 & 18370 & 9261.03 & 4.868 & 5.09 \\ \hline \end{tabular} - \caption{Tabled Results for the Comprehensive Services with Synchronous Firing} + \caption{Results for the Comprehensive Services with Synchronous Firing} \label{table:Sync-Comp-Table} \end{table} @@ -361,9 +372,9 @@ Leveraging comprehensive services with synchronous firing enables users to signi \section{Future Works} \label{sec:fw} -As seen and discussed in Section \ref{sec:inseparable}, when unattainable states are generated, there is a compounding effect. Each unattainable state is explored, and is likely to generate additional unattainable states. Future works include examining the effect of synchronous firing when more assets are utilized. It is hypothesized that the synchronous firing approach will lead to an increased runtime reduction and state space reduction due to the increased number of unattainable state permutations. This work had a limited number of assets, but generated upwards of 400,000 states due to repeated applications of the exploit set due to the services corresponding with the compliance graph. Future work could alter the test scenario to have a greater number of assets, and a standard set of exploits more akin to an attack graph. Other future works could include measuring the performance of synchronous firing when multiple groups of inseparable features are used. This work used a single group, but multiple groups be added to examine the performance of the feature. +As seen and discussed in Section \ref{sec:inseparable}, when unattainable states are generated, there is a compounding effect. Each unattainable state is explored, and is likely to generate additional unattainable states. Future works include examining the effect of synchronous firing when more assets are utilized. It is hypothesized that the synchronous firing approach will lead to an increased runtime reduction and state space reduction due to the increased number of unattainable state permutations. This work had a limited number of assets, but generated upwards of 400,000 states due to repeated applications of the exploit set due to the services corresponding with the compliance graph. Future work could alter the scenario to have a greater number of assets, and a standard set of exploits more akin to an attack graph rather than a compliance graph. Other future works could include measuring the performance of synchronous firing when multiple groups of inseparable features are used. This work used a single group, but multiple groups be added to examine the performance of the feature. -Another avenue for future works would be to take a network science approach. There may be features of interest from examining the topology of the resulting graphs with and without synchronous firing. Various centrality metrics could be examined, as well as examining transformations such as dominant trees or transitive closures derived from the original graphs. Each approach could compare each graph when using or not using synchronous firing to determine if there are possible points of interest. Taking a network science approach could also examine and analyze the E/S Ratio differences between the graphs when using or not using synchronous firing, and attempt to provide further insight on what those differences mean in terms of usability of the graphs. +Another avenue for future work would be to take a network science approach. There may be features of interest from examining the topology of the resulting graphs with and without synchronous firing. Various centrality metrics could be examined, as well as examining transformations such as dominant trees or transitive closures derived from the original graphs. Each approach could compare each graph when using or not using synchronous firing to determine if there are possible points of interest. Taking a network science approach could also examine and analyze the E/S Ratio of the graphs when using or not using synchronous firing, and attempt to provide further insight on what those differences mean in terms of usability of the graphs. Introducing service heuristics could improve the characteristics of synchronous firing. If services are performed too early, then additional states would be generated in the resulting graph. If synchronous firing was not used, these additional states could compound into more states due to the separation of features. Likewise, if services are performed too late, then additional states could be generated to represent the compliance violation, and these states may also compound into more statues without synchronous firing. Examining the impact of synchronous firing when various heuristics are implemented could reveal interesting results. diff --git a/texput.log b/texput.log new file mode 100644 index 0000000..e449f89 --- /dev/null +++ b/texput.log @@ -0,0 +1,21 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.4.29) 11 OCT 2022 16:04 +entering extended mode + restricted \write18 enabled. + %&-line parsing enabled. +** + +! Emergency stop. +<*> + +End of file on the terminal! + + +Here is how much of TeX's memory you used: + 4 strings out of 478238 + 135 string characters out of 5850456 + 289994 words of memory out of 5000000 + 18344 multiletter control sequences out of 15000+600000 + 469259 words of font info for 28 fonts, out of 8000000 for 9000 + 1141 hyphenation exceptions out of 8191 + 0i,0n,0p,1b,6s stack positions out of 5000i,500n,10000p,200000b,80000s +! ==> Fatal error occurred, no output PDF file produced!