d | ρ | Label | ID | ||
---|---|---|---|---|---|
D5xC20 | 40 | 2 | D5xC20 | 200,28 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xD5):1C4 = D5xF5 | φ: C4/C1 → C4 ⊆ Out C5xD5 | 20 | 8+ | (C5xD5):1C4 | 200,41 |
(C5xD5):2C4 = D5:F5 | φ: C4/C1 → C4 ⊆ Out C5xD5 | 10 | 8+ | (C5xD5):2C4 | 200,42 |
(C5xD5):3C4 = C10xF5 | φ: C4/C2 → C2 ⊆ Out C5xD5 | 40 | 4 | (C5xD5):3C4 | 200,45 |
(C5xD5):4C4 = D5xDic5 | φ: C4/C2 → C2 ⊆ Out C5xD5 | 40 | 4- | (C5xD5):4C4 | 200,22 |
(C5xD5):5C4 = C2xD5.D5 | φ: C4/C2 → C2 ⊆ Out C5xD5 | 40 | 4 | (C5xD5):5C4 | 200,46 |