extension | φ:Q→Out N | d | ρ | Label | ID |
D4.D15:1C2 = D5xD4.S3 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 120 | 8- | D4.D15:1C2 | 480,559 |
D4.D15:2C2 = C60.8C23 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 240 | 8- | D4.D15:2C2 | 480,560 |
D4.D15:3C2 = S3xD4.D5 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 120 | 8- | D4.D15:3C2 | 480,561 |
D4.D15:4C2 = C60.10C23 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 240 | 8- | D4.D15:4C2 | 480,562 |
D4.D15:5C2 = D12:10D10 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 120 | 8- | D4.D15:5C2 | 480,565 |
D4.D15:6C2 = D12.24D10 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 240 | 8- | D4.D15:6C2 | 480,566 |
D4.D15:7C2 = D20.24D6 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 240 | 8- | D4.D15:7C2 | 480,569 |
D4.D15:8C2 = D20:10D6 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 120 | 8- | D4.D15:8C2 | 480,570 |
D4.D15:9C2 = D8:D15 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 120 | 4 | D4.D15:9C2 | 480,876 |
D4.D15:10C2 = D8:3D15 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 240 | 4- | D4.D15:10C2 | 480,877 |
D4.D15:11C2 = SD16xD15 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 120 | 4 | D4.D15:11C2 | 480,878 |
D4.D15:12C2 = SD16:D15 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 240 | 4- | D4.D15:12C2 | 480,880 |
D4.D15:13C2 = D4.D30 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 120 | 4 | D4.D15:13C2 | 480,897 |
D4.D15:14C2 = D4.9D30 | φ: C2/C1 → C2 ⊆ Out D4.D15 | 240 | 4- | D4.D15:14C2 | 480,916 |
D4.D15:15C2 = D4.8D30 | φ: trivial image | 240 | 4 | D4.D15:15C2 | 480,915 |