extension | φ:Q→Out N | d | ρ | Label | ID |
C5:D5.1(C2xC4) = F52 | φ: C2xC4/C1 → C2xC4 ⊆ Out C5:D5 | 20 | 16+ | C5:D5.1(C2xC4) | 400,205 |
C5:D5.2(C2xC4) = C52:M4(2) | φ: C2xC4/C1 → C2xC4 ⊆ Out C5:D5 | 10 | 8+ | C5:D5.2(C2xC4) | 400,206 |
C5:D5.3(C2xC4) = C2xC52:C8 | φ: C2xC4/C2 → C4 ⊆ Out C5:D5 | 20 | 8+ | C5:D5.3(C2xC4) | 400,208 |
C5:D5.4(C2xC4) = C52:3C42 | φ: C2xC4/C2 → C22 ⊆ Out C5:D5 | 20 | 8+ | C5:D5.4(C2xC4) | 400,124 |
C5:D5.5(C2xC4) = D52:C4 | φ: C2xC4/C2 → C22 ⊆ Out C5:D5 | 20 | 4+ | C5:D5.5(C2xC4) | 400,129 |
C5:D5.6(C2xC4) = C2.D5wrC2 | φ: C2xC4/C2 → C22 ⊆ Out C5:D5 | 20 | 4 | C5:D5.6(C2xC4) | 400,130 |
C5:D5.7(C2xC4) = (C5xC10).Q8 | φ: C2xC4/C2 → C22 ⊆ Out C5:D5 | 20 | 8+ | C5:D5.7(C2xC4) | 400,134 |
C5:D5.8(C2xC4) = C4xC5:F5 | φ: C2xC4/C4 → C2 ⊆ Out C5:D5 | 100 | | C5:D5.8(C2xC4) | 400,151 |
C5:D5.9(C2xC4) = C4xC52:C4 | φ: C2xC4/C4 → C2 ⊆ Out C5:D5 | 40 | 4 | C5:D5.9(C2xC4) | 400,158 |