extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xD5).1(C4oD4) = F5xDic6 | φ: C4oD4/C4 → C22 ⊆ Out C3xD5 | 120 | 8- | (C3xD5).1(C4oD4) | 480,982 |
(C3xD5).2(C4oD4) = C4:F5:3S3 | φ: C4oD4/C4 → C22 ⊆ Out C3xD5 | 120 | 8 | (C3xD5).2(C4oD4) | 480,983 |
(C3xD5).3(C4oD4) = Dic6:5F5 | φ: C4oD4/C4 → C22 ⊆ Out C3xD5 | 120 | 8- | (C3xD5).3(C4oD4) | 480,984 |
(C3xD5).4(C4oD4) = (C4xS3):F5 | φ: C4oD4/C4 → C22 ⊆ Out C3xD5 | 120 | 8 | (C3xD5).4(C4oD4) | 480,985 |
(C3xD5).5(C4oD4) = F5xD12 | φ: C4oD4/C4 → C22 ⊆ Out C3xD5 | 60 | 8+ | (C3xD5).5(C4oD4) | 480,995 |
(C3xD5).6(C4oD4) = D60:3C4 | φ: C4oD4/C4 → C22 ⊆ Out C3xD5 | 60 | 8+ | (C3xD5).6(C4oD4) | 480,997 |
(C3xD5).7(C4oD4) = C22:F5.S3 | φ: C4oD4/C22 → C22 ⊆ Out C3xD5 | 120 | 8- | (C3xD5).7(C4oD4) | 480,999 |
(C3xD5).8(C4oD4) = F5xC3:D4 | φ: C4oD4/C22 → C22 ⊆ Out C3xD5 | 60 | 8 | (C3xD5).8(C4oD4) | 480,1010 |
(C3xD5).9(C4oD4) = C3:D4:F5 | φ: C4oD4/C22 → C22 ⊆ Out C3xD5 | 60 | 8 | (C3xD5).9(C4oD4) | 480,1012 |
(C3xD5).10(C4oD4) = (C2xC12):6F5 | φ: C4oD4/C2xC4 → C2 ⊆ Out C3xD5 | 120 | 4 | (C3xD5).10(C4oD4) | 480,1065 |
(C3xD5).11(C4oD4) = C3xD10.C23 | φ: C4oD4/C2xC4 → C2 ⊆ Out C3xD5 | 120 | 4 | (C3xD5).11(C4oD4) | 480,1052 |
(C3xD5).12(C4oD4) = D4xC3:F5 | φ: C4oD4/D4 → C2 ⊆ Out C3xD5 | 60 | 8 | (C3xD5).12(C4oD4) | 480,1067 |
(C3xD5).13(C4oD4) = C3xD4xF5 | φ: C4oD4/D4 → C2 ⊆ Out C3xD5 | 60 | 8 | (C3xD5).13(C4oD4) | 480,1054 |
(C3xD5).14(C4oD4) = Q8xC3:F5 | φ: C4oD4/Q8 → C2 ⊆ Out C3xD5 | 120 | 8 | (C3xD5).14(C4oD4) | 480,1069 |
(C3xD5).15(C4oD4) = C3xQ8xF5 | φ: C4oD4/Q8 → C2 ⊆ Out C3xD5 | 120 | 8 | (C3xD5).15(C4oD4) | 480,1056 |