extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC15):1C2 = Q8:2D15 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4+ | (Q8xC15):1C2 | 240,78 |
(Q8xC15):2C2 = Q8xD15 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4- | (Q8xC15):2C2 | 240,181 |
(Q8xC15):3C2 = Q8:3D15 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4+ | (Q8xC15):3C2 | 240,182 |
(Q8xC15):4C2 = C3xQ8:D5 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4 | (Q8xC15):4C2 | 240,46 |
(Q8xC15):5C2 = C3xQ8xD5 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4 | (Q8xC15):5C2 | 240,161 |
(Q8xC15):6C2 = C3xQ8:2D5 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4 | (Q8xC15):6C2 | 240,162 |
(Q8xC15):7C2 = C5xQ8:2S3 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4 | (Q8xC15):7C2 | 240,62 |
(Q8xC15):8C2 = C5xS3xQ8 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4 | (Q8xC15):8C2 | 240,171 |
(Q8xC15):9C2 = C5xQ8:3S3 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 4 | (Q8xC15):9C2 | 240,172 |
(Q8xC15):10C2 = C15xSD16 | φ: C2/C1 → C2 ⊆ Out Q8xC15 | 120 | 2 | (Q8xC15):10C2 | 240,87 |
(Q8xC15):11C2 = C15xC4oD4 | φ: trivial image | 120 | 2 | (Q8xC15):11C2 | 240,188 |