From 26545bd50db2120b39b42fe570e90101a9457675 Mon Sep 17 00:00:00 2001 From: Karma Riuk Date: Tue, 13 Jun 2023 13:40:56 +0200 Subject: [PATCH] Modified a bunch of figures --- figures/SAT_mvp.pdf | Bin 14047 -> 14200 bytes figures/vertex_parallel.pdf | Bin 20708 -> 20827 bytes tikzs/SAT_mvp.tikz | 2 +- tikzs/pentagon_congruent.tikz | 1 + tikzs/vertex_intro.tikz | 28 +++++++++++++++++----------- tikzs/vertex_parallel.tikz | 17 +++++++++-------- 6 files changed, 28 insertions(+), 20 deletions(-) diff --git a/figures/SAT_mvp.pdf b/figures/SAT_mvp.pdf index 34e47e84f433df3d2bfc7179054a5b985d5794f1..abc7a6bbb8ed9619bad5e7f216244760fe95e0fe 100644 GIT binary patch delta 10362 zcmai(Q*fUFfW*VbPGj4)ZL5uKyWtlnO&Z&_Z8dCc{bSqaVQ%i}X725`GdugZ`>n~+EFxQ*7~~xy?8Kd z$HEJcm2zX9&R{@WU-VW?c5KB$oP$SY@yTgM2 zM1z-C_q#QdNnWb53%DUqMsKuG3#%xdQ2Z~i>nz%|AFiTfsELUq$XPFwdYip|R8lE8 zzA}KFN1O$18|+V$`>_TjotW()1PxrSjtgs7f1Q}$FseaW;@j3rBbG3Qt%*9(T}+nC z=Z-Y4>{gwbs(%7P22Z!;A+TuQK_ZgHmf|XDtBza5HYCK3)&bz8J}=WoSmGX89;=s- zn-RG@fu0%#@wkxK_lAF-bAv=u@TEoNSS)~ROdf!CiLtpJ3`TAh)r+R!0Nkm9Eebb5 zTo%y_hE{clixL8Uv#}pjVq~HfjD>>aPce=eiYia0(2(dMYJ(_o|C_>RfXedsSBU&y zsUeaU#IF5vIg-#dYf_^5dVh0#U?`p7hsV4JB^rLUUUB7ZvKEF^ZPLO8R+&HeZMp&C zcS=INc=Fq9)+hgVrApVdtAeD4qW)o1?y67-!6da0!sq9v`i;iaPl6mSga0DOVBc*D zq|-?(L%94y*5zBO?8kzT6_CpavQy47d4ZQ*;O~ei_cnEjzmi2SMELhh#0`DU7AY{; zOk9ra8LtS(NF_%?T5>p!&~#wcVKW%$Lk=q>QA~W~ZaFkK>>f?LoLu33VBczOEAe}? z4nLvs2ug=*4Hm&JgFTX)xD!nS2va?`ix`A3uqCB!-d>+$iQt6t% zdWxwV-aftfXyL0N$?tS|##6OEAizCdkgdL;RQ@hf!xxhskYdiGCAMJ~H;oP;T6SE5Qw6v9S|GbeXhvy8BRqYh?gn0whM z)-vSI?N=ghZ~VC@+bw}l_a{O@XB?qIn$#SS|{LpeZOVF#&2stfFDOeM9zY5`4@GN@RQpk^~V(iADeco|3<1EZc);Qigi4CU^Vs3^eZSa^ zlQkE7O>_7a--%D}Nz+lSSe)Y}LSY`!m0d+W@_|iNv;Hf-H6j;%9AB4aA!FTAw z15Lp_n5+nhAs(o)!V#s7x53H;@sPhDZ#uzv3LCnJL^OVi{KT0+NdN=0_W~0!URTCA zoeVz<=1Dv9w8=qs!UQ{gr547gsF`Ye_b>c>J7rEz+rkCYJO9KXU5gVw#_`NrCRQRy z0Ir4G`o!{JdMW!*0ZH%x6#{x0%qQyDGq_uncAja+g0Dx2yY0Bo0p)E^*Ltfm#wBRR zV?@dJy^MgNWaN)dH6Sx}OFKXUd<>T38^X*8?)FOWB&vuE4h0#*H8FeCK;SOCeQcl6 zj+Gv}vl&YpJ0^ELPdkuFfC{@TsAp>jI9<}P^>4Y>gf+N=%e=cs+ujQ+wuOBb%l{NP ze&V~?rpaT$#+<_k3kJo**|ZxuM?->r#dh9&ZG?QSKnC`*({+-^>!?@~9QEd766RTD z*#zKWMcO_Ak|Nn?GFM-ehgVa>*TQrGI!soUG`Ckvy|DYLk8ObvJ7a-w@8%+aQ4*Sg zQyMaa?HO2IFqw1W`_U#UbZ}ujET-NFbntT{?>hdYiM5AX64F))`_90`6B} zKEQUC7&?gVR0_T#qw7n?us`6dHtW-6K9EdhMc9!!9~k-Avwy6$RHSjh?FO?DYkL>v zkzRkwrH<;IrOUU|H-b$PbU*~0&tN47KHYDaIiR7jnFE-6>*{a<44(sWY8Z^r0z%s2 zz5ub+j>6ftn9p?PtS&$ZMCz0rGSI!w)bgZh&1@i=a_%BB{j4oZr4#9bas!myz_2q4daydWIkHaF4ja7(ITlMbhTa;>Bs zxXBwYIyx0i=v39~BWWlZ6HFdlvt|w&6UB{*V z^Eo^?Oe^x*LIVGh65(GPY}Jx>nn$;~d!T?dCY?{HtzL$Yl?u%Km`nNAEx zbFC$B*w2q49ZQ-)j)bzW>U))2yF(lnBukps=v7nfCloE0;!AY1axgl$o0hgT=os=U zDzAcW^}Y^3qtZ^Sc&YaS3(nJ3H^hCCgc9~7qRWz1)FG+qDQ8sc9HV<7lT{y#4ZS7G zfO^9nc5d_E8wX@9=TY=q8(~txpZP0)#)B^zb#7O%@yI?qbSt{L%{6XUU(zQJ{J27l z{m>FK8Us!J_=@@g<>C=n`q{i= zlC%49DZwY#^|XvR+=gG4jDM~qQt&jMgKJ1@9Q zspMNv$H_6=>oI4n z)&K&=Boh$tGp}|sN3qO8?2ul9%yNNM=2NIJ&Cg4jHeNICJ3-ZRxe9rXWU^176UP=G zU|sB$d@nExx6iH0u+B!W0yUe*K&(c?vB2O^c_GN!HSu*qS7atIN2Qv?Cu=f-fBa9b z;qy>$foy3IT~0ff3T@rpuST&wZaaQ-2g=EmPy`rJNp!B1;-#4v;R;U5wD@z{i7}9F z8+g)Pxz_euD5z0>QPk0-yJmxyPpXu*6#6lL)E4bCguL)YE3X3LVcyYPJ*$7XFayrf zUU*H{O}{8?#griVB?WB=od~%Z>ayApI`Pt%no7!IAp)V{y$I11c2-S?-Kae2l|$tV zq94$(ER3$V^OW;;U(BPg)mq)V*~VtDo*cW&%>9UZ$Lnv6tI}gDyetBjpG}%jC_SC# zaNEN(njdMM;J}rz_}Si*?82K)5O8iVmA0&BOM(~0;hodnZl*6Zs(J#bAb*-ss4ZNK zI@dxa>-J`Q+;a^@97<_Tgr7KZ%Zn?I<(sArk)_<+xcTK7Y)UzM0w2F#IY`&0d+;XDq=84tL{ zwSH9yMzmBjR`F)95fT-nhQK!;( z`k*K^f|7v<(R?rI*1i0k?&IeNi=4W-?~k(?=`Q40wd@~PdTXTSy@+~$hgz@Fd-k?E zrYoN1KzCrOD*#9*Iv_atcPu;~ zWYU%)_}x29&8r%v*R(HbgKCT3SX(b$_`)Uqmrjq9=RG4D+X~W~qwLZRib^B$RYBks zD9z=uGAy%Btoq{bWlg@<(PVqNdnW2eGfXKiwL&-isqNV%!3B?<1V6%0QzKgADUpMW zwan^Fhekk%0bLRLlE7Y-?Yly%kQIAqPi>qYoz}(2`}eLO6uxgZktecN?5(Gm8v!i4 zzc`tj>2UudyOKY7CJ}ck*yU)AII|>ADHJbkc!#GdFlGvf8Z6WeROjsb-)kl{v7Puna()fq~xo- zAuD=l<|WWki9Rm9tO(6!lY&~yX1}|$($9yrZp+ISq3CDcxEJk&he2bEK+s+qNFQ9v zl=h*~r2lQz^JE!SRaKPsAM&AGYl$sm*0_QxuBR%>?L=tzmZsD~6D+Vnu0bQX+++DR zS>f{c;)4E@446ZPV4-&P$=O?!?dr+T%_Xa5YVZifrUT2%6={uu>Dyb*HGRR z-zQq1`AZ;6)y6Y6;Tkz_p8$CLZ*(hKy)MD?Lj_xXrgi+)*mP@PeCupH79L}M$SVp2j0 zOEc4APn2i$PTA%wDNu3V_#DukYE89iaJ^UV2T?k&D;u*94WTZayqRhZ^HC|qU*O%m z@7Gu&0|XUGWkD$Ycei%}jozhw+CgR}unEmg^cG$>9iG)9GDX$uYwHNHOo87zOtQSB zBwQBck*fOSWR}=uNo%pf*VslohiHN85Tyb)YSfMImYs&*&T>j5C((IxHoudf0cYT7 zU4xlKlLAatMgtLUxRF^k_sBG;y^H3-Y_kpcz)A4!QFwwDqunXo@{cF?vaZc4OrAH@ z?Ym1_|F$7mFB|XOds}i}$PP2Oz4}sal+I6HUvW(f0&}gAIWjs*=cAZV%~x0U4d2@v zLt$mt`z_&HrM8u2GrH5cEpY^tCWD~ft{dcyTI~!R#z*~tWl4U??hhV@SC8(%?Sl$6 z05DLV_%7qI)L`VMm>f0nYFV?9yp`n7qt|beCl?wu9X=(!#rV8Q>Nwd**3=nrFED#; z9h06>t9D^w>V}i&_EX1VWCFqBg)8QyTfs*gZb`RM$f67!O8c1{>{IgFIJ%4xgEvAsU z%f(=q)U&QvT-m#A1bA^{&Uu{@`_%e0?^a@NM49Y`CHLwiPwO0?mVDy{zfS-EqWAVA)V#mt|GGz&6zXBXM0;Mr9K;r8F7=5r%0B2Q|0al{`TMw)_<_E zya*`+Mf7DLxrfSSLEEkTtqA9{#G#-7Pf1P=?}4l* zie2s2lsF!!yKR}k2sls%yx0*asQBj|Iy^y;r`FEJ-j|W(`i0MI?>c00YGVR>5|;{$ zas!Y83#Xd`OtoNtf&?(S53ZHw#QC6U0cysN6cudkQx(I{NVP7*qcFPK=b>!KrQGVl ziSBYpxRcDCKXP+bF;Y88v-Pma=Rq8oY5WdQE`to?4U!9(rG|CD^c?5K_tJ->P~9F+ z263`#HKJrqdt#P&c0%Mq-{i_S1MrPXi5TMPO-)ZmQJFVlW+{u8CxtrG5=5>DTO)rh zqRQH7$L@|PB-d*wuB10c^Pw$RsRREO&4RN^;{+{%s8?gsV%e`ckz%KavE6jKo}Htx z_^Q(d3)9%@HdqS4UII*X^E~jvEKAlGi)CmXK_VNc`PbyjeO5~sstrB#@ydWxwSj$^?z#s2V)8k&qw52p>(7zic{?=BfwFtY&dM*U@xnj9wz7pU{u{D7CC&7RzUE(L zD@hsKQP#H<;S62Sep^(rHjaM5)#MUT%Zyv~z6Tu!l$7B@?rOtROY8&>un9($pdu#O zXvO^T>UIPuw!Mg&dTVo+&Fl~4A@8YlDX782ktE$`E~dPwOWIS8XW&G$V~ogV|6EMz z1oOQFQ+*@;0jCWIgBJF~0-HD#!D8%+d>lVp{FKEAbaG}|V2G^u>LN%(G}_=duTcV< ze5nyM0~YU=zIl(}s&$|4iS!$nGnkw;0fJe(o8}czN*ix|$UTXhHg}vjGha?m>q98Z zc`Vp1;%!qbnEG4DgF>6~l1aVL*6tZRQ*O4zr6=Ob&i0K`-c#5URU0|*rhB0RHC2?= zT)$Cw9C7K&F3pozwIBT@L@Ork0VqR%jx(CCN;f2v^kH(uJ{QBM@Q_iGFX$}>`4zp| zS=$0?v>h}>nW-Fl4FVqQ#mL>9M1|{wJcXW13VnnDIC?8S=cI>b-+YZ3ahQGY{8LA? z9|AW|X8Ka_B=xh^rcVOu17`kmdzy6nm4_h=^w6>2h->6hT9)#hw=S^wTKIx>aR}nvAnk@FS*}R`3cf!G#$1HyJp-n;6>{*R242A%IGYeHDdXiHVfcBD#sbqyPiNn2asBzb;; z%-kpu-3-}~DgiP0x$9S;$b^1WURhuYxwJ8MJ?z|hyH^PdE0W49`O@3oP+`{ffuhf4 z)-qYdyl9N~$%v|;r67rt$zsl5yeUS`Bej$x-?<@1Y?V_ZGIPO@L2v*mKLK(l6p>qU zxHx~#{vt2h!O!m#DLpC`pc3!HSV4fPpvqiQv2c_M#4bM~1AP2HVK(;oLd9lvy$s~lb zKQcIHDjNwBRe#Rv9CDEj#0n^y>TU|oztvLJM!O#V^7dDZ9$hk}^G?E{z{&j25kIpv zG;J463B=XwY}dT)PD@p7jsjAyEbKXOyo%^AU%#WW;j_G? z*NE^?B&J;a*Ko04JE+5x^1`H7ejU0LEU5h&ND?I3iuA=5rAV>zQ(CF{!ADS06OX0X zQRg{wxjD?-ZI~UY=62ojHoB{&+k&cGB5MzEmd&!bWQ!;g&Z)%^eF`{IQLI*g7%dt9 z{2Ml{%qf zDYiw0FJ2hAy~uDCH4#|NW!KJU$ll>yi=)7z=-81w!5tMm1ZU;;;OD~e6-eBXe{2dY zh^Z4-X;v)STRB;lT}Z5;Z%9Bc5vTtw>Nl9%6;~MbY42thF5LufC`+;g$~+XmJ?*Af zl}8%={WD2$NVn3E`jMx?e-z9`3Vk1!ImgqZKDvsXS`CVXl2S5;8R2l)pv&gGiYA zUX?yIGG9K%unv#@v$*OIq#Gh#AC-F5d#xqrK_GALQ<3#{xXRp^NLWb5HO0}{OtS6Y zvQaf5%fA*A<^;r>ytD`BrA{&GrTnd37MHlv)fUP6mec{4XiHCrXO(t-ZSqg*(mmaQ zQLDqTfvH#^q3cC5*(0YCHWdMF3Blmtw)g1i#l2QOLM5{z}JcF<~kYn z0>?PgX{CVu2)Y}r4WA{&80Y0h~LVyn;v;4P9NVONeLWhL=-_7Q414JkAoNp1bh=Pjf8uF_7 zUe0Eu_|EtkWXX{)yLc9YiEPaR?$4q0*Xc+)%w0ibn>7;3I61@X@JBebTo6;?+bMZB?FLiG_}@Os zhVx>}RhfQ`o=Z5|Sl6dBJKI5>!6lQ!BPn8dXOpINQWtHxSG*ANGD%qyxm1Y$jDsI- zL4*WcyuH2~`c?=X)2OYZKK%RCTG&f<7|K*4R`&I5*h=*;dzKqIemq^Krj?iELP)2@ z4XqfQQue&;Wi?Ghb6V|m8-}&es3b&M%*j|%AWTPc=AUNl*nJqAhs+sJ5~R!;8OM}*BW@_iY4cJa~`vT~#Hp<`De14TUli(h?i=-);edXCqTh_=HF z_Ibyc^oA&F0Gq|zj2v;oC|L1tg-8gCrdv`u9OW)3DRM-v099WzpAH!9!3Y&%MSK9z z(=x@G=j8HMD0veGbd~HfL`Hh7)Iau?}C^PRdMujThveNCr!$$ap7&v8FYizo_uoawH?5R z%sx|Z{^WgAutlE>j=CEpS2i)Uh7Zt23OBJN{lk_lp+`SQ30WyBUEFb8)ht6_QMXsd z29*j%90PHD^A5yu1?rF^RoWR{N{&vO_(0@Dj5T!l(7N`KuwmwLCMk9oeqw&JWO6-K zag~cEG(kU}MGyU^%aoiWkv+Dn734*rT#O6dBQ{@-<)rzLitRmFYx&t6KX8ZUJ{No* zL5@&p;VguJS&i@pMPJ-f)}ghowG>JjL>%F+6ViRjFQ`Kui76TF-j@+Fn_J~|YI9$_ zSa(pkzs_ZMzCgf<6Zs39rn)=D4;2Ob>iI*lU8nYlby`UXr`$Ke8*1On=|d!ss-?rf za4y*{M$Ei|N;(^237ayR6yWEcmk;rp`@8SteXqWp86iROLZr|z-;&qzHmN0_iR-8^ z8r_VbIQ-Q3XZFYMT5fv0a3;2^{bt&O>5g&ySGh7-0xT5ru90tp$(aub$%x-{3uM%U z?n_iPkzgPq4q0ez(JbZXCuTalQ#@b=TxfGiP#3N+_9wMMO{V*akK#|Vcf_gd zMlHKPHe1s(w3h$|-v!8{foE{Y~av zb?^4Vo{T#a2a38Fq_mq0m?}S3Ey*VIFGmpeUvJys2RuCsIT;tLdPvqV-(CNv?p{U2 z&=<4p+!q~BZi0MTgVZjBKWrA=T(gRr+l=KltNg}Nq?!#@IEKg~x=#u(3|d>{BWFdUnc2^{4Ab!X%<$aI78x}wnNh4HD* zIuiUHMWb2acMtBNj)z?yNer;)y4p7lnh}w+VMlKd*uC;H>TT)CR?1JJOn9<6p;b$+q40_l7BF8> zCb@yO5CqY;iymE=2JQx^GNxUR+eRXhN)m&Ct|ReZhxJ6RBPXqwzrgJJQn~++PoKN7 zi(C>W@i!wzBPP8Y1Oz)vVdNiAZ0lJa7)V5NuVZ{Uu2ySmb*juUCCUVs60 zvNy6HWogG!DTO7G#K*zrV$w^JQT^kDQ&USEa@NP+vGWOp@S7w8 z*eNTT25S+7%gL?DjdBGRfOl022c^^xgp$}Pe$Y>$tY~% zNWlBq(m< zaep;8#_y8R9hSy~Jg$IbP{s)tN>7%g4W2CwDWS2lglTwb9uqg5+yvw8+*;rBj?5(L z)_*psmBX)kBJA?DM~PPhU@cjoJdHBI2hz- zePV`bpEZu(88U_iE-f3Yxu5|iaS&Ft?sJE>bLRx{4)4dUsguXe$up@Vm<`K`-{Z^r zci8kJb9wLY{KtIDiEX-q<%mqG1+?#xztMw{hpV$~_7L=%J{|zKwTX$D%Gm9I zNC181=8g8%TFSWBW|j71kZU*QyXh4Cb#op=N)m;Q_%o7z59wPDEntr4n0CssarkP6 z5CDjCt`>W%eSgTVlv{9ldcyjWf9@{{Lcls5oDludZ_}mz$N^e}lSygq0evI)W*OB5 zZQKc~okiapZ@U4nqX1_$%DRjUM*W?y&(r+IOE}k`3MLOVpqAigpwpwXBM|!Xb#=*a zW&wkX4H}i`5G~QFXEq53e?_j??Nk{cup1!JgTQeC+&wS6DZ07H^yG1#!rW&E%Bji_wo;4U9|L>ek-oB?ABCYVgdm4i=6i>>U3iBuI1x*d%yZ zcqDnmc)7(SMWwjdIV4#n#U!M}#aOu|xj3X)g-HHiOCkvuuR$kLunLa2aVA(QH=O$z zhiZ|G3JZ8t9awN3M^^8%8Foujje=w#I^3;GM3aWTTJ$$YzI&X!=Yu625F*Mw4oiV} v=-LZW=5Q`!!^2h5m-;=mL7D(?@KBAPLW7i_*vdr&&%?cD!4-H`&UiFT2v$&H9uy5wtR)}2!G+j4T|H9^3dbsA zKKo9B6t_<1taH#H5`?`9)!ESe`IL}gGmh_>@d(C8R4vg-EvSMiFy+HK)zO`&n=KNQ zMsj4B7C@6(dOU7$L?&G0xQR`B_5Y1Rk zhAk5>xpo4+2H-jh(WC$3w&Z*K0{x8G|Dy)sfyQiH{TR z#F=8VQ-q=8-XW_L^x4WlVRo1Y(T2yQ$AYm?kVF;ZnxH82WC{+79HG{U5cj^x`GqMx zW4%J;d!zR1 zn{##z2oe`lA$vJ1!ZlRN5%-ozA#IOhOuXa;yh&>i`t{>VWZraSofYqM4rHv^-4s5e zo+qpG?SyPt2nUf_$alR^PoS{^Hh&Vei=`SJ97I_nG%j%`jlr(s`a6}ZVB^8H$Lya3~n?>D7h_!Z;> zq&NiBLQX|h6P`Vr{gV2ZE53k{@t{?HeE%=a6}Np?j(oT(ck6gwiS+`EEjBIZqAU0O zpG(j82tvann>9kEYb1q4PSp1N39N+_NbmmmE2Y}q6>y8LVz)kmT)2EYa-9{GSWiP|$eesJ0HJ@0&z!5NCB4J z5~-#F?5QN$d_9rSBBB0Vqpdx^m_3DM=xymWGn}4(Pia(aI%^~J$-UCCe2LQr+K>5j zqNSv2At!oi1C_EOl0>$X6eK95ZQ}~AXhp|vX^7669!fS(BssL%JA(J$7zprK<}Mu? zB#^Av2)!n)`C0@LsSjigifX?;yI})7QO%E?D?QLl%{ZPdM6?5j9?pJj zYP{BX%m4HPTfH(l(CPey;hL7fa)&pyGjVotGBvXOUu6Hw3Z9K4(HM%9fD6RN0naRF zYG>|Z!A`>Rf02Y6#LE7kbua))w)0$bfh74HEgaHJo3$?P(#$nIeRVxobBy5}($doO zNC_%)o0KHQ=(2Q-j2#uv7~9T5+i%nDZ|fh~%OLh)R`%hE!LdKqJ>>S+W(dk|L4_Xv z9q&+o|H8w<;(l`tq7PI?h4W{FfS+-@hkyn1-$Q>7MDG(l3F28p0Sg2Q;%FMG>3e3D z2_e8B{EWd|(ClJhYv|Xic8;zh{dsxwKcT>Sq``2JZ-U#s*ZT6Lslx?&){%B0Y92oT z|Aig5jt#JHH5H5yR@bn*&=#Zj1@Q+)EIq^&6ky;YqNw_)-djRY4lsWNpke|8jVx@u z{rUPP3Bg11dSDH}#x4Q-mJ={?eMo)(h?v@huBMcPCQ@O8(HgdaGKh4?HU=`Y%heA})HWTtNa1PcKlQ-VVO#v+VQ@~3+e)!zV&hN9<5B^_OrkB&z|myk&I5pNUxPG*_*%dRzS<-aJ`^#u zXS&bOcMiWg6|yYgYdY}>ju2|Xcu;RF+w*7oznW-@A$13fc2eEmnr@vhvbZq50vPykJDAt| zRPYG3P~cVg!Zn|UkJ=v+H#Fx!=vmUi8x{gOM9gI~Zbm4xAMya_D-)@+z>UcP799>1 z{F7B=rtquz`waR=nLkRA`Ck)~>Braykx+i%@F6vm2^U`K!_)iri|>lqz8(;;4wxN3 zfn+(BIz|!aE9m~>|M?lM0cUq?h7!V8FpSz60~iK>bTfU1Ktr_t1AF&`f)WSghX^D) zX$pr29~gXr{K6QU!Uzzie>Lx#IsCX^1&_F*fZBtsCD%%GuJ`^c>-NZX*1;0c9|^AP zyl!5BA6iT*R{w4paxLHay5#7XIC|epikRH1d`9<^y51ea-h)f9k`vL0fbt483}Jg! z7?}Ozf@!3 zYIgBx#@MLOo>4J5SK}3sH*=oHO@xn-+d470uZ`g4u!u;cN76e@yk1S|^jlbcfk|q< zGyJqZ%9inB7lAf`jly@ZZl%Ya`+g992)J`@I$w3#_)h$mDV91g$aQSST9sY5l~Qx5 zbQ5jZKZQkt!t8iglJZxY*B1ia`8g3wb@~?86=kx$CpbW%Ju#N3^g*8kl`bY9hm#W0 z$r_n1KT)vcx@>vfI6?5u{=RKqJnEG|Vt#NTSZ%yZe>#tJ3GsYV*B?Xs6Jof078rD# zL?xs}7D$bGQNxO-MRD^hmqWawl${Z|we$7;nW4}c3;C>rt6n~7yq9Q0$}JCR4x^bA z^VM-P>z(b)oy-+$1RF%&$KkBc$;}00h}&0l6LO~%Zr^bY5kvcN-#ad0v==sMA>lD9bt5fq3;PRqHw?M7&! zG{#?{7iIHPl*U*d2Taz zn#s@N>t{=9mS}&7UPLBX0xB==ag~T>WyWgWo@ZSS_2YtOj%UC4)2lRFJhsFL`bm=} z66q64_MX<5eYX(d%)Z^H(H&f89Mgiy>}t%3=N+vrUR%9QNBbS>x8KvJ`qpgL8Lcm(a6)yZ}-P9-k!mb;^m0jSzU}URsKbdHI|~X zI09U2x*(Os^)r%6z)Lq_Ym4iAv_c)x6K-pT+E&Zk9-1fRaOsYd#>@-@7lkVNCtRtC zNy|c1V#2g#c!q!x%W?s#c7f?C!!Jix0SI0-rk@L2mP6^$98A8A^=7JUy;^78XG z=t47Vm#Q*kU%Iy9csqL4_?=?t6m|m(z8;q3$htb9M^E!1up%1<;1A1Pl(9DKZ&RNy zZ}^a8;wh!1nP&?(EXOu|2vDRHI`Ku-$%CMD59l^IwXp@-@bv$C^ z>Ms4=Il)^UpqK3EEsy;mLSn(z5rg^_mi`nxkP>HoMp3Oyw^htW+B=T&|{z7=d4z&OcvNOV4yy_{D`&wM%+ z&x@ZNWOD?wSG!V8-FK2k`LRj&8rf!5RM?<)^wgmEK5)hwzS#P}T%4tX94WC~<3Q|H z`T={fQSj`NEH{zShtqvdb`mVWkt^Kc%`7GimHEEm7&<9irz^=Nll=0VFtq+Ouh_y4 z$T--jc1JL5hMD#L$!x|G@yO7?+-9FZG|W=N+8!zuWBrUgj>j|jb1Q*~Puz{6N{}Ri zRQ(NHI_E;;i$pu-0M5NoB@z!pXh7ESO8Y z%W)5(nW{!e-QzABA`YXr)G)y_EbJ^5AnqgJxRYRg6Reyvy3&m5(9jd(3~8VUZk3Xc z&{yKI>&S@JZbWpe4yiRKchu}IyNt}>kt{DL4oUI~m5ee$FJoBa#h<_nVu$F^cZGW{ zvxc0Ma$gy!(K)6f=*o9!Y=s><_cL=1S+SewSbTpug5Bz~CbR^x{zY&)=o@(kCe5)* z4h7Fxw&Z)mA0NF>l;k3bF+*!<5+7v0U=^cQyUc<*XXdA>zp?+gy=VK>*h`|lE(9GE zev<63CY6}R&-82Bpm60WE0fZWDqzbZM!Kd{4Vu*^c{}tHAb@WVMTD;*2Qa^_g6WVZF$ z4(Qsw9>0qJ=w=RK3H7!uixllXTnS&F8bhRlD4cv?YnL!vGMB}C@&E7T5ZfoEMq3Hf z^2x5lMTvX=E>%61K)x7Qk@F`zHrukbKXTLsz2=_bE8OU9y!Q}0=j&<$BN$4vKMhLf zaz+q&`0iTaew6)<*wqevx|xdu##Zny1#zLW)Gx5-Rabkd5QjLvzbkaH6%e@)F=s7M zM=@$gXsJ%U6f_bujQtBZ8^3W^&3y-z)P;M=b0Uu%qIul~>^d7NcZM$%L5L(-Yl zO5RSAbPoMx7f?42Xn3;Ymoq?dEw3UsgCjsslaP$pT47<^2{{Qt#wtBwRIT+v1XEWp zm}iyUGdObs#ckOsCk_yuf%MAzd@1Ik_)3`8Ib$_VigSHG2DO(IXbxk$W~I06R$KS) zQs*BEOj7qd8)K+OlX!E{1*N1z<7Dno&HWv@8w(REQLd(ey#oZ9gH9D+UHhjF*7(SM z9jO3bR^#-aHi#8x-Z}y(F$AJY-_7SSwi$C36$1bwBW->Rs<57KEA~u;_o6;ogP%)^fY29(q)!QgsXfFWbMuT#-0eImQSV zr)9-GeCvupGHu_yeJVY59y=`G)@KnQ?N^)D?FxQO9CjF99~Q5bntf)je{=SWNZTME z8V{;n7EglA!#T4(6u!|`j`k^^^|Q!GIL8dl4LM2zpf%iTLCWzohm6*)T*Jee&h=;eX1cCU!E&G8Q+*=jFY>i89?? z9W3tX8}7KafT=Igpn8(~^Ru$Ut{(6yJI?B*N~h;td3#t?B!gfaj6mGpTuM4#Yq$^2VB z%s08p2oA6n!bfW*kyO96x8y|$a6Gv#v{VEL?ogyC2*eZuJ)u=CsKERSysOKI4i*swVu;XFb;na9h#wClSMr&k1&X4w8ceb2GUCErR_{C|N(zfi) z!1m=0ifO@(;i{9xR2=>Izh6EjIa-f9zJzgr)~jF6AY}Q@Da}yBN`8;40b7E|^ zN1~$>-|qRE8qx#fk({e5PBE8&Ty*wLE*-4((~VS-pIiTI70WOxxfC$GYNMAtMA14; z+ad!kHtzLx9XnE;M6$=>Vo)uV)PKu(G?(FtRroDf{AxJd948yT=Al%;_+aF%wRE8g zAvEp?X_3~jhHqN_+qSF{+3QaYaADgRJq^kvd{agNY?@MqVVK#d!&~wN1lTVxQmF21 zyN6@dfBhkel+?0gmA?{ymD@Zl{Q(62yY)PDxJe!f8d`xH(~3s9S+l_7Epy{ZbeSs| zoyxb)M{Dl2(o{kI8(xreV|vvhMu_cTuXAkb2qjbx0Zyj${9~SCpEp?+a5j*mnN^RP>e|^0ltiDx`?qEo79PgP_k=A!QC|quu_77oRu#8%KsK?XPQiJMa^bogurcLb! z`4lfn|7bD3!m;bDWr6EivS2Nk)iEA<*~oOb^1N`XqKKM@m@XGpw|_)R)oWy&$CVMPw2rYTk|}kld*;>?tJDud=dsh~-{W zM}FaP&S*q)q_{*-BMe?Fu-rB<<{G zkt>U6UHREe8q;Wv>C(3_*wnBxE!@d5lw~eH&581;KjnVF7ELS5bw_v{B)E{aaPsk) zjeJL*&0aNEklR=~dHvC~tqS>?(HUJxEaQ*t!$GWKaf!@kZmLC{JqGT+lgG17@+^ve zSq-vbc;tpu74Aj|S~4Sow_i8Z+oF5t&xBjgY*N|K*wuQ?5wUWfzJoa96LbD&4`F9) zYK!X0E(+H`Gx2V8hZ(_1!*vgEhu4-Q_(Vm&fL#agX&!&TN^=rz@c)%i%? z=ZxP`f3at;uX`TcKejB=n1r)-O@VZTk5Aq%M}EGo_(y7N!DaYFlv!mfMb~f1Tar+Z zhK?%hFeldNZr`vGn#-qh5-tg!STZ7EWhf}9lgt7Ey*23@De8Wva4P~Cofi)DZ%+EA zRzx)}liKJC-&Nu*6H^R`I(z7HJ!=Fbqiv1omzU6-rMo|)gp1^+g;F$)#v%KLTV)Q>NMf!yZu5~=Y4^|p5rr({bStvj+lZ|*>~q7@!dBi z`t=`pTkP1roEoBGLRH3$`3Ke5kymZ#$e=lw-fzK#}mz zQ>B_7QTgl^h;E|Xc`z@+0DjM0V4LmQ^nq~;_GegRD>sAAq}~1a!@Rl(ko+1da;N7@ z^oU7Fw%_QZ+WtNgZOcl?Gs8<}_tJP-S&E3=OzL3_bk2VuNGo%S_R1rbU-vD(+WbTX z6gL&p9BbHhN7jE+P>ZQ3&Lt40B~)-x+|(H%FmC7(6vJgL4K}9WH7UV+&+~MV*%hM= zHk*oBG8UQ$|I4~>=r3`f(`$UxT5Kj|7`3$S7z$t%mt_>KIIcHbYbO3R-q%on3)xt! ztr@+f7zS=zp4B*fw4?Qfl=U**tj8Pys5FLl9#~Oar{mU?VLv%2!pTVaye&kV(tWIv zWFL+Th&G+Sb)fS9(-=a(-QqX`mE9v2$y~4NQk9Ljj9J1{%6m9}f&x-6C(v$|#~JEF zvUj}q^N?ex8yi zG{k~x`wBgMwH_HJdT;DHRj=pZ>K<2N*>7I;`A~_mV07urszp8+EsSh^gDyT)apv1w!A@#u~z%;32Q=i6??8#CSUEEVryYvF7fj1czf#3yCqy0_n zXZgKm4_43oq9T2C%Ca`5Yp6MDpGVp3zx-fyknu4LpKmH^b-MYYi$xx67&prPZGJ9DWv1o3J5!@*+ZXs52^BbvwSoNRG zoVRWvELrmQd};Ui6O<>wxaXPN&exKRZr=dzyy01GB`um;+wLRR7e}ZM?YqiDtOU${V2;J zZ04kH&{EZ;sT3|mD~Xc}BK)OJA(+K2i&Nt)fxkYG)jsNTb5^y zPgf(X^yP4RUXQ~;N)64;l`7`)e2STNb7e?cPT4>{k(PSqTEuZ!ZA^!s?V(^e>mQsm zDQTG-oOHgA|9S=p*FcWbo$x5mhB#tXd#UYEWl_V|nPA)piG4Ycw3GTE(Vm0XDt%5k z|7O#`3zzjhQB*sSC2!ynTMT!`|FIb_r#1Q*843HdYvTT884VvK%fz~9B(A@NoUA^@ zEN677=bj$0eLsGVG)nkJ@H?ehG`zJkq)EAqZXM!wmKFep_6({oCQBo^=~~v09}*)e z20oIjtt1L$9>q_BTeP$g>eH5}r7oh>99)*AG{>&vybp*gJj%}41k&5D&(QkEuDVwh8GE5NNVL$G z&POkS1qXmC3Fh8BYe)r=_)p8`JC?_Xrl5WzD3S5TAc&wA9C# zw=Yo2{l0;E0z^c`UpbuXId6!=n!up9007q*s+10Q4t=1vb%%i2vor5ea@}_7sz3g_ zBXt``Czn!rr+1T)G4P|8yb6(`{mYbpiMwrd65JSCg8m_Ijh<@_ECN5Ru!Q!a!dxYi z)SA`#dUfNO9^0b}jLlaKZ~jEobMPg~_sv@0EZC$xTVWhY&v0@nwh_r!vl+OX+yeg7 zpzfqe7LID_aqJg`XY)MCOIx#IGMD>RBZ+`Lg6}d`I}9o zm%Ycz%Ngzjke*d5VD4u=)TIRbUzwa$?Jrgl6L-^>h*kqz7ZH=~uuqznv?(jy?nLWd z))P!EG=GNLg(F6jjlL|)Jr-PzSr^BYAm7A8ncc2CL>pIy)fNSU;)&3>SvgIDl~oeZ0Ow-5xEZl!{o9MP^z>XS6^2T0i2@m~pEkrAl;jbw=pK1*3!>*~zQ z9}F^_H$V`(AfuP-i8&ujA8Vv&a7SDzwmdgY%v=h(a+{ino`ilRpXA|c2!D+SOJq5- zExtUpPBdrLYCkMoP6J@-BaxW!2lMPXz$O1De}-_uavs7 zsHztA)CN!}4t-%oc%TS|%)Cuh|JMxVt>VEr5*N?TAOyI5_4qX9X!CMUY31VqRtnAt zyRY>!e*H9?%rKtDUsmniHv0=Eh?!(1&OFDfpIt7&wgiO=<^@Ns zP_Mj@uG-#4og}rhlhcFn6Eq36JRz#sYvqIS#Imgpi<`1srSmFpAvB^rzj^#McN%ii zRqMj+Ws|w&sbN8>+@nx`x#;c<>|bebC-81tel*tYK$efLtAF4h32m=xjyxc0NqorL*NbFv_Lkv5OGEOi2vg)%gxstWymK(Gv=Y_SkAhVt& z{k&Ud>1reGdJv>rSBJehK_c9DS|*mkurTNCO+jWk*Cak2&4>5z03;vYgi<07D{&$% z7dF7D2hXf(>19g7&I!+~Nut9_!bZaS-%iEe-i3snjf90n1)f>P&di>K{l5~-{~p9i zbog0WSa>Aa#KhUzc*G?+Svk2u65O0zAPG)xQFbv74jw_0|G(tFD{_flTpaqXXhBMt zV#>b3;CXkuaA^|5&74w3sOnLm4cs z30*NAnce>lPDr=F)U?8p6Em_@e=yDbieMl0`FZHNjHLS=Ss+n~n+To@1cIlelu(p} F{~tXY$G`vp diff --git a/figures/vertex_parallel.pdf b/figures/vertex_parallel.pdf index d754c9b92897972f5c93dc36127a6b4d53c7bc20..4915914bdc7059e75f9f8aa19b11ced943e59445 100644 GIT binary patch delta 13322 zcmaibQ*fXSv}Bx2Y}=gJwkEbcvCS`<*tRE_*tTukwtfG)`>^}AkEg2Ny1J{Yy3avA z=z0NY92o>RI}34QJOnlHS3}Moof*D!x_Sg981=&ESc*buPrY^zEDO^@m|j`o!#8U* z)!e+eRHcmIl815nseXSVumz2HOF>EjnVK!{&H_TaJOT4~{DGJf>|mIHKS_Evyqh%h z6bXa!_!o!NF@`oei}qiX?3S>yjEuwPG=Ydyw??#CYP6sx5ma3O(xmt3vOk7~wmj%L z$izDS$>LHCW=R4i8;o?$b$m!9e1>YD{aN=$hc30#a2%7HR2WZf0eOs2ktP5R%vYIa z#qbPDamrFKv$5Z_^|!qE-FBH?UYl6zZ(m;!ox)SXzcFK)M9Z}g$>Z{29Y2vO=UR^< z8My<~=9IgPoPTrxXr?nuijiW~Juk#rhF619f!V~7Rhq{((shB zOpz(C)+zV+zoY;4Ywu*A^6;*?O}F`*`_5;!@ay6XwJk zo*~ip*{)@nCB7BH+hY4TuR_~UJ ze2SaZ6TUs@RPb}X7jUC}I^6Wmc|?$8wJf2=3%8C&qfT45$oF5j$wxVpmX!>NpI{uj zWLszPg30fIKad&!(5bOeXOeo}n(uv9^-K;jq^byV&c(TPP9MJJz}oCuWJ3BF9B1v2`|G<@b( z&X8q=eERfY{7=i#_~oN`^#dp}S~;{&%`2fRgva!Jljy0dBg6+%nEe2b7zN_(yU1|q7!kJU1p5<2$A$4tQUexZY0*5-XH-xrf;RS3Q3wTmab8d4V`%d5G zXc1%08%#O)Lvx-$ z^D)av2ybilC?pm5gQ{ZtOQOz_qrzS42eZWw6bvTufDp6z?+_!V4v9-MrDJ0RLIiF= z6rg^Ck04>q*aTpq;)xsgSu9{e)L0;gQ^bR?C&0&*!c*)kk;uvUM>3H_s9=)@tcVa( z`~Yae^U*~p!6MQ^;J`&Jdf9rk+NY?(@OJtSgNSnt{o-=5wukW`ULAd2duKu!hfIYe z!b%~6#XuqH&`7{kAsM336hUxznF;6mKA2@b+~ILy;`5u3rLn1!4Z&RLK!w3bDAA-~ zwD86Lu&WrOJA`>84VV~#(rRkys=~wK7y^4WQV|0X|DBS@* zabV*tP{kLK|3L|nWnw^NrLj@Y560|5RX}p|WcRlX^NY)O-9t0&-JI102 z@C|t_Q~Yl8Qu+HU8I)Mes_Z8bU<1$Yh#=nv2Wu6Sx`zHiO-t{5i7Y38>;7 z;x$KJv651;NsJZ&XK`a@>Amlh4nnmO`$>usO)-|uGf5IfDSAF!+VHO<*u+|9ZrTH* zBq4aQFo*~ZU!p)bCFQ_f>ex7=GqYNgna$$W9d%fa-O^uBSvXc`u!{l=-T)Vd>($fO z7oP!#{p$Jv|ErrYMA8f%BVpif(wn#VH{HeM^ZE2M2t-vbzK?v#>?!;S3;<;HmDIlN zfQf|d&MJC1fTAeB91rGNl%*4!kz zCWUW87C$T%DmjKC(LA%h0ScU+=M(VHU&Kux&zGq6Gmg#_gmxZq?_F!6;!*G=l6reuY6U^x{Q1BR{x`c8g3p7pNT z+3W4OL^+)o`gfs>XYnzFzLjLzNY)P=e^oHpeR1HPe>a7gXVX|VX(Ux005^}r&F2@5 z_s?6iC+n7v?~iv{i%z@c;c~6b(?bjGKk+`B{*u^|LwX)6a=w9~Pfm5d{Ts?#;J=n+ zQ)w6MD|l6Em#(+81(c`$!UYaxz&JupyEr#U=4<4U zCc6*4xyq4mFe1JDI5Hd>y64_j?pGspc2~}gy4&BBk#ZSOFF&hP9z>pJk}647kLHZl z1B2j#<_W_J^v3-4tQWzg?5dBOZ#b*wwWj!VF#4VrlZ}YQMhVW3(8LIlsUzT_lQx zdZ~%v1r{%G^OZ2Pw-)YQd#)f?hmr@?-<*?|Kb#uR`lb#cP-IGuvZ_r@-lHeMurzsL zsx&=w-DmWg`KT3XzE0)!L0ykxB=1to>pHItw9S27fWxJ$SB@!lg$#h1JjH8S|9qR1 z%fk7zLq~izsCX-}51~LWn{J+scgj2V5xG#OGfF`LUUQ5LEjpzoN1&mziXy_A$mn+V zIp=NDt72`WvwqT^ymDm;TYjpwvr^OO%ddr{jRdeRDD9E&7tZ7Ns$WL*K%y6P9H z+K%5vHXe%gHy`Y|!k?@9{Go^(6MQxNo{pzLk;(aB{vAO@UVfaDtidIk!2yTduNJ_g zx1zTEcI-Fr`OHG3ZtdY&^n&#{b5H{ZXo(1CfgzUYJw5B`>fjCVlVFlX`d!P@$VNr@ zE-SS<&{xADC>H6jPrs6r$`ZDWi9X?}j5k}kbJ@;9yv+9|Tj!!m7M|YlOFZG~qgfyj z4i);q8xV~ZdhCqb(Y=moG*yYIE0vk4YM9S`_4eK~C&o8zvA;5T(lkvJt1bcm=;z$Y zQ!a2HD$7vSuKYN~{`N6WW!NF(y`%Z}L#wQ(=k8YJ``JVm>Elj{uK4Z^PIi1FGX)Z} zcVH)-fwDgRZzKzb{GEKKfow3QOuRa9%B^m-6fv4A_C239pJg3D!J^}?B8O(@vwU>+ zD0fI!-Uj}UlQkwNpRo#)pQrp|@i8$Hr%VEaHwhznHz%^=&&AU;c+f8kDzb(u84atYQk$HB<;SkY zoOKM>2{=)437U$|a;xbAdCR3_`uLu|cfgy08qjfwX0Vy|t~MO2#7I3XsIA%*LOEX`_(ra*Qt}}^U6m3pZ@81%eb0{3JVk34bbMx@|{5r#%=HD{e)bhR>eerixGh0V6@(Hq&RvL=mdG9Mk!ru_eJ$Rgi)8p=H zq3iON>lGBRW-g$J&o0v;LYZcrVj9eTZ^2AeNauq(udZg^@FmV)b5nS~_}Dk1A^3)B z6gU79*^oHES-Cj>H`Q^ma&r8a>SzErS4~ylWp)Y*VyTF*pajxQip{xAM5dk|hzWRv zIVq{sBsTCcmmsN7Hkdh*IaJuW+n6l{pXpDZYr*RYcIWK-b?@rN{34vMICP)?@{Y(M#zMO(6JF!KnjHRKqw%v^M1I4-+;di40u8g{DEM`GR6i3{qeE? zh#C3hgZL_#Bl{!W;DP5w`>&JvD@N%NUR{KPtn=o5L4f#6fgnRU{NZlb7VVLOj$`N{ zh;abZ^!^eQ`p1NKRRZEkynqYZ)CkQFX))qt5@$+++(Sf84gx9?h-^o!b0rAD#9PAv z69NWKf^DPY&kA-G1rnqv6ifwxKz`%>r0nt6iN(vSFe@!BFUv12Lz+=rm|s>)Ue-_r zIr&FhesXT)^FYue1%hf9>I6+H1cEM+PA~)YfVZ}^2nE@L&75k7t^MoEFsUCfaR7&p z%PYYq*U>PCSvgXm0d;`r!HjAM=!vhwR*m|d1P+r2?+#94s2JtHT_Xi(SW6;@fF^QD zki&vDy%K~EfEdw+Lga(EIY5LU!M~$L3PbhA5rfPSf`WYpyy$^MDM_ni5f4mHPBZom zQb8Fu?}F6aoA}`hO_!tzghe=f$WLy9LV$y0e;=45^e*5eZrd*aM4x|AUwOenHm+io zgk^V;c;+znA4AcC2EGBLpD6kQ0o$lHy?{9AN&vRH0LeryeKA#>;6VX?clg)3Y%qAx z1CifGcV?srh^?Xn1QI%o^B^1O9~y!^_rG5pjNSD+XkgRMsE{It8Q~=Lkir3J;R7R|>jyWtMs1;%(d@twfyBhU_mrBEn}h#~ z!El-t0z#61|0%s0T(LF2iio;YfLD|1v}3L^8W3}`PH3yL*(7_=`KN` z0V9S6GwASzC$j|_)>8^qTHv4N_N@Vd3>)I{#mEe}bAWv+^;Z3m6bgvz*7+ul`?G2S z6@jFJIC0Dfjt!JSJb|oQ1u1bLg76YUu#N!>6>5D@U-mi_TNf|>n;!*oxac)!JM zvkZyJQHdv>havi+zP8y6wI3uwV{41UtExbc1?N)dkKgD@x;GjE46)Cq=OdrD9lt#? zKF{^R!?Yxj{Bam50f8v8qxWgL$nII%KAW8;!!-Wi@Bs5UjM&Q8`Hq2wlam9IKPQ%8 zHC1P|LE^VcsW8cA{6=gAQ1eNG2>Mn!7k^$i`rO*OzZIOXSHgMPU2 z^VAA<4HiTnZo$?7r0$2YWOex!rc5Ues5mNvrob5=e#^47!8zXi`full!NZpTJpQnl zPQj|WQjMeXY^R>mP{;eu#ifxK@oNS<^S2q{*jyC&_~b8)InVO42h-`Gwz=Pi%?wrk zK(!i90heInm+A>XfzhT&m_Z5W0A4EO@Y;&zu66WpMj%VG3GZwHY;YC z1vc?O$3XbydX%5|oI-u-$6+Ff>0Ro$)*!QV-VEXk45d@75e4$~Z%R6uqt0XQWFjnL zIGJ0D+ruaooG@SO(CmW{1yNHTN0;CLH1J-+nQl*{79bk#gT5o5Fy|wl_nrm4*MN8iM+4Ui^WzUoe#_)5|%$#)6^aD0ng)tZ4&zp5(VJyX1WN?^dS6Z#7P?Y{Xb z9s3P3bQZzBSw*{=JM}MV19}P^b=Ia0a#^xg<-*M$xie@k0khG@ZHmbkF}HEsnV?Bc z+9vv&>tJ25mPonrr{vu%R+8>0Nb*S+qyK0fpT#b@dUdS86QJcxpv3j2oSWTruY}j% zTCr@>Yd`88`o3Vpe`9E?ROZL%P zp6h|T5?{VHdL#PZ<>?pk+l+C$!)Elk^(H9{(~_X|NuPPieUnCMNT7mm6)vslH}G1q2S{lBtnCDYTg6 z@{0G`1boZHt`$Xpq*V<8+HjVur|1T5^QC0v+H2R84z_sRc86WNCI$&=gDNF)DbhA8 zSc0ZBNog5ps@%VXx&Qt&w(7Ge7AE6z&-E;fTOEC&%H4eDzNfty(n&N589ZG#FhGxH zN`CvIM?GanpSW~3H69N&b*AkGaDc6}j#l+)30 z20B(Vd%0qX_+fK%l~sG~r0dEKk;Si=8N!@a?k{1W(%<858`J|0XUqt?VTZdmHEI&A zXk7WELSdEJel&E-p zi6|ul?9Ci_1!S-RC&e~3>fodOrH(H`P$u-xh?_w;ma7LqPwZ8fZkMhS3?+M4s7`ej zce!0}H>3qAOT^O+MIW}Xz9@ZbTQVJHlBX|FI#Fh=cnF?F-qTG$+bSNvxzKp*1}$L-qo@3WBQn9E@!hLmX`4ttZ>wF_F68Q(F`%&*cJAj=Y6#~??tq; z?uHoca@i>wOV9i@9Y1B8SLN>;-h1(@+p^KdrO8qdS5Hymwvj-wu%;?!hQ^#O8R*-r z0FGB0Y_>-1)YU_=OtqNL{P(c914U?x;hVgN4-^jySCPJL_$2f~y z&c@N7Ox1OvN4UeFiD6aa>f1YsKx{%;kA7Ki*mb(Uee6jkPi(OrV%9Yy3tX<#6a=V1 zp7>pQ?w5nY>Z9$t&kk&I*d#U?I++uyL(h3`49Pl)^dZ(zAz$P7gcZ&0Rk}+DYHy=A^wq>jmt)}{yZ@%M>J^=VX#AQ zWq1{Xc1{X*QBSDPB6KYnn*frPfa9fRLD?|qVNzm#3|jD;AAQwN^a8ZLH9I7zL)|x| zUi8r0K~J*_T%iV|_OiBP)E&2HeTLt&kPWc;*+$10oW9YMAaa!bt}R&CWn|WDab7-F zGC(%55wUsoFTLh%hsJt`pzo99^pNO>TJ{}X#)NBn^m2-pk~Te+-r`WQLF56WW<#Qzvvsz(orEnEl;m|#&JM_jUSSrRvg{8r=`Yc;4XV#N}ohC9|R0;P{mw* z$ZogV)ks>cPysLDB{>430IpZQfQisp;RvReKM|ol5|vJU{1j0ji*<0G*OoL+-EZ&n zNuaZ6uT0*-myK@ovLn*%>hSKM@dQN6>QG z564NXnZV1EAuLQrY}hAZfW;wjC=;WEVtDtiX8OCE@WZU*bi|ic0^xEQ1D=U0k_GguXHHBGrXwSckzK~jy7Jy*-_gBw}obc>^ zdl?s5w9MWvq{np>&t~SWv>RqZ+zpBuBoLnt-%v&!sYr_3ZvDZZpZ7WEQ0|)xyYhtK zHy5(A6(_{iwO{D|q99MGBegM&QxvDV7M7hbZ|c$8&RC$jZASCy)Z_L}k? zyrK&8Bv}j{(fBY(60ixWM#l1AmVZFD64m}7C(3MsowWL?MifZ8BvftRKFN1+A~4Pn z=IP`mkK=qr$BmnW^`#WsB+I=^g*D%_LfopHAgDfY-z#i2GF+^A?HQjI1tzcP%9qH6 zU~y}gkn(}+3f8)=TvdH#7ai%AYziI*ad^6d^O|F3m)3$&0z{aN>VlP#rYFdh3ibxp z9dBUP!T&tp)FZ^szy6nS+@Ou5I9>b8%2v%-tC|>l25pGatf99=U)i6y^;)S`Z;USD z>4$~zDA^h#p+QjE)3!m50ef!)jNDka1*t^`;fI)Ib~Q$?$J~)shlX>> z$Tz}Mr}oKz?NgqFKyqo=rz$3d*cil4CdzfJOJ){mQ1Zt&ar0^)Hw%IX~& z2--SFnDiyYTGB+?B7=C%5|i(rXdS4twzKhQLWSL|kA4hg;-)J;!c&771Sj5eGJ=G3 zZ^4RTodOH`zaEm`KfsyR;*>KHbCjDflRZ!6!__xDB!Ek<;%S@oDelKpcFC&hN3@G5 zs*J)}dcEF!X1*iuC5rLAOB=f}x?_WZN{0>+w&~2yXV8p%DTt+YgVSq+#ct)sVteT{ zR140Wl*Tc=#Ev9{pG*TWb`zCGIoa%2L_a}UQr1Qd57*OT7TK)DP485m_BCRo5!cil z#63|3*Z}v;UvDTRSX0B%Jk!Kcf`u;f20~9xl9W(CA@wT#rof}U^#?3>8mcPvBqJu2 zW7PM3Y$%!a*xj&4=3X@Ee#DIUDe+^2P8>dd2vi1Ei|63I}7DMa%pfNKrh6RfjDCf57wCKo zog-*ZSwqn-s2aIZzaK`UTt=BrYJkLFiaJcAVh-*e6c~|erN6VpGC!A!lrfpH!>}0M zHv}Xo9N2GY7$DRuk9ho!toK2EzTHBP2>BMNF>x;=Q_!qsudH(n=Y^jQs_nDBw|%F&5hM5+JD-o{s52* zaE;D>_rO{oW`mS2#`Woet|oiZ*aUH|JQUF~PZAvR4;ZYVCE9s93)muJb8(mB9ja$R7x zH_9n0cFx$}B@g?8;?c&dAKD<1c0$|9t>0!d>TpaEns-YNCz{>>UpA?d+uU69>N_8Q zMoi_qp<=)lZwF^|BFIC;SL2~|_IW{zwg81R6^*xIcN5!hO!+UgTm9q8hfP@Fx+3P& z_a*FC%|@lalIvddwf3&o^bin2qKlQY)^@WGUD8+XL@`GT{l>TPz7EZn_8cEkI!t%> zMVbR^AhF^|o1|Ea5GNP78o zm3i+3UJ2af7^r%i$~5b*iS(F5sASaX6)s>J@yoXQt5xy0Vn-Z;vlnpveM$+guy!ne zI&@?<1?8pQloPL-UwcWHJRm|3wwGmgb}`m!uRSD|JJ%fz=OGZi`jn=u!cba)5^Jcs zSMpS~jNU$OFlO3-dXO06)Y5WwopfKLJvsU!6@uk#W)o+joS2>0zbre)Ig5vd#kC*@ zuTwu&`;)bsL~FzyEf%oMX^xsKXwk!}`p7aKxh%*{gfO!>E68Ouy9ghqBn#d@Q7u2W zsqnElrG~s5vC@Ik|epK)w2Nm#CAj zdf@PUu^O5kM3?ZPnL(}l78cCPd6xn|QyE(;v)){2_x(XpHwGMXUyw;`P^sE*>Hp={ zpiE9zE?imob9UEK{o*8#SqEfgSu=G4nW7hYps|^y>8#v-E!#%I5n)YwjFScAwjwIW z4^_ow*}b|4c&ZE;H41aTt&+~f1H`lplZXe=4|{jcg)QKhl2$b0-o$TfdUD!ikyHc9 znMHndxwd`TyW_0!$f^&wW-g&f`0|*#f0kklfG;uSYV#pvPOS-_Lg*VqwG%1in*h{ zz4u;C)C3T{HUEaVLq=bQ1@NKe`H8TF>ubIJdbThEF)9K{Kf3Y*)532vDO+nQ|*jp|mQBC(C*HwmA z6!7bB)(KH4+4fqM!XeH);^(^5dm1ksk7DEx){{qr^O=MW7!3#uYkA1Nf*N3T^V8VqA_-PtcPG62Y=_B ziD2Li5F_IIMqUq<*6CkV%)Zs@=YJ-C)=E=EHCTi}avphlo}zbTO$Rj+R|+;WI?ICb zbD*vTfpH0zzd!QCGp0}z+SR6rU+7*!mtokYasf^5Zv5YUVc87)sHrHUq-n^7fS^tv zUM$rCm$&l5ADn|8tTE@F8diVF6e5|ye%F&C$P|Mi1v^3bi+M)R1+=bEpU6Rl2FF*? z$+%FHOJj+atpP7g#4N9`m77tQd&5b zI3V8P1SKPx%P7O9m_3}vN=u(b&2m9)0Co?J`%}7Id?s_1i?pC7s6FgN4vfa&J(ste z)h!pXGGrEM|1x^JX1kOx1$?okm>2wFNL_nQ3?SE46o^vZ*6Y}m$|ZOF@p`~4DN?jG z{E3h`?kXwp>*%+c58b#3!|cc}h%iIJa6pzI>U>BdpI`&hMZIG5gD0OqFkQ*l=!?f1 zA9vx0&p;zt!iItvz8B*Un6M^eiC3z%v0br+Xm6s4%Bx4(cv;t|&x3ysbUTYX*GK}M z2NuG*?LTdr(eF@uB^yvq??L%@Mx(43)V~U1B?@&tKlJ|Nw*AQ2%BLiqx9d8`4jA}8 zgQLY2FUgarSQO|uw_%6TSBc56KD>7%i|y3my%H}keJ2(7lKv(7a2VT;pbpPMjaS!R zHXSw5{X;djP2?D>wna&9+oTc|LaFn2*h|_Ws_+S=ox%H_8B zM%R)T3~oWYi-T08_eCj&UaOB$Sa>@-UKs6zQ)kPB7f0q+1N0is$IL^2uM|8fyZdM< zp1Q^t`8;fn#g7MIx%g(^>Qr-YaVbUbU2M=J5v!47JATxbdqj!^-WNoh0&C3-o_(fh z>Xg+yq@*7WN%h8)^Dpc2pChcEuQG%wzV&$a2Q!IPJ)F(h&Ti~}T5jdMoXFf-1G;m$ zyX>~-;<5<0sT0-*acbSuwK{YNJ^T~OT(1^;U3^Itu8Fu~vyX79FrKtV(#~pYVFHL` zK5&rAAy9SFH#t2m>wxPs(3X2Gll&$yGqWkSLz>1>99SU*-kHjvnBGu`;UeI>#VH-3 z1jUp{_h%HJJ`Y@A5}hI-1bcZ7=Z7oL(p?ab8s}=(Xhpx}8SLN}Pi15&HWOpNzvujA z(Y{5U8xF6_WNPKuj@lk{i(`WptF$#2pDk&Wu}-rp5s8Z31)A^@V33uQPRV;M07?wr zTc<<8I$<(4$~9%4HPMm6Wuf2Lkkr;-42G^d=Dg7Qd2GQk51P50=dTMSMh;?XGP)<= zw_!Vo2_SZldU}atR(}Xbl6xFzkzJv-T|^4*a$FRc{mDMcN<6=BCWw?Ox_^h8Fz{-axz{HoR?Y%nTh4x~089A1^BwJBNw{ymV$XUZ>{$L-PFu$_2c2 zFR67;o?D|QD3;?3$qKd-mCgz&5yj$;?DzQ(6lTY`9CHiAqaFK+f0UJ;%-y^yT^Sef8y;hUmLVT?-IKpnkC^+s>un)*#sA z?*$W0VGabEMRkm^x>)q3V5cy;I!Dv4u%%pX)Lu?!7{??lX1$NDhyw#MPvhKTT%n+t zo|IsL6&3McWwck^YZG=Y!-w%+&%L1_H<@4H+`<}Rd5+{-iVm-52XA-cu&C zv%=N0^?l%fdI`aBtg1)1Ba3l%O5J2%z;5g zAaniD7a6;lxVC&zkn!TDSDc>eO|;?sV|ttFo>pY{YrGtSf?0laR6v4R*K(|V+!cv0Yx$A1 zA#j|pfR&?^32Mik!Vi6Zm`Hkpm^+UJ^BKAjtOe(K_k3tw;`0N))|_=uPw6e$pk4Om zGHjw{&U6^b8r4}8?v~6%Y}Hty>-C!tK%~ncit*Cwjs~t-xZVcJTRi61qF(;emsvcC z(%<^Kr(t)>1QSy?4jyS@O!jL9Ix9j=e|>k-I}hJP($_qoX>)GLW%};MUOqP#>`tpY zkB(EqjaGL9wr%6dE60Q3bl5QpXvAqEv^ti8?CCb`MP;$J9QqKi(h<<%xUx|-^$ zXD`b_&Uc%G*OeHKi|mtZ{S{(1;(4PK*<4_YYVuz}JzLe5_H#LjXj>zJG-tMR3Ou=a zTA27YQFigg8#NZgG&XU|tM6-Gi}oo(yKJEFBjl=Np$4+oznA6vHqkerlI8X(J68zJ zDO=UfmacVcb0%nq@7=mi;rhN1T5XP~jDB6C%vMcKt+?oOrmG&qfu_=^9+i-f|A|^B zS(^5`fIGJVy7jw{QIh|ADOS8PGUV_J>CA#C5t~^9w@YPfeH%5qAdsG{2A=`qNv5uYhiiK(5Gt6fR&+erLc{#O1Q+~ zA<@`5`nUCsVgG~VBk-^AmA_stC(7^R4icRqTg|qRjx{`bqcpwWm0Yl`Y^|FR?Ca1n zlj?*wojDcime}nX9$OS}YKTOIYxz=TuSD4Tnv1YzcBalQPG&~+q>Q9^Fw88>Y)owI z%!$8b{-48MrU#J=mhqRFow&qlHl5&y@ zOxh*CwU&yn^H?t03oD|Sv?Ugu6G@1Yl9i803@24iAdSH+b`Eb%307s678O~Ko1usT z`Vz^|u*iLtt-%A3W2BWyAX?c&iX;dts(nZw=m?;op$FOq2v+d;!T&^#V(gouwwr zBwPs1(jHjCG$exqO|!1=MJK3wXsHbfz!v3FUgd($Lae<4r zh_?~fIm#txMhphzO24obmj^Zm38V#Ja6ou_8!-{D~ka&J-4n{)bPbq9Qj%_D+I%Y2p6Y1dT{VEprz( z>lS{X3;7w<2K2hL=9r;czbF?*J#o-e+dy3m8&p?>p&%a8(!?GHzvE$zREe7Y1V+~{ zO6=FK&$kNS&%+mP8e*aH<&*z*G~}WKTsX-^$N80O0tiNs>_zS!{&>dco6f3;o!%n- zMnk4vM{~2zkV?i}{gcDE%4`0<aUEYPhW~ro}gYh%iKby)ry8WTn>*uGMrsUII zCOsqp6T*TZeDZmlAx~BJ6@{xcUNZM#2s;bA424y&@jeYYm6TG z7GPA1si2C7BMz9F(xKq5oQh+5pi}-ZWc~ajM{Fc1S%(>R75c0#d0R delta 13252 zcmai)Q*bT-mt|wyc5ZCjwr$(S7wg7$Zfx7OZQHiypPuQOew(*_s?PJSUA5L`0q{{i za6Bm(6C)E-Qi38SpjcDR0gnT&`?hwjUW{05iK7-c6QrB2VT}CRDv_J+0)*@NHtpl& z$}-6tZY@}EW|8z=RH>=i6Gi*W8Q9wzcmS)kPaJrLiq+Vs#}^$FMm95$KJQ-{7PraWg9m-xn(!1L^>wru0BYhMwRWkVKL2%q6c?&U zI$mX3(@6S1V^{jfqm(}+i>b8wOHiO2hHa-&2Hjr%XtsJJ7G!&g(&D2X;xwYyQp*7_ zg@0S<<|celqt-nIN7){!6MluR3t{4UG5kc9YQ%z-yzD^M<&=?yWk(H*A}74B<#e3k z5^twgdse+x0Uidp)&038~THS{1Eb z_EAm*r(&=;+z?XrDC7)N8>zL}0yqB$o(VOk%WkL1naqyJh^ZxIr z*IHL`OKyo{BP0~l%{<<9uES=q*%<{R=; z8{8Sb*^WIX1ftoxNBqW`&S9(GW&_yr*{e09&Dtw8H^pnL{AVga2RC<|sVEHq{>&$s z*@DlVK)mr`wb-|~wTFE7Uj4Jp>sslOm4VBqeVrSYJ;mHcPqGlw!$lPt)a}Dq)^%5N z#V?Hx;AKOHZ6ezSNg7DE!FSEtfK@q(Xg-?UBa?ymCkK39m8kZL6H4yyrPngFi z+vmcC*QeVb_rleSJ#)N)A0A%ao~LisJ1P3q2R-Tb+b}Ue@=B_dIp5Kw?w`^TlOS%z zmt_ACR0{-qkDXaa+vpf+0x$R0#+yQe-d%sXzO5BJbE4)rfI3h@JZQ2E=isUAZBIR>w8Y zNpW!!c!&hZ&y(@9_ZW-uAAQtNtA?c+0M-S}k?cZVJi#H?byZL@1CboSNf}XF+TziS zl>12bJV#?@i$(*~{9gZkOc^~Rs47Gz(%e*|rren-FA*M2&ejWcj@o1abRSAgZHb9I ze-`%GdBnVQ%OJcdOXMVuur)QwRBCx?vzhBBhf!cY3o!90P{GS=4P$0+>f-901P8`| z%fZG8!ys#BZ{cdmLd5vrk%*a{lkLAcB1hGWSIrBzbUQP@LA}@9_@;RaK7aT|-_%1% z<*4md7h#nz+XpHoB3&}VGP#U4KPCaAVm#4ojyZ)==4pZz-AZWj;b+U-i{+N^_Vjye zwmon6op1K>n}70^YlCKs7ryGv6KG;YtOz)1Bz}3Ng;+6U$T5LVxS$d^t1kc+Kme^7 zVAYb@uQ|;c0?Bd)S;eF*E4-`N7lR-Ij4Epa!~udx7O!a8+CNwTP0JXO3P$BRNPnqL=SrRgLp$OwaNcu*$^NbK`mOfZH5 zw+CWvsOAk|`a5ErfyFot6eSOzfgt5N370qz4wDXgxn2Ghd>?k3AdihPDlg9e2G zP3;@ymjH$V(aIRPn}wMHh*A=B6w9N2FHVNQB=p=B$|0taArVBPJ}HW#0f!3?tROGu zWag)x)25FE#2_1^cnX6`&&(ki)}@QnZeV7Hazfd<68-t31cHE?ct5WQMvaonBf=&7 zCz}9I4#*XAe4*6sh6rV^@9L2a?k+d6?B13)(q zspEG+-yevWenVl2x6j8Tp5SHqp~3fbN+cLWdLrSw-;Ouf=?$DXkWILBMi&!4}GR0)$26AE&` z_Rx*1SvI^^`2R4~cw)P#yZ4f|7O01)D!w0Zw=)tmpn&QhDA-zjg*5` z7$^|NC-jX_UnFy?t-TE!X6d->gK9j>#ogMHbM)PI6CWm5V#7v=lk&ZIQ*;w}e8djb zuN&xs^!OFa4T-KRufTY7u_l!=_l~|<-e2? z4+*2K7B(+E<=c!RUK%n_OdVt^RY?zWE7CZZ351H+8T4V-)=f2Ze>npeDKioJ#NJ0! zt<$V>0OjkUgeih02E9#60h!%cr-MP=E7aZy-Q|sjpOxsXt+yRt^GOfG%X#D=X)z;g zr=4(y?P6;*=_UJ+!>hCo@{8!NV@;~XKm^fT5gHb2&NAA_M;6q3IHa+`qDGrbD8E@HYtw((t~v327f z&|IG~@sL%slO-yC#S)R|o&((}(Rx6kd&z8|8b{six!h}em*L&9*P5BIFB5z+I}vA* z)9&`#sTt@R7xeg;Es{~G?vWFxMn^fLB>RSR&}N!S;BF!F_ATxON(wJ`S0T(X&Rfrz zUZ{v6s!??;W#i$Cr=d_)!2-{@ol#Z=(A(9$sLka0xukD5dTzNqc~LTQDT1@vWcRvW zb|_m*)6~0E6z`f@Rk~_O^WLbm%V}Z9Rl9M&r=-ldzN0=80;s%OjTV+m%P*}siO4%= z9%pmK`Np!skA2QGFgiD}y7bDiXefOHOZ7Jzr$SWSmx)sB^qjR{dvQ6~zf{KpzIzZa z^Qza-1k!5PzG5-kpN?;)uqqU5ue95jp3MmfmG%!)>veW>tH-3gsuO(OBeWG;Xnhj1 z>@d_0I@YSFjp!b_SLG&p5ThV5<*mFK4#cgd>C}FAMtkGWU;h}WbU%KZ(%I0utxL}4 zmJ1!#sV>LCH0s@i`VH!PxOC0{DAcOT%vMjvR7buRCtKP6s@UFZiD#Hse7q}3r9W|G zfm_J+pz2xum148vOF6+k>`t&55?KBKJ74W}Z2R8eve`iRK3H=JuYkYR#lwlYo;W(! zFA`AaVXwSi-{~mO?i|_DQ~91h)~E#!P9p7uKZ$RLw4%1q+BTHmA@1@DZQ@NG<;*{;v6c=i`RDgwsz*U zeQo_Y8uadW$XW1dDc#|%pFBn=HNW3VE~xuU&5-9JJV^E2@TzhkKz(%!ZiATYZd9_I zuyu!f>JdVH9cyLnKr^0lTdBm#@88d5HT5a#wY~Nin59BHD;sQ=J~3A^Z}b3rdQH|-6Ou;XZED2I_WpWMj@!n@u_Poc~8}(ORPZ3>G4j%0k78> zQYFbFv4Mxs_bemnSAU|$x7yi4rTmelnd7AIvS!h1aXi$t6}0(Ldye>b9QBqq=R_&n zHE#-g&HZ&_6f<8L;OAje)}gw*AFkb-?o+D1oW`&_sO{ReW|I1Ku^@Ju8xZTCa)*mP zPU>;qYBTaNGq$yJHd+)*f1`_SYU*_WDe^*Eh&E&!QJUCd1XHW_oUKM|Qq zuCahAppf~-dDY@_8zu6(qjR-Nkf~h1&O%H#D!YKgx1w1Iu*u#-wx#;ioXxH7h_l0r zZ*WFGJyqD+3Bk%IrvBV&N<;TL7ei!Bz_`5eU*L4@caa`e{!2)?ItN4aTr@#Cb`3_g@#=OFH2Z+*!2Kt8>{kdpW(eWRd?VC|cvM6ol51OY9)gg8@KrTU?K}M8NP*Ef9V4g&K1W-^|;KFaf0L8oB{Q}VFcer<; zijF@M5ZoIR+~Po>W+J4ZZepZn3_3L10At@|1)~AaH{DDO`bgeZBek z-FS*XO~`(iF(qQBh(hgO91w(kSkNazq+H%!g2V^_Y3Kk_pjf0LP_)=5;lcv8Lft+f zwKfhcU>6D4H~7C#fCdlnLhQN7La_oQr10GYNmir|XGunwJur!X??iP1^_HfLaL^C| z*~o@>gb};og1Bl&@IWL%zCl68U4qa+rJ$GrDoEdp5byW@K8ff@o_W{^F&W{29^R7j z_|Wt$T>X2Me*K=(q>palfE-H&#L4xF1UxPzz#!BcV78rm3K}8)?GkJI43Ieo|1Fb7l-GCbb|9=0fVaZ|EOgvWsd_jrSvHgn<>>Mum{gam7 z%aaxKTei0pNV+97*Q@hO5+BZ02niEG5Bc$!1{|ac2z(2|e zU<82)41C^`9Lt;D2ZxdTnhw)fg5!%o)>rwO?{oU zpn&Q~G^}G-3p8|xxw(_P?qBXq&l`r$-hqp_*tGZQuItQXW`+Gb`6YJC#;zcZD_8jO z!KC^LQBGr~M|%PG*K-w9gXEpu}2%{~B*kRW2JvK(j=hd|)Nedm#p% z_lU}|s#23yLAEqC=H!2meQ~9Ysx#{c8m$F`iqp)mhvq45o`J{6$7Zx@^ zLI3F3t^qn;n<*IFNahJH0?8(7pHLQ+8EWAwRlmJ5s}sfZ9xOwEo6uvLQ+YZ%E3G{O z(2Owd&GijdxxRe69HVo(DYQxAe0BHIa9LA_I!jahenBT9q<^*ir8~3X-M*#rsN6Us|?SAITue0=i-bqdD-5XmM&rg!tA)Y z{-%I`L{w z`OyrLZ=u?ECy$8 zb3;b)Qq!?_tNBwYllGdhqb1*C7njbfYUb&{RV6E4X4ooez4;W{Y-ED#R=NzhOMXnnB)YQej+ap3s0u z8L=;j!pO1FbY4Izjc|Ca5`avU7;uy67f9L zQngi*`*KgWH$xK@mW>+%%9NmISQDrFEJ$;@0B7P(`w0&HPCB?8-|siWF&hztu|l&y zwAjU)Rh!J;maOKcKr3mHygG(zJtMO*3tFj2i_q60-r?>Rm${WqiWWtcFta#CiUXU) zFEtvQC;;Y1Vgv-%Lh*MW?T8ZL3XigSJmKdZeM~FB;(6-VO^cL)es{sH z&RLqtLr3-Oh|1|h7tW7&aTOj&QqK`FZo<-(Z0m)Qas!nd6RZn_j2+Crm-b2wiaJN5 z$-l)-uS%S$KUd?HNeyY6mF~3?>C_;x27jM3p?WV|%nm4nj#+Pd-jwpJg}oVQTFmGN zk~GVwBA2VD+aiJh@_ui;EQQsVB7g?75yQk=rMLw!L@Ri>Po{8jVE-%r#RASW7Doxr zsS7Hm-%@MFDL*ZNvWaE~1{imJn(9dKYekvbrF+6A{oB27J|_-gSJlfyS!{1PW;y zhb$bH87(JstL@U|=>gP1&65cH*rJ}R;Ms=LXOJY!+CO2KEHScO>}Xc9jSI5GzVIl) z%qjONz3k-xo<2L}El5yCX|!*xxz118S<_NkklH|Ma76Dg-7NIa#nK}Aahb6QbL65% zaZeUt-4gU((;Ky+NO0E)|LC+Smbe|Bp9PfB5z!8=+ODSz_jeST%h0d)79<*(%1~qo z@|bVoUuUGpMrcGtZG8_pgEfxVhYcUI8e4`Y8-A5wdaNABaLu*E->-B-)9R_Q;i*0t}R`eLhu%RA1p9q4y=lxHMB?TAZ?Z>j>7 z5X?vs0XRf|Rr0+d2;30iW0ts~PEt~~CeiIf#{W4dH>Wu;v18xOb{L$-=y2<-6zw3x z1?q_cZe5Dmy<;hKTMrc*nx*k&PKXq+Nz0(JU>F@C>9m%3&#V(+`3QCK* zwYkN0+^h{wmkhr6AnGAn`;Sf1mI{^YNz`*m^Pai`TI9SLJj#czn0TRmIfyZBx#l^sk?la?c<@fmfeKdOcS4-3U5_7~@}>r$xM#UJY2nE1Vk zgu~2rjcwr)h?lPLW7r)-TDyt#oMNpr)$ypqi50iN%Hlk%J(7wE4a!Es^3=8=>=DfD znHu~M;J1Ylh&ZT-TGiQ2dT4IA4Sc#4yTTWRe|6sm?V#~y(WX79fZ7v2qe`^WyHq&< zKTtBEvog|LuU2kx4?RXlt!LQfG$j1EO<7Am_etcFGLyfY=$&7CYpp7H^k#l+`K?sjFv5##i+%gk&CPxzsQgK~_zpQN39 zYyN%*IV-O7OjQ}P>>J*uf(rc^xP^Uy+5owb)YG`RB$mxMPl_El4?baje}HFbgPoF zPpqrAW$1EMZU#e~tHHi;s7Y+J!P5}x(4^_zxbWC*X-fDmckg?If1n;ugdIx&^)ikS zHE`dSPFiVA31I_6{>yxAaiv}Ob-cgnRrP#Z@>|y$v#PC{>o>lPDs8VNVOU2#H8~;Q zMY0AYcNwAn>fvWY8$&i?{)TUReNPN2;D^?sOLoWAV1Ej}hZ^gnQ790MY0U*AZBTbp z5hodA@xBpb+%VS=9fFM1G= z&=tN^Qo=LhvI^E=4I24tqqS*Ef^j6=B&StLj)(Is@+lojNbU4+w1HU z4XJ{ZmB1!9IMEl9H4v&!VWB)+1zH}4iDZbt{aB{E`bIvP1P9(B$ceRN$ichyu&>96 zu23oX_hGUE&lN;Ic66`e;<^;PksAZ9Ka%v44eNGvB7Y%F>`5N0_TcfA+eS6tPFn+s z!Lz;nxRI7Yy-`IBcUI>CN4G04F`8MsaZfj&D}Iw60BP6oPr>@oKxL}&gRSdT^&t$) z<&lKRj4f(Bk3O6=jVdG8D^f`^0tKTBQdtMGkvdv0_MU%`?aS;b4bXITg(xy?BhGHF z!*@}iOraW>>oeA}iDQQT*)%zSwd1Uam2nY}^ga6}M&@>lNYJDJAJJecq_<)>m9N|x z0zGLUpo52K&R3v}K>0E4U4`@NW`81765b@BrGwTEc<~)ui3TMo6X{H;_-HzK450C9OklrK1q%`$O3eM0wUZh4J)ZRnI;Q zXO;PX1Zulhlq%!^~bMtfxs*^|Bg+j~i^#X~)by zbXFb3!Dn9e+uBc`Ryy$>q~}aSGjm_jrs2BOOOILXGlOpzN$ukZ9NEZl{YNqQmzqVR zZ+2cd#!~J8=O$IUfh%{Y2R?_5(F`!-1QlVKsI%eX5E(lc=Y3Xm_)-UERqA(H;d?7 zsje6*U{>k#)vK+I>*m$4&cvMc!da66ch9Z+8)spFiOLWU_(C)`J2=A&ACsB%>3CSl zU8KL*p*}3*@!twu@?3@NrVKw_NbuFfm)O@LTsNcgoc$_@+g_-OM4NdM*k3%{^ zDsr||x*m{EnvlU?av48kbhG$xe#%~vgLwZr&J@8lfNS8km|D$|L@Bs`-cFP(GSRe? z3s61)f459N7e7TN6-0ZSps+v%yF)t#EfSG5&p2xu#}a>3nO5GTILo>10cuydw7r18 zX>D}+T4&{vE<(VOpvG1_X2g|h6U-9)s(k|whq42p*IDj437P_s0Mx;kotB2vXKb&R^I(A- zGE)V^*;4C#9b(mA+lzny?8gcUw2xIC-I@CD9 z_+8NMlfXoaHwu~SoQiMsH$d6MDEIIe?P`PNxvH*Tk{9hn%~Mnlhk$$RkX<%5LnsU& zlBKoc6{^%Uc5ywF_=50M>x9Y;Uw^&`y`s+J}X(e(l-w-$nOoqHNvtDxlBJHi3 zT=PuVT=2eVXl9Ujuoyb}J9Y)g66eg4bp* zyn#QZ!ExAs(88SZI!LcJ;7evo;~;LV%yh$x-p!#c5svOyc#brI(3^Dig|mM+U?Z#GPR2G8c#5ild!H9XupR!Q;lW*BM6-Gp(FtA1g{*fAl%Q_ zHy{hUM>&SgnGaDdv}ozJDWzTsRWLP0;pN7)DUFuccRypg5gshBjXjwy^Geq>toII5BZnr^_`qUQpZDW`+_!O zLDoqMIaXA+2h7C@jC}#ncd;NRe*#WP*FLF|eERfZ@HO&3fNHkqS0D7FC((7n)~Kpjw-ya!7FT^GrsECzvb$juZs0b2D=6BVC(}B^(78(ujxilt+D;^Y_1Q!I&2;B zB?xH9hVkN^Q1<`^^P8v*b;jv3bF$0E;AK&rTH{=*-g_YfWctBvNzP0UO!kHsJLMo} zrQpN<%Ad4(iDhiv)9S-f>scP2I1=P-Qp5Hru=A@g2!JZogGaBczDl8jT6kCAdEIlM z(yd7UevKYi>^)#Q?q{XVso(f+e+RN0$5JxcbR8h-%q2jDY(syV3|+n5CuIb)us0|L z4M%(+zC_%B<%AHg&LRo76^CWn_n!U*$tE6`KAvt&;B>!^x8WlxXGvHb zB}HX+`mu$NkYGoy%lD-3)4DqJP#FD#q}kc>WRjc?!IR`Dlo~OpXV9ViuEyM~`jIiH z|FAmOnbrnq-S;5FW?D_Zt9`HB`QAy)n2Jb^QwQPudD(H|s%^ z!HV+a0Z+=0=5%KU5KG-iEPq@$cwXWd&nE7COEa8w{L^)BINgSe|NdX>-Fh;P>{1!p=9OQ<0AfS%1xI!_c2pG7|_I#Gy z>ifLMdM_}D>v;wfWAn0MQbrc`&B~^Wehh&3=v$(8%ul~Zu^J`$(z|*n8_kQu<&w@a!tcl@%X;(CT-2OWw=Ybm z=23~AIH*lu#W6>zL#s-$I(e#n?yP+Deyx;nQO~b5#JK=jHylf#XKtr1M=#|tg%2?7 zyWBSzt%K-SCh2HI0HotmQ*&%PE_wiw>S2mds!G6aZim$j5xT>7#llCa&1nVS8HL~m z%Uccqyr)ZAX`?mD$vgJI_u-`~WQblr*ig2h%z*n3qAR8>S_W>1eEV*K5Qi@H_Imov zM=_euSNp8zmU_o&FVBOL8VD!;%NPJ|@GE#f!4aouLyBeWd(qM3756AIP*_;Rf6~Mw z+$y?3+-X$U;Oz@s4Rm9?TYF>CAzkX08-ghx7P9S5c*^I})6=bcVYA-kk5=X;#CO4a z)1@jnN8gY4_6_a^?o{={UA#+ixi3ncaHPRkDf8noSRSgDoi!XLZ9G7L000EXvI3s7L< zop`o&4n%)lj!C2V8%w`4{Hp04=I=^%!1*_Sme{E6R3_hOah6f2s zl2Z}kj)cPmHr23*`T@`OQB+3+ufYCnZ4qsmC5f-`p_?O#x8#Id+8Y3s&4hyCZ`%Pi zE_0DQSv1svaBy$BBV>)Wkw_{o%Gk@jO3#o30rz?7%?YC$d=e~@Nw{}DrD3E~hfxhh z%Agv&gnN@NCI|inoP9|_=P}&hds?>|c(!_Ic}aJL9%HwU8d)cQD|O|ci)L;yfl)QF z5sC-dd?KuGO7~{sI8{I$x>7$30_?n?@jLFyJnHp;PEr`ba-#bi>~nj)nN$O#(- zb%qw45~luXRxJFWY0-p3*g5xQzVAG{s9K`gYR=>%!Lc>jbez z?9w_7!IaKvVNh*|Lc!;*FEOS#^YFkE;K7f3HQJPGT>h7Tpa*adcTj)f%sPMPe!)8N z^)B7&Ar=xO8`sX(V*U0XFiV}MKh3C7(wtJ6wW$(Hne%aitX%DSvqX(I6F$Sx%?3%T zFOLJtAu3PHEl$hUt(RFM)m}rPMboP)vBsX&ftCKILZQZ&=i^t6oBNv!T(37|uZ50L zn)hK?>ZvEM+YcCRI9PcCLfnPZVEeB0Y9EywXHe*$4=fL3jT&k-F_nI9cV@8ArrNSC zc+Zk@m6jY2@sEGvCon<91?3Z~L)DJ2Cl=N90#IYI=x2!bA23#X4!woPI`q$~zF>+O@USic!)aGDI zvdq}l`dl?!v{iC{An{@rJ?fk}DX??Ex34l(e}+guwfuoqU7f4lku@PCkt>po#Y-v= zp@F!Dw9n6%4(JR&1=`+VAvK3o7IrLT3fhb1Al-^qK?RzL(BZI)dkI)vQ5iIFPy2R# zJx9xMVglTfRFJum&}p9RUh=Ob_P#sXNggF3-!q!B9?e(N8>&kz$+l?beCL0#x6;7| zwQ4>LVWQ}KH|4VaoGkq8{38(3?-9JaXu+FgAr2ad1cJpztp|(w;^jJ6d=P9*xr1cn&KnHq-oJb6AS{8JT_mE0--sAvuWE#a=ovxsEs3CDE%k%-o`sgGE%-&} z%>bkfZr`78I8d_}l2I8?!#ns!WxLe&ftQK3O+)kI2u9&td^HEnf|g74wsXOiZM>D+?V3UJ{e{QPZ>{- z>Dj$zMP@lXn(^Ky=@HstA8%{fyeda#R9l&>fz_=(Kz2KQixk}lK`-C3xO&DTbW6^_ zG|Z}2ydtcSzO_5x&FO|3e^-jW6a__eJy&|tMNdxu;8v$d4>zQtnhtf?IX!z_dH}|; znH^xK#N7!rp)qVPan*JWGX=#vrus{Xt&06oshN_{2*EC{kc*39m8?Gs(n$mX#o$Yd9*B(>0w4u8z@bJAFmZ;-mRPkD=dq0JNId7 zjBeEqn&rgK2gdR!!R;PxMmr2QIshtKrm;6Z$M6cMveg}P`uiDhO4pi}qk@+KS}@Bs z;zi}ri-95?Y_F;T0j~P2@<)=A+wg22tSpKI23}^QjPDh@$IJPUiv$m_NC$@%m994p zJP`XAE|3g<)$wng%I96Sj6pt6+wO_yFtVpVM;tsS%s!!2sX3=BhhvFXdo*Ce5UR@_ zi=dMx^ifGEfgQ~5$*DQ&$>iqFEBd9;&3NgEO=A(iknrSw>5aM!G`LWVTujVNOib)a zank?eXprth;P`LQPxK#co%6rweu}!D!vQyv-)wFAs5;G^ge^sCg)}%!Cp8^iUDGQG zf%3(IZYUV}$<9r0?;#Mm?{$lC{2IY*wu?EI4iGpvKPU!}OB~X!uOSL2dS4$VvEyAa z;#;orZD4Pl0~Lk$}X@!J740XWGwZ42`$!y%f&|jpe&(#F#RATzChkB;7(2N<7Y@j zg3H^nFZ-Q)g#BUB01%uEa4S|K>c333kxY|f=CVH*R!sv&{-edODXIecGjYS;uyRCo zp^s3zYiD6dYQuI?&LDi{cDDTeE_wR^*wgl9~C^|vg zj!5Lu-YCZ66I2kRaaD}pC+r@QWP$m2L}l@oRl0sOP~ozF2v?>Ypa{xVK4l4$k03-H zV{oI+l#)IZpQ4~ajX)0?nL}5qoPJ&qPnVhSteEHTY%QSr$I{lDB z;4zP<;XS=M;`XZZNH>A(Xrg&(@klB5mn;*VNWCP6d7Vu|k4=At;zXV%?XuGN!WmyO zsu-27C(HB2TnHQo@Mx)S!$vC-_f@BaqENe_Wej8oxiTez^g-aIed~mP6pH#0ZCXzJ z(tG8L-iv?ur>64wi9$b)15v>v2c}l->u?BZFHAE4Fc7aE!PG56Tf{STM$a_DpMH-z zB|a3N{-t7e(pbyr({|4LBED-+`WXgsPg~8_yZT|?B3sY}Six<;DU{GsE`y#HG*N&_ zUSr;p(hbG`7M%&fwQZ+MG^-bx`h}^VH)(x8+y|@guYGq({R+c)&}#g1HB5)gI>FWr&RT65ALD`@{GMYUDO`( zZqL00Jox>~uK+SrwMz&Ch*F;sD|;wVZiyL1wjmt?z3pQt`#!0|)yA0!vFn_4s(j_|u)a!6_qTTkwnc zWZ!p`w5VXKBqAg(#KFnREG)(;#>v6VCd|yt!o<$ZD8|7g#4g4m%1^}m|9#Q>f7Qaw zk`%8<4VavS9soiUozF;5@4c_(YjZr6M+ym`gu*CT)(o)etgH9jJ#gH=7oP|h)e2*B z9$VF2Qf87Qr(Uw0GX@!^Z|-=LV;n$np=BI|0WYCc%6I>WkURX32e)%ufJ&G