From 076744c4338269fc938f92b2743a7427b03f740a Mon Sep 17 00:00:00 2001 From: "Colin Gagich (gagichce)" Date: Fri, 14 Jun 2024 16:55:41 -0400 Subject: [PATCH] small proof read edits after cmd+replace --- sertn-whitepaper.pdf | Bin 191024 -> 190977 bytes sertn-whitepaper.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sertn-whitepaper.pdf b/sertn-whitepaper.pdf index c79971fbab7ce645fd69a90a66c1f86b8bc378a9..d0be2d28b9b4c16c611d9c993097d6679b1178e2 100644 GIT binary patch delta 12516 zcmV8@jO{ z9zQ<+mn?3*-EMYC$|V%d;c*=$0Y1`>%~0&Cx*Fad(`2>L{@6eyW1>werH=XfaHxi= zZRGpfQ9c>%wyS;JmVckhV^K9|hpYDGF-%r3uIq_+&9P`ocObTR<=Ej%iW`nyJH8(E zi);T$EHmLJ%kJ$ww69%pK7vAVAVXYvY^whq9kv_?;p$X;()|Ki4J?n<>rob|_|ElJ zKM0L%d`s|9oYq&Au}_|jd{MYHDuvZMYYAbL;S=V~~%<6s>HdvvTfPAM$4 zm$u^QHsA z96)G5-QzY{{ePd(p?P(L{Em@DJz7)Asg=HWL%&&C!%x3s7ANbjjiu+*RWSeqv~~N6 z&!+k6SoDTCnxLH9LAG8M^|jpeL+6T9T{Uh=BF{ja@Umu|n*=15W zY=448OIlg&Cv8%Yt(=Z;!Joo=_-&Rme zdA91u^I4@)Mwki#_*68-tFoQ-BdcTO;v#Gad-uk&HlP?!!s?%wl`-V>h!{VZ!TE&S06vNrJB7YQR z+a25@N2@N{ssD>YJh8L+M#8c<6F{#twY1GMPL$IDcs^E;^B~|dM3}*Ok0IO+)hJ6+ zJo6o*JfiOqdF=qm%y&Q&z60<}#@I$oLsf|uHnZxY^%7&7f(qk^)I#M{9IQs`EtPAH z=nhW=Pu?|MfjF8R6&)8}JQetmC4VSkC%5E&h|`IQH4yL-fvPh*as{YcDzu`!1wzox6S`!|WKPwJ#f zYZhn6!dhk5_Whc@mv%ZfC0zkM&oIusoWmy9b+Kp)kfLw5-R24a#hLiA{z$I?NnEQwAX8_=c(bg-Yb#HUlGkhPn^o!;(xj<>RSr%D&-;VYpru-3?{Yn z7tKL@F$cf=@bi+Ik9M0Z485BFMRv3P)KEXDmw;?Xurgl)2^pC&khwT9aGeuJwx=Q1 zL=VAxF{Gc&HpIJ4nkTo~ndz#vEcVt(18B-kp$T193`8&%?SI)2qrnRDcW*Xw(Hh7W z80~`g@T)wV?R*GaR|lGio$;2G1&bb9)uKu1uX!(En-;MQ8@2-AeXz8!jBe(%7PUDZ zIAI1K(hv$BF3}ErY^EebfIVXqs`B-VB zwM9@MVkUo#QgFaW!<;*>W{@f|3Ibt<7K*gNnhw+(i;8ga&6LB{<7)b9m`SSl(56%P zi_(|OrSHf0OX8OVnPwM+GjGY2^dU z{qKmkiu(`O;tu$aFm{bK-n*hB?a`w6|M*_FwwU)6c@VNtqRAQ+lKu><70N2w-fhy`( z)1t%>sx@U|poR)0Cw)aL8bIoW&OiDxT zR@lm-;U2v`@+NC&55?QRA)qvih3#BfE>K8?%YQ;XTCnM^$CnRbmTZzBdJtD>lSHv4 zvh|2kabytJM?;gwlQjdK+JmdHDG z=+5DGX@c8Vfl(u3eXGv*?j;QD-QsP=xA=$-+WCmSfOq&rh-iBFu!;}$IuJl559{Z# z6JF_Qa(9vMBF@XH8czn}4c?NFzjQ4$v40q|pU$pPaSfQ$Kq)+3YZe2Ie+aq1`}vuT zc*9cS5HnC{oeHhQD95g)@&2qJHg9`8`1E5%G-fMkXN#U--a4v9L35r4tcfANYhOQcDKgrglnQ83PcN)QB3GE#vFeW- zPVu2SRdvx#_p}(#L@cnjh_m)(*p8u3M|>V?p00#*G|+CH^zd2*?l?UmY5eD{91pHSn3@ops> z{512>1j76QVH0cV4RUV0nduDNxT!pkS zlYsV>j|>2FKgkys2Ov%PSf7PY&nP6i(TrIVcxocCb5bp7^jB_VgZJf$8309lxl3+e zLxh_^Tw%V3;3Y;=XoqdSN#pDx*aWtq-@+u|LN{R+Kdfh%Al!N%9e*=;?*gruNo1>#fxK=eh=YozW>!dzl0?3mE=Lf{+ zqZyLfnp5hphKO!#CeUIk+)gbOjo8|qQN-M+mi~GI^-84?l`H139W=C0X+yO<8bGuyLkM>4)vyAgjGG#5 zZF==E{qTil)S|xWe`L`-&eY&qKw?~4@eEwgCM}!>l%nD_SrGL3u>(qZtDiC|D1dm|8yT z_WW%d(h8N+sJ~MduNGx^MslY6`deYW*!|{=Ek9lq(9Q@>TpXN`dXr0d#7PN z&dUK~H)(YB`{6)Ku+a?lJd@3vu5?N{63SR2BkNB2aSJH2TbBZ$KXEFP)HK8s>zXa@ z7(^sq5`TzT$mS)MxVY-+IYz2`Cpvxk=H`-}O@rIaK`c7JsJ>x`=i{iXk(%>@$}D5t z6&-R2uSEP=)TR!3|96p!Y+_qB_(mj~I3Cp{-UD1CcxU6hEU;VRu#_^Qz zWVUO)0=DZo5m@mmPI^3BI~ z!GAEG=2ZGzF1KVso?iBY2BQmokz@L3!{&!^f1^8=PMxwAWg4$Lh>LM7Vj+4}mQ2r* z*{0AcSm2EhYu696l-tw4x@YDiEo7O_i!q76a$(jB ziB06oyG@qlmb8cIx%#hBTd?{t<@>YEE`JNQ$oGfICQhc8o8KVAyZRrzPJY(ve=l4S z$Tri>Hrh%h+2o0(MD;0zjM+t3MmuFB8pRh&5$jbJ<5ylD^Nt#QF1Ofdb;Y?laKyo#>lRCUdX$QdXn*bT#)cifA6P=S>dJa{RJ#*p)K}T`#KmUqDqPGg z=3e|OlF;mZ9A>v{1Dugu)1aZwUi_ z@8e{aAcWz=hbMIyBt;P-YO4~RmROS_a7v2^RcYs?RsiU;RHq zLgE^;FH@m-0Wy=(%PD__T1%7Twh_MjSIi-syUnghio3_B zyL`LZCFNb2rkiMY_gLTkwEE9i-+X=lQ0$VGX=@?;c(gspbk%?L?mo#^zv9PK_i?^@ zdFXmO*#1}79%T5*R7clZX*AaKExLYr{Kwq`R!;98;&`*m3t8{yD38AT?whaa8Q(wT zyWMKE)v@)BKR7!G=jfYS`;JzK&X2YoooSTs<@q!_=>j% zy0zo;eH_u~cZ-`Crs_x|bJ{4D&x_UL{We-XyKy9`XVGdcz5l+CG0XILpXIA*ZHoWjOrPzmWW!1HCDt4ndo=e6ZYqW#7dG|;;hD4ykaR|VhEri+?Sd^bCgJ{s0H3toc%WEs#C7QS~E95Md{7NcC*p6*!(^*MN4~Y zoqT_4OivfeoDWrmx$bZr7dP=HIB?%V8LM%x(QJKk57B#Fqr|4DJVD=(HfpR&f`tFyNfnaros5CrmO4S|Wf56lS914l>RN^HuI(J_9MmE4yFxoEK6}#S}o$#1O;mx3Un`@+>)v zmf)LS2TX%FU-0BX4ytlMKb5lS78ZXG9$bAI%iV*32WEo9xR4Mq*|9YGv+FXAgcZEk z>gLdJEzNf_Dvp$laF6#Fj9PCjE239}$nxFlE5j2L+m7-y%|?iylI<@#>e9`lGf2?Y zj1vkDt$eGYMJl`?3dWOJ7Kd9Vc@HncXcR@&~MZ$eCi67U}BcDvHC!W6$r#Jq}*9>e=219@||I@tDi z_CW(Hc2#LXaRe}|Advs6fxYy^Q4~qv=uVcQ9dSP=zi9tAQKTa`K=5|0LtZf*4H~Ay z!2%0Nml>C~aS<33l3yhb3#5M@z)FixHVDlc3nKnho;Y)&cEUuCZG$+ureRg&?q^H! zXi*%t7o=XB7XkE7gb0M?MokHVSrGXYa6kK}-yA8tZC<4B4@tacv7w<8XFM^rH%pfA zrMo}@f@1~I&T*@RLmm{Q_LdW_cGR9mqMRUMogv!fp9;mPOnHGq6hMD1NW!!&yUmQ0 zk8HU&6ago4rSLf!sg(fc&XNWovh%P}x_F<|ezGRyOT-mX5&Pn<(X(uh7hxCSUX+`N z%NPp|>pDI8ig<{H?Sn$B#WT2;Yq+4Ry@j+SN(=Ec;jC+Ea5hFyP9^9$rxHZF7LXP$ zfG<8m7Sq;z>S#-+pb&phIY9D&mfsIEh2(aS7U(IKs$JPN;P{W6=VMhJ+}LFBh9zUmK>g^RSwBKL$cWW_C$wS zFPZ-Lgg`KSx7905P}peTg}^hy_|=W35l-)M^`Q1I(rH_>mtYJo6arjURbffg;@m6Q z-7>p9!K}J6?67|Y=dim?^GvNQT^&7H-uNO7NCTZg8p5670=fWo$cwt+MqV`=w!pfi zmW&Dv-4ujSH5&%{RM}X5Vd!ol5p!gn**eTmI!VELwezv0VNtX?PT) z{FM}&BB7n}JKqviPFDY`6ot>os%F z%6zVri2V>_-}vesP3%H63gx)j^l8vr4Mu0UYmgqZ?AK?DW+S5jL~oA1@{P14ELM1WifSw@Oi>IanTjV&Q{Xu^p)_5cmo3r0%p7C{tOpv2 z)_CmwbT~@mz3u(SQ*}5b6dqo>(UZ`-<2?|PN|AaVCA>#STUrHR2ms@S9-#j<6+%lY zSjaP5shcb~7uz0s;ujH5HX z!uyN30_75d0cN6?TGS7?G_);QH_?NeM0?H#z+`9)u38XJ(N{+|T16$`xM5l42>-Xx zwt^fnET>3!NQAjf%b*@24JmX}uc=KpLjBg#F-%?Od$AR?=?Y!Fyja(G1hJQs)c=qf zh4OzO(TJ0-6U~b+EDUW5+LCl|jgT0k7obArcrlH$$cHWG!*fDPHbcjjG|*rx%o>rC zcGCDT5MakpBau;iJvyJ9Ko$@&P=!XIfe)3aWYqp4Yq!1AUzdfk> z){C{z3lCLl#>OzI++I{KxjSU8q|xe4>7;++{LET(l*_LyWX(>Egje@53okoPSF!`)eIJ)?HaufN! zVGxv|2E$KsE(fWWy>in4N{Dl!Lye-Z0_yM}obIJ`NEwr_CVg9=Qo5Qte73m_fTe$= zC?S3bC?5&|6EYg;NsZbHmNWbX6V0Ep!js}}aTb4*GT-D;dROG-CQr30_$LINTa5FosT2;f4ED1Y22FivwNQT%1z4T}aWM8L>J`FagqUkHakh`{&t9ZMKf*Wy zXlA)YEUV<@M=c*?^o(UFIIzD864I25p8Sr)Flvc_N-aVz8p>>ea0WRcrVu!Yq=XBH zVDl~E>t%=RWSGMtsFVWBplMc4(%DO8!?%mh2vH>7t`O|=L_S^$g(LO+VS;}eB6?5& z6}=<;+P?^cJfIP3aE<5Cm+UkIc)Te;S;NN|6R=L!timJ&RYI$iby+Z;aHfIs5^G-TI83w-#v)&Gbz zPtG56&`jgm8-l}UixHJiU8A@ML&WdI=R3grXW(WntnX1wfD+$w0OW?PIZ+ZQ2z(A{ z+e^I9)>EpFpw2T?irl}^$aij#^2v2~9Sw_M@Eo?%^cvlh;{{%ALVka~kx>HXs4s|F zUS%;eACsWSwxs0vtU&=%P=VmF5PHF{&x##->*x=uz1+MEonbs0W{+ai?OFj{0diq4;oT@NPtI;) zMn-<_hw-7e^;F5m!4rRD-mx!AW#h}fd!8IHk_#gghyz~E^_szjVi4($dGvof9inExnd|54CE zz9k>@F!+g`I_pf1`ZHP~U&Sy^Md4=AU<8a2R@#zJ=m$nWko|vhXuD~^>MTF>H4B3o zx#c^lGv!?0k^NRyIznE(mS(6i(a1<2(H>0pdJ)AqM%lH(fVKAH%_2 zqKaXqUlOS0|5|8hjrboG?!>S-qVx9C06C!p5Dib7bMFM~VaT;3#}GD}CpGZ}iQu5-oOUhkfQ~VE=$wBP5z_KjL6SvNa1x3u6vW4@ zgZH&iGbRP78AC~Hr(pra3|e>=j(o&DLzUEG2`@RK)85u~KrKu46aDy=pVv+t1!;doUY zWCbavbAlYxc|pmKbPC|21X*DtNTP5Ce2s8{g!RH}d=p7{4?fC^fbWb_B3XXMTB>^i zhQ_LqQGWy!;A0e)bSB^i-+SXS!#1la2AdZNyTnHk9mp4X0O2+#zf;3FfAl42y z4nH-xNs5I=5EOtKpeOCI)hLMfV+`K_ssXAVkDpLv$4N$UuPPI(&HJS@;Bj zNBn14$|)q=XkitWF%Yv=9!mkb)z}#SvzkSOJzJd;ZdesVwK zZ-QkRfVdN)O%ON>5n^{bVs!_R6X7c;-?6G8AK^U3k#QgnY(Ef?ivX^T#|>nt37;pt z)_-{G66**X^ok`1p?SrU3!Rl5&VK^teg>f0rdIc8alkgG7VIUfx00Gh$PyqN~ znP6ZL8qx^F+K1T%!dDvL19hr$P%(iItJb+RGBAhWp&0|y3em9^t%!;(1iOveGch~^ z8Wb$hNYJE#8AJs)v3MXRFJ zFz-IJP?2QK^rF>PI-Ppa!sDe+{b=FvlI?dRZMQg^ku?$?*pC>&N=Dz4vyNJ7x_`-8 z6g$nlSxhdbvr^FNn>W+8Ef=*gtH<51?cSuFwx!VBi%~Id>Q-!RiDHaU$X?OWjo}C! zQS$>FJ**gFrQ*$^nN7-8ya)T|V^JKGUt4j7_~6?`$?JY9N5E6JW!)|jr#U0N9TjiO zWplZhmCG)UcduTRC)M;>^Hsc8cz@wF95L-3E{8JG1Z26VLhdi#&z;5bbZ`TZIW{GBuK zBWV8F31|1?$7)u=A0}_UM}LIyz(v<}kP53r6uh+QZW6djn-hjc*rCvi)*=bO+4_*0 zE*I)vwA#V55^biv3X@<=>2HjDKOgM$-C(Dm9PIRaJ8FSPI7uE(KCd z51Zlk;!8RGT;4W5{R76Q?=e2Bq>Fkptw|_N3W# znRsn~9`?u0Q!irlN>Y*TM~p^AChhtWqrH%!Cu8k#P4>UxGR2rXD1A>E@lIUuR9^?is z8h)9$y$h%uROrQ+;D1qQC^wR>4emY=KWlK`+t|aUYS%HEboGQrlGN1`ciVdXg!M{2~Q*>rijKb<#bZ-2NN z$T%gv*iS zNYOW#dpgh?v}=#C@I;+#KVm}izAtIsM{68O9@P!$iZ^=0fomrh@3@rnPj;zQGUVCG z>KgNP1(=6lt7~o~U2Y`ZplJfYq(+zw3iS)p88#$U6hV8L!iFqS)|2US+0^JD?c{Pc ztLj<%`e-<3?0;;Tr+uh9&^BrZ6GSrb3MFEo4ZxZ&W!Kftrt|6XynHoa4{6ZDdLD+N z(@5M)2AFT+Dp*Fh0n_h*(zV*-MRWeg!Ek^mlH{2=Y=jXY4MJ#k)kKC(>f3`&F1{J1 z(ipDyZGXVVpAbb;;>!s6Vg%eSZcaso@a?uB7cXqG+W@8h#WJ zN};oIu{>klnV03~a$cT{2TVAq$56F|D_|BrNX9%4Y^^>``^`E2E-p^1+3tA2>4fHP z<{B7x3Vhh`7_gnwvI_~}L0p^)T@~_h>DJ@U`}qi7{E!>@c5rI~l&9qlx7P&hZ z-G7hRDTOj9{x45oU+7CgeyPhi%dgNrEkTvYo{na$UF1vqnQ3rn2vv z%l7iP+@61G7FBzCzCWG8>g%Sd2ek9(C3jAIP(YCloR4`(c=WeqHh>$$9*&#l>ZAo}#~( z;i~}?gZ%in{P+RM;Q=(4#@YfR0W`Pi+5+MVQZX<>MMgtGH84U$K}0Y%LqS4DGetu< zF*PiaI(PTK|AVEbiV$ z{23Yx62rm}dpU_AkyuCwI}wqv6NyEA&ujDK+_&GozkAPl&uIwZ&O#QV4Sv zv>ik%KzRXQhPIt$1*k+@j<${EN>GKi04HCTmKj<%I$4Ooq~2Ca$Z8n6~^E!q~A zwO}1uE!t+5bznW(Ip=rr9oj~g8$cskBN|bzKd{3$q3IJH%CGqrG)~ENA#UnT zXgXex;g!CB6^$F@N(345W;9(*NhG_z4UOC9Dgc%7-DrB2ibqv_4;nAe_kmWly=Y3w ze$a+?5RI(m?ce~~AvC4419YMtMkC|-L2w8Sb0wAHFz7v??)V=daTfxpfY;c?&0Qs%;rj<3A9#`Sr9EO+X>tK=nu!14;v$GFbrI@v;gX^r95 zT^)e`T>is#-pK)r+1m=V7yG#EgK1o*!747RU=XLEJ_>(Mf$kXQZ|L|FoYDr`!2!?# z_#vYW4Bs18b}Zm$!8tGnroc3q0TW;(hG$=OJhRifKsV?Cy`T^1x;VnIiciMy`v0RZ z@z*2ZC^!c64*7*lnvzI54c8g|GpuK&Kp9#BmI6kpF(<78tOV7d2FL;B!-|h z$Lz&Z9m+f~27oCg>Q(yJM!-dI8jJ$|iP#xHa~geVV=?@BtE0}xcwFn1ZD7$2Rasq%X6T;?dTIN?byaiZbVE1x z!{hJI|0RoCZ?~IWl5z<}b9h`wNq~>EV>1-{s;-9D$23`Ov_Ccw$(U%9N~vSMJ{+o{ zY8&~!c9c&>yX|UUx8;Aw@>Em}+Tp5wc?^@)i|cygU2`g$(jAEHT{(96lH!I_*N(@N zesS$TiDf4IWZAu5hW6MMmlG%y2QtK!r>6Sf(P7JR5U$R}N8K-w)xh#p9Z#}I#dof+ z`ax)9<6DA<;=I10jD7NAlTM!l$ zEe6+fii?wT4TIHsXy5oQ&OHhvIke(&yOO!Kt6nNa38MGJeX532I}X-SuqVfQ0KFcx)BpmJi8tPWM@ z$^nE1)IDyK)&GA99h##fd~4?PObF48~V-C8h-u*vp89IZ7e;fu8IK|psm{@ zKAYyNQ_&mZWP);O2iba6)VFfe51lK{b=9~fiMVtv#Eonf3oA9HbnhKoLdd2Ud2>yP z^?CjWN_U0I!JXT(D+VFBVN`%o53z`a-S)2gqbl{AVHAI02c6r$ve7xEJ9wt8NAN)P zCyyl(?ikNbM5kw05vrl>tU)SEpF?LSCxaHgT{TUMz3`AQzaEIFuY9JyyimrQWSend z_*;-{AJ<6`tlpnR1<3|wjsIwc+c2N->)&mnxgN}uO%}wm2%Td#u*5(aq=c7t!QxU~ zw?E)00sMb_&89jMQB&C+H#dc-PN792v;a}HoG}yHGiKt60w~AKO7H5IHQ8FZvXo=M z2_#X7WiQGx_ae)UD6Oc4-$+0S>cx(sm%fS;BM3cP>mZtL1VSu$DV(k>gpo^j`(ktEywfIlGyZikV2m6 zAkmDWZQ8TwKO!k50(OlksM4U^I-s{i#%h6A5^?Ici9Lcl(tJk09_{T_Spun_LWPEoo)7pR`FqwsLA-e+z=JtmfJX)+tC=&nE|+g`P6KSkCjgP!9sg*$JUTSu{51 zmHLZhmLq{`70$TG)*U|HIMp)I)jR=hXI_=+BPjmU2}}!Qe{p4{3nxZaLkjha9twmo z%G1@^4Y0F$a%)#f5WyELK2--B(9r;4gdTr7U_(oe79C2pp-`}wPNDW_@!bEzeOEy- z<=LtqFBg?Y8DS~};B(OwM`b(fM^?wm#YNZ<_RTBH+LStN-0=<7eDC(8(adj()6hO4 z;F&n$IORCHW?^;F9pa@SRK5-YQt)E;qE+f>dLI%0c3dV?%%IAl=@( zZt(MUj$sk%%LbeVF_Ui9b#CE;*d`V}`B|8hi0mo>Q0dQY3-2kR zwTl>;5T`mq%0n>}Ppo#Ks(!{FbiL?q4OcKC6=| zty!EM3u~2K+xKhsUfSu{lyn93Ji|Eiat@nZ*Tuf=%mY{CGn@^gO+|>A8SA0C)Yd94 zqAH70jQv}OnIg_APnDZu00qsrm1=x93578}p=CWDY*1#~TeMV0peTQzaSq+LNIj6D zl?^J@q)Q>*ff_Wa_f(e`kNYIn?gAx-#v3uR*>DVr5cY`4*9CY0c{Kv_7o~9LhOPHw zd1CEuw*~~yino6saV#CA%97~Ru>l<`=-4A6lPe3oP&=~GjXeR94sCSDU9mSziw5Hw zoWxniu!fA6Ww+d8J$ippQFk^w^InNmzC<(&J#i{?i~s4esBbC2o0NyNZ?(>iF__fO z7n+0kY7Tz=@s}kvAMG|-7Hmj+OvNlMuQdP?_O=>qBW2$ zFxmy};a7P!+xZZ1hPiZJ%^+1`6a>NyEfi^kH65ro78T*-n<SIrSGSAOX8OVnqKmkiu;eZ;tu#vFm{bK-npV9?a`w6|MX6`wwU)6c@V-M)saQA!j~*GW^iZvjCzJSQjboG-as`+%u$M4kKUJu2J#;p}vEZU;kho z!MUjX^zMlxs^PEHnV4;Lf^$07xmXY6L5l8`&AND11tnD#Mk(jvZ|=k2Tr=7blhRPT z6}GZyxJPe~yvZ8cL-G1=2q?{BVLLaL3lvh}vXFm|7Hqof@#RC9C7UFO9>i7JBvEXM zY(1h>99cvIR5H-T08IpC6KAWdO3nX8W#VTvuKXOO%ARjsn1Ex&e|pcnG8^^|-k zx^uW)n&9?TVAP0M->UPydkF)3w|JZJ9X_Iic0Qsn;2k~@BAOmPtl~qx4g^ri!}?|H zgjaf+++F0mi1Tu;#TGu|Vi9QB$dOMUnY330`R z(`47R0TV6XWypCI2Te~!vs^9QpaT5K04P?P_nM)W>K>SJU}JLBYa0mrF7&JVHds>WVA{JO%#6|o9x`%;g*n5dEZMlW@)WZ|(p+!RH&6D0sCx4Ar$8e$Q z0(+Z=iWdYLP!-$_>)(>r8u3M|>V?p00#*G|+CH^zd2*?l?UmX|eD{8MJE6u2S!(iWarff;4M@)>x%!1D_srrXxe94v zCIRgm9~l7Vev;2D4nUgnu|5l*o>542qZzX#@YFJ$uept^iLAdokI)7&H-UV7QlgLz+ zp1&IKJ$)=7Q91dt~S&JT!B zCo?3oHK){H4H4bgOrXV7xSd)m8nLxIqlmdtE&cTb>Xk|(DmTnw$wz_zr#alSYz1id zWK%LV3Gc~LXNz_OA%A)rsTZl03o@R}`6g+&I%sI0(uQhzGJt4Xh7j!7t6>E~88zA>IDAWHf(>b!&J#H zrGDx`M5CC;l23F(zdyByz9JEwd9sBnSgCvneyuBXWvuEjyn`0rYx#4uo|r>vlY_YHvQCh!+v*{cJYGFAd7mdnka5Nx+r9TfQ#kV;D<% zp*ot|C_xcPmVf4EtyBLosa$=G>r*1|K=zqV8>Ss*bGqJ2rIy&qf%g)tf zY0uxbAstcN-<)_=yNxWEdFw1OZ=O)|p`sJy$;_ie%iK6rk@QD;T^(*|Ltjg@Ywt9y z$7MNS>?Vz_em@*&2{xLco@cUo)0IvsM?x7(WMthbKW+gT1NZcl&dNdk^*8-FvQfxLyKLATe$xZ>?HWUP8II zgQN3J+FP-E8=L$qCn)rZZ{9^ZFe%5t?@v!87=iukZ9Gt+r4WH9P!`vXLHIAqJ zMrOO#D`2~h6M+@4;;c7yyVX1A2zCPj>I4ArA^M#V?*!PjAAw?p)_Z-Zu%zlHosO3? z7Jm%mX-=ij<#J0FC`D}QKs>_gSZ&SA{L@oWy$m` znQaQKf(73Auy*?}OSwJ$(mgXDX(7vWUW`fnm786#-9#|f>qGpzz2f+gOttiPTGwq5 zNNgfs-fglZx1>Ex&&_|0+Je>lDc_%Mc7Iv0MZP~wHgPh&-24_9-qru$b@H=T|9jzz zK(?7~w$WB9$tF+Y*-hPD>OK;8;vMt7QOaDUzL>CFrC@LEyK)o2w~u~i*BguCOeM*Zal9TqfJg^jwy*BcOCzx`9I-E;=`yl|n6XxM$S$|P) z8}+*K+e_h4Un+K?*r@|N$MXvvccPsWKw8bm0yOsyl3WhHW1efZ?wAN zQXN=5xJ%t)g|B+c`4`vNA#y0Q_kR<2kILbgmaRST*s#M7154;%U6M^x_>$xNGnmDk zOjjw3<89~lrAg=$d|`6OFN!mgYpOJ~2e48qgW`s#F~oI_=52P~yxo}et_WmZPT9Z6**bRg#do!)eK<%!IwGH(R5FR`WtTC{kxFg2iDG zEWZ3C(C26GKKbJpyJ(Sb@@=$Tyn9-tyGeLB4obE`D78>#J|RepqkwXld$F zh-Nt24rIJ+e>?XOrORLNV~U3`UB0f{&i1zZ#nlHHelo?;)m9pnHC>IapWpp$vBsC< z#X1Z(dAgPF{S>6Zci(;UH9fO0ARchbS3eh%$tp{f+YQ50o;41gt%7{0QbIUk2 zrLAaqf1K`EnsJ&fi?K6<6<*QQkhpX_Ve35dXq}QHDM7!H{=YVm>5Dx}*6&1LV$G4U zNAnQjq(TUCW?@edo+&K0l_f+KV{ZmW=K@AdvzbAd-Y~3(=r4X$~3=hgTOk zOEhs}R>(;z>5WvjemSLS#&~$D% zo}@Y1R`oh334E|~Cs)%cVD^;0X83d14%#GlS7XLk=`A{Ih6c)r){jy8^G3)wW$AE~ zfApz`kQ9Q9X*Ksr78>cmzGBMLWHBXJM{@9FFDP5&Ke~~>6 z;{MPHpY=fqyYf)3tNDA|V9Nny8)V)+f(4I+r+B1|GUZVlo;ys#O_nc$O`sG16s3WP zWD{k{VtvsQM4?x6%+NR02ocI>CEoC6(7D&8hiSA4w#m)n*$k4&dxE?WOiJE@gDbJy zaZg799YPCkplbXpx>F248|7y1e>^`D8}KbYDNv>*!!)cm$rjc{fjxG`pxtCqNB@e% zAR--^U{z5}9}#`=9?j9ts6HB(i*&LEI zUw&nHVq)7to~GIe@nf|6Sw~$vd31USx{^`CmIEuFs&A1B&#wa!FZ8EO^6p>z!7`R2 zwz@5lO>5x{dKsnSN5_}ne|;}J0w%V?Anboe?*Vkb{O*A;@f%=WAf;UneG_8rm4NSv zce|yI6{dJiBBrnC=)u2FGLSd(<-yi->(EWpz=9oByrn1t5Vj?Vf7ZZGdcq(Gq;GI1 z%fODfpOaU#{~0OHksBazyV4b>J#2MkK#Ne;gJ_-GG%A@2nS^ zH5NqpsXVdgNbQ7)6w3y2a#h8u$lWiNqS354Y$rIqG_L~Zp9l{K%MF?kc(Wk#$)kSu zPro`+cw4hLH%dI61KwRfxgLLsa zsr_V)&z6WQq9XRyS)*s(9It{dg1sm=5!VqG9M*Mu@)7Y63)=^UNQ`Eb1V<$wi4FD}$eA=S|e!Qi!qg>J_$}IqXv-$C@ZEmV-~c7VTm^ z+eFV6Pv7+q7(sCzffDVbwpo~2FqkEc<0|Ev3aJ!N>4d_*ndUq6M-m?!| z$%am10s+Ief74jgl6?|LJe46?K}X2+4vg0E43Rm{BEl4cf<&ex1q>5crpJ+3)In7%_AQ+zS^avxAH7a-^@Qg5iaf7LZ(=|AH zQ2STuw6)nwFa{S20WPbmuq0}6<`w1l%x+IGt1JvVe{8`y>~7;UQ7em=$A&C#c$EgE zfleXX~EI3xVGi$kGnRdCT6Vn><^rBYK3H z%>EBTK*92ne>n*YmY-uR7r!zZ9)u`=PlEZ z{Od>he+kdkv~?InG$mF;fE^#(e{a3?7!90fPawFC#|}-=RP##3pqb(g z+XdrnYV@`cx1I{PLYZc*YePS_f~P82D$x&xoI<9^fdeZ$kEPC~&nOLV@(*y3HAt#~ z)^O~a@o<#Jd+5XSwLV0YY8Kt=e9AI3bO!D50YFQ{80{j`FEh{J{s9IS~IoYxmAhlrBh=;vkBv*_5kUeKHxyBz7dKPlTM>owcyZ8 z+_R49``)7iXN@$hM$KV(or`3wr;)@%JkJR>HQ4w-sJ8`ay5i^ttH=f%2oO(FKzFF2 zYiO~BM3GOQKdhIcqC#to5?w5a(zFAVe{Uu2er(&O6T3m1&d=%4(zaED(D!=cvJt;7 zCB?bVQLJ?>0zew?uIvkK3jC6|VBcw+sZyZJ*Pf--S!B_cvuL!9JZRgq8dpn3X?T5k zu%u74pu(BZP2C-G!}qdTY8n}OWyUL=$QvaF+;JkmdDjpi9~kS>c(11U0f;w`e{0p| zQWzH^n=8VL^f>R!uL_{d@aZq9v^r70%_R3(WUkWCR~Vkr^D=SFmu?n}N%DfC-o?2x zvS>|VJ+x4Kf;wa8)V!wJokuO_sSwpUw}R!DO?xjN^s)9uLwRs@0mDIdx8}5G~1+cA~U^V$C046!%y-ye+Q|-ow>0GJH$EBJ_p?^gGD?D|2MKJ%EX#t)VBqK z#mlk9WzcU!X@J@E@kAc#8SK#UM`twt^xp!>5|>Ck%|M<~zCSDEE2 zY4)3zk1@K(%vUYgQ+Ww#-bPP;r;w^$wiE$nTFIQfSD7pj&LGWle<&a+Yr`fO7Esfa zvO;k(;4qfRq)O9ku9lK?fA&%yY33ar!brGVG9HZN{!=JyspGp1YKZ7T0aJ92Kydde z4Dx_RsNPi#$ABoGVnE=N91_|5H7Lg@N~s1Xu|Lo{3or$#4#SGX!wTpUXJz7ys>O3F|E?5>VoM4uE{FH7Cj>*-o;Z`j>2X4gT4BGW8ME381Q& z6a@qhmc+g^NV&DmfA8Emb6u7+G`@xU6jFdzE1%?VWR#>*)aS)4udR{+FrtLYE%%ZrMMo;vz{eLzlLhE6CR4YNnZ>VCn2jsS@`qClQ;;#SF=(lM6= z@W8WdAEdB~ngE}8j+};$%g!UkD-4n6e1x2Yn7xw>84$Y^ z%dwD!gD1wEvoDHe;p;iS>88nXIl|Qy3PgfZTr~(^&Ks1#6s{Ebu}>Yv=m}IZVvRKX z@tg(fK20fQ;nYLvxtpC^tfrO1`lhJpJ&j0}h)c<#UBO`%rnUdO|Jc$-z9k>D?wgUF zI_pe|WC|@!e_nYQXQB*OQ_Y<)!b)5Id!u)hO;7gAq3x~#tF!#j*USuNn3m>JtV+2^ zBTR!yz9Fuu;-e*fVfItlAL_po3`zxkKte*sbW~^mvn0W z?;09f1O8KnJ23`E-KQIS$O#>QXn4|`dnaHILv9^8hOp5DKKRg}kLOk10qFlwC^O~p zz0g=1f0u~jjI|L@iQu57q;@53kB%|8Z=F;TsBx#N$)edx5}JC%$E-usltN9I6rg6% z`W8AQ01`2Q7M_J8A8{{GCAC<>bB^e=w`J*3%Un4{Z_v`8RwRt_gB~&HbE1F|C}M-_uR^#S(G5~@kU#dt61}R~;7WOkgyfXYaNjUE4ucPn z1hJ%i$0S@E+>iWk=?bEz;TfXN-qpSHVIODihUpJfXnmye2EE~oS}$3klUEfe=G3Z@ ze{gkfK0T5$5e|m`pNIb`lC9uMY$fdJvS<6~4QyGSElkO|nZD1Uy0_^q;9= za5d^L?>_l254+|E3T19&b98cLVQmU!v#Hw>69O?em+)`_D3j&x7=PEtI4p)3h77J+=-_cR z!Wg_uB#Z}HvVs)TIYEx;yrASqIt6f1f~>F+BvCj6zDBq}!g}E~zKJBf2Os4{z;{L| zkt{!BE!DjMLu1v*D1QP9@G%NYIume%?>%@qUL;_kEH?dy;0#5X$opcA z@kX(*bu2QAH^H(DK->w@CJ3B`2(ddIvAToEiSQMa?^xB4k8qyi$T$!OwjT({MF7{v z;|4O+gwGRRYk$0TiFJexdc~51(7a;Fh0aQ_FW~mXFq{+K!nllQy#kBzN%#okFc6JT zfB@+WC;)u0OfWDA4QT{o?ZfN>;VTXBfjU(=sF=WqRqI?D8JI)x(2Rj;h3Hs|Rz$@X zg55^#nHZiyP%sM=8sIlxL<<-M=|{&Z0QboIGVqI}O@A0|ZH*`??&2gaYO{NM#2O85hGa1=zDV3 zQAhdfK+-q84WLxcjBuo3zum6uNscD#lISimfeCj1dai zD>}L{9DyThet@Hg6+^64yk0c3N!f~bVE=S1ii7e?E3Ob9e7z`n-H+u6cT2?p@^vM!?;v&GkBZ6Vaoat=sOqy(@uXRtl#6a@{l3^Qo)tTI0OR)zc7|Od zluC}YHbfZ^B@tvLivxiaR^vdo-3f3aioNEb5zyH$v#KrS-f45Ptbj61rXR}o>#MR| z9)Irs$}$`Vn6ogLF6c?(RN=LZoa9oJh-CKzdr_8eb=SfOsGvqd3kRsgTEP zbdpO0Bvxt71~}Cv;OM{3famD>fOrsMyPT5oIAvrA{y{wBvi`_`j&@&d|2`ZXr%58e zU&DdFa|V6@&A&V0?0)!A%_{iAu2mp0u_0yk-M!q5mi6nfDj zHA*;JA5zohLfwm2J9t*2&9qlx5{xPRjgjx?gPpz|?DV69ogOrpq2!c=^1xZ$l_~^F z;n=~YK#J*pGu&Q$E~lT$?~PCYfbr=&jL$0RqTWnv63QRcYK&F+evC~*EHw5Z#(ze7 z6#tOAj4^B`UfZ9C{c-cuix|CrBSqawcOR>r93Qtqc&+;XB?V)EO=e5YQoJAGrM8P#8Q}Oso31tY@dt()S)^Tz`+c zLA$vJxj~DDUnXwv0xAa;dNC$=6n`4ZjihUXy9>n68r-)wc7Lhbb&MumJ)w~#b@jyE zwq8G>{xtM+wn^!hZBpoEo5tRXXZ=-938#;wBz8L5lrd=6?q5x}{5S zj4 z8XcsaT+U`yJ!@Yb4d;xVEr0X04|NCHM(tpNNCsY^L=3b6So68;y4u-vK0Th7F9+-) z4SHD5!%%b@iF?Ta^G#d@%jh;>dJZUEt36&c=f58e2Z$m`o|(f&7y;5Cgl1PwWZ0y> zJ=o;pt5GVA;d)>92WDKkaXu^WQ=)9OEG5Py;y9#P;*+Fm1y zR(ho22N9tZIx82;GuEAXQGP1t<;i%!goAnvRZF-6X5oWm%)`Le>eIB}oa67};v(M|qt>=zm9SqmrBf{$B>7;r5ImxX0!>mrF;tDjoS)Wp&MYF62BH^q_f- zLRU+A_?YTy%!JsTkmnqm^8F@!SWW8_qYNFEi|RwgIb=L&k(p#n-{1;77wv&-=M;u8 z2QYIDY)F?ku+f01=(q~zv>bg_vRQNA`Bw=oAe+plxQ&d^w&B2#S*AV>ca=OnlUd6m0nLS8>F=AJb%Z+LZNq zmsk)e-5+)J3Aa<^yu+8n$}EO!bP!qW1MkK3@`OveYfbJv`#yY!9~i5J+tV*1&}y@p z_A1OGcL$^U5q~?SPzJ^S<>_m@-9f}hcMv(`n~ceX9BJdQO}ZgTuq98nvv@(+VJ zXlTP!_HA?7ULKd*^N-DlEt>55@2cIjp(kIn)d2m|p zT}~G;k0B+8x?Cfx^TC)ht2wjggTuJ7@jEE%WwUraZ|XBP*vs?pqeJ|G;x67%upv@~ z@Q<7wKhlS3J>k9fVJ_Mq>BA}eY|7P9%2R=qrvfQgOKG(MT1}h<rAgRoz6ec14Gj5YhFJO5Gfx8 zP@aO2&g<*-y6flly7|4y>(W{td3~!k#Ju~wL4T9ZQB!Chg9NF%Ni5Q*@5UfHa*2`s zt8=enduyv(pxBxLN!D;K3xhgOl59o zbZ8(sHZ+%E$^t2WC6!5Uk5LrH?|peowY0QVRUOd5tg1TDYHO;gE$ZlGtesd$EV$o* z#JA9$#6lucU*IH&L?R)Yhy^Q&jg6#WAu0uHz%1HsqB2kp zuA=QCS_{?{@G`WWEGs}IS~=Pdmg~U=w6$pMEUQ2@+B&p0mNj4_S}j^D%UZArZ4+7x z%Q~ksVkZD{&Lhw^LQg2pMiF2qf} z6-~$MF}%`$+t9c{u0)U_Z%5PBlti-YJJ7g&t^!aQ-;1Vasd!Y?_oMOh`~c`g>p)XV z4uUSUJ~XnH9|GNIhtZVI9?*++1dWX6ec&(}=1MBX5zvo@*Amsr2f$IZGiWN~AQ(bB zi$uX9GWa}9GpOt|8Plu5}ZPl|74#La2jn+5={=1(a)mYK$G>(f%CM%PBgi5 z6pVrK5W@U&fw0W-0+@^;RH#!fvO~RaiD(7LKn~OpH^Ed4Rn6Kl4X%Of;0BoELVDY+ z7+U-F-EEiQ=K>agU&A|g#qjH;_L5jve^3fnS5Q2cpDSY+{HgCYvTZlm12B#41DM8T zbgbtMF-#0=M-zX&MTEzFJ4=}hJ37Ad;u`l~>0`N5=iMeR5d@Yufj-7{F4xHx@=Iq7 zj~8?R{&V>c*Lg1otYU8`&|d80vJa+lnFg!4tb#$Dg8DdrI1dJ5n17_>PjN~YI0U*u z58#K4HZXi|SlO|FUj&!H1egJ{;3}8`qcObtqvM&K)(-~2Q7{OGfUb)p9INR|j6r5hE@Ld2ny#?z;y2xe5o9ZYoXDg$#<0zSO0WS`17@sk0gYfQkdYXI z)*iFh-*qVSz!(6gl&DwfUmFG2z!(?@{1dSYfaWy%(k5c~v!tUg$9V6nB8%}!gQ6=j zKKrd`GDg3nXewqUbBd;8*7#S^Ow8`}Dw>Vi^Uon0ThuQ)kTMB&YU~i%xiF%|100XCk0RJWYm+)W0e@RBy7}ng?pv6cDBPEQKFjB%u vX&B&_gkKVVNhbmJP9rh