From 5923ef52832e1549a201799052094d8db6393c9f Mon Sep 17 00:00:00 2001 From: jude Date: Sun, 20 Aug 2023 11:03:09 +0100 Subject: [PATCH] Remove embedded tikzpictures --- whitepaper/Dissertation.pdf | Bin 544247 -> 544853 bytes whitepaper/Dissertation.tex | 60 ++++++++++++++++-------------------- 2 files changed, 26 insertions(+), 34 deletions(-) diff --git a/whitepaper/Dissertation.pdf b/whitepaper/Dissertation.pdf index 6b9ac396bb617ba766ed1a018e2e857389817648..2643e67ead7136c472bbf6d7c491c5036760c2ad 100644 GIT binary patch delta 33141 zcmZsiQ;;r7u%+9!ZQHiJ+qP}%Z`;;x+qP}nHh0@|?u~hwh=w6IO7&Y*z9ed*)Nu4x38Rpq;clUMACJ$1_CIe6WkG2u zC5~c&nmAz2adH}LFT{TSPZh~#Rk^&9VCZ^`YzGKNt=Bt;swuci00ROMch38StEeeaQ-iXlI3rvD94gyw8d+m4__ab5x_p|Q{hoe zFw_EeMFdi%j$Pf)4)Br1-?QFAF|MjkMEs-!L{d1mC@HF3F7kb$DPCDBR&DpK+sZuT za3NI%*uRld%({+S*v9yw#8lK0Ql(vLmRJ#fg$SsZ>pYg{vgiernawmG+nC?koVhj` zuVhkHpM0v#+l?Ilrz8ok27pX8uBWZrOFc(lyxv^kbFKiy`VqJ|0@8cgFCBjayDo22 zNn{072$C4n5Y}jsuaGJwoDLKfk$3j~e?DIpe)kEq`RrD}#(S~aCVeh#duCG#z%kqk zT#$ljKZc7)l>4v7UkT_yRuh3HKz@gmX_N1Q0KzG}-2Zu9f$Gyq>o8P5}f^m~!Q z`t6EB<^(jiRWurz#q}XMdR|SWu~A|1ih_T7Kw3syE<`3#$R+xr%mw7G|LDe1bV3{Z z4CnPl#RP4C6hgaiwLoo`(%3gYEC-t$gEKb{3|9Suzr&Y}sj`pm$#BICPni%MNh(4z zqmdmY@IaKL!Wm{viviMDKsQ!0OajDKHgZtGq*?=9vYF zDJ$#Ga=3hUo2>q_D8i z;5+n$)#WW$)F$O^Bd3aEfqtIpXEIR6;@b;6HG5S}{(g1xD#2K7?-An^RoIv$R z9Oy8rVjODqN-2+6*65n;RrIKn zP@FghtMQc$xd7E9Xa(1(Y3?CT)Mmm2d@+7QIOX)GK-y6zl)^)ModC}lo%034gF8Xs z?qOyGV*JvKLMDS&DHa(iV3E}16iIS9?t1)5L=#Y}li!;q#tyB#O|uO@l-|qUn_V{x z7Y}|(`sUFr*urwt^ch7d`+0}+tkrgi1WI#DV_99&I6xJS=OFt8enFRs!;sML^#y3E zN|aNcQefux2h>{IxoEylNejb;l&d-w9v=;Ji4UQgm^qnTjaov&Ii4{M6|=OnFsF

R3Fhatt{0kyGFh zC$uLYgMe$0mI!vL*rUmXzclTnI)^Y-+n?<$zPjNh2Sy!TBT<%!&kL>S(DYym<%5(5 zYqhPUA$s?_!1*YLNpe<4s*R1M+0d_FHAj0nGi?VQj_2K77bAH zC2tKxLohHVc|$4_LS)^HV#1JqVq<|l#BLH!_i4%w~jcUMLBrOEA@EPE%4ry#Q z2;;X29gM(!HE70R`{?Im-{~+l^&g6dm=(tB9W79qC`U=xamxpF>EzX96mTMSW}c@z(^0YVM+Fededk#L9jex zB!F@USv!b9JbTYneA#9-I|&lRK)CKGbkpKMhwtm@N{Zq6Ix5bECj6lof*6Jt^1J3Q zT+H{9i3W!mH35wPqdU;?+S|cn3M8crQ*^X(xf~h$NP4Hga`qWp_OFcNwpSZ*{bD1o zl0;cLnp>ki@kjhF7^j5`n?1z`Bo=*7Rc_!Z9TzX+IV0c| z+8C8(0hRIpVq%T>o?@dvZW12-lMCm*FNmYcP}`D-3o^>_nB! zy}W_B3ZC_*r!)c%M&sYe1ohw3LwpBprUH9>eG!E4s36X(s8#s(l6VfJjdp6m0f6xS zddV{@p1p7Cp#; zsne(_;{n@WdWcBUgm^MkM1e?>yrqAvN<-dmIzD+X{FT#L>6v>Xo`<&p$_$DVqh*GT z>9o$eQ$@qA*a#?~kd&1b-yoLH1B6}cXX19Q$lM~FLYbS@QZ-<%K7s&EIj%7NC1a7Y zDsdnELX+0DLd;`a4WIFuJ`-%+hexN{{IkS&SEBue(cYq8{Z%GC6;#1fXj%)R{uw@G zjyn~8)LSBDq?J!0?naLq1?tF^8_9g0x}3f_9|ddma7FXobYqMT8Z5gI0cb)ElyBh%b$=%V9U71? zunZv;Ivctfz%}*&cZ8;fl5vkgV>?Jys!s%M*i1oocj$CdHHNLRhqTJM9Cn%s2MwGC zrdbe60g@^2?2^i)OfYq#4H1lP-2dmE-{0O%| z*se{EgH6-II_9$HR>`zb)RM)`veOn1Q_tCdPuz;e*Xj* ztRH&b{ZSkm`ut|Pt|M0WU%$QuIr{dG&W;q_RO{Xn;gTJ!#)I8XP>+?NZsU8}7 zsDJlw!V4oLUGjhR34LN-eHDH530#MY4lC%}FS_}0mqM@^ua4m)e$p^g=&jH90qbJOMvc;@L za25D8x*XUiT@p(1I{FdCEb+>lc$8+3+-I$+Ne8sIEPZU0fXDP4k6io-0|9(N&ZMLv zsl!Z{i?bOMEHc5*1D75he1Bgq`$$6Gx@Ieo#2f`w=iD6IiNdrSI!fsGY zXQ3QSj@f8YKrTYpJcszd6>mS>o;$>A8+h^Vc+mYxLmA@O5n|mBM|;e!Z=)`}-H`CH z8T%H0ccgq8AfeQtA4t&zJHu5&X4Q*5F;NkUMs|z??qY$i{DYTcRP*MY8V@Eu46k`Q zf^?&W0R0WV(YgtxfiXMqIZrqYB%~j=m6OuHT)2D|fR^p{EwK4(DS~;H8{9Q$&}gsw zgmhmQ!tH}bom>KbvcyK%JVapP`-m4v20oDk&+-R~d$OX}E;m~?I?zH?uE16qhIoaT zKTMduzOR}v3~*mv&!@Kp0GN@%p9@9z>5u4|?>=_{USF)$Hje@lpt^hHArK_X64=v^ z26UPOfPwIIaMqy}FAX%RwApOg&gpqs{L9i<6#@uH;$wYpaKXrg)$k!Km1a+}r{Hzo?d|KIM9x((s`VC;U-!KUomve57#a z;I|+yyeJsmtWld$&$5gmD4~;EMiUXsHvu$fK)tR&H79TRhx!#g)JTN0b=*dSARZ&> z5ZmMTJ7`F&d@iHQJr*KC*uHRCV2Q!aznsNrzg%hx<3+l!63e$6;CJU`Rx6xQ>i|l@ z!)f2mFvbfM*DrC<&DO0M=3zYpH7aP)r)GaRLCRD*-{Jb4Bo!l;S(2&Xi9hiT2nx?o z0AH=$UHiD~hHSdj@vZNJfg?Z@j4Rf8ctnqhqQwab#OEAn`!`)w;O-n3a1=*Fzy62u zHiH14#EcT%tdP#E5C;B4ekXXv>(xF-n7VeJ@4inxIW`?kv=d2W#+dt6S4kT~nkfi= zMG&dq+VkP*X4HtlmnPf>FvLDjOl!g}Ac`~aOqBQb^k-0A)ZhsOCi| z5GEueUJ#-3hmIgVoA?KdqSkUahI46S#A%HcBIYiaq>*4!b_$u+DB`v21gSwE?wEp^ z9EjoQKs8HWY54LySkmjRck?O$MD9?FG*p~g&}VMp?r876~@lHqS&w0?J{CWd|95@Nc5oxYM0*=>`vYkm{S!?6KcNbNeZ8B(HNN8 z(bO)>6*YW0p{!If$F|4k(PB7*flhKZI)=+vw7*E-=b)Qz@nZ%H+Ygm}oW8vm_+0p0 zhYeM@T+wCmKLuLL1$27H*DVa;OC3H1ZI2v1ar>>89>S7&rrTOCKi&N8TSIibnEURvT_WJeJqxze_Ro z*bGzE)(bj)yzqZpOt}Y1(4o=Pl1lfFOdTsAQ}&yunoCrU=|HPmtQEGNO=|ITJwKe<{rDWa>qog|nZin0~mm{8N0kb}?s$5ftS7&6;j z8mh5tw8;WkU%ftnm7yCuSi`P>Zp4l;oIDZE0rC*7P5DR`oSPXSyywc-bWexThLuU9 z?Ja;*SFUKgjOxDCBS%gDS7`D5lc*4@+PCNktl5HTE3P?Ygj-jq+&&+`BdQIRec%|k z0#RsDpEnb;`UT9^2R5B6=|gb9z;Ag~l;V$;JS0~jD-Afqye@bd+@c(0GR97WMXM9Z ziK_cA2fmjt?K%N@HbfpkM#mpB?7M|p^BV={Vh_iPY~J~VdX5Zul;gt}DFiN!$(}MN z4%ovnntWihvF)}Jq!zQ&Cs~V!cx9*7c2s?(Clq@WipdbIX+2|6-`COi&+5+ zWEZOH2z?$;#+GRy+WEuDF5S`C`sJN)DR_5GMsH?ej!uBf(5B(Ec7GA3vpUcdv4?Ah zl2;-3er~DN(4AJYn1sxgh#75XeV19-B`fx|@;97NqplEJwCtKfSM|4_Vyl`?rO?wMI!Pq4b)YWDC%>Sf$AhPJ(Ic@{!(DJ3!-M1JiI5~7i> z?t^->6;4>!S4CojxrjEoQ+;52fk2#w0g;Vd4q6rG)GuL1*b8K|u^+n^Xl56WG^`lq zbuQS)Fw8k#RXu49JGUrTSu*y~R~>s3pze>JS^~T$DKI{$$wr-x9H3S`d7AJfD(H9S zvi$t+wlO&T7S|jerkSl%-A4aCJlzWPBu8_E9Eck;+bPTLDihs~3%mGo;!5`V9CH3- zDqc!C`j-*+=WAlX*#k3gkMLz{bhdRsC)CzyyZBS+C*th=*PwL$_lI$aY&jUl%-+<+ z)fvvr$nJlZ4#w6n?CHSIkZ546oJ<_aN;p)2oByPlqfuo4J%hkW+3_gu(QQ`uul@Gb zIF$!;L^T5APheSL6x*Z(=}DWjwK5+DL&pT|iR`MUdT^xkiwm31zKg(Cy4vW*x66$@ zhFrfda(Xvm>IUV;!^6t?>Unh}J2fXKE#I!U!@0b^ZqFa@jzc-dw3ei^iBa@idKd#k@6T5B$txz{{Y_T?g&W2`60EhvVw?+wpEelo;p6KNI}{g7 zi)kW4tyFOpX-KSLSKzY(Xs`}O^1GUB8%L{~_P)VK1qGb+b$nv4_s9BYj#y<&xjcKhU~Mz+^YlLSh|L-g5D7^FBOPK>UUMyqb?gP2N` zq(m&dlq6+cP3I~dvv}W+#Lz!;@QNeh1YQ(!X$cm5Kz`K_`Df9Vi$MSliAe@vjg`R_ zs!^TI$Ul%MT^Yv^wabia1x4!M=(xYW_Vs6kDTRw%?hzzt6Uw_z>c0vZjRM0O@S;5k zZ;4(MvcV_Ar&a8%q}+Kven?a{c|;`Dbvf*(mIEDN%A;z$1;{u0wkGYjSxDPW!2=P% zrso#{kV$%k5M!X!-EV2ZNelxNrSG~lGc#;cXE*vnqDCe) zzW%A#$s=Dq7Oge%5$)28ni*b!_FwT7?>cLLLXzgZ;1_@8$4OSEd+nt-LV}2?-9dimOa{

#a=r;TI0CZS--n^*I5OEb0*7kJZxMCH7D|f8ELl6M8u2cm;(s^1>psyLKC@}f> z35XFD%i9F33F4KR(=24TU_qE3D-)k!h=dC?roC$A1e-LfK#RnrGNASgzO8EK6C^9P zRZNuGmgtQn(w`wnd!WSsAQ^0-`WKb&41_H(-HD=A0jx7cz$M4rD$>%7tUB`8%jFU(e)oY&X#NR1M~O}kG|Rt+%b=?%S-#%PG|+o%go{2-O)6LX@k+U2+;1^_Ev)M;2>o4KvrsRK>7^W#!odk*we zXWTS-c7MEDj2My3{qaPl>Z9#gSHt~9)5<2k>YqyP6AgN?KMF7q_JL8_e)IBkzd`PM zQ;lwu6{3mW{MFR(SmUJf_J)4#`|x2z*j7zXpJ{lWeG>8)(1!(^+;>CsE!&HM^5+wFDIq2Pyq;DoK zXM5}Lp1lb(z(5cn!SLl*tTAD;frsJd0b&5<@w?pu)${*;{&iigMlSKJ>HRPyo>Ba~ z$@X7>9 zz%SD*7V6guP$vRF!NFk?xsJ&QtT(bNL?GH?Dyar70yWgJi08p&$uv}S^QVOs0E{Lx zDJLm%ik4*YVs-qXAt>M`vQc1RhGStUc3yS$aT}Hho~=b6Xc&=;(Pzn*(1qtd(5=}> zas&SsUz210NVVn}N;f2IQs;JnklG1DNBx$9)hh;=s*=h5KA|GO(OM8Rp?yaCFvj)mYWp1b3af6 zyBnRWq$fmis+j~8H4L(P`eslIouH8k2r0T4` zWm^R7MY!!et~N_HQ_|(3=DT*}yi?f7tB+C=;R8BTvf|+bKm^sA9 zTpQU6Slj<~gZwOky&51=0_0}LrW$T3_nq0I`3YjV);%rdq=rMUSHz=bDm3imfd}NB z7|vJVrOiM^Y{$uajDpmApcpe*GR$32qaOQqe5Tk5%)wWt2GWz*inUAQng}qzR)*9- z|D1sLBRUy;+U(oBum8AUvuF+XtBWH-{5ZPvz-BEC1o2vV>9f3M0stI`@ew%kEOrd} z4(=?_02_|H4f=UIh=IVViqy=G0S0Tem`;yWQ|Q#M(ahg$ z4SvC>u4WI&+8{B=ZzObAYe^U0LIeLez5uS0GqbT-=VPmL{+SR5} zU}K#mkeLZw0{F6kpb8;^ew|^?Z2;2&(NA)ES7b+Fmg|b}|y=^xF z4%8>C*PmK4!V*+-nv=(ADD^V8(CEuO`66W?%athe&oR=HEtR;I=*Z@VtMf36?IL%E zRuG1ShiyGFJ!v%Em9%>yxS`L)Pq$f2$9d1a_{F2OfLY*G_1y(scLh&gg#^V8Tkd2C z?jQaroRqSI+9r)$fk#KPMa6n7&GbdVNuHDn(DkaE3B&N}g zY6E|ss2Usm-WtmoL&`GYEealzkUejefw1SryNCjy6plN1 zRtOGGK!KU#!Rz64i*LNZiytZ~!H(*I9u#D6yEP~7TCVTfb?s8S&fek zx%C|hC?Pz*`i{(F-x0b7;x02)up--QE&i=R=<0)77b0KfOacB2v?g=_TWw9YyNefA z$Wy_ld(CR^`OkCP%cs#^nn>zZ9hN-GbxfQEpqX!jIZS7V-Mu$pv$G<;*M`}Z;U_V( zps4pANq4_#KFLF&uFB6gLN(h%O1FbF91H)-&5w73zBB{Bt7klWf=qbl*BLp{Xs^Sl z;tx6%->>T30H?&iIa%uM#A$5FYObF<%oIeRGcAKBL%nqmMLJiGYvbK!k1knf1SF6Q zK#JmJV`84kqrvb{*5x^7WZF@wfFk(Wz}At#wfI-`q`?P*$31iGP%G{(@LJo-miZFi z_rapo8!cF&ORns6=|63p{QL;Va6fDf=-8Cx3-nLcGHq)=X)-aqcK&3r{Bkyom^(M# zw^2 zU9o7PU$%Kcn$NQT$e3s?vPY6KBDK~d0siaUbqky+&g?yc+7V$xd8%SifD!%&Af1Qo zP8Hh(HaMtae8Am@vSgeoM+eRs0e=nJFaZ5-^zA6?LQG?THZ|hbQ}tlE+Hz=Tsg+Jp zW<>fvOAqOZy2+Yc6)Cee?w-@Og21&4iLI|O!*G1BweBTtGMS4{+L!`M$UJOcys(gOElIn6} zHCV-EdHq%WhRwv7RQ$i(`u}1p6%-mMD?9i98VXi)v|P3%Q2sL%?CXrvII+AQq!1>h zIIAT+k5;PMZFmJxNd?V_0uOlh^!fWB1h5Vf8*WIOwJ9?P0-KkX&DG)3^L6DNY_wq- z=o$F_zzWfJhfy+dk!q5{P@=+MQ<$&eYQj)i)GsD6vjA*8 zU@Ol6bo&WzSlV8a8J%B$%S}g>4Z`cRg~y$b zZ}&E<%I8KKjuwD&&7Ftc62C3q5?OpCWuPMi97)b`$|trrL@*30uP|xtN(|{}^VzaZ zjFvPWvrcgAmPfNS^yFxqB74*_~jXt849WN%F_B!i4a-(FdHhGXvRMf zREp*(TJWHB@fsYo-O6-!5)^DC@CBFCy*|4ay{&D$YLg8g108Njk(2I@nzq%fPII-I z#I})*BowlehiYFddUfvT(AO#ymkfxN^d3Y3N}>xe(^32gi6ke-xiLs1rYVkGkhE84D_Wt`C zBCiEYm*39g%y&S?-tD9Sb`Vq%s9PQLn7DxPzU(l*E>EZ!iUKn0Lv5%YKKL#suvH)$ zXS+?+N~ZufBX|uuO%A6f2H?B?aTHSiX3&zXm^-)0)&XxL`d(RQKST(HA&P=g{Am{j zR7co+KNRlOfrGp;gqJ4Nhg(qs=2Lr6v->Uu?1@qus2|0=Vzi+UthTl4<=f;;gV)yK zs&!c1@m9Anw~kS!7?e!07;x0oV{rcfv?_UeW!~a@#WdjqJE<@}0$9#=kYf-e*I;D^CSsokK~0V5RZ=P1K{DF(oy28k#3F>W{LXj&YV zSSbBfdGD%Ej=s46%+YgJ(()er0{~je$_&UKAcH^nSKtIBJ$Hv2pDmFHQLrDT+B#fDG#J4*2oAC$ zv${)I1e>saG|;ph_^1fPBpBMgd`( z10j;?UNIOvoy*Z*6gUUz4_^k53(JPYpW#4e=r9uSgPW)6qyL22SU{Xn?)-Sx%xCv*chfF5jt&JldM!2R531L6Ie-v4!qwcvu@-8 z8ef%E7@Vbwe#oAK=px)S_<)ZU4k4A{TZYZiu2S~@?W(lt^m$j%?HZc)m?Mll1Q*{}`1^ApD|7Ah(_5!a?F_j$h?Gm0 zFmr7-3y_?yjeCvYPSe3QZ|5wQj3}NCdO7#W*{KI&Ja-fMB?9J}7Z7~1n4Shjb~U-a zh!Q@Z?=uhK5a0jh(2cg7Nci<`W_{!NGc@`c?>d0nwa#)W>8c&w$JSf?l8RKu~ddiKQ z0}#67zSa3P2Q0w{#C%dMdnJbrXheQ9uWPS2^KAy@;bjSLP6JDzLwP|T&>N~EL^6qk zFXrVTiyZ*xTgQwy)#C1W^3j!u!fh8OVD-ul&H{aYr4Sw+US+ zy6v5Z5fpvSuYm-=|09A!aaQ}|vmIFp<+y*)_6S_`b zestfllIM2OO8@ z%rvN>{beH8WB~15FE{wiCN%Ij6MiV^YYG!M)nL0W67T$~B(m<0Fzk=B=1>NSte^;3 zV^6)G}C3LJi59VAa(LPAD~u4YT1AmZq=_DR&_2# z4uenbcm?kyg9;hDu=>MC#*=1x0U#{~tA`ubAw)&ZgH+CF0Xvu1(xyi>S!uLOM6Ab9 zm{Rw9QQFMhbUp{FY6W*mM2MA~TA;QuLVB?kr!Xpjr5Qf_YZt*Mi8<$uId>KrZ1L#- zhGp&iGy!KBRw$Z69l3glmfSHB<7?lCfj^}Xs#YxQI9Otag|LScoo1w43;0Y~v}_o* zPDG7QBPQ77dmTUB?o1)2mr^%E^dKkF69Fv0esx)S;DKFfPY$#W;?hLvm%CoRaqlbN;a zslYL?<>-w-!+0D?oBu8XJ@#l3{I%B$ts_F^j>2H!pG}_kpR6dkshtlfOb_81zS0M; zU*;1C3Cap#1J78b09b;CEMD z3l@0Z(mGrJ6z;r(zz6iS08D9Z*c?___!vX#ZWj)D`6h zJ~$;Z_}sWfiq9DImYR?0uFaKZo{K1>xn>qm)y}$Q!R^Vi0VLpGSKs;-uX8+OM6=o3?2E$hU_Ed)V zhJG_Emk`MS12UDCqzD5apCWPohVFNF2uBjLT8miSJL!q945Nf3?Nd#h4}$oz@@{br z_q(}pZ*Y-$-s6fo3D_qn9!yPTBECV8_IvI3>*6Yb94`{+lErd?$7W93!4d_EQom4E z#mNLC>9Wqyts;|IUi3wQqZ)r&l?UuKFc6G4wajd=15^lsJx9tLFgQ(x1R`UfO^~Ya zM62b26O=Vd_!`2%;$ak@<423IRrB#o;kBEN4ckd_*nGnhYFRsWJwC~D&+0W#R7wB*aZSM%_=Zt)S%E%5}9;MB_+8OGprx3Uf$W6nmlQR*L=|90@E*COP6 z)jMMdq(5-MV?`hU*X0B{l0ipelAp2Mxh{M*ZpF{y625sO)gtq z4p`;hgg5OdYJO2mFtCskRuFvGU4pKBi4i)7MreaWt&IaIC@#8HeVpb$Furlr3mu}& z0m^4j=>MBd%aASVRa01TP@?w01;qZ>v7!EHsSK^qptsh1;bii^E>~H0tWtTQynqV) ztRRr3U`x7C%2PEPCzoB^yzW?}6lnFnj^2VEEQ`i*5{-bExBMld)i56 zZeFWpJ79oNUpXQyH|mlb{8Px!h(?=(Cevue-7A_TD)AdZY#d})9Snt`5)lO;_Hgri zFu1|)oBjU)Br7Ws6Vd-nK>7G!80F0DEnF>$SlPM$7bk19bv(8>Q2bx(_AiosIgFhk z*K_?WyDrS;TCKLXk;?;f*?M^K3oMhFu8c7&aSWvH%(R)(MotQtBwyqI6^@-iX9d#tm zySO;sKJ9d2P+nx=aJ9{nXGUPSIbj)6eB#&kU-=zry%gH5%D?Ua7D1=&I|5<|=lI@9Q|7C z7`^gl{V-csK@hz|AV|gk;oamXH8V@1FDgt)b(hezYO=n>pFU~r+O^+8KCSe4n*ji= zVli9WI)ki*``>lyHV2lrts3*)$a}Ev3g|>2w+m%hElIW%z{Xf|#@h5ac<}D&JLstZ z@cxjZWe7`28&TF^udW{v{65d~uV~_iCTg}mFuDluU7=Eqp^5eXZ9?NIe%7PK8TXzR7Kfcw;m!@m zQTsJ1tNcZjQE_St6{RPZ`Z8=Vemq{+W_1XHuW6%!oZt4SXJL?~G3D9>5Nr*F412>l z$cLCH7}q~4dJOgAf0q|PVgMcjWHSyNX{vk=V+nyD8mrj~xP(B2~HQoqN!^ z+NDB%I?%p^Ve5?j4I|_`It5VQj|3F;7p+f8{_VS~XvSv6zP&V9Wl(`Dy%T*XDj(xn z#^uJgd!eZ@SqjWJ<{YN-wH?^3KioL6@)XD;T5j#(BiorY#U|de*#M{{0?;5TnGOSk z$>2*j!lND8LNI(smf|jCkoX4lgl5sGZo&V^s72pb!2u!XYlU`#4I?nbOb z3{4i;NtR4@;TOG;meMYmO61A8)bKO48(f~if&S4Zf}I{^NcwoN+|3EEB^{o4U+Aqk=IV8g=v=b&4j_IHKm<;umU@5-0NF4(3S zp>$I)Rsmo*gk1i0PMGu?FvNokB&UefO;&s-cFSk=y>4**(LEGNj&I=t*}dZb?4-rd z6V?x^Xr?SN(EwmD6UOb1A#ubmgPDTOdi!zw5SR|5wWG7~>A5huqpTHy0?zSoNVH}` z?P9%#bOuZVsgQHOd`4nvciiUt9%)Hr)8p0M>g%D`KojWB`jThhSct;wO;g)O4YV|5TXH;iL`EVp@HucDHdWcPB3{QXUmB);vP zA*M8iB;~koU8*ri@W2#EYJYezJ?Xs09!P5PRlq=cj&Zfn85O@Ugbk-Ag{o0J6T^M8 zBD$D0A&b6l*m>D?BC52UOI{%Cz*WJM($1H)U zXV;kY=g?<<8KTMK;vUDS_eE(dks@u~?GQN{|MTrS9PEX#kY&PlIE2BS3!T^9^<~z_ zK0u|kF4_yq?jD3(vXA#8DdQ6)x(f!6VDIG(xw>^G#Cv9J@ z2bWJz*~wr`w5VstH^9Eg$?+@lVeHo%Iv?d_1MK>s1_5yxQ2L*dOFxQ;+_a}3XM-XGQP?Lp0P8Cdwa_0#Z zi|c4*Z9^tar~6i*-5g5Lc$&C_O&2EF_yp-$5fafTsb!->_d3f+=w_*m}1 z7~qb;YGLVk{~)hH#6a^UZhtR6%>f3-ylfW%9rqMaEQnCbIu4sM&Jae77{zq8ouST{ z0l*Jb^xMXj-f4SE_WDI*ij@3Y59(8Gr~0S(LvW z1Hc?g6|aNT##qSYtWdqmR^OQs1=Xtc%r*$a;L^j`!=4R9&qT)ml=J=)nU~T^$}!Pw zK2hn@s4JIJM>|HsM@9!mQWL8n0cp_&-ZLi_gt7#%R_)uM#7OckU~YkEm!`Q|6tzAN zc5`bV!cZ<)N)@s+aTtHq@JQ;bWf2hG)#?99_-F49UQweb09jcXQvacixp^D#7CroV%7 zxjBXDr2Gau3S?K(!?u-51ns{~8m@&&B%651X-UkZClU8IeJuDp&KeZ)_mAVX-(n(> z5cu{b6rSR-yFHn$IL3k??(9sm!@HbvpSDtj7>DJi>X^i z4>&D((i`*u!UDLh6+z_vAh1IL&0&gXQN43ObVG;ecWnUy=Pr)VA_}J}kw>Wgo#rte zvcYf(8_ld--djZ%@qx@`KA+7-AXCsTx~3Ura!)C>v)sENh`RaFQ^U@IK@3VOs3NdP zemUwqk&MDtr2r%7(gbH3cy$q;ggk5w@ae#j-p~r7vqNhnSmnG)owGGTN=1GT&}03% zu+{fYbIlios2?x1sj^qH&t~@Hw-TRpRu4AWSMIVkfhi3#*mP=G4~D5WR@hfA*fsts zOwowDvYlxz=Jygdl5(#QNyRw8Vz_E7)gCO(o`_+X18JVa|0oOz%4|)9!dI`_b1v*`nRT1i?VMHNIf-6ER^w;NUN+E4T zY}WqW8Mm+?`JuqaoRm-T8Jeri#6zbmy(Tp_aOZX2_%-w?9&&b)(>uo;_>TMM=;xu@ z!)TQK0Kn?4X^VHeAd2N48!iEi<#*RU>lh@%mzq{MBM)d2)qdL`F9c0=JEoQrK_}cv z>6M3S4-J6E7(IB0@U^x97<&FEhWvH%kEcVg)i6iTiB|bgID|hS_}XTGa0~Z0xO&iF zrgwnQCT?4U4eZ*}m_ela0Q)-=7T^g)mx}-DQ+Ca(m&@gmdTzmXJA%vp-b6ftl#Z-KDDP zmCP+n&DynjU%J2t(UZ!8#Ow|+)dH$qws{HK1Jn4m$GyE?%-{KZADay5Vi~M@Q`WOy z^tf>#^Eg&JeFv{6Jje$#(IHm=u)18>~g~425;WOeU0$gKj1&IJsmTiqTZS7wPI_G$|LW z%*qn@!smzt&fv67&b0=f^^aR>7jhZ1{M^Nsu9=;P06TS(|b%0EDIB2K69H^2hLhEt}tx_O$s4{#x zN-RdWqo83?>cJu$6nhPzf<*bLY6RJaJp&!`G?9XVjj=w5lCQ`Sbg^8d&$zJkHK4sv z!>{|3DBQ9iIzWNX_OXJw#Tbi-i2|3u;XRN}abxB;8g|t3Ew{0PI*}NyZ*GUwfYJ@I zOkw#n!y!PJT+P31HF&R-!m(KOOAhJ?ar-awh;Q>aUuKW%!5At)GK=NGcicvfMW52b zEw&>jr`4(X41FRsa7=Iijb!R6Jir5U(P@eSyXDs>wmWJfwVa($V9NBZ+@x*^QCFJ z1T&Di*HQxG<$%SVTwW{5cS8iN;(}O+qko(C5F`*`{%W$I1EC<^DrlqXw@lVFZmiRY zAyx;46v|S{DhvZljs$8z@(D3Rd^53^+(0*o?L>8f%s`n1nPb6mIHo(QqOnvf|A(+| z3J&ZEzl`l&CW?iEZ1O*tYFVH2d5CR_)VP?ZbI#RCV8~?*8h0-#Iq{ zmkH!sp+JRgdMrE@KV}q`ABqlq-PFjucN9kB_aHK8TKjbfFoB>QrX1=Zj%!*-VHpb& z0fVmXC zt}I&SsVcUmhiFoby&6m%-HZ6op3_#b3kf9Yg;?6XTHu*g5_7UNr7n$Vp+>fs+9?LY z1?e;KXgjDBpoy{{GE%_k-c{Y7jS<{Q5-%K10}1Q55NZ2&7ZrGSp%A#eOa*K58f5s% zn$Y}H!uvcNE-yyF92_z~G+&|-`W^C$nw`*}T8imd4}Ba=oqP32?Y!25j#-O>35!2tMJP2j=wNb(})T{swJqUOfYwW#0==O4vLYSAEC@(Vn* ztI&ui_kvp%&x`88{@^vkfzvC#ixxhxt{+3?eyUe-erHnRE<=!_X~mNQhgA86uct$P zY?S&BxEL_M7xr@9vPm-P^a+@1R~z&Q((Ut5Tfu*fN&zEVRhwN%hNQiu+;y1A$oq1k zJO(krTt~D`u`5xYgiQIYVKlzPutq^w=DPQ-)Oa=vwE3+uT`us<`0uPo7G^@j zH(8_5>vka#vNHUYanX%%v&+?~TQdE|qyK0hU?q{O|B5gX&@s#VV=#JWS{0||fDxI@ zWAcAa1cE-xc=Cnv2zW65rjdFi?{BKv-m(WVbV)&q$t(nog=F|}=g2-ngi($Dc0(l_ zx|lBHLrn38b|OyD(cB;vQR6KSY)+~u`Iuy7@(M`o2h?eZQddOCUifz#5VEGc7Jv#~ zE&g2FQuf$tu_DC-gR(0l$lA^nYVB;Fauva8bj-n&lGwE|(mJ4nyCm{2)o3O@wo_sJ z{vV+i&z#IUSHm1`CKc14QU#L(V&C;Da`2WGp?Re5tSR`>LdTKsi}&lltd(OZG0xTG z5lG>v8~h?lzEdb9(YD}jd%S6n|2uyX@`K!;jjk&DYcOdR=S73{%Fh`WskxSx+g^@4 zMN+ruOM;*mf{h;i%$}L1N`eX7h|j+&!ImsvL*MgthC?x#RhZJH6m}kr7u}fzZ-iCE zK>~-dDr_i;;HYrHlPLzJxbEyKV_?hzF9ghot>;;U@p0O!*PL`DO9a*NRDtDDe&5dfh{gLN9u9+@4Ez6e{7Wby^e32(8f5e3E>j1W1N5Q7!3ObT!blr<%Ja}{>%ugY z)nM&E%Fmw`HuLoff;cLDBRXRX->7>8Ox z?&{qx!9~UD3Rmmmh;|4pAohL{%h(L0Ny zP7_G1CNuh}zkg8n2NDPES$8^l?O6PAI9-?laV!tuw2PX0+|S;WpFjcur-=RVq@FOb znKVJ*a_t{>z63ZFLb6938gyE!W|RNGQQCs|U#P)ll^Q~fq>Ma(qva1qf$o75lfe@i z#IpP(FxyeFL8xMfG4txwVOFJNVSD4?k++oh@&I~3eaz}SlB9$14@c)Z`o&%kCCueX zb|{h+cyzawz3#Sk7$qO(c#rq1DV1c%lW+J6MB_x(M}f-}$SB<@avm9h(~wFp)%ql` zetQ{<$<70I&SsP#k@4|^=D@}um1H}^Pm}Q7r=I+lhA*ati~hdx2v+jLp7EtY^1B8$ zHeg^B=(_}_W0AuT)S0ejJ}yy?qUH}@KcYd<8L}s#&DV&1Sec!{0~}qF*rd)Kl8iq8K$aJn|J_(2Y+`iTB{9Gj4_{<`<&FpBdWrkoC!Uujb6Ix%!k1$46PqV zYzKBa3D(+12tb4e-_cvChorBplA68oH^BS2e?_>GJ%UVz)Iyn!;lUT z&i7{Iwivk-iDbLja0&|v2)-tsIw3_`c0gkg|?xNrN~r%k$#K`2CB2>5*mOUueS->NEP-nB_&l3|zO&G^%=0aN^TyAMz_gdNF3|CwMey>K z!mq6ps0XeTc~y@5a>a&l-i>nf4ZukiuLzi>mB>>Y5lc2MiG=-S0xikanIFOF8C8n@ zvyGz=4oiTzWJkLWx4*ih$wTt*fqs$#)!%GlRFTS$1}CDMQZZAEmOkXwXi>`IuVa+( zjIXv(*q47HWW*|bV@i$hKbVIWCzPPdgsjj-aiDMpOsxWmV1Ifp8R-4JzXV2h;<+iD zc5sN3E>{-%JVXsF0vFm|zM-f>esXrXuU~I2*Cmp})CW_AH#@ z;5sEXWoC^y^^W~q{VSd|eItU|__^tv_7f+8JpumBTD!NwZ^3NRWN?a%2y_oSPKo7Q zHodYGpMNIwp*fI6F!O`WE*hBT_I!nrXsqZ_eBynzN;vMo;VL4k=k<|v{VxX*IxhF* zKw4bC=I~|wd)(U0@aPXtdaw|uHGeJYV1pWj`>@?sf3a`=hI*GnO%t~d+fMiZ(#z7i z;|)H7oaz&{or6+t0koLfrFh$bJ9VypM`3oT{oG*NNT~kmuFoJy<1nCF>m>$7OA5{% zL813dj{@6KxasG!Ke`n(=~$bkzs0yo%!S%<6e3h#AUctWU>vYdSEK83O8Z_Wpx58# zp}TZD`E@rNIJdKW0JPprSafCjM4RO3LLTAN{99uE6^Neppsb2CSOo68-HR<)uFT%M z@30KBKu09z2E*U-hz7`Tzks$Y)s``q=!5SH5^wyQsOUk53QI{?f8`8!*uGYtkF;ZI zKPp8qB!U?@WJ&>VEAFuqPKln&)PC~V{us!00Vo@A_3UyOb~fN|g-*!Gj@sR{er_#_ z7H_THMRPoRoLxirZMfT$U0#>!GNLTqeqADjUm9&@DX}ZT`~%42F6S~gc6C5ARwIqG z|IINtYDVXpPAE+o&J;B3SATwY8t2DqcXvw~Yxw_gy>(d4{{giVsEn}xIz8F6W$(y| zg3^=|AP_U;W8`LFyfzEt$mT}A9mKI3+2uZytP&4N5g zz<{3%RHXcf7}-#Xi8?|g((_!$Ec?e6YdAHlKm3gq)prvem6LVfUl@)nN01cva=@7(Ou{FIO7jaw+6c~9KFhL$<*y>^P$#ZQa`m4NDg3!ScxN9@}ww#%b7=_((0%M ze6P}5Hi*7>bvLpz%Gn9Wec2)Xo0R0a@Blq6t^fLTu&nw`(T{Y$RmjlUs|9%!)|>jp z173r#-{}aNbJ4!;3Skv66_)m|gJW(1mtLf(~2%gpdiCzg6mB7O?i*CK7 zM#KnvTHInnzfYO}+Ygjg7Sf`2c79%1g`9;mq~qr`+_kY3-7&C@# zx-~OWf9&S4V9`^U%?1BuftwGD&5f^_YpMl!%d z&Puqw09KVuT_u@`Mk=+oqMO9LTaaG%3C|1RrL`p$Jldm~3YqpU6a3?}fh-=yDfBY8 z$xqo4)-N(alII#l2@7fCWa7zr^#AUm)ld*3!~ffORC#Jhe1(#j<)% zpXVEvuWTUfJ3H|?|F{k#h2%a&uurXtGDL?`E~mrgF0ll87#2cEyE^#P*9l-BnS?xj zr(K`hUwKB?A(F;Q!k-E{7@o1@2szkr6TeJ|UT{9YueH z2hPszqzrk^k;o}?*W(I29BcjiMvJ9LWK&8-X}g^|L*S&Pk?^Pqgp;hdRZ)m&PE`>h zd{kbEi4oFO*~)!ROZWCT(1CM33LN-l=LUEjHO#4%*7)YXUEurH+&>~LQ4UT$r2J#sYwN!-H*;-IDORi_a*_&+6vUv%D{01#C~Nx>ih8dg%b|K65@ADR z+7S$JJ6!}WCY?Yni1f~fD5fh$z-PW1u6zpYeL@5lURco^ulw06j1#Jq3ha>u{wX8| zW#r2&8Pd{`A%+B$D*_`a5fTYG5-4aA%r-FXk24|-X@qptEe;p;v==R#i>TG(_JX*QW0e(>V13W*P82gwz`HknFTMo2PONO>7hG8I!v}Q4rCOG$2zUCI@XgU0e~NPZ?le zl&%~e7fWDILFnMhG?s@x>OkNRhs);ELQs_a%%T$$ZumH@ppias zA}PhQ-f%h6wx4yUjoHnRKk40Zcj+@~bNUj(70I zKom-zolgX*M-kKL1>5N&wn<-@ANz$(3k)^usXB=+7ZAZ(D*MdW!u=3q&7(1@l&9X} zE(Vn&7qOvbnAaN@tI9FZz7vuvn0K1d@`W71j{&dvp@SYH`>k;Y&WB>B4A2Gsky4O? zwh-aj!YF2l`FE!1AX49NvY0~gOqSIP+RRAbO+~xm+BH{Wh3DRkLjl97=ne5YupFvz zdH4ed3)o@BuMxoeGZOz5!%=)(G7pwr6k;~VBIx6Yd+wtN3k+?72^E*2f^%MQ$Zw;v zL1-w-7_Ys>!BKt1@c5k+?YvPTHqVG!>x$eJs_A%Fc>ePc9Au?SzGo152BEN1NPpwv zkEAeleFSy1(d8Wa3mVE7&kY-y-1zk7kALsW&W*rnoYa$>gGP@C>LoK5XFy|IV88vs z1-8t%7Eiy}KP(jA7`-;s?;1&`NZE&nuzNWY{SP#0nSrj&N*Q#M6pWQ6Igo`07|~I7 z{Ev$N-uf22=H8*HO)= zk62{H?_H?hO0*nT%2x<**)wtgc9>Ybt9&wtLF}~uieBDY_}$5u^Y$oNy=!BjMw0_p zt7t;=O;K#suwd(CjIeO(WTdRh`BAaZwZU1XO%TP4U=Q8)*^&ZQ#cNLYOiI^Eaig`s z6=^ZBNXLd>$a&&Qp(+kBuBC;^&~cX=tf`m_60OKl9bxUlCb(zj{Y}^aIj)094r5_5 zZL%We>cBi%bcxv#*rHRL!3@|{3<)rG6}xvM_PG{xIbQZnrs_0w*UhIyO04K&5>_NzP zxWlrn25(RPp$-YsmHI^Bms94xL(-D@BgVkSX^fX_C8KR?9*Js09_bO=+PD@nMH4c< z5)KC@eHmrNnRbrM$R$%qu1LYk`N^?;Qx z6kR*k&#ku@lrn@%jsaFKP7^mj@Yg+8Aoxxik2yM7jiav_M1R)^jkzvWfK}2WVDtj% za{T$50{$cxpFU)K=Q9aa-gpuG6PlzqQM9|v^&fg?LaGE%Km4|A;_ob=-`SS&J!|Rk zY4L7;eiQ4p1}U@iD=;bV5bTi1(c$Fm-agntb)vw>O<&tdGMQ2kH-ERsu=S&F*5R8M zw=d@>V_7r@X%F5%`_Iics;z<{kJ3X($}y6+5b=p0gy4E6GI=1J0bKdqA~$2LwWkiB zm!H#H1JS)eR|Z4b_f?zbDf95{v_`NM*wtfyOe`r36%punPt@n>%Zm+54(@*@1@FQi4GXDckF}_GX&gMLOTUjnhKScc6&W8 z)r3-8KP7{{-^U<70?<|a^wfxK1W+f9?mU@x^6{1c^_QT|hvcBn3&z^j=I~YTakAFq z{_O5+AS0QIfr`ZvI-m=tH+E5fd>iU8Jg^sh54<`>IWRYs#pW$0bt7oECCIwx8Udn< znb>SV(4;@Bao)(@%5rt`d4l>;&HfK$D^nc=5tBEg0A5GjPCNY^Rq0SbTX)tB)}kVz z-S8Md(9FvCQ8tU4B6euEKGuG^OQ07wDv^*BFF*D!O)BxOvc*p!R)2<# z#7@$o=Vxg$ii(^9&88`HB&^`wPzpFC`vn2Wvi28)9T%vX7)B6joE(4Nxb%iF?x!OY zSzxhdJS=DLgAB(Ewv=r2V%i+ZgWBRZNn(DuA`~(PD?JgJ3EsF5yBMQjU8GMDYlItF zXflFgArB1J;->|+7z)~*?kwyJaO)lye7%cj;CMOK;itkdZVDn#)*F_8xx~aC(47Fn zDf>uY?<6aU9yu^SyQIz1=k0kGjIjamKgH8Pc_dfNFAEN_1@3X&=>f}$djXzsD4k*Qas zyI?2S(@BvCuJ~i7xTD4#Dk!A-@Yn@C%c;o+it`x{dzd;+0< z$c$s=dKx0zCMC;NsgX^dRjoHaWv&n0p>zckxNawzb4n?1(u4DfHcH(`5;%2V)~T={ zH*v-cxK*Ap77PbviRAEk^Onr3UG{PDn);r)1ClG&x8z# zZl1jS=i*byO%o3NJ}Bz;7$N9r z+Et-eWeNof9js8vI#snr&6fLq^X)|Dk$mzm_V%roy>*%GJiodLP3kD~LfB|(Tbeb_ zjBAKryMr`$mOiV;MaSpThJgVksK_0pu)-`>ZV2*ed|J{Uk)bh%YS!YW=H$2tWf&-K zc3gMLAWmrp;#U2WGozH4>F;IoEQ9PzR0~;$YWr#f#aBj5tq8w&G$(@`*WN69?2rRW8knnvJ0HRMWxZudiG za1gSxr*i!6K6$TI#T8xfgyo@MdyW&1m~P1e1)Nbzy&%dwQ~dej~=ZjvpFd z<-TO9HUu;)W|S{iGDTSyO0L~5yK*s*rj_{7jo8W(2b+~z;6wt?!^=kPRnQ~#x6OQ5 z9|bTQAW|?Ny40UFtU=pwaIGMc?s|^99D!kENmsfoipXM%ML&#=9U!rlb&%93J%$5R z^N{e1Zzf7Wp1nt^`*mcmQo-}@U-ah-VB+*CQ+h?Oh5LK1f_=C#x7-j9I-%}atd8pm zJdI%JX4l6^O-?CJHRfQ2rd3xE?N{qJT9|x_SrZeZEkBqTeL@CTAA|paXKKDuwHf+> z0_y21ZO}BpvX1S40Tbp|t)Z|{Uo+7p$t}gti9zZFj%)`k295~yD>4{3?K~b4GwIY( z=Pbj%(>RGr3PEz+sGjKIJ-!@f5>3alT`bU-x} z4JnEwykmr06lCF%0{dXR{lHntsUJ>02{m3<8Vre4h-d4;WDT-=kZQ=_ltjRb$6ztA@fR1d+{TXPR>*|dZ${WxH~U02%JbzdvX#w# zy2|xo?UuOUV$FhsY8y~(l`0|{O0Q7R_DEOYU5pY^T~>y2-3(#0u2p+$J<_)l$By~<8 zGu8vCoP5XvpV^>F%)Qfmz<4!RM>vGETXh3+mk?HC%p0QXoPglDautxXRprNvr;@MZ z>E*KCc+3w!MDDrxn7C@r>#>)A(tmEdD7y%6Bc!^~uk%(%#(hj9*8$CLH@h_Q`!kVb zdu|iTdX$%0M5aoReK9t18Cj8+U6%#CKAUOe>y8TkYx#TAMfgpZa(ZGv+?nHLUI~1C z2ugS)=c=d1{gf#3@EDgyt)knd!~#3odilHOR!zq{u3XP_&(5v-#e^eoF}C)hl z<-fSp)KEBbZYanuNXYqB%F)|1S7jhKDqmHBWv~pp(iZfyA0=v={3i=vO#2NWR+DNR z5Y1|?t2J4n2&&n|OU!^jd_ZooU3pC4CIK%dWYCi%4>iWl@xv*0sPdngU2njSiz6E)Zq`Xt+n9{zAlOr<7rC3ryDiU+KX=*_C+PVBD*!XXLL>* z{2DwcpoJLdM7aX(#xp?arW9J8;>4QrJy8yYumc^Yifb@0)d(rT!_|6`;d`$EVK9;` z|7{VA5GHRgnSVNM$0fi^jPbxRaFnq|tI8*dx5t#Zo^*GuG;?an)Q1c}Z{cx4gcwj4 zt<8*VL}WydLz(~OeLcxarfa?tOA7ElPRtqa{Png7Y4?`Eu2^^;UyO%83;q?>ZtE|~ zTJ`lQq3t=kR=7g1ASr+F@_==ja&%S$y@D}L8m@zFJ?|P!-#E5O!+nh`S!B!)9z6MU zV8(`zKclb)iqLezk68f_HYzmav2h2WPr2|?hgjc=R#SJ8R@%fwzB#!kce_QjN#W?) z57ZdrC0<2nVGX7~*Ix3#Nuf4Uw#{2$C0>&@2?@nI(adk}FEf5TJ|cpzq&P5C&2cB3 z3dDid;T&E=`NFUsUs_CdWu8|_chw)<)N3KO)r7vU#V*7~FIxla&DiOu9eBJ`79Qhr z0sYefpPSKbfxpu{m}qMhNCz8tC)EM2Ds2(rm?jJ>$WUp!iNDOrNfaq(@JXoJ!orj> zm(4$9xcD$&vkH!Wq=aDSe7akrAwyGe-4XcPPyA5RTqzp&0js4ir0-}9d4SN<7SVPw zhdqXEZwzTXnnVL8i=50^@3>^0MpJssAx;Byw6pot5?UV#63Ym4UMGwdLpi`v3}J=1 zhmL6>i_&1vb*4Kh<<_#wuk&+@*P9qNP}b#n%I0_fBR2@Mj=XU3u?*&Fxs`B zhG=L8PNdeUS$);Yb-HLI*-J<`)f3+KNET+vOys25j@BG4VXj~n%hRqLnV%fH&Ber* zh*UIL6b7a@VOnx``NvghutdNI&L@z7WJW)xNa>cp2y>Qw~X*Jxcv zf!EB};ieMHkkm7Ua!cQAK_uN_DFP@ewvGO=W^ZMgHu;P&yywY4)& zoeq5;FCD*+_ntQsrmr95``?W#)X6e4|Sw%!df$x^Ta2p_f52?V4VFYwXx#Qc4`3mWE&+lx>ikI z^Qp-yj8k|e{*!Tvz`p!(;&gGsD488?^&Ex3h1d~&c+eTJ%m`EC(V zm;j_0haImQ^v+8JQfwv+%XGY8mU}%95PmqVs`}lT)NQJ7tk$Zeix<~Qr*ztp9`jyZ zbAUf;!b!EF!eFasYuKVfNoLK1Y9r9DuG`r*E;khwy&x_(3A5(JR2^PSSLHw5R=vuz z<^sCvR6`a_IC0Qle|>l}bN&2epVs0KK!6;bZmYWV*w>AI2&HxlnRD2{&^=5;%Lw~0 z?i#hxa%_`c!NysJQtfR)aS@0*_O>Bu_4q2(abCwt?O*Sg7zo*#R9}BlJa#!xi@u&O z;3k#7)S)g2>XViAr96F~E(le(Xfo;|Nj!v17}kOZt*O>C)`IxECN7};3%AWuGl5W# zBt)?5$GFDvX#DH2ba7tnuKm#DHVpTneuw+eV+ZZ)EfMIXwkc*Ohg2I|$B>#D7tk)T z`>E92Hi@v7xxaHviFH_oUc01hZsJxqQFAw%Pzzs`LV!sVcDjo`_QW=4)WHiJm6*05 zs~ZRE#_gE)9x438xeIXW!eO^#2;{5{9Ca^LmS-tm4t(zS#%tTj*k6TPd+nLXzVGv! z>5ARNE8e??CPAgnoL{5ra%rv5?hI*;&^17+^QShagZ(>0wmd!3e=e>0d_^QyQ2Os|Ij?i=#_@K@45s_+O6be(ljCl1Ci7{7oTG2qv5 zc>%1$AM~~XrUHYdy?yfAk(`@!rYUD4EMX34=7PxMdXu;?^2vLDY|#6MhlRne_!GCU z{nydB%TnCc^v8>~@7rA~0iCDx(XIxr^=u*oUA*G$R4dudlX*%PFNA*F%tr}9%EV*5 zg+O^`5uu_Q6Ew(7_cg|FJMqJ3nVUZ2W@Ykp=2}qnaFK1${{Z$M!2bipe}McCP;DaH z(DLg4L(BDO={g>^{*SiO6f2qoe+QNx?x@olomb&XFIu3uOTxAw8zZuf>vT82P%0E_ zKB@-%i6oKUnQPaVH7EY}L6XuSBo#3mY809U_jj6@lPHF!81CyP%Jd!oHx6Qmu4q6| zKUNHglsx$mp2B*>AscZBsoZ{SGgk)&M6;_RKn)rVp2-%XYzkB6Ids>fB$Q#4LM^;) z8(Mpxnijwb#vF*tJdq2UMTUFx&HOYH8XTzXWIdPO5@IVhn<5JPhFl0!>0B_Jk@3h_ z4UYufiD!HTvx`o0ADMtq*p3&i$hIRj63OIQG?!oRSww>(eLo7)3zaiO>@Yz-g6BH| z4D2Be;USWR?Mn^N8^=i-Gt0!)k%tXt46K6|vIrML9gR&Fv5!K=xfh3mBK^l!qLolf z{+f>CS2#q*cPiNfl%MuW&7lUcBEbZ&<>oW-S{K{hL+#tPJFfJ?`Cz$#7-XzXI&}ebG zC=CQ?y3mY7<{Eu{qqU88<_wZzoYMgeY?*m1D68_MVV*E&cZ69kLZ<{{Y!oOmcI>wjhLYkEf zA2nCkAvb9 z;a?Xubo2Gc*Zt7ZcoD|$u*Oa5Y08xPACsUxzV44szkVGn+h|DFU8La6K1?OKkNn}F z4rhD&IG^6O4o*^Lpr!8OS9cV%ZWHD%xZcgXo}E1*q_`=dqwcC%0UX3={%aRP!1O?d zPN#}^xU28=cC~z_ZjtUk*U&?ni)dPWta`-x-JPYRFTSqL&oSN34lC7*I1W1LeE;|5 z>gi7~n|gwYPl5?v0{GI=gLi9tkChNuO_18H>y&G7ahnhs(x`5_2E>-Nyl&fZz*0gH<-zXT~Ovdy11==ZAW%^DWbik zGo{h0;V%9Lv+d_Mn~MTwNg+-4n8*kyd5aUzL-YJWdNG^bK#4wMC!*D@{(7|gm4lch}y$Slh#Y=e%p4X8e z6?(OY?F!@p#sZ(hkp4s;zT+tIPl)Js0!TE^Mnnt1_?~3l*fmmVcGYP8SiMw9;Z+4BUjN(0?(k6@RS8dbj|03>3EBVWn#baP)`rLoD^Q&3p@}-MM zt4%A|QObkZQ3;Iqx}nbUR8oT{aUOPxL_`MJv>A#y3BGi;^XuqkpG7$no^+Y`;uqv4 zE?NYj27XNzZ86N6th_q-wA6xEC`9m6Zy_W9rTka0Y+h%GPDwKny#r(U>~T%>&nhE% zU0WE*2s|4-5gtwV4Fcn^J$cOTaeWakZhO54{QCX%#vn!`7^>HqjWq$=BJ_SGe4>wz zjq8kT*_Bhc6?Sq7vCE*hH2QckQJEFI`mkyMb1h5;6#cR2@v~bVFJ}pCDbZ&7az#MM z-gYI?#{2^;g(bJDgfRp!Ak-6&=W?8Xn7uGP>sujP*x%IEMfue|WRB>;uR^Ux6 z76WyWtY9|F@*K70DI$Zg*5`CGsP5o^Sv%)-CbcAPbp;`w+ql({F|CElK(~j!ahju^ zpxX92QoL1rrgdfo?C8gM;|=)(oLWhI1|)SOh<12@jxUNAv_ad;y>P5`gq&&@cW-xM zQ#Yru#^>B_ww0VD$wtTBoKCEGDi9`8!g?sz5V%4sNb63swl1cGoUPbDvA zpO5$4o^WWFB^P6>gI}_?)bX5_DiY6P=RK)sIefyN56^PV@V9&{6yH*QMeQw4M^DOm zr~0v%n6-dM6?*ieRa?0m{yOa(s)^E1IT#*xhGDV$Ovd0hHkM9Kq~ni%JYX#Jp>>N5 zM65MMy%XGCyrtGeIUC*@(|Tl5MoQTUzGs?VJWE)+;<@~HXhc-XB5pu=L1=)*A2SvT z)($M|im9C%OSLr-Bd?8h+rb~t%?XPLTJi!#-k1lOHBo$zeAoNkZK0CF3{TB#KTA>> zSPc^vEPeX!4=lACRwqIl+yR#ayT3m4=I(Gxn**cz@@`rGeOr5iofHyB=f9)OytHRU zq-j36u0$dNyk>(r(@57>i(`&cnh%%AlCy^XIdw#aD?|xyfcMLgXV2#gx-an-=j#jT zmrw{+;tOnC;yyJSpYe?}2cn1K;Qac|--}Hf{dPaRReXUj8n~bGj%H%UuI9wlVmvJW^)UV4A?c@lFpK{?eoH^(hrtDs ziL>*Pi03ACbR*4i(zZ(fKIaye>&p~xzcjA&;<)T&lSpFJK#XRlhQZd{ahgVff9pW$ z96HV*NOm32vvPmKQMRMJ5oaa@p^QL)bkZ6PVmJJ!WHv@rC`Cx#N}@4UvA`svPcEPk zIFiH7*#fg%ct9Y6NcM^=6k?&EcL4!LFr0Fr18B&O2TicW0eWmGKC;u8z(24ggGmWF z!V(DVmI?4NC6J3-1;|hspko;v}D3xBld zfy>8(6G}?Tx{OJZ3`LhL#~>IH*9a*Qxd>_z5%weu+3X{VI>OwUx!+ggN*({P>6zdm zjo|2|DFhizC09b@YKca@j)xtw~uBg$3T_h~CwT%Q?4 zD>#dSR=CaQ2cDtOhaefOnF=d6?dO*y+2FExFx)k3IU^RM(Emd0{;rxJ^Fq&x@3rRl za5HRu&Lbm9t#EoDsIQIk>!Ko)i}my2Gx@F5gok_4y_t(^R&B-Cc!IuZ-B$HJ)L?(h zTd810w`t$mlgrqvBbbr$qbctGn13Gg?i1eWK)NdxdgGNxJpqaajKR(TSSOlD)vf6N&fH6WQqWi+hfT=^M zgdO7-BS`X7A2Hwak9kttSd=w&{np`zW-iW9b?-oRIe}N$Zto>h&e1UYM7Ru`8vdZS zcQQM{XsP0gSEBvv3E?B=3`H}HFV5}4N8?e}RbZfiouhF zIJJHzvCXm&x=Ux_LLDa{L{3q)NyF!sbjW2PWU8R)RfYrRS!Ul9keYYqA_dFWo{s!zOM2^4?#bHD) z!w%tM;E>DLo|c#(jOCuz{I~-cm100v&#APz`E!zn^k?ox}BV?8?v$R&E@E9JZ6FN`+Zh4?H+!$4@*X2 zIiwLX|9>Ec6t)5X=N;@9gE3I%

IOWn~fO78mDcV`UfP;uK{PVPz5)7Uh)S zbA}^xhwmTNFe!v|6V`~Kl*NN&tV|UnnkWr(QK3x zbt>Qsnh{T5Ur)*&ziyv>E%Pu+-vJ!gNMyf&5m`^DE4+L4H=TRvt`K!jL-X8@Lt} zmY#PGzs0@ops3Ms5s znX?Csn;)&FG8hVe0QO+lxE6R;lGzenQR|>_1q{FS2bMrx3-u**2d|*`tz@mznd5^D zn$4TV|Ckma+aub8HWA@Vb_Kh`K0mLW?zf#c4KXI~Ym6>V=VqcEV3KdmXVN zvl`B#TKA*bux=KROWM8_#uFt|;Gej8EzA|a93fx#gWTZ4WxkPiHw@(nUkR3O{P+sM zcx^d}3dg7WTY$6_Bx+^WR>!LOFju&2l(e0<^o)2i3B0=&f~ks2>?||H3MrD5eHs7y z5%1d6o0s!)9U%823G(-{3qkg6ghv+E;ddepQ4; zfG4CMp|V?gNR4{@(A3YN(o7aN*~i|WKk9=en19M;c4?M+{0Y?lwF}5on)ehSs=XKg zoZ&+O0!cGk>rMP&mrn%##X1P|bE0Dgl2AGY3BN99sc$bc*pbwq_kW_n{Ow;t%K`<( ziYOF9fHa|Y+A;=d&T5G{qxnNoh>ijX<6Z3^AITX#zznM!?ZAX+6DNQLV!#yl1A8bi z2~1WifFbhoUIC*3;!@Z0ndJ27&I$wU+#VAY8zTz0uxL;x7YWKz7i?fbTo24rS$aTc z(`bNnQz*1I3kk}}pEQr@D!WodLEGREp?1)SqjiVK>s*Pc?_i0e>fu zr68H64`3deJxGg=6)&EYV*qmvig%Cs4)RVM>Yp#a(l!?i?qO(`-WS>%%Nv|07$0n2 zl#>D=n>uOxQLJO29{Oj>BZ#Moh>dOvqd}*FskLDNb3@x&^7Coj*7E`i;4eUS&HVCg z<8C%3gr@43W&(j4K*5ImviR9U0Ds1vH8Gm&3OK&+*J_xoc zT)dMB(E{|CM9}=@y^`@y0KCx;E8i~2m3|&0dRezhI*Y#im3-^sMT9nEiaLLF!^!iq zcJdm~9Ggl1MbGBjiw~78AZ0QcE}9`Ad!eWR3m@E*;Trmlc0`k=SLR+ls!k=!D{5%L z*a6t-Xf9GeUNsL(m!asf7=Zh_{%c{ok49)cb#EF+4xZUZdWM7HdfnPcwJ z$KB?=AJ8=i^`DbD8dwaEV^l4jW|{x|N|%Go@oubJtkzj8G}0M>u6x;8l2T<&tg?S=-$mD1`nyM$^$()qWlRC)IHbiLZ^Ow@(tq;~(! zYg*XPA6w2BjC#8S0J3ij)Y~-i&o8}U!MrHXf5#EXJ5g_U!oy>VlAj+I!&Ld=zTYOk zG8T-auXPcPr(~0oq?J2y<$pEAM18~-9m#ZVBwW?RUB5_wa|)C+|67a*v`p2=B7BPO zfOiF#s3PBS`DSpCe&bJ`qeUOB3CX91{a*oQ0Ga=jR#FU@JQBvTgx^Vd33FJo7cg!m zOwvgO;1^#~1^B-}!jHX#cupAE6Q=cqxjm@|4S@d(Bn)>6LwUka{iGQj1}&f!v{~u+ gbMbTM8r}Z^h~-%Im(EQH9t$!wIWP((B}Gq03LP7IjsO4v delta 32498 zcmZshQ*fY77j9$Qwr$(ClZkCRd1E`7*q+#&iEZ1S*vW+F`_H*Ocik7=Ro&Ik-nFXN zav|wU4rxOg7M?KQ2i_gW2uBo6jOw>=1lQ)x$@RHWgMmh8YLO6nb3Yc=83a2U7e{K* z3@v~+?z%PdG*jP)T7$N?lTqsLY;d0vgS}ouVEWDiMv4Y&**AqSJZ4nz^5y}Kh!A0J zO%JUdjkmY|wAt<$gvkv_-}C!*a(S5A$k`Hp#;(4VrfvsQ3uC2v!&lwl2e$Cf0^n)= zMY|s8s3~nI`+Z~)psPzhQQ!OT%c;KC=M%VEE<-=I%1Fr2HUeI*j+wQA&m;J8*BH4s zJ#bwqh;Wfocq|K<-U9!9&7LZ>oz;}_;*@gFh{c1Omq8a0UGH@S!4JJ36MD=3@%8Mj zoP3R+SvFAB%=9W|-jU~-uXdA0o1Y-FaoeRZHxG*WK%XI& zc4XMWP))-z>Ka-f5Db#UYc#en5E&_qe-?g%@zqixY0iXD;EF0zx&0jX>UvEZ{6!(* zz~m+z8c%;ZQIH8kvpuskf$(PLatA~p5N~U{!0>_gLpKgH`X;X4QhXh+PPb+Hd6Mlb zP6vl+{>IuOO-^!tpo!OkrIq|g8FuXVQNJCTG%04+2sYM})gjd>-MAZ{B^5Ql^=lrU*Zgr8V(QQiDo+bNlFkYhVtmjpjR!zxhLEHF zJ%a@)! z))O8xVE1#Xw5#S-u7Oc|rldB8P5{p_DGT!J?f^QCSTEM%g9B-{SQPSv=slc$shEH-?QNzvc!~3X#d`t+0jR@N78N&fZs6sj&rkRJa zp_-T0AvT_DrDxCzBlVRZe~09#>@bZ&4;}X9F_So`!IFSaXv3+&b6x6fAQMB8g;!#o z+vId##;CPiaYfe~fSd2CII*`JjH&*!cW5k%W1O0c6;?~E`h^;8ybHkWha(czkpz{w z+o%|`75_zuHyK7@!G|c_-sl5ekkdEbO=J^xAKjF(EiYtIA+krSBE{H0&6d4FAE~gD zFz!<^B~W;#C%f1;+c?);p49O)o5;cG$i}2*WqQT zW}2&L(q^dEN2s)lAP(?yFdW)3rK#a|Ae#_i&47C#W`(2|-C#Js{(7Y>Gzygf!g~R+ z+m(EHn!ib=*`hu6sOGI2Xi>KHnNbQI&xQPP#4D(ku;1E$$2)4|E~GXz$#yV=v7BP4 z{ays532R2O;HxSRm?u@N9Z9&OED^3jm$DEPtzqqA4%ZQW_W^p3NN8Ru=>(tM?a1ac zI4c1&6rQfwbOx-TXML=iUSSWiA7!WAOQ zYd{zrBVn8uPL)WJ(q+s3JnE`**Vsb4BIACU{MiHb(YeXRx$~+i8lCqi| z+TH7Hiy8KfSG^KfZ7L*?56F_FzZ7cupixHvY-3y!m0025nSAx#-A_&vm$r?Sq2Ad9 zYO6a?IoVTANI^H~Y&4;+VG;1{w+7;j!*D~_35>VQ7>z(E!(`T2kDTG(P3zWWctXV~ zL;i7{0+vNn`@z~wIw72HoM;`?EPJ;3!KhGei0iyfdLXiOGTi;rf^X*0ry>8a}X_`tSFmhJ8>~ z3py2uTf7VdulfvSp zLQbtS=fW!xDoM5`sZEO3zv(yz9gp_S2YijH-mf*>^6IhLUi$jxLrWY(Y1uA&|R+fh)L< z!ycur@D8m8O%KSPL4>0*V=N}`K|s7WHSpc_spAK0%?{z3OdGtR?x1hMA(5u`qn=@S z21ln)le=pa7KE0R^Onq$RCASG148N;G#%(2(RomXL37;R3?e-DTY0hWW^0nnM04RI23965c7Dk<>>Q=mpAj^(T zuT35yf=Es&yiu?}I8~<{COjaahy1KaYP1h(ge&J_8y|1D->HYDgz%xt%QCm@K=|~n zOZOieEgdi}FSgTv=A8GvH!DL0>)EA269=@+x~!HJNdXVSp7izydaJpH(1QGXyGIyo zU_<$q;9()o9QaE+@cxl5NL98n-q7ft)3|MhAhIIv>DgYMn_++NAgc99wQ3v6j>&QG z!0ch2#d2iy=A^`UBu4(W!CD%S0kv~_r@q~m8D19^`zQ@~Vy5^vl=fPgZAG{cAlB2y z-{evV0(I(!GD5}9XD$PTz`MSY}rS4VGKx%%p|xeOe7|ByY=D3zzH+Kw$CjoB(mM z39msSW^bS0h)ybhPqyb?1}T>&A|1WNquK|tkkQ}WtGwB_h^11T-aX~H5wE9j4;+ja z7p7fy|J-l|e3OzPb`QD$y9ApT!lIHHHNQb)w*8LQMxG)~@Zr!BMwF3_d~D@20QnC+53bml%HG2q(i4H?+JP zgQO#%JPZu~UQ7Jj0F<=;O5t|!BdjGhT$|-Je-h&BI~`6F#gAp$3Uj@l*lyT$eA9M! zJM&b0uS7Sd3ksTm{UkPEIq%CGHnAS*jg3*Ec74zZ^Ro@8Gk<(K67+1@_F!SzvJ99@ zk3@99o1@z%HKYo~->eWDk?sd^Msd4Tv^ZOGlnK?7oTVtxbi7 zgB@4vvqch5y84hBn3G{x%9U^TK-iBfT1 zN$^EIkve4PXkT?#j*fSzi134-LfBK`$okd5m6(_J+2#d)HcTI#X^aUh>RB4KN2pVo z(p`PgNxy;%(3_X3LiQK+A#jyY{4Fy{D3}xVjO?W659q3?tDbHkV(3Kj9PP44=U-&; zQps|}$(O;;=__Yq7ik};ju`ifC4nTpEG4-EE2YxK?H<9Fqnziia+zRJf{}PWgrP?@ zjF_T%*4En`Q&6IyaY6q$*s^^=MAwENJMG&@?5kX zzbVN^+vc^52e$&IUU2O7Cb*yy1MlZhQ*O3;Ih#3ZTu|x#C+SST4N-9H^pl6zB^9d= zUUK^&@WnI)tfCMQ1Yn!p$Xw>qnKgdLgz%fIGCYzVQm~vK1pR>>?4Tz`N_L}&#XY-6 zIGRr)DAzCa-Aq~MvHdId5Nx+VNz1?vR5ymUrdO|Ge-!@?_`{bv=?k7A&eSRu)d?Mpmp7wP9TXjmn>{s{jTX2v&`mvTLk-+D>c3AdM;qt>-M9oQsgjBHCmdZ^jqhM*?J9DDRm{W zc@h_|{=M;6yCHqk7K7Lcgf1xNMSw32c5RU3UtTChh4WcrhVIDk}> z%yEdz6}XmYgJ@q6mPn{?(L)^FpXj64a^iZ1nYizPogy_8_pWzAkt z4we*AhSl+-`2!C&2YbySS|M&sN~86Br;@oX5I^PgwByAbl^{7{xOw zB19idqBzpl%0(ls&6E&Op}<`Cih!S_>EpjpV9k?louYJz$%12$#Y*>nM#{|5{&J@g zDb@{5K3Fy1aG$5X^s^RGLH1ty?1?pOJNI$U?I4C1k0H%5EySOya_0lV&}_Nz z6g>M9@eFw%?)!wS-}+Q4DajKaJFl)|oS93$XVH_Ef>Y8>8$o*`xk8p7)BzxIv9d*3 z@#u9?P^2}Hi=tN&s|XE3h|VTITgg)hHTmte_|0)~DeDE;Z0i>bJwZOm5Hl1+Bv9!Q z*Dxj_NUEjOA@`+lw$hht3)+JW!p^bLEl^KQz}0XhOVf&1k;gHp<7^zeNQ0hRtz8i$*D&A2L0j5K)@<5!(pPy863R3nY zu^PxU`u@OB3^=MjLawxZiwIjE?q@>bF7(ijcP{M$M5Oc&VQM^ZRnI7kKUqg!o`jQtZEnLFsgeLWx)UR{$#+md5w%(U-&Q#9YXfh6)^3 zp|`HbV_KVJDC729kgwB(KqEv%Q^OVq_OmVwqfd!5<-RXJIDpY#E_0MLwwn*-rqt2n zGQ)c{`CqZ`k3TiO>zg@@*AZUNuzvd=gvGA{f>_$eBH%@IiKYKUYCZBSqJyGALu)E>8 z^bMEn+k#^`4U^^>Ka*<%kW5yB3gIA@;{{D|rJ^J9^^cC2jRIH$%zn3ucyEb_h((}) z{c+PskFIHQp$4QbM)q0eIS?q~sp2MJcP0OeqyLMOe-&Hr4@1bo1jHq7yMFQlbJ2aJ zUBkjFBN`UjOw^{3nlk*YM4cx*&LILTG*YN=%BXNXI~oXj4eua8tc#lGx?A5p#9Zn; zfeN!}h^no09_!CjdCQz4uDVC=0OL-4h8{ssteS_rD)5-FE;87l5=HQyjf@QscHWAL z3GwvHP8rEYm0Up`uM~p|Qr6IzOt;ikl&zA9Qj-Wubd68e&p9s>0ozX2mSxB_^dE!n z0zR6YU!FpG_LirlyPGr)8R;F|E;&eIaLTn;G8>ytUc43`j%+u}S?LWujz9sA5)&$C zlf;d96TpY6%MK4;3N@sTM0^k1F8$y68;5UQG(^+i1*39G1&^N18+9BHU##0+vrsKh zh*g%rsXSKvlJ8^S<1kQ5hO(+7Da3`2RU(OaNH!MEb{mBK23oY7iC-8oBzelp%RT;k z*XWB~g>+5b=vt4@DKEZWN#@!=^s|jEnutyw0JdY~m;oJA!qQ!n7^2Ce!7yPOII}YF z-~Jj{qZ{MIKL-&JLMOw(c?FUP$MzvLJ0+Y4(s>E`JqGb~RApcw=ADm=gy--KNcK{p zBtF^$vtb8Y&!|26Z5A0(NVYm6I6eNW0byZfl?`3^WDF=cAztGemd7TCLtw$I;w{U8 zz~E(jU!uf#aSxC5ODxj#&%jhHG;W7v$0`f{FS9{~(iJ8RTO8{f2p_iS6lv#%R+83iJn z9mXF5<`Iu(i&^+CE!i5U>PnqQ$S2bo@cQ5V*mb4U3$Bn6rDw*Ff4GcNwu+ZxI}r$X|mIo1q@Nqk?Veu&KXt36;Jj5|iQ zEMZAI9wTylfP^-QOO)TDI7Zy5SXs1osD&ZKneOYFGnXn^HSREwYj2*DRL~BqEEYvg zEZiE#HT9mMJaZv}8AbIR?^;ajJvMuL%e_Gk0TVGBK`8{<>hGHPzoowf2XfE9%@S1z zo26fSP>Q_2qf}tT*F;5dfJ&l7Xm}}dXO-Ojy&JdcITTtXixiPo;baVn(}00pdK3%{ zchpN1lsI!<6oTJ5S}A$Kdxt@Vq!S&d!(w@S6`bT#!LnWgE%IL*NBZIU3~IdJf#S4; z{Ap_-NcIQ%tAn3qA(}+sh9#wQxGZ0@pe5EK%z-@9&`sbzJ%w-00Jv19aym}TN(qJv zQUQoMMhz-C5nFyk*kR9j72vBDg*yc+L#2#eyFZKcKnCF0~aac#6>Ug(Yay2 zyVFrp82d%L;2DhenN$GhF@mMaBk;Y|H#7vkG6nA)-L~!hbH|Z;r%+VQdSjd6Mo!$q zeA77o*r8!dvwNfF##0{{S#Hd{2{{xP_L{ue9Cqx~eP4M7w(lLiupNVcifj|!dqFvF zdK@kIraZU(Xr1BjNrev`fZTHaR)Vn2M93x^d{Q3iwe#AKtBs{^`ThO6=X*G`&a?U> zAZg4E9eDLg&2xRZDYqtkMliJJ=5Jy4whN_VgCo;NGh`b-l>raDI3KgnC}RI}S3VlF zKC|joUDgZ**kanKGHVycwA*58(1abJsmGjt`_`oNQ(E!G+{*6#)RY>dOQBBTHZ#DW zKt`wSDT+xLhxjQKE%Ru56b~Zr+*|(P5=Dw1>a^&gK|Dw?Z~5%5At-z6{0c#rHrlMbXVVe1KVzdhC-=xYSV|nJO23KTmkWNkxV}7t zz1TP>{0r`UYub976d={hKq>l%BoA-y#N~Hk#9mp}&;!%HNtr&*#o|osyF+O<8rT!7 zz1EEg2y70Ilxd%&>eMdPRD;cR_@MhS5>lhzvvJg(IFUcZf16tjSYb7=<4oFY^yDym zwio3(uEegCZLl%-b{Q#`N)M|IY{cWPgH_4@@@a?A*o)Mw3xEpb-<@%C+T2XMmos4Z zFBv&fYe;rw^mDRzjepheBIb0N_|pex?1w1=%o#%BOwRx1l>k={Ki-m3_oNaBf9`9q zdHYj-qWhv#@YXQHFY9Z~q14~@I;n$z+N~W;q2hj6Zcvu<4#pUxi5&m;BnKqlX)t+-L`9haNr& zcoG@?5w-`w{Y9gKKP%YGn_xr?9AXl7i3#dJr*&EPpY;qyA}|%_51pd$9M~L~jK$+F z&oMJfws@zO(oFIb?~5edTpF;(9{q7u3eq}rg?C#TRyHc~S{=oGO^K9|BQJ#4F*-+% zJ%ak(3R+04espGR7t-pZvW%_k1}ggiC{*c& zN2*<|me4-%kAv?--4N`keBz`Gs7Cup3DAO$ef|wjaV4g9l3PL;y+6*JLb1dFwZ>xd zTl$i_!hX%nwprFu;h=AVSS4$X+%fjIKXz+ose}A*a^j)n^rke`jcQ)Bk*5c$8N=6oyqq(}xsdK+o7*-$A7QWbHtya) zB`M=4OwJgk7>LFVTRuGpu6iB-eAbWz_WLa8&K2T*g`bpP)g2gq` z-^j_-7LJpZ{eMi00m_>(ZvsjSEbHs1Zc1PU78vbwA60eyeW%1g4#p$VFt*B~CE_{~ zHM1L$Ghbh0`?bG%^Eam^ebdu&kf~LYHKnX4_x<0D4Wu#=wfFt!GPjquQJ{1~HcChw zio5Fzi>iAug7n1L__pbN+v{_rHn-PmuYy%vRfwW&a5+1r&D~o?4)>}s@Z;N`d%4A% zbGfv`?=!KW;^sQ=Km0~or{eilM|Y~8**e84#wwoj ztK;1x0X;PH(x-J`f^jJM4{YcLiT+FxvDc^>`u?7jlQrLjgx?9dNkR@esJLW)$+4yjt z#clDY3TsRWLW!l#5@eA&CMY>O8tkxyWWF0yp-2Di?-X4_GhGO!oRL)e^m>euBAJDSgTyJ|jB@t1D(2HNcu4WW|yqvY|# zi4_*$+LM>T`W8bZQe_R*>}i>xaz0=Aw%SzHiScgB1y@qJoNcqATnzKNOTfxmXIDN{ zZE-30qhu#~I@^2;NFHX+Rx4&Sdz(@mlpd=Hp& z_1^n~KQui(>=<9?ghA81SgYKJy+~{G5;4JYLE*ASg)!}#Uv`Wde$4hd%?Q(WB?jwuX@Bb4reZ|dER9fipT+45 z1;}a8k&(Atm&JBHpO{dUvLq_8fX0K+f87cA`NLy3?T62<##xQN+0Z(T=r+$9s38K9 z_1}Awcv6=1lCc3BQ;0Q?+zXTIX-_(56Pw7%t!@4LeOv63uN4=t)%XA>T$fNmc4z1* z38{hC6{9~~JekpXdkPk9&o2)=p2wbs8j5o5@j>}2C`2g+lt*2{$Yx6FcB4o&(m7!O zSU6ZV2*hkiqqrng5NZ?%tz$$w8WCd4NdZruO$B?>EByCu3A+j4WS8xWAE;wwvc?Dw zsrax|r|q#m)wMw??XAw0c)>`qx7?}IA1)e}%6dH7I8ZKpY#NR`8nbA+KT+~({yJ?GBcr!(V^oLbQ zY~>%cDU&e$iFIFr?=5QAs6MKCP&SZgbRrqLI@$Df%O@*$=;8W%;KfV8NfB++;KD}s zSHow+$pQxr1Up5Rd&WS#=pQ`@2@$YmNEQ+rs>+lYMY7@!yYzW_nMyy@IMDwyCn=vx4^$F*|(7O>ESv0zPuv6>WwwAMIL5sa2- z&)#7|;2?u-^;-6|tYG9OXO(+{-yb3${%V2jv48wa9~*#qs!|-4J>61_GgedtJmW;Abc1@=&fCQTX$2i z&=N2K;?3$DV)CB$w};jf%LYY;Kp{T;l|UlXy%Yj$QEp|2un9iNyGnIc9lBo}wC{u9 zUg&h;N{Jj~0o6#HvgL;BeP%aN6lgpPx&t%xH4#>GFL?QpUQSN!OS<8<*yGh5Qb6Q^+2_S{9amparFr2UmIB@`t2r zzwvv6?oasDTKH8^?_&CZ_OlN$u>QI>}+EVCIFMrq!As~dY!6Rj( zep#zKgjGr#xaD+#Y!n8|ik#V#<_23_lT-d&OQZd=Y~l_4p4rx&AF18aUA(aMvn%LQ z@^6shf1F)Y47Y&ZUNZPi4P{f6>RqpZTEDMgYj{n_qb{zrC%p%8-KKenoV6E7%-2x+ z{Z|md@x-pMhyFbxYrCSg4$5?6wcEn}Ve(+S*W&<|K8_Fpe&|4SZH8z)B-N*yxD6&a z&JXzDxLX-;fg&i4Ywz$}cVIz>)WZE43#m2JCehiWq9_?GlpvvSdp!N0W?>*pP zBw5{dlY4(PI7pk=rqd_bOqq_~674-C{IWNm&-D-3z3_IdZK?%#HixW7-+y`VL3Vs*<+(HMH0%d9 z;~|0EYtfUlOl&7~?3M}yu!(zf`=5Y!L2z#ziRo6LUgl7E%0_0F*01ovCQ z?>+u4k>NhwuA_4_QZR8L4f0xpfo`y39_mYW4WG-Y&;+h<1L;E_O%%EB;21$_YDwVL z^l18u8w)$KUV|z385Qx}I+;m$mPpJr{j=i?rtw7s-7Im@qU-tJ!4Q=@SMkZ)f>7ET z6|}6?kGk$SyR*0>->FxT9|aRUtyW@tIA$UClX}tePgznpTnZ;bmckN!amf6|$=LSQ+)Bi6mp zzk%S-5hH?Hfx`p^nY(Vd&eCGUl3Uar!-%&b1!_L#-5u#_94ifL&}!P{qJmN@R&Azg zCPDJ-Rq%Y#Lz*rm9mAfpC1k|7(Ho;l+obIsIx&N|K;OTO!yNSsH6+;3xNN{)?DS9u z?{neGfvjXu!jtA{xFbidHnC~&C5$KVLL4gJI8hWNghWwi!IQ97D(G$9c&RYDdf|)V zbVKi-v6;esfC;{^kSOt`k7)^zxHk6Pxwf`T&h=)5zIhfqRJ3N8&}USq(6qabaOAIt z`=-lkkuT^1J27`JP+FQnLJ8oSOr+`k_k%>>$y*}tDVJecD$lue{H{=37B%4#rL2`K z(_k2O15J#LG!3ODd}a31Ea;H7fEi_D&Bn~^F6WTihX)-RMl~Rv)T_klNvZu8ZnrrA z0ME*;SgdE}@PG|fa9H5Y2*Tf=3UE$S(EG6=1HzzsXdhv#`~HoS^aAWaf8TZ0a#wR>bWk5cVe_+PJn8ezp8y%zY$IExPQr?(FG)A|$Ba7?LyCRuR3V!`fc-J#YUGMlWKWj9?wL#To{1 zI=gy)=yo=RTegj9uWl}PUsm*f-JZN1Z%($RaH(gInPu4JOkO@Q15RIG_Zb3>&W2$I12ruvF0?1++#KRqr(wwn?8le>D=*6Tv=o!mVjmf^cd7(s`fK-s z+#j@BF{cXHv9j-0y3x71luA0$X`xe8a{UxW4c*0*G&zi1=31ONgQt-_jyVZCE$t@B z){qvS4^v`)3C8#{3~0c&YZ?spAO<^Jt6PJD=8k&FB(cGyfbnJXrP#^VF^6ZuucJq^ z!&&%qgv)zce#ng+uz#H>0Pz3~J1%7wo4CLgx;XgZmghiL4CHlV4rS zEdE@(%?t8qkDQ-be-`A8S^{m9{H$pzTbYHA2~|4AI4Ac&Ed-6lvbHB7Kl>)$#>B5> zJ@C=JvTvn^i7cAAK&U`*jU^l8J(6})rS(cd*T{o{IEezZ+BH<+TK%y$_%|m`tJ1u7 z4NZi^?Y5dK?EI>S!gY^e2;>3$;89FBI0RDBx9)*GENv0fNz*W6*m>0iH3<@{46lv?Y@zJ*5EEb z&O5n0z?^)j=-L`L@fE)2k={aza*oKfGkRo;ne_FFGHxLk8}fHPiY@t9gJd*a*xhC+ zD^Kc19o681KH*8?SbRlBK-1zMnZ+bMX0};_Ox$?kUKTJE6IP>izAPp~YQq04i|K_k zKz=q4=hIKYoJr4&slr(yA;d5oMA6}3Z&4SLQ(1<6u{3KowH!ai5-@rmcWw-d?D$6~ z>WC#8c#eGiy-i%YNd48|4g>M4(ReWdGYB2Qn6j6c96_;L4x$#!3#-z=Qhmbh=cEcw z2!0kMu{%{oQ}eKV?gfYdXjIm;KKGqjF4@y6lp}1Myz%-9SnWb zK|OrLxaNHP9y!RX(coB^^0Ro!Bz^K%r@3!Vq@FYbTAwaE4(uyqLF`y1T_~LpfMpqi z3!*HgLxq|XH;S`jxrr5U)%f?^;p~nVF7Vy2g}Ti$X%_6LI}C%13|p8>;p?uV_d_A{ zB-Q@eQHy~NBzIxGQ^k_Da{)_heOmfc>9N>(=eR=bi0CuCj>~#a683c=krsbyb8{@Y zdtQfEgCb}@YtR**cf|SkXWY6zAU!G53Npyo&7Z_Oc=01%A-hU~dCTOT{f~Fe`@8u; zf)zJ!{&Qw04zb!7m`4o8q}~+-N!)%0!(#1R7$pww8=2(|W z15;M}Rk39Be+nKh9kv5X^Uc&>mNr^Op&r7d#cus+ke9F7TkotZH`Mr7A2+!qs!OE> zST;0GY(2Ew5#LA{rY<7*0H;Ys;-Nw}L!^0}-%b7Bf#kVV@&;`1R4S#R#0WHXTl?#2 zMpv%gwRb}eL*Qn#{ne}{X={?;j>uQ}hLALsw-~Gte#=`=FWS)<^NUo9r*rxC{*Zi2 z?h=%w)R&$`y<2M9ewWJV7}h3p;hewrJp`}sfZMImQ~MBI4ilAB;Oe4$C$hh%ASHd= z;MR{upuY0-F5foC&sY2&59JhvM#z}SZ*4iJp9|&fSla1>Ne^UnX`fcFUy5EN#5$*r znOdHcS7s?2C2AFAk(XarVPlEom4gU&KK}$X$kj~;Vz#mO;!k`4`j#8~xt#c@Q+HMU zK#B18tyuyxvcxDcU=$$)V)3s$K}hOj&gCF#>~c*r85At#X>>&UBeC1oPdo3wVAEo$ zDRbM<2>)qNWZ>YlcYn0h53j9Vk09zLpdxa^&vQ*;xle~8NP0`9-j}nX%FUHuEf^;_ zJYmej^c1q`Leq$&puV9C%(%3xKl!m#grqn9X=TF?bgG40ZgkiWfMTQ@Y#xL&iqmOs=Tne))Som=>~F* zNL!%_1%e%2MvWOpS%0FgT&ZHmx*0E$7k%Dz|(5R-x88@5{ZFlfn}iF zBuX2#f!(jv+ZQuB$fXPz$EI2(xr`#_NZWgz?Bw$Ruid(RNKXezKU|`5(j4sYr8jNb zv$)P-ZUM?SI;*Fa<1}M)U1n-sPDi>+^6~OivV?|1WKIAl&!qXO8gE)ClUD3<-A0nv zegOH*r^3}f+Wirq45Cb*a{m=I!XL(qyxAV|cbmmi-tYhL?}rNpBti4cdGeSPU zh0!79FwB+>(wcIz5V$gjsNgS3etPK$pE^WWpA~6Mp+Ll#N2&hxx}&v4H-Wda0|PO^ z$tR*05bVJ#csk(yl)>O0+HkjjA22X-nv1}{!`zUI9fAxgtfht^Z)mc z4WwU!Z}4ptDlzfbf&?-*40diLJX7{P%A8S9EX*DFK-}33c?v9xt8O74lhLCL5h}BZ z58{M464IKhW5fQVi80%NZsl?%Twb37G9gxs$}$S0%2_ll1O);wFNYe5%i{CW*(T9A z@XvJ{o1qWE7z<2-*dOG|dVZ@TGjxvpq!ru(jR0ZYU3vq|AZ;Q3B)_P6zj7`9#M4ED zMw>vdy<(`bEMd$?+hbd$@dSOCH!=t}T}Z<~6bs4cX3q}Cmkf01)mJT|^AdXF>VQSL z3?6(^+r399Iz2Ee-$gazJ-v z?;yAq_nnSV%o;j6**seKwfCY~G#7cURrffpOb0yQkc4TYgoJr=%~hU7XH)EXAgBk3 z&BZup=0aqh6^9y3_|4B5SVUVS{`_w)kY`zRrjby{@ICkON{Dhe4kbtF#Qp(9U}z}O zEPq7b+GY$#E-dcugpI0qOFB2dl*2bp1|~bw)@UWZp02e7q4sbmvOaYAk?eE8t@B~D zbrT{!Q`z|A7X)gr8eWs}b(3}m(tx#h_26a# z5gs3{s1lsp!mKhE_m(b}Y>=nX)k+ zuoAYBVIV2^w5$;lJe5T-yY#BvQ2{rT@Zy(NdYMT`BOh_mtLO*P4ig2c5;<_qLQ%yP z9RQkyXIAdHXyk&a)<07rY0>#|>WR93giDC)K?m2G z`2V3B_W#ih1P41eSE?!=&422rycRjZOcOUjwGnA~`&2VfZ+`1dx;{C$64 z{lGq{4e&JEdwdNW_42)M{>v!%jn;BR6HX4dw$PVkN8u}aNU(4^`GAekBQhJTt5nk# zT9m88Ww7=8^&P~$06G5^l5#+o^FzSc?Nwe-x*7)C6Q`AAM(1(@W-I3V_$4-{$TCN| zB3s4^dL~NadhhHD2^i#G9){WOj94Fxt1L}H=9Vm39MYMIR8=vJ`)Q&fN^5POmP@1L zGw%-i<7ZeM!ilCzNZN=RYok1(kIH2hUOdT`Zf!)g_HRvuZ2bnS{B4O0ipp%U|sT@}_YecrvDP>E3B?U9Ccqa{!Bsdwt-e-zV z8IQQxRvn&6k1axh6L)IJ&i0`z+%a5N(R{t(L_Fa*)6Fguf@V!qO^SUSq2$O7-6c)u z)LFEJl{yy04idlSUisJ|>c)SCX<|q2=(U zhL%pxL5^c3Fw%4*xnCQDd5NCU#!`{lYy;ILRxg)ZVE555sPNj$Ek6UeIn z6`}p-!?3sn8#q~ZDsO8M=ie{Fm*xYlK$H`V6mok99_Hp^NghPl;idj0K|;A`JfdV< zf0nNGQ;r4Obqae@G?kb})|y7zGnO1{>W|=6ceY=D&Z_{DTsqywFi?fFHP8Tp2P>^QTg#} zkWoqioJvVm9fYKtVQcrEG+Nog3rFlV?^k_%rS}{Ig0`JAU;`=#LC`#)C>v*x)JbD#%d8-3SRnVQ+91#q3b8P;C?x8i(uKCHu)*&1l*+=b zJEeIV=vE=FBeMLnGLNt_9NA=o%f*vlKg=uv3?0~9ftp^S`RqLZn7yV|L6#>^7ZFkGY>Au!sDnxTg0rEp6w!pBfrz-?gQgMA!gS;~i&=?fZygykk zjYk~ly2ZX>S{xYF3@S-dQ z@tlyIAoqiMYrUm4A(p1T8I%@HcwE5nh^Llk1*dFjMf7aNu=5XUE+y1ue1K0Nxq**PrI6}oLacqrdehzpb;tj8_ z7dGmdcX9wB=7u244RY8^c%Y3|>eXFuzvVKr*y@V!!o(f}2t2)KUDKcYf;uIeQ z5&nqm`_Ve9$oZJ!TRbjG-weny`n1H7G5$=tv$mLGafxYvUtT}eATsof$J7;oD1B*T4f|C<`(fT{D)k%?eP zy}YM+8`sq56U0C#Uy2C)hgn+#vz}PUDCztsB-qIzI{STQz-uX}E7TMN$R8UhhgB1H zyz)5uL-1p&m5n4ZP%x|*{oOQ<5$e+=dv<*$itf4VXSB7fZ-kA;cRBz(Yt!j0&2w3hbcwR_-)x^(o8@TaamX5)X4F9EU)ZLKWbzuHI*V$Y$Tb7@59Wy?8K8B_ zXKV)4Q~5&l190!NG$XjFjpu~(788oDatoAo_i?=Axyt-YChj)5K5Cw%9G9$gNEX=9 zm%r8}fys*Sbefs@^5S4)aPgr#~e+E#%Nx}Iq$ZAzx&4-_6z5f!XPiC zEqqcW{r?npRzYDz%euzhJ-EBOyE`PfLvVLzaCf)h7Tnzl?hqijySu|-pZ##}!>zhi z(+{g_s%AY*b$9jp`d?*=OuCCcIohoVnm&Q4+q|GRcUq|Gy?&A`Q|Zxamr-ZlK4S^a zF^rBW;uA6lKEO&ol8Bs-Q)O;4j{{7tN9=G-PrRAs=~o75s(r*OFB#dQ@^<+u&#&zx zhjii6m*BljLp<+|^b3wCA8$!}J5^`ss3%U5Zg<36!X4Qoi^Ky-bCu<{R#2p`g60n) zqrYmk1bP*LVzc#Ht64LY-&NG~>MRsonnUunEd2^b0QXjOoZe8S@R2dDBI9f$I!f&1`s+u?%uLo~-y@o0>3;{t52*8QrXO5EkO22I8`x8o8#dN1uO?KgvOhjpZ(=}W-tTXlXZ zcQ5nvS2A%Szq5^bfUT7b|A>}``$t$pFKlqg#hmpi*kHVGZlZzh&c*#NZdGS{!to>_~e&ebm^#zmqPW4e z=A*A&kuVMqXo3On+s&oW{sEEuu50%P#<07~&}Yre(m1x>cqLbUzCGRD8@hnDg!)?o zzHn|y4rIju6RGh~6ju|^QH~|#%QmQ>k3dvsWq4=TOgg{>9Z*@;2Dp-$azKYk&1$V% zkG7YZ|CZJSG`daxRsdSJg`=j{W5nwo-nHe|}~w<0=4d#x~wuPN(dfRj3DAibdP~y}n(5noAa#3!sBK{x_#?K!^ko zg2WV@wEDsz*%Ao$R&~KX#Z_MxlX13-i|9zHCCzeApb>tcR~p~8m#V$gbtQ7079Si$ z{M$!C9Kz6l!gzYIdv1(x86L{+(3z;eETN$8rRc26l`d-t-v-gsv?gyC40(4W%z4J(`ul^EcSkoP_tr#H zKj{ur#uMjSPiu$gr%?;GWf3f1RPiJ8HU+l=&|tg8!{}41;li7&v{jSCtt_*ANCvjg z*EAf1kN*A<^`eBG>9NH%6K7iIjB zvK+-r>pcoLfG|%KdQrWBAgJ_y_4}8ZT2G6+VD#7)J8}HQq$&gP!q8X?v{X|n_4oS- z6J+40Q{lETfnfgtYEaI+!DaPghgswYZ5~3~%O;}Bm5@JEpFpSRr{g>PPVgqfd%?R9 z=${V-&HqPdg@cQjnfN~_GCw~Ylf0>&xr+rcD?2yK|MpozwB(#uM^L+8HEJKwYGwP4 znUN6^SAvr2P3-HN>D1MbIs}FHq=ON`5J0q5{CvAJEyfZnru`n51g6vZy;ba|`W_no4;i_2h|J$BV%8YR6Kp-Nu`>FT*Wqf^|aC>1qGo z=A&PBDbAMtM_r5zN5ZInLTCz$MTX+ke(rVQJCB>)hwCbI+sRll+cAh$2 z<(zb;`|mTRWJr%=&QEufPY^{2scZFbkTqc`Ljn*$NLP4Bw3c&S`Lo~g(!G8FUJljuP^e_k`m!Ea1<0<^W3;I{M}12(IL0 z70WeZ#ZS{ZZk5@9PF?(T6%|f~6#eXHNH9}c)HHe_AuGc z?hk-0X{>_!2vM%VTluL*U6z5)z<$ix?0wpWB(ph|t}AU~I*vDg0Rzg7$IPsr`oS`617Q ztw%wps#Qia@&=12aaqw`rBn0foyq&dRS7Uy;9Rp#tSf|7LVFg*WNpi5zK`N#9!Z0& zP?%@u`+=xL0Nql|(>_ycs!%Urr~4CMzhQ4J*;D(#ZOXISWNWv=s(tY`r(&L#3dYCx zywm5AeaqG6j@I`I;MKP5c*x{9i5sBH+KPWlM{pRt3v7S4CAVqi+Dq#V5K>3RP69${ z=o3T9WePxsE|HE?Zxv+yNQ1>8N>nqpsF$?E_)x@t&!*y|@lY=iQ`gf!d*Gb<3V3KS zy=q}Ci#TzTY&z`V9NKskw(>zMHnT_9Lna|HUSx!kQ*x@wm0!WmP&(q74|G&-4!;tf zB^au9r!M}JIb`F2PXCc+z$i0ItW8e42jJ% zoVZHNanC}5%l;Ox<#^i6Zq58azO?K(VPi^&wJf&J>V{)#tog6mJ0aMcZq;b zF~5(<@E$8qg`oYonb7@EZ57rUq%oT3)}D1nV+z5(Au*AC7SWc;B|4}!-+B;P62=&* zk;-#4B>A`b@cPj{IP%1S$rYMBAnxMcK(bU@}SE+5`=fdl|_VVMS_w! zr|fYCL}YsAVKh$*j5l`4(HW=>!0zfY_c53xRlv(wDIkv6bp5{JNPmtw`0;0YuQN1> zjVesqlTbB#DYBRn+fim1PI2A*pK{*Q$ewHk|0LT(8&G2_xovHtoF)PZUDFL75*LGE zd(&J!bUNK(rSwu;d0=9I9L~M5HhbCq(rjklU(E8%Rzsl`BWOa~OaibhVdPiWaGFe- zifO+2=G&Sk=m#vqdj|8SX`5@&%66e)5CdK5&Iq@%#I)abbmZP zQUuNF;;j!>6LUKRsVOM_yY7qM#^|8KwSO5N__zMW8)E+rp^=30StnSHQ34DVtzGL8 zQ-_im73j;c%sV<@Re*bWjDSojhXbN^f!*zG54@{b`Vvv*%Y@pO0HdlX&>=tXv5ZWz zUJ?~4{O)_U>{aN)uF_J4hPB_u)oSQOxU*#fc|zORUE&gOS&=p}gYK9@CT zg|}N*{tj8BumiBYw%%4733nFDwh|E2Luj=ddSTr>R=x`_hG6whyxc;duqqsEW=iW7#&-Djy~MOH=3L=V zN=f&5#YX~^0W`Bxu3V@%=%HYbSOgUVELf>uQ!N1Q?<%YxkFvFaXoxnx$mw@D zYmd+|CD-=KcYfk@?%_&zIoAIjwRAP=K>R%&_3BGBzyfDdJm5?DolQL#2*dv}!->61KIs%dILf9CIzp`kxx zNx038%oPq@y{0}Nz3Pc;jJRa-=)U9onJK6@=RX*Xs&S`|7+(X0u35Vnoa&I*@$$=n zX28?wMEV|UcYsG;I&kJ7192NQWj%dm5fe8;05O!H5EIc;90=0# z55Iwx4ByfP7qh+6P-;a=Mb$q&En_q?k3+zTPoCz;^e|+6!+zZj$HN(@52%PSShbZ>JxAgji_WQtfUu<4 zQVHor8yQ4F$3=~?asMX)wBDKX&>n&Fop~Ubdie;Cpc6MeSUT~kLt-9b4 zT8sq?v6&=ympoZ(&3$)IuFxzdfJnxIS)c0MQ6dsE5Vlg~|Q> zV*zfn8_bH?FtW)FV9^5okhysLd1r5T&*sDfQYeQ$ZGJE%sv@_?NBhI8KAXNYb|q%^ z2}aw2Nx$_PwU6#w=&HX|?JKn&l@zm+VvEq0lqF(Nt|rcL4tvj;pCKBHyC_kHty9%H zQzhBbYT88D61N2mQkP%iWYwYoN|t$zqr+{o9Z^2KmJEaf5FLko+mLiT*VT6i2s-U9 z%`3^dS4?y$vhfT zk~1{j%Y_Zloc&U`8LNac*u$lVND3>OBUPpe59WR&jr1P)_WJT-%$kk!BdUe{507`0 zO?+RLEvs&b1oF6};PaJVJ$D?*RSElnt3-2`W}sB(^5YaiHpY#JlaOM$Ir)`7euajn zCsXVnozSy^0N>v5-$d98VVSu!V}@5Ar9DE6zbnoF9@l+n9@ohZ$F7nt58K}dp6rd7 z-&=xi%#PM$3$m{79nLl)M}w$)F6az$%inIao{0;)XEPvLmiT-u(6c94gda60^Pc^f zQ#s7GXdZTilUY1YhWirGa8#KX!?_Ya5a(V}L4Az0H(5&&#k`9qVXmtuaeRT`NuQ~H zb(eHNTHU#_y11kIUpOW{xY<4q%4`h!@K&Fv3fwX6H>WFVWWwxVLfRNhYch(|EpW*e zAB?&cm4X&yDcaY5ms0lesAC_N_pLsScYpE#I(`tf0KF=0nLc$CQ?&XNx zL6>z8N?iST;@vVc>#+^c1;=h7&i1BFdK9*h7v}}m4UJ`-dSBvewPOc-4{x^*!uwF9qnB{$!G}QkVkM!$?qg2j*d>n?OD1>Q_8S(G zy|qN8Xc(@|fKHDcY6pYts;W8=x=^RVcNA=477W)uYw&BMOJNpbczSd-9jwMQqLl;%kMQ`%2_jE>+q}#)rU|kOviR<$ z__&?*w7Xf7yZ`4A?_e)rC)Z-bs(z@Fs^Raz-Ik&lq z?7;~~I6&P-I*b*GMhnb;m09cus>pJ;j;tM>*$UXfvfI0ptK-Yd{u2!9_CzD%tGyLg z2C>9HHLzhVt2P?mJ$+dW-r&)WrP1?_xU2oxj3O)U*n z9ZO;PK8>t06Et%@-Ej|2L|D$~7^fk(=SC|2aXNtR9@OaBp8Lu<6cfW4EDixmP=ZEL+7U zoO>*0tQf8sV#VpSGs42t#Me$?=@(pFjJnHxOGkupIN^=7seTqGH z!IMy>hTu;zA^kB;`dZ*9xkBUxDiwf_J91N;m z2yun#g`oMPAgmr7rF@9uyOKXh`4Syy`c+sbE&Lc|B~=dAFtmiBsK4B~?-eSfJo!m# zZP^8bSBi`m#{lOe3~R(p73P=s(ucNmovlhfSxy?8Ru~{TTPQ^ zcn!W1oql9A3m=xRclnU|NqsJY5IvUvlqHgpB(Ig)wBZ8JK60P{YzM0*6WRoBcM1#_ z8y~qko`#g0fL_nzF6YLNvM>m@9N_?*LVpK#tPk)Us5&9dp$IB%(^dZmgkleZFqG$UV1H5c+I4@ zkk7*XgDBR4J~dHH)s@qr%O-i8z$eH!`S(LeQC~^^e$8j0vxW+2cv)lpc&?dr-@Lyv z$mi#>CwthRp!@!Qy7|d+Zpn)m;OE1F+tnea82Jwb%`Pb@Q|7R zV1pNwOb&VE)!w^6-?z|nhK&Gp{8Xot?}irZR9Eb^8-rQt_hqTMWo+8SU^gfGHmuy$ zj%EI@Zy~?+mvV6%R^9@sm|o3Ykzet+?preko>nPR5N}5ZZIq{VpjY)@iUkQCzSP}W z8GtQH`X8CHkb!G+&+8VV9ClOvanoY$GOo~y<5J9+{N3N zG2}Yp@1#0mng>xWq__?vq&aIaCd@Wgd@ua=W&_vDp!xAFu$04p)H8N?RzSjFFD+!A z+^7$4+0r+GFz_5id{K)aOG^So-O3o4mT({C)Sg?LYMwUHQ$=#vG7ZAfh)TXNA-&#E zWUX6_%n#}IzH9y&`|yqfF7}3%Y5U|5^JoIAm=0bmw3f6U%~EnHdx6>#VJx1%{nAk- zcs~;aHWWuK0d8Ex({DIGO0cO4x3?VJ`jHINIWFq}P`{)uO{GlJ-U!n+0*wB~M-ug9 zJybQ0A#oq>4w((!KRQLxRn1$AHg?~I>KKEWPW6^tG2%&oD%cfHB4wa9Z?%y<(|`{IM^vkk2xKB1V6Elno7v(0NHxtR>E8`a_3>A>ID;T7Xy zcg)uVmMn~$hjwT5S?eThpvfvQj1Jd3w!(V;H%O8pUdYkcqxSpdLfH%S`NTt7aE*ce zXH*j!~!sL{zzhwCFlec=^pPDE%l=ZaY zNH1Yq>x1j}#?Z#l9ZX?OM^h-0skXjWiFAM*bzFbSWbbaJ8z!~)_=<;cRiy$Ut@P@1 z?8tZIsn;B-vi26ci?`Cb7Gs^6GM7~YlpFeM& z&9<4ad7I*>@a-aht(0i{%ILV#k29IRtLpoT6Q``wRWgoUH`U_q_|_X}kzZ+;SYiW@ zO{eZ7C+UVM`RV>Qr6~DtG9zw|BQkP--%J_2)}vv57cHg3sCwZ;n-(S3l9FcGAG0^9 zyMUQ3OuBGpym4-_7ZRVYQ_^IT>XTiBYRWroaj_S3?sNCDt_Pg*7I`pk{zYyVy$icx z)ju>{%SzL$#?s?@u`9AW^S~PrsbB|eiyc;z?K*hmN1NBxkvHXz-I{fyp$FoiZSa0l zR0ygPpDL?X5cCy-Yt;5Wq(2O>6z+jx9Bz3AHCNaMF3pI-FkT>~$PdqhOAh#J!&a*9 zO0UF(O2QOb;L*D`xrENUzOJ{7VlqJ2Acxx65wUC=YUU>7(MRvcPO0`}APNBlC@}RP z20tN#@zb>}_~Mlg=Z{N-qB@=%5Lp6nB5YFNX_mu@yA>35$~zr@X=LB>Exkuopgu;pmwLJJM-(%+FZGl#R?wI$=W3?S{n=5OUcMKn zMQD`*#a99@BRe`+O7-+JZh#K+To8&&l!7 zzgSx?E#G#g#;i)#hATy&UL?X}GUKrVrtJC2owcifs9|K{{8bgJx&XMqq z8xPb}m8$J|Ol^}I<5n`YUt9g{;z%tPFA*-~%{?jmrA}~3HO!dN~c;r3jNqf2Y7 zUDaxMvNmsFl{NkCVCqx0k||2j*DG##-Jc?YdKZ_vQ=yZuQRsX?dbWl(rrNEgK)TS{ zBTJOR@0fRH24r0uncVg;o2ZfZYnq&D<+;2$o-P4nc<6EMLGPz>4~piz^3ucy)h(j; z?X&F8ijBsU&u-9QI4c_cWJekBNU9%8pLi(CmYigv>{?r$s$`hR(LO+Q>HV-5d&VLg z1ASlDuRbvw zFV3@pOh&A)udnU#INMn*^tSQOas9{ciQ1ILA7LVLMy2KcM`WtbJcE-6V3OsX3GRBs8VZ?4+Y}Nb**mQu48qH z77I8 zrr(^bGqzj;?sTmTsT0^3+JMSY4gprUBT+QU8T23hc=0^>s2@a$Oe6vbk)qUc-PtDn zC|-XFDQ1KMN!#+VF$aS;I$Q*~y=D!hPbu%RWhC5-L<4u2@U_0RD{C`b9*ZUk9Ut{O ze6?OfAiWUS!zk9^FiYXR$a{e~$hnXJSXFM>0+XYRoxqzicjEamBva`+vg^pm}~fpRGRs#2{2?{}<| zN4LF=4>SezRs*Bib43gyAdx?GDyWj#OMX#08&5cVhR+#-sC_4cg46<3`f&Pury@{A z?!b!u!%KNdlOo`^r4a!E)!%R2CT0u%62KgEg#t-6uZlzaH63;jn4ba za`>${9^YZCBTwZv!aV}Wq>Uzq`5Ue87|2~@k)vCME4nNhcADab{qFEJ$SVf^rLxMxvm`cHjHikHkIQLe$_E5Og6B6ODyoAt}JPN7;TwJ21kCW;mnzjK11=?F}uYSl%Ka{siV%`Tfo6-13_JCDeWs*@1hiRS{Y3*xT86+e`I!s+E=peKZ{wm0 zyL3({Q<5z|Vkrr>iTucf<2L;sUpA$93T!ve6)&fez+`Exsb6E}>_lO8^6_WK50@U7 zmeN3r`((XbYu3aQ3?^1ES8SDIEw9`gPFHuKD4fXXs9yyZY{ZY7MR*F%H?z+e6|q1m z&hx(9RluUH`0p>jC_-w>qc^rxuoKYJ?Imx2Z_y>w`>d`TI}@I?J3l_pli$hzMX%Mj zcP zleCzyd3-Y@yy?oP4ddDfUl!E3`r4s#&i*8Dc4LOCtnS^uAC&bwP!4o84?mxus%5-k zU=_-=OGkUHTL*3pYCpXuJZbsnU!iXHBAeao>q95_%Cwo%jw?v?UWr2ahhOFEUeijiMDY}l99hT%7&8-sf=*9 zGmm`^NIiw$QDqxNJ4%!7-~eGBL%_2Gs{Pa6Pufa5fF4&8bvV9MMexT{e16=9|0 z21!%4#fx}a{01VH_r$`);tz^mV|a=zVvOro4EZDvHeoPsA%lE){k@U&^r3@SyG66me#D))MwyiFyw2Y6Q0k0VWfV3Qg`^ZZVTqX1sSio3C3lTP zH#wz^SOu|OP@}P$BtV=4xFV_d5aC}5Y{xRot6qnZI1wMFPY2df!&yiWreH+AiiJr!H(vOm&K>DW(n&*oYPTD?GE9`stU( zC|ZGLiZ`LUo}%PAa-51cxru?&rc5uWVh_ah8n@2QhUS3rnu@!#&hf%BHkE-a(vabX zR;qO~3umq9MtGQ>I7^)3qNRju6e#MEcUQ(>X%f?ct^UBH-Ir<)XtIXuwEb=&fOTx? z+|pMlf1L2^&amzY_!)zdF-K-JqK$E!&~!JFOlSmkNE=wQgGQqziZG>Cr1*C+TAD|M ziya&5T;{Jj6J@g_`08x?Vh(d%48>}RCcLsbG1j_FDrQ-Spej~g5+pS*#NVBuKYZcs zuHnd5@?yrB9h287G5F&f5E9n|4)!}V1O&5;Az@2a^uO6%fFJG5j2L(xRX0h-?vNen zWz?^@MdSknn2d*`=qjs+lmZtcjw}i!LmUi>sy3%3S! z#7(Cx5rtJ}V*RluFj$M>+R{9KSM*hxtNx4ajqGe#3Z^@@lv0E@ai1b*TF)cF9FQ_BYX>sD*2@%)H0{Nyz)lK;Qf!5%y`=;XSmm z0KVuuvtCX22fQFNYNoe$5Mam}F6|w*p&~-K%6D`*@)mpLzJt0yb-cSY>^gjY>OHwV z{|T}Z3N}xe=6DN@o)#|%69CJ>%+A8i!otCphARYv`+qG3gka{ANJ41Sc!goU0bC-S z0u&;7DNW62a;)@i3b&_xVk-Kw1;6g<@488NE+-MBk}DyGGEzces~qIhcl--Y^EhH@ z*znII8~zk=!%?=PJc+TAK$1klf@GKb!YHS6pkz?G3NvI?n8lPX36?<01Jc1_UqP5ni*z+z3XkF-2mGnnd5nm^i-y;dlbgn) zh)sSg0`s-(W9QzC~MMX#q<;B{qmJ)U|@Y^b&D~PQ6<7*P*tNd;;s`l;*zFj3XTlhAYN5m4EK@> zz{zqk2;xaZXJ_+qB?4WuQ@eQ;BIm)h@ekzDQA!ZBRBideU_nVh<%Dq*ieN1H14`c{ z=F;pNd^PZMcqP_4_yhj90O5_1y+luZmIfG(>Ue?h~P6f(^N`3uXQxswSOK#K5NHZKKGGCC#eOoXiZ~9<=8jP$?gO4@q5yu7KtBvMFLkv`r%0P3C{q?7%Y>ax}P z->Z*%zTAp-a~2J6O#t$B%1=;iIJW@?_og?UwCMvu>4LELKD(o#=YrI{|2_TsmW zcDmEP%lisi&g4aCn0A|ZixTQw9N&y=&N2r;!9z0F=adiMFEmL^Bu*2)XouJiz1eeQ zh1(fbH&LApo2V~o@4dgoYQ}~AVBHN8jv=R&D?h_HD8kT;!NMdKn>q^q5%H~+^edD> zmWu~}zo8YwztRc`;daU2Xk>EEBs4}|1=IPCmU=H1p|9&kgXO437TaLzsFx)+Z|ewY zlhtm)H;2{E@Q7h((hmYyI!c|$k?gNOHuELlLwP95L)jz2tl3i16BkfE@a(nv2kCDaxv za9uSQ!z%T;7KW*=t|QTk%}WmA_d5brF@?0imq#*N+c`HEA<;gfqmOwC#B$G@9ihCA zDDo%Vmi&sTfiRkLCkZ7?f}B4lztRAcBNv?Z-R=!^EDdH74EhN8Cn{??tA3J8`-L3- z^xF9DLoGQ5%b9CsyVx+}-$zCeAn5Uocw*+<0WO7iw~tU|O$3fbLItUN%j3?2Xm8vy(0Pxb@Hw(A@ERd9JjRR6 z%gHQ306>ORiRzdVr?0N<6=%43oBA=SIhCfDNa-6gWYNx!_pNEBVOgBPWq6-0>ZDi; zy=lwtn8Gq=-)EV^vfLn9^e;uKl2svAyPWekj&H1k$RUZ2E5{*bZiUOn( zMZEbnA_>BO_q_BcG;(#lW%3Sr4cxU14e)5fpo$4D>5R!mpV0)fy$(C{%LMbC z0^lhUK*grTUPzRA>?yb=ESjxvEzdiAeb+nlO6ZuzDA4I0%6*8h-rL?%_#yg&abbq=V)GpL$rJZL^8sBrSZbj72JsVVR;CJY0@rgf313!;$1sYz{ z4nCJFqZSNoS>)ZePS3jkH7zYwtePzNZ9VPU-R~SoA_)Dx+C@jx>RQIWXTv6@eBDFs z`2_jpXl?u7bcZJeqp!-&!NtwWD#b+lvVsj$0%aB%&s7+u$?h9|2C}O%3T?RS z=g0evN!2G0&*53qlD79ccNz`G&7~ZlPd-*SenvR`t!6pal(I+*+g~ zNC&cfmUq@}chO(FQNK~A)isasoP7n?4xBrfGrT!+6((~=a>j0lGYG2@;vCA3jyu{7 z)fTb^v9S6J^q-&+>qiM8l^jw=aM6rcti1UU*$UiU88xnvIEyPO3b8bECg~@a> z!QuivoE@7nbCBx8(WY2ozkp92$8|=Rv_|h*1>9OhMhS}bwM8~ZaE4a&G8SOYG(y;paWpbC-nOpHw9aRA=373? zhT>U7F2GcySz;>GsU9T;$@|^hXiD2|%RXq2 zq5%nXM3rdIxLry-X`b2E@G{;xZe!pMUa(n+S?ooX{_{o6NkmL1Wa*+iPR@UI>%8%z&*v-T&^=HTCur%|2q zA0Lf=R|4~9T}`^l(Z0fnDD~n`*`Wbf@_ll1R(r%`#*7t}cl9pspGW3z+BzoAfx80k z@Rc^a+moqQ1$-xyc5@VuMs1WX@Aeu>SH0^0&F2cVogN?MMBitF=J4M)9Gn0p=~jhq z7F;ilw$2J<_1yk%ge}QnyLpKfXmeV1$YrY9lk1;3NHzG(&Rv&B*U-Xj+ORX8KcHOT z&Y^j|#{v|yW%HaRq2=n@`jpC5v7UfHw@TC6z>2$^VbuhBqx0bcPmB}cn6~R5xr-n! zJ4Z+1%RI*}`6)uyP%l^nq`ZhL6Z;h|Y3V&&5_+YV?)(%kS<{(jDUz>?Pj7h_PxTZUi|Tb={b%q)E4OMiS@X)JI|Uj=9ImS#so&8ZYV}k|SY{K`Npsn#f5KDTOQ5UrF6s)V& zVR?-!cWHdpqnLD5bzZVsAG*SDc`eIe&i7<&WfO0UlFRzLU4TNZ*~Lc9-OcJ2(m$}5 zwLqRvRypYo9z>iF(X&z_vnL?R&}=$++?WvVrylVsSPcS?GqS;w+6_}Y5FmiOXOIV5 zVynrKH@5caS8Y#82Bw8?HTlp}3LUQ-kU?3SA3yqF-0C1UAzA$WNDF}kQ z!--H1eW*zU*qI_`ICi3VS`l=R-)Jrury%B!L9w=OLPxdwAiM=>{zzsDAlQ=!ISWxG zAT%fk6RAQ}wi%cNBvaZHG$?jp_2iYHH^jBq0Wrv{hJ!Yz6z85ujqx4qRkiRB4k>?m z!J4l5%yL^#C;T1>06l8(6D%uaUNG10<1IQC?+eTI()>=sBc{K0<-#0gpssmyXDQfs zA_~M0V-t&o;kLElZheGLI8WRjfqg=oAb+`VMZR}l(Nz24`ato+=78lwDoJsd_7uzQ zH~Gji)KrV^@AHXtEo=Dwj;;c&|BDl6XbCG-*GTH;wa3Bl3Iq|(Ah%EGdy4|z7>^L# zu!;d+;Vc`J%&_-tHCKaO)*+)?l>o=3DEWLU7aCi{_+c?Q&^MrBrC!dk|7_U)xE~`O zv@z_hXjx!B#F80)(SN9A)sVmjY^eT6N4wQS6!Z&Qj7#QrbLF00Qg`yY60D3i{J(|d z`w~a%Pal~U0Hx$d!Vm2;kp5&s=&n3ulqMGtl!|1{;y<($>NIt-mIpMTa$&t%%m`DU zf$5a~%*BO<2-Kpx{xiks{+h)}UygY*BL0uHZ{ryEqnSBlJpV5`v z^gYiBm7e2o5Al_Bsn64R_0`(Ve!`1^rc#Th4BBph^Y_I>(_CMJMUHX5bE^7OhSwN1 zttE!nI9e?_b@n%KEw0L=L147qQsVMMZLu6vz~`-#V_c1Eyxp{Is>O7@d9AjbrOTu( zt)YIA;n7feF%*+XC%MUTaLJFl!f>!=Ed}$jEp_zDc@aAN^!VvNM29N?0lR*1)v0$+)wPhx+*|&f`wS=f^_@D#an$ z!+Knq2TMUaUBSf?YK)R(,very thick] (im1) -- (im2); + \path[draw,->,very thick] (-1.5, 1.5) -- (0, 1.5); \end{tikzpicture} \caption{Example state change from reinforce action.} \end{figure} @@ -896,27 +892,23 @@ Point (5) still remains, as the range proof alone only works to prevent negative \begin{tikzpicture} \tikzstyle{style}=[circle,minimum size=15mm,draw=black,fill=white] - \node (im1) {\begin{tikzpicture} - \node[style] (A) at (-1.5, 3) {$n_1$}; - \node[style] (B) at (-3, 0) {$n_2$}; - \node[style] (C) at (0, 0) {$n_3$}; - \node[style] (D) at (1.5, 3) {$n_4$}; + \node[style] (A) at (-1.5 - 4, 3) {$n_1$}; + \node[style] (B) at (-3 - 4, 0) {$n_2$}; + \node[style] (C) at (0 - 4, 0) {$n_3$}; + \node[style] (D) at (1.5 - 4, 3) {$n_4$}; - \path[draw] (A) -- (C) -- (B) -- (A); - \path[draw] (A) -- (D); - \end{tikzpicture}}; + \path[draw] (A) -- (C) -- (B) -- (A); + \path[draw] (A) -- (D); - \node (im2) at (0.5\textwidth, 0) {\begin{tikzpicture} - \node[style,label=center:$n_1 + k$] (A) at (-1.5, 3) {}; - \node[style,label=center:$n_2 + 0$] (B) at (-3, 0) {}; - \node[style,label=center:$n_3 - k$] (C) at (0, 0) {}; - \node[style,label=center:$n_4 + 0$] (D) at (1.5, 3) {}; + \node[style,label=center:$n_1 + k$] (A) at (-1.5 + 4, 3) {}; + \node[style,label=center:$n_2 + 0$] (B) at (-3 + 4, 0) {}; + \node[style,label=center:$n_3 - k$] (C) at (0 + 4, 0) {}; + \node[style,label=center:$n_4 + 0$] (D) at (1.5 + 4, 3) {}; - \path[draw] (A) -- (C) -- (B) -- (A); - \path[draw] (A) -- (D); - \end{tikzpicture}}; + \path[draw] (A) -- (C) -- (B) -- (A); + \path[draw] (A) -- (D); - \path[draw,->,very thick] (im1) -- (im2); + \path[draw,->,very thick] (-1.5, 1.5) -- (0, 1.5); \end{tikzpicture} \caption{Example state change from fortify action.} \end{figure}