extension | φ:Q→Out N | d | ρ | Label | ID |
(C4xQ8):1C2 = C4xSD16 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):1C2 | 64,119 |
(C4xQ8):2C2 = SD16:C4 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):2C2 | 64,121 |
(C4xQ8):3C2 = C4:SD16 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):3C2 | 64,141 |
(C4xQ8):4C2 = Q8.D4 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):4C2 | 64,145 |
(C4xQ8):5C2 = C23.32C23 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):5C2 | 64,200 |
(C4xQ8):6C2 = C23.33C23 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):6C2 | 64,201 |
(C4xQ8):7C2 = C23.36C23 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):7C2 | 64,210 |
(C4xQ8):8C2 = C23.37C23 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):8C2 | 64,214 |
(C4xQ8):9C2 = C22.35C24 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):9C2 | 64,222 |
(C4xQ8):10C2 = C22.36C24 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):10C2 | 64,223 |
(C4xQ8):11C2 = Q8:5D4 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):11C2 | 64,229 |
(C4xQ8):12C2 = D4xQ8 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):12C2 | 64,230 |
(C4xQ8):13C2 = Q8:6D4 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):13C2 | 64,231 |
(C4xQ8):14C2 = C22.46C24 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):14C2 | 64,233 |
(C4xQ8):15C2 = D4:3Q8 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):15C2 | 64,235 |
(C4xQ8):16C2 = C22.50C24 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):16C2 | 64,237 |
(C4xQ8):17C2 = C22.53C24 | φ: C2/C1 → C2 ⊆ Out C4xQ8 | 32 | | (C4xQ8):17C2 | 64,240 |
(C4xQ8):18C2 = C4xC4oD4 | φ: trivial image | 32 | | (C4xQ8):18C2 | 64,198 |