d | ρ | Label | ID | ||
---|---|---|---|---|---|
C3:S32 | 18 | C3:S3^2 | 324,169 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3:(C3:S3) = He3:5D6 | φ: C3:S3/C3 → S3 ⊆ Out C3:S3 | 18 | 12+ | C3:S3:(C3:S3) | 324,121 |
C3:S3:2(C3:S3) = C33:17D6 | φ: C3:S3/C32 → C2 ⊆ Out C3:S3 | 36 | C3:S3:2(C3:S3) | 324,170 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3.(C3:S3) = C34:C4 | φ: C3:S3/C32 → C2 ⊆ Out C3:S3 | 36 | C3:S3.(C3:S3) | 324,163 |