d | ρ | Label | ID | ||
---|---|---|---|---|---|
C3xS3xA4 | 24 | 6 | C3xS3xA4 | 216,166 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xA4):1S3 = C32:S4 | φ: S3/C1 → S3 ⊆ Out C3xA4 | 18 | 3 | (C3xA4):1S3 | 216,95 |
(C3xA4):2S3 = C62:C6 | φ: S3/C1 → S3 ⊆ Out C3xA4 | 18 | 6+ | (C3xA4):2S3 | 216,99 |
(C3xA4):3S3 = C3xC3:S4 | φ: S3/C3 → C2 ⊆ Out C3xA4 | 24 | 6 | (C3xA4):3S3 | 216,164 |
(C3xA4):4S3 = C32:4S4 | φ: S3/C3 → C2 ⊆ Out C3xA4 | 36 | (C3xA4):4S3 | 216,165 | |
(C3xA4):5S3 = A4xC3:S3 | φ: S3/C3 → C2 ⊆ Out C3xA4 | 36 | (C3xA4):5S3 | 216,167 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xA4).S3 = D9:A4 | φ: S3/C1 → S3 ⊆ Out C3xA4 | 36 | 6+ | (C3xA4).S3 | 216,96 |
(C3xA4).2S3 = C9:S4 | φ: S3/C3 → C2 ⊆ Out C3xA4 | 36 | 6+ | (C3xA4).2S3 | 216,93 |
(C3xA4).3S3 = A4xD9 | φ: S3/C3 → C2 ⊆ Out C3xA4 | 36 | 6+ | (C3xA4).3S3 | 216,97 |