extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xD5).1(C2xQ8) = F5xDic6 | φ: C2xQ8/C4 → C22 ⊆ Out C3xD5 | 120 | 8- | (C3xD5).1(C2xQ8) | 480,982 |
(C3xD5).2(C2xQ8) = Dic6:5F5 | φ: C2xQ8/C4 → C22 ⊆ Out C3xD5 | 120 | 8- | (C3xD5).2(C2xQ8) | 480,984 |
(C3xD5).3(C2xQ8) = S3xC4:F5 | φ: C2xQ8/C4 → C22 ⊆ Out C3xD5 | 60 | 8 | (C3xD5).3(C2xQ8) | 480,996 |
(C3xD5).4(C2xQ8) = C2xDic3:F5 | φ: C2xQ8/C22 → C22 ⊆ Out C3xD5 | 120 | | (C3xD5).4(C2xQ8) | 480,1001 |
(C3xD5).5(C2xQ8) = C2xC60:C4 | φ: C2xQ8/C2xC4 → C2 ⊆ Out C3xD5 | 120 | | (C3xD5).5(C2xQ8) | 480,1064 |
(C3xD5).6(C2xQ8) = C6xC4:F5 | φ: C2xQ8/C2xC4 → C2 ⊆ Out C3xD5 | 120 | | (C3xD5).6(C2xQ8) | 480,1051 |
(C3xD5).7(C2xQ8) = Q8xC3:F5 | φ: C2xQ8/Q8 → C2 ⊆ Out C3xD5 | 120 | 8 | (C3xD5).7(C2xQ8) | 480,1069 |
(C3xD5).8(C2xQ8) = C3xQ8xF5 | φ: C2xQ8/Q8 → C2 ⊆ Out C3xD5 | 120 | 8 | (C3xD5).8(C2xQ8) | 480,1056 |