extension | φ:Q→Out N | d | ρ | Label | ID |
Dic7.1(C2xQ8) = C2xDic7.Q8 | φ: C2xQ8/C2xC4 → C2 ⊆ Out Dic7 | 448 | | Dic7.1(C2xQ8) | 448,951 |
Dic7.2(C2xQ8) = C42.232D14 | φ: C2xQ8/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.2(C2xQ8) | 448,1031 |
Dic7.3(C2xQ8) = (Q8xDic7):C2 | φ: C2xQ8/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.3(C2xQ8) | 448,1075 |
Dic7.4(C2xQ8) = C14.752- 1+4 | φ: C2xQ8/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.4(C2xQ8) | 448,1076 |
Dic7.5(C2xQ8) = D7xC42.C2 | φ: C2xQ8/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.5(C2xQ8) | 448,1140 |
Dic7.6(C2xQ8) = C42.148D14 | φ: C2xQ8/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.6(C2xQ8) | 448,1142 |
Dic7.7(C2xQ8) = C42.174D14 | φ: C2xQ8/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.7(C2xQ8) | 448,1182 |
Dic7.8(C2xQ8) = C14.102+ 1+4 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 224 | | Dic7.8(C2xQ8) | 448,964 |
Dic7.9(C2xQ8) = Q8xDic14 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 448 | | Dic7.9(C2xQ8) | 448,1019 |
Dic7.10(C2xQ8) = Dic14:10Q8 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 448 | | Dic7.10(C2xQ8) | 448,1020 |
Dic7.11(C2xQ8) = C14.1182+ 1+4 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 224 | | Dic7.11(C2xQ8) | 448,1088 |
Dic7.12(C2xQ8) = C14.522+ 1+4 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 224 | | Dic7.12(C2xQ8) | 448,1089 |
Dic7.13(C2xQ8) = Dic14:7Q8 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 448 | | Dic7.13(C2xQ8) | 448,1138 |
Dic7.14(C2xQ8) = Dic14:8Q8 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 448 | | Dic7.14(C2xQ8) | 448,1174 |
Dic7.15(C2xQ8) = Dic14:9Q8 | φ: C2xQ8/Q8 → C2 ⊆ Out Dic7 | 448 | | Dic7.15(C2xQ8) | 448,1175 |
Dic7.16(C2xQ8) = C42.236D14 | φ: trivial image | 224 | | Dic7.16(C2xQ8) | 448,1141 |
Dic7.17(C2xQ8) = C42.241D14 | φ: trivial image | 224 | | Dic7.17(C2xQ8) | 448,1181 |