d | ρ | Label | ID | ||
---|---|---|---|---|---|
S3xHe3:C3 | 54 | 6 | S3xHe3:C3 | 486,123 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
He3:C3:S3 = C92:2S3 | φ: S3/C1 → S3 ⊆ Out He3:C3 | 27 | 3 | He3:C3:S3 | 486,61 |
He3:C3:2S3 = He3:C3:2S3 | φ: S3/C3 → C2 ⊆ Out He3:C3 | 54 | 6 | He3:C3:2S3 | 486,172 |
He3:C3:3S3 = He3:C3:3S3 | φ: S3/C3 → C2 ⊆ Out He3:C3 | 81 | He3:C3:3S3 | 486,173 | |
He3:C3:4S3 = C3wrC3.S3 | φ: S3/C3 → C2 ⊆ Out He3:C3 | 27 | 6+ | He3:C3:4S3 | 486,175 |
He3:C3:5S3 = C3:(He3:S3) | φ: S3/C3 → C2 ⊆ Out He3:C3 | 81 | He3:C3:5S3 | 486,187 | |
He3:C3:6S3 = C3wrC3:S3 | φ: S3/C3 → C2 ⊆ Out He3:C3 | 27 | 6+ | He3:C3:6S3 | 486,189 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
He3:C3.1S3 = C92:C6 | φ: S3/C1 → S3 ⊆ Out He3:C3 | 27 | 6+ | He3:C3.1S3 | 486,35 |
He3:C3.2S3 = C92:2C6 | φ: S3/C1 → S3 ⊆ Out He3:C3 | 27 | 6+ | He3:C3.2S3 | 486,37 |