extension | φ:Q→Out N | d | ρ | Label | ID |
D4.1(C2xF5) = D8:5F5 | φ: C2xF5/F5 → C2 ⊆ Out D4 | 80 | 8- | D4.1(C2xF5) | 320,1070 |
D4.2(C2xF5) = D8:F5 | φ: C2xF5/F5 → C2 ⊆ Out D4 | 80 | 8- | D4.2(C2xF5) | 320,1071 |
D4.3(C2xF5) = SD16xF5 | φ: C2xF5/F5 → C2 ⊆ Out D4 | 40 | 8 | D4.3(C2xF5) | 320,1072 |
D4.4(C2xF5) = SD16:F5 | φ: C2xF5/F5 → C2 ⊆ Out D4 | 40 | 8 | D4.4(C2xF5) | 320,1073 |
D4.5(C2xF5) = SD16:3F5 | φ: C2xF5/F5 → C2 ⊆ Out D4 | 80 | 8 | D4.5(C2xF5) | 320,1074 |
D4.6(C2xF5) = SD16:2F5 | φ: C2xF5/F5 → C2 ⊆ Out D4 | 80 | 8 | D4.6(C2xF5) | 320,1075 |
D4.7(C2xF5) = (D4xC10):C4 | φ: C2xF5/D10 → C2 ⊆ Out D4 | 40 | 8+ | D4.7(C2xF5) | 320,1105 |
D4.8(C2xF5) = (C2xD4):6F5 | φ: C2xF5/D10 → C2 ⊆ Out D4 | 80 | 8- | D4.8(C2xF5) | 320,1107 |
D4.9(C2xF5) = C4oD20:C4 | φ: C2xF5/D10 → C2 ⊆ Out D4 | 80 | 8 | D4.9(C2xF5) | 320,1132 |
D4.10(C2xF5) = D4:F5:C2 | φ: C2xF5/D10 → C2 ⊆ Out D4 | 80 | 8 | D4.10(C2xF5) | 320,1133 |
D4.11(C2xF5) = C2xD4.F5 | φ: trivial image | 160 | | D4.11(C2xF5) | 320,1593 |
D4.12(C2xF5) = Dic5.C24 | φ: trivial image | 80 | 8- | D4.12(C2xF5) | 320,1594 |
D4.13(C2xF5) = Dic5.21C24 | φ: trivial image | 80 | 8 | D4.13(C2xF5) | 320,1601 |
D4.14(C2xF5) = Dic5.22C24 | φ: trivial image | 80 | 8 | D4.14(C2xF5) | 320,1602 |