extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC13):1C4 = D13.Q16 | φ: C4/C1 → C4 ⊆ Out Q8xC13 | 104 | 8- | (Q8xC13):1C4 | 416,84 |
(Q8xC13):2C4 = D52:C4 | φ: C4/C1 → C4 ⊆ Out Q8xC13 | 104 | 8+ | (Q8xC13):2C4 | 416,85 |
(Q8xC13):3C4 = Q8xC13:C4 | φ: C4/C1 → C4 ⊆ Out Q8xC13 | 104 | 8- | (Q8xC13):3C4 | 416,208 |
(Q8xC13):4C4 = Q8:Dic13 | φ: C4/C2 → C2 ⊆ Out Q8xC13 | 416 | | (Q8xC13):4C4 | 416,42 |
(Q8xC13):5C4 = C52.56D4 | φ: C4/C2 → C2 ⊆ Out Q8xC13 | 104 | 4 | (Q8xC13):5C4 | 416,44 |
(Q8xC13):6C4 = Q8xDic13 | φ: C4/C2 → C2 ⊆ Out Q8xC13 | 416 | | (Q8xC13):6C4 | 416,166 |
(Q8xC13):7C4 = C13xQ8:C4 | φ: C4/C2 → C2 ⊆ Out Q8xC13 | 416 | | (Q8xC13):7C4 | 416,53 |
(Q8xC13):8C4 = C13xC4wrC2 | φ: C4/C2 → C2 ⊆ Out Q8xC13 | 104 | 2 | (Q8xC13):8C4 | 416,54 |