extension | φ:Q→Out N | d | ρ | Label | ID |
He3:4Q8:1C2 = He3:5SD16 | φ: C2/C1 → C2 ⊆ Out He3:4Q8 | 72 | 12+ | He3:4Q8:1C2 | 432,85 |
He3:4Q8:2C2 = He3:9SD16 | φ: C2/C1 → C2 ⊆ Out He3:4Q8 | 72 | 6 | He3:4Q8:2C2 | 432,193 |
He3:4Q8:3C2 = C3:S3:Dic6 | φ: C2/C1 → C2 ⊆ Out He3:4Q8 | 72 | 12- | He3:4Q8:3C2 | 432,294 |
He3:4Q8:4C2 = C12:S3:S3 | φ: C2/C1 → C2 ⊆ Out He3:4Q8 | 72 | 12+ | He3:4Q8:4C2 | 432,295 |
He3:4Q8:5C2 = C62.16D6 | φ: C2/C1 → C2 ⊆ Out He3:4Q8 | 72 | 6 | He3:4Q8:5C2 | 432,391 |
He3:4Q8:6C2 = Q8xHe3:C2 | φ: C2/C1 → C2 ⊆ Out He3:4Q8 | 72 | 6 | He3:4Q8:6C2 | 432,394 |
He3:4Q8:7C2 = He3:7SD16 | φ: C2/C1 → C2 ⊆ Out He3:4Q8 | 72 | 6 | He3:4Q8:7C2 | 432,175 |
He3:4Q8:8C2 = C62.47D6 | φ: trivial image | 72 | 6 | He3:4Q8:8C2 | 432,387 |