extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xD20):1S3 = C2xC3:D40 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):1S3 | 480,376 |
(C2xD20):2S3 = Dic15:D4 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):2S3 | 480,484 |
(C2xD20):3S3 = Dic3:D20 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):3S3 | 480,485 |
(C2xD20):4S3 = C60:4D4 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):4S3 | 480,532 |
(C2xD20):5S3 = C12:D20 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):5S3 | 480,534 |
(C2xD20):6S3 = D6:4D20 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 120 | | (C2xD20):6S3 | 480,550 |
(C2xD20):7S3 = C2xC15:D8 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):7S3 | 480,372 |
(C2xD20):8S3 = C60.36D4 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 120 | 4 | (C2xD20):8S3 | 480,374 |
(C2xD20):9S3 = D60:30C22 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 120 | 4 | (C2xD20):9S3 | 480,388 |
(C2xD20):10S3 = C60:10D4 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):10S3 | 480,539 |
(C2xD20):11S3 = C12:2D20 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):11S3 | 480,541 |
(C2xD20):12S3 = C2xD20:S3 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 240 | | (C2xD20):12S3 | 480,1075 |
(C2xD20):13S3 = C2xC20:D6 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 120 | | (C2xD20):13S3 | 480,1089 |
(C2xD20):14S3 = D20:25D6 | φ: S3/C3 → C2 ⊆ Out C2xD20 | 120 | 4 | (C2xD20):14S3 | 480,1093 |
(C2xD20):15S3 = C2xD20:5S3 | φ: trivial image | 240 | | (C2xD20):15S3 | 480,1074 |