({ Clicking on a green or brown colored
Method displays or hides the
Application of that
Method, and also displays or hides another Method or the
Reason in that
Paragraph. })
(^ Amalgamation ^)
[- Cross union -]
({ The thing whose features are all the unions of a feature of +a and a feature
of +b will be called the cross union of +a and +b, and
represented by +xu// +a +b. })
| +Df |
+Xu |
[a [b [c = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b
+sm// +c +un// +d +f |
| +1 |
+Ex |
) - [a [b [c = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b
+sm// +c +un// +d +f
[b [c = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +2 |
+Ab/ +1 |
) - +Xu
[b [c = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +3 |
+Ex |
) - [b [c = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b
+sm// +c +un// +d +f
[c = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +4 |
+Tb// +2 +3 |
) - +Xu
[c = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +5 |
+Ex |
) - [c = +ft// +c +xu// +a +b ]d ]f
( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
= +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +Xu1 | +Pr | +Tb// +4 +5 |
) - +Xu
= +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
({ +xu// +a +b is symmetrical. })
| +1 |
+Ex |
) - [b ) - +Xu = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f ) - +Xu = +ft// +c +xu// +a +g ]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f |
| +2 |
+Gn/ +Xu1 |
[b ) - +Xu = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +1 | +Rp/ +Xu1 | +Tb// +1 +2 |
) - +Xu
= +ft// +c +xu// +a +g ]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f |
| +1a |
+Ex |
) - [a ) - +Xu = +ft// +c +xu// +a +g ]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f ) - +Xu = +ft// +c +xu// +b +g ]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f |
| +2 |
+Gn/ +1 |
[a ) - +Xu = +ft// +c +xu// +a +g ]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Xu
= +ft// +c +xu// +b +g ]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f |
| +1 |
+Ex |
) - [g ) - +Xu = +ft// +c +xu// +b +g ]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f ) - +Xu = +ft// +c +xu// +b +a ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +2a |
+Gn/ +2 |
[g ) - +Xu = +ft// +c +xu// +b +g ]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f |
| +1 | +Pr | +Rp/ +2 | +Tb// +1 +2a |
) - +Xu
= +ft// +c +xu// +b +a ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b +sm// +un// +a +b +un// +b +a ) - ( +Th ( +Am ( +ft/ +d +ft/ +b +sm// +un// +d +b +un// +b +d |
| +2 |
+Gn/ +Un2 |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b +sm// +un// +a +b +un// +b +a |
| +1 | +Rp/ +Un2 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +d +ft/ +b +sm// +un// +d +b +un// +b +d |
| +1a |
+Ex |
) - [b ) - ( +Th ( +Am ( +ft/ +d +ft/ +b +sm// +un// +d +b +un// +b +d ) - ( +Th ( +Am ( +ft/ +d +ft/ +f +sm// +un// +d +f +un// +f +d |
| +2 |
+Gn/ +1 |
[b ) - ( +Th ( +Am ( +ft/ +d +ft/ +b +sm// +un// +d +b +un// +b +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th ( +Am ( +ft/ +d +ft/ +f +sm// +un// +d +f +un// +f +d |
| +1 |
+Ex |
) - [d ) - ( +sm// +a +b +sm// +b +d +sm// +a +d ) - ( +sm// +a +b +sm// +b +un// +f +d +sm// +a +un// +f +d |
| +2 |
+Gn/ +Sm4 |
[d ) - ( +sm// +a +b +sm// +b +d +sm// +a +d |
| +3 | +Rp/ +Sm4 | +Tb// +1 +2 |
) - ( +sm// +a +b +sm// +b +un// +f +d +sm// +a +un// +f +d |
| +1 |
+Ex |
) - [b ) - ( +sm// +a +b +sm// +b +un// +f +d +sm// +a +un// +f +d ) - ( +sm// +a +un// +d +f +sm// +un// +d +f +un// +f +d +sm// +a +un// +f +d |
| +2 |
+Gn/ +3 |
[b ) - ( +sm// +a +b +sm// +b +un// +f +d +sm// +a +un// +f +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +sm// +a +un// +d +f +sm// +un// +d +f +un// +f +d +sm// +a +un// +f +d |
| +1 |
+Ex |
) - [a ) - ( +sm// +a +un// +d +f +sm// +un// +d +f +un// +f +d +sm// +a +un// +f +d ) - ( +sm// +c +un// +d +f +sm// +un// +d +f +un// +f +d +sm// +c +un// +f +d |
| +2 |
+Gn/ +4 |
[a ) - ( +sm// +a +un// +d +f +sm// +un// +d +f +un// +f +d +sm// +a +un// +f +d |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +sm// +c +un// +d +f +sm// +un// +d +f +un// +f +d +sm// +c +un// +f +d |
| +6 |
+Tb// +2 +5 |
) - ( +Th ( +Am ( +ft/ +d +ft/ +f
) - ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
( +ft// +f +a ( +ft// +d +b +sm// +c +un// +f +d |
| +7 |
+Ex |
) - [b - +ft// +d +b - +ft// +d +b |
| +8 |
+Sm/ +7 |
) ]b +ft// +d +b - +ft// +d +b |
| +9 |
+Ab/ +8 |
) +ft/ +d - +ft// +d +b |
| +10 |
+Tb// +6 +9 |
) - ( +Th ( +Am +ft/ +f ) - ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
( +ft// +f +a ( +ft// +d +b +sm// +c +un// +f +d |
| +11 |
+Ex |
) - [b - +ft// +f +b - +ft// +f +a |
| +12 |
+Sm/ +11 |
) ]b +ft// +f +b - +ft// +f +a |
| +13 |
+Ab/ +12 |
) +ft/ +f - +ft// +f +a |
| +14 |
+Tb// +10 +13 |
) - ( +Th ( +Am ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
( +ft// +f +a ( +ft// +d +b +sm// +c +un// +f +d |
| +1 |
+Ex |
) - [g - ( +ft// +g +a ( +ft// +d +b +sm// +c +un// +g +d
- ( +ft// +f +a ( +ft// +d +b +sm// +c +un// +f +d |
| +2 |
+Tb// +14 +1 |
) - ( +Th ( +Am ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
- [g - ( +ft// +g +a ( +ft// +d +b +sm// +c +un// +g +d |
| +15 | +Sc/ +14 | +Sm/ +2 |
) - ( +Th ( +Am ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
]g ( +ft// +g +a ( +ft// +d +b +sm// +c +un// +g +d |
| +1 |
+Ex |
) - [f - ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f
- ]g ( +ft// +g +a ( +ft// +d +b +sm// +c +un// +g +d |
| +2 |
+Tb// +15 +1 |
) - ( +Th ( +Am ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
- [f - ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +2 | +Pr | +Sc/ +15 | +Sm/ +2 |
) - ( +Th ( +Am ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
]f ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +1 |
+Ex |
) - [f - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f
- ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +2 |
+Tb/ +1 |
) - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f
- [f - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +3 |
+Sm/ +2 |
) - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f
]f ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +1 |
+Ex |
) - [d - ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ]f ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +2 |
+Tb// +3 +1 |
) - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f
- [d - ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +4 | +Sc/ +3 | +Sm/ +2 |
) - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f
]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +5 |
+Tb/ +4 |
) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +1 |
+Gn/ +5 |
[g ) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +2 |
+Fc/ +1 |
) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
[g - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +3 |
+Tb/ +2 |
) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- - [g - ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +6 | +Sa/ +5 | +Sm/ +3 |
) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +1 |
+Gn/ +6 |
[f ) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +2 |
+Fc/ +1 |
) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
[f - ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +3 |
+Tb/ +2 |
) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- - [f - ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +7 | +Sa/ +6 | +Sm/ +3 |
) ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ]f ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f |
| +3 | +Pr | +Tb/ +7 |
) - ]f ]g ( +ft// +g +a ( +ft// +f +b +sm// +c +un// +g +f
]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +1 |
+Tb// +2 +3 |
) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +1a |
+Gn/ +1 |
[f ) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +2 |
+Fc/ +1a |
) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
[f - ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +3 |
+Tb/ +2 |
) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- - [f - ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +2 | +Sa/ +1 | +Sm/ +3 |
) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +1 |
+Gn/ +2 |
[d ) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +2a |
+Fc/ +1 |
) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
[d - ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +3 |
+Tb/ +2a |
) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- - [d - ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +3 | +Sa/ +2 | +Sm/ +3 |
) ) - ( +Th +Am ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
- ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +4 | +Pr | +Tb/ +3 |
) - ( +Th +Am ) - ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +1 |
+Ex |
) - [b ) - ( +Th +Am ) - ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f ) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +a +sm// +c +un// +d +f ]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f |
| +2 |
+Gn/ +4 |
[b ) - ( +Th +Am ) - ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +1 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +a +sm// +c +un// +d +f
]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f |
| +1a |
+Ex |
) - [a ) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +a +sm// +c +un// +d +f ]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f ) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +b +sm// +c +un// +d +f ]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f |
| +2 |
+Gn/ +1 |
[a ) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +a +sm// +c +un// +d +f ]d ]f ( +ft// +d +a ( +ft// +f +g +sm// +c +un// +d +f |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +b +sm// +c +un// +d +f
]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f |
| +1 |
+Ex |
) - [g ) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +b +sm// +c +un// +d +f ]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f ) - ( +Th +Am ) - ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +2a |
+Gn/ +2 |
[g ) - ( +Th +Am ) - ]d ]f ( +ft// +d +g ( +ft// +f +b +sm// +c +un// +d +f ]d ]f ( +ft// +d +b ( +ft// +f +g +sm// +c +un// +d +f |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th +Am ) - ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f
]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f |
| +5 | +Pr | +Tb// +4 +3 |
) - ( +Th +Am = ]d ]f ( +ft// +d +b ( +ft// +f +a +sm// +c +un// +d +f
]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +1 |
+Tb/// +Xu1 +1 +5 |
) - ( +Th ( +Am +Xu = +ft// +c +xu// +a +b +ft// +c +xu// +b +a |
| +2 |
+Gn/ +1 |
[c ) - ( +Th ( +Am +Xu = +ft// +c +xu// +a +b +ft// +c +xu// +b +a |
| +3 |
+Fc/ +2 |
) - ( +Th ( +Am +Xu [c = +ft// +c +xu// +a +b +ft// +c +xu// +b +a |
| +Xu2 | +Pr | +Pr | +Ab/ +3 |
) - ( +Th ( +Am +Xu +sm// +xu// +a +b +xu// +b +a |
| +1 |
+Ex |
) - [b ) - +Xu = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f ) - +Xu = +ft// +c +xu// +a +th/ +b ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +2 |
+Gn/ +Xu1 |
[b ) - +Xu = +ft// +c +xu// +a +b ]d ]f ( +ft// +d +a ( +ft// +f +b +sm// +c +un// +d +f |
| +1 | +Rp/ +Xu1 | +Tb// +1 +2 |
) - +Xu = +ft// +c +xu// +a +th/ +b ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +1 |
+Ex |
) - [a ) - +Th ) - +ft/ +a +ft// +a +th/ +a ) - +Th ) - +ft/ +b +ft// +b +th/ +b |
| +2 |
+Gn/ +Th11 |
[a ) - +Th ) - +ft/ +a +ft// +a +th/ +a |
| +1 | +Rp/ +Th11 | +Tb// +1 +2 |
) - +Th ) - +ft/ +b +ft// +b +th/ +b |
| +2 |
+Tb/ +1 |
) - ( +Th ( +ft/ +b ( +ft// +d +a +sm// +c +un// +d +b
( +ft// +d +a ( +ft// +b +th/ +b +sm// +c +un// +d +b |
| +1 |
+Ex |
) - [f - ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f - ( +ft// +d +a ( +ft// +b +th/ +b +sm// +c +un// +d +b |
| +2a |
+Tb// +2 +1 |
) - ( +Th ( +ft/ +b ( +ft// +d +a +sm// +c +un// +d +b - [f - ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +3 | +Sc/ +2 | +Sm/ +2a |
) - ( +Th ( +ft/ +b ( +ft// +d +a +sm// +c +un// +d +b
]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +1 |
+Ex |
) - [d - ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f - ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +2 |
+Tb// +3 +1 |
) - ( +Th ( +ft/ +b ( +ft// +d +a +sm// +c +un// +d +b - [d - ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +4 | +Sc/ +3 | +Sm/ +2 |
) - ( +Th ( +ft/ +b ( +ft// +d +a +sm// +c +un// +d +b
]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +5 |
+Tb/ +4 |
) ) - ( +Th +ft/ +b ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f
- ( +ft// +d +a +sm// +c +un// +d +b |
| +1 |
+Gn/ +5 |
[d ) ) - ( +Th +ft/ +b ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f - ( +ft// +d +a +sm// +c +un// +d +b |
| +2 |
+Fc/ +1 |
) ) - ( +Th +ft/ +b ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f [d - ( +ft// +d +a +sm// +c +un// +d +b |
| +3 |
+Tb/ +2 |
) ) - ( +Th +ft/ +b ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f - - [d - ( +ft// +d +a +sm// +c +un// +d +b |
| +2 | +Pr | +Sa/ +5 | +Sm/ +3 |
) ) - ( +Th +ft/ +b ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f
- ]d ( +ft// +d +a +sm// +c +un// +d +b |
| +1 |
+Ex |
) - [a ) - +Th ) - +ft/ +a = +ft// +c +th/ +a +sm// +c +a ) - +Th ) - +ft/ +b = +ft// +c +th/ +b +sm// +c +b |
| +2 |
+Gn/ +Th10 |
[a ) - +Th ) - +ft/ +a = +ft// +c +th/ +a +sm// +c +a |
| +1 | +Rp/ +Th10 | +Tb// +1 +2 |
) - +Th ) - +ft/ +b = +ft// +c +th/ +b +sm// +c +b |
| +1a |
+Ex |
) - [c ) - +Th ) - +ft/ +b = +ft// +c +th/ +b +sm// +c +b ) - +Th ) - +ft/ +b = +ft// +f +th/ +b +sm// +f +b |
| +2 |
+Gn/ +1 |
[c ) - +Th ) - +ft/ +b = +ft// +c +th/ +b +sm// +c +b |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Th ) - +ft/ +b = +ft// +f +th/ +b +sm// +f +b |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +b +a +un// +b +g ) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g |
| +2 |
+Gn/ +Un5 |
[b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +b +a +un// +b +g |
| +3 | +Rp/ +Un5 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g ) - ( +Th ( +Am ( +ft/ +f +ft/ +d ) - +sm// +f +g +sm// +un// +d +f +un// +d +g |
| +2 |
+Gn/ +3 |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +f +ft/ +d ) - +sm// +f +g +sm// +un// +d +f +un// +d +g |
| +1 |
+Ex |
) - [g ) - ( +Th ( +Am ( +ft/ +f +ft/ +d ) - +sm// +f +g +sm// +un// +d +f +un// +d +g ) - ( +Th ( +Am ( +ft/ +f +ft/ +d ) - +sm// +f +b +sm// +un// +d +f +un// +d +b |
| +2 |
+Gn/ +4 |
[g ) - ( +Th ( +Am ( +ft/ +f +ft/ +d ) - +sm// +f +g +sm// +un// +d +f +un// +d +g |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +f +ft/ +d ) - +sm// +f +b +sm// +un// +d +f +un// +d +b |
| +6 |
+Ex |
) - [c - +ft// +f +c - +ft// +f +th/ +b |
| +7 |
+Sm/ +6 |
) ]c +ft// +f +c - +ft// +f +th/ +b |
| +1 |
+Ex |
) - [a = +ft/ +a ]c +ft// +a +c = +ft/ +f ]c +ft// +f +c |
| +2 |
+Gn/ +Ft1 |
[a = +ft/ +a ]c +ft// +a +c |
| +8 | +Rp/ +Ft1 | +Tb// +1 +2 |
= +ft/ +f ]c +ft// +f +c |
| +9 |
+Tb//// +2 +5 +7 +8 |
) - ( +Th ( +Am ( +ft/ +b +ft/ +d ) - +ft// +f +th/ +b +sm// +un// +d +f +un// +d +b |
| +1 |
+Ex |
) - [d ) - ( +sm// +a +b +sm// +b +d +sm// +a +d ) - ( +sm// +a +b +sm// +b +e +sm// +a +e |
| +2 |
+Gn/ +Sm4 |
[d ) - ( +sm// +a +b +sm// +b +d +sm// +a +d |
| +10 | +Rp/ +Sm4 | +Tb// +1 +2 |
) - ( +sm// +a +b +sm// +b +e +sm// +a +e |
| +1 |
+Ex |
) - [b ) - ( +sm// +a +b +sm// +b +e +sm// +a +e ) - ( +sm// +a +un// +d +f +sm// +un// +d +f +e +sm// +a +e |
| +2 |
+Gn/ +10 |
[b ) - ( +sm// +a +b +sm// +b +e +sm// +a +e |
| +11 | +Rp/ +10 | +Tb// +1 +2 |
) - ( +sm// +a +un// +d +f +sm// +un// +d +f +e +sm// +a +e |
| +1 |
+Ex |
) - [a ) - ( +sm// +a +un// +d +f +sm// +un// +d +f +e +sm// +a +e ) - ( +sm// +c +un// +d +f +sm// +un// +d +f +e +sm// +c +e |
| +2 |
+Gn/ +11 |
[a ) - ( +sm// +a +un// +d +f +sm// +un// +d +f +e +sm// +a +e |
| +12 | +Rp/ +11 | +Tb// +1 +2 |
) - ( +sm// +c +un// +d +f +sm// +un// +d +f +e +sm// +c +e |
| +1 |
+Ex |
) - [e ) - ( +sm// +c +un// +d +f +sm// +un// +d +f +e +sm// +c +e ) - ( +sm// +c +un// +d +f +sm// +un// +d +f +un// +d +b +sm// +c +un// +d +b |
| +2 |
+Gn/ +12 |
[e ) - ( +sm// +c +un// +d +f +sm// +un// +d +f +e +sm// +c +e |
| +13 | +Rp/ +12 | +Tb// +1 +2 |
) - ( +sm// +c +un// +d +f +sm// +un// +d +f +un// +d +b +sm// +c +un// +d +b |
| +14 |
+Ex |
) - [c - +ft// +d +c - +ft// +d +a |
| +15 |
+Sm/ +14 |
) ]c +ft// +d +c - +ft// +d +a |
| +1 |
+Ex |
) - [a = +ft/ +a ]c +ft// +a +c = +ft/ +d ]c +ft// +d +c |
| +2 |
+Gn/ +Ft1 |
[a = +ft/ +a ]c +ft// +a +c |
| +16 | +Rp/ +Ft1 | +Tb// +1 +2 |
= +ft/ +d ]c +ft// +d +c |
| +17 |
+Tb//// +9 +13 +15 +16 |
) - ( +Th ( +Am ( +ft/ +b
( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f ( +ft// +d +a +sm// +c +un// +d +b |
| +1 |
+Ex |
) - [d - ( +ft// +d +a +sm// +c +un// +d +b - ( +ft// +d +a +sm// +c +un// +d +b |
| +2 |
+Tb// +17 +1 |
) - ( +Th ( +Am ( +ft/ +b ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f - [d - ( +ft// +d +a +sm// +c +un// +d +b |
| +18 | +Sc/ +17 | +Sm/ +2 |
) - ( +Th ( +Am ( +ft/ +b
( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f ]d ( +ft// +d +a +sm// +c +un// +d +b |
| +19 |
+Tb/ +18 |
) ) - ( +Th ( +Am +ft/ +b
]d ( +ft// +d +a +sm// +c +un// +d +b - ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +1 |
+Gn/ +19 |
[f ) ) - ( +Th ( +Am +ft/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b - ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +2 |
+Fc/ +1 |
) ) - ( +Th ( +Am +ft/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b [f - ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +3 |
+Tb/ +2 |
) ) - ( +Th ( +Am +ft/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b - - [f - ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +20 | +Sa/ +19 | +Sm/ +3 |
) ) - ( +Th ( +Am +ft/ +b
]d ( +ft// +d +a +sm// +c +un// +d +b - ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +1 |
+Gn/ +20 |
[d ) ) - ( +Th ( +Am +ft/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b - ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +2 |
+Fc/ +1 |
) ) - ( +Th ( +Am +ft/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b [d - ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +3 |
+Tb/ +2 |
) ) - ( +Th ( +Am +ft/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b - - [d - ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +3 | +Pr | +Sa/ +20 | +Sm/ +3 |
) ) - ( +Th ( +Am +ft/ +b
]d ( +ft// +d +a +sm// +c +un// +d +b
- ]d ]f ( +ft// +d +a ( +ft// +f +th/ +b +sm// +c +un// +d +f |
| +Xu3 | +Pr | +Tb/// +1 +2 +3 |
) - ( +Th ( +Am +Xu ) - +ft/ +b
= +ft// +c +xu// +a +th/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am +Xu ) - +ft/ +b = +ft// +c +xu// +a +th/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b ) - ( +Th ( +Am +Xu ) - +ft/ +b = +ft// +c +xu// +th/ +a +th/ +b ]d ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +2 |
+Gn/ +Xu3 |
[a ) - ( +Th ( +Am +Xu ) - +ft/ +b = +ft// +c +xu// +a +th/ +b ]d ( +ft// +d +a +sm// +c +un// +d +b |
| +1 | +Rp/ +Xu3 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - +ft/ +b
= +ft// +c +xu// +th/ +a +th/ +b ]d ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +1 |
+Tb/ +Th11 |
) - ( +Th ( +ft/ +a +sm// +c +un// +a +b ( +ft// +a +th/ +a +sm// +c +un// +a +b |
| +1a |
+Ex |
) - [d - ( +ft// +d +th/ +a +sm// +c +un// +d +b - ( +ft// +a +th/ +a +sm// +c +un// +a +b |
| +2 |
+Tb// +1 +1a |
) - ( +Th ( +ft/ +a +sm// +c +un// +a +b - [d - ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +2 | +Pr | +Sc/ +1 | +Sm/ +2 |
) - ( +Th ( +ft/ +a +sm// +c +un// +a +b
]d ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +1 |
+Ex |
) - [c ) - +Th ) - +ft/ +a = +ft// +c +th/ +a +sm// +c +a ) - +Th ) - +ft/ +a = +ft// +d +th/ +a +sm// +d +a |
| +2 |
+Gn/ +Th10 |
[c ) - +Th ) - +ft/ +a = +ft// +c +th/ +a +sm// +c +a |
| +1 | +Rp/ +Th10 | +Tb// +1 +2 |
) - +Th ) - +ft/ +a = +ft// +d +th/ +a +sm// +d +a |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +a +b +un// +g +b ) - ( +Th ( +Am ( +ft/ +d +ft/ +b ) - +sm// +d +g +sm// +un// +d +b +un// +g +b |
| +2 |
+Gn/ +Un4 |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +a +b +un// +g +b |
| +2 | +Rp/ +Un4 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +d +ft/ +b ) - +sm// +d +g +sm// +un// +d +b +un// +g +b |
| +1 |
+Ex |
) - [g ) - ( +Th ( +Am ( +ft/ +d +ft/ +b ) - +sm// +d +g +sm// +un// +d +b +un// +g +b ) - ( +Th ( +Am ( +ft/ +d +ft/ +b ) - +sm// +d +a +sm// +un// +d +b +un// +a +b |
| +2a |
+Gn/ +2 |
[g ) - ( +Th ( +Am ( +ft/ +d +ft/ +b ) - +sm// +d +g +sm// +un// +d +b +un// +g +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Am ( +ft/ +d +ft/ +b ) - +sm// +d +a +sm// +un// +d +b +un// +a +b |
| +4 |
+Ex |
) - [c - +ft// +d +c - +ft// +d +th/ +a |
| +5 |
+Sm/ +4 |
) ]c +ft// +d +c - +ft// +d +th/ +a |
| +1 |
+Ex |
) - [a = +ft/ +a ]c +ft// +a +c = +ft/ +d ]c +ft// +d +c |
| +2 |
+Gn/ +Ft1 |
[a = +ft/ +a ]c +ft// +a +c |
| +6 | +Rp/ +Ft1 | +Tb// +1 +2 |
= +ft/ +d ]c +ft// +d +c |
| +1 |
+Ex |
) - [a ) - ( +sm// +a +b +sm// +b +d +sm// +a +d ) - ( +sm// +c +b +sm// +b +d +sm// +c +d |
| +2 |
+Gn/ +Sm4 |
[a ) - ( +sm// +a +b +sm// +b +d +sm// +a +d |
| +7 | +Rp/ +Sm4 | +Tb// +1 +2 |
) - ( +sm// +c +b +sm// +b +d +sm// +c +d |
| +1 |
+Ex |
) - [d ) - ( +sm// +c +b +sm// +b +d +sm// +c +d ) - ( +sm// +c +b +sm// +b +e +sm// +c +e |
| +2 |
+Gn/ +7 |
[d ) - ( +sm// +c +b +sm// +b +d +sm// +c +d |
| +8 | +Rp/ +7 | +Tb// +1 +2 |
) - ( +sm// +c +b +sm// +b +e +sm// +c +e |
| +1 |
+Ex |
) - [b ) - ( +sm// +c +b +sm// +b +e +sm// +c +e ) - ( +sm// +c +un// +d +b +sm// +un// +d +b +e +sm// +c +e |
| +2 |
+Gn/ +8 |
[b ) - ( +sm// +c +b +sm// +b +e +sm// +c +e |
| +9 | +Rp/ +8 | +Tb// +1 +2 |
) - ( +sm// +c +un// +d +b +sm// +un// +d +b +e +sm// +c +e |
| +1 |
+Ex |
) - [e ) - ( +sm// +c +un// +d +b +sm// +un// +d +b +e +sm// +c +e ) - ( +sm// +c +un// +d +b +sm// +un// +d +b +un// +a +b +sm// +c +un// +a +b |
| +2 |
+Gn/ +9 |
[e ) - ( +sm// +c +un// +d +b +sm// +un// +d +b +e +sm// +c +e |
| +10 | +Rp/ +9 | +Tb// +1 +2 |
) - ( +sm// +c +un// +d +b +sm// +un// +d +b +un// +a +b +sm// +c +un// +a +b |
| +11 |
+Tb///// +1 +3 +5 +6 +10 |
) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b +sm// +c +un// +a +b
- ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +1 |
+Gn/ +11 |
[d ) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b +sm// +c +un// +a +b - ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +2 |
+Fc/ +1 |
) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b +sm// +c +un// +a +b [d - ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +3 |
+Tb/ +2 |
) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b +sm// +c +un// +a +b - - [d - ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +3 | +Pr | +Sa/ +11 | +Sm/ +3 |
) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b +sm// +c +un// +a +b
- ]d ( +ft// +d +th/ +a +sm// +c +un// +d +b |
| +Xu4 | +Pr | +Tb/// +1 +2 +3 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b
= +ft// +c +xu// +th/ +a +th/ +b +sm// +c +un// +a +b |
| +1 |
+Ex |
) - [c ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b = +ft// +c +xu// +th/ +a +th/ +b +sm// +c +un// +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b = +ft// +un// +a +b +xu// +th/ +a +th/ +b +sm// +un// +a +b +un// +a +b |
| +2 |
+Gn/ +Xu4 |
[c ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b = +ft// +c +xu// +th/ +a +th/ +b +sm// +c +un// +a +b |
| +1 | +Rp/ +Xu4 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b
= +ft// +un// +a +b +xu// +th/ +a +th/ +b +sm// +un// +a +b +un// +a +b |
| +1 |
+Ex |
) - [a +sm// +a +a +sm// +un// +a +b +un// +a +b |
| +2 |
+Gn/ +Sm1 |
[a +sm// +a +a |
| +2 | +Rp/ +Sm1 | +Tb// +1 +2 |
+sm// +un// +a +b +un// +a +b |
| +Xu5 | +Pr | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b
+ft// +un// +a +b +xu// +th/ +a +th/ +b |
({ The union of two features is a feature. })
| +1 |
+Ex |
) - [c - +ft// +un// +a +b +c - +ft// +un// +a +b +xu// +th/ +a +th/ +b |
| +2 |
+Sm/ +1 |
) ]c +ft// +un// +a +b +c - +ft// +un// +a +b +xu// +th/ +a +th/ +b |
| +1 |
+Ex |
) - [a = +ft/ +a ]c +ft// +a +c = +ft/ +un// +a +b ]c +ft// +un// +a +b +c |
| +2 |
+Gn/ +Ft1 |
[a = +ft/ +a ]c +ft// +a +c |
| +3 | +Rp/ +Ft1 | +Tb// +1 +2 |
= +ft/ +un// +a +b ]c +ft// +un// +a +b +c |
| +Un6 | +Pr | +Tb/// +Xu5 +2 +3 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b |
({ The following Fact is called the associative property of unions. })
| +1 |
+Tb/ +Un1 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +c +un// +a +b ) +ft// +c +a +ft// +c +b |
| +1a |
+Ex |
) - [c ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +c +un// +a +b ) +ft// +c +a +ft// +c +b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b |
| +2 |
+Gn/ +1 |
[c ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +c +un// +a +b ) +ft// +c +a +ft// +c +b |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b ) - ( +Th ( +Am ( +ft/ +a +ft/ +un// +b +c = +ft// +e +un// +a +un// +b +c ) +ft// +e +a +ft// +e +un// +b +c |
| +2a |
+Gn/ +2 |
[b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Am ( +ft/ +a +ft/ +un// +b +c
= +ft// +e +un// +a +un// +b +c ) +ft// +e +a +ft// +e +un// +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +c +ft/ +un// +a +c |
| +2 |
+Gn/ +Un6 |
[b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b |
| +3a | +Rp/ +Un6 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +c +ft/ +un// +a +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +c +ft/ +un// +a +c ) - ( +Th ( +Am +Xu ) - ( +ft/ +b +ft/ +c +ft/ +un// +b +c |
| +2 |
+Gn/ +3a |
[a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +c +ft/ +un// +a +c |
| +3b | +Rp/ +3a | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +b +ft/ +c +ft/ +un// +b +c |
| +3c |
+Tb// +3 +3b |
) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +e +un// +a +un// +b +c ) +ft// +e +a +ft// +e +un// +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b ) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c |
| +2a |
+Gn/ +2 |
[b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b |
| +4 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c ) - ( +Th ( +Am ( +ft/ +b +ft/ +c = +ft// +e +un// +b +c ) +ft// +e +b +ft// +e +c |
| +2 |
+Gn/ +4 |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +b +ft/ +c = +ft// +e +un// +b +c ) +ft// +e +b +ft// +e +c |
| +6 |
+Tb// +3c +5 |
) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +e +un// +a +un// +b +c ) +ft// +e +a ) +ft// +e +b +ft// +e +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b ) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c |
| +2a |
+Gn/ +2 |
[b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b |
| +7 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c ) - ( +Th ( +Am ( +ft/ +un// +a +b +ft/ +c = +ft// +e +un// +un// +a +b +c ) +ft// +e +un// +a +b +ft// +e +c |
| +2 |
+Gn/ +7 |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +c = +ft// +e +un// +a +c ) +ft// +e +a +ft// +e +c |
| +8 | +Rp/ +7 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +un// +a +b +ft/ +c
= +ft// +e +un// +un// +a +b +c ) +ft// +e +un// +a +b +ft// +e +c |
| +8a |
+Tb// +Un6 +8 |
) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +e +un// +un// +a +b +c ) +ft// +e +un// +a +b +ft// +e +c |
| +9 |
+Tb// +2 +8a |
) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +e +un// +un// +a +b +c ) ) +ft// +e +a +ft// +e +b +ft// +e +c |
| +10 |
+Tb// +6 +9 |
) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +e +un// +a +un// +b +c +ft// +e +un// +un// +a +b +c |
| +11 |
+Gn/ +10 |
[e ) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +e +un// +a +un// +b +c +ft// +e +un//
+un// +a +b +c |
| +12 |
+Fc/ +11 |
) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
[e = +ft// +e +un// +a +un// +b +c +ft// +e +un// +un// +a +b +c |
| +13 |
+Ex |
) - [c = +ft// +c +a +ft// +c +b = +ft// +e +a +ft// +e +b |
| +14 |
+Ab/ +13 |
) - +sm// +a +b = +ft// +e +a +ft// +e +b |
| +15 |
+Gn/ +14 |
[e ) - +sm// +a +b = +ft// +e +a +ft// +e +b |
| +16 |
+Fc/ +15 |
) - +sm// +a +b [e = +ft// +e +a +ft// +e +b |
| +17 |
+Ex |
) - [e = +ft// +e +a +ft// +e +b = +ft// +c +a +ft// +c +b |
| +18 |
+Gn/ +17 |
[c ) - [e = +ft// +e +a +ft// +e +b = +ft// +c +a +ft// +c +b |
| +19 |
+Fc/ +18 |
) - [e = +ft// +e +a +ft// +e +b [c = +ft// +c +a +ft// +c +b |
| +20 |
+Ab/ +19 |
) - [e = +ft// +e +a +ft// +e +b +sm// +a +b |
| +21 |
+Tb// +16 +20 |
= [e = +ft// +e +a +ft// +e +b +sm// +a +b |
| +1 |
+Ex |
) - [b = [e = +ft// +e +a +ft// +e +b +sm// +a +b = [e = +ft// +e +a +ft// +e +i +sm// +a +i |
| +2 |
+Gn/ +21 |
[b = [e = +ft// +e +a +ft// +e +b +sm// +a +b |
| +22 | +Rp/ +21 | +Tb// +1 +2 |
= [e = +ft// +e +a +ft// +e +i +sm// +a +i |
| +1 |
+Ex |
) - [a = [e = +ft// +e +a +ft// +e +i +sm// +a +i = [e = +ft// +e +un// +a +un// +b +c +ft// +e +i +sm// +un// +a +un// +b +c +i |
| +2 |
+Gn/ +22 |
[a = [e = +ft// +e +a +ft// +e +i +sm// +a +i |
| +23 | +Rp/ +22 | +Tb// +1 +2 |
= [e = +ft// +e +un// +a +un// +b +c +ft// +e +i
+sm// +un// +a +un// +b +c +i |
| +1 |
+Ex |
) - [i = [e = +ft// +e +un// +a +un// +b +c +ft// +e +i +sm// +un// +a +un// +b +c +i = [e = +ft// +e +un// +a +un// +b +c +ft// +e +un// +un// +a +b +c +sm// +un// +a +un// +b +c +un// +un// +a +b +c |
| +2 |
+Gn/ +23 |
[i = [e = +ft// +e +un// +a +un// +b +c +ft// +e +i +sm// +un// +a +un// +b +c +i |
| +24 | +Rp/ +23 |
+Tb// +1 +2 |
= [e = +ft// +e +un// +a +un// +b +c +ft// +e +un// +un// +a +b +c
+sm// +un// +a +un// +b +c +un// +un// +a +b +c |
| +Un7 | +Pr | +Tb// +12 +24 |
) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +un// +a +un// +b +c +un// +un// +a +b +c |
({ If +a and +b are features, then +th// +a +b is
a feature. })
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b |
| +2 |
+Gn/ +Un6 |
[a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b |
| +1 | +Rp/ +Un6 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b |
| +1a |
+Ex |
) - [b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +th/ +b +ft/ +un// +th/ +a +th/ +b |
| +2 |
+Gn/ +1 |
[b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +th/ +b +ft/ +un// +th/ +a +th/ +b |
| +3 |
+Tb// +Th18 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +th/ +b +ft/ +un// +th/ +a +th/ +b |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +4 | +Rp/ +Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +1 | +Pr | +Tb// +3 +4 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +th/ +a +th/ +b |
| +1 |
+Tb// +Sm3 +Ft2 |
) - +Th ) - ( +ft/ +a +sm// +a +b +ft/ +b |
| +1a |
+Ex |
) - [b ) - +Th ) - ( +ft/ +a +sm// +a +b +ft/ +b ) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c |
| +2 |
+Gn/ +1 |
[b ) - +Th ) - ( +ft/ +a +sm// +a +b +ft/ +b |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c |
| +1 |
+Ex |
) - [a ) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c ) - +Th ) - ( +ft/ +un// +th/ +a +th/ +b +sm// +un// +th/ +a +th/ +b +c +ft/ +c |
| +2a |
+Gn/ +2 |
[a ) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - +Th ) - ( +ft/ +un// +th/ +a +th/ +b +sm// +un// +th/ +a +th/ +b +c +ft/ +c |
| +1 |
+Ex |
) - [c ) - +Th ) - ( +ft/ +un// +th/ +a +th/ +b +sm// +un// +th/ +a +th/ +b +c +ft/ +c ) - +Th ) - ( +ft/ +un// +th/ +a +th/ +b +sm// +un// +th/ +a +th/ +b +th// +a +b +ft/ +th// +a +b |
| +2 |
+Gn/ +3 |
[c ) - +Th ) - ( +ft/ +un// +th/ +a +th/ +b +sm// +un// +th/ +a +th/ +b +c +ft/ +c |
| +2 | +Pr | +Rp/ +3 | +Tb// +1 +2 |
) - +Th ) - ( +ft/ +un// +th/ +a +th/ +b
+sm// +un// +th/ +a +th/ +b +th// +a +b +ft/ +th// +a +b |
| +Th21 | +Pr | +Tb/// +Th19 +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b |
({ The thing whose features are +a, +b, and +c will be
represented by +th/// +a +b +c. })
| +Df |
+th/// +a +b +c |
+un// +th/ +a +th// +b +c |
| +1 |
+Ex |
) - [a ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +c +un// +a +b ) +ft// +c +a +ft// +c +b ) - +Th ) - +Am ) - ( +ft/ +th/ +a +ft/ +b = +ft// +c +un// +th/ +a +b ) +ft// +c +th/ +a +ft// +c +b |
| +2 |
+Gn/ +Un1 |
[a ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +c +un// +a +b ) +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +Un1 | +Tb// +1 +2 |
) - +Th ) - +Am ) - ( +ft/ +th/ +a +ft/ +b
= +ft// +c +un// +th/ +a +b ) +ft// +c +th/ +a +ft// +c +b |
| +2 |
+Tb// +Th18 +1 |
) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +b
= +ft// +c +un// +th/ +a +b ) +ft// +c +th/ +a +ft// +c +b |
| +1 |
+Ex |
) - [c ) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +b = +ft// +c +un// +th/ +a +b ) +ft// +c +th/ +a +ft// +c +b ) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +b = +ft// +d +un// +th/ +a +b ) +ft// +d +th/ +a +ft// +d +b |
| +2a |
+Gn/ +2 |
[c ) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +b = +ft// +c +un// +th/ +a +b ) +ft// +c +th/ +a +ft// +c +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +b
= +ft// +d +un// +th/ +a +b ) +ft// +d +th/ +a +ft// +d +b |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +b = +ft// +d +un// +th/ +a +b ) +ft// +d +th/ +a +ft// +d +b ) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +th// +b +c = +ft// +d +un// +th/ +a +th// +b +c ) +ft// +d +th/ +a +ft// +d +th// +b +c |
| +2 |
+Gn/ +3 |
[b ) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +b = +ft// +d +un// +th/ +a +b ) +ft// +d +th/ +a +ft// +d +b |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Th ( +Am +Dv ) - ( +ft/ +a +ft/ +th// +b +c
= +ft// +d +un// +th/ +a +th// +b +c ) +ft// +d +th/ +a +ft// +d +th// +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c |
| +2 |
+Gn/ +Th21 |
[b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b |
| +5 | +Rp/ +Th21 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +b +ft/ +c +ft/ +th// +b +c |
| +2 |
+Gn/ +5 |
[a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c |
| +6 | +Rp/ +5 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +b +ft/ +c +ft/ +th// +b +c |
| +7 |
+Tb// +4 +6 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +d +un// +th/ +a +th// +b +c ) +ft// +d +th/ +a +ft// +d +th// +b +c |
| +1 |
+Ex |
) - [c ) - +Th ) - +ft/ +a = +ft// +c +th/ +a +sm// +c +a ) - +Th ) - +ft/ +a = +ft// +d +th/ +a +sm// +d +a |
| +2 |
+Gn/ +Th10 |
[c ) - +Th ) - +ft/ +a = +ft// +c +th/ +a +sm// +c +a |
| +8 | +Rp/ +Th10 | +Tb// +1 +2 |
) - +Th ) - +ft/ +a = +ft// +d +th/ +a +sm// +d +a |
| +1 |
+Ex |
) - [c ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +c +th// +a +b ) +sm// +c +a +sm// +c +b ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +d +th// +a +b ) +sm// +d +a +sm// +d +b |
| +2 |
+Gn/ +Th1 |
[c ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +c +th// +a +b ) +sm// +c +a +sm// +c +b |
| +9 | +Rp/ +Th1 | +Tb// +1 +2 |
) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +d +th// +a +b ) +sm// +d +a +sm// +d +b |
| +1 |
+Ex |
) - [b ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +d +th// +a +b ) +sm// +d +a +sm// +d +b ) - +Th ) - ( +ft/ +a +ft/ +c = +ft// +d +th// +a +c ) +sm// +d +a +sm// +d +c |
| +2 |
+Gn/ +9 |
[b ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +d +th// +a +b ) +sm// +d +a +sm// +d +b |
| +10 | +Rp/ +9 | +Tb// +1 +2 |
) - +Th ) - ( +ft/ +a +ft/ +c = +ft// +d +th// +a +c ) +sm// +d +a +sm// +d +c |
| +1 |
+Ex |
) - [a ) - +Th ) - ( +ft/ +a +ft/ +c = +ft// +d +th// +a +c ) +sm// +d +a +sm// +d +c ) - +Th ) - ( +ft/ +b +ft/ +c = +ft// +d +th// +b +c ) +sm// +d +b +sm// +d +c |
| +2 |
+Gn/ +10 |
[a ) - +Th ) - ( +ft/ +a +ft/ +c = +ft// +d +th// +a +c ) +sm// +d +a +sm// +d +c |
| +11 | +Rp/ +10 | +Tb// +1 +2 |
) - +Th ) - ( +ft/ +b +ft/ +c = +ft// +d +th// +b +c ) +sm// +d +b +sm// +d +c |
| +12 |
+Tb/// +7 +8 +11 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +d +un// +th/ +a +th// +b +c ) +sm// +d +a ) +sm// +d +b +sm// +d +c |
| +Th22 | +Pr | +Ab/ +12 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c
= +ft// +d +th/// +a +b +c ) +sm// +d +a ) +sm// +d +b +sm// +d +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th// +b +c +ft/ +un// +a +th// +b +c |
| +2 |
+Gn/ +Un6 |
[b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b |
| +1 | +Rp/ +Un6 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th// +b +c +ft/ +un// +a +th// +b +c |
| +1a |
+Ex |
) - [a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th// +b +c +ft/ +un// +a +th// +b +c ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +th// +b +c +ft/ +un// +th/ +a +th// +b +c |
| +2 |
+Gn/ +1 |
[a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th// +b +c +ft/ +un// +a +th// +b +c |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +th// +b +c
+ft/ +un// +th/ +a +th// +b +c |
| +3 |
+Ab/ +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +th// +b +c +ft/ +th/// +a +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c |
| +2 |
+Gn/ +Th21 |
[b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b |
| +4 | +Rp/ +Th21 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +b +ft/ +c +ft/ +th// +b +c |
| +2 |
+Gn/ +4 |
[a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +c +ft/ +th// +a +c |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +b +ft/ +c +ft/ +th// +b +c |
| +Th23 | +Pr | +Tb/// +Th18 +3 +5 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c
+ft/ +th/// +a +b +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c +sm// +un// +a +un// +b +c +un// +un// +a +b +c ) - ( +Th ( +Am ( +Xu ( +ft/ +th/ +a ( +ft/ +b +ft/ +c +sm// +un// +th/ +a +un// +b +c +un// +un// +th/ +a +b +c |
| +2 |
+Gn/ +Un7 |
[a ) - ( +Th ( +Am ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c +sm// +un// +a +un// +b +c +un// +un// +a +b +c |
| +1 | +Rp/ +Un7 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Xu ( +ft/ +th/ +a ( +ft/ +b +ft/ +c
+sm// +un// +th/ +a +un// +b +c +un// +un// +th/ +a +b +c |
| +2 |
+Tb// +Th18 +1 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +un// +th/ +a +un// +b +c +un// +un// +th/ +a +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c +sm// +un// +th/ +a +un// +b +c +un// +un// +th/ +a +b +c ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b +ft/ +c +sm// +un// +th/ +a +un// +th/ +b +c +un// +un// +th/ +a +th/ +b +c |
| +2a |
+Gn/ +2 |
[b ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c +sm// +un// +th/ +a +un// +b +c +un// +un// +th/ +a +b +c |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b +ft/ +c
+sm// +un// +th/ +a +un// +th/ +b +c +un// +un// +th/ +a +th/ +b +c |
| +1 |
+Ex |
) - [c ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b +ft/ +c +sm// +un// +th/ +a +un// +th/ +b +c +un// +un// +th/ +a +th/ +b +c ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b +ft/ +th/ +c +sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +un// +th/ +a +th/ +b +th/ +c |
| +2 |
+Gn/ +3 |
[c ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b +ft/ +c +sm// +un// +th/ +a +un// +th/ +b +c +un// +un// +th/ +a +th/ +b +c |
| +1 | +Pr | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b +ft/ +th/ +c
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +un// +th/ +a +th/ +b +th/ +c |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +2 | +Rp/ +Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +1 |
+Ex |
) - [b ) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b ) - ( +Th +Dv ) - +ft/ +c +ft/ +th/ +c |
| +2a |
+Gn/ +2 |
[b ) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th +Dv ) - +ft/ +c +ft/ +th/ +c |
| +4 |
+Tb/// +1 +2 +3 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +un// +th/ +a +th/ +b +th/ +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +b +sm// +un// +th/ +a +th/ +b +th// +a +b ) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +c +sm// +un// +th/ +a +th/ +c +th// +a +c |
| +2 |
+Gn/ +Th19 |
[b ) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +b +sm// +un// +th/ +a +th/ +b +th// +a +b |
| +1 | +Rp/ +Th19 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +c +sm// +un// +th/ +a +th/ +c +th// +a +c |
| +1a |
+Ex |
) - [a ) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +c +sm// +un// +th/ +a +th/ +c +th// +a +c ) - ( +Th ( +Am ( +Dv ( +ft/ +b +ft/ +c +sm// +un// +th/ +b +th/ +c +th// +b +c |
| +2 |
+Gn/ +1 |
[a ) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +c +sm// +un// +th/ +a +th/ +c +th// +a +c |
| +2a | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th ( +Am ( +Dv ( +ft/ +b +ft/ +c +sm// +un// +th/ +b +th/ +c +th// +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +b +a +un// +b +g ) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g |
| +2 |
+Gn/ +Un5 |
[b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +b +a +un// +b +g |
| +3a | +Rp/ +Un5 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g ) - ( +Th ( +Am ( +ft/ +un// +th/ +b +th/ +c +ft/ +d ) - +sm// +un// +th/ +b +th/ +c +g +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +g |
| +2 |
+Gn/ +3a |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +d ) - +sm// +a +g +sm// +un// +d +a +un// +d +g |
| +4 | +Rp/ +3a | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +un// +th/ +b +th/ +c +ft/ +d ) - +sm// +un// +th/ +b +th/ +c +g +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +g |
| +1 |
+Ex |
) - [g ) - ( +Th ( +Am ( +ft/ +un// +th/ +b +th/ +c +ft/ +d ) - +sm// +un// +th/ +b +th/ +c +g +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +g ) - ( +Th ( +Am ( +ft/ +un// +th/ +b +th/ +c +ft/ +d ) - +sm// +un// +th/ +b +th/ +c +th// +b +c +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +th// +b +c |
| +2 |
+Gn/ +4 |
[g ) - ( +Th ( +Am ( +ft/ +un// +th/ +b +th/ +c +ft/ +d ) - +sm// +un// +th/ +b +th/ +c +g +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +g |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +un// +th/ +b +th/ +c +ft/ +d ) - +sm// +un// +th/ +b +th/ +c +th// +b +c +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +th// +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th/ +c +ft/ +un// +a +th/ +c |
| +2 |
+Gn/ +Un6 |
[b ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b |
| +6 | +Rp/ +Un6 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th/ +c +ft/ +un// +a +th/ +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th/ +c +ft/ +un// +a +th/ +c ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +b +ft/ +th/ +c +ft/ +un// +th/ +b +th/ +c |
| +2 |
+Gn/ +6 |
[a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +th/ +c +ft/ +un// +a +th/ +c |
| +7 | +Rp/ +6 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +b +ft/ +th/ +c +ft/ +un// +th/ +b +th/ +c |
| +8 |
+Tb///// +2 +3 +2a +5 +7 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +b ( +ft/ +c +ft/ +d
+sm// +un// +d +un// +th/ +b +th/ +c +un// +d +th// +b +c |
| +1 |
+Ex |
) - [d ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +b ( +ft/ +c +ft/ +d +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +th// +b +c ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +b ( +ft/ +c +ft/ +th/ +a +sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +th/ +a +th// +b +c |
| +2 |
+Gn/ +8 |
[d ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +b ( +ft/ +c +ft/ +d +sm// +un// +d +un// +th/ +b +th/ +c +un// +d +th// +b +c |
| +9 | +Rp/ +8 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +b ( +ft/ +c +ft/ +th/ +a
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +th/ +a +th// +b +c |
| +10 |
+Tb// +9 +Th18 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +th/ +a +th// +b +c |
| +5 | +Pr | +Ab/ +10 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +th/// +a +b +c |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +a +b +un// +g +b ) - ( +Th ( +Am ( +ft/ +a +ft/ +th/ +c ) - +sm// +a +g +sm// +un// +a +th/ +c +un// +g +th/ +c |
| +2 |
+Gn/ +Un4 |
[b ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +sm// +a +g +sm// +un// +a +b +un// +g +b |
| +1 | +Rp/ +Un4 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +th/ +c ) - +sm// +a +g
+sm// +un// +a +th/ +c +un// +g +th/ +c |
| +2a |
+Tb// +3 +1 |
) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +c ) - +sm// +a +g
+sm// +un// +a +th/ +c +un// +g +th/ +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +c ) - +sm// +a +g +sm// +un// +a +th/ +c +un// +g +th/ +c ) - ( +Th ( +Am ( +Dv ( +ft/ +un// +th/ +a +th/ +b +ft/ +c ) - +sm// +un// +th/ +a +th/ +b +g +sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +g +th/ +c |
| +2 |
+Gn/ +2a |
[a ) - ( +Th ( +Am ( +Dv ( +ft/ +a +ft/ +c ) - +sm// +a +g +sm// +un// +a +th/ +c +un// +g +th/ +c |
| +3 | +Rp/ +2a | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +ft/ +un// +th/ +a +th/ +b +ft/ +c
) - +sm// +un// +th/ +a +th/ +b +g +sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +g +th/ +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b |
| +2 |
+Gn/ +Un6 |
[a ) - ( +Th ( +Am +Xu ) - ( +ft/ +a +ft/ +b +ft/ +un// +a +b |
| +4 | +Rp/ +Un6 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +th/ +b +ft/ +un// +th/ +a +th/ +b |
| +2 |
+Gn/ +4 |
[b ) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +un// +th/ +a +b |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th ( +Am +Xu ) - ( +ft/ +th/ +a +ft/ +th/ +b +ft/ +un// +th/ +a +th/ +b |
| +6 |
+Tb//// +Th18 +2 +3 +5 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
) - +sm// +un// +th/ +a +th/ +b +g +sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +g +th/ +c |
| +1 |
+Ex |
) - [g ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c ) - +sm// +un// +th/ +a +th/ +b +g +sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +g +th/ +c ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c ) - +sm// +un// +th/ +a +th/ +b +th// +a +b +sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +th// +a +b +th/ +c |
| +2 |
+Gn/ +6 |
[g ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c ) - +sm// +un// +th/ +a +th/ +b +g +sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +g +th/ +c |
| +7 | +Rp/ +6 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
) - +sm// +un// +th/ +a +th/ +b +th// +a +b
+sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +th// +a +b +th/ +c |
| +6 | +Pr | +Tb// +Th19 +7 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +th// +a +b +th/ +c |
| +1 |
+Tb// +Sm3 +Sm4 |
) - ( +sm// +b +a +sm// +b +d +sm// +a +d |
| +1a |
+Ex |
) - [a ) - ( +sm// +b +a +sm// +b +d +sm// +a +d ) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +2 |
+Gn/ +1 |
[a ) - ( +sm// +b +a +sm// +b +d +sm// +a +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +1 |
+Ex |
) - [b ) - ( +sm// +b +e +sm// +b +d +sm// +e +d ) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +e +sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +e +d |
| +2a |
+Gn/ +2 |
[b ) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +e
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +e +d |
| +1 |
+Ex |
) - [e ) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +e +sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +e +d ) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +th/// +a +b +c +sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d |
| +2 |
+Gn/ +3 |
[e ) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +e +sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +e +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +th/// +a +b +c
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d |
| +1 |
+Ex |
) - [d ) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +th/// +a +b +c +sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d ) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +th/// +a +b +c +sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +un// +th/ +a +th/ +b +th/ +c +sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c |
| +2 |
+Gn/ +4 |
[d ) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +th/// +a +b +c +sm// +un// +th/ +a +un// +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d |
| +7 | +Pr | +Rp/ +4 | +Tb// +1 +2 |
) - ( +sm// +un// +th/ +a +un// +th/ +b +th/ +c +th/// +a +b +c
+sm// +un// +th/ +a +un// +th/ +b +th/ +c +un// +un// +th/ +a +th/ +b +th/ +c
+sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c |
| +8 |
+Tb/// +4 +5 +7 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c |
| +1 |
+Ex |
) - [b ) - ( +sm// +a +b +sm// +b +d +sm// +a +d ) - ( +sm// +a +e +sm// +e +d +sm// +a +d |
| +2 |
+Gn/ +Sm4 |
[b ) - ( +sm// +a +b +sm// +b +d +sm// +a +d |
| +1 | +Rp/ +Sm4 | +Tb// +1 +2 |
) - ( +sm// +a +e +sm// +e +d +sm// +a +d |
| +1a |
+Ex |
) - [a ) - ( +sm// +a +e +sm// +e +d +sm// +a +d ) - ( +sm// +th/// +a +b +c +e +sm// +e +d +sm// +th/// +a +b +c +d |
| +2 |
+Gn/ +1 |
[a ) - ( +sm// +a +e +sm// +e +d +sm// +a +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +sm// +th/// +a +b +c +e +sm// +e +d +sm// +th/// +a +b +c +d |
| +1 |
+Ex |
) - [e ) - ( +sm// +th/// +a +b +c +e +sm// +e +d +sm// +th/// +a +b +c +d ) - ( +sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c +sm// +un// +un// +th/ +a +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d |
| +2a |
+Gn/ +2 |
[e ) - ( +sm// +th/// +a +b +c +e +sm// +e +d +sm// +th/// +a +b +c +d |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c
+sm// +un// +un// +th/ +a +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d |
| +1 |
+Ex |
) - [d ) - ( +sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c +sm// +un// +un// +th/ +a +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d ) - ( +sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c +sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +th// +a +b +th/ +c +sm// +th/// +a +b +c +un// +th// +a +b +th/ +c |
| +2 |
+Gn/ +3 |
[d ) - ( +sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c +sm// +un// +un// +th/ +a +th/ +b +th/ +c +d +sm// +th/// +a +b +c +d |
| +9 | +Pr | +Rp/ +3 | +Tb// +1 +2 |
) - ( +sm// +th/// +a +b +c +un// +un// +th/ +a +th/ +b +th/ +c
+sm// +un// +un// +th/ +a +th/ +b +th/ +c +un// +th// +a +b +th/ +c
+sm// +th/// +a +b +c +un// +th// +a +b +th/ +c |
| +Th24 | +Pr | +Tb/// +6 +8 +9 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +c
+sm// +th/// +a +b +c +un// +th// +a +b +th/ +c |
({ The thing whose features are +a, +b, +c, and
+d will be represented by +th//// +a +b +c +d. })
| +Df |
+th//// +a +b +c +d |
+un// +th// +a +b +th// +c +d |
| +1 |
+Ex |
) - [c ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +c +un// +a +b ) +ft// +c +a +ft// +c +b ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b |
| +2 |
+Gn/ +Un1 |
[c ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +c +un// +a +b ) +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +Un1 | +Tb// +1 +2 |
) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b
) +ft// +e +a +ft// +e +b |
| +1a |
+Ex |
) - [b ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +f = +ft// +e +un// +a +f ) +ft// +e +a +ft// +e +f |
| +2 |
+Gn/ +1 |
[b ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +b = +ft// +e +un// +a +b ) +ft// +e +a +ft// +e +b |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Th ) - +Am ) - ( +ft/ +a +ft/ +f = +ft// +e +un// +a +f
) +ft// +e +a +ft// +e +f |
| +1 |
+Ex |
) - [a ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +f = +ft// +e +un// +a +f ) +ft// +e +a +ft// +e +f ) - +Th ) - +Am ) - ( +ft/ +th// +a +b +ft/ +f = +ft// +e +un// +th// +a +b +f ) +ft// +e +th// +a +b +ft// +e +f |
| +2a |
+Gn/ +2 |
[a ) - +Th ) - +Am ) - ( +ft/ +a +ft/ +f = +ft// +e +un// +a +f ) +ft// +e +a +ft// +e +f |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - +Th ) - +Am ) - ( +ft/ +th// +a +b +ft/ +f = +ft// +e +un// +th// +a +b +f
) +ft// +e +th// +a +b +ft// +e +f |
| +4 |
+Tb// +Th21 +3 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +f
= +ft// +e +un// +th// +a +b +f ) +ft// +e +th// +a +b +ft// +e +f |
| +1 |
+Ex |
) - [f ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +f = +ft// +e +un// +th// +a +b +f ) +ft// +e +th// +a +b +ft// +e +f ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +th// +c +d = +ft// +e +un// +th// +a +b +th// +c +d ) +ft// +e +th// +a +b +ft// +e +th// +c +d |
| +2 |
+Gn/ +4 |
[f ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +f = +ft// +e +un// +th// +a +b +f ) +ft// +e +th// +a +b +ft// +e +f |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +th// +c +d
= +ft// +e +un// +th// +a +b +th// +c +d ) +ft// +e +th// +a +b +ft// +e +th// +c +d |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +c +ft/ +b +ft/ +th// +c +b |
| +2 |
+Gn/ +Th21 |
[a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b |
| +6 | +Rp/ +Th21 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +c +ft/ +b +ft/ +th// +c +b |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +c +ft/ +b +ft/ +th// +c +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +c +ft/ +d +ft/ +th// +c +d |
| +2 |
+Gn/ +6 |
[b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +c +ft/ +b +ft/ +th// +c +b |
| +7 | +Rp/ +6 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +c +ft/ +d +ft/ +th// +c +d |
| +8 |
+Tb// +5 +7 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +d
= +ft// +e +un// +th// +a +b +th// +c +d ) +ft// +e +th// +a +b +ft// +e +th// +c +d |
| +1 | +Pr | +Ab/ +8 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +d
= +ft// +e +th//// +a +b +c +d ) +ft// +e +th// +a +b +ft// +e +th// +c +d |
| +1 |
+Ex |
) - [c ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +c +th// +a +b ) +sm// +c +a +sm// +c +b ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +e +th// +a +b ) +sm// +e +a +sm// +e +b |
| +2 |
+Gn/ +Th1 |
[c ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +c +th// +a +b ) +sm// +c +a +sm// +c +b |
| +2 | +Rp/ +Th1 | +Tb// +1 +2 |
) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +e +th// +a +b ) +sm// +e +a +sm// +e +b |
| +1 |
+Ex |
) - [b ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +e +th// +a +b ) +sm// +e +a +sm// +e +b ) - +Th ) - ( +ft/ +a +ft/ +d = +ft// +e +th// +a +d ) +sm// +e +a +sm// +e +d |
| +2a |
+Gn/ +2 |
[b ) - +Th ) - ( +ft/ +a +ft/ +b = +ft// +e +th// +a +b ) +sm// +e +a +sm// +e +b |
| +1 | +Rp/ +2 | +Tb// +1 +2a |
) - +Th ) - ( +ft/ +a +ft/ +d = +ft// +e +th// +a +d ) +sm// +e +a +sm// +e +d |
| +1a |
+Ex |
) - [a ) - +Th ) - ( +ft/ +a +ft/ +d = +ft// +e +th// +a +d ) +sm// +e +a +sm// +e +d ) - +Th ) - ( +ft/ +c +ft/ +d = +ft// +e +th// +c +d ) +sm// +e +c +sm// +e +d |
| +2 |
+Gn/ +1 |
[a ) - +Th ) - ( +ft/ +a +ft/ +d = +ft// +e +th// +a +d ) +sm// +e +a +sm// +e +d |
| +3 | +Pr | +Rp/ +1 | +Tb// +1a +2 |
) - +Th ) - ( +ft/ +c +ft/ +d = +ft// +e +th// +c +d ) +sm// +e +c +sm// +e +d |
| +4 |
+Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +d
= +ft// +e +th//// +a +b +c +d ) +sm// +e +a ) +sm// +e +b +ft// +e +th// +c +d |
| +Th25 | +Pr | +Tb// +3 +4 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +d
= +ft// +e +th//// +a +b +c +d ) +sm// +e +a ) +sm// +e +b ) +sm// +e +c +sm// +e +d |
| +1 |
+Ex |
) - [c = +ft// +c +a +ft// +c +b = +ft// +e +a +ft// +e +b |
| +2 |
+Ab/ +1 |
) - +sm// +a +b = +ft// +e +a +ft// +e +b |
| +3 |
+Gn/ +2 |
[e ) - +sm// +a +b = +ft// +e +a +ft// +e +b |
| +1 | +Pr | +Fc/ +3 |
) - +sm// +a +b [e = +ft// +e +a +ft// +e +b |
| +1 |
+Ex |
) - [e = +ft// +e +a +ft// +e +b = +ft// +c +a +ft// +c +b |
| +2 |
+Gn/ +1 |
[c ) - [e = +ft// +e +a +ft// +e +b = +ft// +c +a +ft// +c +b |
| +3 |
+Fc/ +2 |
) - [e = +ft// +e +a +ft// +e +b [c = +ft// +c +a +ft// +c +b |
| +2 | +Pr | +Ab/ +3 |
) - [e = +ft// +e +a +ft// +e +b +sm// +a +b |
| +Sm9 | +Pr | +Tb// +1 +2 |
= +sm// +a +b [e = +ft// +e +a +ft// +e +b |
| +1 |
+Ex |
) - [a ) - +sm// +b +c = +sm// +a +b +sm// +a +c ) - +sm// +b +c = +sm// +e +b +sm// +e +c |
| +2 |
+Gn/ +Sm8 |
[a ) - +sm// +b +c = +sm// +a +b +sm// +a +c |
| +1 | +Rp/ +Sm8 | +Tb// +1 +2 |
) - +sm// +b +c = +sm// +e +b +sm// +e +c |
| +2 |
+Tb// +Th25 +1 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +d
) - +sm// +b +c = +ft// +e +th//// +a +b +c +d ) +sm// +e +a ) +sm// +e +b +sm// +e +d |
| +3 |
+Tb// +Sm3 +Ft2 |
) - +Th ) - ( +ft/ +a +sm// +a +b +ft/ +b |
| +1 |
+Ex |
) - [b ) - +Th ) - ( +ft/ +a +sm// +a +b +ft/ +b ) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c |
| +2 |
+Gn/ +3 |
[b ) - +Th ) - ( +ft/ +a +sm// +a +b +ft/ +b |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c |
| +1 |
+Ex |
) - [a ) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c ) - +Th ) - ( +ft/ +b +sm// +b +c +ft/ +c |
| +2 |
+Gn/ +4 |
[a ) - +Th ) - ( +ft/ +a +sm// +a +c +ft/ +c |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - +Th ) - ( +ft/ +b +sm// +b +c +ft/ +c |
| +6 |
+Tb// +2 +5 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +d ) - +sm// +b +c
= +ft// +e +th//// +a +b +c +d ) +sm// +e +a ) +sm// +e +b +sm// +e +d |
| +1 |
+Ex |
) - [d ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c = +ft// +d +th/// +a +b +c ) +sm// +d +a ) +sm// +d +b +sm// +d +c ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c = +ft// +e +th/// +a +b +c ) +sm// +e +a ) +sm// +e +b +sm// +e +c |
| +2 |
+Gn/ +Th22 |
[d ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c = +ft// +d +th/// +a +b +c ) +sm// +d +a ) +sm// +d +b +sm// +d +c |
| +7 | +Rp/ +Th22 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c = +ft// +e +th/// +a +b +c ) +sm// +e +a ) +sm// +e +b +sm// +e +c |
| +1 |
+Ex |
) - [c ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c = +ft// +e +th/// +a +b +c ) +sm// +e +a ) +sm// +e +b +sm// +e +c ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +d = +ft// +e +th/// +a +b +d ) +sm// +e +a ) +sm// +e +b +sm// +e +d |
| +2 |
+Gn/ +7 |
[c ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +c = +ft// +e +th/// +a +b +c ) +sm// +e +a ) +sm// +e +b +sm// +e +c |
| +8 | +Rp/ +7 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b +ft/ +d = +ft// +e +th/// +a +b +d ) +sm// +e +a ) +sm// +e +b +sm// +e +d |
| +9 |
+Tb// +6 +8 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +d +sm// +b +c
= +ft// +e +th//// +a +b +c +d +ft// +e +th/// +a +b +d |
| +10 |
+Gn/ +9 |
[e ) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +d +sm// +b +c
= +ft// +e +th//// +a +b +c +d +ft// +e +th/// +a +b +d |
| +1 | +Pr | +Fc/ +10 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b ( +ft/ +d +sm// +b +c
[e = +ft// +e +th//// +a +b +c +d +ft// +e +th/// +a +b +d |
| +1 |
+Ex |
) - [b = +sm// +a +b [e = +ft// +e +a +ft// +e +b = +sm// +a +f [e = +ft// +e +a +ft// +e +f |
| +2 |
+Gn/ +Sm9 |
[b = +sm// +a +b [e = +ft// +e +a +ft// +e +b |
| +1 | +Rp/ +Sm9 | +Tb// +1 +2 |
= +sm// +a +f [e = +ft// +e +a +ft// +e +f |
| +1a |
+Ex |
) - [a = +sm// +a +f [e = +ft// +e +a +ft// +e +f = +sm// +th//// +a +b +c +d +f [e = +ft// +e +th//// +a +b +c +d +ft// +e +f |
| +2 |
+Gn/ +1 |
[a = +sm// +a +f [e = +ft// +e +a +ft// +e +f |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
= +sm// +th//// +a +b +c +d +f [e = +ft// +e +th//// +a +b +c +d +ft// +e +f |
| +1 |
+Ex |
) - [f = +sm// +th//// +a +b +c +d +f [e = +ft// +e +th//// +a +b +c +d +ft// +e +f = +sm// +th//// +a +b +c +d +th/// +a +b +d [e = +ft// +e +th//// +a +b +c +d +ft// +e +th/// +a +b +d |
| +2a |
+Gn/ +2 |
[f = +sm// +th//// +a +b +c +d +f [e = +ft// +e +th//// +a +b +c +d +ft// +e +f |
| +2 | +Pr | +Rp/ +2 | +Tb// +1 +2a |
= +sm// +th//// +a +b +c +d +th/// +a +b +d
[e = +ft// +e +th//// +a +b +c +d +ft// +e +th/// +a +b +d |
| +Th26 | +Pr | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +ft/ +d ) - +sm// +b +c
+sm// +th//// +a +b +c +d +th/// +a +b +d |
| +Df |
+TADX |
( +Th ( +Am ( +Dv +Xu |
| +1 |
+Tb |
) - ( +Th ( +Am ( +Dv +Xu ( +Th +Dv |
| +2 |
+Ab/ +1 |
) - +TADX ( +Th +Dv |
| +2 | +Pr | +Ab/ +2 |
) - +TADX +TD |
| +1 |
+Tb |
) - ( +Th ( +Am ( +Dv +Xu +Th |
| +2a | +Pr | +Ab/ +1 |
) - +TADX +Th |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +a +b +th// +d +f ) ( +sm// +a +d +sm// +b +f ( +sm// +a +f +sm// +b +d ) - ( +Th ( +ft/ +th/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d |
| +2 |
+Gn/ +Th8 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +a +b +th// +d +f ) ( +sm// +a +d +sm// +b +f ( +sm// +a +f +sm// +b +d |
| +1 | +Rp/ +Th8 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +th/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f
( +sm// +th/ +a +f +sm// +b +d |
| +2a |
+Tb// +Th18 +1 |
) - ( ( +Th +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f
( +sm// +th/ +a +f +sm// +b +d |
| +3 |
+Ab/ +2a |
) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f
( +sm// +th/ +a +f +sm// +b +d |
| +1 |
+Ex |
) - [d ) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d ) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +th/ +c +ft/ +f ) - +sm// +th// +th/ +a +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +c |
| +2 |
+Gn/ +3 |
[d ) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +th/ +c +ft/ +f
) - +sm// +th// +th/ +a +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +b +f
( +sm// +th/ +a +f +sm// +b +th/ +c |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +c +ft/ +th/ +c |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +5 | +Rp/+Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +c +ft/ +th/ +c |
| +6 |
+Ab/ +5 |
) - +TD ) - +ft/ +c +ft/ +th/ +c |
| +7 |
+Tb// +4 +6 |
) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +f
) - +sm// +th// +th/ +a +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +b +f
( +sm// +th/ +a +f +sm// +b +th/ +c |
| +1 |
+Ex |
) - [b ) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +f ) - +sm// +th// +th/ +a +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +c ) - ( +TD ( +ft/ +a ( +ft/ +th// +e +b ( +ft/ +c +ft/ +f ) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +f ( +sm// +th/ +a +f +sm// +th// +e +b +th/ +c |
| +2 |
+Gn/ +7 |
[b ) - ( +TD ( +ft/ +a ( +ft/ +b ( +ft/ +c +ft/ +f ) - +sm// +th// +th/ +a +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +c |
| +8 | +Rp/ +7 | +Tb// +1 +2 |
) - ( +TD ( +ft/ +a ( +ft/ +th// +e +b ( +ft/ +c +ft/ +f
) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +f
) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +f
( +sm// +th/ +a +f +sm// +th// +e +b +th/ +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +e +ft/ +b +ft/ +th// +e +b |
| +2 |
+Gn/ +Th21 |
[a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b |
| +9 | +Rp/ +Th21 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +e +ft/ +b +ft/ +th// +e +b |
| +10 |
+Ab/ +9 |
) - +TADX ) - ( +ft/ +e +ft/ +b +ft/ +th// +e +b |
| +11 |
+Tb/// +2 +8 +10 |
) - ( +TADX ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +e +ft/ +f
) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +f
) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +f
( +sm// +th/ +a +f +sm// +th// +e +b +th/ +c |
| +1 |
+Ex |
) - [f ) - ( +TADX ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +e +ft/ +f ) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +f ( +sm// +th/ +a +f +sm// +th// +e +b +th/ +c ) - ( +TADX ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +e +ft/ +th// +e +d ) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +th// +e +d ) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +th// +e +d ( +sm// +th/ +a +th// +e +d +sm// +th// +e +b +th/ +c |
| +2 |
+Gn/ +11 |
[f ) - ( +TADX ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +e +ft/ +f ) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +f ) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +f ( +sm// +th/ +a +f +sm// +th// +e +b +th/ +c |
| +12 | +Rp/ +11 | +Tb// +1 +2 |
) - ( +TADX ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +e +ft/ +th// +e +d
) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +th// +e +d
) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +th// +e +d
( +sm// +th/ +a +th// +e +d +sm// +th// +e +b +th/ +c |
| +1 |
+Ex |
) - [b ) - +TADX ) - ( +ft/ +e +ft/ +b +ft/ +th// +e +b ) - +TADX ) - ( +ft/ +e +ft/ +d +ft/ +th// +e +d |
| +2 |
+Gn/ +10 |
[b ) - +TADX ) - ( +ft/ +e +ft/ +b +ft/ +th// +e +b |
| +13 | +Rp/ +10 | +Tb// +1 +2 |
) - +TADX ) - ( +ft/ +e +ft/ +d +ft/ +th// +e +d |
| +3 | +Pr | +Tb// +12 +13 |
) - ( +TADX ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +d +ft/ +e
) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +th// +e +d
) ( +sm// +th/ +a +th/ +c +sm// +th// +e +b +th// +e +d
( +sm// +th/ +a +th// +e +d +sm// +th// +e +b +th/ +c |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b +ft/ +c ) - +sm// +th// +a +b +th/ +c +sm// +a +b ) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +c ) - +sm// +th// +e +b +th/ +c +sm// +e +b |
| +2 |
+Gn/ +Th14 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b +ft/ +c ) - +sm// +th// +a +b +th/ +c +sm// +a +b |
| +4 | +Rp/ +Th14 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +c ) - +sm// +th// +e +b +th/ +c +sm// +e +b |
| +1 |
+Ex |
) - [b = +sm// +a +b +sm// +b +a = +sm// +a +th// +e +b +sm// +th// +e +b +a |
| +2 |
+Gn/ +Sm3 |
[b = +sm// +a +b +sm// +b +a |
| +1 | +Rp/ +Sm3 | +Tb// +1 +2 |
= +sm// +a +th// +e +b +sm// +th// +e +b +a |
| +1a |
+Ex |
) - [a = +sm// +a +th// +e +b +sm// +th// +e +b +a = +sm// +th/ +c +th// +e +b +sm// +th// +e +b +th/ +c |
| +2 |
+Gn/ +1 |
[a = +sm// +a +th// +e +b +sm// +th// +e +b +a |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
= +sm// +th/ +c +th// +e +b +sm// +th// +e +b +th/ +c |
| +3 |
+Tb// +4 +2 |
) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +c ) - +sm// +th/ +c +th// +e +b +sm// +e +b |
| +1 |
+Ex |
) - [c ) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +c ) - +sm// +th/ +c +th// +e +b +sm// +e +b ) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +a ) - +sm// +th/ +a +th// +e +b +sm// +e +b |
| +2 |
+Gn/ +3 |
[c ) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +c ) - +sm// +th/ +c +th// +e +b +sm// +e +b |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +a
) - +sm// +th/ +a +th// +e +b +sm// +e +b |
| +1 |
+Ex |
) - [b ) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +a ) - +sm// +th/ +a +th// +e +b +sm// +e +b ) - ( +Th ( +ft/ +e ( +ft/ +d +ft/ +a ) - +sm// +th/ +a +th// +e +d +sm// +e +d |
| +2 |
+Gn/ +4 |
[b ) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +a ) - +sm// +th/ +a +th// +e +b +sm// +e +b |
| +5 | +Pr | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +e ( +ft/ +d +ft/ +a ) - +sm// +th/ +a +th// +e +d +sm// +e +d |
| +1 |
+Ex |
) - [a = +sm// +a +b +sm// +b +a = +sm// +e +b +sm// +b +e |
| +2 |
+Gn/ +Sm3 |
[a = +sm// +a +b +sm// +b +a |
| +1 | +Rp/ +Sm3 | +Tb// +1 +2 |
= +sm// +e +b +sm// +b +e |
| +2 |
+Tb// +4 +1 |
) - ( +Th ( +ft/ +e ( +ft/ +b +ft/ +c ) - +sm// +th// +e +b +th/ +c +sm// +b +e |
| +1 |
+Ex |
) - [b ) - ( +sm// +a +b +sm// +b +d +sm// +a +d ) - ( +sm// +a +e +sm// +e +d +sm// +a +d |
| +2 |
+Gn/ +Sm4 |
[b ) - ( +sm// +a +b +sm// +b +d +sm// +a +d |
| +3 | +Rp/ +Sm4 | +Tb// +1 +2 |
) - ( +sm// +a +e +sm// +e +d +sm// +a +d |
| +1 |
+Ex |
) - [a ) - ( +sm// +a +e +sm// +e +d +sm// +a +d ) - ( +sm// +b +e +sm// +e +d +sm// +b +d |
| +2 |
+Gn/ +3 |
[a ) - ( +sm// +a +e +sm// +e +d +sm// +a +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +sm// +b +e +sm// +e +d +sm// +b +d |
| +6 | +Pr | +Tb/// +5 +2 +4 |
) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +d +ft/ +e
) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +b +th/ +c +sm// +b +d |
| +1 |
+Ex |
) - [b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +b +a +th// +b +d ) - ( +Th ( +ft/ +a ( +ft/ +e +sm// +a +d +sm// +th// +e +a +th// +e +d |
| +2 |
+Gn/ +Th7 |
[b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +b +a +th// +b +d |
| +1 | +Rp/ +Th7 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +a ( +ft/ +e +sm// +a +d +sm// +th// +e +a +th// +e +d |
| +1a |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +e +sm// +a +d +sm// +th// +e +a +th// +e +d ) - ( +Th ( +ft/ +b ( +ft/ +e +sm// +b +d +sm// +th// +e +b +th// +e +d |
| +2 |
+Gn/ +1 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +e +sm// +a +d +sm// +th// +e +a +th// +e +d |
| +7 | +Pr | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th ( +ft/ +b ( +ft/ +e +sm// +b +d +sm// +th// +e +b +th// +e +d |
| +1 |
+Ex |
) - [b = +sm// +a +b +sm// +b +a = +sm// +a +th// +e +d +sm// +th// +e +d +a |
| +2 |
+Gn/ +Sm3 |
[b = +sm// +a +b +sm// +b +a |
| +1 | +Rp/ +Sm3 | +Tb// +1 +2 |
= +sm// +a +th// +e +d +sm// +th// +e +d +a |
| +1a |
+Ex |
) - [a = +sm// +a +th// +e +d +sm// +th// +e +d +a = +sm// +th// +e +b +th// +e +d +sm// +th// +e +d +th// +e +b |
| +2 |
+Gn/ +1 |
[a = +sm// +a +th// +e +d +sm// +th// +e +d +a |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
= +sm// +th// +e +b +th// +e +d +sm// +th// +e +d +th// +e +b |
| +8 | +Pr | +Tb// +7 +2 |
) - ( +Th ( +ft/ +b ( +ft/ +e +sm// +b +d +sm// +th// +e +d +th// +e +b |
| +1 |
+Ex |
) - [a ) - ( +sm// +a +b +sm// +b +d +sm// +a +d ) - ( +sm// +th/ +a +b +sm// +b +d +sm// +th/ +a +d |
| +2 |
+Gn/ +Sm4 |
[a ) - ( +sm// +a +b +sm// +b +d +sm// +a +d |
| +1 | +Rp/ +Sm4 | +Tb// +1 +2 |
) - ( +sm// +th/ +a +b +sm// +b +d +sm// +th/ +a +d |
| +1a |
+Ex |
) - [d ) - ( +sm// +th/ +a +b +sm// +b +d +sm// +th/ +a +d ) - ( +sm// +th/ +a +b +sm// +b +c +sm// +th/ +a +c |
| +2 |
+Gn/ +1 |
[d ) - ( +sm// +th/ +a +b +sm// +b +d +sm// +th/ +a +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +sm// +th/ +a +b +sm// +b +c +sm// +th/ +a +c |
| +1 |
+Ex |
) - [b ) - ( +sm// +th/ +a +b +sm// +b +c +sm// +th/ +a +c ) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +d +c +sm// +th/ +a +c |
| +2a |
+Gn/ +2 |
[b ) - ( +sm// +th/ +a +b +sm// +b +c +sm// +th/ +a +c |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +d +c +sm// +th/ +a +c |
| +1 |
+Ex |
) - [c ) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +d +c +sm// +th/ +a +c ) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +d +th// +e +b +sm// +th/ +a +th// +e +b |
| +2 |
+Gn/ +3 |
[c ) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +d +c +sm// +th/ +a +c |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +d +th// +e +b +sm// +th/ +a +th// +e +b |
| +1a |
+Ex |
) - [b ) - ( +sm// +th/ +a +b +sm// +b +d +sm// +th/ +a +d ) - ( +sm// +th/ +a +th// +e +b +sm// +th// +e +b +d +sm// +th/ +a +d |
| +2 |
+Gn/ +1 |
[b ) - ( +sm// +th/ +a +b +sm// +b +d +sm// +th/ +a +d |
| +5 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +sm// +th/ +a +th// +e +b +sm// +th// +e +b +d +sm// +th/ +a +d |
| +1 |
+Ex |
) - [d ) - ( +sm// +th/ +a +th// +e +b +sm// +th// +e +b +d +sm// +th/ +a +d ) - ( +sm// +th/ +a +th// +e +b +sm// +th// +e +b +th/ +c +sm// +th/ +a +th/ +c |
| +2 |
+Gn/ +5 |
[d ) - ( +sm// +th/ +a +th// +e +b +sm// +th// +e +b +d +sm// +th/ +a +d |
| +6a | +Rp/ +5 | +Tb// +1 +2 |
) - ( +sm// +th/ +a +th// +e +b +sm// +th// +e +b +th/ +c +sm// +th/ +a +th/ +c |
| +9 | +Pr | +Tb//// +6 +8 +4 +6a |
) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +d +ft/ +e
) - ( +sm// +th/ +a +th// +e +d +sm// +th// +e +b +th/ +c +sm// +th/ +a +th/ +c |
| +10 |
+Tb///// +2a +3 +6 +7 +9 |
) - +TADX ) - ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +d +ft/ +e
) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +th// +e +d
( +sm// +th/ +a +th/ +c +sm// +th// +e +b +th// +e +d |
| +1 |
+Ex |
) - [b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +b +sm// +a +b ) - ( +Th ( +ft/ +a ( +ft/ +c +sm// +th/ +a +th/ +c +sm// +a +c |
| +2 |
+Gn/ +Th13 |
[b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +b +sm// +a +b |
| +11 | +Rp/ +Th13 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +a ( +ft/ +c +sm// +th/ +a +th/ +c +sm// +a +c |
| +1 |
+Ex |
) - [d ) - ( +Th ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +d +b +th// +d +f +sm// +b +f ) - ( +Th ( +ft/ +b ( +ft/ +e +ft/ +f ) - +sm// +th// +e +b +th// +e +f +sm// +b +f |
| +2 |
+Gn/ +Th9 |
[d ) - ( +Th ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +d +b +th// +d +f +sm// +b +f |
| +1 | +Rp/ +Th9 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +b ( +ft/ +e +ft/ +f
) - +sm// +th// +e +b +th// +e +f +sm// +b +f |
| +1a |
+Ex |
) - [f ) - ( +Th ( +ft/ +b ( +ft/ +e +ft/ +f ) - +sm// +th// +e +b +th// +e +f +sm// +b +f ) - ( +Th ( +ft/ +b ( +ft/ +e +ft/ +d ) - +sm// +th// +e +b +th// +e +d +sm// +b +d |
| +2 |
+Gn/ +1 |
[f ) - ( +Th ( +ft/ +b ( +ft/ +e +ft/ +f ) - +sm// +th// +e +b +th// +e +f +sm// +b +f |
| +12 | +Pr | +Rp/ +1 | +Tb// +1a +2 |
) - ( +Th ( +ft/ +b ( +ft/ +e +ft/ +d
) - +sm// +th// +e +b +th// +e +d +sm// +b +d |
| +13 |
+Tb//// +2a +10 +11 +12 |
) - +TADX ) - ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +d +ft/ +e
) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +th// +e +d ( +sm// +a +c +sm// +b +d |
| +Th27 | +Pr | +Ab/ +13 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b ( +ft/ +c ( +ft/ +d +ft/ +e
) - +sm// +th// +th/ +a +th// +e +b +th// +th/ +c +th// +e +d ( +sm// +a +c +sm// +b +d |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +th/ +b +ft/ +th// +a +th/ +b |
| +2 |
+Gn/ +Th21 |
[b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b |
| +1 | +Rp/ +Th21 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +th/ +b +ft/ +th// +a +th/ +b |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +2 | +Rp/ +Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +3 |
+Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +th/ +b |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +th/ +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +0 +ft/ +b +ft/ +th// +0 +th/ +b |
| +2 |
+Gn/ +3 |
[a ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +th/ +b |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +0 +ft/ +b +ft/ +th// +0 +th/ +b |
| +Th28 | +Pr | +Tb// +Nf4 +4 |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - +ft/ +b +ft/ +th// +0 +th/ +b |
[- Link -]
({ A link from +a to +b is a thing that has a
first end at +a and a second end at +b. The following
Definition gives an example. })
| +Df |
+lk// +a +b |
+th// +th/ +a +th// +0 +th/ +b |
({ The relation of being the same is transmitted for links. })
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +a +b +th// +d +b ) - ( +Th ( +ft/ +th/ +a ( +ft/ +b +sm// +th/ +a +d +sm// +th// +th/ +a +b +th// +d +b |
| +2 |
+Gn/ +Th6 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +a +b +th// +d +b |
| +1 | +Rp/ +Th6 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +th/ +a ( +ft/ +b +sm// +th/ +a +d
+sm// +th// +th/ +a +b +th// +d +b |
| +2 |
+Tb// +Th18 +1 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +d
+sm// +th// +th/ +a +b +th// +d +b |
| +1 |
+Ex |
) - [d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +d +sm// +th// +th/ +a +b +th// +d +b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d +sm// +th// +th/ +a +b +th// +th/ +d +b |
| +2a |
+Gn/ +2 |
[d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +d +sm// +th// +th/ +a +b +th// +d +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d
+sm// +th// +th/ +a +b +th// +th/ +d +b |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d +sm// +th// +th/ +a +b +th// +th/ +d +b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +th// +0 +th/ +b +sm// +th/ +a +th/ +d +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +th// +0 +th/ +b |
| +2 |
+Gn/ +3 |
[b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d +sm// +th// +th/ +a +b +th// +th/ +d +b |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +th// +0 +th/ +b +sm// +th/ +a +th/ +d
+sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +th// +0 +th/ +b |
| +5 |
+Tb// +Th28 +4 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th/ +a +th/ +d +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +th// +0 +th/ +b |
| +6 |
+Ab/ +5 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th/ +a +th/ +d +sm// +lk// +a +b +th// +th/ +d +th// +0 +th/ +b |
| +7 |
+Ab/ +6 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th/ +a +th/ +d +sm// +lk// +a +b +lk// +d +b |
| +Lk1 | +Pr | +Tb// +Th12 +7 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +a +d +sm// +lk// +a +b +lk// +d +b |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +b +a +th// +b +d ) - ( +Th ( +ft/ +th// +0 +th/ +a ( +ft/ +b +sm// +th// +0 +th/ +a +d +sm// +th// +b +th// +0 +th/ +a +th// +b +d |
| +2 |
+Gn/ +Th7 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +b +a +th// +b +d |
| +1 | +Rp/ +Th7 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +th// +0 +th/ +a ( +ft/ +b
+sm// +th// +0 +th/ +a +d +sm// +th// +b +th// +0 +th/ +a +th// +b +d |
| +1 |
+Ex |
) - [b ) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - +ft/ +b +ft/ +th// +0 +th/ +b ) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - +ft/ +a +ft/ +th// +0 +th/ +a |
| +2 |
+Gn/ +Th28 |
[b ) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - +ft/ +b +ft/ +th// +0 +th/ +b |
| +2 | +Rp/ +Th28 | +Tb// +1 +2 |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - +ft/ +a +ft/ +th// +0 +th/ +a |
| +3 |
+Tb// +1 +2 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th// +0 +th/ +a +d +sm// +th// +b +th// +0 +th/ +a +th// +b +d |
| +1 |
+Ex |
) - [d ) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +sm// +th// +0 +th/ +a +d +sm// +th// +b +th// +0 +th/ +a +th// +b +d ) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +sm// +th// +0 +th/ +a +th// +0 +th/ +d +sm// +th// +b +th// +0 +th/ +a +th// +b +th// +0 +th/ +d |
| +2 |
+Gn/ +3 |
[d ) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +sm// +th// +0 +th/ +a +d +sm// +th// +b +th// +0 +th/ +a +th// +b +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th// +0 +th/ +a +th// +0 +th/ +d +sm// +th// +b +th// +0 +th/ +a +th// +b +th// +0 +th/ +d |
| +1 |
+Ex |
) - [b ) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +sm// +th// +0 +th/ +a +th// +0 +th/ +d +sm// +th// +b +th// +0 +th/ +a +th// +b +th// +0 +th/ +d ) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b +sm// +th// +0 +th/ +a +th// +0 +th/ +d +sm// +th// +th/ +b +th// +0 +th/ +a +th// +th/ +b +th// +0 +th/ +d |
| +2 |
+Gn/ +4 |
[b ) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b +sm// +th// +0 +th/ +a +th// +0 +th/ +d +sm// +th// +b +th// +0 +th/ +a +th// +b +th// +0 +th/ +d |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +th/ +b
+sm// +th// +0 +th/ +a +th// +0 +th/ +d
+sm// +th// +th/ +b +th// +0 +th/ +a +th// +th/ +b +th// +0 +th/ +d |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +6 | +Rp/ +Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +7 |
+Tb// +5 +6 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th// +0 +th/ +a +th// +0 +th/ +d
+sm// +th// +th/ +b +th// +0 +th/ +a +th// +th/ +b +th// +0 +th/ +d |
| +8 |
+Ab/ +7 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th// +0 +th/ +a +th// +0 +th/ +d
+sm// +lk// +b +a +th// +th/ +b +th// +0 +th/ +d |
| +1 | +Pr | +Ab/ +8 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +th// +0 +th/ +a +th// +0 +th/ +d
+sm// +lk// +b +a +lk// +b +d |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +b +a +th// +b +d ) - ( +Th ( +ft/ +th/ +a ( +ft/ +b +sm// +th/ +a +d +sm// +th// +b +th/ +a +th// +b +d |
| +2 |
+Gn/ +Th7 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +a +d +sm// +th// +b +a +th// +b +d |
| +1 | +Rp/ +Th7 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +th/ +a ( +ft/ +b +sm// +th/ +a +d
+sm// +th// +b +th/ +a +th// +b +d |
| +2 |
+Tb// +Th18 +1 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +d
+sm// +th// +b +th/ +a +th// +b +d |
| +1 |
+Ex |
) - [d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +d +sm// +th// +b +th/ +a +th// +b +d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d +sm// +th// +b +th/ +a +th// +b +th/ +d |
| +2a |
+Gn/ +2 |
[d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +d +sm// +th// +b +th/ +a +th// +b +d |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d
+sm// +th// +b +th/ +a +th// +b +th/ +d |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d +sm// +th// +b +th/ +a +th// +b +th/ +d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +0 +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +a +th// +0 +th/ +d |
| +2 |
+Gn/ +3 |
[b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +d +sm// +th// +b +th/ +a +th// +b +th/ +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +0 +sm// +th/ +a +th/ +d
+sm// +th// +0 +th/ +a +th// +0 +th/ +d |
| +2 | +Pr | +Tb// +Nf4 +4 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +a +sm// +th/ +a +th/ +d
+sm// +th// +0 +th/ +a +th// +0 +th/ +d |
| +Lk2 | +Pr | +Tb/// +Th12 +1 +2 |
) - ( +Nf ( +Th ( +Am ( +Dv ( +Xu ( +ft/ +a ( +ft/ +b
+sm// +a +d +sm// +lk// +b +a +lk// +b +d |
({ If +a and +b are features, then +lk// +a +b
is a feature. })
| +1 |
+Ex |
) - [b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +th// +0 +th/ +b +ft/ +th// +a +th// +0 +th/ +b |
| +2 |
+Gn/ +Th21 |
[b ) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +b |
| +1 | +Rp/ +Th21 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +th// +0 +th/ +b
+ft/ +th// +a +th// +0 +th/ +b |
| +2 |
+Tb// +Th28 +1 |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b
+ft/ +th// +a +th// +0 +th/ +b |
| +1 |
+Ex |
) - [a ) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +th// +0 +th/ +b ) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +th/ +a +ft/ +b +ft/ +th// +th/ +a +th// +0 +th/ +b |
| +2a |
+Gn/ +2 |
[a ) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +th// +a +th// +0 +th/ +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +th/ +a +ft/ +b
+ft/ +th// +th/ +a +th// +0 +th/ +b |
| +4 |
+Tb// +Th18 +3 |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b
+ft/ +th// +th/ +a +th// +0 +th/ +b |
| +Lk3 | +Pr | +Ab/ +4 |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a +ft/ +b +ft/ +lk// +a +b |
({ If two links are the same, then the first end of one is the same as the first end of
the other, and the second end of one is the same as the second end of the other. })
| +1Df |
+NTADX |
( +Nf ( +Th ( +Am ( +Dv +Xu |
| +1 |
+Tb |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ( +Th +Dv |
| +2 | +Pr | +Ab/ +1 |
) - +NTADX ( +Th +Dv |
| +1 |
+Tb |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ( +Nf ( +Th +Dv |
| +2a | +Pr | +Ab/ +1 |
) - +NTADX ( +Nf ( +Th +Dv |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +d +ft/ +th/ +d |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +3 | +Rp/ +Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +d +ft/ +th/ +d |
| +4 |
+Ab/ +Th28 |
) - +NTADX ) - +ft/ +b +ft/ +th// +0 +th/ +b |
| +1 |
+Ex |
) - [b ) - +NTADX ) - +ft/ +b +ft/ +th// +0 +th/ +b ) - +NTADX ) - +ft/ +f +ft/ +th// +0 +th/ +f |
| +2 |
+Gn/ +4 |
[b ) - +NTADX ) - +ft/ +b +ft/ +th// +0 +th/ +b |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - +NTADX ) - +ft/ +f +ft/ +th// +0 +th/ +f |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +f +ft/ +th/ +f |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +6 | +Rp/ +Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +f +ft/ +th/ +f |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +a +b +th// +d +f ) ( +sm// +a +d +sm// +b +f ( +sm// +a +f +sm// +b +d ) - ( +Th ( +ft/ +th/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d |
| +2 |
+Gn/ +Th8 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +a +b +th// +d +f ) ( +sm// +a +d +sm// +b +f ( +sm// +a +f +sm// +b +d |
| +1 | +Rp/ +Th8 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +th/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +b +th// +d +f
) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d |
| +2a |
+Tb// +Th18 +1 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +b +th// +d +f
) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d |
| +1 |
+Ex |
) - [d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +th/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +th/ +d +f ) ( +sm// +th/ +a +th/ +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +d |
| +2 |
+Gn/ +2a |
[d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +d +f ) ( +sm// +th/ +a +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +d |
| +3a | +Rp/ +2a | +Tb// +1 +2 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +th/ +d +ft/ +f
) - +sm// +th// +th/ +a +b +th// +th/ +d +f
) ( +sm// +th/ +a +th/ +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +d |
| +4a |
+Tb// +3a +3 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +b +th// +th/ +d +f
) ( +sm// +th/ +a +th/ +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +d |
| +1 |
+Ex |
) - [b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +th/ +d +f ) ( +sm// +th/ +a +th/ +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +d ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +th// +0 +th/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +f ) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +f ( +sm// +th/ +a +f +sm// +th// +0 +th/ +b +th/ +d |
| +2 |
+Gn/ +4a |
[b ) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +b +th// +th/ +d +f ) ( +sm// +th/ +a +th/ +d +sm// +b +f ( +sm// +th/ +a +f +sm// +b +th/ +d |
| +5a | +Rp/ +4a | +Tb// +1 +2 |
) - ( +Th ( +Dv ( +ft/ +a ( +ft/ +th// +0 +th/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +f
) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +f
( +sm// +th/ +a +f +sm// +th// +0 +th/ +b +th/ +d |
| +6 |
+Tb/// +2 +4 +5a |
) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +f
) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +f
( +sm// +th/ +a +f +sm// +th// +0 +th/ +b +th/ +d |
| +1 |
+Ex |
) - [f ) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +f ) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +f ( +sm// +th/ +a +f +sm// +th// +0 +th/ +b +th/ +d ) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +th// +0 +th/ +f ) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +th// +0 +th/ +f ) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +th// +0 +th/ +f ( +sm// +th/ +a +th// +0 +th/ +f +sm// +th// +0 +th/ +b +th/ +d |
| +2 |
+Gn/ +6 |
[f ) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +f ) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +f ( +sm// +th/ +a +f +sm// +th// +0 +th/ +b +th/ +d |
| +7 | +Rp/ +6 | +Tb// +1 +2 |
) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +th// +0 +th/ +f
) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +th// +0 +th/ +f
) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +th// +0 +th/ +f
( +sm// +th/ +a +th// +0 +th/ +f +sm// +th// +0 +th/ +b +th/ +d |
| +8 |
+Tb// +5 +7 |
) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +th/ +a +th// +0 +th/ +b +th// +th/ +d +th// +0 +th/ +f
) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +th// +0 +th/ +f
( +sm// +th/ +a +th// +0 +th/ +f +sm// +th// +0 +th/ +b +th/ +d |
| +9 |
+Ab/ +8 |
) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +lk// +a +b +th// +th/ +d +th// +0 +th/ +f
) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +th// +0 +th/ +f
( +sm// +th/ +a +th// +0 +th/ +f +sm// +th// +0 +th/ +b +th/ +d |
| +7 | +Pr | +Ab/ +9 |
) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +lk// +a +b +lk// +d +f
) ( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +th// +0 +th/ +f
( +sm// +th/ +a +th// +0 +th/ +f +sm// +th// +0 +th/ +b +th/ +d |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b +ft/ +c ) - +sm// +th// +a +b +th/ +c +sm// +a +b ) - ( +Th ( +ft/ +0 ( +ft/ +b +ft/ +c ) - +sm// +th// +0 +b +th/ +c +sm// +0 +b |
| +2 |
+Gn/ +Th14 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b +ft/ +c ) - +sm// +th// +a +b +th/ +c +sm// +a +b |
| +1 | +Rp/ +Th14 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +0 ( +ft/ +b +ft/ +c ) - +sm// +th// +0 +b +th/ +c +sm// +0 +b |
| +2 |
+Tb// +Nf4 +1 |
) - ( +Nf ( +Th ( +ft/ +b +ft/ +c ) - +sm// +th// +0 +b +th/ +c +sm// +0 +b |
| +1 |
+Ex |
) - [b ) - ( +Nf ( +Th ( +ft/ +b +ft/ +c ) - +sm// +th// +0 +b +th/ +c +sm// +0 +b ) - ( +Nf ( +Th ( +ft/ +th/ +f +ft/ +c ) - +sm// +th// +0 +th/ +f +th/ +c +sm// +0 +th/ +f |
| +2a |
+Gn/ +2 |
[b ) - ( +Nf ( +Th ( +ft/ +b +ft/ +c ) - +sm// +th// +0 +b +th/ +c +sm// +0 +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Nf ( +Th ( +ft/ +th/ +f +ft/ +c
) - +sm// +th// +0 +th/ +f +th/ +c +sm// +0 +th/ +f |
| +4 |
+Tb// +6 +3 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +f +ft/ +c
) - +sm// +th// +0 +th/ +f +th/ +c +sm// +0 +th/ +f |
| +1 |
+Ex |
) - [a ) - ( +Nf +Th ) - +ft/ +a - +sm// +0 +th/ +a ) - ( +Nf +Th ) - +ft/ +f - +sm// +0 +th/ +f |
| +2 |
+Gn/ +Th16 |
[a ) - ( +Nf +Th ) - +ft/ +a - +sm// +0 +th/ +a |
| +5 | +Rp/ +Th16 | +Tb// +1 +2 |
) - ( +Nf +Th ) - +ft/ +f - +sm// +0 +th/ +f |
| +6 |
+Tb// +4 +5 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +f +ft/ +c - +sm// +th// +0 +th/ +f +th/ +c |
| +1 |
+Ex |
) - [a = +sm// +a +b +sm// +b +a = +sm// +th/ +c +b +sm// +b +th/ +c |
| +2 |
+Gn/ +Sm3 |
[a = +sm// +a +b +sm// +b +a |
| +7a | +Rp/ +Sm3 | +Tb// +1 +2 |
= +sm// +th/ +c +b +sm// +b +th/ +c |
| +1 |
+Ex |
) - [b = +sm// +th/ +c +b +sm// +b +th/ +c = +sm// +th/ +c +th// +0 +th/ +f +sm// +th// +0 +th/ +f +th/ +c |
| +2 |
+Gn/ +7a |
[b = +sm// +th/ +c +b +sm// +b +th/ +c |
| +8 | +Rp/ +7a | +Tb// +1 +2 |
= +sm// +th/ +c +th// +0 +th/ +f +sm// +th// +0 +th/ +f +th/ +c |
| +9 |
+Tb// +6 +8 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +f +ft/ +c - +sm// +th/ +c +th// +0 +th/ +f |
| +1 |
+Ex |
) - [c ) - ( +Nf ( +Th ( +Dv ( +ft/ +f +ft/ +c - +sm// +th/ +c +th// +0 +th/ +f ) - ( +Nf ( +Th ( +Dv ( +ft/ +f +ft/ +a - +sm// +th/ +a +th// +0 +th/ +f |
| +2 |
+Gn/ +9 |
[c ) - ( +Nf ( +Th ( +Dv ( +ft/ +f +ft/ +c - +sm// +th/ +c +th// +0 +th/ +f |
| +10 | +Rp/ +9 | +Tb// +1 +2 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +f +ft/ +a - +sm// +th/ +a +th// +0 +th/ +f |
| +11 |
+Tb// +2a +10 |
) - ( +NTADX ( +ft/ +f +ft/ +a - +sm// +th/ +a +th// +0 +th/ +f |
| +8 | +Pr | +Tb// +7 +11 |
) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +lk// +a +b +lk// +d +f
( +sm// +th/ +a +th/ +d +sm// +th// +0 +th/ +b +th// +0 +th/ +f |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +a +b +th// +d +f ) ( +sm// +a +d +sm// +b +f ( +sm// +a +f +sm// +b +d ) - ( +Th ( +ft/ +0 ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +0 +b +th// +d +f ) ( +sm// +0 +d +sm// +b +f ( +sm// +0 +f +sm// +b +d |
| +2 |
+Gn/ +Th8 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +a +b +th// +d +f ) ( +sm// +a +d +sm// +b +f ( +sm// +a +f +sm// +b +d |
| +1 | +Rp/ +Th8 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +0 ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +0 +b +th// +d +f ) ( +sm// +0 +d +sm// +b +f ( +sm// +0 +f +sm// +b +d |
| +2 |
+Tb// +Nf4 +1 |
) - ( +Nf ( +Th ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +th// +0 +b +th// +d +f ) ( +sm// +0 +d +sm// +b +f ( +sm// +0 +f +sm// +b +d |
| +1 |
+Ex |
) - [d ) - ( +Nf ( +Th ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +0 +b +th// +d +f ) ( +sm// +0 +d +sm// +b +f ( +sm// +0 +f +sm// +b +d ) - ( +Nf ( +Th ( +ft/ +b ( +ft/ +0 +ft/ +f ) - +sm// +th// +0 +b +th// +0 +f ) ( +sm// +0 +0 +sm// +b +f ( +sm// +0 +f +sm// +b +0 |
| +2a |
+Gn/ +2 |
[d ) - ( +Nf ( +Th ( +ft/ +b ( +ft/ +d +ft/ +f ) - +sm// +th// +0 +b +th// +d +f ) ( +sm// +0 +d +sm// +b +f ( +sm// +0 +f +sm// +b +d |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Nf ( +Th ( +ft/ +b ( +ft/ +0 +ft/ +f
) - +sm// +th// +0 +b +th// +0 +f ) ( +sm// +0 +0 +sm// +b +f ( +sm// +0 +f +sm// +b +0 |
| +4 |
+Tb// +Nf4 +3 |
) - ( +Nf ( +Th ( +ft/ +b +ft/ +f
) - +sm// +th// +0 +b +th// +0 +f ) ( +sm// +0 +0 +sm// +b +f ( +sm// +0 +f +sm// +b +0 |
| +1 |
+Ex |
) - [b ) - ( +Nf ( +Th ( +ft/ +b +ft/ +f ) - +sm// +th// +0 +b +th// +0 +f ) ( +sm// +0 +0 +sm// +b +f ( +sm// +0 +f +sm// +b +0 ) - ( +Nf ( +Th ( +ft/ +th/ +b +ft/ +f ) - +sm// +th// +0 +th/ +b +th// +0 +f ) ( +sm// +0 +0 +sm// +th/ +b +f ( +sm// +0 +f +sm// +th/ +b +0 |
| +2 |
+Gn/ +4 |
[b ) - ( +Nf ( +Th ( +ft/ +b +ft/ +f ) - +sm// +th// +0 +b +th// +0 +f ) ( +sm// +0 +0 +sm// +b +f ( +sm// +0 +f +sm// +b +0 |
| +5 | +Rp/ +4 | +Tb// +1 +2 |
) - ( +Nf ( +Th ( +ft/ +th/ +b +ft/ +f
) - +sm// +th// +0 +th/ +b +th// +0 +f
) ( +sm// +0 +0 +sm// +th/ +b +f ( +sm// +0 +f +sm// +th/ +b +0 |
| +1 |
+Ex |
) - [a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a ) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +2 |
+Gn/ +Th18 |
[a ) - ( +Th +Dv ) - +ft/ +a +ft/ +th/ +a |
| +6a | +Rp/ +Th18 | +Tb// +1 +2 |
) - ( +Th +Dv ) - +ft/ +b +ft/ +th/ +b |
| +7 |
+Tb// +5 +6a |
) - ( +Nf ( +Th ( +Dv ( +ft/ +b +ft/ +f
) - +sm// +th// +0 +th/ +b +th// +0 +f
) ( +sm// +0 +0 +sm// +th/ +b +f ( +sm// +0 +f +sm// +th/ +b +0 |
| +1 |
+Ex |
) - [a ) - ( +Nf +Th ) - +ft/ +a - +sm// +th/ +a +0 ) - ( +Nf +Th ) - +ft/ +b - +sm// +th/ +b +0 |
| +2 |
+Gn/ +Th15 |
[a ) - ( +Nf +Th ) - +ft/ +a - +sm// +th/ +a +0 |
| +8 | +Rp/ +Th15 | +Tb// +1 +2 |
) - ( +Nf +Th ) - +ft/ +b - +sm// +th/ +b +0 |
| +9 |
+Tb// +7 +8 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +b +ft/ +f
) - +sm// +th// +0 +th/ +b +th// +0 +f +sm// +th/ +b +f |
| +1 |
+Ex |
) - [f ) - ( +Nf ( +Th ( +Dv ( +ft/ +b +ft/ +f ) - +sm// +th// +0 +th/ +b +th// +0 +f +sm// +th/ +b +f ) - ( +Nf ( +Th ( +Dv ( +ft/ +b +ft/ +th/ +f ) - +sm// +th// +0 +th/ +b +th// +0 +th/ +f +sm// +th/ +b +th/ +f |
| +2 |
+Gn/ +9 |
[f ) - ( +Nf ( +Th ( +Dv ( +ft/ +b +ft/ +f ) - +sm// +th// +0 +th/ +b +th// +0 +f +sm// +th/ +b +f |
| +10 | +Rp/ +9 | +Tb// +1 +2 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +b +ft/ +th/ +f
) - +sm// +th// +0 +th/ +b +th// +0 +th/ +f +sm// +th/ +b +th/ +f |
| +11 |
+Tb// +6 +10 |
) - ( +Nf ( +Th ( +Dv ( +ft/ +b +ft/ +f
) - +sm// +th// +0 +th/ +b +th// +0 +th/ +f +sm// +th/ +b +th/ +f |
| +1 |
+Ex |
) - [b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +b +sm// +a +b ) - ( +Th ( +ft/ +a ( +ft/ +f +sm// +th/ +a +th/ +f +sm// +a +f |
| +2 |
+Gn/ +Th13 |
[b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +b +sm// +a +b |
| +12 | +Rp/ +Th13 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +a ( +ft/ +f +sm// +th/ +a +th/ +f +sm// +a +f |
| +1 |
+Ex |
) - [a ) - ( +Th ( +ft/ +a ( +ft/ +f +sm// +th/ +a +th/ +f +sm// +a +f ) - ( +Th ( +ft/ +b ( +ft/ +f +sm// +th/ +b +th/ +f +sm// +b +f |
| +2 |
+Gn/ +12 |
[a ) - ( +Th ( +ft/ +a ( +ft/ +f +sm// +th/ +a +th/ +f +sm// +a +f |
| +13 | +Rp/ +12 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +b ( +ft/ +f +sm// +th/ +b +th/ +f +sm// +b +f |
| +9 | +Pr | +Tb/// +2a +11 +13 |
) - ( +NTADX ( +ft/ +b +ft/ +f
) - +sm// +th// +0 +th/ +b +th// +0 +th/ +f +sm// +b +f |
| +1 |
+Ex |
) - [b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +b +sm// +a +b ) - ( +Th ( +ft/ +a ( +ft/ +d +sm// +th/ +a +th/ +d +sm// +a +d |
| +2 |
+Gn/ +Th13 |
[b ) - ( +Th ( +ft/ +a ( +ft/ +b +sm// +th/ +a +th/ +b +sm// +a +b |
| +10 | +Rp/ +Th13 | +Tb// +1 +2 |
) - ( +Th ( +ft/ +a ( +ft/ +d +sm// +th/ +a +th/ +d +sm// +a +d |
| +11 |
+Tb/// +2 +8 +10 |
) - ( +NTADX ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +lk// +a +b +lk// +d +f ( +sm// +a +d +sm// +th// +0 +th/ +b +th// +0 +th/ +f |
| +12 |
+Tb// +9 +11 |
) - +NTADX ) - ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +lk// +a +b +lk// +d +f ( +sm// +a +d +sm// +b +f |
| +Lk4 | +Pr | +Ab/ +12 |
) - ( +Nf ( +Th ( +Am ( +Dv +Xu ) - ( +ft/ +a ( +ft/ +b ( +ft/ +d +ft/ +f
) - +sm// +lk// +a +b +lk// +d +f ( +sm// +a +d +sm// +b +f |
(_ PartialDifference _)
({ The English and Verish text on this website is licensed for use under the
Free Software Foundation
Free Documentation
License, and the software is licensed for use under the
Free Software Foundation
General Public
License. })
({ Page last updated 25 May 2018.
Copyright (c) Chris Austin 1997 - 2018.
Privacy policy })