extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xD8):1C2 = C22:D8 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 16 | | (C2xD8):1C2 | 64,128 |
(C2xD8):2C2 = D4:D4 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 32 | | (C2xD8):2C2 | 64,130 |
(C2xD8):3C2 = C4:D8 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 32 | | (C2xD8):3C2 | 64,140 |
(C2xD8):4C2 = C8:7D4 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 32 | | (C2xD8):4C2 | 64,147 |
(C2xD8):5C2 = C8:4D4 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 32 | | (C2xD8):5C2 | 64,174 |
(C2xD8):6C2 = C2xD16 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 32 | | (C2xD8):6C2 | 64,186 |
(C2xD8):7C2 = C8:2D4 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 32 | | (C2xD8):7C2 | 64,150 |
(C2xD8):8C2 = D4.4D4 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 16 | 4+ | (C2xD8):8C2 | 64,153 |
(C2xD8):9C2 = C8:3D4 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 32 | | (C2xD8):9C2 | 64,177 |
(C2xD8):10C2 = C16:C22 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 16 | 4+ | (C2xD8):10C2 | 64,190 |
(C2xD8):11C2 = C2xC8:C22 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 16 | | (C2xD8):11C2 | 64,254 |
(C2xD8):12C2 = D4oD8 | φ: C2/C1 → C2 ⊆ Out C2xD8 | 16 | 4+ | (C2xD8):12C2 | 64,257 |
(C2xD8):13C2 = C2xC4oD8 | φ: trivial image | 32 | | (C2xD8):13C2 | 64,253 |