extension | φ:Q→Out N | d | ρ | Label | ID |
(C7xSD32):1C2 = D112:C2 | φ: C2/C1 → C2 ⊆ Out C7xSD32 | 112 | 4+ | (C7xSD32):1C2 | 448,448 |
(C7xSD32):2C2 = SD32:D7 | φ: C2/C1 → C2 ⊆ Out C7xSD32 | 224 | 4- | (C7xSD32):2C2 | 448,449 |
(C7xSD32):3C2 = D7xSD32 | φ: C2/C1 → C2 ⊆ Out C7xSD32 | 112 | 4 | (C7xSD32):3C2 | 448,447 |
(C7xSD32):4C2 = SD32:3D7 | φ: C2/C1 → C2 ⊆ Out C7xSD32 | 224 | 4 | (C7xSD32):4C2 | 448,450 |
(C7xSD32):5C2 = C7xC16:C22 | φ: C2/C1 → C2 ⊆ Out C7xSD32 | 112 | 4 | (C7xSD32):5C2 | 448,917 |
(C7xSD32):6C2 = C7xQ32:C2 | φ: C2/C1 → C2 ⊆ Out C7xSD32 | 224 | 4 | (C7xSD32):6C2 | 448,918 |
(C7xSD32):7C2 = C7xC4oD16 | φ: trivial image | 224 | 2 | (C7xSD32):7C2 | 448,916 |