 |
 |
 |
| ¬c@¨@k | k@¨@¬c | Hc@¨@LB |
 |
 |
 |
| Hc@¨@LB | LB@¨@o | LB@¨@o |
 |
 |
 |
| o@¨@LB | o@¨@LB | LB@¨@Hc |
 |
||
| LB@¨@Hc |
|
|
|
| ¬c@¨@k | k@¨@¬c | Hc@¨@LB |
|
|
|
| Hc@¨@LB | LB@¨@o | LB@¨@o |
|
|
|
| o@¨@LB | o@¨@LB | LB@¨@Hc |
|
||
| LB@¨@Hc |
