d | ρ | Label | ID | ||
---|---|---|---|---|---|
C3:S3xC3xC6 | 36 | C3:S3xC3xC6 | 324,173 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3:(C3xC6) = C6xC32:C6 | φ: C3xC6/C6 → C3 ⊆ Out C3:S3 | 36 | 6 | C3:S3:(C3xC6) | 324,138 |
C3:S3:2(C3xC6) = S32xC32 | φ: C3xC6/C32 → C2 ⊆ Out C3:S3 | 36 | C3:S3:2(C3xC6) | 324,165 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3.(C3xC6) = C32xC32:C4 | φ: C3xC6/C32 → C2 ⊆ Out C3:S3 | 36 | C3:S3.(C3xC6) | 324,161 |