extension | φ:Q→Out N | d | ρ | Label | ID |
C3:S3.1(C4oD4) = S32:Q8 | φ: C4oD4/C4 → C22 ⊆ Out C3:S3 | 24 | 4 | C3:S3.1(C4oD4) | 288,868 |
C3:S3.2(C4oD4) = C4.4S3wrC2 | φ: C4oD4/C4 → C22 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.2(C4oD4) | 288,869 |
C3:S3.3(C4oD4) = C4xS3wrC2 | φ: C4oD4/C4 → C22 ⊆ Out C3:S3 | 24 | 4 | C3:S3.3(C4oD4) | 288,877 |
C3:S3.4(C4oD4) = S32:D4 | φ: C4oD4/C4 → C22 ⊆ Out C3:S3 | 24 | 4 | C3:S3.4(C4oD4) | 288,878 |
C3:S3.5(C4oD4) = C4.3PSU3(F2) | φ: C4oD4/C4 → C22 ⊆ Out C3:S3 | 48 | 8 | C3:S3.5(C4oD4) | 288,891 |
C3:S3.6(C4oD4) = C4xPSU3(F2) | φ: C4oD4/C4 → C22 ⊆ Out C3:S3 | 36 | 8 | C3:S3.6(C4oD4) | 288,892 |
C3:S3.7(C4oD4) = C62.9D4 | φ: C4oD4/C22 → C22 ⊆ Out C3:S3 | 24 | 4 | C3:S3.7(C4oD4) | 288,881 |
C3:S3.8(C4oD4) = C62:D4 | φ: C4oD4/C22 → C22 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.8(C4oD4) | 288,890 |
C3:S3.9(C4oD4) = C62:Q8 | φ: C4oD4/C22 → C22 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.9(C4oD4) | 288,895 |
C3:S3.10(C4oD4) = (C6xC12):5C4 | φ: C4oD4/C2xC4 → C2 ⊆ Out C3:S3 | 24 | 4 | C3:S3.10(C4oD4) | 288,934 |
C3:S3.11(C4oD4) = D4xC32:C4 | φ: C4oD4/D4 → C2 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.11(C4oD4) | 288,936 |
C3:S3.12(C4oD4) = Q8xC32:C4 | φ: C4oD4/Q8 → C2 ⊆ Out C3:S3 | 48 | 8- | C3:S3.12(C4oD4) | 288,938 |