From 071ef7284f4ffd26f0e18b90931fe963f495df8b Mon Sep 17 00:00:00 2001 From: Karma Riuk Date: Tue, 13 Jun 2023 13:40:40 +0200 Subject: [PATCH] Added a bunch of figures --- figures/collision_resolution.pdf | Bin 0 -> 15037 bytes figures/vertex_edge_real.pdf | Bin 0 -> 10762 bytes figures/vertex_intro.pdf | Bin 0 -> 20893 bytes figures/vertex_parallel_full.pdf | Bin 0 -> 11117 bytes figures/vertex_parallel_partial.pdf | Bin 0 -> 11174 bytes figures/vertex_parallel_real.pdf | Bin 0 -> 10751 bytes figures/vertex_vertex.pdf | Bin 0 -> 10666 bytes figures/vertex_vertex_real.pdf | Bin 0 -> 10720 bytes tikzs/collision_resolution.tikz | 34 ++++++++++++++++++++++++++++ tikzs/vertex_edge_real.tikz | 28 +++++++++++++++++++++++ tikzs/vertex_parallel_full.tikz | 28 +++++++++++++++++++++++ tikzs/vertex_parallel_partial.tikz | 30 ++++++++++++++++++++++++ tikzs/vertex_parallel_real.tikz | 28 +++++++++++++++++++++++ tikzs/vertex_vertex.tikz | 26 +++++++++++++++++++++ tikzs/vertex_vertex_real.tikz | 28 +++++++++++++++++++++++ 15 files changed, 202 insertions(+) create mode 100644 figures/collision_resolution.pdf create mode 100644 figures/vertex_edge_real.pdf create mode 100644 figures/vertex_intro.pdf create mode 100644 figures/vertex_parallel_full.pdf create mode 100644 figures/vertex_parallel_partial.pdf create mode 100644 figures/vertex_parallel_real.pdf create mode 100644 figures/vertex_vertex.pdf create mode 100644 figures/vertex_vertex_real.pdf create mode 100644 tikzs/collision_resolution.tikz create mode 100644 tikzs/vertex_edge_real.tikz create mode 100644 tikzs/vertex_parallel_full.tikz create mode 100644 tikzs/vertex_parallel_partial.tikz create mode 100644 tikzs/vertex_parallel_real.tikz create mode 100644 tikzs/vertex_vertex.tikz create mode 100644 tikzs/vertex_vertex_real.tikz diff --git a/figures/collision_resolution.pdf b/figures/collision_resolution.pdf new file mode 100644 index 0000000000000000000000000000000000000000..c5a8ba3bd1e0a2445586b2b2e9970b959023612d GIT binary patch literal 15037 zcmb7r18`=+x@|JCIk6|UZQHi~*tTukb~3ST+xEmZ-kf*Od3CGKsk--d?W*0q`)gMB z`nr0rMItXOO2a_Q0!=czIJ64Qz)C<*U~6ar&CLx>Ck?PMbuuGhpl4+!_`d;~PSo7W z3E)6LCu(Kj1P}%o*%||&d3m87og4rL*3fS2Q|cWtxNNYOCsfMo!KeyEkK|qa$h|6P z-PwCYZKAC7^`Z%+I^8@)c)zA}FTvBTVK?2YoZMazMeLU=AOK6T*f(30^3wrOyFdBq zQ5AIXTlkiSA=`Lvre3ndKdX(^3z-h9l>GDy#3IiWto^_Xo;3s-he=zPS&}JllQ|b0?9%neU|YuELY5Av0lHv6)=lsQiC7C z`ArSByN{9@dqxQvcQDue0*)hb=fEU_bD zF0!1EQs4#xN(>KV6=8^r_O}jC%0~HhCY6h5FqmW%PNRPFrco_9I4q;AI{xUz8 zR|Ab+O<|1gBPCG&K;E~je<@>@H6if_giNXSy{EGkrO$I2BC$mhbMSzkQVRkxVCoqbBG!nnej{O<|1XRZ%B` z&biHn3H+g*DgCy`^nMT2z%*CzVU3srf~)^fNI^s8vigH?gJgWdz2U|AlZMf2ZS*p{ ztjCe+IW?V4(^d*vfSsn+LAqJW+m9B*!AeVxDa8-H^^mEYqTD^=UFLp=5L?&O%MN@- zN?ufu7PM5oesI*5G5G~B6N@iSf= zS~z!omiMFC93-GWy_9j484pS`C(X1`mbA4hnmia?afN;adg+^ulM1n)plN{2D~&6N znO`aoFpJy&*-}c4Nh=iEnl(77m)R8xjTJ!H%+9$F&h)gA^_IEUY`4iqihKBiQ|fH< zJd-iS5)M@@Qg6p@*UnND;-EHjVAraqety=Vv@%wC(QYzKioD~{5SUS=dNp(IQvYlM zDH`gd2C{XamLYy9c)r)d{WFEn_Gbe&^CF{vfqP}((KMrUFdVs6pbVBQC9`K*q1}EL z5W#=`0vX|!&w1+Q<;J$IeQ-c|mg?-)Zjh)WhsA5JgRpbL>-}MC(0Mz#;_!_=*G#(y z4X`o(CuIDM{R3_oS^f=o7zh}cS=s-ELW~4#Y#faLN-+`8|0_zs&c?#=zlEo4XJ_pN z-)B~GTuC;@q^qQqlq>LXU=VPlUe@*^DM>|6k#;Tfq7Eq}Vv%+Mw~`&MoOe&Ynd{h{ zr*+-jt{ILM=Ngo2hIz{~J4r1rjR0Lv0i>)>ZEp6csCs%tL|~VIabP3@g_Rv=26_oV5s#tx*+1dXG4n=>2f*ZK zXH!>H)e_ZKz|1DjPc5j%&c-Kz8_Z;$v;ZHI2XYgSLE)?0_G33E+tnnktztO<7U;AJfHy`~J2<;&1`m!U6fBEVo8624S)(T*GsU-)3K^z;W z3j0V9eFD7;)lPe4oAdRA`b`x7H4uC5>WD<2_p={r_!2UxohZ|fKL!4&L(w-gbw}d{ z`iE|SfgLD6ggFr57po8u9OSaP55C)=zJEh#`5r=bmV_jz-}?Ru>;x*r{msYV z>&goBsnAz&1?mVY_+|4M$&Y0bi9@by%n?`H1FQccRR=Mui4s*;53&kGI4bewSOd`n z-bbKMF1`Q-|JA^e)yYld+d!zcI1UUQFaSK`{+-4@I`^FkZXEeVzPqfZIJ+EY@GbVn z*q-Hk^pKiKiU=$6(bnbmh5H=4aiQ0<(?KR`AVlN>h%3; z2L43_^~2q-$_~vWyJ{6R+=h~f7RE?pGpD!W+LMMQ5U-*$Pg7Uph_*~=o0r0Z5%L_L zU*QzLq$;VAspf=gcT-!#5`&*3X2TnmI;=fBPw})rn2VTreuC4t&`W|g%js2w>EaRW zxiAI%ZmJ;lH_N>uwbIqEEuM41a}3o%3i;~P2cD~_p<_#r1{O?8lUsVmY8TDV`1svF z=T_2BEPM%>Cc8I3fK{(X1>m}c$P21WI1)&CD^?z+M*3~8R<4Jfp%yUFuv>pG?5ioH z45ZnZN-|XNR9(m5?4$9mvB5N4r#v)*UV;K$zhJxA0&%3-AGopzUy~?~@GGoRnaFj> zg^+iYpLrX-b5_ZoXiuAOmGPregWN9RzZET8q5c@=fz_f|*(lidx!vA#D1pX(Vvi{b zukg_!N$>fJIg7WDms|gVy7GX26OAmx{LcLKdy_v+_*4>LmccyBdvo+lAHk;zJizkZ z)4`td6_|6;(m=hN^n{{C9p<+IH2p$PmD|I`xDXW|3|Bbk$ruo{RGGngr{Pm3wcph_ z8I0aoENH8kryQVW@K~nrSxa&UGK=J>i*Pl(|AbouIRu#3WA0&E3kQ>enNwhcwOLRE zXnLE{A}lvJPKI9v36jdVXRMy)&f1_i_RBMPAwsmvaVO@ck;ES}+F<}+O{N9;NOYfw zIbrJe^G*VWeVXksE|*mR?{_`=QI0yXe=*Oa%I)kf5O)qleylFeHYVN8ZMNE_Aq*P8 z;Y$7_^YUJ|pFZDCbwQIs4%;?cB36F%4#QHZc)NvKqxp+{UyQuEjFBm73Y0F>n$`_$ zEdmSzJXvd9-B=A{&#kU2T?{(PkTq6F)`VFs<5r?9wST~1Jq1bKjiw~=@YFFdU( z;FxTn(2h!T+f6$I5=S`w?M_X{M{bHOjNap(cLH4 z|C_+++GYtRI>fOwHjxAMy>bGF=HX_g&A}vQy{+Cy08=Z39;rF<$*iX z7U@;(0HVP0nSqn+$FH&z)dq}`E?$kHa0ogu1Wp;5E|{amOaM2A97YOv53hSn0&qDU zzy?=6_U=`g`EcxJHm`8LAXmCt(V(80nYXU-F#~nL065THPHk}LP|Yf=;G!l-aa-Sr zmLc1{7FFx!CwLBkLC`5|uXoVfdA8NjaUawf1ta@Iw&hC-P#vVqIUF(6)f4B5%&a1C zBYhq?*qA+avygQx#pQKMUtofG@3{OseGJ0>=F>%N!=r1$3Y=F16g}Qd%Tu|Jdw@T> zubZGLs8GO6x; zk^|$il=ZBu7-N0F7eke)moisZ1fg?-Z|c~?GFGGMBYKt)f)OX2gY!9`O>@@(cWU@SDLdf3(zji2-P7(EC&;!er0VO}h8W1qoStv4CYIqr&^oT+Fk5h-#>(HFeRH z)cVu7*k;?DT$imc9BEJ-zO2|Tkhpi6@%dm=sv>*nqGTVJpp9W4`wjICK6d!5O2wZ$ zlzP&ogn15pTnXh4)!-Kj8RIo|!|eszR;5F9JkGE`f9#A;Tw1 z!J0YCjIaPm?2A%JamTqyrc-(9Lx5%$(ZpmDlICvd50+KsMxV-r{dI-6aohss6dy|~LTO}up`(x1rF_OAnBNW072jANaj?(gE zD+9SWD32w*urQeDDPZ6u6sqC&8u=*J{Urq%D0XvADhuKSOrf>KMO_`YX{fQlOwV}d ztS!g`E{j`kwpwQ$lE~lrV580KBci=acspLEzrg6-P=62aTUMdI&^(!DK)=S6wY3tN zyih`;3tCa~8YRRBwW?cCS(fyycnS7^G0bECYTG4IP$vLFt1=5!f=L!ZuyXk5*5fEK zic4H-{RgGwycNS%C@Hj;Nn+!YhFw`g-9S|_Zg_Z|)AquwA;^L>dQU}txsS)G zT8^N#3gWR4XsK*Z_G!5HS-B}=`$pTWr2N|EYJ_%;tF=|*S*-|*T)t6$;pyqGDCL#u zs3~m^s*(^2F}f6FTCf|Lggg)X@~-+A;J206P%r$Pd^SVYQoiF<5r68gIb?dM!II5< zE@(7TG8j{Hv0n@}cz<#kmKfBI=>v5xx8_I)WE&>BT7BXM^PFy*NA(;m^yaigZ7+q* zx3yHfYClLYJ;U=)xVWK^NF313NO^*27;{g^GaqEc!- zVhwuA_XIAoB6?zP&YkoJ)o`r9MaR>}EOWrd>uon>ZM=Cl+1E&Q#^?bdVqN26AKBg^ zb`@Sjici0M{WN|LxI~?0Im|G>HlP2fP%uu*;?C6?PHj9yBuj_u-84=}bCj|E!(W04 zVL2N0Bf2+k{KzsMHN#~SD7^me4{Ud(DEN-$?GLa3{ZQn+T2S+7)kQDi5b8#fmCZ{6 zIwUm|!X$6Pu})X&KhkNdDMm?1VuzTuzTn7>`DVV%$%J}+wWa_V7kFwWOwDv8^27A_tg?DiQjjYA7*=W8WzW|)Ldojpvg%_c^E=a=2J;Z zf*K+VKDcO6EmYLsnZ7f3>KcZ;Q|s2r94tnP4bn5zheb-6dGo1Zu& zSeA;rf&;0sjF|G~!9At-znRcv7NCEXtH_l>`{sK*k{%+NY;F7qx744#NyaS%FRGnJVeNb#Sb69J&Clm`^ zIBh2V$Q07GzyFFu^XK`(xmamXryiI@HBSQf^{X2I&)vP=o~*Ako0)Y?(`X_?fRg)} zPLUE24aszcy|5cT=?P=X35TBv-oGeCdVbUH8tosi9vYept+*sp-8F)+W0Fx|D~?pI z03I!XY31kcayPu^R7#%tt3mtGdYQ#~5p=#QcW0DMu`P|CosK)$5veR!Jz`gsCLkpf zEt$$X6jctHyTc)TyfD`x#&9?)BFb|}i~t^znn@PL7%WSLBnZG$TJ)1PCQk)Hk8ao> zeycHt+o4uk)>hO=^18S{#*#{W1J{Yjg6VxQ0Y=_4ooq5DgCFEHwTJhH>1D`(DJ4VT zN#`I~ffgcadH#r3nJ2CHg5-nuv3k*A>u4ft5d3HoB1y1ym@MqmVC91;zXAU)LOPCR z`791bkOMh2m%^{qIhF9(t+3k$7~kv$B~!=t_sN6{y%Iy!@o{0&JuhVuxraAws@*Mi z)=;2!y}qEV=eSKHzLpm;vKI*~cHc2;7|V?PLJ?_Jp_X3eu*H&^Qz+6oc>Y+jGgig) z(?JrpS(e4<^L0@Q+Rh>)0C4?Ml2v(8G$n0j(IQcZ7bNC&#BO8BYuY|cLZCehIgV*U zj!!$2DxQxeSBo2OEEkhDiJ@`DM}N1pjV0gk*1f{JhM%$n(yeJCRl`aWgR5?UrhTVE zRNdbtEEbJ0up~-23 z0PS$BPPlDh?cY_fP z9i~mEgTg~);C%`)^tA((-59OT zLK2Md(BTk8v!#*}m0s++Z#Cm3^AM^Tid1j3@A~sVxWf_8wBWG19!OTRvUhXQR{Ua& zUMW0s%r?wF=i@^IJUX9z zlw19NB{3z3lH$-gP+-#`pZ?SUSQqBV8nRdFjI&I)gJ@`%-#Vf#N5xJu?EIXWo8w+8 z$}$25ZcBP&B+hNuMDZbv0_5h5sQp}VE7dBJv)lr>PAr{0@y=oIGPvWlpP|^C_96-9 z2vVZhp20q+c(rSM;0!(-|0)i4tcCtu(0zIe2|BE{%H}5WPXyGA&0BIZep8Fc>s%=9 z)ydg-;PE9LCygNmV_Yo#dITK5GqFi3Sg5V`M6q6e9zkU5_^CMDZOmP+ZTj!MRPqMOP|w@_VmULi zq;kzDMqFD=Ssaf5rlBWDr7jPh6nl1)`t4V&J~m&t5Ig*kuE0Sdmae@)SEWX1?Rw;z z5z*{2O>O_o^K~sk8e^EDCq$0z%F2w8xE7`-!u!p*hk37!;tPy6z@vXYylmW;^AI+_ zGh4<`Lpt{2lOpJ$GvA+DpddE+x~e3?y?w2NcDWK(byw)@Y&OA0i|_2<_svs z9N-u%{T|hi7Evu1RrqUv-D3=_{RU&k`=`nis=gbv%#i~Fl1ZR+nn?NG(46!2&bqO4 zrggf7OFpJm_i?{sI1i8MH3MIj7{7Y+rAlkj*jsb?U`No65Jf5^CrxI)K01gcxd0Fl z)r%&7|D{o={{TvjBuQ49hCwpF!=3!5(}nep7)UgTt`3EY9?87rXxYyTr^VYBbIFn- ztYD{fk;6+>9?3cRM{@h9g@t>AyFlW$wCh~1!U(S)buqRk+^sYCjtoRmFxzkRBQWMl zEG-l*Ryh`I5yU1BMg%NBx})TiHc{W=Jv`xxVW((^4%UV{r*fO&SR~LwnVp)PxF1w< z9|l)b75UV&CGdRFx$)#gl88_YT?LM_l=>24i4{OE!^J*C(DSXrSTO4&K$e~YlOld zIgTn>v$gQKt@hi_1kjSXOR~`rZIGNC2A(O6y8~d)Zi50h(QDE1(F~Ghvs?rp9bdK` zxZUX1FDJQLZQb`vxrmwRQo^qlP2N#3VYLVdwp`7A8 z7_sZ*JXGSpse>Rt6rl9{j6?S;L!9xYi0j3H>#WTRa2*iV`a@y;5=2@CawYP%Bb4cK ze}~E0GzTv;D0Of87mdd6xE?={mkL8)x>HX9kUZCMz0np8J# z&eGRT3K@Q)&9nw3tIJ28gTNr;pfZ<8$A>TEURGsiN?{6r$tns77(CdbEykw7DDEe8 z6uM#Db{8$0o$)xk`$aNg9W==uqSsOm0v}~TJa5FQOfvm+>MHFr>4W@6lw@}KdNA6S zIl?+G9K}&c2~alNk)WTLOpq_O<2$1-Bm?Usodo;lr({-$SR$HZ8~xP$?B*F%mYd9c zH@w&vlRJ`Y6F9?qZnh$!W!bk;#kaxs2Zyd{wQFfV|9sn)g!Uf!yj8uZ!oE;=UK!3z zITej`xU)dNm*J*{t@j^c4uNNi?)=S;9At=dz1D7IU50^;znc7lTJcS zn(1*xf?xIuW_z`%dit~?;&fHQRjaOR!u3t;&9=JkPo(fr5ETG)d=A|F)Z7wMl(p3f z8HYAK+}KoiYQ$B&qA(8n^FzPe1FfUB=z7}J^I@2}+h9;pBHbYPX8S{mv~d(g|I*_z zB%@PgbG%dByyf=(HS6HVAWymKjv;I4+(RlmCT@@Qfx5)g1||utOQOXGw9od{U*!+mJ=y%J|_r+NUYs9a!q7ulO)b z+iyb*bc}c1^X8M79HWWLcm0wJ0+b^I$vh%Y={*Ms^yS4f`g$xzZpGjx*|PxlsJdHa;Evzw2AIH0tp(US9PhT zQtikZ&M>r+@Rd~exVc- z9(ioJ;E4Y`m2#5z24zOd@&-DoiXUGaYG)VbS%!+qL;h?33VhX5LsQaI`{4B}km!701{rpZv3o~f8m))2_k8IrmOr^3Dx{YD69prdB*Hd*uRwPYb%(5A* zUaQB!%{s<tKW(D zA2nw>L7)~TG7}N#m2KmxU~EwbPbQV;2dwG8KFLno4#7f%VAGgg{kH_37!dm;XmT1m zz$<6-LBpSOF*kLDcv_R+9WD6)QS(seatqEVzBQj_t{TEi*DV^TUt4U45=(1bIQ@%2 zDtgOI%{9h|ijXXsWYlBh-ue2tW=%x4`%W_^jjHIL#knJ^;M%D)9PKar*s zPK2!c2;q^B-e0+%wS?+=1Z8FdGcNmJ@9`C`d=j5~i8tW2?F&*gkds&wxxQE~pw16z z#s(B!4@mK&^`K|qIXK-gW)<;SHNDy`MJdim-KPP0b z%ed5)O4KlSq%67&J{)4CGd4S$jO(FkTb!Wk+RAQFr}H;vkdb*4Fv9S-B}Y&dzql;T{r(ez28-Pkxwxt7M@ zwcS*&El`sFQh6`QIiGPxkf^<;};e~ME1 z@T=?IaE-=Ilq()dQv&+0o9;Lm#7t&2)Y3LuN7 zOj0)!gfQpN&+bbEqba$@sVtk^%V5I>2zSTXz!MfE8mQGaQUL?F%*H~_Dk0ey(cPrTQo)G)^kFjgE zu=_+p>+72JFV0CFKipRI!nv=t>Ne_r&*~wp&(U)DV3gu9r5NN9P*MOuwhS$l@!smG zTHAjdYmxZq5udS9`_tG(xmL+6&2HIoA9(U#I4z7BRjnJe_|%0)T3>Vf5%M|mRJH_- z>B$whed;KR(e|8*nSU{7Yj`Fcnq~`JIeeLBOgG zNHdSMH}?g$ZLm|GHAm>65ZOG8c0(nca?Wk4_vdptTzvqtTeWSrkCT~L8P~%4F`EuHN|1~ZcOX?Q z=1JV*7^>eWAA7MWw7)h8-hC#WNw5`V_uK!hGoa9b}7-D1P^Q3ezi)l-riq=hY zhwg=H)HYj+xn|vHxHDg_JYSw2Y2Q2{`^9MxM$d! z?P0WLi=e5Lbp2+@uG1C30XE7zBP=sDIC-tFl8wCkeVMomHBy;e)m*=an7Cx&a}$af|Dbd2feO@? zIwV|Nj>T*c;ijb;mVTNCud8n$(&J~X|G-vZ`wwgtb~c88aZ(rw7#LWY|CRdhWEBQB z=KnR9E?Lo&Tlp1xnRIz^+)Rn6JK=K;FgesZIoM8>S{0I}M-r26bZnPpa4a2N1#qOY z&Toz+I%F*4l^Rm*u!yfZWfP<|KS;FH+$y6;{eW*`>-fI#y?*!JzUQ8K?;IH%U5VWv zL=W!2B7!ZQr7^Rr!|V^PsRKpQM@^MMg{O`yh)dh|7b5R3ob$BBX%!Ldro*Ku!#5 zMLifW^n)=V2onT0_&MxWHzbJXN)hqK9}l{K4+D}av-{b-c9xd_=a8XbD zeJ~>Ib8L7(pC=2SHg$v_2of(Xv9QmMzR#f?&z@4$Xs=5KShQ&AoSA-2-e>iTDfuZr zk%J4`7(ew8vOI<~r@jV*UvxBJQxC#j@i)fs&1-HNM#K z)4r`ob)MY`M>Wgb?OztVSLc=%DLbipQ^?Lgujq5>$puMTt~cM!j8rFq7~NME z{T!PbXV1xmGRulP0Er(+JA+SLUM*8>1Si zh&)i>FSW7|N$%!*lk>5&Y#u8nHawQiN@-c#A>Hpm$7W_?sg>?2L|7c4N3hye*f~Gb zr|NGKIPH%}cz$NjtTb;Tw^-V0877UUnrC9*XIfmxZ{W$%V1ML(-Q3QhY{sVkfq04W z5I&8qLR%M!vIKZ#BY()ZP_er+YU631xGsg0VJ9fXC$JD2iFT<_0f* zs6L-JL|}8#%^>kKmYM1lg+~Z#<;)D_8mB}(MmRgXko29QSX!RAtN{}^khNa|uWo3J z+^j}ft|BqfQ>2nR7p-~RbTTNZX?}QrioFY@Qhu6H3YD)O#0!aioQ2-#wa-gM88Nro zuyzWzxZq_Ev00Y9!%`axIzLmyG+`S3^%LoQ1UsgZPdlVyz%9ak!kd z8nA?bu0p=SZE4kBomf4UuE%_6KH4GoS>M)ypm#;0yQp)sDlOLnhI@NrUBi>AAEIGg zJKpJ2`diO_S7vH4HI;TX^YhSO6#~t}NtdO|fneP@I>h2*KPvg~%-fb}UjsdQ45Uf! z^g>KC0@3|aUaPHt`uZUT=XlE~7yD-kE*~Y^laEOnPxIv=@CLqp>Kc4Y{D?U;ZPpL2 z^)D>`F6|R?zCtzdW9Ao+4K0Gr)$;}%ebH?1Z z+uS22cL&z^Hsi-dLXV?s9akBBXq?i%cpLhRV;P2JO@H(nX`MN0TxKq&Sci0Ig>n;KlPGMr2t=&v!OBwZ?5X82Db*4t?+U}&X-gu4yOnzzRvB}#FMud zFf(Njsm(e|X{Mxj949fW8I0BzlM7%CTBNMlN;yss_Kf|LB>s;VNso`t3g9nk`} zUk&HZT}&sW>eZ_kTQn|RpG8FoeHTk9>#E27C3^F1OP{mNYSF||5a%pZk8A1eU2Yu9 z8B^WZPqbWK%^4CN=)5{}N$r-g!OdchbA1u_ELumeoUgt;ebjO-2^!V3HpLzosN{kAzQ`#^Xb^X%{M?j|86=fb)AcH{iy_n;|aH9vxiT@U?J_`_GtI$teAakK8O+Uu=1*{3xOlU3nbMbSJncaw5Xa z{zhs(o&Q2Gwmo0RkbX7SvXk{`*?yd==#H)GMq^n4zRuX~43KTD`wfJgK6miHuR|vK ze_w}e3=IEY>#*?eI=rXq43)ejjD`c2{wYG_CC*``#j<2kOTkW~2!e!Yet*4kpQGf` zvLQ4}pL4=?Z|C)RY0o8fel;{1phb~0Ih*}9K3RX=QRwQN?7H+vfBkklZGACyX-}5> zNvDaWuyvaCwZwWDn`*mp>Ajp4ed$}o@_xNB5!8F|vEh}2Yq8<1+V;VnHAC;R1~(&J zxX+QPTWc>B%K&}w1WaIvPnwTe$CGTaI%ytRM9XvwI3C>g$}0SI=(OAXeA^v`&hCst zZ&8M&oy|iPf(skfc4oi~KGS8#eWEyxZ*9onV&?F1IFs+8=}+d9inedFX=+R9!R=OW zMBKIoiA6(8$GZFGHN5C#&*Xc)Cog{V%^#iLJr$KxcAF|CJ59C2T9R$Z6ZP8eCDq>= zO2Da|7un09%dr`^li8ZAGDKqeXj(A0qoG`SJ;%1ZdL61o8=X z;n39a1=h6Y3#gultA(?|ho_3fkiQA~4Q(|-2o#B^n+LH#u^U#A!A?jE@?KK247|p4 zx-LDqh(vT1(-N(meglc3{5dfr|252EH;G|Q+!00eUig-DMzZ(Vh_=U*xotkPANvTS z_BCaIFH)!gOq!4S2ydvL+k}x04OzRVHJA4h#Y_v*9kfrEnbJ!u1U-qlTqNOkRqX4pZLt-XdX8y}Q2dOY<`nz$KWq!;|F$jU9c+!A zjs7Zs$nA_xlmY60B}2^gw2Uki&~yUMPG+_a

zu=1x|Czi%aHLkobB)8ClTUsaIP z-#lr9zeNaK&Hsvt%-rn&4h{el3OXr(yQ{5(u_O84I{vSrxvh=xUsVwSxiBXqJtGr6 zD+40~D+>n$I~6@689hDOUppCF@TrU{s68JHPZI2c)3m}nSjS^qV{zXksGUE16QK=6-V z(Fr&hnf*=LIJ;30SlSslnK=Rs2weVI2P-WT?cX{1tBCriuHnDS8kGMIoq$fx&_c<{ z8k$a)fPv#5KF-0>iGYFW|0x>?IQ~ko{ww^?9xz*F!=_Li(ffqzjA3r{Dx`Z>T%m|P zhN&Sla^-2#WaSQo5H~;=NWe4c^PML;d-cHBw5Z8AujAZdy1XE6P$ChMB8nmk85%C9 zP7(DsOb{8V6jDtjAgGtgW?i0G!W>07L%E8A(O4h1&mU$`0OJF(FLV(1wg~>6I^q}5 zMN)j2SpG31I|m^vnTrOUg`ttAg?DW>VEDpa%M>z+^V|{hgKW>^ftXd z)5g*{YeRPE*0uIVC=u=wUE|>@A`uq!U-k-C8#H1`a8Kw_bPJ}7`}NmbW)jw!aIXj) zn0BSJMh$QC1JqM2)XR8#Hk-LgzJ@KEOm>4c7~%WTP-I6|$D+m=l6)^|p0I9+1W}h4 z_E$Ka;CIxl)%x<_^w=04h{1^S|⋘~eQ5B0^a zltE0KLV9tHgE`BKvxca0n+DoS`H(2gBqFh>MH%eEz#zga8TP3jFQDShe8g06JpN01 zl2VXFEMaJZ2=v37a7@T#;fm@sE}GgJ(S?<k_g{3%V?mzmq7`I;-t6c-5~OHkPj{-yf}vSQMdk)tKuI176P2f z_5Kkpjat`HjS|HTuQ&P2Wmwc|T+wBQa=Grw4a8WnmrL;-?u{y>XY0e>-v0Ryr?VVA z`JIK`mpgsKYrFIY&4xeUCU3}x(bW%TWASjobfe$Drk~BP<9UrIcQ7h(jm#%`Pp(-( zUhvC?ugi6nH9qB)IUIh*#-d$U`3|LOx=+#DttKU`QbDA1RN6(W2UZ$io^_e|HFdjw z&f6By7dAG0Mn3lxz30RG{CEm9Rcy?@7iM^M>aCgoT*@5^^gR2xxUfclT&VyOsgvWS zeVC#Db``=WSO^_$T!%m#$EE+x;QezO;Q^#5phxVi)Zt|04y)Dg_IW>lBWARP^960_ zc&>FC9K*Ys>q!rbZ#@R96=CZ4H_#*AMTHyfrvGi_k`3erJS&kG!U=aUqBEYAU6<@D z&5z%J!Jd1fo&z#zsyHigvDqy5hDrTO=g#&JYD z(O(v>o?_NT?|*>Ne}@2dMSux3orH}sz>PqQo`8u}2bxaF+yn4822H0%pv6G&_X6qf zH$_`pCjzFw*GB}3|1dYPC1CmoCjTQLOrXWhLeD0`&dMqvBE-l-&o08s$R;Wxz{tYF z!6r;k&nUveOYlFN{B7l*Do>7o9lZY+C-0vVV{n1;s6q;vgs{1U1`;3_ad9t^$|%J# zsB!gs-9zzRb;ZY&$}4Vp{#krPG)<|C`C|QkNGPa1;~7R;d4pk4OyG^D+Mh-Xo)ht7 v?{d83r*fTjFWN`XYHW$La0~xFi;hkP4o+@={RZ?uL}47zBqSnoqR{^bNRzqU literal 0 HcmV?d00001 diff --git a/figures/vertex_edge_real.pdf b/figures/vertex_edge_real.pdf new file mode 100644 index 0000000000000000000000000000000000000000..48844015b25ae2ca2663694a929b482508b1cc31 GIT binary patch literal 10762 zcma)i1yCK`vTktLxLbe?L4!L45ANQ&ueO|A7&D2RyBGc&LQD5mE6mjKKhKqjD_ktKka7r-b3vNZ#n1KF9l zfd6#?7{x5C!5~KxHDvQ&Vdcp>@Ib4|^-hExn+l&D=^{N;4)R*XBEAAhnDa&U};FUB}P zZ@DlXjC@Bix1US-M?|-C=Xn-(k)sJLlUo$kjN~6&Spz4SsjArfgx_Hczxc|pE87bm zktzS|#pmMMQV^yHWmZt|teCDc!}Q4%qkltZ&ATNlNHLxD{=2Qf;_v8lCQ%6Fv}W$R zJIDOy9t%5_5s1e^bZPzdW8rybW%e3~Kd{5YBY!UijEICV_LUk)bLV;fI_R$Zkj16a z8;&K7K4EId)^ z*jWCpeOUin1afk*aQ<&gF5SghBi?(K14sl3DdkiQ1g@<`f)V{0s=6>*t6IU-A1Vf< zRAV4G0H~`3IYTqkR(g-Q;Uuu}JlX1bLcDmJnsS|%;k3I|N>&;5mtXG6vUv&~_%-FzZ~(d8q;=H`QO7Zewj)Rf2ln`;Io z^a(y0dj=aC4oX4=qy|L1urrr7LnQZQ$zjk{s4IFQl}LRb*o3}8H*mp<%dgGl>)V#6 zg~0n<6$qp|F@!h6`dVU|hm5D--|V}k0H*@cX^1|t*IToR)VW<+m##=Ch+Jp zWCV1Xfjt%p^b-}%PoyBSu1`Y*D6sE-4{M*|6&1zc&^G_>{>9$jM2FCz(}2Lyn-eG6 zorszd(g?YAwXEPUp#J3e@+-5MuVk|5FLA!uNPk*sdztVT|D+Jug)Sk83;OisokRE&CnKr=*eK6d))DZ3yF^@NY`@E_mJ zq7n#fa(Ie+A5q`Wz`L_|>9LJ;67rOZ>G@n6@f! zywu`z&zb54KDnyCT3vLc3RZJ?ISc5}jW3Jcol_=hyShdo?r_s%`_$Dwwx1^0DpWtM<{EsoEEF99$2#ew(D`#P@Ww zxVdXYX&v|Z5`n0VMMBv7yKI_U6r}{oKX{85dk$rcWpj7gME%xl$Y_H4;!3pjn81^5 zOyUu424xz4G&$bq0_>MP+{HEddenstS}}Dw>Dq{96lZV+pxj71hC;X=o5ZDs1-o5m zID}v@do4`YwiB@%ok2?Ax^J)?Ib}I zxv?SHzwMBr@r;}HZ7{XsM1xQ&M04!x(|qMPRLXLNV1_vZsl<+@upZ(=Y+8y9bk1C{ zlKI4oCcBK(w5U0u09$dxx-D$Gk$gvW<>K>_N7sUJK?IpfA@r|xvDP~x;#c0?7($33 zAqy6uwm^StmRydxEct%)xuhr!>RojfF>3%IfjhdXk3SZlB7jBThmPRQ{j4B8^=FdA zFX4^g0SuFPj`B33SeS$M>`YBB`=LqpRcA6!1`ZoQ^O}Mtr9-^ZMctq@8voykIHs%H znP{(rrtXYbnbPC;-Vv<>zOHFiIpgzdsiBd^7d|{r`^xn;3Oa@j*VcQr!@N4V_qkSf za+@fh@3npA&uwo~IlIkG@Z~DPH>ZwdnEcm&Lxf8ceD3SZsTU9ExOq=w?^!uzU3}dL zBG_M!HwWB;lJ4ug5al<$DF-QKEB+8q;(vwraB94odp*K25qSSu-y!3}Eq!KT zhxA9cP7M49p#T=6AGTDV7gBy>pK$$a9-_*KH6e1l9KN7sF~{yggu+V1{H^JGT0J;A z9_8KZa~*jsT94iX&E=6op9uo*D?52w){S!DN(#dJkEY_r=y+*RaZ*vi*VC6tEL0!i z-)`-AX@pRrUfVBzZys@FB?gZDC`Pr~Ka#14tCQL{6(WQ+(FnBC$xZ*#+2V4 zd!trtLoLiitP{RrM#T=iaw0`IRL8Mz8#AdI|%BNO2~_9Znf=(W>xYypBsBcCjuWQ2u@CG}NF7^QG-%+TBF|XkC)SERA07 z@r9*WH|o^@Z{kA5P@Viez3o}tF_;})Ae(aoI$}U_yq@vy5(l$C+gmSE0p~GO zDp{1E9zraEDbho`0KL>csOHzWMAvV}KJ$_a-^+BdWq&$-x4?~Gx1NF98CmLPETI8X z@)8A;czvHWXcAA6hQep3_;iYqnUa`an_g)B6vQU2o!#LHcG&++J>hAhJiOjbOe>G` zn2?&fIv4UlZ0-8Z*VRLl$W9GJ-Qse3ybBJ2f>AIp-W$G2P+k6!_I!V^P$v_;}fcv>0i9>H3>6Z z53~GW9$;B+XLDKk$tlUBY(isM0OFz41Sy-MvC-~Hpi8XQLT*h&k*v!?BwFr_XSTTnbbhX^TY zd6%}$=j~Tlvl%Q#b@D8{6g!bwH|#Lst}w>0WqLJL;*T#~r_h)EQd+9sruosGv`UL1 z9g5P>PV?0Fz>MLh=TH+O4t_${iv3fxFlx|VSi_}QQq$KF-bUkyw-TQ`0*Mk^Xkw5T%oWHev78 zdbAij(FZZhEE}TLaJo<9C#uS}&QVDq3emC#2VaX?!@xeGY*QI4V`4=$x$kfLwN_a7 zN4?HMn(Gjz(v_inGg{sP$Nf=%k`p5K9`wKTP<66;+r2;`BcvKXz9?m#W3AECxEamB z6KT43PCa<-y)+{fgGh@mhfgG*3c{>yiO*97Y{NBNC+Y!5J17qdRZ%dQ!dft`b)6Li z(;=S-M-4}?@Ts1K{(b=j>HrP}rF}b&Q zMl?UPCo0KdIr8yO#+}b7Vc)oqw9#$0gKxV*Y-2I z`pBMOCiHQ4>SUj+?osyTqKE?@1uBqa71i)DLeh4XX^zLRW}cxlRHM#iR6LNI(D(Baqy-KuwNR{h zl&GirX8g=hMnEj2St>Q~L~Z$pt81&(05Q3#(MLldlz5T-8lZbjyI;*WYsSe~PO{D_4be&)#s=Nedy4 z&($JY`CmM)aHhe7TG1j&9bc&FwB~)rUgwSJ%weM2sy98#y_5}ntan1*V=+a^i7Exe z+^cy)VMFP%<8SYm-sB>CGt!s!`&%|dmeV--)fD00kJRumvK=k)?{5n@^*A=?HP)5M zA2e`#V=yU+u5MNsAv}p&d@s=pIr?$g@6{j&JAwt|x43jt?s${Q<6D*PRZ|(y{_5Eq zc$Ph1>>tVpiSMOjnKZ~Wci<8Za*?QrX+B?6mpE`QJ92FVVhRJ%vs$7z34)Sv`~kA_ zeO>s@;ug~GCB5q&dmi_-6``os%Yf6Q=nnpo1EZ3^aP_G_&PnqMuZXEq@ML|rL+Hc@ z3ZVHjbtE^oP}0E>kzO;$;H_a-1w@+TziBsP*KPe@cT*j4xwB*(tC$I}>LY^~S+`oz#_GoW?J~}dlrnyF7t^tIU>Z$TyOQkMzqzZyHr1rGzq(ev z?lonwKRQQy}6Gm=|pd`O33Rh!*83!n4Q7< zibU@BYoJDk)js^StTJP7%l+3cDe}j^kq03-@kEK01FGxg~a=gsA9gHJyRMoi+YM%t^dymX!y&7kkks!-` zssY+1B71w}l@sH4(P{+sTq{S`B$>z<>jnK)Gi!5-P4N+%ukJW~zvEk59W>?Vl?D@y zRhrI8<;pa-IjL4<7|8q+ip0E%T615l=|guIk>(#$aL(3F?BnvIP%@f&GOHKAs`_xg zWDJN zr(Z?%`B6Y!p5~*8V}YX3=kF44JJ<=XvO4q4fLQ_(wLQ~Mzx8) z`BhNQo^BXANqu=Wz?-z-cPkotcXSBslx8$1LmElDY?rR7vao4)eQM8>nB}lt|Eo$^ zDaP_4#cjnWRIf*8Hyt7~TkNLzF#kLmRn+!$8YAMUbK68u0d*^aPiyZn&nimoHir+@ z^fY%dTaZ|t}xv+f}YF+2Vu?}H2G(_CFvNI z_s!rLnz2Qb9B)TNHthx$MnYKc*A4kr*a-MAH(IoYdTn{tv@0hhK%I&$oakZRIr!S2 z;x+fcpWv@mD%`{NKC(!snq)plX5s$HSR{o7B!Oj64$f;vSvh%wiNpzqlyM=0H#iFY zXz5#oRLAl>)x!x<{W0W#s8M^+UHq?82h$#?8&^>h4@Tey6clXV(G z1>RcX9*a^89&4-LhuYLRMDdrblGc!`tqwEp8jK2;^qr!2YpcRy2lt;EUmbL} zbIOcynNY&=9q@@bra*~akMXk{9B^m*%jP2{Szua6|5iQk6eW=t%ee7jfI`(dNmUGH zkH(2OJ4cSfO6C9Shv^_?;Wd1>K$WOak_t6hi&i~LCt=EN>Q5e5 zU}I6@P001^C+7u+i*tyeeYC^#h9lSb*6lo)qS2*3gazma>Yj_keq*<)5Y5mkD{E&|UP^*Oi_%YzFS&-N`$hu+y0R)|qelzKdYLIZJ{ zwjG_#6IBomUx5eW5S+P8Kef#OvOkb4gF4gy|3lH)=C)g$)+{g zB4;{ZmP#8xH?S1Od}}F25~Jmut8}5md2MUKJ;1IMdOow6DPkRi_8yAK(T-9yGYhUB zjjzawTrbE;Fx=bJu)d3%r0`R`!blElt)ab1Mlc?Q+Dc`@nTMAwpkUv_BC~NF9JwAS zrvjEeF5lY0^UXcvgWFm4q?Lb}MMA5yT)u@Q0qA0cyigJbT9B~qn8)?+Obl0Qf`2_B zk+1qR&wefA1C&YSy?nkYlCW|&eu^4u?J3H*s!t85ChvbpN({2mu?o(;fbPJ!7Kx~ku=uK zHnS&dx}?TC(<=#NG$*H$QG@zvFn>zktUupvQrF(vIu=*L^Q}joiLNWC1zM$@ja|1Y za}P{%qBpM<*UJS5C=nW`UGYDG^Dciy1uys4*GbBK2i{z~icDFP38fxC&)qA`yD}!j zL#?0xK4D9malj-b=sO4Rre)@zSzmqIXF!ozTR(V%6wd#G)6@3~-RD{u)=B@U!eS8f zlzybX`DK(=X1`e;AW@8_#1x!wodrj?{q?5{rrEV~tS5`)i9+ueA0y$SRf(%AXrkii zj>*X%zI~gVo0|=CLSdLau5VO~#S10)|H70#3KZNvNAU#Jkb%U&HL&m|jQ% ztolE!7pb2bga8Nh-3-M^cfL=$2)QV|#_d5O-Q3NT!##phtB4osT7MzBe`>)vW^VRB zV*LS(wDCyFrOjiDbv_#O+@YUNy;ri@YQav>^OY2jb@g* ztpQN?o)-x_!H>2JdmA2=n~(kw*;v6(ZP2aI5pyF)AoxgXt-{KZVZSRf$mo=uXb<9 zRH@dEY=Nh}OH1dGQP+d2S=i!21zALN7s%58Er5V8iP76%O>dv-&|S&ezLc+wljA&z z--}9w5-*m`op!ED5uhC5FX10KQuLuiU_%*x3sXqjec_K{Q=D8Tl{UU=PH!(fe^cy@ z_ffnn$0l0JXl9kTuFD87KXJO3U)xWUI`IJ9p>5J(gyAtuPuxUXO{U?kl^S|li{?G7 z!tzL|?q>-yH}xIr4GaeEK!Owih!38)`sF z;*dEP#2pmTmmd{>@#7)?ENJ&N1Uz3$IRl7QG^8sbh)K^K$OZVebEDGkpRUjp^Djjh zZ<6cLrR&jqeyzn(9uvogK>7n0gcJ$zBfCC|EptUS^;U=3eNo*@HWkt8M-yMG(bDb6 z)bBGP7#9EGJ=(F}UY3xy@4c*Xl}BbRpyxpGswGQj>ZGdql*Ngx0|aA=1MbxDn}2cl z@0AjC4-(fLO(yfJYnD`GODwk7xIcX~P#u<5aSS zK@gENc=fWgdqFfKEhY&{io*-jpG#K;p8m;Y-1W@+@(paorDvk4RA>}0UaYYv>knD% zZ!YA#KcD7xJzNHhjG{Gnx}h5lhmRo|DvK^xlR@HLTC|~p<9;6U@au$uB|Exaf}i{~ z!uY=b%y>`f-h&ZhN3f#8sKhfS+=8zl;~*p+1#6;_=G$+~i<8hoM9J==t;BH&R7DF^=)||+x582mrgOvu3#AD-Os5L;IeqR9WN;Y^j%~Xte@Yn} z=KZ3`?_lHetBk@bUi7q%Jb9o;WJ+jflUCqs?a4Ud#OQ(P(jtDF$(L56Oh1+||H^s` zVw2BxFko&WgfdKe6Z6m=29=hOm=)f83hebVuJ4+D$en7pa3nhmswU8vcvqAGg2Q>ic@JRJ;Lt2W0v+0{|2nIi2^v(z%ihsry) z7f5xNPMGNHnb3zXdJI5+C-p0Mwf-)?8DE=zi>MqnwEKK zlB=My^c>ZiVNsx`e8EEQSv1V7e5n?kPIW*-BfqpZtSow>P#^Bfw@{aWuZdq3C^<&? zaHMR!vYqc==AVKoO1ksYWw{u7etjsEBEvIt8T8hkOlJZ8(&B+A~cxH16!mY zeq!e}!EL89l9@~Hg_=l^s;k7zo-o8h`ahq&cu$P^9><~wiAwi9A<}#6)xeYEmfix+ zIhfik9T4Qj*><_;yFA?HB^dB)F@B{=GAm~7-qt2ch+W($H%V~ft8Dxuz|!Ob;<~3V zZBuO@!`#G*{JbKCp=$S=T_5y?sS?;1o{XZSl8CZ8rbNkd{e-! z|0xGcH^pSsk8;V;uMzMU2`eG zvZ4_htq+E$L*Fxn(|)Gf+>+}cH}eq*e}qSzwI4eEBAZBxi|iz-(BRY=Spa=XI1nuF zo~9$oJBpH%vBB?r(TT36!LRQ|G3oYME-S%3%k9BW*ILh^si=n*3w1K|h&i=N`dv-F z0|~e1$fBKjvUh2)$ zwP#qIww!Bv3!TJ-e3!t`;Ar#2KiCqs1sjsO&saU{K8Id>pxnG53)K0hjhx*Nl_eaTQtX(b>R@*ggTd>qAX(Td)47Mnlmjt)9Hv7C~B@Gw7 z5)?X`#r65(b%wG_8A??V87QBqwt+(+}11^)CKo=ooE4x|d))E}na zsp|MNm?bq9?p&^Qg~hB}QdrhDwl2G`o}-A3b&fq}d-9V+UL5LHcb1fn+pnq?Y}8i{ zXiGI?jMnJ57nHwiDnlf-oun@WFGQaRONG;C)1x?1)=`jw9L56s*Oi3JjprOBAw{<_ zvlZf?fjBZIK!rH_Pyk(QjtzswESBf)Qtp(d z&K6(ly2a#n^ev+L+qfZ#Xs#jzWj59=ijhHPJzfd`zH&=@I_o8ZjRC47aGNnTv5P?% zFowU7C+T*SxAll~Q9&IJxNOJTru=hEk+bLXL{k zR5t2_*-Gi+_kLBDQ{jUGS*}YVvL@TO5XD8-S~jh(Fn`WL>Fur%RUce(c0pU%Uh(2s zZ|y{Z&hM)dynVszdqfMLhZ}Dg*=;Wj7jJ}P8ujnq*w+<|juaJ)HRONTuKR99D+8Zd z7*ZC`0%t=9^oeli24$7fpVswQz~R&FeuTLexw{@@l-+nboGfHXcxNo-6EEbKG@Mj>agxt$|54Wo($*c$ZlRCYG9 z1Q~-rB;gO<5%}YqjNyk1(ADCDu4L|R4{~$_nbI&ygWO&198H|4KgRgKh8A|VA|JdZ zAhpOh7A6)}CJts6W;P~nCKg&I7Ahttst-F^JCpy(M8(n2-X3J~L4q>0b^-wy6;wnu z7{r{dt&I$AZU0F?#oWRP_;LSNB6L7CkfYN_Xdo*CGaEBIHwy4#31kR#`PUd646F>$4`a*G2@GUrV*7vOnvd}RYvl1(Ua?ITMDyOK-D6e+G167R4%h5T zpQw$?c3aE>1<=|^X$=KWzDd1zm~~I&7k|}sbKM&oOJS{rXeJ-JA0mu3dnZfty86Ct zD@e>s?BL}`nz<7pjfaUkgj)?Ij0ZvVYx9f96g5sCjOY&$rat?N5F-JX0b?VCYSs3N zP1f)MNLv7j!N1uw7J8_z9_A+E$fZVbBS7J%`w^u<43qs zx_JK71dix&Bq4?e&xCNHS|(L_bT0}!k{M7J3gB7q6<9AtGa3@2~m#ERe z&>qDV4py=wAzQ$TmeuA}c+!fX->n__J8rpfm<&)iAfMh#&uKXMe$=KKS-g@l0BQ&@ ztC!hJy4T;6*9V5mP&w9GW}VQH8}At7VfhXk-dJ*ek5er7hD2)XIpk+cV@9f zcK!UX8Azc+KY!HRlcF^8U)Ft<8rtHfV|Kg`AUmsS6-EKv3$Jn6~vibIm zf2W(S>fWxZ>L+z{sc5v|!mWh9yg4pjCL8$s8E#g$9R0ItO5&QtTW&Ah;mLw)X`@Ox z2aYTmc*)(R4L1^;MVug3~uIMK^r}2-7ULx%_EpuJ=mnjpx0VvK}H*Hb! zhh4tWPpP-MS)?wdf9KcZOX6BsGt5wH=60A{SI@ym+cBG}hBsKUl!UGK>XBsy&5F*V z-PKPd!#v!y|A`;0O#cl({;T#ilt88cMoC)}kQ-2&3CPN<3t&{X@Bn>C07iA7HZza~ z_|H2fJ3BCth3ms#=^t}bJ0QzHVDyh70@UVZ;bdiJ77-H>{{CG=h?9+(Sy)Jf<2w@v zCmWk6Co>llKk$Dx`H1o_0wovQzxoaMKNBdiN2`&2nb3q4^?}e5-%SM}L(_}?_)nWB zBfVkEGgwO>B8H(uVVFGA&U|d3P>u~z7ij?BZwvNTd{OXWSj7+vU4NA)nf3dduF&%k izt#yNC;sQUIe`rw!EPTA3HX2o7A^nz5p literal 0 HcmV?d00001 diff --git a/figures/vertex_intro.pdf b/figures/vertex_intro.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3bcc9cfd275f10573fb060fd8fcd9ed434e0157a GIT binary patch literal 20893 zcma&NQ;=xgwxyd|X**Ziwr$(CZQHhO+qP}nwq5_db#}#xIy<8Fc5U2|Nnxd6*0GRGIqeD z6|vHHG8Qs6v^6q@{d;^Jdfl6 zl<(QOGwwPn`;i~6a->Vb79}=HXw=bO4zI3P@se8+%53FzbnseIut76Zn7djk3p=D7FNwKSJ zI<}LVe>o<&Rok9X;c7dhd>IKfYma1|~N8|5R?WmCV(U zPEkh`l7*85C?gAS<;cl`h^{Dx>xldifkA>*`tZ}^`st8JfrBW}`Q+6>s#S`R5&ksc z0fE{8s-{r;@w!oU~3#Fs1dU-0<+7I<-V(qug#XG%bRAbb)eF>rM(p?DLIotQ&GHD}+mpkf z1l@5kbc?im-uzrC_2+f41$hJ(Fj??GOOBcC-fhfAs@^y%o_C zMO3R3VT$;IKxo841eA&lXNk$!*z~@AZ$^B#gIr(yShC}>N#pI})yCe@l2Xy}^_P7e zg$?M%4}Q9W|aZw_(4yYPb~ z&0*5w1neh$cnbegUR}Rl&b|VG)Z}7$$&}8YL!W{B`eqH3)_?2)354y>%emPBA}G9_ z4(FQX~DZOleWT$R2v88fK$+(B{RvP0p zVqWyBu9ncJb8@(LE=J)`BrO(EZay9RIMSYLBeld|`j-NCWk>8@ow6)pz$Di@TG&)K z+(?{R*|7h6qe{Y59v7g?725OXJ>DA=HljbU+FxA(q6>J z;CNRPX2V%Nu@oz!FneP_y_&Rym}Zlkx2Pu79QocokG5W3H9x-Y%%5$VKYuHb zbGpfBO8LUkV*MgcIBuo$RBzoWa@~}9efm*6f2SfMN#;f~pPy8hoX7ckSPthZ3}w8h z_2BTbh@iSsWkL_Z5$ai2u|JqdG=1nR4Bh}kMW(h`tdoJ8?mhNotAxKpiS+Pc$*^nc zUHDjgT#wM)U%S-r?fg)H%cVxV{;pAc5_p|Us>WYGS(hOpg5LTt)}b z`6Nd4A+@rh`$kv8)XV93<>sAbMnyKmm!2raV^!yJmzB-T@w`h@cs{UXCvgC#Ks%dq zk%@E0Gxiz2P_sKqRu)=qf)FV>r7ef2sk??a!V*{ie*QJ*W80%@W30Pz+Low#Z3SIs zroFpbP5;NIjiCeI*Rr6jpK9s7XEMAE7qRB0gIard{O9SUwf92NTl$g`v@>;jX??rsIUR8tC*)~~=$Ecz9O{~7lq{zxmuJP`RIhX%?U57gq zmSu{oj@#Y-yvXo!IR62=Dlb3IK~nb`N%x3FTB^<0t-q?i@_xdE^Kxz}Qmg*>B6`X4 zl0LAB1+Y|rwLlL|@R5q~e0})Nmj-*9LHtwQUEfNP{~;^2Ho#leE-)6Z*lSSUL2(6L z!cYh2T*8y7(y@GRDPH1to2h$QF$+_B^erA|{nemwI_$-^0D)@2jCC+}DE`Wy!+_l;q@AX38Jb{-M2eYLdqE;z$M*nFpC}UCAI+ ziFlQBb`^`2i1AdR-^HxOEK7f422EE*X(Su3)su^7>0`pm4&Vw_#+bl-+8R`Dj>@m) z=fp^iauF2HB$S~2oXD==tCv~eKq)g)!loK4!{?taGd6Z+$^|`xNw=3Q{oY;lu0iK# z4K?&rr4)#29ed^aHl+=-5@GXnoN_F&ZC3NIeX|A27`8KD+>%lxMa|WAqa~uYYti({ z13ypy4_#&7u45$K?X*wj(O6}!-R#ms8T;!AR=RIlg~p!TdE*tWuReJTX5(|wq^OOE z-A&KzU279Lo~gED*04yHw_tK!m}wCYCd=7VFD8R^pGw*kS6Aa}n#yR}2nQ_zgOV8S zY3lpy>FdhA&F+)A#C6OsCXG?|&2-km3+8N12IS+JRo|r6&`{+Cn_nL1M%h!QwDL65 zRW$7;m(~Wu*k!@iG?l>}p#{6bAqyrvr!qUuN`;nD3&`wOZo!h`0R2`T!dN18M@)@ z&oo<@%i3D{EpNR14HwzZtFJ?Sa_nEwW}YM8|CtjR>Hlp`WMTVP9Av;_Wn^Rh z*Y3aPL^ej&|M;~u+r?Q;$$OQVm>5qiA}lb0V4HY*VH=jNuMcDj8fHOEEH#M zv2Kizj}I9gRuQ0p?*M=p1U(PJ75EPLZD`2-&rmQ3J(>YJuOAkAu#mo2K7hBZDZC%t z9VT#IwBIJ7pInqS&dpUgz$Rzj4+wyt7yvw|T`+s6hG3rnm4>4bewh6;2}W3_~=%eevCjj zQ2>E*d_klDe||A(Nc#LVV=?opjLXU@%k#_1;pUW=7FU&%S5=h&&MGJ>&o1@7p0NAG z01$0L9l!|q0FXt}vFAXaFgI3~LI3oj)2G^?Ye@a*B@Ox-+5tny<&~lnX{wrnubs$} z1KNS~p++_N_r=$sD@BsjF4b4u^(hdxhg6g&I1Jpel`uyda zEluMIi?I8WncfBj0S3taJu-#qU&2V-wO#VX{Vqm)=L81Wx`~zNm)wWrSU@>^4n+za z`h}xG(BbjlMYQVo6$V`MM_1v&pUR~wA&uibD!}Ru|Jjrb0uFq__1Wspj1&N{ma_wa zLk4#oW&#W*$3Ac^{$Zi*ZQMfwBJ)QOL*|1s1jzqk5d_fj;oBh);ac?4Tz>d|vXS>MIZZ%ubJP2_hm$ox#VU9)kAnIqA zNl)WR6fm~FB)p~u@RWBUb@B9rvb1-r$zKosVsoFO97B z)>mM?jQ~C^<|myts>^q0)1N*W#Gi|gWr$JHE|ZkPm3Cr47Rq348yz8;b$exlzwKi7 z>=Z4<{lRjH1#TWjr1s;ZKIs$mHd&H0ZRO$Av6|Ma`f~IGqf;7{DyTcAK=r0A+DSsp zD8W^yy;O)Y!>Oa}d*U}Jw5mMD1-lwqk(qjsXP;+jy_upR!d5UHXi?ta!oifh<->wb zIXT}3BQ$UR{jJZ=jO^{v9To6&HB|{My00I@VIV92n?j*fPRV@P3q(-MsCD=CBfHr9%!U zg9OS6T8RMIC4R&#zm2t*7_B#dyZ6sy28L4AgwGJ+ypVYo(9{zpHO`OoNq*vM3fZ|2 ziy<$nXPNy*lf=qpD}cA}NILNbZUEQdwy1+C;v(u^Cd@L5gQ>Z&Ex3Ha8U3v$`5^#q zAQ{PNbSVZovR@z+-@ddQj3P6&h{oy52QIFN1}s zD*~KM($#nch5f70HCw-?1#kkGv>~Xl_Kahzi`EVQ=7*Dwv?q;oI*U+MXETNty5$pi z!?Z+^7@`58Cc1QD$k|K7GM9eI>2~b!O+G|UbLk;c+iRomL#a1c2bDgRNoD#~{4Q!V9>wKCy6U`HfglyDdB$AK;_NrizR7ia+_0sg zB%ZopgBl-Pzd)!0?2Ti8A?=lBCV)gn1#6VD#83Ihf^C=@8Obdc+k6(gX=cN=lBhRE zA9tq$#{JOh^?GK0k#mN8YbRjtN4CDRMiHrO>CSH9Sz(1d z?gjbta|$-usp{9&f#WV&M17;=s zglw+4?uBvd<8P$7+n?-@6jvjfiTWYK=bO5^$kBAkA3s!x=gi1c*N#R8lcB~eUa~*R zsb*sKoYW1*EJMLk`D-!j<zVy*vAEojxw#5T{Wjta<;U>C zH}uqD4r`Cs;GpTBaraFs0eW-B*u9XWJ=>~vi5BF}Tw}0^;DVt zXD1|M)vd=I(a??v!d(|=%Hfm8g+Gl%i$(IJoZh%3qW-qVcAPvC=nirn%49(&hbvt_ zIDmA>-w}7iPz*OuzS=_XT9o^g)j$Z@`+N;b^M6-6wf95X;IahVT@Z923mc2lcXmb7 z!KXO}0>l#~HcCdI8C0)ueYZMmlSRk^nx|0Nu{>_O;CKczmM77A?e5*(@RfJxoCR}s z$f(D`r?hEV-m17dzC0dvz{;cp9Dk9bP@nhKYOiJv!OzJDQ&YVp*j+tCuriN66-$U> z${@+bP2rIlKY|u}utbViXKhkN!rxpZe8W&@86Y;l+2;|52ZZX`OWT<2eBZHd-5ajP zTL2ypV@p2Nnx0l3zbAcS33xa;cTWQrKo!dhw^she|pB*5;o3V@n~ZY1Im2?RC0e{d`lZqHz|t;n3GChm}0wxEbGRW*qmpHu@Qaqgdfs#f9zz}pRG5&_8^nPrqKzJ2^|pa z`Yv;0@Hg?rkI_a7xtf2cEXeO~(w({>)5Bp>3hi@)#Z)4OmXxod;blPrwf$^O*fZRpWAZZ*5CoG2Y4oZ5=mzNtvB``9D5+`}ID#y>yCg;36Z zpv;(ZPLEzqQJ2>M$ZMuev&93TlRGDDn`dKD>o4{~a_WVTJBb@d@C!Hs)z*rg5uJWqsypZAJoqXGK z&~kj7%2><}A+rrS{vxl|uybmPF%#3^)4J7s1r$}a&Yys!44LENcE_>+OIt4P({7Ah z`mnyJ8ZmTuwP-khyCjoM7tR^F3ttuys(x3OSK8A)s))X0EgR?KRd@Gzq@9#y;{JnO zFO2Nn*H-5>^pJfhrh~7R4*&!;tZ1q-VzXcCtS_!yD2ti!mK*_60M##3K!;->djj6i zoe0wziAbq3c@E2y#W=jkX-yEP;&br*!qZ)JP%dNV%|y9<-4*F_^L+F-S+%OlH0uTC zn213Ku;~yAreLWuf1XPtKarOiM&02s93!o63NuRrr!X0|=@6e95(6jRftJ*+7ulls z6`_pl#m|}xj*Y8*-G2`HkM-}^Q|e4@^QXdJd)3h?I`vaaPNWO$g0|MnhmuKOFIC+^ z!|x36Nt;<2;qS{0$UDhy@wPP=pq2xx4~*1RK?(Tuyt6bFrs^r4ovY#zp!a8S=gnBn z5;ul$i4qva1Krq_(jm&+Bk+uUcxHO+5H2{{w{?C2BNGW8mZMgIb)cw&B~1wLTVWB_ zsG8X2{B?67<$){*kazB6h5`NPg~Ho|C$gZ)2lw^1D1nfKx@s0nd*2*!VWy0jesSmLeJ|Kmdgnr}y}&?w^u5UlXk+ICKJU7hhvQir)ac*tNl-cYjtO+x#Tk8P1;-zP;|Y+1u=S4iMh z8G7vJw-_5OQM+}IPm2PQk#pusWP>rgw@FC(`s)nTzNt`Cdt(zF>5^;&90qcHzJ~Fh zV{DVwhEf_~Jgx;)PLQ4;QO4UJ&~Uni+5k;+xvhlUx?|t%QndP^4hT#41#)=)2Js*$6SJ=z= z>_c5HY_#UZKQoMiedf6!!HYxr5hNGZ&9kH<^_2Yi1x&XQr;rJoqtJqy?0zm2uCnDO za?MsUYn493{(R0XT2uRsbQMLKQ8-Vf-Jeg-b>g`~Jb7?!Wivr}sykF|*CoI-o7w#e zn2|3Ava+dreyh9OtI%9xE1rgE#+sATJfWS~l>|dWHxy$tRjr?s&3uDP1IUoFF|K#K znHICmWGQU)p!jmA8XFC}p=>AYj>yC0nkn^xfR8pa8qG0_7sXrXB%{ms;vh-_O7lm% z+Ghqh+EZu9e6OjdN?SByN+Cw&(94R1UYpqkeQe=PjS?be%txMsnGQ3Uc|_U9WbUoN z+{|!*kjSUCzS-0Uz+phZZLr13z(TDw-^5ILk<*1Wewa&@(~M2B-*#vpaph-m=Aw74ci|gS1EF<@i2^Bp`0Y0Ko^d?3~`iP(G=J1kQ`X!hRj#q!uhLhhRtuh@x5QM?k>_q>oVhlKv6Phd6i5w@lQ&Oftm7DKv}Sq&RMc_G0GuLBqp-u)jIfK3LkK_PM(3p!4S2;%Bon za!Mb3wPp*WOTS4&+=B_D8LEBaDnsAL1)UuZUq0mKJh(a8SCMZ{3uI4YglFZ}a@GP7 z>uPB(j1JL$vtEry(*DlT*`MBMwuPGGtN2$J2JtG*6Q}a?TiDf0K=2SN$1_|7M-xpK zj*ODeHCDlfW9I4gX_}3qP8^iIDs|RAi(83eVEgKHgM=(iKA$p?FK!&y#G3vs)(^yk zA2CuaAPdg(1PkS*GgZr5G+K{g*{Ax)>Sp~Ms->$Nck7z^)6~J6w2oS}izQFKEq9qr6KAlj=p@=u%J~JEZ06Q^o+*<;;*C;w>B=#kNOCiqG;QDg43Q_CcCl&F(j#&4%;?3g zJ?^D5@|V&8Bo(2( zDqlBVO#HI9RWaY*Z(&k(Th)H@&Ii%A8vE+ABO&-&XgM1lcZXo51CJ#8c6tMBXd2WQaoz=o&3H6JsX#)EZ{ZVNEgw3_|=1$1LR*%rm>RmD|%!XT{u z&L-z1z_J^sGUp>F#xtNEDlIwjO8NEIl*vN^R6qw=#urx;?Y0^tLb(gQ(NJzY(d#d1 z3X0TaRS26j>cATW(tYfd4sEx z3#{{)XlQIp($JcXGxao#z4+>5u1K-wIjvFC1#Q}BHD6fnKfs_efY8hl&A7Md^tPd&BbJel+5}U1sHosrQ4HL)gSA-&4 zq)Jw7I>qd&B+2Otg=5S|?ZM*vX5n(Ob zw9^Gd)&h#BPce7=Xa)9 ze8wJ!hcr7KPUU+(b(>#TESiJhQNLLoDhuzxKmOV=p_+aKZ(9jwsF&7^(Le6}rQPfZ z`&08mu81F>{Wnu}{9bea`j=^syV{k9cWP>ps5u1g;I{PvS_NsWz7aQ<5lyv z(mF~4akC(91Ol<~R(?Kn#M7pb;n>ut2w!PkgO#J$q_VZRx^Vvvgk@86Bc>vZ6Qscx z`toWHV8)Ujv3V*i1!Elbp-njU)iL^srr=5p4?3R}{YlXsk+tE4zFMSpUqb2$^@<#p zZL)tCoQ?}MyfzSN+iBwd^A#W#L!kW3m4{zg7P}HBtw_#p2Dp}g#VTUUnUFuX+n9AF zSw;b+7#DAMhLDlWrk`O|!W>R+p{~QAY`&yC1bKkO{w>}qJeRr7Mo>@}*co;v4MeW{ znakPB=#mRt9WoDhcpbf4w_C=Q0=(Q-!U=peqN1@NeM^T>7K@kL%w+Y|AV{%B6#+4q{Y>^p4o(Fa#sRB(98MCkTk^_6as0s)T&(MB7s)b0aD zNGc??90UYkO-YRg(~EDLGT&p2?(Y&fDc+5kwnuY`HGQnD=#DPTKI$%&oUHKd>O)!! zx%QRM;iOd}KfhoG-6U_dx?tULsAD6_6-jaLntUqBB3a8yT@q0`Y0`nfM& z7af{4xL|NPO{Z2*>?t3Bwb?hRGm2ZXaaj{Y8ECdD;o>XWTp{tV=w{`llW^Yh0OA4n zH)s+wP8m*&v(1=hO?9QPndvk)C3Q3z03mBlI4-q+pPI2O0%oq}`DytkMh>H@(YhvJ zb)ee`@xbPj>b~!DhR=){vL!5HQt6`E}nLb=jGWf5g>X0BkRhU$R`csoU&I zCP7JJt^#r^_+k}HCsDSobrl%Iy<16wVkZLbR}?KF_rcB{mA$jf5m*D7z>b;RPHOoc z8)V#{KL{Cx7SRN4!Cv9%-8VO9hK>f_Q(PfWmX`=!f<}61&Z)l7Ec%7y`|woqcxqjf zX`Q{cM^6#2#upM6>?F!x6q3LS#hpHi(!W*7UwQsbeK&O~QWafgll-d5e)C}d)H$Dj zhzOkqw*J)dzS}Q&_!XAnhhX z@EEmH5vryi#tSO7kLRa0FQBQ8Bz{9Ly)lHF>=W!UBWW4Rr*YiJUwHP6P!2?-_E!%c z#BbfgIt)yi?No(9S1?^=)_FMPeIk2b;!5;v_f}UVWlF7Jc8@e|6=OmQSD5-gw^yM+cx5*qIFhW^Nh-^W!dx0FH`lI#YL_y zBV}6ca0JQeeklWzXv|Y~g?>Z?PDWm?*zGzCIn#97tggj;c+VACz$lTfLGQFh^vIiN z1b)QRDyV6I*2AD9204S$(>`=}HSc+HgBReRc^>By;|vN)_aYCu zrYI~`PI1G&F=f*>dK~ZZ+8+vVm-z$C&aWDlXHTRqXZL06pV=ooDZ{kjSUh2r=3ZJUpAqGqq#;Bxop46gvjgFn2DytN#sF|&PS$o0NJe0dv0(iYEYzARdf zd?ug`dkQz$<#8gx8Eoz%8u)kUQjj{7^TX@0WvLegR=p|XfwufdvTmp3+jZDf+k(+3 zoF$^8Ak;mfq0qX4Y|r~I7c6B4Zj6U|Z?x|%1KY?y68Dso!oY$I-h;s=6m64b~m$Oz-{J>(}Oj{aF>q@ktV>@!DQr z>yF9fwbS8n%HMlXZ!%#OdD-_CqGrnQU#7&|wGz3Px8d161CehJD>z&hTW_#5Bo*X# z576zrkWj%*GhcBj%I9e)@;WVXd=_JFyUR??2@Yw zGBoO0biB5A@AtemjdPez$pHT6KkK4}s_-5aZ>x_Tf*;ik_b=JGd`J%2N;cM%?K|6Z zfqPt^mJPDEkA+~$3%KP}o2up3%F@auMc;EhjVN~H)%uNyI9%K>WSYt16t@NJxlLg0 zzXP$3JivX1Iyy^s0Y*6n8dv5wi;ds0d4Mrsh(iguF7`(bMj&xk~9X zfm;|FFEQtm?zH@66k>XtG}VdgF|^wl-ZOMa+cO{~h@FY8BP~rDy#=DD8izCFoh1{$r}v zTftIE(G(RsJ4IBli7%Ld!z(5roCqJVfHwC?C~Q%q9UUH8XC@EMQoLg6<6u zDkU$40Pjzyn^_z`;4#8nL70#{5OVy60d)X4o5;?SfHh~a_Tw$*=~d(G&Z!p*=9)e- zTn-tiLAYF$K<8)tPE@eH@`YA<-=gd5pHx5yYclXc0`CV0erwt zTn2uDP5_64#{db37T4uv;DefeY9YjcJz@fCTqTKwb!dbP=LRWvqV!gk zL7e-N5yFOaG!H$0^Wj+DMw+Iazqgr=XfL+I9Gcrzs)nQkiBifM~|mVMpJnQJth zS0Js$(jGu=aPVlS=bFSd)9eR$OlQ|)Wx_q^$ROYHx{zHHmm6=F4`xzo@6<@tg(hY~ zC_J2`+Sc31mo?XnZR8_9?98n{*D>Vt^BC?wG@H-lX<|_7^_`_j!- zshPcOTX33*M#W2+vJ7|Vg{A3A<%g128C=sa1ZLx0JHA>+v|vK8$V$f=`^2SUFVlZ< zOWHlW`5?icnOU_lJSNqcJ}h+KC%ITeVs07ZccHH!a>QpGwwh~%(1A5rilrS?D|MPwBYxkwSY!U|^Rvv%MxRDFrOQngjdzIvzFd*xTXS{UxEsj`YUu8IPGhDLbU zWME-;Mzc*xqbQG{nK=a1gdQigNRj-*h{sXW#`-FVGs|Ahbu)GixXrApWIL%RHFte~e82pIfO6f!TtA*e z=-uJ3c>=bBQ@euN>@qFWaYAm(Vsr|XD9JN8qsFLv4IhIl63_H-U1;zoa3A548`B-! zTOQ+fU96Jc?2s~Z2B zlJzLz9*I=RXnvuBhKp5-FpgugX?;3oEuu`y{kv>rt)zl@Cm-W$xz1{05BN2@DM~4D zfP{4!;?w4me(q7<)|I=QtBaAF!#nm{-u9$5%Eyl_oN4D8WvhJ7s^Ia|?Kv}wSt-=6 zaWEKleruze7_oW+YLuA_f`R3;`fLlPI6a|B8f(OKi=@s-BHRvB>OIH|N>r=iGgT5z zTGATDL(zWw+N|Q6Omy4FS*~mGjN7YVF;e<9>x+_bbZ6Ugj}&X?%RhcO@*%W4Q4?-T ze)BG0Qu4G?k?xbL4aX9KW<$@R@@jozGP5`2Yq8rbDB>1oVIlTn4x-g*8{PC;RO7dc(-5)7ZRrIBDp%0qO^k_= z2}6eMLBqi)z{iIIR_B379Os8Mp<2>MaE*Wq6rqjO$e6EY`0lcQW_7=^pE_!d?kjZv zX)sHp7Nn;TDrDq`heP`8hZG7@@cu5>uM;ERA1~KxX3`+Z7jW7WaP$X{iRp1j3&m$x ziVf|Tf~QeY@Ph(&qZIB7hHVEr114#T7Y_x8#^ZZK4+{|nm$1u8h2RTj@I#_L`ZLj{ zTL-RI(+2@)uHz4F=i?8ZT;>meikKB>j6M(w7(PUL2;{`tw@*&&7kD?!MXVEENhuFV z1(t>mTEGSox3^4&TS9%JPf47hmxFBj;ViRv3AZy9{`sK|CL1BP6zO@lO+^zGgbt?esSrcK+On?l9ps^7&%uLRO$9M-Zw0OhW-BGojG(bj?uHW3Gj1o1+5BZ3q^H$4;El zXEj8ZRb~Pc*2(%`&O2b^Dnq^rD%R}-XReooe#>@^&Cs)s4brQ>p{hhZCp+`kXR51J z?arT)lm)|<1>q7s!y1`fsq5M9OunlOBB?EvFKip$^}(y0yo}^x%##{OzACK`Cut-1gk;#&RvWN zTLN-&JDFM&Hl+(R4Mde966BqOCaVPL_tF&@nz6p>mLc4e>;8hMqFA5f=^JVS<(PG* zy3+zfEW6cq0j#2$WH2m?SB)o#2knFKs@)tT=U9wG*ZnxP)v2!R+%WhhMZlE;$BJs}o+0&8MzPT%O*=bOjBDg4$9I zvx|U(a-8b-9rE2f#*3#>L4vrRp)oQpOhfVIylcLyci=|L+ey*m=T51kN)H%%5n36DF3pCNLeQ?IEfB!PM7L9{4;M@U%Y-o8ub zC*;h#EWgL#V49^?+7lx9U-bBsnX2{F-W0{x%V+WjJS=R#s_FMHD1J+g&u_O(jF?m> zA3VfgW4k|YL}1#Dly&r4q|NKr`&-q0H&P80?X557>QlHGJYUJxB{+~?V85>J-;fLy z`RlDEx5i&J)ez1GF@ukP_gm@=qj7RZ;&HTJ;(_m@Q!;@Ef>=hyY1t($ZG^Wg8#yl( zCLwW@tER{2-i(lB8Cpn-*n(_(U46>vOR2gJb6=EyZ>&Ez{L?yjPGB#a_Hcs>#;|o; z?^l9mGpcq4seM_z=R6ypo-P5;ZbdN>ce;@@NOIcK*v>N!QkH)Rbkk01m#?X7bc=s6 zh-!6b{*7g_{twHLM^KBx~plJ=4$9i~r?`arPiA$SlC*RD8nW0Ipb3KRixe&5GYmKI* zeQfP+RfU;bRc*yw4I6t|MJZ9N;+gocWE- zqO9igG>(1~^Q>Q`O~&tAIU4v+wt?rN?kV|W{bl@_Z?jz}*Qy|qtJY3oiJ68Gur3~# zCXM*oT=|hmQ6D(MXD+{d>=tpR&C)};*7c4hvRSp=1GAtsrSpA2_mW%mNRr0=ntW~f zN>kGt@fewDxQa~`1dcIvTF~IByZE|qzNtq4IdY!<{Iaf|PpG^Z7#fMzS;yT zO|*+e8sMm@daFmekJ|9cBgrPex}^&0&kV@^_4?)BRGO6H@ zLP@w`6+xgTLI)Qy5E*jZ%}4=F#9I3%P)q~MB$O34NBJ|K+UGGvrS`c-srDgEru5Mp zRy_8ly$GbJWLPwuu#E(=bq>LWJxXTb>wFLAvJLmL-yyrpfv%u%y^Rp}Wwg(gjs8c%CTce2ry2Y@MJyQ9cwBxT#zfIM5}XL_2~oa)!^rpJ$TOx)g@zEFa=k%3 zIxdN;k>14iV0|duksH3vI4a}NlTH62DR6n=8q(g>N8@JtUX%r!cSQIC{9TpP z`8Tb~_CH&dmF2&_eEdhPI%#vj2jBHcX#y9Y0IZMm5)}@g(64q-mq{j6*&V=5l+xD{ z#eVn7xg6c7(8TUHaqOeC+H`s|I_Z+2e7z$(Rft^sv!(N~AgjXbs_o>O+IoC^l)0b! znp`{5dP;h~(0aTAci_`J&MM8#6|^Usm7+=6pQ-S-}wo#Ag) z`~BmW1!qw>d;yWj;Ic3LC1{?njqI*8AI5XjrOoC?fyG7xYh%rK$5u-3UdtVCrc?*~ z6XE~W%ykDfwQYSs5r`m)0i|6IC3HywA#@Q)kkEvH6cI6m0HGy>P(o1<5Rf7uO`0^p z28e(L6{OohdX*wgdb<=UqF;RP-f!N_y)*ZF|9vxO=InjW+GXvT-&$wweb%ocI@ltF zR)RGh5@{VoG=I3b(-W8`Ur^J{ET@NZ(`g2H#5_0~Z;*j!PneRzY$&&mgayjZrf@b3 zpmZV* zDyNT-r;c&zmz4C&oVnmR79XT^*Ogkq_u$1l**^Iu<@`-{?JoE8+RYq@iS9NoHp!t6 z%Zr=fOR1Mxddeh>h9e^2eWK-Y`2o4+x>*zakQSF|mzzUeq!h6>bza2VrSJx+#5GxW z597vrN0#*)1#@&uW|SzM&cgV)ijj}`b+vsuCLcrQPgahoNWCuJiI^O^cY05lmdqdQ zu=15-ySYM2AjH1S{Z@|mYwgW5H7T?AcOa`gpBj^nxXVbo7=O=%Z_;n9)90&(=;z5B zAy=?7_g9+^&;#Q3hV+Dm*6U+=_Mb&#uTi%WRLUq00Trr)t}l`VX7nRdDz*R!HQ zssV3Ey;6-kxSKr|un|><4C$%6wRmA=XKK3!9SCg;-EE;U)Yn*7riqA`6S0H@YTDD9SCs| znpN2n_zUBm(#@T&Ti(OgO1#eP7kll}qp@uJz2e%$hc{|Vg{}zMdWn>RF&)mON|*<2I`ytpiN+SIJvjVZl?IiS z{O&wBq&in~E@FpCsW-*COLHre7SKPGVq|fJcS^|h$2HMq?t69Rd6?`Ajb%`r){NnU za>ubPbXoHjI!z+WIhS5Hmr8bMg=`Gxkkz|(9!~}C(G4D1jDOa+xdMBsLdGLXcj;df zMo(PaEZkqGC`~QrZ(cj(H4*=d-piUcUa^CH+Oo)cR=st;8`m zh+E~0SHrZC)noc?Z`$_rgU*V?ug%+6ym|Dvojh`}c)Ys2)y}Yn=i{@>wBpjAwie9k zua|QAqxx?z=^4hJ$v<<3K~Zx%Q#SUJeUIxAU_x09ZY3x023yBw$? zhQ5N$xZ^>sVA4N1KkF(j-l|4!JMAg)Do$*_a4%&6GO<;~H=&g^M(mipy>-<3M>|dg zU1-iMnGfDN=6Lm9_367H_VNk4uDtJY2!%s+5tGoYw0Z?SP#b@L5hh@vXkwRdtxP%= zv|bCImBw_4cNkbaZDso^)H~omF0k8pqgF@cnIx**z*I`o*(6~J?v7o{oPC<-Q?g?w zR_Is4Ws7Lnfvn|?=F5fZoh_Jqyfv*O)y$TWU;O&k*M|dbO_iUDFK7P#==AKljc-SZ z*LOBUSWPB_dHg~+7GAOL`D5^NakQV5uWqOuGKs^d#_B~hehpq50c2Z3?7@O5+};Hiv~9)m!N%6MmtV>AK$ zi45K;R~nf>p%9#9phg6mKZ)YxBhBdJUxGxE7m7hZ1xTaR6=8}>FeF?Nj)18m5OOd@ zDHu$OA!kBz`X>=f3XV)BI5F6)a2`Gc5Y)^PZKI&?>*3*u^YZ$ofTb(Z2Vh+PRzx1K zB2au7Ljy_*a0FagO%bWAbVgAD`KN}A28_8I6a5IluUSELD0o*!)yp?P25=|isIEQ) z9N_myA4mly1;&~%$g}>S%=yoKNlS+60Q7>Rn+4Sq1T_T|m48K96dx)8SNY%6Xa+Ht z${!B-pJT98tIuAO>fn$L>!r6=;%kuScMLAx?>@HNwuw9k^*PQh<4a5cbTFz5-w$k$ zy*P&}P7Q6|e*W#!$D=`VlTPnWNwDy&oS1Bv%EwU9H-g(Slh$`G)HS>k(*|J#upt|+lEa{jVonW*SNbdhAf@wqvk;kS3hPo9#n$Ko}^jwfKc&$CnH zI5Cl$Hsk&=ovV-QHPprWA%3}AijFS5Dpxy2`%OPE3ya_f@wMX?MoY-wY;Wf{6Nx>~ z0CU#BC-_*8G;Yrc11l}-ZM7J?A;B#*^%VBZYlmS;ME!0~P5Bf&D_dJ6l=4JL`^R2X zl~*P^llYKjw2{ly`c?lTBXbc+K*)vWFTj0fcZ2?!F7KJEyYpywt5kC}&6`*uQr3j` zOcaws*_}fMf8}9cN|=6pbG6DIS#@$uIWcYY>(EnoqXqE++bo-oy40$3RX;=>d%8X% zM6}GWN5)VJ@cH^y#etR^WDs z+?2PXCgwceD0(@~kHU@9+@@zt@iBp3c(chHEl+6rYcw3@?`z*xF}*$TMm^`1KnZPS zw1~+IBWnhZe64Tjl?-Y*B2$MkjOLZAiR$BUuLyFsZTwMMxzXY>c<|l(2ifQ6jI4sg ziNv_>)_HUx{(Pl(wu)C^f#{BDakhXg4|qP2rLbRKMfG=Oy&qv(7G)J*RfIckaXJ2Q zi5}IyoO^A*Cd%g9w`m!{pJ7>R>uk*@PGBV#TM-S#@R=(&tGPxlcqbRx32g->IP~DQ zvx~%w46j^~|77hCe7iUuY@)9rZst0uwQ{^6@vi%9OheH9P}glsE0Y0^h*J8~KIUB= zagTS)Wu*&PS1Fpgx)nV@(~o~Zfcw4A?j`!;r?-{}{zMk_s{%`7?b^8SYq?$xh|e$@ z7sMf)b1aNgo13!APiMXLrbpqC`>9ggnJ>_gFOR}Kv%6-!SF{J7hko$P(;o;0r6A>s zCLEGvfBg1P?kvbUq%HL5>FW|5Ed|GH?hYP2?4ps=xCH6r8^3p^I;S~N7mj=osy_V_tE&Z zhrGS1&1Eik3Od%i(HFxDLvKt?g~>^K6(hCy(=chtmz;l!G_rRL{EdPCt8ucy5}ZL$ zjF%H30I-7r2&6p-YC#MnFiIe(HDCt^7$+%=XIK)63Lt*{w}Aa6?o0yy51~Hq#~Q9i zGcc-)A3t@FC44HBT~r)(7?3b{CmogT=o)$HLH&q`kp298dF8ffQlNa8(clg1(>+`X6jj;EDhM literal 0 HcmV?d00001 diff --git a/figures/vertex_parallel_full.pdf b/figures/vertex_parallel_full.pdf new file mode 100644 index 0000000000000000000000000000000000000000..90d3af045b69d52d94eec9166cd9dd3bdc21f88a GIT binary patch literal 11117 zcma)?Wl$!~lBj`!0bbl4UfkW?-QC^Y-EDApcZb2h=L zKrd!#<6`Orq!+U>bTJh%HMTb~1@Q3!oL!tu4Q&A)t0ii(wQ~%JU5DyVP>}R`{;y9| zpvbL}>xgAU_>e&!@ezJ#8l zG(VLO3t8wvb9Qp~R6Ac+N=9k@x~jH69VWi&F5a{R{o^-x4T*RWW6U%X7LMa|N8rF` zXs;7E4Bvq!02)j^agL|^H9!UX`>_9&_TH z>-rM<%*@{z!%2TGNEfNRpBe6d2-*5`Pq%`1>0_y@n25p_bSbZZy5Zs^5FA6NTXQx0 zLww@D8oFZy5Utjc%0tcu%-=Au*_brd8_?dM-Sd2r#uX`B(0IN&n;>6Z3y0AR~~Gg^lCi>Bt0RXJF#| z_vlOe-y)EMfsylno2NN0?mXGHb8LiO=b{qercA(03< z(!E1Q;_WyRffGX9=p1`bzHHCCd_UZHKmYi7nw_zmo?(1o;+=2aS7rd&3R*E>NWn+w zCkV#IMhXrU9@J;}TL4u8J3lf2#AW*e#4sQ}xhX%qDV^d)5O5Bu5RxBH(L|4GaI_Bw z1_kP8404C);0=x#*+Si~+l7ee4LP3&0)hw)G5})7fWeMq4mAsE0(licoDIUJ_lXey zeIhjvBOg3u6$o^D0O|#_fbnBX_OD=FK|(_d1jGYFxPQfdB7nle)_?0)K+I>xUW4Bb z3h4Zb4=Umggh2o2k0^MCzwFzP<;U1nN2eB5N0?xDs<5#4tjVyd$)GRTRwqBcTM!6C zLLmo)1S{eTfI|fcsek{z8ssOu*1l2*VnO`!2TwL?iXh18$sX1(010_0O02=z+40Bn zhb1XUEXcB8e9M$WF%CAGF7t0taE0K`U_=Irj)1K?33eQD#7xi}jt&V_Fr!y)5ceUlMaH3xg+p<>m3#)3}~U? z5CQ>&v=@j96ljM%ZB+D5j$hJ*41rW4f+IsP2;c~m_f8@TC}>Eiq<`|8p~rj^VPC}$ z5(z}KVEkj^2BbjbO*nG;WaAVPvbdj_UC!Sy1PALq)cN-P$G74SE-{#Qc@(Xg-V@{l zjJIw%9ScA{9`3;zMBTSQXmFQpiY5n;sn1=zH-GjW{)d3i%jinGsVOc2ip<+B1u1v| z@D8hh?||^s*IuFkh499uPvl#7bCj7pDh}6eD2kcq%f((ORD*}3KxCoTZ|~3JAcB=b zJc4dsh{-kIKww?Oh$qcNO{M3^Bb8d&2kObeGa{hQ&P?-EBB1kj8hgdL0ad1e5yV4{gU)!}@QWkUPn(>|b7^?is_pDl{wOw9z z47u9ea#SpuXX}U2Q71TEMDgROGC-<5s9A;!xn?`JS`)Kin3X{+m@w5m=t-iTUx&@6 zfQUvK^a!(93haz9c1iTwzNV~uJfE`-<~A2krNVEF=&C$pmIW{U^z&omYOMWmE{Nw% z=Q_D{+FOy-AZ z)C3zJ%r=^Aq(QB1ocAXRzkRS+Zb^wU>$*5cZYOl^fU5(Sq1oQ9?X^um$p+sff4J8{ z`_d-=-o9wgrF-R+wUX263zExArD&$Hj~X~v?HrI)U0$v+?tInuabEFLrYdoKCTH>> zWbQ46S>joNkl+?bk{Us?WPYtCf;8N+PwlS9dTM!n;uyF}(<#F;a1^t(DC#m zStX$Ta5Mt5fC~HRTZos8yMC}b5zLf0LUEb>F05Z9ykYLD+>XZG%R#p^rve)HQB&O& zrP89M(w)ic*vo=-gd{HUX#3CPUExoyCi~MhPlf!iYALfSJp>;d(b z89!X3&{!L8Rybf5TR)KTE9zib>yyfc8&Kf41yj>x&EbdY1Xb?M*W*0JQxArj;@4_o zTbj9+DsYWXB>Vu!Ee}TnSc@N4wML2#0m3q4pKzYHwi=qvRgq)U-= zwaZuPl;@gMH*J+@{L!Z^OTPQ%q0wjUKDBZYcrHGK>&{WBi9n2d+V~%QIP&=?65H*+ z0ov!J5Bn+BcaHyVYA99$PZp*hgSSu4MSXiKQNhyay@bRhmuu$`S1~ai zK<-`ysS-<;D%om~;O{^0(y;?~YMoOJA)0WM4t#(E5MdGI-)9J&bwGL;(|{e7MWtF8gSW!E(N1=ZRZ|S!uJA28crwH z!`-l++>(}~elUCL)KZM--*LN>k}!98xYtBDu0iE(Yfr?1=wlxC47)jAb$wbiVyPK} z_j{W%FVE}-q>L`8`+D&pcdWeqVh}7lUt-gsa_2)0mN}0+_A2)^kxq3T++Gau^VgY4 zr{_aihEme#7-A^tvC`)Cia6#a&FEeA09-qo<1P!DhR22`ByqpQSBZ`Sk;8FGo|{- zn{NH<5Fy3k-kWn2(lDinN~D{r!VK?GY87l;y5Y=`_xlLIw@m5Yl>_=n>3Z-SH9r~E zI7#Rei1pIz932PR`T{f(e=|9Kp^RwZ3gNURo_W#*}HJIvvF zuoJFLcBPm|3Uf-|I5#pAa%awtnc#=Stb({hi?MPBE1Yj;6GPqXUb9HHf3KmO7~Wx; z=k2A^u%QbyYgP93aUOqN#KwB;VrMh0er;Q76#pRO4bIzN8rdDfRhLW5_Rk86uKsrt z-8|YP2R%%(SYfku!>u9~T>ihSa=l}wtmB{59{DIVwPbh!*#e~}wJPzUD5uk2Ym4K8 zvoQ#k?}d~S^RF;NwV_n-i9C>3h53mKYNRsH?tlgp!QsJW>e2z7{?*p^3WEgs?1d9t z$hPc^2q6SI*qYe+8@VmJ~!y=Y~fhzk{?!|)>$8P04mZt~7MB%(r ztZ@=<_+(@5U#WD7k71|FXzdpfx3tKMQ)!)LDQ-_`a-|0glIP3hN=;A7V)fPYr1Sl0 zXO&Pj<+0b%XqAKb;z&#~a_?82oku1$e3p2)F2f8!ozNIlMh0RPuExkBjk)ga zz7qLnPPk`o+KFV}yI|uh!l<6S0G!sMy9RR>=(*65QS!24JKl&m=1&g6XUk^-bfEZ6;=)bN zdUE`!oyp`Dw3ORq2HPN|T>_W&j!FqkE_d&xtzrzx*ni!;aCY`|oCU0@hU4XFwDMV? zA>R39E0b!Im_37+K=uIQkTAGmKxw9_b@wlm(2#TM_*?!6lR|7;8%IHP#EHB>`I?cz zH#I3o7dUB)7umzJ0s7=aMT!q6f5v#_qQP(J^ydiL46Szl@bI$njw;RKa zf`u+!Pw>L(d9fTDddZp|=T@O4Oy5giMMDyjcB1*0~?-n_xn9j-*1dCgtF@IdSc|4IEL(&sTC4M2*3>p)J*FCV7k^!?Z{J34-GaM%#F;OOJQoVG`^|9oHv4c? z@rwC8x`83D29?uj=6<#zEpcngU+y-41W2!(#V1 zgqdWhc(;sL!XaxsgJ)YSX-F=+EFd^5p%t0!j|NGcMP_ z#GYYet)-6rN+4eF#38Cm`}?+AnehpW{wn!ViR9=$6x||Ii|KrGrI@e-zY|qad1-3j z;q*Xq&>ldhQk$bNE_hP-9rnU`K=~|eLrXO-QJYJOw4+&M)E@dG_p(0*wzCp zcMQg6O+nhqtHN&uPk=;sU!!oql7>@?Lvn~Y3_}>3R&V&kmbo@P@yUbqnHqj42uy7? zeJL9~>C-vyKHGzG zP-PZN=t$-Dk<-DA)l#AO+@UA)=p`kPTP)J$u5L@r*BXiKL6(Hn$V566;udaqkO6Nj zxh4ZM>I}=P#N3g^)LNWy5NWl{_!{@+a+Oya^vnTWkF)jr4>U(aA@MsPnFSf0tb@L# zP2yvw!|*TRg$^4|Dp)A$LDQHw3gmC_tZ=ijrt%gZ*oqbg9G~RSgrCWSDW1|jA9oE(&#aLGp5IcH>As|oHYxcDk zc|q8#L0jKpwfybpN>i(@8%w7rE^GM*zpQQL9j1`V>T$o9N+P?)ckCI;MFe#zI3669#en)5IC; zMar_HL-MlgeKdS74#VVFF=9fx@MXYPycX0e?)JdeMBFpf^!_S&bM<$}p5+9$J&r4% zGenC&Yx|Q+{oMYz+Sd>6uET zNxVy57riu7yTyc#&V7nU$qhG-mlFsqRvU~jl{l>l1b|BzN|-lO)tb3!`i1=v)`cCQE4UN|0scR z-hjn>0()xOZz<3P{Dysu zr}4$Hz54>Lohv3(`pNG@J`0qnP56XZlxx)9D<+~0K1vH!f* zOQZcGWXabZl*)ik*V6)?cqCe z-?jD#SbFyW` z_LKbfX|`$Cs3By=T1H@SFl3AS;6$n&8*`A{CB+& z`5`IZ_|vN0)RBQmuQgCO?6UXhB$bC&BKHt?xX)S1Hmm?ds_@wGubX zH~P`wsrDs}V0g^aSFS0nt&Ly12Bg0&sPOzHLj?4FmR%Nym{{(HPzSY7)G9{rn$6i)gbs*M1FW7X7pYk13@2ZY;tl7t`udxQb z2hDl`~3$6K`OEG1!?!yx+B~5RsqFu#FJu-@q8|0PZQ!ue1YsXEx}+5%Aeaq#cpN3TD&8g4Qdu>9;$wFHB$XxT3qR_OjR`tFLL%+ zUHS+antiV-qCB*41l;X5D7Fd3N=qWwlus7&1+JdJx5HlIQyMVO^|s60au!=PHj37) zA6-fO4SRZZ>h@icGe;X(iqqFo0$I^uoSK-5q(SA3QkqS%-?x4^;`P@5;g#F@2lVMt z`35-T>#>x6g4Oz3k=mmu=|@RV;ts!*X z$MRDHWmzO@W)dj*ab@5LV`wtk%8#GA(yC~+mBesG2agSmxS7LjvVSQ7-kNYuaVH6?z7SWnEizfxUSL_%kMiG^g%-Md;8g%f@`5UCS{ zWv^BX1@Rcd;JnKGcmt{q?x`z&98}R(*4x7s7gT>kr7aXL+^|Xfz=qCAMWEvRReL&j z+4x%x&&{5ip>{Nz8&2=dEA(t4ubq-8N-LdBuXO^~bBUJFq08N}(VTME|8FGHwinfgP7 zBcD&o9ehsKU`|v&Ua9*;sqyKdAI>5f6=vfNr{YqSQ{dvd=F3^2{UNZLdU=FarK{If zR`O#sSo_sC`|4!6Ls)#9-@AJ$O?8l`4Jg!x;XM-7Y^0hTG>X08tKBB`t>6tNwd#NU zA7zQU2r9nsiCuARupw`#ZcQ-Ipn_K5fzCKXwYJ;&oedJi1CEPeY z6AF&z#+m@6TJ=_5=bCw)^X}!l^9%%+vsJbu&@b;E=kRo)v~}dgg#OWb<4wm6XFQLs z$!a@o;J>og-ds(~bK!8OKXesIZHsxeY7Un;PWb%Yn3d(;_K4aK6Bi+A?}UOm6bLjOJF4oh&_+_~SbPg|)|5=P=PlfP12(6e7{@N>-yV*thX`C8hg6c4X< zpc_=iDL9CvPJ2q@Q$7h;V0WBRn-=(BeF$z20h0~euZJu4vpx9TLpHplQ+a+~5)dGT zKPdXO(MVta1Gd$V_F# z=#4zkt`>Qk`xzTMS8=x@qp$-ydO#s>&w13>+w%KB&NZ{tcMnF%d0ncLHl|2CC53w{ zq`i}S%Lez<=2G6xD}z43=K{yiZNqReH9ItcdG0~9~H1NT!Un;5Hf z_0%eemQh=r=jqk$1;S-7j(rVM-x`1#&r{Pp6ppS!mSzz3!P_gV3QI(hju=svKu(m0 zJtDd|WU4AY1@RZYk7;RA>d`Ng$Q1b=IV8*8eT6C%7Vit)`c7&eOv)ffIITAc`A}U$ zaawg<^Qh;R(&A&hdcVnFNH_9LqxY6lF!ok zjXA2uOmnm)HK)6B;Pu=xZfa{@jTfTzrrQsSnEVk=pfv0SW13#&L9ru-nOt3Ro~G8r z!I_1OhHR@qdCozgTCi?cZ@$c&Nmxhi*{x?eBvlq>QRRw}&xdlHCe@#ck6QCYjmrHlt(v?vaklgK? zKUhhbNwqT#Z$$lW!?ec{+(^?EaXbv|ujM~>$~x0$u5 zZHn!=)OG}idb4TawSo;};ZxN5cC{%9+;`}{@tKo*zVW2S{?3yvQ~&%YUS@_!zcX`> z_D&kMA;!=lgy1m03_pvmH~D-`@+`8bw)qBV!gu=%n~3M(qaMrCO-~ehhZ9Qud0EyD zb}uzZZX8tm=|KzlEVnJs@sf1@m0`oP>Am}rEdIOZy5t1_)RNP ztH##ORnPTHc(IAziPr*eK7yF5W8M1R%Bo3+b=A_X=GqZ$sdnV?1|84Rnomt-(6p|z zoW-!kxHDm?DB1#AcxSREQX*5wiICwP4rsyl6*qCbKiu%!<)5fIsG^89!C9R(vU#3 zND-8*0QDZ;$RMv7GXnrsyQBRl|1Fw@?psgDU;3=nK00B*1lD4)q{m6|&NKSePl_nO zbvNoEh2%8xw1jfq2;>3o{F3_?_VYkcw;(|SnMkdK966bpZ0s4MwbE7QVO_p+*^>fM zky{y@Cd;HC=~ezl0d;^dU*S>J{hlEC5M+8mX;W);?EY~;#lq4V z_;vr6BQ!uYQzz%IrGdqAzAD=CYYeD<)3qFN`4KP3Ym&u)ijrj6T{11UmP!P|bfXFq z#lLcATbGU6cE*|WWY?Tq?f#>Y99U8i5z!(Z`%hAm7Ku6u0b=n(D40^DJ&rRFlA>Bs z;6W38b@{jtiOLDPrVgQfZFU`++G^;N5pCnM-fIg-8a(*? z&q*2d-J-<7Ktp9z(E=ppz|tLzp{r54&eBXxc^HlinTW~rq%z&|B}gP|^+(&*j*?+% z2DbWM9n)I5k@`58LAYZc@?g+RnRqph+n{L0d(4wUO4H zM3>A2Hm=p#z}t>46bskHr|=TDi{7j73&WQ zWVYLfYn**1Lw0WB03m!s4{w{Hk?M`DA9-BMzwT%sTU_y$RGkk`(2Uw&y8 zAA}QWcKX;OtrI>RERGr@5~Vq=tVxuA-tFqb46cq0XLS601eFydKWkdYL*z2t+Q{)g z8Y~n)a&AB^gYEBX|A}W(F6&=SduB(F>K@z`zpL)Pbh&s`Qpz9<^++b`8gPH~=GW#n zKz7#5Kw$E^!xo8tHqXoTiSdMW-%;KIDV7;`jGJO1(kRv9$-4#K32V~A3$cL(Fk0&F zUVdt>vLy&D+pp1m93KW&Fq0p|8%~81|mRh9#&>yVP;k_A$Bnib_PyiRuNHVMou;k24NO4MqwcaQ9j`R ztn#(WzYtXp)_)Z@@P9^B(Z>6c1Q<|5c6D+&7qK8BJ&%imm Y7&^Ild^KdiR}Jh`=Kufz literal 0 HcmV?d00001 diff --git a/figures/vertex_parallel_partial.pdf b/figures/vertex_parallel_partial.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0fc01fba57edeb2efab01660ad067c3bba00b0d0 GIT binary patch literal 11174 zcma)?bxiy=hdw`uj<~Z zshVCh-D|Dx>h3>g{V0^hB^g*4IRF$h^MlI(7ET~D(9zTez|Rk0k_S0hx>*4^S-64! zbpeJ~KK5+4sl>7S8nR1kTPEn7A>|9c9*n8R|H;LK{94ZewQ3V{FPE-nS1ScBd zaQq4e+F80k3Zcxb_6j>u=L42Tw=&730m)!K)&v17MdkYrM8925jF8C_ME|vgK!PM8 zKR(VViVwpkoJau#QdtbVy}ctwp2Ioj^r}3u=5Pvj)ujH#x3siqj4yZ(Q!*P6(3%0U z*&Wd$P+ERzO)yYxYSXc{`kEm70~e~60OT=6EO7Hh8XUs8k0i*dvA|FNt{zqVVQ5v; z=>*GkGpWZOd-yel5nFu?Mm-sIhLa8RdSU$(7)MYAH{k@HQT2vmQyYxZ^1+@5py&@j zs^ntTxouZ@GStD!6lQa|5cLHJpD){;MiC|`j;~>vq^h(S!RNtPpu*}i%4#SaNo>_c zGdhwozTevGF@c;T5@&YB?FD?W+9#*0e~IgID}c|RNHE)?madfGLB9p{hlcJJ}zLhm~Gnj^< z;jCrb#*&U!LP zx8qiu>w8$9d7-%bqas%16gZ8d0B74knFWQmRB0dGx%ytW*_cs8toR?j6>IY*-Hv?p zMefE1ifRoE%h@UkJ8z2iMy$8Cc%R@Yrifzzkc0WZlJ2kcPr|aY{YU1q09n{Mx&NKV ztUxYiR-S*4{%ZeQ1adR8@ceHRJjczGKihtelf;Kgd@Fp@7yh?x!x71tY1-gLeLL@O z-^(0w>ChvCJ2X^*wj*&wQIw7L(f8!b*1XI2!;SazkDsU68N2BjW(VfJ`IbGU#xTv` z<$Wg9f+PVV5S*M8kg(ywJtkwq7}9w8kwIW?+ZSLaLGj5A`QZ)e)Gs1{a~S2&{CMgH zCJf`FeFz9x@BlNgI}|5hNR-GXx?Y106ck^W`8+T%6gaRxFb8IAE__SaS#Wcht01y$ zFiyiyhDO{x?1tC_7NXy`SHskeL5)ZNrou<5eD=T2&t5K-_5{Al!2#BWNUpzu?)N ze22Co7K4FB3knTUArgj!4HDIYhF%R05L;_qDFm}3d-+YM5H&>{?DFJ@5D;E9q&)P87Vy2{IEI;uSqg61q1Y2sT3m4)Ol=X#=c5MMH!bNIAhoPv1*L4z=B| z58(tT3S1RtGHgIfMAPq9yLAHV1rtsadS2l!dX1jCMk0r9VOv?E@z5Z}3Mh(awN@65!lltu#qk?(!gX(GP|867{&^q~V_6)2EsP|U*k!e!l)D8kCx((37-LKavt zU&OgqiGszyqFAx~HunHhqX;A%xqNc+h>BX>&&)38Z#`dttT&dKyS#nWX=;JU@9&k}TD z+HZ7Y#_%a4*z@p@kK55djt#WTdM$*I7I8#kcf1g&9-q8V*qMc->*(A4RP^*n+vr%R zQq2;g7(fb|qsKhuCI?tZ-QPmD-xx3RE{$Q^l7R74BdNw70Eh8vMQ0r%Z%vHpIJj(AIQ&1QREr@XwrBny0TUv1lIBq65ra z%5F9Wq0*&$$uP2vbPW~kiRG42K0DyukkXl_)|{IaLt4`#uCcxd?vGV6RXfY7CH=V- zf=AcJzLt$P>>4?@1FWbb?+rP>y{xFs|Bw==S>8h}fY6uQy&8re*~X3 zYIV2EN{?Yy8=H=bCGzY8u-j@yri-Y*A5{d&wgxxK^P*L6=T_<96by1OONNl7S_VH! zw+iWV+7*z}%Yh%^6w5-Kk;E=ZTsu~mc8=%sw7}oy5~`O6jFMiJWz4b@rk{R(Y+Q}D z9?k{xzp1~Z$-m=do0RCVojkL6gY|=ztWac%seIkpG#k8?V#A7GQ;5N2#pb~zwtT}F zRqN%~nG-fDT83fF>fkv>fbP{Z_Kj!;>)Mp{ImBK>+wK`_26oK6OJ+5d6&LnwC^g#* z?;}c<1`wj^7)emMkIQ>bUh)GAh@xf-N!$}d`+`@BzqCDn@%YI8inpxYyGjuzle+OLcyZn~z>)u+^@RPFt zP3F62Eu23?^4Ru8V=m(>kAjV&eowGsUMh7Xy<=40xkh`RjK=bEwORYCo}cSVfEw)& z=VvNbFA}!y68I(l6)0&w;Uw81Ol!8+DpDAeEyvW(I^3tG*C+12t2F&mToa+6N*u06 zHpp#H-;>pYS`UXKa0+Pgp1y?o$a@-vXpzECNg)@PI_@F_L?W5wt}5; z@*OqQUeTy7TC3ifzmC2v*ha_@kPWx~Ox_jy)NOD)T?1#*q)&osC*^~O|T z2qjm7maA8`QmZ!Cps{JMN*{3e&R#O~m+}kej;KNxk zFp$Z(Bd8JZU6DwrMeWr_*S@sRZ(fP$A znS%lS7_1yxNCr`m`Ad)PVskQfThHX>16i(oiLDA{oHJ9&l8c)33dsEC_#VPb(P)pU zH?Rv~MALY*JP1=6oi5|56RuP{;~b1Ay4Ss>RH1amhcs<6lu2aTZ11}s^4{c8u$m>+^K zuoU5pl3jfD>&Z=NIa&v^r!Gy!D1mLaJ1GfshlhI&B;(q&zV?o!+$esQVb2JgyVC; zfS)60=I!1Or5UP8!=otQD2`P(uUDjSF6oEws`?OHF`akWF=f7_g|a1IoNW$kTByrs zA@B9N1W9Y5CpOVV3GU{=Ch7&akW(`K{e`#dfSXszA{-0fFCDSE&QU}B4PxJ zrPz(`4q@S4>eQn5gqosfxR;(Et^%!%#X7#)9)Bcd zyX0h|l|aaZv+K*`62WY*dTYGCPZaqU`Y4v{%%w`onrljL<7TI4o{B$mkt&+^K$6M^ z?42o%M}c(PkwfGZr+Z(XVHlH?B3kiI+HwoRN7+?~ak=_4X94ITfPbm#y*oGDk?M8- zIYxdmh8MIW4$gHxhcizMm2fNtgG04u6*lPjuIbxO7l!o9S!G?W7ZwxQ?M}|r3bHw- z0wVFuc*@GqWEncJ+7kgE4!_ISGd$*^?^|`mmQ`;b`}@`P(jJ?N>8*OYil}4_8vD#s z;dYqQb$>fzi^57VsVvTvky&nJCd|&90~_&o=~-ndrzSJC3=Ty9%m(J#*}X>b?7(gl zMM=WLH1FF>)j<*GA3+K7$y*v0ln2BVsm)F`2TmK*%HKlBPaB&%+hIIW-M z)E&L=RNlu11l(AwK>n2-8>;yu8Ru#KPK^)_sbYA)B^fi=(LD|A3CpGHv-_TE| zebyGoMP_4=t=|i2q~~AZ2Wr02A|>*}TovXgE@)E7KYIe|%|!55Oh`zXjVrnX@ILOE*l!VkZjJ2WX`FX*duOyyfVIC1V&+hc!v z5J?ovE5RKn=R-<1;~Pn3OneMGUB+y^h`41yTbxR3FHP}yN>eO3Sdckirc!NqQj@H! znx~lWO*^ZAtuBkb&JM2ssw8Nu*=YYM-$*|I7)`%uNUJ?0YvnA{BUzlNW%?T69N$&H@uJ78-h9R&3iFDfj#-rk^vW zGhY3*&q7u69ri1oIecm-Nd~x@r?z^B#Z^n%eSdo`EeVM2I>u)|b!Iw(STZC||8kHO z0JBw2e@!|^qDG$h%Sh>My~uU>vGYSKqPI}JbnW03ukFf+SmS%KmBAV%#C!ULX7o3A z%?Ay*EiQ8A?&!q0ZNoQ;1Ns3RR+f|1@|TWSQw}#jffpUy!DunhIStV3=25BCsZwZQNv5mi9*0k42TGD&JLIb7QL0o z%7*zwh^eEt@ikhuf>-=jeB!)2#nc;qjpH`+=f1?baZM(`S-tipnQ7sD7BGuI?(2?h z^#G+ss9=`v7>GKWK1Z$>p;zzb!o>>}t-L?hS z+BohZeGe~{lP5zzq>_-?*z0giP6*Gwl_s8<$zK9zucc%y3xgKgs6z@cn#h$*qkd73 zZMt#c=4V|wfpo5viVM1GE%N;>Fmi5Rmkp0fh|Mo|@8xV_OencVZeDoWyV}lz)-=Ki z^R$}58-V$ozWq1Y#o4#{!^0gCHTTjKfZ|2`sQ0i6ZIOz;G}23*hF2g8S()7rcdLl zd)DB{!h7VU`Bqc`gPKFt6(Fk3?b8}=7R5cnyeLQmtMS z(Wb8rluf!I)%vvtQ+-gO2t%SqA6fxqAF&=&g|JJsuGzD1r?_s#S2g4+7)6x}3)A^# zvU{6-IIMETb{<{NoL7y(V>)p7sIIrz5a2GuaTwbaDxDhlKDEO{b?Un{G2YM!+b!&{ zgzkdnxmzVwN`f#lQMo0a3m*|cW0~(GB`s%7)~lkg_)z|2Ju;L1{n$H@-0@HR;>j-5 zy^+GB|Gnw3^l-YYL?qr7RNFLv<<&)HWYVt%{wvq^v@2s%$M)IF49#({__l_i*E)~G zo9VFFJ#H~pd0K%jQ}%F}YVVNQ<_dc9%Z^L$(y5xhPih)}C4yw|BidHBCYwB^fUTe( z2fi7XYY>vp2(h-Z#{oZ}UI?Y2Doc8Mwwu|ANQ(Zb2GEM<7(5i+qR~m}e{rXtaDcp% zP*;CxXx-uQLUq#XL!;H4qc$seQXUI?;W;4lLnCO$a2dJu!UiZ;V~Evp4hY1q$fUkQ9RQj z?F2(;uBI<#VKdr zU;3bAOaWJ8w}y*UTOT^@-&idXjn5r;vW#9*1-r$iSnlYw#(Axl-tK2lNR3QnL?>(F z^91Yj#Z_!DwxG+fzDmp;T1>6M4+oRe%#5%0TrN|8rN_$bGw?cFzyH8=MiG^|15#R1 zGAcM3S=%K(W;zXyh%L0)@z5f`()EL4-l);OAaNkh#)6cLeArrB^bj^QviFQ^OH^{= z2I~0P16f_{S4^pD29cST3X;$1yYN)3jJdt-owEf)4>1R(bd0dTLL!alZoTC7X#DA| zXQ*;y@EPkCc&_Ig>H><(2S*b;xHqAdydUQtQ=&6b3+5B;;D0#n10-6-6k)I^uGac* zl|mV8WI0`pQ(wYmn3u$E3H z=iMQ)K5~Bg`jWTPw)3z$!^NzV#oaVDVe&XMzDDj|)V-v|B;5}^CI!miQjQX@H4<7$ z+6{D)_P4XF!;blCn$iGPaPuE9-#E^v`1g2)P1CJDUGXsbWe;m=P-ASXh{>FN!jRFX z>U4UVi+rFQHQ{XU@S2nTBT{_hg%o6G!R!qyXF9)M|88fRnTuR@{Vj~|{!6z|N$wQP zfQehx3u2(C*aD$h^dbt|CEm_6F#v8R!9!JbFT*usXyW4xRT3!KL^SX9bSmcX=-VP- zs6DsF&p0Ymts!RD(afGg-nn~h^js356KR%bl41XF0pqpSqUAhhDi_nZ5o4uohy#zZ z{b}xs`yy-I)+Te=@je_r7l&z|AlX!w zGPt?xlTv)<%S4AFiz+({#Rs3Sq2*Iu^^45^Q6@>t)1Tu=u;GR5Vo>iiYxWD=ItGIb z(r;A=o*RgGuN=6GQEIR%k~__JT2G~l;RY{b)a`QtJgge-X>+X0*QU(mOJG-Z>n$~w zaKNCS*))+9o^MakwQKo=dN0*|=x2c{ow=YWyIQs8d-+6^@kfdCI~hbbl*cX7i5JPK zA6;+OLOG4c=edENzHimZy7oE0fsR_$@nSs!i#;5r&{?UAmwTL@t-=xirQJ>p_QHm? zO&uTtwP7m<;k0DTqki>+zeI?cWC{+?p3uHYlSl}zlHP9(_5!`fCUcK7;%53=IvQ;Y zmm^YJ?z`?Du~PX+pzg-|q$+C+mzIYM=g4jNw+Z1IRusWA8U zSJU@#Irv;R=6uDi%`|$_(3qpMq#N2uA%KoeoI_0Y8q@4*-U{%jap397=7*=;apuJD zjUX4oAuRVmX@CHV_E)ip{RD5NyVb=-1(8#q<1H(%I*}Qj7i_x3Px+5(byP(f^DgbqmCVdf{!p0Jlq0}~XgVQQA!C%XO3O)w{lTadOs zZlE%5EB`A%qn>UtCrOXi8oZi*+d{>tswpp}WI7J7ePAOi#LS8AUID^ zeAo8XVTPW=o))z_V(Yp|YSE8lyW@B8O2cXy-^2^JXnt-F6nm8V>k16%)N5{Z zw)@yIISgv5**v85kTV)RrQhy^{1kX}hOXS&F?HD-CfvRoeaC|+`bGPlb#bM$B2~j8 zyvWsSb?GB?VD`PTi007B8F05-uhJqKD<^|iT{c-L_;vLJsTJXph{l+0uDezKmZ#X} z*Ds0c^`k54KVeU=E}i}>ik6stOL0c}s$eVHEK?Ixk@OfmQL3{kj{CL`M*_Y^-+gl1 ze}g|gs@(tw{JoaaPjH)G%Tv2lWCCcI$UTvkG93%ss5txOV5baIJ*pMCQEYGXx;TsW zm6xa-VQ8j)>jvbtuoywWzm?&$kJvAF56g!&eux|M_!##$8zzQvr|1P`?itV6ChqtO z8|=K!v@Ji?)09SHWF~=A9anrEV)>Sgx$^y|ft&_rO$8ZZ(ZORq3qj@}r@|i^fUgds zOI#EF7M0MO?yATvgFiv!LWa=t^1|T)ZoPK{qN#DZPSUCPNzo12C%|vg@c3j2n?@yW zHS&by#7k04;uvFNqFjWmnZv^3W8x*cF{MO%uzON5eg>zh5Mu|%juPs0)*}V?WyA!w zQNHdF`N;2+W`~G}BZLPdKtT3BQFeTK;Jd4MM!Cg!{i&2J%@m}Rf#q@*cyB0zj$s~& zP08wYrH#@kJ??(h&At|;!2qt{=9e&o>b3MJuw4JHm05`0r1bhx*nq{>KQ(N6(XE14 zoE(VJ_LbJd+^<>AVo>`mWgH&1ctsKYiq0 znT<2Q&oD1ybd-C^%lyO$HA~P-T9_R3PptrQ;#eDm%`zDZ1 z5YBQQTb&W&Cr^2D=a4|M^1GFz-WnZr*_Kf@nA)WiQHVk1=oG=LXR`bBcB%sA^Fk+rcK+%1rxu z1jt5f%HoUG*QyzLn)?|WJ6C?UBCosyK72r})7><7py-}i;=c#4>bfr5&Ja^1 zm6F1@724X)w`E6g>ZxVYV{H!if;ItPNs|MMzW(dG8qqxoKZ^Y24=pgftp`{kEGNFF z3QkE5xvHsEFkRD@IPcS|+Y98&ZhXgT)Sfi}9ig|5N6DbBQ1IwuArjp`g!n%OT5Eu`tP1EO1(u^j!hZBNyo@XEW1DkSW>oO}Le4*;Lh$lcDo&m4HxV1Zr z1|Yf9Kfk|%CX;amJ#hI-kt9R~L0o0ju+GN|6ZH1z^h_Px*wc%l9O=OmxwKTh(2 zTr4dAYX-$#UBR)48KdKtt|LtLoFoPjTpm+`)K8knPLE^3riO-_LG=qNiuLW~(rvDq zNAsH440G-w*R7M^{kb!r-08*OM6e!B?!-*a%h*KyWqXmQdy416vGMBlX8P)U+QN<^ z|ARpzM^VcZ=W~hu5I)^z!@_GhC-%apgzfEWLlUI_!2Pdh9=`csC)JL3-kh06=RXNE zGsJsc*}C+0((p{M2M(b`28HB>*bRKC=Btxu(IoUNH^3919WU%6o(GS*tWP(+(V3i1 zXpH6+ING>;G-3GgF&wA+t&p-jw!FuGqzkPKnw(AV-4A66-8CL(J!t3$Hd&@Mm+oF~ z^hCyQ+ECd1YHnZkUcW?=oaml-E$|g2j=4HEsOzq%oOD{(DA{VP8Pbz&MH{cz_b#da z)KLRZ>p06<3|ovl6O)Z%C}2QxrEH)e1vyWI4sNQ7Rh!K_%Ror{K`&5Fgal&An*)^- zogx7A35E8I)^ixXd&@;L;(JG`j`lbOqNc>;RXi$fgh51iu*(QFY z2A$_Ve54YFs_98~ZgpUi=*Ndv)MP_EP7^rx`ncP4xeoD$&opslYiD zzI}wZ4t%=vhf?_ChvwlAcS@rr>W_K*lgWkRCsRH73j6KAy+lpuD=TBh(naW8#E=mo z_WZDdYR=21A*)-|@6NCIMb?wU5}s$VWrf5W@oA^Hj>tbA@zdSnF#kVg!SmnBLfOU9 z+}-RiiAC*XZlMm+{)=$2Gc&Ss&;Xc3+}*4kU8rf8)UDm@K!2ZV?xr>%Gq=Bz*k4M^ z?e8~vlfNcFPwT&MmzB2@$i)R@LBk{m^7eFeF?Xf@JIDW3w03k5|4VrRsl|C&nOWJG zIhlD_*qPbcx#^f$shF9m{^}_>n*UEK>MkZuP9XEY$e4+pD+s`(tS+I=DCurzXKLc$ z@Q(xPR@Sb-zxRJRLJ!mgxw!sa8py`T!p_3M!^+9Q#=y$R`EL*Z8vNb6ytM}i_|LAG zL|n|Q{tg}7y=Z{8P9|E{HJM^S`Hy6UT}oZf zrV3<|bklNjl|PDSTbIA|9LzH3DX)39S_6k8xp8HoBBI5;_Mc>BtP=GTf+XVy&~aob zx}0aAWF&N>AcH4*YV!#m64erRLDEie2pFPHiB2@Cxd>qc76Xcz-ePv5@F6o=10_>T z$5$vPp_75lsmq|&dN@8C8%Nu%r0||lgO#oox0G`+4;2@SOMM=PT&rFZ<#L=Ogl8JI z8S6Ir?Xr-tc&(sI(+rudYV|15iR4h zzH19d+WbU9&q*0fof2drKod0#i2_u$uO&O!16RY0?IoEyO7Pqn@)48gNu>s5OE9Rm zT95Y4Z9fL(m^tgZ^+7d?Lv?ZR{fNi>R3YG*^6{G7x53dW$q~%*GO{4^VoHs@=1}uaqFZJHC-3TUuo_YoC)CG`wHRPdt2Nv)7B-z-irs60zo;Q7MZQ3T93D3z zA7L2<2Z9OWMm~g_*JqBTka?VoA9gZxx$8v#G|OSFU z2i+gN1+;kdQJyt26Pv&8a7JRC%?t2;Vn5;Dx0N-)NM^?h&d;(vgTjl*Sxatf;N?+0nGMJ+BCjkT9h-V?kd zZ*v;({%5mdWBzZ=>c0w2TNPvhV3Kh#2YCVYn1O681^^~CYah^G3BaTU)MEj%0{?lZ z>gebOWaa*AulkR=g(HylpU(HsKpd#YFD@o7!6qukD#^{k&BDRKD$dQp#m2=d!7ahV zD#|P-E(rXeRsOE>FSeDN<6p%M{GZuY%<*1SVP=fb9eVoageEl83AjJdc5Q2Bf3L^Db?Y|g{Va4K0*ch%vxAKgTpEz)1|-E3Z@CzGWO z){K!RWZ3lqE|O~Rj|@HsJ>NarL!A#IJ+H+j%pbInQnb=s*2fPFK(4$+AyL^8Gm3t8 zprKLQ8ibn7(!>ZQ0%**lxr%x?O)t^-vEw{SNBNe;8?|=@@mC(ca$*)N)w<{Ps0UfH z+$*r23{S6_ZULQCXE#8=R5oQS+n>*i7byaNS!aWL4L)Yt&TSwlUp)vnN~UG-dd5q6 z@80~ly((oX0;wqlg7^h#?)?7A>3gbu8#t^Scb+v>)Lv zGWVYiLn<(qD|$+6`u!GocYXZk#aa;WmLKJrT61H6c22FsC#NDfqmDC=bnsEs*l%?@ zLynUC%9Bs}?#jyo*ymS6zK|l7%p;4VCBbN6OSZ)a#Q8om*9Bn3SB9~A7PhL8RgbsF zinA?a4+%)r2TnO{n3+VS zPk1quc%zQbS$#w}#mzE82HBha>*v2q|0E6@`+sB*D}a@Qi|60@#0KEv;b8l>_HO-e z5x~vE#{Iudv@ADQ?IhpdTmVvNXjzvs0APJR8jKRiRNI5yUfT|)dsnfcWm|&5L4dES z(6jWj9Tj&tn=ZnePt)z*5VFOajP$F_beH`VkXLEZ_$N~&b_9mLTxoPNMSC9_8eSg4 z;NYIzO8}KNu5z&02edSl9+Zo)Fz2gq_&eg6>i*JuuHh9~!q< zY0%eaQK`r$GIdm!B05+<`7m-^!Te%)AbeCYU9%;-q zQjxybkVxd2gSkJjNgQanV2(LFj_VJka9;&U@puK{JVm4=WOS4W{uEfih<-p!!<)r} zMSzi32WbLOE*vc7EKsQY+47mbDmRusf0E948`^@s#xiolO(<$85FFT1Vt^w2SQ`ug zLW~hDa6gxu7org=2e$cdDbIf!a{`26IxRds8v9qS|3M z?$*^@Msy#XpA&Q11k0yOpT8BnJ{{J4#_DGOV5I36b@}7cZw70Mu0}YMj%vft5y|Q5 z;)SUf`%(+H2l`9hC1P%unevaNw@(D-FACS2245=a3g0evpBb63(d$L}w)D{frR=h> zROPN0n^}*m9nVvNQXiCqd$6QM2tXew-?+p+a5G~FGavX(0Fe=bts6OE17Q1AO!7y7 zz36~B@%*uu)xC?0+&M8B(-`N_9haAE7ratDRLqAHLh5T_1v=5U^2pT0r#rs7d^(X7 zmeNjsBc$fOgIWJiDt%DEx8e2sH~T(62-LwQ5nk5mDW?cJ-ISl$=(7J-X*m=g6(aSW zpM?KM!0p+a+{9)UTCZQZ(J%jAQjuG~mRAV?Op_!UE=D7pS#;uowP_~yAl0Hf^( zhB!g%gtyESF~(j;Z$#WmI5Ck|TXY1BmXS@{QoN?xpg=4{k+_3cq$uK-?s@-&LnSzU z*@&Oc#6z}k(uSI`yEU1w&cC5Wb4P@gn9ux%Uv{l-YrI`Ct%=q@;Ml9b3eZW-J>_T> z`xR*T>-GRYDcj5u<}YBuwmdKPcF&lBjP3nt5twTLJ-y?!Vb+nD!T^ei)0Z4&{3%Bs z*^oI5SI*t$kq+9fqhX2|N~tn5;Q$~zIAmkIOltH( zn2G{V#dy#A1dHoRO&ANC43b)kat%>!=&s;uYRn5xVSpTIr8bdgH99zTFI>V zc5N9640IvbD?S&A72z05c=jpWp>C`Vlg(&-wt9nEInUg_qTD`BdZ{AliW4IWe>$PV zlbE+0JK!3mNQYt6N#{5>ehF6L)2bzBCM2 zK6Sjx=I^z&B37x3U7tEr;0Rs)2@|VG_PcAUqFX!!@(P^B-?4KmxcPe!M{z!%Yz=vY zq~109peSwm(hSomR4J<*vk4rVg#PC9v5_hs zv(Mn3{_nB!fEkj&3nx`(?zLL*YC6)}x7MYQ&91_|(AAwg56qeTuw+-Xo0yyD9l+JCeM;1G+P`|s2FE!V* z9kE&hY4=da5{mB#A8v!(>{A3-ta!P+dD4O|@Uw~!a}gFx%F}s|gJKMz20@xi2g8U* zA92+$;1L@S>o#;4L-(^|A(4vfl1F4$7o*+DG2m>;tCH;rj{1Fq|h{ zUkc&#xSdRC$4QO1+|Wh6+@n-7}Y_rwQ_nOd`6gNGoT|*~EPN7awOZ&(|PY86To5x?ekUnI=Kp1SOfw z678i|j8)+nQlB^}-SfkFz_PsB|8JJ$N+8hCBX~3M#yfZ?J6FqsEj&n8NxFENaNwgh zeab27NaXJsLH#l`mQ>c4)@OzQWyxtkg%kVh9qMB+1+2PPPL)2yoXJaVe!%cC|3mntK6#es{5P?$s!Me{^xt|@*BG$n!qJ;M=^qE~ zS+P9~oa)1*z>iqE@yn$P<3^n&^*k!&^#fgz9rVtGt4V2N;CgdOo?xa2cDu@8Mcq`Q z={CM9l8xjQkjmy*YJ#;9vc&q6ggYY7?9&V%W}L1-kI!P~ZWz(ZW+=aBYrYwX0az5B z!>O0G2~%dv?jLCuQ$-X9?vEeZ@qHOIDF~< zYe6Cjl^I)wm_juZg46IbsZaxX2ch{Y#Q-qgMRQo9fsV}*@e{}PtE;j|7W5;@xbYY+ z5$%)cA4=rlugKv;Rk(wUT}6Xd3p~{@1)c_p;e5ov`?+wB-V`=;vpYvu6w4z=((-(^ zW52*Og8A%n&dtB{GR1WxD7QaDb7i`TPouu=RXebC%ya#gR$WkD4AZTiODO>pJBT+a z<{Acu)YXQhl`?-!C+4{!kdIElpg!1{z7Lnj&U<8~|LTn11y9h1(D6OC?%0udHvD04 z268~r_@MB7QOZSx4iikihGF~=C1bzFGRJRR{-m0`j{2?3r5`g^V3g_a)*4Oh7n_5J zLdT&zm)98qXH$0llZE_i@8u@-Yog|^yDcs6U*6TvXt=atog2?ve5pC3eDY#du}~xdy*XPtiDKf1S4Q0yq&i}{}X$A!S`WA zGhs0DzH|ErZG9zf;KxnG@&mcA2||rsuPpIt8kF@QQtz50PMxKKKR?olm-0byy>gd0 z`uyGCnTBuk5h;_qJo;rioI>NZFtJFN&*L;d8RS#v8&Nb>txJkebaJh*Yi|{O%g!l= z0=$`7#Hb}#?!-I%bFG&|3sZ1-tz!aApPjwg1wa!3Q8%Fkr%Oqm_O-)Nv2n{kqC}$( zlnaJC_wLhow+lV8%|}Qs*e&C3mo?0A3_(7KU(QO1!q!OAXetdhw{Tu#;tKapR6sqJ z9^GWl3(Ljs;G7cu-;qyc52+NHL|M-`WKg}!WwqlqYhqu|UJ0~5l|Y@GYeuyTJ$qf^ z{{j!|#)_wQQPKf*=lv#L=1qZ?aIqbATV7Q@YDRvxyJ2tfI1*H(HNujfb^PJ*;lRA4 zo4ch~#pwR*tQEt-pPS+-ef=h|6-MJ4H9tPX+jTog$gTe^XRAF3ZzjbwX5D~WH6uoF>o~Uu6(*UI8q9c z+Rwr@YnE^8A|M&&Ay=2wdAg`8cj8@f=GhF!5d&c5{*2us4oSriL{^v|=pk~IvXb*G z@89s+_quDS4#%)vK|W25?GhS0G%5ds(3J7*{8M4cB^hlxp@RQT7*J}c7*;4pUuJU~ zJqsKa?K67<-X3*VMxj6XlX*RH)iL;aFTz;i(0xOFf_eaPjY zmX#Q{DLRCieY+iVqH!Y7A^Y4!HTzp{8IYq3$7H7V?b7KFb-32Hz4sMXUhAKg2iyo{5RFR1b|S8n`24kt`)jd0M9$q?-pX&xY1s;|LM#h2d-SO56*rHeXth zs+H!#SHOW@OZ$pG&?sJ~q1_;J7C|E$+)7OPh~ zoZ&c{KxAOAlKCb`E&eeV$WbXYUSrh}(V?o*QQ0bSPK^;`e#b*?rP-#W+z^~qLzi;& zq$sH}Lnoi|Hs&-V-4{3`@m6Fo*T2e^mh_-xQNECBO7s#~C+zv+j6NY~SWEixL0C(P z{=JCf0TQt1Z_=;3c**Vx`txm7a8Nrc?m51WQ{r}7y&WEMI5ik14JrObwJ=ZK9@zS+ z1BLZ~>&(zM8+t}hEGWG6HcS^|dKrg2x1O2Gh+m$Dbl#A-m59B-%NlrD=Bg2u9hFB6 zp9fbDeNqd1yw;?Mz(RQqjLs~26SA0d`xI|sEgRww>u+&S>Z+Y~NB4D%^tW+5onH=g zgOPu2F}QW_k>eHj5t8#qCh_9&4DKYj!}ZdOc(V>2M!0g(7o8Q9XJOaewSi~pCl<}} zeVtJ_^qSe2N#K27HkI1pqYxuJ7%-cg^prF*FI`ZP8`bR*B#sKt!B>IQF9nBz#D8ou z5bk#l(8RknWs10RN)8|s(bQJZ#MUAC_%GR&RaDJp(hx3L(-J0Ma17S*5?_>T*UCKY zJ%qIB1bRrqq%-6;De=_FybtCi==-SS{D!rZodI#voKW;Ofnd#aqqbZ0`Gs zOVz)p+GlZ;QU@kXn=hn7j!V$l1d&+y2rdRP^Fdse#`k<$(fnOmw zEXI$IAzxptF@i1vK~WLMN!H3|^mc(ZMY%i!X1W2h?l(}{oYOpzDxuiUs@#`^=P5wZ z2Y~?p2ubgFm;V)CvE{Ybg<1x`_qmcBr1q70#S0Czl;cGDS8h)L5!*gmY_>y~(x879 zQ$0oa-ls%D?pEX1kIV?DC#}o)&&3my!Fpfxl?c$g+q`cGlX@saRg8dJ>*azB%>}{3dN`&2WG>y?Cv_UqP0kIULMe3@@xBWU{)| z=fl*n7P7$b1_G`{-?p!1*9;lIIZ{3yEDWzwJ7;;Vl3|#s_IU$DhZ1z`ySm$^w)5^z zb1k$!9MEP?kRPiq34}DoMLcRS$qr$fOOity2b}i%UMcykmopJj{LCA4nlzjr$cO))fFGj_}BD8KisX9M;qc}g= zcz;XV_BLUfIzZ(TJ1wHUp5ZzT$#fiMJA(y(9#N*4nsXnQ!p?no>}sfr7Et-Ha^rv~ zICozJ?qoNRQ%kgnhSg&G`x=&t42%=?K~Em~iHhgII%#-oX1rP-n)rxHwdU9M`*Wor za;0qH^T+E_X&X<|$C#1!zS8W=ri`FEs=@ozln|Rf&ikMPJI1!nz49C|BmeNBf{`go zE%|UQ25nr8xQS`_z;9gwcB6gQzo*}aXAFdk;@(KX!IJD1fU3T{N7No*)<2HRwwONy}opGA}AD;7r=( z(6L4j*B&NVCt_Ghc%{R7qeT^G(dXKU~QcNuxCLvRY| zXnVBSe)#}V{H~Kcdjh*@@Y8%X;;L9WnU}9SOzEzp96M##JlAM@pAW|6&jKgI9E*Hi z<4FQ^xRaVm>E8qy{LXsGt%Md71YiJ3*zC&e^xwRob~oxnjgM~UDSs@RTw7z)jpYSb zxi$?(d1EJidRXKjN7TAQ^VzcA@-5xAq;!5CWIcjJUL58sPa@Yk=zr67G$S{@6-L8P z31RNR-$cd~6k***w^R$!d%rKhBHyqU)bis09i%#7Ar9RDTYEUk25$}%j%rz`nsCC^H-@RL6IAhv>%fKBUPqQ z@XNI}U6^J}s9b35Sj7*B#DPBg8ljxI_be2{p)$SlNzU}LEvvKS{8gnt$xr3B3XgOt zyNzA?sxdpV3gU97w0@8&3-Lm}#oPj7M-Z~gO{?-DnRz{id)C-bGZ)t##FSdE*Zta+V>n<&JSz3g zcf4z(vobmJz;{LavXH`7*uaVUMOOi6?xLadn9Gf(4*=sxA>V2ewI%Wn?pF}^4wKa% zPp1iK>6BOJNw2h<>XA&rGGUv3+r;w1sY%;DJbf~M?qU3%V<#9*?^3>wO&paveEGb) zcR@NUCn*C;O(2XgoXb)JoGuqI?|Bze@_}u549s*?OH7ia%Cz?t0-?(SEk#`q<}-b+ zMl0db&~@idH^0Ur5MfJ%D_|+sXOsI@ly0iyd!C2gCqkIm@?x8$g{WSlOz#HIO!rmq zyqKYOMXIY!%Dv+vtptm+55tnsai?17`F`MBK*CEYp&-Q+%PXB^6vO=P1cms#6F!F4b6bhP+*9;7T@p`%Vp^^hyq#yG8LIp{D1T z*(J3CSeadgN&v6u^ziOh-Qbr7$Rx?s_@VjIB2kAKWxGjE09!<0O_LRw*~dmWFs~?5 zB@UyRW%w?W`p>YqRe?Kdyp2kpFFFBe-I_NDi{bAT-p9{HB|Ay546IAjJjFE?=NPt3 zi^6?X3s#Cx5)l?vOAX*G+CzGJrKR;zH3^7vQ>44#LSr(K4pD8e%mmH-v6|`XPElZG zU^k>ET7cPDPMf;}9AHRHPM?H9k^y)V3OArZ5Dh zIYw}dPP1htMYeh5VI-+S_&>AHtz~`R?KYPV_7gs|ZD@!$vNKHQQzmHot_TmDVKEs* zzxMNR$|4=0;-dv)0fW{(^x=V*>l)ELzZQvL107LM9;4G;BJz6c{|d9MYKO-ff)RmO z`{oFGPqbUxid|F|e&Uf2h$z1uM@}deQa%x&xkxBCyL3kv!=921g(`Vw>dOd>qvvOD z3b|f%V`*v&8G2Apdwf*PP4>+7xDWVhYv9yc+Q)#4F&%!)no%qFrm570O3-&~)yX>D zzck$H?Uc52qia^kejmkH zm*89#Ufn&rC&t2(I!c%A-jBb2*aos=0W3#tg#uenh)!no@(~0T6oy!7jJea~|LN*x1F z+q7lWV@+BNHoQu7iBCp(k(w6EFv#jJ)RG?4Fc(G+h^%*XvNvQSFZ@ZIeZ#J z_LSREDOX&BuF)QH>uh(=hBQplOUH>6wLak+By9wFu6s_{b+ksa7T|fPAGsJI`HqN| ziEhV_s53e1>;wqT16m>$8-5a*-dIO^yh1x~V=#}C#$IvKZ4o__*Of@y{C`fuIsfA% z9Kg-W`oHEalc4aC=C#%1oVTu_=V4TZ!NRn$Y{!PN>YNas|)_35h;enTbuHm@K;o6hyhv8{8 z>5p{rUKjQ*z3o(DV}gMLIMG32d0~#P-n4U7Nwe4zdKT+Y@$e33w&4$hhh0`D8=g4K zj>q(da|)b4xxF+I_(^abru!|?Gu$>k$BWX0mj{g@(|b2V8N%01M;W&o`hLw8sVybD zf7g2=;x??Qts7d}S3K9w(IqFkC!X@Wg~+2Xj=t7)msd=Q!z6}0L9|dP<8fTL z{eXW_O&5v$w-fh(PG*{NT3W4k2x0%@+@kv?@k3u=rzm+njd+c;A}x)%LJWk}M)l&y zL2a%}$-Oc~fm;ch4#%V@^+oP_9)rJ_Q2t@X&7LUj076<`aYw{{+2TZh!&I^UkIQnx z1Cgsc6f3{`YhO5p9Up8rU!)UytuMZKSJlkU)YZ)ORLdM!12+;i!B1>V>5FHv5?kL=G55cO+@xSiJvFS@8b1vQTz* zFmpA1XB5#nnwhJEwBM;n94t(1ob<@dqOM>|2WL8ZW_2sDE$IEJ=4xUMG6la&V()At z@cTD;<98Q;yVW~M$<>H4i-)}ZUz=MS{4@CcRK|Kv;WCN-PzdD5oGpGeKNLn0Uo3}pHVT3 zI-6R)tM;xQ^Z*-2W3Z(Q$Qa=EuQs@t*qPqv z04vu&JS}GzFo2bXAC-F_3Wx(+w%tY92$kYU>PNTCroRJQ%)LYE9 zY$AjPr^8>VFVQQ9Tk*+ci&+b7bDQzsoc zE~c~AR{^x#1-)4-2FxVCNZ2?oVJpPrnH&Yse_M$1f&8qx5+|08H>;y+PGJr~FWL|i zucRl-X!gjxZX(nhu}B`zn6LcJidWquoj=JhVYmE!&a;A8twk_;+!kTlI(>rqyn7<2 z9)HyQq?bD}`7=V{1hRr?Y?dnp2G2gDmE*h#%HoK|HX~ zpURr|WmYX_Kg9yWy*rJ+ZfYWPao~NkA7konUhPI;RDP~*eyk0xVO;*z>rr2N1$A4& zS#tYpMT5@@Qz%ODRPT&pscnV+ir_xXYZY7;u)V{c!MSjD5(k>zf z(HyVnq}QN!wGfylGb8 zgPrBS!N-54zP2jJ9GO|h-VEdc&|?9xvwlTpR zyT9r`=H?CnwtukbA4MFXCm_no&BiIpD#5`n&dtlt#l|YiAtA{j&i#drSAvaGLP7}e zKbySw@-NmT568dC4e&p+Ch^AW(EM32#Z(Ldu+m@5MWDl7OP2#DO9?Sv@syZs<&IDy zuwbywo)~7|_fKdhM(9el0dF_O`>X!wL~!hqC?)QRRjC$(f#$1>{A4dx$7rViId3jt YV`s3(J3=DAqXH{8GBve?k|gr~0WRTPMF0Q* literal 0 HcmV?d00001 diff --git a/figures/vertex_vertex.pdf b/figures/vertex_vertex.pdf new file mode 100644 index 0000000000000000000000000000000000000000..8ef5b804ebc512ba1d18e55b87c07b641f0d6c87 GIT binary patch literal 10666 zcma)?1yCK`vZ!$l?!K`A!8aZ}xVyV-+}St;4emjMySoQ>m*Bx6gpIrFradVeV90q zIWkcgnr57JOq_5%dTbp3oW_S^tiXL4k2ds2w!h}q$^rm2Dtw6I=v6%D zK#UwVxPf}o{vdC2RHIr_RA7i9iFE+;*m;F9`f#KQ$*^+&8JmDREVQ92?HJq|DRcB< z9!ZlLK$c#`ok|YoA$}~8EGeHM4=4Re)AS1hErU2Qm(LCC5;9z?DtaeRD2c~v16oPx zs@md5PDc%iT@!nm=Us=7S~kgr!$ldm*yfMTPpL%BSwiYRCa6A5<}qlOOQ^tiHRzgR zp()g?c#i|_G_e%EF3FQtMz8A7Cg8?86uD6emONdxw~;Jne2t$<+eHmhrpp ziWfha?d>!aPF>6apDjwIKQF2F&t)M(W~>mZltUaK9nqF5Dq-0pP{v=_J zwlcVP{jmWk09tu}D~UQ9ha8x+W|hC;s3&C=$W)fvw0o2i8O-1rvWy)!6h_4RIRu~Z z&lbjyeCewUbx=eD70Wgrs3z$qN%H?v@q1b@2=}c#;=ygx*Fga}nExwS@6tbk26FsI z#MuGtoZP(sjz18<&C3b=xAt!RZxO)53*`CVPK+#fH|-?9Ic@+M42-O6833@p9s@=V zVyW%HZm(?z)4!|OFtRNn;9!7(D$FdyY)8c%&ZevI=F@b$&oTMZO-A}vX1eR%3dp;( zXq?gvnFEorFIO6!T+zYz<3~PT!jO=j+)DtBHm-7r7!+C>Y7gppc(}_|1j=~fw#9k6f|&9h}1n!1hupf3Yb#7 z0qhSFUqo){?c{o}&|O2sdZaPe$VB>HL!(e;AoG9Wk~q?ddS z1Zm!Z9S<59_>e9tb z!h+Uj(uT%2oR=coor;|m)egV$u&L%YriXHQ{+`n&SUz3){I%fqX}{(ZRyPNfv8I3Y z<&R7M8LTP#8sSWOnhk#^Waq2%7nWY^OD)_Um@jpgNV#3+%0HIhC&Bbl)Ig8W<9QUJWmBlK`DpyU`dM*fS{<~xW%A&STTfI zA^sCgD2O38ja+bnaQ!N#`6Eod=zw|g{IQqS-ShL@c`+HYSeLLJ*OzQpyi&Xmm=8yU zwAaE4^rCO&QK{db?mpM$(~G3Am3HzQBRBU!W&3c1d3&(CQks#dN<}uu$t0v3*CR{q-bFO5qoWIQ@8?;+T z!xS-+Qe|wy0UYn(kdN`Ps4)m(DhfOm<2~;YEUhawVJvPkN@^*}HAJ_eyMe1ws!a9b zX~mlGDBOPn@jCT?&mn~;%$>bqvKg(`9jKht7CRXX6(FZu!EFI<2Ih-SdojCTG?6ogGceC2(o;QDAuRO z1iL@tQkQAe2Bv8w@n^ zXCi*}IxWu1_?9aDU2HRK2-`e~yDF0`0e-(TFGt7MX=Ivf&5g>3h1(vbZCzRCqjQq# zdE>AgrqJK1M7GPD**M?**52#{`HG{r{xRKs!Jc0lie_h5vLjY z@d=zH+;Q+IxCeL=M{_+NZ4G&brrtIBqAG3qeH{L%Q2m>HnuruJ(wM6X+qLC#{^bzg zT=?xh{jgsKs$i)cQg9sHy0x(LO5R#2gg{bOdb|h$>ibNtdW!$@q z(aNjQ3pW;TnN8rhB=k35(ngvD%s#_=hKobx0dr)57cQF2+-tRv)pX>yudQV*aY=HZ zveeSzPbbgQxETIoKWq?P3@UAzC+Q#<*c|yAOjg&W7n`ZZj)`rZk4#q$R94rEw+-Vy z0yq&u)Glr82bMdn&~x3zmzwL@PFO8Lbh{tM5{vH$A8v!)9a03?togWoc+-N<@w1Be za}k$H%G3D{gJTV$2SJ)jkYS_)Qe5?O1f<6Ox(yxXu)XZK<0!>-$pi8$jJzCOdD9Gc zFAyH>F(b-xOZpG*y>VO4k)P~j98+zqv#9x?YXO4%=;$$YjKPHZWc#H}I|dz4PTL^zXF^h)ueS#pcdh?;|h z6+IRc(q-~^cWPOs!4Jp?lU65*EmiO zh5vvc`9^h?$X>u|(eB1Z-fWxZo$f|LFq%H(u3H_nbd{Jj>TXvxr1s;&b);DZp1R}s zmzTNG;f4&iWhS%Y!!xkVAoj(WaOzy$M2qGvtK&(^C5#J8IFDx&E_z62vWfNf0v~5E z&(APM8UI*Sbgy>iGEIWG30g9lEyi1~7^}i5wEp{~bk7f$0ju)rfQu~2l^`Y~&ydaU zH$EXd*|}Plz=&X3CF$a6!U0lkhLn>JBT;iRg8F4>Y^m%otlf4F|n zJQC`l-@n{W{ZgCcH>b4la4X@5-rfydXl#O`P?#Bty&>T7E?8g_lgW%KTbO{`q1)N{ z&8h3Stms!yU^2`HeSEPJ7oC%HdSYP}e#SGjYVk*iNBDbxy<>eWrhs+#%83$G?5Vue zCKQIR#b3fN^~tlm_j5vEen4eGcUxuE@d?F)LUKifW70(NT%vOOt3VR7M>Ujtsr+Aj z?Sibj58^)sy-e@Bzu}Xm+lTAQO^i3#G_7W=i4S z%$BieW=;F}6fUZ&>sQgSPzb53<1}81?dD&6E_0=_YyQJVu*#aWp5xnELo~U3mCjuG zU3Ix`hv92)>KY@qTm*V^C&S~wJv+9ip>ut>6!;NKH{o~b;<#~VNjICHLk-3RN5V5rjFmn~22&;aXVaB!aN=*RM@3O`zu}+@Zw*)5*WGh;DiXTM zqw@-md5(HR?d$PuLh;rsw~YOl{tHVIN$AYDDx?&enNXaDpGk!pC_9MFS1E>o@ve{i zB^v11Y>_{4>4aznK`a3U+u2Ojzdr4cM-mve1iFvt|wjiBEC49k`2CO(P&x?AlC z>{#HQlU7|+UJBQ(o=+(O6FZ7GDdrjlh1S)Erj@dirW5nt5Xi?QV$ec%rtc%uyWS=a*0Q zGa4>kc<09R*5}lm(a-W_a9175qITH9nn#Ll+xx7FIo90TMpI6&mlReFiJI7c!GuyY zhfJvna5x7Op4#)WqKRneWgY!z>l&xycpZBTt8uO*J!r0&)xJ9NIWY+tAE8-DhxEC3 zKsQ?5CvuHDN1!rwi;ZCunV7#`p4N>BIx%52HqtLl$V0GLzE#}Rt1IEhWdiyG2an41 zw%fPCw@in%kNqak2hvS+pUs|FDv8NObt+_s9_ej<^Y(1F8>6PRw)krcN6?+wOxhhK zN4Tgj(Hy`E*a~mwZ7}@A-d^;37|~1|jJogK{y|q?i5o<^iBt}eGe{I_?0RKONYkLM z2a);I9B}C@7ySK^M!cL4g71~P#L?&P2G2BnU5HGX{KKnXro$yPUJDzCeEB^7@h78v z>Ov!`rm9Uz@sUohHFoW-qF>n=)li@hE1MXtN-6IuHkCkUPxy$13Vh?amiT+&FQ`ti*RVGo^GY&a)@9(nO z@tQR;gVR?6Ey@z;qchFucA;nQOZ;EpVcj_K)GlgzCfx=9iI)X4CM)>3j=C-HDql5Y zf4e{7ZwWXOG-Nfxl3sQE5eN}Xc}X{S%dd(t{n=S7MuR^$#aA+UgfvwU-wrhivGZJP zi0*ERc?`L?7PL3iXzsNM`r~mvl3iY}vO@ci{|vamD&Za^;JVX<8SV-bR@&y(PrnsN zqe*I4z0=5GJ^gFwWb9Mm(+PWuPb-vTXEst48ait zVCDXd+aeB4#ScPJSQzLba+9)_^D6J(@ZR&jYp9OEuvurZ^uy4Y-=z0X zroZ#fX)~;MlOGGUfzS;xE|WPqp{*X9y-Cy|YZchKaHPt|#M>YQrFF|#}UN0`_6M{yyWTX$mT1pJ>i#P!w0eAK${rU$l*+W5pp{)uYdPl`0$Iod> z++M41x6t*{) z`T?a;-2qYJpzsWQ6-4_|updPH*ER$3eg}dk-mNK9#GO+DIi852wT2ba@*SsbO*feEwbbE(k75_F&-GTUc@^MTBK z5Vw_yzFgSgiP`0TZzqrZ1h4r=1i^hlahG&hiK_`A;Ql^eUXVf&YN|DkUEB|ivu+6r zCCTh-e->B_{o@RkFs?ZK=+iT_Sll#j6cg=+lwt=drnNGG&7-xv2Nf*5&FkD?YPj$^ zJekj3W$~b4^3km=U^W-~GSi1deua?mSpUzA`TAmwk@S&>ii$YSvev$%w~KTs%H%j{A$SNtaqP z9O%O!UMp}R$Tl>OgL#YLjdg%RUbp(ZpBmmm9u(0)z`f+xW>9v`m@&thLJ3(MUZr)( z@?Is!FjwvK0f-JI>Ns?Dw@q#5-JRrGYC%EhGAAewRhI=qo8luMHCSYaFfAl0U`zr} z`u(nyeAmlah^T()aK_AbKQC9bkTwHL;y?c^`yk24GhgG*g#Xg;Uc*< zaee++x>cM?6i7OM{wcA_t>zN!KOwT#V>&C^B3_M zJ1WtPqo?^hFB*X(};N8reqEoxe&kz=L`Sp$cR~WG(YW%)| z7q|hBlE`l62X&xv{A1Rk))w_RqdcTd2}QaLQ6-LqEgV@{Tvz6Kg(bXcyBs>!=>FQn1p7oRI|*-{ybkMFWHCz%c`=XY(lqS# zE$Z!f@ApwIJ{;c3l?Uv{tn?+IfnR{8vQf~tu4Uh}a`^`E-#e4bMK92T@$gZKD zYw7-l?)|0mSci3b6ejXK7DN`8)Ii%W6P!Mc7*h4!+4(r{^!|Cz8fEXR6e2sad^l;6X5i4jcmL zAIVQX1v~WPMB~8@sY)NP7l8OeqX&v&lg_{17oCRgzJ!Ap8a~dVB&e7$l@rHj6$}-i z1a$IYFhWjN8Onr~qs_Kx44JYFnSDMr;HynY;X!}+jTrhN1|^W{>M)_w1I@xu3x4-m zV=v7@Tz3#tYQ0|9pex5{z?^tg>Z{*)*G6Y$awf!YMfO<(`CE>?U<`w6`8qanbn5Ws^Pk;wvROGv8Bl5>VWiP~mKxyXcLD3JPa*YZur05l zxsGayX_8c#_MSozOj(eXs2gM<)Awq$5&;cecm8D4AP$iTTOvXMOR+wi!mpxqQyt&y zEd2iaF$*v+u1Q*m<|W$fZt&D>Pxa2575a}zb+u`^PkfZMU~%?-coI79R13rBA2{d7 z5hbWHy`|eJ`^Qnbv0K%8WAsWOha9`p4_C6)KVc)LK8L-QRB*GMp(b0aP9fsBR%6W@ z@pYkrD}ne9of<;vm7F+tOX5Gm%+4;eOKJtMGP??u0Nyd_5#6o2AukQblO$8)`xeVf zL>=bT?WQ?_z{sGQCTntY(nfeNpD1!A4zsyc#2*&*pW*SV0(Z1{8%+_;}H&vmih258G+9CAc~^ z(ra3LfcyeBuqH()xpWrG_Et=p8yT82M=f~|!F{0&EPk>3BDEV|7}=CWv_O)Q!a3n; zG`GU{_^GI5Ckc*`eR-O(?2FuY`#@HzVqAHD`kp4EqSoXE@MEPIvce1OqdBWL%4Cl@vP_T(#YY$o_H5jRX$ z0r7#(>Tl8nPfyzT3A^Rv=mEQ+Y0B~(3$S+i`K-#Zk=Ek_D^%rIEj#_}%vDi)_|UIY z5vA5Rg~k9CX~pD?kJKHtt%jK?jKOJ6k({H`z^tUGHqShaB-La7PaN}WS>OJ2TS$la z3-8-CG$a_?8>N3%CTRMmh`=<%W;%#|?eFQFMK(b5nGTG_6uj=KkHB=ft`XDoYl#Rh z$mzq;V@$ehWL|Img)necJ0i{qjKqYsXMw2qM7OoA*hORMFCO)PggWOmazw3=LP>z; zDxuu$+8t92cS150rsS2WFC#FHo}axbQ7iYRsnqp>pzqMSlYP2>dAQZbIc?`g*SyBLC{8%}M{?n!iiB?P0J-;G zK8K9ANo{2<7xyn4Z~rw^H*&vPR6RWp^UVoiI-rB`CKj|jwUor-28OVd-x z?pD^l%pGLL-5MKnC)vp8CQbY| zn#6UIvn^laE>^2?9R(Urad{kg)(scC$w>q+01;tvRw=*nq#cSkWelEh`!@U!d<8)T zg`w6OV;=XsMDrh5X{~lM_1a6Br4E@++O%cV<4ju&H@r)9iH}D4keimuFv#oA)si05 zBNCPt5*bH9Vy39yySLN$`#jOYP5&kJKH_7j~gZ#q~k@3TA%O@ zlQx3A*1aa|J6dDd3-CPE4_u9r{YFH~M7I-0)LC3~b^-+#04Pn<-|35q7T>r5X4&Y&D|6j8YZt4n-1#Gw-SBxEDvL}==XwdR_ z5>&p@e0F+V3pOSvYVIwoVl!;n5S}Y1-ez~L5!HFO}hU|%% ztjDp5`m^=|54U8Gg#+W2i;c9E`P7ANMS)v`Ca!|kDei}2`ymp>jmCwiGH!x}HwoLT zmB#OIegiiR4}ARd4Tn{Z*IwK|j83Y_ex!@{x^i^sZKo2O5DY-zMF)lDg*gp;=;o`E zX0avoEZ3nE5FAhKA|3|!yR45kyl_~Z4jGK*6}W!#cxxi^li)f|_gkT7xNmxm7o`dR z9yB?g-n|*h5Wa3Y$hg(e_iwgLZ7KP4vECCIzhOgb)6mks;RckNLUxshK9eqXwNP-uzS&hN@}b?Z96n@0R?!Hf;->7BS6RIS%Z6AFm}73hz7xHssg#yL%d=_p7w+j_rp zpQAZhV7o$gSTj<3Sj12!h!zWFJP!-EAMnqs>7!6CI&mTNGSk%4(rUFshma88QSp69OTF$RbUJAs;bleeuJ)s%CYe zt!AyK`OSGXa3fI@@&sf_Upft$ix@H@BbXmnP|bSWFa(05esuegU8(EC-*&C~{D27Z^s-svFl`!jiy_aXof>vyQg%F7Al;sUZ@V3h-Tc{sY5 zyVAec@qZ1i9Ua8q=^_BV_-7y+kb{kz9mviBhG=tSd~m|)WG&Atcn13?ti!{7gsQVosIMV!8P1m|NG42r?%>lA%f`# zVccU^0kJaG2AJzy(za^2syVH2j$n{*6qm%&PkZX8q>iu$-De*b0K$ zgk^<^`^uip>q+UfgoxqG108z@eSbg5L2Lp?YLCUY7R)x33kO$%6rKpx8n8^zLoLn5 z5J!1IZ3%=ftduVIhoDL7-oGsgK; ztsGi77Q?15dn5M>hhEHkZNT*q1yu!Bbt`il4*_hm#Ei?PHaVC=xVb{i?^v(qWv)GQdmI z&+hA762(lrX=dp#dKCnyVX}@CP>U&X_F6(Buewpp3k@vulQtU_X{cITB0H1(f@O!Q z>G^Y2_CEs$i`KR$KTYDN-WlO5)%TlU-Rx&1C$nIxj?Rj(8ACb;sAt^=oGY^l;Nu5a zJ_&HZGmv^AqsuoNC9~u(g)d7y%sYiSTcJf*y6NN*XZHgu+=T&q=UfCB`(xyS*f#0DU@6$PM{v{6fM@xRnPX?L~R>VY;}Wn@=9(^ zIe6x6i*9?rf*pgNMK@kdxb5wBo0QE|H7gUf{bxVP(1oIR>PB(3yGLq%HJ>q}H`t{p-roPr9vp1{Eqnae%-2>0S)j1WIGBSx0eWlz4t4_+RyAvH z(7S}fss+$v2LJ*8+*5UQ1OtG)@8wnhF}H980RKrv|0v=BJpmp`HV$5(D7WMnF*ZIf zF-|dFZZ2LRkXuyjix?-6PgDr-KbyR_@-N7dm+fEgdBFb+IpU4CqXn?xim7yqjO0u} z!9>*UFZ%~MsgbtTGJo6N7378+IaMl@ah66Vg2zMS=k%{Ao382)3W|)jnzBeersp7W p2e&K!zB)wokw%^U&oOfao49~I-;*N>I~xZFHwrDSgpwr6{{hR`7cBq) literal 0 HcmV?d00001 diff --git a/figures/vertex_vertex_real.pdf b/figures/vertex_vertex_real.pdf new file mode 100644 index 0000000000000000000000000000000000000000..57b11047752ecbee2c15da66bf07584d168be9ef GIT binary patch literal 10720 zcma)?1yCK`vZ#Z@#@zz!5Hz^E1$TFsjXN8M5G1$b|L|n(moi(lgy%Q)_*cN@5ZWEQ}lg%9**rB>)R2kQwM;Vh!Nu2QbNj>@C2SKz2?p z;C~$eCJ8HBFvuCmBw=d|28n@89n3%gK|z2E*coJO2k=-fOq7qAV@3%+d%+d#`$Xl| z6;lB#wJLEP%*|lJgcFACM@DV63?4ZR*GLP?Tk?c(xv8Kk=4{Q1v04L-6jJn{>+rDq zcUWJ7r9WPtQ^2I*kUaZ$RM2P_Y?6zBODdaCBIqTfK1uAueIkdX3 z?nptOw21k9hZ|v3PiDQXEp(!_)u(l7WnUTts>n)^AZ6eja@#R%QDI&<~WsLX=q>0$Rj9Gp2lWdrl+~X$`nns>TAlvg+z;djtK=q zak>S^t#hv)8euyPzuF76{*K?CHxd`P0s>oWn z1*-K=D_=cRirvY=IBI%h^}atKuy^lq`h`?Gtara~`eg}DtYLoawBBoP+$+Bg8r~lv z0DqHJQst!{*OEBXHY1FYo^`2<2_}j>Eca#>QzRn%ic1`tE6!J zlPMA#0$pE@6dI|5y$=-?4>v(jP*2V!kU|SbDM<7KY6@}>@_A^e^Hmt&JfBfa>DzaD z*f8NdACeCO?vl(sFwa9D8aA12xJRHs$$>m={ht;%M}(k0AVPi5`OY@?>(44_Kn;{G zbQN<8iP7on+lNwN2JSylJh6d1A5E-K%@O86+{#j{x3@iH6tEuYqa|sgdk-}Id5$<~pjsVQ;&;5l>U`NFPv(MqOUwg#-n{NRl@&Pdg_ctyq0*sUzNCSv`?qDfvflTq8HIGqWsiEZglT`ZK&?f9P zrjZ*?d|`dQz`(X59TdUGnjj!O#2C>6=S!J+0V;t~K~XRexL-C_k0*3LW6(vzhC>1psXx`fU)^^_b=}D zCMJ{?y%rRn!JH(??o{+|5v|Z0ck3!nBbpD+&p)$U1VZCV3-e{fV^M})M{h)&3OG^WS6eg$^yZNb+Y;Qy zn!o@|MB&)|7^Fy|m+txR@dt`MicF_|!!J8l zx7FUR7}kVqAF%D!UioPx=bo}Pi~RD{zw7kSe^RoUBgk98gl&Fa?CqX00~y1#eD~O@M|5SwgyobNIrr3zSut6uGsUTY)*^1^0t^!n= z=*CitHsX@GwXx!M>ix>DnD8*iL+-AANu4sXq%nFXCl0Y240*1DV&@hOcyhDsjvrw} ze5iF6jO66(7-!F;?G8Ma_irJ!;@z=jz&Fr=U@iNc|11wfU&6Id;tFwNsh?~@?X%S# z%*=k~@)hCoY1B;?MpKv=k^kEX9hShf>DU2RFG(^Cqee2vvHnY-5|3I{p%~0KXC#x< zwG`e*dWcI$xq-=*FHtt1bl&2Sm7WnjClY8cY22`d>o8X6tf^XhR`%dtG%1WES1p41 zr6JCCM@;h4w--wU86;xG3e*)EY|l~1vy`XUk2#YTr$xW5%^_tA1SImrvTu z2lPDrCvkUdT=H(;J%}PXo{u+&Jc5(&8hnryH+`vwspPBvkWLeRLjqyabur&{YwF|+L$ddYNrCBuyrZt z?n0!}O62^F`CCRKI3@w@&F5nSMI1(-!9DH8k+=V=^tKhZR61ZVvU8-_{heRM3gymflZ>ynF&WFv?8*3L)zt9o+F>xJ9; zac_R?Fu~8xtt^KY+bvMD-9?ugYgvw%%>mTAC}Z(OcLWc&fo}Fm{LEH7oZj3if#-Oc zMF%+ui^XNBJV$}i22g__4aNOo#KVs`YUl8X4F|RB+6*CkSuv0Zg*Ayo(kt}bY#lk1 zbT>~BE+vEx0BKH5^V%D?VIOH@Az_`DvKuHFtxOuRogIX6r|L-}d>OZsF6lU~_LdzwuakYW>fzzc^~6*Ge|Op# za4p?vvGctq@Fl@XO(@g6s;rRt%1h$CHGg9BX;I8FJibTqQvK)`BZ8@OHDgVRx6FB&Z>+Y3DG z!CYU1C?!0IipXBg%w>u=Q6rQ@B6F0NZV_g=V{qNiNvWPR=K;&Is_z$>63YSfh8{s1 zKX1H)wzG0HEm*?>WfY}~rU?cv$&31xvXxWE24we znP4R$Wei+rF2Nnd_`qgY5u~7#OgP=jTS>g0xC~O>7)y?~HUfyRJ&C&`a{qps;l+s6 z;qUQT?A!?@T;2%b^K8j81JThJMrCv8W^TZg+Ol~G&du^B8`}uQ^%<6|aARwM*61U8 z1U{v?Z-~>&!J2XO>pWOZKny`Fa?8dTbzGjm2$R(1+vljIkVWX&LPD;@ZQZ zkI&25=Gf{Cw64dq2*g^hT+oS4jrI@h+-^ zVs$hu=I}ObTYXn0;Y{d9;&J0K975_Rk-wh-LHdBOp-P-VhOWXvs|D^Vn0!xzpJBX2 z^!IaN9=%DdXl8eguE>^$jwEGytVezUDfshQWgHt9w9-YjBgnUHAvx0BL?@BocB>p% zJLWlOrBoJ_7DIKa=8}rRL=Iw&3OR-W!L>EPDJ4uFQ;E25@a3Z7(JA-0r|-k$uyP++ zX!V`Zy5R9!5juXv)E+q!{SJHBoq_C=H$2EcpO+(9o?`+DZcf62y?fs`w?V7Nu>uyui`sXy^L#CU0`~D6d>8>{W-7h%Hv2#<4={)&Y}3wiTzA;gsX+C7ES?yatwUAb}*s z5q)wTEcW4qht`~oNIWW9X-EIrn)>NDZpR+&N{kC}52_1Bm5;Vuc2rzC6%^ygAwAA* z(2ZvIiEP96F{o6{e0|thI_j^dhgAc-c2r2UwbTne(hv-$PbKH)mE}-KDZk#p;iD3b z&DL$;E&Wl=W54n9p;RL^ujvzG1re!;cDc;ZBaQVR?w+l7Bjl8pWVFzPewN!#PZ zFlV(zibEKF8=De9l= zKqTJPhaB2V`G3<=h?ep|aJ{mZ*m`{3;F&L<*9yd90)TO`n~;+4w;d zKoK{=c&AGV?)KG#QPFYBzaoUA4xbkcx9{Dj?`{`*WSS06?>7#1o zXS);n7KbfPK~gOw;aSTU1|LSBn{act^r{fmpOv|6IM}u!ww%EwsG*GTcBDaomFsLx zcz098Wx%;PueGj9aj%8nAB#;za(TVN1m#WI_Wc60m~#-H<4yy5xGO|Raf@3o^_D+{ zBB5R7PCcFJ^sj-Vk$1(@`Tn6|u;gAQj#-mjYZpH8FgKZ+g!a>UZJ86#vNQKa5Vj}~ zGp8+PlPEYDF90AvKhQ(yDrqI_S=PVqwdZwLUloRKy9_u?NEBjp(0qpY(43XEwoH0S;MbCMsFqdQ0iqyRc1W zYThoL{!)f%ZrOWZVdl2{U4GCB6Hv}uE}H;h5y7!9V467Prgmg^g{)9laE6l_Qum(P zon7D7;hJkxIbL3=U-g?a+H;LY0>XTt>Mf)g%F8zqMf~eO7+D#de({c>h}qo7mUdw< zTP5aql@qj2X3EXte?g(}|2b4A$L1LEQc<0?x8?csrwqkI!?HTg$XEn(v0|>~i8{%~ z{>!tWwbwX8I9oy3>bxS?LW|AUW~3^`xv*t$fY;KVf)6w@TqQwv{0`QUFS`2N28~}L z&7D_vt3jQs+*q*nKJ^gY5{aWD>I%g4O}rLKGvCIUEmg)xy@2a#M25?u#eh zKw3h3yOXx!yvlHrsang~Cxr^_Z7%9nIY#n;#1aXglJ@*(TZXV5CY1SyRJ_wQh+}+V zG+I_mUv}-{7j-|bH@vnw%_h-0)q@%K!wEz>wo2)50+eDObLiPC1jnnbI>I|t)H^C# z#Lp3uaU4(__UujSbq6=mU0!d#wGs|$TiHF^*KtbB zPP4beLl(Ol-K0M0dtnXCleY(!Uh+Ue9q>9MAu?30>Gr`_RwEd%XsEO+PEeVrh{uT46)?p-q6qCNsLzK8@KT<*c`cz3v7T48UN zp@VQ&PTIoL{IX1}>bq9(Z`z4PvpipCWOm&qRwiP2-Nvk{Eoo;! z)Ho*?wS_NGJ>8%sQsk>6>9r`s=(V=`b)-X+Q=D+gCV36D*5)wlw#lS;$U%>|fAMX%J_h^Uj6;Gl0wbzAG8n5@cf()dp&$R4? z3R=o`BDs*=+1R?H3sMu6+Ejjcea<&N z**6&?nkM>uINMZxJu%+(kkutsZEYG#J}hWiNGkK&+Rv#-PP=Lno<^=I<}dsPb#nEv zzc;N|4gZAz^UxeN#x1%R<{^NzcIEjXIkcHHAgmsrbJ4d|zx0|eeU?4x)BeKn3Z-+V z*9s}RnM$8GP-G}x+rF#2b!sd3?j*-T^TR%M#st}s$`XHYV{G`NI-|@GhPeb8w6Xt5 zzwecz&srHHA^9(D_Nd?8&r9XaADdWG4HVuV7aIJjj~sW?MN@wB6DZTp3h^vRYHp$!S1?wAeqSuh*Y$H)-l`?43)i5e3$x zPQ}-iG=gk0PA9I~Re6S{xiDMTN*fhI0#%4jGcE-m!37sTqeGSl8yln*z5=h$U&Ll? z$wktSpXTnA=G~c65MkEO(je@~zn!p&i3ZNVyBXPqr?!{8`;2IEYwHKE(4vK(@%jc{ zUB=}Sw}3Ngmqo)IJy?C1V3~+!A?B`?(`FhAFJf#aE#mT6oQAo+ zMZO*H{W;3PgYAPN#Af)-c9G_>Nd$1f(92kweEa=TA1NQL-?TGWte2;iYP3&SW)=Bd zQ|B*K?++a~=j_eF2b@2Eu?~SLq{FSzBKtr4h+=o0WLXnfjf0=&s}NU2Q%Svi-C;_0 z9A())cg=H-w)gpC?k33pu3J8Jf?M@s?}uwk4tQ`yk^H zDE#6uS8*J%+Ce)@)6oQIcq@p4pAy8_g};f2&M(Bgk7}+Gr1gIP0gHHFf)w@O5%Dk5 zZRp_!*!{8n1qR8a&!CcBgeae4*+s_UkT^-YhN=Zxr9DT;!}L@AraUp>>(KR&Eo!=I zhHVav9D^NHudMZK%2un@jcP-ryUobtlhZVSsax3MMh96%_7=%A{4Ih)EQ>YRU(M{C z>C#`x*}hP$j#uD=nG z{v>O9*_zo|eDyn z-pPYbw|}xiTPnB|X}U>aK%Z&A;Qgf@Pjx~P7YgMMLNH1cz@Pl;D6YaC)!bJTZuePz zFU4F;XAnbjtxiY3E8B3ujA&Hyo9}qndS^vq#=h^e)@1>?t&o8e<%^Cyy}66J_G1ng zsvZ!GEeW{QAZ-1~Gq_hy)H_UCcQl1)_;8O(&(&xJJSv*b+{uQ13<4pRc$hq1O!BWrFy^oHOL< zLIqc_;@Nkq3#L}EW8W=`rG=QDU1k;6@MC6l6(|C|qEf@UTXce6>LHWFQ{xBbON)dZ zW}n+lvi(`Z1F9RXNXP!_#f*-c7@T)<#Sxntf39J_imvSKNv+0+^ms6AtKJ&t;?O{& zVUDu@i?yC9AxzP^vq+}5e9Fwwz>Fbc(Q63y>nH!B7u&CryRik~jR}PF#7Rl)6E23c z%RG-?3X8WBVCh(vrn!r%%g@kl85f26Di^F2p2Wi~DwpcPnbZfgw2Dh>qpIQ%rN#(% zfrW-dLT$pDAn6IJ`y*A;mF>cSihxvX@lQKH+?GpW=hsIH0tV{Tx${4+zv$=tiddnh zU4Mt>Cc%KqKCnmm<}Yzp7t(PeC!M|IS*(o$t-eai;tfYCV)*09haX}p@GucGOj5q@ z4VBs7r~#gywDuKp&BNAZ?Si5x&2`Af+~wo3EW<)vi}f#8kz29o^tClpLGIx}yG}-s zTxAy=1D2;0kv2Sj?x<-o$Vj3KOmPfnADw2+Oo(Xp$VE?3f$)7{n_JENvD0lX733#$ zU|U}wXJluX%BzIm_(K7neumj(5bfH}!zq(wfP$AAj7cB3=Aj2qf4Qa})$?nS5H`RO z<@hlw)g?T)x9&oSbww*I#t@81kGW@#p!-Co{`!Sw86#KB|kj zQj<$}R1xe6@lc4OXNI0M|2SG+)`p<#c{iqpmY|^r<+R5~g`7ms9FKc{eOm*kmXba? z9Q5h1BbM|U**6WvE)@K}Bdbo9>HekR7H_AN?He7lYNx^&p~SSrf(2!9oxlN7uf04r zX)oiNiW&~iU)ElJtH`dTzBNXdndfYk&guq{7V;c66f@&BImgDGNL-L@a>tHR3RU_Y z-ht(z`S!%Prp#fVT4>URemU!JryCNG8P6*E5*5s8kC@a7^!5?{sLfN6^h7BdGU;sc z5Ny}cA;?klFt=vxV6RHcX)9sI6c? z^D*J^j9%QSdGl>nlCV=CH0#lz3BztRXn`QFlK;9Vb=AE$SU3Gl3gV(VZjgHVlOa{g zbzrvW2|9N2rPm?uCb(XAcbUCdU#(ijWN#mpQ}u3n&C|?Ydfc_4A!m}AgnH80Z@p1W zJ2A`RHRfWa3de!J{uGDHo@>oup_`Og-~t#H5@VV42Up6zXhT~638!z}@6bm8lwS~R zr9S3<&rLXo!bEAgo1xoY!XSA>f6}TYtrla_Y_RTCtV47>%7fInSc*?{UzF6NzXnJEE;qeOXyoJs* zP7-s)L9A0fn2$4DY6om>UhbvC* zBgJE@%Q0_VP0P)o0)vTRb#=CQm8I&|ydpZooVCw&<>+&B;>0I=d^$K0pi7%IF_ZZ? zHc@xhp6~9O=stgFw0yCivOJeOzoo!`tKZ0x-!jGdP-HhmOt;=J|5VC}KmR6fbG6*? z6V`X&rv8D4Z?68R(&5^ZGtKa%iX<&ntk;FDOLr@o$QXZMA5LUYNKS}d-`0v|Ds!*stTTDseY=Xha?(4RqL z$n@^bP`c1{<6-)(x}IN?MRIfT&c#|!clN;>no-mEs-40Q7Nrc8pfDINrNU`7>g>2PzbZwZJ|T2kl^> z3ORk#01+&4{Sp@3K2=`MeR77e&!~Rqi5DNaxPeN_Pg`*92MO%MeM_3pLp+WX1a=hd zk>pSLj|oSVTQ?1OTLS6pR@2)tH^`c=lg4D?`N~jKxi~jyCPvwf1gQYT>Mh-0InR;o zj4)k6+f3<6J&dA&3BrW}X^*3Vtp~jGDw+tuMJLWajr8>AX(`p3A%wk;bBpd9L=Sxd zog!p)RASXq3e;5Q^3f0$8J_+df!szDUQknqPf!ud0}wDXW<3 zDE_ct4cv%V2R*SerY@ca&4vvblHkt`%d2EQt{bp|BYt)I6X#n^4vV`(qD%6~)?$;7 z2_4W2?}$^tF}VLjTJZe0v`}((FmpA1M}}w|&CJz6TJNk8J2N9I2Q7d}#1(Am;7miy zq-F)S1-)NYT}`Y(rr>u;^c^Pxzdw^Res2PFw|b|LEIl1T&dwlnS|(YLr@Mo*nG4N( zAOF|T%E4aj9Y+Gvi1D&Av$8RBvaqtSGjp=B(lN7AGc!}a+sQka{ck2}&c=?8AhUP2 z$=KEf1YlB96W3ytaJ98HF}An=#{o4aSvYuDIXT!E zSQ$D0?csZa_qoeixq*QH%!*0G+0^n~wRiQP1==_ogDqV^#z41!^})%=#`ykD-chQ5 zQ8xd*w5Ywi4rEd^u~r4!0hknkES&$~GtMqxAPY15|AT8dIavR{E03@0iha5;hVMSz z9*Z)FiM|GYv~E`xqA@AoYc&fL!sz%!XDkfim3iy3=$$GoeS~gjvoN2^NJSl?6zP&& z59NP~aJ(Ev4r_<?5XHl zXa4p2?oX^2!N|~>= z{cBW%^m;oI%6OZ68hx@-QNO;$&`48&-r5ahumbBRArfw7udythCJA|5Dvt_C-lrKu~64nNjk~SK^L`(8e$&mp7xfa*lw0`q?_-Q9tlK zFmvtE{wAqxeke~m2#s$#8h@)M+uA0p!S{W!d?dbQk$B<8uFyzSb!)!}a%t24;ynXB zcxGLW?tQ-;PeKw&9l=Xx)UD%UO;)L2_!EAs|6s1`FJnMvc_yo$e@scUd@>OMqu^|+ z#Y`?^M%Lm5EeXN7vR{1{GW&piW5;s3in@yX&=o`^$&24S`6*LD|07n%m&mNVQ8UxK z*Rr^IcCNB28g7j@nBG<%n*S^xY|Q_yeEe7FYpH`{AS?HKdzF98%^iTO|J0&?6fvMK|5tGlF-~>~W^pkVZgz1o zE*1$EQ5H6CHc@6CZtkyN*#v?AyUF_~|H2}<+5eSp!2ca)!yT_h{mzUbs%!{^mHKKf z3>}u1#;_C_ZntH4vD?>_(3L~L0u*WLCYL7?vg(VB3yr2qf` literal 0 HcmV?d00001 diff --git a/tikzs/collision_resolution.tikz b/tikzs/collision_resolution.tikz new file mode 100644 index 0000000..8e2989e --- /dev/null +++ b/tikzs/collision_resolution.tikz @@ -0,0 +1,34 @@ +\begin{tikzpicture} + \begin{pgfonlayer}{nodelayer} + \node [style=none] (0) at (-1.5, 5) {}; + \node [style=none] (1) at (2.5, -3) {}; + \node [style=none] (2) at (4.5, -2) {}; + \node [style=none] (3) at (0.5, 6) {}; + \node [style=Big dot] (4) at (-1, 4) {}; + \node [style=none] (5) at (-3, 5) {}; + \node [style=none] (6) at (-7, -3) {}; + \node [style=none] (7) at (-5, -4) {}; + \node [style=none] (8) at (-2.25, 4) {$\vec n$}; + \node [style=none] (9) at (-3, 3) {}; + \node [style=none] (10) at (1.5, 1.5) {}; + \node [style=none] (11) at (-4, 0.5) {}; + \node [style=none] (12) at (-0.75, 4.5) {$P$}; + \node [style=none] (13) at (-5.25, -2) {$A$}; + \node [style=none] (14) at (2.75, -1) {$B$}; + \node [style=none] (15) at (-3.25, 2) {$\vec r_{ap}$}; + \node [style=none] (16) at (0.75, 2.5) {$\vec r_{bp}$}; + \end{pgfonlayer} + \begin{pgfonlayer}{edgelayer} + \draw (0.center) to (3.center); + \draw (3.center) to (2.center); + \draw (2.center) to (1.center); + \draw (1.center) to (0.center); + \draw (5.center) to (4); + \draw (4) to (7.center); + \draw (7.center) to (6.center); + \draw (6.center) to (5.center); + \draw [style=Thick Vector] (4) to (9.center); + \draw [style=Vector] (11.center) to (4); + \draw [style=Vector] (10.center) to (4); + \end{pgfonlayer} +\end{tikzpicture} diff --git a/tikzs/vertex_edge_real.tikz b/tikzs/vertex_edge_real.tikz new file mode 100644 index 0000000..0d1209b --- /dev/null +++ b/tikzs/vertex_edge_real.tikz @@ -0,0 +1,28 @@ +\begin{tikzpicture} + \begin{pgfonlayer}{nodelayer} + \node [style=none] (0) at (-4.75, 3.25) {}; + \node [style=none] (1) at (0.75, 0) {}; + \node [style=none] (2) at (-7.25, -2.5) {}; + \node [style=none] (3) at (1.25, 5.5) {}; + \node [style=none] (4) at (0, -4.75) {}; + \node [style=none] (5) at (5.75, 2.75) {}; + \node [style=none] (6) at (7.75, -4.25) {}; + \node [style=none] (13) at (-8.5, -0.25) {}; + \node [style=none] (14) at (-7.25, 2) {}; + \node [style=none] (15) at (-5, 0.5) {\huge$A$}; + \node [style=none] (16) at (3.75, -1) {\huge$B$}; + \node [style=none] (17) at (-9, 7) {}; + \node [style=none] (18) at (8, -5) {}; + \end{pgfonlayer} + \begin{pgfonlayer}{edgelayer} + \draw (0.center) to (1.center); + \draw (1.center) to (2.center); + \draw [style=Very thick] (3.center) to (4.center); + \draw (4.center) to (6.center); + \draw (6.center) to (5.center); + \draw (5.center) to (3.center); + \draw (2.center) to (13.center); + \draw (13.center) to (14.center); + \draw (14.center) to (0.center); + \end{pgfonlayer} +\end{tikzpicture} diff --git a/tikzs/vertex_parallel_full.tikz b/tikzs/vertex_parallel_full.tikz new file mode 100644 index 0000000..4b46573 --- /dev/null +++ b/tikzs/vertex_parallel_full.tikz @@ -0,0 +1,28 @@ +\begin{tikzpicture} + \begin{pgfonlayer}{nodelayer} + \node [style=none] (1) at (2, 3) {}; + \node [style=none] (2) at (-2, -3) {}; + \node [style=none] (3) at (4, 7) {}; + \node [style=none] (4) at (-4, -5) {}; + \node [style=none] (5) at (2, -5) {}; + \node [style=none] (6) at (8, 3) {}; + \node [style=none] (7) at (-7, -1) {}; + \node [style=none] (8) at (-7, 5.25) {}; + \node [style=none] (9) at (0, 6) {}; + \node [style=none] (15) at (-3.5, 2.25) {\huge$A$}; + \node [style=none] (16) at (2.75, 0.25) {\huge$B$}; + \node [style=Big dot] (17) at (0, 0) {}; + \node [style=none] (18) at (0.5, -0.5) {\Large$p$}; + \end{pgfonlayer} + \begin{pgfonlayer}{edgelayer} + \draw [style=Very thick] (2.center) to (1.center); + \draw [style=Very thick] (4.center) to (3.center); + \draw (3.center) to (6.center); + \draw (6.center) to (5.center); + \draw (5.center) to (4.center); + \draw (8.center) to (9.center); + \draw (9.center) to (1.center); + \draw (2.center) to (7.center); + \draw (7.center) to (8.center); + \end{pgfonlayer} +\end{tikzpicture} diff --git a/tikzs/vertex_parallel_partial.tikz b/tikzs/vertex_parallel_partial.tikz new file mode 100644 index 0000000..f20927c --- /dev/null +++ b/tikzs/vertex_parallel_partial.tikz @@ -0,0 +1,30 @@ +\begin{tikzpicture} + \begin{pgfonlayer}{nodelayer} + \node [style=none] (1) at (2, 3) {}; + \node [style=none] (2) at (-2, -3) {}; + \node [style=none] (3) at (0, 1) {}; + \node [style=none] (4) at (-4, -5) {}; + \node [style=none] (5) at (2, -5) {}; + \node [style=none] (6) at (4, -3) {}; + \node [style=none] (7) at (-7, -1) {}; + \node [style=none] (8) at (-7, 5.25) {}; + \node [style=none] (9) at (0, 6) {}; + \node [style=none] (15) at (-3.5, 2.25) {\huge$A$}; + \node [style=none] (16) at (0, -3) {\huge$B$}; + \node [style=none] (17) at (4, 7) {}; + \node [style=none] (18) at (8, 3) {}; + \node [style=Big dot] (19) at (-0.6667, -1) {}; + \node [style=none] (20) at (0, -1) {\Large$p$}; + \end{pgfonlayer} + \begin{pgfonlayer}{edgelayer} + \draw [style=Very thick] (2.center) to (1.center); + \draw [style=Very thick] (4.center) to (3.center); + \draw (3.center) to (6.center); + \draw (6.center) to (5.center); + \draw (5.center) to (4.center); + \draw (8.center) to (9.center); + \draw (9.center) to (1.center); + \draw (2.center) to (7.center); + \draw (7.center) to (8.center); + \end{pgfonlayer} +\end{tikzpicture} diff --git a/tikzs/vertex_parallel_real.tikz b/tikzs/vertex_parallel_real.tikz new file mode 100644 index 0000000..acc52b4 --- /dev/null +++ b/tikzs/vertex_parallel_real.tikz @@ -0,0 +1,28 @@ +\begin{tikzpicture} + \begin{pgfonlayer}{nodelayer} + \node [style=none] (1) at (1.75, 3.5) {}; + \node [style=none] (2) at (-2.25, -2.5) {}; + \node [style=none] (3) at (4, 7) {}; + \node [style=none] (4) at (-4, -5) {}; + \node [style=none] (5) at (2, -5) {}; + \node [style=none] (6) at (8, 3) {}; + \node [style=none] (7) at (-7.25, -0.5) {}; + \node [style=none] (8) at (-7.25, 5.75) {}; + \node [style=none] (9) at (-0.25, 6.5) {}; + \node [style=none] (10) at (-3.75, 2.75) {\huge$A$}; + \node [style=none] (11) at (2.75, 0.25) {\huge$B$}; + \node [style=none] (12) at (-8, 7) {}; + \node [style=none] (13) at (8, -5) {}; + \end{pgfonlayer} + \begin{pgfonlayer}{edgelayer} + \draw [style=Very thick] (2.center) to (1.center); + \draw [style=Very thick] (4.center) to (3.center); + \draw (3.center) to (6.center); + \draw (6.center) to (5.center); + \draw (5.center) to (4.center); + \draw (8.center) to (9.center); + \draw (9.center) to (1.center); + \draw (2.center) to (7.center); + \draw (7.center) to (8.center); + \end{pgfonlayer} +\end{tikzpicture} diff --git a/tikzs/vertex_vertex.tikz b/tikzs/vertex_vertex.tikz new file mode 100644 index 0000000..a6c1280 --- /dev/null +++ b/tikzs/vertex_vertex.tikz @@ -0,0 +1,26 @@ +\begin{tikzpicture} + \begin{pgfonlayer}{nodelayer} + \node [style=none] (0) at (-5, 3) {}; + \node [style=none] (1) at (-1, 5) {}; + \node [style=none] (2) at (3, 0) {}; + \node [style=none] (3) at (-2, -3) {}; + \node [style=none] (4) at (-6, -1) {}; + \node [style=none] (5) at (1, 0) {}; + \node [style=none] (6) at (4, 3) {}; + \node [style=none] (7) at (8, 0) {}; + \node [style=none] (8) at (4, -4) {}; + \node [style=none] (9) at (-2.25, 1.25) {$A$}; + \node [style=none] (10) at (5, 0) {$B$}; + \end{pgfonlayer} + \begin{pgfonlayer}{edgelayer} + \draw (0.center) to (1.center); + \draw (1.center) to (2.center); + \draw (2.center) to (3.center); + \draw (3.center) to (4.center); + \draw (4.center) to (0.center); + \draw (5.center) to (6.center); + \draw (6.center) to (7.center); + \draw (7.center) to (8.center); + \draw (8.center) to (5.center); + \end{pgfonlayer} +\end{tikzpicture} diff --git a/tikzs/vertex_vertex_real.tikz b/tikzs/vertex_vertex_real.tikz new file mode 100644 index 0000000..1449e6e --- /dev/null +++ b/tikzs/vertex_vertex_real.tikz @@ -0,0 +1,28 @@ +\begin{tikzpicture} + \begin{pgfonlayer}{nodelayer} + \node [style=none] (0) at (-6.85, 3) {}; + \node [style=none] (1) at (-2.85, 5) {}; + \node [style=none] (2) at (1.15, 0) {}; + \node [style=none] (3) at (-3.85, -3) {}; + \node [style=none] (4) at (-7.85, -1) {}; + \node [style=none] (5) at (1, 0) {}; + \node [style=none] (6) at (4, 3) {}; + \node [style=none] (7) at (8, 0) {}; + \node [style=none] (8) at (4, -4) {}; + \node [style=none] (9) at (-3.75, 1) {\Huge$A$}; + \node [style=none] (10) at (4.25, 0) {\Huge$B$}; + \node [style=none] (12) at (-8, 7) {}; + \node [style=none] (13) at (8, -5) {}; + \end{pgfonlayer} + \begin{pgfonlayer}{edgelayer} + \draw (0.center) to (1.center); + \draw (1.center) to (2.center); + \draw (2.center) to (3.center); + \draw (3.center) to (4.center); + \draw (4.center) to (0.center); + \draw (5.center) to (6.center); + \draw (6.center) to (7.center); + \draw (7.center) to (8.center); + \draw (8.center) to (5.center); + \end{pgfonlayer} +\end{tikzpicture}