extension | φ:Q→Out N | d | ρ | Label | ID |
He3:C3:1C6 = He3.(C3xS3) | φ: C6/C1 → C6 ⊆ Out He3:C3 | 27 | 18+ | He3:C3:1C6 | 486,131 |
He3:C3:2C6 = He3:(C3xS3) | φ: C6/C1 → C6 ⊆ Out He3:C3 | 27 | 18+ | He3:C3:2C6 | 486,178 |
He3:C3:3C6 = He3.(C3xC6) | φ: C6/C1 → C6 ⊆ Out He3:C3 | 27 | 9 | He3:C3:3C6 | 486,130 |
He3:C3:4C6 = C3wrC3.C6 | φ: C6/C1 → C6 ⊆ Out He3:C3 | 27 | 9 | He3:C3:4C6 | 486,132 |
He3:C3:5C6 = C2xC92:2C3 | φ: C6/C2 → C3 ⊆ Out He3:C3 | 54 | 3 | He3:C3:5C6 | 486,86 |
He3:C3:6C6 = C2xC32.He3 | φ: C6/C2 → C3 ⊆ Out He3:C3 | 54 | 9 | He3:C3:6C6 | 486,88 |
He3:C3:7C6 = C2xHe3:C32 | φ: C6/C2 → C3 ⊆ Out He3:C3 | 54 | 9 | He3:C3:7C6 | 486,217 |
He3:C3:8C6 = C2xC9.2He3 | φ: C6/C2 → C3 ⊆ Out He3:C3 | 54 | 9 | He3:C3:8C6 | 486,219 |
He3:C3:9C6 = C3xHe3.2C6 | φ: C6/C3 → C2 ⊆ Out He3:C3 | 81 | | He3:C3:9C6 | 486,121 |
He3:C3:10C6 = C3wrS3:3C3 | φ: C6/C3 → C2 ⊆ Out He3:C3 | 27 | 3 | He3:C3:10C6 | 486,125 |
He3:C3:11C6 = C3xHe3.2S3 | φ: C6/C3 → C2 ⊆ Out He3:C3 | 54 | 6 | He3:C3:11C6 | 486,122 |
He3:C3:12C6 = C3xHe3:S3 | φ: C6/C3 → C2 ⊆ Out He3:C3 | 54 | 6 | He3:C3:12C6 | 486,171 |
He3:C3:13C6 = C2xC9.He3 | φ: trivial image | 54 | 3 | He3:C3:13C6 | 486,214 |