extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xQ8:D5):1C2 = S3xQ8:D5 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 120 | 8+ | (C3xQ8:D5):1C2 | 480,579 |
(C3xQ8:D5):2C2 = D12:D10 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 120 | 8+ | (C3xQ8:D5):2C2 | 480,580 |
(C3xQ8:D5):3C2 = D15:SD16 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 120 | 8- | (C3xQ8:D5):3C2 | 480,581 |
(C3xQ8:D5):4C2 = D60:C22 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 120 | 8+ | (C3xQ8:D5):4C2 | 480,582 |
(C3xQ8:D5):5C2 = D20.27D6 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 240 | 8- | (C3xQ8:D5):5C2 | 480,593 |
(C3xQ8:D5):6C2 = D20.28D6 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 240 | 8- | (C3xQ8:D5):6C2 | 480,594 |
(C3xQ8:D5):7C2 = D20.16D6 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 240 | 8+ | (C3xQ8:D5):7C2 | 480,597 |
(C3xQ8:D5):8C2 = D20.17D6 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 240 | 8- | (C3xQ8:D5):8C2 | 480,598 |
(C3xQ8:D5):9C2 = C3xD5xSD16 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 120 | 4 | (C3xQ8:D5):9C2 | 480,706 |
(C3xQ8:D5):10C2 = C3xD40:C2 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 120 | 4 | (C3xQ8:D5):10C2 | 480,707 |
(C3xQ8:D5):11C2 = C3xQ16:D5 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 240 | 4 | (C3xQ8:D5):11C2 | 480,711 |
(C3xQ8:D5):12C2 = C3xQ8.D10 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 240 | 4 | (C3xQ8:D5):12C2 | 480,712 |
(C3xQ8:D5):13C2 = C3xC20.C23 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 240 | 4 | (C3xQ8:D5):13C2 | 480,735 |
(C3xQ8:D5):14C2 = C3xD4:D10 | φ: C2/C1 → C2 ⊆ Out C3xQ8:D5 | 120 | 4 | (C3xQ8:D5):14C2 | 480,742 |
(C3xQ8:D5):15C2 = C3xD4.8D10 | φ: trivial image | 240 | 4 | (C3xQ8:D5):15C2 | 480,743 |