d | ρ | Label | ID | ||
---|---|---|---|---|---|
C3:S3xC20 | 180 | C3:S3xC20 | 360,106 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3:1C20 = C5xC6.D6 | φ: C20/C10 → C2 ⊆ Out C3:S3 | 60 | 4 | C3:S3:1C20 | 360,73 |
C3:S3:2C20 = C10xC32:C4 | φ: C20/C10 → C2 ⊆ Out C3:S3 | 60 | 4 | C3:S3:2C20 | 360,148 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3.C20 = C5xF9 | φ: C20/C5 → C4 ⊆ Out C3:S3 | 45 | 8 | C3:S3.C20 | 360,123 |