From 5372738607de86b431849992540729c9e6133499 Mon Sep 17 00:00:00 2001 From: Margatroid Date: Tue, 19 Feb 2019 22:14:14 +0800 Subject: [PATCH] fix(bcc): replace low res pics in graph/bcc.md with svg pics (partially) fix #976 --- docs/graph/bcc.md | 6 +-- docs/graph/images/bcc-0.svg | 55 +++++++++++++++++++++ docs/graph/images/bcc-1.png | Bin 24606 -> 0 bytes docs/graph/images/bcc-1.svg | 63 ++++++++++++++++++++++++ docs/graph/images/bcc-2.png | Bin 26103 -> 0 bytes docs/graph/images/bcc-2.svg | 82 +++++++++++++++++++++++++++++++ docs/graph/images/bcc-counterexample.png | Bin 10174 -> 0 bytes 7 files changed, 203 insertions(+), 3 deletions(-) create mode 100644 docs/graph/images/bcc-0.svg delete mode 100644 docs/graph/images/bcc-1.png create mode 100644 docs/graph/images/bcc-1.svg delete mode 100644 docs/graph/images/bcc-2.png create mode 100644 docs/graph/images/bcc-2.svg delete mode 100644 docs/graph/images/bcc-counterexample.png diff --git a/docs/graph/bcc.md b/docs/graph/bcc.md index c98c13ea..95a8d8c8 100644 --- a/docs/graph/bcc.md +++ b/docs/graph/bcc.md @@ -18,7 +18,7 @@ 点双连通 **不** 具有传递性,反例如下图, $A,B$ 点双连通, $B,C$ 点双连通,而 $A,C$ **不** 点双连通。 -![bcc-counterexample.png](images/bcc-counterexample.png) +![bcc-counterexample.png](images/bcc-0.svg) ## DFS @@ -40,7 +40,7 @@ void DFS(int p) { 首先,对原图进行 DFS。 -![bcc-1.png](images/bcc-1.png) +![bcc-1.png](images/bcc-1.svg) 如上图所示,黑色与绿色边为树边,红色边为非树边。每一条非树边连接的两个点都对应了树上的一条简单路径,我们说这条非树边 **覆盖** 了这条树上路径上所有的边。绿色的树边 **至少** 被一条非树边覆盖,黑色的树边不被 **任何** 非树边覆盖。 @@ -54,7 +54,7 @@ void DFS(int p) { ## DFS 找割点并判断点双连通 -![bcc-2.png](images/bcc-2.png) +![bcc-2.png](images/bcc-2.svg) 如上图所示,黑色边为树边,红色边为非树边。每一条非树边连接的两个点都对应了树上的一条简单路径。 diff --git a/docs/graph/images/bcc-0.svg b/docs/graph/images/bcc-0.svg new file mode 100644 index 00000000..64790335 --- /dev/null +++ b/docs/graph/images/bcc-0.svg @@ -0,0 +1,55 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/graph/images/bcc-1.png b/docs/graph/images/bcc-1.png deleted file mode 100644 index aa4e7b4e7331d6c0a93aad151e76539057feefd3..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 24606 zcmaG{bzD^6(?+^eLK+c}7U`A-k?xjWy1QFYKw4tyhNZh3>7~1*ySsju@B9CI`EYml z?w*{P=bU+FPPn4H6b33WDhvz^hK#hhG7Jo?I}FSlC^9VYq*dA933!1w7m*WzfvJo} zdo)A$KEc53e}{qL`vU_*XrI=kBmjJYXe28o z4)gN*m)Tkn2RuQsm(~JmB@27~e-piRW(osiKq(_GqUyeI1oqHX-FogHLvQfU{P>k7 zB|qW!a+4{Vhgh?jGhR-OsxE`XqRn{V>XD_kk*S5pL1;>#X&ngUI{8gUoZ}layEq4_ z#uqJkoG_c2otv;_k8~$9f5YuGcJsRygJ&nZ;cD-UlbgFV^BrWMComs^f>2&xk(pob zS+8S*2_^t;{?OOqV{5~FAsHAR{uL4NFNKPMfq|VJPaPIU6b%MMA|W9`MMaf18yp<` z79YRU7Um1+4Gct4NvZQr#MG3=8u_)NwdC7d_ffll8yki)FqAbgFy!(DlR1{xM~iN= zWqKn|mcZTT;ri-UtY8wQ1opKD*rL)tKCR8lLif8lD+Qly7C3I+?jIZ&>b#c!&UE0s zI=^Ypvyc+iy>7oM9OA(I+Dm5&Rqxo?*hd*=dU~1PluYQajX%Agd*X1~{`NAN#%7Fo zE&1lP`rm_tU)6C=nooo(l?i@XIcy`n4!#MU?zyS7AslVS%FyPuq1~U^+3(enedeB~ zK4XRj$-VrIp|0TluPJ!`f7X*Sk3WQr5MRfw=*l$kx%}t6@qa~QhKIjhAJgr9 z-k&UpX3QxqWzr=7uaQitXmXY(tMyQcmw}-ni?tiVyA1VsW zBQT`b*#dfot^MB(_y|0E9o4I-009IO{CE3LXh5;wKMM;#-m#W`B0`rh!0ST-e&T

< zE9=^%EyxhSj3pG!ev;C6=pG1 zbDf***1p{UwD1Njw}Q-k_ONYo<1<9spOBcCjqsn^=<0K}4n`O@cOSJp8mg-kJmjbQ z7Zw%*`X>70ho~&_9U#i(3(xC$^YN(vwDf&K-Pe`hlk_5_m7-qPr5|Nn_a-DVYqPSl zctEcj1%nWZVP`w5Yeyg)?RApJ+wxSWSu~o$IphO+xEK@8k^8UNx4+D&ORC;2vVRz$ zwSHwneI+y~^fJ^YS??{(5mvW;D& z)J+R~1mvQ04SW)|d3{@QwT@QXSM{vShyMiR|7RwfzZl4Si>>E03_qKC|AQal`Y0WW z&hK{21YM8^^Q~w82QVK@qD`^vCK@DHe#f{A$MdtcUdBE^UB}V|PvKwf;72rg4nek> z;HSi*sBDS{g5mAy`YFJ4;d7nbJX5A!i`w>|4f@HH$Q!G1fpiqV51x&1*Syuxqw#xI zFPYY}dbm13!g}+n=O?6YPkz|%U}WN`q#;lIG`q) z4Gj&!5$6ODYK#7D^LbdRy$&JN_wRlMl1v+-Lqv7co$@q_T_V$n4SV=HruFr8SO^9h zTF}_*FFJILij6cAj_xGKI+FHS{jzAZ+lAJ8Wn^WYC>Ea2hgj{&U&mb2g%n9~N*j5@ zNXZ7*V+FHjZex7`+#_NM!_mZB2JE=cR4u; z))N&Kp8{q=!@{~JUyWzkQ&_>YTHTz!p>$9$AOExqjkN*G=H_S-$qx<~?xjRhC`;)e zrnhxw6}1{CV4w7ij83x)UdN3{`ba=Oc0(-WCN&c{OFw@UQcgZE-Ym6j_kDubw)#X= zs?NBC^@^W74}XPLaveB#ocR*;cXjOYB%W`LYyWso7ponMEshC2pvxlzRe=cjE720o z(9qD-6pw$QYj3W1tC^hU=hM1DTJQHu)+1i^MO`qxpi1H8!onr~p$ox%**sA3va9nsps|@d5OD)s}RT8IjUKL}9$rZFjY&&k%nAOPa83W=pl;+7W>6s!l}5 zB>;jpn6~E*Ne@osaDuu5pmeJL3gdgKv0u{%`5KJ-qlyIdlTnLo*)@KmlW+~|*#bt6 z#*GM65P!JTf}!YSkX&-l@bq+2BRZ65QQGSJd}r())`k1a(qae(rt`&?_?WZC%o z3Xzh$Rs^3qV3s~ezLAoW!tu6h0Wer;3yY%W8Cn{e&Q?G`{xB+1`|z^W!jGpxb)xEo zqFymVKKBh2HMR5Br%u42DE%=W`HYwyOwUw3QdRE59#_OlA@+lRNC*Q#^ujbfaL_nxXq@udF zSmi%%=+?6>DK7SwhpyY3n42r4@vza-(lY&b(bAgz>j|HqpT`V?dxHQB_jFG7`dsyz z$qhi~BS}b9qJ@_4{T>}KaqQ;usklWD2pO<1*+CEsMF-wX*uMeHyGPPGFmJy1C!rOe zr3*t%Fm}P@J6zoNiap3D>6(AX#<+>lbxGKWBZbnLEJ2hB37fYLj;ECL4DadWe@_++ z%vW!AAsE$DTT=nbF%<5>K;oqGYld-HbvC+D8aG3zuPQs4U)>>u{gX8E-b9WVQiXX0oMr&QQ*MA3E7fHB@V5k@s@1A;{mcm1J-% zG&ywNu{jX8OykrQi~_NBbL1h#qy6^XPa^)h+|BNM!78_j_~{jliaz1sm2VX7xSp&) zex@uQdFlg*)QLpVAiI}j;46dtj?E}|?S*3L8Z8?Mi~R5>lo&nN$sCtV4iTM_dqw*B zoDdgJ?EZ?n)iXwxg(@rS-@$PtcPwkWc>SxfaHRFn?^=+1Y~lzaummSgK%r}8wSu0P zr@lD#rl_c>JWkdHNw64JR+pZs$k!x!IzRgJ}XXTsH47wqp#trR^)CvlrWi z?=Dq%5P=@IBfl51o}Jh#X5mBAMTY#oy}c!HWxs38|6V;0kCGT4|5v+pLHm4MYIDUa ze0+{;oQyp*O$g%#&|xT-EiL!OeXP{gPM?OZ2u6h|n(n{%z!H90SS8QKg$-=vM5^AD z*~p+IbN+NbSqbITBU_qB0Tw(hR5Y~7$;pj>|2(e`EjWn1t`FZ45+uYL$ydByy z;Vple8&W&47yi4{IEA>;-|eT#i;jwFv<0>1`kBx$Z*8U`FC(L*IO2C7{1CW-Rk) zazO?O0@^qkgdlCVI$IhgCFTK}X4emNNG$MK2*q@tKTqU@y6#WWGc(%&``)dsE!XDO zmKJZ|y@iDZn9t>0APqdU_Y{sF6tJ){Mc+U`mD|vuNseOTM9;#ao}BD@LK_pqOn>s8jbrgbH=5;VB>hqxu!<`u+^AkWy}d+O_90Z5e=Rl@PO(Q_OV3`E-;?B)02F&%tcm-_S9 zuPI2y7Z6p=`$^~*Bcl|uwf#*#2VjH*UN^BX55g1e?c8)*5&|1z>HpSvYzJa#JPEZ) z$NZrYL)}>1BttwtXjurj6LZp^*=4+2?A*W)?8b*t-!ZkKN7(EsIZy7d>=lq9w=L%p zJNCy@;ZrkRTa-0l(3uFTOi;?jZuShA`>zr*g^l=|H#bd|Ye#kLl&I-wI(4XOlq>DC zcA&?LgjnNZpa2Ey<*%U_7kcW=&Qy4`zoUg|@$sJz*{(w$AHDUkEQf|FzoBI%MAxrg zlb$OGyjcx`2F}>?{GG_lwKFgsO>?k*&jL;>a@HOZO8tz~5wK zR}kE4Wb9y6#@40;K=R$YT%CF@#sfXK7zH6JeNtr;uWYi|*0F@t)RF@c=HR+_N!`5K z7L5nv_Em;KvBGyQ%Udpo(mMNVB496W+t672pCQi2 zhgtpZ*ILei%lo9HF4-4p6;!3~Nw3xN=a!rDBNLO!30q=~FW|P6wP2F*<(Bt>`4YHv zEsIA5$=t}0{Cyq-+^A`2c0H+T_`Y9R;*uXj8v6R<0aj z^e=YCW;Ga3=0r%?7*O@2XT4y%hm*-Y6Jn?hiI5=#4txVkjVlockowq@_M}2e2M33; zbP!+;vFdzubo~h$y1HqYwFpBsEV;hXT*)7t@JVN71y9BYLzm^dx&$uSx3(%U-mBng zGMSv4l=swXu*QO!#liuw+1o!Eq=~Ajs`{*-ttO;}ritKLE<=8Qf0K#WYroI7UiOj3CTX2ChA+4->y05*L;B<^BAwHW z%FZ&fiH=@84^W&-REbtK_7; zH=eEZ=HLK8jO@DbKmu4Ryk+-00^nMLk8wi{=;=c`Q%yTzv7Xe7se=hV!i5F>dN&!- zw&H}v>n0yy+Rv-)u|Xty5CH56178?Xl4d9%2I8t=PvfEU|-_QiWqPFgGK48(@exM$Z&2t6v!6@-L{ zfC6;izWpr^){dQXTT#*jpL#}n=jJPGBy(Y$edw^Qml7AZ_r=D+SwD+UIit^^R6md= zLtnw=%A^@AaL zb7zMHJ(OVTa`0uoBJEB%QqtJh*H<>flNGhLE{3CP0fPOG{_x=XI0OodLL}G(us2)J zv_R#x~lbh3~NcfDChB_c3x7=e6>KpxoWt&eZC0a1sQ4-CHUf! zQ@)Xk;_xb;>92b!>62lW~QsP_oph^76V+uxHzMGG>F`=+C_bW^R)_ z&viVDn3&}D$KeBbTU1oU%gbwOY6@%%fXxjZ9UUiULTmpYn$MqOclrsQY2OyGaA$!W zK2mabhbobjX>U1wer*U5Xefp{1YB@WQ6;hXGr0HPx=7*A7qhXMaE$zu43@%2ZVB>Z z3$x{hS_=QdE-g&LP>B(b7 zUP(T~3hVAX+HgaacWzuc+b`)lp0W&q?kCWtpE6Zq?HzpE>24Qh`qX)yqc3>f=D78h zm1ZW@>z5d+=-lT=)%&=%ma|I>rpbtL`UnfL=H*fRQ_=3VPaS>wYs&ZFyj zy?+t|8+Q!z1l;PLMeS#vKk83&Y&|8czlbGlZdbgF@+>Pg8zx)6Ti97(8GH4ju_D_| z20<+or%MFK@cmv|g^t)t?f-NTAoL=j(x+CY+&F4^Kx~DAXytRSe7Eq$A*`i(vNk;K z6+ck8xwsthTYm4&{ouxEH9pkTH^;+;&6*~algkxD!oq!+Gj8G>I0~~R{Ig*{U>M?2 z$3kdTZ=IEJyh>4dfTmvJjF)hAb+yEsZtiNi3m@kt;Vn?EcYg)+=0_OCHDzV1=iZ&D zzs_@m#CM!Yi?|8YyY4-TIo!}Aj7f<_99V8-GW^*xLBYs+%H4Vxm8Kvz@xpdAPoOPhw9nf2(g+GC9cT z1jZ!wUHhWFQQju{<)LeHU@CNP57*QYU|L7}&|vn4P~qqUW163@hlnV=Z>AZva2a= zpZpFuI0_H!nS&FXT9CpcyG$^tf-iZerM{{RY}N3Y`>U6 zWK2sB_y}8REo)6p+m{yN# zl@SCo@YJ@thd(J6SFIPR6u>`w95q^v!$RWHN7)xgxWzyT5hId;fdXkOZ-TK!Sp-hjVNqnHa_7!IB`dPO-D0B%o}6lZ$4IO~A2v z6I!WL+jWa)3HyGulC|FPV3TY$vpL5^L^>aW!u1}>g|cP0fo}{|H$bk7G(17>?Lc8O z7OUyzb*MDQWaE|475gAXqs3ZkOr*!__sa}TC|xVoTqXMc`|cX-i83 zgwo~-)4ie=PD2Pc2QI#^i-Az@4LAy~{*F2OlX5SFH#~KgOxij4EABz&)k*q+ zP{gPPopz#20% zf9nj6vJHgpZ3<3%oUJa}b@OV8T8g#KgkFwReYuj8rv_fMcU*)a(`}h6*wOghP#H zK7PMEYNyuPtA00e!#b^crSBD~Zo9>w3`7+&GocXdA4bb4KVv8 z+@hd7sZ;e&{V`z_p^T`=w#eJ_h2hoO5YNJf?~AkhktMY%^(qCRkzbNLjjW`6;xujiSN}On(@=e5jkT-%q?i7Jk@QgiP(;V1MOzl z+!zw@!RlgMx^=e6nNkmh*VHu%)fFeK4y0PRYbUtOl5633qTy;Cgps&vGkqHK7ir73 zvsq-48o$hr>?en~Epm+z;UMZ3^rR~WSs2dFO#0QDnYHuV)*MRJ6%TLV1OrNWv!2eR zvIbWi(R4?}=&ZR@q72&Wzf-%m;nUio~FjY)2J z?dD2bYVCoNlUx=(%9{6Q*NdVFV1B~UZ4py4?*s_6b`W5Edj{BlsNtRLKHapRx9FFd zu6Tqk*bfuY#DhkQd0`<>S?fp~@#g2}?)mqJ?8uPSUlgpW^DP4IDPgob?Vm@$Gxr;% zD`(&%{u!pu4EU0^uMI!O{YKNW5YbVUrL&YZ@=K?+jCwn*Pad0w(EqEI|99bWN9ZQ z`Q@WDZ>%`4{>}M(Q|1SJlZENRCsVD64m~Vwtn5aC)2$={elX9QEF1piCi)jPQJP|F z9DqGAGuqbL`!%>+WFV}aO5rE|aL-tS>c!;v7<(4jz%~C3#D*0d46jbjBbUs|@s@lm zVURp{kZZ^)vb?fx|54c-U&Cys)ZgHJq33ba&jtIfuXzc_&%Yi*CO_51fjFqtt-e!? zt5ib~5zee+Q^9t%gmfx&F9Z_x9WQ29>oE|7U(A{a-IC>tRAk+1pDP0wWO;W%%fLF_4G2#967+2&X-f zTZ(j?qG@$jm2YKdV}SXXU&%=N)>h3eA{_A);S3~)tK~|4E2)0W+$R`|8IL3-W?Zn3 zD>)f^;RT0eh<#*Qqg!psf)YbC;R&9B5%!7XzFM7(%i&K%GyWP};0mFV+vV8smxLsfcCGO^ZkS*MA#b8*46&Bk1%SZ{>g=e+0eqW`jPidXN5U^f>{%{+Aq+Z70n&tu zU%!ShJoqVU4ctXO_OUv2kIRZFIu zspa+~lcWC~k@$ngBO{M$M7w)O`3LYss+N1T+aAEnI=9AorFJ49Lov|>!WzPF0~IeW z|1YI4>g3mMF-fb&br4I_gtPGc$UK~XOD9ex1F?4hN2}IL6~920Mmcm4*qN!!N*kPT!hYC z@+mr*El6Xh`FO&lgMg3_@WSe$ceHeLgoK1%k4J`%n$V&8)CEkR%wf$RA+xBQmt=w= zWp;w+KRj>FKZfjrEW4MRr*)z;b3_DAYVD~de_``%u5|`2rW^uygzyivw8bZQ`>A#{ zEH%w;7YwB2Wvz;GGBOq_FR8JyUC%B4Z;@5&p2Ut&kl{=IGU)5HbkTeISPc=Voop$= zvzsfE2)(ovmlz3{ZhF{Jk71#`ay)gJnP1i>s?EpL19;8G5+gt=~eP? zmtOSab=J8^yIiD?{a0B1FYB(hYo#?1%I%8$SQXaho0Eu7tA?iZNsQkaSdI8KWn_$* z%~^8=2m`T}LTg3F&J`W`@T*N8WrOnMQzm-)^~W9cfPjXm90!?1*d_I~hOhdofzYl{ zZ}fx~4a&x`p2m~mJ!jNMErhy;6CulRS(foasJ;*9SdiQC)VJ@iDGxceqv?W+3&V^{ z>Lo5f+_Q_~l>ZW%tLW_cb&Z2}#3}^~zoiW!D+J>%H#gUQ2b7SVreu@{@IN}5uqy8Z z=_x8%HP!r^TW-k9LkI0}%NTw&(TY)JgXQj2_42W@6>Z6R}!WD#2KQn;Khc9J}u&gn3 z!Tvyf8p}NSjsIIMr~_=j9GFjSkD#dVw{72hsA$PJhT^eQ`-oY!=EWxleyp;sbquV$ za=WK{MvR)j(i|DA!>Lj>g^5nt`tId7lh!s}CZCI}6^A0m>sKu$Ko3_NYTxi@`#b}d zZ3$b^Tu=O_oyU?1aMGsEcf^XfP8iteK2>}>pp%f8^3P&ep;OY;Wr~KcYUFU^_7A*W zgIj15F$xLFoo?Ln+GFYZD+Dt^e(NF^c`{*5ZWN zSy-`R1*^x8^=wB8{|M|gQkp+JTkEXxq3~AR5?w3zY4FT0X>*-_lL z`roKnYOh8_=84=ayMd(qLe#&8$BqQl#wQ^om&q$vLWRzP)fGl&W@ZN0)T{}Lz3sHN z3IVCMS{|SEkH@$9>?@P_o*@LQTZuB>Ch~b}f*{ujeDmoNusR%Og19LfyrSHGhmNNhiH^n=bNAi(k zUfq>R>S*~K=*(el(H&aIPM0lz0hward00JPPPU+?@#f^g#H+lB3%8+MPRP8X8nR7^ z^YOP-_hmjc6dOIVF%hY#Da}h$bMtDfI_VU`hwC9ew#U~r6@dMJpwp?Jpv6Q{N`P8= zPW-|C?C?)KNf@G8DLT=T$ZBvrXa#V2yZ2BTkDu!LtQrx}VkhqR!Rp&%^o^FIEUZqX zO3(OIHgvSKeOn4Z1ZtvXu9^a%{{Aa5R6REF>6@H{)qR)nvxv>dGrC%I-w>yo^v1)_ z3xgTn*@#*AEnhyI)mUaCqoFz70fAI-u1974Wr)=-4I(mR(_?FULb~N2YE3??_a#p4 zI@qna60zZ3v5W6>a-CxsrX}`*e(Pn$XZWlTXfZV_)8xI3PwRrskLD=TsJDBqn>VW- zy(1&jmY0V6M51U})6sY!3*oo=CuiTH$!ijv9OId5N~K(nir1mtW*^B=Aq=zilr+x8aOu`a!v$$Otg5yF46CXg!_YTH zY@6L;1_{(7&e>g?SX7Nq`|vL1b~a1WIp_BW<0)+whH$m(a@-c3aS!%O?`#Ed4FBcw z?>!e-cowxs8)4kuXWWbEZ=3mXEhWp|L1O3c_coZtH=**<&D%f9r0o7?#uZ|DmPF=MGh~!e}4D zqm;G{3&=jn{dTH_P1}>YjOft9T_}k&zR%s=oi*#;MZKXc#jh7?VPT48uqa}!(a~2Y zK5(E34Lu+KdhUL5D@>QrspDy;=K)*NF#fmessjVaF{c9$=|+F_PO!f0ORq3R`Elq< zW8BPk-Qrv7n)!LY7yYOoKfddYnpKC#mX4Si$8i#&i2eP$!u!rKZouS~;;#l`_-)?2UVjz8yu>|mau#0c zjDOI7R+`;Pd~aC4_~Kk2&0ChTQTEobbVCRlv)%;{WjIvQ@Z0_*AETmYqt_ViAtU21 zeKVw z15*t1)lC*l6JOu9&hMa-9^yzzSGI#Dr&$YgMSg1{$Y7lfDz>)Zvf?-_t4Zrx+hL{i zo-#!&uJxBK9^1>^@xzyIy~gGNW`ptc$4~N$GxeHw7IZ^z{E#8XHVvtVW@M~3Bt)v(oN$t!!X>!_|ocU z*J1LxGK`)z_Rk+_XO*dcC3}Bf%UN6HP7$+WK#s^Y4j|&@G>=tmKQcTP~t(bH@Id zzeQJEN*460>oq#Nb^6)+ukC!N4Mf+!q6+Q9Vp^T8&-Msf*w}0+CF{St00|j1JUUu- zw+Of-JOK-Sldh)bpIt3v#M+yYCM?kd?&RcKN!s9+$MK<3J3;-khKCi^Rcz}of)4+J zC2jGh353e+9LzTbeR#ZiMr^jea-^{W0Ui>ei(gHHE6L9J&xvDTUMI;2T|`x^%toH+ zQnV!fuZvAb>^~-2S~=aygf>Rk?JIopIt}fg=sKSeZL%9lZY6&abv|n)P`K&CIRIj| z+A2;cz3@K1)m?bcqW9HF_M3RzU00jWRH%{?1A{xYg$bCsFi6#l0U>Ci(y70=7DC9B zdF6fpfk8QHav>VU6%F)7H)<`8;Xr-OOVEML_!Q1s~s2G;al|B7$FjPZyi)2a^)LWbNRX_9@=?;mx2K=xdMv*&O zX{Tn8k|P!!-SJat2dbFz1c$ZDz7)ufQ2k^~Runh;=2Ji^4nTyq!o z(JsvNP^LNJz~%T%c}B*~G7OMzGZl&@T>5w}PdBM`a(}xKy){tpre^2*YESaAIf**e zlKNR>96z>~o9i**Tws`(%2qGfja5nLCwDFAl5cwAWetqm)Qo z4+~*ujrdE(&t235MULXoGE@z8PF5AHey1^&L#uFARC2n%Shbf49(>u6=@@;kR#-QJ z)tVmG=K1MT{AAMpVcz?OY$Vq}_>W$&km7ucth2 zm|bdz4nDD5XO!<)nBf_xqf3*CKpj-xdaZpKz;N99^4mA1XT8JsqaF&g9ZxE)n*~|0 z+enAg&x}b09jENAl(?LJY?Y2&wjrzX);`OlG2xeAwu*U&bB#eR5Q)g2&Mdh5yWXjd z8fqxkw5c9^H@Yy+#}mb}(}IN<{?K%utc#CF4NcSs4S+)_5npU9^^MXBZi69bGs6K} z`=#;8)v|j`Si_plBPS3)z{0jOlk4b-Bcax%-nI&j+3O~UxNb3gi0)=L322fherFG(|_$$bM`_{V)XlpK#IWe$y?K@EP>Iui&Da6a*8#l>ln3|8UX^e zEBTO+so&88?^~f&QMGR6Wk!}y^#@wztwrawA+AvL?X9U2^$z?=G2 z(8AF|=R(Tcg^x(=I$p6(h@P+$lGdfNV+Oni2{y}#YP=as*=_n`ULSeF9O)vps;aBC zAbPEyocCh2O}dbsdcrG8++QpLc5F2I)bj2y!)}RXA zPdM#r0dF%nR@Q6YG^tYipvR|fe{+LX$gK64|G^Dg+cf5nv`vF`a&`pQ-_E7o`3|jk z2N;=8g?bI1RKazsTr>?Z6-C^`gf<{sHLc$rZ6 z=;G7Nct9YLE6q&PzF%CT2?25_cZsH@L7^N9(@{hsDqvv>*O`ePn1fG8p^UcGI_{j+ zxEkfLhB`?sRmc#Qu}}^gmMRp=z48$d^9lT(45*Rz3edpA#ro*!h52gp9Ai~# z?p9B{gD`a?e5&z(MnKr{%ft0lXn{Pv4bPCA3TP-4jFuC^QPTM&8J+J6Df}%7GByH{ zqY>_Z2=r_j4|17b1-F+}5(FV)7}eH^C^XM;T#fAHmd%YbO~4fbwwC-UU_o(ZXGfqa zrPRy|0w@;aq_tdbIP*@JfnVWeXgY6PqT3j`MX@&FQDbaviPNjusZj2v%+mG4)Ck)dsMGLv5L(1d$IVJkzFxCBY!+v-GtqBd za1&kR9R|p#_Bxy{{mV_^*9-ybIt5YClax&K!!d2M7S?V0JymfXUK$DOEHLNKd?DA;ZL#fht)yx)tte_K*;*2A zThfx+0)-4ox*|Rn9q(iiMWBld5Z(-+%Rs+16$-o>^&3$d0gGPcrZeAh^S3L3M23be z*Z`;2I?HsUqD6P{EY^=Q!{*$!cA0}mzaPE|kvQgTLUxGdYLbew<~cT1)@H8U;7bIw zI%-~BIj<_;+OJKJ*}GO5%|J^==kEC-@2&R8je&VBuf?$A^P`74C=7!n)K}T%mzF@N z%M_n7QWnN7k~Pf8?g#l93R(ev5xu?=Y8UIf_SL6WTv;t8ks+SJMH-Tm7Q+YEl$x0g z?DqYaG9wbNYU65ktNSSxg-UI&&A&L8ar*~z%u^acDSyiM{C~{sG`5gb znlFyxh2EPNL`g*xsDbR-!L(2F=ERtB-Cp2Fn*Ujfj% zCE%}LHRE8w1kWW%0WGA(t|U$>xEg`DNaC=ezuwSe$f{U z^M}#H5`DaMxAYx7Jk`t!t3cnUgv8N^kXt$9;n$Kf2y}vtnF({czGw_eD?W z@j3F@mtGV!OmduLL- zyj?%lK`D1t#+aaBasc%x57*Pujnt-V4M{vGOq zc!wNJuYXGiC3@Ou67vNjo4GYL@!SVS7Ge6?z&XIu89oP@-^Fur?O``dnsPenBoCJ= z_mj=XfowjTn=+Pt*GDuX`vU9WV0s?SOg0_jgXFOvxTfBcM3F+J6*Ur|+M7E+e{PFI zO3X{#;Fpyzz}XZ-?1U>hFK?gXy5fjumXFAZmvq6Kdt73p?5zL5Q{M^oY+230cRhP} z3^q#yFH?I{70{KlB{FL~mI|gXFZMCaI&~G=%_al5bK(*l9H%Q#-`!m?R8?eT$je+f z*k)IbHOuqa^WILzP~#lsL6|b{i5UIg&=WUu4ZuW7YAuCd%D7qd ze2Sujw2>jZJ`Tn?su11b8pj~B#geH(oi#>!Rwc!a2telT4t!)U_qaYTBe9*e zZTWa0tFwcW!AhvF^?~#VE-N7+ORVUf@SS)lt?$l|8;7;L7&UvLAkMA`x-hRPZ!dqBGnc*89~RwAgvNVIWSeSLHML3`GiRc4W{!TBS-pNs8x<8i>+F0H zNZh@Ly$a`G53+fDX6_BeFhaHwc_RnJVQa^=a}3r-3P!9`!ZEW~9)+M0e#fh|Z+hf7xcC`Ch@ej8%uu7I_MTSY;FPHq z!~EqDxs=t2QQs*`QestM|ol|tF{j{WufkZsYrd%}IzzofF*3yBT(>#$Nhg8YRq zOMWj;r8DZPsvWeJ>-P%fc0m`_0fDJyK7B?p*=VM2u~N3tQ(1bvjMYic(ciT$R$7v| zc2C!_wd;#ZcZy1r|BPeZa##hTm`vA^ZM@*nz1O~FH@;G4Z)s zt_atbeqe~?-q{BEjvf^i>{8?xbUP2?Xm=wt9o2OM40CB@HJd^i8ITBtXtR+AJL2Av z!pYH_q_1ojH#IwJJfS&Uo@g~^JQ$93g|>?hc^xs=PwJ}; zVYLztpN+Xm(1cZ=*6vP5GYb4d7{5NQXN48g82BxZ^#n#EO`hahwo=G#9!|wA64oVA z%Qox5W*w~>z>&O9_qcmkXZ~*b6KW;v=!ZAmkopzW)Ix*}oRjq8-accc+ieodzJs!h zk~p_h{T}w|KhCxbdI`<$8Xk+KvE~CS27*Sx(xN5L(pJ{iJ-L_%A$=j#{fgI$o~uh1%KZ4pVC*j5LI-}*c;8-ted5}>Srr4l^qd9+9H}rM zN9FvGvA6$3`+Hh?idzZd=OYS|P=Rw`8sM7Wo*1cMr20_Llyoyyw4A@0KV_Di*OoF^ z*SU-_N5S}6y(9sD;m;qUIdM*~uvabAS3v{q9r~q$rIlf22kH@iYFWpyZb{I>??7x6 zr*pdi^;A)-O3hCeOmJv~EI_BZxe2+H5UATp2l%68mbeVj--*6FBpGxWwN2(A)o$9g z-@O>tto?;0n(lR@S*`4=GZ**?1cNJVoh9gd8F z(F=&}_5deWiB4TA&ct=xu)QY&lTFL4kX_xX^Am42`8@*D!VAgUS?JFVx>$ z5JeRvKJ3w@>`p3_3>`b^XLR42dW#8oD*@30B*q#b39%xaLG$k7E7v#qnT*Y+9Wei% z->=A!M(?mA*@w%si@4qOAgu0eST68fPs-nQXX%`sXZbVF`}y-N1|P~Xv+By~>sy%k z04(9h-_r{iHXi8j;2l3I4skZeOs{9MInSF`sAb;o%4Eok+RfzK#Z;_z_l$k-$4m+8 zT(hED1~~J)W%YG?9>5Q!lTRbU!^0!^@4~}lclg%>oKXu4^6i3eCGR1ABI<0FaD+m1 zxYey%TLNo=vzLN`f-Ed$=40uSIhDX2$g14i+XEukpNi1a%C-g7nh*bep7k3X9xmk| zW_?b2PWugmo7~41q}$| zpz4#^MNx@`ra=UUQXcX{Q`Z7NyVAy&={47#CTVGDrMa1yns!#iPB{2UahXI!M2L!t z@|2^XpwKfg1iqueUASbOU`xAN|Cu{XR1vdAyuE230q>Hb?Yem|&EIT9sZT2Z&VL!3n=lckS zRqp=d%@N)fIwsw*ZrID*(e;lX$Oc_tdbfa9m{B_RR<9c~ognbU*x$cvkJQxEa0H2g zMLYTDH8UFjHYyJ)-kFW%BljGa5jrTR**4`F3-rz@RXo zJC(OwwC=A9>C0hI?jT$}nJoI`g2Rfi%LN`YLBxz{GXPI$daqqbBeug)r5$~q2D~p4 zX(rW5c+GBjxVszZ>np1S{_sT266+SOJbgij;{_(VR;EO%hKTIx|8AYPA1w(Zk@Z-b zuD_0@I`FLHC33R=mH3ZXY!jTcKM@4CP4S>k_cm7HWmr|9=%ZWYm70O@rhz)%~LBaJ;v`7z2Q4QB4Wbg)s2mE7C2h?diy0&l22qkEC9hR=^TUc0(yJkz z*Z$^fR9PnFBKq-OQ%@&-9)Ey6c5;J%(09A+(2-**d3Sew?(1d0SQ2XO=bf$PF|dck zV*Djz+=IhawC>h5WNxSNgg4S;XgU!YedhLlRGt$9*K<;Bh`oA8r(TrE|N#XUVXtd;`sN!F4wSe<^GcL&oFB zbcqc#ZDlc~)6sU!8j1lR{nWJM;n7&;>kqU)fBqJu!$wPST5*kwX|4!fB{GL=Y5VN)`FN1c$8sAkvU`*}q&JY)RkBt7gkJMs{epe<~)n>UeWAIKh zIt&4t&QB3XX&;NP!5Ov0b04Mt>&c_}Q{!E=%gG~RH|OzTtiryD#eG+1;Zt66dK(&C{kJ@NdI9Rv$|H zA};!yeuT7J9r{^+k4trdV^(~7yB>+}s?iSwJ$=Y>$QQyXPRDDGV%Jkuy|**Dl{dle zUv9M&>ZyA$wDW}-Vc(lVf8)FHSGvF8K*Lx*W&H_ZbK)#Ew2RKP7Lsc_gT}J5v0-VY z3Sjazib+{-xK_UwKPx3iG6=v4{XH}lPD$|Ao;%FwjN6EfrQYEYnB9CGFL~pdO~aED zr-3zFs6iCJt`xzd9d)Z?nwz|GSNx<#1{HnW{RgM;>m6GSQ-ar&{jWT#?|`<3BI$XFKqgm(gk*oB;=&C6zjLPDJ*==eSZ1B3P+!Ie!i`lH|qP2a`ugJsXFdi(zXj8+Nqjd zfvJqdI}E7r_!K%G4FLRc@?hKe`Xh66Ih)EHBbT0^?ar6L6W<`Dgt*=(mS-s*jC2`vFr|Pm0&n)QsN*wxgLDw*X6I-$o^ESK=Y8_p^^M3Y z@_CTfV|WRp4b)$h{940r7U2*i3$6g@J8P2(j2~|e+R1sJ`dx5(ksEce(^F(Mafppc zL2nmgy$_Gq#Kl5`HgyTU^ofW# z(+q~*z~#sO0i z>T<@0?7BV>#Ef%(8LQ+!Nd^fBCbP=~{*(twBYEnitoh>nlCHb_l@vH|NgtoEZT_{8 z+~~*w2{5l;X5&G6$LR{-=@_U+8cW1Qs5fZknguS(0%u~`C=!Wm2jH!RV3&s~@Ii#k z#dlp-tuP#N4$>%j0X_(NDiCf5hsP5nuV89xYoGOFjt>7Ml-kX4L6A0}<6QN-o&dhu zn1cwKD<(PC$B3*tFzx*rpg3(#I=FRqItM|_Fx~=7N;fGPpu|k1vk`}fEnd_rao<(_ z28Wo+sXCe!F#4GM@Pxi8VjYZwXq9hF;?EuIf*XKgImZt{v*I!`SYYT*3hif?4C?KL zaiAjt4^~Sn$H&hb8O0|*Y)w^voXrLPLrR?yDax8QFZAU2lR8y@q_2a zP@&CN}snCdQ3YNc->O49*w~HFs03m-+)0MA>M}-g34-H>5*L z$9=kIn`j>q#{W?>4!KIek(bsXbLnHqAxz6ykxjW3Ck0+K|IfZ9 z?!oRr$cL^xS=<}n^$-~T{>QJbLfuaCt$q+RLoHJVYi1%w{3s#3&y(@!B~B7wCy`nV zH)+crg|3gc!9RdyYF-V3!j4%-tKzT1wips2xg^pj2}zKzf6q!Wv(r90_yKG9#2Yr% z=DFeb_78ju22pNJ@*z{E*#MA* zOs6uy0z%$tZ*QN|0jNU2XqjDT6~k?eBpW;E>gpsR<>XMONFa(%8`sG>6C@f%4f)^K zPiAjYyE#5?!$}b?gZFDO64@FuBp1Ykq|PF>_xJ7=7&~C<%^3hb-FdKRm3oW=T^cwV zc699{ zc*y-FpkTn)kw{`MF~yh|Neou%4LR($k~3DpNQ-IO?WGWb2lOjKL&yLk2&)^1(wnU0 zXCs!|J(C@kTjG$!?-?Iy9HT+%M(6!ot096ls?RBX7pGKk3U{R`9pMwz{HgPIPSgc# zX!0<2)EAW8Mk}tUtFl9{*w8lQza;Ty#gA*d`%m^`-1%R$2E5%{;Xw|IUdW-CCDRdG zpMA@(NBfQmEx4w*k&?qzF`)Kl%!uuI^S3UZ2`4E~aEOEzP#w=H#KG5(#T^2zjJS=_ zy9l7fGeVbLbSt#in~c2ZH)6wD91RhiRr<^=Ey)uh?WE9eE|T~}Did^BuCZ?*&Bh?D zpH;H*pt}-J;Qjmex8&Ga+N z%$G`Qy%}N?+sSwDVoPBK5jd=J9H*X%YmTNnmIPerZzLr-p=luckKk@(9Vcg3PX~ty(rlDmyhM>7X$Hq# zt_*l$CI$u#A&{zXE?CW(Ng$m7lC_TYYGhIt(|16`tHp%_C2+@QhyVw3D1S(Y8z%zR zJ<%JC{O=7Gfw^No6vD)TiR0WMbk7vn$8c)D_C7PA>%MXBfOAsZ zlEeeW1Mm7Mz22lGdoq@d2zXK9d=UC~+zsWpaXk~^e9h5^ASl!Nvtx;r&W~8(QsswM zpMls@kJj}B@oKjKen#G@6+$Y4@M|s>D#^s-Pg_ef0xdBd#zMXE5oIaSye1pa?|OK9nnq+i0$>C8f-ODi6|lZFP0-7F2QzT*}uAVSjH&;QS;fi{xm=1kV;$1j`*A z2Ko?r!BD^m##|6(r6Ut&J>GTwWT&KM`v;neV5(^K^BJMqQNQGQN>yf~l%kj+WdvAV zh1rQ~6&VZh@oO*1DuTbJr`2r=Ss~h zx3y}o^mC{Kq)sjKn!oDYeMtN(8Q8#ilm}C7_dz&(SEa$-1RMU zKhx&soWg}6-vK()N@hOe{psRI^hIhL!zZjiOPv$j3b2HmO4{dP8|bLkgB{e~}b#`=HsetvB5Voij z5M>ONy8bI9P>fHmBIz1kTpK**zSJ$i z;B-Fzl#l24SW@HPTJRG#Vq;??SdiXK&x6_e#0IKupF*`Bi79v$x2BjS4s|OYk_jE+O>y{F?-nZUscW>6tPSoL*2UoiefGhwDn45 zfQK9egzeZ%f_Dx4VibVulyUm4)Pvf*W#_5Jfa{oCfbqLo9^&BO5VSa*yz?*L_F28x zSOtJAUOzZh9|8#!09MlWy=QStOG}_~!-?pT#TU`1?NM)f%w7EXR``0|Y3}}>9zxU) z5D~@;j*gAJ&RrNX5ZgsFb@q4 z4XOqdswLEM+TX}e4(|9yMl@n@k;5n66in!?3|A1bys)}V0XvYVg_YIW zMxdI2mge(FdmXYSx|x2%NmqYztu7(NHh`6*Y)nux&dlF2^XCS95n#BSd)dL+Owx`# z_`UYdC#~AXL42IQ5p=^ZAT2IlWVXA&AF5rKGUwX_^s55$aVryz0fjoegE7q-?#Nuq z7d}KhjRD*Ou~D3l0CM#~&euW@&yKnZRf9s{lcjHbq=B?ALhexJ4d9E39(%J73wu4y zU`gJal%-t~o$wYRu4~n7xy0=)Y}+C%A4#`!_T0Io6R#zFkUY8Gz`15hUvz@#++nX5 z*_Wo-HFFPm;GFOG3=Ft##iYv?0`A|J?UyD6XDKudK)v|ZZQ4|Q0DtM2(^0ft@Vg!O zB>RE53Mp!%?}1d^Cp|!F^S@k<-1CG{tBB){OqmJq)eHV+icAzAZ z3-J=>vp?_^%}g23^MIQ#n)g$mt=s?~`Jknpom66et?j4L(e`yFbnmb4CT#`mf-oGV zKouRA;=AP~z@@t@}@B29^A>(j076T=4Sih z=Dxl@`v`qQ!?OVC1yMg#4S3q$VO?f(>Y77;wp`e<^0i@MPJTTpw)Gc0FXW7zE3Xd? zXI%$GLKkLM*2VAs8NI^S902a;fwi}{H2Ch$TY$!lqa=z+OAjp11K30QO6N?>Nj^S? z#j}`ag0iyjmpyF?f8GU*W_z1sqN@%@Gb1l=Gf;V5jYMzXMjdD4w91Jw#{gpIm5Lid z_!bowJ~l{)u8Io*-d$dAQ7&T*7iEMl0&ht{G_LbXcT4=uS=hby5x2G9{?5Qsga#E4 z)#e!?Pr@Co1y{oXkfw5PefOsnBIFSe8a!J=zYRbo-mbf-NVwX<%-Gn)vZAc)+$D%U z(U39@i46s-SUTcVZa4t`SmjD;Y2}rF1>Jx@s30Jf_0IYB?He^sfzP%nAK^IxF(v!o z6~Kag3GURi{6%z|4Lhs7j#!n{h45dz7(A_!%7U+!0tKRctV&&qJs2D|DLMkd+Fw$E& zI(}$U05I?^ODEL##*)fPLwV>AASAW@239pz5nGT5i}Elt!z{^dv006SQNNXLN z9l;mxH;#t*T{>Qw-}V9O_Et>04f_`^5UIvBg7sUJT4HBLmsDMkyn zQ^)nN@jn#7{h%91Iq!tbjW)acX5yD1sJ)#D-$Rwt3*Kl9$;PNJL?Xf*^@gLQPS-F zWwy0B`)sC&OhG({k(n7u*F`x>iW1U^F*Y_b#1cPguQ-C)oiH;_Z$vng-` zuyshp+}>Uz=HM6mP6#mPb#`{jp8&kZf5`IS86eET1I#P%INtmi#|s|+cax#LSjs>$ zt^Vpy65#(L!TL7AuFk=3YF7i@z#m9aUO`nxL0(2d`I5qEwbP1fr{$&O<<;cnk%55` g|LX%jey-QtBmVOT4CVSdj}O5}-|Sq4o>Rhq0Y2M&+5i9m diff --git a/docs/graph/images/bcc-1.svg b/docs/graph/images/bcc-1.svg new file mode 100644 index 00000000..2d656144 --- /dev/null +++ b/docs/graph/images/bcc-1.svg @@ -0,0 +1,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/graph/images/bcc-2.png b/docs/graph/images/bcc-2.png deleted file mode 100644 index 6f8627db792e41a1399bf43c6f6d32cad6c67397..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 26103 zcmaHTWmr_-7cQWnG$@^dbSlzaf=DA>Lr6(?4oG)*cgG;z9U?V=ba$5wHPk)){$K8M zKiu*02z$=iXUEzr-t{g+l@z2g(MZq`5D+kBzDTMdARsv-ARrFCMgm%_oHb*Be_oo2 z$%`Q%{E9}uH$(=0e`owfMIHgcgAM`VX8-~M9BBHvhk)Sx0RiE_00DtN1p$H3E~7PzLHUkE#rL#c|7bgJonn zxjwUsA={%P;-;it-1+aOdhU#2IPR`EUXR~7KjEHcc%EE)jo&WSg0ZE6Q6O}YU;*Pt zK*)hSUt##bino-ntH8C(AnTVyLL7q@yYDZ!g-~+Sb+##L#49WInJUKs695!gm8KrKExaoH#f* zK9Hk7k5BY9mE}wYZitbEMd{Yxud=epr6wjO-M^pTSWV#4s`oBfq4=9=8gPjzTDA!; zMFi$!K$Vx5XHHd7Rb?7y>U5D+eF#q||k}eV1 z^X!t|F);it^jU6kHqP>%t-&Z@u1qA^oASN|q#;;$$8n`^KUrGjrkVjL3 z?H)82O~?eeRu#jJ=HHsWLV%ifkm6LN4V*d2$?ZAJ}S`c$vrO00FjAujkYIjD{cRgm#)_V=T{(EWC z&5c{~&i3{;BfO%mO>nlB-{t7_=8Na`t&^0LY~qAeRLD)3P2h&UfB*h}&xnF@A^&Yq zUiS?ktZ+00&*~0T1mKaMLUY+Ko&}(bqH;raBvXL!eIS z>lThzJF^Wp?yipW-;R%t(gw6$Em&re&yS|_`vO zU%VdV&zrN8YrEQ!r9$u1HM8%8Hd(iL?B`k4dcr?0t)Z%#qx4@lR^E@dW+3KhKuT!o zWu-~0sF<0D4>MC!Q?sJ8cx)-cP@a2|D$L9CD^G;MoKS~~ii^=FW#r{6w;vA3RF2b>I0=bLQW?yox}S>P)zJc8$S zjOb>Dw252Jb@{&7e_~}|SfiPU+I&5T8znGmPd12;hxg@o`Yy`+*_oYH4Dz!Kt?+rk z7%KH~adGu+W##2DRYBoT#gKr_kO+BU{X3{mqs`~}=h2H6yV<0dK0M;SmkODkU9Ri! zzD&&U$`bON`ShUQ?veZQ`IzKLi%UpY^fNIry}2mAzrUxF2>P2>ArXWzG(JvG3GO>Q zl)xSuxAyW9Dwr$g zk23e}zdIt`A8&Up7)kgX3Tnm|TM}ny2O{x3e*Z1~CL~ZJ;Bq8t|9nnFF|STn6`7Ts zoa&hHRZAH)(>6AY6hqsuS3H&Xo~2faAhP$MVY*NYf z(aEy=v38SE;445ky4%E9FE+4FC(<7;dMc}T*L(4iy#n5h(4kdlj$6s8*Xp8nd492b z5jS01{3H5!xwX+u`UrZTVfrl3r;d-?>K*tlZqNJ;$=8KO z`fo+A6}9lm6ui&Y#408A7suANhT<*N_gh6l zvGBw2KLLtwKFeWbHy6#x|@L27rhPl_nwpruQD2`u^^b2XWoT8(Nh*fVqg zP~@rP{tT)F3?3MfU$m z{O%Z&NSiI_e-AFrS9jwrywmJKC;jgn=!{HVPjd2@6216Ool1;+axJm28TkvobBhgde+__dIUXrisd&QFK#vuL_l8VG7!%YOKQVRK1UQ` z)MuN5c+p3}@0BtxZ(c&D6+`wST$s`D-`0?w?DK5TQkYz-uwIHNg+Ba~Rq6BwcYkb& zjg38%d;ao<%_glD1e?gk+QY~rp_5DLaz9(N?d;}51Qz9maaOJDzF?+srJ+<=*_WxJ zdM%ds5;yTv#fqL^txi|k*R!9s%jec=X7#-tE(-U6@fm^BJu2z>c^badzP=cK=P!3x zTieMp&d%1?jn<3m?|zAii2(-QPWk!eF?jegc(XgBmoSo5@8R8}mO~6}f^b6itE1oE zm(v<&D*xTYqQ~?Zq*Di-65!3;3E^?u{)4X=dJN5d(T4YILnr{l-s&nFJLmHtt8qCk zc~_oDWo+ zn4hHzBaPeoYvUSlCb_2Xgf(W>$>67#hle}z{7!4Nm&>kn3?#)<#1s^4F>@%GBwZHI zOVs{;&MP%8j(SIfUZF|m$PXFrmddlbb-`)y)8dc$Qjt#1Fi{F|CO%L61~Z#vdO5| zclX1YN+F)#>a!iC1kY!b$+&iYF9{BuW#6K+>s1?vtIcSrM!!~*U9Oq5OJG!w*R!#n zp`)VmwaF2=JNjg?zvLJ_hQ~@1Fg`kwU&PWH7KWx68W|lOtnmWqkL04C5CoNXOlH&5 zyd;v2o`Ek1VFE&TP)^6z2WWryvZH3l-L;kHE$7y4vh%fxwdPJAdD#j7s;D=Y?Xy!m z*;3ye?f?uk>rHx65(@n*;Plj;S-57f5Ij!87ix>IY|T#?HJ?|JfPju+s-%SBh7VZz z9Hxnh2`7pBK}w$wGFOmJSe?e;SGaa>?YQvaeC+7xXkhR20DpWi>U-VtK+a=B*4t-n z?5^CpiM6~}zHAfQBjoR3G%TnRk4|`DHJub=GMs}{oZba`0r0o zAi8ob@RTM=>oVJ?gaD$wT0{!4YHQ=e+6!UIc2Awkie13lVhjKr1|x3)bLcxZJ3u^W zMj3}ho?_zZhq8U*{9g@CiWWBWX28wcW81bAI`2DCesmNgD5YLdD)D3Micn z;m9&fz&^?HJ0D0k`j@L$s+?$HlKx{|Cj^<_iW!=KD|5}pv$B}>xV~!0$wg=kRe(Al z3uNLQ92~;J!j4=#m6eqh6vlv-gIUO_`vuoXAt&^(s`Ym;Wn4VH@;0F8O1e9r9&B51 z+jg@&@xU4HjHqF1It^Cy8;k*v_A3&uEv0RD|54M$I*a(#J|61@$>2G`!sZSS{b)h) znX1q40Xh6B^!f8=r&eMTlCqjQz{7{_7#e!fT^-lfVDn~2dibU#dW!bh7kq^R21F!({>3bFvISH2nR?k4N=0rtg787|Z%x`}~H` zzrV0)*9qYmGu{4N9v8~_H*#&TH-d&EDIdM*m9`~6oB&E=(0-WrMct}1u+{&yePmnF#`TEv~u^C@u2Eo=Spca9@`y9 z98z?%cL7_wyR+0)rKP1DQ;IS&xo;zspSpT71%|eUw$dz--Y%3d)R^Ngy#S7jCJF|T zD31%IjC5aEFvGT^N_V2-B8pK{QM=AOH=t=ICN1qNy@2b9E-PqypJvrtmcr`;LM1uR z7(b#6pf~ObgL{8DZ2vLr4eB2plm-SQDcLtTh)v3Ewf!d%E1Ih5=*X%i)w0qfVe z0M#(yc5rm`_wz$q-c&qIE?Ezg+N@nTJj`_c$0tf8LJ4nF^zEMpoO%A^9*^xk<;g|} zWn$&GS9e}HkS>h5<10V`L?HwEV(Nf32xDER_`P)9@9yI4gZ&Y~cF{qCBp(=reebmG zvy_&Qs+LTa_d+xji=yIkT?tSu1vRFlBp{>IloVc{$9o_utoiQ){BV1*OHW4!ZxNxQ z66+=8bBVA`7>Jmleq~~k;#b*z!9*7lz{zd1WM05lflwSDL9UbjXQoot?urtIPZUm{ z?KSz0E*Oja;H)tex^9O-&j0tK5eQ(@xVN9$dwT1~5Mk5l9ci0lXb$Jp`}4KjxtSuA z6v$v?lpNR76(r}QnM$3UP^ZHg`Is*%DsemTvT$03pE1vx|5qSBSl!L7=}_wxHU($H z`b-sVcek*b%hs1B0vP^Yvc*&ps+0ZG^Fd_~f^4ssiA z;{l9h4Y@Q$&fK|;r zSwnMs7NujeN3e4+wafEW5R}#Q9IaxoP0YM&+VTs_L`5cHSqRT1WxR5jnXAF+xy=)PE zc5+e@6YdMev=&yKA~nnbJQnPB>wzk}ccQJ!RXtMgj+^a#B|p1ECLnD{$-vay@8Qfc zGPqMhl@IWYO(5W(GnL0dRW#{MNcwkLY;$kC#|(#*-FaA5T$g30q7DL&Oe7@4Xz0hz zNIaZQ7oxjgs?|6jzGkBE`0^#>O)4f9mWz;4UkI*tX}akP)4F+f-Rh=YqenF@CZ;b= zb=Uc3_9uX{zWM&-&0&=y$t5pGlkNR=Ec0UK=7LPfLp3yFcYE7nF3@>C$HylU?Zo%h zjhq)Ow!fX|FnBtrIwl~%&Egfmi=+S=82M=vN;TQ()AeJa>0>HyY{;D6d*0}8GO?RL z;4~`q$+>`)S$p?(Ff-Tq_r%zI~*{VI*nb=P|7YxKu+! z@xH=80Py9&O1Y3{7K@le@-6syStlQ{x_}-qC78!mpeTd_uNqf>VEK52Gp=`s&pKQ}@ z5=FtlVJ^8mh)o93?T(YeUV!2U#`d?4c?^+YYJ_X|WY!FyK7o(9geeacL=NMDc#ZJ@+iAo96?RZ}AgAp~;k+R~HwqZJ z>}*PL#kByn%H{ZrdQ#Bx>u(2#dlPNG%uIC`zMF%~Nl6HuYMJWM&H4 zZ%Fbte2@p0DDwzgvg$FHW+8V8@p4Q#V@T^nlva+(OWOnP-m^*S{HHiOabZ!N~m-uBGtSs7fzmq#!tTai! zSgjYzCZkRAnH^Ys=GJZ5GO?wC;s4&=jJ71b#;0X=D2%k?&b1{n!lC5lPNru#GS;ag)>HDa3=F&vHN z{Qg4Nq+aIjw=6CI!J#sD%}^-5|DLH(oIDoH1hsTd=b4SnW!LY+t7ynp@SDJk+I&VE zm7kVe(yKoTx?sT3kPPQOWdB*{?9>9act61PrPs^0<#9ZgXMfx4Hrgz!x|OaObnJOQ zOw%kNw9S1uLrnvANog$}dW873WMPR0Rd1SdxmC_CNsqjj8_=Y z)QR`+FB^~km_se!Q@BfNli0SM2X)CZ*9n4#c#jt8t>}vtgFBG0gRm~y%DG8zH?gNW z!2mA1KS0aR-?DS6|Goelu;vhIezGV4v~qiFpfhjnUC((U0-RC>LSPli#_lOM_Yd7rChYST3!cxXTxGfM;>o@O@!5V+;0CrU+< zOgyD0CT?4r^L+ehztZLod;sqr_y9j#?2O9F$-$g`2%PgO-)Uxw7wbop7N4$_3b_8e z4G$C7`+kN=>rV*sQeOKNCbiCuoy?9-s@O|mgbg+sq|bKKm z9`^+Nc2(7cj4%9v_YUCMF;>7nCJ0Xku&HHwvlybOD{_+wxKwmG3q26v*jfiv(ovuDR?O?0okpMl9?u}X}m%iTSx<|TP?%w|)Oe0tce z8i36Mdb6Lw61cMKwWxajNM;8SI630~aK01>R@j})ZvN@&alK=GvtRsg%JcqwFmVpa zrrDPK#g$Pmgrn(7`*eART%f`f)whY;a)#v$qGo1lx&z?Z03Js~{QQ{*9P;(vV4xZ0 zFA-|bo?JS2O$67Yv4O`EZ6UNgBZBj@W(SAKbXBP#H0yxdqQk|)jlel(K$$!TDr!J3(`6rVYQz>^GKW=!gF!sGwz z^LlgM-0LYj20eSZ>=Q8VH~U|K>F;Me`Qk5IX9*b_V=*!0$1SFJ6qt8sF3+b}OK z=8M4B%dQeeg-ZHtR=(k3IS`cKs9kZ;jIhx+sHm>zaXtS?fkE=|cGq2&pTAH9qR^ij zu)vRMJizs~=Cvfa*g9>yQ20`THNL=-ozl#LW5h`R}Ou?a2j zuD8Joo$D~>7nIadP7}pd@oak^?(o5Xxn^}YFMswg=+()*HM+cT>*-lyiHm;$o~AW1 z(ZA6=EG<*RJKvFs$sx;Xll*-X>t(-Nrj~8OOJC=!g9R)*l`TRLAVY+L%Q@@>s z;#&k_zVrq6cRZ6?0ss(~*Z6qOwvhiSh`2=7YGE8C~RaTE;Y4AY-k@ zBeWdev|>LRE;|cCK`1xMC?PlNeRBL_ua2mbhicRk;Z`7g9Syqg}_-E1NbE$PeBUS2}7th$eN4X|R*`q!!XusJjN3<@<2v^sL z&zF`_z|yJ>^18&oy?3lJLcTo_s4+q3bCI*HO^OQ%wXf|DeGAoye2q=Wzw-iHb8EWQ zHCf*ivt3%|gAvpE8&`ui8}qrCad?#;^ebcCkN!owVFHP!y`lK;Gc1$kgs5n7Sqho_ z0Bl*IZL(#(3csnSOX~CbKwVf4%=R{Y_7cUniiWT-wOT8yMHZq-Ki(J8%cmX16#_c;nL4TQ1dWoJwcdI9hFa65dTzSlzmT!oHuu`4TcRC}A51W=>cf`9--;sp zYni?$)+HsB4L0&8tWEX?{;xeq26d(EXXIYLmY(fI$_xRd!fG1 zCOI*6b8yHK63cBZDRlmL=jsiTQYqOFOK`PB{jm83o zbW`R+e5>wqN~`EzVaKVJ0|*6jb@t5=eZ8C6rwW|u1zWrjR|jq~1^M7P_ifI*n+-211)17UTKRE!+EZANQEQy?jMv zPe%Mv+}2%A{<79IdcA52$Oe=z9d0MT@IJ|vC@>yeP*v|%n7F^akN3EI?y<7bjr4K# zDRuHQZG58IqTEcG8h`l(RKrx)H51yj3N9|km_(dIp5>a2nJS(a`33frJuEl4ZmyFZ zqnWbpY|i{G4w8}i)8^>TS7fm5aL;So)#5yQoEJyTH)-bGU^88H^ztz~`JTjjkyTjz z;n*m<{k}#=T_Mx2qlV)9#3Tx7lst15&R& z4fAjpR*hHli3dvK(#E!!&wcj^qK007@!g^=^lS6<&L8~p<`T{%w#zID%&TFvu`6{~ z^iC~UeYKKi9M5t=e8t2r=TvO|SeBXq{r)}yIho5uTXP>FJCh2N?CzMmJ6Y||AmhP* zp;46Bl?h1XwRgkptb2KJ=eov!?7we)nZBUn9WAVR11EW%ML&v3oEPksm{7tyMdv4* z%r=BOi_bhVLyGIpxLOjYoF9N48EF#B2Iizo$EzI7;A_K-k9R)IBOAQjpOUs6C@-Tn zG}Jfk`pD(HQ8Ozr_ElgNx(s$Xs_uh^IMrh*8u}qR{usKXxi3IVh)f`@cGb z1^_Vt7lVZb)6N?FaGG8Ey+$*8=ihazwPZH;Qj~?P4ZHOoWHHR8_QgCQ4MZ)i6&~`U zq8YM*p?uRS6fC?QY4s3?DYA9TkKn@hIyVjzBxG2@IesFKH=A(Ig58?ifR~YfloO*m z3@@i^30<~Ac2e`qT6Jfe9kosOpL2*UJYYC1ZCvIfF8#>IT_)d8W@At(%f*JuG)12W zXG5_st72}wm|jelGosAf4a2+RuYv{pwpMVMNE>CODq1oRHkm; zh*C&a@9kGf!MJ6*2AfLzq_Hd^<`QSyj$1mg#OJ_kqR2=RVozqQw?zt>U(;>Ydjfw5 zFFQ7N^o{MN+y0ZmAV;fA5MS+R!`vNHTlZye$Fs|xw`oLYx~u(@jmnNW-hRWKPLTbT zDP!MK5Cp3Ks>%CwpYL9@$92y&t7E%g{%XK}sY0t3s)`~Ba6hcOh7YpZU{i`LrrrCm zeR6XdzA-}cO@us3Dv&^4R96~6Cd-fMX(OEdV5Ve!-3CI8SMcZC#l>=##~uzWvFB4z zN*W@Gm)*r^kKFN6seKX}Iyy4f@x%41v;bpi;bvW02yMVf`tFVfE^dvELUVEOFw0i&!b_}p<6f35m$OxJrnRLCvRLXYU$(8 zEF*s~%7E_>ON#gFz3nic5O=-PRLBx!EYWk^84|0&rKU7rI+{yzxUez(tOnwgWwuxdYHvNdn1o7pT1IdX(+1pIlg5q!5+DztX z!tlNK%i7mb0s+#Xa(FlFYLQ?@qkHSsU~F$N*ZAM}(dKoJqdY!9az&-w`lb0o5FrSlBa9 zg^C(6%jh|f1Z3W0ZLC>dpVb-qhk+`linLTf$QvzAr8|7ut?I75J8Xfh<&UCjxYHf=L>;IR#!m~a-cA*`1S{E-IR$Wb$ z$B9r|{NNveBhCgQ@c4P~$zB|bQkbPg1myF;wII>2Ey~(>h%=Pm2i0gO()f8~RhXru zs!DUVh`)hU%c|QH^Y&GFX-OHA^X~FquzZ#kEf_yTs507-N)si>q&rt4_+?a9YHDbb z(hzpVa9usX(E&EiqBQ+gnDvaG|LrOsUJjXa3B<|P?^bXhkkpr${QyW~+3W+&5z}46 zAmRMtt?qN%KRWq`jR>c2zCNr2O`*?vN(wtQEZlMUZNs9?*32FC?q+6vC5dlGU@6UR%vl>TJKLy7J-(&j1{9L2n z4@Q??&i8q2r?FjLww^AnG%Jt`egBH1y4}3XIX2z_zI$o&kQql>h$s(4coxI6-aj+n zIBL`}3;zoVp@b@bwr$6!WeEIb>`tnX+QV(_Vb^4%SGdyUh`+_&dB5?9io2=CaX1SR zv6w8#$jHdcqXs}NAn=Zl{{*zaFAqK2MWkHJS99Lg?{L1{txnYijc3oUPvj>i+VF*i zPw|R)UZ3Fe!md|+qEVFO?-lx(_+4p39#1J-$-h-QA&B<9u>&gnA&H$4rgiA;xQp)PIHPSkW62TxS1^R zHp<}>d{sPn=9L*5ZY(ZUS6BC*baT2KFR0zU##X`{e{u9TqjjNG(7JLZN%#$-~+U;83+&FLHxAfp}gANNHInF9M{noaU()S*-=YqU1eH zDZZD&W@t3`^^5QMTiS-1?Jl+2zVWjYYa0XIlbVRZ)Pxc@yFw**{M__!_Y@FM*>+c( zb)2-auVs5?z3I1KDpAhwEB@fH^#w?hg6~}FoZ&~EWrD7k=Yzhg9oVNWGetv$OHT8XG7T!|4Ngk8`oG$n`XvVg>g)$|Owf zOX?KA%FEB^%5KeThxH)um4{I-v&?m5DxO{~a@}!aIQ4zT01|m$oeZPNlt-vxi~%eJ z2o`#yD;}~SWm2z%Jwnj$;~5%y`r#ot2Zx%SSX*C&?jMGgJ5>~3F|L0FPVtVXZX|(O z2|o#DuN=)Ew7+T>SuE1b0C`yZX5@S7d#5(4d@nGPns1J`zWuQv2Wr{6;y4=6+4=-- zVG%%|p_WhiAm*Jk5KYOhc@of|aG0b{=&0fMiT+1E*z>W&`B2Hv;WDv*og$L-Vn36= zF!I_)#Y)`~K(v7|;|pp8dyfpoOU-DsE3~535bWui+1r0SRsq;}#)-^g>@_8uHAySBQ| z00C1m%4i1T@IJC*mDL4ZO895T;^49J9Y+nAoouU1$EkpuQlc{Vw~Le3Hq2lwu9A+) z@D)I%05r{>-riKQRF;sG5|z_GG4K}8#zg@P(xSz&!zgm!2X#A=a{tToYOG*?g{Kfd z$A>O@{*2Z)i*yE|@p1|o2BaaP@kps3je~~k=@{FHJvRD6tIS3-_`WHqIC+W8(6@er z#%g{)TAEe>sR@bmeArX;LZwi=W`D5|_MXCH3hUzW)xdGltA2H=|6mRmy9SO#HnHmQySByMKq>iiLFr+!#-oVHmN zNgA0~YY~?=h#9V<1f5h)n^l>LD!S*e0llLgpZM& zzd&A2)8nAKYRyPj{PnNJV+{IldlDzEC#oz{*Q?{-;c-)wT$goJ#VGKX+ny(=H@lIf zJTC4ktn1j@wa$m?@DBoYZa?xCo0*m2{Pxs7Qy1g;oQ0y0(S&NQETc^+;lfuGqEFKz ze0**FC!L^Qa>>b`_8H5|A=V3fUcs#+_Lf}1)*mG+@LMul^F)rpRpu+d{5xe_jLnoe zINV6-XoqANnPrzsI!wHHq3YVS9~qdZ+B?w3%5~c`ZR-ctV{{y#8q7J1woll?YwfOU zqN9uS7eFGJnbi9dKYJuz(Fj9I5zgNuf%H?ZXyMseZyTn_t)v47z2d(iN$GMp$^gHJ zG$}YyNV39f>VCgCPh!}7k#YUP?T84-yGo8bYGi}ysDC~!)Zfd?ML+z)f%VXc1S1_t zFx}Tv@ryjEA&@gDTaXT=&TOeNNIV`as5M>&h9*mZSp95vtC*NSA9dLCe?(>`T!0=$ z>3t*C%S6P-kqG`L)oLduLwb2SF0voV<5UEZk&!ALlB*#mB@MrMqduk4KB{LJ8Xud6 zQ5h~yZ$|X$&%t!tL!H>^NOB<-*Qq}g&TySVSxiwiO^NmW)mwh`9c-25W{l&a)XV(064nHW< ze2??A=itZ5SJljNjp)w(J>`TVyq=zvxfuOWud51_Q{1<2d)1AQH%Q*T%`Z7vc24d= zX@UQEG`zb$lmKB<&K#fbueA7&2*0os&io8LUQ+W%q0UHM$$L6!WsqkSJb!5`L2MXG z0Zvdfy|OwMAuz$hLk|i}JVYoV+;*Jj7@~^i%Y!XCl37glk-Qh;TE*uDEr;o8K8)x& z9}WmyG&>60{2AG@J(xuP%os@NvtNBsQ!qk2({T2X;n}FNlKTt~X2??h<5;HPJn6ih4hMfLH z3tbUu^I1=51t~1hPemD|7=*s1qM@M)C{H{)I}3eFZ)#>nNIRY7hIhlnIT}r;QpQAr?r; zP_owvTetPCDBei8Y%b28@gdLU*_F$xP_1RIC1l=fo;+G57*{%qj8T}}gE=bv-#-Vqrc%@>RkGj=ud7e&|OE1dT_{nxzE5srV5M zg>5H;Ca>8+9b~LoD>x#qiSh9g$)-RRO~7Dc!r5a+%)6GcGQNE?x`oDF>n210j08Hl zwQoP5qURCl4KyWmTjPQk5%({XS=O!V9SXHgY^IYNWz%m_Z+5($d$?w+CjgkP zGy5tRD4HqZmFk}o4O9f>5CQr199c)8QpdMQG`nJ*-ff{m>%J1;C*7#<+WjxzYmI6E zsmyFVA#2={q54^U=Hg?W)}(7QkypIrg1=Wua1n5{9(>coR zmQDNXZ_wCSg?>KS*uVf2NIP(3KdkzgtwH{fH|e2UFVy8;7?{;ey*BqXm|yTbZ6}0| z?~Y+^?eVeLPsVq=xz-G==&46b5eB!=-C^woE2MD_xxq&m5%pQV}srNRz|gJ8n_nWj5)|cdZRMqUW`PFDHW3 zYU2%Do3@->j@FLzySfouCTFE7*0VJ_J8&%r2PrRX&mca?_ZI*cd`jVy_q|)C{&yg3 za#C3N@a3Lmtr1raZ3~CVLy(S#5MCzOxH`5N)30gy0Qd5+UgQ`%0?VepXg_ zZR+LLi>vuIt!2U-v)`Y+?mlR841=VjNq)INFVx-;AWTxc#ltH&Ze4QQjMT3Dg=D1# z04#NgJ}t-$?ANZY%PsfIKKF>VvcAH&cF=dX`+6-~GZl{yjVE{t9F*QSxn9n*|I+R5 z-5%#fo+_$4s`Rb>PC*{>V#7(k4=!Cl5$jqL5)=2!R`ZACJ}Bie00A_<1sHz4d+L42 zI;V>Ucq-f&sD^Pg?d3^^!*Bq;v!pnW9P5f8{)ABkfr&XA4=_|fVBU+^!XF$Y=nA`D zQl$=rd}u@?<97-)h0NVihz}T11 z(f(tR!DT4~w(~veJuR)n+a7|ir^|Dv1MQOc*I z0KU+Kz6$l~1OA0Uz#|WvU+*Honz6hZ!vLEs`c``G>asi~n zq00EHm9n^w$>>jekaH{m3*Y}FO2AW>jvX_+`S~Egx{p9k+M^e_+ zh08T$<${IPx9CI$nM$9_qo{LH3+303B|oZ#M5^h7-c#S00c^7g%fXfQ`^6ifEmkfr zwS9@uMDyg2U#)akyzi`Ix4#UkylvHsdIT&^bpzg>M7X9#T@dDW6n;`d!rq4_og6AX zS=q~pV$T~x;kS?ctQp@IQ>^4V|G!ca@4G{`(LTzKX;=gfDy}I_-~k zsVaam`yL>5(PXY04@TwEa#Alg+7=I=Q&P4QF;n=A!l)n3Q#KlxXB`VSS32j29emAM3Gv2J3ln*PPboTpj>b5~0Z8Foy0fqH z`vwYamRqXCE4~#+?P9`)Ac&H0$}9Tb(4#=Z!Qo*k^orwW4rHNG1b4krE#G%K4`}F*$jP zuT!En&{dScuQ?PzMqbyNLF)$DX#=kdYAOQJ?UJn%&BUhc~X37_7UKF zX^(@RWRqBMH**UMTZqf|=3?tR6f*XtLn1;~$5AA%k&1!DtC{eu&ys77^t08C+60K3 zU&HJa6zs_PkicrmiOgyt0n=^GI$F&eST_!#DMSEq*k`c{C?X|Kvj(`~PE&RNPdYwO zRU`ft<<@G6zL1_5UWg!aQhXNYVC=ouCp8@SC<(U{vq3kn6cEX-udvb3yv*;TyFtT~ zEV^`-aRvLIn#^LL zkEXwhgGKWE>(p()C{k~kPYium6;I8UOD*IP0uF>K`QtnN^gbIP^=fHcDJvIu;2-LI zlBa%O=%(+FVsxr%uGbn;fV<^1xRdP{5VG!rGs4 zla<0fE|G?xCJX6iH29Z$gPm2xA?8?fi66OMb7Ef`j-AnCV#z_2tx=E#mqOw@{+B5 z<8_Vly2)MKE$T*_TgYxtq88FS*?k97qn)Y3?{w@%V9TZPn>O&(2a@!PpncwybZ(1( z`uO-;W#wKZLVT$qtE(nQNDXIZ?EDa4eJw2@k#5I7{W1S5@Eo-U`mBSRYKk1FzRDNo zTkF@(>GNRn3#sA23^H9(WeQE<{()z3JfJN5r?Cyi4i)Uf^@G?i1qjxE&8pg(?_XH& zmCF+DZ`KX48I*fpX-6`Co2wu?8yC7}u=itxO?R>768TNZM_!{HT_#37ULKVH=s?#y z-=8yZFcrlFb*Vob)ss-?%Y3l=d%e1QO7Q_9DH$lfY9n?%=4g;*kXr44&T6Zu9^QyT zz7>dxZ7uN)6IRoTc(Q&mFVQY^*?R5c`T(zPlN^ZN9pyFj`=uxTF%KwLD~tAgJ=ZoL zF1G6R7TIcfTpvBJEI%)0yVjB3wzr8lB%V(Mm+0`Y#o5aND8v+h1c9f+xgfe?h?|L( zfn_gP8BCo?LBmn)#E&}JzdBqF2k09;>L*hb6|QQcP>~~^`#TUv#H+=HO~161#t_i} zTxK<|;wbV!srwTFybr>j6S~Zu&`c~+pGQHK@tm#%R0(5PJ9ZGr(n1M*89}bBAB8kv z1}Rjw&A$R)uj7%U^bKB^>NbwevE^<;q*$-fYW~gwf#=l0l2)^zv}6g1Kh!T>jJ0Wd z_GJm7xz!BIqnV;0;;`)2<*fUsC?Z3vWF-va!4|_(NV~_m#lxAuIB`^@^KdO%@L!z| zDY3{B>ZvczUw!|BmXMh~{8VA_Ek%#o=W!_gBXtk(%Gq&nq;Y-CUyW_r?KI0eR9f45 zgSHurW-BaJ{vq^FhzAXwz~%!SIF2K&_b8LIi?*(w;&K>hb2ma%IsR9$VfLX!(d#-f zP-H%2QdeAq=(0jiL;YYTu^2+g{?7t{r7ygS3Yv)7STK;SlCp51u#1wC5IeHj9I+RB zI)$NqsWw6evNlmy z^UICV<5RuZ!&9> z*)N0&30SqEZ%9S+8kYwM?-fP5f4{k1d*O^FOC;pMsRylZ3V19nc~@Gx(kNzXa-JPg z+)sI4iF2_Vjy-n>Ibo#xiS)kA`8&eHHqLu<{~zoI%+~=YEr)D%sVF_`cF+zX+ZDlI zof-Uz?2qT0hBBde1ZAJtq?7+Ou6kRlJ2qHM4P2%f9w<_y5pjjFFV$OKmO%U}tAer1 zt@8kyZ*1ZoduM4cjhfbe zLFTqVAOH0IH%_b&h{c{GtYdOpz-)}nF})UGd{!k_LXK}keG{xIU7^x!irHf{w*CD! z^Q{jqm`86(NzvzH&gKCKg{O-S#R!0loX+_^pFsRNIBWyi^^CIa0oRIkIz&xX6?*Ea z-+MDR0=rDoxe0iLhr6$Eo`*f%?}|9_Jp_CvtN*u?ZacZN&;b^(GJ>*M0Tp05kc0EC z7j49ZEJ}6XfqL=^g9$qMv?l#qCS>mLvMNZ0rFJr#jf{Rrg?;!`h1RFK7v7~B5Q>&N z6cZo~2V`hwVbXl zSpl`u%W&m>7yqBaArTQyiJ3sM>dAj+^j1499sR}Ef(p5zQ9{8|b$-Wu<$S3s!sw`| znRl<8>H_rJiS{j(aCD}lBmQ=A03rJOG0=q2IrA>8)Q@^y`y_vanX5ili*lpHP2o7zTQZ%Y_7EU!c;`{TWeH ziMxum+V^V)iolg0UTl<=SBcNA<^ZtJOC=YOSGUIB0vb(4TQ~_G-v6oVJfoUuyEQyi zK?RX6MZrSv(vhMxDI(HB4@Hm{l-@B&k!nFYf*36H5~{u+gbqqCVgTuigsuV#QSj{e zeQTX{ew_S>IGIVA%slh#d*An!&mui>Cqv)5>)aZze73p+MZj421zvAGt$<25ZzCClI(=-s{S+=t^1!MQgv-Wje2S zriEE&Ll!#d@4a@0`1eb3Z>vS~3l!n!_wdUbZ}#pU9OR_u6rZ}D#Z>LsPTO$VqQW+z zK{66@<0G!N)z|57I9}h=k;X7#QMzR6{h`D<<|8jh2!tt zJ70j8DRI8XA=<#ET4+m^YqK3Ch6Q>*>+k#Ru+0 z_pC(wEe#9@((N+oynCX`?RNE=4<i6+1=@Jf633+%+0k4Z>p?<^y!ndOj%o;ft#DqQ72a73;b;f z|7^u%-0M`qcDIp)`=7;63|;)WL1(e)afh~qQ88d8t)ynyNKggS-}jj%bU$Fv33s6T zwZiU=+p47Pzf33JF|`T=-P6*Lqln5NvEXbr!%2Fd&L|pEVJwKHIDMl66wbcl^pOwO zkHt!m$J$=8Z{NQ4sNEdkp-*p%!;f4O`B0wv=&{Pi(7#*y3a68^JMPJ-yq*rs$>1K2 zFpE8QYNPN-*y7;~#VW`B(3$%L``(vwVDnUWAaETV{PLQV0Zd41oZL;JXU)VH-~BiG z3eD{$YPK4@u#79;iu@s@b!N>g5G&1snO>gbzO2>94?rsiXsz~(u zgN4>>@vZPY%NbpFD^)nvgA8&nl<|XYy|!5Qo=pv-><#eQgsc4~HxEz^FUhV5%d{_$ z7j*Z}r_^WxSCVgBI8a2#zk6rB;-M3p5nw7MT(lN{;j3HmFg0h4`k&va5_N#dXxI;m zrX51b4=wHAnw2Q@#eD1JkSY{}D33|w5d(wl_{xLBE28_ORyA2obCB?L?aNAj^oWUr z<3`QI!omVHuV9JKTnhz36|RRb8TQqT2qrNQPMKUwQX>^*p_OS8nn6mB4MYU>O6Bo1nS4u#jYiAIGuC424&ft;ow|ep& zV|^K{@<}IEJ6PS|o*dh-Su83mW0jqSSg9?a<%+jg!jPcvp-xlouK`) zuC*Cq2QnQ#zB1gAYZ1zXo~JsmRD??^uTTaAve zxbM)*u2%o;Q)l7Muma)*EGSr5RP@&KH3u6T^ci7EF*%g7nUs(a zIamx8nKSXUqVH!q{_9YPc^_9OG^(E_N}a}q-1Qs!0=`4 zJsBG0Q~;hV$Xx7^*bIAKeyjp3g}?oxzvHQ}HEH<-wH;P;V5F|n4+~!y`wKy_8)+o= zN>YU%Z>2b1G2eP6M}BXA9iEM7K1rvFV~aXIM~;Km7z5B_C5Q%ebWUaeq9rd=6BCE) z7Gy4w!_1>ck6!2|CH@Yvw?B#DyUGCHr&QUaRos$I7dG5?zdl1QhundD>_68MDfNu= z)vb>@*f&qHSoPqqbJjYxTH>QG%*DUbjm&KCtiRr4C6pa6e^_lHAHqh!Q0Rm+_xWl% zjTHiyh&^tD94w^=cNc^Bzs!)^r8}CFoXpRkd;k7X!)}se*HP#>e%JfvAwL|#KvsyV zY&9Nb3M#PP&1_cvC5Byis(PA*OF8Y&wK&G=h95G~azVr)3dRzC93HG1f-?{}t)>3C zIh*8j`BgCEBwSJTjmm3lSxyaMIw9rqED)xv^NT`nmxx0hSL*DAyTN%|*9@NU?h#4+W)F{(?tZH6j z+dAAW$5~o6q#KQSsnPPjv?poky7;9B1tTHtA`tz<{z5f$Uf{$R`7W7HraZR3eD!L#LMjiDW`;Qx1E(H!EV?K2yds&+H+eu2b(4>Y4JRN7Q;{wd=v}bw@{v3pw_M6;p*0s$JD?!>1MV z-ESrC@@Gdd@hBh3xfl2F_XU5Vam>?8Ube10#RG~C{RJaJ4TeePoETb?ev(;Xp~202 zorae$QzaXlodFvauj%O3){7D&YXwvM+F<`!kYn_aH`f?;36;?MB`s^_j7jJ5v#isn z!-5k@Anfr;XAIjQ48FvG zl|*)(|0JBLl6+{+%8KGMI?uOmImpd{5Q7>?#zL&}e!M0628el~k$R~D!q%KDf=2$T9?%JLbH5^GgkTubK)I|JlfQFtTN^6}eZYy zS`Yd8F0q}RRoosoHjEKZ2VLcbc5HuK^YM#Vigqb@2&7VO1+Om4!`p1X&^t#K41^fI zG@7+o_R?Kn_82Xwc9L}xk9eo?TYw6K@T;Bnt8`@{^_ZYtx-`1115+b++m#P}+aJCo zr_9cEDx(-Te(%=CN#=pUVQxjN(KV?*C6rz0SyrC1hj``==JULYf6SMLusMq8Tye{q zV#=;r?C49qJeWA2{YJxdk>N_c`i63+Ty1`#B!C9_6_W7Y34e^PI)w|vKN+)0Xo#B>J zTbK^o>IvDa<|HSZNghJ}>^|W38aVwylg6P=vmKCLDKWYE7bR6)%r&0ozu2a<-Vamz za8u-N>!)AGc;1RGC9pVc!;W%k()%0FWs4V`bV?T%5@H%hy9(+JDJ&>f2c_Ttw!7Wyf}skIvmaf3TYO)H}y*3M4gqv{84do>ZdhjB=dks%TgdsV#B8 zI;9+ACMDW7iHVMG;Ye58D*(>+O9(@Ff5} z?7B~>6Zxodd3LEd?ia7&H7{&OH zRv8Z3&_nx5v~Y96IWD@{V^Y@Df~Bvsf$rEbtfG%oU|=9>7^JXQ2L-DH$2 z0MndNg7ooHHMln8by%5MSOAZbnVE^QCf~9%GZo;}4IMn;x?|SjS8dCcbv!6iE=R;6 z-X-)2;h34dl1fm;&iVCb!V$?z*{P{|KNpLD$t}p{X#aumgl#kl7k-85_Dx!SaAC?3 zUX;W-pv*P+dg5loDYxWuDh{I4hyTc^4kY=0m{bXz&hHRIc*X25*bANo>)6%Vt-U2| zyWE(df`WpOkkAli-Na3cBc^%$&>eyedvM)vjhv8pI zx}yt?unjFfQ!tFpWoH|kn2glixGGIES#x6$f(5NkE2&uQX2ACxwHmr^kzMV2xty{u zT>X(xGncD|2?AHrs;9~BhR~&02JZh2{X({ppWhM2xCQ6vc`9QRpiuhy`XJXBv^Fjc zNn{zBYEb{%>b26$uadiIsMBk)O6^KtzA ziL0WR&!YyCO=s0FwlZ@c)uu$uG<@GAMK@DwtM_i-ruzi4NY8SZuyJ#E;_B+?RrU4i zHr-Pg^6Jl{8v<6_cqx#?YWFdbhJMFtSC;n=Pi8Fp;2S0yeLbgFR=e+UYy}DXQ}Z{; zujP2*9aFw2%-+_t3Hkgs`KvY(;R`sEH(XC9YHkpIf17KKh9E&&jVlWgGt~AAyVN(I zzV#^yvkxGHgNkpT*xtDbX7EJ zp!*bV%ATJVeiSGGED_;fyMfzI*>Q*PQ^pfX`DeITy z39r%bl~P=+0)k|vCMRFSDpE#U+M~5aZxAYe+v$sSns2`W>0`EF^bSZub4&>GYUmd_ zlce^IMFSmEh8~>VnUA9#MP0fK4ui)}OphT*wyaZ2ElGctljr7TLWhG|(o*yWSV`Sp{K z0@3F?pW0%&Mo|ksZ->EkJ%0j0_U^{UHgILsc@Wz8hESL2_-kAfo>&Dav#qt2$k&>H z_anCZ1CYmBKZ|aUsWcz-coa0Ze~pUT4HFePx||!O>MozdFhGGkYL7X>k%t>XVHbYP z_F~5&ad*e7`=QQ0srTKxXQwisJURLYK`y(ljaT(0tBu!t^dl8D`TY;aWbYa0dm$GyG1ejzs?cKaU3%sE1VNd05z zz(6cjnV)ZTO|;z9?3GSkyf`s2A+br$f-AE>Q|agF))ry4Jb^g4KjeX~P7I#p`j*LF zs`<~1m-R9AzS)_gF{(CDy+5`=0;#!N#ke$G`E?p}D<0C;@6a*xA|JPylwVEoUu+uoQV4GqbPm zCs@u1)Gv=(N%(V}cfH?x5x8C$hSEc^K?st<&16YMTES_Gd??*5)nl=GY+z&*s61P> zXN*I=)9#EQ;mgA>;!3BpE`-P&rNr#$SaM3HXG-2P^xt+9ume)Y%_XO7&_GzSuT4mrAEZ=!%9T z<+*}3%1rmHt zO>Jh(qVK6HH*F-ont)mer@h)==Y{>Laxc-{)Pl4!tjTRKaZ}#fDc4A_@epDhO}M6T zOYl|1yPb5VYR_C_zR{7pKgFz0TiAM3gzm^zrcHYm?$p6`LFGb4TT-GvO+@GLpCay|CVcoW@lAoIP`$9eDrfuK zo&<>n@5{$g40b<2Ox4M!L^z$^GZ5|3^f~Qz0OQ=Xy&Uh4SyW^o#TS_&2-SlI3In1C zL%B^avsvp{t*{6nXU&f)tk7EJtGlB|$^?bH>8difhcQ;h_gWZ4qAivc! z%caUMJX;h=4L470^4c{JyG_yIC*V08&SK1Oyl3FlMbrP{U&!L5eQIs@K%WMYO2L<$ zU!fH%$9a64lC-TbL1C!&kE`u8^}(Mgf)$ik@th<@+#!!qNl2|8X+=}UEene>raEfEvKH(cw`qSa$G>lj z{#t`+M*1Q~`kK2)agmgJezr=Gge?Oi`qN47L;w|-zT-6Y&V7>h&o2py0mU(x8xhd_ z13Sf-1TpGOMX%;t7cmS)Cd+%`2x4e0lAF{(@rk(lV_ih+cg@Fj5=x*seFdT_+cr~> zsPQsM`UG7^~&9z2k%z>sx@22#1*8+Nrr5&yh>`__AGBSYM# zjW41Yf3R1`JTVErv|bOdH|z46If{ykSs9jbDXAY2L@psA!N+_Z{2gt48n5v9-P1T+ z&}_NZs|-o>#`j6kM@~$3fD!xy0mQ9;c@cqsG^7=ea;|!qr;liMz#JqnWPQBK`GM!+ zsXM=uE8@rn+Y*I?e@RJ69xkE|&-~nfio{_b+`3rjC0egm|6blzGOBIq;#J)NGhJ*Z2x{#vQP0u|5DHWnC;X`?AA@@shm9)l|XhM1P zX5!Ms4Q&3b&qTEg%r@?~LCywPRE`+T60bcPhvy=3G0o4V zX{?;oLU}l?Vtyy+Vb6VLxJ^UlkQJD^0Bl$(I%9iu(8gUnZO1^a%CbV!CjQr4GQw$q zc4WxQ!b6y7)#FW|_pC<9T;w5Q=5&?wp(o6UYK==TJ1Pcdov^(jI@jo2Y`pkRh!E$w zK;_)828h1_$bhzW0RZp(yF$V*rf(b5-$z*t4YTn_sSCaD#>BKrQb=_i@(Br1I!c-L zo&Zgc9XSc3@KCr^`PO>@;g2nGeiheTAi54p+FUk5M3diAB}9Ht&r~_b^|hXX?M`0s`(kL2-p%dRco8)RkQpYm!x2W6lOqOs+!zMNFFQMH!MU`va&cE7(tC{yFxKU1>ld0MEDjBIH`;BaRwP*$pxrjzRG6f=wb(CDqcGk zU(Sy29~=Y|snk*q8bwpd zYBeDd2a=fV1n_&vlpoYG!6QSF>mq4`cVxGfmYyIVmYl-!FZC@MO9Q#9oVEmJ}@< zFyG8<&VB}cp~|zyCg>Z36)tDWmd0Iyi$jUI1ovWcjaK&d8+9_h>cSRGNnL(yY)C6Q;v-6dYgrEbmH>xO zO)D)erKy=LVrx+j-Vf%Lb5Gl4)p^LX{Frheh9+^@!|*5$M@9SocfX%{f?*63U3C5H z?9X4m$m~gc>j4R$*il|7&yCrQfq6;2ohFL-lwFd`gELyQHVT9Tvey1+?Bp>C29H6xktMa zjxZ53Ytr!#^a~VX_Z%*c-lb>xT&M&#O|c-#p4C+Y$#0|;{6~|?@D#F+sqjFDg;vV1eMxPpN8YE^R;-KxV;(VXnTbDGx>F&b)@Q8od2#Xa*t4-T)v^J^Vh&Eb z#PFKKD{C+kJNOYrJ-{IOrc%F`YJJF6dC?!Jmj2$N+F0%GcRhW5T02MqVDxEg*>o># z7w~@BcSbP#IAVQ;+F`H%vhO-%&uN`9Q~1Bq;KLP)zKNA$8NR#xPI=y~h57Z{JFMM% z%9AnlAmSDH6TwwQFo2mdSAZ zkH=Ht9l6t|+jdNVIh?3=Z)T14#EArW6$Er6#0tgKH|tM18kpfXdGFohG>iFOPh-^!(-ASii_(dj?525%WOB@)&xuBp&wKPiRx5FZ6Os(ji zIdA%Vo(qnb0n{N4wW_MBcu5Mw=Qzs6_C2MMxBdP3Xm2>GkFw0Z_Bxdt3`2_ut(0hd z5}jc_4*E_!19#G|K$oXH3P5m%DdiOv1*s1b6EBq`0$w{zv!}9j&@>ep$;qwq-vEa% z`fv5L=h9Sib4(ZLab(0koDx%Wx0M}4F!^sPdAidxGOG3WpiS@J15Yj>Q4U~8y3fWB z&n>&P%UySId8UtyMsJNp7H^vm#kjEHTWWr}kSGm+^4RDb8rtyNsCila3i5S~M|u-I zvhRG9Q4>9umzSq8l-K*@BC8<}1RIQv9b#k*^!1q=gT1{gcZdGKn6>R6K(6?TjoX)R{6XO{^NG%)ji>=Qk+94gN_sRMh*FH4Az)S)MDeOkL!Cx?`N>Wo`FtArWA?-w+ z#)icg)V5Y?5^BZZ?tK~}oG`xTs`I)870YvVp}m4(He zz7$AN3us%a9HL{FEG;=t%TkcB&Is`?C=MfW6ZG*99&{Ef!Z8oOFGA+p!$a`!e}8r) zg6p^Xi>zoHTg8jnu + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/docs/graph/images/bcc-counterexample.png b/docs/graph/images/bcc-counterexample.png deleted file mode 100644 index 4e15070d168597e44c7a151ae9b0c18d8eb830fc..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 10174 zcmb_?1yCH#`{rQ5VQ~#?Ah<3b+!CAwk^mvW-6aHAToPDZ0)a(8Jh%l3iv}mS`vwV; z02>y9%PrsUe^+&Pbyas&w^ds+{XDOA_uD;S+!VF37L4gk{W z06^!S)uJbhA+RmA)Kr1n$b{hzOo`B4{nc9lxF31<$4dBlXoCUqy)<+l7x%NF<}YUc_CLiYd}sjyX#h&Kf_f>6CY>!>&y*@-Hggc*#V7&;n%CQ|Csq*-j?6a>TU%eZ6iIj|9gKD34pwq9O#xB9PYbBekJ zpRW3}2Ro!Ut(*@BZs+*Znm{XZ-Ge>L{MduJ|f^IQ8ex&9zfJDwJ5m?U zedfhZBJmWWfn#lnv15!W9l#qC@ah>6*@_Rtm)R@%)afI5Y|0&fWy)myb}~rS(V(vh zdv~XwW3Q8yEfR2ID{zq8Fj61c{|e$ns46nh_CxslpW^~PD-C(d*QS4l( zBhG8wOJ_$)z7$1BdaX*|p-qv!=B&Cd>W5tsze&8;z3(s|GpdsH=VLSaK`#)sSVd3?k=r=dJ@H_Xeg2*!*@>Tow4W{U`?Q#N)XOrhC2ntWh3~6(f_#j1% zl)D-TjBGzeeA}epJEI`}S4N-R2Q?-hNW%Kh)sug{z34Ne%GkB~QhK3u^sj_oj4LIb zgppL4#j|a_$Cdv&`>Y&1TJ(wRbv~Rqv z(tcxQ$=o$VcKI8mZS*Ty;bJ%CR4PmrWafHC?Xq0X2VP~X>9XDFRCotAIn@7Dk@R6% z;QF`iU(8&TE7u2nF76O6``3u0#Wt00t;gQxs1+T>ospR@qxk%9Yp}C)@4|Rdluh0| z)K|+VlaQ_WFVLG!Ze+DFpD}6`^B)81+eb4?QjJwd^LckQ(VZzdI?r%nUYdqFo88sF zWN0s-os6m9+lwVr17kv0G+z~5=A8I3j++9;OD=J(&VjA>bB-J?KpFbEPDz*eQ3gdS zXkQ$|zvsS)An|;ldWZ=u=0Ws0XZRZey-^~DO=Vc!*#MYMC1p@+skeiZ25?pDCkZCU=327RhC;{liQQbViZlTJDf~_AmN;z~ZULE92c* z63UuT247eumcQOzi?eu=?>!;%y}+Kmgy~K9nGox2?&ToFl#zF4?MU z#f~J-iWWZ@k-Jd>XXvG}hhHUMBelX(q}n`RyYm{ zR}{;OdlXNCzB+xe?ta_QXD4(0wy#BOIBTZJVymK%RCH-fEk}|H=Fsr-S?0a3RiUWz z?ll>967o+Th9y)rTEuIEHhfOMGNdzpIU0P@VM!TRPG{oNnV)d_Lxv5BbBydyC~ydu z#fiMZc`O_&H$NpzsbaczYo1qnA%)}VAAO#iaFeX4UAod6#qKZ*Hd~IoJ^hD~L#jeX z!S$(i!dfnysE((Us37mbQTLfbz!4Cdu8gm%DU!}f>e=mC_Y5z1U8~Q>`GlQNp}$Oz zQqzR(jojx{EZpeDw|BieutPmvev}Vd;;&>L3r3~{GHXg z0CPdPG)9>E>-z-#QC1iF&FUXSegh?*Z=3&8ZyW^*IrN71K_Bx7^Jk=eA)Sk{_g*cd zfDO7Fq5eRAoj-kj@4UnRsN;U4jxAZ*vAC=$vcu=Jb~bu4wvatp&v?S*tY80XdIi^V zvH}0%Ml`3+A+dV@L-o=9Ny~Y!@WVshg^XYIGT*s=a>S~w7NTFQbrJvhm_P~B@RB4O zXIr{=9Al<+iZtV9UkcKX+CeEYe56 z1i=;UJpKB1h~q3;#v_55p5-dkLz?-hc5ZHII>F4@^1Y&U?9BZS1{1f-(hhjZM(9)$ z<{;t8fwi#!n7S`%_AN4s0_M!>SBZ~k7HFc^V6K1aOVaSTEiSL^=3#1uD$drn@s5)7 z6C63@OvtRl8lAs>_z&j3msFu|uRMcq7^=?|=arm0fRVRp&y`sFE#%*IjNj3_kp7N8 z705N4TWVL345!u3cE_^(*9WBm%UB+e*lJFZ<+13d#r>-m_}B*q)$S_0Euzz>w*)~Q zNJr|_?lVU=!waXezN&4*gTIb2B{5vT>xG!3w2kvIXUdP=&5mqstf&4HAb5|^DynTf z%wAY82sJ{pwMH}QN(;JEXID7BB_mt6taW!%SGr;k!s|E*{d+`4)Ni3Io}^f2fAAQ8 zE9qSx?jghR@%21HGWh{c$Mh^+<+~lv73Bkcorm=7G*jc6Cy}5YI*98ZX`%a<%4BWxS~Q7gCjLha>dIh*+zML?2&`_1zDi<2alo(blyKwyb$Pw?Yh%cF4fgKgf?eX5X#NT~AP6bg?U7cIi){bsNB_k3TkZ^egqs0^morx1#fJ{6Fd6pI&eWQJmtLConm7WX9LS@DCUA zfIl*?4NprlV4{Jr$JLtIoRmRKKy2g6ClY!C3;Z4$z&#l;b}o6v=}P=9hABHtQdmcn zeBCWK=wi3zw%xbOClU)-cKkgV^peV>*pUP)eVu>#GbhfE{N@gA-~5%?@^eQ3FqG+* zMRw16cIi-7W0&)!MEQ?gZ!dj)$6Ahw*zqbpXx+Z5nFbiXS=JAmPr(7)Gh@cih-|&g zSYFgbq{9N@r3-Hkm_%ft)58Uf+7M&; zwS0Vb^mD?UYcR9#=BqOdv>?uYw6>^w8`aTM+(SR$w#@#bqCp$hzP zP!}6b4Hm2@!~FaLN9vZ;umKX?^Jq{xreEK2ZiU-b)p^@jD0JrOMS|P2jSha=WRjz4 z8zm4mCOt{3Z!H(8GXxvle*DoX)#Wi3r%;R5d3-zNG)vZo3*`6^tdCJf-uU?^)H2|V zJyqb|Qb+X-qz{*9ho--?8&adF&VaE$=CoA(!>Og#4gdvK@rtpe_nLhP4IzqEl`u;c zL{suTJ+&5=@43fDpBQ^8Zo<_}uZ@PXxE^4}t-h$=*J%E~R+I7gA^mZ|=ij+#l>!)m zoABG$u2Wde#5yMhxCa!*KK#i$U+P2CXH=Q1cH*1P#cxOfKPGQ4vw@v!^GFU*2l+E| zDN7&PP6r8=AGq3cs}IoXsBZ)fIehoCHKy;9feHuKXXGbpN(kVb$2N-5frBGyKmp1iu1{@(>}5ugQ|Nt&P7m z-dEk_Tl;~bk;k{08~{j!t~UwMV*!cR!L!air2x(bv*LtuNY`v@h+eGL!QZ+w_G<=O zvVEJYnZ_5fViECkG-7_$74E38NUOR^t)(0V~-7n_kUeC1m4fiB`-}?Fbnn=cy>1nx{%Tt$<*bc^WZkAr3F8d z!+aS!LsZ{hQHMAam-?J;n2e>_6e{#ys646`?kjtuUrC~4k7=`JJk1h@fwvhHNtg!;yF=4@%56R?xGy6!GyA2F@I2L& z_2SwEfxx%rjjoD5!IV3pcWU`HBgQKIvAMDEN zw1~j$b3BUt8m-XvBaTzPo$@Vp`8VbDk7oj7wdlhgY}yx-(T~s(OU&YFBFE-cw1pToW1XTb;D!F$p>aso*ahG z)osQMI&FHNzM1O(L!%XBWu!Rm`eozvskrDXz{4cR24$S%<+d$y&;;qQsyG}*LM^b8 z9t$;MBp{-2d=LLnQj~G1HQy)NYr_}w=4+qt1xB`f78iTSBHJC0?6`yvioueeyFlmq zh8h;$SP1=ajk1Pxy4oXae{2m~GpahRHoVbjbK3ZO8r$$pP$&2{B?7-^z~0b~vmR`G zT;;-@Jc%$UN2M88+BUyIzFJ{m1lbw!XeI{PiV)`8pcW&T8QPruepjy<6mVNz{Hl@V zXI>vpao{wT*&nv1>`C;UJN8tm7hru?05eNU&tupx5 zn`(k7$v`H#{{=T3#MI=x%im?m`t{6x=VsWNsHX;FXt|q5B0hT=x|jbffSIZV3aaaEm zxMEM=dmPZAP8~54M!H|-n6vP#Ft-&PJQtkJ;@ST(=&Sl1ZEc&+Fu@%?F2VlPma~o` zE2=GkrVX>eT1BmR91oer6f~041y>crdJ&egxS*0#(7^l3mMF zgfu1zJ@mPUCZWQj=X$Jq@+jjsYH-XB%%ucBpT;8E){&p&VT*z&)Bs}Oh%$a1klVdh z-{MsVr$G*GvFv@6G9ku-9gJzuI@!PeTct6dC+KZ5w`%(FyTR!&FlKICzq-+tc?v(R%6538QG11z5aaOs#)_4>=!{y;01a3Rq!vq!Zcwb=4N1;6%(r3)4DVnUG zu4kOIljb5Db^F^QmydjXHP3tjg}ff#EDR4cMr8yrH)i*uZr)#Cu=;#@I;8cFu$w-# z4wk>t|K}+);o5}v-EDP`D^R*+#szifuC{oS+>cl4NZoe=pvrhC5kYT`gx zK@<;p{J~WXIOdds6Jw=8Z15S_{kbA z*Z7+JXV3E9mcc+t`1E%KGC{YhLsUc2I(Y4r-%Dzq&_yrLK=#T;L!|dG5-s?EC!G7;~!MU+^&C1rx z;6Ejg0?0oSsPebqls~?|v~(tLayuSA#h2=H3y~D}bF#R2m+76s63r>d#@)tpk9PF=mRTyUtgw=q^gav$SX~({u7-y+RLbg z*Gj3FFG^=`v#3(ZRV6;Sc?EJTj|Yj2Cm1skLwE0OT# z;Pe|X9WmOo>Y%sQx3ffRDANb|{y}@Ng?{+JEYT;EuXy)i3df{GuZ|8H%FhFDQ#8of z5UFakuyGdjclPsf(@m@II2uO>!TqRSVNDhI0h9NC)6jOiB8= z5!w>^im)y`$F9)h)L3ov7U&px4L1fi#!ct$eF1M3aL+zx(qr8;0#c>mV(CW3Ftl-1) zj8c5dOM8~j%zvTQx!swJb1jC z&qK&o>|p1DKB~L@snjQ|Lr|{0*Xm!% zM-XmZmuQH5Z!k!v?|ixS#U&Q&d}uCA><9+;sSZp-&gf(ef$I|dFEdr&FRZm8slU@w ziJ)#MmhoL|G{a$o`|V;vy>$%?sri+=&itxG zi~|c27jo$ln3_^`u@KZ>y|!xhb+o~}i>p%$Yzep`{5OGmJ%2=o)zY)79=9-&yM= z@4+}fL7}vsJJ@fj^*E;cOwvD<6C{* z(Y93-`~-hpA-xqXgbIQ@F%}cWo~Ya^68Z~5TogH+W2SsE%+yzxN&zd*NNY3{$}%vP zEqrR5`=GaIiq?ROkk~hY%eqUOv*~IOQN1nd))y12XwC0(G`Wb5Iver2kl_5p^)MrF z^jgu~McWe;IEYBd>a9Km*g+iz(OX3VG#jE|xJaKNz2zd4FN#D85vL)t{eH#cz_Z^Sb>$GKPW^D!q?8);Qt)s~S z65$etB!zXK#*9)np`!zKI~B#iC-3oVG2FgYS4BMLgawuMeQ3JR?OQK$2VBdr^~|&? zK6RrsZJyUJpCgwi-k8;wIcxgxr7vi6KtK5;JQj|pDzdIq1ow#xnNV#@G0XeEy&^YU zlJ)ncBr9>$4BdITdVMdac*c#G9fT0vtbvwx+cxFEN0ABKV% zLeupHS`u1ny1wa=wk$P$eyK+}^>ZbY5WFfAcDwfI3AotcLt7nrE0O1id~oq7LXt*t zIn>4rWr=IaxLe*bF)M4E(T;jk#tSP&AB^CEtb8{LF|G5Yp#^T$(0}T=0$wcTk6OW) zBm>XB^TNUGUZ}gdDlGqUlaP>|&p!*|hOV}K0MRt8UE$)>3m)7f2+a2B5FGOaJPxF>A#KOJ^fnUlGfmdTe596dR)Wr;7}6p`jN#bU-}Mw_b*s2ZQ0*Do|iUez@lok+9rb4 zBgQ_&t+Lw2i`8SzuE~SBW5eqC;`r%#t9J$l+f++=K71$tX(k!|I_9 zWG|W~1{eFP@)Vf@kjM7lx$%N)QtH_XsKqQWYvCt6&7TWeZ5fLG$&BHZ8{o#ff9p8i zzEBddpXtlfOjGtmyyo|d>U*ESc;PD4xhsTfrWl1@(;;;pm$w`ZOwkKkilT`A>Z2`H;Q z!fuW7vHfMUCB&>SU^za~L;Vq75UI+ zuTU8y^f`>00K?5B9%J?3=JO`YhNLULP#3|+=tT?U*^pwm|En`#$tf4XzvQ-BpUb7X zVa~I0cs(}qvbONDk+$-*!CU|lVThCfL|6bK{sJN