extension | φ:Q→Out N | d | ρ | Label | ID |
D4.9D10:1C2 = M4(2):D10 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 4 | D4.9D10:1C2 | 320,452 |
D4.9D10:2C2 = D4.9D20 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 4- | D4.9D10:2C2 | 320,453 |
D4.9D10:3C2 = D4.3D20 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 4 | D4.9D10:3C2 | 320,768 |
D4.9D10:4C2 = M4(2).13D10 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 8- | D4.9D10:4C2 | 320,827 |
D4.9D10:5C2 = 2+ 1+4.D5 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 8- | D4.9D10:5C2 | 320,869 |
D4.9D10:6C2 = 2- 1+4.2D5 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 8- | D4.9D10:6C2 | 320,873 |
D4.9D10:7C2 = D8:11D10 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 4 | D4.9D10:7C2 | 320,1442 |
D4.9D10:8C2 = D20.47D4 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 160 | 4- | D4.9D10:8C2 | 320,1443 |
D4.9D10:9C2 = SD16:D10 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 8- | D4.9D10:9C2 | 320,1445 |
D4.9D10:10C2 = D5xC8.C22 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 8- | D4.9D10:10C2 | 320,1448 |
D4.9D10:11C2 = D20.33C23 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 80 | 8- | D4.9D10:11C2 | 320,1508 |
D4.9D10:12C2 = D20.35C23 | φ: C2/C1 → C2 ⊆ Out D4.9D10 | 160 | 8- | D4.9D10:12C2 | 320,1510 |
D4.9D10:13C2 = C20.C24 | φ: trivial image | 80 | 4 | D4.9D10:13C2 | 320,1494 |