d | ρ | Label | ID | ||
---|---|---|---|---|---|
C3:S3x3- 1+2 | 54 | C3:S3xES-(3,1) | 486,233 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3:13- 1+2 = C9:He3:C2 | φ: 3- 1+2/C9 → C3 ⊆ Out C3:S3 | 54 | 6 | C3:S3:1ES-(3,1) | 486,107 |
C3:S3:23- 1+2 = C34.C6 | φ: 3- 1+2/C32 → C3 ⊆ Out C3:S3 | 18 | 6 | C3:S3:2ES-(3,1) | 486,104 |