d | ρ | Label | ID | ||
---|---|---|---|---|---|
S3xHe3 | 18 | 6 | S3xHe3 | 162,35 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
He3:1S3 = C33:C6 | φ: S3/C1 → S3 ⊆ Out He3 | 9 | 6+ | He3:1S3 | 162,11 |
He3:2S3 = C33:S3 | φ: S3/C1 → S3 ⊆ Out He3 | 9 | 6+ | He3:2S3 | 162,19 |
He3:3S3 = He3:S3 | φ: S3/C1 → S3 ⊆ Out He3 | 27 | 6+ | He3:3S3 | 162,21 |
He3:4S3 = He3:4S3 | φ: S3/C3 → C2 ⊆ Out He3 | 27 | He3:4S3 | 162,40 | |
He3:5S3 = He3:5S3 | φ: S3/C3 → C2 ⊆ Out He3 | 18 | 6 | He3:5S3 | 162,46 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
He3.1S3 = He3.S3 | φ: S3/C1 → S3 ⊆ Out He3 | 27 | 6+ | He3.1S3 | 162,13 |
He3.2S3 = He3.2S3 | φ: S3/C1 → S3 ⊆ Out He3 | 27 | 6+ | He3.2S3 | 162,15 |
He3.3S3 = He3.3S3 | φ: S3/C1 → S3 ⊆ Out He3 | 27 | 6+ | He3.3S3 | 162,20 |
He3.4S3 = He3.4S3 | φ: S3/C3 → C2 ⊆ Out He3 | 27 | 6+ | He3.4S3 | 162,43 |