d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xC5:D5 | 100 | C10xC5:D5 | 500,54 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xC5:D5):1C2 = C5xD52 | φ: C2/C1 → C2 ⊆ Out C5xC5:D5 | 20 | 4 | (C5xC5:D5):1C2 | 500,50 |
(C5xC5:D5):2C2 = D5xC5:D5 | φ: C2/C1 → C2 ⊆ Out C5xC5:D5 | 50 | (C5xC5:D5):2C2 | 500,51 | |
(C5xC5:D5):3C2 = C52:5D10 | φ: C2/C1 → C2 ⊆ Out C5xC5:D5 | 20 | 4 | (C5xC5:D5):3C2 | 500,52 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xC5:D5).1C2 = C5xC5:F5 | φ: C2/C1 → C2 ⊆ Out C5xC5:D5 | 100 | (C5xC5:D5).1C2 | 500,43 | |
(C5xC5:D5).2C2 = C5xC52:C4 | φ: C2/C1 → C2 ⊆ Out C5xC5:D5 | 20 | 4 | (C5xC5:D5).2C2 | 500,44 |
(C5xC5:D5).3C2 = C53:6C4 | φ: C2/C1 → C2 ⊆ Out C5xC5:D5 | 20 | 4 | (C5xC5:D5).3C2 | 500,46 |
(C5xC5:D5).4C2 = C53:7C4 | φ: C2/C1 → C2 ⊆ Out C5xC5:D5 | 100 | (C5xC5:D5).4C2 | 500,47 |