extension | φ:Q→Out N | d | ρ | Label | ID |
D4.1(C5:D4) = (C2xD8).D5 | φ: C5:D4/Dic5 → C2 ⊆ Out D4 | 160 | | D4.1(C5:D4) | 320,780 |
D4.2(C5:D4) = Dic5:3SD16 | φ: C5:D4/Dic5 → C2 ⊆ Out D4 | 160 | | D4.2(C5:D4) | 320,789 |
D4.3(C5:D4) = (C5xD4).D4 | φ: C5:D4/Dic5 → C2 ⊆ Out D4 | 160 | | D4.3(C5:D4) | 320,792 |
D4.4(C5:D4) = M4(2).D10 | φ: C5:D4/Dic5 → C2 ⊆ Out D4 | 80 | 8+ | D4.4(C5:D4) | 320,826 |
D4.5(C5:D4) = M4(2).13D10 | φ: C5:D4/Dic5 → C2 ⊆ Out D4 | 80 | 8- | D4.5(C5:D4) | 320,827 |
D4.6(C5:D4) = M4(2).15D10 | φ: C5:D4/Dic5 → C2 ⊆ Out D4 | 80 | 8+ | D4.6(C5:D4) | 320,830 |
D4.7(C5:D4) = M4(2).16D10 | φ: C5:D4/Dic5 → C2 ⊆ Out D4 | 160 | 8- | D4.7(C5:D4) | 320,831 |
D4.8(C5:D4) = D10:6SD16 | φ: C5:D4/D10 → C2 ⊆ Out D4 | 80 | | D4.8(C5:D4) | 320,796 |
D4.9(C5:D4) = Dic10.16D4 | φ: C5:D4/D10 → C2 ⊆ Out D4 | 160 | | D4.9(C5:D4) | 320,800 |
D4.10(C5:D4) = D20.38D4 | φ: C5:D4/D10 → C2 ⊆ Out D4 | 80 | 8- | D4.10(C5:D4) | 320,828 |
D4.11(C5:D4) = D20.39D4 | φ: C5:D4/D10 → C2 ⊆ Out D4 | 80 | 8+ | D4.11(C5:D4) | 320,829 |
D4.12(C5:D4) = D20.40D4 | φ: C5:D4/D10 → C2 ⊆ Out D4 | 80 | 8- | D4.12(C5:D4) | 320,832 |
D4.13(C5:D4) = (C5xD4).31D4 | φ: C5:D4/C2xC10 → C2 ⊆ Out D4 | 80 | | D4.13(C5:D4) | 320,845 |
D4.14(C5:D4) = (C5xD4).32D4 | φ: C5:D4/C2xC10 → C2 ⊆ Out D4 | 160 | | D4.14(C5:D4) | 320,866 |
D4.15(C5:D4) = 2+ 1+4.D5 | φ: C5:D4/C2xC10 → C2 ⊆ Out D4 | 80 | 8- | D4.15(C5:D4) | 320,869 |
D4.16(C5:D4) = 2- 1+4:2D5 | φ: C5:D4/C2xC10 → C2 ⊆ Out D4 | 80 | 8+ | D4.16(C5:D4) | 320,872 |
D4.17(C5:D4) = 2- 1+4.2D5 | φ: C5:D4/C2xC10 → C2 ⊆ Out D4 | 80 | 8- | D4.17(C5:D4) | 320,873 |
D4.18(C5:D4) = D20.32C23 | φ: trivial image | 80 | 8+ | D4.18(C5:D4) | 320,1507 |
D4.19(C5:D4) = D20.33C23 | φ: trivial image | 80 | 8- | D4.19(C5:D4) | 320,1508 |
D4.20(C5:D4) = D20.34C23 | φ: trivial image | 80 | 8+ | D4.20(C5:D4) | 320,1509 |
D4.21(C5:D4) = D20.35C23 | φ: trivial image | 160 | 8- | D4.21(C5:D4) | 320,1510 |