extension | φ:Q→Out N | d | ρ | Label | ID |
(S3xC3xC12):1C2 = C12.73S32 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 72 | | (S3xC3xC12):1C2 | 432,667 |
(S3xC3xC12):2C2 = C3xD12:5S3 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 48 | 4 | (S3xC3xC12):2C2 | 432,643 |
(S3xC3xC12):3C2 = C3xD6.D6 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 48 | 4 | (S3xC3xC12):3C2 | 432,646 |
(S3xC3xC12):4C2 = C3xD6.6D6 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 48 | 4 | (S3xC3xC12):4C2 | 432,647 |
(S3xC3xC12):5C2 = C3xS3xD12 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 48 | 4 | (S3xC3xC12):5C2 | 432,649 |
(S3xC3xC12):6C2 = C12.57S32 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 144 | | (S3xC3xC12):6C2 | 432,668 |
(S3xC3xC12):7C2 = C12.58S32 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 72 | | (S3xC3xC12):7C2 | 432,669 |
(S3xC3xC12):8C2 = S3xC12:S3 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 72 | | (S3xC3xC12):8C2 | 432,671 |
(S3xC3xC12):9C2 = S3xD4xC32 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 72 | | (S3xC3xC12):9C2 | 432,704 |
(S3xC3xC12):10C2 = C32xD4:2S3 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 72 | | (S3xC3xC12):10C2 | 432,705 |
(S3xC3xC12):11C2 = C32xQ8:3S3 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 144 | | (S3xC3xC12):11C2 | 432,707 |
(S3xC3xC12):12C2 = S32xC12 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 48 | 4 | (S3xC3xC12):12C2 | 432,648 |
(S3xC3xC12):13C2 = C4xS3xC3:S3 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 72 | | (S3xC3xC12):13C2 | 432,670 |
(S3xC3xC12):14C2 = C32xC4oD12 | φ: C2/C1 → C2 ⊆ Out S3xC3xC12 | 72 | | (S3xC3xC12):14C2 | 432,703 |