From e8b9db57cd6510329ccf2011dcf6266c1d7170e0 Mon Sep 17 00:00:00 2001 From: emv Date: Fri, 10 Mar 2017 15:13:48 +0300 Subject: [PATCH] 0028508: Make the CellsBuilder algorithm to work with multi-dimensional arguments 1. The CellsBuilder algorithm has been extended to work with multi-dimensional arguments. It has become possible not only simulate Boolean expressions, but also perform non-supported Boolean operations, like cutting face from solid, or fusing face with edge. 2. Test cases with multi-dimensional input shapes have been created. 3. Documentation has been updated. --- .../boolean_operations/boolean_operations.md | 217 ++++- .../images/cells_algorithm_001.png | Bin 0 -> 23227 bytes .../images/cells_algorithm_002.png | Bin 0 -> 884 bytes .../images/cells_algorithm_003.png | Bin 0 -> 1249 bytes .../images/cells_algorithm_004.png | Bin 0 -> 7514 bytes .../images/cells_algorithm_005.png | Bin 0 -> 22920 bytes .../images/cells_algorithm_006_1.png | Bin 0 -> 2458 bytes .../images/cells_algorithm_006_2.png | Bin 0 -> 1814 bytes .../images/cells_algorithm_007.png | Bin 0 -> 3074 bytes .../images/cells_algorithm_008.png | Bin 0 -> 17270 bytes src/BOPAlgo/BOPAlgo_CellsBuilder.cxx | 738 +++++++++++------- src/BOPAlgo/BOPAlgo_CellsBuilder.hxx | 289 ++++--- src/BOPTest/BOPTest_CellsCommands.cxx | 14 +- tests/boolean/cells_test/J1 | 49 ++ tests/boolean/cells_test/J2 | 51 ++ tests/boolean/cells_test/J3 | 120 +++ tests/boolean/cells_test/J4 | 49 ++ tests/boolean/cells_test/J5 | 50 ++ tests/boolean/cells_test/J6 | 50 ++ 19 files changed, 1201 insertions(+), 426 deletions(-) create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_001.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_002.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_003.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_004.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_005.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_006_1.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_006_2.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_007.png create mode 100644 dox/user_guides/boolean_operations/images/cells_algorithm_008.png create mode 100644 tests/boolean/cells_test/J1 create mode 100644 tests/boolean/cells_test/J2 create mode 100644 tests/boolean/cells_test/J3 create mode 100644 tests/boolean/cells_test/J4 create mode 100644 tests/boolean/cells_test/J5 create mode 100644 tests/boolean/cells_test/J6 diff --git a/dox/user_guides/boolean_operations/boolean_operations.md b/dox/user_guides/boolean_operations/boolean_operations.md index 0edfe0a945..6d5204ea21 100644 --- a/dox/user_guides/boolean_operations/boolean_operations.md +++ b/dox/user_guides/boolean_operations/boolean_operations.md @@ -2099,7 +2099,216 @@ Creating compartments on a ship defined by hull shell and a set of planes. The s -@section occt_algorithms_10 Algorithm Limitations +@section occt_algorithms_10c_Cells Cells Builder algorithm + +The Cells Builder algorithm has been designed as an extension of the General Fuse algorithm. The result of General Fuse algorithm is all split parts of the arguments. The Cells Builder algorithm provides means to specify uniquely any split part of the arguments, which are called Cells, to be taken or avoided in the result. +The possibility of selecting any Cell allows combining any possible result and gives the Cells Builder algorithm a very wide application - from building the result of any Boolean operation to building the result of any application-specific operation. +The algorithm builds the Cells only once, and then just reuses these Cells for combining the result. This gives the algorithm the performance advantage over the Booleans which are always rebuilding the splits to obtain the desirable result. +Thus, the Cells Builder algorithm can be especially useful for simulating Boolean expressions - sequence of Boolean operations on the same arguments. Instead of performing many Boolean operations it allows getting the final result in a single operation. +Usage of the Cells Builder will also be beneficial if you need to obtain a few results of different Boolean operations on the same arguments - Cut and Common for example. + +The Cells Builder algorithm also provides the possibility to remove any internal boundaries between splits of the same type, i.e. fuse any same-dimensional parts added into result and keep any other separate. +It is implemented through the Cells material approach - to remove boundary between two Cells, both of these Cells should be assigned with the same material ID. +But, if the same material ID has been assigned to the Cells of different dimension, the removal of the internal boundaries for that material will not be performed. Currently, such case is considered as limitation for the algorithm. + +The algorithm can also create containers from the connected Cells added into result - WIRES from Edges, SHELLS from Faces and COMPSOLIDS from Solids. + +@subsection occt_algorithms_10c_Cells_1 Usage + +The algorithm has been implemented in the *BOPAlgo_CellsBuilder* class. + +Cells Builder is a General Fuse based algorithm. Thus all the options of the General Fuse algorithm, such as parallel processing mode, fuzzy mode, safe processing mode, gluing mode and history support are also available in this algorithm. + +The requirements for the input shapes are the same as for General Fuse - each argument should be valid in terms of *BRepCheck_Analyzer* and *BOPAlgo_ArgumentAnalyzer*. + +The result of the algorithm is compound containing selected parts of the basic type (VERTEX, EDGE, FACE or SOLID). The default result is an empty compound. +It is possible to add any Cell by using the methods AddToRessult() and AddAllToResult(). It is also possible to remove any part from the result by using methods RemoveFromResult() and RemoveAllFromResult(). The method RemoveAllFromResult() is also suitable for clearing the result. + +Definition of the Cells that should be added/removed to/from the result is performed by the definition of the input shapes from which the parts should be taken (ShapesToTake) and shapes which parts should be avoided (ShapesToAvoid). +To be taken into result the part must be IN for all shapes from ShapesToTake and must be OUT of all shapes from ShapesToAvoid. + +To remove Internal boundaries it is necessary to set the same material to the Cells between which the boundaries should be removed and call the method RemoveInternalBoundaries(). +The material should not be equal to 0, as this is default material ID. The boundaries between Cells with this material ID will not be removed. The same Cell cannot be added with the different materials. +It is also possible to remove the boundaries during combining the result. To do this it is necessary to set the material for parts (not equal to 0) and set the flag bUpdate to TRUE. +If the same material ID has been set for the parts of different dimension, the removal of internal boundaries for this material will not be performed. + +It is possible to create typed Containers from the parts added into result by using method MakeContainers(). The type of the containers will depend on the type of the input shapes: WIRES for EDGE, SHELLS for FACES and COMPSOLIDS for SOLIDS. The result will be compound containing containers. + +#### API usage +Here is the example of the usage of the algorithm on the API level: +~~~~ +BOPAlgo_CellsBuilder aCBuilder; +BOPCol_ListOfShape aLS = …; // arguments +Standard_Boolean bRunParallel = Standard_False; /* parallel or single mode (the default value is FALSE)*/ +Standard_Real aTol = 0.0; /* fuzzy option (default value is 0)*/ +Standard_Boolean bSafeMode = Standard_False; /* protect or not the arguments from modification*/ +BOPAlgo_Glue aGlue = BOPAlgo_GlueOff; /* Glue option to speed up intersection of the arguments*/ +// +aCBuilder.SetArguments(aLS); +aCBuilder.SetRunParallel(bRunParallel); +aCBuilder.SetFuzzyValue(aTol); +aCBuilder.SetNonDestructive(bSafeMode); +aCBuilder.SetGlue(aGlue); +// +aCBuilder.Perform(); // build splits of all arguments (GF) +if (aCBuilder.ErrorStatus()) { // check error status + return; +} +// +// collecting of the cells into result +const TopoDS_Shape& anEmptyRes = aCBuilder.Shape(); // empty result, as nothing has been added yet +const TopoDS_Shape& anAllCells = aCBuilder.GetAllParts(); //all split parts +// +BOPCol_ListOfShape aLSToTake = ...; // parts of these arguments will be taken into result +BOPCol_ListOfShape aLSToAvoid = ...; // parts of these arguments will not be taken into result +// +Standard_Integer iMaterial = 1; // defines the material for the cells +Standard_Boolean bUpdate = Standard_False; // defines whether to update the result right now or not +// adding to result +aCBuilder.AddToResult(aLSToTake, aLSToAvoid, iMaterial, bUpdate); +aCBuilder.RemoveInternalBoundaries(); // removing of the boundaries +TopoDS_Shape aResult = aCBuilder.Shape(); // the result +// removing from result +aCBuilder.AddAllToResult(); +aCBuilder.RemoveFromResult(aLSToTake, aLSToAvoid); +aResult = aCBuilder.Shape(); // the result +~~~~ + +#### DRAW usage + +The following set of new commands has been implemented to run the algorithm in DRAW Test Harness: +~~~~ +bcbuild : Initialization of the Cells Builder. Use: bcbuild r +bcadd : Add parts to result. Use: bcadd r s1 (0,1) s2 (0,1) ... [-m material [-u]] +bcaddall : Add all parts to result. Use: bcaddall r [-m material [-u]] +bcremove : Remove parts from result. Use: bcremove r s1 (0,1) s2 (0,1) ... +bcremoveall : Remove all parts from result. Use: bcremoveall +bcremoveint : Remove internal boundaries. Use: bcremoveint r +bcmakecontainers : Make containers from the parts added to result. Use: bcmakecontainers r +~~~~ + +Here is the example of the usage of the algorithm on the DRAW level: +~~~~ +psphere s1 15 +psphere s2 15 +psphere s3 15 +ttranslate s1 0 0 10 +ttranslate s2 20 0 10 +ttranslate s3 10 0 0 +bclearobjects; bcleartools +baddobjects s1 s2 s3 +bfillds +# rx will contain all split parts +bcbuild rx +# add to result the part that is common for all three spheres +bcadd res s1 1 s2 1 s3 1 -m 1 +# add to result the part that is common only for first and third spheres +bcadd res s1 1 s2 0 s3 1 -m 1 +# remove internal boundaries +bcremoveint res +~~~~ + +@subsection occt_algorithms_10c_Cells_2 Examples + +The following simple example illustrates the possibilities of the algorithm - cylinder and a sphere intersected by a plane: +~~~~ +pcylinder c 10 30 +psphere s 15 +ttranslate s 0 0 30 +plane p 0 0 20 1 0 0 +mkface f p -25 30 -17 17 +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_001.png, "Arguments"} + +~~~~ +bclearobjects +bcleartools +baddobjects c s f +bfillds +bcbuild r +~~~~ + +#### 1. Common for all arguments + +~~~~ +bcremoveall +bcadd res c 1 s 1 f 1 +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_002.png, "The result of COMMON operation"} + +#### 2. Common between cylinder and face + +~~~~ +bcremoveall +bcadd res f 1 c 1 +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_003.png, "The result of COMMON operation between cylinder and face"} + +#### 3. Common between cylinder and sphere + +~~~~ +bcremoveall +bcadd res c 1 s 1 +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_004.png, "The result of COMMON operation between cylinder and sphere"} + +#### 4. Fuse of cylinder and sphere + +~~~~ +bcremoveall +bcadd res c 1 -m 1 +bcadd res s 1 -m 1 +bcremoveint res +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_005.png, "The result of FUSE operation between cylinder and sphere"} + +#### 5. Parts of the face inside solids - FUSE(COMMON(f, c), COMMON(f, s)) + +~~~~ +bcremoveall +bcadd res f 1 s 1 -m 1 +bcadd res f 1 c 1 -m 1 +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_006_1.png, "Parts of the face inside solids"} + +~~~~ +bcremoveint res +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_006_2.png, "Unified parts of the face inside solids"} + +#### 6. Part of the face outside solids + +~~~~ +bcremoveall +bcadd res f 1 c 0 s 0 +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_007.png, "Part of the face outside solids"} + +#### 7. Fuse operation (impossible using standard Boolean Fuse operation) + +~~~~ +bcremoveall +bcadd res c 1 -m 1 +bcadd res s 1 -m 1 +bcadd res f 1 c 0 s 0 +bcremoveint res +~~~~ + +@figure{/user_guides/boolean_operations/images/cells_algorithm_008.png, "Fuse operation"} + + +These examples may last forever. To define any new operation, it is just necessary to define which Cells should be taken and which should be avoided. + + +@section occt_algorithms_10 Algorithms Limitations The chapter describes the problems that are considered as Algorithm limitations. In most cases an Algorithm failure is caused by a combination of various factors, such as self-interfered arguments, inappropriate or ungrounded values of the argument tolerances, adverse mutual position of the arguments, tangency, etc. @@ -2396,7 +2605,7 @@ This example stresses not only the validity, but also the performance issue. The @subsection occt_algorithms_11a_2 Gluing Operation -The Gluing operation is the option of the Basic Operations, such as General Fuse, Partition, Boolean, Section, Maker Volume operations. +The Gluing operation is the option of the Basic Operations, such as General Fuse, Partition, Boolean, Section, Maker Volume and Cells building operations. It has been designed to speed up the computation of the interferences among arguments of the operations on special cases, in which the arguments may be overlapping but do not have real intersections between their sub-shapes. This option cannot be used on the shapes having real intersections, like intersection vertex between edges, or intersection vertex between edge and a face or intersection line between faces: @@ -2460,14 +2669,14 @@ Performance improvement in this case is also about 70 percent. @subsection occt_algorithms_11a_3 Safe processing mode -The safe processing mode is the advanced option in Boolean Operation component. This mode can be applied to all Basic operations such as General Fuse, Partition, Boolean, Section, Maker Volume. +The safe processing mode is the advanced option in Boolean Operation component. This mode can be applied to all Basic operations such as General Fuse, Partition, Boolean, Section, Maker Volume, Cells building. This option allows keeping the input arguments untouched. In other words, switching this option on prevents the input arguments from any modification such as tolerance increase, addition of the P-Curves on edges etc. The option might be very useful for implementation of the Undo/Redo mechanism in the applications and allows performing the operation many times without changing the inputs. By default the safe processing option is switched off for the algorithms. Enabling this option might slightly decrease the performance of the operation, because instead of the modification of some entitiy it will be necessary to create the copy of this entitiy and modify it. But this degradation should be very small because the copying is performed only in case of necessity. -The option is also availible in the Intersection algorithm - *BOPAlgo_PaveFiller*. Thus, if it is necessary to perform several different operations on the same arguemnts, it is possible to enable the safe processing mode in PaveFiller and prepare it only once and then use it in operations. It is enough to set the option to PaveFiller only and all algorithms taking this PaveFiller will also work in safe mode. +The option is also available in the Intersection algorithm - *BOPAlgo_PaveFiller*. Thus, if it is necessary to perform several different operations on the same arguments, it is possible to enable the safe processing mode in PaveFiller and prepare it only once and then use it in operations. It is enough to set the option to PaveFiller only and all algorithms taking this PaveFiller will also work in safe mode. @subsubsection occt_algorithms_11a_3_1 Usage diff --git a/dox/user_guides/boolean_operations/images/cells_algorithm_001.png b/dox/user_guides/boolean_operations/images/cells_algorithm_001.png new file mode 100644 index 0000000000000000000000000000000000000000..09780cb49cce55d2470a7e5a80149c7602e04d65 GIT binary patch literal 23227 zcmbq)_g_-)`#*>?Q!-aMaOF-da}V6B(lS@MOU`oBO=&qI@g35ih^$gb$4O!ViL|hPV7G>e#+d)Z4kGp){)ET~a-rqXtdt4sOWe^M5gj`I8eq(Cm9a>IYp4X#+F zoHJ==NruM9?>{RBcC?ch{{zA0$!2-$zp>c8GPou)dS=g;jZ3HA^}iFRWoSG${Ne^gmR{u}BPir#ppJdd)m}>Dqgh>W>3o`$+tRoY*$kA~|A?sr{ z#`4Yo2JM*)PznCeN{37Y;bYQ&XF76e?%DMJheA9Va!|c~cB-}8s9sF=f7ctzL^O}F z6YAOP*1OE`|9vHUe^0x-h3?PR6Q{UG7%nQ zf6gxY_{IS2eY|~!*rpH3pct)n21MF<6qFaEdM2_ru6NzmdU>XR$#ze>OyD;a6ZzZK zh)ZK&{FyFcF3qPKy}MMa{upF}+{xjYt`yt7k@t7jsK3v@J7U=SD=XkwI5$UryGpbr zbud%*_}imu=Cg>X{G&o>)b{SjsF}|4|LyV1 z0KsM?_6!8g*53#8yD6(pd8jT-JRdL$)vy5H0>e(V*T6haD50nO5qF{uRT&v$qK)VU z>4h!0*e;bXQGs+`P;cwfj(K+UXAmBLG&@N5g`wr?R6NOf4XlbF5qIMe30gD@dSHV7 zp?VP)fqDhBq_Cq;u+xoYfA*(VFIhPk{-33+TVQyLZ+Y-^g1=`>kkjovoAnf3B!DZ-j`u} z#Af)yPT&(thsK^71DJf_uYPbqh{<7_tiT@Cd0KG}$-n)TC@HH&{-=(C;C+Ulw<@#1Q;v8N7ZPeX@3hUo57WsiW}MC`!BjiWIJ0e|d`G?nh;c z?e2o_srn$iO?7g)DVO?#oT9tn-cB_Cgh=1&e-IIc9X}v9SF0uSfCt=f*lWT)!o$K} zgun5AcTgAhLc?B95N?gVGu2%}{8zMGOaZEYOv{6#j)-~iv?HURRA&(LnZvqHBL`7k zd{e0Jp90;ba;v#2pd?-e?;}?a!V^?M!js??kr9(%K;d)(9pWr)BJbz8i1cVqX}r*f zATNwEG9_`$an*#<&2&@app*?B@XY9AHzmE0;q;3)#dBB7do}C95uIka~uL zyra3p#j^uK_cW;dn&e2O@1=FNFpIO&jQ3bWi}kK{iTt|ot4p?I-wkm9 zFsxg;)ADrpSj%tiU+?czqsddFpYS0vIG_3WI(C3Dt&}08RKuK~>0^aiEyN&L+o%RZ8v zVHrQ&@i)%1+P3h>VeN8@0625?ljOU9?=qx?MZ*CZIc;$cp!$SX`la%%4ftp$iY)ix zWccIBa81WkCoHHPsevY~vl8@1`9~5r5wb_D>ry{}t#UuuMk_tj=`&c(@q(JjjvQ#b z@@?^1YK4pXHssh516$YF4R6G$s2(WQMf+`a&5Pem(;@Ex;orF^)dwdX6wWnx_!iuA zOOy~kHj7!D;u#XmC# z;o5eBw8igCTIN$<#f`-CO5WZzcWlfmx*;*Lk{>NCGIoonysy6C z(z?sLtdguE_Ca%t3MskS#MSe^ z={I>0E5ov6fhl4d84o^OxFN>?0z+l7O>wU(RG&C1R&zX7KMLRkg zOZhdVbNVqPh%y6Tv?tu~z{Z_kr~}8={%B(;{C*j%_Dm(ut=+X8u(mcx_2ImP!YdvN zPo-uf?C%KakQIPd+q9qTy_8Chof}xgO!kHcTUH@R19RTG1Y8))RGaQrEF_Kx{`Lsf zxO=Glj55oQL8THibK((a)c=?UI_x-%`SyjZtkKNbVCd8=yn}iqm5FpJJgzTRy+YsD z(%>YNUh!IZM&3NI{(BQRzcPEfFg*>Z+@o-%U;*|p|H{X~FCBbxT~OL_^k04zO5rZt z=@4E)*ik$^Ap@|*sH=aWRsNu84=>Z*waq7TqUv-i_hgZ(H&cSnuRM>_>+kRhrA{-Y zL19goK|Kn2HdD+gOUy@&SV;cqPG*!q9UW2jZjQFmT`l+)&7PJT&o?zM71@90+Hb|iS{DYJSryl`GRZXTq?G3V_}d?zv&n!V-q zY80ayu9}{eBQhQBxLy5M+bn_}C!wacaC_0IAk(b~1Y5 zYo<(S=1;C%=wT08dx<^B-jVlOHqXWwZ4LbR7ya(L|24T-*@p*&Q~XzWIC=opeL{ML zja=6x+~a_@8r_3T(X|Sz{hAvH;auVv93W!`LXhFKEjs~%a=QTr0Zw6A_D;&*^qmLn zK4pR0?G(O-w6S5TUQgm?Rh*4rM$VJ^TfWXl+5?&+qCew)>5<^)C@8yja-;?iKx0o2 zZ8Yj|Z$7^Eg)EgB&CD&Ai4bs0*_cFUcwb37U!P<gEyMqE1W5a>5Fs0 zl0+AABoeDAm|e%bCvUT0(vI-WRmr(F|0JPIkm^LRppAER0-1mHV=H60^luGp zD|YVA9Krh%`S-*p>_KLfO9};ypvNt9_o&AEqH}3KH5my}4lUPt%MjlBqOUSqoe*he0?nhcboujzf~B>TC*tEq&t(Tck21pdBU-Q8K8@Vs*uN3<#CRs&(qsY zl&9lQT)}*Bk{|iz-`3e0PH!Gq%;QGss*KPa7^!8O(GNY(;3wDbjci08z#{83G0J&G zON%ApOviU)91VBxHL?#z17+h1JnMY}S7Q1l2d@RSGX>O0y2mCdr8v{g?9O(TJwOj{ zKe~3;QUqUC@qKtSwJSw|n88~o(hQvKW|?w<;V(AyqM=sJ!4i2!@4zc-E(Xol`zq^l z(n&4UL1$-yTGZy>Kug%Z`)~F^fgi*t5AJ-tjZX7(Fdtl-J2si;X-*I(x?v%pwx@Q^ zPMpmrY_XlmJ~n>aLgI4VILj$b+|O*Vj@gy+*4oFHoE{KmYCed&k1@8+-M=+7^E`i6 zyW9lbR+BQ&ZU+N%PNV{fwE-G5B&n{gw2OQ4S^}9{2~YW2%obVtBwLSu9FOp+@*1Y6 zec3w{9q27LML#&MJo1wp?3G%b#nS)PL-WUOEgm>KSv8+rw|tT8O6p7>o0sZ~p3E;2 zFJG?t@WK1|b|4P7Y#bc%doo`|b}kP@o=LqLbMr&lqfTZFB3hz30sVSyQ~=?)y7t~@ zfgynBk#L`t1JSoeFFV+@NN8gE3TouyyXL;K~u$NGia)1dDXTO%>Hu&oys6RPRl3u&-eWtktnRzbVj!Gh)M&n<1N_$!CFoL{HOP2>UFz2&v@#sq#sCmr*0VED{X zam;`QE1jz5Ur}71?(FL{(%aw~s7nlAW$m0ZW;Nwjy%+!=6Xo=)Ai1jWZij;0Vr_pL z`?i}vFT(zrGU}YK9dtX{FLN`fMNx2K7EmC`WD!54O1=wZq1X2>WxHq+IG;41kiN7TZPdtp%Z2@X(pR3qG-F|;@-tQgyxy%{y{?qCCzulY zoq?OdJ5Nl4t2UuYW8ZIb*d*j1*w}DTAAG`O*kLhmiaZ%8W1YrANabHIbbH;9O;|`K z6}-9;ZA)YPue<=kNxqhlXaDZ;_f4!QU6~k=sAW~IQ5mbh+#sx!a38;{)Fi`7*yc8Q zG4B&%v|ZzQ9jTnj==oHCMl>SLWVd*o1p^^Gjcnw7*(~ zM&Lop(5`<>+Y2Sj?5tsj#Qokz{Ivlf?q?P#{K`ahmrPX^*d$n>XJWBT!chrzSNfM> z3K{nGr+L%^1bfGk>Gf6iO5@B(3$!+k(6e-XegAX(=6m14l7q34v7@t~DFIDb2mI@% zO%OC>-TymfdnuBL$Ac*ykG1N{Ft_$US2-%7JraHkRn{t5*Qi+RCL>h_<&u_S8ZK{$ zdWy}e4_@lw289tVP#-RptQ9QraGFrbxO2I~Q;o1Y@3!|^fnobzUe4%j_Z&ij2xH+# zA4!9;ynVf_lr1jUp~Uw4t=s9v>$e1uo*lx$BqPhL<5;Q5xx@yX> zwf~;`Ev>aW1Hk-N<_|v^TTA2;Pl?cI{*RWld7O5`C~xxsHKJ&ujPoXGpreZqlMu_O z{n0jt1NN<=oPEfS?Kf`vaLI{;)$a-C{9Ia^)0S+_Y^}$mKc&>~ve;aP#mK}tJt@`E z?opJ=jG523HyX_!y^%Dphfo&i7#7g{`QE=&6?VEgr1iuf57YvO@3pLfDK+lU=cN$} z%1|m^&iw!vMr8AX-*jkGhIOW6=Hp+}hBGF|s`0m-=&>A=9_O9wUB*kA#lnXwjQ1YD zy0Rt|aYNvNS;`i3C`X4#x=0aL;(a*Snh6u$9EsL?vTt%QJby&A#XEh8ZO_@%#Qj?< z(jqq%9bKYEd*HHp0gKq`d6A*Z=cp93XA+0I|`Z6hL z{^e^N6sK+eghfEAR#A2^0lV7F*aV=Ib`(zTI<5&3i#EX&Q&M+P?}y&|9K=9s)plc+ z?rHQ8|NS{STcY;B%4#gyowr9RLPN|^8mfiu3q<7#_b>(5n!L?gK3q3trNtaVTZrij zAL*jvy1Tz#Ki@Rm7AZ(a6nFZ{*-v-4olg3a`>!H}nm!LC$4VaAO?Tep5Wm2d9_7vp zOhy|VoA7u6eQ)M-68s)ASuk=;URt>_+~9S4r(krH8u`NxE8%*h>aSPxOLA~)i(FVu z45~GLFXX_VbSR!r%phyv96t;w8&Nce1x`Oa)}TGQ&+##1L#pwprtru6(oG)`ZO6 zZk97huQKs1P`&K6bZ@)HB&G?cTCxW1X%Iq-yb;m*CG@}%q{Q$J=!nn9goF0!|2nx- z+^Dnb)+i8J>~rML6QTzED&s$SZeov;)mU$mZ;V+~#g`NWu6%&;{>+xa#2yoz&JBvr zg_JzIGbpq7)@Y|-vvkKFcY*5v-3t@D&kX$2o-r6Q#Cte2}PAOFCU5)f-EnK7#OmmHRV7d@$R-mn~Eqsmb z-S~tdRv1ya@vL?*v20)!RIqULd+!ZSbr6`jwzBtT$KRE$L>vK9j>%oJr48IL(%8dF z2SjQ=eJS`gV*tJH`Fy7QatHuJ;H1O^&M?Fr_msk*nw@O_;K# z;c3nLVg=BlZ*CNkXAJCiI=HU-UPJ3wF~g}a=47#}E0(F{ygfQ{atQBn_XobdHF7Of z$rA6=H}4j_FwtQRZh%95f>AZ6&U$=(;WG26$--9R%87Eu>6qGK;${U?X~dC(GIhd$ zI>#>17vyAm7QJrPKZ3NxAzKH!+P{LRIm+a^=@oe*2^!kFv{gCN(nEO{+d7#}jhWfC zg_m!0vez0A0vlK%6k{m-RUHESB$LctvF!?D!bV>9JM2(L*{v1LAI-5$L$-S_wH7r* z99qNoHgyhih#N@Nk89D##J^f4#I~R!=DpB*|FK*9&{S}|ESfv^(6Ef8`mbWc&A6<3 z%6fG%4=jGov-PJOR4CoEocs5SJJ%ePz}Qpq#5Yiadeg`iM7w#U)aL~9_q7Fp<5vgi z;pkK9+U{`%tLAzHA@Vy}K%{kNhKIE7K?lYDi@25{>S*O`* z2JSbT!@qBSsuuqMdBPGv&(M)GZ&#E6QkSApjIB~}dZ-0H4(|(Iy`k&)BWPi7$xRKB zHke4#z;MshAL@I5W3r#wc!v1i%50r87ZryH)spDjxyw1#cdNen+uA}N#X7R;ET*h} z7OzM5kx9l05Q2P!k@NC<1@R;r%!$l*sPh)s-XU~Qz?D(BC6?4rPyAw?=F|b(e>K5U zUCw&EyCoM(PW0{*cvOTY9TF$p|FvkRCK2wLlf4!}eV~>V z>dJk+`TmGst)lkE(RmN;!wbou`UvvFF@Jfs-9IkIRG!RATTgKF42>8~a5#CZ_f0K+q21UKyy_HA2$?N9v#2I19cF2!aEiXnuF z;IM=5(Z`=+AEsfsuBeP$#bbGB6$hk9;z8TS_8 zpfGSaUynNiLo6e4KK{|&`#SxYO00Xu;xp})UDzurU`nb|*$c_~xgak@HQErO3%w@` zp8JiByLu7p7VF!!V-F7C>u_ln@iaS4wxs{u%lnh#J4{%X6*K&x`((!(hWdu>blb0; z@U51+_UabJo+J%Ex+UWckL_S@QKxG??H~j=Oow_m7Zvmh!!Z`0tIS3#%+2m_e{wiXM z++mc*BueMcyRs*mO0?uMMV#@$#hvo$$UiqOX(I|Mn;fg0nqF^)s)|oE(3meK4etB;kd&dji`$16b%fhwlnCAN=uJj7C8wEfKlbI-Pi!Pq_DWu#tq=)K_5;ihAvla z>IXgdLYEj?62`|&5aH89fV)h|C2Sn`*Kh9rBAa`Anz6A=)hhpcsWrT$3R{Q*Zcp-H z{N#-yZfZyGA&Q*5W#I>O5IgZmo~U*NP%>GB`Oen9xT_U^)89d30LP`eF^R z;CaUVyaj)mL4onFZuf4lAz-bonzACF&Y7?_yzp)-2l&St@-8UFDo zl=nAe2ON@)su`G&>@yE$2sjt4J+yW${T-KAsoJy(UDHKEk3PY7chOBW+QTiEq1`9U zd_W3OE$*ORQwuL3yit-kkr!j77_!-P70jBEq}@ zHY)|J*8!-HCs_u9#t+M?JsdL>7?gH!HXjyacIlcI9>P!q*qGr>V(lXRUjd~8c+h@B zwSax}{-%g`AL=@y08>cAA5av>zf>$ zg_|hWP1NC;lGQIoZdR;>^{Z+nc-X8Y(2Scm+~|l|%+?ht`T28v4Q&BU0v5`FrB0p* zexL%6ayn6(0!A|nrX38(j3fG!&}#Jx4kL0nf=H3)z&31Y`t?mJ3lID(r|UhMpRd)Lv5R!a3j z^#xMW>N5a7w{utttCJ-rNvRIOGLJORF&Zj7gf};L+4(nW09e^YfQFa3OnKi;G+pQz zf@mizG%8tVfFN49P-g=r$yi>rWL06#s=rdf!lz@YS7fuJ# zY&9sJ?0>YHj$cpQ$yK4S>G2Q}w~fO}HICFci4a1HrMQ66_4H&S8~HkYSW&{*kW}K( z#WD3-X5WH40zEEh&G}>?=1#V6K66^x4-IT-0U%YE6Dwh}wXOTZtMbn$A6vBlr>s#v z6$`o*S=kv}ae=TjH5l3YccXz?JH@@ByjcCV*=eneMlU}h;ft3A9ho@DQY2{g&=1aodY~IC&_6&zJB60yn2z4GSin&2EOPZ+?TLUpCbl%2*dcYubn*r%1QOd`zL4~f|iH#fYxJU&|&C|bZ5V? zW+uc_4sA|rOo4(IZs!{yZe;hW1+>o4s;q&qn||uxu(Z%DL{4OVcHpAhm*g3%iNWV_ zoLD1!Zm10QV`J980sUNgf^U@~!eZ(j`iU^2C~Y3~{oNr>HdHi0G$#chP84M@L|QmU z))b#|>ER2xTs$@D2;fWGPQGC=%^>oLHyRbOzsxlT|8-i;*Pj~1jnyZAlt*VA8lON2 zb}aijL6v~5kI}UF@*nl)v{rj0CvQ79S@J=lJ_Af{ED}xHl>-tdeLm}1xXl7S7Bc7P zb7RL}jStdeJM&Eu0#D$LM*th{e5D8ii5iI{Re~N3w5zLx7bqJ(&pipPjE}7_q7_dt z*c1-W=+rkB7FCsNkz;FTARjAYzk3AEp; z+I-B8HNqS|grX;KNTmr|w4_fuBsm=BeO5j^r-Mc^tyDbJXbCm^oCRQX ze1pzNN_*&z7eb$b(94Srn*3x|@Jt*68*&jDOI&g+Q>Fj${=EB|R(@LJzTpgwu4zdv~u?z`GV zUBQ_$O*Am`OMPne1Elf`l9)Dbv_nLod{_K_{yCuh921s9CIraW>^47HjsmOZ$X*=fLuXgVsBi~jQUWdUU4 zPU@Z71<>hvhQn?anDwiDJC)G_y)0J5WZ#}NlL}jb@N7SgS;;^nU(|U*vDC3F;!e~a zVzNIFE65;zF>@?)Hgov^q4gP5FnDQQs^sXY7>DmBx)ndT`N=e2s?cY)-QQ;JgY4{8 zp@~$vlX+jj$LzIGdr&IQ;Fw0mKuK+SDk|0unSb)T-h1G2c*XHZ?yMnlQUxKhq2-FG7I5(X z*6@Dpao~6H;7S@vkZLnS!O1kBJ!eDzU&`$T{ePy44lhW56sOsM+r-DbG*Lz2Fn|r` z2@Y63YOss7ppoqp*9Z#|9p>y%-f2&pUt0;M*ttMp0R#waE3lS@vth*bOVS6t9s@yc z6Hp#z{YMk)rgeNoCq5G$3_6TgLn}-7$3!b@o0Rz@sWEu;$gU_+neMPNMK%V4@t@sG zvY;&xj>o%#U?_oBh63hZI-G8RPD>pNaHtFP7f2k96d5M1vtaA1{9eD@6n{}a*`j2n zff~_|UXLkeLg1I8wORpi5)WZk4NZy(+L~;fcFY}*70w5&Mc&X3&yDGvYV>sQJx3@~ z7MN+QwD-9PthKf}`O1Vq&5?0{$va#^R`pX)ttSR(QYQh>ZXtB|yGXS1QRtQ7#5jEz zm3?9~l^6vL67wnppjR7hyV3X>8vf3pR5d8s`tdmk{X*kspEZbsj=YV9%g#R!+#E zgssO85LD3O16b%)MvSFF>#_Q?QbetEEO0F{5*2<3JPqE*Avtqc}$*b|Nia-*bk zt!dbxFTm6!pUm}tH$U$(n*xHJY_wXPV8}uTfIS6X?lKpjMWCYTuf@RS@6EgCJdw1&*0x zjRJ|z2ePdXd~~a&+Ze{{v%djEtM}z(@cd^W^5{Zo6Xy1!eS zdZTmbPvU%@@EG4=S#rwy$u*J~5${DievUSTGUvZgXp{>l24dHin^4d!ftA`SDCGcQ zWGd@|_~QFH#LDftaUga^Dc8>op!MFt>eDvyO}g0ehO-uTtpF7J^%@OiIRSjB#+@!I z5+d6dITAS~>FC+&V_^!{Z6d@gF773I_e)F!3Cl4XyjX8j`?$OxQz&>cs@SrX83u@Q}nV$5Bck`3tzl59Deq6VZU zd==XTD}h-C!T?nDuA1X8rj^J3m}|m4M5fBt^(*wr)u+Xm6V{_4K7(-O*KjcBRLp$) z<2Ersc?`!%5F4U8Ii>QEwe@_67XsxM{mA&$C*S-Z0s6E|S_yMG{YlcUe85asSEL0xvdq)YKg&*&+%Qv9o5oh7ae*$6j@}y}eZ#6U)RIEk&a4NqUQpcM#V~xF!r%7DhkjNl+kC zbw{c&fLy+P1$QO7Oh9wwb$=d+=-}gjLu)C_w{IMr=JvD7K-F;h(bt=5<|ka;7sFXf zXA4lvinzU>pLQL6KKGICeG-qj0Uo}?@Fl9j-v@~AycYx6gnBI(%nI-N_wUY-BR%c} znPy~|Wm+FEh>m^C^I)}i@cC0D^Jw$%jglr-x#rHxO8L@rB0M6z+z94kUArUZ5_@ee zZYcfXU5MG+h7qc_GB)ELf~c*G*bAclA&E;LP``J~lN@nNSG9EvK_Wd(r=bIHM^}bE z@Cy*#L*TvIUEWXT6Nq|39#2eA8n4!)9c-q{zk;XY^6++Xb49ap$HS_x;JX_7EV69a zn53V>vDI<4 z=8DSC(ExFj?sJ)IVDZ|21b=P3NCckO8SugtCc^C1`&KhQGgl*P zka)7*CEDi&s73#iVcHv$L!^J5?ONH9tBaMm-F(k8r<&J4uG=hr{l|!rI~^Vw?zp<3 zNT+0)0aOVV;+%>)-D36`&ylzSQnBdfc=I6ZpY5)DArE%AAuFOo^_f!HkMyerD%^rn zRL4#t*<~fT8)>8RZ;PXr439OUtaCeo_N)NzhurJY)Xigyab$B32WO9Lz>~5XiI`DZ z&Gw79$24$bbJC*Cw5k(AkqYF3cJHU2Suz9# zxCme649UCuV%yjYjX6)l%^!BOaHM|vb~0mO7uqg>A9TlB5-M>Pqv8=xFMsn^sDi;t zo%h4HdF|8JTYp+!$7uXM@*1 zDt2&fq26Pcxy@+XIctzc<@Xty%mmWgAg8mHMJRafD|8T@eVbwDdhSrlGQI5WvOq#z z)-Rf z!w);>8v|EzjhG%?<#i-~WtY8*nEVms$EOT4E*rk@Gplj1CZg7R;VF!|G7R+N)_SnN~qo?k}6m?=*^1-l>(BjNKCejh1_&N7r!mTo`33Lrz zLHkWaj(qg0#1IHC00*}Sze}Lr=K_Q!-c$k@f?RvB<*Szve;E+T@o0lEIzrh)1I~bz z8ECI{{XAlD6uvgNIPAB&zO_Q_g~(iUJKb72x*I7~^@~bEY)U>C-U+BUJV+E@uq)~fFxux-FNdg^Q z3-B#PQjhaV^mnmGfj*rUaQml`*AY2AioorXreRd{K1R9ee1D*&*hZ;bU4~yo_|P%) z4qn+bVXhrvVS;4gcHJCz3MMxD|a?zB^NKUTOQ->Hu{^kz830AJA}nn#)!8#a*^ z2{((B`eJA_-}S!!0kF6A2xex_t3Cc>Pn@@zx;}KZ*yFQIlCtnv3AH5+PeUYJXKmJ+ z>`yCR%0o64@$3%Dn0s$RcM2ZM&RFCs9{;VTR~d8b3p%-^D>;^-Zm!6WzLlFwEjg)} zrSI3(a?A_NF-HHM{Rm2B!DZm-!#CQx_@iU+`6ZOo{O+Qa^9jhN;f{eH;ileRru%#o z4}JvZwRqfd`@KG4!$Pq8TiSoC?@pgZ`|Y&Wnen|Ppg{7{%kN1`FMsJjG4ypZ_m@fn zhqK_iV^o?|$q%kxi@4G3pFFP@xRAM4VcZ{xY{EP0MMs32-I%21y=thWj-6^)DY0ji z8{5w^^olU&pca6BEGJG6v8?3}=QVg@=ubWN>5+$1qwyh-fc<*r9p4zXZ3wK(0e<-9 z4I8W|Qaa*B1@)N98O>jNf0fz-GA8WsBM{Ym#mjG$KKaAjg1TlgJ9_M~Ny)u3QjfTs ze=CE%xxM_H-jIg|N6+P+0SRcJ!JN@Q2%%fs@lV3@$lr%G>s!)mN%QA-W|5()#Eu%G zeUIXJdCroa#w3i+!K<3;I|^a3)ElF_f^3OONh4CF zB>ZxZd(LLQ3+U*Lf9j>3ORK;BU{j%#c4}kGWNAXqs@vZ0`b)#W_?XKb2}$0LZ>1xu z6|Fkf^!;m23{!r6d!|+h+n${j2K2T{-pF%o7R=nR)vfw%wJ?1^8y{+17TI?>r9@(A z-NEo*z>JSrpQfNouR-&1x1Owrx8`%wlKTYz=?5{5b_E-%oi}Oo=MT;wpFd5SAN_jq z%$kLLGO}qQ(sZXltTs_8^o5Tq0`*mvM*eveU2bimBl+A7fgT|B$);xNyT@PZh#HX1 zMM@SNP6$he^J)FE3F#UF{h_-Tx1+&uvn+l#%z0{;+2eE~wb?5Ca>ofqc?VCwA0toMPpjDeqzhQr=u~8^VBvip|wdBzKa(m_mWJf+J>sB^3 zLfc+0bz&PC`-oak%LErrM$`{O=S~P~H>TN40uB64lUWS>-)4PoR^sZYWHRU7VZK$t z|HQ_VK!=D!Goo%Ke?FHIJ=Hq(-Ybhx?vv$>G=1 zR;}ZT?P&4^BuU_O4!KMwKKOQ>UO7JOa>wPrO$K-mud7M(<4F~l&DD|3Wdh3YGXC^M z7Nt#p2B1b|=>wkswi-4d6sK{GIktV3K#+Et?^RBK6X^t~ zyL3dGXAKTW;$4^IwE6KD^?069yBX&1|Xrfc;H8vN_M+zw5u zMy5uhFQ*Jh3{})fu;MU>JeBi|I6lZ|G?)^T45d{jdNTTH$yl>@DB^1b6eR-v8{WU3 zl|QQd)ReoBi75Kwr)Rh|X~hAGxtB+(~Ucl*cMt4o5)TR#|@|=+LZ7Izo;Rw5a@U_aG{}0wAgL0 zOi4fGg)N(;Xr<^0pFZAZFl|yESgutlQ9I|@=h@ejq0=XXR6(RsTLyzmxs(TQ1sgnZ zg7FUYicWA_1`Twxc4@v2&9MsX8WhyJGAQ{W+;cnU={>Aygaxy3gaxl~L{_Bte17A& zavn+nC{Qn(w7bk$|1opS!`lsa!60Q=AhH#)CX%_tvLcu7mDl|T=*ZS>#`Pb)*pe2)vn5VF zsBCITH8TaA6E&`-HrS^75A-Io#uZd#qz{Km;OVz{JRS2xa{}i(>sD=EN)pS&N)1Fg zo;FlGU5^f=>6~aiuv+cOy)#~axrMdmu;jd>!N2R3X2rBrHXpr`t=^1_%8AktD#G8z z9fT_r-LB%fFc^1i>dyA(1q}D^@$s*FSLqy!A}s*a^hOfDd3W~uOd~AJ;aM#qQ9`{! zlR|6ZrCql;7y<-(ZdIm^>js!q;h9@XBXpq)i*Blu@T>R(1I4bbWG^V5+8*j>vRhGC z_BOCowNhA8q*COW^VXF77&24HP60bL?He*Wbs;X?z%)N&SK}*IG%2#u(eR02`CZ+v zZ?}Sr(nKa`TRwguA?N{7mMWWUf8*|bN8`h zOiRhrwpTd4v4?T_Bv6&UGtRnW*~4+8@RqI zz1LrHBnTo3todhX+c)1G-YMiLf>eH+1g~E14~KYA!FQZ>k0Vv+ z*mca_a&pc+7c4ivK_7nepc~>gE-R`!sh)RkmYzz5DGcn3)1I$sn9p40_-%YSm&@)< z8Qqz(fVU*x=C}e0=&LmLo(y|qxht3M`7j3T+%PSg(0!YEaxDR=G?@$xFwUH$W)eHb zyr=zY)%C+1t6h1#?0Z$6=dYd=|FZuLp>7--7*s6`qoWbwHI{Nh0#dCkIz!#vdf&Rg z>GgEKZ`Tkdt+3LgZB07C7#B|J%_X2vIb7M|QReD6{LP?F-f;Wxw(oh=*=gyq`=$E- zYv;=Uq3-&=SrIiMw8)xNwn~zWEheOFnUuYCBn$`JT`De9rrPzUMo0-tSm&E?TbT(~Ao& zkG%lj=jq>nL>x&YJ<-iwTQhR)Hw`Q;>!`85+-P)(2cMd$6QdoIGXQ9`Jl zC=^NrC5FO2C6S(F%rrO8@^~{?K!Nqm^1+)e=2jnC(+f~uDvi-;eS59oA~&xO*VFkr zIpv0Cp9)iJZ1wx+!BOE6ORc7|wX1rKLQ}`;7Qm*$O$O$qy?!)S4_Qr`wC+tkB-2)7 zZCCVC^tOxbFfz2)(_-vWOjZ zu}=!07ISM!3x&dU6loZl!*$&#a=P%tFW|)k45DhNg&rjP25Wm0#?N~DT+}G-uh1Sx z%=`46hA!cKx}hakHwfc{R7DweIg%|mIY`V$j^sFfy$h|4vcBZJsEB_~77CVL^rO@u z@q0>qsH{4Hc>t7mbb_OUmGT5gK|gNiY2&o$Dlg+)WI~oHh_=R3ng<@Xe)vB2}2uG!vNHX z#n(m1k@nD@_H*yke|>hYjXB`|-U1p>-}Z6IPY+&uY%ZbqVjLiecC>XXz=+dFHVS0)w7&ROF_wGqaf!?1TPjG?A6>mh>YK z6Qn+zyXi>bumSI^7(ZanM5Gb8oo%7on{%7^FN&SuXC(=Y4?}@Ckj~vZKpYZ&7CUSn z=wdn&7gmZ%*008F?D~Ez6*F6F2qRmu9vPaO8YX@ zi33nFtuxN){KD(xf@9jV#qBlL*Na}Ac!RZ4?hk=!iF3$*PJ94VM}*W8@wQR2M#ra1 zhm|C!&~UV{;*`5H!${MXz^T>lis#1ymNp~KDHf0r;~U`4BHgeuQ+sGr*<54@V#w%` ziA}m;DV$6T5STAYW+~#}T5n&K2i)7G>0&h*r6K;|mrU%2`((f*U~j?_lg`2&|Fw>kb8#FZn?qR=QkK7nAz$D=0PBk%A`#Fy+57%!gd z77_Z9{WgD+T$P(vTs8IvX4Ffm2l2{@X@>BNAAU_yB@TZ(p~C>L)yI(5PlNt{^c z$Cs)28TH9Py{O{# zucwy|c-{COP;qu%{4USs6h5h?;yID25ntJ97H2p6INNGBAh#lL&q<`N`j?fQT%7^e+Nm7RY)F>@AmT+A9=tCj^4^L8zDTiITOFwpLzgZ5@|>SMXDiVKuioM9 z=#RW=_T%-l!)B#O373mEFKIP=wcq!_c5gt1&r%(t3h1*a!_GvVAFq=r6bQV1I+^Eu z*xuxM;~;6#oZ3V9YY~%j%DHR1XN(o4T>+xbqUymQMw^{s_3_TkrMaz0ctsLJ?;IYa z2KP!enn$NH4RC}zs`g#Awsvn+HM8hF|3{Zy;xW#sw{K8;h8?sSy; z-RGcxRAxGvL7$dmUQc#Y&#gW5wxbOE7|k~4IYq6zW}K^+pmn4r z=@6MgUAEpkp>V@#n&jr&y6A@ZYX&}4kxtFuR^9(u!G*x9!86|p3z){ajaJw7#tWW( zcw*`I)YO0N1-(q)VKh9Ipx&MH(0P(CN=6otK#Bea47z8Nsx*?9$IU`=v{6Y}7T_e< ziO#l7G<39$dtyL*H1eK$Hc2RICtuZ~%k;QqmfSO4VATB2Acpk(Yr^631}UW*LcU*z zh(l>x=ln#f8V=bt(mi&*+;LM&g6Lh7Su*D1+BAxWxD;U|8$KXbVTAPjf?Ixy>by8J zvyUk1pio`u@ejP5EeZvL)kkY$N~JRRfslbNTk&TgZHb?-zu#vQ|LvCog0pjUA9ood~T<{~7z ze9Z`w@rC>&u;5a?+w^tol!gRWSN+=Q&IdNo4E~X3=K~T(F3~#$IA? zKqyjhd2aNJe*FDA+c;wPh5=nxsXX`h68igZb)+rw3NOS(D*A}?y&ex0b55_V__X_@ z9U?Pm=>)ACJfm_{8TT>q@s_s7^X*AC$#PnSt-PJwJ@{0%4LC)f5L0?1-C){q1sh5$ zZ7Ize**mXS*M?|hlJG}#U*>N#amxDf>m6SzY7A8=inJ7$phoxa3F{ca(;^4TYcr4K z+{wVoDc#B~wpCQh@9q$Ml}Ik4$3C`88xN>n_kd|b{9Ab7x=GL<+C0JPKeVAUKj9jO z4?GhXlqZ7{>q;-O27kRs?b{bq`c2b-`y(UX>G44Uc*MR@^8rM?6mu#zz*lx}oFsQ? zTHho~wdi9`rFxp+Ee4sRPAdqzB6J$23M(D&e)f~t&~tyN-QS_{mk4ZCr(KNwK?O{* zGi-ITUFVaJ3X+c>>FG<(v;tiWciZV~J2!qLCY0}c*Fgfo zOvKsRncWuCfr3XJzfWC`F6>|D_IS={=ynpjp+hF#$Z}EM0F)kO-=3hIC&EIWduk+K zNYtPfCre-!hTB~NtJjNYWP;W$-UQfFW&F3`oYGc{<356M|^Pk0RX2(#1e=R}n*saTB>u8J@#v4*{gw92JG2%EA_3$dv zgm8F~6wy<9{$vNMuK51>f3EzI4yj2P0t+juoAT=!4w^~uM{GV|S)N>~%e?Amj92K2 zl~2#I;d~Bp%TxbH@IS_-eQBk$Z(aG3kfq$W{9`6z0O}EhBT2|O0moYYtEDqikcHe+ z3=9C*Y{!8f>_Ov}^JM4Tl3fkaD4 zf$OPIM%+hOOI!==Q=H&Ti@Cux?JMMP;nN6ix%oT%K#T%$QRFAoh24h8L&nPWj|)0O zRQf%`o{4AQfzY`ro5)$4Sd%V$SLF_*FZP4x!q@3a2stM8=ck;NtdpkOz{RL8aH7kJ zFFFm!os%%$88Tul{Ul3c`YiG+O6{>3HdNXd_4ZJ`E123RqG6a-(Fn?4uxup3$+1lA zALzB?8#C>pBApTXh9#y>7Xlc6alY0gH2dS`UhnkXBi8yLCI!-m9BT3k*wO|L4)9Dt zqU+W)+I0qZ%}h-l3j93ONlsX0GFMw|e~r(gWH! z3d}`9wjEXiHV<-cPe64UQ*nE~$amrbQVQ_{*ryL&m1ZG=B34wPa174SC04zkul(Ug zKS>rvOW^3X)!SPsG$Aw}?=QlNc<#da6LADE7+avYLAFKtS!O~ZY8>hY*-_6<6MJ)PyeR@K2-e4jhP36;N^XbV7Mxh!h zlB*lx@Yk}eAjR4>y$E$kNrXM8FE;HI0@1v7vgO3UQF{%6z{r+Ykm0ADO^z-flgLWU z4F~A$C}HY$%371=HkZ{;yki^vV7A3FCxsX&9U{9MBsiF`h;-Qf9|XA7O{Pm9;&uEp z+Id-y?y6pEe#6hh;v&7qwziE_99jF_ogTKp{{&80x$DH_IzD5HkP&7r4QHJl|bC8D(#=qg`do#c?!De0r4F7 znxt;wt1bQ@T<_OT6rFfuo!e>K@6d5&`+X@r`s6l>XF?UCm9-;4dTQHaONcdgeb{({exJSz4566U~^mg4lV{l7$fVJ+>aAh|>dF>*to$I>$#&IHn zg|3J5-}{RAjP(__p-hw@GX2&$nN%X%55?1WfY8*i#EcHXq!S z_`{&g6cuoWJwce^k3BK%4=>}B_@`cL@p|f%$8OQi2+N#P1{$u96J?v8JB67?XQnT0 zpW4Q7;G3%eQR)!(w$IjfyPc0do~%v19Bi{#dPJQm{xwE=V9$akACoHZbic5C|2AWM zhqL3-`;8y_&Hx6`v9rn~*2Z_;zcsHu?ZYwC`?pV6QVX@-!u;%myL{@!sR~QPyQYpV z#U*(&Vb+*E_$YTA+Y zM!=odtI+8z;O#UVkP+li5t-Eo>wGP;gv*_<3rP4>^ta8>t&M{AaXiNYasoNLUK8`~Ho@&EH7845`QbUJ6>24*_MWv63DV zV>ho#5ek?4=2Pwy(0?j1N!-67mcv&o>=a_ZU(F=AFbbjQg&a*hR(^NVg5YYD9)jup zN)zuc&sWHXM}+DhW_nNd&5IM6W?Gq+M9p(4CS&WvQ5+92X3=rvUU40ym!nr+NzMo^WDWFm7gWL{ z_ZCe$HIw+p1KwLoYM~71Qd9{UBo))tB z`~_Zt1%h;-_&k3BmK|XRsZjO{a4lJ*=?Ac)WzOlMpz;coaQsbSQwX{ HbB+BMUV{aJ literal 0 HcmV?d00001 diff --git a/dox/user_guides/boolean_operations/images/cells_algorithm_002.png b/dox/user_guides/boolean_operations/images/cells_algorithm_002.png new file mode 100644 index 0000000000000000000000000000000000000000..30ae471989d5dc2901380f5b9d2afb734dcd48b4 GIT binary patch literal 884 zcma)*`%6=C6u|G@b-VePgYbb{P6)wrtwC05tcl`MlT=JCwPxiLG#_ZVN^{N>Y{4LN zWnjw}hObb3p>vyA3@2tPmZattm1(8B7PiI4?CcK+`r(|z`F=lq&fyE++PIhqx)ak0 zK@fUWWOzK(2N2H=(IC&~7~euci{m50ke&}mwxMyz4!snLAiZ*D>rE>3j)jrQ#R%d$ zVGmSS@HzuQFvqCy&;+q)XFm1OdYp@J_Qk>CPvu%`s?gz^zivlY9%=ePH_R+PuU3nE zy~t*i$NWc1>(Z_7jg6vdzIcT|spYthmuq>;9zmqcXzURm>TgCz) zK6&=Zc#8cprqjL_tJ?)ev?9Bht22=Nmv5E?SWha|?~E+88fUMm#!L?6I`A}YW& zodB=q)C0`wVuE%$5nxSk2f&_L2iF0&ZFE%K*D4qN;Rqi(3`}KrO+Km#uxQ+2n~=Q3 zLWbEV^^ZPXt7)g~q6eiHiI=BUU+Q)Cmp&gX-sH$9wV177Y64TQ^pO(dkeezUvmNLs zs>-{UNHzDVNVeLRyCRhfA9K4#WyW^PnJT%kRk;+lfBU?#W$;erYOeD_#5&V8Hkcwh gO$f37PJN%hGqQ_6@$>up)$mi0C}B)^PuLCVU-BxQ-T(jq literal 0 HcmV?d00001 diff --git a/dox/user_guides/boolean_operations/images/cells_algorithm_003.png b/dox/user_guides/boolean_operations/images/cells_algorithm_003.png new file mode 100644 index 0000000000000000000000000000000000000000..b3c79554bce89b51f799ab895c6b8d8639f0c43a GIT binary patch literal 1249 zcmcIkZA?>V6uwg0QlK;=45Vt!ez=VRYeox%QNm}@4vU*e0UPQFLcv<@W`$lifn63< zP--?Kj&@^(ZOny_IzC#m71lxo2jim@t+a5t$cPcF+zW%s6xb!%53>LJan5<4^E`Rp z=1*{} zC8r#Qr)d)#0r-UL#=)1*PwPoz5E{tf&BIb2c8yw(n>Z{;u#V&Sk7_vbLc)u+)d1-2 zV2dC0yYdpH-dx`hg!w+ZFAFBIEp3g&yTxBf=t2uTjRIMzJP)Ny+|_O%+Boh9k^DF8 zL#Cx}2|@ZS)ijyB5DzX{GM?O{55tOzC~7y|#~i|$t|7SQ%u6;A1*yzSOhbDzMO-p+ zBQH4(jR|={{I$INHQ{$kk(ef)kLuO8hvL(gNfFen{Yj3A64Hj}Ti5MFwRgpV!qCeG zlKP}47{KjvM^bgIe=xxeZr)V`N8R4<*zCGFg~IDSe?i(9b~vj*mr^w-`&IN7Z+!7R zn0iud#p7fklcjT(_2Y3@WqVl#INeNYJ(i6_^3tUWs{N}zJZ@jcUY1UN@ij<0LgUSw zI6k|QRi*h{%7mJpAZT4W!sKy*04>^C(P zx9&8%+}Sy3ok)>_`KEt*82fVaTq5Q>`AIDHy7F-eD)ix5pCNRkfIsbRr159GjAlOK zX@vQ+G-Lc)_bU)-vG^eNu5C2}EpBmTo0cZ8Xg;$weBc7u-Cr00_8p57VBZdm1lZcF zSq4(0TCU%4qT#i38nf)pVOK>)Ruf3pHJ+WNA(g7-;pa7IPtd9Xc6~puX)h0e7*X0F zta`eaWYnolC)dgn+Jh-*Gsn+Zuw}g0u z19SPC%8v6Fl_N;65urLaA4eBYYxC2$9U+X(hf`zC9p7e1V}Fwk#+>nAS4wCrM9=C{ ziSLIvV>3&vfQd_{K8%NjTtfr+C zI-AJHh$a&{a=5RM#MW90m{6n|w-3R#@w0?(D2(8;LxyF+R74ZjSct|1anuwMGZ-Y_3{X++-Ia52MA^Eg z#ICJ&N{o_LDC(xa`?~l3bN@Kcd7anuJfHFYjPp6?6K{qv+}V{L+6eT14DHZ=kY&4`kEbe%hs2H0o3_-Fm^vF zxzE5LvSXyDV-@JMg?~_c!KVKCjw$bKWC$U`;G=;yM(%*is@+C{$jT;oMqm@pBm>Yj z@IY;@1jY#rX1Qwk-p(ZJ;0$M;{LEP$S6DA8^j`m28T{o&SiyGvMEK9j))xD)Kd!Tl zZT@w?Q2Q0N6|uEX@LpQDFv?@f;-fJLYR@n{ATL^_d<%XA<%{20#Bs|?I`@5(iJG>BrVUXhVwW#mH+~xeEzTA~=>6$g zF4CD+ho%u9O&IHjKz+AZ5qeJ7fg>bh>9f{DcOw@bkJj|aRFVA3o73#jw1VsNU?a*R zu0m#UQ!cNfqqOV8pWmp^?b(u8Uq%Jy;=S~QgcGIcWdn zc_v0Wk?&Z?z;G+as~M~UIBsHJQ{5L?v-%k;E`3O6<|II83PHuqLXdc{aR+*i6WH$J58XD!yeh;ARn*{Q6Eu4v` z6Sz=}q;5|~xE_qPm{pkSlc=`_6(E}^{U@#l$6BQN<)G7k+x3+ zNXVNIeQ3Tf$A}n7jR=u2xBl9~K!)XE>EwRgaUZVTA|kY*9m^Xizo zhP4ntdDr`nu-&(XuBJOaw=^1rKe&0P6Cw(QuHR)T<{xn*Z=T1Fl;KiO#RH*f&nnY@ zRqDnA*5np`8aIG(D-=#=@aeVj^eC!{vt0XSy3uJh^J>r*j>5W!&{f>yT%hc7Ypnum zLtsiDx^6hpu1AToJOlDl!)+Aw1!pYG3W5v$J0Rp0HGfpf$Er}bNiFD3Q$D~7C@WfS zU(v`;meGOKGZu5XpT#*J-#d)3^eRM+TvVbsMy3W{=es?o2JKyL{HV35i2HV!$P&sS zi!ZgSXatgFZbIsTvTpbZZz)_XD2>QwhyTujn_(y%lfgk{t8zPn+(RcEJGVOzPj&(X zNM4Z^4=*6@O!QD*U+Nr)q{eDrZb#yc?PPIX)m|=dy@|GaE#|2CfN!3mKRwysD?l61 z7?*OQQof0w2146t^TTWHht%8*i3#@NyfLC1a|<_}oX;_lxpN?jniFD>TB8UR4=w>T zgP`h(EM>92balzje|!#9aM)j+v4(RoREl%AnxXihx+tkzOuoI61F^qFcmGNdVy{2Y z`wY%h3(4fokI*S)Twiohz^(j_m+cEQfI=v-pjXZ8u#2Hu>8n4AWfJU%*=XfO)K7tr!e3%gNnD$QRRi+xCeUYBv-4nBKc zAv*vNc%r^PYC}yb4WPv7!NSxWMAZ)X<*aksT7F6>G@Y{m_&G^PZ^eeyL=-IZG5@}Q zKA+|~j!N+*x%m|Cz&nh{{tqRiQ@4y)!WR>mL#b=B-s`C{I@RKEipvLv$4EO zJf>_w-5MO_H(PG_m>b$Udn!n2>H zJ`1X;T`?998xt%MX3NS3c$vGQg@Qmm?0tLEhatV!cPNYRFx396VQ)!e^&egTUM8fl z=vv&XIqA1%>1w`edO5^-IqX#s+_p{X+u%#3^bfgO_BmZOU>t3B6b)Sth&vle{kcAT z5b*IrV#MjuiMmG`Rw`pB;D%fB)qgkd{(2GC`+M^*uW+D8@2O|#hSedA7WteyphKfkJCm%kksNx3?r+?O)_<Z^Zs`QOmJ;>*(aPh0>)GyA8?fsnO-DO}u3~E02(6NuD@ByFYXkX%J9sLI? zvG*YKr@3&IKHXl?ALwe978|tmLPT?c#S8-}@@~;JPGL)~d@ZNAkKti-4IMu~&!4WF z0{d-I^B>r;`B|tMo;4gkI<*D?N1|@*PkM%KPI?}O8n}y|LoytX9h57r12yjbET{9HS0jJ_-%XK#bTD$d{oWjM?1A_LBRLL+tzZV%A~= zn9I0(}LmYUtt{N{Me{Hljy6{y^KW%)aMk$xBxEHBociF_aUQZJ_!1Yt&555*U*b5Y&;3Q^5|*;g_$Se8V>@Oy5QG}BQ4~}Z6UYSIT3=411yCKd?5|33PCwe z;RK8=D_OI$7rN)D^f}E0|G|{=?JG5 z4@nVmI$ezYg?jrXgEMa`uTJ{jU_+zyo+=M6;^1blh6~A#O(pSzb%2rzNmJ^e=k+iE z(RO~;2)fhurp4a){p`5zkL(Q3e^v^$d`+E>+F7HuFfgnl!~Y`Cx^Kr=%Yle2CERc! z)$%UYYihGk+{Y2(JuWSbi5g;`MimQOPGGy1zW;c;mogs_@t$>v>vpLLhM$ffck7?u zp2xJ0LdxX}f|=O}##o6HVFK<{48@Bompi1Ebw9d$(*@dmF-tCJ z|MB4^Tl{nCN-w`ud+>vdkTR*fGJ@>K5ZYXOmlhdq#@&-9zr}34IkoT4p?tcV#N^IG zw~InloT#$u#8~D(%073>B*$ON^;#vi3^Y~8dPw{8Bj)&vwNvze3~Tw5QWt6ovNPX; zJe1Lz2xn*@w6l{d(CHXD8bHhf2;=Y#IQ8J8;^_BEI zBYyQQ6?AX~)fA^bbE8VI`$P4IUtc|st0K050$`5;RafP;gOAkj6g;^^4l92By%g6jT(2icI#;P z-NAgg2CD!VSk&U~0Dv^Y{H^vJwzAO|3sMpvU75GKQ}mSQ#-s`~;`b=OV0-mL+DHyT zHdj|^2fba|?amCAcEbC^DGpcDgTxn_8J(@WGQFIwRosapNwI0DuaTt=WjM+h-wcCl za}jaOp|(#=IKcR~Quwe6)PF*w-F&)US@J-RRxrwNelGQ7oo^cSmm;Yzbk4ylxM4bjcs8egJCUE zGv`)ju;{YU2jM(BFk~1kPu+eCa=(0d=Vf5c)*W_bMvGH-7p6j@RpOGSz{F4A?7tML zK@O>CZ9mVeZKr=~s$^zHP!`kGeuUz-VntelJgsaG(H(gA@}Oz}JpbiG=_*F}us-7m ze(a(nu%s*5%h}+?c%*xz> z`Y%DJ_FKaUNrDg-nGWVX4C;IJnKK~qV2Z`l&D zI?pFP8bsZWbiy^0fQ;@5!fu@6iq2mnA>IANzY*?{<||f4^kus`v9iRuJkVsR^-FaB zuT}U3(@D=J=Pcy|W_`QQ8p`dU|Ma#gI)9$x$YW#0BiHy`nqP8^u$8S9iO8oepimo9 zLxE3N9MeR)&P5lf7h(jlXnj!T?14G3$a;)3ktn-*x`$yv#F#Bk%ezG3aB~ea+P$ z0FcSB5@?B1LEJxcBfETww!nhC1ec{uc<%|WR%Fz)?oo~r7doeOT-`KlRFW;fT}?&I zA(c9laDBP5>e=fBf(F-eH_08qwts9_6gM!if?0N@TXRN2jA!7$ za-5p6?^ii`qH*lok3Vk0KqT@_IC`27rBUuKzYBZWWL9yLND@$nhqii%!<6dt8swMj zG|9;O75OG;3_jnvjMF~Q$>LR|xuCm>UziGQmwtL}y)$*3YN~Lg9+Bf=xEERg$@5p_ zz&UM@W5#s!88(QptLDP@yK=k+=ats)!sE+CEZ`h{T(|MvfFYRjiC)WDco!%$c=MX+ zHTTdun2mb3CyKs3DN7dlmiye99zl(;C7SZA;!RVcJuaAH=tajKS->I+F z-8-W!oP=j6vL@TAd%zm`=(vr2X|dkHMzeW3v{UCTi_d*;-)@+>I7fNAT9w53;F|cE zf~+^q`Cl33h5S9uSuRv}d+mntySPih5|D6%#)OGpJ`^nTZ>`q98;Zc+7s?!cfh3Og z%?iP@J?>pS2cmFrd8Vy8RG^_j#|_r>cq#>^FqZ-Ocfz&_?SP@tV$OoU;B6PM!9_=4 z*Bt?O8T>s}>E1U7#Fl{cV*f&C?q{O3OziE5?H>Lip+wIV8BD4ACDvE9k3otKm_OE?2q%{SQ86N3F~Ia_PG~ z%wf+wH)POZbP2U~3CUT&Wj0UkSB+-R8@ypJ;V0Y`Q+mh$zN}w^ z__yX=P3O~PMW0Oo6|_iyySOwB%TOZdKC@3hbYry4kU9ah5XVG(?W%p0Yk@<}#DWR{ z!cH_#ZWjcuiuk=whe<%TD7jDHwUpJ&VeCt*L5rVH&rGgcw`(dIH(lnCR^ zS2YF|?8i5`ff^HJzee&yPpn=$AEK3!eeqgRMvy^bfn+7;?diUS0)2RvS$UTsJZMY6 zlDE~@qwU4TCffW4xT+=6nWKml*^j6q0i9~q=ea1s^*kr9R!Ag?D3($6eL!$x9Aax z?4WBA7S5j8R7m_u&4kKSKSFN1G$8w0D?||IMMuSlE#hSvrF4t40tY&Icw{hQ8rNb3 zg@6`Hzp|5Hws&M{qR=UFaU=}WD`o^uPQg* zTQgFI4A^0@s!>8n)_c!}Be9kn#z`&G(jwrp^)1H(mb1PCpzVnT=of-oYF*57$$ZKQ2O(OzZhc+c8#Db9D&nvyZqA&?3@~_0gI4 zpb9Bopm4QmX0??oUa(>Or zWY*Qw&CwYLI4DFkh-$$mPflGX%vlA5!oL5z^cMd6V40BWqg}jKz-J{fATs_B9{BF2 z{0|Xjy-oBRCwT@TMsqqBq*>WBW{>f=hSyOCNbxlEJ&){9!I%dbXK$2jH9UomfB(>@ zNi_?n-_Esrr?9k0e>`u26EqXGV0cxWxA7mMm-#)TdKquhEAI9B-PT$-7Ld7}yg5pSk&H+m7tvd>EQE6X zzgytm$$<*sU$|d@U;^JQ96vbA#wVtSoW^GyV1k%iU*pch+CSwpu164!EK`~We^j<` z6c{FM`i~s#d=#}Hlp5c_{GJ`t@wYki4)l`93+`dm^|>yD{+mR5XkXCBli-eXk%Cx< zi%WZM&qhq3-ldj$cJaQ?pFsqDP4;Hplpo+DE$^_m_{F!MFGQ5Zq*~LeS123^2fbdT zD4PxgZ`4f-^)$c}!Cm(m^V!&)Tvu3}ScZla)o1{6=!mz3VX-LdCAr1s+**oRnLmgQ zK=Ki-Rnr+@|=RIl)7?p~}K7ZvYze% zCi9a5GVMv8l+ub}WB=g^?hR9+oyVe;rEZqEd5Yf#yWzr5Bf_QP*?*(K0az`Tr13Hq z?5G?R#L3#_z`bbTQ^Zz5eC3nOxBJO!>L~OhEM0^TBBS6PXS+Kpl;)l0|4}~PLE@~& zjj9#wT#-)c*C6OP)}@O*l=Q{C5@ThPb^KIw_SvD(b_eER@-WHUNRO$3!;W=g@s(uJ zV~stU2QMrxt_fxENlwCbJ+U|@(=vtU263gET3_l#Z%?hodnjjqrx>St_b!jIGxxxm zkcx8@QSzqJB(~(mI(4LS*z&DsS%J5n z*aM5Ni^GlHUzue1LS$BuxIbi&T-McAyOmWYAq85xs2HoV&nSv*s7JXgT<~0b% zzA=V@lss%ztOWGL7eRuOkBsOWH^5hf7Nd8iGT2u+5heY zijkW4vj(}kbB|_2T?R%xv^74|PqYpEPZx2jk<=hYYV&XS{~C^lGl9oXp5HUaOiFou RqW41?jPwzDmAWob{{@U%Xz~C6 literal 0 HcmV?d00001 diff --git a/dox/user_guides/boolean_operations/images/cells_algorithm_005.png b/dox/user_guides/boolean_operations/images/cells_algorithm_005.png new file mode 100644 index 0000000000000000000000000000000000000000..7c0206984cead15eacda55ed4fdf711b9f8c2e05 GIT binary patch literal 22920 zcmXVXbzGD0_x?6O*nmk(3=ruQ$M_JG;DOX#%|HzVs!OIkcOnCxp=fQZ01yb?^WP7+-?!8i1hQh+(Nr^g zV!!(-uIur()wEpx#r>U;7vFQ2vI!%bf0o>}$8@+pAk?3#Lv*yk{&d#I59l`IQt^BCZOtX+NZpx<+IDM>hX~ArTbRf_S46g zc5C*YSEjNqFYfex?F0F|xRZpuhIV=3_vH?T&E*Am5_o~x1>r}9?_(y!yMSc-n6(fj zEt2fx;d_5aiFv`{#4q%op}z+km99>wWp6+EJZFE>-FPTz-xJ!0+`ofS_zL213^`1! z@wNZ=Z9Dr-*ZIG7#+sJSkTqf8Pk+m|v!^@O|E&krw0DMFY)>D>%2w{a^tENXItpg4 zSyQTs`1|j|;ec#fHvj5$dwh+kvQMn`RXz@wE=clg1C~FaDSz|HiyEW~rN?)ij!w%u zocB)4`i5`+9i3l}2q%sOSMTa|{rR^(+`02_eR03DGvwc|#>0INhs!ljLL>8j&v{O8 zhs(vO@6+%9&Q9zxq&|+Mnn`{y2rs}3;66Qj|8U}@sb`D*+1z&a?elKn<=;DLGl$>2 z&8py$(4~NIBBO&}I5FKJB%IiJY`5HTbur#l^RGOF7}ViFAc`xWecHDpq0H>2Snv&< zXVsicxr-sJwM3y`^Z+}kll)beGok@$pwJI<*w#L;_(eE^Qm%*L|E*Va{rk86jI*ON zWIby;yXN#Q@NzNN7`~~|d^M$fzVc{z`cPS!k`Qnj))}|o1EQx*W>aoTP<>|)wsIjlz(c>MFe`RL{H z6Hm^wnX2&bvPvGO3NNOK5z5Jc%1`sKsRSBLygM!4(%8oA4Z(s8{Hpdw5uXSL!N&#E zOu!vdd`5RScew4Q?LVEKGd8BqxxxFn48`}EPKXPV>3g}pot+#B7@j`ArSo)^-*?xh zbL~gO(s+BL@5PVCi}U=*GvCqaga5YcJ%O+2-;6PKb2X+>H=_ZeRL4?@ZhmULR_MN& za4LKgbLEb}EQ4z)b3)YjV&@=7XzBrI?Dh$n=h=~OSEIuTrSGmnr;B&j=8eU<+n2q` zZ&fyeI^xFhl3ly=J}avVr+cI(%yQ;juCI;A{Ui41iV*uik1A~@d zV@A}qViQzjb@7$ZHwnD9NTspsq#!P-uGKdSbGI*wJkQ*^yu7>4->7(W{j?a#t|5Gi zV9FPMmF>u&IR<7l1IuaQHCkh?uW|42yx`j*Ri2D|ae4C~v&ja`@EbK=dr$Rp=rb4=*3ut0ayaFbl^s-b>1I zaWBN@SSlK+nAx0AC}olN82T#{m6!x@?>A)o8u~$dD>wPMWc8#&0ic`Gn%8xwZsVUI zZzj!@-Pn4K`GtpE13~F)&*vQ4n;ed}IT{_VwtaVH&ttWAWiR_0r}EF9F70o?RvF?^ zv~rJE2pwiBD=vk1jwN?A{~AY{-TwUksY2iGlgcO;VTN{bG?i*Y_dvN)(Syo=>U@sU zno_zc*_VRf)XXEm38=qa%{I|_vqJ3wlBcuWJ@d!`Iz^U09y|P*E zDUI^_bDC_jgqR_8YR4On<%hQ``&}pzqjrd>SgEl)C=l11JN!MfmWQUj5}IE~srZ>{ zv3j+nB$g4|zMnczy}Nde&vv^mekfo38qKH~A75#>Q^=s{#P9{?*j=*aHdP!K|cnv}q-6%rozd`x=o5hcu@q>FHA z^a?qaYD0cRrQf_rTCQtaK2@mk?c8qvanv3${r;#u^7y@ZG_zt=DarOU`Mf++=EWTJ@}ocHX@^r2HVMobFoM2{bcN5&@k+ zSIZ4h(N;vSj6f~O^ejP}$LD#C;m5%>yT_MHTD!*=oq%CVPVH6t$Mv=8wUh3G6d3jY zYMe^!RG!+G=ive3TmXE_d&z?o1y(2fT10mu zBo*Ua>>Fy_@83Ttr3eTgC=qmAJodXCMR-g<^c5?*N?ppj;$ksZQ}8Z=FZBDlzJVi|2?a_cNp31Rpc|V^ zTKf(1dW&T;jN}VjO#eXobPou)9$gO)AGw=jg!o$HtGGM$X-%*L8Z7% zMeYQ2^uaf2VE^ zGQB`{iTzLkD9-CQP zCBIqxeIUubqvENX-Qtpz!sYBhawuQ?1WvMjIrSR#`&Y^Ig_QaD$ahO8GHUYDg2IQ= zvOR^x>i2-P^>9MALa&nY(a?$f^Hk3>)5xvaqmrvXbC)Cet^Y3u;05zj zkIliK@3*YHoZ!^bSvHBntG$}^7mJ(EzpM4AkA}Tf(C|>hB1DM|hNI|8vj$QF>55moFpKU#?pHhSk2WqB{*LBf5tCU} z^aw#vZoUuEf;sG1X#Q5S!OU#bn*@u`++O_UrKjwLoeJhucb=O(_c9|^wKy6%FTRfU zZPRIsMllRwCtT)9IXA3U^bRsh;EL-_(OPD&Pjj7$TXV@6LxY*j_IhGB6UmY!B*LXx z%dj`Gx3E06;sMfTFDd13D5w1KC1HifzF$GdzEm%MiyDymEKNR@d@=KP)ZsjFys0eT zGjip2eyDhPZxEUp^Q#AWq-d5bPfR=nO}bnzr(d z*p^6|G$p2?UGd6RAbZ+$#iji1g`~NwhL)|58N2Pg;CG6IF`ZDqGWh=0d{*KEhbx=>;h1 zc_xX^Z=Y@V|CiQlE~m71Yc3jXvj16KDD}BJMJO*zlQ}^$xB5>@BiO^D-CN|yI09@b zg`s&K{n8CFs`9Gwj~Wz-@=P|?sy#4N+I-#EoU|T^a#!O&Rniyn;x$;0{NTLz#CwM%|{CE=Y*)2EqO-IrmoLeQn#w& z?p5E*bS7G(2tOZWagq-xQj=#vM0@(=q_d;-weI6UT!sIh=RcXe>|4%k>N=J6tvXX$ z-#9rfcNB7pF#?s~E4cUrZiTTwF?D)?Qm9V8XlHeX*qPrM-Cjrzc{Gu$gx*0o#i^vu z|D6^{dWCKf`axrYBD{Ox#1kNm5)F_-@b~nQdOHlz)xuDaKh2jvsxEfBKDDo%5d&gg z?bmEIi-s{OuD@S@8vB;zL49VB(*wZAbv8ZXbyl6@2ZP+}8l#^(*nVp;8)HQ}afhK3 zGeWt_G_4U%(mVe=O5bvQh`@Ub zvIuU%(cXixrE51ow0iylnNsT)C4tqPsuy>rXw{iA`HJStftikCE2EpJU7?oITvCx& z`}gNnPRQqNI%^<;7X`MEV{k87VPJIw4P*Yx0 zQ9bTk?%B&KcWBQ2v3IOGZV4^nHZvX+gF+q@tySeL@(*Ta%4VxyL9NO3jV^&a&~&kS zfA7KH3&w8J376l@reLyH0lEh!e=}3%4or4EGPAfI#3XH#2Yw)9Z1ZBrUpEtf9yai+ z(mqcz(48F74yCw`p?2dAL=z8XYTYOXW2CSPs3|ITGH;s!Iw>%HJ+=apF>yY5e{oLb zpH_R;{ydXva!vG`gQ6|JJ?RD4B%@CT_@cS2c^2mfYB9b3aCxHqS?Y;rc_HaFBCm-Bg*dBi3ojiUKn=gY0g4C0or zmFHjnvN`L&dJ;N(ytcuMg>v$Rm4!ha$@3DXqe_0>Ngm-R4yixLESnpR$%L~1Qi~Bg z3xcxiYUL-fYoCXA1ccrCGYjg!xS#gKsxW?VaJIg`Nz}`ZqO9DnumK`h;t`vKM3GyO zRXwYWmLa!@Cf>gstXf>~@;&W5?|?Z$1hA-6ERf6AT`UgF0D!~T6S*g>di6I2uwZu7 zCU)$AZZjS$@S&FEIlG{uWK0)Ts3E}%!+rF??G_WiqT}zQsH)gkcGY|jP0O!&#U^(* z>5S4zAa3ygsM`R|lULeRsUyh?C^dza8J@&uMfc}8+4;rD<-q_iqPk-xBC8h1iNBup z9n3DrK2b-#gE+R&BSS07yd)o@fm{CDcWn6M;M9P;ZO*7|nkeR-^8U@I#;t-R^w zTPSPN{AXTAc830sf}j}jm28sxjr1L63WXJ?>_ngVL1`!2O4P{6HYTZ8s_^|^?!d-Z zw*ndFTVzw(b;f?(zQ{o!oxS;D2A$@UvR}o#taYkZO-a{Ir=FqWYBp|URfpM>&+$o1 zD)v~>R|kN+*eYmzD3@$A2gA%8N!qCHw8~&))2C6JEqm(yKZOGu-BjJ!HXpud(EDYZ zcOGVfe-+C2j02Xc@fy2pZO$EK;5JX*WY&lswe=Rl?wA?e-B#_ngZii!?KPwr=gn}x zF`H6ybho%*m?l7|hF-o}VVYBgrfsey;JaiHD8cvShSFjHGe5~#SL?mge4RS&Zr3UC z`tEx**JfHMa2e?XSZY)Smn+jf4+=pqq#-pYs!?#lC}u3=_N-YuT=53SI&Y6YZo6B* zu%SSL+-^NcXptfCBqoMozrux$Sr8fo+5$7Il!oQ^Fx94l`v*;5f6!K6dH@Ko5Flr> z$1(fCYaaV5tA<7097W$GI3Z^Db^S#^HpEwG#P#xjo~Pa)-k(ZFJ6D?|o{-UwQ6q`{9}m9Gw6sBGbO)ep zH_Di_u`emT0L-wc|Gdef{8OgnoCw$`@5%NSi4Lzcq4cP|?O{+f} zNf+_4??L^1CckC=dAHvGR_+>`@?}Nex_iAk(y2lFmX|q?!c3(mpO-Wi(K_dEt}%j5 zI(@J=x-C*1sOvs_^DJ=nm%42FI5_tdQOHY%v>`jmw(0U>G!j)=j~IRr(n6&$_HMjx z2^#+YE3>9fFFJF3S@C2&dzm=T^jk&Kq#>0 zM4f7CG!6TT)@(j;4ALC25*M4%FH(R&AYr`NlvB%g>vYY3P%s5qX648{olGK6_k-82 zaGCB5IDqvXg!{~8Uyk!gT?l(XGL(JV4JO|`j7{1e4I00daGGb-t zz-UU>w)5Rhxj(2mK3XMne1)IMxE|#=C844BPWYXOuXPc>{>vz~g6m3f7$R90?^>yQ zYb`d#ocHy4r7o-PJD*1FZzvx6rb=yC_SAsjj66R}QzdG1WLu&`e{-OfzRlo2Ax%+=r;AuPGF}|u`j<*o*BI(V7%z@EIYNj&{Z^z=9c*LtY#~o!2}** zJZAUYyE^lmTFEy*Z!4o1pYnL;hmUA`%iX-==}}gybsjq2QA-E~BX~I5xEh847UOy6 zv#j1$2A?YDG4U~7fRo?TjYu)62q1XxNQWX#q3j~Vk*V|T! z0#G|9V~PBp$OG+{=X(+2jtaN+HmPpMBzf`%+GfJXM zYk#G|4a`{B*e%$E8*Nc+#>s0Ti{|hkG6oN-@&&H!l|;y~Tz-Skt>0gGIIn3s59zSz z&IM@v)OlzXu8md*l1w9&nXIbN_P+zf(J#FcX*<803Vk-5Y{`kO*rdDurfdGy@y=5c zDEO7hT6}qYbt%_O_Ir%_OSNce5CCD z5E>XD6xUVg&tw$ew6*@gEa@fds()Ndw&NXqn1?^Axs08+%xCu6Cg53c7G0mAd5N?R zubI4txS;%ir3}Cq0bLqUi?;q?u`V83;XHvRN=7v3tPKD{_SzbTNS(Npi*6X*G4pL?NXHFPL>E3NHN{-y#UD!-fH#okqC9YpEs`|2e_Qxo4Hx=pYH z%8CrtX2CZaYX@C(e5z}emfzkGk8+CwT6-}STYVmCUL#vhZYe0YYHCM;N8_VL{<@1o zUeak{icURkzk6TSUS{V3$t_@qW00^Mt+Sqy|py}>W>)z8|fM}MsmUV6SoRBwGNY+rc;iGMIkv` z_xAoL8FD{^OBky)#?hrIr$Q`iK*u=L^1f?t`l2VTHX?afb{wjwa+sX&E#p3m% z1peS_V_oJ$9(wQ@!`Kbv!Yr|^xE?KuWX!;7_xlF3+k>{uZNLGo^L|rR0VCc9 zGZ@ND8J3$D!@_44P2%?Cfs8)|3CJ-v`RbCwqShP$i*XLFV(z{5<+h`1CTj=dtmbW9 zDLn$~?me{+UzJ*dM@C5SueE|TuGZ2gd1Z7Oan6vL4s zEK!2H4%Wa9&eC7DM~k zwiR4=?0dqw`ZbXRw8Omq8ZGFKkfyW+e~jhaJHI~ z$We^g%Ye5eu8hQ{Alr>-uRZ2+=|1wU*;!t6yc!$Ah^70C(aEE#pH=5+$@0fFmiq%C z8%$YS=vI!n?CGu=sw*J4iyWM=U&e9zz=UaEQ3*eaTnyTw&ar828B9ah|7W$E(~Dzt ztGP3C=z7nXN5{6y{Xcw}e{m3D39-@-z35UJPI($M9z^ozKchXF69 z%{H-eqx;(h!#QGAc^0y=anc2P>5?Bu5_o|V4^s)ZGl73mMLgur2`s5Fe_;8%b|N)& zD=C;}hioArzkO*&=kK-FBKbj&SD%^}telaLg1(&_1aY_SPL2XLHc#X&XS?z9&z5^>`DgSqBcL3TaNE;i%uNjq_OeWSK`2%IA{jS@M` zHj~3_C-9$eUB){+Xsnm{Of5{ybe?O63T6of_e*mA?v!0?pM2)<=G-Ad`Vv4%t{se|f(xIaEqD1&?oNvdyN~BPO zF~+dB(!9`gtqCez=Mw?<%pF>}Ugm$ISK@D_m^DOL*pg;6za{b~d;cG~>JcQVWO6Q2 zGSWrb5mjsHjLaI{d)qa&l--+Ru+@jnk83M(F{hW&7&Md3u?IFIp?i_Dv+TeEDs%?@ zZLm0UsNCtIB3#v7g}Iqd9G&uY3)BB@TEyaY;S!@mqZTxP$p zK4Kqt#yGdvx6pk*hl0j`>cpm7RgKh2g!(rsy$V4cx>sL1SoE~#_Bx8eO` zxHZ$(&91DjuRCMtZ|9>5BqPi9?Ba}u^}18eI^}>;2&HU4I0Ksrx6#?^gIMYT z%)523?xO(nYetyA%QZWZ6oBRhH-Tca^t4%bx-4hHyTad6);;ddySLU=QkAYzeZB{r z=K?)LV#ykyHpMZmUv8Gaa`6m?G&$i{@Xup7rN5KA8up)#N6)EQ#?Gsh?{Uq8*L_(G zCDf#IDz_dlt+>We>j6d7mtSO~_N?Vnqy6W8DP68DrO4qs9hCntJv4Ldz%7YSHnY>)9Dxc!e`4I ztSbMxxZx%#8{rHnxlX7=P1ih>r$@c10JiGEQxdmMz&I4=%SoI9`iM?QSv!-fOf7dXRjLTuZV@bfme$|#RVh}yYzaqP2>t)zKVZjX!8-P1y1g6>co2q z1nwzaB9fBdj^oXlkYqB^5WN>&i2h0csdQ3hKLj!Ejy5SVTSU*a8qt-ILncd}jf$Jh7)gW9x-5>aDtE5JPnHEY zM}7$fMq8l73Q3Uv6*<|Mo;F~J?ROzrsgI`;-uT@z2kKW5&AG_{a_5M1NbTnmSt3iq zA5bVgnF-np5ig}s9 zL%oBgM$^fdQR6PV(v^bU#%*Rd6wg^E4p|EbN|*$BLq-#`R%~_o0t4Domfun~GOmu* zy#6Mex#61MY%+Iuc?e*RW7J$Sck*!e^W%PFi*wBHewSt`zBZ+j2JbdSvWeVHh^MBhDFy z(l0oxvAA~_qs+0Ky0RwIY75~HT+DG?JZJACg{KeKN)TJhx^>q5>_`?A;VU#q&O)ub zOZ{RyHpp2h62|w3t6(9H%&PDsF9`idGCuD0FR@6;oE=Q|R+n4QZzL|rFvgn%0jtwl zL`U>!Q}SRS;_IFmYzlOa(&DI9IP`GH{?CDXIXfQA{|dq}0prNO{zM>GsF@m_qbHgd z7!Vy4@C5lkDPTDSpNRkp0nw{l5eE zb9m#hIQ_xME@|>USBIt*wQ$1|3G#(gHGZ_FQdU10arulh2nTEr_{SMx!7sYjsH`$3 z)vn(V$Myb8%^&XHv8M2W4A9|iKQvkO@UjrvT!6mCx==A6Z89Sdpn|@|aM37_RsEeu zDdWnmo8ZZfDyo4z>seurxeb+b78>&d3N=sTn0>W1P;RY6)UYCa(}N>80_VnILCK$u zX#g93L9yYjkZP)+q>MK<9rftnTS|}rJH3MbD^%2bUdQWW86ezi%!8i!OB)OEGTaob z2$yT2P|%%$v&#MQ+|!LNhU=roBE>NkSCu-1a)L&TP6jeLY;n!CCgNeu(}xbV^`yyY z`U9i8n6-wHeGF?lNnpV~#&nG|DPSc>C~$GXaZ!<@PY8XYLssocO=HE2W-=TBbdgd8 zKA$g^zcA>%s09|Q>o6XZo&ZOa3T>=4ZRq$zi~8|&ie$LRmxTHnc5z zm;>ju?gxqMGQ)e^u7L0(xL*saChLfq=9+ z!j(m%w)E#1ycm&0*^1QC>{d43e`d02q8i%7M(i%NaOn4;&WCOe=MyKgN9*Ze&V+u? zkn1b_c(7>x^KXUztNz$J1WCV1lw>kJvS$cpOKvBd9M?z+R~fWNL||2*wnsnXYe7kG zAvi9ISr9q$mUL7=^K+cB)CUvj_4cHyD1w+T2dnFKv8Z8=1v_g<0ParR1~>;kUB)){ z{5@R;6an|H-yPV4^8>RwZ-wwVRz!IFyVaf7Ow3OcMdgn<#u+inz<7 z+I$zY$CfN<`~ektlIec8y3RpP{buA`h)hK3@y^*#?lMe|D+gh z?*LaTKTDzWn5LT{Ya#kT9kVAzqk2Ni=t zLhRBU&;q}&#$xer=`>2l(EcIP-C^^iHK+5dH`OneN!D!4uRSTv1qwQBgNG*Sd-uZH_gijl%&LVxQdxt-NXqie#} zq|kqa;)BV?+DX?j+v}e-IpPrwU9~bjgo?>e>C^#)M0Ew zWL_XrZ4mFn`!zdCFAo*$$#Yb7nG?PpW|bmZ5g7WuxmyKKy6gO2*sXl=D4Ou=G!^WKpUlT#d;H+1c559-OkaSa|W5vPV z&>T+meEEOa`1ui{_4$h(uj$r3=I5+gHH9YK*R=QTvkJm{hdTY;_Cp_@vk^9;`_C}& zB5o;wAI1UVf3e2wMOz#4_SFr%QR~}&ZPL!RhQd9-kh@a(xqYjJJJV%;L7d9&96}fqK;o` zmrx768tU|L<9tX33K5+s3|tMu7KbUP-%sFYc=V7KE#j5gbQf0#vjqxU#Y5W?jDlDo zBrcK%eKP(ZMoV$VtCAl`k++&i$9C6#o_m+?BNk#0&myrH7;4#w&L`fkHcCZ2Ji( zmjE7eM@TD4+gHqn6hVI`Y%G`d1lB?vS!*I2({&@aH5XLC`>Pbqw`-SylA3VUkx3_p zxYLJZLUK#w!4`N5a>MyQdyW-2)C?({oEJflRF_WR6@bRT&U^ss*?pg)w$}}`FbHhL z1tqCQQe9&=8)tsBk{-Ug5_u64W$&q`YI+$vQ3^8vrvz~$zEkZ;3S93Yhj51L@ES{J5 z;_s;0#gDVi@cy0_5G~-K??rJxs)3gMj&;<0lWs@|jyEs>SLVZF zXf48(^YQD;RKkwevTo4(TRJCNPNYGQOv6Et?m%aV8>ho8zxmN%+|~L9W*`*ARHP|w z3_uJ7-?UQni*%FeZXP5UR`^&#w4_6I@LrUeJ*`o4Q7)2KpA-0+$VkNkT1b7~DBD(< zM69ngRTIg8yFW>i?EpHZ8=IZhV5x2xvsIwXpi6OOB-^d!SW!^)4mH!cw$gPfSF@rd zzJNx`%wj|0 zPGG~=>kdYtRf9^PQ+eJ|4Trh7sdrHNVbWmwuF72)0zM;%P(XT-2Lk2f6gtJ3eCR`c zR(6?JW-Sy^>x5dv$n@w&y|aE> z>_ZXBR!C-a>zn!}GUUx;6S^}PLby*1cSlV>4fpk=QxT6g3qUe(vn>fEFzO<@nDi+G z1yl6bd`vy!4t*o~_CrMTqny8`N`Clo>utJjd2v=xop!Ay#rzsX>#OS)-{ivFl+yI7 zY5r3gbQ9Ubu!fMVvy~R54M*Hp--C!2n5~cfHKaL36hTuSk31B_XNvQU#mwTLS&r!hu1cw^nfBS&pl}mX9>e6|L zh3sv~D19FKr}Fq(Zw$SB4ui(pW{+{%hv~bVN#zCY`W`E!jBn@cAXvNmV%f_wou^7Q z8=p$q$XF=(_GGv|2GIxX$vC~H`Djpk=lTX1VQfUUCt2}_NA@;9I;2^ZZ14M;amb1E zWp1coE2kme{@nThvdDd<#!JY*>mV%=N;E=SnUo2SbTo%WaSQUAGa=10NypfX$daJ+ z$lomlu!Y+9bu&0WgFM1?6TKjkSL(m_-c{1iXIni6LsB%{4gt}uWk-v@%qOzikDoR0 zzUocsFz9!NCXys-#_Wbgy^rTZpFkf`{Gu?X!%fWxfW&;qe{rN+L~ZXe(X_~ZdQO<} z2IBa|wN8wyF}?%bsO;;H?(W8!Z!emxzyzbd< zAWW<6EBK8lIEom7WV-mLpSqX)^oa^W6zrqA7J>9pB}3-f2Oqe63~nMQV)mjKB#2nW!u^!1VPzLr*6+gc4YiRoX&Jse2l0V#l6fgRPXo= zC9wE|7yUsl;J!ogl-u`q1NgGBv2h79+D%zQKPk6ad*IW zL>qi2P9!Hs7Hu5^*E+gpW;LUdIk;iAg_Yu49uBq_nfsU*^-Xn$%zw?8u|wvBRezQ26VBp;<$ zF~MU0&L8>53`i#L&F-s_h|lb658vcsP`#GeZ-($evzuxotbCgTy zn@Ag67d83m(N9qI{8BH}?#KHvVf0Me(5PBmA*;{d`n!(Yh+efdBTlLlfq4>&A$}~# zlB=?B{EmHpC?<3KmM^!%2cw=~la@i}=L&l3j>L211`z@e+Qtk=>yRV9ngcNthRBu$ zi3z7MP<%Q~yZC}Wm^4KU|JQn$S?UcyJeh2mZ@-z(cr$zX)RsPb86-P({y?1$$yaGE zlx4}soW3oF`z=FeTb?6B&OWBsvi{&fzNdO3s25E7TW%802!ZR<(BsUyJ0tNGN2mHw?6+ore0ystHm|nUb9e;hZCt}#i-yQeK5nHjG zBPihdHVJd{h8n4nBae+!x>|=x@nM=AWa{4pIA1r9OA4|mfVDhv{ka-#=|elcU4 zh_U@BeQAQ^iDD;7i?K{+gK$QH50o`yBXuJy039|{`?hP>RD3W)^$4#W=b?v@zuQE5 zeuh4Kk&AJeI4_pQ-LOGAk(GWzVhE&2TH$o*V<)eaqhh}8MQbAHLaO@ zC-<1+hKyCgiU~JVF9O+jv^u!h~3`vd?FTDv7$!CZkA$VAZu%`EX`z2qpgW>jScmfF&pmJgdzCD4v ziB*M&bPL3*S{jfMq=lIGHyW^s`=5<0I^QG+R>2-;1Uk6}8-|R@-B=7`?zR*+lHn?iOll4c_rtFi#9iF+Ewt&~(C6Ibs%27?{N_TRJTcu+{x8qn zRFde&6_cJjMQ4_d5bDwXK$Z@a5Y4TXe~6OLd3!*e4$QQX{9(*AAQGdIsLYI^B50Q5 z;cO|(HCN_k@47Dp`X+b_T&gm=q-WL)IruIIFwh6c8wLHHE;r<(&#vX_zc_}%tsyUR zqX;s&vY#G(YK##TYbAV9N^gChmEHri*pP-{<(zLq5V%|i%d8B*OG@Qy@wA=bT!r7z zU!+D9UH>{daAEgY-L$SLKDu-j9>44!&XdlhaCE z2Y(>^Up$LVUGzxixzlA;C>7bTV%MYdu8xYIHc2GYsOIL&Te-J}=7WJN zM2M}jPvJ1Z3*)Xbb_C+@5UgC_OLl2g2)BHW+Nd0x|D;v1KegrV2sI;r{v({@M|fA$ zFUhU#_EWi>qP8it30@+SzJ=9rE^-)6hp)eiZOiJi5_ft}{)oZ5E}SUaXOH{zld(Aj z5kpU>yZ=%$xx%Sv7i<`4YMB*+pqFDb&r2Q}m0RZJ&Z{Pe~;PuW~<1igcX>_k47{!o*4TRdyr3zcQt=soqzYgXA`C!inH zxz3~Mu71sdSq$gkH~-y&4L=6$ita~A=J15yisWu;OhDkRtXUo5KpH66DKzcRr&vGZ7yTQu&4TOWtdTS59yFIVp?Z+woP9vv?9 zdb7n7kvgR_RTZ21K{hs3(@E0>o7x0SXX2MA_;vE1#Q*5LknLZ>9rh~sCXx&(kRu&` z;@h^d^p(3{zHY^_+7xJm^`K_)P_9rVL!grb2eR@R*)~XTd+B}9a>FMjwwAvOlGkm? z*Nd`iiYkROC~Q%(J;2Nh6A%nFM(v5+$>D(oDBSqUvcmK0^)6`6LAl3uy8q`?oh(|B z<3()>30G$jcSEx6LG0ulX|wesj(*L|emBcUjrFE-eCN!-08raEiqQV%8hpFpv;4%z zy}y>nr|q*cI5)AWQG#8iscdIMxs8R$=X}eN4Im1n2)uasqIBdU6`Ojh9TV=0ta9GL@uftx)hWCWwy~eL@1qb3-*L8XBnBVkH}AKs>qg1 zJ2n4d4;BBR>3?G@O>eW6#j(GW9Klbf{rK_rzf*!Nbs8o1lN+obS!M-C1sfb#SGjgS z9$drvIHc2WEk^Zl!NG_hY9FhD@|*J)8IhDMiyh-uDA_Jwn;>p$^~Lx+k&M8V54)JX zJ!4pm*g z83K+A68Em(3pi>n!novR?eED40(4^^Tk@_r&o7O-K?Gt0qfsJn{n zoW`aGdy^ygND)1JNT;H9L!_gx?%m?oo}vB&PmWgWpLCO2DGu5uL92xN0rrX@sV7KA zqa<341Tp3(h6~E~lWiy4Gxy$u-f+vV%*G)PUTKcpt}x}UVO39f1Ogc z%gsHyMBXK@geNChx5sZ58rktJl4wO6_SQz|SXBM2Byc2~PryjWniP7sJV%@&mu4g; zgQY%C1zpmt0q)OvJY5o-5_V%>Cun$le^S&2EV4cux_xB$bU%A5_TkLVgK_cDxHqi9 z*OHniE{GRj%AOwFca9MDvfT%0NBo1oSpUn4BT3rdVn6z}%Zxj;uTCxG2^c;; zV2`*gHcIJbiL7J9{mkv9n|xWS8^j$vTxB~8D>zoWNU=hW;?*&1MZ#S69T$FD8*8_SZts;Z6kUOJx;Vl~m8Ht=KCs53l6csuu`WA|%-c!@j@y38IZFgAit&svQn0%WTtr`yZfT5T4soP{0BE!8LQZF>&Z zF{7#8J{u7Ce=+oRc+;$UPtkZyq#&^UJ}LJ3Iz-~o79nO5{W<0>eefLMGl>QFkXP!L`%Kap$tLiIENA!91!qizwh!knnz|U{!`{6S zn!bo(cU{QkM*(cEyXo8NdVG15LN~j)aBsl2jqns8Dk#m*7et*xFRrrR$tOEZ;9~TS=B`L&?6A@SxcNwDT}TREdc!DQbwTzZ6k~;_NCITDu&w zuB#+t$X>B~ICyu(83w)acATySd+d+tk$-s9xJL|b(15&w6}KHe?YUcREaY(MBbKHg zlfg_YC&5|~b%lw1d-@HT%XUx8#PZKH7kI9Jc z?pqi(s+2LaR~6>k}D?Fly|9=sKs zU+0Lwu8yfc&rTa$G;1!}gJrUkgOgS`FEUL4V%ZEIh>21l zYq-p4J%Ewfyb^{;T|_B`tK9GhHRp;_=WO+PDg+UO7=^-AXXw6A@uFmzYyo-wZk2W{ zkIH}&RmhZN1x>SD*`~RsUiyjSH-}FJJ{hhd{U`;#{LrVOH)9-vBnb7A(X^dYrTO2$ zoA8pOzc(?UOX-PrQ!l4SV_w)wR_FH8ROhPP&~&QUidCtlX}H-S9@>@d4f6fWm9`2E z+z|?y9Y*f=ynF^eUf8IXm8PfP*rPW~G7+g?ipe-y2jKW{WFzwir@^jjV-Fo z1jT7k;h);jA=hnYnv9z(l_89sATQg^EZ2A}U-El%`t3dmW ziX(B1eWjA4@>V&5eUOAgk#%WgV%Jp*ujb|aLgCi|pnyYcKk-BSoYj!A~PI$}f zr@!oY7Xcda?XVSjz9s|J${h|pLqv%CEsv>`sj}D%_5M}*P!drbxN?8j(E#6K1njl; z)BiP~y2loHA^l7HAi{B(Pow3#HouG3JXJDmR`X#%wd`f|vXQ`@G@fYxt`7!2OyNwC zChRf`%YP5o+Fv{aqGFx%<>7Vn)DDLv2#g*q#iSzfku--&G$yVSiaWK(XmELIzugi* zW4VFho-=5A-UJ5*%%m~+FZ9;+o_qdMC=rc&Oem+}e8O#!A0l&hg961WWsHTyLP$!19;|;WujPR@&D`O zO2eUS-~K%_7!zYF``{@=Su#8^mQ*T2k0ravGM38HjWjLPOsPmlDO{YWDj&%VDNbPbEDhvYvqq)r9hRD4s2M+#?!)r;?`_=^m@CXry#+*XdO zdtmeZrL@|py&q0(n=?X|g|VB{a5AJ8$5bLsbsI!#mN|sM5jc9(`bV);axXZt z?xXrQIgQ@4u#Pek+2pmyxy&M!8PUCLocIU`Up_z%E{T}4FLW2!FN|c_`h4BQSs?K= z5hBaFZ;VhXqH%c911+9k7t}`5lE~m)Y#5)Lx>_k*Pi)^|bSAIDKvHW_muJS>>ac0R~3P!?4xeo8Z z?xmi6n=suoW?)s&kzjy2An-Zh$d+9mkDNb-Zu_jf7<7A89Y&i7jyM-dabY<^FjTVx zj`mUWt&Df!#&tU!96Y9(P?uR4p@dVfWq3%8D~RN~Sf2|AXxNn7sC`mbPs-cqF8JQ@ zZtJCzKc70`Dm^O-wzj;gjbbNcEaHSeWN41Hj2YeP?Y~fxLG>(tcflhR#bO-HM8-AI zS31;T(jdfl5r$^kLSM|j50TQ4AzdMhf45?qIaXJsFjO=g5 z$>t;;SH{Bfu5b5~UPJsLgs1_r3vSh0W$d9kwd;qLUB!kvvbd9=GJ>osCqikE} zgI(1<8mit{j#-9uT&Ytooa|33#IXOU{%Yx>@YVz5Uo+)W%F%at;a>#kO;`OiZ{~oo zWkjX>#*m_y%{VctYL~PftOih$qFO4!++(Cn5JBuS`->H)v&Y(Z+5!NSGYjPn3j(Nt zH{t}-FQvCCtZsb&;Iv|*S=LQ^NgES8G~wb4DQbqW!u79{+6AnIL}~4L3 zy|+$dBBHDxa%-_6FfOMq%9Hw%<^wDJ!~__ZZ+0mrx(eDMU*5=Avo;&D@ak0#%?oOg z#1rp4F|y_be`nSVjRZMzK$6Or*Sr9Ps97N4`S2g+I+T)LrOA75!L4#PEwy#wTBm*7 zhtJV)oVtu%nX?_3Hwi+Kh!zU8w~OM_V#87I>;857?1c42Hg|17iV7-`IUkENGUoG! zo34whC)jCUg?D)D$7?tmtX!DRW6rJa-9L0(^*A~IUihw}mDjwx2r>TtC3;`H#2;Ge z9((g6IBErPD`PP|FPyj&TT|n7AtN`^Q$Gh|nnBsKr_QyaS`n5s+iAk`NO>-1vZxNY z6n?h(tHJViK|h6H8LNl;^<`~1#fk&NFM2oOjs=fdp79^E6xgSAwe<&~t(```-h*2I z(q1yKBytOUKoeOuZBFc3fH*elNMKPU13uVdLp4aAZnnA8$&{LG*!y{E&Og@{uVFmv zT%%y8e_Y$MOEuA5=0L`5v4hkg%PyzRBlAzU7TGe3e`dResURb&btU6ajbTz1MBlBN zay_CX()u~_F8@ND$N@&9>E;{}M_Sdv_Dfwh@122=6ayzmA5-cIXe{^ux0-XKlJhY+ zY&4>e$0lt9lbd4ft1GG@sN2%+sV7+-S1zJnd)Rd|UR~!_fL~l|+P-u_qj^J_kQjkM z_dCfE$-}z9iJ;oVzth>Fo{zfO-h)$e?^`n7xNoLa@~W_x>(BBvCgoF82R#;fA`GD^DW{IGp6q_KOY*-RJH1Ld9 z!TPD}@%<$Pv7k8tE>l!X>%`Fo?Jf(4OjAy4@YM!!J>C~X^ZP} zkQ*E7ho9M~j|<5LJB>dx1D;-z0G)P`t64%o0^MFIrOG?o zP8Ww~Z%a)2&%l9zEqbU~2dd&F3>m5-n#{}^$AoH?-5v2-_0866*v0<{@+ah#i3Z!`kF;vO z=_5XAhj{1!a0Y{XVP%hJ4}F_sN<)=GJ$_;hud0C!D@Ze;q;VV%;&d_NeZhXJPbPCa zqqeNtCshg3H=cO*Zr9?&bno(8vs1LUjz7EWMa!H)7_;co`Y)udzFA*L1OY2znE-GF zP&?lyAjOe5uScBXN-^r5LllBLWkl}xT5pE6ZP4rn;*~YnCb?<7A;T7%wNL77sF#n7 z>n4RotEQg|A>4TC;KOJflL+#%gdbHuphqwC{$@jpu6#!aDR5kKKCyFu3ToyI943~J?>`LQLxyQ=AeqC&w10S`=ory zlHCpXLH8qXets*(B8^-@H(5bN-X|IvcGG>)__Zj6JGQ_m#rE0iQgtv|scQhQhj4Ri z(53Cks%6gaCz?A-BBeJxS?uZ2<@&SNUgtk|9s;+bvJSUMM~4nx9xQn z`!f8Lts0Jx$1(LqGz^g%oR*P`7G8@6?yJ?D)214;Wfue8rp;@r_@sHWx;1k#N6ZG- zq%rsE3@aI8i}f%HEUa4l#N!`^2eDTJ_HLhzo$cG|gQ+gf(#UH#^SL40RzVg+;I(c$ zd_`*Z6ua+Y0_A)9S>0L(fQm7rH@ADadw{*N?rp->^jZSlBOln_dJOkPzmgTD!M)kF zPv|8k?WeGN<8&AZnOl0UrNi#swqab6_^PH{9RF`7<~_SN+-tId6({@=Y zHA=EL0H$C;DnCD;IcvY>KYoPD{l2xHDTU3{%7s8WNG*Wy?@sSGHteUt!qZKP({yQ` zm);(L*Leue`9y%5IYw%ap)f1=y9RdZeIct9J_V!sx#+WFFi-&gIw}NXm8D6|cwGV6 zIFZyJBxjJqGS3QY2B;41vAMlmxS{L4R9!VE^U=Qww{bseu&?ArfrSNQx?bBCwdQ(8$!G=Ran zm7D1I8^?HJI~e`3;hq$)QGf{m=IboT7lU7pWlgok9QudSDdULi#T}&;ooDD|DIPg? zeud{&n&-Xafu%T?Zg!9AG}JUR%rHMx9y79V<``q4{LPt#I}(@w z!E^2O3{mXX75c2Z&)wp;?YBDQUGH`Dy~T+I9r19n`%r!2Z%*+m6S*}LSo(f$;mt%!tk{c5RA3U{$Xf)dr@R%`i%7)pt31B?t+Z!MT@TQ(4GNJG)w9k-4nOeH z$#qU$Z$dcuVFH-cD?1a6pDyso zbF!krtxq5mjY1wf#&0VCT{S8R68`9_qp~zVVdS&JT@DKe>kDw$+M#I9Pes|}ya?h^ z$xj85uG%3-h5&^BXwG^!tJyM4z?y~dq{N(F!5u2eViHxP0bD4`Xja0v$#FYE^eH4Y zW6pU9)EWYAI)(3OD^8oBT6LEfqlEAxKhgqpvlwmDJt=Tpami#F862qVnbl4Ke$>6wy4#OC4NX`8D`Ana zD`LkfQMBog%wQU(4K*T92hLhSq0PFC3dy=(12Xv_unjO7FssC_#g>1MDOYw@ z5SImD(cYTHAeGdQb7|&P-r*jjsCCzEAxg)S3stj#yUVHZ9zbL0S0DJ`J_Fz@PM@Wk z{(?^S?|zsRo#&#HEZE8G;^key2bMC6!*N-Ept35I5bqbH4e;fwUMKEUMYe}@PoA3b zGS>i*`|(#VYfE|eqwj=$Rf+x&Pj^?LeI zh7*}-iC0O~vnNEk3S5{(NL}P^@MtWX?fjgwc+8~CRmmi$@uHt~=WO#-?4P)GOmkV)#*~_+f??^<3U73Yi5X&edL$(dJD7WoB+Y4^ z^d*I$AB@LKx2@ZKDL|z(FZ0bL@ip1@Idh$D$?aiwMmlQb8{o;q!XwAqcp|5Q;`7Mi zSEBqbXW{N#R&|xT1lf|lZQrT&1T$a1Lnc|Acgi@No)=~9g4w`HuV>f32Uq7ea>%G8 zN!gmsd$z2qu#%uj*uaYtyxt?bOGl~kLcEK^N#ai6B1M|b7y{RL6HD{sri5XsLPo((dj8UBVO@(8!TvG!i$AhL zp_)%}NRAvUss=UkkXJx8J*g578Bq_N5#2XBw`sqi9bM3PXa7< zIzoccjA42FpI`Xu@JjCrYD9mnCqRN0+B+BVr0l4p z(@nv$rf%G^Z;w$UPuWEnH$M_~nr;yGYwnbUSyO}Q0jHHQtU#~^C~is1m=$Q-KnOmI zW}mH|%3ka>bK}Y*GdqP~Q|Josh{+$WIrHYXCvQhl@!XSuyAhAfon3w4XL4IC-es~O zd7^fL;Jb`f!NOUfLNw_d1J4cb***!`a`k@3%t7I2ywu>?vu_kgxwf@`!Yf@nuU7n9 zVw&2L!LElEbKV$JO_xb(@XnQ%=~WeE;a8neh+mgh1&^}w1o?r8k0`O`WF5rKfG>Ep zb&C)@e^QpKH+dGK>?Y&5!hsN7BzZlcVXOicO$e6#GY#TjId>!s!y5g>K$eeBAZmviD1hQP#g z`Qi1Dl_}Ti{D~jtJ_cCAz!m>~h~L%5Kq4fuaOa>Q())R0cO5Y9yF(y~C0UlsI)!1q z2bh@0QI)2_I4)C+Wgp`YQNC8{z|IJe6aY^DWbCcLnqB>g8u7RmMlJlhlX_@uD;)Z% zO-zt55CKu%R^mvyFCo6(L~W#&SdF$4hV;(~u*cDjxlOa*h2SfHa&CS{C*uhN(GaD8 zC^)isZWiKSpBNpzkETzXQca(Jppvoepn|r-4X5rtGltmoTLS#@<4TB9j58N7?SVS< zcD?#nZuye7gB(1Gu?X?wRcYkaQ7GKF^v=;qA;Lf`M7c`@y)$|Ka;-4n{xXGxU`mx3 zgTs*|F;*eIForue2b9da923&3rO_CMx!amFYE%e^Pu#zbI-x?;6XbHl< z1J6Vc7_V+wYnG+Sm0MI|aX#7~ofI8Wr=Jxh$bLwnO%r~;{;l#Hh{fscY5m<04t!V{ z`Q$~be;pBl5cwE5Cn~S-U%Q1FFkUcTQ}T!#2vHZ$;$&`n%8_K*0+qvnZ*%HHwJ6F* zo9%iX7Dv9%#}TFGuD1u zE53*(wH1TC8w+0% z)RsyZ%t8dUzJhlc&32a}5spC=GcJFgRf7;sxN+f%T)04Gbq+N`q}9*z4rADZSeDB7 z%11m=E*(3<)93Gi>0z`MMpW@!k~85pAmB{YkD+Uzl64Al3r8cY`Dngiq4r~|lsYsiq>+F}mNvWWi> zsabLu)}xtqBXaX#CR*i?Frn~kGk^w|O{CTfhF=5Q2VaaAArOA89+-IxUK84=4Tu>9 z={5drJS=ww?1`$$oL>7tGU5E1CZC{&hLE#o<&Y#|nOSE{osvqD7K@3$`ujz;rz0n{R{S|s#mY7x{hzxtE|wF zfH|`l%%;(3bJhj=3nA6gXhse*>5x3WB+hTGKmB-`RE_sbGpnNz|0MjVSbd^Pyu!!xX4hFze(U3YA5vIcL}P z0-ll_Y*y{Yl|IzYm~fPE=4_^n43E5U1 zIhpA6GOwkNzt@8WLbiqE8ivf@$TqK>qC&RWAf(GSvgdq>CO}A;m$jh@N15Lx+kYys z!MM4Gz{Zmd?C?ngw=w^}Xr95bu>hV=80^6^4zW_fq+fpd4RM$0MKQXf410w2d@z+u=9Q=3=4drrsJ1x!Qi`jlS59QIxo52$0hH z@V{IfD`ggVpY! zYFk4mW6GQVgaIIXNzo4F#JkOBP}y;{G)|eqFK@1Z7p5I5Ebc-|NO?2RMv;~Q0`FhL zVphYUX~KnxYA1g9RBL0(p z=mlEV&{0WY;vY#5FyuU$(eNX+w?AwjM6-GJThg|Z>wEyA+OMe;S*xjY`xqC{>yhZAD+XMbDpE03MIZENwK;*kTT`Kj*8d zT@)&-`s&VHqO(~29;Fv@`0?F#SgjZ6;RwG+VRp3+j5Rel|$v_^Gu%AYhFSnlV^S@hsT4M`vw@VH)Q6p-+%4%{RKJC>M>4t50^Z-*x! zkyNANgnrd>$*IyRJt)kQGVf`w!KgA)(me_vWn#=0&F@p0OvpWoA~HD@^`68Ff9B35 z@AKK(({7{TJ&RoDWrXJ?SwkgQG!OgmuD(kNtufH?0OQ9^ak|Q|*F_It0)yTs^u7Mf zv&JKT5?3$K<2Ts-Y%JLs^7J}WdwM}#j>nBAoyawz^$>EaLch?g=}giv_VAjmlv`#~ zwWa~Y<+G*S;xkoipsS`FUuH|i(_i9{$Q|qeR?O)PPQ>w~kMfs!ZjS@0*uN2)gGBrW z)<+wvQ#WC#zU)dr01NK}U=QkHj$eW12(geZQJ@Q_+AM{NFaxCM@)t?tA?mUzz?YVmCAA;e#?at*yC zcBKowBzz^@TsXm=^b#ld6qdm02lp7C8+wpA42;|Du!WDY|5ts8X_d) Tv1+(a(blaE@xS7?^Voj?e5+};&$zLxh%q>vPBsy1R0VsI#WS~?cSYD zHx*%tWS|)ABoLM1DiWPUwtFTflb5ZiRAt(O4?5kTXHd37cY3dM&!Dq zFMWUV!1Mys?VCR6A8Yjg(Qqzd{vtc%mJhT7|8C&!bSu*I50?RP!}w}hQyagyB3}FW z5D-h-ZwsNfj$9aDVWyz$L2bjg)jG^?oHA0|)htkuWv7WviuV!}Ivq|bjsk~mPLsL!hMu$}-9z#L};?t*nd}6|pCK3myzP^LS zV|B@c(09jBdpMQ!%bBr=g@P9KI1rx-`jmVL3(e|YAeIN+PRysphxahQmBIB!Y2J{R z6Q{(!2SRE*clT%E%;MND7P`GzIt*l2u-%E5r^j=7^&}9lWRjJzO&S4mNw8hSw)FUX zqY7MN0E+W)#7_80i7HNO>hyV#JT2x;r#4Rh5@@bqptoyuPm?V%=p7AP=rLY(xI_(x z?Xd!*y0g=tho3b_`+$-=RBL5vxIM^|O1E;_;$SG7$! zhK6ml1NwUn@q=$)Tq-x+E`5P4rLX`ikzA8S@`m6z$TsksMXdO2Flg)!(&SpDu%v& zedn3iV;NuN0M9!~husCt^QOmQW$3~NPM}*H_CzMxa_WZ@ZGGV-OWBF(#aKyE!Yo8u z{iZ%~?mc$inWREBuH<%MGJ`-(NfO_Sm6pChP4YvH58!BuGElQ9iSu!^xo@CmF~hw@ zSV&RSnk5Wh{%Ir`_>Y{{2K}F!l6V!Tm7-A9&B=H!0c{2zem|K^-PbTYnOrxj+dKX9 zvD+Y>P43mE)2YDiMM^5&%Swd)DNzO~;MG>-cVeeO>IKT}c$ifa{9R3XAqqK&BSrb? zFR!iezot9--L=SLp-*t~S`^A+x>nA^a0cDXGy?z8$V@zJq5JyXYf;ofvp9J@3Qc2I zLZh6v1Nvm7*s0e>ot%7y2@eMrU@?_G&#P_yVgzbTrP+ixXbnuIkf~IdLcLbXwa9M) zxgG~{@$yu4lvmS$s6z2hGH@%IZPY&Dv|o4gBa^0ikb4SUYo%syV!%!S3fO3Qx4Z?l zwTOB61n}9(MHsNqdc-c(eK?O3v&kDkNT+9@jhAXr8}~mj)8cmrvRR7mo>!0uc)Gew z>Mdl&G48rxR{In4{v#@5ATJ)L*bBa-jQ--Q;M1XrE z^q6T0Cv8JhU!SXpc=oM0%BwGM>NV)w2!)%-t}`8CA?5`fF{quKItYb&=o1KcwnMoG z^V4vMm+E08Ma)M>fjnAuBR56cuNNzjdmb7v)0-lv+8t!Jg^Y3<)QiiJkdGoJYKxo- z*oh~d9OL9jlRtwjFgEOi;dzyP)kw7C&78arhHSJ=AD)So$f@x|MGa`%`K)5xSeq8^ zsGLjSaD|x-N3LQJdSczhPp@vRm``AB**e7ei#nQY$Hxi_8Y-)!g|iya^$m}Hwx_u6 lesV4&`PBT|S`#;}IqNG{^qMkUdiIv-N*6C%)LpW=`AD*^>8pa`zDsUMIa)XItl5lJEhuvm>64aip+sC*PdsG$LCixLvx zG?hePRmg}4F;H=UG9hqOT9#5NlMpNkA+>IG5=qb{Kn)`MhMu$Czx!u@?TIAS}7K{55d5Ej!5w#FA47XyJtB!F6`!)wDe^ zdkBP^6^<_wmjeCuoP9@65eUwA?bnjN?CU86f} zz+{~Zf04q+GXA>a>5l;Z!JCFrB2~6wGnx(X-QhROm`O-*@mpTXUT8XC#Y8D^-ran| z7dXeIwOhrW^0!tr=JK%>aS<9oT2%X~1psV(X=ed2eo>Xk$FhXsRp~&Kyi)ZE5MSQ8 zcp8Ya(u+JkMlMgnTYDi7iYxnA5+bO3n9oW=9P94pgQy*Azi9cU7xIGlwje-A9a_Ha zg=*>^Hlsk)!p+^i&?Z{nSSlZj6*_mS-QY`ac<1yHsk>Z*#|G&_&MWL~X^2{y+?hZZ z&b-5ZdlsaJMD6=}_-uq61*+-H2unOZS9ND9#I z!7+V4z|yThXMx;=@O?(hKzN&m92C!h*}?ja1qCQV$aO^_AL|ZtF`C4lnPC-phQ!mn ziu->4Pj2wMM@Y3Izkdc(C3o%=pY$e$T&PLw7h@`i&gbHjt4Sfkn*9D9mVuxv{zxX z@*}EXrmaptvXnO~lORHI;fansO3!aiM6^gzGx% z8t&cwlH+ShysygDJFVg?ew}YKZLhEzCWmT#Sb^J_wqFL-vpB1QyvCixgC3`^;~F;7 zyUWF)H|DmxE1!KuY=G-sjwYh7DW?_025G$u9?BAoztD>+r1iVI?yy6+v-xyq3cV<& zvhg+Lyn^Tt*Y8GD2L)MAGy2=HCLjF+jfezmLU8vM@ktN4g%T7=Z!cxc!iuZlmp;Ij zASpG_d&|%mW-A4$cGQ=M{npDL?ah}G=``6+Ob+$8Vj1yle`ae6QthP|iv2v~k7)TY z0OzuUn5_p9)8|<e0>v`AJJj5ih0GWxH z%ChW5ndgWar$l0`X*c?0O2ol3oY=a@fb`f<<`oH2%6L*c7wVtBN!`8E^_IJ)+O(079VSR6^O{wh;~(* zT{Yzn-~I}`-$2|ln)m`$782)30~}({0XpFabKQQ^g#V*MJ{tbO6c;^39S;?OXkQZki2P2^v|K8sAOa4^O zQRXg=?3tB=e>I$K0I%d5@u#vE=0$&8t7Cw&*nnnEyTPla|5ii~u+VES@#aN73sd7Yvb_ z7Qc=3kLdodVE;`*UWNsI`!Oh_P24#JNaIs|+L0v03!c5axJHbh{+>uxxN;3uV9dUQ zXQm~9%>fQFFYXc9qp6dg=CioBVq!VWTCPlx@a{k!VUr`NX`Y$M)_B&86P#H(-Zapi zirgFW${XEG)xD~Wk(7Oed<_Q~5noSpFCKzUL{WEb;GQSTP9Ur542IN7A;-L~5?C_qp0n10ocX$wI)KA#{#(X!qhL5?|8Z@cz27;Ah(%4$H#=I2IXKN>f zoNYEI)<`kt9Bxn!paEKcEZ@@FES!1U)_iHC3cDO;xHZ5yfvm5cyr1eDpmo3tz@!$= zIN4%Z?OS0dT)`eS31?pCohR#xv6q5S#Q-N6S*ZQV-0Gd_P2$B%%qIsR<0&+{28_TS zwRHfj6b4J+eEM_9n9ZsBxfQ6UKxO-J#2OSFGf7%anqOdDdnhguzw9BaA2Vt6h3)}% zybdxNI91(hGSe2sx)z{~pfAV=wvSjb&gJGr#3SZ@fcCa}TF4nX*at0(ZWGQ3j6T$Y zBvgVGZo79Ia*3VVrVUbmCfpG{6{u}UFQm?0XRVdTkkcnsyE1>!vSX5723B%UX2v`370v6R0?IE`gZpWf% zdLOy9Q75e&M2SqJS3MTB@j`@e89Njl-dz6Z(g#WQV|G8JcySwm(QxqgPd){Rq8|>|bNJ?x(bNGp~{{qGB BJJbLG literal 0 HcmV?d00001 diff --git a/dox/user_guides/boolean_operations/images/cells_algorithm_008.png b/dox/user_guides/boolean_operations/images/cells_algorithm_008.png new file mode 100644 index 0000000000000000000000000000000000000000..12a0849845a7e60a0649dc5f13d75acadb4860f9 GIT binary patch literal 17270 zcmc({c{o&m96vfU1~b+%c3Eb|SR;{y#0-NOvWBQ+DzZc*g=}Mq8SBhgD!WMtm8@wq z+6kG}VJfA@Lry}#!^_n+%|#(d5>pU>;Pz22X5&gZ<((Clq31^Hz7 zKp>DHiAZn+zFR>cuqTWMXx$q3xB`5EFFRVAg6?<9{scCl-gp~42=p+6fAb7Cuni9) zx?Ki=gkJ7`z-@sQo*Vl47E0H}@4=IMbBBLG&O+xWbQA0RE@N{Vb0?BBs$ zb0K4%f30Nm&La}LEtdgId13M}pi9+R#(^&L003R{B12Ijes|x=cNpH&kllV)>&?@j zVE^GYnhTxe+TEx37UO;I`fk5GPe$eki`}tlwH$+wrn@b{6XRJIZtp62O*5FIX}_z~ zao2I`N!ISZFMbTJ-{4&o3Bxaiy9d25GWuo(fjvQG5(Xouca88q&&ZsW+uda$VKAsx z3=HgKW7-Ur`WvyW+>M+PTan#^V9nstW4qE%?N7;{>faqH`3f`HtXdI3iW6<(`0kSd z6dxmK2Ir*gnyQaak)6Qos%Fc<@EY*$qQPCqr6v=AgM$yvg)XJd{BGWKKpi7(yg0G0I=&IE9s`b(5?-opF@uI8PCVsM6}7-tb#<_cGWvS7%$&n zFB~1zXT1582^z%S{ zMs!G@@mILbMt`~9?17?Noh^F1(c3?_+I7vP&v-7}X5*Wr3b+vm`0dk$L!+PSGs53x zr|+;N56-^zDC}%e@*5e-q*Qi(R~W6g3%BYs{w{5^@o7?TmfvHrUMtGC@AjmvMO!mvQLX&B%Su|l!^fZ3`g$zpmPI9n>dQ^;yzBBG?pjSP+gh>< z9Jbr)FWbtp^BuNZFD=_ju=5$t*m(3q-Z65?(!-W|=-E#z)2EXWdb3ZS|C;a&d%ag^ z5h8t41*5chbtK?dmtDZ&J;?5U*8QDQ6?dkQR>Tl~0R^{hUuziyWG|Yu_?pZu<}P10 zY4SChyeza@-DODs)@MA6quOncmuOGS>-~DDH(rL%w2wIJcEO=pb0geVc+)% zJJQVYp5%up9eerc!I!xaKMp)@lBo!gEQGGK?4Yw2=UscS;oYqdBHa6)e?MH9z8LfK zhTh7U_49Fx*7mouEtZzwu-4`aE)?%83ZiIh==~9fsRP7xQ1uKPpG85Kd7>PdDtI22 z>K3!%@p!}R3+CA4U%AW6Bf{5~eeDicZ+=-LA#RgK_dH*(%4_;o^}N!zWnr)IYVrf0 zVXd8ovaMRJ!*nxftP}>ycp=KN)5BA#0&`2YNkq~sF=vO z#xI3`6U|#T=rTySyf-4OqQ`SiaCBbqz1QmcgTUbj8;{Gjh94XmyYO6DnfKLAYZ#|n zQd&d$rkzAixyhD2x#E`o$3}khxIGv36MXJ%W3N@!9$g$oD*a_X<6ZtVz4pqA(LMTO9shXnlvaE41rH=^H0cDXm zK2b(&2a=?_22pa638H^}HoD>XJ?(lTH}4SXK1D!Dot|m_y&!q`>H@ZVy6cUeu6h-+ zBsW_NvAYfo_#`l0h05F!rDb z%&kNxm5n@kHiA|s%J+nM;!jkzyNuZ8LbHDQd{bTXI%t^9oD|+B_ic9z%gw(uiCl}} zUmsnqel5Jo2IpWgJT;~ErSm;#rnO!SMF87N;MQVrBcFd|7>}GGq$DLFl)y3x@#JX^l4A@l4agc?mSS)f4f}~Z9DKQtgu}G1d#G`+yg#!Fyf*t3C6b2eI6~P0%!30@ z(sZJp`l>q9suJ7DQN-wsXt@@c?cgu>U3?!VyJ5j&Nfd7N8RQF>8N6X2c{m%wmabZOe{} zStjrYJ%m|t{Xf9WptRYm<^BT5;IP5DpC@uqIbt~oJwqH-)o{@BL^GGCJ@SaM`rs>R z3|$2Wy~dYSNxDh|i4(Z-`O^7>`C#9pArv55By6^exVRHOnFS%Bd=p_=4ntS*6Vx}kHa8g-=dRxV z(CD5?IsdlMRzK}}=rx0d2RqmLw%-JvdI6+#*wo=uT&}@X#IBa-#+hk=Cpp+XK!R13 z8am-kwY(dIc22fjfwydp+?YSy z(kHxO5cLsxjw%L3eAnt*i2{}CBH~$Es};q;m1%s_dzVCFPeTYb*@~5sOA(0}(|{2r zxc<77&6_Xi@*A1gl5U*a`8_8;AJKA1Xx(TYuoa=Lfo4siOjoChpSD_X=k2X1^}8Ks zbvK!ha~qAR$>zq`8<@&GoTLUwL>T~Za&Q(&pL@yRS?KEM&K8%@F%$W9`TqeFDJ0Ua zq||Gyj)Q7tQ2G4o*D63FRw7`Gz3H7`!T^8~l4Ag!m~3p+e)(j-$^5Z6*)NB;P9+t^ z89P#?auAGDafloNCdsN;TpSAkoR+_vRat=$!M6t!prs;F(8hChTz{iip5((C(r$g~ zpCQ|c1g|#aKZkyfS4vbNU~f=?(GE`Yq`DiH>UTQPkX~w~NP*WieCU^3Sbb^#+4*xl zmOSRX<~-)tjWJ6~?_K0+FrwlFObJurNASMYtEO}*_jc~&@EeT)zYlk9;UC&W@yzo9&v5eL7@yG|gh;>rv7cG;aY73p_0IboTkO2TSJQdLkIEUl9Y@`- z49rAozKwwHwJMOjITU0gjQ}-#+aWxq{%dC8%=2F|2kLHJ!uB2>{PMM6+UaXM&Z(xo zF56O1J!_ny6leHOcVO@`K_NC#rohV%+UQ!dk#)?^{{cCPa(dQrWP0ZXrC?a$(R_M{ z2ugDt^X3_}3!$@Rm;8NO{yVlVUAR$kIi zx?k%lk`z3pV6WG(22QHBL$G zK52q4tc+ltFVr~2}XYu2({W-I3DkHk04>`uX{V~5`%O0*o()h&!2ax_@}R?Jk5+Gku( z+J(gN%%fbhxfdRle-F4-B`_E@7XkBldYMPUnx|w%iaefrvejgsAdsh#0@E|GXZi27 zh@#b|@kEhomnBN%LuAq{_U@Us$uR2Eu{9a<6M2&&f9Jn*40fBrcxwci%@=Yx;cNv8zjMLK@Uh{xhl zifnMeDsR5(Z7qk!wOFLrN$mwWuWTCtoxWc|>fYPp!}U`0uL zG2B~+#cTo0hRP>%+h)B@F56Ty4_5VNv6e$3%&&CF2PgX8k}D6JX;w?c+zsb8Lgx7d z`L{1U3KSlU`hD5Qzh;h0(9)dPzTbhe-||sPez46d?~{GoY$#!LRQ}i^mr@7Q+(DNd z$gnD##{T-7j&0W{BVOp3bxKbEY>R-Yl`nn?3a~EBayhVMCwQ;kcK6U7n`yPzMI9nLn4eW_V0@afxOri*#eke;J~Tr( za^r|;{j(unQ*)SJ<_v;c^}4yxW1da3Q<9AM4D*m@vm#0zfG;-LD(&Z3U_srJI$qjd zmkT=XY|h3%`TfoK$Ixb=kko^B-3r~xndKVlYS28=RoG>L{lVSC^TI*yg!CigJy)76 zvs6bm*_K>ZWl`Cz=RU<&A}N&}cZe5DS5A?1=T34f^4YhU*Oh$6UgylWFVP?ZKqAqQ64QMda!CI;uxLwR{9nP>Qzr;-RnGdK@5f(Wt;8ImCIwtrHKJ-g`FeEDHq z!jvH;CLTtBij)ZV+{{U0#bOy5JW&&l1qSop%)4T4q|$&7OahieoHv+L%iT@`_g!=- zMa*Q0#WkGfyF`cNSORM)+vxXZ<4zJxygoLac6$X3*<2HfX@2P;$M%>;VF({Z#5A!f ztPN4tLrq~;>;p0L9`+4u8qfBG`-~bUBMW=hp@B(M>9WUYygBAST+VNCmh}ZR(|_K8 zgzh*+M7ySm#Z53??i1Vz`k@%C+S-AVU9h{tzI0@Dl%bDdd(6!r;vJ)Phq_aNb7id$ ztYH(9nK|TBbI<=e6~2V88rxKNJ6^j883to?Og3JzsvWNkj;BSF%NiSn&PSRl82w#@J7f*L`4TC zYe0JRZl|SpdY6~iKqdQv zKiwHq;206o&xy37WRY#Jz8=9qHZz5GG}tD;K_c6>Ni98i0`>mexmi1jHRzDSYgzRh z7~0HlM+v(T{Y57A_3`l5tlxiD?S!NRb!vmHoD#5F*9Z5GFM>nl0r)Sw@F4`-?*P0A zD5;?aO1{3sD~DpYOwB)#+jdTh`O+%-^+Cw|M`v;0qFPlZ;ZE>fEMoz3QhnghTO#sO zSjy|Lj^*h;MY8*4#Ae2Co8XAG-c(>@f**CP#%s;5xa_xeJ$eK&h>R-_>ch%8gE# zu`M<^__smhyNLnW^SkU7vkVdDBlO_ifWD}Io*GjcQ+O3ZNI$EMjSnKqih95P^Ec)Q z*!8E|Uo<=B_q>O|_Ay?&gr-?Ct@xKI6!StG2*zTN5r#B=nA3PF8S9u$yyG~cRTCbY zO;AMyRG8iR6sFkX(RisyU24*3NQ)3diKOsICn>NZDfF^P3Siy*!+GH|@)(te2=KZm zBAo`@DuY}?u<0u7n7Mfq!R-r4JA+?Gug()zN8~Crehy<^M0+u=@oaaeVHq}b2BCw$ z|H$&3N^g&~gc}KytgR}do~0@(bT#eauF!~PgRf?)7;A+*VfF%tmT^4>w1_Z(qadja zz?bPAm4dFVijbObJ5546RWEm*NbWSntGsBL8KV_nFoUvQNV(}^(^%oIJk!!dWcD>4 z_3TOya+7_rs{iTYkF|8kZmn)(*29=S@~3jXvU`1oN9}xMGXE15TeKNYl_f~+jjvzN zghoJWY89^-f$uj<9uHkLk=wQe92qkln+z;5P}zUY6VPs@J~e`HcDEiMmZ21Db!XV# zJMX+I-(UX7)9epXV(nSuVV}x*QXRztZ`>x~Ras8l@Wgel1U*w(jSSf}sa0B05(f`u z;2c0mRX!q*2zSs?YmiHj%K{Zty}9x;$UW)T;Zq~6$XMA}&*lsmJ+0#9oJ9}&2hRwD zZG{;*K()FvEq{UkdO&W8>P+6WtG`my-kN(ERHkS_)$5b}-2}0jU#g+60 zFtIq2;w+6sa0fZ%=Q!sNu+k+Y`0UHMj%CcsXUcB4-zkJP`j$P#wLc_MAYYB1G};y0UzGlH_Wptj z-y37Wr5iEtG17;zC{KspxMvAErZOdh1xa60WUmQrdMfbF$rggDE9oe!WM^?xKJ;;tWF^e9rGSWP-^jlw+306mj5 zSdv|BHx~M0fI$v+*gMJGNu^yZ7f3F%9I@W6d3<~8Qn1TbQb^dNmj!Yt9w@^oP9Fio z;8ih@9#H%BrEj6m>S^kPPb&x!R)_C6#EYu_i}CBncxINMVcDs#EFdXpCS zFzWH#mMK%KPI(>vZd8Al5&k!79-QdEWYyt92Yr@cfOh?#e@%UpppbzC2UV1GAnsUq z+#H8+P#B6$v{H=xhp!Ad`OjY;g5?LmaX2v;*CiC4d7i}&SkC>EPPR(F&DUd099t1t zle^PKr{p_5@bSF#eB)wt=)Z)+)&v%~G!4p^*JEoYdXxa}g-fTR@g82V09(N#9p!9U zPyW44`Wjh19maR=g>R`874 zeCAUDD=52UUER#duVT=?tGtvJZTZ4=?ecM6mz}mNVU9`V0%J5efaqv-RbOR0l$(Vg zx|x2OF094_XYutcW9LUy-YoMup=-T*jgj;`OxNG@kD1vf+GKzGIB288`6sWV(rQyI zALxB?OHl(vvqKce#h? zr-}PnU?%ZjQ02@Le2jCTO?ORi_X~B+%+H8W1Q0ymi1H%N z9AWwiy5P_2(D($RjtBZ%bd$;pDI_7VSPBDfE2VZ(@ zG1Z5nTPMznBE%abm*k$VU~2}@){t3++LJ28RCKHJ@joM5dYccp>#!(AN%#l4S#S?W+`CcKdJP-$T35D>)nBdOhb+D49 zW^qG5q>=BH+se)2rcSjY;PsheNc&>EP>)L3((Si-Q;9nbWFRA6g%x4h@G?3`Z9MN> z|J>bA_N^t=B(J3Loa}sOx$@`%!qZx=SFtbxSE)FXpSjC70@uMV`gx)*qgYI^Q4#+$ zDD5+W7d|Cr23dzjA3hkIe-9u)#K`L2O0!*4;-NGBc~%f)epDvNn@S|ZDd+GIb!{il zioTH_QrUZQ&-SmVT|#oxb+zW^r-dFAfI0I_A?#Z^AMJWSMrH{R=J%rN7PF510L>;PhACDg7#({unqo<=L5{`gf~j+lc6j00HizbK%?L@ClV;4I?Ug#8f+ z$Qsg;S+AvSoCpm`J+2sQRayw0kwe0}gL9ylH=xmHZ(LUbcZ#&58K5ywV46i%s1u|` zku`pG*A%^7dq(v|1E)YVjvBGX9CD4viN@ilLjCd`)SVx&-=fXI)^U#=K)ARmuTylg z&*3Yhtul6y38?Pd!O!nJ8mn_fagbaQI(f=R35$E_hAjTGOoHUInYf;8T zT{ij(EnDn+y}lOn&D;EkVK%(uVztT7!R^|?)K6wx0H9wk4U_|Q;iEzS-k~EH?9fzA z_{>k8Cn>rZz#{*=?xIjlw>42NWn}lQltvpWbUVrn0~W~0kAy{=-blhSRKT|9NGQyh zCvZim*d2||7gc%fcIiZZsGl<@ZjLERCo4X5QqC5ueFmA}3XX2ILNjoVK2gX)W4!Mi zoyZOcriqZ$0S!_3n@#7pz`2eGUeU&Ct>_9Cy~^cIfYi&y=hkHp+f6MX;6Z$LkbGVw zELdYirMnQFO}yloFJAsST#b<)zzm;vw<>i?A~up9``&cGD5-sr$NYs?2>g`4(p3m$ zn*Pef4U|l!0R#-c{n>oj64Gc>6G{yb74sc5@7SaA<|*wyaGt|MkO*C=GsHA!#2hfl zpxUF8@Q~Wndxyn*L!JhUBfA;#m-gE|gA`~hAEiMPv=}(v*>WbOy~++UMxxZ=AZSc{ z?s@$Zz3#gnl)BoFNmLvwmFw8SUU)5XRfCy4_b2N9%fJ3HxII(-*xMR11}$%ZvzMxU z5p+3h!rn`D*vK-2rr*t@XsEY^gV&G;W=knkbTHx-{$|jrc4`t5; z;g8nNoo;?Hu1y0{2v`zO0^8mOQXE{~r)(%!(Q42TL$wn58wtbz%$maWzWa~_XfTRy z8QVCO^b3g3h%VLG|IYbE*%2jwq}vByF&XZSaa$A_$J$`@TF#I=-xTV;b$z2sL3EnsVOZ(MZ^5M6G;m42~wGknM7T6dG@&0viP0~!8 zQ(|Oz7K`t-xXgp4Li+G{L8A`gv=t*US;^b|&EO+DL8)hu=%df#Dvt7<+vq4|)LD`z z$O|7BghFTz%*>O$wyDQw$RR+HUhBO2nmV*Z8EEURB+BhYga0V`HTTrX@{SojIPW%7AX_DhEc9Jlj!|(wO+q7Wn3@eL4=Yp3>gt%02ce zuy1GN3g+yueA^}9CHMP*T@uIc%l+EKunnI8PoH@?@)b7h~<$>ln&R50#zQ3$7)(Hjt)r;Vbp59(`x2pM1VAovt!?L5+=025+{5?jp!X&iBepd5B?DG!$kZQ*@ z5L3qYUL@NEAbEvRGQs1o*1)H0zrI?+&D1j;(F+k&IzdkhWsojw49RSKj;$5a$q~>; zcM>n++OsNfwW*ny%nEsPXlt`3#&R;^RQ!dW%(2I(iblV#Oq~+te!9ptw^@9Dk)I)k zgtJ;~ih&e6B6B6V!QC_)oo#ugaW(hC>Q-&qhEuD4^UDlJ^f&gA)P!5cTK0FdS}QKg z8a(CAd|i4^i-x1Y0J-v2`;TzRB7F(3sYbC2YVKaFR|q_tetR+M{_BJ2Js&4SSC6o| z#U>?Lm$Z_Id_y0#);kc`Vx7`RoQ+Pl#Q^r0F>ukmrmE8M=C^!y+Ky*ymSk~z1>(}N zPqK#$vLp$%bFH4*yRIFRdt;cX1fhR_D08d;txnhIGh^fL%Dcsly(&bR7Tx|u5%}1b z1N+Oh>OQv__bl*mq0hUwct`4_*B!(faK}S1E>^ykZ8|M%ANTPpe8GOf0c#Mocl+kJ z>zvuHJRF!1`2vLk3L0St%}m6p6!9VJPI_ zXu}G0W^4E%#pmf;{2JR;tyKBeI#&g^)^&UFX<<}zfaB4-gi!gINJZ#o zNmg7wT6=a8!j#scVRlWykY0`dwnM@(cmD(sr$j}>m5Xw z*0eC;j>8iV;vI*r0jtXNYoZMc;B}{ST?p5_<)3j3$?npz^Gm#kACdATR~>!Fm*f+U zDyOxdL*6<%!TrmLM!6zC=gL@&rNU0MZ&1lSmLNtk0W>x@kgg~*8C>HCLoPXA_cxtc z;a}UQ?H3mbx`K}ZSWt?H(MfG8%~*RW`=KoAF?pODtE9WP0*R*ioSk~79Ugmw!03zE z@1`dcMyik2olh4xC_-U;Ceo?J;-hBRpNbSBV(UJ6t}h)-_xKMg}g1{ z@0%3~axSsCJZ#V*9r}zCYGq8Z*$8Rn@Dr^n`Wzo95zw?pZWnW(vUfw?L}tQn9nDSS zX|$@3?gF_^CgKMIr5y!MqXndYEk`p9uHn{T`oR^`8&= z-Jv&H(S_}!NY}^Auc>XaEtA|4lG2Bo!#SEA$%Hccu;{|7IT~Y zDd7vQ^}QPYM_F_DO$`zudly>yu9i%go0Ex5m}PRlW}M56F(x$@@XS#(;2F8J0BKk0 z(qsg5Dg|<vEN{4wm4EDsg@Zzt#pK}AKyd+gi@V9c3vB4k;Y=B48kL9f z{UkzNT#zH^Y92WX!c?oIR38W@bgEFHm^hbZ&hA2V77_8e2$6O{de8``!&%{u6swUt zTZE`mPq>CNw3Hb^6=-dn^3EH1S=XEJ$(`KV2n<}@C(4xq!&K``QRNA>l3pylft)DopjHKYlsQU&9`{ z%yqRcUn`|H$ngxe33wXPF~7t!c>jP3I_Le)`PPfi*XZ{yXAV1gALa<~rAY$tCCqji z#gs<1ylaGX?=!Uh;^*Lq&&QAK?{bj0XW})2dW_Kr+r+p-!rm036w%6)o=Fg|wR1C% z0wq&@*fzZfY9<9{${ut6Xu2x7YFgEDa%?`n6)rQiRrfB8|633Viwb8;NkhT@`^NT~ zMiWH?*#RbJ%?s*gQMaB9M!xMX*95wEH=Tr-5S6z z@>PoP(OrRw|ECWjOhP|^QN!!qFKMq+t%>CL&WfImk?~qR7YrWyb6i!bhho74*Fhic z!JSmYv^9~lDX?mpYI(C-&JCN7?ZTa+dcx$wfPbd>SS4;*H21bjcd)RpmUvWCYMm!t z4{!5vAJZKx6BnF`%>%UQPVUcu=XD5M)%uvMwZ2YJp?K0^`^#iry?6sDS1tY>GX+JMXkhV$xJ}e~_o5wQb%!CFY1|(#|LTZb;M-Go$OJBRbF5BQ!^{OY0IB#a?q_Pv z&&7DOo9E(xK%m8HqhdRrAtMl^rsnUgSenrLnxI;WUs3m`-$9;l-R}Yr%b}!L!Pb=9MRHcSSvA{?J-aM>BZcl zJO0gk#erZeEaBdwQ>Z+i>p-g7Ym*yL{==If%-|-w12e%(O7PmB2s+IpH~~gbuG=U% zn1c&sj(JPnA>XFxb-W+icf|AU>3igB@eQ6Lx1z^aC49`O>`HAt6Y{~c&K=YsqcQ|e zr$S5E9`i0vS-SMiP39T7n}3uXBs!Z_+N>I92KcUiPfJQIlX)zE6(M@|3aBy z9}N;&U*K}NjeYUwrWHs6H34o^C?*X40BiWG(}q1=l^lY><2pK2Bg*wm?vQsLg}40P zdORfeUpZ4(Y0mf_frGjTPVh$2bVOQ}JD3*dsBEqk+n~;yim@mP2IqmP20ZI?qheG6 znA5CcjVN2**WNB^HU-7J9bPyN& zNA&2aUtcx{!HQuZ@C;2m82sdj=@Y_`!mGIUp}&WJk8S5P86MY^@=qM7IUIaVn5q1t zEZgE3l{_ILT$2GaTD`0cIp?h{Wd>?jVEvYbtOoRsLy{rm;F*0mwW+`ibUeN9V0EXn zrBq%aITSb@8{YK5KuSJ}#`1b@z%UTuEZ(9-UpQv~&W=8l)BT13}?_hol%$3PA;Dm}i!=e3MkeL3_siI#6z( zt0Yrb+AM7q@NL=|=(rn}QQ>hM%CRw7NrnLP$d@(ib&rK4Rcmu0$m%Qtf%CGr16{d} zrc~m`!Ppl|TpX@J3A}-rbbW{&s&>7_z6Q9|F5c6Vfrw2=u9>E>JHFG{e6Qob#ggRB z!{f3o>8%z#z`dt|myXZCO08w*-0>K#nCflsOMfOI7|47i3dAo7?G8U<4eBT{RDCJo z%crdSnvOTx7=AP3@AqYBqd3zC!0tfCF8I=5!*R2VKoJ^7M>V|BlYOf?epdR+nsmyQ z=r_rW8v`ED`GxWfP@~8Xc=6|wMr5fRYgpEjD?30W-^Tlav{v|!A)uzq7pUp_!W(j% zN+~297ZQmTSHl2aK(tzNld$=wIwVj1J5TYQ51dC0P0lUs>RYvQZ!_FlEwvCsNX)phdx?#EjCCRdq8!O?HX1s=V;lir_PHX_!}!O6m}aiAZ2Ap3U^IA;`-91Pmc ziOjRh6{QQHb<6E$z)2xMJ&ZhLodNg6^kiX=8><)N&7teC99Z=!3=mbl<29aaZH&$s zp-@0SF9U(OPDK--(s7|722YAdlVuf%3xvHbrNW(a4J|iJ2*;l6=@+HIa88X?CJWh9 zHprtwI4DXa9malA$(lSpVw()5ISl(=l;7hQD* zr^ZOJX31i4Ds8S)5y4jtp5}isG+t>v;x_rQa;{)>I$A4gbJ|X~0ZKm2z(rM=^yF69 zEG2@*K?KmVBesItFm?oC!|F%F>^KpJd2RI~LFZxhei!*apfH3H0+5*nq*8B(V$t5g zSK(9vW5X~-QtR5YrH555Dxj1U zk1g68zc{zG_*Ab8_35Pb^!-q>HDT!~KH#tc67fEjJ_8 zBYjy}o9N;7@#8l8S@laMIyo2jBRQ6!Yhc+&$%S?HBeqOvR==x5#lHQmh*-GyL@caB zG;F^S$~gm@5k@C)+wqV}OCnn>5~&C?2h&%Gan3n%OZkQNpZC7M{rT+s<*wju_i024$o$w)m%s_d~dEgmOk727^`XnhX6W7odsW<)LH zShK1I05YzRDzgpcNzz%c;`34uW+#INq#%^xtF_qT<`=JOU)1!{RaDRXz!Ttg3(#>9 zhu9k9905HK`cX)Z7$!jlsBXr*IW;8{eC^ljho6dVlV6mg$_!hUK_bqKTO6B{+fI<9 zP8MaDVa6;wRRpNOt@%J!z zp8OIm9UP3LWX&h?BGWXXhVf0xwY(`ku;7c~bC;;!5y^|z>oq<;f4#NQkC&C$oMWEq z!Qw-eA4_qdFOHo>YXzntAS$`ge8aQX&wLjby`ON)Dgk+Z0$%NEq|btQ&KI1wh}|^ud|n0e}X9gdo+p@+|mwGi;ZF{ih((z^r2^sxRR`&x>^oyR9(T~ z$cndI(T3%M$Sn055r6P0He!5}X{;fmA+O&uz2iqw1Ak}@8&}hD4ov>;DaAWJgna)- zzoVq*vMf+^9*zVl=T=aR91F)p&$lZA++w(X#xkrtYaB@l?1yidrmyrRqN<+Cp0@3Z za%=loY4Qe0me#d~^}32x9;slltp~H+)!UoWN>}59!}v&9*r|s;-Iv)3BNeFdQX{;V z)0JCp?@?S;dD+A$paNV@1j4(Q0kGBJhv~=ps;5`NeqWDBmi1tIbJp%Hoq5P!%ii?+ z+w?c)-nNFRhJ}We6D4d&CdTsU0~-=@$yIl%nfz^t#>qJq%*{N1@`z(^^{H5AK^;{O z^1!i$)B|H;`nNSFiCvbM?wR~(6 z9DQ=5smkOeif)2s6ZkRaOmc#GyfKdvNFFLj+5;4^vqB^pcxRxdodKR?lY(-z6WD)( zaCQO=Gw4IC8oub`%9SJc<$!2A21mk#dhP*aU9A-EOkEUppjGQPsGFSFy1P@ypH&Ca z&>+RZB?Q-9i_OAO{ddI0E1W7G;2_@Zh-{~9qwliEU}(p&1WY35D;&cVz!&wcgvhzy z7_G7GnzKyTYCb1dbO|43(BcyPYcnhVQgrqa=N0cuJ=0yIe8u252X8fDTL~#V&%~B2 zU(@)WzD{-Kr)yF9 z=|-RR_lUNpV9WFeei;Ls`uiqq4NPizCspE*Bw7VgVR@(SQO)|ImDsi`&*FXpgk`}j zZe!uK;IfG_2OIocG_lBu!}5IS0$xwWcn;f&6JII=K?jM+^0c+a24RV<@hbqw62t)e zc14RgXjI3)ZJ(G5zFIsweL0dOCoAS?c2QQm?fBhed7qyyiW<<0362=`-XsW=nfdC* z#&>xp)DmEtOz|<&+d`9h_DfWjXfM1kAq*4G!L7DQ2k}h^8aV;-zM?l&&n&{s;S@87 z2mvdNu_^*YHA{3itjV>@Mz;huB)y~O5|h5~9WqDul3%U$Yz9Y5z%eQ!Swt(sgjdJr zSN|_+*7a6M4RTNMh1g2I!;;xXi}tYD;b^qZ7*wB2*uE#0mk%8zD+{wsW+fT6JTi>H>P0qPW7fEXCHco!6Ie0~1N%fT+A@ z&4QGk^lms^5S2d6}Q=Dh2Q*>in$JgFX6r@M=|yvHH7_-(%?5? z(uY(&Frj--0$jLh3K42pOyoU%$uxxAK-fn&86)b8J>z9TYa!mpjKKy}DWWio2P$F^ z^vR&6>dBRmQbAjbEY^(mtGLq2pQ7*ShWaQGp|f?%w$MdAt;XpVP`GfDf{@M#zS$ugZ^38Y0qv1xH0EjhZ#0FI7zY zG$hrBbh`ZsZ`TZb@SXeg(>7I7Pz|Sez>q-t-KhO>BnMkK_NVEPbg3B3hz zxsngFoHRU@@ypcMC7jBcGquX!p8x2+k9Va2`>6M3fek{+ufhN7a zR1R`PzYN02${p#t(rnx!y7j#61D3K$iet0zA7ABS2lq6hz@$iK@otV{NObJ{?k&y# zuk9LnxW3>Gtkju*TGVL52T6O5+(7s1o%cSL!s9MVio?bp`v1NCmx!3f*dU=2f{&G% zP!c5YU1!<hAtu+O56}vf#O^dJR5fz!-f&WVP?E<~BGR zEPUA}PBV3AsGmivpkZ61Nj2I3#7gg~r2uc-4ZxzP;~rAn7M-lM%aafIk2oed0y*88TLGt+z4AsK#w!3_h{&*!&2)_Ay?<7Y{0J2@@B_4GLcjdK*MfW!In$%p zQuRLtyZ@h*R{y88zh&IB;UA$A{}a9LUw5FCblE>|)ct=d^ZTDNt?SsqCjrq(|I8%2 zBlF_|qHp|9o1diqXES5W$$#;1+W&AsmjB|D|2F=Tg8TsIS^jh0W30aU$mV^;e^$yN z^J@d5SN;PIN9I2cFpm3A6%F{lxB%ni|272R`xaPQRjIp?H8K_0Xu!4tNBpgk0;pLd4H5!1 z`&5HOre7`0!9J4ooxI>}7gt|jr-VO|J2OM1=lqzh2L4M7xzSOY0i1oh@ZR1xgV(Y6 z6T@OpfJ-CmJU_`qsITwk*>Ms*=W2DqZigHov49TDtByd2sxvBh05P{Q0$F-z0C?FE zzyWG2fNmceKktI>9pMHx8tdN!0F4d6FEISCe{tgSg^?ZMi2n9_`{Khd0l$?2BAMF~ J?wgY1{x|Ul?qC1_ literal 0 HcmV?d00001 diff --git a/src/BOPAlgo/BOPAlgo_CellsBuilder.cxx b/src/BOPAlgo/BOPAlgo_CellsBuilder.cxx index 04c40471ca..382e2a35f4 100644 --- a/src/BOPAlgo/BOPAlgo_CellsBuilder.cxx +++ b/src/BOPAlgo/BOPAlgo_CellsBuilder.cxx @@ -26,6 +26,8 @@ #include +#include + #include @@ -34,7 +36,6 @@ static static void MakeTypedContainers(const TopoDS_Shape& theSC, - const TopAbs_ShapeEnum aType, TopoDS_Shape& theResult); //======================================================================= @@ -44,7 +45,6 @@ static BOPAlgo_CellsBuilder::BOPAlgo_CellsBuilder() : BOPAlgo_Builder(), - myType(TopAbs_SHAPE), myIndex(100, myAllocator), myMaterials(100, myAllocator), myShapeMaterial(100, myAllocator), @@ -60,7 +60,6 @@ BOPAlgo_CellsBuilder::BOPAlgo_CellsBuilder (const Handle(NCollection_BaseAllocator)& theAllocator) : BOPAlgo_Builder(theAllocator), - myType(TopAbs_SHAPE), myIndex(100, myAllocator), myMaterials(100, myAllocator), myShapeMaterial(100, myAllocator), @@ -77,7 +76,6 @@ BOPAlgo_CellsBuilder::~BOPAlgo_CellsBuilder() Clear(); } - //======================================================================= //function : Clear //purpose : @@ -111,36 +109,6 @@ void BOPAlgo_CellsBuilder::Prepare() myFlagHistory=Standard_False; } -//======================================================================= -// function: CheckData -// purpose: -//======================================================================= -void BOPAlgo_CellsBuilder::CheckData() -{ - BOPAlgo_Builder::CheckData(); - if (myErrorStatus) { - return; - } - // - // additional check for the arguments to be of the same dimension. - Standard_Integer aDim1, aDimi; - BOPCol_ListIteratorOfListOfShape aIt; - // - aIt.Initialize(myArguments); - const TopoDS_Shape& aS1 = aIt.Value(); - aDim1 = BOPTools_AlgoTools::Dimension(aS1); - // - for (aIt.Next(); aIt.More(); aIt.Next()) { - const TopoDS_Shape& aSi = aIt.Value(); - aDimi = BOPTools_AlgoTools::Dimension(aSi); - // - if (aDim1 != aDimi) { - myErrorStatus = 201; // non-homogenous arguments - break; - } - } -} - //======================================================================= //function : PerformInternal1 //purpose : @@ -153,9 +121,6 @@ void BOPAlgo_CellsBuilder::PerformInternal1(const BOPAlgo_PaveFiller& theFiller) return; } // - // save the splits to - TakeAllParts(); - // // index all the parts to its origins IndexParts(); // @@ -165,42 +130,29 @@ void BOPAlgo_CellsBuilder::PerformInternal1(const BOPAlgo_PaveFiller& theFiller) myFlagHistory = Standard_True; } -//======================================================================= -//function : TakeAllParts -//purpose : -//======================================================================= -void BOPAlgo_CellsBuilder::TakeAllParts() -{ - Standard_Integer aDim; - TopoDS_Compound aC; - BRep_Builder aBB; - // - aDim = BOPTools_AlgoTools::Dimension(myArguments.First()); - myType = TypeToExplore(aDim); - // - aBB.MakeCompound(aC); - TopExp_Explorer aExp(myShape, myType); - for (; aExp.More(); aExp.Next()) { - const TopoDS_Shape& aS = aExp.Current(); - aBB.Add(aC, aS); - } - myAllParts = aC; -} - //======================================================================= //function : IndexParts //purpose : //======================================================================= void BOPAlgo_CellsBuilder::IndexParts() { - BOPCol_ListIteratorOfListOfShape aIt, aItIm; - TopExp_Explorer aExp; + BRep_Builder aBB; + // all split parts of the shapes + TopoDS_Compound anAllParts; + aBB.MakeCompound(anAllParts); // - aIt.Initialize(myArguments); + BOPCol_MapOfShape aMFence; + BOPCol_MapOfInteger aMDims; + // + BOPCol_ListIteratorOfListOfShape aIt(myArguments); for (; aIt.More(); aIt.Next()) { const TopoDS_Shape& aS = aIt.Value(); // - aExp.Init(aS, myType); + Standard_Integer iDim = BOPTools_AlgoTools::Dimension(aS); + aMDims.Add(iDim); + TopAbs_ShapeEnum aType = TypeToExplore(iDim); + // + TopExp_Explorer aExp(aS, aType); for (; aExp.More(); aExp.Next()) { const TopoDS_Shape& aST = aExp.Current(); const BOPCol_ListOfShape* pLSIm = myImages.Seek(aST); @@ -209,11 +161,16 @@ void BOPAlgo_CellsBuilder::IndexParts() if (!pLS) { pLS = &myIndex(myIndex.Add(aST, BOPCol_ListOfShape())); } - pLS ->Append(aS); + pLS->Append(aS); + // + if (aMFence.Add(aST)) { + aBB.Add(anAllParts, aST); + } + // continue; } // - aItIm.Initialize(*pLSIm); + BOPCol_ListIteratorOfListOfShape aItIm(*pLSIm); for (; aItIm.More(); aItIm.Next()) { const TopoDS_Shape& aSTIm = aItIm.Value(); // @@ -221,10 +178,64 @@ void BOPAlgo_CellsBuilder::IndexParts() if (!pLS) { pLS = &myIndex(myIndex.Add(aSTIm, BOPCol_ListOfShape())); } - pLS ->Append(aS); + pLS->Append(aS); + // + if (aMFence.Add(aSTIm)) { + aBB.Add(anAllParts, aSTIm); + } } // for (; aItIm.More(); aItIm.Next()) { } // for (; aExp.More(); aExp.Next()) { } // for (; aIt.More(); aIt.Next()) { + // + myAllParts = anAllParts; + // + if (aMDims.Extent() == 1) { + return; + } + // + // for the multi-dimensional case + // add sub-shapes of the splits into the map + // + Standard_Integer i, aNbS = myIndex.Extent(); + for (i = 1; i <= aNbS; ++i) { + const TopoDS_Shape& aSP = myIndex.FindKey(i); + const TopTools_ListOfShape& aLSOr = myIndex(i); + // + Standard_Integer iType = BOPTools_AlgoTools::Dimension(aSP); + BOPCol_MapIteratorOfMapOfInteger aItM(aMDims); + for (; aItM.More(); aItM.Next()) { + Standard_Integer k = aItM.Value(); + if (k >= iType) { + continue; + } + // + TopExp_Explorer aExp(aSP, TypeToExplore(k)); + for (; aExp.More(); aExp.Next()) { + const TopoDS_Shape& aSS = aExp.Current(); + BOPCol_ListOfShape* pLSSOr = myIndex.ChangeSeek(aSS); + if (!pLSSOr) { + myIndex.Add(aSS, aLSOr); + continue; + } + // add ancestors of the shape to the ancestors of the sub-shape + BOPCol_ListIteratorOfListOfShape aItLS(aLSOr); + for (; aItLS.More(); aItLS.Next()) { + const TopoDS_Shape& aSOr = aItLS.Value(); + // provide uniqueness of the ancestors + BOPCol_ListIteratorOfListOfShape aItLSS(*pLSSOr); + for (; aItLSS.More(); aItLSS.Next()) { + if (aSOr.IsSame(aItLSS.Value())) { + break; + } + } + // + if (!aItLSS.More()) { + pLSSOr->Append(aSOr); + } + } + } + } + } } //======================================================================= @@ -243,25 +254,20 @@ void BOPAlgo_CellsBuilder::AddToResult(const BOPCol_ListOfShape& theLSToTake, return; } // - Standard_Boolean bChanged; - BRep_Builder aBB; - BOPCol_MapOfShape aResParts; - TopExp_Explorer aExp; - BOPCol_ListIteratorOfListOfShape aIt; - // - bChanged = Standard_False; // collect result parts to avoid multiple adding of the same parts - aExp.Init(myShape, myType); - for (; aExp.More(); aExp.Next()) { - const TopoDS_Shape& aPart = aExp.Current(); - aResParts.Add(aPart); - } - // add parts to result - aIt.Initialize(aParts); + BOPCol_MapOfShape aResParts; + TopoDS_Iterator aIt(myShape); for (; aIt.More(); aIt.Next()) { - const TopoDS_Shape& aPart = aIt.Value(); + aResParts.Add(aIt.Value()); + } + // + Standard_Boolean bChanged = Standard_False; + // add parts to result + BOPCol_ListIteratorOfListOfShape aItLP(aParts); + for (; aItLP.More(); aItLP.Next()) { + const TopoDS_Shape& aPart = aItLP.Value(); if (aResParts.Add(aPart)) { - aBB.Add(myShape, aPart); + BRep_Builder().Add(myShape, aPart); bChanged = Standard_True; } } @@ -269,9 +275,9 @@ void BOPAlgo_CellsBuilder::AddToResult(const BOPCol_ListOfShape& theLSToTake, // update the material if (theMaterial != 0) { BOPCol_ListOfShape aLSP; - aIt.Initialize(aParts); - for (; aIt.More(); aIt.Next()) { - const TopoDS_Shape& aPart = aIt.Value(); + aItLP.Initialize(aParts); + for (; aItLP.More(); aItLP.Next()) { + const TopoDS_Shape& aPart = aItLP.Value(); if (!myShapeMaterial.IsBound(aPart)) { myShapeMaterial.Bind(aPart, theMaterial); aLSP.Append(aPart); @@ -279,13 +285,11 @@ void BOPAlgo_CellsBuilder::AddToResult(const BOPCol_ListOfShape& theLSToTake, } // for (; aIt.More(); aIt.Next()) { // if (aLSP.Extent()) { - if (myMaterials.IsBound(theMaterial)) { - BOPCol_ListOfShape& aLS = myMaterials.ChangeFind(theMaterial); - aLS.Append(aLSP); - } // if (myMaterials.IsBound(theMaterial)) { - else { - myMaterials.Bind(theMaterial, aLSP); + BOPCol_ListOfShape* pLS = myMaterials.ChangeSeek(theMaterial); + if (!pLS) { + pLS = myMaterials.Bound(theMaterial, BOPCol_ListOfShape()); } + pLS->Append(aLSP); } // if (aLSP.Extent()) { } // if (theMaterial != 0) { // @@ -306,30 +310,21 @@ void BOPAlgo_CellsBuilder::AddToResult(const BOPCol_ListOfShape& theLSToTake, void BOPAlgo_CellsBuilder::AddAllToResult(const Standard_Integer theMaterial, const Standard_Boolean theUpdate) { - TopoDS_Compound aResult; - BRep_Builder aBB; - BOPCol_ListOfShape aLSM; - // - aBB.MakeCompound(aResult); myShapeMaterial.Clear(); myMaterials.Clear(); myMapGenerated.Clear(); // - TopoDS_Iterator aIt(myAllParts); - for (; aIt.More(); aIt.Next()) { - const TopoDS_Shape& aPart = aIt.Value(); - aBB.Add(aResult, aPart); - // - if (theMaterial != 0) { - myShapeMaterial.Bind(aPart, theMaterial); - aLSM.Append(aPart); - } - } - // - myShape = aResult; + myShape = myAllParts; // if (theMaterial != 0) { - myMaterials.Bind(theMaterial, aLSM); + BOPCol_ListOfShape* pLSM = myMaterials.Bound(theMaterial, BOPCol_ListOfShape()); + // + TopoDS_Iterator aIt(myAllParts); + for (; aIt.More(); aIt.Next()) { + const TopoDS_Shape& aPart = aIt.Value(); + myShapeMaterial.Bind(aPart, theMaterial); + pLSM->Append(aPart); + } } // if (!theUpdate) { @@ -354,82 +349,71 @@ void BOPAlgo_CellsBuilder::RemoveFromResult(const BOPCol_ListOfShape& theLSToTak return; } // - BOPCol_MapOfShape aPartsToRemove; - BOPCol_ListIteratorOfListOfShape aItP, aItM; - // // collect parts into the map and remove parts from materials - aItP.Initialize(aParts); + BOPCol_MapOfShape aPartsToRemove; + BOPCol_ListIteratorOfListOfShape aItP(aParts); for (; aItP.More(); aItP.Next()) { const TopoDS_Shape& aPart = aItP.Value(); aPartsToRemove.Add(aPart); // - if (myShapeMaterial.IsBound(aPart)) { - Standard_Integer iMaterial = myShapeMaterial.Find(aPart); - if (!myMaterials.IsBound(iMaterial)) { - myShapeMaterial.UnBind(aPart); - continue; + const Standard_Integer* pMaterial = myShapeMaterial.Seek(aPart); + if (pMaterial) { + BOPCol_ListOfShape* pLSM = myMaterials.ChangeSeek(*pMaterial); + if (pLSM) { + BOPCol_ListIteratorOfListOfShape aItM(*pLSM); + for (; aItM.More(); aItM.Next()) { + if (aPart.IsSame(aItM.Value())) { + pLSM->Remove(aItM); + break; + } + } } - // - BOPCol_ListOfShape& aLSM = myMaterials.ChangeFind(iMaterial); - // - aItM.Initialize(aLSM); - for (; aItM.More(); aItM.Next()) { - const TopoDS_Shape& aSM = aItM.Value(); - if (aSM.IsSame(aPart)) { - aLSM.Remove(aItM); - break; - } // if (aSM.IsSame(aPart)) { - } // for (; aItM.More(); aItM.Next()) { - // myShapeMaterial.UnBind(aPart); - } // if (myShapeMaterial.IsBound(aPart)) { - } // for (; aItP.More(); aItP.Next()) { + } + } // - Standard_Boolean bChanged; - TopoDS_Compound aResult; BRep_Builder aBB; - TopoDS_Iterator aIt1, aIt2; - TopAbs_ShapeEnum aType; - // + TopoDS_Compound aResult; aBB.MakeCompound(aResult); - bChanged = Standard_False; + Standard_Boolean bChanged = Standard_False; // - aIt1.Initialize(myShape); - for (; aIt1.More(); aIt1.Next()) { - const TopoDS_Shape& aS = aIt1.Value(); - aType = aS.ShapeType(); - // - if (aType == myType) { + TopoDS_Iterator aIt(myShape); + for (; aIt.More(); aIt.Next()) { + const TopoDS_Shape& aS = aIt.Value(); + TopAbs_ShapeEnum aType = aS.ShapeType(); + if (aType != TopAbs_WIRE && + aType != TopAbs_SHELL && + aType != TopAbs_COMPSOLID) { // basic element if (aPartsToRemove.Contains(aS)) { bChanged = Standard_True; continue; } aBB.Add(aResult, aS); - } // if (aType == myType) { + } else { // container - Standard_Boolean bNotEmpty; TopoDS_Compound aSC; aBB.MakeCompound(aSC); + Standard_Boolean bSCNotEmpty = Standard_False; // - bNotEmpty = Standard_False; - aIt2.Initialize(aS); - for (; aIt2.More(); aIt2.Next()) { - const TopoDS_Shape& aSS = aIt2.Value(); + TopoDS_Iterator aItSC(aS); + for (; aItSC.More(); aItSC.Next()) { + const TopoDS_Shape& aSS = aItSC.Value(); if (aPartsToRemove.Contains(aSS)) { bChanged = Standard_True; continue; } + // + bSCNotEmpty = Standard_True; aBB.Add(aSC, aSS); - bNotEmpty = Standard_True; - } // for (; aIt2.More(); aIt2.Next()) { - // - if (bNotEmpty) { - MakeTypedContainers(aSC, myType, aResult); } - } // else { - } // for (; aIt1.More(); aIt1.Next()) { + // + if (bSCNotEmpty) { + MakeTypedContainers(aSC, aResult); + } + } + } // if (bChanged) { myShape = aResult; @@ -446,9 +430,7 @@ void BOPAlgo_CellsBuilder::RemoveAllFromResult() { // empty compound TopoDS_Compound aC; - BRep_Builder aBB; - // - aBB.MakeCompound(aC); + BRep_Builder().MakeCompound(aC); myShape = aC; // myMaterials.Clear(); @@ -464,43 +446,62 @@ void BOPAlgo_CellsBuilder::RemoveAllFromResult() //======================================================================= void BOPAlgo_CellsBuilder::RemoveInternalBoundaries() { + myWarningStatus = 0; + // if (myMaterials.IsEmpty()) { return; } // - Standard_Integer iMaterial, iErr; - TopoDS_Compound aResult; BRep_Builder aBB; - TopExp_Explorer aExp; - BOPCol_ListIteratorOfListOfShape aItS; - BOPCol_DataMapIteratorOfDataMapOfIntegerListOfShape aItM; - // + TopoDS_Compound aResult; aBB.MakeCompound(aResult); - aExp.Init(myShape, myType); - for (; aExp.More(); aExp.Next()) { - const TopoDS_Shape& aS = aExp.Current(); - if (!myShapeMaterial.IsBound(aS)) { - aBB.Add(aResult, aS); - } - } // - aItM.Initialize(myMaterials); + Standard_Boolean bChanged = Standard_False; + // try to remove the internal boundaries between the + // shapes of the same material + BOPCol_DataMapIteratorOfDataMapOfIntegerListOfShape aItM(myMaterials); for (; aItM.More(); aItM.Next()) { - iMaterial = aItM.Key(); + Standard_Integer iMaterial = aItM.Key(); + BOPCol_ListOfShape& aLS = aItM.ChangeValue(); + // + if (aLS.IsEmpty()) { + continue; + } + // + if (aLS.Extent() == 1) { + TopAbs_ShapeEnum aType = aLS.First().ShapeType(); + if (aType != TopAbs_WIRE && + aType != TopAbs_SHELL && + aType != TopAbs_COMPSOLID) { + aBB.Add(aResult, aLS.First()); + continue; + } + } + // + // check the shapes of the same material to be of the same type + BOPCol_ListIteratorOfListOfShape aItLS(aLS); + TopAbs_ShapeEnum aType = aItLS.Value().ShapeType(); + for (aItLS.Next(); aItLS.More(); aItLS.Next()) { + if (aType != aItLS.Value().ShapeType()) { + break; + } + } // BOPCol_ListOfShape aLSNew; - BOPCol_ListOfShape& aLS = myMaterials(iMaterial); - iErr = RemoveInternals(aLS, aLSNew); - if (iErr || aLSNew.IsEmpty()) { - myErrorStatus = 202; // unable to remove internal boundaries - return; + if (aItLS.More()) { + myWarningStatus |= RemovalOfIBForMDimShapes; + aLSNew.Assign(aLS); + } + else { + if (RemoveInternals(aLS, aLSNew)) { + bChanged = Standard_True; + } } // // update materials maps and add new shapes to result - aLS.Assign(aLSNew); - aItS.Initialize(aLSNew); - for (; aItS.More(); aItS.Next()) { - const TopoDS_Shape& aS = aItS.Value(); + aItLS.Initialize(aLSNew); + for (; aItLS.More(); aItLS.Next()) { + const TopoDS_Shape& aS = aItLS.Value(); aBB.Add(aResult, aS); if (!myShapeMaterial.IsBound(aS)) { myShapeMaterial.Bind(aS, iMaterial); @@ -508,9 +509,57 @@ void BOPAlgo_CellsBuilder::RemoveInternalBoundaries() } } // - myShape = aResult; - // - PrepareHistory(); + if (bChanged) { + // add shapes without material into result + TopoDS_Iterator aIt(myShape); + for (; aIt.More(); aIt.Next()) { + const TopoDS_Shape& aS = aIt.Value(); + // + if (myShapeMaterial.IsBound(aS)) { + continue; + } + // + // check if it is not a collection + TopAbs_ShapeEnum aType = aS.ShapeType(); + if (aType != TopAbs_WIRE && + aType != TopAbs_SHELL && + aType != TopAbs_COMPSOLID) { + aBB.Add(aResult, aS); + } + else { + TopoDS_Compound aSC; + aBB.MakeCompound(aSC); + Standard_Boolean bSCEmpty(Standard_True), bSCChanged(Standard_False); + // + TopoDS_Iterator aItSC(aS); + for (; aItSC.More(); aItSC.Next()) { + const TopoDS_Shape& aSS = aItSC.Value(); + if (!myShapeMaterial.IsBound(aSS)) { + aBB.Add(aSC, aSS); + bSCEmpty = Standard_False; + } + else { + bSCChanged = Standard_True; + } + } + // + if (bSCEmpty) { + continue; + } + // + if (bSCChanged) { + MakeTypedContainers(aSC, aResult); + } + else { + aBB.Add(aResult, aS); + } + } + } + // + myShape = aResult; + // + PrepareHistory(); + } } //======================================================================= @@ -525,30 +574,46 @@ void BOPAlgo_CellsBuilder::FindParts(const BOPCol_ListOfShape& theLSToTake, return; } // - Standard_Boolean bFound; - Standard_Integer aNbS; - BOPCol_ListIteratorOfListOfShape aItIm, aItArgs; - BOPCol_MapOfShape aMSToTake, aMSToAvoid, aMS; - TopExp_Explorer aExp; - // - aItArgs.Initialize(theLSToAvoid); + // map shapes to avoid + BOPCol_MapOfShape aMSToAvoid; + BOPCol_ListIteratorOfListOfShape aItArgs(theLSToAvoid); for (; aItArgs.More(); aItArgs.Next()) { const TopoDS_Shape& aS = aItArgs.Value(); aMSToAvoid.Add(aS); } // + // map shapes to be taken + BOPCol_MapOfShape aMSToTake; aItArgs.Initialize(theLSToTake); for (; aItArgs.More(); aItArgs.Next()) { const TopoDS_Shape& aS = aItArgs.Value(); aMSToTake.Add(aS); } // - aNbS = aMSToTake.Extent(); + Standard_Integer aNbS = aMSToTake.Extent(); // - const TopoDS_Shape& aSToTake = theLSToTake.First(); - aExp.Init(aSToTake, myType); + // among the shapes to be taken into result, find any one + // of minimal dimension + Standard_Integer iDimMin = 10; + TopoDS_Shape aSMin; + // + aItArgs.Initialize(theLSToTake); + for (; aItArgs.More(); aItArgs.Next()) { + const TopoDS_Shape& aS = aItArgs.Value(); + Standard_Integer iDim = BOPTools_AlgoTools::Dimension(aS); + if (iDim < iDimMin) { + iDimMin = iDim; + aSMin = aS; + } + } + // + // among the split parts of the shape of minimal dimension + // look for the parts to be taken into result + TopAbs_ShapeEnum aType = TypeToExplore(iDimMin); + TopExp_Explorer aExp(aSMin, aType); for (; aExp.More(); aExp.Next()) { const TopoDS_Shape& aST = aExp.Current(); + // get split parts of the shape BOPCol_ListOfShape aLSTIm; if (!myImages.IsBound(aST)) { aLSTIm.Append(aST); @@ -556,7 +621,7 @@ void BOPAlgo_CellsBuilder::FindParts(const BOPCol_ListOfShape& theLSToTake, aLSTIm = myImages.Find(aST); } // - aItIm.Initialize(aLSTIm); + BOPCol_ListIteratorOfListOfShape aItIm(aLSTIm); for (; aItIm.More(); aItIm.Next()) { const TopoDS_Shape& aPart = aItIm.Value(); // @@ -564,34 +629,40 @@ void BOPAlgo_CellsBuilder::FindParts(const BOPCol_ListOfShape& theLSToTake, continue; } // + // get input shapes in which the split part is contained const BOPCol_ListOfShape& aLS = myIndex.FindFromKey(aPart); if (aLS.Extent() < aNbS) { continue; } // - aMS.Clear(); + // check that input shapes containing the part should not be avoided + BOPCol_MapOfShape aMS; aItArgs.Initialize(aLS); - for (bFound = Standard_True; aItArgs.More() && bFound; aItArgs.Next()) { + for (; aItArgs.More(); aItArgs.Next()) { const TopoDS_Shape& aS = aItArgs.Value(); - bFound = !aMSToAvoid.Contains(aS); aMS.Add(aS); + if (aMSToAvoid.Contains(aS)) { + break; + } } // - if (!bFound) { + if (aItArgs.More()) { continue; } // + // check that all shapes which should be taken contain the part aItArgs.Initialize(theLSToTake); - for (; aItArgs.More() && bFound; aItArgs.Next()) { - const TopoDS_Shape& aS = aItArgs.Value(); - bFound = aMS.Contains(aS); + for (; aItArgs.More(); aItArgs.Next()) { + if (!aMS.Contains(aItArgs.Value())) { + break; + } } // - if (bFound) { + if (!aItArgs.More()) { theParts.Append(aPart); - } // if (bFound) { - } // for (; aItIm.More(); aItIm.Next()) { - } // for (; aExp.More(); aExp.Next()) { + } + } + } } //======================================================================= @@ -600,11 +671,40 @@ void BOPAlgo_CellsBuilder::FindParts(const BOPCol_ListOfShape& theLSToTake, //======================================================================= void BOPAlgo_CellsBuilder::MakeContainers() { - TopoDS_Compound aResult; BRep_Builder aBB; - // + TopoDS_Compound aResult; aBB.MakeCompound(aResult); - MakeTypedContainers(myShape, myType, aResult); + // + // basic elements of type EDGE, FACE and SOLID added into result + BOPCol_ListOfShape aLS[3]; + // + TopoDS_Iterator aIt(myShape); + for (; aIt.More(); aIt.Next()) { + const TopoDS_Shape& aS = aIt.Value(); + // + Standard_Integer iDim = BOPTools_AlgoTools::Dimension(aS); + if (iDim <= 0) { + aBB.Add(aResult, aS); + continue; + } + // + aLS[iDim-1].Append(aS); + } + // + for (Standard_Integer i = 0; i < 3; ++i) { + if (aLS[i].IsEmpty()) { + continue; + } + // + TopoDS_Compound aC; + aBB.MakeCompound(aC); + BOPCol_ListIteratorOfListOfShape aItLS(aLS[i]); + for (; aItLS.More(); aItLS.Next()) { + aBB.Add(aC, aItLS.Value()); + } + // + MakeTypedContainers(aC, aResult); + } myShape = aResult; } @@ -612,16 +712,14 @@ void BOPAlgo_CellsBuilder::MakeContainers() //function : RemoveInternals //purpose : //======================================================================= -Standard_Integer BOPAlgo_CellsBuilder::RemoveInternals(const BOPCol_ListOfShape& theLS, +Standard_Boolean BOPAlgo_CellsBuilder::RemoveInternals(const BOPCol_ListOfShape& theLS, BOPCol_ListOfShape& theLSNew) { - Standard_Integer iErr = 0; + Standard_Boolean bRemoved = Standard_False; if (theLS.Extent() < 2) { theLSNew = theLS; - return iErr; + return bRemoved; } - // - TopExp_Explorer aExp; // TopAbs_ShapeEnum aType = theLS.First().ShapeType(); // @@ -650,12 +748,18 @@ Standard_Integer BOPAlgo_CellsBuilder::RemoveInternals(const BOPCol_ListOfShape& anUnify.Build(); const TopoDS_Shape& aSNew = anUnify.Shape(); // - aExp.Init(aSNew, aType); + TopExp_Explorer aExp(aSNew, aType); for (; aExp.More(); aExp.Next()) { const TopoDS_Shape& aSn = aExp.Current(); theLSNew.Append(aSn); } // + if (theLSNew.IsEmpty()) { + myWarningStatus |= (bFaces ? RemovalOfIBForFacesFailed : RemovalOfIBForEdgesFailed); + theLSNew.Assign(theLS); + return bRemoved; + } + // // fill map of generated shapes BOPCol_IndexedMapOfShape aMG; Standard_Integer i, aNb; @@ -671,97 +775,119 @@ Standard_Integer BOPAlgo_CellsBuilder::RemoveInternals(const BOPCol_ListOfShape& TopTools_ListIteratorOfListOfShape aIt(aLSGen); for (; aIt.More(); aIt.Next()) { const TopoDS_Shape& aShape = aIt.Value(); - if (!aShape.IsNull() && !aSS.IsSame(aShape)) + if (!aShape.IsNull() && !aSS.IsSame(aShape)) { myMapGenerated.Bind(aSS, aShape); + bRemoved = Standard_True; + } } const TopTools_ListOfShape& aLSMod = anUnify.Modified(aSS); for (aIt.Init(aLSMod); aIt.More(); aIt.Next()) { const TopoDS_Shape& aShape = aIt.Value(); - if (!aShape.IsNull() && !aSS.IsSame(aShape)) + if (!aShape.IsNull() && !aSS.IsSame(aShape)) { myMapGenerated.Bind(aSS, aShape); + bRemoved = Standard_True; + } } } } else if (aType == TopAbs_SOLID) { - // build all solids from the faces - BOPCol_ListOfShape aLSF; + BRep_Builder aBB; + TopoDS_Compound aSolids; + aBB.MakeCompound(aSolids); // - for (BOPCol_ListIteratorOfListOfShape aIt(theLS); aIt.More(); aIt.Next()) { - const TopoDS_Shape& aS = aIt.Value(); + BOPCol_ListIteratorOfListOfShape aItLS(theLS); + for (; aItLS.More(); aItLS.Next()) { + const TopoDS_Shape& aSol = aItLS.Value(); + aBB.Add(aSolids, aSol); + } + // + // Make connexity blocks of solids to create from each isolated block one solid. + // It will allow attaching internal entities of the solids to new solid. + BOPCol_ListOfShape aLCB; + BOPTools_AlgoTools::MakeConnexityBlocks(aSolids, TopAbs_FACE, TopAbs_SOLID, aLCB); + // + // for each block remove internal faces + BOPCol_ListIteratorOfListOfShape aItLCB(aLCB); + for (; aItLCB.More(); aItLCB.Next()) { + const TopoDS_Shape& aCB = aItLCB.Value(); // - aExp.Init(aS, TopAbs_FACE); - for (; aExp.More(); aExp.Next()) { - const TopoDS_Shape& aF = aExp.Current(); - aLSF.Append(aF); - } - } - // - BOPAlgo_BuilderSolid aBS; - aBS.SetShapes(aLSF); - aBS.Perform(); - // - iErr = aBS.ErrorStatus(); - if (iErr) { - return iErr; - } - // - theLSNew = aBS.Areas(); - if (theLSNew.Extent() == 1) { - return iErr; - } - // - // result is a list of solids. we need to select external faces. - BOPCol_IndexedDataMapOfShapeListOfShape aDMFS; - BOPCol_ListOfShape aLFNew; - Standard_Integer i, aNb; - // - // map faces and solids - for (BOPCol_ListIteratorOfListOfShape aIt(theLSNew); aIt.More(); aIt.Next()) { - const TopoDS_Shape& aS = aIt.Value(); + // Map faces and solids to find boundary faces that can be removed + BOPCol_IndexedDataMapOfShapeListOfShape aDMFS; + // internal entities + BOPCol_ListOfShape aLSInt; // - aExp.Init(aS, TopAbs_FACE); - for (; aExp.More(); aExp.Next()) { - const TopoDS_Shape& aF = aExp.Current(); - if (aDMFS.Contains(aF)) { - BOPCol_ListOfShape& aLFS = aDMFS.ChangeFromKey(aF); - aLFS.Append(aS); - } - else { - BOPCol_ListOfShape aLFS; - aLFS.Append(aS); - aDMFS.Add(aF, aLFS); + TopoDS_Iterator aItS(aCB); + for (; aItS.More(); aItS.Next()) { + const TopoDS_Shape& aSol = aItS.Value(); + // + TopoDS_Iterator aItIS(aSol); + for (; aItIS.More(); aItIS.Next()) { + const TopoDS_Shape& aSI = aItIS.Value(); + if (aSI.Orientation() == TopAbs_INTERNAL) { + aLSInt.Append(aSI); + } + else { + TopoDS_Iterator aItF(aSI); + for (; aItF.More(); aItF.Next()) { + const TopoDS_Shape& aF = aItF.Value(); + BOPCol_ListOfShape *pLSols = aDMFS.ChangeSeek(aF); + if (!pLSols) { + pLSols = &aDMFS(aDMFS.Add(aF, BOPCol_ListOfShape())); + } + pLSols->Append(aSol); + } + } } } - } - // - // select faces attached to only one solid - aNb = aDMFS.Extent(); - for (i = 1; i <= aNb; ++i) { - const BOPCol_ListOfShape& aLS = aDMFS(i); - if (aLS.Extent() == 1) { - const TopoDS_Shape& aF = aDMFS.FindKey(i); - aLFNew.Append(aF); + // + // to build unified solid, select only faces attached to only one solid + BOPCol_ListOfShape aLFUnique; + Standard_Integer i, aNb = aDMFS.Extent(); + for (i = 1; i <= aNb; ++i) { + if (aDMFS(i).Extent() == 1) { + aLFUnique.Append(aDMFS.FindKey(i)); + } } + // + if (aNb == aLFUnique.Extent()) { + // no faces to remove + TopoDS_Iterator aItS(aCB); + for (; aItS.More(); aItS.Next()) { + theLSNew.Append(aItS.Value()); + } + continue; + } + // + // build new solid + BOPAlgo_BuilderSolid aBS; + aBS.SetShapes(aLFUnique); + aBS.Perform(); + // + if (aBS.ErrorStatus() || aBS.Areas().Extent() != 1) { + myWarningStatus |= RemovalOfIBForSolidsFailed; + // + TopoDS_Iterator aItS(aCB); + for (; aItS.More(); aItS.Next()) { + theLSNew.Append(aItS.Value()); + } + continue; + } + // + TopoDS_Solid& aSNew = *(TopoDS_Solid*)&aBS.Areas().First(); + // + // put all internal parts into new solid + aSNew.Free(Standard_True); + BOPCol_ListIteratorOfListOfShape aItLSI(aLSInt); + for (; aItLSI.More(); aItLSI.Next()) { + aBB.Add(aSNew, aItLSI.Value()); + } + aSNew.Free(Standard_False); + // + theLSNew.Append(aSNew); + bRemoved = Standard_True; } - // - if (aNb == aLFNew.Extent()) { - return iErr; - } - // - // build new solid - BOPAlgo_BuilderSolid aBS1; - aBS1.SetShapes(aLFNew); - aBS1.Perform(); - // - iErr = aBS1.ErrorStatus(); - if (iErr) { - return iErr; - } - // - theLSNew = aBS1.Areas(); } - // - return iErr; + return bRemoved; } //======================================================================= @@ -874,12 +1000,11 @@ const TopTools_ListOfShape& BOPAlgo_CellsBuilder::Generated(const TopoDS_Shape& //purpose : //======================================================================= void MakeTypedContainers(const TopoDS_Shape& theSC, - const TopAbs_ShapeEnum aType, TopoDS_Shape& theResult) { TopAbs_ShapeEnum aContainerType, aConnexityType, aPartType; // - aPartType = aType; + aPartType = TypeToExplore(BOPTools_AlgoTools::Dimension(theSC)); switch (aPartType) { case TopAbs_EDGE: { aContainerType = TopAbs_WIRE; @@ -957,3 +1082,30 @@ TopAbs_ShapeEnum TypeToExplore(const Standard_Integer theDim) } return aRet; } + +//======================================================================= +//function : DumpWarnings +//purpose : +//======================================================================= +void BOPAlgo_CellsBuilder::DumpWarnings(Standard_OStream& theOS) const +{ + Standard_Integer aWarningStatus[4] = { + RemovalOfIBForMDimShapes, + RemovalOfIBForSolidsFailed, + RemovalOfIBForFacesFailed, + RemovalOfIBForEdgesFailed, + }; + // + Standard_CString aWarningMessage[4] = { + "Removal of internal boundaries among the multi-dimensional shapes is not supported yet.", + "Removal of internal boundaries among Solids has failed.", + "Removal of internal boundaries among Faces has failed.", + "Removal of internal boundaries among Edges has failed." + }; + // + for (Standard_Integer i = 0; i < 4; ++i) { + if (myWarningStatus & aWarningStatus[i]) { + theOS << "Warning: " << aWarningMessage[i] << "\n"; + } + } +} diff --git a/src/BOPAlgo/BOPAlgo_CellsBuilder.hxx b/src/BOPAlgo/BOPAlgo_CellsBuilder.hxx index 375f0742b3..ec0bee9614 100644 --- a/src/BOPAlgo/BOPAlgo_CellsBuilder.hxx +++ b/src/BOPAlgo/BOPAlgo_CellsBuilder.hxx @@ -18,6 +18,7 @@ #include #include +#include #include @@ -32,128 +33,146 @@ #include //! -//! The algorithm is based on the General Fuse algorithm (GFA). The result of -//! GFA is all split parts of the Arguments. -//! -//! The purpose of this algorithm is to provide the result with the content of: -//! 1. Cells (parts) defined by the user; -//! 2. Internal boundaries defined by the user. -//! +//! The algorithm is based on the General Fuse algorithm (GFA). The result of +//! GFA is all split parts of the Arguments.
+//! +//! The purpose of this algorithm is to provide the result with the content of:
+//! 1. Cells (parts) defined by the user;
+//! 2. Internal boundaries defined by the user.
+//! //! In other words the algorithm should provide the possibility for the user //! to add or remove any part to (from) result and remove any internal boundaries -//! between parts. -//! -//! Requirements for the Data: -//! All the requirements of GFA for the DATA are inherited in this algorithm. -//! Plus all the arguments should have the same dimension. +//! between parts.
//! -//! Results: -//! The result of the algorithm is compound containing selected parts of -//! the basic type (VERTEX, EDGE, FACE or SOLID). The default result +//! Requirements for the Data:
+//! All the requirements of GFA for the DATA are inherited in this algorithm - +//! The arguments could be of any type (dimension) and should be valid in terms of +//! BRepCheck_Analyzer and BOPAlgo_ArgumentAnalyzer.
+//! +//! Results:
+//! The result of the algorithm is compound containing selected parts of +//! the basic types (VERTEX, EDGE, FACE or SOLID). The default result //! is empty compound. It is possible to add any split part to the result //! by using the methods AddToRessult() and AddAllToResult(). -//! It is also possible to remove any part from the result by using methods +//! It is also possible to remove any part from the result by using methods //! RemoveFromResult() and RemoveAllFromResult(). -//! The method RemoveAllFromResult() is also suitable for clearing the result. +//! The method RemoveAllFromResult() is also suitable for clearing the result.
//! -//! To remove Internal boundaries it is necessary to set the same material to the -//! parts between which the boundaries should be removed and call the method -//! RemoveInternalBoundaries(). The material should not be equal to 0, as this is -//! default material value. The boundaries between parts with this value +//! To remove Internal boundaries it is necessary to set the same material to the +//! parts between which the boundaries should be removed and call the method +//! RemoveInternalBoundaries(). The material should not be equal to 0, as this is +//! default material value. The boundaries between parts with this value //! will not be removed. //! One part cannot be added with the different materials. //! It is also possible to remove the boundaries during combining the result. //! To do this it is necessary to set the material for parts (not equal to 0) -//! and set the flag bUpdate to TRUE. -//! BUT for the arguments of the types FACE or EDGE it is recommended +//! and set the flag bUpdate to TRUE. +//! For the arguments of the types FACE or EDGE it is recommended //! to remove the boundaries in the end when the result is completely built. -//! It will help to avoid self-intersections in the result. +//! It will help to avoid self-intersections in the result.
+//! Note, that if the result contains the parts with same material but of different +//! dimension the boundaries between such parts will not be removed. Currently, +//! the removal of the internal boundaries between multi-dimensional shapes is not supported.
//! //! It is possible to create typed Containers from the parts added to result by using -//! method MakeContainers(). The type of the containers will depend on the type of +//! method MakeContainers(). The type of the containers will depend on the type of //! the arguments: WIRES for EEDGE, SHELLS for FACES and COMPSOLIDS for SOLIDS. //! The result will be compound containing containers. -//! Adding of the parts to such result will not update containers. The result +//! Adding of the parts to such result will not update containers. The result //! compound will contain the containers and new added parts (of basic type). -//! Removing of the parts from such result may affect some containers if the +//! Removing of the parts from such result may affect some containers if //! the parts that should be removed is in container. In this case this container -//! will be rebuilt without that part. +//! will be rebuilt without that part.
//! -//! History: +//! History:
//! The algorithm supports history information for basic types of the shapes - -//! VERTEX, EDGE, FACE. This information available through the methods -//! IsDeleted() and Modified(). In DRAW Test Harness it is available through the same -//! commands as for Boolean Operations (bmodified, bgenerated and bisdeleted). +//! VERTEX, EDGE, FACE. This information available through the methods +//! IsDeleted() and Modified().
+//! In DRAW Test Harness it is available through the same +//! commands as for Boolean Operations (bmodified, bgenerated and bisdeleted).
//! There could be Generated shapes only after removing of the internal boundaries -//! between faces and edges, i.e. after using ShapeUpgrade_UnifySameDomain tool. -//! -//! Examples: -//! 1. API -//! BOPAlgo_CellsBuilder aCBuilder; -//! BOPCol_ListOfShape aLS = ...; // arguments -//! /* parallel or single mode (the default value is FALSE)*/ -//! Standard_Boolean bRunParallel = Standard_False; -//! /* fuzzy option (default value is 0)*/ -//! Standard_Real aTol = 0.0; -//! // -//! aCBuilder.SetArguments(aLS); -//! aCBuilder.SetRunParallel(bRunParallel); -//! aCBuilder.SetFuzzyValue(aTol); -//! // -//! aCBuilder.Perform(); -//! if (aCBuilder.ErrorStatus()) { // check error status -//! return; -//! } -//! /* empty compound, as nothing has been added yet */ -//! const TopoDS_Shape& aRes = aCBuilder.Shape(); -//! /* all split parts */ -//! const TopoDS_Shape& aRes = aCBuilder.GetAllParts(); -//! // -//! BOPCol_ListOfShape aLSToTake = ...; // parts of these arguments will be taken into result -//! BOPCol_ListOfShape aLSToAvoid = ...; // parts of these arguments will not be taken into result -//! // +//! between faces and edges, i.e. after using ShapeUpgrade_UnifySameDomain tool.
+//! +//! The algorithm can return the following Error Statuses:
+//! - 0 - in case of success;
+//! - Error status acquired in the General Fuse algorithm.
+//! The Error status can be checked with ErrorStatus() method. +//! If the Error status is not equal to zero, the result cannot be trustworthy.
+//! +//! The algorithm can return the following Warning Statuses:
+//! - 0 - no warnings occurred;
+//! - Warning status acquired in the General Fuse algorithm;
+//! - One of the warnings from BOPAlgo_CellsBuilder_WarningStatusEnum.
+//! The Warning status can be checked with WarningStatus() method or +//! printed with the DumpWarnings() method. If the Warning status is not equal +//! to zero, the result may be not as expected.
+//! +//! Examples:
+//! 1. API
+//! BOPAlgo_CellsBuilder aCBuilder;
+//! BOPCol_ListOfShape aLS = ...; // arguments
+//! /* parallel or single mode (the default value is FALSE)*/
+//! Standard_Boolean bRunParallel = Standard_False;
+//! /* fuzzy option (default value is 0)*/
+//! Standard_Real aTol = 0.0;
+//! //
+//! aCBuilder.SetArguments(aLS);
+//! aCBuilder.SetRunParallel(bRunParallel);
+//! aCBuilder.SetFuzzyValue(aTol);
+//! //
+//! aCBuilder.Perform();
+//! if (aCBuilder.ErrorStatus()) { // check error status
+//! return;
+//! }
+//! /* empty compound, as nothing has been added yet */
+//! const TopoDS_Shape& aRes = aCBuilder.Shape();
+//! /* all split parts */
+//! const TopoDS_Shape& aRes = aCBuilder.GetAllParts();
+//! //
+//! BOPCol_ListOfShape aLSToTake = ...; // parts of these arguments will be taken into result
+//! BOPCol_ListOfShape aLSToAvoid = ...; // parts of these arguments will not be taken into result
+//! //
//! /* defines the material common for the cells, i.e. //! the boundaries between cells with the same material -//! will be removed. -//! By default it is set to 0. Thus, to remove some boundary -//! the value of this variable should not be equal to 0 */ -//! Standard_Integer iMaterial = ...; -//! /* defines whether to update the result right now or not */ -//! Standard_Boolean bUpdate = ...; -//! // adding to result -//! aCBuilder.AddToResult(aLSToTake, aLSToAvoid, iMaterial, bUpdate); -//! aR = aCBuilder.Shape(); // the result -//! // removing of the boundaries -//! aCBuilder.RemoveInternalBoundaries(); -//! -//! // removing from result -//! aCBuilder.AddAllToResult(); -//! aCBuilder.RemoveFromResult(aLSToTake, aLSToAvoid); -//! aR = aCBuilder.Shape(); // the result -//! -//! -//! 2. DRAW Test Harness -//! psphere s1 15 -//! psphere s2 15 -//! psphere s3 15 -//! ttranslate s1 0 0 10 -//! ttranslate s2 20 0 10 -//! ttranslate s3 10 0 0 -//! -//! bclearobjects; bcleartools -//! baddobjects s1 s2 s3 -//! bfillds -//! # rx will contain all split parts -//! bcbuild rx -//! # add to result the part that is common for all three spheres -//! bcadd res s1 1 s2 1 s3 1 -m 1 -//! # add to result the part that is common only for first and third shperes -//! bcadd res s1 1 s2 0 s3 1 -m 1 -//! # remove internal boundaries -//! bcremoveint res +//! will be removed.
+//! By default it is set to 0. Thus, to remove some boundary +//! the value of this variable should not be equal to 0 */
+//! Standard_Integer iMaterial = ...;
+//! /* defines whether to update the result right now or not */
+//! Standard_Boolean bUpdate = ...;
+//! // adding to result
+//! aCBuilder.AddToResult(aLSToTake, aLSToAvoid, iMaterial, bUpdate);
+//! aR = aCBuilder.Shape(); // the result
+//! // removing of the boundaries (should be called only if bUpdate is false)
+//! aCBuilder.RemoveInternalBoundaries();
+//! //
+//! // removing from result
+//! aCBuilder.AddAllToResult();
+//! aCBuilder.RemoveFromResult(aLSToTake, aLSToAvoid);
+//! aR = aCBuilder.Shape(); // the result
+//!
+//! +//! 2. DRAW Test Harness
+//! psphere s1 15
+//! psphere s2 15
+//! psphere s3 15
+//! ttranslate s1 0 0 10
+//! ttranslate s2 20 0 10
+//! ttranslate s3 10 0 0
+//! \# adding arguments
+//! bclearobjects; bcleartools
+//! baddobjects s1 s2 s3
+//! \# intersection
+//! bfillds
+//! \# rx will contain all split parts
+//! bcbuild rx
+//! \# add to result the part that is common for all three spheres
+//! bcadd res s1 1 s2 1 s3 1 -m 1
+//! \# add to result the part that is common only for first and third spheres
+//! bcadd res s1 1 s2 0 s3 1 -m 1
+//! \# remove internal boundaries
+//! bcremoveint res
//! - - class BOPAlgo_CellsBuilder : public BOPAlgo_Builder { public: @@ -169,33 +188,33 @@ class BOPAlgo_CellsBuilder : public BOPAlgo_Builder //! Redefined method Clear - clears the contents. Standard_EXPORT virtual void Clear() Standard_OVERRIDE; - //! Adding the parts to result. - //! The parts are defined by two lists of shapes. - //! defines the arguments which parts should be taken into result; - //! defines the arguments which parts should not be taken into result; + //! Adding the parts to result.
+ //! The parts are defined by two lists of shapes:
+ //! defines the arguments which parts should be taken into result;
+ //! defines the arguments which parts should not be taken into result;
//! To be taken into result the part must be IN for all shapes from the list - //! and must be OUT of all shapes from the list . + //! and must be OUT of all shapes from the list .
//! - //! To remove internal boundaries between any cells in the result - //! variable should be used. The boundaries between - //! cells with the same material will be removed. Default value is 0. - //! Thus, to remove any boundary the value of this variable should not be equal to 0. - //! parameter defines whether to remove boundaries now or not + //! To remove internal boundaries between any cells in the result + //! variable should be used. The boundaries between + //! cells with the same material will be removed. Default value is 0.
+ //! Thus, to remove any boundary the value of this variable should not be equal to 0.
+ //! parameter defines whether to remove boundaries now or not. Standard_EXPORT void AddToResult(const BOPCol_ListOfShape& theLSToTake, const BOPCol_ListOfShape& theLSToAvoid, const Standard_Integer theMaterial = 0, const Standard_Boolean theUpdate = Standard_False); - //! Add all split parts to result - //! defines the removal of internal boundaries; + //! Add all split parts to result.
+ //! defines the removal of internal boundaries;
//! parameter defines whether to remove boundaries now or not. Standard_EXPORT void AddAllToResult(const Standard_Integer theMaterial = 0, const Standard_Boolean theUpdate = Standard_False); - //! Removing the parts from result. - //! The parts are defined by two lists of shapes. - //! defines the arguments which parts should be removed from result; - //! defines the arguments which parts should not be removed from result. + //! Removing the parts from result.
+ //! The parts are defined by two lists of shapes:
+ //! defines the arguments which parts should be removed from result;
+ //! defines the arguments which parts should not be removed from result.
//! To be removed from the result the part must be IN for all shapes from the list //! and must be OUT of all shapes from the list . Standard_EXPORT void RemoveFromResult(const BOPCol_ListOfShape& theLSToTake, @@ -204,7 +223,11 @@ class BOPAlgo_CellsBuilder : public BOPAlgo_Builder //! Remove all parts from result. Standard_EXPORT void RemoveAllFromResult(); - //! Removes internal boundaries between cells with the same material. + //! Removes internal boundaries between cells with the same material.
+ //! If the result contains the cells with same material but of different dimension + //! the removal of internal boundaries between these cells will not be performed.
+ //! In case of some errors during the removal the method will set the appropriate warning status - + //! see the WarningStatusEnum enumeration. Standard_EXPORT void RemoveInternalBoundaries(); //! Get all split parts. @@ -218,24 +241,34 @@ class BOPAlgo_CellsBuilder : public BOPAlgo_Builder //! Returns true if the shape theS has been deleted. Standard_EXPORT virtual Standard_Boolean IsDeleted (const TopoDS_Shape& theS) Standard_OVERRIDE; - + + //! Define possible warning statuses of the CellsBuilder algorithm:
+ //! - RemovalOfIBForMDimShapes - The result contains multi-dimensional shapes with the same + //! material. Removal of internal boundaries has not been performed.
+ //! - RemovalOfIBForSolidsFailed - Removal of internal boundaries among Solids has failed.
+ //! - RemovalOfIBForFacesFailed - Removal of internal boundaries among Faces has failed.
+ //! - RemovalOfIBForEdgesFailed - Removal of internal boundaries among Edges has failed.
+ enum WarningStatusEnum + { + RemovalOfIBForMDimShapes = 2, + RemovalOfIBForSolidsFailed = 4, + RemovalOfIBForFacesFailed = 8, + RemovalOfIBForEdgesFailed = 16 + }; + + //! Dumps the warning status + Standard_EXPORT virtual void DumpWarnings(Standard_OStream& theOS) const; + protected: - //! Redefined method Prepare - no need to prepare history + //! Redefined method Prepare - no need to prepare history //! information on the default result as it is empty compound. Standard_EXPORT virtual void Prepare() Standard_OVERRIDE; - //! Redefined method CheckData() - additional check for the arguments - //! to be of the same dimension. - Standard_EXPORT virtual void CheckData() Standard_OVERRIDE; - - //! Redefined method PerformInternal1 - makes all split parts, + //! Redefined method PerformInternal1 - makes all split parts, //! nullifies the result , and index all parts. Standard_EXPORT virtual void PerformInternal1 (const BOPAlgo_PaveFiller& thePF) Standard_OVERRIDE; - //! Saves all split parts in myAllParts. - Standard_EXPORT void TakeAllParts(); - //! Indexes the parts for quick access to the arguments. Standard_EXPORT void IndexParts(); @@ -244,12 +277,12 @@ class BOPAlgo_CellsBuilder : public BOPAlgo_Builder const BOPCol_ListOfShape& theLSToAvoid, BOPCol_ListOfShape& theParts); - //! Removes internal boundaries between cells with the same material. - Standard_EXPORT Standard_Integer RemoveInternals(const BOPCol_ListOfShape& theLS, + //! Removes internal boundaries between cells with the same material.
+ //! Returns TRUE if any internal boundaries have been removed. + Standard_EXPORT Standard_Boolean RemoveInternals(const BOPCol_ListOfShape& theLS, BOPCol_ListOfShape& theLSNew); // fields - TopAbs_ShapeEnum myType; TopoDS_Shape myAllParts; BOPCol_IndexedDataMapOfShapeListOfShape myIndex; BOPCol_DataMapOfIntegerListOfShape myMaterials; diff --git a/src/BOPTest/BOPTest_CellsCommands.cxx b/src/BOPTest/BOPTest_CellsCommands.cxx index 3183031621..58f93a103f 100644 --- a/src/BOPTest/BOPTest_CellsCommands.cxx +++ b/src/BOPTest/BOPTest_CellsCommands.cxx @@ -137,7 +137,7 @@ Standard_Integer bcbuild(Draw_Interpretor& di, //purpose : //======================================================================= Standard_Integer bcaddall(Draw_Interpretor& di, - Standard_Integer n, + Standard_Integer n, const char** a) { if (n < 2 || n > 5) { @@ -162,6 +162,10 @@ Standard_Integer bcaddall(Draw_Interpretor& di, // aCBuilder.AddAllToResult(iMaterial, bUpdate); // + Standard_SStream aSStream; + aCBuilder.DumpWarnings(aSStream); + di << aSStream; + // const TopoDS_Shape& aR = aCBuilder.Shape(); // DBRep::Set(a[1], aR); @@ -243,6 +247,10 @@ Standard_Integer bcadd(Draw_Interpretor& di, BOPAlgo_CellsBuilder& aCBuilder = BOPTest_Objects::CellsBuilder(); aCBuilder.AddToResult(aLSToTake, aLSToAvoid, iMaterial, bUpdate); // + Standard_SStream aSStream; + aCBuilder.DumpWarnings(aSStream); + di << aSStream; + // const TopoDS_Shape& aR = aCBuilder.Shape(); // DBRep::Set(a[1], aR); @@ -311,6 +319,10 @@ Standard_Integer bcremoveint(Draw_Interpretor& di, BOPAlgo_CellsBuilder& aCBuilder = BOPTest_Objects::CellsBuilder(); aCBuilder.RemoveInternalBoundaries(); // + Standard_SStream aSStream; + aCBuilder.DumpWarnings(aSStream); + di << aSStream; + // const TopoDS_Shape& aR = aCBuilder.Shape(); // DBRep::Set(a[1], aR); diff --git a/tests/boolean/cells_test/J1 b/tests/boolean/cells_test/J1 new file mode 100644 index 0000000000..8cc7317fb8 --- /dev/null +++ b/tests/boolean/cells_test/J1 @@ -0,0 +1,49 @@ +puts "========" +puts "OCC28528" +puts "========" +puts "" +####################################################################### +# Make the CellsBuilder algorithm to work with multi-dimensional arguments +####################################################################### + +puts "Arguments: solid and a face" + +box b 10 10 10 +plane p 5 5 5 1 0 0 +mkface f p -10 10 -10 10 + +bclearobjects +bcleartools +baddobjects b f +bfillds +bcbuild r + +puts "Results" + +puts "All split shapes" +bcaddall result +checknbshapes result -solid 2 -m "Number of SOLIDs in the result containing all splits" +checknbshapes result -face 12 -m "Number of FACEs in the result containing all splits" +checkprops result -v 1000 -s 1200 + +puts "Cut solid from face" +bcremoveall +bcadd result f 1 b 0 +checknbshapes result -face 1 -m "Number of FACEs in the result of CUT(f, b) operation" + +puts "Cut face from solid" +bcremoveall +bcadd result b 1 f 0 +checknbshapes result -solid 2 -m "Number of SOLIDs in the result of CUT(b, f) operation" + +puts "Common between face and solid" +bcremoveall +bcadd result b 1 f 1 +checknbshapes result -face 1 -m "Number of FACEs in the result of COMMON(b, f) operation" + +puts "Fuse operation between face and solid" +bcremoveall +bcadd result b 1 -m 1 -u +bcadd result f 1 b 0 +checknbshapes result -solid 1 -m "Number of SOLIDs in the result of FUSE(b, f) operation" +checknbshapes result -face 11 -m "Number of FACEs in the result of FUSE(b, f) operation" diff --git a/tests/boolean/cells_test/J2 b/tests/boolean/cells_test/J2 new file mode 100644 index 0000000000..f8bc7347fc --- /dev/null +++ b/tests/boolean/cells_test/J2 @@ -0,0 +1,51 @@ +puts "========" +puts "OCC28528" +puts "========" +puts "" +####################################################################### +# Make the CellsBuilder algorithm to work with multi-dimensional arguments +####################################################################### + +puts "Arguments: solid and a face" + +box b 10 10 10 +plane p 5 5 5 1 0 0 +mkface f p 0 10 0 10 + +bclearobjects +bcleartools +baddobjects b f +bfillds +bcbuild r + +puts "Results" + +puts "All split shapes" +bcaddall result +checknbshapes result -solid 1 -m "Number of SOLIDs in the result containing all splits" +checknbshapes result -face 8 -m "Number of FACEs in the result containing all splits" +checkprops result -v 1000 -s 725 + +puts "Cut solid from face" +bcremoveall +bcadd result f 1 b 0 +checknbshapes result -face 1 -m "Number of FACEs in the result of CUT(f, b) operation" + +puts "Cut face from solid" +bcremoveall +bcadd result b 1 f 0 +checknbshapes result -solid 1 -m "Number of SOLIDs in the result of CUT(b, f) operation" +checknbshapes result -face 7 -m "Number of FACEs in the result of CUT(b, f) operation" + +puts "Common between face and solid" +bcremoveall +bcadd result b 1 f 1 +checknbshapes result -face 1 -m "Number of FACEs in the result of COMMON(b, f) operation" + +puts "Fuse operation between face and solid" +bcremoveall +bcadd result b 1 -m 1 -u +checknbshapes result -face 7 -m "Number of faces in unified split of solid" +bcadd result f 1 b 0 +checknbshapes result -solid 1 -m "Number of SOLIDs in the result of FUSE(b, f) operation" +checknbshapes result -face 8 -m "Number of FACEs in the result of FUSE(b, f) operation" diff --git a/tests/boolean/cells_test/J3 b/tests/boolean/cells_test/J3 new file mode 100644 index 0000000000..d2b6e76090 --- /dev/null +++ b/tests/boolean/cells_test/J3 @@ -0,0 +1,120 @@ +puts "========" +puts "OCC28528" +puts "========" +puts "" +####################################################################### +# Make the CellsBuilder algorithm to work with multi-dimensional arguments +####################################################################### + +puts "Arguments: three interfering boxes cut by a plane" +box b1 10 10 10 +box b2 7 0 0 10 10 10 +box b3 5 0 5 10 10 10 +plane p 5 5 5 0 1 0 +mkface f p -20 20 -20 20 + +bclearobjects +bcleartools +baddobjects b1 b2 b3 +baddtools f +bfillds +bcbuild r + +puts "Results" + +puts "All split shapes" +bcaddall result +checknbshapes result -solid 14 -m "Number of SOLIDs in the result containing all splits" +checknbshapes result -face 66 -m "Number of FACEs in the result containing all splits" +checkprops result -v 2200 -s 4120 + +puts "Splits of solids" +bcremove result f 1 +checknbshapes result -solid 14 -m "Number of SOLIDs in the result containing only splits of solids" +checknbshapes result -face 65 -m "Number of FACEs in the result containing only splits of solids" +checkprops result -v 2200 -s 2520 + +puts "Splits of the face" +bcremoveall +bcadd result f 1 +checknbshapes result -face 8 -m "Number of FACEs in the result containing only splits of the face" +checkprops result -s 1600 + +puts "Cut solids from face" +bcremoveall +bcadd result f 1 b1 0 b2 0 b3 0 +checknbshapes result -face 1 -m "Number of FACEs in the result of CUT(face, solids) operation" +checkprops result -s 1380 + +puts "Splits of only one solid" +bcremoveall +bcadd result b1 1 +checknbshapes result -solid 8 -m "Number of FACEs in the result containing only the splits of first solid" +checkprops result -v 1000 + + +puts "Making containers" + +puts "Make SHELL and COMPSOLID from all splits parts" +bcremoveall +bcaddall result +bcmakecontainers result +explode result +if {![regexp "SHELL" [whatis result_1]]} {puts "Error: Shell is not created"} +checknbshapes result_1 -face 8 -m "Number of FACEs in the SHELL built from all splits of face" +if {![regexp "COMPSOLID" [whatis result_2]]} {puts "Error: COMPSOLID is not created"} +checknbshapes result_2 -solid 14 -m "Number of SOLIDs in the COMPSOLID built from splits of all solids" + +puts "Remove splits of the first solid from the COMPSOLID" +bcremove result b1 1 +explode result +if {![regexp "SHELL" [whatis result_1]]} {puts "Error: Shell has been destroyed"} +if {![regexp "COMPSOLID" [whatis result_2]]} {puts "Error: COMPSOLID has been destroyed"} +checknbshapes result_2 -solid 6 -m "Number of SOLIDs in the COMPSOLID built from splits of two solids not included in the first solid" + +puts "Remove splits of face included into first solid from the shell" +bcremove result f 1 b1 1 +explode result +if {![regexp "SHELL" [whatis result_1]]} {puts "Error: Shell has been destroyed"} +checknbshapes result_1 -face 4 -m "Number of FACEs in the SHELL built from splits of face not included into the first solid" +if {![regexp "COMPSOLID" [whatis result_2]]} {puts "Error: COMPSOLID has been destroyed"} + +puts "Destroy the shell completely by removing all splits of the face from the result" +bcremove result f 1 +if {[regexp "_2" [explode result]]} {puts "Error: Shell has not been destroyed"} +if {![regexp "COMPSOLID" [whatis result_1]]} {puts "Error: COMPSOLID has been destroyed"} + + +puts "Removing internal boundaries" + +puts "Remove internal boundaries in the result of COMMON operation between first two solids" +bcremoveall +bcadd result b1 1 b2 1 -m 1 -u +checknbshapes result -solid 1 -m "Number of SOLIDs in the result of COMMON(b1, b2) operation" + +puts "Remove internal boundaries in the result of COMMON operation between first solid and face" +bcremoveall +bcadd result b1 1 f 1 -m 1 -u +checknbshapes result -face 1 -m "Number of FACEs in the result of COMMON(b1, f) operation" + + +puts "Make Fuse operation between two solids and face" +bcremoveall +bcadd result b1 1 -m 1 +bcadd result b3 1 -m 1 +bcadd result f 1 b1 0 b3 0 -m 2 +bcmakecontainers result +bcremoveint result +set expl [explode result] +if {![regexp "result_1 result_2" $expl]} {puts "Error: The unification did not work"} +if {[regexp "result_3" $expl]} {puts "Error: The unification did not work"} + +if {![regexp "SOLID" [whatis result_1]]} {puts "Error: The solids have not been fused"} +if {![regexp "FACE" [whatis result_2]]} {puts "Error: The faces have not been unified"} + +puts "Fuse splits of solids with different material for each solid" +bcremoveall +bcadd result b1 1 -m 1 -u +bcadd result b2 1 -m 2 -u +bcadd result b3 1 -m 3 -u +checknbshapes result -solid 3 -m "Number of shapes in the result of Unification of splits of each solid" diff --git a/tests/boolean/cells_test/J4 b/tests/boolean/cells_test/J4 new file mode 100644 index 0000000000..80fb210c8b --- /dev/null +++ b/tests/boolean/cells_test/J4 @@ -0,0 +1,49 @@ +puts "========" +puts "OCC28528" +puts "========" +puts "" +####################################################################### +# Make the CellsBuilder algorithm to work with multi-dimensional arguments +####################################################################### + +puts "Arguments: solid and an edge" + +psphere s 10 +line l 0 0 0 0 1 0 +mkedge e l -15 15 + +bclearobjects +bcleartools +baddobjects s e +bfillds +bcbuild r + +puts "Results" + +puts "All split shapes" +bcaddall result +checknbshapes result -solid 1 -m "Number of SOLIDs in the result containing all splits" +checknbshapes result -edge 6 -m "Number of EDGEs in the result containing all splits" +checkprops result -v 4188.79 -l 112.832 + +puts "Cut solid from edge" +bcremoveall +bcadd result e 1 s 0 +checknbshapes result -edge 2 -m "Number of EDGEs in the result of CUT(e, s) operation" + +puts "Cut edge from solid" +bcremoveall +bcadd result s 1 e 0 +checknbshapes result -solid 1 -m "Number of SOLIDs in the result of CUT(s, e) operation" + +puts "Common between edge and solid" +bcremoveall +bcadd result s 1 e 1 +checknbshapes result -edge 1 -m "Number of EDGEs in the result of COMMON(s, e) operation" + +puts "Fuse operation between edge and solid" +bcremoveall +bcadd result s 1 -m 1 -u +bcadd result e 1 s 0 +checknbshapes result -solid 1 -m "Number of SOLIDs in the result of FUSE(s, e) operation" +checknbshapes result -edge 6 -m "Number of EDGEs in the result of FUSE(s, e) operation" diff --git a/tests/boolean/cells_test/J5 b/tests/boolean/cells_test/J5 new file mode 100644 index 0000000000..dd18f09fe4 --- /dev/null +++ b/tests/boolean/cells_test/J5 @@ -0,0 +1,50 @@ +puts "========" +puts "OCC28528" +puts "========" +puts "" +####################################################################### +# Make the CellsBuilder algorithm to work with multi-dimensional arguments +####################################################################### + +puts "Arguments: face and an edge" + +cylinder c 0 0 0 0 0 1 10 +mkface f c 0 2*pi -20 20 +viso l c 0 +mkedge e l + +bclearobjects +bcleartools +baddobjects f e +bfillds +bcbuild r + +puts "Results" + +puts "All split shapes" +bcaddall result +checknbshapes result -face 2 -m "Number of FACEs in the result containing all splits" +checknbshapes result -edge 5 -m "Number of EDGEs in the result containing all splits" +checkprops result -s 2513.27 -l 394.159 + +puts "Cut face from edge" +bcremoveall +bcadd result e 1 f 0 +checknbshapes result -edge 0 -m "Number of EDGEs in the result of CUT(e, f) operation" + +puts "Cut edge from face" +bcremoveall +bcadd result f 1 e 0 +checknbshapes result -face 2 -m "Number of FACE in the result of CUT(f, e) operation" + +puts "Common between face and edge" +bcremoveall +bcadd result f 1 e 1 +checknbshapes result -edge 1 -m "Number of EDGEs in the result of COMMON(f, e) operation" + +puts "Fuse operation between face and edge" +bcremoveall +bcadd result f 1 +bcadd result e 1 s 0 +checknbshapes result -face 2 -m "Number of FACEs in the result of FUSE(f, e) operation" +checknbshapes result -edge 5 -m "Number of EDGEs in the result of FUSE(f, e) operation" diff --git a/tests/boolean/cells_test/J6 b/tests/boolean/cells_test/J6 new file mode 100644 index 0000000000..2bc85536b2 --- /dev/null +++ b/tests/boolean/cells_test/J6 @@ -0,0 +1,50 @@ +puts "========" +puts "OCC28528" +puts "========" +puts "" +####################################################################### +# Make the CellsBuilder algorithm to work with multi-dimensional arguments +####################################################################### + +puts "Arguments: face and an edge" + +cylinder c 0 0 0 0 0 1 10 +mkface f c 0 2*pi -20 20 +uiso l c pi +mkedge e l -25 25 + +bclearobjects +bcleartools +baddobjects f e +bfillds +bcbuild r + +puts "Results" + +puts "All split shapes" +bcaddall result +checknbshapes result -face 2 -m "Number of FACEs in the result containing all splits" +checknbshapes result -edge 8 -m "Number of EDGEs in the result containing all splits" +checkprops result -s 2513.27 -l 335.664 + +puts "Cut face from edge" +bcremoveall +bcadd result e 1 f 0 +checknbshapes result -edge 2 -m "Number of EDGEs in the result of CUT(e, f) operation" + +puts "Cut edge from face" +bcremoveall +bcadd result f 1 e 0 +checknbshapes result -face 2 -m "Number of FACE in the result of CUT(f, e) operation" + +puts "Common between face and edge" +bcremoveall +bcadd result f 1 e 1 +checknbshapes result -edge 1 -m "Number of EDGEs in the result of COMMON(f, e) operation" + +puts "Fuse operation between face and edge" +bcremoveall +bcadd result f 1 +bcadd result e 1 s 0 +checknbshapes result -face 2 -m "Number of FACEs in the result of FUSE(f, e) operation" +checknbshapes result -edge 8 -m "Number of EDGEs in the result of FUSE(f, e) operation"