From acba4524885e84aef7ceefbaaf51440e871e6701 Mon Sep 17 00:00:00 2001 From: mattmcw Date: Tue, 1 Apr 2025 20:35:31 -0400 Subject: [PATCH] Work on documents --- docs/report/residency_report.pdf | Bin 3648176 -> 3648417 bytes docs/whitepaper/README.md | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/report/residency_report.pdf b/docs/report/residency_report.pdf index abc02eafb05a99d89ebf13263b53b097187a42f3..2278fb882e22bc060c90f7a8e7e1bbe9eb3631ef 100644 GIT binary patch delta 9787 zcmcK8Wl&tt-Y0MvBm^fo!3h>@h5-h5cXuava3{dv4#C3U76Jqa5C|3=!r+?VA-L;c z!P)uW=XtjF*50apwJ$zZ-CbQX=k)phj&$A3AJpQxKd32LP<^9}vXWt5%Aa{G`(6Z`=n_r_csW19#m&9Mcz3pih5x0$R&JHCl!&!&Xd zmXW`v^XK8f^X0zg7?Luj4Ec0=RCcIl0JBG(hCT@+`+|7k=-ZRe&CJIT;j%3oMkV*! zZPC>Vn`|!ciQR4eZ6>f*IBmg17koj@;Y7QiZn=(b3{j`W8`8$4@cPA2li{XD72d~@?;2(M?;DHnAD~`NIm+m_LdNh$S~-Q==<3a z$vTwhbz2&)*9}P;pmwdJ{Y#TR7eEIlt^AJ3#p>)ukgN@g9ns4wDUjj z$=rv3i{t+kJ;iTXF0vC&fO?KjC)gIUKq3mmg=dWOOGvWuv0I;BHMbv6lbmP-Z~q zI8UrhAl`mxo3KpbIqG@YN+eJ+4fR9&4`&ZBmuElb0EN>^6J|f4DqN4c7cSbE8Kn4G zuD?8vNU|tesjl^1$Oe=vSY~h%!M(aQG9i+4zwfl9q5oS&wOMITg2|kH<7qKR=O?Sk z%tw)N{BB>?r-aI12EzM%(~gYc(VWVZbQ(+;eLxU~>EXbQWNefe6MMfO8gq3D&FfQ+ ztep?^5j|1P(a|aIQ^0?8J;cM&GSXICq-y#32)?$y$#;^X-2Vpk%&ja!(ap&Kcz2Ah z-BOJL?Cpu)nAfQvv&ryfc;xuei~()J*j)U+n8y`SvVEK^*O=)+?@8MpYIKE*thj2# zp!;*llj_V|8To(F$;SC2=-m!+zw7y)TE@ve%GRTPfe^)4JwEy~nmkRz<2j9S4q)1r zk+Z_S4^BV@S8_tjXYZJL&?vMw76L-Mqgg#Cmx0D0n~=%k67+L z?i%9>!&h1=4*aGaYL-%czbKWJg$tY#hcZic%(1m8ON$aY5CmwXn!PeC3q%;}R*cv) z@v2&CnBn;>+->9Ef`*OW8)pU1b-SJcri{;JW$%tQlNq25L~&|~s?s+~M3H~O{13G8 z>Khr2Ww^&=_;-^T2*mR3a!`^={PV^93=`KuHgkUnR5MhW4!m|6il05wGd!{YxD8QVNFiS zjGgm@OCNYx+DSg6t)fMW;fUCK)@$-?0%!ry^Usq~jb26beYl#>p~NBO@~MFj_aD;? zo@`7u3Ah(inM($Ex_G722i@4^y_D>rg0p;^Y1a68nV|SO(b>1#Az}rEIeC1;WF1-t zAMu%pu{~TJjJ;3-re+ASds|s%t=`!!25Q_5u%%OZl}09Sx;GyR;13H$WtZSjgcJ-3>< z$ITrIo(v^gE&QrUywR?mu1bkvS{E7}L(_Ey66Ns_X*)$J;L2|ETT%DDmG~oM;ezuu z&8GL_DfmNi0H@FW(vW4$(NjEv67W}hT0al}jLHZe+Q$Fg|3PRtEUpEFitO@obE zFz9j4a&YRxu&dI4FxI(SOz=}Bi5}H$#i?XLa#>SVxs1Iu=ie-TN1tyngVC9dFxBHH zlS|tk-}UVY)zd&`65YHnHM<0Ht51^c3+EfhYjpQzrO#l8?}_PP)aoy>(oeCx0DA8l zY@dsv0el)7N^uFX&_xMOhtfG|S<_cYya9248uUo{G101CH#a1`%mq+5vr$Z9+q%B- z^7gc~a`~s_X6=N{CjcW-e@UFKL(2v2QI7-?cKqeoHpKT9abf@Uaf&|>yf@}AxeFl5 zB%P;t`XkNI!>?8bcH8dQQx($fUW+@;ec7=U8me8-r$^7*6Pc#zy_o=1ZRJ(zA2-tu z|A_w!y&sdVKqNAzp#8St`9Q8`dwOT{raK8HF4)+ij#U!g|Hv+kRxFgxh`I#rc_}6^ z zBy=PUBuu1d%@1@~r|STI(7#p{20(i*3}E$uiK9K|hBk*5yh@8O8xYU_WxfF9s99Al zp3X4Ihkt4hJS05Eyb|sIBK1{}#DFX}{!0@D{h*|xCXFPq(g9jg!}R=%N=)->fu?c~ z9&8)jfkw7!pP+N|6ZFh`F4#fm&}vYkW2W&V2z$(iXYxE_s87(F^75`p9dYN^D;J!+ zm(^OkCiDy9*ggtdZw$QkYi8DnVN!B6R!RR*%y%4-TTgLhsrpgSYQN5DWRwP<_u zw!@^{w0A*E$qrdMj_r&H?bc8|X_nu%ZLCQ|pm#+rr`>`oSsuL=HZ{FlX!ayQMn{PQ z+6|idk#+OKvHYAK7o+}hrSZ(to$Jb_obW~4MEuKluWg%en< z^F6UChZWGJ>3`E>l(-8N6bZTV5&3{?|B3c0j;2k=1n=Pu;k8tJ^Znk+4i{EV-o;{K zt+%)|M(yB0Y>Hn2&)$27sS(6kjCcGQM2-LrWfFk>C$+KM2$p) zM2kd+M32OP#E8U%^a_a?i3N!ji4BPz=`|7u5+@QD5;qbL5)cW5#ES%O?$Y3E+XD#j z|8oq@$YaPyM-_xAi}R~PJ-l-D@1;bnM80ab?-Q>Q* zYHs!Lrs0_A{$>p%KCr`TWhS!`X;m??CQ%o-dvH{q@7UEoD4ZONb?uoa+b5V>J0!!~ zdQQ5PBkQZL!bV_f5D?6m zTWf}6UL_t~fR~>Csq@YbuJm%t(qH7xZhNeu1Lm3mVL?5H?WaH(pch)rJjZiC_|yA5 z?gkv5VxlnbY@tH_vvcTMANO^1wH7rXd4Gfd7L9hyE{))*1btb$N&6E)m-|uYXYD``Ye##29=4;4q0!Ig`zq#HltDw-@X5RniECQ=pt4)Ot~iA18-APJQ6p$#r_jOso(Urf zF&Si|nAQH_`BwcS6un`mT7p^pKqGcSSjS=9$UgpEUc-2-r;)vEYxU1b=RR?hQR{yD zQHTB=3d10lrne3Uc$_D%m$Km2|M;5P|=vE zYYqMzv#+}8E9v3;u}`bIzd51_NC!5s$dg$Xm`2~}aj}x*D+Ko`Mj^~*`WKke) z=g%1Fu<(EY<9CN>*#jP9VWZDp0JSTtiGiNLGiucIaIF%RetuE>ZBh!-a$QSKM=U$e zo{FA|>@`sI%kn|{4c)PmF?!7FS;e2x?jSU{p)e=$YOH${(Pg3_S+LJ20$b1u`Zi2w zTrCWoOf0eUn`+*ZT6{nJ?nU{gKdR~1^a@ADak<}h(c$jO)M{4^&O~qdOeMlG`!3Vb z$!E6)a*k~-zm^G)K(Cp~A0;r&u}*r86#a61DBOw1D9%egYuB{o&0o5G8Hfh8k4wWR zGvyMsByvIKfb_ZO_Q4m(0{D~&jY~(|Po~6?|AMsx!PjY|iN!)3lzktotyM1_Lx?xB z2c6)P*$s~r!Ctd;5rqvQfzh6`bTS&_x5UG?56|r;jG)RvvxS6(K4p{0xRd-9w9hBn zs{beV<;8Q+!A)8H@e^57@e`oBYgK9lWk>aO;?8vZ#IAF{{WUWC(Dm4ftmXLsN;t9x z?2zFPYFG!)kQWxOAcu`&Cw5I@CsvUuzmB@b6^pu7ZAH%F`C-4FF!5vJ`VBoNE8ahO zAJvY1^2f(P6gr)?S$}5fV#Sytdg}SyVt`BcI(dMIn_8`2A?t6Yu{xV@sypFEA0lKB zGG}$Fydx28wyQf3(0TIv?%D3I!W233;8u7ov;KRZQ*u_@dFKBVddPoz2Efe4`Cr4< zU=Tj&XzsJDD!TU*;3fQ8SF&ZN%T4t@+qb`~?_0$%4Gd-`P4R0aRz&8$`!0$te;)8~ zC|EW!gXKE?^xJu<@#kXfar%4QrPyb8H?t=tDLS8r^^gfu@DiQ;#|Ik2i2LdMzXcaZ zoo7;){1t3_u$LOklPm0ARgG6+J}a4hs5W`w&{jpQbEV%k2TNKP6$TYJsuhbhLL>3V zV?B3an>&AhF3<=(xMF3h@I%jX%g?XXsocVE`sTlXJy`j5Y2X-gaN{X@O!J0~rdq$! zN5o=k0@@`e$p7RECm0{OoBEtG8|}j{bD%!pvH^E_+7ACT%h6bUptpK^)rH(&s%?vF z!?-dvyEB1NWoX|b<-bs&TLraKc?PDw2}45_gykM08J&7+^x()YW9Sn`i0Jw4UaJr9{aVRQ)z#4 zZt1}3>b}ri2Y43i2YbBtyl0F4&SCk2&$}hflawgp!@@;t!iH4 zPE53Fdr{|Rluabkra_@RDKbO?vIOgU*GsExF6Etj=nt^1nT`A*4LUIqRH-S4ryY&?FKWR(o=Df5foiX@4=m|i612%_g19Kg~!ip{OGz0 zH{4~(%q~`PLNW}+e)U+?EzT1EhXMf!{!f9x^l~9osJt-uTuAwIJ|GCh%PYVShSBFi zsQ!ga1r&kN+`<#}W4%Oh)R?P%r7PVek)*?j_ z=1MQX4d&+iXA0~`9)yibh##9r-qF*`n;ya^@V{Toz#!zCnWZ>C8??jN%xg)2EO@TA zdr7{HDI7&A=L4GTv|~=PXd-zy~_W zcW6yRQ51W$Gry_=`y+>q#_Rd)Gud6TZCVv6AJ0T>r0ae=4g&LqSUk(VP-FEaMwZyh zzht3qNXcYx&`b$8VuLCUQIqg_>GNjyQ!)tPbLUYWRXe}0EO}H_9cUgux`mdP}#=F zqFKLw1qP^=TU*8=aBchRamOjY**oyP5ytrJo`2gwkxT7a#64p5zGCWh$vR6lp7+9Z zA9HqH;?S@q2T;v4Ous3aisFXm$~nWnBLOvsMM zhdFCin#5cX2Boz1txgJ- zsQ?BbL6RsZa*Z`L?0SUIb<;jN5Vc6(Y7qT3*AzEOZ%KL>3ibik2l{f5Xn6Z87u4>e zNGDugZCqLjyZbyu`Pe};g7}JCX0s3!V%$i6*mg203SF%|*=F9Tjj!_TF68qunLSFQ zOnZ6S;JNUd6TbE0>mi4EMtY^7tN2$x_Sbww8=L(o`#8HqAoIhDnwN$FG0){6w!}Lq z-d^n5V&1nHsSZa$VCJV!r}p>Hu}`Cj@Q*r zCiG4?$WnaBfj0g}DVDD@aZZyl%WyEpcRTahu**^-Q-mYGeCuXI<&l&r!Pb%m)TV%e z)0|~2UAN)ZPPoHgk@q~!I9HY)zw2uSQCxSskSvt%LtG!Hpd?>2ch9J(Ebm<05ABfH z3hlTdf*1XKsux!1Y#*dA=&QT4vAhUT)_7xGJ$&Ln4?6@F+6i%KTABZpvE?5iO7GP$ z$=SP~DWNQcVHu2Grt82hV1?X;%`wsaNOX>4k0i4MQ#0rSGiL01)DRVBN#C%-IF=*gA-77@-?4i#^JXe6SYPQZ8vZZ#pNleOs5t`-2%Y z{iffO*RdO2GHm#vGM(90Q;l$#iKHthTn*N2d_7k>K%*K zcW)_jc<}n5-u+40`mXCiD@4aqA@dR4$Bh27WAi0Ah!3oSqHV7R9>-qsmI*CGqXeTm z-Z+fB&3psWaEW;=Y0`-32+85d`>fCJ-$_rJ>BO72n$^hYfx9EKnKYX6T^BW1MW>86 zf3l+}+zf{8;1rWCvHUP8@#3p6laER`gIi-{%Q)wjQt$dTr3hK??S5!)IcB-d(z(#K zXaW7#N{=ZAZublGEoSvYe-c6g=rn#~DuG3n4)F;0z>w9axgqT~-p%IW;C%(VWirDO z>Jah>zhR4sNDE0yo$m>~ia&#^>=meFl0S7$5xlkdZKq4Dt(`QDV*Rd>!9K_&;}ktQ zW5|!jOOh?V6!?3AA={j2b||^HczY9^ zVfH!Al1=_x(yUBNzvji2QnIU$&Vo#eyR|>J=TnNwc;|if z6YoxJx!Xyi(MljH4ENAzCJLJL_Zhgil+VT?=V#*=CU#Wr-9O~9VKbX`jM^^3s5pAE z7|CY=qf4Vx-heO@ppLp)E6G*34 z3Ae~!x27dGCQoZ_@Del6))$*?S#kZnY0PkID0Z7OYTI>ba`bzr%{>53aQY*VP`C8( zHLG~*&cZyeE8whlhi5#;NGrkH`?o49VHTNz;6CP%P1hYQd(}d0^7HUnW`=s)w$qPW z^C!LeeRiE$PvzA$H8!cjrA?{sz>8|GvYG3O&YVn6n$z>9ya!dt;k>m1b0X(kQ*xX| zU5Ryt`>euKoyWwkbqNF%Y<~JTXq2^m6LueOaUTEFBXP=Jh{%BijX$+JE_zC3UWfAp zjJREM4b+Ucxf>Uo?A*pgOn}a>Hjk=cZX$M@;&!+on?1Zt#Ap^RSlY*- z7bpNApTT_AgLt3onxGpLx1s?Rxjnhz>4+8NsC6ytUq_v5$bg22n}2%lY3AC}Nl9{5 zS2P(s0scxutU*Y+5)o1UXx2k;F9hv@Zt@T@+j~20yIoJ*lRr8q!aP8ojw<4=Wok*@ z0vw_)e}s7sl)kphi<+(1_O5V+;|yrfSg!pu7-7r4Et-o#l6sYD2Bpm)1QX(Ztek7CghBbhQn`g zQxleNraFwQJ71*wn{ui^bxv2mw}QUhb7(?EJdC+Ax%xrZG^aaqoLJ94cIl>H1uE5Q zb?iFP?=gR_^~( z@x+^@MuE;AhJU*I%xtE)JgGcu2ARrrsC|^-H>xpb>7RRrm=-sGGobR@9UAa;pe1O~ zzr7O2!0?W9{)2prLz17h2^EjqqN84Vntjrr$h*$i#u~!IIQ0gny;jNv@e+e4adJe> zH*>CGle`fDMcf?gPmardIRf}o@4dse>&?KkzIM^JRqp<~)&c`4o z5%6B0UE)!$R-0X-NjAvteRjK>{BIk1Kf7NYcI|eu4WF}pa;#<2#p?|v!7WLd1>Wdk2Fw|47)5PznCQcSZ7 zb=pF;zioLcu3$tl(o+7kGgp`IZ~5X{)l{PID05)z?g^`1d}5ziN?7(783i zW%8>W{@zl4=h$0Ci-Qa2Un!j<2!7J#3qTAu4+-s<)+>@GgGeRECaEuNCeM%P&n|bx zyu@sFO|s2}=%yhG2lcem5cz|8%IRj=gL)e1bhC_!rM}n~S>Iw#s_&?DYU{Tq{Ff=6 z!)LzaTi@Eb_7Te!6|5g6-0Je3Pvpn8Dmu6ow7e88T;%ow8XOeV#EdgWoU{Wwe7%j- z?CD1OV{X2&8B<+RU_2anGBoXX7YsJ*FhWymB|}!bxv7{6(0MXIY;H zI%u$z1wwhf1fM(k!n4?et~mZoXGlmGqS~A2T|HR-rhz^2)OK_8rU!xk*;mlU=23FBb3^w2 z`H1?bCrfW43gMIC1wwdvrKF|7Kweoe5G=-N|mqVFLFxN%0fN~2&6OPd3XLrq&N1|Cc2H3oll z75&d=*o;r(+XfbeKbL(ftK?+QxQSpD>A~b_;W)}g@^bfOYth_3Ssa^iEAs19ouV*5ti~7#NE7qP z;22J#y1YK}XsD%;p2V=a{2rpl1jwI!woKLX1WKaajk4M`;4lkHlA;KAX|!oB6ToD0 z8c5hkuFP)(IZ`KE0$A1v%ete{V#CqyfOw$!2+FJ|v#f}K`7ps(^k_JB_z89BBUEZz zV|B7QNxn+O$o# zi%8~-^VYbqdzfVa8-E<=73npwIh~lknT1r>1wJa~MZ%=vjZ0lmz^8@NtpysOW>)8i zPKh8ru?qQ*!*s4{h0aDex_X}Dl)!OJe+*XDe)D~4lO?g~+pr)fCeC7er&KA{eJxh) zjeYUaAnf0g0shLCI713)0Avnma%-x{0vi`jO8UDz&9{x$GfO1bwDi+w0x8VR`W_5! zGj$^rt#+OsT<0mD*kuUEcg!~qSsOl-uP3=IByIaFuv2&bNqI>gV`I#HR%)~>l;BOj zL@%;+`+f4UX=Cz2BGOp0s#}Eu9`rKqh8$X%H`c3cJVtAX;%H{l$=1^a4aik;k_H$A zqb;1VHBGzGIQd&9x?oODzvuCP5ius1`uP6AVqiOdK8yI%kKaoa9Z}we$98-$`M)Lf zS3=KRTCGQ7=b_&g-EqWeKGPBQs?SA$>V7$X9F!J-LTSq=$8Lywf|0l?9C=!*NxI)_ z_MXRs{YX>#f+Gh~sh2cVp`Qzs8#et=hD0P%^yc@dV0a2GM12>d=B>3cYckBDP-@bLj@Z&xf;2wZ%7;tk7qs!_Bi|c-o=j^+ zW9~Uy?yBBbJ1svrwY%VSSb(9;E6K6AW+trJ(y>%L(#iJZ<`$rh=loI(d)u2X5@hoo z%08xc46iQJoPzP&VBcw1St`KKU{$mA@6DemTCBpX@xHqnhgpT_c5@O~TIU+6Nqw0q zT%Yd40=({JUidB9c?!+wV6xfup*%U;+M(A7^7?+n#`Tw_Wa-OA9&t_jDb#tid@n6$ zf0Et~(*mCMtf0HkMejwkCqyhGM^PM~RGJcMnVE^gd$kb&=W8M_4U|-dZ!_y&r8mO$YUC&I(zSM{OZP28EmY1ojldf@u1%$K zC~Xu)vE`2U+--B^BN2LZV#~D6j~0KFbtov`rdzPx`7mIzUVFQ~RoY9W6x|E;4Iw@+ zDC9?f>gW%q*3E$G96YA1BIA{x9!k8j=p_~1b)hOpi8cTEREB9j!MlbWvJq@JsD;)n z*37n}V0&N2(m+$a%vzgoxsS)fLazxLuu+@z;6pFR(|$eh@g^z+hkcDH?JyeUl%F`l zQK6)a6}1~e3Ny7clG>_N;!$sRvH<&r*jM?!D17vOKbQ>t72U_G$Xf951xxn$Rhw5i z#xEn{Dkj)=0gdNia#St^s1dBFB{BB4h1A(*P+$Mt1*0v71%|OsP+QE*R z0DaFXH+E&KWy49%H>F82lbtS!L)d1HlxnO=y|r>?C&?%LcFJ@f+?O&nMM;}S`tjil4+OC`R`n!qRK z%*KvMXqIf)t5XPz@7FHfcpjV|3dp`3)!D^$YRmz1%0VsZA^y5@6x!*cO{~ZZqa4w+ zo~u%}y8INc_L40_el%*S)!`h`_*<$(cp9(uVp-{MBlEdtv0*=27TfIR2B3aP^K$x9 z0BA{^4`4yX8IZL0W7e{q6q>2NPUj0*Hz()6gD%r0@+6>iouQ_*@et0@g=|o~fA(%T zDg07RmT^tNMdhu%66aW6ToxPJaC3pWRuyKK$rr*YF$Q3jJ3)pA`M(>DkBH3>)3@HT zx+d7XcDFaCZGMfDhZ<6J^j~ih9)F3#Ga09YJ0Ds{Ws*Use%%HmV={Qdrw97^dt@hElLz?$25d6a8SmL z6jVId@2(@g8;7=?L&EH4i-c~&xZn1EbcK<#SzdQoTI8Xh8g3+JqKxkEvB;+h%~P#m z87I-AIF?8;{aN0UFt#3)c}s{IG#goom9*44z@K-MAbpOF)V1uA_p`h=AZ-m4ZZ!X^ zuB3zN*@=JC-mlVJSHh+bw91gJtsBdUANa-xpsA#@G&@}YWXkX#`P?A3ILx)ZfBK5` z`nl@vn}xXhxgD!dI|&Zwn4bQ{3;7c$VEORY{rZG3prU96$JWKh!}GnZrSm^qu2zmX zf-oWoEm_(LmIsQLd%Z2TBq|DSd;J$YA}loQm6LYZVG=1Lj1EGJowiEmfx`KxUY8t% zf$CJzSf4#(3goBUO+=H4X>dU)tVVE6RYo~6)V(?Z0&hvV=mdyeuw0XX}br`8k?DC#T@G5=+yg))*!&BGoUqaGQN5l|3N z5zr9O5ik%in;sdlPS#O`fG}bREh!8I6jUdv(k#h6_&&6fAEqrM;qihYcCt%yJHANk@4l_py&i%GbK-|K++ti0d|s z3Pr<4z(K%8z(c@CAV45QAVMHUAZZFkBejY}5fb@73vioA$_sVr;m2#=;R;YE1SK9Z zAGz>j(5#21FD*ErhRe@ag*}%h>!Pr#1&xn4=GunR6OG_Y<{tnfN}K)2gVU6&wArwD8U4Rf}YUX+{V9QNR163g};7y(UyE5i4>vH2J+8ohm%Zu_2;5tW$HTa*8T;^ZL+EnoX+~6`fGsw1A-q z1%Huh&lKsRMV>bQ-2!DA6?a6-M(9|oqJjqn3h(T!wVd009qiQP-flSb(5lzj=IeK+ zAGUudWPXP>LP$`I_y+wdS3lMq{3&0F9-->pQ?!xKkcK+p;ss1I4i{>uHffZZPOHb? zz$YGx*wOuhl#M3!Vjd0;)(&re%^%GOW`FcsVDmnNID;gD~H`T!&9gCABY3KGHBR+7cx)6uZ>Z~}n9QJtE!2y_Va z2n+~}2mk~ogck@e5ttEJ5Lgk|5ZDno5I7OI5V#R|5O@*z5cm-U5Cjo`O`V!T@I4gJ zzs{ivaSl0X$ow!>DG&tOGU{w}ig^@%)TcVRPqfnMZYUwj%&)>KC)G_Fiu$uDsvu9r&JwSMg~D3AMa|fX3?h90=&riZv1@XWH!&LR(!D^oe=XMai-%?i zm2(Ibb6A=2`fqdP*_{!jGYT%txVOXx`p>1o_}8zq=)cxRLmDK9A}rXHDh*nxKo*8Q zCy@%k5Q8F3OZy-eYh-~YWQg#P4T>lbhS(r&TKgu9Vu&IN`e%=<=?)jH6HX}#2Ji#^ znNvanhfm$s#m>_nAOaGF<-x!_LhJlQ?K}EDgdZ1C`yoH{Ba*YjmFc{VKRSNbS5~LQ zCLw#Z_;i1n^{D}_OBk|qnsu5*IS3m_2D2g`!j6)`OvIH%F6O^$Vw_l`Hm;H;p9oQ5 zZRubpcaTXtWzT z=|#K<#qe(C2Dw|$0!nFi7K$AmThLewsCG*vdk(!uEjx7s-L2oOs3b;&(!G}kr-#E` zs2y+x3T2BtP@1r44oY3^ZhoMe&Z?Fgcw=`<2;H1{9_+$hGZn#g;HxD-bt$AS%6sFD zDlzoKX`||Lfj@HI@CVi6w`hTVs2y-X&Ejk^nbNR_>aspvz+Lb!BaPr`=o|~*2wsN` zy0!h7>c9#6S1O&r{gu82Qo~UyF^@S$>p$6-gR480c~`H;?yPrz8bW1TDy3zPMGrJ% z#_vei>&M7Gd(3@Wr{Adr7MjdaYw;ckU0BwQQ?whLQcD`0iegaY#k`cVhVpPpS(_W3 zQXe1$8J&I-SqJ(xtphKNPpQSKZsM1#ZtzwrZ`3dQ?RF8vo)qiAIi5bd6Wmkk2ibtg zT-ksUlT+$;%5~srzumfBfFMyuJytu}y0jlhAM~(S_M!CiLzO|r&lMFJuRf?7rx{ly zA^G427GWamrSurOWPs z>XPxGvjFO47oN1Z)}@Up{um`1GUvIVps)2ku5OWoAK-@mn6K zC|!Pt;gg;+KVW=NXNgx+pDfT|OKd$e{x%-gwfUWi?_0RQz8#14y3KECA)9sdDmAlA z>VTg(0~6UFK=z0N*@&@HmXodQHw+7SWiFg*RVA2&YXiWuhZv#T_Y9$!Ty;U?k+4=NdPquzp; zkgv~fJ#M^j{Kf{rZAbi1DlW96pBJJcZZtu+#&vJfI@3b;qn}sbwCUk7awZNEGtg-W zDrN3e7(v*@QrzBbIQn*Cd_Lg6p$+}ZD0c0>ek^_+q>yt*`faxW?%bv+;8z*e$p&39 z_|IU#?lpud(GXn#{7)A!h2D(zF6c`$aSoBiQ#o!$SL6FI!lYQ?eF(Co3Z{-EgmK=|PbKCZ^9*ez55B#;)mRq0FLcL}#JD=5@?$qvv4zvYG%Gw z>xUdHJ#VY`an!(LFyL1vruX`==S;8wRIj`_afD>A{QQuj2x{)LoUHe)V|Jb-x+8J zPQ-Aj<%}r=6d&Jp`{1ja(Vo3fqbdr@5M+f6Jj%(jnoYEBMi_R%DlPCv4S!NG*pgdU zXg+39`M>x|EoX=55|vr?PgD=t(93CtAwwvhB%)Wa!!Fr&CG8$LP7w_xVD6Kw$C#K- zz(%&0V*0Sy%OTsG$RO^kUxk!hQbkH!QiEOpib17qzulo4qHmaTN%d-S{gW2OW4(aL zATBAnQu4e>ICiVt7n8V4xKdi6ADaF!Si~38+r=csgRjYuNzSjvMud zcukC+_Y?&%*#{-Qh?}H9gXrfsY0u|C(i2r{N zfzf1x4T(Si_BXZ$0Cfj%TL9vHAS^K(Oo^DTA{)$3BO;8$r|9tB!xJD37X05^GC>hh zVVH#!h#lH)WbCojND?$((`6kn7T&xvW+S$tma{F?w5XCMd>QrvC`_y3$sz`Ox;y82 zrIl_o9GfKyB*EhKri8EXzC!w96Y5aH0#v6N=AQ2P))kM-Ey#u5J8m@k<*l$7E02d5 z|6V5Udw}Hm5dUD?xjHsQz6=Ki=&w*5@)R*nS16R=OY|nnOOeemU^o=h3?IY zKP#<$bn4kuvt5a{Sap`2V^|k9bT67=NiH@g75mgLf{+4r%r?E#8 z34H-w-$y%li?}=IHw_&}ML`c_;B~Ua+$?Ntj>`6m?Phi^U?W270cI9T1`{OX))JQN zBNZb*oFt()S5ArozE4%iym3R%mv25K-*w~h+dUtlMj#v?sq%a=QsqT{Bp^vOxh8wFK+)zArj$e_ZTsN8Dx_$b`Jn2Bv*X{Vn z6V%U`53}=MQ%_;Naqqhb4;*wLS)%8C;8nJ*wvOC{A<gG*0yWJ-t@8|Z9oV)>vC`FT}AfW znK(c1?!j5CYnHq>8smMo>?==K;%Zoyc)pgnn>`nP5>oI49X7~L0F(7X%+1~9Jm{ej?V~Lz+{1&DZbj28s3CTW?cdnQ!nNy*%=ROk zuXG;}PWwUbE!eg0B57swXb9)3yGWJJ!uGw5w?Yd?O4mUJBRYkCL$wvt~E zT2}$vN10~uWp`T%Qc(C4o0l~_iD@*8h{k#dm4~Fo z{O7TDQZ? z$_X5`fmiu4scIz7Etbl=S{|dNjTtYIGu74&9MpcdK%C)Ex=_ui6?S}{CrYw72K4S- z-NKS+crxG{nQ~sCM!=$0W~KUV$`|^%POa9)_F|S_dj60mVe+(~^?J0*{nn<2JHV`( z(vlHHLm{C|A+>dD_Rys;H~pY$?F>nxFq!v9agR;@10k`+;0vRA)Rx@gIh;C&JWqP| zi}7k#luTvIwP-0^(rvw9Trl=Wr}}xGfUAlYfs(2tJt1G&)XKC z9i?^@waaXN2TYvMp}zF|=n&Z-zguUcLHg0it!YNtwgf7FWSq$2>H-!X-zx9eRCQ*$ zrWbd%YrhocaZ4JywbwHRU2^mJkjRG3!ORwHP1T&smKZSR0cAk(*Z64o7=bfiQS1BJ- z^&d2!Qj%`NHGM~GZp`PsbjFlP^G-!wZ$Qs|b+u}|bo#r(Lr+huyf(`W?SZ%J&QbA; zk@0LcC{v?%;qk{zq$4Wjfijl>t!#sK4RqrrMY8>o|PO!kkz%<`m-KW8^R6RYt9LgeGH8FsQ{ z2CS`E#yT%vCXll}Cn!L#FDA0cjcf!`%7x{|grk(MpTbyPkephG@J(xVSJiJ1m08tE z+DlcxJ&*iGbwY46ZR!7#+_R&6ENfV_eMPM@PGkzVP2NYhGZ!VxBmB>bM10dP-z6wr zYmsD)>v-+b`BH$VZ=*s>tA?+?DonGc(E$rLCSYKZA*xEHt=VN@Ha(og z{vuTPQX$_9Y?yb*{1t;#!@hgDbRIfcKDP)@_7mljp2S_3iZ;~#kb35=vZA;vnv;X> zA4XI6dZU*DR9&-;;na3Kv%ur%shN-jE)&S1`L2+#`_&y>mVyi7U9KLu?VxEdABcb? zz_m0o$iT{r5bYY}Dfsi&?!LNm%v5BlMtW3GK`I5lau=r3RM3NV0`Pt!X4X=8U+tcr$7Q!!4=zswbhR=bY7v z{M+#NPZ5yb|JpmL18BG`{`-3Aks(m}+uPB?QuN``l5okp2IlhpJWRDZ#jqFU^Y;A4 ziy#_xm`ei2d2#2Y#Kp4Rk_~?y^rB=A9yPyMIhp@@>9YFH=&sWA!%;TNd-dJ>VEF zR7cD1Wif5)Tn6txX=-5ypSvyqqQlp@Y6(+{Fd4JF(Me0gEX z_3)YyzZMlffwe>w3=ryO2rn>XIk9YNc=c7alAGpYP~l}0v=Aa-?QHU=!I}fd8Ok}S zZ`>${DW8uiri-C7=Pd)ikgLH6l-9clL6zgrPnm*|hY^JdQ0bMv_TR#a@9Aj$NxPI4 z?(U`Yor!Jcv7=E49X&IW`bRJKNH_LKFUqC`aRvZ)xE5uw7KhgcfXqPGP4k5b`=GWU zCZHc