extension | φ:Q→Out N | d | ρ | Label | ID |
Dic7.1(C4:C4) = C7:(C42:8C4) | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 448 | | Dic7.1(C4:C4) | 448,184 |
Dic7.2(C4:C4) = C28:M4(2) | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.2(C4:C4) | 448,371 |
Dic7.3(C4:C4) = C42.30D14 | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.3(C4:C4) | 448,373 |
Dic7.4(C4:C4) = D7xC4.Q8 | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.4(C4:C4) | 448,393 |
Dic7.5(C4:C4) = C8:(C4xD7) | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.5(C4:C4) | 448,395 |
Dic7.6(C4:C4) = D7xC2.D8 | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.6(C4:C4) | 448,413 |
Dic7.7(C4:C4) = C56:(C2xC4) | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.7(C4:C4) | 448,415 |
Dic7.8(C4:C4) = D7xC8.C4 | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 112 | 4 | Dic7.8(C4:C4) | 448,426 |
Dic7.9(C4:C4) = M4(2).25D14 | φ: C4:C4/C2xC4 → C2 ⊆ Out Dic7 | 112 | 4 | Dic7.9(C4:C4) | 448,427 |
Dic7.10(C4:C4) = D7xC4:C8 | φ: trivial image | 224 | | Dic7.10(C4:C4) | 448,366 |
Dic7.11(C4:C4) = (C8xD7):C4 | φ: trivial image | 224 | | Dic7.11(C4:C4) | 448,394 |
Dic7.12(C4:C4) = C8.27(C4xD7) | φ: trivial image | 224 | | Dic7.12(C4:C4) | 448,414 |