From c17572d8790daef5de85073771d92220afeb3639 Mon Sep 17 00:00:00 2001
From: Dane Sabo <dane.sabo@pitt.edu>
Date: Fri, 30 Aug 2024 16:51:15 -0400
Subject: [PATCH] vault backup: 2024-08-30 16:51:15

---
 .obsidian/app.json                            |   2 +-
 .obsidian/workspace.json                      |  14 +++++------
 .../Highlighting Colors and What they Mean.md |   5 ++--
 4. Qualifying Exam/2. Writing/QE Abstract.md  |  22 +++++++++++++++++-
 4. Qualifying Exam/QE Abstract For Dan.pdf    | Bin 0 -> 22586 bytes
 QE Abstract For Dan.md                        |   9 +++++++
 6 files changed, 41 insertions(+), 11 deletions(-)
 create mode 100644 4. Qualifying Exam/QE Abstract For Dan.pdf
 create mode 100644 QE Abstract For Dan.md

diff --git a/.obsidian/app.json b/.obsidian/app.json
index 935795b75..d2c095998 100755
--- a/.obsidian/app.json
+++ b/.obsidian/app.json
@@ -5,7 +5,7 @@
   "propertiesInDocument": "visible",
   "promptDelete": false,
   "pdfExportSettings": {
-    "includeName": true,
+    "includeName": false,
     "pageSize": "Letter",
     "landscape": false,
     "margin": "0",
diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 97911bfb7..d881de3d9 100755
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -21,7 +21,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "4. Qualifying Exam/2. Writing/QE Abstract.md",
+                "file": "QE Abstract For Dan.md",
                 "mode": "source",
                 "source": false
               }
@@ -107,7 +107,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "4. Qualifying Exam/2. Writing/QE Abstract.md",
+                "file": "QE Abstract For Dan.md",
                 "collapseAll": true,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -124,7 +124,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "4. Qualifying Exam/2. Writing/QE Abstract.md",
+                "file": "QE Abstract For Dan.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -147,7 +147,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "4. Qualifying Exam/2. Writing/QE Abstract.md"
+                "file": "QE Abstract For Dan.md"
               }
             }
           }
@@ -203,8 +203,10 @@
   },
   "active": "3c8fa3261c26a8f5",
   "lastOpenFiles": [
-    "3-99 Research/6. Researching Techniques/Highlighting Colors and What they Mean.md",
+    "4. Qualifying Exam/QE Abstract For Dan.pdf",
     "4. Qualifying Exam/2. Writing/QE Abstract.md",
+    "QE Abstract For Dan.md",
+    "3-99 Research/6. Researching Techniques/Highlighting Colors and What they Mean.md",
     "1. Daily Notes/8. August/2024-08-30.md",
     "conflict-files-obsidian-git.md",
     "Weekly Note 2024-09-04.md",
@@ -227,8 +229,6 @@
     "900s Calendars/1. Other Work/2024-08-30 test1.md",
     "900s Calendars/1. Other Work/2024-08-29 test1.md",
     "302. NUCE 2100 - Fundamentals of Nuclear Engineering/2024-08-27 Introduction.md",
-    "Zotero Web Sever.md",
-    "900s Calendars/3. Events/stubb!.md",
     "900s Calendars/3. Events",
     "900s Calendars/2. Research",
     "900s Calendars/1. Other Work",
diff --git a/3-99 Research/6. Researching Techniques/Highlighting Colors and What they Mean.md b/3-99 Research/6. Researching Techniques/Highlighting Colors and What they Mean.md
index e7097ef96..f37b273d5 100644
--- a/3-99 Research/6. Researching Techniques/Highlighting Colors and What they Mean.md	
+++ b/3-99 Research/6. Researching Techniques/Highlighting Colors and What they Mean.md	
@@ -6,11 +6,12 @@ F9: Remove Highligh
 <mark style="background: #FF5582A6;">Red</mark>: I think this is wrong
 
 ## For editing in Obsidian:
+<mark style="background: #FF5582A6;">Red</mark>: This shouldn't even be here
+<mark style="background: #FFF3A3A6;">Yellow</mark>: Important 
 <mark style="background: #ABF7F7A6;">Cyan</mark>: This is the topic
 <mark style="background: #FFB8EBA6;">Pink</mark>: The (p)oint
 <mark style="background: #FFB86CA6;">Orange</mark>: I think this is weak.
-<mark style="background: #FF5582A6;">Red</mark>: This shouldn't even be here
-<mark style="background: #FFF3A3A6;">Yellow</mark>: Important words, don't overuse
 <mark style="background: #ADCCFFA6;">Blue</mark>: This needs a citation.
+<mark style="background: #BBFABBA6;">Green</mark>: 
 <mark style="background: #CACFD9A6;">Gray</mark>: This needs more explanation
 <mark style="background: #D2B3FFA6;">Purple</mark>: 
\ No newline at end of file
diff --git a/4. Qualifying Exam/2. Writing/QE Abstract.md b/4. Qualifying Exam/2. Writing/QE Abstract.md
index b6b291055..eec476dc0 100644
--- a/4. Qualifying Exam/2. Writing/QE Abstract.md	
+++ b/4. Qualifying Exam/2. Writing/QE Abstract.md	
@@ -61,4 +61,24 @@ While a model of a controller can be proven to control a set of plants, a real c
 
 We suggest using a new technology to more efficiently generate perturbed plants. The diffusion generative model has shown great promise in creating novel and realistic samples from training data. We suggest training a generative model to create Bode plots of transfer functions. This trained model will then be given a warm start with the nominal plant as an input, with which it will then be able to generate a limitless number of perturbed plants. This model can remove the laborious effort of creating perturbed plants.
 
-**STATS: 250 words!**
\ No newline at end of file
+**STATS: 250 words!**
+## Edits
+<mark style="background: #ABF7F7A6;">Real world control systems do not operate on nominal plants, but instead control a physical plant that has slightly different dynamics.</mark> This discrepancy is called a perturbation, and can affect controller performance. The field of robust control creates a way to establish set of allowable perturbations for a given plant, controller, and design requirements. <mark style="background: #FFB8EBA6;">As a result, we can make guarantees about the ability of a controller to meet performance or safety criterion when our model of the plant is not correct. </mark> [^7] 
+
+<mark style="background: #ABF7F7A6;">While a model of a controller can be proven to control a set of plants, a real controller can only be tested controlling one plant at a time. Validating this real controller requires extracted elements of the perturbed set,</mark><mark style="background: #ABF7F7A6;"> which can be deceptively difficult to create</mark>. Perturbed plants <mark style="background: #FFF3A3A6;">commonly are</mark>[^8] generated by using structured uncertainty, where an engineer <mark style="background: #FFF3A3A6;">attributes probability distributions to system parameters</mark>[^9]. These distributions are sampled, and then are used to create a perturbed plant. <mark style="background: #FFB8EBA6;">This is an expertise intense process.</mark>
+
+<mark style="background: #ABF7F7A6;">We suggest using a new technology to more efficiently generate perturbed plants. The diffusion generative model has shown great promise in creating novel and realistic samples from training data.</mark> <mark style="background: #FFB8EBA6;">This model can remove the laborious effort of creating perturbed plants.</mark> We suggest training a generative model to create Bode plots of transfer functions. This trained model will then be given a warm start with the nominal plant as an input, with which it will then be able to generate a limitless number of perturbed plants. ~~This model can remove the laborious effort of creating perturbed plants.~~
+[^7]: Weak ass point.
+[^8]:Switch order 
+[^9]: Maybe reverse? ' creates system parameters as probability distributions?' I like that better. Better stress position usage.
+
+# Take 4
+## Attempt
+Real world control systems do not operate on nominal plants, but instead control a physical plant that has slightly different dynamics. This discrepancy is called a perturbation, and can affect controller performance. The field of robust control creates a way to establish set of allowable perturbations for a given plant, controller, and design requirements. We can make guarantees that a controller meets performance or safety criterion when the real plant does not perfectly match the nominal model.
+
+While a model of a controller can be proven to control a set of plants, a real controller can only be tested controlling one plant at a time. Validating this real controller requires extracted elements of the perturbed set, which can be deceptively difficult to create. Perturbed plants are commonly generated by using a structured uncertainty, where an engineer creates distributed ranges for system parameters. These distributions are sampled and then are used to create a   perturbed plant. This is an expertise intense process.
+
+We suggest using a recent technology to more efficiently generate perturbed plants. The diffusion generative model has shown great promise in creating novel and realistic samples from training data. This model can remove the laborious effort of creating perturbed plants. We suggest training a generative model to create Bode plots of transfer functions. This trained model will then be given a warm start with the nominal plant as an input, with which it will then be able to generate a limitless number of unique perturbed plants for controller validation. 
+
+**STATS: 250 / 250 words**
+[[QE Abstract For Dan]]
\ No newline at end of file
diff --git a/4. Qualifying Exam/QE Abstract For Dan.pdf b/4. Qualifying Exam/QE Abstract For Dan.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..4a56fc7617118caf3363fbb11d8f85eba46a0e46
GIT binary patch
literal 22586
zcma&N1yo$yvZ&p-OM-g?fe>698h3YhcXtaUI6(pgf(H%mF2NzVySux){hfXGIs3eE
z|8d`IdazivYSyZ%UUSxj`k+!26=z^!WJji&JltPLW&tt-9gMA!d3l*stz2!*fHX>C
zKp|rnS7##=SD?6qGf>pX9?0<LyV-jept_Nptt;eI!Pv#h)CzLNorMv^$oT=8NyORA
z$Q7baBj@04Wov81#KFi6)TPm6Vc`MFTG_jK0zJ7v1|W9b4?rPDM_V%uGh-PmS0)ZN
zPDVBmL{UakRZf;3XlrF-29z)}v2lPXI{bYXroV0i6tQ%6urp&~VP$7zW(2W;I2l>l
z*??lUW+txA4)#oJ%#19ItUwhbb0cS~zYRkiQ*?GPbu%%8c&1`wWyAytA7}?L@o$%{
z9PCAnTp@9ba<ekCvNLnBF|#tWgIU<=n3>;0-Vi-G2h;yug`XeU%--}*8rl9yr->1e
z1(``$4#*_$;B04P`;QXnA0=@sTUUr{Oyaf>A4JVe98ArSnPkoEEnF>uEF4^{{QN-3
zM`31UhwS;IRBN$l8HDM3t8v$;Xy!_w2gJT{8Xa*N2>B$q0FRs>bM=~~IU`A_RoARQ
z$YuISVZ~@OJS@DA`8v$p^;B(`$XIYcxOin3JArId>Sk>&5TBsW1<OHKBMtORX?q1f
zzf3-jUfE3u(*|9y{BmeKIKAGs3%J{G$k;jVy)B;%Rq%d!IK8?^;$IprG5qwz(Jv<p
zw&CDOB6FCO0Bi$>pba~3LP-I~?ie@#X}}oZ0N(J)o#a&lU;<z+?X6fgSe>pY<*;wE
zI9W`0%80q?HrVN1jk{2$K^+-p7I;Y#$U~bDI?TTIyRJ}U7MbOD073;_eaSn*jCQ@2
zKa_sU6K)$j$9mk5bL;j@8e3HQEBsxgax*_j#iVyidBN1?s}xuDyeS{1gK6|JDH5rg
znyjEKDA&y$D@7JNIK+6jLEXb=d;W53@oq(Co@t{4<b3ch!-#cU%U(ypBIfCe(emcU
z`ft-CG0N;~3L4i|PgZ6)L@aw-ClOrE{@ORt=GB;1v+?OU9Q(<#2?5ZF1GFSLgAKhQ
z_7TDd@i{r)^12cz0LkPjE39^IZwBT9#;qA#RGv)cMx}YftQr!p&yUh%dPyDUVW=N9
zvSZNG61{f~DQ*z&b2hxo)rNyQbM}~2R5BjLys`p0%}?<H%q0cSIT(Hd$)Bk^DuRaT
zq_=kIiA|9gdpzo|d_EZJ-9qWDjGjjdBO2`o-w-~?K;5H!P;|%M5sVmEP6>Q|1SH0r
zlWvJK*K_x(Iu(aWIevy08)xnba8$lmbRK&HlaxroZ7+*&Tq@OQZFK9`TW;4vTrIi(
z18h$e_(KuhEk>>EFj$Ae&&%v|Db_S37gnpH_k0#@e}@DXu8vcIKmn68pKc+}Sl{rG
z5v?4z=fjpGk<PL?<C3&uUx*zv+>Nt0Mj{gbxZ={-cO%_ZW?pXb6^7ctO<(bwG@sJ}
zLlH`=!UDgg?1(Aha&ooDqS!;bSNah5T-ceckeQQCnCSSQp0@aP=$)%ZNUluIS*w@1
z2;Xk^1>7UZ>&JG8*}76<XYQb)c!bD%UFR%xP@zfo-qyO(B7RpK$X3(bNd5pGYM|EZ
zV+cvxURg@7fR3Jd$>0Znz1d6`<hfAMJyS-Hgsx2C&nF!X+RKR}(Ol$mOo*EY<3MRf
z3yaZ3b6ETy3d(=x5*HqSZ&JMv7m2sRWpk+fP1-~ID7*@1k|%yTIMdv(*?9rp*(S|Z
z3_Sb*udmp-5tU`32a<rPl5OX47k@)K5tX_po-ufQv6G7l>-cbj88?bgWI#8=YASi3
zt*SmYt4lmHQPMWRu5;k2N8mp#K2MH7b)ZC)-qB&hKr=PaQ>#|ME`&r?dU``;N#y<2
z^&oz3=a)#y2A_~Jkh0Z^-79&>L_xks7U~k#j)}7hM%|eb26+tX$V;P@U7b?2wJQ5S
zohWduvs(V9&XgT(mKRf7S{2uP-aWBZIi{qjRi{#3-mXsY&{!p4!N5*hGTahZ{GID8
z#jF*(t$7rz?T}Z{c5$xM)mIzm0D}}ZFPI7Tl@AI8cEM8vgZAm!NW%Oj3_a)o0r-bG
zxr8Ox??3S=$B-!FgB*D=tR||lI$)_pa&N|u?g#`(L8w!a3jw8E)w1kc7PaQf9LS1$
z%M;gQ91Ibr%dSa}b5tE<<Bf&lUZ(Hq&qwOfeyh0~OPjA5r*(P+ZN}FXW@h0a+n^py
z8hXv_kkr`+Mz)8(Uz%_WA<$kfvc3LDpt1dpM<`yWa*PMxh}<%iV?-^>T*t$pa|A;@
zaXLsV;@9EJd4Ufc^XZqdkCBnSq2Moi^f=fvp^j`5N!tZ_MdrqJFAp*E-O3{6JsU&g
z>NGJEX>9oxc2WK?=0>z%K6sE!>!~TYGfT8E1M5~Uv+${O3}c+#-tGv;8ZP&^vS)G=
z311zsNuQ+1nVh`8Am*qa)Q`@OTqcT?z{dD`Y>KWG_^D!pf(qSGx(ZfFj<^u?n{We%
zig%O$D>yxk`p0$eam{P;xeR_}_yoTk-{SLId$j3l_gu>d!FK_dG%^u_Ch}C!56k&K
z-3p)F;^Zj&bP>?G^@?Af4+hIOO@59}?(PeaF1u>}sYiboj=w7t>pw+D)yvTg$fRgw
z0jV|0W-bnH&L(CqK*$aNQYuYU%v^ywe^p5)RWnalAd{3GL{a$fqsZS!DLrH+F;7<s
z71uwt6EakS4fv<_DMP9plemMu>mQjoJCOa43?ktGa{TM+pX+jFkgbETgC|gj86pI+
zumU;3tPq1Dka1@At}eho1rjn!#nsu(#8uJA`7a?eq?G^lBari7rv6=X|D67N3-h1I
zT>hAIgZKfd!7^5+E<l|>2~gJirwViZGwkn+KqgHsZ6GTbkP`&)`@dAd|ET^ecOpiv
zMz#(Xe>}2)r0y?=keNiyTp-T>u?ult-O9|v%vsUd%-js(|KADz*XaLo2{P2m#nINt
zOVq*SU%N0!<YxSk*S}+A`ID)?gZ$U_fCUKI#IUkMa{Iq*Avn3fEdRZQ==T0>sM=k7
z2KG2v&X_-19zI!KU21A<LaIPQqKBdk(gpQXlPAFnGjj^MYrI9IeHWt$SNdDM6#h*~
z>4Jq$!E}N(EvF>T;-`Spn-=ZTtKz!azCiUyTRLQIJGG&c*^eHauvz5>ZKu(kaYsWx
zz%DyO_be{v?od#fnBsndRi!_TM|MBG#@_=x1px16?Pbv>x@1uRpAZ3|GoQ>gB|p_2
zdjpp70oSQ+frp$c-@QBG6&+CpKU?}*TVfI$!um}D+RNJ97k_O`Z|eYv>j8KBFRiLf
zI1Gyjeo}y>+11s=s;Bf76h9Ow;8dH_-NQJiD+^!(!>?-=y+rPL?%_!YV2uj+)WG8Q
z3~WqgMDSAp2+n<9n0v2I&y6V92JhDkj}Q{V=Fk}pHCBFuVZTr0dYr+A(e8-?u!09b
z!)LZbC-noM+>UJ=!6kltnJ~zj1%A_jsp;<$hg6xlLqxR0GVfr=5GK(abHR=$I%FB_
zd_R?bq|8`i4qV3P>+=xFYT|tYGz%SaZOEjl4PtSYG@UHfQ=hQ#nHWNGoK%I48RULK
zL<L+r$YKM!=3|cn-M*6$gtKDubtwjoTsZL$>n|xGKqFRsZKNjYE#UtmAPG$hzUKt6
z_DmJT-Z%9KrAp~#QNBk)7^_g2hCvj3ZDACo8uF)YAjTEpWADTnLr<$f2esES17<tw
zWW|4~vB1%l8Mz5ccP+r`sFn;JzS0}KtAEYd3Y@MWY%Ml7rFL0{yZ1|Y4f*^tDkgWA
zt#tOnV|wU2D^C(0Q<_`puP$%tHnrEPbvo@&62m=Skgs03PYebQ-o3noPmcbU$#%(l
zlKVxYY?99&ORsUFY8LX7fKux;c+KR{Nx&der!VZyD<$_(TcC+FU(UEEiKrgOl|HgT
z8_MtgM*R$BvVgBc(wIq~L-*RM&<TO!82*Vz0bG2rB-T=V&@-2ZK^Gsc_Zu5`c4y0|
zt5A000QA|U{y;uh-ZZ@kMhOGG4ANg}hk4U{R;cNt({Ers-)ZEx12A?DV0Sud8@bWg
z$P<d$)`IsNf5~r}eX#W_&cvt_L=G{6L2akr8(SbUB>66a3csek7aUJ$OA|`oPMic+
zZG@|;7aPDF9KtMR!h+hNy%#7qR(y@Dh~6ncl0o)7dUjw0Qxb}%z3RRfsE?Vc(Iw{(
zurUI_8>NOckv<sV!zQ8I7=_d&NGGAi0|hBj+W{q^Hdz?31%Xg=(18oP_h1Wusl)rz
z!eJ<=gxv<q3GqaKz;Ff9OeeiL9+#0{A(YL@Wq@c;I}8F8>%lzRHd_n(<$0TN@+-aB
ztwW6oW_n;Wb2#?W7qKz47G?lvCyo9ZLIWUCn9~PWKTv-Twn-7gpbc9M)fh?JQ1E9p
z5<d!4=P48T+1!(GM4t=6Hss?vIljs|K0-UwdbHDro6ZQr?Oeb?p}SLd8NA;zz>)7L
z<g2PZM&3v}${CTS9G_eZ)W@|-;?Kd3gojWSaKG03iT!c+8oulqaYayTVl1wK=HlR3
zI5M7aBa_?OO)6m1q5RAnpxou6?l5b?UyxYiD(Eh8e6bo+yaTeSPoVsojQEz&KKS7H
zEr{V7DD%H!gt-R5S;SP}HtK#aXf%}jEIZu)gPfdM$YRHqG{LI>DLCilbZ2Z?&H)xn
za0g?bXre_HPQ{O(UJT`lAd2Y(f%MT3;id!X2qxgUfwZ~Z<gGRfR9XYRwPJw$cK{1~
znkE8=HW<am5Z1E<>bKZf7)lmAp5S{;Cn(i5=z?yz3K%>9nz(LES78ugiJyE)U+rKP
z{9q;)x*<X4O}Vg5mN;D^z!=Nb*rY5{1Pvtk9<;SEtoSnlm_>@|dF;Y8p^QbE)((S(
zh-F#C73zr2&?cbPoe`P7_cXd^ljaDG*BLf|b^Kmjp5}cLmL#_UC9%MnjO^3J5L02D
zf$?#4%<FhRnNld5L~c1Lht|fiM63jSbWA>x#f2k2UAio9<6}RJLb^{Z!5yhK#(8Lg
zzeu0J%8loa)5V--Wc|r%Wd?Tz8N#i}@h8($yp!_g4AhnA+vUSux>nssvw>T&=EoWR
zmv%i*3!>4k(te#nzIuw!bSL+`pUS@OJ_-aLsT<L8{1`eD2}2c_<BB7*{L$}VJ#>~{
z(4;~}mBt;rt_I)M;;zpA>57&&zSGp0F+&mQCUeT9=C?=5N{jcYbyX2hr-mz~>-(lc
zzGaK153NKI**Eg=QtwHq($qWSv?s*j`|O>A_RvUV0(?FajbhZCSS~M1msw)pQ+<VY
zuoEuqxBc1+33o=k_1gvKJ$GY4^<>D5JjnVu2a}rxISpqfGQLV1YlcMKI9NOL#<6eB
zXo;;goARv{xMY;xLFwwa7`s^y$)g}+qRL*(qX{}~x%gMlo6}f_<ysVDe_S(piNsjc
zJ_czAiA0LR_-|2+!Dx{#m~o*YA(YykS(2t)(BIZ2b1WonFwh*nqDq92za=1?V5azn
zC`!>Kf=@t5NEp(mXewEX5x5YEx;}P>iHc?d8#483L`=9+gs$Fi1nV6V0(plxT3RAj
zsfe>zE!fWI5dm^~)Rvt!cEh8#2NxE#%QY9OavBR+Rum2Jbm*rUi?kZnE)E8FMvGJQ
zv{;IpZN06exZdF+c-43HXrnNg$Bk#svan}i4#2|2p&=uo)OkwVVyeh(n+XRtwY4^v
z2t~ffA*Z4_&k;`iA}2>EDf>ZKSy5U!JSGKNo>o~}amE)}Wx!ZEE~yV0#VCtAn1+UF
zCZf~mNPmV3d7#W&3HN(_?E{W>8sj)&g0~Vn{NNz$SGsteETOQ^d7o>@wG8w_HqBMi
zG-oYnnF5{S8s$sa5)=Jd^@xdk_ahXG6(@-p$@1F`mGadj8_1`NYnTqL3vS^8oxQZG
zm1$;d^c3^Isk*v_>r;NPRn!Vi>-3x-ALqfSc2r|k9;3U-Q}_7rjw&(nYi!8)I1^3X
z7gmuH4RhPiU3&U6WBK31uF<4La~G<7oYNC7RkAySw3P6l0obzP4jHYOu>(S`MmI2u
z#mH*;YZqmiDLzgt>BJ;oBZPg}!71E72pXlaHJx0WGYwrU$Uo4Gt>hXWIPN_1_)0&?
zYZ=8odp7>i@%HhGP_D66OB4>?6#gttZWJ73)4gWanrZho|C!7!FuPpEwJ0c1NDY+-
zL&j0fOG}YJYbM?f#WDUAD2ek%D=XG|blfMpTIHCa|5g@VA-v<FDj}*&DHxseHXMxz
z+sZ;3;>H_gjpFb(TDfQCt(jcb^+?k=RUvdV@0OODgcOtBiseV8a0_P1Op*UAnW1^I
zsq<XqEE=N%H7PP6Pvg+0!B>(eKR(K~=|C*eFsY<aXo+Z!=Sp4+2U6rZ6WZXHmsnyF
zDNDh{5gl-t(c)}mZeW_kEvU^~&y9`eqV=Px5W6A2o81xrfP<D|fQ0t5|A8KbmcdDD
zRt0nT2Vn-?9cgr@Zp@*YX<3;JIThMZy_Q34{{2I>pe^pKK|IxWS{>i%-LLzL=EF)@
zH@_>ep=(vg<LEJv7!OvRlnpvZn)0YRyEd$=nEqxoNQmqV!V#GRx+?Kg(77h5B~@T*
z>{a0F6pR^(k%4F)n2YzS6sH|cP=Xn+gh+Lgoure=*{`N|&!%qRL<y#U9Hd-Kxmv4q
znCitb(I8Y8Hb*M&Rm7xf8g;^}70BH)zQx7nwpA=})Qf{xHrrSKs=xR4QB>;)54*5M
zMlY3?RBixlWXU?ZZ`}=7`k|ASNd-7pWn7hotP&>SqY_-qZhhQuKAHb3^>VqhK*)9<
zUo9*G9FVEFZVso4mB3hiU(+J!X33KN7Eb+(1&Oz-Zmg=sNt-Se1?V;^oJ0?W<0xTU
zFXP%yW4B5KrLN>leBxIXOd`DV8?()~D=Xv6*Vrh)rPl02V6dtlD|K|}*^QZ=0umq=
zK3BB>S(PYYLGc5_DYqm6yU(i1+x9OrGB$wHmK){(c(yGgL>mkhE&SB90?|}SXyh5v
zylOsW($tXJP&BQ%FYuESTm=+yvXQ1Sk;+hJSw5Qu0qCr;>yL<rqMpqFhCL#(tb+ub
zwJt7J`|mzlk#Cr@zi*%2j9jXCxO?#F18}dbGOFl%r&RT4)=uzrrc82$_SDd}#T!4f
ze<&V-{~;WVLmP=49wC_ZTWnKu9~nDt4o_vsST=aJ=xl*rH^1}RSXK!AmET7+>tF##
zmBCO=L(vqc<56Xm=CQ8m16WxfH1Lu|%<RJLl45N}=;voZn~4ZCipjI230Tl361US%
z*V})~^2-kI<v<>R5(cg`d2$O_O)T5q;o5IxGSu!jXh%aFi{?GR@=k@c;HzH~$hg|X
z%`E}Gs>67oXW^&IQJ=DLt2}yMs{YHcgZ{_++N*QV!C37=FDc6FF;T3W4diBMm3@ai
zj5RY$na@f5u`iz<_*{!l?dhQUKAC@z4eX9JH1p3zEdy+4!>(Xfa1-y4&u8T``}rT5
zx&{s)s1_dyPU-XY$LTScYmBrPd0pZuskzAfHcrD4Tcn5_S^p6wJau>_RP`Fys}4GS
zRPLJAi%2;8Mz`2D;k!|K=i8<;FXMauxzzsU;r5g3X3t{t3fa1C({9)^5vlK4e?y6L
z1FuVpPjsO_fIgApQ{teEtat)`KYKb|KsNb2GOr>WY<sE8V_DoXx88b;?Sxk*C?$?q
zwTbR6pN(psz%Xmk)Bf)b<+pBfU3<i-15E?oV+1wBT`H%|UMHig0=gC6_WKE1ueEMD
zPEe~d&yE}C$G<O+6w*Jtaf6;xF4vcQn_6(C!O1JTFvvF+`n_#2KMmpWRHgOv$1SOT
zZ`R@QRt$^;ocOCL){F*z<ZUn?#$H~?PO(qkh%IWoWG~$B`_8TZM&aECTA?X#y5{6m
zk|ccWxhE@ugQSv2ajmL|2r|ue_ZRRGyFbp6W9XDoB_8&kTV!cWt+rLlG?v7-+%ff}
z@5dmbD%4V@inoOOLAJt88|{4P#7>4yFjNT0=%yr|1OC0l4GMu6+!Yi4HZ?WiRMj_&
z?Kp0;;>XiC<3IfLiu{hJr(JgDvg-~G=HrblDy;e8$8!_jNyflB(J!w?ysyBIE>HEm
z^8XeVMs&7=<yp|!I4{xWG;(TVf3se6)m7uM0Z_yo@aZfuvu=mAPolifigCi_ZXxAN
zj9GS7c8{a55N4cszfHk2CC;9uzsI5qYp3fvLLmxeOAp&+Jnf@ng>&qEKNM?vxO)<j
zFX03;u>XDnVY2p>10?QC5;5+5k{Z&%X3F)fsx9@I$JfvPW<28@1XENVdNnMI)=(+_
z5Kp4C>)6-;U7bAnCVCdiU2>o-$hTcSe({@MTCIwBk3HvvxQ=oiZe~0-HvZR#Alr8Z
zKi!a$>rO8>zTho3Yp#nG<FV=UZg#`yFRgdy;88IJ;Ej5pf5(gVcB;oiXigeCv*CCe
ztcKB_=s6nisrgtr5m6$3n1dH>sTcO-$3}QY#Y9W^V$XzbE%J^D8S;nqk^CQZ^;;^V
zR38NwajHIwjI3UyCu&yjKyM~3p^xXy2bI>)T4Kpq7{S_g+$*JON+-+9v!9Us{OBDt
z-)8W{47#WqQbC!VRO?cVk7+%%Yx%TsN4Xzt;y0EGE)_BVfZbJ}W5vj4a}A?;Es83Y
z)iE}XSs4<8hLmOcC1~pKq{>VKM1r`Uj!7+ym^BcCO_BH^OC_tC9MU?#$_7r65+WTV
zjeiuGBb5$;S9|O8g*9daKqlG8>p(#*A#5(keok$w{QY{%(!T#dn`Qhb5)EBx-wuP0
z?akAMg+_>5jV5t+ktX6uatNc{`F)x$R;bG8lB>zX*=}@x24Qb%<>|mO=cnSu<r~-4
z4E_6Mx-O!gf?@%(43>{%BlmEOT{bAoIQw{{srAgy8T%&t0yzp_JR>~%-#W}FUk`G~
zq*3z)8dl;r!v*0Z>oGQUoSX*)*DBK6u^ifpSF@0-zy;ec$bMNCL**6`hIf6N#<wAs
zfj6wryW3sg?70*naJhlO9=K3EkFHisz*wv`^^MoH7n^OHqqulPmcVq_ge)mwIWKvK
zWq2r_w}S5!Dv`Z89fh8w^4^DR>emI)cRCBd>9BN;IG(_S<AW8RCRQ4G7I8}Wv<KZd
z+vJQo66pvNlkYelYj`xLb917r<ldW&ZQEbZ<C^*s%ugGYN=sY&iXXc?k_egoh+b%Y
zLs^nb+O@#Zvjs8(;y;&-^W&=0<oeu=tF%jy<}U>5p=5u(c-_B5pbJ=C?{0H9z1>X^
z9m7pyiv}~P`@2^ORlWTBxXA6k^8M4^mZ;Au{&Wb`RUSC|Xp!Z7nMXjrd`RZH4`qMa
zuY$!T<%Uhhh<gcG3-ntZ0H=A6(~czVPfA>2-_bqC8k|q!YM){(cF79sM`=dyiN5pG
z%<OXfwj38zz7<nFX~$OSPOUzqI*VL8&XKZeep_%9m8&heB3e^xIrw2>118JbUTU8{
zn`E$PvdBMbvZFCiNgkxBtNg37*k^~bIA*oM?Wpxd?DWOy6~+1f*P=s%+2o7>??M^~
zJxwbN<H_6o=qlE2vY05&<0?u3M@qoOv%e_)muQ38T9&`7MIm6Jo~M1t!a5TXBwYzz
zJ)g&kZ;QR{Smdvu%*c!%_7$3zJW$WsI2TLneE`-d_jv)<Etk{put0fRkL)ecjxd$l
z#93|jHp<<^!ZPJ)6~-4O4Ll`1=-rmL&s~J8v^}*8v*#U08Y#Y4ew&odjJ~}RH!in#
zDQcg7Cf6r3v2d*Ui(7?6P*KlpU5|@L&4t?{X=#Yk$HX#-J^FC%b-9yC^Oszi&8IAZ
zJ8;sRO+$BwiU&>tK?n@US^e-58@K$fh_9P3SC3@5udy%7&r?yA4)&|BavN75&W{53
zgJc4{w;-dMhs9NV7-VBez4q85I1|D@iCNII_wbh^L&wVU!~UMopleutuVa>qCQI#<
zT*B$ZJwbc;W6d(&KUmq;im6*AmrFUkU)h#PtPq=g^}Dpw#D}`8t<6RhdFaxl4Fc<>
zl3$@~N}E{|!q{+&OJbT4YAzi88VsEjzU15_kd@b`2w#P7-@&PrQ)(ZJj?BmQaRld?
zs`BxKQ16?ymZsLKe7e+U)^iSzlENbFWsTE<tbUT{q2-5P#lT|<*U^v>cctg5nN+YG
z$`B*72mn5pt9TZnoy1XL)3*mS-#ecsKf%Z|-x;9Zi0LQcFOi@@)`dsBS((=Rlb4qF
zWYbB}Mw(as!Yg&a9zFH)n=J@%H^mRcJ-o8M;=q`8S;-pJL!qhUl1<Z@HkcrZnJJNz
zKa$)S&fCA`XgTZhh!#kC!SJ~)WJ$F%20fw<H{s^DwNMk#3tV@6-1nGbassA%rMkxL
zwj)I37|Ux|R^GYte{MH*h-09hk@#YfEZe{a<@3Q00b0vql;9=!DHugb6~->U@Cp0_
zPhg*MwP|BXBK7rlgon&NMT<DK9;kIazbH{&gf92_^e2M6EzacUPjj1lURS>|qTu`j
zqK2%zIjT{(5Iet4;4u1<-#v>xWE+2@vyKPn4=>Ozw*Rj0hoerosT&k@0cHa!=qSE4
ztR;OprXa;pdgGMwB~V-CZKZOv<kEOa{PxiCQ>?R1_V1<b4mIVUQp?+@*>%*ZMd$~=
z%}^3YxNkboO^6U&rJB8bA6BmH`1FqHbQYUF77LekvXQlB+`!ehZASS%W%Gpeem>I;
z@}9Z>VJ%m*)zlZ=fdnNfmG}`quTMu1Z+y~|X_@+COM6wG8S5a_EH%u>klsX3-p)-Z
zQjasPc9Vc!ZBn|s%h3BR4$FfNv78xTT|l6Gs5dzEbZFl?y;yTMawIMIZseQ9q*(my
zjq5V#Rj@bp{ipk<PPn#OiN0uqyKCp0LC$Vy4Oq%k`KRla)=@s6#h%8ZWlgAp{A7fV
z2$UR+WBKZSb7$_b*~43Ki@ihfk$XVbj%8ffa1oPj;;?sfPqeu}`sJpR0RLJqu7LPc
zpG`a3>Ek)VCm+?rx&2<Erv~XR&9z=+yCI#0iVQ1DtsgcQT(zHaN<IzUokx->Je*Sr
zke+R#3!vYzWDOf$n_NTMX_uRC1WwLPn#iaG)E|`2C@m=sE;jk?hO`8t?pTt^K#hwA
z8;Axj{Guu0%wd)H&2Dl%mvOy8?k?$iTJO|{M^h42cwk}h-NNTxUTi#;uaDwv4s-mP
zYHs_!mCOFnmN+1ievE3>bhZA;<0A12yBpQLBv{xMmFWYSDgjt;CxmBAp+nYn1Bxfa
zq{`mRlH&C@I7ZuK92P`q>NVT6iw))UO_1XeQ2i`Z18Mt{%NEQ2i2H`<xqLKA**Nx5
z22?XiY|IMV@$^-jp0PvZaPr1Ysu}z|P^2w&qD}ASQ9PtX_RD0hra>mbTBG0Z;FO9+
ze$zEg6#><RmB_WU3hH8#&V0$DhtHgt#iWUVip`u{itWOj*R1C!p=mvV&9J6Xx^w8t
zMPX_j^$yA$UyO;8N#v(#5}2TSz!kFH=^|Yz=V80O$G$F9+w3y!$5Qv|k!{!70r~uK
zsggl6pe>DGG4viHkfi+}5$4Vo;DEH|2v~%Xl!7WjU7H7_BWJ#C&w<~D@l>@rL0K~d
z&_VAqNSkr9STTF)jH_d|cwS}*Fs1PA746t4&^=ss07*;QTrl_3UGKwt<|cCKCbx?<
zHpM3xK)I_ao}!Z?-QnpQVclNwTdRY8E(?nT49Xf%b8eZJ4PR$K^L=kEQe_)r5LV9&
z%MlLwxMl;%F}QgpKUO@LVes?hKDQz$c*St<bo?Zh^;Wz9dODV?_m{Gt7ozm+$TW9b
zg?#tTGuqkd?AZI^wY66K{`2KUxx$Ypv4^{j8#>$>db^1A^RQd~yStwr0^YZ^r@VI$
zsTjU^RlnYSxZve76g2LzHFrbp$_%cEjN6=QvUa^$qF#%Ej@qVebZ6{Gb4K<E=NTj@
z{cU6uPomDI(^oeTERVIv<~=o8LO8pSJ>INU_!2Wmth8!6wWy%a8Q}=E@LT!Xk-z*q
zUb%0L(~232_3iW$=lSLFqSO29{6o&1HkZk#v)?Xp;ea5q<jE<WEpQULi1JeAEYCB4
z299X{bUzQ>4_H4qs4rp&Bgt%{#i<R!>hq`OQbNVHz#neZq)A~s<{Ry@vO~Y?d;~vr
z%;&*vrj*ov;pL{19}aJsO7N{o%@^C|Y9ud|@C4CI9F$t1Gx=6gs8iT$IhyTWj5pQu
z`JO)X8VehWh^cf9EVed~SbRDr65{D(Fcur!zBKuEQEpGrC~$U?C+I0uQ}oIEp3e_+
z=to|w&?+jis>~-9qpb88ip12qBzn6lrHRxMbig7jK|?=g*W<?b-k$zYzEn-M2&MdA
zYSt2!)tKjDOiM0Z%Q~me{R%trYI-ck_Psac2PxgT<;@cU=f~YFb(2~pFSO*B)GaZQ
z{wS@CrJO8=wcPlji<{0h1B~yBRc?iw#--_ts*7*h4pcy&BM?IQ=1zp9FAQ@Lv@p`A
zOAN;8+m-{Hci_SiZoM4G0&&t&o}b^MleMUp;LRM0cEo+XXjl>nvDTSlyY@iO6WH${
zNy*=IE1tZi$4ecPDs}CpF4GxTktK2J<@b_ZTo!!x1rh`bbJ6<hD-fU*3e)KnaJ~)C
z(>7zX;{Z5gRCvNf6l<1Pu>7VN-XNmqAKVb3U+FYH#l8#RWVd9BKu6m*LpxO@Z4egm
zH8|u>Cu6FVRI8$?KrEpR`wf@4I*j)tKaMGDJc5ZO^2<VLcOpZ<gWdk2@m*7ghrx2t
zxHp0pWKC+u`kd2zqB)f19na{Ja!*bGgYcp{py=Hs=HTQ^4L~@=B>pW)j82zZj}<XJ
zK|85VM;N(7k>?i&wq19G3T5NEa<tqzBMx<Nx}yyh*gX4y-qy7aLwo|ESwf31`re@X
z5)*=(xg&f7L~x!Fi1~}wSK8M(yq1vBJYvtB7(?&dv4;wSywFSW$OX9JJ{ux`f(vC2
zO>7%o|A20=bA}n(MJ#=;k4^_hbwVU=?O3lS=KsB($VI$fk=TVpJmbQpA!5jJCy$N*
z&WR<ibD^;c^dHoAHV%Jy5z=(^4`&LGV#jM>uX`ByKI?n4&Bi^A$eizsJ<Mf=v2~!4
zF&9*wIx%YhcwJtXOBTJ!1fTKBV3l@<wXO1XJ?`U&!{1F{7_T^Ir~pcm_xb(!uoddw
zat<_8Fqs{l;56<UAjX3*>+p$HBDl%Gq5|{X9PK1E8~KbjsTV05Z~7GUd5bnMeXWv#
z?8_yuwpTNC*Cqj)6{}%}=(EJTD#z<Q&xBqTUTUu)^(eVUj+1pK(Iy`1%UKB_BDSzP
z1rbSWz4pyqH>Y#9scyod1B%!9Aa(ghS<CTE!WLFMPpYEC+=-$BndeV_of-KK8hTg1
zU5X;|Jf!+d83xtqBVh+*7^6p!W1!?H$&{((WMEdC^BebCQgyQ)YF`mdwKtdlC+EQO
z-$dhIIKUqq0n(Z`akg@V0E+*@6XcETAP9ueUoSdYD`PWfBUcCssAA@9WzHb%U~39d
zvo*4C0YVz=LM|o{009VTr8Bayu(5Le)#(3A#K6h|Vq|0H;sF1F70m3^fn02iU@mqx
zP7VluVB{!iW@TaN3IuVmGjeiquz--6q#)dYm5GqO1%$MO01ba!6aI^YVBlbf3}xqF
zV*xU-F|#qUva*6eKo&N3c1Bh<E(nvr!pzLc$i>3S0Rbic41=`&%~&DQKeWMraRUDX
z^Z29tuMz*`0QgsuAdrHvk&D?Mh5t(`RNRbR|4OBZl;|JzKNtfmBtj`sRR;+vQ8^<=
z2o_=rNs^VT*I!~4FBeEUr0mTd{%|15W)@Zu7{v=nBLsmY%^*ajg0m?k)AklXntu<2
z2vywvaG`d8a?Sh)6Vdp?hv;x}Lc(TaW&T5#FaudRnDu}xTo7R6-(o!=D;TK5#>U17
zNe~x{9uPv4vVnn|tgMVIAWkqRkevmn17cx@7=e5;!2g)j1F}QRfFW7uV&{aU`j7R0
z)c%}taDW(DI9S=(fgliw5e#N!`7g72KoI1%|ERG4$I$<u?7!UO1VLyQ;D6i)azWht
z&k#Kz7Y9)1A6sl(U`Q0qERc}?9pFE1=>fri^7HRN^&k(1s0NUO`A_oxhJIN7i%0$6
zI1x5Bj{n9)^kU^~egiQ>PG69tn?l8gXF-_IG82O6&zbu#ekJnCSuDm&A}_vSarRjV
z!4eiet4<+mcFTmvA3l0iAGJ>k5p5eLpUOkGbQGYyd84NNkk-kVzw%bS)~%kAG;ao#
z?E|v(JVK=RxqWVEM2dssyQAR`jth}jj-|gSjh2@e9Fp2S2c)!=;b4rWWgHA1k!Vn?
z^40y%7s~T(rk}-p%5W{QH8Y98begtI9oOct%8nymQW1GpDY1S^uP5E<?nGM}r^24P
z69JcB5{bgt6^Y6D$a5t*Ca4s@!%D+W5PU$wcF7?`!ckV0EE3d;ngXi%D>w7(c08Q0
zJi0v<D2kHH9*q#W#!%`ha*OPvGMJE9MW!^l$o5tEsTv~kr}1r)zleuBr2kyTC7kE?
zAPSJ!-C71S^UF%_&CI;FTVs)RuhW^S`vibzE{Xb|OVl4I>i+<i{xwJcGt2%=FUaEX
z|2R3t>><?fpSkp(DaauC?<LCA2(nN>CM*Phf>2g}_$Op0RR=YDt3RMIWOex?`md+u
zza0AyWW>(N1zGX_w}%JJ%=&+D%DLVshFG)ld*I7&CDEndcnSM)W5p5Y;kEAAK!)v}
zXA()}aCL<U&<P!WRzQ5)3oBtK<Si57&39X)@SHO9>{+Q!K(DRp4y!ERW%l6a*gE#@
z?)jL!<=7rME09dZ6}Lt#15AINuLd*Q?bAuiZu-X)@GT)Gpehr=@(YL^H~!?va|+Eb
z8cNXhc&ASO0Q343a0dn~Ro?8_JJs4~A^DY&`aK97@^IR|m@mqx11{eHo-5Jp^wMHb
z-~kPYfTa+*`qJ`w)rvQM(a^9nt|c}$oaxVr@PJ6@_L`_DH@jrIWFTM!-cO1owaKBS
zUNsZ|p^WSoYs~Bxi87k+X#vw{fO0$grrNj{g`2dtn{8yk7tUHc{oUgdPf|ZHte=91
z{r*AJD$Fr}OQ_4kUS~Fph;#-DpBgac3lI!^LsJ3Wvndz|x>0LDO)+HJ^MghYUxNo6
zgkD7>CcrCid}L3a{eYNx+kLQR(__)b<#W%sDNDi9vLpyp9oal6JAf-qnEwpr059}(
zy1*tdxw7l9dNa&~9?fg|qwtjjU<!!e%1L%Vg2DCk4TuLY$9PUYk41&X<kFA~v(k&P
zg?);Qk8S+Q0SrW}ue|N<q}lhqv&KIA{qYq}kPN~B3_rQ`_}AoojZv@;K!E242m;V8
z$NUk4nQ@B9p;JOy;fdDkJbyUaoHa__Ia>x2ZJysD%)XS3_pEBai^;rqxHlqCf4m^8
zP0*G}%afn<btR)@Zfm;fEi+u5x_8AmV7n3+Zm?|_bewmb_slp~sa}2>P4-GwFf%hR
z?ep%6HER57vlddiT8Fkr+w)7xcN)J;g~pGn|91H`)4c4%QMA8BVpqxMpu~OYv)sF6
z3}DRn{jt->#Sn?pKyT`E{Z0UV=B-eWH*OKWA1=IKJ}pqv6lO~WhgnMlN(esl3zYEb
zq-TMJ5$kaXbrG~De0%r12SFA9sE>Sj&nVbDH*!ZOs@;E!GXT-!UE7DgfYjJkcG*CJ
zeh2EWA;G$5@7mnfp!~!t-psUf&%xV`p%EFOEWv)wX?-)(<$N(69~7a8tda$rCk!46
zX4FJET%)#p&rT5}*j&cWBDcb-i9lq?V;caPyAe>H?G&E_5FwoqRiG~j1-T0^!c&w4
zGmIhCzga*VgIWd(LzM*g=VWv%LU#i@dFP;Y3}I{o+<?Mpw*GcwQt2jk@^F+LKD9N<
zm{PB``cqgZ!k9+<ORzRZw16gzBgIkm066Y`m*#k4e_~H!VA(N>)#zOI-S+3-&TS>{
zeCT-LL)Y<-0$nO-!w^MaL7nbgoKa6`o<yM7a>Nopi>zCj-=zMV6%<l<!H>1ybn8Xe
zl(>)uNN1&CL0!ic82Ujjn$QAJ?F?rh%-ho(k)yiuHK8NQ--l1|UU^?M@}oU4@=6^C
z!%e{fJaxMi#jp|HuLH{9+wBp%TF2jvwu<j9SHJ)WvtaDyy?}KW1LYl<uWU;gJcdv{
zC_9~b>`}94Ks(sX)HNV+2q$6*P4Lw0q(Q!ZcEPt$z#7yX07H-{9VYW;+@(!a<g-Us
zDmm8sNvOAKx+(>%6~7r(a?fS1-Z2Zi_;A5RFh#y5+ea+_u3^QRlinFFw-&htR1-u3
z&M{2tdl%-Zj*L9tq(k8|i|&+lxcSZb69I{u@q?-6kcYYOXq7_Dze80Lrc}by_J5>R
z7sl|ce2cj&$Tkup{R3`zty@bmxH=QcqT`th1^-8U4o!$OeSkT=^o)pNSnwEXekEqi
z(`=@iqSOispprDjN&kW*M7ku<yhLVZ7lKZQ&>TQzh4U%^DapFC-th7TY#^RIK~owS
zj^_JjD1RnQKl1%__nUe8OzQCc=x1TP&jASv%rN{r{82u{&kdKGFVSw|gJSGmWMdB<
zW2mPe<9AbE9kv}()_F%lF1vRrcR!94@6KOJa=wP(HZNszY4Xm2=h!^W9W5O_nSbtH
zx6T%R{#e>)<2C$9xXriV=(?-K{eY^Se$Fo<mLAD3bxk5T2zBb84ReJRt#HlHKf39A
z_08vWjIt|Qv3E02f~>zL#Gnga7dC#an@VE8;r71KT^AJ*R~J=Z7gekQpU{!Twxioo
zfDxWV)A5a`(;Mt{3NQHO2j&z~S3Z27vm1n4{yz7WX%~%EJ=f9nR=%lA&WwiSgK*g!
z`^FD@EmkYo4pCdSGcvB#QBfbGdl9zpZJ^=SEsKxrzRKQ|=_(!Ru{cz5>Qr%5OLDTk
zUAE0?am85{bjUi*R~UPUG<y^6VfA~HBpg+O25ih6%7C^Kk`4dh=_9FMKc;~h#ki+C
zR_&KgmVQ*4!P#Y#yql)MetOk>yW`8MFw2dBG13*dzT5S_vxYcb7dxSg)WB1?rC2NG
zXjr|5-6b|RS=dq>DJ6p53B|0kM%!K65=9kini3e%Tj`Kl$bzrysY_;1r#SqjMD?7M
zW2}I0JC{y%nU9veTyvh)@6OI_wAEMfSic|vR9B!>U!`d0V5?+y{4>8&Y<md?T9r;u
zZ&^s08UN_uV1*RbUC8lc1rNUNa=c$B4QYVh+%%k?UJz0sp-^^|-Wbl5V~1g4PiV)q
zUU8G)N6S9L0IAIr>2S)SFob)@vV`4I-K-jRP7X#LLMzQG&+$&U%fsE^Lu;F&-2pWh
zT8q&XEf$l9nv2+t?82<hfT!m6cdw!uv;8_?8TGt=%f7Kg&5%4yWHFqdZnPwrrR$*2
zX>Fzasx&iT9&3?cw--lMoJCO%Vzp%6&%S(6_lv45v_)QaMRN)8QAN(F1!ZmF%JPZ>
zKfm{dRU6gK1R1EV7F|d5I(1LrwiTQdU(;nju-xm*wkGo`_m^DL@f#E<zH6EArkg2T
zPv!AG%&yH6CT1qEdEz*X%o4_DPO*OC$WtUQfO{E%qE8Ck3ZyMa1q%v^=gpKzBOEL&
zO!rMB{L)Sw%@0D}E!KL`4hSHmP@bMH@TO2+DsUsY35N*|Y`G=bHI!qww7;#dUmnYz
zu#+yRNGv-%ZqccQpYDIrcDsQ5ZUPDIa7y^IT^iw34x=t;VWhK?TFDINhr!V^N&)`$
zXCEit90sIuxP~^rn?hv{T1K05t8Sc|(4Q?WMs4^fUvKJ2qHjyiBYw1bwA-E>mqdiq
zifXIc@{oQuE0;lA%`eccfw7?N&k9XsP_0fZvsEe-)I73O+4qx1D0*roV9ap)PJLl!
zsd&v%BtKa(nqO#i>O?RTgzRfQI*}l%7sOG9C&-9QON%qj9QYx!MXT#7hxzA`QX7+M
zLq%n-h8gtb;<Fo(nwLZBLbW)~Vr!XPWQIyLzsvno3#eFADF;(qDHrB)ku#h&HUEIU
z%oRSqe^S#MtPH_~&L8Hci&?$YQ#IG|=)&2-ZZE$qFII<1<ZCUy;?t@g1|o@AS}Sd9
zS3;WCv25y`in^-1<u(yT_{*9y)G7=Y9!1S<-mdPo_S1H@w&e6up!jkn@?W6-T-@nz
zZd5bZ;x<@%W2X0sb<L>CK9-rXt|al9sNc1}Y8F^2?Kl5gNw~Q#;ykd{=-%_L?A}%}
z6YB<buU5&A4~>i##)azs=E63nlVd<3dPYesvrPVWBnh1rW&-V|5q4hR@YYxrlxYsj
z`WtsZjE)v-O%((TQKMcfPcLPKQX}hAyoQpWrpioNS0BaI8H4*^?RF8vtyQ9<k(x7k
zuo+a90-m1A&)Kgj3Lj7LPE<Ijk}il*PWDT()ii@4NKrmiq2UG=$pS@kp*gN$bM_|+
z30meh40bi1NU~`qv}-D@4#>6TX#@9o!5VU#)>Z?^I7MqZbL`sV-wQ(m%UrjME+u_y
zv_Io`e?n%sF~7qD-B@=%OZjIi``^=AQqzxC{QAN)hFc@Bw1Wp``Jp-10#jAOuoIP>
zg8BM%qyO1t&{nv`QEL!=mb0eLwgM9mq!x;dKvMu|A@Io{m^SA-i46`C`*|v;45DBw
zbBtS?8NOYquGuzwBS@_%9cV3BN@0y7H&K;<SAZ&f>a7L8N3IzHkn}xvf`uNG?7*BM
z&40_xIIc))B?%8<ku2WggT;p17d8oyG%@_Yu>w*COeyIs`rzkf&6LZarUaQPoO|dH
z4F$QZdt_bFt`s>25%0KeQ1MMQ0<sZMY2JH#DqLz#4%2BzrI2IkZ57f;*QyH#yN#f~
z3ft)vVl8rrG>Yu+eWhJ6h7rnzro|D&d3F)ZeR6@1nMhXq`B|^l`a;9zj22Bl-tUmT
zVa1>{+wZg4sZwFem+%z065I28u-edbSaIT`X6gqjeA=UJepIN=*tri&NCF7x$Y%NI
zevqa%DCPb=Rm3OrT*kvlw4Wf|TIBE?!!heF<l=W)xv?97^2tO6I;O$FQ97nn>UiXa
z%eBCw_li0?jGW(>9xuLkvvGT|EHWt+kIB!UM1A(F@8B_n&bNh58~Gtcl&&jfA)=;C
z^KCC9>8-nto|cxLW^5<t_o>-L$#rJMc9@FZdG888G@WgQQY~B*lfkVa^OkgzJzIXZ
z!4w=dTXi~T?gW-Y0u*g+9Lfd8b5H-?YTop%bNuK~&!y2#d(tK^+uh1ANUv+q^T%(>
zQOd5(RT+bG9Mt_O)GUInZ^~XryOq(sq@+Avk!LiQnnOSPD0??C$$y1s`uD2!SGm>H
z*f0OG)75G@D5|<Hf>u)=Lymn1E`HaquJjJhsK~T7>t`pemL1MQb#`_Rm*H)^f&>!D
zLh8-9<l|ZCTyyW)`|{1E(Ws}bx%6-AO-`o{=eyh6+l)JxOsu+);}XtdhijzmtURMd
zHxpY%ReTH-s4wvHLL?-N*?)MTYOw{2nicLIim?dRR)1zF<!5-X7}jvrh;9B@5m$1-
zMo#r{sdQaw8{iSSA|Jqm!mRD*426!fCIlUZYZxT>8``HFfPj>fq?!e=NT;?e1B8Yl
z0)JQ_S7h`_J4O{*%DPB#P}Lx*2|21;LH<8=BztDM_^rWj^RUjo@*MoZivY`b>3p*|
z3?bUIo&<&Zoy14cj*-JF(wfUiCc(Cs-?s{Fk5`+A`aFC~AJ-Z!%DJM6vu1>zHej0c
zpOlW6oW5|3XRNLen0z$uY}KO_nC3e(YK-urt$!L9;Ur6sd4B%5a#!h&&X3}E{$`ll
zNbv-U$A(?|C}D{>kg*6KH5o)iqGqdGZ2a?Uf~-t&tW}c$p2yBcf-e1lm<(fUV#Isr
zbD%%_mNAZhFVYh`RNdPu0;FG9LEw&iUZX`R&t}-zZ+Q)e)=D}Xz^{eh=<mX9RC~3<
zO5fyad8K9OpZ}Jz;cmT6n~U`jU*YwHW!mh1ec>zpbh}9TF}(r1cxFgWMb7qd^wYO7
zq{Tk<01{ruINsh7r!rZ*Z27*eQjkqv)Ok2@1F)z;7rrM3OAYlwy<1R6sdrBsC%w{%
zBK=LJim2Aqkg<++TFxy|j?<-m?VGk>6A~t>>QV;6uDyn{WKM|{uxC(FBkR*zn&&1=
zC01qA_}y9YC>pWvcWrDFWf-rU+NMuQoEJPA;95iv-cP%I7`K+32vC3>w7R#RKNvFV
zm8fY0>rl-51Yy#?8C6Wca~I)T62Yk!L)XzlF+iguc?!2b!YzF;EcR1_4u}1;S>cxt
zcl5qN9*PL|>a8er8M0?gW*sI-tKC=_0NpB4!3V1^3#{JANrPQ{h8-7l?1C-JTaaY_
z5@eBtNce8}3ez^;PplABwpmr?Y;C1~MCg$ZuFFZbntb<dIwhqn*4XaT6Bff>{X@yi
zQz8BoHJU{W<<}DDX=Vg#z4Xs*wOeV<c$YM<ppo!2Zykq+4RMV|5KPqFW66NJFz%D;
zicKE=f~lz%mY54}^*7^d+v3>Vd^uNlx=?*|f%P*lbPwmbb|ainT=Y%i*50fEqxYe#
zq3!D>LdvJR%mYS2f)U`O&5BTwZ(T;{p<KLi*;4I1lQd!!+ty5<`Sh$J6r{mVN{ezO
zJWZs}Nd_m?hiFL#BSjcreQ3Tm-_mS@L!#HZXmzyGKi-epn%jGMox}s4?d`!p#q-<i
z+qX8hF=8kVre5k5Dg-@4-UGHHLt6~u*_g%YBdp0$y#k2}glva$?9g$`jBCzNa8Pd0
zFZ%5sa8KX-Lg9Qw+pl49a2-?pyn+ljEudf2+YJ!!s{B^pDptq4Lop$Gs<-dL`Y5-z
z2)~^Zm93R+mx8_sTFde4h2<5sq=1#7imanB+ItUsgcU=X$@UwlMiEJw$AfGoNnr6y
zD~h)9n)~sv&aQOUwzHp4BQ__~&6W0@#W&S=U%{QR#xoB1sp$PNcg7ltz3AQP^wHDy
z`D@tf>phq&e%%h6Hj6D+{&dIv^H!M|tyL+cW3B!H4|ihTbkFb&KtSp?t&KRa{foH^
zy2$P>95vy4MztUA#csl)m6|Q;1F|}$F-F)|vZCXQ9i&QrhyA@XKHo1Z-;-(Bku1Y?
zXywA87V4eRdK4t978=g_7`2WFjBA4siYuDwqf35WSQU&4^DxEBr$#vloVVX-(tliR
z&)B&YsB>5exakRFOBbJW(>Q#twUOE9Y`ri2#s|)tUL0$DxM^g+R9r+8TU@>9<wb3J
zpq@T_hv#}8afNck&+Jd+y_E}USwTau@7f&Z5dE$zWKn(2+oHM-jsRzC3f>q;<8?&f
z`08&pb8U4CF%{__QGO}FGlQ1$iO?sm4=$x{f>ILdtX0*k4!nPVaAi6>yE8m+Sc^F`
zqVf{vb+1~oTc)+#D7X0W6o39B6Yl;38IjN7vqwUPen3}m^!zX-`iaJnss&A+{Grap
zV+3X8>&T_GlGhVOOAtRCwCMJ{`pmnEfUabtFq$1y`8BIgg~BLnzrj^l5ot8s-&{5-
zutvEmSHt+^zo*?bW9g(Nnb#L<<oaxJO`@1)8Pr%C)ps3?j$THn>&HmvPs&I~m3)zV
zeQs=e%ts(<GD&>7Z$#i!lTC^I{LuA<)BWC2sbupgg5M5=`<rQktnv|<IwTG=ngo0w
zYQh!GnHoVefAjm@-g{AOzC;*7rKntFDnGnku`fFjVI$-maI+Z^cKejTxR{#$%B*+d
zKPTZ$;-pEu;!Q!s?qso0T9;20*O#TyJ?<|LM|ljt@+<0iZoGyTt3Mtho9P@$d&0H8
z8hk-tO_v!N+fH;5zMDBL-%%mc@(+-Fq9Dmr@F$^e=l2pr&!*z+vaf9717j-DgI9<L
zWOuic>_Ft%b6jjqsw^mhq^f*#rycwlH=Y%ffl3(SyojVfu+B4&I*c*GNw;{pWcR#z
zxj<v8Qd;`ju+kx^to%HuLUvm7)nfuI3aR4b*1cieP380$$pdLbdB;qQFDDlst55St
zOZXpaOi=heVbZIw`AI92%{}w=MQ^GVOb!#*{VmW*e03L3ivR@{^Z6aYlUoM!u>S6i
z#Pi}kd_s=f4HVK*BzLy_*<<s#zUrbZ`{Uc<Jzo=-?uv*!nkpB+9^0e-iaR4>YB(<;
zQuuYA^#2uepFvG^`x?MOUZg1ynhHqoLV!>L2tkSzAyg5is5C)J5Rek2C|#;_5JMFO
zL?D1jk){Hn_fC+K2%)1iDRMTRdsTeTxpU^uow@tl`p?=kd#%h`yUZ^S%Qk(u2NbM5
zi;QkCrejNQ_@v!fgB`&&k1_asW)I6$K`d!G6m&$zlap4)GJDKEVd<_!e~MB-EZxsp
zQtOR+#$sfEC&$WkW4&wl2@4ulK6#uV=M<)UJgl6lagP4q?#DIBEseQ8&2!7K-sTVZ
zxSip*TSFsS1g3xs7YWt)eCs@0mW&W=Erv-X91JaQb@5Y6nt$s!L;3AtNYeEbSW6`b
zd)uYvmpCsA{n)@^e3wi2!+;KL%-1roC)hc~6rQZkpe|--ZI1K{k?vCi_+hvJm#s*Y
zzz{`C0lJ=f+t^B1%EQ>|ft0k7m6KGG(d=`3+^g99<}7=8)2P5fuR>-T&<u9=F@1tw
zRC2-k2~L=7dgTFgDkI@}sDUcMNn)5bQd*Fn8O<yhEqT#QM0da&8M0x(tFpkYvQXG;
zC&ffRv(Bl%=zgMk5r>)mI(z?p`5WVDVWBII?z3+7S0!^%=D0-#fmqgug-u^d@Akj6
z{I-FM4Y8_L5$&--`ejtm$8~1kXCCEn_qdrkd^nYBGc8o@$4nWcP=26TC$SU1Yu6O_
zGJSXY!Xv~g@^JEL>ogL5VA!@g|1J59l{&Q842yPwCyZ@wShRy**?Mj_lXOCz!JqV!
zeO10uQFSS-M>bXRj=WuKdqIipOPaw`t!7rNj#Sw$R$yzK2Zv;6F8O0tNTBbyKAn`$
zh)+$l!H9dkTbT%(ISFfjGK+aEa0g%z+1H1vwJoZ?57f2tR`hX}`g+hoQ7bLAf1yTh
zTr^BuOdW_G&p25xUBrw+y|(i6+o<I79fr@FDU#({cj&{gCZ99%*tMF(3X2bK8GWj>
zGF@suA8NchcFv(54-?K+TuhNeZoOS)L-O!5v}IjmcZsofxFw7~MVxyea>~Z)%p;1W
zHQg`XVrlNzUa4fBj-u?r^p=}fjB|x!Eh|h4K~0u(=P@!RGjSw)tQzieVhasnBsRc5
z@AceoE9Qq&<5<b5S^1v8$X*ymLsj6UuT`mXC{E+#sxorT{Hq&zMIzW(HkMuU^pdDl
zO4l!<pM6(2YdxtofET@EKl{9ib-6?I)?Ng=2Rp7o6X}w4v$%|?WmG>oH8!iPzY09c
z=&pYN{wsMt&KxwH>43?7g)=LNm@#WA3cIi%H_PlnXkc`4uiiB)aOiPw&h5@LAA3_$
zT9E$k43vKo&xjMzJ(V;tM-Jj8tL!-Spu#+YvUKB=Q(ML2ljg8&^8`K;hO`{Z`;+=L
zw;j!E?H8q&>j$MPcAu-BL}-w9se)1vq#|B(%x2{Z9u%fSEgs;QCWLd$@;e*Rq$xr9
zdCFi`v|{vrFNhL9^}(|Rc3z6~Qp%}IF2H@Mq2HC?0m6JA)I`+K=ct;sYzz153u@8!
z!UXNXE60Pde2&m*9{MkQ*4o!y9_wwSK3R~o7zhH<xACz`X4${@Gr((;^Re;`!suVb
zN0mK(t{M5&)M~Wo^qbjgG|0L4P96J)>E6c7JHyqiy9^0aRIU^DL-3TTz<>ZfjO~lu
zzPNl)?ni^EwA)gl0a;-)Z~j`Al|wZ)h#H<UgAu{Wk_06^%Yxc@pYcueP>@o%)A{jD
zlTvhF+2N+3(cB3Oa^U$G7W9UWiC*revfBITX@+TWiW=SoUSV!Kwf9<dbr+^HgM?zy
zrtduj1-X<y<YKxsybRvY@hov$L$AnaDT@y_N2-z>(5dk{UU}0<-$fPVRv)B5=h5CM
z`7UDZCdc{AtI9o^Pv>~bHF9iCU*GcGxwpyZx~U@pGuEcEFa(1WnXVYKi^S#XynCkd
z;PX`8tM=>-t8~#-q2ae{=c*7j57r4|)8m$%+naMkgGQsT_bdk=q@|g9EJujc<C!{M
z<TR$*Fg7lXu*Y?k;59<T<5Q)fMow2JxMg#6Nc8sFxpsYb8MGfNA<3+5FT(GXP3C((
z;KQjVP$W5)O$y3zhwGP&OXf^V=E&k2so3NRN|S++WEa3*_v*=N09e$>M>FJI(h(Rh
zKhI@17<kpYT=>CSB$+x1LEozyW_p-aYqj6ylK9>J%;93k$1Zd^vZ)A#E_TL--;p!9
zE?(_YE?L3nNuA9aj&l(0dD%dI0@x+)+Q1utM}=5MeTYnWj6ed19O#)0?jw2YC>_N(
zZR_YsR9;-i>lhwqlul$E1Go{g$U%IW+)i>laDD%Axo9Jk`;653;!Y;NyNo34k&vKT
zSMr$AMt+Z~5K66{_Lbt^t6K-3&(y=VI%_<f>hWDzg&jl(^IkuD@&0gz|7M_Z2yEwV
zyb0fYgh;m0E`v-1*#lfI8<ka=>@&4cm+Vg#vreF3Pn&QMui?F#jiOx2oH@ImiMpj0
zHpKw;3*iScxE3XYm|cCHy`nEM!OM3wkwTQAy&CdTy<@4W9)4Bbu_=xs?A>Q3TH##c
za{*U(N1{@c;G@vPk^EbARqnMbdfIit_Mgyhdvy3k<M~b5EJ8e`=;0hcx?TAImr|C8
z(G)%BGYGYO6W0N)2=hyZk&RA0GR1%MxrV5?scWNuvv(m{zz**krB*hYWfPc?KB&$x
z#2Ycf%@uYX1VU$A&Bpa0#WqF4b7r+qOB~#mP(bQ-q$WUS2{~1wtzIu<6OyTeFIt+e
zN>1*eM!MXbJrR#dJy%i(@k0hTcPH@1<(!=3Oo)#$--G7ENOewqNgZez!cp&>^`-Q>
zE)-hmt?;zdL&=u(f^BZ;^$YNI*5q^gG7*!GlIjdOwTZ0BttSxhi<`qQG~!H*i%a9G
z&_=-b%WM919(IuG`Et!{HmWY++P51Q(F>*sr8J8z(=vh~I?e38hP!>PlW48dS5^3W
z#6UN}P>(3w>~sIus?>%LIKfod*z}qzLvmma9CTTiO2M$ijZ*F9ZEMPK!?kaMBXXoH
zFK)L*H$!Aan%T8pt8*9byS8#_<l=2E%Oo-<4~`-mr?c`iXnYj+YiIOY-<$fcRhF)V
z^sR0>d6n8-`BstJ8Idesp4}F6ZhN!JiG8_1VLuA;w%EgICwi~e*$Esza80;X1Z7fY
z7STL=CZE=gpIl703wp<fP<D50+PZ_!O;vmz&cxPGeU*5cW1Y@ON7$9GSRk%3E&<|W
zdRed+d{Ml3VnMW6xwR-a9k=r#J-Cu*%zH1|-Kc&aUpSK*^&Pukae6={Yu|J7F7v4D
z+ox%Z13Kwuz&ikPmz;d9WP-9nJ4Afs6g7XEh_yOH?QIKzXp<M#t^uR8`W;(-Gl3@!
z!TFW~om#|%wLGYy;Y}f85GrLQvJbmGQkqm`(m(dj&Q`WH9_1s_-`4wHv2ecLs{gHi
zHSbnSB(nJG=}+NolI-gS?D(J}`B-|Bgj<i~-=wS7)7E3`{J%a6HpNw@L#*|0FoD}M
zU!E1pPB|L^Bax6G3Pw<m%R0`KBz=HT^SfZ&F!#J3f1qMb$FK2(w#dkToc5#kblYLv
zQ1PenZ923iIT+5-onW~a^qnVm^aJN0GSW<$M>*lOaiWuP;^8_1DeRo|eDGD@%K2uU
zsul#RkB0)I3GFzjDVa@;Wr3}k<=WZ?)K!^t7$Y(;`AiR^gJ1=h7Wb<^3{`Ar<93+7
zF$v~Duo`Ti1~nDD<ymF%$X#Ix;v;rwMG^6Ha8L2N^7n{N`4M|kjlfHqf~IJR`4DvF
zS^-+P?5w*RGncfnj2q-<;aCBlDO-$<vj2kIt3;w=mKy#<=uM;H+B0YUFWkO@rL5F*
z<*hqA9QVn$l4EOuN#13umgedASrq?0Uou@M=FyCSNj7^dCT9SpdD<R5qP_vT*9d&5
z>9TH@EUOyzp`LZcj}RP(3c4lF@mFG9O&=)Ce#Q>)c&642VOJ)XVK^88wpceMZMOzU
z=@W9FVT8J=I-K-1u@%iA$NIe|rqIWF4&+0x@ji%KwOdIqud{BJvIyQgQzJ-%`Y;X=
zNd*N<&E1hW*=XrPI2+%{pf3=pa3D&r)~^UW0u;C#iKSo;0tl_QzHFF`U($XI$38JI
z>ch;(ShjmUi@=`S8}7W$#xfbuz2ddrfvR*gTyhhp309^yV`V7`Rc3{S(AX73_=Z1w
zQ87}6&L4xt(^K_l^sC=K;g^YrkLr~5$E%Er#iLUvx*T80wzKLl-C*hwHL^?TS#I29
zGh0z=3(SaX*e)dV$2BI)dx=tb(~~s}vI+AliLNT4$S%UZPKnCzkkHgkHL9@r^aR#W
zY<kmig;H#)(u`?@`LqVs^KS4fcy$DZ8g7isS2hQ>8*sX(lLa#z*eOOwCHph_W<w=l
z+ygnaqZx5vf00_ncn$yZvLy=|>R2&_-mC*b!m@QC1tFQ7IFTHuPO^WJ#za0xcF0I`
zXvpdHVdnO?FNUx@q4QW147eBzig{hJ^tcu4N3FwdtC@27z^gTzE5p<KM*BVi&7bY%
z=)Y7JdT;aT2#H$`7G1L3nP;`t8PkihK5)un>x-OkYg^qCA$oX7_K?75_jfELeiWSa
zH!bwb^8M5H{nIll|4YvZ^!VRUMroNJGENFmi~lE-5dxI~A2~j84p|u>fAWYr9;b{)
z`sjC!^jl2gk%$6968|M-{1GhmyO#QQv+&bb{eLP(z$bEuLysKe5mfx8_kI~ea}KHB
zNgyyOzxd&CqWF{kar|VA080c^<4-_n&H)98;O|YyZ_Qt*5a<V7%ukdEGy&ZBv-vxk
zJo1UZEaESp__OnWq7r{g?E0Tz8AMk4m`aRoM||L*y}a$yBpiSFFFzh5-gX0J%hm|k
zRVe#Z!^q_V@%Pr#^~D{P`2(bxB->r5B+Q29#-0-GV`B;$iBRaVS;@&-<w^@@VJ(9m
zwcx~=qL3kR@S>Z9E^+9X2loX^qVJDtQv)(A+y-V(zm2R%Moo^eNgIzko^xL5@|}Gs
z{qVL81@pybyw>8)apFhn<3&SuffQd?gwhn7=9XytFcd~PYEkhHjJrcy7)s6{fvmiO
z0-<vz2df8{icDYDnXnJupa`bT7vMHhg&4%qnseDapNNNy)90${sv<k8)VlrM6s~Bw
zQEE)ebFR8QU((>DUWf48fM;DeZ2UM|y^$vI`aAgIc5Sw(tDdX9Au^RC?{b}*XRIm^
z_ahu`D9TADW&C{y`Ij5W5x4y>)cZGX`0p0be<}@s#J3%nhCdS0en~?wAQp{M41m0p
zVm}XnNlQscaopkfSv%VLjt&mQf7gIyRzT(+uZc+jYw37RTwEGhL&s|nh?p2aApbm9
z2Dq~0H3&osh;aL(CUImX|Ex&?1O1~WDf4GdTukyPP3~AfaWN=hnE$8&ac+N(S6p1?
z$UPrB7a}HmL^+SwfC2w)yyDWpZ2s&A<oN<%-1R8u*YK`4U_SxWY2fU9pW`Uo4v^qK
gto9L|KiYxa?pwIt|M43^AmWm;l)Su`b=4^U0nPfsnE(I)

literal 0
HcmV?d00001

diff --git a/QE Abstract For Dan.md b/QE Abstract For Dan.md
new file mode 100644
index 000000000..b9927da93
--- /dev/null
+++ b/QE Abstract For Dan.md	
@@ -0,0 +1,9 @@
+**Diffusion Generative Models For Unstructured Uncertainty Perturbations**
+
+Real world control systems operate on physical plants that can have different dynamics than a nominal model. This discrepancy is called a perturbation, and can affect controller performance. The field of robust control creates a way to establish a set of allowable perturbations for a given plant, controller, and design requirements. We can make guarantees that a controller meets performance or safety criterion when the real plant does not perfectly match the nominal model.
+
+A model controller can be proven to control a set of plants, but a real controller can only control one plant at a time. Validating robustness in a real controller requires extracted elements of the perturbed set, which can be deceptively difficult to create. Perturbed plants are commonly generated by using a structured uncertainty, where an engineer creates distributed ranges for system parameters. These distributions are sampled and then used to create a perturbed plant. This is an knowledge intensive and time consuming process.
+
+We suggest using a generative artificial intelligence to efficiently create perturbed plants. The diffusion generative model has shown great promise in creating novel and realistic samples from training data. This model can be used to remove the laborious effort of creating perturbed plants. We suggest training a generative model to create Bode plots of transfer functions. This trained model will then be given a warm start with the nominal plant as an input, with which it will then be able to generate a limitless number of unique perturbed plants for controller validation. 
+
+**STATS: 250 / 250 words**
\ No newline at end of file