extension | φ:Q→Out N | d | ρ | Label | ID |
D6.1(C5xD4) = C5xD8:3S3 | φ: C5xD4/C20 → C2 ⊆ Out D6 | 240 | 4 | D6.1(C5xD4) | 480,791 |
D6.2(C5xD4) = C5xQ8.7D6 | φ: C5xD4/C20 → C2 ⊆ Out D6 | 240 | 4 | D6.2(C5xD4) | 480,795 |
D6.3(C5xD4) = C5xD24:C2 | φ: C5xD4/C20 → C2 ⊆ Out D6 | 240 | 4 | D6.3(C5xD4) | 480,798 |
D6.4(C5xD4) = C5xC23.9D6 | φ: C5xD4/C2xC10 → C2 ⊆ Out D6 | 240 | | D6.4(C5xD4) | 480,762 |
D6.5(C5xD4) = C5xD6.D4 | φ: C5xD4/C2xC10 → C2 ⊆ Out D6 | 240 | | D6.5(C5xD4) | 480,773 |
D6.6(C5xD4) = C5xD8:S3 | φ: C5xD4/C2xC10 → C2 ⊆ Out D6 | 120 | 4 | D6.6(C5xD4) | 480,790 |
D6.7(C5xD4) = C5xQ8:3D6 | φ: C5xD4/C2xC10 → C2 ⊆ Out D6 | 120 | 4 | D6.7(C5xD4) | 480,793 |
D6.8(C5xD4) = C5xD4.D6 | φ: C5xD4/C2xC10 → C2 ⊆ Out D6 | 240 | 4 | D6.8(C5xD4) | 480,794 |
D6.9(C5xD4) = C5xQ16:S3 | φ: C5xD4/C2xC10 → C2 ⊆ Out D6 | 240 | 4 | D6.9(C5xD4) | 480,797 |
D6.10(C5xD4) = C5xS3xC22:C4 | φ: trivial image | 120 | | D6.10(C5xD4) | 480,759 |
D6.11(C5xD4) = C5xS3xC4:C4 | φ: trivial image | 240 | | D6.11(C5xD4) | 480,770 |
D6.12(C5xD4) = C5xS3xD8 | φ: trivial image | 120 | 4 | D6.12(C5xD4) | 480,789 |
D6.13(C5xD4) = C5xS3xSD16 | φ: trivial image | 120 | 4 | D6.13(C5xD4) | 480,792 |
D6.14(C5xD4) = C5xS3xQ16 | φ: trivial image | 240 | 4 | D6.14(C5xD4) | 480,796 |