extension | φ:Q→Out N | d | ρ | Label | ID |
D12.D5:1C2 = D30.8D4 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 120 | 8- | D12.D5:1C2 | 480,558 |
D12.D5:2C2 = S3xD4.D5 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 120 | 8- | D12.D5:2C2 | 480,561 |
D12.D5:3C2 = D20:10D6 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 120 | 8- | D12.D5:3C2 | 480,570 |
D12.D5:4C2 = D30.11D4 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 240 | 8- | D12.D5:4C2 | 480,575 |
D12.D5:5C2 = D15:SD16 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 120 | 8- | D12.D5:5C2 | 480,581 |
D12.D5:6C2 = Dic10.26D6 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 240 | 8- | D12.D5:6C2 | 480,586 |
D12.D5:7C2 = D20.27D6 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 240 | 8- | D12.D5:7C2 | 480,593 |
D12.D5:8C2 = D30.44D4 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 240 | 8- | D12.D5:8C2 | 480,600 |
D12.D5:9C2 = D5xC24:C2 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 120 | 4 | D12.D5:9C2 | 480,323 |
D12.D5:10C2 = D24:D5 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 120 | 4 | D12.D5:10C2 | 480,326 |
D12.D5:11C2 = Dic60:C2 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 240 | 4- | D12.D5:11C2 | 480,336 |
D12.D5:12C2 = D24:7D5 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 240 | 4- | D12.D5:12C2 | 480,346 |
D12.D5:13C2 = D60:36C22 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 120 | 4 | D12.D5:13C2 | 480,380 |
D12.D5:14C2 = D12.33D10 | φ: C2/C1 → C2 ⊆ Out D12.D5 | 240 | 4- | D12.D5:14C2 | 480,398 |
D12.D5:15C2 = C20.60D12 | φ: trivial image | 240 | 4 | D12.D5:15C2 | 480,379 |