extension | φ:Q→Out N | d | ρ | Label | ID |
D4.1(C4:C4) = C42.100D4 | φ: C4:C4/C2xC4 → C2 ⊆ Out D4 | 64 | | D4.1(C4:C4) | 128,536 |
D4.2(C4:C4) = C8oD4:C4 | φ: C4:C4/C2xC4 → C2 ⊆ Out D4 | 32 | 4 | D4.2(C4:C4) | 128,546 |
D4.3(C4:C4) = C4oD4.4Q8 | φ: C4:C4/C2xC4 → C2 ⊆ Out D4 | 64 | | D4.3(C4:C4) | 128,547 |
D4.4(C4:C4) = C4oD4.5Q8 | φ: C4:C4/C2xC4 → C2 ⊆ Out D4 | 64 | | D4.4(C4:C4) | 128,548 |
D4.5(C4:C4) = C42:9(C2xC4) | φ: C4:C4/C2xC4 → C2 ⊆ Out D4 | 32 | | D4.5(C4:C4) | 128,592 |
D4.6(C4:C4) = M4(2).41D4 | φ: C4:C4/C2xC4 → C2 ⊆ Out D4 | 16 | 4 | D4.6(C4:C4) | 128,593 |
D4.7(C4:C4) = M4(2).42D4 | φ: C4:C4/C2xC4 → C2 ⊆ Out D4 | 32 | | D4.7(C4:C4) | 128,598 |
D4.8(C4:C4) = C42.674C23 | φ: trivial image | 64 | | D4.8(C4:C4) | 128,1638 |
D4.9(C4:C4) = C4oD4.7Q8 | φ: trivial image | 64 | | D4.9(C4:C4) | 128,1644 |
D4.10(C4:C4) = C4oD4.8Q8 | φ: trivial image | 64 | | D4.10(C4:C4) | 128,1645 |
D4.11(C4:C4) = M4(2).29C23 | φ: trivial image | 32 | 4 | D4.11(C4:C4) | 128,1648 |