From 6b27c1d6a77d4ae5e1ea2b8d56ebc927f0216e92 Mon Sep 17 00:00:00 2001 From: Karma Riuk Date: Tue, 13 Jun 2023 22:57:00 +0200 Subject: [PATCH] Refreshed some figures --- figures/SAT_intro.pdf | Bin 11489 -> 11490 bytes figures/SAT_mvp.pdf | Bin 14200 -> 14131 bytes figures/arbitrary.pdf | Bin 1492 -> 1493 bytes figures/arbitrary_divided.pdf | Bin 11602 -> 11605 bytes figures/arbitrary_subtriangle.pdf | Bin 18769 -> 18726 bytes figures/collision_resolution.pdf | Bin 15037 -> 14962 bytes figures/isosceles.pdf | Bin 18169 -> 18114 bytes figures/pentagon.pdf | Bin 1529 -> 1530 bytes figures/pentagon_congruent.pdf | Bin 1981 -> 1979 bytes figures/rectangle_inertia.pdf | Bin 18748 -> 0 bytes figures/rectangle_inertia2d.pdf | Bin 18775 -> 18735 bytes figures/rectangle_inertia3d.pdf | Bin 18681 -> 18636 bytes figures/vertex_edge_real.pdf | Bin 10762 -> 10762 bytes figures/vertex_intro.pdf | Bin 20893 -> 20893 bytes figures/vertex_parallel.pdf | Bin 20827 -> 20827 bytes figures/vertex_parallel_full.pdf | Bin 11117 -> 11117 bytes figures/vertex_parallel_partial.pdf | Bin 11174 -> 11174 bytes figures/vertex_parallel_real.pdf | Bin 10751 -> 10751 bytes figures/vertex_vertex.pdf | Bin 10666 -> 10666 bytes figures/vertex_vertex_real.pdf | Bin 10720 -> 10720 bytes 20 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 figures/rectangle_inertia.pdf diff --git a/figures/SAT_intro.pdf b/figures/SAT_intro.pdf index 3ee7eed9dc03c8b7e8a8dd6e3c4872449e9cfdd5..11d03b9d5491eaa2f8ce52f40316a21fd6adce13 100644 GIT binary patch delta 998 zcmaDD`6yCQHNeG9*HF)tOZCE)qc^w=%{B_IW??kmyqBd`p3!u(wTc)sqvhlv^#%?@ zV?#4j3nPokx74K(oWJU47|kaKsA$&L2H(!RZNO9eJ^aJQqZ3X{%Du_f#IV!k=7xJ0 zmc*JX^RHUGi%I78hAE4F|DITO>9p0GgW?n0pIlUwY~mMU;46}JJxiY) zAJhGgMu!LXa*ISgvGCC%SRB#zB;P5c;@bGZrRB98EpXeZU>|O>-4r@;2`s{?_ z`V%VG_A+iW$YXwNxXX6izq=U;*H>MTn|*ca<*AzwST8u9w`J}3+;zHvuXV($vaf8Z zYdqubEc1C`hfoJ|{R!ud9}NP#B|Ah8@|)h%y8r(VYoN)LOoojI@+UZL)jxf9|HLUz z_DWAkjNHE3?Wxq%mj%~PS>6rP2rsv(E<8Oo*l%%HeaeR$O!}-UN1BwiMS9Q7=#SlA zy6+O7k&jV4L-cEL_V%EBeTHiy{l3vQ4&S1B&VJo|^6S~6TQ6sL#wU3TO{m*Zxm;`N zyzJTAmlc-Y4&E7J{pHNLcWTp5>u*-Snsn%8)rYeyFFoPV3{6ygv+=Uui^c=@_*@hk zKU=hzd<=ZvdDgT3`HbZ^%&yj4T~<+~AlxVQ>Rx-{zT>}+OkSlCDD-9BoO^d2m2ArD zIh+JODroxMXz{)IW{duQ0}17(?{nY0FAaP8^;!t)HKYE1DQiFFNheqE->-2A)>^Z> zzTob}o)gKd*1U`QEU#;K!u|67-Uo-aToaT^d9ty%)aHoX@5F8IPF||tRdPbvUto{< zn%B2aE#O@*TDwn7w{fZN4Q1UWKknwdO_YmY@AB69@yR{s*e%l6S}%RNbfQ(JL5+rg z=JMSfWqD=C{<7LFx~CQweT3uZ%yT{q`AQ#t-P5OCnxOFLpUXb(Jp#M8{>pmq6`Xln z^8D3iy|)=h^uAlq{`q6`p|^*=HOpx9o16R(?_H<1)3}uN;l^L`0UNAZxKi^{ic5-8 z6LUeV{G=={V}r@lwH50PW4ZK$GpkY+j19T;!xf?p6^s->VnO-&B??9s3I+;6T>74Q zY5599mQaq1LbQ#!n~{Zqi;!ax74K(oWJU4fbszfGgNRK;%{8s+I+w~ zNkQO8|0)gE#vqxBL+u)#jp_=`92H!gR-GJ^0-7dF=#u#0dH9BOZ^POK-PfhOIehgq zkL)o&Aa*P_!NzU#@oW2~dEZ2d-b&uQt7un|ScQv2|J{t}_qSuBwbovad9gO|@-J2+ zdC|f%?Mhw>e18=Aj~+YhpzF3^5l7vLkJEnsd#>NHXrT{t2Wwrk$g0}Nynnq*MBblm z5S>=KJ1b<}#F>2MYv)|fZ7nH%bhA5p-JBw+$aIacvz*V@lh z%O)gF_{nr5YQKfWlB#OP4a+KWZare$bUh_!-F)A5`O_}<9ryVq`z8d5iXD=(e%m3(A@jCUeD91pX=RjbFDM{s`j<7 zxv2r|xvleWFH+u6!diVRp}*EVy86cP>(er7R@ltE{*&SRn$qPZd$t6r^X}q*s(H8M z`N4B%&+XWM!2QbYW7*vjg0*_-%ONsc@0#5%Q0OD-(!Xz6L<>g_jv un{1v4wBE_!d#~QDk3DN{Y`FdN)VpQ!j)6QrlXvMTaF}zcs=E5SaRC6s$EuqE diff --git a/figures/SAT_mvp.pdf b/figures/SAT_mvp.pdf index abc7a6bbb8ed9619bad5e7f216244760fe95e0fe..ca0d597b5a3fb7668f019ab39abba5b12b7e28ed 100644 GIT binary patch delta 1228 zcmV;-1T*{iZnJKXBLX=!lb|aqf2CMEj~q7)?)O)ybPCZTDTz{Rzz&e^knIdtejE(= z61cIu{B~21nbBM{YkL;Bo86PBkNilAU8di1dYCHTe-P0395k$OCgH8LjozQcmW;;()>ze$5XAVi*O^iYS zB&1XhaE_4F75tp2dg-kp$SEaWKi^d%AC7#09zj_DGAJsTT#B39ZUY|hrxbx5c2Tvc^+7UL7F_PZh^|NhE4!?gYM-g(SusGc|3hHtQf7v@!4P~QUk#*B< zyPwR1sm6EvL9*z^_u~w<*+WR4b=fD)<=sX9DUaFdMugNRM{y$(g2$lCPKciKXnS_u z9BDKr?Pn>1J)wF!#Zm>ad$VS!kPjP7N3jFUsBkU0VC;Z1Wmkt7>?6z_-t0Jb0GjF(0SRTk z(HNiC)=}&VGmo4)S_9|R14O^2Y;$9DTBv+U$^usJ^{eaUv z);`%PbvtmM-rGz%@x?l%ImWZ`=qPr8Ip`uf#=7Dpf$~mrDk5HMgBEqB08zqGJPPe- z7NHx_Xd~`bmGVRU66C`39kFfubRHZe0XHZ?dhIkVO=pafAc zH#0*qIWjatG&nOtIYLE7F+nmkLP9e)IYKfpIYBo*AUrTPGea>sGBiRoI5R>yLPbU~ zK{7N#LNhlxLNYKpK{q~K3NK7$ZfA68AUQW6lc6gqUlq$a4uen>Ls6UQGZX0PQUxI) zq--I}Pn`|04su^{WEZxS?o4Hg3JLQ05^1Tvr3NiJ^cXNg@hhw;wi$8^7%`zojmE_q qo7PW7cHTbn{*C^?jK#+#zkm7zaE}hclTbGv3O6`33MC~)Peuy)?Jo-e delta 1278 zcmVzoXiu}S zTEu|3z>VLIosX*2kZyLXrRnOLiv3>v>?E#s=96*erwhu}88nCqVh)BGh_ZQkz5Hn| zVxX5#asgjBn!k-cwlP5}K9P8N@SG`_S93wi5R;R~4xIVTT;9KZCPtPRd`N$6c93Q% zxCmHc^vbdgT8`j?3sf04y6tImep-%+2T_8YL*Qvn$7ctlx070pye?~AP@GibY; zQH+3u#OmNn0v0L!+dxI7XG2h!*>B$;Y9JqPX@CJCd-=~`7DINNcG>O&-iV(#fp=7* zkr@LQ^k0nlpMpS^8%IG(FlK-76gYn=)-AQM00&Ch5P2w~#rcM6!6d?>3;`F{6a6-YE%ztY!6m-gJLM^G-g$8cX0Z zY3a%0MyJ|Ytb#_xi^&%y;!q?$2b8(Q3Zb8ueaMcn&D(D7gTfAu7xUgcnJPrr0&>X? zTRPUO!4?8ZJW85^Y)_nG`3gzYJGzLedSh~t?@1D)3(0subQ02Q4S|DXLrNm}8l)It zP@Y6bMaGaFW5d~Q-h+R@4u+#3O_TOFw&q^uy~va9&Dc5hGvBwkrhWTqhv_JGf|&`o zgFqLk2<*=C*aO0fqHTwH3+yCON7+G^;nZkj-4LZ9Psh|@?2fZyt8<~*>J(dtxzE-1 zW_(mdJ8CvpAnT0j$?p5Po=+#Nq1Xv#&8FP}_1@q# zSp%^<%348fIj}bz=>ZiRj-7zkYfT%M(A$>qz*=iKb^=<~W9^7~I~32?V}r31&N8~% zT48Uj9#FI6*a?4V$tPV`mbRkyT<6(3irrw=nG>NUaX}Oy`YN(r#^hw9(yq)aSY6lO zUoYSNh*GJtn`LdmuD=+ylg`czv+GCm{LMe#ez?9_ zzA2r`NRYijHg!)CQjWLspxj;TA4JLWva#A@g8%&<0IYg{hK>}(Rj3`o-LMDY#y8hsk7tDQba;~) zzme>BGV%y}z5WZaD@{1F3j|y(2rxM@GBPnSFq3aF8wfBtF)}hSF)*`|F`xudGDJ8q zI7K)@IX6N@K}I$+G(|B*LPSPGLNPZ*HZ(>tJ|H|YL^v=wML0q^H$p{0Mm94vMKMJ} zL`FkGF*ijvG)6H#T?#KuWo~D5XdpQ_Ad_D*DPR@LyA6X-7(-#30GBrjb;>kRq)1RO z0gJEzgRnH5zxZSqwv?_+MS&6t@^Xl@R9#Yy1}!@D7@+v&))?Ci5A+x?qC!pK>y<}?S*C7V@domcegm|D9{z&ph9e4O(gv%2P^O{XVT z{JSlDWODt@K$X0l=PN(+6*0Lb`JU@@_SL)KKePIl*|S^w7J6AM+}dT@ebsf&vY%>? zESdQ^W-g6zff6x%7iGt5Ow=Ou6*K6`~Clj1&xkVnO-&B??AH3I+;6T>74QY5599#!!xn zLbQ#kk&%g+rMZivsgsejp^=4?g{70FnX`qZshPQvg^8t|0%0XUTYNZE^U_N)6wFK& zCSPRIv==>nQn0~5fY~u~73+;$pt-?X%*PlpizLICJg>d|S57ZVo%I?eF zZ{NN_tC@3JPZwj5$&OuH7)2AOZ@2hn70>XxeE;vn?_Kq;_DVq;T6voE&pV)yJz)WtsAkM^AFWO5PtQh z>uaIbE(+>NqToLSGW4(w?dxW%aQi1@6W8x{abTR?%3Y- z7Pelu7_^x;9Zhm}c_XlK``znSChMB*HvVUpy1C~6WH(0n$tzgI>P=#~^n)|2QWcC$ zxb(vnq74;{6byl4LHYS53Py$s1`0u3`kr}d`3goxP>zd2w2iB?rK^jpp@p%jfu)nB zlbfldiIJJ5rKuB;Fmy7ouu~wc1Zay7XKG%0Nrr-%iNfTIOqzD0r%&=W7>FDR_%CpR zZINx2^A)K%hbQYB2c#w4FI~~$A#b+8FXNSzRcYtflLz;fdCp!nYnR&*=O@$UwdZry JPhQ8W4gf$^8rlE= diff --git a/figures/arbitrary_divided.pdf b/figures/arbitrary_divided.pdf index 44d84c7c8edc5bce2d25c52f2e361e5400ecac61..2262e0fc3f4b415dfd252d0d12020b8d9f559cb9 100644 GIT binary patch delta 1285 zcmcZ)1@b~;C!_Mx@JU8vTkMsZT z_y7IAL3Oh)lP#mfLBGRcT&Z~}#U(|liMb$Feo_{fk?H0|%m;ZH%{QkAR`O5&tSq|t zlL9l7vBBmq%3{oue`@ng7E>?PHZ(RgGqo@>(KawrH!x7waXj#Qn4i?5F>$2`;xdPg|GkNVb zxZVnEP<39i`{w@pin{7$dbinQEo9EkDNeIs3JN%&d4Wg6zwz0R;|*R3n(SP20uz3? z$v=2;?89Oc1IC!sEN7M06rBjNIp`1^vvh%}+hvE9PTI$w#T=2bIcy;jdxEEa@k8^| zlQtVG1S?ElmeJ6YuuR}0?}UwCi!JPrzikoupT{%dby22}QBGEV*82vx<1Ke2uIJo7 zwS&PbYTr!uXuetMGnQsNnDfO3M+p;Q4fxe%F?0HNgX(kMZqK%_J##ii zKy$_I1P=bZ`Ba!3_f;^4i?QIk>f=hE^J+%0v+1VcT6u{Q`NUmr!MrA!zZ34 zlRh`Es%Onpe!S{hUd`oqJL>eW?a=37xjov3ya`?g(?J4f@v=x@H(74&lib}n!zO3G zec|4}Mc+5?uz9fS@E5yCmc8n;IWJUJIZS({ys5Iv#mrXC`=xR8H^$qFntc(e`H`{L zLO&`b`5U_InV!CkUXZA>%RqcP2e)F~R{nL;f#)x^tGPTrxngCN zMO9S26kDx?uDZ0%z3Iyn{~Z^8a%$b$`loxoS4lPuND(hBY>w{7YN0-Yk|&KRB~0Rl(SdOFvv8+EBqr!4N1Gl%HRsU~H^l zpb*5R@0pjDuV8Ef<+vzB+gP}onV4F-y1E&;8k@Kpx)>T7xH!8RSQOz9&Zi_%+zU4?J8OM!2YQE z?hQ*zL|0|oOi*~g+{62P`{zXIzdvzq{rWxs h7M+jy@MYT5$Lpn+ujOxgw;t1pqO^HFN*~ delta 1264 zcmV`=5d_iHp+=**}ZN z5BrZ#`|p5RvrPg$0T|eH!xai;Ze(+Ga%Ev{3T19&Z(?c+GBmTI1HlaeHnU_Ac@F_N zv)&*S1C!h!7PAN>0s{dvlM5$+D=;xJF)}tXH!CnQConK4DGD!5Z)8MabY&nYL^?7s zGBYqXFflPPGBz?dleQL7YUy zDZ&#N5`aY*C`}PYIu4?kq#q@egfRiCxh7m%BTY)2D@2i02uVJn@nBq4D9uRfQ_Mvybog?df#>ifB>xY z-$>1_>Z+I;M>FIbjfrLE$x*lJ>w}1GmWxfjyry%P~xm2L)DX>xdR$)Z3NGMkEe6MPMUfaktMQt~( zs&`ty=4;HHk0;q=_}B0;uR(K=^{%URUIMYomkr4sbkNqZ#}%hugfemtTeK3W<5^Sq zIwo<5U6F78Hg@^wKwqOqW;fT1A{DR;m#=JbRxVeDfSo$C{tgKNyY2q*3BbbJd&Cy@ zr(p|hDOQz+HTH?Q$J!Ww=KiaWcbvu+i6Xhbeg35N=Hm7)JKxi~KA;=o&qy3;?lb>lpL82d6{mw7jc;ph+h z;2s;_v0CJ_4Bw{OKvvz97BQ$!Kd$BPcz#~dH$;=SL{+j!G~FXA{!CQAC+gc`cx7$2@yORRYec2r*_A_(fihNw88KF_}KUV_78Sx*VerOKciloplN^+ z;d?s696nUbV8`n~xyyD8M5oBleSsi$)0l5tx3Z;a+Tdk=Z&uC83H!QTH?t5QQ#4#` zVv0{s=e`eq+nDmKaJDMxGhSFH>oHWgs&(3NKe6TQMLq zATeDEFH&!BbRaV_ATS_O3NJ}+W^W)fGaxV^QVK6gL?Bx{Loz`!K{PZuI5R>vLNPQp zMmRM@H$yW-Gcq?tMmIJwJ|H|pGC?vyG&DIlGeR~(F*G(tI5k8!Lo-A(GB-s=H#RXo zT?#Ku3T19*bZ8(sHXtCAp%Exv70bH~gHRYlVH?8Z@`eeJC_u_C86uNquuMTk2j?$7 z*@Z1tcc!91i3;-Z5oxKurGy48I`mL{Ue*}93^@k$7}23da{h}=+oPI_Zi=61)u=E$U6Nw1~oINjw#oi)f45qa)7s7@ zF}sxyCQn-{{PI0c7yK11Aa`gSd8kQjo25gx2x93}@7E5uke3;w7Yl}!*BlyXNpv#)>4*Xn zCJB4Fg<*X1w(2#VhEPot(R7aBy)d}cxJ@vW60Zts1idL(cu^+TmCYe`YcxpcRx94Z zb0-gLtEXmRrld-4PkD?}Q$-S5rLjL3ni{8M?_h6B2g_ceeU7(CMShU^@dNCPq;O zM*6>&-oGk&DTsz&I!uUZ?o zbA#@xn{bt5Ftn7?ra$&#wX+!eOMz0wPo zFO$TlZOoXy_VAN0>fx70YE)3GS*M3Xon@m`WFq!{D%ES5zQ5uS>)}p%<5IYS9{%j- zaL2cU!KrpowjgTsI-@lpxLO*8OQIpl*InZGD|COK90~vUd9Y*1iMWh_Jz|=1;P8~+k{4ihpf-{h4DNaV{dAT z7fPPdI@NVZCH($^H-tVfPB;#mK?JWb*e15JZ3A}JF0UpgG?WtZUOhe#hVJnG6HT~f z;>u6#EiPO!{*nT~0m_qE@rTGE6@;yw0!@(c$Bg8t!50MZVO{puZihy7E!s-;V!m-r zr{n7vY4yd?W{EACwofuIH{ZDC)|*HlI$@^a=M*5!Icrf#2n(M3nr}={3PJ-xRg2X* zzg;K3tla2PwCyk#&T#Uw?Z#%k!-(aVImlszNDlk>Ww_0eqJu>9IZ|4niB(>+l&P@{ zV$5ysA!@umsuC6QVDe|A-v;OMSd)gLba~!d#@or#qUvA$2G}5phuZJ~-WPKbGl8)7 zMQ;l}9!NUtlqZVaKNy#yXfLEa0Zs$8`pAIy-hKtuIH^#+Vju)4MEo z5dG1S*tk?)V3z!B6zq~d=G7r9A(8~)Z<;`%iHRlrTwB3eyd&@yo*hZ-Ig zQWDM#*|cd+f^Ql4*fD&we7o(C^5Md`!XM5m+Ef`0fV(Oq|LM7wmP=< zO6Mq>IB2a~W$wuZHN$&w%1p2mMI#6ft8<33j`jq+(u_UtZw!$b? z4*%D|(OZ5m=w43RU*8!fT`-MWUA;}io3o1okn(dEFdpn|Hc_hQLiVnJtDZM{=Ec+9 zm59lX5G^_Pi3{wap}tVW?;rGqXUN_s|Ge+A5m>fxv>}v7*Z=0_MIju`E#Dn{dFefv z=Lhk(vaiZZt$Ym*JGTd(Png4l8!L15xDV++^4H<1-+J<9vg3cXAe*;T{nwX!yUN~A zY>Egewu8{CbX;86m4SOJ^wNsg2WjGQsnvIDiR}=fjKCDwV`5en>a6Of2Du|)iKoUZu4fEl-Ec)_^K2c+li`ED*}7WW%|-Cau)K@1W- zY0p0z%57MXpUi%2&D#GBc7OmpC;jG5gd{LJ&21ILq&o8KlW2CI)+0Q@)GzY2%+B>i7zS$TYSl8x`F*uy zQFdWE!RS?@1|(XT8fpa2Q~eJuj}*N ztxxfMfIK<-)l!%*GAyy!=Mw%oS^-M}1}_MdM z&pht;(%GRwz1VhTq?mAyl2Y^SJ|~04r7ZiDNInLnY=^Y$D(UVuXr;$$tn+#nTLiFfv3UtV}FT{vI2Im7yLSWn=|6M8OSU2sF&f;5U{3 zZ}~grJT(&oCwGdo>?KeW^1Z$L$NGhTo<#{uK@z(SB^*Q+92EZecF+cYdIY;g(NO2+ zS>1Sw)|R>LT!qX&sC@>y*X9a(E2hYu2H_mCbEo~yw(|6LKwy@%JNzU$(Gl?k1Y&YvXwVelqE4SGzuj&GWNzc zS+ehueaSjuvR6z|=)V8+zvtZh?S6ZH&w0*yzWpc}fRPMWEEqg}@C~$eo4HP@>5cj?LsL?wn*aJr^Mg zrEHzyJYMi6Z3Pw9i_bTnnYlC9=^P67NwP4Dcb)9LOUh~bEWW1kI#L1-7DXiYCebwR z50-- zpD`b$d*}Db;rmtQ^}1Ah6{9Yj2@lzn$ns>D<(f>ci)w}Oqek|x8L9JT}^%AEzuS;YiW~VQE|LNWO{ux5u`RjZP8gCi z#DQn$D*uhr5^PF6tQv4Se1(IcYwZ^fA+>shpZMWLz_fiWbLU~E_lDz(vol`?8@K{H zbzav2H(SkGR3BaC%o7LCIM@}2p}Al4J}PGZ>2+(VJd<3Ug?y6OZ@QWc{(!rd>p`Gb z*A-rq()HHtu*NDITT;r>wfY_KI?PhmiK+X~qMXF!G5MR6cN?eLo%-Uj4Wa#pDOvji z-J*afh#o~eOl6{lr>0|!vo$`!|0Sr^(ZzDsF|8x0hl7j}L)g}r2h$ilz{%*g&sDie zBO+^c&Nq+@$U-NdAStN0PU3Prf#icDYzf6aom^8=n!r_rxb9 zo6sNp4mmCfwj_zme-&#^K6b-YRzqb<{@0S_(1B_Izd zjq|oIS`Igj?PK4jkH#cSL|?o7_iFLxtqt;uy~>fE&qbzE(I9Q{`_yqi!mlFd3`YBN z8pb|gHU_j5B4s%(<3P_xmqednDWh5O+<^P)9$_ute;Vj> z!~1478KTRhGBEz8o)3{-?bf-B_~$Zh zoL!kRaU8LKnO;cuEA+zfBqt`{FX$8%QYiUS;{E{wz3)AjdDVFEUJP2ycv$> z1h!D4^K|{w=xcEb_=_;|(wq@Dcc)RO1vTg4^xbYztIA})GrBK349twT))wjKBeTq1 zJAc})yRM7L@Z1w@j5M!(eRGNfwcSf^RDI*dGV@9Ul-QmtDcg~g%QKv&bpJf1#8Igp z_-)~Yg;toDK(#$dZKcgr2Y^JBv^vJyrq?Z1@qLo_x!^32&TRX-HHhm;eeYlTv zv)uJNio3@*N0g45l5e(~t7cH~^3jTXlcLJ+N7NHE$VE6o*%9WGnkSjvRh%u>1WFMO z$b-)2xGA8p%2i!(Cm`DNWs7NPWFDJpyu&Ny7HMzkWHu8}y=59NT+A4?Ma8)IRRf1I zLh`E$Qf(CFa8~_QS3_=4Jq#yyDEda(7M%Ad&FTU{;}Q*Wl_~VfjaRehW!+R&sYLsMZIQ9v;?%7eMveRZGt;V(OveFI-)MK9$+&!#* za1P79iL3C0scP@s^yF|+p6f2&vqT1e0I8nd5kUN%D6%LE=}{f*vy zMWtg8k&EWC6A6`_q4chU!~sBTPC)yjwYJLMM$3ibURy0KOs?fJM(k?icQ*f8VWM@L zMc)@FOqg8uyvdfYfdGkW*-p?Ke?>-CX#41VKT4ZjejQ94#a%<|aC~wlPCM3ZaP$yV zcaFV46-lVD_pmwc?N)PE`9(NaKjV1ggqQidetkho5 z?z~dyHs0GQh&^SMEBj~d+i%LFA-1UH3YSyo;IRrjITOt+0)zZT1s4)*wJI@ZT)W8s z8`v&EL-%~EnB^xxX2Dx!(TYc;Hl0sl^L$0?ne-$XMV;}uKMYQ%^ z{C~5Y{cp7(G)eD_VFb7Z}G;hpPS4SqBG)LlI~w9BK_zy>i1h z7>dCB8w{b&TKWbU4I{V#3WGAxRM#{>7^FZH+glY>4jO9W}_6y{ax9-;=uWOvS6V1DWJRbmM` WME)GoiHRgo1C9a8%3>{zfd2x@9}6V_ diff --git a/figures/collision_resolution.pdf b/figures/collision_resolution.pdf index c5a8ba3bd1e0a2445586b2b2e9970b959023612d..483d25f7ca8d15289fd6391ecf45946f4f1cac17 100644 GIT binary patch delta 1235 zcmV;^1T6c#b@FtOBLg`&Ig<=JDSxe3OOG5i5We@X@G&{qxNMgn$E*ZMoLDh8!~ue` z9I{d1!j0d~S8coPnehhE8)^D6_E%p$TrO8z^`xx&ek0tiBIPWZNL~>|!zrlu&)c7B z143?3xEWtEtG|^D>);GK>l6ht$p;(Mv)U*aO5PVm$r_t&j_RY@ep*fl+8j(LhBS z!WvO4!9$-lAtXwwKgZ0iw0}cZh%jPXtc#Ga(4xsO2VxA{FO>sJMMa=gWImrd11ZRCIv-6Q{5*rd15bOTZC%P~X;c7jZQXIQsJr!ocFccx0 zH|Ez#J!V(-_iXFWJ)_v)_SAH zC)fO5&6%ph<6x;IdSaQ?b=1CTd$ONZr5npZveL8{6E3}!oYvKO2F+62p1!rvrF>pl zrO^}5lyOf@?COtp(PVZ~Wv`0PG#rd0$JpWGilb1g9a1gI2F=EYn5UulwXRTdbd4+~ z2f|jH8OK;x-o*Pb(tjeNE~%N4P-$Ftv+_Q)OAj*#a=0@X?>&e3AHs0(P9b^dkvzh^ z!%{=>*;Q*SdZJmS$e#0J?CbVfWBIR*)=n0F$bVjS(B*ga^P7L({&M*N zK%Rgo;vQAPR>UVkY~NmnXHDCrZ1TJLqbG;HltJzB$^;rLD_ymm%biYZY6puREbHuP ztKEv<+1zO?deAJjxnKgLv%pjOrgOQIk|8-;T);tX%gCKMB?J|HQXRBs#*cTI(YPk6 zxwcem^Z;K0yaOrdzrEw%=ET2D;QYo{8fL3Wqk-MVy*xpt@;9^a|#~`|Q>P7F@w>t5g&v)tD z44dql!qYt0!}S-Mr;J32Xb>vHiRH%UYmgqAuuO?~9Unn47OI2J#|OL7mKq;dQNOL@ z(+!*Kx@q{tbv=Ba`}FbgJ>D?$X}|vqekBAUvvmY0Fe)=KHZ?djGb=DMConK4DGD!5 zZ)8MabY&nYL^?7sGBYqXF*7kXH8?agv&S^_1VctaMld)wL^w7wI72Z-Lo_%yLPSD2 zIWRUfIW|Q(F*ZIRJVrrAFgP|uI5sjkLor1|G&naxL_#?^Fg7$fHbprxHk1B2L00KA zlORM1Sw=`v7DyDHF46~0zTzvum5{|TF-HrsCbRv{L`XSQaWtM;onjuJ zLvlk}bJ#L^R%i`kgsA#+%&>oWNGQS%QUFd05&ft>G1jWjoHpzW zx_QVZWP6N5WVlc{v#(402t^lVvvhYP&DLo~l#8_oQpf zOHn)k0F#M>HbpUzje%{6l${eJ>Pw#xVZ@YUi7i<0>7_u}=vcesa6^B|E%re&SRBq2 z*d7Tl=A3!J#dM5BpVED9m)5&@SE0L(btw7{=+6>{Xsk`%)nvvL@sJPEMo{gcpFUX@ zFjrB@FZ`B+P~%X4y~5R+&^D5j0tZc}T=RQ%Y$|^DgQb$_iDg#TQKcsJy?j=cZY(>= zN>izolzXK-t*i44nx%iXvZ-nvkLkR!N~0&9DS027*x?WDf=T4$5INM;X&AXmIf^A! z$pO}4o)SprxMVzrG!0#AU4ZD|h|HXS;M{?6jCJKrybp6)1l|^ErUb5|j%)6uyboRL zZtP|b z8Pp!HOrXKC(p7)Ux!mEjrgpIC!LrVtw%V=uoz0!bq6f`Vn?r-dT@XK|Ej*Vyku$4O6_i zd+JSR8bpUyq*%Hex?G%6LpdyHayVP9Ecf?WDr{s`_*}JOl#B8?SwYWMEBR=3y;%LV z1Ej^lEC6qEEKMZzqWAM#9qG*&M1^=F!=#EBBPL8uHTmYcuMQMz&9 zWr{%S_y{hFc%eGze0+E}+Faw~D(aVYe7a$iT~8W5aa|AJ=RSS>Z(+Rg%-3@N7tyvZ z;j=0PC@=>yF*Y?hF*uW1G#m#qF*Y?hF*vh)H1q^RH83|tI5svxMME+*FgQgvGB-v= zK{7QpIX6TwFfv6oJ|H|bFgHawHa0;;LozimI7K!xH%3K4GBq_hH$*TnGDS6$vpGRl zAq<}(VMzn*kdXL`R1>9+6p*svzQvKfu%+fIRM&W*ft)`gEwz`_p+~}i5fc=@%9>+a zpu~s?GX}KiT>WFyd&`l@`%gZ~=uf<`_*~`pS2vR`4bziKIv)u*ISM5uMNdWw{a9@z diff --git a/figures/isosceles.pdf b/figures/isosceles.pdf index 240c4291a3e264bb91d361aaf9ad3dbe79d1ba7c..c701360349316ecea9d43963f4d8a7a073919dc6 100644 GIT binary patch delta 2294 zcmai0dpOe%A8n=|=F(ikuaS`@gnf5&TW%ZiYe_^R`+X8;&tA&9r{ zI)@+tE?Ztv3_!5}J6(Fs@dMNmBy>!qA08%A-!i%8anm5HC-o7=Ww@Mh67D6~+OTlW zaWIV(?Aso8Lca6^$DCuXSGZ{3mzNyzt|OoYqSdjGD}6m&jt7?AHpNqy8XN}hJ0P2KnR%v?_r78U6P(5~t)T#2j;+!#zpB~938=l#KohS9W zH+bC68iM|!Ki|LmI`f}H9q5U2Oi{qxOmOp;#k8l_Io=~jH}J1YAIoN3`u=#kBNHe+ za(!;te-Irlo|xm3G_u=wL3O}}#NAQ;=+fMhk2IVSAx}G(6wzKMxdM5J4e1Qk+}T&y zbYh%@#+A&n4|C5)HSKvBU!7X7*?%2xh`&xHTzT=yGg{P^O z3bk@uB;BJ)?_uBY&KhO^uzvTN0)X$UospK?AL!YOwDnKXSYF^O<8`LuVWgYsy6Xx3 z9s^xnAp)n>7w;Xy!+-+b9R#f8v{G5iLT zxOo1&O=>FYuPt9CTBvavFZPS`-WA&3*^w6)bm;AiJKc7_SkghW8)5=pQcgLKir=5k z%@I|!AkCikE-Ft4*@DY(d# z^6f5HkbvDS*nf0nukkJ6L(CaLx)<>hJE0*;`U;-Xv&XqCQ+ljF=6q3KGzcMIow+@( zn@S9z$-Xqo%}cy*$oOkE4OqW0f#!IK&aQ4~4Xj>`O8nWw-82%su3K$X`zC z6dO^-U@(h=S8TL5ixv~ZAX)G~ssJwr24PtJmUJl`fCh{K9M**8WwqY8~Db(Qk;y~+x1 zsyHeTQ!WkxN&ZCwM;%T*03v}Z6;vf{lP8ZSZ<9ae!$`IH2+@|s*IJ{b@Zv9YB_XJ1 zF>-~U3KX=0)VKMkgS*^PKxe*bj@_awxqloz6Rir#v~6Q2fmDJS2kjS71}mp9)@us0 zkKI1>@5};ajU?oQLwNhF#1i2*Ix;4H?#erWO7KyIb7-gW0zNtv<;g||&1G|Sg=7G@ zJ?Y*vT9l_9K0`&aP1>=cNX(3lG24lG0Dq@VQ4JZy{a!Ep^=(pTU%#XlU3?#ra7m_t zT$pjh(@aG~wn_={mQh~mNOFHK@(VqjeQU9QSy;qT9~#;vbGc~QUcw<+k5E587QYQo3U|2QtpoP=P2mo!!wJGbUuN(c2!7@BJUicl7knkHspo!x-_J)q z|14%hXcw5AY~`j~^{#sKJ6u(clmFX2PKMS^45;Y2t5eRT+QX~I?`mTLGoa0Tt@NY{ zeeVJFnDkcZ%E?jObh*7U&d6<70&})Ga(w=StcK--z=&jM5uvs8&7_QhfabwCS%AB@ zZ6iPOqfk!=@IDGha*d}uI*;q8e^xN!<_DNHLgys?gWN(bW|Qd$7sHD8vWmhAcUg@j zV};bDyN5~!&W(anpE;bfUKn4W=AYGRm&I3AzF9I66+N;%w*%{_KVIpe*(|I3%a@%s zU|%1cdCY#zzBkeND&@oqx;juBL7n2fCe>vkH@#A1Y!#>9_z>t({p z37M{)s^bQ=PlM)uiV;%C$Y)>f#xTEnmk5NUv!+#FNIcH|8-K%=0M{;(Wf1EZ;zh-r zUR)y9UCwJ$P4~++wM}~zk81BMBOCJ>uyBLa?=Pib>Cr6Ji-9K#tFCRX6%VWE4!;}4=%9iv#cCoiiSU^AH~7^JLn3-#A@aNNUJYDw(NH;<|3R<(O14^_?A zb`y#xx+1npr_66c)tpcHG8wS2ecgLHdb{LHjbbI5f5;o^&9|A1XiC%dYs#F* z-@k+qqx1Ta10J& zbR6ypz)^7E&&`=ijfP{;a3tIrV&o7WNQGlC{~<)UC*Il)g$2;o7(2ikO~m2|wg46| zL7JGLu>=ARhs0RG|G(u=3Q39_9uyr62T+(lD*{FT+y9m2%6;j&L%NcTo6H*{4Uy8H z(nnKr?`6?^BAS zae7L=XqciwX*qY$bB)j>+(Kw@S66gO7b86VFVws_vL4^3kzK5m`@e6PHEt&_g+W3P K2-_oekbeQ7cPfVf delta 2390 zcmai$XHXM}0)!1!gCJ4lI6Wni03rd?sRF?S2`wC80S+{Q7{ZYRFd7RGnx`}=QHt~u zB7$%PG>8QYNR5JYDM}1QI*P}Idfv>N_vih1|8{r2nfn#RFvb9N zJA0Z2fCx+~XpbD$gtv(`;EGQlV-3O8N4^^}gOr7q5f_X)HCxU%W@j7F-84b~9QxYA zntkf-@fLb9Oc6S$m%K7+F`64d*i|ys{o?Ww3es2ULENC@Pq2}LH}6P>o=-Ia3 z65s)TwUuUnLHWZBy*g?83n;sA7YBRcB^~9q%DsqXoofM{EsD=8;Z8NZq+%%NiFwQeO1{qxrCGgXP6}0Ix`QG4yatnpoZ+ zmr_*iU#$zNF3j1iIOcHFfnR)lNw;hO8uN^P-MyT>>?68=YcAlq%Us~N<=)bF{II-q z_xWGwo)b?-k53kyFf$1r0^ujgs+5X)n?OT+Lxd{0pSGR*^neY_5(f7D#7OdLeVF24 zUK}a<`a836cG9dCQFS&6d&RRk9@!Wm>F3IgNuh!?+``K1C&?W-Gl%z8 z(YYjXh1cA|)Z)a!}?y<%#=AU73UqgrGPJ&v-?f~E56e$rB&P4AluHu)vNI&F2^=oukxG4gOJ9l@5kz?iCk@LK5O9LsfR$u*3j_tzO>^1V@WT6_PCmdkoi zOAU!LOA=c8Tc#67<+4BtOVcpYV@+9SoaSGm)VM!2@q_p4Zmn zTGN}u4!uUewDDDIUOtgZlW|?Lm@$=yUNX+|8n|!qre^*o)p|>Cw}Cuy?aC%#QYx&*gZ8MbG96B!%U+l%Threfa2v@b72^y2?C2k!O@0r zq&^(3ZvZ^%%<{*R*;Mdhyg3q%M8W@y@Q5~I0GhXjJ{}e^iIR($c3CwKGVpFndtCuu>a!&VFF9B6fIwKD5_N5I_A_oV$%f%69uY zNFynAkr^} z0WkcEYnBtQ1-Y*Gg<^MK_Yh1m8tQaCEjSs0*Am4pTJ=%ydF$&pDm5A>ka4roc7W~6 zaTnb!O1s^IL<5Ud^34%F_ioB0f$7XNv^}i#=*<CSguyTS&#}O0nNvc06rg2&~1m zRiaQGuL>16Y3vjbAS-&P&^g#zpB3veBZh|BKH2d~ zI3naBrGeAscS;u=1tXfEcaQ7I`Qbk(N#wA1XXbqD=Y?qJ#Y!7nzCn(8pXy)5nx zt%qvU`a(^BjXJMV1@ErF9?%u*_Q8Rk8EHVXKmwVRS``jde51a1ukAX+{J^A&yK@_x zoDj-?+3$ZVcV=j`cX7U31~ULuqn1~jEL+K`y4~^Xcjy9_KX0VzkdE}!+dP-pKpJSh zjpHUgzl^8Bo@cVnYcygJp|n%ixOum62|j~RM}3+MjZzqj!hB=JzNfCtuyW)Jg5MuR ztZ_n~#*a8JMJ3)H|7PK`@pk;(P_~lbw0UZTJUdCOT!bZ-?#aY zAcO!eqMoLO9hmPiu>fGLD?%)#TD-7St zv-;pUu2%kmd1iRrAT!c`F~WRHRr(TJqvG&pt$@Af4)cXq)a8@?2U6EeUnhTFw{8*% z%0~s@A|*wWL04Cn`U&k5VReIZW4l?wAq_j6;*ErhE0Q;?!g|N!<6Ney+L6dsQMRIldxg>aO z$*zqXC*0{LO<~2{<4g4K+;c6)sWhGU|Gty~ZjwVeA)0q9Iyku&URu57{COV4c;;N3 y%V`c+*f?#)kbc8Ge=2$OYF|v1wrsOU8@!}G_djFJE4NeIVP*={)g_SZfd2r~P;Jiu diff --git a/figures/pentagon.pdf b/figures/pentagon.pdf index f22dadd94097a3ece1aeee0bea3ad243f440dd20..4888a1eea4add7c2491e209c6db8b8738d6c0cab 100644 GIT binary patch delta 778 zcmey#{fk>rHNeG9*HF)tOZCE)qc^w=%{B_=GBO%Zu4k;*HZwFfG&8j@G}AUPQa3PA z*W}Xo%};SjEJ;<+aIrEnFfulPDVeOvbcWGjayF}GeQx0CyxRr>dtPfln<1lQr*c{> zK_cVPvG!-I+Kjij>9F2 z7L%^9#*0ioUR&>pA7(l~_4qPnw#O!$OI$BqoU)e$OP+l$z21`{tUi_2{Ad zoyi~P{hB5$Isg9szpFkR6J{6Xdb47CsH2=}^7QQ%MRWNbN_KBwcfWq`qCW}3-oJvw zx5UNPPn^u{$eVb|~;&!t(=hDGi|=H?Twv=_e{#fWozap*;`$B^?_?|^={RVk6sjh@Vz@py1V?@ zR4McM-R+6*y-rSVGFRa0FWGow!-V>ZH!J>z{k*l!!~fNP2DYFzAGlKUQi@B8QWJAQ zto)=bE+Z2K0|gMn#)eBjq_QAYK|dlWHH}N(GcP5zLLu5f!N@e0OFuZXDiz4$(hpaN zHdHWDFa(MP<>!|u7#RWe2Z5BQ}nq^#KZ=ImJT)%)7sZH>I5yt0Suo_u-5-oA_b7pB*XOA?DpDvE%f PH8e5=rg~LZe>W}wvaLQH delta 733 zcmeyx{gYczHNeG9*HF)tOZCE)qc^w=O*abWGBO%Xu4k;*HZ?LgFfcGQFw-_LQa3PA z*W}Xo%};SjEJ;<+aIrEnFfulPDVeOvbcWGzau%y*eQuy{_G1H)J-@@xY_z@dYr~r( z0!+8lW*`36y`#0vmv7Z#w&r9>@3>p__tn)iPX!qqs>(Mp&Y#ER-sa+vBEZ=`E|0g1V*3lMuy)#_cndCbpcMm{O@?8FEUI^-7ETX2}S~ZCm=qavF`4--+HReS3Yz z`IWL8kN2Nzu&sZww)4i++`XB5n?0BflC&Scxe$Jg_24?u3KKzPT>fc0Sy{ zgZ=H^m(gA+d;ZmZKYb`WUt>jpg8SaJT#o~V$_jg#ufJr7*k1ekSN&V3I8-@T2=Tra)5_uIa{jq)-c`}ViqTYFdH+mkbYAI#omnx}K` zMfl|%H+$~#T89_?(#&99^C95#&sjn(H)_*w#ZO(I%Uv4spM`DHn$MH78RaLRVG*l0 ziRID{&a6sRFf!rN4_AmbR4`I71d0Xa=a(oL87dek1aawm=B4E;7#Tr1E(*~$&Q7ML zMvlftrY^?LCa%U#Mix#kmaaf(YUyn3=HhIpKv)UT79Wn(y!4U`1v8V$nXHC!M*{u} zoM2m&ROM_UHs|nUedB<%r2C~SIy~gf7WienlCmo8{Ce`>-ZIbGt7h$TJL3Fgy1aQM r*E_D%yp-aSqSVA(5Gy|^i>tUKv8be?C^e1C(8$n?OI6j?-;E0ZH5@YS diff --git a/figures/pentagon_congruent.pdf b/figures/pentagon_congruent.pdf index c0789c5436ac4f9f571874bd3827a4560bdbbbf1..6a50921c97f41f51ace5208438e14f999af4a59e 100644 GIT binary patch delta 666 zcmdnXznfoBHNeG9*HF)tOZCE)qc^w=%{B@eGBX-ac4n^UG&3|dG&8j@G@pE$Sqh2w zj`<|Bv8BaiJ$B9d+`!X*j~xW|{MLTO(SFt@=XgYyk}gZpgOw605!&qsU-s%)%AGcj z+gQKf*3aoe*J+zwt9P$jE$rbVsJ((mYg&N#pGyInTY45Q*eoOUOUdy}I^R^~Ym(}M z{+~UxRaUlK^DvS;n`X^T3y7KH&-GV6`CO2DBUq$$Z%v!Jf?s9SS0?h^dBI=K>Z;$u5 ze9|QS<*fH6uGS`Je^sX>{FueYos$z^vP?;??uf1A`<3}OCw{E{`*3=z`Met|1QJ~L zuI2iqA-Q|U!G+gfGPrF2d-v<@^7<+B?;dITcSUsVwCVSMJZTDao?#@k{p&GVlX||7 z31vAEmD@I4<-d06_va0V7d%_@_>*UmT$puO$L^}|-~SJ|UpXmS)N}FE>gCmz;m2kl z%Uis6-Qu_GtWj_470dI@RpMl9`Sz`hE=vAzZcp&zG~lQ*&n#~3LXCl}uJ( zx3t|Z+F-!I9C*@FAT7y6>YCZ}NBgr?R<2txCon*9x&M`*=%C{Vjx-93Z>c}I>${o4 fqJ_x`R(3^|UztlBxVW}w!@?NQ delta 711 zcmdnZzn5Q7HNeG9*HF)tOZCE)qc^w=O*aY}GBX-Yc4n^UG&M3eG&3?cFrIvxSqh2w zj`<|BiGjgn9d^z7+`!XWj~xW|yw-j-L+0A&3x@?I4y*aqoDkM-Oljp8-g%uPrT0S5 zv^V$j`*V&ba`JqBvF_!nb$$vH6~h7~Lv$7{+hY>Kq?@eqB9o7|cA~;F+xA@!Ya}Nt zpZnzDt+KKu%ww6+tg{MS9ZPGs32;x5ydLLx=Sp4g&pDSTR{Xmyc%**v%^;O^Ij>iK z<LYE@}GSx<`(~yNz76H>TCRu7cII}BU?Ck9yg0GW9tuaq`N@53V)Z7mT>8P8RjCR_CS3aA3ekoNMhb>N zv7r3?5(Ohe1p|d3E`86uw0s34BPhp3A=<{()zHAe(89vR#n8yY#LUss*wER<*wo3{ z)Y8S-#mv-Bfv^&wEk2W#*-cVT@-`TV90~ZZ)1sn~wa8567Tfa=Pfqh}(GOg0W-9pf zDBBzP5?)_ftE0cBJc!!8WKC?Wv+*b29DaM1mt6K-sd*{IB}J);xgb`4QWjTnNn%k+ UMNw)Rm!X-NIhU%ctG^o;0AJ@Ss{jB1 diff --git a/figures/rectangle_inertia.pdf b/figures/rectangle_inertia.pdf deleted file mode 100644 index 0a258eedbcfd9acfc1e8c264b24f8ff7013f26c8..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 18748 zcmd43bC7M%vM$=TZQHhO+qP}@>eaSw+jjSA+qP}Lb?!a;#C@@U5qH1;-i#SBt725u z7&S*_epy+WAE|BO@~-!T=kkVDB#6ePh0| zKKe0XKN=J_#T}xET03JZ!ib2OCOR4H8tK(}oIZ0qo|Fa&xl#;A-ET&Qf!^Vf`iAZ7 zj0=o!7Y>Y@mqOM@)LtrsFr63(y+r!Y!kIcrExGCCH1uK}nBa3{OCD%tWakeYa%F=D%(|&Vr{V4v+IFq|s^^Q^SXK(T$g_*cX-1 zsWx`sXyZ8l{XKsS9!GL@tKYK$mdqn7?!Bd^f{xrFNT~wt$vE}7X^^~13kr?bAdd1K4g-R~?Ey&qn0aD^XWPuEN9Hm)Glw`cF+3Lo^ z-V{7#c$H6|n#a2;i%f9VcI1cs_uKQ{~%_DIi|9rL{42s~@mCaTRaG`U9Gs*n><4^~D!6i+zUh&OkM@_B1DYE3?YI3dx7+W095hzANUgV1 zhY*@Jat~R+Nc!n~_b_AW?Rt$_c155t0oyqyTIW$Fc#X$$glJjEovYc#iS?4)e6u-t zv8z&PD^q!)>fB0yS$+w(V57f=JjW33ZN*xs>nW(@mdQir?7*n#0}$C3wGjv$=?II~_$at+Vs z&f5%0aQ+meCN5gF5 zb}D5dR0IJ57)&Iq5&;3hhCoaj07yKPmnQ-$dbq9-6m;d+S)w!c<(T_%$^7B-knOzv zlJqk9&N^+!b<8t>e}uqMJXpYtUaM~}SpX4=*oG>Up9vT?6hMp!wi;mCls>jOIUfp6 zdd83creU<_cM06`FMV9`n?~l*fZ0 z7bn=qf6pIq=|HE8twGfPO)>&4&>R@diA$6Y9V!q+0z^V3G{%r5o{F&R6BV|P@(Y5H z4L&4J1R^{iMMw-NA}tgenCH~a#o*x3^6LE5;OZ1kr+RBs_ljn#x;mgTJG#0P`_U2I zfQW$TRfR*SARs9D4v~)P*Kw#5B|!8o2AHMcHwNh|IT)_TZw1@mL(s5@MmmzzfPz4H zWcyH%iWDNDtja(rs|bb^;oyTnLv;lTKLRLBeM5%vDB+I7@k9_H+~h)(edH2~q(TNi2L=a&1L*PM$3G^?=@5@ciM{+=?@a-BD{RXm| z4Nz)i0ZFq-!OQ#(HzR}t!p02P_2|P;hVvc=o>@@!txOe-7Zwj7O$I z;Uemfd$6aF1{4~o_}Pm9F&_ByGq(nvTqN&I^2b1gW5Y_EP(k9@13(4o;Q*Cv-vE(f z2D7jYs82jZp)0`~J}WFi2u3^`5|K<34Hs>}A_dltlpR7`l&CJ8lrdl7s<9zVIsS0E z?r_z^OT*$TzAdyfh8mFcac%;$-$ClW+vpqjdGzI?)*T$AMjvFgzlb@V<`lx;KgY+c zUh6<7C~OZuN_PK%{9AbQIg!^&3hAwp4<{FC@|a z^KYLMiM-JA#Af{UuWaOFKg$9i?^C)1i|()0iG!1_ z1n$lv8?Me|xpb%&_PW^fC^*>MvjnerPP)`GdR{5YjV2mIP}7sDdYJaoAw`DI>nHo^ zvHDsJC-iBGD7+Js#VwY?FQn~-bv7f0hJa2Yc=x?3OK5%lYxc`IefL-C9U7PJ}LwL+?KbNx|{mfCK zZ<_AKcI4JwU(HT}wjeiOA_~X5!+j6Gv<^^h(UI_m32$6yqIv;Ep_yyDYZLifo_1#} z&I<^4nycykm8?|lRukv$fZgv$R+Oy_$IFPSsVkpF!qyme$gZ_Q+zaO=oX-Py3h?KI zlM*|K^@_?$mPeM;Qeu2+XvARn_m8i}IBv-;N~=c*Nl> z6Q>*sPK{rjC*Y}gGGoPIU9?wFt4(d%>jt>tDPKz}KF@C!5b27=(R@plind8brSGSE zEw$6!K-xwt;5QZ1W{q`hbDPq(ofg19ZfCEz?-7(QEcOa;1}Tr@tG69HdFNL`cozAx zO3zamM&KDZ;9Sq`Xhi`0V5Fsb%&? z=5Vv7EQ6WZO200}rCGpJWQk^Uty?+SQ_5I&!N*%^`Dzf;=xqz#CXSOk#|ubO@Yz#T zIrrTvmS)u}MmifzcjE^6l3j++k)n^Bp1R%Anao>Q&D)Tk-m5X&3raa7tmvp%bgxxm zE2TT6dDuHU7NOs-@pxodw^*ac*rZ#1X7|c9tZJX)k%JZ0dezOAI!&p{88#ZpT(%0GQ~@cyFbrMS2yc~Mv{nPQ(Fp+HGF z8Yk_7ZqVlyhwi+7d75e|=JFb++BH2IAxRu65Wrq@0u-)^r|#}K`GPJU>L3&TIj;=A zztHB2xl#J#eMjLpRyLoEFKa_AbS!zsrnj~iU$Uju&R^d%SCf@RGaJ`wNX^REv`w_d z0iKNS;6ls8wsLJcTg`oiy7W9;KG8dW>6LGtm}SRizs*}qeC3|{KFPS$$jTP+O7%_uQ^KnVY+?;oNuPHgUkpy?^|0$Ys`MXoc+ESilmhb(Bh7 z{KM;BC&Udq=pq!q`RGy{7T%f5@lk>37J4&&iwm??YeF&vRrm}**-r;89DBI#eBsBc_{Yu|&EY&Gl3v_(GdoY{$YW3nQA z81vjdxRr`cbL!nRVT1*@bfL%3e@}BPhUR|YIpRBp>c;-Y< zhP6@296Qb}q3;;cEq8a~>}f0ojq}l>Mp27#>&X34t?Oe$GU2k5?W{f6RlJrs-Gy>P zu3||@%RFOcQMjoG?({0OCi7Imsl8o->!pI0r(>{b!PKI##Sti<{^E+BB_Y@SAcugz z`e0^!9Q+x87YZEfrr!g>RRI$NyGehjGk0$kcB6o#$}~BkmO?Q}vEB-Y(nxk+*m*em zqH?uDF2u~O+a;$alY1!F^ark%Z>oioUr8#Fb`i9g*&eT`or1F@i~iYg)1qqy4XjjgP0lA_dykY{GFO60{5M+rT6-+-k8em z=GCJhh>v(Yk6phsqxDhPxzy}&r3DAjSM@!)?w_IK90EWOKPr#-ZIW+QCr!r=9&2&=4EJx>Iad(RrY$^U@2eiczBGo z^!7&xvq@XEu)&6Q8}HH4y5)MJzpf6Ey}wazFOj0+=Exd9(|C@c&!>Wp{n2jFTpeU& zcte@&dpbUbe$(&~EzbJc7M(nJyIE|bbH>(ThDsV3`it#WI-&6CbvXvt*J)L2pg{T0 z+g1ARs`iBr*33xO&C1Fnvd_cAoSluhMqW16#>&ehQ8G2Jrd-KzHuNQte5h?{6kQlt zRk>!Lt(`|LN&{T8y{m&(frWm_ciz3L#yq`haIa+=KQc@DB(J~Qxn=s1_CscuYv;S) z4621EdbNh{52+)!i$pVLm#Tf|vO7DHX$tFM+v_iMZQw3uvkw*dCzEy~7yZDD>-Bt= zD{1~$Pru^iI)B+fQ@N{OLAedy-0IoB%=Q`7Oqw<{-E+0ilb`*J_nH2{%#gxj|8DX! zGyJ2;%f|69%a)0Nh2x)1URI93o&Up4eYT6MPNL%q-#lSZz`RHBJnvZ?-C5E|KO06A zY|Gp{X?_TW6gyaT6VZG%0R)6ZSYA>{K%aM{{3l-S&c{rrZ_CWfcaC$-g$}u$ogA^U zAu7fQVokW4CAM*tL9k9^)P97TyNXdJLt zgF3r_!kr)BqF^^9M4-jI>lh7^NlZGB)5_lg5>yl@4!=Tx>l|=!E?~pLvk>zTB`|QJ z#f20J*kEq^jCkrKIPfB#fN#@!9r^*B5tR`ICT4{OhXnKo`(PO67+9I-6qy$kz-3&T znxn+?B`s_8bQVXeZOaPF;9|fLFlhdSiR2Ck{c&J{gA>TEcX-7dx&aChlSM@qKq3MPlz@($0P>Oh1i%OR zJQMy3>Ert&@$e%zH3}L7mWOBl##zwE75w%k_Vu!apWL>C34k$_uDGS}1%rD6>Xq#n zBoXKDAQ>61|3eG->k}FDR!~sQQSw$E^b+zsO6S)P`<%bG z7|=|}g#O)Y1qUL*c7NHJHjY)^I@Xvx?hK{Jm#m9CL=1uF8P?TP|BSw0-*cddh#%c@ zp9G*NzXS_E0Wfd`DXjwfgQJ08zhgV^ezrn>R)OPtFi~eDfXdykb#r2YjTXdNv>}3p@oeB2Ix?>H+U!Pfwde0~;1H1dnFR$G{-lD{iJC)+ zutv+uG|7Pe#P?LB-{xk0w_ys#TYRoI8yZM7F?0Odc9-dkN)MjPW1ffV5b^O&I@KHD}(&&oig^>B4Q z5_jCHKCQ6>s;=QXb|OW;u#yP8onO?EW$$;}KM#c%bC&i%t45>B+6YFGV~y1`lNC!3 zNb0V_(LfD>7XR4UiA9P z%M)WXo>TcGPVY=D?P?%o-ncMbc7oT*4xJTV%UynNS$dBnMEw|CYfAj!qpWkE8c<7w zN2BQ5vr%v3m`sQ&_4XjIL3bM3S{z+iei@U0$7S;Z5?0>2)LDpHSTbHXuaZ||n1P;W zy9oKqBR)A)doJZUrlifF`Sjz&s>=_&4mcNX4+5N5ee z$sRR?`I(VGTXzsDs*5%jqLv~Id8|&YvrU979gOY;*U~y=CF>5fO;08pA)}FoRlA$Q zi*)^>lwgW%Ip3bkGa)=IZ9akkGZ;DM>JCpmUYNi$ zl^P{UBy(tQ!|_IKAG{m~Z!V2N;#V%gZsr|Z#iqox&*ZulcQ1lCM>jKj); z)iUw(FezvRw0*W!k+fQQmF6=z|Mf8TR+azV^lz6y%d$emnT9G3indkn6~530zAE{g zt(gneA}I}^)}sEGm@u|7&G@J*k$zQLwI3eaU?nHWY7eYte5^Ly-Q&aVv2WGq*cYUZ z-p=@Gonu=tAzK1c*{%?+qSD$?&d7=HBw5mZ7I zkPXX;)F!xHA~uA~;)C63?gyBTyH9sCY~O1>tRV-ehSL!KvDS>Lcitu>1>|Kh!xq$Q zw&8Idq@nI6;jDB2PfS%xzW z)MXXUTY@L*49@rTj(b$&ZV;9+)o#190t&XNm90G0XSg)@+aE+3oJB7h_FEV!A?X2i zz$j~?x}`;ZUlP5nyLpvZ1#%eC0tfiwcg+0Bs67Rgc%2IG`GkK%l3Y<`pi&F`A*zx| zr7YtU9ep=T7&GriEofbOOK5_q&VEaDrDvHOW`A*OlBSL)BAu$tsK11_*YPAm-ty$r ze?O){pq^oDGkPVUxN$w)$S~T^Li_B`kvvzePhEd1PCU52KLeh2k<30|#0=JrW|ftn z*GfI9;83&98c;HEo_H-NtFzh( z8j1x!ovwZR0HTg%BVUJG*Z`3YQ;epqp36puzJ9u%-PR=pCX5&@ag{xOKVCmpfmHxR zIdt$|mF#}l?rbBJJX}9Vq(=+JO{AHF{F;n0V-{P;M2Ixy8$Vm;wk^PF7Fz8a%XvSU z%g1(+N?jgA{i>;pg--g&cE%<-AIz32S^;6}DQYTIyxdJ!kRv)W*=wMF6TyzVi) z@&Wq0uaqB+m{??@tZI4#mR*RCB1G*YJm<6`e5Z+|iwISAo49ZKvVd3EmoDw-c8jz# z0_Q~{m<78(t}`4oLKDsml(Cj+0M{mTq}?+iAVO9?Q~OH&5zo}(yk6DI=}5V^=gaLd zs{z5UV=S|nV+^|;ZGa^b4?(>i+=B4F&?9^*<3rr|&xhinHC3jtm}EJZEmdo`*;{$} zZwfJQ+=A-gS5g3P#s#%6wJbcadxpfwL#Q8riq#&J#xp~;!yW0^-X0&f^2~PVZ&bkQ%Mo(#lHD$Ro(93QA8qZzAH@}mp5oyD zkUS3_e+HcC)sg8u%J4<36f3ff2VFV;ZuHSX&Dq0T*aJ~2IyJl7Mms*3Q;mHJ^L>fLlCIcc)z$rT@PjtKt^SVdJXSG89!cS;bGN+v0r@eb6;!F; zScB5!R1BQ^@dZ^HeP7MnWfpOiL18L?MO%!Ui-0iCRqL{7#KS5vbkM#=ZVVPJt{B;q zv#CY+I}+`>LRq+ERNW)U)|HglW>MDI7(<>LIIdHzxb;wL|2Xjpf-{o{yp)!L^n>*G z@5Wzz$H?rU*W_^}<$u7#oBNp^yP1jxz=qw(CRDCvwF>r_(qEUk)HFfKzA-%QXPTt& zuy==*rm2JMl@M*b_`2uyNPuFeJDE zT>@0vtDVlrxEkyZFg2f*+$i5d2Om9=_vKmPyRQk;d2ndq(S?IOAt>eMv`3hYivHzZ5;dvfzr5qRV<}pyw*_WuCcKu-o6j(=uzLyuBGWOz)Is2_=)BT^lvzr6uzs< z1kyJ)7uyxH9DFRj!xdT-*91Q0&)|N4Dk39|q2;=clo^dW&|CHKY5N8~M;sE+&jspe zC;&G2ep6!6b}N7WmC}!Ijv9@-jC}j$J^*D9=|92B8`p{6mciFU`a@o3FRuLAY5IR! zy9V^JhHEOAN`0ml;Y?|(@kRa&`re%Nw0zIds#QdZzXHk(HJ5)N<1VJ z8==~9$oW*@_>X%s5LQ~^k!Eslo${OK2D(3+=q!+=6tcIZUx9)h25)%{=0)=zL6cpy zG1;?sm+GS&hUopdy0&vFR+n^No^fyQpSsSPF)ku1Ufz$?WVz~*cJCD1$9i5-ywM2I zd;oazsDO<98q~#GIK+ggin5Lxq&}?Rdz%{{c8t~?6)v36N1!jIvXp0r>jZsTF0|*_tI8r?v{G5ciQ3w zC%mO{`)d3383KZ~H`)vnfl^#B;u-#{Fl5_KN%9&Nvey5}ie6);NQ~dG#Z!;AWUAt# zn^h@&FvXKviOIy0derVkDg1zaC(GOU!AmOsEWHAlkaH7@>Wy5><*%19np*By7*D5o zl&NDW)!d5n@k_<^z;*jzj0B-2WlmU1%u~3a=fK^!3_OFxS>n{TOvylsrp6_dtqktoUd=;-H*PGl0s*_JP$Y z{`52BTFgSile8OlXwvbAns&}fv51JPAj7m8fvY5pv)+;+Y!?!sPpl)trES*Go>0xfU(v< zfOtnD^5Rj#>bXpH`J?HrDVgz;{O|s!yY{DN>!-?%-pAToP8bUrgv2HZ{N;BQ5#4=U zQ>g^b+y@N&`Mx3{}1ephjlgs6re&gCEIP*o?w_oa36 zuy#A7h2%^qN~^oO=0c62pKYFj-h~y5kruxRc}18!%K$YvrYvsPH?f%BAHOq4d(dN9 z)k9+b9-fT0R#>KIP3P0~a$!yu9(E?v3L$5)2U`sX%ba1PjjUk%d{CqHyebLM@k_+= znP+ooBILF;C!eCGXZVh}Uqz~{_VpykG~JgUAcNFS-&w+FFNWRt=3TCCe zrJlxHlh^Ei7m?JAgr?8HSO&X+O$w)62+2`cvDfiQY|LA=Cu;w)pvf;TrGs(zDP{7c z_dDP1zSr%9DpTq%y}BM-f1oKCoah{?B7bHLF^19yR1`&mTfn}QI@)GMa!MRC{mWwecz08~dm}h?r|z|D z0^_5F&X@Evz7!@AKh+tpSVk5A7>k=GW!JA`1D|RN`jO z=HApu)st!`P{FK=9bc-iQ4hM= zT0TFy8SV;rO`tZt7}~iEb5Z8g%#Tz-uW#HN@Eeg5pTOrDODbo;cQy*vbTV4*EpGG> zuFNNQ8&8HaMXgX){AnxiqHe~01qHFB&=*b6WU4t6TN5jdY-x(i+(OgB_J*Hlp|($t zCZ4F?N(MlGIvCVO?;ZWz$s3b0ph(Y)R4Db4aLDPq|v?BCSEMzsKn{F56qZRRaB7J%T1l^zBXMhkZZ8VJ$Cf6D2N6Qq+A+X1Zg*m#dD zRLOMC6VuH>gpozWs9>o?9J*t_jTC+-cU=|wp7SnQBfrp8yf@L(ZRv|Z-8jOO87NiS zyzz?ZiIpa)(z|Z67Oltm8X_={_v^c2{9RvKe3V+pNkG<_4_SEYgKI!lx@FkmAtSQ_<5c(u*j5Y`plJS;INzBB1m7KuPwZi(*CDc=}ps$ zFSGrJt3k!9D|1g=h7qi6D)JSv+RZlH>^D5)p42n{yNWUYKRC~s{=s?9!SO#)A%DX~ zm>HP=rG~OO8Xit1jT*Q|-#(L16Ol-Q!{9MV&?TaX8`SSm zHWKzR(mk+&XjuUq!BB7=3YbVCN)Tul4U#{=4Ul4W<3t2W)eshfD2|4nFhK;)`OE3^ z-)a6koHv{|o;%KbzP#}E3AEA(Fbkj*Vg+%8SPrHJI^Y~YdwC?@UTiUga~JfstZhU1Gslyz(>%Fe$_9aFe#4oY$&;%rqCDsg@86P49SO~ zP5qXO@j@mtw2L9~ivS8l(BKL1YwzwvVK>)idRmSEO!2RYF2KYZO3}AClm%2~mUOza z!XzrRiP-X7d58Ro)`<8y$w2cfy&~8b=s1v>FtvfsxZ#SEzlHmieNw)irpf8+$&W5W z3P+Z~t3P|kG-<>FS*fV@ys-7B32@s-#DwG8bZZD3 zi&(A|K6E~UopYV!;T(lco3z1CWP6RN(%INY`;hwv&$BO}$Vq+WOUBi<*?k>*NJt!3 z^HNI5eLnQEZ)#Ca(_Ho5y5uL)(OQG}dkybtv=wn;S;=$;rNbphYG?7=M!tGyC7SzC zdpsO7l+ky;4j|jqZ6WcZLyFB%jo7|0`#<8gx$Lj7Tnjri}OP=-W) zyFhQnzzQ9=^j*p&3?o%xduFtcsq?8>-kh`hRa*$c`rakWPfWS~Y1ZPy=u%+i8Co*z z7-mEu`^xo9mMuBECUN&hyXm&9UZdlgoHv@N&$@*ctDw0fV@G_Ra(tl!+lPnti~N)1 z#{2P5PgP-X!%AjMPGm}0br-1!4aCQRE}i6a>Bgvd6og!OhfcRi@!M%+wyY+)$cRO)&8~B zYs$8b3%48Khip0e*lLYyIgZE6{kP=({*IB$vzr^Flnnh2IC(wHw#poitr2!jy*4Gh zjE(f`<;!fn#YeLFUJGu;QmbPTPEGCx;k#DKV%mwY=W*qpjUhfKUi&u3V={6+4Zb5L zZ!^pW8HOa&WmRllM^#STC|qt&PHNV>%K7hNhog&js?6^Q76;@8lU@;d^mn?=h50yo z=N$XF#>DKI*@{}<=B2Dc<0(~U+9|bdU)sFG;m%{7o%!ePCBk~QnJ|<>+I4+@7Uebf zBe|P-?8?icPFPFM&D9{~Ra4#di{Q;vC4ZsP*S-mcL#rO8PGj-7CNsa=Hor04ea-1= zo3UVY`#*ZC#_swP#gQHI=oPkHP9mXBE>bt)^W?0;aPqU$*u1Dic|klMjo6rkP*0g( z_n&2$f8s1EJq>P{>Q$?WmaZ2vJFJF5>GX@ZcPPIV6Hf;GTy{;%%`Mt2uMRbQQKu?s zdQH;!vXt>M;+UuXGW3&H7&Ek`&!KNJ%x-Ahz4Ve^$9&J^Fa#>30R6#;xHm9B!8;UASXeUca+);2!aP4?m1fQ}`Q7W%)@{rzI zL|iE6F4vX)GH+E&PS|&1n4aK0vd+;o)~41GdJ#$GKE3&tSQ+9spWGuuyun(kHq3r1 zsH~1UR8D23_@kZnqTMYek6DAxn~X^Z!LT2Fin?iY?75A!vVDRJnG&;}8cOo77ZMh* z%s8>DOT}qgw60&EQ9fYEMpJM%wRTms^jc}uIp||lElkI+UZFbEkh`Hf+&T20afnsU z^u`(TtTI6waW6Me2GLop7V)V=vm_dARxNZ-*-zGP4)HgA8s~&&qWS5tGKAea=dB-L zlKE@-JAgd!vHvLN@wr-UX~?#r6{|qT^PQh$&pjJ{PL@Y;F`>O_N;lty4C{B`fnmhW zbi1XB@n%|fH^pMdv7gAe(W``W&Nb3sZz=yGZ|AV%dcE`qP)q8d{RePo`6qB^X8aeN z{{?qO7WRMD{$JqE&h#IHd#IAN%3pBD#f(J2z|H%$Z+vIjPeuya&SQfd&J(Qw0+b)1 zRZZ9~Nk_sSw`mX*tXjc9F#bn^LKN!vE(|=Z5<+|!V09iu#8Lk5CNyit2%ZrLp(6B= z8ad0AjK2W?k=6aedE%@yx~J3)+F+4JE6hkGQphZb0FV694FXXZ-q z@%xu3gp@;0Dx^RtQvfpUA?SFUejS8HO&=tnrCuP6gI^#_a#wCAA_T4R{&`SOEuQ-0l(uehKZdAvI}&LC#-zca__{fZv`B z|9IC0myeKGjP$JBU+(9o z1zJ~Ip+_bl@0DczF1*L4yMc(ZC4c>)bQ{(BEjY1xGP3+XX8dZtl#5 z;V19s`fhZ#hF>EhHdY4oc@7ZOshAnyaQ~UmpskJUt0kc}X~Gai`?ciN&Oba9!cPE0 zt>0&0OAph3AwP}&-ifi=wx1o>Pf?csDR5zBSn=XI`D`Ix|x}kuYl~`nH zs%EI^A=k>h%~^@;<`)i?*LIxAM>S-ZO=bcM&hZ)+_bsq#m9fA$4g1!RPrZi~kCfSZYh<^DDI9 zVxyt_D%VqZ@KRyr@6jiz##tJ-Icczsrh{-{-^1-=Rjvstsp<6K?us^CH!;JD1L$Yz zu6+%7vxHCfCbo=)V8tDPRYk|UO;y52;>FXLo<=A!R`cpzfY&+EsLG0q%6tHXymyO3r`|X1W>fKx;XE@A5 zSN(Xk)v4~Bys(5NMZ*mI<1;bmi~J^$awa4ifduN(&WQ({zrM>KT1VmCXSI0a@wD$a z?W|WtB1U%hl9dK<#%qW-y1kMYWm+of7(m*-OhsQ>VbiI-$W;-8uH2jHWm@qi=ZB}J z;!qdvdlviX7x688lu_YLz>`{o2AYzCJ9?DC+$`+e4^Id?dny>x(7Sv63yRGNii@W| zkSc#4yjd9kbZ%)b5H^ddSSb{C>E58L>=ag&STNO3A&+f&wQ*ls&G^17eHU_{@GO_u z`a01V*L+?VAAi;_*dDG?7YYUw4}aOJof)%}(2bn!Q&}3OlD$HyD=%{;W2l-**H_~H zXro4_ty;cT`h^!eUV!N?tCtMeqRYXu#p?p6XW81ss&u%`>NF;L5%6~9eUdjwTP9-mM6`qzKapBvFO^^S2KbhDPb;~h= zUK#gkY(8;U;qmq@W+-Sd7S@$%m{|ZERN!{J(LP}99$xV>E7f>Qx0PK3-9MZM)~Mlq z7&g1JP(*2$Znk8B&ZfDa1i*KCHaq&nyTvj1?l{F^gUMVbMKV z(#+#26n?tEqxU@757;qos=Sk9HFZCu+!>ViWCW|6@a;(OJ#ax9-Y{DLBR=X7eS*w= zO1+{Tmj>pa1JR-W86jg+c>OAw8&|OGvi|x558EuW+@262_-r7U%u;Qj@v1DjRz96S z;ALh1Szn*HO>}Y#F zTc5(q+V;^SW44%ko&Cq zb8Y*v9+=j-eGGTew2L2F@CR4F^=>(2CZlRcnAV@ochIMF2oNe)qJQd_;!O3S9&?z^b-=d z`RHMaTQbw+^d8DMNpa{6J}{-|@X9;-fWdLI6V3yBRXgP~d(D=CAUi&1x~^SM0!GX+ zHf+m|81KIVtqwuEXkeTZmRzp`58mRfa7oC28E;QWLRP~7IZM*?_8gmM5YnA*7JpyTOvUx5@F+R*b z!gVs`6s@_^OJjC@Q%vmm#5PIAf05GtZaxO;?no)FTwKboOs>SA;lg+2JNH?9 zD|<>uW+#to4gGSp2W6uy?i^ytZ};kQA>7+8^<62P_>>8r`Ju+?UfSk2B*sqrhlRra z?+b;U?Y~n5|C5EHGGVtbfY9|pZ3Z8o0Bnf&92Jg`(66yymq{T~*&W17lG4`_#d-U} zy%gQ3)WjJue&naJ(sXh?I^mX}dbKS-S%^~my{Y#;FR#Y$uIu8S+InaR@t zJc~g|ThW1IC;zCQ6GSbstv3_QZ<`^EJ#}LAj-{6q_ASMQUvTEE|JGx-J^ZEaxOenC z?i2R7q|Pe`J+qXk7Jm!7GKPpnV>YT3EzNaEJhj$OdL0$bq1t3LrjE!zltR(2MFM z31$dOL@)$6zZ{Utnw6QLEYNfyFwcub=IA#=nPHn47%t@R5Xfkh$oA@eh|{{XVI^wf zx#faF*)$1310QZ;p&6h(f_~0t;lMuWFv#Y`1RmU}MkkiW&($aPon|!)T0-G*QWr^C z4)V!qssYA3P(wD4(Eg$$ou*V8(SAV5m~kHPky|d!gAkMc^FLn82*hIbsA#S#Qma(~ z<~YE>O(qkhbw*KKTFhcKX0VLe%H!lhcg!Owxr`;RS5< z8VLdAwIzd$m&rOn3pFIt>mebGON6yi`5rlnLYaG*q{HTi=D*fp?URTmxlma~FN6EZ z<8G;}ZDa;=!LGyxu(O3qkC>fi&2WuR>o+Izd%BkdWhZ>kkQ+DI$-7EkL-yBlG2U@K z6EJ=Bua6<0hw90(e03+SBeEU4_#bK8lTM0XNpFy*2jao3Dap)bJ~J2}+k)=e&YITR z#2p@d^^}f^Zw9|aSBQ0`+G5T}{I~OTHwYvBT%Kas`Eqh1Pw5%yvmpLKkp4Ymjewo; zzr%9>BSDh=FOA#vK;0E4bwwBr3n+ssO5`KKX`{`$WK~PaL8}Ceh+z3}v+|Im?AE#= zJj;-C!v5gk^K|9NEq!r4JQ<`-nKLy$p*Gv{l?*RwRK+vkU~UiQ5I#;g2|qZ*vaMX~-)8^J0?v9M4mRr^oVIlC-iO>H&_$w;$mZ zd~Q!|o@AE%Kn=Yi?~znltbJJzm@P!r$HI?0C+35z{6{}vyS?atk_yg$fEUL9FYxmJ8>z5= z^kmD>zpBB_NEhjMX7176OT{uoA36aQ9OjqdXVLX0U#w1=M-tUG-vW#Wv%j_pe;YpS zvAo#!M5cE*r_^7RW$j@1QUmA4MzNn6w1CTW+wq(zPUBx2HoTlUd>YB*e{4R>d{))* zZ!u48Ej_r~>Whfmwj#A^Z0%h4+`NGko9vzZ$oJ;MkG}mI64YB!IpwgaTC&qzJEASs zjx^Dr<5^Puqp1v-+I5+|9JU;LDJ&I9n@B>GQ6!MTy4DQC6~=$sR?b5 zH*?!^W_5GJT1SZE8@6(Wpc1_ zxT276Mx?jeW72t2hrCwm#!xz6`r@6$U{ySK( z{B=_O4>N;;lf8+n@n0ea3I`K26;qAB3=S*|bWE(2Q1pVXE*ADq6qNKTmM%7?e}9!- zjjT+KUH+DY|B^Jg{Jkb)__qszyX9YQ2MbRJQzs`=GfH}CQ%`q$ClhCizhnHbhL-kr zB7aF92q;9jm>8It8CaRv7#UevSXihTn8+Cz$p5yJwKw^{HBoUgbZ{^=`O6q#Xya@O zMX#VDszE2_YGY$$XlM6d6Hu|RbSC)w{ofOzAy6}Qa{ha30%kf!7DiT1CN@@PS|&QS zf6ef3hriD*W9eo}@Lx|wFX&`!@waN{>Oo0h?O^C);cRM1;P&5Ru+cHo{ryk=5>)(m zj`;t{ZlUsb>IC%iMpnu$wovqP1Wc^|wa0OCcKMqo{yzycf8B&kod4-rU$WYU-3AAO z?~3}Qaqz&gXqSWl0zu0~(Q1+GrA~+StDqx>cmOSC!lvx=#fyT|zVv$v5C} zy1!V?kL6knF%p<=w){U6+$4DXZNSY!26tAQiiCSLqRFy9kKg}4;aaY6bHbWif;-Yq z-^}^5Zz=yqOJ4_z)7=l1W?DSiv2C}%})a$A-DiQ4!Sbkl-?CCtMsD+XL1vei3k{IaoKI2PQ z``0_?OCGVQ&$YU$oEaF`@?~uo%cg|5d4&d>6!Vp9l|_{-L;n8`WVC!3cxuu|qb}vH zfH>jSlu8$=(r;@YPAbXpl=eNQaVbIkVAyPl{xy#^E_^Bs_4O|n>1Sr$la-e}H){o- zQ>)2SF2zqmk(2Iqi|@QD;wWjFB`YDZrktN`L5=jof>P~!JvwyQ0d%+c|SwW?in;)cYoqO&pHUcwvJhZ=dSAHP}hjAPs3Q)lxh z+-Ue4vGyZh!=dT_gl9kbTzP0!{pV&jNBg5jlDS-e%Fq0o-hA+6L33pDgW9ZyA5Ler zx|H`h`W}hCqO{MoH$PbT(bU;@4!@mpca!?JGyiTs5&P6%uzQD%TuJr(^OIi*vb{9P zF7=OQHjh0wX;JIj7n_XEZl3nw{pPEaq7peY+k~pRr$%fxy%|=@PH>vIZ zkbe1$ZAkgc5R?4Y?Vs02|9R^E-Y>WF-<-PhXyD$bKU8Nw`JQR!y5h^jgNnBQp2%xn&0)-`+RuH$tITU+ z>h=R?rN8#vSL0qVtvvMaD|W_Blc%h+>#(;R#w?br=MKaudw}P z?bnD$XR_X``}A6eRa?O9z4+H~i~l>eSSx&8@9@dg<1gEizZNIo!iwUh?g`$K&lDe^Zx#**;gbfbnts z%i5j0%J*>He4oox_v-0nv3J6*r4QCu|BL&O+4wZK^g({(SFW;Y=PqX*|8X>{c5|U> z&J}C-Y;#AYPnj1URPD4{E3hKe?9Uxbj*YJ`)y9WyHYrZEt(bOaXJlo?iG8}ypLQ%Z zKBCK|&a`sz;*I-{)Wq+2QxTNte)09P|ME|#yjQ_eHz3b;K+3g*TS2Q4wi$b)Gi<7aV zfhDl)H#RhIGjujHGd4CgGj}v|baOJZFmg4wQy{DaXbbElA=uOk5uF>+)4MsD7)4wz z&MdwDclW=oOwPiNERGkBEL(F(Pv_8uBW!ODG5K8k-E_G1xU}Yb;Z(`C6N>Ts7ESAl z(+XVZ)-2ZLn^pR8dP0Mx+Ki+&)?*q0i=5tmk)3_)uJNs^&)t1{{<>Jd*Z#R-a=-b{ tlK$I5+G}d-PF$b<@ADO5AItzQE=epZsQ}iKT!t3L=EhvAs;>TSTmTq?#kc?f diff --git a/figures/rectangle_inertia2d.pdf b/figures/rectangle_inertia2d.pdf index d90cbced84480f221f0f67680b337c953ef4d6ad..4727db1c69304e61a14076e540b6ab874dab1401 100644 GIT binary patch delta 2685 zcmai!c{me}AIFUfD`n`{VcD`~7*|pXdF2K7YJMa{zTY0BLn6jEz3b00~qd z9PS(g!cf`LvcfPZjfvKxw0U%AC>iZ6I=W^-> z0%IQJGqNk-3Vt>RQtPTt>l5U?AKGfX*}_h_8g}M39uAc&89d4yBJ-chRnKSI#){F3 z11&t|))uZeyb7Cpw9cpO zsl1>Ky&F1Qi5iJUJ#zHrB!7N5oi(S3IbI&K+vA}3=!i#R%xulMka(x9eB_-r#qZX=4g8 zZg&ZS?DC!ZQK9*o=&qZJ`w}E;2b~RSZQ~uBJ#DPDa$G4Xx-S-t7=&D-VJDdvETe$%jY}ael~Bf zO5V{IpI>b@z8ZAURrNXK^GxK9K)~Pd=dX=PoP{Mtc|Smy^m^*??-{k5!qY{NPg0U@ zrLiAz4#iRe{XYqFWH~3b^>g=a=@kDX;~dxEYgP3^F{Gx)qTpmGn_B5$ znq;6EJD-xs{=Ojx`?A+Qkvd||$+fD4O6inD$vxcTmAJWO$Ouj=9G9zPexxsxzUD>~ zC~&7=WNRaNj?(3Yfg@Q<@x6)C0RF^DdG8Rf^ma?QmZS5B zlp`4Qd|lLyk7tb77E#U$XA;;Na&HIRCqOgIL80B{*9LVfGViKyUCWcAKHHs^Vm8yy z%#pfnI&G$x++!;3%cO0Ov&wTu^PCU&(W9D`6;>|p{vLdw=xOsU-Cv{-FQV1f1r@KX z_L3sXMQdxb`ZJNqBcFYe+1hkFG)M>-?B<9kYH-+|H5O;TzVaz)3f5PMia^i77S$Tp zd@K#4Rz3`_StTwvi0j&sb%m#|R_$YG78Mqj=C)1-cm-A)E=b5@Q#W@=w@zP7PORLn zp_K8q**x~=MpC#;(jA9V3H#~Sby?g|+YZX`_3a?tBu>q655gXo`SF!*ETXrKY-qyiocVWXU(fSnV&z_~>9r^FhB!N~34CC|13vXVyuInG2BZ1e^D9-C9EIa3 zXRRJ~UTM{8m`nCjD=vZ`KHFIOGwf;QJWoD1P&C8oM%xl&NySePFu$p>l3EaJ+P`Mr zx!;R>ali;mmoXWdVovFBCRyhj;eCVhh?(<~8%cTGk%1i{>)j)FfI&n;4C!2u|Jgq( zG9V0SXbgse{|Hl4Aml_4@eJ*Q)E?H_u1O#O#^On3$^+mmf6cd|03^*{Q`RbJP%O2#5YRLgQGy{Jr)EfOL0!p?yigpNi^pYWW;*)##oVWQ9|3?U zht_dV%0M~?qU5SxOi7nltDxppQP0@ICOQeK{Zpd8-E7G-g@Aud*YB8oM7E-GtpV;lpp@_fer?-X1RO z7NCaYPi+lRSq2d@zOF=tc9?!Z{OT z3V1?R+o!9sr~+#lrJEsRfaD)fQ>rE7&`HEbA?LC$t@uR_(bhe1;>Pg{-m~3KN{Sth zb&e6GcO`0g5j)hebDIr%eQ zD}INm+-~z2^BvOj%*JBHXO`mfXuEW1u`dgRp;p(BZcyg8=uc?~ z?>rObwkBnZV4R>ZnBv-Of42xRTVHmu+AVHZ)WR2S@UjkyHBY3O(3)HTuRc9>!<&dv z>CM9@VX>#$KQoARm7nAmDzKq?#t%AAJ|cE>H+|>z*}GMZ6La4OX`>T}QRq@`JO6pY zq{!k9u#~fVkqh|iF=&=|yG68TQnbuXByTjn@o}h8w;xD^vV|_$QJv!fn?>C|i(p%k ziF(iE!Zy4aJ#l+qo1^Tv#ytQEmV!L<{H3%VB<%~Y>jMtr=+!*9Hzv&2`)7c;X8_ro zK5pyLcnx2cHvIXo$ZEFZUVOWa3Zr^b!G6}YqN|b2sg`CmDqmPuygr7n zQc!px#5MGC5Ey|1LQa9bVPHcr?DxziGLi&Fz<}_gjg@W3k zj=@n-7!nP~qF~lmSQ}#_gv~J{3<_%uGY9|w$nTaD;=c(>3IW3mk+eFrHsxS%uXwwY zES47&5Fj86iZ6V?L}>ty?H3)-z`uzHyZg)MORp>Gp?sFJzrmdI{Zo~{ori=~DwG{K z7={Sp9g8mTQWa_wDL~o;GYlC;5bF#@0)R3k`;J?;I?}7jT delta 2667 zcmV-x3Y7J)k^$F}0TCroL`E$!E;R}z(A34)3Nba25flP6Ig?;ED1XgZ$&MR05WVXw zcuath;l5lA!~uL0Mz_hFWMqsW6Tl}Y{(3()x9S!(^0Wto08&e+ezm-+BD>ggRUe((5riv308- zhm~rC4=dE&))#*jXV3e39asD%zFx=GEQgCiZ&QPMYnyy)(;?8pCMmHU7&NXmHZUuk zjLtyfgf+&dE;(n#07c_8fh8zvX^5#NDSdbt0zNR!4!`urR}NcT1lWQn<|sj^eaf26 zUL}3ka?|ry5PwYWEdbRgnSZ3|f9y5DGr&0GMh%8Q2Uo&TE-ssiO;K4!DHO@M@Cq{e z6)G9!4K>sRvZ)jSCy>Pmzx2g7&Pq%K*y0|>D77oufA==orw*J#>nwYm2Gf^#=_V4o zFO-#*tjadtoesagkC7$eJRX6kKUu|8$mt`y|LN<`4}Yf*hu==!&>B+$Zue@KJ<1uE z^2jhRq;aGMII%Eu(Qfaq2VYs3y1**MYRwNxCBwdoDCb1fSn^t8a58pY6Xk-CDzXMz zs`B5qD$N!#wc=C4El(`&0DT+dz*g}MJev3nW^RpYvAGj!tvp`!D3+_v+?dP#sU`}&^sUY+c)BQu9 z7$qh~DO|8PMP%F)tmKU*kDzylV~yMrU$B$>(toq22Cr-6mPGD^!+`~}YH$Vg%Y>d0 zDdkE(Pfg1ewNIDSf)pP0yh#o9#G1WMt=YMxwkn-S*dG82W>imY7n5Dutk$2lcWJKC zTeB7n*ft#Vm~@ibxi26Y*m$t%d7%;RvrnPAE6s^(#S%54? zyI8e<0zD#P9->v{&5 zzihfZ3B2JUACL3APBDbm-`(>~QRl?YbU19d8r|;My4o3L=nIC?PBtUw3~$rD<#DNK0a}QT`|F}5s!a~`*0@UD~R9* zt|JvYJi?H*6BvpjQXZNBgq?)s9PaRy+&McVHXwFc3=3ji8U-NGC)Uf%n9k2J?Xcm? zLKC}9Qthx#ksFq+#V4o5j zSX|b67$Md%*{_N?R0x08|6^wqO0Na^MoK~) zs(;b*eISbva* zMY_70l-a@*WuwqdGRI7(cX@x;{?M5wB}lY~Zoil(IV@<9Il@+jaC^j&yZ}#6jS( zO4RJLIe)`Y?4_vxyaL*CfE*)p5Id>9rk^- z#%=%qWoQ{cwMsm?;dhGld5>JwaTHmhB8tU!4hP|G4vP)><550NeV*mZYKNnG z%kg7ADIR~bJcX<5=}AK#TY5)IHAeu4-kt*Do?=sb?$)_8ek&CqEgwwXwS$1zPAXj& z!*?ajj_UTBs&9c_R#wK6vszpwt2Uf`%O1_NLd9zAhQ(c;ffMKkheP@+oPQkHJ&^vd zKzbXH{u_|t`#~P9nY*AwybnsLEmZy%tkq4sP6mJb7}&=d{SPsZR=_>=_&!ji+jfwJ z*gy?`4>f)Z)jl>V``TCn7(o7&JyxrW|232C(Z=9Ox0txN&`Wb_Ut9KKK3QOSOP$(B zSiOQ>W%JDJ8LzE2PYYeaMjfcEodil0sng(Ezg<=c)JhIJcMU@9uF_wYW|rl;st2!< z2R$aM&d%7)a$b!*GzNIapdgSsKOfsy#FvH6FD3>@ieAtBfA`7Pu#?q6ACtvL7JoHe z3NKS>dSxIqH3~0RAX_mYG9WQs3NKP`Z*(9uG9WM@QVK6gZf0*FG&3MDAW{l1Nkkx9 zJTyTuK{iD(IYcoqI7KotMME_*GeSc{LN`M=G(n4&<53boU3Y#Mi;XzSfGI`RG-?R?8Y*Bp0Q;a4`a-P@kSVXvZb4`bhbedl{W-oNkPz4zRE?m73z-A`rfO=T05x5gO%0aHZ)<-dIE7zVrbiQY3!3NlO|>f|{10p$U=ePYweS(;Vx*)6FC3#2J?RXoQt(Gup^@+;M3K z^Id!a@6+8CZjqkXEw~cNy~B`UK{Gx2fq`_2fay#i(Y2Y(d3JH0O|SSic?D|GKCW0} zu6Vu5E5VFO)0qL`29ocEQS_oYw|CmY;XDI;>SK6f7X$TCWGst!S1u|jwe~_~b;dRI zyg{6sfoo`5ne*P!JhS33$Wd0w*i$5dqu{+9_>B>PW-KdLFn~Eg@0d+`>D8b*Ga8RZ zJ~^w4DakLWYYTmiPKWv*lpKz%5aU%Hk~=`8<-#<1W%QGgl}BNr@@*UCGK|rbYExOC zqZ*>eb~6UPaQZg7QoJcL;d54Lr6np$l4Wm$KTswyf~aqs7rlggrA@}#R)!dbbk*~i z69qR({R?e@>WXX5oKJ^_Xkx+eFK#(cA=c1E2rqcmqZQ z6B>KVW;HWk<_Y=m2k%PLUH0pNPnnmdH#_tgCeg!doSmev&zi5b`6q~3YH)lJCR*)A({hx{3? zg*k6n6Y5$sn2%Dr+w=_4G;!66_)O`8)z}ubWcr72|Gi$*q5zh#T)l4>Qw8FUERCg*J28O%v_C3l#SyfK!rM2;%gk4ya$##t+*xBqNT`N zx@B0aR-y_or(nLk)|1KNrnWIyMAn`hZNwok=*WCnrPSa4s`9P)*y}9f<8`8P+0$C# z6E-u%E1m41p3hM;F0gjwfxAfeR?M~X_WJIUB5TQkP$&=}1B)7B+h`T2lfFovalRI_ z+T&wpTKL_2!S?xRlE1I_cGinJ{j}bWG*6TE6Q{*8lXrhDG-H}Nhj?*9l0RkaRgQw0 z5xX@RKi~bds9JA-;IQ|QD74y+(4SoHaFQ$`v8**FaY%3#BFlR0rrNlcqfagbdQ3Xi zSF$5V2Uy`ECejM5?=!!(NUz=hJ?#^GS9x{^ZA2yPx<5oioJWAKRUc`CG9@9j z*;})eerYpXH2TP9*Q`UF$JAnqB<=Is)VSEaRBIpaY+L63Mv2dwL#{a142$rR(-w^p z<95?0f>P4f7tb?Z`tP;}%FGpWJ|(AREC>M~St~Pha|M@$8+*C5tNC~V0t@!cJ+Q7_Cd~G1|tB(GkqD9kp=SWARDQRkQ}BFF*Sj=oW6>z z{u=}ic0=f)$9kGAEA_RUW4an3Mpt9;Joevf*#o9OxeOU9_}h!+pwe9c=n>!4 zfg~LlEMW7V53kpuEH<7t@G4XH%esiba;DVc@Rq6*^i7OLLW)i-*j$pkTi{-E>LntN zh@U}A;dSen>qP29smR1LYOypii6BCpK-{3N>em=s$ON`hGSHwG_H^$s%islak5@XU0mKBtLx9L#qE- znd1{mP@m+WhoZxz?gxI_qo59C+gC>${7Rq z99I3erUH*L6F0jwvs>*Ch+7_zWYohL#~V&(vL}DC3prED$L?p3gFmDLQ!@BN27_}W zhRw|>I=oZq>Zppw_`84c2M@fWCglvwDmx6#{BSz(E|tGpLC2>|c`9i|;zPBHTiW)! zA}0XgBcR+=6whQt!X*F3!prwuacj~24NvJ+A04M^vpxJ7k%Sx;@l;@QfxDjT+A6@P zVK7>SDSCIysVuAI$x_~h*AM(u*mxkP=2AV|eWzJ8Jg#W7n3Q~>{_FV%OOsBkShT~f zaJ&2lui?9A8_nm-C*YGeeWyfA9w(yxYwCm*Q>~hSLvySeJVF?ni>9%A4F60AA*56 z>B0=)8W=-;Eey=?lDf9Ku^~(Yfk49bjS-p}mo$(FH01wVezjcT_QZPydqaMuN$RFh zVh?xQ84%_x*s@oTRV7j%tZ*)>0J6$i4QwRKG?LF)kds2EX8mVa#`J^8evqt33PZ}q zB1}z0(WcNiS~SiD`xgtl& m{$9eE5VVpIP8(`Gv4RVI`QJXIAyaXn1`-C8mp8I92L1;kF~s2j delta 2605 zcmai!c{CJ^0>w?FX=t(yPZ&dpWXx{JI+zSuvdq|`Xc)3DiDYDi^dSaGl(ivi##%4i zWJwAULv|HH)=wn7@166`ciuVgkN4lb_uO;tIrooWZz^Cn6(Fo=Wkgg%!m%L5{-F*o z2#HM<7CVANGE@1K>F@2$QbaX{n&&A)ft2>n)h@_A<5^txxW~NM8<-J!mhV+dl-}nR z%1hBW=y5s4iQMlSl$0vx`qK;d_+FnkaXv~)BL}dw@3unxSerAdGI0jqh%qRLK#f8ITf>XzM zJMFuY(hY2GEif7-pro@JxWm|&bvr-P7B=*^1`rthh10}>CT4)LP1CPCn$4lN<)S$CUOHSQF?U*!7kkXKHbYp3;Z zFLBq8Txa~CHfL3EhuxR#eapu#{c(NIyN8mF#Hm_#kjKOPP`CQc_$P8Q zrshGrHuYLDIBCwh(CLxl>n)m4mqUoWaR{++VJG!DoouHSl^3sfu(!FsbFj9}HEiiW z>(bEBK^e}ONCcV-L7e?>u^R+EWjvTF7p-KZ@9m#U0y-&$eCaW&5jTq&C0QkC@1$!K zHla5_2EsIZ^XJw|3sVpSfngqO9Q)?Gm#;p1aR_i{xUTztb4j{k{Kvd*vmaGrxj{5f zvh^kUTjAR+f0WE(vK~E|^$H6K7WsP6+yaW5(U{(R-_lEDaDN=_3}!kuo2v-!-6WZj zd2|4eQj#*2k2xkLZae1_QL1zSIT56lEki#0&KdFkuH|CrO$!^*4*u7zb=ZDf#MNCV z>h4l?-Irnek7-gFXSO)*j-;bx>$VCFuALIS1AV1{#Axo{pYdCt1b12qhzyIFN;}p1 zSg19BZVSsYykc0x@pq6LR?2=p*Zvr-?0%lnC#x|^ z=cy=NETW!uuE2f;%wY;J+6g;p-Zl$nUS{f{Jm_`JKRs9xuhv|SKfbQwT%ib2xWPKm z{BT&3eQGFkQ_s~hso3J{czJMLwF{g>{_Rzoyclm=+R$h+h^*?t3>#i;l~=F_3LP`z zMrY}B9#th;d{s~`>JPLHQ8Dqo(5U1{FaMTro{-*@Rj^DGiO~8!-~-7`?7C0C{DOaA z08Z#=wWNTn{JqDbMw7QddgZLU?^(a$m4KQj>cbm|++XqOFP^YT;co|G$FAuF7S?{$ zG9dptvu9X*@dLO=ryOu2BZe@MLC284?Dw2byEy|l9-qulsGplm>f?`9eVjL>ceg*_ z;ofA38fP?`-So!p^_B3m@e|DJZHtJx^?x1)4nJM{_B3)|md0s!0#W_01&0JtuloL5 z`MY_8Pn*;naUQB;h>(^%tX5=wv7VF;k(apH*31 zMj4}J{?=kD`lK>uk;;SGc^FjM)BW6?q~&7s4^?_-9G_vHZ!+KH=j9JSZ=-Jww6+~n z)Zc-X0M}Uhvzf|_OkpM%~?M$Fgd21RSGKt z8hk9EDaZ>!BT}X5m*b!&Tappua-tTp&K9x4v}8MHQ-Peb3NJa;u}>{eI;Gv;M!?#` zFC}LNx>?PR{lL`^r)zdU+g%@ZN%rwM5y#My#_3z@69lc4hsrO(L==9!gp;O2UyDEb zzK}MNX^cXND=o0}cyPEr@nKrMEKmK#rj8 zP>B0j1!ooH8m$UZDos$n1tA_5m@5AQJX2okct^KXGV>Jw4Qubt_UO&{7{>LK>SKSA zx18tizj5vTER^uIdUZ*&mZt!=ZfS3QP8`YByFbX^2IF|4d|2GotcjGkxi<6r4vc98 zHnuTeoR&bCEKn+t@s^v)?+hzFzTRUFox!>5jiPT|J*;n1Ie_{#xT?p!K8Ro9e&~mp z(SsX)zLm)i!KRo=XvDrPEAPJCc9Q+4LZfM*cCErUr=pI`iWaFZ9A%107b2P`sf{Y; zf`d1&$=29nD$s7GkOsY+G3mTUo;yDf!Y#9V7asv>21b@bf(ir zS7Bt%FZp+rPv8stnR8v*Dp0nzF=cd+&NK*LSk9$Q_yESYY6bKI-h0%p;+oL6RUrgN z9qvm~F7SmE<(aPFR0iVw^FbXuS6)VW`MK27YL&C0GP#lOpeyC=qGd0nB*MbuavoID z@kK4|yIprCco+9U3R5v#lhJ~cCpQ)zH3^s!_ws7}@;4l-hbb#ck_*`C6!dSptQ%AZ z@N-CXPaiokW{?>qfZfpmh(94QAKaEzqoO>B-^A!kv-L z|0NR!!=zl0qhl|F)NQ;Xs4xr`q)vf3Az>&O@~_O=-#-L~LBS9(Ymhq0&%+;vLI1}X z!JM=W4X{`Y-WZR@qcn{PXbc)f&@e)vaA*PnN5l~ky0HIW`D^9kajKtZ2n~irq0&rL z=}jlvd4!AxB;Dtvf**ssfx;ppM?_2u0Kk$Mcu4{r*gG}7XjUepA}d0b?Ch3vr59u- z8l1h9Ph^NEntO+?KfDsF=#k}q2l7nWs(`SvCH%N^LT4=E@r5&!w+nNBzK+Dd>v|X& v(dC;2m2%bHSSi)3u@qkX`y1K6u^k+8H7Mj}5Y+>O#G?_KAVo!EOCsoBgmAyT diff --git a/figures/vertex_edge_real.pdf b/figures/vertex_edge_real.pdf index 48844015b25ae2ca2663694a929b482508b1cc31..487535a1c6705ad4ff5820062e7a8f1132a5240d 100644 GIT binary patch delta 127 zcmeAQ=?dBKUq#E<(9G1r*izfTNZr6dU6V`SH$TNCu_RSN!^O(Tz{uFZ%n+(%v!?1> wW@i% wW@jUFV^c#HHy39oCl^O^6GKC1M;9|E12c0I6IXLX3j;d^8$wDZM`~^a06OX)_W%F@ diff --git a/figures/vertex_intro.pdf b/figures/vertex_intro.pdf index 3bcc9cfd275f10573fb060fd8fcd9ed434e0157a..71720d127ac3993844364daf7e1a61576083c5df 100644 GIT binary patch delta 106 zcmbQcm~rl6#tkRD*o_U%Of8HJC!hC{fw4D#^6F!CHZ(FZcQiINH8Zs|Fm*98G&43Z aF*7qUF?MlwF*Y)FwNtPmq-65pfLj1REgXmd delta 106 zcmbQcm~rl6#tkRD*o_QL3@l7cCZG3`fw4D#^6F!Cb}?`?aB^}qHn1=-bFwrwHFPmD avv4(bGqrTFurM?=u~V=iq-65pfLj1oI2{H6 diff --git a/figures/vertex_parallel.pdf b/figures/vertex_parallel.pdf index 4915914bdc7059e75f9f8aa19b11ced943e59445..477deb2860cb69488c8414cc669f097b7e235e5a 100644 GIT binary patch delta 106 zcmcb;i1GF!#tj`_?8b&>rWVG=ll#47VC>DCyn0!kEzKNVo!rb!3>}@_EFImP3{A`( ajogf#O-)P<+zgyd>=bMWDVf|9a1#Jx866z} delta 106 zcmcb;i1GF!#tj`_>_&zr1}3J4ll#47VC>DCyn0!kU5s2zOk4~M9Gwi!jGSCe%`J`0 aO=bMWDVf|9a1#JOD;!|} diff --git a/figures/vertex_parallel_full.pdf b/figures/vertex_parallel_full.pdf index 90d3af045b69d52d94eec9166cd9dd3bdc21f88a..16db4a52c0cad9590986af86dae94bdd8c6abc91 100644 GIT binary patch delta 106 zcmaDG_BL$8XH^bEV?#4j3uBYXzg4B-oXv7-Q7q1e1}+w+CN37{mL`T4&Ss7V=7!G3 ZjxI*V=EiR32Brpf3O0n4Ox~@v2>>Z~8^Hho delta 106 zcmaDG_BL$8XH^aZOG6U_Q&ZE)zg4B-oXv7-Q7q1;#?H>hrfyE=ZWiVSmd>UwuEvIz ZW)=p{CT@n#P6n=a3O0n4Ox~@v2>?OE9B}{u diff --git a/figures/vertex_parallel_partial.pdf b/figures/vertex_parallel_partial.pdf index 0fc01fba57edeb2efab01660ad067c3bba00b0d0..9cdb214e75f5dbce0237991e389b069e37bfae53 100644 GIT binary patch delta 128 zcmZ1$zASu$j+(Ziv7wo%g|V5ofswj_fx0G_zHfetOJYf?f`*Hgk%5u1ff-E6=5Vzr t7H3BjGXnz)Qzs)c5bb1QWNv0*Y-nL-;A-J)Zei(Yr(i=!$>c9un*iRBA2t90 delta 128 zcmZ1$zASu$j+(ZCrJ;#|iHU`_fswj_fx0G_zHfetOJYf?f`*Hgk%5u1ff-E6=5Vzr w7H1b{7gu8^XCpTYQwu{=QzI7(Q*&c;BUcMoOCu)(XBRsK8$wDZf6>|m00kT%7ytkO diff --git a/figures/vertex_parallel_real.pdf b/figures/vertex_parallel_real.pdf index 0c790adead9af4f390b127f72dd93a0e5bdc6106..4b1dcc37f5b1d7334f9125974f3c0e88e46feff5 100644 GIT binary patch delta 103 zcmew#{6BcZR~2?+Lo-tg6NAZrRAgZ6&GM>mn4O&6j9uNF&0S24O)cF_+>9(;9Lmn4KIA&5cYQ4P8x)UCb?w&5R5kOV!Z diff --git a/figures/vertex_vertex.pdf b/figures/vertex_vertex.pdf index 8ef5b804ebc512ba1d18e55b87c07b641f0d6c87..3f33800e9387565dcfa71e3f84923b77c2f2b4d0 100644 GIT binary patch delta 100 zcmZ1#yefFZQWaKXLo-v0$*WZ4Ags-2Ro*f?8yPqoSh||K8X3A68kiYbS~xnHJ31K~ W8XB4#nwvYj*(ul%QZo6k###W4a~lN! delta 100 zcmZ1#yefFZQWaJsLt`Ve$*WZ4Ags-2Ro*f?o4XkpTNpW-xj8u-SeiPUI9r&RS{NCb WIXXKzn;2O-+9}u&QZo6k###WDT^myX diff --git a/figures/vertex_vertex_real.pdf b/figures/vertex_vertex_real.pdf index 57b11047752ecbee2c15da66bf07584d168be9ef..578e5cb64611388d140582fd15f60675108c4d95 100644 GIT binary patch delta 102 zcmaD5{2+M4H5E2vLo-tglgW2fWTDK>|5e^HI~%(h8oHU9o4UBT7+V^dyEqyd8Mrzb Xm|2<{8=6>{IoT=L5K=N(Uvnb>9m^ZQ delta 102 zcmaD5{2+M4H5E1^LlXlthaWTDK>|5e^HJ3F~Lx|o@`8MwL_T9~-Hm>aqoIvW~W X7&{wST39$a8QUq?5K=N(Uvnb>E4~~m