extension | φ:Q→Out N | d | ρ | Label | ID |
C3:S3.1(C3:D4) = C33:SD16 | φ: C3:D4/C3 → D4 ⊆ Out C3:S3 | 24 | 8 | C3:S3.1(C3:D4) | 432,738 |
C3:S3.2(C3:D4) = C33:3SD16 | φ: C3:D4/C3 → D4 ⊆ Out C3:S3 | 24 | 16+ | C3:S3.2(C3:D4) | 432,739 |
C3:S3.3(C3:D4) = S32:Dic3 | φ: C3:D4/C6 → C22 ⊆ Out C3:S3 | 24 | 4 | C3:S3.3(C3:D4) | 432,580 |
C3:S3.4(C3:D4) = (C3xC6).8D12 | φ: C3:D4/C6 → C22 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.4(C3:D4) | 432,586 |
C3:S3.5(C3:D4) = C6.PSU3(F2) | φ: C3:D4/C6 → C22 ⊆ Out C3:S3 | 48 | 8 | C3:S3.5(C3:D4) | 432,592 |
C3:S3.6(C3:D4) = C33:(C4:C4) | φ: C3:D4/Dic3 → C2 ⊆ Out C3:S3 | 48 | 8- | C3:S3.6(C3:D4) | 432,569 |
C3:S3.7(C3:D4) = D6:(C32:C4) | φ: C3:D4/D6 → C2 ⊆ Out C3:S3 | 24 | 8+ | C3:S3.7(C3:D4) | 432,568 |
C3:S3.8(C3:D4) = C62:11Dic3 | φ: C3:D4/C2xC6 → C2 ⊆ Out C3:S3 | 24 | 4 | C3:S3.8(C3:D4) | 432,641 |