extension | φ:Q→Out N | d | ρ | Label | ID |
(D4xQ8):1C2 = Q8:3D8 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):1C2 | 128,359 |
(D4xQ8):2C2 = SD16:6D4 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):2C2 | 128,1998 |
(D4xQ8):3C2 = Q16:9D4 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):3C2 | 128,2002 |
(D4xQ8):4C2 = SD16:3D4 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):4C2 | 128,2008 |
(D4xQ8):5C2 = Q16:5D4 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):5C2 | 128,2010 |
(D4xQ8):6C2 = D4xSD16 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):6C2 | 128,2013 |
(D4xQ8):7C2 = D4:8SD16 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):7C2 | 128,2030 |
(D4xQ8):8C2 = C42.55C23 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):8C2 | 128,2052 |
(D4xQ8):9C2 = C42.478C23 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):9C2 | 128,2061 |
(D4xQ8):10C2 = Q8:4D8 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):10C2 | 128,2090 |
(D4xQ8):11C2 = C42.508C23 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):11C2 | 128,2099 |
(D4xQ8):12C2 = C42.514C23 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):12C2 | 128,2105 |
(D4xQ8):13C2 = Q8xD8 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):13C2 | 128,2110 |
(D4xQ8):14C2 = D8:4Q8 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):14C2 | 128,2116 |
(D4xQ8):15C2 = C22.75C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):15C2 | 128,2218 |
(D4xQ8):16C2 = C22.78C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):16C2 | 128,2221 |
(D4xQ8):17C2 = C4:2- 1+4 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):17C2 | 128,2229 |
(D4xQ8):18C2 = C22.88C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):18C2 | 128,2231 |
(D4xQ8):19C2 = C22.90C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):19C2 | 128,2233 |
(D4xQ8):20C2 = C22.92C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):20C2 | 128,2235 |
(D4xQ8):21C2 = C22.103C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):21C2 | 128,2246 |
(D4xQ8):22C2 = C22.105C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):22C2 | 128,2248 |
(D4xQ8):23C2 = C22.107C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):23C2 | 128,2250 |
(D4xQ8):24C2 = C23.144C24 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):24C2 | 128,2252 |
(D4xQ8):25C2 = C23.146C24 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):25C2 | 128,2255 |
(D4xQ8):26C2 = C22.127C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):26C2 | 128,2270 |
(D4xQ8):27C2 = C22.130C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):27C2 | 128,2273 |
(D4xQ8):28C2 = C22.136C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):28C2 | 128,2279 |
(D4xQ8):29C2 = C22.139C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):29C2 | 128,2282 |
(D4xQ8):30C2 = C22.141C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):30C2 | 128,2284 |
(D4xQ8):31C2 = C22.143C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 64 | | (D4xQ8):31C2 | 128,2286 |
(D4xQ8):32C2 = C22.150C25 | φ: C2/C1 → C2 ⊆ Out D4xQ8 | 32 | | (D4xQ8):32C2 | 128,2293 |
(D4xQ8):33C2 = D4xC4oD4 | φ: trivial image | 32 | | (D4xQ8):33C2 | 128,2200 |
(D4xQ8):34C2 = Q8xC4oD4 | φ: trivial image | 64 | | (D4xQ8):34C2 | 128,2210 |
(D4xQ8):35C2 = C22.71C25 | φ: trivial image | 64 | | (D4xQ8):35C2 | 128,2214 |