extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC22):1C2 = C2xQ8:D11 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):1C2 | 352,136 |
(Q8xC22):2C2 = C44.C23 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | 4 | (Q8xC22):2C2 | 352,137 |
(Q8xC22):3C2 = D22:3Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):3C2 | 352,141 |
(Q8xC22):4C2 = C44.23D4 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):4C2 | 352,142 |
(Q8xC22):5C2 = C2xQ8xD11 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):5C2 | 352,180 |
(Q8xC22):6C2 = C2xD44:C2 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):6C2 | 352,181 |
(Q8xC22):7C2 = Q8.10D22 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | 4 | (Q8xC22):7C2 | 352,182 |
(Q8xC22):8C2 = C11xC22:Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):8C2 | 352,157 |
(Q8xC22):9C2 = C11xC4.4D4 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):9C2 | 352,159 |
(Q8xC22):10C2 = SD16xC22 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | | (Q8xC22):10C2 | 352,168 |
(Q8xC22):11C2 = C11xC8.C22 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | 4 | (Q8xC22):11C2 | 352,172 |
(Q8xC22):12C2 = C11x2- 1+4 | φ: C2/C1 → C2 ⊆ Out Q8xC22 | 176 | 4 | (Q8xC22):12C2 | 352,193 |
(Q8xC22):13C2 = C4oD4xC22 | φ: trivial image | 176 | | (Q8xC22):13C2 | 352,191 |