diff --git a/parallel-tree.pdf b/parallel-tree.pdf new file mode 100644 index 0000000000000000000000000000000000000000..629159353dcb11ef71da7cb4eea8e7699c027b9b GIT binary patch literal 11951 zcma)i1z23W);8`?DDDHreFmqvySF$L8Qcfg;>Fz^io08ZqJ=_ncZyq)Qlvop4ejZ7 z?!D*!&-ZUOvv*cjva*vr$-D9{T2)DDRv;TE8g2j1#m-U5*Sv}TK{PG^2f)F^8ck3T zz^(|kw{Wopa6?7v0Cs6BTNki1^l5AC0+s}uI+%e0!op|}7iX}s9hwJhk(N>vwDpg&dRFdF!H01z!j@R!eC4{Z!@w=v!2_!%%$L7V=YuoWstA zk=bL85oLK~9L!+Bu;Ut$pPs=a+Ldf?UeC-JeBn;qUofb|*_W){tTc!iJr8fNo{Y-|)skp9M7eJ3x`|iv6 zugB)%sN*Px6rjqv0&6yU6v!Uat^l4rSp=^atwBjnDg#f&o9kY!qm7%ANROnxcY8S| z-v$)vdaAtMwvr&=mr=}czfr!C|9I8FWX_J#sZNl7g%UE6Xl4+TKrTG766O=J_*r=* zEmK;BJPrJgrKl}PD5)-AQ9%lh^%DWt8@YyLnsG}*imA%EwCkBC5dzIe=RG>Hv7Tcw$$EU3_{srQ6~;N^|2U zl!Ze^6?!}vCcv|Nf1%Eq0y9Pl-_BFd4w@d!*t>I; z!feRU3z5-8yfa~eo~o2V0?q}3bUr-<@e^trc>*hKT=+ygyfg9fyiQp*lQIY4H)d90 zc>=0@nT~NXg+xfjS;yMM@KaV%R6e2E;vbjE0VedQul3B?9*|HPj~FyHeW}YnaWk>uvNnEhO4od?apl%OH_2Bfn>jI$p`q7hc?XkdG@zZOvF+vB?XxY#~Eft;LN zkGYTUpnqADH9Z}{0CrVli(kLaV0#w;=kN7d9Sm`Bbv6Y<06f115)Sq*(0mBsaZQIV z;7VXKD`Rm74}cyARKUf<3jpzO7@$Gd@W1Rlmix2zt2#TFYJgn;dQfAM(g1c%u!jr4 z0KhKcVC&$l;b?3M20U&N5)dGO_gD48!qBY&YVns?Qxgc_dlW-!f7~SgGQj^Y2L9Sy zfRAl~HclD(8SG+@JB&SadjYUZg59i4!Rj*N|M$j|o#L*ku}Ba$-pSiJ@st`sdr9Jj z3YdB>i;tidF85j$E;N|VO%hQW4~OxkndW;~nJ{WoDLnL`K$CgY3vAWF9yLj+oz*BC z)YB^NuWK0(A9U6i_gdx`Elz#s+hJ7i0}*;%v|(R!LFPshZsxvIC_TMYcCg{<3)^e6j%Ai^RXWJrPycvoUI`i`7&NI_9zj1k!X3CI zjfMeY&`*Sqm&uHvP#}mPAGM&8daJ+2_Nru;xnnpjm2NwqL}!fn9am0Nhw54e?Pg&V zLcV?)?S@664>Gt@Q!WE$=bB-9`X);eh669%XmpP*-!>d1g-84)`~nUJC8?kPoikSC zEx%b_7DWoJldxe45qH{*d|i^9GGu6CiU^pVH5j*9#G-O^)@_d~**ghfu4r^K$s4+o zU%)ilA&Ks6R;ru=U@j108rQPEQiR$XCiH*Cphu59KDLFx=Gw3^@AKZ}20DD~4&}d2 zANg|k@_8|#NWe2Wd`_^`PH{=Gg5>BZ23G30*~2yV&#m|TR-cCZSh8~86P}0czfjvx zLJbbL>Lksqw-Sj8op+_e6%eKL@bTxwU4dGX9l|vqK5Q33-22W!z;sxh> zq=yYe8|r#zSruOci3NH6*!xb2t{-8)sVGLRv3rFPYvxQ_z(QQO9&FnK_cRXKB@c}& zfQ zCy3ro(3KJ~1(oMZs0v*^b0KL*F$nsehdcq`LVAGp4aP}>n>NN=fN6fcSo@p|MW%OT zL(&633z_i!@}_(%fiPA}FX1NX84OE^QEwuO=nxA0q_j2)>A9qMoHh+C4wX$j^;@_y zsf;+Rx1?>+vhhya@JM0##%V+ZgTz~5I#HV@FOBC+ICYMAu1`I4oc$ z<4mL@YN%38lM67SeUc!en#4edry@@#CBCT4FW)BWDe5Uvq>fo?Kciiq)}F1a(kbaH z@5?Te$eH>zb!)gPu_E3k`6$(!RwZdZ)jidSEtlSi%3uCR@qH_tT90UtMnGZh%Y5n0 z#$KTiIjM|-WRo{087AQ-L7%w?)M(!&1SGUPRVfoasGXuMq9PHWF7ljeZB%L$SOPC` zkjwDCy_-%v7`UX|@4Q3>(}MMO7}+3a$=a+MhlYdULV>qYCkS+kCeEo^1F?5j0-nSpOwc~OfnVf z7Cs;3Gi`Q?I2Yd1qpJn+oU zvEtR;rm8a5b+_&l-{%Td z-$#|^qxanU?fO?2gccuK@0gz`Jc*Zy{E$?VxJNRMZulm(Mk`*crX}IpUh7~p@05V5gvRni@Mw!ZN2^KeICHIb5(=@aH8eAVdDVf@D5N;}0Er&0+1*am`wBcHBbP=#!mK2v%$jDhXS@y{)xbdcO zTAbE6qL$f!Q;5Eky^pJqL!$ko)$ErSxCNq<@rn!(9rKQ~m>-JYWTR*@X@hjo8?5Ws zEM&mBAJs;2b}zRxw(UpAhrbTr`Ei?bySrL+x%~*e@8SMpgH;tWSFOL?rtEIe)4utw z>nPR^U?;nHHX=O|4JKW;k64>g%TufEdS%&gx;rS|Ca$*G$vUQoWjkPtZ+o(8-cV(| zoJwst`OReHbHryA+LeT(bsb-=+ttyl;FHdxtD-yi4L20`mDPjxuiEJ*I);lA)f)y? zJEIo`7cCuH$6YUt^_*Tkv5GZ|Z3LCpcgojT%gmM>zC8>eiOtyUJoIik$zJ-fJm0-; z=RXY_4L^V^Oo2!C&VT4y)uu|!ZoqhDv$AjesNk@@+rr<-U-CruJbqjzM5gFNZ>;O= z^OL!t?0de@OnC%e2kn`B=e`wWzHj%loI{iqL`Y z+QTGr*%L#NQ7^s+%Lmirtpa*96{ehWk*bH;n|brH&dcMx`B&o&Z!BU%TP4_kCg0Ym z^dXLyjWbI(N*~Hp$&5$cMy-0)T@IX$M5Rt|g>*CiXueLKtjP6qzw5Lx8SX!`nLJ7t zkzXtA;{QH(Ww&Rxzdh}4by{2!u~yL~aux89e`k96A^zZ4)k(L_b(Xw3v2TLL4V-tBd~pxK{2qLgoL;;1Z)O)gs|!WgFh;d*!vG;{u`P@ z{$F7G5kI>^F)|Rqu3%*bfuie2Y!9vPUqCVt_>Vdzj9rXv9V~w1e#l>d|8H3Rh_wH` z5x;;qyN0WY%P)69)7cgLyLFEr@jFvmOI$}mfmzea4h&&ccd#?I|Bc@z!4OktD@PXx zXEfmN#<5G;Ll1kb?4kCRj7@*3{woPAzmNG`&{qA{`}^%rIbL2qw8z%`Tj&4N z*Lv)(zdPl3Cn+1-L4B0}+J&~p7SIs_{nitQx?5;^tRN0f04o=W4*=wa+5>`kK~PUh z4mze*regLMwqR%z*~K8HkIoz~H}w6{++%_j^q7(`c9aEMSy;ND@$m8h*fm_hb}s=y z4yXz3-*Tug2c1xla@k*_pk(avtLvfWK+ufG4}c!tfk6P^Z&&f}ne$8VXX^a%$o_H{ ze-Mw zJimz5ztks`-ujj=Q1#pJjhK|Q6VlJZw}?OnfQl0ta+dM#L1`49z~{X(U(T;cX~adt z%h$ym`;boVqbi-#9M^HEUpBVpe(HO*$gk6~>kXe5_(?QqqNV;?AdX_ysLr$0;Xy#p znxzGXqb;&p?;VKyWeCi|Nu-vob`nVmCBjAsEqv!g8Bo8MrxpRW3|RJ_$A9>v>wL*z zJMO~EN}}V;_a*DGrXwHMj_7aty!o1|4h{I@3R;p)GW}OKmR!r~z6mzxAI)JXP9(Cy zEHX2$yx{H;eo`TZ)FBFsXIZC+v>_~^i-baOpmRS_xr>-Ffmo2JuthmPn!IFmsqFh~ z5^`Yg*HVuF8!>We!W@JUc%y|Y6i(rHjUUCOBH5omN*)H+lBafGpJ*u{w|YQ*;Yg2j z=y}1NkSgD#RNkbHxotxg{W|)1dq|o1*7U(eKI!}kUi3F7`6M3c1nj;wg(R|*CQ9$S zI+>onq??FNCA1$vzjdaQza6 zLUpp)%~DO0+qldpGQw77McajvZ0|&c>FnNa@kf8#nYBK`nUY_6MWrpbxZiv*XSxln zg;n{IbeM_Q6z#u0m|J)5zI3C+^Mj}ja|x$YygWS5esA4sk97IA-L0!V+dp10R9td8 zuq#ePcjyE9E%eSryZsjOt_0g6RusK}GWF0KK@a_BD!~s6*82z6`#FLip#*+v=nf8> zgt|9A=(%>ATV`8SpA0gxNmO55Zz%t$&PM5Q%p0|+icJ&|*=uQ6fSco61TN_We!7-< zp4&V}Iz+%=g5o!6&LEDcJ*p-YaCGj3IXiyS+BjrFAGs zj&^I0%MyAMNEi7zI7%0Hc?*x<>|tr%xN|?66Qykx>$=Cn&n__)K0 z@JntCMpeScTKRQ8hBj{-8JyP{+M zNg_q^OxuEWm%y>1m8m*`c}G7hab(AtuT#*VI=NzpsZE_Nb!0n=?BQi~EWHT!%4$H=g+UOuTrFeO;%76_RJ}X4N&EvqkfVfl8aFrCv0zR2Ci#RFrMC zjz+5&H25dA+ZN<@CG|{`Iqkl-V1_Y+B&F~L6}VZ46U^QK#0{O(5#n_T{L^?fWt}5{N@6I z%mNQcE908=k^)C)9)}`8D1NLuUZ_{p!=;*o_p@ja#e&<1!y#Uelh$6FZ{+JeM_5jE zv(zoXox#^`RT3t!KVyMW zksxFH%%26%JrPo|g7t((<-Oqz1{)2foFA6oLIj=zt^X6@QA_&|owi8y)omEn&nT=7 zE?$;O`Ca#+p9v2u&IQ6U0T7I}F%(|WRtD-}yW_0|wxI4l-w06Oo<@Ld@U)VC2_m{r z(jJc94vV60qiMr1FGLt|Tr;@gF4@$$!JUjx9kP*AxOfE$e@D)NNUCIrsYfLewjmo>3y7Hu^SB|AyqB?{|)I9!Z$Q-0- zSV*#u5o%gO>mbdzQ+i6mGOhNbiQz!GmC*GDK`>|s|HgghT_9hnmo=wr&fFv%XOKbe zO43TMV9GtMZZIPEVK@GWrZ)0?pW8yfI)socFm;o>ahB3J%TZDxilI-;ImJf|wx}?| zu_<>t=#rx|7uNg%_7#&}w+n5AW?K!J^A(+BKBa4? z{zWYEE0L)8#xtvWj!0v@d^ECbeiryvfcXT{q1a(m=ZO1|0tQyFRF2e4)l8puj7CXm zizR2a1mP6;(#MPNf#U%I!n-_PZGLJjV`k*IjO!czqyKxqQuwpsxozL!T$DH05`k&Xz;`L>k3o|kP3rN|*~k#VgHk`UzH z%oJor(rU7s#uwE5a>|JF% zqg5N?v>8w(fXpE0%1 ztRti49(c;SH4eWnv@AOXvYO~VZ61(~WqoR++ik`-g?p70*9T{Y5m)PlI>cnEwkrLJGCWi8tl!9C&kfaSJS5@8{NWe z&Bf95!ta}#wjvDQ3@uManGD+cKE*};C?HpfMAzfEPNPXFtQKh0##L;2Og#6pP{^cG z!GYAbO5y!#PIwLk^OX%`-Vef!WSz0 zgh++htH(!$3{A>in`Cg2kAX={w2s_+fVP<~sa>uy({6!hWktl+rk+(Sh*P;ts{g&? zOjs^wgALFTls2Rx%^UEgLj(vpP`jlW}A4z#EeAUy9qA^OO+?q7NaGNq4EfI`t7&U4i? za*j00AvX9QsH|Z&Z>zQYmy>1+@8{aBJV=wh;53VtJ7m)OM?>A zjf4_*OXt`#A%hZ2U$v8yzq`5_z;?O0`Q9JZEX>v9L{4{iZcB=xyvz28)$dmX!0RH+ zj}wV&IA;`q1*JxsI$F7cCN2H6rOm!X;rgVkIrjQJ*oMDYzELu@QJkiR-&Dz~wqx19 z#x-aMqAbmi$jk9Q+d{LJ1BZV%BIsVGspP=-bMmJH!X@hGI?~fP&O!^rg>OmeT!Q4&<9Id03YrawIwaXz zSHVTK?W7<~0pH@uS2dD#t_MDlprr(;W4oK?^%xf%15Gz!( zII=#dT6xCI1%@N{km2tq+KQM-=%*bjeu&I{VP=K2s&X==KchdxSt(u2YnkOW$U0x> z8_uYZEu!by9p_TBz2b~Oxo{cDV!(n#tl$Eo{9Xy{BdyYH}WF1z%vUL|@Q1_+{jpH)bkI=PAhMr0^1#Vc@&w z%MNXwe888?KLeX>;3wq`oBJ+DdYoM7yWJWRI*|`-sD`?OVHxuAo`H+HH1^cwRw=u~ ztx0gd;a#W>0V>BGugP+Dqc9&}7`A(NcXcEXDX0Rs!hs)MJef*UTH- zcq}C!-rc2HN)oN>ocrbLYW_JyRV%D#Q(TrX=^b(t-n-c&^U%f`xGV0@bT6^JLyh)$ z`CPEFI}Xs_m0~)7}!~n5a1^dO^UY8j1#N;DNGCE7tEFpj}ZdU zCYdh1Kp47jA(O-sPF4orae)>Q1XUpPS&e7}q+3|O>xw>{owAjdQ%QMphWH}tlkudo z=>=wZzRq1SmaDRr+`I23A^CnSd$+9gr&O020=iTxro(sXZHIkmZr!vMty>xKT@B&x zpvsdrib-A+GDWhY?`MJ&qLM>8!e7A)pm}XY4r%PI7 zbb~*Mza5H~Ch-6_zzdjImkt=7gQLU!uS8_8DA9;Deas(z^kXzPjTX84e5>Vc$b<6? z!<8BK+^!0hraDD)Fx*!1V3nJvwrL`vNQUT;oOGlCS4BV`v&KmRfI~J2-Ict*=L=Dc zI(v01`aRr}ag{MeW|RS07N^FQGWS~akwAQpizbuN1u@ECF6_LV(qO6FjxIMfeX+zS zb$&NycjR16;q)s6f5~&mfZY1<)HU8|at`C2I`CzA`ZIP$W**&2FXkI=k^(EXYotIh zEeY+=rE}-{u%`{Y)x}aqqgS=CcAnDLSweI$X@t+fU1Zs3KE%NKNzFL&F`HMtaE7Qc zTs*I2iJyzGNheRx@9S*kLxfjEi1gJr3B`_lSBvX33g*M>w9&c}ZH~x7n4WDi(4Qu> zO&LgjYJFV+cJ7ID7!6T04OPfgKtr>_Z$*J^3av`q3#=B+WgawV1mU_!0!01RF8l&foHcAmZVR>Jj@leJfN~l9 zYU1aI@Z}4`UotR;B%~Pc7o+-OvNmXccLud~n298))q4rEen`qAac=C^d9r<@&IH1K$*sfNBzwq7pi z_H`}?*loW&JISG+(9|OkM^ttnvF0ty!{Ia)spCAZ)A8F5U zqBI!;ROIEpC+(_1Pykf)N*~z9R+Jq`O-m%X)i-|dAm&JD+$U-Fs{(inKa-*{B?i_X);ZNr5mVi~3aU)?6f#P`F;q?6* z0rrD0gDh2iOiL;mw5iJ0G>}qX!;tocJ4Qm?2N(i6y zrN_u3?9M@zef?p{hk7;9Ty2MXUv0YA>v<==qmAsFhu}Gfe;7K1J+EMb$E(bTi$32RwWXUm8ylg9lr;~}K1fFuF=;i9BgRVUhaJ95GUM%3DL{?3$U zi>~|SR@5tCUS>Ltl12tDxs_R57g)a8#zFD)S%ziISJU=9EcXR`_}bN|M)pR;5IRWy za0uyp{kRuN3M(cqPqY2Fb>W_Q$u}ei2vFJrslyf0kwk5WyYX zM8slvPjHn`EiD~>(QkKtRaIi@2tFJ^yEe-kbn6S7T=vF90+~>sPp!hs)oE{?Jzp7S6_wmTp#F z01z7|9~;Nt8h?l*21x-B2aubC2gC{F;^GH#>T+<kgO0<0$o`8SkcaypcDXotpyT?VWjX$7gOBeYdfY(J zf9e6Do$#N10F`k=*~x#i0hRIoQwD<4Q~#+4;`x_vb8$9?@