extension | φ:Q→Out N | d | ρ | Label | ID |
D6.1(C2xF5) = D12.2F5 | φ: C2xF5/F5 → C2 ⊆ Out D6 | 240 | 8- | D6.1(C2xF5) | 480,987 |
D6.2(C2xF5) = D12.F5 | φ: C2xF5/F5 → C2 ⊆ Out D6 | 240 | 8- | D6.2(C2xF5) | 480,989 |
D6.3(C2xF5) = C5:C8.D6 | φ: C2xF5/F5 → C2 ⊆ Out D6 | 240 | 8 | D6.3(C2xF5) | 480,1003 |
D6.4(C2xF5) = D15:C8:C2 | φ: C2xF5/F5 → C2 ⊆ Out D6 | 240 | 8 | D6.4(C2xF5) | 480,1005 |
D6.5(C2xF5) = C4:F5:3S3 | φ: C2xF5/D10 → C2 ⊆ Out D6 | 120 | 8 | D6.5(C2xF5) | 480,983 |
D6.6(C2xF5) = (C4xS3):F5 | φ: C2xF5/D10 → C2 ⊆ Out D6 | 120 | 8 | D6.6(C2xF5) | 480,985 |
D6.7(C2xF5) = D15:M4(2) | φ: C2xF5/D10 → C2 ⊆ Out D6 | 120 | 8 | D6.7(C2xF5) | 480,991 |
D6.8(C2xF5) = C5:C8:D6 | φ: C2xF5/D10 → C2 ⊆ Out D6 | 120 | 8 | D6.8(C2xF5) | 480,993 |
D6.9(C2xF5) = S3xC22.F5 | φ: C2xF5/D10 → C2 ⊆ Out D6 | 120 | 8- | D6.9(C2xF5) | 480,1004 |
D6.10(C2xF5) = C2xD6.F5 | φ: C2xF5/D10 → C2 ⊆ Out D6 | 240 | | D6.10(C2xF5) | 480,1008 |
D6.11(C2xF5) = S3xD5:C8 | φ: trivial image | 120 | 8 | D6.11(C2xF5) | 480,986 |
D6.12(C2xF5) = S3xC4.F5 | φ: trivial image | 120 | 8 | D6.12(C2xF5) | 480,988 |
D6.13(C2xF5) = C4xS3xF5 | φ: trivial image | 60 | 8 | D6.13(C2xF5) | 480,994 |
D6.14(C2xF5) = S3xC4:F5 | φ: trivial image | 60 | 8 | D6.14(C2xF5) | 480,996 |
D6.15(C2xF5) = C2xS3xC5:C8 | φ: trivial image | 240 | | D6.15(C2xF5) | 480,1002 |