extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xD15):1C2 = D15:SD16 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 120 | 8- | (Q8xD15):1C2 | 480,581 |
(Q8xD15):2C2 = D20.17D6 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 8- | (Q8xD15):2C2 | 480,598 |
(Q8xD15):3C2 = D30.44D4 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 8- | (Q8xD15):3C2 | 480,600 |
(Q8xD15):4C2 = D20.29D6 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 8- | (Q8xD15):4C2 | 480,1104 |
(Q8xD15):5C2 = D12.29D10 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 8- | (Q8xD15):5C2 | 480,1106 |
(Q8xD15):6C2 = S3xQ8xD5 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 120 | 8- | (Q8xD15):6C2 | 480,1107 |
(Q8xD15):7C2 = D20:16D6 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 120 | 8- | (Q8xD15):7C2 | 480,1110 |
(Q8xD15):8C2 = SD16xD15 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 120 | 4 | (Q8xD15):8C2 | 480,878 |
(Q8xD15):9C2 = SD16:D15 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 4- | (Q8xD15):9C2 | 480,880 |
(Q8xD15):10C2 = Q16:D15 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 4 | (Q8xD15):10C2 | 480,883 |
(Q8xD15):11C2 = Q8.15D30 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 4 | (Q8xD15):11C2 | 480,1174 |
(Q8xD15):12C2 = D4.10D30 | φ: C2/C1 → C2 ⊆ Out Q8xD15 | 240 | 4- | (Q8xD15):12C2 | 480,1177 |
(Q8xD15):13C2 = C4oD4xD15 | φ: trivial image | 120 | 4 | (Q8xD15):13C2 | 480,1175 |