extension | φ:Q→Out N | d | ρ | Label | ID |
He3:3Q8:1C2 = He3:3SD16 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 6 | He3:3Q8:1C2 | 432,78 |
He3:3Q8:2C2 = He3:4SD16 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 12- | He3:3Q8:2C2 | 432,84 |
He3:3Q8:3C2 = He3:8SD16 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 12- | He3:3Q8:3C2 | 432,152 |
He3:3Q8:4C2 = C3:S3:Dic6 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 12- | He3:3Q8:4C2 | 432,294 |
He3:3Q8:5C2 = C12.84S32 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 6 | He3:3Q8:5C2 | 432,296 |
He3:3Q8:6C2 = C12.85S32 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 6- | He3:3Q8:6C2 | 432,298 |
He3:3Q8:7C2 = C12.S32 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 12- | He3:3Q8:7C2 | 432,299 |
He3:3Q8:8C2 = C62.13D6 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 12- | He3:3Q8:8C2 | 432,361 |
He3:3Q8:9C2 = Q8xC32:C6 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 12- | He3:3Q8:9C2 | 432,368 |
He3:3Q8:10C2 = He3:6SD16 | φ: C2/C1 → C2 ⊆ Out He3:3Q8 | 72 | 6 | He3:3Q8:10C2 | 432,117 |
He3:3Q8:11C2 = C62.36D6 | φ: trivial image | 72 | 6 | He3:3Q8:11C2 | 432,351 |