extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xD20):1C2 = C3:D40 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 120 | 4+ | (C3xD20):1C2 | 240,14 |
(C3xD20):2C2 = D20:5S3 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 120 | 4- | (C3xD20):2C2 | 240,126 |
(C3xD20):3C2 = S3xD20 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 60 | 4+ | (C3xD20):3C2 | 240,137 |
(C3xD20):4C2 = C15:D8 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 120 | 4 | (C3xD20):4C2 | 240,13 |
(C3xD20):5C2 = D20:S3 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 120 | 4 | (C3xD20):5C2 | 240,127 |
(C3xD20):6C2 = C20:D6 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 60 | 4 | (C3xD20):6C2 | 240,138 |
(C3xD20):7C2 = C3xD40 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 120 | 2 | (C3xD20):7C2 | 240,36 |
(C3xD20):8C2 = C3xD4:D5 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 120 | 4 | (C3xD20):8C2 | 240,44 |
(C3xD20):9C2 = C3xD4xD5 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 60 | 4 | (C3xD20):9C2 | 240,159 |
(C3xD20):10C2 = C3xQ8:2D5 | φ: C2/C1 → C2 ⊆ Out C3xD20 | 120 | 4 | (C3xD20):10C2 | 240,162 |
(C3xD20):11C2 = C3xC4oD20 | φ: trivial image | 120 | 2 | (C3xD20):11C2 | 240,158 |