From c9186348ee39483c42996e5a434fc8f0af622ea9 Mon Sep 17 00:00:00 2001 From: noah Date: Tue, 25 Apr 2023 01:00:29 -0500 Subject: [PATCH] Minor edits --- Schrick-Noah_AG-CG-CR.aux | 4 ++-- Schrick-Noah_AG-CG-CR.log | 42 +++++++++++++++++++++----------------- Schrick-Noah_AG-CG-CR.pdf | Bin 208691 -> 208554 bytes Schrick-Noah_AG-CG-CR.tex | 13 ++++++------ 4 files changed, 31 insertions(+), 28 deletions(-) diff --git a/Schrick-Noah_AG-CG-CR.aux b/Schrick-Noah_AG-CG-CR.aux index cf8c149..1951020 100644 --- a/Schrick-Noah_AG-CG-CR.aux +++ b/Schrick-Noah_AG-CG-CR.aux @@ -57,6 +57,7 @@ \citation{CR-Simple} \bibdata{Bibliography} \bibcite{schneier_modeling_1999}{1} +\bibcite{j_hale_compliance_nodate}{2} \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Time Taken to Checkpoint as the Size of the Instance Grows}}{4}{figure.2}\protected@file@percent } \newlabel{fig:inst-time}{{2}{4}{Time Taken to Checkpoint as the Size of the Instance Grows}{figure.2}{}} \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Time Taken to Checkpoint as the Size of the Frontier Grows}}{4}{figure.3}\protected@file@percent } @@ -64,7 +65,7 @@ \@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Time Taken to Restart as the Size of the Frontier Grows}}{4}{figure.4}\protected@file@percent } \newlabel{fig:front-rest-time}{{4}{4}{Time Taken to Restart as the Size of the Frontier Grows}{figure.4}{}} \@writefile{toc}{\contentsline {section}{\numberline {V}Conclusions and Future Work}{4}{section.5}\protected@file@percent } -\bibcite{j_hale_compliance_nodate}{2} +\@writefile{toc}{\contentsline {section}{References}{4}{section*.1}\protected@file@percent } \bibcite{cook_rage_2018}{3} \bibcite{berry_graph_2007}{4} \bibcite{zhang_boosting_2017}{5} @@ -80,5 +81,4 @@ \bibcite{li_combining_2019}{15} \bibcite{CR-Simple}{16} \bibstyle{ieeetr} -\@writefile{toc}{\contentsline {section}{References}{5}{section*.1}\protected@file@percent } \gdef \@abspage@last{5} diff --git a/Schrick-Noah_AG-CG-CR.log b/Schrick-Noah_AG-CG-CR.log index 3043e48..89a6413 100644 --- a/Schrick-Noah_AG-CG-CR.log +++ b/Schrick-Noah_AG-CG-CR.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.4.3) 25 APR 2023 00:40 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.4.3) 25 APR 2023 01:00 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -488,6 +488,16 @@ Underfull \hbox (badness 2158) in paragraph at lines 55--62 []\OT1/ptm/m/n/10 Despite their advantages, graph generation has many [] + +Underfull \hbox (badness 3557) in paragraph at lines 68--69 +\OT1/ptm/m/n/10 reliability. User-level checkpointing, though has greater + [] + + +Underfull \hbox (badness 3417) in paragraph at lines 68--69 +\OT1/ptm/m/n/10 Checkpoint/Restart) library, which has seen widespread + [] + [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fon ts/enc/dvips/base/8r.enc} @@ -504,15 +514,6 @@ LaTeX Font Info: Trying to load font information for U+msb on input line 72. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) -Underfull \hbox (badness 1552) in paragraph at lines 70--75 -\OT1/ptm/m/n/10 compliance graphs attempt to improve performance and - [] - - -Underfull \hbox (badness 1960) in paragraph at lines 70--75 -\OT1/ptm/m/n/10 scalability to mitigate state space explosion or lengthy - [] - <./images/checkpoint.png, id=91, 755.82375pt x 402.50375pt> File: ./images/checkpoint.png Graphic file (type png) @@ -531,7 +532,7 @@ static [] [2 <./images/checkpoint.png>] -Underfull \hbox (badness 4660) in paragraph at lines 125--130 +Underfull \hbox (badness 4660) in paragraph at lines 124--129 \OT1/ptm/m/it/10 3) Portability: [][][] \OT1/ptm/m/n/10 The checkpointing proc ess is greatly [] @@ -540,32 +541,35 @@ ess is greatly <./images/instance_time.png, id=116, 606.265pt x 341.275pt> File: ./images/instance_time.png Graphic file (type png) -Package pdftex.def Info: ./images/instance_time.png used on input line 141. +Package pdftex.def Info: ./images/instance_time.png used on input line 140. (pdftex.def) Requested size: 252.0pt x 141.8556pt. <./images/frontier_checkpoint_time.png, id=118, 607.26875pt x 341.275pt> File: ./images/frontier_checkpoint_time.png Graphic file (type png) Package pdftex.def Info: ./images/frontier_checkpoint_time.png used on input l -ine 150. +ine 149. (pdftex.def) Requested size: 252.0pt x 141.61606pt. <./images/frontier_restart_time.png, id=120, 606.265pt x 341.275pt> File: ./images/frontier_restart_time.png Graphic file (type png) Package pdftex.def Info: ./images/frontier_restart_time.png used on input line - 159. + 158. (pdftex.def) Requested size: 252.0pt x 141.8556pt. -Underfull \hbox (badness 1622) in paragraph at lines 165--166 +Underfull \hbox (badness 1622) in paragraph at lines 164--165 \OT1/ptm/m/n/10 function calls or snapshots that are required. The C/R [] -Underfull \hbox (badness 2150) in paragraph at lines 167--168 +Underfull \vbox (badness 1776) has occurred while \output is active [] + + +Underfull \hbox (badness 2150) in paragraph at lines 166--167 \OT1/ptm/m/n/10 checkpoint times and sizes, as well as time taken to [] -Underfull \hbox (badness 1565) in paragraph at lines 167--168 +Underfull \hbox (badness 1565) in paragraph at lines 166--167 \OT1/ptm/m/n/10 settings to alter or enable, or communication strategies [] @@ -611,7 +615,7 @@ Here is how much of TeX's memory you used: 32330 multiletter control sequences out of 15000+600000 544489 words of font info for 89 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 75i,8n,76p,1314b,588s stack positions out of 5000i,500n,10000p,200000b,80000s + 75i,8n,76p,1314b,592s stack positions out of 5000i,500n,10000p,200000b,80000s < /usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb> -Output written on Schrick-Noah_AG-CG-CR.pdf (5 pages, 208691 bytes). +Output written on Schrick-Noah_AG-CG-CR.pdf (5 pages, 208554 bytes). PDF statistics: 184 PDF objects out of 1000 (max. 8388607) 151 compressed objects within 2 object streams diff --git a/Schrick-Noah_AG-CG-CR.pdf b/Schrick-Noah_AG-CG-CR.pdf index d1995ffee23db02e51f9ded9f25777f0db2812ad..c9cd15529338e4a00e9ee04f7e142e0bb83da32b 100644 GIT binary patch delta 43486 zcmV(_K-9mp-VCbU43H%QG&dlZa905*u}{4Re=MV}C<`WD0v7ckK$3ev;vW3jW^lj8 zP;YDoke_v1o4ofq=?t@V>KFoi#1aLasKV49qxCWzgIp ze~wLppKhtaAySNJ@Pvv0uxttFONhNEL=KREo2HQFz@<3!kP8LwaHX8-!eT{nb{iu} z<$}Jsjid;($Sg3%U_ZXRi~a4J@1-}=hiTd+X)-ttCcKfL6-B!58#0KBvkz|H+ zcT8!WPv}KOCeu!tYnJA=zL3F)?M3D3f4E`~KsSLigNrx{{W)p}fkaZ0#~XK-Oog2q zNha5J;@HNcV%e{hhRDbOg-j9NSkC1D5QYDV$*dQI9=U^qi-)c~oAQvY0;#rBgDvCa zQjz0e=Uz%OMyGR|Uz>u_e1;4eFKzkjpr)>^Yw_8|S+5>PYjr1r=%XhMj#Xl~e`q>9 z%7ztZBXKn4Fc>jkg+qR)!VVaC(hCmvrt;Hph7G!WgxVQoZIvI5i|Q)HB4MjW^3{Wx zOc+7Q?laK`O>mfFO>zu3vKzZ>7J9xk0gAH5h#H+LdoClcLKmZrgyJG$r>4~?vk(CO zBQg%kRkYrOY2^7qyon3n3v41ae^MAvE<{4JkYrtWv7chXCp}?sx}4ecUQ=9* z!U+zSJgDW8REU~| z+QZ5q8pt9_##E;SoUaijJi%ed_zs$*0GfakTEa|q1;Uk_OgckDeP-c~eE~I>_k=R>&JogqoOX8oJSnbjb{_&*Y=Uo1piZQEx$RLVXwUeaaY!9OP&m)A5GCA zcM+>cI2#WFY2+Gc;(jT}e}3pjvdo=w-fBN`etCeqM*T_*aN;9qZVj$N8Y5uck|EZ( zSh~a*mx!)YWo#0CLQ)(w-S<58b2r3?AS8`d;eL_yFUS-*?);x`N+``PqGshuTT zdA`N0u9f#)i4eJx z!)QvxlKX4tx0rZ}@$z61%kAv`ZUZ{;)|BOI^EDwZE`uMtfa5qDeYiFo23u6LZLUOm z?g{zRRA6Ohivi&Aylny;d0{$7-f0^DHO{1XU(o%fE?G!-v>_SYnfe6r$h>W*GNMntZ2t;UH_mUdq~Z0K|_Ng>bUTZ7ua(rppkr z(Pk3JsCX^3e@viRw|a0U(_BDbC(~h`&ndVeqq50Mg7`%q#0a{{M9^6-jHras90}#w z^GU18G{}-aDk+W=*i#0o%)fsm1fA>O{MVq~{F`G@^FrG`fIMsQ@ovlsB%4cH4g0{c@R>PolEmABNt3buhTbq@60YYs%%ML;^aT0~t=`gp44g(mg0 z<*UKk5KFx=mn?$;*I8m4I^ll}(}N}6VSN$O&5V_16IYnX9)AIV){5%t zy`c7^{H0Er_G~x8A`-nMEchvUx0nsm$yI4ISn*wDI*$0Nn*Bv2Z~HO-GeFw>d=8+h z#~!b33C9TN^44^*@ACK3Jjp4<@^6`^S!?_O~ zKU)Ka+2rTbhyw;b?(~NPF=^%{is&C-{^T@m9Czk?V0`(&0PKM|N+naPd-*d)ZvI;V zA>7j?@(UVcIXT{&(QQ9?0`mK;Lmua=Ow!Q$_g-4O8+;f4sJyD`f;>y?i_X5N1MhfI ze_y${>760=@erbGv7@ms(gW<|vh05zK(v`S(bt(c(c~E#r0HNT`LDs&PO7Ynzjs`h z$b`twJv4I#y)@!`XZxQA(BiSyE;7OGRTL~u;UKC%e#V8wNyhsKp zxG1{ht+aIWWo0WLMCbe*~1B zql7*g*L-GCv=X@1(R(48e;{R(MRBRcbv1nXx7HUQMP~BQOLF{+weYeeUp@)19)>?U z9)`ov%i`%N{Cj@xea8>IFYowot^fu7+VS!mB_8GGcKE*>3lv@+M7D!GA%EoGf4Cl! zgV^`70O3#K<%xOKe?Oj8C$F|-e?*iNI^-{KKp54qir`1)A1#2EkC@by8z+Db1lu@O zof-`X@oe-Z$wx$9b@e(I6;P`|Qt7tiKnIvMHZiH~O0QAW8uiyMK zvjB9nIJ+ATv9mH0b>>~=;O1}>-2C_^(BF3tZ{GfpCpV>EW>I$Y@N|Z7T@o`$BMoBps9{`okZ4@aRNt4WZD(adA7)xdpM2r?;y4f6;kR=`y}D*l58a6b zL|1+nm7({&nU4a^Mh$rV3r2~FsAm=HjiT^B8w&o)!sGw(?H8f(nLl| z(sV1bzL4%WLVUG2d~k6L@`ZD~D)QBS-=Hf;$Q}OUeMM>dU+Su@9%)M*6MVny>f6s|nyYc9 zFG7;%IM=ha5(|vlpCT?)>IpX)(|;?q*_(;xQ#nPT+7BmeEzOH~_h-yB&Y;brg?1iu-pRp3u#*OaKz+@;V#a~&C*Gr zWYs{w-1^Y5_26WUh_k|b_cOK|D9q-aAt|F{H|?_^f36MZltTqb>g8;v zxjEdDPUCzhOUB7&Q9)R8FmqLZ)h7ED;($dWTin-1+J~_^9YvS#)}dGVnaLELSkM!Z z8ge_Nwc|!cgh)1w^t+Rufq&p3!9KAjzy#8io&_geB_wxt5l%&+1DaW66K^_I+;fZ( zY1ltc?J!Y?D%`2Z#*P?U(;vvhvav*aJd><-X4(lGSz0-z7q1Clz+R)w0iDXNtUYJ zA%Kh-ZG_shOy+^#7xJ9D#F-dZbC&VCk}UChBhH_3qfr(XHs?u^1a}6Of?VRmEpPPd z3xKpM1*|J2IPy$i4;)evUY0}v4b_Ya_hw%Fh)aRsDGJhj4uk-))a(Raok?N+4gpu| zVVq*vP~pSpt8c8!aDN3?6T9M^Jo9iMZ`z^}$voiQln9{*ei>cRmHeEBQ6>Wx93g+g zF#;jBn;>7!u9?UtL{3nzRCPDj|(uQepwJ#7V1EeW1z%O@|(L26MH@8yGWic z2IE6dyq_cu*nb3v8hSBxR*^_H*$7(u!6;q>Mrm||g(|WP&y)Qau^~I5DD#sbyHs%s zamXG#J*zn_H&(OMDb+LSrZ1TLUOjOf2b)=ev{iCyvXVz~#4h=xSTzi1WK%Qo%dTcZ-+x9Ghzh&k)r(~PhIMW+a0)O%+OBSH1LPWxN8lcS!!Tt&v zRtd@HPMT{zQpwM^vpE}~v3?@K=ognex+6U{b=dzTPt{5QT20o{s+3d@2m#NmlzGM{ z0kkMvo^B%aTs>Ou@MvM;a%sd#{W+$&;D2SPZc1Bhd!YP{y6tGW} zZ=Oe9EPp7Hje{W8jP1*0T%OAA1}!Qj1=<_xpJHh2959^ZG36@2>eyAJngN0FBAiG$ zqZ&CkcIMuH1VPk`?xfbCr5Jx|Mp-SIP0#V0iX|b2^L#qb5|tLApOn;ZPPQhJem~L3 z!Np(Nk(7RZS?mgN=RpX&5*2=)N7k@>q}Y?334bC`?8oql?_;AOPGEDm06v_e`TpQbYn6Jm#M381jPmF(QXDHu z8_l$9Iv8nmrlth0K^E8vhJRN} zzgUDaX_kafDcM&W;0zR_JlTeL5qS}NW_hwTk2@hQsRhXWVA*Cfc4ps*@(|lHWhT1? z9Ny)7Giek|Vu3K(?0sp!t0o&!+o*Vnm{F0wMG5dlP`%xI;dBjckCJO|x?6ElaJ7Ol zoA`;)iwg(oQRc;5V$YaIGy>SYIe(E-P=Y75ORoGn=I}#vAcuOTY@C*dF64BSfOL}7 z-KOwOCxQ`cxUeBDsVBjFJB(~=L5eq#!U_D1T(14{~Mym0`w+6ZRV zMqjA+Z7XQaGg2*-IJCm-xjdhuq|Y|~$lgEH!w2w36vYjN5XhKlA=FHS@P9b`DZrIS z3KQ#*2=R1oQ7i*;8{X|+&!o!CtFQnr0&T+uP&no*Mc$2avkfDh+At~ogK#h1WJ|tP zrtDSSLMl2;P67*l8WA~~QC6Ff58>57EO^H^wQku)Z;inB0s^n=RSvJ<9!ZL(pz- zWu`_(4^@-oa)#!m=$NFVZ3W*Cg0Vr44(YDTz$GV9;Wan{%Jgcs34esZB=M_S0NO~0 zzee4ArH?}=(4`O){})r+a@d89BHmA*KHc44S+A?f9h<|krGK0qZsYRn3p&Q}kr2=u zSQAbAI7)xApErtGmw{ed|6&%`zaJmogaiaP;Z2O$Q4E{~xt~)+T6b^0z47BXPMBeZ zn2@J2Hv@_vNT9kefhl^kEWl16Z z<`mH1Yie?D^M7o>D8KJF1|97m#dibz$Cbfm@@l8I`*WRNlztFm6^S1On)rlrV}JzX z7mdvdRERm5!^T&vfJKyeADSl&ix8$pTw$iaIZ}`?i~KMuZGU$3`>{bzhCW#)(2-;h zk}rgLUb)ad_q|5RC8B&(s`Vm~5SNyM5Lyu-mihUF zGAo-LBG}luRBwS!>iRqi?mO1#7=3$gQ65V^kwOO`%>XpHUoH#de`p_Zt@$M z9q{vbcG^{**IiV?WVSSq&9(8f;O&rQvDEs3=6f>$x_<(mDK!V}uIlBRpMHC<{m3!7 ziYc6f$DDpX!cj=-07TVMFv?~%mZ}VXFU|yr*UOrq$`S$DqkiRbC@FLDL|i!sxYY0x zS_a3OWv-n8QUS}C;xU1ZaxZeb6a13+l{vdDX9=*Wzw(|JIeWCI$Pjh6Mz*%lJ6`}? zG9a?e>wgJl^Lhd=@_Ju5`L-Oy*VSLf5_^IBeBSgz1_go*5q|AGDH^AdVs)$x4ZBKw zM)EtIyVKgAJi++e>valBch}eiExjxUsM$5kcJ8SPWO}udtsO}1(ju!__@}wCUvRu5 z`{ZFsDS_JrIPo%bfPcrK-A~#9n{CZ$HXSX~el1wnkfIr1 zRQGloQfRpF-H2ycF_lHEv4#3n&PmpLYLwj~pItb{WqHBX{3cwa7A?5h%e8#rq29@7 zg2r<81gk!0#nyhKY3&DKKAxp$7F}-tRjw1|>{;k%(;=F)DHL@HtTED=NqSA5@-;cj zj(;?|2K;EAhS9v9vIN9#swaUs)$s-XU<)~cwFyCXS;!%Rrj9#lZHq43 zisUPHDNA|%Sz37SP`#OtcRw`aGz;a6sYZS`Mr6(KafQ5748Im2w&fBSSgR-8vwPKA z)E~|hJGd<1r+3@;B=!mN+_PFU~jn_)2R4gyc6&GREpRp8vz!g_NHhR#K!z zgS)5S7uiNimR1%l-Usr>RwCT^=U!5c;2ww7~mudmK&)_h`blfKiHQL)Z*)_C|Hz% zaiey9DR-|1t+B1%#(8mhu@A)Rwtv9apF1=1Jp^dgG?^Ka3X(o}$QRow-MTLeWet2X z7Zw&LhCYQL_iXukwYU?!)|yH3min=<7FLnjV~XD9NUkY>cRvv%sc33bJ+fGp@%HIu zs^y`?`yIm0ivr6ubo!=fc{ftVcAqrt$5W!Vm6uS7+^ITt!B*W0Eph;OTz|ex3yBVZ zwbeHQ+eTiNNozh1lM!CNNF3x&r{F6`<@jGNlS7S4L&v2<>bj?h!+`TBd||hi8>>#T ze+_X}Yo{w1Yr8Z!NsFSD_R`^YQ3zGa7C(h5{hUtg)gq+?CkQzpKH+N zv6P$*o(lC+mfSuk1^$s7B!6=0S;)}P)V>-5a8Y|DhUF%NxrWzXCU2~%21~Xkvjiw< zpplF3xP-K^NbCo>eS@*q2tHlBadqYYW$Kgu*!2IiK2Qsj+`dp_5YGt}tn?Qe*VI}S z2&k91ym~lsF*dpGT!OkRm)Za;Po__kK;*3iVqeV_>ihaluUJltfq&um;{15Y<@!+Y zOu3*in^9vd!H8YwS4a3+IAK_J0?Kiwbex0zYPohuwYb4uw9^8$)<&ag-;!MCD$jk@ z+2lLr?b97VgL}&S6_-(R7ZRH!Nn!5xGvm8!GJ9_J+M z+Vvhee(>f2B0v#7AV344W%<{qzy5jvkOJceX=Zw^nCW{r{fE~F|KYda`Br}a{N2BN z&f*_H~Hh-<#SGPuW8f;wOomj&bTi4I>RJ^nDQa%3f^MA>4pMt>4lhh7X z4Rv3iT!W^sLL_O^1_Wn1h_VVW_dw z@)!w^p_dQ`*`{lochq*9{ju7Ae>-<|JF@5PShcLR)xH{rLbgtmjYrrYt#`NSFKw&0 z1n@7P9%Fy=+aI>8o65P;T$aPlzDXnVH%0#_YrI}g74}8W2O6%1W7+#km_$b{D&~n{~o}%nO2@8}@Ji zXdO9EU}Kh;ntFMjxiR|w@~y+U+SiA7e(-qYn>_`2;`x4fbBm|$qIVU9o9@7J!i*r$ z*$N!Hu3>FBc9*7P{W4hhOLZX5$(*;o9`y}5k0p@XTYJanV=X8a?`~f&&hpLF!{%S{ z)J1ct2z{x>w@ML5`g|LIsi=syTns@t0m|uC&|Rz@3 z0I_#V;M=iQq8513G@a7Hz%CLrI@p%m-wPkIRoctxrLqC~=plH2h8%cUyA|ADk|_() z@>t>ZlPpkH0*FHxjv^wUJ~IJ92am8X2hLT*0$_gBwHG0^K1F`2$PoG2{OkbwEcDsY z8EkFv$TlZQ`*fXbXO=<%3xL%cT-=WsAMlO|y2Ceb){`r*hgnR_c_3582n0N7`Y` z1$E$AEYi^73Si^0?=G)LHqJ#qkn>}7zeW}3zLHTwj$Mm?XHH@zKrPF%1{hQoB@rHy z9ePhv4h8OmBwX4Y>nb=!7T*^aEaDNam%R4vB+Af;G7>Z|+E-mQv}cgAt*Vl+XhUKQ zDX!f>BhhGcxQrKNodWF6V|}XsuAexpqT*L@v0sIc?}dB<%KSvwCg};XvHZ*Xp|EN((fY4qoDYwxNYLb5zAYd|}pX1f8v9IaYwV0m>`o!W8cjMnpd>86ufzjg?G z4Ic>tIl4yH=SPt_9ke%Lzw&0dU(~4yp*C9YQdbIpb9uH)bv?k*j1Df&#l9Y$6w+aD zj{&w)DZf049djVn;GTCGcf+IYc0#QN#PfTEJs%AQBaT#)2GWwV<=B5eYlbk>Y6;`apN15 z-6dClC@B3)6jZ>dPiG?un$=Hfm<;8JzH-2>r^0!A5P5JMKH4bU16_D^K7*kr4;JW3Bn}Fae~4 z&3vI+??ZZ=&P}Ci(#ip_Lrs0yj~3VFFKAKfq(wh+1T3KQg){@Gp|&5}y9sC}Fo1cB zw!j+s+#pt*W)u5|@`ud`6T%Z4T+RCXua_DF#rYN3yzY(aEJgM|yD`6F~TfFg}k2b99 z>(^SO}rrM1uurKRfMDj!h1 z+y!voqT*j`dvf@rscd9@0GX!fFEl}qJzoy&P(CH?va5#e&7`V)1#pD`+R9Y+UhXv! zU4v+|WkXGyBn<8hW7Qmg$U43^7|?PAo5WKCzU&lGy;5-Z^M8%BcRCFxq$Yb(K7Y?ks4nP42$ z`RXEi1()ltDb-|uz?pB#Nh(TeRWS6SV5i*p3)h8nqG!fCq$H+Hju3&ksEmN7?*hCr zzxTRaz+>ca4>k^Ob1s?6br0`@r~>kIY+kV`jQjplHzm<|dL^lR{r!)uIA7no;&d9S zhQz0C_*jP5`)_Jm?4XfN7Fx^hvVy8kAKuQfZZ(!wND~Twc0Klm2!U0TVv0TFB9iOz z$l82G+Qdy3uF+TW6~m~aUQqtiKycxDhf6bV+2DgM7FhK$n#P=nKqK*Jv;){Zxrfj< zb{#7WttIpQE0kPZfbxQ|(`CM4JvV=yG5>TKpSr`-@7z7?^38wOVyjF>tEk=1wm_$F zwHJ8600-fJYzd}=LSVBySD;5I_d3#MzpS3&rMHu+mX&NSXO^Z1O6??O5x57dUltAX0FT=lSZ(ZCR?PaBl}O0SXVxTY2^7q{E#M@mqf8yd#dCK@(6QF z0{VDEkwCYuZgfr*hQ^Ka7a&Gwoi3$=98#fSSm1GgjM59hcX_;^wBS9qOHGEN(mKr& z4W6=YMmB|E)L_>M=~9mN&W;Jm(BSE$!jDZqd@L;$bO>L%r~1sxC+={m33!0)WA$oG z6k@;}B-pZJ-&8WYv=$@Zsgqs;xqCbA)5}SNov4fohAMF0N(fYIvRLQ^S;)mAjf5&` z{j79<(2FKhH}&}bo3;38?j?TW0;H;l>;(U>B2xrSM?#~vQsa2$dw9xnPb}{naZxht zp;1FY^rh^B<8I$WcrdJC92k}Jd}@=D2hMOIZxgWlz8hBAvkSK9mZ3}(Q2-IXWoxq5 zVF=aK3wE=^(^Qe2OH$Y^WhDVGVnV_LJg$d-A-)Hj3!|GQ0nsJ33q_0&agXJplwdM|K>?x*Fm{d;RN&Bm z9lO!FyD4Je$6XK0ozB8tHMoQQFFkxnjfQ5^%|$Rl46K1I3&19uALWRDTT6(@A}>v2 zM>~RG@;wJ=vv+b4;=oJuDWl$5=f_z*$=;ov$%&k_{MteHvOGN(g_by$~ryx;pD9TDJf5=YJ<)-@qL; zb7CY#*sRD@SpeOqtv{P3RHU0m{cn*4_5dksW%e5KgVZH{W@0NdWGh1!(pWl-inOD6 zC+x*WE7SvinU?|dD}O1K7a+?5L6wem9!;7p=Mcrmbz$xtg8H^` z6gtnKQHYdNR+z^D=GNV^w;)h|*|GxM1xghu3+$#@72VTPr^tS?qv%TDyCav9>J;Qp z=+Z-}sY0lLgV2Obc1GUGj)#}BuP&;Ipl*nh?AFtD@M@Y&$3j~d=D@=8VTnD>pmamr!hi7mTO@Dfd@nI>v` zHtS%}tBQhr!Er3$+XRq*23u+&r<$4&+Vnh5UZrp~;6e{}kSc1`y;CAAz&C3sO?|5A zauoU>DpOCGc?V~PDq$`OMIc{nS&cKUJFr27oGGUr~9%58K5Fb#i76&w*7gm6U{LI4vqojzNCILWyt10krY@p<24 zV7}Qf-F!NXF1gJjzgOX>&@#zFgw=|2%BGvfF0Mn@VB%w#+Fh(L1Z8n?xcN32d}wK2 zij+=T#!b+oWmMu+{;j6cul0+p13?58RD@-x6INx zEM()ZNh)9d1Le+toLGyF2D^@|yQF~30{YoM&J;4&g~$_^Xl9~CE3-czEr$Hy%XMy} zNM#$H5z%IeTU%RTWC<_)+BxXSixPc7i_n`RLlvVaSte;uZf*gan>$J^e^r5B%q`-y z*X>o%KUpGMq_NKR?B&?^9a+SFKrt%ihuENR%9qD}yFq||Wyis0>j*-R*Isk!e6L2E zuu4J9V~aoBY#6D0(5~{;1}#{W0R|3rAv?L3x?x_2_S23EE#HoIA)3xJw-z74u44Y$ zu4+&(cg-#BO#PzDZcC3J_-Q2A!gy+F*Dd{jE)th7Io@i%s}lT_+a}rvoxh8uwlgB& zSLthWwp6-*)7LQHF%f7v(%xJbZY|r5E|B}#N+Lk71kLP1v7k%lMftS|{Q?QP`JYE& zoe-u{|7DV)nU`mNpjqf*l|_?(L=^T^Fiif3n?LCPA0H$58wvg>g5{{8muaLW5g=Fj zMPJtJp0|n)r$FRt(^UJBZYJj0pgdKDCfev2^Cg9Uw>p+is82S^Jojtj*u?Ctb3x8J z@j4ms3yuRZtWih8S-!k89EaY*MEP5#F4e$(5)mZxaudO?*$}!of-#KWBwXAh?3t08 z#EE7?`{@FqP4WWs;LqW%EsXuP{iiBDc%PJs3Mm)5F0*fZN^7!b}W}Uv6xv5*6)7J zvO@cdya0Iz%O!}A;b6W$k8KM_&qG2B83r!HGPqf55r+&My_IY4sR|qt*xs4TV`(6N z02OnhiDtfamh@JD9r#^=+U)tpX3dBC% zC>mXrCV}ejS!5Uc35+>fq#F`W-(KORsNEXLyZ5URVrS0ZlqI=KL01#loebdVb++ua zVLQVS1B0I!Wm<75k)RHi>P+^#b7TM2SbSl#n928B*OxSun zo|NIa6+BLSKJs@Ip-a(PnY0#X`{DV!{{waWkUy89+5r=jGl&%gGcYkAmvC1BCx5+K zOOxX^4!-xV@NMNPTO*NrSjWtxvy;tilI~9SFv&rd*|utA$e)xt zZcViXf*?hLzy}bTV6k5Wi*IiN`+WUy^XfK@7MY(VDp@={E}{*Q(IVB_53Zt>Ck zH3(F{Tt{l-<)@R$+YXJ?>l+`zcR_Jx*pN`+jvof8f=%vfhtEHiW53g5_ zZ-?YXF|>KH3}f$ErrR1c_Vf-b+FYz9mbL6m(VD!YS=5GRdE{-XO-M6i6@Or2UA{11 zljKggO)XDe0S_pTWxW@sXpY6UJuN&Z1?^Vn0W%A!n*B2N^0w>`$Ff+iwMv{WwTit{ zYj$PPchYev_XjK#w44WIcqw4zML*<~(6SVCKQ?wmcg(AbhR>|Rok+)vjl8_x31PPx zjb{zou1{^I>tms2NiTddt$!Pw*H_cHC4$BheXM3Q>30t|ArZkMbhaF;&`+~?Q5r_R6CX?!$5uc=@Mg7AM&LXu~E839C#?=q4xfr$hxK@$&^p{LJ znX)@o`7=(HMC9;@-Scjlf^mYR^Q)QtgyqXwq+VWivp8`ikRZ*GH|P|= zCC}}1Z#p5xyHf2HP2H7UZ)yuhN$mL|^1zS+3Xa1EA+uH0(DiLT&PD#x&n2v{eNvGkdBynktqr<|1$MPlAj6k03> zgQsWeY#S`m2z$C77L$?Tcyy~Xe zcmQ$CZf`6p@PBG~LRII?}>#JOjV_Mfjb}I|IL=9|q|{kq&~*HTvrRC;Hw_0OQ|9U*(4z z3%;ALf^V$6=u2ie1>e}^86X6FK~0c17ViR^e4)?VUVj?-VB!2-*VplfZ0|x#I&wRro(akmzdJaq;ZE6sP{zr)kru_! zNdZ=@8-I=Qz-M&C;7ajl)B_s3!3g1c1!_~|amTV}2q$iSY=+tn!RGP2Kr%3DV|Fy) zg;(n|Ilo$`DbR=3?f@uFM=9|tA}-zl3Ht_-veM^RF&m03w8!o`607MDPRP-BYMX*} ziU!#s1sB3{^7QI6qO`F+T@L1FJ1lWirZ!r9C4XT?>_`O9LD(>po^6HRxRO4;m;6E2 zY(?dGiQ?0zF%uLg?gYiN`cFg4-Dvm!`?#XC9|aow^dl9@(tlZ|8IsHxVGe_@c1w4hILv4^ zmi}S6PL%g|`VC1M^!NPxGjr~le$T&C$$PkCbo=7*tjuezOCOyUPR zbpk*0L=XH1q3`(j-OSV)yBMeb$IR53zki`z;$oY3JoVpZrdx*_T<_?D6vmW;*b9=N zcSK`2tTpW?Y0>?*Gj(tKxB`Ob=~Pkf*O!EJ0I|?p6IB@;qX0`a3bswo6&AF5dA@md z=bxjmy7XyTNwS#^PB!WsZqc;`UJYf{OCLdABOQ0&0CB#3XZd|+s>hX`4j={Y!GFzC zzfc-EnR-X}m=XXHg&W>t6sB0WFsgFfQaa4h93Ag#;k!(ACG4^n_O6kc2>knf$U(R?YR^Cwc>%OUI1|atg zmSLlb4!pnq_(q5V`G-N#3@wS>iGL2gWBx2G-Vlg!;ppZAW;W+eAjppB^|QANRCOx) zgK9EYUL)dI*5wgNKXc`Bl_d_mkEV758hLJ;{vg!kqBVD)fFYnXc1{_lCAGb&S;vhn zyV-E!OUnjckP=TW#?}U+dHXycGbeFBAtPWzr)Sr5aA8`kl!(^!WMOBILVq0%e4940 ztRw11o|UQhqyt>PXWsuf)P=k}#nF#Jk-H?5!V|MH72se zFT44Jmtrd>3s7Bp#IYhxF32aar$EasfqG#K?7(Qy83}QjGY0ljLBp(CY_%n@dH9^w zk7$ZvBUV7|f%1lqy&PQ}-668Y)uZTb3x_2bY!@twrLp751X2Z}QGYLZ-qp?-V37e( zl2+N&;F$kG8Ty~10csQ8@y<#05;M*rW3#b&!0piUbt4YbN%)H4VKpJxj?-M~o6IE) zK3~X*ZGa_dXW2Ej5;7N}L`^%Ym*i2e4%!j) zoWW-9@TS$PG!aAwQY03%z=Iy)7R>B~_hewiQ;uLcIFqY9cg%XQg=r*uX<(HYr{^yZ z;9mF#I*YuPo*rLgn6)*wYrI)-|I4V6!1E`&MqBVXnFNm{A%9;$CUi8?usM^lg4<_# z%9j;T&PHc%cFveJ&2%3>q&(8^xUEUd!P9-<+ z6h2+?M=`KCKoZN;@bcA^$rsh*P><;_vf*09rF0{o3O^JH^Zu-xa)RGj;y2e1F^p31iDJQmaX9LI;j3^CZ(H z5dWC75fXpsY}tmxEHS1>0e)9rr=KoP;%%9pRMs+>I>pZ2vmh0XY+A}QbJ0(xZR!uo zrT!~vT0P3RN9R=8g;P-rs+%#xs%bur#e3xA~5uQ6k>mU#`(mXX?S8^EQBKuB4Q{Csb@J=?%j>?m^wmR=- z+QEY7FD1@*Y=-eeZ6w$?)*gx1He|9w$`>K(9+e(MQ>9C;GgFD;v}T9E_xOAr`!15X zAiAz~Nk-Hor)1CNmBzMmd-eKg3eb?+J_~!CJbxehL(|SWELRC5<$b)WTzg@1&G}6v z$*YT@>*UyxM=|$^^rx4YAE|L#U^W9RL|KtMg*|58Dj4}}C6oc5Kay}6^HLjWjNwfShuTH!n)z0hL%qUUgw)q0xyuY{9V4TozYpGsWSVnKLJ4`xv{ zlz$_yCG`iRYpTIUbgjP#7|u~97PF3mlr>C`of$8^U~H~U1~OA62}kZcEYAK(ENqCM zW6fdKUB{xBg&~`*rhcL$6kU9!t?b=Q2`BZ#Xe{Bp8|ljmmT>MbO>Z3r zfuCkbS|dM+?74glf4lzLlF-IqGj2uRJ%2@Kb1v9|^{Z0)1BIW;+Fk73n}U)^+*r{6 za3EyvDd18TMY56IRx;UE7;pTI8jDwNTQ))a%D2sS`xm^gli9z+K{P{)1Z1Xu7WwHW zb~D)}hFO-`Qj!WXUu(Ts;}cstezyd|xc|5it%Rr>KUDJ-+jkE){{*fnyhjRUZkMFm z0T6>A5g;fAe+s$eL^?)@1d;I(c3^e)#l7I1^z8!eW!h zmx*heffGyw=cW}*9ygOGKxN$NXU?XnHYFIhoLgw$Rh zo@Ft|{Y{u-+VCxN-wZrKTfg5;UE@&3QJBDR*D}_JvXXmqDlB}NGo3r0W&AYPCUw(( zDw$T){$B54d6I*fBiKxT_`!_YKcY&{V!l?{7W2%$t>)cbdD@_S)SzEsIVa%8GRweV zFaTWRbzI{FCUXSLP>Vb)rrb4FSD$Ip<4%(B0A{z0E&eEtV=SsFjHb3_ywZqOK~~>U z^D5oOsnqZ5LVdy6A?z+-KA7~9=2bgc#^sFOfv-m&%$Wy&AIjX`_x?=dDSY2Q z_*z+%adjYbWiRx6oI0*iCuMjvqyL^6wR4}GcW`ML7qTc0Bx>9-<3jgc%XCx3(QBEd zGtwaRR)sPOHWz7_0B%Z}_7+!Ke;seNbT13Q;$ETj6n*-;0m^w@#p%|ZwSXIOt8038 z&{(;hL#BvRjoT=HmUJH6=5s(G*U18hkND5_O~-eem0ROlVqjd~H@WZkt?Qn*uJDaN zc44}mk-XNrue+=W_gYDt1fiMnEml23nffBjO8u44RUvp$$U8<=3I!2(ez{*Q=I8AE z9F`Ja1~}Ym7Y4487g;3BQt<`!)Fr(RL`4eEMZBSbd%4el6jGoos-NX&5*Jzni_^H5 zW~t{wh8sWxZpZ5FZAW-7QoD}y39ufE+ zxq+`JNr|?>G0J+~X*TSgTgLM4)B0w0i8QgG!>Qlbb@NSH$s!G_I7^WuZI1&-?(?jS z>peBIl%8LIa0{_aHgmlj#WTbu`+fMFNE){S{v>HpQ177}K_}qQ6pVGyiBt02B*C@> z7|o-7H)Fe|wwZUN3-LRw>x}{$!7F??@o`$d;U{GU9(GhI2&3>g6^^0DVdxSfFmAI{ zBKx7PLmt@73;80eXr};&3XMG!H(?c?i&kY-)KOJ`7s%U87_VuDwE33E%~rk#BY{h` z3^D*rK(oKV3a*7%!KcCs3MYO?)iO(8AlPx=AgWRGQu2U)Mc1C|I>*t%h+4`Tdf8g^2-!l zpydk%-~)Vve`6VXtnxT^-swRLlRECAziTPe8EMhqxYB}}Ye+8$|2TA!1M`H@j{2(X z9BZkt3?bQtpsK;+vcOo$R2JYDNP;jpo%edc!L%)TESGCq>Z9d-CTRc!TpoddoeBsj zFkbCQ(xgES*Q<9o9BF)r1|Pno$N`@ewlGz~7MT$Qe}KlmP9gn5oRy?2WmFfK1B^s0 zpPRPR&%LxHFw>=d-%d4!ZJjFs-V4!0e>j*lp;+J)iOGD&3ItlPpYJ%=Glc@_MGNv(_w zGX;ePe|&D@7wiPLsgxE~@u!T0N=Cah23VKWR^bhWXeXoBJd4xnQz6SLEUH;2U&bZU z5jX-Lo4(r~bvVRaleg~ZMV+gwD>&@jJLMr%b>a^;@tg2@kERGIqJWk3U`jJUxQu~5 z<7cE60HRj5N1#*;%+UJ7sI3?xD_+Z8mX{|ff7bm@3twP1ELFg^hQNjVNm$~9<`iyK zeIP6!fy+cUX7K?^EvUWxew2F(&SqgQ#QE#Gfb0Y;a+m`1j1>()z`}8l*=42Xa+r)0q5dNK(9nb)x&KERp0EMGG#ZB#0&Dd@f9=ntHy!yT8#k zf6k%GYpFpM1UlQjzF(41s&Z{CeP9fX6?BUetmJOe4b+VxO&%#bl#v<-SOW)eX4>wF z1DG}H0SpWr7QV}}O}j3%S4t1jrGWh4`1-1R?YK#e{MxRtE3$?eIMYE0g$q66L9e;d zZHT;(th~m0JkrD^)MDF|zzxNdeRAIRf7wPRu}atlZxS1B_4oqIJ%w#T+B=!ocsce|iJ1 z=_(=AR2iM1Ztaev(Ni5OYInBP=}1~FOskhw_nAo15PRngKs9QMlM}$sa!_D-u$fXO zGm^hHy5bNjl_0F4Zl(KxgCKDPE9p53zWXZ5KU4b=3zi~G%RE$3>lD&WHqt|y`W|u% z2vJg(Rda7c>1mf{T5>0tfUuF}e`}THU0hPB91Kh4!Qpyh=P$?{mm8NgMD-cT?F|_= zuA3)DH6LoJ3^73GNsrfA0ynPISX-4V*nY^!f+(W}ALQS4T*y6GtRyYPa}eO**Z=;1 zGmZp%WrWri_HWtZox3eJ(05x(JZ4P+rdsNh&{a(%?ce{bhh8tv%YAQX_VDC<1WR6gu`kS>GYG9-(vE=hH~22o9P4n9NOt3#4X z^Ui~bd60n|?{b=we_SmwlCLzwyLKHUELg?#P}zW?z_T%QcpyyQ_lM_x=vANs{70gn zEsS5YeMjGL-?&QV>+pc32e!!mAY7+ix%5pQ%TT<0O(CwS=b9FlJp zZ`2ffZhN!i^s#J`Tc+PFY^kEx+OAbwKJXPC1a`wOly0j~)LaoM^kq>jPb)H~kFayk ztH%%j1MM0*0kfB4v;js0GC4OOmvC1BCx69S+iu%N5Pj!Y>|;Szah9J|7%|<2-N=oZ~eb0~*Ey}vkDO&^aE=dh%&&@jR!7S5)IVOcD(;8BN8L60(%vhBu#hi>xS>`M{$GpM2k@+Ah!pMt zS$UaQ!;}F=Yk>{pS;z1ga-ON+@qQqiECXmQ(Kx`>Fxe4MqnU%THfjb@?X*iYIt+uS zo=k?vJQ@Jh0YgN^jDTu~UP{Rv41ZBD#la8_w1EtRHv<`FV-jFk5S|4Gg8(gf7!)J? z1VdnQ08ky_FaWi1Du7t$B0LA+@EV4&0ZDZ|fMC2%Uc6xGIZIzx?|&+mzG7d^^K4O6C6`~b@4idE`hXa~pZ_3)ctcG|&4QYm znu?k$YL?Vw-LFOWYx(uwLDb_x&Zx<$nNc(C6z1JXAA}Lq|I!W7K>4(P9Q}BlpE{k5 z_M5&jRR^HCx~ArShyLYdH^eTFoph@6&O4u|x$9IHeWyO$Uhf{RH-F-;F&_-O?fd6` z(|0Ei(?iX?KdaLn$kuPZ>VEs!HAQFLvUA*nISrWk5OdU?pu6pSHtSoL_c2ZfhTo%s zcLd1WzV{yVUv~Ou-PK}9fE{<;EUijEu)&0oH4#entY*d1svGlZ9T#)h?FOu}# z{awz|x6|u9Nl&VBk(Y}(wh4lAa~a z$Vqy>yj(Q*KNjVuBz;-cS9#rF78mIc>6`QfH&AdvMrI54-Wg6bMp?xr=!eJp#Xh4P z7L;_5`krmiR8}l6QV~owzjRFfCiAUHiqvAS(6UoRUwp~y! zuFZa2e@t$svwwV&RkwGuVp?YTq^z!{i+ns};3M3D-$-M)^~3@tcSIkoEUt%YUkxFDS?{b0eZM0;`Rv@d}j@ zflH#)$52g+a{gykFK#+#NjK*Fd2Ye*jdMJLQ)`b%r;5RQ9^5m{A7UIK)j>j9kO--x zkp5#&1;az60uwzdL>(pISgM`45BC4h1zI7lQI8lckS-@wDpJP{GGMu! z%`WzdhDOw4Q8^^X0is$WT*LXdBTUXh64o8BW?>Pi5o;NT{1@7q${`InN}ZA^uqvmXpLS#d zAWR)5sSr!r4g__3S(Gbs{;wd(=4Qi9bj~h43Qs!mM&hFrWwX$%z{C~y5QMX*4*?uDvSU~ba5OuXHlQf_Y074Y-<`US6~BG3i(ilFD|0M z7or_ZSbCx>7Gh{)7$gaPtnvJiC_D{wRI}@N6#55cSKP)nC6gH>OM9s|Y6ub1g2nYU za(`TtBKmA0#QH`zAH=q)6H%mJe}BIGgJzBtzqyqx%ERmlLdZ8KM_3ey+%}D(Z!lkU zPDY=3{?%z#f5B+0IDNIF!x{QYqit-qZaSP1-XB`FYAYn^OVrSq?8&a@*pvO zfo_PT0X^`_9*PP*UNR^4NMC_h8wxNOxO2dUV#YilKpieHs#91GbUqN;V^(Z5LfXUi zZ*hA!%ePmF(!*EDrffissllS9;$gcgd?XtRvaKsHE23EJ6eLQj^ui`~MgR#rTPJ#E z1|}Y21q&M^XGaw~8wERVIeHaMEMwX=&;HQ}d4tv61_KSpG&jTA0}qQ~v#M0a)AF z+W>5x{zCj;2dV-9#7^b_Vp9ui0I{f|lD4#hBr&z5f;zDzz!m^Bv?f+^HnO%bCYG}> z2G}|Rz7w0;0g0{uEf5>q*_v4V)0!j0Uo3xNM`A-_M|*&=#osW1n=!!t9}^w1JpgE9 z;pq7Ho7lpU*bHcB>-2X9PIkl=w#L@ZCjS)hS8rc7Hu={@VV6DcLzXIT`~k z?45}JW>pfC_;;O7=7vuHOaHR{h52iBGPJODBz6M0IsJc= z%LqVhV&Q0SZRq|t_g^r3pvAw+aCWq?HT%yB=!k&;Gee+>HNesFFU();f2Q-FeG>mK z-5c85Tf6@&+U{Ro|FZ@QCr5y_DFZAs%io;FPJeToS=hod{gG5 zhs^~5{MUe}|Jj-Ee~U0Qv9q;yCpLcpn8GqD*g5@8Nlg8J$1=lzAIbj>6#usn{NFV;cRWKU}*Dq0sehsi2oiLLtEm%cZOJw_@6^#Z3z7T#TeRH zSiAq9qW-J5Cg9)Y{vW`koeckuMcCHtFEvaIO#fC|I7(Q!0Zf!EoQ%zhO$~po|IX}R zdUab90MOdP7Vwwbe~p!xo|%d1zu45wEsU*f{~>|>-zI>q$$#zOFJ1qtpHWdmQA0_V z_J4C=|K+IkcM+V_-0lC?_CLCjw=?;l!apz~B6e=Xp7hKdT*UM&T+Dyp-`|3`S=hY) zH!1%G#QdMKyrC1&!j1UH-@bpDnE%!N|M>lcKNbI& zjh%tOza;IcaVLDc(ggOFciFoSU$<;BuP&02EfM#<4?#p z7f#2@rK}dsYLrBER}X)@Kg-TU^#VL;R++2ZF&1#gjgiZeX=Fw0+n*>J)Iw5&i$mj$=;}@rXAeMF5Hy%M>2H)R*@Jd(7}l2R zz5*$gg%OBR$n$?;OV+vgKwLDc8ER~#`w@AnyIX;m)h?2f*%QIBpTtX$N&I}nhPhAa zBB-99GL8`97GZ_B5HnPZDl-Q9^pnwy$@)yDS_`J0n72bG68nc~{Y!p?xD8mW(dwSB z-22q#H_<;}8oppj6|S3kZT69r6!r%&UM?<~OL2L*RTzI{2VI0qA3@H&O`gf1SlV;N zy7mp}_M0;2fpTTZ*jvC0%E^dML=*&+AO02>lO2p0F zk6OrLNDqI)S4EmHRitQ;5v&%VCMwuJgL3wjg`mJp@)Xv6AX;m#o)Z-5^QvCO4zJm4 zSsj1cx>;bd?L`T@-^Xs43G`Xg!U$X{7a1ZmeeEsw<%`=2R6*i_jw$HnoXG|2KH#+; zi5-XD@0aDShUhFRw0##vT*&B6)0ffZV!$k?w;g}r<+eLBVJ6?y^4*46ST#Gl*_Q4P z+!Fg>t(7f0pStpII9d4Jo2{W^f?CP+9^>B~Mp6cjt)!U=HvMU+8{DdABw`6|+%6?j`BRw(P^~te2HRu$d!^-0QI@wI`&30@6^lAECkJoA?PmLj z&|81(o2%qSW)r~_=y$wcM^+5xjm>lKdbtd6u(5DUe7ad2+|@|d*;;m5cI(76pEW~H z;u+e5I+Nj|LJqh`{9LRsW}`oj)ync&nr7<2)4o?$v_EsTs$fr^-R%V@cGsVItyzIf zD44RUjsBepNJ2~57_@ayW};$#L_6J8q5FT8>9~?kOt`;&e`fTZlbP*u; zW1VZX@N$Vnxp=R&U@#5c;_c5H;=h{6Q9nE}uA(0rvq#%+dk(jMPH}ol8S{gFtJRs8 zq*(^g;4Z*(S4~@7Z1Ysr4ZW|Iq`YPF2^jwxTp#;(&@|z}iKe8hv&0v@>HvQ`)!=3s zpWC1@NtrxB>MT@z&t8pJIQ*dIdoKY6Ak+%|49i-L=ikodg#gXkT_Nv#R>7g@Qe4GQ zw39bMdX<5L1M`s*%;-W1OQPF(47n>{`*^9kP^b0rK`z(ySy<8rg*})02J=Q_qIlFY z&gQP2;bR{?#aqZ@MQ?%>!!3VJ0Z7s3^>XTrl6pALFpxSmOhvcs6f+Ae9OVr7ojOGo zv)3YIeLz}=XZK$9LC3xUOwz<-c=J__fh*;Lx{d)-3=(B$hR~&3VvmtDo zyAZynS7J^?h*H??DFE)K@j7Lcs%M+{s2EI^_W&7kb0| zRp#7Hsa&>@TJtEK;>)&(2Bp?1!8olAkW1}8os3mpO(5dhYNAZ0QMjJ2o2f?aHH|n3 zlepDp(BuIMAh&;HLr#0WSO*+R`-)AARra{8Yl28?*k)ZM-_y)qP0#q2NiM-z-XID} z;;Z4XvI&+sgiT*1F`MJ4R%bikO-b`YHqJ=Wj)o~Lvf+Blws&oa)n(-aw1lCFqYC7m zVFu5cP6!7TK^3FcJYz2ISQwY;FhP=o)H8S?o%Th)S3iH~eK&EoQM!&mTHouA$Js|} zqGRK{G4thYk`Bfn>oDk*>poqDvqKk|3UR4D>6E3D3Y_tz(B_HFN(?H<9KWN}Y!j(p~|27)BaT_68yw$0h>h3`_2P#^0=CP7F z+vO{W3W2;PC0UWG@2EMRstxVPmY)+@&VWlWEmnk@U+3wJPx|{Z&*z zV7R@(ddA;;rdduFBhAr$5;fP_3(Igv&wJ1oCgn&gAg$qhEg7WEQm*VxOTyrxU|#Yv z|6`^t#S2MWdXwd@HV!76nQOmh&J3PV5_jP8`D6%+dhPC7ULEi&pzVp~xCXAq>XG z5+)33`Mt1HFM6PD9gw`lzi(yy?qQfPc9hjqi01IIgA=Nk)pc*cpL z2D*QV%B*pb!N*W3{q6Z@#%ct4+)wY8O~2IMwc1zajC0r;kLtxz-Ne)+@zc4ZvaW?D zc_$WFJa><2E>4@;`ezLjmew-(qIWluHYhR!L63r?g4^%@ngR484{WWkFG#g=96j5J zb=Y2b7*$ZF;P|>QM(uU<g|KcNNjdtUE^{ViUVi`V}W- z#f5axO7x4o(7K5NzG)Z@U^Z@}D~5MBm(R2+B2Y(}Erz{aMfZFqbZ3xvFN&UR2ojt( z^PDMM-iTHcn2T#sPVh(#YOI`yz74j zXf?Sf6M;#))gxDW?bk@YQOMd3tD_c|H0cjYa zyU6j}FssAdG(Mkz30Uc&^;SKPGXy15w6zI4jFtyb@`i0E-E(sSs

r$OV7BX8C>J zF0Ejr-|VdAD7Z(RJQkQVpUP$fOTrK2q6(6M#%|U`ZZo%Ro<&qlYEpo1_m)9JpB@mw zs7pdw%ikK|Z+145%wE10&O73SRmEHsf%$X8%J3yftNQB0d$tQ1A=`y+%a8aV-B*xb zjJdd^ILCoe{yE7mhc_hVV1s{UXxkuA4E8(GfzHCF1+LJnKEthf%n(JC`2%PU=P%zz zm$~L_0T?$>i2%I*ol*PzUk5@<5Zy@UJ>*TDp*hZe1lVC3-J}$y4ApVJ68)lZcLyiK46(m=jkC%vCmEAQF$V5QI8d})@a6c^8GY0Q zVmq9}{?`AL^CwmK!mz8yyDM-Yng;!8c|@);1+@k-X3JyIGX}ys9RgGHAfVj|oE#O@q0F$|{5w zmq6P=GUHXp)Q)XxB@Glj*zNtm;|Tg)Vt4zBMt>5G6WhEco+UyYy@hu9$htTdhX-3D z7xl|r6J@(GJA>{`1SW4*t2`(!h1mo^+r{^yb;RuqdtZ-G8(Dv4Q0d^8;GpdZ_(te1 zv5F72dV1c+v!kaXT?r@hGz_+9WthHoU}~dPaS4we+-~&?Ib^`ZpENDLB)kh>-t3G} zXL&{E6oPnsFdQe0gwzXnOj>OUJ_#n&@kSJFDxxT(a%DmG(qF;#wcK4nvkU#%t@vS$ z8JXk#VId=_ww`}CjTBuX*W~90FjU#di<&*#6fHG^4UU$!tT~TKG4z*XcwPoaiNRzV z6A+3cFaZRzUQ}ASZ1js$w-syJ+O0Vqx2gDMWlJHF*#V6|e?qKAyDJDNtTda8*2tX? zVF9tYaLG>-H>2WQrs5mLXOve>UV@n8jRiRGa-Mq6Kp%gE5L{6B#q-7hJv|5>aw`>@ z9%_->ipqbL3RCJ_OPs{}_BLcQaae$iN|uxf>OSLr+@u8Xitk~@y!JBP7f^hbyQ*XX zaEucP{!bNGOen{+??;l&>N@ zv$=~djn-$mO@jmXKO>q#{WLwPy6Ga`S~cToV3rwgMO>?Bv3<$*GaVQs#Q zE1tZ3+|{z(AsOUF4q`413n@3x?g8zvu^9uhzw0HF@!`pFK_4W42lWJ@C$HG$)>oo^ zb4S;39ZAn~al42RDBRASgNT^v=-64RRKFd>G{v2P`?#Qfyy9+77u?l~0 z6?1=2r*2$#_4kOH8?b&=R*IW=7Ublq!9Y>_Wig>;FGmMv3>IZVh`Uctrn`Z)n(@RP z%TG`vMj;e_+_)hrsYBFHy^BFaE(@lwi!O{G#wKMeB_P)*WTxU4Tb9VN=J%`Q_^#%% zEA)OCBMgbhsvm>AV&$7{Mael{HB$P|>)?M^E^0o5U->&by{e_`Ov-hUv&`RjjvIj| z+*)(!W>r_yD*@R%wr=j5R~+291Sov1?iRHYdM0gFss_KE%7Rl+fz=-^3I+VZqcvI) zyU&dRgTRDQKN2t4S^m(yNzyKVtZS$Pk5N$aA2^$xFq_`;!OPLG*uf zGlCnxMx2hGYf_vXe49Q^DLcB7(JpD7_8U;LMp!Ej#e*&*-ApRJj?D$(2E$Lbs&%ni zSOy(A%=Rl<@ktN|3eie*r*^d`dQIU&8Sc#CQ_UXW?%LKhVWN(F^1jV@mf???k2o5J! zQAnE#7Y_``U(RKMtj$M$g%LTo%c@_y&@5sC8H{|Vxo-jvyl{Ecn^bEH6`LmpF=>kI*3Ga;tF5`?}8&hh5 z*P3kKHv@aORW0)FQCX|q3k!d54$XR2{A`Qr@SeZts6NBgLW8>0U3v;Z9%Bm10`q!n zcw+drcmxQ#IK@s8RBb=kdRRrT;#LHlXG-_-0-v*PI!Bn5zwMkEDR9lZOvc;;Wh?ti zY&fR$(%)A25fr)IVil@Fo+BPG!>fjT;4msVbG_M-PhWL!m2&aGh6la&-@6deI zc8tC(;|1iTX1|n4@8JGbJuyfChJwANF^@($irw?L%}SRAa%QG}f*OY6g>%qG+|Oxx zFI`vhcv0sln9X(PNy^$6pR z#kotuI%qL;|CfErp0|J7{xdE_lMq4{wIOWjVx&9bhV0S|w21{-?NX_sTe8*fB&6@C zBKV5DBX(=?2e#OYNd8R8Lv5IvATvoqykzw)VNP0ui!zFs@Ykna-b#PuH~AG(*=2>* zRwU&YQX0G=M3CPvh4PFkzU-R8r7T{6c(mr?yYAl2bxUCUEEv>ga?P|KD_PPmG_kyI zWsj@BtK<>H&xwDQ&_~y`c>gw`_XNZ1weE}MxBUWz;9cY76kjW4>s3S*>@G3?FuTtH z8g)ktQGfZ#GuaxWud=njh7y4#8Si76OM*{80!NDx%Uo3{(ahHicfFv&Rd9--1=$G| z0n(zm{JL3Ctp**4a^*&EPOFTs?$J7kcBWt2yv1XUdY*rZxorO_CSjBoHzz~%+j>Kx zZU2i|VGTxDs)KdI+R&g@hjq^x-5Ku2Gv@N3TYB!UbNfpQm4a1@BT9^IFuLyqV*nA_K5m z^^!cSjee?u!g|+N4ymO=&jSf&+nAT{H785K&%mZHtF}4O(_@SU=_}XFAYWQ-rt-kr z(1g9jWtn{Ayf`gOE`Ei_PAWl65)%yhjBZ==eI|dmiH_Mq&0h{3gH-*zmV)F$gv?iK zANKL5L0K`Js{#)xn@T@pg9H^GAcr7TT`li>!^+Eb^xq*VqMj3)+$TyIKD`$nxaHGy z)Ujt0`?d1TQ?fyWXp9s!8cU9lwoRaUeoeu~@*$qv+GIe@%Mzt5$eZ?mE?d8dHO4h@ zYG8i@zGq`^oU89rmgCXO5eNZUCc1t@W^1V#^t-= z6Ow+kB+KV6V}U)D`ESDOhFVhtvYn*BiD`edzu)q=WwQKs`IS`DJtPQTq5Nk@Wi0xL zas0@2%$8U&8UP{(Mbsi6e7 z8hsDLXIgGXm8CL7?kvn5OtB!W8%AfD`ECWN273Q208U!_;Fz2zl>v?;UO?0y#1nsp z#kBC<54uARjF-GFc}s_osl^Dn&jSiZpM|uG`-|4s)7UiMv21rj#R0gtP6n;tqTvT} zcJ`)1l@Z4)Y5A#2ov18o11Le3=kQfy|aG-iB=~(+ojuDEWo9n(C8?F8!vy=8^lyHVFhC| z#y+`z?kIWuW80?jnxuI@fAI_oXs$aHQU~3->Ybn5E1UE=rluihIgNeP86qyl(4m!+ z{c}Tz8v@&3a6hk$H?e90f~(doHDGT2n;|XOHd;ZER*;KMfXBJ}(Y@HLy}^G)Bw*dG zA#C2m<`VgUpb0wAXhF-CBuo8LfxPQ|#WMj(zmR1WzP>k$7Eifvc7okNVvpR$gt^G%y!U)Uq6GC7R`4+BZ zeU5T@P0V2+kqVFjld3alVuXKFRR!u^d5uE4b$?!VxM6-uBQ#5PGnHDR^Lj$Esfug| zHegbUkaI=xfh%J{RS&^PZF%)l94Y^x70+|uJherMqC`;&p{l_0m+Mq1^_A%q;5{46 z!G)`g9Thc&1s@%#xq59HvUOUS50MLmZQA#(lMdVQw+ z6_aC@$irnzjl89q_!ktDT(#X062d|>x9&ssNXp116&A@JFTu>iPpGCI-3}{;HfRS$ z#Vz(!V=aAdDPindKP7)fyp8XyBr|jM@q+bOBaH+=)VlRbe0f*+&-naj=@o-MmJe4j zMGshoX!t)=Kh@YDw&L;j2par*akC&yG?+hf@I&$S=;AB6^P?lPhm4K+?K9%C4TZ>o znH|*R1AHW=s5hqpZp(Gh4A_q$#zfmL)gQ%_G&l+qLbfB!I--9TDjIdamH1isVkh^W zfYWNoS7Xet9-ovB7&f40jbasG7I^+|nie+S_Sv`cHH4<+X%cM+I`ifpalc~u^4)3r z`Xs=RHHzSh8^GL1NkdB0D2!vaYecgClxB_oe6g6+Q$ECv{Y>-$camf|c&k@J^~$Ly zP?b7({`2N7(}91vJ}{_nexQEHuRZMH;FMfax$^`D-9P3tsUjM$3zyFzf}q&RJ;X}i zvh06^qE#b}VzKg@gmFi*t!xYSE`pA_CkZD9!tZq|wf_pyz1Rb+s#+F)p>OmRgCrj% zk*9k<@{MrUAE6QEGx`k+M<>ID^Um*52wLng_1Eh}O_P6{X`mu!eWKS2{)bN3MM$#@ z=z&0nan2rVxC8_iIo%~C5(Zuh+H>VEs(Q^(`%^3NhU7No@pg}oqyaJ7Rk1Hs0;tRg z+94|B1>rDigAl182ZhQ{vQGTA!vJ1BGK}6tkr^0!raQ%zW8?l=ruh|Q_vR(e^rLvM z)HEZ>#JqnOrDh0QuQXpzJkX|)Qi0fWLn)hy(>e~?!h)^)EF;EZJvBdQvH+PU9}z3z z=ITbFbxD0RatQH7Gs==h<)|_m190MOrc@cBPzEg9UPv-dDD-gma*QlmpUovS3zCj_ z%;2BIwcEMrWjMhyxefj+sDO_pPSBtYJ`d0twgDTmga$*pj3w z3N3#mC+}NbpR#tRfnWKvGXAlaF}(3R37yuEZkyd`mp_GZt4SaaQtomR>AXT?QRUbK z?Zx0%WOhtAu5o+!AlX#Gd&`tco}^QQqd#6h@Rr&cG=&JHr$!E`|xg6r%0C&@v*W+m`-uPn1b=xa`rggi&k933cDNQWa z+pCyw$%DYUxv{;h7dQ#ZRc+SXJW9703VDzPQ56XN#d6Edtz}nrsC>VP0^5JM`G=We zH#=tgA`7vHpE@^DEmdGOa5DSF7S#@ZCw|t2G#cGsPWcy24QG$K4kANL@kJsDpopn# zmP17H_68%&=8xeXC-R-b(U&7Cq{umic~ZVT+fdW|hEVvm%xQ6X!SqgEt2iHouJhzA zM}xfT3vzz}&c2I2k`?Z+k(GbwYBPIAcsmYy9mKDcS8jqjE(sx7A(-@?+u_1GwBe{Q#D9bO7&O@G4 zDeOA5EBZ!M7PXgxx2}iWXPI9q1mIS{$uFAJHK zEmFijoizR-5!oixAc%&EKw0Ky%L8cX)ihb~duFIvUJA9kcl_|e^a-9+$bJS)+@71w zF_0l-u94QHTyXC+o%CQSKRK(@XWy*{f!+996?Vt+;k3pRL+pR8qe<}ANPT(ovKD(> z(Fo+^qW?HTVhD;uD2GcoWufG`WBGmD;KaU$-}#U@Az_mHa?M`G>qAx6!|f=mIwK6* z@KEqBL{&o<$|KUp^W{i0nc2#FAHv{WNPRs%_QMMa?sux#c`}EfT5(%)bzciP*On< ze$d>4jYZTcm?-L6Ru*9IVg)i^iM!|A3) zt3?LIXEX@Qy=Fc6Mi439IyKR@&#L>r4XgC@IHa;95lR|0w>$fTC_u77zEjK8Ej_#E zIiF?-AKPC;`Iv}#D5Ad^K1T?;0f%rIGT-^Q-b1*_BS2gOm?nXB)66x)B%u5^9rnTDTgCC(T zg_r{@LoCo{=DX+RACJVwMpEbmkn*=biK2gO_Hz7OqV5aAlE3GSYxo)|($C{apvLiT z&i8Fh2&7vIrIBEIFk9!mz-)yIZli&|1=a7}GNbf0*Dtosz_OphypF*kAR}v=Y7$BN zKPfW7leN~_+oi+=tP_c>hp&)hTy#Sd(T`YG!+vGq(My0q1jaTSZN^C`vA8pW-$j32 z0Ax5*q}s*ONyo&zK$f6e3AXM&z#-~e!QJ%FWR7`LK^p8P!zBaU7?mGVC%ZEX%hdf0rS_`kGpnp@QsiZHd;BO9$j{d_mW1TYFfN~X7Dll>9$N+AbU z@J-BCrP8g!hC$;8iVp^NoR@^8O_J&^9kO&j$+u9?gL?YAToD` z&$_<8M@oU*DOGW?mY|xjVor#_K5Tryg>L64xB>NlmX+OTW))!_ia|6FwX}aBmfC=# zH7uI~LtMG}hCwma#^qO_P+fKB(A4XCxE)N@boIkW3Gz1|Og&Z33~=w#z3?#5n{{Rx z{dkrB8SA%C1w@QP6CQ67t9<0XYnrAdbphe3>6`Nuca@U|(Yc4Fm?6qIvm+1+wz5w9 zI_~JEbMxn%m2mMft8pU{S}%Vll0(*kY8%?D#UZMhXd|%(y~>eQD$>ER!DFe?>5cer zN)qZBMK9AN%1`NM)*$!>v7E3#iAmuwUF z;Al|Q13wP4bBohQ%H1eXg&WOf))}EiWUFXg+~GQ~&wlan3?gX+g;sy^`I~pe1UR(o zWKc6BlbnEoLHi+FLhj9Z>Ay(@zef_-xM2pkdaq{>``KnDuf#YTtwtfm#CA)n7rJf3 z&_P|hTFRMZjB+h(dyrsIr$07*kPlDd(?bz-dcCE^fEXd4JKX-TkaG<96Sx?AV+sTj%z~^rp<d2%P8_arDBqN>Lv?=(_Q?10r-pCr(_FBv=vV!6%tD8!TH$~3b-RN&8v^MCyU}LS z_xJ~BT{`|Ro69{l#ZIG{!^A9)2K|*)_t>eL>Mq@M(!13~D&t$ILy#qeKKv5VFT#)shX)plyUH|XxIKSzagKproo>SNcZc6mxO%>kE}Rh zRf)x#`OyabK`DQB1#R2#ijg&Vq$dSr%ei_^X3w#3Dz`;JX=uuc9Mr*xYuTG?#B}sm zT^)xTN-IVy>I5cv$#b#YO79dCqiG6uRG&{(N5FkMj5nN$SJIrC9FW%?Wud8PKH zN@)9zS+s?vjTp1@Yoy<`T6XuTY#yDw>dyVrdb^=2){-Fe3O5rm0hSHWSF**=Z+Mp#$gsecA`gnY|1A_(z z^mjX?A1i-Elo1ZtumaFnp9^{(jC9L4fmtX@u3(|SLKQv7bMT?WBg8Ud+PEX|8%5HP zn$%5jb!58je21Rlk+A0~x@9i1i4}HCjDn5#2|MlMWqqK&2GMBCXNBYN>sP^eh!`d| zb4`Et<_{XJFPiQ0@IuvHaWO+^pIze#7vC4d-LEYyn5hEJ{_vZ$nb>zrHG9*`pz^r+ zj0`zf@(-OtXiA5R+PLeice>f__%t0dJB9n}Y~3(+#aug~sA|H7_ZBuT65SMXs(dJl z%K$-o! z1*4S%(!|f(Ihuok1RqSPccyo{4rJRP5fk`6+y&6$X?5nrZu@o#6;_x8M9i=HN@BRR z-C6CtpFFBfXdQkqBxR@R>xl%1YXKkF&t*@B4>J;@0@pL2(9W?!`Y6*=%9qjVB6>N_ z_v z+4b~PxPgPVXx4$s1K+ltD|zwi(c-8WS~M#U5x*&_Ej-o#FnTER7|h=t$peOdZKYLqH##O~a=8Af&(nXDOK0B83_Pg&?E)T5F5)3t^C-Y|r^lR7i*oDwVT_NFs@pc z&}M&@f(OiG9~?>?2WvP=DDg$ufQs{6Hj@fS|!3*nW2(@r?4WBD$8rbFnG6Bwg*_t{j|nR1a%lyT_UO4&Ddyw*;^ zp}FUIGRCMRv>&{cIKI7jNF0~Tv*T)_A@eYhByF;D8=QtN)McStBxf@={Uh*xQ1fs% zBnw{JxU?V&tz`lU%qBr94XVb23CnxpX%l3szb%Ld%^-c_A+%+G0ZCJ-)h(O4_yf7{ zA+2|#del2}$Enz^3{^}l?#r3iCoPPS@o_ zAS(R42}cI~V0*>v_n|2SM_%_>be4fyQ}pbi4Kjmh$P=r7S+@kOINA#*2?4~)PfZyZ zM}4!Fcfq;y3JArew#gsO2z{uruolO5owL8#TA5JP^L}`INAl&dhDO_8)9VT)eD;2* z_w>iv+>wrLKBEN}KU&~{&FIF|&1gMp2;oBF+#qq+wC*`b%ppgF-JIRYVVCzzFCeKJ z603FJA`D7@@PZuNIpahy15j?CAZOGDk6T);1pU}DKwPDkBfr+-NR?e zS971zPXn85V>mGD`kn`B#6_VD5BZQ~doF&Kl9@r-yuqh?{z|s-Kt3jpMm8}FAa1~J z(795m9YN$`XWJbdf#L@nPx~0V>e<;AYzBYBnHboAYd(?^F=sn@Ij|pl^)u$UO6^-} z6XZk{$W_FP;1V1P`4|@~AsotF97Rcryw_P!C5Q+{Zk*oOV>Rwl+aZw5hN2KO8|uPA z^-~+Goc@y;#8CG{UUa!7ZI9y(%^1&nd?Px)Cf1o@9>bs?qE?4*8IQUs5Sul~d(t|# z^z3zi@QOMm7k0TAP8fYp5JID`SMp}6wlBmL%ULYcM!%2J38Pbpy2r?8Aen+7_z>U^ zJHztTvv#_9n>JvuT|gLHsv)W%jgA#GOrZcL8X&1d;66`32u)o8Gxbt(>lBWG(-;&O ziqBJdB5;N8p7s&v<7a&NC|Fd~mq@}4l zN(-9^v`j1_9=D;-?#-pyhHunyGrl6{uCmNf=gtfNUWhEyD`msHmLj=DlRlwYsy_l- zkh?02jdC+ow~1oL32Q~7PpHNjT4Rw9KuS9tiH#GnJUO@*%?&f3VdEXhOkmLGn9 zpA0lY&+*hZ{~fUgRK!+5JF6i=Scc ze)}N(iK!f#vL`)rjA>NEV)ipYI(Q@~vhVqQBM`lJugVZ8585GKe2{+DFS@(_`+?hs zzklx=?RXWVWDXz+t5YUN$8qm$Z#rv#sOH*eX-+!EE6+M=hU^CcTXWhuv6O@$i*|G7 z&-k|O`dS%OLt4tR)b4*L=!R}2|TlbNWcn0*EyzU?Vinx<9zMh(Y zq(&|4EZt!fzO8lS&)a2CYP?F9#M&;zP2*8XQ?zN`nBXTKsAkjyM+Q-qJLuDYT$NiX zpa>AcbN1%6MR|%3tToe4Uh<;)trS?6Kd<0Iwit08Uue^MB>N(Pp~3YMg_=%d+UEPD zm_T ziVP9uh2!V?u2S`zt}+YW{xxF%cS?&YoV1!HE8+8=anGlI@M5z+rX?QrXXAdv+VrL! zC!#G9zq>;tvTK#V+7y#u?Z<3+%v4l<-V&JJk#@15liES8Ig(f;w2kF|_>%3+vpPB` z^QzFb>^WXnS)&nx@`cr&jIH!vn?s`fIl>Lff~5&0S;{j-JT(YWONpZWz9P%ZjQjE*J!Q1Bsqm7Hra1HydV zJDozp1Wro=u3>;T~?L|p|&eN_VgJs7G zhIZ)LX+e;jJ$Y?TrwWA9sdP7OM)}!J=F3Q0rjgC5*{vqxVJJ;uwyj>HvRFB`l+M;l zy511~g`q?ixFl`%4LRhD5~c9lkhsLMpBk9-Co~_cVpUSINl=Mi0YpkBs1y1JV&3{BlO1ca5vQ9Ho{21=z8yAS!!q!E&aa$V8yz%FKX3|NVy zJzW$XTOzkPjJQlXfg|N*`GaUw?pY8~#&s-ffqPnHhM>HE;OteXZWm{v%F=92*{m+# z*bAEnE=6e7Pj;u!fc?B!l~7)VE5!B8@Q1Og4fH}eASrsQTZH06q&HM3Wbd=J3n}2Y zidW1!h|cnMNcfD`GRStHW7+`3r4#+qtk_UfV^>FR<9wMSPN*D-7>+;~<*|4QxfS>E zw!CR@D?-12Os1J}GFv_jZ41o%-TY(E7JfB<%T$65e)QIl#uI-i9}YeRGwI?7j)wLz zk9UscsN4ab45&l5#f9Q-4?ME@Q<5-aG`mrvY^yK?OUZK1X)0<`OukIzz+9|(Q|K-> z!OMcg3en3iRS1Xccep7zkb;7t;V&&jTOZ${eCo=9Oe zF~~@N8_L#4zxj*Z@f&q`77r*0>Jj}9oE7%^b04}TvV(Ei(Yl1q2)R{z(pR(aWf!aJ z6O_5lS@03r?++DmWQ?9;=S!yCg;BW5#*7N*%D?ko)RiReP!}%UBy73x+bg zC%InD@@}~tT&zP`gpu&Xc{4BDCj^bI1NAi!Ye7t?c+(1}R%ksMaU1g72b#hxfWzBiwJuc}?wPW=M&eE47{GnNu-DjTcGn zG*=k0ZfUX`XtMJN2`66t^LBy`3EQEV&wy*rSWlM#XBBV*m+r}m=Sm4$Z|c|vFgoyx zKMbxRFA=~ig)Uxo$sR^h=?Vdr4m5T703c=)YePsE$cw3G!rX7QN%3_Fh?~BD4B1Cx zJL8N#SprK7tG?j0t}x#MwhjC+j*?hCH&CrLki$T5DICsOWqU`# z6s=d&niU2@A>Mi5X!xevxVSICOVB><42JL>S9(2J>>aL)-{afIHJ~eTFd+3&VUwfr z(2rTuqtMoO_idUxirx8nAnrPUiVNXbU&SsQzaeC=uBi=5rSN=mcPuI5>}LqUFPslQ zJ_Af8X14QflijvQsKFP_g#3-)mY?zI3q^E^t{G`4DjMR1G4y4P;ihM(IF>QbAwcB! zEoM62jyavmZoiL5ye+Ssy&3AiKyJIMG?|Pw4Y47GVeJhjF9fXX)cUG_tqyzJuyah^ zbsu@0`tSNt)0TK9M^``cr1eauG-2pEr+Kn-hamf-y3A9VA|jrgL)qf&e~WK*%1 zQWu8i)f#YvA~F{mAJC~jATaw`lktXe(jv&ZFetH$%-d+3J%k&mb+vDNVz-DyWKZ;Q z#_XEPkO6k$KtjQDjGFv^SoSR9m{8&p zm(wV8BoDW`2Zh(lLg<%jQ_QF;4lPjv|0&+x=)LyYybR*=dH9}_S`91TC zYCHQIwL+b%npm>!37-O0V}5VwK_TWTSjhxJrX0PX(NIwp}!IyEn z>Z%?#`te?u8N0JM*uLmu+gjBdM}Bg~E!SINj38Q#LGY%n*l$0v5S1IRyo4G1mUerc z%}F6KC@c||%IvLf(u*5H>m(QCUg=GOShBa<(d4^-cRnVX)i1iRZnGkh<8rwkQZ&ot z^2nk@U}<;!yLvTxJdqa$hn>(Os?;<;Icqw%&HP2YU&(}eY!ss1vMKZx5H~l)v@-v; z2>mj{1^Z||UhX*yZ&#^7Z7jzpSD4_hl=7*Yy!($oWQ}vmeO)3Vl9(~Oeh*OP6D(`a zHsxu5HgI)9-jq1c-nZ~&DL`rWg%Bfr7c|KjWwHfN=%XcbrZ4^5R7ypmn@F=t5>&hkst6{eA3qV+IsNXJR$U2?w000>2Y z1#$h!p>tToM{pXOk&OssjllcCT+FuU;F0%#&}DMAy8hZ5FYFbANg;1+>76YsoA<3I z8YVzZGlHrw?~PH@1@X#3Y#p}&lb6KuidTp1_Vwrf@nkogNg_Zlvts_A#Zj`Gi&Llt zMq%7DIh~(|Jd$vb)$rTYgZmKZ&8!BwFA(?kkw!{qIyk&#g4IDRTAK?B0S9a>A11+n zmVFnD919cp?4_8b^0SJ4>t^<(MphBy64CyOC`@Hg^#c-Bwvz3`$GAQLRk>RP$|NQ~ z&hz><>9BS(fuj+zZ=l$|eZNF)9kB2$6w#nG5&bWS-840pn2cU}%?Iqk;#d(~x41zQ z;}uScb)xQ4!Qu)%5TJ{Ujz072GY=$xrU(x&;3@XnYmbTv&c;nH3sM(P=Y`H*6@dN1 zJzJk1WMqG8-#*b6|KIYN3)6**kKaV+^^n72O*My7K0p_aa?5g7!CYV>msSKbYWFz9 zMCW5^q%Mc76lyf*Hqe%8?^x*#P{$K(H)-h42@0RGJ?*477cO*YgS(4a zal&+PqwjScXfo&gFOXVfU&QY_7q_6o^hTSa%9L_3X8=tKqbJ zkleZJBIbTBg}Ihjt>hPh3P`GD*<&i#DvdVI=QpL_>vIhcmh^azulUuM3+Y<5-Tx?ujRl@+kIPFS*gwhJ%*@K7cDK4%#1iV}>_+04TwF=XF;Jt5(_ou_SjzlVV`%X#30ouZ z6S=B=TxNQg#D`or8Az6)<6XB<3vtFV7;_*$$-%f_Nw*bI((CE{PM>Z-k~Y|V1|X{@ znvZda36&D<^17Q1mv7$EwQ}n6KZk6nJ7+x+Uy>w{TL<@=)yOp0$nAS&c_>Y8sQ(Ki ze{_$UtURYTv$VB;HIzAbOq}%Kugb-ZY^uS!R{v6o#{-^_7nVI;+BH9emgD|(Uf<#c zcD<_Gx1OVI+c@^^{sR1f=cyDy2i3u^gJP7h#wR|Z6WdeN+w65zN_xa#(U(wsef)W2 zPQjPIAnHm#14%I(YO$CTo)fEhZpp?;7K52!9B!hU-uxqf*}o3%osrE~i zru(G42@Mz(rm{!tyovd}zP(xq*`6_pLcE-|o zlDlj>?AxG!Z8XcvXG zxfO*^w8Dse{HQIAiBYY&ga=mqpoAB@=b0#+BEyb<@MWT0AiTB1RvoMoo$G-2Ou)V~ zuT$q_RA*a$U+W2brKe4pYxcK>VW8r&i%Z{87ofR$;6a9=eVRx|v_5HzOytg5BFNsu zn%!tqTG$B8EzM%29Vl7AO&?}PR-Wd^C{RPmJ$JEhBEG#IU0jz_^!V^-;h_}+lgsc) z@A7$nlVqEQzDa#y$R+P@?f4_`%M!V`h%(RDCED7Rj=f|0`5;tg6{9EA2ObL$C&4FF zM|td_WuUpSuoJcRkCb?9>^tPoedqvLqYOhWKJQ&Tio9WvCJ14jVVGLT@b$eBj80j@ zFk)vJ#acmpyA!RMml(MT=ROcNPbke#-HsxErz`@VQcnAy$8A%n8713jhA4N^c>u)7iP{xO|#X*qI7Oh_a8E^BeH?;g`yUC25owsw^cfK zG zdL%2oyKZZ`u;dE%30u{iXL{(J%8mMeeJOYEdSgn7`z&E`4bE7BZc4KzKyVDN zuOZrRXgc1A7+Z-uje#cA>)m-2j&dwpg=AKLo;e>Ran5W!7OjJ`S&41ALtpcMnAf3i zoFeB<;F~7^lal0it^AKq4Eq|=(r`pXhIW|@Y-MEc;uM+LF3YrB`CO!Blrt*>$V;nH z$PB1=6)2r@{43|Q&+@E^`AFjEEhVk-G`Iq{GcelX08Jmj<);QaqA<~bfjbBOqRplh zwIopr$70;?=Y|dG#sKNJ|Ju@j%e6T^9D_^345|;7c@>jt+fIskufT0OEaR@(_teg& z{yt);t`o%oA?FI~FOZlDq~E3BE~w#hnd^$!bZX%?Y}Ws8z~$J`3T|e;6s&-XV__ie z@^=@?m1|MMC;ULY&KGZop0)Q%n^{FTeTJ5{8r`Kfs95j4!M_Yr%$Z+2fFqo(H z5z&nEMnCvo*vm@Av6@1`|L(~c$nL<6BnM3*8!+ON$tgjE7d|I()1hx}9@3Yg+5r={ zNXr5_RRl3GFff;eAOjx+F)%PNm#82E&;l?Zm(VQ&D1TaObKABO{jOhukIn5^Al~3i zrZb6?w7#(u*LGevlgY?3EwPnEg{0EBzy9um01Z-<9HpHMMG{yn&N;gPR&to&Bq2-~ zqBYzsF%oVm5!w^eaZV=FqPM z;g*B3Qh!7wLcoI|LRbS2IFCRdj7Xe~NqA5ajFW`Olrxg1L?zmcSi*?n3>qv^LP=sc zQ4)F$v}*tjc$I~Aof4gJXct8D1U#7p9)Jaa)&iKpG+Lx~Bs9?yIsv{`zz`s64byV4 z)5;PKb_N_Vurr7j>@4^JvlPSt1PS10Fu!3;jei&bGJ=B^Ftbr9@B~!GN_VwHjz*o0W8sb$2P1T@7-4L765k4N-Hv8u`A$ArFUI49%+ zpEdHv=U;vq(etvHUS>7q7ldAA-)iz{1YIAMPRHug=%X=a41xjO`zIxmG3W+h zjDNCYfXw6=U~+@4!j6Hz6l0)k^;iIW2A@)-V@;HjU~gp#E!rl~l9~i8Z6eT*<}iZ> ziA{=qAP(9w0Uni=W8{Gr$_i*tCAL7qz)0nMVXuZnw16Z2gd9nl56LtjRWL>q$y4wv zh4aW0@FKOsc8f?Q2(OF=3n3A+WX#)X!hchXGeblm4aOW)ie^L2QaxsH$0)f-Y0P6_ z0(TCh@ENbfeJV(;#PvzYJZwRmWXHeI&y^nyi^atxP_*88xLhYp5eDEL9fUy-U9BIJ z++Wb13J5=BF#^YXc-FA=4EV=O*wm+vb$t-B#und$9lWDRu^&eyb{beaAdv0>n12Ha zgHgF~kK5ZZ{@MEH(BF;$pd#vXpu7OCAJ!y?b&hw)fhZOo?PJZF2JqLu#Q$1Lbw3<3 z#tG=JR?r|!Bxn%Y!h5R|3hKu=L8EuH3uEx==xLI!o}P2dy{BhL9`1wO>KQ1ZmT+<3 zhdvx8$FSAQM>USp{hH9Q5qkA}WPcu96HK-#F8MtgjJS#X2R1mvKV1^&BV2At;7Q;W zZX@X5LzEo8pa}4@eqZQBkg-#hjK+(HCHdz|Tm5%fO7{sh<1 z&IZT^b~Y_ZqsaH}YUC5gO6|_PAn$+YcD7tM^X5-*MDD!ZPa?} z5U+Lv^yA`nD0SLKF^=BWI*hT$>u@MbqbLsTYZCRwXSgdUsk-|bTI}D~karwIpCMse z`{XK-tGjhZTs`tEtEOeXu8Xp%PhL%y&~tI}>u;B*KOdi+ov;Kt7L!>;WMlF4Y4MGG zJc26c2;<8VDEXl9_%xzVs()z)6^>59@_4fTEz4(fc(r0gaT@G9V%T|7PZs&~$!fO9 zpamK(>umWJq!`inev}jpoXjUB7DGSLS(#1htfY&qs_5!bgXBdHieTqBN-_3jZybxfZ2~_piFks zdEF($4u_yGHK7XUX(%V`OCBS0}7)YJJJWVguYZ8v@FK7Wyq;0t7snRjI7U71fn z*hW?q6g5LdYWl6q`=IUY_1o8P&tLXOMVh^RF4bEjDF0QU7RDb(OC&$kzfscjqh;zt7z-o1)Hct{2WQ zyfn7%t$A!R{3}dX<=@&2ujgf!;dU73I{iBGb#!`zD66S*qQN|G;R1Ldno)(@Xy=8ziaoIZhuglIBtdTpa8nS9U7av?YQWH zbL;tPTHNHT8K{)s-exfEG^@x*4zP(ZA${PxX^db9D2V21dy*b_gAcJdmI$zc>O^rF z?r1nd%@S~;_`NmkvP4TtYnIFFXpq_{}X!dHkhu&qBfq zA*|!(w14@uy%-?xHrKU##YRZDr;{pkKdfyPt(~>we&)nD(ieGI)tIJ4gVpK8zc3v0 zF2AYgmHRE#*cPr8jq9FC`3ANJrV)`z2F zI4YLMY{QXH&5WWOJGT8>C4u1!U-eY!{I)3%=RE_wihyw zvqF9k()Gh*H+p*{Ps2#AyCZcpk`G|#t$dvC8JR@TxgBuR zO3Cb?n`Yzy0M?4f<)zSWc^dtzhbxpX{NAmHW-F#KG+ zJ69V7y)O}?nHb;Jqm2g}cH#zhB7j9Wth%3`71N{3dQ#SpNMlTXn&x#jetLR*@d)Va zsO|XT=rUif7a4R2*6Y}mU$eVM#K!HHjSm?$P4ZRsS5emU&$Du}o`2>E(=c_~tbcBL znlJOZhilKkPklPh^g1icyVfi*;NL_LrbY4R=Mpv{^kJb>_dBcUWHGs3WF8$$;^8;T zdb-9&6*bN`WtH85c>)ef*bXO97lIl*vialld;&h9T3#>m2^8F)SH%t30Rq*hzk|mE zj)vt}ow9o}+JuHY%_=Kr8*R2m1Ej7>%sKWk$?VTZRP`axVMsm?d zA0ZnYvQ1^n2vlhT-0?ePHrU$E(9|mU|1MlrVtkcie3jz!of%)nG+WEAeQht7Fw?(@ z+Im#!VW=WcP%FX!W(R&!I5M6(Lq#?-IX5#mGdDIvMlnG(LNhWn zIYuxsFgYR|( znAofr@D+^K+E~z78B0rRpMlB*_y22t`DUFnXYaH2I%Z~T$t;=sx4MxAGqIQCkYI?~ z0I7g=aEjU<(t2ou)71J&8=x7^Qrk@`K?|Itwu{sXWq-Ipt&h|O?QoG=FR21mxI}Fy zsRK5`4Qe|`ov;aRQtKgYhA!9wTcI1a!FJGndVrp+CAAlAQoGk{>3!9R5jX$`Vc5+o z>L0BO)(EY!kHosc4nj-bg4?hF4Y&h$;U3(F2XF`u!zhfw5jYCR;J91=3oX7MPQWBy|ixRI&{f3dK!@dXpae4 ztUv%U!S27fwr3nD2V-F{>AGnccf{Hafb-uln5_wLoqVe+A7*B5yWV*}MB=z8%8-9f zOBoh)d@nUKWCMe( z&8Kpu3JzU+HuW7_#!+pj23v>8rKHBu%DvQ7OhlL41ld%4<}+kSS!v5(2Q_tV zU5n2?%DUw^T9?|0APVJ4gM*D2K9&xTx?jcVL>x^?2u93T;q+RjG6M#l^n!oGy(!%^ zoFaoRAE9;zSsPvE#zl3NVv(?AANlIROeTz=Z1p;PNNo+cJIui%S@s**jh#k^dcHIf zhBEs>qf=$i_HY$@7;PjJSNS?MtwyPV0B``2@h}dijTCT`v6mn!B%xNQ@#!8}avWw7 z3WSqFFgV?UCwlPIX#*oOgTvG~BbWnR(8MyN-qHIdBA0u$SM%3U0haKZP zX!db50sA<@Ooai$m7EPaV>^9j;f^8`j7701hsczvQAfgiqLJsiL*9QZ4Rs;qQ;h`A z;-tB^=owE{b`)}PqGqOXvA|Xh`?G|@e?dO)C4#=`nYep8=1iRdB=vk_gT_4KfNVUQ zD806?geH2QievfB$&BXNONiop;dLd^h0%|u@Q%BP)gzn@=zuih4m5GU6l6biBU$E7 zId8QeIYB(Y^`ZbJ1~`B55%snPS0N7(ux`l^Yg{Z{VvI{f*QvBMi9R7IkeTj#p8C0@ zA&Jt3eB%*nnhU|&9a+DN^x{VdAp6<$MX8-7TY0|4tge;!U5OaClI+9js-5EG?3w-- zryjCX&;4xq)RzY~nPFJo5`w=HEl9_`?yFHMyJ$*`lKX4tx0ru;3es|0Bb!2i&=~}Z zx27~*o3DvcaT)wt1so@w=)=WTit|vCw#g3ZxhLdLQ-ze7Ee3$cOHdj9kHjub5eueqdQYT}-*(apl`SWub;G>j_rs z+8oqOrE_B)3J!m11`A%wN_hf{gQD)j8MA=fF5a*vbFd~R;VA1K)sQ^c&MB@H9?+M! z$CRZsp#z)ug){+YVjXZ2^^pw+SgFD=ei|YhH(T5w;8YelO6b-h9Y3Ln1VI6@!VQgfSi!0nMrQb+*Xo+<2-*GLA0)GTc{=U8zVy$j<~`~ zj(PoA|6*T~q}X34NwGg$@BnfM=e?I!YbTMCY#*WQlMqJ3?UnBCV`BK*Fwt#nsuuOr%H1LJX>ewc|PaR zhK$lAFA0C*7kSajb4UK2+Y2KqVKhfVdA2Zg?o5L$`JCN9U7DX$x?F+`U79S74bTJa_MYf&=gn54xY{!pmT;A)2Z2Ww-R!sC=DCTo^T%T>2 znZ=w7Cs|@e45-=m-3#IXA-aA<0)fL_6vaDjaxs5k-D#AfI0)=deW)wlE|<M=%Y&*7u9_!o+z2KkJ(Q} z$uqKux)DDyg(hnOFh!OG<9|u~--Iw`qsf1-pCFjS%7YZO#h}SU651bM{^T@l9ChY= zTzvVs0PJx&MkPb5d-*R#ZvGkp5!}-i@_LNr)Oc@3xBcJ=$j_^emFJ60($ISMURt~x zd>4O+yei6qJj?5g&OV3(?|2Yj>B00&5c_z?(6w06*caIWc5+zuFAE^r^qlDH^qhZa z@`?=7bTF6n*I;WWMbgE;Gp-9{LS)yTWh;r|zCxDg*lbojAQvyrAQ5lcd8OwIsHSk9 zP3Z?Uas7zGCw7lw}@oB zG=V2o8f+z;NO)0v&$^LCJsB^O0SYe6739qF7;?TSd15bZF&`nnQFT%ZVj(4r^<046 z?gIpNFk$KlEmDUFkjzYW1&v8S*)>YwlX1mo7DX$8YaP88lKBHsHdz#xT3mlW_%HvJ z`r@O=Odfhk9`K7U{^h)Q(OtdkessL+hM||m(@XaE{95~t-)Udo@xN373i`F<;WkP< z%FONXe>oN?ygZ0(2YCVh$iM$^y#oia?_~i6KcVl1zNyf?AJ3|jM^`c;O3EDa4>ll- zYFI_^BlCw8K+88sYRZihzy?l&ZJer3jfR7GHujR#BO;%=dR&VNsMR2eblY*5gHF~{ zQ%_wZV)CS~lnT(nCV{~6T^5c?Rqm=46tRsw93zU`5w0re_YdFv2PoMA#*^d_C;~A# zm0tlUe~nvNbL7U6exF~#$7TeH!F~9Rb4Z#E$(Cohp>SA!0D)pRLO5DDOi{mn^UKV_ z(L~!D3bCs)6LnqUoSf7e$=(cQD)KED5YCyb?yD_zaIaG)^qQ9P8P*7Yi(}*=D;xOrA4x|y!eV9o<5pwsHe`iz$ zLTX^rS9F3yT|M==s3>s6PNm|*MT2Jo=}LMWK|KnJhMdMz*AGI+GD^UIVimJBp%r-U zCFEaw3_26XMf#&iXQ#%uk6)$ns~frBio7P-W>k3iIJ5r!S2K)xKN5{6)UrQ&xPXYw z*_rp0Lo6baKVxvnQ9}GK%|PpcfAW_C%FFI7;tbMqGSVPrX0*r_0h+3<8t4r=9XKv$ z-JeWe?&|BOpB_K{45{{ckDsbx>?;*TJ{3az1W|k>Gn zx$XuQd0=4|fT~S26S;U_$_MqE0> zdZQ%b{&r0AKtkFWVo^wD^YJ#IZ*urtakv25ouX|eCG`A*X^W17C4$SAs6kUzy|!C3 z&dz!-O5xyw)LEh&YVrBsNqce9sjC*48W;Ovm_pbV;ltO9Z>(e3SpvD5L0nkf9m%h# z6XbOuXiy{sR-EI^e{g_v`8jvJECwVj9{5CjqrYK-d^PT^M3~^G^Z_vy5}SJD+p0l; z_P0P(Qc61)qGjdjN-9&8$~Pm;aple;WawBl)VGrAvmBLEp}SN;-QbU=H5{HUG&D_N zhG9G4?^9kPR45co>bWZ#Eql65=EbVQSWgttc50qD=ApLee~im)8wAAR5&h2e>+p$4 znK4SzVfy#q1@0=vxX_Tl35mbXLQ=X>s;VRWYuk4J%B^ET& zX*%1=$uhhSfA(XNq`8o zR&wgHlKa`UsDFtCGmQo5_iZ2$>_sC)IqSKOkmH9qV}_!yH1b-HECH`2<`_3)n^^4z z4x|L+PdMK7GfzJ7Gm59Xa|dmn5%yQmuu7z2Fp%hKe;jV{9t~>{2?EFZNua5nohND1 zu5*T|1OLM$QY(ShVzTC5uBf6zlsBrrJP=HDmiS?241+25l-L1u6}V zPk}Kwe+LMTP%sy9Qp2u-5v>qz!U-V8Q{PR;U2EK%UtQO4MRy|W&?3w~RJ~0-FgAx_ zDwYK3rtv(D5_qPb6K15Gfn!m#f{+|E-L&uF*=887ze>xO8Q6r_0SPMB1SP4R33g_Ye=agc{ z;MuS?aXeQ;>YsZtbyYXvTqt&59~`=@GH88$fF=C?GkP%z5oWWoE$~kq(xU}tA6rO! z#3@2I{fEH1$^WRD>d!fP+=R%86vYqvloB?``$vVI6kU_tT5;9rRS-okSuqe#uU8^X ze?kYY4Wj+Pvq3bVn;`m5(GzPxAi536JjjZ1Ov&s30_wh@{14F;>lF$88|8m%cd??- z|9_c@I~i20=HBRD^yV8!NFQ%gPU|q0x<7)Nw$w3YQ`8U*5<-m@0JdMi1m;z{Z&5k= zND|5~$Ys8Ykt`=EsQ|8qGLe``)fPl^f5604osL3Mf-JuJQ@<*!VK zg>C$aoxi7tkH)XQA5;`UAYr17P&X9BQ}>57Eb{VQ4wI9>hM#)`j;5F0hU7zd zw?J=q8;X0WdO>a%%nnW$8hEl$f-MW(Wy4ZT59G+D_>A7=+&E$-d^Orw2~MkGw{YGT zqw%SAFf6EZP4a5-Ba5uke~~x|DFgWuB9rv^POwiMLKpeMSSm7&BtonT0BGhhlTdP| zJQr|l%&x@3`UWgwQam44EGf0j{!rSY(0rT2q?OFR)aXN5mx2S54u}lkZKvga4RUnK z{jv;Pa_Far3P(VRUcokj09Yh`RSSUY>F}4JyHtGNHPYG&G0}fBe}%1vZEO_Le);m{ z{^7!UU6$ypVkwgJ^Lf5mv_g@tV=1A48QuM9f+-;3`?^M5Z4 zHlr6iz2?tlevvt@hh2n@@A|SVPwoVeVEm-9S&Dl+&gH=PoE0$j!^5ZQ8Pg(!DG*nf z;V(NWh!^{g=VvxM`sGw1CBv936BtOc2gw(_#CP1x+v;9ve~N0*%uUjRAo9e-35X3h z8b`|)f8(przsLZ^ECQjTzoTNBsfed?*NF=5X+4h>kAGV*=g{#D^i-e#F$gA?pJ!Wd z#yH}g<$`Y54H|wq@x@l=&AX6WO>eo)L|3bHa*wHzIU0Jm$Zg7y2BDqNJ)&c7k$&x8 z3A7p|XNdAqf2bB+1Ym0^2%rTKA{k%LsIs!j!F{~O&Y5}(3{n(RFR&NvacB1Rx%o*T z`9$I`fun#en(v^6VrB;58uc#U8(hytZsi_1#YLz(z(ah2;pdM!&ebbm$-x6oKcC zw*pudzcJ6#ggu&{#)!IWBdjGT-|C{lB?Cg+yq-WducziFuXlu!uf&18uKqHY*oz?J ztpq_Tf0F{hh6um*CKR1>Pq8|7hK}7OJ|p=ZrslkiCvOn`a=lJL>FyGnpr@~J(A4aj zWji^j3dDM|5-$Tt>Cyu8QRs)UvR`n#Bj`?kFTxEQv2UVi+CZ#+JJ8vJU`{CkTLn15 zymB;8U0n`30Gn;iX;uTx%f1$@Ye-S`Z;E?&e;QI~xbR}cGc1tY0+!f9eJbZ9%T2V; zH_`0EF|RzKh|_hrNIlwcRYFM7LAjI91fBWpsjd1Pr)&F-uC*U%^YP3@Gk?qei(JP~ z*t7V_dO&oEDHL@{TVte&QK@haaFreDH1jJH8ST}eERFV)dG301J!Nr;+~m*F;#9|x zfA%L^$Z@SraN}(uhY*@N-brs=bXivA(cQSkBQX@_{ea(Uv$mVlU1Y`}j(0 z00h)`Vwhv`8?RSyM2J@2%t?_J9Uh*ayT7KveiT z`@BylzC0#da4SnmjL4MLQrTNq3u8VB>du-A7-eWAN5f3JD0w&=PQWF@g4yhLe=}CN zsfg1Y^ZP_B;u=J_x}pVA*i4PJ?h?`J7JSg_hHq6vp>^IGk-BTCyS^;QX3y(oD+3(* z?tCFN2$Ffh^qqYOK|Q{`^4(b(7}o31Te-U$v<9|%8zkxWULSzPZGoS6&Glm;O|2rc#}vIy zkX%y$Z+45lBo$R*_%SC%Ho^MsVWj1u@bC+SUEerT{MxaF$d(62fGVFf?8hshx|YXG zp7;z)f2b7y|8?HSR`=VM2Gd48o`&%%i+EJKZ_jF zADjN$2Yp_cg!-b7n|LCq&0K$>aaEyJ0hdMzvMbl!%9J>fpe|0NHo(dg>&qk{nUw&P z`Iw`=uivx^<+K-^{lKQko^f6JXTNiv6))Z+5~ z`pt&q{c-4Nyf)PctU`CaVqn?bp+ORRHoeeHlz~)#+LH^#XaF(im^?7dNg z4>o0O21ttF2kUhOe}1S=SWtZNX70yHpAPu?P{o&rEEpEWpQ+gu0d^Eo7Hf#zSMtyR z5RIC-z2b7F_jZF|L$zjT=5_@K{$(&=SvD^sZcNn^&k^%(q z1qX$|=+pWX_o(KaYnYzehbf?tMefBINN`iRTjl46HeJI%Eh6cfhB#Tw4-R9U6v({j zyI~M0`=~pC&tKD=h#=)4B$?l<>VAHF_kSOs;@h)bBO_4)G%=N50VscsTU(Rs#&Lev zuh^GVxMePaJBU;&Rgx{)Cs9g@w22?AJb(nagar~bEd~3gX{pz2-%i^cp%hND@dObeHI|1XTEQ&loe|jyS{rFzV3>BQ$4>#akd#+wCScF+Rji#&-OeXPK4?UC!MQv z+r1N~XI)NjTAUQq9Ol~geT^?IkCE^gdI@omZQ4uo4rsSIoT`7ruh+J|3>^7>}Tm@{-)@jWskS< zT;aPIJ`@)M`-)SpMc-E?Hk3C{7jGU!zC3m$pV94q@e}{0;Jh$f&P%*7Pu;YCS=lM` zvN(4W%67C{yW4*!%)B7jxoQ9Uf9)gZ32e@iQd2L_GdD-yUw&(Utq%3^oj-Uu@y%X> zJn?)#yt~D7JL+8p;if&ZohTy+bhRRfwrvRYr*>>g!eej4`|3!VlQo~adeArII<_Eg zZ|xmlPqmO(yt{wBILkNF2)lp9Qy0xx5xcL3&y^C6jQM{yQ%Mnhxfr5w0<_buV7OR2 z%C+ha^6lcS0$uvy=Idstx=S(C%DvA)vZ)%S+bzdITxf;ND~!HX9T9I`RSd2(oZP(D zFx6kiqOrktjj;o{v@kR34O3FDAV|GiB0ryMWop3}P17nL^c*5XV}O0R{e#FM+vPHz z_mxf1M-P7?GvvVi+O6RJl1xRAwxCkuv zP;nR>t{vY_>|Bekr{u@%ZjCFhT_v-G z9ov5ko;it?0ktj58fb7;ltg$)4(L5e+ZVVGvT$i@Y^dN8+5Aw9*u*1VFL~{^lPN=E z%1Fq(xV-7Ep*@4Nm#Qj>i#BA&km}k^G!~6E$8i`{bPBS)4)wYIyZ*#}l@x!56#GTw z_(9kwpw3T3Y?7ZKKfB_3;#gS>#r9@6BcFd$!UB)`0s35&m77@%w)JV1C&ge9hE|#~ zf<`+@ApL!$VQOGUDo{qJqB#=XT1y3E8yw_pw%q7MW$i_ z%;nj}>UM(T8J%2Qi$gs)Eu_;vKL_}fYWd|!?3g{d2KT(n_%%G*ZYSJoNIbts-0R73 zAhHhD?6is#^u>41XxtfXDaKJo0?TgY!XW&kD6|y<^!48jYVU^@WEO?)W$@`JaQai{ zx3=CUo@s_ePVKrq*Jx--2B8S)1qpwmyCgwH417Ay1h6nafi)e<88`-!ZRd8BCvI(c z?LhNpiM%T1Xef6HJ*%jbA;8%CqOXWP$Z7NoGV)6pM&m_|k-uFV`*PycyNt#j5#JWD z9k9fGbw%LnD%k&#xha4KDxWyq7|rT%+bIJ2Iy1K6WFV9hY5%Fd~GV)NEpGMHB726@ebsJyEZUCWn2^(_X4_( zWEc}O=V_e4%w6c&EzY7T_=23fll`%u>&FQ3Q-DmhYfMHk3qe*PG|=dUI%8aZ#$$WABrw%Bm>YQEBY^jB4cYH1vIQ zcN#zz;K(P9mj6F22A_v5^P7YmUfAibl{04{5 z#j7^=*@v^;4KIhfJB)N`@(n{t<~6CM$fL( z*JSea;y87rMnM=m0VqIUiRM-(2%Yx48paaYDqEdts70}v7}9^LHmEO3qv+E%5#Vk` zKF_?}KuswC42|vdZB{Kgbq{#$JEN=}eKfEvIGoqdoQGa*tCn<${_8s1wq5;J)1?xt)I<%*O>Nq~ ze!FmN(m{E)5X66ZI&(^%IYFA69Rt*txU?KQ3zs^>M;06qS~}oJKnrp4JWFHQ96kB3 ztxK+wBMj4CZhp~pBJSQ_ZZ3FLzv3t0rlQ>}*abee&VFQ{b`c`A ztm>oLc+{;{gF>d9{iT9ReAD708=Jl*WZXf$?N2uec-ntszDe}#CO{UM0iiSRh0KG2R@4*jyN z`t9AKs(gO~a@EW+Z?BVkO+u%Ow(O`^oP@!HX#_3zpz}M!fh-3oQ7qPwLio{ba!H5T zW>K=c7@6@7NMjd5o&0!E&LZyOJBus1y_*MwM^ib97s3d=nZx1@{f?d;wcexXCf>sl zxdGYWZOh(mC=nZq`d?@>DHorKB5T<=?zw~CmM^X{7 zy4=x|g7{@(ed%|ASbhh6hHcdLYzXjve53h!8??9EAOo@*Rrn*V(>O{e8JsSu0wH5O z7SMkPu(cP$wY88ewn}A(ELhkVTbn%G?z_SmCV<6pp#_+Vja(JXnkm}+tju3TyvF>*wf8%MWhGpBOh{d@l`tX`ejy%AHG_sv*0 zCCPburQGbF#Ga&n;0>OHAgYGUrx~1Brq_RmU)7-8!E&5j{R@Z73Kl07HuFaP1LLJZG;uf+#;k&r0&C(}l4*7m$dSQU7%)Yfd^rXg<5 z5$xcml{V8>?^n;T@9d=NgeRNv%GUYUiTvzlsIST_QR=?oaZDdUT9Mn#q_<-}q?r`Z83QgRPWr&m75EJGU)0P8=rjpgA^;kENIt3<}hf2`>^m2bPVkeHG zjiEN2w~|0tNHz<-APc!!qvlIGPXovYEMv8bO8F|ST(CuC5}Da*C18NF3qC6 z09|I5bbOgz4_tN~^)8wjQk-K0n?kF2p6i@m0ZyX-@+HjwCy>L&iobimLKYBtLz)FsFQtcfASeMF3EY7pNaI|LycP3)(e zQ7A!tte!nf-zS^z<%oY?jxQdM8W2FaYAn;!(pRZZLWE%+jG_)!v zF+!#nBB#huYXilF{XhKpTOtk(;+eA~4qfmMgS2LWbU$r97jNY_>88;DZe(d;V9HvB zy(WyIUP+&sxXTQk$&`iKl>y@-9Vp(3+uO|L&svKYsXgtY*kOMz+^0#62)e9PCly#L zTLIc>bG`4&&~w58;=&=Px4Ad z=Y;p2zHxuXVd5pCc4h-F(PFG=q4sANF15T@f@;%YC=lKRlAf8CyPU60O-l%U1|O%u zQh0kOH$n9vRnn?EXGAbPys%K3`dl;W7$CJ`<_YUI5zkN~%#|<+=96u!S?blyoa#TO zH_%w3TjAx|(6>w3vS%*(G6kvKDdU6=ilBO%zgmCN#^h*{xd?**_bCtHGjGPh< zF0MoOVA*V#+Fd+I|HW~*`E_#m(9^1>IGnU)d|zdX@(EjM@f6lOgz~fB-YgRrE^-W0 z;?jR(=TUtdOAAH29Z1XlNhvO~GRe$}f#{88?wSPn^gFaWi(@SY8hmvi>`F>9t3=PT zM{(x6YK=(ri7Qhy)uO;0(npUuV}x^E}|EqAog?{IG4fqYOn>X9KQFDgnp@GLhDKG~mL7lL*8|a3;iR5+ePMsB z&t-4(M@1JdNk@jCDkH`EVElJc5_v@l#ZB?!oTpEB`WhBKCIKyH+MDaf7ps+I2;^ZR z84C19(aa$f%e!P=l;5h*Ptc&7|9%$H31uqqPm>PKygc&*{Tl}H%AzSgA_jXZ6ej4N%fvn+alqmLJVR1z$WE+|^3UndWKA#$LHnamHEP(ZtXXG#vEh3WFo zl?G1(`-_?&nYUZbf;%TdH%CH-Ih=%>d&IpmTa!55Ol&t@Ak0Z#V4mDu;FNzaPZk$w zcI6rw>D@&>D)#0eu5Z4pUly2U8G4Ypr=2@;_OwzSb7p#i(s5F=W{LoYGnlV+sH8UoV5AVODdlY*N~z$ zuTAmZBSjUt%7NIZQK6X{wcD~?7F1(p(c8HDQ>YcrUsML5fRNP$5o%T(EcEBGZwcvn zN@z(#S7)jvgUh`ZnaIF#Tlpwqhblm&cq{a4i7FPQCQ~6G@Oxy$4(3Wum4Pzi{>BGL zJz(HZncBeTxBRJM??W!_+t;uD7p5(nK9g~XC<8J%F_m8dD1W_LS(D?o5q_Uvp+~Ap z;*tOl@zHxZo7l0vJ9Zu%KTsq_Vl5Au$BxIpK7E0NG@Pv@RY`4)*ywJ6K%?<>qq)K6 zvzdn74)5?xR3?d0Qf( zz40uZq54y(?tg(rCNIv+sYcWIOx~ZXfyMs}0(F{t=~SAggE#c~Xol@?_kV?n?ZeQ| z;)Gv6p7U|LkF(Uv2Yep*&B$10hU`<{ZB^_&4m*~L8t7MzbQtr`+c5AP)iYw~^@#~v(8t4x-KqJL#s*s9v1o=PLK@e$wKahI_- zZHWVkaL8Q0=$>St*XBF-j(pCs8PN|YZcHqiU(gqRWso`Po@1m68t#~y(fa__eX zfP@*qkcCGKpKlfbqc$QX$W9{R2w zEAhfTPFr8Q;vm*Ymzd#m`xBhB8hud52eEEyP36WLY~d)oD~-eQYGM=U^Ikyos)ugv zbT)tyU^zGpIz`;#=kaNz@Bkzqu2g#k#K~$HO)FTGa1csuY(>fmLO5DoPd2m?gMWhQ z%HgC*hKVc$Mt2qhY&W!`RMe8Iy&wU5D@bU$L@n_X6x{f^GLJW1bIHjVQN->YMG}mN zLBkWZ_y%co%y#EPYTPrNw{ExaS6=U|ItyUpzfV<9rh^to45V-tX!tAye_?mX?12K} z)aREola9kc3-)g$ORT*43)&YTx__I{n^Ul4cj*AQtAd~m7*z|70I{^9@BoZqDkxYd zd;)-D%99aNvH|8XRp&=j!w#-(e_2*IFd=(v?Tl0D7!Wi$F(QqVVEL0|nM`a0vTpl|4hLAnVK@XVgUul|3+?|TO^{(oKgRepF7 z^!+OM#>$JHGeZ}AW1D6m!QhLOgS;`HE@Z=581sJQMt_&iJ zWQ{A>0k(sm5Y{P)A$$Zy2Q@*)+=x-rXAQx`I9f1qEh}*mQe~lBH&kX92CQY-S!j(! zY{4~Do^uxv1e)c#8+31$Q#bqX-LQ`V9Hn>+fz^s zg%Dubxv?>C_*znp;0p0)wgWcG$uME147DkyaSdGiO6KNGH?`7*u7~ivLNa8u#+19SP$(5)x+8#aG~sJC@P4 zQRVFgigq9RI4BNW2gS2QE-^Dy%#fiH?FV7BN#fLxwR_J};8)Ap(D7mmlsuj*ici4r z+WN_=+mNbsyo~buWPc_jx)02nT3*ei?)n?w5Cg%B>9oHPUo`5bhfSPB{vk;I%k(~a z7GUhSduQP15k~9KS0Id|#6P6^HpE2#X^8naAAtXTd{Nqu0zhmH>*I<4vQ0D0HDe5R z*!5<$5Q^e3gRw~ahwVO5-rwOj1Z||hqu-y2^NHvW^y_MV!hcg4dEd+|<-MI>wM-5! zRbi;?tKP3nCh-HET7{o!pnG})(;w;g-OA7!S1}L$kCmY_{}AfyWqzcg|F$yRK0M$h z5AI1}>L;;O)1(XreYhmlf94k4atG6nBBMG8J};LVQoykSz(Xtxy**I1!A)d*sb|H$ z})0?Iey@g|(Au z$;O=&-+v^0_}r5CizLU7tG=y4)x3XNFEu&gKLIBoM~CMyQZON!y%dPvjNoC*iNb0c z@+EsBT}!kbKWo#Tzy^2=UrXbrw&0hixV7Le1C!__Db^#~`~q3qC~V$tr07McVI#HA zeA-ZUNoIEK+m{ zB!3-W^ZFT0vD=IlX!byP(?F*jMHJgn<%lDCd4sT00pJYnybW#vm3sL+D0Y6}o5fh~n{y zpZt9VDeI%F7d-3C8b(^2Stk+9n;ZrO7Dx5sI;hc7ym(|ucR>UFX)yz5X^L}O!L4Rk zee*X?xlJW%zBUp{j};X

$E6M1L%ddVnja^QFRRaL0keIX0*+2SmWy z!3m5FtO^4UT-Uk8p_N?5_@mR2KV?A+hQ_nD;|@P|!+7e=r=PyN(OpZr%!r2#y;Jc; zJjF9z)2A_HQGf)NY4McrTqfODo2i}CVa$eGR_6*1f0Q$;pnNprqoGSxn15jX3qn4p zwj42m*>)w@j)4AQr>x_lCu^`HN@#CP)~m#&F3dk%SI8w%U`p zQviOGlM@1e8l-wdVHOzfRv>?gTMiIEC=c0J^oIol`GlKLZM zQ~w<|#g5$X!5*sY>QF%oO@FucIlJpV&oz8yBVR9H09LF?7!T_2A(C-c&Z-;?qVUSJ z^i3d_j|4}vUT0Z3eDo<+YDM@g4a@^T&~Wq84MRm?h-&R6ho*MSrTz{+O9zz(?WIU> zM=H^S*UMe@>_~?31O1Nx2=<-$Bk=kTT$V}xFa+Y+=t1NfopYU)f`1gHH6;eVho=`} zpX40TZOMx>q7idSI=M8{SPHl|ua8`SMy=x$v**F{X*_rR>Vc(VVWhlYZwlC6nA~!H zV@){K#WW1O?U+Xqx54yh+j^N>27PhcI5 zJm;FjYKlLX!~}-?)w<=o`@4Su+`#fk3T19&b98cLVQmU!Zj*k927|hlx4M-9+!F&h zF*KE50VscsSzB}3$P#|fui!1B3KWg*lQ)cQY$r}!#;Kgz>^=xF29-h5>asaLzy9=P zBm@%FzM!6-o?G`feHpCLW@L>PA1wX7din6_HgHGMl)mkcUS3DS^-WKPqrh=YOO9UF zqhH4J_^+1-k_${3SOVn&Q@9SyK>|19sc##%@GE~b{oJ9y5j`iGIZK?d-Na}rEXxd} z4TK9{k0<>l{yG->1w%dK${bH!*EN>$HdTo##;#>dkmVVF+P3pJ7Dl#KyCmH(bE)FG zNUC=p^|CEgRF#u)V4=9HPv&<{CcMxLZM!+!bukt~7<$#~Y_4u_%97 z>sxN#q?;sF15gu=Yg%rLTG*WwA*l44$5mTZCgp_Jz~u>l!iR$j?+8FY(gZR64=$^U zl5P&FD|_Yd%NSr^@5<<)#_->$(Y=66%eYcS@y?{iouHeJj60RCizI$4vvk57gx;bc zrC@Ugw-0br^041YrTKTsMpI9!04#s*38iPyHwPTo6}S!al5=o9)3;@#<#r6KB1tuF z<3#a&@S5WQ!KPCMiVxV&4o&ySSFm!epr_n0G@UR!zV+UD?FOOo$2Lkg6Q-A%_hp+E z(OxrolRz{hz9!TYkgBh;tkkE3t_s16MBY&R4QByaJYZbCX}9$ z7g?;zlKchq)Fm$mBsqmuk*ry8ul5-s1-jyTr9Lw`(;S$bXE zEz2%Sa2~#88>Nbhczec`(6&9)5ZWTLkY}$k5mTL_oX0LvkHe(K#HKRZ+)PU7+6X!6?9~S`X603eJUC z!7pJ2i4(gcYo4XA3Zic@b^?RF4Gm4%2zr(7hL<&5Sd@-iuhloSCrs(e6EAd}l2~GD zIn#$aRTl!O@0+0JW0MAhCjAe822$TOzSkI?AXoS~mbRgpw_~t^rmqOY?}v;J^9nRN zc0OvMnaLfG@!z#l>4dpxa-3<#%_U?Qd<9T+mV@(&;w|@8**Sw#WQM5hL0r}N@q{!M zDpduT1~Z}blHsKTs%`zpe7@wVK3e`~rg~Vw=@ARqNmxKaIMtRZ?Kjwe;ClA1!efL; z7ayTZ{sF%nxiDM87ON2mfX2Q~Ap=9GmCP%f1bQH7g^p>vUAKS($Sok@I6k@s$Mq&U z-_Y_$uEDbYRT>r!qNfFj2a#-_lJWp4FEAFm z<1X5C_&P))v1liTrPXeKr;=vg7G`M=L)s*YQ!Dt1b~Py(Mg|-m@Vic4u@lTjSuL`X zPZ<-Hf{G^rSeM+U2!}+xRqTYca{3KdwviJK$bQi%{)Ap%zf-LU2KP-@wx z48^gNlV=k#4?_K2T|j~Y8hIas=NYOSzySxYcStZZy1?KNB2p4g65|A5bE*=w-RYK- z?O7&2D3TekQN7cDeO0zoY!-409%LnmB{IGfm{2$!Y5Vc%Uh6oALa%iVR1@fg_wH%V zL`fCfPzE8OdX=(UpI|X}pRS>FjCk-sPmZ5%8TZU5ANARqk)3G%0G16*KBV-J>3rn}DRb}V*q z96A{|xo2$6jx%w>GtR`3rfd0)ahG!z{V1%@O!Yz=GO1h$bxMp3v@ugnO04}3aE|>B zW0e=}>TQ0167n2N>Po;0n{p6X4JhF82t#0nT_$Xn<> za6phXf|m3c!tTC`^UvIV!GfiT(lU=IWSznDG1BONJZu&q;$2-<&AScfrd=P?dUl2h z5NlPwRaxG}C6~&wUn(DV(kkfu1DWeN#&r!LeZqA6LWYgI=8GXMgjy;?4Dfx@@;XIu zj2n`*sa(PKbH*A(8a4Q={;rck?LlKDb2*p;0k^*XZ%>W>sTv0&Jt?8pg?&jEO|TLd z-nKk{so%DUJfut#^DKHS)V>i}54uY~FS^Y$4)Qu$l&9~E$U=p5GIHQVI@3m)-w4j= zW21BL%ZayZo4zg1R$LhWD9gssxYYqs2+Fd7nx$!tnGSZ-`z5pKc*wg?$&HXN=DMAi z>ni&2294HvR`}RJl^8{G=AO7N?QXE+e)&9qKU7*nu@#n-p6tCH4ZLsq5HUq~awCSH z<|u)7^-~ZM2Sd7jL%L0d?D8WLej7BnoEpOkK@H$0Vh*h|&$24;2?7|Kgfd$Y=F0$t zF1gNFUl(DneJH{%1Hs2XExhxkH%v5zk3+hX%&_TDK%Ca#wmdZ%SzoWwwSJQ&UE^zi z0#P{EZkKTE=)V-UaPivo=YD>DzijO)hd|)Drm(&9IjzentvtY^?=J(}bi$LuOL*tu zAw3Nb>384(+*5eSrd9{RhgOE+Aw3O`{VGZMe;Z(Z&s94A$|Lkpk8@EZnlinQin7l0 zjMCuHhb$S4mZ6)->XKQ9*AHr0TX-D7(AxACV8a$Ke&Hsl;iDflQ?lznH3E z@p1&o1`GvWjK0BTV1{AXzw~{pf*-*DB95&({J{1NZR3Q-&2GAk-m&7q7V94f`t!|^ z_~%=Zsr8{icJvkR1t{*rmvQ{&MHE*_jIXxX{JB->xs>4}qQ6Y`IYkBVxcI(*?}Ec! zsR|VQv0LL}?@(GAIP_oUp~Tg~oL0J)-MiJ6(=!Z;QJs!`8Xo+{#=5{yO z`h$?%fwUX{!ihG;q2^_X(3iy$i8?LB++&2D``)~K_&+2|nnIT@v;jr}Gcc2ZbSZzu zT5E6H#uELmU$GzC3v{_V`v!snjRWTfXwkq9(Do*VAj^!+Mivc9YU}>`o*^Y#k}Zl( znH#|2lGJea%wuQIkkLX3CyWwaXr)CG+Gv~!QVyqr3GAQgqxBuESEXhbBu zPJ*294ucoL;@KoZRID^wkB3BzS{Q#Tk|kk+NC89S=~xv;8%Ov>lQPhW5u$ibQ*y!v zpr9Zu?1swfQAe#La-7rD7Z@_VxBm%2(35lWzFzl64ZMK&lxtWHd}bFX;j$ale5|!0z)Ew-vFh%8Yq4CFlCX5Un z5sk#T3uTcbqA_oz$k_+C8-vL?4u~dBpum!%j$XVF*}2GGm+yZ{k-ZY%Eb{5H zDCbgtE584J^vwr6g@56LQtAyK=6qQ4q2fcyhbum;_%LmME!tn_-yWQV9#3+{hnx>H zK1^DLc{|ewWfhOVv{TejJ{_LNJf7#LR%fmKX4jaq1yG+|^Wpvp{j1A%il;nw(yGo| z?|kCJU8}m-b?U?A_0xaT?acVpoDYWG?)v9`+jl1q;o-w#H>#5-kZqoP)&BOeJru2V ztJZN3=G0&oeaxW)Nq5`&Y_@A%zKe0vGyNV-{6vDh-Syss{>xVXtUX)yNs!KLU+hj& z^~{L1a(h(uUSJl7b-4q1{E#ivR@bW4Up$deo0OTfw|Ca>X{&!>*`8G`>SwR=|2(xC z9=!0eJ*##zXWEgY@3A*4aVE0UVtK*JU%VJ)@9yt%k-eQ<=cDYToGDz9qH z>LUAZ_9i>Q1r%Jck<+Dk@2zASLyn}zCK#}OvCojlg3=yRKZyNEO^anN7t@=0UgXvI zw!F$`#r%4#Q%ZH{27#rMmrNFPB54vhkup++W;FINuHS#hH>VAA(P3~?0NQL15frUx~UgOA1pTJs!0y2+u57JxuDv%;cO7Q_wOp*c} zhxGT&1et$*S(b|>r#K=vAS$b{)|eQtQCStGt_k%KRFh)9__M5*H?6a@A2NPHI`B?V zZW+N}O|a5&zW}F2`bzObjw7X7NGJ+ee#aqwVNYSr#iY4YLTy50lC+GTTfrcecK`oc zU#wLoC&x(0F|rpVmg^kE@uo$ z4Hz@0kurc3NLtktsR%@oca@Iq?&R#d^Hudnem@`*LX5!3>D)uqVDm%&*(qwY zmI;50RwD_F-&1=E=2hEyicZ?cHBG}l@6+ZS9kkw@bKL54Jf6L+%ISFyPlCq1Iu+Tw z{IBIcE863C=@Gw6_F4SybycqJ_$|sV+w%=7-!MAgFuK@W#r0Lg?_$I6V&kCLSR5N; zQ^W6)+2(h(A?taw^Xy$UnJ?}b)bw6tC+C0JtNf2*nxDOXDY7?WS*`M6NDeA)un2?o zSh<2ykU{Z#mw<)a!E(+|&IV*!9vh-VFhC&SK8lLV7@Un(kJ4cfSGUXQ-H?ROp{i=I z@F*=4KKKBQf>%kJU=G80`Qwnzz?2fyv#wbD5=#dZb>=jHqkQ}twG`M z4g4jbl5usnfsSl9TbPF2lL-wBa>OJny+$8{a;k7`!IGWt;KQ>5J;Qvus_K=+payJa zJSt#pnktV(_FO!*AP_6xmB(LdTLz2btzZKuDQUTpIR@v8x(Lmt3=fzzA(xEn3F`K; zn6LTyzk;Oei!C=9{73Q=+n-va3hZL#BU4L^{9^79DXyhn%>}0#!kTqDx&_VTLQ_z+m|^u=7%Z z4giCNJNeC_GSr2^4*7}zvnl=#sz4{PJ`BpDt3RfL)rRg4xVXKW<@>9IO#fA~EgR8g z8bl;uKSfv6EgP{mV!iijfbEp6_bC3*?wpL~nDC~06E;|@k1wdlHI;vmvQ1Nm3&U;h z=A!oUAm!FPUUlYKt8UAD^Ne_H%WAZOhCgvzZ2H!93$HiZfNawy^pi#V!2g${kF1YL z`k?#Cq9X_<_LFr+#=aQP|GCgl78DMNYx~J^O(Nx2e4W_`m};GccF&$^sPx zIW#vpm0$rUf2_7+bfxXKCLB8zTPwD0+eXF7ifvVF+cqk;ZB%TV6|;h`-o5+u>2bd9 zKi%iY8snL|Ca!tUvB-&)ROy9H?TvvF_I57x%nVFC00m21V^?Ptds_v2ZaI1tpt&pH zubv%_oLtliXyjsPZzpEt0^|W`0!;y8KobB93xJuMf14YQ93X1%;OS&(Zs7u;QdiNW zrlqC(Pt89r0AtVpu>6g5wluc`Q2hOH1KQX-*aGcb{zCj;2dV;r02d1&z|7JH2oP0N z(w0_`1W-vTr~@Q{c0ea18-S9lv5ln(K+e(xXy**12AJ790c`#)08H%dOfCOu&6(jZ zmasFxe+c0005q}u8wT_+0XqC+q60Vpoop?go&SCVES&-7PDXYve`nxg53sZ|v2iv1 zr+~kDGy8uPPou z#K81#rKPikr3cVd$1MSN)9QvSJdV+O+?h1N$#WrN4{dqUP!Fx3>S$jl8|-{}ld# z5fQQX0C>|gb8rFZS-6=0zQ4Z(akH@f_}`@b7ZCG*%JN1oPL>{k?|=JdV*Xe6fB)n6 zpOW5xff2Veu{Zr^byQu9>`eb|+y7MjV>WSha{5d1zYf6PuKz>+*WLqx9zYYgwPkw~ z-e9ZrtPGbrth|vavF`(Y%-|y-4rPsM#fAPg_Pu`T;k(>bhVQi@3{5jUpY5JY=MEo- zGBihHeV8_sy{W+81^7Qmsrw62f3_$(Icbjq8THE$GcGivy{{MLb|7>(m^6;|rj%9m zOW&agW;$7&V6LC3{Yl*l{n5#u9KQLQq&380bRjo^pw<l`?Ksye?;~eyNkx0 zam7k#{v`~0z$CP694G7kJ1i7FmZdmRfR1QF^p~29etp-n^u;R2`elOvPr7y1DtD|U z{Bcv%vSd1GG5hu>iUyUC)X-vlSqtv>~{yrdQeZvVuk=n9tBI1db&Lh9~xlhq= z?fu@}lP=C4h`1nV`0He#Nw#zk#&usGw@JwLhk=}lt zq2&f49`()|$WLw_K@RB5kA+IC!XQe37VZZvWHF?B;j3cJf0t?!G{{I+OHfl4Y=hw3 zePtmiFw=a6bzg|K+N-BTMf&{eSFyw2Y<8^926i5nm~4B|!k%|=8|DK2RvfMY9ZW`WIo8tKORkQkNuIzMtTXw_hXh?Z=>mq~srrH$XEK&pJK@N!bCOQ6B_ znxXz_wNsq^!=8P*Dyf=9otcw^xA11O<3s2z?#*5DecMfug{qkgLz}~{6~Xa zCOFu5gcUyBEDr8!6zgmqJ1x6SQo8S&5hvgm?LociNO2Jd`~!X-RyecqALkln`D{&d zb*Iz*S5~w?b9JgmSWU#r%m7M^Ere zwiU>xe>?#`X0t7cpFa5HQ73BQclo_bV}!%qkRj=|2zuhKfoC&9t&-khZxiJd7q^n# z8w4ZJ;oBpQ{TXvH({#m=5~`_u<@ym~&~i%n0iqVFP>Z*$;C|;~S%~;eRlGA15Jf1j z!mzp zN5)n3LlgEGhi&hXj?ZaMZz&UgQ0O|Hc}bdOAPw#U0(bR{<;6Bnb^Y-BdTHug7N3Ag z+0gnp^g;8a7blvMuFeu)%&H^Ybfbq=e?nfP#uP=$B#Em~$sKzQUeU@z%jHGzLSj~48x-zb3L5r}$W-yDb%M=PJJZ)8W}3H%$C}<0DVAHB9GI%lf9vDY z6)kmto@pp`YLtd<)g@*gUNpuT_?$LP8N1giWb95MfCWxwJ#6%rZ@8T_Pj)3x->Vj$ z*k$T(qmU3<*x)w%xyZvr+*~5gv<=t@uvk>Uk(@etBN%&5^wK6UPaiI9MhO`_k!|_u zLGyGIQ4EkZ@uUvL8hi5PiiaCue>Q?^_Y^{WyK@-F^c=>VhoVi+j7jL$jmCw$JrP2W zsJ06LZAa#7encGR-@I$2c_R*tIJ<4$&(+nTK{6)|(PCpK^O!^_^@p<1M|)|nQFErl zhL@JUN#|~7uYax(yIt%KE`gTSVgZ|yxtx@Z#fG&bkNR>@a}$G4H$9QKe+>g?A=J}n zj4s)q^~TZke9B)gV@9#Zr6>;mgP6g*Q~CMGD|}=Ja?il6LV*tkS=(t(^Y-=Ir~iYy zVGkylhJGA+1Mip%ae0ZK98&Syh00jq~BGDZhTqQ6>9*Om$UTE)+6I%AH~ys#6&ldZ9PMUv0tNoW^AbsWp$%CBAI;&9K}iH3X-v5pt=+ zw~Mjbrx`?CTTPV7EE?C_eKXCtqqYeLaSFG_9EL1V0px~s*k!K|f9rrlXTG6%l5VtdyXpe`#Ps3i;oh%S_Og&jI)Iw2fV1XYY)^Nzi^Wno;Z#{@|UR?p;x zblDfBuDREvHg&aCfBGGXw7%DqfU}R(OvlD~ZSKd}EFFSB-f7q;*K@iGZ;viA9qLwh z(j`kL6*P~E_I>*B9pn0G9?Y`zL4p@`0DUdj;udXq#D|`oOFq^+w~@eef5^~I^+BleO=I#TUxzkw9<$f5D z4;I#il?xEMe@*C9!0EH7#8G=dMURX~t1q;7HpqEVf+XzVJ1(Y&uSq7I-&zr3ZrmGz zPCVlHucbkpOEyh}R;`YMB9S$YB3O)#B}`b7$~$3~KJ*~FdMC2dfc}+o;^f%|9nX8dx@diIyH~rK4 z*6LoFGtc2_y=oTAb(7MP#ZTvsD!Lb%{+wdop-j7#c98Bm;(6&KP$E7dRdLF*w3gw`+~#BAC|SB&Ussr=QZ zh)5M}z8L;?71R5b*po@tvnYDDAxLoE!gHo@c`aH)U?HwWG07t}q_J{VE?p5w=dL91 zJr6AJ1k@sku!Ny+U`P^^@{a*Mc=wBw_0*nBeCU;v7a>X(AHiUF-@Q|@Bx;JNbCubY ze+WF?7+m7O8z@1-kZ?!CqkQMN1Ov7m6jsB1A`xy8|1=%G{#4iCk74+M9Hc+shpJ9B zpS)tLT0-piy*g`R+NA~s4$3x^cuq8oFx_N$9+)-Z9vYvIPKj6pyZ9(PkQF&1XN`+Fp&%U%nSOVe=n`!V&3d+4yh&+DXuz43#GO0-cdpui*jC^}R1fwqrWv!kyBHrw6r`8n!yA4umHLQ@W8e_eAT7xDYA z0T0V^gR2_CX~RZ5{Mc~huyoixkPG?ydo`E~?t_r=x$Of1|cH5Sq|aVig~3_4K@-XGc#(`X{`|;|SQEwNb{_ftjsV z)g=OYNQZS9a_FFG07-g6X+$@^y!jcS&hm=RDFk3*C;}&(n8XKnTv}}!AsIHz`C1fh zI08ZX4E&jYmrcZga`? z%9cVDvm+XR!K7HNc6YFou+nTES`&8xgeAn{!X-aV{4W*P3KhR-KI8lvveIw4Kd^x3 z-LBK`ndn0hf(r^|e>`stFf&8op*K=t8DW-rZK(WLX|Uz4b%12vx3^*2$-_cqRMO-u zP|sgKj+>Q$J_)_dn7@6@_5~E59PGf4x z#*1zDb2-gTV^i_iY&V@son&A%p`$Yy7II$ae1L5U9HmnTe<=zG5@&bZAfq!0HI6GH zoaZQ1CSK-zPv;1Mq1PGy_#=zoTmAR(bzDs6?A@DGI6BjDu6Uy5eDN@ZzWt2MP$qQ0 z{+Owae44poYfU#kudD>=275H~>d)r`4WG?BoO|!9TVR(9ho=^8H!~(9jcFj!EDGc0 z=*f&!-$emFf1ECiU9b~hX;ucwD2BKDF|K&?@^RP5_Jn4V6+4Q#H7=xHKY0drz{O<_ z%04$prr;xx;ey^vJ_q*(qo=Ic=QaF9gZ4z%a39Ucck{T26e!xxn}uLnw5e}w8BDBQ zRox+gpE=7{UH+U{)$YuyhQAFh#j%cfZxi#(plVuoe-H4Ao*T4zRaT0hd=lj3sl`B1 zE3=%`a*(3~GXaY>CB)q)Bh}r&TFrdqj^ih&6(bjlIBwdIl++;_pxVVCB9jHv*F_h` z4`-9IlM;|?5;9luh^t8ASo1F{J-)5I><+sd!3amz_#N`f zMa5@We^#)w)2CX_&ZJx)HOoxBbKK-~!mTxjZeD#gvl5uIW9Q+ydBwqvOMt@H=4n|c zp=a7|t!nt}QW27h>QwX5s!+%uGFGb4Fyxdt=1=ScH_IQkH$~DNfb|>dz$Cf+ zP2XvvF7W$cZPdAw#>q?7$@`-h*Fnrv3!(?Ve@48Ho_lh<974N3O*uQdlJPD{z4n`v zWUa7PJc<`xW`?;`LOq)s;x&f9Y<1gWjj#+la=6`Bj7o5wNJ{928S*=!596aC4%9bm z(Ve>0-k3Fo4`s;TfExI%H7zU~Gh4dpj)J1P^6C606`}0tC%jx3z03sD*7H8w>KBje zf4Ij3>uyu@%Fw+Peqt2YDhP(9FDGz#v8p24H24Ikz=GvGCdj%1z{!Kzg=7hy-vGGK#ZRNd4X+^6)5aa`v_j4i) zl={^fC$H&Wd0Y?bAZ$G40VFxTHK2Z^e;}$u0}m!(h*0n$D!-N`n6R7rSX{UBe~P4e z^Y^6j`@WNmZ}m#&(U59AQF%pYNPJ)(pQUfQ@#=Jxh6e`^h$1nz-__Lwr_0>amdMp7 zP%3(dSQ;2q@-1Cp$Rgpr(ZFY(@oQsBE%4fq?)zn8@3yH$-99L5b@*W6&7s-Me~O=N zQ6Ap$_Z~H5nptX4m3vB0Bg$h;Ls??}-Wr)4xhWZS0$rSDCl9W1m}@(%rdRPOcA96( z@bLkkvuQp@oRz=n`ZZeUo`0Ewxd+Nt@s-qgOyQ%yt?)fKYP;1sOoc30Jj##`OZU{# zH)0)frcG&HHJa_)6FMWj?qj@tf5w1g%TfC=`m&6V6DJk>rA$UAcUjHk5CIqp_Ljyx z8pRlP@544LT{g&>x%vreIEoL>K|5f8)9g;VzUtwk-dQk*>(-r^YGP4YP7dnxFtb;P z==_c&cIUgI#~(CSqX;FTcGdYyjWC;0#vRLZx5RbO5}1K6ht$0v9{W$Ye-O<=h}l#| zaOI0pp5HcPmwv&RT9Vc+l^c1aSU)EtQKO3BEAo!ouO%GVVJ{*DFr^H)V`_r@N*3ZJ zZD}ed_Z=>5u#-zXFTM+D|NaC`3uBh$GeUa8$$8EjD(R6Ir!o(`9Di z`m6louenva!`WbVhP0bpe+I~cAJb7+I+2?&(hA?pn|+Q*T!YajkB(LpYB;THUp=$2Z*mF z_rvnvet|;#QS0K8P$y;QQ%o7+DKURPyUzd`eM<|`aQVqI)fTI-vbDd45{V_5;A@pf zj88xePm2-9T>Vp`g|83(_kspj;VFg|WEWHtndl+}!V8s)9&stt5F%oHbF;A4VAt=-w1Y6E|WOjIwnfBGmF62C9dM-XSaM{jZ+ zy&B^Q7y7h)o__TgzDr%qYf*9XW=({N48mzONb;~Y`KtyA>;1lROe+_98ca0b#=Ly5 zJy{BQa%%pvZl4o9J;qp&zH-kB_M_Eistl?NOWaFZmMJjFkJqx|;#YX+q7=j=HpP(7 z?6I@hXY!crf1EASEOYD}q8#A05+oBMWWHMaa7Z`}&W`0=6}V5`R5FMQ7F4*09EMbN zx4P>KudLM3e}^QGeoAcioGfSf{IPJ)EuXHVj{PfXK&!waH3u}9##m9Ksq_eG+Z2YU zY#J_(@7uYZZ6?&bEK%x$yxG9#vdxQFQ+zY01~!m7e+PTxTz!|^RM2CV496%mID9x2?_gnSP|V)FOa6#2YmEU?FlfK3G5FdHghj*ApH zfJU48e}=z3i{;s^EV;I4SP;BQ`Ol8Zc+3&w#F6{xHJsBVk+4JWo0PL6!9ColQy%H5 z8txTH;Uw)FaVmufky&!`kkeQ!Rjfw38cIl;F?BdT({c-{ETs{0S5e+jswH9l2s+Cz zYHLU}(7PuAaFV)v=ahV@OmH0WLZXgfo^ULte+6oPm`*t`Ub6a>EgeFpR%7ITFDO`j z7Lso6FIqou6SD&6irq;SN2k4YQW*VK4S$fcvo{r@G#@rXAGzzXAQg(#Dh;gVrx4kR z%Fn4bQk56t52mN9jy7=Q-mhTy^o%ZJ7p~;3TqheVExo3~aKWwHxvAF8K#`HzTU(GA ze|5sMUAnEsLR_jzjm~2DiON^KAxtGxRxmab?33S5ouv& z>Y!U!ee+X$6;r;)R5WBPr*RKD!+>%O9a=frKi7n~p>P9*ck{Y+3J@HWZmy8 z-ib*1MJ)5FOzLSN6(F-(XhM)0bF)rZYUE)Vf5$W^YajXew^QgLFyr0fcw9OYD1e}TGF zUL%)o+n<*mX`G+d2+Nk;Orw(M`aLPxTur(I7dRzF$ho3;&y~5Ls)uN-w!C^Nj#O~a zhUdL+k=Ck2UaBaCSY2pU=006cb!9dUe9r-MbmQu73vrZy6R&)&+G{cd=6NLbj|jow zFmTO0g+@YK85;pRRSzW1w7!)^f6=xGh%di=8^jFjQY7OvTvTb&-ndG^6smuO;lXjx zVGXWLI)4Pu2RXRo5;E>oQO_krj9P!PS^rh}ipeoctFa$OLR^U9 z*1gXeO&z_Y#3J6~CHQr30M*>9+iA_v4&$h(xW%4kqNUF*C5&C?ucU~#e?iSk{A;cu zL9hX9w28n8wSN64zPvlaXF|b~^on6W%ZEFdq8FS(48k8u12y*htpvP1g2sS8+-wL_ z4d#zr{4jhyx`dzH1u;=M!zL#D4w>;eMnYsxS)Ej5gM7qhsMn`~9?SJG4A>8$CPdqA zH6JAuG&l;ALUyCfI--^;e;W1AO8hK*aZ`JbPBUuASL4jDUY`_>7`CA1O=4AGmUsbg znwGZE`|Mi<8bUMjG)cAuUHNklxLjbI)mB%$T$BL+ge;m@cI8Z<2*Bf~eTVJWy$W0I>=7Gv*BoM<>&b^Va`T z2uAEMt?YHOw%Nlhe@KzDA<1V2|3fGIBD6&Y^gtlfBzKQBLIMJdjP8;G2?H+`?dfM3 zWrJpz!>P4+V@kX7M2FW$@}L;)s@Rt*0aR8b?Jy zQjESNkzcS5Ot*?F$0h@_O!F(qo-Iq98Ak~|Y3at2N%=2Ie=QJpKIwkmc%aRpyr9tWDw$u<`kui%Fz`xhTwo4 zrZgF$Fa|8UK1fndDD()=N{nn;-_0d7OXAK1%n$=W-F99^1x|=eUSq%tDsbb7^E=en zv@|@52^K`Ye`UTL!mG+TVz#i`($7CbF_BWxqMG$h~-+rZdt(Kp=%o|8izC|k#Nl{6d<^qT9Z{pVT9!5fBkA2QrB)Z@P8WoOn9hcjA)`J zrqdeMZMPrm4j?yaGY#TF%3Dq*nOA5k{y9ELdolDCl@l9*Ytqp(L^@sg-a4(4FX__g z8~{_0dw~i=4ixI0Dda6Nke|WWn{yi=!nEDQr)|x0UHrxciD0Hx$R}*3RIt8 z0Vd){C;B!a`3ooc&Tnss;oA$FhXlEOJxIj8y$=WU_{YOl`XxN7>D8&TvxBS-FkMiF zkcRqx@*!8G2uhJzKCS**dI}S-Pu1P6^MjLx6y{& z&te?od%f+%n_kShZu-Q}v~KqIk*;w*r2%4neToHEJcz8D8{5lzK~tbyHRdfXV|06A zkO$ci)j=>{EH~WTTK3h4%6FS6a7~+kf0)U4b7HqIvcL86Q{^S8r3tJCP364Uq1q$t zB+R;z#GnVrDVNdIa`vk0d}D|$xkw@g7Bf}Ma)?OYTw{dW{xRC)M7~ux`f^5v6geli zNG@<-8*ZN85Q_LMb6QeaIJ1-ACe8<;>pFGA(I~I_f;>=&v+t&lWQ|)kx)QT|e?_?y zZy@DztmoNp#EHz(BMrtZ^&>0Hn}^OWGF|BOf!K#e)vD0(C!^SJ2Ts>0*T>80$FI@J zFysR4-RbGy2A`RHb)MeH7$-5MZhNvGg({zlq1$!c1*VITQ4)MzRAjEE%Zd}J zO~;R78M|TV=?v1^*pRtTQQXE9f0Y+U=b=w&Z=iIIb zgIxz$7xl#P;j|?HAokYLeEhPu~6{bvOFI* zy0EX|ciksVN|@%o{ARD<^`)%n<#v`;{Ur?7cwhJ~L|IE0#v{_t^W{u4mDR?37s~LX zi0b#m_;(*9_~$gS^Arw2wUYY01wXLBufBfw9A`mQq9-FRg7Khje=4n$gf9SAflj;< zf@Y?H5g;d%NQpDNqm!BU59|E|G|PDKVETr|kJ-@BjD0BeH)05c6cVxkyqTG1y3hkN zQ>Meu!E8w}<8!QyCBC!II(ikO?@3=PiP3SkWQ{$E&(3&JFg^$b$|EKlWwbOFo+FRC z1p9HUsctKsnXigHf2g%;;fsxr&D5nuk_v(dLl%~7ETS$UlrUgGY}wv+fp*94N$OZN zOmIXYw?!dZATKsTMR1SM?_Mx@8oyd@qsV-dGl6*la}r=_u)3h>u11@$ zDJC#Pds9v_f8b16ziV2{wE;|IHOUL|a=C8RYL!9p9Sg?ttX)sJ7DP(0NlUWpx9+)X z$0|QP4*gl01SO4{*OT)>6e!s!-=$^dk&)B;R6sL~j~yVQ#^SF-&iC2Cr=LH4qig({ z!&d3%yawh}3u|dn<$8a6(Fm`%Wy}g-TtCnhG%vw4f9CLDH5c@|WfPSUvz->8w#x=y^PQas{k0PFJ20xcA81fG3YyTM065MN7kBu> z9D?|hs|IyKccX_EiR5NG_NAS2(?;#`-k(sHT+9)UAqMi%FlFxG{wR}zF8RzlDP!o99=liy%1k$ZV(nzqqm~C@DV0J==Q?%CEJEX(}Y?6pZZpRjNd>AvWhPqqFZsu1DMX*9Jctu*slecsi|u2qNZ% zjkqOt(`MYu87;=?3kcr3k7C)B?tR|KjVh+WzO7tCV~|g`bNLr4)KuR(Hut$7 zZii4dUw!vgf_&zKZJ^Bk<+OL{S#%imgZ0-k`td6L6V|hD6-2CKGahd-t9;bHd%C6- zRUzT3*_-P$ceRTb(YcqVm=VeZv$GQv+|PRL-|x?iW zveh(hp75R6XJtG*Lr5CIVL$l-e=NFV106ebGO3u6iBG`5VEmD-Aou2c^xvdH-lGU? zJum~^f2`+>_}gWrti-w+uSO%q#`Q?57kO;M(n0-pw~{l>9OGKp_9Dih%6Mr0ARC#& zr-vfw@_9>-1u;fGcf9#-Dd!ycCulKjU0Uojp5$T1L4RSSJMK(&E=BNWf8a=(3)Ewe z%#p7kjy<7Y@WA<-Dy#JAtyE6J4caN)ADN#H4I;|9-`P!sMn`aH_xdd`_^k)6IntNX z9#SEQU>9U92o>9fo2}?kzU|6J!{(%jR0643Pv{9)`<1oYc^vkqMh7Y1Uq-mxV zQ^X^{q5Te!d4_zINKXmK zR&w>8%${T6{M;4=rJ<=La#RNc)UmhJis|UDx;u|FmRF5c)eB7VlI3B0l;0{Q#n2S) zs6L&lj)MDjnryg~tfafN#J5oNPEKQzslnx9y|a6Y%u$?wM+`&en6Qd&yERA6e5an#k+AnFx>X*ssWoMf8w@F0MY8ci1FL0)MH(7;`vX_!PJaNSDgDt2WEU2Xj#5@1>&0W5zGJ% zPNP-u3h{IeZoa+#COlqmFLkY~1;)yn-rq<*1iR8XflwV0!AaadNl<4YVoB?_AjcwR ziI?7aoIH!!VPF07C$fmRRpvmKXE3bNe>mXlxz^@ve}1RY`l8vcj3`pw6&Evt@!d6< zbn|;L+Wp$Xf}Jkp9EiA1{}uOcrRHFE8C)4ZpP4D=PWGWw1ViC?Q5XL^`<-rfJ0V?% z)L!B4caCm2yJDWbP;?Dp<9jO`7qMtb-a9kxgJWvOGzz8c`r zb`ZyhP20jc9xChdjm3Lq<7BQ6FRHnP5hf5sf1Et?%2g^A5HTnO`!wfu@C!Je+*IjJ z>Zps-^U?+%_DY|RYbRZV@19Awn8%-7&2T@ID(mPYq+WC5AkL` z(7QL*mR~WJ?)hS0n`T_e46g%ladOVekrG)AE_*NxGpWnqoo`h68iIxfA&yPd9^)!0n;fg)<>HwKz9W^2KB}0hWwESztxx8P)%#(6MDhMh6U5jT9Rye8ON|sZ~0yi z?ls1*!pp!yH{vLzXG&q><4hDJxjKqA{UFAxMeloVLmhZ_-|=8{(#{OeY!g0Pc&b3x zgMVI#q*1s*5_x?GYnH(hSb~28 z;ZeT3EuKC!c>SBg5O|Q(4A3RtA)rI9oylkbLj=jSLZUf0N(I7e-*B)@MR58)(SXWW5Io796@RH- zEzP(;fv{c4>@y`Medu7BU3aGhmn=2}Kw-9b)c)GN&Zg14qwD8SVsEM;+c1oa@h4mn z@p{IC%F$!UCr#0i(wMOh|38V zQa`Fq#nF9lN1iC(I zW!BjDJSOx{N~iWxT2W;NbOn%~j)UFnh3b3>J3cN(dzB9``_UA=X(C1lCDu|;N3xz#wg_{=x|x5Xd#se);8 zEzAvUoX-Mn6wpD0%zuxWt+OXHVlrSSh*Y&|K6_f$z&DkKBh2p#N z9#b%+5R>(iCV?(&$mQ1(nb$LymDokq(!f5P!Z7HGAz{B|tAE#?T(yF5Sg_j=Mcso7 z44I{Mbn?#dLQ(3pFP{{U-@i6RwUz)Oh=`RVtNxs*Z>2e|#|sEdUyQ9k7`r-G6?w`? zc7%`gfMSlZ2MSV#uNCEBc%w87n|d|^a`Wu+jgf?XeT&je5X>d1C}Wox{+}nR_#0X^ z(ccs7++iFLnSZ#Iu47}Mt1m8C$FkohysvfqO<_BPXUsvS&FT{vp* zy}YlxFi2Hbx>W&d)kOy(vYiROaZt)S1tbHxxjWSv3irfUxAwa{Jx*03s)P{O@s#ZCF1ZKhb_0|#&exsbATYscK#cxcARNE4oq!%$Bzj+dH;O zU~(9TnHjM<{jid8m|h_0K;Aw0=8k0gDtK?17%fz-Vmttc5iBYX?ju?09%sunL*28n z25~5}@PSo00n8DV~n0H|wBrvm)i}W()x#Nq6o1 zsDD#Ac>Uq1rUoxTrjZTNUN@l|obu;Q7vbo^w>a_m*C!HFtfsB^yaq!@AlV2It+DqzBE__9rG zrVB?=J&j|6sEz8)t6tY#3~}cSNbz@aWPfOZt7msDLXAl9JldrSTVh=N#6)H*xV>0- zC8-Y?4aInVlt5AkZ$>^slZ%5*2Chn;A48+U&2_v|3?{rhh-R{ z6gj@lFeo=%y|06H*m5;;{rTzAV0MFkM_F(uI5d=}FWt-uN2PF?MA zteTFwWVCR|;X){l>LO8VwLUew42PLwrHxdFa1SKJ$V(Kfv*QI3C_&)ah_Y1C=^Hkt z4`VA7#iE*q@-bzXrL3&hVSim~GZ3prdANO>ycwC{{=+!QnM)mT>gILLNLK%9oJ=65 z%^3Ga)pwb&Vl$kJ1a!g%4nsEi4$Tqh@qZFLn~3AYcc=>aTAHW3d2~k!Gfye%5mr`c zrI=@EFf#1FY&e*YGD2w}8$PDzy@9}*rZOnEfWM0^hvvxK;3QFhdwi5vW=A|6HO^*MHi*9Hjtygs^4^bIb2=gEyj;gsSz@# zW_L!8YxIgiIxBEJ(Hs4{J60CtsA2j15S`7PL2e+lE!QV~nQ3qIC}7(vHsdSPliZ~Y z--~Mv$0F;;Md&o4JAZlI})JyKT<_U8Dq(NjL zwBrRadnjjUG|sPvLS`vPSt=%3AI~@VwkZfwklF4Z4T<~yIDZYMtWz~U=CTt6`P41^ zPHzthd-KR;Kd=V%{O#1r@HZQv9MsU*n%iVID0EE!u$1c`r3Qps^;8DKJu@>>FO%IE z+%Rgp%8r4g>u8$BW5jQYyZM$%q-7SUOQ|>{FU6Xfag0=|n!HO57+tEa$U~^j)RS$~T<@Vm=mcl#aI+Mcq+h-q8dv9r_vJZgyquP`aAF5%55M+M`5wsxk+ zO~^r<^I>nLZ8&WPTr4{fV|z7q_#zYcA(LJ;u;eJ;V#z#1+Km^8Iav-1rgb>QDXP!T z>q~oQS*|#wsHu`sM$qsBvUfx29ILOy1vrMWY<$zAFMk#@ypim&@De5 zn0paw-%C!3YGcj;XRE*~FIZs%9J|5Eh;(wkw^@4KksBF(-tGC-*xSunzz=o?Kx6=q zft!ne5!4*Pj?o|!&sl;?Y)Rw0qhA;~FBvSXy9#j3jnYEgls_()kJn@p3he`9nNMx0 zZ*N@!D}S@?6{+&s!`w23tI}TgUpt2ifh^4!;U9~H5I;BbFeAN_y2+krE?CHH=}xOY zCj-&BlXNko^BYc7m-++n*r~Mt*$(Xwb$?G5rKaXfMxZC2Ba$K6SPzbOM)E^2E$wBR zqUwA`zx=0Vb+3iXwuuU1*>J$;ot^wtFM@#@2K@ z?WHfc&~m?pP3Iax!y9#RsE>^K8FUeU2oOq8kHVYXF8bL?pXV(N7jgZ%Q%qumJu$l* zNeuv9t$!+k-#rm%uQ@$hFdzvnnF_yqOfs8BX*TH)WNkwkLh(gZWhJ8oEe~pY_~COg z$$!c&2L=NEg?ieHAdo26YqHMiAZ5enf4^K4^q{>&+y(z3N)K;msE>j6A!O3_qGzAr zZ7;O*h?U-*>hM9=8kV$^WN&2%8{oXH45>G?3_=_%?|%6#?4_*-%StNXNo|F~P= zbB^~xsFu#67gH_axWWLwf5W|gnaZ>nN`I_B%v&9UR@6lja6m7l=yDwzbHwru2hst2zZR(C`CoRz8Z2b4K{HVXH+zE`_~9EKo;&<-C{ zmbXu2rR8$yafZYIhK9`Ff4sr&y9?36l3)ytgqh;4wHlE3!1>69W_>ZR=K*cOKY!B& z2_edBhhbWfL=DX|(#QKxzpV$VRj5`pg42A&Y*3F2N|V8L2n6-7Rtt}Rd);S#QL?xW ztEzy;#AWtrO~uUQxrxRd<_ma}eHYtben^-xsQA{WL}iJ7JU01Yj&UtN50zn^?gcFh zO5m6Z{`{e{oGzs6)eslAkc8Ud$$tdKD{Eao(eiT)J|_%O>3cqG_?jM_^^*_AGWxB4 zQ3$;aeZ{RC`f8FKH>jrtxqnV~=AY-;ppS2wiwk6FsFH*spp4LH#fQU8)5i?9-*Kjd zN7A{{L?$b>rRhi#3qX;SXOTso7MNszN$o3+x~~%Aom*)xlo?S!_qgbopMMDq4C7l4 z@?(187{V+TI@3>%=VPU8aS!k#wZL|8c13lsmgh>aDI)8GK@33HRG@~0*k@6~LyG`# zADb_zmZRfH3-2wabhV2mY^QX#I2NoZpKJU#anxgzPG6kG5MlK?@fzl$2L|gwoPJ|$ zX993nHu$diANvRzq}LwJEPo8`k?_acXt}>{5^#HTjOXgvyO&v?QPc=khUV@`9E%a< zpGtaXDm8J~-C0sj3X ztwQux_LsgmOu@Ws1e^Jw?4~~VhXyTk`3hj+pij-BBh5>{WjmBmy`DBOidoYjY=j$)FSgt_~b zmiraP^2v6{LT3x2m@_bS=-FEt%Ysi=!=w6p;&h%X1jRNe^@B53i^n9fDI)?W95FVHR3*~~t$F&9oM+)QnTk`|TG0sO8wEvzkqlKp>VLv3xA#vNPn?|_#MgFZ9I{s z7jXkztdR>|4^|N&OTq-?4Pg3))RMH&+$0dqX)JVP*JEFCuNBVC#Pu_+%kk z4b>bvg3+eVCEgm_!{fT}g^cV#%&1^Jv(UNQ?ec1+S;59+0L0x}a+XCr1?+syzLaXEo{j~6seY+aCj|qHVqAj*N!W_qiWr&T;PO)#4HYN+$xQ%!iGXf!;lt4 zOkfbd5h(KX3dJ{a5#}J~R6)D{7sU4NkIXBHcl0P5w|_Ef-1I_$eotT9-%Cv7?O4YF zn>7D@QRv$QF^HCmn|9!@bI;$b-ZRWdW4^wk05zd2TWgn=$k9F{vjturg?Y6zi`%Q# z%xoB$&9nOWo3#l&WsfqET)CNIoXKOptcviO{L+j@-cbG>{xMD035!19V~@kO|4MG{ z0%2Zx?tiQFC#bT@d`4gfc`5Pk^l*RPihn&UYN(tL4 zGqr)4f}_|r*O9}`*)-_}j*eCm-_G)_@rIZBChd8n*+k{GWp?QlPFGy~Wp?Dpqd7wo z0ON?YV-5a`^HdrCr^y6}4IIXJ8Ubo3Tt&eBCV#5vNcPX^6ofi0+JYoSfXB>C)5teo zyRC6J*v(7)L8Us7Nwmpk$sDb9IDAQXf;vic6uFzJ?Plri;*xZdZeUcfL~8Gr#I%YwP_&I| z*nh=<64NBeve3|_!7gERPjs!>a@Sh1B1#KLHbheu$x?euP2D9=Q2|9*Z!I6q|x7(EK$jzN{ZzR##i+dk|5jEUe4f28>XT}pah$?RF%U#3!N++mLzp* z_|F?NCVsf~D5tTfyla|85cs{PUfMe6EPsUYG z;iHaV6-o(`&m;C1)D8KVnV@G-oYLjEi{j8CiHW7ZjzFT6Kns?}->wG}lNh^Kq3t~j zFh$mT_{_3LdbdXxfrTIJs~=WXM}K!OJ-%RBs`u8vc#FRi7DkiDdJ?Dc+N)Zp?PJfu z_g(rKwkXHF9ajmLI@sH)d+?!x$JK59&MjW??yMPKyaBD$ro^3f>@s3AjM4W;d{Aws z{VoqK%>F|gFaN~;Dzu9MW08JPPxEuD(KMMcpQeQz>8Da41J_M4cB;~g?SD7~5Ir+k zXY^r@8I%LjY|u+RxtC}N8y^?pDoceYN@^K9aO{)Y1NnI(hC9eHBH*w?hr2)MicDBA z=P8#g#V0rpc{<-k=N(0FYK!2I!noPwJj1o;tMWw(STLemQdIk>T>CFG}>|JI8hiN0~ z<`_odMmYOBy*IH)lxoB-Qe(@=(pZgg^Se|dPo{~Y*{)cB1C|Z|C*37BmmuLz;zu1YJwyn+U?;X_1Z35N0J(FNS6L?5x4WaQ zsMWg*KYV_OK%^gpo_~_d&kTe^o!W+)mA`lV*nh4g-~G*9B|jRsEoTHj!gy_bb!g!M z9&rnWo0ubuKJy-<@%}#K4ta}iF@V|p zZZuL)H^B4sh*+uQJ-Po&e@XywVnAcdwUu!H?(kj*<-AFCUVr7#Rmcm99gOAVHw3om zDQvIn{)K@#3UaTJadui^ra{e)a%UgqGjH|^^zjDAa}8ZJa`WR$A2#q=YTI*Nyxp(g z_w!4q$l`u%id<;%&{+&st?f2z)pwZi2j*I;NEFQt(;%?^Z)aTPYq0(Y($c1wLtZF2 zVxIz!XEC5qK7X=f8kbshKEXz9{EUknw-u0S$ut~HS@^ld6H`w|uFIBS4{mM+Ew<22 z@joUcDkn+S1J)QJ@a=RLYgj-=TifaNSlRZV!A5|IEX#s~Z4B~FVUpO+<%Za5X z-Y}aK@eQ&1XpJ~8jeOokx|TAx>+{CoSM($~4Y*dL_J4iebysE5EX8{093hsWN=b}YW~ac%3WV~SoH}ohH^}_b^7+1OhU^!W6b%jHtaDS=KF#V4RFS;@&Uu0><@3yhWj|CixH2|HE zM0I@t-hW#c2zQgcLyQbOkwv09RV{+IhGIej++a@!8vS9(`jtG}MM=xpE!{$AdOpu` zwTk_oTI7H^q8eDTm8)wpRsOm(RBy*yeGIG393K)~@rAp1#!tpud7WGm{vP>G;~9C0 zvURhPNdDCX7^|!ipev>NPvx<(6y*P*fL1R(zJL5*VB~kQ(F=X!ut3w+ps_A_B1iZ>9?q-XQ9BsDG zmj-J2r{Qa$_G?QD^Mvs-LS_NGv9Cy$61X{MwXbwfWl`rK_>9C10_QgWj^Tcdue?SVZB==H|oxa`L`4vpJiskjcfF^QsBNm1)YU_ZZxnj%=noZJgd% zmzjy9CMy2?76+g`YQ>FBw&SN1UVpGS`YvDdM0Dk67vtidvUQ1rMy(NjPaCtlVAQZT z_f6tG%ppTmQCANt)nL!WM0hiIA+%Fa!!st8!-voL-YbGDpZ2>UaGBfdXv z^p!?#=>6IdA;R0(sZ>T8AanJ|Cjq5Um<#F&)?o@!gB;#InHBbZAg-VK^)6y%2E@Yd zk$r55qcA-q30>M*{DHiG; ziEBGeax4l}5r2-5;3hHz%}h{=?2nZUSWgli7tN)T>2D1R$O zL?Q${7$Sr<@PP9O^udU9&Lli2uwY3-WGWa*Q=$@MMl4}OaSj4Yl+cnGPLxVgVnD8~ zB!E|0kn5D_1PB;GG(aNEB=C@O0-&`3ctA?a#Eyi9y9I`vXa%eQqSh<{_;3er9P|u0 zVxVVIKnr>n{6L5jLg|Q$kOSdX?4WBcT^BP6)luzSiW^2!=i?osQL~(MMy<7y<@79-fp)#t=6JGJj>q3TVkO zz~ly{!j6Hz6l0)k^;iIW2A@)-V-1Orpl@Xg5^WQZq$UAPn+WuyIn02ROp0ShIXx!8 zqq1_0JWxYf0rFI$1PTT$mGgz88Vb<@j`)*d8r+9u8jvcm(M0kT{7T_G@&vp{tx#?e zsf55Qqd`MR#4H)}dYbUm;(yGL5uGGs4pE9`!C@+@h^;X<*i|{xSRxv);kZE8-yu>0p8I;Fna82{g~w80(mMR{hT}C zcn{B-LE^zbUc#onbgUbLlr_5e9`rbOL5lr2BC*rJ+5v%b55OEqFn`9#g?lV-ZTz$K z&tbf^0iYrpbD(?x+;}Pphjos3sDUUKo!G}QYXso0eTo0In(DzED#iuSUu{4`V4{GA zKwEfkerkri9y%700i^8wH{(m}bv({UOc(og#w~N=I z)M=Z=ID1>`FvcFQ!=WmTvN*J_VOzuT8SV;Ns_wpq8vFM(!NJ>lh>0aj9i}n{L9tZkH_cdr!0Yi#bj0y*=Rg}UVJ4VkDyyR!u+yC zT5LQ%jp(y#ntwruqf^j4o~(b#^4T0-tr$_92FH#V4xZMNMLvDDnk_PrfZ(dmmcKzL zM)bY6l7fMg`J}{V=m$D0vq_zmbdgmRT|H@#oaA87q{ik6JEU)6c7A>K{sNg@?ji;~ zrYDx9|Abf)Xz6q(t@WhLR*USeZk|fi>5{XDkh^^K;(zVCXGqQrbK}NyV_5P30yndp zTm4tjp`wyQsGPmN{`vYPP`UcBD^WZpM=7@74BC8S)B_n{_I(v7lbv+lbjk2T$b9(q z!~2WVA7AIon@x3DEMFJt+0l7+n-3FX@ZI1@z}j~U8z{zU>N3OEmKjgd9cf}6V!A`@ z89k;i=zq`j7kWz1=>@%{*Yr0!p*M6&r^RwPp|>=n+46Q$&FLMz%jt~H>HK~@&sH?2 zf6xV8(iJV}da#`7IxF+ymi|dgTG1+7=F?(PtZ21Be>L6EFZ3_^mEP08yAhTLmCNPJ zSLg2sB8=hKQ9ck`*u~&mQj$c?Us+-7k}g38Caf4xj2T9x zreC|f58BRNzIt(T{GrGDGMjDoR2H|PvUp6|bV(}~lZLOd!@|G@h4w3y+7-m)EtK0k`ksEE|AY8UY6#IyIhp>E)vlEMb5l%Ml2|=a zVShS#wt6VfyZlQ=?}|;?E!5xJQeEY%4C=Lj&)qeP#6#__7n=$S_|HvIXSX*CryX7z z1NYWEHf8<==B)CsZJF2eGRtsJj0>Lrot3>!@}T|x-P!Y3$EO3?-(B?#S{gV8@OWeW z3c!OZssMbAc1^Lf?6Gp%8j$R<8fYruqJPc)yLPkbX0}P@Rvr(^qT6{6&CUIGUi84> z^>Q^WZu8X)qLkm=WiahDtH?(Vu!%6ChTscoj9>^T95qdeHQYT@kG=tkfE-ms+2D1N zakcKaI9APKaFOx5Y}jv!mbkROXH7?LM+mJ6Nv#f&Cw%7nbNZ_md7S5k$cO$6_1b)+N?p!o?_fybiZ+}C5v#A$w zXjC3A@rV#F3GkX}bZeNyi9kZQpOH}87kI4I?oT((dzpP9vU_|srYx9-J$BGkG|Pd$ z#y^Bex$P%xLEuO3@xyrRX8?~7t)HaphsSR8wk1!4CD&a`9a-`L?7R&h=X)%Z2s*a| zZrV^XJLsmd900)D;4wK!+J9LJ9u;#7$5n@i~gAF@zhMf#xCl0IbhZn{4=&GKS^%K%4lOLveosFNL9bY~H z`Z|&wUmjiM%k?6I0l|6$oAOI`|Ag3Be%1Jpk!X^ys=tb|o`0T|lYjO6Gf$X?snce4 z)3bb;*F9W&3_tbhIMti1Ebm*j#DISjL6{cBAD>IugwThDLERs$rjy0wW|4VxEQ!r; zm-TdwLKO+;o3hI8K|KKnC2WTi=nEklJkt67^Lzq6p<7-r@(Fa^pI5~#=m7%Nr@w>8 zBaVi{vB**NCWrodhJTDw1fNF0oWg3lDe=3&eXC+4m0}YIC4r#WxLT^|e3j){`FRPu z{sQM=X$nqEoch1#6BxKDimLWVFf)FZyL`4OvoXVo`Cv2#XgpYLG4~@J{4v#;LV$?t zj!2@&=Xec;fiQIZ4sO!;9ep%APYm;6&Y-mg%gNnzDsrcAL4SEcl}+osSp5evG)+t^ zLs3rxbD6HhLF*$6(?(ib(83U?^{^m5;R~kP+_XMiw$y+eP=);gan+f=rcASz9QJAQ}M2Bqx`O|OFg1H*MC#&;>kcPYN!nekmrv$gEn*YmwD=0Atj)l2$+?9HQ1sS_w^XgxVHT37X+3wH|*`3zXpmwaugow8BYh-J~ki;1sn@ zq&8Rum#J+ewZm$dqSi%P10Apy)3y{kL$C{WL%*9< zwSR0~&?D4iJBhx*3PLTf!wr~*8Mq0z;5OWWyD$uUpbjIj7xuv@?04%ORr5hO0LNg! zt@eLa7Y@>#jR&(p8$(o52bT(1t#61uG)FH2$$TJ7xU;%eagJ5=;}k3rgYW)b)V8TFM7sF!Au4-8BAg@ ziNPEMLl_KUFnZDC{{FlEQF8zCMyc8T&vRX+7Ef)zl**olo+(v4&Hq(u_4N3iQq|Ma zq*Bd`#wX@Q>1n3?AyfUGY5$n%_?+qdmg)Mbn;EIl!Ruqv*V7LJz!?SO6O2zVKEWXe jha7b;y8q=z4bIqqC&^U=mw_$=9|}1&ISM5uMNdWwm;!cX diff --git a/Schrick-Noah_AG-CG-CR.tex b/Schrick-Noah_AG-CG-CR.tex index 9d77b01..a5c1678 100644 --- a/Schrick-Noah_AG-CG-CR.tex +++ b/Schrick-Noah_AG-CG-CR.tex @@ -50,7 +50,7 @@ Attack Graph; Compliance Graph; MPI; High-Performance Computing; Checkpoint/Rest \end{IEEEkeywords} \section{Introduction} \label{sec:Intro} -In order to predict and prevent the risk of cyber attacks, various modeling and tabletop approaches are implemented to best prepare for attack scenarios. One approach is through the use of attack graphs, originally presented by the author of \cite{schneier_modeling_1999}. Attack graphs represent possible attack scenarios or vulnerability paths in a network. These graphs consist of nodes and edges, with various information encoded at the topological level as well as within the nodes themselves. Similarly, compliance graphs are used to predict and prevent violations of compliance or regulation mandates \cite{j_hale_compliance_nodate}. These graphs are now generated through the use of attack or compliance generators, rather than by hand. The generator tool used by this work is RAGE (the RAGE Attack Graph Engine) \cite{cook_rage_2018}. +In order to predict and prevent the risk of cyber attacks, various modeling and tabletop approaches are implemented to best prepare for attack scenarios. One approach is through the use of attack graphs, originally presented by the author of \cite{schneier_modeling_1999}. Attack graphs represent possible attack scenarios or vulnerability paths in a network. These graphs consist of nodes and edges, with various information encoded at the topological level as well as within the nodes themselves. Similarly, compliance graphs are used to predict and prevent violations of compliance or regulation mandates \cite{j_hale_compliance_nodate}. These graphs are now generated through the use of attack or compliance graph generators, rather than by hand. The generator tool used for the implementation of this work is RAGE (the RAGE Attack Graph Engine) \cite{cook_rage_2018}. Despite their advantages, graph generation has many challenges that prevent full actualization of computation seen from a theoretical standpoint, and these challenges extend to attack and compliance graphs. In practice, graph generation often achieves only a very low percentage of its expected performance \cite{berry_graph_2007}. A few reasons @@ -62,12 +62,12 @@ nodes and edges, graph data structures suffer from poor cache locality, and memo The author of \cite{cook_rage_2018} discusses the challenges of attack graph generation in regards to its scalability. Specifically, the author of \cite{cook_rage_2018} displays results from generations based on small networks that result in a large state space. The authors of \cite{ou_scalable_2006} also present the scalability challenges of attack graphs. Their findings indicate that small networks result in graphs with total edges and nodes in the order of millions. Generating an attack or compliance graph based on a large network with a multitude of assets and involving a more thorough exploit or compliance violation checking will prevent the entire graph from being stored in memory as originally designed. -Due to the runtime requirements and scalability challenges imposed by graph generation, fault-tolerance is critical to ensure reliable generation. These difficulties highlight the need for fault-tolerance and memory relief approaches. The ability to safely checkpoint and recover from a system error is crucial to avoid duplicated work or needing to request more cycles on an HPC cluster. In addition, having the ability to handle the memory strain without requesting excess RAM on an HPC cluster assists in reducing incurred cost. This work presents an application-level checkpoint/restart (C/R) approach tailored to large-scale graph generation. This work illustrates the advantages in having a C/R system built into the generation process itself, rather than using alternative libraries. By having native C/R, performance can be maximized and runtime interruption and overhead can be minimized. This C/R approach allows the user to ensure fault-tolerance for graph generation without the reliance on a system-level, HPC cluster implementation of C/R. +Due to the runtime requirements and scalability challenges imposed by graph generation, fault-tolerance is critical to ensure reliable generation. These difficulties highlight the need for fault-tolerance and memory relief approaches. The ability to safely checkpoint and recover from a system error is crucial to avoid duplicated work or needing to request more cycles on an HPC cluster. In addition, having the ability to minimize the memory strain without requesting excess RAM on an HPC cluster assists in reducing incurred cost. This work presents an application-level checkpoint/restart (C/R) approach tailored to large-scale graph generation. This work illustrates the advantages in having a C/R system built into the generation process itself, rather than using alternative libraries. By having native C/R, performance can be maximized and runtime interruption and overhead can be minimized. This C/R approach allows the user to ensure fault-tolerance for graph generation without the reliance on a system-level, HPC cluster implementation of C/R. \section{Related Work} \label{sec:Rel-Works} -Numerous efforts have been presented for C/R techniques with various categories available. The authors of \cite{CR-Survey} and \cite{hursey2010coordinated} discuss three categories of C/R, which include application-level, user-level, and system-level. Each approach draws upon advantages that appeal toward different aspects of reliability. Notably, application-level requiring additional work for the implementation but resulting in smaller, faster C/R, user-level with its simplicity, but resulting in larger checkpoints, and system-level requiring compatibility with the operating system and any libraries used for the application. The authors of \cite{SCR} present the SCR (Scalable Checkpoint/Restart) library, which has seen widespread adoption due to its minimal overhead. DMTCP (Distributed MultiThreaded Checkpointing) \cite{dmtcp} and BLCR (Berkely Lab Checkpoint/Restart) \cite{BLCR} are two other commonly-seen C/R approaches. +Numerous efforts have been presented for C/R techniques with various categories available. The authors of \cite{CR-Survey} and \cite{hursey2010coordinated} discuss three categories of C/R, which include application-level, user-level, and system-level. Each approach draws upon advantages that appeal toward different aspects of reliability. User-level checkpointing, though has greater simplicity, results in larger checkpoints. System-level requires compatibility with the operating system and any libraries used for the application. Application-level checkpointing requires additional work for the implementation, but resuls in smaller, faster C/R. The authors of \cite{SCR} present the SCR (Scalable Checkpoint/Restart) library, which has seen widespread adoption due to its minimal overhead. DMTCP (Distributed MultiThreaded Checkpointing) \cite{dmtcp} and BLCR (Berkely Lab Checkpoint/Restart) \cite{BLCR} are two other commonly-used C/R approaches. -Rather than using C/R, investigations into attack and compliance graphs attempt to improve performance and scalability to mitigate state space explosion or lengthy runtimes. As a means of improving scalability of attack graphs themselves, the authors of \cite{ou_scalable_2006} present a new representation scheme. Traditional attack graphs encode the entire network at each state, +Other investigations into attack and compliance graphs attempt to improve performance and scalability to mitigate state space explosion or lengthy runtimes, rather than focus on C/R. As a means of improving scalability of attack graphs themselves, the authors of \cite{ou_scalable_2006} present a new representation scheme. Traditional attack graphs encode the entire network at each state, but the representation presented by the authors uses logical statements to represent a portion of the network at each node. This is called a logical attack graph. This approach led to the reduction of the generation process to quadratic time and reduced the number of nodes in the resulting graph to $\mathcal{O}({n}^2)$. However, this approach does require more analysis for identifying attack vectors. Another approach presented by the authors of \cite{cook_scalable_2016} represents a description of systems and their qualities and topologies as a state, with a queue of unexplored states. This work was continued by the @@ -109,9 +109,8 @@ Previous works with RAGE have been designed around maximizing performance to lim To decide when to checkpoint due to memory capacity, two separate checks are made. The first check is for the frontier. If the size of the frontier consumes equal to or more than the allowed allocated memory, then all new states are stored into a new table in the database called “unexplored states”. Each new state from this point forward is stored in the table, regardless of if room is freed in the frontier. This is to ensure proper ordering of the FIFO queue. The only time new states are stored directly into the frontier is when the unexplored states table is empty. Once the frontier has been completely emptied, new states are then pulled from the database into the frontier. To pull from - the database, the parent loop for the generator process has been altered. Instead of a while loop for when the frontier is not empty, it has been adjusted to when the frontier is not empty or the unexplored states table is not empty. Due - to C++ using short-circuit evaluation where the first argument is completely evaluated before processing the second, some performance is gained. The performance gained is due to not having to pass a SQL statement to disk to check the size of the unexplored states table unless the frontier is empty. The original generation design stored new states - into the frontier during the critical section to avoid testing on already-explored states. To follow this design decision, writing new states to the database is also performed during the critical section. + the database, the parent loop for the generator process has been altered. Instead of a while loop for when the frontier is not empty, it has been adjusted to when the frontier is not empty or, if the frontier is empty, if the unexplored states table is not empty.The original generation design stored new states + into the frontier during an OpenMP critical section to avoid testing on already-explored states. To follow this design decision, writing new states to the database is also performed during the critical section. For the graph instance, a check in the critical section determines if the size of the graph instance consumes more than its allocated share of the memory. If it does, the edges, network states, and network state items are written to the database, and are then removed from memory.