From be25b6da8535af9a4b206f5406d956e87b10e74f Mon Sep 17 00:00:00 2001 From: noah Date: Sun, 27 Feb 2022 16:45:43 -0600 Subject: [PATCH] Objectives and Contributions --- Appendices.aux | 2 +- Chapter1.aux | 2 +- Chapter1.tex | 13 +++++++++++++ Chapter2.aux | 2 +- Chapter3.aux | 2 +- Chapter4.aux | 2 +- Chapter5.aux | 2 +- Chapter6.aux | 2 +- Chapter7.aux | 2 +- Schrick-Noah_MS-Thesis.log | 12 ++++++------ Schrick-Noah_MS-Thesis.pdf | Bin 206429 -> 211425 bytes 11 files changed, 27 insertions(+), 14 deletions(-) diff --git a/Appendices.aux b/Appendices.aux index 9c2e85f..0fe3613 100644 --- a/Appendices.aux +++ b/Appendices.aux @@ -9,7 +9,7 @@ \@setckpt{Appendices}{ \setcounter{page}{22} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{11} diff --git a/Chapter1.aux b/Chapter1.aux index 60c2c89..0459359 100644 --- a/Chapter1.aux +++ b/Chapter1.aux @@ -12,7 +12,7 @@ \@setckpt{Chapter1}{ \setcounter{page}{3} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} diff --git a/Chapter1.tex b/Chapter1.tex index e2820f9..9b6f5fd 100644 --- a/Chapter1.tex +++ b/Chapter1.tex @@ -18,4 +18,17 @@ states \cite{zhang_boosting_2017}. Various efforts that will be discussed in Sec \TUsection{Application to Cybersecurity and Compliance} \TUsection{Objectives and Contributions} +The objectives of this thesis are: +\begin{itemize} + \item{Extend the utility of RAGE to:} + \begin{enumerate} + \item{Reduce the complexity required for network model and exploit file creation} + \item{Expand the complexity of attack modeling} + \item{Allow for the creation of an infinite sized Attack Graph, assuming infinite storage} + \item{Split Attack Graphs into subgraphs to simplify analysis of individual clusters} + \end{enumerate} + \item{Implement solutions to reduce state space explosion while remaining exhaustive and capturing all necessary information} + \item{Extend RAGE to function for heterogeneous distributed computing environments} +\end{itemize} + diff --git a/Chapter2.aux b/Chapter2.aux index 22a02a8..f796e6c 100644 --- a/Chapter2.aux +++ b/Chapter2.aux @@ -8,7 +8,7 @@ \@setckpt{Chapter2}{ \setcounter{page}{4} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} diff --git a/Chapter3.aux b/Chapter3.aux index 06b42d6..c2fed83 100644 --- a/Chapter3.aux +++ b/Chapter3.aux @@ -26,7 +26,7 @@ \@setckpt{Chapter3}{ \setcounter{page}{12} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} diff --git a/Chapter4.aux b/Chapter4.aux index d7a0249..2c95e7e 100644 --- a/Chapter4.aux +++ b/Chapter4.aux @@ -9,7 +9,7 @@ \@setckpt{Chapter4}{ \setcounter{page}{13} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} diff --git a/Chapter5.aux b/Chapter5.aux index 20440f8..275880f 100644 --- a/Chapter5.aux +++ b/Chapter5.aux @@ -26,7 +26,7 @@ \@setckpt{Chapter5}{ \setcounter{page}{15} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} diff --git a/Chapter6.aux b/Chapter6.aux index c72a971..d4be9ad 100644 --- a/Chapter6.aux +++ b/Chapter6.aux @@ -19,7 +19,7 @@ \@setckpt{Chapter6}{ \setcounter{page}{17} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} diff --git a/Chapter7.aux b/Chapter7.aux index c7e4162..baf7136 100644 --- a/Chapter7.aux +++ b/Chapter7.aux @@ -4,7 +4,7 @@ \@setckpt{Chapter7}{ \setcounter{page}{18} \setcounter{equation}{0} -\setcounter{enumi}{0} +\setcounter{enumi}{4} \setcounter{enumii}{0} \setcounter{enumiii}{0} \setcounter{enumiv}{0} diff --git a/Schrick-Noah_MS-Thesis.log b/Schrick-Noah_MS-Thesis.log index b4e5405..a1d0232 100644 --- a/Schrick-Noah_MS-Thesis.log +++ b/Schrick-Noah_MS-Thesis.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.23 (TeX Live 2021/Arch Linux) (preloaded format=pdflatex 2022.2.14) 25 FEB 2022 22:40 +This is pdfTeX, Version 3.141592653-2.6-1.40.23 (TeX Live 2021/Arch Linux) (preloaded format=pdflatex 2022.2.14) 26 FEB 2022 17:08 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -299,20 +299,20 @@ CHAPTER 7. ### semi simple group (level 1) entered at line 52 (\begingroup) ### bottom level Here is how much of TeX's memory you used: - 2128 strings out of 478353 - 37335 string characters out of 5854635 + 2129 strings out of 478353 + 37349 string characters out of 5854635 344903 words of memory out of 5000000 - 20201 multiletter control sequences out of 15000+600000 + 20202 multiletter control sequences out of 15000+600000 407157 words of font info for 39 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 55i,7n,62p,310b,1301s stack positions out of 5000i,500n,10000p,200000b,80000s + 55i,7n,62p,310b,1305s stack positions out of 5000i,500n,10000p,200000b,80000s {/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.en c} -Output written on Schrick-Noah_MS-Thesis.pdf (31 pages, 206429 bytes). +Output written on Schrick-Noah_MS-Thesis.pdf (31 pages, 211425 bytes). PDF statistics: 137 PDF objects out of 1000 (max. 8388607) 89 compressed objects within 1 object stream diff --git a/Schrick-Noah_MS-Thesis.pdf b/Schrick-Noah_MS-Thesis.pdf index 0b6c515ae8c06d6daef338c3dc2e80970841e1f6..9b7223ba4420b4dc09a8044f97d9545c27ddb315 100644 GIT binary patch delta 10661 zcmai)Q*&T}qO40!PB_uTwrx#p+fMGTQ}^uG^VVI}KcK6>-ke0( zy+^2pC5B*OVPi}FT}ut*YRbj0bN=YQu9;PVG96kRNb+58&X(}A4z8M$O9E$zV`xq} zNm#t%?Ga?dr`54SL}xG-K5*u~pE@rBwl+Hh(z&93=;&$q)bo*h{OTdK6R$r{Mm}vF zKX+d?d~N%=)K0y&h<~H!IN!&8y*1k|eYn`*{3Kh+M3-1`I*JMifiM}9>JiRVfsL>_ zXxgEB&Wo`Zl%}uDZW7JYvB^yB^=K;m@}{hHjnCuHg($(Fcz&@_J(+}2DJ%t-E_=eQUuvIh zISs{4O-obqdvpQFnh7ji+lZ@0Yi}6=hAO66u2{p7hXaXdP1)IiQ9r{{C2;K>G%U4p z(F$c|5tsv;aN)R5tG0SA%Q)>g0+zZ>(nGKay@ph6vZ*`cViGbA91{X~DtN|awv>_E z;Kj&2S&%<*iABFg+j>QdrRbDG%~q4|z-yQ-a4$)MywQPn#2zF9k(7WRduSAGk)J`C z>~8$vlgcJl@p?ka%z-XN95qiQTD{qZJQomHs`TOz8D+?`D%LA|V+}dB^z($02wQrC z!yzaiz2PSWa-xtoC<~>KRe2bm>8!!Me_(h`c~~#SrY2+sS@bHWG&SmJg)jkebbI z*-2HGGi6p4JsNpYRaECa3s$yWtFw+1ExpQYyWdmqeM?-YRPlLcbXLMBR>9V`YTWg8 zVK=NcYTejbbM*93lH$cL&*bi(fx|Q>g%&-7+bR+}uY56ull{j!I+513Ixo{0gnw>b zev|{S;{QUA;9aA@^OV-8XQBsnaZ|~Hrb9Zht10cWJaHI?{h$2{$1L2wLwv?!9}GRo zdm`cqi|M|iPp&oX22l1~`hpioxu+A&yMvKTU1d~po^1=UsSbmm6$5_bC&^N;z?+kI zP~G{76~|NNWRKkF&yUfGZE5?2+09PCe1ZZav`P5B-n)NwP+fYQ87O5~9PqZYN+rOJJF<_7U zcjDvYnibhvUgz}A!_Hm)(wlGMlSE(LMn>RlD&1{)nZs7y*x8~X;l z!IgX79VA}&E6A#Q8(HiBS>R#H^==yY&FA+qig@wPtYkobdCk_P z0Nv}FNhaT0Llu2PV=fxb?Zxhx;TU~9ipn@#RBu`M8r=k|p>!8FiaR-l8*G(*$@z;t zcXQ*?u^Vi{X^9uk!qME#-POXx0nQ?{j`U|8DQHU_DcI^79tQ_I2ON{Ug`<_bH5)PW z|4L#`7Pj=;L{J*Q!2?n`Td$F0c~6;EnO|GZneOW9N+K%(L; z%OQAAvs0Ov8~v^Ix!Z61gYDa&&Faa}?~=!^rol=O6G{RCzvTK9;_&d`a1RCYgyzil z=I-_e#JlwcR$KcZLHP$5x)V4Nf;OGafkB1<{+z4LKNXG-Dj9`X_AP|<}U_rk*nYlrqjk?Qwt5HDu0OQEYg`N^W5ys~?kg8`wFwh@= z9tGBy`b5wUU?6M9N$_*^Rg}qv!9jybcR>uo$Y6jkCinvwx0{deyRY=$Az+*D#NaJ$ zUcZisV2%o5?t?@dP5$^*R*N7#V}8criG2HDAyPveoxLatJ#59lV}%p%Amx4g9e!d1 zMx)iGrDeo5Ltooq9|oF1dL+cmt%$B39aV@SpA7=v(XU?FAf4aoc0tP0 z8PLEE2l9&1dEfoYvy=H3K(C_{_LGaM=7tW0N{9$KNNeZo2g;7$`}b&*s|4w9=f&-a z?U_5LuV+$`--OC^A#FHesoDt!rl0SoM&TP#NzfN)W=;tIth`xz;+qM&DMKIsiPCc+ z{h57J*SQjJ+y^y|TKdGma3>(6hLUaM;70|ESI%EOD z-GGZ@l)tSR1*xZ0r_mHoES&*hI{I2-bE^QA)ryDX?lMx^MF-nU!@YmZL;)IY|DPhXxd^Pf8fLqVL@Y*jkR{zdR-xI|> z!ofcHAgLnCrT&iny2lB~$YP4E;~@-*py1EuAlx(Wcq0Y##|f2Ke(Wtk(=Pi7P2B?J zUrAL$N={AZu7p;c1>C5A$QNx!P@IeU%gwc^35IH_zR?XZyQFZ98jYs24zZM8TAzfXsjSWN6fWf>OeiLK6mX&}6z9`tVDokc9 zzQlGO$^0BOC_3*C#$sOido;JCC0B~IS!y~H?pug^qSQpJn@Sa^rZ!*1D_GBMZdBQ8 ztF&ojSg(BA19W$l214(&7u>ft#DW76`p(Juf05fpUpsiqQ@o)YK6q{pBMG#z`uWDX zNefrnwWF@Ad@2^oSiU<`XJ*CD7tXOa4(!b7il|(!p(I2obfrF%RP$NB$%p4a2MX;4 zu=>ReL3;c{8-qJpiluJ9?(xjgn~@12CdYhzfm%k{+@^ke3vbI;m(g`_LmX1 zx22o&=RXOB7PynoJJyU3;LE3@d5lZv|EACiRZ9QF^zb`T;CcH%R#4fmkLtxs3oP9PSpj_aG_6suH^jTd=YVPKgai7f!$E1Y5#Mt15`j%wXCz z4%nclZ7!vAkUpZ#n}bZ(Vb*HZ%Okf#`3Z5;xvX`4gNnFe(DK!vDLt3NQ}p zG?MXqtFF^n93XVp+dvir#`+gh2?y3{+7lEwGDl!vB{(EoGcq(dG<2;A)Km{y5-l+LP}Yg+0zXsuj6j!E#osB!<|lsqvFFX0|KFXhV_cU|~I3_9Xd{IQS_ z6?IFlt|L6wYlqsYm6HB(K%qa7!+@N_`E(mS=?a<^+rUK{nz`JXnvkBAF0Odywa%w! zC5~?|Up>st_)7bhX|%jN(3g)3uU2NqfQK*0X1R5S#tV@IA@Ex@%hg_WzAZBpd*F#~ z#)+ohNm8Yd%;$gw)&l z#&;WwbsaNm{UG!J(VC=Ex;5ZiX7`PZK(krKe}57_L?pO>tD+l3nAU*BYhSSsi>WXr}95cAu zyG>F*WlM+AZQI6e4zDyLjCwC#AFKb*h9yyfbpW0%d4BQD4%%}?E~6)%?}bvTqyP>% zGYPrzXV28dvyo+0t!XSaT#$jt*$NnFM7)c&0o$AUYh_>@fcM*@PDv;hNmB~po&^vt zg{$SRi1L89Ikf<&v~fhv5p+-BI0FBg{&KvQTc`C5pb`0Mh&NB_sGe!O!{a+n=JU>J z;G5#=!!B^(J!l_Aj%(o^CVGBQ<`NCKDLO6)w^9Jfl^6Vujvlc|f@7%IBQtX3r2I&y=N<_}h~j z)6P&NZ$_p{YmUukCT)R)RnN**f!^7fYSPVlwG{%S0@RJl~oY7i`U~}Rr<}sP{GW`>@q$-Zbyf-DgH`%Os(U;R=>3N z=6y@af_|#{T(nHQsCW(|DC9LxolMFYXP;DtbTo7zZWA&;)Z6&(g+PQ)Q)Kb*4`YYWkMlB>ID$;{up#_zRjYR(6dwl z8~Ij&PxBrh-mTSrW-Wn!hcND}fY=N}{nnL1AdQy*+1BXdI%}}H=cX}5O+f46_G>hrdKoQLyzuj3sA-@hnXBLp{_>^hU(RSIOB9q^1v3T;x}iQzdDemB329<;h|mJ0|X zLKO2cct;@YG$oVwcIsb6Q_;n`usp-lhQv}4%?~R|h4s(080aErU`9&xEb0TZ%R1gU za|VR9OUtlc%*;-N0|i`=*BXS+43(nVrEe43dci3gbUykqpZbg$3t6D0+oqM;ZIu>Q zSqfM!7O2BI)^fppnAMI9;>%134bEjv|NdmQ&U-apkTEaPbTcmnlxtcyG^BoTV&JEl zB-J0uYYq21#Bj?dK9Ma^$;Sb$^(Loqi9mrJnKkwa7siL$oxWo&9kryB^G1~4uQB$Qt-4_vmG^MZOIM?!`k|L(>eU0qIcgaDn0;|p zXL+RNH>?JX4{}syB24!+$>>l<+reXFv2rUV7BJY!36eZkOX8|go7TLqUA!`g0f7RH zcqS>`)aTVz6CoCyA!omsl&byhgHZ8i7ri<1At{)k7cDYu&7F&<*j1R!-)qeDGR%Od zSbmyXaD5Xw{!`m@DJh_=SI;-a$xmLb+l)e@irFEVx5sGJ{vU6S)-}<+KL%=(hTQbQ z*TobvSgyIg$)CS*-vnJ}4Mxzs5wQ}`KA$li`~~_NWsK_2f8bVzP5Fm@1cB$+-&h&# zTDmKlW3!Rx(08AgZI4Cpx?P2z$qgB7257M53t`$PVP+w9GZ6x1lJ^9uW*e*&;E10+ zKOL_5Mfsb)FeuZJ{x*RU9KO3^ZkGP_qYgdTZgN26#Z;<&D`jDG??dk|QGd)c{}ql; z7xf^hv9tAY!ip4|C=6}m94()(myF3Q2y#|axuaV>WH@qh2GXHp`)@x6KK>r{hV3+t zt1;!l&0GuW0LB_%x;-I^@Wl4H=+h|fU|sNen{=$A(g0P@bL|_iG7$@Rva_&Ke~S~q z+Dn?Rnb20dN!bKb`|LVzU2xh)DU+3_l5^leE_H2i>T3)?xzoL!8-vi47-F+pVVZ<+ zjz*gpgZbh)Ge@4>l^qN=AVL4$pY#=S-~i>H4s zS~CLc(!c^n-3}#k#XYnoMb#_(g9`_7n!wD*r|&>bcVooX#-g$6Cxo=Ua0t8+rl^hD zJ;9=W0%j2BVc`K{*=dWK0iNj&t6fjgS+6&ii+#}Nk!thVO#By8!F4&iiXaq^-dT&M z?yt}P9zFWS1DwPp5TaE3$+W}KQr+5?n+^(Z)kA?G2J_1KBRd(l*1xR^rgKPhj9}StBiRBcaV~ zTrKFtG1Z=f&*CxoH!t3R?P@AGQqkwe+DNW#kGpH_URFx4HGeV~Iv00a7C|w>Boa!Ulof4od#rkt_@3df`oTwjUuT=ktXw zORN^iuVLujoaNMuJaYZf%VF?$AHuydp-Pk&1)Q{J9;j@TyT4C!e!=EErH}-f?QbA+L;+5c68=6_4!}~2ay*YqI0`LE5b^#HzWdw`uCp?zO`#kQrUMv0lg~BA z(wm>7ZCA^zZo0&-szz9^ftxbHm#P;1i5ZAx=LWlM9!dV|gs)_eWe{%*bp!n$7~sLY zPHB|uET)&MlkZbdKeugb7~O@kzQtoHzI=Y0BR^X>B{aXtbAPF|g3OFFoiUi>BMaXR zq5f$UgFk5KMUNX0<9~oCr;qkdDSRRL6C(j~$?2T=HrAbTlH29r05EpK`YH5MyNnZ1 zD9tLAZy(UskLRS7EStP!YH;p6f~-mSYEo0_mb$GV1AoJUYiJ5W{6+tKt>@P4!$cVja&| za7lK7KyRss0DnY-=49bw=H}o^|BDTd|6enQ4c?2y^IyKe%E`&|KQweo*FX)g4K?7o zW_G`;Dg5zMBXz9;WY;l?f~1%7pwye08Pq9O!9H2xY316+W|+{=nYnqjI2y;USo8eh zR8!7clBJIvJ`s{K&NPpPAu~lDa-i6FO^=d+4N5ga#}JuPXnvNy$8M6wj0 zou`yOhJ-mzuwSQ?6dll=X|zb%snff1t~FT9gYx`~AmQIHZWOb|WoRS8@Trca~&@jxbq2%LOeW(DftF}h zs0p9qsLdoA*BJ1)`}wBG;a|pi$d^m$s`HE8Zl&)OkNZ-U8}!5ovcdw~dINhFww3op zBRI>aKo@X;I;jZ4Wn6yx3C3CoN^LKAqzSpAofzvM3tQ(2#TkcSpEl7uEF>7y%%Z2T z!Oxw7;b6H8YI_{4+r?6V=1i@(W~m{pWSIY{lXFZsQ&YE%u-yVG8q^gK&+wO}#{R{I zw4dWBH921Npzm<;0#E zX03;LgPf)X^_jaY6Jv|FIL?`SFwRM!Fwrb}w(Q=yR;s2F&q*Y&C#ojADuQI;^m_(R zjzhG`=3aV#HnZvxtetF_WHWlUHAoQY5f1oXRkiyh3@A>V-;@@iE*2R>p{4je6b-^- z2HOBzJSR+ckmI=EB2XMY1fwbbprTU9sSO>5Im+OfR;Vy?T|8l3Ka^qKKxW7B09HgH zhgikD!@(`#KPSWM|2sAJr6ds229=RlxOvc}T@^k7r?kKAGet;^QK2BKms;cOh?w{yTaN=B!uNsg>QtfD3 zqI9`zNhllT9{(ta6P~eFdR)8y07hb@p%ZiJMqwpu86~CH!10)RAfo1jjJ4FRT6tTJ zn71r5-R^O%qvXSdUW6{7sTOv~CjdaB*=!9)w!+G!kt(F;-Sj8pn`(+>9kFz2)`=AU zvWy<6Dq4Y`CJSp2W{#j9a<8@EIgw6|17j^dy_8QX3NCT4pg-z>4-Cl~E^kn28O=Iq za3w4@deI$F%?j4Zv!#1ibC7RfTN1yNiz>HwmZlJ8&FeVP;Xxy5lb+w#vJCo3t70hW8sELQ8GuI z(-t)>&V*kF(w^%DkwfJ}C8#ZQPo?AMJm;~_6P^69%>v+1%;qtQ<)#qp#&s72U?vI-v{~L@kaN8L^mQmJ6s>7*q+c>{-aX<>i#ru{)?aEBmdd{ z=-~vv?0TJEvA(dr$9ryjzO!Nfor5)}uwCb0kv$B(cVYQC0m3I=_Yz^YGGX)QriWJ~ z>OlM~gAJ{0ZZ%7VMeZEI%`>jQM=u782M;~(zA4Nv-%hPqNeUUR%uGWocSz0NA$sUt z68sCo&TYO`Xy~8tG|W7uCtcsT2$2*QPLhi;nHj!pQ57u~`kz7)%d53+U**`((ee8g z{N$enxBjzuz=KOq_f_$Y-2Po5Aaa0_@5Cn%E&Xy}&9ca!zIR)l*|=}hr?m)&27*4NHN!5zdP7PalE!K;RIBd66 zrN4dv@JaExu>2~|eX9(Xl&Zr!M|!4a%N2Z>X;z>2eG)A|lu8GY5UK3D`{1pJt=3t; zB&*_ME+-FY#d?E_Z?SCHpr@63@xrfRTOl!%w-j1};tP+TMJzbM4B9c@TQo$>B)T64 z&!+wyvPR|YFsAsDuHy&1J&7?8^*{p;&<<**9H|@3Z%Z35mB;w`IS#`7`~jtj`>W38t=z7UM%4 zUk^=zGRLyeLo4UiabKz*#P`VWgiHtNC`jPw={scL1}Z!fTwE-Y;;a&)%q*-tEaI#@ zY~qrl99)vjqAZePB4UEX{Qqaf;J*czjf*?k1dIltnB!8?1H}&Cz21O_QZsF5DSfsi z=6=}nt1%5lctxR?t|ewcsiQyz7mG}Rgow<7g{>zIgu_E^JNEW*-@4w~)#YS+cb?o6 zL9hhf&kEK93YvuV_j+?^Huq%k=^eFrlu#p)kKW6(^U3>BnNr8dVbfB|a!B3CQ;U1S zR0IHRa?m^2G><=eyfUGXXepWG0~3B0oMR#3{^P`B!5CdMV&qtwfu;H(5`2yQ z)Kbd*?!*0F@7w&&nU{H*IkS0Ax;jZ(N5qZ;70YCQf-4N5A*5ZHm)HEb4NnmMHf)%M z0djO<`!?A((I_|>W4 zPczP^k&J+u5n+;m0`J$uo>y7N4a6&-$0_fdjvg&GMCju>5T~AHvxe#@l8q||2HYDQ z#SwSx1rWG!E%4p4CNfir{MvbEF&Y|zVA{ljTZ6w$S-ewqesLY9K4RTSVy9Az`P9iu z`pteJR<2_q9y*>HFt;8MBCp0XgFWsn2pyT*|I`kYcNZT#&rsKh79`68?F%zqNxZ{7 zyA~|b*5jyCa@ndFRI0fPBxh`_sWUpHqxF|9mguEzf<=joMe?Nyr!jL9b$NMuZ=B1{ zzmbI@`vfeVv8-%&ucJwrAiGC>74t_#!E>*8NqEFZWAN-=u0Unwcq00w+OtJaC~0I;t%wk|O!jf%+Z!?WPD@C_X&rq2?=Ii>3Co+SQ2I z<)!8npUZN|SS^=32;SbEN^b@5xq|F_SrM7S(;qRnX;JwLW5O2*9dv{BIb>AF0H zuDBfr;!fVf-YJ`&3q? zS)rzV-)6RZOxBk=e?t&0RcMETGI}e^x3ZRhv2FD%g^2Cl?Rf0A8PN&=c$_<#cf^hgY7mgrtP(<-_>)}*3s zRVYT?ixC>ZZ8$;_6t3|oBcnOQ!^7=(wcwB9bWqkzl$81Wr_~0ocq;kjpR7v^zrY`- zK+p8YcWxhOiW2=Vy?uV(y&T9yA=n_}oB(!nIQuY(_ z_G?fo5)#3NUpzYYZo3z6Q*n4PE_+l_3ZccDQ=uhT zM%e#RN}#}jz~i3j;8Rj^Q%)0vz1SdxRv~QU`LHs9Vib~^mz{`;@M1IQ7T>G2H)gxn z9-Bd3q1ULAB~#NJ1Rdv7ZJ1xi+2^G0kLM4i5;8&z$<{ALv4>fQfMV5YAm&T27NwxV z?7hP`5}Y(5NPb0XO}4sHSv#ypk9FL#bwP;*)~raIX-h*+2Wj|sv(7b!?c1=>ElqMK0U*}Gfa z$lfStKn{^8iur^q6Zv@i#J-^w%g3HA_XRscK2|>pnF)C>$h$M%2Z8p;k=W2R6Da^A z;dRJCT5E#&P=C3s21o3ne^X~?oU~To6@i@G@KtvC-G|Zb2@UF@5}#=O z2Ejp}_{bt+WG#AK`E<2gb7dX*GJW3%RptNw`AbLh*5?!#?jGug^DI?$%_@-rClu*K zpAm+Y`TJ8x*HZ(w%17_jp0yG#1bY^D^(rxI&C<@f((_;Pp&E?VC!eE0(U zQV$lzoTgt3eM}9lSv7cr{QOuiHGt)-8>e3uMoKM+=>c)A_ky8`! z<0Tz^Yo3Ow_@D5okt;!5u@B*I0O|2L66?7u6N*wZl>?Ge@#o zc0Q#?%=N2nrr=M~Ji*>^;^}v_kByOr>p~Chr>5I1#jWW}_Ia0Pteq_MKo}r9^I8Z| z-q9<*rI?X+$-`wcK_um~E>)YEvD)M7KU25PkylE&@#9A+YI%^2aMi!Xl3Vt-m5pZ~ zvc+h?t6zOe?Jn-%pYxrkw}I{4aj-PrBcdlY-U0gX^&PqEhyw&yQ z#n{?hTrH3GVcVNcm=IF&&`E&fa7p__zH{12<}dpF+Zm5q2UZE`bdCxN{;D@Vs!eWt zUN(MSrJ=&OU}AO#;rquq>5MRA=SWpO#IO|f=i=EIn1BFAUz5*+5s{%Q)swtpkDzn>Vv1C9v@1 zOkiu|`;H)kZd`lCn0i?|Q}>cewvN${!}@CUwcW3HntmfCvQW_nCvhg>At4Q}5`X6@ zCVb~Rgxb5%R}1LhA)~B>3O8dR@t6e$fQH@XW*gAtn9d~;j!rD z*g^>}~nwf@-7Vf$$zK1oE_Z@-- zEnvZ0gz)ckAQo8-e6XsLRW>^SKJzouRy`9ic<7EB?BzzWTzwY^+<;Aa8t#lJQiL*x zE1kriizG7m=WYL++tm%6+@4@gCUebUkn13j8TgVyhYyVKVL zD!(l2u{@4!u@DwdcDEOy(z;v}oDr)rEkS!%+@{+;uYl(*+;vy}2K{C!aG*#NeC}Un zy&sN=DI-m?EQk&HnLb_ac27fGFYvRaj~GIjN#X`}voY*m-(m;wxEmv>Cvqr&Hc|9a+l=9@VbT z&n3uR4Gw;pQZiIq)Tmk9pRZ9z>1sj7l_MLOAkO#sN-) z!EW|>a|!pk0EEXlB^5;QJP9;mL#S1p=$TPL7zHef*JK;4Kx(qSQ7(}8z{L`U6EcO! zU{yL4{Mt|PrRVU*NS|I>isQD0X}(+ILYnO*Q*C_xLYQwdfb@+_1KC?l6q(CJOd!1? zV0d=DJJxwz_hCDQ%+C$5q+=^7agT7e_^lbVdgC*-o;@-9qy*kL4=WF!8BoEMV=Xno z#s@eYarv=clYg)#x-g-W&=SkXE=qEupyEQgs%G&PIqZ#(Voj53MeFj5F%7G~=nTeJ zOMK6+uJ9E{=xjJ#2gJVr*oitW8|%Zy6Gp7mh&O+%8G5U+c&OJJsq45qU4@#`;$R#g zTZM>1fjV0a@oXN!4=Ou;jY5cg|2ll($P(a_YQ(s8d0WJ5Y`JHMVRqe%XZc}N#D8(> zo0B$0OtG*2B)OY%ANS$Jalt?-@7a4(oT=TfXcdWtDeSsRd#SkXGz|2^`i-{)mk&b@ zXN&28^UG4}`*I(X#_Kgt2nau2bUya%7oEKD@Bmu3g@J2JzwedT?BNl4PaOsaj~p1j zE}u4af-A{jaaC9W&*LzK335S$*YF@Ig8`j^WVM0gL!17!;(5NigdR}0)_0SIJ#7gu zs>Fv>r>|3-FdOijlqmFt+IMr@oSQ;(Npn7+{KQ}&z{RY4pj^LwT%D;QXXAn_*PkaB z>!KECp&nbpootWRoaLfjVTx0y2583hwNN0VcfC`_W}L;MZD#X1jBu^iQ2Qsl!PM~C zulhJ@o$l(1bUFyX9n@gwMJTV$4Oij>ot@p!6y=yPo7=`PcE84r z#0ti+nwi@QE}zb;M7k#M@b!?)KHEJBoSPl2Rk~e!>n|Byh<0OGB>V2`?*}C2rI@|u z+Zr068-E^C=%Esmi6&?lZjFxbT4rjM;cLM2-`z>_BX#;G@~bBvJ4cL#NoJcpRQpq+ zJ=fleSRFLaU)c%E4~$LrXWd=`YR)#KrqBXQ9**uPUW3Q~CrYcd`^->IyJ6h0He|Sf zFwdE_s=Q#hLGPNkbK##=F~HS&A{x3Le1dk$oXc%dlJKrV=@F)Wtp0vPnkTbd+Ats6 znBOwjv`>gkdMmjd>10NSar5 zSW_eq^eCKp@{C8R$@yI4uXIewGRa=jUW_kT=@-t5G!lF-^{nYq0=U(XEBU6O$d6K- zrV`*O9E!t&*%CDnp=K4hwsPI)vE@)vsuV^ljk>x;62=6PbfZH488|$=X~M;0bhc?z zN!1HqNfI&yCF}abmNsbrs59L@z9>T*4BP;z5_?Ww_oJ3#qwH zgFfTiO#1L>YrtquBPXeon;l$Tz+>-9&sbRn z{7Q^|>9fezr04qOl$yNAW{T5|W32-9duyKbsW3^2a=I%4X(bx-C48Ny+%Z`TDWzU+ z+_IG176xC-hsuk=c)L{nChQE#NE_+zVr;&sJ~eE{xl@1MG2Icpr-lwb2N4BDrJ)CI z--POUZ>pII_UXG9>yT>J8D(?h{|uPs_q2F)@APbVa}E=En0cEZ;uQv&jN>`1PEKu8r$Yj4LKRQ#YF>Gspb)Q-0DPmTI5E`W|q#GX< zF8oCgY_UHf^lVl0>o@1pc7(vHCy~_KFQSu-vIRLnSL(;3B$Lm_Y65v}8Ah!sYwvHr z*$8|%6yR&!uN1GE@brO~H7Q6}y;g84I7Kl8sCVUzc_J}nB2Smf1B1N1eb0_Fy9QQi zDs*N~%#*Ums5_k5>TM;_x*5Wyejf$CJPDLNE{#th9P65%@=!fFBd+ahlJ-;flSvbx z;LQsKYVY27E{kM2{aH%?c`IZQ-+YZ&9%Y#GT40!j%ItOL~Gp$Y|fDN{wf}@bony0| zZGPI2x-Vt8jHVA690@TG5ylVsao5im;w>ov5W{a=M?G#F|It76_nh@SmG^$y7rY;rKm!k(_m!yXZgJOe>srF;5OWDJzx@9POb zxucKhr3;gx$3*Kb5LbP!TXy#)>mr^aT|l1m@24*^M-&7awY4&!d%d1c26M{5p)#~~ z0cYC3AlbjVZdZ<*ftQy%#Ms8kbBYv-Pst2dj>?ksg#+TRdFU#oyZ6_VZutJ~`%8m_ zr|%H$L1ScdX45;LdXDWkFwyc49Smf^?tSf`@;&h8{$c^`c=~Xt4>~5tdc3Ud8v&2? zY@{eq#p-|6C2Bo5$FP_1{{5ek!|AO`CamQb5;)$+?NY5QGf!$*Z7z=E`S|!|UR~sD zY;hlNvdia&!uUsc!q zZbwh&nmk-(Lzqb6cF$2AeA`HjkZ{>aXuGBnSC8dMPtGHe)x{_Vyg8Sgg?LP}fXCMF=10fTfNsz&vq&NfU83b()OrkV+zEGnRHLq!J(hi?gUTcJ%#IPDYnl z6&l?T>7u9-7wnX@_%Kv%vBnbCGCsQyE4h=`vAGJ0o@#+n&pTRukeBtwQ#O8ng_9L+ zJt|1XxvYX>O)7_V(u+#sJSi?Gk6SDKG+x~Aa$iER&jj(K;bl1h688;GGImaui7YO? zM$gyqhCRBk$1uIip&7VQ+d_{gIQ*M4jzfZx#R>Ka7q1*|5o={L(n|~OVp=&(=#V(4 z2Gh(bZ~xc7h0RVHI1BF1+8}oM5hiBAqXE65;5f$M$*2n+$A1f${mhAr`LcXWV@Xr1 zgybCzolzSzaaY86*4XxR!9u5Hsn15d)6Kq1pD^WyV9^5yn(p<8Ceuj@*HTwZR83Ju zT3H+_sVbo)1%;|9Nh>O=sESL%6vd^)q!r=pvj4Be;=jXFTv|N+)qj2%o|y@48f=E4 zKPQt&y2?hQ&v=hCQ}3FDB6Ji#Tk33)Z(?H=4AfaGM;vQ>&#L3pOw?7_BQBD~CCP9z z$*$vo?AG0E-}ht>C1fwx*k<6`KuDe}1-H&7o9YkpkWVr$3B_DncfS}%P_u_-0cI_- zX(SVWYeEzv>a4T9b3@pHn=KB(+;8uksd+h!Hyu|wx2USQKMArYcTEb!Yj6l2yv#_k zF)I}vhHu@Xx2*Lste|S#Xb$I|7=%VVsp|nyN8BvEuT)^_Y24WN zu!WjZ@6m1QEmb~#no&T7s?TY_k5lmu7<-T7O f5O4LJ