From 2eb9b2bf3d6c5a0e69fd83ab45e6af2a59a45f78 Mon Sep 17 00:00:00 2001 From: Jonathan Gold Date: Fri, 24 May 2024 09:27:06 -0400 Subject: [PATCH] SDP draft 1 --- zklayer-whitepaper.pdf | Bin 191883 -> 192504 bytes zklayer-whitepaper.tex | 11 ++++++++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/zklayer-whitepaper.pdf b/zklayer-whitepaper.pdf index 09f2cb8e3e50356609a9f7d6760b353c4d320012..ccc56f6ee04de19e17ec523f0ce865ac6dfdbdef 100644 GIT binary patch delta 48299 zcmYg%Q*bT}uw-nVI61Lx+qP}nPQKXAiEZ1qZQHiB|L(mH`!dhnHC5eRH9b+Auy4Dt zb+8;Dtc!U3zEb+@Bjh9v|Rn#XUfw>!BnK0)e8f$ zraGGaDg$kDbAtu0(8>&nFucmxYKf>PbA^fsC&-YUXO8)XLIUM%XS7~zg@C;r$+^P; zho^EAF~!F~EK#m((YREPz^oz(f@6)2e-JR5dtRYFhI^=_ zaPN68#0I4IS)lNwr0^ulCV()|Kcb-=hDJ&taO;hM5IB~g3`Ii4blHvug*ZY70^;OZ z5E6z51aST=7{M@!6wQ^2s|)jeAo>x&0t*`pK;fIg5Pe%z?1z1l+EH!s)Y(qh0*%CP zz{zf7{E%v)&K<@K3M@bZ{wPgS3{W@cu^s$kP8|T?3F}L+TVgV(CIg z+nW62L1kgT{6QZ4*W%rH!sz@hBSdh58+m}m!M(sO?)|v~QNiLf%EEv}p#*HET}+mw zgl_|JB9px8gs6qTz-0Fr!cfpPX5{2Fc+BtPj$OwOTCbML^i?Js!r!c4zF!;F@rzjB z8u1fJJjG=NWkshmG60DgaZ5Jkns24jzfB(7tPS1IZXYz=`DBkU_+{;gwszgj&CiGt zQeEptzcc0TzV76gfM@-sqopk+;?Hdap4-RorO)-F{h2s)KNau#4fnj{-7VOvFX`7G z!TsjrPcFVZhvvc+A1R80zY|T-9=N>NHRbPxhsPV_dDF=Z%z%DrcRj0aK<5Q}{oO(w zpTDU^!R*V;^Mdx57|(-d(stE%QpT*_^oBm&cQ^l_#|^h%HP@5Yn@BU*gMzGYJLg{W zh1YkGdgDEc3-7^+=~%GZxkhj--S;B7RnH|sV z{1wRbXP?+(qu1BR0EL6@Bl1(4_S(Di+5G`}a`l$)Cf7GKcVM9o<#+#H=Qd7E-81J2vkDAM*_9RPYIUINp&o6#XU7H^40{M1?6 z!ba1URUjB=*;Y2rqQiN#HrY*rlP&&G=E!JF4XClt;`tzOom=1iu#y;nK3@xm{X+RC8S8~3WjO8nGD~u_?3W z#A;~j2M}|Qy3_`I(#h;~=>IVBII?IDOb775SAT|(FCP4gkTJVeSeu$&r8)jdxh30Q z28Og*4T!qKNq0Z_R+XqgU$lnIK}eI;H+V_K3-HG_ZM(zYw{v?kQxdxYC;VF3L)QB0 zXvWq9^)ma=9BX=(NVa@&^W>-;mFn+XvLmy#2IRgSwf^zegA-q3CjXm<=WTY-hyHX` zro0pkbUScmGkA1U^aE%8GDxB6vYW_#+i$$>+_a%N^<7T^izv7*{leM-81zKbvZ}W9 z3{w&1sLq&H^E*3pK${s3qeO`6%^6NjyVktl4UL%nNG&&oT0d|wUGimQ8?LseX1qIG z2K*kFu-w7UHeo$@S|~TU!|-N(?AN z%kY-`oaw`>^0`jv`ev{1G+k9 zc9?W&t_NliXx3emZL0dma#01r6|d2JXYuQqng$Jid{MjqF5})iR)*~lau3|^0a$b# zbYmX{Mz^G=36eO>=*&QbV@smt3s2?bOy$8_KHl1b=3kEu9^vxxa#pbSmf7PTc)woH zu|ImWQJpw^bPuX-oe}8Aht?cVSBrjLKi|2#=?#B;2O3sHCW@=pYSh?+8Z2q8gF~yb zNG6*j&xjXEG|!1h0Erd{L?3UQ04nPCNSA^%7D*COimAQ;)%F~~1UhGu{%-qJ1(iO= zmF6&_eg*!is@gG7gx%DE^IYhk^_la-EXP?AY22~CTzVXaX6_Hp50O_@?x~T~ODD$J z02Z5WUh{j`pJJ=VVp)Yv(z0doKQ8p#D>9IL@xBmx8)Gnxl4^PK$H42j0HJ{jiS>wv zh={Y!XA(ny)ci~`>blg!o6LEWI5=Qgy@_ZQ_q2qG)RY>P=zle*4TBdQ%sS(VC5huK z$WQS4Mx`RZu=#alg-euJj)JjS4KH4G8fu8F>Mi5p(o zYl94`VdG!=C^G&yFs61UNvczbjdT1lD4?ti9RJUo0o}TqNk=USe!2RJ@|PFkbQx_P zZ?-1ufAuySMzCv%)m}hLBe$njacLW*8V~h*J%L05O`e}zq;ujs#)gt5d?ZNvz~XCf z)ZZ`ocaMHvD_`yXzCSB8mNj+HjGlk&jw`BGjw@KmCNGyiw=X`QZ|(nS=YC|y)SGql z;)YG;1Fj+cc(?a!^?JWSd--3kYc_MZ!(Au;{k|XOX2{#}i>=!EvXj}zW_7J!cT7+7 z@BXe@1y!Xji>U1l2l%|M^BCf{(p5*@oqB z-(Q-Z*)3sHN7xTR@Y%@w?%K`rUC)c(#Gbyi9TvrE!Iy_E)@<+6G2Yd4^XHA_Mcj#3 z16sdJM<367?D6nBXv4Pjv5|h;ZQqkKMXPTWpx}#oJFhr{O+El`rQ3Q6Z&-`F2>IdQ z2p?{3SF=E5r!WzGr#NUKCRLC4^iL zDFD&<6Yj&-O`S=Uz@}~soZ%V$QilXz%Mduvw&Cnh7~ zJ2xl^y@&F&@PE9)O#JjEntn0MMc|V zv<6@oIL1gB0f9%bfY&kE!@C12XNEl*6|kgrz4CqRL9(CO;h)oUFKRHyPD_#P>w(wF zQ_dTXvy2z)4vOM_J-3aYe~eB7h|?NaN@0+BI4zp)I||j$2fd=(PPfF*TWjHch*Gak z6s=$hA;*a1H$N?j8a(?H*h5S#ZzYyjJ`4yAT2Ycqa9|f3;-0y4df!?J9f%I3owUeQV z&#~|L58C(4=?4AtTaWJ+`=**5e*{B}tHZMK|dRZX3`kkD3DwQ}%c z+DvYnc-d@%^KZmobrVtBJj8UK$*8Wnz#`Z>ax2I#;{}23=p$btbgVZewt}=ixguNe z%fI8tJnuq;uvZ45%qy>fm?-kY45{cQFY#*f60h9IJ{FxZHB5VIfKyFPEvqFskgwkd zPj8LlX|9tzrzBN_4na=@&VHRhUq~@sV4k2z`1(kmS)F3cFu=%tZu7IgC0N^SsPk_G z0jx)LMaDlT!zY>_?Ge`!+x`p}yyHqBU$v&iyMpk&sYXsUla41Bs-Eh!u#DAUamCk{caHS|KX-b7oh@~?8pTZa@jnA7) zelO+CNSD8=<{L#CstlGvnnU(?r5cs{66~sm~jf%<=ej{CVty^G5bM!Q0H_C-Am5n2*j?`-?&wKU_}D7HW)(y?BMeG-V+JZTj1_+g3~fv&z#YUKh!8zXo5 zP@nL$auCSMr3FQ_=yd-Hp){_F1x?ewoup`REu)KQ70Zk0p<<;Jj>Hi_Y*`;4Y1jlE zl&Pd2bD_D3wcQg?n{I3`0>s2ch#6wEGHEQ!+HiD5O&Tv>3M<14c;o5cKDNT^&BX{o z1glyHb#Vx6;SWPg5lq-{9VnZR$Pq8PG+IiwknDH^Qs3Yh z8oH)J6WKiF6_GyWGzMaTW*T)ph2%e^WS5BfU_2^X>A%B`6o=`I&bXy8QWcLGj#f^u zLe3Cgu+WJkfg3uE<~}rF74VNkfbY8Z$K0-p8~HLV0QT~A%Vlfo%~S>Y!oOv>o-hlW z+l|qeHtX0^(Mqy^xL7h(*z^#DA>f^4A@vL-$e6H&!cEFJjiONisRIA{B56!%ub~tQ zJFt8M**=Z`plPge5Nob6|6gPbDK5~5{~xkuXWS737JtHGJ!oTCQEQqrNz5<}=;+;@ z-B+IOE=Oyv>_=t+Xv3!TQ*2BFd01v7?k{9ZMU1!*`a_N}L+DX1b*w3hXf0KW`34FJ zEP!%~+(oFL2;iIlquk79d|UwybD1T1n^#YRFlxGb#M zAdH#INyv(S3mSbO>RsLh^@@LJj><8C1pqRksujY|{mJZX7vif=Af?hxQ@6yzrxWoG zw(_G;^qOB*rn$mg(&3+#YSn{Tm9t7YxZ4p|Ei%Q$gh>m3T{$-2s< z=MQ^5$n8)hJr4(Dc6*;I4d{V?Po5%7AWU|5jo}m3TuLpAnUz(VXa87Z;C)T-j*bL2 zRBLD~xH2>CI8|7Lan9iq;Ym7@FyOxEFL8DX1?(B%Gq~o0iaNXIiYleVO5t5JpTsx; z;(dfmFRg1~~OqLg93PVY=VcJctWWqF;LlhSYeX@NqE@{ki{ zTL!S1j@+Q0|Ap9r>z_tsEvJ`DgBNq zw35Ul_%gD(J{A@mTclem!eoO;F0E2zl`AmS>!w2);_Zs5Wf=8xBgwaj(Ir;7E@JhB zwq)0E6O{}o7ga6E79i%VX#kdH8cA%HU{4_4MZJ7^&p>^VA`Pt5a};<(M?iJEEfD;< z0|P`7_P>`@Us6dio!o>mbDPgw^>Em;%EMcJ%E9eZq0xzDhWMcGBq1^+ls+({DnC_I zx%mtQlKobstl1KW07q$UTXF+OQMJDr95)nsI=tNGm0Q_!0KF_@h`*0AB zu!Ux3aA+v#U<@;Sq4qw(-xr3@%NN^`Z!Flh9ES_-ibZ@uvms;r{JD+mAhMEuWy%x& z=`jBp>3$fy49)kW3d#-8caS4ky6Jyt+OzOwaOl)cyV;xC$;0@{ZSsB-#U zgfE+m`;NOgLE0!3cKA1`zCUtwI$yf3Y}^Pk&^d{k(X}2`?Cv&Jkne_Ze<4m5lE-DA z!K%pq01{G^DFCl`Q8pDY7$R&8%0WtoE9!a6mWDpcWX^AMfa}Wb{*e!M-_xg(>kp2-(%hC6AacBF2`iKX5d&= z7{v}da#WyYFyz>iOQ%imN>}s*1{^;{f9HL%QJ~_NEp^O-r2WL+X%j;7D4untqN330#5vj)k2$Uk^)S zcg<@34?sXU#rfvR$iae!XK`tm24Ujr?cu`*fMoZ;+>hS!fD+1wSA=y(_9_zTUT(%V_wuj4NPdf2*3!li#bEgdg76GzQ*U`!|<=xz1U zt{{u5rgiQYl4))s!A`iDd~Hdij6)=rq$YiBv0Xd-MQOxiccDx5-Ys=lf*=-a95^Wt zXW0goj`Vk?LOgp0i?v}njKWSa*4jCYgEaR>u;U55g=V#h{*xLbK>B7`QW^8#a6(Vcu@m=XN1gVsQ=F;pp8X*%Qg>@Ll%68Zh1iEkS2 zH2c8fSGI!sRb$T|xywh*&;^b-fm&XLBGEOAm2LB?EYz^d?x9UL4_92k*Qe7=aBw_SeV4 z%eKQ!ODo^XpPbIox^_6^V0fJ!cRI(%(`l{^%#EXf-ZuCszTnp;3^>W@*w--JRzjxh znLvG~T}+>j1{a1!R6#r$}k0{hco&;b4oWO>VvW8FjDw8NK^h-}Xr> zU*_!9UoCLTsBEFD>0;gPpA@pJ((k*>5MD6^8)j9o-LY3hzG;)sXgVjPLET-r)1L$P z(zCiaC{V}Mv5;0w)*XK2reI1yrOI9$d7zcQ149F{&f*Qh+xHw?KT5;7eCi$N2ZvWV zuTgf*4VvQ_s%2ja4*7!o6&fSbre+YRe(@E?HQGBKi-hDiX0mdAWg8S82%n#z$P)u~ zzXTg~+Qp!Qa)b2=2-a%HJV>QY_ND{`wv14vQsFGuR0%A(BoJGr<4yyhcqyO@>-_T{ zT>})Ut%&0Pc*L57U21~{g;fOgl#5+2EPc`BK}g%7)CWdYYE&E z2M4B(vn-(@4M7*gQAs=ldiO|mG<*|RV>|$t@Q)-k2@z*Va9$LRkmO%Yl|8C};Ibhy z(YnwCj8L-FJ($pb0Ei4YEik4fWw^Lk%Nk;O3%?^NpSv7lMZgVazQII{6o!FN@KZ-|4^RK4H9yM}n z1A1n#K4i%;38Z=d4sA6JWg)%9Ye-#hMt-fEX2=Pb#rmmF zo?1As9$z3o;Ev28I!dCbRMDZilPT)HUZ^NS|8vuNWPn9CQdmDqA>tA= zK|xsD1gxT15fmP%A`{1g&_w)a+PjP&o_&Ft`~W-}z*6^%#(~-~dEeRMP(r=$Wm&bZ zc$|zYuJX>a%GSkpF1w>lsSQh6kbgwdB#?cn*i#kw@DJ1o70y?*1+rvPeAE%Db0XaX zlqvL*Xpd3|MrDE(k1n+ipMscKfi=T$%y=`695U%_LQWmc7*Ui$8jUsC?mSC)vLALF z#0eh@;2pq9ApK=?#Rn>Ze=gm;OR^3Y--DnZJa#0VV)J2g+0`exwL%wc4d->Xgi-)X z8t`%qmeK@G$F8h`uE2gd_bC1^R4uHbEtE#%Zv=`;>=QJVF&T(|J%{8|RdHT4>$?1z zakHqUqJXqg4yg0d4HW~d$#%bnL6o|1<6KhYv>qE8#r$3=rD8TPgsJwRN!<`B zz{kQm7R<*yMEA}M3X*c^3_aR$P;6)Xh~NliQfec}x-nu|)5bRjA2({X#c#}X=i^Ev zM;=?hP#^s!IgKSNF0+Mcs*uoLTXrn8C-oEsY0AvC5gpmCNs;Y$<7AeV(c~}B(8*f$mEnqn% zB>O2C{VjT33-g5zCEAx&<74=Fs27{ngVyh%eWJd>KU6>;cJY2~|3wMh=x<&GXl6zX z=@U6(v6Mw0A(Jxx!@Z>Qkvw;wPD3F6r(}XE1Od(|WPrZgvN0|JCEf$2Qlfm#P~a2Q z65V)<9t6SbA?RdK?_~f~2Tn%VsZ_)E-v;d<*$`3lpXfJpmhMd75_qiPg`*4zb#vww z^K}=eHjpQ+$q43jb{;#I%IusbK&PlVma1%MG^1U`-?<|4QVqcnEA^3bXgi@PdgkxE4_@~pZIp{wkYAI~1k`Ih0sVwYtC`SnQT9>Ie4ny0j6LD}iQr2M_02U_HS^Mh; zG-6@aUHbF%@T?MqXp*RDifGcZJ@my2A6gY3I_5GBml|i&K-8`76NgIKg*Cnc5%3$U zs${8rp`7p#S4y>!GW|fbEA!{ex#y^wh2GBY* zLBp_zmUT8w%$jyIGw0cUfb(*{w`~welq>@*chh>p|Kfp%@aJK~Oq&QGBRzswl7X?F z_b_wp9S!9#heB;dZoesk(~@U}AK^;#$8-tOBA7CB{9BHyJe`!MawPkMCC{D$rQo(S zl?*a4GPoC#$pn;tsH!K~`+#%|QT)4-2~| zlqZ10E5bV3muDggfT-;`p)aR?CUf?EJavY{+T=5V(~h@qED5RWG8m(k`;P0I!5~Fb zb3GmcZ*kUnlyt9oDsdDvb#Hh#O1QZB?()oG1~}kUo2&{Ob(0<)v3<|pKJ*)=&*piX zCuzfED(UX#ZahtvBx&*?U`f#!2zV+h=-;}3* zw|j4eu_LGQuV%#!hlb7I>+if1Pjnu>IKBCY5z$K=KZIj~Suf{Or5Gs{>HI+1pBz1 z%}79VoU~le?zAFWge`*0`;3@RwBhJ})PMlXf374a@cDK$?2sbi&1?gEiC*f<{iNc+ z5hk~x6CCFC9%`;EMKErOH^JtFG@{%Cx?Fst%x8!JN720@{W5#8Bs|1f@-WOk?82~X z{4U~LdU%#_vc^f;uqim=ub+!8oQv}x9vM7RxcICtEJ%kX%6y(%yNg|?QnGVM0j$eIy)@2A1CLGmHmA1B~E!m}gWA_d_- z`aC#5@`&Fp%3L!{vydbH9Y{!HD*1v!v)iaBPF*j>QZQPhTgnGQVmRcRESlj+!VX^d zAnnMVI`LJvHl_Zbfcm^!e`Jm=CN%CpraoJ)nu*Jc3Db zm|@eU(H=$z&cVjre~X?FS+-PZn+nXTd&Pl^!MKFE1zl<;%(WW+IhJ_J#xM-1)n5d7 z`mBkjYN0pV{Ar?LA)$Hz^^7KNFV5&2G`-v3G`llYaZLYb?LE1azzo-p@N!mM)hr&T zww0bBM7}pzTZJ6l%gdAwzJz0OBnT2AK;82MzSH~u?TzmsV1|y_W*^6q7T;VdTj#-o z`yCgoJF2&t8c<8qQHCo{6Y{t-M;G>`bp!y?sOgw61e5!orwE=y5!+=H$uw4+|B^t@$)-i zGb8&o4t02rH-8{PgX$npp{tP)j2~N#>nyAfWub)dY_IRwjfbdNt}ObOEokjN(Ldny zHv+uL-%`ct5*Weykpira%l``ZF&sJ$V|BF|bJ%i2&_jG(hQ;t#B<=F^xp4R!sH}_z z&F+o$daQz9kDqZO>* zPZ@*kZH5Hz^4FC=L{TEpP^M%<`YmnFu}(``@g;0w4`Bb`ygi_IF+$W@8Xoi*CyT632~2E9oU=^qgX+5q zW55gEy_1w@mpyUyMn!CLj_P(*8L4j3E==3V+aW!jP)A0IICGr zT|5PlbNu@bV(00qZ)K_4ieb}Rjl;lu+L`HD*tvaI!cV1e_Axib+xZH0@)@EX+4cRV zwHFWrSvv9A$a(o%xu?}SqU${ku-%I{k=`z<(*E|tg<}RsU*}|a*V&d(>I-s^s}IhbPl4U@+{zEN9MI@!FEm63@oa>8|@pe zY)KSe94PPRc<&JM*hL)=Wyf(rO^XWV?=$=T4&wguy}9P3sRCRj`?xSjOm+JwEm)ji zR~dGge50v7^MLYevL2i3T_OmT`;06+w=)arUF!jk+4lp)g!zlV1%_LAVG#BVk1bx) zhiVN%oJ>=-Mquc={-*5&k*9F@B-psGl!uw@s8uhoxGgfMK~*Kk%`2tH_vl6nqW0-f z5YId0IDJ0Fgg+a1z#*e3Pou1{)Fo)StUrdkcwfP0n>r)e9r!+QmNlb`lsk)QsoQ4aVXc0M~D9P5zLEFEyuon-eZJvpA0G>tP zCZAhMu=g1t`T7`&h%Qt|OTm9VeRD{3-GoBtjhTpVyr%GbV}FA7(YZ?2x(0#VPb=^P#j3RHnSAQdziRsY`h-M37Ay!S-D zcF(89MxL!By`13jlM_1>Qy{TS70TIJcJ|Nd(d))afnn`iD~!*d7f)w(H+8D*6j?>R zYkQe0t{TuZJfMZ*GU1MO4d3#?MP$`Jh21=k8g4 z2h8F1Y9+x=O7tgFN}>NX?yBF{SE)KZ7T_7)+pcrgweq!lv~5&p67@P96Cek<5@w~? zL;Iv!XN%cG%ZZC{?E%1KNOG+8C($CTEp}SJau@Cl3ce4eqR22C%Y4pu*p+v6?DMh` z<2C+J)>Hw!e%D=LTea!^_2gH&1u)3- zy#KUV$sP9X=^=h#_c65oLuIO*<>YPoR7$z6xyGb$?EVpqQi~Q|W?OAAIP{mTRS3Wp z#NE@uTCKMU&0$=kDw(d~IIGy-(!|F*{B=v#L=aG^<8AI+_-wYbEJ4Oc$0Vl=2%(2; zgwiSCrsQ;06>N+dE3oMFUEXp|04z!^Gs2Ym;jk+FHOZ-#H}bF(ehukl^!A zbdyNF7wU`b>ECA+=JnFo5&^vRpM_uVhzow+?0|IZqXM=HE+Xr(EBGx49J3173$dQzIK z4w9P=Ib5QBniz4FTQ~~bhU+~dEjAN5un>yuQP8aq1^%SLqpCQ8UodiQNd_n4G!P|x zR!F!)v#F{I-7H{{hQ+%RV|?+YDk8#z|3X9kr`Q4kug3T+2j$l#cy(rzE5KVFQARUoFP zlqN}UIvb8IOAU+=x(U->znwcWFss5VOp@w+5OwLwKHSt!ODtOmz<-Cz21y8>8S5Y} z6hTAK!jdGP&ABrquGld}#Y9?>Ka*5Sy-+NmXGWo#i^p`+@tG*?4O3IJQqydIiiJvG zUM*>S1}n>#qOlV-`Xai5h4>08a+JGw<(sv%y+h(r=uOcX#7#Mj^AV?D#2~J6KU(Op zVzQBRfr#0k;P9S70idl)x6upH80d>VS3Ltc^Q@#Qib z&J#&M0_raWG`_Cd%Wb|$v7tw5R`RB!Uh3eKiOoWi>rck&bRwncZ@V-uvzptl%f5qB zPg84wE9As4=hKBiKmZh*hQ6q8m%@WF*a2BbpQq!5)FBlMfRaGQhG10}4_yD+vr|P^ z02^RkVKB}|{#di?y+!be`xM{0AHn@r$nd0`LUK_y-m53~eg34)vx$3jB^*2gS_n;( zMkXD@L=dcOO@8dRbmEnIy9x=6 zHU~w&Q{wR+@Gg@zi`nFs7B`o^Pi`hV6?p?<1yq8FtYw7=b96c|tl0Aj{(JL|=+sh- z#62O^}Fx%?*VWgf+m;JjPrD`!zPnv<78v z14-USFnNfzC>oI(JRvGp52=*MS!u{PBPBP6HORRJIJaI5(j^cci(aRhX10U<8VU-M zLFPK^lkaAcP(F4!JiuY1-5_1;-?)|Kmt!|?9FsYXe(>hOFxLy_-s|;0b~-jS;Pc5n zE?NLj@pei$KG~htv?C9CbIxg;FhU+ruV_3=uW<%j3lKt-Q>^1|Ya4q6t!u)#po8X3 z4qjIRY?GGtHCmM1B(A|eu;i3?LbEHoqqvpakX=c!Q-if%%qZ#4)|q8dFV-_Tnp4>q zoFz^?DjQ^AzVr~h_fqqs5i?qXa9g@)UK-LWTaE_--g7pb`FR$-Igq$xBVgUzZ;Sb4 z`h5WK1xryr#V4QE0(4b0&PP~JVYeYv(}wC_;y;8^3>w`+;&|~j?^t^Ug8y_>(>(e&FS|ln9Fu!SF*3cz z=P{%5bjE`gWO-bQZtB<5EGj4~SsScc_lT{^l!|ukdK|m6{WhGnN57Ryloju@12D9pMVFn3Vf$9OKxr1cl7$V#?T+ohA zVo_t7AB5na#vrGlEsM+97C~mUlvfJ8MCXQGer=u+_qdLF<1%6?VRVvZKL7)0B9S4q zz~TShEf-paI#jbEzRe;o7o`yFfZQX{jjCZNq8ZNLKDhaI}-HG5fRq=j_VSF@j(TG{`xP{ zaa&;is7$zhzubo$?PA*S(c}?e*O+HLdYVR&scb&aFHl(h^(#&}DTX>l={jfN31Uud ztOQ$(@FFj6dhv4!`D}ONX2}L?W;8lI<6*b6&g2MuU4=Nt;12U}3t4p7e-XRyU5uQD zbwABldBb~R2X5(w{(-cs&F*PL4(m?H)k*Sdv{XhY_wVnEiY80k2SEWqs5Uh?Po<>A zcRaprhp@YP^MLvNia`0S!|YbSiB{g$aStR!?p~TP!9EPecim7bc8dXi)+Zv|SRO~s zNT2q=PWo|u!1dg*{f)YQ!eMUE^YGFTrYtoI5h=jvitFLiC=_Ct0DK6FLdF4|5;NRL z;C3|jK(cYw*iG7hZ=1I#D zN}&~{n14a>JRa7KOpYAF6~|Ievh7#4#t2W~Es-=7(FLSNArQ~I4P+sA@<*5I?5J`U zes;{tKm=dvgFt1h`$2t-WK7N@KUha7OA zMElH2P9_0uN<$KUv_^E`pHpctDHthD)RsnzqlB6}jh+W5A5<(13tPrK%D)#}49(^R zBVcxbriOxsRNMz(U!x3XJYh0Z?Bg;-@8b%vqzH<$rqoyn97ZJxY(Ot*{#1LeGz|YS z(1`#3r7dl3h&FCS#}ypqmt`K_4!1)IS2|3$2KJ0F#{r!;tyJF zM;$EbYY1S;1H9!SsJoV0c}I;H)z3l$d^J_P%ZcCu2}Z-|XbvFNFq-l^I5 z$dKjr4d!pB@$brL!-WStV=ARxM8DSL{{tG#F zVa=Hyb}3I&MGe$K9@HDB8y~#g$4>iSVkbztJZLfWBsi$+kg6thgC(q^L2t23jFZNXj_0jJ@ z{>rOH^7_;Wo}i(v(lOkkvzW0;r<}G2U|V`^$e+d$M1~6S}x52BLlN3FV z0Rs8nTEIZfMJDd=IGJ%@P-@jZo9kHG`GJ5Ml#Du7kkH70Rg{mB-T4 z;|b;?a3I#~Q6-&`wfDenwFWouJ8LkC1D{l&LDe^ud5Ab1JBiSdYwOK9aGIq@Qd(3N za&uOlC&)e0A!8-SEt6QuBF?KTH8t zk+U4!X^iZSHza`mn-J0Nzn7t}0;dzxUwknX11*^_F%3)PWY!sqmB@udI((hIw>VKz z$8;InS3x*5Y&85$qU^Z+X}8b5lxVjc%UNmCw14!5&PKg}l5QVpSr&dZr>If#N$w5l zau8f?ra=beLPtq^c7TAV+(==5eU15iMjo;5E^1LhJI zVjoSx=$P4Sl{8aP%|qU(vh_opu;;V3xeK=EO{-Z5bUOxISh^#eRvR$j&V}oQ#ZaR! zv5=F8%9lU~t8fzM*ha=(fFSByo;Fn+YEw>P{@Enb0WNsBmPRUnAY-!+nhm( zc`e;z^>DjeXXj@^d+lRnv2g&Bm&12W=9g1Gf?dasQl$w|1Oqd<*$J&Yo$O-9$&K~M9YmdD|I$6xaRqq3_ zmB02W*Cb~`Xz^>7`nyyw5i&)<=8X3FCGjV}m0;_KeP923F5X=b*@JI{GH?p^V5yFh za*G6XS#7L)p2WGD)DbXeLFs4{a$~KEy)XIZ$6s=AIZjhpm>x`CJgE(rUKw<9*>I)^ zS|X(T2iuJ#Z%I6^pWWEp5pMo36qpO*h^o9D>)7+PB44h{I80?hBE_9vUKRrpQcI}= znOMj*`R3~^|JN|a+w|wDy`D4t%Avpa{o6CW4~giLu6FbiKRTd#v);{5^Wz|E2fPe( zCBIsHT>xnslCg(#B7e!OP9kWh;t<_B*S6E zk4&_?1ix8so5m{bG}4|1F2T?&#TC2H`{$H|i)*3OL9sWAVvq&eJ=#FLH{G71n<_WV zK`X|a3>cw#sy|@X&Q;&f-F!{meGT3Ar{Le+0|$eF>I()M*S1KkQ5TDLeV&LSiM*JR zAs6Em`j8RtWyD1+pd3#``wuuH2VSe$KVHUC=CuI>=$#kf?9(KAq7=; z^Ytsat{$L@UpWeDxjROc&P`%wus!~srLk=UwxH&k4#vmp? zAP)_h7>kLb?1n8TA((dymL+vcNgL?pTA*M-GeUAAK=YRp7SVxmSbAD8VAVV0kST4$fLqNh$lbD{Fw)w1Bg7 zPcEl7p-2laNc>3<5_msTbc=}DA7#xLdX;HMD1OTT*)d35~ z;JyZ|$>r$Nu7t*4+VAGQerv#CGzX07ryUyBnV+ez)e1vc#u9eZXDX?YyWki1AW9@<5vitKTmaTOZw;7Ge)>2UPFSP6NJ(~g)}EbbGrF=Z zy>2+Hw9pUgKZNEAw~tDBZu@e`4U*F#e0ma734uJ!VBm$JO581G<2<#p$*ja1JqeeAE8ow+KUG)dp=x)1pc<)80l`@u7 zja@mw9$y4?K}W^V)9l=6*FzD#jQIds4FR&4liqY-FQ%SGP}!OAwRSi%kcPpYg!lDC zum&DK6n_-+n&rZl(+*L=_QB8#?Ex&=QNyGD1Eb!o`BO6Q%(jPX(kleWL!*7aPq)nK zJUBv0;WfGg_ZlPkbDYL%m&75!xvILedNJYnC_)SWjKwQu>b%q9j%-!_$;=A82HJ5P z8-NN8`L`%$u<7LqcpA2>C1i`|@XeNjiGGgXd4D<##>Gq*iX5VMw@clBtpZxNnbR{V z(XGNdwa;0*Sf~N4Y@A{w2CWG?eBE=g(HEjw+0aAsdJ9{@hCrOWwxcUYS^LQU+5%wI zPonkoKZ0##G+ugI{+?tR9oXq@vi#P?EFUAvM0c<-+6!I`eNg_s={VnI9-f+s0TJrX z&`>;1;bw=rM}3%0EJT0Xb@TanM`(BLdL!hCF_Cyjl4$|iyHihD(tTZrRKnH^;F&s) zXc+lTEpq3Q9eY1948IbQGLD*fPW}RbOyvFLk`$*3$(G{x zTDv!yRVJrxb2ZsD#SweW;pR#0&6MrJKStFdWt^-sf6(-~`q~X70fO3uIz2I!zNkrZ zfec1}^L+#1Pot!RR^;*G@6to*lNgAuGMR|1EKwshV9MC-d8Z9ror6|$4yxp2ZF27& zaMU_q`dfQrCWA!{kKzDO(3-6Kt2I!52k_zPrtD~qA4B!w^S;yGB&JSJ1}E-fS-F3{ z+?8;IKJ}x*QSL)&>7q=VD@KEhJslnnYQ0u?eU{GSudt*n<6EMqN3Y*KfBoug%nTQ!AI`WOJ$m*0 z$;-39z5l78mX=(oVr)taH*uZ6c=YPocNgw7FFCdTWVrJ$FV5YSiEN&{kHo{QE;Z+c zCbEQ{?=GIa)P*grv94F9=znn9l%%B4ud<}nR32uR3MZ_z+r1i7R+a?B=j3*=+^){3 z8BHtDmE@!OWO22fTvaH`KR-1px?J-Tq)q&F@3!j=sLrX>A4;W0k0-O$@@y=mR-Sy4 zM*5HOph~b?N!9Qw0mouB9aJTT0N|t-?SGw7LPphUJzFmFY9Qd&f`1-NNlOjVCsvHU z0DrcmU|mMIUw~pbMd8QIWVZNE!8JG>bD~mukMgimpj)lk@Jdm%WK0dJ6eUZ^y_g@p zc@FlW<>+F2d%Ikn3hdrY9hM<`hPiIt)CTC2JzJPxnO@G$Y)$DfjFEIX5VC=2l z!(fDNh2(>yQ5sbmB?m<#fnY#sls?@T_6~N55F$qOyNvfmI;E!MyI4OJlN3rhh@%5z zvcHlKViLPmYWTcUDk$)@84{Bc0R_(7$@KN+8j{XT#;I&cq^))L^BHAi^yuQ;sepQ= zI2|;{8RQD6B!9t9JIK|%r`M$Rj&4)NuJBZR^cMJGd_ekU4tLuRA0Qa6juie3OJ{yE zJ|uW;-jvur1%BfS#wAA4FSEs!E67Pwsb73uZ>pOdl1!m)};Z)#!!oBm9@n?g*GlBI`Z18|G{i<06J?{+3WkNuI|znkihPYgx;b(j0D9?LxxXJg@EMUiXqbvsO(Cq zLdyRN+=$CL@T2mnhznX7uk#e^{N?IqvdO2jLfImAQm;)$R>B2T2rQ11~R zRuFW{&G3_M+%hOd*q{m`s-$&=_w3DwjA|ZDr`0^91*eI%Kc5H1irp$bd{E@lmXscu zd4J`=u9T;W6Z~;ZV4zuj%)n+muHdXuoo9g#h#$oJ0x0Lr4-Mffk?NV9OCJ6lWYU4J>_Xj_hh76fQuU*S}RnuMFQn)t6p zHCfHS`eXX$s=K|gSB1lWexP&iEy%j)P@Q`B(jo;-mOIpfyD)hr@nK6tFcv_7xlkL3r`)kyN6lAonre1kc zP=}5c?p(n$m$UVByIxnJ;i|$76Ann&bh=zjtJR|JWjnq0^ogJG7&`_6Tmo93zd?qf zr`h_mKbkBq{lVpAGx0~atC?SrgpbJ-7bw4;DLH!R&jP9z{%E%G-xW6b`+x0xxpIsG z<#%3SVZOSl-2CyClP;HZw5g`oi{*TI zHLHTn%x9nLA`i|#{qf29%YTRd%omhEwVI*wCLiZ@3mEf{Paft*eg5XLyIAp{0mbQP z=~g;QPyP9NhW#KN$m_~eQ>O6bbh}!?SiwzXZgaa_yOPubR&H*$-btWTIEZt4J(x{j8n4^!M3(p1b|W3WkegKSbtP5T!dCB2(kU*G7IKv^<_4#)}?np5CL2FLsIYk2yKdx(M1K= znQguX18@SF%(qSb({W<8H-S{fsM>{LyyCl2jvGLV7xC;8Imbqmh5rV+s73!}2BTFt zTD%4W7q;-x6A0evs%^n z7-&kSf|W$FV;m^U5)RznY6{WvyE8E8b=V$l1WRuBa(_0TZLZx(0hORiCcl)(4}vli zxF;&ziVeeZEnpOfCveab&{PNBbj>N0H~{DqcU_+jXzZ8+`o3}7b&@vMpiTB&fB)pw z;~&r6y0+lp=KL0UVQ~uDZ;^+pkAyAqCy99IUDUOVPuxb`L&gfOBEu{gG%}7iQoo#G zU6(Oz4}bHkfcAB?I(baSy;(jYV=!z(ars+20!R$(uQD}-@(^z0wG zCkLP^v$C0$5m4KI1_vS-5hL*S)cC{*X&n9;y;^#LE0j*tOW$E0Q44fS?gRPEl=4`- zyeskrElurRI%+wuZkDUB8AJH6&Ohp5sC&jBYJUltAop51M>Sa}$!W=?C%JGyC>u$f zeruYYrn=s;IHEh~mkWCj%A>e`Du%TwYTT??PI>R~7nDr72^q}Kn@2&IM6KPdofVOh z2>ODIez~~Bd>!sG(nOaM8=a<{-eWzY9Ozfwhrg2+S2FpqmPMew;_+seOh)<1FFE^= zvVS>IzWv!fEMIACX^!vq=pkP%LD^4)O*NB zbc8F-_u>E{a#2HvwJ@eiA;a4K#g|-kna(Frr}(+6&FS?@e{PS6m$K3tHoSO+HDFuA z7A%smQj7lK1xvnecoE>nzB#<~AM9c6V84v(d(e&+rDk$a@CySpD+dZMwj}jZet(#t zgKE=8(M2QiFUocr3W(JKy!_1xaAMFwCK);;b z1L(QcU`@l;_=1Av@9|@Io;{1AkZz)orJX30nLYz&D()DC`U~T*_OM??#XV@x@RAJd zvN+@rymnc=qY&lCr_ZbvzR_vQ={?pX$^qA4RImAiwkyBh8ZEabTm1Y2bbqt{e8LvL z-K~BAJ5!7WRG`GVeCD?YZto`iTYuxyc70D{OO8Sl5H0+}btf;L3tn2TA@oCCLLh`(9HaqNKe;u~x5r3(@a7O~Wl7haj)6qqey-2q!pq{mI?=|z2S|{&TXu1%F zmeh$IU6s!73Js0wHh!Po;&vN$mbE)I;vE_3H7U#k;|<>p#9Ot1hmjIew**fOHNjIu zjid&4WEfEi2_N#rUGOQS-0}_8T~GfU2QpZj)gs zhE>b`JfVhR?#g0UW;@7g*vTMEmYRzK)C+!(_JkI=c}`In9HNEXv*WmKRX1|rdb`Cf zkpE~OREdGrxuAnA&v?ss23nGrR1#r2*lNfrxEgXKISKg!wbCXuS%RDNa*oIvn-Z-% z@NzHtQk=)|(i-eR3V#v9tDzzjtRbU0#M)D5Op+Y1@g-p5vC`47A{SEo?Uo zw&WCA4LK4SWK@Kj6k7NQu@O{spaoiloXGBAixOzBC1*)MB!9LvLI{>b#D_{1F7#@)vfhm=#}g|x<^A0oKHvp)5p&Pp?)7ijs&3?v_d~Vc!NrYtJREWz zF`a{&gc=JH(r#+j(mPOV=&|T<-w?pML*%74jCPTxp?@s|EZ#+$hUS{POs2gXL_C5| zpv0Wjv=nMJHHBJD&D|%*Q;M~E1S!;-!RDlrli)7YYPK?|8u$nIB%hM5&hMG4feXSM zhZB5)bZ@TaTh)#H^WNLdkxHO*RVQKd>_^<^FbDO#gjAJxG1t&Lm}}^<42{6aU@1}} zKHyEen15qL;JX?$>tGIYZOGRdOKMF30wmJ-T9%|zsfp9Htf|Qf>{@c}UOB!}+|{E< zan}quCz+fScW~G8l>we{d(gqx>C*Pbohl_}!3<)cl4>9Be5<-qm~IM>U--wF$mn7d zW(8C5rI&WV=ZDaaAXkV|e6C*l1Y?||cZ$)5o`0018Zv1iJ46FXH)Kj(@IlBIM0V3U z#tpt0xPv`>F@+#JndoSVDfSw2ioJ%MyH|#-v@UH1(J4&p0p}!>lj1J+8on}_or3&a zB2Q4<64N)c1JE1qX4L!{9?+BaLwG5a^oncm8B<%JCiEDp>4{bX(Jdos<)j_}8;c-D z?Dw@2+oTY(12;{{I4$KVNg+khQV&{u&3|M3+>WG>fuJn$S#iF{bJnfuM!VqcJYyB1 zwtH%v&Mr!VHC#+)^LR zBC5smDAdTw2?Kmu!$aTg2?~x$<2+k@N6zpS-^QvU;;to5)4{YSuycqaP~c+O9e?#= z8SsVAcgHu3hz)z#bxg0vGw;xw(YLp2#k4Eu8l};|8|LyT)wpZNJsAeK^0Oe{08{Qe zao`V63}s*%TGfr}0AD}n|6zfTA;!-j`&SQTVcY4e1KTjVXmE#c3o3)WorrXO10)PS zfa4=+@d5|Mwm1P# z#woJ^JPQCz`eq}#S=UgeA#_oB&Wc4kc6rz=1 z13^rfeV){}sv9LaXn0h1uOm$_?K)CFlx8Fm9toCrv^2O+3xNlLjTp#Qy?@`ZhWgoR z*ASQQAn5w~dr!mbowhrv6$zJUw`N01O*E?BeT~zfdo!%Jad%N~Z=;pNc&R~R>EtZZ zuN3uLYmh_-H{%zT@@oy)s%{iT!^ymURfuyt|B+jDh%en)b-*!1L&y!4;+ySICy?Hj z)b>Jc4X?McF@%2GZuh&i-G7h^cglnf0LyNC$%Ua@$O3E5MYwrFZlYl>Y-VHZG-f{u zz1aYsjrG~g06Wg567vqd9&;u`*_EqzY0-cWhFwYt3|QX93=X(71>@z49x;cyRbmcN z)J^lmy#cq|O==qBdSpAsfs0d=TJJ|(ZH+*nj5)%*aZDX4q|Ll6et#|g=6>OZjQ=Ud z67p7jd<1TY8yjx$t!UO56*_Ltk3)lbab0|0ye)F>3DK$C8awfOwR$)w0_BDAYwWIY zXq6GYr`W_tT6tyi{1G3K#%2dCk;~LK{E79-h4*{^b?${V}|W>UOo9 zR_k>zmq>4&ZaP*HM$--^*ho7a(g^k@GMz*@EmgsR)i%r^HM)t($Be6OeD5ZP`K&qhOafNG!JM*U?Bw`F<9a2xR@h8wG(rBaT& z?W7eQ%T4GkwydUnq@2Z*e(;@wNxkutreD~mYI-` zn`Ybm4-2=r#Hqg7I4P~4Z$Dt1AZcCiUw2x?2q-=AGy!omH?uY*` z;u@l_!+)8vsc9$V(Wb}1S+;1kz>7*#WvWOQxAdl*e_Di8;Qf9RPS)|nyPEBs9J zd%-0Q^HuH}H>(oLxbjmtS_rgI+|-~7{7XPgf`6r~s^YT|b*d8(ZE0S0Qo9FZyyj%j31R#bazcg)VNPsbb9Jk_k<;8?{Iu74Cs*h+?&J!A z?Jo>p5ED&UaS~++?R%X2`-&G7A4iCY@U%w0V`JZx9n zO}Ke@-ao_{f$>8cMXO-@@LW9nx)_|TtaGd7Q@lq2gYBZ{ zu?aB6XLMrf-W;q`TwMrIlx~jhJNf0^Pv%UMi-X0ZVA`(1Y(AGS#!qDYw&`u%m!?`i zMM<#82iG?znz9tXl>L8EAfxoknhwiH;c9U!^!}$e+iI^>DxcsI>#$i;dqBk$-$I<&OAB zptJ3T1gQpMryV-W+eZ}BD<(IUT?za%#7g7=HRd+U4Xhu23xY5&NvyDxh`LokSTmx% zY6saEnFG^?{({_hI4nR$KCS8cG9N0_$!_x*KHg!SBv^khT+`B4QXAT>Lc}fV3ZbF1 zv*7Y(s1)0GrmO`tLUiS+VFC_LvDu;>c2(()JRPDGrZ+1A zKaK-|b6e6`CO<;Ap?nlcS+3)Sof~z>hZaVu9v>huJ-&G-j8?d2=yIM3&@{lQ?VtMQ zsk5$aYUqC+;4vjSEGH#CgqZ=qKbrop@1Kbc)@zkB0!S6q0^#(bj2JuAJSt#n^Ep&> zqpkB}X{ROwNH=sXF)OvJW<}u8G==D2n*C7q&THP_>zemJ!MKUaLqgiOt-v0ltAK!j zywtNdtN-~}LgbTZv#6UM0BZx3TifkPaVoAhRdathFG-Xih1}HI?ld^9q&<)xa&9PfvN-B3NE5lhmGEo9R|1Tm`ws17Pw zaHZwU!GD6CVl96LZ^mK=l9)KJ??^vaXTi!s3HX8r<}7uLZ_`hRDt>XwI*8G%VE~z$ zhthu$Y!3B5GpnO?ULg?69({k6ORQp#3g}#%lzv^We_sixj2}fAj&M%> zfi1)JqAJM_%jSV2fP&H-dS)zBc_gZl-$*AwVps`|S(U!s)HJed6b9Zn64{Hvoc`x6 z3(|%9BbQYMnXZzEll>1a`$RRw@&Gy3o$|rsO+RW>2}QQ1s^%s{b?MxAjn!H77I%O4 zFEUU6uj<-dsjm01Ai2Q*OS1}YWR?l z<{i!-2JunRg7;&SY)Obp@uh(s*?M!Wltj5vXYu+*yOAtgZ1FZ;AgH(mhrXkn2^f1ozt9s1luv=f%y2nzfa0B^cIY(Iy=i z!&oDqz9YNhYtmYVRzT5O42t*Yq!05A;gIQjlYbIeq%rRsjedSzhrj=O{QG~rOz9l_ zED7;ZXZg+6S9N-rsq4-FKIE==HyF5+?T=02q<}+XB=M%iCsvw>LIFwl=&D~ZAHEcW zs3S6Gk&B6@s+#shyT=NX0ympeftiwYra4+u2!TEG$ZHWo{7+41*$T`q5)msy*6jEw zNFyJpkXaQ2u1q%?@)6Lgq5yv^M%YQ=WD2d~+mPo`a(tM|iW&E^myx+p5aybh$kg)) zqv+zUpa3!T`%J|jeMl(9pUlpUjfSFP4>nfEzie5?W_@mz@HkY}AFp*|3DY+XM|y;l zNRMz$%Z_S{7=fJPv8LeY94rSvz%hFOtLs<^{u%fgFW};wkv+%_HZy+^#|DT_{Y~CP zDq|GTImA*_eM8fvNQSQaCT}V!Ra2f@&27ui?2RYUBsxr@a14Dx;0*zwhLX5|&ZBsg znl;tbig{C$d$&UrGW6O8+r{5`M`YXy-g$p4dIS_i){qSGnIyIbdC!VPj;~bka{S`g z0rxx}i>X{QH~fC+;4pvDW@RA;BdzB+Rg|fF2fQ0?9?-1vvv5jg)dbq*Tr*`d-_gw2 zVyMJ%fw;1&tZgsuZujZm3sznotN;?tCyQU+eMLzsAO6r8jQ>R=PgrHwmR>Fqii(#5 z(mPX`Qjokd;660{aaRqe|5zr;!U^%WFpS>#fN)L^HoN`cydQtU`vV1&#ePSl*$s~u zZ%WfYeLR{|*$IK!K)1cwI~q8Cy!13@F-@=ihN+t1FpX&W#KCRHT9*k$)2e1lWq8I) zvA6lLZa83LbhGa{mQG>HJ9X^mJO}8kEk&Y@$Okkj%4Jab9TV5qGTJ-Ov=iPHV<(Xrz$dTIF!7*0812$Xk>>rc^Q=ntUZaGT z$y5S3l{0?|P|b!GUCd~iscZj{R`0ETNY((f=OqOP6B_$+L=z_C4L-G%L7EoyTnT4{b*{L8*&*3zyVAy|Ikd(k$n1G@=aaa|rBMMyG>AY|~ zkh8cwk>-TvyOR~CacU<+F_ZdZAV4ye9mWP{@m&KEqG=L9cpsG9^d!aH{uDwG*z`h~Pq)8#c&=G&sdus#Y#t~_BmFT%2;6UF{K0Mhm}BVC;UC;f#E)fK-`lsxpb57Ok%sI9;cQ*F32nXj z=U}_DRAV!Jp^PqACwe)fL1?&_%n_$sRrPv<34}VJ!Q~QC@T~n(Bw6MA>PPwN-O|`r zybtL>&a&)DtIe7@9lU{!NW#dU8o+;ow=dBok`e`&tS@1Y4@iH}Fs&%t2S_s7VJw09 z9rb|ZekAJ|6;1+E*GtIPjeZkXWa&+!OUuc;xS_;xM4=UVoEeol&~{;Iad&lm*)vg*OQe-&DfZk5zTqkKxz=ZUU(~W&w&yd^LLnf zB^O-QjN;ng&|SqED3(a9Vxo@W$bRT)B2l_f)97F0uw(nuymcwg_ z(fax%LU4`L;(gGX{@P8Pdtlg;qVMhL+_@ar8%yWG>$Jqi%PawW0S;iNb(OU$rBAL0 zQ7i^~PrHUl9qEm(q+O758YHVPwhdqJ9lXdkT*W7X0FOu-f*gP3OHzh$rE_G*9%mCF z{()M~5jii}CqD^ja;#Bw=q4BgI!X1Q!p~r4d(#Tra2-1W>#Y5B@7+>cXs#Ky0fIns zuzaHND+2W_nAXVGN|eO9Pa!n2LLHxf#XiRtr^G)ee>3Nw{G~BR_;Wd7+u?B%w&fdr z&&gA{zc*e;H%Nb)(6Gyx1ql+%c@H7f@`X;CeKVJ=SL@Aqh55bLV`wvKudyq6A-AC> z(alAr>b!JhIV&YO_^xaQC&|OAJe7EsHpYjXQ53FBl`H9stPa^ENpq#6M}^AbYRyIm zo>MoRvg6(}yh^E`XoQ@!Z!Z{0q$*h=JObR{a@+PLr>1|-)0?uCTyazP!)ZRvhZ{k$ zJFyq|m=uD=g(f3iezYf#B}YzE8VGrIC>%`*ZuK>jUJeL<1*jJ{a2C6E2SxL#jo ziP&&!*_jdVbvRnGzFSG*2kY9hw_iD*IEsY#FNu-JyU_@wz2E^m5xkhMqkMuYnyP;v zGS9H2RXdyaH_wj~y-c`S8fPewBI3-a&`CzfTReaHm(X4Z^Xq1gdia?$+2s1Z3Br40 zQM;%gT%I&vlqVG=rJyym70GJTwM{oRePKgpuReX?U#eHbIj2e=#~F9Y3rGmdPft#o zfB#k`Jb5MZ=Iv_&w#tke>+vY^SPI49K;dT9_ znm2!@X{0xrmy;WEkG0wGl`@T}Q^d0e+;BL7jsMCAa#a_*&YDl+)^Bc8xc6>UN(xyK zTBZIvCC#8UM82I+rpZmM+epowwpIHlPaiUJ^l`T^|H4sT50km8d4lrzc%vBv5D>xe zqcRlqp?A8dt*ZE$Fv>t}zRICW^rq30|w8||AL3d8`WHKXa+jsj+V z)1$A~l`6qp8m}-;ylZaIKolz8f8$B;r zW-58nnavGdni}DoI81!4Lnw(Aeg`(u4!|4v+`JXibmm;D2#JBA zzWV2he;7ufPyJ4JI0=-&IjWUcj8|D<|Hqc=yR~qYCfRtkg(xo*zo+F$a;u?VM*KC^ z(?rn0MHk1s&762A(vIJZ0ogZS30Bn^SZ~w7XV@h*bLA`C+!COYKBdrH`(9GMA0`Ly zdhPF3K}Oxwk9Xxf-Uj5(bbT}Y(eMk8t!Q6D^V<`Di?qGo0MIWRuoA>SCQ0hcW!2L< zSZ%k-0~z{NOo0TCon6&={ruhk0qiKvmXlG;69P6lld!lH0y8$3vCjf1f0bKVkK;&k zexF}aZ>s{Tw7d`d!I&L)&y2Tc-9VRn;O*^)EQ*rSO_5qAx#gN)@Ax7jDN;qv!axBT z8JSAv5qCrdcZa*+?#J%}ZU6N2-5=i<*J$vz5B-`qkHV6wWo96;S%L0b?~S_y~ic< z<5;>LOnH?N)9wT~fA^*uY-Jid=nx(t$;!?9pWdzQ!@atpKG6Z9ETmJXUmpNQ1ZDyP zn_sX6t_9eCuie=Wwct-9P6G7R34{=}zZyFdzlfD3(x7 zjW7H!A2jxNfWg`4`(tf9cE3jJe7A8H5OwuE?=?>4t{CgOe`dsYopjIrjLiMy7rWCn zY`YsBGa7nk*D?7@@9OjE{PShFam2@`dMlluI(+42_O1Rt2{yQqlJ>-pufMZS+v(bc zJqWck790mqu7-fFJ*=}H|0*d{+Vwy1SwmmI+c{t}eiw}L#Qf1f^>k+STW#0}H?ECg;B!j&}9C zLtP!)uIUc^Ksn?kNeD;ZXcV(Y_qnMbq&v1vSIHjGZTUf7q;u{ZO|`^lwqE_(zUyfw zZQa#GTeZOQ5PTjhuZz1DPJTRt7kYg_nzJ*5@w2r|Crn z$($vdVx~|E4W8>BcN7I1p~%OTEu27yc#Sym5;u6gn1 zDq=uygWOV&%UESXeo63lQs(}Kg|EEmvEAsfGfdc7SB;L2^{>)@IhsMaa4#599R!@Z zUEQpG^Gb2!HWQLHyAC7+sO_+3LJFDRktbFoe*`~9UOlPcKB=mCh!xukryC) z#9i^qTneW}B1b+C(qVq4_Vaxh(&u|NOAN86px>)SLEukhQB1}|TBMtIYCJ%Bv}?!y zTaX5yi7coMq37dp^O=PkAUWxoDAfr9w2xNpFtSC=*-XqYQ})tMi#)GBv1u9+?!wEo ze^n+p=FcJ%nkgo!Z}+d#7aF1orXpctyz0jgK8&`yXh~fRk2!JITj_LSN+z>~RaBUG zi_4=`{1Eg)g1#FEnYF9ET_%HH!V=a2gHZtM0JENM$YA1uzT1rz4jiR)o)&GYS3dMc z(2aQoC1M2U18V3=lKCI)WXw26x4{epf4psV9DG`>C?F-b7nLMoq8CfRk~tYA!WzKx z(nBFlv{#poxqjuUA1iB`?b z(Bt5%DBk?_&mX~&u(6}Wb0pz;L#*h5H;U{AHo|}!x~>r{>s_Gg_DH00+X5H*PDwbj zhQ?8{6h;#Dv+io6kdu}*4W_=jNLW!yF9;A1JtEwxXr7UU3e}5ls@2zTJ z#6&Dh?*^1JFN8WX=OYPVVx5d_*IBqbk}W#SPRYg#J>bzEj_N2vFe zqytZ4vbFKMFH!h)Rf_#({^qn?LnbP2CC!OCdjW>poCIR~%zk0e+kGjHe>7U6u67XhS>hGF?52*04J*%5tU0W@7F&s z3l$7;QEbLD36@%rfBo|ZQDi)$syeof8x|;AnJ(rL#z#Dlqd8&>+$1g9aMusYtU)Ha zD9DMFNg1k(0LFtY$m3%#6Lz(;hgOhqUuyjM*|p43!)Dz_WW^Z7f8Mo8!%D zt~T5(>>NVcL0W#H0KpRJ6SJN`Irz=%Y*`jf)L{j-CO4-yC8E6$1f5|9V_5unSw6`^IoO|xc;ViS!4IC3pu6|UmVK5+Iny8{lg^vjNB%{TA zln3NKVtKe$=3KinHzPAaNe;5K;z2PeBwWJhfxoE}+0JRJ&o%cgoB5)wXs^7e#z^2H-85Vz( zllcU8k8*FF=4^aSqik_vkjP!eBfc|?>74;&C7&Z|ZFb_r0sH(a?cjgu?&0at$&<;B zSc~3@9gx5we`;JO&>{eqkU-@fAr7lkuS|TP#B5dh2Y`3H75Kd+-F@M)BEKb(uOBL* zCl>DJcb~i}bp6#OLE%}Iun>l5o$x;}rurrj2V6WQ0br)PeKnXKW+ZxA0n}lW4oitp z84ifKr-{CNCCr4Jw*r6Sun{05Kc`uwr^HBD3o5I~f5LtvjkS->PP(zOmq(Gy2&K8g&?f>1o)46DYNSXJI8IydGp);|2DCeTI5(gJ^cUq-Wx%!=@i;ie$m z7;Jv|_`|=*kCthiXiIh~ZH4FmGB$&Kgs;y!E}9#Nf`BtbOR4)42ceQS#`=0+(-C&k zBZ6R^f0EJ{((+0xay<4DbOd~we;bI!w}HU7KV3c!6hE3@?MyT48XH)-UGQ*9+x@=X z^4wcTtw(1FMb)A;j>vW}d?_JRs|AB$1i^8gY@|7m$Q&T8(GeDCK)&eu z$jq8@6_yzrjV@%#q?I#p(J;aS2KuEojW|Au`bBh7Qz=G5tfFYqhtb3ibkz6 zfQLykvKm_Gk5z|(MZhxDr%s1Pu;OAOC!QN4JxN#OWa#qFMa=U!Yo(Fgk7Z;t_4Ce3zGWGIEgtaUM?r zDL7H=sprVjyTK0Q&AcLwH1;>4f1fD$WJpW`HiBr_9gTPfaqi_G(4;D9$2;i|p{!PEuu-1`oVzfmf0~pNM=s&4 z%S&U71K|L~?ZT)z9ACy5?aHq`fh}fOI(rFVw^-t#sovM87am^JTXaUeitTAb^?YLWXr>>WOcna z1h{tN#>dFhB!)dtRKts4#79eU*zr}@qi*oZ}5l6n2y)p-_R|vd#3oe;8Cw&f50a*1n zWN7xFA~pjd8x&Mbx!5&oH0~STk_TsU*@Y+AjZxqfziNv8V zEg|as%r61dC0QdAe3Cv4Hgk=MF}$!=)38TII0-HS;9%T(&5)RA$^~;>>Ladf2i^AM zqHUPwvRHEQ6OhWaZ}fwNg%=X)(~lYopghb=mU2cmTHmMhoab4(6DSgRTKj5_UpM~ zpEU@ArHuf@+}_)Y-})Zsk`Qsg($5!hP?s*lDs52jWM1Vbe;OpY5r`9~CE6S(N5yBS zfz=dE4BgeblN|&tZLA(mB$;OFb8L$GyRI6#i(?b7#8q#F1(Q7FWs*Gb%P>ykIeD;B zE0KpAu_FTg=@cCUYVVhrmw@Cqi{>s`FhZf36xjLrBct3TiZUNv%ck3x4hQb$qf-e7 zu*(zJZZ!`he@hg8iE;{`0r?jnWyFBaDCS!zHM00-0l}?QreFqN@>&?87Gp-!Y|6Ug zDCIM6Sf|l?PIGe@mPj->uosLE_s03Pf0p|I%+&_!DeSs%#ZVSB`Vk||#GNQ4lhQX0 z(&|Ps9}>?lJK?!+HNY)Ot-6t{X_#24CQ%4VC!$M}f44dAt>ABGbg_VNK$=YH0>JES zAdrHSt|@GBC~$5Bcu&%`>Sw@+3pYKBw1+EarG?>FM)Qy&yq!x#4})4_<_6A@(6~zB z^}-j@P8>c#G}H;OUcSs4Q6@-*5&>;(dV!{7Q7X~W(^*QB@iXMy)-v#%4P}41la^i- zb(HqEe_EX7$&X&7)|Q^N_C--%eD82lemBc}*Hj`VmfIpyb@;f@W_9%OHF`UK0B>G&gbPL^F^|05iK0XRJR@{)FMLhNjSlm zs7(mO*_yv_QX&YV|iCHdPZ{l&gX!bmv@a6Ah_htai8 zf8EIx4j+X+SAeoL-iCUYH1H-{h)KT??~okokY`$mxRncSD|cO+xHZV&4f!{nT+O_v5!u@0?vM&$&j%;p)3OKFaeB3WPL zdnON&)5*TPgZxpFGrt={icl9z7w7-?e}i93EK(j@>;nUAN6`TP_X7YBb%u?>SQXRZh|N46yluE#oi2$?Ym_yW$u%$1dz?y4~_b(%b09) zyD;6yUGrq~0}<(uA4w`C%sqL!`9yBwgA8i6I-Sao3CGWptA1rmI7bzv)Y#-8e~^l~ zcC{e!ICF$Z{HC#T0f+%Tl#{u0&;QGSzVfUF0SIAE9jhMvvhF03o+dZV$9V|6hPhTQ5yyj zS*eeR+O5|ZdvYqh>s7|f;-h$TLR{62PDfdGm*S(KQ=vE3?vjayrnZrZcw&&NUzN!L6si_^mh=l?O0)@I46g?as zqKEIkiS+sV=WqV~kK4^dxh^-!=HdC}A=?s|JrrrWj>?DU{lkaF$u@nreq5zVw)jKS z4XtYqXr+sP{%8eV`L?xH-`K8`9@Fflr?s^+J6F5@ReJo3bi8|#XZPCm_S8N8^8DYl zq*WZR%X}jr-r35ZEX|md(V}XH%9$FCc;OmB_D9zVrt(d1ALD%SYrmGhpN_7!(&-y3 zxXzuD%UICAd46 z0Kpx?#ob+lyF+kycXtnyZ{ECDQ#C*4&#B$ryXsW!smq~xNgYY3q07gA0_4dMm(He+RbQEbzo4U9#fBB1uCH|fz z&9mxy(W_pAL7@ynFgC82@HtK>MHA47Irhpovh}QSH5!_EHjK3t-UV7Hy;7*X^k>*tkBGqN4H!}2M9AUzs;3V==yPAO z>{XkCi%ko6Vn7#(9)_r_OsbtTGafMfX~+3d>#}j-YDxg8L@5G~=A_^aB_>*fjjF?FWENMo}RKQDx{qhZ!#YATa;UA&rl>bz$6ay_n zF;jLgsxvUM_g)j<)E@o|_gCsUj%mX{Ni+bNs*s*$ylkrhAuK-U)5RiDtl%>3DEVw6 z4y`r+66_^Nd<*G`QpY<^i#6Q_GBBLNm5S$m%_L`mYB#3suEBDO^K!q7#rsykFwCG5|xF6XV=oPNs+Ij;S<+sb7Kk1wqEf7_0Zm)nq0RVm@=Rw^;N*< zmq!ew?M(}KF;ly>)GfgLR8?9-Z*G!yt$%w&S0of9D*<0OjHoYB9!R2IIOE@dUeS$N z>4F;J6-KQoOoU#HQPrtY%$Aqk9FE{=-0)}brCL~YHle~@)aM(FnSub z@XJBV>oXn&`a#;XaKDxn?24R?ypBk`%lU`n3ED|cW3PYNm>07AsBjlJGdVGd{8Jg^ zran$j!s(uGfBi(ds*@eh<3TK5!ax>g^h7Vw1Fvf>c|55V`yQ)1&A+By%Igs!0i3+X z_HCuG|4iQfeEC4xN*ZEVn1r~lHHVnv9W?|cFpIRmQT%Qh7^BA}w+Y)D>f1UMXD%9+rE&jFyxx<xT<(lajH^`}cz)Ul;U_ z1r8if9?F+$m^$GeXFFi8G^{Q4SK3P^5zCvV`%kdd0e3<{Er!4Bhf}m*y7a9yXJOio zVVx+}ypN{26IG}K<{BB2iAVx;7*;N*G&u@oa%>Kv`i9SN^5WP-39Wa1V#dnKCXeDV zhww2QQ~TT5jx*$DJI?tpeR9=U$$@*+V-cS##MxX{7i4_oFlkLQTE$0P==r$LqJIh{ z2o}j$ga?QQB~YW=P}_`)EEk6JlqQZVM@GaE%=bv&h;#MhsBL2FHKzD#o{i-}ZDp*x zy@#xS0779Gxmmq|WZ0U#3Z4WcgMu=UrtAA>9hyn`#oxdKYCY#bDAQ)tDMK`Jjg(m`tr!oX z`C`dqls|fZjT!v0LFU@`pnubf>1`IdtK zMozM4|n0NIR*6L-Pwp;59IgL0vzn)W4UP#0|uwco8l)Oc{eE2Jlg zomxbd)R&qIeuVb5S#=jPu|-cx^~INdX+xtaB^Qt+s=}g;8@gV1{#p}tOR6i~%aRz( zK%qk|`B1+6dRG$97)Y1_b1mh>~D)*wHWCJ`QtH|bywVP&)E$JYG3GX>uhu;);ut+K5 z-RZMp%tNi@E5v#QTcdkP_>qdFj(YYn;8AOT;ToKrg{O}{cvCZvtnM!uQ~h4eFBp=t{kPXR|gNzIbV9FEM*+d>LatQon@ zHzi72<>u~c{;i6P}$30XFz23LG(nNTzKS}LDT9c1>Vr}wV_;LAni}MIOoQ1 z|K+nbrhK_Ua-|a-?aqO!o5he;rSR|M*Lghs@@5}i`sSkm<5;X8DZ1grqul~I%bD}u z!WK13X^W`BZCo_Se+Fe43yu1zl)dbl@6sm{YXRhGZL`z_?O#r%RL(H)@<1x+t+-}q z`FW2j01td(V1l$!pV9RL7L_q`XZUyvl>9#v2jr;;@cEpFFy_p-AaAnTZy^VMVp(}K z>Oy0>l>D`^VWcB~sql zl!%98^kNqQ0`jO2)*7~D9_|@c;vv8nB}PtbS;b^;PEngtOMwd(3II#k*tm!8KDTH$ zs0b^tn5G-Kx|ci%%DE}a){urU=kByf$OB}fV>`T3XlS=i*OqyJ=WTK*mWganBKw3~ zQVbGad_P|Xm!C)CiAQH0G+(*A>n7(IlD!+lF>J&@2t6ELlu$QyGXkQRTOq|E@l9f` z4SduxbXvEkznXaoKAQ3(hqC|ivruSt0X83A&l`u?ZC%HRpSxS;RKBs8*|g$3h!B0R zsKa6WO|&6TOqKS;^D?j|xGyA0R7RHVIC}4g$F30~RHqM-@1GqSs##@Xl1PUK>C}hL zOX4;GDjM)Qn)x|ck)1}HSP96^HdV5g;xj(R%nbl&tr@hX946&crox(Ino*`5>uy=! z;xFfHO*y>#-qDHfX-=`y%Cs)2DD~iZ`?+L7h#8&nddrSv#n#2FM8rr5mvF$16EfuD zvd0dwm~Qf1j=ZgEg+8>j2v`36R^7w{vz z+RJy;&{U;tMJXgefmgyr3!({^8qhtlWFguBKC6r${R~a~6Ex1DUywiCj63%8C`d}0 z6@F^evQyUD`Y`BdFw^bVRcC~@H%a~4L; zzvR9E<{=+(U~8|gv&K(wO5{^OA*7P7qVzCkwky60gW}b%{SnG3BYj`vdQMf@rcup6-3vpS^RqWETw^hi z)85^!6UhO^WVt!dWZ>uJG)upQk3nE9zb|!Cq#MHNnJ$N=vE!sZz(B5@VA5)<{CYb! zl9!*z$KY~)iE@SKiI=UNMh0CTl+VG6#@09ro2t$=C$<7GApNH=fc-N>Ju=LizP?)BLI;EjQ-azgc21pDL<6V#@+WftP;~JQ}Gs zZh9x24I0u{hz?&}THz~bR??M^wre#dzjS;HiSU?K&5?8tJ9heDe8yk+pjSEL5gTC_qk4A(G=u-@ zVHKJaS?Dox*JY2yAM8-mf`iTXn3g%7xkGqoihVY43D^Z_(68%(k)wW`$7_VMGi&{L zoOy4DN@^*)jBcc{5aJ^Fpy*dbuh69nL`ETOd?uZV6~H)+Q{r$e({Rv`?Ab;Z$AsY`jV?59t1hmA zL8Cl|ghdCEaLtM__p=<1J|FE*_z=Y={gd2KRASWiaBS$EM-9}%+h~!j3PJjhLc(7G zm_dYOtA3KnG3bM8piT@|Vw**12dFw!U-Xs1q(E>j;%Z6t#ALHs_-`a`vEMU4@!S~T z#XK8hhoX|S13EDKO#-bIk)D{FRpXNqAt!iL@@$|zKCon&9VraHnI&vOp*9xLB$O(J zb()rmV|{s^xh){Az}8+5tC9b!9FAr239UEU7#{ozlxmc10g36#+NlqSK1s}BNoZaE zQBxtk%$!RjeU|uWD*^JIxF?$zaCc0*9y~X2ZORM+v#wPZ@Fd}XY)GGG!xv{+_;N+C zwJ(LNS7mhn$j}YLH5$L(9kOQ{NYP4Len(bht1;&(0w+S6C&mg@TmQ0e(dbazG=!Pi zNoPRiLR~)|1epOE#Mvs+Kig7&y3kwZCDZ?E`a?_PDhh$p5&x{}QeCvE4>`Rvf2n`e zaZ56msGJxae`CpU8BMzWe(Oy6#Jb3KtGD$~vABC$Md+!h4QYTjInQWU=TqD2Iq1Wv>okwP18vJpVfi}alZ`ZdW4ii zDbR*_AYJIBH5h!(IRLAv|3+ZWmfrzwpChjr$Wq1R_q4taCD8C!v<@lZnm95E2AK%t zFWAtD@9mQ@7P60#rUh!ks zH?cMyLDq`}{LBwhjxDPdwB3K*n;dKAj*qiiSK7OLn*xQHbJV&8+uNp2`Fnr>rNtlv#N=OsmzNghgqpsxEEY%9Vudwd^irS`FB^Ob|mbs3wl zdFlhReKG~gth<3jA|A9CYlx?ZW8pid2`7`)zbb$~4Q&!XVVp_?=0EqUgP(jmH#vMt z3)s_fL`5-iu6`P|x4Lqx`MYu7S?|s*&rM!F_4>DhR8u~(S)E;qV*gCP4dqaM;-;b< zf~b*w6XJ!kwh6~7GprMDM1TQMM#txc6TVPR8b-?!Yd7IX^MAagIcew0(qP0WV2NCY zUtA`848&j>dBO}V&3HpfY)iOXXU;Cu?r(ga=q9Y$m_4C33lV3^JmY5&s$d@ahck=5 zX<=>b)Glcq5Wc##P5yoXN^+brEOa;!A{rpQ_TO=TqTot(v-}5^hQrJC{|Y3rar1&} zrvS7d1J!n=0T$HrEBbX4c?uqsw?uRb5rHvv5_tL*0SQy-->y!6f*zUT@C$z?FTW4j zM)FC_?EP@?(js#B3LiVxvQI0m5p~-)LrB!XP)u2le;-?6SW$E)n+zsId5mNUozRpm zlj*yTC`3fy_u}z}^vf|paAywFjW*FgZX?bFS>hmNkY$K`=Tr=i8IgWCPn48J2S>wx z!WB}g4k6fSh;Rlc8~<^q*)lX7#B-xT>?v7^i`(sh6NH*Am*irqNjxMw&f-K^JQLHU z(hdSGG(TVs63I-T`5c#X9XBh_RK6p1iHKwPAk8y%WA9zNCJYF~UD8zepWA=_-4o8o zNiJe_w;>DoLo_O0NwH$Tp%rG71@_-gGPsrjvhn^O($NXsHHS4BbpIu-`@Ku~ii%fc zC?HQP))dtZRKilKY&@)#rD+w`Y<#Kyt6_TsGv<*&7Tm0RHflh%ecR?1orfbi2}tuEC+@F(D${y)Pnzt_#Y4kU$x0353;t& z4`s1^T5{p6u5%kEgkg7MEG0Za>BIBJ{VAywH4#VT` z7t5jOy#y$Z;ThdArK~8RalC?&labLrZ+A+L~ z_r~Ggxi5}O00mMYmUl{~yO84~)AEO9hQM&E2C=mi{Yjy04giOsmSGxZ7C5G-eH)2g zH&6s@sK*pCF%oWFm1@JS5QG5L$)NxFp!+p3d3X>S&_@Dx2WiNpM*Zx1iP;zv5Ab(2}FL^M<+5ps;E9XuIDAwyE;=KU2uc(0K*!= z`6w6j`F_T!89JFN>SjnFA=mT|T^SqjRwd76J_7Jy*1>7wX#iJ}UKpPX)o&&t7ZV#g zR>qd)RNi%UJ|=R?VzlJPRU%30UDC=ckz4zYk}bN8e3--GnwPnc{U+uXgOM_G20da} zvhkVC+@lxAH@!O%~ zzLwocU;{K==(!W@&|YpKF$uZhZ;EclEd(=CVtjxP%2eO|^aE_>v3B=raEkn%#CZYP z<+K%+(Ag=`_un}JG^$S@Tr{h7L0=ui43kUlcAY;YJ6UnRg#65SVHEntaKqGf&gJ5( zp&`DI!PWT%Tb4P4-m%8RcLVnvyYTU2#;Yx0sc~xRXyL{By~Qv)W&CmO-ouaQuYX4z zEKLBtu~ll3*=)!$MDXbs57+4MU;ALT{2_6N8qRI?n4HDorl6_6tQp)z0U#gEoa#dn zypqAU`WGK{u8O2!P$W_qSVYPq&u_DL9vAde0CF9X?)fXE+DgkFZi1gI!9T%=S?H(vdGLr%=uvO4~#A~h(n zkAHEIW2r0bW4E?hmKipq4nam$&d8hHIa7z)D0AQ?v>#s!k6)$KoRh*$r`9rD=Fc`5bvaSY$FwKIH16XRCTWth0lYrN2P7B@}LM9Z#@R$?#fi3C$GtW~%g zWC*z$p@}MKv8=2|`}GRxmPGM=$EPfA$~uVr?}0PY{P`$3NIPG3FhM4|k(~FG_<6JP zta4&mqnjnE?(vbcm_|cJ#?vy}0ezd{iY~(cq*>||p0N^QV9R(s3g5zp1ls!6 zSf_UKSf|z$CLMeqf-T)x>h|SB;@T~0 zWB?R0m~U_x3Olq9m{J#G$!~DM7FBp0HJc=vw(9pPv2`!V!~c+cQD!O}jV?oK2-a`UHCfAISc$B{UGs+jjSR2nm`q@Chl@_H<}z8xG_D zdvh7~?#c+;q8OSS6F0$$lm=vRR5UgK$0%v0Lor-Z_?ldQhn)~)s<5fkUBG(f<2IPG zy!*aLh?I(C?hi_`vPfD$-%umKShX^zL3M?#eRW-VOm8q%?a)hRhB-eM00K<~WgNtQ z?Ak9<=y|rZ#D=^es;t6z)mIAtb@t<@_1XeKZ^my>K~pI7ugfn+{Od#c)X)hiG?bLu z0VvMi;Pg07hn$5?DhcfwKk`klkIuTCz!~Cx*Q;B($smJ+3HSE7y=H#F06pT+3$Nwa zu<;xF4czxf{Lp>m+EU~|%vuU0U41buwEgq`T)DhzB2opPQyS8I4cIP z`${igcyNU+qZDuMifeM!2LBG%w_{+C12W3<)mg-ea(OWCYNJVCS;>7+92na>cDHV( z%YVNCI=xl9d%b%zvA%j4R>n?^m7JMIY~#*4jm*sAs{Y|SV$e&Q#YIaWJGXH>fxQes9g4^&u#e;an7aCM;}pAhy`J;rdA2s_M=tYxd0UOBc{AbKtUiR_fJ7t< z;NA%U27ryHA#0-%9TBDbduJQy!Kgqz>ihqWfKOr|u^QH2Cq2R4RggH%y)KZn1Yqt_ zNUY}17|32?a2Ff^t9hXc(v$$KO9sGhRvd+N5&l#nu-)f`YxOPs-ATQWzH9af-z4LR+df7~Kwmmt68Fc#_h6wybxpTjktpMfV zLJ3|EvbFLm^KnTa)W2DIX>K@KlL8L(O-VV~Mj^JcNb_{5MVm%}TiskNw4?O`a&o53 zh(ZPOYQ*92$d&}C3UY@mg3)=2^$JXK5Epvpw_!;!?d=2s^f5D^Q*slyJj?_qWO*2# z7?7HjniI)>4-?Txe~ia>3SO1vT0SOaA|~>|2sImWO2)v}$mB(2A|hJ)FL4pccd29c zh2IpT+GL`xzYv}9vb@RI+TVO3stA-WOn3yy2Vx|>CWl8xPvfGIvB?E0^xy%_LFn8= zHcojG=HH?yLn0Z>*%MJK7J{VQ%Lzqa2r2_$`&a=Ge z=KGkk2pF05mJ~hhb0qqKUrUhY|4pDF$`YZwN&!)z4x*P5aw!=?D0;dZ;>%fjqBUeu zj&aq#TzfG|_W>HhI6^cMl=J*dK%9J$Qiy!nQg%?<_|C^X_%{h*>3LI_MDme8U*hMX z2abx+$ah%t!^Lv1;fpCdB!-l1+$I$jna#CjjgMzjESQKyWt3lVUQ< zp}qQfBe|p$Oo$VKe_9YDLn~V-_>)P}<*i1wXTGu6-uIwXq88Ff3#R9dx)WYQ(mrGo z33{`cI#z?d2MjH7Uc!lfMNt`Xa2D=v=hR4_yBmTlzGp6ps+b%v`Kg(Q9cZ|voA&fD zRpJm!iKv<|)t+Hr8rRYM0G)EQ@Ja<`e3N(B{M}(Ixit3s*N5vuQ=6^g(rUFkkzZU% zKQq5yM?X1#M@MiHky$8-I*%pHg^rs zR#iot^UQxeYF2Mh3c5e+bK6Lc(D)fDWDTLSu2Igf&T%|K2tdo@u(P`@5lSY^aFRR{ zkrb582NA(WIu7WUm_16GR!A!KM}xbGL;~LE*v7DX#WXnQA)Wpo2nL`uu8I1;%tMor zmipLHg_TT;9|!yIHMy5Rpo#@lRf_8bc0$EMl%iF`ooxW5TRDBB45LGLBHM)wxZ!33 zim1+<;+X2286YS|QqIgFtsgD}Ka)*} zSL5uOo~&v6+9`gDX3SHru5`warq#J9o8zZh?=6~tr$?tB$R1J1@+V9SqK_}Biz3i2 zEkOm-oHOd448VDV*rEicYEl~N$1qMksQ3*h(A3g~EkSWvpF8{bNz=$>KNT5@)YPcE z3cm6`KgltwE0+Po$elOUuD)(7=Lq@B)t`RL_P2xc7cePPt}SwP@uCQpD8WIA$kEVb zn7keIO4m04ZNeJRlA-8l_5itVwT71!a6HXOJhdgbuisezyNd44tvSl0BA6gqJdmWg)m}5@0_*Z z-U^FEvky^=X5uBLQ$8yLX#Ct+!C0PE4UFK}82}m72<+^Xzby;2NW$dJ4PSiiMCO?# zEZkjQ{Z?2n!I7AF6*{Jwj6ScryBekDBWL?4USuNk@eEo+?rjvE=^R)}@%>87+61;TzC~>X*Bt*)*xd@Io z)?=Zwp7PUASmkfy9qx6}2_%Dr&}R5&pJ=`_U&N&I6H>x46ZFe_QhvRMnTQi4ka*X{ zcS-RUA?1_7d((TF&icN7Y0*ABa7pR^U2h6X`4dHzx-@L6swBj=*AX7qu!6YBxU$pW z8CRg6AOCwOzgo&#f;CsPewV4%^ir?kJwrBZLN8_)YbC~|)Tl+N?@W@yQtGsGKzX## zXJ0dfkMCcD6^1hK)_x}u9}kbNd%ml$BWUw0wPH(tiCYR;ghql`+DTnQ#(W>@S5#F{ z{b~6#?iY$B4D<;9@81TWc5PO31>y;m=df>B`~`ji)?I$-b`jUiQvI}18-jNcH@=>J zc@is9Q*RBFQ>j4w&a^t470od;5n!lA19KseD3?4<>+dFW()4qqG}A233*uLDlNHvf zrrkzPqz@sPy5@n-MEq65S>?bX-7dNU=zI`n`;J8s(}H%Rq9<(O^o_E^l~o(6(uC3B zC&R*b?<=I86zd|L@{Q~ege1;;QF*x3T0{x6cmBM3PZsmLh)0(TW4YA<45k&+t&Ek(miH@Kl2$r>MC1PPnutr9(f^NPbISck($i4w3l+-f`6-I% z@$jS@tj_fUyPtRGr&f7LTK)b+p@;cm=aR^nMbnhI!o@Gq%n0(eWEjmi$%ymAJ9na+#&kUD z&cfXpJF9xsSotn)kO%Z}ehtjyd$@1=i-{*0WPXwy=9p0usuYyzVuwC+NSwvEwvLy_ z-S2j8FDSyzU0e-Q9lIlb`wvp`op?!r^hLmJ@Y;P z)2)#iX{zwfB*b`@|8JkG`9wZHZn;D|i~;hKN1$+}tVF8Dynf=b;dR!JD^O`zCWSg;ZRAJ;*_t-x@rltDU?@b zCtZW#Mw=5o_CfM{vJL&C5~IIxX_&-fM3!-x@{|D45~X(A)s9Rf>MW}AnK!UdaOnr? zaPvd>sAwF>fS=H4>g2Wh>}hJrmGAQ;2kC(*+jklAJVlo=v~4-@L&fp}V#OH5{;nr} zI^hPdLD6%mi_nPkMG96!1yp@g*$3qQj~$O zCtXc|UtoJdx6zR|)c4e)WG1fYpI1kEAs(}FxEn0vkpWAS$o(*L>NMne3<-7PjzZEE z#&@2-p8|vuxteX_Uv(MKqUy&_LUr@{CZV_>smPId?1 z^U3kj(xr!oYVm+QnVI-&gUON?r}+{OuQ7P8U+<;KvcEdfZ{*VDcUx~%3kvhp7O@b& zmtw~=zt@c*^Y(Y2a-YqOYHjp-KVV&8~&{%X3r2$FR(x z#SQzYEn}L)ax2*=ex33tZ`Sd0`_MoBxO_Z*Z)a~wIfj^b4H_S9ncXxWcc}q(&itP1 zEi}cB52S=%4Mnx~e~&#Ta%4UXCW~hweJ!IpfgU5V%ikW^`7NjVGO9tfp!%b8t;e8` zs7~{m6*%Ai&3eys?nnN&U<-x{RS!(i10}!Np3=^qi_p|^NUwnnQpyyyTibnR7S4Hx zzQ%cw;>x`b?*vYzG1zYC5YbXBv@gX@wwpQa;7D<;0uV{LNJD+D{CMCI3C?a8n<)8dL$j1F+ zG2UVIqHv_5gXudLt<|+VN2)q#X>ceP2N=vGba?LP5oPjuwc3aS&G4r8D2Oaw!{w2^ zw6oyE@;ti2@aNcZRhHYIGzW)~-2E>ara%w(dFNyL)~CD6{rx_6RO=e|@q;u2gT3&3 z@d9qQ1*aQ-_~Nb75s9tdTFk2yPdj~TCkl2$gh|FR=k#q>oh>!=*4KahKIL8N(+`Ye ztrlDF-mFa2gS&uyy2*Bo6?Zo}z(hm%TGI{L^~2*j!P<~8jKqeVKk+{4)}%Zinwwpd zr4%MC9x4H&xTv|PS1&%Wp-MY=#K-jlk(sf|DQ~vwUagbf?E^Q|$iS zWDnv0t;?VXipu=p%>48dQpG&U@IUnj%mg%y=6}TjQXtr727u9A(*o!Pg5Bl;nBb}@ z0B>_=2OtO%{9_4#*?c?!sDlK@to~d63$;T6c-Wi2&j1jBkR0H+Re)G?%RFEVkfch9 z0rr~#$TV*(0qOvdT+RPt2tWWU8#r?V5J=C)&ce&W!_LFV!a>c#LQM% zLLRv1wh5;=7eXKvT<>BBjMs;`=8)T8+xp$`WZtA9eGwzNOgPA3%}~qia&+0YvyWYqlKpVS7-2-z65J zLkRlw`nSOfQVf>H$PBcGmu{nBaF|N<|B@ENYpIukBT}6p>qpeLk$~Gl)8NXV?}-Wh zY#E?*B5loPB{fMq3n$=UaCBNh2Wi97lW)rg#TL;(hAq;BBdfwOks?OQulFG_IpeVw zFGstG4C4)$P)axriRhqTL)x&Ek&-}L{FKK`Zh{boN=AZ#TL0sMt~1>PF+3KIF=&+{ zl?ea_g4xN)Wun-t$m|nviEO4Z<|X0UY!2znD7NgYFSsc478& z`xqP0%m*0x!t?+GqC!CcO&MvHaD78N{@dSs0!uBPsS?kuJ6dXx!v6CAKbJb-Hm&CXwv1h z`Te3)mP|Jx&5hgoAuxJt`WMwoWa9joteUtmjmTeSaZo(AsY1O5H22hQ{;QfOSrMGS z1^R^J(E|DL@ODG_>zlbZJo7g&HeYNzJ|5qeP+GA& zx81!r6YuZ+ZxHKCk{x*Bi{!Dt&Q;GJesTy0>AVXZzO3BdA6f>!WVLU>Uf;?_{`#!1 z7Y1nk6c$9m{`OKD-=B~lP(8o>t}^=aWVZcS{o@S3 zG#;{``OP%xe7d@jr~HOw@SwNMuU!9hk&TuM`L!rOnlRYZez91?^G)NhD|whH=YFh> z7DxAv)>iilRR8m>BADZPP}gYUt@&|5SF4K$Nt>J5x-rGycC!Inz?_lKmd|3MDkp53 z)QG4+U->mr(1=vOV-I{+TQim(hI>F%V3(-6Do*ynZ3^3PTFiIQmSGq!Dzo_O2h!Ly zRGC=4N?Rp8u;ANbqZSM{9q?>S#C=)Io=8lLf0q^o^i2z6i@E|*Ghy)6{Kh1{T4+G& z;%mO|L&8UV=PSn`KWd`e1E~vH;i+U{9+7mLX+l69{@!d7k~@`6l-WawO^p(T3iVpb z=q;RZz@V6yo!%ESly+7jYOZTO4#rj~rIwwp42Xte%0-3i@()I10Dn&-;Tc?P(^MUt zN~K;T=mBbQwL}}1W|47_PQlp%&sd|Wvb-$zqB||(6RliQ%RZqkA)V0_c1QP7BgenD z(>f1sF=n=x;zI8=qyl1RLxCuIzKbB|8a3S^6S>%CD(3p%2-CAeHS$pT^_n)!YD-30 zaKhLJ3LIllJy*FAKJWE1`k#_mx&XP(xLL+S5L?ReaQ=t(#y%0EVfUFhb%Mh&vSqd7 zh+njTh%dJ^tXbpHAhYNfd2VIcJ@u#1vLi|kxlUO=!op6V>9*h%kx@{}f+dn-c*-D2 z1eWGzMsO$VGXGtdaWJ>pTIvo{`E%n3?U}cul0-j~!GIpD)q_>Z$?0Hyc*8D^aU}&a z$mg-mY0ZchzLJ@Qq)bYST$G634^BMdo|2HV{FTJXEx|6y6!rJQn`?NL?myu88`A-E z5A_2jJmnv-b@H<@TG|bUgz>`k?T;o_f+7|=C<{Lobm$=r8qDW+n?L=q#wyz-CaOI_ z;kqIoh}OR_FPHYtE26r2M$#7q)OX1OKyq`@XjBgRDSk@3?J@k_kev1cO&HC3L*Ch! zxOt|nMpcO$<=X2(>E~rdMnu-f2Xvdc1>?NmwT;N5k~Xr|s=f*Zh`BPoM#V9W6JuQW zGOgn@JD=TYh5tlJx;)~r`FaQxs>X2udN(j#HMm9>2}<0-Y8_S@73n>5`})Xef_|mk zH!3B43I(C_ZaH#o8D{O&Pu+NTxOm#UdUdoaHxzm;8@Art?A^{$fFh$7fXCbx)%P2h zUjt{>8U}ClvVme={r5uiHENK=&;r*D&}c_b%B*Yt2iwmEp~PXje}&FV5SK2weo;rJ&6q2-Q`l>%lZTp7U_nC|1a-+ZJNt9ulDLdwhZHs9 zh$-y+q)RhhqT5qVV!37YyjXHs7gQM@jVKT2bf2h#Ix6A7!Jv784-&LB&@fN zMG)jQH<3E}MOvRXs!m6U6b&B|6uFFQeym9lgs5mM9)A-pIg~k4U$3q}(H}ONJE6{2 zzy2o^DriUO*QQtvXi$!3ciPlD7KyQbOs!Nr%9wUkB8YM`*MMcb3*DSzFmGg<`j*7f zSfg$_zq0I03B4`TvZx+KTA4~8`LXEPl{sStl2q##ps~iwM4mUtuUroeSU=12n zmEQG&BU{H;iH=Q)4xxnG*MXk1JLqQ9(}LCcnKI=0cT;tL&|#F9;FVV=f%ij}gOR<`PJ!|@N;Ue&Fo&;c&|u&Pma)^ zJ%EzHQ^P5^>2kR3kemI=478FMlz6E3!`CyddSm8o-Cel0)8D0i4;@ITxLTwC7X@*p zQ6JvI!Q9mi#l^zJ{y$4c)9>&ctnA>iV*nY5!vLQ7n~jeJ2?r|&JhK*w9xDku3F|+n znxmuJKPT%yh?g2Xv#f)q<3Ee-|5y?vdIGGxyu9pe;u4&qtgNiuoMIAU99*K@?Cjh; zVv-zE5fFjX(KV^H=!39BejHh#Fs)~f`afGffACr zxPS65sOcbWdkJ+BX83A_!oax~X4>#$(~J2R7TU;MxmDt8{j~r)3B9=A89P+9c=iao z?EQ?n=vC<|1gn~jS%?)PoU2@oRH2-?*j4cMu>BXg$W_Qy2_}NpBDNyrau0!6 zT|mWejkJz;R2&|%?j%a5ApV)gPNC46du$G+_*1eL(yh4Sf)n&s1L44-lW&xPf4u0^ zh2%%cD>g%iz$J3;CXGxS2D1D-K^~Yfdh+}t)T^u<239yckzC3v#G+fodvW_8%o#h{Po`G;v!H z4|@SEV?W%w=vg@wtv5M2$VywYt$ckRNLj&@BFpq;vD;x^1tOsS< zJm18GZ0X*YtB4(&PA(#2FmlghsApE@8x+Z00CFa5k}-btKX#MTI<8!5d}xz@hj$+& zG>vkPeA-X*r2wF?nFZNkjJ*A2n9hN<5dA4@IV4K z1LP%ho|)@H6KQ$?+ZV-!<9w;8Mz&f=J191w;EZ*U)Drt@=0c#ZNEo|rI_(Vy;~KO_ z@HdjrtoL&Skc6)&WUj0pEe*9dpDXk-l=Xxr5({_%s9QMmS&4TZF*=U3>PDCesnr8D zEtv@&6}ZcBI!oiRS7RxM=ikpXc-<_fr#R?!7ngs6OWa6bkDCLgNsn+osm@EG$Gblcrkus*1Xeb*6`I3)&LHQuY4hq zUa?k4AwC#>UcmedM9xJR`LA2(|GtD=-Ar8Eyj(0S;aPcE*|>P&DJdnD0aEb)3j;=@ AssI20 delta 47718 zcmZr$Lv$t#kc_Q~ZQHgvv29Fjf3a=bwr$(CZD;>I?_T=VvHMW3@cL~RHgXfT4we&` zB~fvbDv^!z4{%A9Ip^g{VpA4=*o>A`*sUb1*wBX7`S?M~Z1U6c_BaM+{G+EQA zOE`7OCVpcW;jB57Vj?mpq)-~{V?H-B>_ws1BqrzBg{@KLhR(Y5JicS!BkM zepExQK^3a}UJP04wt+#FX}(8$-0^4h5*bMIJ_?A1vC)NiZRWb5Q}R2EL_JMMOzsqJ z{1|_>ti(`U7gA*a@&Ff-B8;H@fM{Z;Lt#@sg877*J?oW%S~_&7FpSK>Vn=Q&xh5cx#x1ZjJ*BR5F078k&?I(^|FRsvLFG0sY3?-rTMa!s`B6 z-?4@(JT@`_8ylO96}1(=Qe%l3dd|$?;)9F!*a!RAdBRgj1}~#`-U)w7JHiC(f`AD% ztkL9l{9@jR8R>1#2ZI%im2G+awv|MN+qp0H)7Hm6{gYY#szv>ps=;ip7@wRZJ8rn2Z}k^??8FE^)-@}q>zq^Uii&$ntQC!Bm6yyE!Aew)q+y^J6b z_)$YN^=kTwTJlTW0kw;KQ}2_4Ef+M?v@JWdUclJvM%$B4Yo84^W`l&%h<*C{!f&Ob z`WexGnws>?QE+;a6Zu7Ylvd3dKZjrOQ5QCSdRjB;vy`wX?9in0jQ8awWS*5#3(P5| z%DMvpx#2<+X6}HxQh#e3tGK7>sn3k=K$%pZtSVRz8x-Ag>Z97mQLRQdmtpaaOsF+9 zzKz2C3x&>mjX+?x7KVwTJN#Xo;M%Mk8gDf8@a$FhdAhe>+Qw=v$;AfEww@or0I{-N zjkY=LR_i(iSs;ME@F!$3F3Y1!rA67D0m~I|F@(APP>a15EsN&`U~rk_6dqBH(zuP; z=!g!OWWs$y3XLRB`=ANM&Dg>U3iKe2ohZz2aKirlignjrdwg#hL5EyI;ZyyfX9XZC za-kCKN_Hb~(jP)?)fiQ3=&VauTVj?URCN#(MqI34?~Hyv5^v#enPmr?YmZhNk5&T^ zD3@EuQh?jnf1$ZpoP#(^bQR{5L=?_G-=cOAeG5fpgtWe##30JxW zuNd&a=EdtH)YnOtrek;7$A^0Rf_7WlhLC%2j6Yy)CA6}K<6Ceg&#%QR!jvs2Z#`q^ z?LafT<<^xo8r_=CTFXc%S_S!BO^g6u6wa`S2dfwq{ zG0D$1S8rXPUEHxmnRxUO9g`zAx|doFUV6yi41Wpv?36}K$4+~uM`tW=>s|po^6D7% zdSd^6yWNUvjePJSD~{&+E8Il37TQ6FPH4ZBC9^=q&YUC=wudctU3n)E^N0Z5)|+fP;Zs$I9* zLkv(OUFYwc_T2>av(`M{d_I7Qu{AWA+0$ou2LZ11qE-1^m=wK}*I`n=%83rjOSHog zBnr%x>HG}7z`A`&O zFP3mo_F0PaOsn^L4fd`#xew(JdcHyUQFy7`<*V)^UZ!;O5n@n-0A~QdgEY&btWg%& zwzH3Rp!vsRm$#(6{9kP7bIZeV=ZqiE=NRAGlVe?AJo91VUR|=ri+eUy&lSs6zTcnO zTiNv?oR14LDzQ(tGneW4Vh_z>XmDwVQq{zyqQ;Hsj{>8V&I-VX4b(dDwHGl{vF;zTd zv3kt@p}2T5+<)O&$5lhw?Sn?MrP^eHEa1n2uwJ>~7nibXoYF;_TqlmW)EdB-HhoF_ zP6ikwsO%^ZAnZzCZM4$ULmz(VC}`27aAkD9uxI?m(2mgLhB37@adLJvHMIF(WM^ar z!_3G*$Vh0{cqtHy0>Z-hzp4!A*41_+X^r>I)$cEbcbTbMYMoH?xAt`Xx@@IyL(PzrB3b7dMel^Q$WwSzpacTX)7he*7$(?F`gx6fwe$Uz zQ>NP}sCI642Q=Et&0lyb;wUFwAAFnL4?bkl9H)E^E>CDQ>fE}GF8TlfoDY{j5P;{0 z4{cun=ToL39|F=Po$}A8Jm7}^ITTa3^H}byYxDke+l-~E=I8rI0E5P4m{v_1t-3M| zShi+UuiAQ%zBMb&273ZWYWv=u+qu(aww8e3!M+#oCRCRLp;H?H6S4F#jlUg0$PPQv z^2EhGbN{Uy8yu2^dk26u{ZZGvkn6>16>XRl>3#P9#8Vc33xewO{cAOJM$5b*OweQt`p+H+KK z9lb31zm4{ss@I@5cL@5X-?VOpT(A5Lm4>MB%C?T zD5^=0IPQJc3w-hVS*LyE?>=kTkwEU?zP#ej-Oobl5D;_>Cex=@wpZo%>=K*DLx1L?KL_vK8pZf)iNl^h z?X>8e!F(4{Rp$^_6{2fsQ*Udv$`09ly<2fs){LTQQUR->G|CL=yiq{oD1SWvaw_xZ zUw0N*H`#@&!?ThZY&VyY0l`y>uF|ej^l?bx3G-XOUJ|Uj;U%N*)St)dB60aj7x+Vl zH3gqET)VaUC9*^x4hvdUyG#yRwvy~;wgjZ~JZKusx$#kE+qlQbNS<)G%9nI#tN|3vK!N40hVT+ge_*sAYjxy*qOQV<1p{6+O;H|g~ z((bjpevqhIOgG&6k^=AXv}8624Jlf74w^M@--^9~mX+B0yr$@Dk_8FULE!PEKDu^F zg!_ov%%@D^W1f~i|NI#Cl34H4P+`3tAM_30FFIV^@;S`*5>UzluVw-(e|xND5r)b; zU4K3K@%4phLq1pDd7TloYI6U8Ey(MTNzqwo+&Y`{KryHWloqU z0e~P(JkD7+5s!`T{ze2b1L3>?J>@Znso};59Y1~C*Wa(;-z;ir8<$2#>>is8GlyRH zM($GEcq`cBEV-fN%7_ZKxhz@DBvnmKp#`)w^lH$Z`$a)ru?KdNNHA}Dns_+_iusj* z=j5Y@ug7#*v$cM(S&dy7qYroL5GP9^BY>O7eUNi6MSp0A_IU}At&8STbFnlXVc#!9 z?&@n~mzFV11*;gS8t&0)9EvPiny108Y9EWmCQ>E!m z$*;{)YhgBd-u%86>ngYfjb{0gQa|XWkJ}CVi_Bl&kH3y`;+{S^5iI%Wi9Sz*1_0lk zNNp2hSe%z;5W0*NqN<6ZMx#td?G1IzDqV{GmlQfybXt&hjMzU;uHt=2A>?4l2f`R$ zsWw`T861AQu101tA`49JA!96ISrlzI)LWF@{K15GGC^;sae)pMZ>@$X^u^R~C7GHU za(ZN0PVv$ef39O8m=2f@UW1}q0wb6L_2BznEEn)+J6}RA@Mr5^=UGSfIXB)Xk(PtEDy+%hms&s9!nliW!IE|XFSf=B zGO0?cpr+-IsE918Iw4^bDJP5s6J`f7j?afH4*!HJE~$Z4X0KkdFR_gr0jx}f|KI(S zCKB{Sso(mZmvJsiQZ4HzLB%vfC-d^^uSxtp-ZAwNh zlK^AY;;O;@zG`(3`s&hDvY#g?+Ea0BxpSxo@lCDGLdVM!Gk~!}{GW%~(m&!oUtg*m zu8V3IqI9Hm+S#?!D(UshWH>_Q*hjko_ROFXbH(8#V+9!Mgn9;p%Utt>?Dg&Dy8NQF zD#6*Rw&!IKAF_g`WU_e6X9Y|Kw^Ab@bO06?V$}@pc+S*GT#1FXKj3R8M+$3L`BUS! zQ)l7U**JVaw(1A9fiVpp`RkzHD$#uK>`a9jux7EbrtnWb{a5b@b<-A~o4&Jzkj?7t zk$j-fM4^W|u}CbEI#AXh0VR$zX>?rd!P#+!%4?|M^c_bk`dEs7$_r$iWPAhSW&n%} z#Rl>@DjDKED%mti^b_d`X=E}{GF>Cq!cgJKtpay5Q*W~=ossf@tc?cKtc->3xh($` z;eeu^JT{CeECN`6tHHhdR04Itd!zbtC||`&ZefQmV(7Carsnbhhl>-$?x%^h-AAZz z>$&S;l`6`^UpO`KGptyp7EKjjr^Am{AanMN2e>)Nb?DV45b z+NTy>I}mTd&_5Q6pQ;h%YR|OLF^<&{VtT{O6v^eg!P=oYUJt#&=gFOK_z36V8#d90rP$>%i^7)vJng?L;y*UNM&kcCPklj zBLqb-7UZmo$w`GJ8}McDH%Kzzi38IPWHg2F=1Vxt*=rJGkuWskKU3_hh=_VTA^96B zlXCo-R$Q~c)M$IzY4^d9r+G~3oUx{YxO3>N(n1RP^{sSIdT1LD(IcXAup|s;9_Vws z%X1ktQlR@Sb9Dw5B>*zbWJY^h8C>onRu-eN9B1Q#MO0JpYrD*O)lJmq#c184EfrYm z-ijm>+Ihlll@QSwF*&M|h0!T2W)|S|I%%K;`bsSr*pUw#=#?^5wW8yJh@+}6qG`?i zs?xAy9eZ}rskVfUZlLAlp-WmbGG}jLV!ZGyBzSD~O+tx{9za)c89Hg1J%71UFk7=V zk!3jJ5KO$r9|HatJo>|rM9>xbzg5BD4JN2z<^?xc>OzeT`4iv=?y;{hGCf;Z9$ z4wCwv1F9wQM`&f_b$zTV*8h-hsY#X%BDgb3kyWh0Jt|2xV=qyV&xbmG4gK5vTCf4Xa?rLpFww#P@<|{+DMDol&HSK; zRK7~6vI@BJMF*OZaA!~K{e5M$Z72*JROhj=%gL(*PXSt+Fdq`Y$&!Wg{D zU{0NyZ9w5L@_9DKzhur6M+Z40J1Y2YQ8tLx7;LMwDw~Np?GU3G(G#U#Bpg8d8v&&~ zaCTd;UL#{j12hTxn17PyOz?wGF3SgKNh(hz#Zcg8rdqx)fcIlMTD#@yx zk&&9^z`Z9Xx6sx>sck_v1AMC`r49S>(4n$ME(h-23?!;0SHDI1>&kh(=3@iy61}Lz z>3tuvmiqY_Y9j!FNTIOBza{_qmDttpuKR55jGKncYg&k@f2U$=yQYHZXc$WaF|rU% z1(17$sv`dbNX$^Ce7%dbu7IErRbx~N)G=IA&tJC82Pl`=w=vtFVc6N0Y-4c;vvL}q z){(WPb_S=xq^3s&x|+~ytnsUbvAQh0RSSSd(|cxE-jsn$fcNp zV^v`k+i(4)1}%eu#C}{lU3%BK+U+?&186MLO*8P6*{aj%s54Yx!&x;cRIywL57R8A zb5akK7pBexExYW)X`vhRw!U|0RJBrDVmp0N`XG z%G)H>SUk&Mq*Y|Bu&bk&j$FXf@%_ibF5lS2%is9w;oSG`BLaD$y-A{odt0O3BSxgB zQ({|+$v^H$7~;m(ksYmFUxh@zWP<5OV7w!z4@N>lNUQPY-}Ql*Gvz(qe5AEZH~ zRH3dTubPi6(VKjLm}anp!=9 z*|!1vg!uQxj6UiS@9(x&-ya^{-oBaPKR8h!>MMR=>nI;xJ^;3Syqj0W^UI7-Z~#k2gi0Rh~UJ3F}j+Hp&A-``91$<8e)Z;o^V zGl|FKJ5~V2653}~ZP4P!JEe#vu0-A{KIH=S6&H>ztlD1~-^+$6zN4QDymeoE&xifl ztP_gn&Vc*!5f_u{2pA|&&0rm#_!g7FGjqt@rKh|$ieFvNrTufU z0Nkj9M(=aI>m4s|kdN7&(Awm&&nfdRV5hY(IzJoqEt03fg6Knsa+<0{>G*qFv z^MWhwCGPh(lOV3{z3KAC;S{51u0{arIGUV$H#G288;Yx@GxP^*Gpy%sGwjDR5N@lg z=V_d`KG@<<5iL7>Jx8kR^@APj-j-b~AZ^|DsE=J)^)A{QaN3)GRWz>(ZPdo)JbG{c zfTQZXrWEAgrhfz&>Wt>TC4kl%Sdyc^gWR!2Cd7@Zf?I7;gz^<|9^Hdp$9pNQ!|jgL zvqID;iS!b~wbFyi@Fcla;qyQ-U5zz?Fl9Iw!^!a0$=U!-qzHY^O^ zj16<#3|PeH%+|_vI*aH~heOLC+D0aGOfXQ$Liyj5X6QV?`Ir>C&x|cbd*#W6u$I^- zb5RVLs5E(u+A%ropJqt%kt=<8deuqWfavUGUGmb?d%C1q&?&`&>5K4|CHXhY$>eas zcx^-&nkxdtsg9E*CM=X4a61=ilvu3;jWK979c|Grxg@C)M7Zb-5z!fOc-*428Cu%} zArVad#Gfia{%LT{xM^E}Z5@cRkPHyH7Q%t#EEDcHad2Gn)VXX6K6b-U<6PKFOnILm zhhBb{fj^nd-gdAQ3ldE=s1cDWtZR_iD+1;}|7!)x%{5pjGYeN0G`83hk9}FHntdKE zsZiIVW}Plc@~BwU1IgHf4IzS}a>R^{gv44$W#&6TkMxwpeNx_#-SJ|C*bRRDmAQL1ldU`n3;fXZS8brVkt9FwnJ9r#Zi9P_`!71zzx)4)PbJ^IG<`7Y}Qqw zNq%#HzZTJp`v=rdUuGZEU*h;2@&4wU0m_k4n0RvE>($h#;Bz-F1RpA4B6?#ae)gjS zl0Q)J&8nRDnW~g{cj1XiKi(n{H+2~~5F)BO}Tu{m<*3gpSqOonP-&* z1pDH~LX7aUz5&<>|LL&1$^$J(eCS+ryjz1v>W9n=li38&Ors{FB~5cbef??AU(TnUA%a~Yb_ke|%*|saBL+%qNEDsbLYPoV zxDLXPq;r%3$w++QVkB|H@Yf`|MEC#!Xm?|0B$u?S%6T0!2%(S!bIvX&C(h2~Yu0x* zGYnOI#`KFh^>O^=PGNXSge|X9V$Q;eM$O}4JHoX|jwo~E1i4@D;EpNeq+inAT;cAk z7#`a66c!&X5dDQ_LvpkL&Uyw3K{i0{vZhoh?3WiQXaRx)Omu|w z8$>I=DXii`ztL0k96loP zObz=DUN#7argXvaJE|EhgEY4Qu0;_lMp&1c{uHg{Qb1zLw5UE-i05HnF=kR|357jJ zndOK3u(g$s;R#JnPp;@F~y+rj`4iZY@K5JVvgDuOfJxHj{1tM2zZDl z`DBVehra0cbBP431T761_&!Nil*i{2*%iK+~YrUyilJ(XWRy;U>dDW+z zl0V!vr?D+&O^aEG!>Vd*${S~mr)JA-v&bp&4w{!4w)ew2E0b;kSX;px2=!&=WjXqr z&orJPC*Hk9=EM#eJd6pnYKoXn3jK5?a^G5IZz?l+M)U16%UDYGuNi~Y?3$*ZVaRB0 zmG!FBp)elAYAeSY;fex~G;1>(tA^mZ+|P*`_w_mc$<~a^FjZxv^-2#bs7y#Svwg^I zX^@c^BZmf>mgW(F1r6Lqp6>!E*W z=q0Ka`4mIedQY&s!W*L0e@yYT{vlW+b;6B3D9x9V4K)0=@nBqv%1-)ToIe^8mzu0h zTPj${sL+1SZQad<{NZ2CPw&(3JZ=8UQO zy%k!$NM6K~s%J!1+bH-@}D zsXXpBXCD}2%Utb9z?dB0eh0;TxP}vhcQ2#E&w)PsRFT~r!G43M4?1dbd|8CsK0yAQ z9Fgc2QGx+r8FL>O^Kdk%hX0tl2+xh;3E)D>E{x&JWtOOsc+*%E!Wg`lrjziM$R&?T zXt+c?8h~JZ(tXIiuRoPMVwt|*Ka&?PX>|bHo0tLKxX>qQV-deIVxqMlc{)eGWAq_B z?h4249ca^BeOMY!lgCL}0qo3S@UyPsvkX7s=2U>@d8SHD-?P=v&!4fQ&>O}F6fdvl zo!FR#yz7gz6AtT6L~VHlot-PhOa9kenBFBk?#?pYn}NH|hMIR1hZE4;n@;(!y;;%M zrA1d<{FeRbq2pN2Q1AY4H61tKPc++Mz{L^KN? z9zGy`<2J^7%?WFU1@hp&X~gQd@L=C(8fTnWrIdmaWu`){pd>_X9uF{-F&uZxyRr9Y zVLgwB#HWvG_1o~N$49VpH}|f}+`A;`@@&EF50v{|t8LWN`C{}lz5g8}!s{Hh=WoMn z?~wtNemD*Y48jKm{y({B%t0SfoeCht&;r$~N*CB%mBT5?ybS&&?;sBif z;vDG9Z75zgYbN&PxF1O~#4o*PMaLoDQE;nMvd!X~|2M4Yjp8}T|le9VUR(6i3( zF;ad@U%8(;)YS2?oL$|0%^xR^+Rjkh=$MXV?SeBco%KQjaXfw^+xt`&Ab25jn|}a+ z2FDM`go34Y>knv$VZJKmjaQe9;nRaCcEySzMC#P*zbSfU0@&<(d&;-C_RIywa>#U^`|xcd0V0#rKmi3$QQRNos@S7u(TM=20g z^Vkscx`Xopb{oZ^{F5lw+%(~Wm3r%+(BCy}gpdgt)8JQ`dwM zMxg|a?UdyE++!^*a*+OQ+7!seP5G%1NVp(P&oB5+@8?N3Vw;4S8JPX%Z5<2IKlx09 zdy9@#Fz8JG?iP88mWZa>!T^AAxB0J2W7lPj+m~px*yY}at@qAT+l^T!FIuBRVkURm z2>;#Met;;bqE6RbTc7jcpGZU^d3U%AtSf@tA#mI}32)y6_&_P7T6T| ze_eQjclqB~KP8dQWFgUJ8j<9?A9J90@5l&SK>fX2-(f*SP*1!UArf{#<=&?T)WIzy zzI^Ur!hH+^HD4Z?xIg!{gpXY?($8loYYv<{xHF?DrZIwBIvR&drM@nn{Ug-x32S%nlym2f0wDGh)wkOhb_mK z^F?~HZ6xQQA7oS62-4+DDBx`5dArYp%C3{TOQ<5UINUh-aPvJf?51OTqcYTNJ+Y$D zVHSuW_?kyNl`@XxHJ#O?4f7d>5#WWiI3#&g+P4~7{-JT%50gl$wUIb$wy5fJ$iY>9e zqTc~_d=P^{Nx@B(V4<70-|w?FaQ{v~mBnEF&@XFbKdaYAcJ1B)PE&#H4Hn(Xmw$YT z3*s=jq#GMpesdSD&+#(^;kl0B?aBraUYVmkF$fcUVFX|eTF@GZoN6bX5f{eas2%cj z5sulF1(vEvJcW1dna>oIQh_yeV;|lkh{(C^T@K}8oEBjxR(!re#)#GRAvuhK_LT78 zo5{GIMJE=A*H` zB$r|8YkR->@b#jL&Yj^FYPi&(GVpvJqjA@~%X;flK46KX+&&ktx5q>$7Fw42?z2f+ z*9_DTeUCS7P&5PbD04KQf7!MXgIg<)Qv(UfW&k43666XpL!kypkJ{E@&QhB>fNvFv zS-U}Avsj9W?YfbHUB(!HiKRnl3boAXuz1PdV|_c)eUeLh<(%E;mz7nutw8?c03JA* zLvgNqq~;8o#uNP+{ddTxFG4~>!%=Ts2K{KWK%>^=iCT>zqy|SuFi+|YR+%A2ynZ3# zWWau35yh!G`3c1|H}5*^&wT5v&TO6yZmp7M2-%c!Vok(o2V(D?*gsz2aNr)L`}k0F z`YA^4_0RpuSN-pEI)Qi>=l2sH);!CJ8YRwmf6khu8FFS$xNAK)p+=NlDt+%U^HxTf zS9r{pd{`{E?|4x9Ezfl9=zRK_U9f^cJ%HN0!JxU_upr}1s`H^X`KimLlteC)MdXp3W9^fF1Zcl_bpM}+2If@%Mi3NG zHa7M|U>7RDwT^b`W?Q`PYwg}-jwA(LNZb8GOHTNx18+~W7yG#TiN9QZCzf(SNYRx$ z;Cls}R45{0GvkK$YFvb)9|Q_jfdD30SjgY)5`5>8!r#Z&?fFPvfOJ9Ti!>?U&E@bM zGhrh#=^=2aQ_G709dMsYg8~+*zRb;#N@E%@{7(|#cyY~)fUatKp8Bo?8M#?td0EUD z*+f@y{jgfu`*R-3>5Sc<^q@xkgkszlkFj|yO;cZX;iBi%Q2my!nyH)K%GHaunb|ed zn(p)6g*xZ^U0=1}GFX&3p%(XG9O$j@Ou9Fs?E)9(?+^d_H+0-crh9P7Y_};b0>dQ+ zZy*Qo$16^~DO%2Y(|gk~!#$*Qkfkd+T@(Ri(|s%&Wm39atZ}mOAeAr+Lhm+@1Q8r!$z(nY@lTe>r9O>wQB(imw7USP2p4m~#oxkxkV+$Eg_ z3x}wOFxtX`vt6p!{$L}8XOGpa|DbXFQeF(eJ~?Wp-!dG7jgpTS4C~u29`Zuhi@M#o zPk{(RdeOD6x>?djKT+^Kzp3_Wt20ni@f&@va9T+!f($5RjsKphBr;oOd2#Ay+u znMKD*BdTDs>kkQoj=#l6B>s{51X+?iGQG2r*L^;6l)a%j%hZIweu9Hm{c|S5?!dMg_NlzY!syl~U$&=5eBpoY6r(#2UI36%(wSKnOvB+?@IBc?P5?#H=hcsSD^S~3lUL;z}4hTB6dI(`Arc> zgi+5lIK~@~l1vF%v&0*$V%Fd(JNLQsc1{yOp=C zQ&72s`ytue{-oE>H4P8Iwl$buw*M=kgLW!tQ)cM5JeMTm)RZOSx|}6*H=xMNGP}B#LPutCr+x?E9HV~r%^$}+P~@M`TAaBGd z{Bc^l6#2aB7_86}J~);Lk&(){5vG>>W^r)lA0fQ3fGETl1nL3+M~`6~8OjODAZgg~ zOpyH2kg-nsG6*A>FaoOQZra34KQwPnnNI9FNp9<@ykJGwG#>9+^rg<~f zGtuo<`a9fg=LyA~!)NkKA(sU~nbty+Z{uPd&iI~{O6+~3l(aK|76TvjC_x-UM34*N zO`yHL(`e^C-E`e{x$OkiqTQM~^Pboe?gozL-}S~S=imUeqPSef47@=aRLxbj|KeS! zdo3sXy#4LQ`P6UO0h7Jz*L0!JaudmMfvCo{QwY6*LKP&G91lFU$pZxUX+=kYarU!$u#wRd zY_@RxYk3I}TZ+7FnBY%5NT$1C@@NR21;X&;VVS6#VKzIBf#NKdPoslrg3vAf6*M_t;%MRvwyK+RN#39|rO54DjWVNqy<1Wk7vXjQS{Xp5+}Gt!^}^zvah)t2oJM(tz|<9`k%%fZDe5<*Qf|9E4V@`J`rKyck$QD}w8WHaEj_3%${N|$4`nK;f z89|bml|n^bYao3}n@Ze~dAyY^%O!xZtNC4wH-kV+_-!kPqSki4zDCZYDg7dqR@LT^ z(w0-NEW=Yy^2nR1yNeh^;CNP!@&?abv~n>e$a8KxWu1Mf;ulLH!K7x`(}ET)+Ff?l z?JYE(OzqQc#dID{iKR?%2f5JPDk4D`%a=b(j{lm&_l)`7Z(deS=eM4Zd+q>Cc6beN^iR<5hE}M$fXu9i|(O@$Xrm%89G+i*}DKm0=CGua?=io4f=* zyXQw(26rk;;r-B%|BfK^g}G-Tv{F`S@r&mB4)SSEu3Ej_5uPAC@)pFhuQ}v02UM&$ z5wChX!!?aP(PU2V+;?<+^9=#3)JAQfe>x%?MoqLI=Q)qi*;oI-^ps$&iCTs@Wh89| z)2R+7*;IXd)Wx7QC4gl}ki;+2hC9xlPD^#Y;m|lu8HbA)sjIIolm^Im_zzqfMf?*U zMCH%=i>y^m<&Zr)9nK9&j#GECFk>Rp9mJA84eJe3F_A3Bc8Suw#?b;$NMUDPiIcrf zgsbw4J#xtt;y<3Y!mLlPZzE^3>823Ajq>rrfXS_ireh$l#%h8tJSfdbN=l$Cv z6LNq-4!=BnyE$l!CAX;(&9cDl%zke z(P=PoTF`yC)m_euPz z;k%E4AJ@_L&Md&tA=Wc)_i~)F%D)uBkyz(9T}R*OFqxj6AnP`T9=-oZ_3i1U#TAY& zCz#M#!?}?s=j{%n0FqHqw~R_~_B!*4y%pT1T|=${l6i;J$#rU{&=~3R!2~aJn9RCqVGoD!}_Z zE;@p^Hkrv^(h8f>u2Tg5KF>H@?B&r zC+>FNXl1|v2WzX+T9 zmBP>Cv{|=7(wScFhU-hJO39nKVxAQM)DO1&hBMK+dh6#Xh-(roFy=S+Vxe%W?B8KP zqMc$OGYVc~2>D54i_x>=9G{+f4i^a5xUxm?nELS7SNqlF>@Sacol|)j&*CBb0j{*K}MSr4a(qfF{e<+S-u&V`$5S z;YEx$FfNtj9eOIs6FMx&qz2m%X0>55$cRR z;}Dj%R2Ri-y8YACTHm9jM%zB~RZA8-1$Ecoj{ii9o*8n(_t-z)D)P%cj9f#>x6D{x z<{Xmyqoi(fo{Q0&;Lw3MN2tt>`}Y8o{Ok8?+-}A)jlqz65{RToxaw}O);kE8#19|~ zEU)2sC)wet=V{ zCh-`7nnvtGhFB4)P|K-#*#wJt7H7VfMIB(_p01r^)j9Nxg`FPq(=qi)y6vwM)yL-H zUM`SrZS`s*Gf&|<9`xHZy;;av&r{*DG~fs1qFYc}8f1>YqD-u3^U|S~tpLW}{se(k zIw4PnqDf8^GIXcZL83W3s_ZvK%K^ zLtZUV)_(pcwqTFJfg&4=9R{V#`ZL(JdSg>*RsA(ph!*R?N(aa zfeMDmKv(sva^Gp-pgcug zHq7$ifxMs3l5YGb&9-Y}r)?KV((-W4HzL0L{yp%%dylvL!Jo?Id|xnL@jA$`0mxwz z>n?AqVq+;j^pC%4;e;?oK0D?YI#sY;Zq8vZp9RQ6#3pZhWxU!GrHatY2howC62%bF ze<%x1W?Ek%bOGJdS&el5Hiow`pPNc!2KP_jG{^x4^>L^lPjIfyA>2!-o$=ht zP6#{wUKJvT6@#C|M^}FYqLGk(&$VX3pc;^UhS3NeXsT}zkv$}kfXdlp_53kI_vjjStHC~AkS;jdYhq6g_h1G7Cbyy-dZqzm-KJB*F(w{-!^USi zQ()MK%zFEmwVaWFzh4@>0o4^IXNS$Np{!yCQ9g_1{;SRwSa-hs=8Z?mIJKu`IRy5H z@)UZHE!8nPUPsfHs{n~#OQc2i>wsATBY_x+W`c{iL*ld;cpG4PpVx;_=_+wj>A z7PC}%6u-ftIKs4|NX}9ugvEuDw4`%46a|f)-ddsx)zbJvfs;^%HTWu`%<%?w%kzJrUi^g=km!~0hZ6RbQeDUIXs*cvowlz8>T6P#HtHj{fP=%O z-AiR9#AD@-T62kD_d<+$zsZ)%O|JC=P4vvg5fUvM^T-cY=H?K*Et0mK;vlW3!H%6` z5LlL$npbs?%oN0bb>9Ll@3R=AmT!X1Pmxf&2!Pytas*@tBhf8=qB=zupSh{d!&Ga; z1Nn}*>|~TqCwF}vp;k6pEXE3hM)H|iWUIj5Jav2btd)#gQQ~CbX=}e1Qc>thctbG^ z9S~3w%6^A`8W4voF~P&rL(3PU8`=`#SGJ)=U;o0wyR-LF^7=Y%$RWFazaHpPk2b}p zzW~>XFEyRti=)kMOllb0v0Kmi?P4pCU-;f^@OK4B+k!hcm)_X2G@Z~sE)p1_q-&Ll zl60i-^?Jy2v#tM(*M}pj-=m3dx$0Y~;A#gM_CEhb`Q3i-b6jDMStl+|XPT29=a023!-y;2D37fkL(ZKlQWctDdM zm$#s0F-rzUQUXo6`r^)UTPaK4`m?HPGD3PAEbxsW&Fx^3R+wZ{2k)mSqc$yYQZ3Jv z){&C4l&bR13%i(xnRL@8IJmg{sD3sWH)3=r<`lcuRGiVEl{h>$Kw8vhX6?k;b;IHCS(q`Fv*y=5u%KGOjuBO+Ba7_BWf@#uv}6Ro1;2m+fB9Rx`D=y za8@;7K&{-^c431G&O0_VJ;uv&-P4R~wGrnR+6>5^Xej)5*A@3!HST|bK7|8261yWP zK{?sjQ-vl#C;`KKn<<;@3AaBm-O--0!^6ph<^(UCF-}>iG9lV;u{(NofVi(Hea%8kb_ z^8_q{AHHTx1og5h!8txzL~ky4sXx!vv~7EuIj0I^696S67T!SWSA7jVTk}PF)&(#? zFW_l(tzZfcLr^c>(y*?7*Vnv}rtEWb3K^W0=){#gX*?}KVP|TG-;*!qNux7k604OV zxpc#ng^Jm5LaI?j1ltN0Twd2C!pZs~(=GPru`^*>Rtul`CMg0joE4dBgN$=0pYc^UZ+MDK z{3R83gzej)vy$0S?P-Da?~zv-JPK_rK0$%gsX8co&~B59SND|suz**%Z?dD79bLvm zHnNj)Oy-Z`-PP(T13jntW3P@R%Pnoj6bxCx4M4AolZ25r*4#!SexW+8B|z<#Mw zM`F6ajus*cgo$|D{e@luQPB#?jGqNA=N;=JeuZ1rWCLomV(fj;lBMY%T<$R$=)d{W z@nh;l#-cXO%Krg@Kz_fmMSiHUIWU6plGyjnvsX`lc=_bb^NWR&LX!*^s$|9d&5v)N zqD~bhoB#BG=Et92-H*TLQ+$%a*sSLH!!tOCm&iRHCs)W!f@?`IIOP)Zf`R&IukO3L zY7-_+3V!4CyjwTB?w$-jo8r?928%A3es~6>H_gvg;3R)_o@wwKmW@AK1~$z#xq-Lq zKWk*;MD+^{g-E!4M`cCv9{h$9OwGZ^bM)Jq%@HPl;h*`dh5%PpU)@tE=Z^BUOrTZv z6?9%e^LK^F&(wLvv%))-iA-MB+ot`LFo9pX>Lw{I$SPPd3ouKFG9;3hD5KJ-InRV9 zkPQKhi@63L%m=jl$?a@boE983D^E9jp5!1NMkuF)Xp;vv;ug93wl{j4A& zGMEu~l`k_c$FQN8DCZEEh56!8a{gdX%LbZ%6qzVsE+=1TNzXyA=ZZ~@oY-jr& zE@U^PGQfF-hM{Isz*D-#=w-8i-R^hm{?kRS=NULRVE2=bo*;t0U0+@ZHsAM6YoTV| zH&olNYAU!*F(}=(%|Gj9|CoOLxVx^~dbg~-1%s)V+V68#mlq4o%6SJ};2PbB3$7uq z0gyA>2Uf0keU0#&wt|AKqTaCbBW{#h*yW~KzF)4Y^^R)n>j1a!{_A#s)3h-SF45i9 z*zreHJy6!Gy6Q42zpSg>$JKgMKc?T!zNJE6S6eDoo35eK#|!AGY2SAacjunKANSU; z&tJYs_3zl_xJ`UD^Ln?ckZBfJEteSUFL77+6V+F{E2_KRx6}th+Zt!2yLuuU3v|2I zhrM6zmwjgIP)Q`zqh&jPXKblnXoz+D&dLQ!KUAAWP|@-jo;UTbcG7`g&?xf!!+Li^ z081?vNWLIzJ|E}Kw(o`SJRt7 zLR&BQZ5OB*fkE$Yn{I81umJR2`26$zBE_w@uk6PMZ=Syeoey9vgD}T>YR^#|D!B*S)wyisO z8}%;FX~0;qBdzc0mlKa2CZbsf4R9FdFeKMNy*?j%_s89)pc*R8j94RM%`cE ztWnAAFC>vlFrdDFSvH%a8b+opwVto-%tOs9`ng$OwpIIyeps$y0bLdRSZvn2n$Y{E z*-)M3Jr=GSD-Wz)qyItYwK%F~);leP=1zD}xT@=0DsAej-H~+R*S5K;HyxEpkWg?& zjzv_ceQ!C9tUwTWt=mk+;DH-1EBe z>gWK!arXOPDPFo*G0U@DL5P5i`FHEK>o+I?m0K#|v8(s3m9j1O zo)Q9B3BvQr`JpQZ-q91-yQPvh9VOxkc?pJ9u{>QGuIv#|L zoItqMAFBDd-fReX>2PgpfH`G@BgmORU~}HD(>$G;w(4P<#*&MDP20zsQaRPjn%(YS zV`H289*mL481pk&9lB=&Q`0}+~$sup5e_9p!D zXbVU;5t@$!8Lg8v20%#Q&AzQO`uSbkZ0RL%DDJI_9{7O_S|XPDUwO)%46(pFdbEP; ziOK|jTC#S!(Cqt7wRXBS@kx#au~tl;oSF?x_5%?=KbPy3*tVQf5fEjWUpWKUy3@Hwe|4W|Er`3Q-H_FXK3K0GlaY#9)Lz6fbdyr1aifE;XZLiQ#AjV~T>;E+?$ z)+!!dz}dI)7q2j1LdZGd0VASK;_YEypd>@`!3VERSS$>-E0c_3J-}X-TA4lNTn6MTC!ZCsa$z zjBBQfiEa(xSh)spz&Wil#Y^y%Axvj~;3SF90oWiaGiIV*2Cz*oWvE`pWI}03$OEDV zSfpM9G*Yhtn&>7$P^4Z1^^tlF<4mw4!MFnr8z?%|FpwTAVW_$B-^!ljyMSu^_}df) ze2qTlya>x9(R63GY_2c?IPh9A@?=?vh#qN9XcshKR5^`RHCfWsp%or;V)QdA*C(}|y5s{Typ%i}P9t6Ju7{|l`90$b#oa!q@SEOabC?YKz z#+zVEf`NzeaUkkY%_N8sKf~t?q7g0bpP^?U@S@;oPBPQEIihC{%OlZQgm&GpwspT= zQmB0DlG&-+P2P>w&J7|MLqhL=ILGfe3zbh4Z-mF1H^M_!f`&to(UCslVkj@r=T4MQ z0x~O%o+=-HSYuS=+ql9sKt{f8fW?~Up|Rq5Xrh}GMUmQ#1Bmo)9Bhg!DGna0o+m5m z;AC!T5}D!hd=Hl!^rSF^(iF!%9AbGSt9jqn$30w#eBj}b>VW8!s%e&gfhDSGb~eH% zsy4tw*5Lv?sPzOWGgAmY)ieXR5VPb|(+r>+X_J|;Hwb!6iCEP<>1kFcB%m8UQ9Z>V$!0QI=oo>q z>J8vn^#*XNuLN1~%ybyUWNPXMoZ?K1i-)Q=(3ME+@{D2Z5E7=htUNcd1JX+<v~OjG&=%h83Z9M({yB!!Aet3@Hp1G#XQ=qEMk= zJ`dUxx5H$na$WMc&k#B)Y6K5eHLe&r5Of)EE5&uEuptY7LXG{#3vtW|Avv(iltOZF zO7~D&j!Mf(X>Xv3;4=fMIV2z@DlbgH^CL@l9?K&gDz6LIsb%EJyOUJW4Q3q6Nv#DQ z@f_tO${cK8Ih_R&6e1s?Rxo%f6nmR0xqnAqiQ>8YofMpbiv?G=`HT0Xw6iAyuSe)1|J~tUW0IhgM*ug*(V5i z+T+rJ)QX3G|WS?2cyz9tc3igTTfLNLR^klm(~tYKw^5cMx=G`h5g(b%1-2 zS~2$uCCe-`%%JG)V-f#6nqj>Tn+sZd9qb&2n++OgPSzrMasF@p-j3cbkyo{aU$%m5osr4pM7+>bet zp&as+Tv{;TlVO*01_RcgV+JQ&S`OotIlsdkJXT~5LDY@&#G?Us+DvR33qP_0uI#Cudc4~O2 zUpR!#Y&H94_Ij3bPpF-_-D78GZ?ZF(UKF&+j-M3=!my`vl=V%7FWi5&*cb8B3Xpvwm%ZsUt2P!$Y6?z$vdQZ<~+&h zLS{KmQwxa`Je3xW$MQ(D!0t}>(ihVBysU?hE%8fXXE1@}rtM4&#SLg2k28~TMP%UZ zHn5&ZJ|i@TLTO63h%|^N1m9&}Bl1_bGE8X|dQaSm&d=NsmUy@s_k+vApF})=6ec7+ zz+bQ*@cwz>_UWEB;RK_P<%-_#U$(|&2)FhVJNqFkbd(qLJ*!(8+U>XCF_->>z{&Su z6OC{b2Ly+Sq2tNOl8H5s@(FA@lJEcozhKI|)UjoU(7P>r!2WkxcA;?P@Cz;57?_|G z#c9j-NaM!=^)cfO+DjPkNb-Sy@eb^Zj5id)2;~w#y3?haSZ@Ts(|kwluW!Gygz1`c zo2~hoJMA)uX$eCMmeOCjn6O}nWfY`b!$nTk=eqB0tpMp0Ui{Pyr<3%>x%=XK*sdCm z2ZlE3n;&TijnWM?80XX~N4AG%8HsL$!mPb4RViY_jKFtW=7|1p3%a;}&zXxawN1vd zQj~YtCghJr$%Ace7iWWyE8K^;fgAQ;T3F0*hw|Hm$cL^*dQyRT9P@#3j}nNiJCb7n zE@3)S(iUK7uL1aO!mh4=j%Izo{XkE~NJVt+k472{^uV}1+auc!1UCR_HVzZM*t8?? z-KIUF|GP|EaBl7GbEKTGmY|sfYZ(V+S5skLo$I_T?#Z0=3lGm8x2{quIoa8XD(pv+ zl0Lzs1-nCt0kTVG+jpZH1`~~LMEnY)Ni7NDU`meDaxqycJj(ok1o~IeOzzgL>=Qp* zWn9RdmU0Y!QV#Q^g2Rg(!?XrlY3tde>w}eINZ0bx?Pdsh?x&_wWm3Cc3|#jKE?N$j z7af*IvTo^Bb1;FQpv6AO(HoFU=5s`Rr=&L>=l_f7z#2fME!`+N!OhGrgc)u{rwRtL zOo~n$do-IQr_Wq}7}hy5*)0r*i~Et}JeEhYlKWp;{^}00g$eQ`TX19tRG&CKJ_cEL z2xk$T!bx2C?T+>=g0nrT-8Aq(2ESGVNy)-5bDI)Rm1~HMZxVL_;Pn^0^mhR~yIACW z{u2Jm`4e0I5&nw#EBp7E{rm0EN?-!una$A3)6|^vd4pLSgN|i zGqHaC?`I@`7+P9)@2TX@aQn;UuypGW?ZcmHY0qin;mXHU+pp>!l`w_EXK)g~Bgpl> z-?#SEIQK{1lShxYbi`RpL1%Qa@auE>5s9+F<-q4(y>>N1_X_E%P@e5!$pZWu^^X>#3uSTE}?BgX?X!_o0Dd!ozVaQp=A ziNQ1mZ%wdQP7G&>KUACju%0;aUfzx5(2(%H3y-nN!^5w#7;lNVLc$RVPbK3sq!5B@3-fi_gxSEpzZtt`hFFkgT`wh{GAuk;8ND)RZomxs?!|{)~eo+Az>uJ zkWROkJljD`sUbL6>&VOb8wk9AO&FP7DA3%eF+c5G1ODa`cjXCQHPE@cQiySXV7KUR zXbnR`Be*jh`K0ca?xB&|xP#*+aA?|H@1Tu8O%4WobJNn*JQvV|{}gq6d+jg(v3KeK z;0N-xM}$%l5;7YMxusvX>m}s~NP%y7)p!qRd+X~R)w??q%>42b0Y0wqNIgRQ)g2bC zbpyDpkB|Z}WV8O$UfYn<%_R7LtmpxaZY-DadXXzo9lWIkE9e>-!0+7)MCR_l=+`RY z8*D|t@;z*;WRzaEHF*OtWRgW7vHs8~^D zx8AO8j|gkr6Wv|iFVZ);V5Y5y%PO$wE+^3%BHjLSv+h=w9H_wrI-}y-p(C`WTX0*| za%Gcacx~kp6YEwJy>xe5IL2n{9Fdweci(zUCu*|$r&zXrh2!S=Ra^vwc--!0}a z1V@rUULF0ia!7Re6jHD6e}*}Zo95{ zu-msVr9i%=bJd%sx$=9P-G0*#sSHax-(dp!A2d-TlhELRZ#V0I;mdghpp6{5S{AqB z(rqns3d>qrhk(Ct>-HLar-MQIjH#=e2|;zUbMI~UokMahfGg^{{nl0YpzN#qX!>&N zcbb%T{vMR(&-aV*o)UnES3TixYiQcUcXD9`1y?A9(~|K*uJ8^RX0HWa*el`PU6|7^ za{dn&4$@BwWo~2;b98cLVQmU!Ze(v_Y6>znlR)Vd1357>mqE$`D1Vh(OOxA1lD_*_ z^li}_-5k70?4C5XHTKBfaacX;2+KYcfoc*V5a6HyY1+Sj^UKTvKsKnE4Mhl9Sr1la zsst3SQn<#)xV$m9I(>G>|*5t!a>lVlSXcTd&bhv4IV6bAM_ z%7Pbn|CptDQ1f>ixPPIq%b|G@Y}Z-=K4XG;kuk>485W)0*i_QJ_jBsuD3EFSr}P(W zIrjGc_ou(oejlS~Q)Id9>S!EINRuRZ9@}!LyLKbZr=z7A44$xwG)ehafH3_~KlAR& z!3nBv;1#S|6h5_l^?AG_#W(@@Y=dXk8lMGsvcs{foHSUk07>k5xX%LC2$-TeWjE32VqNeb zzSfXJRlZ#uO?Ol+lvUH6PeeVsk7bb!Nv5=BCYzqiDjXMsP( z(tp_)vSh~xK^pl$i>zuHFy=N_4NkyWbp>ECz)l(`Q|S;t$2dp2NMJU9Tc+ssDid>| zA`hLtYsGmF`pTNK(k~*;+b@pc$Q9g zboPc+353H*S4(O}LEIF+@-sBHwS#zN{YUNTN^or8;@!OV#Xgg`V9Kp2G;ck?_{kPl3SwE$1apFa zX1%rxJ#~P?+3{U);YKiW>wrw-I+^%9_HfeH*%YeRG1alIP&*V;!L}D@Ha&z@IWD{w z2X1DrZJ}H;jU+%0DK68smQY4rP=D-SsqO4SZNE8K0a$U-_t$s-T2p`18|>yYTkVX! z19z^ya>z38ZK3O(X-q9hm0{AJ-EiDDI%eL5`RKsJ9q9` z^>atnomD+<<>whI&B2z(wrjeBuF^dZwiVFXUM_dlgJH)w4Ej!_(+$$D+X@P&>$RVM z4){S4GcnMTO&1Z#UsKcN1^fHQD5wc&FecA}jr4yzB6=fP$UV*eb~$*44GC#G9qPu#SmC zui5B&D(I&R&py`M0nn2R_Ntc&Mc<|ShI5Y1hah&KqsFL zUW|^NyNFVjewjDHDyIya_&k^WMw1VDB`Y2>-9;Z)vIdgK#xketB3e>o4`p*QCv z95e5ii3hbf{<2NM2sht1gLTig-|q z$(6X|GGbM+D}RmBbZI|Qc9PE&x2sAa#1m`86i&6HAc`G-YVCErT77^jFzICVSJkFD zb-Y=+&kl|jA3REs{S&M^GR+8T>cer6Ugo^Wy8r|{ccgtZ7bO_Ff|k6y#@fMlXOqOF`<&bxmEZ^VPHD51|Bgb%5v2)oO8|G}~!_09U#P zsD^%wZ136ngh4VT4B{^*43arL^^F;z$;t2dsjoko@?|YMwas}A%})Jtw5?3xnK4qI zy&#-zD}T4>i-LcQwttafY>MZe$>|c8{&7b?LO=JKIUwqy&Pn`-YahR!1Kr8VXCGd^ zZ@!l=he8kYT=6hu0lCY1Amz1c%Jj!O*nuog{H+13n0%S0ue4Ku#rZOJ?tqjW@8v)t zA0W;_WpOI`fSbWzO3^c)XHqyB%-JA;T|fCoJb#d-H%sQ3i+%A#38krHk+06wHTP4^ z?ahFRkTSE9z(CVy#fxH2j{r{|v-M-3fFA_(p2mF ze1Gx~XwE-wSs#_QZ!czN!X(T`E9ZZU-AjO-Dz_T)dN|)pnEGT6;Bs;3yNzfOr=-NK`h!kB`ozG+LydNl8HuTlz(2}lm|1E9RaJ$8h z2rJYeU~lC+wsfzw*1#SH{q|H?^WQu2jDI&-dY5P0O_rpxBdv91kbPZ$u^hbdP+@MH-!AfH<&B0FGRsb2Kof z-YF1y9tYY;vJKQ=eu8^}kO*GwYoq7wCNWi06hoxs6e>aVSmZwCvqM&g}&1YZ>$yGWMK;=A*#4eMll_9q%Q-C zXAcbfSM4`1&yyvj3N1Sf(3k4OT7+~)n1m0?`%99g$@pScnNA^}4z&VNUaG-@UhJ20ZN)z9(7#11t#U(J3%MnD9_Gr{q zN~asV3-c0>R|O zhIF*@h3Z*zO`|N@MEO)X{eRl4E6kac)U*^!QOk?i2=#pLH|X)v8*3vb;LMZPz~1FO;NY2f;|* zRJ$d-BfyQWwCADbfazsfo!gQhZrWiyt+_E$g%tCWdbv(X?ycbx2Y+fg<YS$5|%**T|t1@}-kRpLl^)Qo_ zCW6?2sXhZj5{RrX*&MocQ%QVikC!TAl32|CPE7ss4aI#L1`iTox8sR|QD&7CnO1Z1 zCpi%M>>E=+?grE2On>XlKogK;%TzT`D7~T@A~xEor;8K+0)sh*#B8C=g!k$iGg-B5 zr16b)=X$VTxFfvKVg8>pBlB~fboLd1T?ikV;-U+@(DXiLUSUhCCbhgwmZtQP`oY!F zI7NX35vMn$pX7wx#S`;3HNCn8EMX4-ivR2OwzWyaLNzSL`+wXTA!q$b4aq6!2%Sap z+V$tIpQgSt7pt`_ANkknz;MzDCZ3-RxH&N(F)Y7&Icbvp-_*m4_bG3``<8&h*LMl{ zq%U72mzNbO#;oezB-zB_q`KHMx+FmJNPHsr$D$lu+ zO~0sH#A}PeaDQ3>u<>8{K&;wo-&^xh9Qgb?O}loha8hatSrJ-oedT1kyQt(QlG&Sb zm^!wTk$au17EoSX?8v1@{a`(dz$v1fEMChSWP6R5D4an+2Vxa|$cBb+83C>JBZcb; zRoR(fXd9h_OY7aR>aMBlO0GL6bJ=WPRUzQ*o3oj$M}INNm-SPReq3KqFUzt;nPNqZ z#p*%mrwlW<<=pW$UJYZUyeFmzpgaL%(6+>wua=o!L)`F@q`BkL#M{@F3MaIoeKXDHX)nKLF*93kNyTmkcsv;$AdCeqGe8 z7sHxmqJJlk6-~>YDL)eGJh~yrTXiK6;t1hcYKz3^r3b&`A9j{Yt<>_Ovzi;4ryAj# z)ISu(W3h`ToiU85%7&C3Vo9v<3$*1s4_u>su792=UA<6PrizdP7*)L+`S>Sk1p3tP zlEPW249@YZyq~Ar*@sEyQ;uNBN3C(X!w1h_)*}v0S(Uu(wth@+F*AJ>jcpX)ceY z@qHZ)=f3hsfVil9D>c!@7Zq}SXaivKb>&q|E|gF6f|c;?;uNZ)5gj-C{Xr_GAAh1; zKw!5scK7>6u-<)V{7C}RJi0!CaDXr2evuAIE)12(W*;Eu#2by&GS;b`@x^(Fmaml z2BTV?;)r)6joU$Af_FZA`8u!G@_*M%c70eKkuI&}8MWqm0e~TI8EfdDY$e5%7Hayb zmk9%eX$~DZWyh1#X`%;nY^33t>f@~aDMiN#ME_1C3;As!Dky@Lk}Fbq>STwzWekU| z`8~C6aygGfnOlCizR1Fp>A7a!DCQZ>y%aL2Ikrt#e$;&0cJbDc8t0CDzkjJzeDgsH z{+z)3IicrKKF=2)MerCk#o=!0YjT^#1S4vn2flupllyCBj+~Oyk~mrhc5lAFY0JOI zrQWN%_>3Nkk|lR@bd0y#F50d*;Vm0R1AD_v@PQ&!>X?GXrLdJJl6s`RA-P88&t5-FO*S z(oct~=Kx(%^)l*w5(y`vqa=CEPd*K7v^ze3f4UC>d3{&?-S@-dxwgLV#~KR(^2hcl z|8=KBwE-jX-Zh)<^)yuXf!8)mZ~VKT_&>e>@tr(_)%{}{1s7;p(-`@kByu^-%zwv-ipFRP&j1Af(inEZ6AtBozig3iAj#LPHPF02qTF`dJ{tABdb})T^ac_=5}+t^@BV9~tD{UX>wShnx;1r>>%1%Kz-m zkKzLQviqlX4!mL*y6PEQEaupA09~!MsUZmL-FfVVx%{g)#ks8n2&b2{L>Rz-D+PEj zo~j$|zAI>pF%-OO+g*Rl2Ca&LV}c6KaN@{KA;+AUv{$ zwynt(%_ggC4x$=x0rD9OZ>N4I;v9Q%Xu9ob;ysXcsSanpu0*oVojNLS)3tqXG#@Y3 zwlqf96|ek>tkIH3m?`T69c3?nuBYMRiv!(t?a}y{XGvP@v2Vw2W8DJVBOyM0EQ&8n zYOl^E@nONTZe3AVzpAYZ3;Ws7kkF*&3-PRr@Y*(8>M_DsbUFVY>Ca|iq`Q|{KS1fk zYSsIPT+y!DkEXq1tlP3Ms^?Q94Z6OT134$LxdT_r zh>c_1H23SkuZxpp zqNg2+p)8K1B*^zw58K5Q!8x`~HMF{4(kixeMzSxqQel#NSKnI`&f#zm_0B=`sQpSKjyc(h(LDN98p@VD=(MMzv}c8YAG^||w@%E|=mWCs%;n2j>g~os zTNt}OcMnNF2|HUkIj^aH$tkN#CG_DHej zPt~P->@{IqXD*HGZOB7ebtI_<&FxqmWzKpsd10yPH+ZTr8J#vn)X@xqyK^BYp&beH ziPC&7RRPx{;>I=Xb6wQjDo!GQ?S21&Pu5aOQia#3e#(xFN3` z#Ie++>?h>@VJ1-n<{oA)Pt7z9nWUO~W`Prix?o_~f`QanFQTq2wk+kqeSW?AC47MH zUW^^`y8CD?+P$zcFU$yHlty*ml5%d`@>ls_g!Pht^i`sd{!CuY_kqv}uSmbIBz&Lk zE6;9uv>8yNF?6K%dFNU6#z(qBes6R3hemtGR1m>?`n!nrHVHx!pF8s3ie zmQA{Ux?Q=sPFWxsAVJlIXhSx z;P>y>;S8`@2pbWK6-n+THT(4WhkxUbE>WIvCE2P>Mf-mm>!Er?#jo)#oacySpd^x^ ztO$zyz|WHx?*;?!{&IdfSh{I$ zw3GBKOH5#4bz#DZO!xa{+qn>o_FrWL8KOli)IFf?PSHkcq$9BTEJ0;k z+Nk2F`to5ZXowogj8TrO25pcS7K&1TBvP8IE}j&~LmlrBuq5P!z}&QT{nk042lcjO zqgYI8#>P^yP?GjpO5c$){E%3G*$)?f zDD;VsnlAvyfue(DWuZa8ATGgB^j$_eR3{KXpI@g?tZDNUr;p`E%JHf{_7-VdJ}<&k z?h@}DrKC8-&CnoNENG#XVi)M1Y>)K;wnO7eF zKQJ{07=2^n)($nc+hL)~=ldoMMMl1u#OwQMaL$Gf)*tnnqpB2s`3wjt!*vI#EgU;oQKUlC$+kS)|pD10)I% z8y4gus+xYNhVdb*niO zxaYOF&LyN2M92Urvyq5cS#aovL)9>!pZf{zcA-4rzA)R~PNo-ps@m-o^t0an@)oJY#r>aKcuVq%3 zuwtCdiY|1V(g%nxlv%|Zdu_ZoYPqxzg@ekII6^`%x}<|8F_Oc7X`K~XVkdq+D4iK2 zp=K2JGZb_jt*ML|Sy8oQa3`cI=KWk9F2u6G%kwi9HbLy#qT|h>>Q1ZkvsUM8@8boW zeCrUaV5$?ZedqD~^8s7Wwjxv@77GrFW*bUR>QkB4!R$zONk@zR7wo0vgI0%z`5b+N zfXD_Y$z0*2C!W$tq0+#=3AI5xC!P#XBhmJr%KF z+Zkuw8c-Ny?ksFxBD;(r$Zo~-kB|oLtW0tc-3hSHXEyB68qyHJcF$21GVCxnq|uU0 zctjRKC=$2yZg(PXRxppR4sO-l=yoX=u7V`zVDY(>`+(1X$B}lYNfHx-Xa>J66?%am ztnxf_mEOGj$Bk+6T1y0wITD-&7ZF}v{XrxQ8`*3JzvzX_7jx)x?} zj*VgJvp@?b@KIU)y5JO znk{n(%+&Nj#kufY$m0_zJ#sDPXhcz;^@SJ+fI@ErQf8@H%yA z4_Ea|)3Q97VTve#&X692R95kddO#v_^TNybUnDvysscE)C$Z>|6OD-Mz>7*kG~zEw zO(#VO;nL%2VEPsC@N+4X*P~Fap<6y>M**Q-3t*zt!IW8r74;Ov-GV(WkR1=7&H=At*^?%Vk2Larp%>2&BeIXN84 zd@P=O9?E=ZHg=X%*$GhbrfNgK)7bUAP=G$47xN+!yyF@F?V|Q*czftQ-NS23_1M;b z?Ox%G*g)CO@1A<52ntX)24lM_SIgU>Vx40ZUN}Es)?fWbJ?X9xC3cLPWS2>dO8!&p zZ6Pf4*)n5DviU8N`5@^u2rXB;_RH|0-6dpAqNjVY<%D3IiqrXGN6ei8|3!;Ea0)W$ z57bS^s6oqLtmpi)R-CC>~12tu=eB+$_eg$}~&n7U;bg_Ht!Sb*DWIt{BiMeydR z5S>1W?T8<0an5w%;uaQYI>C>nm^0Kij#KBj$;YyRX$Kf~IVbU&QK}qbEGYO6l8l$l ze)%$_lcGb-D)msct?chV|^3UG;=A`E; zXDnSM9A6~5_UD|#CK#H3w#$=g#iCC0>WLnl`0h?DZ>I7Bi9cNt44`R)9W$&bn=bqX z#G1kDRmD*HQZS{2i#x6-28(Dk1x_d8JOXw^rj}+9suhzyjnAUkwT)M7aBYKb5I=nvSqI7>=WDCOzBz}bbeb#xx%BBy2Pg&rTQ?2zOb z8_(N$U`U-H0pwIKXAWwxsg@IZZ&Uv^0h6rsu74Wh&Nx}SRxFlI0L@Y~Qm=Vx_r`VJ zh&DFEt&_xsY6))B$JU-CCW}(N&Y1MLxYVc1;@hVCbR&3wnj5kH>U)>}iUM2HTAH1P zM0`#KYKgg}LB!+ds%v;7HFiJ|e>V1S&TSx2dm%=&w6C-J;B77yENPu&fU0$I%1azQ zd8$OQyKN(kX&W?$TqU&>aEks z@~ZtUEZp{gP8B#Z1&*#2IGii6cA!!O(OhMfPnA`25f7Z9>}%!$c)CEO4LAlnzt1e% zuu8$-LlsTqE-ca!g6cH6bXOM-qx4$L(5wAn;00&jK}rn1{rUPUWLMf3#_LHaoJYg?&?SB|z70 za$?)IZR^C&#I`1$SSPkQu`#ioOl;e>C)Ol)zPkVS-^csZy}SFRtE;+t^;&!F^M6M?z{1|%z`osgpO!p(KmD2oPJPZA9yiBmxlA9Bo@*&aM>&c(Vso|Zxp9+0M+e6j zk%B>{L*vKZ+04VM8?M70XL9_xCVAfAFd2_>K}xced;a4 z=}AnW*j-&R1yBPOcHD4ZN=svnVO}(j+O%9-jWE9^7QU6%#&)yyjBi*oR>=m`%r%97 zlr60{J_d(^2To)oolMclNx?jiH84pylfyo=PI&E;($UTDPf$r_awT%<)p5^Oo-Ple zvcoCcLdv=n>?zUAxNsJFhc6YEeaLgCmKQgux#B6w;g)I#9wEToKDJ^A@xR&8}^}2%F>d}l@s1F zVIFyo{pDSVI#()s*`1~58@1Tvk3SS~0cb6!QL8x&)n{wO5#2n^ufni}J;^OTxg4&b zQy!&YNyqVTSM(lDpTJ$zVM;>#Abaxuo$jyWizEICiVS#IX(LCm;nlF{y-~wzf_1nB z|HIh8mv&lZ^U?W$?v-ual}{gxDPNM}zSbT8doCdf{x&avF2%jx@+K5-Ft$h7T>-D8 zW^od%`bN@OucR}?t!&fHPm!>ggNBWNHc)Beu@4Fk3XH)e4k0fTgRc=uKgAA4_BYin zskTtsGkszu&6e@8x$kx!yN=$^ax`M)0y#G zImDynWrsED?_K*VbH*onaxS;&C4?=kh#t02flSN9_H1R#ZaK3s?=j87S(@1g+{S*e zZj`@QM7gYE(t^W=j#U@6WibRmmLY`ANz>mg91*is#ka@ZixZWw#ADJ{hKNgrB04Fr zt6x8CW!(!LF_+M$A6?UqJzFYP+P?*(v>ayHu0tWulJx_G!;kWFNCV6Uwa%FIzNsjj z7eA88fmUH(ubt{v<=z(ADTDI|nlkm67-H>=Z#JXzJmJlrF;3jQtGUuZs6qv`z!%yx zOv2)DdtBf`N8`l}Va$rm;RELdrNCJR zAxe&!YRw7tAGHauipjl*GiiZ7QE@c=M622uRR#td9!Yryl8V9-B#UW143iq6+_yD2 zU(*cUAba(yVZbuB^tmHw_8Y>kD!1h8_(O#4={pejn39MP*w=UxM&8(?7lAdILC~Y^ zLMw{+j%p8TBk0s#QUX{w^CrAs`@S^g)Y-2fNtxN7S;KRoOckW&!-YR!ibgxBue6%Q zgw1r|^mlEPzxwDTID?G^ReQu6_fhQ85!)0gcr8N36P4~+W{H3xvq)75KmKWC3zHRr z(fZ1rL9`EHaculrNGgTC+T_SAFgZRszCV*%V80vDX(NlXzbPkREEONJ@OGhh;ypFt z)sZ*t!qT4@%{7aExG?hkSbo5m1K-*2254})aw2eNQx3cq&Ju4ltT>3}-9-V($P*#d zu_PbC|KQxr;ZA|7RI{)@;X0?n;)P_L4EI80X}0AcQ3LyBYW@iyMJXqvxBEUIi!qre zKi#gQwRB^TXan*CS-e8(C@V^2IV00{ajM}Fb9jwz55D8z*pEE6XXXcDr?H!o#XbdDI#>;wqx) z5#h*C0uGV+6V)Dz4k{hL$OMC^OM_6CMH;O|w`zL~(CPhQnh>g*CQKZ~5p&RQiT^mX zs_2+R?NEYDKceKGKmFzdyE0hfQgAl&VBpd&EB0gdVU4w=NI^+sa>}@nfe(*QcDUVi&xg>k+coNkL1!}M1aZ<3jHCubRY>|!!x0Z!Q3HTq2(0t_sczzpLqV`0I^`<9 z`5*njD4Ss3jSACmhu6ws`*T(N3JfxTRl4B+v8^B=DdWa>x!riE#2Mn}Mo=MR?6FR_ z+zv~j(~zx%1dNiWvF(f|Sx8Et7;?lYFq zeRWHpP;pGrDNPt#_bfO(lANQKd|2KDhR_+=(JDw*o-oFMdyR<4`Jwybr$##89-zJ| zRz0Zp315h3M3u$~%bm|ch|ZbFtj|QRjK&cy8aLZdMR@PA<_MelbcMKpDRN$15Jme! z4nI3~F8LdrcibHtgEzD0CMDHKD?JJ&AT88%%(OK1?713F+EO(hrH@>W37UTm=zxY9HRAJWg*26 zANQpn4(-8oYYTjyeugxIgNeLLHN880SyaH2Uye(U3d`&Z!QJlZk5p#-cp71DxCSUL z5x>yhAl7@$PV;{2y*65_rYc0>=0lVlix90`oS1}3%U84oxf8{nB{txOBHOM#Urn5_uxHH0;6wxt5-M8y^GJbF+ZRrU zS=dol5LVSUu0audPX9IMchYs?kWs!EI`m(zug_pUkkwlvsJoctR&B~KTns2-%6(>u z6NZ1$=72>NeWP%(d{g#H_;M!B1Wq0RXN#|k8Ljg5AWT9YDkxL-OoZ6&Ob${Of@2Y- zJHxD_Z%{@zilHhLM8o8KR1Jt*?#I;rF~4fNo=2Iqn2!!+DkO?RO7lN*kpd#wUFFroQ0o5H`H1dRHss{bFn!aU$Xm) zI!z81C{&h0<`U31J_%7F4+Y|s8_1%BBrHZwa?CGDb+YjdlkC#h0|N1^)_S%NnTQ+t z*MpCnAlK2k_UZQ{3xXCQY@vR@QvXc_7rjf;EErm1b#_)G${$tDgV*8G<)GT>rU-^kNSdy=K|oZ_W9jf zWe6Vu;hCWkhD0~1$cHElkk`EFdEHU435KG=hs{V}z6VsjM%C?!gr+{5BRDybLn22GYTJG*x5$Z^gD z%W~%7J+3@#bAt>%KL3>k(yA!f^mC^YKWa*Mqr=H{3>*-0`Uz|j!^Uz@xr{DUG0VDB zk|W%nj5NZ&k)W|}w``N2{*^tKsk`AiAFy?)4Y3)=fLyj0-+atmKk^1X|E&2f9*&k0 z4m2@I1?hU9!|ZlC6<2*JsI8Tc7CtsZ>^>TC9XU%6EdZjKLvPE*oKN1_I}O8jM2eKR zxGxinQEv>MSk8A|j=oXK91=UG&4nWTWcHTBG@$f}rZ}|iLgcyGLKSdQp1M`J28Q+* z>h|2^htZN?f=NYZ?LBGW9zMYr@ayrpf2a!cfA*FM6*sK~?DMj!CN1fK0|GS-!B|H_ zaLp)jVnE;@b$7(&6;a*aM?hG!o#(kh(QM_64q?}x#ML)ScV2D-nZyw%iz#`HJ*Czq z%v69!+VaH*diQ&dGNDesD_vrQ2Nv*t?i8M+Wt+wo-#aH9$WPqAa|t>KOuhRj%3r?| zgvQ@m3F!{(PYpP7Nx1H>{rLc#?@APelX6|X*{W;EfQcF-zxk<1Z%k)`@KDa&^y6A zo~EU<_JNGVeq-KNh4T&7JT>lAt81M3>1gTn>bJPM{sfFEbU(o#A!ynsTI}} zo@CH$f+L?|jk&_vPk9vW+rs^lMS~xI5fCDfJ1vjv_pzcze{9PtDMxjuUJ4YVC4~C> z>r9YvaFf55T)eq`N0#`drzFU?#wSp!O)Xq$Er1-?iNV~ni^BM(oN4&daFsteJr68` zH{bdAB}es$bXR+=V9BC!uo!&S9-XJxR2m8zd@E(%+lsSJjresuTeB-PQOK6{MZj;~ zl<+%ALf6B=7zHJ3Os!bQ+D3Q6G`oo1SdptTC?v7vgHM`;%|QAyonot-;!5a5Z-nFE zK48lf@=Z5)dM5o!AY%BzhiXb*&^%)6ECaqjQfqlI@q5TKb!4yeUl5_X4sFA2=?W+4 ze2kl6Z|tpTb_MXh@>tN#TvGIWJPUZSzy9nC5N63!yUf+EATJeZSMuy36^A*tdj;X> z1}Z1<{AyifmR+s1u3-&BrKJjcP+TGsY|q;&S&>D+4fjwiV!1=QV%GTavsz6?ZHP}k z+iO#5jPz?Qsq**W@mGU=h-Ef*qw+dPPtx}f0n4=D(+1_+7iLh>;T=qe>H=ed?%-mV zd4V$Ae*UnzJC!}jn1g;L&lqOv$8gIXOi=Y_s}0NxRnDEt$B2RS3G$mr8CpS{G3S;y zOnrAgj{nv1j7QP3bXx{AhJx9&&ktVD7j`Z4xrt`ZpDF4!o2qONHSQ;4Tl15k0`J4c zbd_BvVF<$U@?HJ$nMJU;U68x`{4rNhTZh|d&{o^f4;s&pM%$E;1y-c6Y(m%DFT48* z;b0G0yxH~NQ6ax6_x9Ee$B{IJ0~XwAinUS-tT~meS!up7Jio~T%N8Hna14>I!&~_x z%T%zo{2Q(QjwHvw$mXIs5Pa!_LYI|O4w3{@U3F`XWIjr1Q{O=kM|hq58#B6{ixK+@ zU!Bs*gt+=?)x}^6b=wlq0bO&&FO^+aT!U?HdRD!DKV4A$4F zQ_?C1Ja1p|X)O8<@}m76!=4Kb1b#x>l${SIL{J-3%n=s&CQek3;bkn)pD?njSAogk z9~c03&PK7bCUnI6zU<0(tuLq|iD;YT(H$8GE)LHBn>x6ptK+yKgYLgldpeSluIZtX zhhPRaQh#X|2S*-X@0WG2? zN4@Tax*h}%?yI1Jwv)(4FW?o%xX=YA;bJKo76|Yi6)i4{An+yWoq&*UQuU&Fsk-Z5 z@x;2dalr$a)AcVRoEDG5o8>{9_ss-Bfg{v&(c|m)$zaQ5Cr7n;1Vu19V)*|L{qd))^fOiYH{6EHA2S7 znO0lCujDQYHr>+~&Lg%wpyJtYM5#N?b}&qDMH-fGX$1g+cQk7M{BYJ(58)EX;&3qM z$%e49!!&8EC%(i5r-Kw=At&4h+NA~jpo^|T43!`iyE0@96;z)FlU(&>p%3y;K|%g0 z1d1qPgi-JdB9sT`f$N-j5tQJdfX+jAr{+9{-VDrf8gA*xhQSmi zBu%)rkeS66<05;PdWR?IE%d{JTec{O9fh8+Pa5t04ldlVsx_#LY)i4GOA>%bKtOSs zV4TG!Mg>_ZFNH|%m1=A&my)V|iF1cO0GfrhOdv#zDfoMs#WbRf#|o!Ak#=YN{X45~ zjc_mZp4rXftus{>%rff`UiiD1a-ONgs$yQ4qkA1t6bxxZKBxIHi zy{!qCnywobI)O{!)ZMVyvMiMh%~}q%453>=i@qYbaV&8c$FECOf&_?p8qvw7a}g~h z;qL=D14M!Wf26?$hUkfOm=c$ViYW?_gQ~FINE7;P1y5TDpyHOCYWd4CpFo$bXI0D( z+cs_u+29t0%EDNW@jQ~ff2oBlOyVB;tA~gio!K~cDd7nhAdVf4LNDIQ&!*SOSA0VCK4itGx zNxtfU5nc7HeKv~lZZ}Bz{{{s~L|Fb&<@~ZsX?#Chu;ULFiP=HLZXT$6JhV2ZsXfct0L>jktiX~xTF>zTBc&M-yfoHP$z8I@*+GDX3 zyGlMtY4(L2-xsXT{+xoQ{741w;TyU6%`dWTWgHBRs3sU$iUL@~Dk?g1Cy{dJAz^ZB z$Ci;gBFQH-#Ju%Hdk5MQI)}bGCO(8_!uL^601Ey}~ zBBKPaun@tF-=v3lH^eP-MQ7$-9U>W8O|3gdNR*}!>mCTvaqJ*FQFC~9LUG=rE;vPv zT>Z)Ot)lc=hkZ1R!^JHNhuIpv4n&@78H9-*mg-IEC`9>Z*L)u972<>4NcNx$;ABh_ z`Y!@DKF(L}$MfhFp_-fZu`&VSqk&{U+f*bA&xVfDrw#z)LhVxX6{X*X?3>{|SBvIk4iOdw~HX5@a~E#988AQlNWh}$yf2ZzX_@C2Bi)d-52Hyo{EtB|g` z(Wl@k3M$PqJ2y>K5LgDPZn6zMO%C_cq)*-W5DGhW{4U5> zYT>oT`=Rn&RY_BGg?nL$dqHyJyXC=ZN-`O~eQn_As zTLG2O{+(XnvL0J>-2zA^{!GstTg6aj6EfdhhJ^1U^2<&M5~jS;hRY~!Sjbd-g&f8a zJJtxFsxwS@WBP?1@w zxER#AKAMBmTJ+qpa)sXQI9n6{8DR#9lmHqwe=+F0#4e?@{R@7hi zaB4nni@C#NbS`;;DcT%%V@0J8^SF&hu@-152Ae98ziXM#qYq4dKHGIC&lgzUlj*8@ zswx_!1*8!ZmdEty&JK5?M#WGlBD}5!pq)Szs{_s&IR=G3dg>?lrmwy&f_aMz3!kLp zDG*Fc=P}H54=k$GE_4^x+@AY=tr^;9jcev!PP&%{3fQdi!d&4En^LbZ#I!SwA+R(D z5YsVA{SLhvDHFDT+znH$OzUxs9KypNFop~|YK@c8?{CUea!&^oJfbLmt>v8#v_FE@ zHnFAKi4YFm851^4>1wfiD>EARpYk&{f-N0TGTVi$kN*X9Ei*lSN>@K7%7|ndY|cEV zYD*5dcGBYXK3h^9^}ILc*Pfo;%}3q+?2lS0fDR}SZA8I!_D37dn~(Rp4)3|T?On^# z3_BS}Y&T?%bu06Hw(tzWD6$Fc(ICk;M0#C5jTH2v$J*iUunj%E*nqvKrd*99C&7=4 zEri$m4I6_zmM=C!;+baivY+Qc0lJc=~!m}t?I9Rz_lXCF# z{13agrKk7r!P@Yj>YoS9(B?aiFn#;0W4r=|r95W0m-#Pa{De-a9yyl*^L zrqQbQ3^p(^CP|9duT@=tp08_AG6gGok_XF&xbeON>0*D#AmT(Oao0~%N8Jw+#5Kx5 zp1>nzz?vZ9)1%3$NzjP|#`ITMouF-F#TKK(g%u>-kLAc8_^h+LB^e?x&=S7_J~=Q!m$ z-(q#!>paT7BYBT4}o4DKN?q5DHqROi*la1!Tfde_&0gXXNuXsml^VZ@GoVn(oCiNV z-PBl0_CJ*^RBV~SXb3T$n<3v|=B@6mDPQt2*PWILJ+g)enx|DkpbOZ|Lp!&)*MV1-(3XK9iiv6>M!MPSd)vNT|lCaDV2pB~mQFkg&O z312c6rYmJahzQV}7#V2hPKNcD>X;nL={Glt+$MOhE(|@-DNLwlC&NDdOYw1be=?(E z2x7jAhMFydI3SYrT|lPd3Qd+?Bon2ZsUGMb=U33o21Zx zud@5McRLlu)pW7#m{kxhiB?jxn`#{#s|emNWb*rB-7+#+w8U`I+^~nPOym=bi71wn z0~$!u@Y`4eNrD&Hs|op;2q(;OAk%u1rI??-dU!swG&Tr*2~zz zb4`SY2TgRD&|RQ7kJzufb|uh^Bm^0Dyj$Jart3O{eR8fk*35;Wy< z;r463U)=`6CE(D5BYWw$3tncW>tl^BGKuv=QFqR zn-JY5lz_jo$BHGUPrZgqqRJoRIC~^g)~!T4(n_2&660Mv#FCMy@2ha9*M3)+aOGeh zuo0x%4?qY6D=&ex&dM`)jf4nNgE5(PjHax6w(1HKqzYZ&k<;1UrG$%n7?f1NExFS= zWVo6Qze|!XVaBg=kC0B_v*$M!#`&NZn#j|kIrWpFCAFFLy{ebUB&Y@Irj;Fk9V&4K z%_a_Y#8V`FYe#9xM&Cgq7#>F)LpWcU%+F@WRz=guN+t(2egp~wm@Or_2yp7Ey9lk4 z8)A>$RFx|Cpc;ioA6QA^_qL*lx;}0>59J~!3lt=6b8Ijnpc9&J6S3ZBGmk_NiMVf6 zNc7Bk){FensK4pXnx#zAHzvRQ`Z=$>8Koj^wLW)G41;5U$-G%HsP>^U?#Ka@E6MPYLLU0jIi8vIv?z<~3o#Ochsx4) zebuv@kz1ar^@2tJJT4&|5D~%ozcf{B6;lyZ0M#w!?bh>8_3-_YzP7G?ya|9IP!IkhsDL4f zSN5Ig)kzA}*_+M`9UZ_`HCUZk!e2z(MYf4vjd(D8Bh$vJBR_M|90FGfi~n~Ac6_=o zVakfSJT=(nh`sDeNnAv5@?Um?3+y8{G<-@$nKO9GJ{mFiILwKpP<6tg8Z>uR6!kx+ zmMhQ)WUQ~RWj;yjsM8#B!jr(-my$i#%rLTOv^hSnKa*p{Z-y(@t#8EHGPH(>E9 zNtx#Ac_#fJgUz&rhzkgaawG!EE zq!80Fy?P~6fA4hGQrN6y*&lUf4W7Qe;3zqvnp9pbGgf{kxu@CW@<-H`L05fH$v#qy zlyd!Q@Oy&Edo`_FLWY*NfNnP5juNO1|C(jd-5Lu~t>X$)0fmh7w=_o7_Qm|Sa{Cw$ z$;tYWZ7UR_`cSd*cRN2xMti9|Av;OCpo!DYn5ziI(M7+SdU8!#%bblkZHoDV*|nrq z(n8PQRBS?j>-GBcY4mg*z5ZbZyG#4Ud)-{we3k9%NSsAR<4O zQzu=2DNz4VP)sB|TQM~tzM&&AMVY%5_#Ap4&4iok1%gdiV;I%%0El=4ZdZ?MJQi*=Dkq(`mJ9RuJnWcUh~hZ{;p?e z2e$83i7o7%v(Dphwa*YVpPjyKxm-enDDRIxwg^KKr+HVZl8%kCq)7D+%dpe_=T({;D zt;vc%1rcU06xW@J0zE3H?zE`rzf1O=FJ`&x)yeTA&G$#5P z*p2qEG)ls(8GFoqwH9(->|s{O1WcGw%_^}91-b`4wHc26x{ofId8m!7A&?je6D0bo zFw#%AvJ!Opb(kvX_%>uOOgd;U9H4KBhSl;2zPCbM-Ts>=X$~F~?-q!)61~Yo9Ks>v zEFo|3a3;;(yg2U`TTQ;g6+2h&l6utEGra%aRx{LbXM@n49Fk!4B>VOV$QTx`#I1-J6~k0k1WPJJ(CG!ks>5iPakuRg3W?gx0;6X zOe%s2d7sJ`%?(xr#S6_?fmp^HRpq_F*sDyPS(;tq|1KUMxYUUV5#Yed#IKv)1E zJvs9Y!-vvIc`4$}8m$_uBTld7SHT_YVxyM?=CJg4XS~8 zTWg;Fu{d9-hK7EEp6y?0o^T$w==_GgOG=(|9(U}b4T2U+O{>PEcj2rL7g;;V$X{R* z(!V!0_~t>f`1@LW?6Wj)9_#x;h$Z44jCfu&@``+PBVOHO3BIrr?=Ux@SI>um3l|r5 z$8F8z6%EhSPc_7ejdqM>8oKVv_&w59q)_`i>2!uqN)!*itYe|4OK6|>%K#xOmeu&n zgzgySj?X@S%i2|zORjgC_tb6+=}RJ?8R5E})f>7$bw$qN?yWlnXCyw|Yocn~>(M7v@_JTd| z`ITy;EU*3K_aqdNXIOpJWxZdtXMH=6>`XXkzzA*d9BQh@jB68xK^#`ZrH{ z#)xpsl+EKETIf@zr07aozZIW=yDE&?XHIwPjL_Vkp>yszq_Hz-ZN!@G0=Fg3P>2b% zgV))jc6$ZRSaDt&RO3KDven@D$xEa@;NlIfnp!r&(vWqiEj4)nY)kzk-ku}mG2HSL zPh74y=OIRXXW%`i1}WcyZ7CH|gcuPEC827r>N$r`(TGqlmFRZd!MQnD(Y!ZcMRM>Y z#3C)$vv(@%Bu|v=u3SX_?w~8?1!4y6Tkj~=nRL{)nUEvikoTLGNm!g{i5)Iz!eeN% zpc|+=J7ios@ThI*CGRt(W4R;>fjZ9aE44IbFGGxo4i(WzEDa}q@&JGz(IO4s+_je# z<$EFsZR5MgeQLbql{JRr(^7eP9sy1+%hh1FJ-(hAi zioEB0PBkS}D}Tx_Jd3aQ3Zhdz4;2O9_B^i{Zfh=P3}9d{F3CbdpGcWgxA3$-Af^cN z6=B|X5KK&W|HBKV2Q&gOTlZ!F_22*=-n40eeCy8KKNOx$Hx9r|k6Q!Cw0185>H+Cr zQvi(g%uN7mYyC1{9FRUe1HfqgH~$JqPoDeN{WtXr0I>3=r|tj(VA;6Y*x5PRxYLRL zA^HCoiS7d8!Fm1z?+J0){|oN9*|`1}+_Q6XB!j!rgLF4sHl)z~PPBH}wo{7QjVjcB zCDG13>6T)B(=>HF0w*6K*Q6`}i28IJPrO3cSBgiyvL zhu9*3828|BY{=Uc${Qj}ot6aIu#dsnvr>kmJfBCHlk| z={^J7L9(JH5eF$juc zDj~^}GE76tlG06+F&+-`jgnC@Q!0~EFw^CTg2eT8eP!C9s}hh`P;nZ--P-z->Jx}h zb)d8|VEaiO;k9;EXo74Pq4*YdQFzh%^#+n2}M!~D@rs==fKqQ$}pKZ_S>!3U)X z+5**Sp)6*S4M-KHs=n+*F?zUSL}S%zl&9~)J>ju*XjlKc_Jacc?C_GD ziKvFs>bKEkS*;^zIQ*WaX0laj8vZ1gLNpgqLQ@l4}lj zq)Kw*1*hi=g`UO*dZl`$;Z@oz{f1Bg2)LNE@$r`#q99m}j^*vD^^3;5TsdG(q&fc) z&Dsrd{e$=PKKj}5Q~yJ7rsetl&Y&mfFTTZ z&z9@c$UE$&mPSXUsPMk_81aypk<1^WpGdFHlM9tYM_XH9_X5v#@w?4Mm<$-bpwu0R z^iSSR6i1we2}wwYY*R&Pvc@`w)n`%5kp#zi7%ipg(pO?I@iB+_{yrjPBF9gDz0|Sa z<#(m5BI>9jTHY*;(et#;v&QJc7SXD z4uF<&d|sm7D99<}w$a7=rRdc51}a-GabRk+J;+x+XBH9|Vbj}bIpZ|&|JF9+&lzsM zvaIH|>^qssy_D7Y<(dH9qkSR2np?Zv@ib&JsQYtT_o>=zM)&q-^J&%DPp(!I;;Bma z-Ac2R3ss|r6Na#8j}I5(XAQl3+@dbClvs8-9~tvDMS-7gJVd4PTZ%J7q#(+R@m^>P zUdUe(4cZ-53=lIvzO5Ul9EdV8`Mp{wDLY|!fH#cb0dKHq*=xC8lQW|}rfe|&fp#lqCGSwPMTo{yL&Y$E%arSN+Y z%$zAk6+ua`?0PFAoEBPtX9hp+FFzi#JvPoQULu8sTmrNP5`sTl`XHhh4YZc}m?meQ zZ!i?8;WR7Qfwi&c=~BpoEs*#1MRGsYZq#>7pXz}k*jFRx)HlYrVFn}uk**RRtUn|q zuuTuq);sz5af^glOyEqlJG}UD%Q|=zAXw^E@fGIxNUw-cDQ;eOU(lPYc)r_-H!(`d zR@L8a6JEylZD&055rDezHilz7RHw?Wl-GLS_kf(2^IjcpPMTk5>_);y>NcuE5W|9A zW6HJkt$#y>?{_kw0DvTKS0c)CGf7$#+Qfp8BH$7Uz9H#Cx z_-5utkVp`E#uZOiElaJF4&+3m>)G}F#~V*OlQ<%O4=ZYa zXr+3<#;uB8R*H>I^BZ6&(qA zFc3HulM+@wxfi$;kt@8+o@6+tQkrr*UU)TvOvY!F!2LL_;B}t9mKT4vY-l=KK0}xS?Gt&dn&B{H+rm=s{L`LSXNVEIO<)JsVzOi}qj<&I8%D*a@u4S(--L z4d`<(G7%|EDuR6}9Sp-aAM&gs5IfF*Jz?)q$R8$T4`S&X>)*DtDZTE^omNpHU-ZQH zxTw*3HgzEKtk)z;@5w%-H;`*lcsgItDngU6XrFe4l02NTDPoi?TEgh*Fd;PZHJmYS z!#%>znmrAEWYZpz-L)!KENr-$ZPc@Z95nK?q?QpY5o$9vJH~tyJ&S=wm$u$);Wi4*~ zy5tra_HTbQb^=qRIfVO(n?I%2%MS%cvH=0NkOIw7H{1oodt7XV%S>HwTDXRwT2T6} zx6vEP>P4kZ&7*v-9{bat-DTY(q%Cr57oYFHq{{v*gYm4H;7$LN_Jc))8`PSyqP5Ge z&!ok#G$W%kkM8guu{>)-yuwfD=`W4|v`i@>!wz&r$ixv5aHR$KXtM-9f z^FA2A9oL}pfoCw3YsDTHs~h>1zqG|qPh(fpLeRW1O-2nLNIH^aQ2*tLOzi*Db2PPu z=Vawer@a7>gIEpVS-#nLTaa?H{iAHONcGrAIY`<54XQahx{`9T@{qEUs=>3!I#@dX zi+KMh0+Q+pO7U@Va&z*q0XbNu*mxv(+4y*PxVglEl46`v?Ch*k!leKIB?gH9`+Vf% z=1fmq1JHqpQu!1##V|vyas{z0FjSoTpd>N%K~S4uIGAE+;I(!RqJ>nE>k3x(P4#Me z&2{-~Z1t>Z+dr)%=B!N%n@gIJdTuz4uK#I5MSk40r=#}Y4>1BSAWlR<*y6;drys-- zQV2{}G*P4w>2ptLOyCy1vrp(p#&m5#E#cO9+Q=a4Id_cIU@T+!>R4;4axkqq-AH;d z4RE8#mS_vEa+{IcM~0$^SO#y_d0!~<@{>N@0RV@ocUb&_Ezo4RnmIl zEwM+?b!hfNx)>8ub#V3&>zZjEc+pobw_5BjJqEVe(Q_|82y3I>;ofKe8rnEr(rG$7**3>Yq>EoC)g`k ze4U96F_?8#&XPt9LMeeTso{HyU0VEOIrI-u^uM-2nS?i-8x%$zK6VOW%`eZLE^uR~D0CWOT4Q-R$Z zG7YR7y+g;1CR4Bc7PeMkh)bpmU{8SH8dPK@mN1YNpzh^zBH9Gw(3f${iYxGv*_kRt z;}bf4$Y1c9uI2lCOnBp(v0$O(_zJ&0hd;2xcSTiS^O=uXQEV42<+n9f|463U} zx`h5Y`~*-qVCP@HAI6n>Z!+TmYF4}DKN~?8JhQPy*HC+q(1HQ3m?rcgkh+;I%pQ6X6rihu^0U4L z%?_X!7&D04l=idxX1QPz!VK)ETA^VH$R1T60;dmkH!s2fz*#nz&W%6t8-@SeCC0;$ zt^t?iuc|B6@auEbu<6HYjkTcV(G8~JV3m#jocZLnuqG!~<4Or?BTp-Qm!IbDmVV%j z5yHo(rtzL^AWJKPZ>Qd_?8sk$2uTBvYCKSA9y}m$K`h`4{ZsyhW$!m-(Rak}*S53! zl_9n0J#sJfdzG%}yXhfD=>D=+U{6YZZ10avZNnreU*ORUP;TinHvnP;R&H(%cq%GM IWhwao18q362LJ#7 diff --git a/zklayer-whitepaper.tex b/zklayer-whitepaper.tex index 66097f6..7942c07 100644 --- a/zklayer-whitepaper.tex +++ b/zklayer-whitepaper.tex @@ -335,10 +335,19 @@ \subsection{Persistent Storage} Due to the considerable size of input and outputs from AI models, external persistent storage is required. Depending on the ultimate end use case of the output, storage within ZKLayer may not be required. An example is an NFT image generated with a diffusion model. The hash of the image can be verified and stored on-chain with the image being stored on Arweave~\cite{Arweave} or other decentralized storage networks. -\subsection{Aggregation Circuits} +\subsection{Aggregation Circuits and Staked Deferred Proofs} As the complexity of a model increases, so does the size of its associated zk-circuit which results in larger proofs. To manage this, aggregation circuits are utilized to amalgamate multiple proofs into a singular concise proof submitted on-chain, along with the corresponding output data. This technique also permits the batching of related inferences, enhancing efficiency and reducing the on-chain data storage footprint. +One issue that can arise with aggregation is response time. +% When a user queries a model, they will expect a response as quickly as possible, however with proofs being aggregated before publishing the results of the model, we must prevent the user will have to wait until enough proofs have been generated to aggregate, in order to obtain their result. +Users querying a model likely do not want to wait for the worker to aggregate many proofs in order to obtain the result of their query. + + +The Staked Deferred Proof (SDP) protocol involves the worker staking token as a commitment to providing a valid proof at a later time. Upon receiving a query, the worker will produce an output, as well as storing (but not sending) the associated proof. Instead of sending the proof, the worker will stake some token, promising to provide a valid proof. When enough queries have been made, the worker will provide an aggregated proof to the chain. Once this aggregation has been verified, the worker will retrieve their staked token. If however the proof is incorrect, the staked token will be released to the users as compensation for the incorrect response to their query. + +This solution can reduce wait times for users, while still solving the efficiency problems caused by larger proofs. + \subsection{On-chain Architecture} The on-chain component of the ZKLayer system acts as the interface for end users and dApps. Users or dApps submit workloads, which include all necessary details like input, precommitment, and destination. This on-chain architecture consists of three main components: The Inference Market, Model Registry, and Verifier Contracts.