extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC18):1C2 = C2xQ8:2D9 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):1C2 | 288,152 |
(Q8xC18):2C2 = C36.C23 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | 4 | (Q8xC18):2C2 | 288,153 |
(Q8xC18):3C2 = D18:3Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):3C2 | 288,156 |
(Q8xC18):4C2 = C36.23D4 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):4C2 | 288,157 |
(Q8xC18):5C2 = C2xQ8xD9 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):5C2 | 288,359 |
(Q8xC18):6C2 = C2xQ8:3D9 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):6C2 | 288,360 |
(Q8xC18):7C2 = Q8.15D18 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | 4 | (Q8xC18):7C2 | 288,361 |
(Q8xC18):8C2 = C9xC22:Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):8C2 | 288,172 |
(Q8xC18):9C2 = C9xC4.4D4 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):9C2 | 288,174 |
(Q8xC18):10C2 = SD16xC18 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | | (Q8xC18):10C2 | 288,183 |
(Q8xC18):11C2 = C9xC8.C22 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | 4 | (Q8xC18):11C2 | 288,187 |
(Q8xC18):12C2 = C9x2- 1+4 | φ: C2/C1 → C2 ⊆ Out Q8xC18 | 144 | 4 | (Q8xC18):12C2 | 288,372 |
(Q8xC18):13C2 = C4oD4xC18 | φ: trivial image | 144 | | (Q8xC18):13C2 | 288,370 |