extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC2xC10):1C2 = (C5xQ8):13D4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):1C2 | 320,854 |
(Q8xC2xC10):2C2 = C22xQ8:D5 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):2C2 | 320,1479 |
(Q8xC2xC10):3C2 = C2xC20.C23 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):3C2 | 320,1480 |
(Q8xC2xC10):4C2 = C2xD10:3Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):4C2 | 320,1485 |
(Q8xC2xC10):5C2 = C2xC20.23D4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):5C2 | 320,1486 |
(Q8xC2xC10):6C2 = Q8xC5:D4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):6C2 | 320,1487 |
(Q8xC2xC10):7C2 = C10.442- 1+4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):7C2 | 320,1488 |
(Q8xC2xC10):8C2 = C10.452- 1+4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):8C2 | 320,1489 |
(Q8xC2xC10):9C2 = C22xQ8xD5 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):9C2 | 320,1615 |
(Q8xC2xC10):10C2 = C22xQ8:2D5 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):10C2 | 320,1616 |
(Q8xC2xC10):11C2 = C2xQ8.10D10 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):11C2 | 320,1617 |
(Q8xC2xC10):12C2 = (C22xD5):Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):12C2 | 320,858 |
(Q8xC2xC10):13C2 = C5xC23:Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):13C2 | 320,894 |
(Q8xC2xC10):14C2 = C5xQ8:D4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):14C2 | 320,949 |
(Q8xC2xC10):15C2 = C10xC22:Q8 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):15C2 | 320,1525 |
(Q8xC2xC10):16C2 = C10xC4.4D4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):16C2 | 320,1528 |
(Q8xC2xC10):17C2 = C5xC23.38C23 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):17C2 | 320,1538 |
(Q8xC2xC10):18C2 = C5xQ8:5D4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):18C2 | 320,1550 |
(Q8xC2xC10):19C2 = C5xD4xQ8 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):19C2 | 320,1551 |
(Q8xC2xC10):20C2 = SD16xC2xC10 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):20C2 | 320,1572 |
(Q8xC2xC10):21C2 = C10xC8.C22 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):21C2 | 320,1576 |
(Q8xC2xC10):22C2 = C10x2- 1+4 | φ: C2/C1 → C2 ⊆ Out Q8xC2xC10 | 160 | | (Q8xC2xC10):22C2 | 320,1633 |
(Q8xC2xC10):23C2 = C4oD4xC2xC10 | φ: trivial image | 160 | | (Q8xC2xC10):23C2 | 320,1631 |