extension | φ:Q→Out N | d | ρ | Label | ID |
D4.1(C3:D4) = (C6xD8).C2 | φ: C3:D4/Dic3 → C2 ⊆ Out D4 | 96 | | D4.1(C3:D4) | 192,712 |
D4.2(C3:D4) = Dic3:3SD16 | φ: C3:D4/Dic3 → C2 ⊆ Out D4 | 96 | | D4.2(C3:D4) | 192,721 |
D4.3(C3:D4) = (C3xD4).D4 | φ: C3:D4/Dic3 → C2 ⊆ Out D4 | 96 | | D4.3(C3:D4) | 192,724 |
D4.4(C3:D4) = M4(2).D6 | φ: C3:D4/Dic3 → C2 ⊆ Out D4 | 48 | 8+ | D4.4(C3:D4) | 192,758 |
D4.5(C3:D4) = M4(2).13D6 | φ: C3:D4/Dic3 → C2 ⊆ Out D4 | 48 | 8- | D4.5(C3:D4) | 192,759 |
D4.6(C3:D4) = M4(2).15D6 | φ: C3:D4/Dic3 → C2 ⊆ Out D4 | 48 | 8+ | D4.6(C3:D4) | 192,762 |
D4.7(C3:D4) = M4(2).16D6 | φ: C3:D4/Dic3 → C2 ⊆ Out D4 | 96 | 8- | D4.7(C3:D4) | 192,763 |
D4.8(C3:D4) = D6:6SD16 | φ: C3:D4/D6 → C2 ⊆ Out D4 | 48 | | D4.8(C3:D4) | 192,728 |
D4.9(C3:D4) = Dic6.16D4 | φ: C3:D4/D6 → C2 ⊆ Out D4 | 96 | | D4.9(C3:D4) | 192,732 |
D4.10(C3:D4) = D12.38D4 | φ: C3:D4/D6 → C2 ⊆ Out D4 | 48 | 8- | D4.10(C3:D4) | 192,760 |
D4.11(C3:D4) = D12.39D4 | φ: C3:D4/D6 → C2 ⊆ Out D4 | 48 | 8+ | D4.11(C3:D4) | 192,761 |
D4.12(C3:D4) = D12.40D4 | φ: C3:D4/D6 → C2 ⊆ Out D4 | 48 | 8- | D4.12(C3:D4) | 192,764 |
D4.13(C3:D4) = (C3xD4).31D4 | φ: C3:D4/C2xC6 → C2 ⊆ Out D4 | 48 | | D4.13(C3:D4) | 192,777 |
D4.14(C3:D4) = (C3xD4).32D4 | φ: C3:D4/C2xC6 → C2 ⊆ Out D4 | 96 | | D4.14(C3:D4) | 192,798 |
D4.15(C3:D4) = 2+ 1+4.4S3 | φ: C3:D4/C2xC6 → C2 ⊆ Out D4 | 48 | 8- | D4.15(C3:D4) | 192,801 |
D4.16(C3:D4) = 2- 1+4:4S3 | φ: C3:D4/C2xC6 → C2 ⊆ Out D4 | 48 | 8+ | D4.16(C3:D4) | 192,804 |
D4.17(C3:D4) = 2- 1+4.2S3 | φ: C3:D4/C2xC6 → C2 ⊆ Out D4 | 48 | 8- | D4.17(C3:D4) | 192,805 |
D4.18(C3:D4) = D12.32C23 | φ: trivial image | 48 | 8+ | D4.18(C3:D4) | 192,1394 |
D4.19(C3:D4) = D12.33C23 | φ: trivial image | 48 | 8- | D4.19(C3:D4) | 192,1395 |
D4.20(C3:D4) = D12.34C23 | φ: trivial image | 48 | 8+ | D4.20(C3:D4) | 192,1396 |
D4.21(C3:D4) = D12.35C23 | φ: trivial image | 96 | 8- | D4.21(C3:D4) | 192,1397 |