extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC20):1C2 = C4xQ8:D5 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):1C2 | 320,652 |
(Q8xC20):2C2 = C42.56D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):2C2 | 320,653 |
(Q8xC20):3C2 = Q8:D20 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):3C2 | 320,654 |
(Q8xC20):4C2 = Q8.1D20 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):4C2 | 320,655 |
(Q8xC20):5C2 = C42.122D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):5C2 | 320,1240 |
(Q8xC20):6C2 = C4xQ8xD5 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):6C2 | 320,1243 |
(Q8xC20):7C2 = C42.125D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):7C2 | 320,1244 |
(Q8xC20):8C2 = C4xQ8:2D5 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):8C2 | 320,1245 |
(Q8xC20):9C2 = C42.126D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):9C2 | 320,1246 |
(Q8xC20):10C2 = Q8xD20 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):10C2 | 320,1247 |
(Q8xC20):11C2 = Q8:5D20 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):11C2 | 320,1248 |
(Q8xC20):12C2 = Q8:6D20 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):12C2 | 320,1249 |
(Q8xC20):13C2 = C42.232D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):13C2 | 320,1250 |
(Q8xC20):14C2 = D20:10Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):14C2 | 320,1251 |
(Q8xC20):15C2 = C42.131D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):15C2 | 320,1252 |
(Q8xC20):16C2 = C42.132D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):16C2 | 320,1253 |
(Q8xC20):17C2 = C42.133D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):17C2 | 320,1254 |
(Q8xC20):18C2 = C42.134D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):18C2 | 320,1255 |
(Q8xC20):19C2 = C42.135D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):19C2 | 320,1256 |
(Q8xC20):20C2 = C42.136D10 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):20C2 | 320,1257 |
(Q8xC20):21C2 = SD16xC20 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):21C2 | 320,939 |
(Q8xC20):22C2 = C5xSD16:C4 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):22C2 | 320,941 |
(Q8xC20):23C2 = C5xC4:SD16 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):23C2 | 320,961 |
(Q8xC20):24C2 = C5xQ8.D4 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):24C2 | 320,965 |
(Q8xC20):25C2 = C5xC23.32C23 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):25C2 | 320,1521 |
(Q8xC20):26C2 = C5xC23.33C23 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):26C2 | 320,1522 |
(Q8xC20):27C2 = C5xC23.36C23 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):27C2 | 320,1531 |
(Q8xC20):28C2 = C5xC23.37C23 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):28C2 | 320,1535 |
(Q8xC20):29C2 = C5xC22.35C24 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):29C2 | 320,1543 |
(Q8xC20):30C2 = C5xC22.36C24 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):30C2 | 320,1544 |
(Q8xC20):31C2 = C5xQ8:5D4 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):31C2 | 320,1550 |
(Q8xC20):32C2 = C5xD4xQ8 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):32C2 | 320,1551 |
(Q8xC20):33C2 = C5xQ8:6D4 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):33C2 | 320,1552 |
(Q8xC20):34C2 = C5xC22.46C24 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):34C2 | 320,1554 |
(Q8xC20):35C2 = C5xD4:3Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):35C2 | 320,1556 |
(Q8xC20):36C2 = C5xC22.50C24 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):36C2 | 320,1558 |
(Q8xC20):37C2 = C5xC22.53C24 | φ: C2/C1 → C2 ⊆ Out Q8xC20 | 160 | | (Q8xC20):37C2 | 320,1561 |
(Q8xC20):38C2 = C4oD4xC20 | φ: trivial image | 160 | | (Q8xC20):38C2 | 320,1519 |