d | ρ | Label | ID | ||
---|---|---|---|---|---|
C3xD5xC4:C4 | 240 | C3xD5xC4:C4 | 480,684 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xD5):(C4:C4) = C2xDic3:F5 | φ: C4:C4/C22 → C22 ⊆ Out C3xD5 | 120 | (C3xD5):(C4:C4) | 480,1001 | |
(C3xD5):2(C4:C4) = D5xDic3:C4 | φ: C4:C4/C2xC4 → C2 ⊆ Out C3xD5 | 240 | (C3xD5):2(C4:C4) | 480,468 | |
(C3xD5):3(C4:C4) = D5xC4:Dic3 | φ: C4:C4/C2xC4 → C2 ⊆ Out C3xD5 | 240 | (C3xD5):3(C4:C4) | 480,488 | |
(C3xD5):4(C4:C4) = C2xC60:C4 | φ: C4:C4/C2xC4 → C2 ⊆ Out C3xD5 | 120 | (C3xD5):4(C4:C4) | 480,1064 | |
(C3xD5):5(C4:C4) = C6xC4:F5 | φ: C4:C4/C2xC4 → C2 ⊆ Out C3xD5 | 120 | (C3xD5):5(C4:C4) | 480,1051 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xD5).(C4:C4) = D10.20D12 | φ: C4:C4/C22 → C22 ⊆ Out C3xD5 | 120 | (C3xD5).(C4:C4) | 480,243 | |
(C3xD5).2(C4:C4) = D10.10D12 | φ: C4:C4/C2xC4 → C2 ⊆ Out C3xD5 | 120 | (C3xD5).2(C4:C4) | 480,311 | |
(C3xD5).3(C4:C4) = C3xD10.3Q8 | φ: C4:C4/C2xC4 → C2 ⊆ Out C3xD5 | 120 | (C3xD5).3(C4:C4) | 480,286 |