extension | φ:Q→Out N | d | ρ | Label | ID |
C3:S3.(C2xD4) = C2xAΓL1(F9) | φ: C2xD4/C2 → D4 ⊆ Out C3:S3 | 18 | 8+ | C3:S3.(C2xD4) | 288,1027 |
C3:S3.2(C2xD4) = S32:D4 | φ: C2xD4/C4 → C22 ⊆ Out C3:S3 | 24 | 4 | C3:S3.2(C2xD4) | 288,878 |
C3:S3.3(C2xD4) = C4:S3wrC2 | φ: C2xD4/C4 → C22 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.3(C2xD4) | 288,879 |
C3:S3.4(C2xD4) = C4:PSU3(F2) | φ: C2xD4/C4 → C22 ⊆ Out C3:S3 | 36 | 8 | C3:S3.4(C2xD4) | 288,893 |
C3:S3.5(C2xD4) = C2xS32:C4 | φ: C2xD4/C22 → C22 ⊆ Out C3:S3 | 24 | | C3:S3.5(C2xD4) | 288,880 |
C3:S3.6(C2xD4) = D6wrC2 | φ: C2xD4/C22 → C22 ⊆ Out C3:S3 | 12 | 4+ | C3:S3.6(C2xD4) | 288,889 |
C3:S3.7(C2xD4) = C62:D4 | φ: C2xD4/C22 → C22 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.7(C2xD4) | 288,890 |
C3:S3.8(C2xD4) = C2xC2.PSU3(F2) | φ: C2xD4/C22 → C22 ⊆ Out C3:S3 | 48 | | C3:S3.8(C2xD4) | 288,894 |
C3:S3.9(C2xD4) = C62:Q8 | φ: C2xD4/C22 → C22 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.9(C2xD4) | 288,895 |
C3:S3.10(C2xD4) = C2xC4:(C32:C4) | φ: C2xD4/C2xC4 → C2 ⊆ Out C3:S3 | 48 | | C3:S3.10(C2xD4) | 288,933 |
C3:S3.11(C2xD4) = D4xC32:C4 | φ: C2xD4/D4 → C2 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.11(C2xD4) | 288,936 |
C3:S3.12(C2xD4) = C2xC62:C4 | φ: C2xD4/C23 → C2 ⊆ Out C3:S3 | 24 | | C3:S3.12(C2xD4) | 288,941 |