extension | φ:Q→Out N | d | ρ | Label | ID |
(S3xC20):1C2 = D20:5S3 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 120 | 4- | (S3xC20):1C2 | 240,126 |
(S3xC20):2C2 = D60:C2 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 120 | 4+ | (S3xC20):2C2 | 240,130 |
(S3xC20):3C2 = S3xD20 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 60 | 4+ | (S3xC20):3C2 | 240,137 |
(S3xC20):4C2 = D6.D10 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 120 | 4 | (S3xC20):4C2 | 240,132 |
(S3xC20):5C2 = C4xS3xD5 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 60 | 4 | (S3xC20):5C2 | 240,135 |
(S3xC20):6C2 = C5xS3xD4 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 60 | 4 | (S3xC20):6C2 | 240,169 |
(S3xC20):7C2 = C5xD4:2S3 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 120 | 4 | (S3xC20):7C2 | 240,170 |
(S3xC20):8C2 = C5xQ8:3S3 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 120 | 4 | (S3xC20):8C2 | 240,172 |
(S3xC20):9C2 = C5xC4oD12 | φ: C2/C1 → C2 ⊆ Out S3xC20 | 120 | 2 | (S3xC20):9C2 | 240,168 |