extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xHe3):1C2 = He3:10SD16 | φ: C2/C1 → C2 ⊆ Out Q8xHe3 | 72 | 12+ | (Q8xHe3):1C2 | 432,161 |
(Q8xHe3):2C2 = He3:11SD16 | φ: C2/C1 → C2 ⊆ Out Q8xHe3 | 72 | 6 | (Q8xHe3):2C2 | 432,196 |
(Q8xHe3):3C2 = Q8xC32:C6 | φ: C2/C1 → C2 ⊆ Out Q8xHe3 | 72 | 12- | (Q8xHe3):3C2 | 432,368 |
(Q8xHe3):4C2 = (Q8xHe3):C2 | φ: C2/C1 → C2 ⊆ Out Q8xHe3 | 72 | 12+ | (Q8xHe3):4C2 | 432,369 |
(Q8xHe3):5C2 = Q8xHe3:C2 | φ: C2/C1 → C2 ⊆ Out Q8xHe3 | 72 | 6 | (Q8xHe3):5C2 | 432,394 |
(Q8xHe3):6C2 = He3:5D4:C2 | φ: C2/C1 → C2 ⊆ Out Q8xHe3 | 72 | 6 | (Q8xHe3):6C2 | 432,395 |
(Q8xHe3):7C2 = SD16xHe3 | φ: C2/C1 → C2 ⊆ Out Q8xHe3 | 72 | 6 | (Q8xHe3):7C2 | 432,219 |
(Q8xHe3):8C2 = C4oD4xHe3 | φ: trivial image | 72 | 6 | (Q8xHe3):8C2 | 432,410 |