extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC4oD4):1C2 = D4:D10 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 40 | 4+ | (C5xC4oD4):1C2 | 160,170 |
(C5xC4oD4):2C2 = D4.8D10 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 80 | 4 | (C5xC4oD4):2C2 | 160,171 |
(C5xC4oD4):3C2 = D5xC4oD4 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 40 | 4 | (C5xC4oD4):3C2 | 160,223 |
(C5xC4oD4):4C2 = D4:8D10 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 40 | 4+ | (C5xC4oD4):4C2 | 160,224 |
(C5xC4oD4):5C2 = D4.10D10 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 80 | 4- | (C5xC4oD4):5C2 | 160,225 |
(C5xC4oD4):6C2 = C5xC4oD8 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 80 | 2 | (C5xC4oD4):6C2 | 160,196 |
(C5xC4oD4):7C2 = C5xC8:C22 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 40 | 4 | (C5xC4oD4):7C2 | 160,197 |
(C5xC4oD4):8C2 = C5x2+ 1+4 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 40 | 4 | (C5xC4oD4):8C2 | 160,232 |
(C5xC4oD4):9C2 = C5x2- 1+4 | φ: C2/C1 → C2 ⊆ Out C5xC4oD4 | 80 | 4 | (C5xC4oD4):9C2 | 160,233 |