extension | φ:Q→Out N | d | ρ | Label | ID |
Dic3.1(C4xD5) = C40.34D6 | φ: C4xD5/Dic5 → C2 ⊆ Out Dic3 | 240 | 4 | Dic3.1(C4xD5) | 480,342 |
Dic3.2(C4xD5) = C40.35D6 | φ: C4xD5/Dic5 → C2 ⊆ Out Dic3 | 240 | 4 | Dic3.2(C4xD5) | 480,344 |
Dic3.3(C4xD5) = Dic5:5Dic6 | φ: C4xD5/Dic5 → C2 ⊆ Out Dic3 | 480 | | Dic3.3(C4xD5) | 480,399 |
Dic3.4(C4xD5) = Dic15:5Q8 | φ: C4xD5/Dic5 → C2 ⊆ Out Dic3 | 480 | | Dic3.4(C4xD5) | 480,401 |
Dic3.5(C4xD5) = C40.54D6 | φ: C4xD5/C20 → C2 ⊆ Out Dic3 | 240 | 4 | Dic3.5(C4xD5) | 480,341 |
Dic3.6(C4xD5) = C40.55D6 | φ: C4xD5/C20 → C2 ⊆ Out Dic3 | 240 | 4 | Dic3.6(C4xD5) | 480,343 |
Dic3.7(C4xD5) = Dic3:5Dic10 | φ: C4xD5/C20 → C2 ⊆ Out Dic3 | 480 | | Dic3.7(C4xD5) | 480,400 |
Dic3.8(C4xD5) = C4xC15:Q8 | φ: C4xD5/C20 → C2 ⊆ Out Dic3 | 480 | | Dic3.8(C4xD5) | 480,543 |
Dic3.9(C4xD5) = D5xC8:S3 | φ: C4xD5/D10 → C2 ⊆ Out Dic3 | 120 | 4 | Dic3.9(C4xD5) | 480,320 |
Dic3.10(C4xD5) = C40:D6 | φ: C4xD5/D10 → C2 ⊆ Out Dic3 | 120 | 4 | Dic3.10(C4xD5) | 480,322 |
Dic3.11(C4xD5) = D10.19(C4xS3) | φ: C4xD5/D10 → C2 ⊆ Out Dic3 | 240 | | Dic3.11(C4xD5) | 480,470 |
Dic3.12(C4xD5) = D30.C2:C4 | φ: C4xD5/D10 → C2 ⊆ Out Dic3 | 240 | | Dic3.12(C4xD5) | 480,478 |
Dic3.13(C4xD5) = S3xC8xD5 | φ: trivial image | 120 | 4 | Dic3.13(C4xD5) | 480,319 |
Dic3.14(C4xD5) = S3xC8:D5 | φ: trivial image | 120 | 4 | Dic3.14(C4xD5) | 480,321 |
Dic3.15(C4xD5) = (D5xDic3):C4 | φ: trivial image | 240 | | Dic3.15(C4xD5) | 480,469 |
Dic3.16(C4xD5) = D30.23(C2xC4) | φ: trivial image | 240 | | Dic3.16(C4xD5) | 480,479 |