d | ρ | Label | ID | ||
---|---|---|---|---|---|
D5xC3:Q16 | 240 | 8- | D5xC3:Q16 | 480,583 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5.1(C3:Q16) = Dic5.4Dic6 | φ: C3:Q16/C3:C8 → C2 ⊆ Out D5 | 120 | 8 | D5.1(C3:Q16) | 480,236 |
D5.2(C3:Q16) = Dic6:F5 | φ: C3:Q16/Dic6 → C2 ⊆ Out D5 | 120 | 8- | D5.2(C3:Q16) | 480,229 |
D5.3(C3:Q16) = Dic10:2Dic3 | φ: C3:Q16/C3xQ8 → C2 ⊆ Out D5 | 120 | 8 | D5.3(C3:Q16) | 480,314 |