Line 1,581: |
Line 1,581: |
| \text{A} | | \text{A} |
| \\ | | \\ |
− | \text{A} | + | \text{B} |
− | \\
| |
− | \text{A}
| |
− | \\
| |
− | \text{A}
| |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" width="33%" | | | | valign="bottom" width="33%" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\langle} \text{A} {}^{\rangle} | + | {}^{\langle} L {}^{\rangle} |
− | \\
| |
− | {}^{\langle} \text{A} {}^{\rangle}
| |
− | \\
| |
− | {}^{\langle} \text{i} {}^{\rangle}
| |
| \\ | | \\ |
− | {}^{\langle} \text{i} {}^{\rangle} | + | {}^{\langle} L {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" width="33%" | | | | valign="bottom" width="33%" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\langle} \text{A} {}^{\rangle} | + | {}^{\langle} L {}^{\rangle} |
− | \\
| |
− | {}^{\langle} \text{i} {}^{\rangle}
| |
− | \\
| |
− | {}^{\langle} \text{A} {}^{\rangle}
| |
| \\ | | \\ |
− | {}^{\langle} \text{i} {}^{\rangle} | + | {}^{\langle} L {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
| | valign="bottom" width="33%" | | | | valign="bottom" width="33%" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | \text{B} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | \text{B} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | \text{B} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \\ | | \\ |
− | \text{B} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" width="33%" | | | | valign="bottom" width="33%" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\langle} \text{B} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \\ | | \\ |
− | {}^{\langle} \text{B} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \\ | | \\ |
− | {}^{\langle} \text{u} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \\ | | \\ |
− | {}^{\langle} \text{u} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" width="33%" | | | | valign="bottom" width="33%" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\langle} \text{B} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \\ | | \\ |
− | {}^{\langle} \text{u} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \\ | | \\ |
− | {}^{\langle} \text{B} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \\ | | \\ |
− | {}^{\langle} \text{u} {}^{\rangle} | + | {}^{\langle} q {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |