extension | φ:Q→Out N | d | ρ | Label | ID |
D4.1(C4xD5) = D4.D5:5C4 | φ: C4xD5/Dic5 → C2 ⊆ Out D4 | 160 | | D4.1(C4xD5) | 320,384 |
D4.2(C4xD5) = Dic5:6SD16 | φ: C4xD5/Dic5 → C2 ⊆ Out D4 | 160 | | D4.2(C4xD5) | 320,385 |
D4.3(C4xD5) = M4(2).22D10 | φ: C4xD5/Dic5 → C2 ⊆ Out D4 | 80 | 4 | D4.3(C4xD5) | 320,450 |
D4.4(C4xD5) = C42.196D10 | φ: C4xD5/Dic5 → C2 ⊆ Out D4 | 80 | 4 | D4.4(C4xD5) | 320,451 |
D4.5(C4xD5) = C4xD4.D5 | φ: C4xD5/C20 → C2 ⊆ Out D4 | 160 | | D4.5(C4xD5) | 320,644 |
D4.6(C4xD5) = C42.51D10 | φ: C4xD5/C20 → C2 ⊆ Out D4 | 160 | | D4.6(C4xD5) | 320,645 |
D4.7(C4xD5) = C40.93D4 | φ: C4xD5/C20 → C2 ⊆ Out D4 | 80 | 4 | D4.7(C4xD5) | 320,771 |
D4.8(C4xD5) = C40.50D4 | φ: C4xD5/C20 → C2 ⊆ Out D4 | 80 | 4 | D4.8(C4xD5) | 320,772 |
D4.9(C4xD5) = (D4xD5):C4 | φ: C4xD5/D10 → C2 ⊆ Out D4 | 80 | | D4.9(C4xD5) | 320,397 |
D4.10(C4xD5) = D4:2D5:C4 | φ: C4xD5/D10 → C2 ⊆ Out D4 | 160 | | D4.10(C4xD5) | 320,399 |
D4.11(C4xD5) = C42:D10 | φ: C4xD5/D10 → C2 ⊆ Out D4 | 80 | 4 | D4.11(C4xD5) | 320,448 |
D4.12(C4xD5) = D5xC8oD4 | φ: trivial image | 80 | 4 | D4.12(C4xD5) | 320,1421 |
D4.13(C4xD5) = C20.72C24 | φ: trivial image | 80 | 4 | D4.13(C4xD5) | 320,1422 |