extension | φ:Q→Out N | d | ρ | Label | ID |
D6.1(C2xDic5) = D12.2Dic5 | φ: C2xDic5/Dic5 → C2 ⊆ Out D6 | 240 | 4 | D6.1(C2xDic5) | 480,362 |
D6.2(C2xDic5) = D12.Dic5 | φ: C2xDic5/Dic5 → C2 ⊆ Out D6 | 240 | 4 | D6.2(C2xDic5) | 480,364 |
D6.3(C2xDic5) = C2xD6.Dic5 | φ: C2xDic5/C2xC10 → C2 ⊆ Out D6 | 240 | | D6.3(C2xDic5) | 480,370 |
D6.4(C2xDic5) = (S3xC20):5C4 | φ: C2xDic5/C2xC10 → C2 ⊆ Out D6 | 240 | | D6.4(C2xDic5) | 480,414 |
D6.5(C2xDic5) = (S3xC20):7C4 | φ: C2xDic5/C2xC10 → C2 ⊆ Out D6 | 240 | | D6.5(C2xDic5) | 480,447 |
D6.6(C2xDic5) = C2xS3xC5:2C8 | φ: trivial image | 240 | | D6.6(C2xDic5) | 480,361 |
D6.7(C2xDic5) = S3xC4.Dic5 | φ: trivial image | 120 | 4 | D6.7(C2xDic5) | 480,363 |
D6.8(C2xDic5) = C4xS3xDic5 | φ: trivial image | 240 | | D6.8(C2xDic5) | 480,473 |
D6.9(C2xDic5) = S3xC4:Dic5 | φ: trivial image | 240 | | D6.9(C2xDic5) | 480,502 |