From ba1de5f08a9f04a20db6535f1da04ab8d2d24a29 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Fri, 19 Sep 2025 16:37:55 -0400 Subject: [PATCH] Auto sync: 2025-09-19 16:37:55 (5 files changed) M Writing/ERLM/main.fdb_latexmk M Writing/ERLM/main.log M Writing/ERLM/main.pdf M Writing/ERLM/main.synctex.gz M Writing/ERLM/research-approach/v1.tex --- Writing/ERLM/main.fdb_latexmk | 10 +++++----- Writing/ERLM/main.log | 2 +- Writing/ERLM/main.pdf | Bin 238007 -> 238007 bytes Writing/ERLM/main.synctex.gz | Bin 69055 -> 69044 bytes Writing/ERLM/research-approach/v1.tex | 18 ++++++++++++++++++ 5 files changed, 24 insertions(+), 6 deletions(-) diff --git a/Writing/ERLM/main.fdb_latexmk b/Writing/ERLM/main.fdb_latexmk index 3bdd0391..ba4a49b6 100644 --- a/Writing/ERLM/main.fdb_latexmk +++ b/Writing/ERLM/main.fdb_latexmk @@ -1,13 +1,13 @@ # Fdb version 4 -["bibtex main"] 1758312160.31587 "main.aux" "main.bbl" "main" 1758313994.24344 0 +["bibtex main"] 1758312160.31587 "main.aux" "main.bbl" "main" 1758314275.44164 0 "./references.bib" 1757962977.69814 9415 fb740c67337f78e30e95f745a7cf3dae "" "/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 "" - "main.aux" 1758313994.11955 1906 b2985f48fe3452882877d4466e7ee0d0 "pdflatex" + "main.aux" 1758314275.3067 1906 b2985f48fe3452882877d4466e7ee0d0 "pdflatex" (generated) "main.bbl" "main.blg" (rewritten before read) -["pdflatex"] 1758313993.41574 "main.tex" "main.pdf" "main" 1758313994.24379 0 +["pdflatex"] 1758314274.62168 "main.tex" "main.pdf" "main" 1758314275.44186 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 "" @@ -235,10 +235,10 @@ "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726005817 6800784 2b63e5a224c5ad740802d8f9921962c1 "" "dane_proposal_format.cls" 1757904657.11823 2553 3bbf169a90a50515ed103fe388c111f0 "" "goals-and-outcomes/v4.tex" 1757896122.20856 5764 a67e489f9ea8343564010d217ae37ec2 "" - "main.aux" 1758313994.11955 1906 b2985f48fe3452882877d4466e7ee0d0 "pdflatex" + "main.aux" 1758314275.3067 1906 b2985f48fe3452882877d4466e7ee0d0 "pdflatex" "main.bbl" 1758312160.33144 3170 7f578afdcd1e73f308616474dc5a4003 "bibtex main" "main.tex" 1758141512.11022 266 5fc203b73100922882e1cd826c363466 "" - "research-approach/v1.tex" 1758313992.54153 4328 61e2e0bafe86777bddb01aaa872e5430 "" + "research-approach/v1.tex" 1758314274.50071 5266 252283504e899e4cb4e770ecfcd29e42 "" "sabo-quad-chart.pdf" 1757962977.69814 133742 e107b1b92665ad28257256b818191f52 "" "state-of-the-art/v2.tex" 1757962977.69875 10918 a65147e24336b6a318bf18223339313e "" (generated) diff --git a/Writing/ERLM/main.log b/Writing/ERLM/main.log index 36addc70..7b2041ef 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) 19 SEP 2025 16:33 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.10) 19 SEP 2025 16:37 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. diff --git a/Writing/ERLM/main.pdf b/Writing/ERLM/main.pdf index b7cfd75e0e6ce019eb7187d99afdc4085418abb2..968ada58387fcedc624d04f44a41f17c77062377 100644 GIT binary patch delta 108 zcmdmfm~Z=GzJ?aY7N#xC&Hc>grY6(d`k56#jO{D?nLqJ6yBV808yXpzIXauWxEY$c gS{NCc8yi`;T3R}}8aZ1!+bP%(QnLNteCC^s0Q+Jd@c;k- delta 108 zcmdmfm~Z=GzJ?aY7N#xC&Hc>AhQ`y|`k56#jO{D?nLqJ6TRIt diff --git a/Writing/ERLM/main.synctex.gz b/Writing/ERLM/main.synctex.gz index fc5ee9b1fdf528ee8aa94c66fc4a3b7a6d2651be..6263938ca9bd5a130ff61c24d8261659439bdfa3 100644 GIT binary patch delta 15959 zcmXY2b5v*F*Pb}J>62}nlkJ*p+pfuV(`4IrO*SUmuF1CTcfP;%{(0A3_pWpHJ{!-o zpVO5A*^mKQGdTsA&xvT-Wgfo2g~Kq#+6hKKz0a(2Mtp(&W)eq-z-Tg*ie)PmOb!MC z`Egkm@`!h%qjudC^(D@1dan5?UW~vOZDdDVd1s&;apCDNsn!+|Ru?N`$6_SBv_Y?l zDtS;iZyt2NIZMP!_=fvo>HLw$)tJ7xQLdaC?{`ZTBz-^!i zFJF6q&?o{~d*W54HT5hd=6nc>&#GUq#>H+~RlFcYnqFHT6In#HUkl|?xKX2sTNt0F zsLopN;T#)91orw#k}r({x$}mpY>%$*k6o}Q8Ze5$Y)XYccDs>sq+w6-Uq$X=;j$hy z=+W8Kvb&1_L@kVl;ld?hj@)Ub=dI`>XrnT6T~)gUr+#6ep;!Z^c~{0ejSD&gg3lq%G8X(PIWoB6=(Sm?p^NVE8dd;uG4Bu0*I0;|U zWdZ*us**8_Ka?clzRgDY_^m% z_y|>F6r95yybd~CRbRhnY%|t_#1x+~b`yJ=Du-p?DOk-&GouKUX4qfNcZ3^yd7uQ$ zPBZ0Cw)oPqcULBq&qx|V`bb_QB%M1|#Ng0N<>^O1NqQA8*HSk+t6t^8O_altePjBA ze@|Sg3OnOx6z)Xr5diA1i41$g*V>}CBTni>xBE5ZLAEwu?nUCCUv;)l$9M#nQvcsE z9Sz@&ysM|pD`a#}W|FJ==Tsa$Mqu1r+<^`9J9;I3FiMQa*HM+_Ar_}E!a~a{_LqXp zmpjWBonY^fAil3g&QU>0v_Z?!rZ3mu3UL-p=rLqYb>!C+9O*f76}BGt2o>IFS0Vmx zA6CP2lV=%xA1H?tjU&xp6v`14BZgN|7{5PzL()a0s^C~UmOJf>rV|n`VFi*LcZVL{ z3guC}_*|PsXunrLaU4Q4M3-u|%-|>#-yh7PgoEu5iSKmMNP-w>gv@CO|8^RwZlo0( zGSZc@+2Gmi!%5dfgEsG}_w%OUp#SZ3#IVJcIqV%-u9n*$QqRAj`mUPvO7ad%Sh|F~ zg`F1BRT4tc(boYw-`SG47r?X)&Hj2{CeB2kqCT}sgcmF1W?~Tfn!YSRElW}Z;z;jJ zL{g4oW#T0NL!x$`D%6@qzrH1ev-lak?P&c#x-o-m2AS+PHE@Z=p*-#19J2R%KS98^ z^)h_6Wdfr=#aBt@hADOG=&^-UT-ZFcZ$eg53hayG<+J-fe*cBgfOwd>!KI&oRX z2M-BxsWUSWrmU)%8Q0?$sJe%y2m|A-3PlT+DPj>mJHyf}fFA1_tnvQ^FJ>&AD7C9O znaK7;6v0Z?Cq;$b20-mR-QdU@22|!&EAMLGyr1004AZ(X5?i@myM409j}zAue2rKL zkx^X~5tr>Dxc}BZr!68*nGwKc;@T4qa)$kb2T2$#tHI|X({Z`duJ$ikg7 z6wCbIvfY<-2WMtCzBqujpr~9V%gSzP)j~s%x=LG3XkzUE<#WvF;)@eZy$93?ZUanG zxbY+zG;KMfh<5pgE7Y=5M!~$y%Cniy#-y$?fAl-AQ9SlOd{xEO5tiQU$OpiDeKJ@3L{HsBv5V~=eD~!&*;}zQ>pA9aj~|t+o_FR2 zANrJbv7y62$L|cm;+O2y@nRDr@N2gA8Jjh|HVzV~v(&w|J1u*Ic<+6JN~gj>t~)z} z!c+H5B1BnC?bm-s44qIhHDh-=?cgmN=pC+Nz0W0QDJ=3gutd@H-=P8rzznecLL>0p$!po&|{g1^#EngWHC-{bcv!F3OtQ zwD(WBhmFsl{4pQ)^B<@E?4Ix_j&?JTr#!q*J(tLej%BIugOV%)#+qW#ne+vpyh)~6 z8=0dnZPclRPMCBoxBuHdThjhQxAuu@AYTu0!87%x%Vmy|`Q1~Z_6i#2!cU5xlwut=H=!A|1?-=n-MPs~7Su1p53bx@V>}*ua1&_dr<17<4BzLqj7w8sD zQnr+=#7#@W6T018ke6oeasi>j!4=o+g+s%7z&XS(j9VySRu(nZBVPmx{~B+x4wvN> zY1dG8c3wdkXV5_Qh#--a3_Nj|Ig0e2+W-y6D%mh_9+5kNH+Z&vMz(^cxp#{vUo9wa zTv>B<5_Y;hgGPzAk8>2!ds~*w@6C%@)Kzty%!(Bjk|m12Jss>t%4QG>Xn>eUuI=VQ zo~}L*McO1|0hM)jgeKUZh^1b=hOu#e-841A7F2F~>xAi%kaaqLfZi^uBL)uzMuC!s zXvSOQ;S^K*P*TlX)_1yKDnob0smNXjflRpMcwXKDI1Q7s3uAX)e?xFn?ouD`CB)Fx za7G@7q-9cn)f8{IP_hAd^{k?0++SYv#@R;B3rn;4EQpP}jCPVrC|)+>Ltc(o@(v|# zF^tpuVRM1FF7yO{JySy-olibrbY%(fG2==EHtWfYi44Roy4 z{mtBaSPg_JHFrtqvLwZ?9a8%unyuGNj2x;wG4)iscPcyrcBk$r_JXDX$lvJk^4?y? zy@bYy{&M;l_ojosv{aPWL_~zOd(ji$p){p2FpOFxA$#M504;G8c29IvyY-963M*Qi zc4v+Jkd5JTQB-752X~$OYWK#{3_A%Wc~YKQFx!<=@7y}4tWhn^vNH1^FAlmo*T!^! z4L90CXB=Ang&M0m0xPR|t7@J}^AzMAXm$C=Z(_~no3-D?O)@!1z?=Rgn{ueRk5k)9 zGRNuTV2=;+Rx1vw>JzIbFx&Vs0T{=gv_v zuV+ZWof57Mb*apb2CPY2gp($QN|BO<1wdyXJanow=Q_wYNJL?%M7pI}zPGAqVk#My zUf2r2*tZBRq+vv3dh?lUwF*{`_$>zGO7e?nSF^AHztxUzUYBQba`7>jOM06{DbT;W z4P*Qku|7(mm&hmQ$0@c&Gd>f1-oNsm1#($4V|d*Bf|oWDkj(lU~# zY3y;e=)d?YOP8uTeI*T06V*o<$IK%7duyaZ7jLOmMt+krM4yl|P^0#(KpC_pl}PIl z{gv+w*hE7V*X$!Z+Vl;?nXo`nM^}_HW4fmUH8kLP)5hKl-cj71M!)$ zGK(3wf-F zp|BdrHDjdwyMNjkr;Aefuz11|V+M(};4ij~XYDkzV=80JDl$?w&pM`f^8496WM{FzR`(8*<;{d;q*v0 ztVAY=nm%kA&xKtHx)uGHBlf)-PUBs9yab zn@1rxz-t$XIApnHBs;GE@E!oiur@4hDFM)$r7X?D5>$%e@iXA0#cVd|5~btFH~Rrl z6E0yc!8^}vHUDAqo3#<>(2a-`G)%I-UWxhB%I+coGkH`G9p+`?V72W~X@$&HQ$qygO z6Hy+Dp>?Hn?oEToS7;bUWOZ*tc0h-UML21_JHf2klWZ~cAMpl_gO(q=`#Dc<<@()J z{a&ZpQL@$n&mGz9`-z)rh$36)1xuuHs)uW*V-bH{H6D2qR|USyrN}8r-WW72P1j~V z|4VbZgKG0C>;$l_J2!x3mFElmzY@S)V*dhBYv#-8qi_HB^6u1uNk*6%u6T~yQ zt40&t_xjNbHtsut|A*9R1A%M;an?N{bZZDc}&k0kt6ghZQ#dh$tO7f%s-vbAM( zXFhEMb0;vI_mxE?~WN<%bdW&vQcDmAry-!OZ9W{ma29OiO1rq+RWMC zHJ{N{lNdh9b9RNw07;^2REOB-t8!W50Uf%xON3wJlp4TaVW_3kuRmcaI47Uj5>r`? zo%n>?$2~V_*hgH^kYh;`zZx(FTU(g9`kIvI4!8+tV^4#K9bL^Wk|-`>?CNukyuRUX zLo_^sv-W#Q2+bN3#I3p%M^5J7Nuh>I;3vXxD>GMFoiHECeznz%C-9w3v`h%86)*0? z{mVrVBB63-t^U9yua{A#kfBc$My93V`?&`V{s2w50CY4q1XyAY|4x@Z*J z%nQ7xLk3sFh4WewGpWdX>g*GB33A#!P2bc8lY&=}!UAco@_h%jwKzH|3s`WM2tuus zKkRYt%(W5fb)ii@YfAi=-DB&!hCiDs3QAYTtVn~vUwNfe`8(qJ$^nP&1wD8F1uHgK39k?QKW zCMAphtwWp>mKmf`L4fr_%Qmt=zg`HU-Mjngu9|HCJw1&g&6g=acTg}?pn41e8-%Q8 z9Ri>|dQ5qvVyq_<=Xl98~s$ z0*+Lf8Ol-1=kAw=A(^fMl2X=~c=6+VZ89+aEQQ`IbCyOc4L|?Vha0~grL-z55J8<* zU)aLZ%VFU`GhENLtV(%>!Nxhk3?%u%^sIangvHlog~XSc`R2|@D?F@NaZcQ^&v~wU zdE=*M#ApsL&FLPznKxSZ3L@>)Dx&c26!r)?SRnWD9dP)b+j>}t?wcsh1g5DQsRoqR zrO2u&kM*nS%nn>zwSY?ZR5A$-^G54w;AxCylkI>Y(06I*z!$xinUUOHO>tA24E5CJ zxot1RukF&9>@4)AoHd^4$_HbwqICh` z=;whZ;>s+gAno++T?Zx6hj`I1EI>J-ghR|)v@MP)xKx$9NDf=TwbqM64$RM2#T+h1 z>LZ3)^GeakKpP#O$RTRyb`LJp%@O?=rb4u|CEAjFWd~Zd?SkfS>?jT!g2Vi*OM8ui zS{)t~WaQsavuhlryU#Bw0Bfm0h~;=e-$BFk#3TCmbq%mXGPRlBeT z9Ph$+8nF^}dqwFqd&LXUl)7KdRCvdH)7a(@uzOKRnU-+Nd1dA}9^l%kf~jBl_9#)g z$o;?f;B}vS^h(`vAA63?Gg6KACnA=fb@!(Jkb6OsP4L~r2CN#$>T;5kziYX+1nwkw z&zkpNqM%BOh{;peCKm87_n~m;BmRhjvI*gr{>_qr5-lrIk!o{AL?}Z(KhBw=G=1Rk zTk22=ce^oAm4*$NcFdGE{hA5$y;S zx?xUVwy`?%cYyzIP`vM%88)o?i)JKNQ0rX{3yDJS`68(kiL~%eu3x8%ru{k!l{0a) z?@!{Aei6zcrN+bKT8SNq+tCI(sz1ZKnG!-pSt~c$_uFXx%M>^?6mmULS1>=AChFxC zR7d304$O;XKpr$0kvlAp9%VTZ6;CJ_@ZqdndbIWmT|isH+YC2x412?FGv?$u>KaUh zvWu$8fTO8Sv_;t2kq&E{>Q!d^pmW#Gg)t=9{B-x~mdghonA2l?0$5ZX)Awe#(S?5) z^~@OCH-rP?C56=LFBE>ynCUJ^wM;U;LGJeJFD}Z;*#Q@Q3r3`7mos=<$d3e%5gK$% zaf?4O3jfNx`z@A&n%HNaO5{lBn16uyhTgZz53qqeHz89Orxyc3{eNtQbQWuNz(3ZL z!TbIB*+hQ!cBf#jtLiQ#Yr!ObypPKk&Thgpe0EKWl=~5WJevpH%?gtXYMB`82K|ye zDr|e;xs*9p2DMMam}M#J4_0aq2|>KSWvrd^9#F`H_%Wrx7EIeAnYcym;geCt%;Hc- z*MpfzTBD(--g=q#2Wd#}VMx39-h;@=oF)TzsBBM0oi^+)w9Df@?BNKNukMS$E9B72 z{*qDeAz*xRscxkg<{(!eAAwWnu>O;x;h7WY`_mCGd!^(BQF6VrQQC7lWzPuzUd>px z3iy7q0B$EKbY3wG>)W8WO2|i6GGTMPWsgK&94zf74Kf)#V6j|Khn2 zgQhldZoz80U{S%_=ld>M>C=*$F+X|`01YBJJsn#T3lNV<=sc9B9iy~1z>nc)!)2 zbTfLiUQvgXY}PN6OS_SbLXCLj1zMHNOLhBXeGoUUeuvUSb3MPm%7mP&7xlru-R|A0S;s6mI1^|!RSz|k$BsfW_8EYe zg6EF&{E4meD{{+2x*P7WojBHtC-tP!uTNqHc0Hhr6V^97KzO{i<>%tN`NF?8<%w%| z6PAZ@<(0-j-XVh{M(j)e=9<7OkSlfbN^~ymTlTH1c6ZD0C<`&0%B@flCBj2X#~O|U zZ_bp}$L~I6wK?Ek(#FCqU<4B9nplN%MUs3tE?RI3qQ4Y=Zxr&dkCaJh3=|GMyV`=n z1;#q0J)@vX(bW5X4?DaWdQ{}c2`j#0o$dEzBYm0LO>S}Hd`2_$rB$dDSXHM%<<#N4 zl2#Q=lc!O)`l<@fUgMdd@y1e-)s7ln)`7U#JsJ`0ZewR8J#tdcL(9=_vo2zKL+?O` zUxtBg6v6FRAt}?pPup*f09TOih&lG`s^MAsibLPu6uYQ)YRwT>EV>+We(CDEA5*E-L5^~uecp6=QuuT9fXJ< zXNDWcRmUCw&)w`C0F$2Q>^|!jmLf+9ZocTAdo4ho2?>BsTZ|@U(~E8-^sj_gh@v(a zRIdyst>MYvwfw>7_-ZkPE16m?@g4RFW>f$-c8R*?^VKS4cnn!nEX=OjuV!TD)C1Br zu8Kngyw~AS2T>>lfyF{7FqrG&eB2nBBp^hDC#IQz#jI`;h%@L#k}u^OqQb?DEH{qM z2K(CyJ=(Cie~afI2Qi|@{tXq%E*JHRKozb9c6@uW)y^S@&n`VS;vTk+*fmIIO>2!BIWwmHHNmB zW=fNlwlw5IW5~%Eb0t&3^D#5A)kq}YxYNX?K+HaysU{1)7#o{69u7NWW1i-<4vFm< z=udZZu7xA(o;a?Q`ek(Ek(2VrrsfFXQHUAqzFzRA7D9%!)lTY7=c@ zil~!TNjykTGt$r{sa7+i)~XV39b>aq!}S6THCvY@%$jEFYls8x;&WTe8K9r^tQirw zj4O)w9_;z?!(R~;*V^?w zYIl#GO+J3Bu9WnIrcN~q`(1C zL~;45xS??nURE4rY2Dh9N~(Cc<~uO>?DTaU4HlN%MrMu3>5Ft~dXmr$Y5`^Y#$`R| z%x0O_e2yJg-?X!&5ucjc&8Q+#Ak)@c=ONdPn9-8if2dLFPZl}VPVm4W{ubqvKEy~~ zm+?h(fwKKJG=Ti`T#jG<3|fUIey0FPIV%$WLR%cNnHM{C-FC|SvLQn*M46g<@@Uu+ zSgS@T?SuDZ{f_{ZJ&w_&0KMdWZlU=p#MMDFhyFJpgBBo|+sZ;|Fnw&)^%B#cTmz`d z9(C%t_gUHcXF1oG6l!Zc#M*^!1I!R8nb+A>YzQ^Ic3bD+ZcVA68+t2_9|0voh2gSJ z?I>n)Bk~bUyI}s7XciVi{Q$qNQ+Q+Qd5YjC=qTtrM!rmVOf-Jh;fIJ>%4i9msPl|T z6*G>u!Mu3KObWCW4(znWpw);XOLBM1heO#6I@+r8kAd2D!s-O%9M8;l^-V$_L*eb@ zBuz$q8Fbo8kpd$@Q)OjNYk*7m@JMM|*C?jFA9wU7aMzFJ9~JWtgRS@!?2f{S^ERVZ zx{u#ryBV0a55BxZN1`t0_U@5h2<9svv_Ytc=~ze*NKli}X+*6akh0xOmT4*oS4QhD z+0-Z;CP0Ero`2q%KqaZdV;nh`b)fGdSq2uPNHy(gAS+Dn70E1B0_oqQcx3;rC1ir3w~rnUnJZ5-=#pUU?ru?}Wb?U%>@cEp`6^CRsR@zOtRL@wD{t!lEY5q} z-m0DFxVi@xLrPQoO0&->qsF zKHN}|`-EBA64~N)KAdy-TAM=6K7;!i?dxJTfIjB_tM}bU0Qhyd`6&Rju794}UtI@^ zT{{=)SJne>@WUK0bCm>vz4sZ+>1k1Fs>QZwrJU7gJrYubZF8F97z4*k=2vsr(09s2ZuKd<@$&(_6VF= zL(T}+o|+;6`}J=sUhIuQUNMJIHKkE-WizL7c{430b|;`Ki_L!;uch zC^-B#^Fs=YhiMvOJZb409LXYpuX=*+C*vC1*cGlka*=cS#b|YE?DF*f7W4KHWh_;u z{t?tQRk@-x)nDs8@?fPa+3#UoEB)lDbaxsRJK^AO@q`g+6kiSmlsy+Y?1WA~=hakV z15aX@Q&|T^)n2CbBUU>TYguOus6wcx3zw#9p%Ed6vkOSAYD;zseQP*!y7ojXxg#7b z{6clOokAPV1$ZaXH!O+{72Z@b51Ht8B2c6V(z5sXit{plc z<%2>oqe<^Zl6|Ae7wQbTq5k<#!!$<%r49T5NU_Ut5C{DFVmA zi4?)AZBnx}e3nulkVFEl5mqvrs$O&fr-q7o>-yTKaq3~Bvbjpgt!4SU?eFvCMPnnv zcJ4sm*Hiqaci+|6Da~Sz-iCo8x?2p9ixl+}jNVX8ry^g(MLON}+flm@?_<&&;2Qm} zxy(hL8fbOz{juj`iRyzd=i0Anw0BnZ1xDSun%f7_gLA;9D!9;i|>cg$D1XyjWcrxssLsm2WDS; zP&K7k*GA}t&TjbeKc917ZVo_>S2TvQIQ?c0oE$+Jas0|&di{c1+K&tDU0V>n4Me4P zsTU8H0x4m^=dWtvZ1Qy9D(%}k&&X31gk_l6CLZv5uow}uTQ4)!E8Aa=7 zhjG0OL$ZX}nM2J*uRDWg)+MpIILPh>4zICb$ zL^z@tlUfuUPlz8=To4B=z%-B0Yihq+oNJJC~iyLj`Ms=-?grc*(PDLC6Vx!?DX5jsSFX=&?#64(sr4MZwI z$;J$0s-=ceZx0N&O^C#uRWbEDYmI7`PSbVbU~=SCk${KbAvy#Iq~i^SETyfh;3IY$ zTNUNdy;7FLa7Z^3Y6_u?VM9ygappp3RTe-y#;PQ>WozKPTQ>^`2=jM}02Eo^LK$`| z`SI%{I>g)-M59*7$mvbY3VA0=_sDd*b1lj5a%Oig;kFvG&1$Ny$EBA#Rk@Er!x#F0hH$jf5Py{Y;9#e# z_e#FKue@6dE0^Ne)NIuo=&8nmO?jfS(+Sn-W(XFx>07n<+LZ22a05A*eF`c3k~W%} z%27C^GVl%vtpqeeMLm(Xe07noc@9jooD3`hfC@>y>0a8rWCV*5q`F_fX-tK#T`_s4 z{an-FA(St)RbPU3nBH!Ftmm;r2;bpG(@(7yE}iEDKw~AguJ8*Lkisc(ZS_^ zB;=0VL6^+7_ky)4Y6?roa4X|Q8BZ+Obziw?dxt>NYd$6Q8-KK+bJd%$i_mK!!&2kXj$aNG7S%N?+f}_buh7>rhRl%nC_0k1c)-tC6j+CJ{l{5KU{e12ZQh9j_@$6c z%&4|J?i|v-tN2w^*Zyk#FN6n0Zi`V`e)LV4NnRaX)*g+AI_?A?hV+^&k9H(!$EA-^ zv5|H3`aFL-+n+zdbtGd84xQ$m&jj&Bt=m#NLz`oy2pN;7>F?B%S5)=d-p^dXDVBUc zXCU21lWn)gl)XK{@aBTyU(p4&YsuRa1kS6jmgCp=z4>V0f99v-V)Dq`(J*XB%Qb{Z zz~9szGsx}HFVuei`KN&xnT?uhG?z*xz~to8^l&`}kW1-k`c}nEM>QeIz`2!qGeY|Q z3Mmr6qm$5D9}yYa5Z+PG)*3L(Pb>9LdR32lmHk{J)>5_XU^8;4kPQQJ7zp<&2WdxxX_d{1ZEu81fo%(wj~z)avNz8?RRXuXcfwccvY>07U%fD&qj*c4ubuQ zM(%&3L&3I?D_IB}7HTDuLU+)2mLr4SW_`Xh{c!zpu>!qW&DaLK46Q@Ci(HKU)Hg3` zd6oB0#c*gJ0|340bUAxQ3+`>SaVT5N@t>#v^B03fOkfbt^J>5Yr)106v!~k2spz`f ziSivy)hUK1!;8q|1fjn$+PBYsjhqDCJC_m9n(k z&KPJ@6vDWc09EEw+WD|l&M48IZG3=Q)r|~y%3nt$STT_SIn#ZqA*H}Ct!NFob!C!1 zfg2(AhL9YVfvQ^U29m^mik2ocw_ZVPFP${VrQ->_pDej)eP2?hRO1@?7R_m8VafD) zFP73cg!w~|(_A%I>K8D<9~pP|H=%u6y<1T_xqg0@0<;8h&2yL~Q2jadhGU+Rpz)i@ zMH>F8e}c@E%KbBDe5s2G)yI_?vDt|Cfz^^UUks5#QVV}|aai@jvaPG6t*lhxUSx5D zIaV|?MTRCem2v)!;_SR>@Ueq+KQrNq5aem$sYr3vArwe;2Z_>#Oj6(TpbgO5k!J$& zZx%!*K;CiJZ8WhZ&Zy7>0tftiV@XnK1w!US6iwWNCz!wy3>Vrw%z&^hWc?>p$$?4oWLg<$3_y z1L_{zi61>Ffd*+F_T+#*6auR~1>mfycZl)-C3oKT;KxiwOQH6j<-q{k1TU0LRCPST zj~Hi*G(nPt=#(ndRx)aszrzVx>VC*prlYv-&ADKo$W*TADhRRz9)Gos~2tH0I zUhtDj8qg~~>G|O)E!l9-GVn!<7LzdAfS&!Fr zWp*+n=|~ONwiZbCsx$b_)0#hg{-ynR-?g;Wu=KCKb6e5;;OmHBL%USst;tqM`@n4A zS^FMUK75p7zZS)S&UeT@a-?+Qra9T$DzhC#5GtC-`r~Std-qi0?KKPlyiRPaC;uVf z8x0qNTTPsCubdb@vd-lz`Xr7yfna(@?ibLwp>{pmwi>LSnM&86RyLC@G9gm^AeW*p zA#3kQ42>!)H!WP`+p*GyQ57wv>gx6tJYK*8DPZ0t6h~37yEG&Fm-l7gJCrs*M zTY;2W^SF98RvnsJRL&4mI4C4(zC;$Y^k`&W$}kiGtLYVQ#|dnRUr7>`{h30s9LKLS zE((Qlx0sm>CxbDse+lsT_2WC)GTn+2GQq23 zyQGZ22TI)_H5XIGTWa(FOrk4AO>@&U`(dkhyzn#q3jY~16_zZ@(V_X1ii~xGn-Ghy_yRD5a2DxgbpDO@m?{%PU#wx6 z*Hqv(Vjanmwc%@4_Af%#I?n=HrCOo>>2G7E=$DA^Wj~s{G(+b9KR8qZC4x~rBlHG- z4vWAG>8r!{`nzC;SZl#onKs8Nlgyzd{GOaES(G;6*UAxV6Vp=A)4Ta1BeG&Pa3_=# z4FNEe?2U*g6gnwS22;iDkFc0CqAyc7suB#7rD?0VdwnEZ&VK4a5+@ao!8ZP zv(2H#sa)Zdvc8`%P444r($(R>E@+vs_?ukd-zz;p`+o#=2x@LAQ%rb|m#4 zd#YPYlI-=(R4MM*a70Uqia<2qbnx;dg&Tth=YXNh^u^e2mCbW-!bY}@HXB-TF9Auf z$Z5aYg2Nr*jP+ED{(!dL_pj@0LgWR(SKRoWH9#wNTdSQZC;D_OEBk@HQ*$c+DF!sG zLw6Rw5YVqf=j5IN^03ozscJc8dI|CU1ja1J@NRD=c1~6?Q0R{*(=*7yJ zTlc^SBz7T%VyMWizH31skW41pqRdaX zxM%hh+68s^dm_prhLbd>;Ex3bXqpFTnLR1om>GO!=3E8Cu?y?KMW_jnSR9<`o=iH{ zms%B#zB*0x6|dXwy3+u!Gm}g0_ zC4i^R;vm9wHJf;YB%^O1S}~?1^`|Qf5NezOkB*ZbWRumlQB6lwO+>Ql%h}C z=IdW2DHF9}e(lx~hShp+D}=?yOALy`%&YGCR1RK`0ROnw2vsp-lU(CZ+|+L8{6zXl z`Dh9bG6$qO_!&^z01T-`Vgk2)Ql~#PJBJ-CTk+N-ZE(OKTN*2u89UhuJ7%TRa_$y$ z!6-_7H5czAdTj31_G7kSnGdz|{~n^ig}1&qtw zS-EAOabe4x&$!fmZ`ZdA?TC;%*Yw@IH*g!l*R|x90iOB6HUrJG+4pL4S@t_<+sLNb zldU9;oM)l(6?L5If*0CUiRr1f#d7~$(1|x3lrjI|(W0%za(8T0iW)0u{@3FzdA(K& zA}*%iXff?3Jf=o0Iq1ngh9hfWn=|pHz|{*M+L2kO7KcWekz!R-nYj|jh873z8CAC1 zs~`q)1z<+z#=;_a*G+zRDH8*)#cx4cy_pQ`rR&2mst^mHVHNo|*_&Y8Bt2C6_<~Lv zX?}T09~p#NVz@{nMHz3+PQJn=iGUy#(Qh(t(E_Sk0UT0XUZEk1(`n2Ge> zJ}yV?kgQgNqUphTENmw%;yjQ|BrjT@I$LtdfiYf>$vKp!2aApo&s567LmKL;J7vMp zu%I$`_=}UK(6nnhu!9Q@_RAzExkXI+YGn3`&>XF$h^yexB|v_u+8 zU{M+cGIGbb4^j~v0|H`HaWM5TMj<=%$?7POkvUG*rMML&A!7a_y)~2wfjc1G-FNs3 zt3zN8TEe@^{tn{Zwc@9eb@?Su#Q;ykVH2=&1T&CH&NiZ^Uio-KlB5noA~PJG8`w?& zN1v|cv`Yw^F&89`*hZg1!Kpt}$~Ykhs=sD?j8{mrm_w?rG1MNyO(w_h`#f^CjYV`G z$q7LH35W1C3G=}gbm-Dpf31Mk^uSBEfOY9bc!&yz zT0}w21A)rp>dDHK_6`5qf5!P{J@HT9{5OV(b!irXeq(vqlGcbR2=7f6MQv8pl-h-lJzv;B1-bU2!nKRbH4LyAW$?iv51rhCrEX zo*(&->`o9?np(i@@n2H^FB_%rK~AV4*adlY%bkdT z*X=pK#+m($K}aqf4aGvukN<{H3#B^bD6B-p&pm&Q-n1apRGjCoy`AnA91azqbuwf+ z4R=6!M{H@7BF0V_HHT^0W<(V*kfX~>3%+77AR=$heeOx$n&SVsQ=ZJbcrpZ1G+ezI z3>?Nh{>!NDNpKzI+)Mk;4vZw*^HSgs1vPIi${rMQa$+_@N|e`X(ZcrB4W@Ts?s}YL zb|&FA8}W*!f!4w6d^iQ6P52vCNs&^QjT7OQ9-K+9_e&=@}{^Z9~n*si)&CqVswO6aUFt#(7 zB$+3KMgenJPUKrK<5@2oFuQ071Y)G}4E~-M+;efcHM?Zo=LOW_N5j@joO=uC)pZ0Q z&Q+|xQAtvo0GaIiKi7s}D*>6cAGgd|y`S3^)u96q7c+L$@F_CyY z9dB`C=J%uX_iO|1K& zyGo(+$xM_im*n<`yg803I;HzFvvM@E2aKVhW4Ns05^$LRhw4l_&r|lpM{r%M)(d@= z)pNl=&P7u+{iXj*@0#Xi~yMnw5Z-ZzL?!*FUECeoqcImCT0`n>jYvc zX44kWMu6;4Wou@7f3L^JB56)*R4I}8m^fOUNg8B=B*#vsi{wvclE>@>zh)oFGohW| zKKOp`sDH(*>jlt`obil-8_Vq*zDeBXi)L-;>_r7BJ7i!=Gl^`k1u%Z?p}g%K{jVmC zb)*JVo7;BDsU$!fm~)F&Cl9R`bzfgA$heXK%~BeJ#Y-{Yb>OJG#*&#HzoO~GH|GXX z$6j_W83s|tMb)`LW?9O5Z+b6MidfCkAHkSC4yzoC9BJfxTKl9|2C`Qy62v5%^d@5~ zU=E2;ZO$nwFGrHZ{6$Y}KD=1*(o5&hrM~hk!kG>lv#HiDy8t_{L22%UxEUWtd2$v6 z__pJ1aMt3K&d9Qr*Qm`UaO~q?iq{bqr1xsKHwXzD%a7Co!G70;Fvh5<*>Y_}^Q}59 zmhUddc9bu)gYhbX$jLbC)v^YP&_viXWp(L?pksDjc9{{9$(S0wjF0*qZLzb;FKNLx zzVn{h#~2djyt`81JGrCZ-*t~s9_!iz3Ehd~PY#zSSn)%>Z>c(BmMaU`nL9Dov{L#W zZj^JMS-u#gKt!DbKTEl2TpAq6wWB28f6clZvehq^@)eehimMV0hs(&V_P1w98x*>7 zNI&CY(LQg$nt*JG>xIE@Ad?E+(|C( z`PIEBDB?kS{C9Q8XDM+kaF5V~5q9$Tfg3@JXU7ZoNrLfjNSc}H@wvFddk^xh(#p0} z!t=hN%g5b*mdQ~Td)bGMp}wMk!ycjEC}Gi55YqHySziiD%y9SxW)rN|Gr|H(BPYx4 zlLy{C=FO30{%fKAqIh*LbJl?^Nx%`LNwL2j#1!3Plnt|0budgBn&n zq(F5ebZNl}WDJNw9)CQ=tz`5B*cdiEq86={HP(G3K> zar_JK-=gn6)$u0zstz{a?r2?)?@NF%VHzj?T`-GD2Dz_`JgZ%P;S7|0e delta 15970 zcmXw=WmFx((yjvmg1c*Q*gzn-ySqCCcbDJ{?hYFX1b6q~?(P=c-Cb|a`Of`4vwBrm z)l|PV^>lqYRA)L=^~5A_Fe9R6xBBqr9RbS}XD1l*=zGgPK_&6LDiw72ory;*|KmNAt(qZ{V z;}4fOpM(l(93wd<|0QB?GYk(u>0oh%C`Yu9)F~30mWQ~zkF59soE7AWBY=2H?dM4b z(ntumkGLqPRMo$76$F{<$i#nd&gPFg{0oCQ;6$Qe3x=v4x}AxJ7pZ-O5AzDBq*3Q_ zNm+^%>+56i?vOLCNu93HKQf0dHHrB#fVsN2$V%9y0mp=Q%j`2KZ z7X9p}y9Wiv6NZ{7&OtlAL#vs7wJ~IRz|idWLtkc|dy5nRq`}4xH+nvf6f;kgD5cqS zr8CHDl=r&{RU%`9B=VK2TYJBc%)dA1qapg3L4mz>*JgBM9q>Q~2x7^LO%NKR+_!%8 zbUblOZ8=HC;p@Z4i4sx2k!Y!@G=5B{o-*_C+O*RhUdDnA(H@T13kEbYyl|&kS=p5K z)=GMK-PE)I;Yes(K552Xk>JoWki3VUNFX86*GVl!@q3>SNl2|QBk$Xt1Os9YVWcwI z&lFzGMCk#caRl9hYK1ex8$mI`vd%5 zpoTS4G)x!K40puwcAO^a;W%g-i`|Io7a#g^<(*BS-C8`@7@r;MWz#3AB^S3{C^6al zg}yZN(4_8V=g+1l{@P@t91i>N>sHLso)n znW7lnTm=JKgr!ZmA$%HbA0KE&Kx98W$)`=w*IY2qdn9QTPdnVyHd)#v1g-O4aYN9X zBP9U{2|;rmxHB$+F#D|HyWzsG5DEj^|*cV%+ceEGqHiME7ai|Mu=x5sgej%s@|FR^GEJy>( zb8tpPbF4==*v^riC7634Xj2(q?G%jqw?)J9mr(jrjKL+ z)AdJ3UV-_dunywZzd7KPdC2q|2yKZu`Y{V6no&>ZBUmy2>z%Jx>zEX97~pIcFv^*J z4d_C4b_xeum75*8(FvMTQzHE0j&@He3k%UK^gN;0!@-hyK<*ZAjNTU6Z-FRUWc~`K&k9ty1;<+OH?pj@aa{E9BA(*vzf6{a7?bm#! z@Gj{?3wRZ7S+i685QRnvncBoyMH9LSNR2 z6D}4xyrTS0$ejZcX}z1hG^Nf-6Ox@hHt`DcIS!nZ6mQbMSYC6tZ|T}mqzC*3{8i!9 zqq1Z!_r7xSq!jJlv{UQfZD1@tt)AzxET_K|$4@$uG-!XgZfiRm>cX9#UBtN4Il|fX zZAu*@E)hY7h9cIQ83+s8E&1w^9C|-D9-Q)LvQ4 z+*yN3-~VIw<;k}lE6a;dO`ld_L2fcsRF~zNf&OTGlnwjzh>r6BUMf8Kiy5xr4Q9w6 zqttvPsdy2rUWGjvj_IjW%t8t!k<3(D%ZX-3)KM)rX}(^Wk7 z%BKF~qz?%lP3sTfiZi6Vff2c!BrE$h(~P4fdQoOkJl~HfQ8z{D1W7ibYBf+Trk*o& z9VrTtC>AZ>|0vg5U^ESVI<2(4T-=UmGEtj8DuY`EMVm}Tn;UlF{y$FaL!o+o$)kSF ze-T?Urc84-c&fpmNfBwdH}2%L`18+0e-@m7+raN5E&`|eC?~q>g&=_NPO5oEAI|vX>O<2cnDNrB zRe5;34>k4AI(a`mroktMM<-P8U!P3>?H9PS>dxGZo6h*;*75+C&EhHhDevtEHFCtt z5X_&4uCR^c<#M}WB>%@h-MHD`J09jpZ!}VCz!)ULhWa|q989`&#;JV&GQ+WUVCr-+ z`SS#fMx%Jbu*&n)AZ#Aa4#DiDb82)^@|>&Z-5go?c~LUYw3-&$ExN>NZn(T&;XMH5 zWYfE018EPj==gX}3$b4uBVnV44dIbCX&+p`CCii-izhr=Ic%N?j&IG=|10 zz)f6Cxr(8{r7|qzYsgwmh}r7l>X%|dC$bJNd=TA!(;&YvLB51pN%Ua1LIHZjmjsJ7 zgx_vacDE%NXJsVu2K5vVh!WuBM|MEnQKaX@2Dm*c=S9Q3PVEmJac)40Y=8iV&*+qq zWd9!eJMMQa8v${G21uO2Jsawu}4=>A#h21+4om^ z9AC}oI!?RPjAEhG^{#2ZCSVd*a?4C}z+V&(@`@dlR#k|Z;#&>sug2w*Juhj-K5TDh zZOUED{j>-_3CqgQZX4@kMvw;EmQ+u82XYaoRZd>rD|*S-{YD^3zG`y{ zKi#E01SAX9J3bEtu~B|<(2(20#KEwC&=x))i;mA1b?u;0`Ql|zJ#>Lg3PRyP!TW$JDq z@7bt{3?$ufP=82v83SI+C*h*16)Rz(1r*Q+K?YbF)wh)-5oNs5_jZD&p~A+4vi49i^T++Y++P?i{jdQg~q7tNk7gY|_I~HAUF_Z>julM8JH(a-6 zZieDRPIBDs9EiBMmmH|#XHqq6nfOaF1Z_}Krn+OaGu(}u z=?drYoVQ(|tjUMXZop3q0Vm#j!VC>xnou5>UC#P=5un5v2Y;FZ3lkDE0ESS8@?XJM zdk_u_Lj5*i(f#$D*m#oY@4Dnicdu~p&pT_xX zyTez>JFXe~@IzH5alG+R{hsKZQ!huRD@129pqLg8hT+c$W=tk5L+Y^#g&vjsaEQq_ z-%_&HK0qIv!23(bhl7?)?zV$;)6AsNWfu{Liko<@VDMjPe6Dy2r5U?T28+NLsw2X5 znouU$45y%VYwt=viP+MOHl^eg+PJ}tHG~_^QPqLn9M)83(JgxzR_V@dkZ(|J?Sg9b zb5eIqDxy^I88c2E=k(VZPRFbWa*6{^uM%0E5TFQT9Ui5|r7T_)*_(r<9%1ZQtM1r< z79|U}tEd?V4w^NqU6C``Xa4qERctp~>Ncf<%vv~@_4Tzvwhl4L5ndw!4WCa7cbLwQ zvPR9s;W!(A?;s<-cgF`IX;6ALiXBm&=v+c!0y0RH zi2{z_US`I5ki@nMw(%wbtg&;{VTVT{R1)?19(iveHZ)O$V8p<;e8-|Bn->TD0@#P$ zD`n*R!%+}b&B1mkZdA%hXELGgD5ZY&j%L3ot{Rlz2IM?&|} zcc8HYDNg!Y;l<8e0k?nSSxNinb>b8kvI;kkIQ*3RK zy!McovoXML1cI$GH@S3+VmD&62xvIAWX#TP?bGeRL+ShVv~}(CRKIbwxMz?Yl#40b zt;e5Yt~Fs$2X(q_55UE9WOSKSDGS18?2Z!quZg59HhZIidCMu+t6)YBA=RWL1u zh`v~r{z@T0hGR1CCejnxd!)oS5m3c^2=*HeFQu)7RZ1e$h>}GhZ8G9F2SCQvSMGT% zXSMy(i(2T@e1`gJ{m=*5s->~pRwsXo$lSZ-a8CcT7+n|?x&XwNG!%VPc-mv5Ex??{gulC#0Z?^l_bvX`4K+xV z6@u<;Mqepmk)k%KQ$WQPV+7$8wEYRjxGBU;{Xn7+UfY{`Hw}UT4c*)=MEz*{9hV&e z)bgbUjbG4F*?`cefS;NbrapLMffrCin+t+T$av}*(IPOH` z4$zDL<&{36gtzuX??FlrpTNt|zpj%!qGw9YT%0i3{xf;J2Eak~_uD4soDfeT^eMOK zg_79t_ud_mXMNQS!3+2hcsX;a8&a7$56=Nq`Aj;MRchii@$#~zCd?#{XL|YhFVxd3 z8A>F0+fJqR6f-Hd#n{@+KXZ&EIrBCna>~LgsB}q-ssc4U0`LSyBxvp&-m8mai6hn3 zNF={{S9|hAWdm~kM6HNQC^d7#WwsY8Pbzfvdb4egV(lJ0$V zAlpGnZ(FN~n-&2In?5$C?}H~l3UG=))@5gI--vB6sRR^CoAivTbd@}_7f3qd5UrC| z%$~JmhgT{4!DuZ)qjdpI)g{j%isT z?$N27T|dzyo{~P@vk`*(GI`6xswMv;H(#S{E~r9-=3=TXB!99B_Z)`xA;Tq@qySx3 z@Fz|lPAQNwuNw;^>Z~0SV5CxFM%k^79TcI+(2OAPE*Al zEtcK8gunU8?OkPPpn;bwURZ#*gF&vcnkZ6y@QYo-L92|vwzAX580qY-L9*;QjClc8 z%~PU;SjqT({SAD zMK*Uf_&nw+CFB;~ZbWHBXtHx;%vm(Hvu`TvO$~4vO48O=YS@VtZB}Xq$F2*{iFSE> zCOsI_OYWcG)nX?oebL`2gQX*^A+?d$J_~##8f|7SyYHj-L8%}9zzKo{R{MI!Km*^ zjGz|6_uDcAE=poYll}Y%!X0kG;Zc4nNmQ}?wxJR zz);_CE%Xn?$}S@hzP%3f=N3Y*BNF?xg@fRs-z9{0gntsMTC}B1L|@0PW$Oo1595&@ zxu}{J7(21C_&*3#fKKHd${xOP>2LFK(I<8+Ipc$G1kZb5lK_nd4hMYV2XO>_z}L(2 z5b%*&1MXi^o?2BpO}M;V@Q_nB%_*Ds-hMnPA-unVGq(4Fo*2)Het100ejF)3R{1r?7gycy1dVCwnw<-8P# zNgM4@oQ7B6A&Ax%pg}}?9~UIlIT3)Z>waATFeNB#;^XtwA~}WY=yb1ZY5HP^!c1D?N4) z2HuVskrP^puQw1e@4RABr%rC2X7KlsUoHZxiShXv`~p^wG8D;vO$xa}+y;T!^hhrO zi?3aw!b94-xk@@&OXa43asYi+znDl@J4c(U^ppXfi#`tj*m>l%(?nKVEnVMKQIvdW zO@~o%KJ;(N_7=oUVev~|N`ugwHB`wuBH26buD!gBAiM4#8BhWWLZthet1u_;b@&w< zjIX*^7ePb{_Z{#{7^|h@#u$Ew91oKKyG6olhh%HQ54ErjPRC7LPxC;^5h6>~zT8ag z#a{tPy)Im`BnEG$_Z0?w=maaj4QlG0LS!4;RjK9JWOWS+EN#RHTkeo=pAPiN+)a)A5wO4vH`UC<5{IKBsu zKp|rwmn&l_E+md5uH=CHu{HCgSbeqTCwk#}RlNh*s<)?6W7p(lX_xix1Wlef2>BEQ zb8-8v>XopQq-g z4F?W-73##|R#O008ZB3VF$_)D*4K)6DUFphurAxb?ez`F)nX@0Qt%VDZ7R0_qT@Qq^sr8ew8G4 zoJAD!pAuPAst*;WKU7g-_S&`4yeCae3EhQrpVaub*L_jDpoG}0D$WqH%ZLGY$}H1t zSXA?y37E{3b@Mg%gFztAG_<|LnZJ8iMcTimUO!ap5^i8`^6Tu1W6;28%{_VC+NaX* z&|^yx^A1oyC0uy*R1{YEpRZuh_fNjdLb3;3Pr~%^K;HvD&d{%31BC4BaH^c>0<=9T~g;CSeB?g{eKwNoaYp~SyYc+Cr{VmA59cX_GPZc;H7=^Qk7`!qIL+KH!hBup~nPkzot zTwO-A&u2fON)NT*RqGZ_ckGk&46InE9tt@`)8E>agrgJ`0CTwi3Ae29OQR9*Cy`0A zbtSCBi~~zI?id5%wNNH_7zA+#u<{hlRO9F#T5-l)Fl9VUs1iE2POW`cP)sm>FeB4s zM#+w#`0VYOKzz+6hUh)bT$|gzuBk5K<&m8dQQj{mm*a)>{!xPi!&Z}MZg@B+Ijw^t zy9Pg|x;V!oP(+TemWut-yD})r`QwVS1Tv^Z7vfc3fBOQ-0d;Nk<8HPRwF|HjeQcOFo(j;?T ztNT>~hFX>aIcWIqw0dmKU?{m@%YBTPU32{8b_7NSUG1o(N7<3`7v$03AhAMh10Gq8 zwSbF1e$+jOBzs88XK)n1C?0O{!}n|hlMjjTv01aVp3MY%af#n_t@F>g1EUTBrDDEh&d;><-+)fZKf9JE<=0modhuXWiNyBd6z39N>mBHv9B`_{ z(Q2>L&*3V|%50>SrpKI$wc&&CH9u()W$!2;pMj136!@do*X<3A_HTgu_KX|h!WF^s=wSSB*`tFd)7IXv_-K3$d!Mtj}8 zeaEK4RM*nFnyFEp?&O97!KlWt1nVRNnFYxy5S&M(m&;Zkknjp**-&vMu{!8MqccC#AdNO|X>#=W;uH z+WUV?fE*NzH}j0!pB7zYWd-i^U<`H8d;m-vc;$=5n9nM&HO*vd&FvRV{rT$bX0vT% ze8pslZ&on{>bMpOEZMmVPp^+Q@GGX0eMa7dQ9CovLFbC)`D7{I;PJ%>iu-bTdoh!lRJ;0_RA?w^w4y~gZswQGKsCHV^Rl*Y^SI#OV9ybhF^`AK3%_b z_CQ{KWUZ~*eR<$mdJf+7eNK6w1>WBT-kuahm*4NxKi)z&-rnrr7wv(M2jKN=<9&+* zxC`xkxw&|Me*m6$?BAt*pZ`5^``GydyblVz?E~*O0Q#I|@Lj)mG8R&JWkB5715b2-17X!)_@-=`xb*Nr;u3$ozgFcjv|5s*C+V zR~C}jrFu(#&R_SLuXRtGp)P-(Hc=8*_XA5=V)p}Ux%m*^BBFLBl7n1B4tYmO4@?o& z)QrxpFR`rMYJZ5=1}LAIGbihn6?X<9*wW)kI_ege$V~xdeP)|qhztEtpzEk1>W!xNTl`3HCD935&(2BkHCRg|zMu;Jg= zn3eLjcyhqFKS^HrJ=Xk!(l<-XxhXT;_@L%&zBMj<$GS%P(X;e$k$`k?8*=NC0k@xG z{vFErrVQu_FB3kH2sWke=5KLdXRms0(O5_*r}92HH*rgY{dHL9%UCCDz)PQ6={wZW z@-q-0eu?Sa^YgHy95VO{E}`xS={hrIPth$YB{*PlPejWJvciE7guA6^RC-a(Z-{nX z-C^)>k)}~J=-yP<8z_~OuEKz?BYzIRkU(=+a0WEsZok6&suS;orv_*gw)u=sfnL6l z*l#CTTbb!Gb87^8NOr?48akTABC-=|y*a5@D~nRnU8&-ql-BEYTW$NVp987Zd=uh# z?H@S>;Puk7tcz3qFXO1l4em=u?Y)f~7m?2gAQghGm2G3NMUVINYnawnB_ zGLUnA)tD~u<1T*k5&o)<@=6hN1eS?7oLp z&ro-H*8KEmWT|-^i-C;VJoTmku`AzR8_?I?e$hGDO`7tBfr_{R)E5`8n?zR0r&YD1Fis#eY{s>A157vl~u9{8rZ0>F3R zy&kWz8E-v2E8Q?XeM_%rQAMnCJ?va}r{oAb%81+dG8b}xUPqLm`94+XWH;;(XbQx~ z^ms#3-A20BWJiVB5g*^6lQEv_92M^M_oWkSp~end_|wvUONpx_EW^Y${!S=_&uD8C zmwp@M)uYn^D;@WQle=uOi?q%=rk#l;#zDM$7O|Ab}0_E`Qgl+={%<&*m0>iIbrICw)9P-a?lLRRyIu zOhM3_?z{J*V241tL}+Qx8H!9Y%(}vS5qeR@5b`RN^@|rhJ#p2i#p6MwxZ7%%C#KoS z?JIGT*wjCp2Re!lrw;gASF%CzazgIgL`gR3CT-wC5QfR5ZJYMUaYCIx5Z+tOt&OV* z*^H!=03{=@(y+f(&Dk~)?NoZ$+NU^&`;-|(&Bi1r*d%BvOG2fjCKHyZ7CuzygmCFU zs=>mfI4ALj6^Hn<$ZR*+YE<4V6~iGS-n=boVjFbui_V zFH&#lRX>|u9*x`D53h7EV1)c!a4Y2gwNzv=P+$7&N}A-~oLYnpUB0`$2-IDR@n3#G zfuQWi;8@ygbHlUiRK}h+pT_fv=5CdKa*c;sWHr6Cm82?fU?`PAFY_^AO%>cs#IOrpFbA6w!4(%1Ec zRKqUU#^sVC(t1=)Q<7(pv%u;`QS<^!@-0wzetWSxn<-*iN-1F+kI zwVAUic_eWf3zMMxkM(W^Kd+cFAksJ6%N=1vY+a6uyM~T{;J55K?|J#9s~!ZQk(g+2 z7JLH4C0O%q1j8}sHbNF(%n@pwOs-lk9Q|x2CmWd=Dvgv&j#<#5?3l`FYyj0L!K(BH7V=cg2)454T$+&sp>^fYFCj%w+dQlm!!wgv zCusSDx!{b2ydRafxRoe$DRgh;ITjK-$4;hDv=gOYL*8g>3oaz5OEE%*2w1-zRtI)f zs|xK+C2U&qC4*-3H;apMpdpJoG#-^e+&*{e!GIVa_+!zzWNmBD8oUCh^O&P*7GX1> zB?6b2dBZsS0E@toR{RjuPQC_E`2YU;qV}2Y)QKBKyV5ADkh_YBoxiO#@zr^UBWQBa@ z0si5Eb&=^k3w8XkT?+C0r=T{ks~fPdx?fS1V^A}+z(znwug5IxSkaaR3x($0gQkmF zAGc#Kwx}UcrERZ4AUUY%Cco`mK!D{;m%55& znX12VR+>M^Hp*3+-`t%&S_Fm)AtVhLG0 zFs|WHbvF9+)neEVL#Gl`EZ!uM4A~ezFky=26m&}AOH39qj9@~lq9q5-6 z9K;4B^TMMQZVlJ43g1X1_I`(I#2q?wUl2$y*=SMCPl?Uc$RdVfM_VN6shiB>Nh)uC zKhQnab-{E=;cW~V3=r)DP?fOx>GbaiQufleoC`Ylo!+TDOTCAyq1?vXWY|#i#e~{0 z_RMj^K!_9Ky}lY!xDoW?+#E_#7^j{1fm;VtftXYnJxOK3Zo}@PeNipv%|cm`Pio~b z;>hnr9mvsJA#l%_l>X1U*sSw8k|y2<`JPF1FsF>|Rw(G@b3PmZlbpQV`SO>ID#n(9 zK|ZKUO1C}FsygM>9cq461kUxnP62xhxuQQDtiK)L_d^;H_B&h=ItZaiIO+$*dVas! zig@W#tp2YeuGt@}+=41kh_zr|L?%W_AVe@xSq?R`#zAV>nQ%eO>_~tA5jhk!5xxg5 znVG1YsD0&tES;eXHs&amFrg*Q>SNl@PzgU+Dl8=-Kt1zX=HHLy@5pdsB4P@r2U3H| zfuB4u>$9DTC4B%=E@IE7HPj2W-4h0#-!TOx&eKksd#gS%cvFCkWeY{o=Jj$F>7a}wKr;Vt&(?M6S& zdP*BD6sZ8i_2q_$NiV2>?TIyy7rjJ+m-D<2yG#6SF0cj7Halq)<_^VoIYMI?!Ai$z zLwSj-BI(`(>);vE!!**H91^h-8heZf&sR;jj$}dA=lS@FA!^Km)m2yM63Q(|dXj5< zN&XOE=#Hu6NSgu8e)^2X=vyQkPC_gFizA!#vL{tQP^SO9s~E*v!{>f7$%M>i*9udE z$@u79H-p9&{MPID(|vIbZ{#oBu4)Va+Lo`Csq`3y)^k#i-E~2k@*xC7U z#HgaoSW25h;sba73+Xc(EFC5k2AdLfoj)Ahd5DFSHjzAsc2DJ3_*x}-X{gXzr?SA3 zH68S6?#;=CW;NVsXErA0pH{H{&X}^r1&*fHw80;34plbM6gT7*#=^KiiOz4@#iF=@ z_ExEw4MebO4{g&tFJ)6hGwnb0ik|JFV)vrVFK2&z*Pd$hWZfwF=1%vh3d6O`<6nk- zJ0kWd_4qEwrU0R{QsDii?jDcl31^NxA$N*l@?{Yz0#UZv+Tmm zA8c$OWu);wU>=Q@y$TvH!ADo36qn`E(+wcgm5mOvZf1wX?080_mYI!gHhwb%8;u4YJpz=^V;1!zs-DV?&kmI+vhPbRhq5fs3helk zQ}jXHi~aM4e`^11)kt4H4ru}6B8JaYc7IC>b2-_0=UsgQ?87(Bxo7>( zC#U+m3DAFO^tYosVBqK2>ez0Ev~O7b@D&@NS3}~WU_&Qh?b3zD-F=`(u z)*K(jH!0%gmJT9V_mPikO2c3s>Maf;D8kI^o&!9B6*wp!p0D+F=h40Ph8@b=b=D6t zO3Qgy4+>ake@IKdt79mY_Moq_Su;keL|cfWB?Pbv@B3_HoI{r2NBChI*oI*he}h^X z3TQ|kXdBbZBMtZ0DKY?d*^M}P{>WUuZ-Uc&KKM9bVNH#?qY5c=Gapn{v%ngM&fjJc z;mUuDHJDGKC;R2ZBqP?P3`*!XU>B^T*=QN#8xBT1b8A?z37;0PLR#rw9lvzpf>!w0 zskPC$F3s4o92M22+N}a*N#_aS|7X9ne`x9E5cA4SBX6TX)osv`93W7F*|ckwOJ{$g`e55;3wq z+g*Pf@GHn6tTTF6%!+}CR3pJ7UyZ=|ZMg~UV#5&nEXaom>sFbg+-S{5e8SQc?r<ey$06T|hopm`BiD-c&V_tS+I1NhCcwy%Q(UcM~~Z4PoQL za!Dy4zvgl*vpK7+@m8J1KvS#6FJ^heXPW2*rU-W7Sp%4}(Jj13uH`~z^Wo5kt#U3n|s3Kx0z9JS|;QJDORw!r$ zx}^;2)jE)5W}7S8fFaNvn`)9u(@iPp4*cnaF&1pf;|+;E)O?fHn=s_~`R{qV>c=*C z_!|l6wM|ZKO3!GrKpaYW^meG#L!a8`f+(|{=dHZUU4syZNV+H7ZWVboA*%?=yk8el zR^D5;jPTJ{nNHk}xtv@)5ue5Vxh)uo$G{)_9!*;4>W?OBxMVDlDCQ+IT@xQ8Mk{#181J>7GSs(WAUGA5VV;xo-1seezExE`TN#L`a5uMYIx6!T9Djx0iA z3T?G!#^!}}ksap0B~%k3(`JBQC{9g?hC+$5qFh;cij^OnWPg7%UHI4daW822B%gA|u)*(qY*&TAf}IMBYo?}z~iubRlnYfYaP zdxVzUr}IUB>m{_>F;|GXWix_B)q_v#!08#ae1D4uvh`l<44o$65M-k*dlRT}akW~P z)L6x-xSu=y;hHcCYz)1fTxv-DgX2`fl7~RzoI-gSb60BjFoknV?vzuh0c%w>@c6SP zKEbJ-c9sZYdteE}YrovJO-aS{2i` z7uy{CiZGft&;h0uhq5-I*Li#>hGJZ&y1OoMFKW+<%Csp^*ZdEv87_Ef#+YqLe>O-e znwlOOeq=wHdhP0tkYwiuZQZ}G_ewT7;#*ZDxRAA|t0epm?CXlFmy{LP6B`?GVEhwm z{j=)8tY|=&m_NdIiG=`tb;Fn=B9gFEn)4nuBd38aPXgHIi6d=Z+&NT$ErZI+jC z|C_g!c&Df!IjN$odsO77hykZ|g}pj%i^jI21>LB@1t*Lyk;m@`jpVz3~&V30G1 zM=&NR!Uh=Pg~Aill816tn`_jugu3YYf6B&5cNrN7Hjm(*yrM;nhF6LER8vyrhEK3+ zkXaqd{(yVcbTY`(gmduj(A&IjN^Dy2duWR{z|*+N>FLw52->a9&h4d2jgC>A(+Wtk zu@&=TWQ_2j+!96);ngE#r&WX?irisK)AWJCtOan}++(Iv_mWoTXgs*w_iHLa!@6jy zj{mSIx+Wdzqhp3fLOo}MgBX$C}B{?pdiYv7LFIn-~_YtqaDeLJ#n zqd;@yBm&#`!mm7e`_d-y9@^BAyKkw|SN{d@l`AW}eVfZ%=obHMo-{Z9pe}V}8}syv z)aT1`(cmrC5sL!c3^KMtsq>bp>?w1`c*3^MgX(NVQK^6GH6o%b!9VB8Y#M8Nj6ifo zT{7xW=cl~KbhnRST1PDa}QbA6g=&Ce~mF4j=wjPgv;l~3fz|_@r_Kh;pB^SVxhF%^X@Q4WC*RILPpFUS~hqEmjM~+ zW1ju))Zr%g&}22kT-WfJco!8&4H|w?kpQ@)(P5gHvQIrABI{on!0#8;LMIAfD4b8n z6n;6I1~=4^#i(|hRQ1%cmoLnv%*&*jLd~pC6BQhk9mY`19z&1-c{QCAU3FQ3T+4>k zzXCtI%A(2|cRI)UEl{0FAO}SXqn*C=&SJGgauF+!%;I&q-&yP{LAmDPk!+EE73Bl_ z4MkE+BPy?fJKbTR$`;%2o}{oT#Ql(@># zYuZw<>1_AA?YOaJ&iCqeZ4p~x%#Y6;yZH z@pHQUbl{hIrXCshyPWY*q93`S+p!mQln#?SW;Cw{)N%8PtVBRhcp^gN4bj-6bf>{AD;()WrdPVN!0+`Knwm@hTXmgm3ARDp{$sblB8-uJ<>(FZ$Ejl-4*tc4#xLZ0YBbLv z$^wX5s;?%J%CdNs`V7NdSnjMYTpmmW+I#iMwV0-oo?*QR;!*+S-6bLUqoi>`Hmu@y z{twYtg&s1uQ%#-x`w0AnC#Uw5X~yQ32IVE31Ar={^xV<7+`1$u^dHY0C>G3#|NE2~ z%m14LB{(XVce;P8Fy`|=bEe5p17!!_-Dn-Wc}pp&<8>(MccxB4QBs6QE}SUF-XQuH zdKhR7;di|*Y;m`wcC+a}3z_3%Y;a_qB$BcnVY>wV@iHkr7D3g@^*VWGUH)RN-p-ei zY|@>KrHB(so^)}fsj?JBCVvJWanbA*lc^y`GKG1mUjoBw$o%(2z0^yP2e9e0CGl&* zrt+>HqD7oWB(*s(5CmS|OT&^l)`)p;lnWhC2l^f4n|4olog? zJ6%qxQzPmP*;OlB$J&ffpdsx}t2nm#R)DM4J2W@%bb85Y$3Z-6AO$JY%26m!IGH?M za^Hb&;1l@oQibg2r_(>*kAS$|vf`94yjdnL?F^7A%saj98iR4X?E8b;AaJtE?{3<6 z_r`=701-pE!f1 zZpAu^N@~^>;LTgIJ@DMXyiG<2Y zItUHZ`To~K5`N##-x#A!bfb@{ryeMS1p#~AIojmtL`pEK4RJ2QF_|rvORqzcrLGrL z-*TB<)s5@u&nJz2_JMlUe=1sGDeT1a!v;p;Ir8O3UVv`u?`VJ*yl)58TwPu&2)5f( zBu@z*qlW3LO+k;rVMs~Nz^*a^G7>&{B1(d;2$?kP?pa6>tS!{y{9ad+pn+8|ULS7l zoOS}4grBafU9H1|P-xlrC9=oIF7M8c?&sVGiJdJXw;(zla?fGJ<0o3-T~-Jd;UB*8 zuMx^mfe!h1s4=%%YbaZiA3*=s>WxI*W4l0NW^lh&ufJ9GX{vK{|^KiTjb;CVI+csMKiK*$r35G}KV H`t<(*Q)e7r diff --git a/Writing/ERLM/research-approach/v1.tex b/Writing/ERLM/research-approach/v1.tex index d306fc01..ccd69fe7 100644 --- a/Writing/ERLM/research-approach/v1.tex +++ b/Writing/ERLM/research-approach/v1.tex @@ -83,3 +83,21 @@ synthesis of discrete controllers created from temporal logic specifications. Reactive defines that the system responds to inputs to create outputs. These systems are finite in size, where each node represents a unique set of discrete states \(q\). + +% what does it mean to be a single discrete state +% what do the transitions mean +% How're we going to use reactive synthesis to do this for us +% what are some state of the art tools to use +% What's the output +% Explain how the transitions are the edges in the state space, and we're +% basically creating hybrid automata without actually specifying the dynamics +% underneath +% we're going to figure out the continuous dynamics in the next section. Then, +% for the continuous section, basically talk about how now that we have the +% discrete modes, we just need to build controllers that satisfy all the +% transitions and operational goals for each mode. We've broken up the control +% system into several smaller pieces that are more manageable. Include how +% reachability becomes a part of that. What does it mean to have input and +% output guarantees based on the allowable transitions? + +%write tasks in here maybe. Or the main thrusts.