extension | φ:Q→Out N | d | ρ | Label | ID |
D4.1(C5xD4) = C5xD4.D4 | φ: C5xD4/C20 → C2 ⊆ Out D4 | 160 | | D4.1(C5xD4) | 320,962 |
D4.2(C5xD4) = C5xD4.2D4 | φ: C5xD4/C20 → C2 ⊆ Out D4 | 160 | | D4.2(C5xD4) | 320,964 |
D4.3(C5xD4) = C5xD4.3D4 | φ: C5xD4/C20 → C2 ⊆ Out D4 | 80 | 4 | D4.3(C5xD4) | 320,972 |
D4.4(C5xD4) = C5xD4.4D4 | φ: C5xD4/C20 → C2 ⊆ Out D4 | 80 | 4 | D4.4(C5xD4) | 320,973 |
D4.5(C5xD4) = C5xD4.5D4 | φ: C5xD4/C20 → C2 ⊆ Out D4 | 160 | 4 | D4.5(C5xD4) | 320,974 |
D4.6(C5xD4) = C5xC22:SD16 | φ: C5xD4/C2xC10 → C2 ⊆ Out D4 | 80 | | D4.6(C5xD4) | 320,951 |
D4.7(C5xD4) = C5xD4.7D4 | φ: C5xD4/C2xC10 → C2 ⊆ Out D4 | 160 | | D4.7(C5xD4) | 320,953 |
D4.8(C5xD4) = C5xD4.8D4 | φ: C5xD4/C2xC10 → C2 ⊆ Out D4 | 80 | 4 | D4.8(C5xD4) | 320,955 |
D4.9(C5xD4) = C5xD4.9D4 | φ: C5xD4/C2xC10 → C2 ⊆ Out D4 | 80 | 4 | D4.9(C5xD4) | 320,956 |
D4.10(C5xD4) = C5xD4.10D4 | φ: C5xD4/C2xC10 → C2 ⊆ Out D4 | 80 | 4 | D4.10(C5xD4) | 320,957 |
D4.11(C5xD4) = C5xD4oD8 | φ: trivial image | 80 | 4 | D4.11(C5xD4) | 320,1578 |
D4.12(C5xD4) = C5xD4oSD16 | φ: trivial image | 80 | 4 | D4.12(C5xD4) | 320,1579 |
D4.13(C5xD4) = C5xQ8oD8 | φ: trivial image | 160 | 4 | D4.13(C5xD4) | 320,1580 |