extension | φ:Q→Out N | d | ρ | Label | ID |
C4.Q8:1C2 = D8:2C4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 16 | 4 | C4.Q8:1C2 | 64,41 |
C4.Q8:2C2 = M4(2):C4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:2C2 | 64,109 |
C4.Q8:3C2 = D8:C4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:3C2 | 64,123 |
C4.Q8:4C2 = C8:2D4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:4C2 | 64,150 |
C4.Q8:5C2 = C8.D4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:5C2 | 64,151 |
C4.Q8:6C2 = C8:8D4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:6C2 | 64,146 |
C4.Q8:7C2 = D4:2Q8 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:7C2 | 64,157 |
C4.Q8:8C2 = D4.Q8 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:8C2 | 64,159 |
C4.Q8:9C2 = C23.46D4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:9C2 | 64,162 |
C4.Q8:10C2 = C23.19D4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:10C2 | 64,163 |
C4.Q8:11C2 = C23.47D4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:11C2 | 64,164 |
C4.Q8:12C2 = C23.20D4 | φ: C2/C1 → C2 ⊆ Out C4.Q8 | 32 | | C4.Q8:12C2 | 64,166 |
C4.Q8:13C2 = C23.25D4 | φ: trivial image | 32 | | C4.Q8:13C2 | 64,108 |
C4.Q8:14C2 = C4xSD16 | φ: trivial image | 32 | | C4.Q8:14C2 | 64,119 |