From cf8c6b92ffbddc6b8b6df493e9bdc30b9c3ae7c6 Mon Sep 17 00:00:00 2001 From: Thomas Walker Lynch Date: Wed, 20 May 2026 07:03:56 +0000 Subject: [PATCH] . --- document/A2.html | 6 +- .../White_Paper_Cybersecurity_Legislation.pdf | Bin 276816 -> 276960 bytes document/white-paper.html | 81 ------------------ 3 files changed, 4 insertions(+), 83 deletions(-) delete mode 100644 document/white-paper.html diff --git a/document/A2.html b/document/A2.html index 0ea107c..02a61b6 100644 --- a/document/A2.html +++ b/document/A2.html @@ -328,7 +328,9 @@ Engineers later discovered the cause. Temporary abuse-mitigation rules that had This is security by blunt instrument excluding people on the fringes. Literally a camera that decides who looks human enough to participate. The garden loses more than diversity of awareness profiles; it loses entire populations. The facial recognition system was deployed with no consideration for edge cases, no fallback, no human override that respected dignity. It’s the security equivalent of a fence with no gate. And it’s not a hypothetical: real people are being told by machines that their faces don’t qualify. This destroys diversity and comfort to speak before a conversation even begins.

-

There is another face mismatch case of a perfectly healthy man who works in high-tech not being recognized by ID.me, being initially rejected, and then not allowed to contact a human being there due a requirement of being recognized first, continuing over an 8 year period. The deadlock was finally broken only through the intervention of a Congresswoman.

+

There is another face mismatch case of a perfectly healthy man who works in high-tech not being recognized by ID.me, being initially rejected, and then not allowed to contact a human being there due a requirement of being recognized first, continuing over an 8 year period. The deadlock was finally broken only through +the intervention of the constituent services staff of their congressional representative. +

Byzantine security

@@ -385,7 +387,7 @@ Engineers later discovered the cause. Temporary abuse-mitigation rules that had Statisticians call this the expected time it will take to log in, though this specific time is not among the actual individual scenarios. Rather, after many times of logging in, the average time will tend towards this value.

- Pay special note to this interesting effect: Although the normal mode login is merely 5 seconds, the average time approaches 4334 seconds. This average time result is so high because, though it is highly improbable, it is overwhelmingly expensive to recover after having to wait a timeout period, or to contact support. + Pay special note to this interesting effect: Although the most common login time, when everything goes right, is merely 5 seconds, the average time for all users over many logins approaches 4334 seconds. This average time result is so high because, though it is improbable, it is also overwhelmingly expensive to recover after having to wait a timeout period, or to have to contact support.

The true dollar expense depends on how much a person's time is worth and how much of the waiting time can be filled with other tasks. If it is work time, it will be one value; if it is time with children, another. At \$100 an hour with no fill-in tasks, the average login cost comes to \$7,223. And people wonder why computers are so frustrating. Now imagine the cost of an expert spending 8 years dealing with ID.me. diff --git a/document/White_Paper_Cybersecurity_Legislation.pdf b/document/White_Paper_Cybersecurity_Legislation.pdf index dce1112b4bacb9c1292103e0b1a659d33176daea..5c6321c1dee1d2fb2ae6f07b35b2d8c49b2fa012 100644 GIT binary patch delta 38164 zcmb4}Q*fXS(4}KdFtL+~Z5tEYwr%T;&53Q>b~3T;iEaD;c5CnctF1a0UDem!U470o zd-wC-{m*z#Q1*H*e=wj{VzWHHP9$k;gM9g%t6r=&qS;H-rn$6IPFo=5xd~&2ETqA9 z$M&dQVLKE5sfCo}9CXxWgEN=Zxc)f}i%XKOAepbPFOW&vTfSL%Zu!Bz;NPcPe;hjJ zSJ?WALBs@3f=r&KZ557MJ}oH@i)@WT2IaINq>#PujG?1ZPYpnKSw3FAjI3rq9px&^ z5&pv+!ctjM< z47XKSG92|Sx`R1r%KL=Y_`>VeSLgIF-1L`t!i60uT;FZEs)D1i#|#IX#-ewYX)TxA z4$EtcFxO1bmKESsG5pJl)28pnXLA*bBry@M=v*~ZvL6TXLQR`hYxrCLt_7@7v}(o2 zIC7puIgycM$Su|#F)=y%sibMO&gK^ELEd@Q&juW(?aZNEVlww^T*YPBq zg~i*pY}jqfp3xKJSa1nqx({?V)%kSi9Me;==DzQ|w zA>XIwyzZ#wwAxNMj*J|uCJ#dg^7m$C6L_y~*M3$R2C=7uQoD*Cho}$i;?yE-c~={F zB!*-QPh4{R1(wTi=P$00!%5( zqp9^}V5mXlkYVJIpsnPPU=nPgOsV$VU?f1>gq4a3s;Q!a&YC;6gAjy>=q9oba>OsY zf1z*?LXP4HHMCaI86w?gjuT53(d9=ul3k_H4L$F^*GHe8JI_7tc}I)o70Mgs+npMdHuxMo(z*T{it!&qfN65kp}Uy@5P6@a!RI~{DPrW`ez8pjJJ z4ho^CHF!Ea33A7#zQKp+Q+$Ndi$9ttI{>e)cNnVtVdCx4@ znq2hce9eumPG_YR#-;7ZIf1L}P-qes>ZH|BW}Nlw138aC4SZi;UyqT?N#>{EXQvkx zu;}X}dJA{)0Q8E9Z#hhm#IT9?;s&yHSx*)lvG;wJe`hCQznQVNr#w zXgyPK&EVF}&ezMERspK)6ut$$7jRF=-w5FcMHr>i9w(v9NR-Dn4fHH{+3s1(fsA)8 z^-BobJhv9NT({mQ{}vr@1#by&4ek8uMK#x-JR)wC=QmA-)+52Ove~TJ57{3)Q`b!e z%ElC9HvXECYmSYz+|Vx5XFhrN#naVQY`A0e=IV7cYpNGk>|wftM-84AT5kBAIa_^K z#?Ot=t4>e9-oZ49tQRrYercP80dGX!i-ZV*;B&uNu@HoQ&oLhO<0YUviP4XuBZw2` zAzP5*glx`Q9K`a*Q``w}TfpB58P9PZM18~yzzOcpL7;^P&WfAy$jy&Wbg`9u`iOf!GR#ocwM= zN6$BELP*Zz5DO*yrgaPQR|5}&w3${hj^&?O1QGv@k@lVb_m89WI+^Rg6bs>0@~Iz~ zbr@a?`ugkI&eG4TpACA~tiU?`(co$~tgxS&-}2G0XXQ%uYMn|H&x@$sS?S=>OsH^e zO5q0m7U~(8CDynB#M6?iss6#1pM7_UU=WZo8URTkG$My2FMU7(rQhaJXR(uGyZ8I% zs6UObQe2J znhB}cY5W%`EtgFYUH{*vXe)$Whave07gTWM>Il{i!f~zrHe`Ml@PVQ5yruw++1(n^ zAS79|E-Njgt9$nvJivmJS}k|u3ub#E;5D#zZw7X1Hzzrkw`2+Z{b&R&iV%n0cUJwl z!Nx=F&(EH|c$Bdb(o_|b@E^|%-H$TQ2K&d5@4@TU&~EDYLs~6O@htQZzUOG(F@wCV zjFWdyI4!+NNV=RlGf66!o40Subb0pF(_g=#`7U|}mRGG#egZZmlc0X7M~&khm8q2j zo4Uv3yFwat1}vpmJBMwZYEq`*Zs0n{XDc}vKNpS7SPJd3EG7BWZH*0op>Sj zL%Y;LY$%!~lGVi&(VmW>{Lp?;j^GT7eQk^3t1m>A7z67=Zd)1pr$?RlC(c{IVIStp z)~RC@D#?(pf$Z;W8|Q47Xl=FBZklcxZ|=Y5-_Rfb<^aVjL!&nHP?{r`v@Pxeqd>-^ z(dsg2-iMDT=o2IiM0qA2erjW}vb0XNTF1-SDer9_Wv8+WQozRDYm|Ks2ih@)O<6~L z8s-ik*X!shyYNw6)Tms=&6Dg3%s#CSdyp~pf~WZz@151AG9*WasK^J5q#s?lS)?h~ zWcrex7FgA&)9kdDceKq$RB6%w=kDmPZC>@Xj_byz=KvRxdyqHSaebN3paFbCxFGG# zaO0!aAs#uVS{DY9hl;(%{HWyC*VlFx)rmoJq-$mo^9%{~@C?E4^lNOXNq%JJDl!;my};!{1Zn1ENQ|ZQkOo>U}IAb!iZ7>DQ?+j_k*G zR7-~W3Vd}+NiWJZ$$Us+jx($S@k7HP-=kxAU9Y#r&1=G)HqbtoDU|BpQezXuqeTYc zYaEUHhjDf#_j3x7Tny%psi>sve+#C?|Lm~PicQ3zO|!R}Zf3>Hv5_EG}fIPbk0&8R}J$+I^aW_N2p^v;o?}qYL zO^}dz7~7(7y3*t;%wq3ja!$#O7(%<3fVY68@#?mQGVa^(C$)clBpUtuFq;V4yR=x&rB60CY~t z?EEOlXL+dd&`ILKzk-pI-I8q_{jh%Iiyyi0PGJ3At{Eo%yT(QA+3Cs1(nph-)d(>N zS$qK_7qc7&;NbQGL3ZY`X5{#2?nRg;Xkrs&KUz-Hd?U9!@q%_nK5u<^alQ8Q84o@8 zcfF5?ZCf5VNLl8&J^FT`aq2AD00V8E&^STtmIQ=B@P#F8hMg^T+no3c|LCXYCZ*UQ zkK-Q^^K6LQYmE}@^r}If*w_EA=J9b#n=ISNY?(Q3ZK5ZzbV%q5>$@it zoDMn3bgj8pMu@gI)E{ocPlM38tI95Xr<89xoEUc5zTdX{k7)LiOX9YDfLd_!Bkx>{ zeA6mvPkDY!_kED9W@7ikm_~H=!K!n21Ei;1U+Ai=XBEnWzFg3)L30Cyl-OKj9%R7k zPGWB{9^Px}IN7mK?C(%}c#$3vxD_YXn9c^zhCZu>)BJLg`6=&8v0W6Z!3hC*F{8J2 zyB*o2PWxJqmUr!k#NbK?5O~=p4_odReKj+e;4vl^OWsWI zdM6EpQmTjGSKMG& zHnHy=lvWh2WR_A{L?tsib*aZ{07 z%Gere;jfmAbTczP@xk&T_6aE)n6(Y7@2LguXEFZp=BBQ6)YHkoDySrq8DnW1t^rK< zF^tjJdt7&0>)rEbplGDT+}zA8%2Il{>UI)NXI?j#0MDebvHj?N&&c;QU0L{Uoh;-B zM4j=C1Ea%q0?TG8MY7t;#pc&7#;%Cp;a>z#(addQV;l*(KRV|#mgM-{{H5v8S6sgw zUQD*DS6TMf(wM^j-smkH%S2-uMnQ4!DeFu~BGH^%<`7&hq)Li|AtH~(&(uN2g{?gg z?bjVAJ{!WMT8M-3fm z4r;M1tTf(Dxv=csfuc$Qew}#-C5MHVNf>MvGRNZtTF_@Rr@>ZoRh%ZrW(4e3Ppq2< z?{eZoZF!jGW$zZXp5=CfUmoNO#uMIQ(uW1NG%D;(SJ5TeB|2 z9g2foHrZ1OBSaX}2qJCZx5o@s<42*$YE6QDzQi8>GA@nKOcTx`>5?uCIg8Oc)(%sI zre^4cX}fhJWYu!jy0gWj+}A{8WbM#$WpCtjn59E*;`WGFA|^q`eX9T98Y?HW2b>SW z{x6vt`$WFi6qbktZ_8IvBas$aJo}25lf7Ht#sLT$)@odu3P2l>)@2ij?vAFKIX%EE zb?|x`^4;#TKltdwHbRxWP2OqJ;nP}has&o6Km}Nb5zP2yHO|>xTl9+@Qp1J2RYnXc zq^tS}R`1D5`mnR~Kq2iIm*2#BbtZ>d-H(&ZTW!Q@MOYsUG z8TWw`5oSxcdwU=Na%AJ)ZX^dqe#DFLZnwLH>@~6EB+aHm)LJR>Y9Uj`CYaJC>9}Oj`=lb|55p z#yW~nt%r;tD>stVa(qgMcYwX}h6vE_G`lIM-{>@Y?KWi5@{@P|3x*jvbdIl>ES4gEmtbLM-CWpF@RRkw zmS|76tXpHVpY?NUxKL_lObG_v$qdR>vFxBh7ejWB7r_p@{VS#A*U+5tTOfTa%#pca z8b#W;I~pOmo*#Y{ndxMTH>tzN@Phc87nJg_4HH{`!jGxi9y$IluN>~;ja z)&k$M9N%mR3eVO-Ukov}!0=9({MSO|OK$p>79Hm+eu^h<+P1l`7{c4WY*Wf=j)CM?XQhx>n9#rJ(Z%O7%$<$dOQHYs6o)J>Zk3>9V- z`9>8(@hkYa@JwPYzL}?5K&lJcrF?tBxwWs*tK+c_f5i z6KI$Tnd~05xl4bUKcSWw-R5}hD_YX1R(oFQ&c;-UQBKw*% z@e31#9!5eF|6ID=i!+}m5O|l4{ucPMM?6%E{KTZ*=dy$|wKH*caWXZu{XbP|Zy6Y5 z>ZA-9C&0|l5BL8X9_yF9unu@j$=~iXd>M1mW?ol~-iT9t8H&~}v36q(CSwggqb)w8 zDYR=Tw67qzxbRrGc(}&65-|UQNp#v9(G7@j8-isemQ6TlGcS&AP*9vn>lXh=g&2Xx zJbmW;4hu=#8dtNmo%()!C*1nH`u=(cfJI>}B9%ZpVOFa%8|&-Uf{jNUVO(8CuNwPb zDQOD6b|k_c*bl9Cxp+A#F;pBx2d{JwaWM$jxuII%GnsiQF|sGHf2D=nL_cF*!T95#ej~A+7pbHho zk}wC4pOx+%RtxfZV%KveXLn5T%BBN1|B)HX+uqCSJ75i30W2SZF#bLKM%ZvHCiUx4 zpfzdv8(Gp)n4*K!(>QCv%lkX$5 z$N5?5zF}VIf3N*-&GSz3PyW3Yw!dBf+ji=6g`z5R564GF0J)H!1*|N)UW(V^AU@9h zm*t7*R3nWP#LKz=eG(KE?)^G@Pr$Gj)!J=8Z?t{Glt9||vO>!d0R6}bc2AOs1ETO= z7QzF(F|1fd9UR<3JJ6}9fOy(sQPZ-t$nyUWeaVxb{Vt+u0-{}n+c6`)3OM=W(jY(o zhJ04`y#JKayX4<~J09!+bNc|kuD(0;xElcQJIt_7{TFFMrBVIslikP=t>7m?TaYS% z_0KO%BSny<0yYc2^+30RK|;mGMi|(Ael)Qu3;bxL!Y#u5wY9a0C>E`=+Q6Un)NB4W z)izrNj=$;kqhbrgW}St<$h>|`89>$y;ND_?z=f2PpOK#toH0+$PhcD*K14l06U!|! za1(n;Jp`;$+o9}`e^tELM#whEIEmZ=vSaV_+^1y^{G;|`I3}%=6Xry{v@7F02NVZ8 zNxj7yg>Blm1$&~V<;*p_H9m5l?W7vax_1s^wW@Hc-B!J4p3P!>W&BE$!~b2s|E2HR zJF-90e8tAaabM}LhdMc$)YgBZ?$#@h&c6#@>%Yam00~Yqt6?A}x0s$7M-q9!<&WF% z{s|IH;`EhWFn8BqsHq6uQLkDV5Kr_BBt|wn#u|#ekC$gC^3cvoXQFh{xOFt z5$b@P{`lZned2t>u6gLe={z~))bBT!B|-j%!g!)c)xqIv?&Tl}oU$h1B=BIRqT8KFDphfXHlByK^A*osGa z;Psu@tw6?Efe!DL;W=|9=lgl=l?DE5RqRcqAK6W$OW&bOfIyo%i#I|}iD((x3ksGL zlNFo9Ti}Nq6xIZTd8lT$}c)dKTc`z_{f_I1VOZRLND^*4-IU7X>4?=Yk{evfe zYrULpyF62>Ug&pn9V^kr2waG!H{`LS$SU&SF#cO0&Er1caeo1Qg5X~ck#>=#b!D^< zI4TvUkt{VN?e&|Dl`QW z;s56a)j4CRBnGv9b!fI@D`IG@V6ARNj?(BpiP?*dESVe?M16cK+pZphZ%k0ue7L3N)Oxa+ zWQ(NNdVcI|$oQGn4!^2uccnT;#dCi9k)|zWyMCJPa#|fE453KSffPa$ZU6!WK-K(x z1n~x0#nr?$#YGwTjdb@JXk7Dp4wcc9>dwYP)3-|HfmD3xxv3EUxNMAFy?nz{0?_J+)tiafCq< zK9xy|QCU(fzrN~mgm1&c$4_7msHT??E)X*rvrBk5SLK6#JCo1N|75u*1o*m0w3G;L z#{y>V)}C*}K=?RwXTS;>6F#|H6Yk&rEiHxGfQxMff+xmX5Qo*Z3u&xEdLIoP64c~$ zy=4oWY-qc~47vpYnuP1^E#A>g7<*(O-U(J>4OWlL z+}e`b+!}9^Ojr={JnK{v0qR1RKl_NAJcX_HUxii@yR~kZ$WF#4r{`1>gA#HBdznLF z!FdiixVbwAC#swIq~i7WVvN=PLCaQa%R}|$wVTz<7W`&d01TT$Ey$QrY_e2)Qf5Dg z!Eh}#*&i>auhz+4<;*`oggUj^UxN}(e=Rx%YcYN!%=Y$#yQww&e1sZJfaCZkFVWd^ zJs@KIE9I@^CbqfL&Api8VUzv9l?BxNmyWG8dsD3eiKXZvcTfAy6vFafDC*YdMfW!0 zOkDQsA${{Rnu}x`<*o+u##$29xk>Exmv#DhVrUmd!BlWaI4v0fne42ArHT<)Ld*X3 z02i!VqkqJlzO)o!EcIL5=rU(f!+gc1vC?8z+)#GnqZ;H=d;N^3@JohfPEN z{*|?QcCO66V(os(r?pxx5%&d1?LGS;R4q7*Hitd??EQM~)ax(zn!g;!*@{O7{d9^4 zm=I^rc}N`f;{D5jaz~MzhWKVX*YUHnl28hx7)3v$P=k_U#8Tz!Yw1_{qBZpd?q=&m&FML8_=JY!8$cYm|HJyP2XFAAJ7T*S-xYa}d-{&mOymVw~SzTje zzmGulQR###(AHjDEmNht^T_Ap?yHUaotw^3;+^7dvQ4T-2dTviqUFMH)8UL7F!q+4 z^e^o875w?}VY}7+d%Fb6m$$9hdtXIVJVXt5vjoe_#cFR(wiG!^<+7SzG{X=p{$+m!$Oj(x!|dDgi|czVofdAIxoejP z%N?r6Ei3s{e)6PRoPd_^$VXjKyWe%uJcKW090sw25sr!anDloZlT6fvTxFH!?oXE^ z?L7iSe*=aQ$%9wS#hK#wuKh5vLb#0?RubQuS77!vsc+Z>Lma87o4914 zcr0N4{a_1tvqHql3=#gS1>vWhL?Jy4DK;X)VjE^MtLce6;$K| z)LpgIfoqIngZ}#3!fb~rq${tgy2+jS;2pnx^S_t9igKPuzF6%la)HChN=4d#!8lH} zt|*4YW;$fC7YW?z9Y1{+cGJ}bkuL328q>-sZ2p1e#Pseg40@p>q28nXwx@K)k{H!i77MYT zrn;m_5?BzAR~Ufr5czzV2}hQ{e3x;5=6ffZe-f~8xw+c8vq@Q z#dMzA0(OakvQKxI>y((ScTw`E)V>a3_g^=_jxzkGRL3$8CC+9o5 zqNll~mE0Odhx>Bq_$Uzk(Y1cv{op(B_;6Q~Q!-f_p&NfP457!sFK--JN)lC3_t|FD z&4ks6Gu-fKETmrSE9$Fz-**w!z?~t} z`1BVY9RU~RAL4#Xi3P1u)JPT3Up(^j$7pSKFqGQKQ!NYAsDKKvj5?BzHN z&7YRYaw^A4l_4=TGd>j4hxP@Au6Vb1Gr!bEF9e5YY5&uyD;do9W*VJrh#jX3`uIG? zxc3b$?+A3szElF03*NvuGg*FT7guLwbsd;+fc&rWDX7)Bw8vin0oD6lSC3>s3q z-KI|%r~JcAsE;Z{QqH;Z(5@5i8Rwj=KrLNNRFds(U$?YLtzJfdU;(9cBYc>uy++k_;R-JjoD3dm4?qxOzrlsy zO=_-(D+e|N@=rsi%c%}vK_;RW(kDf98$78GsO%f6wq=@46^{qF-Z8f(_-WfAt%4;sDE7g=a=OvmRW0c+|VM2YkDMu$=D|O{O_;U#0bjw&SEmD)wiP6rb z+x}%}k3sj*JYn6oF7#HE~45@weOYj2@kam}iYndII_R)!QZKLnAU%^D|PcO>k~MYZixW~KX8 zQ(b{QlT(mDJ^~p)@~AjG9`L1yoGr!5HiV~VpLV*&i|cT6sV29vq_`owz@};)07j=! z2kLfehlYHCW2A5Q6`6^)DSj78hjQCxZq*6zwBcUFJ^j-;Vmn_XX>nGw(bnb|KSF_1 z5fhGz`lGvRU^j1w2=)7LUZQCcm)r5{!*;7v%q==L+I|NReLxHP+}-#EZs%B)rF=P9DC24xF=c~rYxotKlFMs+li2wbUT6kh3?HN2!Y`6dRxZ%de;Ebop$j#z>mXx46 z;?X`8%F*h{5hH{(S9PnYOjq7AImn)w1$|y@p!-A7GD*1Ff-J$%&|QnOn1vq3wXsuG z!~LT@B6q8m3?pk9b^!C?Nm|8o`35wwKecM2olzHyJys*)BMJx^~l%`?cZfi-Wtb2$lA_hZSwSPQPwb` zTd;UbMTptoVOLXabuFUKWUfp^r*E7;yn@EI5|ZQyaz#^9=$Kbe14WnIUHm10-rSyu zT{yd>Yy*+GdG^O$gt(nQ#i<6%rSYLMr)~o%?dNyUErC%rY94(Nr*jn|q#?xlv|XIs zuQ`fUF#l&CB!+Sg;dCgI?Uai^oIyX1&qyg5m$Wmw#B`w5{tPUhuq~lA5*>eN|J*x z%)KAoFtNazI5uV#(%*q~K{Kx7ytJ(5lcRh^WVW}9`Rn8ec->|ao{^R%7n~xX&cI&{ z;ZB4zsSGJ(8+Fk-I^#tT7_N5D5kS7HFix0vE3m}F-(qU8UU{ll?2of9+wjL>(A*ea zYsTmOnJN&4@{of97XQHxGjq(Pa1sl9n$`A?9Z@j6S^6E2P*gL`! zK(8JZ5wq>}wHcuSvdq-!d?X9pTygUE`1(MMVvB2b@5NCeMciYaCWn(k%J2%=@)-mt&Se=S$**SqpZ@pA2{pU z&~<2wkE+ngj?1M zlN1bFEyW($l1XJ?&?Flsw28ijj$h4g@-nppC_v26g;wKa5%19{Q>G_Fi@D#Gxd@LGAXM(wQe-bhGnL- zRO=v^gyktl!q7g(rb7x2aVzZ#Kfd1BzBz4i8xXs~$Xs|)>+8s;O!b*FK*V9e zG-GW3tFh1;bq0iQNbnov;Uv7v!Ea^s-{zVO_S23fBNf>r*$ZxZuJ52>qU6~S=!dCy z--82X<20rdUvkvQ31aw2M{4ZI5wSM8X1IGQ%>3r7J0_GZ$$pINUlpYi8XC3=Jve(U z{zW&D8em~HX6+~aJ;-efgU~`o)R9Ri#bi}z^KVXbE4kG11)j4YIh0L=CJpC)-KQ~~ zywpSgH$;a%{cLa;{aU&6`VHt%a9bMb3Ex|YZ8?nF$sbW;i86R5AMExr>gY19Lyf!R z6myAfe+Z17kYN?AP7R({FJtC1AyE88`a#&mc!Ap?1dhINw^$TU_NJduU#j}JppkdC z_D?H8-sRk@LJ%o$j|Ovb&|d>_(9BVl2dB>Ziq71&NBTBd;Vr!;7?M)1h{Gg8A$s%+ zG@jky-=v9qw7m97mIswus$Rvy6W_Oa)!Vyet)O<{31wUU@AA1-EO?VRp@ZA<`W79w zses>72HU5Q-ub{g9?sXpm@9>sQtQPUPlDvnc9b$&!S3-f?!-o4i+-1b8z5XulsM{e zGKzuUuqnKFN~vct;<=;w;}bOXl1H`IK^q(s#0jPAL$f0LLh?wQ@LsO3mJ_7+sQ!ok z%RtXu#ozS|Hag!y#L9lleuCmD1+H?Bf55>Qbms3T3)h7NKIJfzK{wo)4V@J%Ixcz# z4hP3%WpiRQVPABId=5tu0%dx-7fSUb-bGJMEYNXPdGmV*C4%l#_~WFC3NlCy9C5R# zt&JO2E;=v`RgiP}EWzvtmJX=epp+ufB;8HQeA^zV?(Lb>`j@~Z&DZ~;B{^#|PC%Rx zlJOaA@_|?1?{NWhzksj>Vj&n=%I5iu-&^X`h1xN=0eA84FM0ZMNvU2!I`7}#&sJMn zrbng3jhd><+@z|ivt3&^2hVJES7qo*Vr*?{mI`I)1{F{5erEI}g-(T@=S9(qnlBfa zTuMy=KG>vxetS3GRR6S0^sscUkp+mb*Hf(*7;BM^*NG1V^~airPjF9+YUqU6eXyRg zl`U{|q3y3kj4kl+{oB+0mkPmnlYh7lY*At53Kq_u2W&8KVx_YL0a08p^d8qBynN9$$iJcomAxVKCIXh>JQ{GMP`cuO+#pX^ge>#7-GKx( z@i_k(dqV7Q1~W)>!_}bxc>)Es7s<1V6C5s^B@8{+%d@GS#YO8`GpZf8eEQ}rT>CL3 z!0?!WKP1suhGzOLz#hmkTB9S3Fo(@mT`l_PU<+<**ayZ`Y9q+*Pr1v(AjM9J8=L^U z2BA}Gy5PV^%mcQfZPMEJD7TjF;H&mTs{_!!*E@(w1|_fkH%Ts6)=cnfA-C%~TZxtL z-#;$Ic`*Jjk=)vE4h9bjwCW-G3WQR$gCN{}D`bZ~k}9~<(bnK~ewH0Tl?enZY_0v4 zemC2B)Z+y|?~PD6eAv6FH$7uwMflXivKQd(mfJmc&H3Puy@gJ^( zztm?N%OJ{XZ;bzSLmwpNI>JhX6Zt^@0RwGC>2$)J`;}V=${SPA2CfB5MU*Io4l%=J zN0YwF!#p3w)X=M+M-;vV2`@tDDEChW%vu)H3}$}+-g~Zm;>3d>d#DpR%>CF;Z9O_s zBIYYnW}xD6^haD6P&U&|zU*u-sEa7i!izf06(q|vZ89{j9C$X8+DX0^)H`Ex< z(9Z%t!-Yl>)BXeN%!8go+(-MwJK2ZxnfjKW7x2FgyL;`9-#`|f%qQAgu?T(P#YsL{ zz6G#;W{=8?Bw+W#b0yv8?v5R(g$rKs)}ul?V3`Ix#t64l=jw=p_GFLty*zDtgE7nq z?#v`0GZfmLSd+?>MMe{G>_T*~wp(UR94e%GSb>qG##@0w0HDY}+R^!g!oHWfptdze z$t=*Fe#{F>LpG35+~xm_EI^YgRBJ-T7o0fhcuu%Er`ee(_yt$kHoFmPHYel~d_C3O zKcMX3detbHV+@|PN{;Gv*HIj48aGMoB zsTJ~4K2_ST^(h|EsfR!9kHl0>uCQFfufSYlJ9B(=JyenV-}*+HpBRYwM)Ly&!Z@Ly zz2RzB%dyadj#Z{qwe7>8fnEntkgF4l+aDIPSY**$>DNI7^sSNCWZR-kFxb2~BD}wg zD4Rvp3pqZ_yu2OmP`yu<$H>JlqiWxJniyXXPLtR3oKFi01&*wFj>KS&{Ze>BwZo%6 ze5gqzhxlxyYFC!ZU?b7Vy-=IlrcE5RM&Ik&P`+EAtz1BP9RHNk0?AGaRtPB;^zewn zaa7Or9Y|ZjNrLI9l+u3->gsG3Eh;&1Y(d+Hf8J%lKl1CrZEtFeu-(!s?2gAx$1`S8 z1e+9MqnsFJS)r`H?Y{{9_Pw?tXChb#^D;}+(Vi`k5@}zK7v0M1`m#7e<)AYeaMsqg z>ppbwu5jHA#YHUy2deKmHse?MM;FcmRtAUU6VQp`U0BoS$rGu>$c;g$l9ZT~pfrq_ z#!2Kk6Cdhyq@@eC+_FdKltXx?py^(eC;STo&1E1FPs;3*Ljuy1l++2dau$ z?i(z03x!_>;47Ea&dk`?4(b-qJt@wQ7*izSquroJ%0Xf$uYl(-r$0_b4$;wy@X6)@ zq{dYLBxS3{!TY3DpTyyOb|%p&sO40^389Ah7`lh3Wvq$^LGfbVZeDGg40Q}b;!StH z)C`DJ&>sROfrIu|Sp0u?=1WXqB!CGD>AkDhXp0=3%DC% zyf#OS`E1|L;;OS;&PC^>TL+DtF^cb#+cosfSp&|wikc=;OFxtjw)#?00g~U^!u%n_>>kY%jA(L59VlTf z4%p;q2GG%HOM(1XGd- zC$tCW0H4_FmW+?8HMASEV>q&H>4R-Di})bqfH|ulHi3G!3N)eAny(*=N|E~o7n1@iEn8vbCwRG!HK_AmW zy)5Hs8iNk#ay(2OZgH|Rjz?PUDO&t}CpvgvOKU6vhN+d{M9l7>78+nUwEs}SJgNJ% zAo--Z;CO#%&scayVujKkaJR#u`3dc{R-mQnaGept?3%3Tw!S~x^)|Q9G4`If)U$6# z0^ddDjOFe50gDC-RQd1Pn6<;XIH$eb?{ZJ~-tL5B{1e{MoG1S%L^4yj8I%S4scw^C zAO7`ZUQ01-cbXfKV=FiZESlJ_wt1^x2P+=t7T9ZNzwC*JY8TK?&*R9*(CTk6I*Jx1 zvZu|{)=}TQL)=&k#=6=`uc@NS2n|Q!0VpD~@U+W*7dbD<&y#1*TkMRz&Id_-II2`E zm2JJfrh5+&IjbN0;z%>qzA4WyygBC}ap%nGO3^3vSlbcto)nPbc>duJw*@{c1S1fJ z=7d&0*?!%Z(2rwqvb=q#K`((BE!J%;N{I<|b!)98Yvv?~-{~keljN&#T}f@U0D-o! zr{G?5)GEw;|EDojJfvjqFwrqQ=toAKxp~DVN+rd+@By}Ji0t6u^C{J8>A%Bwhz*g0 zR;uP$f)5BzxUR><+;KclgQI`KZO*8Tz) z%XcET5V%52TE^@HD$&;N2Sz2Hv=#GvYUUKUpBIFwDlvVylfE7>Z}U(rhxI|UrZN|# z{21wer0$O!|69qPu)MMCw?g(H;ZOUSHBwwT@iuj3)jX~{M%tCkkxCCV0=H*T%$5qo zt~QrsM{rona)f+;R!ZCr9v7h%E-_T$7E@ANPip^}K1tY979Cp&@f2bz!PpZdR1R><^&T?bQZa2NJg$>EBJ;WaHlO`ag=GM1!y z9Ik&9Ydy3CHaU-ztaT^IGTye;&qADDAXH^(U zlE(g*=Amf=&t>XMc>xZu2)v0du@e|A@I|+`Lu9phrb&~B4S)LrJ42bEwc3hTX` z(`n)A4KJM1VZ@vAhu}Ccv~K76f8mFd;l+`JcoQ(sUa1sfyU`Q^2x|KNKh z_ZaBY<1Sit)E|7GsET^(?JZ4D>}J4p?mAi)6h9|Iq@yvj8c8@zotK8ZBySE9spr50 z6j9d8e^$N4>e)&3vt6YexwiOx)Nh{Sb_G}8__4Yps2ziETh@);TMuFFGw+PEfduZA z2ZjA<3FlSdsJ_Ve2&$K7eCe$;3vSEJX4d zr}$9t!t!1^A9e6~AMfsQ+!70OV*;z^at@6KQN~!etd_{muPon8PMzBin)(@G=qnvw zDM_fi*l>Z%&B(n*c89xovJ#wg6G*-7#c_9k}RrokF6l-F>l|fnAOFNUTC>j~_8Uzts4{i~qdNR!~AYB&WUNSt3&^ zz@RMxQlr%Rm%tMjDFj4SGZOVlsMc#HT=kOiU5}a+PUW1pPTE>T?p?&6f6+mG`_~S?1Q*Mbk?n0IW1iPN2T&fE?dT8VuBFuG3+i|!?3@iVXY(Q z$L8W^)~tUoo|AP1@herdR55J*s~xdgqno`t|9EC<=G)9}$JX z(Tt=L%V(03RjBXUDvNMMlD=_#@pQLVo&7>CA2Ls-=|N2?Q&pmBY%DIH=rpwi8LhVl zHp#`gRVW@SyPEWD$uO*|{&Y}ZwJzP(bvRpC6&x-u@%7Kn4z)GXAzxn4@l}`ay5bgv z>O++?Wp08n#PojuNt5shO?m4tf7{aYp0{6OB}L`qUgr}DBlpIM)nA%BXmQvj0G^)| zy|wj6MO4p?uRgXPKz0-tn;q?6;=n`!&=1=UlNd`_Y@x(Jk?EQby7ywW3M^3#+oS;h zWxdrpN9t>GTnZFB693u zjr6m1@{T#e3@kP0{0bcQ#nxi_u<%L|Y5vT#Wj7ahsA$=e!jvK+o4VyTg&Gwz7z z_&;%(^xr5AepEE|4CxnuXyKG$O|v(7w;vasp=6k7@r&2o=_z!?`4mRyh>fAG^$J^E zhfCs2qM*sprOpy{UJ%Uf0FtSNQ=0cPF+p;Lp z0?xx7w69yWqNCm}UaX9qT8IW@NG168!f9y~G2``m?}Q7@zG@{v85;%hH^*(|2Zf8k zXdjZwV)c0$dpq{V^N)+zKMuP!3O>+Tp)v>V{ut>)l~#==LF%(_B6Pn}VW8LBBQQV` zxkJC1KZG*sYcMjYVQ$qFg{oo{IjV^)A)8YRXo_%~%%V#*YhFsypDsa?LD?|wkQDIQ z7p%{fOL=gU(95p?#6hT#0rv>r?NRH*Dq**DCG@7Ap9nzs@;9OC7s{T1$___-YXJQ% z-drGNjqvn9s!hRxlyH^!5vCiS3j!@t1Yv`@QGy*H%R9vWK2<@=*W1UVW9QV@>u&W6 z%X-V5l5_R1Yuu#+g6WIB=ykx#0yqZ4cXfW!TGxnrVu3S&>WQ&uU+tlV8F!8=I{c+o z-9)~OZgE;xeVuLDBG#-STv49|Zv6f~guP>oU`^PqJ#E`Ir)}G|ZQI)2)3$9})3$9J zGwtqa+vhpoNxtMge@=2|SN+-9NhOuqS*zA{KZz^at}BNr$dB{oj-AcVIB1?8eS*e>Fn61wpg1a79Vg0AECtX z7M6Fm1uS5&?KoVgQJ%PhTSj}`zR?}mc7z6CojJdKe+|%p1G{pt@Z6O6E+e8?YF88D znI+~@fA(~+SP1I5c1cU=B=nV3)z_rI_1$|gw|Z)I71%5cSs>Xpl4bs^W*R?A%$FGy zVNyi@CvC&?$rL5=5$+ChzMy`HItG#-rkP1L(CCqvO5^k$DY}m@vun8WoT(36c0q*O zfIuz5AWB%T0pMNQO6L{_IP7CneD5_KijHotof7`nNBq^OdWhd!C{>d^!FyyiA2Sj$ zt)`nigUD#bgI*+ZB^5X{rlm*uh|(A?a-BS;?h3L6t5;F6|D3Ky_dE_E~^^TK|9<9`LU&MHi162hO1h_GL=X$$3zyy1wY~zlBJX zjVfc|pmLV^LiIItKCMAbrR_~+i;a0{l4YbOHxga2ZKSdntgL%{5)gB>da4w51bQvI z)zyRMLge)3&Y(K|!sBwKq|cui2(p;oEG#^EVlb=HoPDz#04s*?mU2Rmapez%JQMLd z_|PtS;1A@q3cF0|>N!(QtLDAom?KW-5jflOh7FRN?fxCv_i3x5t6T14)AM`nc89B8 z=*(NAWZ}!leV`?7QT3Ye5}2PG1*B%fj#=e;Bx>VS|A{AsUn)in{qLS~X zr7t@E#^vUX;->1zdt^kHZWdS=bm8+@oU($MjV?dhkR&wSrp+?#d6CZ7bm?N`MQ*_p zNRLOKpp8Ip^V2HHK*AtvT!u7Mh9}Bg%uEkYR{8uVrJG`W2$`E*TNV&f88z-iOJwv0 zs7Lt)X3}LoCd-m33~dLb516U)!siYlmN|Rs#R#^wKn}k&aj_A_-U$`%d>A^)qATTL ze&uB|nyP`ZH_8>jx{(`F4*YhUPN#4(@gp-#E2=L#xiiQ4eGp%y&>WJs;GE(8W2P9Q z8B_x+^gRHaqF@=WM|M5{dPdkDT7?Q05UwQ9K@=9y$#IWW$`1BJT;+ki{$z5&wy5tn zmD~z_0y~viMxt+GdjGKrl_3%s{XKO@+0PDIi6s-Nec}2G&%(a7%6}-rx$qO0nz3*Q zRPw^>ACm)w#dJ|0nud0uayUe9kB}$01V=wwaK<8{mp21m$Rdgtl@UVkc6NG_trjoj zHFV8Pde^=`^r`{M4J5=QBAnVZ%%irKAwr5i{jvuPpnv^g$W4hd*#k58`SIP-24gf3 zMVt5nz>pT?$H$kBhc3>qLcE88jCpun3;80K5tb5Se0}r77c(1%w}I!aA-@qh{h4L{ z-&!$x`dt7h1{fzROS*Fv2tL5c#LE0X;}O!6GJFeCxIMxCoDk;fx&1=6i`7zs5u$n&>K7bNltWJT@Bq%j)CA2oO;a2 zs7!V_3G!@BhVIX&*s=-!j(cBPW#{Ui?(WZ?E1G+NvMX^6a+S~;8E%Wigqw%8jhlA} zB@2^J2|$hBV^{BhPO^=#)@6w_gOB5Dcn1Z&LGJXK`I>1exvvK?$2q9Y0^C&jJL-KM zNr(J}LUGC25aeuHYpg!9Zhxk?n)qZQj!c6C$@@`v`Hnc zq2me&vjzD=`|(8d-v*3z?N>*$Ua;cMyfG>wGUVtgDf>Pl4p#d2 zf78Cc=-V+e_t0ngN_sr-$s91Z zW@;*ZV6prqUmWbf$=)~to8K&C7p@L33rzc4k5>RuIMRTEAOu%$j`j_%t(9Y0xDy5B zEDNNR<%QmpHq$kiD`%~eQia*_rT0nsM|Md9sI!hDyz%E1FkgOnIWyF9Gle$iTNOz> z@)kc*l|6}J+}XYaD!D|sH;ldA`0t*ZZ(FDfG_nb zs5fcy;%|_%O1#3B#<{6+-WP4Nfp6d!s28Wo05AMX5cmW7pc*ggf547@??dtLV9;)} ziOk(Fl?pYPQnjx#xJFM3nv}_Jje+{(y>2sPzjs4FOAv9Hq@SrOH2;tKz7BoURFmxk zzig{W>%`mCuSkOzEiP0aLIIjALEe~1_j;MgKzv(Ck!*zMt>EPgsu!r{$sRr}QnhVc zduhf`Ua9_#BPliyps`-$3BCG#rHemSeyC3EeZ5`-Uz2l&5_taQX7(Vk7w#|Qy+{DAV0d~Z@gw3n{Nv9}k@8c#GoXHn5w6*fAjGG7 zUsr_u0Y);E6S|MINDNUq{?ub3xhUEs-Al?Z`K20FCMgj=Ehp`xd0N}UeM56H0OV1m zPzG(0;tc1kesbj~_ee4AyK+!(!O&TA5Vgnr{@8FJ+E3a&&dAV>LEVeM|Ydx>^c!hfbGEz-`dX3jF5_g}1N zZ{|Y9)}^yJ7>eWe&XS3nmk((Dh3e(kbOHI6WJ}02rf5(2S1rQ^%GHjt2gakk^yU!) ztxJAdiT@RLa0qn*5KCAT5ICt!Q6vRSt63w6KawmpND`o;&0&W5>GJGgg961mwOJ0;*{ZLsn zkrItTt3lW|xI^I4De>HDVZT}n$bXYFzT0KC7-)=AQywvRZhVS9z0QX5I8GC_a^ZQL z&Ox9BFP2ui8Fup|#5N*)6$S6tZ{4gR^a`E_h?VpqD%`&as)sdKfR7w4Hf+hyxl zt7h}orq6FPPIxznTnl%IN+DT~TUe2+!}_tu0s`3m*p+ZI8G0y!c`Ix^K+u_uP>^R~ zqfDj6-Qb$*>Gbv>U*|UzAJx_F?sp-Yf!7wiqi%a!riB+C8})!qf|T8{!GRFGkD^}% z@V-OE2lBpH9!CT`WCSajPhX2F7J4Qc_AnDuWAbx0njAEb7C4{E59}_Gm4!{xdLx)J zL3Y=|@pvgl2ZSSVNw-S_6m&N9m>+d*SfknZjs=V$-7bM`60&tm-1t0JCdEtUOzk-m z9stv~fgR)|NSF>r@!VRU7l!{sEmD6csDBA{hI3J@S?>l6quirT>=1kKJ6YnV=*DN` ziyxrKv$M0L#F)#~)c&%+zAhRajU-P#x9xm#w&c0%9A;z}KEw^2^F|0$r$vC^YngBm zqmk!D(Nsmw{<~@j%axai-CajHvq8`$Gq8_Hg1CrfM{OeO{VIt)K#Af=T=e$IPI@6LUMqJY%X=z!86!#!_cM+&fcLVD?%Mp(Rxum~~=vmv; z>)2g?F{*C}kDCI-gND6**uIb&Mbt~7o<_TD+R38(h;tdQTDiC6`1pHFmpMARczRiS zWXycg?@IZDd@?(FD(z*pLcL3r5(E^p?^>VR*qudlcZnd_^O1=92knY+*SfTc>CvkQzp(dw7U!E*$lb&JTu2wtZ+r=vytD$MvBT6aRkX3Qr(mX|HQoQL z)COZFcQj5c9b=!zjH$C*_JW zR!%~W3MT;i%vZL?1Np#r`h=Dsqmzf)OcM&5g9IwLJAGw=Mu}j8OQ@{r+NMj<;H~XH zyERH%IGJ4NTRUk|oGV?MRh9IMyGz#_E<=8z)#c1d9rsT*_k}z9P}wS?2SeK7Z*`tv zYY6>5gzag+)YLhuwd`cImml`}J|sk---7z?aNPlSx;O5jJLH-q;u=_ZwR0{weJ!lY z)Fa`PxKudH2aQ_7TcVsD)rZ-U?c83sHo#|V`D3-L7VUah`(#n9$2~SvNf-E*t6(6D zMHm~pG;Z-Oq2R*KKC{1O-lW_t!@Bu=liOCaoEuKQ>=@a7)5_Q6)mrP0m10Wki}(g_ z&IA%1&A(J|SpXV`$XYrhZiqT^b>gdZ_gWqG4n7Rrb1a)qv@XOk4^J~hHr%b_*hCGS zmQsOTCBr(`N_Cwe8o#j}p6lL@tC6%i-n!H8{zMKwT;@GDKNqtGJZkJ8Q}_ClKhnZ! z?hI_-+HO56=5KN#f>XA-OtPraA*)}&FoCpQXpO{Jy8bSo6^*)IdI3%2cA#dmUkD%C z9*DU=URAmVa1gh2wqC_d!v%KtBdab8BhS+KEB%YzRCEh~vNHc{-d&UWwoLg%k3Auu zn}qw*XN_9A_iUqcI;#wnW=QezN%=|>+EqcF{iuqtDblcxKoA~CICwVk8W!x7Zy@ng zykmlRs%MZ57W`@(Z}zuG*sHi}ssiaMb@wO}d%It`^uc2o#pE3sl#Ln+V=LeB+~(ya z3F`e1VEM;>EePJ3eq&qB?Qf?+Q&U1XBCU1wDv>dorZ6&0oI0;(-ZpZUp^k3zl3H8K zvFX{m)LlzuP#3uu@BaCeev(LKgi#=7*T#2aNFcuSYjsDdcYp~9L2gON49 zU$x&CPZ5!%B?w)DSCo-vbia~OY7TT^mQSOC;6;Da#lS(-^$!6b2O9~B|0y;-F+|^p zG5<^jWXYd($e)KIMxL>ewjdi2vWJeRxr5}OEl7MtkiKr?jjKb2KEaeeGLYy#;1Y?D zEytzb?}_cNj~6KqUE-!h01>tp+>(IzMgE@8XF^@R95?F=vTHuC2mi1V9upL!Aff9> z2K4B!Iw-Lss2`kCmrd}h2}=MdVFsRrGB~`R~tdm+5dcCNl+n(D-ha@*b1c@BijCx!n~70;Eap)$r2uhU!BnYURy1HR~mbNC6LMK3qw+f;pe?q(brN(emkFm zbW82iBf+&{Dq{5%(1~zH660c{hnzrh$6hQdEh`)hr&4vx_+7DDedV7PF4+gQkD;BC zA%pQV?=q1nE-RF7N-WL+0>J|IuzY+tvuTkq#xNW-cpDS7!sP&_w)@gg<`fYxR zOU{F1aDi(&Az1g8h#d$&SF2V}ZUwk{VX$;vsMac$?wVerfsbZ>xt8Oini}eHRKsGz z(tsC^qFqzCavoks?F?T)ajvq1?BF0;l9H;U!qd->;@tm6nB)AYM(tNF*w&~C>t%Z8tBGTCvx^A(;P(hEyK(}>!&U0j!HFYfzt z>ls8rVb*g?%TE^*`d4-j4y!s2~?5q0L*UQ%Vu`VwWzBjc`XVcgF zPrk5}gd6j zLI&3Ajso&$@o&T~f2N4+pV-pF7wlqbf}%I6010^lSnrL+i%B+dne~<#NLxZ)0?3uk zM(WPm1iMM342OuU7Af7GP5+PLDA53 zZT_S{bOjJ~`49Xum1bA9qBJEpJ8#~9IaspXVks+F-Y{#n0UNDPfDhwUT>kLN=xSNE=UB3wr_n*>LxOiRv=O9P{ZS(mcXo8j~*aeMH z4HXOZW*LguFwLLK9y>!h0s%N}DATl=fSzGMa%G}2XLcNo97X^!WrFV&%q(SauaW}C z8>ozv@WDz(eC)rMNg~(DI3US)PZy;1qAU(s{+VuX7Ew?stcsOVs)qI4{QD6*jkzUB%#~bEmn1p&1hkz+Bh1 zcwL)Ru>+&7>UlBCVeR4Mn;+=VTt594v0>EWt-f)#{d?_{VD-Iurl%IHxuDWGNvQ~2 zMntF-=XK-p^mnAa?I*JBmB|DG$I*?Qf4oFVx1oq#=OK)oG02j>pznTv7626S?+tw{dz($|XX(I>>>Y4Gb<8@64F-`U(DR$1V9XTGZ+;-~( z5BFH7d+PwCkN#XPyVVZKofdu8zo)9z2;6!{uU0GJarR|P>o zNwzR7+$$0qm|OR1y;R3I-eN!e6uCSaVj;f@!@QesP+P#hvP^qqd$T+{5Ip>B021D4 z^gFeo)yv2j#JT-8x}Qk&%ijosb2!0v2^=H+*>tJUHVxAP(=}eTXXlo%w0$tsT?|)M zUgW>u90B)>+n>SV7XJTnuQUjn_h&Cz4-S#?Bg{wh%PZLlv9WceZ@FlyR>*%_X4XIq zaSI6WXV@cdJ}TtDrs)o9094L>nqfu7OAM;D1K9SC*3d@^zgM#)yvsjHq z)$wS?i=|DpoVMqJ-o$Rt3dJZo6<@TxrcM=O77JIW ztFx}a&YXIMN>?qi))g1~Uw88TeG(fq$nWK~jgovmEw+%~3AN8f0AkI}37ZxSYw@EH z=QO6OawuCi)n?TymU?S_tz>M>QdW33!%lAIaJN`$F9~X6J3v$?G1=5RcfyqD$CY80 z*b#L8{)`$L2NyTlu5q?0+Bcsxpz*#er#5zS@Y=R46-2YPafr}5{dFu@?{+pubz%tV z{db}DDzSDhFrTVZ7*L7DHlm~IY;<5Wq7QJ`B&=xEvcax?1mS2cAPUcj@6>Q?Sy|nz zc{_Se@G63FIvQ<{i2v}#dfP2)So;x9eCa^=gf;w>5%(iLcC{W9xIj!o*dL1w`;I9A z?XGDBeJIlV(LYf+{-ze#!G@t!hZ}RzE=PQD-l>e$wCG~U4~VJyw$&vXT!p}YTu67x zGNAePpa9=%I|lVqN5B2p*heQ($Z+uagktYdZJ;@Duv`K%qm#5VrZn#pp$}IdavOMb zqjt@>e8=)v=en#8WP7I1?{!b(CqqVejkv0lu%Ui!g+=m&ob#iwuicKY;oG(&j$>Ce zc^A32s;}Ib0o#H{T|u=18uD7Wm0;+v5|?3Y4k8EAo&;Y#=(A0v8zwO{A)0Rds;ssF7*}w&vCj%$yE|_b!bO^uU)oW+fr2Pcf2X~M zg{Bx%PqZ=*LjL=bmJhbr;JQL&^!Mb3Q>)LAFZ-jF$x`G9oe>F6{$`#?1IB!`LNN74 z+!o%a9FV|mJcUE!wvEBf;Yi*(xUuwsCpv1T{1I^CF!>7}1b(j4domNtLu#LCl08?KO8tmw=;Q@L184d{Z8(bi%8)k#rZ&)pmxG{Xq7eg39&w_un#Yx^ynRQZQ#&99cnEI%GG4{ zRrWC3l@f)2`8N9GVorv5V7c@gWl| zCI?a(jH8?U6s}7ojSfD9wX5garsxoH?3fVhV_?M%b(5m2F0dvc+uHlBS(LKmmdOmu z9sMH75?pzwzoodlIj0Qz$4UNmh#dhY6!7Q|3hp?uS!5QsdjrV~lErfAx*c;>6~cP8 z9HlI%@utvq!a&i=p=ZJ~gEJG;vUtW*$eH)T)<*mt8g=*NMWTCydm=b)0mp4@O0l${ zUd9%vU*n$h)m)c0gIQHQ>ho$Bber?RlTNpsHTtBsUR6aK83t#hP8Fz7^vA3z955(U z(Vv06O*%_j;>c!g`lrCbbIeGZ^f@ES_!r@oqp^rPbsDKHJ%MZHbNPXFPquDc1vC^LL8z52EhDyJ#q#s zigECChQ9jWjRN=Dt>St%VQ?72(A9=6Mat#&KVPaY6!##Vsv0My$CU|S`>b%5W#zMa z9vhiwXRL6^*L!LH-@`AJUzg=&Cnxdv+lxoc8T|b6`u2q$+D9B`FQSr|M7Sq$mG*6N z*8(eRo;DV9m9@MI({s5uSpXZ4sF{zO8D&AL&BMfC-Cv}Rp2(Rey^bD(Q1hKI{Kxf8 zf?cBey+8E-{;A9k5<(w#0{xCgjQ>SDf9OZJ0#;VU`B?{J^QwV;u>S^+|Cz4>~&G3lqYpo?owJmT!0F3W=Fo8mIAf%H z=E$^^Ct13-9-Rz}%U%c+Ls+d0!&b#QkTAvJVdj=@LHLi=4{=c0Cl0eXs7;ZE2tk{p z=%IeT$8F|NZCRDzcI3QJNeg)zdsVEE#UU+iB$EJL{ zH{s##w@16N$%PdIAm;7piI`SbDXsbM$g3eNd8U7n|M|mQffh539377|+1Jqv%^JC8fsrW)#to4+ zBODOFrZgTajZ(~f_mfK)=b?OkZzNG*gERNsh`aqfcr)nNylrq|uoI!4 z_XV~uJJbnxpgRQq^I)>JmoH2f4npGr)V#n`rS}7(7XT?ybfboCga5IJIlmmh#ZlAU z_NGyA+7n9*WJl-WSX|==`$nHKO|8)~uy*%=Ur+ZhfzJkboik1K;8n!;C%ey^Bp_sh zaQ*Pl4wF#H#xp_#yneJ=R>;7b&rg!7$1un0t+k10(!8Tvr<1$i)uWP(A%G^7Hu z!8fQ&qy2ca;|2Y|7`qabe_*+19*ra-))})-U~upHU=HjXp#p5R{r~uRf?1#(-2W4C z#toySdy@J6y_-y^MNCo%2O=U8hz#lseFk!j{x_jRI0rPQy^%XM_IjBuy*>*R1K{i$ zaOYIm%HiD|-Z49$ptMewPv)?_Z{G8jqMI$r+nApH=a%)I{hYrC_?>+BJR?g$hZgBa zh_#fKUR4EMoU22Nf57+@Pv%gR{(=~A4`DN&&#SVQnpuCWIPnj0f@|*bk?1}cpwiG6 zir59YOo!@DK9Gw2W&8y-kBEo83vBKwGkqb76mf-!ltI3C_f%&Ac!;K)`;AB24B_>CHAsUuEReKk4I4?@zMfH{I93lTavaJmE@5BE;5q#0QoLQ*Q_Z! zy&$bBT%=sk4^Ska^b{GA7aOR{bkk1=FHg{tN{mqwKT-4coroF3y}xh_Wyv3*nd8BQ z#)d$D%8cInX-nsce}=%rLI0u*1r=tJ2D$qDNmYi$j!wqEn0Nwyv7usD`uH-^k9c_S zi!YDm*9$f`7%Q~fwHRO68xS$(2d0;sCC>ZlZ;?Uu=N*|gm?~DJSNFybc23@^dY|So zehl!J*Rq7oQ#HKCVxylyVS5!2-6K^_rq1&r$`#sUNrXzooUIOHxnv+TE1q^-{~7tW zy~8D-`5LZ&MiLlR174Fv6ooUP4I+Qx zNr%gg$Iy+({qCp2C`LV$@VA1FEsQ;-^8xJ<&!d=o_4~+8fX<-VfBdaP7{3wd^TQQg zzHa!T2S7RnY43hH|J&y`CY+iXRD`5M zMO;@(w=B1D>Yqm#W^%Jq1m2`>sx6X7nauFpg6lPby2q8iZb8Ci+sFP;mhkbrC4-{} zzGKE%)Lst#mh#O~o8ZoB0E!6@!y9=_LmlMyk7Pv_k1qNp5da&9zA|A+M1-2J^mKhq zy&z?>^wxXgcS|^rYVo7#$*$>7<5bTtSKYCZ(IkDeoza1sv!(QMkD1S$&zrXRes9kr z+mzVNU@^TPb_wV9K9%ZKn#h)x8^(TqnEAw=>yIzPbOIA~*${rL0fDE#+M)cExr)nY zd_?NTko4O7M}S<^z4!HCRg~e&DlItUscEVj932r7EVMaX7ge^b6g^QpLd|3G`ie0Z z)12_1_x^Ib$jf99GDoETB#P-I93=h1wqZ%La!kWfF#E+Kb)hTwFh-ExWNd0(9^WI8 zl8hlCHeFBr>^#rY`I)G;_Qqu_badpj6dX;h<5fkXzktv~S8mBkU~t!a)AjRlr3u3o zTi;5zosU)5`Q;I8hf3z|O~33exKAKq@%Y$)uzfs14l9MsYbjE5!6yu+Jk#svpO<1Y zWxCh9GjW&zv*(J=N@@A8!kSxs1%)=F(Rzqfy_$-(p$)t3pink@=#$ww*5IN?v!`6R zH?)6qVSvxYqK#=)*5%cb{jO=xYEBTD;@3UT-+yydj@@6I^9`Ij?hxfuq;jbj_%r44 z`0GvOAzKHk`%CKUWOzjH`sXkt zVi#A8qRZ$0?d`P~B0LmY9%E?4w$=SGwC?vR{BbQWzY&D?n*%6O9du4VHx7O#TgU~D z9Yrl0q-X=HmZD0fVJSl|iuiV~$6IrrzdSM_9jq}7U+mC^qSFh_T_Nu~AW;)n6Uq5s z2uWakLIgt1Ft`mDj_pGYM`()cEmcMVjVpLR6^sK6^CTI3#q&3B?fGf;d!~hEBM5Z- z`HWjFV>CjWnuR#CMpKC?o->WZZ8`*ts)RtL{IlGe9A5{8A$1Zs$O3I_t*v8j%Lob) zIVxPFWqsoq_yF68wN2%Hb(7Ctgt72ytA73?3iDyN-%IHaB*}j$;(*byzL$Q#^)^mupVN|qZkv)9X&BNY$ z{lj>|fn{Ct@9`%}Vhbx{UA%&Va_x6HDW(fs0|qo9*1Zat;wo^@nNYvY1vkFwaFQ)0)7CVsSX^=~}cis+Qc*H6_U z%+gZ)^K+LpGKI!k%9?xGRF<0P1sK=PUTP^GS2w->*e%*w%4PK$w|6PC&gc#9Kcn%B z`JHetgo2<({lIZmNar~@adMr47B&=qTd6(Em@DF{M(~Iv6@hFzggvj2XoZqEH#hTF zy4yHS-T{m*A=?Q0&;nLU-XdNXH9Hn9TSXh;b$6uw96x(pD8>hE*i`v>NP?+4LXuw>K`0?x0&*73R8-KBa z>lNYYmZ?@}TAM-4ZCSHm$R{L5u03%f84@{oKaKSgKcNJGr#l`adB9M_X(Fn-7^tZa@fQjvEV9l8c z#8g@UQA|X3!sxaOl^rxJ{4La(;EAfZ^DU!n441|-Yoj`InAP5#wOhEG)%@FEvz61p z&Aeq1=7J#fl3Urj#b4CF#aexAFR9$>W?vUYnps7(mv_fNH>Ibu1h6-CUmH+}=E?Ct zJF@EGDCT0Ymk-czkiHNbIo;O6%t74Ufq>~pX#ZKeujAeHCx){h9pm#L0ni^;J;FK+ z(PZPTz?GD(pzCT7YVrBgf=uimgTA<|>BZ{1|5JvV*pVpOZJ31LKTs=8k0zUBaS7YONlY7TkGkBLNL<-PaIqb$J16@5 zW2diVrG@N!@0U_%b9^`YtJN-+zfs7(ZPv1D*?v z5??B0$f%=s$C_^IbFhSkY=wN3TpT5>iR2|y(MM!m)~&=;9&k@#<1rx2%StS~2^+>i zAkiimxxFiSBY0fO*TXHdN@N;FE{7X6J}>&#i5Ta{Pq)-KsNAOPl0b1>L4_gtjcmNN zkUxmC6v(RIpDA_&BTFbOS7#Jvyb*5=^RG{$|D$Wt60?js$XUxI(|^Wa&LyVHQ`F%k zNTaE-#?~c$2w*ob*ZU~)YM|RiPgR;GM+Im$x3$}&lEQwTrbtMdc=!c{Nk=L;z6a=E zbOa|q(lE@71;ziu#4qe-lE6vv7JgGK=CA7$ev_em{7FLD9lJV`LB% zM)}y9XHs(OTGq`d_LqedVn~|{Yc=RrElH6kVFUJZHYPcG=082Qc1%NYGhdpNV>c$m zD5$W_&gCRoPonSs#0)L7oxK0mq|G6q>kDjH)YueqG0sI5tZThsyIV1LLgUz4A?@^6 zaXSqvhOsoWSAlNB-K|k1m4BSu|!=Qub2A< zY>@x{b;7*>BP5)~xcLsbTcuqMA-j84UzqC2 z-VmE@nQNL=7!+!LdfE9})Mbm^Y-a>hV_Igs--B)E3FCVB-KRiI(Ro&%T!HI9 zLCA1y7}#L7Fe@+$jeqR?ml%H4AWHF9Qn+>Ho|eft5~66(L2(i7fmEmr*2eF}%8L!W zgxD5f13iLlCVU%J`sRPG4|(1B5ZH!(=Krss1l~&?NybHBo^e1O+-Q#y(JycD21}&< zn7c0fzyz_fEpE-M5!(`EH+{`;B5>jV~ncN11i!0CKa}v0vy79gM1^r$bWkfy&rz zh+4|vhlxLOIL=8FfAklKM<#3q5k^c2xnNsWg>)m9LTSAfa_T>s-fsG7coOXVNTPcg^V7nH1o(v-wa0I8*`A(y&ifv z=3zTW-*s;8=l@{Yz_#n`x6ltSn0!EJ)JSp8$?fml7t{Vr>L!0UlKb<%uU=8N%>WK~ zzq;Q!L6mqx0?~tOO^yFZyJuqz#)zflCSTlE)`1m`R$g0^*-@QV2yBI6wJ_-9of-!d zNh*3}lIjMfbX5uUoG;OQcqcF)DQ%Xzw~AF_GZtm$V3g9ZnfuME;Q{>}53sdsu6;vz zWDa-2u%w3@8mmIEmmsPL|5T((FSc9SKG;5>cjyOfU)pluYO;NcyGIeJp*$dW2*X*| zNuaRAaz*p=9t^j(c-H4_BrfWzJb~2{Fy|Q}nADY6 zhS9Z;MWkR0U+d5DjkdL3Be$-;6ah9}{VNkT`OURM^IwQG!>8|T+{<3`GS5}2$qhJUVys&J~U|6!^REXhaPHKl5hg zm~G1b;V%uZY^nE94>E5hed+>%+_n4*?L)fW4lhStNv5BoUq4&_@oWT4>>&SB@&>!V ziN6-u`gq#oHAL^V(v5;MK(!<)H?kii{sPUqI)eN^Qcq3|C@;YDKeng3y`8E$cEGH? zBWH;Nyj7^dY0q>dG2YH`*q~C7|BXD1U0OVXRa+?LW}Th6oe+2#P6QeiJm>QOIx-AA zHmP%D*7!>yBsx<83Mv{P6*C%wJ#%?l(0kJATJWL#?UVJqd(v%q(tYhcTieqxA4jqd zAQFTfVWLw%VKsUD=;TW}cq(n3c86QV0)uB;O?k@!@le--fljwJIA!omqcCg}gKkTf zb516`LUU&RQ%z3eVAwFaKF#qXOgE)?{iFt_e_#eW@xK;ShOZgJHTe^*VdTga6|fR< zB>AffBwa=HQxa_fd29!#=fh`xqUG<20F>ePBX!%sf1&r#!o*vV;v4!)Lnx31Vdu_t zQb<3_l%yV6tCDux!~l3is0J-x5h^wqBH<8&b$Yt!?LohBEb&I6c7`zbjJPyxVD$jz z+zdS$JG6`0ZvFvHDTG38NKCHCkk&;x=!cCm4ASagEOBjqq?;LW^nc#bq@fA=VIjVH zR$sowfoYZvYJJ*_7AwKUpPE*YkBR1fNMaGpN+$aIWgCL!Yv ziI~PhYlkM(z{M^*vcekYDtm5J0A&BJWzX&->&bfqe9xU)NMJ}!O=i=89s-=?r6nrl z1xkgilq_A8irR-7cc|3qhZwpM_3B|d83XTB%UVMm#e&XlU6h;D_u$~&Zw3LKs6kt0 zFM65g4BzDsOqgzuqOu?VaHf>a4<^)v2xF;1r4PR`fSPFh8;oQD9pQI#DazvtR z$c!Y2!tciENwcyBXS&RzMn8@Iv?dHYik}uc|JZ!vbB(W?oB+Q;fXMv3Qy`zluIm6z zePn*y*XS|v9O**h+Qxcghpv)?U3*47-S4DF%}dW=Yk#NBAnOvSprcLnU9o87+%`SG z)M5YGGu%2)wq{?sqfO=wdO2p0aKUr2Ct&q@7MzWxpq;(BX?T%>x+o%8!71;H$j)}z z=BMo9JRoel1Zh|-DU*Gcd!2xF!aF3YLO;c;f$yrTUq0*DNn3er*sDx$dDJkHaH5Yz zowVw^$Je00yPymJr~0yUy-k<=tFybFoeHg^*Y=m|OC;_DyBa&B*IRGrtzo~lOy3Sx z>P2_T8cd+a9zE~h)bJQJn8637{cs;U@Kz8Wh&NNC8~gw9c6HpTK9*Pk7k2wmB^K4i z%at~bHE|iPqM53vZRuL-`txpA!{;B%>a7snXxW|)N%+83o~#bkVOcB3E(pEjX|r}L zoO^VNkH^bT=S_=n)4b-IyPL6Egm*lo3C(4^?UW@)bkEgpJzd+zd}@Kd4V}FJBh7NR z%k4zClf&Akk&rE2$tP`jBa06~li)7`*AO*2zkSXbIn4_YE=AN|?8?PvI_&AT&Qk!b6JJAj(Qu$)8T z^F~MD(~q0}?SUh%?|=f))jDdZ(9X0C{Y@|4@LZOTljibuo#8g1SCA3ljz<%`GNq%i zhLdx(Kd`UK=2{uDrF*h?#h>(V^FtKJ-~9f&MPPkW_o}XVaqDCdho^dtNTZ#Mnw;_| zU0D!e9e1fjLQ|V`$3P=F(;zB^Pnp5v&aJ%%U+;p?QnQ)fYb&-M?jj%ZmIo)Na*KP6-|`%PDvf3h(4q%bs3!k?Jj*AQgg^<`rE8%bu)l z@KgkA@BJ+x^Pk0~p(Z?6zb~XFv6@(=1tzWo%EHoy zgb8j5t}Tr#ypGo)Ev;84 zT13tQD%gmU(O28|$J}jr*H%*O9;W7z$;aBn$gf;2GxTffj3tm?#bE7ibGYCJpuj@6 zzg|)2p-^|NF_THSk2hQh`0JPylc=^;fcX*Om<&E3hQrK&{I}M z6YcB8UP20|awpLf*WrP)2jIQ8x)Li(wkC>G|FU_eQ%cpZM#`nBfbl6=!&c~v{ic2l zc=digd7d)SRsq$IKq)`)9vE)hi_1UGpUWT34{h%Y%Lf40CqPQ-Y+DQy*p0d?f`1w` zwDLBdJv`DLP}VTC@{~4@m-G8^W#6cmc8{}vbMWa-&iDCJC-NzDWb|*H4(hhgJ94U$ z?xnCh1AVS)?qA491P1D3Udf$Vt5`Wiveor5V0eLet?o z^vaJ|=rpxE+9%o77&2YNffU4!02$9jK6PoL1lMcSXFHuVEZ*`9KZ&=|Yfa0km;3jL zf0{QxQ1ZE)^Ml$GpPcd8B`1f#W~`~PBn0vx@}Akq1z8azRjkz%=b%hQld0@P$UwQU zJ!)225$xA-S7wYtn834<2ahG#AVPICq|+zX$MX1)vpvbo^`kgV05cZf1Y*4e$*@8$ z7qG2xd4y3)un_{qb#%{Su6j9DNf-2x>w&Ux)8OJZlG`v96+B~W(uq4|C;#ruKkEr9 zTm;_9<8&>ts!b}PDCz#)8-LadaPu5T5qig#wvS0<{z6ul9Nv6uQ?w9R*Q#e_&PHv9 z)e6usrEqgSCTeZv0Qd{&{4=&>uxAFP@I#H-p{JNoaYbo=w}+|Fpp9~6HhA<|up2SS zG9Of7k&Jb-6wo7V%Txs~l8J+FBbijBMIlT`x+(d&Q1M6n>ce2UwQNDz)GTzvc@rn+ zo0#Fcd&aZ!%)M@8lVfrh80YvW(N|q^f8Mj%!rHQgw&-zJ0qFRy$`vY3(<9k3o)hkw z|2>*gXm=9dbT_MoFb#9O#D$$q5F#)W#n4ghLueehmab6{3Y;1y4ZZWvG&@; z!IQ(ILXny6zNRU_$7n^(dcgW(cUcPFV!=w_PFtUxXo0nh%bvj}RUA=q82P_;6F+5R z;1qBq;iM#rG_^}`>7)>@YxG3MP{!zgDMw&*U5KTZ1H<7iWdvsFN-z+h&CX7)xR6$I zSXDFk(F5ZJ7#%9*?SvvuH`!S?PdrTA+rup(SFd&u)-sW+js58x22hmY+3lor8L8k9 zLHl`W?9^S3%QnfK!3&9&a)jb4owEr1{^7MpkwZNrAVhJ9c?*>3q!`<2e|9Id3cdEm za(R}!fk>1(cG9iu;QCR*4wLK>Yb#n(fmI1`_?}r=gt=aFe!i(ZRBxgTI5sF@w6D+8 zuy-_Tc2Wfi$>hVqmv($&v_`BQFd1I?IC5J`zTYs;pU^q3r|z@oAT0#aOj`uungbOJ zq=;N6^R}Loh?tb-C#1e|w4umG2e@RuLVpXw0ACDYReWwtYVNyP9-T!n0`)SiTtH}} z$s4t*gdA(;z=y?KD6VqQ$yg@UU$FL*1i(y}bmslrbNX=eS`>)RYU=7jUh5)4h9OA& zVRaj-uBh`iul;z4fkKIa@2wvq4IybjV5~Cm|J6nkQTTfI4f)PUS=XUDI>&z_(53a< zg-JV^Ea_>G4F-on-&dkkS&9*kL9630T}Vp)3q1f1Fe)s1G|Fv}h{=&VMTY*P7hEoK zl%S?5SO8C!hRPF4O%Xf%s-*oD5B?lX5)wyt^VG@7@ArG!%c|`5 z0>-oi_i(quiTS^E^i|z<8)oGJz&;zA3$}^*Xjh``y(F-S@lR!c%-JW(8Nz&b$`MZ9oFvaq$#wn zyCEqHWUA{EX6$Y}I`--=oQ+Zi__q914?$8zrm{r;4Up#q6m-~Q^ZmWQhaIcl*INM_ z;S;)UFebD}HPJ`r&xQO2HN=-TZYOqmR9v6aocTZCFlV0lEB-G|$zP)`oMX^o&mOwe zfrMHl($Y5RkZP27Xt!A&EU9y1G+KsI@QY8UrMum5si=-$@Ah6fAcs3W>TsOMF%mvHvG zd4=(_2Z;{6WxMvI5|b>;%k@PdrBE0NV4H%^B`=rJ_8k}cLz^Jww{81IE0)a#^+oqY z}j*l9n@6f%>4|r{6+>QpJuixnoMgIpQ zQMQ}&KaCHpVQT45<||Txg_>Ce7P2P$zN;0G8u0 zQY7N}PQ98!jq<*~Hodn3i-XjgG*`hyHW6on)e|hNE>MXQPyJ%MXsiKh6Apu}UX&;A zc*qGWRCqM6XdLhRn%5w$VfsUn)ktT}@_whIk_?Y&Su3ARZ9ut4+19keuEJSF50hwj z_DUEEWPy-o5~0n-xLzY^S>Y4IiRpNIwGC5FQ>h@Tx%65U=}QxfDxe~I-Bvm@+Cz(1 z%jIDP#j*4Zd#*s7KVpDEM=!1a4+%7@WYu^FNxy$#E{aavlw;bPFW+ownb}C?M@@x(P+9sL@TWGj z`0@RwD0!qObVv2H&?U@&E4sQ$=Zy`kA_Q$WjUXc1*7|G!W)69X1D$XzkX_Z#@U3X&4V0u_kQc4 zm1Ll+^1Rn+E2k#^JokM_Q5Gyp~|%fRf$&( zP)!*iNex2oMF3raAyiE4nB^z!Vs6Q&3k!h8&LZ(<7k8s9&mb}Pi(a&8wH4RMHVHA$ zc5wA#y(qrzj3FH3yuQ&{vq^NRNG!*YPGBQYGmh_49|&u@$I%dddS;OH@6lth*~k`L&T@ zyh+ga71g7d+w#K%NjTY%kp|^6;Qxnjisu_bx}OJICq2iu;cx3DQR3dW{6dDfj*@EK za=40 zwnp$mhEDXqeW~*by|oeteLC~FAmm27U5!A|)=>-uPR5Wc9BxQR-Bp4wr9`Mtt}qsC zWhz7(CQ`jN#ACo}#Jo7et)PK=*6|P)R?hrp$q@>Pl=-AO$9>#)%qG9({Y%+=CfDkL zJv3E-O~9<69=oxU(2N6tFZ%zWh-3$H23(zCTqb*{EqkYDsC>z=W6GD ziCOS#vc)uNj!I0xl}pn1XE_>Ilb4q)BL%0D=N^lFctVI7_CnADzVg6vZrsA*j&x(J z#r7ScDG@6F=ciJQCW@;62sC(3Rv@AuBE+xej~cqz0VqLRln!UcqcY9slIo2-d25q{ZL3>23G4;(B%v^Z%^q~ zhSf9-Q!q|{0H*_~Bd@eX>BuHJAbmQdmXr=!V7Ss@0@c(MAVB51*c^*)_aSU89!$Kj zz{K;EH7m=&6pkQ0EhA<_I+Ksp3f~-s80bY6te2POsoV1~`!gs6gthZQG>`-Z?Be%= zGQ%8M5}!e&ln%XR^~3nwiQczYb!ZWkp;zl4bc@YHuK}Jt7gKj~%^tcc-*R%H$k{l{ zeS`m}nG_sj>zo;>YoF$WpfJspWE!LJpBuVXO0QE>zt_JDmi!3zmbYSOUnA;L4dVD$yvh7S+Vmk4L5Je(6hL$Lnz8jn`$xjV#9%&0#fD%c?PblPnO( zKV7q!M2~Fufmd^Rf&39B`kp}s5Vm9bbC|cNX+?@>vYYT)wIbv5Sn^!`JiOd2s&o~r ziFUMw(7Y7#NoJSlw|8kAjYeCTj3bUsKd?SmDZyWt;o!IwQ7$+1yOZa=SUDMdgp%oL2{_SPbv7&nnPYgBWtd z!j(!dDCFN&$M$XMpH2=4*ssdnzKh3BcYIT!`?1p8yDcc!TQ(eu`B)q3C)J-}%a1$a zyFP#0a85Qhx#x5s3#J5S!DI=fPLSgI;0gt5!oWAZc5ccnZYIk&6V34#KO$rSe}UIi ztG7_=MVqF1o840cg%PDSI`4cqx$7tS0~BNd_qnZc*4(~iQ)zOSi)w}wYd<|&%FFt4 z2I26KaPtT-C^!{x9wY~mHY~;t*)-j>To_JOdv|V+V{?uf-|G7GL};N4fBJsXdD=n2 zrOCA~4tJ9YmgERm@SP=v=#>GkxSPi#+~K;kT)Ws*K~gxOU6@NG*0YVu3hneS#PM~f z^BP49Z*8pkPJ2a!Ln~DYijqck(^C%8~x+Zg=2D zxI7bu$j~aYasrs7frr{Iw#q?Ik0&fIh>J@ru62R?Enft)UVQu*B?q+dyFbFo9zQX+ z_1)VeVw}9{tYrKHQ$g19xr8FhK)1)8>qK#sm-mIQ|8<(ZJzSUc&3JyEi0Pu8#nrBD zq_?+UrVv(*n}i=Ym=08lRd2I>J9f_4tM6uP+^VSl0FA!WOxPnG(a9*L5s7z1iin9B zy7r@FXjxZDT>iuqKv2(2qi&7QvUua*`PAbV)P|PiXx^qkiJqHt0xR7cee3pfN$F^H zN*MOUeI{_;g(OOuWjudwSTr5we+HNK|5Nb7E>uD(=P`H#E}zB>jHub#k#01~tqEVv z*Ose(l`$4@eQmPr!a)#PlG&2Avq(^ND>C{*r4-nE~MSjk{o=qrfb(Tw#&r@Q)}jbt93j}{xRMT>|0_Vq&T51Y_W-! zJ6o&43y&cRdl9y>U(TDtiyW`zNWV7igo-^IUR2Bfy0S-r%d7i6punmOtV2e%gA6d9 zBiVnduE5595|!5L2A|ixKT$NrC@4OPrs|=NC9~)H+L|5HEH7Nm#fVbqx`eN_A~&q6 zfy+hAMzi(CMO#Thf@OdU;5ZqE#@@=nKzU z=;eNw!o`^aK!SN25805-=z81|_gZZ9f>}zWb`^b1L@UNWn@%I1;|j@W0Z!Zgh-c?V z<+7A7tBq9IH3zLfzX3|w9%`)4UFxn=_)9?|52ZY7r*8LNc`6h7axcC4*T8f-aFZpO)E^$di0#xNh`{_ zpEqsPdqzaN`xCt8XL6Ot3g2ocO!k{o44xk3)iGbtGjv}-CnzptP?_Z zH#lqR1k!>Z=E5I{i((*>&+5dK-iO>2L2g4>%c3W$WK{o9m{0&*-y^CXO?J!@pG~$m z)s+5So(nSJ;%cY79Y(*W@A@hJy^ZUK(P-Of8R1(Jn0k z(OW&N1duK3=>pj{#irTN4g`Xnq|FZ;a^A;q$X~wH?o>25l5J^yI>EmS(}~tN4!+s;=6rIToWugV(%E7nplbyCOb5DtFPLFf&1k2Z8`}gu|?&`)2^b^?G&V0*)2M@r!(O#Y$+X z?W+_W;IMcvBj&(UUZ^dsfm-3m3(~b)i^UDs6gmqVZlu}BSG1*=gdnT_joI~i7i($t zyrR91$Xn5Q)NrM>qq6#%4L=+Hc<3?KHlk=Cvxnx6TF0XI>~|m zFj`AMK|Sxb8?utyFcQ4I4*M?0+c(fV?WOd!>vR&& OB*kcXc~$gOY5xaGqdgn| delta 37977 zcmb4~LvWxCv~6RX9owCxW7{@5wrzj0)9Ki@Z5tiiwr#w>UftOp-KsS>b%uMm&pJEz zC^L5`e>p*!>$v>EfSy3|gl4(YWoO|SJ#?$b$QkC8&VSstpPF0qTD&O>W6i!TX~)8z z_HHZx;)5%piRW$hb>d}*wzQ274jRMNm%0NWRg#~wtxWT)EU!iL-Y*TR2We&gvZoOp>><#+pYOg6L0V-8Qm0OwE=jnDR=hj-9 zRJFl`clc+`(<|OG*%cF}-Yg$c>{LJYLa!)8(QuA72*z{eBCvGHkIshwL{Uw!+l9oV zP(9$dnnGnf&-@-LwV5|NeY=?q2Xsw!KAd={@H^J?D#V^E=xR zr)=ns#RJtSAz;B_#eerTwGL67l8Q@mxq>|*kPU97s@bA3^1J827Sb$Av*xuJqe!Bd z(oj77^5Y7hk`Cum&a%#M^=>i7EP3eGCkDGcuT#=xmIf-RA^L$_y2I@(k!H2HY~PUw zy>s42AS16vjw}aSzZ??96*{ZJma%%N_&5(b+=P8SAK-fYn3=3exQWA}Qiw7UdDU4q zoV1NuC;svQPsc*_9ir6fJci0 zF+{-DT3^a!h4z>}M6Xf6RGjWjd7Di*`gZl)mGOM+yZycukgifvE^k|M_8|KX4f(1< zP%0}e*2S_muacv2_o^GI9HOMU?DgII1-`#5UQNKyqqR~&Eg zRV^B)5|tODDQgybqQ3t603zE9%gI@j${XqZw_`>yFb&=cRmXh}r6P+L#%&Hw>Iv7` z>4d3~L!y3`f7&h+HOk`ST}b#W7@KC$H+31!FfvQ4ubM;(it)28s4~+n5Wr+pYqRdc zjb~P_IZ!agFaD`01yyz9sV;^%^Wc$J*(~F^IFJU2Bp;brmC@lo)zGpGqT_zxKP zine!W6}ZP{qZ4Hmwvdl@o(vxR4m~McNHOCBBLTuOwo#l8uuEghI3oGsWI~eqwRTHy zRAtq4ls|MW%O=za|I33#4YIuDOwl!+TQ@6DFITVhOLH^#E8wY^V@~ct;74eLK{7L5 zYK$zQ%J_zXo&_(PGuu7ub5r#i?3&=E%_aY(-zBJR+f(k-->2GUVePW2Gh(;!3&o{f zOF&}z4=h0jwpR zid8ln_KxI9L+4f33okeDj=0T{D|6)9!waD&$a>+WQpS3r=24_ak*87tTz~u-K~@+< zagiCtgYZxis)J~qzjU~N_yx&kBw69w@_^Y<0#9OvgOJYI9|u9h`HrL5uOtA5|8M~; zH40>2gasO$c)~0OE2f;t{44@Sps>;pI0;m0G_gDjj36T={74B{3rcBGsKns-*`KU< zMY&wmn3H1nGd_u-b4pNJ{#f~97ED@!%(KdgA<21%7LZyI>UoP6h~whcN=V~k=fI3t zBdD#Yrv>`BM1~URS|HqPm<1iJ@Q?)_t&n{*g3Qh-q@VtS4 zvIw)2M->pd9c~R~yZP1!!*(X++B%tgR9oyd#&#nK?v0G*&BO}f24Br!lCqW!S}a$< z*3TWj(O1Amm0$kMiim=h_G&?^hxz+~8wUQI-aEy&=)Hu{^zTA?Qy`-pQwC~{{032> z>)^D{Yt?v*y^Tnx(`7S5&G8wAcoWBIf*@)SY7v_u@aCDz*@6d91t{j^5JVd(=WGCK z>zIAq#=(u_YaOl`2h~dcmQU2q67YLS{h=K6^Z`D) zu-jC1jf)H-m7jhVD-S~YS-`)$-83oT7cdbka-swsZ6FJpO&cRIuLJ5G*7rAZFYvKhnH+N01Z*QLu)oo*;?EFV~LjFwrb{Q7?RhDZ%9?$ z;@`d%aY<0Wl%t06_KK8>{tew@^4$PUdIOe{AKRF%9qQ>LD3?&JQ@~=4c1NcwZ?^{^ zT5G3cQM#SFQm&v5yAs&fV1)p#EtZZ@qBWLdnc4% z%ju_P1rm`sR;Hy9-y-LoTiba619bE98@PyW{Bne4B1;m);gG%?mPgn!dMI?1C>=z~ zg$~ok%>>axdS~8&2acuOio~i^ILVBLal~-jnZsI=Qx@(xtf-K2u-I2O8NYf%7D=&w ze8^v^NT7JsdVk`+1r!aye_TDZQbeHcG1M04$v3y@aSzki{98-XE9N8EZ}nF= z{>8MxGJxsKJz+X(A zL1C<^HD0z~T4F=bDesLKh;)tB^*e|K4w*x>0N*0QTOM}Tnj%M} zOrMNgm1{keHz~$5)c+y(+A-ePD$y8wo*2x>RuN)f2;Ay8%hm4R)EeZ}#g$xbzMo8B zD%oY^Z@-Dss(;Th-G#?lr1r5LVd_+(X0u*#y$M2N`DVxGKd?gt!@}l8m6-Ba_65Ec zAL+;p)Rh?vCl|)#P_}v$g;wH~L;B9tTuNLOuo(CGbLx=ba482f{;9MYKwfr zPk_@WdZC!5f!4@!d}DQOW~Fx(-D3jD6P$g=;T^|?$JxbjPRLQhOGwUdu=jf;KOvKEt#BA-Qdf;9oSw!NMdy+J zHqVNWSm)fsY{s=~@1W21JZWRJE6w%T@s1sSZio7TU87@jzgep5C(=dVSHrb`5^&Ft z499h2F8F+dqZxEqJ6)F*F2LqV?r0?m)pc|~-l{}qyr(0oT=N%{4L{nX`ZDX15tnt< z(t4i7HT(S7HVWNfl#sINm$h}99p;2i(`vVtcg=_7z;b)+aZXGH3KGQx_1$5NPsUMz zRVs)vYtv8#R&w|{)=|me`CfheJb(=s#XP4TdTSH$prth(VB37?%ll`ffIiECQC1%Y z?A+vb(dVtBar^)zOW$C^pC8@ox*9`LcMtSc00~ln5KQoqqD_N!pV6pWc5p&otB1^S zAiY{8hQR0+3rV2+E&zgyTaoi>RuXc)gZo&dgW!>yUQGxA4iW`Qr zvl~6#T0u|)uHqlwSo*p{82t?j8DgHP1{sci`K>^NxGI#m;${O3vj-O&%V5sis?%9v9Y`tP* zEQy;WovH*%(p*kFq*;(RoCSAY#x}I;%m*8ojFDn?yNXLvxFooHmEi}KL!?4UMtiL89a;sbt%#Ahh~{R z*}c|Q*8cLI4C_Zu*AY>k;@#pWckw@A>Hlh;#e0Z<_C9+i@0SoZK0wVoh}X_2eJvLL%7TH2$Lp}SdZJBC*zm1Aa3TPY@}x|5_%gj*W>jF6j| z;npV~SN=n*)oSpX&ST?wWu&9+M$@kOqTM1Y?(>!RB087T^RSrG2SYNS{T1D(vSa-N z+R({2<6^8OQ!08xhK>P^tloCdLuE(;JN7yQlhUBTa#K_3a~;q+D}Ob-FqQR`r|RJh znQx%FxP=s5N%m&#S2(Q{uwLQYNRYW;qQ7qtk|FAIB;sF z@fbwRqT}khQ2A%X8E%(o0x!T1qd&ak+5Gxb0Vex|3PPRh)zMSV$ErLZpo5 z%X_JPvkj!>jr0?xT>lrUtVi|l1`AI&N}>cc2jSrTJ1$AJBV~#>-$EQb+^bW2>K@8o z_ri?{)|HEN4hsRU-)?1EKVC+?EpwT78m0P!+(N$m4u6wsy6QMMY zm|FS!tC_{)sYj2i*`Io|3JDM5#(NQr!3lm~6J(|(b?}Rv6#ecpmT_a!SITN>Q~f9{ z^*FA!{yX>9a`m%0S@}^u}#NG{Ku6#iCOJd_DKnJ%tBH{2h1}X}o;j({Hsi z_yW#>`AI+yeBpB~_gltzUH|rZH{tt%_UpLct_myj1L3a;GPG1sJbyuTUOnXBP zy&zgW7CzE5VSknVFooSp>9sJ@hhod?7;UA^a-w)Zh1jCnk?j?(3#^ptynN4uokIJz zVD1sg4cdc_EciO}xE*1!jLrF^82%>u<_L458~TFBqvEoJGqp2uc5yN_wEb^N`RW3L zN|}}g;{@3F`QiR&@3D621M7mn*tFxV*45I!Sao&gTXp8E(IQ>d)FhKkA(MP4*8CqP zWB&oavSQG?va|AIT~HW=>ZjqqrvxrgeiPx)8}u)t`{S@(Dxm&X@Ze8apD8LTbR_Un zwr4d)t)Cw(&dkRXY4g`v8un%79X-JNm3I|dKTIC83w*wkvxc|CG5cmV2kP2I;4J)S z(CtCt8C?cyKV5E*@A1NDw2e+1B+2x39$@5iu!FFG>#+sVWaD!es+%Ie{p}7@WH|9T zJGe4h>TZ8H;BZZpr>fBFU#a4WwG)whotDb&avgRxEQTM1*Chen>{3yz1eeM{Yt2*!q!vGdyp zTx{v=Us&Sjg5@9D4=!PqdsJvDa=Za~GPrqC5A{ImM46jx>hw=GodJh$OC?SJM&dC& z3Ni-*5U#^*&3MrT!!u|}1OOs4FEn>Mq2g9Oaj@!_^cZ!7rmRx1^G4^+Q1#ar!-a6Q zLK!cj(gnRiuIz$o01N73#1iHfN}$qd?{9B#Y-o$m?Imr$R=1S z3Z}%*L=+69NW@4uX%J})X^6<6jRDw&2!1Lh03w|*)SWSpl@0ol3!qjR6*o>SRv8Ut z6z1Z1=6{5W-iF+t7Mc~A?Ykejf86ftO7cI)S5~}6=OM)fS*a2EPCLBa(>UVCys-z- z>hW(><%$#`C^!pve*gPN+P{=YRI8KVzlO|iqUlthgfIHMjLG8*-qMn2Y*Se7XAD9`b&RV#{9}&@axP084frVfqOkC;M1v7jGEyGN)i2& z#L*6ff5PQ+HzL`JuFu%HJg8XNA(0qvgprm)+WOz3Ha@Gca&WktT8jVsR6`+Er@%|B zO0m^swi`V@pOt!m@e&&C5x>s=UD>$anvT75_9t3R@Y4=O^2J46yhC41SA$sd7?S4FFL&B@AS^QmFkdk!~V= zbOkB-t1UZV?yjrIk^xkE&P20bXXez=bES|ZOy~O*)6&0TRLk^Xq zv;oP(8%Bcbtkxi8d;-I*_JkNL7)1U=fON z*dWPqqdkts;IXqO8h^ylr#0Bx^SzA%*K6s4BUhK#-*a`u0cU|690yyhX4E@#$H$0) zzjWGCM$h^BjP=j1d!99G%P!qxdEeCWI2C;Le_t@v!n$3NNke)uNT>__3rq(^ z1Esj7I%bQI%b?o79ot3pP8b_QWc!&>ed~cSpdhOt&}=!sKR+Lf+`{Yg^`X(@_4P3T zVGP6Y`z+@#Y92-o7^hZ5FgSA`5IRRwmAx`PiW@byeDbUAPxkl}PM5QPi|1{Qu`8(h z(VhAv|DlN|SOi%PKUm1mfJCf9d1@p0L}o8GilpLr5RLK849liq-ZBGQjl(}zY3CEJ z1$+g7#nRZ>(Ec-dl%lqnvfZj9P>#np z;K)qI+4gdLLeScka_ta#oU9d3N?VU!wIXKwg$yQ?2>6q)~Dr6%lO<-`-~MJ5#QieR%T2d^_SIG6^!D zpX&xE^&JKPn-PJ3{mBf6zFOmq$JK+Jnv50lew-~A5FRE45in4Vr9bz>dADFsE3LHu zpX*UwcpAboS6jX*rp9J@4z%bEWEd(I!GS zES;YUMI3AREinBB&^1vc`BXW%;hRN*mo9=enH`Y1#pU2xZg*~?uI;4XyWb-rb9<(g z5M);3TG(3rxzOq{w|6&Fxh5FU<3M+TB4cY-H6Ed5Pghd4-O+~H*ih8*Uy1Py{wsIHa>nO)q8|}9C>zcA~4$dN&U4HQy(-q_L zTzC0R4wWGg-gDb=wc1^B_m1tw)U~^!!bq1-b54g z6UzO9d2>JqyfJL}s$@=sT?eyroc#o-Fil{MUEmPV$>}hYes`to`|b85d&^<2ntvX$ z!%lvVF~qMnlH8l>877a>n|9JmKTi2E9_+lr6;Dv(>FOUb%%6JVdqnI0YlGsPsg3aw zgMX2Or`~Dmk9I$P_=m#Pews<|6wRu|{Z9MzDt0$DeF?rf$`gM-aI?QbI+vJ*R#u*PbDw-{x`K$!Dav zZX06={AJv|Ch`{`u+*K*3ckmFg~ho*q72sHzYSW{Z=2%m_I|F`>L0!aL-^*{PW5uK zKDxa>zRvta4t4@_h0Enm>795-gu+isE=Aj@qaWnF2t~ofa*Y&oJ60j`xj{zi&|D%p zd<6BOu-VCp^8UsI~3IG!2fZ~%~lDjp!Fe*^~7{4n+lm!7C4Y(VwL9Fz>JCWmPVrOGju*GT9J6`nS z#H?1~vUQb+G&+ut=^}oFww&byrJC;OkNsW6#cx4&6Q|WLfz;_uQoo^fGUff|d6fyg zp=|vy!`Hkp==U(TBY!84HW3Jk3v|ox?o~d75 z7Kddz2w}GUC)CR?VfndeqrDv_S>C-VzKK=B8k_0BYmdZcl4QKQ)Pak!<+}mMNx=9q zwsxBo$nTMb4KRBPuw~Qd90wMIvUL1#hGX0d9aswqeS{(;Iid*Na(JTtt5{oH3AdfD zvDQKjH0KcK1>-z$Ki>Bci}O0~$nfz!6Qp+5)O^dRXnT9N*j%3f8w$_hz&0KXBSbSA z%mmhu8nq>(TQY%h1vjs<3~3;%tLtfy{M-naqsm6QBf3>p#iaNj|svYsbkX|}S)Rp{+*27f@0@>eAL*jQ_ zqnxZ<)OsN)dpq}W9Cg8Tmgi|v^g73TSm&a(e}_J}ti7Fi`$CQG;Tic$Gy1bXM2IKv z%+``br6gGQL#@#>lMk=?-Ri!zcDvW@sn7MvN#4dbUwFSiEGZzERRe++Y|6?_y)u3X zhBYUN%?=MHPb2G;u1)8@uGTueLX6rp#!4$)9+z{$U(gh3`o^4{%(*H4b7^(+3>ul& zbywV~10IFSgyFH{XxJ;LV(Cv$5+CZe(QPz^pVIL7Plx5?OkcupUOaKnwr;3IQ@A>n z^ry*tS?ZthiR(b2%&`a^Nj)u;I$Q*m&DYdEE^Xu*4nx1;v#SWJCyya$Un9|wqQ2JAPj)56YboA8??iD(? za*+Bjv5eCoRY^m9lge7yFphemTz7;~87s&Cs))z@ss;d(l*)w@Q|XFgc^XSLqlhUR z7QX@8$^*K7^IQ3jh~r7GBwg277RyGH6*8!>N;H@#^PE>HT{MJ=GN)_C@qamcE;S^x@J|Y!Mh~{ z(>Es$?*ovs<;1iNr%^{ndWbl2sc&Pty73~Dyzc3vJS7~)yM2W+3YT-_Eczw;m~h^ z*7Q+D=oC6usPCKx*S(t;RU~i_h8JxT`6-~TlqInv29M)vWxl@OQMT`7Vj_)2T%F+f zkR5Mp?P`-5$xt+E*j%oqc)cNZ&BlqaG9}QJUe;6*w<&K?G<0aw@-}g*m3m?FQr&R# z_L$1gZaZ1WMT-hXf9AfYdwJC;hT=1>UDvxUx-Z_rgZEFaRF%f*B@bmHf7_aYp&jsp zp!@vDf0FPfR~HY>&pLGr zR&csds+;SKa_cpod9}&arZVZ2-=|K<{s>LEh1z}Gk#y9$hjdf^*dXPDcPHRh{($=Or2lq1Gu7~)Oh#wjm&dp=RDLpt=<(~m8&70dU zKMNJ$}aiC_*SIxS+SUkyFx0e|cH|C+Z_D)*qoETNztbMPndmB|$oDjt zs`lin;3MHA=<>_sg!h{2m3;wN-wMem8oB6||2kN;6m%1MhcM`C%XvXT{WqIn+(8Yu zwpGE!cNauEd-JhgZ^p^Y<+r>JCd&3*>pTcBhE|=Ar!u+RuWaTYvbz!zyq{&^se*r9 zFRT2#OYlu}oP9I+S&e9t?2HsSrX6Jmii@dKFwOAk7&1De%hB%bBVh}q2*JTaSu7GO zi1&|$I=qMobq%LRT;FSK`8^M*7}jtT(q9v&57*V{7I;5h;1i*Lw1&2Wm)^!V>1JxL z_klZxG*Am&Tatj#*aY1OX9rLmB(2F(Bu&CxSmQ5jGG>;DkC*q5i5KA3N10Q6(mTjrHw^g*V{iMn+t*UqKQhFl?{>xTebBw zKkJoIr?JNQu~vL;V}2x zM4g9NR3*o(>2_krD0cF{S+ADx)*Dg^Na{+(w1i&j{7tiSWnVFYzO{^ble!fBaHhqU zrNg`}2QjqW+AN@Zui@X<7O@)wwfOK>wC3wY)MUkyOZSi2`_?ty?eIkzvD>ZLa#7v6TBE7A?N|3HiRe~hH+e5u;wc6FlZ(GHBFjqGYpMUSA+0r#li>u$iZ~-!0)yHhn6V&h8`ohzyQb47{D5BQH z{R+;+)!9}*iy$)7i~uMfHz}je3L7&gz^)ST>5eBWEhU2UW%q==?Yd$T@8yUB%oDQm z;ZE7zgy>Em>@&5a@6}}=?$^DJCQD)NZ<+?Oy6BDhw}CrqZ;S5AP5c2V#^INImD}e&uJCh-Smn2M2r?*F=Gdg}iV) zpZ9&L@?8)I{`>T*Js1H8Zb!h=hSZ)eLhQ@9ve@4l+2uvo^_il`54pqk>i!Bdrko~q zZUq3za?V)U9OJBaY__yr%6W(1J}XN*4y-F69D|YzdcB|5Ih8E<6S$!RTa0>EK(}$M z-(*TpGfiPwC~<+?zc99kP%=}*C~;W6%n7GH}#mxG(0h&55tsKbqa zi~^>O;YIYy-5U|l9ZerWLMfMFi#<--K`9_kaGf8XPE^lfu#${Y<@U{ zE9lfT$nKA|62@T)0UOw2ShB>Gt3}_}=($tXJ!(^q(nGmP<|;XbE=m^9Xo;)k_NMWR zX)&{g@_bv(^72B@j@{E73xiE1y25BHi>|p`MY>+qOXQD!9U<{U@%twloPzqBHb$pH z3-niJN%F8K^<8a}Im+8PV96&#nAwGRyVy{VXtG6YG@v`lK5Eu|_RvQ=(B_5uf~RB_ zp&fKS_XFnkT5Yczn;j?PoUU?Z_ z5J$@w_<~{I-{{_Kk$8AP=u!!$`j!zj&8ju#jwwMwpI zZo=ZgN67=Vyl&Fc_h`4e>ENsP#H$0)zLzYIqVh{}a5Kuif_9$rVDW|(S|SO?jzg(m@{XVh(o@4yoS?TNaU;AMnJ zW@C@}FtIni*A6Gu55Ripym)5k{}vJ5O3awDB-e=e zeyf5lXuL4pY=JwCPq#vl52AE~O9l9AN9eXiS^S-z1<4jy+5oKzPW&rX1Q&RW-;yMI zL4b2Q^ka3KaRz1Z3JfYgnUl(aGN7p#o(1Cc_O7PdM9}hWefDah`fI2jb4V69?hWKTC+ zhNmcTJg}irs)`N&&2RwIP2XUhI&>;c@wNgZPWfvE1`YU!hit&*^bLGl>4Dq-JV0xN zYlF1REdpDOLw{9-5mSOIQleXnK*}|B*?gCLc}%)CRYD0-(mAn}XgDF}?tebgTjN#Z zZ6CY7CxTcrsxM$?O;CtB!6XrabE9tEh#jjo@=RH$g9W8q)C9*Gl!ddyuxBX?vKBCAx1Sa3%|O7WhXnKtCwv$Db5O zzDLMjw0v&005JrI-UX|rV_wfmf8eXB6Y;(7&DQRp#W|*u3`lcPH$lm;VnadajU;+w zZ-&_kOXp6&CQ=wHX=<`tH7?@CH2ZHD!FbArdJ!=~+F#Mvm^P_z`<5!q*^GO>dz@k*{Mtns2A52e95pWMDDxwpG!$Y&o^^ zEw(!h#6-*n086iUc9J$k2d9s{=Z1SFqmd|*-08BG31b*!2~7SN(q%trz<<{LIEyZEVz-DLNA+^^)ftguH$k;$;LvG4KZFBXqW+@j^7Y}aP4OLNtI!z2k zLYXv<0=CJFLvfRX?H`@*(ODa#)()@ho9xh=h0q0LkTxrqnt#pmv`v2OzqK;5S54J$+%7n-sK6-djxTLt0ImL&mL&qBgyQzWA`O{bHyU9<8?r=xR~Q z;obzzfV++LU?hjvNS@ykAi{B6k&E2alr#%J%0~|p8U`4!G?w36WS>iTm9p-M3E7=f zXVSmh3TRI6S~o&OyA=T) zt`=N8(keFry5;iqj7lPbVOTrGVavH>7?TjzJ!d6e`oChj9*}!=;IESEJQ#f6tv5xkI_gXYTvJ2I)mtu+}Rr>f@(F{2%B~&uJ;;pzTu*_d%UHHSLVm}6+c>6h zm4>ZwC0RdoJ4T9+Ii0I?WaxYyT|J%^#JYhE;Kekk3d}CT zhs+MCGH>J+LlD7o%F=;^>mk0?R)dqR#(zW(cBntEUjOuN*1L91V-i8G&7QOkP@F%SA#zEtn8T^+F|Ifs1W_%1i-`EoK@DKxn|i5}w+UJl!n z?nT(wn=DKT2&HX;R`nb<8(kId{iSybvn^HfKDT58^h(&~mWY&;$u+jAt@*Q3c(RsQ znwT%XU@vUMBit=T7v-?UxqD(r04%8m6qdDso5IJqx7p*n9bW1-my@(XOnG9O+Q#-a zv*Vkng3Z@$LD=yU|37aZ!f99k5!WRb+!$hvN1``m5cSbiw4xNZ&_G&GjtnBJ!u^*AeKIlm-u!~ z%m(6g=Zgt^G_Y`b@2_(xh@ad_1B;qn#A1Rk$z61LfAQ|!`vb;>%FUf`pe^a$dZLyD zvL6^eVDoShMcGe<)%n-0eorzLzP6xC z>#QsPy@3(zM>(wqfzc3O0`@-;NNWyYZq^!MYj~MQ#1BFehU1>MD40_U9H&Kh4~mv<|CH(6+`iWKw!o0gp$qG*;?3?&c>n zXGjF=l32nq>v^79uQTvcw^-91xcVhFfC+#!%gnp)Cxf481uks zCBEq~)YA8E(Og1zfHh~!_Z=YOJf5+?eOG2V#?sLSJ!H-(^k*Xovv(lYvM=Q zy_dGo8rNam#pc+mX`Jpai`ns|Y|1$b+`?znx2BBn1nU~i=Zuna*wQ;ad9^xnw2>V& ztH?@$+u_E)J;)eCNmT0%ZEZ55-A^(fs!E82q)_z?s9c~}z&Fbf(w+tlu$tz*vesK(Flb#DlePSkt=id>-iWoQeHL&AgSoui&=Q}Z zuDotnvznE200*xWklaCWmvCqM<6=f61Xkk;R)d6r?P)3^O4E^OU_lckE3Vi7((@3* zY;vD%65#1<_23Z8in_?PkjVa`fH!p0@$iMP>1$F*9QiUHN5_3yW>^-SFss?sCW{ra z^2@DFHkfQp(I_M%s-!es^XYw<;ETU$o+hONw}bBtclhAt zaMnw%hzQC4ilDBk(9zcN#%mBbR3PO?p z=mzvzZCqW3y<60%5~|2fhw`%SbxPa$M@=-HgY0X++0!p?Jb3fyANk~5cO|o|y-FR; z3%P87d(An1=b&wZL#t1f$#-OM3K8NwM%X&l-C+`ZD7>llPSs)zs4c_^h(KxAOfsW> zOY7SSLduJnNl*xlFO8R_zl&Nkx{A!P{q!sf#aCZj6B64s~ ziNTzwaUmMEg+=}e8n^If8rDCjcEwZ@Y=~-rNAU?95$n>q5v;yF$hMx1_9}8VZVcG+ z@7(ZM4L&j97jGI5Q{C)8U^vWhEICQ3uP`EH;?a6#ssrhS`$5C*7+O_BI$57y0**7) z|3;!#?IDMCs%KHAZXC%pb{#5x#iC~^Izz-9 z6edYEPXh1wXkcJVYtWc3B2^!9AxmdWW&j)J#MiS44c9jEl~bK}|I6%!q)DWsE#iLk zk}SAs^2wS8%zwA&tHb|&e`N^N7;KxkGg;dK&N9`bO!ib|)Y$&21B9*ST9N(yf%W~z`v$T{ zHeBPUcWH*)KWem9v{CH6OPtZ#!&+Us#$PpR8qm;ga;?l#xw8nY%7Yy{`=nqoKZh_1 zW_}b=mTGRt`OCn_R4HvrcDc*#;ICMjNZi;ZM&e*-HyI?TE?)j6n;j za(4bH!`pzAEIF@;%;%2kr(F%-X^RzZd;}rEC1Jiu0w3Z?&6$OhcB?~dkN10NR~4g4 ze)%JlyPv(6|26g5S}VtgL_j_O^3`lxKin7`ohv0oYOe8>{HaW*7EM~oJ}xL|&1kd2 zndF`jgU;341I4xa_gh(N>__nqh$vTF;5(*UHF5n?cAttd!Z7044KZU)Mg}FirObkL z5;pmAe6#`^wX2Jg&C0M_829RvVR9^lI`N%%8u?3u2j3mI`LcAPhgKi(c-sQc#-w$c zi|N$B96v{tnm9>aK`F7m_NiC3d0C}MPm_Y(IBASsWD@@O&*ex>t4rA}AAi`ul~hw> zGn-iqx-&i?!<#dYvM(xNC8Ry0y8AB5Ou_l0sst4(BZ-1+O$C@AW(A!*?e37H4gCwG zCgp4hUQ39IdJN*PN|FIMHgLwjza)-XaZ3nsy!*8q3 z9W(f0x(y!>xg&6>kA1K5Q&9%)<=eU}>?NZ*& z%9hm!_1ko*QA=7C^^hvkBU;_rQyap7N~OOY~8n;y&N zvk=E4Ro#Iw!yw_^4pBn;gC;3;k`CE2I4%9~Pyx~N?^s#@_Livp8gF!6Fva7KMIXEd ziTSP!yOI+H$r9N;JP%SkRC3rL@+wQ6WJ?bvp;5-CnOc0d{tf{H2iMLv4;xB!(-jW} zzRiC7h+AtY^G8embMN^nXjIDglH$0{)_#T5Y#R{43xC_9&RZ2V@)(nE1XQVOp`XJw zx-2X`PqAtjX#FHv)SL>a^L@`RVY?_*PLEj%txdS2;q<8}J#4AHyvWx5YWple#iVah zZ5-7!&H7I#=c ze0v+*_KBP1_0IcP?^*Y<4Hh_vEc(Y<5B}6IWe80zHOcDnV9T~K{H?oVK|9XYb|NY_ zXLaJ>KwJ-rz>&dy0PCIEqho6L2Z(4sb;vaeZprxM@7clt2SAiiAq411tvh+}G>?0~ zMo6R;rB3 zkqQ0($Vg}+3T0^`WY9Lg58Ou{rx2R6Y#rGWMpayGLDc3=F^|~^UO9Kx9nDVtdVpx7 zf8a4BOn!qc5U@^1?OJ~wmA-49?Ypp6%=yPhKfm+wCR-hjA@uVcR(*e?=Mq)p!-7m= zmD!%qI4oS*xE+O3WiBeIcIHMgwBRc@rG8c|Pcem(t$V+O8<+boNCYM8y)eJHHUc*X zCwTq7_QPuSB;1o~eAhA1u>R)xKqKeGBN9{+YSWD^| z(z{*+I6_#I;uXr+y5eZ8mOoeTHY2P%gX5jpHNyO1cYKZqeykRA|CxAMetp-tSmUnh zwRm63SMvGr>}ExrodJT}@VUFzpnKtICd95^wqp(@y`CT_-+jLh^7 z(1;6k%cYFH3>Tsn8#{E38r78&hD;d4%(n0{4CJipK$yH~6QsvVc;-$yd{j46e5F=| z2PVf;nah5rYf&me@gy)N8ZC1kjG}Qdcg8cyPHRrPJl7#CUrQ=e>4=OTagFi$A54Sm zfR#t~`U(c1DV+pwP*@2D9prLAmZAp(xpPSLq2GwmMK5Pq|_l8PU680#lY@gQdm`3Wrvbiw{-(U`?z#N1sw8Wx z|M$1z)N4O*EC_aXmQ>>gFam&sn~C*52njw<4?Xpc!!=%A$~0*UN>Dh%QYwMsobx7ez|J;fQa4ZyTv3@AMe^1$AC@D2*m>OguO#l`# z6e`QD-{A(Yc2V?A=cVsu?Bh81X6xgc%jLWMp}XHGkOpNOq=fqiVYgk@zs|KLP@SL<8#}R44uW}zd%MsA>_HrT<;lS0~R>T$LIYJ(8}^6B7A zjA}qlxBPb9EXb_B;Rr2#EZ76O`d}o%Zbv3y$$P?sAKwM0>|&))Zi`iPnfyh*lf@g*CcAP^WQ@L;0)-Z1irT} zmJ%IN#RYt@%&2OL*zRX*#<^e34h3|@0^lAnGu^xh^D$y~R++?oOp#_@KT~zsIgmn;gyLFpMT(S%_&knciS^vscEAxqYez-N+cR=G#38_R4At>^CoH1c2)A}Z)o|6J~NI?X0~aZ z(JYt*zg(O6YTj?`zq|thFM73Dw*OhDpRVe)WxDE@B^h(6&b+kW-}thB6N$4WkOt{1 zmm=aV;5_0PhJ@sN!ei9Es-(WMe6Zdl?+F_xiBVg-4w#0Q#77JSV%#NMmuM8vYRK3z z7ta>5t4t-^*wciI>6V(Zg^TeW{GgYg;H?B^PQt277g^%N?M`o(laajp;y_+>J8s^3 z@n24(TfNhxkrWlTid;0^FH+wt&krbzPHA`gwyTcK&vk^4yg#Z zCkdNi40Q-2D|d+%mJrO7Vn>h`Y+Fa6)L9Yq{|Hhtu18C_D)X*V-xVYtHfuscLMQ;P z^lTp<;9{5euC*$Y#BhkvpdIJ?>s=&c#>NdY-_h@nRKT16xx}(F35b^C-*rA>s01Nr z>JK+^6~JA=l0?p7!@1AG3sk=aD3Qdoe4{`iLm{Qm)}v=IR4q6VGwR*GISDv0IFxH$<2{kyMrWsIb|*b>;jrL@vai+v*_;o@ zbudj~{>YrgEC8clrlE#yO>9G040J2;=Tsm@ldeSjAyjPY`2IIf>ugHQvRnd~UGYrY zy?U37@$s7`x+3T>cloT8?6_*e-DtW3vC3a@SSe-BehZ%)>lz5exg+{#yT7HEZ&%lGwvO&ohLE@U@dp7qb#~|+=|CWC zT!_1S%I5c7=}Rg@0dmJJs+MMMECv*-LPPu*C+GHasX?Vvi;W}a=mpWpS-X2IeZ~1w)o{&vU8KW71Y3RDkXul|BFySjqruYg^FXf`?iqwMk`<9l(W?_Idx)>{x_1z#0J@pa;N*A&sf-kO9AM=)-4wL2 zHTa4S`a~>UOLV^jNJA?^HMcJdVoqp{*F)%@&kVFVYQ=pqP5jXZDQQi4J@OZhAPK$o zVTH5U3#;g2yi@(k9cv?Ahd+5U?foyI-Z@kcn~WN z{cZoTzNYmug-r$GvcPe2^Nz_B^4mIRN#yVNYTT3%qhv_HSluYME~I(t*)?9zfJp3^ ztMy6()PI8d*|W;8eyKONek|+yTFfCo0kT`;a(Z^mlEuDWVE+-M^ZHsW>PmQXBt^G| zwU92E5g0gqywOCIZ~xoXhOtw16P0y-nb#z|=}ZLV+c2riueI0^F2$728~BOTkQN8> z{7B$o0i*%HaC$}~3aBdbG^&e7SNi#M6>}E0ImQLo!Dgbc3#-eeStGkF&N}+9Hln_C z`i45YGd5-7MOV?ya~|&Fu8eH%>mGiel1NQE%nLsA@#p!0>q0$Ww6X`kLue5db$eHy z7&0#9`Sfw_BdWN$Ewd?8BWPTw643dARe!Kq!b=abhV@N<{N_>o{Gq-|>0YsH0AkHp;@A|jaqPOC zLZ{V8d8KD^1!o(B)d|$9b52Yz3Av5MY9TG#u9GrmF!GP-1&5H2w?Tlu2eC4yq$5O} zmCFHvQhO7f`*hZ(zpyiCY|K=$Mr;vO17$hWei(qXiWvA?ie>t|YWKl_0S6F#{4bcN zeCRJA%q6MIx{m#*)L?8P>|3p%?%txAJzj-i_Awodmb05j`!M$?GnbU;V`*yKWj!+c;Crl=KZe`SM+N(F2*Jdj~UC zRemFEi=UPF=lMCXlhK63HgbdGeXOe@%mD;Q9=h=A+$wTl;8}$ai1!m<6a( z1%&BHey+eN$wM(g-Ac+;$vDz01P4RmM}CsTgo{^o`&M_jk?x_(nyN7F4gz3gul|$0 z7Mn)(inUmq5a4$B-5eFj8JvfZEF`}I&*0YIS8R>TgN5GlmEQc3>E3S77{gij3f~dq zn%sS@(Vaa9%}GeoHQ-gcjIWzEK7dtZMgpmpveV_qbKW}=QISy{F)i{LZ&Gh~ao|=T zZCKwQzu-YVWO($r%Rki$jFAs|)W)YB)C}uKJ4qr)!NIkwKq`(en7|Krc-Cx0E-32g zcc*NGHKARZLvomEh(!vP3;y^8bF8&QiQaUi4?8y-EqDG($=T8w)00|d18A*=g7~AR zvt!G22Fo|TwReko6)01ZRAAMHPmSD?pmyrNA- zO~lEnK2KE{U4@^`_V-@Rx?tXN+Q;}8)3*{Z!7=IPzoolhT!TQNRdk7dZp&-Yr~h=k1yS{HPp({lsa6~ z(wO%7>gCHXeY>&mDT7JAfgHT0sc3++&M_aStY9wQjq1+4C-wTwYpHDN#1)UilLyh2 z4*ZqL_83{S@x0Ca3-kumVDq+#=))3?tBw~QAp5K7wIszZC=v4?9=L-)_dch3NqWNH z{+K>7Vf#4Y+fsa(-Ws^O3lGx_I?Ug=zTPi+yl87JNo`hfazL^>Y*Oh>D29(#zn>70kuFE+rt==v<1%a`@9C4c6rUK|@g&k^48sm?abr@G%|h-!6=;Y}`&cc(!> z!E>?RO6TQn3q_sUQF^Lt8l8cfiObfU{y zZOfp`jlI4?KXX7;Ly(YIiViB|tpt0c5hmdID zmaT1Sp%AGWn(V}e#QEXPJJZ-WnFVJQo{ z(6FJj!QOKp|B`MYNBnP|aw;oL;tm|tH6cM1Fe9!kX;nM^QfmY4Rm?c*v5!iZ%(l!GU5Zu8gWMSyd~Y`8(D1 zo!J9{6W}XwvBp^Lio_pjV1;LKr9EeF{RkOFV4^5v;a0t!K2@g-{xf&V?&+898-k!K zQ%>)`R_Unrs~at0(?&H?h^j3U25V**p0QQKw=feUeU>}F3TWW7Y*T&jV&jZuSq5zt4YnnoN3XO`m`);yfcn3NdV>5rDV z=s}NVLdM&qF6uy{l`{aTjcr3-DPZ0g0ECx)05?y&lCQlfLnW97s?bYF6aI}mdzi!s#5wO=i8C#YCc3M ziCHlcs^-+h_N(RQ1;5Hhd+9ct-}~X*06=lRB@Q5NjJ1oWc<82jMTMuWPYO`CL9bE@817Fb;v3m>$OCU4P$9eHHgC!wQnz@ z)vXspP(AOgojN*|B?vl>hX=<_HXJD(U7;qv#%Dm_iR&XJr1t7y)MaQ44=TuE3D`yjfC}El`PQGq{$>Z z*tL(5FCO78=GAsS<_!Mfw_7@$b+?qO9a8Z9TT#y2QOdfmq_V?||DJr32Mi6#75?tE zp0SZHluP5-Uu{V&+LMsbZ!L5+L;9@BYs@dK>?kDRHIi8gC~|IIMJa>gE;Ig9BqZwt z<%E;=jbmgIubPrZxM(d|XUZ=E4dzf{z*plX(#}*hy>ZHO98fr)i3Q~VPNY~n`f*qWx33Zq-G3>McMABSLW>==IyqgzgV{daxzN?eO1hx!gm-S_W=T6Pv z-vyn$JJ6y>Z-)0c6k>3`Z*76u%vman)_i}8yXEys8tc*fBNZn0t+@ykFu$yKMcKE? zyWQZnL2=kQM_VD#75q^kVt0lZ!ityX^sU7@s6@16qtE6!hOul{yU$f1cN@2*{6L5se4UWG4=|mVlv#((NeH{wN zkEcgx1dOt)3@hOq5mrQ9?W*?FJoXW^Gs)ZatR zKH;gn*!S&OHODtTRvIMR_hQ%ndXBVz(ITn8lH;Hgj9IhfI{+JJH%&`ZWy`|7R)=-5 zBn0aI@696ZaPh&vV(Er1is-w5A$eD4*Yr@$+ml)$Jmd-a#jJ_f!1mcuKSf8VpoI9Z z94gsVL0p}Mmi}yKde<<&p19vkCoZukifZV`GL$GNhWbR%`R)eUO@f(s6bF3cX#zJ& z6YH^j{YWjNP=UZ%3ukYFj~JppD$hzd|IOCmx?G_R6L{|py_*`FoavOqgl&Q4XYosp ztUS6o97XG0yM}cZ!L^QQj-h@dm~0uz9>ulMZF~#^nNYpYMi}ioM#l;d4-S z3W}8zhL_`a=mPBiU7;^H*9wq=Pvlo_-)^lo(0d9sNCEEk#pU7$&5|E8TbP<2l{Tiq zq?DHgJ-F_zGK4M$nIi%yh>=!ZVn|H5Q)Aj?5gt6hQ_FogIrD?F3Cdq2!`N>*o7jUY z?*gZ~AQt*^eO}+JO|%4NSNIohS+%|_8^__&!H6`&&NV?fYCXedM=~!4W!v^X$dwMi zDMFdS69OZ6rArk@4AzMsWn)H4fDM6QCh|#33_?Wb7r}lYB#Ig|IKOqC4Og!UiME??euNCt|CvZ! z$6;p8q2ypmY(uJh19I6;3_l=wMlMMc0YykXTe3=*!dIX6e&E;TUh{HrMvKWTdBtH_ zNn2^&+(z=nWsOETyY~wWjGjf~;>5!8AJRTtn0&S9Q}e=fv)&CoGRA6a1>D)gfA*I2 z5xem!F(pgpHpHq*#0j282IEV78@LR_A|7vYvs>+Q{yu9--h5;E_j)dMixQ(Xpc5~- zQN=)4`}E;xRK6E!QProjYeRst3n;6rSl;_hq}5^ja@yEd^t`SzlD4Vo|8@;}qCcZ} zPJz#jbb0_CvptjJ3HlR(y=2aPt+pb!~4ByenK z4KGVQDbU3LU-ym;l?g3rzBGW;Z?0!23%)M9uzkQC=l$8X9THxZ$4v}ycdT-2wYSiy zbBx{^AyTFL7p^+IE@md3>nADeElFQ=?ApUxEZw+T1pmRa2-c5{1=wNu3Qr@`i$}Sx z4TQ_`465^l$~^I6e$t6r&R$)TrxtImfsgD8wrF5|5LJ`pfD%Z>SBDr!#3-h6_WVpG zUd$MsRgP4p!Y9yQ*vx>UR5)K$v25cTNmI_m!d9?^DvEsP>}L-!cIBY~1Y&f)H=`qc4Mt zUl~~2J76#6`eq>~96V0G40hm`SZ)vVSSb%NjrnI>=?vaa1ey{U#eF~vYrM^)a@Bpw zxZ~ZDveMeSg63L5a#S00TAX#{gG?gasgh_leAnKDT4bw6Xk8utRL{v5LP#FXbN>5D z%qik<;q4*@foIH90bwtRb2<2mnu0jo~=1$6{hUa;g?U&<7^aL`}l}r_`1IJA5N(biv{!>BYhEvi#O#A%YNF>6Ei$h63`9>Z@ z9wbB{;*|*=#AW7yQv8L?Wi|63{A*wBv|=_}FuuZf{zw$ipEk#uaV%$Pc?;Zr+`h(MzI8nk0srE~m>MABOPU(y zRObQxR`9$MK~a!gT6uvQ6IDx091X!rB0FL!E-%qzXDo`tPdClS8W7#nQ^YOo^lGke z;U*_@ND?*90r2Jg>LYL5mk`SIk`yDsU+HL1sJhxxd^UNN$qj<&^~;YSM7WKg_hwTH zI5-Af)~6OfAy*hl0rD0Wwv}^liT5>@3c=U>!Iw-O#b%Gaoi`K33Pscw<~ni za{O|HECQ(`#T2_xM^U2v>-_TZ5(_Dx2qQ9uf^TA5$N=dU9ANECkUC*D!GiOTk%ZDn zin{mFmd+OT4Z?tj4WJAL7iN+My9gYmD#B*RAfum&vxKr;Riq-(DspfO;HyUmUDBi}N3KIRfiU_g^ZVr{ z%pWj@@h*-}kfBS?J4ltq1`G$n<4YEFOEBt0ciWZf6KgNjRX)WpiYi9%@6gn3$eG^^ zTN&31%Sta{woXW4Ap_RF5TLZ*Act%M@SpBNI0$j@3sa*S30`4n`QI=ShA|t08_ZX5 z+vXfB0V`B#_~4ejcJOvZKzHR@J|y4w1jS znH`q}W|h{iOxJgr(;6qcf4ayH1`i|^%Bh=5gn{&YE zh3e)BUnok}qF9mI8DrxOik08p6~k`BBF-70T4JB|2Mr*j>Z3gRGe#ISG-%5XH9Y0r z9=5iqo&m((PBanzaZDQ`ODu#z?4t5wBVvDV|FmNy(@-d4=S(I)*N&cCui+eSkGwSl z!}tMS7~v|dQiembg^`?e&Qs|m#jJ>bJW#=WqLNCDU17k+zJY>*OEu5im_DAKrU!~z_RCpS^V>>&RbAm*8->6Ia1)LLoFPFxUQm_hzhKj+b>R+k{@#*aV^2;* zUYoW_B+1Lm+{BtkUphJefnxRhUb1H*UWqkfv5Q1kV66}7?w5^=QAtsMnY~D439u}w zrfT48&f7g^+T0SJ*B;yv`@I-0qFDOzIPFF+!i4(NMvQXlrdVF30>lAB5 zIbU+BdWn`%_y_UHD!#H?kALxH!igT^*X0=!|Cr6p4ud`GXrwLF$4H4!#OJ=ZY6gi2 z7#xi&yRz$?m~3OfU8HO19@Y|N4BuuI1$45Q&h~Z1QS2l%i;|PR+&xkah#rj#tJSqp zbv4Hd>Nt9oOsO%ewL8m7`YnA0Y{!K@(pBFz;tD@0ueR&Dp)wPD^2ClV8kF-ZGf~X4w`iST8R^q4tpE(fxGafqgI~a7ysmyXee8X`N>Gav6E+%cR2) zx@Y$&uN5K_N=9mk$~R;Z+Hdt9k| zf|WJbKrm&GJSaY8|J-l$NaOnbNJjyczx;i{fcr!<#k8UNXZPCCJFeTmRUewB*1l zB|p0#Ri18CWvq^tR{$;V5P29I()&#`*Q=Obei-Z)DF^=`)G8)wx#z8+;IGSLnMmJ~ za(*VA<(f6)T5K@N15fig_Fwb7G^TpyRSjQUsi6U#o=wb$^3V?hjbsY)MFKMdZVsZO z69Wa$k2B6QBXrIgWb@`JSyd&&whiLaXwC_B{Bj7%hHV{Wh82D#pu1s2Puz`j%zNaQ zh`(q>1tf+0M$O|&8=vvz9L2V}@ofVe&sm;r?yeKv!m-22MJ8UzUy7-&l}AJ-z{S~= zP)i$~kj-0l75;_kH)l=}@&qX=xcD8Dr{|rN03sqmIQRqpZV6(yVLnb4c#2!Dvv$t- zMnBge1HW<3{+=s%2!g6z=BkAY{+pm{Tu~54u0Y)J?0El>vGlN0D_BwIc}B&r3*1|| zsLV1jvMwoO>dzm^ZMGlgRvcV4+E*K$;_u?&zTTO;*nCa`OOqBF{7pUI!=>ZajdBn) zX~i@5MZ_e1;dm;eoY7yx$84trT=`WWPH4Ncv6njklbQ>I$SuqVm$D@fF5{-2XnFgW5v;&4+m5~? zL{F%OR9+)O^-JV1Mn9W8Y?vm z+DqB!i5jcCOS%~vu4nez5nqwp36n9Xrn&i!A69;!ttB+w&+EhR(2u}AB-7UFxJo#Q ztjI`e7)YOb^bd_$VPzt1tV2O>L9ZoiI99eVI}Wq~Ll{u+eN%>$`?Lg5+^Cr23S|S! zXq4j&bV_>@9YkLXViQEtU(i5ikAO5B)LvHpw1bv9V!EKr2RsXdHf8nh;}jgfn*<5z z^+uDg{r67Q>IVuh8@-4-XJs{QiHSHWvK5tIO112~+<#V@6)et|l-~mdvrFN>!Xul2 zvLmMfHFN?YIw~yc^AxTLGU}hR%8r7zB;Z}{hAkDI(tYp781a!4{^4KHwwbgn zY~683-8$GvCZ*WJnWUA2_T{MkE_N@J9!Lq#^|T4e!skaxRajX_ee>WX^sO``YYkG= zx+?t+2eCt`dBkwaWTzl^9nGhKaq)dZnITSq_S(!KQ6ICkxeQLUgiUS9ZEw(VfNe_- z+mRC0r#CU)e4`))?kfeJfetYbC*(p|ZA#wt#)2&G())8Yq2)BXnrBW#hCPc3ROKZyPWGPZE-a} z3U&B3;%d5LI}cB7$Hmp!o8?0%**X3Ok5PqoiQmwY>nxB0Ep>`r5g*=Z2qG`%P) z_Qwd?=M56)?`>C$#lr%o484MrReRcWy8ic(rMm!+L|)m9&91IGN6^n@Tr6!+C7mjT zrR`WF5(EeTjYpUmUJz6pIbJdsO}O%4AtmJyMw3bGI;&1eLWBUJa+zh#J&@!qFkX;F|Lz_p=;jl9uWoVBhXzcQ9E7M@elS%W*gjxgsiR~pp?172Y#d+2XVg)n_LriY1 z+jL)FE7rRpNmpY4`!@Ap_VB?~(L)|@YGF`7%fP3;$I^kH{ir{6}-Z|7*w##fL7K<{(O_!PhxBa!F1IS2Xo}#(xod=Ej=23_{Ev zy15KuX-}wXQ4-tZKCC*S(8_{%LZ{D{Fzb$iHcHTc2d%??>hPb4^DCv05gU<#; z83k`7WrNJsZt8{HJPEGD9+CEA2-SwG&n$t|pcNr1S?vDK&J@`PJoeNR)%g0aMuz0+ zg)WF}QlGS4ek3yi>|My5y}rn}Kc}HPEm015@+`x0PD7lC=U|KtP|ubTxyarePL0@t z1vlRpXWpXcJCEBbiA+tbC3vR#u2;c7ZcZ28axhg>H1s-&KB0y`i>Vl%1%*D}ngt?n z0Z#JVX1@<_^lAgGOTU+=i~UbggEj)cC}KGMm)dV&b{C^+uy@Af;N8@jx-b>gUvI3w zDBw57;eTPWQYPJV%Z1rti6ekcry;3^ur|r3>fh zNYRMkViGmo>64QS6QH~87h8t~&9)p7r94^4HCaV5;+dwMoLsJ9iDK0q zWgurKx_laTeGc*;z9B>U7heHbYEgHOvHis#1QFm>ymJ@)UIo>}Ioqluu?2j5cnJC> znNMIS#nd_SW)%c}SVThi$`=ilK1i5L5^s-5?n}qPrAHZ@U0`ex9&A|+l zmCPu4RuwUD4bNEBF?gf^SO;1q>R%YMiE>Y!SOz#y^d7+=u+KP46?qTXmo&1s`R=`y zVI2+m{tMHw=IFf5zZu$UeX!cm@_m}?oz5;4Ta4XA>dGLx@;T%18jK2^L@t!S-6@A4 zMbjnVeE6|i3zTWpTeLNA*nM>+yt}+vNK3p%uF~j?JGy0WI;ZV2Yq;FpU3aPx?9+GJ zZQwJG24Qu&P3YZ#`^ktK{DkRB@xY|_P}*sf$076yPQ*e2;fyoV3X##e3CJXG6w4xjs zLN*OsNeXOkIS6YClP4ABiPS6^H8}}?HoX%(+>1}axMpn_AWV0CvuhuCG2=^2Lz^4p z;Iw`^a0fW%un1(a6W+fKjx>py`8E$j^9K_$9mi! z=3I2Iyhj$Q0J|R<_+R^wmtZ!Nx-DSrgdS0KtlH|5Yr#-|L8DM9;5b|ae*cDt!z8wY z#vXqyib!oFB#wp-NJR|<;oQ6ZP}+1^fd-#&U+5BK}@hS0Dw&ev4gD zplmB+9F=JHMZS1S35N`CHGoGqi|aPNvu{=G00dqS1q@+Cb&A7zAp)GbLuE zLM>wL(YT2^XrCaiZI=%4_-tk^36KSj$Wou?9J46tIH}e*J>q`SqI`-70MR3e2e$`J zV%rS^-}N05!-RRB2{rL3HGn{^H=wB_yG24Q%zi z$P1Sd!7$GdH;ux}4wX%BfQK@%;QHW{A6nwZ;TQywUDO;Nqw-Bpf|;ny-j_>mWu`~_ zsqN?HI@Nf6FhIfG-}?O66UJv0MZxgHTXs>C(dng3)l$Q2Fl=N~2@bIHRQ9(9CNGyZP zT17^ou&ZjMV+B)*b!LWjeujtLM%jh7Y`xs~!~>iiGh3#sxfdJf?!)~$UPa9ya>Q1d ztbZ-_+P)YArNx?%)+Q)B`~jJj4{TaZ~Qj&;N)Q4{Hb~u(n17tcy?D z17+AFEbNg<*@bi(NJr;Rj+rS!CxwVb^Q;fUiQRURqxfw$d+!0RxbvN723IVKfYgrY z#wjz}T%(97Ioed3E_J`wrzwfvbX1%9)Pic6_YA{3HTcDJ_v4j%apBH$oMe^0x}bF6 zVB?(@d9mG4(92SGw8}!e-db8Grs+v{GB_Y#W|e1hqw$6gkW@DgpDAaT?Z_i?0WC(P zSyMDYITZS-uE*#spMwN%DpWRG-=iT?h&S8(E`l0ME8q7OxEa`=I^5RVUyVd(1x76? z4iAZII4W;B{_M};W_u!;D`&H^k@wd%m@cEHHs1YRMocxQzdo#H8?~k|V?OX&c!J+= z%wBu|sW-U-c7jhSg_f7c4@9<>ml^tlx~7i}Zf6&9ZAkW|*2)hKe%7+0o(;_JwJWJT z4lYvcAtoFLgYt@6 zrPj2>SZC1$!_~5EMLG^s4tEm^qj|8sz~$coLVPnIwEQq&1FW#LGTL2e5}z-vq#v@4 zLWZCAE||?ezmHjyp^WFw*tV~8AaI1@9FNodF{6O6k#TNb`)n{`(xJftwAod!+Ub07 z)yg_@pslhtK2G*pVNoOYCipw>gRnjrgRbR}lRmy`f!~qM;fUWE^Bt@rZNT~e|8=8T zrViW@28=nitreUHKx~h)*g*bXpOLy-ygN0yf3W()Ucrf>&CjaXqpee3o^JBGk@zdE z`6{Q2#Bp2eoN29gy5i$10pnm^8`i6D>vJat==KL=jzH6*%bSv2r-FUv%XXvB%d@l2 z)v-MRFepoKFoO{)x;)^3d)G?THJ7U8pt5>ftAFzD0~mM#L{xrjgIY4ZSj^*%(ap6E zJ8H<)wM!ZMF4T|fH{2LbR-fgd=7y}c15N(Q!Aipz{CsCADPiaah~OXu_Pio>kqwHy z3AkW;5d$H@A%7hOp149Rw10sR?5wm3ZkcvMs6U|Xg|okVlw5tg<9_iGwTG#@6EEr} zGHO1;`062rkvo_#`RkN`Zo5ZB082iCl0s9m z>TBerd$4V){%r(}LHw4Ell^r55$Z)>kL3~i%fA}{ib`%HG<>bbtJB4T#1Kv(T}OOd zeGJV`Z^nO9nekIQQr9@rwBl{#J3{pGx>??}blvgYkQt6wLkp(cGFe-Qbo|~(C`u>_ z@R5+amP4K6ozqQ7$z=PQY?!{Yva2(F+NvF>AYA-Yk%hR**V$flXO^eSlJCjKkV(p~ z{$o>2Sf%Tidg7ipDmq#nZyZ#-n~{z@X~g9Ia`h+^sKb@MYW3CkkOMT^P_f#uGn=i? zX(#yi@e_R4Rj+NKOK>3Fy7#|ctQesR?cmJ{?GR!*;LPmJNm!7UklGXuj@X5{lUsQ7 z5kgyd%5jNjdFC>Sl3Z0@g6)Mj{^AelTi;-9;l(HNA+|`sV|=UvABRtU z>-NI~pvZD(=8w}olO6>+mI!x@vEwg2(_oLyYWR=_;DGS&S(@4s25uCPEl$)@p1}q< z$j5vNhD`+%)zP&6tt4-V2MGwaaz1(ec0B9y$2?F=p^#r_jRD zn**Ka1X6SH_GYLNxhwqeYUYb4qLyE60*H>;LuNs{f-)V3eg+@U?{!)!NkZ5re~ zn6A&8cZ;77Z;P)jNiM3l4>vb6--*#wcsS#M;O5`$)PWsW*g6KkSUo*89Fyj;SM*hu z$m6t@&Bv`D2 zs+2E{e%iX{ciiCRh^&- zS}0nTGow$gs6GR;x7PNTKO<$of8v-YC%*Igb$*%Ug`5V_Ir`VB zCunEq;t8O(y=#uQm$r`VrP}k7<|MSzrRsbz^oT(gTpR@$3X&V-EVA~ya}{dFf6a+O zZvX6-A%_`GftS~8&7NTiEj={fx!(W{X?sZ>+hmKP`rl2)<%(Ys%#jp)$rm^PDoHkR z#oLuIkw2Q>`yA~wNdENy%r7bA;=CS)1lKB7X;Mf zAs;gGA&pX-QTnL`TP=+o11ZV8S)M0?w2=Mm3A2YNX z%p5cDtcw@79sNkvyEyuRP1vbn*P$7&LywBiVvJyR%;cwYr=5*+k+)m$Ymx_?(L&AV zcZ7$3Qa$pzBep#%%26I#UjCPhq(aFpSXhY%XU;WA)%fqCF|c8RKWF;@7Z0W-cSd&y zE}kGrbLW;sjL4P{(j~p)^ZtWSQ_=mr)-GhB87o{DyVJH`t69;6C#neJe5VyTL|W|X zI*u!UIN8wxwb{~ReKfF#CGW-<6fzjc1 z(xy&1{dI~o!Z7K-;F;bBzF+_IbHFT9sEPdiVo$J^83Kkk8*Fp?X2Qf`C0;f6y($!i z;H`+Vy#q-OiPMQb&s#uOI9=tpE8UfO)8fzJZOW=4RtpMY;cqR)=7=K~_>C(C7e+t! za1$ltld4=q6*rA-J$D>IPTisTftC%!g;G$><}L0l8q^z)PQ^&<0LUcBHhSpcb*sEq zvTBLa8ZSK}EVdC9Otkt|rLUe*8hNs=SZo940DN3{DhLq#v;85a6CIW~Jx$)qB)|YO zBz7kL=s%;7NH&}f7i%Y?CkTE>;FVSHC1fv&Hs&_Ct9eYcWT7Z@zP+&V;* zC_@6d)G{zc6vtHpY#WGAVMxY6$;7nR$E4f|NhTkQ9}+7)*kuRNd>KkS@=hlIll>71Z%Do=;2>_@Tk?DIO#Z zC24?dtkM&&Dfvsy@xQBSZ;*t8kx$ya_L#vFGg#ie7C2^Dc&`eMxY?V|T0H0$5g%pz zu4ZH1ZyX$ejb^+FRU;~fkZ}{ z%t-(XupV)WK+swEE4F>*!Gj%z#t^%gtgR7clDb#zTsN7qDkbWK!#e`cb;+M;bC%*a~pm5Z;<<>mUq>XAW) zLOX>BInwcLGe3CB?tkwd6O!?JHvZ||Yx-l4u9wT(#W&;er%#_o=hf_LUM?1+tLo$U zY%-mWg$T>*C+qX$>uR+qpTsLpIzC>OpO=r2Y&hd4qH(A?Mc6m>0@ z&W7JWp5fTO--x4AppH(#{&%5-S#KTj)wH|z)|%P8K`d~VHa?+Ebm&=XOPPF_a^F>} zWt-hbFa%}LgWX_-xswXKcZ%g`|Z(> zERnn&Q-j%+qdUnZD3V-=F8z z>XuC)@9A`MRnE@K{ZuvfquG&qmPZzj-of_fY*EfXmKW@wt71A?PN3r3QpwWV2cmG%%=ZpLbZynok>ZRC0n@?G&iFBVA#n+?uTlU}f8#jcC_ z4S%~WtJ`V0pPI(j51AUhrp7e%#MSkLcN3a)s3|3O4pNEI^TvK`H-LZG&KUcJU+aK83v^xKFjXj92 zeQUJs7&zCIM}w5mYS+)o*~R3lV$X`%uYc^n-~Pym0%Sw`iJ(b4+B&wC2;WUa8n6Zt zKVQRaNNX>P^O9XuQyTlM$C}<#kcK5Ghww%n$jn3}J*4Sxe z8=GxW!Ui^^^(?3L;1qczD=6V)i{i4ZVea2GZ`(3t-7-SMgEpk@`aCF-+p?Im`F~{b z>watUYRuJ1|aWi`BfS1&c%W z6Wk_2?;&AV%rEX{#SK^|IkVe&bvc=qi+l9_TL5mOH!bKJ7+>C$^DDXtY@~n`tuE)) zP11X)|J?%VR38nEJq5SIcxWo2zkgRknO9^)aY*hCNi%*Z=96MpEZ7HhJHKYP#k_!j zy6GdZzJuYeTDtnM?E1lX<#bYgoMtKW0p$_t(O($vptkFHb&eYuBKqCj9r|b973EKtV>}Jal5hf<>%$RsOA@w871O31!Z3|vVSI`7Af#e z4=IhU9h;U{AYV-xw}Kt zaJ6lt@gWTYVZ67|+v>cS-rX+xP&c*|Z4Sv=4c0@_@UXQ)P72=VVc)LKrWlxC%R6>H zzq?(+trWM{ci*sr#Rp034B}i;nZ1Ck=^?qXrRna#HFS5^=RRAj$$ug`vW>(rSOqHj zd)#VZ^|BUFlaMXDxnrM7_6aEZI%@skAM4IX|C3BQrg#`NwhsM@pgfY+n5e8i=TCM7d8WlPKn* zcbzWTZmv?aO*JJ^>ZZJQNACG#Ir$f2%k|{;35_7i`{Hw)W`6^n&!2s$qc^>KPHv-D zdxp!k%z<4@K29!HkP*Pk*{a+S(?djK=i+T5>>eU~+eBPBpGBmgV{u;4xZUSp2kdIR zjoAsX%k%45HLb4h9m@gRIB%nE@Z3B5_vM=2`$T3ZKAAbQHvj25P=++1u(M8(Y0I0ft zDAhLrFF)TRnOY~JliB5*=0H~GjfC`o-L^A>LM1Hn^Wj?xnxhzmvHf~M(;+97SGijz3Q0qS8el?YruW|1N-jjvIpR-)>8 zuaYeq*vkg6X-r? z^+WONu98fat0arFa#^p<4%k>fQ{&enXv{9C`s{+P2Nm7xRbN!}m;jl13^i*CX)2^x zB7ZIX=W0@~DzhvvBi`F-QJeHVV5|T27k@T%*Q0@MR^6%|owevJffhXkXu)?BNp1+J zyMEPl2&ysQq02k0NBNp6Kz3U#DM**+%O0|5GTi8{qF>eBr}ACeb+MKKJFjR8YgWUm zhk9_;^x$e&Rp4D_B@zSJG^^DP?{e+%VSl@JXs1DI+4j&l(O|oWK=T2`)P{!kPebgL zLujGlkgETH4_9oXGJ90MH8YFZc@M_McQ3XuYSDtRId5`%OHVTEbKvgaY+xPEGAG%} zbbU%eH^$WVPU9qUKC`FaP#(puCyQk@zoRnc59!g%AL>(Zh=FH_#1~aH@1wu*;eU=D z3)J=b1#PX+DcubH5(Hx|cM)g;LwnnnS)(vO5NKFR1;4meU;a;gW4BHyvS< zitxaP(uaHvWt$G)O^4wRoi;z<6Mrk)bc8*0h@q3h2Yjz(3%}ue@XLoxBOLGnm~9%w z9valJ8v1~5$!uend$8-_+3x|LrrD-I?V-SYS@wItS8ukd(Jj;@0`la8TR%t7EA(>g zvD+Vmp^wCXjPv;f5o8{J(sv)(_-{{NzJ2wVKmItmIa@8Byf0>pC(qzuVtL8Pw2a;0bbk5a5{bsZJeAxon1jfeEf8APQ>F1$sx9> z`}lcr`>LE=U8hU$Q3(Gx^E@_QQ6myCnU?haLvmD`mDO($l8CKs2Jd@3fBk|^&?P>8 zhKwnGB&U;EbblXfajN5J^?&s{Qs*VY@1v&|)ft@18+hNC0zX<8@Q;D*_I6s{5J$9D z8#nn-{rUBaABtNxUiTXRjDe?B_x_YAcA}j=WsaRVDNk9T%@F8Go;sz^<-{NK5m^~O zLv9cHi@+#TPplB9^j!hEHLL$wOJ8cIuc!O?JCcGxPY?|GY3k@`tA9v$N}q~7sX?96 zW}heY1EYINn{}QLRsyXbiE?VwU!4OwdLK5|)_;mVuwH|swySf^`Dxsr;{-*)Y25$f zB*UJ@Iv6C`)6*@jj$iq0(ffO~I8+}#R6oro=ha0?dlX0AdpW~T8vo76K6#b(`2yaD zZbu)9$S*7$WO+Y6|9{JOuipOg$7)$Uc@O2fY%x4sWAWPB?(CM`#V@s|&&hXL9$l)L zUQjjDi`Tksk3PEW_lvYxXbx1?a32lK^Z3zdrg{83r4Le_$Utuq zbNXI1lb+Nr9Q3C+YyhR(3GD`K9a#x%iY$eG(?>6CV4n8G2Y*%-9CM0ZFVQR@usI;2 zPe-Ffk4MMpwM83YohH-swB*4O6z&{UGB<6)DQ(|(Vgl?))7J!CIy!opgmww#(OQ*( zOMwlYSWt)`Ebhk|&6v_JgFkR8X|9mAR5a-tx6G3vBVrgwHwQLJk3deGm9a@K1uW5@ zwT4ci|A}>+nzsit1epPUhK}4C3YUtqXO-QHfsvm?2W2F=s~k)zu5wS??~#roORz*P zF1FaL8)mb++Eq7JJIGl5;l}#@<%@s(^?&~O{p75i$Evp$hTG!deaD`tC{jt_gXpkf zT&bC`ur(8=OZzQYJjj9%VfO3WbPRi9t9Ue&kj2QTR4p=+rnmopoziFPax9b)p2d48 z9}B)y`t)3C7`>_bPH7|O6AhE3yJ*sWs8%X(y-3~SEj>|!DlcB49VHThic(q^i(xWW zD?*FrdofJ&4;hu3E#&tz5445!%FJQ5@ap;BfBNBNosb`@S=FWfbZxEurm6hope+8p zl3mKLUQ zd5YZ>X+^&l^$U#_{Tf)3_OM&mvq7b4sF$WRY32%plvmBiGMGLY8Goky z9Y51EtdttyXPP5U{*uZ3%5bs={7kn>tJ1c1?ypbY#=L|@4I~!8)6(b!p7JHvZ+koAo9ep5E6xp#j@Swbc6w`5b& zygSK~cYAl1EiLEWMYeXFcUM_jbWJx|R*LuAvYcDq-DSDUynD#5BzX6f-C5(^OLl*h zcW>E~=>FfqKG;_({MhIHq}Y|-{iP~xyaz}P>UqB_wRqq?P--{R`#q`aSnoknpMl=* zOM}mPe;_4x@E$BpkA8paLn-C9_Yi6EZ117cs^C3L+R(^*IF68Zj_}DxI1)!;f|S|I zpN_^vDLc_8W295L-eaY_B=2$3ztg2-P`5!N%%2NmLA{r`4pUr(-aD9_4#y# zBFnvJD3r?Zo~cmzq4z9>+Oxc8E5vp8{sfcoQ~V5*@pDYUIXHh8=iz)@fD3UEeu0Z| z2`7Ohobk=4ZMlB@E?W4_n+>$VCka~<8PS# Z50#+MOqaJg1Re`DIWsg0B_%~qMhav4{F?v( diff --git a/document/white-paper.html b/document/white-paper.html deleted file mode 100644 index 2a71b51..0000000 --- a/document/white-paper.html +++ /dev/null @@ -1,81 +0,0 @@ -

How experts think about safety

- -

Linear risk

-

- In this model, each term is a product of the cost and the probability that the cost will be incurred. Then all the terms are summed to get a total expected cost. -

- - - T = Σ (tᵢ × cᵢ) - - -

- Here táµ¢ is the probability of the event and cáµ¢ is the cost. As an example, consider that there is a 0.2 probability that a person forgot their password, and it will cost 900 seconds to recover it. (Here 0.2 is 20%, 1 out of 5 times). There is a 0.1 probability that a person made a typo in the user name which results in 45 seconds of time to figure out. There is a 0.3 probability that a person will type the password wrong, costing 15 seconds. There is a 0.05 probability that a person will get the password wrong 3 times and be locked out for a day, and thus a 0.65 chance that they type it correctly, taking 5 seconds to log in. -

- - - T = 0.2 × 15 + 0.1 × 45 + 0.3 × 15 + 0.05 × 86400 + 0.65 × 3 - T = 4334 seconds - - -

- Statisticians call this the expected time it will take to log in, though this specific time is not among the actual individual scenarios. After many times of logging in, the average time will tend towards this value. The reason this time result is so high is because, though it is highly improbable, it is overwhelmingly expensive to have 3 wrong attempts. -

-

- The true dollar expense depends on how much a person's time is worth and how much of the waiting time can be filled with other tasks. If it is work time, it will be one value; if it is time with children, another. At $100 an hour with no fill-in tasks, the average login cost comes to $7,223. And people wonder why computers are so frustrating. Now imagine spending 8 years dealing with ID.me. -

-

- If this login model is implemented across millions of people, one would hope the company is protecting more than the aggregate login cost per user, otherwise they are costing users more than the value they hold on the system. -

- -

Catastrophic failure

-

- When a person is sitting in an airplane, they probably hope the airline engineers were not thinking in terms of averages, and indeed the engineers were not. Instead, they planned for a very low probability of catastrophic failure. -

- - - P = 1 - Π (1 - p(tᵢ)) - - -

- Here p(tᵢ) again represents the probability that a specific failure tᵢ could happen. P is then the probability that the system will fail due to any one of the independent parts tᵢ failing. The symbol Π means to take the product. -

-

- As an example, consider a small business where a Wi-Fi password gets guessed with probability p(t₁) = 0.02, the manager clicks a scam email with probability p(t₂) = 0.10, and a thief sneaks into the back room with probability p(t₃) = 0.01. -

- - - P = 1 - (1 - 0.02)(1 - 0.10)(1 - 0.01) - P = 0.13 - - -

- There is a 13% probability that the system will be compromised. That is far higher than would normally be tolerated for a catastrophic risk. Here the biggest contributor was the human variable. -

-

- This is called the failure equation. Notice that it scales exponentially with the number of terms, making it disproportionately more difficult to drive the total failure rate down as systems grow more complex. For a small, simple computer system it is possible to reach P = 0, but even then it is exceedingly difficult. When it comes to security, small and simple is beautiful. -

-

- That scenario is unlikely to be found for a system that serves the general public. Most security engineers simply implement existing protocols. Those protocols use algorithms that we assume to be formally proven to be correct, although that is often not the case—and it is certainly not the case for common algorithms used on the Internet. Even for correct security protocols that are correctly implemented, hackers have consistently found physical ways to vary timing, monitor power consumption, or grind the tops off chips to break into systems. -

- -

The role of perspective

-

- It is typical that fraud cases act as linear risk failures from a credit card company's point of view, as they statically plan for some fraud to occur every year. However, those exact same risks are viewed as a catastrophic failure from the individual card holder's point of view. The entire purpose of insurance is to put card holders into the same boat as their card companies. -

-

- Computer security is almost always treated as an uninsured catastrophic risk situation. There is typically no contract with users—and legally there sometimes can be no contract—to make up for losses after a security lapse. -

- -

Dynamic behavior

-

- In computer security, a single failure is not treated as an isolated event; it spreads like a disease. It is assumed that once an attacker has figured out a way in, the attacker will scale that solution mechanically or sell it on the dark web. Consequently, once a failure occurs, the catastrophic failure equation changes, with a near 100% probability of repeat for the failure term. -

- -

Helps the bad guys, hurts the good guys

-

- Most security systems are breakable or bypassable in the face of extreme innovation and effort. Once broken, an organization starts adding layers of friction on its way to the Marianas Trench. -

-

- Good-intentioned users do not expend effort to break systems. In contrast, bad actors do. Thus, the trend over time is for security to severely hurt the productivity of good people, while bad actors make use of hard-won know-how to easily bypass it. -

-- 2.20.1