From 94f6246547bf0abeec43322ec21cfb422015a40a 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..15d5a4f3af4f76714fee45928a4c43f82b05e242 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(+| z3=ZsxzKrc;V%rnjwr$%J>&3Q>iEZ1O*tYFVH2d5CR_&*)+7IW;>)TbYyQ*K`I`^LQ z5^$M7z7+~o*rvzAQ}JU)Vfmrxz}HQU%zH;+G=2{vgQm4#hX4}@+F{C}4&u0`g%p;t zAR!=op=gy*dn_@Yp0L(=7oY^~zm@S1y!&+UCrL{2LQx6|-cZ&1@cD{#&{K`%I1iXh z(d){hWuB^HTY88l)!3`S)X}|&|Li$!6}yl?l3s|V-KzzjStT(iOH=C7h!$#Od#Rmb zAY70>6OXooN&%WE`ynF*jP704{n;47oh0$X;WUu2ehZPde|J%VcNYqQ+sjn2Ca*z; zpR5VZKP9}+!{PE`1kAx9^F#9`8lm4Iuc+Ax{i&sxj`h&T!PL1|kJQdsS0GF zSAAU1{h|L53ZM@{e8f|q6p5cq*u^u7+M~%Pkvgkb#sJczmq*ocMY7vxlImD`12|-# zT5hQ0gu41imq&AG%iJBEZx9TCkJSVoOphclV%~*=Q6_3`99@eFzHt6gjHDI~q9wn; zQ@aX{cyceeW%0bI9_$ZZGaNX*;=5?!1MB)RRPLvG73X&*CGIi=DVkP1DR4-YU-)`D zVvp}2Q8q?(h&y4@hdSqcH zG<=ga3cYR@5+N(YUl|wO2sgW2ow_B{Z#?>s_5oHBx%#gN69FBwygvq`ccxWwS`HYI z$vh_i=R_drvy3NSD35>#<8KRwl22#C|}XhA4GKgzSZXw*et*%4-3r z;ML;KwJl|jtrja%JTNG`GJ>q_Orh4!_9<5poJPkSOeu+78zZd)I=D+B|5A-+;$u4% z#_#_TdhyK3taCNY;bu}X{V7#2IUx33uObI;X%U)7`p%kyA1!no`M!9+{>xf9h7#jk zO&)<1j=I4wqU1Y;LK1BY?zYF9_V~Z^7a>2${n_ZMvcCqCW^rCLSg-t?agmy9X}Rs? zxKku`i@qcXdLh{8(a-FeX{sccu#Ncqs}gL<@-_55UuQTJlUao+T}ol+!FbV~N$^Hk zMI0n>7^}jDk_e6p7d)9_P>So$t}+J3Ebv0WeAs%PMHnBat$NK#N3ujv9ZwZl9_9C~ zJu}28H-Du5caU%sTWtDolCh6Z`@pbl*Z+rJHFpv?Ygk3J*NCEfgW~l={5&Ic_jJ4k zpQIc4eu-GTFXG`a*vYW}U&p_M5<-81>8L?AU+yw>a5+F9DjaMOKPHT{fu}qV&9*K~ zLs<>h{-gZ-X<;*8pFo~*MuV?E9Y5TY?&Sd-MHM+{(5NlTf zif$d;{%568JWQQfuxTfcVKCc29#&tA66U63_t-x>?s&X&e_l3QfF=Fr=pMZ8EznE? zKE01J&90H@7N3oQoa>vD&P|`++1oD&{abcE=cm9K((288FMoSs+jbY=?se9heSmSO z738ko?Gjv6tj;h{QH|*sXfUf&AI*7Xd>QlWSgV|vZo{Ev!zA&!a8s{?WY5D1KYdf( zW^^`>^S_?vIgiwb;|)5_WYrwle4W8G5wQs@>0GeuT~5fEV6*a8hHs_RTr8iqwX4-_ z^Y_||vX^kNB&0HV2Yn6c{?eJyJ$m9u4%kaT z12|g#U=-*cI58PK zkwGlWPXe)<&uA^V<^-#iG zo@9q2S%F7)TiNSwTZd8dVUG8BznW4>hCKO(uRt_TWPKF4Oo5Ejog(Lv5jYL0^ir)) z0_(Szv6$>UVCQT`2@)9}KWGkY{834^GyF6O-+k)IZ)x~qTDa)%8;@WmKkOM_8YI7K zU}FOYMuEOdU^*5#{6L-QTIS;t z=xt18q=^i$s$+ig=Cm!6=@RY^W}-H9wxpbIL3QV%VJ2C%*%i?0M1-=!s0S(u?Y3Iq z9z}vS=^iEL^g}ayga^*Iu_q|>%^+WWE+WJoQP*%%&tF+PVJuti1J zO6`1aMsACdOOZ&niw&o+kbvN8;;9o-q-8gx3?dXF(n(gzq1O5KetoQu6X*gi8B(f> zIl_AbN>peY>R5_QN8bRPRPl;{Sz3uawGpvoh)Z^~>u~$4JDNNs{~qWkDNy~*CPo#h{Ah3@x+xVi#c1h6UX2!|EdDx1 z3D5Xy3x$387eYp?!Z)VW`2K@=XmLUbs!YfVT@(ijXTa1dkO=mt=aPZm-}_5oWG9}R z!f6MGIO%d_q0d9qz#?#=?d2PaD&!|;m;3tl=5k#kIZS;pRd}-#EQ{#50v9|gl-72w z4+gGNVpC?;h*R&_&(*);S<^Qnn2n#C&S^h!64(>q->kKJ8~hf`CQSyX$cRAqu;Y|i z&SldpOY!+QL~7>UM;9>pi#SF42M4jir`qIzB*N!R~s5TWC8 zPY$HT^=l4a#=pm{%?ywJ;G_o&aa!}&q7F8wLAVdwZS@!X=5MHXIn*?9`>^eV4UR`ohuY5#wvB}9ukQK`f;0{TsX%EV(NP|V-&fC4%g5}EW zz55Q!Fbi}aEI+{<@rcE zruL&!1VbX2fkUPg@V4R}JK>b*xlHXRkL{0vTo-_{0awp1hhb*}{#NLOjO?i0P3z~@ zqG<8f+Fdlqv&Y#rbl--%J=x`TsV*bR((TtJLinZ8W|k7W63jn)fJO{_Ce%@gif3UApXNbs7`K+Z}^M$j2n2Cif^sjtw_Ko0(gG#=QzKi z;$GnUz+;0T$29;T-E4O1+r0!13SRHV-eK?FP?7)2-{MO}FWptdzT`7*m-e~{d)+L^ zg9Hrtxj;qAkBE^Cm6({Ly@^qHaI2P?Iwrr-q@R<9w0oL6UaSimHXM_J>jv%RHm0OH z24rYN+0D*k;yN7$FPVq1q?&iT9b1_Pn+;mZ);BTdl~Y-fhXl|dN{0>)$ubnC({hA4 zXJjQ^_M`>5z(oXqJ7lAyEz_LR#e$6a3C-jRw8r3uJ^@b6s0 zt+;J+do;zGOu{65V%Vg$yTYUt{nyK`Xh;ebjhtY4qlRcdL1IjMGR&`+gY=Q;Rn8o9 z)YC|1+E~nNYT2Sc~3%0*WvrubNC3o z;$an_J##p+8Bb(kh#h)10aIaV|2jD4mgMCiMH1`M>=@S!E$DYG>!?g;mH|I72#qUc;>iD`p}3G5CvZZFv7D+<-A- z*rr=EBlX8_4ht4Nh1p#2UlzFeu-M%An#qP2;@!NqYT;fga8?a=l9@<$+$$GcM`I)d zJmjo|+Y4Y-$<$SnnP{X^Yb&}*%)15YWuNf85MEkaQo*A=nyHX!?=rzZP8-PLQJg|A zbDR8>9bx?<6C`=A@g)>xrS_!v(CRtlWut|We(cVsMA>^e5nO-dUc*vRL)HJLjNrc* zlYDp1q)vv^Y;gb=ZleFX#yzO3)sM~tFyZ*G1HWp|tXdj#U$J2}Iu>fW1q23~@u}AO z8K>PyvGX5X#S*h%N2JD=sP6(YRlYv)i3V6;1o=xmANd7>PGK!AeFa!Y^2}39BUdb| z=k$5LVfo4i!oIT;pYxCFFj7eFLj?QOnkYkbDCKfGT<#J}kcVL*gtV)JPko&L_K``* z(|6kSx&4)AbR8mTtR(!Ypo8HVOOB9(4L9-2gy;q5^9%dFA(;98Zpwm>HjihXVQeL~ zaDU+J+)m1n=NyTgGIu?$z{9cDzi+fyibOW0RFt;csWSvlS{ezDnm{!Zb+}9{l()}7?-EeLg^P= z`2I~eSS1MBlA6ht7y%3tqJ}iPbUXPxArC!8#26a*w$Fk}O9-LeTSEy@YRT{eulzRI z*z$Gvx*AI6YNYn!in+G_3v)Bq_LO49IwB{jz(_$1dc2Zm?1-|qAEBuC3bGuk=OGa` zM5Z0V0Jqac;9}AV)PhLwe28MYVg!8VtKrJ0z}_cBVBv)oz45xAy}~%5N~ypeS>T^S zVo*lD%#tB39T{RsK)E6?k`f`2kRySDCc$h2)BZRk(vU_-N8RFZQBQl(vbl&_J&wOO zigMy>*PTMKk)iA??Ip)y3*X#7X@dRn0AtCdvScd~L`_#P=avGM(=A#R)_Z#+;4c*c zhhW%8NA9_7sE;u1sTj=%Wq<{&2W#J}m?#>0fdkswN;AZ>PpKQzLV4kB4&*Oq;p) z1Rvuqf+2^?e_j*Oc)_50PFVc$YJYaZPYN?gxuhk#v|b|pNPY07mZgQ~Q}?g-8_qI9 ziE=|nQM`E^uPq0zR>H$4MGhwqc;&dBx*auf;R#+56S4Wjvg6vo!ow^&G2w=f(+V2t z11FMFJo}y5wKOy40)xeQg7`5gR&W#JH?ZvtT5pK3@4VamBcDmf>KVYKLm|Ja^6z*D zUkpT{j&*BO4rSLf3GEPnTd${CazfC*#tRbQN0@ z`)>5pgIyLWoRz2#$3ewyfTAWqrUxzW~HjWo{^i>y{WCt**95&jT2S7R_$KXx6} zjQWU0M*QA|`mIFEaix5P0GB-@2VjSZ)w{|ka~Q-<`>*Nct%cv6d^vBAlGVF525K}p zV6}=SG~X1(Rt*cbPR0ler%p!7s+=Dc3tbzWRoVnmya@KtZJ#YEU{$>4bkC%8trRy} z3tW*F1B-NQ_=TJ&t`w@`5aU`}m<%0vxxt!>xggPs9MuulE^LB(X5Qa~4UpqHh~zL9 zCetP>QmzinlSP-9ErBgMwHeHSUB!?9Q&+KjH)5Y_L6_rY-(;#zLw6l5puw^=D#18} z(Zq)Di;l&TgNjBJ-77OwjbcfHSX64IGGQIipDewZWGz6?)540uiJ<--4hwK%e8C=s ze1|(M%WClU(f?nOl#As2#WCK$L-78nYqQpTHM48yPg*;O>df* z`iu3-u@|Uzk1Cid*1P0E_S7td!kF#AMXD9`xE+@rJ+s1@us$J zm!EV@u9sBf{Ya__8EAKy;+8x2?&bQ&*O9?v5ZRYSpT0N}8(p<&*h>%a8!Du!N?s3G z`9jgPWBuHEi$N(vxa1gM<>EAP^8kve52Yb81g7RgrpoJc?%Jr_(2G+XCjja!WqDo&n?b& z@Ok+;y)_Ws3v^{Llzm^dX`V6<-%e`;TY+6Y_Q%AM!cY-`e)mLup1!=;u;k$WXHsAf zV|B}FgvR6fC@)c7e>UW;ry$^$L(gam(_IrQuAk_DA$!M87%@Y@eI>M0P^GC*X=%6D z<5Ep1we?dn==*&P@*@CUwNFot$VLEl(&)~UX(u0V2~d9t>U>BJ>bzjAU2P6u^&Tf{ zJ?_u$z6LUqsTinOETIFsV0vR0^~blN4#NX`!S}$cQ5ThbuxMW3bW_k(uC)`>=~K3f4vX6tPCQ zk%cBBC>HX-U@d-HV2h!k-RaK4z5uuGalzNScm|G_V;z1f4CAIC@?^bX`Ik#f>;c^g zAe^#~^z}}%lIW2G^Rr9ZEPdWC*bqyzjkz&f%$>LmzIrp$lJamMJNts1Fyy=@<*5UE zsynW9oYX0E3pvTahbT$LKxj+zfb>kr zkm%;g%YQCDh1@jp@M7~|-HII-Av2Ch^s6RsSRu2LlU!0jS4=^RgIrujBj$smZjTXy zj;37|YE`CCpwPhzm8?@$Thwg1?>FC0WFE;U|6*_7YS~+t+0OH;o6w|=GB1RUrnaS7 ziJAUhCeJd+zC^W`O4b(NT`KD(pT6>EHttz-_1XRR<+Yf#6puKp*nq$R zNJsp7FBozD)etg6?}?-hU>!X%ef+sdv|A$BOLX_d3aXXhArXfdl~j(5DxC3q_81lS z(Tk<4H%}f*&GyUp_1oK>nYb;A*ke4N)LrQc^Mxd`%~33&2#kb~8@{I}>*qIOtn2up z@m20irfNe#vtma1awSugWufHS?XoKu18G``AKi$pEOD?|sRd3X@I1V1)LsQWQh(db zhxJhavjHLn^Px-qS;HE%4F}f>BI&N@xXTe3MwWD?%c6)ZwpjGT=-2@gTUiH5jnZQ{ zKs65uzxZaN1mxL!q`F^6_9_)T|NcdPz5pgppE9La^jf&T=PKBT8*|GI@t_mxp2h08 zp1{)xhHiF!jMU_m;#6Y}R%lvv1<`)BexrrSr^qHlbI@K8llnHwJ0ipC7lLFqSc)w4{uXYC<}L z`B_ zFSj49p;LqD7HWbq3HKDcAYD*U3-bw`zZidU5zB4tXl{i}i2Y`SeRZ=>RHHm!-XdGs z?5C?-AJ%S(3oh0yIHVIdA=PDNC`Vr4vQzM%VrW#l-069{ zs&S_&eXd0N87<=_ah|3^w&B~eU~%EK#77NqG5KNE*#0D^O68>dqUZnI2dOr#=8y!F zyYh?cpUPmPn}^WNdu}|VgJ8ofp)VaxHHjLMg;d3;%YrtAGqnJXm4)E(D`?&TyGc^# z1Tteikjlx2Eby5Ps>Iwo%?FHEb9ID6NV`=xAa@C2HO9Oly3Pp*o-0=YIa^hJym%`4 zI-XuG>y5|!@I&ODi;sz`=DZ$z`6vD7wu`ch@HRrK8~r+Ob!6PfG;$r#>~^zDBfmcr zNw()Up{z%FnMGu(1lbp36PJ+{dD(SY!0WS_M!xQ-;J=o?H(i9^bSbAN_QRbyUgnj+ z*N32lM{=%uYTQqWA`g#oY1AsZT}mvlqpg>}dv4WqyyMFCO!w^Es$Wbv@)l!@-vu1G zZ&Ut@OHB=hBj<*K?1F@xU!@$qJ#$qCa-;H96<7w#uq$mrKl@Rlw#k38@Wr&>0Ae+% z#sSf+=DJ#w6^fvmUA)8$_`?U}7TcA_1a1=WVnPNzIr30r>>NLw^81*UFW*&7HKGmg zj?Dj6-x&KHmJ)LQ!UjHM%!hnknDLe#R|Zprm`ff00NYv{&fx2!I5D241bn(t1FgOIreR-H(krrCgL_8j zw85{zg92KJflibw&~7{flx|9))hSM_Dc=+2PzXEFVXC+W^HPnF0z6!;7a6|y8W08} z$@1S8u?S)E_LBLh({@|}yu=s}90NxgYqY9-l6ZSend?b+*Ge;|mP~!f0Q43f7et5w zb5_l$dX0I{NTZp zPX}gf`1mslYoG{CC;XTd0AZs-LmnG<0Q!^*FLj9Zt!OoM7ipzUOyrxBdvdp1M4J?j zuKhrbF<#+z+09q_ps-4^&e&4Y=yMuBv&ad%Q3;HuIV5sqoXu!0Pgwww6NoSa0Fat5D-sx2%` z8FShELxzhF12(JR=toKjcFw1}B^oj`1=k&czx~7yHO-ZxaUZZ+`a=4S#*haHJ#7(f z7jxKS*!ISd#-m9zV6w=`ob`@N)@d}Q#~k7`Ku0^9Pc5PKksz^*Fz0o`STU3X9K{e; zhd8+1!u1&H>f)_$8`3I?9)!G0Za`LJO1obJ=MF2=%xBBxn?(#I~TOEC8cj z`)P=VX5d6>oto8Gtz4&zMv}dRgi}4?ZI5JOmdr#>n(b)K(GungX0bf&%8~iWvD;is ze2GX!lSN@*dK0E4cel^^RKju0g>lpe&3OG^9mH2v_6%;GXmZLkH{IFM!2Mjub^EL< zv9saO9s!yGSZdDx{biXgWY0`{3?6y-l`V^Jroapg>Obt<*!bBsia;-zw8ou?$H)Qz*Ce%@#z`9kwFkBdQ=5dx~JX#Ge%p@aG{$AqVRnhlAl}QWq?>1AjR8 z<=K9+bmjzFNhnds5^G#YDDY56+9s?uQ#nt3f_mRXdkV(ce^MJO{%ofPkWaQzQlo3t zbzrwHuJA16*1CybKW(N@n<2u!{Z_w7}Y9O2Eo^u{L#8`Wp18kp}E z0fh-bigDQSxV<*AL@6w4?T9!zTOgnPHLNCc5+Cyv2_fosc`}A z61$&D&25tiYnl5y$COxyRp_-#%H}3+brUsrqY1U}RVf6RG-0Q^=wnZ8b4DG!z)^{5 z3$nU#pl;lbY44H3Kb*S&r!E|JJBC2c+Q3owLS=cD;^n~Ses8?Cos9iexV6`wiR}A6 zznQMsO}yg0YiJTw>dg5ysxFt-3hmC2<_KK_q&k0Ub2`|+Gi1xtBmL*nn$K56Vl^e% z``VFVo<>I>rhGMmD@7B{dDh0v__6QT4y(YS;|{(i z?qemeLbbg6LG&>eyzaE2CipsLiN*A4`0u_U&kuhk{i6zx&_LH&2X*3L41@6ts1XBx z4VM?dI{ZOz8(=ChSlZhsza7cBNoSgJCc+ZtfMza;Jgzs13nQPr_s0gke|T6J?212e z``UjUjk_$xT}^+yX#2k1wGz;IN+0cN;9AcnGSI~<-cGfW-8`A6bn!yy$IX0{5Tr~z z##;!KXBH7Esxd)>%yeI447U?Me3rTCGj3KUPiL+LMGqI*2K^6U{{j3zK>P>D{{Yn{ zvJEY-{y(%_kCv|EVe9{BD^0PYIq-L2>EVt#ozZy}uJob>in}Ci3$igH+qh15^9!Xy zvF4*{z@JDG>7BWDeOYtje;*_%4MI{8v!OxXcr|pjl+NH{Z-pBcZ{8%1+jE=`A6)VzVituy4qPFqO^)!x|VeRBYDbb5!ik4Aj8)Ksh zMgbvHA1z0vjHRxc!^c@%>KSCSGHR?qod&pcj0ddZd%6b^$|9!EI6OYXZJr#%(-bC$>EOX#qk7O4EWOi?{iQ=c%cS+vi94#%iY$ zgZ;v+aF8{Hs~UIQ$%$zvBx0 z(XJD+x&8b4TozK?hIx8FQD#1SH3S+}XSLyf!xC$Nnt4FGI(hT;zL$WiO{8Odc`l?` z$?#Egbsci!=M(&M+1;z4kOS;vp=mvhgub@ok;kxzPN|?h*5qkvR9(X<3HFEtNeY%1 zi4^{IQA0Ohe|+5!9gP=Z{0?i}q@JcsssAwv+T-i~==AH?v9gVZblpV?-t5CvlKaRX z4(f2Ww~zDbZR_A9Wd>U6E`D`KG3z#A?t<&xyzAN76GDoc0y^rhniar7jOM@RLI{{1 z$k6Fj5f69uz22^t&(tl_{pT8bNOKWQi;q>0IKR8Il=Q{dwfQ-w+u32IdJ)G#C!O#A zzFa;131(AIF!4z+!Ak&NI(qPKZSS!X0;>s9yLFv%4K8jIf(2)@=mebE9{=trrGDW# zjwbmrmTeZ`7w|=Io&(F*Yem&BuA)AisyONRt^d7>*USxO@?jU0d5Eav}(AEzrk$#`OW5{fLT&VlRYLf0!rTE#PiTRe~?}bXMozKBfAkDEi}yR*ZJpT zqV7TT2vkb$$k6d9;=G2eZ@}GEJo2lfqoBeGbn=BjSMYo(9)OtbAHK#&{8jgazn6*e z;QDJ5^-9SJ=TFq+AHsiHy>Tx{`F&*6IZiKcjl;Z)5?-zE?=t@8zqL(6q+v9V>niV~ zyBeL2r`vbK-uAv-!J~u!RxNyAY~mUOBLgwax)&p zA&PY?`u7m#w+MfQlH#Nz_&u)whr;S9ILCYatxLaZKmt}TRZ@6W0g2atU+VmB?l%9i z$ekn6zoH2z#UHuc5RS1TjT=VrMbWpHeHw~0wdaK7u7LU~FN`hn^~P3nTGg|mtS?^u zHTnu6XYT+~jps|_XSk4a`(8~)+zM%v#r3PU>GXdY_oJ2k<;vnQurht_zuNiLEOPnM z#iP}x73?VGLF}jm#(UjRXL%~A!IL--J4GTQgKXLi#he6RI@|em^s>*QoC#05OnmVR z@)8#<0#F0LCX2QhW=&RJ9ei49!7CIZ_^G#$k^fTuD_AzKGeoDPnTXzjv3&NpCi-WU zk-V-gjAR6!jh+aPruzngaoC&(WQfNc?azY;#t zN5{r>Mz-wADclM>xrEqd&|4aPyqKuW3SNC!HGsJmCIgE8SoHYWEsvM81h$lDGkv)t zAY^a5l4xW80hYp&TUEjsf)^0#6kLSJ52^Mif|g~0=brIL9f$@q8Qgodc_)+5`G#Ji zXT|0JtO+MFy<0(_SfDNzGlPl_WK#`~9+VT{UL0Ic^IvG@VaKNmc^E#7S61Td75YKJg>d2VZLS>-aL*F>f zQBP29dmSm>sy)*>vjTSXW4!T(`~gm_Bt8R@x)DS>JV3`6#S7Y??d4uL);dB?wTrvA zJF%&oQ&{73Za3RXPLgD!<8DqTRy-956DeUmlxqlFp%tWcr&(JU(_UXC7RO;!SuXR-61)UzBuVb6zWxn}rVJ{F2^DZirj7N?^p z<-Ak<*h|b>z@rL1`q8Sb+zo%7b`I4<>8BhF4?DxK*nK8r@EaRTCnwVJM?W4g7W&Y- z#RekQnxftbZZF;&I4O)s7$tX=V3{yQ`xDrFHjpu8Y7z~YY? z3k7QjmUYF{PK~A7nuw9t#=7m`kLTuuMFcH*fg*3rgUp&JzDK_6{qD9jQGI#0tpE1bo?s`1#L@ZhC^IkZ zSrKWPPp&JGhybtIV9qqs_0{5-qKp?^*tk>Ltaf*audGUVCw`GW3Cyv6zY z0{SHsf|d9J8<)6G&BkYZBh7*6p*T3dzVr8D(?-AD4{sG;;0rnOZILh?lmG@jore!5 zke-W$iJ6&+jftC%iJ6LtiHZj9r@W(?n6axlF|`;E3lj?~)Bg=gKjnj2{NMRo`XN6I zE|5%|otH#BH>sl=X^xY&Rr>cix3FAarg;0Maitf>Wha|N5~BuUG&3~}w&sr0Gz$D% z2TJGAaRx!M>wun>`x}n39p#NUGa(3N1OlX!)@TsB;Xfs_F`_~#Lh@D;jj4(SCJ}vd z0foSk9B$4QnB~F)0ue;AS6rbG3kAIk2rz=-lmi_=Lv}o9f-MfvV?*(goyG+Ifh8GC zO2`qGKw!5_fR8DGT-+)^hFTd+kY;8e0F$et*VS6893Vxs&sbq=n#te@3)A(jw{iCC z(dwbesx&3a@4l$ApxJ|?YR%|<{X>R}niv{EVs?;>niL)(4p9Lur4T`U^l0+j2{>H% zqdgB?J|3JYDLCt=8DA5qj1=FZIhz8Y8R_>WD` z1P^HhM=wnw$Y3hD5*k-aG|DY4sUyr;Xbyl1Z?XmxSszbY86`_VMZsJ~L!lLoN_ZqM z3V)}V)O3gzH6+OA5#I{;1&O4&18^b=OD3uI(4uWiVKgLXh!GM8a*U;j@AxEBsA2g_ z#Qvgp%qnQVF00&?pcH6|VADM(`Lm$~IhV=h)Z-mduFAeoTfyQY1>$AJv<69pljOCP zxoyhM{GIyv=&Y{t`*#D*GZM{iO`!Y#5rh5PV*qYXL(zz|z#MU(4-< z`>tQXSroLwZ9YHn423=f$zaV?Sh;CGza+^9m&JqOu35_&u^5H^7h?B!)dZOrdRBa| zHNS_OVe4}q8A)n|)B8YuZIoXZ6`5SDpAVnOZ>1(Y+>7qbTwJqiE561P^iAuws`sG= z`&-^h1uMEu`<8#C-0V`Rz{+cMS+-E`ri)1|8};SS48?iQ6`^s2Rnbx!st zyt#YV4W2nSy|p1N;9Yg*M3whq{zX-)5MIGc@B%%!0B7;vZvd=8fgk#!@?1w>J={tV z=#0fg=JU$3xNcjk*^3Q2wB9%aZxR4V#nHaV;$SebvgQQIGdxuPdJ@DU-~^S`hRXzu5i$|o7fuFD z9YQ7S7{3@nlArpB`JR8wliJ3jtf}j_4mUJ&afYgU2dc{nyux;SFOhPNhS?{=W#H8C z2fe+M*$GBV6<53x?O#s_A2DYrnqho#ZWlfpkFu@;0|oRPvRmvCG80HuFqB%nAlEv_Exs3L{$x$Yrs znoiX>jG)?cL5x>LctMO`WW6|Y0gT1^cQZotOSKR-pfl>bMG?5?(HQqPU^gLh1a>G6 zBXSvb2p0o~T)y_S!~}7qB^|=M_P%`zEW9Q0(M(AtQLEc~k1SLnt2{K$kbyPXR*lx! zWh7BX52O5K+8og5=Q-+le>Mqhd?`c(l&j-9@_>tz4aN^?|6E<#yMaEFsBb6!0)YrQ9F)< zAQWr^0u*SMvOWk?Um)iVBL2xV ze_t85^s3#l{_5*j+?mlQIb1{iyn8J)smhP;U2Dl6xzKMIATSP}+8(*MuGn4n2_F{$ z#c4&*7wiHi{=K^E*LKoSWc1Lw5E(9KOf? zpm5I_j?5jte^kSy5YkOpBZg8I50bGiVML)%sH`-HEL?yr)KCu90!f|I#z1Knxkg2^ zQBKsUfG=o9JbisVDSQ07eeQYnJY#7n zT2PdW@P@eKHQ`=KUW#>vdVwqzJpbMvu7-580=KHlcrF07N3n-|B(@U66YmOKhd?T% zuv%r#9x!fxw3^CbDEI-`gI(iV;8{s#OLRr8gT@sw{MH{>0(C9am(U%&g5tN5wMu7> z4>D*rZx;V!T7YbiXb;*%gfH0@><;?~!4=sW>5lpf1mU-R;W2Y~Khp-s2Hyz{6Ix5b zTE-9`qQpD~9u^b26I2a?J?1Zj9Pui#>;XRL(fOAmdDA>-bSp_`# z27=5a2Xy&wykRw9(4mM1%XNzvRe;iG>M;&}tlbGM*6bCh*_iEMB>AcrMjqM;KiTYc z#EQ&nIE!lCk7mQVSwJpn`&JlFluUtt;^wt5SNw8>eBBRngA14WM%vvllp}m4Si14! zD*)rQQ`pYCq~(o&G9m04RItLDR8;j&TEcHYu6;>jfN?pg?@DlW0J%n&Q2NK*D? z{Od=&Yg2Dt&dYUx+>0d0-^(r#?aSwmjc|_g+$oBO)Ew&D$!q+m(`LT0Gj7A#0Uy#q zblN=Z2Z(g43%>ocNL57;AJR?qhdjMI@<=KlzRUw@a7F(&jbF>R#Fwr%2yS$d27#Vu8PCn-T_n! zUy#4t`qC8Llyp<@{5DEEMwM%-O@l`aHR_QNyL_{ZS5USricT*1*yyG^)VH9z2h>{jl(uS>7pbH zG4Yu=^DY)I0(s(eBx7c1%HXFzwbAF=$|KA1nlq*}FVi>*6c#|^>TA&E`Zph}E`CS~ z3vxkqPS@n5k|F&fIwo1REa%Pvv4Jh?M>%6{d(L~Q>SRX7d}H;4;xBN*RhoxSc^|Cr zpyC0ZkbZ>9Zs{R4>hVKUKZi;)S=?kFdw>3@50+s5DVN!$S?cj8Q2W;|AWv!DQ-G+_ z4xbKk+$qGs_$S+EpV!+9zAlAo-NrkiYPBD(-R8#f)h)lWapsk$ePEg=CEJLgI?LxR z%)lRh3kpvtUzh2$Zwzz6p%b)7DdPDlALkn&%~)ThYB3>%6VoTY0INgb{`JpGS~Idw z=o4~=4+RJ$&1kJR@rPYL5%?GDAkfc=ju}Wo=@caVx}2rHz06=oQh(n6i3anxe+exM z6cj6>PzV9igxYD#7^FF?CFYFg4@Dt53LuPkwSRmhXY>FwtZuXe6QWI=02YV=Q``^i zp}-_CS*-wu$jf^Li~@*DUCU>Z)1x~p46t*1Oi*l$DBQxLL7iMAC`(w_x_G~ky895ea916e;7%Q^uiC^ZH(!X>cf-K95~KfPbP+hv8_NM}FQ94ZI= zoj{g?WSTyJd1&?^Ejm`bcv6l5%rz+9J?1;eJ8`IgzWhqtTrjwYp|tr0qwsj)8jUpDB+Zo+ctTx+#nXoeHMbh6T(GZEMNTr*T`)3n+lU0NFM3 z%d?HU*_05Ps$ZH31Zn^U8}iHIXAg~IiV=%ni4C?|amwLLKIo~i$;)K?(bX@#>@a8HJ7=r`ICO`2Yrd-bR~l_;;M zp#@_nxR`)N5UNtxe))53F8HHD=YY!v*nqkPn*ZkEG`)HVdaSUFDB8LWuv`<_vRh`3 zxkn#&oA-V|*BsP;PUdJ}F+7e@wRD8Pv2L+iXRXjkX8^kHWoy#tKVq3{ zYPDX%TXghWuHccIJ1y4Zm#P=d>138H7cMniZ+~lWR-ZkKRsEoQH+%J}N~`*trNPOt z+N4;en}+8nTD6(xVOpO+1u0gYOga<7nYOS z{Wq^^VLyLtIbSg9?GgaUzAaF1)5Jf&^o9lVqCEc{M!{|h7xcL_sz!cYCA85{;JpcS-P i>G*T;bLSe}{{e{QSoN3AO$Z(fGBi0b3MC~)PeuxpvwJ82 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$] (A2) at (-1.5 + 4, 3) {}; + \node[style,label=center:$n_2 + 0$] (B2) at (-3 + 4, 0) {}; + \node[style,label=center:$n_3 - k$] (C2) at (0 + 4, 0) {}; + \node[style,label=center:$n_4 + 0$] (D2) at (1.5 + 4, 3) {}; - \path[draw] (A) -- (C) -- (B) -- (A); - \path[draw] (A) -- (D); - \end{tikzpicture}}; + \path[draw] (A2) -- (C2) -- (B2) -- (A2); + \path[draw] (A2) -- (D2); - \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}