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> |