Changes

Line 1,370: Line 1,370:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| Case Analysis-Synthesis Theorem (CAST)` ` ` ` ` ` ` ` ` ` |
+
| Case Analysis-Synthesis Theorem (CAST)                   |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `x` ` ` ` ` ` |
+
|                                             x           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` |
+
|                                             o           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `x` `|` ` ` ` ` ` |
+
|                                         x   |           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` Q[o/x] o---o Q[|/x] ` ` |
+
|                                   Q[o/x] o---o Q[|/x]     |
| ` ` ` ` ` ` `Q` ` ` ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` |
+
|             Q                           \ /             |
| ` ` ` ` ` ` `@` ` ` ` ` ` ` = ` ` ` ` ` ` `@` ` ` ` ` ` ` |
+
|             @             =             @             |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` `Q` ` ` ` ` ` ` = ` ( Q[o/x] x , Q[|/x] (x) ) |
+
|             Q             =   ( Q[o/x] x , Q[|/x] (x) ) |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,394: Line 1,394:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| Precept L_1.` Indifference` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Precept L_1. Indifference                               |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` a ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     a                                     |
| ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     o                                     |
| ` ` ` ` ` ` ` ` a ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 a   |                                     |
| ` ` ` ` ` ` ` ` o---o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 o---o                                     |
| ` ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                     |
| ` ` ` ` ` ` ` ` ` @ ` ` ` ` = ` ` ` ` @ ` ` ` ` ` ` ` ` ` |
+
|                   @         =         @                   |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` `(a, (a)) ` ` = ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               (a, (a))     =                             |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` Split <---- | ----> Merge ` ` ` ` ` ` ` ` |
+
|                 Split <---- | ----> Merge                 |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,416: Line 1,416:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| Precept L_2.` Equality. `The Following Are Equivalent:` ` |
+
| Precept L_2. Equality. The Following Are Equivalent:   |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` b ` ` ` ` ` ` ` a ` b ` ` ` ` ` ` ` a ` ` ` ` ` |
+
|           b               a   b               a           |
| ` ` ` ` ` o ` ` ` ` ` ` ` o---o ` ` ` ` ` ` ` o ` ` ` ` ` |
+
|           o               o---o               o           |
| ` ` ` a ` | ` ` ` ` ` ` ` `\ /` ` ` ` ` ` ` ` | ` b ` ` ` |
+
|       a   |               \ /               |   b       |
| ` ` ` o---o ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` o---o ` ` ` |
+
|       o---o                 o                 o---o       |
| ` ` ` `\ /` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` `\ /` ` ` ` |
+
|       \ /                 |                 \ /       |
| ` ` ` ` @ ` ` ` ` = ` ` ` ` @ ` ` ` ` = ` ` ` ` @ ` ` ` ` |
+
|         @         =         @         =         @         |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` `(a, (b)) ` ` = ` ` ((a , b)) ` ` = ` ` ((a), b)` ` ` |
+
|     (a, (b))     =     ((a , b))     =     ((a), b)     |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,436: Line 1,436:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| Precept L_3.` Dispersion` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Precept L_3. Dispersion                                 |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| For k > 1, the following equation holds:` ` ` ` ` ` ` ` ` |
+
| For k > 1, the following equation holds:                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` y_1 ` `y_2` `...` ` y_k ` ` x y_1 `x y_2` `...` x y_k ` |
+
|   y_1   y_2   ...   y_k     x y_1 x y_2   ... x y_k   |
| ` `o------o-...-o------o` ` ` ` `o------o-...-o------o` ` |
+
|   o------o-...-o------o         o------o-...-o------o   |
| ` ` \ ` ` ` ` ` ` ` ` / ` ` ` ` ` \ ` ` ` ` ` ` ` ` / ` ` |
+
|     \                 /           \                 /     |
| ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` |
+
|     \               /             \               /     |
| ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` |
+
|       \             /               \             /       |
| ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` |
+
|       \           /                 \           /       |
| ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` |
+
|         \         /                   \         /         |
| ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` |
+
|         \       /                     \       /         |
| ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` |
+
|           \     /                       \     /           |
| ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` |
+
|           \   /                         \   /           |
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` |
+
|             \ /                           \ /             |
| ` ` ` ` ` `x O` ` ` ` ` ` ` = ` ` ` ` ` ` `@` ` ` ` ` ` ` |
+
|           x O             =             @             |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` x (y_1, ..., y_k) ` ` ` = ` ` (x y_1, ..., x y_k) ` ` |
+
|     x (y_1, ..., y_k)       =     (x y_1, ..., x y_k)     |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` Distill ` ` <---- | ----> ` ` Disperse` ` ` ` ` |
+
|           Distill     <---- | ---->     Disperse         |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
Line 1,470: Line 1,470:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| Case Analysis-Synthesis Theorem.` Proof Sketch. ` ` ` ` ` |
+
| Case Analysis-Synthesis Theorem. Proof Sketch.           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` `Q` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             Q                                           |
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< L1. Split " " >=============o
 
o=============================< L1. Split " " >=============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` `x` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               x                                         |
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                         |
| ` ` ` ` ` `x` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           x   |                                         |
| ` ` ` ` ` `o---o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           o---o                                         |
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                           |
| ` ` ` ` ` `Q O` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           Q O                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< L3. Disperse "Q" >==========o
 
o=============================< L3. Disperse "Q" >==========o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` `x` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               x                                         |
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                         |
| ` ` ` ` ` `x` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           x   |                                         |
| ` ` ` ` `Q o---o Q` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         Q o---o Q                                       |
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                           |
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< C1. Reflect "x" >===========o
 
o=============================< C1. Reflect "x" >===========o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` `x` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               x                                         |
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                         |
| ` ` ` ` ` `x` `|` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           x   |                                         |
| ` ` ` ` `Q o---o Q[((x))/x] ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         Q o---o Q[((x))/x]                               |
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                           |
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< C2. Weed "x", "(x)" >=======o
 
o=============================< C2. Weed "x", "(x)" >=======o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` `x` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               x                                         |
| ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               o                                         |
| ` ` ` ` ` `x ` |` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           x   |                                         |
| ` ` Q[o/x] o---o Q[|/x] ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     Q[o/x] o---o Q[|/x]                                   |
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \ /                                           |
| ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             @                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< QES >=======================o
 
o=============================< QES >=======================o
 
</pre>
 
</pre>
Line 1,524: Line 1,524:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| Praeclarum Theorema.` Proof by CAST.` ` ` ` ` ` ` ` ` ` ` |
+
| Praeclarum Theorema. Proof by CAST.                     |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` b o ` o c ` ` o bc` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     b o   o c     o bc                                   |
| ` ` ` | ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |   |       |                                       |
| ` ` a o ` o d ` ` o ad` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     a o   o d     o ad                                   |
| ` ` ` `\ /` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /       |                                       |
| ` ` ` ` o---------o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o---------o                                       |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                                                 |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                                                 |
| ` ` ` ` @ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         @                                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "a" >==================o
 
o=============================< CAST "a" >==================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `bc ` ` ` ` ` |
+
|                                             bc           |
| ` ` b o ` o c ` o bc` ` ` ` ` ` ` b o ` o c ` o o ` ` ` ` |
+
|     b o   o c   o bc             b o   o c   o o         |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` ` | ` | ` ` |/` ` ` ` ` |
+
|       |   |     |                   |   |     |/         |
| ` ` ` o ` o d ` o d ` ` ` ` ` ` `o--o ` o d ` o d ` ` ` ` |
+
|       o   o d   o d             o--o   o d   o d         |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` `\ /` ` ` | ` ` ` ` ` |
+
|       \ /     |                   \ /     |           |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` |
+
|         o-------o                     o-------o           |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` a o-----------------------------o---o a ` ` ` ` ` ` |
+
|       a o-----------------------------o---o a             |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|         \                           /                   |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` |
+
|           \                       /                     |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \                   /                       |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \               /                         |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` b o ` o c ` o bc` ` ` ` ` ` ` ` ` ` o c ` ` o ` ` ` ` |
+
|     b o   o c   o bc                   o c     o         |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` `/` ` ` ` ` |
+
|       |   |     |                       |     /         |
| ` ` ` o ` o d ` o d ` ` ` ` ` ` `o--o ` o d ` o ` ` ` ` ` |
+
|       o   o d   o d             o--o   o d   o           |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` `\ /` ` ` | ` ` ` ` ` |
+
|       \ /     |                   \ /     |           |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` |
+
|         o-------o                     o-------o           |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` a o-----------------------------o---o a ` ` ` ` ` ` |
+
|       a o-----------------------------o---o a             |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|         \                           /                   |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` |
+
|           \                       /                     |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \                   /                       |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \               /                         |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` b o ` o c ` o bc` ` ` ` ` ` ` ` ` ` o c ` ` ` ` ` ` ` |
+
|     b o   o c   o bc                   o c               |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
+
|       |   |     |                       |                 |
| ` ` ` o ` o d ` o d ` ` ` ` ` ` ` ` ` ` o d ` ` ` ` ` ` ` |
+
|       o   o d   o d                     o d               |
| ` ` ` `\ / ` ` `| ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` |
+
|       \ /     |                     /                 |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` |
+
|         o-------o                     o-------o           |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` a o-----------------------------o---o a ` ` ` ` ` ` |
+
|       a o-----------------------------o---o a             |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|         \                           /                   |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` |
+
|           \                       /                     |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \                   /                       |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \               /                         |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` b o ` o c ` o bc` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     b o   o c   o bc                                     |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |   |     |                                         |
| ` ` ` o ` o d ` o d ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o   o d   o d                                       |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /     |                                         |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` |
+
|         o-------o                     o-------o           |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
+
|         |                             |                   |
| ` ` ` a o-----------------------------o---o a ` ` ` ` ` ` |
+
|       a o-----------------------------o---o a             |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|         \                           /                   |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` |
+
|           \                       /                     |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \                   /                       |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \               /                         |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` b o ` o c ` o bc` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     b o   o c   o bc                                     |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |   |     |                                         |
| ` ` ` o ` o d ` o d ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o   o d   o d                                       |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /     |                                         |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o-------o                                         |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                                                 |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                                                 |
| ` ` ` a o-----------------------------o---o a ` ` ` ` ` ` |
+
|       a o-----------------------------o---o a             |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` |
+
|         \                           /                   |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` |
+
|           \                       /                     |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \                   /                       |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \               /                         |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \           /                           |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \       /                             |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \   /                               |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "d" >==================o
 
o=============================< CAST "d" >==================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` b ` c ` `bc ` ` ` ` ` ` ` |
+
|                                 b   c   bc               |
| ` ` b o ` o c ` o bc` ` ` ` ` ` o ` o o ` o o ` ` ` ` ` ` |
+
|     b o   o c   o bc           o   o o   o o             |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` | ` |/` ` |/` ` ` ` ` ` ` |
+
|       |   |     |               |   |/   |/             |
| ` ` ` o ` o ` ` o ` ` ` ` ` ` ` o ` o ` ` o ` ` ` ` ` ` ` |
+
|       o   o     o               o   o     o               |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` |
+
|       \ /     |               \ /     |               |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` |
+
|         o-------o                 o-------o               |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` d o-------------------------o---o d ` ` ` ` ` ` ` ` |
+
|       d o-------------------------o---o d                 |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                       /                       |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \                   /                         |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \               /                           |
| ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \           /                             |
| ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \       /                               |
| ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \   /                                 |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` b ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                 b                         |
| ` ` b o ` o c ` o bc` ` ` ` ` ` o ` ` o ` ` o ` ` ` ` ` ` |
+
|     b o   o c   o bc           o     o     o             |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` | ` `/` ` `/` ` ` ` ` ` ` |
+
|       |   |     |               |   /     /             |
| ` ` ` o ` o ` ` o ` ` ` ` ` ` ` o ` o ` ` o ` ` ` ` ` ` ` |
+
|       o   o     o               o   o     o               |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` |
+
|       \ /     |               \ /     |               |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` |
+
|         o-------o                 o-------o               |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` d o-------------------------o---o d ` ` ` ` ` ` ` ` |
+
|       d o-------------------------o---o d                 |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                       /                       |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \                   /                         |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \               /                           |
| ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \           /                             |
| ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \       /                               |
| ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \   /                                 |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` b ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                 b                         |
| ` ` b o ` o c ` o bc` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     b o   o c   o bc           o                         |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |   |     |               |                         |
| ` ` ` o ` o ` ` o ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o   o     o               o                         |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /     |               \                       |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` |
+
|         o-------o                 o-------o               |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` d o-------------------------o---o d ` ` ` ` ` ` ` ` |
+
|       d o-------------------------o---o d                 |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                       /                       |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \                   /                         |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \               /                           |
| ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \           /                             |
| ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \       /                               |
| ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \   /                                 |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` b o ` o c ` o bc` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     b o   o c   o bc                                     |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |   |     |                                         |
| ` ` ` o ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o   o     o                                         |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /     |                                         |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` |
+
|         o-------o                 o-------o               |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                         |                       |
| ` ` ` d o-------------------------o---o d ` ` ` ` ` ` ` ` |
+
|       d o-------------------------o---o d                 |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                       /                       |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \                   /                         |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \               /                           |
| ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \           /                             |
| ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \       /                               |
| ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \   /                                 |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` b o ` o c ` o bc` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     b o   o c   o bc                                     |
| ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |   |     |                                         |
| ` ` ` o ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o   o     o                                         |
| ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \ /     |                                         |
| ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o-------o                                         |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                                                 |
| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |                                                 |
| ` ` ` d o-------------------------o---o d ` ` ` ` ` ` ` ` |
+
|       d o-------------------------o---o d                 |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                       /                       |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \                   /                         |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \               /                           |
| ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \           /                             |
| ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \       /                               |
| ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \   /                                 |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "b" >==================o
 
o=============================< CAST "b" >==================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` o ` ` ` ` ` ` ` ` |
+
|                               o         o                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` | ` ` ` ` ` ` ` ` |
+
|                               |         |                 |
| ` ` o ` o c ` o c ` ` ` ` ` ` o ` o c ` o c ` ` ` ` ` ` ` |
+
|     o   o c   o c             o   o c   o c               |
| ` ` | ` | ` ` | ` ` ` ` ` ` ` | ` | ` ` | ` ` ` ` ` ` ` ` |
+
|     |   |     |               |   |     |                 |
| ` ` o ` o ` ` o ` ` ` ` ` ` ` o ` o ` ` o ` ` ` ` ` ` ` ` |
+
|     o   o     o               o   o     o                 |
| ` ` `\ /` ` ` | ` ` ` ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` |
+
|     \ /     |               \ /     |                 |
| ` ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` ` |
+
|       o-------o                 o-------o                 |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                         |                         |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                         |                         |
| ` ` b o-------------------------o---o b ` ` ` ` ` ` ` ` ` |
+
|     b o-------------------------o---o b                   |
| ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \                       /                         |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                   /                           |
| ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \               /                             |
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` |
+
|                                         o                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
+
|                                         |                 |
| ` ` ` ` o c ` o c ` ` ` ` ` ` ` ` o c ` o c ` ` ` ` ` ` ` |
+
|         o c   o c                 o c   o c               |
| ` ` ` ` | ` ` | ` ` ` ` ` ` ` ` ` | ` ` | ` ` ` ` ` ` ` ` |
+
|         |     |                   |     |                 |
| ` ` ` ` o ` ` o ` ` ` ` ` ` ` o ` o ` ` o ` ` ` ` ` ` ` ` |
+
|         o     o               o   o     o                 |
| ` ` ` `/` ` ` | ` ` ` ` ` ` ` `\ /` ` ` | ` ` ` ` ` ` ` ` |
+
|       /     |               \ /     |                 |
| ` ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` ` |
+
|       o-------o                 o-------o                 |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                         |                         |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                         |                         |
| ` ` b o-------------------------o---o b ` ` ` ` ` ` ` ` ` |
+
|     b o-------------------------o---o b                   |
| ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \                       /                         |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                   /                           |
| ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \               /                             |
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Domination >================o
 
o=============================< Domination >================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` o c ` o c ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o c   o c                                         |
| ` ` ` ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |     |                                           |
| ` ` ` ` o ` ` o ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o               o                           |
| ` ` ` `/` ` ` | ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       /     |               \                         |
| ` ` ` o-------o ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o                 o                         |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                         |                         |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                         |                         |
| ` ` b o-------------------------o---o b ` ` ` ` ` ` ` ` ` |
+
|     b o-------------------------o---o b                   |
| ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \                       /                         |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                   /                           |
| ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \               /                             |
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` o c ` o c ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o c   o c                                         |
| ` ` ` ` | ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         |     |                                           |
| ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         o     o                                           |
| ` ` ` `/` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       /     |                                           |
| ` ` ` o-------o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       o-------o                                           |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                                                   |
| ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       |                                                   |
| ` ` b o-------------------------o---o b ` ` ` ` ` ` ` ` ` |
+
|     b o-------------------------o---o b                   |
| ` ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \                       /                         |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \                   /                           |
| ` ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \               /                             |
| ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \           /                               |
| ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \       /                                 |
| ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \   /                                   |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< CAST "c" >==================o
 
o=============================< CAST "c" >==================o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` |
+
|                                 o     o                   |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` | ` ` ` ` ` ` ` ` ` |
+
|                                 |     |                   |
| ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` |
+
|       o     o                   o     o                   |
| ` ` ` | ` ` | ` ` ` ` ` ` ` ` ` | ` ` | ` ` ` ` ` ` ` ` ` |
+
|       |     |                   |     |                   |
| ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` |
+
|       o     o                   o     o                   |
| ` ` `/` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` | ` ` ` ` ` ` ` ` ` |
+
|     /                         /     |                   |
| ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` |
+
|     o-------o                 o-------o                   |
| ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |                         |                           |
| ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |                         |                           |
| ` c o-------------------------o---o c ` ` ` ` ` ` ` ` ` ` |
+
|   c o-------------------------o---o c                     |
| ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     \                       /                           |
| ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \                   /                             |
| ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \               /                               |
| ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \           /                                 |
| ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \       /                                   |
| ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \   /                                     |
| ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                       |
| ` ` ` ` ` ` ` `b o---o---o b` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               b o---o---o b                             |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` |
+
|                                 o     o                   |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` | ` ` ` ` ` ` ` ` ` |
+
|                               /     |                   |
| ` ` o-------o ` ` ` ` ` ` ` ` o-------o ` ` ` ` ` ` ` ` ` |
+
|     o-------o                 o-------o                   |
| ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |                         |                           |
| ` ` | ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     |                         |                           |
| ` c o-------------------------o---o c ` ` ` ` ` ` ` ` ` ` |
+
|   c o-------------------------o---o c                     |
| ` ` `\` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     \                       /                           |
| ` ` ` `\` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|       \                   /                             |
| ` ` ` ` `\` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|         \               /                               |
| ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           \           /                                 |
| ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             \       /                                   |
| ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               \   /                                     |
| ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                       |
| ` ` ` ` ` ` ` `b o---o---o b` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               b o---o---o b                             |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< Cancellation >==============o
 
o=============================< Cancellation >==============o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` `c o---o---o c` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             c o---o---o c                               |
| ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                       |
| ` ` ` ` ` ` ` `b o---o---o b` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               b o---o---o b                             |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o=============================< QED >=======================o
 
o=============================< QED >=======================o
 
</pre>
 
</pre>
Line 1,913: Line 1,913:  
<pre>
 
<pre>
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| ` ` ` ` ` ` `c o---o---o c` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|             c o---o---o c                               |
| ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 \ /                                       |
| ` ` ` ` ` ` ` `b o---o---o b` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|               b o---o---o b                             |
| ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   \ /                                     |
| ` ` ` ` ` ` ` ` `d o---o---o d` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                 d o---o---o d                           |
| ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                     \ /                                   |
| ` ` ` ` ` ` ` ` ` `a o---o---o a` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                   a o---o---o a                         |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       \ /                                 |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                       @                                 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
| Either not 'a' and thus 'true'` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
| Either not 'a' and thus 'true'                           |
| ` ` Or ` ` 'a' and thus ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|     Or     'a' and thus                                   |
| ` ` ` `Either not 'd' and thus 'true' ` ` ` ` ` ` ` ` ` ` |
+
|       Either not 'd' and thus 'true'                     |
| ` ` ` ` ` `Or ` ` 'd' and thus` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|           Or     'd' and thus                           |
| ` ` ` ` ` ` ` Either not 'b' and thus 'true'` ` ` ` ` ` ` |
+
|               Either not 'b' and thus 'true'             |
| ` ` ` ` ` ` ` ` ` Or ` ` 'b' and thus ` ` ` ` ` ` ` ` ` ` |
+
|                   Or     'b' and thus                     |
| ` ` ` ` ` ` ` ` ` ` `Either not 'c' and thus 'true' ` ` ` |
+
|                     Either not 'c' and thus 'true'       |
| ` ` ` ` ` ` ` ` ` ` ` ` `Or ` ` 'c' and thus true.` ` ` ` |
+
|                         Or     'c' and thus true.       |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
+
|                                                           |
 
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
12,080

edits