From 1be3b7420c13a3d30fee7ec2ee8a4ce2899622d8 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Fri, 5 Sep 2025 11:32:34 -0400 Subject: [PATCH] Auto sync: 2025-09-05 11:32:34 (11 files changed) M .sessions/Journal.vim M .sessions/nvim_config.vim A Writing/ERLM/goals-and-outcomes/v3.tex M Writing/ERLM/main.fdb_latexmk M Writing/ERLM/main.fls M Writing/ERLM/main.log M Writing/ERLM/main.pdf M Writing/ERLM/main.synctex.gz --- .sessions/Journal.vim | 17 ++-- .sessions/nvim_config.vim | 8 +- Writing/ERLM/goals-and-outcomes/v3.tex | 84 ++++++++++++++++++ Writing/ERLM/main.fdb_latexmk | 10 +-- Writing/ERLM/main.fls | 10 +-- Writing/ERLM/main.log | 8 +- Writing/ERLM/main.pdf | Bin 30389 -> 31255 bytes Writing/ERLM/main.synctex.gz | Bin 16356 -> 19633 bytes Writing/ERLM/main.tex | 2 +- Writing/Journal/JRNL-20250904-135850.md | 69 ++++++++++++++ Zettelkasten/Fleeting Notes/Weekly/2025_36.md | 27 ++++++ 11 files changed, 207 insertions(+), 28 deletions(-) create mode 100644 Writing/ERLM/goals-and-outcomes/v3.tex create mode 100644 Writing/Journal/JRNL-20250904-135850.md create mode 100644 Zettelkasten/Fleeting Notes/Weekly/2025_36.md diff --git a/.sessions/Journal.vim b/.sessions/Journal.vim index d5343b719..f0cf63abf 100644 --- a/.sessions/Journal.vim +++ b/.sessions/Journal.vim @@ -3,7 +3,7 @@ let s:so_save = &g:so | let s:siso_save = &g:siso | setg so=0 siso=0 | setl so=- let v:this_session=expand(":p") silent only silent tabonly -cd ~/Documents/Dane\'s\ Vault +cd ~/Documents/Dane\'s\ Vault/Writing/Journal if expand('%') == '' && !&modified && line('$') <= 1 && getline(1) == '' let s:wipebuf = bufnr('%') endif @@ -13,14 +13,13 @@ if &shortmess =~ 'A' else set shortmess=aoO endif -badd +22 Journal/2025_07_30.md -badd +1 ~/Documents/Dane\'s\ Vault/Zettelkasten/Literature\ Notes/albertiAutomationLevelsNuclear2023.md -badd +16 ~/Documents/Dane\'s\ Vault/Zettelkasten/Literature\ Notes/agarwalSystematicClassificationNeuralnetworkbased1997.md +badd +1 ~/Documents/Dane\'s\ Vault/Journal/2025_07_30.md +badd +22 ~/Documents/Dane\'s\ Vault/Writing/Journal//JRNL-20250904-135850.md argglobal %argdel -edit ~/Documents/Dane\'s\ Vault/Zettelkasten/Literature\ Notes/albertiAutomationLevelsNuclear2023.md +edit ~/Documents/Dane\'s\ Vault/Writing/Journal//JRNL-20250904-135850.md argglobal -balt Journal/2025_07_30.md +balt ~/Documents/Dane\'s\ Vault/Journal/2025_07_30.md setlocal foldmethod=manual setlocal foldexpr=0 setlocal foldmarker={{{,}}} @@ -31,12 +30,12 @@ setlocal foldnestmax=20 setlocal foldenable silent! normal! zE let &fdl = &fdl -let s:l = 1 - ((0 * winheight(0) + 32) / 64) +let s:l = 22 - ((12 * winheight(0) + 30) / 60) if s:l < 1 | let s:l = 1 | endif keepjumps exe s:l normal! zt -keepjumps 1 -normal! 0 +keepjumps 22 +normal! 010| tabnext 1 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal' silent exe 'bwipe ' . s:wipebuf diff --git a/.sessions/nvim_config.vim b/.sessions/nvim_config.vim index dbf694aed..f65f9e7dd 100644 --- a/.sessions/nvim_config.vim +++ b/.sessions/nvim_config.vim @@ -15,7 +15,7 @@ else endif badd +12 ~/.config/nvim/lua/custom/plugins.lua badd +44 custom/configs/lspconfig.lua -badd +106 custom/journal.lua +badd +89 custom/journal.lua argglobal %argdel edit custom/journal.lua @@ -31,12 +31,12 @@ setlocal foldnestmax=20 setlocal foldenable silent! normal! zE let &fdl = &fdl -let s:l = 1 - ((0 * winheight(0) + 32) / 64) +let s:l = 89 - ((11 * winheight(0) + 23) / 47) if s:l < 1 | let s:l = 1 | endif keepjumps exe s:l normal! zt -keepjumps 1 -normal! 0 +keepjumps 89 +normal! 016| tabnext 1 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal' silent exe 'bwipe ' . s:wipebuf diff --git a/Writing/ERLM/goals-and-outcomes/v3.tex b/Writing/ERLM/goals-and-outcomes/v3.tex new file mode 100644 index 000000000..347a721c8 --- /dev/null +++ b/Writing/ERLM/goals-and-outcomes/v3.tex @@ -0,0 +1,84 @@ +\section{Goals and Outcomes} + +The goal of this research is to use formal methods to create high-assurance +hybrid control systems. Hybrid control systems have great potential for +autonomous control applications because they can switch between different +control laws based on discrete triggers in the system's operating range. This +approach allows autonomous controllers to use several tractable control laws +optimized for different regions in the state space, rather than relying on a +single controller across the entire operating range. However, the discrete +transitions between control laws in hybrid controllers present significant +challenges in proving stability and liveness properties for the complete system. +While tools from control theory can establish properties for individual control +modes, these guarantees do not generalize when mode switching is introduced. +Existing temporal logic synthesis tools like Strix can generate discrete +controllers from logical specifications, but they assume instantaneous mode +transitions. In hybrid systems, transitions occur along continuous trajectories +governed by differential equations, creating a verification gap that neither +purely discrete synthesis nor traditional control theory can address alone. + +This research takes a novel approach to hybrid controller synthesis and +verification by bridging this gap. We will leverage formal methods to create +controllers that are correct-by-construction, enabling guarantees about the +complete system's behavior. To demonstrate this approach, we will develop an +autonomous controller for nuclear power plant start-up procedures. Nuclear power +represents an excellent test case because the continuous reactor dynamics are +well-studied, while the discrete mode switching requirements are explicitly +defined in regulatory procedures and operating guidelines. Current nuclear +reactor control \textit{is} already a hybrid system---many control room +functions employ automated controllers for basic tasks, but the engagement and +selection of these controllers relies on human operators following procedural +decision-making. + +The capability to create high-assurance hybrid control systems has significant +potential to reduce labor costs in operating critical systems by removing human +operators from routine control loops. Nuclear power stands to benefit +substantially from increased controller autonomy, as operations and maintenance +represent the largest expense for current reactor designs. While emerging +technologies such as microreactors and small modular reactors will reduce +maintenance costs through factory-manufactured replacement components, they face +increased per-megawatt operating costs if required to maintain traditional +staffing levels. However, if increased autonomy can be safely introduced, these +economic challenges can be addressed while maintaining safety standards. + +If this research is successful, we will achieve the following outcomes: + +\begin{enumerate} + + \item + \textbf{Formalize mode switching requirements as logical specifications that + can be synthesized into discrete controller implementations.} The discrete + transitions between continuous controller modes are often explicitly defined + in operating procedures and regulatory requirements for critical systems. + These natural language requirements will be translated into temporal logic + specifications, which will then be synthesized into provably correct + discrete controllers for continuous mode switching. + + \item + \textbf{Categorize continuous controller modes by their strategic + relevance.} Different control modes serve distinct purposes: they may be + transitory (guiding the system toward a target state) or stabilizing + (maintaining the system within desired operating bounds). While the discrete + component handles mode switching decisions, this outcome will identify the + dynamic properties that continuous components must satisfy for each + controller mode. + + \item + \textbf{Verify that continuous controller modes satisfy dynamic + requirements using appropriate analysis methods.} For linear dynamics, we + will apply classical control theory to establish stability and performance + within each mode. For nonlinear systems, reachability analysis will verify + that transitory modes drive the system toward intended transitions while + maintaining safety constraints, and that stabilizing modes maintain the + system within designated operating regions. + + \item + \textbf{Prove that hybrid system implementations achieve strategic goals + across the complete operating range.} By synthesizing discrete controller + transitions from logical specifications using correct-by-construction + methods and verifying that continuous components perform appropriately + between discrete transitions, we can establish confidence that the hybrid + system is defect-free and suitable for deployment as a critical autonomous + controller. + +\end{enumerate} diff --git a/Writing/ERLM/main.fdb_latexmk b/Writing/ERLM/main.fdb_latexmk index c9e6964ee..887f1e9cc 100644 --- a/Writing/ERLM/main.fdb_latexmk +++ b/Writing/ERLM/main.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["bibtex main"] 0 "main.aux" "main.bbl" "main" 1756913150.42547 0 +["bibtex main"] 0 "main.aux" "main.bbl" "main" 1756914815.67803 0 "/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 "" "main.aux" 0 -1 0 "pdflatex" "references.bib" 0 -1 0 "" @@ -7,7 +7,7 @@ "main.bbl" "main.blg" (rewritten before read) -["pdflatex"] 1756913149.4861 "main.tex" "main.pdf" "main" 1756913150.42571 0 +["pdflatex"] 1756914814.87506 "main.tex" "main.pdf" "main" 1756914815.67825 0 "/etc/texmf/web2c/texmf.cnf" 1722610814.59577 475 c0e671620eb5563b2130f56340a5fde8 "" "/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab "" "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" @@ -214,10 +214,10 @@ "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1722610820.43889 128028 f533b797fba58d231669ea19e894e23e "" "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726005817 6800784 2b63e5a224c5ad740802d8f9921962c1 "" "dane_proposal_format.cls" 1756902979.42453 2551 deee3ebc77bdfb5d08546fb19b3bdd53 "" - "goals-and-outcomes/v2.tex" 1756913147.34838 3929 81698d2601ffbfc97dd16c2553a8806b "" - "main.aux" 1756913150.28919 213 c6307743402c02a0530961857d9d1a69 "pdflatex" + "goals-and-outcomes/v3.tex" 1756914813.48011 5009 e6fec2f2a28458203dc7d8364359d335 "" + "main.aux" 1756914815.55804 213 c6307743402c02a0530961857d9d1a69 "pdflatex" "main.bbl" 0 -1 0 "bibtex main" - "main.tex" 1756910438.79598 141 c588c1bc2f6a6f85c912c3842ff6c482 "" + "main.tex" 1756914785.75852 141 3cd602a79ef89e3739fb95feacd0ad80 "" (generated) "main.aux" "main.log" diff --git a/Writing/ERLM/main.fls b/Writing/ERLM/main.fls index 0746a54b0..acda58820 100644 --- a/Writing/ERLM/main.fls +++ b/Writing/ERLM/main.fls @@ -382,11 +382,11 @@ INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/helvetic/phvr7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvr8r.tfm INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/helvetic/phvr7t.vf INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvr8r.tfm -INPUT ./goals-and-outcomes/v2.tex -INPUT ./goals-and-outcomes/v2.tex -INPUT ./goals-and-outcomes/v2.tex -INPUT ./goals-and-outcomes/v2.tex -INPUT goals-and-outcomes/v2.tex +INPUT ./goals-and-outcomes/v3.tex +INPUT ./goals-and-outcomes/v3.tex +INPUT ./goals-and-outcomes/v3.tex +INPUT ./goals-and-outcomes/v3.tex +INPUT goals-and-outcomes/v3.tex INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvb7t.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvb7t.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/helvetic/phvro7t.tfm diff --git a/Writing/ERLM/main.log b/Writing/ERLM/main.log index 23d5e696b..c28f949ec 100644 --- a/Writing/ERLM/main.log +++ b/Writing/ERLM/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.10) 3 SEP 2025 11:25 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.10) 3 SEP 2025 11:53 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -829,9 +829,9 @@ LaTeX Font Info: Trying to load font information for U+msb on input line 5. File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./goals-and-outcomes/v2.tex +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./goals-and-outcomes/v3.tex LaTeX Font Info: Font shape `OT1/phv/m/it' in size <12> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 23. +(Font) Font shape `OT1/phv/m/sl' tried instead on input line 28. [1]) No file main.bbl. [2] (./main.aux) @@ -849,7 +849,7 @@ Here is how much of TeX's memory you used: 14 hyphenation exceptions out of 8191 110i,6n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on main.pdf (3 pages, 30389 bytes). +Output written on main.pdf (3 pages, 31255 bytes). PDF statistics: 57 PDF objects out of 1000 (max. 8388607) 29 compressed objects within 1 object stream diff --git a/Writing/ERLM/main.pdf b/Writing/ERLM/main.pdf index 99477d251fc93e9d8fa3a11532c1c99dafcd1169..84cb66680ac2e752e3885d31622bb37652f7b575 100644 GIT binary patch delta 14684 zcmai)LvSt(fNW#iwr$(CZ6`N&^2N4o+qP|6H@1@-%>U}utY>!?z3;9%-FgF@{tVpk z3kkx>oD2*_1CVY$ZbR<-r+JRiSCu&AH_05=j+Z2AkcyaxM}!h@5=Mds^8Eg>-p%QV zYN=AGlG?z56Kl}t5LW(*mgoOYvGe`=@{%nG$X73?>Ls%#$T!$m5cj1SI!Y=Vy=dkB zMiFED_5c3YbND>X4KvL2K3K8WmvdYMx3b`PoS$4h3((iy0a8m=MbodMBdt2Tz*A4J zk;yo}k{`}1fzv4%rhf|i6+dvu{hO$)TRZkS#xHmY_p7M!6xNZe9El;O|a}?D8 zJ1zVW*5_>D0<#%G+_CX0u89%;<=F%Z!ig=SHL1UYXCTcpzS9}wVqCw<6vh%-9SWtB z#R~Wx5v0!VQO}Oy_TbaxbrZ*adH>Sx^A;s)jX*4)8FqWS^*BKojS!`sWqgefd@6Rh z0DM~$h(`wBQdnw_j|IpHs>vUH0DbeJB@W6I-Z|3>r}}Abh^Yg= z5w}}leAp{)OgqaUv??fyU)tj*MYzdlmYzP4^rusqYTXbf6u7QntdbZOnRPd8Oh|1T zcbs|TSk!5CiZX*Oo}V+_9OntHCOF?X2gDk!x!)}K!3|^0D1=?&RvgNLfmpws2Eer~ z#RAMLf#^L)Y}Y+*zt3T=GpqT|dDCVJq%WC3LX<|%*x>Xe%hhZZb-eg1l_>Ax^T;*5 zenTJYs}9a|*QYyJ%P_b86nC-?ikrzHSyP@^MKDpLv$gOOHs0A6H=hIyk(O150<85G z;pN|K*X2%_s%>uKh7KHX?8T>(nMA`jK*NN2sTZNj`47kLcZ_oAKt3X+qwyby<~fxT zL4O|jTC$w~N`D+SMGa%ixlI_cu67mPD?{vmuW2uOXFzBR#=McXG;-Q&!fw6+-yKMQ zP!5RiQljPJ{W9KZ1CF&Z_~aI10dtZ+(v7MN91PxfzeWN3IJzV0mz}1B75%ML9NQUC z1V886l;g7NgOEoUVkg~rYw!iTpkHkN46#TO2`Z=N@;1d!gzhP0h`fI6vZV8BgE^Zt zFcd?q>MO6TPw=Za(KMY~U^__PYk)oEW=P;*Lx0b=u({=R_jZ~dqLM{=04xEtf{*+p z$ZT=3hL&Uj6i@rsv};Tzp2Jz7v}nJx<;0}ZF85~D1bZCNPC~W|x$l0@D5#%4^W)b- zlklFayhZ>bLXZe0v&96a$d@8LZg9OuCm1f-uE>TaYYBJF4dBM;7e%F#RCdJ#Y)H!qIm*N*T_V=F zo0xu-+QBrOGxlSsEWl5bMt)!ndN|uE6@uD6S?Kx6H@`loLS7FGAg;2ScpiBiuh7vh zQfXs5Pz0;f26!u%*e*Z?wA9-#(rDp6OJaZ4aiR^Kp5il9QK{iC`zdHx$;L5KR+46b zMzeS59-kwU3q@hWSh{$lGTk-fAUw~t)g?hnHY5S<`*FB;2y%G45(@V`Dh@vx%>Z8r zKGOrYPh|B0;SZ1wppl;_OcSSd0CQS)Lhmr&;X}7J&|`?1>7>Q2r&1%QhFo?}7}jBF zz}91Y33D8Wrx;Px<1R$*P1Qg2)%iJi1cR3V-}sr4P2@BUj*VOEs_DUGa%Z zNvdJ7cfoECtNAEk{s9wWQ%!Kp$qAA_DDsV-a|Ih-7%s$nS?ON`oPK~rLT%*pJsA_l zTA@p-VG_w6V34`Nh>tVQJr527gEts~tSX|R;UeXmEqsH_fEY8!>=%_p33A=ra&Q<- z5SOjy)@_!6uv_aWAr_3!BL~k4Bg7D*>wq-|Y;4>0joDclmUW7zFH+Hz+=s?;HY<@V zh8<{uj>)61TCw5YwoqM`O$jmILFt!U1}!`kUGJ#|0A$=bcJ@~Vr|_=~PB$2Id_mR3 z2a&Tk+XPdk6n7Nnc`K5MDR1z~P1J<_iGe*`CySPtG{%=8dH%sbi2XPcW_X&2LLz-Y z>|9rUG8uzMHE2E=6Iag-|Jjp>ZQLtv-(a8FLWEe-*SunA3KY%C89H*q}ik+eiN z3QIbbBjO>2)ed@zcmQMv4W_y5%ApqmUP@Rzy(G5G_{6`gZs1`_1^Zklu9b?P70M03>^6{@Q+{G7+GGdH+2)tRRS;S&|ZeQg5V=Tg;kqjp6i zz=CF;MN9Hgyu{7MZ8aNBR`%OK35BEg>-7E5 z%Q>kmQC8X1v_BywQuh5~w%jY1sZnMQ07HF=X~xO!_{i}>7=k&tv_g?e83vqEJHlU{ zU?CIS-P{Z$bR;NLTW+tfWKir5|*@F z2M*&=p;=>SlF9>DO}^Czmfa<#3cWH4SgBn8u`NN`7&kfktI|J~=M%k#y@7o>fK7^3 zkic62IzEN^1XVtOd&utqgTWflCy_}B$lLbv!?^Y3y4}C?JgRCgbFgYC=_aY9CZ&sD z{R%qL@|}H>Ir0cQ#quviiYl^#`%OOq8dMI#_gK*KvK*gx7Jk7e+kQVco$djJtNR8> zcpG6VOThz80x|{UUkto((1b@}K-tda@j;^iFN38m4Xit;c_*LZJQVi0ma>(*ZXjKB zCkS+MMLDE+UkA)$c0y`>9GNcu=`bSENKxw#t7MY5K~m{g>>A@}kjErb=k35W4qI-g zPU^Mn{Ui?d#I?@2W8jKIvTHV?fxCbh-;l(~!|$1U~*$i#7Pbf z04r3vur~>FCBYX!3gXwhNHXw|ZHa}a>z=AtMfK+UWB=q939qGLH)}Fjd1#lh(2^xT z#Or`(Td|;z+Evl8CPhmyR#Xpxr(EX*mZU1M89b*RQR6#3b!l{Dnh}~oDm$b{e}SXB zZj8Mt>84cQc!<-Pbi_jHFl;-4S=HZjDJWFequF0gxuXjfp^ zt`PMIB_v5-{)c}_;^T;^s|1;Ap`$Cs-0QjZr+fX+50L-kd3G{CDg_ub6C2Bavzi*9 z!5e?ffpq((Sy2)&QAjlz{~Dkdphg{2GEsUU(;_ZJf}hwI`gFxQj6HRw4=II{o%8lo zZ05vZ_V5&a^2<1$PT21*ue_cux?XwYNn@k^XQhqS-MK%}UK20;2=U>v-T`XgO!LoF zmG$e<+oD2QjhY9N)5)-rXn)2;``$bN^DZXZaaV@L$2W8H6#X{Iq7J2?6=i! zCVl1}#FakPmBLp5417mpV8;(m_2c|8V}h`Hdv@EdO2PrM9LEbnjXY{z+Yka$ApdSe zp2+C1ql6?V!UU^c zQtOgc`fZBWI&?=5 zquM$Er!Y4!X;vs!(}ct6SyT$};g7Se-@aLCKlgN{W7)u_ZTT$1(eZR;=H~MdCf%%> zg@+cBQHG2BPdePlhyNipD;1@(X+Jz|AgAyT)S(0_GXHlr(hIEx&n6Q|C8|_oax7it z?trRw+P?-@leId|kwE=Gbz*xQ;*vedG8^K`R-g%&J!5zyPmglZ25%x6yI;RDcu#WdgQVwwyVvZ$JPs z2gfP%2yuM=I#M7qRnJt^=?Pl?FadSU<(4aNFp8gdBPs9}x|^wN zqV9E})dgby7li2M7dXMtTKVCOSE6hGwB#)pE78|S|5_-A9r9rFgN2-Fp%av-zz5E+ z#oD=RA;*fv|% zeLR_tTN#!O8Xx#CD&=4GI!8Dpk)*>HmxmM|y}!k?5hLPv##iP51SgZ;0sR+6>7~nV z*7FM4ujlo5Q-**Bw1xvZA~nNOt0a7q$$1H^aSWfY-qxyx|JOp7PaNu9K1{1BB4g1O zd;URm3DP<6$s{p=jhmQm!BCzIjU#Sl-%l3kpDFs&X{*Qe7*b1d@CT-y4`T0SLLOfY zoi7PdOOjU^Asn94i3c?I`gv}CCpjV^dhS;Q7>oes)0PgpIxJ}i|H_FNKh(FY z?+2t4)Er@RC)x!u9v2fcCk&&Uxr3#v6)O?b{~{3=Cl^PuF&GuV&D~rrXR?bOV~3o} znoei|;r2FG*Ad66ATf-M0lF^m0Ewu>#}Nu+XBQuZ4rzy8&*C(XbwAUke^qd=syBZt zex|=>QAy3{z+|II}wx;a0A4%gZ40LpM< zd(qO;-u#gW2nq@Ua+wD(17Sz7uHZm;ezZ6SZ}9SbCtd)gMF>EG2lAuZzDPB8Vd!k3 z-9C!-ftq8Zqmz*+%ahTu9z&eCbe#r>7;@+oL#Kx5O7Zc3kQ~RpOf6WHxJHgDsTJn{ zbF&Di=Lkt$vId9$TqL&o^UOZBB9(L%LZJq0}zkUo~Iu`JfK=|5UINVmBt8@YX#J3Vsvm69L(|i;osZT`-KQSzVT}wAiO#V zp9o07URxjB9)1n*`g2D`O+8L2?M@_!81UT+bO%UQ%|iqC>in&&KnVN!Bd!M^)Cke$ z1_Aq}`LZ_orP+fA@$h#h4){!QA zcit$${|k_o(#;GlqQEpmSatG!Ai}kOao$7PAHswS#-7c?dh`6N??r#E6oMK7H3{rw zy0Rk1Gtc1J98>D)qctX)O=b#~^8292 zS;;cKV2_qaLbZzEN&8mT!@IlhR~4!(rJSajR@}@rK?(H3bE&B|0P2ZDc=#760K?|E zNLewZD+Yp2!zE?`>c3Y}6+Nj7b{1{AFyZSSJYodPrJox)D*YLT74{|HFSYX3O=7r5 zoNZqbbY;1$bH+9MSD^J}jmncprj?ovPLmU3UtYopL$Dan(@4D4EM#H7Z5orM z;|0TObEUf&Yy8ZdtRCO7G6V0;8-B@$}_Vrm39o3L?RBnCx150I2XVX1{b} zztV@$@ut}yft*8_oy9J08+4<``aZbZkq~_x73L0i^j{Uxmb@6tGmlWMa>jf=K&1hQsjC*JMgd{z`C#=uqTi8vCD|0FLx^F=Y|313)Qn(c z6+$)16^r^Pe@$!WnjUvVC{JUpk%#TaFd2-YwqcQ`M}hKo%Kc_^e-9ZbeCFDbd{JEt zIe0nJI7edEhj#Rl#LNxqtBc0Lk-yjz8`HyhJzQ!@!z@faJr3X=@bL5Rw! z<6F!0(d(<&7fj@E~qhM?? z6hBt6!|3y(#^Imqg0!<$!SsVjRscb?=&69{|x8S!({z6EHOQlwkD&l)ST>FQJl zgev0zrs|QajN{deE~Sh@k1yqRIp)njx4@^InX8D@%|OeB`{IYA>GPB8g5%_&y}3qU zeUuI-lz9;dTbFx7m#XT+px#K3cD8-PFA+ZpuA&mGSs7`h8uED8J&&X7A=HS~@Wj%k zVaQmKuH6_BL2lxSS!3x(uQMTT1k$f+59xV;0NpG%k>e|m*MNA?WcB4iDdEb63fV|+ z%#Ty}`rL^Yw(VxpLt!be2QknkG7 zQPi<7rqg{@vU-8}b{!>%G9jq%EAd<%24?Ut=TOlN2`teTpjc#@KMP4urMddG@s4BWvh<}*L(8u;er|{Wzzw$#q6(S zu2iy-+wDA|=~N~?_ex!nZeK+9qKH?nqjgcl#0|$;HOhT}y(o+JcOkD8rJ!Lw9MCA8 z-aF?{JX@<_7uY*UsR}jp#pA0HQZ8ABs$tr!k(-fEA=@z-obaK#!Sv>2PUY2G0&WHgpQuhZUZ)U-0i}9^iAtzXJhY6fc*WypwC0f~Q;A!x8 zV^ASIQtDIEVWj?^X05U@B_M>Pp#8e5PO38gi(3(kngaG@{)x^ru8FFCQ>qL>eiV$0 zzlv;d4ZFA$T_|-0^$#tS8}hs3&&r=qtbO7I35V-T=^OOT_d-Z`+aNOl?M4k6Ncgrv zQ|3e{BxL1XDpvFva5;Y54WrhnE^1v{89w+f2_n%?8@1O{l_A5}g7^3)>7>pdXVWk& z%65PLexLbeWwK~{DyQYbfMkdFP-;rNUO4^-pgI@cg>3dH4zKcUheA}PFPrPQ{HjU* zCn&ZTqoMrn!?$mBFx3h`Kbr@l#e)c#L^HUFwf?@)jvRAuRPU4%lV=14d_3Q)*SD#C za@XPOu+Hi-0O21O`VN9ya`VLa$=STn_DAD+)xHrG1CmJ+&1)j>MWUDzT~vSEjV1x1 z1aX4L1niLCeg=q&-1Brq=D1TdF4k+YZM7*qQT2|9No~;6F60wn`}T|SepLHvO}~|KqR*GRjEFc=$O-%aA&X4#|k#ptd8@Jhm4f-diZ*qka{iv{@bo3 z*WW0G)aP>_?D6p*iRKHP+KalDfh7YZ0l9AWV@wZrcM{9&W}Qp-^^9{XXEzVM8#wZ1 zzV`ksnAsb#IQw5fl_f>Bw3!8aW{0Ko$jG007s5l{_7SG!v>VC6&`CRQ1h~O7l1}!j@V{x20 zcb-Sp76g8+_AMuvhsb&nJw&f$(F@uaKxa;OcEmT$RWvD}A(arGJFiSIPi#?R-^AEz z)FXIKuE%0-wnJzv-B>E8S}+IOJltcU>m{$faVG4H*IX_F>AW1{#O|ciaMN9gp5I}i z6B<`Ey$Ua&mbZE{wPln|l$P4w2;H2_-<#8;Dw!}n7Z&$<mc}HUK+?bL+ zWOUstINN~6pLH&w)gGA2#~Iy4_JK0Ire%NH7c`lRTKXKg`_eb>few|zfO{T{BkcA* zVHm^Q5yb4Bg8EV4qmh!!jG&a|Jdr}Ejuf?HzV|QS7(x;2LPK+8l--s;2nP}>XbKTw zNaYk?&+e?>9R8?1SIKVu8k^&ql?Ix{fXG~H^*}~96Q<59veJOBp>{lC?h1C!^&p1& zmWI=hH>29d^QUP+3(er4M6j&6PF!UqV{b#dhMJ0okEqKho{!V|@IXc3a50V-(@*Y{ z9lAImN2Eleue~xaAn`mxI9WP;>t|&q~pE0di;}HS+I{L zJvvE0?ipHV*B4l;KhVM7jG-te@`g-;&uL`zJCLo&zzZs5YUu)W8Vh!GsRI+7Yiy=O zd&qxM0y+_U&1!7Xn88mmM^P1fn0I9s;jI@Sh&VlM&CG<9csrOkG(EVihii+=?0jtT z{!P$RaU(&*Um!|5+&#Qqq25^f?=vy7?lY*O0$w!}Ar$ke07UPTY-|3?D~7u?d`l$B6sAXVBEsa(20pSw`7--}GQp(!$&Fs0L{XRLV{gsrFm zEyvmex9^br(`uFpqOq^p<}nY5nEnJn8{oZPek9Um}G}aR9m-SL`~jx}#bx zGt@)?Qo@T?-%b!}rHUkc2JYw6j0?=~Q(|lkMoz-|dG$W?)FsoX0}ZM-s=@%5w&fjNYdCy7~4QDpGaKyTi6k=K(n>nX>Y z5J)F+*QlPW#o`Fw4xj@}{WJjl!@_9)Sb7j@gP>7SJVob9U6AW?#=oxwz66>TY9}!k zYW!rLc#`SNre1icTRbdX1=YFASp|o$I+N#XchF7~a! zLG#38`Bw6S%rerztiamKi}RV|jIu=TTOX1+2{(=$ZV*A?L)cqxs#{30uT=AKDny^T zuc&>b{%f*!D`~vt(6s@${o{eed=07*RAOH#quYI{nFt4*f~A^`0SF{7t3v*qE5p8K zL5uKusDAK9lfL{RzYE$&p-rD9Lisyk$Dhq@+vcu6rY{-8W5sIK6&Nb-zi_#|Yc{)ei-;g8= z&cT~_ZGmfzqqS$*?FbuUO;?sNk`_TezsR+PeR3{|7~-U9_Je3rt{n?6-m+$vbH7-DOhg`(RL;7plnfCYG$Tou~HBJ zV$!{$$!E?7Mv@1>=P}A`hj(l>!1d}|PAElcekRkXInzRo5J185tQ(=H=-x8})9>nT zPG9Lkzalq%2DVNVnV7_}CJ3PkJje9R!i7v-HL$LI3z#!M9e))&3s|kxtnEfNE!683 z4tz*N~%I8h!_bf}hXk*p1Q!l|v zcfH)!1mzqLhoshhskL75%l56 zA8WFP0%>!rYBXrqWhqz**Xp!oeX$v=$auY~cWKM<#>b?X%a=ONpQ?%dW`&wF|eB z->jqD1?4V(({hG96M&p>HI1|9I@MTHb`>~yE1L^(Lu0t%prR6sEM4fu6iEopQTHZW zQ3!QqSSRW@1)=^&+f;$hw&0o|kse&p0XY$Ed!W^??qzBpEvJi+Wxp|h13k%iaq1#~ z2aFBCqufO?^JqovM~_vJiWk!VdMMAlbm0 z_XJ?m{AR%!OhNg@W-ON_8E<*P6EIItvqA8QbGR|bK!(ll5vu)R{j z3ykc9=OzSrgi_Y;TP_qR5d{oMTS6q_-`xYG&TYZQqfD8ETYeU*0;&k(72}7I^-3UhJ78z0IFn^&iR#;sBUi5@_gzKyJ^|l@ic01p?>*xVk zaNdZ7xt*~+u^s-z#^cRHs#iKb_EPY}E7_fW)Y@%jes9<_KP5vrMNvxpiy9jJ)lk~A zq#IwA?-}hDDLqg>Fmqljm*1XrjWI>&Cit5{|0k|J9zm=fHqM`zGBA;#uch6=Gd9-~ zULIsT(HpKiQ=Qq1khC#U(xv@uTYm$flEfW4t(*VmlK`IXvxjzG>;YZ9JbZer6`D23 z;lG;6c1w%kal0I}9`34aj8OIYoPXa|nY$jeYd6OfZYH(m-#@&WxKcKy@f0EPZ`M$* ziL;$-EIW1exzf*H{Z+Z%LGl<4T+7-xGFz>;c~MoUEBIMQOFlh;3qo#ee-8i``S`t#4q=uO2OI2z!obQR5}z@ z9L6H;s2~iqOeVc-9=l>>p?amFOO=D(WqzUMM?{Xt(fCg0Zk%#BnD-bUPECCEs7T1E z@V=7Nhai^P8F0L3&n5rfXO@iFRsyM<_XBrwBtc%0L(&w5;z3;t=}?VZM{+!3R|?OH zfw(K0aV3C&!zz%^f}ZOsU3+=a9KsG3Jijp#5ic(mvlKc5_FaY>ULBqG{`Q5U#!fUsX6Vgpb=}JR4O$Rble(x8oOO%7N@I&x;S= zmA_mRqW=>(NCuJhJR?b9#91sGE3%=)dd&uO#khbBCq)5`a2>`L1Y!Vkhy31q z?n|_a**7@70O2&pdbV5sT76Nr@7(c8gh z)--d^A>Nn%p+o8$D_TpYmnr=%$w#5*8EupOjiWA@oA0rbK%d|z= zm}fQbDgQ#_z-0>(p_o<~vLllvtLd@mD&F@#aCzm~Ps+1mSCgdqlv!PS9fuwQgox z5OQN_zbw*-%a#DzPNJyJgOBLu4N?DY(owws1Dql(L#$lNwuRjaHavH zArG6mvYS=yuu6pwQ61IUVAgQLhKLq2Zf4E{CHyOL;to|4nf)26Y>fG8ADvI3K4z5% z|CVWVe@8033$<_^*4>^<4javmmwIoNEf>`LSKgX1W_+tw)K?Cn{r_0#9We)M??KtP z9C;4DfwR8OivGPH3Z7t^z=ZkA#~cNis=%lEl|#GEqo>%wE60NxgZ2?zeZ=I zE5C5^f%MTNsS<`gfXbmx7A*%e-DWhqT-s8Op*V+t36M3`e%VMOhVkx7*)~Y&syQ0` zY(V4uN%DvtXvT>dG&b_u85dkEBsYBr8N;gjK5wgedGzrm{D~fi$2G%P)}sKZ&le=W z6*c|?@7P2PDGTVt5lX__e)b z14B~3@jJXgPoGIz{1FJYd&5QSt>(B2s6d4$sf{0NaXIvw)_aG^j0)AoKEG#+i@hcG7}NCDXJLn9tbTBlm4A0;-Oqid2sITx~#B} zp8MwOg(5t=*FOyaIfOK;g#_cIGku5Kat^fK;b*2kIt}ga(Q3)Gd79fCv&_#|LA43@ zHl%7^uHLvrT?|2&;+qBp9jG0zgX*c`&zWj@YQpNW&nH>$L-{|c7Bb^eMo@d|%Jt-`nuamC2(Mb(}Z}gkn znK_gAML?ZA5ZQUqt*(w(j2XY498VfVpoX{`Y1=2viRhUJ3Nr%0vxH4U^a^i_7Z`|E zckL^JGS`uzd(XMXdC^NeZmoyz$n-_?{lRbx+EZC$$>D}e{ILjCxkJS0eng8JJqQmS z`P9a=cx0`ycZEAgOZWIu$b-!-#!x}1XVV>j_$1b-2S1(~{};mr%6aKiR$ye#85nIm z<+P^2mmBfqyAuF#ju$Mi1|DBGDAsA$SF%IeiK35sv)B?kaYAX}C`GQ3eVQ>gP^iEw zngm9#EV+aqXv?7Yr`HxA;HN^s#hv4kH~Q-4GyG~n)PuxsZhOion7{h>*yHUJak zB8;ei#ARaQ202mnM)oJ~NAY)2?$cinMn&Y&=7<0R=N(Fs7PS_aVQ^8k1N23GaKUqL zM))av#>oP-G$RdjbeXcP%YR>X21L?@m@h5Ydz0Bbly<@(7R6`%E{f*M`9tSk>4$C* zn2+~XFux2wn;%L@rMb`%r>-Kjp!rXNfjyD+MpPfM`X;68welkqUKtxXz4*?FSd)4` zLb&NGI_i@70LBRq7Cq67D=N%v>1H^qPyD7PT>XHx=G}F5>k`%+6=;1`a>0o{(#4Sz zBPp-RR1Anjz1ZT{$s=Yhr-RIHeNgz%Mzpt`=c!%ob%zbov~X$owdc`efbKM|p@TWk zEEEiCYs%)bi)vNq8p=t@fn27tk0b@tsT1)@mzkTPtk7Ny!A_uIybd&9!;2*^f3X}# z!6rZi?o+r>x{>sTN`E-WSr|!jxcvC0EWh~k!vDHm4pbW8fy6JJK-?ifx3YX+Uimla zI}xiWM3((%=z_VQR4ucNt?w0maCJAu99bq@pvvQ{47lYnB@PsodTXTe>n8o&&{Ufy zz^*@f$;wWy~6|u3-|x~tRxfuK>$ofl2l?6K`Bu>>DI_MlgWnRd=zZ7)Xt{q zNh>V>eC{fz(Qh{<&x{&$4HQb@Paf|+;VGsR4Td7M+zWL)pHUx_r3pkJ@o6rK2b7D# zuaJkH1!4v~yMZl%{|$xdfl7h%m9$Z!c^0Bk;wgZAfn<;``XM6mDqv_q$TrEr-h-xVf(btAB>;m3VI&fOC55nr2rY9_6W>o# z)e=LcI3gh6^KcOmuXul#e(&tjd!7!e`e1-5*kNj1l~Sc ztvMQ z3RVy#K!>Nk1UHQ_&P7kd!1K-Y2SBjX@X`N+AlG;T9++bX;rGHNTloh|NP zFXW`c2YAHt(6G$~{Gem*_?Sle%Jt^~&@t%)S_p8wu?Dn;Aji6pV+`Xl^i@C8lajZv ziav{`gKeq<+QScY1X$rgoOawppEdcAw_+$xg0 zu$6J{*^_!wzM7?8wCc8COd8qbacj6=YN!JZwk{hq!0F|vl-qx|iFG_A3@6Qa$XjmWx2*9_rKu74D@22bk6vTZU?lKQyfbYs#2y>@Y3*)!M#~$^Sr>47Ue) z>3P#m_}U0K^8uW;k}~Q|nLTYj4v-f$Zn`@-Zm}-0Zv1h!W97Hi(WB+e^IO{^ z<1CXij+L1$IFnoYnP`hcGL#jd;Xtex--S@OxdcK(q8LN)m=r=fL8D{ly>7GJ;1?yL_23S-B!^qb`~B} zwAv)}&Sr%qsl-EovkiNTdGc8v z6xp>jr_oE2P%Kq=A5B+|=%lF3=)*~@G{o>GJ>!I*PaYJWukKiJ$v+zW7`P7CI@;NH zm=F|%ACBx2a=;bV7`^G2%&b6uFATR>+AaWe@C|vW(0T?BP zViSS?5FRX@QbZzyQL>T}rYdX1_Grga!kef63g2D>z1KTDnY$+)X z-fDz}%>)~#6F5tWGvUDuHB)ng#5L|=gyb1w|A@NK6%d&2DK9lz3SKQ6-|__n zdTgKvNBi|TiBBx8C>?!rKW%2E0`lzfWs0umFA^u$U!%jV+bs0C%vOAsoT^@sKD>iP zCuqs~ewPXKW%Fnk8G6r6=iA}`+qP<89!R`BA~qpMg){{3VQdoLZK)T6+bPvx^;x#- zwttPB3NX;JYAo633?U^{;2~HPl1!n9LL7vbnbpd9P#aXF(lMe}j`0lbB~QI5?NJE@ zdXEw{p|>D{qPDa0QN}pl2wW(Sb(fD{Dc#kuZ?!O!(|FAw#}2`0M(WnKOmocHOM6WV zZ8_6*GQO^~b^+0eg5oh&v+Q(F!XzI?9GUC(1gv4?{HaSe;HG;g%yu_}=lz9ThGA$n zTpsD8x4Juo+OaqrvuiN1Y*|&H$8f(Kze$;Ice(P{Zc~p|*A1=CUW4gv&=7E_)oD+g zKL;mVD)(J*zds8xyeQcve{N|?ZStTsc0o%X-5jW7W1Bk%fRJH9Cc>CIn7Oz*n;YB1 zBqO^Si*gFHa4~apv$L^taI$f-Nr;PcN=S%tGmEi`u}Uy;um}+G{a=yfRyQudoGb#c zG8))I)z9Zkc$w~UBNS^jQ(A^BS*{Toh7she5r5ji#0ZF7UKa$VdOO7(aO4wGX_B;p znNmG-`Qpab^Hb|k$pZ_#StEpo<0dTD8hE6>2hL8RQlg^gL zwBF~E=~tUQ4Xd=-z>$$IxhOWV^x)-hJF}+dG<3V|bW%5E$8W&R`fb=a7N6lgD2Fu; XLUOD-9vmwZ7aI!cE~9#s delta 13818 zcmai)LvSt(lx<_%c5ZCjys>TDPQKW-ZQHhO+t!WK|EpI$?%5uk@!7jpt+Z$0mK)&u zUq}!Z&Lm(cYQWTLQ9JVPKV=V0AGvFXvFXOM)G0103_#+D39@8ut0 zc0k@UOa)m=v65~t_27;x=B?is62GrNukYIsqGm_bqH*Hs!|hEY&7m$b#uzJ|oBhje z8PVqN=gpkoz-^fbTBzZDkz&mb;o%`#dGG1yUTFh!4xqIisQphDC3mW(xX#cHF?F0~ z2IEp&Rw&y9RXYfwT?VXQltDLJDpgRc7W_(#cPux~kDS_5;1oYJD2pHkEcaN=($UPa z{NGBUDn<5QwzVxGO&<79%3vOq!JE)+0&@dQQz7Lk;ib4B%LgNuB(&kAC)w+v*v=;J zbl+{lMF1_#PrFWzXoWs}&hT7WLe}P(;r$hXTy2Ka$kIMjhc`#j?U?w45kM8sy3@Og z2TRS^*sI`$S5da;Le~6Gm+R@fV0~BP7yg0N{*xetX+8wqka=FxC9YA5x)8j<<2{$IJW{UM2{nRv{{wv<4 zx|+;anE7eqi?p?$4)&p;Q5hmK+$&_L(iXm#B!`dY%oSFX|LFi8j)5pd6vPMhU!_lZ zDr9q`?5Bn<$fjSELC7`SLcFW0zrIHoDUc+;v}ikDV~i4xPVM| za6l&_<}cqfY&I-Rr4@mTaCS9j)5Y14E&n)eb~}`0u^gJ9;~lU_`Fgc!S%~UB&hLIV zRs3liIuA|K{t@e8!jgkohe|EUo9X3k>U-YH8@8s!&eJ+3tyiiu9IB#=V>V=DSKY0l znRwc0hx@b68xpGr=**&n%T&;Gy}uMKE})YXWnXqyb}JfjqaO3tcIfe{rNxgb^4wqD z9#7w+vSy4(A}dg9PliSogI$tI>TqAbZFE7xc)U#Hi8(!1TMyiFR5occAuC+j!M5@Y z*&Wx>RJc&NFkk!z%iA2js)ghX;kdLeOFzp?=?3!~T|8rUSx&csr;F}-CA6;x8_?kh z-Vg!L-gm$}^E}6~3}&OryKrV!ZTE#TlGI9M=;|NhhlY|mZZqnO23ML(txI@;q3AeG z)LL6h^7DrQV}WksfLC^l*;gemzR#@F=&&gORBA`4f3k*xBH8|&0!5vGM#B0^$YwPs zm=zv(SI+Tf&Je4~mrxB8IZjn^830T^xy1Pv)*e>qARU|=oDv>xl0PC|J?hD?b_6Gg zgg@zbxqt#>y)RN`h<6`#PnMv@6y~CLS!=n|iX_4D91)})dB+XciGz6TLI`PKKt)nA zpdzIp3%;)~6asaPG2p6nm?j?c5u<#LZ*Wb^<5HQL3i864Wtr^BK^&!f2*7Eb+B0<7 zgxfNw^C)1V4=#~H>%Jk4PP9nPr|dlX8~?j3LncX1K)`R&B&i49dM_nAIAXkD^7H)6 zt_oW@72G8WMmUzBB_@rND32=8f=yk@(??>#tT7`xr<9E`=e;^*UMsb;xL@}JB=+tE z)G!eoPX(YN_-$J}50m&401!!3E2*|&-b?$6JQA*k*B+rTwAp)UkeXBJH*^Sx6Q7K382+Va{p=r``((1BU03b1ky=5}F6NZF25&=nnTn32C~ANzU9U z@Iyj27&?`JwdQ6MCE^S?&~|%oslZ#@ufqtEfhkU@1lag%4##niQtw-atxc(;N z!AfeF#2U3SAiSCyvmfOV|8dXvXS^DCo?1>)Zs>*x5kDJ-93DkU^q-oEbHu8#=f`p> zx5Q&wl|jx8f_MKy0Z8h12$Ff^j3V?ulpeYkHRff@OS0UnpKHu>l_bK;y7fI3`MZV)|+HL>Blon;us~D=Ka4iau^FQ$_SPWn#6t&GX}_@!K%CgcSt% z2h2*SY$D8yD6pmK4PLFgRf}IyIy)e{BhJ*z%Mo1AzX^KN0P@H_{tAwU5Uh!qkM?rv zN*TLkb)g~2?R?zm4>c+y#{hwyaW(6c7;z=ZrtaccXBc`6(i&=Nac!@vpp^tPbDn-F zO*d*2ZH$bTcn`l|I3&aClNk`t;$_YSuBLzT8+HRG2W}q@h95{L{hYq)L9&(P1wl5j zem5lRpfh@fD)J6=nf)qzY6(Yk=XhQ$yG>AAosvwW*;L#%9M7t?5m&>38{C>*Kke|BxsVR31Y`v z4n8kndgtOd-Ymg0^4SSfs$*mt3zv_{3h-Rv7*fcIu46P5D+XuR;|?vuo`-0HpCr|EF&zwN}I>J+9@gmxx&57=bbKvoqExw#{fVwR)qkaCNg#mw-* z4U^gP4E1OyZ6h~T$DK$Bx*`A{JAoxG|_&a zwZ`~{@rkbrWd~Lnb~fOcGHvED;nH?0UL3`mf-25|FIO<2a}ah`H%0U&Nm*z~M!)Rsn9pRwBc{_5#(*gU=YES? z*N$6t!_ichN<-{@Cn`t01^I|{ZjvPifDy`qb3&<(?=fEM3n(SPcKs^(R|k>Mw?>;0)S^(=N{+0HmYeR@^oJP)F%+C$fVnjXyTk zOc#rqN*}+$F+8F6&V*qSN>3?uRzGret}!0*JHx1{gBl+oCK|Fn6$IU={H0_J@M&wM zETw#>clYHq{gTbJFCj4>V81zOcy=}FQ9__yC4V)YxqCZ?ZlmRV$ASH!SXF!$T$3+S z=~lt%*{m+2v&FD9qFjIG7?P89j6v}xBcp-rv@D1h!zYzg&Pl^qKw5S;#(fF(N%=6Q za$qNQ>|-?51)4+l@1N?T1^aLUAlf+5DMm7I8PXs)N@35Ka_SrrVtD&obp!^Pdz3x? znYgVKJ?u;r{46p^Vnb(k4R%Vh+6v2R98QsZ$lkySw#bE8YaH0-F#Q)8G-H+^I{A36 zPd4eyUU4VyxMhp?xk#ZJ)v|o8liJysnO6DwTXb--X7RSCX?OvLR-i)(7)?E#i`icG zBnnGJf0E7r{z^+og=Wu3<*BWjSDBB~y()deu6F&j_Y(dU7{3@AT&yn+`57m+NC#m& zxIDV$5n`YY_@#1ge0xK>O+SW4)BjG$W>bvJKM7?6PRLDjcGxidhMXWRWTg;&1`AU{ z3^UM)TzKyqIk!=ap4DZd)QWroI}n{{;LE#%IC`?G+F%kZ4~CE5OngKoLSl=1R_^-;llarUMf*ifW-l zB^PxI%K4!&X5e~bqzQway|}TX%P~&>6Fw-ZS4Z0SX@b+XMm%& zwpNITbD$(ZytBYEu&YbNe;;9hyd5&I>ksF^4zycFhWD(G`RupauSeCZpOt`8*Qyn_ zRX%rAFxN5~8EiI(6cyGu z7(%FUvFyHlcW4T#AYcOwV&4SPp&qvJ3HH%}w`QZ`2OTN|8pNNm9)B4g2y8%zQJe8N zA~7_RYa@Wj!Ii?>TbprQ2mTn!H83Lp4;&anKIPk8%^z)f7agLtIS>?!b)^|QBR&0B zoD&QT45+mB*9d5lNTQw`?Ecj90oeq$<(G6RDHsn5B#;l?7VslMJ3lBoiU;>wqze>; zj%UX(K5Axf2;w!UflsGFOvH(Mq+Gy^fdkFpV>_9Ao$J^T%%4U2 z_ZvvpkMty<&FtQ2z7*__pDlP-{LAqMJ@|&(1U3N7d!2m^a-9tn4+?Z_WH$0DAq}tY zJ)cK5MpzF$4A@@UA+SQMXKZi<^9-aDlqZC9mq>~u0>V25dvy5)MEq_WIyeAL512Xl zQ;k1f;QXio0);RDHz~6FjPpYLkB*(_~ z_d4&OZWLHPhX*7X2=HuY4f0v%fXY)}bM@=EpBJ#1-{ir{eoMTq3rME z&Ohl?3f#^(S%XsNs5?C=LPh5gFQz->rcp`*z(mM0ak;;O1B^OZ9p+_;xh+h4utA-Pue$!6|sGH_xm7xef6 zzC!g5K+V2?(1kRwV2>^`2&8NX?kb45;5=R$s5S;e} zSXzmv!%}|Qlr_r99vYIPG&sq~ih6ma-GraaERHLdxcF+0;J!7!oM};zj`)^f&ejb7 z+KpgqvXaS3&z-2P`sr}MIU>xq&I-{1W@+I`Kt7lNyUj2ZO-Ix z+2+oJ3gI_-Emm@)T(^-0Q2}(7Dlh8b0 z)&~j7L$jvB~rV$XP>p+UTn)hlq7T7#1Ebe$@?j2NWidZ!t}t2>qv5g zy{`&%ny0eXT2*)g=(&p_m-fN{I>-CA79M#Ts+WI9qT(2+JEGBNcOqp3BFf<^h^!aX zM|K$6xK?yFA|SR{7>r)ZKZS>3_q6m1Ro(f^nyC+3(7m0d3Rx{wqId#2IWy7Hg|W6I zZLW=}0#Vt!{vGmYb0NqrJFg*z_IjWXpqQ*`7PN>N|0BRp(ZB)^*G4f0SQJSbREd-m=jMT0H zIWL23xH=w~z|{8yUufO`j?c+0oo0DDI+;{(~k+Wz_4zSbCz^`A$6- zD{6W>0_G#Xwk0xm)~vMt3cb9EdT0XgyM_+9lyBJKebqn`kV{+S=W>({+98j z9w7=gI*x)DoC;(K=@(E;ylrdMZ*(iFR#F>*o=l%*WD@m3`Ztx1`1dYnxq~f*9W`4l zctCF(TI6~qj1FVT~ z9F_>rgXBY3D-xbEwY|#u;yAhGye+k(&6ky=RoUU7^bl^xA=OE}+#c3`U@Ao?P4s%N zkTFSd_l%O<>?Ys_w-n@5=ii-D_t>+mAI+9L_|2zHg?BhWY$3%}+NH1wyx6<+e3oUN z(g+_*ZMT4xx*MD0G9vfKv6gwM!I(<5Z#&ELl%U~|+2iMA{gH+6)5odt&Wi~XM>6Fa z>1l~PBF%NT^~ILM%o#s==PuTrIrMq_pxebj+RRq8ohiw{d(BjcMpLH4KNT`VL3 zGt^5cDSasQ5oI#T6iMXrZL6F4Wtw3w2v}OeKw1F^D6*l4qs7C-cB9pWO|jK=+KN4| z;s*NB$6Hp(QbNMrE@G$5B#skg=gp_4OKus{4!~_iY|W}!fAE0eD7Tewph8*W?x~oLa80@~1{BHz@C!G|3sP?NL zZAtRNL?D$JlyWi-lHb`v*Czh}0wE)(jqa+AzDW1p{pD?bKpJ;8k95;sU|nRU8^aDf!{GdE}#5IYOXLmoR|u*RxR%r+msmyQy;bJ+eQ$)fv;d$sF@YB62zOv zl(`}=^>h|jwC%q!l&}wIYb7f{QEH9cWR!~)_$St;^YmubUD?C>C=#*WZ)NV9jyvVk zye!PP2s22aX*fIJj)%W5OPE6e;yQfU+Ino4kbX&Du^E>Wt9;6m8Sn z&JknQ@H*tkd0fBnN_plgu+X1JK{Uwh`}A%S&z0Y{YRR(vK<~rvIVrMmndMc=?B+P0 z(tXkN#uX>LrWtvGFY@4r>)8OnH8j`O3D|X}i*KmCbIzOGtK!gG(kgx%+mb5SKlycB zUI>KQW;4rC%-_=N$m_|+&BL-XW4hn zUpzjlV_?=;>0zc;RNxHwV=eP_inoTGYy1}u^dYTBG94*mr45u%k)E#CBBWZzG5hH_ zt!Ai1SwgcW-wyE|2!|LFzJzy@5Eii>^O%ODKxyDKq8&#>G!QfTE8<~Lf3B7LNqHGj zH{Gwr81oQW51b4CkqmN4<@|PNE(c!hU*Ge{f%a4k7{2@ho;)vL3FybD*mmR-Dwp8Q zWPGMwa5SlON@Vcjm(j65U5#4DST}2r)^JnFaKEi$j6&6}@vo-cqf)t!&0>ir_p$_8Iji(@x8z2(3~9qGMy+8sCb^g+Y*7YUrys($Z=eipwd0- zS;Xpy8+1vSyroK>SIGGh!t6E|Dj|!BmBmFvNTaVaN=tNRA)L1VE6$Uj^ImEfE7fLfp<>n0cvhS;4Naf_6cbKhU%TonN4B;Y11>xQe1Qz=C(`jOc zwqB=owRvyV)n=_L@URU`HS}v=^Ki7ghi!d9u6g-%`?<5rk6T6C*f{w(r^IXcXiv?~ zTl+_jtD|GRVOnN2M*$-)M%da=7qregp^7aN+5E6!%YC+&_PB!Cgxw=H!c{o+F?s?0 z{JzhN$*>Nv9{hUv8Twb#|i4?!$9-I%h3gC%M`WO*^i-+7+T$|%;mDPV{%F(6)xYX4O;ko70&)2a|z+PtX+05JKI)~&Dm&p{=NKi7ofil-`c`fW_TSA zggUxoZwL=ot+%*ij}gW3PeFrDR(r?PeV!|Tofe5(M*sLPH{2#nA*&v0^PsG+0-&e? zxeSiV3wl-I1vjr3w@gpE*k!ArUu)|gk!eR2-p}sg<*vUjZ4XiKI1~mp>Y3Ym`er7t z2!k5#s#EBM<$@uW){ExchRsRmpG_eVPBI9YaF88C&)Lzxcqy7 zjD|0gyoyM@iwo?p>q9$&&5bukICe4GLd8%jgao{}q(|QtWbD9|ZjB6SDnI81j zYs28KaY1Ki^B|FK>d3#&=NPq&Wx`HDHOB0{gHI-);E6c;TOmlICI&LLJy z%7mj~gDg8fK_8B0aV5clcid7qGSEW++D`LNVeftvMqe!RmrL^{{2`NW%(_h2a)9M5 zpEH5-0|;OQzS)Cn*i^CeA0DBAO_B0IcnXn<8v&f?T3xsb>qBSn`p09J`j+@jvmLQ{ z;_VShiuON^vkGto#mmVLdpl7#M4v*BjV$Il%-Nf5D?Z$%(r@p*wqN<$kQ$U6KSn%G0iZ`Ld2p({DRkK z5NfRRow~t?Afsm}9EZI1&7UH9(oqF2pVHjQ%x{q3R^G=4?T~N)e2(S<;&lsKogr|1 zG2FuOgNL;Noy{F1Wf%Y2D<~Jw=H>=zl=MdIC-t}5hB*V?Ae`?L(C=(4<_1c;@wc3@= zg0AA7K(ap&>rr!p8ez091vsnGzAutEdEBd-mfwmx^q+`4^OO^^jchA(F^KE;JWI87_#u1^jnQg{G zeQd%4?4bZh)Ws1fW@QTCb433xqfP$S?kfHptvZdd-ACeThlv9?>!Urt+YE(QV@Bu< zU&vhHLoO4GUl-Om$XSJrCsPuGcD`&PWkZXUSTRve$JD+KF_`R4wBnrN#!>1n%mQQQW+a)iFdJ;WTr7P^GdQbabkA$}_kcfv94yiX$MTKWngyCj5|g!SjX zCu(4EVN2->d}cvL2k%Kk+3XX|qg>nuA@!+TkF58XD(~(Xe^5cAxSMR!YBp6XU6cLe zM<`4s^bfWn(Z%U$A!wV8n8Q#?4mTz}JU3d@MV09DN6G|%R8Jb{ZtO;IZ2;YTryrwHSEQU0kD2Akk={X^8?iiO3{6Zh@4zd|cro){!qjrEkc0wqeOI9k2FyNRhWE#_~l4>$~L{w8qX^w2qsZw9{ zqa-VE6n3zYPX9%7k6(0VPKdNYr=maE%VK5G{9#h?`JF|50p538&w{@p@(wZ5q+KL# zsAJMizatwZMUpFfI-Rr>(1H9z`W{4j?hXhw>5l-|Nb4_0I{ru8r_#shqgzLq^Up#c z)#9kni{O1R4|*cu^wJ+i${gfAL+e(=AsGD2FlIf6GJIPfB<4$o*58dfT~^r&ks*Wi=#K zf|>-ZK4sEPytck^Mb>%miTsUorzne;L?y-2$;%nFgKw#z1{iff81Jv1I2;!Z;|0^2#ZZD75eT>8|8x-Sei$ zij58rTnt>IYD9>2xbtdzoo;(q?df6#?J|jr03l0=$jWOoj}AN(+J3ivKg2FIj=%$K zkfGp6WUZ3)GPAiyHY+%L{-;;S+kF%>^;WvfpKt*_3EDLu+Ws1w))9s)EF6(*Ddj}lO#a%S1~#6ALuH&I!mb`)q4)hsCB39wx@sQux-^vh(NcwUZ7uLQuEqk zG|G){y4kujMAs}%XL$m1jjdb>yB`9?t(5F5*f2I!bd0_!?UJ9~R-PUBYkljJ459>g z7kBkg1Oa6}WHsw!fo^P>Jkkoxi)x{yPl;nj@o}cYY^jg2?I^nh>=b+Xuwgb~Yb^Y0 zI7!7*GjF-YruWn5TWKmocbqXo2$<6{65!4lr4}+EWoLEE_e<57d=9xC7`gz3z$jW8 ziXK$PWf_dLcqbP|2*{FeHrJEIsFA7WIV2KUl-I61@@XsKs#0S$*RDQ9xe>_s$w?E-TJos9&DI z{M|sDjB02N1x!ac*wjFC;*rmWl&-#P|n_`QVxMV1Iv^`{qlTc%>jczY;Bo;77*}W)p_HYH{ zqgND&a-jzY8(Egw)`6}(#rw}nQmD=LKpIgjGAwD_vjACFgEA}yU=#0fX7NoGS7U^% z?v{H+7)KMrLc8;Cv`%T;0?V_bi1p1=WZu6vZZHU6AW>6+@rAVf0~+CPc?2ZW#ujsnRj+ z86)cZI%qU}$A5s!T@=;r$H-bUc^1oe_5LmVqw|&JQBb3!7f9x%QZq}*!9#au=x+98 z9}~}0^1|NzTvGG*!3%AkEM@9KGZoufht${7`qF;O6lFY(>+Vu^i%rythl|5aD&L9n z3{#aly9}bs>#)uwoMk3VGsP5|@AVN1g5_Nc^*ifa$Th%q30}H~?V3bCj?@b2EF^(R z{meArw{wbJywM9NT5H~vW)vx&-_BIs7yd%1pUQCd1daZzNL;{#fTyBb^mUk1Sgz3k zKQON(qs$(gmp-Y!qn)kvnmirLK#Mg4;@E@-A^q=xtE#Uf&6(8C>Qpu^4J*}4OvDkt z53(`Y%QIm9Z7P1d?I1NNU>2rK(vR;xbgHXVt)^EUYcUx1*@UXX9<0pwyxPMR)7iu_ zhh62fc$|EpF@Ydao4%|=4i*Vk+i9x$sk(Siw~kbfd8~LCNdZGaq_{D}TLlh*>vIIw ziWfq$`MSOVhZ@1<@=&)q7AU&>9v|L%N@F2arPgz8iJ844YXTX7O6M;U7* z5D}o|Clm~9TN8ch@BAK0L=7rI?7Gb?l68XLEcmRUcpEosJ#rXiYGGoPj1NGjOIqpL zb#v0NL2cW)_YzLTH!DU@WVW9Jg;Zc}`U_W~YbY6s|L}0p83CQ)lov-l@RY&;{2bFg zKD^q*9<>UXqjyb#RXkSzhO}sJC<=kWPXyrkY4)Uk`qxcdn4D$Z#y!(=3w(?7t1~f| z3Fi7S`6KwUIM}kwQ`6#z9~7hY(6gB1v~fKbTki5uyc3D-GehBbcZ8N~gU6=K?VnJx zG;6Px_mqY5>D9kPg`!#(Izs3*i_Dbwu&DUvw_>o14u4|83>_+&26n60s|b=QkPE;t z{q{G01Wq^6n$m$$R@Q^kWb``1E1_ z`Z4ACqDTzD?3E$h+2R`^>(ZM~DF&eN9jfu8=)81?v-vl&+mNr+NB);vUMppUiQE?D za&Rb>Y9uCr~As0R($$bu51K)|BEu>%LR-r7z*bYHodhcNPB*Vi;Pn-PVzlbPehC=??xv{%2KVUpA;aNuGmXytFR zf-!1SoB1k6cDn-={mO@2%o4!khh7RhfoiPf-Pn7?-fC8`1Vo*!O6)9lyiUq6n5EIw zBC~984-Wk7tropWmh7){#6vppI)GqWv-@T=OFHh z4+ML2tZc6nfnF5I8o(P3NjqzOi^gV!OzXI|=?TKjpM4!i{7{RCfBA=2x3W`X@+{;K zN`JLXkd4EyH!1@4d;rOU^rE0s9t;kTg@Z$2aocPQ9FehXF-+mCy`ywIuEr3bB50of zIut=7_a~r#{uNDVF4=TK3a6BCW+}uhN$inb>8WkJ&Qx_8jBtXG9}R>Ib`K+t<%J`U zd1>1kD?M?S)Htc&7^!1TDYW-ywyte{$O@qS5Gi^SQu^_HPyyg!|B}Q*#N`?c3`WZNE8YsFuAwp$deQ@32ODg4&L#hiOApBfsZsE(o0f7&I>r}n*! zvkNczw+n|#=4gc!Z%-1|Z1jkfwSKGbMsad7Di{1N^ZcI2FlUEIWN(yE(S3=c-hb+X+0? z;gKB{z&BuZDlaO>a8A!=Cy)OgMNd9o+}!YwL}XECH4J9!2x>Dsc3Wxd7^Rn_S) z;hwM;cJp%2>a3QU@9J`H@8{3b7?u}BMKp|x1hdwklmXH_pDF1#_nj6%Fv!H3lEGgJ zfz;051c){ELf|vhTO0Yqj=T73*)?N|Z#f%1);{!=MpQmzakifU>5Y)65uBsgS^r2L zxaS6%Zo=hQwD;HbO0ukFst7}H7RNX4ZgdQeYI=+M`xEe*c1?^Ld35{F zn+@?rv4vct4J8K-Cvois2k%J+b6jV2A-wq&;2&|_67bC^*`&BCqs|;jDi{!@da<%K zWly^2u)%hWH$s{bk-rcHWI(B!_;hg5!I;@txsr4o3IBfpIF5rbvHU;B1aPBiYrn;g z^i!+vNXP+qkw8*`Nd%=p;i}~#8$>1>3h|!59$iD1pd)3s^z*T!_}`9bNSYp*cMXtD z;3kMe%;U+m*zos`Tif_}2`GkGaR*-66}l?2 z&yTN$QHZu@>Yffg65(j~bHB3@t{42`GT&tr%^c|U7};FV7vtzP0DKIgrgV4D{`tK> zthg$cxgD09xEyg>w)HEdS?*)+*8WhOX`eXvKDSO)b561=JVs07j!_evg);d{CjbJ!k1g{iq#fu!zH&zVP&J3 zxJrjMNH;)-JjJz&69n-yxWH_c((iq6(fj@=qNj#HORT;drsVfqb@+>VqQX@z_*?Li zrUYKC?Cwnx@IB6-sSo79+?k11^p`VlhE3iSuVJ@i?hd$O{(X7{xq$tT24$qFu#U%B zKytqrL_w0%79#1Inq7|^$6_qvMRjAa>u_Y;6$NICn@hPli-aOvfwwYOo=8HpxrM2Y zv!-}YWwYD5xHgtG9u9|k8(6d4E$oC}RFG{uetxI`k#DHvrMPLl&XD7|IQon-g$XwIc*Xr} zeL0EcJC;I|K7^H}bFDKGW5fyap0KkKd_WBHA$lBP2iD*GX3W0(ozp68CcTw%vc*qf zt)=S?utefOkBkq+A~esryF=@}fPN&d>%vTWR>Y@`5b2_HB9@bfkcfME@!}@n$NPOl z)YFljIwtk{sm9PpkT~kfT!^Ms^{P|5omdb^M=qSJg`CG!GM#qful$EDmf4=!({^d0 zz2gMB!+t8QAk4na))T6_%y4F8DQ+Zjd)@E7sd0s?!4eN<`y`w??{g#Y%)n|D}Q z<{kx-Q#4B5BjpfkEd7ve*C3SZG-Cu>&L-hh6|58nml zGido)|K^_@Mmbkw(FL^?YYhvt47@2>5%==AnAI@}n-w@)!Uf||6+H_>gT(bUm!IAd z0M{o9a(Iy`cOR0Mv^H^afi3?`O?)jYYgkbNGOrkK4Nk8lFXFEkEjRs`K80}>atYv2 zzslm9b>@O=*a0WB%F&QcP5&|UO4|&#Z-YcXpVtfK}-rx0y~UV#{`&k61`(Pqr=Z0>T`)2@xGjOSysSy~AvPa1W~)+9T&G+f ztu4`+O1wDhg0tgV((u-Eqf;AgG5pS7=_@(Gs-`Jnu=$As{K8BKxo0|2Xc% z#4#l?;$&)Q`(H|O_0Sh#ZPGO=M(d7iQ;V z=MZM$C*u9TPLeP^IRP_#2*8F|VEY;0FKuocEpEtR3hkk(dL#+eayKwIIiT(SpyjT$ z`A$&p(^VeKNtO_j*a8)RM8qN!n!L6&?Yx???LS(n p+qnZf=-a=2<~Fzc4TFg7zBtZFcb<4~%v@X?>@eiyV)EiJ{{u6Vn4$mx diff --git a/Writing/ERLM/main.synctex.gz b/Writing/ERLM/main.synctex.gz index a51db1e95cc86a0c92c18607a37f953537e3359f..8e85ccb67bc371f6b328bcbd1b7ae8e5f9b7ae30 100644 GIT binary patch literal 19633 zcmV)pK%2iGiwFP!000001HFA)k0m*7=6n5$X~2NHfvzdtFZF8s!GH}fyu03A3moK+hch65B{uZD9`sok{d|NeCGboJrl@%j4l z=BgtQ&Li-2{qI-S0ssDpAJ4xKNH;~v)$`NC#pTudqbGCv{QQLf zeZFoh?C_%}bNV#BdcMEE`RRW9(UUoSu719KzPx|AdtQI^WKN%~heh-G`RmnPPvDf9 zdLZ!2VU{od_C(H^t0S3CuAMSpC7GXJp0977dOD|1-K}pgA0DqhU-v`gPM^LVnY)+U zhl|IjtH++w=`;A^_6cJ7EC2nn8z}cXrtkYtSD(2fJoWTWpU0Qi&sXh#di2xh@ALiT zPuD+P-+kJC^@M(dxIO;Z4c6)NcqFsyl~ZQ&K<4@J`b$T`pDuM567MfRf7!Uf9}B6| zC-O=PL;d05Q`-sfb0Kv4R0i(D#h0t6^+(^d)8{cI-qVN6i<@4O`_t#})zkg^2Q2gB zzde!DC+;to_c!;C$A5YfXDAB&5FO}r9$hcN?AuIm*9b@;=@_ zUrHi3(0xC$IEEC*0z>3q^M5dm*CYxhq8> zdRTs>-4i}{y-31O_n)61Ae}{@p1X1+X;|IReeQ1r=~EU{Pg+?{Bgu12Pm*lvCVt#% zO+R;0^~5-LM}q0xCDju=>eVC3bJtW)^7G5xC-fw?E7Z~8rJ zZ=-#C{Upcp_pHQ?^fgqqFIU(>uAjeR;#^BTA^)Bg+VuUA;O|B6|4nlK`KADBcNao! zD!+e0wm)Pa|NaHpRt)y>tGmlz1^M5r2BAlFZO_X-l<5_x1O(mqDlGdp%ZQ&-v4~KqkM1Pr`TUVoqpE$Hf{Uf zmY(+M=YYZp{=7TMtEV3Z>IQm8>fANZ)zj~o{zy7=+>7fJZsolEJHtu_4f*qrBk z?!`(=&fU^Zt?=Rg>6(g=vhQ1S?tXV_rMd{U=G+B(W_?Fj0BK8GbM7v=Rdb--&B(Va zJ9oXG*-Xv4wB}s7@OBH;dQNgl_#KUV`t|mw`x`lTPV#0ruYJ?1&Xp=>Hc?lW?MYq| z=e2NF(_c#1EbIQ_=H~uIS~B(|*NgL-IIrt3ENpIHZl159H4B~2p5)ST=2Dzj_LmYi zv$^xz<;>Qq3GK7oN8W5pJ7?H6>F`BXd#-3XwF|YwG<%X$%5SRe>&3OSvg}E&E5D__ zPggL(j)yF_7mwedVJNl#r9@3%yQuW+)9q0$e3kmSf@R~sBipTp(>n58p>l>e`=l<$ zzm#D4eDO(d;r|QCB8dOf%QLAzeER(EA1}V#U4Op5Y+X&e$GrRRch{)--T(ZQa#07Y)(HO|6Trm_Z{|bQxC-;Os2*BQYOAqCLPPv zx66dr>RQUAx68y6=)~9QERLS%O7K^92WZz9Vv?NUQ1$c-v+?5Q{_d*#x${ar!@IRP zLp^=Hx`CM3ySAQw%5wSg`1twy=4$=1qjUO+%D12I9}Y5P{k5ZXj`X{E{^j!a)6??r zj?U>mR^NWcis1pu_G?G!^kWou%h&t+Z|jd8ozuNd1fBQJII|;mhOgE2-Q`XHW9O87 zy0g{O&v)-19`Ao%f9&X-KC>@A{p-uqGyRg+Upq>t&+8qf!Pn28yGB ze_em<=$tpdp{gwZzQ6kA;r4px7JiaD)zPsW>*M+2r>FJD&RhQU`F)U*An~ie%(#<#yM#C;31fd7tTk2~M=;f&gz~^Q`t-fJd%3-SzPeq1?C6|6eQ)q5b>a2Lj?U>*c%$?5 z+>Qi$GN;dA$Q^y;+%2Kgoe;awP{H0u8(9Z}{xl{zE!N!R8rvr-%5q`)B*`_2)l+{NkB z0dTVYQgjOX4E^T#(2JL?ZKtoRE^_Jp)!i4YuCF_ePFY!(oR7aeA0o_dzg=H{czStw zXb!skYo&Gi9&z>X^n4He_YdE`Y=1O&zJ6w$zFoBc1)raAv7 z`?ZUyJ7Wn*O7ELb=f$TB7_dFj->{dw+&*1&6ZRxm9ZBLRlK3tdli&S^efKB(WBeGh zPp+gNL-npyXt3Vo5=)9dh7hYu$^K~GeZMPt`1hmv5&w4}Vup|3A3mD>pV66Gsdyc} ze%XJ0_rp?dPwU(M{JVg1MyN-PmYRj1_-< zvjkcDlhS!TV=lQAiyi63=v=m?@4^LSOUU?tzY(#9t@A%R7i>ConROQ1U~*gO?28FG z9cW2#H!1@7`e(>b)ZTsmUj2Nm;fEQqAKv|P0AS!;Pwwy;{gIN7W92cK5K0(J7hkI} zWh`BCP9^4{w6iYNJc=jt2i9N4{OL!R}~( z(Lc8__M9Xzs>U&n%VJt)j5Fx$qRyCVN~{NRC4f^b_^ot~A%ogi6?z!X#x|B4tf38d z90U^zaQyfg^V)Ib*UyKs!3qL>L8Md+L09jwboB|P%~0BzPy@Ejp|mq4JLAGw+UH=s zb>rtyY_%bbM53*!*0DL5p|Crh7h;;yO19qIYIeCm^_xVsdms&HY?XEN?LyTCDLut%r z%w=1~(p)OuiqbINVTp;-9aFL zpGo9VFa6fYE|ncdHd5gD)Kvxz!PjN14&c0D9R-qULT32vf(IwY4RvhYyssmTy}4kC zZr%Vx4<$?*dW)Ra&BxMb5_!~1ztzo4W#5jI+f`8C&^b>-F=G$yz`2ecu@DtKv;l_3 zWeZgz*%N!{So%yNk9z61dT6Qa?a#q%pO2y?a%L9s89Ow3ZX{B;&vO>Nb`b;8^dg-@j$x_*IBZA%(p#iVx&S5jD>qgYTX~R19dW0co{6K8$ z$2~D2{ueCKpBv!M2L<7bEn`rHM&0Fy(fGoy8A9z;A;@NKbm-5p*gM3ep177S(b%wP zuM*s;uTZX054QLPxU48BjaU!k=VFt`7;m4C3yr2+@uGB%roup3KmV2f`TOB>2pAss zF~K&@&2WVN4Yj?PvMkl;VOzMhD7x*hjsO@+$&CD=NWl(2@aF>lI&-;NNhAN;1dz%_FGL^EJ8h;)RB7~7IjB>rm4}#KP>_}rcr1`?lpuzZFa+1FWlwr3F7}oQSsM~J@qy|uhr$ucRV{fbeCU4r5r3dlYk;GXCvA zVHI6#@1Y(T@NTJkEU-*-Ti1?HkapGDZ9F43(&B#P9L@E}YyAjzpf~5G_<;kDuFJ*y zjS8f(@kcEG5nEhHuprsSNX1oA6}sMFW17{) zqcC*!3SPf^3_E6BG=)@TpRHEsYmG2e8HP(Ig;iCs3Y=}i|CBPv-klC~+7d9y~ zk{iB%G>ZJm#aQYcZ^)mBUAp?P6kosR)Q&FYcXSlC-SzvCCFrXa({HU6+Z?Qvr6Dl= zjI()944=7O2k{v*C8HzlScf&xcr$u&sf1>%%PSiGffPxCoP+)Yb61eVs6%a?l7khC zDJ#h(V?s1VkW1JkpsLTvVJ*>^66CO!P)(8Fp*K`3t0^WCXI4!KwbUxPhP9DwH_k_L z7&EBf$xg^&(!xwlekA88YGR4vyEm2^j;O{{P{**Zrfg`zMTjFoEi~$9tEfrKypFA!7{WWFGpIXa6=Qd>P4k$a_qMDLDsY%m*XLd4sjO z4aN4oK-P^jq_eNa>WA;DbSN1DEXFsbLxS=Jae6GiNr8;@4$W)%eykd*M24VUsXK_` z>=uTh5}2Cuo)|s{OxjpRS~bNCdAg@%7bGYcm@y%bSk}^Nw{^mTwJ~Bljw25istiPw z5#)SKPz>FS90sy@Xh$PCj6lGg65p|%6l%m{HHjK-PP4{lkDj$okjvOKQu5+EgaB5k ztR8bbdM7&#dI)TTS*JO4w#BYLlEW-3fqVCkT*CL@AX|eTAK06l+Cj^ArB8oA(5 z`&gN7xI_P8#bmy2eJ)*rs@xaglA@Es|tJ8@{U&rqUdDo#`7> zvAiJH^^armO~OEt4A@|H-xCB+j93io=OahO@YH!N&6{*63kwpjrz^JJfflMQP>#jt z#7#$(hQ$*LHa+p(qJ>cJMwTFIVCLGo=cz-3?naexBu7UAECu-;nhz$Es0J$#({=0b z5UHZAXprj|qAbvofr4hkj63X~03^Xh#RiX-?aAdPS)kxqbpUwhXe<4Z_T>1zm{_on zkKcLuVK#D0HIBBnb$M2eqwj*Nf*eGIFOqAB2yA-Ushxnopntho%}CB0y6nU>l7pcD zYsR_>cT_hER;fV4Jco8>CR{*XNAyM!Xb_`N48p870IMlhFb~;`ElBhc&z%c46!Cpo z>tpr9cU1;pG$Qtu`lg!UumhI3mR~A|D8?kU@_TNo-1hy*RIVJG?K>wPjP?Z$yI8Ii zK?6CSBS8m`f}S;jIB`Z0O96wRFlgzaLZ28x(NWQjeo7IuBw|HNim*7L!Yj-Ndbh+R z0rZ(Nu$}ij6#DIBe%Y$?P?~HA*k=Zc1f*J_D@%%r+l#kTir6PSRA@;t*9Zl_NC3tc zivQT$!aGV^Y55BtDh$x-Cxc&(=Of7picnW*0VP4vxlC&&O)0{x_n12pk*5PW&RM}Y z<^pp^AO>vv(S<1@z8==kh?uYi*;g8mQ48M60pRv;A%G-BXppdIcNC#;hYc~5LJ>Vu z#01W6H&MSW0M1lvW;{Zm(Z_FGGXyw#XiU}&;nhUQc*#nDAcEZ~0jo#dSk(y7#ai1v zvwc&yIa*Ik`K6XvAiJUStaP9z#E=&5F!P&jJ)$M-Rc(xSXn8@)?b2?ex_mE@_sn)6 zS3edQuZ2@WJ#={*#=k|mB*2SA}k?jwROr0l{443VFf_kM(Y$nagMG6BcNT5_*x|Z z6A-H_3FaJ+jE(oR=JHgA*9nrM&w=Ol3V_SFpEOHV!O^@kT~)Nk*M4yHTXtTlsu?0- zoQ9Prf)J(}MuP6>l97Onj?PZ$ASe-#yIFFbVf0~h+jUURWktl$`l=!FG$Z73Np3w` zD^|Kof)&VAtkxhWlBdrC$j&Ab`Ur?cPEANV7$!ZBE8utzBmk?>+VNnGgy`Z7`i6_) z?W5vFoE^)rfaGh&-YWqa8>p!rU|}pnIW3e)OVxCeT?|jaE6g1l;R8iORSjdo9daZI zZL5N69BA4N)qtLOjPpYGi?Q@ zKrr#ilLCpxx9c3q2)W?3>XeZbxUVFIXu(cJ=Mzb^U~}|oY~9w|(CFR14c}HsrZ;++ z@`H(5>G~%5aXy&bf(<03K=eg1ISnNhOuVXe4E})3PVc8&_Y2NT^Z{1j+7&EgkC zu|vDi&yayAo$DQMxCBv%BIvo!NTS%1Yos^#Htl%$+bvdK={hd>alD$UfgTzQ?00*n|t}BNjW1LKNyl!j_^Cg$jcOQ07FjYlUXa3Zj^8 z$@JZ|LV}NIhf^RC65nzu3Pxh$dN*@M5)7{B#jrUZT|wW-ULlIb4e1!BL}7~Y)}xH5 zUO|0t8BBCUrI$~xFos1_=;vdgdBojx!O*!46-p3~;T2REE4;~`FifwW2)!eU;UEMG z3Z0lF1YMhp91c45Sl;Prj6kh8*ab62C^xD7f`c81;q0t*DK6p3kuj}USWO}Zvu6M=z)u)y=}k8@@q9%K`GD8giRK_0!gsA`WdrThvBJKOo$E@ zg4md-H4>`2_wJQOV)$Y^@f7@23QeyJAq__p%}BJYs4xR6RBy3h0>xCjfssT#l*JOv zd|r5ZHdv?h4;l#bu*~}hI(~v?;1qsBg<)Nl;n-x-zPc(Qy0pT64mjRLJ*igB|&4p|Y9hoeCsDfyi0(Cw-J0BdKN`8k<{l zZHI({D5kqlC1?=FLU9ioAr2xs`y|GPUQG1Ds~Qevl66)x&x3m&s`t!udUU9qM^Wi3 z=qV7>RT%*1vu(j&vmW6sAS^Ydn_aZ@RMdz@*z2znO)h$!Q>Jxwa^?~e0GdwS*lrIY zSC!uO+z*S33IzKori;=#E(2d}l8j)vM`$R1%E%@h1nLOU#YP5oX!>v7=q-*4$MW5I zRN-l^0zm&Ut$+X&k10nJNB|V_~%F+NReH3Qs!FgBvP#Y1_{I1<}kEnzSB)_L$mbvw&1jzo4Wr0{s?RPn@>f z8Fpq+s&kABWk7=<>UdR|bDEASFa3&7Q9;E93Uz zEH7`90?Akf&1e%W7E9++H*Z~mrC6OZRVb87JGLGnbm;d!DL5Wewzlg`3E_F9)o?JZ zjJT4_Gml90-KrV;7rjAYtyKpLp4+|xp$}*FO8;&mZqG=T5MB5co($%(MTG5exJDQ$rqXO-34lRZVoTvP08kN6I3)nP zelaOY<|;#Syd9X^5G~#Kt5--`dg{~JSAozSfjaS6oAu56CH2+8a?cwowB^)9jv$Ib zghik<8Uidc22QDtv1+@)9l9P{aIm}4Tv4Ipg=P}WIwr@Io70xyCs&M)(I6C7rYMsK z%e)=wX^`U5AsyBTVQ_#AN{?Vjp*}^WN1VleknOxj91QZxSTl*r2zTGj1c6FtWs{Z8 zbfHn5cP0bi5?!!mQ>Z!^uQi3y^7Q$g^23-q??h9YTUUf)GcL)c*1~IoggsMqIv@-P zV=Ry$dWdN0s@wBJ53P`jv0`qQqmAf;0@<>jjn$11U8+^?szGr;-`^xgnA^=zI+j0% z_?AOtZs`CEXPkSvt6>FXgC64Xod95OG(7Me0X0*>;f-6pk&e$jU2l0fBYgLKYPWL(Gg->R~`dbQ*7wf`KPR0w=ZP8&$!9rB&K) zEg*I5=#?5X5ap^20lgg2Sfxi@yZ5mjjy!T$<`T@}3_WkDP${y^MDO~vd=WjPctIa# zVoNXJj4aP+C6ks6CWk^yHU~XmEp%X(fLNe@b=XYwW$TJqs1(Hwz5-xr2KuH;lGZR| z2Q$=6Xj-~~IHwWC#^gD%BvD5{-IC`-J+EZEh6?i`y7&qz#89R8p5zDp%~%@+0uj=b zLRnpl?Js6tT?%xca|%%`(ROzyi84gNm{*8a?yXrxMTcVLO;H{Fy=}0P9~5MKnbI+? zod;D7!eMH8j7CNrW1?H;rx_!(;^@*Ri9*^z=~5;e#ub~3n@=`q#T2kgZ#yV>?e0NB zun~r19>$?MsQWz8pH_z^1{RX2JfN=imF9cO8XJq`hZj%`yVoFef^=DdIAdx*V>$@b zG-s7b?LECzi&r2pG-(Qq&1z0PV9m@1fF3-I1(u`Q`SwVnBV^mFdkJY7X;EK4wMF?D zJXY&geg$A5CWlQ?0AS@p$t@dTVJu@84O(jZuaMPr8di*(@YIwGKF;)Y5sxh;J`)G?t;^a@djk#4JW(nN-uwJlzv@+R4o zGH+zy0W34E3Vs4ld!yET$dX`#3Sm5`8;6e&SlIa6DlBHh*hMpM9leL6)4Ghowuj#W zg1wzFA`*ga&L_2-VKcyR^V7a^?VK+uj4();{?d{tovUMfWqQIKVMK?9iis2GKRiXn zGE6xu&1ZlkN=AifG7+juoHsHvNW*AEc}h}}SV{C%LZ{M<);Xo$5l_*(FM1I+~^ZT^e#^;2UZ+?VVaA2lq4BA6$AIQ zwYgZ?#&xKr`ZhL#sAul&m=vO(L5ke5Cyeq;!W64C5o;CtZc7;6qjt5%(5{vgeqw<{ zcTs^rYqL!q6Of#F*Q5-RElhRb=c5E`vhcoNLB;UK`pP&l3+&v}s=5 zmRfg29U&9B!?-7-9g*(j4rWkhVwR=+%0S|fwVoOPEf=-vFc!wJA+>}1wQ771!LEo5 z&|?6!pjdgl#SLTxv_rDe^7#u0&pfh`Tv!GWhqOVc`sP)AWNt8~jm`4v$k1Yhb3x!f@or{_@K2R8*k_nA*;)d9?yAR9c{SWmhngw+c{Kn1;Xo-%4^r5 zI=atTMxe|_uKCxLd=UI2DqmPRESm|cYf+n`V+g73DHjF8W49VyV6LW>bH1g+?0|cU0Pw)rbAuQGbP8>W`NyiD_f$IX&#Ge5)Pn*ylC+F- zj#a6Q&H&gqm4?v=&@yaiU)?q)(4P~}R29^KZl(KS#n@Fzvk)hko*k^hvZC@Jl6Pnlm8+vLR7!6NlaZM~aj&2{$Mk7=j>=0+ z=1CDvaSXPtJ}E>a^cZ@(>w`j<7lzhHjh~Fw#f)TAeljx?c(3q-&BGTtSDRx?WgxPw zj*rWD2Di?tgP34aJTY5a7BZ&((5hP(yQpr2=wbktcY=05*Xpex+Py<7_oZzSVq(JS;qVe=e;nrlW0>NIM znNd`MFk@p13X6$8$$4yDhYEW?gqRef1^Q&WrWql0L!{9qt8*=RWSRE}{cTdS$OI~# zbLqA@MfL3+A2GuS$(3pN6i6_LiIzlvKT8eKsddsGIq?4iXrdUZhLZIMP*2>H#SS6-cc{KMIj1KVDy`5H~Xf@6{Rzq)l^ee zAgc%x)r}BcI3+rgIVDd<=TXw%QXR{0Ito*rw3R*pAWLBwbbte6EvHYWPuNzqrNhRt zNrgFlBD1vYDFRRnonND*2;q|%eZD8@&5CJZGgKRrg4!;ya-4G0p1Nyq`;F{a7zUgb z3Q<~`jx&5l6k0YfjTKbhC;C+9O<_*?8R6TRA&-o7Jpvt^$$6?mG-8`$S_(-tw#+kr z+B&*=nD*k6K+SZ>u=By?iJx(CTq}-#Xiy|=7DQ9wjI6Anh!Y;d{#!7$KnSybkax|Md6@^j{GCf?0>WjH{PrnuIILe;g}p*n9`E<{t>D|ZT~ zEWjK6Y&29RpKK0s8mFFKJoM>yMWTAX`DMG&A8T#LGVO3`*A(An@sdPGh%PKjW`^R| zQ&;qQ%dz|>MH25d{Ra4QtUvLMn(Rjm)AGZ&_jyMQ%x4BoNQ^@N;F=|X;gNcPf{z1S$c(S5c#RSF!wE76{Nln~zY zP!$r8h)Vb*jD#c;50;96WXsfD%BVr|G4Gf%Y%RlVRqJ8SmbRQmNXx}pszMFA4dx}c zKLKH!J|D3VyiwYjc8V-;0yV{`^c(aK*x@{Sw<-z>r+ZB>nHea{V>`9 zwa?a1^WXJKdEvk7ne8B?c4~htbmSEPjDDa;%Yw}u8Q!mmrAd$uaRI=n^i8!EfR@+7 zNB|$yN}d94WCDA*DS=ac!Ua@(KJOVdROWf$b;AtRRcN{;DEtIIFkq5Gl(8Yr4R1yi zd#q~;q##-h)WoFp3!gc4O*)C{U^$0&e>bU){=gVig{XsV1mU8L52K4Y-4%$Vtre7U zfSN>g)DMif4b}5trdow)U~rC8I@2-5w~O=6xC0f00 zX=fxVvlYljZm9G!W(s!6PjlUEhfER@Q)v3BfPh@f(jgdO%1zgtq-Kl+KD!!~rL?K| z60%5^U3Ec$Y`bWd1Cu+NxZ&q_w1?^Drm)4p=;c(JsUUjdoN37l06V5y%8D;%Udg z7J;zTn(vy2g&R>fPO(s-IQ8SSqS6_N=e|=^`kFJ9muL#(q`0?fkd&A|N~w+qrr>4X zNDN2hHJT)fnd@xF=>{o0^$lYBwmb@$ZeccmThat(Xj4!<-z}tfvCe6`Vh$}Q-@s35 zk|6u8){Q8W7D6wa^RsANlISW4c0_xPYbC162wn=hHy*`9`P8DpxAH6Ri4W^Q!CVPp zlE?Lcg^yPS#w%}#3xMI=yy6f5$XLTOApxKP%}3TW2)0~as0j9~NxoefZv3&Gc|*1B zjYy}UVmGeLwlQm(Z9Z4rmIXiDTj)hAAs(xezOo90GBa2O5}9B-1%<^JTHwpTV%bnr z=9za?P#K}0I~GOjP-CLQtK^6G7sV-K>RN)FkY#m_Pqpxo%vp7Ov)J&tEJ@U388fS{ zgajt&%%XLmqY_zwe6C4>{QnWzF%3e;F9rdoS-Dwge?@gzLa~%NYM_^M5mTIy#Pp%#I`dsJ5?S2{(HA<5xsu;_BClWQ$MSNa zj{rKq7phnbU|}rt)%j$%s$JkQ!`dWF^T6j`1!D8kWY6vp?TX0EyL_o|&x)sGNMuZ~ zLK5A5h_jwC!*}mevuFg-z@+}PXapqDXti#vu3ggdz}Qck!1tegO-%(7sL%oE&i8SXs-!pyRa2b7S6NttM=2uR^` zN8Nnfn6KPg>p1FNyK6P3pB5{GaeB2DF+#Nky%fGUEUJTL!25hN?W;}y7evs_4p3bQodVpzCE)c0lA%3Zh)n=h3^1zGhVBPA-Tl;1CC_~c@zhV z1Vre2AxVmr;ZD_d6rnDLjUq32K-5Z-mXB?gU?t7=rZ!)E+Y=2NYI{r8X+$F*m+&K_ zfp?k=ROk7vMwA6oPVJ&}=uTc!W*(u55op(xxh9$iBZS@#G`b}tuvob|=Zx?wpoOkU zqD&>gpcn~phAxvDj!SgDRGQ^{X3mbRuo$Sp7pIRZ3q(5JnQ`n0NtU^vCS%tM@HxVs zpAEI}*f7jdbF7iq#j+_iL%XR?66Fg<3_P3?^}I-H`i($krXoJ8IqL=Qn0wDF{O}Sn zB{8=f#78Een)4G1ZE%g~Dv2aykvIG5yoBhIh-=ut@gf@~5nr%&ZY{qF9LG0g;s#in z3;e{F9@ZK-$Ud!{Gm0s3W$h`_*}}laa%m*Vv?d%=E`lA+#o}o1AXzNSIud1C6CO-a zFAxwelVSxUwjE>!#>z=X812c&saHlIlGccZ&|W*@%K=(-u+=lY4HZa1|Eo9<)Tx~( zNJ!-y3_*b~A$m|aW~iTyDo-(Z+^i5~6tMSJf%tsL9xEZ#W~>PcBh0F1f|<6?F%@KvML~_VFeGc< zhD0ConibUCGMJ5%x~sKi&2~mf2E za33o=oiB9@0J9&$JU5b-Z9$~bC^*a~7pPnd9M4w~N>Om2jTUB}kvM^`=UJ^D`r@}6 z4FQ3?t$fK;Qp1LRP~t}%ckqf(IAE5y+%zVE15Jx5j1-8^Eq9gz37K#4B&8lcv(c<` zfs+j69_=du;nDbxgOytLw&kgkI1D7B2a|wc!ZG28GCrQK?$ASLg~+XUnYMI0Wu(fN zS&4Pd$8FBHteEq6z?w5y2(r9z21B95q$6FSBPR^354o-O1+ZYWt9|YgBL>E*GAWC| zV5*`*UuJ>AMANyM$r6VzN%43};P4sYX0ZsI$oKGQc?g`ufMaVFoJ8Mxm4j>#sRbmp z3=@k_c1fHPQsryV5~n0ueM*0#Iedjjp~mFU%=4;1EKk~#G6;P6je$uD4iC_xRocV5 zn%D%Fz+rCmtnwB-ANvXl1fq$#LX>)7!L&qi5{Ea@%#*)Dz8xq1wjh>S9O^xIM?l<8(V4kb6v#{vowZr_X}UCX>r5mwt`G)N-o$sgwJ{$a&q z#x@%_!iO58k^Q*^YRBeRjjcCTi3e$1Y`dpi2QENuEgNckx!NWL70M6RS(u~xc0u29 zyFz&O%=DfT0y77*rYMjUU3=SCGLoo*g;yA%yJj*~AqqLhWC9XGr%}_qVaDqCkf?30 zZhu#- zAoP=kxx7Kv1=75dgYVeltJ}F-Rj6`b5V$LUht`L34uT@C8&@L`YJW1 zL!{W3ECK~mHf}5i29efo)g`8H*HC#=8QgqunTD{?TR`yREpPg&lSDl;or3a|C>{T} zF(^d6tGo%;AdJUx8qTt)21cxe=*!L0!MXW9t;aQ-w?)%WvzjxeQbZfVq@- zcd-H%#%kp=x}mR{fzL<8mgYA{dbJKDZMz^Vl;je^CkC0tNrCXeTbC3Fb8kVoN)DO8 zEV!;wf<@kBSEn(8Z5vZKD@2(Nn|EeYqLoSNOp>VX@NR~kqH-C+6mSYEbRH+}o3D(7K#oN2EE1CVBw1DZ)V16dY2K&U0-1SV ztFD3~UyzhUD<3bbWlGc=R}I5|22`5W?R<1Laau;+&|-=Peq2jc#U-mi7#hQzB?=_- z)JZHpM}ZMsbYd>GXTuqUI-5(~+KVG(N(Du0}}F7hSB5EY`>oSErbfm9v>)TmTfnTElXX?2iBr9ELLh&n?F zmW?FJBw;Xo{hTNj7n3!jj*mfPt3fbtneS9Wm{&1(ZP*y$b5ab%nvFM;jYIn~3egl> zf^Q9yy(?Yow(6Mkf{C}*>H=-Qw4q`FQ-c~&8TXa=l-X=%wp%aD=Q>AzTHF`in1coh zyuj9Qn9!L^O zceFPMbMZ7SRX~_cHuTM3tIK?T!Mk~Nh1m|dwFuOfn2f5{1QkX@=3R^A2Wm=a*E0$v z8YUQ2AWXVtVv&sSwYNf-x+x=!IdLH>sEp%b6vq^mp+~%Dl>8*a1359J2njGTb5$T2 z3Q@B!1%yvTF-f|F)b_5B8JTZ6d3{T`*D(*7wV<{Hyn#=iN>sjZ%~ax(b~7r8`Kq(% z?UtICnJZ?!9a=t2ro2~BL*kOEbJSHB2-FdxiwWBGCfYZ}1hbQ}vybIBBZiI`)QLs_ z--M-0k^r;>FLd=^Aq&fVwK%!1mX8N_?6tLY1L6^gg32rzytmtJ?a9%5I`Q$ z-r5sw0ZG}Vt~2*t)*h#3XuRMwwzmZ6=AjT}k^y68oVMU1!*nYO(U>unvPLvkW<7s} zXlB+}F9w&8#E=FtKVy5-$+U9_31J$pB04j+iwvx!qOi#Kny~#%JJVa1cYz~s7xl^!ob#*!Q7V*!Q8a^13)*8ahbpV=(C)sawulFqc}C(vh?$m^Y#TX?1?)CdET2H1%@uWnz@VqkfrMbgi)}BJ z5T3xMs6gnLmuUVA79$@|cX43RZm8`^r5Y5XnGYrNXiGq#SqDDjA*+L#%sbm@k2t2> zYa(YvrQN{vcvDV!d>c%Ux{@whCHGIVz?jCbI#z2blJ#pwrVW{H*Jmk>I)B)B&67u$VpZg zOkzfod3AidiHTe#(Zfr{O6zTVDZ0GUd`jVd1Ug8m#dZ8_bC|D_Ft@#^4x3_bnSIyl zJdZ_ECphT8U^Jr554_WgHJ?ex&|Is@Ds6C>%GHIS5Dg6Sw{_YvRMoKNl!0;- z)1{_4YJ142YK>$V6E{i;$%b#@X*kTLOYeUPDa?OX#;KbQS5ujOu4d`+oi+Mo^R5(7mEg=D) zOcI0J-);*QM@W-5e_kcdYGE<_wT9kBb+L}lDEjSKl%7o{@-TiW%iRC;@L1)IW4v*@ zZ$1`TkvEnF@(()ihkrjF{AB-hgqq>|_v?2fzC_sT6|(*a_#yy{nRmc%T=2i&g;H~V z_n+?FchY6(NEk;ipWLTG=2)iHB$4@B+!@I*M5rbp0y)s3Fy~@b3bIvg-&Z=Sn9CH9miV!9Nb6ZkeoGfP)1MefO?Adi43yK3kUEq8| z*Bzwheu2XxlGg39^jde0_)jS7_b%+9_5gn(T82pR-$`&I>XEV1-&4r~7w&leBFtHCo+ zk;dZdmB?WnzUal)@5_D8_!5k|c25SMh)ghQnYw$v4I1JJRd6bbN{#SCtifCN=AcnP565EMblTy!PS zg>%*_9;y~+CB=NmoGSqZTV64;|7_(G8e!Ujyy)O-*aDI7C1uFKSqC1X>8xxuvyk!; zIZ2UD`_!vtn-eMG6BnIVU*7qFKLI`GQ(yO>cBw*V83H>Cjr3rU1_Td z0Ik?;yyPJStQE|}84t8{_*+nfC6f(wcR{g0F{)etFauO69YuN_^MN@*vHF}Dvo9#p z$sMa=#-n5AHs*I3DLNRE&0l|{$Q7L#0y3k>H&vO%K~M}PLNAfb(*d&ZI!XfCDW8!% zL?})$HMV|YXr%8DYo(njDMDC9>UV-7-|otO7)#fQ0){ozk(GAcLR-S>-N8$j=Ik|2 z0^aOqSduYHinZCLX-1LH+M6gE*B(-f^xc*K?8_c%x~OV>TY6U2^0c&|xX2JeaR8{o zh2Dt)8|bT6CZ!8c_F)h#9U6phR)w(vg!pzQWE4i4Z!@*5NfY?;Vsi(UMB~Af z)F8DOX2g=!C5N@@^SnAfoLsBMY0gZO;^$q)jG)cMN$`Wk6nNdEK=>ND(>k*veZ$exh!rY<@4W9{7h&pbgsVWfq zltTO})p6z~H}9DBv`Z3Q1kOM-NQf?rY`dF${lsh4Xv$iC17K70P&8J+(kO=9yI8s! zf-g(X*xW8*3v;B6BzXzzTEMFUaj?oUxEci8iPiY9O#E)F=@_9>VK>x3SAw7s4V9se zL4m}UO4=&b!6d;B<%jCrhMJjdFKC=nHRJ8;lvDIrpvSW0r%>TbDuk!TAu14bm`gDz zj6m2hbI_C#N1+LGVnk(}Bc>Z~9`xq7K*-YEZwG#C6G}`*r9gO=UZaNN8Mk9J2*XXI z6(iIxh^uMKUTqzt87q_QB?UF}MTeT_sQKt1E%_;Yu)&HEYR>Y7$##_LDm~HdygEkP z@ku6$>ggWDG|#hfU^equ`USH>cw=3<(cg%A%%+snoFCq8FnCE4<@t6DO2;s8GSeYh zLRJYT7#ShDY-8tOAAj|dje3^Lo}p+<`OPd#`LGEtfTey$6&lLxwFc(@$t&ly-2=~C z29hm@VBqrv8U(5c&tfFR(}SRE(8>ort0FTJ?HNfMD!M$o5*1X~r``$Ft_>OELWh0H zPie`4tO9|#8lY*8)wO6wEMhx$*}^Fg8!;qK5@mQHG!^=!3Ze`kH1y-q+t9A*7(W#i zqI^S%39ck08G7BQ5NcG>Dva>aFW#7Sj4*a>LuE=gORYelGRL5)Y2F6>0lBaADR&Xi z%ZFK?dL}9>QR!2t*-RyuHAtzM&)i7}<$_JhI2`P#G9QO+y$aM3qOWA^Q~_(QTgmc$ zfnG~FmhV=whg6Om;LEXo8u`4=8ZdY#NB4Ki-Vw#p2bNDkNF2;J-&UJ|@J0D1j`!4B zz#+Y~?1;lSf>Io_6G4>d~~612ZTpkoFw2)9OKoGHgoWjWNgBRRsqd0+SvpkmQ(_-fIv(3mH1zq#C`< z!D=#7XB;_EN-Pt&_-z97i9VZ@1I6xMBqv#ZjB-)RtbpZKL;#lSj}`F!1TcwmVWr30 zim~Lz`B*?9vRsL*Wp;NW3X$znL~HjCD_+Y~z|mVkhZ?i&&-YL;myG3r=NkF4)rPnL zcv=!nloTtIgL3h&Bg!Xo-HOQkg_h@90uu(0No{l7q52J#&poG_B{%l)aI9A#On92J zRvopqU|!+0Wx$|37eo^ivN)pmCNPym54S9C&d(|X1?mXd zHuzpXMnjjW*Ztv8zQDk8c`LsHu(2=;ZU@1cb-)%*Q7od?1J~HVQ_#$>|-i8?|iOOoj4!2YRX^-03k-yx07x<2$Q6Roh>+zC9 zz6qamb_0ubLk-mx*Jl4nl*iTHC50&MO+!gNYj?pAGhX zv+=+W14<3owhHk9-$cg{LT9QdCSGl+e-0-h0^-_*h0<V-nL!rL_ zmTrK~zaU$3v#Ew)Q|r+b3q#MVo_8o}iL}&C_Us0h<^hTFN>0NHLL34p#HZBd-m3B+XKy{~A#{!Z03eDJt(w+(8!>nUB zH%R7Vu6a(B>3`@CB#BnT(7Lg84MN?nC^){k#PRGyLLz!P7|9}EKu;m`tCDH!HWnEI zPmd~vsN*9EJ}N{ZP+NrNtlbPpZLf+;)aF59;v99AOM;(O`s|5%3DM;eBN<%`Z_1@( z!0J-IQ(%tn7bBoFd1W@h(pro?Qyp|wV^djjuM}Q+2Bs8FBT3WJ81YI$fncYzO`#rZ z!}NgZna#Yqz*pC-h6+R1w^hGGts5$>T0VIxQK@()KcaTE!pvZ(hSHQoR}pIz2=gPR zph4QhHIy}ikrE&dyVeOt7zWNDDM8fnqNT}=J<)c3=@OGP=|tN*LbTbVhFY1k(9cml zV>m(_`Du5RO_5L_kw+O$G@lS?%RbMV-$GW6qg$s$rSqm0jjS6gGX#|&<|%I^DT;$w z6ufY>G_0zujxLWWnmpx{*;=D@VhQq+k`B2^BZ{TQxUxA>M=@cmLbL^78Krf6&Cxd> zBLP`Oj$mYj=)$O!mbOw}U~F**iz-Bg;#mA}_K8|nV`>2`j1|iZz92D5%Z(Ex#*+F& z0)lH1k`j=NZ8sq!z%uC-6S;}nArtv*MDvLS4-vAjMl-X37R$`zx(^UhnHu{@{b?B-rrt*_;hi1^>p#m{fEE3zkIp9x_f^5 z@VEH%*H3@=my4I1=MVqm@%s7t?#qY2`{#f7#}9w}aC>om_s5HuU*3HO{oudcKRsXE s{&aKo@!j9tzuY~yJG^(_VT=g*!_(#C^~3Ya?ZeZLx>_1*lwD)@1K<>~+aax>HO+8JJ& zHu&TH>iquT^Xh!?anR2H^Xv9JE{==oxift5>pbq|VfFpr6OWTyd*}MO_DHQrc{N{8 zd0$^dHGUl(y*<7!XLavKV#A-DwDe#0inDQwaqkzM|E7QO@&9K#w(|#`@BHfin^*gk zSDWXqS@!qp>E!A9bF`Jn?iu>4tE2PyyQg>ix~3)%sg=vU6C=<8C-C#q|Edc7>i||z zFU()IXlrm<@qMtC3UFov$a6dG8@#W*kHbju5lA_?D4lKPdaq>a)c5b{`8iK*KKIh( z{fB>NTX)OvP`{PPe?*WD^^q(7k4oL~-_$O?o!ee(6K~GD#jm{sKmSKh_viboI?BBn zO2;<-&C93Gtk==Zsn^8z9fBvtRj$teUERHcetWmsvi*HAmOu7k*&-k$y51IK6kIWx zNn4J44$m4*3m^RW&t}N4kQo;~+ZoOg=uG}7wVPI$toU6MsY_bPpOK>XLsE|-BTpZ( z)%~3#=U&|XY$L1mWNUQe5xM<-*j@a1@9697&9m2APnB0csP_6j|ND*MYcu5o-qPjSs9D{=J94K=G-nbH zW2g3BpBAG+1obZz$hWtBKAIeY1u0cd;O^uAqP~w01=SEQJSe>S$${@KpO&q8{#99S zJ@~2zm$h~^*DINuc}#=S?s2oF{ww5+%;+nkE=7&Fc{{|N z*;|sl?%~pgulJ$uIJs0j6TQM7c|=I7?5LXEXfs&5rHVwg0s?{peTeT4?w=P|I2X@p z-@1z(eNi9`Rm#k?cqAX~CC-5$!HAj=e|r9wC=%syvGHY-4K9+BS=`38a>YGA$5{ve z8(FPgwCSoHVa+Bx5>2$Zn?4BN${ckz@sp1Szv+5^O+}o_oOxwsl6*M6_3VxafjcB@ zdg{GG>U__@{`$Az5EPEmMF+i}QCtK|fG;UcE*pVfv4{Kn*X!HsYFw*(_}2YZaM^CQ z=ba2wRr1d+7vLD8FP)lNmrDt?SlnV<(`pD)4pZXI*X_X`?7H^DSuvYrV%RFe#>uTh zyns1twKUygIhAMRg>>Td=1`n>^;w!i1qaK7og(uu-r^MqMK@Q)y9J(R%GcYYy<-qa zDl@AN7t%Ae4G-A$v>Eyw&dZt6@D|^KCC4+d#S4!fzn2>irU-rBHHlvenrCitkHxjS z3p8AReOUw-idF6ASR9^1p5%8}pE1{;TfKR5cUaM|7FwB?1upA?HVFkp9qfv8;(JZQ zIK6wRUgYoZuM)D735Iugx#qouFBaOVIc^roPAB}jT)=2UvMO)t1o?V5rAC-?f_XpF z_`6_*-xtoPEU)be^V}L#dwjdI_^{d-60c=X^2q%IMmC6^N19DZ^m!3X5x$>~o{nV| zTXlIa$hStHzk50poU|Bo{5rDxg4)+EpC8cQ0gO4n8-gxQPDa1uv;E(fAkLvlD2_JF zk1xAfttVP%$F`X2&WUP5*VKA^MOp++i2UC}Y}lYKUat0zHHE)6sK`U&d`Wq}pE6$H zk${CdOnRS$f?b;gTaAmev#U}2l~_zc{9C1+lJ!talWyXf-L7rEifMPN##Ebv-Jh=> z60a*=@{YbAE?;^(tCkzBEmf9zy-3vAyKz}LU0z>i`B(Y1Qonddd(JOcCtGAVWB)|e zek+96=j%4)f z`4mU(aXC_XGqFVY=HocI8Ee+E950q#Z^sbezp}T4p}FYcNUL!_(Wt0YvS!T5$69d* zK*skp{Tob_<&a#bi~R61O`Ca!%PRLwThXn+>e&`)&TSMy?J014*T3Eo+?HPBq08KB zctWV`P^;AaBetd0VlFPNyE33G-<#Huas2tXwRI5vVDeYH04t5dQFrya%H~S{3bC~= zGgRJu7I4<)KpRW<-km%x<>uF!tF6P4@2mVWrn#~3gu^M%>zA;sSD`a=DPqeuor{rt zmu2!p<&wuXc%T9qd#I3&%PyE|rc%1#$-rM5f<>*G%%JPHv zRMz*WLv-fO#|6hbpZQ|)I5RAGv+v+Y-UpY8ln7HMm7@!Cnx#WXuhWPj~;ABT{0@2=MK@$uraL~>t? zP%PWDv$dC&^^Wv@w)4+sT-EatgENSbe6$+2@VY_$H+42HPXCw)kM~3}3x?M|$I(pm zZ;)2yMtD}|W1PIw-D|(bdmhoY0KecD-}j$69{q+|!H@UJufDd!*Z-z)>MmFsep_n< ztM=l(iMY1EvdiNPnMu3MlANl`lCXSjFL3?x+lwm4!x=N0jVk3;>G*tk*#j?pO4Y~9 zok_d?ms`INo(A{sKa53BSYN}+SwG+1o+lSSFDdCisvIg*4S0@6_ufAJzUm`W1@(L4 zbWkDmu4?kQ3f(mREM>y11YGEIq0eBQzh5wQ;#r)(j)u(?qtp=*hci8A)$r3noe#kg zaM7Fp4;fQW#OJP!oj$TnB_91)&HA$~!e)NDcxk2nysSxh^I=9<+Uw_y0s(y|O);<{Q1F~zqJ?Q5UP7}tt2|Cuxe=EH1cY1rY_wxU}I{6Q}=xc(nB8LBmPY4$8 zyXXe0ZW51v5XBGKA|OAVu7!ZbtIMYY_mm*#$A_NY!uv%QQ=ZOPyo)X)A}+7@wV#8N z6;mvQilTEji_%&8xrg#%pV#A~^JTH;V?EC8-)`{@Cm^_8bJ`q#EgqeXvB9=8z+F=` zSv#H60ap@G^w2WwqUYZh2Hr{ehPRTK_Wt=OV=xO?P9Wb-8glPX|2SrPn$G(hcl&Eh zpgqwKez{Y{u-_|5mY(JdTcnDS;=R!G{{X-M3JjMdRbO zl45KJWbE5En{ZD4V}udzs1>Ri7hPlDt}85?JeaOCW0a(r1x zO34^t^?pZz^nBsGp*7bE_}BUgEZ+=9{6Vt!;{juKu#>-f!TC%`jPpHW$v~DlmBrGp zWGQC)<)lDyT+`IZxO~|40$)JG=q{Gc)*kfO)8xKV`2D^hpkZBcCMy~I9ml^@^T&Xz zN$@Oh1KS$_n_b}-bHJWK8R-a>^GhwVyky9WToa6YI7DCO1e>+YSEFEb&&I~MqaRPl zpj4Q-0A%zzk7PBLOweB-7Qqbp6ppmm2u9;ES4J~WY2Bqb2bRNN?XS!a)dn`khhksE zm7lBrh{GCqB8ueenO2us;3SG`Crc@*d99+9yzNA+d8A7NGOFlU&LIQr=>(5O*tX0q z5>i*XT^;-LH3#X^H!?X=`H*_mDTdT!cd9%{pI;QCiBt73P%406yDEoDmH{{}%*jkvnfZ*^6ZJ$CaL zM%w9t{6eCDK`0cTxj0rmgNx+5DDGXERyEaE7`UV@V>(S`A8XWmv*u@4e|ntlr_WQYpip6reu=@rRVu)7o zd7>E5J&Rm|zh8OI=8h4nYj!CvKp?3rC`AZG>7wDcJ)!$ceEq)AsAVIIBrrR`?2D<= z0MY@w4eTnr-K=^CiCa=Kv8#6(@E# zE}@->JR+ufay!3YNWDs+o1|+NKS_IP-F=UFPk!gsa=LUsH!^&zKh0{&5QbjHh>Xe; zHwQoZ=4&+nx`d!8D@v3?(_^2oi1_v z=X#v>SYKpCeGjVX2i7886x7xZ*hrO3Myc8=DGu0!w;kxEd-w&hEUb9G9>X?X;}k}>Y~{75Sligvg>)kdcN^?+BZo{O9aJpK5m%1Lej zx-+J-@OkZ|IJaxKTE!^$wUyu(ARjetYG4-_SKBdA&&?WRGKz@&0mAS>_!5u}Cz6K- z^+sncLHN8QDW{M;RSX9I#}bG^x?yXmS<(%kdUJ$$g=J8xoT;G-`tmeT3-n`- z7xQi8Z6o{YXX@}{JXiboo5fU;OoAEYJ;u`mUbI8t!v*T9xatSd=Js$-S{QOJ;_<Q(=BWGLj-2#4Y_qc9qL2ccsSF-`VKwWdb9gN&fY2YCbcj3jgiRS*~<$mZq_2%$z{{+&KML*g!}N$U}z1XVuPjY8hnxvz6( zydZiOu&w%+s-7h)q%SRoG2lT6E&ohW=$X`SwgP#)fma+ZEioRR;7rYkDwN6O5zSLO zxQ}sp(}n+LjxFB%qG^%Pc)J_AG>2p4=|)iMAHeahI@k2HQ+3`6+%vrz;}u=U$=ki zWuxr0r$J&4yU(I6kmJG~j5$eKsQKn+Wde!0&O&o_pMNc5rSqnjH2bL=wiU)J9Fn0A*Knjl!lq2Xq*y(qLFoz8kPvZMU zCyest8+x3Gj#C^sAwfT|&oxH{h$F0dVJRysgc&5f(+EQs-IxL-8U=91%G566i%vE` zkaLq+1RRnGJIS2ATke4-BH@ioM>+U`oA0I?6%dHg&7AVPc zjK|Cra1ahoL#OL1iC>H#1@OaQ5F;1J_|y~=h2zX0c*7Q?VSpGU9=Bn3Mv}s7RY`Yu z&5&LAwm`L1i9zH>J8}y(j+1F+kiBrCuS(3ysVp1mdhbR0FaMehBYe^IGvZqwJ8~=- z6a~qmd}=VSOVpn$xy~?4M%j@KAoy8XR^q_Bv82uhhX94*W{zT^6{OnmS0jfXUP9=a zydPQvE!`$tnqRzX(;;#q0xccFc2!&@h9L%ck{}7)zrng+&q+q@DO}H4ix8`k3eslF zf({9u2`?ZS50ZW#Yc3hYLzv~@t!&Go1Iqlb3P>X5otERiM6 zSup>=*eY?2Y(Oj&&QODI03Fs$0)Erx*Z64+j3Jy$Ce-i2kPuc^jTTTht(6f}Gg8ck zTdfX&^{8c)+S^ZKjk*Bm>ZGcC%lO-K@_-s6`i2V6QIEcZE>n8y89;IAA8;4>;Hwb5 z@3)qEq~V1xo|L?baJD#CGWs3GW-9u}O}U)2!8_4t$|iWE^liVm)OwM5@=ah04uXi4 zO`-+l6V5b!cMDh?ZwGPuNq_Y324yW5ek8oNYdPA4-8uKipM$<-LG!o{ePDhv%>hHlTZ;4t-3I!rl8nF zjUhN|4{lrj)gpHB9gY{Qgli+e$>}n5;?q%T&hMG`qb^zL6E=hOT z7{SPy;EY}cB3}k)G-8HUO}oEQl>bn`BDN-o5%_3m(a@4RZ!AroTZk0wT(d+#G0@wIm`i6gZqK1vz>PGvx&dZB4pTQMMbvBvcqQ z_ztmRaoNw#tarhVXZh@fKn00wpyRC)>MHJuirmJTjw!sy>&#PSluxisn3|ankHi(4 zBnz;QIV!vSDhgoc8>1>Nb~y3@usl9`l(9X;jhByF?g=`8H177bZn)Lk;=)LQ*%!l% zQ$Sq(WXDBZ(Ft>-i4U5I9j9562_04$q6Qg2wlK!1>F(bZ5+mnO^sn(Exn)R)2@AkN zRg@ZAmLws8$2Y=PR9-*$Sr@oUJon9~u0`ymYNm&YNI3*+P#y_?z4t`U zkj>=vLo{>cc4?b#bFK+?IJsr)^~xJMqHM)eiokGGV3?P5a%+uo(cML)6BF#+ zNtoCk1gq5?T^VyU?O?`8nUdZ-E%*_0VPAzRv6hzcMo&t-*qgK=1e}%``cXUz_Hq3s z4jfP^BDM4@(E>Kc=v1dQ5nEFg(Dj=(!f43&Nf#d?WMX#l_@eSY2G2D4pbVi$d}0`w z?_`~{$0NGbM`mJ+&zyu^RU%^GTMQgS?H;O%dT)4SBuT2-V7_h$p$}WrL87G9`Sv2_ zniz$t%{#s>|9}S>RH`=v#s9(7J;^d))gX%iFY87n)+gIEs%|NY5+Jh}f3U1NME_lS%f9_=rnHdgzS8em9z;C&S0gbboPe_R~3u{*P}W)R=N6= zcTm)S9=Z#X0Gqp3$Vy=S5lrNsy0nUUU@|q~J%dc5Ox9Cd5xKaKKvXTF#RXy}HgX^~ zMyoGng{Mud$%I|1Zz@ivv!Dnyr3Z@U=8PjSP;|$RwWesZ#Pml9q)Om&Nxf8Kb&do8 z$R1KGRJERC$*&=vx|^PfJfH=ig*!tls3gj_k|f68#dtM_0GWJjW3bdlydG4b0?)53 zL1$nKC_&`@WsMd1FB)}&r~IwFt>q0_`hnaamLZUmSJ_XR246ZO7V*=QW)?ox2uGot zSRnx5X-U-#2BKL20ck++7cZ?6EKpwQXGd~wx7%kkL5%H-EF7(buU8 z-O(ev>Shq#+Xl$L$<0Usfg%2=DFUG_p;*3# zNY5PTy$I7Tn>jyLpk9+4;k2g#Q^KLnh%VAHbVVv0fAFyCcs>R5YMV!$m3&Rm>wd!O{)K6 zzKXn%1USl_`!IEW`Bx$-g>ZL_87cajA6<*Hxm-YVH6?5 z5{D5mZ`L_^ynyi3Wl<4qK;jlMHSHX816w`UH8*Z-9S~~{>%soXAIq@-7Fa@?z=)ngj@f6m{PD2mdhJ_PmA?m=K8owKgiMK;*;A|(DGxh7!9rje#qAv5HXsbT<`TRejeHU%BXjq8<* zavK65uGT0Js93n-PHo*|L}2=#Y_(Vt3ygpIBnuU5VyiHz7z$TU#i*p{@ZSTDnQKy% zv&KvPdN`zpd5w|<9^=2x_uCZt<>$};H6LRQ0dv4$o^ddt!;-`SBwLtkZ%c9r6^yRc zOd^kRVVIeyMeQ@#B|>0@DAZPnO?cLI^u2qGM*6?}-&eoC6%>lx!T6`xcDLn{c_xA_ z;FhpJ3Zw&Ql4YtMlX~D=psbFm17$-er{kruIfe`5EwLVx79PgkN50;*un(jdZkg zuhqB5l!&_mhtk=#x6tW1s_atynnW*2I^OCXNUVJMx3j;DIWH@A)%WOmL0+k1D}tVN?Ys=?gAEEm4;Sgpn`WZq{{lu@dTz7g+Mm2jQs2udIXT9cS7 zG1AnZ=AaBc%;-ue9;Hpww)rGv%LkPEWe&w0{Fy- ziB>W35<^hglPRfsGDG5!;0ukXvT{Ra6H1bED6x z76vbbqOWVtD#vabUb)not%0Ud235>EqNXZ8-uPjH($}1I_&9#{NO3vDz1%PZgXCea z>L}e1R^6H8FN!B#+>b!Ap$VzaHj!*lxz2%6N$&txzPK{&6;n?Em39>b+D7;lvzI3F z%=B44^-v1{eB!t$^Cl~@PpA)yvV=-W1E6d;{<2!q=EExiDagv{*=vFa2AwY@U(S^ zO9UOp1+L52G>p-1wXB0;`4);pW=tqtEexVNcPoUKy!ptD(Ld(m@W&uuUM*c86O~ZE zh_erVK6oE*e^g#&(J+XtTwKMj)^Xmh6_ta{ zC%YvzI4xL-5L!L+ zpm2)8=SGLN(lQYev;2-Q>~j4oT<*kA~h zAIv%vDIzf^(wBL|q`&Il#?P_KO`W_~#q0%qaMG+@6Uz=lhr})!NqlJOtdOx)(j$Zo zhi>=kaKkRmQe!9j9Ho=B6+NwmP)*5eWi2;5hRDz=W8$qn?<-kFYM8yl2;z{%z`_DG zamSU4Hd_dx%eFfXrcELNzb@%Ddxcf`m=IXqWY~w<2#e={=i0bcko?<*$fa2w;l+B)DH+SU$S^fG8IgBbr~f%joddt7{58(e z)`FY5EbvYts(=)`U_ixU9GP5@M#-!Bn2J*6H?D$NtW4ztN3xaE^c+6Rz~XQ^2QbC4 zV(AVQ>^cw!4R6ekkvRpN@NMzqUc{4yr|CVKVIh=54){#KHMQ( z*Tx~Kj(qg4YDm!*WHE$%Yt>Gk+2Gz4MNfjW*uk$wMa%%JqB0Vz*~n(kjDS;~@aj?( zq_c-;o)y+T4M#WUEPfY!1Xo$7PT5sjeLm?i;{AfI^^p>r(fCsa#yBZv*#V3wk9{Kf z7yC|_xIMYpYGl`G;^xJghLQk_MNr9C`G>B25Jd75_ex}Z^jt;hFNVJQClg8rLodrEadZ}Wq8+|l$~?4a`O#<6cq!z#A3 zP-r_C6#%1_uA{%aL%d`fR{@Uoe^K@_@wQp;md7?T+X)I3(&5N&rEyAy(l;}vF`Jcz z^0nWg7=4@;qqy$Sfjz9_6$@^er)w#Wwc2LPyZmU<>_EurTl9E%qKc4wwX|``^G=&( zC^OtRt2B(`%{%EpX7=h!_2_d0)D2hjr)uXBkDhBvWy^$O&ROVeUf%64B)S*F5xEG5 zCF0OmH4gkyjzt)$}NFKpz?SBARXKcXlgo2#PX;fryZqIyv?k zNk`&-ZkfEydXoC4dt*TQ&7Y~G6DySlIsXo1qZ~G%F?@hEaFL8vzsjv6l=}w|QHLfGyOOG%=0#5B1Z+rwHE5Nnu?hzuC z=mw0z1|8-&%)Yc1*b%d~qIZL@K5DmD{X@E`kAYpU9Py1bRVS%x2B$$1 zoI_R?G@G#+mcdX7@McicBkO>iWXW0^M;B^GTwrRBW&fuRmG$Spa(l}jcG?KJ%x8eS zjXNHWaAR~6HQMdtrfa)dR~8j4H1YD5XRd}<&nx&`R#X9J=XCukTF4aY99z<FW+sn<~jsOyd$XGz}9~uU;tc}AW5rKsy)9@mYT9h!T5g2eL zjR{;4vXk`SWEp>D3`A~T;x!3YU`?md$U}eXyf=4$@`_D6MC_{=1TtqPzb=!L-w1C0 zLWv*x<${MHfy!pIu#U?i$o5sp8*1SVLPAZ?8`EewGgZSYprWQYi&1%b4C`r-UUC`P zf_8^|>4k45RaBn>5gh_i0zQWw>EkiGhCv3YC#J3RYNaubJFnJu1yBaqN``s<9jOjh z*Ih5K5Mq#9%#i@=A9PhzRk!vF6*iKMN1j42IhJqW6@UpZKZPEg0r#{Us)Di#gqR`2 zLI;BCgi60j*ruy`O92}b|DaBz0xOUNItF0B)R7_$DFtSau=*@(bwE%l5!u?|`W|xo z;L|%m(N@`@C#TSI=5UW&?u54+O1MdYm9*|o5)qq~c9E?Rlu+a)@H|97-mq_|4X(oO zoUo(OC`Q;zH*s$ZHI49^YB|WpYDUJgo1=^{QIgE|TLWXorkp{xP+x+k0)kP|sp`|V zKUd{EBNGV9bc*!dXRns_Ti#(0vcL!Z;QB&G8_Ao?X%5KcyIHG|vL&aOrj(DHem=eE zWHC?jL5M|Bpie(~O-K-~r#06h3vF%O{V(WoMKj)SU<_7O>K|0dbCEu>&!O&2~Ba(~T<-avFeDlpQEGoo-w_s5wo^}=^tf}`D|G|u*n^2_ zeCFe79Qqr#vRqB{WBBKUD1`Zw0`3vf@yvx%s$oAhKz5l=s6kWXaya?tSBFm93M?cxi@^`mIT~vn6>RKb0jMp+;wNmB<5m<}AFcSE+o;R^4Wv(@$<~5QI z5}_-h4yi1(&S4JUBEUOXs1j;ypcfR4M{%ga z_P`3iE|Ed+VNL0F#YNodZ`AAG1K(TohNNn-Ue@TBZsGq?wcAHlE`CJJwp`2tXr4-| z&sKKu_?hC(gIY>XI7;(5ZgXI_XwQboj)`R(860SdG(?A7<~B)QACzhAftxfWgI}_6 zSZR+MuDw^MN6p<81Ct*FK1#QEnas@$T|FQ2yLN{KDKJbGtrY?thRGkg@)2}!ia8o< zENu~8r(~6#iWLo%*L`1%hDE*)q%ruFYD@r&WXJ7K{lf_-sIS?;@YLi~>78CGm!QN* z0_0S$VlXQku}-+U9_ZAf7nqMA$ce2;{P6CdG6YI}X1xl89vQ($H=E}f&qQvr zY)bhJr@gOJK!X%B(!%K)3_d))y%P<0!n1BB)51XjkxP-LLw@Pm3tjxgYKXB?+4AuS zWTfbsu<;hytJ8U~dR#8=Z_meuTB-_}$nwzxnRfCvY>H9!xO;-lI`t*(RIDhS)C|x@ z;1y`2KrYA*5(t@i4i?6GiZ1sx9JQF4IDg6-t(CM%aaoGnH}iq^U>frWz^$rb4Dpwx z)yN!`R+NjqH=pcinDUlvFx|>sUB1&hnF=e_63)KP%6x@zTiV1YB`B;5L(GVj0e;dw z0a+!dgJJ?SN}|QSmnc6eNnO)mM+Z(~h9nm`iYk38oq9*$x3VR<{rjzfb};i0DIF?! zFSbJZeA#rAT6ydTk#~QD6(uQ3s7kjIirs|KI3db@4EfMtC zrU(8lI5^!M5A8UTKJ4+YpO7k^c9zNK9&80T-i7CYB=efg1`Wg|T+bMt4OJ^~Vbc$& z#nHI8@W|X3nE;!p!Z!3u_E4(o$m`^|e;n%9AC?TjG7k zYu9^k1!8KrDJh9`GS;W>@_L_^w%I&h3rTA?5Qsco+yd=Fq3rRJ{cQ{^X4Uz1P|Aw( zVeK0wJ=~g3E|^Ov>KeuFRl=wf{UYPfQZ1%IQn04ZAI*?2uwu~mQzUA$y|b}`5I<_ z=?uq^k|dkkd;=$-V`VqsiI&d)EbS-Xilq1yh?AY;EFZmgL+rV0u_J#!RECW@HMmVNrqs?;E?kmi@=kDN`G z{g%a6JQ>Kr)T&vwyc0tlbjt@IhMY6YphHIz=Fvstfn637TQ)Iw(_}9-Do%emI*aPGr;D7 z8E$%40mwqr=xqtuR6J*yXkzAo6J25?5v&Z@yyjaSV4d4cWyl2s)?JCzoAm>uOccta z+-L{k*}O>da|%I_6{DGWA6iA}ZnT`=k~iRv;V1@Pz)PCvsB&v4v5nxu&^Q^|GC7f{ z&drY9KP5mFw%pc_CSnf({X*o&Fr@Ib1gYB|gS}`0apBM(*e_xG$jfXN6WF0dJwz+X zp&{HQ6H5+ekYxWDdc`>`d}h_Szxw0NZ_*}rTK`Qh5soea&|p7Mx$J&IcAvlEV5rW} zKVkDj;rXpiDEQ{5Xs{ti7oAxZg4H$%9pjOyakt^s&MgbA8rK5hgkRp)@jT8=}%N;Wy0^Kwr;eH!|+Y}q_d~rVd{tb*qo$etfK>; zFO{Qecvo|2!eY!JOLK~gt9BvuY6i%Y36q!^Ae|e}z)B zTU9YHhkqQ-ZNqCu++o;`FiQjHXk%N!CB%Ng{gzb+vc};r8vRxV*JrAisb(|^q_Nx- ztmzJiN0Vb8#u)A6{cT}rw8Cu{1uZP#Pp0homi9O5^q<=N=qHSzgl4(?3}>W@62gST;l=I(tsMQJH&Rw3^AIZrNiv7hVksQn}8%${<`2Y>untHXmd7{?qBa64TM$C?Q~j_j7TYe4^r! zL}275Ly+KCuz>@}k8;d3%HVmNZg$Z+=RujfuWjn@m`gSr%SDdW#alxz0ILF=xz!F4 z(-PO7Txw-c7Lw7#(K4Tql9~-((HDGpeTIK@+*2{7=E(byGR$$+NPDkYcwUMSpjDz> z7hH41=?7rgRROXp;yC-CHap?vN!BRD$ZYH)$#HUtnUX`r=#T`AI!|P7N`Ywyq)F&r z{fMWEj^7eNAc=s|D|52;OJCbyC<|0%k|?Ipr2)*Egnvw-sRG@QeJ8@CcvLxuG~TZx zc?|m;@}J#BxN%Zrm;>y0AUuOUSVfr;eK^EL@GXmrln%xvwOLwr>x8G7(7EdrzCTbbq zd6>%k}2>9JmGvpfXtU#2A=i-(y;cY&s%J`HCKIhSPG%54v}z zyizuw3Dd`{cA-6lCGTWjlk$tbK(@MtPLm+n{v+s6{R1@H{`+? zOD^b$eZW>0QO>O!Ycf;IOn+_xmf1k#xd6%~P+=n~#0j-Oe*7LD3Z6T}knn))b%^#{ zx*F)lKS2k|i9>e-g{(Rc3LjYY2jJoJ^D6HHHDxrMH;pMfiIqKtId7+HP)gB#N@(Ig zxb>LaIq8sRxqM?Za?BlcJc~Q}xRkmUSRDKcHbm7UO3=H1{f;Nj#2H5G5rHVPa%l49@ewuyIcB!w7KuE#@w*7?D zy-3L8c*(~N)DRz0LOYPz(o+?iKYZ>+ZculWUZjBaLs8f^t~;a0buu6@&3J}6a-y&J z_&wI@$as^IcKSr!bWHIoQX=$pB*=IjeA{KZooeC)Jf<}ZC7UE+URL`7pCqtVSCW5q z8(`5t0if+7tYI-$d!R={r2e?!^_s>ljR7|TDGX7w%dx(EDxvT}N)&hTGxM71-(|%S zwk*HFP+Q$!8?8Q=)VmC7Jq$n7vPEg=?kFIsydbf?`}WNJYCHgwOkrZFvg=S#7=;w? z&5pVYN;Z7UX}9rCS(_u(e(er0+-{$aiSFc;A?uYJyx(8HQ)}v?BM=AMRZy=4*)6zvg@sh2q5{mnx&4GAu6#E!j)u$<66Ne$74$YllscR7}-u7L`m0u-bJIhjoy1u48wv znP^U$!hi6S8bwy_siB}AdD^Z`LpNMv&9szaSu?IN7G`lC6nqRy)(H}NV?|ZUz*D~n z$MunIBu@{XM$TBZHe+Nfzlu4{XilS=Q^ue86F3N{0JY;E*p$rIh0%6?yIm7z})I4KE3;)O&xl!julr~qzJj-v_m|t)( z0aeLnhHfCUs|?j(yN$*^bas=XKU9rdmMZT1iUsi^dT6 zM6P>gadS*Tq|PL>18l6>gGo+qb#1WV#SYr@M%u|i z)0;x;{eiT(g@Yt`8W=22KJFsK15788Gi90{U<1%#6hnNSPM3JbU9i3fAr$9p-$ zD5R=kEck`?eEP@zie#X2O31-B*(cGkQ!zivqB1!1(@hT6D<|aYIZsnkIR%(ht%V;L zf`}2UAC}FlavKmvF9nL1<-*3<6~UO#So=kxl~Q!WRzXpI((ohzOD{iJ-0J0uS1}d$ zveejiEf`vx*upO4!slo1cfSVCFhSrs@_5xiBAce*k!5`Bz+*tKz^6F9_4f}Yy6l!} z@blT=2ocUTbBHkKbcy@~2X9}$PgoxqL9z*8Jbmx=zovKi`MUAjJYWC+{(*lxO5@tW zct7^%yFyxhzP@(5-u{?Am>k?AfPDUeg}00Jo^`TOIym{+$@PtdLv1Cng9Qrme-T5u A7ytkO diff --git a/Writing/ERLM/main.tex b/Writing/ERLM/main.tex index d88fd0a92..0151cecd2 100644 --- a/Writing/ERLM/main.tex +++ b/Writing/ERLM/main.tex @@ -4,7 +4,7 @@ \maketitle -\input{goals-and-outcomes/v2} +\input{goals-and-outcomes/v3} \bibliography{references} diff --git a/Writing/Journal/JRNL-20250904-135850.md b/Writing/Journal/JRNL-20250904-135850.md new file mode 100644 index 000000000..55da3a326 --- /dev/null +++ b/Writing/Journal/JRNL-20250904-135850.md @@ -0,0 +1,69 @@ +--- +id: JRNL-20250904-135850 +title: Thursday, September 04, 2025 - 01:58 PM +type: journal +created: 2025-09-04T17:58:50Z +modified: 2025-09-04T17:58:50Z +tags: [journal] +--- + +# Thursday, September 04, 2025 - 01:58 PM + +So today is actually a late journal for yesterday... I got +sschleepy and went to bed. + +Yesterday significantly less happened. I finished my first +draft of the goals and outcomes section, I went to class, +and then I got food at Totopo with Devyn and Erik +(Juengling). + +The first draft of my goals and outcomes section was pretty +good I think, but there's still issues. For one, I've got to +tighten up my goal. It's just not good enough but it must +straddle a line between being too long and being jargony. +There's also problems with intellectual merit. I feel like +there's not one single issue that is being addressed. + +We discussed this somewhat in the group meeting we had right +after class. Dan started talking about how for hybrid +systems the proving of stability is still very difficult. I +feel like I could have some good ideas on how to solve that +problem, because the answer has to exist in examining +boundary behavior. I should get a move on trying some things +out for that. I watched a lecture by Andre Platzer about +verifying hybrid systems, and while his system of +differential dynamic logic does seem to capture hybrid +system behavior, it feels way too complicated. + +ERLM was fun. Dan went over some goals and outcomes +submissions and offered comments. I think mine would've been +one of the best but I've had a head start on this whole +proposal thing. Also, I feel like my writing experience +lets me get ideas across easily. + +The rest of the day was pretty chill. I retooled my dating +profiles with some better pictures of me. One of me from the +last Yinz Run Club, and one again from Jonathan's wedding. +Claude thinks I need a picture that is a proof of +sociability. It might be right. The results though have been +dramatic. I'm certainly getting more matches and have a +couple new threads going. + +Then, Devyn, Erik, and I caught up at Totopo. That was a lot +of fun :). Devyn is not having the best time out in King of +Prussia and is interviewing for jobs out here (As well as +around the country). He thinks Philadelphia Gear is a boring +company to work for, and for someone with his skillset, is +probably a waste of his talents. He and his girlfriend have +a debt mountain that they're trying to work down too--she is +having a really hard time finding a job with a biostatistics +degree. They're going on 27. It was really nice to see Devyn +again. I forgot how much I actually missed that guy. Erik +was good too, he's working full time at Siemens now and is +living in Lawrenceville with his girlfriend. + +That's pretty much it from Wednesday. Today (Thursday) I +woke up and didn't really get moving until close to noon. +That's problematic but I do feel refreshed. Today I have the +union meeting, and I'm watching the Eagles game and +Andrew's. diff --git a/Zettelkasten/Fleeting Notes/Weekly/2025_36.md b/Zettelkasten/Fleeting Notes/Weekly/2025_36.md new file mode 100644 index 000000000..f83eb99ff --- /dev/null +++ b/Zettelkasten/Fleeting Notes/Weekly/2025_36.md @@ -0,0 +1,27 @@ +--- +id: 2025-36 +title: Weekly — 2025-09-02 +type: Weekly +created: 2025-08-20T13:54:13Z +modified: 2025-09-03T18:59:44Z +tags: [weekly] +--- + +# Weekly - 2025 CW 36 (Aug 25 - Aug 30) + +## Accomplishments +- Wrote the goals and outcomes, went up to V4. +- Goal was flubbed but have new content +- started thinking about how continuous dynamics need to be + included. +- Tried to watch a video about hybrid system verification. +Made fun of 'trajectories' nomenclature instead of +executions and then shit really went off the rails fast. +Lots of pretty figures but I have to be honest I have no +idea what the fuck he was talking about. +- Had crises about intellectual mert + +## To Do +- Rewrite GO +- SOTA. Start writing. +- look up cones for math