extension | φ:Q→Out N | d | ρ | Label | ID |
D4.9D4:1C2 = C42:4D4 | φ: C2/C1 → C2 ⊆ Out D4.9D4 | 16 | 4 | D4.9D4:1C2 | 128,929 |
D4.9D4:2C2 = C42:5D4 | φ: C2/C1 → C2 ⊆ Out D4.9D4 | 16 | 8+ | D4.9D4:2C2 | 128,931 |
D4.9D4:3C2 = M4(2):C23 | φ: C2/C1 → C2 ⊆ Out D4.9D4 | 16 | 8+ | D4.9D4:3C2 | 128,1751 |
D4.9D4:4C2 = C42.13C23 | φ: C2/C1 → C2 ⊆ Out D4.9D4 | 32 | 8- | D4.9D4:4C2 | 128,1754 |
D4.9D4:5C2 = D8:11D4 | φ: C2/C1 → C2 ⊆ Out D4.9D4 | 16 | 8+ | D4.9D4:5C2 | 128,2020 |
D4.9D4:6C2 = D8.13D4 | φ: C2/C1 → C2 ⊆ Out D4.9D4 | 32 | 8- | D4.9D4:6C2 | 128,2021 |
D4.9D4:7C2 = D8oSD16 | φ: C2/C1 → C2 ⊆ Out D4.9D4 | 32 | 4 | D4.9D4:7C2 | 128,2022 |
D4.9D4:8C2 = C42.313C23 | φ: trivial image | 16 | 4 | D4.9D4:8C2 | 128,1750 |