extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xQ16):1C2 = C22:Q16 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):1C2 | 64,132 |
(C2xQ16):2C2 = D4.7D4 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):2C2 | 64,133 |
(C2xQ16):3C2 = Q8.D4 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):3C2 | 64,145 |
(C2xQ16):4C2 = C8.18D4 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):4C2 | 64,148 |
(C2xQ16):5C2 = C8.12D4 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):5C2 | 64,176 |
(C2xQ16):6C2 = C2xSD32 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):6C2 | 64,187 |
(C2xQ16):7C2 = C8.D4 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):7C2 | 64,151 |
(C2xQ16):8C2 = D4.5D4 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | 4- | (C2xQ16):8C2 | 64,154 |
(C2xQ16):9C2 = C8.2D4 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):9C2 | 64,178 |
(C2xQ16):10C2 = Q32:C2 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | 4- | (C2xQ16):10C2 | 64,191 |
(C2xQ16):11C2 = C2xC8.C22 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | | (C2xQ16):11C2 | 64,255 |
(C2xQ16):12C2 = Q8oD8 | φ: C2/C1 → C2 ⊆ Out C2xQ16 | 32 | 4- | (C2xQ16):12C2 | 64,259 |
(C2xQ16):13C2 = C2xC4oD8 | φ: trivial image | 32 | | (C2xQ16):13C2 | 64,253 |