extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xD12):1C2 = C32:2D8 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 48 | 4 | (C3xD12):1C2 | 144,56 |
(C3xD12):2C2 = C3:D24 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 24 | 4+ | (C3xD12):2C2 | 144,57 |
(C3xD12):3C2 = C3xD4:S3 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 24 | 4 | (C3xD12):3C2 | 144,80 |
(C3xD12):4C2 = D12:5S3 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 48 | 4- | (C3xD12):4C2 | 144,138 |
(C3xD12):5C2 = D12:S3 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 24 | 4 | (C3xD12):5C2 | 144,139 |
(C3xD12):6C2 = S3xD12 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 24 | 4+ | (C3xD12):6C2 | 144,144 |
(C3xD12):7C2 = D6:D6 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 24 | 4 | (C3xD12):7C2 | 144,145 |
(C3xD12):8C2 = C3xS3xD4 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 24 | 4 | (C3xD12):8C2 | 144,162 |
(C3xD12):9C2 = C3xQ8:3S3 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 48 | 4 | (C3xD12):9C2 | 144,165 |
(C3xD12):10C2 = C3xD24 | φ: C2/C1 → C2 ⊆ Out C3xD12 | 48 | 2 | (C3xD12):10C2 | 144,72 |
(C3xD12):11C2 = C3xC4oD12 | φ: trivial image | 24 | 2 | (C3xD12):11C2 | 144,161 |