extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xHe3.C3):1C2 = C3xHe3.3S3 | φ: C2/C1 → C2 ⊆ Out C3xHe3.C3 | 54 | 6 | (C3xHe3.C3):1C2 | 486,168 |
(C3xHe3.C3):2C2 = He3.(C3:S3) | φ: C2/C1 → C2 ⊆ Out C3xHe3.C3 | 81 | | (C3xHe3.C3):2C2 | 486,186 |
(C3xHe3.C3):3C2 = C3xHe3.S3 | φ: C2/C1 → C2 ⊆ Out C3xHe3.C3 | 54 | 6 | (C3xHe3.C3):3C2 | 486,119 |
(C3xHe3.C3):4C2 = C32:4D9:C3 | φ: C2/C1 → C2 ⊆ Out C3xHe3.C3 | 81 | | (C3xHe3.C3):4C2 | 486,170 |
(C3xHe3.C3):5C2 = C3xHe3.C6 | φ: C2/C1 → C2 ⊆ Out C3xHe3.C3 | 81 | | (C3xHe3.C3):5C2 | 486,118 |
(C3xHe3.C3):6C2 = S3xHe3.C3 | φ: C2/C1 → C2 ⊆ Out C3xHe3.C3 | 54 | 6 | (C3xHe3.C3):6C2 | 486,120 |
(C3xHe3.C3):7C2 = He3.C3:S3 | φ: C2/C1 → C2 ⊆ Out C3xHe3.C3 | 54 | 6 | (C3xHe3.C3):7C2 | 486,169 |